FORMAT 2x2 orbits 1
  E=[(0, 0), (1, 1)] size=2  implicit D=2 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 2, 'terms': 6, 'deg F_low': 0, 'W': 2}  CERTIFIED deg f=2: True  D-degFlow=2  0.0s
FORMAT 3x3 orbits 2
  E=[(0, 0), (0, 1), (1, 0), (2, 2)] size=36  implicit D=4 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 4, 'terms': 20, 'deg F_low': 2, 'W': 2}  CERTIFIED deg f=4: True  D-degFlow=2  0.1s
  E=[(0, 0), (0, 1), (1, 2), (2, 2)] size=9  implicit D=2 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 2, 'terms': 15, 'deg F_low': 0, 'W': 2}  CERTIFIED deg f=2: True  D-degFlow=2  0.0s
FORMAT 2x2x2 orbits 2
  E=[(0, 0, 0), (0, 0, 1), (1, 1, 0)] 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': 14, 'deg F_low': 2, 'W': 2}  CERTIFIED deg f=4: True  D-degFlow=2  0.1s
  E=[(0, 0, 0), (0, 1, 1), (1, 0, 1)] size=8  implicit D=6 kerdim=1  {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 6, 'terms': 38, 'deg F_low': 3, 'W': 3}  CERTIFIED deg f=6: True  D-degFlow=3  0.4s
