2 %%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
3 %%For: (sacerdot) Claudio Sacerdoti Coen,,,
6 %%BoundingBox: 35 35 606 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 606 873
234 %%PageOrientation: Portrait
236 35 35 571 838 boxprim clip newpath
239 0 0 translate 0 rotate
240 0.000 0.000 0.000 graphcolor
241 14.00 /Times-Roman set_font
246 0.584 0.220 0.933 nodecolor
247 0.584 0.220 0.933 nodecolor
248 newpath 287 476 moveto
254 0.584 0.220 0.933 nodecolor
255 newpath 287 476 moveto
262 0.000 0.000 0.000 nodecolor
265 [10.08 6.24 6.96 6.24 6.96 6.96 6.24 6.96 6.24 6.96]
269 [10.08 6.96 6.24 3.84 6.96 6.24 6.24 4.56]
276 191 380 38 18 ellipse_path
281 [10.8 6.24 3.84 6.24 6.96 6.24 3.84 6.24]
286 % DependencyAnalyzer -> metadata
287 newpath 230 436 moveto
288 223 427 215 416 209 406 curveto
293 0.000 0.000 0.000 edgecolor
294 newpath 211 403 moveto
299 0.000 0.000 0.000 edgecolor
300 newpath 211 403 moveto
310 0.584 0.220 0.933 nodecolor
311 0.584 0.220 0.933 nodecolor
312 newpath 408 324 moveto
318 0.584 0.220 0.933 nodecolor
319 newpath 408 324 moveto
326 0.000 0.000 0.000 nodecolor
329 [10.08 6.24 3.84 3.84 6.24 4.56]
336 275 234 29 18 ellipse_path
341 [6.96 6.24 3.84 3.84 6.24 4.56]
347 newpath 354 288 moveto
348 339 278 319 264 303 254 curveto
353 0.000 0.000 0.000 edgecolor
354 newpath 305 251 moveto
359 0.000 0.000 0.000 edgecolor
360 newpath 305 251 moveto
370 0.584 0.220 0.933 nodecolor
371 0.584 0.220 0.933 nodecolor
372 newpath 259 836 moveto
378 0.584 0.220 0.933 nodecolor
379 newpath 259 836 moveto
386 0.000 0.000 0.000 nodecolor
389 [12.48 6.24 3.84 3.84 3.84 6.24]
396 313 602 68 18 ellipse_path
401 [6.24 3.84 6.24 6.96 6.96 3.84 5.52 6.24 10.8 6.96 3.84 6.96 6.96 6.24 3.84 3.84 6.96 6.96]
406 % Matita -> cic_disambiguation
407 newpath 259 801 moveto
408 272 792 286 779 294 764 curveto
409 316 721 317 664 316 630 curveto
414 0.000 0.000 0.000 edgecolor
415 newpath 319 630 moveto
420 0.000 0.000 0.000 edgecolor
421 newpath 319 630 moveto
430 232 746 53 18 ellipse_path
435 [6.96 4.56 6.24 4.56 3.84 3.84 6.24 6.96 6.24 6.96 6.96 3.84 6.96 6.24]
440 % Matita -> grafite_engine
441 newpath 232 800 moveto
442 232 792 232 783 232 774 curveto
447 0.000 0.000 0.000 edgecolor
448 newpath 236 774 moveto
453 0.000 0.000 0.000 edgecolor
454 newpath 236 774 moveto
463 393 746 52 18 ellipse_path
468 [6.96 4.56 6.24 4.56 3.84 3.84 6.24 6.96 6.96 6.24 4.56 5.52 6.24 4.56]
473 % Matita -> grafite_parser
474 newpath 259 806 moveto
475 284 794 322 777 351 764 curveto
480 0.000 0.000 0.000 edgecolor
481 newpath 353 767 moveto
486 0.000 0.000 0.000 edgecolor
487 newpath 353 767 moveto
496 36 602 36 18 ellipse_path
501 [6.96 6.96 6.96 6.96 10.8 6.24]
507 newpath 205 816 moveto
508 129 801 85 826 38 764 curveto
509 9 725 19 665 27 630 curveto
514 0.000 0.000 0.000 edgecolor
515 newpath 30 631 moveto
520 0.000 0.000 0.000 edgecolor
521 newpath 30 631 moveto
530 104 746 57 18 ellipse_path
535 [6.96 6.24 4.56 6.24 10.8 6.96 6.96 6.96 3.84 6.24 3.84 3.84 6.96 6.96]
540 % Matita -> paramodulation
541 newpath 205 803 moveto
542 186 793 161 778 141 767 curveto
547 0.000 0.000 0.000 edgecolor
548 newpath 142 764 moveto
553 0.000 0.000 0.000 edgecolor
554 newpath 142 764 moveto
564 0.584 0.220 0.933 nodecolor
565 0.584 0.220 0.933 nodecolor
566 newpath 309 400 moveto
572 0.584 0.220 0.933 nodecolor
573 newpath 309 400 moveto
580 0.000 0.000 0.000 nodecolor
583 [7.68 4.56 6.96 6.96 4.56]
587 [9.36 6.96 6.24 6.24 6.96 6.24 4.56]
594 268 306 68 18 ellipse_path
599 [6.24 3.84 6.24 6.96 6.96 4.56 6.96 6.96 4.56 6.96 6.24 6.96 6.24 6.24 6.96 3.84 6.96 6.96]
604 % ProofChecker -> cic_proof_checking
605 newpath 275 360 moveto
606 274 352 273 343 272 334 curveto
611 0.000 0.000 0.000 edgecolor
612 newpath 275 333 moveto
617 0.000 0.000 0.000 edgecolor
618 newpath 275 333 moveto
628 0.584 0.220 0.933 nodecolor
629 0.584 0.220 0.933 nodecolor
630 newpath 489 692 moveto
636 0.584 0.220 0.933 nodecolor
637 newpath 489 692 moveto
644 0.000 0.000 0.000 nodecolor
647 [10.08 10.08 6.96 6.96 6.96]
654 454 602 49 18 ellipse_path
659 [6.24 6.96 6.96 3.84 6.24 6.96 3.84 6.96 6.96 4.56 6.24 5.52]
664 % Uwobo -> content_pres
665 newpath 458 656 moveto
666 457 648 457 639 456 630 curveto
671 0.000 0.000 0.000 edgecolor
672 newpath 460 630 moveto
677 0.000 0.000 0.000 edgecolor
678 newpath 460 630 moveto
688 0.584 0.220 0.933 nodecolor
689 0.584 0.220 0.933 nodecolor
690 newpath 420 836 moveto
696 0.584 0.220 0.933 nodecolor
697 newpath 420 836 moveto
704 0.000 0.000 0.000 nodecolor
707 [13.2 6.96 6.24 3.84 6.96]
712 % Whelp -> grafite_parser
713 newpath 393 800 moveto
714 393 792 393 783 393 774 curveto
719 0.000 0.000 0.000 edgecolor
720 newpath 397 774 moveto
725 0.000 0.000 0.000 edgecolor
726 newpath 397 774 moveto
735 172 234 27 18 ellipse_path
746 newpath 189 362 moveto
747 185 337 179 292 175 262 curveto
752 0.000 0.000 0.000 edgecolor
753 newpath 178 262 moveto
758 0.000 0.000 0.000 edgecolor
759 newpath 178 262 moveto
768 401 234 34 18 ellipse_path
773 [6.96 10.8 6.96 5.52 6.96 3.84]
779 newpath 218 367 moveto
780 225 364 232 362 238 360 curveto
781 316 335 365 386 417 324 curveto
782 431 306 425 280 416 261 curveto
787 0.000 0.000 0.000 edgecolor
788 newpath 419 259 moveto
793 0.000 0.000 0.000 edgecolor
794 newpath 419 259 moveto
803 181 162 45 18 ellipse_path
808 [6.96 4.56 3.84 10.8 6.24 6.96 6.24 6.96 6.24 4.56]
813 % getter -> urimanager
814 newpath 256 220 moveto
815 242 210 225 196 210 184 curveto
820 0.000 0.000 0.000 edgecolor
821 newpath 212 181 moveto
826 0.000 0.000 0.000 edgecolor
827 newpath 212 181 moveto
836 359 162 35 18 ellipse_path
841 [4.56 6.24 6.96 3.84 5.52 3.84 4.56 6.96]
847 newpath 292 219 moveto
848 304 209 319 196 333 185 curveto
853 0.000 0.000 0.000 edgecolor
854 newpath 336 187 moveto
859 0.000 0.000 0.000 edgecolor
860 newpath 336 187 moveto
869 275 162 31 18 ellipse_path
874 [3.84 6.96 6.96 6.96 6.24 4.56]
880 newpath 275 216 moveto
881 275 208 275 199 275 190 curveto
886 0.000 0.000 0.000 edgecolor
887 newpath 279 190 moveto
892 0.000 0.000 0.000 edgecolor
893 newpath 279 190 moveto
902 286 530 55 18 ellipse_path
907 [6.24 3.84 6.24 6.96 6.96 6.96 3.84 4.56 3.84 6.24 6.24 3.84 3.84 6.96 6.96]
912 % cic_disambiguation -> cic_unification
913 newpath 306 584 moveto
914 303 576 300 566 296 558 curveto
919 0.000 0.000 0.000 edgecolor
920 newpath 299 557 moveto
925 0.000 0.000 0.000 edgecolor
926 newpath 299 557 moveto
935 407 530 48 18 ellipse_path
940 [6.24 6.24 3.84 6.24 6.96 6.24 6.96 6.96 3.84 6.24 6.96 3.84]
945 % cic_disambiguation -> acic_content
946 newpath 335 585 moveto
947 347 575 364 563 378 552 curveto
952 0.000 0.000 0.000 edgecolor
953 newpath 380 555 moveto
958 0.000 0.000 0.000 edgecolor
959 newpath 380 555 moveto
968 183 530 30 18 ellipse_path
973 [10.08 6.96 6.24 3.84 6.96]
978 % cic_disambiguation -> whelp
979 newpath 284 586 moveto
980 263 574 235 559 214 547 curveto
985 0.000 0.000 0.000 edgecolor
986 newpath 215 544 moveto
991 0.000 0.000 0.000 edgecolor
992 newpath 215 544 moveto
1001 243 674 31 18 ellipse_path
1006 [6.96 4.56 6.24 4.56 3.84 3.84 6.24]
1011 % grafite_engine -> grafite
1012 newpath 235 728 moveto
1013 236 720 238 711 239 702 curveto
1018 0.000 0.000 0.000 edgecolor
1019 newpath 242 702 moveto
1024 0.000 0.000 0.000 edgecolor
1025 newpath 242 702 moveto
1034 184 602 31 18 ellipse_path
1039 [3.84 6.24 6.24 3.84 3.84 6.24 5.52]
1044 % grafite_engine -> tactics
1045 newpath 221 728 moveto
1046 215 718 208 704 203 692 curveto
1047 195 672 191 648 188 630 curveto
1052 0.000 0.000 0.000 edgecolor
1053 newpath 191 629 moveto
1058 0.000 0.000 0.000 edgecolor
1059 newpath 191 629 moveto
1066 % grafite_parser -> grafite
1067 newpath 362 731 moveto
1068 337 719 302 702 276 690 curveto
1073 0.000 0.000 0.000 edgecolor
1074 newpath 278 687 moveto
1079 0.000 0.000 0.000 edgecolor
1080 newpath 278 687 moveto
1089 382 674 31 18 ellipse_path
1094 [5.52 6.96 6.24 6.24 3.84 6.96]
1099 % grafite_parser -> sheath
1100 newpath 390 728 moveto
1101 389 720 387 711 386 702 curveto
1106 0.000 0.000 0.000 edgecolor
1107 newpath 389 702 moveto
1112 0.000 0.000 0.000 edgecolor
1113 newpath 389 702 moveto
1122 108 90 27 18 ellipse_path
1133 newpath 39 584 moveto
1134 44 557 53 502 53 456 curveto
1135 53 456 53 456 53 234 curveto
1136 53 190 76 144 92 116 curveto
1141 0.000 0.000 0.000 edgecolor
1142 newpath 95 117 moveto
1147 0.000 0.000 0.000 edgecolor
1148 newpath 95 117 moveto
1155 % paramodulation -> tactics
1156 newpath 114 728 moveto
1157 128 703 153 657 169 628 curveto
1162 0.000 0.000 0.000 edgecolor
1163 newpath 172 629 moveto
1168 0.000 0.000 0.000 edgecolor
1169 newpath 172 629 moveto
1176 % cic_proof_checking -> getter
1177 newpath 270 288 moveto
1178 271 280 271 271 272 262 curveto
1183 0.000 0.000 0.000 edgecolor
1184 newpath 275 262 moveto
1189 0.000 0.000 0.000 edgecolor
1190 newpath 275 262 moveto
1197 % cic_proof_checking -> cic
1198 newpath 245 289 moveto
1199 231 279 213 265 198 254 curveto
1204 0.000 0.000 0.000 edgecolor
1205 newpath 200 251 moveto
1210 0.000 0.000 0.000 edgecolor
1211 newpath 200 251 moveto
1218 % content_pres -> acic_content
1219 newpath 442 584 moveto
1220 437 576 430 566 424 556 curveto
1225 0.000 0.000 0.000 edgecolor
1226 newpath 427 554 moveto
1231 0.000 0.000 0.000 edgecolor
1232 newpath 427 554 moveto
1241 521 530 48 18 ellipse_path
1246 [6.96 3.84 4.56 6.96 6.96 10.8 6.24 6.24 4.56 6.96 5.52]
1251 % content_pres -> utf8_macros
1252 newpath 470 585 moveto
1253 479 576 489 565 498 555 curveto
1258 0.000 0.000 0.000 edgecolor
1259 newpath 501 557 moveto
1264 0.000 0.000 0.000 edgecolor
1265 newpath 501 557 moveto
1273 newpath 215 666 moveto
1274 193 658 162 643 144 620 curveto
1275 120 587 125 570 125 530 curveto
1276 125 530 125 530 125 380 curveto
1277 125 336 144 289 158 260 curveto
1282 0.000 0.000 0.000 edgecolor
1283 newpath 161 262 moveto
1288 0.000 0.000 0.000 edgecolor
1289 newpath 161 262 moveto
1296 % sheath -> cic_disambiguation
1297 newpath 367 658 moveto
1298 358 649 347 637 337 627 curveto
1303 0.000 0.000 0.000 edgecolor
1304 newpath 340 625 moveto
1309 0.000 0.000 0.000 edgecolor
1310 newpath 340 625 moveto
1317 % sheath -> content_pres
1318 newpath 398 658 moveto
1319 407 649 419 637 430 626 curveto
1324 0.000 0.000 0.000 edgecolor
1325 newpath 432 629 moveto
1330 0.000 0.000 0.000 edgecolor
1331 newpath 432 629 moveto
1338 % tactics -> cic_unification
1339 newpath 204 588 moveto
1340 218 578 238 564 255 553 curveto
1345 0.000 0.000 0.000 edgecolor
1346 newpath 257 556 moveto
1351 0.000 0.000 0.000 edgecolor
1352 newpath 257 556 moveto
1360 newpath 184 584 moveto
1361 183 576 183 567 183 558 curveto
1366 0.000 0.000 0.000 edgecolor
1367 newpath 187 558 moveto
1372 0.000 0.000 0.000 edgecolor
1373 newpath 187 558 moveto
1382 337 456 32 18 ellipse_path
1387 [3.84 3.84 6.96 4.56 6.24 4.56 6.96]
1392 % cic_unification -> library
1393 newpath 298 512 moveto
1394 304 503 312 492 319 482 curveto
1399 0.000 0.000 0.000 edgecolor
1400 newpath 322 483 moveto
1405 0.000 0.000 0.000 edgecolor
1406 newpath 322 483 moveto
1415 363 380 36 18 ellipse_path
1420 [6.24 3.84 6.24 6.96 6.24 6.24 3.84 6.24]
1425 % acic_content -> cic_acic
1426 newpath 402 512 moveto
1427 394 486 380 438 371 408 curveto
1432 0.000 0.000 0.000 edgecolor
1433 newpath 374 407 moveto
1438 0.000 0.000 0.000 edgecolor
1439 newpath 374 407 moveto
1447 newpath 184 512 moveto
1448 185 486 187 439 189 408 curveto
1453 0.000 0.000 0.000 edgecolor
1454 newpath 192 408 moveto
1459 0.000 0.000 0.000 edgecolor
1460 newpath 192 408 moveto
1467 % library -> metadata
1468 newpath 313 444 moveto
1469 290 431 253 413 226 398 curveto
1474 0.000 0.000 0.000 edgecolor
1475 newpath 227 395 moveto
1480 0.000 0.000 0.000 edgecolor
1481 newpath 227 395 moveto
1488 % library -> cic_acic
1489 newpath 343 438 moveto
1490 346 429 350 418 354 408 curveto
1495 0.000 0.000 0.000 edgecolor
1496 newpath 357 409 moveto
1501 0.000 0.000 0.000 edgecolor
1502 newpath 357 409 moveto
1509 % cic_acic -> cic_proof_checking
1510 newpath 343 365 moveto
1511 330 355 312 341 298 329 curveto
1516 0.000 0.000 0.000 edgecolor
1517 newpath 300 326 moveto
1522 0.000 0.000 0.000 edgecolor
1523 newpath 300 326 moveto
1531 newpath 156 219 moveto
1532 146 209 134 195 127 180 curveto
1533 118 161 113 137 110 118 curveto
1538 0.000 0.000 0.000 edgecolor
1539 newpath 113 118 moveto
1544 0.000 0.000 0.000 edgecolor
1545 newpath 113 118 moveto
1553 newpath 174 216 moveto
1554 175 208 176 199 177 190 curveto
1559 0.000 0.000 0.000 edgecolor
1560 newpath 180 190 moveto
1565 0.000 0.000 0.000 edgecolor
1566 newpath 180 190 moveto
1573 % hmysql -> registry
1574 newpath 391 217 moveto
1575 386 208 380 197 374 188 curveto
1580 0.000 0.000 0.000 edgecolor
1581 newpath 377 186 moveto
1586 0.000 0.000 0.000 edgecolor
1587 newpath 377 186 moveto
1596 108 18 29 18 ellipse_path
1601 [6.24 6.96 3.84 3.84 3.84 6.96]
1607 newpath 108 72 moveto
1608 108 64 108 55 108 46 curveto
1613 0.000 0.000 0.000 edgecolor
1614 newpath 112 46 moveto
1619 0.000 0.000 0.000 edgecolor
1620 newpath 112 46 moveto
1628 newpath 332 150 moveto
1629 327 148 321 146 315 144 curveto
1630 256 124 185 107 144 97 curveto
1635 0.000 0.000 0.000 edgecolor
1636 newpath 144 94 moveto
1641 0.000 0.000 0.000 edgecolor
1642 newpath 144 94 moveto