+%!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 1079 1753
+%%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 1079 1753
+%%PageOrientation: Portrait
+gsave
+35 35 1044 1718 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 486 1080 moveto
+918 1080 lineto
+918 1624 lineto
+486 1624 lineto
+closepath
+fill
+0.000 0.000 1.000 sethsbcolor
+newpath 486 1080 moveto
+918 1080 lineto
+918 1624 lineto
+486 1624 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 sethsbcolor
+497 1090 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
+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 1116 moveto
+360 1116 lineto
+360 1516 lineto
+68 1516 lineto
+closepath
+fill
+0.000 0.000 1.000 sethsbcolor
+newpath 68 1116 moveto
+360 1116 lineto
+360 1516 lineto
+68 1516 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 sethsbcolor
+76 1490 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
+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 416 moveto
+574 416 lineto
+574 1072 lineto
+280 1072 lineto
+closepath
+fill
+0.000 0.000 1.000 sethsbcolor
+newpath 280 416 moveto
+574 416 lineto
+574 1072 lineto
+280 1072 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 sethsbcolor
+287 426 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
+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
+1034 16 lineto
+1034 560 lineto
+582 560 lineto
+closepath
+fill
+0.000 0.000 1.000 sethsbcolor
+newpath 582 16 moveto
+1034 16 lineto
+1034 560 lineto
+582 560 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 sethsbcolor
+948 26 moveto
+(Utilities)
+[17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% acic_content
+gsave 10 dict begin
+610 1170 81 45 ellipse_path
+stroke
+gsave 10 dict begin
+549 1176 moveto
+(acic_content)
+[10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
+xshow
+566 1148 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 890 64 45 ellipse_path
+stroke
+gsave 10 dict begin
+313 896 moveto
+(cic_acic)
+[10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
+xshow
+309 868 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 602 1124 moveto
+593 1069 576 983 565 972 curveto
+521 926 486 961 427 936 curveto
+421 933 415 930 409 927 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 410 924 moveto
+400 922 lineto
+407 930 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 410 924 moveto
+400 922 lineto
+407 930 lineto
+closepath
+stroke
+end grestore
+
+% cic_disambiguation
+gsave 10 dict begin
+610 1298 115 45 ellipse_path
+stroke
+gsave 10 dict begin
+515 1304 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
+567 1276 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 610 1252 moveto
+610 1244 610 1235 610 1226 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 614 1226 moveto
+610 1216 lineto
+607 1226 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 614 1226 moveto
+610 1216 lineto
+607 1226 lineto
+closepath
+stroke
+end grestore
+
+% cic_unification
+gsave 10 dict begin
+259 1170 92 45 ellipse_path
+stroke
+gsave 10 dict begin
+187 1176 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
+215 1148 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 525 1267 moveto
+469 1247 399 1221 344 1201 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 345 1197 moveto
+334 1197 lineto
+342 1204 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 345 1197 moveto
+334 1197 lineto
+342 1204 lineto
+closepath
+stroke
+end grestore
+
+% whelp
+gsave 10 dict begin
+497 1018 58 45 ellipse_path
+stroke
+gsave 10 dict begin
+467 1024 moveto
+(whelp)
+[17.28 12 10.56 6.72 12]
+xshow
+459 996 moveto
+(.3 klocs)
+[6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% cic_disambiguation -> whelp
+newpath 553 1258 moveto
+540 1246 527 1232 519 1216 curveto
+497 1172 493 1116 493 1074 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 497 1074 moveto
+493 1064 lineto
+490 1074 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 497 1074 moveto
+493 1064 lineto
+490 1074 lineto
+closepath
+stroke
+end grestore
+
+% content_pres
+gsave 10 dict begin
+827 1298 82 45 ellipse_path
+stroke
+gsave 10 dict begin
+765 1304 moveto
+(content_pres)
+[10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
+xshow
+783 1276 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 770 1265 moveto
+741 1248 705 1226 675 1208 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 676 1205 moveto
+666 1203 lineto
+673 1211 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 676 1205 moveto
+666 1203 lineto
+673 1211 lineto
+closepath
+stroke
+end grestore
+
+% utf8_macros
+gsave 10 dict begin
+944 506 81 45 ellipse_path
+stroke
+gsave 10 dict begin
+883 512 moveto
+(utf8_macros)
+[12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
+xshow
+906 484 moveto
+(.2 klocs)
+[6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% content_pres -> utf8_macros
+newpath 842 1253 moveto
+859 1198 885 1102 885 1018 curveto
+885 1018 885 1018 885 762 curveto
+885 691 907 612 924 561 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 927 562 moveto
+927 551 lineto
+921 560 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 927 562 moveto
+927 551 lineto
+921 560 lineto
+closepath
+stroke
+end grestore
+
+% grafite_parser
+gsave 10 dict begin
+582 1570 87 45 ellipse_path
+stroke
+gsave 10 dict begin
+515 1576 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
+539 1548 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
+610 1426 58 45 ellipse_path
+stroke
+gsave 10 dict begin
+574 1432 moveto
+(lexicon)
+[6.72 10.56 12 6.72 10.56 12 12]
+xshow
+572 1404 moveto
+(.8 klocs)
+[6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% grafite_parser -> lexicon
+newpath 591 1524 moveto
+593 1510 596 1495 599 1481 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 602 1481 moveto
+601 1471 lineto
+596 1480 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 602 1481 moveto
+601 1471 lineto
+596 1480 lineto
+closepath
+stroke
+end grestore
+
+% grafite
+gsave 10 dict begin
+135 1298 58 45 ellipse_path
+stroke
+gsave 10 dict begin
+103 1304 moveto
+(grafite)
+[12 7.92 10.56 7.92 6.72 6.72 10.56]
+xshow
+97 1276 moveto
+(.5 klocs)
+[6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% grafite_parser -> grafite
+newpath 524 1535 moveto
+515 1531 504 1527 494 1524 curveto
+476 1519 339 1527 323 1516 curveto
+273 1477 323 1427 281 1380 curveto
+256 1351 236 1364 203 1344 curveto
+197 1340 193 1336 189 1333 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 192 1331 moveto
+182 1326 lineto
+187 1336 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 192 1331 moveto
+182 1326 lineto
+187 1336 lineto
+closepath
+stroke
+end grestore
+
+% lexicon -> cic_disambiguation
+newpath 610 1380 moveto
+610 1372 610 1363 610 1354 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 614 1354 moveto
+610 1344 lineto
+607 1354 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 614 1354 moveto
+610 1344 lineto
+607 1354 lineto
+closepath
+stroke
+end grestore
+
+% lexicon -> content_pres
+newpath 657 1398 moveto
+687 1381 728 1356 761 1337 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 763 1340 moveto
+770 1332 lineto
+760 1334 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 763 1340 moveto
+770 1332 lineto
+760 1334 lineto
+closepath
+stroke
+end grestore
+
+% library
+gsave 10 dict begin
+353 1018 64 45 ellipse_path
+stroke
+gsave 10 dict begin
+321 1024 moveto
+(library)
+[6.72 6.72 12 7.92 10.56 7.92 12]
+xshow
+309 996 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 286 1126 moveto
+297 1108 311 1088 322 1069 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 325 1070 moveto
+327 1060 lineto
+319 1067 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 325 1070 moveto
+327 1060 lineto
+319 1067 lineto
+closepath
+stroke
+end grestore
+
+% tactics
+gsave 10 dict begin
+282 1298 69 45 ellipse_path
+stroke
+gsave 10 dict begin
+251 1304 moveto
+(tactics)
+[6.72 10.56 10.56 6.72 6.72 10.56 9.36]
+xshow
+233 1276 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 274 1253 moveto
+273 1244 271 1235 269 1226 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 272 1225 moveto
+267 1216 lineto
+266 1226 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 272 1225 moveto
+267 1216 lineto
+266 1226 lineto
+closepath
+stroke
+end grestore
+
+% tactics -> whelp
+newpath 230 1267 moveto
+198 1247 161 1224 157 1216 curveto
+129 1162 115 1123 157 1080 curveto
+168 1069 413 1077 427 1072 curveto
+436 1069 444 1065 452 1059 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 454 1062 moveto
+460 1053 lineto
+450 1056 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 454 1062 moveto
+460 1053 lineto
+450 1056 lineto
+closepath
+stroke
+end grestore
+
+% cic
+gsave 10 dict begin
+353 634 64 45 ellipse_path
+stroke
+gsave 10 dict begin
+339 640 moveto
+(cic)
+[10.56 6.72 10.56]
+xshow
+309 612 moveto
+(4.2 klocs)
+[12 6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% grafite -> cic
+newpath 122 1253 moveto
+108 1198 86 1102 86 1018 curveto
+86 1018 86 1018 86 890 curveto
+86 869 86 861 96 844 curveto
+110 822 230 728 301 674 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 303 677 moveto
+309 668 lineto
+299 671 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 303 677 moveto
+309 668 lineto
+299 671 lineto
+closepath
+stroke
+end grestore
+
+% grafite_engine
+gsave 10 dict begin
+181 1426 90 45 ellipse_path
+stroke
+gsave 10 dict begin
+111 1432 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
+138 1404 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 191 1380 moveto
+200 1364 213 1350 227 1338 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 229 1341 moveto
+234 1331 lineto
+224 1336 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 229 1341 moveto
+234 1331 lineto
+224 1336 lineto
+closepath
+stroke
+end grestore
+
+% grafite_engine -> grafite
+newpath 165 1381 moveto
+162 1371 158 1361 155 1351 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 158 1350 moveto
+151 1342 lineto
+152 1353 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 158 1350 moveto
+151 1342 lineto
+152 1353 lineto
+closepath
+stroke
+end grestore
+
+% urimanager
+gsave 10 dict begin
+380 506 76 45 ellipse_path
+stroke
+gsave 10 dict begin
+324 512 moveto
+(urimanager)
+[12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
+xshow
+342 484 moveto
+(.2 klocs)
+[6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% cic -> urimanager
+newpath 363 589 moveto
+364 580 366 570 368 561 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 371 561 moveto
+370 551 lineto
+365 560 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 371 561 moveto
+370 551 lineto
+365 560 lineto
+closepath
+stroke
+end grestore
+
+% xml
+gsave 10 dict begin
+652 234 58 45 ellipse_path
+stroke
+gsave 10 dict begin
+633 240 moveto
+(xml)
+[12 18.72 6.72]
+xshow
+614 212 moveto
+(.5 klocs)
+[6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% cic -> xml
+newpath 315 596 moveto
+307 585 299 573 294 560 curveto
+273 499 261 470 294 416 curveto
+357 312 500 266 584 246 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 585 249 moveto
+594 244 lineto
+584 243 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 585 249 moveto
+594 244 lineto
+584 243 lineto
+closepath
+stroke
+end grestore
+
+% cic_proof_checking
+gsave 10 dict begin
+405 762 116 45 ellipse_path
+stroke
+gsave 10 dict begin
+309 768 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 740 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 717 moveto
+383 707 379 697 375 687 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 378 686 moveto
+371 678 lineto
+372 689 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 378 686 moveto
+371 678 lineto
+372 689 lineto
+closepath
+stroke
+end grestore
+
+% getter
+gsave 10 dict begin
+501 634 64 45 ellipse_path
+stroke
+gsave 10 dict begin
+473 640 moveto
+(getter)
+[12 10.56 6.72 6.72 10.56 7.92]
+xshow
+457 612 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 716 moveto
+423 700 436 686 449 674 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 451 677 moveto
+456 667 lineto
+446 672 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 451 677 moveto
+456 667 lineto
+446 672 lineto
+closepath
+stroke
+end grestore
+
+% getter -> urimanager
+newpath 465 596 moveto
+452 583 438 568 425 554 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 427 551 moveto
+418 546 lineto
+422 556 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 427 551 moveto
+418 546 lineto
+422 556 lineto
+closepath
+stroke
+end grestore
+
+% registry
+gsave 10 dict begin
+789 362 58 45 ellipse_path
+stroke
+gsave 10 dict begin
+751 368 moveto
+(registry)
+[7.92 10.56 12 6.72 9.36 6.72 7.92 12]
+xshow
+751 340 moveto
+(.6 klocs)
+[6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% getter -> registry
+newpath 504 588 moveto
+510 537 527 456 581 416 curveto
+594 406 707 412 721 408 curveto
+727 406 733 403 739 400 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 741 403 moveto
+748 395 lineto
+738 397 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 741 403 moveto
+748 395 lineto
+738 397 lineto
+closepath
+stroke
+end grestore
+
+% logger
+gsave 10 dict begin
+649 506 58 45 ellipse_path
+stroke
+gsave 10 dict begin
+618 512 moveto
+(logger)
+[6.72 12 12 12 10.56 7.92]
+xshow
+611 484 moveto
+(.1 klocs)
+[6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% getter -> logger
+newpath 542 598 moveto
+560 582 583 563 601 547 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 604 549 moveto
+609 540 lineto
+599 544 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 604 549 moveto
+609 540 lineto
+599 544 lineto
+closepath
+stroke
+end grestore
+
+% metadata
+gsave 10 dict begin
+501 890 64 45 ellipse_path
+stroke
+gsave 10 dict begin
+457 896 moveto
+(metadata)
+[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
+xshow
+458 868 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 846 moveto
+525 834 529 821 531 808 curveto
+535 787 543 732 531 716 curveto
+503 676 471 703 427 680 curveto
+420 676 415 673 411 669 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 414 667 moveto
+404 662 lineto
+409 672 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 414 667 moveto
+404 662 lineto
+409 672 lineto
+closepath
+stroke
+end grestore
+
+% hmysql
+gsave 10 dict begin
+785 506 58 45 ellipse_path
+stroke
+gsave 10 dict begin
+749 512 moveto
+(hmysql)
+[12 18.72 12 9.36 12 6.72]
+xshow
+747 484 moveto
+(.1 klocs)
+[6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% metadata -> hmysql
+newpath 563 876 moveto
+625 861 715 835 737 808 curveto
+794 738 797 628 792 561 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 795 561 moveto
+791 551 lineto
+789 561 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 795 561 moveto
+791 551 lineto
+789 561 lineto
+closepath
+stroke
+end grestore
+
+% whelp -> metadata
+newpath 498 973 moveto
+499 964 499 955 499 946 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 502 946 moveto
+500 936 lineto
+496 946 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 502 946 moveto
+500 936 lineto
+496 946 lineto
+closepath
+stroke
+end grestore
+
+% library -> metadata
+newpath 394 982 moveto
+412 966 433 948 452 932 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 455 934 moveto
+460 925 lineto
+450 929 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 455 934 moveto
+460 925 lineto
+450 929 lineto
+closepath
+stroke
+end grestore
+
+% library -> cic_acic
+newpath 353 972 moveto
+353 964 353 955 353 946 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 357 946 moveto
+353 936 lineto
+350 946 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 357 946 moveto
+353 936 lineto
+350 946 lineto
+closepath
+stroke
+end grestore
+
+% cic_acic -> cic_proof_checking
+newpath 371 846 moveto
+375 836 379 826 383 816 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 386 818 moveto
+387 807 lineto
+380 815 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 386 818 moveto
+387 807 lineto
+380 815 lineto
+closepath
+stroke
+end grestore
+
+% extlib
+gsave 10 dict begin
+654 106 63 45 ellipse_path
+stroke
+gsave 10 dict begin
+626 112 moveto
+(extlib)
+[10.56 12 6.72 6.72 6.72 12]
+xshow
+611 84 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
+651 362 60 45 ellipse_path
+stroke
+gsave 10 dict begin
+611 368 moveto
+(hgdome)
+[12 12 12 12 18.72 10.56]
+xshow
+613 340 moveto
+(.2 klocs)
+[6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% hgdome -> xml
+newpath 651 316 moveto
+651 308 651 299 652 290 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 656 290 moveto
+652 280 lineto
+649 290 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 656 290 moveto
+652 280 lineto
+649 290 lineto
+closepath
+stroke
+end grestore
+
+% hmysql -> registry
+newpath 786 460 moveto
+786 446 787 432 787 418 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 791 418 moveto
+787 408 lineto
+784 418 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 791 418 moveto
+787 408 lineto
+784 418 lineto
+closepath
+stroke
+end grestore
+
+% registry -> xml
+newpath 751 327 moveto
+734 311 715 292 697 276 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 700 274 moveto
+690 269 lineto
+695 279 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 700 274 moveto
+690 269 lineto
+695 279 lineto
+closepath
+stroke
+end grestore
+
+% xml -> extlib
+newpath 653 188 moveto
+653 180 653 171 653 162 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 657 162 moveto
+653 152 lineto
+650 162 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 657 162 moveto
+653 152 lineto
+650 162 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 748 1064 moveto
+612 1064 lineto
+612 972 lineto
+748 972 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 748 1064 moveto
+612 1064 lineto
+612 972 lineto
+748 972 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+620 1038 moveto
+(Dependency)
+[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
+xshow
+636 1010 moveto
+(Analyzer)
+[17.28 12 10.56 6.72 12 10.56 10.56 7.92]
+xshow
+639 982 moveto
+( .3 klocs)
+[6 6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% DependencyAnalyzer -> metadata
+newpath 616 972 moveto
+596 958 574 942 555 928 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 557 925 moveto
+547 922 lineto
+553 931 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 557 925 moveto
+547 922 lineto
+553 931 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 680 794 moveto
+582 794 lineto
+582 730 lineto
+680 730 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 680 794 moveto
+582 794 lineto
+582 730 lineto
+680 730 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+601 768 moveto
+(Getter)
+[17.28 10.56 6.72 6.72 10.56 7.92]
+xshow
+590 740 moveto
+( .3 klocs)
+[6 6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% Getter -> getter
+newpath 598 730 moveto
+582 714 563 695 546 678 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 549 676 moveto
+539 671 lineto
+544 681 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 549 676 moveto
+539 671 lineto
+544 681 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 236 1716 moveto
+126 1716 lineto
+126 1652 lineto
+236 1652 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 236 1716 moveto
+126 1716 lineto
+126 1652 lineto
+236 1652 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+149 1690 moveto
+(Matita)
+[21.36 10.56 6.72 6.72 6.72 10.56]
+xshow
+134 1662 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 236 1679 moveto
+300 1673 408 1657 494 1624 curveto
+503 1620 512 1616 520 1611 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 522 1614 moveto
+529 1606 lineto
+519 1608 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 522 1614 moveto
+529 1606 lineto
+519 1608 lineto
+closepath
+stroke
+end grestore
+
+% Matita -> grafite_engine
+newpath 181 1652 moveto
+181 1610 181 1534 181 1482 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 185 1482 moveto
+181 1472 lineto
+178 1482 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 185 1482 moveto
+181 1472 lineto
+178 1482 lineto
+closepath
+stroke
+end grestore
+
+% Matita -> hgdome
+newpath 152 1652 moveto
+125 1620 86 1568 64 1516 curveto
+49 1478 48 1466 48 1426 curveto
+48 1426 48 1426 48 634 curveto
+48 493 150 477 276 416 curveto
+328 391 487 374 580 367 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 580 370 moveto
+590 366 lineto
+580 364 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 580 370 moveto
+590 366 lineto
+580 364 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 922 moveto
+114 922 lineto
+114 858 lineto
+270 858 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 270 922 moveto
+114 922 lineto
+114 858 lineto
+270 858 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+122 896 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
+151 868 moveto
+( .1 klocs)
+[6 6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% ProofChecker -> cic_proof_checking
+newpath 245 858 moveto
+271 842 304 823 332 805 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 334 808 moveto
+341 800 lineto
+331 802 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 334 808 moveto
+341 800 lineto
+331 802 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 478 1458 moveto
+368 1458 lineto
+368 1394 lineto
+478 1394 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 478 1458 moveto
+368 1458 lineto
+368 1394 lineto
+478 1394 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+387 1432 moveto
+(Uwobo)
+[17.28 17.28 12 12 12]
+xshow
+376 1404 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 459 1394 moveto
+466 1388 474 1384 482 1380 curveto
+587 1335 627 1377 735 1344 curveto
+743 1341 751 1338 759 1335 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 760 1338 moveto
+768 1331 lineto
+757 1332 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 760 1338 moveto
+768 1331 lineto
+757 1332 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 631 1716 moveto
+533 1716 lineto
+533 1652 lineto
+631 1652 lineto
+closepath
+fill
+0.584 0.220 0.933 nodecolor
+newpath 631 1716 moveto
+533 1716 lineto
+533 1652 lineto
+631 1652 lineto
+closepath
+stroke
+gsave 10 dict begin
+0.000 0.000 0.000 nodecolor
+549 1690 moveto
+(Whelp)
+[22.56 12 10.56 6.72 12]
+xshow
+541 1662 moveto
+( .6 klocs)
+[6 6 12 6 12 6.72 12 10.56 9.36]
+xshow
+end grestore
+end grestore
+
+% Whelp -> grafite_parser
+newpath 582 1652 moveto
+582 1644 582 1635 582 1626 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 586 1626 moveto
+582 1616 lineto
+579 1626 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 586 1626 moveto
+582 1616 lineto
+579 1626 lineto
+closepath
+stroke
+end grestore
+endpage
+showpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+%%Pages: 1
+end
+restore
+%%EOF