m=1: functions depending on all coordinates: 2
  E distribution: {1: 2}
  definitions agree (flip pairs vs restrictions): True
  violations: (E=1 iff affine) 0, (E=m iff AND type) 0, (E>=e) 0
    balanced, polymorphism exponent 1, E=1: 2
  functions with E(g) > polymorphism exponent: 0
m=2: functions depending on all coordinates: 10
  E distribution: {1: 2, 2: 8}
  definitions agree (flip pairs vs restrictions): True
  violations: (E=1 iff affine) 0, (E=m iff AND type) 0, (E>=e) 0
    balanced, polymorphism exponent 1, E=1: 2
  unbalanced, polymorphism exponent 1, E=2: 4   (e.g. truth table index 2)
  unbalanced, polymorphism exponent 2, E=2: 4
  functions with E(g) > polymorphism exponent: 4
m=3: functions depending on all coordinates: 218
  E distribution: {1: 2, 2: 200, 3: 16}
  definitions agree (flip pairs vs restrictions): True
  violations: (E=1 iff affine) 0, (E=m iff AND type) 0, (E>=e) 0
    balanced, polymorphism exponent 1, E=1: 2
    balanced, polymorphism exponent 1, E=2: 56   (e.g. truth table index 23)
  unbalanced, polymorphism exponent 1, E=2: 116   (e.g. truth table index 9)
  unbalanced, polymorphism exponent 2, E=2: 28
  unbalanced, polymorphism exponent 2, E=3: 12   (e.g. truth table index 2)
  unbalanced, polymorphism exponent 3, E=3: 4
  functions with E(g) > polymorphism exponent: 184
m=4: functions depending on all coordinates: 64594
  E distribution: {1: 2, 2: 43104, 3: 21456, 4: 32}
  definitions agree (flip pairs vs restrictions): True
  violations: (E=1 iff affine) 0, (E=m iff AND type) 0, (E>=e) 0
    balanced, polymorphism exponent 1, E=1: 2
    balanced, polymorphism exponent 1, E=2: 12104   (e.g. truth table index 863)
    balanced, polymorphism exponent 1, E=3: 512   (e.g. truth table index 383)
  unbalanced, polymorphism exponent 1, E=2: 28992   (e.g. truth table index 150)
  unbalanced, polymorphism exponent 1, E=3: 15870   (e.g. truth table index 129)
  unbalanced, polymorphism exponent 2, E=2: 2008
  unbalanced, polymorphism exponent 2, E=3: 4986   (e.g. truth table index 9)
  unbalanced, polymorphism exponent 2, E=4: 12   (e.g. truth table index 8)
  unbalanced, polymorphism exponent 3, E=3: 88
  unbalanced, polymorphism exponent 3, E=4: 16   (e.g. truth table index 2)
  unbalanced, polymorphism exponent 4, E=4: 4
  functions with E(g) > polymorphism exponent: 62492
ALL CHECKS PASSED
