helm/papers/matita/librariesCluster.ps

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