  row log x0 = 2900: eps <= 9.22621e-15 (sigma_2 = 0.992)
  row log x0 = 2925: eps <= 7.91045e-15 (sigma_2 = 0.992)
  row log x0 = 2950: eps <= 6.78272e-15 (sigma_2 = 0.992)
  row log x0 = 2975: eps <= 5.81611e-15 (sigma_2 = 0.992)
  row log x0 = 3000: eps <= 4.98554e-15 (sigma_2 = 0.993)
  row log x0 = 3025: eps <= 4.26802e-15 (sigma_2 = 0.993)
  row log x0 = 3050: eps <= 3.65407e-15 (sigma_2 = 0.993)
  row log x0 = 3075: eps <= 3.12869e-15 (sigma_2 = 0.993)
  row log x0 = 3100: eps <= 2.67907e-15 (sigma_2 = 0.993)
  row log x0 = 3125: eps <= 2.29426e-15 (sigma_2 = 0.993)
  row log x0 = 3150: eps <= 1.96489e-15 (sigma_2 = 0.993)
  R = 5.558691: 261 rows in 208 s
[C, R=5.558691] (R) verified contiguously for L in [3040.0019999999763, 10000] (failure: None)   (263 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: fails at (3030.985, 3031.485)
   [D, R=5.558691] T = 1.0214e+15: closes
   [D, R=5.558691] T = 8.99814e+14: closes
   [D, R=5.558691] T = 8.4456e+14: closes
   [D, R=5.558691] T = 8.18219e+14: closes
   [D, R=5.558691] T = 8.05358e+14: closes
   [D, R=5.558691] T = 7.99003e+14: fails at (3036.985, 3037.485)
   [D, R=5.558691] T = 8.02174e+14: closes
   [D, R=5.558691] T = 8.00587e+14: fails at (3038.485, 3038.985)
   [D, R=5.558691] T = 8.0138e+14: closes
   [D, R=5.558691] T = 8.00984e+14: closes
   [D, R=5.558691] T = 8.00785e+14: fails at (3038.485, 3038.985)
   [D, R=5.558691] T = 8.00885e+14: closes
   [D, R=5.558691] T = 8.00835e+14: fails at (3038.485, 3038.985)
   [D, R=5.558691] T = 8.0086e+14: fails at (3038.985, 3039.485)
[D, R=5.558691] RH to height 8.00885e+14 suffices; fails at 8.0086e+14   (406 s)
