# eps_designs.py, two-class orbits rep5 and rep10, N = 3..7 (N = 7 at the end), every pattern (>= 2 p, >= 1 s), EPSMAX = 1/2 (valid: the
# three-column design rho_b = pi_b, R = h' (copy, or cubic-free h' for rep5) has max R = max h' = 1/2); solver status 0 = optimal.
# commands: python3 eps_designs.py NAME N PATTERN MODE 600 - 1/2
== rep5 N=3 pps [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.25000199999999995, 0.0s
  eps = 0.25000000
  tf: [1.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.125, 0.125, 0.25]
  pair (0,2) law P+(++)=3/10 P-(++)=5/22  coef 0.250000
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.250000
  rho_+: {'+-+': 0.3, '+--': 0.1, '-++': 0.1, '-+-': 0.3, '--+': 0.2}
  rho_-: {'+++': 0.09091, '++-': 0.22727, '+-+': 0.13636, '+--': 0.09091, '-++': 0.22727, '---': 0.22727}
  max R 0.25  vertices at max: ['+-+', '-+-']
== rep5 N=3 pps [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.250004, 0.0s
  eps = 0.25000000
  tf: [0.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.375  Ra [-0.0, -0.25, 0.125]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.375000
  pair (1,2) law P+(++)=3/10 P-(++)=5/22  coef 0.125000
  copy (0, 1, 2) pair laws [(0, 1, '1/10'), (0, 2, '1/10'), (1, 2, '3/10')]  coef -0.125000
  rho_+: {'++-': 0.1, '+-+': 0.1, '+--': 0.2, '-++': 0.3, '--+': 0.2, '---': 0.1}
  rho_-: {'+++': 0.18182, '++-': 0.13636, '+-+': 0.13636, '+--': 0.09091, '-++': 0.04545, '-+-': 0.18182, '--+': 0.09091, '---': 0.13636}
  max R 0.25  vertices at max: ['+--', '-++']
== rep5 N=4 ppps [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.1666687142857139, 0.1s
  eps = 0.16666667
  tf: [0.16667, 0.83333] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.125, 0.041667, -0.125, 0.041667]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.041667
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.166667
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.250000
  pair (2,3) law P+(++)=3/10 P-(++)=5/22  coef 0.041667
  rho_+: {'++--': 0.1, '+-++': 0.1, '+--+': 0.1, '+---': 0.1, '-+++': 0.1, '-++-': 0.1, '-+--': 0.1, '--++': 0.1, '---+': 0.2}
  rho_-: {'+++-': 0.22727, '++-+': 0.09091, '+-+-': 0.09091, '+--+': 0.13636, '-+++': 0.22727, '----': 0.22727}
  max R 0.16666667  vertices at max: ['++--', '+--+', '-++-', '-+--', '--++']
== rep5 N=4 ppps [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.16667266666666658, 0.0s
  eps = 0.16666667
  tf: [0.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.375  Ra [0.125, -0.25, -0.125, 0.125]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef 0.041667
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.375000
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.166667
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.083333
  pair (2,3) law P+(++)=3/10 P-(++)=5/22  coef 0.041667
  copy (0, 1, 3) pair laws [(0, 1, '1/10'), (0, 3, '1/10'), (1, 3, '3/10')]  coef -0.125000
  rho_+: {'++--': 0.1, '+-++': 0.1, '+---': 0.2, '-+++': 0.1, '-+-+': 0.2, '--++': 0.1, '--+-': 0.1, '---+': 0.1}
  rho_-: {'++++': 0.13636, '++-+': 0.04545, '++--': 0.13636, '+-++': 0.09091, '+-+-': 0.09091, '+--+': 0.04545, '-++-': 0.18182, '-+-+': 0.04545, '--+-': 0.04545, '---+': 0.09091, '----': 0.09091}
  max R 0.16666667  vertices at max: ['++--', '+-+-', '+---', '-+-+', '--++']
== rep5 N=4 ppss [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.16667066666665012, 0.0s
  eps = 0.16666667
  tf: [1.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [0.125, -0.125, 0.125, 0.125]
  pair (0,2) law P+(++)=3/10 P-(++)=5/22  coef 0.041667
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.250000
  pair (1,2) law P+(++)=3/10 P-(++)=5/22  coef 0.166667
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.041667
  rho_+: {'++++': 0.1, '+-+-': 0.2, '+---': 0.1, '-+++': 0.1, '-++-': 0.1, '-+-+': 0.1, '--++': 0.1, '---+': 0.2}
  rho_-: {'++++': 0.13636, '++-+': 0.09091, '++--': 0.22727, '+-++': 0.09091, '-++-': 0.09091, '--++': 0.13636, '----': 0.22727}
  max R 0.16666667  vertices at max: ['+++-', '+-+-', '+---', '-+++', '---+']
== rep5 N=4 ppss [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.16667266666666625, 0.0s
  eps = 0.16666667
  tf: [0.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.375  Ra [-0.0, -0.25, -0.0, 0.125]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.375000
  pair (0,3) law P+(++)=3/10 P-(++)=5/22  coef 0.041667
  pair (1,2) law P+(++)=3/10 P-(++)=5/22  coef -0.083333
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.166667
  copy (0, 1, 2) pair laws [(0, 1, '1/10'), (0, 2, '1/10'), (1, 2, '3/10')]  coef -0.125000
  rho_+: {'++-+': 0.1, '+-+-': 0.1, '+--+': 0.2, '-+++': 0.2, '-++-': 0.1, '--+-': 0.2, '---+': 0.1}
  rho_-: {'++++': 0.09091, '+++-': 0.09091, '++-+': 0.13636, '+-+-': 0.13636, '+---': 0.09091, '-++-': 0.04545, '-+--': 0.18182, '--++': 0.09091, '---+': 0.13636}
  max R 0.16666667  vertices at max: ['++-+', '+--+', '+---', '-+++', '--+-']
== rep5 N=5 pppps [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.1250031428571431, 0.2s
  eps = 0.12500000
  tf: [0.125, 0.875] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.09375, -0.09375, -0.03125, -0.0, 0.03125]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.093750
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (1,4) law P+(++)=3/10 P-(++)=5/22  coef 0.031250
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (3,4) law P+(++)=1/10 P-(++)=7/22  coef -0.250000
  rho_+: {'++--+': 0.1, '+-+-+': 0.1, '+--+-': 0.1, '+----': 0.1, '-++-+': 0.1, '-+-+-': 0.1, '-+--+': 0.1, '--++-': 0.1, '--+-+': 0.1, '---++': 0.1}
  rho_-: {'+++--': 0.22727, '++-+-': 0.09091, '+-+++': 0.09091, '+--+-': 0.13636, '-++++': 0.09091, '-+--+': 0.13636, '--+++': 0.13636, '-----': 0.09091}
  max R 0.125  vertices at max: ['+-+-+', '+--+-', '+---+', '-++-+', '-+-+-', '-+--+', '--++-', '--+-+', '---+-']
== rep5 N=5 pppps [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.12500575, 0.1s
  eps = 0.12500000
  tf: [0.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.375  Ra [0.09375, -0.15625, -0.09375, -0.09375, 0.125]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef 0.062500
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.375000
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (1,4) law P+(++)=3/10 P-(++)=5/22  coef 0.093750
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.093750
  pair (2,4) law P+(++)=3/10 P-(++)=5/22  coef 0.031250
  copy (0, 1, 4) pair laws [(0, 1, '1/10'), (0, 4, '1/10'), (1, 4, '3/10')]  coef -0.125000
  rho_+: {'++---': 0.1, '+-+-+': 0.1, '+--+-': 0.1, '+----': 0.1, '-++-+': 0.1, '-+-++': 0.1, '-+--+': 0.1, '--++-': 0.1, '--+-+': 0.1, '---++': 0.1}
  rho_-: {'+++++': 0.09091, '++-++': 0.09091, '++-+-': 0.04545, '++---': 0.09091, '+--+-': 0.09091, '+---+': 0.13636, '-++++': 0.04545, '-+++-': 0.04545, '-++--': 0.13636, '--+++': 0.09091, '--++-': 0.04545, '--+--': 0.09091}
  max R 0.125  vertices at max: ['++---', '+-+--', '+--+-', '+----', '-++-+', '-+-++', '-+--+', '--+-+', '---++']
== rep5 N=5 pppss [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.10000407619047551, 0.2s
  eps = 0.10000000
  tf: [0.9, 0.1] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.125, 0.1, 0.225, -0.0]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,3) law P+(++)=3/10 P-(++)=5/22  coef 0.075000
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.050000
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.150000
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.150000
  pair (2,4) law P+(++)=1/10 P-(++)=7/22  coef -0.050000
  rho_+: {'++-++': 0.1, '+-++-': 0.1, '+-+--': 0.1, '+--+-': 0.1, '-+-++': 0.2, '-+--+': 0.1, '--+-+': 0.1, '--+--': 0.1, '---++': 0.1}
  rho_-: {'+++++': 0.09091, '++-++': 0.13636, '++---': 0.09091, '+-+-+': 0.09091, '+-+--': 0.13636, '-+---': 0.22727, '--+++': 0.13636, '--++-': 0.09091}
  max R 0.1  vertices at max: ['++++-', '++-++', '++-+-', '+-++-', '+-+--', '+--++', '+--+-', '-+-++', '--+-+', '--+--']
== rep5 N=5 pppss [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.10000800000000105, 0.1s
  eps = 0.10000000
  tf: [0.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.375  Ra [-0.0, -0.25, -0.0, 0.05, 0.075]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.100000
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.175000
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.150000
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.050000
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.050000
  pair (2,4) law P+(++)=3/10 P-(++)=5/22  coef 0.075000
  copy (0, 1, 3) pair laws [(0, 1, '1/10'), (0, 3, '1/10'), (1, 3, '3/10')]  coef -0.125000
  rho_+: {'+++-+': 0.1, '+-+--': 0.1, '+--+-': 0.1, '+----': 0.1, '-+-++': 0.3, '--+++': 0.1, '--+-+': 0.1, '---+-': 0.1}
  rho_-: {'+++++': 0.18182, '+++-+': 0.04545, '++---': 0.09091, '+-++-': 0.09091, '+-+--': 0.04545, '+--++': 0.04545, '+---+': 0.04545, '-+++-': 0.04545, '-++--': 0.04545, '-+---': 0.13636, '--+--': 0.09091, '---++': 0.09091, '----+': 0.04545}
  max R 0.1  vertices at max: ['+-+-+', '+-+--', '+--+-', '+----', '-++++', '-+-++', '--+++', '--+-+']
HighsMipSolverData::transformNewIntegerFeasibleSolution tmpSolver.run();
== rep5 N=5 ppsss [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.12500414285714287, 0.2s
  eps = 0.12500000
  tf: [1.0, -0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.0, -0.0, 0.125, 0.125]
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (0,3) law P+(++)=3/10 P-(++)=5/22  coef 0.156250
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.187500
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.031250
  pair (1,4) law P+(++)=3/10 P-(++)=5/22  coef 0.062500
  rho_+: {'++-++': 0.1, '++-+-': 0.1, '+-+--': 0.1, '+--+-': 0.1, '-++-+': 0.1, '-+-++': 0.1, '--+++': 0.2, '--+-+': 0.1, '--+--': 0.1}
  rho_-: {'+++++': 0.18182, '+++--': 0.09091, '+-+++': 0.04545, '+---+': 0.09091, '+----': 0.13636, '-+++-': 0.02273, '-++-+': 0.02273, '-+-++': 0.02273, '-+---': 0.20455, '--++-': 0.09091, '---++': 0.09091}
  max R 0.125  vertices at max: ['++-++', '++-+-', '+-++-', '+--+-', '-++++', '-++-+', '-+-++', '-+--+', '--+-+']
== rep5 N=5 ppsss [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.16667266666663552, 0.1s
  eps = 0.16666667
  tf: [0.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.375  Ra [-0.0, -0.25, -0.0, 0.125, -0.0]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.375000
  pair (0,3) law P+(++)=3/10 P-(++)=5/22  coef 0.041667
  pair (1,2) law P+(++)=3/10 P-(++)=5/22  coef -0.083333
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.166667
  copy (0, 1, 2) pair laws [(0, 1, '1/10'), (0, 2, '1/10'), (1, 2, '3/10')]  coef -0.125000
  rho_+: {'++-+-': 0.1, '+-+-+': 0.1, '+--+-': 0.2, '-++++': 0.1, '-+++-': 0.1, '-++-+': 0.1, '--+-+': 0.2, '---++': 0.1}
  rho_-: {'++++-': 0.18182, '++--+': 0.13636, '+-+--': 0.13636, '+--+-': 0.04545, '+----': 0.04545, '-++++': 0.04545, '-+--+': 0.18182, '--++-': 0.04545, '--+-+': 0.04545, '---++': 0.04545, '---+-': 0.09091}
  max R 0.16666667  vertices at max: ['++-++', '++-+-', '+--++', '+--+-', '+---+', '+----', '-++++', '-+++-', '--+-+', '--+--']
== rep10 N=3 pps [nocopy] (coefficient cap 0.75, eps <= 0.5): status 2 (The problem is infeasible. (HiGHS Status 8: model_status is ), dual bound None, 0.0s
== rep10 N=3 pps [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.250004, 0.0s
  eps = 0.25000000
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.25, 0.125]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef -0.250000
  pair (0,2) law P+(++)=1/4 P-(++)=1/4  coef 0.000000
  pair (1,2) law P+(++)=1/3 P-(++)=1/5  coef 0.250000
  copy (0, 1, 2) pair laws [(0, 1, '1/12'), (0, 2, '1/4'), (1, 2, '1/3')]  coef -0.125000
  rho_+: {'+++': 0.08333, '+-+': 0.16667, '+--': 0.16667, '-++': 0.25, '-+-': 0.08333, '--+': 0.08333, '---': 0.16667}
  rho_-: {'+++': 0.15, '++-': 0.2, '+-+': 0.1, '+--': 0.1, '-++': 0.05, '-+-': 0.15, '--+': 0.15, '---': 0.1}
  max R 0.25  vertices at max: ['+-+', '+--', '-++']
== rep10 N=4 ppps [nocopy] (coefficient cap 0.75, eps <= 0.5): status 2 (The problem is infeasible. (HiGHS Status 8: model_status is ), dual bound None, 0.0s
== rep10 N=4 ppps [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.1666726666666666, 0.0s
  eps = 0.16666667
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.25, -0.0, 0.125]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef -0.166667
  pair (0,2) law P+(++)=1/12 P-(++)=7/20  coef -0.041667
  pair (0,3) law P+(++)=1/4 P-(++)=1/4  coef 0.000000
  pair (1,2) law P+(++)=1/12 P-(++)=7/20  coef -0.041667
  pair (1,3) law P+(++)=1/3 P-(++)=1/5  coef 0.250000
  copy (0, 1, 3) pair laws [(0, 1, '1/12'), (0, 3, '1/4'), (1, 3, '1/3')]  coef -0.125000
  rho_+: {'++-+': 0.08333, '+-++': 0.08333, '+--+': 0.08333, '+---': 0.16667, '-+++': 0.08333, '-+-+': 0.16667, '-+--': 0.08333, '--++': 0.08333, '--+-': 0.16667}
  rho_-: {'++++': 0.15, '++--': 0.2, '+-++': 0.1, '+-+-': 0.1, '-+++': 0.05, '-++-': 0.15, '---+': 0.15, '----': 0.1}
  max R 0.16666667  vertices at max: ['+-++', '+-+-', '+--+', '+---', '-+++', '-+-+', '--+-']
== rep10 N=4 ppss [nocopy] (coefficient cap 0.75, eps <= 0.5): status 2 (The problem is infeasible. (HiGHS Status 8: model_status is ), dual bound None, 0.0s
== rep10 N=4 ppss [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.250004, 0.0s
  eps = 0.25000000
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.25, 0.125, -0.0]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef -0.250000
  pair (0,2) law P+(++)=1/4 P-(++)=1/4  coef -0.000000
  pair (1,2) law P+(++)=1/3 P-(++)=1/5  coef 0.250000
  copy (0, 1, 2) pair laws [(0, 1, '1/12'), (0, 2, '1/4'), (1, 2, '1/3')]  coef -0.125000
  rho_+: {'++++': 0.08333, '+-+-': 0.16667, '+--+': 0.16667, '-+++': 0.25, '-+-+': 0.08333, '--+-': 0.08333, '----': 0.16667}
  rho_-: {'+++-': 0.15, '++--': 0.2, '+-++': 0.1, '+--+': 0.1, '-++-': 0.05, '-+--': 0.15, '--++': 0.15, '---+': 0.1}
  max R 0.25  vertices at max: ['+-++', '+-+-', '+--+', '+---', '-+++', '-++-']
== rep10 N=5 pppps [nocopy] (coefficient cap 0.75, eps <= 0.5): status 2 (The problem is infeasible. (HiGHS Status 8: model_status is ), dual bound None, 0.0s
== rep10 N=5 pppps [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.08334048611111125, 0.1s
  eps = 0.08333333
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [0.0625, -0.1875, -0.125, -0.0, 0.125]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef 0.041667
  pair (0,2) law P+(++)=1/12 P-(++)=7/20  coef -0.083333
  pair (0,4) law P+(++)=1/4 P-(++)=1/4  coef -0.062500
  pair (1,2) law P+(++)=1/12 P-(++)=7/20  coef -0.145833
  pair (1,3) law P+(++)=1/12 P-(++)=7/20  coef -0.062500
  pair (1,4) law P+(++)=1/3 P-(++)=1/5  coef 0.187500
  pair (2,4) law P+(++)=1/4 P-(++)=1/4  coef 0.062500
  pair (3,4) law P+(++)=1/3 P-(++)=1/5  coef 0.062500
  copy (0, 1, 4) pair laws [(0, 1, '1/12'), (0, 4, '1/4'), (1, 4, '1/3')]  coef -0.125000
  rho_+: {'++-++': 0.08333, '+-+++': 0.08333, '+--++': 0.08333, '+----': 0.16667, '-++-+': 0.08333, '-+--+': 0.16667, '-+---': 0.08333, '--+++': 0.08333, '--++-': 0.08333, '--+--': 0.08333}
  rho_-: {'+++++': 0.15, '++++-': 0.125, '++---': 0.075, '+-+++': 0.05, '+-+--': 0.025, '+--+-': 0.075, '+---+': 0.05, '-++--': 0.075, '-+-+-': 0.075, '-+--+': 0.05, '--++-': 0.075, '--+-+': 0.05, '----+': 0.1, '-----': 0.025}
  max R 0.08333333  vertices at max: ['++-++', '++--+', '++---', '+-+++', '+--++', '+--+-', '+----', '-+-++', '-+--+', '--+++', '--++-', '--+--']
== rep10 N=5 pppss [nocopy] (coefficient cap 0.75, eps <= 0.5): status 2 (The problem is infeasible. (HiGHS Status 8: model_status is ), dual bound None, 0.0s
== rep10 N=5 pppss [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.08334233333333292, 0.2s
  eps = 0.08333333
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.125, -0.125, 0.125, -0.0]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef 0.041667
  pair (0,2) law P+(++)=1/12 P-(++)=7/20  coef -0.208333
  pair (0,3) law P+(++)=1/4 P-(++)=1/4  coef -0.062500
  pair (0,4) law P+(++)=1/3 P-(++)=1/5  coef 0.062500
  pair (1,2) law P+(++)=1/12 P-(++)=7/20  coef -0.083333
  pair (1,3) law P+(++)=1/3 P-(++)=1/5  coef 0.125000
  pair (2,3) law P+(++)=1/4 P-(++)=1/4  coef 0.062500
  pair (2,4) law P+(++)=1/3 P-(++)=1/5  coef 0.062500
  copy (0, 1, 3) pair laws [(0, 1, '1/12'), (0, 3, '1/4'), (1, 3, '1/3')]  coef -0.125000
  rho_+: {'++-+-': 0.08333, '+-+++': 0.08333, '+--++': 0.08333, '+---+': 0.16667, '-++++': 0.08333, '-+-+-': 0.16667, '-+---': 0.08333, '--++-': 0.08333, '--+-+': 0.16667}
  rho_-: {'+++++': 0.1, '+++--': 0.05, '++-+-': 0.05, '++---': 0.15, '+-++-': 0.1, '+-+-+': 0.1, '-+++-': 0.05, '-++--': 0.15, '---++': 0.15, '----+': 0.1}
  max R 0.08333333  vertices at max: ['++-++', '++-+-', '++--+', '++---', '+--++', '+--+-', '+---+', '+----', '-++++', '-+++-', '-+-+-', '--+++', '--++-', '--+-+', '--+--']
== rep10 N=5 ppsss [nocopy] (coefficient cap 0.75, eps <= 0.5): status 2 (The problem is infeasible. (HiGHS Status 8: model_status is ), dual bound None, 0.0s
== rep10 N=5 ppsss [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.250004, 0.0s
  eps = 0.25000000
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.25, 0.125, -0.0, -0.0]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef -0.250000
  pair (0,2) law P+(++)=1/4 P-(++)=1/4  coef -0.000000
  pair (1,2) law P+(++)=1/3 P-(++)=1/5  coef 0.250000
  copy (0, 1, 2) pair laws [(0, 1, '1/12'), (0, 2, '1/4'), (1, 2, '1/3')]  coef -0.125000
  rho_+: {'+++-+': 0.08333, '+-+-+': 0.16667, '+--+-': 0.16667, '-++++': 0.25, '-+---': 0.08333, '--+-+': 0.08333, '---+-': 0.16667}
  rho_-: {'+++--': 0.15, '++-+-': 0.05, '++--+': 0.15, '+-+--': 0.1, '+---+': 0.1, '-++-+': 0.05, '-+-+-': 0.15, '--+++': 0.15, '---+-': 0.1}
  max R 0.25  vertices at max: ['+-+++', '+-++-', '+-+-+', '+-+--', '+--++', '+--+-', '+---+', '+----', '-++++', '-+++-', '-++-+', '-++--']
== rep10 N=6 ppppps [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.07143771428571428, 1.5s
  eps = 0.07142857
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [0.017857, -0.142857, -0.035714, -0.071429, -0.017857, 0.125]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef 0.035714
  pair (0,2) law P+(++)=1/12 P-(++)=7/20  coef -0.035714
  pair (0,3) law P+(++)=1/12 P-(++)=7/20  coef -0.071429
  pair (0,5) law P+(++)=1/4 P-(++)=1/4  coef -0.071429
  pair (1,2) law P+(++)=1/12 P-(++)=7/20  coef -0.017857
  pair (1,3) law P+(++)=1/12 P-(++)=7/20  coef -0.071429
  pair (1,4) law P+(++)=1/12 P-(++)=7/20  coef -0.071429
  pair (1,5) law P+(++)=1/3 P-(++)=1/5  coef 0.178571
  pair (2,4) law P+(++)=1/12 P-(++)=7/20  coef -0.017857
  pair (3,5) law P+(++)=1/4 P-(++)=1/4  coef 0.071429
  pair (4,5) law P+(++)=1/3 P-(++)=1/5  coef 0.071429
  copy (0, 1, 5) pair laws [(0, 1, '1/12'), (0, 5, '1/4'), (1, 5, '1/3')]  coef -0.125000
  rho_+: {'++--++': 0.08333, '+-+---': 0.08333, '+--+++': 0.08333, '+---++': 0.08333, '+---+-': 0.08333, '-+++-+': 0.08333, '-+---+': 0.16667, '-+----': 0.08333, '--++++': 0.08333, '--++--': 0.16667}
  rho_-: {'++++++': 0.11667, '+++-+-': 0.06667, '+++--+': 0.03333, '+++---': 0.05, '++-+--': 0.08333, '+-+++-': 0.08333, '+--+-+': 0.06667, '+---++': 0.03333, '+---+-': 0.01667, '-++++-': 0.06667, '-++-++': 0.01667, '-+-++-': 0.05, '-+-+-+': 0.03333, '-+--+-': 0.03333, '--+--+': 0.11667, '---+++': 0.03333, '---+--': 0.01667, '----+-': 0.03333, '------': 0.05}
  max R 0.07142857  vertices at max: ['++----', '+--+++', '+---++', '+---+-', '+-----', '-+++-+', '-++--+', '-+-+++', '-+-+-+', '-+--++', '-+---+', '--++++', '--++--', '--+---', '---+++']
== rep10 N=6 ppppss [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.05556466666666667, 2.8s
  eps = 0.05555556
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.125, -0.083333, -0.041667, 0.083333, 0.041667]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef -0.013889
  pair (0,2) law P+(++)=1/12 P-(++)=7/20  coef -0.097222
  pair (0,4) law P+(++)=1/4 P-(++)=1/4  coef -0.041667
  pair (1,2) law P+(++)=1/12 P-(++)=7/20  coef -0.097222
  pair (1,3) law P+(++)=1/12 P-(++)=7/20  coef -0.041667
  pair (1,4) law P+(++)=1/3 P-(++)=1/5  coef 0.083333
  pair (1,5) law P+(++)=1/3 P-(++)=1/5  coef 0.041667
  pair (2,4) law P+(++)=1/4 P-(++)=1/4  coef 0.041667
  pair (2,5) law P+(++)=1/3 P-(++)=1/5  coef 0.041667
  pair (3,4) law P+(++)=1/3 P-(++)=1/5  coef 0.041667
  pair (3,5) law P+(++)=1/3 P-(++)=1/5  coef 0.041667
  copy (0, 1, 4) pair laws [(0, 1, '1/12'), (0, 4, '1/4'), (1, 4, '1/3')]  coef -0.125000
  rho_+: {'++--++': 0.08333, '+-++++': 0.08333, '+--++-': 0.08333, '+-----': 0.16667, '-+++++': 0.08333, '-+--++': 0.16667, '-+----': 0.08333, '--++++': 0.08333, '--++-+': 0.08333, '--+---': 0.08333}
  rho_-: {'++++--': 0.15, '+++-+-': 0.15, '++-+--': 0.05, '+-+--+': 0.05, '+--++-': 0.1, '+----+': 0.05, '-++-++': 0.05, '-+-+-+': 0.15, '--+-+-': 0.05, '--+--+': 0.1, '---+++': 0.05, '---++-': 0.05}
  max R 0.05555556  vertices at max: ['++---+', '++----', '+-++++', '+--+++', '+--++-', '+---+-', '+-----', '-+++++', '-++-++', '-+-+++', '-+--++', '-+--+-', '--++++', '--++-+', '--+--+', '--+---']
== rep10 N=6 pppsss [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.07144057142857277, 0.6s
  eps = 0.07142857
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [0.017857, -0.160714, -0.107143, 0.125, -0.017857, 0.017857]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef 0.017857
  pair (0,2) law P+(++)=1/12 P-(++)=7/20  coef -0.107143
  pair (0,3) law P+(++)=1/4 P-(++)=1/4  coef -0.035714
  pair (0,4) law P+(++)=1/4 P-(++)=1/4  coef -0.017857
  pair (1,2) law P+(++)=1/12 P-(++)=7/20  coef -0.160714
  pair (1,3) law P+(++)=1/3 P-(++)=1/5  coef 0.125000
  pair (1,4) law P+(++)=1/4 P-(++)=1/4  coef -0.017857
  pair (1,5) law P+(++)=1/3 P-(++)=1/5  coef 0.071429
  pair (2,3) law P+(++)=1/4 P-(++)=1/4  coef 0.089286
  pair (2,4) law P+(++)=1/4 P-(++)=1/4  coef -0.017857
  pair (2,5) law P+(++)=1/3 P-(++)=1/5  coef 0.053571
  copy (0, 1, 3) pair laws [(0, 1, '1/12'), (0, 3, '1/4'), (1, 3, '1/3')]  coef -0.125000
  rho_+: {'++-++-': 0.08333, '+-++-+': 0.08333, '+--++-': 0.08333, '+---+-': 0.08333, '+-----': 0.08333, '-+++++': 0.08333, '-+-+++': 0.08333, '-+-+-+': 0.08333, '-+---+': 0.08333, '--++--': 0.08333, '--+-++': 0.16667}
  rho_-: {'+++++-': 0.06667, '+++-+-': 0.11667, '++-+++': 0.03333, '++-+--': 0.05, '++---+': 0.08333, '+-++-+': 0.08333, '+-++--': 0.01667, '+-+-+-': 0.03333, '+-+---': 0.03333, '+-----': 0.03333, '-+++--': 0.05, '-++--+': 0.08333, '-++---': 0.03333, '-+--+-': 0.03333, '--++++': 0.03333, '---+++': 0.03333, '---+--': 0.08333, '----++': 0.1}
  max R 0.07142857  vertices at max: ['++-+-+', '++---+', '+-++-+', '+-++--', '+--++-', '+--+--', '+---+-', '+-----', '-+++-+', '-+-+++', '-+-+-+', '--++++', '--+++-', '--++-+', '--++--', '--+-++', '--+-+-', '--+--+', '--+---', '----+-']
== rep10 N=6 ppssss [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.250004, 0.0s
  eps = 0.25000000
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.25, 0.125, -0.0, -0.0, -0.0]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef -0.250000
  pair (0,2) law P+(++)=1/4 P-(++)=1/4  coef -0.000000
  pair (1,2) law P+(++)=1/3 P-(++)=1/5  coef 0.250000
  copy (0, 1, 2) pair laws [(0, 1, '1/12'), (0, 2, '1/4'), (1, 2, '1/3')]  coef -0.125000
  rho_+: {'++++-+': 0.08333, '+-+-++': 0.16667, '+--+-+': 0.08333, '+---+-': 0.08333, '-+++++': 0.16667, '-++---': 0.08333, '-+---+': 0.08333, '--++--': 0.08333, '---++-': 0.16667}
  rho_-: {'+++---': 0.15, '++-+++': 0.15, '++--+-': 0.05, '+-+---': 0.1, '+---+-': 0.05, '+----+': 0.05, '-++-+-': 0.05, '-+-+--': 0.15, '--++++': 0.15, '-----+': 0.1}
  max R 0.25  vertices at max: ['+-++++', '+-+++-', '+-++-+', '+-++--', '+-+-++', '+-+-+-', '+-+--+', '+-+---', '+--+++', '+--++-', '+--+-+', '+--+--', '+---++', '+---+-', '+----+', '+-----', '-+++++', '-++++-', '-+++-+', '-+++--', '-++-++', '-++-+-', '-++--+', '-++---']
== rep5 N=6 ppppps [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.10000332142857143, 0.4s
  eps = 0.10000000
  tf: [0.1, 0.9] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.05, -0.05, -0.025, -0.05, -0.05, 0.025]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (2,5) law P+(++)=1/10 P-(++)=7/22  coef -0.250000
  pair (3,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (4,5) law P+(++)=3/10 P-(++)=5/22  coef 0.025000
  rho_+: {'++---+': 0.1, '+-+---': 0.1, '+--+-+': 0.1, '+---++': 0.1, '-++-++': 0.1, '-+-+-+': 0.1, '-+----': 0.1, '--++--': 0.1, '--+-+-': 0.1, '---+++': 0.1}
  rho_-: {'++++-+': 0.09091, '+++-++': 0.09091, '++-+++': 0.04545, '++--+-': 0.04545, '++----': 0.04545, '+-+++-': 0.09091, '+-+--+': 0.04545, '+--++-': 0.04545, '+--+--': 0.04545, '-++++-': 0.13636, '-+-+--': 0.04545, '-+----': 0.04545, '--+-++': 0.09091, '---+--': 0.04545, '-----+': 0.09091}
  max R 0.1  vertices at max: ['++---+', '+-+---', '+--+-+', '+---++', '+----+', '-++---', '-+-+-+', '-+--++', '-+---+', '--++--', '--+-+-', '--+---', '---+++', '---+-+', '----++']
== rep5 N=6 ppppss [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.07143157142856389, 2.8s
  eps = 0.07142857
  tf: [0.57143, 0.42857] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.071429, 0.125, -0.107143, -0.053571, 0.071429, 0.071429]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef 0.053571
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.071429
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.017857
  pair (0,4) law P+(++)=3/10 P-(++)=5/22  coef 0.071429
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.017857
  pair (1,4) law P+(++)=1/10 P-(++)=7/22  coef -0.071429
  pair (1,5) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.053571
  pair (2,4) law P+(++)=3/10 P-(++)=5/22  coef 0.071429
  pair (2,5) law P+(++)=1/10 P-(++)=7/22  coef -0.053571
  rho_+: {'+++---': 0.1, '+--+++': 0.1, '+---++': 0.2, '-++-+-': 0.1, '-+-+--': 0.1, '-+---+': 0.1, '--++++': 0.1, '--+-+-': 0.1, '---+-+': 0.1}
  rho_-: {'++++++': 0.06061, '+++--+': 0.0303, '++-+++': 0.11364, '++----': 0.11364, '+-++++': 0.05303, '+-++--': 0.09091, '+-+---': 0.08333, '-+++++': 0.06061, '-++++-': 0.05303, '-++--+': 0.05303, '-+-+--': 0.0303, '-+--+-': 0.0303, '--+--+': 0.06061, '---+-+': 0.02273, '---+--': 0.06061, '----+-': 0.08333}
  max R 0.07142857  vertices at max: ['+++-+-', '++--++', '++--+-', '++---+', '++----', '+--+++', '+---++', '-++-+-', '-++---', '-+-+-+', '-+-+--', '-+---+', '-+----', '--+-++', '---+++', '---+-+']
== rep5 N=6 pppsss [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.07143470408163256, 2.9s
  eps = 0.07142857
  tf: [0.42857, 0.57143] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.125, -0.125, 0.107143, 0.035714, -0.0, 0.071429]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.142857
  pair (0,3) law P+(++)=3/10 P-(++)=5/22  coef 0.053571
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.035714
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.053571
  pair (1,5) law P+(++)=1/10 P-(++)=7/22  coef -0.035714
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.035714
  pair (2,4) law P+(++)=1/10 P-(++)=7/22  coef -0.035714
  pair (2,5) law P+(++)=1/10 P-(++)=7/22  coef -0.107143
  rho_+: {'++++--': 0.1, '+-+--+': 0.1, '+--+++': 0.1, '+--+-+': 0.1, '-++---': 0.1, '-+-+++': 0.1, '-+-++-': 0.1, '--+-+-': 0.1, '---+++': 0.1, '----++': 0.1}
  rho_-: {'++++++': 0.13636, '++---+': 0.04545, '++----': 0.13636, '+-++++': 0.04545, '+--+--': 0.04545, '+---+-': 0.13636, '-++-++': 0.04545, '-++---': 0.09091, '-+-+-+': 0.09091, '--+++-': 0.09091, '--++--': 0.04545, '--+--+': 0.09091}
  max R 0.07142857  vertices at max: ['+-++-+', '+-++--', '+-+--+', '+-+---', '+--+++', '+--+-+', '-++++-', '-+++--', '-++-+-', '-++---', '-+-+++', '--+-++', '--+-+-', '--+--+', '--+---', '----++']
== rep5 N=6 ppssss [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.12500300000000034, 0.7s
  eps = 0.12500000
  tf: [1.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.125, 0.125, -0.0, 0.25, -0.0, -0.0]
  pair (0,2) law P+(++)=3/10 P-(++)=5/22  coef 0.031250
  pair (0,3) law P+(++)=3/10 P-(++)=5/22  coef 0.187500
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (1,2) law P+(++)=3/10 P-(++)=5/22  coef 0.031250
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.187500
  pair (1,4) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  rho_+: {'+++--+': 0.1, '++-+--': 0.1, '+-++++': 0.1, '+-++--': 0.1, '-++-+-': 0.1, '-++---': 0.1, '--++++': 0.1, '---+++': 0.2, '----++': 0.1}
  rho_-: {'++++++': 0.09091, '++-+++': 0.04545, '++--++': 0.09091, '+-+---': 0.13636, '+--+-+': 0.09091, '+---+-': 0.09091, '-++--+': 0.13636, '-+-++-': 0.09091, '-+-+--': 0.09091, '--++--': 0.04545, '--+-+-': 0.04545, '------': 0.04545}
  max R 0.125  vertices at max: ['++++-+', '++++--', '+-++++', '+-+++-', '+-++-+', '+-++--', '+--+++', '+--++-', '+--+-+', '+--+--', '-++-++', '-++-+-', '-++--+', '-++---', '-+--++', '-+--+-', '-+---+', '-+----', '---+++', '---++-']
== rep5 N=6 ppppps [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.10000717142854065, 0.3s
  eps = 0.10000000
  tf: [0.0, 1.5] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.1875  Ra [-0.1125, 0.0125, -0.05, -0.05, -0.05, -0.0625]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.087500
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,5) law P+(++)=1/10 P-(++)=7/22  coef -0.187500
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,5) law P+(++)=3/10 P-(++)=5/22  coef -0.062500
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (2,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (3,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  copy (0, 1, 5) pair laws [(0, 1, '1/10'), (0, 5, '1/10'), (1, 5, '3/10')]  coef 0.062500
  rho_+: {'++----': 0.1, '+-+---': 0.1, '+--+--': 0.1, '+---++': 0.1, '-++--+': 0.1, '-+-+-+': 0.1, '-+--++': 0.1, '--++--': 0.1, '--+-++': 0.1, '---+++': 0.1}
  rho_-: {'++++++': 0.03896, '++++--': 0.05195, '+++---': 0.05844, '++-+++': 0.08442, '++--+-': 0.02597, '++---+': 0.05844, '+-+++-': 0.02597, '+-++-+': 0.05844, '+-+-++': 0.01948, '+-+-+-': 0.06494, '+--+++': 0.05844, '-++++-': 0.08442, '-++-+-': 0.08442, '-+-+-+': 0.04545, '-+-+--': 0.01299, '--++--': 0.05844, '---+++': 0.02597, '----++': 0.03247, '-----+': 0.03247, '------': 0.07792}
  max R 0.1  vertices at max: ['++----', '+-+---', '+--+--', '+---+-', '+-----', '-++--+', '-++---', '-+-+-+', '-+-+--', '-+--++', '-+--+-', '-+---+', '-+----', '--++-+', '--+-++', '--+--+', '---+++', '---+-+', '----++']
== rep5 N=6 ppppss [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.07143565306122447, 0.5s
  eps = 0.07142857
  tf: [0.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.375  Ra [-0.0, -0.125, -0.0, -0.125, -0.0, 0.125]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.017857
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.053571
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.232143
  pair (0,5) law P+(++)=1/10 P-(++)=7/22  coef -0.071429
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.017857
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.017857
  pair (1,4) law P+(++)=3/10 P-(++)=5/22  coef -0.017857
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.017857
  pair (2,4) law P+(++)=3/10 P-(++)=5/22  coef -0.053571
  pair (3,4) law P+(++)=1/10 P-(++)=7/22  coef -0.071429
  pair (3,5) law P+(++)=3/10 P-(++)=5/22  coef 0.196429
  copy (0, 1, 4) pair laws [(0, 1, '1/10'), (0, 4, '1/10'), (1, 4, '3/10')]  coef -0.125000
  rho_+: {'++----': 0.1, '+-++--': 0.1, '+--+-+': 0.1, '+---+-': 0.1, '-++-+-': 0.1, '-+-+++': 0.1, '-+--++': 0.1, '--+-++': 0.2, '---+-+': 0.1}
  rho_-: {'++++++': 0.07955, '++++-+': 0.04545, '+++-++': 0.03409, '++-+++': 0.02273, '++--+-': 0.04545, '++---+': 0.09091, '+-+++-': 0.07955, '+-++-+': 0.01136, '+-+-+-': 0.03409, '+-+--+': 0.03409, '+--+--': 0.04545, '+---+-': 0.02273, '-+++--': 0.10227, '-++---': 0.05682, '-+-+++': 0.04545, '-+-+-+': 0.02273, '--+--+': 0.06818, '---++-': 0.09091, '------': 0.06818}
  max R 0.07142857  vertices at max: ['+++---', '++-+-+', '++----', '+-++-+', '+-+---', '+--+-+', '+---+-', '-++-++', '-++-+-', '-+-+++', '-+--++', '-+--+-', '--++++', '--++-+', '--+-++', '--+-+-', '---+++']
== rep5 N=6 pppsss [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.07143857142857137, 0.5s
  eps = 0.07142857
  tf: [0.92857, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.258929  Ra [0.008929, -0.133929, 0.107143, 0.205357, 0.035714, 0.0]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.008929
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.044643
  pair (0,4) law P+(++)=3/10 P-(++)=5/22  coef 0.053571
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.133929
  pair (1,4) law P+(++)=3/10 P-(++)=5/22  coef 0.053571
  pair (1,5) law P+(++)=1/10 P-(++)=7/22  coef -0.035714
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.107143
  pair (2,4) law P+(++)=1/10 P-(++)=7/22  coef -0.035714
  pair (2,5) law P+(++)=1/10 P-(++)=7/22  coef -0.035714
  copy (0, 1, 3) pair laws [(0, 1, '1/10'), (0, 3, '1/10'), (1, 3, '3/10')]  coef -0.008929
  rho_+: {'+++-+-': 0.1, '+-+---': 0.1, '+--+++': 0.1, '+---++': 0.1, '-+++--': 0.1, '-+-+++': 0.1, '-+-++-': 0.1, '--+--+': 0.1, '---+++': 0.1, '---+-+': 0.1}
  rho_-: {'+++++-': 0.04545, '++++-+': 0.13636, '++--++': 0.04545, '++--+-': 0.04545, '++---+': 0.04545, '+-+-+-': 0.09091, '+--+--': 0.13636, '-+++++': 0.04545, '-+--++': 0.04545, '-+----': 0.13636, '--++++': 0.06818, '--++--': 0.02273, '--+-+-': 0.06818, '--+--+': 0.06818}
  max R 0.07142857  vertices at max: ['+++++-', '++-+++', '++-++-', '+-+-++', '+-+-+-', '+-+--+', '+-+---', '+--+++', '-++++-', '-+++--', '-+-+++', '-+-++-', '--++-+', '--++--', '--+--+', '--+---', '---+-+']
== rep5 N=6 ppssss [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.16667076190476096, 0.2s
  eps = 0.16666667
  tf: [1.16667, 0.83333] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.125  Ra [0.041667, -0.0, 0.041667, 0.125, -0.0, -0.0]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.083333
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (0,3) law P+(++)=3/10 P-(++)=5/22  coef 0.041667
  pair (1,2) law P+(++)=3/10 P-(++)=5/22  coef -0.041667
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.166667
  copy (0, 1, 2) pair laws [(0, 1, '1/10'), (0, 2, '1/10'), (1, 2, '3/10')]  coef 0.125000
  rho_+: {'++---+': 0.1, '+-++++': 0.1, '+--+-+': 0.2, '-+++++': 0.1, '-++++-': 0.2, '--+-+-': 0.2, '-----+': 0.1}
  rho_-: {'+++++-': 0.06818, '+++--+': 0.11364, '++-+--': 0.02273, '++--++': 0.11364, '+-++--': 0.13636, '+----+': 0.09091, '-++--+': 0.04545, '-+-++-': 0.13636, '-+----': 0.04545, '--++-+': 0.09091, '----+-': 0.13636}
  max R 0.16666667  vertices at max: ['++++++', '+++++-', '++++-+', '++++--', '++-+++', '++-++-', '++-+-+', '++-+--', '+--+++', '+--++-', '+--+-+', '+--+--', '+---++', '+---+-', '+----+', '+-----', '-+++++', '-++++-', '-+++-+', '-+++--', '-+-+++', '-+-++-', '-+-+-+', '-+-+--', '--+-++', '--+-+-', '--+--+', '--+---']
# N = 7, same settings, time limit 900 s per run (commands: python3 eps_designs.py NAME 7 PATTERN MODE 900 - 1/2); all 15 runs optimal (status 0).
== rep5 N=7 pppssss [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.06250705357142855, 38.6s
  eps = 0.06250000
  tf: [0.625, 0.375] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.109375, -0.015625, 0.03125, 0.09375, -0.0, 0.015625, 0.046875]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.093750
  pair (0,3) law P+(++)=3/10 P-(++)=5/22  coef 0.093750
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.109375
  pair (0,5) law P+(++)=3/10 P-(++)=5/22  coef 0.015625
  pair (0,6) law P+(++)=3/10 P-(++)=5/22  coef 0.046875
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (1,4) law P+(++)=3/10 P-(++)=5/22  coef -0.078125
  pair (1,5) law P+(++)=3/10 P-(++)=5/22  coef 0.015625
  pair (1,6) law P+(++)=3/10 P-(++)=5/22  coef 0.046875
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (2,4) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (2,5) law P+(++)=3/10 P-(++)=5/22  coef 0.015625
  pair (2,6) law P+(++)=1/10 P-(++)=7/22  coef -0.046875
  rho_+: {'+++--++': 0.1, '+-++-+-': 0.1, '+--++++': 0.1, '+--+--+': 0.1, '-++-++-': 0.1, '-+-++-+': 0.1, '-+--+++': 0.1, '--+----': 0.1, '---++++': 0.1, '---++--': 0.1}
  rho_-: {'+++++-+': 0.13636, '++++-+-': 0.04545, '+++-+--': 0.04545, '++---+-': 0.09091, '+-+++-+': 0.04545, '+-+--+-': 0.04545, '+---+--': 0.09091, '+----++': 0.04545, '-++++--': 0.04545, '-+-+-+-': 0.09091, '-+----+': 0.09091, '--+++--': 0.04545, '--+--++': 0.13636, '---++--': 0.04545}
  max R 0.0625  vertices at max: ['++++-++', '++-+-++', '+-++-++', '+-++-+-', '+--++++', '+--++-+', '+--+-++', '+--+--+', '-++-+++', '-++-++-', '-++--++', '-++--+-', '-+-++++', '-+-++-+', '-+--+++', '-+--+-+', '--++++-', '--+++--', '--+-++-', '--+-+--', '---++-+', '---++--']
== rep5 N=7 ppppsss [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.050006182417582354, 59.4s
  eps = 0.05000000
  tf: [0.45, 0.55] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.1125, 0.0125, -0.075, 0.0375, 0.05, -0.0, 0.0625]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.050000
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.075000
  pair (0,4) law P+(++)=3/10 P-(++)=5/22  coef 0.050000
  pair (0,5) law P+(++)=1/10 P-(++)=7/22  coef -0.037500
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.012500
  pair (1,4) law P+(++)=3/10 P-(++)=5/22  coef 0.050000
  pair (1,6) law P+(++)=1/10 P-(++)=7/22  coef -0.100000
  pair (2,4) law P+(++)=3/10 P-(++)=5/22  coef 0.012500
  pair (3,4) law P+(++)=1/10 P-(++)=7/22  coef -0.037500
  pair (3,5) law P+(++)=1/10 P-(++)=7/22  coef -0.037500
  pair (3,6) law P+(++)=1/10 P-(++)=7/22  coef -0.037500
  rho_+: {'++-++--': 0.1, '+-+-+-+': 0.1, '+--+---': 0.1, '+---+++': 0.1, '-++-++-': 0.1, '-+-+---': 0.1, '-+--+++': 0.1, '--++-++': 0.1, '--+-+++': 0.1, '-----++': 0.1}
  rho_-: {'+++-++-': 0.05398, '+++--+-': 0.0483, '+++---+': 0.09659, '++-+-++': 0.10795, '++-----': 0.01136, '+-+++--': 0.06534, '+-+----': 0.05398, '+--++++': 0.10795, '-+++++-': 0.0483, '-+++-+-': 0.05398, '-++-+-+': 0.01705, '-+-++-+': 0.09659, '-+--+--': 0.01136, '--++--+': 0.00568, '--++---': 0.05966, '--+-+++': 0.02273, '--+-+--': 0.01989, '----++-': 0.01136, '-------': 0.10795}
  max R 0.05  vertices at max: ['++-++--', '+--++-+', '+--+--+', '+---+++', '+---+-+', '-+++++-', '-++++--', '-++-+++', '-++-++-', '-+-+++-', '-+-++--', '-+-+-+-', '-+-+---', '-+--+++', '-+--++-', '--++-++', '--++--+', '--+-+++', '--+--++', '---+-++', '---+--+', '-----++']
== rep5 N=7 pppppss [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.05556416666666663, 14.8s
  eps = 0.05555556
  tf: [0.0, 1.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.083333, -0.041667, -0.069444, -0.027778, -0.027778, -0.013889, 0.013889]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.027778
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.055556
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.013889
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.097222
  pair (0,5) law P+(++)=3/10 P-(++)=5/22  coef -0.083333
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.013889
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.013889
  pair (1,5) law P+(++)=1/10 P-(++)=7/22  coef -0.055556
  pair (1,6) law P+(++)=3/10 P-(++)=5/22  coef 0.069444
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.013889
  pair (2,6) law P+(++)=3/10 P-(++)=5/22  coef 0.013889
  pair (3,4) law P+(++)=1/10 P-(++)=7/22  coef -0.013889
  pair (4,5) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (4,6) law P+(++)=1/10 P-(++)=7/22  coef -0.069444
  rho_+: {'++---++': 0.1, '+-+--++': 0.05, '+-+--+-': 0.05, '+--++--': 0.05, '+--+-+-': 0.05, '+---+--': 0.05, '+----++': 0.05, '-++-+-+': 0.1, '-+-+--+': 0.1, '-+--+--': 0.1, '--++-++': 0.1, '--+-++-': 0.05, '--+--++': 0.05, '---+++-': 0.05, '---+-++': 0.05}
  rho_-: {'++++++-': 0.11224, '++++---': 0.0167, '+++-++-': 0.07421, '+++-+-+': 0.02041, '++-+---': 0.09462, '+-+++-+': 0.0538, '+-++-++': 0.04082, '+---+-+': 0.05751, '+------': 0.07514, '-+++-++': 0.01855, '-++-+-+': 0.05659, '-++--+-': 0.01948, '-+-++++': 0.07607, '-+--+++': 0.0167, '-+---+-': 0.00093, '-+----+': 0.03896, '--+++++': 0.03711, '--+++--': 0.03896, '--+-++-': 0.00186, '--+----': 0.05473, '---+-+-': 0.05659, '------+': 0.03803}
  max R 0.05555556  vertices at max: ['++----+', '+--+-++', '+--+-+-', '+---+--', '+----++', '+----+-', '-++-+-+', '-++--++', '-+-+-++', '-+--+-+', '-+--+--', '-+---++', '--++-++', '--+-++-', '--+-+--', '--+--++', '---+++-', '---++--', '---+-++', '---+-+-', '----++-', '----+--']
== rep5 N=7 pppppps [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.10000400000000001, 2.8s
  eps = 0.10000000
  tf: [0.0, 1.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.05, -0.05, -0.0, -0.05, -0.05, -0.05, 0.0]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.000000
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,5) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef 0.100000
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,4) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (1,5) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (2,5) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (2,6) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (3,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (3,5) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (4,6) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  rho_+: {'++----+': 0.1, '+-+---+': 0.1, '+--+--+': 0.1, '+---++-': 0.1, '-++-+--': 0.1, '-+-+--+': 0.1, '-+---++': 0.1, '--++++-': 0.1, '--++---': 0.1, '----+++': 0.1}
  rho_-: {'+++++++': 0.12455, '++++-++': 0.00182, '+++-+--': 0.09545, '+++----': 0.03182, '++-+-+-': 0.02727, '++---++': 0.03727, '+-+++++': 0.06455, '+--+---': 0.1, '+---+++': 0.03364, '+----+-': 0.02909, '-++++--': 0.00273, '-++-+++': 0.03, '-++--+-': 0.03182, '-+-+++-': 0.06455, '-+-+---': 0.09727, '-+--+++': 0.00091, '--++-+-': 0.00091, '--+-++-': 0.06455, '--+---+': 0.09727, '---++++': 0.03455, '---++-+': 0.02727, '----+-+': 0.00273}
  max R 0.1  vertices at max: ['+++---+', '+++----', '++----+', '+-+-+--', '+--+--+', '+----++', '+-----+', '-+++--+', '-+++---', '-++-+--', '-++---+', '-++----', '-+-+--+', '-+---++', '-+----+', '--+++--', '--+-++-', '--+-+--', '---+-++', '---+--+', '----+++', '----++-', '-----++']
== rep5 N=7 ppsssss [nocopy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.1250023571428571, 4.6s
  eps = 0.12500000
  tf: [1.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.0, 0.125, -0.0, 0.125, -0.0, -0.0]
  pair (0,2) law P+(++)=3/10 P-(++)=5/22  coef 0.031250
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (0,4) law P+(++)=3/10 P-(++)=5/22  coef 0.062500
  pair (1,2) law P+(++)=3/10 P-(++)=5/22  coef 0.156250
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (1,4) law P+(++)=1/10 P-(++)=7/22  coef -0.187500
  rho_+: {'+++-+++': 0.1, '+++---+': 0.1, '+-++++-': 0.1, '+---+++': 0.1, '-+++--+': 0.1, '-+---+-': 0.1, '--+++-+': 0.2, '---+++-': 0.1, '---+-+-': 0.1}
  rho_-: {'++++--+': 0.18182, '++--++-': 0.18182, '+-+---+': 0.04545, '+--++--': 0.04545, '+--+--+': 0.09091, '-++++-+': 0.04545, '-+-+++-': 0.09091, '-+-----': 0.04545, '--+--++': 0.09091, '--+--+-': 0.09091, '----+--': 0.09091}
  max R 0.125  vertices at max: ['+++-+++', '+++-++-', '+++-+-+', '+++-+--', '+++--++', '+++--+-', '+++---+', '+++----', '+-+++++', '+-++++-', '+-+++-+', '+-+++--', '+-+-+++', '+-+-++-', '+-+-+-+', '+-+-+--', '+--++++', '+--+++-', '+--++-+', '+--++--', '+---+++', '+---++-', '+---+-+', '+---+--', '-+++-++', '-+++-+-', '-+++--+', '-+++---', '-++--++', '-++--+-', '-++---+', '-++----', '---++++', '---+++-', '---++-+', '---++--']
== rep10 N=7 pppssss [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.07143771428571422, 12.0s
  eps = 0.07142857
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [-0.116071, -0.160714, 0.026786, 0.142857, -0.017857, -0.0, -0.0]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef -0.169643
  pair (0,2) law P+(++)=1/12 P-(++)=7/20  coef -0.107143
  pair (0,3) law P+(++)=1/4 P-(++)=1/4  coef 0.098214
  pair (0,4) law P+(++)=1/4 P-(++)=1/4  coef -0.017857
  pair (0,5) law P+(++)=1/3 P-(++)=1/5  coef -0.000000
  pair (0,6) law P+(++)=1/3 P-(++)=1/5  coef 0.053571
  pair (1,2) law P+(++)=1/12 P-(++)=7/20  coef 0.026786
  pair (1,3) law P+(++)=1/3 P-(++)=1/5  coef 0.142857
  pair (1,4) law P+(++)=1/4 P-(++)=1/4  coef -0.017857
  pair (1,6) law P+(++)=1/3 P-(++)=1/5  coef 0.053571
  pair (2,3) law P+(++)=1/4 P-(++)=1/4  coef -0.044643
  pair (2,4) law P+(++)=1/4 P-(++)=1/4  coef -0.017857
  pair (2,5) law P+(++)=1/3 P-(++)=1/5  coef -0.000000
  copy (0, 1, 3) pair laws [(0, 1, '1/12'), (0, 3, '1/4'), (1, 3, '1/3')]  coef 0.008929
  copy (1, 2, 3) pair laws [(1, 2, '1/12'), (1, 3, '1/3'), (2, 3, '1/4')]  coef -0.133929
  rho_+: {'++-++++': 0.08333, '+-++++-': 0.08333, '+--+-++': 0.08333, '+---+-+': 0.08333, '+----++': 0.08333, '-+++-+-': 0.08333, '-+-++-+': 0.16667, '-+----+': 0.08333, '--+++--': 0.08333, '--+-++-': 0.08333, '--+--+-': 0.08333}
  rho_-: {'+++++-+': 0.075, '++++---': 0.025, '+++-++-': 0.025, '+++--++': 0.1, '++-+++-': 0.025, '++-++--': 0.025, '++-----': 0.075, '+-++---': 0.025, '+-+-+--': 0.05, '+-+--+-': 0.05, '+--++-+': 0.025, '+--++--': 0.025, '+--+---': 0.025, '-+++++-': 0.025, '-+++--+': 0.025, '-++----': 0.075, '-+--++-': 0.075, '--+++-+': 0.075, '---++--': 0.025, '---+-++': 0.05, '-----++': 0.1}
  max R 0.07142857  vertices at max: ['++-+-++', '++-+--+', '+-++-++', '+-++-+-', '+-++--+', '+-++---', '+--++++', '+--+++-', '+--++-+', '+--++--', '+--+-++', '+--+-+-', '+--+--+', '+--+---', '+---+++', '+---++-', '+---+-+', '+---+--', '+----++', '+----+-', '+-----+', '+------', '-+++-++', '-+++-+-', '-+++--+', '-+++---', '-++--++', '-++--+-', '-++---+', '-++----', '-+-++++', '-+-+++-', '-+-++-+', '-+-++--', '-+-+-++', '-+-+-+-', '-+-+--+', '-+-+---', '--++++-', '--+++--', '--++-+-', '--++---', '--+-++-', '--+-+--', '--+--+-', '--+----', '----++-', '----+--']
== rep10 N=7 ppppsss [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.04167852083333267, 88.9s
  eps = 0.04166667
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [-0.098958, -0.041667, -0.088542, -0.020833, 0.03125, 0.03125, 0.0625]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef -0.046875
  pair (0,2) law P+(++)=1/12 P-(++)=7/20  coef -0.135417
  pair (0,4) law P+(++)=1/4 P-(++)=1/4  coef 0.036458
  pair (0,5) law P+(++)=1/3 P-(++)=1/5  coef 0.031250
  pair (0,6) law P+(++)=1/3 P-(++)=1/5  coef 0.062500
  pair (1,2) law P+(++)=1/12 P-(++)=7/20  coef -0.036458
  pair (1,3) law P+(++)=1/12 P-(++)=7/20  coef -0.031250
  pair (1,4) law P+(++)=1/3 P-(++)=1/5  coef 0.010417
  pair (2,4) law P+(++)=1/4 P-(++)=1/4  coef 0.026042
  pair (2,5) law P+(++)=1/3 P-(++)=1/5  coef 0.031250
  pair (2,6) law P+(++)=1/3 P-(++)=1/5  coef 0.062500
  pair (3,4) law P+(++)=1/3 P-(++)=1/5  coef 0.020833
  pair (3,5) law P+(++)=1/3 P-(++)=1/5  coef 0.031250
  pair (3,6) law P+(++)=1/4 P-(++)=1/4  coef -0.062500
  copy (0, 1, 4) pair laws [(0, 1, '1/12'), (0, 4, '1/4'), (1, 4, '1/3')]  coef -0.057292
  copy (1, 2, 4) pair laws [(1, 2, '1/12'), (1, 4, '1/3'), (2, 4, '1/4')]  coef -0.067708
  rho_+: {'++--+-+': 0.08333, '+-+++++': 0.08333, '+--+++-': 0.08333, '+--+-++': 0.08333, '+----++': 0.08333, '-++-+++': 0.08333, '-+-++--': 0.08333, '-+--+--': 0.08333, '-+-----': 0.08333, '--+++++': 0.08333, '--+--++': 0.08333, '--+----': 0.08333}
  rho_-: {'+++++--': 0.075, '++++---': 0.1, '+++-+-+': 0.05, '+++----': 0.025, '++-++++': 0.025, '++---+-': 0.075, '+-++-++': 0.025, '+-++-+-': 0.075, '+--++-+': 0.1, '-+++--+': 0.025, '-+++---': 0.05, '-++-+--': 0.025, '-+-+-++': 0.075, '-+--+++': 0.025, '--+-+++': 0.1, '----++-': 0.025, '----+--': 0.025, '-----++': 0.025, '-------': 0.075}
  max R 0.04166667  vertices at max: ['++--+++', '++--+-+', '+-+++++', '+-+-+++', '+--++++', '+--+++-', '+---+++', '+---+-+', '+----++', '+-----+', '-++-+++', '-++-+-+', '-++--++', '-++---+', '-+-+++-', '-+-++--', '-+--+-+', '-+--+--', '--+++++', '--++++-', '--+-+++', '--+-+-+', '--+--++', '--+---+', '---+-+-', '---+---']
== rep10 N=7 pppppss [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.04168052083333331, 257.4s
  eps = 0.04166667
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [0.010417, -0.078125, -0.083333, -0.067708, -0.03125, 0.072917, 0.052083]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef -0.005208
  pair (0,3) law P+(++)=1/12 P-(++)=7/20  coef -0.046875
  pair (0,5) law P+(++)=1/4 P-(++)=1/4  coef -0.072917
  pair (0,6) law P+(++)=1/3 P-(++)=1/5  coef 0.031250
  pair (1,2) law P+(++)=1/12 P-(++)=7/20  coef -0.031250
  pair (1,3) law P+(++)=1/12 P-(++)=7/20  coef -0.104167
  pair (1,5) law P+(++)=1/3 P-(++)=1/5  coef 0.041667
  pair (1,6) law P+(++)=1/4 P-(++)=1/4  coef 0.036458
  pair (2,3) law P+(++)=1/12 P-(++)=7/20  coef -0.031250
  pair (2,4) law P+(++)=1/12 P-(++)=7/20  coef -0.031250
  pair (2,5) law P+(++)=1/3 P-(++)=1/5  coef 0.062500
  pair (2,6) law P+(++)=1/3 P-(++)=1/5  coef 0.052083
  pair (3,6) law P+(++)=1/4 P-(++)=1/4  coef 0.036458
  pair (4,5) law P+(++)=1/3 P-(++)=1/5  coef 0.031250
  pair (4,6) law P+(++)=1/3 P-(++)=1/5  coef 0.031250
  copy (0, 1, 5) pair laws [(0, 1, '1/12'), (0, 5, '1/4'), (1, 5, '1/3')]  coef -0.010417
  copy (0, 1, 6) pair laws [(0, 1, '1/12'), (0, 6, '1/3'), (1, 6, '1/4')]  coef -0.057292
  copy (0, 3, 6) pair laws [(0, 3, '1/12'), (0, 6, '1/3'), (3, 6, '1/4')]  coef -0.057292
  rho_+: {'++--+++': 0.08333, '+-+--++': 0.16667, '+-+----': 0.08333, '+--++-+': 0.08333, '-++--++': 0.08333, '-+-++++': 0.08333, '-+--++-': 0.08333, '-+-----': 0.08333, '--+++++': 0.08333, '---+---': 0.16667}
  rho_-: {'++++++-': 0.00714, '++++--+': 0.02857, '++++---': 0.07143, '+++-+--': 0.1, '++-++++': 0.07143, '++-+++-': 0.02143, '++---++': 0.05, '+-++++-': 0.1, '+-+-+--': 0.00714, '+--++-+': 0.05, '+------': 0.04286, '-++++-+': 0.07857, '-++++--': 0.05714, '-++----': 0.00714, '-+-+-++': 0.01429, '-+---+-': 0.03571, '-+----+': 0.00714, '--++-++': 0.00714, '--+--++': 0.08571, '---+---': 0.04286, '----+--': 0.05714, '-----++': 0.05714}
  max R 0.04166667  vertices at max: ['+++-+++', '+++--++', '++--+++', '++--+-+', '++----+', '++-----', '+-+-+++', '+-+--++', '+-+---+', '+--++-+', '+--+--+', '+--+---', '+---+-+', '+-----+', '-++-+++', '-++--++', '-+-++++', '-+--+++', '-+--++-', '-+---+-', '--+++++', '--++-++', '--+--+-', '---++++', '---+++-', '---+-+-', '---+---']
== rep10 N=7 pppppps [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.05556455555555591, 50.3s
  eps = 0.05555556
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [0.041667, -0.125, -0.041667, -0.041667, -0.041667, -0.041667, 0.125]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef 0.027778
  pair (0,3) law P+(++)=1/12 P-(++)=7/20  coef -0.055556
  pair (0,5) law P+(++)=1/12 P-(++)=7/20  coef -0.041667
  pair (0,6) law P+(++)=1/4 P-(++)=1/4  coef -0.041667
  pair (1,2) law P+(++)=1/12 P-(++)=7/20  coef -0.041667
  pair (1,3) law P+(++)=1/12 P-(++)=7/20  coef -0.055556
  pair (1,6) law P+(++)=1/3 P-(++)=1/5  coef 0.125000
  pair (2,4) law P+(++)=1/12 P-(++)=7/20  coef -0.041667
  pair (2,6) law P+(++)=1/3 P-(++)=1/5  coef 0.041667
  pair (3,6) law P+(++)=1/4 P-(++)=1/4  coef 0.041667
  pair (4,5) law P+(++)=1/12 P-(++)=7/20  coef -0.041667
  pair (4,6) law P+(++)=1/3 P-(++)=1/5  coef 0.041667
  pair (5,6) law P+(++)=1/3 P-(++)=1/5  coef 0.041667
  copy (0, 1, 6) pair laws [(0, 1, '1/12'), (0, 6, '1/4'), (1, 6, '1/3')]  coef -0.125000
  rho_+: {'++--+-+': 0.08333, '+-++-++': 0.08333, '+-+-+-+': 0.08333, '+-+----': 0.08333, '+------': 0.08333, '-++--++': 0.08333, '-+-++++': 0.08333, '-+--+-+': 0.08333, '-+---+-': 0.08333, '--++-++': 0.08333, '---++--': 0.08333, '---+---': 0.08333}
  rho_-: {'++++++-': 0.1375, '++++-++': 0.05625, '+++--+-': 0.03125, '++-++-+': 0.0875, '++--+-+': 0.00625, '++--+--': 0.03125, '+-+++++': 0.025, '+-+-++-': 0.1, '+-+-+-+': 0.03125, '+--+--+': 0.04375, '-+++---': 0.06875, '-++-+++': 0.00625, '-++-++-': 0.00625, '-++-+-+': 0.04375, '-+--++-': 0.075, '--++--+': 0.0375, '--+----': 0.00625, '---+---': 0.09375, '-----++': 0.1125}
  max R 0.05555556  vertices at max: ['++--+-+', '++--+--', '++-----', '+-+++-+', '+-++-++', '+-++--+', '+-+-+-+', '+-+--++', '+-+---+', '+-+----', '+--++-+', '+---+-+', '+---+--', '+------', '-+++-++', '-++--++', '-+-++++', '-+-++-+', '-+-+-++', '-+--+++', '-+--+-+', '-+---++', '--++-++', '--++-+-', '--++---', '---++--', '---+-+-', '---+---']
== rep10 N=7 ppsssss [copy] (coefficient cap 0.75, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.25000400000000006, 0.0s
  eps = 0.25000000
  tf: [0.0] at [(1, 1, -1)]
  R0 -0.25  Ra [-0.0, -0.25, 0.125, -0.0, -0.0, -0.0, -0.0]
  pair (0,1) law P+(++)=1/12 P-(++)=7/20  coef -0.250000
  pair (0,2) law P+(++)=1/4 P-(++)=1/4  coef -0.000000
  pair (1,2) law P+(++)=1/3 P-(++)=1/5  coef 0.250000
  copy (0, 1, 2) pair laws [(0, 1, '1/12'), (0, 2, '1/4'), (1, 2, '1/3')]  coef -0.125000
  rho_+: {'+++-+-+': 0.08333, '+-+-++-': 0.16667, '+----++': 0.16667, '-++++-+': 0.25, '-+-++--': 0.08333, '--++-++': 0.08333, '---+-+-': 0.16667}
  rho_-: {'++++-++': 0.1, '+++-++-': 0.05, '++-+-+-': 0.125, '++----+': 0.075, '+-++-++': 0.1, '+--++--': 0.075, '+---+++': 0.025, '-+++-+-': 0.05, '-+--+-+': 0.15, '--+-+--': 0.15, '-------': 0.1}
  max R 0.25  vertices at max: ['+-+++++', '+-++++-', '+-+++-+', '+-+++--', '+-++-++', '+-++-+-', '+-++--+', '+-++---', '+-+-+++', '+-+-++-', '+-+-+-+', '+-+-+--', '+-+--++', '+-+--+-', '+-+---+', '+-+----', '+--++++', '+--+++-', '+--++-+', '+--++--', '+--+-++', '+--+-+-', '+--+--+', '+--+---', '+---+++', '+---++-', '+---+-+', '+---+--', '+----++', '+----+-', '+-----+', '+------', '-++++++', '-+++++-', '-++++-+', '-++++--', '-+++-++', '-+++-+-', '-+++--+', '-+++---', '-++-+++', '-++-++-', '-++-+-+', '-++-+--', '-++--++', '-++--+-', '-++---+', '-++----']
== rep5 N=7 pppssss [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.062513, 8.3s
  eps = 0.06250000
  tf: [0.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.375  Ra [-0.125, -0.234375, 0.109375, -0.015625, 0.046875, 0.015625, 0.078125]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.156250
  pair (0,4) law P+(++)=3/10 P-(++)=5/22  coef 0.046875
  pair (0,5) law P+(++)=3/10 P-(++)=5/22  coef 0.015625
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef -0.015625
  pair (1,4) law P+(++)=3/10 P-(++)=5/22  coef 0.046875
  pair (1,5) law P+(++)=3/10 P-(++)=5/22  coef 0.015625
  pair (1,6) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.031250
  pair (2,4) law P+(++)=1/10 P-(++)=7/22  coef -0.046875
  pair (2,5) law P+(++)=3/10 P-(++)=5/22  coef 0.015625
  pair (2,6) law P+(++)=1/10 P-(++)=7/22  coef -0.109375
  copy (0, 1, 3) pair laws [(0, 1, '1/10'), (0, 3, '1/10'), (1, 3, '3/10')]  coef -0.125000
  rho_+: {'+++-++-': 0.1, '+-+--+-': 0.1, '+--++++': 0.1, '+---+-+': 0.1, '-+++-+-': 0.1, '-+-++++': 0.1, '-+-++--': 0.1, '--+---+': 0.1, '---++++': 0.1, '---+--+': 0.1}
  rho_-: {'+++++--': 0.05682, '++++-++': 0.03409, '+++-+-+': 0.05682, '++-+---': 0.09091, '++---+-': 0.07955, '+-+++--': 0.01136, '+-++-+-': 0.03409, '+-++--+': 0.04545, '+-++---': 0.03409, '+--++++': 0.01136, '+---+++': 0.05682, '+---++-': 0.01136, '+---+--': 0.02273, '-+++--+': 0.01136, '-++-+-+': 0.10227, '-++--++': 0.06818, '-+-+-++': 0.03409, '-+--+++': 0.01136, '--++++-': 0.09091, '----+++': 0.02273, '-------': 0.11364}
  max R 0.0625  vertices at max: ['+-+-+++', '+-+-++-', '+-+--++', '+-+--+-', '+--++++', '+--++-+', '+---+++', '+---+-+', '-+++++-', '-+++-+-', '-+-++++', '-+-++-+', '--++-++', '--++-+-', '--++--+', '--++---', '--+--++', '--+--+-', '--+---+', '--+----', '---++-+', '---+--+']
== rep5 N=7 ppppsss [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.05000910000000037, 8.7s
  eps = 0.05000000
  tf: [0.0, 0.6] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.3  Ra [-0.1625, -0.125, 0.0875, -0.05, -0.0, -0.0, 0.05]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.050000
  pair (0,4) law P+(++)=1/10 P-(++)=7/22  coef -0.087500
  pair (0,6) law P+(++)=3/10 P-(++)=5/22  coef 0.050000
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.012500
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.012500
  pair (1,4) law P+(++)=3/10 P-(++)=5/22  coef -0.050000
  pair (1,5) law P+(++)=3/10 P-(++)=5/22  coef -0.000000
  pair (2,4) law P+(++)=1/10 P-(++)=7/22  coef -0.087500
  pair (2,5) law P+(++)=1/10 P-(++)=7/22  coef -0.037500
  pair (2,6) law P+(++)=1/10 P-(++)=7/22  coef -0.050000
  pair (3,5) law P+(++)=1/10 P-(++)=7/22  coef -0.037500
  pair (3,6) law P+(++)=3/10 P-(++)=5/22  coef 0.050000
  copy (0, 1, 4) pair laws [(0, 1, '1/10'), (0, 4, '1/10'), (1, 4, '3/10')]  coef -0.050000
  rho_+: {'+++----': 0.05, '++---++': 0.05, '+-++--+': 0.1, '+-+--+-': 0.05, '+---+++': 0.1, '+----++': 0.05, '-++-++-': 0.05, '-+-++++': 0.05, '-+-++-+': 0.05, '-+--+++': 0.05, '-+--++-': 0.1, '--++---': 0.1, '--+-+--': 0.05, '---++++': 0.05, '---++-+': 0.05, '----+++': 0.05}
  rho_-: {'++++++-': 0.13986, '+++-+++': 0.03147, '+++---+': 0.01049, '++-++++': 0.01049, '++----+': 0.12587, '+-+++-+': 0.02448, '+-++-++': 0.02448, '+-+-++-': 0.03147, '+-+----': 0.02797, '+--+++-': 0.08042, '+--+---': 0.03846, '-+++--+': 0.13636, '-+-+-+-': 0.03147, '-+--+--': 0.04545, '-+---+-': 0.01399, '--+++++': 0.03147, '--++---': 0.02797, '--+-+++': 0.05944, '-------': 0.10839}
  max R 0.05  vertices at max: ['+-++--+', '+-+--++', '+-+--+-', '+-+---+', '+-+----', '+---+++', '-++-++-', '-++-+--', '-++--+-', '-++----', '-+-++++', '-+-++-+', '-+--+++', '-+--++-', '--+++-+', '--+++--', '--++--+', '--++---', '--+-++-', '--+-+--', '--+--+-', '--+----', '---++++', '---++-+']
== rep5 N=7 pppppss [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.055565571428571436, 4.4s
  eps = 0.05555556
  tf: [0.05556, 0.88889] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.256944  Ra [-0.006944, -0.020833, -0.013889, -0.097222, -0.097222, 0.006944, 0.013889]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef -0.006944
  pair (0,3) law P+(++)=1/10 P-(++)=7/22  coef -0.013889
  pair (0,5) law P+(++)=1/10 P-(++)=7/22  coef -0.062500
  pair (0,6) law P+(++)=1/10 P-(++)=7/22  coef -0.069444
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.069444
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.013889
  pair (1,4) law P+(++)=1/10 P-(++)=7/22  coef -0.013889
  pair (1,5) law P+(++)=3/10 P-(++)=5/22  coef -0.062500
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.013889
  pair (2,4) law P+(++)=1/10 P-(++)=7/22  coef -0.013889
  pair (2,5) law P+(++)=1/10 P-(++)=7/22  coef -0.125000
  pair (2,6) law P+(++)=3/10 P-(++)=5/22  coef 0.069444
  pair (3,4) law P+(++)=1/10 P-(++)=7/22  coef -0.083333
  pair (4,6) law P+(++)=3/10 P-(++)=5/22  coef 0.013889
  copy (0, 1, 5) pair laws [(0, 1, '1/10'), (0, 5, '1/10'), (1, 5, '3/10')]  coef -0.006944
  rho_+: {'+++---+': 0.1, '+-+----': 0.1, '+--+---': 0.1, '+---++-': 0.1, '-+-+-++': 0.1, '-+--+++': 0.1, '-+---+-': 0.1, '--++-++': 0.1, '--+-+-+': 0.1, '---++++': 0.1}
  rho_-: {'++++++-': 0.01659, '++++---': 0.05339, '+++-+--': 0.01948, '+++--++': 0.06133, '++-+++-': 0.06349, '++-++-+': 0.06349, '++---++': 0.0404, '+-++-++': 0.0303, '+-+-++-': 0.07431, '+--+--+': 0.09091, '+---+++': 0.03175, '-++++--': 0.07576, '-+++-+-': 0.04545, '-++-+-+': 0.01948, '-++----': 0.0267, '-+--+--': 0.05988, '--+++++': 0.09019, '--++---': 0.00649, '--+-+-+': 0.02237, '--+---+': 0.00361, '---++--': 0.00866, '---+-++': 0.00072, '-------': 0.09524}
  max R 0.05555556  vertices at max: ['+++---+', '+++----', '++---+-', '++-----', '+-+-+-+', '+-+---+', '+-+----', '+--+-+-', '+---++-', '+----+-', '-++---+', '-+-+-++', '-+-+-+-', '-+--+++', '-+---++', '-+---+-', '--++-++', '--++--+', '--+-+++', '--+-+-+', '--+--++', '--+---+', '---+-++', '---+-+-', '----+++']
== rep5 N=7 pppppps [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.10000608571428574, 0.9s
  eps = 0.10000000
  tf: [0.0, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.375  Ra [0.075, -0.175, -0.05, -0.0, -0.05, -0.05, 0.125]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef 0.100000
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,5) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (0,6) law P+(++)=1/10 P-(++)=7/22  coef -0.350000
  pair (1,2) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,3) law P+(++)=1/10 P-(++)=7/22  coef -0.000000
  pair (1,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,5) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (1,6) law P+(++)=3/10 P-(++)=5/22  coef 0.125000
  pair (2,3) law P+(++)=1/10 P-(++)=7/22  coef -0.000000
  pair (2,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (2,5) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (3,4) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (3,6) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  pair (4,5) law P+(++)=1/10 P-(++)=7/22  coef -0.025000
  copy (0, 1, 6) pair laws [(0, 1, '1/10'), (0, 6, '1/10'), (1, 6, '3/10')]  coef -0.125000
  rho_+: {'++--+--': 0.1, '+-++---': 0.1, '+--+-+-': 0.1, '+---+-+': 0.1, '-++---+': 0.1, '-+-+--+': 0.1, '-+---++': 0.1, '--+-+-+': 0.1, '--+--++': 0.1, '---+++-': 0.1}
  rho_-: {'+++-++-': 0.05682, '+++-+-+': 0.02273, '+++-+--': 0.04545, '++-++++': 0.06818, '++-++-+': 0.09091, '++--++-': 0.03409, '+-++++-': 0.05682, '+-+++-+': 0.06818, '+-+-+++': 0.06818, '+--+-+-': 0.03409, '-+++-+-': 0.13636, '-+++--+': 0.02273, '-++----': 0.03409, '-+---++': 0.02273, '-+-----': 0.01136, '--++--+': 0.03409, '---++++': 0.03409, '-----+-': 0.03409, '------+': 0.02273, '-------': 0.10227}
  max R 0.1  vertices at max: ['++-+---', '+-++---', '+--++--', '+--+-+-', '+--+---', '+---+--', '-+++--+', '-++---+', '-+-+-++', '-+-+--+', '-+--+-+', '-+---++', '-+----+', '--++-++', '--++--+', '--+-+-+', '--+--++', '--+---+', '---+-++', '----+++', '----+-+', '-----++']
== rep5 N=7 ppsssss [copy] (coefficient cap 0.875, eps <= 0.5): status 0 (Optimization terminated successfully. (HiGHS Status 7: Optim), dual bound 0.16667133333333134, 0.5s
  eps = 0.16666667
  tf: [1.16667, 0.0] at [(1, 1, 1), (-1, 1, -1)]
  R0 -0.229167  Ra [0.145833, -0.104167, 0.270833, 0.0, -0.0, -0.0, -0.0]
  pair (0,1) law P+(++)=1/10 P-(++)=7/22  coef 0.020833
  pair (0,2) law P+(++)=1/10 P-(++)=7/22  coef -0.229167
  pair (0,3) law P+(++)=3/10 P-(++)=5/22  coef 0.041667
  pair (1,2) law P+(++)=3/10 P-(++)=5/22  coef 0.187500
  pair (1,3) law P+(++)=3/10 P-(++)=5/22  coef 0.041667
  copy (0, 1, 2) pair laws [(0, 1, '1/10'), (0, 2, '1/10'), (1, 2, '3/10')]  coef 0.020833
  rho_+: {'++-+--+': 0.1, '+-++-+-': 0.1, '+--+++-': 0.1, '+---+++': 0.1, '-+++-++': 0.05, '-+++---': 0.15, '-++-++-': 0.05, '-++-+-+': 0.05, '--+-+++': 0.2, '---++-+': 0.1}
  rho_-: {'++++-+-': 0.04545, '++++--+': 0.04545, '+++---+': 0.09091, '++---+-': 0.13636, '+-+++-+': 0.04545, '+-+---+': 0.09091, '+--+-++': 0.09091, '-++----': 0.04545, '-+-++++': 0.09091, '-+-++--': 0.04545, '-+--+--': 0.04545, '--++++-': 0.09091, '----+--': 0.13636}
  max R 0.16666667  vertices at max: ['+++++++', '++++++-', '+++++-+', '+++++--', '++++-++', '++++-+-', '++++--+', '++++---', '+--++++', '+--+++-', '+--++-+', '+--++--', '+--+-++', '+--+-+-', '+--+--+', '+--+---', '+---+++', '+---++-', '+---+-+', '+---+--', '+----++', '+----+-', '+-----+', '+------', '-++++++', '-+++++-', '-++++-+', '-++++--', '-+++-++', '-+++-+-', '-+++--+', '-+++---', '-++-+++', '-++-++-', '-++-+-+', '-++-+--', '-++--++', '-++--+-', '-++---+', '-++----', '--+-+++', '--+-++-', '--+-+-+', '--+-+--', '--+--++', '--+--+-', '--+---+', '--+----']
