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