nx_hll_bias_table.nx source
↩ module page · 2735 lines · 89943 B
1// hll_bias_table.nx -- bias table calibrated by OUR HLL on OUR streams
2// Generated by runtime/gen_hll_bias_nx.nx via qemu-riscv64-stati
3// genealogy_id: heule_2013 + ours (substrate-native generation
4// lineage_id: heule_bias_table
5
6// lg_k=4 m=16 threshold=10 upper=160 n_samples=192
7const NX_HLL_BIAS_LGK4_N: i64 = 192
8func nx_hll_bias_lgk4(i: i64) -> i64 {
9 if i == 0 { return 15 }
10 if i == 1 { return 10 }
11 if i == 2 { return 16 }
12 if i == 3 { return 11 }
13 if i == 4 { return 16 }
14 if i == 5 { return 12 }
15 if i == 6 { return 17 }
16 if i == 7 { return 13 }
17 if i == 8 { return 17 }
18 if i == 9 { return 13 }
19 if i == 10 { return 18 }
20 if i == 11 { return 14 }
21 if i == 12 { return 18 }
22 if i == 13 { return 15 }
23 if i == 14 { return 19 }
24 if i == 15 { return 16 }
25 if i == 16 { return 19 }
26 if i == 17 { return 16 }
27 if i == 18 { return 20 }
28 if i == 19 { return 17 }
29 if i == 20 { return 20 }
30 if i == 21 { return 18 }
31 if i == 22 { return 21 }
32 if i == 23 { return 19 }
33 if i == 24 { return 22 }
34 if i == 25 { return 20 }
35 if i == 26 { return 22 }
36 if i == 27 { return 20 }
37 if i == 28 { return 23 }
38 if i == 29 { return 21 }
39 if i == 30 { return 23 }
40 if i == 31 { return 22 }
41 if i == 32 { return 24 }
42 if i == 33 { return 23 }
43 if i == 34 { return 24 }
44 if i == 35 { return 23 }
45 if i == 36 { return 25 }
46 if i == 37 { return 24 }
47 if i == 38 { return 26 }
48 if i == 39 { return 25 }
49 if i == 40 { return 27 }
50 if i == 41 { return 26 }
51 if i == 42 { return 28 }
52 if i == 43 { return 27 }
53 if i == 44 { return 28 }
54 if i == 45 { return 27 }
55 if i == 46 { return 28 }
56 if i == 47 { return 28 }
57 if i == 48 { return 29 }
58 if i == 49 { return 29 }
59 if i == 50 { return 30 }
60 if i == 51 { return 30 }
61 if i == 52 { return 30 }
62 if i == 53 { return 30 }
63 if i == 54 { return 31 }
64 if i == 55 { return 31 }
65 if i == 56 { return 32 }
66 if i == 57 { return 32 }
67 if i == 58 { return 33 }
68 if i == 59 { return 33 }
69 if i == 60 { return 34 }
70 if i == 61 { return 34 }
71 if i == 62 { return 34 }
72 if i == 63 { return 34 }
73 if i == 64 { return 35 }
74 if i == 65 { return 35 }
75 if i == 66 { return 36 }
76 if i == 67 { return 36 }
77 if i == 68 { return 37 }
78 if i == 69 { return 37 }
79 if i == 70 { return 37 }
80 if i == 71 { return 37 }
81 if i == 72 { return 38 }
82 if i == 73 { return 38 }
83 if i == 74 { return 38 }
84 if i == 75 { return 39 }
85 if i == 76 { return 39 }
86 if i == 77 { return 40 }
87 if i == 78 { return 40 }
88 if i == 79 { return 41 }
89 if i == 80 { return 40 }
90 if i == 81 { return 41 }
91 if i == 82 { return 41 }
92 if i == 83 { return 42 }
93 if i == 84 { return 42 }
94 if i == 85 { return 43 }
95 if i == 86 { return 43 }
96 if i == 87 { return 44 }
97 if i == 88 { return 43 }
98 if i == 89 { return 44 }
99 if i == 90 { return 44 }
100 if i == 91 { return 45 }
101 if i == 92 { return 45 }
102 if i == 93 { return 46 }
103 if i == 94 { return 47 }
104 if i == 95 { return 47 }
105 if i == 96 { return 47 }
106 if i == 97 { return 48 }
107 if i == 98 { return 47 }
108 if i == 99 { return 48 }
109 if i == 100 { return 49 }
110 if i == 101 { return 49 }
111 if i == 102 { return 50 }
112 if i == 103 { return 50 }
113 if i == 104 { return 51 }
114 if i == 105 { return 51 }
115 if i == 106 { return 51 }
116 if i == 107 { return 51 }
117 if i == 108 { return 51 }
118 if i == 109 { return 52 }
119 if i == 110 { return 52 }
120 if i == 111 { return 53 }
121 if i == 112 { return 53 }
122 if i == 113 { return 54 }
123 if i == 114 { return 54 }
124 if i == 115 { return 55 }
125 if i == 116 { return 54 }
126 if i == 117 { return 55 }
127 if i == 118 { return 55 }
128 if i == 119 { return 56 }
129 if i == 120 { return 56 }
130 if i == 121 { return 57 }
131 if i == 122 { return 57 }
132 if i == 123 { return 58 }
133 if i == 124 { return 57 }
134 if i == 125 { return 58 }
135 if i == 126 { return 58 }
136 if i == 127 { return 59 }
137 if i == 128 { return 59 }
138 if i == 129 { return 60 }
139 if i == 130 { return 60 }
140 if i == 131 { return 61 }
141 if i == 132 { return 61 }
142 if i == 133 { return 62 }
143 if i == 134 { return 61 }
144 if i == 135 { return 62 }
145 if i == 136 { return 62 }
146 if i == 137 { return 63 }
147 if i == 138 { return 63 }
148 if i == 139 { return 64 }
149 if i == 140 { return 64 }
150 if i == 141 { return 65 }
151 if i == 142 { return 64 }
152 if i == 143 { return 65 }
153 if i == 144 { return 65 }
154 if i == 145 { return 66 }
155 if i == 146 { return 66 }
156 if i == 147 { return 67 }
157 if i == 148 { return 67 }
158 if i == 149 { return 68 }
159 if i == 150 { return 68 }
160 if i == 151 { return 69 }
161 if i == 152 { return 68 }
162 if i == 153 { return 69 }
163 if i == 154 { return 69 }
164 if i == 155 { return 70 }
165 if i == 156 { return 70 }
166 if i == 157 { return 71 }
167 if i == 158 { return 71 }
168 if i == 159 { return 72 }
169 if i == 160 { return 71 }
170 if i == 161 { return 72 }
171 if i == 162 { return 72 }
172 if i == 163 { return 73 }
173 if i == 164 { return 73 }
174 if i == 165 { return 74 }
175 if i == 166 { return 74 }
176 if i == 167 { return 75 }
177 if i == 168 { return 75 }
178 if i == 169 { return 76 }
179 if i == 170 { return 75 }
180 if i == 171 { return 76 }
181 if i == 172 { return 76 }
182 if i == 173 { return 77 }
183 if i == 174 { return 77 }
184 if i == 175 { return 78 }
185 if i == 176 { return 78 }
186 if i == 177 { return 79 }
187 if i == 178 { return 78 }
188 if i == 179 { return 79 }
189 if i == 180 { return 79 }
190 if i == 181 { return 80 }
191 if i == 182 { return 80 }
192 if i == 183 { return 81 }
193 if i == 184 { return 80 }
194 if i == 185 { return 82 }
195 if i == 186 { return 81 }
196 if i == 187 { return 83 }
197 if i == 188 { return 81 }
198 if i == 189 { return 83 }
199 if i == 190 { return 82 }
200 if i == 191 { return 84 }
201 if i == 192 { return 83 }
202 if i == 193 { return 85 }
203 if i == 194 { return 84 }
204 if i == 195 { return 86 }
205 if i == 196 { return 84 }
206 if i == 197 { return 86 }
207 if i == 198 { return 85 }
208 if i == 199 { return 87 }
209 if i == 200 { return 86 }
210 if i == 201 { return 88 }
211 if i == 202 { return 87 }
212 if i == 203 { return 89 }
213 if i == 204 { return 88 }
214 if i == 205 { return 90 }
215 if i == 206 { return 88 }
216 if i == 207 { return 90 }
217 if i == 208 { return 89 }
218 if i == 209 { return 91 }
219 if i == 210 { return 90 }
220 if i == 211 { return 92 }
221 if i == 212 { return 91 }
222 if i == 213 { return 93 }
223 if i == 214 { return 91 }
224 if i == 215 { return 93 }
225 if i == 216 { return 92 }
226 if i == 217 { return 94 }
227 if i == 218 { return 93 }
228 if i == 219 { return 95 }
229 if i == 220 { return 94 }
230 if i == 221 { return 96 }
231 if i == 222 { return 95 }
232 if i == 223 { return 97 }
233 if i == 224 { return 95 }
234 if i == 225 { return 97 }
235 if i == 226 { return 97 }
236 if i == 227 { return 98 }
237 if i == 228 { return 98 }
238 if i == 229 { return 99 }
239 if i == 230 { return 98 }
240 if i == 231 { return 100 }
241 if i == 232 { return 98 }
242 if i == 233 { return 100 }
243 if i == 234 { return 99 }
244 if i == 235 { return 101 }
245 if i == 236 { return 100 }
246 if i == 237 { return 102 }
247 if i == 238 { return 101 }
248 if i == 239 { return 103 }
249 if i == 240 { return 103 }
250 if i == 241 { return 104 }
251 if i == 242 { return 103 }
252 if i == 243 { return 104 }
253 if i == 244 { return 104 }
254 if i == 245 { return 105 }
255 if i == 246 { return 104 }
256 if i == 247 { return 106 }
257 if i == 248 { return 105 }
258 if i == 249 { return 107 }
259 if i == 250 { return 105 }
260 if i == 251 { return 107 }
261 if i == 252 { return 106 }
262 if i == 253 { return 108 }
263 if i == 254 { return 107 }
264 if i == 255 { return 109 }
265 if i == 256 { return 108 }
266 if i == 257 { return 110 }
267 if i == 258 { return 109 }
268 if i == 259 { return 111 }
269 if i == 260 { return 109 }
270 if i == 261 { return 111 }
271 if i == 262 { return 110 }
272 if i == 263 { return 112 }
273 if i == 264 { return 112 }
274 if i == 265 { return 113 }
275 if i == 266 { return 113 }
276 if i == 267 { return 114 }
277 if i == 268 { return 113 }
278 if i == 269 { return 114 }
279 if i == 270 { return 113 }
280 if i == 271 { return 115 }
281 if i == 272 { return 115 }
282 if i == 273 { return 116 }
283 if i == 274 { return 116 }
284 if i == 275 { return 117 }
285 if i == 276 { return 117 }
286 if i == 277 { return 118 }
287 if i == 278 { return 117 }
288 if i == 279 { return 118 }
289 if i == 280 { return 118 }
290 if i == 281 { return 119 }
291 if i == 282 { return 120 }
292 if i == 283 { return 120 }
293 if i == 284 { return 121 }
294 if i == 285 { return 121 }
295 if i == 286 { return 121 }
296 if i == 287 { return 121 }
297 if i == 288 { return 122 }
298 if i == 289 { return 122 }
299 if i == 290 { return 123 }
300 if i == 291 { return 123 }
301 if i == 292 { return 124 }
302 if i == 293 { return 124 }
303 if i == 294 { return 125 }
304 if i == 295 { return 125 }
305 if i == 296 { return 125 }
306 if i == 297 { return 125 }
307 if i == 298 { return 126 }
308 if i == 299 { return 126 }
309 if i == 300 { return 127 }
310 if i == 301 { return 127 }
311 if i == 302 { return 129 }
312 if i == 303 { return 128 }
313 if i == 304 { return 129 }
314 if i == 305 { return 128 }
315 if i == 306 { return 129 }
316 if i == 307 { return 129 }
317 if i == 308 { return 130 }
318 if i == 309 { return 130 }
319 if i == 310 { return 132 }
320 if i == 311 { return 131 }
321 if i == 312 { return 133 }
322 if i == 313 { return 132 }
323 if i == 314 { return 133 }
324 if i == 315 { return 132 }
325 if i == 316 { return 134 }
326 if i == 317 { return 133 }
327 if i == 318 { return 135 }
328 if i == 319 { return 134 }
329 if i == 320 { return 136 }
330 if i == 321 { return 135 }
331 if i == 322 { return 136 }
332 if i == 323 { return 135 }
333 if i == 324 { return 137 }
334 if i == 325 { return 136 }
335 if i == 326 { return 138 }
336 if i == 327 { return 137 }
337 if i == 328 { return 139 }
338 if i == 329 { return 138 }
339 if i == 330 { return 140 }
340 if i == 331 { return 139 }
341 if i == 332 { return 140 }
342 if i == 333 { return 139 }
343 if i == 334 { return 141 }
344 if i == 335 { return 140 }
345 if i == 336 { return 142 }
346 if i == 337 { return 141 }
347 if i == 338 { return 143 }
348 if i == 339 { return 142 }
349 if i == 340 { return 143 }
350 if i == 341 { return 142 }
351 if i == 342 { return 144 }
352 if i == 343 { return 143 }
353 if i == 344 { return 145 }
354 if i == 345 { return 144 }
355 if i == 346 { return 146 }
356 if i == 347 { return 145 }
357 if i == 348 { return 147 }
358 if i == 349 { return 146 }
359 if i == 350 { return 147 }
360 if i == 351 { return 146 }
361 if i == 352 { return 147 }
362 if i == 353 { return 147 }
363 if i == 354 { return 148 }
364 if i == 355 { return 148 }
365 if i == 356 { return 149 }
366 if i == 357 { return 149 }
367 if i == 358 { return 149 }
368 if i == 359 { return 149 }
369 if i == 360 { return 150 }
370 if i == 361 { return 150 }
371 if i == 362 { return 151 }
372 if i == 363 { return 151 }
373 if i == 364 { return 152 }
374 if i == 365 { return 152 }
375 if i == 366 { return 153 }
376 if i == 367 { return 153 }
377 if i == 368 { return 153 }
378 if i == 369 { return 153 }
379 if i == 370 { return 154 }
380 if i == 371 { return 154 }
381 if i == 372 { return 156 }
382 if i == 373 { return 155 }
383 if i == 374 { return 156 }
384 if i == 375 { return 156 }
385 if i == 376 { return 156 }
386 if i == 377 { return 156 }
387 if i == 378 { return 157 }
388 if i == 379 { return 157 }
389 if i == 380 { return 159 }
390 if i == 381 { return 158 }
391 if i == 382 { return 160 }
392 if i == 383 { return 159 }
393 return -1
394}
395
396// lg_k=5 m=32 threshold=20 upper=320 n_samples=192
397const NX_HLL_BIAS_LGK5_N: i64 = 192
398func nx_hll_bias_lgk5(i: i64) -> i64 {
399 if i == 0 { return 33 }
400 if i == 1 { return 21 }
401 if i == 2 { return 34 }
402 if i == 3 { return 23 }
403 if i == 4 { return 35 }
404 if i == 5 { return 24 }
405 if i == 6 { return 36 }
406 if i == 7 { return 26 }
407 if i == 8 { return 37 }
408 if i == 9 { return 27 }
409 if i == 10 { return 38 }
410 if i == 11 { return 29 }
411 if i == 12 { return 39 }
412 if i == 13 { return 30 }
413 if i == 14 { return 40 }
414 if i == 15 { return 32 }
415 if i == 16 { return 41 }
416 if i == 17 { return 33 }
417 if i == 18 { return 42 }
418 if i == 19 { return 35 }
419 if i == 20 { return 44 }
420 if i == 21 { return 37 }
421 if i == 22 { return 45 }
422 if i == 23 { return 38 }
423 if i == 24 { return 46 }
424 if i == 25 { return 40 }
425 if i == 26 { return 47 }
426 if i == 27 { return 41 }
427 if i == 28 { return 48 }
428 if i == 29 { return 43 }
429 if i == 30 { return 49 }
430 if i == 31 { return 44 }
431 if i == 32 { return 51 }
432 if i == 33 { return 46 }
433 if i == 34 { return 52 }
434 if i == 35 { return 47 }
435 if i == 36 { return 53 }
436 if i == 37 { return 49 }
437 if i == 38 { return 55 }
438 if i == 39 { return 51 }
439 if i == 40 { return 56 }
440 if i == 41 { return 52 }
441 if i == 42 { return 57 }
442 if i == 43 { return 54 }
443 if i == 44 { return 58 }
444 if i == 45 { return 55 }
445 if i == 46 { return 60 }
446 if i == 47 { return 57 }
447 if i == 48 { return 61 }
448 if i == 49 { return 58 }
449 if i == 50 { return 62 }
450 if i == 51 { return 60 }
451 if i == 52 { return 63 }
452 if i == 53 { return 61 }
453 if i == 54 { return 65 }
454 if i == 55 { return 63 }
455 if i == 56 { return 67 }
456 if i == 57 { return 65 }
457 if i == 58 { return 67 }
458 if i == 59 { return 66 }
459 if i == 60 { return 69 }
460 if i == 61 { return 68 }
461 if i == 62 { return 70 }
462 if i == 63 { return 69 }
463 if i == 64 { return 72 }
464 if i == 65 { return 71 }
465 if i == 66 { return 73 }
466 if i == 67 { return 72 }
467 if i == 68 { return 75 }
468 if i == 69 { return 74 }
469 if i == 70 { return 76 }
470 if i == 71 { return 75 }
471 if i == 72 { return 78 }
472 if i == 73 { return 77 }
473 if i == 74 { return 80 }
474 if i == 75 { return 79 }
475 if i == 76 { return 81 }
476 if i == 77 { return 80 }
477 if i == 78 { return 82 }
478 if i == 79 { return 82 }
479 if i == 80 { return 83 }
480 if i == 81 { return 83 }
481 if i == 82 { return 85 }
482 if i == 83 { return 85 }
483 if i == 84 { return 86 }
484 if i == 85 { return 86 }
485 if i == 86 { return 88 }
486 if i == 87 { return 88 }
487 if i == 88 { return 89 }
488 if i == 89 { return 89 }
489 if i == 90 { return 91 }
490 if i == 91 { return 91 }
491 if i == 92 { return 93 }
492 if i == 93 { return 93 }
493 if i == 94 { return 94 }
494 if i == 95 { return 94 }
495 if i == 96 { return 95 }
496 if i == 97 { return 96 }
497 if i == 98 { return 96 }
498 if i == 99 { return 97 }
499 if i == 100 { return 98 }
500 if i == 101 { return 99 }
501 if i == 102 { return 99 }
502 if i == 103 { return 100 }
503 if i == 104 { return 101 }
504 if i == 105 { return 102 }
505 if i == 106 { return 102 }
506 if i == 107 { return 103 }
507 if i == 108 { return 104 }
508 if i == 109 { return 105 }
509 if i == 110 { return 106 }
510 if i == 111 { return 107 }
511 if i == 112 { return 107 }
512 if i == 113 { return 108 }
513 if i == 114 { return 109 }
514 if i == 115 { return 110 }
515 if i == 116 { return 110 }
516 if i == 117 { return 111 }
517 if i == 118 { return 112 }
518 if i == 119 { return 113 }
519 if i == 120 { return 113 }
520 if i == 121 { return 114 }
521 if i == 122 { return 115 }
522 if i == 123 { return 116 }
523 if i == 124 { return 116 }
524 if i == 125 { return 117 }
525 if i == 126 { return 118 }
526 if i == 127 { return 119 }
527 if i == 128 { return 121 }
528 if i == 129 { return 121 }
529 if i == 130 { return 122 }
530 if i == 131 { return 122 }
531 if i == 132 { return 124 }
532 if i == 133 { return 124 }
533 if i == 134 { return 125 }
534 if i == 135 { return 125 }
535 if i == 136 { return 127 }
536 if i == 137 { return 127 }
537 if i == 138 { return 128 }
538 if i == 139 { return 128 }
539 if i == 140 { return 130 }
540 if i == 141 { return 130 }
541 if i == 142 { return 131 }
542 if i == 143 { return 131 }
543 if i == 144 { return 133 }
544 if i == 145 { return 133 }
545 if i == 146 { return 135 }
546 if i == 147 { return 135 }
547 if i == 148 { return 136 }
548 if i == 149 { return 136 }
549 if i == 150 { return 138 }
550 if i == 151 { return 138 }
551 if i == 152 { return 139 }
552 if i == 153 { return 139 }
553 if i == 154 { return 141 }
554 if i == 155 { return 141 }
555 if i == 156 { return 142 }
556 if i == 157 { return 142 }
557 if i == 158 { return 144 }
558 if i == 159 { return 144 }
559 if i == 160 { return 145 }
560 if i == 161 { return 145 }
561 if i == 162 { return 147 }
562 if i == 163 { return 147 }
563 if i == 164 { return 149 }
564 if i == 165 { return 149 }
565 if i == 166 { return 150 }
566 if i == 167 { return 150 }
567 if i == 168 { return 152 }
568 if i == 169 { return 152 }
569 if i == 170 { return 153 }
570 if i == 171 { return 153 }
571 if i == 172 { return 155 }
572 if i == 173 { return 155 }
573 if i == 174 { return 156 }
574 if i == 175 { return 156 }
575 if i == 176 { return 158 }
576 if i == 177 { return 158 }
577 if i == 178 { return 159 }
578 if i == 179 { return 159 }
579 if i == 180 { return 161 }
580 if i == 181 { return 161 }
581 if i == 182 { return 163 }
582 if i == 183 { return 163 }
583 if i == 184 { return 164 }
584 if i == 185 { return 164 }
585 if i == 186 { return 166 }
586 if i == 187 { return 166 }
587 if i == 188 { return 167 }
588 if i == 189 { return 167 }
589 if i == 190 { return 169 }
590 if i == 191 { return 169 }
591 if i == 192 { return 170 }
592 if i == 193 { return 170 }
593 if i == 194 { return 172 }
594 if i == 195 { return 172 }
595 if i == 196 { return 173 }
596 if i == 197 { return 173 }
597 if i == 198 { return 175 }
598 if i == 199 { return 175 }
599 if i == 200 { return 176 }
600 if i == 201 { return 176 }
601 if i == 202 { return 177 }
602 if i == 203 { return 178 }
603 if i == 204 { return 179 }
604 if i == 205 { return 180 }
605 if i == 206 { return 180 }
606 if i == 207 { return 181 }
607 if i == 208 { return 182 }
608 if i == 209 { return 183 }
609 if i == 210 { return 183 }
610 if i == 211 { return 184 }
611 if i == 212 { return 185 }
612 if i == 213 { return 186 }
613 if i == 214 { return 187 }
614 if i == 215 { return 187 }
615 if i == 216 { return 189 }
616 if i == 217 { return 189 }
617 if i == 218 { return 189 }
618 if i == 219 { return 190 }
619 if i == 220 { return 192 }
620 if i == 221 { return 192 }
621 if i == 222 { return 193 }
622 if i == 223 { return 194 }
623 if i == 224 { return 194 }
624 if i == 225 { return 195 }
625 if i == 226 { return 197 }
626 if i == 227 { return 197 }
627 if i == 228 { return 198 }
628 if i == 229 { return 198 }
629 if i == 230 { return 200 }
630 if i == 231 { return 200 }
631 if i == 232 { return 201 }
632 if i == 233 { return 201 }
633 if i == 234 { return 203 }
634 if i == 235 { return 203 }
635 if i == 236 { return 205 }
636 if i == 237 { return 204 }
637 if i == 238 { return 206 }
638 if i == 239 { return 206 }
639 if i == 240 { return 209 }
640 if i == 241 { return 208 }
641 if i == 242 { return 210 }
642 if i == 243 { return 209 }
643 if i == 244 { return 212 }
644 if i == 245 { return 211 }
645 if i == 246 { return 213 }
646 if i == 247 { return 212 }
647 if i == 248 { return 215 }
648 if i == 249 { return 214 }
649 if i == 250 { return 216 }
650 if i == 251 { return 215 }
651 if i == 252 { return 218 }
652 if i == 253 { return 217 }
653 if i == 254 { return 219 }
654 if i == 255 { return 218 }
655 if i == 256 { return 220 }
656 if i == 257 { return 220 }
657 if i == 258 { return 223 }
658 if i == 259 { return 222 }
659 if i == 260 { return 224 }
660 if i == 261 { return 223 }
661 if i == 262 { return 226 }
662 if i == 263 { return 225 }
663 if i == 264 { return 227 }
664 if i == 265 { return 226 }
665 if i == 266 { return 229 }
666 if i == 267 { return 228 }
667 if i == 268 { return 230 }
668 if i == 269 { return 229 }
669 if i == 270 { return 232 }
670 if i == 271 { return 231 }
671 if i == 272 { return 233 }
672 if i == 273 { return 232 }
673 if i == 274 { return 235 }
674 if i == 275 { return 234 }
675 if i == 276 { return 237 }
676 if i == 277 { return 236 }
677 if i == 278 { return 238 }
678 if i == 279 { return 237 }
679 if i == 280 { return 240 }
680 if i == 281 { return 239 }
681 if i == 282 { return 241 }
682 if i == 283 { return 240 }
683 if i == 284 { return 243 }
684 if i == 285 { return 242 }
685 if i == 286 { return 243 }
686 if i == 287 { return 243 }
687 if i == 288 { return 245 }
688 if i == 289 { return 245 }
689 if i == 290 { return 246 }
690 if i == 291 { return 246 }
691 if i == 292 { return 248 }
692 if i == 293 { return 248 }
693 if i == 294 { return 250 }
694 if i == 295 { return 250 }
695 if i == 296 { return 251 }
696 if i == 297 { return 251 }
697 if i == 298 { return 253 }
698 if i == 299 { return 253 }
699 if i == 300 { return 254 }
700 if i == 301 { return 254 }
701 if i == 302 { return 256 }
702 if i == 303 { return 256 }
703 if i == 304 { return 257 }
704 if i == 305 { return 257 }
705 if i == 306 { return 259 }
706 if i == 307 { return 259 }
707 if i == 308 { return 260 }
708 if i == 309 { return 260 }
709 if i == 310 { return 262 }
710 if i == 311 { return 262 }
711 if i == 312 { return 264 }
712 if i == 313 { return 264 }
713 if i == 314 { return 265 }
714 if i == 315 { return 265 }
715 if i == 316 { return 267 }
716 if i == 317 { return 267 }
717 if i == 318 { return 268 }
718 if i == 319 { return 268 }
719 if i == 320 { return 270 }
720 if i == 321 { return 270 }
721 if i == 322 { return 271 }
722 if i == 323 { return 271 }
723 if i == 324 { return 273 }
724 if i == 325 { return 273 }
725 if i == 326 { return 274 }
726 if i == 327 { return 274 }
727 if i == 328 { return 276 }
728 if i == 329 { return 276 }
729 if i == 330 { return 278 }
730 if i == 331 { return 278 }
731 if i == 332 { return 280 }
732 if i == 333 { return 279 }
733 if i == 334 { return 282 }
734 if i == 335 { return 281 }
735 if i == 336 { return 282 }
736 if i == 337 { return 282 }
737 if i == 338 { return 284 }
738 if i == 339 { return 284 }
739 if i == 340 { return 285 }
740 if i == 341 { return 285 }
741 if i == 342 { return 287 }
742 if i == 343 { return 287 }
743 if i == 344 { return 288 }
744 if i == 345 { return 288 }
745 if i == 346 { return 290 }
746 if i == 347 { return 290 }
747 if i == 348 { return 292 }
748 if i == 349 { return 292 }
749 if i == 350 { return 293 }
750 if i == 351 { return 293 }
751 if i == 352 { return 294 }
752 if i == 353 { return 295 }
753 if i == 354 { return 296 }
754 if i == 355 { return 296 }
755 if i == 356 { return 298 }
756 if i == 357 { return 298 }
757 if i == 358 { return 298 }
758 if i == 359 { return 299 }
759 if i == 360 { return 300 }
760 if i == 361 { return 301 }
761 if i == 362 { return 301 }
762 if i == 363 { return 302 }
763 if i == 364 { return 303 }
764 if i == 365 { return 304 }
765 if i == 366 { return 305 }
766 if i == 367 { return 306 }
767 if i == 368 { return 306 }
768 if i == 369 { return 307 }
769 if i == 370 { return 308 }
770 if i == 371 { return 309 }
771 if i == 372 { return 309 }
772 if i == 373 { return 310 }
773 if i == 374 { return 311 }
774 if i == 375 { return 312 }
775 if i == 376 { return 312 }
776 if i == 377 { return 313 }
777 if i == 378 { return 314 }
778 if i == 379 { return 315 }
779 if i == 380 { return 315 }
780 if i == 381 { return 316 }
781 if i == 382 { return 317 }
782 if i == 383 { return 318 }
783 return -1
784}
785
786// lg_k=6 m=64 threshold=40 upper=640 n_samples=192
787const NX_HLL_BIAS_LGK6_N: i64 = 192
788func nx_hll_bias_lgk6(i: i64) -> i64 {
789 if i == 0 { return 68 }
790 if i == 1 { return 43 }
791 if i == 2 { return 70 }
792 if i == 3 { return 46 }
793 if i == 4 { return 72 }
794 if i == 5 { return 49 }
795 if i == 6 { return 74 }
796 if i == 7 { return 52 }
797 if i == 8 { return 76 }
798 if i == 9 { return 55 }
799 if i == 10 { return 78 }
800 if i == 11 { return 58 }
801 if i == 12 { return 80 }
802 if i == 13 { return 61 }
803 if i == 14 { return 82 }
804 if i == 15 { return 64 }
805 if i == 16 { return 85 }
806 if i == 17 { return 67 }
807 if i == 18 { return 87 }
808 if i == 19 { return 71 }
809 if i == 20 { return 90 }
810 if i == 21 { return 74 }
811 if i == 22 { return 92 }
812 if i == 23 { return 77 }
813 if i == 24 { return 94 }
814 if i == 25 { return 80 }
815 if i == 26 { return 96 }
816 if i == 27 { return 83 }
817 if i == 28 { return 99 }
818 if i == 29 { return 86 }
819 if i == 30 { return 101 }
820 if i == 31 { return 89 }
821 if i == 32 { return 103 }
822 if i == 33 { return 92 }
823 if i == 34 { return 106 }
824 if i == 35 { return 95 }
825 if i == 36 { return 109 }
826 if i == 37 { return 99 }
827 if i == 38 { return 111 }
828 if i == 39 { return 102 }
829 if i == 40 { return 114 }
830 if i == 41 { return 105 }
831 if i == 42 { return 117 }
832 if i == 43 { return 108 }
833 if i == 44 { return 119 }
834 if i == 45 { return 111 }
835 if i == 46 { return 122 }
836 if i == 47 { return 114 }
837 if i == 48 { return 124 }
838 if i == 49 { return 117 }
839 if i == 50 { return 127 }
840 if i == 51 { return 120 }
841 if i == 52 { return 130 }
842 if i == 53 { return 123 }
843 if i == 54 { return 133 }
844 if i == 55 { return 127 }
845 if i == 56 { return 136 }
846 if i == 57 { return 130 }
847 if i == 58 { return 138 }
848 if i == 59 { return 133 }
849 if i == 60 { return 141 }
850 if i == 61 { return 136 }
851 if i == 62 { return 143 }
852 if i == 63 { return 139 }
853 if i == 64 { return 146 }
854 if i == 65 { return 142 }
855 if i == 66 { return 149 }
856 if i == 67 { return 145 }
857 if i == 68 { return 151 }
858 if i == 69 { return 148 }
859 if i == 70 { return 154 }
860 if i == 71 { return 151 }
861 if i == 72 { return 157 }
862 if i == 73 { return 155 }
863 if i == 74 { return 160 }
864 if i == 75 { return 158 }
865 if i == 76 { return 163 }
866 if i == 77 { return 161 }
867 if i == 78 { return 166 }
868 if i == 79 { return 164 }
869 if i == 80 { return 168 }
870 if i == 81 { return 167 }
871 if i == 82 { return 171 }
872 if i == 83 { return 170 }
873 if i == 84 { return 174 }
874 if i == 85 { return 173 }
875 if i == 86 { return 177 }
876 if i == 87 { return 176 }
877 if i == 88 { return 180 }
878 if i == 89 { return 179 }
879 if i == 90 { return 184 }
880 if i == 91 { return 183 }
881 if i == 92 { return 186 }
882 if i == 93 { return 186 }
883 if i == 94 { return 189 }
884 if i == 95 { return 189 }
885 if i == 96 { return 192 }
886 if i == 97 { return 192 }
887 if i == 98 { return 195 }
888 if i == 99 { return 195 }
889 if i == 100 { return 198 }
890 if i == 101 { return 198 }
891 if i == 102 { return 201 }
892 if i == 103 { return 201 }
893 if i == 104 { return 204 }
894 if i == 105 { return 204 }
895 if i == 106 { return 207 }
896 if i == 107 { return 207 }
897 if i == 108 { return 210 }
898 if i == 109 { return 210 }
899 if i == 110 { return 213 }
900 if i == 111 { return 214 }
901 if i == 112 { return 216 }
902 if i == 113 { return 217 }
903 if i == 114 { return 219 }
904 if i == 115 { return 220 }
905 if i == 116 { return 222 }
906 if i == 117 { return 223 }
907 if i == 118 { return 224 }
908 if i == 119 { return 226 }
909 if i == 120 { return 227 }
910 if i == 121 { return 229 }
911 if i == 122 { return 230 }
912 if i == 123 { return 232 }
913 if i == 124 { return 233 }
914 if i == 125 { return 235 }
915 if i == 126 { return 236 }
916 if i == 127 { return 238 }
917 if i == 128 { return 240 }
918 if i == 129 { return 242 }
919 if i == 130 { return 243 }
920 if i == 131 { return 245 }
921 if i == 132 { return 245 }
922 if i == 133 { return 248 }
923 if i == 134 { return 249 }
924 if i == 135 { return 251 }
925 if i == 136 { return 251 }
926 if i == 137 { return 254 }
927 if i == 138 { return 254 }
928 if i == 139 { return 257 }
929 if i == 140 { return 258 }
930 if i == 141 { return 260 }
931 if i == 142 { return 261 }
932 if i == 143 { return 263 }
933 if i == 144 { return 264 }
934 if i == 145 { return 266 }
935 if i == 146 { return 267 }
936 if i == 147 { return 270 }
937 if i == 148 { return 270 }
938 if i == 149 { return 273 }
939 if i == 150 { return 274 }
940 if i == 151 { return 276 }
941 if i == 152 { return 276 }
942 if i == 153 { return 279 }
943 if i == 154 { return 279 }
944 if i == 155 { return 282 }
945 if i == 156 { return 282 }
946 if i == 157 { return 285 }
947 if i == 158 { return 285 }
948 if i == 159 { return 288 }
949 if i == 160 { return 288 }
950 if i == 161 { return 291 }
951 if i == 162 { return 291 }
952 if i == 163 { return 294 }
953 if i == 164 { return 295 }
954 if i == 165 { return 298 }
955 if i == 166 { return 298 }
956 if i == 167 { return 301 }
957 if i == 168 { return 301 }
958 if i == 169 { return 304 }
959 if i == 170 { return 304 }
960 if i == 171 { return 307 }
961 if i == 172 { return 307 }
962 if i == 173 { return 310 }
963 if i == 174 { return 310 }
964 if i == 175 { return 313 }
965 if i == 176 { return 313 }
966 if i == 177 { return 316 }
967 if i == 178 { return 316 }
968 if i == 179 { return 319 }
969 if i == 180 { return 319 }
970 if i == 181 { return 322 }
971 if i == 182 { return 323 }
972 if i == 183 { return 326 }
973 if i == 184 { return 326 }
974 if i == 185 { return 329 }
975 if i == 186 { return 328 }
976 if i == 187 { return 332 }
977 if i == 188 { return 331 }
978 if i == 189 { return 335 }
979 if i == 190 { return 334 }
980 if i == 191 { return 338 }
981 if i == 192 { return 337 }
982 if i == 193 { return 341 }
983 if i == 194 { return 340 }
984 if i == 195 { return 344 }
985 if i == 196 { return 343 }
986 if i == 197 { return 347 }
987 if i == 198 { return 346 }
988 if i == 199 { return 350 }
989 if i == 200 { return 350 }
990 if i == 201 { return 353 }
991 if i == 202 { return 353 }
992 if i == 203 { return 357 }
993 if i == 204 { return 356 }
994 if i == 205 { return 360 }
995 if i == 206 { return 359 }
996 if i == 207 { return 363 }
997 if i == 208 { return 362 }
998 if i == 209 { return 366 }
999 if i == 210 { return 365 }
1000 if i == 211 { return 369 }
1001 if i == 212 { return 367 }
1002 if i == 213 { return 372 }
1003 if i == 214 { return 370 }
1004 if i == 215 { return 375 }
1005 if i == 216 { return 373 }
1006 if i == 217 { return 378 }
1007 if i == 218 { return 376 }
1008 if i == 219 { return 381 }
1009 if i == 220 { return 381 }
1010 if i == 221 { return 385 }
1011 if i == 222 { return 384 }
1012 if i == 223 { return 388 }
1013 if i == 224 { return 386 }
1014 if i == 225 { return 391 }
1015 if i == 226 { return 389 }
1016 if i == 227 { return 394 }
1017 if i == 228 { return 392 }
1018 if i == 229 { return 397 }
1019 if i == 230 { return 395 }
1020 if i == 231 { return 400 }
1021 if i == 232 { return 398 }
1022 if i == 233 { return 403 }
1023 if i == 234 { return 402 }
1024 if i == 235 { return 406 }
1025 if i == 236 { return 405 }
1026 if i == 237 { return 409 }
1027 if i == 238 { return 409 }
1028 if i == 239 { return 413 }
1029 if i == 240 { return 412 }
1030 if i == 241 { return 416 }
1031 if i == 242 { return 415 }
1032 if i == 243 { return 419 }
1033 if i == 244 { return 418 }
1034 if i == 245 { return 422 }
1035 if i == 246 { return 421 }
1036 if i == 247 { return 425 }
1037 if i == 248 { return 425 }
1038 if i == 249 { return 428 }
1039 if i == 250 { return 428 }
1040 if i == 251 { return 431 }
1041 if i == 252 { return 432 }
1042 if i == 253 { return 434 }
1043 if i == 254 { return 435 }
1044 if i == 255 { return 437 }
1045 if i == 256 { return 439 }
1046 if i == 257 { return 441 }
1047 if i == 258 { return 442 }
1048 if i == 259 { return 444 }
1049 if i == 260 { return 445 }
1050 if i == 261 { return 447 }
1051 if i == 262 { return 449 }
1052 if i == 263 { return 450 }
1053 if i == 264 { return 453 }
1054 if i == 265 { return 453 }
1055 if i == 266 { return 455 }
1056 if i == 267 { return 456 }
1057 if i == 268 { return 459 }
1058 if i == 269 { return 459 }
1059 if i == 270 { return 462 }
1060 if i == 271 { return 462 }
1061 if i == 272 { return 465 }
1062 if i == 273 { return 465 }
1063 if i == 274 { return 469 }
1064 if i == 275 { return 469 }
1065 if i == 276 { return 473 }
1066 if i == 277 { return 472 }
1067 if i == 278 { return 476 }
1068 if i == 279 { return 475 }
1069 if i == 280 { return 478 }
1070 if i == 281 { return 478 }
1071 if i == 282 { return 482 }
1072 if i == 283 { return 481 }
1073 if i == 284 { return 485 }
1074 if i == 285 { return 484 }
1075 if i == 286 { return 488 }
1076 if i == 287 { return 487 }
1077 if i == 288 { return 491 }
1078 if i == 289 { return 490 }
1079 if i == 290 { return 495 }
1080 if i == 291 { return 493 }
1081 if i == 292 { return 498 }
1082 if i == 293 { return 496 }
1083 if i == 294 { return 502 }
1084 if i == 295 { return 500 }
1085 if i == 296 { return 505 }
1086 if i == 297 { return 503 }
1087 if i == 298 { return 509 }
1088 if i == 299 { return 506 }
1089 if i == 300 { return 511 }
1090 if i == 301 { return 509 }
1091 if i == 302 { return 515 }
1092 if i == 303 { return 512 }
1093 if i == 304 { return 518 }
1094 if i == 305 { return 515 }
1095 if i == 306 { return 521 }
1096 if i == 307 { return 518 }
1097 if i == 308 { return 524 }
1098 if i == 309 { return 521 }
1099 if i == 310 { return 527 }
1100 if i == 311 { return 524 }
1101 if i == 312 { return 531 }
1102 if i == 313 { return 528 }
1103 if i == 314 { return 535 }
1104 if i == 315 { return 531 }
1105 if i == 316 { return 538 }
1106 if i == 317 { return 534 }
1107 if i == 318 { return 541 }
1108 if i == 319 { return 537 }
1109 if i == 320 { return 544 }
1110 if i == 321 { return 540 }
1111 if i == 322 { return 547 }
1112 if i == 323 { return 543 }
1113 if i == 324 { return 550 }
1114 if i == 325 { return 546 }
1115 if i == 326 { return 553 }
1116 if i == 327 { return 549 }
1117 if i == 328 { return 557 }
1118 if i == 329 { return 552 }
1119 if i == 330 { return 560 }
1120 if i == 331 { return 556 }
1121 if i == 332 { return 564 }
1122 if i == 333 { return 559 }
1123 if i == 334 { return 566 }
1124 if i == 335 { return 562 }
1125 if i == 336 { return 569 }
1126 if i == 337 { return 565 }
1127 if i == 338 { return 572 }
1128 if i == 339 { return 568 }
1129 if i == 340 { return 575 }
1130 if i == 341 { return 571 }
1131 if i == 342 { return 578 }
1132 if i == 343 { return 574 }
1133 if i == 344 { return 581 }
1134 if i == 345 { return 577 }
1135 if i == 346 { return 584 }
1136 if i == 347 { return 580 }
1137 if i == 348 { return 588 }
1138 if i == 349 { return 584 }
1139 if i == 350 { return 591 }
1140 if i == 351 { return 587 }
1141 if i == 352 { return 594 }
1142 if i == 353 { return 590 }
1143 if i == 354 { return 597 }
1144 if i == 355 { return 593 }
1145 if i == 356 { return 600 }
1146 if i == 357 { return 596 }
1147 if i == 358 { return 603 }
1148 if i == 359 { return 599 }
1149 if i == 360 { return 607 }
1150 if i == 361 { return 602 }
1151 if i == 362 { return 609 }
1152 if i == 363 { return 605 }
1153 if i == 364 { return 612 }
1154 if i == 365 { return 608 }
1155 if i == 366 { return 616 }
1156 if i == 367 { return 612 }
1157 if i == 368 { return 618 }
1158 if i == 369 { return 615 }
1159 if i == 370 { return 622 }
1160 if i == 371 { return 618 }
1161 if i == 372 { return 625 }
1162 if i == 373 { return 621 }
1163 if i == 374 { return 628 }
1164 if i == 375 { return 624 }
1165 if i == 376 { return 631 }
1166 if i == 377 { return 627 }
1167 if i == 378 { return 633 }
1168 if i == 379 { return 630 }
1169 if i == 380 { return 636 }
1170 if i == 381 { return 633 }
1171 if i == 382 { return 639 }
1172 if i == 383 { return 636 }
1173 return -1
1174}
1175
1176// lg_k=7 m=128 threshold=80 upper=1280 n_samples=192
1177const NX_HLL_BIAS_LGK7_N: i64 = 192
1178func nx_hll_bias_lgk7(i: i64) -> i64 {
1179 if i == 0 { return 139 }
1180 if i == 1 { return 86 }
1181 if i == 2 { return 142 }
1182 if i == 3 { return 92 }
1183 if i == 4 { return 146 }
1184 if i == 5 { return 98 }
1185 if i == 6 { return 150 }
1186 if i == 7 { return 104 }
1187 if i == 8 { return 155 }
1188 if i == 9 { return 111 }
1189 if i == 10 { return 159 }
1190 if i == 11 { return 117 }
1191 if i == 12 { return 164 }
1192 if i == 13 { return 123 }
1193 if i == 14 { return 168 }
1194 if i == 15 { return 129 }
1195 if i == 16 { return 172 }
1196 if i == 17 { return 135 }
1197 if i == 18 { return 177 }
1198 if i == 19 { return 142 }
1199 if i == 20 { return 181 }
1200 if i == 21 { return 148 }
1201 if i == 22 { return 186 }
1202 if i == 23 { return 154 }
1203 if i == 24 { return 190 }
1204 if i == 25 { return 160 }
1205 if i == 26 { return 195 }
1206 if i == 27 { return 167 }
1207 if i == 28 { return 200 }
1208 if i == 29 { return 173 }
1209 if i == 30 { return 205 }
1210 if i == 31 { return 179 }
1211 if i == 32 { return 209 }
1212 if i == 33 { return 185 }
1213 if i == 34 { return 214 }
1214 if i == 35 { return 191 }
1215 if i == 36 { return 220 }
1216 if i == 37 { return 198 }
1217 if i == 38 { return 225 }
1218 if i == 39 { return 204 }
1219 if i == 40 { return 229 }
1220 if i == 41 { return 210 }
1221 if i == 42 { return 234 }
1222 if i == 43 { return 216 }
1223 if i == 44 { return 240 }
1224 if i == 45 { return 223 }
1225 if i == 46 { return 245 }
1226 if i == 47 { return 229 }
1227 if i == 48 { return 250 }
1228 if i == 49 { return 235 }
1229 if i == 50 { return 255 }
1230 if i == 51 { return 241 }
1231 if i == 52 { return 260 }
1232 if i == 53 { return 247 }
1233 if i == 54 { return 266 }
1234 if i == 55 { return 254 }
1235 if i == 56 { return 271 }
1236 if i == 57 { return 260 }
1237 if i == 58 { return 276 }
1238 if i == 59 { return 266 }
1239 if i == 60 { return 282 }
1240 if i == 61 { return 272 }
1241 if i == 62 { return 287 }
1242 if i == 63 { return 278 }
1243 if i == 64 { return 293 }
1244 if i == 65 { return 285 }
1245 if i == 66 { return 299 }
1246 if i == 67 { return 291 }
1247 if i == 68 { return 305 }
1248 if i == 69 { return 297 }
1249 if i == 70 { return 310 }
1250 if i == 71 { return 303 }
1251 if i == 72 { return 316 }
1252 if i == 73 { return 310 }
1253 if i == 74 { return 322 }
1254 if i == 75 { return 316 }
1255 if i == 76 { return 327 }
1256 if i == 77 { return 322 }
1257 if i == 78 { return 333 }
1258 if i == 79 { return 328 }
1259 if i == 80 { return 338 }
1260 if i == 81 { return 334 }
1261 if i == 82 { return 345 }
1262 if i == 83 { return 341 }
1263 if i == 84 { return 351 }
1264 if i == 85 { return 347 }
1265 if i == 86 { return 356 }
1266 if i == 87 { return 353 }
1267 if i == 88 { return 362 }
1268 if i == 89 { return 359 }
1269 if i == 90 { return 368 }
1270 if i == 91 { return 366 }
1271 if i == 92 { return 374 }
1272 if i == 93 { return 372 }
1273 if i == 94 { return 379 }
1274 if i == 95 { return 378 }
1275 if i == 96 { return 385 }
1276 if i == 97 { return 384 }
1277 if i == 98 { return 391 }
1278 if i == 99 { return 390 }
1279 if i == 100 { return 398 }
1280 if i == 101 { return 397 }
1281 if i == 102 { return 404 }
1282 if i == 103 { return 403 }
1283 if i == 104 { return 410 }
1284 if i == 105 { return 409 }
1285 if i == 106 { return 416 }
1286 if i == 107 { return 415 }
1287 if i == 108 { return 422 }
1288 if i == 109 { return 421 }
1289 if i == 110 { return 428 }
1290 if i == 111 { return 428 }
1291 if i == 112 { return 435 }
1292 if i == 113 { return 434 }
1293 if i == 114 { return 441 }
1294 if i == 115 { return 440 }
1295 if i == 116 { return 447 }
1296 if i == 117 { return 446 }
1297 if i == 118 { return 454 }
1298 if i == 119 { return 453 }
1299 if i == 120 { return 460 }
1300 if i == 121 { return 459 }
1301 if i == 122 { return 467 }
1302 if i == 123 { return 465 }
1303 if i == 124 { return 473 }
1304 if i == 125 { return 471 }
1305 if i == 126 { return 479 }
1306 if i == 127 { return 477 }
1307 if i == 128 { return 486 }
1308 if i == 129 { return 484 }
1309 if i == 130 { return 493 }
1310 if i == 131 { return 490 }
1311 if i == 132 { return 499 }
1312 if i == 133 { return 496 }
1313 if i == 134 { return 505 }
1314 if i == 135 { return 502 }
1315 if i == 136 { return 512 }
1316 if i == 137 { return 509 }
1317 if i == 138 { return 518 }
1318 if i == 139 { return 515 }
1319 if i == 140 { return 524 }
1320 if i == 141 { return 521 }
1321 if i == 142 { return 530 }
1322 if i == 143 { return 527 }
1323 if i == 144 { return 536 }
1324 if i == 145 { return 533 }
1325 if i == 146 { return 543 }
1326 if i == 147 { return 540 }
1327 if i == 148 { return 549 }
1328 if i == 149 { return 546 }
1329 if i == 150 { return 554 }
1330 if i == 151 { return 552 }
1331 if i == 152 { return 560 }
1332 if i == 153 { return 558 }
1333 if i == 154 { return 566 }
1334 if i == 155 { return 564 }
1335 if i == 156 { return 573 }
1336 if i == 157 { return 571 }
1337 if i == 158 { return 579 }
1338 if i == 159 { return 577 }
1339 if i == 160 { return 585 }
1340 if i == 161 { return 583 }
1341 if i == 162 { return 591 }
1342 if i == 163 { return 589 }
1343 if i == 164 { return 598 }
1344 if i == 165 { return 596 }
1345 if i == 166 { return 604 }
1346 if i == 167 { return 602 }
1347 if i == 168 { return 609 }
1348 if i == 169 { return 608 }
1349 if i == 170 { return 615 }
1350 if i == 171 { return 614 }
1351 if i == 172 { return 621 }
1352 if i == 173 { return 620 }
1353 if i == 174 { return 628 }
1354 if i == 175 { return 627 }
1355 if i == 176 { return 633 }
1356 if i == 177 { return 633 }
1357 if i == 178 { return 639 }
1358 if i == 179 { return 639 }
1359 if i == 180 { return 645 }
1360 if i == 181 { return 645 }
1361 if i == 182 { return 652 }
1362 if i == 183 { return 652 }
1363 if i == 184 { return 658 }
1364 if i == 185 { return 658 }
1365 if i == 186 { return 664 }
1366 if i == 187 { return 664 }
1367 if i == 188 { return 671 }
1368 if i == 189 { return 670 }
1369 if i == 190 { return 677 }
1370 if i == 191 { return 676 }
1371 if i == 192 { return 683 }
1372 if i == 193 { return 683 }
1373 if i == 194 { return 690 }
1374 if i == 195 { return 689 }
1375 if i == 196 { return 695 }
1376 if i == 197 { return 695 }
1377 if i == 198 { return 700 }
1378 if i == 199 { return 701 }
1379 if i == 200 { return 707 }
1380 if i == 201 { return 707 }
1381 if i == 202 { return 714 }
1382 if i == 203 { return 714 }
1383 if i == 204 { return 720 }
1384 if i == 205 { return 720 }
1385 if i == 206 { return 726 }
1386 if i == 207 { return 726 }
1387 if i == 208 { return 732 }
1388 if i == 209 { return 732 }
1389 if i == 210 { return 739 }
1390 if i == 211 { return 739 }
1391 if i == 212 { return 746 }
1392 if i == 213 { return 745 }
1393 if i == 214 { return 752 }
1394 if i == 215 { return 751 }
1395 if i == 216 { return 758 }
1396 if i == 217 { return 757 }
1397 if i == 218 { return 764 }
1398 if i == 219 { return 763 }
1399 if i == 220 { return 771 }
1400 if i == 221 { return 770 }
1401 if i == 222 { return 777 }
1402 if i == 223 { return 776 }
1403 if i == 224 { return 782 }
1404 if i == 225 { return 782 }
1405 if i == 226 { return 788 }
1406 if i == 227 { return 788 }
1407 if i == 228 { return 795 }
1408 if i == 229 { return 795 }
1409 if i == 230 { return 801 }
1410 if i == 231 { return 801 }
1411 if i == 232 { return 808 }
1412 if i == 233 { return 807 }
1413 if i == 234 { return 814 }
1414 if i == 235 { return 813 }
1415 if i == 236 { return 820 }
1416 if i == 237 { return 819 }
1417 if i == 238 { return 827 }
1418 if i == 239 { return 826 }
1419 if i == 240 { return 833 }
1420 if i == 241 { return 832 }
1421 if i == 242 { return 839 }
1422 if i == 243 { return 838 }
1423 if i == 244 { return 845 }
1424 if i == 245 { return 844 }
1425 if i == 246 { return 852 }
1426 if i == 247 { return 850 }
1427 if i == 248 { return 859 }
1428 if i == 249 { return 857 }
1429 if i == 250 { return 865 }
1430 if i == 251 { return 863 }
1431 if i == 252 { return 871 }
1432 if i == 253 { return 869 }
1433 if i == 254 { return 877 }
1434 if i == 255 { return 875 }
1435 if i == 256 { return 884 }
1436 if i == 257 { return 882 }
1437 if i == 258 { return 890 }
1438 if i == 259 { return 888 }
1439 if i == 260 { return 896 }
1440 if i == 261 { return 894 }
1441 if i == 262 { return 902 }
1442 if i == 263 { return 900 }
1443 if i == 264 { return 909 }
1444 if i == 265 { return 906 }
1445 if i == 266 { return 915 }
1446 if i == 267 { return 913 }
1447 if i == 268 { return 923 }
1448 if i == 269 { return 919 }
1449 if i == 270 { return 928 }
1450 if i == 271 { return 925 }
1451 if i == 272 { return 934 }
1452 if i == 273 { return 931 }
1453 if i == 274 { return 941 }
1454 if i == 275 { return 938 }
1455 if i == 276 { return 947 }
1456 if i == 277 { return 944 }
1457 if i == 278 { return 954 }
1458 if i == 279 { return 950 }
1459 if i == 280 { return 960 }
1460 if i == 281 { return 956 }
1461 if i == 282 { return 966 }
1462 if i == 283 { return 962 }
1463 if i == 284 { return 973 }
1464 if i == 285 { return 969 }
1465 if i == 286 { return 980 }
1466 if i == 287 { return 975 }
1467 if i == 288 { return 986 }
1468 if i == 289 { return 981 }
1469 if i == 290 { return 992 }
1470 if i == 291 { return 987 }
1471 if i == 292 { return 999 }
1472 if i == 293 { return 993 }
1473 if i == 294 { return 1006 }
1474 if i == 295 { return 1000 }
1475 if i == 296 { return 1012 }
1476 if i == 297 { return 1006 }
1477 if i == 298 { return 1019 }
1478 if i == 299 { return 1012 }
1479 if i == 300 { return 1024 }
1480 if i == 301 { return 1018 }
1481 if i == 302 { return 1031 }
1482 if i == 303 { return 1025 }
1483 if i == 304 { return 1037 }
1484 if i == 305 { return 1031 }
1485 if i == 306 { return 1043 }
1486 if i == 307 { return 1037 }
1487 if i == 308 { return 1048 }
1488 if i == 309 { return 1043 }
1489 if i == 310 { return 1054 }
1490 if i == 311 { return 1049 }
1491 if i == 312 { return 1060 }
1492 if i == 313 { return 1056 }
1493 if i == 314 { return 1066 }
1494 if i == 315 { return 1062 }
1495 if i == 316 { return 1072 }
1496 if i == 317 { return 1068 }
1497 if i == 318 { return 1078 }
1498 if i == 319 { return 1074 }
1499 if i == 320 { return 1085 }
1500 if i == 321 { return 1081 }
1501 if i == 322 { return 1091 }
1502 if i == 323 { return 1087 }
1503 if i == 324 { return 1097 }
1504 if i == 325 { return 1093 }
1505 if i == 326 { return 1102 }
1506 if i == 327 { return 1099 }
1507 if i == 328 { return 1108 }
1508 if i == 329 { return 1105 }
1509 if i == 330 { return 1115 }
1510 if i == 331 { return 1112 }
1511 if i == 332 { return 1121 }
1512 if i == 333 { return 1118 }
1513 if i == 334 { return 1126 }
1514 if i == 335 { return 1124 }
1515 if i == 336 { return 1133 }
1516 if i == 337 { return 1130 }
1517 if i == 338 { return 1138 }
1518 if i == 339 { return 1136 }
1519 if i == 340 { return 1145 }
1520 if i == 341 { return 1143 }
1521 if i == 342 { return 1151 }
1522 if i == 343 { return 1149 }
1523 if i == 344 { return 1157 }
1524 if i == 345 { return 1155 }
1525 if i == 346 { return 1162 }
1526 if i == 347 { return 1161 }
1527 if i == 348 { return 1169 }
1528 if i == 349 { return 1168 }
1529 if i == 350 { return 1174 }
1530 if i == 351 { return 1174 }
1531 if i == 352 { return 1180 }
1532 if i == 353 { return 1180 }
1533 if i == 354 { return 1187 }
1534 if i == 355 { return 1186 }
1535 if i == 356 { return 1193 }
1536 if i == 357 { return 1192 }
1537 if i == 358 { return 1199 }
1538 if i == 359 { return 1199 }
1539 if i == 360 { return 1205 }
1540 if i == 361 { return 1205 }
1541 if i == 362 { return 1212 }
1542 if i == 363 { return 1211 }
1543 if i == 364 { return 1218 }
1544 if i == 365 { return 1217 }
1545 if i == 366 { return 1225 }
1546 if i == 367 { return 1224 }
1547 if i == 368 { return 1232 }
1548 if i == 369 { return 1230 }
1549 if i == 370 { return 1238 }
1550 if i == 371 { return 1236 }
1551 if i == 372 { return 1244 }
1552 if i == 373 { return 1242 }
1553 if i == 374 { return 1250 }
1554 if i == 375 { return 1248 }
1555 if i == 376 { return 1256 }
1556 if i == 377 { return 1255 }
1557 if i == 378 { return 1262 }
1558 if i == 379 { return 1261 }
1559 if i == 380 { return 1268 }
1560 if i == 381 { return 1267 }
1561 if i == 382 { return 1274 }
1562 if i == 383 { return 1273 }
1563 return -1
1564}
1565
1566// lg_k=8 m=256 threshold=220 upper=2560 n_samples=192
1567const NX_HLL_BIAS_LGK8_N: i64 = 192
1568func nx_hll_bias_lgk8(i: i64) -> i64 {
1569 if i == 0 { return 318 }
1570 if i == 1 { return 232 }
1571 if i == 2 { return 326 }
1572 if i == 3 { return 244 }
1573 if i == 4 { return 334 }
1574 if i == 5 { return 256 }
1575 if i == 6 { return 343 }
1576 if i == 7 { return 268 }
1577 if i == 8 { return 352 }
1578 if i == 9 { return 280 }
1579 if i == 10 { return 360 }
1580 if i == 11 { return 292 }
1581 if i == 12 { return 369 }
1582 if i == 13 { return 304 }
1583 if i == 14 { return 378 }
1584 if i == 15 { return 316 }
1585 if i == 16 { return 388 }
1586 if i == 17 { return 329 }
1587 if i == 18 { return 397 }
1588 if i == 19 { return 341 }
1589 if i == 20 { return 406 }
1590 if i == 21 { return 353 }
1591 if i == 22 { return 416 }
1592 if i == 23 { return 365 }
1593 if i == 24 { return 425 }
1594 if i == 25 { return 377 }
1595 if i == 26 { return 435 }
1596 if i == 27 { return 389 }
1597 if i == 28 { return 445 }
1598 if i == 29 { return 401 }
1599 if i == 30 { return 454 }
1600 if i == 31 { return 413 }
1601 if i == 32 { return 465 }
1602 if i == 33 { return 426 }
1603 if i == 34 { return 476 }
1604 if i == 35 { return 438 }
1605 if i == 36 { return 485 }
1606 if i == 37 { return 450 }
1607 if i == 38 { return 496 }
1608 if i == 39 { return 462 }
1609 if i == 40 { return 506 }
1610 if i == 41 { return 474 }
1611 if i == 42 { return 517 }
1612 if i == 43 { return 486 }
1613 if i == 44 { return 527 }
1614 if i == 45 { return 498 }
1615 if i == 46 { return 538 }
1616 if i == 47 { return 510 }
1617 if i == 48 { return 549 }
1618 if i == 49 { return 523 }
1619 if i == 50 { return 560 }
1620 if i == 51 { return 535 }
1621 if i == 52 { return 570 }
1622 if i == 53 { return 547 }
1623 if i == 54 { return 581 }
1624 if i == 55 { return 559 }
1625 if i == 56 { return 592 }
1626 if i == 57 { return 571 }
1627 if i == 58 { return 603 }
1628 if i == 59 { return 583 }
1629 if i == 60 { return 613 }
1630 if i == 61 { return 595 }
1631 if i == 62 { return 624 }
1632 if i == 63 { return 607 }
1633 if i == 64 { return 636 }
1634 if i == 65 { return 620 }
1635 if i == 66 { return 647 }
1636 if i == 67 { return 632 }
1637 if i == 68 { return 658 }
1638 if i == 69 { return 644 }
1639 if i == 70 { return 669 }
1640 if i == 71 { return 656 }
1641 if i == 72 { return 681 }
1642 if i == 73 { return 668 }
1643 if i == 74 { return 692 }
1644 if i == 75 { return 680 }
1645 if i == 76 { return 703 }
1646 if i == 77 { return 692 }
1647 if i == 78 { return 714 }
1648 if i == 79 { return 704 }
1649 if i == 80 { return 726 }
1650 if i == 81 { return 717 }
1651 if i == 82 { return 737 }
1652 if i == 83 { return 729 }
1653 if i == 84 { return 749 }
1654 if i == 85 { return 741 }
1655 if i == 86 { return 761 }
1656 if i == 87 { return 753 }
1657 if i == 88 { return 773 }
1658 if i == 89 { return 765 }
1659 if i == 90 { return 784 }
1660 if i == 91 { return 777 }
1661 if i == 92 { return 795 }
1662 if i == 93 { return 789 }
1663 if i == 94 { return 806 }
1664 if i == 95 { return 801 }
1665 if i == 96 { return 819 }
1666 if i == 97 { return 814 }
1667 if i == 98 { return 830 }
1668 if i == 99 { return 826 }
1669 if i == 100 { return 842 }
1670 if i == 101 { return 838 }
1671 if i == 102 { return 855 }
1672 if i == 103 { return 850 }
1673 if i == 104 { return 866 }
1674 if i == 105 { return 862 }
1675 if i == 106 { return 878 }
1676 if i == 107 { return 874 }
1677 if i == 108 { return 890 }
1678 if i == 109 { return 886 }
1679 if i == 110 { return 902 }
1680 if i == 111 { return 898 }
1681 if i == 112 { return 915 }
1682 if i == 113 { return 911 }
1683 if i == 114 { return 927 }
1684 if i == 115 { return 923 }
1685 if i == 116 { return 938 }
1686 if i == 117 { return 935 }
1687 if i == 118 { return 951 }
1688 if i == 119 { return 947 }
1689 if i == 120 { return 963 }
1690 if i == 121 { return 959 }
1691 if i == 122 { return 974 }
1692 if i == 123 { return 971 }
1693 if i == 124 { return 986 }
1694 if i == 125 { return 983 }
1695 if i == 126 { return 998 }
1696 if i == 127 { return 995 }
1697 if i == 128 { return 1011 }
1698 if i == 129 { return 1008 }
1699 if i == 130 { return 1023 }
1700 if i == 131 { return 1020 }
1701 if i == 132 { return 1035 }
1702 if i == 133 { return 1032 }
1703 if i == 134 { return 1047 }
1704 if i == 135 { return 1044 }
1705 if i == 136 { return 1059 }
1706 if i == 137 { return 1056 }
1707 if i == 138 { return 1071 }
1708 if i == 139 { return 1068 }
1709 if i == 140 { return 1083 }
1710 if i == 141 { return 1080 }
1711 if i == 142 { return 1095 }
1712 if i == 143 { return 1092 }
1713 if i == 144 { return 1107 }
1714 if i == 145 { return 1105 }
1715 if i == 146 { return 1118 }
1716 if i == 147 { return 1117 }
1717 if i == 148 { return 1131 }
1718 if i == 149 { return 1129 }
1719 if i == 150 { return 1142 }
1720 if i == 151 { return 1141 }
1721 if i == 152 { return 1154 }
1722 if i == 153 { return 1153 }
1723 if i == 154 { return 1166 }
1724 if i == 155 { return 1165 }
1725 if i == 156 { return 1177 }
1726 if i == 157 { return 1177 }
1727 if i == 158 { return 1190 }
1728 if i == 159 { return 1189 }
1729 if i == 160 { return 1202 }
1730 if i == 161 { return 1202 }
1731 if i == 162 { return 1215 }
1732 if i == 163 { return 1214 }
1733 if i == 164 { return 1226 }
1734 if i == 165 { return 1226 }
1735 if i == 166 { return 1239 }
1736 if i == 167 { return 1238 }
1737 if i == 168 { return 1251 }
1738 if i == 169 { return 1250 }
1739 if i == 170 { return 1262 }
1740 if i == 171 { return 1262 }
1741 if i == 172 { return 1273 }
1742 if i == 173 { return 1274 }
1743 if i == 174 { return 1284 }
1744 if i == 175 { return 1286 }
1745 if i == 176 { return 1298 }
1746 if i == 177 { return 1299 }
1747 if i == 178 { return 1311 }
1748 if i == 179 { return 1311 }
1749 if i == 180 { return 1322 }
1750 if i == 181 { return 1323 }
1751 if i == 182 { return 1335 }
1752 if i == 183 { return 1335 }
1753 if i == 184 { return 1347 }
1754 if i == 185 { return 1347 }
1755 if i == 186 { return 1359 }
1756 if i == 187 { return 1359 }
1757 if i == 188 { return 1371 }
1758 if i == 189 { return 1371 }
1759 if i == 190 { return 1384 }
1760 if i == 191 { return 1383 }
1761 if i == 192 { return 1398 }
1762 if i == 193 { return 1396 }
1763 if i == 194 { return 1410 }
1764 if i == 195 { return 1408 }
1765 if i == 196 { return 1422 }
1766 if i == 197 { return 1420 }
1767 if i == 198 { return 1434 }
1768 if i == 199 { return 1432 }
1769 if i == 200 { return 1445 }
1770 if i == 201 { return 1444 }
1771 if i == 202 { return 1458 }
1772 if i == 203 { return 1456 }
1773 if i == 204 { return 1470 }
1774 if i == 205 { return 1468 }
1775 if i == 206 { return 1482 }
1776 if i == 207 { return 1480 }
1777 if i == 208 { return 1495 }
1778 if i == 209 { return 1493 }
1779 if i == 210 { return 1507 }
1780 if i == 211 { return 1505 }
1781 if i == 212 { return 1519 }
1782 if i == 213 { return 1517 }
1783 if i == 214 { return 1531 }
1784 if i == 215 { return 1529 }
1785 if i == 216 { return 1543 }
1786 if i == 217 { return 1541 }
1787 if i == 218 { return 1555 }
1788 if i == 219 { return 1553 }
1789 if i == 220 { return 1567 }
1790 if i == 221 { return 1565 }
1791 if i == 222 { return 1580 }
1792 if i == 223 { return 1577 }
1793 if i == 224 { return 1593 }
1794 if i == 225 { return 1590 }
1795 if i == 226 { return 1605 }
1796 if i == 227 { return 1602 }
1797 if i == 228 { return 1617 }
1798 if i == 229 { return 1614 }
1799 if i == 230 { return 1628 }
1800 if i == 231 { return 1626 }
1801 if i == 232 { return 1640 }
1802 if i == 233 { return 1638 }
1803 if i == 234 { return 1652 }
1804 if i == 235 { return 1650 }
1805 if i == 236 { return 1664 }
1806 if i == 237 { return 1662 }
1807 if i == 238 { return 1677 }
1808 if i == 239 { return 1674 }
1809 if i == 240 { return 1691 }
1810 if i == 241 { return 1687 }
1811 if i == 242 { return 1703 }
1812 if i == 243 { return 1699 }
1813 if i == 244 { return 1715 }
1814 if i == 245 { return 1711 }
1815 if i == 246 { return 1728 }
1816 if i == 247 { return 1723 }
1817 if i == 248 { return 1739 }
1818 if i == 249 { return 1735 }
1819 if i == 250 { return 1751 }
1820 if i == 251 { return 1747 }
1821 if i == 252 { return 1765 }
1822 if i == 253 { return 1759 }
1823 if i == 254 { return 1777 }
1824 if i == 255 { return 1771 }
1825 if i == 256 { return 1789 }
1826 if i == 257 { return 1784 }
1827 if i == 258 { return 1802 }
1828 if i == 259 { return 1796 }
1829 if i == 260 { return 1814 }
1830 if i == 261 { return 1808 }
1831 if i == 262 { return 1826 }
1832 if i == 263 { return 1820 }
1833 if i == 264 { return 1838 }
1834 if i == 265 { return 1832 }
1835 if i == 266 { return 1850 }
1836 if i == 267 { return 1844 }
1837 if i == 268 { return 1863 }
1838 if i == 269 { return 1856 }
1839 if i == 270 { return 1875 }
1840 if i == 271 { return 1868 }
1841 if i == 272 { return 1888 }
1842 if i == 273 { return 1881 }
1843 if i == 274 { return 1901 }
1844 if i == 275 { return 1893 }
1845 if i == 276 { return 1913 }
1846 if i == 277 { return 1905 }
1847 if i == 278 { return 1924 }
1848 if i == 279 { return 1917 }
1849 if i == 280 { return 1936 }
1850 if i == 281 { return 1929 }
1851 if i == 282 { return 1948 }
1852 if i == 283 { return 1941 }
1853 if i == 284 { return 1960 }
1854 if i == 285 { return 1953 }
1855 if i == 286 { return 1972 }
1856 if i == 287 { return 1965 }
1857 if i == 288 { return 1985 }
1858 if i == 289 { return 1978 }
1859 if i == 290 { return 1997 }
1860 if i == 291 { return 1990 }
1861 if i == 292 { return 2009 }
1862 if i == 293 { return 2002 }
1863 if i == 294 { return 2020 }
1864 if i == 295 { return 2014 }
1865 if i == 296 { return 2033 }
1866 if i == 297 { return 2026 }
1867 if i == 298 { return 2045 }
1868 if i == 299 { return 2038 }
1869 if i == 300 { return 2057 }
1870 if i == 301 { return 2050 }
1871 if i == 302 { return 2069 }
1872 if i == 303 { return 2062 }
1873 if i == 304 { return 2083 }
1874 if i == 305 { return 2075 }
1875 if i == 306 { return 2095 }
1876 if i == 307 { return 2087 }
1877 if i == 308 { return 2108 }
1878 if i == 309 { return 2099 }
1879 if i == 310 { return 2119 }
1880 if i == 311 { return 2111 }
1881 if i == 312 { return 2131 }
1882 if i == 313 { return 2123 }
1883 if i == 314 { return 2142 }
1884 if i == 315 { return 2135 }
1885 if i == 316 { return 2153 }
1886 if i == 317 { return 2147 }
1887 if i == 318 { return 2166 }
1888 if i == 319 { return 2159 }
1889 if i == 320 { return 2179 }
1890 if i == 321 { return 2172 }
1891 if i == 322 { return 2191 }
1892 if i == 323 { return 2184 }
1893 if i == 324 { return 2203 }
1894 if i == 325 { return 2196 }
1895 if i == 326 { return 2217 }
1896 if i == 327 { return 2208 }
1897 if i == 328 { return 2229 }
1898 if i == 329 { return 2220 }
1899 if i == 330 { return 2241 }
1900 if i == 331 { return 2232 }
1901 if i == 332 { return 2253 }
1902 if i == 333 { return 2244 }
1903 if i == 334 { return 2266 }
1904 if i == 335 { return 2256 }
1905 if i == 336 { return 2279 }
1906 if i == 337 { return 2269 }
1907 if i == 338 { return 2291 }
1908 if i == 339 { return 2281 }
1909 if i == 340 { return 2303 }
1910 if i == 341 { return 2293 }
1911 if i == 342 { return 2314 }
1912 if i == 343 { return 2305 }
1913 if i == 344 { return 2327 }
1914 if i == 345 { return 2317 }
1915 if i == 346 { return 2338 }
1916 if i == 347 { return 2329 }
1917 if i == 348 { return 2350 }
1918 if i == 349 { return 2341 }
1919 if i == 350 { return 2361 }
1920 if i == 351 { return 2353 }
1921 if i == 352 { return 2373 }
1922 if i == 353 { return 2366 }
1923 if i == 354 { return 2386 }
1924 if i == 355 { return 2378 }
1925 if i == 356 { return 2397 }
1926 if i == 357 { return 2390 }
1927 if i == 358 { return 2409 }
1928 if i == 359 { return 2402 }
1929 if i == 360 { return 2421 }
1930 if i == 361 { return 2414 }
1931 if i == 362 { return 2432 }
1932 if i == 363 { return 2426 }
1933 if i == 364 { return 2445 }
1934 if i == 365 { return 2438 }
1935 if i == 366 { return 2457 }
1936 if i == 367 { return 2450 }
1937 if i == 368 { return 2470 }
1938 if i == 369 { return 2463 }
1939 if i == 370 { return 2482 }
1940 if i == 371 { return 2475 }
1941 if i == 372 { return 2494 }
1942 if i == 373 { return 2487 }
1943 if i == 374 { return 2506 }
1944 if i == 375 { return 2499 }
1945 if i == 376 { return 2518 }
1946 if i == 377 { return 2511 }
1947 if i == 378 { return 2531 }
1948 if i == 379 { return 2523 }
1949 if i == 380 { return 2545 }
1950 if i == 381 { return 2535 }
1951 if i == 382 { return 2557 }
1952 if i == 383 { return 2547 }
1953 return -1
1954}
1955
1956// lg_k=9 m=512 threshold=400 upper=5120 n_samples=192
1957const NX_HLL_BIAS_LGK9_N: i64 = 192
1958func nx_hll_bias_lgk9(i: i64) -> i64 {
1959 if i == 0 { return 611 }
1960 if i == 1 { return 424 }
1961 if i == 2 { return 628 }
1962 if i == 3 { return 448 }
1963 if i == 4 { return 645 }
1964 if i == 5 { return 473 }
1965 if i == 6 { return 661 }
1966 if i == 7 { return 497 }
1967 if i == 8 { return 679 }
1968 if i == 9 { return 522 }
1969 if i == 10 { return 696 }
1970 if i == 11 { return 546 }
1971 if i == 12 { return 714 }
1972 if i == 13 { return 571 }
1973 if i == 14 { return 732 }
1974 if i == 15 { return 595 }
1975 if i == 16 { return 750 }
1976 if i == 17 { return 620 }
1977 if i == 18 { return 768 }
1978 if i == 19 { return 644 }
1979 if i == 20 { return 787 }
1980 if i == 21 { return 669 }
1981 if i == 22 { return 806 }
1982 if i == 23 { return 693 }
1983 if i == 24 { return 825 }
1984 if i == 25 { return 717 }
1985 if i == 26 { return 845 }
1986 if i == 27 { return 742 }
1987 if i == 28 { return 864 }
1988 if i == 29 { return 766 }
1989 if i == 30 { return 883 }
1990 if i == 31 { return 791 }
1991 if i == 32 { return 903 }
1992 if i == 33 { return 815 }
1993 if i == 34 { return 923 }
1994 if i == 35 { return 840 }
1995 if i == 36 { return 943 }
1996 if i == 37 { return 864 }
1997 if i == 38 { return 964 }
1998 if i == 39 { return 889 }
1999 if i == 40 { return 985 }
2000 if i == 41 { return 913 }
2001 if i == 42 { return 1007 }
2002 if i == 43 { return 938 }
2003 if i == 44 { return 1028 }
2004 if i == 45 { return 962 }
2005 if i == 46 { return 1048 }
2006 if i == 47 { return 986 }
2007 if i == 48 { return 1070 }
2008 if i == 49 { return 1011 }
2009 if i == 50 { return 1091 }
2010 if i == 51 { return 1035 }
2011 if i == 52 { return 1113 }
2012 if i == 53 { return 1060 }
2013 if i == 54 { return 1134 }
2014 if i == 55 { return 1084 }
2015 if i == 56 { return 1157 }
2016 if i == 57 { return 1109 }
2017 if i == 58 { return 1178 }
2018 if i == 59 { return 1133 }
2019 if i == 60 { return 1200 }
2020 if i == 61 { return 1158 }
2021 if i == 62 { return 1222 }
2022 if i == 63 { return 1182 }
2023 if i == 64 { return 1244 }
2024 if i == 65 { return 1207 }
2025 if i == 66 { return 1266 }
2026 if i == 67 { return 1231 }
2027 if i == 68 { return 1288 }
2028 if i == 69 { return 1255 }
2029 if i == 70 { return 1310 }
2030 if i == 71 { return 1280 }
2031 if i == 72 { return 1334 }
2032 if i == 73 { return 1304 }
2033 if i == 74 { return 1357 }
2034 if i == 75 { return 1329 }
2035 if i == 76 { return 1379 }
2036 if i == 77 { return 1353 }
2037 if i == 78 { return 1403 }
2038 if i == 79 { return 1378 }
2039 if i == 80 { return 1427 }
2040 if i == 81 { return 1402 }
2041 if i == 82 { return 1450 }
2042 if i == 83 { return 1427 }
2043 if i == 84 { return 1472 }
2044 if i == 85 { return 1451 }
2045 if i == 86 { return 1496 }
2046 if i == 87 { return 1476 }
2047 if i == 88 { return 1519 }
2048 if i == 89 { return 1500 }
2049 if i == 90 { return 1542 }
2050 if i == 91 { return 1524 }
2051 if i == 92 { return 1566 }
2052 if i == 93 { return 1549 }
2053 if i == 94 { return 1589 }
2054 if i == 95 { return 1573 }
2055 if i == 96 { return 1614 }
2056 if i == 97 { return 1598 }
2057 if i == 98 { return 1637 }
2058 if i == 99 { return 1622 }
2059 if i == 100 { return 1661 }
2060 if i == 101 { return 1647 }
2061 if i == 102 { return 1684 }
2062 if i == 103 { return 1671 }
2063 if i == 104 { return 1709 }
2064 if i == 105 { return 1696 }
2065 if i == 106 { return 1733 }
2066 if i == 107 { return 1720 }
2067 if i == 108 { return 1757 }
2068 if i == 109 { return 1745 }
2069 if i == 110 { return 1781 }
2070 if i == 111 { return 1769 }
2071 if i == 112 { return 1804 }
2072 if i == 113 { return 1793 }
2073 if i == 114 { return 1829 }
2074 if i == 115 { return 1818 }
2075 if i == 116 { return 1853 }
2076 if i == 117 { return 1842 }
2077 if i == 118 { return 1877 }
2078 if i == 119 { return 1867 }
2079 if i == 120 { return 1901 }
2080 if i == 121 { return 1891 }
2081 if i == 122 { return 1926 }
2082 if i == 123 { return 1916 }
2083 if i == 124 { return 1949 }
2084 if i == 125 { return 1940 }
2085 if i == 126 { return 1974 }
2086 if i == 127 { return 1965 }
2087 if i == 128 { return 1998 }
2088 if i == 129 { return 1989 }
2089 if i == 130 { return 2023 }
2090 if i == 131 { return 2014 }
2091 if i == 132 { return 2046 }
2092 if i == 133 { return 2038 }
2093 if i == 134 { return 2071 }
2094 if i == 135 { return 2063 }
2095 if i == 136 { return 2095 }
2096 if i == 137 { return 2087 }
2097 if i == 138 { return 2119 }
2098 if i == 139 { return 2111 }
2099 if i == 140 { return 2144 }
2100 if i == 141 { return 2136 }
2101 if i == 142 { return 2168 }
2102 if i == 143 { return 2160 }
2103 if i == 144 { return 2193 }
2104 if i == 145 { return 2185 }
2105 if i == 146 { return 2217 }
2106 if i == 147 { return 2209 }
2107 if i == 148 { return 2242 }
2108 if i == 149 { return 2234 }
2109 if i == 150 { return 2266 }
2110 if i == 151 { return 2258 }
2111 if i == 152 { return 2292 }
2112 if i == 153 { return 2283 }
2113 if i == 154 { return 2316 }
2114 if i == 155 { return 2307 }
2115 if i == 156 { return 2340 }
2116 if i == 157 { return 2332 }
2117 if i == 158 { return 2364 }
2118 if i == 159 { return 2356 }
2119 if i == 160 { return 2388 }
2120 if i == 161 { return 2380 }
2121 if i == 162 { return 2413 }
2122 if i == 163 { return 2405 }
2123 if i == 164 { return 2437 }
2124 if i == 165 { return 2429 }
2125 if i == 166 { return 2462 }
2126 if i == 167 { return 2454 }
2127 if i == 168 { return 2487 }
2128 if i == 169 { return 2478 }
2129 if i == 170 { return 2511 }
2130 if i == 171 { return 2503 }
2131 if i == 172 { return 2537 }
2132 if i == 173 { return 2527 }
2133 if i == 174 { return 2562 }
2134 if i == 175 { return 2552 }
2135 if i == 176 { return 2586 }
2136 if i == 177 { return 2576 }
2137 if i == 178 { return 2610 }
2138 if i == 179 { return 2601 }
2139 if i == 180 { return 2634 }
2140 if i == 181 { return 2625 }
2141 if i == 182 { return 2658 }
2142 if i == 183 { return 2649 }
2143 if i == 184 { return 2684 }
2144 if i == 185 { return 2674 }
2145 if i == 186 { return 2708 }
2146 if i == 187 { return 2698 }
2147 if i == 188 { return 2733 }
2148 if i == 189 { return 2723 }
2149 if i == 190 { return 2757 }
2150 if i == 191 { return 2747 }
2151 if i == 192 { return 2783 }
2152 if i == 193 { return 2772 }
2153 if i == 194 { return 2805 }
2154 if i == 195 { return 2796 }
2155 if i == 196 { return 2830 }
2156 if i == 197 { return 2821 }
2157 if i == 198 { return 2855 }
2158 if i == 199 { return 2845 }
2159 if i == 200 { return 2880 }
2160 if i == 201 { return 2870 }
2161 if i == 202 { return 2905 }
2162 if i == 203 { return 2894 }
2163 if i == 204 { return 2930 }
2164 if i == 205 { return 2918 }
2165 if i == 206 { return 2955 }
2166 if i == 207 { return 2943 }
2167 if i == 208 { return 2979 }
2168 if i == 209 { return 2967 }
2169 if i == 210 { return 3005 }
2170 if i == 211 { return 2992 }
2171 if i == 212 { return 3028 }
2172 if i == 213 { return 3016 }
2173 if i == 214 { return 3054 }
2174 if i == 215 { return 3041 }
2175 if i == 216 { return 3078 }
2176 if i == 217 { return 3065 }
2177 if i == 218 { return 3103 }
2178 if i == 219 { return 3090 }
2179 if i == 220 { return 3128 }
2180 if i == 221 { return 3114 }
2181 if i == 222 { return 3152 }
2182 if i == 223 { return 3139 }
2183 if i == 224 { return 3175 }
2184 if i == 225 { return 3163 }
2185 if i == 226 { return 3199 }
2186 if i == 227 { return 3187 }
2187 if i == 228 { return 3223 }
2188 if i == 229 { return 3212 }
2189 if i == 230 { return 3247 }
2190 if i == 231 { return 3236 }
2191 if i == 232 { return 3271 }
2192 if i == 233 { return 3261 }
2193 if i == 234 { return 3296 }
2194 if i == 235 { return 3285 }
2195 if i == 236 { return 3320 }
2196 if i == 237 { return 3310 }
2197 if i == 238 { return 3345 }
2198 if i == 239 { return 3334 }
2199 if i == 240 { return 3369 }
2200 if i == 241 { return 3359 }
2201 if i == 242 { return 3393 }
2202 if i == 243 { return 3383 }
2203 if i == 244 { return 3418 }
2204 if i == 245 { return 3408 }
2205 if i == 246 { return 3442 }
2206 if i == 247 { return 3432 }
2207 if i == 248 { return 3467 }
2208 if i == 249 { return 3456 }
2209 if i == 250 { return 3491 }
2210 if i == 251 { return 3481 }
2211 if i == 252 { return 3515 }
2212 if i == 253 { return 3505 }
2213 if i == 254 { return 3541 }
2214 if i == 255 { return 3530 }
2215 if i == 256 { return 3565 }
2216 if i == 257 { return 3554 }
2217 if i == 258 { return 3590 }
2218 if i == 259 { return 3579 }
2219 if i == 260 { return 3614 }
2220 if i == 261 { return 3603 }
2221 if i == 262 { return 3639 }
2222 if i == 263 { return 3628 }
2223 if i == 264 { return 3663 }
2224 if i == 265 { return 3652 }
2225 if i == 266 { return 3686 }
2226 if i == 267 { return 3677 }
2227 if i == 268 { return 3710 }
2228 if i == 269 { return 3701 }
2229 if i == 270 { return 3736 }
2230 if i == 271 { return 3726 }
2231 if i == 272 { return 3759 }
2232 if i == 273 { return 3750 }
2233 if i == 274 { return 3784 }
2234 if i == 275 { return 3774 }
2235 if i == 276 { return 3809 }
2236 if i == 277 { return 3799 }
2237 if i == 278 { return 3832 }
2238 if i == 279 { return 3823 }
2239 if i == 280 { return 3857 }
2240 if i == 281 { return 3848 }
2241 if i == 282 { return 3881 }
2242 if i == 283 { return 3872 }
2243 if i == 284 { return 3906 }
2244 if i == 285 { return 3897 }
2245 if i == 286 { return 3929 }
2246 if i == 287 { return 3921 }
2247 if i == 288 { return 3955 }
2248 if i == 289 { return 3946 }
2249 if i == 290 { return 3980 }
2250 if i == 291 { return 3970 }
2251 if i == 292 { return 4003 }
2252 if i == 293 { return 3995 }
2253 if i == 294 { return 4027 }
2254 if i == 295 { return 4019 }
2255 if i == 296 { return 4051 }
2256 if i == 297 { return 4043 }
2257 if i == 298 { return 4077 }
2258 if i == 299 { return 4068 }
2259 if i == 300 { return 4100 }
2260 if i == 301 { return 4092 }
2261 if i == 302 { return 4126 }
2262 if i == 303 { return 4117 }
2263 if i == 304 { return 4151 }
2264 if i == 305 { return 4141 }
2265 if i == 306 { return 4175 }
2266 if i == 307 { return 4166 }
2267 if i == 308 { return 4199 }
2268 if i == 309 { return 4190 }
2269 if i == 310 { return 4225 }
2270 if i == 311 { return 4215 }
2271 if i == 312 { return 4249 }
2272 if i == 313 { return 4239 }
2273 if i == 314 { return 4273 }
2274 if i == 315 { return 4264 }
2275 if i == 316 { return 4298 }
2276 if i == 317 { return 4288 }
2277 if i == 318 { return 4321 }
2278 if i == 319 { return 4312 }
2279 if i == 320 { return 4345 }
2280 if i == 321 { return 4337 }
2281 if i == 322 { return 4371 }
2282 if i == 323 { return 4361 }
2283 if i == 324 { return 4395 }
2284 if i == 325 { return 4386 }
2285 if i == 326 { return 4419 }
2286 if i == 327 { return 4410 }
2287 if i == 328 { return 4445 }
2288 if i == 329 { return 4435 }
2289 if i == 330 { return 4470 }
2290 if i == 331 { return 4459 }
2291 if i == 332 { return 4497 }
2292 if i == 333 { return 4484 }
2293 if i == 334 { return 4519 }
2294 if i == 335 { return 4508 }
2295 if i == 336 { return 4544 }
2296 if i == 337 { return 4533 }
2297 if i == 338 { return 4568 }
2298 if i == 339 { return 4557 }
2299 if i == 340 { return 4591 }
2300 if i == 341 { return 4581 }
2301 if i == 342 { return 4616 }
2302 if i == 343 { return 4606 }
2303 if i == 344 { return 4640 }
2304 if i == 345 { return 4630 }
2305 if i == 346 { return 4665 }
2306 if i == 347 { return 4655 }
2307 if i == 348 { return 4690 }
2308 if i == 349 { return 4679 }
2309 if i == 350 { return 4714 }
2310 if i == 351 { return 4704 }
2311 if i == 352 { return 4738 }
2312 if i == 353 { return 4728 }
2313 if i == 354 { return 4764 }
2314 if i == 355 { return 4753 }
2315 if i == 356 { return 4788 }
2316 if i == 357 { return 4777 }
2317 if i == 358 { return 4812 }
2318 if i == 359 { return 4802 }
2319 if i == 360 { return 4837 }
2320 if i == 361 { return 4826 }
2321 if i == 362 { return 4861 }
2322 if i == 363 { return 4850 }
2323 if i == 364 { return 4886 }
2324 if i == 365 { return 4875 }
2325 if i == 366 { return 4909 }
2326 if i == 367 { return 4899 }
2327 if i == 368 { return 4934 }
2328 if i == 369 { return 4924 }
2329 if i == 370 { return 4957 }
2330 if i == 371 { return 4948 }
2331 if i == 372 { return 4984 }
2332 if i == 373 { return 4973 }
2333 if i == 374 { return 5009 }
2334 if i == 375 { return 4997 }
2335 if i == 376 { return 5033 }
2336 if i == 377 { return 5022 }
2337 if i == 378 { return 5058 }
2338 if i == 379 { return 5046 }
2339 if i == 380 { return 5084 }
2340 if i == 381 { return 5071 }
2341 if i == 382 { return 5108 }
2342 if i == 383 { return 5095 }
2343 return -1
2344}
2345
2346// lg_k=10 m=1024 threshold=900 upper=10240 n_samples=192
2347const NX_HLL_BIAS_LGK10_N: i64 = 192
2348func nx_hll_bias_lgk10(i: i64) -> i64 {
2349 if i == 0 { return 1293 }
2350 if i == 1 { return 948 }
2351 if i == 2 { return 1327 }
2352 if i == 3 { return 996 }
2353 if i == 4 { return 1361 }
2354 if i == 5 { return 1045 }
2355 if i == 6 { return 1395 }
2356 if i == 7 { return 1093 }
2357 if i == 8 { return 1430 }
2358 if i == 9 { return 1141 }
2359 if i == 10 { return 1466 }
2360 if i == 11 { return 1190 }
2361 if i == 12 { return 1501 }
2362 if i == 13 { return 1238 }
2363 if i == 14 { return 1537 }
2364 if i == 15 { return 1287 }
2365 if i == 16 { return 1574 }
2366 if i == 17 { return 1335 }
2367 if i == 18 { return 1612 }
2368 if i == 19 { return 1383 }
2369 if i == 20 { return 1650 }
2370 if i == 21 { return 1432 }
2371 if i == 22 { return 1687 }
2372 if i == 23 { return 1480 }
2373 if i == 24 { return 1726 }
2374 if i == 25 { return 1529 }
2375 if i == 26 { return 1764 }
2376 if i == 27 { return 1577 }
2377 if i == 28 { return 1803 }
2378 if i == 29 { return 1625 }
2379 if i == 30 { return 1843 }
2380 if i == 31 { return 1674 }
2381 if i == 32 { return 1883 }
2382 if i == 33 { return 1722 }
2383 if i == 34 { return 1924 }
2384 if i == 35 { return 1771 }
2385 if i == 36 { return 1965 }
2386 if i == 37 { return 1819 }
2387 if i == 38 { return 2005 }
2388 if i == 39 { return 1867 }
2389 if i == 40 { return 2048 }
2390 if i == 41 { return 1916 }
2391 if i == 42 { return 2089 }
2392 if i == 43 { return 1964 }
2393 if i == 44 { return 2131 }
2394 if i == 45 { return 2013 }
2395 if i == 46 { return 2174 }
2396 if i == 47 { return 2061 }
2397 if i == 48 { return 2216 }
2398 if i == 49 { return 2109 }
2399 if i == 50 { return 2260 }
2400 if i == 51 { return 2158 }
2401 if i == 52 { return 2302 }
2402 if i == 53 { return 2206 }
2403 if i == 54 { return 2346 }
2404 if i == 55 { return 2255 }
2405 if i == 56 { return 2390 }
2406 if i == 57 { return 2303 }
2407 if i == 58 { return 2433 }
2408 if i == 59 { return 2351 }
2409 if i == 60 { return 2477 }
2410 if i == 61 { return 2400 }
2411 if i == 62 { return 2521 }
2412 if i == 63 { return 2448 }
2413 if i == 64 { return 2566 }
2414 if i == 65 { return 2496 }
2415 if i == 66 { return 2611 }
2416 if i == 67 { return 2545 }
2417 if i == 68 { return 2655 }
2418 if i == 69 { return 2593 }
2419 if i == 70 { return 2700 }
2420 if i == 71 { return 2642 }
2421 if i == 72 { return 2746 }
2422 if i == 73 { return 2690 }
2423 if i == 74 { return 2790 }
2424 if i == 75 { return 2738 }
2425 if i == 76 { return 2837 }
2426 if i == 77 { return 2787 }
2427 if i == 78 { return 2882 }
2428 if i == 79 { return 2835 }
2429 if i == 80 { return 2929 }
2430 if i == 81 { return 2884 }
2431 if i == 82 { return 2974 }
2432 if i == 83 { return 2932 }
2433 if i == 84 { return 3021 }
2434 if i == 85 { return 2980 }
2435 if i == 86 { return 3068 }
2436 if i == 87 { return 3029 }
2437 if i == 88 { return 3114 }
2438 if i == 89 { return 3077 }
2439 if i == 90 { return 3160 }
2440 if i == 91 { return 3126 }
2441 if i == 92 { return 3206 }
2442 if i == 93 { return 3174 }
2443 if i == 94 { return 3252 }
2444 if i == 95 { return 3222 }
2445 if i == 96 { return 3298 }
2446 if i == 97 { return 3271 }
2447 if i == 98 { return 3345 }
2448 if i == 99 { return 3319 }
2449 if i == 100 { return 3394 }
2450 if i == 101 { return 3368 }
2451 if i == 102 { return 3440 }
2452 if i == 103 { return 3416 }
2453 if i == 104 { return 3486 }
2454 if i == 105 { return 3464 }
2455 if i == 106 { return 3534 }
2456 if i == 107 { return 3513 }
2457 if i == 108 { return 3581 }
2458 if i == 109 { return 3561 }
2459 if i == 110 { return 3630 }
2460 if i == 111 { return 3610 }
2461 if i == 112 { return 3676 }
2462 if i == 113 { return 3658 }
2463 if i == 114 { return 3722 }
2464 if i == 115 { return 3706 }
2465 if i == 116 { return 3770 }
2466 if i == 117 { return 3755 }
2467 if i == 118 { return 3817 }
2468 if i == 119 { return 3803 }
2469 if i == 120 { return 3866 }
2470 if i == 121 { return 3852 }
2471 if i == 122 { return 3913 }
2472 if i == 123 { return 3900 }
2473 if i == 124 { return 3962 }
2474 if i == 125 { return 3948 }
2475 if i == 126 { return 4009 }
2476 if i == 127 { return 3997 }
2477 if i == 128 { return 4057 }
2478 if i == 129 { return 4045 }
2479 if i == 130 { return 4104 }
2480 if i == 131 { return 4093 }
2481 if i == 132 { return 4154 }
2482 if i == 133 { return 4142 }
2483 if i == 134 { return 4202 }
2484 if i == 135 { return 4190 }
2485 if i == 136 { return 4252 }
2486 if i == 137 { return 4239 }
2487 if i == 138 { return 4297 }
2488 if i == 139 { return 4287 }
2489 if i == 140 { return 4344 }
2490 if i == 141 { return 4335 }
2491 if i == 142 { return 4394 }
2492 if i == 143 { return 4384 }
2493 if i == 144 { return 4443 }
2494 if i == 145 { return 4432 }
2495 if i == 146 { return 4493 }
2496 if i == 147 { return 4481 }
2497 if i == 148 { return 4540 }
2498 if i == 149 { return 4529 }
2499 if i == 150 { return 4588 }
2500 if i == 151 { return 4577 }
2501 if i == 152 { return 4636 }
2502 if i == 153 { return 4626 }
2503 if i == 154 { return 4685 }
2504 if i == 155 { return 4674 }
2505 if i == 156 { return 4734 }
2506 if i == 157 { return 4723 }
2507 if i == 158 { return 4782 }
2508 if i == 159 { return 4771 }
2509 if i == 160 { return 4830 }
2510 if i == 161 { return 4819 }
2511 if i == 162 { return 4879 }
2512 if i == 163 { return 4868 }
2513 if i == 164 { return 4927 }
2514 if i == 165 { return 4916 }
2515 if i == 166 { return 4977 }
2516 if i == 167 { return 4965 }
2517 if i == 168 { return 5026 }
2518 if i == 169 { return 5013 }
2519 if i == 170 { return 5076 }
2520 if i == 171 { return 5061 }
2521 if i == 172 { return 5125 }
2522 if i == 173 { return 5110 }
2523 if i == 174 { return 5172 }
2524 if i == 175 { return 5158 }
2525 if i == 176 { return 5218 }
2526 if i == 177 { return 5207 }
2527 if i == 178 { return 5267 }
2528 if i == 179 { return 5255 }
2529 if i == 180 { return 5315 }
2530 if i == 181 { return 5303 }
2531 if i == 182 { return 5362 }
2532 if i == 183 { return 5352 }
2533 if i == 184 { return 5411 }
2534 if i == 185 { return 5400 }
2535 if i == 186 { return 5461 }
2536 if i == 187 { return 5449 }
2537 if i == 188 { return 5510 }
2538 if i == 189 { return 5497 }
2539 if i == 190 { return 5557 }
2540 if i == 191 { return 5545 }
2541 if i == 192 { return 5605 }
2542 if i == 193 { return 5594 }
2543 if i == 194 { return 5653 }
2544 if i == 195 { return 5642 }
2545 if i == 196 { return 5700 }
2546 if i == 197 { return 5690 }
2547 if i == 198 { return 5749 }
2548 if i == 199 { return 5739 }
2549 if i == 200 { return 5796 }
2550 if i == 201 { return 5787 }
2551 if i == 202 { return 5844 }
2552 if i == 203 { return 5836 }
2553 if i == 204 { return 5891 }
2554 if i == 205 { return 5884 }
2555 if i == 206 { return 5939 }
2556 if i == 207 { return 5932 }
2557 if i == 208 { return 5989 }
2558 if i == 209 { return 5981 }
2559 if i == 210 { return 6037 }
2560 if i == 211 { return 6029 }
2561 if i == 212 { return 6087 }
2562 if i == 213 { return 6078 }
2563 if i == 214 { return 6136 }
2564 if i == 215 { return 6126 }
2565 if i == 216 { return 6183 }
2566 if i == 217 { return 6174 }
2567 if i == 218 { return 6230 }
2568 if i == 219 { return 6223 }
2569 if i == 220 { return 6278 }
2570 if i == 221 { return 6271 }
2571 if i == 222 { return 6326 }
2572 if i == 223 { return 6320 }
2573 if i == 224 { return 6374 }
2574 if i == 225 { return 6368 }
2575 if i == 226 { return 6423 }
2576 if i == 227 { return 6416 }
2577 if i == 228 { return 6471 }
2578 if i == 229 { return 6465 }
2579 if i == 230 { return 6519 }
2580 if i == 231 { return 6513 }
2581 if i == 232 { return 6568 }
2582 if i == 233 { return 6562 }
2583 if i == 234 { return 6616 }
2584 if i == 235 { return 6610 }
2585 if i == 236 { return 6663 }
2586 if i == 237 { return 6658 }
2587 if i == 238 { return 6712 }
2588 if i == 239 { return 6707 }
2589 if i == 240 { return 6761 }
2590 if i == 241 { return 6755 }
2591 if i == 242 { return 6810 }
2592 if i == 243 { return 6804 }
2593 if i == 244 { return 6858 }
2594 if i == 245 { return 6852 }
2595 if i == 246 { return 6906 }
2596 if i == 247 { return 6900 }
2597 if i == 248 { return 6955 }
2598 if i == 249 { return 6949 }
2599 if i == 250 { return 7003 }
2600 if i == 251 { return 6997 }
2601 if i == 252 { return 7053 }
2602 if i == 253 { return 7046 }
2603 if i == 254 { return 7101 }
2604 if i == 255 { return 7094 }
2605 if i == 256 { return 7147 }
2606 if i == 257 { return 7142 }
2607 if i == 258 { return 7197 }
2608 if i == 259 { return 7191 }
2609 if i == 260 { return 7245 }
2610 if i == 261 { return 7239 }
2611 if i == 262 { return 7293 }
2612 if i == 263 { return 7287 }
2613 if i == 264 { return 7342 }
2614 if i == 265 { return 7336 }
2615 if i == 266 { return 7388 }
2616 if i == 267 { return 7384 }
2617 if i == 268 { return 7437 }
2618 if i == 269 { return 7433 }
2619 if i == 270 { return 7484 }
2620 if i == 271 { return 7481 }
2621 if i == 272 { return 7532 }
2622 if i == 273 { return 7529 }
2623 if i == 274 { return 7579 }
2624 if i == 275 { return 7578 }
2625 if i == 276 { return 7629 }
2626 if i == 277 { return 7626 }
2627 if i == 278 { return 7677 }
2628 if i == 279 { return 7675 }
2629 if i == 280 { return 7725 }
2630 if i == 281 { return 7723 }
2631 if i == 282 { return 7775 }
2632 if i == 283 { return 7771 }
2633 if i == 284 { return 7824 }
2634 if i == 285 { return 7820 }
2635 if i == 286 { return 7871 }
2636 if i == 287 { return 7868 }
2637 if i == 288 { return 7920 }
2638 if i == 289 { return 7917 }
2639 if i == 290 { return 7970 }
2640 if i == 291 { return 7965 }
2641 if i == 292 { return 8018 }
2642 if i == 293 { return 8013 }
2643 if i == 294 { return 8067 }
2644 if i == 295 { return 8062 }
2645 if i == 296 { return 8115 }
2646 if i == 297 { return 8110 }
2647 if i == 298 { return 8166 }
2648 if i == 299 { return 8159 }
2649 if i == 300 { return 8216 }
2650 if i == 301 { return 8207 }
2651 if i == 302 { return 8263 }
2652 if i == 303 { return 8255 }
2653 if i == 304 { return 8313 }
2654 if i == 305 { return 8304 }
2655 if i == 306 { return 8359 }
2656 if i == 307 { return 8352 }
2657 if i == 308 { return 8406 }
2658 if i == 309 { return 8401 }
2659 if i == 310 { return 8455 }
2660 if i == 311 { return 8449 }
2661 if i == 312 { return 8505 }
2662 if i == 313 { return 8497 }
2663 if i == 314 { return 8553 }
2664 if i == 315 { return 8546 }
2665 if i == 316 { return 8601 }
2666 if i == 317 { return 8594 }
2667 if i == 318 { return 8652 }
2668 if i == 319 { return 8643 }
2669 if i == 320 { return 8700 }
2670 if i == 321 { return 8691 }
2671 if i == 322 { return 8748 }
2672 if i == 323 { return 8739 }
2673 if i == 324 { return 8796 }
2674 if i == 325 { return 8788 }
2675 if i == 326 { return 8844 }
2676 if i == 327 { return 8836 }
2677 if i == 328 { return 8893 }
2678 if i == 329 { return 8884 }
2679 if i == 330 { return 8944 }
2680 if i == 331 { return 8933 }
2681 if i == 332 { return 8992 }
2682 if i == 333 { return 8981 }
2683 if i == 334 { return 9040 }
2684 if i == 335 { return 9030 }
2685 if i == 336 { return 9087 }
2686 if i == 337 { return 9078 }
2687 if i == 338 { return 9133 }
2688 if i == 339 { return 9126 }
2689 if i == 340 { return 9183 }
2690 if i == 341 { return 9175 }
2691 if i == 342 { return 9230 }
2692 if i == 343 { return 9223 }
2693 if i == 344 { return 9277 }
2694 if i == 345 { return 9272 }
2695 if i == 346 { return 9324 }
2696 if i == 347 { return 9320 }
2697 if i == 348 { return 9374 }
2698 if i == 349 { return 9368 }
2699 if i == 350 { return 9422 }
2700 if i == 351 { return 9417 }
2701 if i == 352 { return 9468 }
2702 if i == 353 { return 9465 }
2703 if i == 354 { return 9517 }
2704 if i == 355 { return 9514 }
2705 if i == 356 { return 9566 }
2706 if i == 357 { return 9562 }
2707 if i == 358 { return 9614 }
2708 if i == 359 { return 9610 }
2709 if i == 360 { return 9662 }
2710 if i == 361 { return 9659 }
2711 if i == 362 { return 9711 }
2712 if i == 363 { return 9707 }
2713 if i == 364 { return 9763 }
2714 if i == 365 { return 9756 }
2715 if i == 366 { return 9813 }
2716 if i == 367 { return 9804 }
2717 if i == 368 { return 9860 }
2718 if i == 369 { return 9852 }
2719 if i == 370 { return 9908 }
2720 if i == 371 { return 9901 }
2721 if i == 372 { return 9954 }
2722 if i == 373 { return 9949 }
2723 if i == 374 { return 10004 }
2724 if i == 375 { return 9998 }
2725 if i == 376 { return 10051 }
2726 if i == 377 { return 10046 }
2727 if i == 378 { return 10099 }
2728 if i == 379 { return 10094 }
2729 if i == 380 { return 10148 }
2730 if i == 381 { return 10143 }
2731 if i == 382 { return 10195 }
2732 if i == 383 { return 10191 }
2733 return -1
2734}
2735