c=35 a=0.001: mu 0.4976312704 in enclosure: True;  |nu| 0.0662056161 in enclosure: True
c=35 a=0.003: mu 0.492894138 in enclosure: True;  |nu| 0.0652150908 in enclosure: True
c=35 a=0.01: mu 0.4763261796 in enclosure: True;  |nu| 0.06182283486 in enclosure: True
Table 1 e^500: printed 1.47067e-10  no-log3c 1.47057e-10  with-log3c 1.53869e-10
Table 1 e^1000: printed 1.43770e-10  no-log3c 1.4376e-10  with-log3c 1.50572e-10
Table 1 e^3000: printed 1.41594e-10  no-log3c 1.41584e-10  with-log3c 1.48397e-10
Table 2 e^1000: printed 1.94751e-12  no-log3c 1.94737e-12  with-log3c 2.10026e-12
Table 2 e^4000: printed 1.90866e-12  no-log3c 1.90852e-12  with-log3c 2.06141e-12
Theorem A row b=600: quadrature 1.6577492e-12 <= interval bound [0.000000000001658010482544436589416112195653422573580861679833263938944248448457932395971346209467899347999593869, 0.000000000001658010482544436589416112195653422573580861679833263938944248448457932395971346209467899347999593869]: True
Theorem A row b=700: quadrature 1.6467127e-12 <= interval bound [0.000000000001646972149047844263909518499052167233834758206595128135974103963171032265501845426268787828677476305, 0.000000000001646972149047844263909518499052167233834758206595128135974103963171032265501845426268787828677476305]: True
Theorem A row b=1000: quadrature 1.6272271e-12 <= interval bound [0.000000000001627483182372204782063344799087446700235361146065733586489594395909196406310670581192573197063962731, 0.000000000001627483182372204782063344799087446700235361146065733586489594395909196406310670581192573197063962731]: True