package tiny_libs

  1. Overview
  2. Docs
package tiny_libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file Layer3_tables.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
(* Claude Code
 *
 * Copyright (C) 2026 Yoann Padioleau
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Library General Public License
 * (LGPL) as published by the Free Software Foundation; either version
 * 2 of the License, or (at your option) any later version.
 *)

(* See Layer3_tables.mli *)

(*****************************************************************************)
(* The Huffman codes (Table B.7) *)
(*****************************************************************************)

(* each table's codes, (x, y) row after row: the code of (x, y) is at x *
 * size + y. Written from libmad's huffman.c (Rob Leslie's, whose tables
 * decode several bits at a time), its trees walked back into the codes
 * the standard prints, then checked: each table prefix-free and complete
 * (its Kraft sum 1, Unit_mpeg_audio.ml) *)

(* 1: 2 x 2 *)
let t1 =
  [| "1"; "001";
    "01"; "000" |]

(* 2: 3 x 3 *)
let t2 =
  [| "1"; "010"; "0000 01";
    "011"; "001"; "0000 1";
    "0001 1"; "0001 0"; "0000 00" |]

(* 3: 3 x 3 *)
let t3 =
  [| "11"; "10"; "0000 01";
    "001"; "01"; "0000 1";
    "0001 1"; "0001 0"; "0000 00" |]

(* 5: 4 x 4 *)
let t5 =
  [| "1"; "010"; "0001 10"; "0000 101";
    "011"; "001"; "0001 00"; "0000 100";
    "0001 11"; "0001 01"; "0000 111"; "0000 0001";
    "0000 110"; "0000 01"; "0000 001"; "0000 0000" |]

(* 6: 4 x 4 *)
let t6 =
  [| "111"; "011"; "0010 1"; "0000 001";
    "110"; "10"; "0011"; "0001 0";
    "0101"; "0100"; "0010 0"; "0000 01";
    "0000 11"; "0001 1"; "0000 10"; "0000 000" |]

(* 7: 6 x 6 *)
let t7 =
  [| "1"; "010"; "0010 10"; "0001 0011"; "0001 0000"; "0000 0101 0";
    "011"; "0011"; "0001 11"; "0001 010"; "0000 101"; "0000 0011";
    "0010 11"; "0010 0"; "0001 101"; "0001 0001"; "0000 1000"; "0000 0010 0";
    "0001 100"; "0001 011"; "0001 0010"; "0000 0111 1"; "0000 0101 1"; "0000 0001 0";
    "0000 111"; "0000 110"; "0000 1001"; "0000 0111 0"; "0000 0001 1"; "0000 0000 01";
    "0000 0110"; "0000 0100"; "0000 0010 1"; "0000 0000 11"; "0000 0000 10"; "0000 0000 00" |]

(* 8: 6 x 6 *)
let t8 =
  [| "11"; "100"; "0001 10"; "0001 0010"; "0000 1100"; "0000 0010 1";
    "101"; "01"; "0010"; "0001 0000"; "0000 1001"; "0000 0011";
    "0001 11"; "0011"; "0001 01"; "0000 1110"; "0000 0111"; "0000 0001 1";
    "0001 0011"; "0001 0001"; "0000 1111"; "0000 0110 1"; "0000 0101 0"; "0000 0001 00";
    "0000 1101"; "0000 101"; "0000 1000"; "0000 0101 1"; "0000 0001 01"; "0000 0000 01";
    "0000 0110 0"; "0000 0100"; "0000 0010 0"; "0000 0000 1"; "0000 0000 001"; "0000 0000 000" |]

(* 9: 6 x 6 *)
let t9 =
  [| "111"; "101"; "0100 1"; "0011 10"; "0000 1111"; "0000 0011 1";
    "110"; "100"; "0101"; "0010 1"; "0001 10"; "0000 0111";
    "0111"; "0110"; "0100 0"; "0010 00"; "0001 000"; "0000 0101";
    "0011 11"; "0011 0"; "0010 01"; "0001 010"; "0000 101"; "0000 0001";
    "0001 011"; "0001 11"; "0001 001"; "0000 110"; "0000 0100"; "0000 0000 1";
    "0000 1110"; "0000 100"; "0000 0110"; "0000 0010"; "0000 0011 0"; "0000 0000 0" |]

(* 10: 8 x 8 *)
let t10 =
  [| "1"; "010"; "0010 10"; "0001 0111"; "0001 0001 1"; "0000 1111 0"; "0000 0110 0";
    "0000 0100 01";
    "011"; "0011"; "0010 00"; "0001 100"; "0001 0010"; "0000 1010 1"; "0000 1100"; "0000 0111";
    "0010 11"; "0010 01"; "0001 111"; "0001 0101"; "0001 0000 0"; "0000 1010 00"; "0000 1001 1";
    "0000 0011 0";
    "0001 110"; "0001 101"; "0001 0110"; "0001 0001 0"; "0000 1011 10"; "0000 0101 11";
    "0000 1001 0"; "0000 0001 11";
    "0001 0100"; "0001 0011"; "0001 0000 1"; "0000 1011 11"; "0000 0110 11"; "0000 0101 10";
    "0000 0010 01"; "0000 0000 11";
    "0000 1111 1"; "0000 1011 0"; "0000 1010 01"; "0000 0110 10"; "0000 0010 101"; "0000 0010 100";
    "0000 0001 01"; "0000 0000 011";
    "0000 1110"; "0000 1101"; "0000 0101 0"; "0000 0010 11"; "0000 0100 00"; "0000 0001 10";
    "0000 0000 101"; "0000 0000 001";
    "0000 0100 1"; "0000 1000"; "0000 0011 1"; "0000 0010 00"; "0000 0001 00"; "0000 0000 100";
    "0000 0000 010"; "0000 0000 000" |]

