  row log x0 = 2900: eps <= 9.46236e-15 (sigma_2 = 0.992)
  row log x0 = 2925: eps <= 8.11468e-15 (sigma_2 = 0.992)
  row log x0 = 2950: eps <= 6.95934e-15 (sigma_2 = 0.992)
  row log x0 = 2975: eps <= 5.96416e-15 (sigma_2 = 0.993)
  row log x0 = 3000: eps <= 5.10659e-15 (sigma_2 = 0.993)
  row log x0 = 3025: eps <= 4.37269e-15 (sigma_2 = 0.993)
  row log x0 = 3050: eps <= 3.74457e-15 (sigma_2 = 0.993)
  row log x0 = 3075: eps <= 3.20694e-15 (sigma_2 = 0.993)
  row log x0 = 3100: eps <= 2.74673e-15 (sigma_2 = 0.993)
  row log x0 = 3125: eps <= 2.35276e-15 (sigma_2 = 0.993)
  row log x0 = 3150: eps <= 2.01547e-15 (sigma_2 = 0.993)
  R = 5.5666305: 261 rows in 207 s
[C, R=5.5666305] (R) verified contiguously for L in [3045.0019999999763, 10000] (failure: None)   (260 s)
   [D, R=5.5666305] T = 1.7321e+14: fails at (2072.985, 2073.485)
   [D, R=5.5666305] T = 1.31609e+15: closes
   [D, R=5.5666305] T = 4.77452e+14: fails at (2670.485, 2670.985)
   [D, R=5.5666305] T = 7.92699e+14: fails at (3030.985, 3031.485)
   [D, R=5.5666305] T = 1.0214e+15: closes
   [D, R=5.5666305] T = 8.99814e+14: closes
   [D, R=5.5666305] T = 8.4456e+14: closes
   [D, R=5.5666305] T = 8.18219e+14: closes
   [D, R=5.5666305] T = 8.05358e+14: fails at (3042.985, 3043.485)
   [D, R=5.5666305] T = 8.11763e+14: closes
   [D, R=5.5666305] T = 8.08554e+14: closes
   [D, R=5.5666305] T = 8.06954e+14: closes
   [D, R=5.5666305] T = 8.06156e+14: closes
   [D, R=5.5666305] T = 8.05757e+14: fails at (3043.485, 3043.985)
   [D, R=5.5666305] T = 8.05956e+14: fails at (3043.485, 3043.985)
   [D, R=5.5666305] T = 8.06056e+14: fails at (3043.485, 3043.985)
   [D, R=5.5666305] T = 8.06106e+14: fails at (3043.485, 3043.985)
   [D, R=5.5666305] T = 8.06131e+14: fails at (3043.485, 3043.985)
[D, R=5.5666305] RH to height 8.06156e+14 suffices; fails at 8.06131e+14   (403 s)
