github.com/andybalholm/brotli@v1.0.6/entropy_encode_static.go (about)

     1  package brotli
     2  
     3  var kCodeLengthDepth = [18]byte{4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 0, 4, 4}
     4  
     5  var kStaticCommandCodeDepth = [numCommandSymbols]byte{
     6  	9,
     7  	9,
     8  	9,
     9  	9,
    10  	9,
    11  	9,
    12  	9,
    13  	9,
    14  	9,
    15  	9,
    16  	9,
    17  	9,
    18  	9,
    19  	9,
    20  	9,
    21  	9,
    22  	9,
    23  	9,
    24  	9,
    25  	9,
    26  	9,
    27  	9,
    28  	9,
    29  	9,
    30  	9,
    31  	9,
    32  	9,
    33  	9,
    34  	9,
    35  	9,
    36  	9,
    37  	9,
    38  	9,
    39  	9,
    40  	9,
    41  	9,
    42  	9,
    43  	9,
    44  	9,
    45  	9,
    46  	9,
    47  	9,
    48  	9,
    49  	9,
    50  	9,
    51  	9,
    52  	9,
    53  	9,
    54  	9,
    55  	9,
    56  	9,
    57  	9,
    58  	9,
    59  	9,
    60  	9,
    61  	9,
    62  	9,
    63  	9,
    64  	9,
    65  	9,
    66  	9,
    67  	9,
    68  	9,
    69  	9,
    70  	9,
    71  	9,
    72  	9,
    73  	9,
    74  	9,
    75  	9,
    76  	9,
    77  	9,
    78  	9,
    79  	9,
    80  	9,
    81  	9,
    82  	9,
    83  	9,
    84  	9,
    85  	9,
    86  	9,
    87  	9,
    88  	9,
    89  	9,
    90  	9,
    91  	9,
    92  	9,
    93  	9,
    94  	9,
    95  	9,
    96  	9,
    97  	9,
    98  	9,
    99  	9,
   100  	9,
   101  	9,
   102  	9,
   103  	9,
   104  	9,
   105  	9,
   106  	9,
   107  	9,
   108  	9,
   109  	9,
   110  	9,
   111  	9,
   112  	9,
   113  	9,
   114  	9,
   115  	9,
   116  	9,
   117  	9,
   118  	9,
   119  	9,
   120  	9,
   121  	9,
   122  	9,
   123  	9,
   124  	9,
   125  	9,
   126  	9,
   127  	9,
   128  	9,
   129  	9,
   130  	9,
   131  	9,
   132  	9,
   133  	9,
   134  	9,
   135  	9,
   136  	9,
   137  	9,
   138  	9,
   139  	9,
   140  	9,
   141  	9,
   142  	9,
   143  	9,
   144  	9,
   145  	9,
   146  	9,
   147  	9,
   148  	9,
   149  	9,
   150  	9,
   151  	9,
   152  	9,
   153  	9,
   154  	9,
   155  	9,
   156  	9,
   157  	9,
   158  	9,
   159  	9,
   160  	9,
   161  	9,
   162  	9,
   163  	9,
   164  	9,
   165  	9,
   166  	9,
   167  	9,
   168  	9,
   169  	9,
   170  	9,
   171  	9,
   172  	9,
   173  	9,
   174  	9,
   175  	9,
   176  	9,
   177  	9,
   178  	9,
   179  	9,
   180  	9,
   181  	9,
   182  	9,
   183  	9,
   184  	9,
   185  	9,
   186  	9,
   187  	9,
   188  	9,
   189  	9,
   190  	9,
   191  	9,
   192  	9,
   193  	9,
   194  	9,
   195  	9,
   196  	9,
   197  	9,
   198  	9,
   199  	9,
   200  	9,
   201  	9,
   202  	9,
   203  	9,
   204  	9,
   205  	9,
   206  	9,
   207  	9,
   208  	9,
   209  	9,
   210  	9,
   211  	9,
   212  	9,
   213  	9,
   214  	9,
   215  	9,
   216  	9,
   217  	9,
   218  	9,
   219  	9,
   220  	9,
   221  	9,
   222  	9,
   223  	9,
   224  	9,
   225  	9,
   226  	9,
   227  	9,
   228  	9,
   229  	9,
   230  	9,
   231  	9,
   232  	9,
   233  	9,
   234  	9,
   235  	9,
   236  	9,
   237  	9,
   238  	9,
   239  	9,
   240  	9,
   241  	9,
   242  	9,
   243  	9,
   244  	9,
   245  	9,
   246  	9,
   247  	9,
   248  	9,
   249  	9,
   250  	9,
   251  	9,
   252  	9,
   253  	9,
   254  	9,
   255  	9,
   256  	9,
   257  	9,
   258  	9,
   259  	9,
   260  	9,
   261  	9,
   262  	9,
   263  	9,
   264  	9,
   265  	9,
   266  	9,
   267  	9,
   268  	9,
   269  	9,
   270  	9,
   271  	9,
   272  	9,
   273  	9,
   274  	9,
   275  	9,
   276  	9,
   277  	9,
   278  	9,
   279  	9,
   280  	9,
   281  	9,
   282  	9,
   283  	9,
   284  	9,
   285  	9,
   286  	9,
   287  	9,
   288  	9,
   289  	9,
   290  	9,
   291  	9,
   292  	9,
   293  	9,
   294  	9,
   295  	9,
   296  	9,
   297  	9,
   298  	9,
   299  	9,
   300  	9,
   301  	9,
   302  	9,
   303  	9,
   304  	9,
   305  	9,
   306  	9,
   307  	9,
   308  	9,
   309  	9,
   310  	9,
   311  	9,
   312  	9,
   313  	9,
   314  	9,
   315  	9,
   316  	9,
   317  	9,
   318  	9,
   319  	9,
   320  	9,
   321  	9,
   322  	9,
   323  	9,
   324  	9,
   325  	9,
   326  	9,
   327  	9,
   328  	9,
   329  	9,
   330  	9,
   331  	9,
   332  	9,
   333  	9,
   334  	9,
   335  	9,
   336  	9,
   337  	9,
   338  	9,
   339  	9,
   340  	9,
   341  	9,
   342  	9,
   343  	9,
   344  	9,
   345  	9,
   346  	9,
   347  	9,
   348  	9,
   349  	9,
   350  	9,
   351  	9,
   352  	9,
   353  	9,
   354  	9,
   355  	9,
   356  	9,
   357  	9,
   358  	9,
   359  	9,
   360  	9,
   361  	9,
   362  	9,
   363  	9,
   364  	9,
   365  	9,
   366  	9,
   367  	9,
   368  	9,
   369  	9,
   370  	9,
   371  	9,
   372  	9,
   373  	9,
   374  	9,
   375  	9,
   376  	9,
   377  	9,
   378  	9,
   379  	9,
   380  	9,
   381  	9,
   382  	9,
   383  	9,
   384  	9,
   385  	9,
   386  	9,
   387  	9,
   388  	9,
   389  	9,
   390  	9,
   391  	9,
   392  	9,
   393  	9,
   394  	9,
   395  	9,
   396  	9,
   397  	9,
   398  	9,
   399  	9,
   400  	9,
   401  	9,
   402  	9,
   403  	9,
   404  	9,
   405  	9,
   406  	9,
   407  	9,
   408  	9,
   409  	9,
   410  	9,
   411  	9,
   412  	9,
   413  	9,
   414  	9,
   415  	9,
   416  	9,
   417  	9,
   418  	9,
   419  	9,
   420  	9,
   421  	9,
   422  	9,
   423  	9,
   424  	9,
   425  	9,
   426  	9,
   427  	9,
   428  	9,
   429  	9,
   430  	9,
   431  	9,
   432  	9,
   433  	9,
   434  	9,
   435  	9,
   436  	9,
   437  	9,
   438  	9,
   439  	9,
   440  	9,
   441  	9,
   442  	9,
   443  	9,
   444  	9,
   445  	9,
   446  	9,
   447  	9,
   448  	9,
   449  	9,
   450  	9,
   451  	9,
   452  	9,
   453  	9,
   454  	11,
   455  	11,
   456  	11,
   457  	11,
   458  	11,
   459  	11,
   460  	11,
   461  	11,
   462  	11,
   463  	11,
   464  	11,
   465  	11,
   466  	11,
   467  	11,
   468  	11,
   469  	11,
   470  	11,
   471  	11,
   472  	11,
   473  	11,
   474  	11,
   475  	11,
   476  	11,
   477  	11,
   478  	11,
   479  	11,
   480  	11,
   481  	11,
   482  	11,
   483  	11,
   484  	11,
   485  	11,
   486  	11,
   487  	11,
   488  	11,
   489  	11,
   490  	11,
   491  	11,
   492  	11,
   493  	11,
   494  	11,
   495  	11,
   496  	11,
   497  	11,
   498  	11,
   499  	11,
   500  	11,
   501  	11,
   502  	11,
   503  	11,
   504  	11,
   505  	11,
   506  	11,
   507  	11,
   508  	11,
   509  	11,
   510  	11,
   511  	11,
   512  	11,
   513  	11,
   514  	11,
   515  	11,
   516  	11,
   517  	11,
   518  	11,
   519  	11,
   520  	11,
   521  	11,
   522  	11,
   523  	11,
   524  	11,
   525  	11,
   526  	11,
   527  	11,
   528  	11,
   529  	11,
   530  	11,
   531  	11,
   532  	11,
   533  	11,
   534  	11,
   535  	11,
   536  	11,
   537  	11,
   538  	11,
   539  	11,
   540  	11,
   541  	11,
   542  	11,
   543  	11,
   544  	11,
   545  	11,
   546  	11,
   547  	11,
   548  	11,
   549  	11,
   550  	11,
   551  	11,
   552  	11,
   553  	11,
   554  	11,
   555  	11,
   556  	11,
   557  	11,
   558  	11,
   559  	11,
   560  	11,
   561  	11,
   562  	11,
   563  	11,
   564  	11,
   565  	11,
   566  	11,
   567  	11,
   568  	11,
   569  	11,
   570  	11,
   571  	11,
   572  	11,
   573  	11,
   574  	11,
   575  	11,
   576  	11,
   577  	11,
   578  	11,
   579  	11,
   580  	11,
   581  	11,
   582  	11,
   583  	11,
   584  	11,
   585  	11,
   586  	11,
   587  	11,
   588  	11,
   589  	11,
   590  	11,
   591  	11,
   592  	11,
   593  	11,
   594  	11,
   595  	11,
   596  	11,
   597  	11,
   598  	11,
   599  	11,
   600  	11,
   601  	11,
   602  	11,
   603  	11,
   604  	11,
   605  	11,
   606  	11,
   607  	11,
   608  	11,
   609  	11,
   610  	11,
   611  	11,
   612  	11,
   613  	11,
   614  	11,
   615  	11,
   616  	11,
   617  	11,
   618  	11,
   619  	11,
   620  	11,
   621  	11,
   622  	11,
   623  	11,
   624  	11,
   625  	11,
   626  	11,
   627  	11,
   628  	11,
   629  	11,
   630  	11,
   631  	11,
   632  	11,
   633  	11,
   634  	11,
   635  	11,
   636  	11,
   637  	11,
   638  	11,
   639  	11,
   640  	11,
   641  	11,
   642  	11,
   643  	11,
   644  	11,
   645  	11,
   646  	11,
   647  	11,
   648  	11,
   649  	11,
   650  	11,
   651  	11,
   652  	11,
   653  	11,
   654  	11,
   655  	11,
   656  	11,
   657  	11,
   658  	11,
   659  	11,
   660  	11,
   661  	11,
   662  	11,
   663  	11,
   664  	11,
   665  	11,
   666  	11,
   667  	11,
   668  	11,
   669  	11,
   670  	11,
   671  	11,
   672  	11,
   673  	11,
   674  	11,
   675  	11,
   676  	11,
   677  	11,
   678  	11,
   679  	11,
   680  	11,
   681  	11,
   682  	11,
   683  	11,
   684  	11,
   685  	11,
   686  	11,
   687  	11,
   688  	11,
   689  	11,
   690  	11,
   691  	11,
   692  	11,
   693  	11,
   694  	11,
   695  	11,
   696  	11,
   697  	11,
   698  	11,
   699  	11,
   700  	11,
   701  	11,
   702  	11,
   703  	11,
   704  	11,
   705  	11,
   706  	11,
   707  	11,
   708  	11,
   709  	11,
   710  }
   711  
   712  var kStaticDistanceCodeDepth = [64]byte{
   713  	6,
   714  	6,
   715  	6,
   716  	6,
   717  	6,
   718  	6,
   719  	6,
   720  	6,
   721  	6,
   722  	6,
   723  	6,
   724  	6,
   725  	6,
   726  	6,
   727  	6,
   728  	6,
   729  	6,
   730  	6,
   731  	6,
   732  	6,
   733  	6,
   734  	6,
   735  	6,
   736  	6,
   737  	6,
   738  	6,
   739  	6,
   740  	6,
   741  	6,
   742  	6,
   743  	6,
   744  	6,
   745  	6,
   746  	6,
   747  	6,
   748  	6,
   749  	6,
   750  	6,
   751  	6,
   752  	6,
   753  	6,
   754  	6,
   755  	6,
   756  	6,
   757  	6,
   758  	6,
   759  	6,
   760  	6,
   761  	6,
   762  	6,
   763  	6,
   764  	6,
   765  	6,
   766  	6,
   767  	6,
   768  	6,
   769  	6,
   770  	6,
   771  	6,
   772  	6,
   773  	6,
   774  	6,
   775  	6,
   776  	6,
   777  }
   778  
   779  var kCodeLengthBits = [18]uint32{0, 8, 4, 12, 2, 10, 6, 14, 1, 9, 5, 13, 3, 15, 31, 0, 11, 7}
   780  
   781  func storeStaticCodeLengthCode(storage_ix *uint, storage []byte) {
   782  	writeBits(40, 0x0000FF55555554, storage_ix, storage)
   783  }
   784  
   785  var kZeroRepsBits = [numCommandSymbols]uint64{
   786  	0x00000000,
   787  	0x00000000,
   788  	0x00000000,
   789  	0x00000007,
   790  	0x00000017,
   791  	0x00000027,
   792  	0x00000037,
   793  	0x00000047,
   794  	0x00000057,
   795  	0x00000067,
   796  	0x00000077,
   797  	0x00000770,
   798  	0x00000b87,
   799  	0x00001387,
   800  	0x00001b87,
   801  	0x00002387,
   802  	0x00002b87,
   803  	0x00003387,
   804  	0x00003b87,
   805  	0x00000397,
   806  	0x00000b97,
   807  	0x00001397,
   808  	0x00001b97,
   809  	0x00002397,
   810  	0x00002b97,
   811  	0x00003397,
   812  	0x00003b97,
   813  	0x000003a7,
   814  	0x00000ba7,
   815  	0x000013a7,
   816  	0x00001ba7,
   817  	0x000023a7,
   818  	0x00002ba7,
   819  	0x000033a7,
   820  	0x00003ba7,
   821  	0x000003b7,
   822  	0x00000bb7,
   823  	0x000013b7,
   824  	0x00001bb7,
   825  	0x000023b7,
   826  	0x00002bb7,
   827  	0x000033b7,
   828  	0x00003bb7,
   829  	0x000003c7,
   830  	0x00000bc7,
   831  	0x000013c7,
   832  	0x00001bc7,
   833  	0x000023c7,
   834  	0x00002bc7,
   835  	0x000033c7,
   836  	0x00003bc7,
   837  	0x000003d7,
   838  	0x00000bd7,
   839  	0x000013d7,
   840  	0x00001bd7,
   841  	0x000023d7,
   842  	0x00002bd7,
   843  	0x000033d7,
   844  	0x00003bd7,
   845  	0x000003e7,
   846  	0x00000be7,
   847  	0x000013e7,
   848  	0x00001be7,
   849  	0x000023e7,
   850  	0x00002be7,
   851  	0x000033e7,
   852  	0x00003be7,
   853  	0x000003f7,
   854  	0x00000bf7,
   855  	0x000013f7,
   856  	0x00001bf7,
   857  	0x000023f7,
   858  	0x00002bf7,
   859  	0x000033f7,
   860  	0x00003bf7,
   861  	0x0001c387,
   862  	0x0005c387,
   863  	0x0009c387,
   864  	0x000dc387,
   865  	0x0011c387,
   866  	0x0015c387,
   867  	0x0019c387,
   868  	0x001dc387,
   869  	0x0001cb87,
   870  	0x0005cb87,
   871  	0x0009cb87,
   872  	0x000dcb87,
   873  	0x0011cb87,
   874  	0x0015cb87,
   875  	0x0019cb87,
   876  	0x001dcb87,
   877  	0x0001d387,
   878  	0x0005d387,
   879  	0x0009d387,
   880  	0x000dd387,
   881  	0x0011d387,
   882  	0x0015d387,
   883  	0x0019d387,
   884  	0x001dd387,
   885  	0x0001db87,
   886  	0x0005db87,
   887  	0x0009db87,
   888  	0x000ddb87,
   889  	0x0011db87,
   890  	0x0015db87,
   891  	0x0019db87,
   892  	0x001ddb87,
   893  	0x0001e387,
   894  	0x0005e387,
   895  	0x0009e387,
   896  	0x000de387,
   897  	0x0011e387,
   898  	0x0015e387,
   899  	0x0019e387,
   900  	0x001de387,
   901  	0x0001eb87,
   902  	0x0005eb87,
   903  	0x0009eb87,
   904  	0x000deb87,
   905  	0x0011eb87,
   906  	0x0015eb87,
   907  	0x0019eb87,
   908  	0x001deb87,
   909  	0x0001f387,
   910  	0x0005f387,
   911  	0x0009f387,
   912  	0x000df387,
   913  	0x0011f387,
   914  	0x0015f387,
   915  	0x0019f387,
   916  	0x001df387,
   917  	0x0001fb87,
   918  	0x0005fb87,
   919  	0x0009fb87,
   920  	0x000dfb87,
   921  	0x0011fb87,
   922  	0x0015fb87,
   923  	0x0019fb87,
   924  	0x001dfb87,
   925  	0x0001c397,
   926  	0x0005c397,
   927  	0x0009c397,
   928  	0x000dc397,
   929  	0x0011c397,
   930  	0x0015c397,
   931  	0x0019c397,
   932  	0x001dc397,
   933  	0x0001cb97,
   934  	0x0005cb97,
   935  	0x0009cb97,
   936  	0x000dcb97,
   937  	0x0011cb97,
   938  	0x0015cb97,
   939  	0x0019cb97,
   940  	0x001dcb97,
   941  	0x0001d397,
   942  	0x0005d397,
   943  	0x0009d397,
   944  	0x000dd397,
   945  	0x0011d397,
   946  	0x0015d397,
   947  	0x0019d397,
   948  	0x001dd397,
   949  	0x0001db97,
   950  	0x0005db97,
   951  	0x0009db97,
   952  	0x000ddb97,
   953  	0x0011db97,
   954  	0x0015db97,
   955  	0x0019db97,
   956  	0x001ddb97,
   957  	0x0001e397,
   958  	0x0005e397,
   959  	0x0009e397,
   960  	0x000de397,
   961  	0x0011e397,
   962  	0x0015e397,
   963  	0x0019e397,
   964  	0x001de397,
   965  	0x0001eb97,
   966  	0x0005eb97,
   967  	0x0009eb97,
   968  	0x000deb97,
   969  	0x0011eb97,
   970  	0x0015eb97,
   971  	0x0019eb97,
   972  	0x001deb97,
   973  	0x0001f397,
   974  	0x0005f397,
   975  	0x0009f397,
   976  	0x000df397,
   977  	0x0011f397,
   978  	0x0015f397,
   979  	0x0019f397,
   980  	0x001df397,
   981  	0x0001fb97,
   982  	0x0005fb97,
   983  	0x0009fb97,
   984  	0x000dfb97,
   985  	0x0011fb97,
   986  	0x0015fb97,
   987  	0x0019fb97,
   988  	0x001dfb97,
   989  	0x0001c3a7,
   990  	0x0005c3a7,
   991  	0x0009c3a7,
   992  	0x000dc3a7,
   993  	0x0011c3a7,
   994  	0x0015c3a7,
   995  	0x0019c3a7,
   996  	0x001dc3a7,
   997  	0x0001cba7,
   998  	0x0005cba7,
   999  	0x0009cba7,
  1000  	0x000dcba7,
  1001  	0x0011cba7,
  1002  	0x0015cba7,
  1003  	0x0019cba7,
  1004  	0x001dcba7,
  1005  	0x0001d3a7,
  1006  	0x0005d3a7,
  1007  	0x0009d3a7,
  1008  	0x000dd3a7,
  1009  	0x0011d3a7,
  1010  	0x0015d3a7,
  1011  	0x0019d3a7,
  1012  	0x001dd3a7,
  1013  	0x0001dba7,
  1014  	0x0005dba7,
  1015  	0x0009dba7,
  1016  	0x000ddba7,
  1017  	0x0011dba7,
  1018  	0x0015dba7,
  1019  	0x0019dba7,
  1020  	0x001ddba7,
  1021  	0x0001e3a7,
  1022  	0x0005e3a7,
  1023  	0x0009e3a7,
  1024  	0x000de3a7,
  1025  	0x0011e3a7,
  1026  	0x0015e3a7,
  1027  	0x0019e3a7,
  1028  	0x001de3a7,
  1029  	0x0001eba7,
  1030  	0x0005eba7,
  1031  	0x0009eba7,
  1032  	0x000deba7,
  1033  	0x0011eba7,
  1034  	0x0015eba7,
  1035  	0x0019eba7,
  1036  	0x001deba7,
  1037  	0x0001f3a7,
  1038  	0x0005f3a7,
  1039  	0x0009f3a7,
  1040  	0x000df3a7,
  1041  	0x0011f3a7,
  1042  	0x0015f3a7,
  1043  	0x0019f3a7,
  1044  	0x001df3a7,
  1045  	0x0001fba7,
  1046  	0x0005fba7,
  1047  	0x0009fba7,
  1048  	0x000dfba7,
  1049  	0x0011fba7,
  1050  	0x0015fba7,
  1051  	0x0019fba7,
  1052  	0x001dfba7,
  1053  	0x0001c3b7,
  1054  	0x0005c3b7,
  1055  	0x0009c3b7,
  1056  	0x000dc3b7,
  1057  	0x0011c3b7,
  1058  	0x0015c3b7,
  1059  	0x0019c3b7,
  1060  	0x001dc3b7,
  1061  	0x0001cbb7,
  1062  	0x0005cbb7,
  1063  	0x0009cbb7,
  1064  	0x000dcbb7,
  1065  	0x0011cbb7,
  1066  	0x0015cbb7,
  1067  	0x0019cbb7,
  1068  	0x001dcbb7,
  1069  	0x0001d3b7,
  1070  	0x0005d3b7,
  1071  	0x0009d3b7,
  1072  	0x000dd3b7,
  1073  	0x0011d3b7,
  1074  	0x0015d3b7,
  1075  	0x0019d3b7,
  1076  	0x001dd3b7,
  1077  	0x0001dbb7,
  1078  	0x0005dbb7,
  1079  	0x0009dbb7,
  1080  	0x000ddbb7,
  1081  	0x0011dbb7,
  1082  	0x0015dbb7,
  1083  	0x0019dbb7,
  1084  	0x001ddbb7,
  1085  	0x0001e3b7,
  1086  	0x0005e3b7,
  1087  	0x0009e3b7,
  1088  	0x000de3b7,
  1089  	0x0011e3b7,
  1090  	0x0015e3b7,
  1091  	0x0019e3b7,
  1092  	0x001de3b7,
  1093  	0x0001ebb7,
  1094  	0x0005ebb7,
  1095  	0x0009ebb7,
  1096  	0x000debb7,
  1097  	0x0011ebb7,
  1098  	0x0015ebb7,
  1099  	0x0019ebb7,
  1100  	0x001debb7,
  1101  	0x0001f3b7,
  1102  	0x0005f3b7,
  1103  	0x0009f3b7,
  1104  	0x000df3b7,
  1105  	0x0011f3b7,
  1106  	0x0015f3b7,
  1107  	0x0019f3b7,
  1108  	0x001df3b7,
  1109  	0x0001fbb7,
  1110  	0x0005fbb7,
  1111  	0x0009fbb7,
  1112  	0x000dfbb7,
  1113  	0x0011fbb7,
  1114  	0x0015fbb7,
  1115  	0x0019fbb7,
  1116  	0x001dfbb7,
  1117  	0x0001c3c7,
  1118  	0x0005c3c7,
  1119  	0x0009c3c7,
  1120  	0x000dc3c7,
  1121  	0x0011c3c7,
  1122  	0x0015c3c7,
  1123  	0x0019c3c7,
  1124  	0x001dc3c7,
  1125  	0x0001cbc7,
  1126  	0x0005cbc7,
  1127  	0x0009cbc7,
  1128  	0x000dcbc7,
  1129  	0x0011cbc7,
  1130  	0x0015cbc7,
  1131  	0x0019cbc7,
  1132  	0x001dcbc7,
  1133  	0x0001d3c7,
  1134  	0x0005d3c7,
  1135  	0x0009d3c7,
  1136  	0x000dd3c7,
  1137  	0x0011d3c7,
  1138  	0x0015d3c7,
  1139  	0x0019d3c7,
  1140  	0x001dd3c7,
  1141  	0x0001dbc7,
  1142  	0x0005dbc7,
  1143  	0x0009dbc7,
  1144  	0x000ddbc7,
  1145  	0x0011dbc7,
  1146  	0x0015dbc7,
  1147  	0x0019dbc7,
  1148  	0x001ddbc7,
  1149  	0x0001e3c7,
  1150  	0x0005e3c7,
  1151  	0x0009e3c7,
  1152  	0x000de3c7,
  1153  	0x0011e3c7,
  1154  	0x0015e3c7,
  1155  	0x0019e3c7,
  1156  	0x001de3c7,
  1157  	0x0001ebc7,
  1158  	0x0005ebc7,
  1159  	0x0009ebc7,
  1160  	0x000debc7,
  1161  	0x0011ebc7,
  1162  	0x0015ebc7,
  1163  	0x0019ebc7,
  1164  	0x001debc7,
  1165  	0x0001f3c7,
  1166  	0x0005f3c7,
  1167  	0x0009f3c7,
  1168  	0x000df3c7,
  1169  	0x0011f3c7,
  1170  	0x0015f3c7,
  1171  	0x0019f3c7,
  1172  	0x001df3c7,
  1173  	0x0001fbc7,
  1174  	0x0005fbc7,
  1175  	0x0009fbc7,
  1176  	0x000dfbc7,
  1177  	0x0011fbc7,
  1178  	0x0015fbc7,
  1179  	0x0019fbc7,
  1180  	0x001dfbc7,
  1181  	0x0001c3d7,
  1182  	0x0005c3d7,
  1183  	0x0009c3d7,
  1184  	0x000dc3d7,
  1185  	0x0011c3d7,
  1186  	0x0015c3d7,
  1187  	0x0019c3d7,
  1188  	0x001dc3d7,
  1189  	0x0001cbd7,
  1190  	0x0005cbd7,
  1191  	0x0009cbd7,
  1192  	0x000dcbd7,
  1193  	0x0011cbd7,
  1194  	0x0015cbd7,
  1195  	0x0019cbd7,
  1196  	0x001dcbd7,
  1197  	0x0001d3d7,
  1198  	0x0005d3d7,
  1199  	0x0009d3d7,
  1200  	0x000dd3d7,
  1201  	0x0011d3d7,
  1202  	0x0015d3d7,
  1203  	0x0019d3d7,
  1204  	0x001dd3d7,
  1205  	0x0001dbd7,
  1206  	0x0005dbd7,
  1207  	0x0009dbd7,
  1208  	0x000ddbd7,
  1209  	0x0011dbd7,
  1210  	0x0015dbd7,
  1211  	0x0019dbd7,
  1212  	0x001ddbd7,
  1213  	0x0001e3d7,
  1214  	0x0005e3d7,
  1215  	0x0009e3d7,
  1216  	0x000de3d7,
  1217  	0x0011e3d7,
  1218  	0x0015e3d7,
  1219  	0x0019e3d7,
  1220  	0x001de3d7,
  1221  	0x0001ebd7,
  1222  	0x0005ebd7,
  1223  	0x0009ebd7,
  1224  	0x000debd7,
  1225  	0x0011ebd7,
  1226  	0x0015ebd7,
  1227  	0x0019ebd7,
  1228  	0x001debd7,
  1229  	0x0001f3d7,
  1230  	0x0005f3d7,
  1231  	0x0009f3d7,
  1232  	0x000df3d7,
  1233  	0x0011f3d7,
  1234  	0x0015f3d7,
  1235  	0x0019f3d7,
  1236  	0x001df3d7,
  1237  	0x0001fbd7,
  1238  	0x0005fbd7,
  1239  	0x0009fbd7,
  1240  	0x000dfbd7,
  1241  	0x0011fbd7,
  1242  	0x0015fbd7,
  1243  	0x0019fbd7,
  1244  	0x001dfbd7,
  1245  	0x0001c3e7,
  1246  	0x0005c3e7,
  1247  	0x0009c3e7,
  1248  	0x000dc3e7,
  1249  	0x0011c3e7,
  1250  	0x0015c3e7,
  1251  	0x0019c3e7,
  1252  	0x001dc3e7,
  1253  	0x0001cbe7,
  1254  	0x0005cbe7,
  1255  	0x0009cbe7,
  1256  	0x000dcbe7,
  1257  	0x0011cbe7,
  1258  	0x0015cbe7,
  1259  	0x0019cbe7,
  1260  	0x001dcbe7,
  1261  	0x0001d3e7,
  1262  	0x0005d3e7,
  1263  	0x0009d3e7,
  1264  	0x000dd3e7,
  1265  	0x0011d3e7,
  1266  	0x0015d3e7,
  1267  	0x0019d3e7,
  1268  	0x001dd3e7,
  1269  	0x0001dbe7,
  1270  	0x0005dbe7,
  1271  	0x0009dbe7,
  1272  	0x000ddbe7,
  1273  	0x0011dbe7,
  1274  	0x0015dbe7,
  1275  	0x0019dbe7,
  1276  	0x001ddbe7,
  1277  	0x0001e3e7,
  1278  	0x0005e3e7,
  1279  	0x0009e3e7,
  1280  	0x000de3e7,
  1281  	0x0011e3e7,
  1282  	0x0015e3e7,
  1283  	0x0019e3e7,
  1284  	0x001de3e7,
  1285  	0x0001ebe7,
  1286  	0x0005ebe7,
  1287  	0x0009ebe7,
  1288  	0x000debe7,
  1289  	0x0011ebe7,
  1290  	0x0015ebe7,
  1291  	0x0019ebe7,
  1292  	0x001debe7,
  1293  	0x0001f3e7,
  1294  	0x0005f3e7,
  1295  	0x0009f3e7,
  1296  	0x000df3e7,
  1297  	0x0011f3e7,
  1298  	0x0015f3e7,
  1299  	0x0019f3e7,
  1300  	0x001df3e7,
  1301  	0x0001fbe7,
  1302  	0x0005fbe7,
  1303  	0x0009fbe7,
  1304  	0x000dfbe7,
  1305  	0x0011fbe7,
  1306  	0x0015fbe7,
  1307  	0x0019fbe7,
  1308  	0x001dfbe7,
  1309  	0x0001c3f7,
  1310  	0x0005c3f7,
  1311  	0x0009c3f7,
  1312  	0x000dc3f7,
  1313  	0x0011c3f7,
  1314  	0x0015c3f7,
  1315  	0x0019c3f7,
  1316  	0x001dc3f7,
  1317  	0x0001cbf7,
  1318  	0x0005cbf7,
  1319  	0x0009cbf7,
  1320  	0x000dcbf7,
  1321  	0x0011cbf7,
  1322  	0x0015cbf7,
  1323  	0x0019cbf7,
  1324  	0x001dcbf7,
  1325  	0x0001d3f7,
  1326  	0x0005d3f7,
  1327  	0x0009d3f7,
  1328  	0x000dd3f7,
  1329  	0x0011d3f7,
  1330  	0x0015d3f7,
  1331  	0x0019d3f7,
  1332  	0x001dd3f7,
  1333  	0x0001dbf7,
  1334  	0x0005dbf7,
  1335  	0x0009dbf7,
  1336  	0x000ddbf7,
  1337  	0x0011dbf7,
  1338  	0x0015dbf7,
  1339  	0x0019dbf7,
  1340  	0x001ddbf7,
  1341  	0x0001e3f7,
  1342  	0x0005e3f7,
  1343  	0x0009e3f7,
  1344  	0x000de3f7,
  1345  	0x0011e3f7,
  1346  	0x0015e3f7,
  1347  	0x0019e3f7,
  1348  	0x001de3f7,
  1349  	0x0001ebf7,
  1350  	0x0005ebf7,
  1351  	0x0009ebf7,
  1352  	0x000debf7,
  1353  	0x0011ebf7,
  1354  	0x0015ebf7,
  1355  	0x0019ebf7,
  1356  	0x001debf7,
  1357  	0x0001f3f7,
  1358  	0x0005f3f7,
  1359  	0x0009f3f7,
  1360  	0x000df3f7,
  1361  	0x0011f3f7,
  1362  	0x0015f3f7,
  1363  	0x0019f3f7,
  1364  	0x001df3f7,
  1365  	0x0001fbf7,
  1366  	0x0005fbf7,
  1367  	0x0009fbf7,
  1368  	0x000dfbf7,
  1369  	0x0011fbf7,
  1370  	0x0015fbf7,
  1371  	0x0019fbf7,
  1372  	0x001dfbf7,
  1373  	0x00e1c387,
  1374  	0x02e1c387,
  1375  	0x04e1c387,
  1376  	0x06e1c387,
  1377  	0x08e1c387,
  1378  	0x0ae1c387,
  1379  	0x0ce1c387,
  1380  	0x0ee1c387,
  1381  	0x00e5c387,
  1382  	0x02e5c387,
  1383  	0x04e5c387,
  1384  	0x06e5c387,
  1385  	0x08e5c387,
  1386  	0x0ae5c387,
  1387  	0x0ce5c387,
  1388  	0x0ee5c387,
  1389  	0x00e9c387,
  1390  	0x02e9c387,
  1391  	0x04e9c387,
  1392  	0x06e9c387,
  1393  	0x08e9c387,
  1394  	0x0ae9c387,
  1395  	0x0ce9c387,
  1396  	0x0ee9c387,
  1397  	0x00edc387,
  1398  	0x02edc387,
  1399  	0x04edc387,
  1400  	0x06edc387,
  1401  	0x08edc387,
  1402  	0x0aedc387,
  1403  	0x0cedc387,
  1404  	0x0eedc387,
  1405  	0x00f1c387,
  1406  	0x02f1c387,
  1407  	0x04f1c387,
  1408  	0x06f1c387,
  1409  	0x08f1c387,
  1410  	0x0af1c387,
  1411  	0x0cf1c387,
  1412  	0x0ef1c387,
  1413  	0x00f5c387,
  1414  	0x02f5c387,
  1415  	0x04f5c387,
  1416  	0x06f5c387,
  1417  	0x08f5c387,
  1418  	0x0af5c387,
  1419  	0x0cf5c387,
  1420  	0x0ef5c387,
  1421  	0x00f9c387,
  1422  	0x02f9c387,
  1423  	0x04f9c387,
  1424  	0x06f9c387,
  1425  	0x08f9c387,
  1426  	0x0af9c387,
  1427  	0x0cf9c387,
  1428  	0x0ef9c387,
  1429  	0x00fdc387,
  1430  	0x02fdc387,
  1431  	0x04fdc387,
  1432  	0x06fdc387,
  1433  	0x08fdc387,
  1434  	0x0afdc387,
  1435  	0x0cfdc387,
  1436  	0x0efdc387,
  1437  	0x00e1cb87,
  1438  	0x02e1cb87,
  1439  	0x04e1cb87,
  1440  	0x06e1cb87,
  1441  	0x08e1cb87,
  1442  	0x0ae1cb87,
  1443  	0x0ce1cb87,
  1444  	0x0ee1cb87,
  1445  	0x00e5cb87,
  1446  	0x02e5cb87,
  1447  	0x04e5cb87,
  1448  	0x06e5cb87,
  1449  	0x08e5cb87,
  1450  	0x0ae5cb87,
  1451  	0x0ce5cb87,
  1452  	0x0ee5cb87,
  1453  	0x00e9cb87,
  1454  	0x02e9cb87,
  1455  	0x04e9cb87,
  1456  	0x06e9cb87,
  1457  	0x08e9cb87,
  1458  	0x0ae9cb87,
  1459  	0x0ce9cb87,
  1460  	0x0ee9cb87,
  1461  	0x00edcb87,
  1462  	0x02edcb87,
  1463  	0x04edcb87,
  1464  	0x06edcb87,
  1465  	0x08edcb87,
  1466  	0x0aedcb87,
  1467  	0x0cedcb87,
  1468  	0x0eedcb87,
  1469  	0x00f1cb87,
  1470  	0x02f1cb87,
  1471  	0x04f1cb87,
  1472  	0x06f1cb87,
  1473  	0x08f1cb87,
  1474  	0x0af1cb87,
  1475  	0x0cf1cb87,
  1476  	0x0ef1cb87,
  1477  	0x00f5cb87,
  1478  	0x02f5cb87,
  1479  	0x04f5cb87,
  1480  	0x06f5cb87,
  1481  	0x08f5cb87,
  1482  	0x0af5cb87,
  1483  	0x0cf5cb87,
  1484  	0x0ef5cb87,
  1485  	0x00f9cb87,
  1486  	0x02f9cb87,
  1487  	0x04f9cb87,
  1488  	0x06f9cb87,
  1489  	0x08f9cb87,
  1490  }
  1491  
  1492  var kZeroRepsDepth = [numCommandSymbols]uint32{
  1493  	0,
  1494  	4,
  1495  	8,
  1496  	7,
  1497  	7,
  1498  	7,
  1499  	7,
  1500  	7,
  1501  	7,
  1502  	7,
  1503  	7,
  1504  	11,
  1505  	14,
  1506  	14,
  1507  	14,
  1508  	14,
  1509  	14,
  1510  	14,
  1511  	14,
  1512  	14,
  1513  	14,
  1514  	14,
  1515  	14,
  1516  	14,
  1517  	14,
  1518  	14,
  1519  	14,
  1520  	14,
  1521  	14,
  1522  	14,
  1523  	14,
  1524  	14,
  1525  	14,
  1526  	14,
  1527  	14,
  1528  	14,
  1529  	14,
  1530  	14,
  1531  	14,
  1532  	14,
  1533  	14,
  1534  	14,
  1535  	14,
  1536  	14,
  1537  	14,
  1538  	14,
  1539  	14,
  1540  	14,
  1541  	14,
  1542  	14,
  1543  	14,
  1544  	14,
  1545  	14,
  1546  	14,
  1547  	14,
  1548  	14,
  1549  	14,
  1550  	14,
  1551  	14,
  1552  	14,
  1553  	14,
  1554  	14,
  1555  	14,
  1556  	14,
  1557  	14,
  1558  	14,
  1559  	14,
  1560  	14,
  1561  	14,
  1562  	14,
  1563  	14,
  1564  	14,
  1565  	14,
  1566  	14,
  1567  	14,
  1568  	21,
  1569  	21,
  1570  	21,
  1571  	21,
  1572  	21,
  1573  	21,
  1574  	21,
  1575  	21,
  1576  	21,
  1577  	21,
  1578  	21,
  1579  	21,
  1580  	21,
  1581  	21,
  1582  	21,
  1583  	21,
  1584  	21,
  1585  	21,
  1586  	21,
  1587  	21,
  1588  	21,
  1589  	21,
  1590  	21,
  1591  	21,
  1592  	21,
  1593  	21,
  1594  	21,
  1595  	21,
  1596  	21,
  1597  	21,
  1598  	21,
  1599  	21,
  1600  	21,
  1601  	21,
  1602  	21,
  1603  	21,
  1604  	21,
  1605  	21,
  1606  	21,
  1607  	21,
  1608  	21,
  1609  	21,
  1610  	21,
  1611  	21,
  1612  	21,
  1613  	21,
  1614  	21,
  1615  	21,
  1616  	21,
  1617  	21,
  1618  	21,
  1619  	21,
  1620  	21,
  1621  	21,
  1622  	21,
  1623  	21,
  1624  	21,
  1625  	21,
  1626  	21,
  1627  	21,
  1628  	21,
  1629  	21,
  1630  	21,
  1631  	21,
  1632  	21,
  1633  	21,
  1634  	21,
  1635  	21,
  1636  	21,
  1637  	21,
  1638  	21,
  1639  	21,
  1640  	21,
  1641  	21,
  1642  	21,
  1643  	21,
  1644  	21,
  1645  	21,
  1646  	21,
  1647  	21,
  1648  	21,
  1649  	21,
  1650  	21,
  1651  	21,
  1652  	21,
  1653  	21,
  1654  	21,
  1655  	21,
  1656  	21,
  1657  	21,
  1658  	21,
  1659  	21,
  1660  	21,
  1661  	21,
  1662  	21,
  1663  	21,
  1664  	21,
  1665  	21,
  1666  	21,
  1667  	21,
  1668  	21,
  1669  	21,
  1670  	21,
  1671  	21,
  1672  	21,
  1673  	21,
  1674  	21,
  1675  	21,
  1676  	21,
  1677  	21,
  1678  	21,
  1679  	21,
  1680  	21,
  1681  	21,
  1682  	21,
  1683  	21,
  1684  	21,
  1685  	21,
  1686  	21,
  1687  	21,
  1688  	21,
  1689  	21,
  1690  	21,
  1691  	21,
  1692  	21,
  1693  	21,
  1694  	21,
  1695  	21,
  1696  	21,
  1697  	21,
  1698  	21,
  1699  	21,
  1700  	21,
  1701  	21,
  1702  	21,
  1703  	21,
  1704  	21,
  1705  	21,
  1706  	21,
  1707  	21,
  1708  	21,
  1709  	21,
  1710  	21,
  1711  	21,
  1712  	21,
  1713  	21,
  1714  	21,
  1715  	21,
  1716  	21,
  1717  	21,
  1718  	21,
  1719  	21,
  1720  	21,
  1721  	21,
  1722  	21,
  1723  	21,
  1724  	21,
  1725  	21,
  1726  	21,
  1727  	21,
  1728  	21,
  1729  	21,
  1730  	21,
  1731  	21,
  1732  	21,
  1733  	21,
  1734  	21,
  1735  	21,
  1736  	21,
  1737  	21,
  1738  	21,
  1739  	21,
  1740  	21,
  1741  	21,
  1742  	21,
  1743  	21,
  1744  	21,
  1745  	21,
  1746  	21,
  1747  	21,
  1748  	21,
  1749  	21,
  1750  	21,
  1751  	21,
  1752  	21,
  1753  	21,
  1754  	21,
  1755  	21,
  1756  	21,
  1757  	21,
  1758  	21,
  1759  	21,
  1760  	21,
  1761  	21,
  1762  	21,
  1763  	21,
  1764  	21,
  1765  	21,
  1766  	21,
  1767  	21,
  1768  	21,
  1769  	21,
  1770  	21,
  1771  	21,
  1772  	21,
  1773  	21,
  1774  	21,
  1775  	21,
  1776  	21,
  1777  	21,
  1778  	21,
  1779  	21,
  1780  	21,
  1781  	21,
  1782  	21,
  1783  	21,
  1784  	21,
  1785  	21,
  1786  	21,
  1787  	21,
  1788  	21,
  1789  	21,
  1790  	21,
  1791  	21,
  1792  	21,
  1793  	21,
  1794  	21,
  1795  	21,
  1796  	21,
  1797  	21,
  1798  	21,
  1799  	21,
  1800  	21,
  1801  	21,
  1802  	21,
  1803  	21,
  1804  	21,
  1805  	21,
  1806  	21,
  1807  	21,
  1808  	21,
  1809  	21,
  1810  	21,
  1811  	21,
  1812  	21,
  1813  	21,
  1814  	21,
  1815  	21,
  1816  	21,
  1817  	21,
  1818  	21,
  1819  	21,
  1820  	21,
  1821  	21,
  1822  	21,
  1823  	21,
  1824  	21,
  1825  	21,
  1826  	21,
  1827  	21,
  1828  	21,
  1829  	21,
  1830  	21,
  1831  	21,
  1832  	21,
  1833  	21,
  1834  	21,
  1835  	21,
  1836  	21,
  1837  	21,
  1838  	21,
  1839  	21,
  1840  	21,
  1841  	21,
  1842  	21,
  1843  	21,
  1844  	21,
  1845  	21,
  1846  	21,
  1847  	21,
  1848  	21,
  1849  	21,
  1850  	21,
  1851  	21,
  1852  	21,
  1853  	21,
  1854  	21,
  1855  	21,
  1856  	21,
  1857  	21,
  1858  	21,
  1859  	21,
  1860  	21,
  1861  	21,
  1862  	21,
  1863  	21,
  1864  	21,
  1865  	21,
  1866  	21,
  1867  	21,
  1868  	21,
  1869  	21,
  1870  	21,
  1871  	21,
  1872  	21,
  1873  	21,
  1874  	21,
  1875  	21,
  1876  	21,
  1877  	21,
  1878  	21,
  1879  	21,
  1880  	21,
  1881  	21,
  1882  	21,
  1883  	21,
  1884  	21,
  1885  	21,
  1886  	21,
  1887  	21,
  1888  	21,
  1889  	21,
  1890  	21,
  1891  	21,
  1892  	21,
  1893  	21,
  1894  	21,
  1895  	21,
  1896  	21,
  1897  	21,
  1898  	21,
  1899  	21,
  1900  	21,
  1901  	21,
  1902  	21,
  1903  	21,
  1904  	21,
  1905  	21,
  1906  	21,
  1907  	21,
  1908  	21,
  1909  	21,
  1910  	21,
  1911  	21,
  1912  	21,
  1913  	21,
  1914  	21,
  1915  	21,
  1916  	21,
  1917  	21,
  1918  	21,
  1919  	21,
  1920  	21,
  1921  	21,
  1922  	21,
  1923  	21,
  1924  	21,
  1925  	21,
  1926  	21,
  1927  	21,
  1928  	21,
  1929  	21,
  1930  	21,
  1931  	21,
  1932  	21,
  1933  	21,
  1934  	21,
  1935  	21,
  1936  	21,
  1937  	21,
  1938  	21,
  1939  	21,
  1940  	21,
  1941  	21,
  1942  	21,
  1943  	21,
  1944  	21,
  1945  	21,
  1946  	21,
  1947  	21,
  1948  	21,
  1949  	21,
  1950  	21,
  1951  	21,
  1952  	21,
  1953  	21,
  1954  	21,
  1955  	21,
  1956  	21,
  1957  	21,
  1958  	21,
  1959  	21,
  1960  	21,
  1961  	21,
  1962  	21,
  1963  	21,
  1964  	21,
  1965  	21,
  1966  	21,
  1967  	21,
  1968  	21,
  1969  	21,
  1970  	21,
  1971  	21,
  1972  	21,
  1973  	21,
  1974  	21,
  1975  	21,
  1976  	21,
  1977  	21,
  1978  	21,
  1979  	21,
  1980  	21,
  1981  	21,
  1982  	21,
  1983  	21,
  1984  	21,
  1985  	21,
  1986  	21,
  1987  	21,
  1988  	21,
  1989  	21,
  1990  	21,
  1991  	21,
  1992  	21,
  1993  	21,
  1994  	21,
  1995  	21,
  1996  	21,
  1997  	21,
  1998  	21,
  1999  	21,
  2000  	21,
  2001  	21,
  2002  	21,
  2003  	21,
  2004  	21,
  2005  	21,
  2006  	21,
  2007  	21,
  2008  	21,
  2009  	21,
  2010  	21,
  2011  	21,
  2012  	21,
  2013  	21,
  2014  	21,
  2015  	21,
  2016  	21,
  2017  	21,
  2018  	21,
  2019  	21,
  2020  	21,
  2021  	21,
  2022  	21,
  2023  	21,
  2024  	21,
  2025  	21,
  2026  	21,
  2027  	21,
  2028  	21,
  2029  	21,
  2030  	21,
  2031  	21,
  2032  	21,
  2033  	21,
  2034  	21,
  2035  	21,
  2036  	21,
  2037  	21,
  2038  	21,
  2039  	21,
  2040  	21,
  2041  	21,
  2042  	21,
  2043  	21,
  2044  	21,
  2045  	21,
  2046  	21,
  2047  	21,
  2048  	21,
  2049  	21,
  2050  	21,
  2051  	21,
  2052  	21,
  2053  	21,
  2054  	21,
  2055  	21,
  2056  	21,
  2057  	21,
  2058  	21,
  2059  	21,
  2060  	21,
  2061  	21,
  2062  	21,
  2063  	21,
  2064  	21,
  2065  	21,
  2066  	21,
  2067  	21,
  2068  	21,
  2069  	21,
  2070  	21,
  2071  	21,
  2072  	21,
  2073  	21,
  2074  	21,
  2075  	21,
  2076  	21,
  2077  	21,
  2078  	21,
  2079  	21,
  2080  	28,
  2081  	28,
  2082  	28,
  2083  	28,
  2084  	28,
  2085  	28,
  2086  	28,
  2087  	28,
  2088  	28,
  2089  	28,
  2090  	28,
  2091  	28,
  2092  	28,
  2093  	28,
  2094  	28,
  2095  	28,
  2096  	28,
  2097  	28,
  2098  	28,
  2099  	28,
  2100  	28,
  2101  	28,
  2102  	28,
  2103  	28,
  2104  	28,
  2105  	28,
  2106  	28,
  2107  	28,
  2108  	28,
  2109  	28,
  2110  	28,
  2111  	28,
  2112  	28,
  2113  	28,
  2114  	28,
  2115  	28,
  2116  	28,
  2117  	28,
  2118  	28,
  2119  	28,
  2120  	28,
  2121  	28,
  2122  	28,
  2123  	28,
  2124  	28,
  2125  	28,
  2126  	28,
  2127  	28,
  2128  	28,
  2129  	28,
  2130  	28,
  2131  	28,
  2132  	28,
  2133  	28,
  2134  	28,
  2135  	28,
  2136  	28,
  2137  	28,
  2138  	28,
  2139  	28,
  2140  	28,
  2141  	28,
  2142  	28,
  2143  	28,
  2144  	28,
  2145  	28,
  2146  	28,
  2147  	28,
  2148  	28,
  2149  	28,
  2150  	28,
  2151  	28,
  2152  	28,
  2153  	28,
  2154  	28,
  2155  	28,
  2156  	28,
  2157  	28,
  2158  	28,
  2159  	28,
  2160  	28,
  2161  	28,
  2162  	28,
  2163  	28,
  2164  	28,
  2165  	28,
  2166  	28,
  2167  	28,
  2168  	28,
  2169  	28,
  2170  	28,
  2171  	28,
  2172  	28,
  2173  	28,
  2174  	28,
  2175  	28,
  2176  	28,
  2177  	28,
  2178  	28,
  2179  	28,
  2180  	28,
  2181  	28,
  2182  	28,
  2183  	28,
  2184  	28,
  2185  	28,
  2186  	28,
  2187  	28,
  2188  	28,
  2189  	28,
  2190  	28,
  2191  	28,
  2192  	28,
  2193  	28,
  2194  	28,
  2195  	28,
  2196  	28,
  2197  }
  2198  
  2199  var kNonZeroRepsBits = [numCommandSymbols]uint64{
  2200  	0x0000000b,
  2201  	0x0000001b,
  2202  	0x0000002b,
  2203  	0x0000003b,
  2204  	0x000002cb,
  2205  	0x000006cb,
  2206  	0x00000acb,
  2207  	0x00000ecb,
  2208  	0x000002db,
  2209  	0x000006db,
  2210  	0x00000adb,
  2211  	0x00000edb,
  2212  	0x000002eb,
  2213  	0x000006eb,
  2214  	0x00000aeb,
  2215  	0x00000eeb,
  2216  	0x000002fb,
  2217  	0x000006fb,
  2218  	0x00000afb,
  2219  	0x00000efb,
  2220  	0x0000b2cb,
  2221  	0x0001b2cb,
  2222  	0x0002b2cb,
  2223  	0x0003b2cb,
  2224  	0x0000b6cb,
  2225  	0x0001b6cb,
  2226  	0x0002b6cb,
  2227  	0x0003b6cb,
  2228  	0x0000bacb,
  2229  	0x0001bacb,
  2230  	0x0002bacb,
  2231  	0x0003bacb,
  2232  	0x0000becb,
  2233  	0x0001becb,
  2234  	0x0002becb,
  2235  	0x0003becb,
  2236  	0x0000b2db,
  2237  	0x0001b2db,
  2238  	0x0002b2db,
  2239  	0x0003b2db,
  2240  	0x0000b6db,
  2241  	0x0001b6db,
  2242  	0x0002b6db,
  2243  	0x0003b6db,
  2244  	0x0000badb,
  2245  	0x0001badb,
  2246  	0x0002badb,
  2247  	0x0003badb,
  2248  	0x0000bedb,
  2249  	0x0001bedb,
  2250  	0x0002bedb,
  2251  	0x0003bedb,
  2252  	0x0000b2eb,
  2253  	0x0001b2eb,
  2254  	0x0002b2eb,
  2255  	0x0003b2eb,
  2256  	0x0000b6eb,
  2257  	0x0001b6eb,
  2258  	0x0002b6eb,
  2259  	0x0003b6eb,
  2260  	0x0000baeb,
  2261  	0x0001baeb,
  2262  	0x0002baeb,
  2263  	0x0003baeb,
  2264  	0x0000beeb,
  2265  	0x0001beeb,
  2266  	0x0002beeb,
  2267  	0x0003beeb,
  2268  	0x0000b2fb,
  2269  	0x0001b2fb,
  2270  	0x0002b2fb,
  2271  	0x0003b2fb,
  2272  	0x0000b6fb,
  2273  	0x0001b6fb,
  2274  	0x0002b6fb,
  2275  	0x0003b6fb,
  2276  	0x0000bafb,
  2277  	0x0001bafb,
  2278  	0x0002bafb,
  2279  	0x0003bafb,
  2280  	0x0000befb,
  2281  	0x0001befb,
  2282  	0x0002befb,
  2283  	0x0003befb,
  2284  	0x002cb2cb,
  2285  	0x006cb2cb,
  2286  	0x00acb2cb,
  2287  	0x00ecb2cb,
  2288  	0x002db2cb,
  2289  	0x006db2cb,
  2290  	0x00adb2cb,
  2291  	0x00edb2cb,
  2292  	0x002eb2cb,
  2293  	0x006eb2cb,
  2294  	0x00aeb2cb,
  2295  	0x00eeb2cb,
  2296  	0x002fb2cb,
  2297  	0x006fb2cb,
  2298  	0x00afb2cb,
  2299  	0x00efb2cb,
  2300  	0x002cb6cb,
  2301  	0x006cb6cb,
  2302  	0x00acb6cb,
  2303  	0x00ecb6cb,
  2304  	0x002db6cb,
  2305  	0x006db6cb,
  2306  	0x00adb6cb,
  2307  	0x00edb6cb,
  2308  	0x002eb6cb,
  2309  	0x006eb6cb,
  2310  	0x00aeb6cb,
  2311  	0x00eeb6cb,
  2312  	0x002fb6cb,
  2313  	0x006fb6cb,
  2314  	0x00afb6cb,
  2315  	0x00efb6cb,
  2316  	0x002cbacb,
  2317  	0x006cbacb,
  2318  	0x00acbacb,
  2319  	0x00ecbacb,
  2320  	0x002dbacb,
  2321  	0x006dbacb,
  2322  	0x00adbacb,
  2323  	0x00edbacb,
  2324  	0x002ebacb,
  2325  	0x006ebacb,
  2326  	0x00aebacb,
  2327  	0x00eebacb,
  2328  	0x002fbacb,
  2329  	0x006fbacb,
  2330  	0x00afbacb,
  2331  	0x00efbacb,
  2332  	0x002cbecb,
  2333  	0x006cbecb,
  2334  	0x00acbecb,
  2335  	0x00ecbecb,
  2336  	0x002dbecb,
  2337  	0x006dbecb,
  2338  	0x00adbecb,
  2339  	0x00edbecb,
  2340  	0x002ebecb,
  2341  	0x006ebecb,
  2342  	0x00aebecb,
  2343  	0x00eebecb,
  2344  	0x002fbecb,
  2345  	0x006fbecb,
  2346  	0x00afbecb,
  2347  	0x00efbecb,
  2348  	0x002cb2db,
  2349  	0x006cb2db,
  2350  	0x00acb2db,
  2351  	0x00ecb2db,
  2352  	0x002db2db,
  2353  	0x006db2db,
  2354  	0x00adb2db,
  2355  	0x00edb2db,
  2356  	0x002eb2db,
  2357  	0x006eb2db,
  2358  	0x00aeb2db,
  2359  	0x00eeb2db,
  2360  	0x002fb2db,
  2361  	0x006fb2db,
  2362  	0x00afb2db,
  2363  	0x00efb2db,
  2364  	0x002cb6db,
  2365  	0x006cb6db,
  2366  	0x00acb6db,
  2367  	0x00ecb6db,
  2368  	0x002db6db,
  2369  	0x006db6db,
  2370  	0x00adb6db,
  2371  	0x00edb6db,
  2372  	0x002eb6db,
  2373  	0x006eb6db,
  2374  	0x00aeb6db,
  2375  	0x00eeb6db,
  2376  	0x002fb6db,
  2377  	0x006fb6db,
  2378  	0x00afb6db,
  2379  	0x00efb6db,
  2380  	0x002cbadb,
  2381  	0x006cbadb,
  2382  	0x00acbadb,
  2383  	0x00ecbadb,
  2384  	0x002dbadb,
  2385  	0x006dbadb,
  2386  	0x00adbadb,
  2387  	0x00edbadb,
  2388  	0x002ebadb,
  2389  	0x006ebadb,
  2390  	0x00aebadb,
  2391  	0x00eebadb,
  2392  	0x002fbadb,
  2393  	0x006fbadb,
  2394  	0x00afbadb,
  2395  	0x00efbadb,
  2396  	0x002cbedb,
  2397  	0x006cbedb,
  2398  	0x00acbedb,
  2399  	0x00ecbedb,
  2400  	0x002dbedb,
  2401  	0x006dbedb,
  2402  	0x00adbedb,
  2403  	0x00edbedb,
  2404  	0x002ebedb,
  2405  	0x006ebedb,
  2406  	0x00aebedb,
  2407  	0x00eebedb,
  2408  	0x002fbedb,
  2409  	0x006fbedb,
  2410  	0x00afbedb,
  2411  	0x00efbedb,
  2412  	0x002cb2eb,
  2413  	0x006cb2eb,
  2414  	0x00acb2eb,
  2415  	0x00ecb2eb,
  2416  	0x002db2eb,
  2417  	0x006db2eb,
  2418  	0x00adb2eb,
  2419  	0x00edb2eb,
  2420  	0x002eb2eb,
  2421  	0x006eb2eb,
  2422  	0x00aeb2eb,
  2423  	0x00eeb2eb,
  2424  	0x002fb2eb,
  2425  	0x006fb2eb,
  2426  	0x00afb2eb,
  2427  	0x00efb2eb,
  2428  	0x002cb6eb,
  2429  	0x006cb6eb,
  2430  	0x00acb6eb,
  2431  	0x00ecb6eb,
  2432  	0x002db6eb,
  2433  	0x006db6eb,
  2434  	0x00adb6eb,
  2435  	0x00edb6eb,
  2436  	0x002eb6eb,
  2437  	0x006eb6eb,
  2438  	0x00aeb6eb,
  2439  	0x00eeb6eb,
  2440  	0x002fb6eb,
  2441  	0x006fb6eb,
  2442  	0x00afb6eb,
  2443  	0x00efb6eb,
  2444  	0x002cbaeb,
  2445  	0x006cbaeb,
  2446  	0x00acbaeb,
  2447  	0x00ecbaeb,
  2448  	0x002dbaeb,
  2449  	0x006dbaeb,
  2450  	0x00adbaeb,
  2451  	0x00edbaeb,
  2452  	0x002ebaeb,
  2453  	0x006ebaeb,
  2454  	0x00aebaeb,
  2455  	0x00eebaeb,
  2456  	0x002fbaeb,
  2457  	0x006fbaeb,
  2458  	0x00afbaeb,
  2459  	0x00efbaeb,
  2460  	0x002cbeeb,
  2461  	0x006cbeeb,
  2462  	0x00acbeeb,
  2463  	0x00ecbeeb,
  2464  	0x002dbeeb,
  2465  	0x006dbeeb,
  2466  	0x00adbeeb,
  2467  	0x00edbeeb,
  2468  	0x002ebeeb,
  2469  	0x006ebeeb,
  2470  	0x00aebeeb,
  2471  	0x00eebeeb,
  2472  	0x002fbeeb,
  2473  	0x006fbeeb,
  2474  	0x00afbeeb,
  2475  	0x00efbeeb,
  2476  	0x002cb2fb,
  2477  	0x006cb2fb,
  2478  	0x00acb2fb,
  2479  	0x00ecb2fb,
  2480  	0x002db2fb,
  2481  	0x006db2fb,
  2482  	0x00adb2fb,
  2483  	0x00edb2fb,
  2484  	0x002eb2fb,
  2485  	0x006eb2fb,
  2486  	0x00aeb2fb,
  2487  	0x00eeb2fb,
  2488  	0x002fb2fb,
  2489  	0x006fb2fb,
  2490  	0x00afb2fb,
  2491  	0x00efb2fb,
  2492  	0x002cb6fb,
  2493  	0x006cb6fb,
  2494  	0x00acb6fb,
  2495  	0x00ecb6fb,
  2496  	0x002db6fb,
  2497  	0x006db6fb,
  2498  	0x00adb6fb,
  2499  	0x00edb6fb,
  2500  	0x002eb6fb,
  2501  	0x006eb6fb,
  2502  	0x00aeb6fb,
  2503  	0x00eeb6fb,
  2504  	0x002fb6fb,
  2505  	0x006fb6fb,
  2506  	0x00afb6fb,
  2507  	0x00efb6fb,
  2508  	0x002cbafb,
  2509  	0x006cbafb,
  2510  	0x00acbafb,
  2511  	0x00ecbafb,
  2512  	0x002dbafb,
  2513  	0x006dbafb,
  2514  	0x00adbafb,
  2515  	0x00edbafb,
  2516  	0x002ebafb,
  2517  	0x006ebafb,
  2518  	0x00aebafb,
  2519  	0x00eebafb,
  2520  	0x002fbafb,
  2521  	0x006fbafb,
  2522  	0x00afbafb,
  2523  	0x00efbafb,
  2524  	0x002cbefb,
  2525  	0x006cbefb,
  2526  	0x00acbefb,
  2527  	0x00ecbefb,
  2528  	0x002dbefb,
  2529  	0x006dbefb,
  2530  	0x00adbefb,
  2531  	0x00edbefb,
  2532  	0x002ebefb,
  2533  	0x006ebefb,
  2534  	0x00aebefb,
  2535  	0x00eebefb,
  2536  	0x002fbefb,
  2537  	0x006fbefb,
  2538  	0x00afbefb,
  2539  	0x00efbefb,
  2540  	0x0b2cb2cb,
  2541  	0x1b2cb2cb,
  2542  	0x2b2cb2cb,
  2543  	0x3b2cb2cb,
  2544  	0x0b6cb2cb,
  2545  	0x1b6cb2cb,
  2546  	0x2b6cb2cb,
  2547  	0x3b6cb2cb,
  2548  	0x0bacb2cb,
  2549  	0x1bacb2cb,
  2550  	0x2bacb2cb,
  2551  	0x3bacb2cb,
  2552  	0x0becb2cb,
  2553  	0x1becb2cb,
  2554  	0x2becb2cb,
  2555  	0x3becb2cb,
  2556  	0x0b2db2cb,
  2557  	0x1b2db2cb,
  2558  	0x2b2db2cb,
  2559  	0x3b2db2cb,
  2560  	0x0b6db2cb,
  2561  	0x1b6db2cb,
  2562  	0x2b6db2cb,
  2563  	0x3b6db2cb,
  2564  	0x0badb2cb,
  2565  	0x1badb2cb,
  2566  	0x2badb2cb,
  2567  	0x3badb2cb,
  2568  	0x0bedb2cb,
  2569  	0x1bedb2cb,
  2570  	0x2bedb2cb,
  2571  	0x3bedb2cb,
  2572  	0x0b2eb2cb,
  2573  	0x1b2eb2cb,
  2574  	0x2b2eb2cb,
  2575  	0x3b2eb2cb,
  2576  	0x0b6eb2cb,
  2577  	0x1b6eb2cb,
  2578  	0x2b6eb2cb,
  2579  	0x3b6eb2cb,
  2580  	0x0baeb2cb,
  2581  	0x1baeb2cb,
  2582  	0x2baeb2cb,
  2583  	0x3baeb2cb,
  2584  	0x0beeb2cb,
  2585  	0x1beeb2cb,
  2586  	0x2beeb2cb,
  2587  	0x3beeb2cb,
  2588  	0x0b2fb2cb,
  2589  	0x1b2fb2cb,
  2590  	0x2b2fb2cb,
  2591  	0x3b2fb2cb,
  2592  	0x0b6fb2cb,
  2593  	0x1b6fb2cb,
  2594  	0x2b6fb2cb,
  2595  	0x3b6fb2cb,
  2596  	0x0bafb2cb,
  2597  	0x1bafb2cb,
  2598  	0x2bafb2cb,
  2599  	0x3bafb2cb,
  2600  	0x0befb2cb,
  2601  	0x1befb2cb,
  2602  	0x2befb2cb,
  2603  	0x3befb2cb,
  2604  	0x0b2cb6cb,
  2605  	0x1b2cb6cb,
  2606  	0x2b2cb6cb,
  2607  	0x3b2cb6cb,
  2608  	0x0b6cb6cb,
  2609  	0x1b6cb6cb,
  2610  	0x2b6cb6cb,
  2611  	0x3b6cb6cb,
  2612  	0x0bacb6cb,
  2613  	0x1bacb6cb,
  2614  	0x2bacb6cb,
  2615  	0x3bacb6cb,
  2616  	0x0becb6cb,
  2617  	0x1becb6cb,
  2618  	0x2becb6cb,
  2619  	0x3becb6cb,
  2620  	0x0b2db6cb,
  2621  	0x1b2db6cb,
  2622  	0x2b2db6cb,
  2623  	0x3b2db6cb,
  2624  	0x0b6db6cb,
  2625  	0x1b6db6cb,
  2626  	0x2b6db6cb,
  2627  	0x3b6db6cb,
  2628  	0x0badb6cb,
  2629  	0x1badb6cb,
  2630  	0x2badb6cb,
  2631  	0x3badb6cb,
  2632  	0x0bedb6cb,
  2633  	0x1bedb6cb,
  2634  	0x2bedb6cb,
  2635  	0x3bedb6cb,
  2636  	0x0b2eb6cb,
  2637  	0x1b2eb6cb,
  2638  	0x2b2eb6cb,
  2639  	0x3b2eb6cb,
  2640  	0x0b6eb6cb,
  2641  	0x1b6eb6cb,
  2642  	0x2b6eb6cb,
  2643  	0x3b6eb6cb,
  2644  	0x0baeb6cb,
  2645  	0x1baeb6cb,
  2646  	0x2baeb6cb,
  2647  	0x3baeb6cb,
  2648  	0x0beeb6cb,
  2649  	0x1beeb6cb,
  2650  	0x2beeb6cb,
  2651  	0x3beeb6cb,
  2652  	0x0b2fb6cb,
  2653  	0x1b2fb6cb,
  2654  	0x2b2fb6cb,
  2655  	0x3b2fb6cb,
  2656  	0x0b6fb6cb,
  2657  	0x1b6fb6cb,
  2658  	0x2b6fb6cb,
  2659  	0x3b6fb6cb,
  2660  	0x0bafb6cb,
  2661  	0x1bafb6cb,
  2662  	0x2bafb6cb,
  2663  	0x3bafb6cb,
  2664  	0x0befb6cb,
  2665  	0x1befb6cb,
  2666  	0x2befb6cb,
  2667  	0x3befb6cb,
  2668  	0x0b2cbacb,
  2669  	0x1b2cbacb,
  2670  	0x2b2cbacb,
  2671  	0x3b2cbacb,
  2672  	0x0b6cbacb,
  2673  	0x1b6cbacb,
  2674  	0x2b6cbacb,
  2675  	0x3b6cbacb,
  2676  	0x0bacbacb,
  2677  	0x1bacbacb,
  2678  	0x2bacbacb,
  2679  	0x3bacbacb,
  2680  	0x0becbacb,
  2681  	0x1becbacb,
  2682  	0x2becbacb,
  2683  	0x3becbacb,
  2684  	0x0b2dbacb,
  2685  	0x1b2dbacb,
  2686  	0x2b2dbacb,
  2687  	0x3b2dbacb,
  2688  	0x0b6dbacb,
  2689  	0x1b6dbacb,
  2690  	0x2b6dbacb,
  2691  	0x3b6dbacb,
  2692  	0x0badbacb,
  2693  	0x1badbacb,
  2694  	0x2badbacb,
  2695  	0x3badbacb,
  2696  	0x0bedbacb,
  2697  	0x1bedbacb,
  2698  	0x2bedbacb,
  2699  	0x3bedbacb,
  2700  	0x0b2ebacb,
  2701  	0x1b2ebacb,
  2702  	0x2b2ebacb,
  2703  	0x3b2ebacb,
  2704  	0x0b6ebacb,
  2705  	0x1b6ebacb,
  2706  	0x2b6ebacb,
  2707  	0x3b6ebacb,
  2708  	0x0baebacb,
  2709  	0x1baebacb,
  2710  	0x2baebacb,
  2711  	0x3baebacb,
  2712  	0x0beebacb,
  2713  	0x1beebacb,
  2714  	0x2beebacb,
  2715  	0x3beebacb,
  2716  	0x0b2fbacb,
  2717  	0x1b2fbacb,
  2718  	0x2b2fbacb,
  2719  	0x3b2fbacb,
  2720  	0x0b6fbacb,
  2721  	0x1b6fbacb,
  2722  	0x2b6fbacb,
  2723  	0x3b6fbacb,
  2724  	0x0bafbacb,
  2725  	0x1bafbacb,
  2726  	0x2bafbacb,
  2727  	0x3bafbacb,
  2728  	0x0befbacb,
  2729  	0x1befbacb,
  2730  	0x2befbacb,
  2731  	0x3befbacb,
  2732  	0x0b2cbecb,
  2733  	0x1b2cbecb,
  2734  	0x2b2cbecb,
  2735  	0x3b2cbecb,
  2736  	0x0b6cbecb,
  2737  	0x1b6cbecb,
  2738  	0x2b6cbecb,
  2739  	0x3b6cbecb,
  2740  	0x0bacbecb,
  2741  	0x1bacbecb,
  2742  	0x2bacbecb,
  2743  	0x3bacbecb,
  2744  	0x0becbecb,
  2745  	0x1becbecb,
  2746  	0x2becbecb,
  2747  	0x3becbecb,
  2748  	0x0b2dbecb,
  2749  	0x1b2dbecb,
  2750  	0x2b2dbecb,
  2751  	0x3b2dbecb,
  2752  	0x0b6dbecb,
  2753  	0x1b6dbecb,
  2754  	0x2b6dbecb,
  2755  	0x3b6dbecb,
  2756  	0x0badbecb,
  2757  	0x1badbecb,
  2758  	0x2badbecb,
  2759  	0x3badbecb,
  2760  	0x0bedbecb,
  2761  	0x1bedbecb,
  2762  	0x2bedbecb,
  2763  	0x3bedbecb,
  2764  	0x0b2ebecb,
  2765  	0x1b2ebecb,
  2766  	0x2b2ebecb,
  2767  	0x3b2ebecb,
  2768  	0x0b6ebecb,
  2769  	0x1b6ebecb,
  2770  	0x2b6ebecb,
  2771  	0x3b6ebecb,
  2772  	0x0baebecb,
  2773  	0x1baebecb,
  2774  	0x2baebecb,
  2775  	0x3baebecb,
  2776  	0x0beebecb,
  2777  	0x1beebecb,
  2778  	0x2beebecb,
  2779  	0x3beebecb,
  2780  	0x0b2fbecb,
  2781  	0x1b2fbecb,
  2782  	0x2b2fbecb,
  2783  	0x3b2fbecb,
  2784  	0x0b6fbecb,
  2785  	0x1b6fbecb,
  2786  	0x2b6fbecb,
  2787  	0x3b6fbecb,
  2788  	0x0bafbecb,
  2789  	0x1bafbecb,
  2790  	0x2bafbecb,
  2791  	0x3bafbecb,
  2792  	0x0befbecb,
  2793  	0x1befbecb,
  2794  	0x2befbecb,
  2795  	0x3befbecb,
  2796  	0x0b2cb2db,
  2797  	0x1b2cb2db,
  2798  	0x2b2cb2db,
  2799  	0x3b2cb2db,
  2800  	0x0b6cb2db,
  2801  	0x1b6cb2db,
  2802  	0x2b6cb2db,
  2803  	0x3b6cb2db,
  2804  	0x0bacb2db,
  2805  	0x1bacb2db,
  2806  	0x2bacb2db,
  2807  	0x3bacb2db,
  2808  	0x0becb2db,
  2809  	0x1becb2db,
  2810  	0x2becb2db,
  2811  	0x3becb2db,
  2812  	0x0b2db2db,
  2813  	0x1b2db2db,
  2814  	0x2b2db2db,
  2815  	0x3b2db2db,
  2816  	0x0b6db2db,
  2817  	0x1b6db2db,
  2818  	0x2b6db2db,
  2819  	0x3b6db2db,
  2820  	0x0badb2db,
  2821  	0x1badb2db,
  2822  	0x2badb2db,
  2823  	0x3badb2db,
  2824  	0x0bedb2db,
  2825  	0x1bedb2db,
  2826  	0x2bedb2db,
  2827  	0x3bedb2db,
  2828  	0x0b2eb2db,
  2829  	0x1b2eb2db,
  2830  	0x2b2eb2db,
  2831  	0x3b2eb2db,
  2832  	0x0b6eb2db,
  2833  	0x1b6eb2db,
  2834  	0x2b6eb2db,
  2835  	0x3b6eb2db,
  2836  	0x0baeb2db,
  2837  	0x1baeb2db,
  2838  	0x2baeb2db,
  2839  	0x3baeb2db,
  2840  	0x0beeb2db,
  2841  	0x1beeb2db,
  2842  	0x2beeb2db,
  2843  	0x3beeb2db,
  2844  	0x0b2fb2db,
  2845  	0x1b2fb2db,
  2846  	0x2b2fb2db,
  2847  	0x3b2fb2db,
  2848  	0x0b6fb2db,
  2849  	0x1b6fb2db,
  2850  	0x2b6fb2db,
  2851  	0x3b6fb2db,
  2852  	0x0bafb2db,
  2853  	0x1bafb2db,
  2854  	0x2bafb2db,
  2855  	0x3bafb2db,
  2856  	0x0befb2db,
  2857  	0x1befb2db,
  2858  	0x2befb2db,
  2859  	0x3befb2db,
  2860  	0x0b2cb6db,
  2861  	0x1b2cb6db,
  2862  	0x2b2cb6db,
  2863  	0x3b2cb6db,
  2864  	0x0b6cb6db,
  2865  	0x1b6cb6db,
  2866  	0x2b6cb6db,
  2867  	0x3b6cb6db,
  2868  	0x0bacb6db,
  2869  	0x1bacb6db,
  2870  	0x2bacb6db,
  2871  	0x3bacb6db,
  2872  	0x0becb6db,
  2873  	0x1becb6db,
  2874  	0x2becb6db,
  2875  	0x3becb6db,
  2876  	0x0b2db6db,
  2877  	0x1b2db6db,
  2878  	0x2b2db6db,
  2879  	0x3b2db6db,
  2880  	0x0b6db6db,
  2881  	0x1b6db6db,
  2882  	0x2b6db6db,
  2883  	0x3b6db6db,
  2884  	0x0badb6db,
  2885  	0x1badb6db,
  2886  	0x2badb6db,
  2887  	0x3badb6db,
  2888  	0x0bedb6db,
  2889  	0x1bedb6db,
  2890  	0x2bedb6db,
  2891  	0x3bedb6db,
  2892  	0x0b2eb6db,
  2893  	0x1b2eb6db,
  2894  	0x2b2eb6db,
  2895  	0x3b2eb6db,
  2896  	0x0b6eb6db,
  2897  	0x1b6eb6db,
  2898  	0x2b6eb6db,
  2899  	0x3b6eb6db,
  2900  	0x0baeb6db,
  2901  	0x1baeb6db,
  2902  	0x2baeb6db,
  2903  	0x3baeb6db,
  2904  }
  2905  
  2906  var kNonZeroRepsDepth = [numCommandSymbols]uint32{
  2907  	6,
  2908  	6,
  2909  	6,
  2910  	6,
  2911  	12,
  2912  	12,
  2913  	12,
  2914  	12,
  2915  	12,
  2916  	12,
  2917  	12,
  2918  	12,
  2919  	12,
  2920  	12,
  2921  	12,
  2922  	12,
  2923  	12,
  2924  	12,
  2925  	12,
  2926  	12,
  2927  	18,
  2928  	18,
  2929  	18,
  2930  	18,
  2931  	18,
  2932  	18,
  2933  	18,
  2934  	18,
  2935  	18,
  2936  	18,
  2937  	18,
  2938  	18,
  2939  	18,
  2940  	18,
  2941  	18,
  2942  	18,
  2943  	18,
  2944  	18,
  2945  	18,
  2946  	18,
  2947  	18,
  2948  	18,
  2949  	18,
  2950  	18,
  2951  	18,
  2952  	18,
  2953  	18,
  2954  	18,
  2955  	18,
  2956  	18,
  2957  	18,
  2958  	18,
  2959  	18,
  2960  	18,
  2961  	18,
  2962  	18,
  2963  	18,
  2964  	18,
  2965  	18,
  2966  	18,
  2967  	18,
  2968  	18,
  2969  	18,
  2970  	18,
  2971  	18,
  2972  	18,
  2973  	18,
  2974  	18,
  2975  	18,
  2976  	18,
  2977  	18,
  2978  	18,
  2979  	18,
  2980  	18,
  2981  	18,
  2982  	18,
  2983  	18,
  2984  	18,
  2985  	18,
  2986  	18,
  2987  	18,
  2988  	18,
  2989  	18,
  2990  	18,
  2991  	24,
  2992  	24,
  2993  	24,
  2994  	24,
  2995  	24,
  2996  	24,
  2997  	24,
  2998  	24,
  2999  	24,
  3000  	24,
  3001  	24,
  3002  	24,
  3003  	24,
  3004  	24,
  3005  	24,
  3006  	24,
  3007  	24,
  3008  	24,
  3009  	24,
  3010  	24,
  3011  	24,
  3012  	24,
  3013  	24,
  3014  	24,
  3015  	24,
  3016  	24,
  3017  	24,
  3018  	24,
  3019  	24,
  3020  	24,
  3021  	24,
  3022  	24,
  3023  	24,
  3024  	24,
  3025  	24,
  3026  	24,
  3027  	24,
  3028  	24,
  3029  	24,
  3030  	24,
  3031  	24,
  3032  	24,
  3033  	24,
  3034  	24,
  3035  	24,
  3036  	24,
  3037  	24,
  3038  	24,
  3039  	24,
  3040  	24,
  3041  	24,
  3042  	24,
  3043  	24,
  3044  	24,
  3045  	24,
  3046  	24,
  3047  	24,
  3048  	24,
  3049  	24,
  3050  	24,
  3051  	24,
  3052  	24,
  3053  	24,
  3054  	24,
  3055  	24,
  3056  	24,
  3057  	24,
  3058  	24,
  3059  	24,
  3060  	24,
  3061  	24,
  3062  	24,
  3063  	24,
  3064  	24,
  3065  	24,
  3066  	24,
  3067  	24,
  3068  	24,
  3069  	24,
  3070  	24,
  3071  	24,
  3072  	24,
  3073  	24,
  3074  	24,
  3075  	24,
  3076  	24,
  3077  	24,
  3078  	24,
  3079  	24,
  3080  	24,
  3081  	24,
  3082  	24,
  3083  	24,
  3084  	24,
  3085  	24,
  3086  	24,
  3087  	24,
  3088  	24,
  3089  	24,
  3090  	24,
  3091  	24,
  3092  	24,
  3093  	24,
  3094  	24,
  3095  	24,
  3096  	24,
  3097  	24,
  3098  	24,
  3099  	24,
  3100  	24,
  3101  	24,
  3102  	24,
  3103  	24,
  3104  	24,
  3105  	24,
  3106  	24,
  3107  	24,
  3108  	24,
  3109  	24,
  3110  	24,
  3111  	24,
  3112  	24,
  3113  	24,
  3114  	24,
  3115  	24,
  3116  	24,
  3117  	24,
  3118  	24,
  3119  	24,
  3120  	24,
  3121  	24,
  3122  	24,
  3123  	24,
  3124  	24,
  3125  	24,
  3126  	24,
  3127  	24,
  3128  	24,
  3129  	24,
  3130  	24,
  3131  	24,
  3132  	24,
  3133  	24,
  3134  	24,
  3135  	24,
  3136  	24,
  3137  	24,
  3138  	24,
  3139  	24,
  3140  	24,
  3141  	24,
  3142  	24,
  3143  	24,
  3144  	24,
  3145  	24,
  3146  	24,
  3147  	24,
  3148  	24,
  3149  	24,
  3150  	24,
  3151  	24,
  3152  	24,
  3153  	24,
  3154  	24,
  3155  	24,
  3156  	24,
  3157  	24,
  3158  	24,
  3159  	24,
  3160  	24,
  3161  	24,
  3162  	24,
  3163  	24,
  3164  	24,
  3165  	24,
  3166  	24,
  3167  	24,
  3168  	24,
  3169  	24,
  3170  	24,
  3171  	24,
  3172  	24,
  3173  	24,
  3174  	24,
  3175  	24,
  3176  	24,
  3177  	24,
  3178  	24,
  3179  	24,
  3180  	24,
  3181  	24,
  3182  	24,
  3183  	24,
  3184  	24,
  3185  	24,
  3186  	24,
  3187  	24,
  3188  	24,
  3189  	24,
  3190  	24,
  3191  	24,
  3192  	24,
  3193  	24,
  3194  	24,
  3195  	24,
  3196  	24,
  3197  	24,
  3198  	24,
  3199  	24,
  3200  	24,
  3201  	24,
  3202  	24,
  3203  	24,
  3204  	24,
  3205  	24,
  3206  	24,
  3207  	24,
  3208  	24,
  3209  	24,
  3210  	24,
  3211  	24,
  3212  	24,
  3213  	24,
  3214  	24,
  3215  	24,
  3216  	24,
  3217  	24,
  3218  	24,
  3219  	24,
  3220  	24,
  3221  	24,
  3222  	24,
  3223  	24,
  3224  	24,
  3225  	24,
  3226  	24,
  3227  	24,
  3228  	24,
  3229  	24,
  3230  	24,
  3231  	24,
  3232  	24,
  3233  	24,
  3234  	24,
  3235  	24,
  3236  	24,
  3237  	24,
  3238  	24,
  3239  	24,
  3240  	24,
  3241  	24,
  3242  	24,
  3243  	24,
  3244  	24,
  3245  	24,
  3246  	24,
  3247  	30,
  3248  	30,
  3249  	30,
  3250  	30,
  3251  	30,
  3252  	30,
  3253  	30,
  3254  	30,
  3255  	30,
  3256  	30,
  3257  	30,
  3258  	30,
  3259  	30,
  3260  	30,
  3261  	30,
  3262  	30,
  3263  	30,
  3264  	30,
  3265  	30,
  3266  	30,
  3267  	30,
  3268  	30,
  3269  	30,
  3270  	30,
  3271  	30,
  3272  	30,
  3273  	30,
  3274  	30,
  3275  	30,
  3276  	30,
  3277  	30,
  3278  	30,
  3279  	30,
  3280  	30,
  3281  	30,
  3282  	30,
  3283  	30,
  3284  	30,
  3285  	30,
  3286  	30,
  3287  	30,
  3288  	30,
  3289  	30,
  3290  	30,
  3291  	30,
  3292  	30,
  3293  	30,
  3294  	30,
  3295  	30,
  3296  	30,
  3297  	30,
  3298  	30,
  3299  	30,
  3300  	30,
  3301  	30,
  3302  	30,
  3303  	30,
  3304  	30,
  3305  	30,
  3306  	30,
  3307  	30,
  3308  	30,
  3309  	30,
  3310  	30,
  3311  	30,
  3312  	30,
  3313  	30,
  3314  	30,
  3315  	30,
  3316  	30,
  3317  	30,
  3318  	30,
  3319  	30,
  3320  	30,
  3321  	30,
  3322  	30,
  3323  	30,
  3324  	30,
  3325  	30,
  3326  	30,
  3327  	30,
  3328  	30,
  3329  	30,
  3330  	30,
  3331  	30,
  3332  	30,
  3333  	30,
  3334  	30,
  3335  	30,
  3336  	30,
  3337  	30,
  3338  	30,
  3339  	30,
  3340  	30,
  3341  	30,
  3342  	30,
  3343  	30,
  3344  	30,
  3345  	30,
  3346  	30,
  3347  	30,
  3348  	30,
  3349  	30,
  3350  	30,
  3351  	30,
  3352  	30,
  3353  	30,
  3354  	30,
  3355  	30,
  3356  	30,
  3357  	30,
  3358  	30,
  3359  	30,
  3360  	30,
  3361  	30,
  3362  	30,
  3363  	30,
  3364  	30,
  3365  	30,
  3366  	30,
  3367  	30,
  3368  	30,
  3369  	30,
  3370  	30,
  3371  	30,
  3372  	30,
  3373  	30,
  3374  	30,
  3375  	30,
  3376  	30,
  3377  	30,
  3378  	30,
  3379  	30,
  3380  	30,
  3381  	30,
  3382  	30,
  3383  	30,
  3384  	30,
  3385  	30,
  3386  	30,
  3387  	30,
  3388  	30,
  3389  	30,
  3390  	30,
  3391  	30,
  3392  	30,
  3393  	30,
  3394  	30,
  3395  	30,
  3396  	30,
  3397  	30,
  3398  	30,
  3399  	30,
  3400  	30,
  3401  	30,
  3402  	30,
  3403  	30,
  3404  	30,
  3405  	30,
  3406  	30,
  3407  	30,
  3408  	30,
  3409  	30,
  3410  	30,
  3411  	30,
  3412  	30,
  3413  	30,
  3414  	30,
  3415  	30,
  3416  	30,
  3417  	30,
  3418  	30,
  3419  	30,
  3420  	30,
  3421  	30,
  3422  	30,
  3423  	30,
  3424  	30,
  3425  	30,
  3426  	30,
  3427  	30,
  3428  	30,
  3429  	30,
  3430  	30,
  3431  	30,
  3432  	30,
  3433  	30,
  3434  	30,
  3435  	30,
  3436  	30,
  3437  	30,
  3438  	30,
  3439  	30,
  3440  	30,
  3441  	30,
  3442  	30,
  3443  	30,
  3444  	30,
  3445  	30,
  3446  	30,
  3447  	30,
  3448  	30,
  3449  	30,
  3450  	30,
  3451  	30,
  3452  	30,
  3453  	30,
  3454  	30,
  3455  	30,
  3456  	30,
  3457  	30,
  3458  	30,
  3459  	30,
  3460  	30,
  3461  	30,
  3462  	30,
  3463  	30,
  3464  	30,
  3465  	30,
  3466  	30,
  3467  	30,
  3468  	30,
  3469  	30,
  3470  	30,
  3471  	30,
  3472  	30,
  3473  	30,
  3474  	30,
  3475  	30,
  3476  	30,
  3477  	30,
  3478  	30,
  3479  	30,
  3480  	30,
  3481  	30,
  3482  	30,
  3483  	30,
  3484  	30,
  3485  	30,
  3486  	30,
  3487  	30,
  3488  	30,
  3489  	30,
  3490  	30,
  3491  	30,
  3492  	30,
  3493  	30,
  3494  	30,
  3495  	30,
  3496  	30,
  3497  	30,
  3498  	30,
  3499  	30,
  3500  	30,
  3501  	30,
  3502  	30,
  3503  	30,
  3504  	30,
  3505  	30,
  3506  	30,
  3507  	30,
  3508  	30,
  3509  	30,
  3510  	30,
  3511  	30,
  3512  	30,
  3513  	30,
  3514  	30,
  3515  	30,
  3516  	30,
  3517  	30,
  3518  	30,
  3519  	30,
  3520  	30,
  3521  	30,
  3522  	30,
  3523  	30,
  3524  	30,
  3525  	30,
  3526  	30,
  3527  	30,
  3528  	30,
  3529  	30,
  3530  	30,
  3531  	30,
  3532  	30,
  3533  	30,
  3534  	30,
  3535  	30,
  3536  	30,
  3537  	30,
  3538  	30,
  3539  	30,
  3540  	30,
  3541  	30,
  3542  	30,
  3543  	30,
  3544  	30,
  3545  	30,
  3546  	30,
  3547  	30,
  3548  	30,
  3549  	30,
  3550  	30,
  3551  	30,
  3552  	30,
  3553  	30,
  3554  	30,
  3555  	30,
  3556  	30,
  3557  	30,
  3558  	30,
  3559  	30,
  3560  	30,
  3561  	30,
  3562  	30,
  3563  	30,
  3564  	30,
  3565  	30,
  3566  	30,
  3567  	30,
  3568  	30,
  3569  	30,
  3570  	30,
  3571  	30,
  3572  	30,
  3573  	30,
  3574  	30,
  3575  	30,
  3576  	30,
  3577  	30,
  3578  	30,
  3579  	30,
  3580  	30,
  3581  	30,
  3582  	30,
  3583  	30,
  3584  	30,
  3585  	30,
  3586  	30,
  3587  	30,
  3588  	30,
  3589  	30,
  3590  	30,
  3591  	30,
  3592  	30,
  3593  	30,
  3594  	30,
  3595  	30,
  3596  	30,
  3597  	30,
  3598  	30,
  3599  	30,
  3600  	30,
  3601  	30,
  3602  	30,
  3603  	30,
  3604  	30,
  3605  	30,
  3606  	30,
  3607  	30,
  3608  	30,
  3609  	30,
  3610  	30,
  3611  }
  3612  
  3613  var kStaticCommandCodeBits = [numCommandSymbols]uint16{
  3614  	0,
  3615  	256,
  3616  	128,
  3617  	384,
  3618  	64,
  3619  	320,
  3620  	192,
  3621  	448,
  3622  	32,
  3623  	288,
  3624  	160,
  3625  	416,
  3626  	96,
  3627  	352,
  3628  	224,
  3629  	480,
  3630  	16,
  3631  	272,
  3632  	144,
  3633  	400,
  3634  	80,
  3635  	336,
  3636  	208,
  3637  	464,
  3638  	48,
  3639  	304,
  3640  	176,
  3641  	432,
  3642  	112,
  3643  	368,
  3644  	240,
  3645  	496,
  3646  	8,
  3647  	264,
  3648  	136,
  3649  	392,
  3650  	72,
  3651  	328,
  3652  	200,
  3653  	456,
  3654  	40,
  3655  	296,
  3656  	168,
  3657  	424,
  3658  	104,
  3659  	360,
  3660  	232,
  3661  	488,
  3662  	24,
  3663  	280,
  3664  	152,
  3665  	408,
  3666  	88,
  3667  	344,
  3668  	216,
  3669  	472,
  3670  	56,
  3671  	312,
  3672  	184,
  3673  	440,
  3674  	120,
  3675  	376,
  3676  	248,
  3677  	504,
  3678  	4,
  3679  	260,
  3680  	132,
  3681  	388,
  3682  	68,
  3683  	324,
  3684  	196,
  3685  	452,
  3686  	36,
  3687  	292,
  3688  	164,
  3689  	420,
  3690  	100,
  3691  	356,
  3692  	228,
  3693  	484,
  3694  	20,
  3695  	276,
  3696  	148,
  3697  	404,
  3698  	84,
  3699  	340,
  3700  	212,
  3701  	468,
  3702  	52,
  3703  	308,
  3704  	180,
  3705  	436,
  3706  	116,
  3707  	372,
  3708  	244,
  3709  	500,
  3710  	12,
  3711  	268,
  3712  	140,
  3713  	396,
  3714  	76,
  3715  	332,
  3716  	204,
  3717  	460,
  3718  	44,
  3719  	300,
  3720  	172,
  3721  	428,
  3722  	108,
  3723  	364,
  3724  	236,
  3725  	492,
  3726  	28,
  3727  	284,
  3728  	156,
  3729  	412,
  3730  	92,
  3731  	348,
  3732  	220,
  3733  	476,
  3734  	60,
  3735  	316,
  3736  	188,
  3737  	444,
  3738  	124,
  3739  	380,
  3740  	252,
  3741  	508,
  3742  	2,
  3743  	258,
  3744  	130,
  3745  	386,
  3746  	66,
  3747  	322,
  3748  	194,
  3749  	450,
  3750  	34,
  3751  	290,
  3752  	162,
  3753  	418,
  3754  	98,
  3755  	354,
  3756  	226,
  3757  	482,
  3758  	18,
  3759  	274,
  3760  	146,
  3761  	402,
  3762  	82,
  3763  	338,
  3764  	210,
  3765  	466,
  3766  	50,
  3767  	306,
  3768  	178,
  3769  	434,
  3770  	114,
  3771  	370,
  3772  	242,
  3773  	498,
  3774  	10,
  3775  	266,
  3776  	138,
  3777  	394,
  3778  	74,
  3779  	330,
  3780  	202,
  3781  	458,
  3782  	42,
  3783  	298,
  3784  	170,
  3785  	426,
  3786  	106,
  3787  	362,
  3788  	234,
  3789  	490,
  3790  	26,
  3791  	282,
  3792  	154,
  3793  	410,
  3794  	90,
  3795  	346,
  3796  	218,
  3797  	474,
  3798  	58,
  3799  	314,
  3800  	186,
  3801  	442,
  3802  	122,
  3803  	378,
  3804  	250,
  3805  	506,
  3806  	6,
  3807  	262,
  3808  	134,
  3809  	390,
  3810  	70,
  3811  	326,
  3812  	198,
  3813  	454,
  3814  	38,
  3815  	294,
  3816  	166,
  3817  	422,
  3818  	102,
  3819  	358,
  3820  	230,
  3821  	486,
  3822  	22,
  3823  	278,
  3824  	150,
  3825  	406,
  3826  	86,
  3827  	342,
  3828  	214,
  3829  	470,
  3830  	54,
  3831  	310,
  3832  	182,
  3833  	438,
  3834  	118,
  3835  	374,
  3836  	246,
  3837  	502,
  3838  	14,
  3839  	270,
  3840  	142,
  3841  	398,
  3842  	78,
  3843  	334,
  3844  	206,
  3845  	462,
  3846  	46,
  3847  	302,
  3848  	174,
  3849  	430,
  3850  	110,
  3851  	366,
  3852  	238,
  3853  	494,
  3854  	30,
  3855  	286,
  3856  	158,
  3857  	414,
  3858  	94,
  3859  	350,
  3860  	222,
  3861  	478,
  3862  	62,
  3863  	318,
  3864  	190,
  3865  	446,
  3866  	126,
  3867  	382,
  3868  	254,
  3869  	510,
  3870  	1,
  3871  	257,
  3872  	129,
  3873  	385,
  3874  	65,
  3875  	321,
  3876  	193,
  3877  	449,
  3878  	33,
  3879  	289,
  3880  	161,
  3881  	417,
  3882  	97,
  3883  	353,
  3884  	225,
  3885  	481,
  3886  	17,
  3887  	273,
  3888  	145,
  3889  	401,
  3890  	81,
  3891  	337,
  3892  	209,
  3893  	465,
  3894  	49,
  3895  	305,
  3896  	177,
  3897  	433,
  3898  	113,
  3899  	369,
  3900  	241,
  3901  	497,
  3902  	9,
  3903  	265,
  3904  	137,
  3905  	393,
  3906  	73,
  3907  	329,
  3908  	201,
  3909  	457,
  3910  	41,
  3911  	297,
  3912  	169,
  3913  	425,
  3914  	105,
  3915  	361,
  3916  	233,
  3917  	489,
  3918  	25,
  3919  	281,
  3920  	153,
  3921  	409,
  3922  	89,
  3923  	345,
  3924  	217,
  3925  	473,
  3926  	57,
  3927  	313,
  3928  	185,
  3929  	441,
  3930  	121,
  3931  	377,
  3932  	249,
  3933  	505,
  3934  	5,
  3935  	261,
  3936  	133,
  3937  	389,
  3938  	69,
  3939  	325,
  3940  	197,
  3941  	453,
  3942  	37,
  3943  	293,
  3944  	165,
  3945  	421,
  3946  	101,
  3947  	357,
  3948  	229,
  3949  	485,
  3950  	21,
  3951  	277,
  3952  	149,
  3953  	405,
  3954  	85,
  3955  	341,
  3956  	213,
  3957  	469,
  3958  	53,
  3959  	309,
  3960  	181,
  3961  	437,
  3962  	117,
  3963  	373,
  3964  	245,
  3965  	501,
  3966  	13,
  3967  	269,
  3968  	141,
  3969  	397,
  3970  	77,
  3971  	333,
  3972  	205,
  3973  	461,
  3974  	45,
  3975  	301,
  3976  	173,
  3977  	429,
  3978  	109,
  3979  	365,
  3980  	237,
  3981  	493,
  3982  	29,
  3983  	285,
  3984  	157,
  3985  	413,
  3986  	93,
  3987  	349,
  3988  	221,
  3989  	477,
  3990  	61,
  3991  	317,
  3992  	189,
  3993  	445,
  3994  	125,
  3995  	381,
  3996  	253,
  3997  	509,
  3998  	3,
  3999  	259,
  4000  	131,
  4001  	387,
  4002  	67,
  4003  	323,
  4004  	195,
  4005  	451,
  4006  	35,
  4007  	291,
  4008  	163,
  4009  	419,
  4010  	99,
  4011  	355,
  4012  	227,
  4013  	483,
  4014  	19,
  4015  	275,
  4016  	147,
  4017  	403,
  4018  	83,
  4019  	339,
  4020  	211,
  4021  	467,
  4022  	51,
  4023  	307,
  4024  	179,
  4025  	435,
  4026  	115,
  4027  	371,
  4028  	243,
  4029  	499,
  4030  	11,
  4031  	267,
  4032  	139,
  4033  	395,
  4034  	75,
  4035  	331,
  4036  	203,
  4037  	459,
  4038  	43,
  4039  	299,
  4040  	171,
  4041  	427,
  4042  	107,
  4043  	363,
  4044  	235,
  4045  	491,
  4046  	27,
  4047  	283,
  4048  	155,
  4049  	411,
  4050  	91,
  4051  	347,
  4052  	219,
  4053  	475,
  4054  	59,
  4055  	315,
  4056  	187,
  4057  	443,
  4058  	123,
  4059  	379,
  4060  	251,
  4061  	507,
  4062  	7,
  4063  	1031,
  4064  	519,
  4065  	1543,
  4066  	263,
  4067  	1287,
  4068  	775,
  4069  	1799,
  4070  	135,
  4071  	1159,
  4072  	647,
  4073  	1671,
  4074  	391,
  4075  	1415,
  4076  	903,
  4077  	1927,
  4078  	71,
  4079  	1095,
  4080  	583,
  4081  	1607,
  4082  	327,
  4083  	1351,
  4084  	839,
  4085  	1863,
  4086  	199,
  4087  	1223,
  4088  	711,
  4089  	1735,
  4090  	455,
  4091  	1479,
  4092  	967,
  4093  	1991,
  4094  	39,
  4095  	1063,
  4096  	551,
  4097  	1575,
  4098  	295,
  4099  	1319,
  4100  	807,
  4101  	1831,
  4102  	167,
  4103  	1191,
  4104  	679,
  4105  	1703,
  4106  	423,
  4107  	1447,
  4108  	935,
  4109  	1959,
  4110  	103,
  4111  	1127,
  4112  	615,
  4113  	1639,
  4114  	359,
  4115  	1383,
  4116  	871,
  4117  	1895,
  4118  	231,
  4119  	1255,
  4120  	743,
  4121  	1767,
  4122  	487,
  4123  	1511,
  4124  	999,
  4125  	2023,
  4126  	23,
  4127  	1047,
  4128  	535,
  4129  	1559,
  4130  	279,
  4131  	1303,
  4132  	791,
  4133  	1815,
  4134  	151,
  4135  	1175,
  4136  	663,
  4137  	1687,
  4138  	407,
  4139  	1431,
  4140  	919,
  4141  	1943,
  4142  	87,
  4143  	1111,
  4144  	599,
  4145  	1623,
  4146  	343,
  4147  	1367,
  4148  	855,
  4149  	1879,
  4150  	215,
  4151  	1239,
  4152  	727,
  4153  	1751,
  4154  	471,
  4155  	1495,
  4156  	983,
  4157  	2007,
  4158  	55,
  4159  	1079,
  4160  	567,
  4161  	1591,
  4162  	311,
  4163  	1335,
  4164  	823,
  4165  	1847,
  4166  	183,
  4167  	1207,
  4168  	695,
  4169  	1719,
  4170  	439,
  4171  	1463,
  4172  	951,
  4173  	1975,
  4174  	119,
  4175  	1143,
  4176  	631,
  4177  	1655,
  4178  	375,
  4179  	1399,
  4180  	887,
  4181  	1911,
  4182  	247,
  4183  	1271,
  4184  	759,
  4185  	1783,
  4186  	503,
  4187  	1527,
  4188  	1015,
  4189  	2039,
  4190  	15,
  4191  	1039,
  4192  	527,
  4193  	1551,
  4194  	271,
  4195  	1295,
  4196  	783,
  4197  	1807,
  4198  	143,
  4199  	1167,
  4200  	655,
  4201  	1679,
  4202  	399,
  4203  	1423,
  4204  	911,
  4205  	1935,
  4206  	79,
  4207  	1103,
  4208  	591,
  4209  	1615,
  4210  	335,
  4211  	1359,
  4212  	847,
  4213  	1871,
  4214  	207,
  4215  	1231,
  4216  	719,
  4217  	1743,
  4218  	463,
  4219  	1487,
  4220  	975,
  4221  	1999,
  4222  	47,
  4223  	1071,
  4224  	559,
  4225  	1583,
  4226  	303,
  4227  	1327,
  4228  	815,
  4229  	1839,
  4230  	175,
  4231  	1199,
  4232  	687,
  4233  	1711,
  4234  	431,
  4235  	1455,
  4236  	943,
  4237  	1967,
  4238  	111,
  4239  	1135,
  4240  	623,
  4241  	1647,
  4242  	367,
  4243  	1391,
  4244  	879,
  4245  	1903,
  4246  	239,
  4247  	1263,
  4248  	751,
  4249  	1775,
  4250  	495,
  4251  	1519,
  4252  	1007,
  4253  	2031,
  4254  	31,
  4255  	1055,
  4256  	543,
  4257  	1567,
  4258  	287,
  4259  	1311,
  4260  	799,
  4261  	1823,
  4262  	159,
  4263  	1183,
  4264  	671,
  4265  	1695,
  4266  	415,
  4267  	1439,
  4268  	927,
  4269  	1951,
  4270  	95,
  4271  	1119,
  4272  	607,
  4273  	1631,
  4274  	351,
  4275  	1375,
  4276  	863,
  4277  	1887,
  4278  	223,
  4279  	1247,
  4280  	735,
  4281  	1759,
  4282  	479,
  4283  	1503,
  4284  	991,
  4285  	2015,
  4286  	63,
  4287  	1087,
  4288  	575,
  4289  	1599,
  4290  	319,
  4291  	1343,
  4292  	831,
  4293  	1855,
  4294  	191,
  4295  	1215,
  4296  	703,
  4297  	1727,
  4298  	447,
  4299  	1471,
  4300  	959,
  4301  	1983,
  4302  	127,
  4303  	1151,
  4304  	639,
  4305  	1663,
  4306  	383,
  4307  	1407,
  4308  	895,
  4309  	1919,
  4310  	255,
  4311  	1279,
  4312  	767,
  4313  	1791,
  4314  	511,
  4315  	1535,
  4316  	1023,
  4317  	2047,
  4318  }
  4319  
  4320  func storeStaticCommandHuffmanTree(storage_ix *uint, storage []byte) {
  4321  	writeBits(56, 0x92624416307003, storage_ix, storage)
  4322  	writeBits(3, 0x00000000, storage_ix, storage)
  4323  }
  4324  
  4325  var kStaticDistanceCodeBits = [64]uint16{
  4326  	0,
  4327  	32,
  4328  	16,
  4329  	48,
  4330  	8,
  4331  	40,
  4332  	24,
  4333  	56,
  4334  	4,
  4335  	36,
  4336  	20,
  4337  	52,
  4338  	12,
  4339  	44,
  4340  	28,
  4341  	60,
  4342  	2,
  4343  	34,
  4344  	18,
  4345  	50,
  4346  	10,
  4347  	42,
  4348  	26,
  4349  	58,
  4350  	6,
  4351  	38,
  4352  	22,
  4353  	54,
  4354  	14,
  4355  	46,
  4356  	30,
  4357  	62,
  4358  	1,
  4359  	33,
  4360  	17,
  4361  	49,
  4362  	9,
  4363  	41,
  4364  	25,
  4365  	57,
  4366  	5,
  4367  	37,
  4368  	21,
  4369  	53,
  4370  	13,
  4371  	45,
  4372  	29,
  4373  	61,
  4374  	3,
  4375  	35,
  4376  	19,
  4377  	51,
  4378  	11,
  4379  	43,
  4380  	27,
  4381  	59,
  4382  	7,
  4383  	39,
  4384  	23,
  4385  	55,
  4386  	15,
  4387  	47,
  4388  	31,
  4389  	63,
  4390  }
  4391  
  4392  func storeStaticDistanceHuffmanTree(storage_ix *uint, storage []byte) {
  4393  	writeBits(28, 0x0369DC03, storage_ix, storage)
  4394  }