21 (function p -> (function p1 -> (function p2 -> (function p3 -> (function p4 -> (function p5 -> (function p6 -> (function p7 -> (function p8 -> (function p9 -> (function p10 -> (function p11 -> (function p12 -> (function p13 -> (function p14 -> (function p15 -> (function e ->
43 (function p -> (function p1 -> (function p2 -> (function p3 -> (function p4 -> (function p5 -> (function p6 -> (function p7 -> (function p8 -> (function p9 -> (function p10 -> (function p11 -> (function p12 -> (function p13 -> (function p14 -> (function p15 -> (function e ->
65 (function e1 -> (function e2 ->
69 X0 -> Matita_datatypes_bool.True
70 | X1 -> Matita_datatypes_bool.False
71 | X2 -> Matita_datatypes_bool.False
72 | X3 -> Matita_datatypes_bool.False
73 | X4 -> Matita_datatypes_bool.False
74 | X5 -> Matita_datatypes_bool.False
75 | X6 -> Matita_datatypes_bool.False
76 | X7 -> Matita_datatypes_bool.False
77 | X8 -> Matita_datatypes_bool.False
78 | X9 -> Matita_datatypes_bool.False
79 | XA -> Matita_datatypes_bool.False
80 | XB -> Matita_datatypes_bool.False
81 | XC -> Matita_datatypes_bool.False
82 | XD -> Matita_datatypes_bool.False
83 | XE -> Matita_datatypes_bool.False
84 | XF -> Matita_datatypes_bool.False)
88 X0 -> Matita_datatypes_bool.False
89 | X1 -> Matita_datatypes_bool.True
90 | X2 -> Matita_datatypes_bool.False
91 | X3 -> Matita_datatypes_bool.False
92 | X4 -> Matita_datatypes_bool.False
93 | X5 -> Matita_datatypes_bool.False
94 | X6 -> Matita_datatypes_bool.False
95 | X7 -> Matita_datatypes_bool.False
96 | X8 -> Matita_datatypes_bool.False
97 | X9 -> Matita_datatypes_bool.False
98 | XA -> Matita_datatypes_bool.False
99 | XB -> Matita_datatypes_bool.False
100 | XC -> Matita_datatypes_bool.False
101 | XD -> Matita_datatypes_bool.False
102 | XE -> Matita_datatypes_bool.False
103 | XF -> Matita_datatypes_bool.False)
107 X0 -> Matita_datatypes_bool.False
108 | X1 -> Matita_datatypes_bool.False
109 | X2 -> Matita_datatypes_bool.True
110 | X3 -> Matita_datatypes_bool.False
111 | X4 -> Matita_datatypes_bool.False
112 | X5 -> Matita_datatypes_bool.False
113 | X6 -> Matita_datatypes_bool.False
114 | X7 -> Matita_datatypes_bool.False
115 | X8 -> Matita_datatypes_bool.False
116 | X9 -> Matita_datatypes_bool.False
117 | XA -> Matita_datatypes_bool.False
118 | XB -> Matita_datatypes_bool.False
119 | XC -> Matita_datatypes_bool.False
120 | XD -> Matita_datatypes_bool.False
121 | XE -> Matita_datatypes_bool.False
122 | XF -> Matita_datatypes_bool.False)
126 X0 -> Matita_datatypes_bool.False
127 | X1 -> Matita_datatypes_bool.False
128 | X2 -> Matita_datatypes_bool.False
129 | X3 -> Matita_datatypes_bool.True
130 | X4 -> Matita_datatypes_bool.False
131 | X5 -> Matita_datatypes_bool.False
132 | X6 -> Matita_datatypes_bool.False
133 | X7 -> Matita_datatypes_bool.False
134 | X8 -> Matita_datatypes_bool.False
135 | X9 -> Matita_datatypes_bool.False
136 | XA -> Matita_datatypes_bool.False
137 | XB -> Matita_datatypes_bool.False
138 | XC -> Matita_datatypes_bool.False
139 | XD -> Matita_datatypes_bool.False
140 | XE -> Matita_datatypes_bool.False
141 | XF -> Matita_datatypes_bool.False)
145 X0 -> Matita_datatypes_bool.False
146 | X1 -> Matita_datatypes_bool.False
147 | X2 -> Matita_datatypes_bool.False
148 | X3 -> Matita_datatypes_bool.False
149 | X4 -> Matita_datatypes_bool.True
150 | X5 -> Matita_datatypes_bool.False
151 | X6 -> Matita_datatypes_bool.False
152 | X7 -> Matita_datatypes_bool.False
153 | X8 -> Matita_datatypes_bool.False
154 | X9 -> Matita_datatypes_bool.False
155 | XA -> Matita_datatypes_bool.False
156 | XB -> Matita_datatypes_bool.False
157 | XC -> Matita_datatypes_bool.False
158 | XD -> Matita_datatypes_bool.False
159 | XE -> Matita_datatypes_bool.False
160 | XF -> Matita_datatypes_bool.False)
164 X0 -> Matita_datatypes_bool.False
165 | X1 -> Matita_datatypes_bool.False
166 | X2 -> Matita_datatypes_bool.False
167 | X3 -> Matita_datatypes_bool.False
168 | X4 -> Matita_datatypes_bool.False
169 | X5 -> Matita_datatypes_bool.True
170 | X6 -> Matita_datatypes_bool.False
171 | X7 -> Matita_datatypes_bool.False
172 | X8 -> Matita_datatypes_bool.False
173 | X9 -> Matita_datatypes_bool.False
174 | XA -> Matita_datatypes_bool.False
175 | XB -> Matita_datatypes_bool.False
176 | XC -> Matita_datatypes_bool.False
177 | XD -> Matita_datatypes_bool.False
178 | XE -> Matita_datatypes_bool.False
179 | XF -> Matita_datatypes_bool.False)
183 X0 -> Matita_datatypes_bool.False
184 | X1 -> Matita_datatypes_bool.False
185 | X2 -> Matita_datatypes_bool.False
186 | X3 -> Matita_datatypes_bool.False
187 | X4 -> Matita_datatypes_bool.False
188 | X5 -> Matita_datatypes_bool.False
189 | X6 -> Matita_datatypes_bool.True
190 | X7 -> Matita_datatypes_bool.False
191 | X8 -> Matita_datatypes_bool.False
192 | X9 -> Matita_datatypes_bool.False
193 | XA -> Matita_datatypes_bool.False
194 | XB -> Matita_datatypes_bool.False
195 | XC -> Matita_datatypes_bool.False
196 | XD -> Matita_datatypes_bool.False
197 | XE -> Matita_datatypes_bool.False
198 | XF -> Matita_datatypes_bool.False)
202 X0 -> Matita_datatypes_bool.False
203 | X1 -> Matita_datatypes_bool.False
204 | X2 -> Matita_datatypes_bool.False
205 | X3 -> Matita_datatypes_bool.False
206 | X4 -> Matita_datatypes_bool.False
207 | X5 -> Matita_datatypes_bool.False
208 | X6 -> Matita_datatypes_bool.False
209 | X7 -> Matita_datatypes_bool.True
210 | X8 -> Matita_datatypes_bool.False
211 | X9 -> Matita_datatypes_bool.False
212 | XA -> Matita_datatypes_bool.False
213 | XB -> Matita_datatypes_bool.False
214 | XC -> Matita_datatypes_bool.False
215 | XD -> Matita_datatypes_bool.False
216 | XE -> Matita_datatypes_bool.False
217 | XF -> Matita_datatypes_bool.False)
221 X0 -> Matita_datatypes_bool.False
222 | X1 -> Matita_datatypes_bool.False
223 | X2 -> Matita_datatypes_bool.False
224 | X3 -> Matita_datatypes_bool.False
225 | X4 -> Matita_datatypes_bool.False
226 | X5 -> Matita_datatypes_bool.False
227 | X6 -> Matita_datatypes_bool.False
228 | X7 -> Matita_datatypes_bool.False
229 | X8 -> Matita_datatypes_bool.True
230 | X9 -> Matita_datatypes_bool.False
231 | XA -> Matita_datatypes_bool.False
232 | XB -> Matita_datatypes_bool.False
233 | XC -> Matita_datatypes_bool.False
234 | XD -> Matita_datatypes_bool.False
235 | XE -> Matita_datatypes_bool.False
236 | XF -> Matita_datatypes_bool.False)
240 X0 -> Matita_datatypes_bool.False
241 | X1 -> Matita_datatypes_bool.False
242 | X2 -> Matita_datatypes_bool.False
243 | X3 -> Matita_datatypes_bool.False
244 | X4 -> Matita_datatypes_bool.False
245 | X5 -> Matita_datatypes_bool.False
246 | X6 -> Matita_datatypes_bool.False
247 | X7 -> Matita_datatypes_bool.False
248 | X8 -> Matita_datatypes_bool.False
249 | X9 -> Matita_datatypes_bool.True
250 | XA -> Matita_datatypes_bool.False
251 | XB -> Matita_datatypes_bool.False
252 | XC -> Matita_datatypes_bool.False
253 | XD -> Matita_datatypes_bool.False
254 | XE -> Matita_datatypes_bool.False
255 | XF -> Matita_datatypes_bool.False)
259 X0 -> Matita_datatypes_bool.False
260 | X1 -> Matita_datatypes_bool.False
261 | X2 -> Matita_datatypes_bool.False
262 | X3 -> Matita_datatypes_bool.False
263 | X4 -> Matita_datatypes_bool.False
264 | X5 -> Matita_datatypes_bool.False
265 | X6 -> Matita_datatypes_bool.False
266 | X7 -> Matita_datatypes_bool.False
267 | X8 -> Matita_datatypes_bool.False
268 | X9 -> Matita_datatypes_bool.False
269 | XA -> Matita_datatypes_bool.True
270 | XB -> Matita_datatypes_bool.False
271 | XC -> Matita_datatypes_bool.False
272 | XD -> Matita_datatypes_bool.False
273 | XE -> Matita_datatypes_bool.False
274 | XF -> Matita_datatypes_bool.False)
278 X0 -> Matita_datatypes_bool.False
279 | X1 -> Matita_datatypes_bool.False
280 | X2 -> Matita_datatypes_bool.False
281 | X3 -> Matita_datatypes_bool.False
282 | X4 -> Matita_datatypes_bool.False
283 | X5 -> Matita_datatypes_bool.False
284 | X6 -> Matita_datatypes_bool.False
285 | X7 -> Matita_datatypes_bool.False
286 | X8 -> Matita_datatypes_bool.False
287 | X9 -> Matita_datatypes_bool.False
288 | XA -> Matita_datatypes_bool.False
289 | XB -> Matita_datatypes_bool.True
290 | XC -> Matita_datatypes_bool.False
291 | XD -> Matita_datatypes_bool.False
292 | XE -> Matita_datatypes_bool.False
293 | XF -> Matita_datatypes_bool.False)
297 X0 -> Matita_datatypes_bool.False
298 | X1 -> Matita_datatypes_bool.False
299 | X2 -> Matita_datatypes_bool.False
300 | X3 -> Matita_datatypes_bool.False
301 | X4 -> Matita_datatypes_bool.False
302 | X5 -> Matita_datatypes_bool.False
303 | X6 -> Matita_datatypes_bool.False
304 | X7 -> Matita_datatypes_bool.False
305 | X8 -> Matita_datatypes_bool.False
306 | X9 -> Matita_datatypes_bool.False
307 | XA -> Matita_datatypes_bool.False
308 | XB -> Matita_datatypes_bool.False
309 | XC -> Matita_datatypes_bool.True
310 | XD -> Matita_datatypes_bool.False
311 | XE -> Matita_datatypes_bool.False
312 | XF -> Matita_datatypes_bool.False)
316 X0 -> Matita_datatypes_bool.False
317 | X1 -> Matita_datatypes_bool.False
318 | X2 -> Matita_datatypes_bool.False
319 | X3 -> Matita_datatypes_bool.False
320 | X4 -> Matita_datatypes_bool.False
321 | X5 -> Matita_datatypes_bool.False
322 | X6 -> Matita_datatypes_bool.False
323 | X7 -> Matita_datatypes_bool.False
324 | X8 -> Matita_datatypes_bool.False
325 | X9 -> Matita_datatypes_bool.False
326 | XA -> Matita_datatypes_bool.False
327 | XB -> Matita_datatypes_bool.False
328 | XC -> Matita_datatypes_bool.False
329 | XD -> Matita_datatypes_bool.True
330 | XE -> Matita_datatypes_bool.False
331 | XF -> Matita_datatypes_bool.False)
335 X0 -> Matita_datatypes_bool.False
336 | X1 -> Matita_datatypes_bool.False
337 | X2 -> Matita_datatypes_bool.False
338 | X3 -> Matita_datatypes_bool.False
339 | X4 -> Matita_datatypes_bool.False
340 | X5 -> Matita_datatypes_bool.False
341 | X6 -> Matita_datatypes_bool.False
342 | X7 -> Matita_datatypes_bool.False
343 | X8 -> Matita_datatypes_bool.False
344 | X9 -> Matita_datatypes_bool.False
345 | XA -> Matita_datatypes_bool.False
346 | XB -> Matita_datatypes_bool.False
347 | XC -> Matita_datatypes_bool.False
348 | XD -> Matita_datatypes_bool.False
349 | XE -> Matita_datatypes_bool.True
350 | XF -> Matita_datatypes_bool.False)
354 X0 -> Matita_datatypes_bool.False
355 | X1 -> Matita_datatypes_bool.False
356 | X2 -> Matita_datatypes_bool.False
357 | X3 -> Matita_datatypes_bool.False
358 | X4 -> Matita_datatypes_bool.False
359 | X5 -> Matita_datatypes_bool.False
360 | X6 -> Matita_datatypes_bool.False
361 | X7 -> Matita_datatypes_bool.False
362 | X8 -> Matita_datatypes_bool.False
363 | X9 -> Matita_datatypes_bool.False
364 | XA -> Matita_datatypes_bool.False
365 | XB -> Matita_datatypes_bool.False
366 | XC -> Matita_datatypes_bool.False
367 | XD -> Matita_datatypes_bool.False
368 | XE -> Matita_datatypes_bool.False
369 | XF -> Matita_datatypes_bool.True)
375 (function e1 -> (function e2 ->
379 X0 -> Matita_datatypes_bool.False
380 | X1 -> Matita_datatypes_bool.True
381 | X2 -> Matita_datatypes_bool.True
382 | X3 -> Matita_datatypes_bool.True
383 | X4 -> Matita_datatypes_bool.True
384 | X5 -> Matita_datatypes_bool.True
385 | X6 -> Matita_datatypes_bool.True
386 | X7 -> Matita_datatypes_bool.True
387 | X8 -> Matita_datatypes_bool.True
388 | X9 -> Matita_datatypes_bool.True
389 | XA -> Matita_datatypes_bool.True
390 | XB -> Matita_datatypes_bool.True
391 | XC -> Matita_datatypes_bool.True
392 | XD -> Matita_datatypes_bool.True
393 | XE -> Matita_datatypes_bool.True
394 | XF -> Matita_datatypes_bool.True)
398 X0 -> Matita_datatypes_bool.False
399 | X1 -> Matita_datatypes_bool.False
400 | X2 -> Matita_datatypes_bool.True
401 | X3 -> Matita_datatypes_bool.True
402 | X4 -> Matita_datatypes_bool.True
403 | X5 -> Matita_datatypes_bool.True
404 | X6 -> Matita_datatypes_bool.True
405 | X7 -> Matita_datatypes_bool.True
406 | X8 -> Matita_datatypes_bool.True
407 | X9 -> Matita_datatypes_bool.True
408 | XA -> Matita_datatypes_bool.True
409 | XB -> Matita_datatypes_bool.True
410 | XC -> Matita_datatypes_bool.True
411 | XD -> Matita_datatypes_bool.True
412 | XE -> Matita_datatypes_bool.True
413 | XF -> Matita_datatypes_bool.True)
417 X0 -> Matita_datatypes_bool.False
418 | X1 -> Matita_datatypes_bool.False
419 | X2 -> Matita_datatypes_bool.False
420 | X3 -> Matita_datatypes_bool.True
421 | X4 -> Matita_datatypes_bool.True
422 | X5 -> Matita_datatypes_bool.True
423 | X6 -> Matita_datatypes_bool.True
424 | X7 -> Matita_datatypes_bool.True
425 | X8 -> Matita_datatypes_bool.True
426 | X9 -> Matita_datatypes_bool.True
427 | XA -> Matita_datatypes_bool.True
428 | XB -> Matita_datatypes_bool.True
429 | XC -> Matita_datatypes_bool.True
430 | XD -> Matita_datatypes_bool.True
431 | XE -> Matita_datatypes_bool.True
432 | XF -> Matita_datatypes_bool.True)
436 X0 -> Matita_datatypes_bool.False
437 | X1 -> Matita_datatypes_bool.False
438 | X2 -> Matita_datatypes_bool.False
439 | X3 -> Matita_datatypes_bool.False
440 | X4 -> Matita_datatypes_bool.True
441 | X5 -> Matita_datatypes_bool.True
442 | X6 -> Matita_datatypes_bool.True
443 | X7 -> Matita_datatypes_bool.True
444 | X8 -> Matita_datatypes_bool.True
445 | X9 -> Matita_datatypes_bool.True
446 | XA -> Matita_datatypes_bool.True
447 | XB -> Matita_datatypes_bool.True
448 | XC -> Matita_datatypes_bool.True
449 | XD -> Matita_datatypes_bool.True
450 | XE -> Matita_datatypes_bool.True
451 | XF -> Matita_datatypes_bool.True)
455 X0 -> Matita_datatypes_bool.False
456 | X1 -> Matita_datatypes_bool.False
457 | X2 -> Matita_datatypes_bool.False
458 | X3 -> Matita_datatypes_bool.False
459 | X4 -> Matita_datatypes_bool.False
460 | X5 -> Matita_datatypes_bool.True
461 | X6 -> Matita_datatypes_bool.True
462 | X7 -> Matita_datatypes_bool.True
463 | X8 -> Matita_datatypes_bool.True
464 | X9 -> Matita_datatypes_bool.True
465 | XA -> Matita_datatypes_bool.True
466 | XB -> Matita_datatypes_bool.True
467 | XC -> Matita_datatypes_bool.True
468 | XD -> Matita_datatypes_bool.True
469 | XE -> Matita_datatypes_bool.True
470 | XF -> Matita_datatypes_bool.True)
474 X0 -> Matita_datatypes_bool.False
475 | X1 -> Matita_datatypes_bool.False
476 | X2 -> Matita_datatypes_bool.False
477 | X3 -> Matita_datatypes_bool.False
478 | X4 -> Matita_datatypes_bool.False
479 | X5 -> Matita_datatypes_bool.False
480 | X6 -> Matita_datatypes_bool.True
481 | X7 -> Matita_datatypes_bool.True
482 | X8 -> Matita_datatypes_bool.True
483 | X9 -> Matita_datatypes_bool.True
484 | XA -> Matita_datatypes_bool.True
485 | XB -> Matita_datatypes_bool.True
486 | XC -> Matita_datatypes_bool.True
487 | XD -> Matita_datatypes_bool.True
488 | XE -> Matita_datatypes_bool.True
489 | XF -> Matita_datatypes_bool.True)
493 X0 -> Matita_datatypes_bool.False
494 | X1 -> Matita_datatypes_bool.False
495 | X2 -> Matita_datatypes_bool.False
496 | X3 -> Matita_datatypes_bool.False
497 | X4 -> Matita_datatypes_bool.False
498 | X5 -> Matita_datatypes_bool.False
499 | X6 -> Matita_datatypes_bool.False
500 | X7 -> Matita_datatypes_bool.True
501 | X8 -> Matita_datatypes_bool.True
502 | X9 -> Matita_datatypes_bool.True
503 | XA -> Matita_datatypes_bool.True
504 | XB -> Matita_datatypes_bool.True
505 | XC -> Matita_datatypes_bool.True
506 | XD -> Matita_datatypes_bool.True
507 | XE -> Matita_datatypes_bool.True
508 | XF -> Matita_datatypes_bool.True)
512 X0 -> Matita_datatypes_bool.False
513 | X1 -> Matita_datatypes_bool.False
514 | X2 -> Matita_datatypes_bool.False
515 | X3 -> Matita_datatypes_bool.False
516 | X4 -> Matita_datatypes_bool.False
517 | X5 -> Matita_datatypes_bool.False
518 | X6 -> Matita_datatypes_bool.False
519 | X7 -> Matita_datatypes_bool.False
520 | X8 -> Matita_datatypes_bool.True
521 | X9 -> Matita_datatypes_bool.True
522 | XA -> Matita_datatypes_bool.True
523 | XB -> Matita_datatypes_bool.True
524 | XC -> Matita_datatypes_bool.True
525 | XD -> Matita_datatypes_bool.True
526 | XE -> Matita_datatypes_bool.True
527 | XF -> Matita_datatypes_bool.True)
531 X0 -> Matita_datatypes_bool.False
532 | X1 -> Matita_datatypes_bool.False
533 | X2 -> Matita_datatypes_bool.False
534 | X3 -> Matita_datatypes_bool.False
535 | X4 -> Matita_datatypes_bool.False
536 | X5 -> Matita_datatypes_bool.False
537 | X6 -> Matita_datatypes_bool.False
538 | X7 -> Matita_datatypes_bool.False
539 | X8 -> Matita_datatypes_bool.False
540 | X9 -> Matita_datatypes_bool.True
541 | XA -> Matita_datatypes_bool.True
542 | XB -> Matita_datatypes_bool.True
543 | XC -> Matita_datatypes_bool.True
544 | XD -> Matita_datatypes_bool.True
545 | XE -> Matita_datatypes_bool.True
546 | XF -> Matita_datatypes_bool.True)
550 X0 -> Matita_datatypes_bool.False
551 | X1 -> Matita_datatypes_bool.False
552 | X2 -> Matita_datatypes_bool.False
553 | X3 -> Matita_datatypes_bool.False
554 | X4 -> Matita_datatypes_bool.False
555 | X5 -> Matita_datatypes_bool.False
556 | X6 -> Matita_datatypes_bool.False
557 | X7 -> Matita_datatypes_bool.False
558 | X8 -> Matita_datatypes_bool.False
559 | X9 -> Matita_datatypes_bool.False
560 | XA -> Matita_datatypes_bool.True
561 | XB -> Matita_datatypes_bool.True
562 | XC -> Matita_datatypes_bool.True
563 | XD -> Matita_datatypes_bool.True
564 | XE -> Matita_datatypes_bool.True
565 | XF -> Matita_datatypes_bool.True)
569 X0 -> Matita_datatypes_bool.False
570 | X1 -> Matita_datatypes_bool.False
571 | X2 -> Matita_datatypes_bool.False
572 | X3 -> Matita_datatypes_bool.False
573 | X4 -> Matita_datatypes_bool.False
574 | X5 -> Matita_datatypes_bool.False
575 | X6 -> Matita_datatypes_bool.False
576 | X7 -> Matita_datatypes_bool.False
577 | X8 -> Matita_datatypes_bool.False
578 | X9 -> Matita_datatypes_bool.False
579 | XA -> Matita_datatypes_bool.False
580 | XB -> Matita_datatypes_bool.True
581 | XC -> Matita_datatypes_bool.True
582 | XD -> Matita_datatypes_bool.True
583 | XE -> Matita_datatypes_bool.True
584 | XF -> Matita_datatypes_bool.True)
588 X0 -> Matita_datatypes_bool.False
589 | X1 -> Matita_datatypes_bool.False
590 | X2 -> Matita_datatypes_bool.False
591 | X3 -> Matita_datatypes_bool.False
592 | X4 -> Matita_datatypes_bool.False
593 | X5 -> Matita_datatypes_bool.False
594 | X6 -> Matita_datatypes_bool.False
595 | X7 -> Matita_datatypes_bool.False
596 | X8 -> Matita_datatypes_bool.False
597 | X9 -> Matita_datatypes_bool.False
598 | XA -> Matita_datatypes_bool.False
599 | XB -> Matita_datatypes_bool.False
600 | XC -> Matita_datatypes_bool.True
601 | XD -> Matita_datatypes_bool.True
602 | XE -> Matita_datatypes_bool.True
603 | XF -> Matita_datatypes_bool.True)
607 X0 -> Matita_datatypes_bool.False
608 | X1 -> Matita_datatypes_bool.False
609 | X2 -> Matita_datatypes_bool.False
610 | X3 -> Matita_datatypes_bool.False
611 | X4 -> Matita_datatypes_bool.False
612 | X5 -> Matita_datatypes_bool.False
613 | X6 -> Matita_datatypes_bool.False
614 | X7 -> Matita_datatypes_bool.False
615 | X8 -> Matita_datatypes_bool.False
616 | X9 -> Matita_datatypes_bool.False
617 | XA -> Matita_datatypes_bool.False
618 | XB -> Matita_datatypes_bool.False
619 | XC -> Matita_datatypes_bool.False
620 | XD -> Matita_datatypes_bool.True
621 | XE -> Matita_datatypes_bool.True
622 | XF -> Matita_datatypes_bool.True)
626 X0 -> Matita_datatypes_bool.False
627 | X1 -> Matita_datatypes_bool.False
628 | X2 -> Matita_datatypes_bool.False
629 | X3 -> Matita_datatypes_bool.False
630 | X4 -> Matita_datatypes_bool.False
631 | X5 -> Matita_datatypes_bool.False
632 | X6 -> Matita_datatypes_bool.False
633 | X7 -> Matita_datatypes_bool.False
634 | X8 -> Matita_datatypes_bool.False
635 | X9 -> Matita_datatypes_bool.False
636 | XA -> Matita_datatypes_bool.False
637 | XB -> Matita_datatypes_bool.False
638 | XC -> Matita_datatypes_bool.False
639 | XD -> Matita_datatypes_bool.False
640 | XE -> Matita_datatypes_bool.True
641 | XF -> Matita_datatypes_bool.True)
645 X0 -> Matita_datatypes_bool.False
646 | X1 -> Matita_datatypes_bool.False
647 | X2 -> Matita_datatypes_bool.False
648 | X3 -> Matita_datatypes_bool.False
649 | X4 -> Matita_datatypes_bool.False
650 | X5 -> Matita_datatypes_bool.False
651 | X6 -> Matita_datatypes_bool.False
652 | X7 -> Matita_datatypes_bool.False
653 | X8 -> Matita_datatypes_bool.False
654 | X9 -> Matita_datatypes_bool.False
655 | XA -> Matita_datatypes_bool.False
656 | XB -> Matita_datatypes_bool.False
657 | XC -> Matita_datatypes_bool.False
658 | XD -> Matita_datatypes_bool.False
659 | XE -> Matita_datatypes_bool.False
660 | XF -> Matita_datatypes_bool.True)
664 X0 -> Matita_datatypes_bool.False
665 | X1 -> Matita_datatypes_bool.False
666 | X2 -> Matita_datatypes_bool.False
667 | X3 -> Matita_datatypes_bool.False
668 | X4 -> Matita_datatypes_bool.False
669 | X5 -> Matita_datatypes_bool.False
670 | X6 -> Matita_datatypes_bool.False
671 | X7 -> Matita_datatypes_bool.False
672 | X8 -> Matita_datatypes_bool.False
673 | X9 -> Matita_datatypes_bool.False
674 | XA -> Matita_datatypes_bool.False
675 | XB -> Matita_datatypes_bool.False
676 | XC -> Matita_datatypes_bool.False
677 | XD -> Matita_datatypes_bool.False
678 | XE -> Matita_datatypes_bool.False
679 | XF -> Matita_datatypes_bool.False)
685 (function e1 -> (function e2 ->
689 X0 -> Matita_datatypes_bool.True
690 | X1 -> Matita_datatypes_bool.True
691 | X2 -> Matita_datatypes_bool.True
692 | X3 -> Matita_datatypes_bool.True
693 | X4 -> Matita_datatypes_bool.True
694 | X5 -> Matita_datatypes_bool.True
695 | X6 -> Matita_datatypes_bool.True
696 | X7 -> Matita_datatypes_bool.True
697 | X8 -> Matita_datatypes_bool.True
698 | X9 -> Matita_datatypes_bool.True
699 | XA -> Matita_datatypes_bool.True
700 | XB -> Matita_datatypes_bool.True
701 | XC -> Matita_datatypes_bool.True
702 | XD -> Matita_datatypes_bool.True
703 | XE -> Matita_datatypes_bool.True
704 | XF -> Matita_datatypes_bool.True)
708 X0 -> Matita_datatypes_bool.False
709 | X1 -> Matita_datatypes_bool.True
710 | X2 -> Matita_datatypes_bool.True
711 | X3 -> Matita_datatypes_bool.True
712 | X4 -> Matita_datatypes_bool.True
713 | X5 -> Matita_datatypes_bool.True
714 | X6 -> Matita_datatypes_bool.True
715 | X7 -> Matita_datatypes_bool.True
716 | X8 -> Matita_datatypes_bool.True
717 | X9 -> Matita_datatypes_bool.True
718 | XA -> Matita_datatypes_bool.True
719 | XB -> Matita_datatypes_bool.True
720 | XC -> Matita_datatypes_bool.True
721 | XD -> Matita_datatypes_bool.True
722 | XE -> Matita_datatypes_bool.True
723 | XF -> Matita_datatypes_bool.True)
727 X0 -> Matita_datatypes_bool.False
728 | X1 -> Matita_datatypes_bool.False
729 | X2 -> Matita_datatypes_bool.True
730 | X3 -> Matita_datatypes_bool.True
731 | X4 -> Matita_datatypes_bool.True
732 | X5 -> Matita_datatypes_bool.True
733 | X6 -> Matita_datatypes_bool.True
734 | X7 -> Matita_datatypes_bool.True
735 | X8 -> Matita_datatypes_bool.True
736 | X9 -> Matita_datatypes_bool.True
737 | XA -> Matita_datatypes_bool.True
738 | XB -> Matita_datatypes_bool.True
739 | XC -> Matita_datatypes_bool.True
740 | XD -> Matita_datatypes_bool.True
741 | XE -> Matita_datatypes_bool.True
742 | XF -> Matita_datatypes_bool.True)
746 X0 -> Matita_datatypes_bool.False
747 | X1 -> Matita_datatypes_bool.False
748 | X2 -> Matita_datatypes_bool.False
749 | X3 -> Matita_datatypes_bool.True
750 | X4 -> Matita_datatypes_bool.True
751 | X5 -> Matita_datatypes_bool.True
752 | X6 -> Matita_datatypes_bool.True
753 | X7 -> Matita_datatypes_bool.True
754 | X8 -> Matita_datatypes_bool.True
755 | X9 -> Matita_datatypes_bool.True
756 | XA -> Matita_datatypes_bool.True
757 | XB -> Matita_datatypes_bool.True
758 | XC -> Matita_datatypes_bool.True
759 | XD -> Matita_datatypes_bool.True
760 | XE -> Matita_datatypes_bool.True
761 | XF -> Matita_datatypes_bool.True)
765 X0 -> Matita_datatypes_bool.False
766 | X1 -> Matita_datatypes_bool.False
767 | X2 -> Matita_datatypes_bool.False
768 | X3 -> Matita_datatypes_bool.False
769 | X4 -> Matita_datatypes_bool.True
770 | X5 -> Matita_datatypes_bool.True
771 | X6 -> Matita_datatypes_bool.True
772 | X7 -> Matita_datatypes_bool.True
773 | X8 -> Matita_datatypes_bool.True
774 | X9 -> Matita_datatypes_bool.True
775 | XA -> Matita_datatypes_bool.True
776 | XB -> Matita_datatypes_bool.True
777 | XC -> Matita_datatypes_bool.True
778 | XD -> Matita_datatypes_bool.True
779 | XE -> Matita_datatypes_bool.True
780 | XF -> Matita_datatypes_bool.True)
784 X0 -> Matita_datatypes_bool.False
785 | X1 -> Matita_datatypes_bool.False
786 | X2 -> Matita_datatypes_bool.False
787 | X3 -> Matita_datatypes_bool.False
788 | X4 -> Matita_datatypes_bool.False
789 | X5 -> Matita_datatypes_bool.True
790 | X6 -> Matita_datatypes_bool.True
791 | X7 -> Matita_datatypes_bool.True
792 | X8 -> Matita_datatypes_bool.True
793 | X9 -> Matita_datatypes_bool.True
794 | XA -> Matita_datatypes_bool.True
795 | XB -> Matita_datatypes_bool.True
796 | XC -> Matita_datatypes_bool.True
797 | XD -> Matita_datatypes_bool.True
798 | XE -> Matita_datatypes_bool.True
799 | XF -> Matita_datatypes_bool.True)
803 X0 -> Matita_datatypes_bool.False
804 | X1 -> Matita_datatypes_bool.False
805 | X2 -> Matita_datatypes_bool.False
806 | X3 -> Matita_datatypes_bool.False
807 | X4 -> Matita_datatypes_bool.False
808 | X5 -> Matita_datatypes_bool.False
809 | X6 -> Matita_datatypes_bool.True
810 | X7 -> Matita_datatypes_bool.True
811 | X8 -> Matita_datatypes_bool.True
812 | X9 -> Matita_datatypes_bool.True
813 | XA -> Matita_datatypes_bool.True
814 | XB -> Matita_datatypes_bool.True
815 | XC -> Matita_datatypes_bool.True
816 | XD -> Matita_datatypes_bool.True
817 | XE -> Matita_datatypes_bool.True
818 | XF -> Matita_datatypes_bool.True)
822 X0 -> Matita_datatypes_bool.False
823 | X1 -> Matita_datatypes_bool.False
824 | X2 -> Matita_datatypes_bool.False
825 | X3 -> Matita_datatypes_bool.False
826 | X4 -> Matita_datatypes_bool.False
827 | X5 -> Matita_datatypes_bool.False
828 | X6 -> Matita_datatypes_bool.False
829 | X7 -> Matita_datatypes_bool.True
830 | X8 -> Matita_datatypes_bool.True
831 | X9 -> Matita_datatypes_bool.True
832 | XA -> Matita_datatypes_bool.True
833 | XB -> Matita_datatypes_bool.True
834 | XC -> Matita_datatypes_bool.True
835 | XD -> Matita_datatypes_bool.True
836 | XE -> Matita_datatypes_bool.True
837 | XF -> Matita_datatypes_bool.True)
841 X0 -> Matita_datatypes_bool.False
842 | X1 -> Matita_datatypes_bool.False
843 | X2 -> Matita_datatypes_bool.False
844 | X3 -> Matita_datatypes_bool.False
845 | X4 -> Matita_datatypes_bool.False
846 | X5 -> Matita_datatypes_bool.False
847 | X6 -> Matita_datatypes_bool.False
848 | X7 -> Matita_datatypes_bool.False
849 | X8 -> Matita_datatypes_bool.True
850 | X9 -> Matita_datatypes_bool.True
851 | XA -> Matita_datatypes_bool.True
852 | XB -> Matita_datatypes_bool.True
853 | XC -> Matita_datatypes_bool.True
854 | XD -> Matita_datatypes_bool.True
855 | XE -> Matita_datatypes_bool.True
856 | XF -> Matita_datatypes_bool.True)
860 X0 -> Matita_datatypes_bool.False
861 | X1 -> Matita_datatypes_bool.False
862 | X2 -> Matita_datatypes_bool.False
863 | X3 -> Matita_datatypes_bool.False
864 | X4 -> Matita_datatypes_bool.False
865 | X5 -> Matita_datatypes_bool.False
866 | X6 -> Matita_datatypes_bool.False
867 | X7 -> Matita_datatypes_bool.False
868 | X8 -> Matita_datatypes_bool.False
869 | X9 -> Matita_datatypes_bool.True
870 | XA -> Matita_datatypes_bool.True
871 | XB -> Matita_datatypes_bool.True
872 | XC -> Matita_datatypes_bool.True
873 | XD -> Matita_datatypes_bool.True
874 | XE -> Matita_datatypes_bool.True
875 | XF -> Matita_datatypes_bool.True)
879 X0 -> Matita_datatypes_bool.False
880 | X1 -> Matita_datatypes_bool.False
881 | X2 -> Matita_datatypes_bool.False
882 | X3 -> Matita_datatypes_bool.False
883 | X4 -> Matita_datatypes_bool.False
884 | X5 -> Matita_datatypes_bool.False
885 | X6 -> Matita_datatypes_bool.False
886 | X7 -> Matita_datatypes_bool.False
887 | X8 -> Matita_datatypes_bool.False
888 | X9 -> Matita_datatypes_bool.False
889 | XA -> Matita_datatypes_bool.True
890 | XB -> Matita_datatypes_bool.True
891 | XC -> Matita_datatypes_bool.True
892 | XD -> Matita_datatypes_bool.True
893 | XE -> Matita_datatypes_bool.True
894 | XF -> Matita_datatypes_bool.True)
898 X0 -> Matita_datatypes_bool.False
899 | X1 -> Matita_datatypes_bool.False
900 | X2 -> Matita_datatypes_bool.False
901 | X3 -> Matita_datatypes_bool.False
902 | X4 -> Matita_datatypes_bool.False
903 | X5 -> Matita_datatypes_bool.False
904 | X6 -> Matita_datatypes_bool.False
905 | X7 -> Matita_datatypes_bool.False
906 | X8 -> Matita_datatypes_bool.False
907 | X9 -> Matita_datatypes_bool.False
908 | XA -> Matita_datatypes_bool.False
909 | XB -> Matita_datatypes_bool.True
910 | XC -> Matita_datatypes_bool.True
911 | XD -> Matita_datatypes_bool.True
912 | XE -> Matita_datatypes_bool.True
913 | XF -> Matita_datatypes_bool.True)
917 X0 -> Matita_datatypes_bool.False
918 | X1 -> Matita_datatypes_bool.False
919 | X2 -> Matita_datatypes_bool.False
920 | X3 -> Matita_datatypes_bool.False
921 | X4 -> Matita_datatypes_bool.False
922 | X5 -> Matita_datatypes_bool.False
923 | X6 -> Matita_datatypes_bool.False
924 | X7 -> Matita_datatypes_bool.False
925 | X8 -> Matita_datatypes_bool.False
926 | X9 -> Matita_datatypes_bool.False
927 | XA -> Matita_datatypes_bool.False
928 | XB -> Matita_datatypes_bool.False
929 | XC -> Matita_datatypes_bool.True
930 | XD -> Matita_datatypes_bool.True
931 | XE -> Matita_datatypes_bool.True
932 | XF -> Matita_datatypes_bool.True)
936 X0 -> Matita_datatypes_bool.False
937 | X1 -> Matita_datatypes_bool.False
938 | X2 -> Matita_datatypes_bool.False
939 | X3 -> Matita_datatypes_bool.False
940 | X4 -> Matita_datatypes_bool.False
941 | X5 -> Matita_datatypes_bool.False
942 | X6 -> Matita_datatypes_bool.False
943 | X7 -> Matita_datatypes_bool.False
944 | X8 -> Matita_datatypes_bool.False
945 | X9 -> Matita_datatypes_bool.False
946 | XA -> Matita_datatypes_bool.False
947 | XB -> Matita_datatypes_bool.False
948 | XC -> Matita_datatypes_bool.False
949 | XD -> Matita_datatypes_bool.True
950 | XE -> Matita_datatypes_bool.True
951 | XF -> Matita_datatypes_bool.True)
955 X0 -> Matita_datatypes_bool.False
956 | X1 -> Matita_datatypes_bool.False
957 | X2 -> Matita_datatypes_bool.False
958 | X3 -> Matita_datatypes_bool.False
959 | X4 -> Matita_datatypes_bool.False
960 | X5 -> Matita_datatypes_bool.False
961 | X6 -> Matita_datatypes_bool.False
962 | X7 -> Matita_datatypes_bool.False
963 | X8 -> Matita_datatypes_bool.False
964 | X9 -> Matita_datatypes_bool.False
965 | XA -> Matita_datatypes_bool.False
966 | XB -> Matita_datatypes_bool.False
967 | XC -> Matita_datatypes_bool.False
968 | XD -> Matita_datatypes_bool.False
969 | XE -> Matita_datatypes_bool.True
970 | XF -> Matita_datatypes_bool.True)
974 X0 -> Matita_datatypes_bool.False
975 | X1 -> Matita_datatypes_bool.False
976 | X2 -> Matita_datatypes_bool.False
977 | X3 -> Matita_datatypes_bool.False
978 | X4 -> Matita_datatypes_bool.False
979 | X5 -> Matita_datatypes_bool.False
980 | X6 -> Matita_datatypes_bool.False
981 | X7 -> Matita_datatypes_bool.False
982 | X8 -> Matita_datatypes_bool.False
983 | X9 -> Matita_datatypes_bool.False
984 | XA -> Matita_datatypes_bool.False
985 | XB -> Matita_datatypes_bool.False
986 | XC -> Matita_datatypes_bool.False
987 | XD -> Matita_datatypes_bool.False
988 | XE -> Matita_datatypes_bool.False
989 | XF -> Matita_datatypes_bool.True)
995 (function e1 -> (function e2 ->
999 X0 -> Matita_datatypes_bool.False
1000 | X1 -> Matita_datatypes_bool.False
1001 | X2 -> Matita_datatypes_bool.False
1002 | X3 -> Matita_datatypes_bool.False
1003 | X4 -> Matita_datatypes_bool.False
1004 | X5 -> Matita_datatypes_bool.False
1005 | X6 -> Matita_datatypes_bool.False
1006 | X7 -> Matita_datatypes_bool.False
1007 | X8 -> Matita_datatypes_bool.False
1008 | X9 -> Matita_datatypes_bool.False
1009 | XA -> Matita_datatypes_bool.False
1010 | XB -> Matita_datatypes_bool.False
1011 | XC -> Matita_datatypes_bool.False
1012 | XD -> Matita_datatypes_bool.False
1013 | XE -> Matita_datatypes_bool.False
1014 | XF -> Matita_datatypes_bool.False)
1018 X0 -> Matita_datatypes_bool.True
1019 | X1 -> Matita_datatypes_bool.False
1020 | X2 -> Matita_datatypes_bool.False
1021 | X3 -> Matita_datatypes_bool.False
1022 | X4 -> Matita_datatypes_bool.False
1023 | X5 -> Matita_datatypes_bool.False
1024 | X6 -> Matita_datatypes_bool.False
1025 | X7 -> Matita_datatypes_bool.False
1026 | X8 -> Matita_datatypes_bool.False
1027 | X9 -> Matita_datatypes_bool.False
1028 | XA -> Matita_datatypes_bool.False
1029 | XB -> Matita_datatypes_bool.False
1030 | XC -> Matita_datatypes_bool.False
1031 | XD -> Matita_datatypes_bool.False
1032 | XE -> Matita_datatypes_bool.False
1033 | XF -> Matita_datatypes_bool.False)
1037 X0 -> Matita_datatypes_bool.True
1038 | X1 -> Matita_datatypes_bool.True
1039 | X2 -> Matita_datatypes_bool.False
1040 | X3 -> Matita_datatypes_bool.False
1041 | X4 -> Matita_datatypes_bool.False
1042 | X5 -> Matita_datatypes_bool.False
1043 | X6 -> Matita_datatypes_bool.False
1044 | X7 -> Matita_datatypes_bool.False
1045 | X8 -> Matita_datatypes_bool.False
1046 | X9 -> Matita_datatypes_bool.False
1047 | XA -> Matita_datatypes_bool.False
1048 | XB -> Matita_datatypes_bool.False
1049 | XC -> Matita_datatypes_bool.False
1050 | XD -> Matita_datatypes_bool.False
1051 | XE -> Matita_datatypes_bool.False
1052 | XF -> Matita_datatypes_bool.False)
1056 X0 -> Matita_datatypes_bool.True
1057 | X1 -> Matita_datatypes_bool.True
1058 | X2 -> Matita_datatypes_bool.True
1059 | X3 -> Matita_datatypes_bool.False
1060 | X4 -> Matita_datatypes_bool.False
1061 | X5 -> Matita_datatypes_bool.False
1062 | X6 -> Matita_datatypes_bool.False
1063 | X7 -> Matita_datatypes_bool.False
1064 | X8 -> Matita_datatypes_bool.False
1065 | X9 -> Matita_datatypes_bool.False
1066 | XA -> Matita_datatypes_bool.False
1067 | XB -> Matita_datatypes_bool.False
1068 | XC -> Matita_datatypes_bool.False
1069 | XD -> Matita_datatypes_bool.False
1070 | XE -> Matita_datatypes_bool.False
1071 | XF -> Matita_datatypes_bool.False)
1075 X0 -> Matita_datatypes_bool.True
1076 | X1 -> Matita_datatypes_bool.True
1077 | X2 -> Matita_datatypes_bool.True
1078 | X3 -> Matita_datatypes_bool.True
1079 | X4 -> Matita_datatypes_bool.False
1080 | X5 -> Matita_datatypes_bool.False
1081 | X6 -> Matita_datatypes_bool.False
1082 | X7 -> Matita_datatypes_bool.False
1083 | X8 -> Matita_datatypes_bool.False
1084 | X9 -> Matita_datatypes_bool.False
1085 | XA -> Matita_datatypes_bool.False
1086 | XB -> Matita_datatypes_bool.False
1087 | XC -> Matita_datatypes_bool.False
1088 | XD -> Matita_datatypes_bool.False
1089 | XE -> Matita_datatypes_bool.False
1090 | XF -> Matita_datatypes_bool.False)
1094 X0 -> Matita_datatypes_bool.True
1095 | X1 -> Matita_datatypes_bool.True
1096 | X2 -> Matita_datatypes_bool.True
1097 | X3 -> Matita_datatypes_bool.True
1098 | X4 -> Matita_datatypes_bool.True
1099 | X5 -> Matita_datatypes_bool.False
1100 | X6 -> Matita_datatypes_bool.False
1101 | X7 -> Matita_datatypes_bool.False
1102 | X8 -> Matita_datatypes_bool.False
1103 | X9 -> Matita_datatypes_bool.False
1104 | XA -> Matita_datatypes_bool.False
1105 | XB -> Matita_datatypes_bool.False
1106 | XC -> Matita_datatypes_bool.False
1107 | XD -> Matita_datatypes_bool.False
1108 | XE -> Matita_datatypes_bool.False
1109 | XF -> Matita_datatypes_bool.False)
1113 X0 -> Matita_datatypes_bool.True
1114 | X1 -> Matita_datatypes_bool.True
1115 | X2 -> Matita_datatypes_bool.True
1116 | X3 -> Matita_datatypes_bool.True
1117 | X4 -> Matita_datatypes_bool.True
1118 | X5 -> Matita_datatypes_bool.True
1119 | X6 -> Matita_datatypes_bool.False
1120 | X7 -> Matita_datatypes_bool.False
1121 | X8 -> Matita_datatypes_bool.False
1122 | X9 -> Matita_datatypes_bool.False
1123 | XA -> Matita_datatypes_bool.False
1124 | XB -> Matita_datatypes_bool.False
1125 | XC -> Matita_datatypes_bool.False
1126 | XD -> Matita_datatypes_bool.False
1127 | XE -> Matita_datatypes_bool.False
1128 | XF -> Matita_datatypes_bool.False)
1132 X0 -> Matita_datatypes_bool.True
1133 | X1 -> Matita_datatypes_bool.True
1134 | X2 -> Matita_datatypes_bool.True
1135 | X3 -> Matita_datatypes_bool.True
1136 | X4 -> Matita_datatypes_bool.True
1137 | X5 -> Matita_datatypes_bool.True
1138 | X6 -> Matita_datatypes_bool.True
1139 | X7 -> Matita_datatypes_bool.False
1140 | X8 -> Matita_datatypes_bool.False
1141 | X9 -> Matita_datatypes_bool.False
1142 | XA -> Matita_datatypes_bool.False
1143 | XB -> Matita_datatypes_bool.False
1144 | XC -> Matita_datatypes_bool.False
1145 | XD -> Matita_datatypes_bool.False
1146 | XE -> Matita_datatypes_bool.False
1147 | XF -> Matita_datatypes_bool.False)
1151 X0 -> Matita_datatypes_bool.True
1152 | X1 -> Matita_datatypes_bool.True
1153 | X2 -> Matita_datatypes_bool.True
1154 | X3 -> Matita_datatypes_bool.True
1155 | X4 -> Matita_datatypes_bool.True
1156 | X5 -> Matita_datatypes_bool.True
1157 | X6 -> Matita_datatypes_bool.True
1158 | X7 -> Matita_datatypes_bool.True
1159 | X8 -> Matita_datatypes_bool.False
1160 | X9 -> Matita_datatypes_bool.False
1161 | XA -> Matita_datatypes_bool.False
1162 | XB -> Matita_datatypes_bool.False
1163 | XC -> Matita_datatypes_bool.False
1164 | XD -> Matita_datatypes_bool.False
1165 | XE -> Matita_datatypes_bool.False
1166 | XF -> Matita_datatypes_bool.False)
1170 X0 -> Matita_datatypes_bool.True
1171 | X1 -> Matita_datatypes_bool.True
1172 | X2 -> Matita_datatypes_bool.True
1173 | X3 -> Matita_datatypes_bool.True
1174 | X4 -> Matita_datatypes_bool.True
1175 | X5 -> Matita_datatypes_bool.True
1176 | X6 -> Matita_datatypes_bool.True
1177 | X7 -> Matita_datatypes_bool.True
1178 | X8 -> Matita_datatypes_bool.True
1179 | X9 -> Matita_datatypes_bool.False
1180 | XA -> Matita_datatypes_bool.False
1181 | XB -> Matita_datatypes_bool.False
1182 | XC -> Matita_datatypes_bool.False
1183 | XD -> Matita_datatypes_bool.False
1184 | XE -> Matita_datatypes_bool.False
1185 | XF -> Matita_datatypes_bool.False)
1189 X0 -> Matita_datatypes_bool.True
1190 | X1 -> Matita_datatypes_bool.True
1191 | X2 -> Matita_datatypes_bool.True
1192 | X3 -> Matita_datatypes_bool.True
1193 | X4 -> Matita_datatypes_bool.True
1194 | X5 -> Matita_datatypes_bool.True
1195 | X6 -> Matita_datatypes_bool.True
1196 | X7 -> Matita_datatypes_bool.True
1197 | X8 -> Matita_datatypes_bool.True
1198 | X9 -> Matita_datatypes_bool.True
1199 | XA -> Matita_datatypes_bool.False
1200 | XB -> Matita_datatypes_bool.False
1201 | XC -> Matita_datatypes_bool.False
1202 | XD -> Matita_datatypes_bool.False
1203 | XE -> Matita_datatypes_bool.False
1204 | XF -> Matita_datatypes_bool.False)
1208 X0 -> Matita_datatypes_bool.True
1209 | X1 -> Matita_datatypes_bool.True
1210 | X2 -> Matita_datatypes_bool.True
1211 | X3 -> Matita_datatypes_bool.True
1212 | X4 -> Matita_datatypes_bool.True
1213 | X5 -> Matita_datatypes_bool.True
1214 | X6 -> Matita_datatypes_bool.True
1215 | X7 -> Matita_datatypes_bool.True
1216 | X8 -> Matita_datatypes_bool.True
1217 | X9 -> Matita_datatypes_bool.True
1218 | XA -> Matita_datatypes_bool.True
1219 | XB -> Matita_datatypes_bool.False
1220 | XC -> Matita_datatypes_bool.False
1221 | XD -> Matita_datatypes_bool.False
1222 | XE -> Matita_datatypes_bool.False
1223 | XF -> Matita_datatypes_bool.False)
1227 X0 -> Matita_datatypes_bool.True
1228 | X1 -> Matita_datatypes_bool.True
1229 | X2 -> Matita_datatypes_bool.True
1230 | X3 -> Matita_datatypes_bool.True
1231 | X4 -> Matita_datatypes_bool.True
1232 | X5 -> Matita_datatypes_bool.True
1233 | X6 -> Matita_datatypes_bool.True
1234 | X7 -> Matita_datatypes_bool.True
1235 | X8 -> Matita_datatypes_bool.True
1236 | X9 -> Matita_datatypes_bool.True
1237 | XA -> Matita_datatypes_bool.True
1238 | XB -> Matita_datatypes_bool.True
1239 | XC -> Matita_datatypes_bool.False
1240 | XD -> Matita_datatypes_bool.False
1241 | XE -> Matita_datatypes_bool.False
1242 | XF -> Matita_datatypes_bool.False)
1246 X0 -> Matita_datatypes_bool.True
1247 | X1 -> Matita_datatypes_bool.True
1248 | X2 -> Matita_datatypes_bool.True
1249 | X3 -> Matita_datatypes_bool.True
1250 | X4 -> Matita_datatypes_bool.True
1251 | X5 -> Matita_datatypes_bool.True
1252 | X6 -> Matita_datatypes_bool.True
1253 | X7 -> Matita_datatypes_bool.True
1254 | X8 -> Matita_datatypes_bool.True
1255 | X9 -> Matita_datatypes_bool.True
1256 | XA -> Matita_datatypes_bool.True
1257 | XB -> Matita_datatypes_bool.True
1258 | XC -> Matita_datatypes_bool.True
1259 | XD -> Matita_datatypes_bool.False
1260 | XE -> Matita_datatypes_bool.False
1261 | XF -> Matita_datatypes_bool.False)
1265 X0 -> Matita_datatypes_bool.True
1266 | X1 -> Matita_datatypes_bool.True
1267 | X2 -> Matita_datatypes_bool.True
1268 | X3 -> Matita_datatypes_bool.True
1269 | X4 -> Matita_datatypes_bool.True
1270 | X5 -> Matita_datatypes_bool.True
1271 | X6 -> Matita_datatypes_bool.True
1272 | X7 -> Matita_datatypes_bool.True
1273 | X8 -> Matita_datatypes_bool.True
1274 | X9 -> Matita_datatypes_bool.True
1275 | XA -> Matita_datatypes_bool.True
1276 | XB -> Matita_datatypes_bool.True
1277 | XC -> Matita_datatypes_bool.True
1278 | XD -> Matita_datatypes_bool.True
1279 | XE -> Matita_datatypes_bool.False
1280 | XF -> Matita_datatypes_bool.False)
1284 X0 -> Matita_datatypes_bool.True
1285 | X1 -> Matita_datatypes_bool.True
1286 | X2 -> Matita_datatypes_bool.True
1287 | X3 -> Matita_datatypes_bool.True
1288 | X4 -> Matita_datatypes_bool.True
1289 | X5 -> Matita_datatypes_bool.True
1290 | X6 -> Matita_datatypes_bool.True
1291 | X7 -> Matita_datatypes_bool.True
1292 | X8 -> Matita_datatypes_bool.True
1293 | X9 -> Matita_datatypes_bool.True
1294 | XA -> Matita_datatypes_bool.True
1295 | XB -> Matita_datatypes_bool.True
1296 | XC -> Matita_datatypes_bool.True
1297 | XD -> Matita_datatypes_bool.True
1298 | XE -> Matita_datatypes_bool.True
1299 | XF -> Matita_datatypes_bool.False)
1305 (function e1 -> (function e2 ->
1309 X0 -> Matita_datatypes_bool.True
1310 | X1 -> Matita_datatypes_bool.False
1311 | X2 -> Matita_datatypes_bool.False
1312 | X3 -> Matita_datatypes_bool.False
1313 | X4 -> Matita_datatypes_bool.False
1314 | X5 -> Matita_datatypes_bool.False
1315 | X6 -> Matita_datatypes_bool.False
1316 | X7 -> Matita_datatypes_bool.False
1317 | X8 -> Matita_datatypes_bool.False
1318 | X9 -> Matita_datatypes_bool.False
1319 | XA -> Matita_datatypes_bool.False
1320 | XB -> Matita_datatypes_bool.False
1321 | XC -> Matita_datatypes_bool.False
1322 | XD -> Matita_datatypes_bool.False
1323 | XE -> Matita_datatypes_bool.False
1324 | XF -> Matita_datatypes_bool.False)
1328 X0 -> Matita_datatypes_bool.True
1329 | X1 -> Matita_datatypes_bool.True
1330 | X2 -> Matita_datatypes_bool.False
1331 | X3 -> Matita_datatypes_bool.False
1332 | X4 -> Matita_datatypes_bool.False
1333 | X5 -> Matita_datatypes_bool.False
1334 | X6 -> Matita_datatypes_bool.False
1335 | X7 -> Matita_datatypes_bool.False
1336 | X8 -> Matita_datatypes_bool.False
1337 | X9 -> Matita_datatypes_bool.False
1338 | XA -> Matita_datatypes_bool.False
1339 | XB -> Matita_datatypes_bool.False
1340 | XC -> Matita_datatypes_bool.False
1341 | XD -> Matita_datatypes_bool.False
1342 | XE -> Matita_datatypes_bool.False
1343 | XF -> Matita_datatypes_bool.False)
1347 X0 -> Matita_datatypes_bool.True
1348 | X1 -> Matita_datatypes_bool.True
1349 | X2 -> Matita_datatypes_bool.True
1350 | X3 -> Matita_datatypes_bool.False
1351 | X4 -> Matita_datatypes_bool.False
1352 | X5 -> Matita_datatypes_bool.False
1353 | X6 -> Matita_datatypes_bool.False
1354 | X7 -> Matita_datatypes_bool.False
1355 | X8 -> Matita_datatypes_bool.False
1356 | X9 -> Matita_datatypes_bool.False
1357 | XA -> Matita_datatypes_bool.False
1358 | XB -> Matita_datatypes_bool.False
1359 | XC -> Matita_datatypes_bool.False
1360 | XD -> Matita_datatypes_bool.False
1361 | XE -> Matita_datatypes_bool.False
1362 | XF -> Matita_datatypes_bool.False)
1366 X0 -> Matita_datatypes_bool.True
1367 | X1 -> Matita_datatypes_bool.True
1368 | X2 -> Matita_datatypes_bool.True
1369 | X3 -> Matita_datatypes_bool.True
1370 | X4 -> Matita_datatypes_bool.False
1371 | X5 -> Matita_datatypes_bool.False
1372 | X6 -> Matita_datatypes_bool.False
1373 | X7 -> Matita_datatypes_bool.False
1374 | X8 -> Matita_datatypes_bool.False
1375 | X9 -> Matita_datatypes_bool.False
1376 | XA -> Matita_datatypes_bool.False
1377 | XB -> Matita_datatypes_bool.False
1378 | XC -> Matita_datatypes_bool.False
1379 | XD -> Matita_datatypes_bool.False
1380 | XE -> Matita_datatypes_bool.False
1381 | XF -> Matita_datatypes_bool.False)
1385 X0 -> Matita_datatypes_bool.True
1386 | X1 -> Matita_datatypes_bool.True
1387 | X2 -> Matita_datatypes_bool.True
1388 | X3 -> Matita_datatypes_bool.True
1389 | X4 -> Matita_datatypes_bool.True
1390 | X5 -> Matita_datatypes_bool.False
1391 | X6 -> Matita_datatypes_bool.False
1392 | X7 -> Matita_datatypes_bool.False
1393 | X8 -> Matita_datatypes_bool.False
1394 | X9 -> Matita_datatypes_bool.False
1395 | XA -> Matita_datatypes_bool.False
1396 | XB -> Matita_datatypes_bool.False
1397 | XC -> Matita_datatypes_bool.False
1398 | XD -> Matita_datatypes_bool.False
1399 | XE -> Matita_datatypes_bool.False
1400 | XF -> Matita_datatypes_bool.False)
1404 X0 -> Matita_datatypes_bool.True
1405 | X1 -> Matita_datatypes_bool.True
1406 | X2 -> Matita_datatypes_bool.True
1407 | X3 -> Matita_datatypes_bool.True
1408 | X4 -> Matita_datatypes_bool.True
1409 | X5 -> Matita_datatypes_bool.True
1410 | X6 -> Matita_datatypes_bool.False
1411 | X7 -> Matita_datatypes_bool.False
1412 | X8 -> Matita_datatypes_bool.False
1413 | X9 -> Matita_datatypes_bool.False
1414 | XA -> Matita_datatypes_bool.False
1415 | XB -> Matita_datatypes_bool.False
1416 | XC -> Matita_datatypes_bool.False
1417 | XD -> Matita_datatypes_bool.False
1418 | XE -> Matita_datatypes_bool.False
1419 | XF -> Matita_datatypes_bool.False)
1423 X0 -> Matita_datatypes_bool.True
1424 | X1 -> Matita_datatypes_bool.True
1425 | X2 -> Matita_datatypes_bool.True
1426 | X3 -> Matita_datatypes_bool.True
1427 | X4 -> Matita_datatypes_bool.True
1428 | X5 -> Matita_datatypes_bool.True
1429 | X6 -> Matita_datatypes_bool.True
1430 | X7 -> Matita_datatypes_bool.False
1431 | X8 -> Matita_datatypes_bool.False
1432 | X9 -> Matita_datatypes_bool.False
1433 | XA -> Matita_datatypes_bool.False
1434 | XB -> Matita_datatypes_bool.False
1435 | XC -> Matita_datatypes_bool.False
1436 | XD -> Matita_datatypes_bool.False
1437 | XE -> Matita_datatypes_bool.False
1438 | XF -> Matita_datatypes_bool.False)
1442 X0 -> Matita_datatypes_bool.True
1443 | X1 -> Matita_datatypes_bool.True
1444 | X2 -> Matita_datatypes_bool.True
1445 | X3 -> Matita_datatypes_bool.True
1446 | X4 -> Matita_datatypes_bool.True
1447 | X5 -> Matita_datatypes_bool.True
1448 | X6 -> Matita_datatypes_bool.True
1449 | X7 -> Matita_datatypes_bool.True
1450 | X8 -> Matita_datatypes_bool.False
1451 | X9 -> Matita_datatypes_bool.False
1452 | XA -> Matita_datatypes_bool.False
1453 | XB -> Matita_datatypes_bool.False
1454 | XC -> Matita_datatypes_bool.False
1455 | XD -> Matita_datatypes_bool.False
1456 | XE -> Matita_datatypes_bool.False
1457 | XF -> Matita_datatypes_bool.False)
1461 X0 -> Matita_datatypes_bool.True
1462 | X1 -> Matita_datatypes_bool.True
1463 | X2 -> Matita_datatypes_bool.True
1464 | X3 -> Matita_datatypes_bool.True
1465 | X4 -> Matita_datatypes_bool.True
1466 | X5 -> Matita_datatypes_bool.True
1467 | X6 -> Matita_datatypes_bool.True
1468 | X7 -> Matita_datatypes_bool.True
1469 | X8 -> Matita_datatypes_bool.True
1470 | X9 -> Matita_datatypes_bool.False
1471 | XA -> Matita_datatypes_bool.False
1472 | XB -> Matita_datatypes_bool.False
1473 | XC -> Matita_datatypes_bool.False
1474 | XD -> Matita_datatypes_bool.False
1475 | XE -> Matita_datatypes_bool.False
1476 | XF -> Matita_datatypes_bool.False)
1480 X0 -> Matita_datatypes_bool.True
1481 | X1 -> Matita_datatypes_bool.True
1482 | X2 -> Matita_datatypes_bool.True
1483 | X3 -> Matita_datatypes_bool.True
1484 | X4 -> Matita_datatypes_bool.True
1485 | X5 -> Matita_datatypes_bool.True
1486 | X6 -> Matita_datatypes_bool.True
1487 | X7 -> Matita_datatypes_bool.True
1488 | X8 -> Matita_datatypes_bool.True
1489 | X9 -> Matita_datatypes_bool.True
1490 | XA -> Matita_datatypes_bool.False
1491 | XB -> Matita_datatypes_bool.False
1492 | XC -> Matita_datatypes_bool.False
1493 | XD -> Matita_datatypes_bool.False
1494 | XE -> Matita_datatypes_bool.False
1495 | XF -> Matita_datatypes_bool.False)
1499 X0 -> Matita_datatypes_bool.True
1500 | X1 -> Matita_datatypes_bool.True
1501 | X2 -> Matita_datatypes_bool.True
1502 | X3 -> Matita_datatypes_bool.True
1503 | X4 -> Matita_datatypes_bool.True
1504 | X5 -> Matita_datatypes_bool.True
1505 | X6 -> Matita_datatypes_bool.True
1506 | X7 -> Matita_datatypes_bool.True
1507 | X8 -> Matita_datatypes_bool.True
1508 | X9 -> Matita_datatypes_bool.True
1509 | XA -> Matita_datatypes_bool.True
1510 | XB -> Matita_datatypes_bool.False
1511 | XC -> Matita_datatypes_bool.False
1512 | XD -> Matita_datatypes_bool.False
1513 | XE -> Matita_datatypes_bool.False
1514 | XF -> Matita_datatypes_bool.False)
1518 X0 -> Matita_datatypes_bool.True
1519 | X1 -> Matita_datatypes_bool.True
1520 | X2 -> Matita_datatypes_bool.True
1521 | X3 -> Matita_datatypes_bool.True
1522 | X4 -> Matita_datatypes_bool.True
1523 | X5 -> Matita_datatypes_bool.True
1524 | X6 -> Matita_datatypes_bool.True
1525 | X7 -> Matita_datatypes_bool.True
1526 | X8 -> Matita_datatypes_bool.True
1527 | X9 -> Matita_datatypes_bool.True
1528 | XA -> Matita_datatypes_bool.True
1529 | XB -> Matita_datatypes_bool.True
1530 | XC -> Matita_datatypes_bool.False
1531 | XD -> Matita_datatypes_bool.False
1532 | XE -> Matita_datatypes_bool.False
1533 | XF -> Matita_datatypes_bool.False)
1537 X0 -> Matita_datatypes_bool.True
1538 | X1 -> Matita_datatypes_bool.True
1539 | X2 -> Matita_datatypes_bool.True
1540 | X3 -> Matita_datatypes_bool.True
1541 | X4 -> Matita_datatypes_bool.True
1542 | X5 -> Matita_datatypes_bool.True
1543 | X6 -> Matita_datatypes_bool.True
1544 | X7 -> Matita_datatypes_bool.True
1545 | X8 -> Matita_datatypes_bool.True
1546 | X9 -> Matita_datatypes_bool.True
1547 | XA -> Matita_datatypes_bool.True
1548 | XB -> Matita_datatypes_bool.True
1549 | XC -> Matita_datatypes_bool.True
1550 | XD -> Matita_datatypes_bool.False
1551 | XE -> Matita_datatypes_bool.False
1552 | XF -> Matita_datatypes_bool.False)
1556 X0 -> Matita_datatypes_bool.True
1557 | X1 -> Matita_datatypes_bool.True
1558 | X2 -> Matita_datatypes_bool.True
1559 | X3 -> Matita_datatypes_bool.True
1560 | X4 -> Matita_datatypes_bool.True
1561 | X5 -> Matita_datatypes_bool.True
1562 | X6 -> Matita_datatypes_bool.True
1563 | X7 -> Matita_datatypes_bool.True
1564 | X8 -> Matita_datatypes_bool.True
1565 | X9 -> Matita_datatypes_bool.True
1566 | XA -> Matita_datatypes_bool.True
1567 | XB -> Matita_datatypes_bool.True
1568 | XC -> Matita_datatypes_bool.True
1569 | XD -> Matita_datatypes_bool.True
1570 | XE -> Matita_datatypes_bool.False
1571 | XF -> Matita_datatypes_bool.False)
1575 X0 -> Matita_datatypes_bool.True
1576 | X1 -> Matita_datatypes_bool.True
1577 | X2 -> Matita_datatypes_bool.True
1578 | X3 -> Matita_datatypes_bool.True
1579 | X4 -> Matita_datatypes_bool.True
1580 | X5 -> Matita_datatypes_bool.True
1581 | X6 -> Matita_datatypes_bool.True
1582 | X7 -> Matita_datatypes_bool.True
1583 | X8 -> Matita_datatypes_bool.True
1584 | X9 -> Matita_datatypes_bool.True
1585 | XA -> Matita_datatypes_bool.True
1586 | XB -> Matita_datatypes_bool.True
1587 | XC -> Matita_datatypes_bool.True
1588 | XD -> Matita_datatypes_bool.True
1589 | XE -> Matita_datatypes_bool.True
1590 | XF -> Matita_datatypes_bool.False)
1594 X0 -> Matita_datatypes_bool.True
1595 | X1 -> Matita_datatypes_bool.True
1596 | X2 -> Matita_datatypes_bool.True
1597 | X3 -> Matita_datatypes_bool.True
1598 | X4 -> Matita_datatypes_bool.True
1599 | X5 -> Matita_datatypes_bool.True
1600 | X6 -> Matita_datatypes_bool.True
1601 | X7 -> Matita_datatypes_bool.True
1602 | X8 -> Matita_datatypes_bool.True
1603 | X9 -> Matita_datatypes_bool.True
1604 | XA -> Matita_datatypes_bool.True
1605 | XB -> Matita_datatypes_bool.True
1606 | XC -> Matita_datatypes_bool.True
1607 | XD -> Matita_datatypes_bool.True
1608 | XE -> Matita_datatypes_bool.True
1609 | XF -> Matita_datatypes_bool.True)
1615 (function e1 -> (function e2 ->
1925 (function e1 -> (function e2 ->
2235 (function e1 -> (function e2 ->
2545 (function e -> (function c ->
2547 Matita_datatypes_bool.True ->
2549 X0 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2550 | X1 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
2551 | X2 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2552 | X3 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
2553 | X4 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2554 | X5 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
2555 | X6 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2556 | X7 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True))
2557 | X8 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2558 | X9 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.True))
2559 | XA -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2560 | XB -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.True))
2561 | XC -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2562 | XD -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.True))
2563 | XE -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2564 | XF -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.True)))
2566 | Matita_datatypes_bool.False ->
2568 X0 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.False))
2569 | X1 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2570 | X2 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.False))
2571 | X3 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2572 | X4 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.False))
2573 | X5 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2574 | X6 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.False))
2575 | X7 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2576 | X8 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
2577 | X9 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2578 | XA -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
2579 | XB -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
2580 | XC -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
2581 | XD -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
2582 | XE -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
2583 | XF -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True)))
2591 X0 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.False))
2592 | X1 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2593 | X2 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.False))
2594 | X3 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2595 | X4 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.False))
2596 | X5 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2597 | X6 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.False))
2598 | X7 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2599 | X8 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
2600 | X9 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2601 | XA -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
2602 | XB -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
2603 | XC -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
2604 | XD -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
2605 | XE -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
2606 | XF -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True)))
2634 (function e -> (function n ->
2636 Matita_nat_nat.O -> e
2637 | Matita_nat_nat.S(n') -> (ror_ex_n (ror_ex e) n'))
2642 (function e -> (function c ->
2644 Matita_datatypes_bool.True ->
2646 X0 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.False))
2647 | X1 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.False))
2648 | X2 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
2649 | X3 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
2650 | X4 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2651 | X5 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2652 | X6 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2653 | X7 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2654 | X8 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2655 | X9 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2656 | XA -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
2657 | XB -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
2658 | XC -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
2659 | XD -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True))
2660 | XE -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.True))
2661 | XF -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.True)))
2663 | Matita_datatypes_bool.False ->
2665 X0 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.False))
2666 | X1 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.False))
2667 | X2 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
2668 | X3 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
2669 | X4 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2670 | X5 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2671 | X6 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2672 | X7 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2673 | X8 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2674 | X9 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2675 | XA -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2676 | XB -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
2677 | XC -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
2678 | XD -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
2679 | XE -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.True))
2680 | XF -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.True)))
2688 X0 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.False))
2689 | X1 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.False))
2690 | X2 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
2691 | X3 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
2692 | X4 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2693 | X5 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2694 | X6 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2695 | X7 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2696 | X8 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2697 | X9 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2698 | XA -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2699 | XB -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
2700 | XC -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
2701 | XD -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
2702 | XE -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.True))
2703 | XF -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.True)))
2731 (function e -> (function n ->
2733 Matita_nat_nat.O -> e
2734 | Matita_nat_nat.S(n') -> (rol_ex_n (rol_ex e) n'))
2761 (function e1 -> (function e2 -> (function c ->
2763 Matita_datatypes_bool.True ->
2767 X0 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.False))
2768 | X1 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.False))
2769 | X2 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.False))
2770 | X3 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
2771 | X4 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
2772 | X5 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
2773 | X6 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
2774 | X7 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2775 | X8 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2776 | X9 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2777 | XA -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2778 | XB -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2779 | XC -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2780 | XD -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2781 | XE -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2782 | XF -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True)))
2786 X0 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.False))
2787 | X1 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.False))
2788 | X2 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
2789 | X3 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
2790 | X4 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
2791 | X5 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
2792 | X6 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2793 | X7 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2794 | X8 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2795 | X9 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2796 | XA -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2797 | XB -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2798 | XC -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2799 | XD -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2800 | XE -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2801 | XF -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True)))
2805 X0 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.False))
2806 | X1 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
2807 | X2 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
2808 | X3 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
2809 | X4 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
2810 | X5 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2811 | X6 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2812 | X7 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2813 | X8 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2814 | X9 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2815 | XA -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2816 | XB -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2817 | XC -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2818 | XD -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2819 | XE -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2820 | XF -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True)))
2824 X0 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
2825 | X1 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
2826 | X2 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
2827 | X3 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
2828 | X4 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2829 | X5 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2830 | X6 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2831 | X7 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2832 | X8 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2833 | X9 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2834 | XA -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2835 | XB -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2836 | XC -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2837 | XD -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2838 | XE -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2839 | XF -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True)))
2843 X0 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
2844 | X1 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
2845 | X2 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
2846 | X3 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2847 | X4 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2848 | X5 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2849 | X6 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2850 | X7 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2851 | X8 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2852 | X9 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2853 | XA -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2854 | XB -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2855 | XC -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2856 | XD -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2857 | XE -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2858 | XF -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True)))
2862 X0 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
2863 | X1 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
2864 | X2 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2865 | X3 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2866 | X4 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2867 | X5 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2868 | X6 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2869 | X7 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2870 | X8 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2871 | X9 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2872 | XA -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2873 | XB -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2874 | XC -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2875 | XD -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2876 | XE -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2877 | XF -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True)))
2881 X0 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
2882 | X1 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2883 | X2 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2884 | X3 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2885 | X4 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2886 | X5 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2887 | X6 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2888 | X7 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2889 | X8 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2890 | X9 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2891 | XA -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2892 | XB -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2893 | XC -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2894 | XD -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2895 | XE -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
2896 | XF -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True)))
2900 X0 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
2901 | X1 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2902 | X2 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2903 | X3 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2904 | X4 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2905 | X5 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2906 | X6 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2907 | X7 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2908 | X8 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2909 | X9 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2910 | XA -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2911 | XB -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2912 | XC -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2913 | XD -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
2914 | XE -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
2915 | XF -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True)))
2919 X0 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
2920 | X1 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2921 | X2 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2922 | X3 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2923 | X4 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2924 | X5 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2925 | X6 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2926 | X7 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2927 | X8 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2928 | X9 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2929 | XA -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2930 | XB -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2931 | XC -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
2932 | XD -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
2933 | XE -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
2934 | XF -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True)))
2938 X0 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
2939 | X1 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2940 | X2 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2941 | X3 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2942 | X4 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2943 | X5 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2944 | X6 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2945 | X7 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2946 | X8 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2947 | X9 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2948 | XA -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2949 | XB -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
2950 | XC -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
2951 | XD -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
2952 | XE -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
2953 | XF -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True)))
2957 X0 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
2958 | X1 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2959 | X2 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2960 | X3 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2961 | X4 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2962 | X5 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2963 | X6 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2964 | X7 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2965 | X8 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2966 | X9 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2967 | XA -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
2968 | XB -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
2969 | XC -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
2970 | XD -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
2971 | XE -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
2972 | XF -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True)))
2976 X0 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
2977 | X1 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2978 | X2 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2979 | X3 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2980 | X4 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2981 | X5 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
2982 | X6 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
2983 | X7 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
2984 | X8 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
2985 | X9 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
2986 | XA -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
2987 | XB -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
2988 | XC -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
2989 | XD -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
2990 | XE -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
2991 | XF -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True)))
2995 X0 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
2996 | X1 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
2997 | X2 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
2998 | X3 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
2999 | X4 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3000 | X5 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3001 | X6 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3002 | X7 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3003 | X8 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3004 | X9 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3005 | XA -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3006 | XB -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
3007 | XC -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
3008 | XD -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
3009 | XE -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True))
3010 | XF -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.True)))
3014 X0 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3015 | X1 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3016 | X2 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3017 | X3 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3018 | X4 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3019 | X5 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3020 | X6 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3021 | X7 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3022 | X8 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3023 | X9 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3024 | XA -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
3025 | XB -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
3026 | XC -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
3027 | XD -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True))
3028 | XE -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.True))
3029 | XF -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.True)))
3033 X0 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3034 | X1 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3035 | X2 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3036 | X3 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3037 | X4 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3038 | X5 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3039 | X6 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3040 | X7 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3041 | X8 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3042 | X9 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
3043 | XA -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
3044 | XB -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
3045 | XC -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True))
3046 | XD -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.True))
3047 | XE -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.True))
3048 | XF -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.True)))
3052 X0 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3053 | X1 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3054 | X2 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3055 | X3 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3056 | X4 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3057 | X5 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3058 | X6 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3059 | X7 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3060 | X8 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
3061 | X9 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
3062 | XA -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
3063 | XB -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True))
3064 | XC -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.True))
3065 | XD -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.True))
3066 | XE -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.True))
3067 | XF -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.True)))
3070 | Matita_datatypes_bool.False ->
3074 X0 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.False))
3075 | X1 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.False))
3076 | X2 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.False))
3077 | X3 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.False))
3078 | X4 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
3079 | X5 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
3080 | X6 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
3081 | X7 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
3082 | X8 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
3083 | X9 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
3084 | XA -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3085 | XB -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3086 | XC -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3087 | XD -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3088 | XE -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3089 | XF -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False)))
3093 X0 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.False))
3094 | X1 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.False))
3095 | X2 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.False))
3096 | X3 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
3097 | X4 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
3098 | X5 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
3099 | X6 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
3100 | X7 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
3101 | X8 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
3102 | X9 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3103 | XA -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3104 | XB -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3105 | XC -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3106 | XD -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3107 | XE -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3108 | XF -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True)))
3112 X0 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.False))
3113 | X1 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.False))
3114 | X2 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
3115 | X3 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
3116 | X4 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
3117 | X5 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
3118 | X6 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
3119 | X7 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
3120 | X8 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3121 | X9 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3122 | XA -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3123 | XB -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3124 | XC -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3125 | XD -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3126 | XE -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3127 | XF -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True)))
3131 X0 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.False))
3132 | X1 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
3133 | X2 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
3134 | X3 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
3135 | X4 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
3136 | X5 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
3137 | X6 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
3138 | X7 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3139 | X8 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3140 | X9 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3141 | XA -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3142 | XB -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3143 | XC -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3144 | XD -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3145 | XE -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3146 | XF -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True)))
3150 X0 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.False))
3151 | X1 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
3152 | X2 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
3153 | X3 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
3154 | X4 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
3155 | X5 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
3156 | X6 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3157 | X7 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3158 | X8 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3159 | X9 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3160 | XA -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3161 | XB -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3162 | XC -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3163 | XD -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3164 | XE -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3165 | XF -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True)))
3169 X0 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.False))
3170 | X1 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
3171 | X2 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
3172 | X3 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
3173 | X4 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
3174 | X5 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3175 | X6 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3176 | X7 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3177 | X8 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3178 | X9 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3179 | XA -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3180 | XB -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3181 | XC -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3182 | XD -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3183 | XE -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3184 | XF -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True)))
3188 X0 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.False))
3189 | X1 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
3190 | X2 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
3191 | X3 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
3192 | X4 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3193 | X5 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3194 | X6 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3195 | X7 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3196 | X8 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3197 | X9 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3198 | XA -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3199 | XB -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3200 | XC -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3201 | XD -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3202 | XE -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3203 | XF -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True)))
3207 X0 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.False))
3208 | X1 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
3209 | X2 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
3210 | X3 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3211 | X4 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3212 | X5 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3213 | X6 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3214 | X7 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3215 | X8 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3216 | X9 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3217 | XA -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3218 | XB -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3219 | XC -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3220 | XD -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3221 | XE -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3222 | XF -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True)))
3226 X0 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.False))
3227 | X1 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
3228 | X2 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3229 | X3 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3230 | X4 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3231 | X5 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3232 | X6 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3233 | X7 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3234 | X8 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3235 | X9 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3236 | XA -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3237 | XB -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3238 | XC -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3239 | XD -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3240 | XE -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3241 | XF -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True)))
3245 X0 -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.False))
3246 | X1 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3247 | X2 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3248 | X3 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3249 | X4 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3250 | X5 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3251 | X6 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3252 | X7 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3253 | X8 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3254 | X9 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3255 | XA -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3256 | XB -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3257 | XC -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3258 | XD -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3259 | XE -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3260 | XF -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True)))
3264 X0 -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.False))
3265 | X1 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3266 | X2 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3267 | X3 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3268 | X4 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3269 | X5 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3270 | X6 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3271 | X7 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3272 | X8 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3273 | X9 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3274 | XA -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3275 | XB -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3276 | XC -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3277 | XD -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3278 | XE -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
3279 | XF -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True)))
3283 X0 -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.False))
3284 | X1 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3285 | X2 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3286 | X3 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3287 | X4 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3288 | X5 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3289 | X6 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3290 | X7 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3291 | X8 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3292 | X9 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3293 | XA -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3294 | XB -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3295 | XC -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3296 | XD -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
3297 | XE -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
3298 | XF -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True)))
3302 X0 -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.False))
3303 | X1 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3304 | X2 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3305 | X3 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3306 | X4 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3307 | X5 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3308 | X6 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3309 | X7 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3310 | X8 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3311 | X9 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3312 | XA -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3313 | XB -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3314 | XC -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
3315 | XD -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
3316 | XE -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
3317 | XF -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True)))
3321 X0 -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.False))
3322 | X1 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3323 | X2 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3324 | X3 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3325 | X4 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3326 | X5 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3327 | X6 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3328 | X7 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3329 | X8 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3330 | X9 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3331 | XA -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3332 | XB -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
3333 | XC -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
3334 | XD -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
3335 | XE -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True))
3336 | XF -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.True)))
3340 X0 -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.False))
3341 | X1 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3342 | X2 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3343 | X3 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3344 | X4 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3345 | X5 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3346 | X6 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3347 | X7 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3348 | X8 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3349 | X9 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3350 | XA -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
3351 | XB -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
3352 | XC -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
3353 | XD -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True))
3354 | XE -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.True))
3355 | XF -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.True)))
3359 X0 -> (Matita_datatypes_constructors.Pair(XF,Matita_datatypes_bool.False))
3360 | X1 -> (Matita_datatypes_constructors.Pair(X0,Matita_datatypes_bool.True))
3361 | X2 -> (Matita_datatypes_constructors.Pair(X1,Matita_datatypes_bool.True))
3362 | X3 -> (Matita_datatypes_constructors.Pair(X2,Matita_datatypes_bool.True))
3363 | X4 -> (Matita_datatypes_constructors.Pair(X3,Matita_datatypes_bool.True))
3364 | X5 -> (Matita_datatypes_constructors.Pair(X4,Matita_datatypes_bool.True))
3365 | X6 -> (Matita_datatypes_constructors.Pair(X5,Matita_datatypes_bool.True))
3366 | X7 -> (Matita_datatypes_constructors.Pair(X6,Matita_datatypes_bool.True))
3367 | X8 -> (Matita_datatypes_constructors.Pair(X7,Matita_datatypes_bool.True))
3368 | X9 -> (Matita_datatypes_constructors.Pair(X8,Matita_datatypes_bool.True))
3369 | XA -> (Matita_datatypes_constructors.Pair(X9,Matita_datatypes_bool.True))
3370 | XB -> (Matita_datatypes_constructors.Pair(XA,Matita_datatypes_bool.True))
3371 | XC -> (Matita_datatypes_constructors.Pair(XB,Matita_datatypes_bool.True))
3372 | XD -> (Matita_datatypes_constructors.Pair(XC,Matita_datatypes_bool.True))
3373 | XE -> (Matita_datatypes_constructors.Pair(XD,Matita_datatypes_bool.True))
3374 | XF -> (Matita_datatypes_constructors.Pair(XE,Matita_datatypes_bool.True)))
3381 (function e1 -> (function e2 -> (Matita_datatypes_constructors.fst (plus_ex e1 e2 Matita_datatypes_bool.False))))
3385 (function e1 -> (function e2 -> (Matita_datatypes_constructors.snd (plus_ex e1 e2 Matita_datatypes_bool.False))))
3391 X0 -> Matita_datatypes_bool.False
3392 | X1 -> Matita_datatypes_bool.False
3393 | X2 -> Matita_datatypes_bool.False
3394 | X3 -> Matita_datatypes_bool.False
3395 | X4 -> Matita_datatypes_bool.False
3396 | X5 -> Matita_datatypes_bool.False
3397 | X6 -> Matita_datatypes_bool.False
3398 | X7 -> Matita_datatypes_bool.False
3399 | X8 -> Matita_datatypes_bool.True
3400 | X9 -> Matita_datatypes_bool.True
3401 | XA -> Matita_datatypes_bool.True
3402 | XB -> Matita_datatypes_bool.True
3403 | XC -> Matita_datatypes_bool.True
3404 | XD -> Matita_datatypes_bool.True
3405 | XE -> Matita_datatypes_bool.True
3406 | XF -> Matita_datatypes_bool.True)
3410 let nat_of_exadecim =
3413 X0 -> Matita_nat_nat.O
3414 | X1 -> (Matita_nat_nat.S(Matita_nat_nat.O))
3415 | X2 -> (Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))
3416 | X3 -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))
3417 | X4 -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))
3418 | X5 -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))))
3419 | X6 -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))))))
3420 | X7 -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))))))))
3421 | X8 -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))))))))))
3422 | X9 -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))))))))))))
3423 | XA -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))))))))))))))
3424 | XB -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))))))))))))))))
3425 | XC -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))))))))))))))))))
3426 | XD -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))))))))))))))))))))
3427 | XE -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O))))))))))))))))))))))))))))
3428 | XF -> (Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S((Matita_nat_nat.S(Matita_nat_nat.O)))))))))))))))))))))))))))))))
3432 let exadecim_of_nat =
3433 let rec exadecim_of_nat =
3436 Matita_nat_nat.O -> X0
3437 | Matita_nat_nat.S(n) ->
3439 Matita_nat_nat.O -> X1
3440 | Matita_nat_nat.S(n) ->
3442 Matita_nat_nat.O -> X2
3443 | Matita_nat_nat.S(n) ->
3445 Matita_nat_nat.O -> X3
3446 | Matita_nat_nat.S(n) ->
3448 Matita_nat_nat.O -> X4
3449 | Matita_nat_nat.S(n) ->
3451 Matita_nat_nat.O -> X5
3452 | Matita_nat_nat.S(n) ->
3454 Matita_nat_nat.O -> X6
3455 | Matita_nat_nat.S(n) ->
3457 Matita_nat_nat.O -> X7
3458 | Matita_nat_nat.S(n) ->
3460 Matita_nat_nat.O -> X8
3461 | Matita_nat_nat.S(n) ->
3463 Matita_nat_nat.O -> X9
3464 | Matita_nat_nat.S(n) ->
3466 Matita_nat_nat.O -> XA
3467 | Matita_nat_nat.S(n) ->
3469 Matita_nat_nat.O -> XB
3470 | Matita_nat_nat.S(n) ->
3472 Matita_nat_nat.O -> XC
3473 | Matita_nat_nat.S(n) ->
3475 Matita_nat_nat.O -> XD
3476 | Matita_nat_nat.S(n) ->
3478 Matita_nat_nat.O -> XE
3479 | Matita_nat_nat.S(n) ->
3481 Matita_nat_nat.O -> XF
3482 | Matita_nat_nat.S(n) -> (exadecim_of_nat n))
3498 ) in exadecim_of_nat
3567 let forall_exadecim =
3568 (function p -> (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (Matita_freescale_extra.and_bool (p X0) (p X1)) (p X2)) (p X3)) (p X4)) (p X5)) (p X6)) (p X7)) (p X8)) (p X9)) (p XA)) (p XB)) (p XC)) (p XD)) (p XE)) (p XF)))