开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
当前位置：首页 > 源码/资料 > 多媒体 > 流媒体/Mpeg4/MP4 > 查看源码
hufftables.c
资源名称：NETVIDEO.rar　[点击查看]
上传用户：sun1608
上传日期：2007-02-02
资源大小：6116k
文件大小：90k
源码类别：

流媒体/Mpeg4/MP4

开发平台：

Visual C++

hufftables.c：源码内容
  1. /*
  2.  * FAAD - Freeware Advanced Audio Decoder
  3.  * Copyright (C) 2001 Menno Bakker
  4.  *
  5.  * This library is free software; you can redistribute it and/or
  6.  * modify it under the terms of the GNU Lesser General Public
  7.  * License as published by the Free Software Foundation; either
  8.  * version 2.1 of the License, or (at your option) any later version.
  9.  *
  10.  * This library is distributed in the hope that it will be useful,
  11.  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12.  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13.  * Lesser General Public License for more details.
  15.  * You should have received a copy of the GNU Lesser General Public
  16.  * License along with this library; if not, write to the Free Software
  17.  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  18.  *
  19.  * $Id: hufftables.c,v 1.6 2002/01/09 22:25:41 wmay Exp $
  20.  */
  22. #include "all.h"
  24. Huffman book1[] = {
  25.       /* idx             codeword   len  codew   x   y   v   w */
  26.     { /*   0:                   0 */  1,     0,  0,  0,  0,  0 },
  27.     { /*   1:              1 0000 */  5,    16,  1,  0,  0,  0 },
  28.     { /*   2:              1 0001 */  5,    17, -1,  0,  0,  0 },
  29.     { /*   3:              1 0010 */  5,    18,  0,  0,  0, -1 },
  30.     { /*   4:              1 0011 */  5,    19,  0,  1,  0,  0 },
  31.     { /*   5:              1 0100 */  5,    20,  0,  0,  0,  1 },
  32.     { /*   6:              1 0101 */  5,    21,  0,  0, -1,  0 },
  33.     { /*   7:              1 0110 */  5,    22,  0,  0,  1,  0 },
  34.     { /*   8:              1 0111 */  5,    23,  0, -1,  0,  0 },
  35.     { /*   9:            110 0000 */  7,    96,  1, -1,  0,  0 },
  36.     { /*  10:            110 0001 */  7,    97, -1,  1,  0,  0 },
  37.     { /*  11:            110 0010 */  7,    98,  0,  0, -1,  1 },
  38.     { /*  12:            110 0011 */  7,    99,  0,  1, -1,  0 },
  39.     { /*  13:            110 0100 */  7,   100,  0, -1,  1,  0 },
  40.     { /*  14:            110 0101 */  7,   101,  0,  0,  1, -1 },
  41.     { /*  15:            110 0110 */  7,   102,  1,  1,  0,  0 },
  42.     { /*  16:            110 0111 */  7,   103,  0,  0, -1, -1 },
  43.     { /*  17:            110 1000 */  7,   104, -1, -1,  0,  0 },
  44.     { /*  18:            110 1001 */  7,   105,  0, -1, -1,  0 },
  45.     { /*  19:            110 1010 */  7,   106,  1,  0, -1,  0 },
  46.     { /*  20:            110 1011 */  7,   107,  0,  1,  0, -1 },
  47.     { /*  21:            110 1100 */  7,   108, -1,  0,  1,  0 },
  48.     { /*  22:            110 1101 */  7,   109,  0,  0,  1,  1 },
  49.     { /*  23:            110 1110 */  7,   110,  1,  0,  1,  0 },
  50.     { /*  24:            110 1111 */  7,   111,  0, -1,  0,  1 },
  51.     { /*  25:            111 0000 */  7,   112,  0,  1,  1,  0 },
  52.     { /*  26:            111 0001 */  7,   113,  0,  1,  0,  1 },
  53.     { /*  27:            111 0010 */  7,   114, -1,  0, -1,  0 },
  54.     { /*  28:            111 0011 */  7,   115,  1,  0,  0,  1 },
  55.     { /*  29:            111 0100 */  7,   116, -1,  0,  0, -1 },
  56.     { /*  30:            111 0101 */  7,   117,  1,  0,  0, -1 },
  57.     { /*  31:            111 0110 */  7,   118, -1,  0,  0,  1 },
  58.     { /*  32:            111 0111 */  7,   119,  0, -1,  0, -1 },
  59.     { /*  33:         1 1110 0000 */  9,   480,  1,  1, -1,  0 },
  60.     { /*  34:         1 1110 0001 */  9,   481, -1,  1, -1,  0 },
  61.     { /*  35:         1 1110 0010 */  9,   482,  1, -1,  1,  0 },
  62.     { /*  36:         1 1110 0011 */  9,   483,  0,  1,  1, -1 },
  63.     { /*  37:         1 1110 0100 */  9,   484,  0,  1, -1,  1 },
  64.     { /*  38:         1 1110 0101 */  9,   485,  0, -1,  1,  1 },
  65.     { /*  39:         1 1110 0110 */  9,   486,  0, -1,  1, -1 },
  66.     { /*  40:         1 1110 0111 */  9,   487,  1, -1, -1,  0 },
  67.     { /*  41:         1 1110 1000 */  9,   488,  1,  0, -1,  1 },
  68.     { /*  42:         1 1110 1001 */  9,   489,  0,  1, -1, -1 },
  69.     { /*  43:         1 1110 1010 */  9,   490, -1,  1,  1,  0 },
  70.     { /*  44:         1 1110 1011 */  9,   491, -1,  0,  1, -1 },
  71.     { /*  45:         1 1110 1100 */  9,   492, -1, -1,  1,  0 },
  72.     { /*  46:         1 1110 1101 */  9,   493,  0, -1, -1,  1 },
  73.     { /*  47:         1 1110 1110 */  9,   494,  1, -1,  0,  1 },
  74.     { /*  48:         1 1110 1111 */  9,   495,  1, -1,  0, -1 },
  75.     { /*  49:         1 1111 0000 */  9,   496, -1,  1,  0, -1 },
  76.     { /*  50:         1 1111 0001 */  9,   497, -1, -1, -1,  0 },
  77.     { /*  51:         1 1111 0010 */  9,   498,  0, -1, -1, -1 },
  78.     { /*  52:         1 1111 0011 */  9,   499,  0,  1,  1,  1 },
  79.     { /*  53:         1 1111 0100 */  9,   500,  1,  0,  1, -1 },
  80.     { /*  54:         1 1111 0101 */  9,   501,  1,  1,  0,  1 },
  81.     { /*  55:         1 1111 0110 */  9,   502, -1,  1,  0,  1 },
  82.     { /*  56:         1 1111 0111 */  9,   503,  1,  1,  1,  0 },
  83.     { /*  57:        11 1111 0000 */ 10,  1008, -1, -1,  0,  1 },
  84.     { /*  58:        11 1111 0001 */ 10,  1009, -1,  0, -1, -1 },
  85.     { /*  59:        11 1111 0010 */ 10,  1010,  1,  1,  0, -1 },
  86.     { /*  60:        11 1111 0011 */ 10,  1011,  1,  0, -1, -1 },
  87.     { /*  61:        11 1111 0100 */ 10,  1012, -1,  0, -1,  1 },
  88.     { /*  62:        11 1111 0101 */ 10,  1013, -1, -1,  0, -1 },
  89.     { /*  63:        11 1111 0110 */ 10,  1014, -1,  0,  1,  1 },
  90.     { /*  64:        11 1111 0111 */ 10,  1015,  1,  0,  1,  1 },
  91.     { /*  65:       111 1111 0000 */ 11,  2032,  1, -1,  1, -1 },
  92.     { /*  66:       111 1111 0001 */ 11,  2033, -1,  1, -1,  1 },
  93.     { /*  67:       111 1111 0010 */ 11,  2034, -1,  1,  1, -1 },
  94.     { /*  68:       111 1111 0011 */ 11,  2035,  1, -1, -1,  1 },
  95.     { /*  69:       111 1111 0100 */ 11,  2036,  1,  1,  1,  1 },
  96.     { /*  70:       111 1111 0101 */ 11,  2037, -1, -1,  1,  1 },
  97.     { /*  71:       111 1111 0110 */ 11,  2038,  1,  1, -1, -1 },
  98.     { /*  72:       111 1111 0111 */ 11,  2039, -1, -1,  1, -1 },
  99.     { /*  73:       111 1111 1000 */ 11,  2040, -1, -1, -1, -1 },
  100.     { /*  74:       111 1111 1001 */ 11,  2041,  1,  1, -1,  1 },
  101.     { /*  75:       111 1111 1010 */ 11,  2042,  1, -1,  1,  1 },
  102.     { /*  76:       111 1111 1011 */ 11,  2043, -1,  1,  1,  1 },
  103.     { /*  77:       111 1111 1100 */ 11,  2044, -1,  1, -1, -1 },
  104.     { /*  78:       111 1111 1101 */ 11,  2045, -1, -1, -1,  1 },
  105.     { /*  79:       111 1111 1110 */ 11,  2046,  1, -1, -1, -1 },
  106.     { /*  80:       111 1111 1111 */ 11,  2047,  1,  1,  1, -1 }
  107. };
  109. Huffman book2[] = {
  110.       /* idx             codeword   len  codew   x   y   v   w */
  111.     { /*   0:                 000 */  3,     0,  0,  0,  0,  0 },
  112.     { /*   1:                0010 */  4,     2,  1,  0,  0,  0 },
  113.     { /*   2:              0 0110 */  5,     6, -1,  0,  0,  0 },
  114.     { /*   3:              0 0111 */  5,     7,  0,  0,  0,  1 },
  115.     { /*   4:              0 1000 */  5,     8,  0,  0, -1,  0 },
  116.     { /*   5:              0 1001 */  5,     9,  0,  0,  0, -1 },
  117.     { /*   6:              0 1010 */  5,    10,  0, -1,  0,  0 },
  118.     { /*   7:              0 1011 */  5,    11,  0,  0,  1,  0 },
  119.     { /*   8:              0 1100 */  5,    12,  0,  1,  0,  0 },
  120.     { /*   9:             01 1010 */  6,    26,  0, -1,  1,  0 },
  121.     { /*  10:             01 1011 */  6,    27, -1,  1,  0,  0 },
  122.     { /*  11:             01 1100 */  6,    28,  0,  1, -1,  0 },
  123.     { /*  12:             01 1101 */  6,    29,  0,  0,  1, -1 },
  124.     { /*  13:             01 1110 */  6,    30,  0,  1,  0, -1 },
  125.     { /*  14:             01 1111 */  6,    31,  0,  0, -1,  1 },
  126.     { /*  15:             10 0000 */  6,    32, -1,  0,  0, -1 },
  127.     { /*  16:             10 0001 */  6,    33,  1, -1,  0,  0 },
  128.     { /*  17:             10 0010 */  6,    34,  1,  0, -1,  0 },
  129.     { /*  18:             10 0011 */  6,    35, -1, -1,  0,  0 },
  130.     { /*  19:             10 0100 */  6,    36,  0,  0, -1, -1 },
  131.     { /*  20:             10 0101 */  6,    37,  1,  0,  1,  0 },
  132.     { /*  21:             10 0110 */  6,    38,  1,  0,  0,  1 },
  133.     { /*  22:             10 0111 */  6,    39,  0, -1,  0,  1 },
  134.     { /*  23:             10 1000 */  6,    40, -1,  0,  1,  0 },
  135.     { /*  24:             10 1001 */  6,    41,  0,  1,  0,  1 },
  136.     { /*  25:             10 1010 */  6,    42,  0, -1, -1,  0 },
  137.     { /*  26:             10 1011 */  6,    43, -1,  0,  0,  1 },
  138.     { /*  27:             10 1100 */  6,    44,  0, -1,  0, -1 },
  139.     { /*  28:             10 1101 */  6,    45, -1,  0, -1,  0 },
  140.     { /*  29:             10 1110 */  6,    46,  1,  1,  0,  0 },
  141.     { /*  30:             10 1111 */  6,    47,  0,  1,  1,  0 },
  142.     { /*  31:             11 0000 */  6,    48,  0,  0,  1,  1 },
  143.     { /*  32:             11 0001 */  6,    49,  1,  0,  0, -1 },
  144.     { /*  33:            110 0100 */  7,   100,  0,  1, -1,  1 },
  145.     { /*  34:            110 0101 */  7,   101,  1,  0, -1,  1 },
  146.     { /*  35:            110 0110 */  7,   102, -1,  1, -1,  0 },
  147.     { /*  36:            110 0111 */  7,   103,  0, -1,  1, -1 },
  148.     { /*  37:            110 1000 */  7,   104,  1, -1,  1,  0 },
  149.     { /*  38:            110 1001 */  7,   105,  1,  1,  0, -1 },
  150.     { /*  39:            110 1010 */  7,   106,  1,  0,  1,  1 },
  151.     { /*  40:            110 1011 */  7,   107, -1,  1,  1,  0 },
  152.     { /*  41:            110 1100 */  7,   108,  0, -1, -1,  1 },
  153.     { /*  42:            110 1101 */  7,   109,  1,  1,  1,  0 },
  154.     { /*  43:            110 1110 */  7,   110, -1,  0,  1, -1 },
  155.     { /*  44:            110 1111 */  7,   111, -1, -1, -1,  0 },
  156.     { /*  45:            111 0000 */  7,   112, -1,  0, -1,  1 },
  157.     { /*  46:            111 0001 */  7,   113,  1, -1, -1,  0 },
  158.     { /*  47:            111 0010 */  7,   114,  1,  1, -1,  0 },
  159.     { /*  48:           1110 0110 */  8,   230,  1, -1,  0,  1 },
  160.     { /*  49:           1110 0111 */  8,   231, -1,  1,  0, -1 },
  161.     { /*  50:           1110 1000 */  8,   232, -1, -1,  1,  0 },
  162.     { /*  51:           1110 1001 */  8,   233, -1,  0,  1,  1 },
  163.     { /*  52:           1110 1010 */  8,   234, -1, -1,  0,  1 },
  164.     { /*  53:           1110 1011 */  8,   235, -1, -1,  0, -1 },
  165.     { /*  54:           1110 1100 */  8,   236,  0, -1, -1, -1 },
  166.     { /*  55:           1110 1101 */  8,   237,  1,  0,  1, -1 },
  167.     { /*  56:           1110 1110 */  8,   238,  1,  0, -1, -1 },
  168.     { /*  57:           1110 1111 */  8,   239,  0,  1, -1, -1 },
  169.     { /*  58:           1111 0000 */  8,   240,  0,  1,  1,  1 },
  170.     { /*  59:           1111 0001 */  8,   241, -1,  1,  0,  1 },
  171.     { /*  60:           1111 0010 */  8,   242, -1,  0, -1, -1 },
  172.     { /*  61:           1111 0011 */  8,   243,  0,  1,  1, -1 },
  173.     { /*  62:           1111 0100 */  8,   244,  1, -1,  0, -1 },
  174.     { /*  63:           1111 0101 */  8,   245,  0, -1,  1,  1 },
  175.     { /*  64:           1111 0110 */  8,   246,  1,  1,  0,  1 },
  176.     { /*  65:           1111 0111 */  8,   247,  1, -1,  1, -1 },
  177.     { /*  66:           1111 1000 */  8,   248, -1,  1, -1,  1 },
  178.     { /*  67:         1 1111 0010 */  9,   498,  1, -1, -1,  1 },
  179.     { /*  68:         1 1111 0011 */  9,   499, -1, -1, -1, -1 },
  180.     { /*  69:         1 1111 0100 */  9,   500, -1,  1,  1, -1 },
  181.     { /*  70:         1 1111 0101 */  9,   501, -1,  1,  1,  1 },
  182.     { /*  71:         1 1111 0110 */  9,   502,  1,  1,  1,  1 },
  183.     { /*  72:         1 1111 0111 */  9,   503, -1, -1,  1, -1 },
  184.     { /*  73:         1 1111 1000 */  9,   504,  1, -1,  1,  1 },
  185.     { /*  74:         1 1111 1001 */  9,   505, -1,  1, -1, -1 },
  186.     { /*  75:         1 1111 1010 */  9,   506, -1, -1,  1,  1 },
  187.     { /*  76:         1 1111 1011 */  9,   507,  1,  1, -1, -1 },
  188.     { /*  77:         1 1111 1100 */  9,   508,  1, -1, -1, -1 },
  189.     { /*  78:         1 1111 1101 */  9,   509, -1, -1, -1,  1 },
  190.     { /*  79:         1 1111 1110 */  9,   510,  1,  1, -1,  1 },
  191.     { /*  80:         1 1111 1111 */  9,   511,  1,  1,  1, -1 }
  192. };
  194. Huffman book3[] = {
  195.       /* idx             codeword   len  codew   x   y   v   w */
  196.     { /*   0:                   0 */  1,     0,  0,  0,  0,  0 },
  197.     { /*   1:                1000 */  4,     8,  1,  0,  0,  0 },
  198.     { /*   2:                1001 */  4,     9,  0,  0,  0,  1 },
  199.     { /*   3:                1010 */  4,    10,  0,  1,  0,  0 },
  200.     { /*   4:                1011 */  4,    11,  0,  0,  1,  0 },
  201.     { /*   5:              1 1000 */  5,    24,  1,  1,  0,  0 },
  202.     { /*   6:              1 1001 */  5,    25,  0,  0,  1,  1 },
  203.     { /*   7:             11 0100 */  6,    52,  0,  1,  1,  0 },
  204.     { /*   8:             11 0101 */  6,    53,  0,  1,  0,  1 },
  205.     { /*   9:             11 0110 */  6,    54,  1,  0,  1,  0 },
  206.     { /*  10:             11 0111 */  6,    55,  0,  1,  1,  1 },
  207.     { /*  11:             11 1000 */  6,    56,  1,  0,  0,  1 },
  208.     { /*  12:             11 1001 */  6,    57,  1,  1,  1,  0 },
  209.     { /*  13:            111 0100 */  7,   116,  1,  1,  1,  1 },
  210.     { /*  14:            111 0101 */  7,   117,  1,  0,  1,  1 },
  211.     { /*  15:            111 0110 */  7,   118,  1,  1,  0,  1 },
  212.     { /*  16:           1110 1110 */  8,   238,  2,  0,  0,  0 },
  213.     { /*  17:           1110 1111 */  8,   239,  0,  0,  0,  2 },
  214.     { /*  18:           1111 0000 */  8,   240,  0,  0,  1,  2 },
  215.     { /*  19:           1111 0001 */  8,   241,  2,  1,  0,  0 },
  216.     { /*  20:           1111 0010 */  8,   242,  1,  2,  1,  0 },
  217.     { /*  21:         1 1110 0110 */  9,   486,  0,  0,  2,  1 },
  218.     { /*  22:         1 1110 0111 */  9,   487,  0,  1,  2,  1 },
  219.     { /*  23:         1 1110 1000 */  9,   488,  1,  2,  0,  0 },
  220.     { /*  24:         1 1110 1001 */  9,   489,  0,  1,  1,  2 },
  221.     { /*  25:         1 1110 1010 */  9,   490,  2,  1,  1,  0 },
  222.     { /*  26:         1 1110 1011 */  9,   491,  0,  0,  2,  0 },
  223.     { /*  27:         1 1110 1100 */  9,   492,  0,  2,  1,  0 },
  224.     { /*  28:         1 1110 1101 */  9,   493,  0,  1,  2,  0 },
  225.     { /*  29:         1 1110 1110 */  9,   494,  0,  2,  0,  0 },
  226.     { /*  30:         1 1110 1111 */  9,   495,  0,  1,  0,  2 },
  227.     { /*  31:         1 1111 0000 */  9,   496,  2,  0,  1,  0 },
  228.     { /*  32:         1 1111 0001 */  9,   497,  1,  2,  1,  1 },
  229.     { /*  33:         1 1111 0010 */  9,   498,  0,  2,  1,  1 },
  230.     { /*  34:         1 1111 0011 */  9,   499,  1,  1,  2,  0 },
  231.     { /*  35:         1 1111 0100 */  9,   500,  1,  1,  2,  1 },
  232.     { /*  36:        11 1110 1010 */ 10,  1002,  1,  2,  0,  1 },
  233.     { /*  37:        11 1110 1011 */ 10,  1003,  1,  0,  2,  0 },
  234.     { /*  38:        11 1110 1100 */ 10,  1004,  1,  0,  2,  1 },
  235.     { /*  39:        11 1110 1101 */ 10,  1005,  0,  2,  0,  1 },
  236.     { /*  40:        11 1110 1110 */ 10,  1006,  2,  1,  1,  1 },
  237.     { /*  41:        11 1110 1111 */ 10,  1007,  1,  1,  1,  2 },
  238.     { /*  42:        11 1111 0000 */ 10,  1008,  2,  1,  0,  1 },
  239.     { /*  43:        11 1111 0001 */ 10,  1009,  1,  0,  1,  2 },
  240.     { /*  44:        11 1111 0010 */ 10,  1010,  0,  0,  2,  2 },
  241.     { /*  45:        11 1111 0011 */ 10,  1011,  0,  1,  2,  2 },
  242.     { /*  46:        11 1111 0100 */ 10,  1012,  2,  2,  1,  0 },
  243.     { /*  47:        11 1111 0101 */ 10,  1013,  1,  2,  2,  0 },
  244.     { /*  48:        11 1111 0110 */ 10,  1014,  1,  0,  0,  2 },
  245.     { /*  49:        11 1111 0111 */ 10,  1015,  2,  0,  0,  1 },
  246.     { /*  50:        11 1111 1000 */ 10,  1016,  0,  2,  2,  1 },
  247.     { /*  51:       111 1111 0010 */ 11,  2034,  2,  2,  0,  0 },
  248.     { /*  52:       111 1111 0011 */ 11,  2035,  1,  2,  2,  1 },
  249.     { /*  53:       111 1111 0100 */ 11,  2036,  1,  1,  0,  2 },
  250.     { /*  54:       111 1111 0101 */ 11,  2037,  2,  0,  1,  1 },
  251.     { /*  55:       111 1111 0110 */ 11,  2038,  1,  1,  2,  2 },
  252.     { /*  56:       111 1111 0111 */ 11,  2039,  2,  2,  1,  1 },
  253.     { /*  57:       111 1111 1000 */ 11,  2040,  0,  2,  2,  0 },
  254.     { /*  58:       111 1111 1001 */ 11,  2041,  0,  2,  1,  2 },
  255.     { /*  59:      1111 1111 0100 */ 12,  4084,  1,  0,  2,  2 },
  256.     { /*  60:      1111 1111 0101 */ 12,  4085,  2,  2,  0,  1 },
  257.     { /*  61:      1111 1111 0110 */ 12,  4086,  2,  1,  2,  0 },
  258.     { /*  62:      1111 1111 0111 */ 12,  4087,  2,  2,  2,  0 },
  259.     { /*  63:      1111 1111 1000 */ 12,  4088,  0,  2,  2,  2 },
  260.     { /*  64:      1111 1111 1001 */ 12,  4089,  2,  2,  2,  1 },
  261.     { /*  65:      1111 1111 1010 */ 12,  4090,  2,  1,  2,  1 },
  262.     { /*  66:      1111 1111 1011 */ 12,  4091,  1,  2,  1,  2 },
  263.     { /*  67:      1111 1111 1100 */ 12,  4092,  1,  2,  2,  2 },
  264.     { /*  68:    1 1111 1111 1010 */ 13,  8186,  0,  2,  0,  2 },
  265.     { /*  69:    1 1111 1111 1011 */ 13,  8187,  2,  0,  2,  0 },
  266.     { /*  70:    1 1111 1111 1100 */ 13,  8188,  1,  2,  0,  2 },
  267.     { /*  71:   11 1111 1111 1010 */ 14, 16378,  2,  0,  2,  1 },
  268.     { /*  72:   11 1111 1111 1011 */ 14, 16379,  2,  1,  1,  2 },
  269.     { /*  73:   11 1111 1111 1100 */ 14, 16380,  2,  1,  0,  2 },
  270.     { /*  74:  111 1111 1111 1010 */ 15, 32762,  2,  2,  2,  2 },
  271.     { /*  75:  111 1111 1111 1011 */ 15, 32763,  2,  2,  1,  2 },
  272.     { /*  76:  111 1111 1111 1100 */ 15, 32764,  2,  1,  2,  2 },
  273.     { /*  77:  111 1111 1111 1101 */ 15, 32765,  2,  0,  1,  2 },
  274.     { /*  78:  111 1111 1111 1110 */ 15, 32766,  2,  0,  0,  2 },
  275.     { /*  79: 1111 1111 1111 1110 */ 16, 65534,  2,  2,  0,  2 },
  276.     { /*  80: 1111 1111 1111 1111 */ 16, 65535,  2,  0,  2,  2 }
  277. };
  279. Huffman book4[] = {
  280.       /* idx             codeword   len  codew   x   y   v   w */
  281.     { /*   0:                0000 */  4,     0,  1,  1,  1,  1 },
  282.     { /*   1:                0001 */  4,     1,  0,  1,  1,  1 },
  283.     { /*   2:                0010 */  4,     2,  1,  1,  0,  1 },
  284.     { /*   3:                0011 */  4,     3,  1,  1,  1,  0 },
  285.     { /*   4:                0100 */  4,     4,  1,  0,  1,  1 },
  286.     { /*   5:                0101 */  4,     5,  1,  0,  0,  0 },
  287.     { /*   6:                0110 */  4,     6,  1,  1,  0,  0 },
  288.     { /*   7:                0111 */  4,     7,  0,  0,  0,  0 },
  289.     { /*   8:                1000 */  4,     8,  0,  0,  1,  1 },
  290.     { /*   9:                1001 */  4,     9,  1,  0,  1,  0 },
  291.     { /*  10:              1 0100 */  5,    20,  1,  0,  0,  1 },
  292.     { /*  11:              1 0101 */  5,    21,  0,  1,  1,  0 },
  293.     { /*  12:              1 0110 */  5,    22,  0,  0,  0,  1 },
  294.     { /*  13:              1 0111 */  5,    23,  0,  1,  0,  1 },
  295.     { /*  14:              1 1000 */  5,    24,  0,  0,  1,  0 },
  296.     { /*  15:              1 1001 */  5,    25,  0,  1,  0,  0 },
  297.     { /*  16:            110 1000 */  7,   104,  2,  1,  1,  1 },
  298.     { /*  17:            110 1001 */  7,   105,  1,  1,  2,  1 },
  299.     { /*  18:            110 1010 */  7,   106,  1,  2,  1,  1 },
  300.     { /*  19:            110 1011 */  7,   107,  1,  1,  1,  2 },
  301.     { /*  20:            110 1100 */  7,   108,  2,  1,  1,  0 },
  302.     { /*  21:            110 1101 */  7,   109,  2,  1,  0,  1 },
  303.     { /*  22:            110 1110 */  7,   110,  1,  2,  1,  0 },
  304.     { /*  23:            110 1111 */  7,   111,  2,  0,  1,  1 },
  305.     { /*  24:            111 0000 */  7,   112,  0,  1,  2,  1 },
  306.     { /*  25:           1110 0010 */  8,   226,  0,  1,  1,  2 },
  307.     { /*  26:           1110 0011 */  8,   227,  1,  1,  2,  0 },
  308.     { /*  27:           1110 0100 */  8,   228,  0,  2,  1,  1 },
  309.     { /*  28:           1110 0101 */  8,   229,  1,  0,  1,  2 },
  310.     { /*  29:           1110 0110 */  8,   230,  1,  2,  0,  1 },
  311.     { /*  30:           1110 0111 */  8,   231,  1,  1,  0,  2 },
  312.     { /*  31:           1110 1000 */  8,   232,  1,  0,  2,  1 },
  313.     { /*  32:           1110 1001 */  8,   233,  2,  1,  0,  0 },
  314.     { /*  33:           1110 1010 */  8,   234,  2,  0,  1,  0 },
  315.     { /*  34:           1110 1011 */  8,   235,  1,  2,  0,  0 },
  316.     { /*  35:           1110 1100 */  8,   236,  2,  0,  0,  1 },
  317.     { /*  36:           1110 1101 */  8,   237,  0,  1,  0,  2 },
  318.     { /*  37:           1110 1110 */  8,   238,  0,  2,  1,  0 },
  319.     { /*  38:           1110 1111 */  8,   239,  0,  0,  1,  2 },
  320.     { /*  39:           1111 0000 */  8,   240,  0,  1,  2,  0 },
  321.     { /*  40:           1111 0001 */  8,   241,  0,  2,  0,  1 },
  322.     { /*  41:           1111 0010 */  8,   242,  1,  0,  0,  2 },
  323.     { /*  42:           1111 0011 */  8,   243,  0,  0,  2,  1 },
  324.     { /*  43:           1111 0100 */  8,   244,  1,  0,  2,  0 },
  325.     { /*  44:           1111 0101 */  8,   245,  2,  0,  0,  0 },
  326.     { /*  45:           1111 0110 */  8,   246,  0,  0,  0,  2 },
  327.     { /*  46:         1 1110 1110 */  9,   494,  0,  2,  0,  0 },
  328.     { /*  47:         1 1110 1111 */  9,   495,  0,  0,  2,  0 },
  329.     { /*  48:         1 1111 0000 */  9,   496,  1,  2,  2,  1 },
  330.     { /*  49:         1 1111 0001 */  9,   497,  2,  2,  1,  1 },
  331.     { /*  50:         1 1111 0010 */  9,   498,  2,  1,  2,  1 },
  332.     { /*  51:         1 1111 0011 */  9,   499,  1,  1,  2,  2 },
  333.     { /*  52:         1 1111 0100 */  9,   500,  1,  2,  1,  2 },
  334.     { /*  53:         1 1111 0101 */  9,   501,  2,  1,  1,  2 },
  335.     { /*  54:        11 1110 1100 */ 10,  1004,  1,  2,  2,  0 },
  336.     { /*  55:        11 1110 1101 */ 10,  1005,  2,  2,  1,  0 },
  337.     { /*  56:        11 1110 1110 */ 10,  1006,  2,  1,  2,  0 },
  338.     { /*  57:        11 1110 1111 */ 10,  1007,  0,  2,  2,  1 },
  339.     { /*  58:        11 1111 0000 */ 10,  1008,  0,  1,  2,  2 },
  340.     { /*  59:        11 1111 0001 */ 10,  1009,  2,  2,  0,  1 },
  341.     { /*  60:        11 1111 0010 */ 10,  1010,  0,  2,  1,  2 },
  342.     { /*  61:        11 1111 0011 */ 10,  1011,  2,  0,  2,  1 },
  343.     { /*  62:        11 1111 0100 */ 10,  1012,  1,  0,  2,  2 },
  344.     { /*  63:        11 1111 0101 */ 10,  1013,  2,  2,  2,  1 },
  345.     { /*  64:        11 1111 0110 */ 10,  1014,  1,  2,  0,  2 },
  346.     { /*  65:        11 1111 0111 */ 10,  1015,  2,  0,  1,  2 },
  347.     { /*  66:        11 1111 1000 */ 10,  1016,  2,  1,  0,  2 },
  348.     { /*  67:        11 1111 1001 */ 10,  1017,  1,  2,  2,  2 },
  349.     { /*  68:       111 1111 0100 */ 11,  2036,  2,  1,  2,  2 },
  350.     { /*  69:       111 1111 0101 */ 11,  2037,  2,  2,  1,  2 },
  351.     { /*  70:       111 1111 0110 */ 11,  2038,  0,  2,  2,  0 },
  352.     { /*  71:       111 1111 0111 */ 11,  2039,  2,  2,  0,  0 },
  353.     { /*  72:       111 1111 1000 */ 11,  2040,  0,  0,  2,  2 },
  354.     { /*  73:       111 1111 1001 */ 11,  2041,  2,  0,  2,  0 },
  355.     { /*  74:       111 1111 1010 */ 11,  2042,  0,  2,  0,  2 },
  356.     { /*  75:       111 1111 1011 */ 11,  2043,  2,  0,  0,  2 },
  357.     { /*  76:       111 1111 1100 */ 11,  2044,  2,  2,  2,  2 },
  358.     { /*  77:       111 1111 1101 */ 11,  2045,  0,  2,  2,  2 },
  359.     { /*  78:       111 1111 1110 */ 11,  2046,  2,  2,  2,  0 },
  360.     { /*  79:      1111 1111 1110 */ 12,  4094,  2,  2,  0,  2 },
  361.     { /*  80:      1111 1111 1111 */ 12,  4095,  2,  0,  2,  2 }
  362. };
  364. Huffman book5[] = {
  365.       /* idx             codeword   len  codew   x   y   v   w */
  366.     { /*   0:                   0 */  1,     0,  0,  0,  0,  0 },
  367.     { /*   1:                1000 */  4,     8, -1,  0,  0,  0 },
  368.     { /*   2:                1001 */  4,     9,  1,  0,  0,  0 },
  369.     { /*   3:                1010 */  4,    10,  0,  1,  0,  0 },
  370.     { /*   4:                1011 */  4,    11,  0, -1,  0,  0 },
  371.     { /*   5:              1 1000 */  5,    24,  1, -1,  0,  0 },
  372.     { /*   6:              1 1001 */  5,    25, -1,  1,  0,  0 },
  373.     { /*   7:              1 1010 */  5,    26, -1, -1,  0,  0 },
  374.     { /*   8:              1 1011 */  5,    27,  1,  1,  0,  0 },
  375.     { /*   9:            111 0000 */  7,   112, -2,  0,  0,  0 },
  376.     { /*  10:            111 0001 */  7,   113,  0,  2,  0,  0 },
  377.     { /*  11:            111 0010 */  7,   114,  2,  0,  0,  0 },
  378.     { /*  12:            111 0011 */  7,   115,  0, -2,  0,  0 },
  379.     { /*  13:           1110 1000 */  8,   232, -2, -1,  0,  0 },
  380.     { /*  14:           1110 1001 */  8,   233,  2,  1,  0,  0 },
  381.     { /*  15:           1110 1010 */  8,   234, -1, -2,  0,  0 },
  382.     { /*  16:           1110 1011 */  8,   235,  1,  2,  0,  0 },
  383.     { /*  17:           1110 1100 */  8,   236, -2,  1,  0,  0 },
  384.     { /*  18:           1110 1101 */  8,   237,  2, -1,  0,  0 },
  385.     { /*  19:           1110 1110 */  8,   238, -1,  2,  0,  0 },
  386.     { /*  20:           1110 1111 */  8,   239,  1, -2,  0,  0 },
  387.     { /*  21:           1111 0000 */  8,   240, -3,  0,  0,  0 },
  388.     { /*  22:           1111 0001 */  8,   241,  3,  0,  0,  0 },
  389.     { /*  23:           1111 0010 */  8,   242,  0, -3,  0,  0 },
  390.     { /*  24:           1111 0011 */  8,   243,  0,  3,  0,  0 },
  391.     { /*  25:         1 1110 1000 */  9,   488, -3, -1,  0,  0 },
  392.     { /*  26:         1 1110 1001 */  9,   489,  1,  3,  0,  0 },
  393.     { /*  27:         1 1110 1010 */  9,   490,  3,  1,  0,  0 },
  394.     { /*  28:         1 1110 1011 */  9,   491, -1, -3,  0,  0 },
  395.     { /*  29:         1 1110 1100 */  9,   492, -3,  1,  0,  0 },
  396.     { /*  30:         1 1110 1101 */  9,   493,  3, -1,  0,  0 },
  397.     { /*  31:         1 1110 1110 */  9,   494,  1, -3,  0,  0 },
  398.     { /*  32:         1 1110 1111 */  9,   495, -1,  3,  0,  0 },
  399.     { /*  33:         1 1111 0000 */  9,   496, -2,  2,  0,  0 },
  400.     { /*  34:         1 1111 0001 */  9,   497,  2,  2,  0,  0 },
  401.     { /*  35:         1 1111 0010 */  9,   498, -2, -2,  0,  0 },
  402.     { /*  36:         1 1111 0011 */  9,   499,  2, -2,  0,  0 },
  403.     { /*  37:        11 1110 1000 */ 10,  1000, -3, -2,  0,  0 },
  404.     { /*  38:        11 1110 1001 */ 10,  1001,  3, -2,  0,  0 },
  405.     { /*  39:        11 1110 1010 */ 10,  1002, -2,  3,  0,  0 },
  406.     { /*  40:        11 1110 1011 */ 10,  1003,  2, -3,  0,  0 },
  407.     { /*  41:        11 1110 1100 */ 10,  1004,  3,  2,  0,  0 },
  408.     { /*  42:        11 1110 1101 */ 10,  1005,  2,  3,  0,  0 },
  409.     { /*  43:        11 1110 1110 */ 10,  1006, -3,  2,  0,  0 },
  410.     { /*  44:        11 1110 1111 */ 10,  1007, -2, -3,  0,  0 },
  411.     { /*  45:        11 1111 0000 */ 10,  1008,  0, -4,  0,  0 },
  412.     { /*  46:        11 1111 0001 */ 10,  1009, -4,  0,  0,  0 },
  413.     { /*  47:        11 1111 0010 */ 10,  1010,  4,  1,  0,  0 },
  414.     { /*  48:        11 1111 0011 */ 10,  1011,  4,  0,  0,  0 },
  415.     { /*  49:       111 1110 1000 */ 11,  2024, -4, -1,  0,  0 },
  416.     { /*  50:       111 1110 1001 */ 11,  2025,  0,  4,  0,  0 },
  417.     { /*  51:       111 1110 1010 */ 11,  2026,  4, -1,  0,  0 },
  418.     { /*  52:       111 1110 1011 */ 11,  2027, -1, -4,  0,  0 },
  419.     { /*  53:       111 1110 1100 */ 11,  2028,  1,  4,  0,  0 },
  420.     { /*  54:       111 1110 1101 */ 11,  2029, -1,  4,  0,  0 },
  421.     { /*  55:       111 1110 1110 */ 11,  2030, -4,  1,  0,  0 },
  422.     { /*  56:       111 1110 1111 */ 11,  2031,  1, -4,  0,  0 },
  423.     { /*  57:       111 1111 0000 */ 11,  2032,  3, -3,  0,  0 },
  424.     { /*  58:       111 1111 0001 */ 11,  2033, -3, -3,  0,  0 },
  425.     { /*  59:       111 1111 0010 */ 11,  2034, -3,  3,  0,  0 },
  426.     { /*  60:       111 1111 0011 */ 11,  2035, -2,  4,  0,  0 },
  427.     { /*  61:       111 1111 0100 */ 11,  2036, -4, -2,  0,  0 },
  428.     { /*  62:       111 1111 0101 */ 11,  2037,  4,  2,  0,  0 },
  429.     { /*  63:       111 1111 0110 */ 11,  2038,  2, -4,  0,  0 },
  430.     { /*  64:       111 1111 0111 */ 11,  2039,  2,  4,  0,  0 },
  431.     { /*  65:       111 1111 1000 */ 11,  2040,  3,  3,  0,  0 },
  432.     { /*  66:       111 1111 1001 */ 11,  2041, -4,  2,  0,  0 },
  433.     { /*  67:      1111 1111 0100 */ 12,  4084, -2, -4,  0,  0 },
  434.     { /*  68:      1111 1111 0101 */ 12,  4085,  4, -2,  0,  0 },
  435.     { /*  69:      1111 1111 0110 */ 12,  4086,  3, -4,  0,  0 },
  436.     { /*  70:      1111 1111 0111 */ 12,  4087, -4, -3,  0,  0 },
  437.     { /*  71:      1111 1111 1000 */ 12,  4088, -4,  3,  0,  0 },
  438.     { /*  72:      1111 1111 1001 */ 12,  4089,  3,  4,  0,  0 },
  439.     { /*  73:      1111 1111 1010 */ 12,  4090, -3,  4,  0,  0 },
  440.     { /*  74:      1111 1111 1011 */ 12,  4091,  4,  3,  0,  0 },
  441.     { /*  75:      1111 1111 1100 */ 12,  4092,  4, -3,  0,  0 },
  442.     { /*  76:      1111 1111 1101 */ 12,  4093, -3, -4,  0,  0 },
  443.     { /*  77:    1 1111 1111 1100 */ 13,  8188,  4, -4,  0,  0 },
  444.     { /*  78:    1 1111 1111 1101 */ 13,  8189, -4,  4,  0,  0 },
  445.     { /*  79:    1 1111 1111 1110 */ 13,  8190,  4,  4,  0,  0 },
  446.     { /*  80:    1 1111 1111 1111 */ 13,  8191, -4, -4,  0,  0 }
  447. };
  449. Huffman book6[] = {
  450.       /* idx             codeword   len  codew   x   y   v   w */
  451.     { /*   0:                0000 */  4,     0,  0,  0,  0,  0 },
  452.     { /*   1:                0001 */  4,     1,  1,  0,  0,  0 },
  453.     { /*   2:                0010 */  4,     2,  0, -1,  0,  0 },
  454.     { /*   3:                0011 */  4,     3,  0,  1,  0,  0 },
  455.     { /*   4:                0100 */  4,     4, -1,  0,  0,  0 },
  456.     { /*   5:                0101 */  4,     5,  1,  1,  0,  0 },
  457.     { /*   6:                0110 */  4,     6, -1,  1,  0,  0 },
  458.     { /*   7:                0111 */  4,     7,  1, -1,  0,  0 },
  459.     { /*   8:                1000 */  4,     8, -1, -1,  0,  0 },
  460.     { /*   9:             10 0100 */  6,    36,  2, -1,  0,  0 },
  461.     { /*  10:             10 0101 */  6,    37,  2,  1,  0,  0 },
  462.     { /*  11:             10 0110 */  6,    38, -2,  1,  0,  0 },
  463.     { /*  12:             10 0111 */  6,    39, -2, -1,  0,  0 },
  464.     { /*  13:             10 1000 */  6,    40, -2,  0,  0,  0 },
  465.     { /*  14:             10 1001 */  6,    41, -1,  2,  0,  0 },
  466.     { /*  15:             10 1010 */  6,    42,  2,  0,  0,  0 },
  467.     { /*  16:             10 1011 */  6,    43,  1, -2,  0,  0 },
  468.     { /*  17:             10 1100 */  6,    44,  1,  2,  0,  0 },
  469.     { /*  18:             10 1101 */  6,    45,  0, -2,  0,  0 },
  470.     { /*  19:             10 1110 */  6,    46, -1, -2,  0,  0 },
  471.     { /*  20:             10 1111 */  6,    47,  0,  2,  0,  0 },
  472.     { /*  21:             11 0000 */  6,    48,  2, -2,  0,  0 },
  473.     { /*  22:             11 0001 */  6,    49, -2,  2,  0,  0 },
  474.     { /*  23:             11 0010 */  6,    50, -2, -2,  0,  0 },
  475.     { /*  24:             11 0011 */  6,    51,  2,  2,  0,  0 },
  476.     { /*  25:            110 1000 */  7,   104, -3,  1,  0,  0 },
  477.     { /*  26:            110 1001 */  7,   105,  3,  1,  0,  0 },
  478.     { /*  27:            110 1010 */  7,   106,  3, -1,  0,  0 },
  479.     { /*  28:            110 1011 */  7,   107, -1,  3,  0,  0 },
  480.     { /*  29:            110 1100 */  7,   108, -3, -1,  0,  0 },
  481.     { /*  30:            110 1101 */  7,   109,  1,  3,  0,  0 },
  482.     { /*  31:            110 1110 */  7,   110,  1, -3,  0,  0 },
  483.     { /*  32:            110 1111 */  7,   111, -1, -3,  0,  0 },
  484.     { /*  33:            111 0000 */  7,   112,  3,  0,  0,  0 },
  485.     { /*  34:            111 0001 */  7,   113, -3,  0,  0,  0 },
  486.     { /*  35:            111 0010 */  7,   114,  0, -3,  0,  0 },
  487.     { /*  36:            111 0011 */  7,   115,  0,  3,  0,  0 },
  488.     { /*  37:            111 0100 */  7,   116,  3,  2,  0,  0 },
  489.     { /*  38:           1110 1010 */  8,   234, -3, -2,  0,  0 },
  490.     { /*  39:           1110 1011 */  8,   235, -2,  3,  0,  0 },
  491.     { /*  40:           1110 1100 */  8,   236,  2,  3,  0,  0 },
  492.     { /*  41:           1110 1101 */  8,   237,  3, -2,  0,  0 },
  493.     { /*  42:           1110 1110 */  8,   238,  2, -3,  0,  0 },
  494.     { /*  43:           1110 1111 */  8,   239, -2, -3,  0,  0 },
  495.     { /*  44:           1111 0000 */  8,   240, -3,  2,  0,  0 },
  496.     { /*  45:           1111 0001 */  8,   241,  3,  3,  0,  0 },
  497.     { /*  46:         1 1110 0100 */  9,   484,  3, -3,  0,  0 },
  498.     { /*  47:         1 1110 0101 */  9,   485, -3, -3,  0,  0 },
  499.     { /*  48:         1 1110 0110 */  9,   486, -3,  3,  0,  0 },
  500.     { /*  49:         1 1110 0111 */  9,   487,  1, -4,  0,  0 },
  501.     { /*  50:         1 1110 1000 */  9,   488, -1, -4,  0,  0 },
  502.     { /*  51:         1 1110 1001 */  9,   489,  4,  1,  0,  0 },
  503.     { /*  52:         1 1110 1010 */  9,   490, -4,  1,  0,  0 },
  504.     { /*  53:         1 1110 1011 */  9,   491, -4, -1,  0,  0 },
  505.     { /*  54:         1 1110 1100 */  9,   492,  1,  4,  0,  0 },
  506.     { /*  55:         1 1110 1101 */  9,   493,  4, -1,  0,  0 },
  507.     { /*  56:         1 1110 1110 */  9,   494, -1,  4,  0,  0 },
  508.     { /*  57:         1 1110 1111 */  9,   495,  0, -4,  0,  0 },
  509.     { /*  58:         1 1111 0000 */  9,   496, -4,  2,  0,  0 },
  510.     { /*  59:         1 1111 0001 */  9,   497, -4, -2,  0,  0 },
  511.     { /*  60:         1 1111 0010 */  9,   498,  2,  4,  0,  0 },
  512.     { /*  61:         1 1111 0011 */  9,   499, -2, -4,  0,  0 },
  513.     { /*  62:         1 1111 0100 */  9,   500, -4,  0,  0,  0 },
  514.     { /*  63:         1 1111 0101 */  9,   501,  4,  2,  0,  0 },
  515.     { /*  64:         1 1111 0110 */  9,   502,  4, -2,  0,  0 },
  516.     { /*  65:         1 1111 0111 */  9,   503, -2,  4,  0,  0 },
  517.     { /*  66:         1 1111 1000 */  9,   504,  4,  0,  0,  0 },
  518.     { /*  67:         1 1111 1001 */  9,   505,  2, -4,  0,  0 },
  519.     { /*  68:         1 1111 1010 */  9,   506,  0,  4,  0,  0 },
  520.     { /*  69:        11 1111 0110 */ 10,  1014, -3, -4,  0,  0 },
  521.     { /*  70:        11 1111 0111 */ 10,  1015, -3,  4,  0,  0 },
  522.     { /*  71:        11 1111 1000 */ 10,  1016,  3, -4,  0,  0 },
  523.     { /*  72:        11 1111 1001 */ 10,  1017,  4, -3,  0,  0 },
  524.     { /*  73:        11 1111 1010 */ 10,  1018,  3,  4,  0,  0 },
  525.     { /*  74:        11 1111 1011 */ 10,  1019,  4,  3,  0,  0 },
  526.     { /*  75:        11 1111 1100 */ 10,  1020, -4,  3,  0,  0 },
  527.     { /*  76:        11 1111 1101 */ 10,  1021, -4, -3,  0,  0 },
  528.     { /*  77:       111 1111 1100 */ 11,  2044,  4,  4,  0,  0 },
  529.     { /*  78:       111 1111 1101 */ 11,  2045, -4,  4,  0,  0 },
  530.     { /*  79:       111 1111 1110 */ 11,  2046, -4, -4,  0,  0 },
  531.     { /*  80:       111 1111 1111 */ 11,  2047,  4, -4,  0,  0 }
  532. };
  534. Huffman book7[] = {
  535.       /* idx             codeword   len  codew   x   y   v   w */
  536.     { /*   0:                   0 */  1,     0,  0,  0,  0,  0 },
  537.     { /*   1:                 100 */  3,     4,  1,  0,  0,  0 },
  538.     { /*   2:                 101 */  3,     5,  0,  1,  0,  0 },
  539.     { /*   3:                1100 */  4,    12,  1,  1,  0,  0 },
  540.     { /*   4:             11 0100 */  6,    52,  2,  1,  0,  0 },
  541.     { /*   5:             11 0101 */  6,    53,  1,  2,  0,  0 },
  542.     { /*   6:             11 0110 */  6,    54,  2,  0,  0,  0 },
  543.     { /*   7:             11 0111 */  6,    55,  0,  2,  0,  0 },
  544.     { /*   8:            111 0000 */  7,   112,  3,  1,  0,  0 },
  545.     { /*   9:            111 0001 */  7,   113,  1,  3,  0,  0 },
  546.     { /*  10:            111 0010 */  7,   114,  2,  2,  0,  0 },
  547.     { /*  11:            111 0011 */  7,   115,  3,  0,  0,  0 },
  548.     { /*  12:            111 0100 */  7,   116,  0,  3,  0,  0 },
  549.     { /*  13:           1110 1010 */  8,   234,  2,  3,  0,  0 },
  550.     { /*  14:           1110 1011 */  8,   235,  3,  2,  0,  0 },
  551.     { /*  15:           1110 1100 */  8,   236,  1,  4,  0,  0 },
  552.     { /*  16:           1110 1101 */  8,   237,  4,  1,  0,  0 },
  553.     { /*  17:           1110 1110 */  8,   238,  1,  5,  0,  0 },
  554.     { /*  18:           1110 1111 */  8,   239,  5,  1,  0,  0 },
  555.     { /*  19:           1111 0000 */  8,   240,  3,  3,  0,  0 },
  556.     { /*  20:           1111 0001 */  8,   241,  2,  4,  0,  0 },
  557.     { /*  21:           1111 0010 */  8,   242,  0,  4,  0,  0 },
  558.     { /*  22:           1111 0011 */  8,   243,  4,  0,  0,  0 },
  559.     { /*  23:         1 1110 1000 */  9,   488,  4,  2,  0,  0 },
  560.     { /*  24:         1 1110 1001 */  9,   489,  2,  5,  0,  0 },
  561.     { /*  25:         1 1110 1010 */  9,   490,  5,  2,  0,  0 },
  562.     { /*  26:         1 1110 1011 */  9,   491,  0,  5,  0,  0 },
  563.     { /*  27:         1 1110 1100 */  9,   492,  6,  1,  0,  0 },
  564.     { /*  28:         1 1110 1101 */  9,   493,  5,  0,  0,  0 },
  565.     { /*  29:         1 1110 1110 */  9,   494,  1,  6,  0,  0 },
  566.     { /*  30:         1 1110 1111 */  9,   495,  4,  3,  0,  0 },
  567.     { /*  31:         1 1111 0000 */  9,   496,  3,  5,  0,  0 },
  568.     { /*  32:         1 1111 0001 */  9,   497,  3,  4,  0,  0 },
  569.     { /*  33:         1 1111 0010 */  9,   498,  5,  3,  0,  0 },
  570.     { /*  34:         1 1111 0011 */  9,   499,  2,  6,  0,  0 },
  571.     { /*  35:         1 1111 0100 */  9,   500,  6,  2,  0,  0 },
  572.     { /*  36:         1 1111 0101 */  9,   501,  1,  7,  0,  0 },
  573.     { /*  37:        11 1110 1100 */ 10,  1004,  3,  6,  0,  0 },
  574.     { /*  38:        11 1110 1101 */ 10,  1005,  0,  6,  0,  0 },
  575.     { /*  39:        11 1110 1110 */ 10,  1006,  6,  0,  0,  0 },
  576.     { /*  40:        11 1110 1111 */ 10,  1007,  4,  4,  0,  0 },
  577.     { /*  41:        11 1111 0000 */ 10,  1008,  7,  1,  0,  0 },
  578.     { /*  42:        11 1111 0001 */ 10,  1009,  4,  5,  0,  0 },
  579.     { /*  43:        11 1111 0010 */ 10,  1010,  7,  2,  0,  0 },
  580.     { /*  44:        11 1111 0011 */ 10,  1011,  5,  4,  0,  0 },
  581.     { /*  45:        11 1111 0100 */ 10,  1012,  6,  3,  0,  0 },
  582.     { /*  46:        11 1111 0101 */ 10,  1013,  2,  7,  0,  0 },
  583.     { /*  47:        11 1111 0110 */ 10,  1014,  7,  3,  0,  0 },
  584.     { /*  48:        11 1111 0111 */ 10,  1015,  6,  4,  0,  0 },
  585.     { /*  49:        11 1111 1000 */ 10,  1016,  5,  5,  0,  0 },
  586.     { /*  50:        11 1111 1001 */ 10,  1017,  4,  6,  0,  0 },
  587.     { /*  51:        11 1111 1010 */ 10,  1018,  3,  7,  0,  0 },
  588.     { /*  52:       111 1111 0110 */ 11,  2038,  7,  0,  0,  0 },
  589.     { /*  53:       111 1111 0111 */ 11,  2039,  0,  7,  0,  0 },
  590.     { /*  54:       111 1111 1000 */ 11,  2040,  6,  5,  0,  0 },
  591.     { /*  55:       111 1111 1001 */ 11,  2041,  5,  6,  0,  0 },
  592.     { /*  56:       111 1111 1010 */ 11,  2042,  7,  4,  0,  0 },
  593.     { /*  57:       111 1111 1011 */ 11,  2043,  4,  7,  0,  0 },
  594.     { /*  58:       111 1111 1100 */ 11,  2044,  5,  7,  0,  0 },
  595.     { /*  59:       111 1111 1101 */ 11,  2045,  7,  5,  0,  0 },
  596.     { /*  60:      1111 1111 1100 */ 12,  4092,  7,  6,  0,  0 },
  597.     { /*  61:      1111 1111 1101 */ 12,  4093,  6,  6,  0,  0 },
  598.     { /*  62:      1111 1111 1110 */ 12,  4094,  6,  7,  0,  0 },
  599.     { /*  63:      1111 1111 1111 */ 12,  4095,  7,  7,  0,  0 }
  600. };
  602. Huffman book8[] = {
  603.       /* idx             codeword   len  codew   x   y   v   w */
  604.     { /*   0:                 000 */  3,     0,  1,  1,  0,  0 },
  605.     { /*   1:                0010 */  4,     2,  2,  1,  0,  0 },
  606.     { /*   2:                0011 */  4,     3,  1,  0,  0,  0 },
  607.     { /*   3:                0100 */  4,     4,  1,  2,  0,  0 },
  608.     { /*   4:                0101 */  4,     5,  0,  1,  0,  0 },
  609.     { /*   5:                0110 */  4,     6,  2,  2,  0,  0 },
  610.     { /*   6:              0 1110 */  5,    14,  0,  0,  0,  0 },
  611.     { /*   7:              0 1111 */  5,    15,  2,  0,  0,  0 },
  612.     { /*   8:              1 0000 */  5,    16,  0,  2,  0,  0 },
  613.     { /*   9:              1 0001 */  5,    17,  3,  1,  0,  0 },
  614.     { /*  10:              1 0010 */  5,    18,  1,  3,  0,  0 },
  615.     { /*  11:              1 0011 */  5,    19,  3,  2,  0,  0 },
  616.     { /*  12:              1 0100 */  5,    20,  2,  3,  0,  0 },
  617.     { /*  13:             10 1010 */  6,    42,  3,  3,  0,  0 },
  618.     { /*  14:             10 1011 */  6,    43,  4,  1,  0,  0 },
  619.     { /*  15:             10 1100 */  6,    44,  1,  4,  0,  0 },
  620.     { /*  16:             10 1101 */  6,    45,  4,  2,  0,  0 },
  621.     { /*  17:             10 1110 */  6,    46,  2,  4,  0,  0 },
  622.     { /*  18:             10 1111 */  6,    47,  3,  0,  0,  0 },
  623.     { /*  19:             11 0000 */  6,    48,  0,  3,  0,  0 },
  624.     { /*  20:             11 0001 */  6,    49,  4,  3,  0,  0 },
  625.     { /*  21:             11 0010 */  6,    50,  3,  4,  0,  0 },
  626.     { /*  22:             11 0011 */  6,    51,  5,  2,  0,  0 },
  627.     { /*  23:            110 1000 */  7,   104,  5,  1,  0,  0 },
  628.     { /*  24:            110 1001 */  7,   105,  2,  5,  0,  0 },
  629.     { /*  25:            110 1010 */  7,   106,  1,  5,  0,  0 },
  630.     { /*  26:            110 1011 */  7,   107,  5,  3,  0,  0 },
  631.     { /*  27:            110 1100 */  7,   108,  3,  5,  0,  0 },
  632.     { /*  28:            110 1101 */  7,   109,  4,  4,  0,  0 },
  633.     { /*  29:            110 1110 */  7,   110,  5,  4,  0,  0 },
  634.     { /*  30:            110 1111 */  7,   111,  0,  4,  0,  0 },
  635.     { /*  31:            111 0000 */  7,   112,  4,  5,  0,  0 },
  636.     { /*  32:            111 0001 */  7,   113,  4,  0,  0,  0 },
  637.     { /*  33:            111 0010 */  7,   114,  2,  6,  0,  0 },
  638.     { /*  34:            111 0011 */  7,   115,  6,  2,  0,  0 },
  639.     { /*  35:            111 0100 */  7,   116,  6,  1,  0,  0 },
  640.     { /*  36:            111 0101 */  7,   117,  1,  6,  0,  0 },
  641.     { /*  37:           1110 1100 */  8,   236,  3,  6,  0,  0 },
  642.     { /*  38:           1110 1101 */  8,   237,  6,  3,  0,  0 },
  643.     { /*  39:           1110 1110 */  8,   238,  5,  5,  0,  0 },
  644.     { /*  40:           1110 1111 */  8,   239,  5,  0,  0,  0 },
  645.     { /*  41:           1111 0000 */  8,   240,  6,  4,  0,  0 },
  646.     { /*  42:           1111 0001 */  8,   241,  0,  5,  0,  0 },
  647.     { /*  43:           1111 0010 */  8,   242,  4,  6,  0,  0 },
  648.     { /*  44:           1111 0011 */  8,   243,  7,  1,  0,  0 },
  649.     { /*  45:           1111 0100 */  8,   244,  7,  2,  0,  0 },
  650.     { /*  46:           1111 0101 */  8,   245,  2,  7,  0,  0 },
  651.     { /*  47:           1111 0110 */  8,   246,  6,  5,  0,  0 },
  652.     { /*  48:           1111 0111 */  8,   247,  7,  3,  0,  0 },
  653.     { /*  49:           1111 1000 */  8,   248,  1,  7,  0,  0 },
  654.     { /*  50:           1111 1001 */  8,   249,  5,  6,  0,  0 },
  655.     { /*  51:           1111 1010 */  8,   250,  3,  7,  0,  0 },
  656.     { /*  52:         1 1111 0110 */  9,   502,  6,  6,  0,  0 },
  657.     { /*  53:         1 1111 0111 */  9,   503,  7,  4,  0,  0 },
  658.     { /*  54:         1 1111 1000 */  9,   504,  6,  0,  0,  0 },
  659.     { /*  55:         1 1111 1001 */  9,   505,  4,  7,  0,  0 },
  660.     { /*  56:         1 1111 1010 */  9,   506,  0,  6,  0,  0 },
  661.     { /*  57:         1 1111 1011 */  9,   507,  7,  5,  0,  0 },
  662.     { /*  58:         1 1111 1100 */  9,   508,  7,  6,  0,  0 },
  663.     { /*  59:         1 1111 1101 */  9,   509,  6,  7,  0,  0 },
  664.     { /*  60:        11 1111 1100 */ 10,  1020,  5,  7,  0,  0 },
  665.     { /*  61:        11 1111 1101 */ 10,  1021,  7,  0,  0,  0 },
  666.     { /*  62:        11 1111 1110 */ 10,  1022,  0,  7,  0,  0 },
  667.     { /*  63:        11 1111 1111 */ 10,  1023,  7,  7,  0,  0 }
  668. };
  670. Huffman book9[] = {
  671.       /* idx             codeword   len  codew   x   y   v   w */
  672.     { /*   0:                   0 */  1,     0,  0,  0,  0,  0 },
  673.     { /*   1:                 100 */  3,     4,  1,  0,  0,  0 },
  674.     { /*   2:                 101 */  3,     5,  0,  1,  0,  0 },
  675.     { /*   3:                1100 */  4,    12,  1,  1,  0,  0 },
  676.     { /*   4:             11 0100 */  6,    52,  2,  1,  0,  0 },
  677.     { /*   5:             11 0101 */  6,    53,  1,  2,  0,  0 },
  678.     { /*   6:             11 0110 */  6,    54,  2,  0,  0,  0 },
  679.     { /*   7:             11 0111 */  6,    55,  0,  2,  0,  0 },
  680.     { /*   8:            111 0000 */  7,   112,  3,  1,  0,  0 },
  681.     { /*   9:            111 0001 */  7,   113,  2,  2,  0,  0 },
  682.     { /*  10:            111 0010 */  7,   114,  1,  3,  0,  0 },
  683.     { /*  11:           1110 0110 */  8,   230,  3,  0,  0,  0 },
  684.     { /*  12:           1110 0111 */  8,   231,  0,  3,  0,  0 },
  685.     { /*  13:           1110 1000 */  8,   232,  2,  3,  0,  0 },
  686.     { /*  14:           1110 1001 */  8,   233,  3,  2,  0,  0 },
  687.     { /*  15:           1110 1010 */  8,   234,  1,  4,  0,  0 },
  688.     { /*  16:           1110 1011 */  8,   235,  4,  1,  0,  0 },
  689.     { /*  17:           1110 1100 */  8,   236,  2,  4,  0,  0 },
  690.     { /*  18:           1110 1101 */  8,   237,  1,  5,  0,  0 },
  691.     { /*  19:         1 1101 1100 */  9,   476,  4,  2,  0,  0 },
  692.     { /*  20:         1 1101 1101 */  9,   477,  3,  3,  0,  0 },
  693.     { /*  21:         1 1101 1110 */  9,   478,  0,  4,  0,  0 },
  694.     { /*  22:         1 1101 1111 */  9,   479,  4,  0,  0,  0 },
  695.     { /*  23:         1 1110 0000 */  9,   480,  5,  1,  0,  0 },
  696.     { /*  24:         1 1110 0001 */  9,   481,  2,  5,  0,  0 },
  697.     { /*  25:         1 1110 0010 */  9,   482,  1,  6,  0,  0 },
  698.     { /*  26:         1 1110 0011 */  9,   483,  3,  4,  0,  0 },
  699.     { /*  27:         1 1110 0100 */  9,   484,  5,  2,  0,  0 },
  700.     { /*  28:         1 1110 0101 */  9,   485,  6,  1,  0,  0 },
  701.     { /*  29:         1 1110 0110 */  9,   486,  4,  3,  0,  0 },
  702.     { /*  30:        11 1100 1110 */ 10,   974,  0,  5,  0,  0 },
  703.     { /*  31:        11 1100 1111 */ 10,   975,  2,  6,  0,  0 },
  704.     { /*  32:        11 1101 0000 */ 10,   976,  5,  0,  0,  0 },
  705.     { /*  33:        11 1101 0001 */ 10,   977,  1,  7,  0,  0 },
  706.     { /*  34:        11 1101 0010 */ 10,   978,  3,  5,  0,  0 },
  707.     { /*  35:        11 1101 0011 */ 10,   979,  1,  8,  0,  0 },
  708.     { /*  36:        11 1101 0100 */ 10,   980,  8,  1,  0,  0 },
  709.     { /*  37:        11 1101 0101 */ 10,   981,  4,  4,  0,  0 },
  710.     { /*  38:        11 1101 0110 */ 10,   982,  5,  3,  0,  0 },
  711.     { /*  39:        11 1101 0111 */ 10,   983,  6,  2,  0,  0 },
  712.     { /*  40:        11 1101 1000 */ 10,   984,  7,  1,  0,  0 },
  713.     { /*  41:        11 1101 1001 */ 10,   985,  0,  6,  0,  0 },
  714.     { /*  42:        11 1101 1010 */ 10,   986,  8,  2,  0,  0 },
  715.     { /*  43:        11 1101 1011 */ 10,   987,  2,  8,  0,  0 },
  716.     { /*  44:        11 1101 1100 */ 10,   988,  3,  6,  0,  0 },
  717.     { /*  45:        11 1101 1101 */ 10,   989,  2,  7,  0,  0 },
  718.     { /*  46:        11 1101 1110 */ 10,   990,  4,  5,  0,  0 },
  719.     { /*  47:        11 1101 1111 */ 10,   991,  9,  1,  0,  0 },
  720.     { /*  48:        11 1110 0000 */ 10,   992,  1,  9,  0,  0 },
  721.     { /*  49:        11 1110 0001 */ 10,   993,  7,  2,  0,  0 },
  722.     { /*  50:       111 1100 0100 */ 11,  1988,  6,  0,  0,  0 },
  723.     { /*  51:       111 1100 0101 */ 11,  1989,  5,  4,  0,  0 },
  724.     { /*  52:       111 1100 0110 */ 11,  1990,  6,  3,  0,  0 },
  725.     { /*  53:       111 1100 0111 */ 11,  1991,  8,  3,  0,  0 },
  726.     { /*  54:       111 1100 1000 */ 11,  1992,  0,  7,  0,  0 },
  727.     { /*  55:       111 1100 1001 */ 11,  1993,  9,  2,  0,  0 },
  728.     { /*  56:       111 1100 1010 */ 11,  1994,  3,  8,  0,  0 },
  729.     { /*  57:       111 1100 1011 */ 11,  1995,  4,  6,  0,  0 },
  730.     { /*  58:       111 1100 1100 */ 11,  1996,  3,  7,  0,  0 },
  731.     { /*  59:       111 1100 1101 */ 11,  1997,  0,  8,  0,  0 },
  732.     { /*  60:       111 1100 1110 */ 11,  1998, 10,  1,  0,  0 },
  733.     { /*  61:       111 1100 1111 */ 11,  1999,  6,  4,  0,  0 },
  734.     { /*  62:       111 1101 0000 */ 11,  2000,  2,  9,  0,  0 },
  735.     { /*  63:       111 1101 0001 */ 11,  2001,  5,  5,  0,  0 },
  736.     { /*  64:       111 1101 0010 */ 11,  2002,  8,  0,  0,  0 },
  737.     { /*  65:       111 1101 0011 */ 11,  2003,  7,  0,  0,  0 },
  738.     { /*  66:       111 1101 0100 */ 11,  2004,  7,  3,  0,  0 },
  739.     { /*  67:       111 1101 0101 */ 11,  2005, 10,  2,  0,  0 },
  740.     { /*  68:       111 1101 0110 */ 11,  2006,  9,  3,  0,  0 },
  741.     { /*  69:       111 1101 0111 */ 11,  2007,  8,  4,  0,  0 },
  742.     { /*  70:       111 1101 1000 */ 11,  2008,  1, 10,  0,  0 },
  743.     { /*  71:       111 1101 1001 */ 11,  2009,  7,  4,  0,  0 },
  744.     { /*  72:       111 1101 1010 */ 11,  2010,  6,  5,  0,  0 },
  745.     { /*  73:       111 1101 1011 */ 11,  2011,  5,  6,  0,  0 },
  746.     { /*  74:       111 1101 1100 */ 11,  2012,  4,  8,  0,  0 },
  747.     { /*  75:       111 1101 1101 */ 11,  2013,  4,  7,  0,  0 },
  748.     { /*  76:       111 1101 1110 */ 11,  2014,  3,  9,  0,  0 },
  749.     { /*  77:       111 1101 1111 */ 11,  2015, 11,  1,  0,  0 },
  750.     { /*  78:       111 1110 0000 */ 11,  2016,  5,  8,  0,  0 },
  751.     { /*  79:       111 1110 0001 */ 11,  2017,  9,  0,  0,  0 },
  752.     { /*  80:       111 1110 0010 */ 11,  2018,  8,  5,  0,  0 },
  753.     { /*  81:      1111 1100 0110 */ 12,  4038, 10,  3,  0,  0 },
  754.     { /*  82:      1111 1100 0111 */ 12,  4039,  2, 10,  0,  0 },
  755.     { /*  83:      1111 1100 1000 */ 12,  4040,  0,  9,  0,  0 },
  756.     { /*  84:      1111 1100 1001 */ 12,  4041, 11,  2,  0,  0 },
  757.     { /*  85:      1111 1100 1010 */ 12,  4042,  9,  4,  0,  0 },
  758.     { /*  86:      1111 1100 1011 */ 12,  4043,  6,  6,  0,  0 },
  759.     { /*  87:      1111 1100 1100 */ 12,  4044, 12,  1,  0,  0 },
  760.     { /*  88:      1111 1100 1101 */ 12,  4045,  4,  9,  0,  0 },
  761.     { /*  89:      1111 1100 1110 */ 12,  4046,  8,  6,  0,  0 },
  762.     { /*  90:      1111 1100 1111 */ 12,  4047,  1, 11,  0,  0 },
  763.     { /*  91:      1111 1101 0000 */ 12,  4048,  9,  5,  0,  0 },
  764.     { /*  92:      1111 1101 0001 */ 12,  4049, 10,  4,  0,  0 },
  765.     { /*  93:      1111 1101 0010 */ 12,  4050,  5,  7,  0,  0 },
  766.     { /*  94:      1111 1101 0011 */ 12,  4051,  7,  5,  0,  0 },
  767.     { /*  95:      1111 1101 0100 */ 12,  4052,  2, 11,  0,  0 },
  768.     { /*  96:      1111 1101 0101 */ 12,  4053,  1, 12,  0,  0 },
  769.     { /*  97:      1111 1101 0110 */ 12,  4054, 12,  2,  0,  0 },
  770.     { /*  98:      1111 1101 0111 */ 12,  4055, 11,  3,  0,  0 },
  771.     { /*  99:      1111 1101 1000 */ 12,  4056,  3, 10,  0,  0 },
  772.     { /* 100:      1111 1101 1001 */ 12,  4057,  5,  9,  0,  0 },
  773.     { /* 101:      1111 1101 1010 */ 12,  4058,  6,  7,  0,  0 },
  774.     { /* 102:      1111 1101 1011 */ 12,  4059,  8,  7,  0,  0 },
  775.     { /* 103:      1111 1101 1100 */ 12,  4060, 11,  4,  0,  0 },
  776.     { /* 104:      1111 1101 1101 */ 12,  4061,  0, 10,  0,  0 },
  777.     { /* 105:      1111 1101 1110 */ 12,  4062,  7,  6,  0,  0 },
  778.     { /* 106:      1111 1101 1111 */ 12,  4063, 12,  3,  0,  0 },
  779.     { /* 107:      1111 1110 0000 */ 12,  4064, 10,  0,  0,  0 },
  780.     { /* 108:      1111 1110 0001 */ 12,  4065, 10,  5,  0,  0 },
  781.     { /* 109:      1111 1110 0010 */ 12,  4066,  4, 10,  0,  0 },
  782.     { /* 110:      1111 1110 0011 */ 12,  4067,  6,  8,  0,  0 },
  783.     { /* 111:      1111 1110 0100 */ 12,  4068,  2, 12,  0,  0 },
  784.     { /* 112:      1111 1110 0101 */ 12,  4069,  9,  6,  0,  0 },
  785.     { /* 113:      1111 1110 0110 */ 12,  4070,  9,  7,  0,  0 },
  786.     { /* 114:      1111 1110 0111 */ 12,  4071,  4, 11,  0,  0 },
  787.     { /* 115:      1111 1110 1000 */ 12,  4072, 11,  0,  0,  0 },
  788.     { /* 116:      1111 1110 1001 */ 12,  4073,  6,  9,  0,  0 },
  789.     { /* 117:      1111 1110 1010 */ 12,  4074,  3, 11,  0,  0 },
  790.     { /* 118:      1111 1110 1011 */ 12,  4075,  5, 10,  0,  0 },
  791.     { /* 119:    1 1111 1101 1000 */ 13,  8152,  8,  8,  0,  0 },
  792.     { /* 120:    1 1111 1101 1001 */ 13,  8153,  7,  8,  0,  0 },
  793.     { /* 121:    1 1111 1101 1010 */ 13,  8154, 12,  5,  0,  0 },
  794.     { /* 122:    1 1111 1101 1011 */ 13,  8155,  3, 12,  0,  0 },
  795.     { /* 123:    1 1111 1101 1100 */ 13,  8156, 11,  5,  0,  0 },
  796.     { /* 124:    1 1111 1101 1101 */ 13,  8157,  7,  7,  0,  0 },
  797.     { /* 125:    1 1111 1101 1110 */ 13,  8158, 12,  4,  0,  0 },
  798.     { /* 126:    1 1111 1101 1111 */ 13,  8159, 11,  6,  0,  0 },
  799.     { /* 127:    1 1111 1110 0000 */ 13,  8160, 10,  6,  0,  0 },
  800.     { /* 128:    1 1111 1110 0001 */ 13,  8161,  4, 12,  0,  0 },
  801.     { /* 129:    1 1111 1110 0010 */ 13,  8162,  7,  9,  0,  0 },
  802.     { /* 130:    1 1111 1110 0011 */ 13,  8163,  5, 11,  0,  0 },
  803.     { /* 131:    1 1111 1110 0100 */ 13,  8164,  0, 11,  0,  0 },
  804.     { /* 132:    1 1111 1110 0101 */ 13,  8165, 12,  6,  0,  0 },
  805.     { /* 133:    1 1111 1110 0110 */ 13,  8166,  6, 10,  0,  0 },
  806.     { /* 134:    1 1111 1110 0111 */ 13,  8167, 12,  0,  0,  0 },
  807.     { /* 135:    1 1111 1110 1000 */ 13,  8168, 10,  7,  0,  0 },
  808.     { /* 136:    1 1111 1110 1001 */ 13,  8169,  5, 12,  0,  0 },
  809.     { /* 137:    1 1111 1110 1010 */ 13,  8170,  7, 10,  0,  0 },
  810.     { /* 138:    1 1111 1110 1011 */ 13,  8171,  9,  8,  0,  0 },
  811.     { /* 139:    1 1111 1110 1100 */ 13,  8172,  0, 12,  0,  0 },
  812.     { /* 140:    1 1111 1110 1101 */ 13,  8173, 11,  7,  0,  0 },
  813.     { /* 141:    1 1111 1110 1110 */ 13,  8174,  8,  9,  0,  0 },
  814.     { /* 142:    1 1111 1110 1111 */ 13,  8175,  9,  9,  0,  0 },
  815.     { /* 143:    1 1111 1111 0000 */ 13,  8176, 10,  8,  0,  0 },
  816.     { /* 144:    1 1111 1111 0001 */ 13,  8177,  7, 11,  0,  0 },
  817.     { /* 145:    1 1111 1111 0010 */ 13,  8178, 12,  7,  0,  0 },
  818.     { /* 146:    1 1111 1111 0011 */ 13,  8179,  6, 11,  0,  0 },
  819.     { /* 147:    1 1111 1111 0100 */ 13,  8180,  8, 11,  0,  0 },
  820.     { /* 148:    1 1111 1111 0101 */ 13,  8181, 11,  8,  0,  0 },
  821.     { /* 149:    1 1111 1111 0110 */ 13,  8182,  7, 12,  0,  0 },
  822.     { /* 150:    1 1111 1111 0111 */ 13,  8183,  6, 12,  0,  0 },
  823.     { /* 151:   11 1111 1111 0000 */ 14, 16368,  8, 10,  0,  0 },
  824.     { /* 152:   11 1111 1111 0001 */ 14, 16369, 10,  9,  0,  0 },
  825.     { /* 153:   11 1111 1111 0010 */ 14, 16370,  8, 12,  0,  0 },
  826.     { /* 154:   11 1111 1111 0011 */ 14, 16371,  9, 10,  0,  0 },
  827.     { /* 155:   11 1111 1111 0100 */ 14, 16372,  9, 11,  0,  0 },
  828.     { /* 156:   11 1111 1111 0101 */ 14, 16373,  9, 12,  0,  0 },
  829.     { /* 157:   11 1111 1111 0110 */ 14, 16374, 10, 11,  0,  0 },
  830.     { /* 158:   11 1111 1111 0111 */ 14, 16375, 12,  9,  0,  0 },
  831.     { /* 159:   11 1111 1111 1000 */ 14, 16376, 10, 10,  0,  0 },
  832.     { /* 160:   11 1111 1111 1001 */ 14, 16377, 11,  9,  0,  0 },
  833.     { /* 161:   11 1111 1111 1010 */ 14, 16378, 12,  8,  0,  0 },
  834.     { /* 162:   11 1111 1111 1011 */ 14, 16379, 11, 10,  0,  0 },
  835.     { /* 163:   11 1111 1111 1100 */ 14, 16380, 12, 10,  0,  0 },
  836.     { /* 164:   11 1111 1111 1101 */ 14, 16381, 12, 11,  0,  0 },
  837.     { /* 165:  111 1111 1111 1100 */ 15, 32764, 10, 12,  0,  0 },
  838.     { /* 166:  111 1111 1111 1101 */ 15, 32765, 11, 11,  0,  0 },
  839.     { /* 167:  111 1111 1111 1110 */ 15, 32766, 11, 12,  0,  0 },
  840.     { /* 168:  111 1111 1111 1111 */ 15, 32767, 12, 12,  0,  0 }
  841. };
  843. Huffman book10[] = {
  844.       /* idx             codeword   len  codew   x   y   v   w */
  845.     { /*   0:                0000 */  4,     0,  1,  1,  0,  0 },
  846.     { /*   1:                0001 */  4,     1,  1,  2,  0,  0 },
  847.     { /*   2:                0010 */  4,     2,  2,  1,  0,  0 },
  848.     { /*   3:              0 0110 */  5,     6,  2,  2,  0,  0 },
  849.     { /*   4:              0 0111 */  5,     7,  1,  0,  0,  0 },
  850.     { /*   5:              0 1000 */  5,     8,  0,  1,  0,  0 },
  851.     { /*   6:              0 1001 */  5,     9,  1,  3,  0,  0 },
  852.     { /*   7:              0 1010 */  5,    10,  3,  2,  0,  0 },
  853.     { /*   8:              0 1011 */  5,    11,  3,  1,  0,  0 },
  854.     { /*   9:              0 1100 */  5,    12,  2,  3,  0,  0 },
  855.     { /*  10:              0 1101 */  5,    13,  3,  3,  0,  0 },
  856.     { /*  11:             01 1100 */  6,    28,  2,  0,  0,  0 },
  857.     { /*  12:             01 1101 */  6,    29,  0,  2,  0,  0 },
  858.     { /*  13:             01 1110 */  6,    30,  2,  4,  0,  0 },
  859.     { /*  14:             01 1111 */  6,    31,  4,  2,  0,  0 },
  860.     { /*  15:             10 0000 */  6,    32,  1,  4,  0,  0 },
  861.     { /*  16:             10 0001 */  6,    33,  4,  1,  0,  0 },
  862.     { /*  17:             10 0010 */  6,    34,  0,  0,  0,  0 },
  863.     { /*  18:             10 0011 */  6,    35,  4,  3,  0,  0 },
  864.     { /*  19:             10 0100 */  6,    36,  3,  4,  0,  0 },
  865.     { /*  20:             10 0101 */  6,    37,  3,  0,  0,  0 },
  866.     { /*  21:             10 0110 */  6,    38,  0,  3,  0,  0 },
  867.     { /*  22:             10 0111 */  6,    39,  4,  4,  0,  0 },
  868.     { /*  23:             10 1000 */  6,    40,  2,  5,  0,  0 },
  869.     { /*  24:             10 1001 */  6,    41,  5,  2,  0,  0 },
  870.     { /*  25:            101 0100 */  7,    84,  1,  5,  0,  0 },
  871.     { /*  26:            101 0101 */  7,    85,  5,  1,  0,  0 },
  872.     { /*  27:            101 0110 */  7,    86,  5,  3,  0,  0 },
  873.     { /*  28:            101 0111 */  7,    87,  3,  5,  0,  0 },
  874.     { /*  29:            101 1000 */  7,    88,  5,  4,  0,  0 },
  875.     { /*  30:            101 1001 */  7,    89,  4,  5,  0,  0 },
  876.     { /*  31:            101 1010 */  7,    90,  6,  2,  0,  0 },
  877.     { /*  32:            101 1011 */  7,    91,  2,  6,  0,  0 },
  878.     { /*  33:            101 1100 */  7,    92,  6,  3,  0,  0 },
  879.     { /*  34:            101 1101 */  7,    93,  4,  0,  0,  0 },
  880.     { /*  35:            101 1110 */  7,    94,  6,  1,  0,  0 },
  881.     { /*  36:            101 1111 */  7,    95,  0,  4,  0,  0 },
  882.     { /*  37:            110 0000 */  7,    96,  1,  6,  0,  0 },
  883.     { /*  38:            110 0001 */  7,    97,  3,  6,  0,  0 },
  884.     { /*  39:            110 0010 */  7,    98,  5,  5,  0,  0 },
  885.     { /*  40:            110 0011 */  7,    99,  6,  4,  0,  0 },
  886.     { /*  41:            110 0100 */  7,   100,  4,  6,  0,  0 },
  887.     { /*  42:           1100 1010 */  8,   202,  6,  5,  0,  0 },
  888.     { /*  43:           1100 1011 */  8,   203,  7,  2,  0,  0 },
  889.     { /*  44:           1100 1100 */  8,   204,  3,  7,  0,  0 },
  890.     { /*  45:           1100 1101 */  8,   205,  2,  7,  0,  0 },
  891.     { /*  46:           1100 1110 */  8,   206,  5,  6,  0,  0 },
  892.     { /*  47:           1100 1111 */  8,   207,  8,  2,  0,  0 },
  893.     { /*  48:           1101 0000 */  8,   208,  7,  3,  0,  0 },
  894.     { /*  49:           1101 0001 */  8,   209,  5,  0,  0,  0 },
  895.     { /*  50:           1101 0010 */  8,   210,  7,  1,  0,  0 },
  896.     { /*  51:           1101 0011 */  8,   211,  0,  5,  0,  0 },
  897.     { /*  52:           1101 0100 */  8,   212,  8,  1,  0,  0 },
  898.     { /*  53:           1101 0101 */  8,   213,  1,  7,  0,  0 },
  899.     { /*  54:           1101 0110 */  8,   214,  8,  3,  0,  0 },
  900.     { /*  55:           1101 0111 */  8,   215,  7,  4,  0,  0 },
  901.     { /*  56:           1101 1000 */  8,   216,  4,  7,  0,  0 },
  902.     { /*  57:           1101 1001 */  8,   217,  2,  8,  0,  0 },
  903.     { /*  58:           1101 1010 */  8,   218,  6,  6,  0,  0 },
  904.     { /*  59:           1101 1011 */  8,   219,  7,  5,  0,  0 },
  905.     { /*  60:           1101 1100 */  8,   220,  1,  8,  0,  0 },
  906.     { /*  61:           1101 1101 */  8,   221,  3,  8,  0,  0 },
  907.     { /*  62:           1101 1110 */  8,   222,  8,  4,  0,  0 },
  908.     { /*  63:           1101 1111 */  8,   223,  4,  8,  0,  0 },
  909.     { /*  64:           1110 0000 */  8,   224,  5,  7,  0,  0 },
  910.     { /*  65:           1110 0001 */  8,   225,  8,  5,  0,  0 },
  911.     { /*  66:           1110 0010 */  8,   226,  5,  8,  0,  0 },
  912.     { /*  67:         1 1100 0110 */  9,   454,  7,  6,  0,  0 },
  913.     { /*  68:         1 1100 0111 */  9,   455,  6,  7,  0,  0 },
  914.     { /*  69:         1 1100 1000 */  9,   456,  9,  2,  0,  0 },
  915.     { /*  70:         1 1100 1001 */  9,   457,  6,  0,  0,  0 },
  916.     { /*  71:         1 1100 1010 */  9,   458,  6,  8,  0,  0 },
  917.     { /*  72:         1 1100 1011 */  9,   459,  9,  3,  0,  0 },
  918.     { /*  73:         1 1100 1100 */  9,   460,  3,  9,  0,  0 },
  919.     { /*  74:         1 1100 1101 */  9,   461,  9,  1,  0,  0 },
  920.     { /*  75:         1 1100 1110 */  9,   462,  2,  9,  0,  0 },
  921.     { /*  76:         1 1100 1111 */  9,   463,  0,  6,  0,  0 },
  922.     { /*  77:         1 1101 0000 */  9,   464,  8,  6,  0,  0 },
  923.     { /*  78:         1 1101 0001 */  9,   465,  9,  4,  0,  0 },
  924.     { /*  79:         1 1101 0010 */  9,   466,  4,  9,  0,  0 },
  925.     { /*  80:         1 1101 0011 */  9,   467, 10,  2,  0,  0 },
  926.     { /*  81:         1 1101 0100 */  9,   468,  1,  9,  0,  0 },
  927.     { /*  82:         1 1101 0101 */  9,   469,  7,  7,  0,  0 },
  928.     { /*  83:         1 1101 0110 */  9,   470,  8,  7,  0,  0 },
  929.     { /*  84:         1 1101 0111 */  9,   471,  9,  5,  0,  0 },
  930.     { /*  85:         1 1101 1000 */  9,   472,  7,  8,  0,  0 },
  931.     { /*  86:         1 1101 1001 */  9,   473, 10,  3,  0,  0 },
  932.     { /*  87:         1 1101 1010 */  9,   474,  5,  9,  0,  0 },
  933.     { /*  88:         1 1101 1011 */  9,   475, 10,  4,  0,  0 },
  934.     { /*  89:         1 1101 1100 */  9,   476,  2, 10,  0,  0 },
  935.     { /*  90:         1 1101 1101 */  9,   477, 10,  1,  0,  0 },
  936.     { /*  91:         1 1101 1110 */  9,   478,  3, 10,  0,  0 },
  937.     { /*  92:         1 1101 1111 */  9,   479,  9,  6,  0,  0 },
  938.     { /*  93:         1 1110 0000 */  9,   480,  6,  9,  0,  0 },
  939.     { /*  94:         1 1110 0001 */  9,   481,  8,  0,  0,  0 },
  940.     { /*  95:         1 1110 0010 */  9,   482,  4, 10,  0,  0 },
  941.     { /*  96:         1 1110 0011 */  9,   483,  7,  0,  0,  0 },
  942.     { /*  97:         1 1110 0100 */  9,   484, 11,  2,  0,  0 },
  943.     { /*  98:        11 1100 1010 */ 10,   970,  7,  9,  0,  0 },
  944.     { /*  99:        11 1100 1011 */ 10,   971, 11,  3,  0,  0 },
  945.     { /* 100:        11 1100 1100 */ 10,   972, 10,  6,  0,  0 },
  946.     { /* 101:        11 1100 1101 */ 10,   973,  1, 10,  0,  0 },
  947.     { /* 102:        11 1100 1110 */ 10,   974, 11,  1,  0,  0 },
  948.     { /* 103:        11 1100 1111 */ 10,   975,  9,  7,  0,  0 },
  949.     { /* 104:        11 1101 0000 */ 10,   976,  0,  7,  0,  0 },
  950.     { /* 105:        11 1101 0001 */ 10,   977,  8,  8,  0,  0 },
  951.     { /* 106:        11 1101 0010 */ 10,   978, 10,  5,  0,  0 },
  952.     { /* 107:        11 1101 0011 */ 10,   979,  3, 11,  0,  0 },
  953.     { /* 108:        11 1101 0100 */ 10,   980,  5, 10,  0,  0 },
  954.     { /* 109:        11 1101 0101 */ 10,   981,  8,  9,  0,  0 },
  955.     { /* 110:        11 1101 0110 */ 10,   982, 11,  5,  0,  0 },
  956.     { /* 111:        11 1101 0111 */ 10,   983,  0,  8,  0,  0 },
  957.     { /* 112:        11 1101 1000 */ 10,   984, 11,  4,  0,  0 },
  958.     { /* 113:        11 1101 1001 */ 10,   985,  2, 11,  0,  0 },
  959.     { /* 114:        11 1101 1010 */ 10,   986,  7, 10,  0,  0 },
  960.     { /* 115:        11 1101 1011 */ 10,   987,  6, 10,  0,  0 },
  961.     { /* 116:        11 1101 1100 */ 10,   988, 10,  7,  0,  0 },
  962.     { /* 117:        11 1101 1101 */ 10,   989,  4, 11,  0,  0 },
  963.     { /* 118:        11 1101 1110 */ 10,   990,  1, 11,  0,  0 },
  964.     { /* 119:        11 1101 1111 */ 10,   991, 12,  2,  0,  0 },
  965.     { /* 120:        11 1110 0000 */ 10,   992,  9,  8,  0,  0 },
  966.     { /* 121:        11 1110 0001 */ 10,   993, 12,  3,  0,  0 },
  967.     { /* 122:        11 1110 0010 */ 10,   994, 11,  6,  0,  0 },
  968.     { /* 123:        11 1110 0011 */ 10,   995,  5, 11,  0,  0 },
  969.     { /* 124:        11 1110 0100 */ 10,   996, 12,  4,  0,  0 },
  970.     { /* 125:        11 1110 0101 */ 10,   997, 11,  7,  0,  0 },
  971.     { /* 126:        11 1110 0110 */ 10,   998, 12,  5,  0,  0 },
  972.     { /* 127:        11 1110 0111 */ 10,   999,  3, 12,  0,  0 },
  973.     { /* 128:        11 1110 1000 */ 10,  1000,  6, 11,  0,  0 },
  974.     { /* 129:        11 1110 1001 */ 10,  1001,  9,  0,  0,  0 },
  975.     { /* 130:        11 1110 1010 */ 10,  1002, 10,  8,  0,  0 },
  976.     { /* 131:        11 1110 1011 */ 10,  1003, 10,  0,  0,  0 },
  977.     { /* 132:        11 1110 1100 */ 10,  1004, 12,  1,  0,  0 },
  978.     { /* 133:        11 1110 1101 */ 10,  1005,  0,  9,  0,  0 },
  979.     { /* 134:        11 1110 1110 */ 10,  1006,  4, 12,  0,  0 },
  980.     { /* 135:        11 1110 1111 */ 10,  1007,  9,  9,  0,  0 },
  981.     { /* 136:        11 1111 0000 */ 10,  1008, 12,  6,  0,  0 },
  982.     { /* 137:        11 1111 0001 */ 10,  1009,  2, 12,  0,  0 },
  983.     { /* 138:        11 1111 0010 */ 10,  1010,  8, 10,  0,  0 },
  984.     { /* 139:       111 1110 0110 */ 11,  2022,  9, 10,  0,  0 },
  985.     { /* 140:       111 1110 0111 */ 11,  2023,  1, 12,  0,  0 },
  986.     { /* 141:       111 1110 1000 */ 11,  2024, 11,  8,  0,  0 },
  987.     { /* 142:       111 1110 1001 */ 11,  2025, 12,  7,  0,  0 },
  988.     { /* 143:       111 1110 1010 */ 11,  2026,  7, 11,  0,  0 },
  989.     { /* 144:       111 1110 1011 */ 11,  2027,  5, 12,  0,  0 },
  990.     { /* 145:       111 1110 1100 */ 11,  2028,  6, 12,  0,  0 },
  991.     { /* 146:       111 1110 1101 */ 11,  2029, 10,  9,  0,  0 },
  992.     { /* 147:       111 1110 1110 */ 11,  2030,  8, 11,  0,  0 },
  993.     { /* 148:       111 1110 1111 */ 11,  2031, 12,  8,  0,  0 },
  994.     { /* 149:       111 1111 0000 */ 11,  2032,  0, 10,  0,  0 },
  995.     { /* 150:       111 1111 0001 */ 11,  2033,  7, 12,  0,  0 },
  996.     { /* 151:       111 1111 0010 */ 11,  2034, 11,  0,  0,  0 },
  997.     { /* 152:       111 1111 0011 */ 11,  2035, 10, 10,  0,  0 },
  998.     { /* 153:       111 1111 0100 */ 11,  2036, 11,  9,  0,  0 },
  999.     { /* 154:       111 1111 0101 */ 11,  2037, 11, 10,  0,  0 },
  1000.     { /* 155:       111 1111 0110 */ 11,  2038,  0, 11,  0,  0 },
  1001.     { /* 156:       111 1111 0111 */ 11,  2039, 11, 11,  0,  0 },
  1002.     { /* 157:       111 1111 1000 */ 11,  2040,  9, 11,  0,  0 },
  1003.     { /* 158:       111 1111 1001 */ 11,  2041, 10, 11,  0,  0 },
  1004.     { /* 159:       111 1111 1010 */ 11,  2042, 12,  0,  0,  0 },
  1005.     { /* 160:       111 1111 1011 */ 11,  2043,  8, 12,  0,  0 },
  1006.     { /* 161:      1111 1111 1000 */ 12,  4088, 12,  9,  0,  0 },
  1007.     { /* 162:      1111 1111 1001 */ 12,  4089, 10, 12,  0,  0 },
  1008.     { /* 163:      1111 1111 1010 */ 12,  4090,  9, 12,  0,  0 },
  1009.     { /* 164:      1111 1111 1011 */ 12,  4091, 11, 12,  0,  0 },
  1010.     { /* 165:      1111 1111 1100 */ 12,  4092, 12, 11,  0,  0 },
  1011.     { /* 166:      1111 1111 1101 */ 12,  4093,  0, 12,  0,  0 },
  1012.     { /* 167:      1111 1111 1110 */ 12,  4094, 12, 10,  0,  0 },
  1013.     { /* 168:      1111 1111 1111 */ 12,  4095, 12, 12,  0,  0 }
  1014. };
  1016. Huffman book11[] = {
  1017.       /* idx             codeword   len  codew   x   y   v   w */
  1018.     { /*   0:                0000 */  4,     0,  0,  0,  0,  0 },
  1019.     { /*   1:                0001 */  4,     1,  1,  1,  0,  0 },
  1020.     { /*   2:              0 0100 */  5,     4, 16, 16,  0,  0 },
  1021.     { /*   3:              0 0101 */  5,     5,  1,  0,  0,  0 },
  1022.     { /*   4:              0 0110 */  5,     6,  0,  1,  0,  0 },
  1023.     { /*   5:              0 0111 */  5,     7,  2,  1,  0,  0 },
  1024.     { /*   6:              0 1000 */  5,     8,  1,  2,  0,  0 },
  1025.     { /*   7:              0 1001 */  5,     9,  2,  2,  0,  0 },
  1026.     { /*   8:             01 0100 */  6,    20,  1,  3,  0,  0 },
  1027.     { /*   9:             01 0101 */  6,    21,  3,  1,  0,  0 },
  1028.     { /*  10:             01 0110 */  6,    22,  3,  2,  0,  0 },
  1029.     { /*  11:             01 0111 */  6,    23,  2,  0,  0,  0 },
  1030.     { /*  12:             01 1000 */  6,    24,  2,  3,  0,  0 },
  1031.     { /*  13:             01 1001 */  6,    25,  0,  2,  0,  0 },
  1032.     { /*  14:             01 1010 */  6,    26,  3,  3,  0,  0 },
  1033.     { /*  15:            011 0110 */  7,    54,  4,  1,  0,  0 },
  1034.     { /*  16:            011 0111 */  7,    55,  1,  4,  0,  0 },
  1035.     { /*  17:            011 1000 */  7,    56,  4,  2,  0,  0 },
  1036.     { /*  18:            011 1001 */  7,    57,  2,  4,  0,  0 },
  1037.     { /*  19:            011 1010 */  7,    58,  4,  3,  0,  0 },
  1038.     { /*  20:            011 1011 */  7,    59,  3,  4,  0,  0 },
  1039.     { /*  21:            011 1100 */  7,    60,  3,  0,  0,  0 },
  1040.     { /*  22:            011 1101 */  7,    61,  0,  3,  0,  0 },
  1041.     { /*  23:            011 1110 */  7,    62,  5,  1,  0,  0 },
  1042.     { /*  24:            011 1111 */  7,    63,  5,  2,  0,  0 },
  1043.     { /*  25:            100 0000 */  7,    64,  2,  5,  0,  0 },
  1044.     { /*  26:            100 0001 */  7,    65,  4,  4,  0,  0 },
  1045.     { /*  27:            100 0010 */  7,    66,  1,  5,  0,  0 },
  1046.     { /*  28:            100 0011 */  7,    67,  5,  3,  0,  0 },
  1047.     { /*  29:            100 0100 */  7,    68,  3,  5,  0,  0 },
  1048.     { /*  30:            100 0101 */  7,    69,  5,  4,  0,  0 },
  1049.     { /*  31:           1000 1100 */  8,   140,  4,  5,  0,  0 },
  1050.     { /*  32:           1000 1101 */  8,   141,  6,  2,  0,  0 },
  1051.     { /*  33:           1000 1110 */  8,   142,  2,  6,  0,  0 },
  1052.     { /*  34:           1000 1111 */  8,   143,  6,  1,  0,  0 },
  1053.     { /*  35:           1001 0000 */  8,   144,  6,  3,  0,  0 },
  1054.     { /*  36:           1001 0001 */  8,   145,  3,  6,  0,  0 },
  1055.     { /*  37:           1001 0010 */  8,   146,  1,  6,  0,  0 },
  1056.     { /*  38:           1001 0011 */  8,   147,  4, 16,  0,  0 },
  1057.     { /*  39:           1001 0100 */  8,   148,  3, 16,  0,  0 },
  1058.     { /*  40:           1001 0101 */  8,   149, 16,  5,  0,  0 },
  1059.     { /*  41:           1001 0110 */  8,   150, 16,  3,  0,  0 },
  1060.     { /*  42:           1001 0111 */  8,   151, 16,  4,  0,  0 },
  1061.     { /*  43:           1001 1000 */  8,   152,  6,  4,  0,  0 },
  1062.     { /*  44:           1001 1001 */  8,   153, 16,  6,  0,  0 },
  1063.     { /*  45:           1001 1010 */  8,   154,  4,  0,  0,  0 },
  1064.     { /*  46:           1001 1011 */  8,   155,  4,  6,  0,  0 },
  1065.     { /*  47:           1001 1100 */  8,   156,  0,  4,  0,  0 },
  1066.     { /*  48:           1001 1101 */  8,   157,  2, 16,  0,  0 },
  1067.     { /*  49:           1001 1110 */  8,   158,  5,  5,  0,  0 },
  1068.     { /*  50:           1001 1111 */  8,   159,  5, 16,  0,  0 },
  1069.     { /*  51:           1010 0000 */  8,   160, 16,  7,  0,  0 },
  1070.     { /*  52:           1010 0001 */  8,   161, 16,  2,  0,  0 },
  1071.     { /*  53:           1010 0010 */  8,   162, 16,  8,  0,  0 },
  1072.     { /*  54:           1010 0011 */  8,   163,  2,  7,  0,  0 },
  1073.     { /*  55:           1010 0100 */  8,   164,  7,  2,  0,  0 },
  1074.     { /*  56:           1010 0101 */  8,   165,  3,  7,  0,  0 },
  1075.     { /*  57:           1010 0110 */  8,   166,  6,  5,  0,  0 },
  1076.     { /*  58:           1010 0111 */  8,   167,  5,  6,  0,  0 },
  1077.     { /*  59:           1010 1000 */  8,   168,  6, 16,  0,  0 },
  1078.     { /*  60:           1010 1001 */  8,   169, 16, 10,  0,  0 },
  1079.     { /*  61:           1010 1010 */  8,   170,  7,  3,  0,  0 },
  1080.     { /*  62:           1010 1011 */  8,   171,  7,  1,  0,  0 },
  1081.     { /*  63:           1010 1100 */  8,   172, 16,  9,  0,  0 },
  1082.     { /*  64:           1010 1101 */  8,   173,  7, 16,  0,  0 },
  1083.     { /*  65:           1010 1110 */  8,   174,  1, 16,  0,  0 },
  1084.     { /*  66:           1010 1111 */  8,   175,  1,  7,  0,  0 },
  1085.     { /*  67:           1011 0000 */  8,   176,  4,  7,  0,  0 },
  1086.     { /*  68:           1011 0001 */  8,   177, 16, 11,  0,  0 },
  1087.     { /*  69:           1011 0010 */  8,   178,  7,  4,  0,  0 },
  1088.     { /*  70:           1011 0011 */  8,   179, 16, 12,  0,  0 },
  1089.     { /*  71:           1011 0100 */  8,   180,  8, 16,  0,  0 },
  1090.     { /*  72:           1011 0101 */  8,   181, 16,  1,  0,  0 },
  1091.     { /*  73:           1011 0110 */  8,   182,  6,  6,  0,  0 },
  1092.     { /*  74:           1011 0111 */  8,   183,  9, 16,  0,  0 },
  1093.     { /*  75:           1011 1000 */  8,   184,  2,  8,  0,  0 },
  1094.     { /*  76:           1011 1001 */  8,   185,  5,  7,  0,  0 },
  1095.     { /*  77:           1011 1010 */  8,   186, 10, 16,  0,  0 },
  1096.     { /*  78:           1011 1011 */  8,   187, 16, 13,  0,  0 },
  1097.     { /*  79:           1011 1100 */  8,   188,  8,  3,  0,  0 },
  1098.     { /*  80:           1011 1101 */  8,   189,  8,  2,  0,  0 },
  1099.     { /*  81:           1011 1110 */  8,   190,  3,  8,  0,  0 },
  1100.     { /*  82:           1011 1111 */  8,   191,  5,  0,  0,  0 },
  1101.     { /*  83:           1100 0000 */  8,   192, 16, 14,  0,  0 },
  1102.     { /*  84:           1100 0001 */  8,   193, 11, 16,  0,  0 },
  1103.     { /*  85:           1100 0010 */  8,   194,  7,  5,  0,  0 },
  1104.     { /*  86:           1100 0011 */  8,   195,  4,  8,  0,  0 },
  1105.     { /*  87:           1100 0100 */  8,   196,  6,  7,  0,  0 },
  1106.     { /*  88:           1100 0101 */  8,   197,  7,  6,  0,  0 },
  1107.     { /*  89:           1100 0110 */  8,   198,  0,  5,  0,  0 },
  1108.     { /*  90:         1 1000 1110 */  9,   398,  8,  4,  0,  0 },
  1109.     { /*  91:         1 1000 1111 */  9,   399, 16, 15,  0,  0 },
  1110.     { /*  92:         1 1001 0000 */  9,   400, 12, 16,  0,  0 },
  1111.     { /*  93:         1 1001 0001 */  9,   401,  1,  8,  0,  0 },
  1112.     { /*  94:         1 1001 0010 */  9,   402,  8,  1,  0,  0 },
  1113.     { /*  95:         1 1001 0011 */  9,   403, 14, 16,  0,  0 },
  1114.     { /*  96:         1 1001 0100 */  9,   404,  5,  8,  0,  0 },
  1115.     { /*  97:         1 1001 0101 */  9,   405, 13, 16,  0,  0 },
  1116.     { /*  98:         1 1001 0110 */  9,   406,  3,  9,  0,  0 },
  1117.     { /*  99:         1 1001 0111 */  9,   407,  8,  5,  0,  0 },
  1118.     { /* 100:         1 1001 1000 */  9,   408,  7,  7,  0,  0 },
  1119.     { /* 101:         1 1001 1001 */  9,   409,  2,  9,  0,  0 },
  1120.     { /* 102:         1 1001 1010 */  9,   410,  8,  6,  0,  0 },
  1121.     { /* 103:         1 1001 1011 */  9,   411,  9,  2,  0,  0 },
  1122.     { /* 104:         1 1001 1100 */  9,   412,  9,  3,  0,  0 },
  1123.     { /* 105:         1 1001 1101 */  9,   413, 15, 16,  0,  0 },
  1124.     { /* 106:         1 1001 1110 */  9,   414,  4,  9,  0,  0 },
  1125.     { /* 107:         1 1001 1111 */  9,   415,  6,  8,  0,  0 },
  1126.     { /* 108:         1 1010 0000 */  9,   416,  6,  0,  0,  0 },
  1127.     { /* 109:         1 1010 0001 */  9,   417,  9,  4,  0,  0 },
  1128.     { /* 110:         1 1010 0010 */  9,   418,  5,  9,  0,  0 },
  1129.     { /* 111:         1 1010 0011 */  9,   419,  8,  7,  0,  0 },
  1130.     { /* 112:         1 1010 0100 */  9,   420,  7,  8,  0,  0 },
  1131.     { /* 113:         1 1010 0101 */  9,   421,  1,  9,  0,  0 },
  1132.     { /* 114:         1 1010 0110 */  9,   422, 10,  3,  0,  0 },
  1133.     { /* 115:         1 1010 0111 */  9,   423,  0,  6,  0,  0 },
  1134.     { /* 116:         1 1010 1000 */  9,   424, 10,  2,  0,  0 },
  1135.     { /* 117:         1 1010 1001 */  9,   425,  9,  1,  0,  0 },
  1136.     { /* 118:         1 1010 1010 */  9,   426,  9,  5,  0,  0 },
  1137.     { /* 119:         1 1010 1011 */  9,   427,  4, 10,  0,  0 },
  1138.     { /* 120:         1 1010 1100 */  9,   428,  2, 10,  0,  0 },
  1139.     { /* 121:         1 1010 1101 */  9,   429,  9,  6,  0,  0 },
  1140.     { /* 122:         1 1010 1110 */  9,   430,  3, 10,  0,  0 },
  1141.     { /* 123:         1 1010 1111 */  9,   431,  6,  9,  0,  0 },
  1142.     { /* 124:         1 1011 0000 */  9,   432, 10,  4,  0,  0 },
  1143.     { /* 125:         1 1011 0001 */  9,   433,  8,  8,  0,  0 },
  1144.     { /* 126:         1 1011 0010 */  9,   434, 10,  5,  0,  0 },
  1145.     { /* 127:         1 1011 0011 */  9,   435,  9,  7,  0,  0 },
  1146.     { /* 128:         1 1011 0100 */  9,   436, 11,  3,  0,  0 },
  1147.     { /* 129:         1 1011 0101 */  9,   437,  1, 10,  0,  0 },
  1148.     { /* 130:         1 1011 0110 */  9,   438,  7,  0,  0,  0 },
  1149.     { /* 131:         1 1011 0111 */  9,   439, 10,  6,  0,  0 },
  1150.     { /* 132:         1 1011 1000 */  9,   440,  7,  9,  0,  0 },
  1151.     { /* 133:         1 1011 1001 */  9,   441,  3, 11,  0,  0 },
  1152.     { /* 134:         1 1011 1010 */  9,   442,  5, 10,  0,  0 },
  1153.     { /* 135:         1 1011 1011 */  9,   443, 10,  1,  0,  0 },
  1154.     { /* 136:         1 1011 1100 */  9,   444,  4, 11,  0,  0 },
  1155.     { /* 137:         1 1011 1101 */  9,   445, 11,  2,  0,  0 },
  1156.     { /* 138:         1 1011 1110 */  9,   446, 13,  2,  0,  0 },
  1157.     { /* 139:         1 1011 1111 */  9,   447,  6, 10,  0,  0 },
  1158.     { /* 140:         1 1100 0000 */  9,   448, 13,  3,  0,  0 },
  1159.     { /* 141:         1 1100 0001 */  9,   449,  2, 11,  0,  0 },
  1160.     { /* 142:         1 1100 0010 */  9,   450, 16,  0,  0,  0 },
  1161.     { /* 143:         1 1100 0011 */  9,   451,  5, 11,  0,  0 },
  1162.     { /* 144:         1 1100 0100 */  9,   452, 11,  5,  0,  0 },
  1163.     { /* 145:        11 1000 1010 */ 10,   906, 11,  4,  0,  0 },
  1164.     { /* 146:        11 1000 1011 */ 10,   907,  9,  8,  0,  0 },
  1165.     { /* 147:        11 1000 1100 */ 10,   908,  7, 10,  0,  0 },
  1166.     { /* 148:        11 1000 1101 */ 10,   909,  8,  9,  0,  0 },
  1167.     { /* 149:        11 1000 1110 */ 10,   910,  0, 16,  0,  0 },
  1168.     { /* 150:        11 1000 1111 */ 10,   911,  4, 13,  0,  0 },
  1169.     { /* 151:        11 1001 0000 */ 10,   912,  0,  7,  0,  0 },
  1170.     { /* 152:        11 1001 0001 */ 10,   913,  3, 13,  0,  0 },
  1171.     { /* 153:        11 1001 0010 */ 10,   914, 11,  6,  0,  0 },
  1172.     { /* 154:        11 1001 0011 */ 10,   915, 13,  1,  0,  0 },
  1173.     { /* 155:        11 1001 0100 */ 10,   916, 13,  4,  0,  0 },
  1174.     { /* 156:        11 1001 0101 */ 10,   917, 12,  3,  0,  0 },
  1175.     { /* 157:        11 1001 0110 */ 10,   918,  2, 13,  0,  0 },
  1176.     { /* 158:        11 1001 0111 */ 10,   919, 13,  5,  0,  0 },
  1177.     { /* 159:        11 1001 1000 */ 10,   920,  8, 10,  0,  0 },
  1178.     { /* 160:        11 1001 1001 */ 10,   921,  6, 11,  0,  0 },
  1179.     { /* 161:        11 1001 1010 */ 10,   922, 10,  8,  0,  0 },
  1180.     { /* 162:        11 1001 1011 */ 10,   923, 10,  7,  0,  0 },
  1181.     { /* 163:        11 1001 1100 */ 10,   924, 14,  2,  0,  0 },
  1182.     { /* 164:        11 1001 1101 */ 10,   925, 12,  4,  0,  0 },
  1183.     { /* 165:        11 1001 1110 */ 10,   926,  1, 11,  0,  0 },
  1184.     { /* 166:        11 1001 1111 */ 10,   927,  4, 12,  0,  0 },
  1185.     { /* 167:        11 1010 0000 */ 10,   928, 11,  1,  0,  0 },
  1186.     { /* 168:        11 1010 0001 */ 10,   929,  3, 12,  0,  0 },
  1187.     { /* 169:        11 1010 0010 */ 10,   930,  1, 13,  0,  0 },
  1188.     { /* 170:        11 1010 0011 */ 10,   931, 12,  2,  0,  0 },
  1189.     { /* 171:        11 1010 0100 */ 10,   932,  7, 11,  0,  0 },
  1190.     { /* 172:        11 1010 0101 */ 10,   933,  3, 14,  0,  0 },
  1191.     { /* 173:        11 1010 0110 */ 10,   934,  5, 12,  0,  0 },
  1192.     { /* 174:        11 1010 0111 */ 10,   935,  5, 13,  0,  0 },
  1193.     { /* 175:        11 1010 1000 */ 10,   936, 14,  4,  0,  0 },
  1194.     { /* 176:        11 1010 1001 */ 10,   937,  4, 14,  0,  0 },
  1195.     { /* 177:        11 1010 1010 */ 10,   938, 11,  7,  0,  0 },
  1196.     { /* 178:        11 1010 1011 */ 10,   939, 14,  3,  0,  0 },
  1197.     { /* 179:        11 1010 1100 */ 10,   940, 12,  5,  0,  0 },
  1198.     { /* 180:        11 1010 1101 */ 10,   941, 13,  6,  0,  0 },
  1199.     { /* 181:        11 1010 1110 */ 10,   942, 12,  6,  0,  0 },
  1200.     { /* 182:        11 1010 1111 */ 10,   943,  8,  0,  0,  0 },
  1201.     { /* 183:        11 1011 0000 */ 10,   944, 11,  8,  0,  0 },
  1202.     { /* 184:        11 1011 0001 */ 10,   945,  2, 12,  0,  0 },
  1203.     { /* 185:        11 1011 0010 */ 10,   946,  9,  9,  0,  0 },
  1204.     { /* 186:        11 1011 0011 */ 10,   947, 14,  5,  0,  0 },
  1205.     { /* 187:        11 1011 0100 */ 10,   948,  6, 13,  0,  0 },
  1206.     { /* 188:        11 1011 0101 */ 10,   949, 10, 10,  0,  0 },
  1207.     { /* 189:        11 1011 0110 */ 10,   950, 15,  2,  0,  0 },
  1208.     { /* 190:        11 1011 0111 */ 10,   951,  8, 11,  0,  0 },
  1209.     { /* 191:        11 1011 1000 */ 10,   952,  9, 10,  0,  0 },
  1210.     { /* 192:        11 1011 1001 */ 10,   953, 14,  6,  0,  0 },
  1211.     { /* 193:        11 1011 1010 */ 10,   954, 10,  9,  0,  0 },
  1212.     { /* 194:        11 1011 1011 */ 10,   955,  5, 14,  0,  0 },
  1213.     { /* 195:        11 1011 1100 */ 10,   956, 11,  9,  0,  0 },
  1214.     { /* 196:        11 1011 1101 */ 10,   957, 14,  1,  0,  0 },
  1215.     { /* 197:        11 1011 1110 */ 10,   958,  2, 14,  0,  0 },
  1216.     { /* 198:        11 1011 1111 */ 10,   959,  6, 12,  0,  0 },
  1217.     { /* 199:        11 1100 0000 */ 10,   960,  1, 12,  0,  0 },
  1218.     { /* 200:        11 1100 0001 */ 10,   961, 13,  8,  0,  0 },
  1219.     { /* 201:        11 1100 0010 */ 10,   962,  0,  8,  0,  0 },
  1220.     { /* 202:        11 1100 0011 */ 10,   963, 13,  7,  0,  0 },
  1221.     { /* 203:        11 1100 0100 */ 10,   964,  7, 12,  0,  0 },
  1222.     { /* 204:        11 1100 0101 */ 10,   965, 12,  7,  0,  0 },
  1223.     { /* 205:        11 1100 0110 */ 10,   966,  7, 13,  0,  0 },
  1224.     { /* 206:        11 1100 0111 */ 10,   967, 15,  3,  0,  0 },
  1225.     { /* 207:        11 1100 1000 */ 10,   968, 12,  1,  0,  0 },
  1226.     { /* 208:        11 1100 1001 */ 10,   969,  6, 14,  0,  0 },
  1227.     { /* 209:        11 1100 1010 */ 10,   970,  2, 15,  0,  0 },
  1228.     { /* 210:        11 1100 1011 */ 10,   971, 15,  5,  0,  0 },
  1229.     { /* 211:        11 1100 1100 */ 10,   972, 15,  4,  0,  0 },
  1230.     { /* 212:        11 1100 1101 */ 10,   973,  1, 14,  0,  0 },
  1231.     { /* 213:        11 1100 1110 */ 10,   974,  9, 11,  0,  0 },
  1232.     { /* 214:        11 1100 1111 */ 10,   975,  4, 15,  0,  0 },
  1233.     { /* 215:        11 1101 0000 */ 10,   976, 14,  7,  0,  0 },
  1234.     { /* 216:        11 1101 0001 */ 10,   977,  8, 13,  0,  0 },
  1235.     { /* 217:        11 1101 0010 */ 10,   978, 13,  9,  0,  0 },
  1236.     { /* 218:        11 1101 0011 */ 10,   979,  8, 12,  0,  0 },
  1237.     { /* 219:        11 1101 0100 */ 10,   980,  5, 15,  0,  0 },
  1238.     { /* 220:        11 1101 0101 */ 10,   981,  3, 15,  0,  0 },
  1239.     { /* 221:        11 1101 0110 */ 10,   982, 10, 11,  0,  0 },
  1240.     { /* 222:        11 1101 0111 */ 10,   983, 11, 10,  0,  0 },
  1241.     { /* 223:        11 1101 1000 */ 10,   984, 12,  8,  0,  0 },
  1242.     { /* 224:        11 1101 1001 */ 10,   985, 15,  6,  0,  0 },
  1243.     { /* 225:        11 1101 1010 */ 10,   986, 15,  7,  0,  0 },
  1244.     { /* 226:        11 1101 1011 */ 10,   987,  8, 14,  0,  0 },
  1245.     { /* 227:        11 1101 1100 */ 10,   988, 15,  1,  0,  0 },
  1246.     { /* 228:        11 1101 1101 */ 10,   989,  7, 14,  0,  0 },
  1247.     { /* 229:        11 1101 1110 */ 10,   990,  9,  0,  0,  0 },
  1248.     { /* 230:        11 1101 1111 */ 10,   991,  0,  9,  0,  0 },
  1249.     { /* 231:        11 1110 0000 */ 10,   992,  9, 13,  0,  0 },
  1250.     { /* 232:        11 1110 0001 */ 10,   993,  9, 12,  0,  0 },
  1251.     { /* 233:        11 1110 0010 */ 10,   994, 12,  9,  0,  0 },
  1252.     { /* 234:        11 1110 0011 */ 10,   995, 14,  8,  0,  0 },
  1253.     { /* 235:        11 1110 0100 */ 10,   996, 10, 13,  0,  0 },
  1254.     { /* 236:        11 1110 0101 */ 10,   997, 14,  9,  0,  0 },
  1255.     { /* 237:        11 1110 0110 */ 10,   998, 12, 10,  0,  0 },
  1256.     { /* 238:        11 1110 0111 */ 10,   999,  6, 15,  0,  0 },
  1257.     { /* 239:        11 1110 1000 */ 10,  1000,  7, 15,  0,  0 },
  1258.     { /* 240:       111 1101 0010 */ 11,  2002,  9, 14,  0,  0 },
  1259.     { /* 241:       111 1101 0011 */ 11,  2003, 15,  8,  0,  0 },
  1260.     { /* 242:       111 1101 0100 */ 11,  2004, 11, 11,  0,  0 },
  1261.     { /* 243:       111 1101 0101 */ 11,  2005, 11, 14,  0,  0 },
  1262.     { /* 244:       111 1101 0110 */ 11,  2006,  1, 15,  0,  0 },
  1263.     { /* 245:       111 1101 0111 */ 11,  2007, 10, 12,  0,  0 },
  1264.     { /* 246:       111 1101 1000 */ 11,  2008, 10, 14,  0,  0 },
  1265.     { /* 247:       111 1101 1001 */ 11,  2009, 13, 11,  0,  0 },
  1266.     { /* 248:       111 1101 1010 */ 11,  2010, 13, 10,  0,  0 },
  1267.     { /* 249:       111 1101 1011 */ 11,  2011, 11, 13,  0,  0 },
  1268.     { /* 250:       111 1101 1100 */ 11,  2012, 11, 12,  0,  0 },
  1269.     { /* 251:       111 1101 1101 */ 11,  2013,  8, 15,  0,  0 },
  1270.     { /* 252:       111 1101 1110 */ 11,  2014, 14, 11,  0,  0 },
  1271.     { /* 253:       111 1101 1111 */ 11,  2015, 13, 12,  0,  0 },
  1272.     { /* 254:       111 1110 0000 */ 11,  2016, 12, 13,  0,  0 },
  1273.     { /* 255:       111 1110 0001 */ 11,  2017, 15,  9,  0,  0 },
  1274.     { /* 256:       111 1110 0010 */ 11,  2018, 14, 10,  0,  0 },
  1275.     { /* 257:       111 1110 0011 */ 11,  2019, 10,  0,  0,  0 },
  1276.     { /* 258:       111 1110 0100 */ 11,  2020, 12, 11,  0,  0 },
  1277.     { /* 259:       111 1110 0101 */ 11,  2021,  9, 15,  0,  0 },
  1278.     { /* 260:       111 1110 0110 */ 11,  2022,  0, 10,  0,  0 },
  1279.     { /* 261:       111 1110 0111 */ 11,  2023, 12, 12,  0,  0 },
  1280.     { /* 262:       111 1110 1000 */ 11,  2024, 11,  0,  0,  0 },
  1281.     { /* 263:       111 1110 1001 */ 11,  2025, 12, 14,  0,  0 },
  1282.     { /* 264:       111 1110 1010 */ 11,  2026, 10, 15,  0,  0 },
  1283.     { /* 265:       111 1110 1011 */ 11,  2027, 13, 13,  0,  0 },
  1284.     { /* 266:       111 1110 1100 */ 11,  2028,  0, 13,  0,  0 },
  1285.     { /* 267:       111 1110 1101 */ 11,  2029, 14, 12,  0,  0 },
  1286.     { /* 268:       111 1110 1110 */ 11,  2030, 15, 10,  0,  0 },
  1287.     { /* 269:       111 1110 1111 */ 11,  2031, 15, 11,  0,  0 },
  1288.     { /* 270:       111 1111 0000 */ 11,  2032, 11, 15,  0,  0 },
  1289.     { /* 271:       111 1111 0001 */ 11,  2033, 14, 13,  0,  0 },
  1290.     { /* 272:       111 1111 0010 */ 11,  2034, 13,  0,  0,  0 },
  1291.     { /* 273:       111 1111 0011 */ 11,  2035,  0, 11,  0,  0 },
  1292.     { /* 274:       111 1111 0100 */ 11,  2036, 13, 14,  0,  0 },
  1293.     { /* 275:       111 1111 0101 */ 11,  2037, 15, 12,  0,  0 },
  1294.     { /* 276:       111 1111 0110 */ 11,  2038, 15, 13,  0,  0 },
  1295.     { /* 277:       111 1111 0111 */ 11,  2039, 12, 15,  0,  0 },
  1296.     { /* 278:       111 1111 1000 */ 11,  2040, 14,  0,  0,  0 },
  1297.     { /* 279:       111 1111 1001 */ 11,  2041, 14, 14,  0,  0 },
  1298.     { /* 280:       111 1111 1010 */ 11,  2042, 13, 15,  0,  0 },
  1299.     { /* 281:       111 1111 1011 */ 11,  2043, 12,  0,  0,  0 },
  1300.     { /* 282:       111 1111 1100 */ 11,  2044, 14, 15,  0,  0 },
  1301.     { /* 283:      1111 1111 1010 */ 12,  4090,  0, 14,  0,  0 },
  1302.     { /* 284:      1111 1111 1011 */ 12,  4091,  0, 12,  0,  0 },
  1303.     { /* 285:      1111 1111 1100 */ 12,  4092, 15, 14,  0,  0 },
  1304.     { /* 286:      1111 1111 1101 */ 12,  4093, 15,  0,  0,  0 },
  1305.     { /* 287:      1111 1111 1110 */ 12,  4094,  0, 15,  0,  0 },
  1306.     { /* 288:      1111 1111 1111 */ 12,  4095, 15, 15,  0,  0 }
  1307. };
  1309. Huffscl bookscl[] = {
  1310.       /* idx                 codeword   len   codew  idx */
  1311.     { /*   0:                       0 */  1,      0,  60 },
  1312.     { /*   1:                     100 */  3,      4,  59 },
  1313.     { /*   2:                    1010 */  4,     10,  61 },
  1314.     { /*   3:                    1011 */  4,     11,  58 },
  1315.     { /*   4:                    1100 */  4,     12,  62 },
  1316.     { /*   5:                  1 1010 */  5,     26,  57 },
  1317.     { /*   6:                  1 1011 */  5,     27,  63 },
  1318.     { /*   7:                 11 1000 */  6,     56,  56 },
  1319.     { /*   8:                 11 1001 */  6,     57,  64 },
  1320.     { /*   9:                 11 1010 */  6,     58,  55 },
  1321.     { /*  10:                 11 1011 */  6,     59,  65 },
  1322.     { /*  11:                111 1000 */  7,    120,  66 },
  1323.     { /*  12:                111 1001 */  7,    121,  54 },
  1324.     { /*  13:                111 1010 */  7,    122,  67 },
  1325.     { /*  14:               1111 0110 */  8,    246,  53 },
  1326.     { /*  15:               1111 0111 */  8,    247,  68 },
  1327.     { /*  16:               1111 1000 */  8,    248,  52 },
  1328.     { /*  17:               1111 1001 */  8,    249,  69 },
  1329.     { /*  18:               1111 1010 */  8,    250,  51 },
  1330.     { /*  19:             1 1111 0110 */  9,    502,  70 },
  1331.     { /*  20:             1 1111 0111 */  9,    503,  50 },
  1332.     { /*  21:             1 1111 1000 */  9,    504,  49 },
  1333.     { /*  22:             1 1111 1001 */  9,    505,  71 },
  1334.     { /*  23:            11 1111 0100 */ 10,   1012,  72 },
  1335.     { /*  24:            11 1111 0101 */ 10,   1013,  48 },
  1336.     { /*  25:            11 1111 0110 */ 10,   1014,  73 },
  1337.     { /*  26:            11 1111 0111 */ 10,   1015,  47 },
  1338.     { /*  27:            11 1111 1000 */ 10,   1016,  74 },
  1339.     { /*  28:            11 1111 1001 */ 10,   1017,  46 },
  1340.     { /*  29:           111 1111 0100 */ 11,   2036,  76 },
  1341.     { /*  30:           111 1111 0101 */ 11,   2037,  75 },
  1342.     { /*  31:           111 1111 0110 */ 11,   2038,  77 },
  1343.     { /*  32:           111 1111 0111 */ 11,   2039,  78 },
  1344.     { /*  33:           111 1111 1000 */ 11,   2040,  45 },
  1345.     { /*  34:           111 1111 1001 */ 11,   2041,  43 },
  1346.     { /*  35:          1111 1111 0100 */ 12,   4084,  44 },
  1347.     { /*  36:          1111 1111 0101 */ 12,   4085,  79 },
  1348.     { /*  37:          1111 1111 0110 */ 12,   4086,  42 },
  1349.     { /*  38:          1111 1111 0111 */ 12,   4087,  41 },
  1350.     { /*  39:          1111 1111 1000 */ 12,   4088,  80 },
  1351.     { /*  40:          1111 1111 1001 */ 12,   4089,  40 },
  1352.     { /*  41:        1 1111 1111 0100 */ 13,   8180,  81 },
  1353.     { /*  42:        1 1111 1111 0101 */ 13,   8181,  39 },
  1354.     { /*  43:        1 1111 1111 0110 */ 13,   8182,  82 },
  1355.     { /*  44:        1 1111 1111 0111 */ 13,   8183,  38 },
  1356.     { /*  45:        1 1111 1111 1000 */ 13,   8184,  83 },
  1357.     { /*  46:       11 1111 1111 0010 */ 14,  16370,  37 },
  1358.     { /*  47:       11 1111 1111 0011 */ 14,  16371,  35 },
  1359.     { /*  48:       11 1111 1111 0100 */ 14,  16372,  85 },
  1360.     { /*  49:       11 1111 1111 0101 */ 14,  16373,  33 },
  1361.     { /*  50:       11 1111 1111 0110 */ 14,  16374,  36 },
  1362.     { /*  51:       11 1111 1111 0111 */ 14,  16375,  34 },
  1363.     { /*  52:       11 1111 1111 1000 */ 14,  16376,  84 },
  1364.     { /*  53:       11 1111 1111 1001 */ 14,  16377,  32 },
  1365.     { /*  54:      111 1111 1111 0100 */ 15,  32756,  87 },
  1366.     { /*  55:      111 1111 1111 0101 */ 15,  32757,  89 },
  1367.     { /*  56:      111 1111 1111 0110 */ 15,  32758,  30 },
  1368.     { /*  57:      111 1111 1111 0111 */ 15,  32759,  31 },
  1369.     { /*  58:     1111 1111 1111 0000 */ 16,  65520,  86 },
  1370.     { /*  59:     1111 1111 1111 0001 */ 16,  65521,  29 },
  1371.     { /*  60:     1111 1111 1111 0010 */ 16,  65522,  26 },
  1372.     { /*  61:     1111 1111 1111 0011 */ 16,  65523,  27 },
  1373.     { /*  62:     1111 1111 1111 0100 */ 16,  65524,  28 },
  1374.     { /*  63:     1111 1111 1111 0101 */ 16,  65525,  24 },
  1375.     { /*  64:     1111 1111 1111 0110 */ 16,  65526,  88 },
  1376.     { /*  65:   1 1111 1111 1110 1110 */ 17, 131054,  25 },
  1377.     { /*  66:   1 1111 1111 1110 1111 */ 17, 131055,  22 },
  1378.     { /*  67:   1 1111 1111 1111 0000 */ 17, 131056,  23 },
  1379.     { /*  68:  11 1111 1111 1110 0010 */ 18, 262114,  90 },
  1380.     { /*  69:  11 1111 1111 1110 0011 */ 18, 262115,  21 },
  1381.     { /*  70:  11 1111 1111 1110 0100 */ 18, 262116,  19 },
  1382.     { /*  71:  11 1111 1111 1110 0101 */ 18, 262117,   3 },
  1383.     { /*  72:  11 1111 1111 1110 0110 */ 18, 262118,   1 },
  1384.     { /*  73:  11 1111 1111 1110 0111 */ 18, 262119,   2 },
  1385.     { /*  74:  11 1111 1111 1110 1000 */ 18, 262120,   0 },
  1386.     { /*  75: 111 1111 1111 1101 0010 */ 19, 524242,  98 },
  1387.     { /*  76: 111 1111 1111 1101 0011 */ 19, 524243,  99 },
  1388.     { /*  77: 111 1111 1111 1101 0100 */ 19, 524244, 100 },
  1389.     { /*  78: 111 1111 1111 1101 0101 */ 19, 524245, 101 },
  1390.     { /*  79: 111 1111 1111 1101 0110 */ 19, 524246, 102 },
  1391.     { /*  80: 111 1111 1111 1101 0111 */ 19, 524247, 117 },
  1392.     { /*  81: 111 1111 1111 1101 1000 */ 19, 524248,  97 },
  1393.     { /*  82: 111 1111 1111 1101 1001 */ 19, 524249,  91 },
  1394.     { /*  83: 111 1111 1111 1101 1010 */ 19, 524250,  92 },
  1395.     { /*  84: 111 1111 1111 1101 1011 */ 19, 524251,  93 },
  1396.     { /*  85: 111 1111 1111 1101 1100 */ 19, 524252,  94 },
  1397.     { /*  86: 111 1111 1111 1101 1101 */ 19, 524253,  95 },
  1398.     { /*  87: 111 1111 1111 1101 1110 */ 19, 524254,  96 },
  1399.     { /*  88: 111 1111 1111 1101 1111 */ 19, 524255, 104 },
  1400.     { /*  89: 111 1111 1111 1110 0000 */ 19, 524256, 111 },
  1401.     { /*  90: 111 1111 1111 1110 0001 */ 19, 524257, 112 },
  1402.     { /*  91: 111 1111 1111 1110 0010 */ 19, 524258, 113 },
  1403.     { /*  92: 111 1111 1111 1110 0011 */ 19, 524259, 114 },
  1404.     { /*  93: 111 1111 1111 1110 0100 */ 19, 524260, 115 },
  1405.     { /*  94: 111 1111 1111 1110 0101 */ 19, 524261, 116 },
  1406.     { /*  95: 111 1111 1111 1110 0110 */ 19, 524262, 110 },
  1407.     { /*  96: 111 1111 1111 1110 0111 */ 19, 524263, 105 },
  1408.     { /*  97: 111 1111 1111 1110 1000 */ 19, 524264, 106 },
  1409.     { /*  98: 111 1111 1111 1110 1001 */ 19, 524265, 107 },
  1410.     { /*  99: 111 1111 1111 1110 1010 */ 19, 524266, 108 },
  1411.     { /* 100: 111 1111 1111 1110 1011 */ 19, 524267, 109 },
  1412.     { /* 101: 111 1111 1111 1110 1100 */ 19, 524268, 118 },
  1413.     { /* 102: 111 1111 1111 1110 1101 */ 19, 524269,   6 },
  1414.     { /* 103: 111 1111 1111 1110 1110 */ 19, 524270,   8 },
  1415.     { /* 104: 111 1111 1111 1110 1111 */ 19, 524271,   9 },
  1416.     { /* 105: 111 1111 1111 1111 0000 */ 19, 524272,  10 },
  1417.     { /* 106: 111 1111 1111 1111 0001 */ 19, 524273,   5 },
  1418.     { /* 107: 111 1111 1111 1111 0010 */ 19, 524274, 103 },
  1419.     { /* 108: 111 1111 1111 1111 0011 */ 19, 524275, 120 },
  1420.     { /* 109: 111 1111 1111 1111 0100 */ 19, 524276, 119 },
  1421.     { /* 110: 111 1111 1111 1111 0101 */ 19, 524277,   4 },
  1422.     { /* 111: 111 1111 1111 1111 0110 */ 19, 524278,   7 },
  1423.     { /* 112: 111 1111 1111 1111 0111 */ 19, 524279,  15 },
  1424.     { /* 113: 111 1111 1111 1111 1000 */ 19, 524280,  16 },
  1425.     { /* 114: 111 1111 1111 1111 1001 */ 19, 524281,  18 },
  1426.     { /* 115: 111 1111 1111 1111 1010 */ 19, 524282,  20 },
  1427.     { /* 116: 111 1111 1111 1111 1011 */ 19, 524283,  17 },
  1428.     { /* 117: 111 1111 1111 1111 1100 */ 19, 524284,  11 },
  1429.     { /* 118: 111 1111 1111 1111 1101 */ 19, 524285,  12 },
  1430.     { /* 119: 111 1111 1111 1111 1110 */ 19, 524286,  14 },
  1431.     { /* 120: 111 1111 1111 1111 1111 */ 19, 524287,  13 }
  1432. };