/* DO NOT EDIT! GENERATED AUTOMATICALLY! */
/* Properties of Unicode characters. */
-/* Generated automatically by gen-ctype.c for Unicode 5.0.0. */
+/* Generated automatically by gen-ctype.c for Unicode 5.1.0. */
#define header_0 16
#define header_2 9
#define header_3 127
0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00008000, 0x00000000, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000000, 0x00000000,
- 0x00000800, 0x00000000, 0x00000000, 0x0000FC0F,
+ 0x00000800, 0x00000000, 0x00000000, 0x0000FC1F,
0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000000, 0x00000000,