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