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