# OBJ="0 -1 -1 0 1 -2 0 -1" python3 -u rep510_ascent.py rep5 1 4 8 0   (positive control: rep5 row laws, objective = majorant h + 1_{+++}, which fails at k = 3)
objective 2h' = [0, -1, -1, 0, 1, -2, 0, -1] (row laws from rep5)
rep5: mu = -0.250000; level-one coefficients [np.float64(0.0), np.float64(0.0), np.float64(0.25)]
k=1 nu=(+1,-0): max Gamma found 3.469e-17 (20 starts, 0 lifted)
k=1 nu=(+0,-1): max Gamma found 6.939e-18 (20 starts, 0 lifted)
k=2 nu=(+2,-0): max Gamma found 2.776e-17 (28 starts, 4 lifted)
k=2 nu=(+1,-1): max Gamma found 8.327e-17 (32 starts, 8 lifted)
k=2 nu=(+0,-2): max Gamma found 0.000e+00 (28 starts, 4 lifted)
k=3 nu=(+3,-0): max Gamma found 1.200e-02 (28 starts, 4 lifted)
k=3 nu=(+2,-1): max Gamma found 5.455e-03 (32 starts, 8 lifted)
k=3 nu=(+1,-2): max Gamma found 2.776e-17 (32 starts, 8 lifted)
k=3 nu=(+0,-3): max Gamma found 5.551e-17 (28 starts, 4 lifted)
k=4 nu=(+4,-0): max Gamma found 1.200e-02 (28 starts, 4 lifted)
k=4 nu=(+3,-1): max Gamma found 1.200e-02 (32 starts, 8 lifted)
k=4 nu=(+2,-2): max Gamma found 5.455e-03 (32 starts, 8 lifted)
k=4 nu=(+1,-3): max Gamma found 3.608e-16 (32 starts, 8 lifted)
k=4 nu=(+0,-4): max Gamma found -8.327e-17 (28 starts, 4 lifted)
overall max Gamma found: 1.200e-02

real	0m0.130s
user	0m0.117s
sys	0m0.012s
