# OBJ="-1 0 0 0 1 -1 -1 0" python3 rep510_ascent.py rep10 1 8 8 7   (objective 2h'' for the majorant h'' = h + 1_{++-} of rep10; floating point; time output from bash 'time')
objective 2h' = [-1, 0, 0, 0, 1, -1, -1, 0] (row laws from rep10)
rep10: mu = -0.125000; level-one coefficients [np.float64(0.0), np.float64(0.0), np.float64(0.0)]
k=1 nu=(+1,-0): max Gamma found 0.000e+00 (20 starts, 0 lifted)
k=1 nu=(+0,-1): max Gamma found 0.000e+00 (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 -6.939e-18 (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.110e-16 (28 starts, 4 lifted)
k=3 nu=(+2,-1): max Gamma found 4.163e-17 (32 starts, 8 lifted)
k=3 nu=(+1,-2): max Gamma found 0.000e+00 (32 starts, 8 lifted)
k=3 nu=(+0,-3): max Gamma found -9.992e-16 (28 starts, 4 lifted)
k=4 nu=(+4,-0): max Gamma found 2.387e-15 (28 starts, 4 lifted)
k=4 nu=(+3,-1): max Gamma found 2.942e-15 (32 starts, 8 lifted)
k=4 nu=(+2,-2): max Gamma found 3.886e-15 (32 starts, 8 lifted)
k=4 nu=(+1,-3): max Gamma found 1.110e-15 (32 starts, 8 lifted)
k=4 nu=(+0,-4): max Gamma found -9.714e-16 (28 starts, 4 lifted)
k=5 nu=(+5,-0): max Gamma found 4.302e-16 (28 starts, 4 lifted)
k=5 nu=(+4,-1): max Gamma found 4.274e-15 (32 starts, 8 lifted)
k=5 nu=(+3,-2): max Gamma found 6.051e-15 (32 starts, 8 lifted)
k=5 nu=(+2,-3): max Gamma found 2.331e-15 (32 starts, 8 lifted)
k=5 nu=(+1,-4): max Gamma found 1.332e-15 (32 starts, 8 lifted)
k=5 nu=(+0,-5): max Gamma found -4.829e-15 (28 starts, 4 lifted)
k=6 nu=(+6,-0): max Gamma found 1.527e-16 (28 starts, 4 lifted)
k=6 nu=(+5,-1): max Gamma found 6.661e-16 (32 starts, 8 lifted)
k=6 nu=(+4,-2): max Gamma found 4.358e-15 (32 starts, 8 lifted)
k=6 nu=(+3,-3): max Gamma found 4.163e-17 (32 starts, 8 lifted)
k=6 nu=(+2,-4): max Gamma found 9.021e-17 (32 starts, 8 lifted)
k=6 nu=(+1,-5): max Gamma found 8.604e-16 (32 starts, 8 lifted)
k=6 nu=(+0,-6): max Gamma found 1.110e-15 (28 starts, 4 lifted)
k=7 nu=(+7,-0): max Gamma found 1.527e-16 (28 starts, 4 lifted)
k=7 nu=(+6,-1): max Gamma found 1.110e-15 (32 starts, 8 lifted)
k=7 nu=(+5,-2): max Gamma found 1.804e-16 (32 starts, 8 lifted)
k=7 nu=(+4,-3): max Gamma found 2.276e-15 (32 starts, 8 lifted)
k=7 nu=(+3,-4): max Gamma found 3.886e-16 (32 starts, 8 lifted)
k=7 nu=(+2,-5): max Gamma found 3.025e-15 (32 starts, 8 lifted)
k=7 nu=(+1,-6): max Gamma found 4.885e-15 (32 starts, 8 lifted)
k=7 nu=(+0,-7): max Gamma found -2.831e-15 (28 starts, 4 lifted)
k=8 nu=(+8,-0): max Gamma found 4.718e-16 (28 starts, 4 lifted)
k=8 nu=(+7,-1): max Gamma found 1.554e-15 (32 starts, 8 lifted)
k=8 nu=(+6,-2): max Gamma found 1.665e-16 (32 starts, 8 lifted)
k=8 nu=(+5,-3): max Gamma found 2.526e-15 (32 starts, 8 lifted)
k=8 nu=(+4,-4): max Gamma found 2.331e-15 (32 starts, 8 lifted)
k=8 nu=(+3,-5): max Gamma found 4.385e-15 (32 starts, 8 lifted)
k=8 nu=(+2,-6): max Gamma found 3.358e-15 (32 starts, 8 lifted)
k=8 nu=(+1,-7): max Gamma found -1.957e-15 (32 starts, 8 lifted)
k=8 nu=(+0,-8): max Gamma found 4.580e-15 (28 starts, 4 lifted)
overall max Gamma found: 6.051e-15

real	1m18.595s
user	1m17.992s
sys	0m0.592s
