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