rep1: 2h = (-2, -2, -1, 0, -1, 1, 0, -1), mu = -3/8, pair class [2, 3], singleton 1
  k=0 nu=(): max Gamma = 0  at Fp = ['-1'], Fs = [1]
  k=1 nu=+: max Gamma = 0  at Fp = ['1', '-1'], Fs = [1, -1]
  k=1 nu=-: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [1, 1]
  k=2 nu=++: max Gamma = 0  at Fp = ['1', '-1', '1', '-1'], Fs = [1, -1, 1, -1]
  k=2 nu=+-: max Gamma = 0  at Fp = ['1', '1', '-1', '-1'], Fs = [1, 1, -1, -1]
  k=2 nu=--: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [1, 1, 1, 1]
  rep1: max Gamma over all class-wise decoders with k <= 2 = 0
rep2: 2h = (-2, -2, -1, 0, 1, -2, -1, -1), mu = -1/2, pair class [1, 2], singleton 3
  k=0 nu=(): max Gamma = -1/3  at Fp = ['-1/3'], Fs = [1]
  k=1 nu=+: max Gamma = 0  at Fp = ['1', '-1'], Fs = [1, -1]
  k=1 nu=-: max Gamma = -1/3  at Fp = ['-1/3', '-1/3'], Fs = [1, 1]
  k=2 nu=++: max Gamma = 0  at Fp = ['1', '-1', '1', '-1'], Fs = [1, -1, 1, -1]
  k=2 nu=+-: max Gamma = 0  at Fp = ['1', '1', '-1', '-1'], Fs = [1, 1, -1, -1]
  k=2 nu=--: max Gamma = -1/3  at Fp = ['-1/3', '-1/3', '-1/3', '-1/3'], Fs = [1, 1, 1, 1]
  rep2: max Gamma over all class-wise decoders with k <= 2 = 0
rep3: 2h = (-2, -2, -1, 1, 0, -1, -1, 0), mu = -3/8, pair class [1, 3], singleton 2
  k=0 nu=(): max Gamma = 0  at Fp = ['-1'], Fs = [-1]
  k=1 nu=+: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [-1, -1]
  k=1 nu=-: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [-1, -1]
  k=2 nu=++: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  k=2 nu=+-: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  k=2 nu=--: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  rep3: max Gamma over all class-wise decoders with k <= 2 = 0
rep5: 2h = (-2, -1, -1, 0, 1, -2, 0, -1), mu = -3/8, pair class [1, 2], singleton 3
  k=0 nu=(): max Gamma = 0  at Fp = ['-1'], Fs = [1]
  k=1 nu=+: max Gamma = 0  at Fp = ['1', '-1'], Fs = [1, -1]
  k=1 nu=-: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [1, 1]
  k=2 nu=++: max Gamma = 0  at Fp = ['1', '-1', '1', '-1'], Fs = [1, -1, 1, -1]
  k=2 nu=+-: max Gamma = 0  at Fp = ['1', '1', '-1', '-1'], Fs = [1, 1, -1, -1]
  k=2 nu=--: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [1, 1, 1, 1]
  rep5: max Gamma over all class-wise decoders with k <= 2 = 0
rep6: 2h = (-2, -1, 0, -1, 1, -2, -1, 0), mu = -3/8, pair class [1, 2], singleton 3
  k=0 nu=(): max Gamma = 0  at Fp = ['-1'], Fs = [-1]
  k=1 nu=+: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [-1, -1]
  k=1 nu=-: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [-1, -1]
  k=2 nu=++: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  k=2 nu=+-: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  k=2 nu=--: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  rep6: max Gamma over all class-wise decoders with k <= 2 = 0
rep7: 2h = (-1, -2, -1, 0, 1, -2, -1, 0), mu = -3/8, pair class [1, 2], singleton 3
  k=0 nu=(): max Gamma = 0  at Fp = ['-1'], Fs = [-1]
  k=1 nu=+: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [-1, -1]
  k=1 nu=-: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [-1, -1]
  k=2 nu=++: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  k=2 nu=+-: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  k=2 nu=--: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  rep7: max Gamma over all class-wise decoders with k <= 2 = 0
rep8: 2h = (-1, -2, -1, 0, 1, -2, 0, -1), mu = -3/8, pair class [1, 2], singleton 3
  k=0 nu=(): max Gamma = 0  at Fp = ['-1'], Fs = [1]
  k=1 nu=+: max Gamma = 0  at Fp = ['1', '-1'], Fs = [1, -1]
  k=1 nu=-: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [1, 1]
  k=2 nu=++: max Gamma = 0  at Fp = ['1', '-1', '1', '-1'], Fs = [1, -1, 1, -1]
  k=2 nu=+-: max Gamma = 0  at Fp = ['1', '1', '-1', '-1'], Fs = [1, 1, -1, -1]
  k=2 nu=--: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [1, 1, 1, 1]
  rep8: max Gamma over all class-wise decoders with k <= 2 = 0
rep9: 2h = (-1, -2, 0, -1, 1, -2, -1, 0), mu = -3/8, pair class [1, 2], singleton 3
  k=0 nu=(): max Gamma = 0  at Fp = ['-1'], Fs = [-1]
  k=1 nu=+: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [-1, -1]
  k=1 nu=-: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [-1, -1]
  k=2 nu=++: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  k=2 nu=+-: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  k=2 nu=--: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  rep9: max Gamma over all class-wise decoders with k <= 2 = 0
rep10: 2h = (-1, -2, 0, 0, 1, -1, -1, 0), mu = -1/4, pair class [1, 2], singleton 3
  k=0 nu=(): max Gamma = 0  at Fp = ['-1'], Fs = [-1]
  k=1 nu=+: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [-1, -1]
  k=1 nu=-: max Gamma = 0  at Fp = ['-1', '-1'], Fs = [-1, -1]
  k=2 nu=++: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  k=2 nu=+-: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  k=2 nu=--: max Gamma = 0  at Fp = ['-1', '-1', '-1', '-1'], Fs = [-1, -1, -1, -1]
  rep10: max Gamma over all class-wise decoders with k <= 2 = 0
all 9 orbits: max Gamma <= 0 for every k <= 2 and every nu, with maximum 0 over all of them (exact), so no class-wise certificate with k <= 2
