helm/papers/matita/libraries.ps

   1 %!PS-Adobe-2.0
   2 %%Creator: dot version 2.2.1 (Tue Apr 12 00:03:35 UTC 2005)
   3 %%For: (sacerdot) Claudio Sacerdoti Coen,,,
   4 %%Title: G
   5 %%Pages: (atend)
   6 %%BoundingBox: 35 35 461 649
   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 461 649
 234 %%PageOrientation: Portrait
 235 gsave
 236 35 35 426 614 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 14.00 /Times-Roman set_font
 242
 243 %       paramodulation
 244 gsave 10 dict begin
 245 164 594 57 18 ellipse_path
 246 stroke
 247 gsave 10 dict begin
 248 119 589 moveto
 249 (paramodulation)
 250 [6.96 6.24 4.56 6.24 10.8 6.96 6.96 6.96 3.84 6.24 3.84 3.84 6.96 6.96]
 251 xshow
 252 end grestore
 253 end grestore
 254
 255 %       cic_disambiguation
 256 gsave 10 dict begin
 257 164 522 68 18 ellipse_path
 258 stroke
 259 gsave 10 dict begin
 260 109 517 moveto
 261 (cic_disambiguation)
 262 [6.24 3.84 6.24 6.96 6.96 3.84 5.52 6.24 10.8 6.96 3.84 6.96 6.96 6.24 3.84 3.84 6.96 6.96]
 263 xshow
 264 end grestore
 265 end grestore
 266
 267 %       paramodulation -> cic_disambiguation
 268 newpath 164 576 moveto
 269 164 568 164 559 164 550 curveto
 270 stroke
 271 gsave 10 dict begin
 272 solid
 273 1 setlinewidth
 274 0.000 0.000 0.000 edgecolor
 275 newpath 168 550 moveto
 276 164 540 lineto
 277 161 550 lineto
 278 closepath
 279 fill
 280 0.000 0.000 0.000 edgecolor
 281 newpath 168 550 moveto
 282 164 540 lineto
 283 161 550 lineto
 284 closepath
 285 stroke
 286 end grestore
 287
 288 %       cic_notation
 289 gsave 10 dict begin
 290 48 378 48 18 ellipse_path
 291 stroke
 292 gsave 10 dict begin
 293 13 373 moveto
 294 (cic_notation)
 295 [6.24 3.84 6.24 6.96 6.96 6.96 3.84 6.24 3.84 3.84 6.96 6.96]
 296 xshow
 297 end grestore
 298 end grestore
 299
 300 %       cic_disambiguation -> cic_notation
 301 newpath 128 507 moveto
 302 111 498 91 485 77 468 curveto
 303 64 450 56 425 52 406 curveto
 304 stroke
 305 gsave 10 dict begin
 306 solid
 307 1 setlinewidth
 308 0.000 0.000 0.000 edgecolor
 309 newpath 55 405 moveto
 310 50 396 lineto
 311 49 406 lineto
 312 closepath
 313 fill
 314 0.000 0.000 0.000 edgecolor
 315 newpath 55 405 moveto
 316 50 396 lineto
 317 49 406 lineto
 318 closepath
 319 stroke
 320 end grestore
 321
 322 %       tactics
 323 gsave 10 dict begin
 324 275 450 31 18 ellipse_path
 325 stroke
 326 gsave 10 dict begin
 327 256 445 moveto
 328 (tactics)
 329 [3.84 6.24 6.24 3.84 3.84 6.24 5.52]
 330 xshow
 331 end grestore
 332 end grestore
 333
 334 %       cic_disambiguation -> tactics
 335 newpath 190 505 moveto
 336 207 494 228 480 246 469 curveto
 337 stroke
 338 gsave 10 dict begin
 339 solid
 340 1 setlinewidth
 341 0.000 0.000 0.000 edgecolor
 342 newpath 248 472 moveto
 343 254 463 lineto
 344 244 466 lineto
 345 closepath
 346 fill
 347 0.000 0.000 0.000 edgecolor
 348 newpath 248 472 moveto
 349 254 463 lineto
 350 244 466 lineto
 351 closepath
 352 stroke
 353 end grestore
 354
 355 %       cic_proof_checking
 356 gsave 10 dict begin
 357 242 306 68 18 ellipse_path
 358 stroke
 359 gsave 10 dict begin
 360 186 301 moveto
 361 (cic_proof_checking)
 362 [6.24 3.84 6.24 6.96 6.96 4.56 6.96 6.96 4.56 6.96 6.24 6.96 6.24 6.24 6.96 3.84 6.96 6.96]
 363 xshow
 364 end grestore
 365 end grestore
 366
 367 %       cic_notation -> cic_proof_checking
 368 newpath 82 365 moveto
 369 113 354 158 337 192 325 curveto
 370 stroke
 371 gsave 10 dict begin
 372 solid
 373 1 setlinewidth
 374 0.000 0.000 0.000 edgecolor
 375 newpath 194 328 moveto
 376 202 321 lineto
 377 191 321 lineto
 378 closepath
 379 fill
 380 0.000 0.000 0.000 edgecolor
 381 newpath 194 328 moveto
 382 202 321 lineto
 383 191 321 lineto
 384 closepath
 385 stroke
 386 end grestore
 387
 388 %       utf8_macros
 389 gsave 10 dict begin
 390 48 306 48 18 ellipse_path
 391 stroke
 392 gsave 10 dict begin
 393 12 301 moveto
 394 (utf8_macros)
 395 [6.96 3.84 4.56 6.96 6.96 10.8 6.24 6.24 4.56 6.96 5.52]
 396 xshow
 397 end grestore
 398 end grestore
 399
 400 %       cic_notation -> utf8_macros
 401 newpath 48 360 moveto
 402 48 352 48 343 48 334 curveto
 403 stroke
 404 gsave 10 dict begin
 405 solid
 406 1 setlinewidth
 407 0.000 0.000 0.000 edgecolor
 408 newpath 52 334 moveto
 409 48 324 lineto
 410 45 334 lineto
 411 closepath
 412 fill
 413 0.000 0.000 0.000 edgecolor
 414 newpath 52 334 moveto
 415 48 324 lineto
 416 45 334 lineto
 417 closepath
 418 stroke
 419 end grestore
 420
 421 %       metadata
 422 gsave 10 dict begin
 423 386 378 38 18 ellipse_path
 424 stroke
 425 gsave 10 dict begin
 426 360 373 moveto
 427 (metadata)
 428 [10.8 6.24 3.84 6.24 6.96 6.24 3.84 6.24]
 429 xshow
 430 end grestore
 431 end grestore
 432
 433 %       tactics -> metadata
 434 newpath 296 436 moveto
 435 312 426 336 411 355 399 curveto
 436 stroke
 437 gsave 10 dict begin
 438 solid
 439 1 setlinewidth
 440 0.000 0.000 0.000 edgecolor
 441 newpath 357 402 moveto
 442 363 393 lineto
 443 353 396 lineto
 444 closepath
 445 fill
 446 0.000 0.000 0.000 edgecolor
 447 newpath 357 402 moveto
 448 363 393 lineto
 449 353 396 lineto
 450 closepath
 451 stroke
 452 end grestore
 453
 454 %       cic_unification
 455 gsave 10 dict begin
 456 275 378 55 18 ellipse_path
 457 stroke
 458 gsave 10 dict begin
 459 233 373 moveto
 460 (cic_unification)
 461 [6.24 3.84 6.24 6.96 6.96 6.96 3.84 4.56 3.84 6.24 6.24 3.84 3.84 6.96 6.96]
 462 xshow
 463 end grestore
 464 end grestore
 465
 466 %       tactics -> cic_unification
 467 newpath 275 432 moveto
 468 275 424 275 415 275 406 curveto
 469 stroke
 470 gsave 10 dict begin
 471 solid
 472 1 setlinewidth
 473 0.000 0.000 0.000 edgecolor
 474 newpath 279 406 moveto
 475 275 396 lineto
 476 272 406 lineto
 477 closepath
 478 fill
 479 0.000 0.000 0.000 edgecolor
 480 newpath 279 406 moveto
 481 275 396 lineto
 482 272 406 lineto
 483 closepath
 484 stroke
 485 end grestore
 486
 487 %       cic_transformations
 488 gsave 10 dict begin
 489 154 450 68 18 ellipse_path
 490 stroke
 491 gsave 10 dict begin
 492 98 445 moveto
 493 (cic_transformations)
 494 [6.24 3.84 6.24 6.96 3.84 4.56 6.24 6.96 5.52 4.56 6.96 4.56 10.8 6.24 3.84 3.84 6.96 6.96 5.52]
 495 xshow
 496 end grestore
 497 end grestore
 498
 499 %       cic_transformations -> cic_notation
 500 newpath 129 433 moveto
 501 115 423 95 410 79 399 curveto
 502 stroke
 503 gsave 10 dict begin
 504 solid
 505 1 setlinewidth
 506 0.000 0.000 0.000 edgecolor
 507 newpath 81 396 moveto
 508 71 394 lineto
 509 78 402 lineto
 510 closepath
 511 fill
 512 0.000 0.000 0.000 edgecolor
 513 newpath 81 396 moveto
 514 71 394 lineto
 515 78 402 lineto
 516 closepath
 517 stroke
 518 end grestore
 519
 520 %       cic_omdoc
 521 gsave 10 dict begin
 522 158 378 44 18 ellipse_path
 523 stroke
 524 gsave 10 dict begin
 525 127 373 moveto
 526 (cic_omdoc)
 527 [6.24 3.84 6.24 6.96 6.96 10.8 6.96 6.96 6.24]
 528 xshow
 529 end grestore
 530 end grestore
 531
 532 %       cic_transformations -> cic_omdoc
 533 newpath 155 432 moveto
 534 156 424 156 415 156 406 curveto
 535 stroke
 536 gsave 10 dict begin
 537 solid
 538 1 setlinewidth
 539 0.000 0.000 0.000 edgecolor
 540 newpath 159 406 moveto
 541 157 396 lineto
 542 153 406 lineto
 543 closepath
 544 fill
 545 0.000 0.000 0.000 edgecolor
 546 newpath 159 406 moveto
 547 157 396 lineto
 548 153 406 lineto
 549 closepath
 550 stroke
 551 end grestore
 552
 553 %       cic_omdoc -> cic_proof_checking
 554 newpath 177 362 moveto
 555 188 352 202 340 214 330 curveto
 556 stroke
 557 gsave 10 dict begin
 558 solid
 559 1 setlinewidth
 560 0.000 0.000 0.000 edgecolor
 561 newpath 217 332 moveto
 562 222 323 lineto
 563 212 327 lineto
 564 closepath
 565 fill
 566 0.000 0.000 0.000 edgecolor
 567 newpath 217 332 moveto
 568 222 323 lineto
 569 212 327 lineto
 570 closepath
 571 stroke
 572 end grestore
 573
 574 %       getter
 575 gsave 10 dict begin
 576 292 234 29 18 ellipse_path
 577 stroke
 578 gsave 10 dict begin
 579 276 229 moveto
 580 (getter)
 581 [6.96 6.24 3.84 3.84 6.24 4.56]
 582 xshow
 583 end grestore
 584 end grestore
 585
 586 %       cic_proof_checking -> getter
 587 newpath 254 288 moveto
 588 260 280 267 269 274 259 curveto
 589 stroke
 590 gsave 10 dict begin
 591 solid
 592 1 setlinewidth
 593 0.000 0.000 0.000 edgecolor
 594 newpath 277 261 moveto
 595 280 251 lineto
 596 271 257 lineto
 597 closepath
 598 fill
 599 0.000 0.000 0.000 edgecolor
 600 newpath 277 261 moveto
 601 280 251 lineto
 602 271 257 lineto
 603 closepath
 604 stroke
 605 end grestore
 606
 607 %       cic
 608 gsave 10 dict begin
 609 208 234 27 18 ellipse_path
 610 stroke
 611 gsave 10 dict begin
 612 199 229 moveto
 613 (cic)
 614 [6.24 3.84 6.24]
 615 xshow
 616 end grestore
 617 end grestore
 618
 619 %       cic_proof_checking -> cic
 620 newpath 233 288 moveto
 621 229 280 225 270 220 261 curveto
 622 stroke
 623 gsave 10 dict begin
 624 solid
 625 1 setlinewidth
 626 0.000 0.000 0.000 edgecolor
 627 newpath 223 260 moveto
 628 216 252 lineto
 629 217 263 lineto
 630 closepath
 631 fill
 632 0.000 0.000 0.000 edgecolor
 633 newpath 223 260 moveto
 634 216 252 lineto
 635 217 263 lineto
 636 closepath
 637 stroke
 638 end grestore
 639
 640 %       metadata -> cic_proof_checking
 641 newpath 360 365 moveto
 642 339 354 308 339 283 327 curveto
 643 stroke
 644 gsave 10 dict begin
 645 solid
 646 1 setlinewidth
 647 0.000 0.000 0.000 edgecolor
 648 newpath 284 324 moveto
 649 274 322 lineto
 650 281 330 lineto
 651 closepath
 652 fill
 653 0.000 0.000 0.000 edgecolor
 654 newpath 284 324 moveto
 655 274 322 lineto
 656 281 330 lineto
 657 closepath
 658 stroke
 659 end grestore
 660
 661 %       hmysql
 662 gsave 10 dict begin
 663 386 234 34 18 ellipse_path
 664 stroke
 665 gsave 10 dict begin
 666 364 229 moveto
 667 (hmysql)
 668 [6.96 10.8 6.96 5.52 6.96 3.84]
 669 xshow
 670 end grestore
 671 end grestore
 672
 673 %       metadata -> hmysql
 674 newpath 386 360 moveto
 675 386 335 386 291 386 262 curveto
 676 stroke
 677 gsave 10 dict begin
 678 solid
 679 1 setlinewidth
 680 0.000 0.000 0.000 edgecolor
 681 newpath 390 262 moveto
 682 386 252 lineto
 683 383 262 lineto
 684 closepath
 685 fill
 686 0.000 0.000 0.000 edgecolor
 687 newpath 390 262 moveto
 688 386 252 lineto
 689 383 262 lineto
 690 closepath
 691 stroke
 692 end grestore
 693
 694 %       cic_unification -> cic_proof_checking
 695 newpath 267 360 moveto
 696 263 352 259 342 254 333 curveto
 697 stroke
 698 gsave 10 dict begin
 699 solid
 700 1 setlinewidth
 701 0.000 0.000 0.000 edgecolor
 702 newpath 257 332 moveto
 703 250 324 lineto
 704 251 335 lineto
 705 closepath
 706 fill
 707 0.000 0.000 0.000 edgecolor
 708 newpath 257 332 moveto
 709 250 324 lineto
 710 251 335 lineto
 711 closepath
 712 stroke
 713 end grestore
 714
 715 %       registry
 716 gsave 10 dict begin
 717 386 162 35 18 ellipse_path
 718 stroke
 719 gsave 10 dict begin
 720 364 157 moveto
 721 (registry)
 722 [4.56 6.24 6.96 3.84 5.52 3.84 4.56 6.96]
 723 xshow
 724 end grestore
 725 end grestore
 726
 727 %       hmysql -> registry
 728 newpath 386 216 moveto
 729 386 208 386 199 386 190 curveto
 730 stroke
 731 gsave 10 dict begin
 732 solid
 733 1 setlinewidth
 734 0.000 0.000 0.000 edgecolor
 735 newpath 390 190 moveto
 736 386 180 lineto
 737 383 190 lineto
 738 closepath
 739 fill
 740 0.000 0.000 0.000 edgecolor
 741 newpath 390 190 moveto
 742 386 180 lineto
 743 383 190 lineto
 744 closepath
 745 stroke
 746 end grestore
 747
 748 %       urimanager
 749 gsave 10 dict begin
 750 208 162 45 18 ellipse_path
 751 stroke
 752 gsave 10 dict begin
 753 175 157 moveto
 754 (urimanager)
 755 [6.96 4.56 3.84 10.8 6.24 6.96 6.24 6.96 6.24 4.56]
 756 xshow
 757 end grestore
 758 end grestore
 759
 760 %       getter -> urimanager
 761 newpath 275 219 moveto
 762 263 209 248 196 235 185 curveto
 763 stroke
 764 gsave 10 dict begin
 765 solid
 766 1 setlinewidth
 767 0.000 0.000 0.000 edgecolor
 768 newpath 237 182 moveto
 769 227 178 lineto
 770 232 187 lineto
 771 closepath
 772 fill
 773 0.000 0.000 0.000 edgecolor
 774 newpath 237 182 moveto
 775 227 178 lineto
 776 232 187 lineto
 777 closepath
 778 stroke
 779 end grestore
 780
 781 %       getter -> registry
 782 newpath 311 220 moveto
 783 325 210 343 195 359 183 curveto
 784 stroke
 785 gsave 10 dict begin
 786 solid
 787 1 setlinewidth
 788 0.000 0.000 0.000 edgecolor
 789 newpath 361 186 moveto
 790 367 177 lineto
 791 357 180 lineto
 792 closepath
 793 fill
 794 0.000 0.000 0.000 edgecolor
 795 newpath 361 186 moveto
 796 367 177 lineto
 797 357 180 lineto
 798 closepath
 799 stroke
 800 end grestore
 801
 802 %       logger
 803 gsave 10 dict begin
 804 302 162 31 18 ellipse_path
 805 stroke
 806 gsave 10 dict begin
 807 284 157 moveto
 808 (logger)
 809 [3.84 6.96 6.96 6.96 6.24 4.56]
 810 xshow
 811 end grestore
 812 end grestore
 813
 814 %       getter -> logger
 815 newpath 295 216 moveto
 816 296 208 297 199 298 190 curveto
 817 stroke
 818 gsave 10 dict begin
 819 solid
 820 1 setlinewidth
 821 0.000 0.000 0.000 edgecolor
 822 newpath 301 190 moveto
 823 299 180 lineto
 824 295 190 lineto
 825 closepath
 826 fill
 827 0.000 0.000 0.000 edgecolor
 828 newpath 301 190 moveto
 829 299 180 lineto
 830 295 190 lineto
 831 closepath
 832 stroke
 833 end grestore
 834
 835 %       xml
 836 gsave 10 dict begin
 837 260 90 27 18 ellipse_path
 838 stroke
 839 gsave 10 dict begin
 840 248 85 moveto
 841 (xml)
 842 [6.96 10.8 3.84]
 843 xshow
 844 end grestore
 845 end grestore
 846
 847 %       cic -> xml
 848 newpath 189 221 moveto
 849 176 212 161 197 154 180 curveto
 850 147 165 145 157 154 144 curveto
 851 169 119 199 105 224 98 curveto
 852 stroke
 853 gsave 10 dict begin
 854 solid
 855 1 setlinewidth
 856 0.000 0.000 0.000 edgecolor
 857 newpath 225 101 moveto
 858 234 95 lineto
 859 223 95 lineto
 860 closepath
 861 fill
 862 0.000 0.000 0.000 edgecolor
 863 newpath 225 101 moveto
 864 234 95 lineto
 865 223 95 lineto
 866 closepath
 867 stroke
 868 end grestore
 869
 870 %       cic -> urimanager
 871 newpath 208 216 moveto
 872 208 208 208 199 208 190 curveto
 873 stroke
 874 gsave 10 dict begin
 875 solid
 876 1 setlinewidth
 877 0.000 0.000 0.000 edgecolor
 878 newpath 212 190 moveto
 879 208 180 lineto
 880 205 190 lineto
 881 closepath
 882 fill
 883 0.000 0.000 0.000 edgecolor
 884 newpath 212 190 moveto
 885 208 180 lineto
 886 205 190 lineto
 887 closepath
 888 stroke
 889 end grestore
 890
 891 %       extlib
 892 gsave 10 dict begin
 893 260 18 29 18 ellipse_path
 894 stroke
 895 gsave 10 dict begin
 896 244 13 moveto
 897 (extlib)
 898 [6.24 6.96 3.84 3.84 3.84 6.96]
 899 xshow
 900 end grestore
 901 end grestore
 902
 903 %       xml -> extlib
 904 newpath 260 72 moveto
 905 260 64 260 55 260 46 curveto
 906 stroke
 907 gsave 10 dict begin
 908 solid
 909 1 setlinewidth
 910 0.000 0.000 0.000 edgecolor
 911 newpath 264 46 moveto
 912 260 36 lineto
 913 257 46 lineto
 914 closepath
 915 fill
 916 0.000 0.000 0.000 edgecolor
 917 newpath 264 46 moveto
 918 260 36 lineto
 919 257 46 lineto
 920 closepath
 921 stroke
 922 end grestore
 923
 924 %       registry -> xml
 925 newpath 362 148 moveto
 926 342 137 312 120 290 107 curveto
 927 stroke
 928 gsave 10 dict begin
 929 solid
 930 1 setlinewidth
 931 0.000 0.000 0.000 edgecolor
 932 newpath 291 104 moveto
 933 281 102 lineto
 934 288 110 lineto
 935 closepath
 936 fill
 937 0.000 0.000 0.000 edgecolor
 938 newpath 291 104 moveto
 939 281 102 lineto
 940 288 110 lineto
 941 closepath
 942 stroke
 943 end grestore
 944 endpage
 945 showpage
 946 grestore
 947 %%PageTrailer
 948 %%EndPage: 1
 949 %%Trailer
 950 %%Pages: 1
 951 end
 952 restore
 953 %%EOF