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