/* 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[11 << 4];

  }

u_property_other_math =

{

  { 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,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

        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,

       -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,

       -1,

       -1,

       -1,

        3 +   256 * sizeof (short) / sizeof (int) +   112,

       -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,

       -1,

       -1,

       -1,

        3 +   256 * sizeof (short) / sizeof (int) +   128,

        3 +   256 * sizeof (short) / sizeof (int) +   144,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

        3 +   256 * sizeof (short) / sizeof (int) +   160,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1,

       -1

  },

  {

    0x00000000, 0x00000000, 0x40000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00270000, 0x00330000,

    0x00400000, 0x001C0000, 0x00000001, 0x6000001E,

    0x00006000, 0x00000000, 0x1FFF0000, 0x0000F862,

    0x3E2FFC84, 0xF1FBB310, 0x000003E0, 0x00000000,

    0xF3E00000, 0xF0C33EB6, 0x2FEB3FFF, 0x00000030,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000F00, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00B00000, 0x00010000, 0x00000004,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0xF07FC003, 0x000F8CC1, 0x00001F94,

    0x00000060, 0x00000000, 0x00000005, 0x0000600F,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000060, 0x0000FFC0,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x01FFFFF8, 0x00000000, 0x0F000000, 0x30000000,

    0x00000000, 0x00000000, 0x00000000, 0x0000010A,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x50000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0xFFFFFFFF, 0xFFFFFFFF, 0xFFDFFFFF, 0xFFFFFFFF,

    0xDFFFFFFF, 0xEBFFDE64, 0xFFFFFFEF, 0xFFFFFFFF,

    0xDFDFE7BF, 0x7BFFFFFF, 0xFFFDFC5F, 0xFFFFFFFF,

    0xFFFFFFFF, 0xFFFFFFFF, 0xFFFFFFFF, 0xFFFFFFFF,

    0xFFFFFFFF, 0xFFFFFFFF, 0xFFFFFFFF, 0xFFFFFFFF,

    0xFFFFFFFF, 0xFFFFFF3F, 0xF7FFFFFD, 0xF7FFFFFF,

    0xFFDFFFFF, 0xFFDFFFFF, 0xFFFF7FFF, 0xFFFF7FFF,

    0xFFFFFDFF, 0xFFFFFDFF, 0xFFFFCFF7, 0xFFFFFFFF,

    0xFFFFFFEF, 0x0AF7FE96, 0xAA96EA84, 0x5EF7F796,

    0x0FFFFBFF, 0x0FFFFBEE, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000,

    0x00000000, 0x00000000, 0x00000000, 0x00000000

  }

};