(* 11: 8 x 8 *)
let t11 =
  [| "11"; "100"; "0101 0"; "0011 000"; "0010 0010"; "0001 0000 1"; "0001 0101"; "0000 0111 1";
    "101"; "011"; "0100"; "0010 10"; "0010 0000"; "0001 0001"; "0001 011"; "0000 1010";
    "0101 1"; "0011 1"; "0011 01"; "0010 010"; "0001 1110"; "0000 1111 1"; "0001 0100";
    "0000 0101";
    "0011 001"; "0010 11"; "0010 011"; "0001 1101 1"; "0001 1011"; "0000 0100 10"; "0000 1100";
    "0000 0010 1";
    "0010 0011"; "0010 0001"; "0001 1111"; "0001 1101 0"; "0000 1111 0"; "0000 0100 00";
    "0000 0011 1"; "0000 0001 01";
    "0001 1100"; "0001 1010"; "0001 0000 0"; "0000 0100 11"; "0000 0100 01"; "0000 0001 111";
    "0000 0010 00"; "0000 0001 110";
    "0000 1110"; "0001 100"; "0001 001"; "0000 1101"; "0000 0111 0"; "0000 0010 01";
    "0000 0001 00"; "0000 0000 01";
    "0000 1011"; "0000 100"; "0000 0110"; "0000 0011 0"; "0000 0001 10"; "0000 0000 11";
    "0000 0000 10"; "0000 0000 00" |]

(* 12: 8 x 8 *)
let t12 =
  [| "1001"; "110"; "1000 0"; "0100 001"; "0010 1001"; "0001 0011 1"; "0001 0011 0"; "0000 1101 0";
    "111"; "101"; "0110"; "0100 1"; "0010 111"; "0010 000"; "0001 1010"; "0000 1011";
    "1000 1"; "0111"; "0101 1"; "0011 10"; "0010 101"; "0001 1110"; "0001 010"; "0000 0111";
    "0100 01"; "0101 0"; "0011 11"; "0011 00"; "0010 010"; "0001 1100"; "0000 1110"; "0000 0101";
    "0100 000"; "0011 01"; "0010 110"; "0010 011"; "0001 0010"; "0001 0000"; "0000 1001";
    "0000 0010 1";
    "0010 1000"; "0010 001"; "0001 1111"; "0001 1101"; "0001 0001"; "0000 0110 1"; "0000 0100";
    "0000 0001 0";
    "0001 1011"; "0001 100"; "0001 011"; "0000 1111"; "0000 1010"; "0000 0011 1"; "0000 0010 0";
    "0000 0000 01";
    "0000 1101 1"; "0000 1100"; "0000 1000"; "0000 0110 0"; "0000 0011 0"; "0000 0001 1";
    "0000 0000 1"; "0000 0000 00" |]

