+% hgdome -> xml
+newpath 39 584 moveto
+44 557 53 502 53 456 curveto
+53 456 53 456 53 234 curveto
+53 190 76 144 92 116 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 95 117 moveto
+97 107 lineto
+89 114 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 95 117 moveto
+97 107 lineto
+89 114 lineto
+closepath
+stroke
+end grestore
+
+% paramodulation -> tactics
+newpath 114 728 moveto
+128 703 153 657 169 628 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 172 629 moveto
+174 619 lineto
+166 626 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 172 629 moveto
+174 619 lineto
+166 626 lineto
+closepath
+stroke
+end grestore
+
+% cic_proof_checking -> getter
+newpath 270 288 moveto
+271 280 271 271 272 262 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 275 262 moveto
+273 252 lineto
+269 262 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 275 262 moveto
+273 252 lineto
+269 262 lineto
+closepath
+stroke
+end grestore
+
+% cic_proof_checking -> cic
+newpath 245 289 moveto
+231 279 213 265 198 254 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 200 251 moveto
+190 248 lineto
+196 257 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 200 251 moveto
+190 248 lineto
+196 257 lineto
+closepath
+stroke
+end grestore
+
+% content_pres -> acic_content
+newpath 442 584 moveto
+437 576 430 566 424 556 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 427 554 moveto
+418 548 lineto
+421 558 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 427 554 moveto
+418 548 lineto
+421 558 lineto
+closepath
+stroke
+end grestore
+
+% utf8_macros
+gsave 10 dict begin
+521 530 48 18 ellipse_path
+stroke
+gsave 10 dict begin
+485 525 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
+
+% content_pres -> utf8_macros
+newpath 470 585 moveto
+479 576 489 565 498 555 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 501 557 moveto
+505 547 lineto
+496 552 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 501 557 moveto
+505 547 lineto
+496 552 lineto
+closepath
+stroke
+end grestore
+
+% grafite -> cic
+newpath 215 666 moveto
+193 658 162 643 144 620 curveto
+120 587 125 570 125 530 curveto
+125 530 125 530 125 380 curveto
+125 336 144 289 158 260 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 161 262 moveto
+162 251 lineto
+155 259 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 161 262 moveto
+162 251 lineto
+155 259 lineto
+closepath
+stroke
+end grestore
+
+% sheath -> cic_disambiguation
+newpath 367 658 moveto
+358 649 347 637 337 627 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 340 625 moveto
+330 620 lineto
+335 630 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 340 625 moveto
+330 620 lineto
+335 630 lineto
+closepath
+stroke
+end grestore
+
+% sheath -> content_pres
+newpath 398 658 moveto
+407 649 419 637 430 626 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 432 629 moveto
+437 619 lineto
+427 624 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 432 629 moveto
+437 619 lineto
+427 624 lineto
+closepath
+stroke
+end grestore
+
+% tactics -> cic_unification
+newpath 204 588 moveto
+218 578 238 564 255 553 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 257 556 moveto
+263 547 lineto
+253 550 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 257 556 moveto
+263 547 lineto
+253 550 lineto
+closepath
+stroke
+end grestore
+
+% tactics -> whelp
+newpath 184 584 moveto
+183 576 183 567 183 558 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 187 558 moveto
+183 548 lineto
+180 558 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 187 558 moveto
+183 548 lineto
+180 558 lineto
+closepath
+stroke
+end grestore
+
+% library
+gsave 10 dict begin
+337 456 32 18 ellipse_path
+stroke
+gsave 10 dict begin
+318 451 moveto
+(library)
+[3.84 3.84 6.96 4.56 6.24 4.56 6.96]
+xshow
+end grestore
+end grestore
+
+% cic_unification -> library
+newpath 298 512 moveto
+304 503 312 492 319 482 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 322 483 moveto
+325 473 lineto
+317 479 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 322 483 moveto
+325 473 lineto
+317 479 lineto
+closepath
+stroke
+end grestore
+
+% cic_acic
+gsave 10 dict begin
+363 380 36 18 ellipse_path
+stroke
+gsave 10 dict begin
+340 375 moveto
+(cic_acic)
+[6.24 3.84 6.24 6.96 6.24 6.24 3.84 6.24]
+xshow
+end grestore
+end grestore
+
+% acic_content -> cic_acic
+newpath 402 512 moveto
+394 486 380 438 371 408 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 374 407 moveto
+368 398 lineto
+368 409 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 374 407 moveto
+368 398 lineto
+368 409 lineto
+closepath
+stroke
+end grestore
+
+% whelp -> metadata
+newpath 184 512 moveto
+185 486 187 439 189 408 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 192 408 moveto
+190 398 lineto
+186 408 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 192 408 moveto
+190 398 lineto
+186 408 lineto
+closepath
+stroke
+end grestore
+
+% library -> metadata
+newpath 313 444 moveto
+290 431 253 413 226 398 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 227 395 moveto
+217 393 lineto
+224 401 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 227 395 moveto
+217 393 lineto
+224 401 lineto
+closepath
+stroke
+end grestore
+
+% library -> cic_acic
+newpath 343 438 moveto
+346 429 350 418 354 408 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 357 409 moveto
+357 398 lineto
+351 407 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 357 409 moveto
+357 398 lineto
+351 407 lineto
+closepath
+stroke
+end grestore
+
+% cic_acic -> cic_proof_checking
+newpath 343 365 moveto
+330 355 312 341 298 329 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 300 326 moveto
+290 323 lineto
+296 332 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 300 326 moveto
+290 323 lineto
+296 332 lineto
+closepath
+stroke
+end grestore
+