(transcript of the terminal output of `recheck_p4b.py 0`, 2026-10-11 about 10:13-10:16 local time; the run was not
redirected into a file; the first lines, which repeated the output of recheck_p4.py for point 0, are omitted)
cand 0, c = c1 - 1e-5: coefficient range before balancing 1.00e+00 .. 2.18e+02, after 1.39e-01 .. 7.13e+00, scaling [0.684 0.599 1.102 0.429]
   balanced: margin -1.7722e-07 (AlmostSolved, 13 it), basis 220, max block 70
   second summand rescaled, balanced: margin  1.0019e-07 (AlmostSolved, 11 it)
cand 0, c = 41/16: coefficient range before balancing 1.00e+00 .. 2.18e+02, after 1.39e-01 .. 7.13e+00, scaling [0.684 0.599 1.102 0.429]
   balanced: margin -4.4490e-06 (AlmostSolved, 10 it), basis 220, max block 70
   second summand rescaled, balanced: margin  2.2010e-07 (AlmostSolved, 11 it)
   ternary slice w = 0.05 z (balanced): margin  3.4883e-10 (AlmostSolved), basis 55, max block 30
   ternary slice w = 0.1 z (balanced): margin -8.7615e-08 (AlmostSolved), basis 55, max block 30
   ternary slice w = 0.2 z (balanced): margin -3.2288e-08 (AlmostSolved), basis 55, max block 30
   ternary slice w = 0.3 z (balanced): margin -5.4098e-09 (AlmostSolved), basis 55, max block 30
   ternary slice w = 0.41 z (balanced): margin -4.5399e-09 (AlmostSolved), basis 55, max block 30
   ternary slice w = 0.6 z (balanced): margin -4.5803e-09 (AlmostSolved), basis 55, max block 30
   ternary slice w = 1.0 z (balanced): margin -1.1033e-08 (AlmostSolved), basis 55, max block 30
   ternary slice w = 2.0 z (balanced): margin -1.2008e-08 (AlmostSolved), basis 55, max block 30
