]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/matita/pics/libraries-clusters.ps
Typos
[helm.git] / helm / papers / matita / pics / libraries-clusters.ps
1 %!PS-Adobe-2.0
2 %%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
3 %%For: (zacchiro) Stefano Zacchiroli,,,
4 %%Title: G
5 %%Pages: (atend)
6 %%BoundingBox: 35 35 1103 1865
7 %%EndComments
8 save
9 %%BeginProlog
10 /DotDict 200 dict def
11 DotDict begin
12
13 /setupLatin1 {
14 mark
15 /EncodingVector 256 array def
16  EncodingVector 0
17
18 ISOLatin1Encoding 0 255 getinterval putinterval
19
20 EncodingVector
21   dup 306 /AE
22   dup 301 /Aacute
23   dup 302 /Acircumflex
24   dup 304 /Adieresis
25   dup 300 /Agrave
26   dup 305 /Aring
27   dup 303 /Atilde
28   dup 307 /Ccedilla
29   dup 311 /Eacute
30   dup 312 /Ecircumflex
31   dup 313 /Edieresis
32   dup 310 /Egrave
33   dup 315 /Iacute
34   dup 316 /Icircumflex
35   dup 317 /Idieresis
36   dup 314 /Igrave
37   dup 334 /Udieresis
38   dup 335 /Yacute
39   dup 376 /thorn
40   dup 337 /germandbls
41   dup 341 /aacute
42   dup 342 /acircumflex
43   dup 344 /adieresis
44   dup 346 /ae
45   dup 340 /agrave
46   dup 345 /aring
47   dup 347 /ccedilla
48   dup 351 /eacute
49   dup 352 /ecircumflex
50   dup 353 /edieresis
51   dup 350 /egrave
52   dup 355 /iacute
53   dup 356 /icircumflex
54   dup 357 /idieresis
55   dup 354 /igrave
56   dup 360 /dcroat
57   dup 361 /ntilde
58   dup 363 /oacute
59   dup 364 /ocircumflex
60   dup 366 /odieresis
61   dup 362 /ograve
62   dup 365 /otilde
63   dup 370 /oslash
64   dup 372 /uacute
65   dup 373 /ucircumflex
66   dup 374 /udieresis
67   dup 371 /ugrave
68   dup 375 /yacute
69   dup 377 /ydieresis  
70
71 % Set up ISO Latin 1 character encoding
72 /starnetISO {
73         dup dup findfont dup length dict begin
74         { 1 index /FID ne { def }{ pop pop } ifelse
75         } forall
76         /Encoding EncodingVector def
77         currentdict end definefont
78 } def
79 /Times-Roman starnetISO def
80 /Times-Italic starnetISO def
81 /Times-Bold starnetISO def
82 /Times-BoldItalic starnetISO def
83 /Helvetica starnetISO def
84 /Helvetica-Oblique starnetISO def
85 /Helvetica-Bold starnetISO def
86 /Helvetica-BoldOblique starnetISO def
87 /Courier starnetISO def
88 /Courier-Oblique starnetISO def
89 /Courier-Bold starnetISO def
90 /Courier-BoldOblique starnetISO def
91 cleartomark
92 } bind def
93
94 %%BeginResource: procset graphviz 0 0
95 /coord-font-family /Times-Roman def
96 /default-font-family /Times-Roman def
97 /coordfont coord-font-family findfont 8 scalefont def
98
99 /InvScaleFactor 1.0 def
100 /set_scale {
101         dup 1 exch div /InvScaleFactor exch def
102         dup scale
103 } bind def
104
105 % styles
106 /solid { [] 0 setdash } bind def
107 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
108 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
109 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
110 /bold { 2 setlinewidth } bind def
111 /filled { } bind def
112 /unfilled { } bind def
113 /rounded { } bind def
114 /diagonals { } bind def
115
116 % hooks for setting color 
117 /nodecolor { sethsbcolor } bind def
118 /edgecolor { sethsbcolor } bind def
119 /graphcolor { sethsbcolor } bind def
120 /nopcolor {pop pop pop} bind def
121
122 /beginpage {    % i j npages
123         /npages exch def
124         /j exch def
125         /i exch def
126         /str 10 string def
127         npages 1 gt {
128                 gsave
129                         coordfont setfont
130                         0 0 moveto
131                         (\() show i str cvs show (,) show j str cvs show (\)) show
132                 grestore
133         } if
134 } bind def
135
136 /set_font {
137         findfont exch
138         scalefont setfont
139 } def
140
141 % draw aligned label in bounding box aligned to current point
142 /alignedtext {                  % width adj text
143         /text exch def
144         /adj exch def
145         /width exch def
146         gsave
147                 width 0 gt {
148                         text stringwidth pop adj mul 0 rmoveto
149                 } if
150                 [] 0 setdash
151                 text show
152         grestore
153 } def
154
155 /boxprim {                              % xcorner ycorner xsize ysize
156                 4 2 roll
157                 moveto
158                 2 copy
159                 exch 0 rlineto
160                 0 exch rlineto
161                 pop neg 0 rlineto
162                 closepath
163 } bind def
164
165 /ellipse_path {
166         /ry exch def
167         /rx exch def
168         /y exch def
169         /x exch def
170         matrix currentmatrix
171         newpath
172         x y translate
173         rx ry scale
174         0 0 1 0 360 arc
175         setmatrix
176 } bind def
177
178 /endpage { showpage } bind def
179 /showpage { } def
180
181 /layercolorseq
182         [       % layer color sequence - darkest to lightest
183                 [0 0 0]
184                 [.2 .8 .8]
185                 [.4 .8 .8]
186                 [.6 .8 .8]
187                 [.8 .8 .8]
188         ]
189 def
190
191 /layerlen layercolorseq length def
192
193 /setlayer {/maxlayer exch def /curlayer exch def
194         layercolorseq curlayer 1 sub layerlen mod get
195         aload pop sethsbcolor
196         /nodecolor {nopcolor} def
197         /edgecolor {nopcolor} def
198         /graphcolor {nopcolor} def
199 } bind def
200
201 /onlayer { curlayer ne {invis} if } def
202
203 /onlayers {
204         /myupper exch def
205         /mylower exch def
206         curlayer mylower lt
207         curlayer myupper gt
208         or
209         {invis} if
210 } def
211
212 /curlayer 0 def
213
214 %%EndResource
215 %%EndProlog
216 %%BeginSetup
217 14 default-font-family set_font
218 1 setmiterlimit
219 % /arrowlength 10 def
220 % /arrowwidth 5 def
221
222 % make sure pdfmark is harmless for PS-interpreters other than Distiller
223 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
224 % make '<<' and '>>' safe on PS Level 1 devices
225 /languagelevel where {pop languagelevel}{1} ifelse
226 2 lt {
227     userdict (<<) cvn ([) cvn load put
228     userdict (>>) cvn ([) cvn load put
229 } if
230
231 %%EndSetup
232 %%Page: 1 1
233 %%PageBoundingBox: 36 36 1103 1865
234 %%PageOrientation: Portrait
235 gsave
236 35 35 1068 1830 boxprim clip newpath
237 36 36 translate
238 0 0 1 beginpage
239 0 0 translate 0 rotate
240 0.000 0.000 0.000 graphcolor
241 24.00 /Times-Roman set_font
242 % cluster_presentation
243 gsave 10 dict begin
244 filled
245 0.000 0.000 1.000 sethsbcolor
246 0.000 0.000 0.929 sethsbcolor
247 newpath 498 1136 moveto
248 930 1136 lineto
249 930 1736 lineto
250 498 1736 lineto
251 closepath
252 fill
253 0.000 0.000 1.000 sethsbcolor
254 newpath 498 1136 moveto
255 930 1136 lineto
256 930 1736 lineto
257 498 1736 lineto
258 closepath
259 stroke
260 gsave 10 dict begin
261 0.000 0.000 0.000 sethsbcolor
262 509 1174 moveto
263 (Terms at the content and presentation level)
264 [14.64 10.56 7.92 18.72 9.36 6 10.56 6.72 6 6.72 12 10.56 6 10.56 12 12 6.72 10.56 12 6.72 6 10.56 12 12 6 12 7.92 10.56 9.36 10.56 12 6.72 10.56 6.72 6.72 12 12 6 6.72 10.56 12 10.56 6.72]
265 xshow
266 667 1146 moveto
267 (12.1 klocs)
268 [12 12 6 12 6 12 6.72 12 10.56 9.36]
269 xshow
270 end grestore
271 end grestore
272 % cluster_partially
273 gsave 10 dict begin
274 filled
275 0.000 0.000 1.000 sethsbcolor
276 0.000 0.000 0.929 sethsbcolor
277 newpath 68 1200 moveto
278 372 1200 lineto
279 372 1628 lineto
280 68 1628 lineto
281 closepath
282 fill
283 0.000 0.000 1.000 sethsbcolor
284 newpath 68 1200 moveto
285 372 1200 lineto
286 372 1628 lineto
287 68 1628 lineto
288 closepath
289 stroke
290 gsave 10 dict begin
291 0.000 0.000 0.000 sethsbcolor
292 76 1602 moveto
293 (Partially specified terms)
294 [13.44 10.56 7.92 6.72 6.72 10.56 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
295 xshow
296 144 1574 moveto
297 (15.1 klocs)
298 [12 12 6 12 6 12 6.72 12 10.56 9.36]
299 xshow
300 end grestore
301 end grestore
302 % cluster_fully
303 gsave 10 dict begin
304 filled
305 0.000 0.000 1.000 sethsbcolor
306 0.000 0.000 0.929 sethsbcolor
307 newpath 280 444 moveto
308 574 444 lineto
309 574 1128 lineto
310 280 1128 lineto
311 closepath
312 fill
313 0.000 0.000 1.000 sethsbcolor
314 newpath 280 444 moveto
315 574 444 lineto
316 574 1128 lineto
317 280 1128 lineto
318 closepath
319 stroke
320 gsave 10 dict begin
321 0.000 0.000 0.000 sethsbcolor
322 287 482 moveto
323 (Fully specified terms)
324 [13.44 12 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
325 xshow
326 340 454 moveto
327 (18.9 klocs)
328 [12 12 6 12 6 12 6.72 12 10.56 9.36]
329 xshow
330 end grestore
331 end grestore
332 % cluster_utilities
333 gsave 10 dict begin
334 filled
335 0.000 0.000 1.000 sethsbcolor
336 0.000 0.000 0.929 sethsbcolor
337 newpath 582 16 moveto
338 1058 16 lineto
339 1058 616 lineto
340 582 616 lineto
341 closepath
342 fill
343 0.000 0.000 1.000 sethsbcolor
344 newpath 582 16 moveto
345 1058 16 lineto
346 1058 616 lineto
347 582 616 lineto
348 closepath
349 stroke
350 gsave 10 dict begin
351 0.000 0.000 0.000 sethsbcolor
352 968 54 moveto
353 (Utilities)
354 [17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
355 xshow
356 963 26 moveto
357 (2.8 klocs)
358 [12 6 12 6 12 6.72 12 10.56 9.36]
359 xshow
360 end grestore
361 end grestore
362
363 %       acic_content
364 gsave 10 dict begin
365 622 1254 81 45 ellipse_path
366 stroke
367 gsave 10 dict begin
368 561 1260 moveto
369 (acic_content)
370 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
371 xshow
372 578 1232 moveto
373 (3.6 klocs)
374 [12 6 12 6 12 6.72 12 10.56 9.36]
375 xshow
376 end grestore
377 end grestore
378
379 %       cic_acic
380 gsave 10 dict begin
381 353 946 64 45 ellipse_path
382 stroke
383 gsave 10 dict begin
384 313 952 moveto
385 (cic_acic)
386 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
387 xshow
388 309 924 moveto
389 (2.4 klocs)
390 [12 6 12 6 12 6.72 12 10.56 9.36]
391 xshow
392 end grestore
393 end grestore
394
395 %       acic_content -> cic_acic
396 newpath 615 1209 moveto
397 606 1146 588 1041 575 1028 curveto
398 528 979 490 1018 427 992 curveto
399 421 989 415 986 409 983 curveto
400 stroke
401 gsave 10 dict begin
402 solid
403 1 setlinewidth
404 0.000 0.000 0.000 edgecolor
405 newpath 410 980 moveto
406 400 978 lineto
407 407 986 lineto
408 closepath
409 fill
410 0.000 0.000 0.000 edgecolor
411 newpath 410 980 moveto
412 400 978 lineto
413 407 986 lineto
414 closepath
415 stroke
416 end grestore
417
418 %       cic_disambiguation
419 gsave 10 dict begin
420 622 1382 115 45 ellipse_path
421 stroke
422 gsave 10 dict begin
423 527 1388 moveto
424 (cic_disambiguation)
425 [10.56 6.72 10.56 12 12 6.72 9.36 10.56 18.72 12 6.72 12 12 10.56 6.72 6.72 12 12]
426 xshow
427 579 1360 moveto
428 (1.4 klocs)
429 [12 6 12 6 12 6.72 12 10.56 9.36]
430 xshow
431 end grestore
432 end grestore
433
434 %       cic_disambiguation -> acic_content
435 newpath 622 1336 moveto
436 622 1328 622 1319 622 1310 curveto
437 stroke
438 gsave 10 dict begin
439 solid
440 1 setlinewidth
441 0.000 0.000 0.000 edgecolor
442 newpath 626 1310 moveto
443 622 1300 lineto
444 619 1310 lineto
445 closepath
446 fill
447 0.000 0.000 0.000 edgecolor
448 newpath 626 1310 moveto
449 622 1300 lineto
450 619 1310 lineto
451 closepath
452 stroke
453 end grestore
454
455 %       cic_unification
456 gsave 10 dict begin
457 271 1254 92 45 ellipse_path
458 stroke
459 gsave 10 dict begin
460 199 1260 moveto
461 (cic_unification)
462 [10.56 6.72 10.56 12 12 12 6.72 7.92 6.72 10.56 10.56 6.72 6.72 12 12]
463 xshow
464 227 1232 moveto
465 (3.4 klocs)
466 [12 6 12 6 12 6.72 12 10.56 9.36]
467 xshow
468 end grestore
469 end grestore
470
471 %       cic_disambiguation -> cic_unification
472 newpath 537 1351 moveto
473 481 1331 411 1305 356 1285 curveto
474 stroke
475 gsave 10 dict begin
476 solid
477 1 setlinewidth
478 0.000 0.000 0.000 edgecolor
479 newpath 357 1281 moveto
480 346 1281 lineto
481 354 1288 lineto
482 closepath
483 fill
484 0.000 0.000 0.000 edgecolor
485 newpath 357 1281 moveto
486 346 1281 lineto
487 354 1288 lineto
488 closepath
489 stroke
490 end grestore
491
492 %       whelp
493 gsave 10 dict begin
494 501 1074 64 45 ellipse_path
495 stroke
496 gsave 10 dict begin
497 471 1080 moveto
498 (whelp)
499 [17.28 12 10.56 6.72 12]
500 xshow
501 457 1052 moveto
502 (0.3 klocs)
503 [12 6 12 6 12 6.72 12 10.56 9.36]
504 xshow
505 end grestore
506 end grestore
507
508 %       cic_disambiguation -> whelp
509 newpath 566 1342 moveto
510 552 1330 540 1316 531 1300 curveto
511 503 1247 498 1177 498 1130 curveto
512 stroke
513 gsave 10 dict begin
514 solid
515 1 setlinewidth
516 0.000 0.000 0.000 edgecolor
517 newpath 502 1130 moveto
518 498 1120 lineto
519 495 1130 lineto
520 closepath
521 fill
522 0.000 0.000 0.000 edgecolor
523 newpath 502 1130 moveto
524 498 1120 lineto
525 495 1130 lineto
526 closepath
527 stroke
528 end grestore
529
530 %       content_pres
531 gsave 10 dict begin
532 839 1382 82 45 ellipse_path
533 stroke
534 gsave 10 dict begin
535 777 1388 moveto
536 (content_pres)
537 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
538 xshow
539 795 1360 moveto
540 (4.5 klocs)
541 [12 6 12 6 12 6.72 12 10.56 9.36]
542 xshow
543 end grestore
544 end grestore
545
546 %       content_pres -> acic_content
547 newpath 782 1349 moveto
548 753 1332 717 1310 687 1292 curveto
549 stroke
550 gsave 10 dict begin
551 solid
552 1 setlinewidth
553 0.000 0.000 0.000 edgecolor
554 newpath 688 1289 moveto
555 678 1287 lineto
556 685 1295 lineto
557 closepath
558 fill
559 0.000 0.000 0.000 edgecolor
560 newpath 688 1289 moveto
561 678 1287 lineto
562 685 1295 lineto
563 closepath
564 stroke
565 end grestore
566
567 %       utf8_macros
568 gsave 10 dict begin
569 968 562 81 45 ellipse_path
570 stroke
571 gsave 10 dict begin
572 907 568 moveto
573 (utf8_macros)
574 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
575 xshow
576 924 540 moveto
577 (0.2 klocs)
578 [12 6 12 6 12 6.72 12 10.56 9.36]
579 xshow
580 end grestore
581 end grestore
582
583 %       content_pres -> utf8_macros
584 newpath 844 1336 moveto
585 850 1276 860 1167 860 1074 curveto
586 860 1074 860 1074 860 818 curveto
587 860 742 901 663 932 613 curveto
588 stroke
589 gsave 10 dict begin
590 solid
591 1 setlinewidth
592 0.000 0.000 0.000 edgecolor
593 newpath 935 614 moveto
594 938 604 lineto
595 930 610 lineto
596 closepath
597 fill
598 0.000 0.000 0.000 edgecolor
599 newpath 935 614 moveto
600 938 604 lineto
601 930 610 lineto
602 closepath
603 stroke
604 end grestore
605
606 %       grafite_parser
607 gsave 10 dict begin
608 594 1682 87 45 ellipse_path
609 stroke
610 gsave 10 dict begin
611 527 1688 moveto
612 (grafite_parser)
613 [12 7.92 10.56 7.92 6.72 6.72 10.56 12 12 10.56 7.92 9.36 10.56 7.92]
614 xshow
615 551 1660 moveto
616 (1.8 klocs)
617 [12 6 12 6 12 6.72 12 10.56 9.36]
618 xshow
619 end grestore
620 end grestore
621
622 %       lexicon
623 gsave 10 dict begin
624 622 1510 64 45 ellipse_path
625 stroke
626 gsave 10 dict begin
627 586 1516 moveto
628 (lexicon)
629 [6.72 10.56 12 6.72 10.56 12 12]
630 xshow
631 578 1488 moveto
632 (0.8 klocs)
633 [12 6 12 6 12 6.72 12 10.56 9.36]
634 xshow
635 end grestore
636 end grestore
637
638 %       grafite_parser -> lexicon
639 newpath 601 1636 moveto
640 604 1614 609 1588 613 1565 curveto
641 stroke
642 gsave 10 dict begin
643 solid
644 1 setlinewidth
645 0.000 0.000 0.000 edgecolor
646 newpath 616 1565 moveto
647 615 1555 lineto
648 610 1564 lineto
649 closepath
650 fill
651 0.000 0.000 0.000 edgecolor
652 newpath 616 1565 moveto
653 615 1555 lineto
654 610 1564 lineto
655 closepath
656 stroke
657 end grestore
658
659 %       grafite
660 gsave 10 dict begin
661 141 1382 64 45 ellipse_path
662 stroke
663 gsave 10 dict begin
664 109 1388 moveto
665 (grafite)
666 [12 7.92 10.56 7.92 6.72 6.72 10.56]
667 xshow
668 97 1360 moveto
669 (0.5 klocs)
670 [12 6 12 6 12 6.72 12 10.56 9.36]
671 xshow
672 end grestore
673 end grestore
674
675 %       grafite_parser -> grafite
676 newpath 536 1647 moveto
677 527 1643 516 1639 506 1636 curveto
678 487 1630 345 1640 329 1628 curveto
679 270 1580 332 1522 284 1464 curveto
680 263 1437 245 1446 215 1428 curveto
681 209 1424 204 1420 200 1417 curveto
682 stroke
683 gsave 10 dict begin
684 solid
685 1 setlinewidth
686 0.000 0.000 0.000 edgecolor
687 newpath 202 1414 moveto
688 192 1410 lineto
689 197 1419 lineto
690 closepath
691 fill
692 0.000 0.000 0.000 edgecolor
693 newpath 202 1414 moveto
694 192 1410 lineto
695 197 1419 lineto
696 closepath
697 stroke
698 end grestore
699
700 %       lexicon -> cic_disambiguation
701 newpath 622 1464 moveto
702 622 1456 622 1447 622 1438 curveto
703 stroke
704 gsave 10 dict begin
705 solid
706 1 setlinewidth
707 0.000 0.000 0.000 edgecolor
708 newpath 626 1438 moveto
709 622 1428 lineto
710 619 1438 lineto
711 closepath
712 fill
713 0.000 0.000 0.000 edgecolor
714 newpath 626 1438 moveto
715 622 1428 lineto
716 619 1438 lineto
717 closepath
718 stroke
719 end grestore
720
721 %       lexicon -> content_pres
722 newpath 672 1481 moveto
723 702 1463 741 1440 773 1421 curveto
724 stroke
725 gsave 10 dict begin
726 solid
727 1 setlinewidth
728 0.000 0.000 0.000 edgecolor
729 newpath 775 1424 moveto
730 782 1416 lineto
731 772 1418 lineto
732 closepath
733 fill
734 0.000 0.000 0.000 edgecolor
735 newpath 775 1424 moveto
736 782 1416 lineto
737 772 1418 lineto
738 closepath
739 stroke
740 end grestore
741
742 %       library
743 gsave 10 dict begin
744 353 1074 64 45 ellipse_path
745 stroke
746 gsave 10 dict begin
747 321 1080 moveto
748 (library)
749 [6.72 6.72 12 7.92 10.56 7.92 12]
750 xshow
751 309 1052 moveto
752 (2.1 klocs)
753 [12 6 12 6 12 6.72 12 10.56 9.36]
754 xshow
755 end grestore
756 end grestore
757
758 %       cic_unification -> library
759 newpath 291 1210 moveto
760 303 1185 317 1154 329 1127 curveto
761 stroke
762 gsave 10 dict begin
763 solid
764 1 setlinewidth
765 0.000 0.000 0.000 edgecolor
766 newpath 332 1129 moveto
767 333 1118 lineto
768 326 1126 lineto
769 closepath
770 fill
771 0.000 0.000 0.000 edgecolor
772 newpath 332 1129 moveto
773 333 1118 lineto
774 326 1126 lineto
775 closepath
776 stroke
777 end grestore
778
779 %       tactics
780 gsave 10 dict begin
781 294 1382 69 45 ellipse_path
782 stroke
783 gsave 10 dict begin
784 263 1388 moveto
785 (tactics)
786 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
787 xshow
788 245 1360 moveto
789 (10.0 klocs)
790 [12 12 6 12 6 12 6.72 12 10.56 9.36]
791 xshow
792 end grestore
793 end grestore
794
795 %       tactics -> cic_unification
796 newpath 286 1337 moveto
797 285 1328 283 1319 281 1310 curveto
798 stroke
799 gsave 10 dict begin
800 solid
801 1 setlinewidth
802 0.000 0.000 0.000 edgecolor
803 newpath 284 1309 moveto
804 279 1300 lineto
805 278 1310 lineto
806 closepath
807 fill
808 0.000 0.000 0.000 edgecolor
809 newpath 284 1309 moveto
810 279 1300 lineto
811 278 1310 lineto
812 closepath
813 stroke
814 end grestore
815
816 %       tactics -> whelp
817 newpath 242 1351 moveto
818 210 1331 173 1308 169 1300 curveto
819 135 1235 119 1188 169 1136 curveto
820 179 1125 414 1132 427 1128 curveto
821 436 1125 444 1120 452 1115 curveto
822 stroke
823 gsave 10 dict begin
824 solid
825 1 setlinewidth
826 0.000 0.000 0.000 edgecolor
827 newpath 454 1118 moveto
828 461 1110 lineto
829 451 1112 lineto
830 closepath
831 fill
832 0.000 0.000 0.000 edgecolor
833 newpath 454 1118 moveto
834 461 1110 lineto
835 451 1112 lineto
836 closepath
837 stroke
838 end grestore
839
840 %       cic
841 gsave 10 dict begin
842 353 690 64 45 ellipse_path
843 stroke
844 gsave 10 dict begin
845 339 696 moveto
846 (cic)
847 [10.56 6.72 10.56]
848 xshow
849 309 668 moveto
850 (4.2 klocs)
851 [12 6 12 6 12 6.72 12 10.56 9.36]
852 xshow
853 end grestore
854 end grestore
855
856 %       grafite -> cic
857 newpath 128 1337 moveto
858 112 1278 86 1169 86 1074 curveto
859 86 1074 86 1074 86 946 curveto
860 86 925 86 917 96 900 curveto
861 110 878 230 784 301 730 curveto
862 stroke
863 gsave 10 dict begin
864 solid
865 1 setlinewidth
866 0.000 0.000 0.000 edgecolor
867 newpath 303 733 moveto
868 309 724 lineto
869 299 727 lineto
870 closepath
871 fill
872 0.000 0.000 0.000 edgecolor
873 newpath 303 733 moveto
874 309 724 lineto
875 299 727 lineto
876 closepath
877 stroke
878 end grestore
879
880 %       grafite_engine
881 gsave 10 dict begin
882 184 1510 90 45 ellipse_path
883 stroke
884 gsave 10 dict begin
885 114 1516 moveto
886 (grafite_engine)
887 [12 7.92 10.56 7.92 6.72 6.72 10.56 12 10.56 12 12 6.72 12 10.56]
888 xshow
889 141 1488 moveto
890 (1.2 klocs)
891 [12 6 12 6 12 6.72 12 10.56 9.36]
892 xshow
893 end grestore
894 end grestore
895
896 %       grafite_engine -> tactics
897 newpath 194 1464 moveto
898 204 1447 220 1432 235 1419 curveto
899 stroke
900 gsave 10 dict begin
901 solid
902 1 setlinewidth
903 0.000 0.000 0.000 edgecolor
904 newpath 237 1422 moveto
905 243 1413 lineto
906 233 1416 lineto
907 closepath
908 fill
909 0.000 0.000 0.000 edgecolor
910 newpath 237 1422 moveto
911 243 1413 lineto
912 233 1416 lineto
913 closepath
914 stroke
915 end grestore
916
917 %       grafite_engine -> grafite
918 newpath 169 1465 moveto
919 166 1456 163 1446 159 1437 curveto
920 stroke
921 gsave 10 dict begin
922 solid
923 1 setlinewidth
924 0.000 0.000 0.000 edgecolor
925 newpath 162 1436 moveto
926 156 1427 lineto
927 156 1438 lineto
928 closepath
929 fill
930 0.000 0.000 0.000 edgecolor
931 newpath 162 1436 moveto
932 156 1427 lineto
933 156 1438 lineto
934 closepath
935 stroke
936 end grestore
937
938 %       urimanager
939 gsave 10 dict begin
940 380 562 76 45 ellipse_path
941 stroke
942 gsave 10 dict begin
943 324 568 moveto
944 (urimanager)
945 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
946 xshow
947 336 540 moveto
948 (0.2 klocs)
949 [12 6 12 6 12 6.72 12 10.56 9.36]
950 xshow
951 end grestore
952 end grestore
953
954 %       cic -> urimanager
955 newpath 363 645 moveto
956 364 636 366 626 368 617 curveto
957 stroke
958 gsave 10 dict begin
959 solid
960 1 setlinewidth
961 0.000 0.000 0.000 edgecolor
962 newpath 371 617 moveto
963 370 607 lineto
964 365 616 lineto
965 closepath
966 fill
967 0.000 0.000 0.000 edgecolor
968 newpath 371 617 moveto
969 370 607 lineto
970 365 616 lineto
971 closepath
972 stroke
973 end grestore
974
975 %       xml
976 gsave 10 dict begin
977 655 262 64 45 ellipse_path
978 stroke
979 gsave 10 dict begin
980 636 268 moveto
981 (xml)
982 [12 18.72 6.72]
983 xshow
984 611 240 moveto
985 (0.5 klocs)
986 [12 6 12 6 12 6.72 12 10.56 9.36]
987 xshow
988 end grestore
989 end grestore
990
991 %       cic -> xml
992 newpath 315 652 moveto
993 307 641 299 629 294 616 curveto
994 269 543 254 509 294 444 curveto
995 357 342 496 295 582 275 curveto
996 stroke
997 gsave 10 dict begin
998 solid
999 1 setlinewidth
1000 0.000 0.000 0.000 edgecolor
1001 newpath 583 278 moveto
1002 592 273 lineto
1003 582 272 lineto
1004 closepath
1005 fill
1006 0.000 0.000 0.000 edgecolor
1007 newpath 583 278 moveto
1008 592 273 lineto
1009 582 272 lineto
1010 closepath
1011 stroke
1012 end grestore
1013
1014 %       cic_proof_checking
1015 gsave 10 dict begin
1016 405 818 116 45 ellipse_path
1017 stroke
1018 gsave 10 dict begin
1019 309 824 moveto
1020 (cic_proof_checking)
1021 [10.56 6.72 10.56 12 12 7.92 12 12 7.92 12 10.56 12 10.56 10.56 12 6.72 12 12]
1022 xshow
1023 361 796 moveto
1024 (5.8 klocs)
1025 [12 6 12 6 12 6.72 12 10.56 9.36]
1026 xshow
1027 end grestore
1028 end grestore
1029
1030 %       cic_proof_checking -> cic
1031 newpath 387 773 moveto
1032 383 763 379 753 375 743 curveto
1033 stroke
1034 gsave 10 dict begin
1035 solid
1036 1 setlinewidth
1037 0.000 0.000 0.000 edgecolor
1038 newpath 378 742 moveto
1039 371 734 lineto
1040 372 745 lineto
1041 closepath
1042 fill
1043 0.000 0.000 0.000 edgecolor
1044 newpath 378 742 moveto
1045 371 734 lineto
1046 372 745 lineto
1047 closepath
1048 stroke
1049 end grestore
1050
1051 %       getter
1052 gsave 10 dict begin
1053 501 690 64 45 ellipse_path
1054 stroke
1055 gsave 10 dict begin
1056 473 696 moveto
1057 (getter)
1058 [12 10.56 6.72 6.72 10.56 7.92]
1059 xshow
1060 457 668 moveto
1061 (2.0 klocs)
1062 [12 6 12 6 12 6.72 12 10.56 9.36]
1063 xshow
1064 end grestore
1065 end grestore
1066
1067 %       cic_proof_checking -> getter
1068 newpath 415 772 moveto
1069 423 756 436 742 449 730 curveto
1070 stroke
1071 gsave 10 dict begin
1072 solid
1073 1 setlinewidth
1074 0.000 0.000 0.000 edgecolor
1075 newpath 451 733 moveto
1076 456 723 lineto
1077 446 728 lineto
1078 closepath
1079 fill
1080 0.000 0.000 0.000 edgecolor
1081 newpath 451 733 moveto
1082 456 723 lineto
1083 446 728 lineto
1084 closepath
1085 stroke
1086 end grestore
1087
1088 %       getter -> urimanager
1089 newpath 465 652 moveto
1090 452 639 438 624 425 610 curveto
1091 stroke
1092 gsave 10 dict begin
1093 solid
1094 1 setlinewidth
1095 0.000 0.000 0.000 edgecolor
1096 newpath 427 607 moveto
1097 418 602 lineto
1098 422 612 lineto
1099 closepath
1100 fill
1101 0.000 0.000 0.000 edgecolor
1102 newpath 427 607 moveto
1103 418 602 lineto
1104 422 612 lineto
1105 closepath
1106 stroke
1107 end grestore
1108
1109 %       registry
1110 gsave 10 dict begin
1111 803 390 64 45 ellipse_path
1112 stroke
1113 gsave 10 dict begin
1114 765 396 moveto
1115 (registry)
1116 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
1117 xshow
1118 759 368 moveto
1119 (0.6 klocs)
1120 [12 6 12 6 12 6.72 12 10.56 9.36]
1121 xshow
1122 end grestore
1123 end grestore
1124
1125 %       getter -> registry
1126 newpath 501 644 moveto
1127 505 587 520 491 581 444 curveto
1128 595 433 714 440 729 436 curveto
1129 736 434 742 431 749 428 curveto
1130 stroke
1131 gsave 10 dict begin
1132 solid
1133 1 setlinewidth
1134 0.000 0.000 0.000 edgecolor
1135 newpath 751 431 moveto
1136 758 423 lineto
1137 748 425 lineto
1138 closepath
1139 fill
1140 0.000 0.000 0.000 edgecolor
1141 newpath 751 431 moveto
1142 758 423 lineto
1143 748 425 lineto
1144 closepath
1145 stroke
1146 end grestore
1147
1148 %       logger
1149 gsave 10 dict begin
1150 655 562 64 45 ellipse_path
1151 stroke
1152 gsave 10 dict begin
1153 624 568 moveto
1154 (logger)
1155 [6.72 12 12 12 10.56 7.92]
1156 xshow
1157 611 540 moveto
1158 (0.1 klocs)
1159 [12 6 12 6 12 6.72 12 10.56 9.36]
1160 xshow
1161 end grestore
1162 end grestore
1163
1164 %       getter -> logger
1165 newpath 543 655 moveto
1166 562 639 585 620 605 603 curveto
1167 stroke
1168 gsave 10 dict begin
1169 solid
1170 1 setlinewidth
1171 0.000 0.000 0.000 edgecolor
1172 newpath 607 606 moveto
1173 613 597 lineto
1174 603 600 lineto
1175 closepath
1176 fill
1177 0.000 0.000 0.000 edgecolor
1178 newpath 607 606 moveto
1179 613 597 lineto
1180 603 600 lineto
1181 closepath
1182 stroke
1183 end grestore
1184
1185 %       metadata
1186 gsave 10 dict begin
1187 501 946 64 45 ellipse_path
1188 stroke
1189 gsave 10 dict begin
1190 457 952 moveto
1191 (metadata)
1192 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
1193 xshow
1194 458 924 moveto
1195 (1.9 klocs)
1196 [12 6 12 6 12 6.72 12 10.56 9.36]
1197 xshow
1198 end grestore
1199 end grestore
1200
1201 %       metadata -> cic
1202 newpath 520 902 moveto
1203 525 890 529 877 531 864 curveto
1204 535 843 543 788 531 772 curveto
1205 503 732 471 759 427 736 curveto
1206 420 732 415 729 411 725 curveto
1207 stroke
1208 gsave 10 dict begin
1209 solid
1210 1 setlinewidth
1211 0.000 0.000 0.000 edgecolor
1212 newpath 414 723 moveto
1213 404 718 lineto
1214 409 728 lineto
1215 closepath
1216 fill
1217 0.000 0.000 0.000 edgecolor
1218 newpath 414 723 moveto
1219 404 718 lineto
1220 409 728 lineto
1221 closepath
1222 stroke
1223 end grestore
1224
1225 %       hmysql
1226 gsave 10 dict begin
1227 803 562 64 45 ellipse_path
1228 stroke
1229 gsave 10 dict begin
1230 767 568 moveto
1231 (hmysql)
1232 [12 18.72 12 9.36 12 6.72]
1233 xshow
1234 759 540 moveto
1235 (0.1 klocs)
1236 [12 6 12 6 12 6.72 12 10.56 9.36]
1237 xshow
1238 end grestore
1239 end grestore
1240
1241 %       metadata -> hmysql
1242 newpath 564 935 moveto
1243 636 921 746 896 772 864 curveto
1244 829 794 824 683 814 617 curveto
1245 stroke
1246 gsave 10 dict begin
1247 solid
1248 1 setlinewidth
1249 0.000 0.000 0.000 edgecolor
1250 newpath 817 616 moveto
1251 812 607 lineto
1252 811 617 lineto
1253 closepath
1254 fill
1255 0.000 0.000 0.000 edgecolor
1256 newpath 817 616 moveto
1257 812 607 lineto
1258 811 617 lineto
1259 closepath
1260 stroke
1261 end grestore
1262
1263 %       whelp -> metadata
1264 newpath 501 1028 moveto
1265 501 1020 501 1011 501 1002 curveto
1266 stroke
1267 gsave 10 dict begin
1268 solid
1269 1 setlinewidth
1270 0.000 0.000 0.000 edgecolor
1271 newpath 505 1002 moveto
1272 501 992 lineto
1273 498 1002 lineto
1274 closepath
1275 fill
1276 0.000 0.000 0.000 edgecolor
1277 newpath 505 1002 moveto
1278 501 992 lineto
1279 498 1002 lineto
1280 closepath
1281 stroke
1282 end grestore
1283
1284 %       library -> metadata
1285 newpath 394 1038 moveto
1286 412 1022 433 1004 452 988 curveto
1287 stroke
1288 gsave 10 dict begin
1289 solid
1290 1 setlinewidth
1291 0.000 0.000 0.000 edgecolor
1292 newpath 455 990 moveto
1293 460 981 lineto
1294 450 985 lineto
1295 closepath
1296 fill
1297 0.000 0.000 0.000 edgecolor
1298 newpath 455 990 moveto
1299 460 981 lineto
1300 450 985 lineto
1301 closepath
1302 stroke
1303 end grestore
1304
1305 %       library -> cic_acic
1306 newpath 353 1028 moveto
1307 353 1020 353 1011 353 1002 curveto
1308 stroke
1309 gsave 10 dict begin
1310 solid
1311 1 setlinewidth
1312 0.000 0.000 0.000 edgecolor
1313 newpath 357 1002 moveto
1314 353 992 lineto
1315 350 1002 lineto
1316 closepath
1317 fill
1318 0.000 0.000 0.000 edgecolor
1319 newpath 357 1002 moveto
1320 353 992 lineto
1321 350 1002 lineto
1322 closepath
1323 stroke
1324 end grestore
1325
1326 %       cic_acic -> cic_proof_checking
1327 newpath 371 902 moveto
1328 375 892 379 882 383 872 curveto
1329 stroke
1330 gsave 10 dict begin
1331 solid
1332 1 setlinewidth
1333 0.000 0.000 0.000 edgecolor
1334 newpath 386 874 moveto
1335 387 863 lineto
1336 380 871 lineto
1337 closepath
1338 fill
1339 0.000 0.000 0.000 edgecolor
1340 newpath 386 874 moveto
1341 387 863 lineto
1342 380 871 lineto
1343 closepath
1344 stroke
1345 end grestore
1346
1347 %       extlib
1348 gsave 10 dict begin
1349 655 134 63 45 ellipse_path
1350 stroke
1351 gsave 10 dict begin
1352 627 140 moveto
1353 (extlib)
1354 [10.56 12 6.72 6.72 6.72 12]
1355 xshow
1356 612 112 moveto
1357 (1.1 klocs)
1358 [12 6 12 6 12 6.72 12 10.56 9.36]
1359 xshow
1360 end grestore
1361 end grestore
1362
1363 %       hgdome
1364 gsave 10 dict begin
1365 655 390 64 45 ellipse_path
1366 stroke
1367 gsave 10 dict begin
1368 615 396 moveto
1369 (hgdome)
1370 [12 12 12 12 18.72 10.56]
1371 xshow
1372 611 368 moveto
1373 (0.2 klocs)
1374 [12 6 12 6 12 6.72 12 10.56 9.36]
1375 xshow
1376 end grestore
1377 end grestore
1378
1379 %       hgdome -> xml
1380 newpath 655 344 moveto
1381 655 336 655 327 655 318 curveto
1382 stroke
1383 gsave 10 dict begin
1384 solid
1385 1 setlinewidth
1386 0.000 0.000 0.000 edgecolor
1387 newpath 659 318 moveto
1388 655 308 lineto
1389 652 318 lineto
1390 closepath
1391 fill
1392 0.000 0.000 0.000 edgecolor
1393 newpath 659 318 moveto
1394 655 308 lineto
1395 652 318 lineto
1396 closepath
1397 stroke
1398 end grestore
1399
1400 %       hmysql -> registry
1401 newpath 803 516 moveto
1402 803 494 803 468 803 446 curveto
1403 stroke
1404 gsave 10 dict begin
1405 solid
1406 1 setlinewidth
1407 0.000 0.000 0.000 edgecolor
1408 newpath 807 446 moveto
1409 803 436 lineto
1410 800 446 lineto
1411 closepath
1412 fill
1413 0.000 0.000 0.000 edgecolor
1414 newpath 807 446 moveto
1415 803 436 lineto
1416 800 446 lineto
1417 closepath
1418 stroke
1419 end grestore
1420
1421 %       registry -> xml
1422 newpath 762 354 moveto
1423 744 338 723 320 704 304 curveto
1424 stroke
1425 gsave 10 dict begin
1426 solid
1427 1 setlinewidth
1428 0.000 0.000 0.000 edgecolor
1429 newpath 706 301 moveto
1430 696 297 lineto
1431 701 306 lineto
1432 closepath
1433 fill
1434 0.000 0.000 0.000 edgecolor
1435 newpath 706 301 moveto
1436 696 297 lineto
1437 701 306 lineto
1438 closepath
1439 stroke
1440 end grestore
1441
1442 %       xml -> extlib
1443 newpath 655 216 moveto
1444 655 208 655 199 655 190 curveto
1445 stroke
1446 gsave 10 dict begin
1447 solid
1448 1 setlinewidth
1449 0.000 0.000 0.000 edgecolor
1450 newpath 659 190 moveto
1451 655 180 lineto
1452 652 190 lineto
1453 closepath
1454 fill
1455 0.000 0.000 0.000 edgecolor
1456 newpath 659 190 moveto
1457 655 180 lineto
1458 652 190 lineto
1459 closepath
1460 stroke
1461 end grestore
1462
1463 %       DependencyAnalyzer
1464 gsave 10 dict begin
1465 filled
1466 0.584 0.220 0.933 nodecolor
1467 0.584 0.220 0.933 nodecolor
1468 newpath 758 1120 moveto
1469 622 1120 lineto
1470 622 1028 lineto
1471 758 1028 lineto
1472 closepath
1473 fill
1474 0.584 0.220 0.933 nodecolor
1475 newpath 758 1120 moveto
1476 622 1120 lineto
1477 622 1028 lineto
1478 758 1028 lineto
1479 closepath
1480 stroke
1481 gsave 10 dict begin
1482 0.000 0.000 0.000 nodecolor
1483 630 1094 moveto
1484 (Dependency)
1485 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
1486 xshow
1487 646 1066 moveto
1488 (Analyzer)
1489 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
1490 xshow
1491 643 1038 moveto
1492 ( 0.3 klocs)
1493 [6 12 6 12 6 12 6.72 12 10.56 9.36]
1494 xshow
1495 end grestore
1496 end grestore
1497
1498 %       DependencyAnalyzer -> metadata
1499 newpath 622 1028 moveto
1500 601 1013 577 997 557 984 curveto
1501 stroke
1502 gsave 10 dict begin
1503 solid
1504 1 setlinewidth
1505 0.000 0.000 0.000 edgecolor
1506 newpath 558 981 moveto
1507 548 978 lineto
1508 554 986 lineto
1509 closepath
1510 fill
1511 0.000 0.000 0.000 edgecolor
1512 newpath 558 981 moveto
1513 548 978 lineto
1514 554 986 lineto
1515 closepath
1516 stroke
1517 end grestore
1518
1519 %       Getter
1520 gsave 10 dict begin
1521 filled
1522 0.584 0.220 0.933 nodecolor
1523 0.584 0.220 0.933 nodecolor
1524 newpath 692 850 moveto
1525 582 850 lineto
1526 582 786 lineto
1527 692 786 lineto
1528 closepath
1529 fill
1530 0.584 0.220 0.933 nodecolor
1531 newpath 692 850 moveto
1532 582 850 lineto
1533 582 786 lineto
1534 692 786 lineto
1535 closepath
1536 stroke
1537 gsave 10 dict begin
1538 0.000 0.000 0.000 nodecolor
1539 607 824 moveto
1540 (Getter)
1541 [17.28 10.56 6.72 6.72 10.56 7.92]
1542 xshow
1543 590 796 moveto
1544 ( 0.3 klocs)
1545 [6 12 6 12 6 12 6.72 12 10.56 9.36]
1546 xshow
1547 end grestore
1548 end grestore
1549
1550 %       Getter -> getter
1551 newpath 603 786 moveto
1552 586 770 566 751 548 734 curveto
1553 stroke
1554 gsave 10 dict begin
1555 solid
1556 1 setlinewidth
1557 0.000 0.000 0.000 edgecolor
1558 newpath 550 731 moveto
1559 540 727 lineto
1560 545 736 lineto
1561 closepath
1562 fill
1563 0.000 0.000 0.000 edgecolor
1564 newpath 550 731 moveto
1565 540 727 lineto
1566 545 736 lineto
1567 closepath
1568 stroke
1569 end grestore
1570
1571 %       Matita
1572 gsave 10 dict begin
1573 filled
1574 0.584 0.220 0.933 nodecolor
1575 0.584 0.220 0.933 nodecolor
1576 newpath 239 1828 moveto
1577 129 1828 lineto
1578 129 1764 lineto
1579 239 1764 lineto
1580 closepath
1581 fill
1582 0.584 0.220 0.933 nodecolor
1583 newpath 239 1828 moveto
1584 129 1828 lineto
1585 129 1764 lineto
1586 239 1764 lineto
1587 closepath
1588 stroke
1589 gsave 10 dict begin
1590 0.000 0.000 0.000 nodecolor
1591 152 1802 moveto
1592 (Matita)
1593 [21.36 10.56 6.72 6.72 6.72 10.56]
1594 xshow
1595 137 1774 moveto
1596 ( 6.7 klocs)
1597 [6 12 6 12 6 12 6.72 12 10.56 9.36]
1598 xshow
1599 end grestore
1600 end grestore
1601
1602 %       Matita -> grafite_parser
1603 newpath 239 1792 moveto
1604 305 1786 417 1770 506 1736 curveto
1605 515 1732 524 1728 532 1723 curveto
1606 stroke
1607 gsave 10 dict begin
1608 solid
1609 1 setlinewidth
1610 0.000 0.000 0.000 edgecolor
1611 newpath 534 1726 moveto
1612 541 1718 lineto
1613 531 1720 lineto
1614 closepath
1615 fill
1616 0.000 0.000 0.000 edgecolor
1617 newpath 534 1726 moveto
1618 541 1718 lineto
1619 531 1720 lineto
1620 closepath
1621 stroke
1622 end grestore
1623
1624 %       Matita -> grafite_engine
1625 newpath 184 1764 moveto
1626 184 1716 184 1625 184 1566 curveto
1627 stroke
1628 gsave 10 dict begin
1629 solid
1630 1 setlinewidth
1631 0.000 0.000 0.000 edgecolor
1632 newpath 188 1566 moveto
1633 184 1556 lineto
1634 181 1566 lineto
1635 closepath
1636 fill
1637 0.000 0.000 0.000 edgecolor
1638 newpath 188 1566 moveto
1639 184 1556 lineto
1640 181 1566 lineto
1641 closepath
1642 stroke
1643 end grestore
1644
1645 %       Matita -> hgdome
1646 newpath 154 1764 moveto
1647 126 1732 85 1680 64 1628 curveto
1648 45 1578 48 1562 48 1510 curveto
1649 48 1510 48 1510 48 690 curveto
1650 48 540 144 513 276 444 curveto
1651 328 417 484 401 580 395 curveto
1652 stroke
1653 gsave 10 dict begin
1654 solid
1655 1 setlinewidth
1656 0.000 0.000 0.000 edgecolor
1657 newpath 580 398 moveto
1658 590 394 lineto
1659 580 392 lineto
1660 closepath
1661 fill
1662 0.000 0.000 0.000 edgecolor
1663 newpath 580 398 moveto
1664 590 394 lineto
1665 580 392 lineto
1666 closepath
1667 stroke
1668 end grestore
1669
1670 %       ProofChecker
1671 gsave 10 dict begin
1672 filled
1673 0.584 0.220 0.933 nodecolor
1674 0.584 0.220 0.933 nodecolor
1675 newpath 270 978 moveto
1676 114 978 lineto
1677 114 914 lineto
1678 270 914 lineto
1679 closepath
1680 fill
1681 0.584 0.220 0.933 nodecolor
1682 newpath 270 978 moveto
1683 114 978 lineto
1684 114 914 lineto
1685 270 914 lineto
1686 closepath
1687 stroke
1688 gsave 10 dict begin
1689 0.000 0.000 0.000 nodecolor
1690 122 952 moveto
1691 (Proof Checker)
1692 [13.44 7.92 12 12 7.92 6 16.08 12 10.56 10.56 12 10.56 7.92]
1693 xshow
1694 145 924 moveto
1695 ( 0.1 klocs)
1696 [6 12 6 12 6 12 6.72 12 10.56 9.36]
1697 xshow
1698 end grestore
1699 end grestore
1700
1701 %       ProofChecker -> cic_proof_checking
1702 newpath 245 914 moveto
1703 271 898 304 879 332 861 curveto
1704 stroke
1705 gsave 10 dict begin
1706 solid
1707 1 setlinewidth
1708 0.000 0.000 0.000 edgecolor
1709 newpath 334 864 moveto
1710 341 856 lineto
1711 331 858 lineto
1712 closepath
1713 fill
1714 0.000 0.000 0.000 edgecolor
1715 newpath 334 864 moveto
1716 341 856 lineto
1717 331 858 lineto
1718 closepath
1719 stroke
1720 end grestore
1721
1722 %       Uwobo
1723 gsave 10 dict begin
1724 filled
1725 0.584 0.220 0.933 nodecolor
1726 0.584 0.220 0.933 nodecolor
1727 newpath 490 1542 moveto
1728 380 1542 lineto
1729 380 1478 lineto
1730 490 1478 lineto
1731 closepath
1732 fill
1733 0.584 0.220 0.933 nodecolor
1734 newpath 490 1542 moveto
1735 380 1542 lineto
1736 380 1478 lineto
1737 490 1478 lineto
1738 closepath
1739 stroke
1740 gsave 10 dict begin
1741 0.000 0.000 0.000 nodecolor
1742 399 1516 moveto
1743 (Uwobo)
1744 [17.28 17.28 12 12 12]
1745 xshow
1746 388 1488 moveto
1747 ( 2.1 klocs)
1748 [6 12 6 12 6 12 6.72 12 10.56 9.36]
1749 xshow
1750 end grestore
1751 end grestore
1752
1753 %       Uwobo -> content_pres
1754 newpath 471 1478 moveto
1755 478 1472 486 1468 494 1464 curveto
1756 599 1419 639 1461 747 1428 curveto
1757 755 1425 763 1422 771 1419 curveto
1758 stroke
1759 gsave 10 dict begin
1760 solid
1761 1 setlinewidth
1762 0.000 0.000 0.000 edgecolor
1763 newpath 772 1422 moveto
1764 780 1415 lineto
1765 769 1416 lineto
1766 closepath
1767 fill
1768 0.000 0.000 0.000 edgecolor
1769 newpath 772 1422 moveto
1770 780 1415 lineto
1771 769 1416 lineto
1772 closepath
1773 stroke
1774 end grestore
1775
1776 %       Whelp
1777 gsave 10 dict begin
1778 filled
1779 0.584 0.220 0.933 nodecolor
1780 0.584 0.220 0.933 nodecolor
1781 newpath 649 1828 moveto
1782 539 1828 lineto
1783 539 1764 lineto
1784 649 1764 lineto
1785 closepath
1786 fill
1787 0.584 0.220 0.933 nodecolor
1788 newpath 649 1828 moveto
1789 539 1828 lineto
1790 539 1764 lineto
1791 649 1764 lineto
1792 closepath
1793 stroke
1794 gsave 10 dict begin
1795 0.000 0.000 0.000 nodecolor
1796 561 1802 moveto
1797 (Whelp)
1798 [22.56 12 10.56 6.72 12]
1799 xshow
1800 547 1774 moveto
1801 ( 0.6 klocs)
1802 [6 12 6 12 6 12 6.72 12 10.56 9.36]
1803 xshow
1804 end grestore
1805 end grestore
1806
1807 %       Whelp -> grafite_parser
1808 newpath 594 1764 moveto
1809 594 1756 594 1747 594 1738 curveto
1810 stroke
1811 gsave 10 dict begin
1812 solid
1813 1 setlinewidth
1814 0.000 0.000 0.000 edgecolor
1815 newpath 598 1738 moveto
1816 594 1728 lineto
1817 591 1738 lineto
1818 closepath
1819 fill
1820 0.000 0.000 0.000 edgecolor
1821 newpath 598 1738 moveto
1822 594 1728 lineto
1823 591 1738 lineto
1824 closepath
1825 stroke
1826 end grestore
1827 endpage
1828 showpage
1829 grestore
1830 %%PageTrailer
1831 %%EndPage: 1
1832 %%Trailer
1833 %%Pages: 1
1834 end
1835 restore
1836 %%EOF