(* 13: 16 x 16 *)
let t13 =
  [| "1"; "0101"; "0011 10"; "0010 101"; "0010 0010"; "0001 1001 1"; "0001 0111 0"; "0001 0001 11";
    "0001 0101 0"; "0000 1101 00"; "0000 1000 100"; "0000 0110 100"; "0000 0100 0011";
    "0000 0010 1100"; "0000 0001 0101 1"; "0000 0000 1001 1";
    "011"; "0100"; "0011 00"; "0010 011"; "0001 1111"; "0001 1010"; "0001 0110 0"; "0001 0000 1";
    "0000 1111 1"; "0000 1100 0"; "0000 1000 00"; "0000 0110 00"; "0000 0011 111";
    "0000 0010 0011"; "0000 0001 0110"; "0000 0000 1110";
    "0011 11"; "0011 01"; "0010 111"; "0010 0100"; "0001 1101 1"; "0001 1000 1"; "0001 0011 01";
    "0001 0000 01"; "0000 1110 1"; "0000 1010 00"; "0000 0111 10"; "0000 0101 000";
    "0000 0011 011"; "0000 0010 0001"; "0000 0001 0101 0"; "0000 0000 1000 0";
    "0010 110"; "0010 100"; "0010 0101"; "0001 1110 1"; "0001 1100 0"; "0001 0011 11";
    "0001 0010 01"; "0001 0000 00"; "0000 1010 11"; "0000 1001 100"; "0000 0111 000";
    "0000 0100 101"; "0000 0011 010"; "0000 0001 1111"; "0000 0000 1100 1"; "0000 0000 0111 0";
    "0010 0011"; "0010 000"; "0001 1110 0"; "0001 1100 1"; "0001 1000 01"; "0001 0010 11";
    "0000 1110 010"; "0000 1011 011"; "0000 1101 10"; "0000 1001 001"; "0000 0110 111";
    "0000 0010 1001"; "0000 0011 0000"; "0000 0001 1010 1"; "0000 0000 1011 1";
    "0000 0000 0110 00";
    "0001 1101 0"; "0001 1011"; "0001 1001 0"; "0001 1000 00"; "0001 0011 00"; "0001 0001 10";
    "0000 1011 101"; "0000 1010 100"; "0000 1001 101"; "0000 0111 010"; "0000 0100 1111";
    "0000 0011 101"; "0000 0010 0101 0"; "0000 0001 1000 1"; "0000 0000 1010 01";
    "0000 0000 0100 01";
    "0001 0111 1"; "0001 0110 1"; "0001 0011 10"; "0001 0010 10"; "0000 1110 011"; "0000 1011 110";
    "0000 1011 010"; "0000 1001 111"; "0000 1000 101"; "0000 0101 0011"; "0000 0100 0111";
    "0000 0011 0010"; "0000 0001 1101 1"; "0000 0001 0011 0"; "0000 0000 1001 00";
    "0000 0000 0011 11";
    "0001 0010 00"; "0001 0001 0"; "0000 1110 00"; "0000 1011 111"; "0000 1011 100";
    "0000 1010 101"; "0000 0101 1011"; "0000 0101 1010"; "0000 0101 0110"; "0000 0100 1001";
    "0000 0010 0110 1"; "0000 0010 0000 1"; "0000 0001 1001 1"; "0000 0000 1011 00";
    "0000 0000 0010 1011"; "0000 0000 0010 1010";
    "0001 0101 1"; "0001 0100"; "0000 1111 0"; "0000 1011 00"; "0000 1101 11"; "0000 1001 110";
    "0000 1001 000"; "0000 0101 0111"; "0000 0100 1110"; "0000 0011 1101"; "0000 0010 1110";
    "0000 0001 1011 0"; "0000 0001 0010 1"; "0000 0000 0111 10"; "0000 0000 0010 100";
    "0000 0000 0010 000";
    "0000 1101 01"; "0000 1100 1"; "0000 1010 01"; "0000 1001 01"; "0000 0101 100";
    "0000 0111 011"; "0000 0110 110"; "0000 0010 1000 1"; "0000 0100 0010"; "0000 0010 0110 0";
    "0000 0001 1100 1"; "0000 0000 1101 10"; "0000 0000 1001 01"; "0000 0000 0100 10";
    "0000 0000 0010 0111"; "0000 0000 0001 011";
    "0000 1000 11"; "0000 1000 01"; "0000 0111 11"; "0000 0111 001"; "0000 0101 010";
    "0000 0101 0010"; "0000 0100 1000"; "0000 0010 1000 0"; "0000 0010 1111"; "0000 0001 1101 0";
    "0000 0000 1101 11"; "0000 0000 1010 1"; "0000 0000 0101 10"; "0000 0000 0011 010";
    "0000 0000 0010 0110"; "0000 0000 0000 1011 0";
    "0000 0110 101"; "0000 0110 01"; "0000 0101 11"; "0000 0100 110"; "0000 0100 0110";
    "0000 0011 1100"; "0000 0011 0011"; "0000 0010 0100"; "0000 0001 1011 1"; "0000 0000 1101 0";
    "0000 0001 0001 0"; "0000 0000 0101 11"; "0000 0000 0011 011"; "0000 0000 0001 110";
    "0000 0000 0001 001"; "0000 0000 0000 0111";
    "0000 0100 010"; "0000 0100 000"; "0000 0011 100"; "0000 0010 0111"; "0000 0011 0001";
    "0000 0010 0101 1"; "0000 0001 1110"; "0000 0001 1010 0"; "0000 0000 1100 00";
    "0000 0000 1010 00"; "0000 0000 0110 100"; "0000 0000 0011 100"; "0000 0000 0010 010";
    "0000 0000 0001 0001"; "0000 0000 0000 1001"; "0000 0000 0000 0101";
    "0000 0010 1101"; "0000 0010 101"; "0000 0010 0010"; "0000 0010 0000 0"; "0000 0001 1100 0";
    "0000 0001 1001 0"; "0000 0000 1100 01"; "0000 0000 1011 01"; "0000 0000 0111 11";
    "0000 0000 0100 11"; "0000 0000 0011 00"; "0000 0000 0001 111"; "0000 0000 0000 1010";
    "0000 0000 0000 111"; "0000 0000 0000 0110"; "0000 0000 0000 0011";
    "0000 0001 1000 0"; "0000 0001 0111"; "0000 0001 0100"; "0000 0001 0011 1"; "0000 0001 0010 0";
    "0000 0001 0001 1"; "0000 0000 0110 101"; "0000 0000 0101 01"; "0000 0000 0100 00";
    "0000 0000 0000 1011 1"; "0000 0000 0001 101"; "0000 0000 0001 010"; "0000 0000 0000 110";
    "0000 0000 0000 0000 1"; "0000 0000 0000 0100"; "0000 0000 0000 0010";
    "0000 0001 0000"; "0000 0000 1111"; "0000 0000 1000 1"; "0000 0000 0110 11";
    "0000 0000 0110 01"; "0000 0000 0101 00"; "0000 0000 0011 101"; "0000 0000 0010 11";
    "0000 0000 0010 001"; "0000 0000 0001 100"; "0000 0000 0001 0000"; "0000 0000 0000 1000";
    "0000 0000 0000 0000 001"; "0000 0000 0000 0000 01"; "0000 0000 0000 0000 000";
    "0000 0000 0000 0001" |]

