text: /* 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[1];
      short level2[1 << 7];
      /*unsigned*/ int level3[4 << 4];
    }
  u_property_space =
  {
    { 1 },
    {     2 * sizeof (int) / sizeof (short) +     0 },
    {
          2 +   128 * sizeof (short) / sizeof (int) +     0,
         -1,
         -1,
         -1,
         -1,
         -1,
         -1,
         -1,
         -1,
         -1,
         -1,
          2 +   128 * sizeof (short) / sizeof (int) +    16,
         -1,
         -1,
         -1,
         -1,
          2 +   128 * sizeof (short) / sizeof (int) +    32,
         -1,
         -1,
         -1,
         -1,
         -1,
         -1,
         -1,
          2 +   128 * sizeof (short) / sizeof (int) +    48,
         -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,
         -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
    },
    {
      0x00000000, 0x00000001, 0x00000000, 0x00000000,
      0x00000000, 0x00000001, 0x00000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000,
      0x00000001, 0x00000000, 0x00000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000,
      0x000007FF, 0x00008000, 0x80000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000,
      0x00000001, 0x00000000, 0x00000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000,
      0x00000000, 0x00000000, 0x00000000, 0x00000000
    }
  };
  