m=2: 8 functions g (E g != 0, all coordinates relevant, not +-parity): {'L0': 8}
m=3: 160 functions g (E g != 0, all coordinates relevant, not +-parity): {'L0': 124, 'TRIV': 32, 'LAB1': 4}
  m=3 LAB1 functions (values on +++,++-,...,---): (1, -1, -1, 1, -1, 1, 1, 1); (1, 1, 1, -1, 1, -1, -1, 1); (-1, -1, -1, 1, -1, 1, 1, -1); (-1, 1, 1, -1, 1, -1, -1, -1)  = {+-E2(x), +-E2(-x)}  [asserted]
m=4: 51976 functions g (E g != 0, all coordinates relevant, not +-parity): {'L0': 44244, 'TRIV': 5448, 'LAB1': 2284}
all functions decided; s_g nontrivial <=> exists w with sgn(mu) h(w) < 0
