1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28 #define header_0 16
29 #define header_2 9
30 #define header_3 127
31 #define header_4 15
32 static const
33 struct
34 {
35 int header[1];
36 int level1[2];
37 short level2[2 << 7];
38 unsigned int level3[43 << 4];
39 }
40 u_property_punctuation =
41 {
42 { 2 },
43 {
44 3 * sizeof (int) / sizeof (short) + 0,
45 3 * sizeof (int) / sizeof (short) + 128
46 },
47 {
48 3 + 256 * sizeof (short) / sizeof (int) + 0,
49 3 + 256 * sizeof (short) / sizeof (int) + 16,
50 3 + 256 * sizeof (short) / sizeof (int) + 32,
51 3 + 256 * sizeof (short) / sizeof (int) + 48,
52 3 + 256 * sizeof (short) / sizeof (int) + 64,
53 3 + 256 * sizeof (short) / sizeof (int) + 80,
54 3 + 256 * sizeof (short) / sizeof (int) + 96,
55 3 + 256 * sizeof (short) / sizeof (int) + 112,
56 3 + 256 * sizeof (short) / sizeof (int) + 128,
57 3 + 256 * sizeof (short) / sizeof (int) + 144,
58 3 + 256 * sizeof (short) / sizeof (int) + 160,
59 3 + 256 * sizeof (short) / sizeof (int) + 176,
60 3 + 256 * sizeof (short) / sizeof (int) + 192,
61 3 + 256 * sizeof (short) / sizeof (int) + 208,
62 3 + 256 * sizeof (short) / sizeof (int) + 224,
63 -1,
64 3 + 256 * sizeof (short) / sizeof (int) + 240,
65 3 + 256 * sizeof (short) / sizeof (int) + 256,
66 -1,
67 3 + 256 * sizeof (short) / sizeof (int) + 272,
68 3 + 256 * sizeof (short) / sizeof (int) + 288,
69 -1,
70 3 + 256 * sizeof (short) / sizeof (int) + 304,
71 3 + 256 * sizeof (short) / sizeof (int) + 320,
72 3 + 256 * sizeof (short) / sizeof (int) + 336,
73 -1,
74 -1,
75 -1,
76 -1,
77 -1,
78 -1,
79 -1,
80 -1,
81 -1,
82 -1,
83 -1,
84 -1,
85 -1,
86 -1,
87 -1,
88 -1,
89 -1,
90 -1,
91 -1,
92 -1,
93 -1,
94 -1,
95 -1,
96 -1,
97 -1,
98 -1,
99 -1,
100 -1,
101 -1,
102 -1,
103 -1,
104 -1,
105 -1,
106 -1,
107 -1,
108 -1,
109 -1,
110 -1,
111 -1,
112 -1,
113 -1,
114 -1,
115 -1,
116 -1,
117 -1,
118 -1,
119 -1,
120 -1,
121 -1,
122 -1,
123 -1,
124 -1,
125 -1,
126 -1,
127 -1,
128 -1,
129 -1,
130 3 + 256 * sizeof (short) / sizeof (int) + 352,
131 3 + 256 * sizeof (short) / sizeof (int) + 368,
132 3 + 256 * sizeof (short) / sizeof (int) + 384,
133 3 + 256 * sizeof (short) / sizeof (int) + 400,
134 -1,
135 -1,
136 -1,
137 -1,
138 -1,
139 -1,
140 -1,
141 -1,
142 -1,
143 -1,
144 -1,
145 -1,
146 -1,
147 -1,
148 -1,
149 -1,
150 -1,
151 -1,
152 -1,
153 -1,
154 -1,
155 -1,
156 -1,
157 -1,
158 -1,
159 -1,
160 -1,
161 -1,
162 -1,
163 -1,
164 -1,
165 -1,
166 -1,
167 -1,
168 -1,
169 -1,
170 -1,
171 -1,
172 -1,
173 -1,
174 3 + 256 * sizeof (short) / sizeof (int) + 416,
175 3 + 256 * sizeof (short) / sizeof (int) + 432,
176 3 + 256 * sizeof (short) / sizeof (int) + 448,
177 3 + 256 * sizeof (short) / sizeof (int) + 464,
178 3 + 256 * sizeof (short) / sizeof (int) + 480,
179 -1,
180 3 + 256 * sizeof (short) / sizeof (int) + 496,
181 3 + 256 * sizeof (short) / sizeof (int) + 512,
182 -1,
183 -1,
184 3 + 256 * sizeof (short) / sizeof (int) + 528,
185 3 + 256 * sizeof (short) / sizeof (int) + 544,
186 3 + 256 * sizeof (short) / sizeof (int) + 560,
187 3 + 256 * sizeof (short) / sizeof (int) + 576,
188 -1,
189 -1,
190 3 + 256 * sizeof (short) / sizeof (int) + 592,
191 -1,
192 -1,
193 -1,
194 3 + 256 * sizeof (short) / sizeof (int) + 608,
195 -1,
196 -1,
197 -1,
198 -1,
199 -1,
200 -1,
201 -1,
202 -1,
203 -1,
204 -1,
205 -1,
206 -1,
207 -1,
208 -1,
209 -1,
210 -1,
211 -1,
212 -1,
213 -1,
214 -1,
215 -1,
216 -1,
217 -1,
218 -1,
219 -1,
220 -1,
221 -1,
222 -1,
223 -1,
224 -1,
225 -1,
226 -1,
227 -1,
228 -1,
229 3 + 256 * sizeof (short) / sizeof (int) + 624,
230 -1,
231 -1,
232 -1,
233 -1,
234 -1,
235 -1,
236 -1,
237 -1,
238 -1,
239 -1,
240 -1,
241 -1,
242 -1,
243 -1,
244 -1,
245 -1,
246 -1,
247 -1,
248 -1,
249 -1,
250 -1,
251 -1,
252 -1,
253 -1,
254 -1,
255 -1,
256 -1,
257 -1,
258 -1,
259 -1,
260 -1,
261 -1,
262 -1,
263 -1,
264 -1,
265 -1,
266 -1,
267 -1,
268 -1,
269 -1,
270 3 + 256 * sizeof (short) / sizeof (int) + 640,
271 -1,
272 -1,
273 -1,
274 -1,
275 -1,
276 -1,
277 -1,
278 -1,
279 -1,
280 -1,
281 -1,
282 -1,
283 -1,
284 -1,
285 3 + 256 * sizeof (short) / sizeof (int) + 656,
286 -1,
287 -1,
288 -1,
289 -1,
290 -1,
291 -1,
292 3 + 256 * sizeof (short) / sizeof (int) + 672,
293 -1,
294 -1,
295 -1,
296 -1,
297 -1,
298 -1,
299 -1,
300 -1,
301 -1,
302 -1,
303 -1
304 },
305 {
306 0x00000000U, 0x8C00F7EEU, 0xB8000001U, 0x28000000U,
307 0x00000000U, 0x88C00882U, 0x00000000U, 0x00000000U,
308 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
309 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
310 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
311 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
312 0x00000000U, 0x00000000U, 0x00000000U, 0x40000000U,
313 0x00000080U, 0x00000000U, 0x00000000U, 0x00000000U,
314 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
315 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
316 0x00000000U, 0x00000000U, 0xFC000000U, 0x00000000U,
317 0x00000600U, 0x40000000U, 0x00000049U, 0x00180000U,
318 0xC8003600U, 0x00000000U, 0x00000000U, 0x00003C00U,
319 0x00000000U, 0x00000000U, 0x00100000U, 0x00000000U,
320 0x00003FFFU, 0x00000000U, 0x00000000U, 0x00000000U,
321 0x00000000U, 0x00000000U, 0x00000000U, 0x03800000U,
322 0x00000000U, 0x7FFF0000U, 0x40000000U, 0x00000000U,
323 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
324 0x00000000U, 0x00000000U, 0x00000000U, 0x00010030U,
325 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
326 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
327 0x00000000U, 0x00000000U, 0x00000000U, 0x00010000U,
328 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
329 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
330 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
331 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
332 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
333 0x00000000U, 0x00000000U, 0x00000000U, 0x00100000U,
334 0x00000000U, 0x00000000U, 0x0C008000U, 0x00000000U,
335 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
336 0x0017FFF0U, 0x3C000000U, 0x00000000U, 0x00000000U,
337 0x00000020U, 0x00000000U, 0x061F0000U, 0x00000000U,
338 0x00000000U, 0x00000000U, 0x0000FC00U, 0x00000000U,
339 0x00000000U, 0x00000000U, 0x00000000U, 0x08000000U,
340 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
341 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
342 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
343 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
344 0x00000000U, 0x00000000U, 0x00000000U, 0x000001FFU,
345 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
346 0x00000001U, 0x00000000U, 0x00000000U, 0x00000000U,
347 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
348 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
349 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
350 0x00000000U, 0x00000000U, 0x00000000U, 0x00006000U,
351 0x18000000U, 0x00000000U, 0x00000000U, 0x00003800U,
352 0x00000000U, 0x00600000U, 0x00000000U, 0x00000000U,
353 0x00000000U, 0x00000000U, 0x07700000U, 0x00000000U,
354 0x000007FFU, 0x00000000U, 0x00000000U, 0x00000000U,
355 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
356 0x00000000U, 0x00000000U, 0x00000030U, 0x00000000U,
357 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
358 0xC0000000U, 0x00000000U, 0x00000000U, 0x00000000U,
359 0x00000000U, 0x00003F7FU, 0x00000000U, 0x00000000U,
360 0x00000000U, 0x00000000U, 0xFC000000U, 0x00000001U,
361 0x00000000U, 0x00000000U, 0x00000000U, 0xF0000000U,
362 0x00000000U, 0xF8000000U, 0x00000000U, 0xC0000000U,
363 0x00000000U, 0x00000000U, 0x000800FFU, 0x00000000U,
364 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
365 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
366 0xFFFF0000U, 0xFFFF00FFU, 0x7FFBFFEFU, 0x60000000U,
367 0x00006000U, 0x00000000U, 0x00000000U, 0x00000000U,
368 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
369 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
370 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
371 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
372 0x00000F00U, 0x00000600U, 0x00000000U, 0x00000000U,
373 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
374 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
375 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
376 0x00000000U, 0x00000000U, 0x00000000U, 0x003FFF00U,
377 0x00000000U, 0x00000000U, 0x00000060U, 0x0000FFC0U,
378 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
379 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
380 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
381 0x01FFFFF8U, 0x00000000U, 0x0F000000U, 0x30000000U,
382 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
383 0x00000000U, 0x00000000U, 0x00000000U, 0xDE000000U,
384 0x00000000U, 0x00000000U, 0x00000000U, 0x00010000U,
385 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
386 0xFFFFFFFFU, 0xFFFF7FFFU, 0x0000001FU, 0x00000000U,
387 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
388 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
389 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
390 0xFFF3FF0EU, 0x20010000U, 0x00000000U, 0x00000000U,
391 0x00000000U, 0x00000001U, 0x00000000U, 0x08000000U,
392 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
393 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
394 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
395 0x00000000U, 0x00000000U, 0x00000000U, 0xC0000000U,
396 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
397 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
398 0x0000E000U, 0x00000000U, 0x00000000U, 0x40080000U,
399 0x00000000U, 0x00000000U, 0x00000000U, 0x00FC0000U,
400 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
401 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
402 0x00000000U, 0x00000000U, 0x00000000U, 0x00F00000U,
403 0x00000000U, 0x00000000U, 0x0000C000U, 0x17000000U,
404 0x00000000U, 0x0000C000U, 0x80000000U, 0x00000000U,
405 0x00000000U, 0x00000000U, 0xC0003FFEU, 0x00000000U,
406 0x00000000U, 0x00000000U, 0xF0000000U, 0x00000000U,
407 0x00000000U, 0x00000000U, 0xC0000000U, 0x00030000U,
408 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
409 0x00000000U, 0x00000000U, 0x00000000U, 0x00000800U,
410 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
411 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
412 0x00000000U, 0xC0000000U, 0x00000000U, 0x00000000U,
413 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
414 0x03FF0000U, 0xFFFF0000U, 0xFFF7FFFFU, 0x00000D0BU,
415 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
416 0x8C00F7EEU, 0xB8000001U, 0xA8000000U, 0x0000003FU,
417 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
418 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
419 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
420 0x00000007U, 0x00000000U, 0x00000000U, 0x00000000U,
421 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
422 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
423 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
424 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
425 0x80000000U, 0x00000000U, 0x00010000U, 0x00000000U,
426 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
427 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
428 0x00000000U, 0x00000000U, 0x00000000U, 0x00008000U,
429 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
430 0x00000000U, 0x00000000U, 0x00800000U, 0x00000000U,
431 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
432 0x80000000U, 0x80000000U, 0x00000000U, 0x00000000U,
433 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
434 0x00000000U, 0x00000000U, 0x01FF0000U, 0x80000000U,
435 0x00000000U, 0x00000000U, 0x00000000U, 0x007F0000U,
436 0x00000000U, 0xFE000000U, 0x00000000U, 0x00000000U,
437 0x1E000000U, 0x00000000U, 0x00000000U, 0x00000000U,
438 0x00000000U, 0x00000000U, 0x00003F80U, 0x00000000U,
439 0x00000000U, 0xD8000000U, 0x00000003U, 0x00000000U,
440 0x00000000U, 0x00000000U, 0x0000000FU, 0x00300000U,
441 0x00000000U, 0x00000000U, 0xE80023E0U, 0x00000000U,
442 0x00000000U, 0x3F000000U, 0x00000000U, 0x00000000U,
443 0x00000000U, 0x00000200U, 0x00000000U, 0x00000000U,
444 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
445 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
446 0x00000000U, 0x00000000U, 0x2800F800U, 0x00000000U,
447 0x00000000U, 0x00000000U, 0x00000040U, 0x00000000U,
448 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
449 0x00000000U, 0x00000000U, 0x00FFFFFEU, 0x00000000U,
450 0x00000000U, 0x00000000U, 0x0000000EU, 0x00001FFFU,
451 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
452 0x00000000U, 0x70000000U, 0x00000000U, 0x00000000U,
453 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
454 0x00000000U, 0x00000000U, 0x0000003EU, 0x00030000U,
455 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
456 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
457 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
458 0x00000000U, 0x00000000U, 0x00000000U, 0x001F0000U,
459 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
460 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
461 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
462 0x00000000U, 0x00000000U, 0x00000000U, 0x0000C000U,
463 0x00000000U, 0x00000000U, 0x00000000U, 0x00200000U,
464 0x00000000U, 0x0F800000U, 0x00000010U, 0x00000000U,
465 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
466 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
467 0x80000000U, 0x00000000U, 0x00000000U, 0x00000000U,
468 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
469 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
470 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
471 0x00000F80U, 0x00000000U, 0x00000000U, 0x00000000U,
472 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
473 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
474 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
475 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
476 0x00000000U, 0x00000000U, 0xC0000000U, 0x00000000U,
477 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U
478 }
479 };