Buthe Table 2, e^1000: printed 1.94751e-12; least corrected value [0.000000000001990311050330446343903590353065365747638902202650594696580701855480645537785533391756458264087312432, 0.000000000001990311050330446343903590353065365747638902202650594696580701855480645537785533391756458264087312432] at c=35.0, alpha=0.00316 (+2.20%); printed value reachable: False
Buthe Table 2, e^4000: printed 1.90866e-12; least corrected value [0.00000000000194979618708015011043947576631402682590151093287186073994256668340364300166311565467271513800461271, 0.00000000000194979618708015011043947576631402682590151093287186073994256668340364300166311565467271513800461271] at c=35.0, alpha=0.000562 (+2.16%); printed value reachable: False
BKLNW Table 8, b=200: printed 2.18154e-12; least corrected value [0.000000000002226505285406709254950789058054811433190728599184618362700156605877212787294081881722847630077342801, 0.000000000002226505285406709254950789058054811433190728599184618362700156605877212787294081881722847630077342801] at c=34.75, alpha=0.0178 (+2.06%); printed value reachable: False
BKLNW Table 8, b=600: printed 1.98894e-12; least corrected value [0.000000000002026471238054599124899784896522579213286685045608903718136877030682860003147673986462117827226747867, 0.000000000002026471238054599124899784896522579213286685045608903718136877030682860003147673986462117827226747867] at c=35.0, alpha=0.00562 (+1.89%); printed value reachable: False
Buthe Table 1, e^500: printed 1.47067e-10; least corrected value [0.0000000001509245032964258973007362410947595925815742098102919398417908612774077321152581255717005517551425219, 0.0000000001509245032964258973007362410947595925815742098102919398417908612774077321152581255717005517551425219] at c=30.25, alpha=0.00562 (+2.62%); printed value reachable: False
Reach of (C) with corrected Buthe rows at height 2445999556030: verified for L in [43.749, 640.001]; first failure (640.001, 640.0029999999999)
done