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