E = [(0, 0, 0, 0), (0, 0, 1, 1), (1, 1, 0, 1), (1, 1, 1, 0)] d = (2, 2, 2, 2) D = 12: {'lower(>=D) proved': True, 'recon': 'ok (2 primes)', 'F vanishes on H (proved)': True, 'deg F': 12, 'terms': 78, 'deg F_low': 8, 'W': 2} 596s
F saved: 78 terms, max |coeff| = 12
exit 0
