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