/* 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, 0x0003003C, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000000, 0x00000000,
- 0x00000000, 0x00000000, 0x00000000, 0x00000400,
+ 0x00000600, 0x00000000, 0x00000000, 0x00000400,
0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000000, 0x00000000,
0x00000000, 0x00000000, 0x00000000, 0x00000000,