helm/papers/matita/pics/libraries-clusters.ps

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