code wiki / (root) / nx_hll_bias_table_ds.nx

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