FORMAT 3x4 orbits 4
  E=[(0, 0), (0, 1), (0, 2), (1, 0), (2, 3)] size=72  implicit D=4 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 4, 'terms': 33, 'deg F_low': 2, 'W': 2}  CERTIFIED deg f=4: True  D-degFlow=2  0.8s
  E=[(0, 0), (0, 1), (0, 2), (1, 3), (2, 3)] size=12  implicit D=2 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 2, 'terms': 21, 'deg F_low': 0, 'W': 2}  CERTIFIED deg f=2: True  D-degFlow=2  0.0s
  E=[(0, 0), (0, 1), (1, 0), (1, 2), (2, 3)] size=72  implicit D=6 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 6, 'terms': 33, 'deg F_low': 4, 'W': 2}  CERTIFIED deg f=6: True  D-degFlow=2  26.5s
  E=[(0, 0), (0, 1), (1, 0), (2, 2), (2, 3)] size=72  implicit D=4 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 4, 'terms': 27, 'deg F_low': 2, 'W': 2}  CERTIFIED deg f=4: True  D-degFlow=2  0.8s
FORMAT 2x2x3 orbits 9
  E=[(0, 0, 0), (0, 0, 1), (0, 0, 2), (1, 1, 0)] size=12  implicit D=4 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 4, 'terms': 25, 'deg F_low': 2, 'W': 2}  CERTIFIED deg f=4: True  D-degFlow=2  0.3s
  E=[(0, 0, 0), (0, 0, 1), (0, 1, 0), (1, 0, 2)] size=48  implicit D=4 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 4, 'terms': 25, 'deg F_low': 2, 'W': 2}  CERTIFIED deg f=4: True  D-degFlow=2  0.3s
  E=[(0, 0, 0), (0, 0, 1), (0, 1, 0), (1, 1, 2)] size=48  implicit D=6 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 6, 'terms': 25, 'deg F_low': 4, 'W': 2}  CERTIFIED deg f=6: True  D-degFlow=2  3.2s
  E=[(0, 0, 0), (0, 0, 1), (0, 1, 2), (1, 0, 2)] size=12  implicit D=6 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 6, 'terms': 105, 'deg F_low': 3, 'W': 3}  CERTIFIED deg f=6: True  D-degFlow=3  3.4s
  E=[(0, 0, 0), (0, 0, 1), (0, 1, 2), (1, 1, 0)] size=48  implicit D=8 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 8, 'terms': 96, 'deg F_low': 5, 'W': 3}  CERTIFIED deg f=8: True  D-degFlow=3  33.6s
  E=[(0, 0, 0), (0, 0, 1), (0, 1, 2), (1, 1, 2)] size=24  implicit D=4 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 4, 'terms': 25, 'deg F_low': 2, 'W': 2}  CERTIFIED deg f=4: True  D-degFlow=2  0.3s
  E=[(0, 0, 0), (0, 0, 1), (1, 1, 0), (1, 1, 2)] size=12  implicit D=6 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 6, 'terms': 25, 'deg F_low': 4, 'W': 2}  CERTIFIED deg f=6: True  D-degFlow=2  3.0s
  E=[(0, 0, 0), (0, 1, 0), (1, 0, 1), (1, 1, 2)] size=24  implicit D=6 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 6, 'terms': 25, 'deg F_low': 4, 'W': 2}  CERTIFIED deg f=6: True  D-degFlow=2  3.2s
  E=[(0, 0, 0), (0, 1, 1), (1, 0, 1), (1, 1, 2)] size=12  implicit D=12 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 12, 'terms': 217, 'deg F_low': 8, 'W': 4}  CERTIFIED deg f=12: True  D-degFlow=4  1134.2s
