--- /dev/null
+%!PS-Adobe-2.0
+%%Creator: dot version 2.2.1 (Tue Apr 12 00:03:35 UTC 2005)
+%%For: (sacerdot) Claudio Sacerdoti Coen,,,
+%%Title: G
+%%Pages: (atend)
+%%BoundingBox: 35 35 461 649
+%%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 461 649
+%%PageOrientation: Portrait
+gsave
+35 35 426 614 boxprim clip newpath
+36 36 translate
+0 0 1 beginpage
+0 0 translate 0 rotate
+0.000 0.000 0.000 graphcolor
+14.00 /Times-Roman set_font
+
+% paramodulation
+gsave 10 dict begin
+164 594 57 18 ellipse_path
+stroke
+gsave 10 dict begin
+119 589 moveto
+(paramodulation)
+[6.96 6.24 4.56 6.24 10.8 6.96 6.96 6.96 3.84 6.24 3.84 3.84 6.96 6.96]
+xshow
+end grestore
+end grestore
+
+% cic_disambiguation
+gsave 10 dict begin
+164 522 68 18 ellipse_path
+stroke
+gsave 10 dict begin
+109 517 moveto
+(cic_disambiguation)
+[6.24 3.84 6.24 6.96 6.96 3.84 5.52 6.24 10.8 6.96 3.84 6.96 6.96 6.24 3.84 3.84 6.96 6.96]
+xshow
+end grestore
+end grestore
+
+% paramodulation -> cic_disambiguation
+newpath 164 576 moveto
+164 568 164 559 164 550 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 168 550 moveto
+164 540 lineto
+161 550 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 168 550 moveto
+164 540 lineto
+161 550 lineto
+closepath
+stroke
+end grestore
+
+% cic_notation
+gsave 10 dict begin
+48 378 48 18 ellipse_path
+stroke
+gsave 10 dict begin
+13 373 moveto
+(cic_notation)
+[6.24 3.84 6.24 6.96 6.96 6.96 3.84 6.24 3.84 3.84 6.96 6.96]
+xshow
+end grestore
+end grestore
+
+% cic_disambiguation -> cic_notation
+newpath 128 507 moveto
+111 498 91 485 77 468 curveto
+64 450 56 425 52 406 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 55 405 moveto
+50 396 lineto
+49 406 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 55 405 moveto
+50 396 lineto
+49 406 lineto
+closepath
+stroke
+end grestore
+
+% tactics
+gsave 10 dict begin
+275 450 31 18 ellipse_path
+stroke
+gsave 10 dict begin
+256 445 moveto
+(tactics)
+[3.84 6.24 6.24 3.84 3.84 6.24 5.52]
+xshow
+end grestore
+end grestore
+
+% cic_disambiguation -> tactics
+newpath 190 505 moveto
+207 494 228 480 246 469 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 248 472 moveto
+254 463 lineto
+244 466 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 248 472 moveto
+254 463 lineto
+244 466 lineto
+closepath
+stroke
+end grestore
+
+% cic_proof_checking
+gsave 10 dict begin
+242 306 68 18 ellipse_path
+stroke
+gsave 10 dict begin
+186 301 moveto
+(cic_proof_checking)
+[6.24 3.84 6.24 6.96 6.96 4.56 6.96 6.96 4.56 6.96 6.24 6.96 6.24 6.24 6.96 3.84 6.96 6.96]
+xshow
+end grestore
+end grestore
+
+% cic_notation -> cic_proof_checking
+newpath 82 365 moveto
+113 354 158 337 192 325 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 194 328 moveto
+202 321 lineto
+191 321 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 194 328 moveto
+202 321 lineto
+191 321 lineto
+closepath
+stroke
+end grestore
+
+% utf8_macros
+gsave 10 dict begin
+48 306 48 18 ellipse_path
+stroke
+gsave 10 dict begin
+12 301 moveto
+(utf8_macros)
+[6.96 3.84 4.56 6.96 6.96 10.8 6.24 6.24 4.56 6.96 5.52]
+xshow
+end grestore
+end grestore
+
+% cic_notation -> utf8_macros
+newpath 48 360 moveto
+48 352 48 343 48 334 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 52 334 moveto
+48 324 lineto
+45 334 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 52 334 moveto
+48 324 lineto
+45 334 lineto
+closepath
+stroke
+end grestore
+
+% metadata
+gsave 10 dict begin
+386 378 38 18 ellipse_path
+stroke
+gsave 10 dict begin
+360 373 moveto
+(metadata)
+[10.8 6.24 3.84 6.24 6.96 6.24 3.84 6.24]
+xshow
+end grestore
+end grestore
+
+% tactics -> metadata
+newpath 296 436 moveto
+312 426 336 411 355 399 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 357 402 moveto
+363 393 lineto
+353 396 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 357 402 moveto
+363 393 lineto
+353 396 lineto
+closepath
+stroke
+end grestore
+
+% cic_unification
+gsave 10 dict begin
+275 378 55 18 ellipse_path
+stroke
+gsave 10 dict begin
+233 373 moveto
+(cic_unification)
+[6.24 3.84 6.24 6.96 6.96 6.96 3.84 4.56 3.84 6.24 6.24 3.84 3.84 6.96 6.96]
+xshow
+end grestore
+end grestore
+
+% tactics -> cic_unification
+newpath 275 432 moveto
+275 424 275 415 275 406 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 279 406 moveto
+275 396 lineto
+272 406 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 279 406 moveto
+275 396 lineto
+272 406 lineto
+closepath
+stroke
+end grestore
+
+% cic_transformations
+gsave 10 dict begin
+154 450 68 18 ellipse_path
+stroke
+gsave 10 dict begin
+98 445 moveto
+(cic_transformations)
+[6.24 3.84 6.24 6.96 3.84 4.56 6.24 6.96 5.52 4.56 6.96 4.56 10.8 6.24 3.84 3.84 6.96 6.96 5.52]
+xshow
+end grestore
+end grestore
+
+% cic_transformations -> cic_notation
+newpath 129 433 moveto
+115 423 95 410 79 399 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 81 396 moveto
+71 394 lineto
+78 402 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 81 396 moveto
+71 394 lineto
+78 402 lineto
+closepath
+stroke
+end grestore
+
+% cic_omdoc
+gsave 10 dict begin
+158 378 44 18 ellipse_path
+stroke
+gsave 10 dict begin
+127 373 moveto
+(cic_omdoc)
+[6.24 3.84 6.24 6.96 6.96 10.8 6.96 6.96 6.24]
+xshow
+end grestore
+end grestore
+
+% cic_transformations -> cic_omdoc
+newpath 155 432 moveto
+156 424 156 415 156 406 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 159 406 moveto
+157 396 lineto
+153 406 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 159 406 moveto
+157 396 lineto
+153 406 lineto
+closepath
+stroke
+end grestore
+
+% cic_omdoc -> cic_proof_checking
+newpath 177 362 moveto
+188 352 202 340 214 330 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 217 332 moveto
+222 323 lineto
+212 327 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 217 332 moveto
+222 323 lineto
+212 327 lineto
+closepath
+stroke
+end grestore
+
+% getter
+gsave 10 dict begin
+292 234 29 18 ellipse_path
+stroke
+gsave 10 dict begin
+276 229 moveto
+(getter)
+[6.96 6.24 3.84 3.84 6.24 4.56]
+xshow
+end grestore
+end grestore
+
+% cic_proof_checking -> getter
+newpath 254 288 moveto
+260 280 267 269 274 259 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 277 261 moveto
+280 251 lineto
+271 257 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 277 261 moveto
+280 251 lineto
+271 257 lineto
+closepath
+stroke
+end grestore
+
+% cic
+gsave 10 dict begin
+208 234 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+199 229 moveto
+(cic)
+[6.24 3.84 6.24]
+xshow
+end grestore
+end grestore
+
+% cic_proof_checking -> cic
+newpath 233 288 moveto
+229 280 225 270 220 261 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 223 260 moveto
+216 252 lineto
+217 263 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 223 260 moveto
+216 252 lineto
+217 263 lineto
+closepath
+stroke
+end grestore
+
+% metadata -> cic_proof_checking
+newpath 360 365 moveto
+339 354 308 339 283 327 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 284 324 moveto
+274 322 lineto
+281 330 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 284 324 moveto
+274 322 lineto
+281 330 lineto
+closepath
+stroke
+end grestore
+
+% hmysql
+gsave 10 dict begin
+386 234 34 18 ellipse_path
+stroke
+gsave 10 dict begin
+364 229 moveto
+(hmysql)
+[6.96 10.8 6.96 5.52 6.96 3.84]
+xshow
+end grestore
+end grestore
+
+% metadata -> hmysql
+newpath 386 360 moveto
+386 335 386 291 386 262 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 390 262 moveto
+386 252 lineto
+383 262 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 390 262 moveto
+386 252 lineto
+383 262 lineto
+closepath
+stroke
+end grestore
+
+% cic_unification -> cic_proof_checking
+newpath 267 360 moveto
+263 352 259 342 254 333 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 257 332 moveto
+250 324 lineto
+251 335 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 257 332 moveto
+250 324 lineto
+251 335 lineto
+closepath
+stroke
+end grestore
+
+% registry
+gsave 10 dict begin
+386 162 35 18 ellipse_path
+stroke
+gsave 10 dict begin
+364 157 moveto
+(registry)
+[4.56 6.24 6.96 3.84 5.52 3.84 4.56 6.96]
+xshow
+end grestore
+end grestore
+
+% hmysql -> registry
+newpath 386 216 moveto
+386 208 386 199 386 190 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 390 190 moveto
+386 180 lineto
+383 190 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 390 190 moveto
+386 180 lineto
+383 190 lineto
+closepath
+stroke
+end grestore
+
+% urimanager
+gsave 10 dict begin
+208 162 45 18 ellipse_path
+stroke
+gsave 10 dict begin
+175 157 moveto
+(urimanager)
+[6.96 4.56 3.84 10.8 6.24 6.96 6.24 6.96 6.24 4.56]
+xshow
+end grestore
+end grestore
+
+% getter -> urimanager
+newpath 275 219 moveto
+263 209 248 196 235 185 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 237 182 moveto
+227 178 lineto
+232 187 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 237 182 moveto
+227 178 lineto
+232 187 lineto
+closepath
+stroke
+end grestore
+
+% getter -> registry
+newpath 311 220 moveto
+325 210 343 195 359 183 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 361 186 moveto
+367 177 lineto
+357 180 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 361 186 moveto
+367 177 lineto
+357 180 lineto
+closepath
+stroke
+end grestore
+
+% logger
+gsave 10 dict begin
+302 162 31 18 ellipse_path
+stroke
+gsave 10 dict begin
+284 157 moveto
+(logger)
+[3.84 6.96 6.96 6.96 6.24 4.56]
+xshow
+end grestore
+end grestore
+
+% getter -> logger
+newpath 295 216 moveto
+296 208 297 199 298 190 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 301 190 moveto
+299 180 lineto
+295 190 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 301 190 moveto
+299 180 lineto
+295 190 lineto
+closepath
+stroke
+end grestore
+
+% xml
+gsave 10 dict begin
+260 90 27 18 ellipse_path
+stroke
+gsave 10 dict begin
+248 85 moveto
+(xml)
+[6.96 10.8 3.84]
+xshow
+end grestore
+end grestore
+
+% cic -> xml
+newpath 189 221 moveto
+176 212 161 197 154 180 curveto
+147 165 145 157 154 144 curveto
+169 119 199 105 224 98 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 225 101 moveto
+234 95 lineto
+223 95 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 225 101 moveto
+234 95 lineto
+223 95 lineto
+closepath
+stroke
+end grestore
+
+% cic -> urimanager
+newpath 208 216 moveto
+208 208 208 199 208 190 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 212 190 moveto
+208 180 lineto
+205 190 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 212 190 moveto
+208 180 lineto
+205 190 lineto
+closepath
+stroke
+end grestore
+
+% extlib
+gsave 10 dict begin
+260 18 29 18 ellipse_path
+stroke
+gsave 10 dict begin
+244 13 moveto
+(extlib)
+[6.24 6.96 3.84 3.84 3.84 6.96]
+xshow
+end grestore
+end grestore
+
+% xml -> extlib
+newpath 260 72 moveto
+260 64 260 55 260 46 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 264 46 moveto
+260 36 lineto
+257 46 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 264 46 moveto
+260 36 lineto
+257 46 lineto
+closepath
+stroke
+end grestore
+
+% registry -> xml
+newpath 362 148 moveto
+342 137 312 120 290 107 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 291 104 moveto
+281 102 lineto
+288 110 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 291 104 moveto
+281 102 lineto
+288 110 lineto
+closepath
+stroke
+end grestore
+endpage
+showpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+%%Pages: 1
+end
+restore
+%%EOF
projects / helm.git / blobdiff