2 %%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
3 %%For: (zacchiro) Stefano Zacchiroli,,,
6 %%BoundingBox: 35 35 866 873
15 /EncodingVector 256 array def
18 ISOLatin1Encoding 0 255 getinterval putinterval
71 % Set up ISO Latin 1 character encoding
73 dup dup findfont dup length dict begin
74 { 1 index /FID ne { def }{ pop pop } ifelse
76 /Encoding EncodingVector def
77 currentdict end definefont
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
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
99 /InvScaleFactor 1.0 def
101 dup 1 exch div /InvScaleFactor exch def
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
112 /unfilled { } bind def
113 /rounded { } bind def
114 /diagonals { } bind def
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
122 /beginpage { % i j npages
131 (\() show i str cvs show (,) show j str cvs show (\)) show
141 % draw aligned label in bounding box aligned to current point
142 /alignedtext { % width adj text
148 text stringwidth pop adj mul 0 rmoveto
155 /boxprim { % xcorner ycorner xsize ysize
178 /endpage { showpage } bind def
182 [ % layer color sequence - darkest to lightest
191 /layerlen layercolorseq length def
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
201 /onlayer { curlayer ne {invis} if } def
217 14 default-font-family set_font
219 % /arrowlength 10 def
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
227 userdict (<<) cvn ([) cvn load put
228 userdict (>>) cvn ([) cvn load put
233 %%PageBoundingBox: 36 36 866 873
234 %%PageOrientation: Portrait
236 35 35 831 838 boxprim clip newpath
239 0 0 translate 0 rotate
240 0.000 0.000 0.000 graphcolor
241 24.00 /Times-Roman set_font
245 583 562 75 25 ellipse_path
250 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
257 562 474 54 25 ellipse_path
262 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
267 % acic_content -> cic_acic
268 newpath 577 537 moveto
269 575 528 573 518 570 509 curveto
274 0.000 0.000 0.000 edgecolor
275 newpath 573 508 moveto
280 0.000 0.000 0.000 edgecolor
281 newpath 573 508 moveto
290 468 386 110 25 ellipse_path
295 [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]
300 % cic_acic -> cic_proof_checking
301 newpath 537 451 moveto
302 526 441 513 429 501 418 curveto
307 0.000 0.000 0.000 edgecolor
308 newpath 504 416 moveto
313 0.000 0.000 0.000 edgecolor
314 newpath 504 416 moveto
323 426 650 109 25 ellipse_path
328 [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]
333 % cic_disambiguation -> acic_content
334 newpath 468 626 moveto
335 489 615 514 601 535 589 curveto
340 0.000 0.000 0.000 edgecolor
341 newpath 537 592 moveto
346 0.000 0.000 0.000 edgecolor
347 newpath 537 592 moveto
356 402 562 86 25 ellipse_path
361 [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]
366 % cic_disambiguation -> cic_unification
367 newpath 419 625 moveto
368 417 616 414 607 412 598 curveto
373 0.000 0.000 0.000 edgecolor
374 newpath 415 597 moveto
379 0.000 0.000 0.000 edgecolor
380 newpath 415 597 moveto
389 252 562 44 25 ellipse_path
394 [17.28 12 10.56 6.72 12]
399 % cic_disambiguation -> whelp
400 newpath 380 627 moveto
401 353 614 320 597 295 584 curveto
406 0.000 0.000 0.000 edgecolor
407 newpath 296 581 moveto
412 0.000 0.000 0.000 edgecolor
413 newpath 296 581 moveto
422 631 650 76 25 ellipse_path
427 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
432 % content_pres -> acic_content
433 newpath 617 625 moveto
434 612 616 607 606 602 596 curveto
439 0.000 0.000 0.000 edgecolor
440 newpath 605 594 moveto
445 0.000 0.000 0.000 edgecolor
446 newpath 605 594 moveto
455 753 562 75 25 ellipse_path
460 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
465 % content_pres -> utf8_macros
466 newpath 663 627 moveto
467 678 616 697 603 713 591 curveto
472 0.000 0.000 0.000 edgecolor
473 newpath 715 594 moveto
478 0.000 0.000 0.000 edgecolor
479 newpath 715 594 moveto
488 689 738 46 25 ellipse_path
493 [12 7.92 10.56 7.92 6.72 6.72 10.56]
498 % grafite -> content_pres
499 newpath 673 714 moveto
500 667 705 659 694 653 684 curveto
505 0.000 0.000 0.000 edgecolor
506 newpath 655 681 moveto
511 0.000 0.000 0.000 edgecolor
512 newpath 655 681 moveto
519 % cic_unification -> cic_proof_checking
520 newpath 425 537 moveto
521 434 526 443 513 449 500 curveto
522 459 475 465 445 466 422 curveto
527 0.000 0.000 0.000 edgecolor
528 newpath 469 422 moveto
533 0.000 0.000 0.000 edgecolor
534 newpath 469 422 moveto
543 252 650 45 25 ellipse_path
548 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
553 % tactics -> cic_unification
554 newpath 284 631 moveto
555 304 620 332 603 354 590 curveto
560 0.000 0.000 0.000 edgecolor
561 newpath 356 593 moveto
566 0.000 0.000 0.000 edgecolor
567 newpath 356 593 moveto
575 newpath 252 624 moveto
576 252 616 252 607 252 598 curveto
581 0.000 0.000 0.000 edgecolor
582 newpath 256 598 moveto
587 0.000 0.000 0.000 edgecolor
588 newpath 256 598 moveto
597 279 738 90 25 ellipse_path
602 [12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
607 % paramodulation -> tactics
608 newpath 271 713 moveto
609 268 704 265 694 263 685 curveto
614 0.000 0.000 0.000 edgecolor
615 newpath 266 684 moveto
620 0.000 0.000 0.000 edgecolor
621 newpath 266 684 moveto
630 462 298 28 25 ellipse_path
642 456 210 70 25 ellipse_path
647 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
653 newpath 460 272 moveto
654 459 264 459 255 458 246 curveto
659 0.000 0.000 0.000 edgecolor
660 newpath 462 246 moveto
665 0.000 0.000 0.000 edgecolor
666 newpath 462 246 moveto
675 312 122 33 25 ellipse_path
686 newpath 487 285 moveto
687 504 274 525 257 536 236 curveto
688 545 215 549 202 536 184 curveto
689 513 155 414 136 356 127 curveto
694 0.000 0.000 0.000 edgecolor
695 newpath 356 124 moveto
700 0.000 0.000 0.000 edgecolor
701 newpath 356 124 moveto
708 % cic_proof_checking -> cic
709 newpath 466 360 moveto
710 465 352 465 343 464 334 curveto
715 0.000 0.000 0.000 edgecolor
716 newpath 468 334 moveto
721 0.000 0.000 0.000 edgecolor
722 newpath 468 334 moveto
731 301 298 42 25 ellipse_path
736 [12 10.56 6.72 6.72 10.56 7.92]
741 % cic_proof_checking -> getter
742 newpath 423 362 moveto
743 398 349 367 332 342 320 curveto
748 0.000 0.000 0.000 edgecolor
749 newpath 343 317 moveto
754 0.000 0.000 0.000 edgecolor
755 newpath 343 317 moveto
762 % getter -> urimanager
763 newpath 332 280 moveto
764 354 268 384 250 409 237 curveto
769 0.000 0.000 0.000 edgecolor
770 newpath 411 240 moveto
775 0.000 0.000 0.000 edgecolor
776 newpath 411 240 moveto
785 186 210 52 25 ellipse_path
790 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
796 newpath 275 278 moveto
797 260 266 240 251 222 238 curveto
802 0.000 0.000 0.000 edgecolor
803 newpath 224 235 moveto
808 0.000 0.000 0.000 edgecolor
809 newpath 224 235 moveto
818 186 386 58 25 ellipse_path
823 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
829 newpath 230 369 moveto
830 238 366 246 363 254 360 curveto
831 313 340 382 319 424 308 curveto
836 0.000 0.000 0.000 edgecolor
837 newpath 425 311 moveto
842 0.000 0.000 0.000 edgecolor
843 newpath 425 311 moveto
851 newpath 215 364 moveto
852 230 352 250 337 267 324 curveto
857 0.000 0.000 0.000 edgecolor
858 newpath 269 327 moveto
863 0.000 0.000 0.000 edgecolor
864 newpath 269 327 moveto
873 186 298 50 25 ellipse_path
878 [12 18.72 12 9.36 12 6.72]
884 newpath 186 360 moveto
885 186 352 186 343 186 334 curveto
890 0.000 0.000 0.000 edgecolor
891 newpath 190 334 moveto
896 0.000 0.000 0.000 edgecolor
897 newpath 190 334 moveto
905 newpath 251 536 moveto
906 250 512 245 476 233 448 curveto
907 228 437 222 427 215 418 curveto
912 0.000 0.000 0.000 edgecolor
913 newpath 218 416 moveto
918 0.000 0.000 0.000 edgecolor
919 newpath 218 416 moveto
928 312 34 42 25 ellipse_path
933 [10.56 12 6.72 6.72 6.72 12]
940 312 210 54 25 ellipse_path
945 [12 12 12 12 18.72 10.56]
951 newpath 312 184 moveto
952 312 176 312 167 312 158 curveto
957 0.000 0.000 0.000 edgecolor
958 newpath 316 158 moveto
963 0.000 0.000 0.000 edgecolor
964 newpath 316 158 moveto
972 newpath 186 272 moveto
973 186 264 186 255 186 246 curveto
978 0.000 0.000 0.000 edgecolor
979 newpath 190 246 moveto
984 0.000 0.000 0.000 edgecolor
985 newpath 190 246 moveto
993 newpath 216 189 moveto
994 235 176 260 159 279 145 curveto
999 0.000 0.000 0.000 edgecolor
1000 newpath 281 148 moveto
1005 0.000 0.000 0.000 edgecolor
1006 newpath 281 148 moveto
1014 newpath 312 96 moveto
1015 312 88 312 79 312 70 curveto
1020 0.000 0.000 0.000 edgecolor
1021 newpath 316 70 moveto
1026 0.000 0.000 0.000 edgecolor
1027 newpath 316 70 moveto
1034 % DependencyAnalyzer
1037 0.584 0.220 0.933 nodecolor
1038 0.584 0.220 0.933 nodecolor
1039 newpath 224 492 moveto
1045 0.584 0.220 0.933 nodecolor
1046 newpath 224 492 moveto
1053 0.000 0.000 0.000 nodecolor
1055 (DependencyAnalyzer)
1056 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12 17.28 12 10.56 6.72 12 10.56 10.56 7.92]
1061 % DependencyAnalyzer -> metadata
1062 newpath 127 456 moveto
1063 136 445 148 431 159 418 curveto
1068 0.000 0.000 0.000 edgecolor
1069 newpath 162 420 moveto
1074 0.000 0.000 0.000 edgecolor
1075 newpath 162 420 moveto
1085 0.584 0.220 0.933 nodecolor
1086 0.584 0.220 0.933 nodecolor
1087 newpath 339 404 moveto
1093 0.584 0.220 0.933 nodecolor
1094 newpath 339 404 moveto
1101 0.000 0.000 0.000 nodecolor
1104 [17.28 10.56 6.72 6.72 10.56 7.92]
1110 newpath 301 368 moveto
1111 301 358 301 346 301 334 curveto
1116 0.000 0.000 0.000 edgecolor
1117 newpath 305 334 moveto
1122 0.000 0.000 0.000 edgecolor
1123 newpath 305 334 moveto
1133 0.584 0.220 0.933 nodecolor
1134 0.584 0.220 0.933 nodecolor
1135 newpath 451 836 moveto
1141 0.584 0.220 0.933 nodecolor
1142 newpath 451 836 moveto
1149 0.000 0.000 0.000 nodecolor
1152 [21.36 10.56 6.72 6.72 6.72 10.56]
1157 % Matita -> cic_disambiguation
1158 newpath 414 800 moveto
1159 416 773 420 721 423 686 curveto
1164 0.000 0.000 0.000 edgecolor
1165 newpath 426 686 moveto
1170 0.000 0.000 0.000 edgecolor
1171 newpath 426 686 moveto
1179 newpath 451 811 moveto
1180 496 802 571 785 633 764 curveto
1181 637 762 641 761 644 759 curveto
1186 0.000 0.000 0.000 edgecolor
1187 newpath 646 762 moveto
1192 0.000 0.000 0.000 edgecolor
1193 newpath 646 762 moveto
1200 % Matita -> paramodulation
1201 newpath 382 800 moveto
1202 366 790 345 777 327 766 curveto
1207 0.000 0.000 0.000 edgecolor
1208 newpath 328 763 moveto
1213 0.000 0.000 0.000 edgecolor
1214 newpath 328 763 moveto
1224 0.584 0.220 0.933 nodecolor
1225 0.584 0.220 0.933 nodecolor
1226 newpath 440 492 moveto
1232 0.584 0.220 0.933 nodecolor
1233 newpath 440 492 moveto
1240 0.000 0.000 0.000 nodecolor
1243 [13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
1248 % ProofChecker -> cic_proof_checking
1249 newpath 386 456 moveto
1250 400 445 416 430 431 417 curveto
1255 0.000 0.000 0.000 edgecolor
1256 newpath 433 420 moveto
1261 0.000 0.000 0.000 edgecolor
1262 newpath 433 420 moveto
1272 0.584 0.220 0.933 nodecolor
1273 0.584 0.220 0.933 nodecolor
1274 newpath 624 756 moveto
1280 0.584 0.220 0.933 nodecolor
1281 newpath 624 756 moveto
1288 0.000 0.000 0.000 nodecolor
1291 [17.28 17.28 12 12 12]
1296 % Uwobo -> content_pres
1297 newpath 591 720 moveto
1298 597 710 605 696 612 684 curveto
1303 0.000 0.000 0.000 edgecolor
1304 newpath 615 685 moveto
1309 0.000 0.000 0.000 edgecolor
1310 newpath 615 685 moveto
1320 0.584 0.220 0.933 nodecolor
1321 0.584 0.220 0.933 nodecolor
1322 newpath 520 756 moveto
1328 0.584 0.220 0.933 nodecolor
1329 newpath 520 756 moveto
1336 0.000 0.000 0.000 nodecolor
1339 [22.56 12 10.56 6.72 12]
1344 % Whelp -> cic_disambiguation
1345 newpath 469 720 moveto
1346 463 710 454 696 447 684 curveto
1351 0.000 0.000 0.000 edgecolor
1352 newpath 450 682 moveto
1357 0.000 0.000 0.000 edgecolor
1358 newpath 450 682 moveto
1365 % Whelp -> content_pres
1366 newpath 511 720 moveto
1367 532 708 560 691 584 677 curveto
1372 0.000 0.000 0.000 edgecolor
1373 newpath 586 680 moveto
1378 0.000 0.000 0.000 edgecolor
1379 newpath 586 680 moveto