rep1: mu = -3/8, pair class {2,3}, singleton 1, free vertices [(1, 1, 1), (1, 1, -1)]
  zero pairs [(2, 1)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = 1/20, d in [-1/20, 1/20]; b=-1: c_b = -1/44, d in [-3/44, 5/44]
  zero pairs [(3, 1)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = -1/20, d in [1/20, 1/20]; b=-1: c_b = 1/44, d in [-3/44, 5/44]
  zero pairs [(2, 3), (2, 1)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(2, 3), (3, 1)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(2, 1), (3, 1)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(2, 3), (2, 1), (3, 1)]: h' conditions infeasible, re-coupled laws exist
  rep1: not settled by this argument
rep2: mu = -1/2, pair class {1,2}, singleton 3, free vertices [(1, 1, 1), (1, 1, -1), (-1, 1, -1)]
  zero pairs [(1, 3)]: h' conditions infeasible, re-coupled laws do not exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = 1/8, d in [0, -1/8] (empty); b=-1: c_b = -1/24, d in [-1/8, 1/12]
  zero pairs [(2, 3)]: h' conditions infeasible, re-coupled laws do not exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = -1/8, d in [1/8, 0] (empty); b=-1: c_b = 1/24, d in [-1/12, 1/12]
  zero pairs [(1, 2), (1, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  rep2: not settled by this argument
rep3: mu = -3/8, pair class {1,3}, singleton 2, free vertices [(1, 1, 1), (1, 1, -1)]
  zero pairs [(1, 2)]: h' conditions feasible, re-coupled laws exist  -> ARGUMENT APPLIES
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = 1/10, d in [0, 0]; b=-1: c_b = -1/22, d in [-1/11, 1/22]
  zero pairs [(3, 2)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = -1/10, d in [1/10, 1/10]; b=-1: c_b = 1/22, d in [-1/11, 1/11]
  zero pairs [(1, 3), (1, 2)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 3), (3, 2)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (3, 2)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 3), (1, 2), (3, 2)]: h' conditions infeasible, re-coupled laws exist
  rep3: settled by the re-coupling argument
rep5: mu = -3/8, pair class {1,2}, singleton 3, free vertices [(1, 1, 1), (-1, 1, -1)]
  zero pairs [(1, 3)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = 1/10, d in [-1/10, 0]; b=-1: c_b = -1/22, d in [-3/22, 1/11]
  zero pairs [(2, 3)]: h' conditions feasible, re-coupled laws do not exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = -1/10, d in [1/10, 0] (empty); b=-1: c_b = 1/22, d in [-1/22, 1/11]
  zero pairs [(1, 2), (1, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  rep5: not settled by this argument
rep6: mu = -3/8, pair class {1,2}, singleton 3, free vertices [(1, 1, 1), (-1, 1, -1)]
  zero pairs [(1, 3)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = 1/20, d in [-1/20, 1/20]; b=-1: c_b = -1/44, d in [-7/44, 3/44]
  zero pairs [(2, 3)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = -1/20, d in [1/20, 3/20]; b=-1: c_b = 1/44, d in [-5/44, 3/44]
  zero pairs [(1, 2), (1, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  rep6: not settled by this argument
rep7: mu = -3/8, pair class {1,2}, singleton 3, free vertices [(1, 1, -1), (-1, 1, -1)]
  zero pairs [(1, 3)]: h' conditions feasible, re-coupled laws do not exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = 1/10, d in [0, -1/10] (empty); b=-1: c_b = -1/22, d in [-1/11, 1/22]
  zero pairs [(2, 3)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = -1/10, d in [0, 1/10]; b=-1: c_b = 1/22, d in [-1/11, 1/11]
  zero pairs [(1, 2), (1, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  rep7: not settled by this argument
rep8: mu = -3/8, pair class {1,2}, singleton 3, free vertices [(1, 1, -1), (-1, 1, -1)]
  zero pairs [(1, 3)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = 1/10, d in [-1/10, -1/10]; b=-1: c_b = -1/22, d in [-1/11, 1/11]
  zero pairs [(2, 3)]: h' conditions feasible, re-coupled laws exist  -> ARGUMENT APPLIES
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = -1/10, d in [0, 0]; b=-1: c_b = 1/22, d in [-1/22, 1/11]
  zero pairs [(1, 2), (1, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  rep8: settled by the re-coupling argument
rep9: mu = -3/8, pair class {1,2}, singleton 3, free vertices [(1, 1, -1), (-1, 1, -1)]
  zero pairs [(1, 3)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = 1/20, d in [-1/20, -1/20]; b=-1: c_b = -1/44, d in [-5/44, 3/44]
  zero pairs [(2, 3)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = -1/20, d in [-1/20, 1/20]; b=-1: c_b = 1/44, d in [-5/44, 3/44]
  zero pairs [(1, 2), (1, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  rep9: not settled by this argument
rep10: mu = -1/4, pair class {1,2}, singleton 3, free vertices [(1, 1, -1)]
  zero pairs [(1, 3)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = 1/24, d in [-1/24, -1/24]; b=-1: c_b = -1/40, d in [-1/8, 3/40]
  zero pairs [(2, 3)]: h' conditions infeasible, re-coupled laws exist
      re-coupled laws pi_b + c_b w_a w_s + d w_1 w_2 w_3: b=+1: c_b = -1/24, d in [-1/24, 1/24]; b=-1: c_b = 1/40, d in [-1/8, 3/40]
  zero pairs [(1, 2), (1, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  zero pairs [(1, 2), (1, 3), (2, 3)]: h' conditions infeasible, re-coupled laws exist
  rep10: not settled by this argument
