source: icGREP/icgrep-devel/icgrep/UCD/DerivedCoreProperties.h @ 4366

Last change on this file since 4366 was 4366, checked in by cameron, 4 years ago

Updated files generated from revised UCD_properties.py

File size: 82.2 KB
Line 
1#ifndef DERIVEDCOREPROPERTIES_H
2#define DERIVEDCOREPROPERTIES_H
3/*
4 *  Copyright (c) 2014 International Characters, Inc.
5 *  This software is licensed to the public under the Open Software License 3.0.
6 *  icgrep is a trademark of International Characters, Inc.
7 *
8 *  This file is generated by UCD_properties.py - manual edits may be lost.
9 */
10
11#include <vector>
12#include "unicode_set.h"
13#include "PropertyAliases.h"
14
15namespace UCD {
16  namespace ALPHA {
17    const UnicodeSet codepoint_set
18      {{{Empty, 2}, {Mixed, 2}, {Empty, 1}, {Mixed, 3}, {Full, 14},
19        {Mixed, 2}, {Empty, 2}, {Mixed, 4}, {Full, 1}, {Mixed, 1},
20        {Full, 4}, {Mixed, 1}, {Full, 4}, {Mixed, 8}, {Full, 1}, {Mixed, 2},
21        {Full, 2}, {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 6},
22        {Empty, 2}, {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Full, 1},
23        {Mixed, 22}, {Empty, 1}, {Mixed, 19}, {Empty, 1}, {Mixed, 3},
24        {Empty, 1}, {Mixed, 1}, {Empty, 1}, {Mixed, 4}, {Empty, 2},
25        {Full, 1}, {Mixed, 4}, {Full, 1}, {Mixed, 2}, {Full, 10},
26        {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Full, 1},
27        {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 2},
28        {Full, 18}, {Mixed, 2}, {Full, 2}, {Mixed, 5}, {Full, 1},
29        {Mixed, 2}, {Empty, 2}, {Full, 2}, {Mixed, 1}, {Full, 1},
30        {Mixed, 1}, {Full, 1}, {Mixed, 5}, {Full, 1}, {Mixed, 2},
31        {Empty, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 2}, {Empty, 1},
32        {Mixed, 1}, {Empty, 2}, {Full, 1}, {Mixed, 2}, {Empty, 1},
33        {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 3},
34        {Empty, 3}, {Mixed, 1}, {Full, 6}, {Empty, 1}, {Mixed, 1},
35        {Full, 8}, {Mixed, 1}, {Full, 1}, {Mixed, 2}, {Full, 1}, {Mixed, 3},
36        {Empty, 3}, {Mixed, 2}, {Empty, 3}, {Mixed, 3}, {Full, 1},
37        {Mixed, 1}, {Empty, 24}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
38        {Empty, 56}, {Full, 1}, {Mixed, 2}, {Full, 4}, {Mixed, 1},
39        {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 4}, {Full, 1}, {Empty, 1},
40        {Mixed, 1}, {Empty, 14}, {Mixed, 3}, {Full, 1}, {Mixed, 2},
41        {Full, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2}, {Empty, 1},
42        {Mixed, 1}, {Empty, 16}, {Full, 205}, {Mixed, 1}, {Empty, 2},
43        {Full, 654}, {Mixed, 1}, {Empty, 1}, {Full, 36}, {Mixed, 1},
44        {Empty, 1}, {Mixed, 2}, {Full, 8}, {Mixed, 2}, {Full, 1},
45        {Mixed, 2}, {Full, 2}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
46        {Empty, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Full, 2},
47        {Mixed, 6}, {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 3}, {Full, 1},
48        {Mixed, 7}, {Empty, 2}, {Full, 1}, {Mixed, 1}, {Full, 349},
49        {Mixed, 3}, {Empty, 264}, {Full, 11}, {Mixed, 1}, {Full, 2},
50        {Mixed, 1}, {Empty, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
51        {Full, 10}, {Mixed, 2}, {Full, 1}, {Mixed, 1}, {Full, 1},
52        {Mixed, 2}, {Empty, 3}, {Mixed, 1}, {Full, 3}, {Mixed, 1},
53        {Empty, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 2}, {Empty, 1},
54        {Mixed, 3}, {Empty, 1}, {Full, 3}, {Mixed, 1}, {Empty, 2},
55        {Full, 1}, {Mixed, 1}, {Empty, 8}, {Mixed, 1}, {Full, 1},
56        {Mixed, 1}, {Empty, 1}, {Full, 1}, {Mixed, 4}, {Full, 1},
57        {Mixed, 1}, {Empty, 1}, {Full, 4}, {Mixed, 1}, {Empty, 3},
58        {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 4}, {Full, 9},
59        {Mixed, 3}, {Empty, 4}, {Mixed, 5}, {Empty, 3}, {Mixed, 2},
60        {Empty, 2}, {Full, 1}, {Mixed, 1}, {Empty, 2}, {Mixed, 2},
61        {Empty, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 2}, {Full, 1},
62        {Mixed, 4}, {Empty, 3}, {Full, 2}, {Mixed, 1}, {Empty, 29},
63        {Full, 2}, {Mixed, 1}, {Empty, 1}, {Mixed, 4}, {Full, 1},
64        {Mixed, 3}, {Full, 2}, {Mixed, 1}, {Empty, 1}, {Mixed, 2},
65        {Empty, 3}, {Mixed, 1}, {Full, 1}, {Mixed, 5}, {Empty, 8},
66        {Full, 2}, {Mixed, 1}, {Empty, 5}, {Full, 1}, {Mixed, 1},
67        {Empty, 2}, {Full, 1}, {Mixed, 2}, {Empty, 1}, {Full, 1},
68        {Mixed, 1}, {Empty, 15}, {Full, 2}, {Mixed, 1}, {Empty, 14},
69        {Full, 1}, {Mixed, 1}, {Empty, 40}, {Full, 28}, {Mixed, 1},
70        {Empty, 3}, {Full, 3}, {Mixed, 1}, {Empty, 92}, {Full, 33},
71        {Mixed, 1}, {Empty, 414}, {Full, 17}, {Mixed, 2}, {Empty, 3},
72        {Mixed, 2}, {Full, 1}, {Mixed, 4}, {Empty, 27}, {Full, 2},
73        {Mixed, 3}, {Empty, 515}, {Mixed, 1}, {Empty, 95}, {Full, 3},
74        {Mixed, 2}, {Empty, 187}, {Full, 2}, {Mixed, 1}, {Full, 1},
75        {Mixed, 3}, {Full, 1}, {Mixed, 3}, {Full, 10}, {Mixed, 10},
76        {Empty, 129}, {Full, 6}, {Mixed, 1}, {Empty, 41}, {Mixed, 6},
77        {Empty, 19}, {Mixed, 4}, {Empty, 115}, {Full, 1334}, {Mixed, 1},
78        {Empty, 1}, {Full, 129}, {Mixed, 1}, {Full, 6}, {Mixed, 1},
79        {Empty, 511}, {Full, 16}, {Mixed, 1}, {Empty, 28719}},
80       {0x07fffffe, 0x07fffffe, 0x04200400, 0xff7fffff, 0xff7fffff,
81        0x0003ffc3, 0x0000501f, 0x00000020, 0xbcdf0000, 0xffffd740,
82        0xfffffffb, 0xffbfffff, 0xfffffc03, 0xfffeffff, 0x027fffff,
83        0xfffffffe, 0x000000ff, 0xbfff0000, 0xffff00b6, 0x000707ff,
84        0x07ff0000, 0xfeffffff, 0xffffc000, 0x1fefffff, 0x9c00e1fe,
85        0xffff0000, 0xffffe000, 0x0003ffff, 0xfffffc00, 0x043007ff,
86        0xfcffffff, 0x00001fff, 0x01ffffff, 0x0007ffff, 0xffff03f0,
87        0xefffffff, 0xffe1dfff, 0xfffe000f, 0xfff99fef, 0xe3c5fdff,
88        0xb080599f, 0x0003000f, 0xfff987ee, 0xc36dfdff, 0x5e021987,
89        0x003f0000, 0xfffbbfee, 0xe3edfdff, 0x00011bbf, 0x0000000f,
90        0xfff99fee, 0xe3edfdff, 0xb0c0199f, 0x0002000f, 0xd63dc7ec,
91        0xc3ffc718, 0x00811dc7, 0xfffddfef, 0xe3fffdff, 0x03601ddf,
92        0x0000000f, 0xfffddfee, 0xe3effdff, 0x40601ddf, 0x0006000f,
93        0xfffddfee, 0xe7ffffff, 0x00805ddf, 0xfc00000f, 0xfc7fffec,
94        0x2ffbffff, 0xff5f807f, 0x000c0000, 0xfffffffe, 0x07ffffff,
95        0x0000207f, 0xfef02596, 0x3bffecae, 0xf000205f, 0x00000001,
96        0xfffffeff, 0xfffe1fff, 0xfeffff03, 0x1fffffff, 0xf97fffff,
97        0xffff0000, 0xffffc1e7, 0x3000407f, 0xffff20bf, 0xf7ffffff,
98        0x3d7f3dff, 0xffff3dff, 0x7f3dffff, 0xff7fff3d, 0xff3dffff,
99        0x87ffffff, 0x0000ffff, 0x001fffff, 0xfffffffe, 0xffff9fff,
100        0x07fffffe, 0x01ffc7ff, 0x000fdfff, 0x000fffff, 0x000fffff,
101        0x000ddfff, 0xffcfffff, 0x108001ff, 0x00ffffff, 0xffff07ff,
102        0x003fffff, 0x7fffffff, 0x01ff0fff, 0xffff0000, 0x001f3fff,
103        0xffff0fff, 0x000003ff, 0x0fffffff, 0x7fffffff, 0x001ffffe,
104        0x00000080, 0xffefffff, 0x00000fef, 0xfc00f3ff, 0x0003ffbf,
105        0x003fffff, 0xfc00e000, 0x3fffffff, 0x006fde00, 0x001fff80,
106        0x3f3fffff, 0xaaff3f3f, 0x3fffffff, 0x5fdfffff, 0x0fcf1fdc,
107        0x1fdc1fff, 0x80020000, 0x1fff0000, 0x3e2ffc84, 0xf3ffbd50,
108        0x000043e0, 0x000001ff, 0xffc00000, 0x000003ff, 0xffff7fff,
109        0x7fffffff, 0x000c781f, 0xffff20bf, 0x000080ff, 0x007fffff,
110        0x7f7f7f7f, 0x7f7f7f7f, 0x00008000, 0x000000e0, 0x1f3e03fe,
111        0xfffffffe, 0xe07fffff, 0xfffffffe, 0xf7ffffff, 0xffffffe0,
112        0xfffe3fff, 0x00007fff, 0x07ffffff, 0xffff0000, 0x003fffff,
113        0x00001fff, 0x00001fff, 0xffff0000, 0x3fffffff, 0xffff1fff,
114        0x00000c00, 0x8ff07fff, 0xbfffffff, 0x0000ffff, 0xff800000,
115        0xfffffffc, 0xffff79ff, 0x00033fff, 0xff800000, 0xfffff7bb,
116        0x000000ff, 0x000fffff, 0x0000000f, 0x08fc0000, 0xfffffc00,
117        0xffff07ff, 0x0007ffff, 0x1fffffff, 0xfff7ffff, 0x00008000,
118        0x7c00ffdf, 0x007fffff, 0x00003fff, 0xc47fffff, 0x7fffffff,
119        0x38000005, 0x003cffff, 0x007e7e7e, 0xffff7f7f, 0xf7ffffff,
120        0x00000030, 0x000007ff, 0xffff000f, 0xfffff87f, 0x0fffffff,
121        0xffff3fff, 0x03ffffff, 0xe0f8007f, 0x5f7ffdff, 0xffffffdb,
122        0x0003ffff, 0xfff80000, 0x3fffffff, 0xffff0000, 0xfffcffff,
123        0x000000ff, 0x0fff0000, 0xffdf0000, 0x1fffffff, 0x07fffffe,
124        0x07fffffe, 0xffffffc0, 0x7fffffff, 0x1cfcfcfc, 0xffffefff,
125        0xb7ffff7f, 0x3fff3fff, 0x07ffffff, 0x001fffff, 0x1fffffff,
126        0x0001ffff, 0xffff0000, 0xffff07ff, 0x07ffffff, 0x3fffffff,
127        0x003eff0f, 0x3fffffff, 0xffff00ff, 0x0000000f, 0x007fffff,
128        0x003fffff, 0x000000ff, 0xfffffd3f, 0x91bfffff, 0x003fffff,
129        0x007fffff, 0x7fffffff, 0x003fffff, 0x03ffffff, 0xc0ffffff,
130        0xfeeff06f, 0x000fffff, 0x1fffffff, 0x1fffffff, 0xfffffeff,
131        0x0000001f, 0x003fffff, 0x003fffff, 0x0007ffff, 0x0003ffff,
132        0x000001ff, 0x0000003f, 0xfffffffc, 0x01ffffff, 0xffff0000,
133        0x000001ff, 0x0007ffff, 0xffff0000, 0x0047ffff, 0x0400001e,
134        0xfffbffff, 0x009fffff, 0xffff0000, 0x000001ff, 0xfff99fee,
135        0xe3edfdff, 0xe080199f, 0x0000000f, 0x000000b3, 0x7f3fffff,
136        0x7fffffff, 0x00000011, 0x003fffff, 0x80000000, 0x01ffffff,
137        0x01ffffff, 0x00007fff, 0x00007fff, 0x01ffffff, 0x7fffffff,
138        0xffff0000, 0x00003fff, 0x007fffff, 0x0000000f, 0xe0fffff8,
139        0x0000ffff, 0xffff001f, 0x7fffffff, 0xfff80000, 0x00000003,
140        0x1fff07ff, 0x43ff01ff, 0xffdfffff, 0xdfffffff, 0xebffde64,
141        0xffffffef, 0xdfdfe7bf, 0x7bffffff, 0xfffdfc5f, 0xffffff3f,
142        0xf7fffffd, 0xf7ffffff, 0xffdfffff, 0xffdfffff, 0xffff7fff,
143        0xffff7fff, 0xfffffdff, 0xfffffdff, 0x00000ff7, 0x0000001f,
144        0xffffffef, 0x0af7fe96, 0xaa96ea84, 0x5ef7f796, 0x0ffffbff,
145        0x0ffffbee, 0xffff0000, 0xffff03ff, 0xffff03ff, 0x000003ff,
146        0x007fffff, 0x001fffff, 0x3fffffff, 0x3fffffff},
147       34816};
148    const BinaryPropertyObject property_object{alpha, codepoint_set};
149  }
150  namespace CASED {
151    const UnicodeSet codepoint_set
152      {{{Empty, 2}, {Mixed, 2}, {Empty, 1}, {Mixed, 3}, {Full, 5},
153        {Mixed, 2}, {Full, 5}, {Mixed, 4}, {Empty, 2}, {Mixed, 4},
154        {Full, 1}, {Mixed, 1}, {Full, 4}, {Mixed, 1}, {Full, 4}, {Mixed, 4},
155        {Empty, 88}, {Full, 1}, {Mixed, 1}, {Empty, 97}, {Full, 6},
156        {Empty, 2}, {Full, 8}, {Mixed, 1}, {Full, 1}, {Mixed, 2}, {Full, 1},
157        {Mixed, 3}, {Empty, 3}, {Mixed, 2}, {Empty, 3}, {Mixed, 3},
158        {Full, 1}, {Mixed, 1}, {Empty, 24}, {Mixed, 1}, {Full, 1},
159        {Mixed, 1}, {Empty, 56}, {Full, 1}, {Mixed, 2}, {Full, 4},
160        {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 968}, {Full, 1},
161        {Mixed, 2}, {Empty, 4}, {Mixed, 1}, {Full, 2}, {Mixed, 2},
162        {Empty, 1}, {Mixed, 1}, {Empty, 25}, {Mixed, 3}, {Empty, 636},
163        {Mixed, 1}, {Empty, 32}, {Mixed, 2}, {Empty, 37}, {Full, 2},
164        {Mixed, 1}, {Empty, 162}, {Full, 2}, {Empty, 1497}, {Full, 2},
165        {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 3},
166        {Full, 10}, {Mixed, 10}, {Empty, 202}, {Mixed, 4}, {Empty, 30835}},
167       {0x07fffffe, 0x07fffffe, 0x04200400, 0xff7fffff, 0xff7fffff,
168        0xf7ffffff, 0xfffffff0, 0xffefffff, 0x01ffffff, 0x00000003,
169        0x0000001f, 0x00000020, 0xbccf0000, 0xffffd740, 0xfffffffb,
170        0xffbfffff, 0xfffffc03, 0xfffeffff, 0x007fffff, 0xfffffffe,
171        0x000000ff, 0x000020bf, 0x3f3fffff, 0xaaff3f3f, 0x3fffffff,
172        0x5fdfffff, 0x0fcf1fdc, 0x1fdc1fff, 0x80020000, 0x1fff0000,
173        0x3e2ffc84, 0xf21fbd50, 0x000043e0, 0x00000018, 0xffc00000,
174        0x000003ff, 0xffff7fff, 0x7fffffff, 0x000c781f, 0x000020bf,
175        0x00003fff, 0x3fffffff, 0xfffffffc, 0xffff78ff, 0x00033fff,
176        0x07000000, 0xffff0000, 0xf7ffffff, 0x00000030, 0x00f8007f,
177        0x07fffffe, 0x07fffffe, 0x0000ffff, 0xffdfffff, 0xdfffffff,
178        0xebffde64, 0xffffffef, 0xdfdfe7bf, 0x7bffffff, 0xfffdfc5f,
179        0xffffff3f, 0xf7fffffd, 0xf7ffffff, 0xffdfffff, 0xffdfffff,
180        0xffff7fff, 0xffff7fff, 0xfffffdff, 0xfffffdff, 0x00000ff7,
181        0xffff0000, 0xffff03ff, 0xffff03ff, 0x000003ff},
182       34816};
183    const BinaryPropertyObject property_object{cased, codepoint_set};
184  }
185  namespace CI {
186    const UnicodeSet codepoint_set
187      {{{Empty, 1}, {Mixed, 3}, {Empty, 1}, {Mixed, 1}, {Empty, 15},
188        {Mixed, 1}, {Full, 5}, {Mixed, 2}, {Empty, 7}, {Mixed, 1},
189        {Empty, 5}, {Mixed, 1}, {Empty, 1}, {Mixed, 5}, {Empty, 1},
190        {Mixed, 2}, {Empty, 2}, {Mixed, 5}, {Empty, 2}, {Mixed, 1},
191        {Empty, 1}, {Mixed, 4}, {Empty, 4}, {Mixed, 22}, {Empty, 1},
192        {Mixed, 1}, {Empty, 1}, {Mixed, 9}, {Empty, 1}, {Mixed, 2},
193        {Empty, 2}, {Mixed, 1}, {Empty, 2}, {Mixed, 2}, {Empty, 2},
194        {Mixed, 2}, {Empty, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 4},
195        {Empty, 2}, {Mixed, 4}, {Empty, 2}, {Mixed, 1}, {Empty, 18},
196        {Mixed, 1}, {Empty, 29}, {Mixed, 4}, {Empty, 1}, {Mixed, 2},
197        {Empty, 1}, {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Empty, 2},
198        {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 6}, {Mixed, 1},
199        {Empty, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 1}, {Empty, 2},
200        {Mixed, 6}, {Empty, 1}, {Mixed, 1}, {Empty, 1}, {Mixed, 1},
201        {Empty, 1}, {Mixed, 1}, {Empty, 2}, {Mixed, 2}, {Empty, 1},
202        {Mixed, 1}, {Full, 1}, {Mixed, 2}, {Full, 2}, {Mixed, 1},
203        {Empty, 13}, {Mixed, 5}, {Empty, 1}, {Mixed, 2}, {Empty, 1},
204        {Mixed, 2}, {Empty, 91}, {Mixed, 1}, {Empty, 3}, {Mixed, 1},
205        {Empty, 3}, {Mixed, 1}, {Empty, 3}, {Full, 1}, {Empty, 1},
206        {Mixed, 1}, {Empty, 14}, {Mixed, 2}, {Empty, 2}, {Mixed, 1},
207        {Empty, 2}, {Mixed, 1}, {Empty, 888}, {Mixed, 1}, {Empty, 38},
208        {Mixed, 1}, {Empty, 8}, {Mixed, 1}, {Empty, 2}, {Mixed, 2},
209        {Empty, 2}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 1},
210        {Mixed, 2}, {Empty, 2}, {Mixed, 3}, {Empty, 4}, {Mixed, 2},
211        {Empty, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 4}, {Empty, 1},
212        {Mixed, 3}, {Empty, 1}, {Mixed, 3}, {Empty, 2}, {Mixed, 1},
213        {Empty, 4}, {Mixed, 1}, {Empty, 632}, {Mixed, 1}, {Empty, 4},
214        {Mixed, 2}, {Empty, 17}, {Mixed, 3}, {Empty, 4}, {Mixed, 6},
215        {Empty, 2}, {Mixed, 1}, {Empty, 15}, {Mixed, 1}, {Empty, 7},
216        {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 52}, {Mixed, 2},
217        {Empty, 5}, {Mixed, 1}, {Empty, 40}, {Mixed, 6}, {Empty, 2},
218        {Mixed, 2}, {Empty, 1}, {Mixed, 3}, {Empty, 3}, {Mixed, 1},
219        {Empty, 4}, {Mixed, 6}, {Empty, 9}, {Mixed, 2}, {Empty, 6},
220        {Mixed, 2}, {Empty, 2}, {Mixed, 2}, {Empty, 2}, {Mixed, 1},
221        {Empty, 673}, {Mixed, 1}, {Empty, 1}, {Mixed, 2}, {Empty, 33},
222        {Mixed, 1}, {Empty, 615}, {Mixed, 2}, {Empty, 165}, {Mixed, 3},
223        {Empty, 4}, {Mixed, 1}, {Empty, 179}, {Mixed, 1}, {Empty, 24761},
224        {Mixed, 1}, {Full, 3}, {Empty, 4}, {Full, 7}, {Mixed, 1},
225        {Empty, 6128}},
226       {0x04004080, 0x40000000, 0x00000001, 0x0190a100, 0xffff0000,
227        0x0430ffff, 0x000000b0, 0x000003f8, 0x02000000, 0xfffe0000,
228        0xbfffffff, 0x000000b6, 0x00100000, 0x17ff003f, 0xfffff801,
229        0x00010000, 0xbfc00000, 0x00003dff, 0x00028000, 0xffff0000,
230        0x000007ff, 0x0001ffc0, 0x043ff800, 0xffc00000, 0x00003fff,
231        0x0e000000, 0xfffffff0, 0x00000007, 0x14000000, 0x00fe21fe,
232        0x0002000c, 0x00000002, 0x10000000, 0x0000201e, 0x0000000c,
233        0x00000006, 0x10000000, 0x00023986, 0x00230000, 0x00000006,
234        0x10000000, 0x000021be, 0x0000000c, 0x00000002, 0x90000000,
235        0x0040201e, 0x0000000c, 0x00000004, 0x00002001, 0x00000001,
236        0xc0000000, 0x00603dc1, 0x0000000c, 0x00000002, 0x90000000,
237        0x00003040, 0x0000000c, 0x00000002, 0x0000201e, 0x0000000c,
238        0x005c0400, 0x07f20000, 0x00007fc0, 0x1bf20000, 0x00003f40,
239        0x03000000, 0x02a00000, 0x7ffe0000, 0xfeffe0df, 0x1fffffff,
240        0x00000040, 0x66fde000, 0xc3000000, 0x001e0001, 0x20002064,
241        0x10000000, 0xe0000000, 0x001c0000, 0x001c0000, 0x000c0000,
242        0x000c0000, 0x3fb00000, 0x208ffe40, 0x00007800, 0x00000008,
243        0x00000200, 0x0e040187, 0x09800000, 0x7f400000, 0x9ff81fe5,
244        0x7fff0080, 0x0000000f, 0x17d00000, 0x00000004, 0x000ff800,
245        0x00000003, 0x00003b3c, 0x0003a340, 0x00cff000, 0x3f000000,
246        0xfff70000, 0x031021fd, 0xfffff000, 0x010007ff, 0xf8000000,
247        0xf03fffff, 0xa0000000, 0xe000e003, 0x6000e000, 0x0300f800,
248        0x00007c90, 0x8002ffdf, 0x1fff0000, 0xffff0000, 0x0001ffff,
249        0x30000000, 0x00038000, 0x80008000, 0x00008000, 0x00000020,
250        0x083e3c00, 0x7e000000, 0x70000000, 0x00200000, 0x3f000000,
251        0x00001000, 0xbff78000, 0xb0000000, 0x00030000, 0x00000003,
252        0x00010000, 0x00000700, 0x03000000, 0x00000844, 0x00000060,
253        0x00000010, 0x0003ffff, 0x00003fc0, 0x0003ff80, 0x00000007,
254        0x13c80000, 0x00008000, 0x00000060, 0x00667e00, 0x00001008,
255        0x10010000, 0xc19d0000, 0x20000002, 0x00583000, 0xf8000000,
256        0x00002120, 0x40000000, 0xfffc0000, 0x00000003, 0x0008ffff,
257        0x00003fff, 0x00240000, 0x80000000, 0x04004080, 0x40000000,
258        0x00000001, 0x00010000, 0xc0000000, 0x0e000008, 0x20000000,
259        0x00000001, 0x07c00000, 0x0000f06e, 0x87000000, 0x00000060,
260        0x00000002, 0xff000000, 0x0000007f, 0x80000000, 0x00000003,
261        0x26780000, 0x00000007, 0x001fef80, 0x00080000, 0x00000003,
262        0x7fc00000, 0x00d38000, 0x80000000, 0x000007f8, 0x00000002,
263        0x10000000, 0x00000001, 0x001f1fc0, 0x85f80000, 0x0000000d,
264        0xb03c0000, 0x00000001, 0xa7f80000, 0x00000001, 0x00bf2800,
265        0x001f0000, 0x007f0000, 0x0000000f, 0xffff8000, 0x60000000,
266        0x0000000f, 0xfff80380, 0x00000fe7, 0x00003c00, 0x0000001c,
267        0x007f0000, 0x00000002, 0x0000ffff},
268       34816};
269    const BinaryPropertyObject property_object{ci, codepoint_set};
270  }
271  namespace CWCF {
272    const UnicodeSet codepoint_set
273      {{{Empty, 2}, {Mixed, 1}, {Empty, 2}, {Mixed, 2}, {Empty, 1},
274        {Mixed, 11}, {Empty, 7}, {Mixed, 6}, {Full, 1}, {Mixed, 1},
275        {Empty, 1}, {Mixed, 8}, {Empty, 1}, {Mixed, 1}, {Empty, 88},
276        {Full, 1}, {Mixed, 1}, {Empty, 105}, {Mixed, 12}, {Full, 1},
277        {Mixed, 3}, {Empty, 9}, {Mixed, 1}, {Empty, 1}, {Mixed, 2},
278        {Empty, 24}, {Mixed, 2}, {Empty, 57}, {Full, 1}, {Mixed, 1},
279        {Empty, 1}, {Mixed, 5}, {Empty, 970}, {Mixed, 3}, {Empty, 4},
280        {Mixed, 5}, {Empty, 666}, {Mixed, 1}, {Empty, 32}, {Mixed, 1},
281        {Empty, 38}, {Full, 1}, {Mixed, 1}, {Empty, 163}, {Full, 1},
282        {Empty, 32570}},
283       {0x07fffffe, 0x00200000, 0xff7fffff, 0x55555555, 0xaa555555,
284        0x555556aa, 0xab555555, 0xb1dbced6, 0x11aed2d5, 0x4aaaadb0,
285        0x55d65555, 0x55555555, 0x6c055555, 0x0000557a, 0x00000020,
286        0x80450000, 0xfffed740, 0x00000ffb, 0x55638004, 0xe6b35555,
287        0x0000ffff, 0x55555555, 0x55555401, 0x55555555, 0x55552aab,
288        0x55555555, 0x55555555, 0xfffe5555, 0x007fffff, 0x00000080,
289        0x000020bf, 0x55555555, 0x55555555, 0x55555555, 0x55555555,
290        0x4c155555, 0x55555555, 0x55555555, 0x55555555, 0x3f00ff00,
291        0xff00ff00, 0xaa003f00, 0x0000ff00, 0x1f9cffff, 0x0f001f9c,
292        0x1f9c1f00, 0x00040c40, 0x0000ffff, 0x00000008, 0xffc00000,
293        0x0000ffff, 0x00007fff, 0xc025ea9d, 0x55555555, 0x55555555,
294        0x55555555, 0x00042805, 0x55555555, 0x00001555, 0x05555555,
295        0x55545554, 0x55555555, 0x6a005555, 0x55452855, 0x00033d55,
296        0x00f8007f, 0x07fffffe, 0x000000ff},
297       34816};
298    const BinaryPropertyObject property_object{cwcf, codepoint_set};
299  }
300  namespace CWCM {
301    const UnicodeSet codepoint_set
302      {{{Empty, 2}, {Mixed, 2}, {Empty, 1}, {Mixed, 3}, {Full, 1},
303        {Mixed, 1}, {Full, 2}, {Mixed, 3}, {Full, 2}, {Mixed, 4},
304        {Empty, 5}, {Mixed, 6}, {Full, 4}, {Mixed, 1}, {Full, 4},
305        {Mixed, 4}, {Empty, 88}, {Full, 1}, {Mixed, 1}, {Empty, 100},
306        {Mixed, 1}, {Empty, 4}, {Full, 4}, {Mixed, 1}, {Full, 3},
307        {Mixed, 1}, {Full, 1}, {Mixed, 2}, {Full, 1}, {Mixed, 3},
308        {Empty, 9}, {Mixed, 2}, {Full, 1}, {Mixed, 1}, {Empty, 24},
309        {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 56}, {Full, 1},
310        {Mixed, 3}, {Full, 3}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
311        {Empty, 968}, {Full, 1}, {Mixed, 2}, {Empty, 4}, {Mixed, 1},
312        {Full, 1}, {Mixed, 3}, {Empty, 666}, {Mixed, 1}, {Empty, 32},
313        {Mixed, 2}, {Empty, 37}, {Full, 2}, {Mixed, 1}, {Empty, 162},
314        {Full, 2}, {Empty, 32569}},
315       {0x07fffffe, 0x07fffffe, 0x00200000, 0xff7fffff, 0xff7fffff,
316        0xfeffffff, 0xf7ffdfff, 0xb3fff3ff, 0xfffffff0, 0xfc0ffffd,
317        0x1adfffff, 0x20269b6b, 0x40041f89, 0x00000020, 0xb8cf0000,
318        0xffffd740, 0xfffffffb, 0xffe3ffff, 0xefbfffff, 0xfffffc03,
319        0xfffeffff, 0x007fffff, 0xfffffffe, 0x000000ff, 0x000020bf,
320        0x22000000, 0x4fffffff, 0x3f3fffff, 0xaaff3f3f, 0x3fffffff,
321        0x5fdfffff, 0x0fcf1fdc, 0x1fdc1fff, 0x00040c40, 0x00004000,
322        0x00000018, 0xffc00000, 0x000003ff, 0xffff7fff, 0x7fffffff,
323        0xc06dffff, 0x000c780f, 0x000020bf, 0x00003fff, 0x0fffffff,
324        0xfffcfffc, 0xfe00ffff, 0xffcf38ff, 0x00033fff, 0x00f8007f,
325        0x07fffffe, 0x07fffffe, 0x0000ffff},
326       34816};
327    const BinaryPropertyObject property_object{cwcm, codepoint_set};
328  }
329  namespace CWL {
330    const UnicodeSet codepoint_set
331      {{{Empty, 2}, {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 1},
332        {Mixed, 11}, {Empty, 8}, {Mixed, 5}, {Full, 1}, {Mixed, 1},
333        {Empty, 1}, {Mixed, 8}, {Empty, 90}, {Full, 1}, {Mixed, 1},
334        {Empty, 105}, {Mixed, 16}, {Empty, 9}, {Mixed, 1}, {Empty, 1},
335        {Mixed, 2}, {Empty, 24}, {Mixed, 2}, {Empty, 57}, {Full, 1},
336        {Mixed, 1}, {Empty, 1}, {Mixed, 5}, {Empty, 970}, {Mixed, 3},
337        {Empty, 4}, {Mixed, 5}, {Empty, 699}, {Mixed, 1}, {Empty, 38},
338        {Full, 1}, {Mixed, 1}, {Empty, 163}, {Full, 1}, {Empty, 32570}},
339       {0x07fffffe, 0x7f7fffff, 0x55555555, 0xaa555555, 0x555554aa,
340        0x2b555555, 0xb1dbced6, 0x11aed2d5, 0x4aaaadb0, 0x55d65555,
341        0x55555555, 0x6c055555, 0x0000557a, 0x80450000, 0xfffed740,
342        0x00000ffb, 0x55008000, 0xe6905555, 0x0000ffff, 0x55555555,
343        0x55555401, 0x55555555, 0x55552aab, 0x55555555, 0x55555555,
344        0xfffe5555, 0x007fffff, 0x000020bf, 0x55555555, 0x55555555,
345        0x55555555, 0x55555555, 0x40155555, 0x55555555, 0x55555555,
346        0x55555555, 0x3f00ff00, 0xff00ff00, 0xaa003f00, 0x0000ff00,
347        0xff00ff00, 0x1f00ff00, 0x0f001f00, 0x1f001f00, 0x00040c40,
348        0x0000ffff, 0x00000008, 0xffc00000, 0x0000ffff, 0x00007fff,
349        0xc025ea9d, 0x55555555, 0x55555555, 0x55555555, 0x00042805,
350        0x55555555, 0x00001555, 0x05555555, 0x55545554, 0x55555555,
351        0x6a005555, 0x55452855, 0x00033d55, 0x07fffffe, 0x000000ff},
352       34816};
353    const BinaryPropertyObject property_object{cwl, codepoint_set};
354  }
355  namespace CWT {
356    const UnicodeSet codepoint_set
357      {{{Empty, 3}, {Mixed, 1}, {Empty, 1}, {Mixed, 16}, {Empty, 5},
358        {Mixed, 6}, {Empty, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 7},
359        {Empty, 1}, {Mixed, 2}, {Empty, 190}, {Mixed, 1}, {Empty, 4},
360        {Mixed, 16}, {Empty, 10}, {Mixed, 3}, {Empty, 25}, {Mixed, 2},
361        {Empty, 57}, {Mixed, 7}, {Full, 1}, {Mixed, 1}, {Empty, 968},
362        {Mixed, 3}, {Empty, 4}, {Mixed, 5}, {Empty, 666}, {Mixed, 1},
363        {Empty, 33}, {Mixed, 1}, {Empty, 38}, {Mixed, 2}, {Empty, 163},
364        {Full, 1}, {Empty, 32569}},
365       {0x07fffffe, 0x00200000, 0x80000000, 0xff7fffff, 0xaaaaaaaa,
366        0x54aaaaaa, 0xaaaaab55, 0xd4aaaaaa, 0x46241129, 0xa251212a,
367        0xb55556d0, 0xaa2baaaa, 0xaaaaaaaa, 0x900aaaa8, 0x1adfaa85,
368        0x20269b6b, 0x40041f89, 0x00000020, 0x388a0000, 0x00010000,
369        0xfffff000, 0xaae37fff, 0x092faaaa, 0xffff0000, 0xaaaaaaaa,
370        0xaaaaa802, 0xaaaaaaaa, 0xaaaad554, 0xaaaaaaaa, 0xaaaaaaaa,
371        0x0000aaaa, 0xfffffffe, 0x000000ff, 0x22000000, 0xaaaaaaaa,
372        0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0x0feaaaaa, 0xaaaaaaaa,
373        0xaaaaaaaa, 0xaaaaaaaa, 0x003f00ff, 0x00ff00ff, 0x00ff003f,
374        0x3fff00ff, 0x00ff00ff, 0x40df00ff, 0x00cf00dc, 0x00dc00ff,
375        0x00004000, 0xffff0000, 0x00000010, 0xffff0000, 0x000003ff,
376        0xffff0000, 0x7fffffff, 0x00481562, 0xaaaaaaaa, 0xaaaaaaaa,
377        0xaaaaaaaa, 0x0008500a, 0x000020bf, 0xaaaaaaaa, 0x00002aaa,
378        0x0aaaaaaa, 0xaaa8aaa8, 0xaaaaaaaa, 0x9400aaaa, 0xaa8a10aa,
379        0x000002aa, 0x00f8007f, 0x07fffffe, 0xffffff00, 0x0000ffff},
380       34816};
381    const BinaryPropertyObject property_object{cwt, codepoint_set};
382  }
383  namespace CWU {
384    const UnicodeSet codepoint_set
385      {{{Empty, 3}, {Mixed, 1}, {Empty, 1}, {Mixed, 16}, {Empty, 5},
386        {Mixed, 6}, {Empty, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 7},
387        {Empty, 1}, {Mixed, 2}, {Empty, 190}, {Mixed, 1}, {Empty, 4},
388        {Mixed, 12}, {Full, 1}, {Mixed, 3}, {Empty, 10}, {Mixed, 3},
389        {Empty, 25}, {Mixed, 2}, {Empty, 57}, {Mixed, 7}, {Full, 1},
390        {Mixed, 1}, {Empty, 968}, {Mixed, 3}, {Empty, 4}, {Mixed, 5},
391        {Empty, 666}, {Mixed, 1}, {Empty, 33}, {Mixed, 1}, {Empty, 38},
392        {Mixed, 2}, {Empty, 163}, {Full, 1}, {Empty, 32569}},
393       {0x07fffffe, 0x00200000, 0x80000000, 0xff7fffff, 0xaaaaaaaa,
394        0x54aaaaaa, 0xaaaaab55, 0xd4aaaaaa, 0x46241129, 0xa251212a,
395        0xb5555b60, 0xaa2daaaa, 0xaaaaaaaa, 0x900aaaa8, 0x1adfaa85,
396        0x20269b6b, 0x40041f89, 0x00000020, 0x388a0000, 0x00010000,
397        0xfffff000, 0xaae37fff, 0x092faaaa, 0xffff0000, 0xaaaaaaaa,
398        0xaaaaa802, 0xaaaaaaaa, 0xaaaad554, 0xaaaaaaaa, 0xaaaaaaaa,
399        0x0000aaaa, 0xfffffffe, 0x000000ff, 0x22000000, 0xaaaaaaaa,
400        0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0x0feaaaaa, 0xaaaaaaaa,
401        0xaaaaaaaa, 0xaaaaaaaa, 0x003f00ff, 0x00ff00ff, 0x00ff003f,
402        0x3fff00ff, 0x50dfffff, 0x00cf10dc, 0x10dc00ff, 0x00004000,
403        0xffff0000, 0x00000010, 0xffff0000, 0x000003ff, 0xffff0000,
404        0x7fffffff, 0x00481562, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa,
405        0x0008500a, 0x000020bf, 0xaaaaaaaa, 0x00002aaa, 0x0aaaaaaa,
406        0xaaa8aaa8, 0xaaaaaaaa, 0x9400aaaa, 0xaa8a10aa, 0x000002aa,
407        0x00f8007f, 0x07fffffe, 0xffffff00, 0x0000ffff},
408       34816};
409    const BinaryPropertyObject property_object{cwu, codepoint_set};
410  }
411  namespace DI {
412    const UnicodeSet codepoint_set
413      {{{Empty, 5}, {Mixed, 1}, {Empty, 20}, {Mixed, 1}, {Empty, 21},
414        {Mixed, 1}, {Empty, 89}, {Mixed, 2}, {Empty, 49}, {Mixed, 1},
415        {Empty, 2}, {Mixed, 1}, {Empty, 63}, {Mixed, 2}, {Empty, 1},
416        {Mixed, 1}, {Empty, 135}, {Mixed, 1}, {Empty, 1636}, {Mixed, 1},
417        {Empty, 6}, {Mixed, 1}, {Empty, 5}, {Mixed, 1}, {Empty, 1},
418        {Mixed, 1}, {Empty, 1509}, {Mixed, 1}, {Empty, 165}, {Mixed, 1},
419        {Empty, 24948}, {Full, 128}, {Empty, 6016}},
420       {0x00002000, 0x00008000, 0x10000000, 0x80000000, 0x00000001,
421        0x00300000, 0x00007800, 0x0000f800, 0x00007c00, 0x0000ffff,
422        0x00000010, 0x0000ffff, 0x80000000, 0x00000001, 0x01ff0000,
423        0x0000000f, 0x07f80000},
424       34816};
425    const BinaryPropertyObject property_object{di, codepoint_set};
426  }
427  namespace GR_BASE {
428    const UnicodeSet codepoint_set
429      {{{Empty, 1}, {Full, 2}, {Mixed, 1}, {Empty, 1}, {Mixed, 1},
430        {Full, 18}, {Empty, 3}, {Mixed, 3}, {Full, 6}, {Mixed, 1},
431        {Full, 4}, {Mixed, 8}, {Full, 1}, {Mixed, 2}, {Full, 2}, {Mixed, 5},
432        {Full, 2}, {Mixed, 1}, {Full, 1}, {Mixed, 4}, {Empty, 2},
433        {Mixed, 1}, {Empty, 2}, {Mixed, 43}, {Empty, 1}, {Mixed, 3},
434        {Empty, 1}, {Mixed, 7}, {Empty, 1}, {Full, 1}, {Mixed, 4},
435        {Full, 1}, {Mixed, 1}, {Full, 11}, {Mixed, 1}, {Full, 1},
436        {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Full, 2},
437        {Mixed, 1}, {Full, 20}, {Mixed, 1}, {Full, 2}, {Mixed, 5},
438        {Full, 1}, {Mixed, 4}, {Full, 2}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
439        {Full, 1}, {Mixed, 5}, {Full, 1}, {Mixed, 2}, {Full, 1}, {Mixed, 1},
440        {Full, 1}, {Mixed, 4}, {Empty, 2}, {Mixed, 6}, {Full, 1},
441        {Mixed, 1}, {Full, 1}, {Mixed, 2}, {Full, 1}, {Empty, 2},
442        {Mixed, 2}, {Full, 6}, {Empty, 2}, {Full, 8}, {Mixed, 1}, {Full, 1},
443        {Mixed, 2}, {Full, 1}, {Mixed, 5}, {Full, 1}, {Mixed, 3},
444        {Empty, 2}, {Full, 4}, {Mixed, 1}, {Full, 18}, {Mixed, 1},
445        {Full, 1}, {Mixed, 2}, {Full, 56}, {Mixed, 4}, {Empty, 1},
446        {Full, 1}, {Mixed, 2}, {Full, 4}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
447        {Full, 1}, {Mixed, 4}, {Empty, 1}, {Full, 2}, {Mixed, 1},
448        {Empty, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 1}, {Full, 6},
449        {Mixed, 2}, {Full, 1}, {Mixed, 2}, {Full, 1}, {Mixed, 1}, {Full, 3},
450        {Mixed, 2}, {Full, 2}, {Mixed, 2}, {Full, 1}, {Mixed, 2}, {Full, 6},
451        {Mixed, 1}, {Full, 213}, {Mixed, 1}, {Full, 656}, {Mixed, 1},
452        {Empty, 1}, {Full, 36}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
453        {Full, 10}, {Mixed, 1}, {Full, 1}, {Mixed, 2}, {Full, 2},
454        {Mixed, 1}, {Full, 4}, {Mixed, 2}, {Empty, 1}, {Mixed, 3},
455        {Full, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 2}, {Full, 1}, {Mixed, 7},
456        {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 5}, {Full, 1}, {Mixed, 1},
457        {Empty, 2}, {Full, 1}, {Mixed, 1}, {Full, 349}, {Mixed, 3},
458        {Empty, 264}, {Full, 11}, {Mixed, 1}, {Full, 2}, {Mixed, 1},
459        {Empty, 1}, {Mixed, 3}, {Full, 3}, {Mixed, 1}, {Full, 11},
460        {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 6}, {Full, 3},
461        {Mixed, 2}, {Full, 3}, {Mixed, 7}, {Empty, 1}, {Full, 3},
462        {Mixed, 3}, {Full, 2}, {Mixed, 4}, {Empty, 4}, {Mixed, 1},
463        {Full, 1}, {Mixed, 2}, {Full, 1}, {Mixed, 4}, {Full, 1}, {Mixed, 1},
464        {Empty, 1}, {Full, 4}, {Mixed, 2}, {Empty, 2}, {Full, 1},
465        {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 4}, {Full, 9},
466        {Mixed, 3}, {Empty, 4}, {Mixed, 3}, {Full, 1}, {Mixed, 2},
467        {Empty, 2}, {Mixed, 2}, {Empty, 2}, {Full, 1}, {Mixed, 1},
468        {Empty, 2}, {Mixed, 3}, {Full, 2}, {Empty, 1}, {Full, 1},
469        {Mixed, 1}, {Full, 1}, {Mixed, 5}, {Empty, 2}, {Full, 2},
470        {Mixed, 1}, {Empty, 16}, {Mixed, 1}, {Empty, 12}, {Mixed, 18},
471        {Empty, 3}, {Mixed, 7}, {Empty, 8}, {Full, 1}, {Mixed, 2},
472        {Empty, 5}, {Full, 1}, {Mixed, 2}, {Empty, 1}, {Full, 1},
473        {Mixed, 2}, {Empty, 1}, {Full, 1}, {Mixed, 2}, {Empty, 14},
474        {Full, 2}, {Mixed, 1}, {Empty, 14}, {Full, 1}, {Mixed, 1},
475        {Empty, 40}, {Full, 28}, {Mixed, 1}, {Empty, 3}, {Full, 3},
476        {Mixed, 1}, {Empty, 92}, {Full, 33}, {Mixed, 1}, {Empty, 414},
477        {Full, 17}, {Mixed, 3}, {Empty, 2}, {Mixed, 2}, {Full, 1},
478        {Mixed, 4}, {Empty, 27}, {Full, 2}, {Mixed, 3}, {Empty, 515},
479        {Mixed, 1}, {Empty, 95}, {Full, 3}, {Mixed, 2}, {Empty, 155},
480        {Full, 7}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 4},
481        {Empty, 1}, {Full, 2}, {Mixed, 1}, {Empty, 5}, {Full, 2},
482        {Mixed, 2}, {Empty, 4}, {Full, 2}, {Mixed, 1}, {Full, 1},
483        {Mixed, 3}, {Full, 1}, {Mixed, 3}, {Full, 10}, {Mixed, 1},
484        {Full, 8}, {Mixed, 1}, {Full, 1}, {Empty, 128}, {Full, 6},
485        {Mixed, 1}, {Empty, 41}, {Mixed, 6}, {Empty, 1}, {Mixed, 1},
486        {Empty, 8}, {Full, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 6}, {Full, 1},
487        {Mixed, 2}, {Empty, 2}, {Mixed, 4}, {Empty, 5}, {Full, 1},
488        {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 2}, {Full, 7},
489        {Mixed, 1}, {Full, 2}, {Mixed, 2}, {Full, 1}, {Mixed, 1}, {Full, 4},
490        {Mixed, 1}, {Full, 3}, {Mixed, 2}, {Full, 3}, {Mixed, 1}, {Full, 2},
491        {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
492        {Full, 1}, {Mixed, 2}, {Empty, 58}, {Full, 1334}, {Mixed, 1},
493        {Empty, 1}, {Full, 129}, {Mixed, 1}, {Full, 6}, {Mixed, 1},
494        {Empty, 511}, {Full, 16}, {Mixed, 1}, {Empty, 28719}},
495       {0x7fffffff, 0xffffdfff, 0xfcff0000, 0xffffd7f0, 0xfffffffb,
496        0xfffffc07, 0xfffeffff, 0xfe7fffff, 0xfffffffe, 0x0000e6ff,
497        0x40000000, 0xffff0049, 0x001f07ff, 0xc800ffc0, 0x000007ff,
498        0xfffeffff, 0x403fffff, 0xffffc260, 0xfffd3fff, 0x0000ffff,
499        0xffffe000, 0x0002003f, 0x07f007ff, 0x043fffff, 0x7fff0110,
500        0x41ffffff, 0x0007ffff, 0xfffffff8, 0xebffffff, 0xff01de01,
501        0xfffffff3, 0xfff99fed, 0xa3c5fdff, 0xb0005981, 0x0fffffc3,
502        0xfff987e8, 0xc36dfdff, 0x5e000001, 0x001cffc0, 0xfffbbfe8,
503        0xe3edfdff, 0x00011a01, 0x0003ffc3, 0xfff99fec, 0x23edfdff,
504        0xb0001981, 0x00ffffc3, 0xd63dc7e8, 0x83ffc718, 0x00011dc6,
505        0x07ffffc0, 0xfffddfee, 0x23fffdff, 0x0300001e, 0xff00ffc3,
506        0xfffddfec, 0x63effdff, 0x40000d9b, 0x0006ffc3, 0xfffddfec,
507        0xa7ffffff, 0x00005dc1, 0xfe3fffc3, 0xfc7fffec, 0x2ffbffff,
508        0x7f03007f, 0x001cffc0, 0xfffffffe, 0x800dffff, 0x0fff807f,
509        0xfef02596, 0x200decae, 0xf3ff005f, 0xfcffffff, 0xfd5fffff,
510        0xfffffeff, 0x80001fff, 0x00001f20, 0xc0000000, 0x07ffdfbf,
511        0x99021fff, 0x3cffffff, 0xffe1fffe, 0xdfffdf9b, 0xffff20bf,
512        0x3d7f3dff, 0xffff3dff, 0x7f3dffff, 0xff7fff3d, 0xff3dffff,
513        0x07ffffff, 0x1fffffff, 0x03ffffff, 0x001fffff, 0x1fffffff,
514        0x01ffffff, 0x0003dfff, 0x0063ffff, 0x0003ffff, 0x0001dfff,
515        0xc04fffff, 0x1ff001bf, 0x03ff03ff, 0x03ff07ff, 0x00ffffff,
516        0xffff05ff, 0x003fffff, 0x7fffffff, 0x01fb0e78, 0xfffffff1,
517        0x001f3fff, 0xffff0fff, 0xc7ff03ff, 0xc67fffff, 0x00bfffff,
518        0x0007e01a, 0x03ff03ff, 0x00003fff, 0xfffffff0, 0xe82fffff,
519        0xffff0ffb, 0x1ff007ff, 0xfffffffc, 0xffffc4c3, 0xf00c5cbf,
520        0xf8300fff, 0xffffe3ff, 0x000800ff, 0x006fde02, 0x3f3fffff,
521        0xaaff3f3f, 0x3fffffff, 0xffdfffff, 0xefcfffdf, 0x7fdcffff,
522        0xffff07ff, 0xffff80ff, 0xfff30000, 0x1fff7fff, 0x3fffffff,
523        0xffff03ff, 0x07ffffff, 0x0000007f, 0x000007ff, 0xffcfffff,
524        0xff3fffff, 0xe3ffffff, 0x0003fdff, 0xffff7fff, 0x7fffffff,
525        0xfe0c7fff, 0xffff20bf, 0x000180ff, 0x007fffff, 0x7f7f7f7f,
526        0x7f7f7f7f, 0x00000007, 0xfbffffff, 0x000fffff, 0x003fffff,
527        0x0fff0000, 0xffff03ff, 0xfffffffe, 0xf87fffff, 0xffffffe0,
528        0xfffe3fff, 0xffff7fff, 0x07ffffff, 0xffff000f, 0x7fffffff,
529        0x7fffffff, 0x003fffff, 0x00001fff, 0xffff1fff, 0xffff007f,
530        0x00000fff, 0xc0087fff, 0x3fffffff, 0x00fcffff, 0xffff7fff,
531        0x00033fff, 0xff800000, 0xfffff7bb, 0x03ff0f9f, 0x00ffffff,
532        0x03ffc00f, 0x0ffc0000, 0xffffc03f, 0x800c007f, 0x1fffffff,
533        0xfffffff8, 0xec37ffff, 0xc3ffbfff, 0x7fffffdf, 0x001981ff,
534        0xf3ff2ff7, 0xefffffff, 0x3e62ffff, 0xf8000005, 0x003fcfff,
535        0x007e7e7e, 0xffff7f7f, 0x00000030, 0x03ff1edf, 0xffff000f,
536        0xfffff87f, 0x0fffffff, 0xffff3fff, 0x03ffffff, 0xa0f8007f,
537        0x5f7fffff, 0xffffffdb, 0xfff80003, 0xffff0000, 0xfffcffff,
538        0x000000ff, 0x3fff0000, 0x03ff0000, 0xffff0000, 0xfff7ffff,
539        0xffdf0f7f, 0x1fffffff, 0xfffffffe, 0x3fffffff, 0x7fffffff,
540        0x1cfcfcfc, 0x30007f7f, 0xffffefff, 0xb7ffff7f, 0x3fff3fff,
541        0x07ffffff, 0xffffff87, 0xff8fffff, 0x0fff1fff, 0x00000001,
542        0xffff0000, 0x1fffffff, 0x1fffffff, 0x0001ffff, 0x0ffffffe,
543        0xffff000f, 0xffff07ff, 0x003fffff, 0xbfffffff, 0x003fff0f,
544        0x3fffffff, 0x000003ff, 0xffff00ff, 0x0000800f, 0x007fffff,
545        0x003fffff, 0x000000ff, 0xfffffd3f, 0x91bfffff, 0xffbfffff,
546        0x7fffffff, 0x0000ff80, 0x8fffffff, 0x83ffffff, 0xc0ffffff,
547        0xfeef0001, 0x000fffff, 0x01ff00ff, 0x007ff81f, 0xfe3fffff,
548        0xff3fffff, 0xff07ffff, 0x1e03ffff, 0x0000fe00, 0x000001ff,
549        0x7fffffff, 0xfffffffd, 0x00ffffff, 0xfffc3f80, 0x0000ffff,
550        0xfffffffc, 0xd987ffff, 0xffff0003, 0x03ff01ff, 0xfffffff8,
551        0xffc0107f, 0xffff000f, 0x0077ffff, 0xfffffffc, 0x803fffff,
552        0x07ff21ff, 0x001ffffe, 0xfffbffff, 0x3f2c7fff, 0xffff0000,
553        0x7fffffff, 0x03ff0007, 0xfff99fec, 0xa3edfdff, 0xe000399e,
554        0x0000000f, 0x5a06ffff, 0x03ff00f2, 0x4f037fff, 0x000003fe,
555        0x5807ffff, 0x03ff001e, 0x0040d7ff, 0x000003ff, 0x8007ffff,
556        0x01ffffff, 0x01ffffff, 0x001f7fff, 0x00007fff, 0x01ffffff,
557        0x7fffffff, 0x0000c3ff, 0xffff0000, 0x00203fff, 0xff80ffff,
558        0xfbff003f, 0xe0fffffb, 0x0000ffff, 0xffff001f, 0x7fffffff,
559        0xfff80000, 0x00000003, 0x1fff07ff, 0x93ff01ff, 0x003fffff,
560        0xfffffe7f, 0x00003c5f, 0xfffff018, 0xffffc3ff, 0x3fffffff,
561        0x00000023, 0x007fffff, 0x0003ffff, 0xffdfffff, 0xdfffffff,
562        0xebffde64, 0xffffffef, 0xdfdfe7bf, 0x7bffffff, 0xfffdfc5f,
563        0xffffff3f, 0xffffcfff, 0x0000ff9f, 0xffffffef, 0x0af7fe96,
564        0xaa96ea84, 0x5ef7f796, 0x0ffffbff, 0x0ffffbee, 0x00030000,
565        0xffff0fff, 0x000fffff, 0xfffe7fff, 0xfffefffe, 0x003fffff,
566        0xffff1fff, 0xffff7fff, 0xffff0fff, 0x07ffffff, 0xffffffc0,
567        0xffff0007, 0x07ffffff, 0x000301ff, 0xffff1fff, 0x3fffffff,
568        0xfff07fff, 0x00ffffff, 0x7fffffff, 0xffff07ff, 0xfbffffff,
569        0xffffffef, 0xffffffe7, 0x0000ffff, 0x000f1fff, 0x000fffff,
570        0x001fffff, 0xffff0fff, 0x03ff00ff, 0xffff00ff, 0x00003fff,
571        0x007fffff, 0x001fffff, 0x3fffffff, 0x3fffffff},
572       34816};
573    const BinaryPropertyObject property_object{gr_base, codepoint_set};
574  }
575  namespace GR_EXT {
576    const UnicodeSet codepoint_set
577      {{{Empty, 24}, {Full, 3}, {Mixed, 1}, {Empty, 8}, {Mixed, 1},
578        {Empty, 7}, {Mixed, 3}, {Empty, 1}, {Mixed, 1}, {Empty, 1},
579        {Mixed, 2}, {Empty, 2}, {Mixed, 5}, {Empty, 2}, {Mixed, 1},
580        {Empty, 1}, {Mixed, 4}, {Empty, 4}, {Mixed, 24}, {Empty, 1},
581        {Mixed, 12}, {Empty, 2}, {Mixed, 1}, {Empty, 2}, {Mixed, 2},
582        {Empty, 2}, {Mixed, 2}, {Empty, 1}, {Mixed, 2}, {Empty, 1},
583        {Mixed, 4}, {Empty, 2}, {Mixed, 4}, {Empty, 21}, {Mixed, 1},
584        {Empty, 29}, {Mixed, 4}, {Empty, 1}, {Mixed, 2}, {Empty, 1},
585        {Mixed, 1}, {Empty, 4}, {Mixed, 1}, {Empty, 3}, {Mixed, 1},
586        {Empty, 6}, {Mixed, 1}, {Empty, 1}, {Mixed, 2}, {Empty, 1},
587        {Mixed, 1}, {Empty, 2}, {Mixed, 6}, {Empty, 1}, {Mixed, 1},
588        {Empty, 1}, {Mixed, 1}, {Empty, 4}, {Mixed, 2}, {Empty, 6},
589        {Full, 1}, {Mixed, 1}, {Empty, 16}, {Mixed, 1}, {Empty, 5},
590        {Mixed, 2}, {Empty, 95}, {Mixed, 1}, {Empty, 3}, {Mixed, 1},
591        {Empty, 3}, {Full, 1}, {Empty, 17}, {Mixed, 1}, {Empty, 2},
592        {Mixed, 1}, {Empty, 942}, {Mixed, 2}, {Empty, 2}, {Mixed, 1},
593        {Empty, 8}, {Mixed, 2}, {Empty, 4}, {Mixed, 2}, {Empty, 1},
594        {Mixed, 2}, {Empty, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 1},
595        {Empty, 1}, {Mixed, 3}, {Empty, 1}, {Mixed, 3}, {Empty, 7},
596        {Mixed, 1}, {Empty, 632}, {Mixed, 1}, {Empty, 23}, {Mixed, 2},
597        {Empty, 10}, {Mixed, 1}, {Empty, 18}, {Mixed, 1}, {Empty, 7},
598        {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 52}, {Mixed, 2},
599        {Empty, 5}, {Mixed, 1}, {Empty, 40}, {Mixed, 6}, {Empty, 2},
600        {Mixed, 2}, {Empty, 1}, {Mixed, 3}, {Empty, 3}, {Mixed, 1},
601        {Empty, 4}, {Mixed, 6}, {Empty, 9}, {Mixed, 2}, {Empty, 6},
602        {Mixed, 2}, {Empty, 2}, {Mixed, 2}, {Empty, 2}, {Mixed, 1},
603        {Empty, 673}, {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Empty, 34},
604        {Mixed, 1}, {Empty, 615}, {Mixed, 1}, {Empty, 166}, {Mixed, 3},
605        {Empty, 4}, {Mixed, 1}, {Empty, 179}, {Mixed, 1}, {Empty, 24769},
606        {Full, 7}, {Mixed, 1}, {Empty, 6128}},
607       {0x0000ffff, 0x000003f8, 0xfffe0000, 0xbfffffff, 0x000000b6,
608        0x07ff0000, 0xfffff800, 0x00010000, 0x9fc00000, 0x00003d9f,
609        0x00020000, 0xffff0000, 0x000007ff, 0x0001ffc0, 0x000ff800,
610        0xfbc00000, 0x00003eef, 0x0e000000, 0xfffffff0, 0x00000007,
611        0x14000000, 0x00fe21fe, 0x0000000c, 0x00000002, 0x50000000,
612        0x0080201e, 0x0000000c, 0x00000006, 0x10000000, 0x00023986,
613        0x00230000, 0x00000006, 0x10000000, 0x000021be, 0x0000000c,
614        0x00000002, 0xd0000000, 0x00c0201e, 0x0000000c, 0x00000004,
615        0x40000000, 0x00802001, 0x00000001, 0xc0000000, 0x00603dc1,
616        0x0000000c, 0x00000002, 0x90000000, 0x00603044, 0x0000000c,
617        0x00000002, 0x40000000, 0x0080201e, 0x0000000c, 0x805c8400,
618        0x07f20000, 0x00007f80, 0x1bf20000, 0x00003f00, 0x03000000,
619        0x02a00000, 0x7ffe0000, 0xfeffe0df, 0x1fffffff, 0x00000040,
620        0x66fde000, 0xc3000000, 0x001e0001, 0x20002064, 0xe0000000,
621        0x001c0000, 0x001c0000, 0x000c0000, 0x000c0000, 0x3fb00000,
622        0x200ffe40, 0x00003800, 0x00000200, 0x0e040187, 0x09800000,
623        0x7f400000, 0x9ff81fe5, 0x7fff0000, 0x0000000f, 0x17d00000,
624        0x00000004, 0x000ff800, 0x00000003, 0x00003b3c, 0x0003a340,
625        0x00cff000, 0xfff70000, 0x031021fd, 0xf03fffff, 0x00003000,
626        0xffff0000, 0x0001ffff, 0x00038000, 0x80000000, 0x0000fc00,
627        0x06000000, 0x3ff78000, 0x80000000, 0x00030000, 0x00000844,
628        0x00000060, 0x00000010, 0x0003ffff, 0x00003fc0, 0x0003ff80,
629        0x00000007, 0x13c80000, 0x00000020, 0x00667e00, 0x00001008,
630        0x10000000, 0xc19d0000, 0x00000002, 0x00403000, 0x00002120,
631        0x40000000, 0x0000ffff, 0x00003fff, 0xc0000000, 0x20000000,
632        0x00000001, 0x07c00000, 0x0000f06e, 0x87000000, 0x00000060,
633        0x00000002, 0xff000000, 0x0000007f, 0x80000000, 0x00000003,
634        0x06780000, 0x00000007, 0x001fef80, 0x00080000, 0x00000003,
635        0x7fc00000, 0x00d38000, 0x80000000, 0x000007f8, 0x00000002,
636        0x50000000, 0x00800001, 0x001f1fc0, 0xa5f90000, 0x0000000d,
637        0xb03c8000, 0x00000001, 0xa7f80000, 0x00000001, 0x00bf2800,
638        0x001f0000, 0x007f0000, 0x00078000, 0x60000000, 0xf807c3a0,
639        0x00000fe7, 0x00003c00, 0x0000001c, 0x007f0000, 0x0000ffff},
640       34816};
641    const BinaryPropertyObject property_object{gr_ext, codepoint_set};
642  }
643  namespace GR_LINK {
644    const UnicodeSet codepoint_set
645      {{{Empty, 74}, {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 3},
646        {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 3}, {Mixed, 1},
647        {Empty, 3}, {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 3},
648        {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 3}, {Mixed, 1},
649        {Empty, 2}, {Mixed, 1}, {Empty, 10}, {Mixed, 1}, {Empty, 4},
650        {Mixed, 1}, {Empty, 54}, {Mixed, 2}, {Empty, 4}, {Mixed, 1},
651        {Empty, 20}, {Mixed, 1}, {Empty, 6}, {Mixed, 1}, {Empty, 2},
652        {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Empty, 139}, {Mixed, 1},
653        {Empty, 980}, {Mixed, 1}, {Empty, 5}, {Mixed, 1}, {Empty, 3},
654        {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 8}, {Mixed, 1},
655        {Empty, 7}, {Mixed, 1}, {Empty, 753}, {Mixed, 1}, {Empty, 48},
656        {Mixed, 2}, {Empty, 1}, {Mixed, 1}, {Empty, 3}, {Mixed, 1},
657        {Empty, 4}, {Mixed, 1}, {Empty, 2}, {Mixed, 1}, {Empty, 5},
658        {Mixed, 1}, {Empty, 2}, {Mixed, 1}, {Empty, 11}, {Mixed, 1},
659        {Empty, 6}, {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 3},
660        {Mixed, 1}, {Empty, 32586}},
661       {0x00002000, 0x00002000, 0x00002000, 0x00002000, 0x00002000,
662        0x00002000, 0x00002000, 0x00002000, 0x00002000, 0x00000400,
663        0x04000000, 0x00000010, 0x06000000, 0x00100000, 0x00100000,
664        0x00040000, 0x00000001, 0x00000010, 0x00000c00, 0x000c0000,
665        0x80000000, 0x00000040, 0x00000010, 0x00080000, 0x00000001,
666        0x00400000, 0x00002000, 0x80000000, 0x00000040, 0x80000000,
667        0x02000000, 0x00180000, 0x00000001, 0x00200000, 0x00000400,
668        0x00002000, 0x00000004, 0x80000000, 0x80000000, 0x00400000},
669       34816};
670    const BinaryPropertyObject property_object{gr_link, codepoint_set};
671  }
672  namespace IDC {
673    const UnicodeSet codepoint_set
674      {{{Empty, 1}, {Mixed, 3}, {Empty, 1}, {Mixed, 3}, {Full, 14},
675        {Mixed, 2}, {Full, 3}, {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Full, 4},
676        {Mixed, 1}, {Full, 4}, {Mixed, 8}, {Full, 2}, {Mixed, 1}, {Full, 2},
677        {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 1}, {Full, 1},
678        {Mixed, 1}, {Full, 1}, {Mixed, 2}, {Empty, 2}, {Mixed, 1},
679        {Empty, 1}, {Mixed, 1}, {Full, 3}, {Mixed, 40}, {Empty, 1},
680        {Mixed, 3}, {Empty, 1}, {Mixed, 7}, {Empty, 1}, {Full, 2},
681        {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 2},
682        {Full, 10}, {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Full, 1},
683        {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
684        {Full, 18}, {Mixed, 2}, {Full, 2}, {Mixed, 5}, {Full, 2},
685        {Mixed, 3}, {Full, 2}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1},
686        {Mixed, 5}, {Full, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 1},
687        {Full, 1}, {Mixed, 4}, {Empty, 2}, {Full, 2}, {Mixed, 2}, {Full, 3},
688        {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Empty, 2}, {Mixed, 2},
689        {Full, 7}, {Mixed, 1}, {Full, 8}, {Mixed, 1}, {Full, 1}, {Mixed, 2},
690        {Full, 1}, {Mixed, 3}, {Empty, 1}, {Mixed, 4}, {Empty, 1},
691        {Mixed, 5}, {Full, 1}, {Mixed, 1}, {Empty, 83}, {Full, 1},
692        {Mixed, 2}, {Full, 4}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1},
693        {Mixed, 4}, {Full, 1}, {Empty, 16}, {Mixed, 3}, {Full, 1},
694        {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
695        {Empty, 1}, {Mixed, 1}, {Empty, 16}, {Full, 205}, {Mixed, 1},
696        {Empty, 2}, {Full, 654}, {Mixed, 1}, {Empty, 1}, {Full, 36},
697        {Mixed, 1}, {Empty, 1}, {Mixed, 2}, {Full, 8}, {Mixed, 2},
698        {Full, 1}, {Mixed, 2}, {Full, 2}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
699        {Empty, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1},
700        {Mixed, 1}, {Full, 2}, {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Full, 2},
701        {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 6},
702        {Empty, 2}, {Full, 1}, {Mixed, 1}, {Full, 349}, {Mixed, 3},
703        {Empty, 264}, {Full, 11}, {Mixed, 1}, {Full, 2}, {Mixed, 1},
704        {Empty, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2}, {Full, 10},
705        {Mixed, 2}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 6}, {Full, 3},
706        {Mixed, 5}, {Full, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 3},
707        {Empty, 1}, {Full, 3}, {Mixed, 1}, {Empty, 2}, {Full, 1},
708        {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 4}, {Mixed, 1},
709        {Full, 1}, {Mixed, 2}, {Full, 1}, {Mixed, 4}, {Full, 1}, {Mixed, 1},
710        {Empty, 1}, {Full, 4}, {Mixed, 2}, {Empty, 2}, {Full, 1},
711        {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 4}, {Full, 9},
712        {Mixed, 3}, {Empty, 4}, {Mixed, 5}, {Empty, 3}, {Mixed, 2},
713        {Empty, 2}, {Full, 1}, {Mixed, 1}, {Empty, 2}, {Mixed, 2},
714        {Empty, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 2}, {Full, 1},
715        {Mixed, 4}, {Empty, 3}, {Full, 2}, {Mixed, 1}, {Empty, 29},
716        {Full, 2}, {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 3},
717        {Full, 2}, {Mixed, 1}, {Empty, 1}, {Mixed, 2}, {Empty, 3},
718        {Mixed, 1}, {Full, 1}, {Mixed, 5}, {Empty, 8}, {Full, 2},
719        {Mixed, 1}, {Empty, 5}, {Full, 1}, {Mixed, 2}, {Empty, 1},
720        {Full, 2}, {Mixed, 1}, {Empty, 1}, {Full, 1}, {Mixed, 2},
721        {Empty, 14}, {Full, 2}, {Mixed, 1}, {Empty, 14}, {Full, 1},
722        {Mixed, 1}, {Empty, 40}, {Full, 28}, {Mixed, 1}, {Empty, 3},
723        {Full, 3}, {Mixed, 1}, {Empty, 92}, {Full, 33}, {Mixed, 1},
724        {Empty, 414}, {Full, 17}, {Mixed, 3}, {Empty, 2}, {Mixed, 2},
725        {Full, 1}, {Mixed, 4}, {Empty, 27}, {Full, 2}, {Mixed, 3},
726        {Empty, 515}, {Mixed, 1}, {Empty, 95}, {Full, 3}, {Mixed, 2},
727        {Empty, 166}, {Mixed, 3}, {Empty, 4}, {Mixed, 1}, {Empty, 13},
728        {Full, 2}, {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 3},
729        {Full, 10}, {Mixed, 10}, {Full, 1}, {Empty, 128}, {Full, 6},
730        {Mixed, 1}, {Empty, 41}, {Mixed, 6}, {Empty, 138}, {Full, 1334},
731        {Mixed, 1}, {Empty, 1}, {Full, 129}, {Mixed, 1}, {Full, 6},
732        {Mixed, 1}, {Empty, 511}, {Full, 16}, {Mixed, 1}, {Empty, 22583},
733        {Full, 7}, {Mixed, 1}, {Empty, 6128}},
734       {0x03ff0000, 0x87fffffe, 0x07fffffe, 0x04a00400, 0xff7fffff,
735        0xff7fffff, 0x0003ffc3, 0x0000501f, 0xbcdfffff, 0xffffd7c0,
736        0xfffffffb, 0xffbfffff, 0xfffffcfb, 0xfffeffff, 0x027fffff,
737        0xfffffffe, 0xfffe00ff, 0xbfffffff, 0xffff00b6, 0x000707ff,
738        0x07ff0000, 0xffffc3ff, 0x9fefffff, 0x9ffffdff, 0xffff0000,
739        0xffffe7ff, 0x0003ffff, 0x043fffff, 0x00003fff, 0x0fffffff,
740        0x0007ffff, 0xfffffff0, 0xfffeffcf, 0xfff99fef, 0xf3c5fdff,
741        0xb080799f, 0x0003ffcf, 0xfff987ee, 0xd36dfdff, 0x5e023987,
742        0x003fffc0, 0xfffbbfee, 0xf3edfdff, 0x00013bbf, 0x0000ffcf,
743        0xfff99fee, 0xf3edfdff, 0xb0c0399f, 0x0002ffcf, 0xd63dc7ec,
744        0xc3ffc718, 0x00813dc7, 0x0000ffc0, 0xfffddfef, 0xe3fffdff,
745        0x03603ddf, 0x0000ffcf, 0xfffddfee, 0xf3effdff, 0x40603ddf,
746        0x0006ffcf, 0xfffddfee, 0xe7ffffff, 0x00807ddf, 0xfc00ffcf,
747        0xfc7fffec, 0x2ffbffff, 0xff5f847f, 0x000cffc0, 0xfffffffe,
748        0x07ffffff, 0x03ff7fff, 0xfef02596, 0x3bffecae, 0xf3ff3f5f,
749        0x03000001, 0xc2a003ff, 0xfffffeff, 0xfffe1fff, 0xfeffffdf,
750        0x1fffffff, 0x00000040, 0xffff03ff, 0x3fffffff, 0xffff20bf,
751        0xf7ffffff, 0x3d7f3dff, 0xffff3dff, 0x7f3dffff, 0xff7fff3d,
752        0xff3dffff, 0xe7ffffff, 0x0003fe00, 0x0000ffff, 0x001fffff,
753        0xfffffffe, 0xffff9fff, 0x07fffffe, 0x01ffc7ff, 0x001fdfff,
754        0x001fffff, 0x000fffff, 0x000ddfff, 0x308fffff, 0x000003ff,
755        0x03ff3800, 0x00ffffff, 0xffff07ff, 0x003fffff, 0x7fffffff,
756        0x0fff0fff, 0xffffffc0, 0x001f3fff, 0xffff0fff, 0x07ff03ff,
757        0x0fffffff, 0x7fffffff, 0x9fffffff, 0x03ff03ff, 0x3fff0080,
758        0x03ff0fff, 0x000ff800, 0x000fffff, 0x00ffffff, 0xffffe3ff,
759        0x3fffffff, 0xfff70000, 0x037fffff, 0xf03fffff, 0x3f3fffff,
760        0xaaff3f3f, 0x3fffffff, 0x5fdfffff, 0x0fcf1fdc, 0x1fdc1fff,
761        0x80000000, 0x00100001, 0x80020000, 0x1fff0000, 0x1fff0000,
762        0x0001ffe2, 0x3f2ffc84, 0xf3fffd50, 0x000043e0, 0x000001ff,
763        0xffff7fff, 0x7fffffff, 0x000ff81f, 0xffff20bf, 0x800080ff,
764        0x007fffff, 0x7f7f7f7f, 0x7f7f7f7f, 0x000000e0, 0x1f3efffe,
765        0xfffffffe, 0xfe7fffff, 0xfffffffe, 0xf7ffffff, 0xffffffe0,
766        0xfffe3fff, 0x00007fff, 0x07ffffff, 0xffff0000, 0x003fffff,
767        0x00001fff, 0x00001fff, 0xffff0000, 0x3fffffff, 0xffff1fff,
768        0x00000fff, 0xbff0ffff, 0xbfffffff, 0x0003ffff, 0xff800000,
769        0xfffffffc, 0xffff79ff, 0x00033fff, 0xff800000, 0x000000ff,
770        0x000fffff, 0x03ff001f, 0x08ffffff, 0xffff3fff, 0x000fffff,
771        0x1fffffff, 0x03ff8001, 0x7fffffff, 0x007fffff, 0x03ff3fff,
772        0xfc7fffff, 0x38000007, 0x007cffff, 0x007e7e7e, 0xffff7f7f,
773        0xf7ffffff, 0x00000030, 0x03ff37ff, 0xffff000f, 0xfffff87f,
774        0x0fffffff, 0xffff3fff, 0x03ffffff, 0xe0f8007f, 0x5f7ffdff,
775        0xffffffdb, 0x0003ffff, 0xfff80000, 0x3fffffff, 0xffff0000,
776        0xfffcffff, 0x000000ff, 0x0fff0000, 0x0000ffff, 0x00183fff,
777        0x0000e000, 0xffdf0000, 0x1fffffff, 0x03ff0000, 0x87fffffe,
778        0x07fffffe, 0xffffffc0, 0x7fffffff, 0x1cfcfcfc, 0xffffefff,
779        0xb7ffff7f, 0x3fff3fff, 0x07ffffff, 0x001fffff, 0x20000000,
780        0x1fffffff, 0x0001ffff, 0x00000001, 0xffff0000, 0xffff07ff,
781        0x07ffffff, 0x3fffffff, 0x003eff0f, 0x3fffffff, 0x000003ff,
782        0xffff00ff, 0x0000000f, 0x007fffff, 0x003fffff, 0x000000ff,
783        0xfffffd3f, 0x91bfffff, 0x003fffff, 0x007fffff, 0x7fffffff,
784        0x003fffff, 0x03ffffff, 0xc0ffffff, 0xfeeff06f, 0x870fffff,
785        0x1fffffff, 0x1fffffff, 0xfffffeff, 0x0000007f, 0x003fffff,
786        0x003fffff, 0x0007ffff, 0x0003ffff, 0x000001ff, 0x0000007f,
787        0x8000ffc0, 0x07ffffff, 0xffff0000, 0x03ff01ff, 0xffdfffff,
788        0xffff0000, 0x004fffff, 0x07ff001f, 0xfffbffff, 0x00ffffff,
789        0xffff0000, 0x03ff07ff, 0xfff99fee, 0xf3edfdff, 0xe080399f,
790        0x001f1fcf, 0x03ff00bf, 0xff3fffff, 0x00000001, 0x03ff0011,
791        0x00ffffff, 0x000003ff, 0x800003ff, 0x01ffffff, 0x01ffffff,
792        0x00007fff, 0x00007fff, 0x01ffffff, 0x7fffffff, 0x000003ff,
793        0xffff0000, 0x001f3fff, 0x007fffff, 0x03ff000f, 0xe0fffff8,
794        0x0000ffff, 0xffff001f, 0x7fffffff, 0xffff8000, 0x00000003,
795        0x1fff07ff, 0x63ff01ff, 0xf807e3e0, 0x00000fe7, 0x00003c00,
796        0x0000001c, 0xffdfffff, 0xdfffffff, 0xebffde64, 0xffffffef,
797        0xdfdfe7bf, 0x7bffffff, 0xfffdfc5f, 0xffffff3f, 0xf7fffffd,
798        0xf7ffffff, 0xffdfffff, 0xffdfffff, 0xffff7fff, 0xffff7fff,
799        0xfffffdff, 0xfffffdff, 0xffffcff7, 0x007f001f, 0xffffffef,
800        0x0af7fe96, 0xaa96ea84, 0x5ef7f796, 0x0ffffbff, 0x0ffffbee,
801        0x007fffff, 0x001fffff, 0x3fffffff, 0x3fffffff, 0x0000ffff},
802       34816};
803    const BinaryPropertyObject property_object{idc, codepoint_set};
804  }
805  namespace IDS {
806    const UnicodeSet codepoint_set
807      {{{Empty, 2}, {Mixed, 2}, {Empty, 1}, {Mixed, 3}, {Full, 14},
808        {Mixed, 2}, {Empty, 3}, {Mixed, 3}, {Full, 1}, {Mixed, 1},
809        {Full, 4}, {Mixed, 1}, {Full, 4}, {Mixed, 4}, {Empty, 1},
810        {Mixed, 2}, {Empty, 1}, {Full, 1}, {Mixed, 2}, {Full, 2},
811        {Mixed, 5}, {Full, 2}, {Mixed, 6}, {Empty, 2}, {Mixed, 1},
812        {Empty, 2}, {Mixed, 23}, {Empty, 1}, {Mixed, 15}, {Empty, 1},
813        {Mixed, 3}, {Empty, 1}, {Mixed, 3}, {Empty, 1}, {Mixed, 1},
814        {Empty, 1}, {Mixed, 3}, {Empty, 3}, {Full, 1}, {Mixed, 4},
815        {Full, 1}, {Mixed, 2}, {Full, 10}, {Mixed, 1}, {Full, 1},
816        {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
817        {Empty, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 2}, {Full, 18},
818        {Mixed, 2}, {Full, 2}, {Mixed, 5}, {Full, 1}, {Mixed, 2},
819        {Empty, 2}, {Full, 2}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1},
820        {Mixed, 2}, {Empty, 1}, {Mixed, 2}, {Full, 1}, {Mixed, 2},
821        {Empty, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 2},
822        {Mixed, 1}, {Empty, 2}, {Mixed, 3}, {Empty, 1}, {Mixed, 2},
823        {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Empty, 3},
824        {Mixed, 1}, {Full, 6}, {Empty, 2}, {Full, 8}, {Mixed, 1}, {Full, 1},
825        {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Empty, 3}, {Mixed, 2},
826        {Empty, 3}, {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Empty, 83},
827        {Full, 1}, {Mixed, 2}, {Full, 4}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
828        {Full, 1}, {Mixed, 4}, {Empty, 17}, {Mixed, 3}, {Full, 1},
829        {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
830        {Empty, 1}, {Mixed, 1}, {Empty, 16}, {Full, 205}, {Mixed, 1},
831        {Empty, 2}, {Full, 654}, {Mixed, 1}, {Empty, 1}, {Full, 36},
832        {Mixed, 1}, {Empty, 1}, {Mixed, 2}, {Full, 8}, {Mixed, 2},
833        {Full, 1}, {Mixed, 2}, {Full, 2}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
834        {Empty, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 3}, {Empty, 1},
835        {Mixed, 9}, {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 7},
836        {Empty, 2}, {Full, 1}, {Mixed, 1}, {Full, 349}, {Mixed, 3},
837        {Empty, 264}, {Full, 11}, {Mixed, 1}, {Full, 2}, {Mixed, 1},
838        {Empty, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2}, {Full, 10},
839        {Mixed, 2}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 2},
840        {Empty, 3}, {Mixed, 1}, {Full, 3}, {Mixed, 1}, {Empty, 1},
841        {Mixed, 3}, {Full, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 3},
842        {Empty, 1}, {Full, 3}, {Mixed, 1}, {Empty, 2}, {Full, 1},
843        {Mixed, 1}, {Empty, 8}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
844        {Empty, 1}, {Full, 1}, {Mixed, 4}, {Full, 1}, {Mixed, 1},
845        {Empty, 1}, {Full, 4}, {Mixed, 1}, {Empty, 3}, {Full, 1},
846        {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 4}, {Full, 9},
847        {Mixed, 3}, {Empty, 4}, {Mixed, 5}, {Empty, 3}, {Mixed, 2},
848        {Empty, 2}, {Full, 1}, {Mixed, 1}, {Empty, 2}, {Mixed, 2},
849        {Empty, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 2}, {Full, 1},
850        {Mixed, 4}, {Empty, 3}, {Full, 2}, {Mixed, 1}, {Empty, 29},
851        {Mixed, 2}, {Empty, 2}, {Mixed, 11}, {Empty, 1}, {Mixed, 2},
852        {Empty, 3}, {Mixed, 2}, {Empty, 1}, {Mixed, 4}, {Empty, 8},
853        {Full, 1}, {Mixed, 2}, {Empty, 5}, {Full, 1}, {Mixed, 1},
854        {Empty, 2}, {Full, 1}, {Mixed, 2}, {Empty, 1}, {Full, 1},
855        {Mixed, 1}, {Empty, 15}, {Full, 2}, {Mixed, 1}, {Empty, 14},
856        {Full, 1}, {Mixed, 1}, {Empty, 40}, {Full, 28}, {Mixed, 1},
857        {Empty, 3}, {Full, 3}, {Mixed, 1}, {Empty, 92}, {Full, 33},
858        {Mixed, 1}, {Empty, 414}, {Full, 17}, {Mixed, 2}, {Empty, 3},
859        {Mixed, 2}, {Full, 1}, {Mixed, 4}, {Empty, 27}, {Full, 2},
860        {Mixed, 1}, {Empty, 1}, {Mixed, 1}, {Empty, 515}, {Mixed, 1},
861        {Empty, 95}, {Full, 3}, {Mixed, 2}, {Empty, 187}, {Full, 2},
862        {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 3},
863        {Full, 10}, {Mixed, 10}, {Empty, 129}, {Full, 6}, {Mixed, 1},
864        {Empty, 41}, {Mixed, 6}, {Empty, 138}, {Full, 1334}, {Mixed, 1},
865        {Empty, 1}, {Full, 129}, {Mixed, 1}, {Full, 6}, {Mixed, 1},
866        {Empty, 511}, {Full, 16}, {Mixed, 1}, {Empty, 28719}},
867       {0x07fffffe, 0x07fffffe, 0x04200400, 0xff7fffff, 0xff7fffff,
868        0x0003ffc3, 0x0000501f, 0xbcdf0000, 0xffffd740, 0xfffffffb,
869        0xffbfffff, 0xfffffc03, 0xfffeffff, 0x027fffff, 0xfffffffe,
870        0x000000ff, 0xffff0000, 0x000707ff, 0x000007ff, 0xfffec000,
871        0x002fffff, 0x9c00c060, 0xfffd0000, 0x0000ffff, 0xffffe000,
872        0x0002003f, 0xfffffc00, 0x043007ff, 0x043fffff, 0x00000110,
873        0x01ffffff, 0x0007ffff, 0xfffffff0, 0x23ffffff, 0xff010000,
874        0xfffe0003, 0xfff99fe1, 0x23c5fdff, 0xb0004000, 0x00030003,
875        0xfff987e0, 0x036dfdff, 0x5e000000, 0x001c0000, 0xfffbbfe0,
876        0x23edfdff, 0x00010000, 0x00000003, 0xfff99fe0, 0x23edfdff,
877        0xb0000000, 0x00020003, 0xd63dc7e8, 0x03ffc718, 0x00010000,
878        0xfffddfe0, 0x23fffdff, 0x03000000, 0x00000003, 0xfffddfe0,
879        0x23effdff, 0x40000000, 0x00060003, 0xfffddfe0, 0x27ffffff,
880        0x00004000, 0xfc000003, 0xfc7fffe0, 0x2ffbffff, 0x0000007f,
881        0xfffffffe, 0x000dffff, 0x0000007f, 0xfef02596, 0x200decae,
882        0xf000005f, 0x00000001, 0xfffffeff, 0x00001fff, 0x00001f00,
883        0x800007ff, 0x3c3f0000, 0xffe1c062, 0x00004003, 0xffff20bf,
884        0xf7ffffff, 0x3d7f3dff, 0xffff3dff, 0x7f3dffff, 0xff7fff3d,
885        0xff3dffff, 0x07ffffff, 0x0000ffff, 0x001fffff, 0xfffffffe,
886        0xffff9fff, 0x07fffffe, 0x01ffc7ff, 0x0003dfff, 0x0003ffff,
887        0x0003ffff, 0x0001dfff, 0x000fffff, 0x10800000, 0x00ffffff,
888        0xffff05ff, 0x003fffff, 0x7fffffff, 0xffff0000, 0x001f3fff,
889        0x00000fff, 0x000000fe, 0x007fffff, 0x001fffff, 0x00000080,
890        0xffffffe0, 0x000fffff, 0x00000fe0, 0xfffffff8, 0xfc00c001,
891        0x0000003f, 0x0000000f, 0xfc00e000, 0x3fffffff, 0x0063de00,
892        0x3f3fffff, 0xaaff3f3f, 0x3fffffff, 0x5fdfffff, 0x0fcf1fdc,
893        0x1fdc1fff, 0x80020000, 0x1fff0000, 0x3f2ffc84, 0xf3fffd50,
894        0x000043e0, 0x000001ff, 0xffff7fff, 0x7fffffff, 0x000c781f,
895        0xffff20bf, 0x000080ff, 0x007fffff, 0x7f7f7f7f, 0x7f7f7f7f,
896        0x000000e0, 0x1f3e03fe, 0xfffffffe, 0xf87fffff, 0xfffffffe,
897        0xf7ffffff, 0xffffffe0, 0xfffe3fff, 0x00007fff, 0x07ffffff,
898        0xffff0000, 0x003fffff, 0x00001fff, 0x00001fff, 0xffff0000,
899        0x3fffffff, 0xffff1fff, 0x00000c00, 0x80007fff, 0x3fffffff,
900        0x0000ffff, 0xff800000, 0xfffffffc, 0xffff79ff, 0x00033fff,
901        0xff800000, 0xfffff7bb, 0x00000007, 0x000fffff, 0xfffffffc,
902        0x000fffff, 0x08fc0000, 0xfffffc00, 0xffff003f, 0x0000007f,
903        0x1fffffff, 0xfffffff0, 0x0007ffff, 0x00008000, 0x7c00ffdf,
904        0x000001ff, 0x00000ff7, 0xc47fffff, 0x3e62ffff, 0x38000005,
905        0x001c07ff, 0x007e7e7e, 0xffff7f7f, 0xf7ffffff, 0x00000030,
906        0x00000007, 0xffff000f, 0xfffff87f, 0x0fffffff, 0xffff3fff,
907        0x03ffffff, 0xa0f8007f, 0x5f7ffdff, 0xffffffdb, 0x0003ffff,
908        0xfff80000, 0x3fffffff, 0xffff0000, 0xfffcffff, 0x000000ff,
909        0x0fff0000, 0xffdf0000, 0x1fffffff, 0x07fffffe, 0x07fffffe,
910        0xffffffc0, 0x7fffffff, 0x1cfcfcfc, 0xffffefff, 0xb7ffff7f,
911        0x3fff3fff, 0x07ffffff, 0x001fffff, 0x1fffffff, 0x0001ffff,
912        0xffff0000, 0xffff07ff, 0x003fffff, 0x3fffffff, 0x003eff0f,
913        0x3fffffff, 0xffff00ff, 0x0000000f, 0x007fffff, 0x003fffff,
914        0x000000ff, 0xfffffd3f, 0x91bfffff, 0x003fffff, 0x007fffff,
915        0x7fffffff, 0x003fffff, 0x03ffffff, 0xc0ffffff, 0xfeef0001,
916        0x000fffff, 0x1fffffff, 0x1fffffff, 0xfffffeff, 0x0000001f,
917        0x003fffff, 0x003fffff, 0x0007ffff, 0x0003ffff, 0x000001ff,
918        0xfffffff8, 0x00ffffff, 0xfffffff8, 0x0000ffff, 0xffff0000,
919        0x000001ff, 0xfffffff8, 0x0000007f, 0xffff0000, 0x0047ffff,
920        0xfffffff8, 0x0007ffff, 0x0400001e, 0xfffbffff, 0x00000fff,
921        0xffff0000, 0x7fffffff, 0xfff99fe0, 0x23edfdff, 0xe0000000,
922        0x00000003, 0x0000ffff, 0x000000b0, 0x00007fff, 0x0000ffff,
923        0x00000010, 0x000007ff, 0x80000000, 0x01ffffff, 0x01ffffff,
924        0x00007fff, 0x00007fff, 0x01ffffff, 0x7fffffff, 0xffff0000,
925        0x00003fff, 0x0000ffff, 0x0000000f, 0xe0fffff8, 0x0000ffff,
926        0x0001001f, 0xfff80000, 0x00000003, 0x1fff07ff, 0x03ff01ff,
927        0xffdfffff, 0xdfffffff, 0xebffde64, 0xffffffef, 0xdfdfe7bf,
928        0x7bffffff, 0xfffdfc5f, 0xffffff3f, 0xf7fffffd, 0xf7ffffff,
929        0xffdfffff, 0xffdfffff, 0xffff7fff, 0xffff7fff, 0xfffffdff,
930        0xfffffdff, 0x00000ff7, 0x0000001f, 0xffffffef, 0x0af7fe96,
931        0xaa96ea84, 0x5ef7f796, 0x0ffffbff, 0x0ffffbee, 0x007fffff,
932        0x001fffff, 0x3fffffff, 0x3fffffff},
933       34816};
934    const BinaryPropertyObject property_object{ids, codepoint_set};
935  }
936  namespace LOWER {
937    const UnicodeSet codepoint_set
938      {{{Empty, 3}, {Mixed, 1}, {Empty, 1}, {Mixed, 14}, {Full, 1},
939        {Mixed, 4}, {Empty, 2}, {Mixed, 6}, {Empty, 1}, {Mixed, 1},
940        {Full, 1}, {Mixed, 7}, {Empty, 1}, {Mixed, 2}, {Empty, 187},
941        {Full, 6}, {Empty, 2}, {Mixed, 16}, {Empty, 3}, {Mixed, 2},
942        {Empty, 3}, {Mixed, 5}, {Empty, 25}, {Mixed, 2}, {Empty, 57},
943        {Mixed, 7}, {Full, 1}, {Mixed, 1}, {Empty, 968}, {Mixed, 3},
944        {Empty, 4}, {Mixed, 5}, {Empty, 1}, {Mixed, 1}, {Empty, 25},
945        {Mixed, 3}, {Empty, 636}, {Mixed, 1}, {Empty, 33}, {Mixed, 1},
946        {Empty, 38}, {Mixed, 2}, {Empty, 163}, {Full, 1}, {Empty, 1497},
947        {Mixed, 31}, {Empty, 31041}},
948       {0x07fffffe, 0x04200400, 0x80000000, 0xff7fffff, 0xaaaaaaaa,
949        0x55aaaaaa, 0xaaaaab55, 0xd4aaaaaa, 0x4e243129, 0xe6512d2a,
950        0xb5555240, 0xaa29aaaa, 0xaaaaaaaa, 0x93faaaaa, 0xffffaa85,
951        0xffefffff, 0x01ffffff, 0x00000003, 0x0000001f, 0x00000020,
952        0x3c8a0000, 0x00010000, 0xfffff000, 0xaae37fff, 0x192faaaa,
953        0xffff0000, 0xaaaaaaaa, 0xaaaaa802, 0xaaaaaaaa, 0xaaaad554,
954        0xaaaaaaaa, 0xaaaaaaaa, 0x0000aaaa, 0xfffffffe, 0x000000ff,
955        0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0xbfeaaaaa,
956        0xaaaaaaaa, 0xaaaaaaaa, 0xaaaaaaaa, 0x003f00ff, 0x00ff00ff,
957        0x00ff003f, 0x3fff00ff, 0x00ff00ff, 0x40df00ff, 0x00cf00dc,
958        0x00dc00ff, 0x80020000, 0x1fff0000, 0x0008c400, 0x32108000,
959        0x000043c0, 0xffff0000, 0x00000010, 0xffff0000, 0x000003ff,
960        0xffff0000, 0x7fffffff, 0x3fda1562, 0xaaaaaaaa, 0xaaaaaaaa,
961        0xaaaaaaaa, 0x0008501a, 0x000020bf, 0xaaaaaaaa, 0x00002aaa,
962        0x3aaaaaaa, 0xaaabaaa8, 0xaaaaaaaa, 0x95ffaaaa, 0xaaba50aa,
963        0x000002aa, 0x07000000, 0xffff0000, 0xf7ffffff, 0x00000030,
964        0x00f8007f, 0x07fffffe, 0xffffff00, 0x0000ffff, 0xfc000000,
965        0x000fffff, 0xffdfc000, 0x000000ff, 0x0ffffffc, 0xebc00000,
966        0x0000ffef, 0xfffffc00, 0xc000000f, 0x00ffffff, 0xfffc0000,
967        0x00000fff, 0xffffffc0, 0xfc000000, 0x000fffff, 0xffffc000,
968        0x000000ff, 0x0ffffffc, 0xffc00000, 0x0000ffff, 0xfffffc00,
969        0x0000003f, 0xf7fffffc, 0xf0000003, 0x0fdfffff, 0xffc00000,
970        0x003f7fff, 0xffff0000, 0x0000fdff, 0xfffffc00, 0x00000bf7},
971       34816};
972    const BinaryPropertyObject property_object{lower, codepoint_set};
973  }
974  namespace MATH {
975    const UnicodeSet codepoint_set
976      {{{Empty, 1}, {Mixed, 3}, {Empty, 1}, {Mixed, 3}, {Empty, 22},
977        {Mixed, 2}, {Empty, 16}, {Mixed, 1}, {Empty, 207}, {Mixed, 5},
978        {Empty, 1}, {Mixed, 5}, {Empty, 1}, {Mixed, 4}, {Full, 8},
979        {Mixed, 2}, {Empty, 1}, {Mixed, 5}, {Empty, 13}, {Mixed, 4},
980        {Empty, 1}, {Mixed, 2}, {Empty, 10}, {Full, 2}, {Empty, 8},
981        {Full, 16}, {Empty, 1}, {Mixed, 2}, {Empty, 1662}, {Mixed, 1},
982        {Empty, 25}, {Mixed, 1}, {Empty, 4}, {Mixed, 3}, {Empty, 4},
983        {Mixed, 1}, {Empty, 1696}, {Full, 2}, {Mixed, 1}, {Full, 1},
984        {Mixed, 3}, {Full, 1}, {Mixed, 3}, {Full, 10}, {Mixed, 1},
985        {Full, 8}, {Mixed, 1}, {Full, 1}, {Empty, 176}, {Mixed, 6},
986        {Empty, 1}, {Mixed, 1}, {Empty, 30856}},
987       {0x70000800, 0x40000000, 0x50000000, 0x00021000, 0x00800000,
988        0x00800000, 0x00270000, 0x00730000, 0x000001c0, 0x00400000,
989        0x001c0000, 0x00040011, 0x7c00001e, 0x00007c00, 0x1fff0000,
990        0x0000f862, 0x3f2ffc84, 0xf1fbb310, 0x00000bff, 0xffff0000,
991        0xf0c37eff, 0x2fffffff, 0xfff00030, 0x00000f00, 0x00000003,
992        0x10000000, 0xf8000000, 0x00bfffff, 0xf0010000, 0x00000007,
993        0xf0ffc003, 0x000f8cc3, 0xff001f94, 0x00000060, 0x00000005,
994        0x0000e00f, 0xffff0000, 0x00001f9f, 0x00000200, 0x0000017e,
995        0x70000800, 0x50000000, 0x50000000, 0x00001e04, 0xffdfffff,
996        0xdfffffff, 0xebffde64, 0xffffffef, 0xdfdfe7bf, 0x7bffffff,
997        0xfffdfc5f, 0xffffff3f, 0xffffcfff, 0xffffffef, 0x0af7fe96,
998        0xaa96ea84, 0x5ef7f796, 0x0ffffbff, 0x0ffffbee, 0x00030000},
999       34816};
1000    const BinaryPropertyObject property_object{math, codepoint_set};
1001  }
1002  namespace UPPER {
1003    const UnicodeSet codepoint_set
1004      {{{Empty, 2}, {Mixed, 1}, {Empty, 3}, {Mixed, 1}, {Empty, 1},
1005        {Mixed, 11}, {Empty, 8}, {Mixed, 5}, {Full, 1}, {Mixed, 1},
1006        {Empty, 1}, {Mixed, 8}, {Empty, 90}, {Full, 1}, {Mixed, 1},
1007        {Empty, 105}, {Mixed, 12}, {Empty, 1}, {Mixed, 3}, {Empty, 8},
1008        {Mixed, 5}, {Empty, 24}, {Mixed, 2}, {Empty, 57}, {Full, 1},
1009        {Mixed, 1}, {Empty, 1}, {Mixed, 5}, {Empty, 970}, {Mixed, 3},
1010        {Empty, 4}, {Mixed, 5}, {Empty, 699}, {Mixed, 1}, {Empty, 38},
1011        {Full, 1}, {Mixed, 1}, {Empty, 163}, {Full, 1}, {Empty, 1498},
1012        {Mixed, 31}, {Empty, 202}, {Mixed, 4}, {Empty, 30835}},
1013       {0x07fffffe, 0x7f7fffff, 0x55555555, 0xaa555555, 0x555554aa,
1014        0x2b555555, 0xb1dbced6, 0x11aed2d5, 0x4aaaa490, 0x55d25555,
1015        0x55555555, 0x6c055555, 0x0000557a, 0x80450000, 0xfffed740,
1016        0x00000ffb, 0x551c8000, 0xe6905555, 0x0000ffff, 0x55555555,
1017        0x55555401, 0x55555555, 0x55552aab, 0x55555555, 0x55555555,
1018        0xfffe5555, 0x007fffff, 0x000020bf, 0x55555555, 0x55555555,
1019        0x55555555, 0x55555555, 0x40155555, 0x55555555, 0x55555555,
1020        0x55555555, 0x3f00ff00, 0xff00ff00, 0xaa003f00, 0x0000ff00,
1021        0x0f000000, 0x0f000f00, 0x0f001f00, 0x3e273884, 0xc00f3d50,
1022        0x00000020, 0x0000ffff, 0x00000008, 0xffc00000, 0x0000ffff,
1023        0x00007fff, 0xc025ea9d, 0x55555555, 0x55555555, 0x55555555,
1024        0x00042805, 0x55555555, 0x00001555, 0x05555555, 0x55545554,
1025        0x55555555, 0x6a005555, 0x55452855, 0x00033d55, 0x07fffffe,
1026        0x000000ff, 0x03ffffff, 0xfff00000, 0x00003fff, 0xffffff00,
1027        0xd0000003, 0x003fde64, 0xffff0000, 0x000003ff, 0x1fdfe7b0,
1028        0x7b000000, 0x0001fc5f, 0xfffff000, 0x0000003f, 0x03ffffff,
1029        0xfff00000, 0x00003fff, 0xffffff00, 0xf0000003, 0x003fffff,
1030        0xffff0000, 0x000003ff, 0xffffff00, 0x00000001, 0x07fffffc,
1031        0xf0000000, 0x001fffff, 0xffc00000, 0x00007fff, 0xffff0000,
1032        0x000001ff, 0x00000400, 0xffff0000, 0xffff03ff, 0xffff03ff,
1033        0x000003ff},
1034       34816};
1035    const BinaryPropertyObject property_object{upper, codepoint_set};
1036  }
1037  namespace XIDC {
1038    const UnicodeSet codepoint_set
1039      {{{Empty, 1}, {Mixed, 3}, {Empty, 1}, {Mixed, 3}, {Full, 14},
1040        {Mixed, 2}, {Full, 3}, {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Full, 4},
1041        {Mixed, 1}, {Full, 4}, {Mixed, 8}, {Full, 2}, {Mixed, 1}, {Full, 2},
1042        {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 1}, {Full, 1},
1043        {Mixed, 1}, {Full, 1}, {Mixed, 2}, {Empty, 2}, {Mixed, 1},
1044        {Empty, 1}, {Mixed, 1}, {Full, 3}, {Mixed, 40}, {Empty, 1},
1045        {Mixed, 3}, {Empty, 1}, {Mixed, 7}, {Empty, 1}, {Full, 2},
1046        {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 2},
1047        {Full, 10}, {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Full, 1},
1048        {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
1049        {Full, 18}, {Mixed, 2}, {Full, 2}, {Mixed, 5}, {Full, 2},
1050        {Mixed, 3}, {Full, 2}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1},
1051        {Mixed, 5}, {Full, 1}, {Mixed, 2}, {Empty, 1}, {Mixed, 1},
1052        {Full, 1}, {Mixed, 4}, {Empty, 2}, {Full, 2}, {Mixed, 2}, {Full, 3},
1053        {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Empty, 2}, {Mixed, 2},
1054        {Full, 7}, {Mixed, 1}, {Full, 8}, {Mixed, 1}, {Full, 1}, {Mixed, 2},
1055        {Full, 1}, {Mixed, 3}, {Empty, 1}, {Mixed, 4}, {Empty, 1},
1056        {Mixed, 5}, {Full, 1}, {Mixed, 1}, {Empty, 83}, {Full, 1},
1057        {Mixed, 2}, {Full, 4}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1},
1058        {Mixed, 4}, {Full, 1}, {Empty, 16}, {Mixed, 3}, {Full, 1},
1059        {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
1060        {Empty, 1}, {Mixed, 1}, {Empty, 16}, {Full, 205}, {Mixed, 1},
1061        {Empty, 2}, {Full, 654}, {Mixed, 1}, {Empty, 1}, {Full, 36},
1062        {Mixed, 1}, {Empty, 1}, {Mixed, 2}, {Full, 8}, {Mixed, 2},
1063        {Full, 1}, {Mixed, 2}, {Full, 2}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
1064        {Empty, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1},
1065        {Mixed, 1}, {Full, 2}, {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Full, 2},
1066        {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 6},
1067        {Empty, 2}, {Full, 1}, {Mixed, 1}, {Full, 349}, {Mixed, 3},
1068        {Empty, 264}, {Full, 11}, {Mixed, 1}, {Full, 2}, {Mixed, 1},
1069        {Empty, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2}, {Full, 3},
1070        {Mixed, 2}, {Full, 5}, {Mixed, 2}, {Full, 1}, {Mixed, 1}, {Full, 1},
1071        {Mixed, 6}, {Full, 3}, {Mixed, 5}, {Full, 1}, {Mixed, 2},
1072        {Empty, 1}, {Mixed, 3}, {Empty, 1}, {Full, 3}, {Mixed, 1},
1073        {Empty, 2}, {Full, 1}, {Mixed, 1}, {Empty, 3}, {Mixed, 1},
1074        {Empty, 4}, {Mixed, 1}, {Full, 1}, {Mixed, 2}, {Full, 1},
1075        {Mixed, 4}, {Full, 1}, {Mixed, 1}, {Empty, 1}, {Full, 4},
1076        {Mixed, 2}, {Empty, 2}, {Full, 1}, {Mixed, 1}, {Full, 1},
1077        {Mixed, 1}, {Empty, 4}, {Full, 9}, {Mixed, 3}, {Empty, 4},
1078        {Mixed, 5}, {Empty, 3}, {Mixed, 2}, {Empty, 2}, {Full, 1},
1079        {Mixed, 1}, {Empty, 2}, {Mixed, 2}, {Empty, 1}, {Mixed, 2},
1080        {Empty, 1}, {Mixed, 2}, {Full, 1}, {Mixed, 4}, {Empty, 3},
1081        {Full, 2}, {Mixed, 1}, {Empty, 29}, {Full, 2}, {Mixed, 2},
1082        {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 1},
1083        {Empty, 1}, {Mixed, 2}, {Empty, 3}, {Mixed, 1}, {Full, 1},
1084        {Mixed, 5}, {Empty, 8}, {Full, 2}, {Mixed, 1}, {Empty, 5},
1085        {Full, 1}, {Mixed, 2}, {Empty, 1}, {Full, 2}, {Mixed, 1},
1086        {Empty, 1}, {Full, 1}, {Mixed, 2}, {Empty, 14}, {Full, 2},
1087        {Mixed, 1}, {Empty, 14}, {Full, 1}, {Mixed, 1}, {Empty, 40},
1088        {Full, 28}, {Mixed, 1}, {Empty, 3}, {Full, 3}, {Mixed, 1},
1089        {Empty, 92}, {Full, 33}, {Mixed, 1}, {Empty, 414}, {Full, 17},
1090        {Mixed, 3}, {Empty, 2}, {Mixed, 2}, {Full, 1}, {Mixed, 4},
1091        {Empty, 27}, {Full, 2}, {Mixed, 3}, {Empty, 515}, {Mixed, 1},
1092        {Empty, 95}, {Full, 3}, {Mixed, 2}, {Empty, 166}, {Mixed, 3},
1093        {Empty, 4}, {Mixed, 1}, {Empty, 13}, {Full, 2}, {Mixed, 1},
1094        {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 3}, {Full, 10},
1095        {Mixed, 10}, {Full, 1}, {Empty, 128}, {Full, 6}, {Mixed, 1},
1096        {Empty, 41}, {Mixed, 6}, {Empty, 138}, {Full, 1334}, {Mixed, 1},
1097        {Empty, 1}, {Full, 129}, {Mixed, 1}, {Full, 6}, {Mixed, 1},
1098        {Empty, 511}, {Full, 16}, {Mixed, 1}, {Empty, 22583}, {Full, 7},
1099        {Mixed, 1}, {Empty, 6128}},
1100       {0x03ff0000, 0x87fffffe, 0x07fffffe, 0x04a00400, 0xff7fffff,
1101        0xff7fffff, 0x0003ffc3, 0x0000501f, 0xb8dfffff, 0xffffd7c0,
1102        0xfffffffb, 0xffbfffff, 0xfffffcfb, 0xfffeffff, 0x027fffff,
1103        0xfffffffe, 0xfffe00ff, 0xbfffffff, 0xffff00b6, 0x000707ff,
1104        0x07ff0000, 0xffffc3ff, 0x9fefffff, 0x9ffffdff, 0xffff0000,
1105        0xffffe7ff, 0x0003ffff, 0x043fffff, 0x00003fff, 0x0fffffff,
1106        0x0007ffff, 0xfffffff0, 0xfffeffcf, 0xfff99fef, 0xf3c5fdff,
1107        0xb080799f, 0x0003ffcf, 0xfff987ee, 0xd36dfdff, 0x5e023987,
1108        0x003fffc0, 0xfffbbfee, 0xf3edfdff, 0x00013bbf, 0x0000ffcf,
1109        0xfff99fee, 0xf3edfdff, 0xb0c0399f, 0x0002ffcf, 0xd63dc7ec,
1110        0xc3ffc718, 0x00813dc7, 0x0000ffc0, 0xfffddfef, 0xe3fffdff,
1111        0x03603ddf, 0x0000ffcf, 0xfffddfee, 0xf3effdff, 0x40603ddf,
1112        0x0006ffcf, 0xfffddfee, 0xe7ffffff, 0x00807ddf, 0xfc00ffcf,
1113        0xfc7fffec, 0x2ffbffff, 0xff5f847f, 0x000cffc0, 0xfffffffe,
1114        0x07ffffff, 0x03ff7fff, 0xfef02596, 0x3bffecae, 0xf3ff3f5f,
1115        0x03000001, 0xc2a003ff, 0xfffffeff, 0xfffe1fff, 0xfeffffdf,
1116        0x1fffffff, 0x00000040, 0xffff03ff, 0x3fffffff, 0xffff20bf,
1117        0xf7ffffff, 0x3d7f3dff, 0xffff3dff, 0x7f3dffff, 0xff7fff3d,
1118        0xff3dffff, 0xe7ffffff, 0x0003fe00, 0x0000ffff, 0x001fffff,
1119        0xfffffffe, 0xffff9fff, 0x07fffffe, 0x01ffc7ff, 0x001fdfff,
1120        0x001fffff, 0x000fffff, 0x000ddfff, 0x308fffff, 0x000003ff,
1121        0x03ff3800, 0x00ffffff, 0xffff07ff, 0x003fffff, 0x7fffffff,
1122        0x0fff0fff, 0xffffffc0, 0x001f3fff, 0xffff0fff, 0x07ff03ff,
1123        0x0fffffff, 0x7fffffff, 0x9fffffff, 0x03ff03ff, 0x3fff0080,
1124        0x03ff0fff, 0x000ff800, 0x000fffff, 0x00ffffff, 0xffffe3ff,
1125        0x3fffffff, 0xfff70000, 0x037fffff, 0xf03fffff, 0x3f3fffff,
1126        0xaaff3f3f, 0x3fffffff, 0x5fdfffff, 0x0fcf1fdc, 0x1fdc1fff,
1127        0x80000000, 0x00100001, 0x80020000, 0x1fff0000, 0x1fff0000,
1128        0x0001ffe2, 0x3f2ffc84, 0xf3fffd50, 0x000043e0, 0x000001ff,
1129        0xffff7fff, 0x7fffffff, 0x000ff81f, 0xffff20bf, 0x800080ff,
1130        0x007fffff, 0x7f7f7f7f, 0x7f7f7f7f, 0x000000e0, 0x1f3efffe,
1131        0xfffffffe, 0xe67fffff, 0xfffffffe, 0xf7ffffff, 0xffffffe0,
1132        0xfffe3fff, 0x00007fff, 0x07ffffff, 0xffff0000, 0x003fffff,
1133        0x00001fff, 0x00001fff, 0xffff0000, 0x3fffffff, 0xffff1fff,
1134        0x00000fff, 0xbff0ffff, 0xbfffffff, 0x0003ffff, 0xff800000,
1135        0xfffffffc, 0xffff79ff, 0x00033fff, 0xff800000, 0x000000ff,
1136        0x000fffff, 0x03ff001f, 0x08ffffff, 0xffff3fff, 0x000fffff,
1137        0x1fffffff, 0x03ff8001, 0x7fffffff, 0x007fffff, 0x03ff3fff,
1138        0xfc7fffff, 0x38000007, 0x007cffff, 0x007e7e7e, 0xffff7f7f,
1139        0xf7ffffff, 0x00000030, 0x03ff37ff, 0xffff000f, 0xfffff87f,
1140        0x0fffffff, 0xffff3fff, 0x03ffffff, 0xe0f8007f, 0x5f7ffdff,
1141        0xffffffdb, 0x0003ffff, 0xfff80000, 0x3fffffff, 0xfffffff0,
1142        0x3fffffff, 0xffff0000, 0xfffcffff, 0x000000ff, 0x03ff0000,
1143        0x0000ffff, 0x00183fff, 0x0000e000, 0xaa8a0000, 0x1fffffff,
1144        0x03ff0000, 0x87fffffe, 0x07fffffe, 0xffffffc0, 0x7fffffff,
1145        0x1cfcfcfc, 0xffffefff, 0xb7ffff7f, 0x3fff3fff, 0x07ffffff,
1146        0x001fffff, 0x20000000, 0x1fffffff, 0x0001ffff, 0x00000001,
1147        0xffff0000, 0xffff07ff, 0x07ffffff, 0x3fffffff, 0x003eff0f,
1148        0x3fffffff, 0x000003ff, 0xffff00ff, 0x0000000f, 0x007fffff,
1149        0x003fffff, 0x000000ff, 0xfffffd3f, 0x91bfffff, 0x003fffff,
1150        0x007fffff, 0x7fffffff, 0x003fffff, 0x03ffffff, 0xc0ffffff,
1151        0xfeeff06f, 0x870fffff, 0x1fffffff, 0x1fffffff, 0xfffffeff,
1152        0x0000007f, 0x003fffff, 0x003fffff, 0x0007ffff, 0x0003ffff,
1153        0x000001ff, 0x0000007f, 0x8000ffc0, 0x07ffffff, 0xffff0000,
1154        0x03ff01ff, 0xffdfffff, 0xffff0000, 0x004fffff, 0x07ff001f,
1155        0xfffbffff, 0x00ffffff, 0xffff0000, 0x03ff07ff, 0xfff99fee,
1156        0xf3edfdff, 0xe080399f, 0x001f1fcf, 0x03ff00bf, 0xff3fffff,
1157        0x00000001, 0x03ff0011, 0x00ffffff, 0x000003ff, 0x800003ff,
1158        0x01ffffff, 0x01ffffff, 0x00007fff, 0x00007fff, 0x01ffffff,
1159        0x7fffffff, 0x000003ff, 0xffff0000, 0x001f3fff, 0x007fffff,
1160        0x03ff000f, 0xe0fffff8, 0x0000ffff, 0xffff001f, 0x7fffffff,
1161        0xffff8000, 0x00000003, 0x1fff07ff, 0x63ff01ff, 0xf807e3e0,
1162        0x00000fe7, 0x00003c00, 0x0000001c, 0xffdfffff, 0xdfffffff,
1163        0xebffde64, 0xffffffef, 0xdfdfe7bf, 0x7bffffff, 0xfffdfc5f,
1164        0xffffff3f, 0xf7fffffd, 0xf7ffffff, 0xffdfffff, 0xffdfffff,
1165        0xffff7fff, 0xffff7fff, 0xfffffdff, 0xfffffdff, 0xffffcff7,
1166        0x007f001f, 0xffffffef, 0x0af7fe96, 0xaa96ea84, 0x5ef7f796,
1167        0x0ffffbff, 0x0ffffbee, 0x007fffff, 0x001fffff, 0x3fffffff,
1168        0x3fffffff, 0x0000ffff},
1169       34816};
1170    const BinaryPropertyObject property_object{xidc, codepoint_set};
1171  }
1172  namespace XIDS {
1173    const UnicodeSet codepoint_set
1174      {{{Empty, 2}, {Mixed, 2}, {Empty, 1}, {Mixed, 3}, {Full, 14},
1175        {Mixed, 2}, {Empty, 3}, {Mixed, 3}, {Full, 1}, {Mixed, 1},
1176        {Full, 4}, {Mixed, 1}, {Full, 4}, {Mixed, 4}, {Empty, 1},
1177        {Mixed, 2}, {Empty, 1}, {Full, 1}, {Mixed, 2}, {Full, 2},
1178        {Mixed, 5}, {Full, 2}, {Mixed, 6}, {Empty, 2}, {Mixed, 1},
1179        {Empty, 2}, {Mixed, 23}, {Empty, 1}, {Mixed, 15}, {Empty, 1},
1180        {Mixed, 3}, {Empty, 1}, {Mixed, 3}, {Empty, 1}, {Mixed, 1},
1181        {Empty, 1}, {Mixed, 3}, {Empty, 3}, {Full, 1}, {Mixed, 4},
1182        {Full, 1}, {Mixed, 2}, {Full, 10}, {Mixed, 1}, {Full, 1},
1183        {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
1184        {Empty, 1}, {Mixed, 1}, {Full, 2}, {Mixed, 2}, {Full, 18},
1185        {Mixed, 2}, {Full, 2}, {Mixed, 5}, {Full, 1}, {Mixed, 2},
1186        {Empty, 2}, {Full, 2}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Full, 1},
1187        {Mixed, 2}, {Empty, 1}, {Mixed, 2}, {Full, 1}, {Mixed, 2},
1188        {Empty, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 2},
1189        {Mixed, 1}, {Empty, 2}, {Mixed, 3}, {Empty, 1}, {Mixed, 2},
1190        {Full, 1}, {Mixed, 1}, {Full, 1}, {Mixed, 3}, {Empty, 3},
1191        {Mixed, 1}, {Full, 6}, {Empty, 2}, {Full, 8}, {Mixed, 1}, {Full, 1},
1192        {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Empty, 3}, {Mixed, 2},
1193        {Empty, 3}, {Mixed, 3}, {Full, 1}, {Mixed, 1}, {Empty, 83},
1194        {Full, 1}, {Mixed, 2}, {Full, 4}, {Mixed, 1}, {Full, 1}, {Mixed, 1},
1195        {Full, 1}, {Mixed, 4}, {Empty, 17}, {Mixed, 3}, {Full, 1},
1196        {Mixed, 2}, {Full, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
1197        {Empty, 1}, {Mixed, 1}, {Empty, 16}, {Full, 205}, {Mixed, 1},
1198        {Empty, 2}, {Full, 654}, {Mixed, 1}, {Empty, 1}, {Full, 36},
1199        {Mixed, 1}, {Empty, 1}, {Mixed, 2}, {Full, 8}, {Mixed, 2},
1200        {Full, 1}, {Mixed, 2}, {Full, 2}, {Mixed, 3}, {Full, 2}, {Mixed, 2},
1201        {Empty, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 3}, {Empty, 1},
1202        {Mixed, 9}, {Full, 1}, {Mixed, 3}, {Full, 1}, {Mixed, 7},
1203        {Empty, 2}, {Full, 1}, {Mixed, 1}, {Full, 349}, {Mixed, 3},
1204        {Empty, 264}, {Full, 11}, {Mixed, 1}, {Full, 2}, {Mixed, 1},
1205        {Empty, 1}, {Mixed, 3}, {Full, 2}, {Mixed, 2}, {Full, 3},
1206        {Mixed, 2}, {Full, 5}, {Mixed, 2}, {Full, 1}, {Mixed, 1}, {Full, 1},
1207        {Mixed, 2}, {Empty, 3}, {Mixed, 1}, {Full, 3}, {Mixed, 1},
1208        {Empty, 1}, {Mixed, 6}, {Empty, 1}, {Mixed, 3}, {Empty, 1},
1209        {Full, 3}, {Mixed, 1}, {Empty, 2}, {Full, 1}, {Mixed, 1},
1210        {Empty, 8}, {Mixed, 1}, {Full, 1}, {Mixed, 1}, {Empty, 1},
1211        {Full, 1}, {Mixed, 4}, {Full, 1}, {Mixed, 1}, {Empty, 1}, {Full, 4},
1212        {Mixed, 1}, {Empty, 3}, {Full, 1}, {Mixed, 1}, {Full, 1},
1213        {Mixed, 1}, {Empty, 4}, {Full, 9}, {Mixed, 3}, {Empty, 4},
1214        {Mixed, 5}, {Empty, 3}, {Mixed, 2}, {Empty, 2}, {Full, 1},
1215        {Mixed, 1}, {Empty, 2}, {Mixed, 2}, {Empty, 1}, {Mixed, 2},
1216        {Empty, 1}, {Mixed, 2}, {Full, 1}, {Mixed, 4}, {Empty, 3},
1217        {Full, 2}, {Mixed, 1}, {Empty, 29}, {Mixed, 2}, {Empty, 2},
1218        {Mixed, 11}, {Empty, 1}, {Mixed, 2}, {Empty, 3}, {Mixed, 2},
1219        {Empty, 1}, {Mixed, 4}, {Empty, 8}, {Full, 1}, {Mixed, 2},
1220        {Empty, 5}, {Full, 1}, {Mixed, 1}, {Empty, 2}, {Full, 1},
1221        {Mixed, 2}, {Empty, 1}, {Full, 1}, {Mixed, 1}, {Empty, 15},
1222        {Full, 2}, {Mixed, 1}, {Empty, 14}, {Full, 1}, {Mixed, 1},
1223        {Empty, 40}, {Full, 28}, {Mixed, 1}, {Empty, 3}, {Full, 3},
1224        {Mixed, 1}, {Empty, 92}, {Full, 33}, {Mixed, 1}, {Empty, 414},
1225        {Full, 17}, {Mixed, 2}, {Empty, 3}, {Mixed, 2}, {Full, 1},
1226        {Mixed, 4}, {Empty, 27}, {Full, 2}, {Mixed, 1}, {Empty, 1},
1227        {Mixed, 1}, {Empty, 515}, {Mixed, 1}, {Empty, 95}, {Full, 3},
1228        {Mixed, 2}, {Empty, 187}, {Full, 2}, {Mixed, 1}, {Full, 1},
1229        {Mixed, 3}, {Full, 1}, {Mixed, 3}, {Full, 10}, {Mixed, 10},
1230        {Empty, 129}, {Full, 6}, {Mixed, 1}, {Empty, 41}, {Mixed, 6},
1231        {Empty, 138}, {Full, 1334}, {Mixed, 1}, {Empty, 1}, {Full, 129},
1232        {Mixed, 1}, {Full, 6}, {Mixed, 1}, {Empty, 511}, {Full, 16},
1233        {Mixed, 1}, {Empty, 28719}},
1234       {0x07fffffe, 0x07fffffe, 0x04200400, 0xff7fffff, 0xff7fffff,
1235        0x0003ffc3, 0x0000501f, 0xb8df0000, 0xffffd740, 0xfffffffb,
1236        0xffbfffff, 0xfffffc03, 0xfffeffff, 0x027fffff, 0xfffffffe,
1237        0x000000ff, 0xffff0000, 0x000707ff, 0x000007ff, 0xfffec000,
1238        0x002fffff, 0x9c00c060, 0xfffd0000, 0x0000ffff, 0xffffe000,
1239        0x0002003f, 0xfffffc00, 0x043007ff, 0x043fffff, 0x00000110,
1240        0x01ffffff, 0x0007ffff, 0xfffffff0, 0x23ffffff, 0xff010000,
1241        0xfffe0003, 0xfff99fe1, 0x23c5fdff, 0xb0004000, 0x00030003,
1242        0xfff987e0, 0x036dfdff, 0x5e000000, 0x001c0000, 0xfffbbfe0,
1243        0x23edfdff, 0x00010000, 0x00000003, 0xfff99fe0, 0x23edfdff,
1244        0xb0000000, 0x00020003, 0xd63dc7e8, 0x03ffc718, 0x00010000,
1245        0xfffddfe0, 0x23fffdff, 0x03000000, 0x00000003, 0xfffddfe0,
1246        0x23effdff, 0x40000000, 0x00060003, 0xfffddfe0, 0x27ffffff,
1247        0x00004000, 0xfc000003, 0xfc7fffe0, 0x2ffbffff, 0x0000007f,
1248        0xfffffffe, 0x0005ffff, 0x0000007f, 0xfef02596, 0x2005ecae,
1249        0xf000005f, 0x00000001, 0xfffffeff, 0x00001fff, 0x00001f00,
1250        0x800007ff, 0x3c3f0000, 0xffe1c062, 0x00004003, 0xffff20bf,
1251        0xf7ffffff, 0x3d7f3dff, 0xffff3dff, 0x7f3dffff, 0xff7fff3d,
1252        0xff3dffff, 0x07ffffff, 0x0000ffff, 0x001fffff, 0xfffffffe,
1253        0xffff9fff, 0x07fffffe, 0x01ffc7ff, 0x0003dfff, 0x0003ffff,
1254        0x0003ffff, 0x0001dfff, 0x000fffff, 0x10800000, 0x00ffffff,
1255        0xffff05ff, 0x003fffff, 0x7fffffff, 0xffff0000, 0x001f3fff,
1256        0x00000fff, 0x000000fe, 0x007fffff, 0x001fffff, 0x00000080,
1257        0xffffffe0, 0x000fffff, 0x00000fe0, 0xfffffff8, 0xfc00c001,
1258        0x0000003f, 0x0000000f, 0xfc00e000, 0x3fffffff, 0x0063de00,
1259        0x3f3fffff, 0xaaff3f3f, 0x3fffffff, 0x5fdfffff, 0x0fcf1fdc,
1260        0x1fdc1fff, 0x80020000, 0x1fff0000, 0x3f2ffc84, 0xf3fffd50,
1261        0x000043e0, 0x000001ff, 0xffff7fff, 0x7fffffff, 0x000c781f,
1262        0xffff20bf, 0x000080ff, 0x007fffff, 0x7f7f7f7f, 0x7f7f7f7f,
1263        0x000000e0, 0x1f3e03fe, 0xfffffffe, 0xe07fffff, 0xfffffffe,
1264        0xf7ffffff, 0xffffffe0, 0xfffe3fff, 0x00007fff, 0x07ffffff,
1265        0xffff0000, 0x003fffff, 0x00001fff, 0x00001fff, 0xffff0000,
1266        0x3fffffff, 0xffff1fff, 0x00000c00, 0x80007fff, 0x3fffffff,
1267        0x0000ffff, 0xff800000, 0xfffffffc, 0xffff79ff, 0x00033fff,
1268        0xff800000, 0xfffff7bb, 0x00000007, 0x000fffff, 0xfffffffc,
1269        0x000fffff, 0x08fc0000, 0xfffffc00, 0xffff003f, 0x0000007f,
1270        0x1fffffff, 0xfffffff0, 0x0007ffff, 0x00008000, 0x7c00ffdf,
1271        0x000001ff, 0x00000ff7, 0xc47fffff, 0x3e62ffff, 0x38000005,
1272        0x001c07ff, 0x007e7e7e, 0xffff7f7f, 0xf7ffffff, 0x00000030,
1273        0x00000007, 0xffff000f, 0xfffff87f, 0x0fffffff, 0xffff3fff,
1274        0x03ffffff, 0xa0f8007f, 0x5f7ffdff, 0xffffffdb, 0x0003ffff,
1275        0xfff80000, 0x3fffffff, 0xfffffff0, 0x3fffffff, 0xffff0000,
1276        0xfffcffff, 0x000000ff, 0x03ff0000, 0xaa8a0000, 0x1fffffff,
1277        0x07fffffe, 0x07fffffe, 0xffffffc0, 0x3fffffff, 0x7fffffff,
1278        0x1cfcfcfc, 0xffffefff, 0xb7ffff7f, 0x3fff3fff, 0x07ffffff,
1279        0x001fffff, 0x1fffffff, 0x0001ffff, 0xffff0000, 0xffff07ff,
1280        0x003fffff, 0x3fffffff, 0x003eff0f, 0x3fffffff, 0xffff00ff,
1281        0x0000000f, 0x007fffff, 0x003fffff, 0x000000ff, 0xfffffd3f,
1282        0x91bfffff, 0x003fffff, 0x007fffff, 0x7fffffff, 0x003fffff,
1283        0x03ffffff, 0xc0ffffff, 0xfeef0001, 0x000fffff, 0x1fffffff,
1284        0x1fffffff, 0xfffffeff, 0x0000001f, 0x003fffff, 0x003fffff,
1285        0x0007ffff, 0x0003ffff, 0x000001ff, 0xfffffff8, 0x00ffffff,
1286        0xfffffff8, 0x0000ffff, 0xffff0000, 0x000001ff, 0xfffffff8,
1287        0x0000007f, 0xffff0000, 0x0047ffff, 0xfffffff8, 0x0007ffff,
1288        0x0400001e, 0xfffbffff, 0x00000fff, 0xffff0000, 0x7fffffff,
1289        0xfff99fe0, 0x23edfdff, 0xe0000000, 0x00000003, 0x0000ffff,
1290        0x000000b0, 0x00007fff, 0x0000ffff, 0x00000010, 0x000007ff,
1291        0x80000000, 0x01ffffff, 0x01ffffff, 0x00007fff, 0x00007fff,
1292        0x01ffffff, 0x7fffffff, 0xffff0000, 0x00003fff, 0x0000ffff,
1293        0x0000000f, 0xe0fffff8, 0x0000ffff, 0x0001001f, 0xfff80000,
1294        0x00000003, 0x1fff07ff, 0x03ff01ff, 0xffdfffff, 0xdfffffff,
1295        0xebffde64, 0xffffffef, 0xdfdfe7bf, 0x7bffffff, 0xfffdfc5f,
1296        0xffffff3f, 0xf7fffffd, 0xf7ffffff, 0xffdfffff, 0xffdfffff,
1297        0xffff7fff, 0xffff7fff, 0xfffffdff, 0xfffffdff, 0x00000ff7,
1298        0x0000001f, 0xffffffef, 0x0af7fe96, 0xaa96ea84, 0x5ef7f796,
1299        0x0ffffbff, 0x0ffffbee, 0x007fffff, 0x001fffff, 0x3fffffff,
1300        0x3fffffff},
1301       34816};
1302    const BinaryPropertyObject property_object{xids, codepoint_set};
1303  }
1304}
1305
1306
1307#endif
Note: See TracBrowser for help on using the repository browser.