(* 15: 16 x 16 *)
let t15 =
  [| "111"; "1100"; "1001 0"; "0110 101"; "0101 111"; "0100 1100"; "0011 1110 0"; "0011 0110 0";
    "0010 1100 1"; "0001 1110 11"; "0001 1011 00"; "0000 1110 111"; "0000 1101 011";
    "0000 1010 001"; "0000 0111 1010"; "0000 0001 1111 1";
    "1101"; "101"; "1000 0"; "0110 11"; "0101 110"; "0100 100"; "0011 1101"; "0011 0011";
    "0010 1010"; "0010 0011 0"; "0001 1010 0"; "0001 0100 11"; "0001 0000 01"; "0000 1010 01";
    "0000 0111 011"; "0000 0100 100";
    "1001 1"; "1000 1"; "0111 1"; "0110 00"; "0101 001"; "0100 010"; "0011 1011"; "0011 0000";
    "0010 1000"; "0010 0000 0"; "0001 1001 0"; "0001 0011 10"; "0000 1111 10"; "0000 1010 000";
    "0000 0111 000"; "0000 0100 001";
    "0111 01"; "0111 00"; "0110 01"; "0101 011"; "0100 111"; "0011 1111"; "0011 0111";
    "0010 1110 1"; "0010 0110 0"; "0001 1101 1"; "0001 0111 01"; "0001 0010 00"; "0000 1101 10";
    "0000 1001 011"; "0000 0110 010"; "0000 0011 101";
    "0110 100"; "0101 10"; "0101 010"; "0101 000"; "0100 0011"; "0011 1001"; "0010 1111 1";
    "0010 0111 1"; "0010 0100 0"; "0001 1100 1"; "0001 0110 01"; "0001 0001 01"; "0000 1100 01";
    "0000 1000 010"; "0000 0101 110"; "0000 0011 011";
    "0100 1101"; "0100 101"; "0100 011"; "0100 0010"; "0011 1010"; "0011 0100"; "0010 1101 1";
    "0010 0101 0"; "0001 1111 0"; "0001 1000 0"; "0001 0011 11"; "0000 1111 11"; "0000 1011 010";
    "0000 0111 110"; "0000 0101 000"; "0000 0010 0110";
    "0011 1110 1"; "0100 000"; "0011 1100"; "0011 1000"; "0011 0010"; "0010 1110 0"; "0010 0111 0";
    "0010 0000 1"; "0001 1011 1"; "0001 0101 11"; "0001 0001 11"; "0000 1100 11"; "0000 1001 001";
    "0000 0110 011"; "0000 0100 0110"; "0000 0001 1110";
    "0011 0110 1"; "0011 0101"; "0011 0001"; "0010 1111 0"; "0010 1100 0"; "0010 0101 1";
    "0010 0001 0"; "0001 1110 10"; "0001 0110 11"; "0001 0010 01"; "0000 1110 00"; "0000 1010 10";
    "0000 1000 000"; "0000 0101 100"; "0000 0010 101"; "0000 0001 1001";
    "0010 1101 0"; "0010 1011"; "0010 1001"; "0010 0110 1"; "0010 0100 1"; "0001 1111 1";
    "0001 1100 0"; "0001 0111 00"; "0001 0011 01"; "0001 0000 10"; "0000 1011 11"; "0000 1000 011";
    "0000 0110 000"; "0000 0011 0101"; "0000 0010 0100"; "0000 0001 0100";
    "0010 0011 1"; "0010 0010"; "0010 0001 1"; "0001 1110 0"; "0001 1101 0"; "0001 1000 1";
    "0001 0110 00"; "0001 0011 00"; "0001 0000 11"; "0000 1101 010"; "0000 1000 111";
    "0000 0110 110"; "0000 0100 110"; "0000 0010 0111"; "0000 0001 0111"; "0000 0000 1111";
    "0001 1011 01"; "0001 1010 1"; "0001 1001 1"; "0001 0111 1"; "0001 0110 10"; "0001 0100 10";
    "0000 1110 10"; "0000 1110 01"; "0000 1100 00"; "0000 1001 000"; "0000 0111 001";
    "0000 0101 001"; "0000 0010 111"; "0000 0001 1011"; "0000 0001 1111 0"; "0000 0000 1001";
    "0001 0101 10"; "0001 0101 0"; "0001 0100 0"; "0001 0010 1"; "0001 0001 10"; "0001 0000 00";
    "0000 1101 00"; "0000 1010 11"; "0000 1000 110"; "0000 0110 111"; "0000 0101 010";
    "0000 0011 001"; "0000 0001 1101"; "0000 0001 0010"; "0000 0000 1011"; "0000 0000 0101 1";
    "0000 1110 110"; "0001 0001 00"; "0000 1111 0"; "0000 1101 11"; "0000 1100 10"; "0000 1011 10";
    "0000 1001 010"; "0000 1000 001"; "0000 0110 001"; "0000 0100 111"; "0000 0011 000";
    "0000 0010 000"; "0000 0001 0110"; "0000 0000 1101"; "0000 0000 0111 0"; "0000 0000 0011 1";
    "0000 1011 011"; "0000 1011 00"; "0000 1001 11"; "0000 1001 10"; "0000 1000 10";
    "0000 0111 111"; "0000 0110 100"; "0000 0101 101"; "0000 0011 111"; "0000 0011 0100";
    "0000 0001 1100"; "0000 0001 0011"; "0000 0000 1110"; "0000 0000 1000"; "0000 0000 0100 1";
    "0000 0000 0001 1";
    "0000 0111 1011"; "0000 0111 100"; "0000 0111 010"; "0000 0110 101"; "0000 0101 111";
    "0000 0101 011"; "0000 0100 000"; "0000 0010 110"; "0000 0010 0101"; "0000 0001 1000";
    "0000 0001 0001"; "0000 0000 1100"; "0000 0000 0111 1"; "0000 0000 0101 0"; "0000 0000 0010";
    "0000 0000 0000 1";
    "0000 0100 0111"; "0000 0100 101"; "0000 0100 010"; "0000 0011 110"; "0000 0011 100";
    "0000 0010 100"; "0000 0010 001"; "0000 0001 1010"; "0000 0001 0101"; "0000 0001 0000";
    "0000 0000 1010"; "0000 0000 0110"; "0000 0000 0100 0"; "0000 0000 0011 0"; "0000 0000 0001 0";
    "0000 0000 0000 0" |]

