nx_hll_bias_table_ds.nx source
↩ module page · 1869 lines · 137624 B
1// hll_bias_table_ds.nx -- DS Java's canonical CompositeInterpolationXTable
2// values, ported for our HLL bias-correction lookup.
3//
4// genealogy_id: heule_2013 + datasketches
5// lineage_id: heule_bias_table
6//
7// Y formula: Y_i = heule_threshold[lg_k] + stride[lg_k] * i
8// Caller does cubic Lagrange interp using 4 surrounding (X, Y) points.
9//
10// Per-lg_k stride values (from DS yStrides):
11// lg_k=4: stride=1 lg_k=5: stride=2 lg_k=6: stride=3
12// lg_k=7: stride=5 lg_k=8: stride=10 lg_k=9: stride=20
13// lg_k=10: stride=40
14
15// lg_k=4: dsIdx=0, threshold=10, stride=1, n_samples=257
16const NX_HLL_BIAS_DS_LGK4_N: i64 = 257
17const NX_HLL_BIAS_DS_LGK4_STRIDE: i64 = 1
18const NX_HLL_BIAS_DS_LGK4_BASE: i64 = 10
19func nx_hll_bias_ds_x_lgk4(i: i64) -> i64 {
20 if i == 0 { return 10768 } // x[0] = 10.768000, Y = 10
21 if i == 1 { return 11238 } // x[1] = 11.237701, Y = 11
22 if i == 2 { return 11723 } // x[2] = 11.722739, Y = 12
23 if i == 3 { return 12223 } // x[3] = 12.223246, Y = 13
24 if i == 4 { return 12739 } // x[4] = 12.739367, Y = 14
25 if i == 5 { return 13271 } // x[5] = 13.271185, Y = 15
26 if i == 6 { return 13819 } // x[6] = 13.818760, Y = 16
27 if i == 7 { return 14382 } // x[7] = 14.382160, Y = 17
28 if i == 8 { return 14961 } // x[8] = 14.961391, Y = 18
29 if i == 9 { return 15556 } // x[9] = 15.556414, Y = 19
30 if i == 10 { return 16167 } // x[10] = 16.167227, Y = 20
31 if i == 11 { return 16794 } // x[11] = 16.793706, Y = 21
32 if i == 12 { return 17436 } // x[12] = 17.435831, Y = 22
33 if i == 13 { return 18093 } // x[13] = 18.093369, Y = 23
34 if i == 14 { return 18766 } // x[14] = 18.766214, Y = 24
35 if i == 15 { return 19454 } // x[15] = 19.454115, Y = 25
36 if i == 16 { return 20157 } // x[16] = 20.156877, Y = 26
37 if i == 17 { return 20874 } // x[17] = 20.874309, Y = 27
38 if i == 18 { return 21606 } // x[18] = 21.606085, Y = 28
39 if i == 19 { return 22352 } // x[19] = 22.351927, Y = 29
40 if i == 20 { return 23111 } // x[20] = 23.111407, Y = 30
41 if i == 21 { return 23884 } // x[21] = 23.884223, Y = 31
42 if i == 22 { return 24670 } // x[22] = 24.669953, Y = 32
43 if i == 23 { return 25468 } // x[23] = 25.468325, Y = 33
44 if i == 24 { return 26279 } // x[24] = 26.278740, Y = 34
45 if i == 25 { return 27101 } // x[25] = 27.100808, Y = 35
46 if i == 26 { return 27934 } // x[26] = 27.934265, Y = 36
47 if i == 27 { return 28778 } // x[27] = 28.778498, Y = 37
48 if i == 28 { return 29633 } // x[28] = 29.633065, Y = 38
49 if i == 29 { return 30498 } // x[29] = 30.497559, Y = 39
50 if i == 30 { return 31371 } // x[30] = 31.371416, Y = 40
51 if i == 31 { return 32254 } // x[31] = 32.254249, Y = 41
52 if i == 32 { return 33146 } // x[32] = 33.145649, Y = 42
53 if i == 33 { return 34045 } // x[33] = 34.045084, Y = 43
54 if i == 34 { return 34952 } // x[34] = 34.952069, Y = 44
55 if i == 35 { return 35866 } // x[35] = 35.866211, Y = 45
56 if i == 36 { return 36787 } // x[36] = 36.787129, Y = 46
57 if i == 37 { return 37714 } // x[37] = 37.714316, Y = 47
58 if i == 38 { return 38647 } // x[38] = 38.647432, Y = 48
59 if i == 39 { return 39586 } // x[39] = 39.586021, Y = 49
60 if i == 40 { return 40530 } // x[40] = 40.529738, Y = 50
61 if i == 41 { return 41478 } // x[41] = 41.478378, Y = 51
62 if i == 42 { return 42431 } // x[42] = 42.431435, Y = 52
63 if i == 43 { return 43389 } // x[43] = 43.388619, Y = 53
64 if i == 44 { return 44350 } // x[44] = 44.349651, Y = 54
65 if i == 45 { return 45314 } // x[45] = 45.314111, Y = 55
66 if i == 46 { return 46282 } // x[46] = 46.281805, Y = 56
67 if i == 47 { return 47252 } // x[47] = 47.252472, Y = 57
68 if i == 48 { return 48226 } // x[48] = 48.225969, Y = 58
69 if i == 49 { return 49202 } // x[49] = 49.202043, Y = 59
70 if i == 50 { return 50180 } // x[50] = 50.180350, Y = 60
71 if i == 51 { return 51161 } // x[51] = 51.160761, Y = 61
72 if i == 52 { return 52143 } // x[52] = 52.143032, Y = 62
73 if i == 53 { return 53127 } // x[53] = 53.127233, Y = 63
74 if i == 54 { return 54113 } // x[54] = 54.112986, Y = 64
75 if i == 55 { return 55100 } // x[55] = 55.100182, Y = 65
76 if i == 56 { return 56089 } // x[56] = 56.088558, Y = 66
77 if i == 57 { return 57078 } // x[57] = 57.078156, Y = 67
78 if i == 58 { return 58069 } // x[58] = 58.068788, Y = 68
79 if i == 59 { return 59060 } // x[59] = 59.060493, Y = 69
80 if i == 60 { return 60053 } // x[60] = 60.053034, Y = 70
81 if i == 61 { return 61046 } // x[61] = 61.046284, Y = 71
82 if i == 62 { return 62040 } // x[62] = 62.040286, Y = 72
83 if i == 63 { return 63035 } // x[63] = 63.034929, Y = 73
84 if i == 64 { return 64030 } // x[64] = 64.030027, Y = 74
85 if i == 65 { return 65026 } // x[65] = 65.025589, Y = 75
86 if i == 66 { return 66022 } // x[66] = 66.021615, Y = 76
87 if i == 67 { return 67018 } // x[67] = 67.018177, Y = 77
88 if i == 68 { return 68015 } // x[68] = 68.015187, Y = 78
89 if i == 69 { return 69012 } // x[69] = 69.012468, Y = 79
90 if i == 70 { return 70010 } // x[70] = 70.010014, Y = 80
91 if i == 71 { return 71008 } // x[71] = 71.007638, Y = 81
92 if i == 72 { return 72005 } // x[72] = 72.005473, Y = 82
93 if i == 73 { return 73004 } // x[73] = 73.003558, Y = 83
94 if i == 74 { return 74002 } // x[74] = 74.001925, Y = 84
95 if i == 75 { return 75000 } // x[75] = 75.000324, Y = 85
96 if i == 76 { return 75999 } // x[76] = 75.998875, Y = 86
97 if i == 77 { return 76998 } // x[77] = 76.997735, Y = 87
98 if i == 78 { return 77996 } // x[78] = 77.996357, Y = 88
99 if i == 79 { return 78995 } // x[79] = 78.995237, Y = 89
100 if i == 80 { return 79994 } // x[80] = 79.994185, Y = 90
101 if i == 81 { return 80993 } // x[81] = 80.993180, Y = 91
102 if i == 82 { return 81992 } // x[82] = 81.991936, Y = 92
103 if i == 83 { return 82991 } // x[83] = 82.991278, Y = 93
104 if i == 84 { return 83991 } // x[84] = 83.990565, Y = 94
105 if i == 85 { return 84990 } // x[85] = 84.990016, Y = 95
106 if i == 86 { return 85989 } // x[86] = 85.989354, Y = 96
107 if i == 87 { return 86989 } // x[87] = 86.988664, Y = 97
108 if i == 88 { return 87988 } // x[88] = 87.988038, Y = 98
109 if i == 89 { return 88987 } // x[89] = 88.987488, Y = 99
110 if i == 90 { return 89987 } // x[90] = 89.987011, Y = 100
111 if i == 91 { return 90986 } // x[91] = 90.986377, Y = 101
112 if i == 92 { return 91986 } // x[92] = 91.985803, Y = 102
113 if i == 93 { return 92985 } // x[93] = 92.985126, Y = 103
114 if i == 94 { return 93985 } // x[94] = 93.984894, Y = 104
115 if i == 95 { return 94985 } // x[95] = 94.984597, Y = 105
116 if i == 96 { return 95984 } // x[96] = 95.984375, Y = 106
117 if i == 97 { return 96984 } // x[97] = 96.983988, Y = 107
118 if i == 98 { return 97984 } // x[98] = 97.983728, Y = 108
119 if i == 99 { return 98983 } // x[99] = 98.983151, Y = 109
120 if i == 100 { return 99983 } // x[100] = 99.982917, Y = 110
121 if i == 101 { return 100983 } // x[101] = 100.982752, Y = 111
122 if i == 102 { return 101983 } // x[102] = 101.982611, Y = 112
123 if i == 103 { return 102982 } // x[103] = 102.982425, Y = 113
124 if i == 104 { return 103982 } // x[104] = 103.982426, Y = 114
125 if i == 105 { return 104982 } // x[105] = 104.982194, Y = 115
126 if i == 106 { return 105982 } // x[106] = 105.982188, Y = 116
127 if i == 107 { return 106982 } // x[107] = 106.982006, Y = 117
128 if i == 108 { return 107982 } // x[108] = 107.981950, Y = 118
129 if i == 109 { return 108982 } // x[109] = 108.981777, Y = 119
130 if i == 110 { return 109982 } // x[110] = 109.981768, Y = 120
131 if i == 111 { return 110982 } // x[111] = 110.981785, Y = 121
132 if i == 112 { return 111982 } // x[112] = 111.981686, Y = 122
133 if i == 113 { return 112982 } // x[113] = 112.981635, Y = 123
134 if i == 114 { return 113982 } // x[114] = 113.981557, Y = 124
135 if i == 115 { return 114981 } // x[115] = 114.981413, Y = 125
136 if i == 116 { return 115982 } // x[116] = 115.981636, Y = 126
137 if i == 117 { return 116981 } // x[117] = 116.981452, Y = 127
138 if i == 118 { return 117982 } // x[118] = 117.981619, Y = 128
139 if i == 119 { return 118982 } // x[119] = 118.981656, Y = 129
140 if i == 120 { return 119981 } // x[120] = 119.981463, Y = 130
141 if i == 121 { return 120982 } // x[121] = 120.981648, Y = 131
142 if i == 122 { return 121982 } // x[122] = 121.981673, Y = 132
143 if i == 123 { return 122982 } // x[123] = 122.981537, Y = 133
144 if i == 124 { return 123981 } // x[124] = 123.981425, Y = 134
145 if i == 125 { return 124981 } // x[125] = 124.981245, Y = 135
146 if i == 126 { return 125981 } // x[126] = 125.981297, Y = 136
147 if i == 127 { return 126981 } // x[127] = 126.981470, Y = 137
148 if i == 128 { return 127981 } // x[128] = 127.981421, Y = 138
149 if i == 129 { return 128981 } // x[129] = 128.981471, Y = 139
150 if i == 130 { return 129982 } // x[130] = 129.981803, Y = 140
151 if i == 131 { return 130981 } // x[131] = 130.981454, Y = 141
152 if i == 132 { return 131981 } // x[132] = 131.981308, Y = 142
153 if i == 133 { return 132981 } // x[133] = 132.981137, Y = 143
154 if i == 134 { return 133981 } // x[134] = 133.981060, Y = 144
155 if i == 135 { return 134981 } // x[135] = 134.980765, Y = 145
156 if i == 136 { return 135980 } // x[136] = 135.980250, Y = 146
157 if i == 137 { return 136980 } // x[137] = 136.979948, Y = 147
158 if i == 138 { return 137980 } // x[138] = 137.979779, Y = 148
159 if i == 139 { return 138980 } // x[139] = 138.979651, Y = 149
160 if i == 140 { return 139980 } // x[140] = 139.979521, Y = 150
161 if i == 141 { return 140980 } // x[141] = 140.979619, Y = 151
162 if i == 142 { return 141979 } // x[142] = 141.979418, Y = 152
163 if i == 143 { return 142979 } // x[143] = 142.979379, Y = 153
164 if i == 144 { return 143979 } // x[144] = 143.979007, Y = 154
165 if i == 145 { return 144979 } // x[145] = 144.978789, Y = 155
166 if i == 146 { return 145979 } // x[146] = 145.978941, Y = 156
167 if i == 147 { return 146979 } // x[147] = 146.978700, Y = 157
168 if i == 148 { return 147979 } // x[148] = 147.978509, Y = 158
169 if i == 149 { return 148978 } // x[149] = 148.978375, Y = 159
170 if i == 150 { return 149978 } // x[150] = 149.978382, Y = 160
171 if i == 151 { return 150978 } // x[151] = 150.978321, Y = 161
172 if i == 152 { return 151978 } // x[152] = 151.978431, Y = 162
173 if i == 153 { return 152978 } // x[153] = 152.978357, Y = 163
174 if i == 154 { return 153978 } // x[154] = 153.978080, Y = 164
175 if i == 155 { return 154978 } // x[155] = 154.977868, Y = 165
176 if i == 156 { return 155978 } // x[156] = 155.977897, Y = 166
177 if i == 157 { return 156978 } // x[157] = 156.977732, Y = 167
178 if i == 158 { return 157977 } // x[158] = 157.977286, Y = 168
179 if i == 159 { return 158977 } // x[159] = 158.977382, Y = 169
180 if i == 160 { return 159977 } // x[160] = 159.977108, Y = 170
181 if i == 161 { return 160977 } // x[161] = 160.976898, Y = 171
182 if i == 162 { return 161977 } // x[162] = 161.976945, Y = 172
183 if i == 163 { return 162976 } // x[163] = 162.976416, Y = 173
184 if i == 164 { return 163976 } // x[164] = 163.976063, Y = 174
185 if i == 165 { return 164976 } // x[165] = 164.976169, Y = 175
186 if i == 166 { return 165976 } // x[166] = 165.976010, Y = 176
187 if i == 167 { return 166976 } // x[167] = 166.975747, Y = 177
188 if i == 168 { return 167975 } // x[168] = 167.975366, Y = 178
189 if i == 169 { return 168975 } // x[169] = 168.975302, Y = 179
190 if i == 170 { return 169975 } // x[170] = 169.975146, Y = 180
191 if i == 171 { return 170975 } // x[171] = 170.975048, Y = 181
192 if i == 172 { return 171975 } // x[172] = 171.974905, Y = 182
193 if i == 173 { return 172975 } // x[173] = 172.974963, Y = 183
194 if i == 174 { return 173974 } // x[174] = 173.974308, Y = 184
195 if i == 175 { return 174975 } // x[175] = 174.974506, Y = 185
196 if i == 176 { return 175974 } // x[176] = 175.974404, Y = 186
197 if i == 177 { return 176974 } // x[177] = 176.974155, Y = 187
198 if i == 178 { return 177974 } // x[178] = 177.973937, Y = 188
199 if i == 179 { return 178974 } // x[179] = 178.973910, Y = 189
200 if i == 180 { return 179974 } // x[180] = 179.973629, Y = 190
201 if i == 181 { return 180973 } // x[181] = 180.973396, Y = 191
202 if i == 182 { return 181973 } // x[182] = 181.973042, Y = 192
203 if i == 183 { return 182973 } // x[183] = 182.972922, Y = 193
204 if i == 184 { return 183972 } // x[184] = 183.972454, Y = 194
205 if i == 185 { return 184972 } // x[185] = 184.972389, Y = 195
206 if i == 186 { return 185972 } // x[186] = 185.971978, Y = 196
207 if i == 187 { return 186972 } // x[187] = 186.971721, Y = 197
208 if i == 188 { return 187972 } // x[188] = 187.971611, Y = 198
209 if i == 189 { return 188971 } // x[189] = 188.971433, Y = 199
210 if i == 190 { return 189971 } // x[190] = 189.970887, Y = 200
211 if i == 191 { return 190971 } // x[191] = 190.970637, Y = 201
212 if i == 192 { return 191971 } // x[192] = 191.970544, Y = 202
213 if i == 193 { return 192970 } // x[193] = 192.970222, Y = 203
214 if i == 194 { return 193970 } // x[194] = 193.969945, Y = 204
215 if i == 195 { return 194970 } // x[195] = 194.969816, Y = 205
216 if i == 196 { return 195970 } // x[196] = 195.969660, Y = 206
217 if i == 197 { return 196969 } // x[197] = 196.969306, Y = 207
218 if i == 198 { return 197969 } // x[198] = 197.969283, Y = 208
219 if i == 199 { return 198969 } // x[199] = 198.968953, Y = 209
220 if i == 200 { return 199969 } // x[200] = 199.968651, Y = 210
221 if i == 201 { return 200969 } // x[201] = 200.968772, Y = 211
222 if i == 202 { return 201969 } // x[202] = 201.969063, Y = 212
223 if i == 203 { return 202969 } // x[203] = 202.968624, Y = 213
224 if i == 204 { return 203968 } // x[204] = 203.968385, Y = 214
225 if i == 205 { return 204968 } // x[205] = 204.968460, Y = 215
226 if i == 206 { return 205968 } // x[206] = 205.968253, Y = 216
227 if i == 207 { return 206968 } // x[207] = 206.968128, Y = 217
228 if i == 208 { return 207968 } // x[208] = 207.968002, Y = 218
229 if i == 209 { return 208968 } // x[209] = 208.967982, Y = 219
230 if i == 210 { return 209968 } // x[210] = 209.967854, Y = 220
231 if i == 211 { return 210968 } // x[211] = 210.967653, Y = 221
232 if i == 212 { return 211968 } // x[212] = 211.967602, Y = 222
233 if i == 213 { return 212967 } // x[213] = 212.967479, Y = 223
234 if i == 214 { return 213967 } // x[214] = 213.967293, Y = 224
235 if i == 215 { return 214967 } // x[215] = 214.967265, Y = 225
236 if i == 216 { return 215967 } // x[216] = 215.967098, Y = 226
237 if i == 217 { return 216967 } // x[217] = 216.966915, Y = 227
238 if i == 218 { return 217967 } // x[218] = 217.966681, Y = 228
239 if i == 219 { return 218966 } // x[219] = 218.966157, Y = 229
240 if i == 220 { return 219966 } // x[220] = 219.965789, Y = 230
241 if i == 221 { return 220966 } // x[221] = 220.965578, Y = 231
242 if i == 222 { return 221966 } // x[222] = 221.965550, Y = 232
243 if i == 223 { return 222965 } // x[223] = 222.965056, Y = 233
244 if i == 224 { return 223965 } // x[224] = 223.965041, Y = 234
245 if i == 225 { return 224965 } // x[225] = 224.965089, Y = 235
246 if i == 226 { return 225965 } // x[226] = 225.964952, Y = 236
247 if i == 227 { return 226965 } // x[227] = 226.964837, Y = 237
248 if i == 228 { return 227965 } // x[228] = 227.964950, Y = 238
249 if i == 229 { return 228965 } // x[229] = 228.964753, Y = 239
250 if i == 230 { return 229964 } // x[230] = 229.964359, Y = 240
251 if i == 231 { return 230964 } // x[231] = 230.964158, Y = 241
252 if i == 232 { return 231964 } // x[232] = 231.964119, Y = 242
253 if i == 233 { return 232964 } // x[233] = 232.964106, Y = 243
254 if i == 234 { return 233964 } // x[234] = 233.964013, Y = 244
255 if i == 235 { return 234964 } // x[235] = 234.963810, Y = 245
256 if i == 236 { return 235964 } // x[236] = 235.963847, Y = 246
257 if i == 237 { return 236964 } // x[237] = 236.963635, Y = 247
258 if i == 238 { return 237964 } // x[238] = 237.963597, Y = 248
259 if i == 239 { return 238964 } // x[239] = 238.963659, Y = 249
260 if i == 240 { return 239963 } // x[240] = 239.963498, Y = 250
261 if i == 241 { return 240963 } // x[241] = 240.963446, Y = 251
262 if i == 242 { return 241963 } // x[242] = 241.963141, Y = 252
263 if i == 243 { return 242963 } // x[243] = 242.962684, Y = 253
264 if i == 244 { return 243963 } // x[244] = 243.962665, Y = 254
265 if i == 245 { return 244963 } // x[245] = 244.962762, Y = 255
266 if i == 246 { return 245963 } // x[246] = 245.962863, Y = 256
267 if i == 247 { return 246963 } // x[247] = 246.962595, Y = 257
268 if i == 248 { return 247962 } // x[248] = 247.962493, Y = 258
269 if i == 249 { return 248962 } // x[249] = 248.962293, Y = 259
270 if i == 250 { return 249963 } // x[250] = 249.962623, Y = 260
271 if i == 251 { return 250962 } // x[251] = 250.962187, Y = 261
272 if i == 252 { return 251962 } // x[252] = 251.962038, Y = 262
273 if i == 253 { return 252962 } // x[253] = 252.961927, Y = 263
274 if i == 254 { return 253962 } // x[254] = 253.961867, Y = 264
275 if i == 255 { return 254962 } // x[255] = 254.961700, Y = 265
276 if i == 256 { return 255961 } // x[256] = 255.961371, Y = 266
277 return -1
278}
279
280// lg_k=5: dsIdx=1, threshold=20, stride=2, n_samples=257
281const NX_HLL_BIAS_DS_LGK5_N: i64 = 257
282const NX_HLL_BIAS_DS_LGK5_STRIDE: i64 = 2
283const NX_HLL_BIAS_DS_LGK5_BASE: i64 = 20
284func nx_hll_bias_ds_x_lgk5(i: i64) -> i64 {
285 if i == 0 { return 22304 } // x[0] = 22.304000, Y = 20
286 if i == 1 { return 23262 } // x[1] = 23.261989, Y = 22
287 if i == 2 { return 24250 } // x[2] = 24.249656, Y = 24
288 if i == 3 { return 25267 } // x[3] = 25.267227, Y = 26
289 if i == 4 { return 26315 } // x[4] = 26.314782, Y = 28
290 if i == 5 { return 27392 } // x[5] = 27.392414, Y = 30
291 if i == 6 { return 28500 } // x[6] = 28.500178, Y = 32
292 if i == 7 { return 29638 } // x[7] = 29.638045, Y = 34
293 if i == 8 { return 30806 } // x[8] = 30.805888, Y = 36
294 if i == 9 { return 32004 } // x[9] = 32.003715, Y = 38
295 if i == 10 { return 33231 } // x[10] = 33.231361, Y = 40
296 if i == 11 { return 34488 } // x[11] = 34.488478, Y = 42
297 if i == 12 { return 35775 } // x[12] = 35.774924, Y = 44
298 if i == 13 { return 37090 } // x[13] = 37.090293, Y = 46
299 if i == 14 { return 38434 } // x[14] = 38.434292, Y = 48
300 if i == 15 { return 39807 } // x[15] = 39.806594, Y = 50
301 if i == 16 { return 41207 } // x[16] = 41.206691, Y = 52
302 if i == 17 { return 42634 } // x[17] = 42.634003, Y = 54
303 if i == 18 { return 44088 } // x[18] = 44.088065, Y = 56
304 if i == 19 { return 45568 } // x[19] = 45.568286, Y = 58
305 if i == 20 { return 47074 } // x[20] = 47.074067, Y = 60
306 if i == 21 { return 48605 } // x[21] = 48.604745, Y = 62
307 if i == 22 { return 50160 } // x[22] = 50.159730, Y = 64
308 if i == 23 { return 51738 } // x[23] = 51.738339, Y = 66
309 if i == 24 { return 53340 } // x[24] = 53.339806, Y = 68
310 if i == 25 { return 54963 } // x[25] = 54.963435, Y = 70
311 if i == 26 { return 56608 } // x[26] = 56.608464, Y = 72
312 if i == 27 { return 58274 } // x[27] = 58.274038, Y = 74
313 if i == 28 { return 59959 } // x[28] = 59.959404, Y = 76
314 if i == 29 { return 61664 } // x[29] = 61.663927, Y = 78
315 if i == 30 { return 63387 } // x[30] = 63.386737, Y = 80
316 if i == 31 { return 65127 } // x[31] = 65.127094, Y = 82
317 if i == 32 { return 66884 } // x[32] = 66.884092, Y = 84
318 if i == 33 { return 68657 } // x[33] = 68.656960, Y = 86
319 if i == 34 { return 70445 } // x[34] = 70.445052, Y = 88
320 if i == 35 { return 72248 } // x[35] = 72.247582, Y = 90
321 if i == 36 { return 74064 } // x[36] = 74.063608, Y = 92
322 if i == 37 { return 75893 } // x[37] = 75.892532, Y = 94
323 if i == 38 { return 77734 } // x[38] = 77.733880, Y = 96
324 if i == 39 { return 79587 } // x[39] = 79.586789, Y = 98
325 if i == 40 { return 81451 } // x[40] = 81.450593, Y = 100
326 if i == 41 { return 83325 } // x[41] = 83.324645, Y = 102
327 if i == 42 { return 85208 } // x[42] = 85.208483, Y = 104
328 if i == 43 { return 87101 } // x[43] = 87.101117, Y = 106
329 if i == 44 { return 89002 } // x[44] = 89.002153, Y = 108
330 if i == 45 { return 90911 } // x[45] = 90.911091, Y = 110
331 if i == 46 { return 92827 } // x[46] = 92.827275, Y = 112
332 if i == 47 { return 94750 } // x[47] = 94.750224, Y = 114
333 if i == 48 { return 96680 } // x[48] = 96.679774, Y = 116
334 if i == 49 { return 98615 } // x[49] = 98.615215, Y = 118
335 if i == 50 { return 100556 } // x[50] = 100.556212, Y = 120
336 if i == 51 { return 102502 } // x[51] = 102.502148, Y = 122
337 if i == 52 { return 104453 } // x[52] = 104.452899, Y = 124
338 if i == 53 { return 106408 } // x[53] = 106.407768, Y = 126
339 if i == 54 { return 108367 } // x[54] = 108.366626, Y = 128
340 if i == 55 { return 110330 } // x[55] = 110.329565, Y = 130
341 if i == 56 { return 112295 } // x[56] = 112.295482, Y = 132
342 if i == 57 { return 114265 } // x[57] = 114.264715, Y = 134
343 if i == 58 { return 116237 } // x[58] = 116.236770, Y = 136
344 if i == 59 { return 118211 } // x[59] = 118.211215, Y = 138
345 if i == 60 { return 120188 } // x[60] = 120.188376, Y = 140
346 if i == 61 { return 122168 } // x[61] = 122.167746, Y = 142
347 if i == 62 { return 124149 } // x[62] = 124.148833, Y = 144
348 if i == 63 { return 126132 } // x[63] = 126.131613, Y = 146
349 if i == 64 { return 128116 } // x[64] = 128.116073, Y = 148
350 if i == 65 { return 130102 } // x[65] = 130.102156, Y = 150
351 if i == 66 { return 132089 } // x[66] = 132.089449, Y = 152
352 if i == 67 { return 134078 } // x[67] = 134.077817, Y = 154
353 if i == 68 { return 136067 } // x[68] = 136.067404, Y = 156
354 if i == 69 { return 138058 } // x[69] = 138.057704, Y = 158
355 if i == 70 { return 140049 } // x[70] = 140.049351, Y = 160
356 if i == 71 { return 142042 } // x[71] = 142.041757, Y = 162
357 if i == 72 { return 144035 } // x[72] = 144.034781, Y = 164
358 if i == 73 { return 146029 } // x[73] = 146.028584, Y = 166
359 if i == 74 { return 148023 } // x[74] = 148.022894, Y = 168
360 if i == 75 { return 150018 } // x[75] = 150.017952, Y = 170
361 if i == 76 { return 152013 } // x[76] = 152.013358, Y = 172
362 if i == 77 { return 154009 } // x[77] = 154.009157, Y = 174
363 if i == 78 { return 156005 } // x[78] = 156.005077, Y = 176
364 if i == 79 { return 158002 } // x[79] = 158.001502, Y = 178
365 if i == 80 { return 159998 } // x[80] = 159.998044, Y = 180
366 if i == 81 { return 161995 } // x[81] = 161.995141, Y = 182
367 if i == 82 { return 163993 } // x[82] = 163.992508, Y = 184
368 if i == 83 { return 165990 } // x[83] = 165.990020, Y = 186
369 if i == 84 { return 167987 } // x[84] = 167.987379, Y = 188
370 if i == 85 { return 169985 } // x[85] = 169.985323, Y = 190
371 if i == 86 { return 171983 } // x[86] = 171.983372, Y = 192
372 if i == 87 { return 173981 } // x[87] = 173.981134, Y = 194
373 if i == 88 { return 175979 } // x[88] = 175.979307, Y = 196
374 if i == 89 { return 177977 } // x[89] = 177.977459, Y = 198
375 if i == 90 { return 179976 } // x[90] = 179.975994, Y = 200
376 if i == 91 { return 181974 } // x[91] = 181.974479, Y = 202
377 if i == 92 { return 183973 } // x[92] = 183.973329, Y = 204
378 if i == 93 { return 185972 } // x[93] = 185.972062, Y = 206
379 if i == 94 { return 187971 } // x[94] = 187.971014, Y = 208
380 if i == 95 { return 189970 } // x[95] = 189.969582, Y = 210
381 if i == 96 { return 191968 } // x[96] = 191.968451, Y = 212
382 if i == 97 { return 193968 } // x[97] = 193.967607, Y = 214
383 if i == 98 { return 195967 } // x[98] = 195.966727, Y = 216
384 if i == 99 { return 197966 } // x[99] = 197.965915, Y = 218
385 if i == 100 { return 199965 } // x[100] = 199.964911, Y = 220
386 if i == 101 { return 201964 } // x[101] = 201.964428, Y = 222
387 if i == 102 { return 203964 } // x[102] = 203.964309, Y = 224
388 if i == 103 { return 205964 } // x[103] = 205.963779, Y = 226
389 if i == 104 { return 207963 } // x[104] = 207.963244, Y = 228
390 if i == 105 { return 209962 } // x[105] = 209.962423, Y = 230
391 if i == 106 { return 211962 } // x[106] = 211.961859, Y = 232
392 if i == 107 { return 213961 } // x[107] = 213.961171, Y = 234
393 if i == 108 { return 215961 } // x[108] = 215.960624, Y = 236
394 if i == 109 { return 217960 } // x[109] = 217.959981, Y = 238
395 if i == 110 { return 219959 } // x[110] = 219.959156, Y = 240
396 if i == 111 { return 221959 } // x[111] = 221.958692, Y = 242
397 if i == 112 { return 223958 } // x[112] = 223.958335, Y = 244
398 if i == 113 { return 225958 } // x[113] = 225.958329, Y = 246
399 if i == 114 { return 227958 } // x[114] = 227.957722, Y = 248
400 if i == 115 { return 229957 } // x[115] = 229.957135, Y = 250
401 if i == 116 { return 231957 } // x[116] = 231.956898, Y = 252
402 if i == 117 { return 233957 } // x[117] = 233.956902, Y = 254
403 if i == 118 { return 235957 } // x[118] = 235.956651, Y = 256
404 if i == 119 { return 237957 } // x[119] = 237.956593, Y = 258
405 if i == 120 { return 239957 } // x[120] = 239.956700, Y = 260
406 if i == 121 { return 241956 } // x[121] = 241.956193, Y = 262
407 if i == 122 { return 243956 } // x[122] = 243.956003, Y = 264
408 if i == 123 { return 245956 } // x[123] = 245.955795, Y = 266
409 if i == 124 { return 247956 } // x[124] = 247.955501, Y = 268
410 if i == 125 { return 249955 } // x[125] = 249.954960, Y = 270
411 if i == 126 { return 251955 } // x[126] = 251.954510, Y = 272
412 if i == 127 { return 253954 } // x[127] = 253.954252, Y = 274
413 if i == 128 { return 255954 } // x[128] = 255.954012, Y = 276
414 if i == 129 { return 257953 } // x[129] = 257.953388, Y = 278
415 if i == 130 { return 259953 } // x[130] = 259.953140, Y = 280
416 if i == 131 { return 261953 } // x[131] = 261.952918, Y = 282
417 if i == 132 { return 263952 } // x[132] = 263.952433, Y = 284
418 if i == 133 { return 265952 } // x[133] = 265.952485, Y = 286
419 if i == 134 { return 267953 } // x[134] = 267.952764, Y = 288
420 if i == 135 { return 269953 } // x[135] = 269.952511, Y = 290
421 if i == 136 { return 271952 } // x[136] = 271.952383, Y = 292
422 if i == 137 { return 273952 } // x[137] = 273.951921, Y = 294
423 if i == 138 { return 275952 } // x[138] = 275.951767, Y = 296
424 if i == 139 { return 277952 } // x[139] = 277.951698, Y = 298
425 if i == 140 { return 279952 } // x[140] = 279.951701, Y = 300
426 if i == 141 { return 281952 } // x[141] = 281.951805, Y = 302
427 if i == 142 { return 283952 } // x[142] = 283.951934, Y = 304
428 if i == 143 { return 285952 } // x[143] = 285.952141, Y = 306
429 if i == 144 { return 287952 } // x[144] = 287.952064, Y = 308
430 if i == 145 { return 289952 } // x[145] = 289.951717, Y = 310
431 if i == 146 { return 291951 } // x[146] = 291.951294, Y = 312
432 if i == 147 { return 293951 } // x[147] = 293.950937, Y = 314
433 if i == 148 { return 295951 } // x[148] = 295.950901, Y = 316
434 if i == 149 { return 297950 } // x[149] = 297.950320, Y = 318
435 if i == 150 { return 299950 } // x[150] = 299.949547, Y = 320
436 if i == 151 { return 301949 } // x[151] = 301.949475, Y = 322
437 if i == 152 { return 303949 } // x[152] = 303.949155, Y = 324
438 if i == 153 { return 305949 } // x[153] = 305.948725, Y = 326
439 if i == 154 { return 307948 } // x[154] = 307.948409, Y = 328
440 if i == 155 { return 309948 } // x[155] = 309.948121, Y = 330
441 if i == 156 { return 311948 } // x[156] = 311.947897, Y = 332
442 if i == 157 { return 313948 } // x[157] = 313.947738, Y = 334
443 if i == 158 { return 315947 } // x[158] = 315.947255, Y = 336
444 if i == 159 { return 317947 } // x[159] = 317.946632, Y = 338
445 if i == 160 { return 319946 } // x[160] = 319.946302, Y = 340
446 if i == 161 { return 321946 } // x[161] = 321.945856, Y = 342
447 if i == 162 { return 323946 } // x[162] = 323.945603, Y = 344
448 if i == 163 { return 325945 } // x[163] = 325.944930, Y = 346
449 if i == 164 { return 327945 } // x[164] = 327.945049, Y = 348
450 if i == 165 { return 329945 } // x[165] = 329.944796, Y = 350
451 if i == 166 { return 331944 } // x[166] = 331.944227, Y = 352
452 if i == 167 { return 333944 } // x[167] = 333.943705, Y = 354
453 if i == 168 { return 335943 } // x[168] = 335.943232, Y = 356
454 if i == 169 { return 337942 } // x[169] = 337.942333, Y = 358
455 if i == 170 { return 339942 } // x[170] = 339.942355, Y = 360
456 if i == 171 { return 341942 } // x[171] = 341.941891, Y = 362
457 if i == 172 { return 343941 } // x[172] = 343.941346, Y = 364
458 if i == 173 { return 345941 } // x[173] = 345.940654, Y = 366
459 if i == 174 { return 347940 } // x[174] = 347.940019, Y = 368
460 if i == 175 { return 349940 } // x[175] = 349.940027, Y = 370
461 if i == 176 { return 351939 } // x[176] = 351.938945, Y = 372
462 if i == 177 { return 353938 } // x[177] = 353.938172, Y = 374
463 if i == 178 { return 355938 } // x[178] = 355.937585, Y = 376
464 if i == 179 { return 357937 } // x[179] = 357.937041, Y = 378
465 if i == 180 { return 359937 } // x[180] = 359.936674, Y = 380
466 if i == 181 { return 361936 } // x[181] = 361.936180, Y = 382
467 if i == 182 { return 363936 } // x[182] = 363.936106, Y = 384
468 if i == 183 { return 365935 } // x[183] = 365.935367, Y = 386
469 if i == 184 { return 367935 } // x[184] = 367.935295, Y = 388
470 if i == 185 { return 369935 } // x[185] = 369.934794, Y = 390
471 if i == 186 { return 371934 } // x[186] = 371.934315, Y = 392
472 if i == 187 { return 373934 } // x[187] = 373.933949, Y = 394
473 if i == 188 { return 375933 } // x[188] = 375.933421, Y = 396
474 if i == 189 { return 377933 } // x[189] = 377.933148, Y = 398
475 if i == 190 { return 379932 } // x[190] = 379.932379, Y = 400
476 if i == 191 { return 381932 } // x[191] = 381.931900, Y = 402
477 if i == 192 { return 383931 } // x[192] = 383.930951, Y = 404
478 if i == 193 { return 385931 } // x[193] = 385.930668, Y = 406
479 if i == 194 { return 387930 } // x[194] = 387.930026, Y = 408
480 if i == 195 { return 389930 } // x[195] = 389.929529, Y = 410
481 if i == 196 { return 391929 } // x[196] = 391.929117, Y = 412
482 if i == 197 { return 393928 } // x[197] = 393.928362, Y = 414
483 if i == 198 { return 395928 } // x[198] = 395.927674, Y = 416
484 if i == 199 { return 397927 } // x[199] = 397.927111, Y = 418
485 if i == 200 { return 399926 } // x[200] = 399.926484, Y = 420
486 if i == 201 { return 401926 } // x[201] = 401.925800, Y = 422
487 if i == 202 { return 403925 } // x[202] = 403.924918, Y = 424
488 if i == 203 { return 405925 } // x[203] = 405.924540, Y = 426
489 if i == 204 { return 407924 } // x[204] = 407.924014, Y = 428
490 if i == 205 { return 409924 } // x[205] = 409.923780, Y = 430
491 if i == 206 { return 411923 } // x[206] = 411.922980, Y = 432
492 if i == 207 { return 413923 } // x[207] = 413.922515, Y = 434
493 if i == 208 { return 415922 } // x[208] = 415.922149, Y = 436
494 if i == 209 { return 417922 } // x[209] = 417.921643, Y = 438
495 if i == 210 { return 419921 } // x[210] = 419.921127, Y = 440
496 if i == 211 { return 421921 } // x[211] = 421.920767, Y = 442
497 if i == 212 { return 423921 } // x[212] = 423.920643, Y = 444
498 if i == 213 { return 425920 } // x[213] = 425.920411, Y = 446
499 if i == 214 { return 427921 } // x[214] = 427.920604, Y = 448
500 if i == 215 { return 429920 } // x[215] = 429.920445, Y = 450
501 if i == 216 { return 431920 } // x[216] = 431.920287, Y = 452
502 if i == 217 { return 433920 } // x[217] = 433.919789, Y = 454
503 if i == 218 { return 435919 } // x[218] = 435.919409, Y = 456
504 if i == 219 { return 437919 } // x[219] = 437.918873, Y = 458
505 if i == 220 { return 439918 } // x[220] = 439.918417, Y = 460
506 if i == 221 { return 441918 } // x[221] = 441.918192, Y = 462
507 if i == 222 { return 443918 } // x[222] = 443.918377, Y = 464
508 if i == 223 { return 445918 } // x[223] = 445.917692, Y = 466
509 if i == 224 { return 447917 } // x[224] = 447.917133, Y = 468
510 if i == 225 { return 449917 } // x[225] = 449.917218, Y = 470
511 if i == 226 { return 451917 } // x[226] = 451.916924, Y = 472
512 if i == 227 { return 453917 } // x[227] = 453.916662, Y = 474
513 if i == 228 { return 455916 } // x[228] = 455.916485, Y = 476
514 if i == 229 { return 457916 } // x[229] = 457.915880, Y = 478
515 if i == 230 { return 459916 } // x[230] = 459.915842, Y = 480
516 if i == 231 { return 461916 } // x[231] = 461.915547, Y = 482
517 if i == 232 { return 463915 } // x[232] = 463.914995, Y = 484
518 if i == 233 { return 465915 } // x[233] = 465.914586, Y = 486
519 if i == 234 { return 467914 } // x[234] = 467.914145, Y = 488
520 if i == 235 { return 469914 } // x[235] = 469.913956, Y = 490
521 if i == 236 { return 471913 } // x[236] = 471.913046, Y = 492
522 if i == 237 { return 473912 } // x[237] = 473.912469, Y = 494
523 if i == 238 { return 475912 } // x[238] = 475.912323, Y = 496
524 if i == 239 { return 477912 } // x[239] = 477.912118, Y = 498
525 if i == 240 { return 479912 } // x[240] = 479.911924, Y = 500
526 if i == 241 { return 481912 } // x[241] = 481.911519, Y = 502
527 if i == 242 { return 483911 } // x[242] = 483.911024, Y = 504
528 if i == 243 { return 485910 } // x[243] = 485.910387, Y = 506
529 if i == 244 { return 487910 } // x[244] = 487.910092, Y = 508
530 if i == 245 { return 489910 } // x[245] = 489.910154, Y = 510
531 if i == 246 { return 491910 } // x[246] = 491.909575, Y = 512
532 if i == 247 { return 493909 } // x[247] = 493.908974, Y = 514
533 if i == 248 { return 495909 } // x[248] = 495.908577, Y = 516
534 if i == 249 { return 497909 } // x[249] = 497.908550, Y = 518
535 if i == 250 { return 499908 } // x[250] = 499.908127, Y = 520
536 if i == 251 { return 501908 } // x[251] = 501.907711, Y = 522
537 if i == 252 { return 503908 } // x[252] = 503.907807, Y = 524
538 if i == 253 { return 505907 } // x[253] = 505.907337, Y = 526
539 if i == 254 { return 507907 } // x[254] = 507.907081, Y = 528
540 if i == 255 { return 509907 } // x[255] = 509.906649, Y = 530
541 if i == 256 { return 511906 } // x[256] = 511.906202, Y = 532
542 return -1
543}
544
545// lg_k=6: dsIdx=2, threshold=40, stride=3, n_samples=257
546const NX_HLL_BIAS_DS_LGK6_N: i64 = 257
547const NX_HLL_BIAS_DS_LGK6_STRIDE: i64 = 3
548const NX_HLL_BIAS_DS_LGK6_BASE: i64 = 40
549func nx_hll_bias_ds_x_lgk6(i: i64) -> i64 {
550 if i == 0 { return 45376 } // x[0] = 45.376000, Y = 40
551 if i == 1 { return 46821 } // x[1] = 46.820948, Y = 43
552 if i == 2 { return 48299 } // x[2] = 48.298704, Y = 46
553 if i == 3 { return 49809 } // x[3] = 49.809403, Y = 49
554 if i == 4 { return 51353 } // x[4] = 51.353166, Y = 52
555 if i == 5 { return 52930 } // x[5] = 52.929934, Y = 55
556 if i == 6 { return 54540 } // x[6] = 54.539893, Y = 58
557 if i == 7 { return 56183 } // x[7] = 56.183034, Y = 61
558 if i == 8 { return 57859 } // x[8] = 57.859217, Y = 64
559 if i == 9 { return 59569 } // x[9] = 59.568520, Y = 67
560 if i == 10 { return 61311 } // x[10] = 61.310801, Y = 70
561 if i == 11 { return 63086 } // x[11] = 63.085887, Y = 73
562 if i == 12 { return 64894 } // x[12] = 64.893798, Y = 76
563 if i == 13 { return 66734 } // x[13] = 66.734230, Y = 79
564 if i == 14 { return 68607 } // x[14] = 68.607173, Y = 82
565 if i == 15 { return 70512 } // x[15] = 70.512210, Y = 85
566 if i == 16 { return 72449 } // x[16] = 72.449266, Y = 88
567 if i == 17 { return 74418 } // x[17] = 74.418007, Y = 91
568 if i == 18 { return 76418 } // x[18] = 76.417911, Y = 94
569 if i == 19 { return 78449 } // x[19] = 78.448929, Y = 97
570 if i == 20 { return 80511 } // x[20] = 80.510586, Y = 100
571 if i == 21 { return 82603 } // x[21] = 82.602515, Y = 103
572 if i == 22 { return 84724 } // x[22] = 84.724062, Y = 106
573 if i == 23 { return 86875 } // x[23] = 86.875166, Y = 109
574 if i == 24 { return 89055 } // x[24] = 89.055218, Y = 112
575 if i == 25 { return 91264 } // x[25] = 91.263853, Y = 115
576 if i == 26 { return 93500 } // x[26] = 93.500343, Y = 118
577 if i == 27 { return 95764 } // x[27] = 95.764452, Y = 121
578 if i == 28 { return 98056 } // x[28] = 98.055566, Y = 124
579 if i == 29 { return 100373 } // x[29] = 100.373234, Y = 127
580 if i == 30 { return 102717 } // x[30] = 102.716794, Y = 130
581 if i == 31 { return 105086 } // x[31] = 105.085599, Y = 133
582 if i == 32 { return 107479 } // x[32] = 107.479363, Y = 136
583 if i == 33 { return 109897 } // x[33] = 109.897283, Y = 139
584 if i == 34 { return 112339 } // x[34] = 112.338908, Y = 142
585 if i == 35 { return 114803 } // x[35] = 114.803401, Y = 145
586 if i == 36 { return 117290 } // x[36] = 117.290260, Y = 148
587 if i == 37 { return 119799 } // x[37] = 119.799266, Y = 151
588 if i == 38 { return 122329 } // x[38] = 122.329324, Y = 154
589 if i == 39 { return 124880 } // x[39] = 124.879682, Y = 157
590 if i == 40 { return 127450 } // x[40] = 127.450299, Y = 160
591 if i == 41 { return 130040 } // x[41] = 130.040239, Y = 163
592 if i == 42 { return 132649 } // x[42] = 132.648757, Y = 166
593 if i == 43 { return 135275 } // x[43] = 135.275367, Y = 169
594 if i == 44 { return 137920 } // x[44] = 137.919720, Y = 172
595 if i == 45 { return 140581 } // x[45] = 140.580778, Y = 175
596 if i == 46 { return 143258 } // x[46] = 143.258129, Y = 178
597 if i == 47 { return 145952 } // x[47] = 145.951552, Y = 181
598 if i == 48 { return 148660 } // x[48] = 148.660145, Y = 184
599 if i == 49 { return 151383 } // x[49] = 151.383257, Y = 187
600 if i == 50 { return 154120 } // x[50] = 154.120435, Y = 190
601 if i == 51 { return 156871 } // x[51] = 156.871203, Y = 193
602 if i == 52 { return 159635 } // x[52] = 159.634634, Y = 196
603 if i == 53 { return 162410 } // x[53] = 162.410378, Y = 199
604 if i == 54 { return 165198 } // x[54] = 165.198249, Y = 202
605 if i == 55 { return 167997 } // x[55] = 167.997420, Y = 205
606 if i == 56 { return 170808 } // x[56] = 170.807580, Y = 208
607 if i == 57 { return 173628 } // x[57] = 173.628021, Y = 211
608 if i == 58 { return 176459 } // x[58] = 176.458634, Y = 214
609 if i == 59 { return 179298 } // x[59] = 179.298282, Y = 217
610 if i == 60 { return 182147 } // x[60] = 182.147450, Y = 220
611 if i == 61 { return 185005 } // x[61] = 185.005094, Y = 223
612 if i == 62 { return 187871 } // x[62] = 187.870899, Y = 226
613 if i == 63 { return 190745 } // x[63] = 190.744709, Y = 229
614 if i == 64 { return 193626 } // x[64] = 193.625572, Y = 232
615 if i == 65 { return 196514 } // x[65] = 196.513740, Y = 235
616 if i == 66 { return 199409 } // x[66] = 199.408600, Y = 238
617 if i == 67 { return 202310 } // x[67] = 202.309940, Y = 241
618 if i == 68 { return 205217 } // x[68] = 205.217132, Y = 244
619 if i == 69 { return 208130 } // x[69] = 208.129829, Y = 247
620 if i == 70 { return 211048 } // x[70] = 211.047996, Y = 250
621 if i == 71 { return 213971 } // x[71] = 213.970919, Y = 253
622 if i == 72 { return 216899 } // x[72] = 216.899110, Y = 256
623 if i == 73 { return 219832 } // x[73] = 219.832025, Y = 259
624 if i == 74 { return 222769 } // x[74] = 222.769136, Y = 262
625 if i == 75 { return 225710 } // x[75] = 225.710258, Y = 265
626 if i == 76 { return 228655 } // x[76] = 228.655218, Y = 268
627 if i == 77 { return 231604 } // x[77] = 231.603984, Y = 271
628 if i == 78 { return 234556 } // x[78] = 234.555642, Y = 274
629 if i == 79 { return 237511 } // x[79] = 237.510636, Y = 277
630 if i == 80 { return 240469 } // x[80] = 240.468820, Y = 280
631 if i == 81 { return 243430 } // x[81] = 243.429904, Y = 283
632 if i == 82 { return 246393 } // x[82] = 246.393192, Y = 286
633 if i == 83 { return 249359 } // x[83] = 249.359252, Y = 289
634 if i == 84 { return 252327 } // x[84] = 252.327417, Y = 292
635 if i == 85 { return 255298 } // x[85] = 255.297598, Y = 295
636 if i == 86 { return 258270 } // x[86] = 258.269778, Y = 298
637 if i == 87 { return 261244 } // x[87] = 261.244337, Y = 301
638 if i == 88 { return 264220 } // x[88] = 264.219959, Y = 304
639 if i == 89 { return 267198 } // x[89] = 267.197644, Y = 307
640 if i == 90 { return 270177 } // x[90] = 270.177202, Y = 310
641 if i == 91 { return 273157 } // x[91] = 273.157339, Y = 313
642 if i == 92 { return 276139 } // x[92] = 276.139287, Y = 316
643 if i == 93 { return 279122 } // x[93] = 279.122277, Y = 319
644 if i == 94 { return 282107 } // x[94] = 282.107226, Y = 322
645 if i == 95 { return 285092 } // x[95] = 285.092136, Y = 325
646 if i == 96 { return 288078 } // x[96] = 288.078231, Y = 328
647 if i == 97 { return 291065 } // x[97] = 291.065257, Y = 331
648 if i == 98 { return 294053 } // x[98] = 294.053161, Y = 334
649 if i == 99 { return 297042 } // x[99] = 297.042401, Y = 337
650 if i == 100 { return 300032 } // x[100] = 300.031785, Y = 340
651 if i == 101 { return 303023 } // x[101] = 303.022502, Y = 343
652 if i == 102 { return 306014 } // x[102] = 306.013581, Y = 346
653 if i == 103 { return 309005 } // x[103] = 309.005125, Y = 349
654 if i == 104 { return 311997 } // x[104] = 311.996911, Y = 352
655 if i == 105 { return 314990 } // x[105] = 314.989636, Y = 355
656 if i == 106 { return 317982 } // x[106] = 317.982189, Y = 358
657 if i == 107 { return 320976 } // x[107] = 320.975762, Y = 361
658 if i == 108 { return 323970 } // x[108] = 323.969720, Y = 364
659 if i == 109 { return 326964 } // x[109] = 326.963673, Y = 367
660 if i == 110 { return 329958 } // x[110] = 329.958420, Y = 370
661 if i == 111 { return 332953 } // x[111] = 332.953046, Y = 373
662 if i == 112 { return 335948 } // x[112] = 335.948339, Y = 376
663 if i == 113 { return 338943 } // x[113] = 338.943202, Y = 379
664 if i == 114 { return 341939 } // x[114] = 341.938799, Y = 382
665 if i == 115 { return 344935 } // x[115] = 344.935322, Y = 385
666 if i == 116 { return 347931 } // x[116] = 347.931090, Y = 388
667 if i == 117 { return 350927 } // x[117] = 350.927355, Y = 391
668 if i == 118 { return 353924 } // x[118] = 353.923732, Y = 394
669 if i == 119 { return 356920 } // x[119] = 356.920383, Y = 397
670 if i == 120 { return 359917 } // x[120] = 359.916863, Y = 400
671 if i == 121 { return 362914 } // x[121] = 362.914245, Y = 403
672 if i == 122 { return 365911 } // x[122] = 365.911216, Y = 406
673 if i == 123 { return 368909 } // x[123] = 368.908636, Y = 409
674 if i == 124 { return 371905 } // x[124] = 371.905028, Y = 412
675 if i == 125 { return 374902 } // x[125] = 374.901982, Y = 415
676 if i == 126 { return 377900 } // x[126] = 377.899719, Y = 418
677 if i == 127 { return 380897 } // x[127] = 380.897392, Y = 421
678 if i == 128 { return 383895 } // x[128] = 383.894945, Y = 424
679 if i == 129 { return 386893 } // x[129] = 386.892974, Y = 427
680 if i == 130 { return 389891 } // x[130] = 389.890517, Y = 430
681 if i == 131 { return 392889 } // x[131] = 392.889051, Y = 433
682 if i == 132 { return 395887 } // x[132] = 395.886894, Y = 436
683 if i == 133 { return 398885 } // x[133] = 398.884852, Y = 439
684 if i == 134 { return 401883 } // x[134] = 401.883236, Y = 442
685 if i == 135 { return 404882 } // x[135] = 404.881805, Y = 445
686 if i == 136 { return 407880 } // x[136] = 407.880049, Y = 448
687 if i == 137 { return 410878 } // x[137] = 410.878411, Y = 451
688 if i == 138 { return 413877 } // x[138] = 413.876756, Y = 454
689 if i == 139 { return 416875 } // x[139] = 416.875140, Y = 457
690 if i == 140 { return 419874 } // x[140] = 419.873758, Y = 460
691 if i == 141 { return 422873 } // x[141] = 422.872739, Y = 463
692 if i == 142 { return 425872 } // x[142] = 425.871628, Y = 466
693 if i == 143 { return 428871 } // x[143] = 428.870663, Y = 469
694 if i == 144 { return 431869 } // x[144] = 431.869475, Y = 472
695 if i == 145 { return 434868 } // x[145] = 434.868378, Y = 475
696 if i == 146 { return 437868 } // x[146] = 437.867538, Y = 478
697 if i == 147 { return 440866 } // x[147] = 440.866275, Y = 481
698 if i == 148 { return 443865 } // x[148] = 443.865087, Y = 484
699 if i == 149 { return 446864 } // x[149] = 446.864282, Y = 487
700 if i == 150 { return 449864 } // x[150] = 449.863631, Y = 490
701 if i == 151 { return 452863 } // x[151] = 452.862772, Y = 493
702 if i == 152 { return 455862 } // x[152] = 455.861878, Y = 496
703 if i == 153 { return 458861 } // x[153] = 458.860680, Y = 499
704 if i == 154 { return 461860 } // x[154] = 461.859729, Y = 502
705 if i == 155 { return 464858 } // x[155] = 464.858479, Y = 505
706 if i == 156 { return 467857 } // x[156] = 467.857315, Y = 508
707 if i == 157 { return 470857 } // x[157] = 470.856708, Y = 511
708 if i == 158 { return 473856 } // x[158] = 473.855641, Y = 514
709 if i == 159 { return 476855 } // x[159] = 476.854881, Y = 517
710 if i == 160 { return 479854 } // x[160] = 479.853812, Y = 520
711 if i == 161 { return 482853 } // x[161] = 482.852667, Y = 523
712 if i == 162 { return 485851 } // x[162] = 485.851471, Y = 526
713 if i == 163 { return 488851 } // x[163] = 488.850998, Y = 529
714 if i == 164 { return 491850 } // x[164] = 491.850421, Y = 532
715 if i == 165 { return 494849 } // x[165] = 494.849119, Y = 535
716 if i == 166 { return 497849 } // x[166] = 497.848645, Y = 538
717 if i == 167 { return 500848 } // x[167] = 500.848230, Y = 541
718 if i == 168 { return 503848 } // x[168] = 503.847546, Y = 544
719 if i == 169 { return 506847 } // x[169] = 506.847285, Y = 547
720 if i == 170 { return 509846 } // x[170] = 509.846276, Y = 550
721 if i == 171 { return 512846 } // x[171] = 512.845599, Y = 553
722 if i == 172 { return 515845 } // x[172] = 515.845442, Y = 556
723 if i == 173 { return 518845 } // x[173] = 518.844522, Y = 559
724 if i == 174 { return 521844 } // x[174] = 521.843924, Y = 562
725 if i == 175 { return 524843 } // x[175] = 524.843282, Y = 565
726 if i == 176 { return 527842 } // x[176] = 527.842400, Y = 568
727 if i == 177 { return 530841 } // x[177] = 530.841153, Y = 571
728 if i == 178 { return 533841 } // x[178] = 533.840789, Y = 574
729 if i == 179 { return 536840 } // x[179] = 536.840059, Y = 577
730 if i == 180 { return 539840 } // x[180] = 539.839578, Y = 580
731 if i == 181 { return 542839 } // x[181] = 542.839077, Y = 583
732 if i == 182 { return 545838 } // x[182] = 545.838442, Y = 586
733 if i == 183 { return 548838 } // x[183] = 548.837925, Y = 589
734 if i == 184 { return 551837 } // x[184] = 551.837456, Y = 592
735 if i == 185 { return 554837 } // x[185] = 554.837042, Y = 595
736 if i == 186 { return 557837 } // x[186] = 557.836917, Y = 598
737 if i == 187 { return 560836 } // x[187] = 560.836116, Y = 601
738 if i == 188 { return 563835 } // x[188] = 563.834833, Y = 604
739 if i == 189 { return 566834 } // x[189] = 566.834108, Y = 607
740 if i == 190 { return 569833 } // x[190] = 569.832763, Y = 610
741 if i == 191 { return 572832 } // x[191] = 572.831701, Y = 613
742 if i == 192 { return 575832 } // x[192] = 575.832051, Y = 616
743 if i == 193 { return 578831 } // x[193] = 578.831190, Y = 619
744 if i == 194 { return 581831 } // x[194] = 581.831249, Y = 622
745 if i == 195 { return 584830 } // x[195] = 584.830325, Y = 625
746 if i == 196 { return 587829 } // x[196] = 587.828994, Y = 628
747 if i == 197 { return 590828 } // x[197] = 590.827963, Y = 631
748 if i == 198 { return 593827 } // x[198] = 593.827454, Y = 634
749 if i == 199 { return 596826 } // x[199] = 596.825834, Y = 637
750 if i == 200 { return 599824 } // x[200] = 599.824193, Y = 640
751 if i == 201 { return 602823 } // x[201] = 602.822806, Y = 643
752 if i == 202 { return 605822 } // x[202] = 605.822276, Y = 646
753 if i == 203 { return 608821 } // x[203] = 608.821423, Y = 649
754 if i == 204 { return 611820 } // x[204] = 611.820006, Y = 652
755 if i == 205 { return 614819 } // x[205] = 614.819016, Y = 655
756 if i == 206 { return 617818 } // x[206] = 617.818220, Y = 658
757 if i == 207 { return 620817 } // x[207] = 620.817312, Y = 661
758 if i == 208 { return 623816 } // x[208] = 623.816286, Y = 664
759 if i == 209 { return 626815 } // x[209] = 626.815211, Y = 667
760 if i == 210 { return 629815 } // x[210] = 629.815078, Y = 670
761 if i == 211 { return 632814 } // x[211] = 632.813926, Y = 673
762 if i == 212 { return 635813 } // x[212] = 635.813393, Y = 676
763 if i == 213 { return 638812 } // x[213] = 638.812425, Y = 679
764 if i == 214 { return 641811 } // x[214] = 641.811289, Y = 682
765 if i == 215 { return 644810 } // x[215] = 644.809933, Y = 685
766 if i == 216 { return 647809 } // x[216] = 647.808610, Y = 688
767 if i == 217 { return 650808 } // x[217] = 650.807772, Y = 691
768 if i == 218 { return 653807 } // x[218] = 653.806851, Y = 694
769 if i == 219 { return 656805 } // x[219] = 656.805452, Y = 697
770 if i == 220 { return 659804 } // x[220] = 659.804134, Y = 700
771 if i == 221 { return 662803 } // x[221] = 662.803104, Y = 703
772 if i == 222 { return 665802 } // x[222] = 665.801911, Y = 706
773 if i == 223 { return 668801 } // x[223] = 668.800970, Y = 709
774 if i == 224 { return 671799 } // x[224] = 671.798797, Y = 712
775 if i == 225 { return 674798 } // x[225] = 674.798111, Y = 715
776 if i == 226 { return 677798 } // x[226] = 677.797844, Y = 718
777 if i == 227 { return 680798 } // x[227] = 680.797712, Y = 721
778 if i == 228 { return 683796 } // x[228] = 683.796450, Y = 724
779 if i == 229 { return 686795 } // x[229] = 686.794998, Y = 727
780 if i == 230 { return 689794 } // x[230] = 689.794205, Y = 730
781 if i == 231 { return 692793 } // x[231] = 692.792837, Y = 733
782 if i == 232 { return 695792 } // x[232] = 695.792195, Y = 736
783 if i == 233 { return 698791 } // x[233] = 698.790779, Y = 739
784 if i == 234 { return 701791 } // x[234] = 701.790705, Y = 742
785 if i == 235 { return 704790 } // x[235] = 704.790168, Y = 745
786 if i == 236 { return 707789 } // x[236] = 707.789262, Y = 748
787 if i == 237 { return 710789 } // x[237] = 710.788674, Y = 751
788 if i == 238 { return 713787 } // x[238] = 713.787207, Y = 754
789 if i == 239 { return 716786 } // x[239] = 716.786043, Y = 757
790 if i == 240 { return 719785 } // x[240] = 719.784740, Y = 760
791 if i == 241 { return 722784 } // x[241] = 722.783524, Y = 763
792 if i == 242 { return 725783 } // x[242] = 725.782740, Y = 766
793 if i == 243 { return 728782 } // x[243] = 728.781696, Y = 769
794 if i == 244 { return 731780 } // x[244] = 731.780295, Y = 772
795 if i == 245 { return 734779 } // x[245] = 734.778719, Y = 775
796 if i == 246 { return 737778 } // x[246] = 737.778056, Y = 778
797 if i == 247 { return 740777 } // x[247] = 740.777015, Y = 781
798 if i == 248 { return 743776 } // x[248] = 743.776470, Y = 784
799 if i == 249 { return 746775 } // x[249] = 746.774710, Y = 787
800 if i == 250 { return 749774 } // x[250] = 749.773897, Y = 790
801 if i == 251 { return 752773 } // x[251] = 752.772555, Y = 793
802 if i == 252 { return 755772 } // x[252] = 755.771799, Y = 796
803 if i == 253 { return 758770 } // x[253] = 758.770329, Y = 799
804 if i == 254 { return 761769 } // x[254] = 761.768940, Y = 802
805 if i == 255 { return 764769 } // x[255] = 764.768631, Y = 805
806 if i == 256 { return 767767 } // x[256] = 767.767399, Y = 808
807 return -1
808}
809
810// lg_k=7: dsIdx=3, threshold=80, stride=5, n_samples=257
811const NX_HLL_BIAS_DS_LGK7_N: i64 = 257
812const NX_HLL_BIAS_DS_LGK7_STRIDE: i64 = 5
813const NX_HLL_BIAS_DS_LGK7_BASE: i64 = 80
814func nx_hll_bias_ds_x_lgk7(i: i64) -> i64 {
815 if i == 0 { return 91555 } // x[0] = 91.554623, Y = 80
816 if i == 1 { return 93970 } // x[1] = 93.970317, Y = 85
817 if i == 2 { return 96431 } // x[2] = 96.431113, Y = 90
818 if i == 3 { return 98937 } // x[3] = 98.937264, Y = 95
819 if i == 4 { return 101489 } // x[4] = 101.488909, Y = 100
820 if i == 5 { return 104086 } // x[5] = 104.086010, Y = 105
821 if i == 6 { return 106729 } // x[6] = 106.728780, Y = 110
822 if i == 7 { return 109417 } // x[7] = 109.417062, Y = 115
823 if i == 8 { return 112151 } // x[8] = 112.150914, Y = 120
824 if i == 9 { return 114930 } // x[9] = 114.930279, Y = 125
825 if i == 10 { return 117755 } // x[10] = 117.755065, Y = 130
826 if i == 11 { return 120625 } // x[11] = 120.625143, Y = 135
827 if i == 12 { return 123540 } // x[12] = 123.540431, Y = 140
828 if i == 13 { return 126501 } // x[13] = 126.500927, Y = 145
829 if i == 14 { return 129506 } // x[14] = 129.506371, Y = 150
830 if i == 15 { return 132557 } // x[15] = 132.556551, Y = 155
831 if i == 16 { return 135651 } // x[16] = 135.651450, Y = 160
832 if i == 17 { return 138790 } // x[17] = 138.790477, Y = 165
833 if i == 18 { return 141973 } // x[18] = 141.973357, Y = 170
834 if i == 19 { return 145200 } // x[19] = 145.200176, Y = 175
835 if i == 20 { return 148471 } // x[20] = 148.470504, Y = 180
836 if i == 21 { return 151783 } // x[21] = 151.783478, Y = 185
837 if i == 22 { return 155139 } // x[22] = 155.139376, Y = 190
838 if i == 23 { return 158537 } // x[23] = 158.537455, Y = 195
839 if i == 24 { return 161977 } // x[24] = 161.977357, Y = 200
840 if i == 25 { return 165458 } // x[25] = 165.458477, Y = 205
841 if i == 26 { return 168981 } // x[26] = 168.980630, Y = 210
842 if i == 27 { return 172543 } // x[27] = 172.543258, Y = 215
843 if i == 28 { return 176146 } // x[28] = 176.145951, Y = 220
844 if i == 29 { return 179788 } // x[29] = 179.788203, Y = 225
845 if i == 30 { return 183469 } // x[30] = 183.469266, Y = 230
846 if i == 31 { return 187188 } // x[31] = 187.188166, Y = 235
847 if i == 32 { return 190946 } // x[32] = 190.945533, Y = 240
848 if i == 33 { return 194740 } // x[33] = 194.739618, Y = 245
849 if i == 34 { return 198570 } // x[34] = 198.570460, Y = 250
850 if i == 35 { return 202437 } // x[35] = 202.437447, Y = 255
851 if i == 36 { return 206339 } // x[36] = 206.339379, Y = 260
852 if i == 37 { return 210276 } // x[37] = 210.276276, Y = 265
853 if i == 38 { return 214247 } // x[38] = 214.247092, Y = 270
854 if i == 39 { return 218251 } // x[39] = 218.251243, Y = 275
855 if i == 40 { return 222288 } // x[40] = 222.288169, Y = 280
856 if i == 41 { return 226358 } // x[41] = 226.357728, Y = 285
857 if i == 42 { return 230459 } // x[42] = 230.458810, Y = 290
858 if i == 43 { return 234590 } // x[43] = 234.590263, Y = 295
859 if i == 44 { return 238752 } // x[44] = 238.751826, Y = 300
860 if i == 45 { return 242943 } // x[45] = 242.942859, Y = 305
861 if i == 46 { return 247163 } // x[46] = 247.162518, Y = 310
862 if i == 47 { return 251410 } // x[47] = 251.410098, Y = 315
863 if i == 48 { return 255686 } // x[48] = 255.685517, Y = 320
864 if i == 49 { return 259987 } // x[49] = 259.987202, Y = 325
865 if i == 50 { return 264315 } // x[50] = 264.314569, Y = 330
866 if i == 51 { return 268667 } // x[51] = 268.667458, Y = 335
867 if i == 52 { return 273045 } // x[52] = 273.044873, Y = 340
868 if i == 53 { return 277445 } // x[53] = 277.445418, Y = 345
869 if i == 54 { return 281869 } // x[54] = 281.869296, Y = 350
870 if i == 55 { return 286317 } // x[55] = 286.316796, Y = 355
871 if i == 56 { return 290785 } // x[56] = 290.785471, Y = 360
872 if i == 57 { return 295276 } // x[57] = 295.276055, Y = 365
873 if i == 58 { return 299788 } // x[58] = 299.788143, Y = 370
874 if i == 59 { return 304320 } // x[59] = 304.319743, Y = 375
875 if i == 60 { return 308870 } // x[60] = 308.869691, Y = 380
876 if i == 61 { return 313439 } // x[61] = 313.438842, Y = 385
877 if i == 62 { return 318027 } // x[62] = 318.026761, Y = 390
878 if i == 63 { return 322632 } // x[63] = 322.632499, Y = 395
879 if i == 64 { return 327255 } // x[64] = 327.254588, Y = 400
880 if i == 65 { return 331893 } // x[65] = 331.892954, Y = 405
881 if i == 66 { return 336547 } // x[66] = 336.547483, Y = 410
882 if i == 67 { return 341218 } // x[67] = 341.217702, Y = 415
883 if i == 68 { return 345902 } // x[68] = 345.901880, Y = 420
884 if i == 69 { return 350601 } // x[69] = 350.601214, Y = 425
885 if i == 70 { return 355314 } // x[70] = 355.313731, Y = 430
886 if i == 71 { return 360039 } // x[71] = 360.038868, Y = 435
887 if i == 72 { return 364777 } // x[72] = 364.777348, Y = 440
888 if i == 73 { return 369526 } // x[73] = 369.526476, Y = 445
889 if i == 74 { return 374289 } // x[74] = 374.288795, Y = 450
890 if i == 75 { return 379062 } // x[75] = 379.061811, Y = 455
891 if i == 76 { return 383846 } // x[76] = 383.846122, Y = 460
892 if i == 77 { return 388641 } // x[77] = 388.640850, Y = 465
893 if i == 78 { return 393446 } // x[78] = 393.446218, Y = 470
894 if i == 79 { return 398261 } // x[79] = 398.260691, Y = 475
895 if i == 80 { return 403085 } // x[80] = 403.084626, Y = 480
896 if i == 81 { return 407916 } // x[81] = 407.916053, Y = 485
897 if i == 82 { return 412756 } // x[82] = 412.755659, Y = 490
898 if i == 83 { return 417605 } // x[83] = 417.604951, Y = 495
899 if i == 84 { return 422461 } // x[84] = 422.461448, Y = 500
900 if i == 85 { return 427324 } // x[85] = 427.324128, Y = 505
901 if i == 86 { return 432195 } // x[86] = 432.195028, Y = 510
902 if i == 87 { return 437072 } // x[87] = 437.072269, Y = 515
903 if i == 88 { return 441956 } // x[88] = 441.956190, Y = 520
904 if i == 89 { return 446846 } // x[89] = 446.846167, Y = 525
905 if i == 90 { return 451741 } // x[90] = 451.741463, Y = 530
906 if i == 91 { return 456642 } // x[91] = 456.641868, Y = 535
907 if i == 92 { return 461549 } // x[92] = 461.549478, Y = 540
908 if i == 93 { return 466461 } // x[93] = 466.461280, Y = 545
909 if i == 94 { return 471377 } // x[94] = 471.377098, Y = 550
910 if i == 95 { return 476297 } // x[95] = 476.297446, Y = 555
911 if i == 96 { return 481223 } // x[96] = 481.222717, Y = 560
912 if i == 97 { return 486152 } // x[97] = 486.151860, Y = 565
913 if i == 98 { return 491085 } // x[98] = 491.085033, Y = 570
914 if i == 99 { return 496022 } // x[99] = 496.022133, Y = 575
915 if i == 100 { return 500963 } // x[100] = 500.962856, Y = 580
916 if i == 101 { return 505907 } // x[101] = 505.906586, Y = 585
917 if i == 102 { return 510854 } // x[102] = 510.853868, Y = 590
918 if i == 103 { return 515803 } // x[103] = 515.802981, Y = 595
919 if i == 104 { return 520755 } // x[104] = 520.755460, Y = 600
920 if i == 105 { return 525711 } // x[105] = 525.711123, Y = 605
921 if i == 106 { return 530669 } // x[106] = 530.668833, Y = 610
922 if i == 107 { return 535630 } // x[107] = 535.629910, Y = 615
923 if i == 108 { return 540592 } // x[108] = 540.592334, Y = 620
924 if i == 109 { return 545558 } // x[109] = 545.557764, Y = 625
925 if i == 110 { return 550525 } // x[110] = 550.525455, Y = 630
926 if i == 111 { return 555494 } // x[111] = 555.494082, Y = 635
927 if i == 112 { return 560464 } // x[112] = 560.463996, Y = 640
928 if i == 113 { return 565436 } // x[113] = 565.436164, Y = 645
929 if i == 114 { return 570411 } // x[114] = 570.410847, Y = 650
930 if i == 115 { return 575386 } // x[115] = 575.385933, Y = 655
931 if i == 116 { return 580362 } // x[116] = 580.361996, Y = 660
932 if i == 117 { return 585339 } // x[117] = 585.339352, Y = 665
933 if i == 118 { return 590318 } // x[118] = 590.318151, Y = 670
934 if i == 119 { return 595300 } // x[119] = 595.300216, Y = 675
935 if i == 120 { return 600282 } // x[120] = 600.281543, Y = 680
936 if i == 121 { return 605264 } // x[121] = 605.264482, Y = 685
937 if i == 122 { return 610250 } // x[122] = 610.250114, Y = 690
938 if i == 123 { return 615237 } // x[123] = 615.236608, Y = 695
939 if i == 124 { return 620222 } // x[124] = 620.222025, Y = 700
940 if i == 125 { return 625208 } // x[125] = 625.208433, Y = 705
941 if i == 126 { return 630195 } // x[126] = 630.195367, Y = 710
942 if i == 127 { return 635184 } // x[127] = 635.183997, Y = 715
943 if i == 128 { return 640172 } // x[128] = 640.172271, Y = 720
944 if i == 129 { return 645163 } // x[129] = 645.162589, Y = 725
945 if i == 130 { return 650154 } // x[130] = 650.153647, Y = 730
946 if i == 131 { return 655144 } // x[131] = 655.144276, Y = 735
947 if i == 132 { return 660134 } // x[132] = 660.133923, Y = 740
948 if i == 133 { return 665124 } // x[133] = 665.123818, Y = 745
949 if i == 134 { return 670116 } // x[134] = 670.115789, Y = 750
950 if i == 135 { return 675109 } // x[135] = 675.109169, Y = 755
951 if i == 136 { return 680103 } // x[136] = 680.103270, Y = 760
952 if i == 137 { return 685097 } // x[137] = 685.097349, Y = 765
953 if i == 138 { return 690092 } // x[138] = 690.091960, Y = 770
954 if i == 139 { return 695086 } // x[139] = 695.086028, Y = 775
955 if i == 140 { return 700080 } // x[140] = 700.080326, Y = 780
956 if i == 141 { return 705076 } // x[141] = 705.075670, Y = 785
957 if i == 142 { return 710070 } // x[142] = 710.069697, Y = 790
958 if i == 143 { return 715065 } // x[143] = 715.065265, Y = 795
959 if i == 144 { return 720062 } // x[144] = 720.062426, Y = 800
960 if i == 145 { return 725059 } // x[145] = 725.058529, Y = 805
961 if i == 146 { return 730055 } // x[146] = 730.054916, Y = 810
962 if i == 147 { return 735051 } // x[147] = 735.050560, Y = 815
963 if i == 148 { return 740049 } // x[148] = 740.048508, Y = 820
964 if i == 149 { return 745045 } // x[149] = 745.044790, Y = 825
965 if i == 150 { return 750041 } // x[150] = 750.041067, Y = 830
966 if i == 151 { return 755038 } // x[151] = 755.037833, Y = 835
967 if i == 152 { return 760035 } // x[152] = 760.035090, Y = 840
968 if i == 153 { return 765033 } // x[153] = 765.033371, Y = 845
969 if i == 154 { return 770030 } // x[154] = 770.029865, Y = 850
970 if i == 155 { return 775026 } // x[155] = 775.025946, Y = 855
971 if i == 156 { return 780022 } // x[156] = 780.022408, Y = 860
972 if i == 157 { return 785022 } // x[157] = 785.021534, Y = 865
973 if i == 158 { return 790019 } // x[158] = 790.018699, Y = 870
974 if i == 159 { return 795017 } // x[159] = 795.016742, Y = 875
975 if i == 160 { return 800014 } // x[160] = 800.013947, Y = 880
976 if i == 161 { return 805013 } // x[161] = 805.012680, Y = 885
977 if i == 162 { return 810009 } // x[162] = 810.009483, Y = 890
978 if i == 163 { return 815008 } // x[163] = 815.007921, Y = 895
979 if i == 164 { return 820009 } // x[164] = 820.008589, Y = 900
980 if i == 165 { return 825008 } // x[165] = 825.007658, Y = 905
981 if i == 166 { return 830007 } // x[166] = 830.007411, Y = 910
982 if i == 167 { return 835007 } // x[167] = 835.006892, Y = 915
983 if i == 168 { return 840007 } // x[168] = 840.006917, Y = 920
984 if i == 169 { return 845006 } // x[169] = 845.006362, Y = 925
985 if i == 170 { return 850005 } // x[170] = 850.004606, Y = 930
986 if i == 171 { return 855003 } // x[171] = 855.003367, Y = 935
987 if i == 172 { return 860001 } // x[172] = 860.001219, Y = 940
988 if i == 173 { return 864999 } // x[173] = 864.999491, Y = 945
989 if i == 174 { return 869999 } // x[174] = 869.999131, Y = 950
990 if i == 175 { return 874998 } // x[175] = 874.998190, Y = 955
991 if i == 176 { return 879998 } // x[176] = 879.998460, Y = 960
992 if i == 177 { return 884997 } // x[177] = 884.997482, Y = 965
993 if i == 178 { return 889996 } // x[178] = 889.995952, Y = 970
994 if i == 179 { return 894995 } // x[179] = 894.995130, Y = 975
995 if i == 180 { return 899995 } // x[180] = 899.994555, Y = 980
996 if i == 181 { return 904993 } // x[181] = 904.993474, Y = 985
997 if i == 182 { return 909991 } // x[182] = 909.991434, Y = 990
998 if i == 183 { return 914991 } // x[183] = 914.990519, Y = 995
999 if i == 184 { return 919992 } // x[184] = 919.991564, Y = 1000
1000 if i == 185 { return 924992 } // x[185] = 924.992234, Y = 1005
1001 if i == 186 { return 929994 } // x[186] = 929.993901, Y = 1010
1002 if i == 187 { return 934992 } // x[187] = 934.992310, Y = 1015
1003 if i == 188 { return 939992 } // x[188] = 939.992013, Y = 1020
1004 if i == 189 { return 944993 } // x[189] = 944.993341, Y = 1025
1005 if i == 190 { return 949994 } // x[190] = 949.993576, Y = 1030
1006 if i == 191 { return 954993 } // x[191] = 954.992981, Y = 1035
1007 if i == 192 { return 959994 } // x[192] = 959.993548, Y = 1040
1008 if i == 193 { return 964994 } // x[193] = 964.993781, Y = 1045
1009 if i == 194 { return 969993 } // x[194] = 969.993129, Y = 1050
1010 if i == 195 { return 974994 } // x[195] = 974.994050, Y = 1055
1011 if i == 196 { return 979995 } // x[196] = 979.994706, Y = 1060
1012 if i == 197 { return 984994 } // x[197] = 984.994372, Y = 1065
1013 if i == 198 { return 989994 } // x[198] = 989.994395, Y = 1070
1014 if i == 199 { return 994995 } // x[199] = 994.995339, Y = 1075
1015 if i == 200 { return 999996 } // x[200] = 999.995544, Y = 1080
1016 if i == 201 { return 1004995 } // x[201] = 1004.995498, Y = 1085
1017 if i == 202 { return 1009997 } // x[202] = 1009.996864, Y = 1090
1018 if i == 203 { return 1014998 } // x[203] = 1014.997829, Y = 1095
1019 if i == 204 { return 1019997 } // x[204] = 1019.996531, Y = 1100
1020 if i == 205 { return 1024997 } // x[205] = 1024.996724, Y = 1105
1021 if i == 206 { return 1029998 } // x[206] = 1029.997574, Y = 1110
1022 if i == 207 { return 1034999 } // x[207] = 1034.998591, Y = 1115
1023 if i == 208 { return 1039998 } // x[208] = 1039.997807, Y = 1120
1024 if i == 209 { return 1044999 } // x[209] = 1044.998954, Y = 1125
1025 if i == 210 { return 1050000 } // x[210] = 1050.000113, Y = 1130
1026 if i == 211 { return 1055001 } // x[211] = 1055.000633, Y = 1135
1027 if i == 212 { return 1060001 } // x[212] = 1060.000845, Y = 1140
1028 if i == 213 { return 1065001 } // x[213] = 1065.000760, Y = 1145
1029 if i == 214 { return 1070001 } // x[214] = 1070.000907, Y = 1150
1030 if i == 215 { return 1075001 } // x[215] = 1075.001248, Y = 1155
1031 if i == 216 { return 1080001 } // x[216] = 1080.001187, Y = 1160
1032 if i == 217 { return 1085000 } // x[217] = 1084.999775, Y = 1165
1033 if i == 218 { return 1089999 } // x[218] = 1089.999105, Y = 1170
1034 if i == 219 { return 1095000 } // x[219] = 1094.999647, Y = 1175
1035 if i == 220 { return 1100002 } // x[220] = 1100.001983, Y = 1180
1036 if i == 221 { return 1105003 } // x[221] = 1105.003468, Y = 1185
1037 if i == 222 { return 1110005 } // x[222] = 1110.004542, Y = 1190
1038 if i == 223 { return 1115005 } // x[223] = 1115.005170, Y = 1195
1039 if i == 224 { return 1120007 } // x[224] = 1120.006517, Y = 1200
1040 if i == 225 { return 1125006 } // x[225] = 1125.006493, Y = 1205
1041 if i == 226 { return 1130007 } // x[226] = 1130.006837, Y = 1210
1042 if i == 227 { return 1135008 } // x[227] = 1135.008369, Y = 1215
1043 if i == 228 { return 1140007 } // x[228] = 1140.006966, Y = 1220
1044 if i == 229 { return 1145009 } // x[229] = 1145.009225, Y = 1225
1045 if i == 230 { return 1150008 } // x[230] = 1150.008497, Y = 1230
1046 if i == 231 { return 1155010 } // x[231] = 1155.009589, Y = 1235
1047 if i == 232 { return 1160010 } // x[232] = 1160.009558, Y = 1240
1048 if i == 233 { return 1165011 } // x[233] = 1165.011395, Y = 1245
1049 if i == 234 { return 1170010 } // x[234] = 1170.009739, Y = 1250
1050 if i == 235 { return 1175011 } // x[235] = 1175.011131, Y = 1255
1051 if i == 236 { return 1180013 } // x[236] = 1180.013303, Y = 1260
1052 if i == 237 { return 1185013 } // x[237] = 1185.012525, Y = 1265
1053 if i == 238 { return 1190014 } // x[238] = 1190.014190, Y = 1270
1054 if i == 239 { return 1195016 } // x[239] = 1195.016399, Y = 1275
1055 if i == 240 { return 1200016 } // x[240] = 1200.016087, Y = 1280
1056 if i == 241 { return 1205017 } // x[241] = 1205.016715, Y = 1285
1057 if i == 242 { return 1210018 } // x[242] = 1210.018008, Y = 1290
1058 if i == 243 { return 1215018 } // x[243] = 1215.018108, Y = 1295
1059 if i == 244 { return 1220020 } // x[244] = 1220.019677, Y = 1300
1060 if i == 245 { return 1225020 } // x[245] = 1225.020269, Y = 1305
1061 if i == 246 { return 1230019 } // x[246] = 1230.019468, Y = 1310
1062 if i == 247 { return 1235021 } // x[247] = 1235.020515, Y = 1315
1063 if i == 248 { return 1240022 } // x[248] = 1240.021850, Y = 1320
1064 if i == 249 { return 1245021 } // x[249] = 1245.020961, Y = 1325
1065 if i == 250 { return 1250020 } // x[250] = 1250.019785, Y = 1330
1066 if i == 251 { return 1255020 } // x[251] = 1255.020253, Y = 1335
1067 if i == 252 { return 1260021 } // x[252] = 1260.020623, Y = 1340
1068 if i == 253 { return 1265020 } // x[253] = 1265.020156, Y = 1345
1069 if i == 254 { return 1270021 } // x[254] = 1270.020625, Y = 1350
1070 if i == 255 { return 1275019 } // x[255] = 1275.019028, Y = 1355
1071 if i == 256 { return 1280020 } // x[256] = 1280.019972, Y = 1360
1072 return -1
1073}
1074
1075// lg_k=8: dsIdx=4, threshold=220, stride=10, n_samples=257
1076const NX_HLL_BIAS_DS_LGK8_N: i64 = 257
1077const NX_HLL_BIAS_DS_LGK8_STRIDE: i64 = 10
1078const NX_HLL_BIAS_DS_LGK8_BASE: i64 = 220
1079func nx_hll_bias_ds_x_lgk8(i: i64) -> i64 {
1080 if i == 0 { return 183878 } // x[0] = 183.877784, Y = 220
1081 if i == 1 { return 188720 } // x[1] = 188.720097, Y = 230
1082 if i == 2 { return 193652 } // x[2] = 193.652407, Y = 240
1083 if i == 3 { return 198675 } // x[3] = 198.675131, Y = 250
1084 if i == 4 { return 203788 } // x[4] = 203.788397, Y = 260
1085 if i == 5 { return 208992 } // x[5] = 208.992238, Y = 270
1086 if i == 6 { return 214287 } // x[6] = 214.286620, Y = 280
1087 if i == 7 { return 219672 } // x[7] = 219.671580, Y = 290
1088 if i == 8 { return 225147 } // x[8] = 225.147277, Y = 300
1089 if i == 9 { return 230714 } // x[9] = 230.713559, Y = 310
1090 if i == 10 { return 236370 } // x[10] = 236.370208, Y = 320
1091 if i == 11 { return 242117 } // x[11] = 242.117078, Y = 330
1092 if i == 12 { return 247954 } // x[12] = 247.953569, Y = 340
1093 if i == 13 { return 253880 } // x[13] = 253.880078, Y = 350
1094 if i == 14 { return 259896 } // x[14] = 259.895869, Y = 360
1095 if i == 15 { return 266000 } // x[15] = 266.000405, Y = 370
1096 if i == 16 { return 272194 } // x[16] = 272.193694, Y = 380
1097 if i == 17 { return 278474 } // x[17] = 278.474457, Y = 390
1098 if i == 18 { return 284843 } // x[18] = 284.843102, Y = 400
1099 if i == 19 { return 291298 } // x[19] = 291.298228, Y = 410
1100 if i == 20 { return 297840 } // x[20] = 297.839692, Y = 420
1101 if i == 21 { return 304466 } // x[21] = 304.466434, Y = 430
1102 if i == 22 { return 311177 } // x[22] = 311.177471, Y = 440
1103 if i == 23 { return 317973 } // x[23] = 317.972674, Y = 450
1104 if i == 24 { return 324851 } // x[24] = 324.850719, Y = 460
1105 if i == 25 { return 331811 } // x[25] = 331.811076, Y = 470
1106 if i == 26 { return 338853 } // x[26] = 338.852902, Y = 480
1107 if i == 27 { return 345975 } // x[27] = 345.974709, Y = 490
1108 if i == 28 { return 353176 } // x[28] = 353.175880, Y = 500
1109 if i == 29 { return 360455 } // x[29] = 360.455237, Y = 510
1110 if i == 30 { return 367812 } // x[30] = 367.811613, Y = 520
1111 if i == 31 { return 375244 } // x[31] = 375.244484, Y = 530
1112 if i == 32 { return 382752 } // x[32] = 382.752472, Y = 540
1113 if i == 33 { return 390334 } // x[33] = 390.334218, Y = 550
1114 if i == 34 { return 397989 } // x[34] = 397.988777, Y = 560
1115 if i == 35 { return 405715 } // x[35] = 405.714596, Y = 570
1116 if i == 36 { return 413511 } // x[36] = 413.510671, Y = 580
1117 if i == 37 { return 421376 } // x[37] = 421.376147, Y = 590
1118 if i == 38 { return 429309 } // x[38] = 429.308973, Y = 600
1119 if i == 39 { return 437308 } // x[39] = 437.308197, Y = 610
1120 if i == 40 { return 445372 } // x[40] = 445.372302, Y = 620
1121 if i == 41 { return 453500 } // x[41] = 453.500121, Y = 630
1122 if i == 42 { return 461691 } // x[42] = 461.690796, Y = 640
1123 if i == 43 { return 469942 } // x[43] = 469.942249, Y = 650
1124 if i == 44 { return 478254 } // x[44] = 478.253652, Y = 660
1125 if i == 45 { return 486623 } // x[45] = 486.623402, Y = 670
1126 if i == 46 { return 495050 } // x[46] = 495.049662, Y = 680
1127 if i == 47 { return 503532 } // x[47] = 503.532193, Y = 690
1128 if i == 48 { return 512069 } // x[48] = 512.068670, Y = 700
1129 if i == 49 { return 520658 } // x[49] = 520.658371, Y = 710
1130 if i == 50 { return 529299 } // x[50] = 529.299186, Y = 720
1131 if i == 51 { return 537991 } // x[51] = 537.990886, Y = 730
1132 if i == 52 { return 546732 } // x[52] = 546.732097, Y = 740
1133 if i == 53 { return 555520 } // x[53] = 555.520093, Y = 750
1134 if i == 54 { return 564356 } // x[54] = 564.355935, Y = 760
1135 if i == 55 { return 573236 } // x[55] = 573.235689, Y = 770
1136 if i == 56 { return 582159 } // x[56] = 582.159345, Y = 780
1137 if i == 57 { return 591126 } // x[57] = 591.126063, Y = 790
1138 if i == 58 { return 600133 } // x[58] = 600.133321, Y = 800
1139 if i == 59 { return 609181 } // x[59] = 609.181348, Y = 810
1140 if i == 60 { return 618268 } // x[60] = 618.267848, Y = 820
1141 if i == 61 { return 627392 } // x[61] = 627.392384, Y = 830
1142 if i == 62 { return 636553 } // x[62] = 636.552822, Y = 840
1143 if i == 63 { return 645748 } // x[63] = 645.748152, Y = 850
1144 if i == 64 { return 654978 } // x[64] = 654.977601, Y = 860
1145 if i == 65 { return 664240 } // x[65] = 664.239902, Y = 870
1146 if i == 66 { return 673534 } // x[66] = 673.534497, Y = 880
1147 if i == 67 { return 682859 } // x[67] = 682.859448, Y = 890
1148 if i == 68 { return 692214 } // x[68] = 692.213983, Y = 900
1149 if i == 69 { return 701599 } // x[69] = 701.598606, Y = 910
1150 if i == 70 { return 711009 } // x[70] = 711.009376, Y = 920
1151 if i == 71 { return 720447 } // x[71] = 720.446781, Y = 930
1152 if i == 72 { return 729911 } // x[72] = 729.910995, Y = 940
1153 if i == 73 { return 739398 } // x[73] = 739.397888, Y = 950
1154 if i == 74 { return 748909 } // x[74] = 748.908546, Y = 960
1155 if i == 75 { return 758444 } // x[75] = 758.443812, Y = 970
1156 if i == 76 { return 768001 } // x[76] = 768.000572, Y = 980
1157 if i == 77 { return 777578 } // x[77] = 777.577584, Y = 990
1158 if i == 78 { return 787175 } // x[78] = 787.174815, Y = 1000
1159 if i == 79 { return 796791 } // x[79] = 796.791250, Y = 1010
1160 if i == 80 { return 806427 } // x[80] = 806.427107, Y = 1020
1161 if i == 81 { return 816080 } // x[81] = 816.079660, Y = 1030
1162 if i == 82 { return 825748 } // x[82] = 825.748493, Y = 1040
1163 if i == 83 { return 835436 } // x[83] = 835.435992, Y = 1050
1164 if i == 84 { return 845137 } // x[84] = 845.136828, Y = 1060
1165 if i == 85 { return 854854 } // x[85] = 854.854141, Y = 1070
1166 if i == 86 { return 864584 } // x[86] = 864.583886, Y = 1080
1167 if i == 87 { return 874328 } // x[87] = 874.328396, Y = 1090
1168 if i == 88 { return 884086 } // x[88] = 884.085720, Y = 1100
1169 if i == 89 { return 893856 } // x[89] = 893.855568, Y = 1110
1170 if i == 90 { return 903638 } // x[90] = 903.637568, Y = 1120
1171 if i == 91 { return 913431 } // x[91] = 913.431080, Y = 1130
1172 if i == 92 { return 923235 } // x[92] = 923.234553, Y = 1140
1173 if i == 93 { return 933050 } // x[93] = 933.049830, Y = 1150
1174 if i == 94 { return 942874 } // x[94] = 942.873895, Y = 1160
1175 if i == 95 { return 952708 } // x[95] = 952.707793, Y = 1170
1176 if i == 96 { return 962552 } // x[96] = 962.551743, Y = 1180
1177 if i == 97 { return 972402 } // x[97] = 972.402421, Y = 1190
1178 if i == 98 { return 982263 } // x[98] = 982.263001, Y = 1200
1179 if i == 99 { return 992131 } // x[99] = 992.131464, Y = 1210
1180 if i == 100 { return 1002007 } // x[100] = 1002.006941, Y = 1220
1181 if i == 101 { return 1011888 } // x[101] = 1011.888460, Y = 1230
1182 if i == 102 { return 1021777 } // x[102] = 1021.777462, Y = 1240
1183 if i == 103 { return 1031671 } // x[103] = 1031.671376, Y = 1250
1184 if i == 104 { return 1041570 } // x[104] = 1041.569600, Y = 1260
1185 if i == 105 { return 1051477 } // x[105] = 1051.476632, Y = 1270
1186 if i == 106 { return 1061387 } // x[106] = 1061.386996, Y = 1280
1187 if i == 107 { return 1071303 } // x[107] = 1071.302834, Y = 1290
1188 if i == 108 { return 1081224 } // x[108] = 1081.224251, Y = 1300
1189 if i == 109 { return 1091149 } // x[109] = 1091.148847, Y = 1310
1190 if i == 110 { return 1101080 } // x[110] = 1101.080297, Y = 1320
1191 if i == 111 { return 1111014 } // x[111] = 1111.013589, Y = 1330
1192 if i == 112 { return 1120952 } // x[112] = 1120.951962, Y = 1340
1193 if i == 113 { return 1130893 } // x[113] = 1130.893360, Y = 1350
1194 if i == 114 { return 1140838 } // x[114] = 1140.838011, Y = 1360
1195 if i == 115 { return 1150786 } // x[115] = 1150.786112, Y = 1370
1196 if i == 116 { return 1160737 } // x[116] = 1160.737100, Y = 1380
1197 if i == 117 { return 1170690 } // x[117] = 1170.689817, Y = 1390
1198 if i == 118 { return 1180647 } // x[118] = 1180.646908, Y = 1400
1199 if i == 119 { return 1190605 } // x[119] = 1190.604979, Y = 1410
1200 if i == 120 { return 1200565 } // x[120] = 1200.565150, Y = 1420
1201 if i == 121 { return 1210528 } // x[121] = 1210.527894, Y = 1430
1202 if i == 122 { return 1220492 } // x[122] = 1220.492169, Y = 1440
1203 if i == 123 { return 1230460 } // x[123] = 1230.460128, Y = 1450
1204 if i == 124 { return 1240430 } // x[124] = 1240.429764, Y = 1460
1205 if i == 125 { return 1250402 } // x[125] = 1250.401749, Y = 1470
1206 if i == 126 { return 1260373 } // x[126] = 1260.373274, Y = 1480
1207 if i == 127 { return 1270350 } // x[127] = 1270.349608, Y = 1490
1208 if i == 128 { return 1280326 } // x[128] = 1280.325544, Y = 1500
1209 if i == 129 { return 1290302 } // x[129] = 1290.302087, Y = 1510
1210 if i == 130 { return 1300279 } // x[130] = 1300.279074, Y = 1520
1211 if i == 131 { return 1310258 } // x[131] = 1310.257850, Y = 1530
1212 if i == 132 { return 1320239 } // x[132] = 1320.238948, Y = 1540
1213 if i == 133 { return 1330221 } // x[133] = 1330.221273, Y = 1550
1214 if i == 134 { return 1340204 } // x[134] = 1340.203554, Y = 1560
1215 if i == 135 { return 1350187 } // x[135] = 1350.186669, Y = 1570
1216 if i == 136 { return 1360171 } // x[136] = 1360.171345, Y = 1580
1217 if i == 137 { return 1370156 } // x[137] = 1370.156233, Y = 1590
1218 if i == 138 { return 1380143 } // x[138] = 1380.142561, Y = 1600
1219 if i == 139 { return 1390130 } // x[139] = 1390.129535, Y = 1610
1220 if i == 140 { return 1400119 } // x[140] = 1400.119177, Y = 1620
1221 if i == 141 { return 1410108 } // x[141] = 1410.107938, Y = 1630
1222 if i == 142 { return 1420097 } // x[142] = 1420.097171, Y = 1640
1223 if i == 143 { return 1430088 } // x[143] = 1430.087586, Y = 1650
1224 if i == 144 { return 1440078 } // x[144] = 1440.077831, Y = 1660
1225 if i == 145 { return 1450068 } // x[145] = 1450.067996, Y = 1670
1226 if i == 146 { return 1460060 } // x[146] = 1460.060299, Y = 1680
1227 if i == 147 { return 1470050 } // x[147] = 1470.050059, Y = 1690
1228 if i == 148 { return 1480043 } // x[148] = 1480.042995, Y = 1700
1229 if i == 149 { return 1490035 } // x[149] = 1490.035101, Y = 1710
1230 if i == 150 { return 1500027 } // x[150] = 1500.026878, Y = 1720
1231 if i == 151 { return 1510021 } // x[151] = 1510.021128, Y = 1730
1232 if i == 152 { return 1520014 } // x[152] = 1520.014262, Y = 1740
1233 if i == 153 { return 1530008 } // x[153] = 1530.008487, Y = 1750
1234 if i == 154 { return 1540003 } // x[154] = 1540.002895, Y = 1760
1235 if i == 155 { return 1549996 } // x[155] = 1549.996342, Y = 1770
1236 if i == 156 { return 1559991 } // x[156] = 1559.991075, Y = 1780
1237 if i == 157 { return 1569987 } // x[157] = 1569.986665, Y = 1790
1238 if i == 158 { return 1579981 } // x[158] = 1579.981202, Y = 1800
1239 if i == 159 { return 1589976 } // x[159] = 1589.976021, Y = 1810
1240 if i == 160 { return 1599970 } // x[160] = 1599.969512, Y = 1820
1241 if i == 161 { return 1609964 } // x[161] = 1609.964051, Y = 1830
1242 if i == 162 { return 1619959 } // x[162] = 1619.959210, Y = 1840
1243 if i == 163 { return 1629957 } // x[163] = 1629.957092, Y = 1850
1244 if i == 164 { return 1639954 } // x[164] = 1639.953516, Y = 1860
1245 if i == 165 { return 1649948 } // x[165] = 1649.948113, Y = 1870
1246 if i == 166 { return 1659947 } // x[166] = 1659.946715, Y = 1880
1247 if i == 167 { return 1669945 } // x[167] = 1669.945253, Y = 1890
1248 if i == 168 { return 1679942 } // x[168] = 1679.941736, Y = 1900
1249 if i == 169 { return 1689939 } // x[169] = 1689.938651, Y = 1910
1250 if i == 170 { return 1699938 } // x[170] = 1699.937600, Y = 1920
1251 if i == 171 { return 1709936 } // x[171] = 1709.936396, Y = 1930
1252 if i == 172 { return 1719934 } // x[172] = 1719.933608, Y = 1940
1253 if i == 173 { return 1729931 } // x[173] = 1729.931040, Y = 1950
1254 if i == 174 { return 1739930 } // x[174] = 1739.930316, Y = 1960
1255 if i == 175 { return 1749927 } // x[175] = 1749.927141, Y = 1970
1256 if i == 176 { return 1759923 } // x[176] = 1759.922600, Y = 1980
1257 if i == 177 { return 1769921 } // x[177] = 1769.920847, Y = 1990
1258 if i == 178 { return 1779919 } // x[178] = 1779.918614, Y = 2000
1259 if i == 179 { return 1789916 } // x[179] = 1789.915707, Y = 2010
1260 if i == 180 { return 1799913 } // x[180] = 1799.913000, Y = 2020
1261 if i == 181 { return 1809911 } // x[181] = 1809.910958, Y = 2030
1262 if i == 182 { return 1819909 } // x[182] = 1819.908532, Y = 2040
1263 if i == 183 { return 1829907 } // x[183] = 1829.906905, Y = 2050
1264 if i == 184 { return 1839903 } // x[184] = 1839.903410, Y = 2060
1265 if i == 185 { return 1849904 } // x[185] = 1849.904217, Y = 2070
1266 if i == 186 { return 1859902 } // x[186] = 1859.901705, Y = 2080
1267 if i == 187 { return 1869899 } // x[187] = 1869.898815, Y = 2090
1268 if i == 188 { return 1879899 } // x[188] = 1879.898869, Y = 2100
1269 if i == 189 { return 1889899 } // x[189] = 1889.899032, Y = 2110
1270 if i == 190 { return 1899899 } // x[190] = 1899.899113, Y = 2120
1271 if i == 191 { return 1909896 } // x[191] = 1909.896164, Y = 2130
1272 if i == 192 { return 1919893 } // x[192] = 1919.893199, Y = 2140
1273 if i == 193 { return 1929895 } // x[193] = 1929.894515, Y = 2150
1274 if i == 194 { return 1939895 } // x[194] = 1939.894965, Y = 2160
1275 if i == 195 { return 1949893 } // x[195] = 1949.893184, Y = 2170
1276 if i == 196 { return 1959892 } // x[196] = 1959.892164, Y = 2180
1277 if i == 197 { return 1969891 } // x[197] = 1969.890794, Y = 2190
1278 if i == 198 { return 1979889 } // x[198] = 1979.889035, Y = 2200
1279 if i == 199 { return 1989888 } // x[199] = 1989.888005, Y = 2210
1280 if i == 200 { return 1999889 } // x[200] = 1999.888538, Y = 2220
1281 if i == 201 { return 2009888 } // x[201] = 2009.888252, Y = 2230
1282 if i == 202 { return 2019889 } // x[202] = 2019.888976, Y = 2240
1283 if i == 203 { return 2029890 } // x[203] = 2029.890242, Y = 2250
1284 if i == 204 { return 2039891 } // x[204] = 2039.890655, Y = 2260
1285 if i == 205 { return 2049891 } // x[205] = 2049.891065, Y = 2270
1286 if i == 206 { return 2059891 } // x[206] = 2059.891068, Y = 2280
1287 if i == 207 { return 2069889 } // x[207] = 2069.889204, Y = 2290
1288 if i == 208 { return 2079891 } // x[208] = 2079.891120, Y = 2300
1289 if i == 209 { return 2089892 } // x[209] = 2089.892462, Y = 2310
1290 if i == 210 { return 2099892 } // x[210] = 2099.892479, Y = 2320
1291 if i == 211 { return 2109892 } // x[211] = 2109.891814, Y = 2330
1292 if i == 212 { return 2119893 } // x[212] = 2119.893049, Y = 2340
1293 if i == 213 { return 2129894 } // x[213] = 2129.893705, Y = 2350
1294 if i == 214 { return 2139893 } // x[214] = 2139.893471, Y = 2360
1295 if i == 215 { return 2149894 } // x[215] = 2149.894162, Y = 2370
1296 if i == 216 { return 2159894 } // x[216] = 2159.894213, Y = 2380
1297 if i == 217 { return 2169895 } // x[217] = 2169.895041, Y = 2390
1298 if i == 218 { return 2179896 } // x[218] = 2179.895987, Y = 2400
1299 if i == 219 { return 2189895 } // x[219] = 2189.894721, Y = 2410
1300 if i == 220 { return 2199894 } // x[220] = 2199.894028, Y = 2420
1301 if i == 221 { return 2209896 } // x[221] = 2209.896005, Y = 2430
1302 if i == 222 { return 2219899 } // x[222] = 2219.898683, Y = 2440
1303 if i == 223 { return 2229899 } // x[223] = 2229.898673, Y = 2450
1304 if i == 224 { return 2239898 } // x[224] = 2239.898012, Y = 2460
1305 if i == 225 { return 2249898 } // x[225] = 2249.898018, Y = 2470
1306 if i == 226 { return 2259898 } // x[226] = 2259.898215, Y = 2480
1307 if i == 227 { return 2269899 } // x[227] = 2269.899380, Y = 2490
1308 if i == 228 { return 2279903 } // x[228] = 2279.902590, Y = 2500
1309 if i == 229 { return 2289903 } // x[229] = 2289.903144, Y = 2510
1310 if i == 230 { return 2299902 } // x[230] = 2299.902047, Y = 2520
1311 if i == 231 { return 2309904 } // x[231] = 2309.904214, Y = 2530
1312 if i == 232 { return 2319904 } // x[232] = 2319.903812, Y = 2540
1313 if i == 233 { return 2329904 } // x[233] = 2329.904180, Y = 2550
1314 if i == 234 { return 2339903 } // x[234] = 2339.902528, Y = 2560
1315 if i == 235 { return 2349903 } // x[235] = 2349.903057, Y = 2570
1316 if i == 236 { return 2359903 } // x[236] = 2359.903089, Y = 2580
1317 if i == 237 { return 2369905 } // x[237] = 2369.904512, Y = 2590
1318 if i == 238 { return 2379903 } // x[238] = 2379.902563, Y = 2600
1319 if i == 239 { return 2389906 } // x[239] = 2389.905522, Y = 2610
1320 if i == 240 { return 2399904 } // x[240] = 2399.903653, Y = 2620
1321 if i == 241 { return 2409902 } // x[241] = 2409.902313, Y = 2630
1322 if i == 242 { return 2419904 } // x[242] = 2419.904452, Y = 2640
1323 if i == 243 { return 2429906 } // x[243] = 2429.905949, Y = 2650
1324 if i == 244 { return 2439905 } // x[244] = 2439.905059, Y = 2660
1325 if i == 245 { return 2449905 } // x[245] = 2449.904954, Y = 2670
1326 if i == 246 { return 2459905 } // x[246] = 2459.904977, Y = 2680
1327 if i == 247 { return 2469905 } // x[247] = 2469.905111, Y = 2690
1328 if i == 248 { return 2479904 } // x[248] = 2479.904049, Y = 2700
1329 if i == 249 { return 2489904 } // x[249] = 2489.903762, Y = 2710
1330 if i == 250 { return 2499902 } // x[250] = 2499.902022, Y = 2720
1331 if i == 251 { return 2509904 } // x[251] = 2509.904352, Y = 2730
1332 if i == 252 { return 2519903 } // x[252] = 2519.903272, Y = 2740
1333 if i == 253 { return 2529902 } // x[253] = 2529.901643, Y = 2750
1334 if i == 254 { return 2539901 } // x[254] = 2539.900789, Y = 2760
1335 if i == 255 { return 2549903 } // x[255] = 2549.903045, Y = 2770
1336 if i == 256 { return 2559904 } // x[256] = 2559.904334, Y = 2780
1337 return -1
1338}
1339
1340// lg_k=9: dsIdx=5, threshold=400, stride=20, n_samples=257
1341const NX_HLL_BIAS_DS_LGK9_N: i64 = 257
1342const NX_HLL_BIAS_DS_LGK9_STRIDE: i64 = 20
1343const NX_HLL_BIAS_DS_LGK9_BASE: i64 = 400
1344func nx_hll_bias_ds_x_lgk9(i: i64) -> i64 {
1345 if i == 0 { return 368529 } // x[0] = 368.528954, Y = 400
1346 if i == 1 { return 378225 } // x[1] = 378.224619, Y = 420
1347 if i == 2 { return 388100 } // x[2] = 388.100156, Y = 440
1348 if i == 3 { return 398156 } // x[3] = 398.155846, Y = 460
1349 if i == 4 { return 408392 } // x[4] = 408.391912, Y = 480
1350 if i == 5 { return 418809 } // x[5] = 418.808631, Y = 500
1351 if i == 6 { return 429406 } // x[6] = 429.406377, Y = 520
1352 if i == 7 { return 440185 } // x[7] = 440.185048, Y = 540
1353 if i == 8 { return 451145 } // x[8] = 451.144613, Y = 560
1354 if i == 9 { return 462285 } // x[9] = 462.284693, Y = 580
1355 if i == 10 { return 473605 } // x[10] = 473.604932, Y = 600
1356 if i == 11 { return 485105 } // x[11] = 485.105306, Y = 620
1357 if i == 12 { return 496785 } // x[12] = 496.784844, Y = 640
1358 if i == 13 { return 508643 } // x[13] = 508.643147, Y = 660
1359 if i == 14 { return 520680 } // x[14] = 520.679581, Y = 680
1360 if i == 15 { return 532893 } // x[15] = 532.893098, Y = 700
1361 if i == 16 { return 545283 } // x[16] = 545.282616, Y = 720
1362 if i == 17 { return 557848 } // x[17] = 557.848295, Y = 740
1363 if i == 18 { return 570588 } // x[18] = 570.587645, Y = 760
1364 if i == 19 { return 583500 } // x[19] = 583.500268, Y = 780
1365 if i == 20 { return 596584 } // x[20] = 596.584345, Y = 800
1366 if i == 21 { return 609839 } // x[21] = 609.838697, Y = 820
1367 if i == 22 { return 623262 } // x[22] = 623.261582, Y = 840
1368 if i == 23 { return 636852 } // x[23] = 636.851681, Y = 860
1369 if i == 24 { return 650608 } // x[24] = 650.607666, Y = 880
1370 if i == 25 { return 664527 } // x[25] = 664.527320, Y = 900
1371 if i == 26 { return 678608 } // x[26] = 678.608336, Y = 920
1372 if i == 27 { return 692850 } // x[27] = 692.849674, Y = 940
1373 if i == 28 { return 707248 } // x[28] = 707.248088, Y = 960
1374 if i == 29 { return 721803 } // x[29] = 721.803089, Y = 980
1375 if i == 30 { return 736511 } // x[30] = 736.511331, Y = 1000
1376 if i == 31 { return 751372 } // x[31] = 751.372034, Y = 1020
1377 if i == 32 { return 766382 } // x[32] = 766.381798, Y = 1040
1378 if i == 33 { return 781538 } // x[33] = 781.538178, Y = 1060
1379 if i == 34 { return 796840 } // x[34] = 796.839808, Y = 1080
1380 if i == 35 { return 812284 } // x[35] = 812.283881, Y = 1100
1381 if i == 36 { return 827868 } // x[36] = 827.867995, Y = 1120
1382 if i == 37 { return 843589 } // x[37] = 843.588520, Y = 1140
1383 if i == 38 { return 859444 } // x[38] = 859.444318, Y = 1160
1384 if i == 39 { return 875432 } // x[39] = 875.432109, Y = 1180
1385 if i == 40 { return 891551 } // x[40] = 891.550599, Y = 1200
1386 if i == 41 { return 907796 } // x[41] = 907.795630, Y = 1220
1387 if i == 42 { return 924166 } // x[42] = 924.165943, Y = 1240
1388 if i == 43 { return 940657 } // x[43] = 940.657393, Y = 1260
1389 if i == 44 { return 957269 } // x[44] = 957.268601, Y = 1280
1390 if i == 45 { return 973996 } // x[45] = 973.995685, Y = 1300
1391 if i == 46 { return 990837 } // x[46] = 990.837235, Y = 1320
1392 if i == 47 { return 1007790 } // x[47] = 1007.789667, Y = 1340
1393 if i == 48 { return 1024850 } // x[48] = 1024.850025, Y = 1360
1394 if i == 49 { return 1042017 } // x[49] = 1042.016602, Y = 1380
1395 if i == 50 { return 1059286 } // x[50] = 1059.286426, Y = 1400
1396 if i == 51 { return 1076658 } // x[51] = 1076.658199, Y = 1420
1397 if i == 52 { return 1094127 } // x[52] = 1094.126523, Y = 1440
1398 if i == 53 { return 1111689 } // x[53] = 1111.689346, Y = 1460
1399 if i == 54 { return 1129346 } // x[54] = 1129.345589, Y = 1480
1400 if i == 55 { return 1147092 } // x[55] = 1147.092119, Y = 1500
1401 if i == 56 { return 1164927 } // x[56] = 1164.926795, Y = 1520
1402 if i == 57 { return 1182844 } // x[57] = 1182.844471, Y = 1540
1403 if i == 58 { return 1200847 } // x[58] = 1200.846880, Y = 1560
1404 if i == 59 { return 1218929 } // x[59] = 1218.929006, Y = 1580
1405 if i == 60 { return 1237088 } // x[60] = 1237.088281, Y = 1600
1406 if i == 61 { return 1255323 } // x[61] = 1255.322930, Y = 1620
1407 if i == 62 { return 1273630 } // x[62] = 1273.630393, Y = 1640
1408 if i == 63 { return 1292007 } // x[63] = 1292.007269, Y = 1660
1409 if i == 64 { return 1310453 } // x[64] = 1310.452948, Y = 1680
1410 if i == 65 { return 1328963 } // x[65] = 1328.963430, Y = 1700
1411 if i == 66 { return 1347539 } // x[66] = 1347.538768, Y = 1720
1412 if i == 67 { return 1366177 } // x[67] = 1366.176566, Y = 1740
1413 if i == 68 { return 1384871 } // x[68] = 1384.871299, Y = 1760
1414 if i == 69 { return 1403626 } // x[69] = 1403.626249, Y = 1780
1415 if i == 70 { return 1422434 } // x[70] = 1422.434094, Y = 1800
1416 if i == 71 { return 1441295 } // x[71] = 1441.295238, Y = 1820
1417 if i == 72 { return 1460208 } // x[72] = 1460.208340, Y = 1840
1418 if i == 73 { return 1479170 } // x[73] = 1479.169853, Y = 1860
1419 if i == 74 { return 1498179 } // x[74] = 1498.179265, Y = 1880
1420 if i == 75 { return 1517235 } // x[75] = 1517.234855, Y = 1900
1421 if i == 76 { return 1536335 } // x[76] = 1536.335403, Y = 1920
1422 if i == 77 { return 1555477 } // x[77] = 1555.477305, Y = 1940
1423 if i == 78 { return 1574659 } // x[78] = 1574.659180, Y = 1960
1424 if i == 79 { return 1593882 } // x[79] = 1593.881592, Y = 1980
1425 if i == 80 { return 1613139 } // x[80] = 1613.139378, Y = 2000
1426 if i == 81 { return 1632434 } // x[81] = 1632.433516, Y = 2020
1427 if i == 82 { return 1651765 } // x[82] = 1651.764587, Y = 2040
1428 if i == 83 { return 1671127 } // x[83] = 1671.127255, Y = 2060
1429 if i == 84 { return 1690520 } // x[84] = 1690.519577, Y = 2080
1430 if i == 85 { return 1709942 } // x[85] = 1709.942250, Y = 2100
1431 if i == 86 { return 1729393 } // x[86] = 1729.393153, Y = 2120
1432 if i == 87 { return 1748872 } // x[87] = 1748.871689, Y = 2140
1433 if i == 88 { return 1768377 } // x[88] = 1768.377142, Y = 2160
1434 if i == 89 { return 1787907 } // x[89] = 1787.907209, Y = 2180
1435 if i == 90 { return 1807465 } // x[90] = 1807.464755, Y = 2200
1436 if i == 91 { return 1827043 } // x[91] = 1827.043146, Y = 2220
1437 if i == 92 { return 1846642 } // x[92] = 1846.641976, Y = 2240
1438 if i == 93 { return 1866263 } // x[93] = 1866.263022, Y = 2260
1439 if i == 94 { return 1885904 } // x[94] = 1885.903553, Y = 2280
1440 if i == 95 { return 1905565 } // x[95] = 1905.564908, Y = 2300
1441 if i == 96 { return 1925241 } // x[96] = 1925.240581, Y = 2320
1442 if i == 97 { return 1944937 } // x[97] = 1944.936723, Y = 2340
1443 if i == 98 { return 1964648 } // x[98] = 1964.648221, Y = 2360
1444 if i == 99 { return 1984375 } // x[99] = 1984.375489, Y = 2380
1445 if i == 100 { return 2004117 } // x[100] = 2004.117246, Y = 2400
1446 if i == 101 { return 2023875 } // x[101] = 2023.875053, Y = 2420
1447 if i == 102 { return 2043644 } // x[102] = 2043.644075, Y = 2440
1448 if i == 103 { return 2063424 } // x[103] = 2063.423514, Y = 2460
1449 if i == 104 { return 2083219 } // x[104] = 2083.218689, Y = 2480
1450 if i == 105 { return 2103026 } // x[105] = 2103.026148, Y = 2500
1451 if i == 106 { return 2122840 } // x[106] = 2122.840475, Y = 2520
1452 if i == 107 { return 2142669 } // x[107] = 2142.669046, Y = 2540
1453 if i == 108 { return 2162506 } // x[108] = 2162.505619, Y = 2560
1454 if i == 109 { return 2182352 } // x[109] = 2182.351758, Y = 2580
1455 if i == 110 { return 2202206 } // x[110] = 2202.205963, Y = 2600
1456 if i == 111 { return 2222069 } // x[111] = 2222.068658, Y = 2620
1457 if i == 112 { return 2241939 } // x[112] = 2241.939010, Y = 2640
1458 if i == 113 { return 2261815 } // x[113] = 2261.814547, Y = 2660
1459 if i == 114 { return 2281702 } // x[114] = 2281.701803, Y = 2680
1460 if i == 115 { return 2301592 } // x[115] = 2301.591894, Y = 2700
1461 if i == 116 { return 2321491 } // x[116] = 2321.490728, Y = 2720
1462 if i == 117 { return 2341393 } // x[117] = 2341.393208, Y = 2740
1463 if i == 118 { return 2361298 } // x[118] = 2361.298412, Y = 2760
1464 if i == 119 { return 2381212 } // x[119] = 2381.211528, Y = 2780
1465 if i == 120 { return 2401132 } // x[120] = 2401.132345, Y = 2800
1466 if i == 121 { return 2421058 } // x[121] = 2421.057721, Y = 2820
1467 if i == 122 { return 2440986 } // x[122] = 2440.985510, Y = 2840
1468 if i == 123 { return 2460917 } // x[123] = 2460.916691, Y = 2860
1469 if i == 124 { return 2480851 } // x[124] = 2480.851468, Y = 2880
1470 if i == 125 { return 2500793 } // x[125] = 2500.792645, Y = 2900
1471 if i == 126 { return 2520738 } // x[126] = 2520.738446, Y = 2920
1472 if i == 127 { return 2540683 } // x[127] = 2540.683395, Y = 2940
1473 if i == 128 { return 2560635 } // x[128] = 2560.634603, Y = 2960
1474 if i == 129 { return 2580586 } // x[129] = 2580.586307, Y = 2980
1475 if i == 130 { return 2600541 } // x[130] = 2600.540530, Y = 3000
1476 if i == 131 { return 2620497 } // x[131] = 2620.497170, Y = 3020
1477 if i == 132 { return 2640458 } // x[132] = 2640.458137, Y = 3040
1478 if i == 133 { return 2660422 } // x[133] = 2660.421783, Y = 3060
1479 if i == 134 { return 2680386 } // x[134] = 2680.386186, Y = 3080
1480 if i == 135 { return 2700353 } // x[135] = 2700.352664, Y = 3100
1481 if i == 136 { return 2720321 } // x[136] = 2720.321411, Y = 3120
1482 if i == 137 { return 2740292 } // x[137] = 2740.291944, Y = 3140
1483 if i == 138 { return 2760264 } // x[138] = 2760.264068, Y = 3160
1484 if i == 139 { return 2780239 } // x[139] = 2780.238910, Y = 3180
1485 if i == 140 { return 2800213 } // x[140] = 2800.212546, Y = 3200
1486 if i == 141 { return 2820186 } // x[141] = 2820.185829, Y = 3220
1487 if i == 142 { return 2840164 } // x[142] = 2840.163952, Y = 3240
1488 if i == 143 { return 2860142 } // x[143] = 2860.142145, Y = 3260
1489 if i == 144 { return 2880121 } // x[144] = 2880.120568, Y = 3280
1490 if i == 145 { return 2900102 } // x[145] = 2900.102466, Y = 3300
1491 if i == 146 { return 2920082 } // x[146] = 2920.081981, Y = 3320
1492 if i == 147 { return 2940063 } // x[147] = 2940.062964, Y = 3340
1493 if i == 148 { return 2960046 } // x[148] = 2960.046262, Y = 3360
1494 if i == 149 { return 2980029 } // x[149] = 2980.029101, Y = 3380
1495 if i == 150 { return 3000013 } // x[150] = 3000.012591, Y = 3400
1496 if i == 151 { return 3019998 } // x[151] = 3019.998424, Y = 3420
1497 if i == 152 { return 3039984 } // x[152] = 3039.983637, Y = 3440
1498 if i == 153 { return 3059970 } // x[153] = 3059.969573, Y = 3460
1499 if i == 154 { return 3079956 } // x[154] = 3079.955927, Y = 3480
1500 if i == 155 { return 3099942 } // x[155] = 3099.942114, Y = 3500
1501 if i == 156 { return 3119930 } // x[156] = 3119.930348, Y = 3520
1502 if i == 157 { return 3139920 } // x[157] = 3139.919614, Y = 3540
1503 if i == 158 { return 3159909 } // x[158] = 3159.909130, Y = 3560
1504 if i == 159 { return 3179900 } // x[159] = 3179.899816, Y = 3580
1505 if i == 160 { return 3199892 } // x[160] = 3199.892231, Y = 3600
1506 if i == 161 { return 3219885 } // x[161] = 3219.885316, Y = 3620
1507 if i == 162 { return 3239879 } // x[162] = 3239.878917, Y = 3640
1508 if i == 163 { return 3259872 } // x[163] = 3259.871675, Y = 3660
1509 if i == 164 { return 3279865 } // x[164] = 3279.865195, Y = 3680
1510 if i == 165 { return 3299856 } // x[165] = 3299.856210, Y = 3700
1511 if i == 166 { return 3319849 } // x[166] = 3319.848871, Y = 3720
1512 if i == 167 { return 3339840 } // x[167] = 3339.840385, Y = 3740
1513 if i == 168 { return 3359834 } // x[168] = 3359.834158, Y = 3760
1514 if i == 169 { return 3379831 } // x[169] = 3379.830660, Y = 3780
1515 if i == 170 { return 3399826 } // x[170] = 3399.826361, Y = 3800
1516 if i == 171 { return 3419823 } // x[171] = 3419.822855, Y = 3820
1517 if i == 172 { return 3439815 } // x[172] = 3439.814714, Y = 3840
1518 if i == 173 { return 3459814 } // x[173] = 3459.813765, Y = 3860
1519 if i == 174 { return 3479809 } // x[174] = 3479.808673, Y = 3880
1520 if i == 175 { return 3499804 } // x[175] = 3499.804339, Y = 3900
1521 if i == 176 { return 3519798 } // x[176] = 3519.797785, Y = 3920
1522 if i == 177 { return 3539791 } // x[177] = 3539.791012, Y = 3940
1523 if i == 178 { return 3559790 } // x[178] = 3559.789885, Y = 3960
1524 if i == 179 { return 3579785 } // x[179] = 3579.785152, Y = 3980
1525 if i == 180 { return 3599780 } // x[180] = 3599.780237, Y = 4000
1526 if i == 181 { return 3619775 } // x[181] = 3619.775480, Y = 4020
1527 if i == 182 { return 3639773 } // x[182] = 3639.772724, Y = 4040
1528 if i == 183 { return 3659769 } // x[183] = 3659.768920, Y = 4060
1529 if i == 184 { return 3679766 } // x[184] = 3679.765735, Y = 4080
1530 if i == 185 { return 3699766 } // x[185] = 3699.766361, Y = 4100
1531 if i == 186 { return 3719765 } // x[186] = 3719.765048, Y = 4120
1532 if i == 187 { return 3739763 } // x[187] = 3739.762845, Y = 4140
1533 if i == 188 { return 3759762 } // x[188] = 3759.761526, Y = 4160
1534 if i == 189 { return 3779758 } // x[189] = 3779.757598, Y = 4180
1535 if i == 190 { return 3799756 } // x[190] = 3799.755719, Y = 4200
1536 if i == 191 { return 3819751 } // x[191] = 3819.751149, Y = 4220
1537 if i == 192 { return 3839750 } // x[192] = 3839.750182, Y = 4240
1538 if i == 193 { return 3859750 } // x[193] = 3859.749673, Y = 4260
1539 if i == 194 { return 3879749 } // x[194] = 3879.749344, Y = 4280
1540 if i == 195 { return 3899750 } // x[195] = 3899.749939, Y = 4300
1541 if i == 196 { return 3919749 } // x[196] = 3919.749060, Y = 4320
1542 if i == 197 { return 3939748 } // x[197] = 3939.748385, Y = 4340
1543 if i == 198 { return 3959751 } // x[198] = 3959.750520, Y = 4360
1544 if i == 199 { return 3979750 } // x[199] = 3979.750055, Y = 4380
1545 if i == 200 { return 3999750 } // x[200] = 3999.750104, Y = 4400
1546 if i == 201 { return 4019750 } // x[201] = 4019.749963, Y = 4420
1547 if i == 202 { return 4039748 } // x[202] = 4039.748453, Y = 4440
1548 if i == 203 { return 4059747 } // x[203] = 4059.746737, Y = 4460
1549 if i == 204 { return 4079745 } // x[204] = 4079.744522, Y = 4480
1550 if i == 205 { return 4099744 } // x[205] = 4099.744430, Y = 4500
1551 if i == 206 { return 4119742 } // x[206] = 4119.741804, Y = 4520
1552 if i == 207 { return 4139741 } // x[207] = 4139.740704, Y = 4540
1553 if i == 208 { return 4159742 } // x[208] = 4159.742056, Y = 4560
1554 if i == 209 { return 4179740 } // x[209] = 4179.740063, Y = 4580
1555 if i == 210 { return 4199739 } // x[210] = 4199.739155, Y = 4600
1556 if i == 211 { return 4219742 } // x[211] = 4219.741718, Y = 4620
1557 if i == 212 { return 4239743 } // x[212] = 4239.743433, Y = 4640
1558 if i == 213 { return 4259743 } // x[213] = 4259.743115, Y = 4660
1559 if i == 214 { return 4279743 } // x[214] = 4279.743265, Y = 4680
1560 if i == 215 { return 4299746 } // x[215] = 4299.745518, Y = 4700
1561 if i == 216 { return 4319747 } // x[216] = 4319.746682, Y = 4720
1562 if i == 217 { return 4339750 } // x[217] = 4339.750491, Y = 4740
1563 if i == 218 { return 4359749 } // x[218] = 4359.748549, Y = 4760
1564 if i == 219 { return 4379747 } // x[219] = 4379.747226, Y = 4780
1565 if i == 220 { return 4399750 } // x[220] = 4399.750319, Y = 4800
1566 if i == 221 { return 4419750 } // x[221] = 4419.750379, Y = 4820
1567 if i == 222 { return 4439752 } // x[222] = 4439.752339, Y = 4840
1568 if i == 223 { return 4459751 } // x[223] = 4459.750561, Y = 4860
1569 if i == 224 { return 4479751 } // x[224] = 4479.750612, Y = 4880
1570 if i == 225 { return 4499748 } // x[225] = 4499.747862, Y = 4900
1571 if i == 226 { return 4519751 } // x[226] = 4519.750693, Y = 4920
1572 if i == 227 { return 4539747 } // x[227] = 4539.747476, Y = 4940
1573 if i == 228 { return 4559749 } // x[228] = 4559.749051, Y = 4960
1574 if i == 229 { return 4579751 } // x[229] = 4579.750603, Y = 4980
1575 if i == 230 { return 4599750 } // x[230] = 4599.750089, Y = 5000
1576 if i == 231 { return 4619755 } // x[231] = 4619.754781, Y = 5020
1577 if i == 232 { return 4639756 } // x[232] = 4639.755536, Y = 5040
1578 if i == 233 { return 4659759 } // x[233] = 4659.758879, Y = 5060
1579 if i == 234 { return 4679762 } // x[234] = 4679.762145, Y = 5080
1580 if i == 235 { return 4699762 } // x[235] = 4699.762199, Y = 5100
1581 if i == 236 { return 4719764 } // x[236] = 4719.763886, Y = 5120
1582 if i == 237 { return 4739765 } // x[237] = 4739.765081, Y = 5140
1583 if i == 238 { return 4759766 } // x[238] = 4759.765681, Y = 5160
1584 if i == 239 { return 4779765 } // x[239] = 4779.765427, Y = 5180
1585 if i == 240 { return 4799768 } // x[240] = 4799.767582, Y = 5200
1586 if i == 241 { return 4819770 } // x[241] = 4819.769915, Y = 5220
1587 if i == 242 { return 4839770 } // x[242] = 4839.770107, Y = 5240
1588 if i == 243 { return 4859769 } // x[243] = 4859.769398, Y = 5260
1589 if i == 244 { return 4879769 } // x[244] = 4879.768976, Y = 5280
1590 if i == 245 { return 4899768 } // x[245] = 4899.768288, Y = 5300
1591 if i == 246 { return 4919769 } // x[246] = 4919.768786, Y = 5320
1592 if i == 247 { return 4939769 } // x[247] = 4939.768607, Y = 5340
1593 if i == 248 { return 4959773 } // x[248] = 4959.772822, Y = 5360
1594 if i == 249 { return 4979773 } // x[249] = 4979.772833, Y = 5380
1595 if i == 250 { return 4999776 } // x[250] = 4999.775808, Y = 5400
1596 if i == 251 { return 5019773 } // x[251] = 5019.773468, Y = 5420
1597 if i == 252 { return 5039776 } // x[252] = 5039.776181, Y = 5440
1598 if i == 253 { return 5059771 } // x[253] = 5059.770860, Y = 5460
1599 if i == 254 { return 5079773 } // x[254] = 5079.773006, Y = 5480
1600 if i == 255 { return 5099773 } // x[255] = 5099.773136, Y = 5500
1601 if i == 256 { return 5119772 } // x[256] = 5119.772474, Y = 5520
1602 return -1
1603}
1604
1605// lg_k=10: dsIdx=6, threshold=900, stride=40, n_samples=257
1606const NX_HLL_BIAS_DS_LGK10_N: i64 = 257
1607const NX_HLL_BIAS_DS_LGK10_STRIDE: i64 = 40
1608const NX_HLL_BIAS_DS_LGK10_BASE: i64 = 900
1609func nx_hll_bias_ds_x_lgk10(i: i64) -> i64 {
1610 if i == 0 { return 737834 } // x[0] = 737.833738, Y = 900
1611 if i == 1 { return 757236 } // x[1] = 757.236338, Y = 940
1612 if i == 2 { return 776998 } // x[2] = 776.997875, Y = 980
1613 if i == 3 { return 797119 } // x[3] = 797.119465, Y = 1020
1614 if i == 4 { return 817602 } // x[4] = 817.602058, Y = 1060
1615 if i == 5 { return 838445 } // x[5] = 838.445349, Y = 1100
1616 if i == 6 { return 859650 } // x[6] = 859.650320, Y = 1140
1617 if i == 7 { return 881216 } // x[7] = 881.216437, Y = 1180
1618 if i == 8 { return 903143 } // x[8] = 903.143414, Y = 1220
1619 if i == 9 { return 925431 } // x[9] = 925.430957, Y = 1260
1620 if i == 10 { return 948079 } // x[10] = 948.079220, Y = 1300
1621 if i == 11 { return 971086 } // x[11] = 971.086231, Y = 1340
1622 if i == 12 { return 994451 } // x[12] = 994.451449, Y = 1380
1623 if i == 13 { return 1018174 } // x[13] = 1018.173846, Y = 1420
1624 if i == 14 { return 1042252 } // x[14] = 1042.251928, Y = 1460
1625 if i == 15 { return 1066684 } // x[15] = 1066.683804, Y = 1500
1626 if i == 16 { return 1091468 } // x[16] = 1091.467648, Y = 1540
1627 if i == 17 { return 1116601 } // x[17] = 1116.601416, Y = 1580
1628 if i == 18 { return 1142083 } // x[18] = 1142.083017, Y = 1620
1629 if i == 19 { return 1167910 } // x[19] = 1167.909918, Y = 1660
1630 if i == 20 { return 1194079 } // x[20] = 1194.079097, Y = 1700
1631 if i == 21 { return 1220589 } // x[21] = 1220.588887, Y = 1740
1632 if i == 22 { return 1247435 } // x[22] = 1247.435099, Y = 1780
1633 if i == 23 { return 1274615 } // x[23] = 1274.614860, Y = 1820
1634 if i == 24 { return 1302125 } // x[24] = 1302.125360, Y = 1860
1635 if i == 25 { return 1329963 } // x[25] = 1329.962942, Y = 1900
1636 if i == 26 { return 1358123 } // x[26] = 1358.123177, Y = 1940
1637 if i == 27 { return 1386602 } // x[27] = 1386.601609, Y = 1980
1638 if i == 28 { return 1415396 } // x[28] = 1415.396299, Y = 2020
1639 if i == 29 { return 1444502 } // x[29] = 1444.501692, Y = 2060
1640 if i == 30 { return 1473913 } // x[30] = 1473.913256, Y = 2100
1641 if i == 31 { return 1503629 } // x[31] = 1503.628515, Y = 2140
1642 if i == 32 { return 1533642 } // x[32] = 1533.642054, Y = 2180
1643 if i == 33 { return 1563949 } // x[33] = 1563.948888, Y = 2220
1644 if i == 34 { return 1594544 } // x[34] = 1594.544067, Y = 2260
1645 if i == 35 { return 1625424 } // x[35] = 1625.424305, Y = 2300
1646 if i == 36 { return 1656582 } // x[36] = 1656.582169, Y = 2340
1647 if i == 37 { return 1688017 } // x[37] = 1688.016543, Y = 2380
1648 if i == 38 { return 1719719 } // x[38] = 1719.718553, Y = 2420
1649 if i == 39 { return 1751686 } // x[39] = 1751.685990, Y = 2460
1650 if i == 40 { return 1783912 } // x[40] = 1783.912130, Y = 2500
1651 if i == 41 { return 1816394 } // x[41] = 1816.393610, Y = 2540
1652 if i == 42 { return 1849122 } // x[42] = 1849.122123, Y = 2580
1653 if i == 43 { return 1882095 } // x[43] = 1882.095124, Y = 2620
1654 if i == 44 { return 1915306 } // x[44] = 1915.305647, Y = 2660
1655 if i == 45 { return 1948749 } // x[45] = 1948.748605, Y = 2700
1656 if i == 46 { return 1982420 } // x[46] = 1982.419843, Y = 2740
1657 if i == 47 { return 2016314 } // x[47] = 2016.313904, Y = 2780
1658 if i == 48 { return 2050422 } // x[48] = 2050.422277, Y = 2820
1659 if i == 49 { return 2084743 } // x[49] = 2084.742618, Y = 2860
1660 if i == 50 { return 2119271 } // x[50] = 2119.270601, Y = 2900
1661 if i == 51 { return 2153999 } // x[51] = 2153.998538, Y = 2940
1662 if i == 52 { return 2188921 } // x[52] = 2188.920843, Y = 2980
1663 if i == 53 { return 2224035 } // x[53] = 2224.034736, Y = 3020
1664 if i == 54 { return 2259334 } // x[54] = 2259.333960, Y = 3060
1665 if i == 55 { return 2294813 } // x[55] = 2294.812594, Y = 3100
1666 if i == 56 { return 2330467 } // x[56] = 2330.467059, Y = 3140
1667 if i == 57 { return 2366292 } // x[57] = 2366.291844, Y = 3180
1668 if i == 58 { return 2402281 } // x[58] = 2402.281356, Y = 3220
1669 if i == 59 { return 2438429 } // x[59] = 2438.428954, Y = 3260
1670 if i == 60 { return 2474734 } // x[60] = 2474.734330, Y = 3300
1671 if i == 61 { return 2511188 } // x[61] = 2511.187839, Y = 3340
1672 if i == 62 { return 2547786 } // x[62] = 2547.786319, Y = 3380
1673 if i == 63 { return 2584527 } // x[63] = 2584.527356, Y = 3420
1674 if i == 64 { return 2621407 } // x[64] = 2621.406814, Y = 3460
1675 if i == 65 { return 2658419 } // x[65] = 2658.418551, Y = 3500
1676 if i == 66 { return 2695554 } // x[66] = 2695.554270, Y = 3540
1677 if i == 67 { return 2732813 } // x[67] = 2732.812564, Y = 3580
1678 if i == 68 { return 2770190 } // x[68] = 2770.190157, Y = 3620
1679 if i == 69 { return 2807683 } // x[69] = 2807.682744, Y = 3660
1680 if i == 70 { return 2845287 } // x[70] = 2845.287138, Y = 3700
1681 if i == 71 { return 2882995 } // x[71] = 2882.995251, Y = 3740
1682 if i == 72 { return 2920808 } // x[72] = 2920.807982, Y = 3780
1683 if i == 73 { return 2958720 } // x[73] = 2958.719996, Y = 3820
1684 if i == 74 { return 2996729 } // x[74] = 2996.728771, Y = 3860
1685 if i == 75 { return 3034827 } // x[75] = 3034.826885, Y = 3900
1686 if i == 76 { return 3073014 } // x[76] = 3073.014082, Y = 3940
1687 if i == 77 { return 3111287 } // x[77] = 3111.287116, Y = 3980
1688 if i == 78 { return 3149642 } // x[78] = 3149.642093, Y = 4020
1689 if i == 79 { return 3188073 } // x[79] = 3188.073159, Y = 4060
1690 if i == 80 { return 3226577 } // x[80] = 3226.577352, Y = 4100
1691 if i == 81 { return 3265157 } // x[81] = 3265.156836, Y = 4140
1692 if i == 82 { return 3303804 } // x[82] = 3303.803738, Y = 4180
1693 if i == 83 { return 3342515 } // x[83] = 3342.515111, Y = 4220
1694 if i == 84 { return 3381292 } // x[84] = 3381.291514, Y = 4260
1695 if i == 85 { return 3420131 } // x[85] = 3420.130671, Y = 4300
1696 if i == 86 { return 3459024 } // x[86] = 3459.024315, Y = 4340
1697 if i == 87 { return 3497975 } // x[87] = 3497.974631, Y = 4380
1698 if i == 88 { return 3536978 } // x[88] = 3536.978221, Y = 4420
1699 if i == 89 { return 3576035 } // x[89] = 3576.034737, Y = 4460
1700 if i == 90 { return 3615139 } // x[90] = 3615.138610, Y = 4500
1701 if i == 91 { return 3654286 } // x[91] = 3654.285859, Y = 4540
1702 if i == 92 { return 3693480 } // x[92] = 3693.480455, Y = 4580
1703 if i == 93 { return 3732715 } // x[93] = 3732.715296, Y = 4620
1704 if i == 94 { return 3771992 } // x[94] = 3771.991792, Y = 4660
1705 if i == 95 { return 3811305 } // x[95] = 3811.305300, Y = 4700
1706 if i == 96 { return 3850655 } // x[96] = 3850.654870, Y = 4740
1707 if i == 97 { return 3890041 } // x[97] = 3890.041152, Y = 4780
1708 if i == 98 { return 3929457 } // x[98] = 3929.457167, Y = 4820
1709 if i == 99 { return 3968905 } // x[99] = 3968.905021, Y = 4860
1710 if i == 100 { return 4008381 } // x[100] = 4008.381466, Y = 4900
1711 if i == 101 { return 4047887 } // x[101] = 4047.886976, Y = 4940
1712 if i == 102 { return 4087419 } // x[102] = 4087.419414, Y = 4980
1713 if i == 103 { return 4126979 } // x[103] = 4126.978997, Y = 5020
1714 if i == 104 { return 4166563 } // x[104] = 4166.562624, Y = 5060
1715 if i == 105 { return 4206167 } // x[105] = 4206.166726, Y = 5100
1716 if i == 106 { return 4245793 } // x[106] = 4245.793284, Y = 5140
1717 if i == 107 { return 4285445 } // x[107] = 4285.445151, Y = 5180
1718 if i == 108 { return 4325113 } // x[108] = 4325.113012, Y = 5220
1719 if i == 109 { return 4364803 } // x[109] = 4364.802795, Y = 5260
1720 if i == 110 { return 4404506 } // x[110] = 4404.506274, Y = 5300
1721 if i == 111 { return 4444228 } // x[111] = 4444.228475, Y = 5340
1722 if i == 112 { return 4483965 } // x[112] = 4483.965191, Y = 5380
1723 if i == 113 { return 4523720 } // x[113] = 4523.719569, Y = 5420
1724 if i == 114 { return 4563488 } // x[114] = 4563.487708, Y = 5460
1725 if i == 115 { return 4603267 } // x[115] = 4603.267460, Y = 5500
1726 if i == 116 { return 4643060 } // x[116] = 4643.060387, Y = 5540
1727 if i == 117 { return 4682865 } // x[117] = 4682.865430, Y = 5580
1728 if i == 118 { return 4722681 } // x[118] = 4722.680718, Y = 5620
1729 if i == 119 { return 4762503 } // x[119] = 4762.503248, Y = 5660
1730 if i == 120 { return 4802341 } // x[120] = 4802.341326, Y = 5700
1731 if i == 121 { return 4842186 } // x[121] = 4842.185529, Y = 5740
1732 if i == 122 { return 4882039 } // x[122] = 4882.039088, Y = 5780
1733 if i == 123 { return 4921900 } // x[123] = 4921.900432, Y = 5820
1734 if i == 124 { return 4961773 } // x[124] = 4961.772625, Y = 5860
1735 if i == 125 { return 5001650 } // x[125] = 5001.649566, Y = 5900
1736 if i == 126 { return 5041534 } // x[126] = 5041.534380, Y = 5940
1737 if i == 127 { return 5081426 } // x[127] = 5081.425809, Y = 5980
1738 if i == 128 { return 5121323 } // x[128] = 5121.323013, Y = 6020
1739 if i == 129 { return 5161225 } // x[129] = 5161.224908, Y = 6060
1740 if i == 130 { return 5201131 } // x[130] = 5201.130560, Y = 6100
1741 if i == 131 { return 5241045 } // x[131] = 5241.044625, Y = 6140
1742 if i == 132 { return 5280962 } // x[132] = 5280.962456, Y = 6180
1743 if i == 133 { return 5320882 } // x[133] = 5320.882373, Y = 6220
1744 if i == 134 { return 5360810 } // x[134] = 5360.810007, Y = 6260
1745 if i == 135 { return 5400740 } // x[135] = 5400.740058, Y = 6300
1746 if i == 136 { return 5440674 } // x[136] = 5440.673843, Y = 6340
1747 if i == 137 { return 5480607 } // x[137] = 5480.606748, Y = 6380
1748 if i == 138 { return 5520547 } // x[138] = 5520.547394, Y = 6420
1749 if i == 139 { return 5560494 } // x[139] = 5560.493520, Y = 6460
1750 if i == 140 { return 5600438 } // x[140] = 5600.438100, Y = 6500
1751 if i == 141 { return 5640384 } // x[141] = 5640.383853, Y = 6540
1752 if i == 142 { return 5680335 } // x[142] = 5680.335386, Y = 6580
1753 if i == 143 { return 5720292 } // x[143] = 5720.292400, Y = 6620
1754 if i == 144 { return 5760251 } // x[144] = 5760.250576, Y = 6660
1755 if i == 145 { return 5800213 } // x[145] = 5800.212705, Y = 6700
1756 if i == 146 { return 5840173 } // x[146] = 5840.172984, Y = 6740
1757 if i == 147 { return 5880135 } // x[147] = 5880.134991, Y = 6780
1758 if i == 148 { return 5920098 } // x[148] = 5920.097923, Y = 6820
1759 if i == 149 { return 5960060 } // x[149] = 5960.060294, Y = 6860
1760 if i == 150 { return 6000031 } // x[150] = 6000.031177, Y = 6900
1761 if i == 151 { return 6040003 } // x[151] = 6040.003398, Y = 6940
1762 if i == 152 { return 6079982 } // x[152] = 6079.981696, Y = 6980
1763 if i == 153 { return 6119954 } // x[153] = 6119.954349, Y = 7020
1764 if i == 154 { return 6159929 } // x[154] = 6159.929074, Y = 7060
1765 if i == 155 { return 6199909 } // x[155] = 6199.908569, Y = 7100
1766 if i == 156 { return 6239886 } // x[156] = 6239.886163, Y = 7140
1767 if i == 157 { return 6279864 } // x[157] = 6279.863659, Y = 7180
1768 if i == 158 { return 6319838 } // x[158] = 6319.838261, Y = 7220
1769 if i == 159 { return 6359815 } // x[159] = 6359.815405, Y = 7260
1770 if i == 160 { return 6399795 } // x[160] = 6399.795170, Y = 7300
1771 if i == 161 { return 6439777 } // x[161] = 6439.777225, Y = 7340
1772 if i == 162 { return 6479756 } // x[162] = 6479.755885, Y = 7380
1773 if i == 163 { return 6519739 } // x[163] = 6519.738857, Y = 7420
1774 if i == 164 { return 6559723 } // x[164] = 6559.723169, Y = 7460
1775 if i == 165 { return 6599709 } // x[165] = 6599.708549, Y = 7500
1776 if i == 166 { return 6639695 } // x[166] = 6639.695186, Y = 7540
1777 if i == 167 { return 6679680 } // x[167] = 6679.679788, Y = 7580
1778 if i == 168 { return 6719663 } // x[168] = 6719.663289, Y = 7620
1779 if i == 169 { return 6759651 } // x[169] = 6759.651052, Y = 7660
1780 if i == 170 { return 6799634 } // x[170] = 6799.634129, Y = 7700
1781 if i == 171 { return 6839625 } // x[171] = 6839.624763, Y = 7740
1782 if i == 172 { return 6879615 } // x[172] = 6879.615013, Y = 7780
1783 if i == 173 { return 6919606 } // x[173] = 6919.605584, Y = 7820
1784 if i == 174 { return 6959591 } // x[174] = 6959.591310, Y = 7860
1785 if i == 175 { return 6999586 } // x[175] = 6999.586006, Y = 7900
1786 if i == 176 { return 7039577 } // x[176] = 7039.577399, Y = 7940
1787 if i == 177 { return 7079565 } // x[177] = 7079.565236, Y = 7980
1788 if i == 178 { return 7119557 } // x[178] = 7119.557222, Y = 8020
1789 if i == 179 { return 7159548 } // x[179] = 7159.548481, Y = 8060
1790 if i == 180 { return 7199533 } // x[180] = 7199.533025, Y = 8100
1791 if i == 181 { return 7239520 } // x[181] = 7239.519648, Y = 8140
1792 if i == 182 { return 7279512 } // x[182] = 7279.511781, Y = 8180
1793 if i == 183 { return 7319508 } // x[183] = 7319.507639, Y = 8220
1794 if i == 184 { return 7359506 } // x[184] = 7359.506105, Y = 8260
1795 if i == 185 { return 7399497 } // x[185] = 7399.497488, Y = 8300
1796 if i == 186 { return 7439495 } // x[186] = 7439.494944, Y = 8340
1797 if i == 187 { return 7479492 } // x[187] = 7479.491545, Y = 8380
1798 if i == 188 { return 7519488 } // x[188] = 7519.488415, Y = 8420
1799 if i == 189 { return 7559481 } // x[189] = 7559.480534, Y = 8460
1800 if i == 190 { return 7599476 } // x[190] = 7599.475646, Y = 8500
1801 if i == 191 { return 7639470 } // x[191] = 7639.470315, Y = 8540
1802 if i == 192 { return 7679469 } // x[192] = 7679.468730, Y = 8580
1803 if i == 193 { return 7719461 } // x[193] = 7719.460928, Y = 8620
1804 if i == 194 { return 7759456 } // x[194] = 7759.455834, Y = 8660
1805 if i == 195 { return 7799456 } // x[195] = 7799.455686, Y = 8700
1806 if i == 196 { return 7839452 } // x[196] = 7839.451758, Y = 8740
1807 if i == 197 { return 7879447 } // x[197] = 7879.446841, Y = 8780
1808 if i == 198 { return 7919444 } // x[198] = 7919.443884, Y = 8820
1809 if i == 199 { return 7959444 } // x[199] = 7959.444138, Y = 8860
1810 if i == 200 { return 7999443 } // x[200] = 7999.443141, Y = 8900
1811 if i == 201 { return 8039446 } // x[201] = 8039.446339, Y = 8940
1812 if i == 202 { return 8079445 } // x[202] = 8079.445285, Y = 8980
1813 if i == 203 { return 8119444 } // x[203] = 8119.444120, Y = 9020
1814 if i == 204 { return 8159443 } // x[204] = 8159.443157, Y = 9060
1815 if i == 205 { return 8199446 } // x[205] = 8199.446480, Y = 9100
1816 if i == 206 { return 8239439 } // x[206] = 8239.438893, Y = 9140
1817 if i == 207 { return 8279438 } // x[207] = 8279.437597, Y = 9180
1818 if i == 208 { return 8319440 } // x[208] = 8319.439714, Y = 9220
1819 if i == 209 { return 8359442 } // x[209] = 8359.441566, Y = 9260
1820 if i == 210 { return 8399441 } // x[210] = 8399.440754, Y = 9300
1821 if i == 211 { return 8439439 } // x[211] = 8439.439156, Y = 9340
1822 if i == 212 { return 8479440 } // x[212] = 8479.440112, Y = 9380
1823 if i == 213 { return 8519442 } // x[213] = 8519.442365, Y = 9420
1824 if i == 214 { return 8559445 } // x[214] = 8559.444795, Y = 9460
1825 if i == 215 { return 8599444 } // x[215] = 8599.444497, Y = 9500
1826 if i == 216 { return 8639447 } // x[216] = 8639.446714, Y = 9540
1827 if i == 217 { return 8679449 } // x[217] = 8679.449177, Y = 9580
1828 if i == 218 { return 8719448 } // x[218] = 8719.447620, Y = 9620
1829 if i == 219 { return 8759443 } // x[219] = 8759.443423, Y = 9660
1830 if i == 220 { return 8799446 } // x[220] = 8799.445995, Y = 9700
1831 if i == 221 { return 8839446 } // x[221] = 8839.446170, Y = 9740
1832 if i == 222 { return 8879450 } // x[222] = 8879.449622, Y = 9780
1833 if i == 223 { return 8919450 } // x[223] = 8919.450486, Y = 9820
1834 if i == 224 { return 8959450 } // x[224] = 8959.450372, Y = 9860
1835 if i == 225 { return 8999450 } // x[225] = 8999.449731, Y = 9900
1836 if i == 226 { return 9039448 } // x[226] = 9039.448449, Y = 9940
1837 if i == 227 { return 9079453 } // x[227] = 9079.452579, Y = 9980
1838 if i == 228 { return 9119452 } // x[228] = 9119.451596, Y = 10020
1839 if i == 229 { return 9159454 } // x[229] = 9159.454020, Y = 10060
1840 if i == 230 { return 9199457 } // x[230] = 9199.456651, Y = 10100
1841 if i == 231 { return 9239461 } // x[231] = 9239.460902, Y = 10140
1842 if i == 232 { return 9279460 } // x[232] = 9279.460419, Y = 10180
1843 if i == 233 { return 9319461 } // x[233] = 9319.461322, Y = 10220
1844 if i == 234 { return 9359465 } // x[234] = 9359.464611, Y = 10260
1845 if i == 235 { return 9399468 } // x[235] = 9399.467790, Y = 10300
1846 if i == 236 { return 9439471 } // x[236] = 9439.471448, Y = 10340
1847 if i == 237 { return 9479468 } // x[237] = 9479.468426, Y = 10380
1848 if i == 238 { return 9519463 } // x[238] = 9519.462982, Y = 10420
1849 if i == 239 { return 9559465 } // x[239] = 9559.464881, Y = 10460
1850 if i == 240 { return 9599463 } // x[240] = 9599.462983, Y = 10500
1851 if i == 241 { return 9639462 } // x[241] = 9639.461706, Y = 10540
1852 if i == 242 { return 9679457 } // x[242] = 9679.457284, Y = 10580
1853 if i == 243 { return 9719457 } // x[243] = 9719.457023, Y = 10620
1854 if i == 244 { return 9759456 } // x[244] = 9759.455648, Y = 10660
1855 if i == 245 { return 9799459 } // x[245] = 9799.458786, Y = 10700
1856 if i == 246 { return 9839457 } // x[246] = 9839.456980, Y = 10740
1857 if i == 247 { return 9879457 } // x[247] = 9879.457411, Y = 10780
1858 if i == 248 { return 9919455 } // x[248] = 9919.454971, Y = 10820
1859 if i == 249 { return 9959452 } // x[249] = 9959.451735, Y = 10860
1860 if i == 250 { return 9999452 } // x[250] = 9999.451916, Y = 10900
1861 if i == 251 { return 10039444 } // x[251] = 10039.443939, Y = 10940
1862 if i == 252 { return 10079435 } // x[252] = 10079.435325, Y = 10980
1863 if i == 253 { return 10119432 } // x[253] = 10119.432142, Y = 11020
1864 if i == 254 { return 10159431 } // x[254] = 10159.431313, Y = 11060
1865 if i == 255 { return 10199431 } // x[255] = 10199.431306, Y = 11100
1866 if i == 256 { return 10239430 } // x[256] = 10239.429671, Y = 11140
1867 return -1
1868}
1869