]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/whelp/architecture.eps
absolute path and factorization for matita.basedir
[helm.git] / helm / papers / whelp / architecture.eps
1 %!PS-Adobe-2.0 EPSF-2.0
2 %%Title: architecture.fig
3 %%Creator: fig2dev Version 3.2 Patchlevel 5-alpha5
4 %%CreationDate: Thu Mar 10 17:53:13 2005
5 %%For: asperti@mowgli (Andrea Asperti,,,)
6 %%BoundingBox: 0 0 997 370
7 %Magnification: 1.0000
8 %%EndComments
9 /$F2psDict 200 dict def
10 $F2psDict begin
11 $F2psDict /mtrx matrix put
12 /col-1 {0 setgray} bind def
13 /col0 {0.000 0.000 0.000 srgb} bind def
14 /col1 {0.000 0.000 1.000 srgb} bind def
15 /col2 {0.000 1.000 0.000 srgb} bind def
16 /col3 {0.000 1.000 1.000 srgb} bind def
17 /col4 {1.000 0.000 0.000 srgb} bind def
18 /col5 {1.000 0.000 1.000 srgb} bind def
19 /col6 {1.000 1.000 0.000 srgb} bind def
20 /col7 {1.000 1.000 1.000 srgb} bind def
21 /col8 {0.000 0.000 0.560 srgb} bind def
22 /col9 {0.000 0.000 0.690 srgb} bind def
23 /col10 {0.000 0.000 0.820 srgb} bind def
24 /col11 {0.530 0.810 1.000 srgb} bind def
25 /col12 {0.000 0.560 0.000 srgb} bind def
26 /col13 {0.000 0.690 0.000 srgb} bind def
27 /col14 {0.000 0.820 0.000 srgb} bind def
28 /col15 {0.000 0.560 0.560 srgb} bind def
29 /col16 {0.000 0.690 0.690 srgb} bind def
30 /col17 {0.000 0.820 0.820 srgb} bind def
31 /col18 {0.560 0.000 0.000 srgb} bind def
32 /col19 {0.690 0.000 0.000 srgb} bind def
33 /col20 {0.820 0.000 0.000 srgb} bind def
34 /col21 {0.560 0.000 0.560 srgb} bind def
35 /col22 {0.690 0.000 0.690 srgb} bind def
36 /col23 {0.820 0.000 0.820 srgb} bind def
37 /col24 {0.500 0.190 0.000 srgb} bind def
38 /col25 {0.630 0.250 0.000 srgb} bind def
39 /col26 {0.750 0.380 0.000 srgb} bind def
40 /col27 {1.000 0.500 0.500 srgb} bind def
41 /col28 {1.000 0.630 0.630 srgb} bind def
42 /col29 {1.000 0.750 0.750 srgb} bind def
43 /col30 {1.000 0.880 0.880 srgb} bind def
44 /col31 {1.000 0.840 0.000 srgb} bind def
45
46 end
47 save
48 newpath 0 370 moveto 0 0 lineto 997 0 lineto 997 370 lineto closepath clip newpath
49 -121.1 485.7 translate
50 1 -1 scale
51
52 /cp {closepath} bind def
53 /ef {eofill} bind def
54 /gr {grestore} bind def
55 /gs {gsave} bind def
56 /sa {save} bind def
57 /rs {restore} bind def
58 /l {lineto} bind def
59 /m {moveto} bind def
60 /rm {rmoveto} bind def
61 /n {newpath} bind def
62 /s {stroke} bind def
63 /sh {show} bind def
64 /slc {setlinecap} bind def
65 /slj {setlinejoin} bind def
66 /slw {setlinewidth} bind def
67 /srgb {setrgbcolor} bind def
68 /rot {rotate} bind def
69 /sc {scale} bind def
70 /sd {setdash} bind def
71 /ff {findfont} bind def
72 /sf {setfont} bind def
73 /scf {scalefont} bind def
74 /sw {stringwidth} bind def
75 /tr {translate} bind def
76 /tnt {dup dup currentrgbcolor
77   4 -2 roll dup 1 exch sub 3 -1 roll mul add
78   4 -2 roll dup 1 exch sub 3 -1 roll mul add
79   4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
80   bind def
81 /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
82   4 -2 roll mul srgb} bind def
83 /reencdict 12 dict def /ReEncode { reencdict begin
84 /newcodesandnames exch def /newfontname exch def /basefontname exch def
85 /basefontdict basefontname findfont def /newfont basefontdict maxlength dict def
86 basefontdict { exch dup /FID ne { dup /Encoding eq
87 { exch dup length array copy newfont 3 1 roll put }
88 { exch newfont 3 1 roll put } ifelse } { pop pop } ifelse } forall
89 newfont /FontName newfontname put newcodesandnames aload pop
90 128 1 255 { newfont /Encoding get exch /.notdef put } for
91 newcodesandnames length 2 idiv { newfont /Encoding get 3 1 roll put } repeat
92 newfontname newfont definefont pop end } def
93 /isovec [
94 8#055 /minus 8#200 /grave 8#201 /acute 8#202 /circumflex 8#203 /tilde
95 8#204 /macron 8#205 /breve 8#206 /dotaccent 8#207 /dieresis
96 8#210 /ring 8#211 /cedilla 8#212 /hungarumlaut 8#213 /ogonek 8#214 /caron
97 8#220 /dotlessi 8#230 /oe 8#231 /OE
98 8#240 /space 8#241 /exclamdown 8#242 /cent 8#243 /sterling
99 8#244 /currency 8#245 /yen 8#246 /brokenbar 8#247 /section 8#250 /dieresis
100 8#251 /copyright 8#252 /ordfeminine 8#253 /guillemotleft 8#254 /logicalnot
101 8#255 /hyphen 8#256 /registered 8#257 /macron 8#260 /degree 8#261 /plusminus
102 8#262 /twosuperior 8#263 /threesuperior 8#264 /acute 8#265 /mu 8#266 /paragraph
103 8#267 /periodcentered 8#270 /cedilla 8#271 /onesuperior 8#272 /ordmasculine
104 8#273 /guillemotright 8#274 /onequarter 8#275 /onehalf
105 8#276 /threequarters 8#277 /questiondown 8#300 /Agrave 8#301 /Aacute
106 8#302 /Acircumflex 8#303 /Atilde 8#304 /Adieresis 8#305 /Aring
107 8#306 /AE 8#307 /Ccedilla 8#310 /Egrave 8#311 /Eacute
108 8#312 /Ecircumflex 8#313 /Edieresis 8#314 /Igrave 8#315 /Iacute
109 8#316 /Icircumflex 8#317 /Idieresis 8#320 /Eth 8#321 /Ntilde 8#322 /Ograve
110 8#323 /Oacute 8#324 /Ocircumflex 8#325 /Otilde 8#326 /Odieresis 8#327 /multiply
111 8#330 /Oslash 8#331 /Ugrave 8#332 /Uacute 8#333 /Ucircumflex
112 8#334 /Udieresis 8#335 /Yacute 8#336 /Thorn 8#337 /germandbls 8#340 /agrave
113 8#341 /aacute 8#342 /acircumflex 8#343 /atilde 8#344 /adieresis 8#345 /aring
114 8#346 /ae 8#347 /ccedilla 8#350 /egrave 8#351 /eacute
115 8#352 /ecircumflex 8#353 /edieresis 8#354 /igrave 8#355 /iacute
116 8#356 /icircumflex 8#357 /idieresis 8#360 /eth 8#361 /ntilde 8#362 /ograve
117 8#363 /oacute 8#364 /ocircumflex 8#365 /otilde 8#366 /odieresis 8#367 /divide
118 8#370 /oslash 8#371 /ugrave 8#372 /uacute 8#373 /ucircumflex
119 8#374 /udieresis 8#375 /yacute 8#376 /thorn 8#377 /ydieresis] def
120 /Times-Roman /Times-Roman-iso isovec ReEncode
121  /DrawEllipse {
122         /endangle exch def
123         /startangle exch def
124         /yrad exch def
125         /xrad exch def
126         /y exch def
127         /x exch def
128         /savematrix mtrx currentmatrix def
129         x y tr xrad yrad sc 0 0 1 startangle endangle arc
130         closepath
131         savematrix setmatrix
132         } def
133
134 /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
135 /$F2psEnd {$F2psEnteredState restore end} def
136
137 $F2psBegin
138 10 setmiterlimit
139 0 slj 0 slc
140  0.06299 0.06299 sc
141 %
142 % Fig objects follow
143 %
144
145 % here starts figure with depth 50
146 % Arc
147 7.500 slw
148 0 slc
149 n 6075.0 6525.0 360.0 -90.0000 90.0000 arc
150 gs col0 s gr
151
152 % Arc
153 n 8415.0 6525.0 360.0 -90.0000 90.0000 arc
154 gs col0 s gr
155
156 % Arc
157 n 5865.6 6654.8 311.2 -84.5748 47.7048 arc
158 gs col0 s gr
159
160 % Arc
161 n 8342.8 6625.7 395.3 86.0490 11.5793 arcn
162 gs col0 s gr
163
164 % Polyline
165 0 slj
166 n 6075 6165 m 6075 5670 l 8415 5670 l
167  8415 6165 l gs col0 s gr 
168 % Polyline
169 n 6030 6885 m 6030 7380 l 8370 7380 l
170  8370 6885 l gs col0 s gr 
171 % Polyline
172 n 6075 5670 m
173  5895 5850 l gs col0 s gr 
174 % Polyline
175 n 6075 6165 m
176  5895 6345 l gs col0 s gr 
177 % Polyline
178 n 6030 6885 m
179  5850 7065 l gs col0 s gr 
180 % Polyline
181 n 6030 7380 m
182  5850 7560 l gs col0 s gr 
183 % Polyline
184 n 8370 7380 m
185  8190 7560 l gs col0 s gr 
186 % Polyline
187 n 5850 7560 m
188  8190 7560 l gs col0 s gr 
189 % Polyline
190 n 5850 7560 m
191  5850 7065 l gs col0 s gr 
192 % Polyline
193 n 5895 6345 m
194  5895 5850 l gs col0 s gr 
195 /Times-Roman-iso ff 285.75 scf sf
196 8640 5715 m
197 gs 1 -1 sc (HTTP) col0 sh gr
198 /Times-Roman-iso ff 285.75 scf sf
199 8640 6030 m
200 gs 1 -1 sc (SERVER) col0 sh gr
201 /Times-Roman-iso ff 285.75 scf sf
202 4680 7380 m
203 gs 1 -1 sc (HTTP) col0 sh gr
204 /Times-Roman-iso ff 285.75 scf sf
205 4680 7695 m
206 gs 1 -1 sc (CLIENT) col0 sh gr
207 % Arc
208 n 10755.0 2880.0 360.0 -90.0000 90.0000 arc
209 gs col0 s gr
210
211 % Arc
212 n 13095.0 2880.0 360.0 -90.0000 90.0000 arc
213 gs col0 s gr
214
215 % Arc
216 n 10545.6 3009.8 311.2 -84.5748 47.7048 arc
217 gs col0 s gr
218
219 % Arc
220 n 13022.8 2980.7 395.3 86.0490 11.5793 arcn
221 gs col0 s gr
222
223 % Polyline
224 n 10755 2520 m 10755 2025 l 13095 2025 l
225  13095 2520 l gs col0 s gr 
226 % Polyline
227 n 10710 3240 m 10710 3735 l 13050 3735 l
228  13050 3240 l gs col0 s gr 
229 % Polyline
230 n 10755 2025 m
231  10575 2205 l gs col0 s gr 
232 % Polyline
233 n 10755 2520 m
234  10575 2700 l gs col0 s gr 
235 % Polyline
236 n 10710 3240 m
237  10530 3420 l gs col0 s gr 
238 % Polyline
239 n 10710 3735 m
240  10530 3915 l gs col0 s gr 
241 % Polyline
242 n 13050 3735 m
243  12870 3915 l gs col0 s gr 
244 % Polyline
245 n 10530 3915 m
246  12870 3915 l gs col0 s gr 
247 % Polyline
248 n 10530 3915 m
249  10530 3420 l gs col0 s gr 
250 % Polyline
251 n 10575 2700 m
252  10575 2205 l gs col0 s gr 
253 % Arc
254 n 15435.0 2880.0 360.0 -90.0000 90.0000 arc
255 gs col0 s gr
256
257 % Arc
258 n 15225.6 3009.8 311.2 -84.5748 47.7048 arc
259 gs col0 s gr
260
261 % Arc
262 n 8415.0 2880.0 360.0 -90.0000 90.0000 arc
263 gs col0 s gr
264
265 % Arc
266 n 8342.8 2980.7 395.3 86.0490 11.5793 arcn
267 gs col0 s gr
268
269 % Ellipse
270 n 2835 3780 900 315 0 360 DrawEllipse gs col0 s gr
271
272 % Ellipse
273 n 2835 2160 900 315 0 360 DrawEllipse gs col0 s gr
274
275 % Polyline
276 gs  clippath
277 10692 3135 m 10860 3135 l 10860 3075 l 10692 3075 l 10692 3075 l 10812 3105 l 10692 3135 l cp
278 eoclip
279 n 8730 3105 m
280  10845 3105 l gs col0 s gr gr
281
282 % arrowhead
283 n 10692 3135 m 10812 3105 l 10692 3075 l  col0 s
284 % Polyline
285 gs  clippath
286 8928 2895 m 8760 2895 l 8760 2955 l 8928 2955 l 8928 2955 l 8808 2925 l 8928 2895 l cp
287 eoclip
288 n 10845 2925 m
289  8775 2925 l gs col0 s gr gr
290
291 % arrowhead
292 n 8928 2895 m 8808 2925 l 8928 2955 l  col0 s
293 % Polyline
294 gs  clippath
295 15372 3135 m 15540 3135 l 15540 3075 l 15372 3075 l 15372 3075 l 15492 3105 l 15372 3135 l cp
296 eoclip
297 n 13410 3105 m
298  15525 3105 l gs col0 s gr gr
299
300 % arrowhead
301 n 15372 3135 m 15492 3105 l 15372 3075 l  col0 s
302 % Polyline
303 gs  clippath
304 13608 2895 m 13440 2895 l 13440 2955 l 13608 2955 l 13608 2955 l 13488 2925 l 13608 2895 l cp
305 eoclip
306 n 15525 2925 m
307  13455 2925 l gs col0 s gr gr
308
309 % arrowhead
310 n 13608 2895 m 13488 2925 l 13608 2955 l  col0 s
311 % Polyline
312 n 15390 3240 m 15390 3735 l 17730 3735 l
313  17730 3240 l gs col0 s gr 
314 % Polyline
315 n 15435 2025 m
316  15255 2205 l gs col0 s gr 
317 % Polyline
318 n 15435 2520 m
319  15255 2700 l gs col0 s gr 
320 % Polyline
321 n 15390 3240 m
322  15210 3420 l gs col0 s gr 
323 % Polyline
324 n 15390 3735 m
325  15210 3915 l gs col0 s gr 
326 % Polyline
327 n 17730 3735 m
328  17550 3915 l gs col0 s gr 
329 % Polyline
330 n 15210 3915 m
331  17550 3915 l gs col0 s gr 
332 % Polyline
333 n 15210 3915 m
334  15210 3420 l gs col0 s gr 
335 % Polyline
336 n 15255 2700 m
337  15255 2205 l gs col0 s gr 
338 % Polyline
339 n 17730 3555 m
340  17730 2025 l gs col0 s gr 
341 % Polyline
342 n 15435 2025 m
343  17730 2025 l gs col0 s gr 
344 % Polyline
345 n 15435 2520 m
346  15435 2025 l gs col0 s gr 
347 % Polyline
348 n 6030 3735 m
349  5850 3915 l gs col0 s gr 
350 % Polyline
351 n 8370 3735 m
352  8190 3915 l gs col0 s gr 
353 % Polyline
354 n 5850 3915 m
355  8190 3915 l gs col0 s gr 
356 % Polyline
357 n 6030 3240 m 6030 3735 l 8370 3735 l
358  8370 3240 l gs col0 s gr 
359 % Polyline
360 n 6030 3735 m
361  6030 2025 l gs col0 s gr 
362 % Polyline
363 n 8415 2520 m
364  8415 2025 l gs col0 s gr 
365 % Polyline
366 n 6030 2025 m
367  8415 2025 l gs col0 s gr 
368 % Polyline
369 n 6030 2025 m
370  5850 2205 l gs col0 s gr 
371 % Polyline
372 n 5850 3915 m
373  5850 2205 l gs col0 s gr 
374 % Polyline
375 gs  clippath
376 5697 3135 m 5865 3135 l 5865 3075 l 5697 3075 l 5697 3075 l 5817 3105 l 5697 3135 l cp
377 eoclip
378 n 3735 3105 m
379  5850 3105 l gs col0 s gr gr
380
381 % arrowhead
382 n 5697 3135 m 5817 3105 l 5697 3075 l  col0 s
383 % Polyline
384 gs  clippath
385 3888 2895 m 3720 2895 l 3720 2955 l 3888 2955 l 3888 2955 l 3768 2925 l 3888 2895 l cp
386 eoclip
387 n 5850 2925 m
388  3735 2925 l gs col0 s gr gr
389
390 % arrowhead
391 n 3888 2895 m 3768 2925 l 3888 2955 l  col0 s
392 % Polyline
393 n 14981 2700 m 14989 2700 l gs col0 s gr
394 % Polyline
395 n 3735 2160 m
396  3735 3780 l gs col0 s gr 
397 % Polyline
398 n 1935 2160 m
399  1935 3780 l gs col0 s gr 
400 /Times-Roman-iso ff 285.75 scf sf
401 11340 2880 m
402 gs 1 -1 sc (PROCESSOR) col0 sh gr
403 /Times-Roman-iso ff 285.75 scf sf
404 11430 3375 m
405 gs 1 -1 sc (\(UWOBO\)) col0 sh gr
406 /Times-Roman-iso ff 285.75 scf sf
407 11745 2520 m
408 gs 1 -1 sc (XSLT) col0 sh gr
409 /Times-Roman-iso ff 285.75 scf sf
410 16020 2745 m
411 gs 1 -1 sc (BROWSER) col0 sh gr
412 /Times-Roman-iso ff 285.75 scf sf
413 16605 3015 m
414 gs 1 -1 sc (+) col0 sh gr
415 /Times-Roman-iso ff 285.75 scf sf
416 16065 3285 m
417 gs 1 -1 sc (Javascript) col0 sh gr
418 /Times-Roman-iso ff 285.75 scf sf
419 6615 2790 m
420 gs 1 -1 sc (SEARCH) col0 sh gr
421 /Times-Roman-iso ff 285.75 scf sf
422 6660 3195 m
423 gs 1 -1 sc (ENGINE) col0 sh gr
424 /Times-Roman-iso ff 285.75 scf sf
425 8910 2745 m
426 gs 1 -1 sc (Helm - view) col0 sh gr
427 /Times-Roman-iso ff 285.75 scf sf
428 13995 2745 m
429 gs 1 -1 sc (HTML) col0 sh gr
430 /Times-Roman-iso ff 285.75 scf sf
431 2430 3060 m
432 gs 1 -1 sc (DBMS) col0 sh gr
433 /Times-Roman-iso ff 285.75 scf sf
434 4545 2745 m
435 gs 1 -1 sc (SQL) col0 sh gr
436 % here ends figure;
437 $F2psEnd
438 rs
439 showpage
440 %%Trailer
441 %EOF