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[11 << 4];
39 }
40 u_property_other_math =
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 -1,
51 -1,
52 -1,
53 -1,
54 -1,
55 -1,
56 -1,
57 -1,
58 -1,
59 -1,
60 -1,
61 -1,
62 -1,
63 -1,
64 3 + 256 * sizeof (short) / sizeof (int) + 32,
65 3 + 256 * sizeof (short) / sizeof (int) + 48,
66 3 + 256 * sizeof (short) / sizeof (int) + 64,
67 3 + 256 * sizeof (short) / sizeof (int) + 80,
68 3 + 256 * sizeof (short) / sizeof (int) + 96,
69 -1,
70 -1,
71 -1,
72 -1,
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 -1,
131 -1,
132 -1,
133 -1,
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 -1,
175 3 + 256 * sizeof (short) / sizeof (int) + 112,
176 -1,
177 -1,
178 -1,
179 -1,
180 -1,
181 -1,
182 -1,
183 -1,
184 -1,
185 -1,
186 -1,
187 -1,
188 -1,
189 -1,
190 -1,
191 -1,
192 -1,
193 -1,
194 -1,
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 -1,
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 -1,
271 -1,
272 -1,
273 -1,
274 -1,
275 -1,
276 -1,
277 -1,
278 -1,
279 -1,
280 -1,
281 -1,
282 3 + 256 * sizeof (short) / sizeof (int) + 128,
283 3 + 256 * sizeof (short) / sizeof (int) + 144,
284 -1,
285 -1,
286 -1,
287 -1,
288 -1,
289 -1,
290 -1,
291 -1,
292 -1,
293 -1,
294 -1,
295 3 + 256 * sizeof (short) / sizeof (int) + 160,
296 -1,
297 -1,
298 -1,
299 -1,
300 -1,
301 -1,
302 -1,
303 -1
304 },
305 {
306 0x00000000U, 0x00000000U, 0x40000000U, 0x00000000U,
307 0x00000000U, 0x00000000U, 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, 0x00000000U,
313 0x00000000U, 0x00000000U, 0x00270000U, 0x00330000U,
314 0x00400000U, 0x001C0000U, 0x00000001U, 0x6000001EU,
315 0x00006000U, 0x00000000U, 0x1FFF0000U, 0x0000F862U,
316 0x3E2FFC84U, 0xF1FBB310U, 0x000003E0U, 0x00000000U,
317 0xF3E00000U, 0xF0C33EB6U, 0x2FEB3FFFU, 0x00000030U,
318 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
319 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
320 0x00000F00U, 0x00000000U, 0x00000000U, 0x00000000U,
321 0x00000000U, 0x00B00000U, 0x00010000U, 0x00000004U,
322 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
323 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
324 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
325 0x00000000U, 0xF07FC003U, 0x000F8CC1U, 0x00001F94U,
326 0x00000060U, 0x00000000U, 0x00000005U, 0x0000600FU,
327 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
328 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
329 0x00000000U, 0x00000000U, 0x00000060U, 0x0000FFC0U,
330 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
331 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
332 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
333 0x01FFFFF8U, 0x00000000U, 0x0F000000U, 0x30000000U,
334 0x00000000U, 0x00000000U, 0x00000000U, 0x0000010AU,
335 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
336 0x00000000U, 0x50000000U, 0x00000000U, 0x00000000U,
337 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
338 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFDFFFFFU, 0xFFFFFFFFU,
339 0xDFFFFFFFU, 0xEBFFDE64U, 0xFFFFFFEFU, 0xFFFFFFFFU,
340 0xDFDFE7BFU, 0x7BFFFFFFU, 0xFFFDFC5FU, 0xFFFFFFFFU,
341 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
342 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU, 0xFFFFFFFFU,
343 0xFFFFFFFFU, 0xFFFFFF3FU, 0xF7FFFFFDU, 0xF7FFFFFFU,
344 0xFFDFFFFFU, 0xFFDFFFFFU, 0xFFFF7FFFU, 0xFFFF7FFFU,
345 0xFFFFFDFFU, 0xFFFFFDFFU, 0xFFFFCFF7U, 0xFFFFFFFFU,
346 0xFFFFFFEFU, 0x0AF7FE96U, 0xAA96EA84U, 0x5EF7F796U,
347 0x0FFFFBFFU, 0x0FFFFBEEU, 0x00000000U, 0x00000000U,
348 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U,
349 0x00000000U, 0x00000000U, 0x00000000U, 0x00000000U
350 }
351 };