(* 16: 16 x 16 *)
let t16 =
  [| "1"; "0101"; "0011 10"; "0010 1100"; "0010 0101 0"; "0001 1111 1"; "0001 1011 10";
    "0001 0111 01"; "0001 0101 100"; "0001 0010 101"; "0001 0001 010"; "0000 1111 0010";
    "0000 1110 0001"; "0000 1100 0011"; "0000 1011 1100 0"; "0000 1000 1";
    "011"; "0100"; "0011 00"; "0010 100"; "0010 0011"; "0001 1111 0"; "0001 1010 1"; "0001 0111 1";
    "0001 0100 11"; "0001 0010 11"; "0001 0001 00"; "0000 1110 111"; "0000 1100 1001";
    "0000 1101 011"; "0000 1100 1111"; "0000 1001";
    "0011 11"; "0011 01"; "0010 111"; "0010 0110"; "0010 0001 1"; "0001 1101 0"; "0001 1001 11";
    "0001 0110 10"; "0001 0100 001"; "0001 0010 00"; "0000 1111 111"; "0000 1110 101";
    "0000 1101 110"; "0000 1101 0001"; "0000 1100 1110"; "0000 1000 0";
    "0010 1101"; "0010 101"; "0010 0111"; "0010 0010 1"; "0010 0000 0"; "0001 1100 10";
    "0001 1000 11"; "0001 0101 11"; "0001 0011 110"; "0001 0001 100"; "0000 1111 1100";
    "0000 1101 0100"; "0000 1100 0111"; "0000 1100 0001 1"; "0000 1011 0110 1"; "0000 0110 10";
    "0010 0101 1"; "0010 0100"; "0010 0010 0"; "0010 0000 1"; "0001 1100 11"; "0001 1001 01";
    "0001 0110 011"; "0001 0100 100"; "0001 0011 011"; "0001 0000 1000"; "0000 1111 0110";
    "0000 1110 0010"; "0000 1100 0101 1"; "0000 1011 1111 0"; "0000 1011 0101 0"; "0000 0100 1";
    "0010 0001 0"; "0001 1110"; "0001 1101 1"; "0001 1100 0"; "0001 1001 10"; "0001 0111 001";
    "0001 0101 101"; "0001 0000 1001"; "0001 0001 110"; "0000 1111 1101"; "0000 1110 1000";
    "0000 1100 1000 0"; "0000 1100 0010 0"; "0000 1011 1101 0"; "0000 0110 1111 01";
    "0000 0100 00";
    "0001 1011 11"; "0001 1011 0"; "0001 1010 0"; "0001 1001 00"; "0001 0111 000"; "0001 0110 010";
    "0001 0100 000"; "0001 0000 101"; "0001 0000 0001"; "0000 1111 0100"; "0000 1110 0100";
    "0000 1101 1001"; "0000 1100 0000 1"; "0000 1011 0111 0"; "0000 1011 0010 11"; "0000 0010 10";
    "0001 1000 10"; "0001 1000 0"; "0001 0110 11"; "0001 0110 00"; "0001 0100 101";
    "0001 0011 101"; "0001 0010 100"; "0001 0000 0101"; "0000 1111 1000"; "0000 1100 1011 1";
    "0000 1100 0110 1"; "0000 1011 1010 0"; "0000 1011 1110 0"; "0000 0110 1111 001";
    "0000 0110 1110 100"; "0000 0010 00";
    "0001 0101 01"; "0001 0101 00"; "0001 0100 01"; "0001 0011 111"; "0001 0011 100";
    "0001 0001 111"; "0001 0000 0100"; "0000 1111 1001"; "0000 1101 0101 1"; "0000 1100 1000 1";
    "0000 1100 0100 0"; "0000 1011 1111 1"; "0000 1011 0101 11"; "0000 1011 0010 01";
    "0000 1011 0001 00"; "0000 0001 11";
    "0001 0011 010"; "0001 0011 00"; "0001 0010 01"; "0001 0001 101"; "0001 0000 011";
    "0001 0000 0000"; "0000 1111 0101"; "0000 1101 0101 0"; "0000 1100 1011 0"; "0000 1100 0101 0";
    "0000 1100 0000 0"; "0000 1011 0111 11"; "0000 1011 0011 1"; "0000 1011 0001 10";
    "0000 1011 0000 0"; "0000 0001 011";
    "0001 0001 011"; "0001 0000 001"; "0001 0000 11"; "0000 1111 101"; "0000 1111 0111";
    "0000 1110 1001"; "0000 1110 0101"; "0000 1101 1011"; "0000 1100 0100 1"; "0000 1011 1001 11";
    "0000 1011 1000 01"; "0000 1011 0100 00"; "0000 0110 1110 101"; "0000 0110 1110 010";
    "0000 0110 1101 11"; "0000 0001 00";
    "0000 1111 0011"; "0000 1111 000"; "0000 1110 110"; "0000 1110 011"; "0000 1110 0011";
    "0000 1101 1111"; "0000 1100 0110 0"; "0000 1011 1010 10"; "0000 1011 1001 10";
    "0000 1011 1000 00"; "0000 1011 0100 01"; "0000 1011 0010 00"; "0000 1011 0000 10";
    "0000 0110 1111 1"; "0000 0110 1101 00"; "0000 0000 110";
    "0000 1100 1010"; "0000 1110 0000"; "0000 1101 1110"; "0000 1101 1010"; "0000 1101 1000";
    "0000 1100 0010 1"; "0000 1100 0001 0"; "0000 1011 1110 1"; "0000 1011 0110 0";
    "0000 0110 1111 000"; "0000 0110 1110 11"; "0000 1011 0000 11"; "0000 0110 1110 00";
    "0000 0110 1101 01"; "0000 0110 1100 0000"; "0000 0000 100";
    "0000 1011 1010 11"; "0000 1101 0011"; "0000 1101 0010"; "0000 1101 0000"; "0000 1011 1001 0";
    "0000 1011 1101 1"; "0000 1011 0111 10"; "0000 1011 0100 11"; "0000 1011 0010 10";
    "0000 0110 1100 0111"; "0000 0110 1110 011"; "0000 0110 1101 101"; "0000 0110 1101 100";
    "0000 0110 1100 0001 1"; "0000 0110 1100 001"; "0000 0000 010";
    "0000 1011 1100 1"; "0000 1011 1000 1"; "0000 1100 110"; "0000 1011 1011"; "0000 1011 0101 10";
    "0000 1011 0100 10"; "0000 1011 0011 0"; "0000 1011 0001 11"; "0000 1011 0001 01";
    "0000 0110 1100 010"; "0000 0110 1100 0110"; "0000 0110 1100 111"; "0000 0110 1100 0001 0";
    "0000 0110 1100 110"; "0000 0110 1100 10"; "0000 0000 000";
    "0000 0110 0"; "0000 1010"; "0000 0111"; "0000 0101 1"; "0000 0101 0"; "0000 0100 01";
    "0000 0010 11"; "0000 0010 01"; "0000 0001 101"; "0000 0001 100"; "0000 0001 010";
    "0000 0000 111"; "0000 0000 101"; "0000 0000 011"; "0000 0000 001"; "0000 0011" |]

