LCOV - code coverage report
Current view: top level - src/include/common - unicode_norm_hashfunc.h (source / functions) Coverage Total Hit
Test: PostgreSQL 19devel Lines: 100.0 % 20 20
Test Date: 2026-04-07 14:16:30 Functions: 100.0 % 2 2
Legend: Lines:     hit not hit

            Line data    Source code
       1              : /*-------------------------------------------------------------------------
       2              :  *
       3              :  * unicode_norm_hashfunc.h
       4              :  *    Perfect hash functions used for Unicode normalization
       5              :  *
       6              :  * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
       7              :  * Portions Copyright (c) 1994, Regents of the University of California
       8              :  *
       9              :  * src/include/common/unicode_norm_hashfunc.h
      10              :  *
      11              :  *-------------------------------------------------------------------------
      12              :  */
      13              : 
      14              : /*
      15              :  * File auto-generated by src/common/unicode/generate-unicode_norm_table.pl,
      16              :  * do not edit. There is deliberately not an #ifndef PG_UNICODE_NORM_HASHFUNC_H
      17              :  * here.
      18              :  */
      19              : 
      20              : #include "common/unicode_norm_table.h"
      21              : 
      22              : /* Typedef for perfect hash functions */
      23              : typedef int (*cp_hash_func) (const void *key);
      24              : 
      25              : /* Information for lookups with perfect hash functions */
      26              : typedef struct
      27              : {
      28              :     const pg_unicode_decomposition *decomps;
      29              :     cp_hash_func    hash;
      30              :     int     num_decomps;
      31              : } pg_unicode_decompinfo;
      32              : 
      33              : typedef struct
      34              : {
      35              :     const uint16    *inverse_lookup;
      36              :     cp_hash_func    hash;
      37              :     int     num_recomps;
      38              : } pg_unicode_recompinfo;
      39              : 
      40              : /* Perfect hash function for decomposition */
      41              : static int
      42        13280 : Decomp_hash_func(const void *key)
      43              : {
      44              :     static const int16 h[13757] = {
      45              :         45,    32767, 157,   158,   159,   160,   161,   2883,
      46              :         52,    53,    54,    0,     412,   -233,  -232,  -231,
      47              :         -230,  60,    0,     0,     -238,  -238,  -238,  -238,
      48              :         -238,  240,   241,   242,   -342,  -342,  822,   822,
      49              :         822,   822,   822,   822,   0,     0,     824,   824,
      50              :         0,     0,     0,     0,     0,     0,     0,     0,
      51              :         0,     0,     0,     0,     267,   32767, 32767, 0,
      52              :         0,     32767, 0,     0,     32767, 32767, 32767, 4434,
      53              :         4435,  -300,  -300,  -300,  -300,  -300,  -300,  278,
      54              :         279,   280,   281,   282,   283,   32767, 32767, 32767,
      55              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
      56              :         32767, 32767, 32767, 32767, 32767, 32767, 0,     0,
      57              :         0,     0,     0,     0,     0,     0,     0,     0,
      58              :         0,     0,     0,     0,     0,     1443,  1444,  1445,
      59              :         -340,  1446,  -340,  1447,  0,     0,     0,     32767,
      60              :         0,     0,     0,     0,     0,     0,     32767, 32767,
      61              :         216,   217,   218,   219,   0,     -1058, 222,   -363,
      62              :         0,     0,     -259,  227,   228,   2942,  2943,  2944,
      63              :         32767, 32767, 232,   233,   234,   235,   236,   237,
      64              :         -7938, 2075,  2076,  2077,  2078,  2079,  2080,  2081,
      65              :         -4642, -4642, -4642, 2085,  2086,  -4643, -4643, -4643,
      66              :         0,     0,     0,     0,     0,     0,     0,     0,
      67              :         0,     0,     0,     0,     0,     0,     0,     0,
      68              :         0,     0,     0,     0,     0,     0,     -323,  -323,
      69              :         14,    15,    321,   -322,  -322,  -322,  -322,  -322,
      70              :         -322,  22,    23,    -322,  0,     -321,  -321,  -321,
      71              :         0,     29,    30,    -320,  -320,  -320,  0,     0,
      72              :         0,     0,     0,     0,     0,     0,     0,     0,
      73              :         -112,  325,   -112,  -112,  -112,  0,     0,     -111,
      74              :         -111,  -111,  -111,  -111,  -2832, 0,     0,     0,
      75              :         0,     -357,  289,   289,   289,   289,   0,     0,
      76              :         0,     299,   300,   301,   302,   303,   0,     -175,
      77              :         0,     -278,  -278,  -278,  -3885, -3885, -3885, -3885,
      78              :         -3885, -3885, -3885, -3885, -3885, -3885, -3885, -3885,
      79              :         -3885, 32767, 0,     83,    84,    85,    86,    87,
      80              :         88,    89,    90,    91,    92,    93,    94,    95,
      81              :         96,    97,    -4544, 99,    100,   101,   102,   0,
      82              :         0,     103,   103,   105,   104,   107,   108,   109,
      83              :         110,   108,   32767, 112,   109,   109,   109,   109,
      84              :         117,   32767, 110,   110,   110,   121,   111,   111,
      85              :         -212,  125,   429,   430,   431,   -212,  -212,  -212,
      86              :         130,   -211,  -211,  32767, 32767, -213,  109,   -212,
      87              :         -212,  -212,  138,   32767, 32767, -212,  -212,  -212,
      88              :         108,   143,   144,   110,   110,   110,   110,   110,
      89              :         150,   151,   0,     437,   0,     0,     0,     0,
      90              :         0,     0,     0,     0,     0,     0,     -2721, 111,
      91              :         111,   111,   166,   -245,  401,   401,   401,   401,
      92              :         112,   173,   174,   413,   414,   415,   416,   417,
      93              :         -60,   32767, 32767, 32767, 32767, 32767, 32767, 32767,
      94              :         4492,  449,   0,     32767, 451,   452,   0,     32767,
      95              :         32767, 4490,  32767, 32767, 32767, 32767, 32767, 32767,
      96              :         32767, 32767, 0,     0,     0,     0,     0,     32767,
      97              :         32767, 181,   182,   32767, 32767, 32767, 32767, 32767,
      98              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
      99              :         -97,   -97,   32767, 32767, 32767, 32767, 32767, 32767,
     100              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     101              :         32767, 32767, 32767, 32767, 32767, 185,   186,   187,
     102              :         188,   189,   190,   191,   192,   193,   194,   195,
     103              :         196,   197,   198,   199,   -1243, -1243, -1243, 543,
     104              :         -1242, 545,   -1241, 207,   208,   209,   32767, 210,
     105              :         211,   212,   213,   214,   215,   32767, 32767, 0,
     106              :         0,     0,     0,     220,   1279,  0,     586,   224,
     107              :         225,   485,   0,     0,     -2713, -2713, -2713, 32767,
     108              :         32767, 0,     0,     0,     0,     0,     0,     8176,
     109              :         -1836, 0,     0,     0,     0,     585,   586,   -577,
     110              :         -576,  -575,  -574,  -573,  -572,  251,   252,   -571,
     111              :         -570,  255,   256,   257,   258,   259,   260,   261,
     112              :         262,   263,   264,   265,   266,   0,     32767, 32767,
     113              :         268,   269,   32767, 32767, 32767, 7164,  -515,  -6053,
     114              :         -4164, -4164, 572,   573,   574,   575,   576,   577,
     115              :         0,     0,     0,     0,     0,     0,     0,     578,
     116              :         579,   580,   577,   578,   0,     0,     0,     0,
     117              :         0,     0,     0,     0,     0,     0,     0,     0,
     118              :         0,     0,     0,     0,     0,     0,     0,     0,
     119              :         0,     0,     0,     0,     32767, 0,     32767, 0,
     120              :         0,     32767, -379,  -379,  32767, 0,     32767, 32767,
     121              :         28,    29,    30,    31,    3174,  33,    34,    5578,
     122              :         36,    37,    38,    39,    40,    41,    42,    43,
     123              :         1899,  1900,  1901,  47,    48,    32767, 32767, 32767,
     124              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     125              :         32767, 4693,  4694,  4695,  4696,  50,    32767, 32767,
     126              :         32767, 32767, 51,    52,    53,    54,    32767, 32767,
     127              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     128              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     129              :         32767, 32767, 32767, 32767, 32767, 627,   32767, 32767,
     130              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     131              :         32767, 32767, 262,   262,   608,   287,   609,   610,
     132              :         611,   291,   263,   32767, 32767, 32767, 32767, 32767,
     133              :         32767, 32767, 32767, 32767, 628,   629,   630,   631,
     134              :         632,   633,   634,   635,   636,   637,   638,   639,
     135              :         640,   641,   642,   643,   644,   645,   646,   647,
     136              :         648,   649,   650,   5,     6,     7,     8,     298,
     137              :         32767, 32767, 0,     0,     0,     0,     0,     0,
     138              :         -239,  0,     32767, 608,   609,   610,   611,   612,
     139              :         2970,  614,   -1770, -1770, 615,   616,   617,   618,
     140              :         619,   620,   -1770, -1770, 621,   622,   -1770, 623,
     141              :         624,   625,   626,   8242,  -1770, -1770, -1770, -1770,
     142              :         -1770, -1770, -1770, 4954,  4955,  4956,  -1770, -1770,
     143              :         4960,  4961,  4962,  320,   321,   322,   323,   324,
     144              :         325,   326,   327,   328,   329,   330,   331,   332,
     145              :         333,   334,   335,   336,   337,   338,   339,   340,
     146              :         341,   665,   666,   330,   330,   25,    669,   670,
     147              :         671,   672,   673,   674,   331,   331,   677,   356,
     148              :         678,   679,   680,   360,   332,   332,   683,   684,
     149              :         685,   366,   367,   368,   369,   370,   371,   372,
     150              :         373,   374,   375,   488,   52,    490,   491,   492,
     151              :         381,   382,   32767, 494,   495,   496,   497,   3219,
     152              :         388,   389,   390,   391,   749,   104,   105,   106,
     153              :         107,   397,   398,   399,   101,   101,   101,   101,
     154              :         101,   405,   581,   407,   686,   687,   688,   4296,
     155              :         4297,  4298,  4299,  32767, 32767, 32767, 32767, 4300,
     156              :         32767, 32767, 32767, 32767, 32767, 416,   32767, 655,
     157              :         656,   331,   658,   659,   660,   661,   662,   326,
     158              :         326,   326,   326,   326,   326,   4968,  32767, 325,
     159              :         32767, 324,   427,   428,   32767, 32767, 32767, 32767,
     160              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     161              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     162              :         32767, 32767, -3708, 0,     0,     0,     0,     0,
     163              :         644,   645,   646,   305,   32767, 32767, 32767, 32767,
     164              :         32767, 32767, 32767, -4570, 32767, 32767, 32767, 32767,
     165              :         32767, 32767, 32767, 0,     32767, 32767, 0,     32767,
     166              :         32767, 32767, 32767, 32767, 32767, 436,   0,     438,
     167              :         439,   440,   32767, 441,   442,   443,   444,   445,
     168              :         446,   3168,  32767, 32767, 32767, 0,     -4059, -4059,
     169              :         -4059, -4059, -4059, 0,     0,     0,     0,     0,
     170              :         0,     0,     0,     0,     0,     0,     0,     0,
     171              :         3570,  -4045, 5968,  -4044, 0,     450,   0,     0,
     172              :         0,     0,     0,     0,     -4037, 0,     0,     -4035,
     173              :         0,     0,     0,     0,     367,   367,   0,     366,
     174              :         0,     4702,  4703,  363,   0,     0,     0,     0,
     175              :         359,   359,   359,   32767, 32767, 32767, 32767, 32767,
     176              :         32767, 32767, 32767, 32767, 32767, 351,   32767, 32767,
     177              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     178              :         32767, 32767, 32767, 32767, 6024,  6025,  6026,  6027,
     179              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     180              :         32767, 32767, 32767, 32767, 32767, 674,   32767, 32767,
     181              :         32767, 32767, 32767, 32767, 776,   32767, 32767, 0,
     182              :         32767, 32767, 32767, 32767, 32767, 0,     0,     32767,
     183              :         32767, 32767, 32767, 32767, 463,   464,   32767, 465,
     184              :         3185,  3186,  32767, 3187,  3188,  -1553, 0,     0,
     185              :         712,   67,    68,    32767, 32767, 32767, 32767, 32767,
     186              :         32767, 32767, 0,     0,     0,     32767, 0,     0,
     187              :         32767, 0,     32767, 32767, 32767, 32767, 32767, 32767,
     188              :         32767, 32767, 18,    471,   32767, 32767, 32767, 32767,
     189              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 472,
     190              :         473,   474,   475,   476,   32767, 32767, 32767, 32767,
     191              :         0,     32767, 32767, 32767, 32767, 32767, 32767, 32767,
     192              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     193              :         32767, 32767, 32767, 32767, 32767, 4709,  4710,  4711,
     194              :         4712,  4713,  4714,  4715,  9329,  4717,  4718,  4719,
     195              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     196              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     197              :         32767, 32767, 32767, 32767, 32767, 1719,  -67,   32767,
     198              :         32767, 32767, 32767, 32767, 0,     0,     32767, 32767,
     199              :         32767, 32767, 32767, 32767, 479,   480,   481,   482,
     200              :         0,     32767, 483,   -102,  0,     0,     0,     486,
     201              :         487,   3201,  3202,  3203,  3204,  32767, 491,   492,
     202              :         493,   494,   495,   496,   0,     0,     497,   498,
     203              :         499,   500,   -84,   -84,   1080,  1080,  1080,  1080,
     204              :         1080,  1080,  1080,  1080,  1080,  1080,  32767, 32767,
     205              :         32767, 1077,  1077,  1077,  1077,  1077,  1077,  32767,
     206              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 1069,
     207              :         1069,  1069,  1069,  1069,  1069,  1069,  1069,  32767,
     208              :         32767, 1950,  1067,  1067,  1067,  1067,  1067,  1067,
     209              :         32767, 32767, 32767, 32767, 0,     32767, 32767, 32767,
     210              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 6028,
     211              :         4805,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
     212              :         32767, 32767, 32767, 32767, 32767, 32767, 1037,  1037,
     213              :         1037,  1037,  32767, 32767, 32767, 32767, 32767, 32767,
     214              :         32767, 32767, 32767, 798,   32767, 32767, 32767, 1024,
     215              :         1024,  1024,  1024,  1024,  1024,  895,   895,   799,
     216              :         32767, 32767, 0,     0,     800,   0,     32767, 32767,
     217              :         32767, 32767, 32767, 32767, 801,   -373,  32767, 32767,
     218              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     219              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     220              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     221              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     222              :         32767, 32767, 32767, 32767, 511,   32767, 32767, 32767,
     223              :         32767, 32767, 32767, 32767, 32767, 32767, 6565,  4677,
     224              :         4678,  -57,   -57,   -57,   -57,   -57,   -57,   521,
     225              :         522,   523,   524,   525,   526,   527,   -50,   -50,
     226              :         -50,   -46,   -46,   533,   534,   535,   536,   537,
     227              :         538,   539,   540,   541,   542,   543,   544,   545,
     228              :         546,   547,   548,   549,   550,   551,   552,   553,
     229              :         554,   555,   556,   32767, 557,   32767, 558,   559,
     230              :         32767, 939,   940,   -3772, 562,   32767, 32767, -3771,
     231              :         4725,  32767, 32767, 32767, 32767, 32767, -3771, -3770,
     232              :         -5249, -5249, 2900,  -5249, -3771, 32767, 2997,  -1310,
     233              :         32767, 32767, 32767, 2998,  2999,  3000,  3001,  3002,
     234              :         3003,  3004,  3005,  3006,  3007,  32767, 32767, 32767,
     235              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     236              :         32767, 32767, 4727,  32767, 4728,  32767, 32767, 32767,
     237              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     238              :         32767, 32767, 32767, 4729,  3009,  3010,  3011,  32767,
     239              :         32767, 6740,  -4,    4734,  -4,    6744,  -6601, 1079,
     240              :         6618,  4730,  4731,  -4,    -4,    -4,    -4,    -4,
     241              :         -4,    -4,    -4,    -321,  -4,    -4,    -4,    -4,
     242              :         -4,    -4,    -4,    0,     0,     0,     0,     0,
     243              :         551,   551,   551,   551,   551,   551,   551,   551,
     244              :         551,   551,   551,   551,   551,   551,   551,   551,
     245              :         551,   551,   551,   5295,  5296,  -9309, -1629, 551,
     246              :         551,   551,   551,   551,   551,   551,   551,   551,
     247              :         551,   551,   551,   551,   551,   -2591, 551,   551,
     248              :         -4992, 551,   551,   551,   551,   551,   551,   551,
     249              :         551,   -1304, -1304, -1304, 551,   551,   32767, 550,
     250              :         550,   550,   550,   550,   550,   550,   550,   550,
     251              :         550,   550,   550,   550,   550,   550,   550,   550,
     252              :         550,   550,   550,   550,   550,   550,   550,   550,
     253              :         550,   550,   550,   550,   550,   550,   550,   550,
     254              :         550,   550,   550,   550,   550,   550,   550,   550,
     255              :         550,   8699,  550,   6744,  0,     4738,  0,     6748,
     256              :         -6597, 1083,  6622,  4734,  4735,  0,     0,     0,
     257              :         0,     0,     0,     0,     0,     -317,  0,     0,
     258              :         0,     0,     0,     0,     0,     550,   0,     0,
     259              :         0,     0,     0,     0,     0,     0,     0,     0,
     260              :         0,     0,     0,     0,     5343,  0,     0,     5344,
     261              :         0,     0,     0,     0,     0,     0,     -40,   0,
     262              :         -41,   0,     542,   0,     0,     0,     0,     845,
     263              :         0,     0,     0,     0,     0,     833,   0,     835,
     264              :         836,   846,   0,     0,     0,     0,     0,     0,
     265              :         0,     -2357, 0,     0,     0,     0,     0,     0,
     266              :         0,     0,     0,     0,     0,     0,     0,     0,
     267              :         0,     0,     0,     0,     0,     0,     0,     0,
     268              :         0,     0,     0,     0,     0,     0,     0,     0,
     269              :         0,     0,     0,     0,     0,     0,     0,     0,
     270              :         0,     0,     0,     0,     0,     0,     0,     931,
     271              :         586,   586,   0,     0,     0,     0,     0,     0,
     272              :         0,     0,     0,     0,     0,     0,     0,     0,
     273              :         0,     0,     0,     0,     0,     0,     0,     0,
     274              :         0,     0,     0,     0,     0,     0,     0,     0,
     275              :         0,     0,     0,     0,     0,     0,     0,     0,
     276              :         0,     0,     0,     0,     0,     0,     0,     0,
     277              :         0,     0,     0,     0,     0,     0,     0,     0,
     278              :         0,     0,     0,     0,     0,     0,     646,   646,
     279              :         646,   646,   646,   646,   646,   0,     0,     0,
     280              :         0,     0,     0,     0,     0,     0,     0,     0,
     281              :         0,     0,     0,     0,     0,     0,     0,     0,
     282              :         0,     0,     0,     0,     0,     0,     0,     0,
     283              :         0,     0,     0,     0,     0,     0,     0,     0,
     284              :         0,     0,     0,     0,     0,     0,     0,     0,
     285              :         0,     0,     0,     0,     0,     0,     0,     0,
     286              :         0,     0,     0,     0,     0,     0,     0,     587,
     287              :         0,     0,     0,     0,     0,     0,     0,     0,
     288              :         0,     0,     0,     0,     0,     0,     0,     0,
     289              :         0,     0,     0,     0,     0,     0,     0,     0,
     290              :         0,     0,     0,     0,     0,     0,     0,     0,
     291              :         0,     0,     0,     0,     0,     0,     0,     0,
     292              :         0,     0,     0,     0,     0,     0,     0,     0,
     293              :         0,     0,     0,     0,     0,     0,     0,     0,
     294              :         0,     0,     0,     0,     0,     0,     0,     0,
     295              :         0,     0,     0,     0,     0,     0,     0,     0,
     296              :         0,     0,     0,     0,     0,     0,     0,     0,
     297              :         0,     0,     0,     0,     0,     0,     0,     0,
     298              :         0,     0,     0,     0,     0,     0,     0,     0,
     299              :         0,     0,     0,     0,     326,   0,     0,     0,
     300              :         0,     0,     337,   0,     0,     0,     0,     0,
     301              :         0,     0,     0,     0,     340,   0,     0,     0,
     302              :         0,     0,     0,     0,     0,     0,     0,     0,
     303              :         0,     0,     0,     0,     0,     0,     0,     0,
     304              :         0,     0,     0,     0,     0,     0,     0,     0,
     305              :         337,   338,   0,     0,     0,     0,     0,     0,
     306              :         0,     344,   345,   0,     0,     0,     0,     0,
     307              :         0,     349,   350,   0,     0,     0,     0,     0,
     308              :         0,     0,     0,     0,     0,     0,     0,     0,
     309              :         0,     0,     0,     0,     0,     0,     3784,  3784,
     310              :         0,     0,     0,     0,     0,     0,     0,     0,
     311              :         0,     0,     0,     0,     0,     0,     0,     0,
     312              :         0,     0,     3033,  3034,  0,     0,     0,     0,
     313              :         0,     0,     0,     0,     0,     0,     0,     0,
     314              :         0,     0,     0,     0,     0,     0,     0,     0,
     315              :         0,     0,     0,     0,     0,     0,     0,     0,
     316              :         0,     0,     0,     0,     0,     0,     0,     0,
     317              :         0,     0,     0,     0,     0,     0,     0,     0,
     318              :         0,     0,     0,     0,     0,     0,     6047,  6048,
     319              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     320              :         32767, 32767, 32767, 32767, 32767, 4395,  4396,  4397,
     321              :         690,   691,   692,   693,   694,   51,    51,    51,
     322              :         32767, 32767, 32767, 32767, 32767, 32767, 4748,  4749,
     323              :         4750,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
     324              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     325              :         32767, 32767, 32767, 32767, 32767, 3045,  32767, 32767,
     326              :         32767, 4751,  4752,  4753,  4754,  11,    11,    14617,
     327              :         32767, 32767, 698,   4758,  4759,  4760,  4761,  4762,
     328              :         704,   705,   706,   707,   708,   709,   710,   711,
     329              :         712,   713,   714,   715,   716,   -2853, 4763,  -5249,
     330              :         4764,  721,   32767, 722,   723,   724,   725,   726,
     331              :         727,   4765,  729,   730,   4766,  732,   733,   734,
     332              :         735,   369,   370,   738,   373,   740,   -3961, -3961,
     333              :         380,   744,   745,   746,   747,   389,   390,   391,
     334              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     335              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     336              :         32767, 32767, 32767, 32767, 32767, 0,     0,     0,
     337              :         32767, 32767, 32767, 32767, 32767, 8673,  32767, 32767,
     338              :         5317,  32767, 5318,  5319,  32767, 32767, 32767, 32767,
     339              :         32767, 5320,  5321,  5322,  32767, 32767, 32767, 32767,
     340              :         32767, 32767, 752,   32767, 32767, 753,   32767, 32767,
     341              :         32767, 32767, 32767, 32767, 32767, 754,   32767, 32767,
     342              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     343              :         32767, 32767, 32767, 32767, 32767, 32767, 4814,  32767,
     344              :         32767, 32767, 756,   757,   758,   759,   32767, 32767,
     345              :         32767, 760,   761,   762,   763,   764,   765,   -2804,
     346              :         4812,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
     347              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     348              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     349              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     350              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     351              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     352              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     353              :         32767, 32767, 32767, 32767, 32767, 32767, -1299, 32767,
     354              :         32767, 32767, 5324,  32767, 32767, 32767, 32767, 32767,
     355              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     356              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     357              :         32767, 32767, 5320,  32767, 32767, 768,   32767, 32767,
     358              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     359              :         32767, 32767, 32767, 32767, 2322,  770,   771,   32767,
     360              :         32767, 32767, 32767, 0,     32767, 32767, 32767, 32767,
     361              :         32767, 32767, 32767, 32767, 32767, 772,   773,   32767,
     362              :         774,   32767, 32767, 32767, 32767, 32767, 32767, 32767,
     363              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     364              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     365              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 775,
     366              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     367              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     368              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, -3373,
     369              :         4777,  32767, -1417, 8191,  32767, 8547,  11926, 4247,
     370              :         32767, 32767, 8550,  8551,  32767, 32767, 32767, 32767,
     371              :         32767, 8552,  8553,  32767, 8554,  32767, 32767, 32767,
     372              :         32767, 32767, 32767, 32767, 32767, 0,     32767, 32767,
     373              :         777,   32767, 32767, 32767, 32767, 32767, 778,   32767,
     374              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     375              :         32767, 32767, 0,     0,     0,     0,     0,     779,
     376              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     377              :         32767, 32767, 32767, 780,   781,   782,   32767, 32767,
     378              :         783,   8555,  32767, 32767, 32767, 32767, 32767, 32767,
     379              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     380              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     381              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     382              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     383              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     384              :         887,   888,   32767, 32767, 32767, 32767, 32767, 32767,
     385              :         32767, 32767, 32767, 2537,  2537,  32767, 32767, 32767,
     386              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     387              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     388              :         889,   32767, 32767, 32767, 32767, 32767, 32767, 32767,
     389              :         32767, 32767, 32767, 32767, 32767, 32767, 784,   32767,
     390              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     391              :         8556,  8557,  8558,  8559,  32767, 32767, 32767, 785,
     392              :         32767, 32767, 32767, 32767, 32767, 8560,  32767, 32767,
     393              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     394              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     395              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     396              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     397              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     398              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     399              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     400              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 4439,
     401              :         4785,  32767, 32767, 32767, 4821,  -1372, 32767, 32767,
     402              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     403              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     404              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     405              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 786,
     406              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     407              :         32767, 32767, 32767, 787,   32767, 32767, 890,   789,
     408              :         790,   32767, 32767, 32767, 32767, 32767, 32767, 32767,
     409              :         32767, 891,   32767, 32767, 32767, 32767, 32767, 791,
     410              :         792,   32767, 32767, 32767, 32767, 32767, 32767, 32767,
     411              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     412              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     413              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     414              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     415              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     416              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 793,
     417              :         32767, 32767, 32767, 0,     32767, -3326, 32767, 32767,
     418              :         32767, 32767, 32767, 32767, 892,   32767, 32767, 32767,
     419              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     420              :         32767, 32767, 32767, 893,   894,   895,   0,     32767,
     421              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     422              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     423              :         32767, 32767, 32767, 32767, 32767, 794,   795,   -4,
     424              :         797,   32767, 32767, 32767, 32767, 32767, 32767, 32767,
     425              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     426              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     427              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     428              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     429              :         32767, 32767, 32767, 32767, 32767, 0,     0,     0,
     430              :         0,     0,     0,     0,     32767, 0,     0,     0,
     431              :         0,     0,     0,     0,     0,     0,     0,     0,
     432              :         0,     0,     0,     0,     0,     0,     32767, 32767,
     433              :         0,     0,     0,     0,     0,     0,     0,     32767,
     434              :         0,     0,     32767, 0,     0,     0,     0,     0,
     435              :         32767, 32767, 32767, 32767, 32767, 0,     0,     0,
     436              :         0,     0,     0,     0,     0,     0,     0,     0,
     437              :         0,     0,     0,     0,     0,     0,     0,     0,
     438              :         0,     0,     0,     0,     0,     0,     0,     0,
     439              :         0,     0,     0,     0,     0,     0,     0,     0,
     440              :         0,     0,     0,     1171,  1171,  1171,  0,     0,
     441              :         0,     0,     1175,  5650,  5650,  5650,  2043,  2043,
     442              :         2043,  2043,  2043,  2043,  2043,  2043,  2043,  2043,
     443              :         2043,  2043,  2043,  2043,  2043,  0,     2044,  2044,
     444              :         2044,  2044,  2044,  2044,  2044,  2044,  2044,  2044,
     445              :         2044,  2044,  2044,  2044,  2044,  2044,  2044,  2044,
     446              :         2044,  32767, 2043,  2043,  2043,  2043,  2043,  2043,
     447              :         2043,  2043,  2043,  32767, 0,     32767, 32767, 32767,
     448              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     449              :         32767, 32767, 32767, 32767, 5425,  5426,  5427,  4564,
     450              :         6340,  5429,  5430,  6343,  6344,  4849,  4567,  5436,
     451              :         5437,  4567,  6350,  6351,  4569,  4569,  4569,  6355,
     452              :         4570,  6357,  4571,  6359,  5443,  6361,  4573,  4573,
     453              :         4573,  4573,  6366,  4574,  4574,  4574,  6370,  4575,
     454              :         4575,  4575,  4575,  5448,  4575,  4575,  6378,  4576,
     455              :         5450,  4576,  4576,  4576,  4576,  6385,  6056,  -2092,
     456              :         6388,  4580,  4580,  4580,  4580,  4580,  6394,  6395,
     457              :         6396,  6397,  6398,  6399,  4586,  4586,  4586,  4586,
     458              :         4586,  4586,  4586,  4586,  4586,  4586,  4586,  4817,
     459              :         4586,  4586,  4586,  4586,  4586,  4586,  4586,  4586,
     460              :         4586,  4586,  4586,  4586,  10620, 4586,  4586,  10621,
     461              :         4586,  4586,  4586,  4586,  4586,  4586,  4586,  10067,
     462              :         10068, 4586,  4586,  4586,  4586,  4586,  10069, 4586,
     463              :         4586,  4586,  4586,  4586,  6448,  6449,  6450,  6451,
     464              :         6452,  6453,  6454,  6455,  6456,  9393,  6458,  6459,
     465              :         6460,  6461,  6462,  5983,  6464,  5984,  6466,  5985,
     466              :         -129,  -129,  -129,  0,     -129,  -129,  2253,  4611,
     467              :         2255,  -129,  -129,  2256,  2257,  2258,  2259,  2260,
     468              :         2261,  -129,  -129,  2262,  2263,  -129,  2264,  2265,
     469              :         2266,  2267,  9883,  -129,  -129,  -129,  -129,  -129,
     470              :         -129,  -129,  6595,  6596,  6597,  -129,  -129,  6601,
     471              :         6602,  6603,  -129,  -129,  -129,  5679,  6025,  6061,
     472              :         6062,  -2086, 6064,  -129,  -129,  1880,  6068,  -129,
     473              :         13217, 5538,  0,     5539,  0,     138,   -129,  139,
     474              :         140,   141,   -129,  6038,  6081,  5319,  5319,  5319,
     475              :         5319,  -129,  0,     0,     -129,  -129,  -129,  6048,
     476              :         6049,  6050,  6051,  -129,  -129,  -129,  -129,  -129,
     477              :         -129,  -129,  -129,  -129,  -129,  -129,  -129,  -129,
     478              :         -129,  -129,  -129,  -129,  -129,  -129,  -129,  -129,
     479              :         -129,  -129,  -129,  -129,  -129,  -129,  -129,  -129,
     480              :         -129,  4712,  -129,  -129,  -129,  -129,  4716,  -129,
     481              :         -129,  4718,  -1776, -1737, 32767, 6112,  6593,  6113,
     482              :         6595,  6114,  0,     0,     0,     129,   0,     0,
     483              :         2382,  4740,  2384,  0,     0,     2385,  2386,  2387,
     484              :         2388,  2389,  2390,  0,     0,     2391,  2392,  0,
     485              :         2393,  2394,  2395,  2396,  10012, 0,     0,     0,
     486              :         0,     0,     0,     0,     6724,  6725,  6726,  0,
     487              :         0,     6730,  6731,  6732,  0,     0,     0,     5808,
     488              :         6154,  6190,  6191,  -1957, 6193,  0,     0,     2009,
     489              :         6197,  0,     13346, 5667,  129,   5668,  129,   267,
     490              :         0,     268,   269,   270,   0,     6167,  6210,  5448,
     491              :         5448,  5448,  5448,  0,     129,   129,   0,     0,
     492              :         0,     6177,  6178,  6179,  6180,  0,     0,     0,
     493              :         0,     0,     0,     0,     0,     0,     0,     0,
     494              :         0,     0,     0,     0,     0,     0,     0,     0,
     495              :         0,     0,     0,     0,     0,     0,     0,     0,
     496              :         0,     0,     0,     4841,  0,     0,     0,     0,
     497              :         4845,  0,     0,     4847,  -1647, -1608, -129,  -129,
     498              :         -129,  -129,  -1612, -129,  -129,  -129,  -129,  -129,
     499              :         -129,  -129,  -129,  -129,  -129,  -129,  -129,  -129,
     500              :         -129,  -129,  257,   257,   -129,  4871,  -129,  700,
     501              :         -129,  270,   6749,  6395,  6356,  6752,  10131, 2452,
     502              :         273,   6756,  6757,  6758,  6759,  6760,  6761,  6762,
     503              :         6763,  6764,  6765,  6766,  6767,  6768,  3416,  275,
     504              :         276,   5820,  6773,  6414,  6775,  6776,  6416,  6778,
     505              :         6417,  6780,  6781,  6782,  6783,  6784,  6785,  6786,
     506              :         6787,  6788,  6789,  6790,  6791,  6792,  6793,  6794,
     507              :         6795,  6796,  6797,  6798,  6799,  6800,  6801,  6439,
     508              :         6803,  6440,  6805,  6806,  6807,  -743,  6809,  6810,
     509              :         6811,  6812,  6813,  6814,  11191, 6450,  6450,  6450,
     510              :         6450,  6820,  6821,  6452,  6452,  6824,  6825,  6454,
     511              :         6454,  6828,  6829,  6830,  6831,  6832,  6833,  11259,
     512              :         6460,  6836,  6837,  6462,  6462,  6840,  6841,  4945,
     513              :         4945,  6844,  6845,  6846,  6847,  0,     -1518, -1479,
     514              :         0,     0,     0,     0,     -1483, 0,     0,     0,
     515              :         0,     0,     0,     0,     0,     0,     0,     0,
     516              :         0,     0,     0,     0,     386,   386,   0,     5000,
     517              :         0,     829,   0,     399,   0,     0,     830,   871,
     518              :         832,   0,     0,     0,     0,     0,     0,     0,
     519              :         0,     0,     0,     0,     0,     0,     0,     834,
     520              :         0,     0,     0,     0,     0,     0,     0,     0,
     521              :         0,     0,     0,     0,     0,     0,     0,     0,
     522              :         0,     0,     837,   838,   0,     0,     0,     0,
     523              :         0,     0,     0,     0,     0,     0,     0,     0,
     524              :         0,     0,     32767, 0,     0,     0,     0,     0,
     525              :         0,     0,     0,     0,     0,     0,     0,     0,
     526              :         0,     0,     0,     0,     0,     0,     0,     0,
     527              :         0,     0,     0,     0,     0,     0,     0,     0,
     528              :         0,     0,     0,     7436,  0,     0,     0,     0,
     529              :         0,     0,     0,     0,     0,     0,     0,     840,
     530              :         1158,  0,     0,     0,     0,     0,     0,     1164,
     531              :         1164,  0,     0,     0,     0,     0,     0,     0,
     532              :         0,     0,     0,     4067,  4067,  4067,  4067,  4067,
     533              :         0,     0,     0,     0,     842,   0,     843,   0,
     534              :         844,   0,     0,     0,     0,     0,     0,     0,
     535              :         0,     0,     0,     0,     0,     0,     0,     0,
     536              :         0,     0,     0,     0,     0,     0,     0,     0,
     537              :         0,     847,   0,     0,     0,     0,     848,   0,
     538              :         0,     0,     0,     849,   0,     0,     0,     1224,
     539              :         1224,  0,     0,     0,     0,     0,     0,     0,
     540              :         850,   0,     0,     0,     -84,   0,     0,     0,
     541              :         851,   852,   853,   854,   855,   856,   857,   858,
     542              :         859,   860,   861,   862,   863,   0,     0,     864,
     543              :         865,   866,   -64,   282,   0,     869,   870,   0,
     544              :         0,     0,     0,     0,     0,     0,     0,     0,
     545              :         0,     0,     871,   0,     0,     0,     0,     0,
     546              :         0,     0,     0,     0,     872,   0,     0,     0,
     547              :         0,     873,   0,     0,     0,     0,     874,   0,
     548              :         0,     0,     0,     875,   0,     0,     0,     0,
     549              :         0,     0,     0,     0,     0,     0,     0,     0,
     550              :         876,   0,     0,     0,     0,     0,     0,     0,
     551              :         0,     0,     0,     0,     0,     231,   0,     0,
     552              :         0,     0,     0,     0,     0,     0,     0,     0,
     553              :         0,     0,     6034,  0,     0,     6035,  0,     0,
     554              :         0,     0,     0,     0,     0,     5481,  5482,  0,
     555              :         0,     0,     0,     0,     5483,  0,     0,     0,
     556              :         0,     0,     0,     0,     0,     0,     0,     0,
     557              :         0,     0,     0,     4798,  0,     0,     0,     0,
     558              :         0,     0,     0,     0,     0,     0,     0,     0,
     559              :         0,     0,     0,     0,     -2358, 0,     0,     0,
     560              :         0,     0,     0,     0,     0,     -4613, 0,     0,
     561              :         0,     0,     0,     0,     0,     1519,  1480,  1480,
     562              :         5254,  -2425, 1480,  1480,  1480,  1519,  1519,  1519,
     563              :         1519,  1519,  1519,  1519,  1519,  1519,  878,   1519,
     564              :         1519,  1519,  -4617, 1519,  1519,  1519,  1519,  1519,
     565              :         1519,  4024,  1519,  1519,  1519,  1519,  1519,  879,
     566              :         -4659, 880,   881,   1519,  1519,  1519,  1519,  1519,
     567              :         6261,  6262,  1519,  1519,  1519,  1519,  1519,  1519,
     568              :         1519,  1519,  1519,  1519,  6259,  1519,  1519,  1519,
     569              :         1519,  1519,  1519,  1519,  1519,  1519,  6260,  1519,
     570              :         1519,  1519,  1519,  1519,  1519,  1519,  1519,  1519,
     571              :         1519,  1519,  1519,  1519,  1519,  1519,  1519,  1519,
     572              :         1519,  6318,  1519,  1519,  1519,  1519,  1519,  1519,
     573              :         1519,  0,     0,     0,     0,     0,     0,     0,
     574              :         0,     1440,  1440,  0,     0,     0,     0,     0,
     575              :         0,     0,     0,     0,     0,     4774,  0,     0,
     576              :         0,     0,     0,     0,     0,     882,   0,     0,
     577              :         0,     0,     0,     0,     0,     0,     0,     0,
     578              :         0,     0,     0,     0,     0,     0,     0,     0,
     579              :         0,     0,     0,     0,     0,     0,     0,     0,
     580              :         0,     0,     0,     0,     0,     0,     0,     0,
     581              :         6042,  6043,  6044,  6045,  6046,  0,     0,     0,
     582              :         0,     0,     0,     0,     0,     6035,  6036,  6037,
     583              :         6038,  6039,  6040,  6041,  0,     0,     0,     0,
     584              :         0,     0,     0,     0,     0,     -5,    0,     0,
     585              :         0,     0,     0,     0,     0,     -1164, -1164, 0,
     586              :         0,     0,     0,     0,     0,     0,     0,     0,
     587              :         0,     0,     0,     0,     0,     0,     0,     0,
     588              :         0,     0,     0,     0,     4185,  4186,  0,     0,
     589              :         0,     4737,  0,     0,     0,     0,     0,     0,
     590              :         0,     0,     0,     0,     883,   0,     0,     0,
     591              :         0,     0,     0,     0,     0,     0,     0,     0,
     592              :         0,     0,     0,     0,     0,     0,     0,     0,
     593              :         0,     0,     0,     0,     0,     0,     0,     0,
     594              :         0,     0,     0,     0,     0,     0,     0,     0,
     595              :         0,     0,     0,     0,     0,     0,     0,     0,
     596              :         0,     0,     0,     0,     0,     0,     0,     0,
     597              :         0,     4739,  0,     0,     0,     0,     0,     0,
     598              :         0,     0,     -96,   0,     0,     0,     0,     0,
     599              :         0,     0,     0,     0,     0,     0,     0,     0,
     600              :         -39,   -39,   3735,  -3944, -39,   -39,   -39,   0,
     601              :         0,     0,     0,     0,     0,     0,     0,     0,
     602              :         -641,  0,     0,     0,     -6136, 0,     0,     0,
     603              :         0,     0,     0,     2505,  0,     0,     0,     0,
     604              :         0,     -640,  -6178, -639,  -638,  0,     0,     0,
     605              :         0,     0,     4742,  4743,  0,     0,     0,     0,
     606              :         0,     0,     0,     0,     0,     0,     4740,  0,
     607              :         0,     0,     0,     0,     0,     0,     0,     0,
     608              :         4741,  0,     0,     0,     0,     0,     0,     0,
     609              :         0,     0,     0,     0,     0,     0,     0,     0,
     610              :         0,     0,     0,     4799,  0,     0,     0,     0,
     611              :         0,     0,     0,     0,     0,     0,     0,     0,
     612              :         0,     0,     0,     0,     0,     0,     0,     0,
     613              :         0,     0,     0,     0,     0,     0,     0,     0,
     614              :         0,     0,     0,     0,     0,     0,     0,     0,
     615              :         0,     0,     0,     0,     0,     0,     0,     0,
     616              :         0,     0,     0,     0,     3774,  -3905, 0,     0,
     617              :         0,     0,     0,     0,     0,     0,     0,     0,
     618              :         0,     0,     0,     0,     0,     0,     0,     0,
     619              :         0,     0,     0,     0,     0,     0,     32767, 0,
     620              :         0,     0,     0,     0,     0,     0,     0,     0,
     621              :         0,     0,     0,     0,     0,     0,     0,     350,
     622              :         350,   0,     32767, 0,     0,     0,     0,     32767,
     623              :         32767, 32767, 32767, 0,     0,     0,     0,     0,
     624              :         0,     0,     0,     0,     0,     0,     0,     0,
     625              :         0,     0,     0,     0,     0,     0,     0,     0,
     626              :         0,     0,     0,     0,     0,     0,     0,     0,
     627              :         0,     0,     0,     0,     0,     0,     4744,  4745,
     628              :         -9860, -2180, 0,     0,     0,     0,     0,     0,
     629              :         0,     0,     0,     0,     0,     0,     0,     0,
     630              :         -3142, 0,     0,     -5543, 0,     0,     0,     0,
     631              :         0,     0,     0,     0,     -1855, -1855, -1855, 0,
     632              :         0,     0,     0,     0,     0,     0,     0,     0,
     633              :         0,     0,     0,     0,     0,     0,     0,     0,
     634              :         0,     0,     0,     0,     0,     0,     0,     0,
     635              :         0,     0,     0,     0,     0,     0,     0,     0,
     636              :         0,     0,     0,     0,     0,     0,     0,     0,
     637              :         0,     0,     0,     0,     8149,  0,     6194,  -550,
     638              :         4188,  -550,  6198,  -7147, 533,   6072,  4184,  4185,
     639              :         -550,  -550,  -550,  -550,  -550,  -550,  -550,  -550,
     640              :         -867,  -550,  -550,  -550,  -550,  -550,  -550,  -550,
     641              :         0,     0,     -549,  -549,  0,     0,     -547,  0,
     642              :         0,     -545,  -545,  0,     0,     -543,  -543,  4800,
     643              :         -543,  4801,  4802,  -542,  -542,  -542,  -542,  -542,
     644              :         -542,  -582,  -542,  -583,  -542,  0,     0,     -541,
     645              :         0,     -540,  305,   -540,  -540,  -540,  -540,  -540,
     646              :         0,     -539,  296,   297,   307,   -539,  -539,  -539,
     647              :         -539,  -539,  -539,  -539,  -2896, -539,  -539,  -539,
     648              :         -539,  -539,  -539,  -539,  -539,  -539,  -539,  -539,
     649              :         -539,  32767, 32767, 32767, -542,  -542,  -542,  -542,
     650              :         -542,  -542,  32767, 32767, -544,  -544,  -544,  -544,
     651              :         -544,  -544,  32767, 32767, -546,  -546,  -546,  -546,
     652              :         -546,  -546,  6181,  32767, -548,  -548,  -548,  6185,
     653              :         6186,  6187,  380,   35,    0,     0,     8149,  0,
     654              :         6194,  6195,  4187,  0,     6198,  -7147, 533,   6072,
     655              :         534,   6074,  5937,  6205,  5938,  5938,  5938,  32767,
     656              :         42,    0,     32767, 763,   32767, 32767, 6212,  32767,
     657              :         6084,  6214,  6215,  6216,  40,    40,    40,    40,
     658              :         6221,  6222,  32767, 6223,  6224,  6225,  6226,  32767,
     659              :         6227,  32767, 6228,  32767, 32767, 32767, 32767, 32767,
     660              :         32767, 6229,  32767, 32767, 32767, 32767, 6230,  32767,
     661              :         6231,  32767, 6232,  32767, 6233,  6234,  1394,  32767,
     662              :         6236,  6237,  32767, 1393,  32767, 32767, 1392,  32767,
     663              :         7848,  32767, 0,     32767, 0,     32767, 0,     32767,
     664              :         6115,  6116,  32767, 6117,  32767, 32767, 1378,  3735,
     665              :         6120,  6121,  32767, 3736,  3736,  3736,  3736,  3736,
     666              :         6127,  6128,  32767, 3737,  6130,  3738,  3738,  32767,
     667              :         3737,  -3878, 6135,  6136,  32767, 6137,  32767, 6138,
     668              :         6139,  -584,  -584,  -584,  6143,  6144,  -585,  -585,
     669              :         -585,  32767, 6148,  6149,  342,   -3,    -38,   -38,
     670              :         8111,  -38,   6156,  6157,  4149,  -38,   6160,  -7185,
     671              :         495,   6034,  496,   32767, 32767, 32767, 32767, 32767,
     672              :         5895,  6166,  0,     32767, 720,   721,   722,   723,
     673              :         6172,  32767, 6044,  6174,  6175,  6176,  0,     0,
     674              :         0,     0,     6181,  6182,  6183,  6184,  6185,  6186,
     675              :         6187,  6188,  6189,  32767, 32767, 32767, 32767, 32767,
     676              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     677              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     678              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     679              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     680              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     681              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     682              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     683              :         32767, 32767, 32767, 2745,  32767, 32767, 32767, 32767,
     684              :         32767, 32767, 32767, 32767, 32767, 0,     32767, 4786,
     685              :         4787,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
     686              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     687              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     688              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     689              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     690              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     691              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     692              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     693              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     694              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     695              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     696              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     697              :         32767, 32767, 32767, 32767, 32767, -3270, -3270, -3270,
     698              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     699              :         32767, 32767, 32767, 32767, 4671,  4672,  4673,  -68,
     700              :         -68,   4676,  4677,  4678,  4679,  4680,  4681,  32767,
     701              :         71,    6566,  32767, 32767, 4682,  4683,  4684,  4685,
     702              :         4686,  4687,  4688,  4689,  4690,  -50,   4692,  4693,
     703              :         4694,  4695,  4696,  4697,  4698,  4699,  4700,  4701,
     704              :         4702,  4703,  4704,  4705,  4706,  4707,  4708,  4709,
     705              :         -89,   4711,  4712,  32767, 4713,  4714,  4715,  4716,
     706              :         6236,  6237,  6238,  6239,  6240,  6241,  6242,  6243,
     707              :         4804,  4805,  6246,  6247,  6248,  6249,  6250,  6251,
     708              :         6252,  6253,  6254,  6255,  1482,  6257,  6258,  6259,
     709              :         6260,  6261,  6262,  6263,  32767, 32767, 32767, 32767,
     710              :         32767, 32767, 32767, 32767, 32767, -3370, 32767, 32767,
     711              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     712              :         32767, 32767, 32767, 32767, 32767, 32767, 6264,  6265,
     713              :         6266,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
     714              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     715              :         32767, 32767, 32767, 6268,  6269,  6270,  32767, 32767,
     716              :         32767, 32767, 32767, 32767, 32767, 32767, -2053, 32767,
     717              :         32767, 32767, 32767, 6310,  6272,  6273,  6274,  6275,
     718              :         6276,  6277,  6278,  6279,  6280,  6922,  6282,  6283,
     719              :         6284,  12421, 6286,  6287,  6288,  6289,  6290,  6291,
     720              :         3787,  6293,  6294,  6295,  6296,  6297,  6938,  12477,
     721              :         6939,  6939,  6302,  6303,  6304,  6305,  6306,  1565,
     722              :         1565,  6309,  6310,  6311,  6312,  6313,  6314,  32767,
     723              :         32767, 32767, 32767, 1575,  6316,  6317,  6318,  6319,
     724              :         6320,  6321,  6322,  6323,  32767, 32767, 32767, 32767,
     725              :         32767, 32767, 32767, 6324,  6325,  32767, 32767, 32767,
     726              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     727              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     728              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     729              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     730              :         32767, 32767, 32767, 0,     0,     32767, 32767, 32767,
     731              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     732              :         32767, 4796,  32767, 32767, 32767, 32767, 32767, 32767,
     733              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     734              :         32767, 32767, 32767, 32767, 3924,  32767, 32767, 32767,
     735              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     736              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     737              :         32767, 32767, 32767, 32767, 32767, 32767, 4795,  32767,
     738              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     739              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     740              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     741              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     742              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     743              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     744              :         32767, 32767, 32767, 32767, 32767, 0,     0,     0,
     745              :         0,     32767, 32767, 32767, 32767, 32767, 32767, 32767,
     746              :         32767, 32767, 32767, 32767, 32767, 0,     32767, 32767,
     747              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     748              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     749              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     750              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     751              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     752              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     753              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     754              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     755              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     756              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     757              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     758              :         32767, 32767, 32767, 32767, 32767, 32767, 0,     0,
     759              :         0,     0,     0,     0,     0,     0,     0,     0,
     760              :         0,     0,     0,     0,     0,     0,     0,     0,
     761              :         0,     0,     0,     0,     0,     0,     0,     0,
     762              :         0,     0,     0,     0,     0,     0,     0,     0,
     763              :         0,     0,     0,     0,     0,     0,     0,     0,
     764              :         0,     0,     0,     0,     0,     0,     0,     0,
     765              :         0,     0,     0,     0,     0,     0,     0,     0,
     766              :         0,     0,     0,     0,     0,     0,     0,     0,
     767              :         0,     0,     0,     0,     0,     0,     0,     0,
     768              :         0,     0,     0,     0,     0,     0,     0,     0,
     769              :         0,     0,     0,     0,     0,     0,     0,     0,
     770              :         0,     0,     0,     0,     0,     0,     0,     0,
     771              :         0,     0,     0,     0,     0,     0,     0,     0,
     772              :         0,     0,     0,     0,     0,     0,     0,     0,
     773              :         0,     0,     0,     0,     0,     0,     0,     0,
     774              :         0,     0,     0,     0,     0,     0,     0,     0,
     775              :         0,     0,     0,     0,     0,     0,     0,     0,
     776              :         0,     0,     0,     0,     0,     0,     0,     0,
     777              :         0,     0,     0,     0,     0,     0,     0,     0,
     778              :         0,     0,     0,     0,     0,     0,     0,     0,
     779              :         0,     0,     0,     0,     0,     0,     0,     0,
     780              :         0,     0,     0,     0,     0,     0,     0,     0,
     781              :         0,     0,     0,     0,     0,     0,     0,     0,
     782              :         0,     0,     0,     0,     0,     0,     0,     0,
     783              :         0,     0,     0,     0,     0,     0,     0,     0,
     784              :         0,     0,     0,     0,     0,     0,     0,     0,
     785              :         0,     0,     0,     0,     0,     0,     0,     0,
     786              :         0,     0,     0,     0,     0,     0,     0,     0,
     787              :         0,     0,     0,     0,     0,     0,     0,     0,
     788              :         0,     0,     0,     0,     0,     0,     0,     0,
     789              :         0,     0,     32767, 0,     32767, 0,     32767, 0,
     790              :         32767, 0,     32767, 0,     32767, 0,     32767, 32767,
     791              :         0,     32767, 0,     32767, 0,     32767, 32767, 32767,
     792              :         32767, 4803,  32767, 0,     0,     32767, 0,     0,
     793              :         32767, 0,     0,     32767, 0,     0,     32767, 0,
     794              :         0,     32767, 32767, 32767, 32767, 32767, 32767, 32767,
     795              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     796              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
     797              :         32767, 32767, 32767, 32767, 0,     0,     0,     0,
     798              :         32767, 0,     0,     32767, 32767, 32767, 32767, 32767,
     799              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
     800              :         32767, 0,     32767, 0,     0,     0,     0,     0,
     801              :         0,     0,     0,     0,     0,     0,     0,     0,
     802              :         0,     0,     0,     0,     0,     0,     0,     0,
     803              :         0,     0,     0,     0,     0,     0,     0,     0,
     804              :         0,     0,     0,     0,     0,     0,     0,     0,
     805              :         0,     0,     0,     0,     0,     0,     0,     0,
     806              :         0,     0,     0,     0,     0,     0,     0,     0,
     807              :         0,     0,     0,     0,     0,     0,     0,     0,
     808              :         0,     0,     0,     0,     0,     0,     0,     0,
     809              :         0,     0,     0,     0,     0,     0,     0,     0,
     810              :         0,     0,     0,     0,     0,     0,     0,     0,
     811              :         0,     0,     0,     0,     0,     0,     0,     0,
     812              :         0,     0,     0,     0,     0,     0,     0,     0,
     813              :         0,     0,     0,     0,     0,     0,     0,     0,
     814              :         0,     0,     0,     0,     0,     0,     0,     0,
     815              :         0,     0,     0,     0,     0,     0,     0,     0,
     816              :         0,     0,     0,     0,     0,     0,     0,     0,
     817              :         0,     0,     0,     0,     0,     0,     0,     0,
     818              :         0,     0,     0,     0,     0,     0,     0,     0,
     819              :         0,     32767, 32767, 32767, 32767, 32767, 32767, 32767,
     820              :         32767, 0,     0,     0,     0,     0,     0,     0,
     821              :         0,     0,     0,     0,     0,     0,     0,     0,
     822              :         0,     0,     0,     0,     -2044, -2044, -873,  -873,
     823              :         -873,  0,     -2043, -2043, -2043, -868,  3607,  3607,
     824              :         3607,  0,     0,     0,     0,     0,     0,     0,
     825              :         0,     0,     0,     0,     0,     0,     0,     0,
     826              :         0,     0,     0,     0,     0,     0,     0,     0,
     827              :         0,     0,     0,     0,     0,     0,     0,     0,
     828              :         0,     0,     0,     0,     0,     0,     0,     0,
     829              :         0,     0,     0,     0,     0,     0,     0,     0,
     830              :         0,     0,     0,     0,     0,     0,     0,     0,
     831              :         0,     0,     0,     0,     0,     0,     0,     0,
     832              :         0,     0,     0,     0,     0,     0,     0,     0,
     833              :         0,     0,     0,     0,     0,     0,     0,     0,
     834              :         0,     0,     0,     0,     0,     0,     0,     0,
     835              :         0,     0,     0,     0,     0,     0,     0,     0,
     836              :         0,     0,     0,     0,     0,     0,     0,     0,
     837              :         0,     0,     0,     0,     0,     0,     0,     0,
     838              :         0,     0,     0,     0,     0,     0,     0,     0,
     839              :         0,     0,     0,     0,     0,     0,     0,     0,
     840              :         0,     0,     0,     0,     0,     0,     0,     0,
     841              :         0,     0,     0,     0,     0,     0,     0,     0,
     842              :         0,     0,     0,     0,     0,     0,     0,     0,
     843              :         0,     0,     0,     0,     0,     0,     0,     0,
     844              :         0,     0,     0,     0,     0,     0,     0,     0,
     845              :         0,     0,     0,     0,     0,     0,     0,     0,
     846              :         0,     0,     0,     0,     0,     0,     0,     0,
     847              :         0,     0,     0,     0,     0,     0,     0,     0,
     848              :         0,     0,     0,     0,     0,     0,     0,     0,
     849              :         0,     0,     0,     0,     0,     0,     0,     0,
     850              :         0,     0,     0,     0,     0,     0,     0,     0,
     851              :         0,     0,     0,     0,     0,     0,     0,     0,
     852              :         0,     0,     0,     0,     0,     0,     0,     0,
     853              :         0,     0,     0,     0,     0,     0,     0,     0,
     854              :         0,     0,     0,     0,     0,     0,     0,     0,
     855              :         0,     0,     0,     0,     0,     0,     0,     0,
     856              :         0,     0,     0,     0,     0,     0,     0,     0,
     857              :         0,     0,     0,     0,     0,     0,     0,     0,
     858              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     859              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     860              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     861              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     862              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     863              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     864              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     865              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     866              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     867              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     868              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     869              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     870              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     871              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     872              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     873              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     874              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     875              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     876              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     877              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     878              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     879              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     880              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     881              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     882              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     883              :         32767, 896,   897,   32767, 32767, 32767, 32767, 32767,
     884              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     885              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     886              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     887              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     888              :         32767, 32767, 0,     0,     0,     0,     0,     0,
     889              :         0,     0,     9932,  0,     32767, 32767, 32767, 32767,
     890              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     891              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     892              :         32767, 32767, 898,   32767, 32767, 32767, 32767, 32767,
     893              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     894              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, -1145,
     895              :         -1144, -1143, -1142, -1141, -1140, -1139, -1138, 32767,
     896              :         32767, -1137, 32767, 32767, 32767, 32767, 32767, 32767,
     897              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     898              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     899              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     900              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     901              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     902              :         32767, 32767, -3659, -5441, -5441, -3658, -3657, -3656,
     903              :         -5441, -3655, -5441, -3654, -5441, -4524, -5441, -3652,
     904              :         32767, -3651, -3650, -5442, -3649, -3648, -3647, -5442,
     905              :         -3646, -3645, -3644, -3643, -4515, -3641, -3640, -5442,
     906              :         -3639, -4512, -3637, -3636, -3635, -3634, -5442, -5112,
     907              :         3037,  -5442, -3633, -3632, -3631, -3630, -3629, -5442,
     908              :         32767, 32767, -5444, -5444, -5444, -3630, -3629, -3628,
     909              :         -3627, -3626, -3625, -3624, -3623, -3622, 32767, 32767,
     910              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     911              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     912              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     913              :         32767, -1079, 32767, -1078, 32767, -1076, 32767, -1075,
     914              :         32767, -1074, 32767, 32767, 32767, -1073, 32767, 32767,
     915              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     916              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     917              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 6326,
     918              :         6327,  6328,  6329,  6330,  6331,  6332,  6333,  -3598,
     919              :         6335,  32767, 32767, 32767, 32767, 32767, -5387, 32767,
     920              :         -5388, 32767, 32767, -3599, -3598, 32767, -3598, -3597,
     921              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     922              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     923              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     924              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     925              :         32767, 32767, 32767, 32767, 32767, 32767, -3608, -3607,
     926              :         -3606, -3605, -3835, -3603, -3602, -3601, -3600, 32767,
     927              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     928              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     929              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     930              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     931              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     932              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     933              :         32767, 32767, 32767, 32767, 32767, 1116,  988,   32767,
     934              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     935              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     936              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     937              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     938              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     939              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     940              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     941              :         32767, 1118,  32767, 32767, 32767, 32767, 32767, 32767,
     942              :         32767, 32767, 32767, 32767, 32767, 990,   991,   32767,
     943              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     944              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     945              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
     946              :         32767, 32767, 32767, 32767, 0,     0,     0,     0,
     947              :         0,     0,     0,     0,     0,     0,     32767, 32767,
     948              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     949              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     950              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     951              :         32767, 32767, 32767, -1267, -1721, 0,     0,     0,
     952              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     953              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     954              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     955              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     956              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     957              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     958              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     959              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     960              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     961              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 3014,
     962              :         2461,  2462,  32767, 32767, 32767, 32767, 32767, 32767,
     963              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     964              :         32767, 32767, 32767, 32767, 3021,  32767, 32767, 32767,
     965              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     966              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     967              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     968              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     969              :         32767, 32767, 3022,  32767, 32767, 32767, 32767, 32767,
     970              :         32767, 32767, 32767, 32767, 993,   994,   -5735, 32767,
     971              :         -5736, 997,   998,   999,   -4808, -5153, -5188, -5188,
     972              :         2961,  -5188, 1006,  1007,  -1001, 32767, 1009,  -12336,
     973              :         -4656, 883,   -4655, 885,   748,   32767, 32767, 32767,
     974              :         32767, 1016,  32767, 32767, 32767, 32767, 32767, 32767,
     975              :         1017,  32767, 32767, 32767, 1018,  1019,  32767, 32767,
     976              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     977              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     978              :         3015,  3016,  3017,  3018,  32767, 32767, 32767, 3019,
     979              :         3020,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
     980              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     981              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     982              :         32767, 1020,  1021,  1022,  32767, 1023,  1024,  -1357,
     983              :         -3714, -1357, 1028,  1029,  -1355, -1355, -1355, -1355,
     984              :         32767, -1356, 1035,  1036,  -1354, -1354, 1039,  -1353,
     985              :         -1353, -1353, -1353, -8968, 1045,  1046,  1047,  1048,
     986              :         1049,  1050,  1051,  32767, -5673, -5673, 1054,  1055,
     987              :         -5674, -5674, -5674, 1059,  1060,  1061,  -4746, -5091,
     988              :         -5126, -5126, 3023,  -5126, 1068,  1069,  -939,  -5126,
     989              :         1072,  -12273,-4593, 946,   -4592, 948,   811,   1079,
     990              :         0,     32767, 32767, 32767, 32767, 32767, 32767, 32767,
     991              :         32767, 32767, 32767, 32767, 32767, 1080,  3024,  3025,
     992              :         3026,  3027,  3028,  3029,  3030,  3031,  3032,  0,
     993              :         0,     3035,  3036,  3037,  3038,  3039,  3040,  3041,
     994              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     995              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
     996              :         1081,  1082,  -3758, 1084,  1085,  1086,  1087,  -3757,
     997              :         1089,  1090,  -3756, 2739,  2701,  1223,  1224,  1225,
     998              :         1226,  2710,  1228,  1229,  1230,  1231,  1232,  1233,
     999              :         1234,  1235,  1236,  1237,  1238,  1239,  1240,  1241,
    1000              :         1242,  857,   858,   1245,  -3754, 1247,  419,   1249,
    1001              :         851,   -5627, -5272, -5232, -5627, -9005, -1325, 855,
    1002              :         -5627, -5627, -5627, -5627, -5627, -5627, -5627, -5627,
    1003              :         -5627, -5627, -5627, -5627, -5627, -2274, 868,   868,
    1004              :         -4675, -5627, -5267, -5627, -5627, -5266, -5627, -5265,
    1005              :         -5627, -5627, -5627, -5627, -5627, -5627, -5627, -5627,
    1006              :         -5627, -5627, -5627, -5627, -5627, -5627, -5627, -5627,
    1007              :         -5627, -5627, -5627, -5627, -5627, -5627, -5264, -5627,
    1008              :         -5263, -5627, -5627, -5627, 1924,  32767, 1182,  1183,
    1009              :         1184,  1185,  1186,  1187,  1188,  1189,  1190,  1191,
    1010              :         1192,  1193,  1194,  1195,  1196,  1197,  1198,  1199,
    1011              :         1200,  1201,  1202,  1203,  1204,  1205,  1206,  1207,
    1012              :         1208,  1209,  1210,  1211,  -3629, 1213,  1214,  1215,
    1013              :         1216,  -3628, 1218,  1219,  -3627, 2868,  2830,  1352,
    1014              :         1353,  1354,  1355,  2839,  1357,  1358,  1359,  1360,
    1015              :         1361,  1362,  1363,  1364,  1365,  1366,  1367,  1368,
    1016              :         1369,  1370,  1371,  986,   987,   1374,  -3625, 1376,
    1017              :         548,   1378,  980,   -5498, -5143, -5103, -5498, -8876,
    1018              :         -1196, 984,   -5498, -5498, -5498, -5498, -5498, -5498,
    1019              :         -5498, -5498, -5498, -5498, -5498, -5498, -5498, -2145,
    1020              :         997,   997,   -4546, -5498, -5138, -5498, -5498, -5137,
    1021              :         -5498, -5136, -5498, -5498, -5498, -5498, -5498, -5498,
    1022              :         -5498, -5498, -5498, -5498, -5498, -5498, -5498, -5498,
    1023              :         -5498, -5498, -5498, -5498, -5498, -5498, -5498, -5498,
    1024              :         -5135, -5498, -5134, -5498, -5498, -5498, 2053,  -5498,
    1025              :         -5498, -5498, -5498, -5498, -5498, -9874, -5132, -5131,
    1026              :         -5130, -5129, -5498, -5498, -5128, -5127, -5498, -5498,
    1027              :         -5126, -5125, -5498, -5498, -5498, -5498, -5498, -5498,
    1028              :         -9923, -5123, 32767, 32767, 32767, 32767, -5502, -5502,
    1029              :         -3605, -3604, -5502, -5502, -5502, -5502, 1346,  2865,
    1030              :         2827,  1349,  1350,  1351,  1352,  2836,  1354,  1355,
    1031              :         1356,  1357,  1358,  1359,  1360,  1361,  1362,  1363,
    1032              :         1364,  1365,  1366,  1367,  1368,  983,   984,   1371,
    1033              :         -3628, 1373,  545,   1375,  977,   1377,  1378,  549,
    1034              :         509,   549,   1382,  1383,  1384,  1385,  1386,  1387,
    1035              :         1388,  1389,  1390,  1391,  1392,  1393,  1394,  1395,
    1036              :         562,   1397,  1398,  1399,  1400,  1401,  1402,  1403,
    1037              :         1404,  1405,  1406,  1407,  1408,  1409,  1410,  1411,
    1038              :         1412,  1413,  1414,  578,   578,   1417,  1418,  1419,
    1039              :         1420,  1421,  1422,  1423,  1424,  1425,  1426,  1427,
    1040              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, -5379,
    1041              :         2172,  -5379, -5379, -5379, -5379, -5379, -5379, -9755,
    1042              :         -5013, -5012, -5011, -5010, -5379, -5379, -5009, -5008,
    1043              :         -5379, -5379, -5007, -5006, -5379, 32767, 32767, -5381,
    1044              :         -5381, -5381, -9806, -5006, -5381, 32767, 32767, -5006,
    1045              :         -5383, -5383, -3486, -3485, -5383, -5383, -5383, -5383,
    1046              :         1465,  2984,  2946,  1468,  1469,  1470,  1471,  2955,
    1047              :         1473,  1474,  1475,  1476,  1477,  1478,  1479,  1480,
    1048              :         1481,  1482,  1483,  1484,  1485,  1486,  1487,  1102,
    1049              :         1103,  1490,  -3509, 1492,  664,   32767, 32767, 1494,
    1050              :         1495,  666,   626,   666,   1499,  32767, 32767, 1500,
    1051              :         1501,  1502,  1503,  1504,  1505,  1506,  1507,  32767,
    1052              :         1508,  32767, 675,   32767, 1510,  32767, 1511,  1512,
    1053              :         1513,  1514,  1515,  1516,  1517,  1518,  1519,  1520,
    1054              :         1521,  1522,  1523,  1524,  1525,  689,   689,   1528,
    1055              :         1529,  1530,  1531,  1532,  1533,  1534,  1535,  1536,
    1056              :         1537,  1538,  1539,  1540,  1541,  32767, 32767, 1542,
    1057              :         1543,  1544,  1545,  1546,  1547,  1548,  1549,  1550,
    1058              :         1551,  1552,  1553,  1554,  1555,  1556,  1557,  1558,
    1059              :         1559,  1560,  1561,  1562,  1563,  1564,  1565,  1566,
    1060              :         1567,  1568,  1569,  1570,  1571,  1572,  -5863, 1574,
    1061              :         1575,  1576,  1577,  1578,  1579,  1580,  1581,  1582,
    1062              :         1583,  1584,  745,   428,   1587,  1588,  1589,  1590,
    1063              :         1591,  1592,  429,   430,   32767, 1595,  1596,  1597,
    1064              :         1598,  1599,  1600,  1601,  1602,  1603,  -2463, -2462,
    1065              :         -2461, -2460, -2459, 1609,  32767, 1610,  1611,  770,
    1066              :         1613,  771,   1615,  772,   1617,  1618,  1619,  1620,
    1067              :         1621,  1622,  1623,  32767, 32767, 1624,  1625,  1626,
    1068              :         1627,  1628,  1629,  32767, 1630,  1631,  1632,  1633,
    1069              :         1634,  1635,  1636,  1637,  791,   1639,  1640,  1641,
    1070              :         1642,  795,   1644,  1645,  1646,  1647,  799,   32767,
    1071              :         32767, 1649,  426,   427,   32767, 1652,  1653,  1654,
    1072              :         1655,  1656,  1657,  808,   1659,  1660,  32767, 32767,
    1073              :         1661,  1662,  1663,  1664,  1665,  1666,  1667,  1668,
    1074              :         1669,  1670,  1671,  32767, 32767, 32767, 32767, 32767,
    1075              :         32767, 1672,  32767, 32767, 32767, 32767, 32767, 1673,
    1076              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1077              :         32767, 32767, 32767, 32767, 1674,  1675,  1676,  32767,
    1078              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 1677,
    1079              :         32767, 32767, 32767, 1678,  515,   32767, 1680,  1681,
    1080              :         32767, 32767, 32767, 32767, 1682,  32767, 1683,  32767,
    1081              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 1684,
    1082              :         1685,  844,   32767, 32767, 32767, 32767, 32767, 32767,
    1083              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 1687,
    1084              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 1688,
    1085              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1086              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1087              :         840,   1690,  32767, 32767, 467,   468,   1693,  1694,
    1088              :         1695,  1696,  1697,  1698,  1699,  850,   1701,  1702,
    1089              :         1703,  1788,  1705,  1706,  1707,  857,   857,   857,
    1090              :         857,   857,   857,   857,   857,   857,   857,   32767,
    1091              :         856,   856,   1720,  1721,  858,   858,   858,   1789,
    1092              :         1444,  1727,  859,   859,   1730,  32767, 32767, 32767,
    1093              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1094              :         1731,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1095              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1096              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1097              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1098              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1099              :         1732,  1733,  1734,  1735,  1736,  1737,  1738,  1739,
    1100              :         1740,  1741,  1511,  1743,  1744,  32767, 32767, 32767,
    1101              :         32767, 1745,  32767, 32767, 32767, 1746,  1747,  -4286,
    1102              :         1749,  1750,  -4284, 1752,  1753,  1754,  1755,  1756,
    1103              :         1757,  32767, 32767, 32767, 32767, 4806,  4807,  4808,
    1104              :         4809,  4810,  4811,  5051,  4813,  32767, 32767, 32767,
    1105              :         32767, 1758,  1759,  1844,  1761,  32767, 1762,  912,
    1106              :         912,   32767, 911,   911,   911,   911,   911,   911,
    1107              :         911,   911,   911,   911,   1775,  0,     912,   912,
    1108              :         0,     0,     1496,  1779,  911,   911,   1782,  0,
    1109              :         0,     1783,  1784,  1785,  0,     1786,  0,     1787,
    1110              :         0,     917,   0,     1789,  1790,  1791,  1792,  0,
    1111              :         1793,  1794,  1795,  0,     1796,  1797,  1798,  1799,
    1112              :         927,   1801,  1802,  0,     1803,  930,   1805,  1806,
    1113              :         1807,  1808,  0,     330,   8479,  0,     1809,  1810,
    1114              :         1811,  1812,  1813,  0,     0,     0,     0,     0,
    1115              :         0,     1814,  1815,  1816,  1817,  1818,  1819,  1820,
    1116              :         1821,  1822,  1823,  1824,  1594,  1826,  1827,  1828,
    1117              :         1829,  1830,  1831,  1832,  1833,  1834,  1835,  1836,
    1118              :         1837,  -4196, 1839,  1840,  -4194, 1842,  1843,  1844,
    1119              :         1845,  1846,  1847,  1848,  -3632, -3632, 1851,  1852,
    1120              :         1853,  1854,  1855,  -3627, 1857,  1858,  1859,  1860,
    1121              :         1861,  0,     0,     0,     0,     0,     0,     0,
    1122              :         0,     0,     -2936, 0,     0,     0,     0,     0,
    1123              :         480,   0,     481,   0,     482,   6597,  6598,  6599,
    1124              :         6471,  6601,  6602,  4221,  1864,  4221,  6606,  6607,
    1125              :         4223,  4223,  4223,  4223,  4223,  4223,  6614,  6615,
    1126              :         4225,  4225,  6618,  4226,  4226,  4226,  4226,  -3389,
    1127              :         6624,  6625,  6626,  6627,  6628,  6629,  6630,  -93,
    1128              :         -93,   -93,   6634,  6635,  -94,   -94,   -94,   6639,
    1129              :         6640,  6641,  834,   489,   454,   454,   8603,  454,
    1130              :         6648,  6649,  4641,  454,   6652,  -6693, 987,   6526,
    1131              :         988,   6528,  6391,  6659,  6392,  6392,  6392,  6663,
    1132              :         497,   455,   1218,  1219,  1220,  1221,  6670,  6542,
    1133              :         6543,  6673,  6674,  6675,  499,   499,   499,   499,
    1134              :         6680,  6681,  6682,  6683,  6684,  6685,  6686,  6687,
    1135              :         6688,  6689,  6690,  6691,  6692,  6693,  6694,  6695,
    1136              :         6696,  6697,  6698,  6699,  6700,  6701,  6702,  6703,
    1137              :         6704,  6705,  6706,  6707,  6708,  6709,  1869,  6711,
    1138              :         6712,  6713,  6714,  1870,  6716,  6717,  1871,  8366,
    1139              :         8328,  6850,  6851,  6852,  6853,  8337,  6855,  6856,
    1140              :         6857,  6858,  6859,  6860,  6861,  6862,  6863,  6864,
    1141              :         6865,  6866,  6867,  6868,  6869,  6484,  6485,  6872,
    1142              :         1873,  6874,  6046,  6876,  6478,  0,     355,   395,
    1143              :         0,     -3378, 4302,  6482,  0,     0,     0,     0,
    1144              :         0,     0,     0,     0,     0,     0,     0,     0,
    1145              :         0,     3353,  6495,  6495,  952,   0,     360,   0,
    1146              :         0,     361,   0,     362,   0,     0,     0,     0,
    1147              :         0,     0,     0,     0,     0,     0,     0,     0,
    1148              :         0,     0,     0,     0,     0,     0,     0,     0,
    1149              :         0,     0,     363,   0,     364,   0,     0,     0,
    1150              :         7551,  0,     0,     0,     0,     0,     0,     -4376,
    1151              :         366,   367,   368,   369,   0,     0,     370,   371,
    1152              :         0,     0,     372,   373,   0,     0,     0,     0,
    1153              :         0,     0,     -4425, 375,   0,     0,     376,   377,
    1154              :         0,     0,     1897,  1898,  0,     0,     0,     0,
    1155              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1156              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1157              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1158              :         32767, 32767, 32767, 32767, 32767, 32767, 1899,  1900,
    1159              :         1901,  1902,  32767, 32767, 32767, 32767, 32767, 32767,
    1160              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1161              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1162              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1163              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1164              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1165              :         32767, 32767, 1903,  1904,  1905,  1906,  3065,  3066,
    1166              :         3067,  3068,  3069,  3070,  1907,  1908,  3073,  3074,
    1167              :         3075,  3076,  3077,  3078,  3079,  3080,  3081,  3082,
    1168              :         -984,  -983,  -982,  -981,  -980,  3088,  3089,  3090,
    1169              :         3091,  2250,  3093,  2251,  3095,  2252,  3097,  3098,
    1170              :         3099,  3100,  3101,  3102,  3103,  3104,  3105,  3106,
    1171              :         3107,  3108,  3109,  3110,  3111,  3112,  3113,  3114,
    1172              :         3115,  3116,  3117,  3118,  3119,  3120,  2274,  3122,
    1173              :         3123,  3124,  3125,  2278,  3127,  3128,  3129,  3130,
    1174              :         2282,  3132,  3133,  3134,  1911,  1912,  3137,  3138,
    1175              :         3139,  3140,  3141,  3142,  3143,  2294,  3145,  3146,
    1176              :         3147,  3232,  3149,  3150,  3151,  2301,  2301,  2301,
    1177              :         2301,  2301,  2301,  2301,  2301,  2301,  2301,  2301,
    1178              :         2301,  2301,  3165,  3166,  2303,  2303,  2303,  3234,
    1179              :         2889,  3172,  2304,  2304,  3175,  3176,  3177,  3178,
    1180              :         3179,  3180,  3181,  3182,  3183,  3184,  3185,  2315,
    1181              :         3187,  3188,  3189,  3190,  3191,  3192,  3193,  3194,
    1182              :         3195,  2324,  3197,  3198,  3199,  3200,  2328,  3202,
    1183              :         3203,  3204,  3205,  2332,  3207,  3208,  3209,  3210,
    1184              :         2336,  3212,  3213,  3214,  3215,  3216,  3217,  3218,
    1185              :         3219,  3220,  3221,  3222,  3223,  2348,  3225,  3226,
    1186              :         3227,  3228,  3229,  3230,  3231,  3232,  3233,  3234,
    1187              :         3235,  3236,  3006,  3238,  3239,  3240,  3241,  3242,
    1188              :         3243,  3244,  3245,  3246,  3247,  3248,  3249,  -2784,
    1189              :         3251,  3252,  -2782, 3254,  3255,  3256,  3257,  3258,
    1190              :         3259,  3260,  -2220, -2220, 3263,  3264,  3265,  3266,
    1191              :         3267,  -2215, 3269,  3270,  3271,  3272,  3273,  3274,
    1192              :         3275,  3276,  3277,  3278,  3279,  3280,  3281,  3282,
    1193              :         -1515, 3284,  3285,  3286,  3287,  3288,  3289,  3290,
    1194              :         3291,  3292,  3293,  3294,  3295,  3296,  3297,  3298,
    1195              :         3299,  5658,  3301,  3302,  3303,  3304,  3305,  3306,
    1196              :         3307,  3308,  7922,  3310,  3311,  3312,  3313,  3314,
    1197              :         3315,  3316,  1798,  1838,  1839,  32767, 3320,  3321,
    1198              :         3322,  3323,  3324,  2453,  3326,  3327,  3328,  3329,
    1199              :         2457,  3331,  3332,  3333,  32767, 32767, 3334,  32767,
    1200              :         3335,  32767, 32767, 3336,  3337,  3338,  3339,  3340,
    1201              :         3341,  3342,  3343,  3344,  3345,  32767, 3346,  32767,
    1202              :         3347,  32767, 32767, 3348,  3349,  32767, 32767, 32767,
    1203              :         3350,  3351,  3352,  3353,  3123,  3355,  3356,  3357,
    1204              :         3358,  3359,  3360,  3361,  3362,  3363,  3364,  3365,
    1205              :         3366,  -2667, 3368,  3369,  -2665, 3371,  3372,  3373,
    1206              :         3374,  3375,  3376,  3377,  -2103, -2103, 3380,  3381,
    1207              :         3382,  3383,  3384,  -2098, 3386,  3387,  3388,  3389,
    1208              :         3390,  3391,  3392,  3393,  3394,  3395,  3396,  3397,
    1209              :         3398,  3399,  -1398, 3401,  3402,  3403,  3404,  3405,
    1210              :         3406,  3407,  3408,  3409,  3410,  3411,  3412,  3413,
    1211              :         3414,  3415,  3416,  5775,  32767, 32767, 3418,  3419,
    1212              :         3420,  3421,  3422,  3423,  8037,  3425,  3426,  3427,
    1213              :         3428,  3429,  3430,  3431,  1913,  1953,  1954,  -1819,
    1214              :         5861,  1957,  1958,  1959,  1921,  1922,  1923,  1924,
    1215              :         1925,  1926,  1927,  1928,  1929,  2571,  1931,  1932,
    1216              :         1933,  8070,  1935,  1936,  1937,  1938,  1939,  1940,
    1217              :         -564,  1942,  1943,  1944,  1945,  1946,  2587,  8126,
    1218              :         2588,  2588,  1951,  1952,  1953,  1954,  1955,  -2786,
    1219              :         -2786, 1958,  1959,  1960,  1961,  1962,  1963,  1964,
    1220              :         1965,  1966,  1967,  -2772, 1969,  1970,  1971,  1972,
    1221              :         1973,  1974,  1975,  1976,  1977,  -2763, 1979,  1980,
    1222              :         1981,  1982,  1983,  1984,  1985,  1986,  1987,  1988,
    1223              :         1989,  1990,  1991,  1992,  1993,  1994,  1995,  1996,
    1224              :         -2802, 1998,  1999,  2000,  2001,  2002,  2003,  2004,
    1225              :         2005,  2006,  2007,  2008,  2009,  2010,  2011,  2012,
    1226              :         2013,  2014,  2015,  2016,  2017,  2018,  2019,  2020,
    1227              :         2021,  2022,  2023,  2024,  2025,  2026,  2027,  2028,
    1228              :         2029,  2030,  2031,  2032,  2033,  2034,  2035,  2036,
    1229              :         2037,  2038,  2039,  2040,  2041,  2042,  2043,  2044,
    1230              :         2045,  -1728, 5952,  2048,  2049,  2050,  2051,  32767,
    1231              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1232              :         32767, 32767, 2012,  8149,  2014,  2015,  2016,  32767,
    1233              :         32767, 32767, 32767, 32767, 2017,  2018,  2019,  2020,
    1234              :         2661,  8200,  2662,  2662,  2025,  2026,  2027,  2028,
    1235              :         2029,  -2712, -2712, 2032,  2033,  2034,  2035,  2036,
    1236              :         2037,  2038,  2039,  2040,  2041,  -2698, 32767, 2043,
    1237              :         2044,  2045,  2046,  2047,  32767, 2048,  32767, -2692,
    1238              :         2050,  32767, 2051,  2052,  32767, 2053,  2054,  2055,
    1239              :         2056,  2057,  2058,  2059,  2060,  2061,  2062,  2063,
    1240              :         2064,  2065,  -2733, 2067,  2068,  2069,  2070,  2071,
    1241              :         2072,  2073,  3593,  3594,  3595,  3596,  3597,  3598,
    1242              :         3599,  3600,  2161,  2162,  3603,  3604,  3605,  3606,
    1243              :         3607,  3608,  3609,  3610,  3611,  3612,  -1161, 3614,
    1244              :         3615,  3616,  3617,  3618,  3619,  3620,  2739,  3622,
    1245              :         3623,  3624,  3625,  3626,  3627,  3628,  3629,  3630,
    1246              :         3631,  3632,  3633,  3634,  3635,  3636,  3637,  3638,
    1247              :         3639,  3640,  3641,  3642,  3643,  3644,  3645,  3646,
    1248              :         3647,  3648,  3649,  3650,  3651,  3652,  3653,  3654,
    1249              :         3655,  -2386, -2386, -2386, -2386, -2386, 3661,  3662,
    1250              :         3663,  3664,  3665,  3666,  3667,  3668,  -2366, -2366,
    1251              :         -2366, -2366, -2366, -2366, -2366, 3676,  3677,  3678,
    1252              :         3679,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1253              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1254              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1255              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1256              :         32767, 32767, 3680,  3681,  3682,  -502,  -502,  3685,
    1257              :         3686,  3687,  -1049, 3689,  3690,  3691,  3692,  3693,
    1258              :         3694,  3695,  3696,  3697,  3698,  2816,  3700,  3701,
    1259              :         3702,  3703,  3704,  3705,  3706,  3707,  3708,  3709,
    1260              :         3710,  3711,  3712,  3713,  3714,  3715,  3716,  3717,
    1261              :         3718,  3719,  3720,  3721,  3722,  3723,  3724,  32767,
    1262              :         3725,  3726,  3727,  3728,  3729,  3730,  3731,  3732,
    1263              :         3733,  3734,  3735,  3736,  3737,  3738,  3739,  3740,
    1264              :         3741,  3742,  3743,  3744,  3745,  3746,  3747,  3748,
    1265              :         3749,  3750,  3751,  -2290, -2290, -2290, -2290, -2290,
    1266              :         3757,  3758,  3759,  3760,  3761,  3762,  3763,  3764,
    1267              :         -2270, -2270, -2270, -2270, -2270, -2270, -2270, 3772,
    1268              :         3773,  3774,  3775,  3776,  3777,  3778,  3779,  3780,
    1269              :         3786,  3782,  3783,  3784,  3785,  3786,  3787,  3788,
    1270              :         4953,  4954,  3791,  3792,  3793,  3794,  3795,  3796,
    1271              :         3797,  3798,  3799,  3800,  3801,  3802,  3803,  3804,
    1272              :         3805,  3806,  3807,  3808,  3809,  3810,  3811,  -373,
    1273              :         -373,  3814,  3815,  3816,  -920,  3818,  3819,  3820,
    1274              :         3821,  3822,  3823,  3824,  3825,  3826,  3827,  2945,
    1275              :         3829,  3830,  3831,  3832,  3833,  3834,  3835,  3836,
    1276              :         3837,  3838,  3839,  3840,  3841,  3842,  3843,  3844,
    1277              :         3845,  3846,  3847,  3848,  3849,  3850,  3851,  3852,
    1278              :         3853,  3854,  3855,  3856,  3857,  3858,  3859,  3860,
    1279              :         3861,  3862,  3863,  3864,  3865,  3866,  3867,  3868,
    1280              :         3869,  3870,  3871,  3872,  3873,  3874,  3875,  3876,
    1281              :         3877,  3878,  3879,  3880,  -858,  3882,  3883,  3884,
    1282              :         3885,  3886,  3887,  3888,  3889,  3986,  3891,  3892,
    1283              :         3893,  3894,  3895,  3896,  3897,  3898,  3899,  3900,
    1284              :         3901,  3902,  3903,  3943,  3944,  171,   7851,  3947,
    1285              :         3948,  3949,  3911,  3912,  3913,  3914,  3915,  3916,
    1286              :         3917,  3918,  3919,  4561,  3921,  3922,  3923,  10060,
    1287              :         3925,  3926,  3927,  3928,  3929,  3930,  1426,  3932,
    1288              :         3933,  3934,  3935,  3936,  4577,  10116, 4578,  4578,
    1289              :         3941,  3942,  3943,  3944,  3945,  -796,  -796,  3948,
    1290              :         3949,  3950,  3951,  3952,  3953,  3954,  3955,  3956,
    1291              :         3957,  -782,  3959,  3960,  3961,  3962,  3963,  3964,
    1292              :         3965,  3966,  3967,  -773,  3969,  3970,  3971,  3972,
    1293              :         3973,  3974,  3975,  3976,  3977,  3978,  3979,  3980,
    1294              :         32767, 3981,  3982,  3983,  3984,  3985,  3986,  3987,
    1295              :         3988,  3989,  3990,  3991,  3992,  3993,  3994,  3995,
    1296              :         3996,  3997,  3998,  3999,  4000,  4001,  4002,  4003,
    1297              :         4004,  4005,  4006,  4007,  4008,  4009,  -729,  4011,
    1298              :         4012,  4013,  4014,  4015,  4016,  4017,  4018,  4115,
    1299              :         4020,  4021,  4022,  4023,  4024,  4025,  4026,  4027,
    1300              :         4028,  4029,  4030,  4031,  4032,  4072,  4073,  300,
    1301              :         7980,  4076,  4077,  4078,  4040,  4041,  4042,  32767,
    1302              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1303              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1304              :         32767, 4043,  4044,  4045,  4046,  4047,  4688,  10227,
    1305              :         4689,  4689,  4052,  4053,  4054,  4055,  4056,  -685,
    1306              :         -685,  4059,  4060,  4061,  4062,  4063,  4064,  4065,
    1307              :         4066,  4067,  4068,  -671,  4070,  4071,  4072,  4073,
    1308              :         4074,  4075,  4076,  4077,  4078,  -662,  4080,  4081,
    1309              :         4082,  4083,  4084,  4085,  4086,  4087,  4088,  4089,
    1310              :         4090,  4091,  4092,  4093,  4094,  4095,  4096,  4097,
    1311              :         -701,  4099,  4100,  4101,  4102,  4103,  4104,  4105,
    1312              :         4106,  32767, 32767, 4107,  4108,  4109,  4110,  4111,
    1313              :         4112,  4113,  4114,  4115,  4116,  4117,  4118,  4119,
    1314              :         4120,  4121,  4122,  4123,  4124,  4125,  4126,  4127,
    1315              :         4128,  4129,  4130,  4131,  4132,  4133,  4134,  4135,
    1316              :         4136,  4137,  4138,  4139,  4140,  4141,  4142,  4143,
    1317              :         4144,  371,   8051,  4147,  4148,  4149,  4150,  4151,
    1318              :         4152,  4153,  4154,  4155,  4156,  4157,  4158,  4159,
    1319              :         4160,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1320              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1321              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1322              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1323              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1324              :         32767, 4161,  4162,  4163,  4164,  4165,  4166,  4167,
    1325              :         4168,  4169,  4170,  4171,  4172,  4173,  32767, 32767,
    1326              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1327              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1328              :         32767, 32767, 4174,  4175,  4176,  4177,  4178,  4179,
    1329              :         4180,  4181,  4182,  4183,  32767, 32767, 32767, 32767,
    1330              :         32767, 32767, 4184,  4185,  4186,  4187,  4188,  4189,
    1331              :         4190,  4191,  4192,  4193,  4194,  4195,  4196,  4197,
    1332              :         4198,  4199,  4200,  4201,  4202,  4203,  4204,  4205,
    1333              :         4206,  4207,  4208,  435,   8115,  4211,  4212,  4213,
    1334              :         4214,  4215,  4216,  4217,  4218,  4219,  4220,  32767,
    1335              :         32767, 4221,  4222,  4223,  4224,  4225,  4226,  4227,
    1336              :         4228,  4229,  4230,  4231,  4232,  32767, 4233,  4234,
    1337              :         4235,  4236,  4237,  4238,  4239,  4240,  4241,  4242,
    1338              :         4243,  4244,  4245,  4246,  4247,  4248,  3899,  3900,
    1339              :         4251,  32767, 4252,  4253,  4254,  4255,  32767, 32767,
    1340              :         32767, 32767, 4256,  4257,  4258,  32767, 4259,  32767,
    1341              :         4260,  4261,  4262,  4263,  4264,  4265,  4266,  4267,
    1342              :         4268,  4269,  4270,  4271,  4272,  4273,  4274,  4275,
    1343              :         4276,  4277,  4278,  4279,  4280,  4281,  4282,  4283,
    1344              :         4284,  4285,  4286,  4287,  4288,  -455,  -455,  14151,
    1345              :         6472,  4293,  4294,  4295,  4296,  4297,  4298,  4299,
    1346              :         4300,  4301,  4302,  4303,  4304,  4305,  4306,  7449,
    1347              :         4308,  4309,  9853,  4311,  4312,  4313,  4314,  4315,
    1348              :         4316,  4317,  4318,  6174,  6175,  6176,  4322,  4323,
    1349              :         4324,  4325,  4326,  4327,  4328,  4329,  4330,  4331,
    1350              :         4332,  4333,  4334,  4335,  4336,  4337,  4338,  4339,
    1351              :         4340,  4341,  4342,  4343,  4344,  4345,  4346,  4347,
    1352              :         4348,  4349,  4350,  4351,  4352,  4353,  4354,  4355,
    1353              :         4356,  4357,  4358,  4359,  4360,  4361,  4362,  4363,
    1354              :         4364,  4365,  4366,  -3782, 4368,  -1825, 4920,  183,
    1355              :         4922,  -1825, 11521, 3842,  -1696, 193,   193,   4929,
    1356              :         4930,  4931,  4932,  4933,  4934,  4935,  4936,  5254,
    1357              :         4938,  4939,  4940,  4941,  4942,  4943,  4944,  4941,
    1358              :         4942,  4943,  4944,  4945,  4395,  4396,  4397,  4398,
    1359              :         4399,  4400,  4401,  4402,  4403,  4404,  4405,  4406,
    1360              :         4407,  4408,  4409,  4410,  4411,  4412,  4413,  -330,
    1361              :         -330,  14276, 6597,  4418,  4419,  4420,  4421,  4422,
    1362              :         4423,  4424,  4425,  4426,  4427,  4428,  4429,  4430,
    1363              :         4431,  7574,  4433,  4434,  9978,  4436,  4437,  4438,
    1364              :         4439,  4440,  4441,  4442,  4443,  6299,  6300,  6301,
    1365              :         4447,  4448,  4449,  4450,  4451,  4452,  4453,  4454,
    1366              :         4455,  4456,  4457,  4458,  4459,  4460,  4461,  4462,
    1367              :         4463,  4464,  4465,  4466,  4467,  4468,  4469,  4470,
    1368              :         4471,  4472,  4473,  4474,  4475,  4476,  4477,  4478,
    1369              :         4479,  4480,  4481,  4482,  4483,  4484,  4485,  4486,
    1370              :         4487,  4488,  4489,  4490,  4491,  -3657, 4493,  -1700,
    1371              :         5045,  308,   5047,  -1700, 11646, 3967,  -1571, 318,
    1372              :         318,   5054,  5055,  5056,  5057,  5058,  5059,  5060,
    1373              :         5061,  5379,  5063,  5064,  5065,  5066,  5067,  5068,
    1374              :         5069,  4520,  4521,  5071,  5072,  4524,  4525,  5073,
    1375              :         4527,  4528,  5074,  5075,  4531,  4532,  5076,  5077,
    1376              :         -265,  5079,  -264,  -264,  5081,  5082,  5083,  5084,
    1377              :         5085,  5086,  5127,  5088,  5130,  5090,  4549,  4550,
    1378              :         5092,  4552,  5093,  4249,  5095,  5096,  5097,  5098,
    1379              :         5099,  4560,  5100,  4266,  4266,  4257,  5104,  5105,
    1380              :         5106,  5107,  5108,  5109,  5110,  7468,  5112,  5113,
    1381              :         5114,  5115,  5116,  5117,  5118,  5119,  5120,  5121,
    1382              :         5122,  5123,  5124,  5125,  5126,  5127,  5128,  5129,
    1383              :         5130,  5131,  5132,  5133,  5134,  5135,  5136,  5137,
    1384              :         5138,  5139,  5140,  5141,  5142,  5143,  5144,  5145,
    1385              :         5146,  5147,  5148,  5149,  5150,  5151,  5152,  5153,
    1386              :         5154,  5155,  5156,  4226,  4572,  4608,  4609,  -3539,
    1387              :         4611,  -1582, 5163,  426,   4614,  -1583, 11763, 4084,
    1388              :         -1454, 4085,  32767, 5169,  5170,  5171,  5172,  5173,
    1389              :         5174,  5175,  5176,  32767, 5177,  5178,  5179,  5180,
    1390              :         5181,  5182,  5183,  32767, 5184,  5185,  5186,  5187,
    1391              :         5188,  5189,  5190,  5191,  5192,  5193,  5194,  5195,
    1392              :         5196,  5197,  -145,  5199,  5200,  -143,  5202,  5203,
    1393              :         5204,  5205,  5206,  5207,  5248,  5209,  5251,  5211,
    1394              :         32767, 5212,  5213,  5214,  5215,  32767, 5216,  5217,
    1395              :         5218,  5219,  5220,  32767, 5221,  32767, 2052,  32767,
    1396              :         5222,  5223,  5224,  5225,  5226,  5227,  5228,  32767,
    1397              :         5229,  5230,  5231,  5232,  5233,  5234,  5235,  5236,
    1398              :         5237,  5238,  5239,  5240,  5241,  5242,  5243,  5244,
    1399              :         5245,  5246,  5247,  5248,  5249,  5250,  5251,  5252,
    1400              :         5253,  5254,  5255,  5256,  5257,  5258,  5259,  5260,
    1401              :         5261,  5262,  5263,  5264,  5265,  5266,  5267,  5268,
    1402              :         5269,  5270,  5271,  5272,  5273,  4343,  4689,  4690,
    1403              :         5277,  5278,  5279,  5280,  5281,  5282,  5283,  5284,
    1404              :         5285,  5286,  5287,  5288,  5289,  5290,  5291,  5292,
    1405              :         5293,  5294,  5295,  5296,  5297,  5298,  5299,  5300,
    1406              :         5301,  5302,  5303,  5304,  5305,  5306,  5307,  5308,
    1407              :         5309,  5310,  5311,  5312,  5313,  5314,  5315,  5316,
    1408              :         5317,  5318,  5319,  5320,  5321,  5322,  5323,  5324,
    1409              :         5325,  5326,  5327,  5328,  5329,  5330,  5331,  5332,
    1410              :         5333,  5334,  5335,  5336,  4691,  4692,  4693,  4694,
    1411              :         4695,  4696,  4697,  5344,  5345,  5346,  5347,  5348,
    1412              :         5349,  5350,  5351,  5352,  5353,  5354,  5355,  5356,
    1413              :         5357,  5358,  5359,  5360,  5361,  5362,  5363,  5364,
    1414              :         5365,  5366,  5367,  5368,  5369,  5370,  5371,  5372,
    1415              :         5373,  5374,  5375,  5376,  5377,  5378,  5379,  5380,
    1416              :         5381,  5382,  5383,  5384,  5385,  5386,  5387,  5388,
    1417              :         5389,  5390,  5391,  5392,  5393,  5394,  5395,  5396,
    1418              :         5397,  5398,  5399,  5400,  5401,  4815,  4472,  4472,
    1419              :         4818,  4819,  5406,  5407,  5408,  5409,  5410,  5411,
    1420              :         5412,  5413,  5414,  5415,  5416,  5417,  5418,  5419,
    1421              :         5420,  5421,  5422,  5423,  5424,  5425,  5426,  5427,
    1422              :         5428,  5429,  5430,  5431,  5432,  5433,  5434,  5435,
    1423              :         5436,  5437,  5438,  5439,  5440,  5441,  5442,  5443,
    1424              :         5444,  5445,  5446,  5447,  5448,  5449,  5450,  5451,
    1425              :         5452,  5453,  5454,  5455,  5456,  5457,  5458,  5459,
    1426              :         5460,  5461,  5462,  5463,  5464,  5465,  4820,  4821,
    1427              :         4822,  4823,  4824,  4825,  4826,  5473,  5474,  5475,
    1428              :         5476,  5477,  5478,  5479,  5480,  5481,  5482,  5483,
    1429              :         5484,  5485,  5486,  5487,  5488,  5489,  5490,  5491,
    1430              :         5492,  5493,  5494,  5495,  5496,  5497,  5498,  5499,
    1431              :         5500,  5501,  5502,  5503,  5504,  5505,  5506,  5507,
    1432              :         5508,  5509,  5510,  5511,  5512,  5513,  5514,  5515,
    1433              :         5516,  5517,  5518,  5519,  5520,  5521,  5522,  5523,
    1434              :         5524,  5525,  5526,  5527,  5528,  5529,  5530,  4944,
    1435              :         5532,  5533,  5534,  5535,  5536,  5537,  5538,  5539,
    1436              :         5540,  5541,  5542,  5543,  5544,  5545,  5546,  5547,
    1437              :         5548,  5549,  5550,  5551,  5552,  5553,  5554,  5555,
    1438              :         5556,  5557,  5558,  5559,  5560,  5561,  5562,  5563,
    1439              :         5564,  5565,  5566,  5567,  5568,  32767, 32767, 5569,
    1440              :         5570,  5571,  5572,  5573,  5574,  5575,  5576,  5577,
    1441              :         5578,  5579,  5580,  5581,  5582,  5583,  5584,  5585,
    1442              :         5586,  5587,  5588,  5589,  5590,  5591,  5592,  5593,
    1443              :         5594,  5595,  5596,  5597,  5598,  5599,  5600,  5601,
    1444              :         5602,  5603,  5604,  5605,  5606,  5607,  5608,  5609,
    1445              :         5610,  5611,  5612,  5613,  5614,  5615,  5616,  5617,
    1446              :         5618,  5619,  5620,  5621,  5622,  5623,  5624,  5625,
    1447              :         5626,  5627,  5628,  5629,  5304,  5631,  5632,  5633,
    1448              :         5634,  5635,  5299,  5637,  5638,  5639,  5640,  5641,
    1449              :         5642,  5643,  5644,  5645,  5306,  5647,  5648,  5649,
    1450              :         5650,  5651,  5652,  5653,  5654,  5655,  5656,  32767,
    1451              :         5657,  5071,  5659,  5660,  5661,  5662,  5663,  5664,
    1452              :         5665,  5666,  5667,  5668,  5669,  5670,  5671,  5672,
    1453              :         5673,  5674,  5675,  5676,  5677,  5678,  5679,  5680,
    1454              :         5681,  5682,  5683,  5684,  5685,  5686,  5687,  5688,
    1455              :         5689,  5690,  5691,  5692,  5693,  5694,  5695,  5696,
    1456              :         5697,  5698,  5699,  5700,  5701,  5702,  5703,  5704,
    1457              :         5705,  5706,  5707,  5708,  5709,  5710,  5711,  5712,
    1458              :         5713,  5714,  5715,  5716,  5717,  5718,  5719,  5720,
    1459              :         5721,  5722,  5723,  5724,  5725,  5726,  5727,  5728,
    1460              :         5729,  5730,  5731,  5732,  5733,  5734,  5735,  5736,
    1461              :         5737,  5738,  5739,  5740,  5741,  5742,  5743,  5744,
    1462              :         5745,  5746,  5747,  5748,  5749,  5750,  5751,  5752,
    1463              :         5753,  5754,  5755,  5756,  5757,  5758,  5433,  5760,
    1464              :         5761,  5762,  5763,  5764,  5428,  5766,  5767,  5768,
    1465              :         5769,  5770,  5771,  5772,  5773,  5774,  5435,  5776,
    1466              :         5777,  5778,  5779,  5780,  5781,  5782,  5783,  5784,
    1467              :         5785,  5786,  5787,  5788,  5789,  5790,  5791,  5792,
    1468              :         5793,  5794,  5795,  5796,  5797,  5798,  5799,  5800,
    1469              :         5801,  5802,  5466,  5466,  5805,  5806,  5807,  5808,
    1470              :         5809,  5810,  5811,  5468,  5468,  5814,  5815,  5816,
    1471              :         5817,  5818,  5819,  5471,  5471,  5822,  5823,  5824,
    1472              :         5825,  5826,  5827,  5828,  5829,  5830,  5831,  5832,
    1473              :         5833,  5834,  5835,  5836,  5837,  5838,  5839,  5840,
    1474              :         2057,  2058,  5843,  5844,  5845,  5846,  5847,  5848,
    1475              :         5849,  5850,  5851,  5852,  5853,  5854,  5855,  5856,
    1476              :         5857,  5858,  5859,  5860,  32767, 32767, 5861,  5862,
    1477              :         5863,  5864,  5865,  5866,  5867,  5868,  5869,  5870,
    1478              :         5871,  5872,  5873,  5874,  5875,  5876,  5877,  5878,
    1479              :         5879,  5880,  5881,  5882,  5883,  5884,  5885,  5886,
    1480              :         5887,  5888,  5889,  5890,  5891,  5892,  5893,  5894,
    1481              :         5895,  5896,  5897,  5898,  5899,  5900,  5901,  5902,
    1482              :         5903,  5904,  5905,  5906,  5907,  5908,  5909,  5910,
    1483              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1484              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1485              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1486              :         32767, 32767, 32767, 4620,  32767, 32767, 32767, 32767,
    1487              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1488              :         32767, 32767, 32767, 2059,  2060,  2061,  32767, 32767,
    1489              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1490              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1491              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1492              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1493              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1494              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1495              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1496              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1497              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1498              :         4827,  4828,  4829,  32767, 32767, 32767, 32767, 32767,
    1499              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1500              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1501              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1502              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1503              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1504              :         32767, 32767, 32767, 32767, 2062,  32767, 32767, 32767,
    1505              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1506              :         32767, 32767, 32767, 32767, 2063,  32767, 32767, 32767,
    1507              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1508              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1509              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1510              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1511              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1512              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1513              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1514              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 4621,
    1515              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1516              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1517              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1518              :         32767, 32767, 32767, 32767, 32767, 2064,  2065,  2066,
    1519              :         2067,  2068,  2069,  2070,  2071,  2072,  2073,  2074,
    1520              :         2075,  2076,  2077,  2078,  2079,  2080,  2081,  2082,
    1521              :         2083,  2084,  2085,  2086,  2087,  2088,  2089,  2090,
    1522              :         2091,  2092,  2093,  2094,  2095,  32767, 32767, 32767,
    1523              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1524              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1525              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1526              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1527              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1528              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1529              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1530              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1531              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1532              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1533              :         32767, 32767, 32767, 32767, 32767, 32767, 4622,  4623,
    1534              :         4624,  4625,  4626,  32767, 32767, 32767, 32767, 32767,
    1535              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1536              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1537              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1538              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1539              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1540              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1541              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1542              :         32767, 32767, 32767, 32767, 32767, 2096,  32767, 32767,
    1543              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1544              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1545              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1546              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1547              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1548              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1549              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1550              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1551              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1552              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1553              :         32767, 2097,  32767, 32767, 32767, 32767, 32767, 32767,
    1554              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 2098,
    1555              :         2099,  2100,  2101,  2102,  2103,  2104,  2105,  2106,
    1556              :         2107,  2108,  2109,  2110,  2111,  2112,  2113,  2114,
    1557              :         2115,  2116,  2117,  2118,  2119,  2120,  2121,  2122,
    1558              :         2123,  2124,  2125,  2126,  2127,  2128,  2129,  2130,
    1559              :         2131,  2132,  2133,  2134,  2135,  2136,  2137,  2138,
    1560              :         2139,  2140,  2141,  2142,  2143,  2144,  2145,  2146,
    1561              :         2147,  2148,  2149,  2150,  2151,  2152,  2153,  2154,
    1562              :         2155,  2156,  2157,  2158,  2159,  2160,  2161,  2162,
    1563              :         2163,  2164,  2165,  2166,  2167,  2168,  2169,  2170,
    1564              :         2171,  2172,  2173,  2174,  2175,  2176,  2177,  2178,
    1565              :         2179,  2180,  2181,  2182,  2183,  2184,  2185,  2186,
    1566              :         2187,  2188,  2189,  2190,  2191,  2192,  2193,  2194,
    1567              :         2195,  2196,  2197,  2198,  2199,  2200,  2201,  2202,
    1568              :         2203,  2204,  2205,  2206,  2207,  2208,  2209,  2210,
    1569              :         2211,  2212,  2213,  2214,  2215,  2216,  2217,  2218,
    1570              :         2219,  2220,  2221,  2222,  2223,  2224,  2225,  2226,
    1571              :         2227,  2228,  2229,  2230,  2231,  2232,  2233,  2234,
    1572              :         2235,  2236,  2237,  2238,  2239,  2240,  2241,  2242,
    1573              :         2243,  2244,  2245,  2246,  2247,  2248,  2249,  2250,
    1574              :         2251,  2252,  2253,  2254,  2255,  2256,  2257,  2258,
    1575              :         2259,  2260,  2261,  2262,  2263,  2264,  2265,  2266,
    1576              :         2267,  2268,  2269,  2270,  2271,  2272,  2273,  2274,
    1577              :         2275,  2276,  2277,  2278,  2279,  2280,  2281,  2282,
    1578              :         2283,  2284,  2285,  2286,  2287,  2288,  2289,  2290,
    1579              :         2291,  2292,  2293,  2294,  2295,  2296,  2297,  2298,
    1580              :         2299,  2300,  2301,  2302,  2303,  2304,  2305,  2306,
    1581              :         2307,  2308,  2309,  2310,  2311,  32767, 32767, 32767,
    1582              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1583              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1584              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1585              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1586              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1587              :         2312,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1588              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1589              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1590              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1591              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1592              :         32767, 32767, 2313,  2314,  2315,  2316,  2317,  2318,
    1593              :         32767, 32767, 32767, 32767, 32767, 32767, 2319,  32767,
    1594              :         2320,  2321,  2322,  32767, 32767, 32767, 32767, 32767,
    1595              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1596              :         32767, 32767, 32767, 32767, 2323,  32767, 2324,  32767,
    1597              :         2325,  32767, 2326,  32767, 2327,  32767, 2328,  32767,
    1598              :         2329,  32767, 2330,  32767, 2331,  32767, 2332,  32767,
    1599              :         2333,  32767, 2334,  32767, 32767, 2335,  32767, 2336,
    1600              :         32767, 2337,  32767, 32767, 32767, 32767, 32767, 32767,
    1601              :         2338,  2339,  32767, 2340,  2341,  32767, 2342,  2343,
    1602              :         32767, 2344,  2345,  32767, 2346,  2347,  32767, 32767,
    1603              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1604              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1605              :         32767, 32767, 32767, 32767, 2348,  32767, 32767, 32767,
    1606              :         32767, 2349,  2350,  2351,  2352,  32767, 2353,  2354,
    1607              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1608              :         32767, 32767, 32767, 4627,  2355,  32767, 2356,  32767,
    1609              :         2357,  32767, 2358,  32767, 2359,  32767, 2360,  32767,
    1610              :         2361,  32767, 2362,  32767, 2363,  32767, 2364,  32767,
    1611              :         2365,  32767, 2366,  32767, 32767, 2367,  4628,  2368,
    1612              :         32767, 2369,  32767, 32767, 32767, 32767, 32767, 32767,
    1613              :         2370,  2371,  32767, 2372,  2373,  32767, 2374,  2375,
    1614              :         32767, 2376,  2377,  32767, 2378,  2379,  32767, 32767,
    1615              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1616              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1617              :         32767, 32767, 32767, 32767, 2380,  32767, 32767, 2381,
    1618              :         2382,  2383,  2384,  32767, 32767, 32767, 2385,  2386,
    1619              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1620              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1621              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1622              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1623              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1624              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1625              :         32767, 32767, 2387,  2388,  2389,  2390,  2391,  2392,
    1626              :         2393,  2394,  2395,  2396,  2397,  2398,  2399,  2400,
    1627              :         2401,  2402,  2403,  2404,  2405,  2406,  2407,  2408,
    1628              :         2409,  2410,  2411,  2412,  2413,  2414,  2415,  2416,
    1629              :         2417,  2418,  2419,  2420,  2421,  2422,  2423,  2424,
    1630              :         2425,  2426,  2427,  2428,  2429,  2430,  2431,  2432,
    1631              :         2433,  2434,  2435,  2436,  2437,  2438,  2439,  2440,
    1632              :         2441,  2442,  2443,  2444,  2445,  2446,  2447,  2448,
    1633              :         2449,  2450,  2451,  2452,  2453,  2454,  2455,  2456,
    1634              :         2457,  2458,  2459,  2460,  2461,  2462,  2463,  2464,
    1635              :         2465,  2466,  2467,  2468,  2469,  2470,  2471,  2472,
    1636              :         2473,  2474,  2475,  2476,  2477,  2478,  2479,  2480,
    1637              :         32767, 32767, 32767, 2481,  2482,  2483,  2484,  2485,
    1638              :         2486,  2487,  2488,  2489,  2490,  2491,  2492,  2493,
    1639              :         2494,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1640              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1641              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1642              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1643              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1644              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1645              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1646              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1647              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1648              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1649              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1650              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1651              :         32767, 32767, 2495,  2496,  2497,  2498,  2499,  2500,
    1652              :         2501,  2502,  2503,  2504,  2505,  2506,  2507,  2508,
    1653              :         2509,  2510,  2511,  2512,  2513,  2514,  2515,  2516,
    1654              :         2517,  2518,  2519,  2520,  2521,  2522,  2523,  2524,
    1655              :         2525,  32767, 2526,  2527,  2528,  2529,  2530,  2531,
    1656              :         2532,  2533,  2534,  2535,  2536,  2537,  2538,  2539,
    1657              :         2540,  2541,  2542,  2543,  2544,  2545,  2546,  2547,
    1658              :         2548,  2549,  2550,  2551,  2552,  2553,  2554,  2555,
    1659              :         2556,  2557,  2558,  2559,  2560,  2561,  2562,  2563,
    1660              :         2564,  2565,  32767, 32767, 32767, 32767, 32767, 32767,
    1661              :         32767, 32767, 2566,  2567,  2568,  2569,  2570,  2571,
    1662              :         2572,  2573,  2574,  2575,  2576,  2577,  2578,  2579,
    1663              :         2580,  2581,  2582,  2583,  2584,  4629,  4630,  3460,
    1664              :         3461,  3462,  2590,  4634,  4635,  4636,  3462,  -1012,
    1665              :         -1011, -1010, 2598,  2599,  2600,  2601,  2602,  2603,
    1666              :         2604,  2605,  2606,  2607,  2608,  2609,  2610,  2611,
    1667              :         2612,  4656,  2613,  2614,  2615,  2616,  2617,  2618,
    1668              :         2619,  2620,  2621,  2622,  2623,  2624,  2625,  2626,
    1669              :         2627,  2628,  2629,  2630,  2631,  2632,  2633,  2634,
    1670              :         2635,  2636,  2637,  2638,  2639,  2640,  2641,  2642,
    1671              :         2643,  2644,  2645,  2646,  2647,  2648,  2649,  2650,
    1672              :         2651,  2652,  2653,  2654,  2655,  2656,  2657,  2658,
    1673              :         2659,  2660,  2661,  2662,  2663,  2664,  2665,  2666,
    1674              :         2667,  2668,  2669,  2670,  2671,  2672,  2673,  2674,
    1675              :         2675,  2676,  2677,  2678,  2679,  2680,  2681,  2682,
    1676              :         2683,  2684,  2685,  2686,  2687,  2688,  2689,  2690,
    1677              :         2691,  2692,  2693,  2694,  2695,  2696,  2697,  2698,
    1678              :         2699,  2700,  2701,  2702,  2703,  2704,  2705,  2706,
    1679              :         2707,  2708,  2709,  2710,  2711,  2712,  2713,  2714,
    1680              :         2715,  2716,  2717,  2718,  2719,  2720,  2721,  2722,
    1681              :         2723,  2724,  2725,  2726,  2727,  2728,  2729,  2730,
    1682              :         2731,  2732,  2733,  2734,  2735,  2736,  2737,  2738,
    1683              :         2739,  2740,  32767, 2741,  2742,  2743,  2744,  2745,
    1684              :         2746,  2747,  2748,  2749,  2750,  2751,  2752,  2753,
    1685              :         2754,  2755,  2756,  2757,  2758,  2759,  2760,  2761,
    1686              :         2762,  2763,  2764,  2765,  2766,  2767,  2768,  2769,
    1687              :         2770,  2771,  2772,  2773,  2774,  2775,  2776,  2777,
    1688              :         2778,  2779,  2780,  2781,  2782,  2783,  2784,  2785,
    1689              :         2786,  2787,  2788,  2789,  2790,  2791,  2792,  2793,
    1690              :         2794,  2795,  2796,  2797,  2798,  2799,  2800,  2801,
    1691              :         2802,  2803,  2804,  2805,  2806,  2807,  2808,  2809,
    1692              :         2810,  2811,  2812,  2813,  2814,  2815,  2816,  2817,
    1693              :         2818,  2819,  2820,  2821,  2822,  2823,  2824,  2825,
    1694              :         2826,  2827,  2828,  2829,  2830,  2831,  2832,  2833,
    1695              :         2834,  2835,  2836,  2837,  2838,  2839,  2840,  2841,
    1696              :         2842,  2843,  2844,  2845,  2846,  2847,  2848,  2849,
    1697              :         2850,  2851,  2852,  2853,  2854,  2855,  2856,  2857,
    1698              :         2858,  2859,  2860,  2861,  2862,  2863,  2864,  2865,
    1699              :         2866,  2867,  2868,  2869,  2870,  2871,  2872,  2873,
    1700              :         2874,  2875,  2876,  2877,  2878,  2879,  2880,  2881,
    1701              :         2882,  2883,  2884,  2885,  2886,  2887,  2888,  2889,
    1702              :         2890,  2891,  2892,  2893,  2894,  2895,  2896,  2897,
    1703              :         2898,  2899,  2900,  2901,  2902,  2903,  2904,  2905,
    1704              :         2906,  2907,  2908,  2909,  2910,  2911,  2912,  2913,
    1705              :         2914,  2915,  2916,  2917,  2918,  2919,  2920,  2921,
    1706              :         2922,  2923,  2924,  2925,  2926,  2927,  2928,  2929,
    1707              :         2930,  2931,  2932,  2933,  2934,  2935,  2936,  2937,
    1708              :         2938,  2939,  2940,  2941,  2942,  2943,  2944,  2945,
    1709              :         2946,  2947,  2948,  2949,  2950,  2951,  2952,  2953,
    1710              :         2954,  2955,  2956,  2957,  2958,  2959,  2960,  2961,
    1711              :         2962,  2963,  2964,  2965,  2966,  2967,  2968,  2969,
    1712              :         2970,  2971,  2972,  2973,  2974,  2975,  2976,  2977,
    1713              :         2978,  2979,  2980,  2981,  2982,  2983,  2984,  2985,
    1714              :         2986,  2987,  2988,  2989,  2990,  2991,  2992,  2993,
    1715              :         2994,  2995,  2996,  32767, 32767, 32767, 32767, 32767,
    1716              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1717              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1718              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1719              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1720              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1721              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1722              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1723              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1724              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1725              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1726              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1727              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1728              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1729              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1730              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1731              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1732              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1733              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1734              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1735              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1736              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1737              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1738              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1739              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    1740              :         32767, 5911,  5912,  5913,  5914,  5915,  5916,  5917,
    1741              :         32767, 5918,  5919,  5920,  5921,  5922,  5923,  5924,
    1742              :         5925,  5926,  5927,  5928,  5929,  5930,  5931,  5932,
    1743              :         5933,  5934,  32767, 32767, 5935,  5936,  5937,  5938,
    1744              :         5939,  5940,  5941,  32767, 5942,  5943,  32767, 5944,
    1745              :         5945,  5946,  5947,  5948,  4685,  32767, 4686,  32767,
    1746              :         32767, 5949,  5950,  5951,  5952,  5953,  5954,  5955,
    1747              :         5956,  5957,  5958,  5959,  5960,  5961,  5962,  5963,
    1748              :         5964,  5965,  5966,  5967,  5968,  5969,  5970,  5971,
    1749              :         5972,  5973,  5974,  5975,  5976,  5977,  5978,  5979,
    1750              :         5980,  5981,  5982,  5983,  5984,  5985,  5986,  4816,
    1751              :         4817,  4818,  5990,  5991,  5992,  5993,  4819,  345,
    1752              :         346,   347,   3955,  3956,  3957,  3958,  3959,  3960,
    1753              :         3961,  3962,  3963,  3964,  3965,  3966,  3967,  32767,
    1754              :         32767, 0,     0,     0,     0,     0,     0,     0,
    1755              :         0,     0,     0,     0,     0,     0,     0,     0,
    1756              :         4642,  0,     0,     0,     0,     32767, 32767, 0,
    1757              :         1,     0,     2,     0,     0,     0,     0,     3,
    1758              :         6011,  0,     4,     5,     6,     7,     0,     32767,
    1759              :         8,     9,     10,    0,     11,    12,    336,   0,
    1760              :         0,     0,     -305,  339,   340,   341,   0,     342,
    1761              :         343,   0,     0,     346,   25,    347,   348,   349,
    1762              :         0,     0,     0,     351,   352,   353,   34,    0,
    1763              :         0,     35,    36,    37,    38,    39,    0,     0,
    1764              :         152,   -284,  154,   155,   156
    1765              :     };
    1766              : 
    1767        13280 :     const unsigned char *k = (const unsigned char *) key;
    1768        13280 :     size_t      keylen = 4;
    1769        13280 :     uint32      a = 0;
    1770        13280 :     uint32      b = 1;
    1771              : 
    1772        66400 :     while (keylen--)
    1773              :     {
    1774        53120 :         unsigned char c = *k++;
    1775              : 
    1776        53120 :         a = a * 257 + c;
    1777        53120 :         b = b * 127 + c;
    1778              :     }
    1779        13280 :     return h[a % 13757] + h[b % 13757];
    1780              : }
    1781              : 
    1782              : /* Hash lookup information for decomposition */
    1783              : static const pg_unicode_decompinfo UnicodeDecompInfo =
    1784              : {
    1785              :     UnicodeDecompMain,
    1786              :     Decomp_hash_func,
    1787              :     6878
    1788              : };
    1789              : 
    1790              : /* Inverse lookup array -- contains indexes into UnicodeDecompMain[] */
    1791              : static const uint16 RecompInverseLookup[961] =
    1792              : {
    1793              :     /* U+003C+0338 -> U+226E */ 1885,
    1794              :     /* U+003D+0338 -> U+2260 */ 1882,
    1795              :     /* U+003E+0338 -> U+226F */ 1886,
    1796              :     /* U+0041+0300 -> U+00C0 */ 14,
    1797              :     /* U+0041+0301 -> U+00C1 */ 15,
    1798              :     /* U+0041+0302 -> U+00C2 */ 16,
    1799              :     /* U+0041+0303 -> U+00C3 */ 17,
    1800              :     /* U+0041+0304 -> U+0100 */ 67,
    1801              :     /* U+0041+0306 -> U+0102 */ 69,
    1802              :     /* U+0041+0307 -> U+0226 */ 270,
    1803              :     /* U+0041+0308 -> U+00C4 */ 18,
    1804              :     /* U+0041+0309 -> U+1EA2 */ 1340,
    1805              :     /* U+0041+030A -> U+00C5 */ 19,
    1806              :     /* U+0041+030C -> U+01CD */ 194,
    1807              :     /* U+0041+030F -> U+0200 */ 240,
    1808              :     /* U+0041+0311 -> U+0202 */ 242,
    1809              :     /* U+0041+0323 -> U+1EA0 */ 1338,
    1810              :     /* U+0041+0325 -> U+1E00 */ 1182,
    1811              :     /* U+0041+0328 -> U+0104 */ 71,
    1812              :     /* U+0042+0307 -> U+1E02 */ 1184,
    1813              :     /* U+0042+0323 -> U+1E04 */ 1186,
    1814              :     /* U+0042+0331 -> U+1E06 */ 1188,
    1815              :     /* U+0043+0301 -> U+0106 */ 73,
    1816              :     /* U+0043+0302 -> U+0108 */ 75,
    1817              :     /* U+0043+0307 -> U+010A */ 77,
    1818              :     /* U+0043+030C -> U+010C */ 79,
    1819              :     /* U+0043+0327 -> U+00C7 */ 20,
    1820              :     /* U+0044+0307 -> U+1E0A */ 1192,
    1821              :     /* U+0044+030C -> U+010E */ 81,
    1822              :     /* U+0044+0323 -> U+1E0C */ 1194,
    1823              :     /* U+0044+0327 -> U+1E10 */ 1198,
    1824              :     /* U+0044+032D -> U+1E12 */ 1200,
    1825              :     /* U+0044+0331 -> U+1E0E */ 1196,
    1826              :     /* U+0045+0300 -> U+00C8 */ 21,
    1827              :     /* U+0045+0301 -> U+00C9 */ 22,
    1828              :     /* U+0045+0302 -> U+00CA */ 23,
    1829              :     /* U+0045+0303 -> U+1EBC */ 1366,
    1830              :     /* U+0045+0304 -> U+0112 */ 83,
    1831              :     /* U+0045+0306 -> U+0114 */ 85,
    1832              :     /* U+0045+0307 -> U+0116 */ 87,
    1833              :     /* U+0045+0308 -> U+00CB */ 24,
    1834              :     /* U+0045+0309 -> U+1EBA */ 1364,
    1835              :     /* U+0045+030C -> U+011A */ 91,
    1836              :     /* U+0045+030F -> U+0204 */ 244,
    1837              :     /* U+0045+0311 -> U+0206 */ 246,
    1838              :     /* U+0045+0323 -> U+1EB8 */ 1362,
    1839              :     /* U+0045+0327 -> U+0228 */ 272,
    1840              :     /* U+0045+0328 -> U+0118 */ 89,
    1841              :     /* U+0045+032D -> U+1E18 */ 1206,
    1842              :     /* U+0045+0330 -> U+1E1A */ 1208,
    1843              :     /* U+0046+0307 -> U+1E1E */ 1212,
    1844              :     /* U+0047+0301 -> U+01F4 */ 230,
    1845              :     /* U+0047+0302 -> U+011C */ 93,
    1846              :     /* U+0047+0304 -> U+1E20 */ 1214,
    1847              :     /* U+0047+0306 -> U+011E */ 95,
    1848              :     /* U+0047+0307 -> U+0120 */ 97,
    1849              :     /* U+0047+030C -> U+01E6 */ 216,
    1850              :     /* U+0047+0327 -> U+0122 */ 99,
    1851              :     /* U+0048+0302 -> U+0124 */ 101,
    1852              :     /* U+0048+0307 -> U+1E22 */ 1216,
    1853              :     /* U+0048+0308 -> U+1E26 */ 1220,
    1854              :     /* U+0048+030C -> U+021E */ 268,
    1855              :     /* U+0048+0323 -> U+1E24 */ 1218,
    1856              :     /* U+0048+0327 -> U+1E28 */ 1222,
    1857              :     /* U+0048+032E -> U+1E2A */ 1224,
    1858              :     /* U+0049+0300 -> U+00CC */ 25,
    1859              :     /* U+0049+0301 -> U+00CD */ 26,
    1860              :     /* U+0049+0302 -> U+00CE */ 27,
    1861              :     /* U+0049+0303 -> U+0128 */ 103,
    1862              :     /* U+0049+0304 -> U+012A */ 105,
    1863              :     /* U+0049+0306 -> U+012C */ 107,
    1864              :     /* U+0049+0307 -> U+0130 */ 111,
    1865              :     /* U+0049+0308 -> U+00CF */ 28,
    1866              :     /* U+0049+0309 -> U+1EC8 */ 1378,
    1867              :     /* U+0049+030C -> U+01CF */ 196,
    1868              :     /* U+0049+030F -> U+0208 */ 248,
    1869              :     /* U+0049+0311 -> U+020A */ 250,
    1870              :     /* U+0049+0323 -> U+1ECA */ 1380,
    1871              :     /* U+0049+0328 -> U+012E */ 109,
    1872              :     /* U+0049+0330 -> U+1E2C */ 1226,
    1873              :     /* U+004A+0302 -> U+0134 */ 114,
    1874              :     /* U+004B+0301 -> U+1E30 */ 1230,
    1875              :     /* U+004B+030C -> U+01E8 */ 218,
    1876              :     /* U+004B+0323 -> U+1E32 */ 1232,
    1877              :     /* U+004B+0327 -> U+0136 */ 116,
    1878              :     /* U+004B+0331 -> U+1E34 */ 1234,
    1879              :     /* U+004C+0301 -> U+0139 */ 118,
    1880              :     /* U+004C+030C -> U+013D */ 122,
    1881              :     /* U+004C+0323 -> U+1E36 */ 1236,
    1882              :     /* U+004C+0327 -> U+013B */ 120,
    1883              :     /* U+004C+032D -> U+1E3C */ 1242,
    1884              :     /* U+004C+0331 -> U+1E3A */ 1240,
    1885              :     /* U+004D+0301 -> U+1E3E */ 1244,
    1886              :     /* U+004D+0307 -> U+1E40 */ 1246,
    1887              :     /* U+004D+0323 -> U+1E42 */ 1248,
    1888              :     /* U+004E+0300 -> U+01F8 */ 232,
    1889              :     /* U+004E+0301 -> U+0143 */ 126,
    1890              :     /* U+004E+0303 -> U+00D1 */ 29,
    1891              :     /* U+004E+0307 -> U+1E44 */ 1250,
    1892              :     /* U+004E+030C -> U+0147 */ 130,
    1893              :     /* U+004E+0323 -> U+1E46 */ 1252,
    1894              :     /* U+004E+0327 -> U+0145 */ 128,
    1895              :     /* U+004E+032D -> U+1E4A */ 1256,
    1896              :     /* U+004E+0331 -> U+1E48 */ 1254,
    1897              :     /* U+004F+0300 -> U+00D2 */ 30,
    1898              :     /* U+004F+0301 -> U+00D3 */ 31,
    1899              :     /* U+004F+0302 -> U+00D4 */ 32,
    1900              :     /* U+004F+0303 -> U+00D5 */ 33,
    1901              :     /* U+004F+0304 -> U+014C */ 133,
    1902              :     /* U+004F+0306 -> U+014E */ 135,
    1903              :     /* U+004F+0307 -> U+022E */ 278,
    1904              :     /* U+004F+0308 -> U+00D6 */ 34,
    1905              :     /* U+004F+0309 -> U+1ECE */ 1384,
    1906              :     /* U+004F+030B -> U+0150 */ 137,
    1907              :     /* U+004F+030C -> U+01D1 */ 198,
    1908              :     /* U+004F+030F -> U+020C */ 252,
    1909              :     /* U+004F+0311 -> U+020E */ 254,
    1910              :     /* U+004F+031B -> U+01A0 */ 181,
    1911              :     /* U+004F+0323 -> U+1ECC */ 1382,
    1912              :     /* U+004F+0328 -> U+01EA */ 220,
    1913              :     /* U+0050+0301 -> U+1E54 */ 1266,
    1914              :     /* U+0050+0307 -> U+1E56 */ 1268,
    1915              :     /* U+0052+0301 -> U+0154 */ 139,
    1916              :     /* U+0052+0307 -> U+1E58 */ 1270,
    1917              :     /* U+0052+030C -> U+0158 */ 143,
    1918              :     /* U+0052+030F -> U+0210 */ 256,
    1919              :     /* U+0052+0311 -> U+0212 */ 258,
    1920              :     /* U+0052+0323 -> U+1E5A */ 1272,
    1921              :     /* U+0052+0327 -> U+0156 */ 141,
    1922              :     /* U+0052+0331 -> U+1E5E */ 1276,
    1923              :     /* U+0053+0301 -> U+015A */ 145,
    1924              :     /* U+0053+0302 -> U+015C */ 147,
    1925              :     /* U+0053+0307 -> U+1E60 */ 1278,
    1926              :     /* U+0053+030C -> U+0160 */ 151,
    1927              :     /* U+0053+0323 -> U+1E62 */ 1280,
    1928              :     /* U+0053+0326 -> U+0218 */ 264,
    1929              :     /* U+0053+0327 -> U+015E */ 149,
    1930              :     /* U+0054+0307 -> U+1E6A */ 1288,
    1931              :     /* U+0054+030C -> U+0164 */ 155,
    1932              :     /* U+0054+0323 -> U+1E6C */ 1290,
    1933              :     /* U+0054+0326 -> U+021A */ 266,
    1934              :     /* U+0054+0327 -> U+0162 */ 153,
    1935              :     /* U+0054+032D -> U+1E70 */ 1294,
    1936              :     /* U+0054+0331 -> U+1E6E */ 1292,
    1937              :     /* U+0055+0300 -> U+00D9 */ 35,
    1938              :     /* U+0055+0301 -> U+00DA */ 36,
    1939              :     /* U+0055+0302 -> U+00DB */ 37,
    1940              :     /* U+0055+0303 -> U+0168 */ 157,
    1941              :     /* U+0055+0304 -> U+016A */ 159,
    1942              :     /* U+0055+0306 -> U+016C */ 161,
    1943              :     /* U+0055+0308 -> U+00DC */ 38,
    1944              :     /* U+0055+0309 -> U+1EE6 */ 1408,
    1945              :     /* U+0055+030A -> U+016E */ 163,
    1946              :     /* U+0055+030B -> U+0170 */ 165,
    1947              :     /* U+0055+030C -> U+01D3 */ 200,
    1948              :     /* U+0055+030F -> U+0214 */ 260,
    1949              :     /* U+0055+0311 -> U+0216 */ 262,
    1950              :     /* U+0055+031B -> U+01AF */ 183,
    1951              :     /* U+0055+0323 -> U+1EE4 */ 1406,
    1952              :     /* U+0055+0324 -> U+1E72 */ 1296,
    1953              :     /* U+0055+0328 -> U+0172 */ 167,
    1954              :     /* U+0055+032D -> U+1E76 */ 1300,
    1955              :     /* U+0055+0330 -> U+1E74 */ 1298,
    1956              :     /* U+0056+0303 -> U+1E7C */ 1306,
    1957              :     /* U+0056+0323 -> U+1E7E */ 1308,
    1958              :     /* U+0057+0300 -> U+1E80 */ 1310,
    1959              :     /* U+0057+0301 -> U+1E82 */ 1312,
    1960              :     /* U+0057+0302 -> U+0174 */ 169,
    1961              :     /* U+0057+0307 -> U+1E86 */ 1316,
    1962              :     /* U+0057+0308 -> U+1E84 */ 1314,
    1963              :     /* U+0057+0323 -> U+1E88 */ 1318,
    1964              :     /* U+0058+0307 -> U+1E8A */ 1320,
    1965              :     /* U+0058+0308 -> U+1E8C */ 1322,
    1966              :     /* U+0059+0300 -> U+1EF2 */ 1420,
    1967              :     /* U+0059+0301 -> U+00DD */ 39,
    1968              :     /* U+0059+0302 -> U+0176 */ 171,
    1969              :     /* U+0059+0303 -> U+1EF8 */ 1426,
    1970              :     /* U+0059+0304 -> U+0232 */ 282,
    1971              :     /* U+0059+0307 -> U+1E8E */ 1324,
    1972              :     /* U+0059+0308 -> U+0178 */ 173,
    1973              :     /* U+0059+0309 -> U+1EF6 */ 1424,
    1974              :     /* U+0059+0323 -> U+1EF4 */ 1422,
    1975              :     /* U+005A+0301 -> U+0179 */ 174,
    1976              :     /* U+005A+0302 -> U+1E90 */ 1326,
    1977              :     /* U+005A+0307 -> U+017B */ 176,
    1978              :     /* U+005A+030C -> U+017D */ 178,
    1979              :     /* U+005A+0323 -> U+1E92 */ 1328,
    1980              :     /* U+005A+0331 -> U+1E94 */ 1330,
    1981              :     /* U+0061+0300 -> U+00E0 */ 40,
    1982              :     /* U+0061+0301 -> U+00E1 */ 41,
    1983              :     /* U+0061+0302 -> U+00E2 */ 42,
    1984              :     /* U+0061+0303 -> U+00E3 */ 43,
    1985              :     /* U+0061+0304 -> U+0101 */ 68,
    1986              :     /* U+0061+0306 -> U+0103 */ 70,
    1987              :     /* U+0061+0307 -> U+0227 */ 271,
    1988              :     /* U+0061+0308 -> U+00E4 */ 44,
    1989              :     /* U+0061+0309 -> U+1EA3 */ 1341,
    1990              :     /* U+0061+030A -> U+00E5 */ 45,
    1991              :     /* U+0061+030C -> U+01CE */ 195,
    1992              :     /* U+0061+030F -> U+0201 */ 241,
    1993              :     /* U+0061+0311 -> U+0203 */ 243,
    1994              :     /* U+0061+0323 -> U+1EA1 */ 1339,
    1995              :     /* U+0061+0325 -> U+1E01 */ 1183,
    1996              :     /* U+0061+0328 -> U+0105 */ 72,
    1997              :     /* U+0062+0307 -> U+1E03 */ 1185,
    1998              :     /* U+0062+0323 -> U+1E05 */ 1187,
    1999              :     /* U+0062+0331 -> U+1E07 */ 1189,
    2000              :     /* U+0063+0301 -> U+0107 */ 74,
    2001              :     /* U+0063+0302 -> U+0109 */ 76,
    2002              :     /* U+0063+0307 -> U+010B */ 78,
    2003              :     /* U+0063+030C -> U+010D */ 80,
    2004              :     /* U+0063+0327 -> U+00E7 */ 46,
    2005              :     /* U+0064+0307 -> U+1E0B */ 1193,
    2006              :     /* U+0064+030C -> U+010F */ 82,
    2007              :     /* U+0064+0323 -> U+1E0D */ 1195,
    2008              :     /* U+0064+0327 -> U+1E11 */ 1199,
    2009              :     /* U+0064+032D -> U+1E13 */ 1201,
    2010              :     /* U+0064+0331 -> U+1E0F */ 1197,
    2011              :     /* U+0065+0300 -> U+00E8 */ 47,
    2012              :     /* U+0065+0301 -> U+00E9 */ 48,
    2013              :     /* U+0065+0302 -> U+00EA */ 49,
    2014              :     /* U+0065+0303 -> U+1EBD */ 1367,
    2015              :     /* U+0065+0304 -> U+0113 */ 84,
    2016              :     /* U+0065+0306 -> U+0115 */ 86,
    2017              :     /* U+0065+0307 -> U+0117 */ 88,
    2018              :     /* U+0065+0308 -> U+00EB */ 50,
    2019              :     /* U+0065+0309 -> U+1EBB */ 1365,
    2020              :     /* U+0065+030C -> U+011B */ 92,
    2021              :     /* U+0065+030F -> U+0205 */ 245,
    2022              :     /* U+0065+0311 -> U+0207 */ 247,
    2023              :     /* U+0065+0323 -> U+1EB9 */ 1363,
    2024              :     /* U+0065+0327 -> U+0229 */ 273,
    2025              :     /* U+0065+0328 -> U+0119 */ 90,
    2026              :     /* U+0065+032D -> U+1E19 */ 1207,
    2027              :     /* U+0065+0330 -> U+1E1B */ 1209,
    2028              :     /* U+0066+0307 -> U+1E1F */ 1213,
    2029              :     /* U+0067+0301 -> U+01F5 */ 231,
    2030              :     /* U+0067+0302 -> U+011D */ 94,
    2031              :     /* U+0067+0304 -> U+1E21 */ 1215,
    2032              :     /* U+0067+0306 -> U+011F */ 96,
    2033              :     /* U+0067+0307 -> U+0121 */ 98,
    2034              :     /* U+0067+030C -> U+01E7 */ 217,
    2035              :     /* U+0067+0327 -> U+0123 */ 100,
    2036              :     /* U+0068+0302 -> U+0125 */ 102,
    2037              :     /* U+0068+0307 -> U+1E23 */ 1217,
    2038              :     /* U+0068+0308 -> U+1E27 */ 1221,
    2039              :     /* U+0068+030C -> U+021F */ 269,
    2040              :     /* U+0068+0323 -> U+1E25 */ 1219,
    2041              :     /* U+0068+0327 -> U+1E29 */ 1223,
    2042              :     /* U+0068+032E -> U+1E2B */ 1225,
    2043              :     /* U+0068+0331 -> U+1E96 */ 1332,
    2044              :     /* U+0069+0300 -> U+00EC */ 51,
    2045              :     /* U+0069+0301 -> U+00ED */ 52,
    2046              :     /* U+0069+0302 -> U+00EE */ 53,
    2047              :     /* U+0069+0303 -> U+0129 */ 104,
    2048              :     /* U+0069+0304 -> U+012B */ 106,
    2049              :     /* U+0069+0306 -> U+012D */ 108,
    2050              :     /* U+0069+0308 -> U+00EF */ 54,
    2051              :     /* U+0069+0309 -> U+1EC9 */ 1379,
    2052              :     /* U+0069+030C -> U+01D0 */ 197,
    2053              :     /* U+0069+030F -> U+0209 */ 249,
    2054              :     /* U+0069+0311 -> U+020B */ 251,
    2055              :     /* U+0069+0323 -> U+1ECB */ 1381,
    2056              :     /* U+0069+0328 -> U+012F */ 110,
    2057              :     /* U+0069+0330 -> U+1E2D */ 1227,
    2058              :     /* U+006A+0302 -> U+0135 */ 115,
    2059              :     /* U+006A+030C -> U+01F0 */ 226,
    2060              :     /* U+006B+0301 -> U+1E31 */ 1231,
    2061              :     /* U+006B+030C -> U+01E9 */ 219,
    2062              :     /* U+006B+0323 -> U+1E33 */ 1233,
    2063              :     /* U+006B+0327 -> U+0137 */ 117,
    2064              :     /* U+006B+0331 -> U+1E35 */ 1235,
    2065              :     /* U+006C+0301 -> U+013A */ 119,
    2066              :     /* U+006C+030C -> U+013E */ 123,
    2067              :     /* U+006C+0323 -> U+1E37 */ 1237,
    2068              :     /* U+006C+0327 -> U+013C */ 121,
    2069              :     /* U+006C+032D -> U+1E3D */ 1243,
    2070              :     /* U+006C+0331 -> U+1E3B */ 1241,
    2071              :     /* U+006D+0301 -> U+1E3F */ 1245,
    2072              :     /* U+006D+0307 -> U+1E41 */ 1247,
    2073              :     /* U+006D+0323 -> U+1E43 */ 1249,
    2074              :     /* U+006E+0300 -> U+01F9 */ 233,
    2075              :     /* U+006E+0301 -> U+0144 */ 127,
    2076              :     /* U+006E+0303 -> U+00F1 */ 55,
    2077              :     /* U+006E+0307 -> U+1E45 */ 1251,
    2078              :     /* U+006E+030C -> U+0148 */ 131,
    2079              :     /* U+006E+0323 -> U+1E47 */ 1253,
    2080              :     /* U+006E+0327 -> U+0146 */ 129,
    2081              :     /* U+006E+032D -> U+1E4B */ 1257,
    2082              :     /* U+006E+0331 -> U+1E49 */ 1255,
    2083              :     /* U+006F+0300 -> U+00F2 */ 56,
    2084              :     /* U+006F+0301 -> U+00F3 */ 57,
    2085              :     /* U+006F+0302 -> U+00F4 */ 58,
    2086              :     /* U+006F+0303 -> U+00F5 */ 59,
    2087              :     /* U+006F+0304 -> U+014D */ 134,
    2088              :     /* U+006F+0306 -> U+014F */ 136,
    2089              :     /* U+006F+0307 -> U+022F */ 279,
    2090              :     /* U+006F+0308 -> U+00F6 */ 60,
    2091              :     /* U+006F+0309 -> U+1ECF */ 1385,
    2092              :     /* U+006F+030B -> U+0151 */ 138,
    2093              :     /* U+006F+030C -> U+01D2 */ 199,
    2094              :     /* U+006F+030F -> U+020D */ 253,
    2095              :     /* U+006F+0311 -> U+020F */ 255,
    2096              :     /* U+006F+031B -> U+01A1 */ 182,
    2097              :     /* U+006F+0323 -> U+1ECD */ 1383,
    2098              :     /* U+006F+0328 -> U+01EB */ 221,
    2099              :     /* U+0070+0301 -> U+1E55 */ 1267,
    2100              :     /* U+0070+0307 -> U+1E57 */ 1269,
    2101              :     /* U+0072+0301 -> U+0155 */ 140,
    2102              :     /* U+0072+0307 -> U+1E59 */ 1271,
    2103              :     /* U+0072+030C -> U+0159 */ 144,
    2104              :     /* U+0072+030F -> U+0211 */ 257,
    2105              :     /* U+0072+0311 -> U+0213 */ 259,
    2106              :     /* U+0072+0323 -> U+1E5B */ 1273,
    2107              :     /* U+0072+0327 -> U+0157 */ 142,
    2108              :     /* U+0072+0331 -> U+1E5F */ 1277,
    2109              :     /* U+0073+0301 -> U+015B */ 146,
    2110              :     /* U+0073+0302 -> U+015D */ 148,
    2111              :     /* U+0073+0307 -> U+1E61 */ 1279,
    2112              :     /* U+0073+030C -> U+0161 */ 152,
    2113              :     /* U+0073+0323 -> U+1E63 */ 1281,
    2114              :     /* U+0073+0326 -> U+0219 */ 265,
    2115              :     /* U+0073+0327 -> U+015F */ 150,
    2116              :     /* U+0074+0307 -> U+1E6B */ 1289,
    2117              :     /* U+0074+0308 -> U+1E97 */ 1333,
    2118              :     /* U+0074+030C -> U+0165 */ 156,
    2119              :     /* U+0074+0323 -> U+1E6D */ 1291,
    2120              :     /* U+0074+0326 -> U+021B */ 267,
    2121              :     /* U+0074+0327 -> U+0163 */ 154,
    2122              :     /* U+0074+032D -> U+1E71 */ 1295,
    2123              :     /* U+0074+0331 -> U+1E6F */ 1293,
    2124              :     /* U+0075+0300 -> U+00F9 */ 61,
    2125              :     /* U+0075+0301 -> U+00FA */ 62,
    2126              :     /* U+0075+0302 -> U+00FB */ 63,
    2127              :     /* U+0075+0303 -> U+0169 */ 158,
    2128              :     /* U+0075+0304 -> U+016B */ 160,
    2129              :     /* U+0075+0306 -> U+016D */ 162,
    2130              :     /* U+0075+0308 -> U+00FC */ 64,
    2131              :     /* U+0075+0309 -> U+1EE7 */ 1409,
    2132              :     /* U+0075+030A -> U+016F */ 164,
    2133              :     /* U+0075+030B -> U+0171 */ 166,
    2134              :     /* U+0075+030C -> U+01D4 */ 201,
    2135              :     /* U+0075+030F -> U+0215 */ 261,
    2136              :     /* U+0075+0311 -> U+0217 */ 263,
    2137              :     /* U+0075+031B -> U+01B0 */ 184,
    2138              :     /* U+0075+0323 -> U+1EE5 */ 1407,
    2139              :     /* U+0075+0324 -> U+1E73 */ 1297,
    2140              :     /* U+0075+0328 -> U+0173 */ 168,
    2141              :     /* U+0075+032D -> U+1E77 */ 1301,
    2142              :     /* U+0075+0330 -> U+1E75 */ 1299,
    2143              :     /* U+0076+0303 -> U+1E7D */ 1307,
    2144              :     /* U+0076+0323 -> U+1E7F */ 1309,
    2145              :     /* U+0077+0300 -> U+1E81 */ 1311,
    2146              :     /* U+0077+0301 -> U+1E83 */ 1313,
    2147              :     /* U+0077+0302 -> U+0175 */ 170,
    2148              :     /* U+0077+0307 -> U+1E87 */ 1317,
    2149              :     /* U+0077+0308 -> U+1E85 */ 1315,
    2150              :     /* U+0077+030A -> U+1E98 */ 1334,
    2151              :     /* U+0077+0323 -> U+1E89 */ 1319,
    2152              :     /* U+0078+0307 -> U+1E8B */ 1321,
    2153              :     /* U+0078+0308 -> U+1E8D */ 1323,
    2154              :     /* U+0079+0300 -> U+1EF3 */ 1421,
    2155              :     /* U+0079+0301 -> U+00FD */ 65,
    2156              :     /* U+0079+0302 -> U+0177 */ 172,
    2157              :     /* U+0079+0303 -> U+1EF9 */ 1427,
    2158              :     /* U+0079+0304 -> U+0233 */ 283,
    2159              :     /* U+0079+0307 -> U+1E8F */ 1325,
    2160              :     /* U+0079+0308 -> U+00FF */ 66,
    2161              :     /* U+0079+0309 -> U+1EF7 */ 1425,
    2162              :     /* U+0079+030A -> U+1E99 */ 1335,
    2163              :     /* U+0079+0323 -> U+1EF5 */ 1423,
    2164              :     /* U+007A+0301 -> U+017A */ 175,
    2165              :     /* U+007A+0302 -> U+1E91 */ 1327,
    2166              :     /* U+007A+0307 -> U+017C */ 177,
    2167              :     /* U+007A+030C -> U+017E */ 179,
    2168              :     /* U+007A+0323 -> U+1E93 */ 1329,
    2169              :     /* U+007A+0331 -> U+1E95 */ 1331,
    2170              :     /* U+00A8+0300 -> U+1FED */ 1646,
    2171              :     /* U+00A8+0301 -> U+0385 */ 419,
    2172              :     /* U+00A8+0342 -> U+1FC1 */ 1606,
    2173              :     /* U+00C2+0300 -> U+1EA6 */ 1344,
    2174              :     /* U+00C2+0301 -> U+1EA4 */ 1342,
    2175              :     /* U+00C2+0303 -> U+1EAA */ 1348,
    2176              :     /* U+00C2+0309 -> U+1EA8 */ 1346,
    2177              :     /* U+00C4+0304 -> U+01DE */ 210,
    2178              :     /* U+00C5+0301 -> U+01FA */ 234,
    2179              :     /* U+00C6+0301 -> U+01FC */ 236,
    2180              :     /* U+00C6+0304 -> U+01E2 */ 214,
    2181              :     /* U+00C7+0301 -> U+1E08 */ 1190,
    2182              :     /* U+00CA+0300 -> U+1EC0 */ 1370,
    2183              :     /* U+00CA+0301 -> U+1EBE */ 1368,
    2184              :     /* U+00CA+0303 -> U+1EC4 */ 1374,
    2185              :     /* U+00CA+0309 -> U+1EC2 */ 1372,
    2186              :     /* U+00CF+0301 -> U+1E2E */ 1228,
    2187              :     /* U+00D4+0300 -> U+1ED2 */ 1388,
    2188              :     /* U+00D4+0301 -> U+1ED0 */ 1386,
    2189              :     /* U+00D4+0303 -> U+1ED6 */ 1392,
    2190              :     /* U+00D4+0309 -> U+1ED4 */ 1390,
    2191              :     /* U+00D5+0301 -> U+1E4C */ 1258,
    2192              :     /* U+00D5+0304 -> U+022C */ 276,
    2193              :     /* U+00D5+0308 -> U+1E4E */ 1260,
    2194              :     /* U+00D6+0304 -> U+022A */ 274,
    2195              :     /* U+00D8+0301 -> U+01FE */ 238,
    2196              :     /* U+00DC+0300 -> U+01DB */ 208,
    2197              :     /* U+00DC+0301 -> U+01D7 */ 204,
    2198              :     /* U+00DC+0304 -> U+01D5 */ 202,
    2199              :     /* U+00DC+030C -> U+01D9 */ 206,
    2200              :     /* U+00E2+0300 -> U+1EA7 */ 1345,
    2201              :     /* U+00E2+0301 -> U+1EA5 */ 1343,
    2202              :     /* U+00E2+0303 -> U+1EAB */ 1349,
    2203              :     /* U+00E2+0309 -> U+1EA9 */ 1347,
    2204              :     /* U+00E4+0304 -> U+01DF */ 211,
    2205              :     /* U+00E5+0301 -> U+01FB */ 235,
    2206              :     /* U+00E6+0301 -> U+01FD */ 237,
    2207              :     /* U+00E6+0304 -> U+01E3 */ 215,
    2208              :     /* U+00E7+0301 -> U+1E09 */ 1191,
    2209              :     /* U+00EA+0300 -> U+1EC1 */ 1371,
    2210              :     /* U+00EA+0301 -> U+1EBF */ 1369,
    2211              :     /* U+00EA+0303 -> U+1EC5 */ 1375,
    2212              :     /* U+00EA+0309 -> U+1EC3 */ 1373,
    2213              :     /* U+00EF+0301 -> U+1E2F */ 1229,
    2214              :     /* U+00F4+0300 -> U+1ED3 */ 1389,
    2215              :     /* U+00F4+0301 -> U+1ED1 */ 1387,
    2216              :     /* U+00F4+0303 -> U+1ED7 */ 1393,
    2217              :     /* U+00F4+0309 -> U+1ED5 */ 1391,
    2218              :     /* U+00F5+0301 -> U+1E4D */ 1259,
    2219              :     /* U+00F5+0304 -> U+022D */ 277,
    2220              :     /* U+00F5+0308 -> U+1E4F */ 1261,
    2221              :     /* U+00F6+0304 -> U+022B */ 275,
    2222              :     /* U+00F8+0301 -> U+01FF */ 239,
    2223              :     /* U+00FC+0300 -> U+01DC */ 209,
    2224              :     /* U+00FC+0301 -> U+01D8 */ 205,
    2225              :     /* U+00FC+0304 -> U+01D6 */ 203,
    2226              :     /* U+00FC+030C -> U+01DA */ 207,
    2227              :     /* U+0102+0300 -> U+1EB0 */ 1354,
    2228              :     /* U+0102+0301 -> U+1EAE */ 1352,
    2229              :     /* U+0102+0303 -> U+1EB4 */ 1358,
    2230              :     /* U+0102+0309 -> U+1EB2 */ 1356,
    2231              :     /* U+0103+0300 -> U+1EB1 */ 1355,
    2232              :     /* U+0103+0301 -> U+1EAF */ 1353,
    2233              :     /* U+0103+0303 -> U+1EB5 */ 1359,
    2234              :     /* U+0103+0309 -> U+1EB3 */ 1357,
    2235              :     /* U+0112+0300 -> U+1E14 */ 1202,
    2236              :     /* U+0112+0301 -> U+1E16 */ 1204,
    2237              :     /* U+0113+0300 -> U+1E15 */ 1203,
    2238              :     /* U+0113+0301 -> U+1E17 */ 1205,
    2239              :     /* U+014C+0300 -> U+1E50 */ 1262,
    2240              :     /* U+014C+0301 -> U+1E52 */ 1264,
    2241              :     /* U+014D+0300 -> U+1E51 */ 1263,
    2242              :     /* U+014D+0301 -> U+1E53 */ 1265,
    2243              :     /* U+015A+0307 -> U+1E64 */ 1282,
    2244              :     /* U+015B+0307 -> U+1E65 */ 1283,
    2245              :     /* U+0160+0307 -> U+1E66 */ 1284,
    2246              :     /* U+0161+0307 -> U+1E67 */ 1285,
    2247              :     /* U+0168+0301 -> U+1E78 */ 1302,
    2248              :     /* U+0169+0301 -> U+1E79 */ 1303,
    2249              :     /* U+016A+0308 -> U+1E7A */ 1304,
    2250              :     /* U+016B+0308 -> U+1E7B */ 1305,
    2251              :     /* U+017F+0307 -> U+1E9B */ 1337,
    2252              :     /* U+01A0+0300 -> U+1EDC */ 1398,
    2253              :     /* U+01A0+0301 -> U+1EDA */ 1396,
    2254              :     /* U+01A0+0303 -> U+1EE0 */ 1402,
    2255              :     /* U+01A0+0309 -> U+1EDE */ 1400,
    2256              :     /* U+01A0+0323 -> U+1EE2 */ 1404,
    2257              :     /* U+01A1+0300 -> U+1EDD */ 1399,
    2258              :     /* U+01A1+0301 -> U+1EDB */ 1397,
    2259              :     /* U+01A1+0303 -> U+1EE1 */ 1403,
    2260              :     /* U+01A1+0309 -> U+1EDF */ 1401,
    2261              :     /* U+01A1+0323 -> U+1EE3 */ 1405,
    2262              :     /* U+01AF+0300 -> U+1EEA */ 1412,
    2263              :     /* U+01AF+0301 -> U+1EE8 */ 1410,
    2264              :     /* U+01AF+0303 -> U+1EEE */ 1416,
    2265              :     /* U+01AF+0309 -> U+1EEC */ 1414,
    2266              :     /* U+01AF+0323 -> U+1EF0 */ 1418,
    2267              :     /* U+01B0+0300 -> U+1EEB */ 1413,
    2268              :     /* U+01B0+0301 -> U+1EE9 */ 1411,
    2269              :     /* U+01B0+0303 -> U+1EEF */ 1417,
    2270              :     /* U+01B0+0309 -> U+1EED */ 1415,
    2271              :     /* U+01B0+0323 -> U+1EF1 */ 1419,
    2272              :     /* U+01B7+030C -> U+01EE */ 224,
    2273              :     /* U+01EA+0304 -> U+01EC */ 222,
    2274              :     /* U+01EB+0304 -> U+01ED */ 223,
    2275              :     /* U+0226+0304 -> U+01E0 */ 212,
    2276              :     /* U+0227+0304 -> U+01E1 */ 213,
    2277              :     /* U+0228+0306 -> U+1E1C */ 1210,
    2278              :     /* U+0229+0306 -> U+1E1D */ 1211,
    2279              :     /* U+022E+0304 -> U+0230 */ 280,
    2280              :     /* U+022F+0304 -> U+0231 */ 281,
    2281              :     /* U+0292+030C -> U+01EF */ 225,
    2282              :     /* U+0391+0300 -> U+1FBA */ 1599,
    2283              :     /* U+0391+0301 -> U+0386 */ 420,
    2284              :     /* U+0391+0304 -> U+1FB9 */ 1598,
    2285              :     /* U+0391+0306 -> U+1FB8 */ 1597,
    2286              :     /* U+0391+0313 -> U+1F08 */ 1436,
    2287              :     /* U+0391+0314 -> U+1F09 */ 1437,
    2288              :     /* U+0391+0345 -> U+1FBC */ 1601,
    2289              :     /* U+0395+0300 -> U+1FC8 */ 1612,
    2290              :     /* U+0395+0301 -> U+0388 */ 422,
    2291              :     /* U+0395+0313 -> U+1F18 */ 1450,
    2292              :     /* U+0395+0314 -> U+1F19 */ 1451,
    2293              :     /* U+0397+0300 -> U+1FCA */ 1614,
    2294              :     /* U+0397+0301 -> U+0389 */ 423,
    2295              :     /* U+0397+0313 -> U+1F28 */ 1464,
    2296              :     /* U+0397+0314 -> U+1F29 */ 1465,
    2297              :     /* U+0397+0345 -> U+1FCC */ 1616,
    2298              :     /* U+0399+0300 -> U+1FDA */ 1628,
    2299              :     /* U+0399+0301 -> U+038A */ 424,
    2300              :     /* U+0399+0304 -> U+1FD9 */ 1627,
    2301              :     /* U+0399+0306 -> U+1FD8 */ 1626,
    2302              :     /* U+0399+0308 -> U+03AA */ 429,
    2303              :     /* U+0399+0313 -> U+1F38 */ 1480,
    2304              :     /* U+0399+0314 -> U+1F39 */ 1481,
    2305              :     /* U+039F+0300 -> U+1FF8 */ 1654,
    2306              :     /* U+039F+0301 -> U+038C */ 425,
    2307              :     /* U+039F+0313 -> U+1F48 */ 1494,
    2308              :     /* U+039F+0314 -> U+1F49 */ 1495,
    2309              :     /* U+03A1+0314 -> U+1FEC */ 1645,
    2310              :     /* U+03A5+0300 -> U+1FEA */ 1643,
    2311              :     /* U+03A5+0301 -> U+038E */ 426,
    2312              :     /* U+03A5+0304 -> U+1FE9 */ 1642,
    2313              :     /* U+03A5+0306 -> U+1FE8 */ 1641,
    2314              :     /* U+03A5+0308 -> U+03AB */ 430,
    2315              :     /* U+03A5+0314 -> U+1F59 */ 1508,
    2316              :     /* U+03A9+0300 -> U+1FFA */ 1656,
    2317              :     /* U+03A9+0301 -> U+038F */ 427,
    2318              :     /* U+03A9+0313 -> U+1F68 */ 1520,
    2319              :     /* U+03A9+0314 -> U+1F69 */ 1521,
    2320              :     /* U+03A9+0345 -> U+1FFC */ 1658,
    2321              :     /* U+03AC+0345 -> U+1FB4 */ 1594,
    2322              :     /* U+03AE+0345 -> U+1FC4 */ 1609,
    2323              :     /* U+03B1+0300 -> U+1F70 */ 1528,
    2324              :     /* U+03B1+0301 -> U+03AC */ 431,
    2325              :     /* U+03B1+0304 -> U+1FB1 */ 1591,
    2326              :     /* U+03B1+0306 -> U+1FB0 */ 1590,
    2327              :     /* U+03B1+0313 -> U+1F00 */ 1428,
    2328              :     /* U+03B1+0314 -> U+1F01 */ 1429,
    2329              :     /* U+03B1+0342 -> U+1FB6 */ 1595,
    2330              :     /* U+03B1+0345 -> U+1FB3 */ 1593,
    2331              :     /* U+03B5+0300 -> U+1F72 */ 1530,
    2332              :     /* U+03B5+0301 -> U+03AD */ 432,
    2333              :     /* U+03B5+0313 -> U+1F10 */ 1444,
    2334              :     /* U+03B5+0314 -> U+1F11 */ 1445,
    2335              :     /* U+03B7+0300 -> U+1F74 */ 1532,
    2336              :     /* U+03B7+0301 -> U+03AE */ 433,
    2337              :     /* U+03B7+0313 -> U+1F20 */ 1456,
    2338              :     /* U+03B7+0314 -> U+1F21 */ 1457,
    2339              :     /* U+03B7+0342 -> U+1FC6 */ 1610,
    2340              :     /* U+03B7+0345 -> U+1FC3 */ 1608,
    2341              :     /* U+03B9+0300 -> U+1F76 */ 1534,
    2342              :     /* U+03B9+0301 -> U+03AF */ 434,
    2343              :     /* U+03B9+0304 -> U+1FD1 */ 1621,
    2344              :     /* U+03B9+0306 -> U+1FD0 */ 1620,
    2345              :     /* U+03B9+0308 -> U+03CA */ 436,
    2346              :     /* U+03B9+0313 -> U+1F30 */ 1472,
    2347              :     /* U+03B9+0314 -> U+1F31 */ 1473,
    2348              :     /* U+03B9+0342 -> U+1FD6 */ 1624,
    2349              :     /* U+03BF+0300 -> U+1F78 */ 1536,
    2350              :     /* U+03BF+0301 -> U+03CC */ 438,
    2351              :     /* U+03BF+0313 -> U+1F40 */ 1488,
    2352              :     /* U+03BF+0314 -> U+1F41 */ 1489,
    2353              :     /* U+03C1+0313 -> U+1FE4 */ 1637,
    2354              :     /* U+03C1+0314 -> U+1FE5 */ 1638,
    2355              :     /* U+03C5+0300 -> U+1F7A */ 1538,
    2356              :     /* U+03C5+0301 -> U+03CD */ 439,
    2357              :     /* U+03C5+0304 -> U+1FE1 */ 1634,
    2358              :     /* U+03C5+0306 -> U+1FE0 */ 1633,
    2359              :     /* U+03C5+0308 -> U+03CB */ 437,
    2360              :     /* U+03C5+0313 -> U+1F50 */ 1500,
    2361              :     /* U+03C5+0314 -> U+1F51 */ 1501,
    2362              :     /* U+03C5+0342 -> U+1FE6 */ 1639,
    2363              :     /* U+03C9+0300 -> U+1F7C */ 1540,
    2364              :     /* U+03C9+0301 -> U+03CE */ 440,
    2365              :     /* U+03C9+0313 -> U+1F60 */ 1512,
    2366              :     /* U+03C9+0314 -> U+1F61 */ 1513,
    2367              :     /* U+03C9+0342 -> U+1FF6 */ 1652,
    2368              :     /* U+03C9+0345 -> U+1FF3 */ 1650,
    2369              :     /* U+03CA+0300 -> U+1FD2 */ 1622,
    2370              :     /* U+03CA+0301 -> U+0390 */ 428,
    2371              :     /* U+03CA+0342 -> U+1FD7 */ 1625,
    2372              :     /* U+03CB+0300 -> U+1FE2 */ 1635,
    2373              :     /* U+03CB+0301 -> U+03B0 */ 435,
    2374              :     /* U+03CB+0342 -> U+1FE7 */ 1640,
    2375              :     /* U+03CE+0345 -> U+1FF4 */ 1651,
    2376              :     /* U+03D2+0301 -> U+03D3 */ 444,
    2377              :     /* U+03D2+0308 -> U+03D4 */ 445,
    2378              :     /* U+0406+0308 -> U+0407 */ 457,
    2379              :     /* U+0410+0306 -> U+04D0 */ 479,
    2380              :     /* U+0410+0308 -> U+04D2 */ 481,
    2381              :     /* U+0413+0301 -> U+0403 */ 456,
    2382              :     /* U+0415+0300 -> U+0400 */ 454,
    2383              :     /* U+0415+0306 -> U+04D6 */ 483,
    2384              :     /* U+0415+0308 -> U+0401 */ 455,
    2385              :     /* U+0416+0306 -> U+04C1 */ 477,
    2386              :     /* U+0416+0308 -> U+04DC */ 487,
    2387              :     /* U+0417+0308 -> U+04DE */ 489,
    2388              :     /* U+0418+0300 -> U+040D */ 459,
    2389              :     /* U+0418+0304 -> U+04E2 */ 491,
    2390              :     /* U+0418+0306 -> U+0419 */ 461,
    2391              :     /* U+0418+0308 -> U+04E4 */ 493,
    2392              :     /* U+041A+0301 -> U+040C */ 458,
    2393              :     /* U+041E+0308 -> U+04E6 */ 495,
    2394              :     /* U+0423+0304 -> U+04EE */ 501,
    2395              :     /* U+0423+0306 -> U+040E */ 460,
    2396              :     /* U+0423+0308 -> U+04F0 */ 503,
    2397              :     /* U+0423+030B -> U+04F2 */ 505,
    2398              :     /* U+0427+0308 -> U+04F4 */ 507,
    2399              :     /* U+042B+0308 -> U+04F8 */ 509,
    2400              :     /* U+042D+0308 -> U+04EC */ 499,
    2401              :     /* U+0430+0306 -> U+04D1 */ 480,
    2402              :     /* U+0430+0308 -> U+04D3 */ 482,
    2403              :     /* U+0433+0301 -> U+0453 */ 465,
    2404              :     /* U+0435+0300 -> U+0450 */ 463,
    2405              :     /* U+0435+0306 -> U+04D7 */ 484,
    2406              :     /* U+0435+0308 -> U+0451 */ 464,
    2407              :     /* U+0436+0306 -> U+04C2 */ 478,
    2408              :     /* U+0436+0308 -> U+04DD */ 488,
    2409              :     /* U+0437+0308 -> U+04DF */ 490,
    2410              :     /* U+0438+0300 -> U+045D */ 468,
    2411              :     /* U+0438+0304 -> U+04E3 */ 492,
    2412              :     /* U+0438+0306 -> U+0439 */ 462,
    2413              :     /* U+0438+0308 -> U+04E5 */ 494,
    2414              :     /* U+043A+0301 -> U+045C */ 467,
    2415              :     /* U+043E+0308 -> U+04E7 */ 496,
    2416              :     /* U+0443+0304 -> U+04EF */ 502,
    2417              :     /* U+0443+0306 -> U+045E */ 469,
    2418              :     /* U+0443+0308 -> U+04F1 */ 504,
    2419              :     /* U+0443+030B -> U+04F3 */ 506,
    2420              :     /* U+0447+0308 -> U+04F5 */ 508,
    2421              :     /* U+044B+0308 -> U+04F9 */ 510,
    2422              :     /* U+044D+0308 -> U+04ED */ 500,
    2423              :     /* U+0456+0308 -> U+0457 */ 466,
    2424              :     /* U+0474+030F -> U+0476 */ 470,
    2425              :     /* U+0475+030F -> U+0477 */ 471,
    2426              :     /* U+04D8+0308 -> U+04DA */ 485,
    2427              :     /* U+04D9+0308 -> U+04DB */ 486,
    2428              :     /* U+04E8+0308 -> U+04EA */ 497,
    2429              :     /* U+04E9+0308 -> U+04EB */ 498,
    2430              :     /* U+0627+0653 -> U+0622 */ 574,
    2431              :     /* U+0627+0654 -> U+0623 */ 575,
    2432              :     /* U+0627+0655 -> U+0625 */ 577,
    2433              :     /* U+0648+0654 -> U+0624 */ 576,
    2434              :     /* U+064A+0654 -> U+0626 */ 578,
    2435              :     /* U+06C1+0654 -> U+06C2 */ 606,
    2436              :     /* U+06D2+0654 -> U+06D3 */ 607,
    2437              :     /* U+06D5+0654 -> U+06C0 */ 605,
    2438              :     /* U+0928+093C -> U+0929 */ 751,
    2439              :     /* U+0930+093C -> U+0931 */ 752,
    2440              :     /* U+0933+093C -> U+0934 */ 753,
    2441              :     /* U+09C7+09BE -> U+09CB */ 769,
    2442              :     /* U+09C7+09D7 -> U+09CC */ 770,
    2443              :     /* U+0B47+0B3E -> U+0B4B */ 788,
    2444              :     /* U+0B47+0B56 -> U+0B48 */ 787,
    2445              :     /* U+0B47+0B57 -> U+0B4C */ 789,
    2446              :     /* U+0B92+0BD7 -> U+0B94 */ 793,
    2447              :     /* U+0BC6+0BBE -> U+0BCA */ 794,
    2448              :     /* U+0BC6+0BD7 -> U+0BCC */ 796,
    2449              :     /* U+0BC7+0BBE -> U+0BCB */ 795,
    2450              :     /* U+0C46+0C56 -> U+0C48 */ 799,
    2451              :     /* U+0CBF+0CD5 -> U+0CC0 */ 804,
    2452              :     /* U+0CC6+0CC2 -> U+0CCA */ 807,
    2453              :     /* U+0CC6+0CD5 -> U+0CC7 */ 805,
    2454              :     /* U+0CC6+0CD6 -> U+0CC8 */ 806,
    2455              :     /* U+0CCA+0CD5 -> U+0CCB */ 808,
    2456              :     /* U+0D46+0D3E -> U+0D4A */ 812,
    2457              :     /* U+0D46+0D57 -> U+0D4C */ 814,
    2458              :     /* U+0D47+0D3E -> U+0D4B */ 813,
    2459              :     /* U+0DD9+0DCA -> U+0DDA */ 817,
    2460              :     /* U+0DD9+0DCF -> U+0DDC */ 818,
    2461              :     /* U+0DD9+0DDF -> U+0DDE */ 820,
    2462              :     /* U+0DDC+0DCA -> U+0DDD */ 819,
    2463              :     /* U+1025+102E -> U+1026 */ 878,
    2464              :     /* U+1B05+1B35 -> U+1B06 */ 965,
    2465              :     /* U+1B07+1B35 -> U+1B08 */ 966,
    2466              :     /* U+1B09+1B35 -> U+1B0A */ 967,
    2467              :     /* U+1B0B+1B35 -> U+1B0C */ 968,
    2468              :     /* U+1B0D+1B35 -> U+1B0E */ 969,
    2469              :     /* U+1B11+1B35 -> U+1B12 */ 970,
    2470              :     /* U+1B3A+1B35 -> U+1B3B */ 972,
    2471              :     /* U+1B3C+1B35 -> U+1B3D */ 973,
    2472              :     /* U+1B3E+1B35 -> U+1B40 */ 974,
    2473              :     /* U+1B3F+1B35 -> U+1B41 */ 975,
    2474              :     /* U+1B42+1B35 -> U+1B43 */ 976,
    2475              :     /* U+1E36+0304 -> U+1E38 */ 1238,
    2476              :     /* U+1E37+0304 -> U+1E39 */ 1239,
    2477              :     /* U+1E5A+0304 -> U+1E5C */ 1274,
    2478              :     /* U+1E5B+0304 -> U+1E5D */ 1275,
    2479              :     /* U+1E62+0307 -> U+1E68 */ 1286,
    2480              :     /* U+1E63+0307 -> U+1E69 */ 1287,
    2481              :     /* U+1EA0+0302 -> U+1EAC */ 1350,
    2482              :     /* U+1EA0+0306 -> U+1EB6 */ 1360,
    2483              :     /* U+1EA1+0302 -> U+1EAD */ 1351,
    2484              :     /* U+1EA1+0306 -> U+1EB7 */ 1361,
    2485              :     /* U+1EB8+0302 -> U+1EC6 */ 1376,
    2486              :     /* U+1EB9+0302 -> U+1EC7 */ 1377,
    2487              :     /* U+1ECC+0302 -> U+1ED8 */ 1394,
    2488              :     /* U+1ECD+0302 -> U+1ED9 */ 1395,
    2489              :     /* U+1F00+0300 -> U+1F02 */ 1430,
    2490              :     /* U+1F00+0301 -> U+1F04 */ 1432,
    2491              :     /* U+1F00+0342 -> U+1F06 */ 1434,
    2492              :     /* U+1F00+0345 -> U+1F80 */ 1542,
    2493              :     /* U+1F01+0300 -> U+1F03 */ 1431,
    2494              :     /* U+1F01+0301 -> U+1F05 */ 1433,
    2495              :     /* U+1F01+0342 -> U+1F07 */ 1435,
    2496              :     /* U+1F01+0345 -> U+1F81 */ 1543,
    2497              :     /* U+1F02+0345 -> U+1F82 */ 1544,
    2498              :     /* U+1F03+0345 -> U+1F83 */ 1545,
    2499              :     /* U+1F04+0345 -> U+1F84 */ 1546,
    2500              :     /* U+1F05+0345 -> U+1F85 */ 1547,
    2501              :     /* U+1F06+0345 -> U+1F86 */ 1548,
    2502              :     /* U+1F07+0345 -> U+1F87 */ 1549,
    2503              :     /* U+1F08+0300 -> U+1F0A */ 1438,
    2504              :     /* U+1F08+0301 -> U+1F0C */ 1440,
    2505              :     /* U+1F08+0342 -> U+1F0E */ 1442,
    2506              :     /* U+1F08+0345 -> U+1F88 */ 1550,
    2507              :     /* U+1F09+0300 -> U+1F0B */ 1439,
    2508              :     /* U+1F09+0301 -> U+1F0D */ 1441,
    2509              :     /* U+1F09+0342 -> U+1F0F */ 1443,
    2510              :     /* U+1F09+0345 -> U+1F89 */ 1551,
    2511              :     /* U+1F0A+0345 -> U+1F8A */ 1552,
    2512              :     /* U+1F0B+0345 -> U+1F8B */ 1553,
    2513              :     /* U+1F0C+0345 -> U+1F8C */ 1554,
    2514              :     /* U+1F0D+0345 -> U+1F8D */ 1555,
    2515              :     /* U+1F0E+0345 -> U+1F8E */ 1556,
    2516              :     /* U+1F0F+0345 -> U+1F8F */ 1557,
    2517              :     /* U+1F10+0300 -> U+1F12 */ 1446,
    2518              :     /* U+1F10+0301 -> U+1F14 */ 1448,
    2519              :     /* U+1F11+0300 -> U+1F13 */ 1447,
    2520              :     /* U+1F11+0301 -> U+1F15 */ 1449,
    2521              :     /* U+1F18+0300 -> U+1F1A */ 1452,
    2522              :     /* U+1F18+0301 -> U+1F1C */ 1454,
    2523              :     /* U+1F19+0300 -> U+1F1B */ 1453,
    2524              :     /* U+1F19+0301 -> U+1F1D */ 1455,
    2525              :     /* U+1F20+0300 -> U+1F22 */ 1458,
    2526              :     /* U+1F20+0301 -> U+1F24 */ 1460,
    2527              :     /* U+1F20+0342 -> U+1F26 */ 1462,
    2528              :     /* U+1F20+0345 -> U+1F90 */ 1558,
    2529              :     /* U+1F21+0300 -> U+1F23 */ 1459,
    2530              :     /* U+1F21+0301 -> U+1F25 */ 1461,
    2531              :     /* U+1F21+0342 -> U+1F27 */ 1463,
    2532              :     /* U+1F21+0345 -> U+1F91 */ 1559,
    2533              :     /* U+1F22+0345 -> U+1F92 */ 1560,
    2534              :     /* U+1F23+0345 -> U+1F93 */ 1561,
    2535              :     /* U+1F24+0345 -> U+1F94 */ 1562,
    2536              :     /* U+1F25+0345 -> U+1F95 */ 1563,
    2537              :     /* U+1F26+0345 -> U+1F96 */ 1564,
    2538              :     /* U+1F27+0345 -> U+1F97 */ 1565,
    2539              :     /* U+1F28+0300 -> U+1F2A */ 1466,
    2540              :     /* U+1F28+0301 -> U+1F2C */ 1468,
    2541              :     /* U+1F28+0342 -> U+1F2E */ 1470,
    2542              :     /* U+1F28+0345 -> U+1F98 */ 1566,
    2543              :     /* U+1F29+0300 -> U+1F2B */ 1467,
    2544              :     /* U+1F29+0301 -> U+1F2D */ 1469,
    2545              :     /* U+1F29+0342 -> U+1F2F */ 1471,
    2546              :     /* U+1F29+0345 -> U+1F99 */ 1567,
    2547              :     /* U+1F2A+0345 -> U+1F9A */ 1568,
    2548              :     /* U+1F2B+0345 -> U+1F9B */ 1569,
    2549              :     /* U+1F2C+0345 -> U+1F9C */ 1570,
    2550              :     /* U+1F2D+0345 -> U+1F9D */ 1571,
    2551              :     /* U+1F2E+0345 -> U+1F9E */ 1572,
    2552              :     /* U+1F2F+0345 -> U+1F9F */ 1573,
    2553              :     /* U+1F30+0300 -> U+1F32 */ 1474,
    2554              :     /* U+1F30+0301 -> U+1F34 */ 1476,
    2555              :     /* U+1F30+0342 -> U+1F36 */ 1478,
    2556              :     /* U+1F31+0300 -> U+1F33 */ 1475,
    2557              :     /* U+1F31+0301 -> U+1F35 */ 1477,
    2558              :     /* U+1F31+0342 -> U+1F37 */ 1479,
    2559              :     /* U+1F38+0300 -> U+1F3A */ 1482,
    2560              :     /* U+1F38+0301 -> U+1F3C */ 1484,
    2561              :     /* U+1F38+0342 -> U+1F3E */ 1486,
    2562              :     /* U+1F39+0300 -> U+1F3B */ 1483,
    2563              :     /* U+1F39+0301 -> U+1F3D */ 1485,
    2564              :     /* U+1F39+0342 -> U+1F3F */ 1487,
    2565              :     /* U+1F40+0300 -> U+1F42 */ 1490,
    2566              :     /* U+1F40+0301 -> U+1F44 */ 1492,
    2567              :     /* U+1F41+0300 -> U+1F43 */ 1491,
    2568              :     /* U+1F41+0301 -> U+1F45 */ 1493,
    2569              :     /* U+1F48+0300 -> U+1F4A */ 1496,
    2570              :     /* U+1F48+0301 -> U+1F4C */ 1498,
    2571              :     /* U+1F49+0300 -> U+1F4B */ 1497,
    2572              :     /* U+1F49+0301 -> U+1F4D */ 1499,
    2573              :     /* U+1F50+0300 -> U+1F52 */ 1502,
    2574              :     /* U+1F50+0301 -> U+1F54 */ 1504,
    2575              :     /* U+1F50+0342 -> U+1F56 */ 1506,
    2576              :     /* U+1F51+0300 -> U+1F53 */ 1503,
    2577              :     /* U+1F51+0301 -> U+1F55 */ 1505,
    2578              :     /* U+1F51+0342 -> U+1F57 */ 1507,
    2579              :     /* U+1F59+0300 -> U+1F5B */ 1509,
    2580              :     /* U+1F59+0301 -> U+1F5D */ 1510,
    2581              :     /* U+1F59+0342 -> U+1F5F */ 1511,
    2582              :     /* U+1F60+0300 -> U+1F62 */ 1514,
    2583              :     /* U+1F60+0301 -> U+1F64 */ 1516,
    2584              :     /* U+1F60+0342 -> U+1F66 */ 1518,
    2585              :     /* U+1F60+0345 -> U+1FA0 */ 1574,
    2586              :     /* U+1F61+0300 -> U+1F63 */ 1515,
    2587              :     /* U+1F61+0301 -> U+1F65 */ 1517,
    2588              :     /* U+1F61+0342 -> U+1F67 */ 1519,
    2589              :     /* U+1F61+0345 -> U+1FA1 */ 1575,
    2590              :     /* U+1F62+0345 -> U+1FA2 */ 1576,
    2591              :     /* U+1F63+0345 -> U+1FA3 */ 1577,
    2592              :     /* U+1F64+0345 -> U+1FA4 */ 1578,
    2593              :     /* U+1F65+0345 -> U+1FA5 */ 1579,
    2594              :     /* U+1F66+0345 -> U+1FA6 */ 1580,
    2595              :     /* U+1F67+0345 -> U+1FA7 */ 1581,
    2596              :     /* U+1F68+0300 -> U+1F6A */ 1522,
    2597              :     /* U+1F68+0301 -> U+1F6C */ 1524,
    2598              :     /* U+1F68+0342 -> U+1F6E */ 1526,
    2599              :     /* U+1F68+0345 -> U+1FA8 */ 1582,
    2600              :     /* U+1F69+0300 -> U+1F6B */ 1523,
    2601              :     /* U+1F69+0301 -> U+1F6D */ 1525,
    2602              :     /* U+1F69+0342 -> U+1F6F */ 1527,
    2603              :     /* U+1F69+0345 -> U+1FA9 */ 1583,
    2604              :     /* U+1F6A+0345 -> U+1FAA */ 1584,
    2605              :     /* U+1F6B+0345 -> U+1FAB */ 1585,
    2606              :     /* U+1F6C+0345 -> U+1FAC */ 1586,
    2607              :     /* U+1F6D+0345 -> U+1FAD */ 1587,
    2608              :     /* U+1F6E+0345 -> U+1FAE */ 1588,
    2609              :     /* U+1F6F+0345 -> U+1FAF */ 1589,
    2610              :     /* U+1F70+0345 -> U+1FB2 */ 1592,
    2611              :     /* U+1F74+0345 -> U+1FC2 */ 1607,
    2612              :     /* U+1F7C+0345 -> U+1FF2 */ 1649,
    2613              :     /* U+1FB6+0345 -> U+1FB7 */ 1596,
    2614              :     /* U+1FBF+0300 -> U+1FCD */ 1617,
    2615              :     /* U+1FBF+0301 -> U+1FCE */ 1618,
    2616              :     /* U+1FBF+0342 -> U+1FCF */ 1619,
    2617              :     /* U+1FC6+0345 -> U+1FC7 */ 1611,
    2618              :     /* U+1FF6+0345 -> U+1FF7 */ 1653,
    2619              :     /* U+1FFE+0300 -> U+1FDD */ 1630,
    2620              :     /* U+1FFE+0301 -> U+1FDE */ 1631,
    2621              :     /* U+1FFE+0342 -> U+1FDF */ 1632,
    2622              :     /* U+2190+0338 -> U+219A */ 1863,
    2623              :     /* U+2192+0338 -> U+219B */ 1864,
    2624              :     /* U+2194+0338 -> U+21AE */ 1865,
    2625              :     /* U+21D0+0338 -> U+21CD */ 1866,
    2626              :     /* U+21D2+0338 -> U+21CF */ 1868,
    2627              :     /* U+21D4+0338 -> U+21CE */ 1867,
    2628              :     /* U+2203+0338 -> U+2204 */ 1869,
    2629              :     /* U+2208+0338 -> U+2209 */ 1870,
    2630              :     /* U+220B+0338 -> U+220C */ 1871,
    2631              :     /* U+2223+0338 -> U+2224 */ 1872,
    2632              :     /* U+2225+0338 -> U+2226 */ 1873,
    2633              :     /* U+223C+0338 -> U+2241 */ 1878,
    2634              :     /* U+2243+0338 -> U+2244 */ 1879,
    2635              :     /* U+2245+0338 -> U+2247 */ 1880,
    2636              :     /* U+2248+0338 -> U+2249 */ 1881,
    2637              :     /* U+224D+0338 -> U+226D */ 1884,
    2638              :     /* U+2261+0338 -> U+2262 */ 1883,
    2639              :     /* U+2264+0338 -> U+2270 */ 1887,
    2640              :     /* U+2265+0338 -> U+2271 */ 1888,
    2641              :     /* U+2272+0338 -> U+2274 */ 1889,
    2642              :     /* U+2273+0338 -> U+2275 */ 1890,
    2643              :     /* U+2276+0338 -> U+2278 */ 1891,
    2644              :     /* U+2277+0338 -> U+2279 */ 1892,
    2645              :     /* U+227A+0338 -> U+2280 */ 1893,
    2646              :     /* U+227B+0338 -> U+2281 */ 1894,
    2647              :     /* U+227C+0338 -> U+22E0 */ 1903,
    2648              :     /* U+227D+0338 -> U+22E1 */ 1904,
    2649              :     /* U+2282+0338 -> U+2284 */ 1895,
    2650              :     /* U+2283+0338 -> U+2285 */ 1896,
    2651              :     /* U+2286+0338 -> U+2288 */ 1897,
    2652              :     /* U+2287+0338 -> U+2289 */ 1898,
    2653              :     /* U+2291+0338 -> U+22E2 */ 1905,
    2654              :     /* U+2292+0338 -> U+22E3 */ 1906,
    2655              :     /* U+22A2+0338 -> U+22AC */ 1899,
    2656              :     /* U+22A8+0338 -> U+22AD */ 1900,
    2657              :     /* U+22A9+0338 -> U+22AE */ 1901,
    2658              :     /* U+22AB+0338 -> U+22AF */ 1902,
    2659              :     /* U+22B2+0338 -> U+22EA */ 1907,
    2660              :     /* U+22B3+0338 -> U+22EB */ 1908,
    2661              :     /* U+22B4+0338 -> U+22EC */ 1909,
    2662              :     /* U+22B5+0338 -> U+22ED */ 1910,
    2663              :     /* U+3046+3099 -> U+3094 */ 2348,
    2664              :     /* U+304B+3099 -> U+304C */ 2323,
    2665              :     /* U+304D+3099 -> U+304E */ 2324,
    2666              :     /* U+304F+3099 -> U+3050 */ 2325,
    2667              :     /* U+3051+3099 -> U+3052 */ 2326,
    2668              :     /* U+3053+3099 -> U+3054 */ 2327,
    2669              :     /* U+3055+3099 -> U+3056 */ 2328,
    2670              :     /* U+3057+3099 -> U+3058 */ 2329,
    2671              :     /* U+3059+3099 -> U+305A */ 2330,
    2672              :     /* U+305B+3099 -> U+305C */ 2331,
    2673              :     /* U+305D+3099 -> U+305E */ 2332,
    2674              :     /* U+305F+3099 -> U+3060 */ 2333,
    2675              :     /* U+3061+3099 -> U+3062 */ 2334,
    2676              :     /* U+3064+3099 -> U+3065 */ 2335,
    2677              :     /* U+3066+3099 -> U+3067 */ 2336,
    2678              :     /* U+3068+3099 -> U+3069 */ 2337,
    2679              :     /* U+306F+3099 -> U+3070 */ 2338,
    2680              :     /* U+306F+309A -> U+3071 */ 2339,
    2681              :     /* U+3072+3099 -> U+3073 */ 2340,
    2682              :     /* U+3072+309A -> U+3074 */ 2341,
    2683              :     /* U+3075+3099 -> U+3076 */ 2342,
    2684              :     /* U+3075+309A -> U+3077 */ 2343,
    2685              :     /* U+3078+3099 -> U+3079 */ 2344,
    2686              :     /* U+3078+309A -> U+307A */ 2345,
    2687              :     /* U+307B+3099 -> U+307C */ 2346,
    2688              :     /* U+307B+309A -> U+307D */ 2347,
    2689              :     /* U+309D+3099 -> U+309E */ 2353,
    2690              :     /* U+30A6+3099 -> U+30F4 */ 2380,
    2691              :     /* U+30AB+3099 -> U+30AC */ 2355,
    2692              :     /* U+30AD+3099 -> U+30AE */ 2356,
    2693              :     /* U+30AF+3099 -> U+30B0 */ 2357,
    2694              :     /* U+30B1+3099 -> U+30B2 */ 2358,
    2695              :     /* U+30B3+3099 -> U+30B4 */ 2359,
    2696              :     /* U+30B5+3099 -> U+30B6 */ 2360,
    2697              :     /* U+30B7+3099 -> U+30B8 */ 2361,
    2698              :     /* U+30B9+3099 -> U+30BA */ 2362,
    2699              :     /* U+30BB+3099 -> U+30BC */ 2363,
    2700              :     /* U+30BD+3099 -> U+30BE */ 2364,
    2701              :     /* U+30BF+3099 -> U+30C0 */ 2365,
    2702              :     /* U+30C1+3099 -> U+30C2 */ 2366,
    2703              :     /* U+30C4+3099 -> U+30C5 */ 2367,
    2704              :     /* U+30C6+3099 -> U+30C7 */ 2368,
    2705              :     /* U+30C8+3099 -> U+30C9 */ 2369,
    2706              :     /* U+30CF+3099 -> U+30D0 */ 2370,
    2707              :     /* U+30CF+309A -> U+30D1 */ 2371,
    2708              :     /* U+30D2+3099 -> U+30D3 */ 2372,
    2709              :     /* U+30D2+309A -> U+30D4 */ 2373,
    2710              :     /* U+30D5+3099 -> U+30D6 */ 2374,
    2711              :     /* U+30D5+309A -> U+30D7 */ 2375,
    2712              :     /* U+30D8+3099 -> U+30D9 */ 2376,
    2713              :     /* U+30D8+309A -> U+30DA */ 2377,
    2714              :     /* U+30DB+3099 -> U+30DC */ 2378,
    2715              :     /* U+30DB+309A -> U+30DD */ 2379,
    2716              :     /* U+30EF+3099 -> U+30F7 */ 2381,
    2717              :     /* U+30F0+3099 -> U+30F8 */ 2382,
    2718              :     /* U+30F1+3099 -> U+30F9 */ 2383,
    2719              :     /* U+30F2+3099 -> U+30FA */ 2384,
    2720              :     /* U+30FD+3099 -> U+30FE */ 2385,
    2721              :     /* U+105D2+0307 -> U+105C9 */ 4627,
    2722              :     /* U+105DA+0307 -> U+105E4 */ 4628,
    2723              :     /* U+11099+110BA -> U+1109A */ 4727,
    2724              :     /* U+1109B+110BA -> U+1109C */ 4728,
    2725              :     /* U+110A5+110BA -> U+110AB */ 4729,
    2726              :     /* U+11131+11127 -> U+1112E */ 4735,
    2727              :     /* U+11132+11127 -> U+1112F */ 4736,
    2728              :     /* U+11347+1133E -> U+1134B */ 4748,
    2729              :     /* U+11347+11357 -> U+1134C */ 4749,
    2730              :     /* U+11382+113C9 -> U+11383 */ 4763,
    2731              :     /* U+11384+113BB -> U+11385 */ 4764,
    2732              :     /* U+1138B+113C2 -> U+1138E */ 4765,
    2733              :     /* U+11390+113C9 -> U+11391 */ 4766,
    2734              :     /* U+113C2+113B8 -> U+113C7 */ 4768,
    2735              :     /* U+113C2+113C2 -> U+113C5 */ 4767,
    2736              :     /* U+113C2+113C9 -> U+113C8 */ 4769,
    2737              :     /* U+114B9+114B0 -> U+114BC */ 4777,
    2738              :     /* U+114B9+114BA -> U+114BB */ 4776,
    2739              :     /* U+114B9+114BD -> U+114BE */ 4778,
    2740              :     /* U+115B8+115AF -> U+115BA */ 4781,
    2741              :     /* U+115B9+115AF -> U+115BB */ 4782,
    2742              :     /* U+11935+11930 -> U+11938 */ 4791,
    2743              :     /* U+1611E+1611E -> U+16121 */ 4806,
    2744              :     /* U+1611E+1611F -> U+16123 */ 4808,
    2745              :     /* U+1611E+16120 -> U+16125 */ 4810,
    2746              :     /* U+1611E+16129 -> U+16122 */ 4807,
    2747              :     /* U+16121+1611F -> U+16126 */ 4811,
    2748              :     /* U+16121+16120 -> U+16128 */ 4813,
    2749              :     /* U+16122+1611F -> U+16127 */ 4812,
    2750              :     /* U+16129+1611F -> U+16124 */ 4809,
    2751              :     /* U+16D63+16D67 -> U+16D69 */ 4828,
    2752              :     /* U+16D67+16D67 -> U+16D68 */ 4827,
    2753              :     /* U+16D69+16D67 -> U+16D6A */ 4829
    2754              : };
    2755              : 
    2756              : /* Perfect hash function for recomposition */
    2757              : static int
    2758         2334 : Recomp_hash_func(const void *key)
    2759              : {
    2760              :     static const int16 h[1923] = {
    2761              :         -109,  -96,   32767, 0,     -844,  -182,  -292,  32767,
    2762              :         830,   793,   794,   665,   0,     -9,    32767, 32767,
    2763              :         32767, 32767, 32767, 428,   32767, 32767, 32767, 502,
    2764              :         0,     32767, -230,  144,   356,   -76,   0,     243,
    2765              :         665,   32767, 32767, -1003, 244,   0,     32767, 32767,
    2766              :         573,   246,   125,   32767, 32767, 32767, 0,     32767,
    2767              :         32767, 32767, 32767, 0,     245,   32767, 723,   32767,
    2768              :         0,     889,   32767, 32767, 32767, 0,     32767, 32767,
    2769              :         0,     173,   157,   1215,  254,   255,   -126,  0,
    2770              :         0,     504,   459,   -11,   238,   -188,  722,   247,
    2771              :         260,   32767, -184,  -6,    2102,  -578,  32767, 32767,
    2772              :         -598,  -670,  260,   19,    32767, -472,  32767, 664,
    2773              :         511,   0,     32767, 345,   291,   0,     -370,  176,
    2774              :         32767, 1017,  -139,  -519,  -30,   0,     -24,   -23,
    2775              :         481,   -253,  -1813, 32767, 0,     935,   32767, 32767,
    2776              :         -443,  32767, 773,   32767, 32767, 32767, -507,  427,
    2777              :         0,     32767, 899,   32767, 32767, 277,   0,     32767,
    2778              :         32767, 0,     842,   854,   0,     32767, 936,   621,
    2779              :         -195,  32767, 0,     32767, 707,   268,   32767, 32767,
    2780              :         435,   32767, 32767, 32767, 0,     267,   88,    72,
    2781              :         32767, 487,   32767, 32767, 32767, 0,     32767, 32767,
    2782              :         32767, 32767, 32767, 875,   -312,  32767, 483,   875,
    2783              :         270,   89,    32767, 483,   32767, 32767, 32767, 32767,
    2784              :         708,   273,   2053,  -63,   -242,  -479,  32767, 352,
    2785              :         32767, 32767, 0,     560,   544,   32767, 32767, 32767,
    2786              :         0,     0,     32767, 0,     32767, 32767, 32767, 525,
    2787              :         274,   32767, 404,   386,   518,   32767, -357,  32767,
    2788              :         -45,   1154,  276,   32767, 149,   0,     277,   714,
    2789              :         313,   32767, 32767, 32767, 32767, 32767, 841,   460,
    2790              :         431,   32767, 32767, -49,   32767, 32767, 32767, 32767,
    2791              :         32767, 32767, 0,     876,   280,   281,   131,   388,
    2792              :         283,   32767, 1125,  32767, 695,   712,   32767, 0,
    2793              :         713,   1732,  0,     32767, 0,     231,   32767, 0,
    2794              :         32767, -755,  32767, 32767, 32767, 435,   32767, 0,
    2795              :         951,   952,   32767, 32767, 464,   867,   1298,  0,
    2796              :         660,   -55,   0,     292,   663,   118,   661,   -722,
    2797              :         435,   816,   328,   0,     323,   323,   -258,  -684,
    2798              :         2114,  0,     302,   0,     32767, 32767, 1607,  32767,
    2799              :         0,     32767, 32767, 0,     810,   32767, -543,  -5,
    2800              :         515,   32767, 0,     877,   304,   32767, 472,   32767,
    2801              :         683,   -549,  258,   285,   -904,  32767, 148,   1202,
    2802              :         1044,  0,     32767, 32767, 659,   1395,  905,   32767,
    2803              :         32767, 32767, -626,  32767, 32767, 32767, 32767, 672,
    2804              :         0,     32767, -139,  32767, 32767, 0,     0,     660,
    2805              :         1,     32767, -955,  -293,  616,   391,   632,   -126,
    2806              :         32767, 32767, 1610,  -166,  754,   324,   32767, 32767,
    2807              :         931,   32767, 32767, 32767, 0,     32767, 32767, 32767,
    2808              :         32767, 0,     32767, 32767, 302,   391,   32767, 32767,
    2809              :         516,   32767, 32767, 1131,  670,   544,   308,   286,
    2810              :         0,     0,     32767, 32767, 531,   -629,  -35,   0,
    2811              :         6,     -63,   485,   0,     0,     -486,  -58,   0,
    2812              :         0,     38,    470,   -20,   0,     32767, 0,     0,
    2813              :         956,   32767, 0,     294,   -759,  0,     32767, 32767,
    2814              :         -362,  73,    316,   588,   314,   32767, 609,   0,
    2815              :         318,   32767, 32767, 32767, -759,  1466,  -212,  32767,
    2816              :         1910,  226,   653,   32767, 219,   32767, 32767, 0,
    2817              :         0,     32767, 1045,  -6,    -6,    32767, 0,     163,
    2818              :         0,     0,     -9,    879,   -369,  32767, -18,   321,
    2819              :         322,   32767, 32767, -449,  1082,  324,   57,    32767,
    2820              :         -403,  252,   697,   0,     491,   552,   0,     32767,
    2821              :         32767, 32767, 864,   32767, 0,     32767, 929,   -582,
    2822              :         32767, 32767, 32767, 1521,  32767, 32767, 32767, 212,
    2823              :         326,   -542,  332,   333,   334,   -490,  692,   336,
    2824              :         32767, 337,   338,   31,    0,     714,   348,   34,
    2825              :         342,   32767, 1602,  32767, 687,   143,   32767, 0,
    2826              :         32767, 32767, 0,     32767, 196,   -21,   32767, 32767,
    2827              :         -4,    32767, 32767, 880,   -211,  203,   32767, 1078,
    2828              :         83,    1661,  32767, 32767, 283,   787,   348,   32767,
    2829              :         0,     -464,  0,     32767, 725,   -431,  -811,  -322,
    2830              :         7,     32767, -315,  267,   694,   -2103, 12,    247,
    2831              :         13,    692,   32767, -1593, 32767, 15,    32767, 32767,
    2832              :         830,   0,     623,   354,   32767, 32767, -154,  0,
    2833              :         264,   -712,  32767, 357,   32767, 32767, 220,   -242,
    2834              :         32767, 921,   905,   32767, -1184, 549,   32767, 19,
    2835              :         319,   32767, 551,   32767, 1307,  0,     32767, 32767,
    2836              :         32767, 0,     566,   881,   822,   936,   326,   89,
    2837              :         -313,  32767, 250,   0,     359,   360,   32767, 32767,
    2838              :         32767, 32767, -575,  20,    32767, 98,    23,    32767,
    2839              :         287,   744,   124,   1027,  32767, 0,     564,   0,
    2840              :         -548,  -497,  982,   32767, 32767, 32767, 32767, 32767,
    2841              :         35,    316,   -1859, 343,   364,   786,   0,     32767,
    2842              :         366,   4,     0,     753,   581,   524,   270,   686,
    2843              :         0,     -382,  32767, -1189, 0,     747,   32767, 363,
    2844              :         32767, 32767, -1782, 32767, 28,    32767, 677,   452,
    2845              :         210,   0,     884,   882,   -258,  32767, -1099, -222,
    2846              :         32767, 32767, 32767, 32767, 373,   671,   32767, 311,
    2847              :         32767, 370,   32767, -831,  101,   32,    35,    36,
    2848              :         -1159, 930,   38,    39,    -148,  -148,  32767, 32767,
    2849              :         -150,  -803,  1185,  675,   32767, -152,  32767, 0,
    2850              :         633,   467,   -279,  827,   32767, 1273,  -410,  136,
    2851              :         32767, 527,   842,   397,   32767, 1149,  376,   45,
    2852              :         2221,  20,    0,     -421,  47,    925,   0,     363,
    2853              :         368,   -384,  0,     32767, -230,  32767, -532,  32767,
    2854              :         32767, 32767, 0,     32767, 634,   219,   -6,    397,
    2855              :         32767, 32767, 692,   385,   361,   483,   526,   32767,
    2856              :         0,     32767, 628,   728,   2167,  51,    892,   32767,
    2857              :         -326,  -595,  54,    55,    32767, 825,   0,     0,
    2858              :         933,   32767, 32767, 32767, 828,   32767, 32767, 883,
    2859              :         -144,  32767, 32767, 32767, 933,   0,     0,     209,
    2860              :         1580,  790,   0,     0,     32767, 32767, 32767, 730,
    2861              :         731,   32767, 58,    57,    457,   557,   32767, 59,
    2862              :         60,    0,     -1438, 32767, 1016,  32767, 1344,  683,
    2863              :         32767, 0,     32767, 32767, 32767, 32767, 32767, 558,
    2864              :         45,    32767, 0,     32767, 0,     0,     843,   0,
    2865              :         32767, 0,     503,   62,    488,   600,   -395,  -328,
    2866              :         69,    566,   -355,  1027,  -737,  -72,   -606,  32767,
    2867              :         74,    32767, 32767, 1144,  32767, -75,   32767, 884,
    2868              :         -144,  32767, 22,    598,   32767, 792,   32767, 32767,
    2869              :         32767, 32767, 32767, -336,  32767, 32767, 0,     45,
    2870              :         0,     32767, 658,   637,   78,    95,    -962,  0,
    2871              :         0,     32767, 256,   0,     -247,  -201,  32767, 32767,
    2872              :         447,   0,     0,     0,     32767, 445,   806,   860,
    2873              :         -39,   74,    32767, -6,    32767, 529,   32767, 700,
    2874              :         307,   179,   0,     893,   32767, 835,   0,     -29,
    2875              :         32767, 32767, 32767, 32767, -754,  32767, 32767, 32767,
    2876              :         -702,  -227,  -55,   0,     517,   -196,  32767, 784,
    2877              :         177,   0,     -1082, 597,   -166,  797,   32767, 32767,
    2878              :         613,   32767, 1211,  32767, -283,  126,   32767, 83,
    2879              :         526,   -1584, 533,   172,   950,   0,     0,     32767,
    2880              :         32767, -1767, -88,   32767, 87,    -1289, 773,   953,
    2881              :         1131,  0,     0,     32767, 1374,  0,     32767, 32767,
    2882              :         32767, 798,   32767, 0,     1547,  158,   613,   32767,
    2883              :         32767, -822,  32767, 88,    473,   474,   378,   89,
    2884              :         940,   659,   352,   -270,  0,     -1015, 477,   32767,
    2885              :         901,   91,    1068,  32767, 0,     0,     32767, 32767,
    2886              :         0,     32767, 461,   404,   32767, 46,    -65,   32767,
    2887              :         32767, 815,   822,   32767, 32767, 32767, 406,   925,
    2888              :         338,   -487,  0,     97,    438,   -464,  32767, 98,
    2889              :         0,     0,     1113,  0,     -416,  0,     32767, 0,
    2890              :         -35,   0,     180,   413,   32767, 32767, 0,     -219,
    2891              :         568,   175,   0,     0,     32767, 503,   0,     32767,
    2892              :         528,   32767, 32767, -464,  733,   140,   106,   101,
    2893              :         171,   32767, 109,   110,   597,   170,   32767, 113,
    2894              :         76,    103,   32767, 115,   559,   116,   32767, -213,
    2895              :         32767, 0,     597,   823,   32767, 801,   32767, 479,
    2896              :         803,   631,   723,   32767, 538,   -394,  468,   -200,
    2897              :         411,   29,    32767, 32767, -1347, 361,   32767, -458,
    2898              :         655,   32767, 32767, 32767, -791,  0,     32767, 540,
    2899              :         541,   32767, 32767, -14,   959,   32767, 0,     462,
    2900              :         32767, 802,   32767, 32767, 846,   734,   32767, 32767,
    2901              :         735,   32767, 32767, 32767, 32767, 32767, 0,     32767,
    2902              :         32767, -685,  32767, 32767, 32767, 32767, 32767, 32767,
    2903              :         0,     44,    32767, 0,     807,   131,   349,   0,
    2904              :         0,     7,     -94,   423,   0,     529,   32767, 32767,
    2905              :         32767, 286,   0,     32767, -145,  400,   281,   445,
    2906              :         32767, 122,   32767, -300,  600,   571,   769,   945,
    2907              :         518,   0,     461,   32767, -254,  32767, -423,  -534,
    2908              :         462,   396,   0,     886,   425,   -956,  809,   145,
    2909              :         573,   810,   0,     401,   0,     -1069, 0,     151,
    2910              :         1011,  0,     0,     81,    32767, -411,  0,     -687,
    2911              :         859,   451,   -1447, 132,   32767, 32767, 32767, 32767,
    2912              :         -154,  32,    32767, 32767, 32767, 32767, 0,     32767,
    2913              :         32767, 32767, 37,    408,   0,     811,   326,   32767,
    2914              :         0,     -374,  32767, -184,  741,   -376,  91,    134,
    2915              :         32767, 486,   135,   -40,   579,   373,   32767, 547,
    2916              :         32767, 32767, 32767, 32767, -259,  873,   0,     0,
    2917              :         0,     825,   -373,  0,     32767, 0,     0,     308,
    2918              :         340,   -373,  32767, 0,     0,     32767, -1259, 32767,
    2919              :         742,   32767, 643,   139,   144,   349,   -79,   147,
    2920              :         148,   32767, 149,   732,   425,   -219,  152,   -446,
    2921              :         556,   143,   32767, 155,   165,   -1314, 0,     888,
    2922              :         439,   32767, 0,     0,     0,     813,   405,   29,
    2923              :         32767, 6,     0,     0,     743,   32767, 1902,  158,
    2924              :         159,   32767, 381,   0,     -102,  196,   0,     769,
    2925              :         -419,  -596,  0,     782,   162,   32767, 32767, -580,
    2926              :         32767, 32767, 32767, 32767, 1126,  32767, 32767, 412,
    2927              :         32767, 814,   824,   32767, 32767, 0,     32767, 32767,
    2928              :         744,   32767, 32767, 746,   0,     1480,  167,   0,
    2929              :         1189,  32767, 32767, 168,   169,   32767, 0,     32767,
    2930              :         906,   32767, 32767, 32767, 32767, 32767, 32767, 601,
    2931              :         32767, 32767, -278,  0,     32767, 1261,  414,   32767,
    2932              :         32767, 32767, 32767, 375,   378,   589,   644,   750,
    2933              :         751,   937,   32767, 590,   32767, 591,   32767, 171,
    2934              :         172,   32767, 32767, 32767, 32767, 1195,  32767, 32767,
    2935              :         721,   0,     0,     -505,  -14,   6,     0,     0,
    2936              :         0,     1058,  -718,  99,    0,     372,   327,   32767,
    2937              :         729,   -166,  32767, 0,     173,   -939,  175,   592,
    2938              :         177,   576,   32767, 213,   179,   0,     0,     514,
    2939              :         620,   32767, 32767, 32767, 32767, 0,     32767, 32767,
    2940              :         958,   -240,  0,     -840,  32767, 379,   32767, 0,
    2941              :         0,     752,   673,   -432,  159,   -877,  32767, -416,
    2942              :         32767, 182,   -211,  0,     0,     594,   32767, 184,
    2943              :         -1070, 32767, 32767, 32767, 185,   0,     0,     32767,
    2944              :         710,   32767, 32767, 32767, 32767, 928,   32767, 32767,
    2945              :         0,     126,   942,   32767, 0,     0,     32767, 867,
    2946              :         697,   -355,  32767, 625,   0,     596,   32767, 597,
    2947              :         -243,  583,   32767, 0,     0,     0,     0,     0,
    2948              :         584,   650,   0,     32767, 515,   32767, 0,     892,
    2949              :         0,     0,     -271,  274,   32767, 418,   32767, 0,
    2950              :         32767, 32767, 32767, 440,   -1147, 32767, 0,     32767,
    2951              :         32767, 651,   652,   564,   32767, 32767, 32767, 0,
    2952              :         32767, 32767, 32767, 32767, 947,   -68,   32767, 688,
    2953              :         32767, 0,     0,     689,   915,   916,   0,     0,
    2954              :         -204,  225,   0,     0,     0,     0,     32767, -275,
    2955              :         370,   0,     599,   -402,  32767, 571,   0,     32767,
    2956              :         1470,  594,   32767, 772,   773,   1458,  0,     907,
    2957              :         1048,  32767, 128,   4,     32767, 0,     32767, 1880,
    2958              :         32767, 32767, 0,     0,     684,   32767, 0,     262,
    2959              :         32767, 32767, 32767, 32767, 757,   32767, 32767, 0,
    2960              :         196,   32767, -258,  -552,  -998,  0,     950,   774,
    2961              :         -35,   32767, 0,     32767, 0,     32767, 15,    32767,
    2962              :         0,     32767, 0,     27,    198,   760,   32767, 32767,
    2963              :         1204,  32767, 32767, 32767, 32767, 32767, 32767, 32767,
    2964              :         620,   32767, 32767, 760,   761,   32767, 32767, 32767,
    2965              :         32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
    2966              :         32767, 0,     0,     32767, 32767, 0,     32767, 0,
    2967              :         1195,  918,   32767, 32767, 32767, 32767, 0,     0,
    2968              :         32767, 32767, 32767, 32767, 903,   32767, 32767, 763,
    2969              :         764,   0,     32767, 0,     32767, 32767, 0,     32767,
    2970              :         833,   32767, 32767, 32767, 1132,  32767, 32767, 32767,
    2971              :         32767, 32767, 32767, 0,     450,   32767, 32767, 420,
    2972              :         32767, 32767, 32767, 32767, -68,   2,     0,     0,
    2973              :         1196,  0,     0,     0,     188,   189,   190,   191,
    2974              :         192,   600,   0,     -632,  -43,   196,   89,    489,
    2975              :         294,   1248,  32767, 1043,  32767, 492,   32767, 32767,
    2976              :         519,   0,     32767, 863,   32767, 32767, 32767, 0,
    2977              :         32767, 765,   493,   467,   0,     32767, 32767, 201,
    2978              :         32767, 432,   849,   32767, 279,   0,     0,     204,
    2979              :         834,   32767, 0,     32767, 1670,  32767, 0,     32767,
    2980              :         0,     32767, 32767, 32767, 919,   929,   32767, 0,
    2981              :         32767, -363,  0,     32767, 32767, 0,     434,   -56,
    2982              :         32767, 436,   0,     349,   0,     207,   208,   437,
    2983              :         32767, 0,     32767, -694,  -408,  32767, 0,     32767,
    2984              :         210,   206,   0,     653,   32767, 32767, 0,     402,
    2985              :         1105,  0,     32767, 693,   0,     0,     938,   32767,
    2986              :         32767, 32767, 438,   541,   131,   440,   871,   32767,
    2987              :         32767, 0,     32767, 279,   32767, 32767, 287,   212,
    2988              :         0,     0,     32767, 32767, 367,   32767, 696,   697,
    2989              :         32767, 0,     0,     0,     0,     32767, 32767, 32767,
    2990              :         32767, 32767, 32767, 0,     32767, 0,     -1321, 32767,
    2991              :         0,     176,   32767, 214,   218,   724,   234,   215,
    2992              :         222,   32767, 223,   -834,  943,   127,   32767, 496,
    2993              :         -100,  217,   0,     394,   32767, 229,   32767, 0,
    2994              :         0,     17,    421,   415,   447,   0,     32767, 686,
    2995              :         32767, 32767, 1845,  138,   32767, 32767, 872,   230,
    2996              :         32767, 601,   851,   471,   232,   603,   32767, 778,
    2997              :         698,   233,   32767, 699,   -439,  32767, 0,     32767,
    2998              :         32767, 32767, 663,   32767, 32767, 32767, 32767, -298,
    2999              :         449,   32767, -463,  687,   32767, 32767, 427,   32767,
    3000              :         0,     0,     0,     0,     0,     236,   193,   826,
    3001              :         238,   0,     108
    3002              :     };
    3003              : 
    3004         2334 :     const unsigned char *k = (const unsigned char *) key;
    3005         2334 :     size_t      keylen = 8;
    3006         2334 :     uint32      a = 0;
    3007         2334 :     uint32      b = 0;
    3008              : 
    3009        21006 :     while (keylen--)
    3010              :     {
    3011        18672 :         unsigned char c = *k++;
    3012              : 
    3013        18672 :         a = a * 257 + c;
    3014        18672 :         b = b * 17 + c;
    3015              :     }
    3016         2334 :     return h[a % 1923] + h[b % 1923];
    3017              : }
    3018              : 
    3019              : /* Hash lookup information for recomposition */
    3020              : static const pg_unicode_recompinfo UnicodeRecompInfo =
    3021              : {
    3022              :     RecompInverseLookup,
    3023              :     Recomp_hash_func,
    3024              :     961
    3025              : };
        

Generated by: LCOV version 2.0-1