helm/papers/matita/librariesCluster.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 1258 979
   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 1258 979
 234 %%PageOrientation: Portrait
 235 gsave
 236 35 35 1223 944 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 764 488 moveto
 248 1193 488 lineto
 249 1193 862 lineto
 250 764 862 lineto
 251 closepath
 252 fill
 253 0.000 0.000 1.000 sethsbcolor
 254 newpath 764 488 moveto
 255 1193 488 lineto
 256 1193 862 lineto
 257 764 862 lineto
 258 closepath
 259 stroke
 260 gsave 10 dict begin
 261 0.000 0.000 0.000 sethsbcolor
 262 772 498 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 end grestore
 267 end grestore
 268 % cluster_partially
 269 gsave 10 dict begin
 270 filled
 271 0.000 0.000 1.000 sethsbcolor
 272 0.000 0.000 0.929 sethsbcolor
 273 newpath 314 618 moveto
 274 564 618 lineto
 275 564 898 lineto
 276 314 898 lineto
 277 closepath
 278 fill
 279 0.000 0.000 1.000 sethsbcolor
 280 newpath 314 618 moveto
 281 564 618 lineto
 282 564 898 lineto
 283 314 898 lineto
 284 closepath
 285 stroke
 286 gsave 10 dict begin
 287 0.000 0.000 0.000 sethsbcolor
 288 322 872 moveto
 289 (Partially specified terms)
 290 [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]
 291 xshow
 292 end grestore
 293 end grestore
 294 % cluster_fully
 295 gsave 10 dict begin
 296 filled
 297 0.000 0.000 1.000 sethsbcolor
 298 0.000 0.000 0.929 sethsbcolor
 299 newpath 86 208 moveto
 300 460 208 lineto
 301 460 592 lineto
 302 86 592 lineto
 303 closepath
 304 fill
 305 0.000 0.000 1.000 sethsbcolor
 306 newpath 86 208 moveto
 307 460 208 lineto
 308 460 592 lineto
 309 86 592 lineto
 310 closepath
 311 stroke
 312 gsave 10 dict begin
 313 0.000 0.000 0.000 sethsbcolor
 314 93 218 moveto
 315 (Fully specified terms)
 316 [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]
 317 xshow
 318 end grestore
 319 end grestore
 320 % cluster_utilities
 321 gsave 10 dict begin
 322 filled
 323 0.000 0.000 1.000 sethsbcolor
 324 0.000 0.000 0.929 sethsbcolor
 325 newpath 468 16 moveto
 326 718 16 lineto
 327 718 400 lineto
 328 468 400 lineto
 329 closepath
 330 fill
 331 0.000 0.000 1.000 sethsbcolor
 332 newpath 468 16 moveto
 333 718 16 lineto
 334 718 400 lineto
 335 468 400 lineto
 336 closepath
 337 stroke
 338 gsave 10 dict begin
 339 0.000 0.000 0.000 sethsbcolor
 340 632 26 moveto
 341 (Utilities)
 342 [17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
 343 xshow
 344 end grestore
 345 end grestore
 346
 347 %       acic_content
 348 gsave 10 dict begin
 349 849 652 75 25 ellipse_path
 350 stroke
 351 gsave 10 dict begin
 352 788 644 moveto
 353 (acic_content)
 354 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 355 xshow
 356 end grestore
 357 end grestore
 358
 359 %       cic_acic
 360 gsave 10 dict begin
 361 839 558 54 25 ellipse_path
 362 stroke
 363 gsave 10 dict begin
 364 799 550 moveto
 365 (cic_acic)
 366 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 367 xshow
 368 end grestore
 369 end grestore
 370
 371 %       acic_content -> cic_acic
 372 newpath 846 626 moveto
 373 845 616 844 605 843 594 curveto
 374 stroke
 375 gsave 10 dict begin
 376 solid
 377 1 setlinewidth
 378 0.000 0.000 0.000 edgecolor
 379 newpath 846 594 moveto
 380 842 584 lineto
 381 840 594 lineto
 382 closepath
 383 fill
 384 0.000 0.000 0.000 edgecolor
 385 newpath 846 594 moveto
 386 842 584 lineto
 387 840 594 lineto
 388 closepath
 389 stroke
 390 end grestore
 391
 392 %       cic_proof_checking
 393 gsave 10 dict begin
 394 341 454 110 25 ellipse_path
 395 stroke
 396 gsave 10 dict begin
 397 245 446 moveto
 398 (cic_proof_checking)
 399 [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]
 400 xshow
 401 end grestore
 402 end grestore
 403
 404 %       cic_acic -> cic_proof_checking
 405 newpath 820 534 moveto
 406 806 518 784 497 760 488 curveto
 407 741 480 423 491 361 482 curveto
 408 stroke
 409 gsave 10 dict begin
 410 solid
 411 1 setlinewidth
 412 0.000 0.000 0.000 edgecolor
 413 newpath 361 479 moveto
 414 351 480 lineto
 415 360 485 lineto
 416 closepath
 417 fill
 418 0.000 0.000 0.000 edgecolor
 419 newpath 361 479 moveto
 420 351 480 lineto
 421 360 485 lineto
 422 closepath
 423 stroke
 424 end grestore
 425
 426 %       cic_disambiguation
 427 gsave 10 dict begin
 428 1054 740 109 25 ellipse_path
 429 stroke
 430 gsave 10 dict begin
 431 959 732 moveto
 432 (cic_disambiguation)
 433 [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]
 434 xshow
 435 end grestore
 436 end grestore
 437
 438 %       cic_disambiguation -> acic_content
 439 newpath 975 722 moveto
 440 935 712 890 698 867 684 curveto
 441 stroke
 442 gsave 10 dict begin
 443 solid
 444 1 setlinewidth
 445 0.000 0.000 0.000 edgecolor
 446 newpath 869 681 moveto
 447 859 678 lineto
 448 865 687 lineto
 449 closepath
 450 fill
 451 0.000 0.000 0.000 edgecolor
 452 newpath 869 681 moveto
 453 859 678 lineto
 454 865 687 lineto
 455 closepath
 456 stroke
 457 end grestore
 458
 459 %       cic_unification
 460 gsave 10 dict begin
 461 469 652 86 25 ellipse_path
 462 stroke
 463 gsave 10 dict begin
 464 397 644 moveto
 465 (cic_unification)
 466 [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]
 467 xshow
 468 end grestore
 469 end grestore
 470
 471 %       cic_disambiguation -> cic_unification
 472 newpath 976 722 moveto
 473 963 719 948 716 935 714 curveto
 474 810 692 777 695 650 678 curveto
 475 619 674 586 669 557 665 curveto
 476 stroke
 477 gsave 10 dict begin
 478 solid
 479 1 setlinewidth
 480 0.000 0.000 0.000 edgecolor
 481 newpath 557 662 moveto
 482 547 663 lineto
 483 556 668 lineto
 484 closepath
 485 fill
 486 0.000 0.000 0.000 edgecolor
 487 newpath 557 662 moveto
 488 547 663 lineto
 489 556 668 lineto
 490 closepath
 491 stroke
 492 end grestore
 493
 494 %       whelp
 495 gsave 10 dict begin
 496 354 558 44 25 ellipse_path
 497 stroke
 498 gsave 10 dict begin
 499 324 550 moveto
 500 (whelp)
 501 [17.28 12 10.56 6.72 12]
 502 xshow
 503 end grestore
 504 end grestore
 505
 506 %       cic_disambiguation -> whelp
 507 newpath 968 724 moveto
 508 968 723 967 723 967 723 curveto
 509 965 721 964 721 961 720 curveto
 510 932 706 922 708 890 702 curveto
 511 835 690 820 691 764 678 curveto
 512 676 656 658 637 568 618 curveto
 513 524 608 402 620 366 592 curveto
 514 366 592 366 592 365 592 curveto
 515 stroke
 516 gsave 10 dict begin
 517 solid
 518 1 setlinewidth
 519 0.000 0.000 0.000 edgecolor
 520 newpath 368 590 moveto
 521 360 583 lineto
 522 362 593 lineto
 523 closepath
 524 fill
 525 0.000 0.000 0.000 edgecolor
 526 newpath 368 590 moveto
 527 360 583 lineto
 528 362 593 lineto
 529 closepath
 530 stroke
 531 end grestore
 532
 533 %       content_pres
 534 gsave 10 dict begin
 535 849 740 76 25 ellipse_path
 536 stroke
 537 gsave 10 dict begin
 538 787 732 moveto
 539 (content_pres)
 540 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 541 xshow
 542 end grestore
 543 end grestore
 544
 545 %       content_pres -> acic_content
 546 newpath 849 714 moveto
 547 849 706 849 697 849 688 curveto
 548 stroke
 549 gsave 10 dict begin
 550 solid
 551 1 setlinewidth
 552 0.000 0.000 0.000 edgecolor
 553 newpath 853 688 moveto
 554 849 678 lineto
 555 846 688 lineto
 556 closepath
 557 fill
 558 0.000 0.000 0.000 edgecolor
 559 newpath 853 688 moveto
 560 849 678 lineto
 561 846 688 lineto
 562 closepath
 563 stroke
 564 end grestore
 565
 566 %       grafite
 567 gsave 10 dict begin
 568 881 828 46 25 ellipse_path
 569 stroke
 570 gsave 10 dict begin
 571 849 820 moveto
 572 (grafite)
 573 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 574 xshow
 575 end grestore
 576 end grestore
 577
 578 %       grafite -> content_pres
 579 newpath 872 803 moveto
 580 868 794 865 784 861 775 curveto
 581 stroke
 582 gsave 10 dict begin
 583 solid
 584 1 setlinewidth
 585 0.000 0.000 0.000 edgecolor
 586 newpath 864 774 moveto
 587 858 765 lineto
 588 858 776 lineto
 589 closepath
 590 fill
 591 0.000 0.000 0.000 edgecolor
 592 newpath 864 774 moveto
 593 858 765 lineto
 594 858 776 lineto
 595 closepath
 596 stroke
 597 end grestore
 598
 599 %       cic_unification -> cic_proof_checking
 600 newpath 552 644 moveto
 601 622 636 714 620 736 592 curveto
 602 765 555 769 521 736 488 curveto
 603 731 482 606 483 598 483 curveto
 604 563 482 555 482 519 482 curveto
 605 503 481 389 482 372 481 curveto
 606 372 481 372 481 372 481 curveto
 607 stroke
 608 gsave 10 dict begin
 609 solid
 610 1 setlinewidth
 611 0.000 0.000 0.000 edgecolor
 612 newpath 376 478 moveto
 613 365 479 lineto
 614 374 485 lineto
 615 closepath
 616 fill
 617 0.000 0.000 0.000 edgecolor
 618 newpath 376 478 moveto
 619 365 479 lineto
 620 374 485 lineto
 621 closepath
 622 stroke
 623 end grestore
 624
 625 %       tactics
 626 gsave 10 dict begin
 627 463 740 45 25 ellipse_path
 628 stroke
 629 gsave 10 dict begin
 630 432 732 moveto
 631 (tactics)
 632 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 633 xshow
 634 end grestore
 635 end grestore
 636
 637 %       tactics -> cic_unification
 638 newpath 465 714 moveto
 639 466 706 466 697 467 688 curveto
 640 stroke
 641 gsave 10 dict begin
 642 solid
 643 1 setlinewidth
 644 0.000 0.000 0.000 edgecolor
 645 newpath 471 688 moveto
 646 467 678 lineto
 647 464 688 lineto
 648 closepath
 649 fill
 650 0.000 0.000 0.000 edgecolor
 651 newpath 471 688 moveto
 652 467 678 lineto
 653 464 688 lineto
 654 closepath
 655 stroke
 656 end grestore
 657
 658 %       tactics -> whelp
 659 newpath 427 724 moveto
 660 408 714 386 698 373 678 curveto
 661 357 653 353 620 353 594 curveto
 662 stroke
 663 gsave 10 dict begin
 664 solid
 665 1 setlinewidth
 666 0.000 0.000 0.000 edgecolor
 667 newpath 357 594 moveto
 668 353 584 lineto
 669 350 594 lineto
 670 closepath
 671 fill
 672 0.000 0.000 0.000 edgecolor
 673 newpath 357 594 moveto
 674 353 584 lineto
 675 350 594 lineto
 676 closepath
 677 stroke
 678 end grestore
 679
 680 %       paramodulation
 681 gsave 10 dict begin
 682 463 828 90 25 ellipse_path
 683 stroke
 684 gsave 10 dict begin
 685 387 820 moveto
 686 (paramodulation)
 687 [12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
 688 xshow
 689 end grestore
 690 end grestore
 691
 692 %       paramodulation -> tactics
 693 newpath 463 802 moveto
 694 463 794 463 785 463 776 curveto
 695 stroke
 696 gsave 10 dict begin
 697 solid
 698 1 setlinewidth
 699 0.000 0.000 0.000 edgecolor
 700 newpath 467 776 moveto
 701 463 766 lineto
 702 460 776 lineto
 703 closepath
 704 fill
 705 0.000 0.000 0.000 edgecolor
 706 newpath 467 776 moveto
 707 463 766 lineto
 708 460 776 lineto
 709 closepath
 710 stroke
 711 end grestore
 712
 713 %       cic
 714 gsave 10 dict begin
 715 248 366 28 25 ellipse_path
 716 stroke
 717 gsave 10 dict begin
 718 234 358 moveto
 719 (cic)
 720 [10.56 6.72 10.56]
 721 xshow
 722 end grestore
 723 end grestore
 724
 725 %       urimanager
 726 gsave 10 dict begin
 727 343 278 70 25 ellipse_path
 728 stroke
 729 gsave 10 dict begin
 730 287 270 moveto
 731 (urimanager)
 732 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 733 xshow
 734 end grestore
 735 end grestore
 736
 737 %       cic -> urimanager
 738 newpath 268 347 moveto
 739 280 336 296 322 310 309 curveto
 740 stroke
 741 gsave 10 dict begin
 742 solid
 743 1 setlinewidth
 744 0.000 0.000 0.000 edgecolor
 745 newpath 312 312 moveto
 746 317 302 lineto
 747 307 307 lineto
 748 closepath
 749 fill
 750 0.000 0.000 0.000 edgecolor
 751 newpath 312 312 moveto
 752 317 302 lineto
 753 307 307 lineto
 754 closepath
 755 stroke
 756 end grestore
 757
 758 %       xml
 759 gsave 10 dict begin
 760 529 174 33 25 ellipse_path
 761 stroke
 762 gsave 10 dict begin
 763 510 166 moveto
 764 (xml)
 765 [12 18.72 6.72]
 766 xshow
 767 end grestore
 768 end grestore
 769
 770 %       cic -> xml
 771 newpath 242 341 moveto
 772 235 306 229 243 263 208 curveto
 773 278 192 413 181 485 177 curveto
 774 stroke
 775 gsave 10 dict begin
 776 solid
 777 1 setlinewidth
 778 0.000 0.000 0.000 edgecolor
 779 newpath 485 180 moveto
 780 495 176 lineto
 781 485 174 lineto
 782 closepath
 783 fill
 784 0.000 0.000 0.000 edgecolor
 785 newpath 485 180 moveto
 786 495 176 lineto
 787 485 174 lineto
 788 closepath
 789 stroke
 790 end grestore
 791
 792 %       cic_proof_checking -> cic
 793 newpath 315 429 moveto
 794 303 417 288 404 276 392 curveto
 795 stroke
 796 gsave 10 dict begin
 797 solid
 798 1 setlinewidth
 799 0.000 0.000 0.000 edgecolor
 800 newpath 278 389 moveto
 801 268 385 lineto
 802 273 394 lineto
 803 closepath
 804 fill
 805 0.000 0.000 0.000 edgecolor
 806 newpath 278 389 moveto
 807 268 385 lineto
 808 273 394 lineto
 809 closepath
 810 stroke
 811 end grestore
 812
 813 %       getter
 814 gsave 10 dict begin
 815 341 366 42 25 ellipse_path
 816 stroke
 817 gsave 10 dict begin
 818 313 358 moveto
 819 (getter)
 820 [12 10.56 6.72 6.72 10.56 7.92]
 821 xshow
 822 end grestore
 823 end grestore
 824
 825 %       cic_proof_checking -> getter
 826 newpath 341 428 moveto
 827 341 420 341 411 341 402 curveto
 828 stroke
 829 gsave 10 dict begin
 830 solid
 831 1 setlinewidth
 832 0.000 0.000 0.000 edgecolor
 833 newpath 345 402 moveto
 834 341 392 lineto
 835 338 402 lineto
 836 closepath
 837 fill
 838 0.000 0.000 0.000 edgecolor
 839 newpath 345 402 moveto
 840 341 392 lineto
 841 338 402 lineto
 842 closepath
 843 stroke
 844 end grestore
 845
 846 %       getter -> urimanager
 847 newpath 342 340 moveto
 848 342 332 342 323 342 314 curveto
 849 stroke
 850 gsave 10 dict begin
 851 solid
 852 1 setlinewidth
 853 0.000 0.000 0.000 edgecolor
 854 newpath 346 314 moveto
 855 342 304 lineto
 856 339 314 lineto
 857 closepath
 858 fill
 859 0.000 0.000 0.000 edgecolor
 860 newpath 346 314 moveto
 861 342 304 lineto
 862 339 314 lineto
 863 closepath
 864 stroke
 865 end grestore
 866
 867 %       registry
 868 gsave 10 dict begin
 869 529 278 52 25 ellipse_path
 870 stroke
 871 gsave 10 dict begin
 872 491 270 moveto
 873 (registry)
 874 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 875 xshow
 876 end grestore
 877 end grestore
 878
 879 %       getter -> registry
 880 newpath 375 350 moveto
 881 405 336 449 316 482 300 curveto
 882 stroke
 883 gsave 10 dict begin
 884 solid
 885 1 setlinewidth
 886 0.000 0.000 0.000 edgecolor
 887 newpath 483 303 moveto
 888 491 296 lineto
 889 480 297 lineto
 890 closepath
 891 fill
 892 0.000 0.000 0.000 edgecolor
 893 newpath 483 303 moveto
 894 491 296 lineto
 895 480 297 lineto
 896 closepath
 897 stroke
 898 end grestore
 899
 900 %       metadata
 901 gsave 10 dict begin
 902 153 454 58 25 ellipse_path
 903 stroke
 904 gsave 10 dict begin
 905 109 446 moveto
 906 (metadata)
 907 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 908 xshow
 909 end grestore
 910 end grestore
 911
 912 %       metadata -> cic
 913 newpath 178 431 moveto
 914 191 419 207 404 220 392 curveto
 915 stroke
 916 gsave 10 dict begin
 917 solid
 918 1 setlinewidth
 919 0.000 0.000 0.000 edgecolor
 920 newpath 223 394 moveto
 921 228 385 lineto
 922 218 389 lineto
 923 closepath
 924 fill
 925 0.000 0.000 0.000 edgecolor
 926 newpath 223 394 moveto
 927 228 385 lineto
 928 218 389 lineto
 929 closepath
 930 stroke
 931 end grestore
 932
 933 %       metadata -> getter
 934 newpath 197 437 moveto
 935 229 424 270 408 286 400 curveto
 936 292 397 298 394 303 390 curveto
 937 stroke
 938 gsave 10 dict begin
 939 solid
 940 1 setlinewidth
 941 0.000 0.000 0.000 edgecolor
 942 newpath 305 393 moveto
 943 312 385 lineto
 944 302 387 lineto
 945 closepath
 946 fill
 947 0.000 0.000 0.000 edgecolor
 948 newpath 305 393 moveto
 949 312 385 lineto
 950 302 387 lineto
 951 closepath
 952 stroke
 953 end grestore
 954
 955 %       hmysql
 956 gsave 10 dict begin
 957 528 366 50 25 ellipse_path
 958 stroke
 959 gsave 10 dict begin
 960 492 358 moveto
 961 (hmysql)
 962 [12 18.72 12 9.36 12 6.72]
 963 xshow
 964 end grestore
 965 end grestore
 966
 967 %       metadata -> hmysql
 968 newpath 195 436 moveto
 969 203 433 212 430 221 428 curveto
 970 327 402 361 432 464 400 curveto
 971 472 397 479 394 487 390 curveto
 972 stroke
 973 gsave 10 dict begin
 974 solid
 975 1 setlinewidth
 976 0.000 0.000 0.000 edgecolor
 977 newpath 488 393 moveto
 978 496 386 lineto
 979 485 387 lineto
 980 closepath
 981 fill
 982 0.000 0.000 0.000 edgecolor
 983 newpath 488 393 moveto
 984 496 386 lineto
 985 485 387 lineto
 986 closepath
 987 stroke
 988 end grestore
 989
 990 %       whelp -> metadata
 991 newpath 320 541 moveto
 992 287 523 237 497 200 479 curveto
 993 stroke
 994 gsave 10 dict begin
 995 solid
 996 1 setlinewidth
 997 0.000 0.000 0.000 edgecolor
 998 newpath 201 476 moveto
 999 191 474 lineto
1000 198 482 lineto
1001 closepath
1002 fill
1003 0.000 0.000 0.000 edgecolor
1004 newpath 201 476 moveto
1005 191 474 lineto
1006 198 482 lineto
1007 closepath
1008 stroke
1009 end grestore
1010
1011 %       extlib
1012 gsave 10 dict begin
1013 529 86 42 25 ellipse_path
1014 stroke
1015 gsave 10 dict begin
1016 501 78 moveto
1017 (extlib)
1018 [10.56 12 6.72 6.72 6.72 12]
1019 xshow
1020 end grestore
1021 end grestore
1022
1023 %       hgdome
1024 gsave 10 dict begin
1025 655 278 54 25 ellipse_path
1026 stroke
1027 gsave 10 dict begin
1028 615 270 moveto
1029 (hgdome)
1030 [12 12 12 12 18.72 10.56]
1031 xshow
1032 end grestore
1033 end grestore
1034
1035 %       hgdome -> xml
1036 newpath 637 254 moveto
1037 625 239 608 221 591 208 curveto
1038 584 202 575 197 567 192 curveto
1039 stroke
1040 gsave 10 dict begin
1041 solid
1042 1 setlinewidth
1043 0.000 0.000 0.000 edgecolor
1044 newpath 568 189 moveto
1045 558 187 lineto
1046 565 195 lineto
1047 closepath
1048 fill
1049 0.000 0.000 0.000 edgecolor
1050 newpath 568 189 moveto
1051 558 187 lineto
1052 565 195 lineto
1053 closepath
1054 stroke
1055 end grestore
1056
1057 %       hmysql -> registry
1058 newpath 528 340 moveto
1059 528 332 529 323 529 314 curveto
1060 stroke
1061 gsave 10 dict begin
1062 solid
1063 1 setlinewidth
1064 0.000 0.000 0.000 edgecolor
1065 newpath 533 314 moveto
1066 529 304 lineto
1067 526 314 lineto
1068 closepath
1069 fill
1070 0.000 0.000 0.000 edgecolor
1071 newpath 533 314 moveto
1072 529 304 lineto
1073 526 314 lineto
1074 closepath
1075 stroke
1076 end grestore
1077
1078 %       registry -> xml
1079 newpath 529 252 moveto
1080 529 239 529 224 529 210 curveto
1081 stroke
1082 gsave 10 dict begin
1083 solid
1084 1 setlinewidth
1085 0.000 0.000 0.000 edgecolor
1086 newpath 533 210 moveto
1087 529 200 lineto
1088 526 210 lineto
1089 closepath
1090 fill
1091 0.000 0.000 0.000 edgecolor
1092 newpath 533 210 moveto
1093 529 200 lineto
1094 526 210 lineto
1095 closepath
1096 stroke
1097 end grestore
1098
1099 %       xml -> extlib
1100 newpath 529 148 moveto
1101 529 140 529 131 529 122 curveto
1102 stroke
1103 gsave 10 dict begin
1104 solid
1105 1 setlinewidth
1106 0.000 0.000 0.000 edgecolor
1107 newpath 533 122 moveto
1108 529 112 lineto
1109 526 122 lineto
1110 closepath
1111 fill
1112 0.000 0.000 0.000 edgecolor
1113 newpath 533 122 moveto
1114 529 112 lineto
1115 526 122 lineto
1116 closepath
1117 stroke
1118 end grestore
1119
1120 %       DependencyAnalyzer
1121 gsave 10 dict begin
1122 filled
1123 0.584 0.220 0.933 nodecolor
1124 0.584 0.220 0.933 nodecolor
1125 newpath 604 590 moveto
1126 468 590 lineto
1127 468 526 lineto
1128 604 526 lineto
1129 closepath
1130 fill
1131 0.584 0.220 0.933 nodecolor
1132 newpath 604 590 moveto
1133 468 590 lineto
1134 468 526 lineto
1135 604 526 lineto
1136 closepath
1137 stroke
1138 gsave 10 dict begin
1139 0.000 0.000 0.000 nodecolor
1140 476 564 moveto
1141 (Dependency)
1142 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
1143 xshow
1144 492 536 moveto
1145 (Analyzer)
1146 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
1147 xshow
1148 end grestore
1149 end grestore
1150
1151 %       DependencyAnalyzer -> metadata
1152 newpath 513 526 moveto
1153 500 511 483 496 464 488 curveto
1154 440 477 248 485 221 480 curveto
1155 216 479 210 477 205 475 curveto
1156 stroke
1157 gsave 10 dict begin
1158 solid
1159 1 setlinewidth
1160 0.000 0.000 0.000 edgecolor
1161 newpath 206 472 moveto
1162 195 472 lineto
1163 204 478 lineto
1164 closepath
1165 fill
1166 0.000 0.000 0.000 edgecolor
1167 newpath 206 472 moveto
1168 195 472 lineto
1169 204 478 lineto
1170 closepath
1171 stroke
1172 end grestore
1173
1174 %       Getter
1175 gsave 10 dict begin
1176 filled
1177 0.584 0.220 0.933 nodecolor
1178 0.584 0.220 0.933 nodecolor
1179 newpath 76 472 moveto
1180 0 472 lineto
1181 0 436 lineto
1182 76 436 lineto
1183 closepath
1184 fill
1185 0.584 0.220 0.933 nodecolor
1186 newpath 76 472 moveto
1187 0 472 lineto
1188 0 436 lineto
1189 76 436 lineto
1190 closepath
1191 stroke
1192 gsave 10 dict begin
1193 0.000 0.000 0.000 nodecolor
1194 8 446 moveto
1195 (Getter)
1196 [17.28 10.56 6.72 6.72 10.56 7.92]
1197 xshow
1198 end grestore
1199 end grestore
1200
1201 %       Getter -> getter
1202 newpath 65 436 moveto
1203 70 433 76 430 82 428 curveto
1204 169 397 200 430 286 400 curveto
1205 293 397 299 394 305 391 curveto
1206 stroke
1207 gsave 10 dict begin
1208 solid
1209 1 setlinewidth
1210 0.000 0.000 0.000 edgecolor
1211 newpath 307 394 moveto
1212 314 386 lineto
1213 304 388 lineto
1214 closepath
1215 fill
1216 0.000 0.000 0.000 edgecolor
1217 newpath 307 394 moveto
1218 314 386 lineto
1219 304 388 lineto
1220 closepath
1221 stroke
1222 end grestore
1223
1224 %       Matita
1225 gsave 10 dict begin
1226 filled
1227 0.584 0.220 0.933 nodecolor
1228 0.584 0.220 0.933 nodecolor
1229 newpath 990 942 moveto
1230 912 942 lineto
1231 912 906 lineto
1232 990 906 lineto
1233 closepath
1234 fill
1235 0.584 0.220 0.933 nodecolor
1236 newpath 990 942 moveto
1237 912 942 lineto
1238 912 906 lineto
1239 990 906 lineto
1240 closepath
1241 stroke
1242 gsave 10 dict begin
1243 0.000 0.000 0.000 nodecolor
1244 919 916 moveto
1245 (Matita)
1246 [21.36 10.56 6.72 6.72 6.72 10.56]
1247 xshow
1248 end grestore
1249 end grestore
1250
1251 %       Matita -> cic_disambiguation
1252 newpath 961 906 moveto
1253 978 875 1012 813 1035 775 curveto
1254 stroke
1255 gsave 10 dict begin
1256 solid
1257 1 setlinewidth
1258 0.000 0.000 0.000 edgecolor
1259 newpath 1038 776 moveto
1260 1040 766 lineto
1261 1032 773 lineto
1262 closepath
1263 fill
1264 0.000 0.000 0.000 edgecolor
1265 newpath 1038 776 moveto
1266 1040 766 lineto
1267 1032 773 lineto
1268 closepath
1269 stroke
1270 end grestore
1271
1272 %       Matita -> grafite
1273 newpath 912 914 moveto
1274 904 910 896 905 891 898 curveto
1275 883 889 880 876 879 864 curveto
1276 stroke
1277 gsave 10 dict begin
1278 solid
1279 1 setlinewidth
1280 0.000 0.000 0.000 edgecolor
1281 newpath 883 864 moveto
1282 879 854 lineto
1283 876 864 lineto
1284 closepath
1285 fill
1286 0.000 0.000 0.000 edgecolor
1287 newpath 883 864 moveto
1288 879 854 lineto
1289 876 864 lineto
1290 closepath
1291 stroke
1292 end grestore
1293
1294 %       Matita -> paramodulation
1295 newpath 912 923 moveto
1296 801 921 489 912 473 898 curveto
1297 464 889 460 877 459 864 curveto
1298 stroke
1299 gsave 10 dict begin
1300 solid
1301 1 setlinewidth
1302 0.000 0.000 0.000 edgecolor
1303 newpath 463 864 moveto
1304 459 854 lineto
1305 456 864 lineto
1306 closepath
1307 fill
1308 0.000 0.000 0.000 edgecolor
1309 newpath 463 864 moveto
1310 459 854 lineto
1311 456 864 lineto
1312 closepath
1313 stroke
1314 end grestore
1315
1316 %       Matita -> hgdome
1317 newpath 990 922 moveto
1318 1056 919 1183 912 1197 898 curveto
1319 1221 872 1211 775 1211 740 curveto
1320 1211 740 1211 740 1211 454 curveto
1321 1211 351 865 301 719 284 curveto
1322 stroke
1323 gsave 10 dict begin
1324 solid
1325 1 setlinewidth
1326 0.000 0.000 0.000 edgecolor
1327 newpath 719 281 moveto
1328 709 283 lineto
1329 719 287 lineto
1330 closepath
1331 fill
1332 0.000 0.000 0.000 edgecolor
1333 newpath 719 281 moveto
1334 709 283 lineto
1335 719 287 lineto
1336 closepath
1337 stroke
1338 end grestore
1339
1340 %       ProofChecker
1341 gsave 10 dict begin
1342 filled
1343 0.584 0.220 0.933 nodecolor
1344 0.584 0.220 0.933 nodecolor
1345 newpath 718 590 moveto
1346 622 590 lineto
1347 622 526 lineto
1348 718 526 lineto
1349 closepath
1350 fill
1351 0.584 0.220 0.933 nodecolor
1352 newpath 718 590 moveto
1353 622 590 lineto
1354 622 526 lineto
1355 718 526 lineto
1356 closepath
1357 stroke
1358 gsave 10 dict begin
1359 0.000 0.000 0.000 nodecolor
1360 643 564 moveto
1361 (Proof)
1362 [13.44 7.92 12 12 7.92]
1363 xshow
1364 630 536 moveto
1365 (Checker)
1366 [16.08 12 10.56 10.56 12 10.56 7.92]
1367 xshow
1368 end grestore
1369 end grestore
1370
1371 %       ProofChecker -> cic_proof_checking
1372 newpath 653 526 moveto
1373 643 511 630 496 613 488 curveto
1374 589 476 409 493 360 483 curveto
1375 stroke
1376 gsave 10 dict begin
1377 solid
1378 1 setlinewidth
1379 0.000 0.000 0.000 edgecolor
1380 newpath 362 480 moveto
1381 351 480 lineto
1382 359 486 lineto
1383 closepath
1384 fill
1385 0.000 0.000 0.000 edgecolor
1386 newpath 362 480 moveto
1387 351 480 lineto
1388 359 486 lineto
1389 closepath
1390 stroke
1391 end grestore
1392
1393 %       Uwobo
1394 gsave 10 dict begin
1395 filled
1396 0.584 0.220 0.933 nodecolor
1397 0.584 0.220 0.933 nodecolor
1398 newpath 658 846 moveto
1399 572 846 lineto
1400 572 810 lineto
1401 658 810 lineto
1402 closepath
1403 fill
1404 0.584 0.220 0.933 nodecolor
1405 newpath 658 846 moveto
1406 572 846 lineto
1407 572 810 lineto
1408 658 810 lineto
1409 closepath
1410 stroke
1411 gsave 10 dict begin
1412 0.000 0.000 0.000 nodecolor
1413 579 820 moveto
1414 (Uwobo)
1415 [17.28 17.28 12 12 12]
1416 xshow
1417 end grestore
1418 end grestore
1419
1420 %       Uwobo -> content_pres
1421 newpath 649 810 moveto
1422 655 807 661 804 667 802 curveto
1423 704 786 748 772 782 760 curveto
1424 stroke
1425 gsave 10 dict begin
1426 solid
1427 1 setlinewidth
1428 0.000 0.000 0.000 edgecolor
1429 newpath 783 763 moveto
1430 792 757 lineto
1431 781 757 lineto
1432 closepath
1433 fill
1434 0.000 0.000 0.000 edgecolor
1435 newpath 783 763 moveto
1436 792 757 lineto
1437 781 757 lineto
1438 closepath
1439 stroke
1440 end grestore
1441
1442 %       Whelp
1443 gsave 10 dict begin
1444 filled
1445 0.584 0.220 0.933 nodecolor
1446 0.584 0.220 0.933 nodecolor
1447 newpath 756 846 moveto
1448 676 846 lineto
1449 676 810 lineto
1450 756 810 lineto
1451 closepath
1452 fill
1453 0.584 0.220 0.933 nodecolor
1454 newpath 756 846 moveto
1455 676 846 lineto
1456 676 810 lineto
1457 756 810 lineto
1458 closepath
1459 stroke
1460 gsave 10 dict begin
1461 0.000 0.000 0.000 nodecolor
1462 683 820 moveto
1463 (Whelp)
1464 [22.56 12 10.56 6.72 12]
1465 xshow
1466 end grestore
1467 end grestore
1468
1469 %       Whelp -> cic_disambiguation
1470 newpath 743 810 moveto
1471 749 807 754 804 760 802 curveto
1472 835 773 858 782 935 766 curveto
1473 944 764 954 762 963 759 curveto
1474 stroke
1475 gsave 10 dict begin
1476 solid
1477 1 setlinewidth
1478 0.000 0.000 0.000 edgecolor
1479 newpath 964 762 moveto
1480 973 757 lineto
1481 963 756 lineto
1482 closepath
1483 fill
1484 0.000 0.000 0.000 edgecolor
1485 newpath 964 762 moveto
1486 973 757 lineto
1487 963 756 lineto
1488 closepath
1489 stroke
1490 end grestore
1491
1492 %       Whelp -> content_pres
1493 newpath 743 810 moveto
1494 761 798 785 782 805 769 curveto
1495 stroke
1496 gsave 10 dict begin
1497 solid
1498 1 setlinewidth
1499 0.000 0.000 0.000 edgecolor
1500 newpath 808 771 moveto
1501 814 763 lineto
1502 804 766 lineto
1503 closepath
1504 fill
1505 0.000 0.000 0.000 edgecolor
1506 newpath 808 771 moveto
1507 814 763 lineto
1508 804 766 lineto
1509 closepath
1510 stroke
1511 end grestore
1512 endpage
1513 showpage
1514 grestore
1515 %%PageTrailer
1516 %%EndPage: 1
1517 %%Trailer
1518 %%Pages: 1
1519 end
1520 restore
1521 %%EOF