(* 24: 16 x 16 *)
let t24 =
  [| "1111"; "1101"; "1011 10"; "1010 000"; "1001 0010"; "1000 0011 0"; "0111 1100 0";
    "0110 1100 10"; "0110 1010 10"; "0101 0011 101"; "0101 0001 101"; "0101 0001 001";
    "0100 1101 101"; "0100 0000 101"; "0100 0000 1000"; "0010 1100 0";
    "1110"; "1100"; "1010 1"; "1001 10"; "1000 111"; "1000 0010"; "0111 1010"; "0110 1100 0";
    "0110 1000 1"; "0110 0011 0"; "0101 0001 11"; "0101 0110 01"; "0100 1111 11"; "0100 1010 01";
    "0100 0101 11"; "0010 1010";
    "1011 11"; "1011 0"; "1010 01"; "1001 010"; "1000 100"; "1000 0000"; "0111 1000";
    "0110 1110 1"; "0110 0111 1"; "0110 0001 0"; "0101 1011 0"; "0101 0101 00"; "0100 1110 11";
    "0100 1001 11"; "0100 0011 101"; "0010 010";
    "1010 001"; "1001 11"; "1001 011"; "1000 110"; "1000 0110"; "0111 1101"; "0111 0100";
    "0110 1110 0"; "0110 0110 0"; "0101 1111 0"; "0101 1001 0"; "0101 0001 01"; "0100 1101 11";
    "0100 1001 01"; "0100 0011 11"; "0010 000";
    "1001 0011"; "1001 000"; "1000 101"; "1000 0111"; "0111 1111"; "0111 0110"; "0111 0000";
    "0110 1001 0"; "0110 0100 0"; "0101 1110 0"; "0101 1000 00"; "0101 0000 11"; "0100 1100 10";
    "0100 0111 01"; "0100 0011 100"; "0001 110";
    "1000 0011 1"; "1000 010"; "1000 0001"; "0111 1110"; "0111 0111"; "0111 0010"; "0110 1011 0";
    "0110 0101 0"; "0110 0000 0"; "0101 1010 0"; "0101 0101 01"; "0100 1111 01"; "0100 1011 01";
    "0100 0110 01"; "0100 0001 10"; "0001 100";
    "0111 1100 1"; "0111 1011"; "0111 1001"; "0111 0101"; "0111 0001"; "0110 1011 1";
    "0110 0111 0"; "0110 0001 1"; "0101 1100 1"; "0101 0110 11"; "0101 0010 10"; "0100 1101 00";
    "0100 1000 11"; "0100 0100 00"; "0100 0001 000"; "0001 010";
    "0110 1100 11"; "0111 0011"; "0110 1111"; "0110 1101"; "0110 1001 1"; "0110 0101 1";
    "0110 0010 0"; "0101 1101 1"; "0101 1000 01"; "0101 0011 00"; "0100 1110 01"; "0100 1010 10";
    "0100 0110 11"; "0100 0010 011"; "0010 1111 101"; "0001 0001";
    "0110 1010 11"; "0110 1010 0"; "0110 1000 0"; "0110 0110 1"; "0110 0100 1"; "0110 0000 1";
    "0101 1101 0"; "0101 1000 1"; "0101 0100 1"; "0101 0000 00"; "0100 1011 11"; "0100 0111 10";
    "0100 0011 00"; "0100 0000 010"; "0010 1111 001"; "0001 0000";
    "0101 0011 11"; "0110 0011 1"; "0110 0010 1"; "0101 1111 1"; "0101 1110 1"; "0101 1010 1";
    "0101 0111 0"; "0101 0011 01"; "0101 0000 01"; "0100 1100 01"; "0100 1000 01"; "0100 0100 11";
    "0100 0001 001"; "0010 1111 011"; "0010 1110 011"; "0000 1011";
    "0101 0011 100"; "0101 1100 0"; "0101 1011 1"; "0101 1001 1"; "0101 0111 1"; "0101 0110 00";
    "0101 0010 11"; "0100 1110 10"; "0100 1100 00"; "0100 1000 10"; "0100 0101 01";
    "0100 0010 010"; "0010 1111 111"; "0010 1110 101"; "0010 1101 110"; "0000 1010";
    "0101 0001 100"; "0101 0110 10"; "0101 0101 1"; "0101 0100 0"; "0101 0010 0"; "0100 1111 10";
    "0100 1101 01"; "0100 1010 11"; "0100 0111 11"; "0100 0101 00"; "0100 0001 11";
    "0100 0000 001"; "0010 1110 111"; "0010 1110 000"; "0010 1101 010"; "0000 0110";
    "0101 0001 000"; "0101 0000 10"; "0100 1111 00"; "0100 1110 00"; "0100 1100 11";
    "0100 1011 10"; "0100 1001 00"; "0100 0111 00"; "0100 0011 01"; "0100 0001 01";
    "0100 0000 000"; "0010 1111 000"; "0010 1110 010"; "0010 1101 100"; "0010 1100 111";
    "0000 0100";
    "0100 1101 100"; "0100 1011 00"; "0100 1010 00"; "0100 1001 10"; "0100 1000 00";
    "0100 0110 10"; "0100 0100 01"; "0100 0010 10"; "0100 0000 011"; "0010 1111 100";
    "0010 1110 110"; "0010 1110 001"; "0010 1101 101"; "0010 1101 001"; "0010 1100 101";
    "0000 0010";
    "0100 0000 1001"; "0100 0110 00"; "0100 0101 10"; "0100 0100 10"; "0100 0010 11";
    "0100 0010 00"; "0100 0000 11"; "0010 1111 110"; "0010 1111 010"; "0010 1110 100";
    "0010 1101 111"; "0010 1101 011"; "0010 1101 000"; "0010 1100 110"; "0010 1100 100";
    "0000 0000";
    "0010 1011"; "0010 100"; "0010 011"; "0010 001"; "0001 111"; "0001 101"; "0001 011";
    "0001 001"; "0000 111"; "0000 110"; "0000 100"; "0000 0111"; "0000 0101"; "0000 0011";
    "0000 0001"; "0011" |]

