   [tradeoff R=5.558691] T = 3.00018e+12 (current verification): fails at (753.985, 754.485)
   [tradeoff R=5.558691] T = 4.24276e+13: fails at (1458.9850000000001, 1459.4850000000001)   (694 s)
   [tradeoff R=5.558691] T = 1.59551e+14: fails at (2030.9850000000001, 2031.4850000000001)   (941 s)
   [tradeoff R=5.558691] T = 3.09404e+14: fails at (2395.985, 2396.485)   (1188 s)
   [tradeoff R=5.558691] T = 4.30862e+14: closes   (1417 s)
   [tradeoff R=5.558691] T = 3.65117e+14: fails at (2497.485, 2497.985)   (1669 s)
   [tradeoff R=5.558691] T = 3.9663e+14: fails at (2549.485, 2549.985)   (1919 s)
   [tradeoff R=5.558691] T = 4.13392e+14: fails at (2575.985, 2576.485)   (2156 s)
   [tradeoff R=5.558691] T = 4.22037e+14: closes   (2401 s)
   [tradeoff R=5.558691] T = 4.17692e+14: closes   (2643 s)
   [tradeoff R=5.558691] T = 4.15536e+14: fails at (2579.485, 2579.985)   (2902 s)
   [tradeoff R=5.558691] T = 4.16613e+14: closes   (3165 s)
   [tradeoff R=5.558691] T = 4.16074e+14: closes   (3415 s)
[tradeoff R=5.558691, TR5.558691] RH to height 4.16074e+14 suffices; fails at 4.15536e+14   (3415 s)
