  row log x0 = 2850: eps <= 1.01487e-14 (sigma_2 = 0.993)
  row log x0 = 2875: eps <= 8.66860e-15 (sigma_2 = 0.993)
  row log x0 = 2900: eps <= 7.40475e-15 (sigma_2 = 0.993)
  row log x0 = 2925: eps <= 6.32556e-15 (sigma_2 = 0.993)
  row log x0 = 2950: eps <= 5.40400e-15 (sigma_2 = 0.993)
  row log x0 = 2975: eps <= 4.61699e-15 (sigma_2 = 0.993)
  row log x0 = 3000: eps <= 3.94486e-15 (sigma_2 = 0.993)
  row log x0 = 3025: eps <= 3.37077e-15 (sigma_2 = 0.993)
  row log x0 = 3050: eps <= 2.88040e-15 (sigma_2 = 0.993)
  row log x0 = 3075: eps <= 2.46153e-15 (sigma_2 = 0.993)
  row log x0 = 3100: eps <= 2.10370e-15 (sigma_2 = 0.993)
  row log x0 = 3125: eps <= 1.79800e-15 (sigma_2 = 0.993)
  row log x0 = 3150: eps <= 1.53682e-15 (sigma_2 = 0.993)
  R = 5.558691: 311 rows in 257 s
[C, R=5.558691] (R) verified contiguously for L in [2992.0019999999763, 10000] (failure: None)   (310 s)
   [D, R=5.558691] T = 1.7321e+14: fails at (2072.985, 2073.485)
   [D, R=5.558691] T = 1.31609e+15: closes
   [D, R=5.558691] T = 4.77452e+14: fails at (2670.485, 2670.985)
   [D, R=5.558691] T = 7.92699e+14: closes
   [D, R=5.558691] T = 6.15204e+14: fails at (2844.985, 2845.485)
   [D, R=5.558691] T = 6.98335e+14: fails at (2936.485, 2936.985)
   [D, R=5.558691] T = 7.44022e+14: fails at (2983.485, 2983.985)
   [D, R=5.558691] T = 7.67975e+14: closes
   [D, R=5.558691] T = 7.55904e+14: closes
   [D, R=5.558691] T = 7.4994e+14: fails at (2988.985, 2989.485)
   [D, R=5.558691] T = 7.52916e+14: closes
   [D, R=5.558691] T = 7.51426e+14: fails at (2991.485, 2991.985)
   [D, R=5.558691] T = 7.52171e+14: fails at (2991.985, 2992.485)
   [D, R=5.558691] T = 7.52543e+14: closes
   [D, R=5.558691] T = 7.52357e+14: closes
   [D, R=5.558691] T = 7.52264e+14: closes
   [D, R=5.558691] T = 7.52217e+14: closes
   [D, R=5.558691] T = 7.52194e+14: closes
[D, R=5.558691] RH to height 7.52194e+14 suffices; fails at 7.52171e+14   (451 s)
