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