/* DO NOT EDIT! GENERATED AUTOMATICALLY! */
/* Properties of Unicode characters.  */
/* Generated automatically by gen-uni-tables.c for Unicode 9.0.0.  */
#define header_0 16
#define header_2 9
#define header_3 127
#define header_4 15
static const
struct
  {
    int header[1];
    int level1[2];
    short level2[2 << 7];
    /*unsigned*/ int level3[43 << 4];
  }
u_property_punctuation =
{
  { 2 },
  {
        3 * sizeof (int) / sizeof (short) +     0,
        3 * sizeof (int) / sizeof (short) +   128
  },
  {
        3 +   256 * sizeof (short) / sizeof (int) +     0,
        3 +   256 * sizeof (short) / sizeof (int) +    16,
        3 +   256 * sizeof (short) / sizeof (int) +    32,
        3 +   256 * sizeof (short) / sizeof (int) +    48,
        3 +   256 * sizeof (short) / sizeof (int) +    64,
        3 +   256 * sizeof (short) / sizeof (int) +    80,
        3 +   256 * sizeof (short) / sizeof (int) +    96,
        3 +   256 * sizeof (short) / sizeof (int) +   112,
        3 +   256 * sizeof (short) / sizeof (int) +   128,
        3 +   256 * sizeof (short) / sizeof (int) +   144,
        3 +   256 * sizeof (short) / sizeof (int) +   160,
        3 +   256 * sizeof (short) / sizeof (int) +   176,
        3 +   256 * sizeof (short) / sizeof (int) +   192,
        3 +   256 * sizeof (short) / sizeof (int) +   208,
        3 +   256 * sizeof (short) / sizeof (int) +   224,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   240,
        3 +   256 * sizeof (short) / sizeof (int) +   256,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   272,
        3 +   256 * sizeof (short) / sizeof (int) +   288,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   304,
        3 +   256 * sizeof (short) / sizeof (int) +   320,
        3 +   256 * sizeof (short) / sizeof (int) +   336,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   352,
        3 +   256 * sizeof (short) / sizeof (int) +   368,
        3 +   256 * sizeof (short) / sizeof (int) +   384,
        3 +   256 * sizeof (short) / sizeof (int) +   400,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   416,
        3 +   256 * sizeof (short) / sizeof (int) +   432,
        3 +   256 * sizeof (short) / sizeof (int) +   448,
        3 +   256 * sizeof (short) / sizeof (int) +   464,
        3 +   256 * sizeof (short) / sizeof (int) +   480,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   496,
        3 +   256 * sizeof (short) / sizeof (int) +   512,
       -1,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   528,
        3 +   256 * sizeof (short) / sizeof (int) +   544,
        3 +   256 * sizeof (short) / sizeof (int) +   560,
        3 +   256 * sizeof (short) / sizeof (int) +   576,
       -1,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   592,
       -1,
       -1,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   608,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   624,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   640,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   656,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
        3 +   256 * sizeof (short) / sizeof (int) +   672,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1,
       -1
  },
  {
    0x00000000, 0x8C00F7EE, 0xB8000001, 0x28000000,
    0x00000000, 0x88C00882, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x40000000,
    0x00000080, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0xFC000000, 0x00000000,
    0x00000600, 0x40000000, 0x00000049, 0x00180000,
    0xC8003600, 0x00000000, 0x00000000, 0x00003C00,
    0x00000000, 0x00000000, 0x00100000, 0x00000000,
    0x00003FFF, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x03800000,
    0x00000000, 0x7FFF0000, 0x40000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00010030,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00010000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00100000,
    0x00000000, 0x00000000, 0x0C008000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x0017FFF0, 0x3C000000, 0x00000000, 0x00000000,
    0x00000020, 0x00000000, 0x061F0000, 0x00000000,
    0x00000000, 0x00000000, 0x0000FC00, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x08000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x000001FF,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000001, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00006000,
    0x18000000, 0x00000000, 0x00000000, 0x00003800,
    0x00000000, 0x00600000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x07700000, 0x00000000,
    0x000007FF, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000030, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0xC0000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00003F7F, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0xFC000000, 0x00000001,
    0x00000000, 0x00000000, 0x00000000, 0xF0000000,
    0x00000000, 0xF8000000, 0x00000000, 0xC0000000,
    0x00000000, 0x00000000, 0x000800FF, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0xFFFF0000, 0xFFFF00FF, 0x7FFBFFEF, 0x60000000,
    0x00006000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000F00, 0x00000600, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x003FFF00,
    0x00000000, 0x00000000, 0x00000060, 0x0000FFC0,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x01FFFFF8, 0x00000000, 0x0F000000, 0x30000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0xDE000000,
    0x00000000, 0x00000000, 0x00000000, 0x00010000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0xFFFFFFFF, 0xFFFF7FFF, 0x0000001F, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0xFFF3FF0E, 0x20010000, 0x00000000, 0x00000000,
    0x00000000, 0x00000001, 0x00000000, 0x08000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0xC0000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x0000E000, 0x00000000, 0x00000000, 0x40080000,
    0x00000000, 0x00000000, 0x00000000, 0x00FC0000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00F00000,
    0x00000000, 0x00000000, 0x0000C000, 0x17000000,
    0x00000000, 0x0000C000, 0x80000000, 0x00000000,
    0x00000000, 0x00000000, 0xC0003FFE, 0x00000000,
    0x00000000, 0x00000000, 0xF0000000, 0x00000000,
    0x00000000, 0x00000000, 0xC0000000, 0x00030000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000800,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0xC0000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x03FF0000, 0xFFFF0000, 0xFFF7FFFF, 0x00000D0B,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x8C00F7EE, 0xB8000001, 0xA8000000, 0x0000003F,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000007, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x80000000, 0x00000000, 0x00010000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00008000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00800000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x80000000, 0x80000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x01FF0000, 0x80000000,
    0x00000000, 0x00000000, 0x00000000, 0x007F0000,
    0x00000000, 0xFE000000, 0x00000000, 0x00000000,
    0x1E000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00003F80, 0x00000000,
    0x00000000, 0xD8000000, 0x00000003, 0x00000000,
    0x00000000, 0x00000000, 0x0000000F, 0x00300000,
    0x00000000, 0x00000000, 0xE80023E0, 0x00000000,
    0x00000000, 0x3F000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000200, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x2800F800, 0x00000000,
    0x00000000, 0x00000000, 0x00000040, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00FFFFFE, 0x00000000,
    0x00000000, 0x00000000, 0x0000000E, 0x00001FFF,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x70000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x0000003E, 0x00030000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x001F0000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x0000C000,
    0x00000000, 0x00000000, 0x00000000, 0x00200000,
    0x00000000, 0x0F800000, 0x00000010, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x80000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000F80, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000,
    0x00000000, 0x00000000, 0xC0000000, 0x00000000,
    0x00000000, 0x00000000, 0x00000000, 0x00000000
  }
};