# Kevin Ryde, March 2024
# Derived from A357425, with its search having reached 208 digits
# so that here know a(207) = 472.
0 0
1 3
2 6
3 8
4 9
5 12
6 13
7 15
8 17
9 19
10 22
11 24
12 26
13 28
14 30
15 32
16 33
17 36
18 37
19 40
20 42
21 44
22 46
23 48
24 50
25 52
26 54
27 56
28 57
29 60
30 62
31 65
32 67
33 70
34 71
35 73
36 75
37 77
38 80
39 83
40 84
41 87
42 90
43 93
44 94
45 96
46 98
47 101
48 104
49 106
50 108
51 109
52 112
53 115
54 117
55 120
56 122
57 123
58 126
59 129
60 131
61 133
62 134
63 137
64 139
65 141
66 144
67 146
68 149
69 151
70 153
71 156
72 158
73 161
74 164
75 165
76 168
77 171
78 173
79 175
80 177
81 180
82 181
83 184
84 187
85 190
86 191
87 193
88 195
89 197
90 200
91 203
92 204
93 207
94 210
95 213
96 214
97 215
98 218
99 220
100 222
101 225
102 227
103 229
104 232
105 235
106 238
107 241
108 242
109 245
110 248
111 251
112 254
113 256
114 259
115 262
116 265
117 268
118 271
119 274
120 277
121 279
122 280
123 281
124 284
125 285
126 288
127 291
128 292
129 294
130 297
131 300
132 303
133 304
134 307
135 309
136 312
137 313
138 315
139 316
140 319
141 321
142 324
143 326
144 329
145 331
146 334
147 337
148 339
149 342
150 343
151 345
152 347
153 350
154 352
155 354
156 356
157 359
158 361
159 363
160 366
161 369
162 372
163 373
164 374
165 376
166 379
167 380
168 383
169 384
170 387
171 389
172 392
173 394
174 397
175 399
176 400
177 402
178 404
179 407
180 409
181 411
182 414
183 417
184 419
185 421
186 424
187 427
188 429
189 430
190 432
191 434
192 436
193 439
194 442
195 445
196 447
197 449
198 452
199 453
200 456
201 459
202 462
203 464
204 467
205 468
206 469
207 472