row log x0 = 2400: eps <= 2.86416e-14 (sigma_2 = 0.992)
  row log x0 = 2425: eps <= 2.39758e-14 (sigma_2 = 0.992)
  row log x0 = 2450: eps <= 2.00718e-14 (sigma_2 = 0.992)
  row log x0 = 2475: eps <= 1.68051e-14 (sigma_2 = 0.992)
  row log x0 = 2500: eps <= 1.40713e-14 (sigma_2 = 0.992)
  row log x0 = 2525: eps <= 1.17832e-14 (sigma_2 = 0.992)
  row log x0 = 2550: eps <= 9.86811e-15 (sigma_2 = 0.992)
  row log x0 = 2575: eps <= 8.26499e-15 (sigma_2 = 0.992)
  row log x0 = 2600: eps <= 6.92292e-15 (sigma_2 = 0.992)
  row log x0 = 2625: eps <= 5.79928e-15 (sigma_2 = 0.992)
  row log x0 = 2650: eps <= 4.85845e-15 (sigma_2 = 0.992)
  row log x0 = 2675: eps <= 4.07062e-15 (sigma_2 = 0.992)
  row log x0 = 2700: eps <= 3.41083e-15 (sigma_2 = 0.992)
  row log x0 = 2725: eps <= 2.85824e-15 (sigma_2 = 0.992)
  row log x0 = 2750: eps <= 2.39539e-15 (sigma_2 = 0.992)
  row log x0 = 2775: eps <= 2.00766e-15 (sigma_2 = 0.992)
  row log x0 = 2800: eps <= 1.68285e-15 (sigma_2 = 0.992)
  row log x0 = 2825: eps <= 1.41071e-15 (sigma_2 = 0.992)
  row log x0 = 2850: eps <= 1.18268e-15 (sigma_2 = 0.992)
  row log x0 = 2875: eps <= 9.91604e-16 (sigma_2 = 0.992)
  row log x0 = 2900: eps <= 8.31470e-16 (sigma_2 = 0.992)
  row log x0 = 2925: eps <= 6.97258e-16 (sigma_2 = 0.992)
  row log x0 = 2950: eps <= 5.84764e-16 (sigma_2 = 0.992)
  row log x0 = 2975: eps <= 4.90462e-16 (sigma_2 = 0.992)
  row log x0 = 3000: eps <= 4.11406e-16 (sigma_2 = 0.992)
  row log x0 = 3025: eps <= 3.45124e-16 (sigma_2 = 0.992)
  row log x0 = 3050: eps <= 2.89547e-16 (sigma_2 = 0.992)
  row log x0 = 3075: eps <= 2.42943e-16 (sigma_2 = 0.992)
  row log x0 = 3100: eps <= 2.03858e-16 (sigma_2 = 0.992)
  row log x0 = 3125: eps <= 1.71077e-16 (sigma_2 = 0.992)
  row log x0 = 3150: eps <= 1.43582e-16 (sigma_2 = 0.992)
  R = 4.896: 761 rows in 566 s
[C, R=4.896] (R) verified contiguously for L in [2591.0019999999763, 10000] (failure: None)   (683 s)
   [D, R=4.896] T = 1.7321e+14: fails at (2072.985, 2073.485)
   [D, R=4.896] T = 1.31609e+15: closes
   [D, R=4.896] T = 4.77452e+14: closes
   [D, R=4.896] T = 2.87575e+14: fails at (2352.985, 2353.485)
   [D, R=4.896] T = 3.70545e+14: fails at (2506.485, 2506.985)
   [D, R=4.896] T = 4.20616e+14: fails at (2586.985, 2587.485)
   [D, R=4.896] T = 4.48134e+14: closes
   [D, R=4.896] T = 4.34157e+14: closes
   [D, R=4.896] T = 4.27333e+14: closes
   [D, R=4.896] T = 4.23961e+14: closes
   [D, R=4.896] T = 4.22285e+14: fails at (2589.985, 2590.485)
   [D, R=4.896] T = 4.23122e+14: closes
   [D, R=4.896] T = 4.22703e+14: fails at (2590.485, 2590.985)
   [D, R=4.896] T = 4.22913e+14: closes
   [D, R=4.896] T = 4.22808e+14: fails at (2590.485, 2590.985)
   [D, R=4.896] T = 4.2286e+14: fails at (2590.485, 2590.985)
   [D, R=4.896] T = 4.22886e+14: fails at (2590.985, 2591.485)
   [D, R=4.896] T = 4.22899e+14: closes
[D, R=4.896] RH to height 4.22899e+14 suffices; fails at 4.22886e+14   (902 s)