-%!PS-Adobe-2.0
-%%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
-%%For: (zacchiro) Stefano Zacchiroli,,,
-%%Title: G
-%%Pages: (atend)
-%%BoundingBox: 35 35 1103 1865
-%%EndComments
-save
-%%BeginProlog
-/DotDict 200 dict def
-DotDict begin
-
-/setupLatin1 {
-mark
-/EncodingVector 256 array def
- EncodingVector 0
-
-ISOLatin1Encoding 0 255 getinterval putinterval
-
-EncodingVector
- dup 306 /AE
- dup 301 /Aacute
- dup 302 /Acircumflex
- dup 304 /Adieresis
- dup 300 /Agrave
- dup 305 /Aring
- dup 303 /Atilde
- dup 307 /Ccedilla
- dup 311 /Eacute
- dup 312 /Ecircumflex
- dup 313 /Edieresis
- dup 310 /Egrave
- dup 315 /Iacute
- dup 316 /Icircumflex
- dup 317 /Idieresis
- dup 314 /Igrave
- dup 334 /Udieresis
- dup 335 /Yacute
- dup 376 /thorn
- dup 337 /germandbls
- dup 341 /aacute
- dup 342 /acircumflex
- dup 344 /adieresis
- dup 346 /ae
- dup 340 /agrave
- dup 345 /aring
- dup 347 /ccedilla
- dup 351 /eacute
- dup 352 /ecircumflex
- dup 353 /edieresis
- dup 350 /egrave
- dup 355 /iacute
- dup 356 /icircumflex
- dup 357 /idieresis
- dup 354 /igrave
- dup 360 /dcroat
- dup 361 /ntilde
- dup 363 /oacute
- dup 364 /ocircumflex
- dup 366 /odieresis
- dup 362 /ograve
- dup 365 /otilde
- dup 370 /oslash
- dup 372 /uacute
- dup 373 /ucircumflex
- dup 374 /udieresis
- dup 371 /ugrave
- dup 375 /yacute
- dup 377 /ydieresis
-
-% Set up ISO Latin 1 character encoding
-/starnetISO {
- dup dup findfont dup length dict begin
- { 1 index /FID ne { def }{ pop pop } ifelse
- } forall
- /Encoding EncodingVector def
- currentdict end definefont
-} def
-/Times-Roman starnetISO def
-/Times-Italic starnetISO def
-/Times-Bold starnetISO def
-/Times-BoldItalic starnetISO def
-/Helvetica starnetISO def
-/Helvetica-Oblique starnetISO def
-/Helvetica-Bold starnetISO def
-/Helvetica-BoldOblique starnetISO def
-/Courier starnetISO def
-/Courier-Oblique starnetISO def
-/Courier-Bold starnetISO def
-/Courier-BoldOblique starnetISO def
-cleartomark
-} bind def
-
-%%BeginResource: procset graphviz 0 0
-/coord-font-family /Times-Roman def
-/default-font-family /Times-Roman def
-/coordfont coord-font-family findfont 8 scalefont def
-
-/InvScaleFactor 1.0 def
-/set_scale {
- dup 1 exch div /InvScaleFactor exch def
- dup scale
-} bind def
-
-% styles
-/solid { [] 0 setdash } bind def
-/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
-/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
-/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
-/bold { 2 setlinewidth } bind def
-/filled { } bind def
-/unfilled { } bind def
-/rounded { } bind def
-/diagonals { } bind def
-
-% hooks for setting color
-/nodecolor { sethsbcolor } bind def
-/edgecolor { sethsbcolor } bind def
-/graphcolor { sethsbcolor } bind def
-/nopcolor {pop pop pop} bind def
-
-/beginpage { % i j npages
- /npages exch def
- /j exch def
- /i exch def
- /str 10 string def
- npages 1 gt {
- gsave
- coordfont setfont
- 0 0 moveto
- (\() show i str cvs show (,) show j str cvs show (\)) show
- grestore
- } if
-} bind def
-
-/set_font {
- findfont exch
- scalefont setfont
-} def
-
-% draw aligned label in bounding box aligned to current point
-/alignedtext { % width adj text
- /text exch def
- /adj exch def
- /width exch def
- gsave
- width 0 gt {
- text stringwidth pop adj mul 0 rmoveto
- } if
- [] 0 setdash
- text show
- grestore
-} def
-
-/boxprim { % xcorner ycorner xsize ysize
- 4 2 roll
- moveto
- 2 copy
- exch 0 rlineto
- 0 exch rlineto
- pop neg 0 rlineto
- closepath
-} bind def
-
-/ellipse_path {
- /ry exch def
- /rx exch def
- /y exch def
- /x exch def
- matrix currentmatrix
- newpath
- x y translate
- rx ry scale
- 0 0 1 0 360 arc
- setmatrix
-} bind def
-
-/endpage { showpage } bind def
-/showpage { } def
-
-/layercolorseq
- [ % layer color sequence - darkest to lightest
- [0 0 0]
- [.2 .8 .8]
- [.4 .8 .8]
- [.6 .8 .8]
- [.8 .8 .8]
- ]
-def
-
-/layerlen layercolorseq length def
-
-/setlayer {/maxlayer exch def /curlayer exch def
- layercolorseq curlayer 1 sub layerlen mod get
- aload pop sethsbcolor
- /nodecolor {nopcolor} def
- /edgecolor {nopcolor} def
- /graphcolor {nopcolor} def
-} bind def
-
-/onlayer { curlayer ne {invis} if } def
-
-/onlayers {
- /myupper exch def
- /mylower exch def
- curlayer mylower lt
- curlayer myupper gt
- or
- {invis} if
-} def
-
-/curlayer 0 def
-
-%%EndResource
-%%EndProlog
-%%BeginSetup
-14 default-font-family set_font
-1 setmiterlimit
-% /arrowlength 10 def
-% /arrowwidth 5 def
-
-% make sure pdfmark is harmless for PS-interpreters other than Distiller
-/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
-% make '<<' and '>>' safe on PS Level 1 devices
-/languagelevel where {pop languagelevel}{1} ifelse
-2 lt {
- userdict (<<) cvn ([) cvn load put
- userdict (>>) cvn ([) cvn load put
-} if
-
-%%EndSetup
-%%Page: 1 1
-%%PageBoundingBox: 36 36 1103 1865
-%%PageOrientation: Portrait
-gsave
-35 35 1068 1830 boxprim clip newpath
-36 36 translate
-0 0 1 beginpage
-0 0 translate 0 rotate
-0.000 0.000 0.000 graphcolor
-24.00 /Times-Roman set_font
-% cluster_presentation
-gsave 10 dict begin
-filled
-0.000 0.000 1.000 sethsbcolor
-0.000 0.000 0.929 sethsbcolor
-newpath 498 1136 moveto
-930 1136 lineto
-930 1736 lineto
-498 1736 lineto
-closepath
-fill
-0.000 0.000 1.000 sethsbcolor
-newpath 498 1136 moveto
-930 1136 lineto
-930 1736 lineto
-498 1736 lineto
-closepath
-stroke
-gsave 10 dict begin
-0.000 0.000 0.000 sethsbcolor
-509 1174 moveto
-(Terms at the content and presentation level)
-[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]
-xshow
-667 1146 moveto
-(12.1 klocs)
-[12 12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-% cluster_partially
-gsave 10 dict begin
-filled
-0.000 0.000 1.000 sethsbcolor
-0.000 0.000 0.929 sethsbcolor
-newpath 68 1200 moveto
-372 1200 lineto
-372 1628 lineto
-68 1628 lineto
-closepath
-fill
-0.000 0.000 1.000 sethsbcolor
-newpath 68 1200 moveto
-372 1200 lineto
-372 1628 lineto
-68 1628 lineto
-closepath
-stroke
-gsave 10 dict begin
-0.000 0.000 0.000 sethsbcolor
-76 1602 moveto
-(Partially specified terms)
-[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]
-xshow
-144 1574 moveto
-(15.1 klocs)
-[12 12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-% cluster_fully
-gsave 10 dict begin
-filled
-0.000 0.000 1.000 sethsbcolor
-0.000 0.000 0.929 sethsbcolor
-newpath 280 444 moveto
-574 444 lineto
-574 1128 lineto
-280 1128 lineto
-closepath
-fill
-0.000 0.000 1.000 sethsbcolor
-newpath 280 444 moveto
-574 444 lineto
-574 1128 lineto
-280 1128 lineto
-closepath
-stroke
-gsave 10 dict begin
-0.000 0.000 0.000 sethsbcolor
-287 482 moveto
-(Fully specified terms)
-[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]
-xshow
-340 454 moveto
-(18.9 klocs)
-[12 12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-% cluster_utilities
-gsave 10 dict begin
-filled
-0.000 0.000 1.000 sethsbcolor
-0.000 0.000 0.929 sethsbcolor
-newpath 582 16 moveto
-1058 16 lineto
-1058 616 lineto
-582 616 lineto
-closepath
-fill
-0.000 0.000 1.000 sethsbcolor
-newpath 582 16 moveto
-1058 16 lineto
-1058 616 lineto
-582 616 lineto
-closepath
-stroke
-gsave 10 dict begin
-0.000 0.000 0.000 sethsbcolor
-968 54 moveto
-(Utilities)
-[17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
-xshow
-963 26 moveto
-(2.8 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% acic_content
-gsave 10 dict begin
-622 1254 81 45 ellipse_path
-stroke
-gsave 10 dict begin
-561 1260 moveto
-(acic_content)
-[10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
-xshow
-578 1232 moveto
-(3.6 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% cic_acic
-gsave 10 dict begin
-353 946 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-313 952 moveto
-(cic_acic)
-[10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
-xshow
-309 924 moveto
-(2.4 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% acic_content -> cic_acic
-newpath 615 1209 moveto
-606 1146 588 1041 575 1028 curveto
-528 979 490 1018 427 992 curveto
-421 989 415 986 409 983 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 410 980 moveto
-400 978 lineto
-407 986 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 410 980 moveto
-400 978 lineto
-407 986 lineto
-closepath
-stroke
-end grestore
-
-% cic_disambiguation
-gsave 10 dict begin
-622 1382 115 45 ellipse_path
-stroke
-gsave 10 dict begin
-527 1388 moveto
-(cic_disambiguation)
-[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]
-xshow
-579 1360 moveto
-(1.4 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% cic_disambiguation -> acic_content
-newpath 622 1336 moveto
-622 1328 622 1319 622 1310 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 626 1310 moveto
-622 1300 lineto
-619 1310 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 626 1310 moveto
-622 1300 lineto
-619 1310 lineto
-closepath
-stroke
-end grestore
-
-% cic_unification
-gsave 10 dict begin
-271 1254 92 45 ellipse_path
-stroke
-gsave 10 dict begin
-199 1260 moveto
-(cic_unification)
-[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]
-xshow
-227 1232 moveto
-(3.4 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% cic_disambiguation -> cic_unification
-newpath 537 1351 moveto
-481 1331 411 1305 356 1285 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 357 1281 moveto
-346 1281 lineto
-354 1288 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 357 1281 moveto
-346 1281 lineto
-354 1288 lineto
-closepath
-stroke
-end grestore
-
-% whelp
-gsave 10 dict begin
-501 1074 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-471 1080 moveto
-(whelp)
-[17.28 12 10.56 6.72 12]
-xshow
-457 1052 moveto
-(0.3 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% cic_disambiguation -> whelp
-newpath 566 1342 moveto
-552 1330 540 1316 531 1300 curveto
-503 1247 498 1177 498 1130 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 502 1130 moveto
-498 1120 lineto
-495 1130 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 502 1130 moveto
-498 1120 lineto
-495 1130 lineto
-closepath
-stroke
-end grestore
-
-% content_pres
-gsave 10 dict begin
-839 1382 82 45 ellipse_path
-stroke
-gsave 10 dict begin
-777 1388 moveto
-(content_pres)
-[10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
-xshow
-795 1360 moveto
-(4.5 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% content_pres -> acic_content
-newpath 782 1349 moveto
-753 1332 717 1310 687 1292 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 688 1289 moveto
-678 1287 lineto
-685 1295 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 688 1289 moveto
-678 1287 lineto
-685 1295 lineto
-closepath
-stroke
-end grestore
-
-% utf8_macros
-gsave 10 dict begin
-968 562 81 45 ellipse_path
-stroke
-gsave 10 dict begin
-907 568 moveto
-(utf8_macros)
-[12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
-xshow
-924 540 moveto
-(0.2 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% content_pres -> utf8_macros
-newpath 844 1336 moveto
-850 1276 860 1167 860 1074 curveto
-860 1074 860 1074 860 818 curveto
-860 742 901 663 932 613 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 935 614 moveto
-938 604 lineto
-930 610 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 935 614 moveto
-938 604 lineto
-930 610 lineto
-closepath
-stroke
-end grestore
-
-% grafite_parser
-gsave 10 dict begin
-594 1682 87 45 ellipse_path
-stroke
-gsave 10 dict begin
-527 1688 moveto
-(grafite_parser)
-[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]
-xshow
-551 1660 moveto
-(1.8 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% lexicon
-gsave 10 dict begin
-622 1510 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-586 1516 moveto
-(lexicon)
-[6.72 10.56 12 6.72 10.56 12 12]
-xshow
-578 1488 moveto
-(0.8 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% grafite_parser -> lexicon
-newpath 601 1636 moveto
-604 1614 609 1588 613 1565 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 616 1565 moveto
-615 1555 lineto
-610 1564 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 616 1565 moveto
-615 1555 lineto
-610 1564 lineto
-closepath
-stroke
-end grestore
-
-% grafite
-gsave 10 dict begin
-141 1382 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-109 1388 moveto
-(grafite)
-[12 7.92 10.56 7.92 6.72 6.72 10.56]
-xshow
-97 1360 moveto
-(0.5 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% grafite_parser -> grafite
-newpath 536 1647 moveto
-527 1643 516 1639 506 1636 curveto
-487 1630 345 1640 329 1628 curveto
-270 1580 332 1522 284 1464 curveto
-263 1437 245 1446 215 1428 curveto
-209 1424 204 1420 200 1417 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 202 1414 moveto
-192 1410 lineto
-197 1419 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 202 1414 moveto
-192 1410 lineto
-197 1419 lineto
-closepath
-stroke
-end grestore
-
-% lexicon -> cic_disambiguation
-newpath 622 1464 moveto
-622 1456 622 1447 622 1438 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 626 1438 moveto
-622 1428 lineto
-619 1438 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 626 1438 moveto
-622 1428 lineto
-619 1438 lineto
-closepath
-stroke
-end grestore
-
-% lexicon -> content_pres
-newpath 672 1481 moveto
-702 1463 741 1440 773 1421 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 775 1424 moveto
-782 1416 lineto
-772 1418 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 775 1424 moveto
-782 1416 lineto
-772 1418 lineto
-closepath
-stroke
-end grestore
-
-% library
-gsave 10 dict begin
-353 1074 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-321 1080 moveto
-(library)
-[6.72 6.72 12 7.92 10.56 7.92 12]
-xshow
-309 1052 moveto
-(2.1 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% cic_unification -> library
-newpath 291 1210 moveto
-303 1185 317 1154 329 1127 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 332 1129 moveto
-333 1118 lineto
-326 1126 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 332 1129 moveto
-333 1118 lineto
-326 1126 lineto
-closepath
-stroke
-end grestore
-
-% tactics
-gsave 10 dict begin
-294 1382 69 45 ellipse_path
-stroke
-gsave 10 dict begin
-263 1388 moveto
-(tactics)
-[6.72 10.56 10.56 6.72 6.72 10.56 9.36]
-xshow
-245 1360 moveto
-(10.0 klocs)
-[12 12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% tactics -> cic_unification
-newpath 286 1337 moveto
-285 1328 283 1319 281 1310 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 284 1309 moveto
-279 1300 lineto
-278 1310 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 284 1309 moveto
-279 1300 lineto
-278 1310 lineto
-closepath
-stroke
-end grestore
-
-% tactics -> whelp
-newpath 242 1351 moveto
-210 1331 173 1308 169 1300 curveto
-135 1235 119 1188 169 1136 curveto
-179 1125 414 1132 427 1128 curveto
-436 1125 444 1120 452 1115 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 454 1118 moveto
-461 1110 lineto
-451 1112 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 454 1118 moveto
-461 1110 lineto
-451 1112 lineto
-closepath
-stroke
-end grestore
-
-% cic
-gsave 10 dict begin
-353 690 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-339 696 moveto
-(cic)
-[10.56 6.72 10.56]
-xshow
-309 668 moveto
-(4.2 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% grafite -> cic
-newpath 128 1337 moveto
-112 1278 86 1169 86 1074 curveto
-86 1074 86 1074 86 946 curveto
-86 925 86 917 96 900 curveto
-110 878 230 784 301 730 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 303 733 moveto
-309 724 lineto
-299 727 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 303 733 moveto
-309 724 lineto
-299 727 lineto
-closepath
-stroke
-end grestore
-
-% grafite_engine
-gsave 10 dict begin
-184 1510 90 45 ellipse_path
-stroke
-gsave 10 dict begin
-114 1516 moveto
-(grafite_engine)
-[12 7.92 10.56 7.92 6.72 6.72 10.56 12 10.56 12 12 6.72 12 10.56]
-xshow
-141 1488 moveto
-(1.2 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% grafite_engine -> tactics
-newpath 194 1464 moveto
-204 1447 220 1432 235 1419 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 237 1422 moveto
-243 1413 lineto
-233 1416 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 237 1422 moveto
-243 1413 lineto
-233 1416 lineto
-closepath
-stroke
-end grestore
-
-% grafite_engine -> grafite
-newpath 169 1465 moveto
-166 1456 163 1446 159 1437 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 162 1436 moveto
-156 1427 lineto
-156 1438 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 162 1436 moveto
-156 1427 lineto
-156 1438 lineto
-closepath
-stroke
-end grestore
-
-% urimanager
-gsave 10 dict begin
-380 562 76 45 ellipse_path
-stroke
-gsave 10 dict begin
-324 568 moveto
-(urimanager)
-[12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
-xshow
-336 540 moveto
-(0.2 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% cic -> urimanager
-newpath 363 645 moveto
-364 636 366 626 368 617 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 371 617 moveto
-370 607 lineto
-365 616 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 371 617 moveto
-370 607 lineto
-365 616 lineto
-closepath
-stroke
-end grestore
-
-% xml
-gsave 10 dict begin
-655 262 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-636 268 moveto
-(xml)
-[12 18.72 6.72]
-xshow
-611 240 moveto
-(0.5 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% cic -> xml
-newpath 315 652 moveto
-307 641 299 629 294 616 curveto
-269 543 254 509 294 444 curveto
-357 342 496 295 582 275 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 583 278 moveto
-592 273 lineto
-582 272 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 583 278 moveto
-592 273 lineto
-582 272 lineto
-closepath
-stroke
-end grestore
-
-% cic_proof_checking
-gsave 10 dict begin
-405 818 116 45 ellipse_path
-stroke
-gsave 10 dict begin
-309 824 moveto
-(cic_proof_checking)
-[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]
-xshow
-361 796 moveto
-(5.8 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% cic_proof_checking -> cic
-newpath 387 773 moveto
-383 763 379 753 375 743 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 378 742 moveto
-371 734 lineto
-372 745 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 378 742 moveto
-371 734 lineto
-372 745 lineto
-closepath
-stroke
-end grestore
-
-% getter
-gsave 10 dict begin
-501 690 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-473 696 moveto
-(getter)
-[12 10.56 6.72 6.72 10.56 7.92]
-xshow
-457 668 moveto
-(2.0 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% cic_proof_checking -> getter
-newpath 415 772 moveto
-423 756 436 742 449 730 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 451 733 moveto
-456 723 lineto
-446 728 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 451 733 moveto
-456 723 lineto
-446 728 lineto
-closepath
-stroke
-end grestore
-
-% getter -> urimanager
-newpath 465 652 moveto
-452 639 438 624 425 610 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 427 607 moveto
-418 602 lineto
-422 612 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 427 607 moveto
-418 602 lineto
-422 612 lineto
-closepath
-stroke
-end grestore
-
-% registry
-gsave 10 dict begin
-803 390 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-765 396 moveto
-(registry)
-[7.92 10.56 12 6.72 9.36 6.72 7.92 12]
-xshow
-759 368 moveto
-(0.6 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% getter -> registry
-newpath 501 644 moveto
-505 587 520 491 581 444 curveto
-595 433 714 440 729 436 curveto
-736 434 742 431 749 428 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 751 431 moveto
-758 423 lineto
-748 425 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 751 431 moveto
-758 423 lineto
-748 425 lineto
-closepath
-stroke
-end grestore
-
-% logger
-gsave 10 dict begin
-655 562 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-624 568 moveto
-(logger)
-[6.72 12 12 12 10.56 7.92]
-xshow
-611 540 moveto
-(0.1 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% getter -> logger
-newpath 543 655 moveto
-562 639 585 620 605 603 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 607 606 moveto
-613 597 lineto
-603 600 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 607 606 moveto
-613 597 lineto
-603 600 lineto
-closepath
-stroke
-end grestore
-
-% metadata
-gsave 10 dict begin
-501 946 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-457 952 moveto
-(metadata)
-[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
-xshow
-458 924 moveto
-(1.9 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% metadata -> cic
-newpath 520 902 moveto
-525 890 529 877 531 864 curveto
-535 843 543 788 531 772 curveto
-503 732 471 759 427 736 curveto
-420 732 415 729 411 725 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 414 723 moveto
-404 718 lineto
-409 728 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 414 723 moveto
-404 718 lineto
-409 728 lineto
-closepath
-stroke
-end grestore
-
-% hmysql
-gsave 10 dict begin
-803 562 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-767 568 moveto
-(hmysql)
-[12 18.72 12 9.36 12 6.72]
-xshow
-759 540 moveto
-(0.1 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% metadata -> hmysql
-newpath 564 935 moveto
-636 921 746 896 772 864 curveto
-829 794 824 683 814 617 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 817 616 moveto
-812 607 lineto
-811 617 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 817 616 moveto
-812 607 lineto
-811 617 lineto
-closepath
-stroke
-end grestore
-
-% whelp -> metadata
-newpath 501 1028 moveto
-501 1020 501 1011 501 1002 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 505 1002 moveto
-501 992 lineto
-498 1002 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 505 1002 moveto
-501 992 lineto
-498 1002 lineto
-closepath
-stroke
-end grestore
-
-% library -> metadata
-newpath 394 1038 moveto
-412 1022 433 1004 452 988 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 455 990 moveto
-460 981 lineto
-450 985 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 455 990 moveto
-460 981 lineto
-450 985 lineto
-closepath
-stroke
-end grestore
-
-% library -> cic_acic
-newpath 353 1028 moveto
-353 1020 353 1011 353 1002 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 357 1002 moveto
-353 992 lineto
-350 1002 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 357 1002 moveto
-353 992 lineto
-350 1002 lineto
-closepath
-stroke
-end grestore
-
-% cic_acic -> cic_proof_checking
-newpath 371 902 moveto
-375 892 379 882 383 872 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 386 874 moveto
-387 863 lineto
-380 871 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 386 874 moveto
-387 863 lineto
-380 871 lineto
-closepath
-stroke
-end grestore
-
-% extlib
-gsave 10 dict begin
-655 134 63 45 ellipse_path
-stroke
-gsave 10 dict begin
-627 140 moveto
-(extlib)
-[10.56 12 6.72 6.72 6.72 12]
-xshow
-612 112 moveto
-(1.1 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% hgdome
-gsave 10 dict begin
-655 390 64 45 ellipse_path
-stroke
-gsave 10 dict begin
-615 396 moveto
-(hgdome)
-[12 12 12 12 18.72 10.56]
-xshow
-611 368 moveto
-(0.2 klocs)
-[12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% hgdome -> xml
-newpath 655 344 moveto
-655 336 655 327 655 318 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 659 318 moveto
-655 308 lineto
-652 318 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 659 318 moveto
-655 308 lineto
-652 318 lineto
-closepath
-stroke
-end grestore
-
-% hmysql -> registry
-newpath 803 516 moveto
-803 494 803 468 803 446 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 807 446 moveto
-803 436 lineto
-800 446 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 807 446 moveto
-803 436 lineto
-800 446 lineto
-closepath
-stroke
-end grestore
-
-% registry -> xml
-newpath 762 354 moveto
-744 338 723 320 704 304 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 706 301 moveto
-696 297 lineto
-701 306 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 706 301 moveto
-696 297 lineto
-701 306 lineto
-closepath
-stroke
-end grestore
-
-% xml -> extlib
-newpath 655 216 moveto
-655 208 655 199 655 190 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 659 190 moveto
-655 180 lineto
-652 190 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 659 190 moveto
-655 180 lineto
-652 190 lineto
-closepath
-stroke
-end grestore
-
-% DependencyAnalyzer
-gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 758 1120 moveto
-622 1120 lineto
-622 1028 lineto
-758 1028 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 758 1120 moveto
-622 1120 lineto
-622 1028 lineto
-758 1028 lineto
-closepath
-stroke
-gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-630 1094 moveto
-(Dependency)
-[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
-xshow
-646 1066 moveto
-(Analyzer)
-[17.28 12 10.56 6.72 12 10.56 10.56 7.92]
-xshow
-643 1038 moveto
-( 0.3 klocs)
-[6 12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% DependencyAnalyzer -> metadata
-newpath 622 1028 moveto
-601 1013 577 997 557 984 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 558 981 moveto
-548 978 lineto
-554 986 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 558 981 moveto
-548 978 lineto
-554 986 lineto
-closepath
-stroke
-end grestore
-
-% Getter
-gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 692 850 moveto
-582 850 lineto
-582 786 lineto
-692 786 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 692 850 moveto
-582 850 lineto
-582 786 lineto
-692 786 lineto
-closepath
-stroke
-gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-607 824 moveto
-(Getter)
-[17.28 10.56 6.72 6.72 10.56 7.92]
-xshow
-590 796 moveto
-( 0.3 klocs)
-[6 12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% Getter -> getter
-newpath 603 786 moveto
-586 770 566 751 548 734 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 550 731 moveto
-540 727 lineto
-545 736 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 550 731 moveto
-540 727 lineto
-545 736 lineto
-closepath
-stroke
-end grestore
-
-% Matita
-gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 239 1828 moveto
-129 1828 lineto
-129 1764 lineto
-239 1764 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 239 1828 moveto
-129 1828 lineto
-129 1764 lineto
-239 1764 lineto
-closepath
-stroke
-gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-152 1802 moveto
-(Matita)
-[21.36 10.56 6.72 6.72 6.72 10.56]
-xshow
-137 1774 moveto
-( 6.7 klocs)
-[6 12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% Matita -> grafite_parser
-newpath 239 1792 moveto
-305 1786 417 1770 506 1736 curveto
-515 1732 524 1728 532 1723 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 534 1726 moveto
-541 1718 lineto
-531 1720 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 534 1726 moveto
-541 1718 lineto
-531 1720 lineto
-closepath
-stroke
-end grestore
-
-% Matita -> grafite_engine
-newpath 184 1764 moveto
-184 1716 184 1625 184 1566 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 188 1566 moveto
-184 1556 lineto
-181 1566 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 188 1566 moveto
-184 1556 lineto
-181 1566 lineto
-closepath
-stroke
-end grestore
-
-% Matita -> hgdome
-newpath 154 1764 moveto
-126 1732 85 1680 64 1628 curveto
-45 1578 48 1562 48 1510 curveto
-48 1510 48 1510 48 690 curveto
-48 540 144 513 276 444 curveto
-328 417 484 401 580 395 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 580 398 moveto
-590 394 lineto
-580 392 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 580 398 moveto
-590 394 lineto
-580 392 lineto
-closepath
-stroke
-end grestore
-
-% ProofChecker
-gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 270 978 moveto
-114 978 lineto
-114 914 lineto
-270 914 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 270 978 moveto
-114 978 lineto
-114 914 lineto
-270 914 lineto
-closepath
-stroke
-gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-122 952 moveto
-(Proof Checker)
-[13.44 7.92 12 12 7.92 6 16.08 12 10.56 10.56 12 10.56 7.92]
-xshow
-145 924 moveto
-( 0.1 klocs)
-[6 12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% ProofChecker -> cic_proof_checking
-newpath 245 914 moveto
-271 898 304 879 332 861 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 334 864 moveto
-341 856 lineto
-331 858 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 334 864 moveto
-341 856 lineto
-331 858 lineto
-closepath
-stroke
-end grestore
-
-% Uwobo
-gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 490 1542 moveto
-380 1542 lineto
-380 1478 lineto
-490 1478 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 490 1542 moveto
-380 1542 lineto
-380 1478 lineto
-490 1478 lineto
-closepath
-stroke
-gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-399 1516 moveto
-(Uwobo)
-[17.28 17.28 12 12 12]
-xshow
-388 1488 moveto
-( 2.1 klocs)
-[6 12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% Uwobo -> content_pres
-newpath 471 1478 moveto
-478 1472 486 1468 494 1464 curveto
-599 1419 639 1461 747 1428 curveto
-755 1425 763 1422 771 1419 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 772 1422 moveto
-780 1415 lineto
-769 1416 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 772 1422 moveto
-780 1415 lineto
-769 1416 lineto
-closepath
-stroke
-end grestore
-
-% Whelp
-gsave 10 dict begin
-filled
-0.584 0.220 0.933 nodecolor
-0.584 0.220 0.933 nodecolor
-newpath 649 1828 moveto
-539 1828 lineto
-539 1764 lineto
-649 1764 lineto
-closepath
-fill
-0.584 0.220 0.933 nodecolor
-newpath 649 1828 moveto
-539 1828 lineto
-539 1764 lineto
-649 1764 lineto
-closepath
-stroke
-gsave 10 dict begin
-0.000 0.000 0.000 nodecolor
-561 1802 moveto
-(Whelp)
-[22.56 12 10.56 6.72 12]
-xshow
-547 1774 moveto
-( 0.6 klocs)
-[6 12 6 12 6 12 6.72 12 10.56 9.36]
-xshow
-end grestore
-end grestore
-
-% Whelp -> grafite_parser
-newpath 594 1764 moveto
-594 1756 594 1747 594 1738 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 598 1738 moveto
-594 1728 lineto
-591 1738 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 598 1738 moveto
-594 1728 lineto
-591 1738 lineto
-closepath
-stroke
-end grestore
-endpage
-showpage
-grestore
-%%PageTrailer
-%%EndPage: 1
-%%Trailer
-%%Pages: 1
-end
-restore
-%%EOF