]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/whelp/architecture.fig
absolute path and factorization for matita.basedir
[helm.git] / helm / papers / whelp / architecture.fig
1 #FIG 3.2  Produced by xfig version 3.2.5-alpha5
2 Landscape
3 Center
4 Metric
5 A4      
6 100.00
7 Single
8 -2
9 1200 2
10 5 1 0 1 0 7 50 0 -1 0.000 0 0 0 0 15435.000 2880.000 15435 2520 15795 2880 15435 3240
11 5 1 0 1 0 7 50 0 -1 0.000 0 0 0 0 15225.577 3009.808 15255 2700 15525 2925 15435 3240
12 5 1 0 1 0 7 50 0 -1 0.000 0 0 0 0 8415.000 2880.000 8415 2520 8775 2880 8415 3240
13 5 1 0 1 0 7 50 0 -1 0.000 0 1 0 0 8342.764 2980.658 8370 3375 8595 3285 8730 3060
14 6 4680 5490 9675 7695
15 6 5850 5670 8820 7560
16 5 1 0 1 0 7 50 0 -1 0.000 0 0 0 0 6075.000 6525.000 6075 6165 6435 6525 6075 6885
17 5 1 0 1 0 7 50 0 -1 0.000 0 0 0 0 8415.000 6525.000 8415 6165 8775 6525 8415 6885
18 5 1 0 1 0 7 50 0 -1 0.000 0 0 0 0 5865.577 6654.808 5895 6345 6165 6570 6075 6885
19 5 1 0 1 0 7 50 0 -1 0.000 0 1 0 0 8342.764 6625.658 8370 7020 8595 6930 8730 6705
20 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 4
21          6075 6165 6075 5670 8415 5670 8415 6165
22 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 4
23          6030 6885 6030 7380 8370 7380 8370 6885
24 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
25          6075 5670 5895 5850
26 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
27          6075 6165 5895 6345
28 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
29          6030 6885 5850 7065
30 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
31          6030 7380 5850 7560
32 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
33          8370 7380 8190 7560
34 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
35          5850 7560 8190 7560
36 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
37          5850 7560 5850 7065
38 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
39          5895 6345 5895 5850
40 -6
41 6 8640 5490 9675 6030
42 4 0 0 50 0 0 18 0.0000 4 195 735 8640 5715 HTTP\001
43 4 0 0 50 0 0 18 0.0000 4 195 1125 8640 6030 SERVER\001
44 -6
45 6 4680 7155 5670 7695
46 4 0 0 50 0 0 18 0.0000 4 195 735 4680 7380 HTTP\001
47 4 0 0 50 0 0 18 0.0000 4 195 1035 4680 7695 CLIENT\001
48 -6
49 -6
50 6 10530 2025 13500 3915
51 5 1 0 1 0 7 50 0 -1 0.000 0 0 0 0 10755.000 2880.000 10755 2520 11115 2880 10755 3240
52 5 1 0 1 0 7 50 0 -1 0.000 0 0 0 0 13095.000 2880.000 13095 2520 13455 2880 13095 3240
53 5 1 0 1 0 7 50 0 -1 0.000 0 0 0 0 10545.577 3009.808 10575 2700 10845 2925 10755 3240
54 5 1 0 1 0 7 50 0 -1 0.000 0 1 0 0 13022.764 2980.658 13050 3375 13275 3285 13410 3060
55 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 4
56          10755 2520 10755 2025 13095 2025 13095 2520
57 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 4
58          10710 3240 10710 3735 13050 3735 13050 3240
59 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
60          10755 2025 10575 2205
61 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
62          10755 2520 10575 2700
63 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
64          10710 3240 10530 3420
65 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
66          10710 3735 10530 3915
67 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
68          13050 3735 12870 3915
69 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
70          10530 3915 12870 3915
71 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
72          10530 3915 10530 3420
73 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
74          10575 2700 10575 2205
75 -6
76 1 1 0 1 0 7 50 -1 -1 0.000 1 0.0000 2835 3780 900 315 2835 3780 3735 4095
77 1 1 0 1 0 7 50 -1 -1 0.000 1 0.0000 2835 2160 900 315 2835 2160 3735 2475
78 2 1 0 1 0 7 50 0 -1 3.000 0 0 -1 1 0 2
79         0 0 1.00 60.00 120.00
80          8730 3105 10845 3105
81 2 1 0 1 0 7 50 0 -1 3.000 0 0 -1 1 0 2
82         0 0 1.00 60.00 120.00
83          10845 2925 8775 2925
84 2 1 0 1 0 7 50 0 -1 3.000 0 0 -1 1 0 2
85         0 0 1.00 60.00 120.00
86          13410 3105 15525 3105
87 2 1 0 1 0 7 50 0 -1 3.000 0 0 -1 1 0 2
88         0 0 1.00 60.00 120.00
89          15525 2925 13455 2925
90 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 4
91          15390 3240 15390 3735 17730 3735 17730 3240
92 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
93          15435 2025 15255 2205
94 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
95          15435 2520 15255 2700
96 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
97          15390 3240 15210 3420
98 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
99          15390 3735 15210 3915
100 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
101          17730 3735 17550 3915
102 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
103          15210 3915 17550 3915
104 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
105          15210 3915 15210 3420
106 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
107          15255 2700 15255 2205
108 2 1 0 1 0 7 50 0 -1 3.000 0 0 -1 0 0 2
109          17730 3555 17730 2025
110 2 1 0 1 0 7 50 0 -1 3.000 0 0 -1 0 0 2
111          15435 2025 17730 2025
112 2 1 0 1 0 7 50 0 -1 3.000 0 0 -1 0 0 2
113          15435 2520 15435 2025
114 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
115          6030 3735 5850 3915
116 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
117          8370 3735 8190 3915
118 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
119          5850 3915 8190 3915
120 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 4
121          6030 3240 6030 3735 8370 3735 8370 3240
122 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
123          6030 3735 6030 2025
124 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
125          8415 2520 8415 2025
126 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
127          6030 2025 8415 2025
128 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
129          6030 2025 5850 2205
130 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
131          5850 3915 5850 2205
132 2 1 0 1 0 7 50 0 -1 3.000 0 0 -1 1 0 2
133         0 0 1.00 60.00 120.00
134          3735 3105 5850 3105
135 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
136         0 0 1.00 60.00 120.00
137          5850 2925 3735 2925
138 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 1
139          14985 2700
140 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
141          3735 2160 3735 3780
142 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 2
143          1935 2160 1935 3780
144 4 0 0 50 0 0 18 0.0000 4 195 1680 11340 2880 PROCESSOR\001
145 4 0 0 50 0 0 18 0.0000 4 255 1305 11430 3375 (UWOBO)\001
146 4 0 0 50 0 0 18 0.0000 4 195 735 11745 2520 XSLT\001
147 4 0 0 50 0 0 18 0.0000 4 195 1410 16020 2745 BROWSER\001
148 4 0 0 50 0 0 18 0.0000 4 120 150 16605 3015 +\001
149 4 0 0 50 0 0 18 0.0000 4 255 1140 16065 3285 Javascript\001
150 4 0 0 50 0 0 18 0.0000 4 195 1155 6615 2790 SEARCH\001
151 4 0 0 50 0 0 18 0.0000 4 195 1080 6660 3195 ENGINE\001
152 4 0 0 50 0 0 18 0.0000 4 195 1485 8910 2745 Helm - view\001
153 4 0 0 50 0 0 18 0.0000 4 195 825 13995 2745 HTML\001
154 4 0 0 50 0 0 18 0.0000 4 195 825 2430 3060 DBMS\001
155 4 0 0 50 0 0 18 0.0000 4 255 555 4545 2745 SQL\001