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