145c1c4d55c5574f63d6176b594b308434b9a510
[YACASL2.git] / test / system / casl2 / lib_mull / 0.txt
1 0
2 0
3 0
4 --------------------
5 0
6 1
7 0
8 --------------------
9 0
10 2
11 0
12 --------------------
13 0
14 127
15 0
16 --------------------
17 0
18 128
19 0
20 --------------------
21 0
22 255
23 0
24 --------------------
25 0
26 256
27 0
28 --------------------
29 0
30 257
31 0
32 --------------------
33 0
34 32767
35 0
36 --------------------
37 0
38 32768
39 0
40 --------------------
41 0
42 65535
43 0
44 --------------------
45 1
46 0
47 0
48 --------------------
49 1
50 1
51 1
52 --------------------
53 1
54 2
55 2
56 --------------------
57 1
58 127
59 127
60 --------------------
61 1
62 128
63 128
64 --------------------
65 1
66 255
67 255
68 --------------------
69 1
70 256
71 256
72 --------------------
73 1
74 257
75 257
76 --------------------
77 1
78 32767
79 32767
80 --------------------
81 1
82 32768
83 32768
84 --------------------
85 1
86 65535
87 65535
88 --------------------
89 2
90 0
91 0
92 --------------------
93 2
94 1
95 2
96 --------------------
97 2
98 2
99 4
100 --------------------
101 2
102 127
103 254
104 --------------------
105 2
106 128
107 256
108 --------------------
109 2
110 255
111 510
112 --------------------
113 2
114 256
115 512
116 --------------------
117 2
118 257
119 514
120 --------------------
121 2
122 32767
123 65534
124 --------------------
125 2
126 32768
127 Warning: overflow
128 --------------------
129 2
130 65535
131 Warning: overflow
132 --------------------
133 127
134 0
135 0
136 --------------------
137 127
138 1
139 127
140 --------------------
141 127
142 2
143 254
144 --------------------
145 127
146 127
147 16129
148 --------------------
149 127
150 128
151 16256
152 --------------------
153 127
154 255
155 32385
156 --------------------
157 127
158 256
159 32512
160 --------------------
161 127
162 257
163 32639
164 --------------------
165 127
166 32767
167 Warning: overflow
168 --------------------
169 127
170 32768
171 Warning: overflow
172 --------------------
173 127
174 65535
175 Warning: overflow
176 --------------------
177 128
178 0
179 0
180 --------------------
181 128
182 1
183 128
184 --------------------
185 128
186 2
187 256
188 --------------------
189 128
190 127
191 16256
192 --------------------
193 128
194 128
195 16384
196 --------------------
197 128
198 255
199 32640
200 --------------------
201 128
202 256
203 32768
204 --------------------
205 128
206 257
207 32896
208 --------------------
209 128
210 32767
211 Warning: overflow
212 --------------------
213 128
214 32768
215 Warning: overflow
216 --------------------
217 128
218 65535
219 Warning: overflow
220 --------------------
221 255
222 0
223 0
224 --------------------
225 255
226 1
227 255
228 --------------------
229 255
230 2
231 510
232 --------------------
233 255
234 127
235 32385
236 --------------------
237 255
238 128
239 32640
240 --------------------
241 255
242 255
243 65025
244 --------------------
245 255
246 256
247 65280
248 --------------------
249 255
250 257
251 65535
252 --------------------
253 255
254 32767
255 Warning: overflow
256 --------------------
257 255
258 32768
259 Warning: overflow
260 --------------------
261 255
262 65535
263 Warning: overflow
264 --------------------
265 256
266 0
267 0
268 --------------------
269 256
270 1
271 256
272 --------------------
273 256
274 2
275 512
276 --------------------
277 256
278 127
279 32512
280 --------------------
281 256
282 128
283 32768
284 --------------------
285 256
286 255
287 65280
288 --------------------
289 256
290 256
291 Warning: overflow
292 --------------------
293 256
294 257
295 Warning: overflow
296 --------------------
297 256
298 32767
299 Warning: overflow
300 --------------------
301 256
302 32768
303 Warning: overflow
304 --------------------
305 256
306 65535
307 Warning: overflow
308 --------------------
309 257
310 0
311 0
312 --------------------
313 257
314 1
315 257
316 --------------------
317 257
318 2
319 514
320 --------------------
321 257
322 127
323 32639
324 --------------------
325 257
326 128
327 32896
328 --------------------
329 257
330 255
331 65535
332 --------------------
333 257
334 256
335 Warning: overflow
336 --------------------
337 257
338 257
339 Warning: overflow
340 --------------------
341 257
342 32767
343 Warning: overflow
344 --------------------
345 257
346 32768
347 Warning: overflow
348 --------------------
349 257
350 65535
351 Warning: overflow
352 --------------------
353 32767
354 0
355 0
356 --------------------
357 32767
358 1
359 32767
360 --------------------
361 32767
362 2
363 65534
364 --------------------
365 32767
366 127
367 Warning: overflow
368 --------------------
369 32767
370 128
371 Warning: overflow
372 --------------------
373 32767
374 255
375 Warning: overflow
376 --------------------
377 32767
378 256
379 Warning: overflow
380 --------------------
381 32767
382 257
383 Warning: overflow
384 --------------------
385 32767
386 32767
387 Warning: overflow
388 --------------------
389 32767
390 32768
391 Warning: overflow
392 --------------------
393 32767
394 65535
395 Warning: overflow
396 --------------------
397 32768
398 0
399 0
400 --------------------
401 32768
402 1
403 32768
404 --------------------
405 32768
406 2
407 Warning: overflow
408 --------------------
409 32768
410 127
411 Warning: overflow
412 --------------------
413 32768
414 128
415 Warning: overflow
416 --------------------
417 32768
418 255
419 Warning: overflow
420 --------------------
421 32768
422 256
423 Warning: overflow
424 --------------------
425 32768
426 257
427 Warning: overflow
428 --------------------
429 32768
430 32767
431 Warning: overflow
432 --------------------
433 32768
434 32768
435 Warning: overflow
436 --------------------
437 32768
438 65535
439 Warning: overflow
440 --------------------
441 65535
442 0
443 0
444 --------------------
445 65535
446 1
447 65535
448 --------------------
449 65535
450 2
451 Warning: overflow
452 --------------------
453 65535
454 127
455 Warning: overflow
456 --------------------
457 65535
458 128
459 Warning: overflow
460 --------------------
461 65535
462 255
463 Warning: overflow
464 --------------------
465 65535
466 256
467 Warning: overflow
468 --------------------
469 65535
470 257
471 Warning: overflow
472 --------------------
473 65535
474 32767
475 Warning: overflow
476 --------------------
477 65535
478 32768
479 Warning: overflow
480 --------------------
481 65535
482 65535
483 Warning: overflow
484 --------------------