let quad_a = [| "1"; "0101"; "0100"; "00101"; "0110"; "000101"; "00100"; "000100"; "0111"; "00011"; "00110"; "000000"; "00111"; "000010"; "000011"; "000001" |]
let quad_b = [| "1111"; "1110"; "1101"; "1100"; "1011"; "1010"; "1001"; "1000"; "0111"; "0110"; "0101"; "0100"; "0011"; "0010"; "0001"; "0000" |]

(* the tables a big_values region may select: none (0: all zeros), a
 * table and its linbits; 4 and 14 unused; 16 to 23 are table 16 and 24
 * to 31 table 24, each with more linbits *)
let pairs : (string array * int * int) option array =
  let t codes size linbits = Some (codes, size, linbits) in
  [| None; t t1 2 0; t t2 3 0; t t3 3 0; None; t t5 4 0; t t6 4 0; t t7 6 0; t t8 6 0; t t9 6 0; t t10 8 0;
     t t11 8 0; t t12 8 0; t t13 16 0; None; t t15 16 0;
     t t16 16 1; t t16 16 2; t t16 16 3; t t16 16 4; t t16 16 6; t t16 16 8; t t16 16 10; t t16 16 13;
     t t24 16 4; t t24 16 5; t t24 16 6; t t24 16 7; t t24 16 8; t t24 16 9; t t24 16 11; t t24 16 13 |]

