[tradeoff R=4.896] T = 3.00018e+12 (current verification): fails at (753.985, 754.485)
   [tradeoff R=4.896] T = 4.24276e+13: fails at (1458.9850000000001, 1459.4850000000001)   (697 s)
   [tradeoff R=4.896] T = 1.59551e+14: fails at (2030.9850000000001, 2031.4850000000001)   (944 s)
   [tradeoff R=4.896] T = 3.09404e+14: closes   (1202 s)
   [tradeoff R=4.896] T = 2.22184e+14: fails at (2205.985, 2206.485)   (1421 s)
   [tradeoff R=4.896] T = 2.62192e+14: closes   (1683 s)
   [tradeoff R=4.896] T = 2.4136e+14: closes   (1944 s)
   [tradeoff R=4.896] T = 2.31574e+14: fails at (2228.985, 2229.485)   (2175 s)
   [tradeoff R=4.896] T = 2.36416e+14: fails at (2240.985, 2241.485)   (2405 s)
   [tradeoff R=4.896] T = 2.38876e+14: closes   (2651 s)
   [tradeoff R=4.896] T = 2.37643e+14: fails at (2243.485, 2243.985)   (2903 s)
   [tradeoff R=4.896] T = 2.38258e+14: closes   (3167 s)
   [tradeoff R=4.896] T = 2.37951e+14: closes   (3418 s)
[tradeoff R=4.896, TR4.896] RH to height 2.37951e+14 suffices; fails at 2.37643e+14   (3418 s)