def code
bend-kit-http2@0.4.0.0 · huffman.bend:8
import bend-kit-http2@0.4.0.0/huffman.bend as Huffman
import Base
8def code(+octet: U32) -> Code:
9 match octet:
10 case 0:
11 Code{8184, 13}
12 case 1:
13 Code{8388568, 23}
14 case 2:
15 Code{268435426, 28}
16 case 3:
17 Code{268435427, 28}
18 case 4:
19 Code{268435428, 28}
20 case 5:
21 Code{268435429, 28}
22 case 6:
23 Code{268435430, 28}
24 case 7:
25 Code{268435431, 28}
26 case 8:
27 Code{268435432, 28}
28 case 9:
29 Code{16777194, 24}
30 case 10:
31 Code{1073741820, 30}
32 case 11:
33 Code{268435433, 28}
34 case 12:
35 Code{268435434, 28}
36 case 13:
37 Code{1073741821, 30}
38 case 14:
39 Code{268435435, 28}
40 case 15:
41 Code{268435436, 28}
42 case 16:
43 Code{268435437, 28}
44 case 17:
45 Code{268435438, 28}
46 case 18:
47 Code{268435439, 28}
48 case 19:
49 Code{268435440, 28}
50 case 20:
51 Code{268435441, 28}
52 case 21:
53 Code{268435442, 28}
54 case 22:
55 Code{1073741822, 30}
56 case 23:
57 Code{268435443, 28}
58 case 24:
59 Code{268435444, 28}
60 case 25:
61 Code{268435445, 28}
62 case 26:
63 Code{268435446, 28}
64 case 27:
65 Code{268435447, 28}
66 case 28:
67 Code{268435448, 28}
68 case 29:
69 Code{268435449, 28}
70 case 30:
71 Code{268435450, 28}
72 case 31:
73 Code{268435451, 28}
74 case 32:
75 Code{20, 6}
76 case 33:
77 Code{1016, 10}
78 case 34:
79 Code{1017, 10}
80 case 35:
81 Code{4090, 12}
82 case 36:
83 Code{8185, 13}
84 case 37:
85 Code{21, 6}
86 case 38:
87 Code{248, 8}
88 case 39:
89 Code{2042, 11}
90 case 40:
91 Code{1018, 10}
92 case 41:
93 Code{1019, 10}
94 case 42:
95 Code{249, 8}
96 case 43:
97 Code{2043, 11}
98 case 44:
99 Code{250, 8}
100 case 45:
101 Code{22, 6}
102 case 46:
103 Code{23, 6}
104 case 47:
105 Code{24, 6}
106 case 48:
107 Code{0, 5}
108 case 49:
109 Code{1, 5}
110 case 50:
111 Code{2, 5}
112 case 51:
113 Code{25, 6}
114 case 52:
115 Code{26, 6}
116 case 53:
117 Code{27, 6}
118 case 54:
119 Code{28, 6}
120 case 55:
121 Code{29, 6}
122 case 56:
123 Code{30, 6}
124 case 57:
125 Code{31, 6}
126 case 58:
127 Code{92, 7}
128 case 59:
129 Code{251, 8}
130 case 60:
131 Code{32764, 15}
132 case 61:
133 Code{32, 6}
134 case 62:
135 Code{4091, 12}
136 case 63:
137 Code{1020, 10}
138 case 64:
139 Code{8186, 13}
140 case 65:
141 Code{33, 6}
142 case 66:
143 Code{93, 7}
144 case 67:
145 Code{94, 7}
146 case 68:
147 Code{95, 7}
148 case 69:
149 Code{96, 7}
150 case 70:
151 Code{97, 7}
152 case 71:
153 Code{98, 7}
154 case 72:
155 Code{99, 7}
156 case 73:
157 Code{100, 7}
158 case 74:
159 Code{101, 7}
160 case 75:
161 Code{102, 7}
162 case 76:
163 Code{103, 7}
164 case 77:
165 Code{104, 7}
166 case 78:
167 Code{105, 7}
168 case 79:
169 Code{106, 7}
170 case 80:
171 Code{107, 7}
172 case 81:
173 Code{108, 7}
174 case 82:
175 Code{109, 7}
176 case 83:
177 Code{110, 7}
178 case 84:
179 Code{111, 7}
180 case 85:
181 Code{112, 7}
182 case 86:
183 Code{113, 7}
184 case 87:
185 Code{114, 7}
186 case 88:
187 Code{252, 8}
188 case 89:
189 Code{115, 7}
190 case 90:
191 Code{253, 8}
192 case 91:
193 Code{8187, 13}
194 case 92:
195 Code{524272, 19}
196 case 93:
197 Code{8188, 13}
198 case 94:
199 Code{16380, 14}
200 case 95:
201 Code{34, 6}
202 case 96:
203 Code{32765, 15}
204 case 97:
205 Code{3, 5}
206 case 98:
207 Code{35, 6}
208 case 99:
209 Code{4, 5}
210 case 100:
211 Code{36, 6}
212 case 101:
213 Code{5, 5}
214 case 102:
215 Code{37, 6}
216 case 103:
217 Code{38, 6}
218 case 104:
219 Code{39, 6}
220 case 105:
221 Code{6, 5}
222 case 106:
223 Code{116, 7}
224 case 107:
225 Code{117, 7}
226 case 108:
227 Code{40, 6}
228 case 109:
229 Code{41, 6}
230 case 110:
231 Code{42, 6}
232 case 111:
233 Code{7, 5}
234 case 112:
235 Code{43, 6}
236 case 113:
237 Code{118, 7}
238 case 114:
239 Code{44, 6}
240 case 115:
241 Code{8, 5}
242 case 116:
243 Code{9, 5}
244 case 117:
245 Code{45, 6}
246 case 118:
247 Code{119, 7}
248 case 119:
249 Code{120, 7}
250 case 120:
251 Code{121, 7}
252 case 121:
253 Code{122, 7}
254 case 122:
255 Code{123, 7}
256 case 123:
257 Code{32766, 15}
258 case 124:
259 Code{2044, 11}
260 case 125:
261 Code{16381, 14}
262 case 126:
263 Code{8189, 13}
264 case 127:
265 Code{268435452, 28}
266 case 128:
267 Code{1048550, 20}
268 case 129:
269 Code{4194258, 22}
270 case 130:
271 Code{1048551, 20}
272 case 131:
273 Code{1048552, 20}
274 case 132:
275 Code{4194259, 22}
276 case 133:
277 Code{4194260, 22}
278 case 134:
279 Code{4194261, 22}
280 case 135:
281 Code{8388569, 23}
282 case 136:
283 Code{4194262, 22}
284 case 137:
285 Code{8388570, 23}
286 case 138:
287 Code{8388571, 23}
288 case 139:
289 Code{8388572, 23}
290 case 140:
291 Code{8388573, 23}
292 case 141:
293 Code{8388574, 23}
294 case 142:
295 Code{16777195, 24}
296 case 143:
297 Code{8388575, 23}
298 case 144:
299 Code{16777196, 24}
300 case 145:
301 Code{16777197, 24}
302 case 146:
303 Code{4194263, 22}
304 case 147:
305 Code{8388576, 23}
306 case 148:
307 Code{16777198, 24}
308 case 149:
309 Code{8388577, 23}
310 case 150:
311 Code{8388578, 23}
312 case 151:
313 Code{8388579, 23}
314 case 152:
315 Code{8388580, 23}
316 case 153:
317 Code{2097116, 21}
318 case 154:
319 Code{4194264, 22}
320 case 155:
321 Code{8388581, 23}
322 case 156:
323 Code{4194265, 22}
324 case 157:
325 Code{8388582, 23}
326 case 158:
327 Code{8388583, 23}
328 case 159:
329 Code{16777199, 24}
330 case 160:
331 Code{4194266, 22}
332 case 161:
333 Code{2097117, 21}
334 case 162:
335 Code{1048553, 20}
336 case 163:
337 Code{4194267, 22}
338 case 164:
339 Code{4194268, 22}
340 case 165:
341 Code{8388584, 23}
342 case 166:
343 Code{8388585, 23}
344 case 167:
345 Code{2097118, 21}
346 case 168:
347 Code{8388586, 23}
348 case 169:
349 Code{4194269, 22}
350 case 170:
351 Code{4194270, 22}
352 case 171:
353 Code{16777200, 24}
354 case 172:
355 Code{2097119, 21}
356 case 173:
357 Code{4194271, 22}
358 case 174:
359 Code{8388587, 23}
360 case 175:
361 Code{8388588, 23}
362 case 176:
363 Code{2097120, 21}
364 case 177:
365 Code{2097121, 21}
366 case 178:
367 Code{4194272, 22}
368 case 179:
369 Code{2097122, 21}
370 case 180:
371 Code{8388589, 23}
372 case 181:
373 Code{4194273, 22}
374 case 182:
375 Code{8388590, 23}
376 case 183:
377 Code{8388591, 23}
378 case 184:
379 Code{1048554, 20}
380 case 185:
381 Code{4194274, 22}
382 case 186:
383 Code{4194275, 22}
384 case 187:
385 Code{4194276, 22}
386 case 188:
387 Code{8388592, 23}
388 case 189:
389 Code{4194277, 22}
390 case 190:
391 Code{4194278, 22}
392 case 191:
393 Code{8388593, 23}
394 case 192:
395 Code{67108832, 26}
396 case 193:
397 Code{67108833, 26}
398 case 194:
399 Code{1048555, 20}
400 case 195:
401 Code{524273, 19}
402 case 196:
403 Code{4194279, 22}
404 case 197:
405 Code{8388594, 23}
406 case 198:
407 Code{4194280, 22}
408 case 199:
409 Code{33554412, 25}
410 case 200:
411 Code{67108834, 26}
412 case 201:
413 Code{67108835, 26}
414 case 202:
415 Code{67108836, 26}
416 case 203:
417 Code{134217694, 27}
418 case 204:
419 Code{134217695, 27}
420 case 205:
421 Code{67108837, 26}
422 case 206:
423 Code{16777201, 24}
424 case 207:
425 Code{33554413, 25}
426 case 208:
427 Code{524274, 19}
428 case 209:
429 Code{2097123, 21}
430 case 210:
431 Code{67108838, 26}
432 case 211:
433 Code{134217696, 27}
434 case 212:
435 Code{134217697, 27}
436 case 213:
437 Code{67108839, 26}
438 case 214:
439 Code{134217698, 27}
440 case 215:
441 Code{16777202, 24}
442 case 216:
443 Code{2097124, 21}
444 case 217:
445 Code{2097125, 21}
446 case 218:
447 Code{67108840, 26}
448 case 219:
449 Code{67108841, 26}
450 case 220:
451 Code{268435453, 28}
452 case 221:
453 Code{134217699, 27}
454 case 222:
455 Code{134217700, 27}
456 case 223:
457 Code{134217701, 27}
458 case 224:
459 Code{1048556, 20}
460 case 225:
461 Code{16777203, 24}
462 case 226:
463 Code{1048557, 20}
464 case 227:
465 Code{2097126, 21}
466 case 228:
467 Code{4194281, 22}
468 case 229:
469 Code{2097127, 21}
470 case 230:
471 Code{2097128, 21}
472 case 231:
473 Code{8388595, 23}
474 case 232:
475 Code{4194282, 22}
476 case 233:
477 Code{4194283, 22}
478 case 234:
479 Code{33554414, 25}
480 case 235:
481 Code{33554415, 25}
482 case 236:
483 Code{16777204, 24}
484 case 237:
485 Code{16777205, 24}
486 case 238:
487 Code{67108842, 26}
488 case 239:
489 Code{8388596, 23}
490 case 240:
491 Code{67108843, 26}
492 case 241:
493 Code{134217702, 27}
494 case 242:
495 Code{67108844, 26}
496 case 243:
497 Code{67108845, 26}
498 case 244:
499 Code{134217703, 27}
500 case 245:
501 Code{134217704, 27}
502 case 246:
503 Code{134217705, 27}
504 case 247:
505 Code{134217706, 27}
506 case 248:
507 Code{134217707, 27}
508 case 249:
509 Code{268435454, 28}
510 case 250:
511 Code{134217708, 27}
512 case 251:
513 Code{134217709, 27}
514 case 252:
515 Code{134217710, 27}
516 case 253:
517 Code{134217711, 27}
518 case 254:
519 Code{134217712, 27}
520 case 255:
521 Code{67108846, 26}
522 case 256:
523 Code{1073741823, 30}
524 case _:
525 Code{0, 0}