(*****************************************************************************)
(* Scalefactor bands (Table B.8) *)
(*****************************************************************************)

(* where each band starts, and the end: long blocks' 22 bands of 576
 * lines, short blocks' 13 of 192; by sample rate *)
let long_bands (rate : int) : int array =
  match rate with
  | 44100 -> [| 0; 4; 8; 12; 16; 20; 24; 30; 36; 44; 52; 62; 74; 90; 110; 134; 162; 196; 238; 288; 342; 418; 576 |]
  | 48000 -> [| 0; 4; 8; 12; 16; 20; 24; 30; 36; 42; 50; 60; 72; 88; 106; 128; 156; 190; 230; 276; 330; 384; 576 |]
  | 32000 -> [| 0; 4; 8; 12; 16; 20; 24; 30; 36; 44; 54; 66; 82; 102; 126; 156; 194; 240; 296; 364; 448; 550; 576 |]
  | 22050 | 24000 | 16000 ->
      (* ISO/IEC 13818-3, Table B.2: 22,050 and 16,000 alike *)
      if rate = 24000 then [| 0; 6; 12; 18; 24; 30; 36; 44; 54; 66; 80; 96; 114; 136; 162; 194; 232; 278; 332; 394; 464; 540; 576 |]
      else [| 0; 6; 12; 18; 24; 30; 36; 44; 54; 66; 80; 96; 116; 140; 168; 200; 238; 284; 336; 396; 464; 522; 576 |]
  | _ (* MPEG-2.5's 11,025, 12,000 and 8,000 *) ->
      if rate = 8000 then [| 0; 12; 24; 36; 48; 60; 72; 88; 108; 132; 160; 192; 232; 280; 336; 400; 476; 566; 568; 570; 572; 574; 576 |]
      else [| 0; 6; 12; 18; 24; 30; 36; 44; 54; 66; 80; 96; 116; 140; 168; 200; 238; 284; 336; 396; 464; 522; 576 |]

let short_bands (rate : int) : int array =
  match rate with
  | 44100 -> [| 0; 4; 8; 12; 16; 22; 30; 40; 52; 66; 84; 106; 136; 192 |]
  | 48000 -> [| 0; 4; 8; 12; 16; 22; 28; 38; 50; 64; 80; 100; 126; 192 |]
  | 32000 -> [| 0; 4; 8; 12; 16; 22; 30; 42; 58; 78; 104; 138; 180; 192 |]
  | 22050 -> [| 0; 4; 8; 12; 18; 24; 32; 42; 56; 74; 100; 132; 174; 192 |]
  | 24000 -> [| 0; 4; 8; 12; 18; 26; 36; 48; 62; 80; 104; 136; 180; 192 |]
  | 16000 -> [| 0; 4; 8; 12; 18; 26; 36; 48; 62; 80; 104; 134; 174; 192 |]
  | 8000 -> [| 0; 8; 16; 24; 36; 52; 72; 96; 124; 160; 162; 164; 166; 192 |]
  | _ -> [| 0; 4; 8; 12; 18; 26; 36; 48; 62; 80; 104; 134; 174; 192 |]

(* the preemphasis added to the high bands' scalefactors when preflag is
 * set (Table B.6) *)
let pretab = [| 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 0; 1; 1; 1; 1; 2; 2; 3; 3; 3; 2; 0 |]

(* MPEG-2's scalefactors: in 4 partitions, how many in each, by the
 * coding scalefac_compress picks (its 3 ranges, then intensity
 * stereo's right channel's 3) and the block (long, short, mixed); a
 * short band's 3 windows count 3 (ISO/IEC 13818-3, Table B.3) *)
let nr_of_sfb =
  [| [| [| 6; 5; 5; 5 |]; [| 9; 9; 9; 9 |]; [| 6; 9; 9; 9 |] |];
     [| [| 6; 5; 7; 3 |]; [| 9; 9; 12; 6 |]; [| 6; 9; 12; 6 |] |];
     [| [| 11; 10; 0; 0 |]; [| 18; 18; 0; 0 |]; [| 15; 18; 0; 0 |] |];
     [| [| 7; 7; 7; 0 |]; [| 12; 12; 12; 0 |]; [| 6; 15; 12; 0 |] |];
     [| [| 6; 6; 6; 3 |]; [| 12; 9; 9; 6 |]; [| 6; 12; 9; 6 |] |];
     [| [| 8; 8; 5; 0 |]; [| 15; 12; 9; 0 |]; [| 6; 18; 9; 0 |] |] |]

(* scalefac_compress: the bits of the low bands' and the high bands'
 * scalefactors (MPEG-1, 2.4.2.7) *)
let slen = [| (0, 0); (0, 1); (0, 2); (0, 3); (3, 0); (1, 1); (1, 2); (1, 3); (2, 1); (2, 2); (2, 3); (3, 1); (3, 2); (3, 3); (4, 2); (4, 3) |]