]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/doc/manual/src/pic/node_clone.fig
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / doc / manual / src / pic / node_clone.fig
1 #FIG 3.2
2 Portrait
3 Center
4 Metric
5 A4      
6 100.00
7 Single
8 -2
9 1200 2
10 1 3 0 1 0 7 95 0 15 4.000 1 0.0000 2700 1800 229 229 2700 1800 2925 1845
11 1 3 0 1 0 7 95 0 15 4.000 1 0.0000 2025 2700 229 229 2025 2700 2250 2745
12 1 3 0 1 0 7 95 0 15 4.000 1 0.0000 3375 2700 229 229 3375 2700 3600 2745
13 1 3 0 1 0 7 95 0 15 4.000 1 0.0000 6345 1800 229 229 6345 1800 6570 1845
14 1 3 0 1 0 7 95 0 15 4.000 1 0.0000 5670 2700 229 229 5670 2700 5895 2745
15 1 3 0 1 0 7 95 0 15 4.000 1 0.0000 7020 2700 229 229 7020 2700 7245 2745
16 1 3 0 1 0 7 95 0 10 4.000 1 0.0000 8325 1800 229 229 8325 1800 8550 1845
17 1 3 0 1 0 7 95 0 10 4.000 1 0.0000 7875 2700 229 229 7875 2700 8100 2745
18 1 3 0 1 0 7 95 0 10 4.000 1 0.0000 8775 2700 229 229 8775 2700 9000 2745
19 1 3 0 1 0 7 95 0 10 4.000 1 0.0000 6345 2700 229 229 6345 2700 6570 2745
20 1 3 0 1 0 7 95 0 10 4.000 1 0.0000 5895 3600 229 229 5895 3600 6120 3645
21 1 3 0 1 0 7 95 0 10 4.000 1 0.0000 6795 3600 229 229 6795 3600 7020 3645
22 1 3 0 1 0 7 95 0 10 4.000 1 0.0000 2700 2700 229 229 2700 2700 2925 2745
23 1 3 0 1 0 7 95 0 10 4.000 1 0.0000 2250 3600 229 229 2250 3600 2475 3645
24 1 3 0 1 0 7 95 0 10 4.000 1 0.0000 3150 3600 229 229 3150 3600 3375 3645
25 2 1 0 5 0 7 95 0 -1 12.000 1 0 -1 0 0 2
26          4050 2610 4725 2610
27 2 1 0 5 0 7 95 0 -1 12.000 1 0 -1 0 0 2
28          4050 2745 4725 2745
29 2 1 0 5 0 7 95 0 -1 12.000 1 1 -1 0 0 3
30          4500 2385 4950 2655 4500 2970
31 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
32         1 1 1.00 60.00 120.00
33          2490 1905 2025 2467
34 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
35         1 1 1.00 60.00 120.00
36          2827 2002 3202 2542
37 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
38         1 0 1.00 60.00 120.00
39          2115 2475 2535 1965
40 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
41         1 0 1.00 60.00 120.00
42          3255 2505 2872 1957
43 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
44         1 1 1.00 60.00 120.00
45          6135 1905 5670 2467
46 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
47         1 1 1.00 60.00 120.00
48          6472 2002 6847 2542
49 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
50         1 0 1.00 60.00 120.00
51          5760 2475 6180 1965
52 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
53         1 0 1.00 60.00 120.00
54          6900 2505 6517 1957
55 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
56         1 1 1.00 60.00 120.00
57          8160 1957 7860 2460
58 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
59         1 1 1.00 60.00 120.00
60          8407 2032 8625 2520
61 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
62         1 0 1.00 60.00 120.00
63          7942 2467 8212 2010
64 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
65         1 0 1.00 60.00 120.00
66          8685 2475 8467 1987
67 2 2 0 1 0 7 80 0 -1 4.000 0 0 -1 0 0 5
68          1575 1350 9225 1350 9225 4050 1575 4050 1575 1350
69 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
70         1 0 1.00 60.00 120.00
71          6382 2460 6382 2032
72 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
73         1 1 1.00 60.00 120.00
74          6307 2032 6307 2467
75 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
76         1 1 1.00 60.00 120.00
77          6180 2857 5880 3360
78 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
79         1 1 1.00 60.00 120.00
80          6427 2932 6645 3420
81 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
82         1 0 1.00 60.00 120.00
83          5962 3367 6232 2910
84 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
85         1 0 1.00 60.00 120.00
86          6705 3375 6487 2887
87 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
88         1 0 1.00 60.00 120.00
89          2737 2460 2737 2032
90 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
91         1 1 1.00 60.00 120.00
92          2662 2032 2662 2467
93 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
94         1 1 1.00 60.00 120.00
95          2535 2857 2235 3360
96 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
97         1 1 1.00 60.00 120.00
98          2782 2932 3000 3420
99 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
100         1 0 1.00 60.00 120.00
101          2317 3367 2587 2910
102 2 1 0 1 0 7 95 0 -1 4.000 0 0 -1 1 0 2
103         1 0 1.00 60.00 120.00
104          3060 3375 2842 2887
105 4 0 0 80 0 14 12 0.0000 4 105 105 2655 1845 y\001
106 4 0 0 80 0 14 12 0.0000 4 105 105 6300 1845 y\001
107 4 0 0 80 0 14 12 0.0000 4 75 105 6285 2752 x\001
108 4 0 0 80 0 14 12 0.0000 4 75 105 2640 2752 x\001
109 4 0 0 80 0 12 12 0.0000 4 105 840 3690 2025 let x' =\001
110 4 0 0 80 0 12 12 0.0000 4 150 1890 3690 2205 x # orphaned_clone\001
111 4 0 0 80 0 14 12 0.0000 4 105 210 8235 1845 x'\001