%%For: (zacchiro) Stefano Zacchiroli,,,
%%Title: G
%%Pages: (atend)
-%%BoundingBox: 35 35 778 885
+%%BoundingBox: 35 35 680 885
%%EndComments
save
%%BeginProlog
%%EndSetup
%%Page: 1 1
-%%PageBoundingBox: 36 36 778 885
+%%PageBoundingBox: 36 36 680 885
%%PageOrientation: Portrait
gsave
-35 35 743 850 boxprim clip newpath
+35 35 645 850 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0 0 translate 0 rotate
% acic_content
gsave 10 dict begin
-495 574 75 25 ellipse_path
+497 574 75 25 ellipse_path
stroke
gsave 10 dict begin
-434 566 moveto
+436 566 moveto
(acic_content)
[10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
xshow
% cic_acic
gsave 10 dict begin
-464 480 54 25 ellipse_path
+432 480 54 25 ellipse_path
stroke
gsave 10 dict begin
-424 472 moveto
+392 472 moveto
(cic_acic)
[10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
xshow
end grestore
% acic_content -> cic_acic
-newpath 487 548 moveto
-483 538 479 526 475 515 curveto
+newpath 480 549 moveto
+472 538 463 525 455 513 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 478 514 moveto
-472 505 lineto
-472 516 lineto
+newpath 457 510 moveto
+449 504 lineto
+452 514 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 478 514 moveto
-472 505 lineto
-472 516 lineto
+newpath 457 510 moveto
+449 504 lineto
+452 514 lineto
closepath
stroke
end grestore
% cic_proof_checking
gsave 10 dict begin
-365 386 110 25 ellipse_path
+441 386 110 25 ellipse_path
stroke
gsave 10 dict begin
-269 378 moveto
+345 378 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
end grestore
% cic_acic -> cic_proof_checking
-newpath 440 457 moveto
-427 445 412 431 399 418 curveto
+newpath 434 454 moveto
+435 444 436 433 437 422 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 401 415 moveto
-391 411 lineto
-396 420 lineto
+newpath 440 422 moveto
+438 412 lineto
+434 422 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 401 415 moveto
-391 411 lineto
-396 420 lineto
+newpath 440 422 moveto
+438 412 lineto
+434 422 lineto
closepath
stroke
end grestore
% cic_disambiguation
gsave 10 dict begin
-338 662 109 25 ellipse_path
+318 662 109 25 ellipse_path
stroke
gsave 10 dict begin
-243 654 moveto
+223 654 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
end grestore
% cic_disambiguation -> acic_content
-newpath 380 638 moveto
-401 627 426 613 447 601 curveto
+newpath 365 639 moveto
+390 627 420 612 445 599 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 449 604 moveto
-456 596 lineto
-446 598 lineto
+newpath 446 602 moveto
+454 595 lineto
+443 596 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 449 604 moveto
-456 596 lineto
-446 598 lineto
+newpath 446 602 moveto
+454 595 lineto
+443 596 lineto
closepath
stroke
end grestore
% cic_unification
gsave 10 dict begin
-314 574 86 25 ellipse_path
+316 574 86 25 ellipse_path
stroke
gsave 10 dict begin
-242 566 moveto
+244 566 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
end grestore
% cic_disambiguation -> cic_unification
-newpath 331 637 moveto
-329 628 326 619 324 610 curveto
+newpath 317 636 moveto
+317 628 317 619 317 610 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 327 609 moveto
-321 600 lineto
-321 611 lineto
+newpath 321 610 moveto
+317 600 lineto
+314 610 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 327 609 moveto
-321 600 lineto
-321 611 lineto
+newpath 321 610 moveto
+317 600 lineto
+314 610 lineto
closepath
stroke
end grestore
end grestore
% cic_disambiguation -> whelp
-newpath 292 639 moveto
-265 626 232 609 207 596 curveto
+newpath 276 638 moveto
+254 626 227 610 205 597 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 208 593 moveto
-198 591 lineto
-205 599 lineto
+newpath 206 594 moveto
+196 592 lineto
+203 600 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 208 593 moveto
-198 591 lineto
-205 599 lineto
+newpath 206 594 moveto
+196 592 lineto
+203 600 lineto
closepath
stroke
end grestore
% content_pres
gsave 10 dict begin
-543 662 76 25 ellipse_path
+523 662 76 25 ellipse_path
stroke
gsave 10 dict begin
-481 654 moveto
+461 654 moveto
(content_pres)
[10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
xshow
end grestore
% content_pres -> acic_content
-newpath 529 637 moveto
-524 628 519 618 514 608 curveto
+newpath 515 637 moveto
+513 628 510 619 508 610 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 517 606 moveto
-509 599 lineto
-511 609 lineto
+newpath 511 609 moveto
+505 600 lineto
+505 611 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 517 606 moveto
-509 599 lineto
-511 609 lineto
-closepath
-stroke
-end grestore
-
-% utf8_macros
-gsave 10 dict begin
-665 574 75 25 ellipse_path
-stroke
-gsave 10 dict begin
-604 566 moveto
-(utf8_macros)
-[12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
-xshow
-end grestore
-end grestore
-
-% content_pres -> utf8_macros
-newpath 575 639 moveto
-590 628 609 615 625 603 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 627 606 moveto
-633 597 lineto
-623 600 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 627 606 moveto
-633 597 lineto
-623 600 lineto
+newpath 511 609 moveto
+505 600 lineto
+505 611 lineto
closepath
stroke
end grestore
% grafite
gsave 10 dict begin
-601 750 46 25 ellipse_path
+554 750 46 25 ellipse_path
stroke
gsave 10 dict begin
-569 742 moveto
+522 742 moveto
(grafite)
[12 7.92 10.56 7.92 6.72 6.72 10.56]
xshow
end grestore
% grafite -> content_pres
-newpath 585 726 moveto
-579 717 571 706 565 696 curveto
+newpath 545 725 moveto
+542 716 539 706 535 697 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 567 693 moveto
-559 687 lineto
-562 697 lineto
+newpath 538 696 moveto
+532 687 lineto
+532 698 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 567 693 moveto
-559 687 lineto
-562 697 lineto
+newpath 538 696 moveto
+532 687 lineto
+532 698 lineto
closepath
stroke
end grestore
% cic_unification -> cic_proof_checking
-newpath 329 549 moveto
-335 538 342 524 346 512 curveto
-356 482 360 447 362 422 curveto
+newpath 323 549 moveto
+330 522 345 479 368 448 curveto
+376 437 387 426 397 417 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 365 422 moveto
-363 412 lineto
-359 422 lineto
+newpath 400 419 moveto
+405 410 lineto
+395 414 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 365 422 moveto
-363 412 lineto
-359 422 lineto
+newpath 400 419 moveto
+405 410 lineto
+395 414 lineto
closepath
stroke
end grestore
% tactics
gsave 10 dict begin
-164 662 45 25 ellipse_path
+144 662 45 25 ellipse_path
stroke
gsave 10 dict begin
-133 654 moveto
+113 654 moveto
(tactics)
[6.72 10.56 10.56 6.72 6.72 10.56 9.36]
xshow
end grestore
% tactics -> cic_unification
-newpath 196 643 moveto
-216 632 244 615 266 602 curveto
+newpath 178 645 moveto
+202 632 236 615 264 601 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 268 605 moveto
-275 597 lineto
-265 599 lineto
+newpath 266 604 moveto
+273 596 lineto
+263 598 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 268 605 moveto
-275 597 lineto
-265 599 lineto
+newpath 266 604 moveto
+273 596 lineto
+263 598 lineto
closepath
stroke
end grestore
% tactics -> whelp
-newpath 164 636 moveto
-164 628 164 619 164 610 curveto
+newpath 150 637 moveto
+152 628 154 618 156 609 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 168 610 moveto
-164 600 lineto
-161 610 lineto
+newpath 159 609 moveto
+158 599 lineto
+153 608 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 168 610 moveto
-164 600 lineto
-161 610 lineto
+newpath 159 609 moveto
+158 599 lineto
+153 608 lineto
closepath
stroke
end grestore
% paramodulation
gsave 10 dict begin
-191 750 90 25 ellipse_path
+151 750 90 25 ellipse_path
stroke
gsave 10 dict begin
-115 742 moveto
+75 742 moveto
(paramodulation)
[12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
xshow
end grestore
% paramodulation -> tactics
-newpath 183 725 moveto
-180 716 177 706 175 697 curveto
+newpath 149 724 moveto
+148 716 148 707 147 698 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 178 696 moveto
-172 687 lineto
-172 698 lineto
+newpath 150 698 moveto
+146 688 lineto
+144 698 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 178 696 moveto
-172 687 lineto
-172 698 lineto
+newpath 150 698 moveto
+146 688 lineto
+144 698 lineto
closepath
stroke
end grestore
% cic
gsave 10 dict begin
-359 298 28 25 ellipse_path
+412 298 28 25 ellipse_path
stroke
gsave 10 dict begin
-345 290 moveto
+398 290 moveto
(cic)
[10.56 6.72 10.56]
xshow
% urimanager
gsave 10 dict begin
-353 210 70 25 ellipse_path
+332 210 70 25 ellipse_path
stroke
gsave 10 dict begin
-297 202 moveto
+276 202 moveto
(urimanager)
[12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
xshow
end grestore
% cic -> urimanager
-newpath 357 272 moveto
-356 264 356 255 355 246 curveto
+newpath 394 278 moveto
+384 267 372 254 361 241 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 359 246 moveto
-355 236 lineto
-352 246 lineto
+newpath 364 239 moveto
+354 234 lineto
+359 244 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 359 246 moveto
-355 236 lineto
-352 246 lineto
+newpath 364 239 moveto
+354 234 lineto
+359 244 lineto
closepath
stroke
end grestore
% xml
gsave 10 dict begin
-209 122 33 25 ellipse_path
+431 122 33 25 ellipse_path
stroke
gsave 10 dict begin
-190 114 moveto
+412 114 moveto
(xml)
[12 18.72 6.72]
xshow
end grestore
% cic -> xml
-newpath 384 285 moveto
-401 274 422 257 433 236 curveto
-442 215 446 202 433 184 curveto
-410 155 311 136 253 127 curveto
+newpath 415 272 moveto
+418 242 424 192 427 158 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 253 124 moveto
-243 126 lineto
-253 130 lineto
+newpath 430 158 moveto
+428 148 lineto
+424 158 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 253 124 moveto
-243 126 lineto
-253 130 lineto
+newpath 430 158 moveto
+428 148 lineto
+424 158 lineto
closepath
stroke
end grestore
% cic_proof_checking -> cic
-newpath 363 360 moveto
-362 352 362 343 361 334 curveto
+newpath 433 361 moveto
+430 352 427 342 423 333 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 365 334 moveto
-361 324 lineto
-358 334 lineto
+newpath 426 332 moveto
+420 323 lineto
+420 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 365 334 moveto
-361 324 lineto
-358 334 lineto
+newpath 426 332 moveto
+420 323 lineto
+420 334 lineto
closepath
stroke
end grestore
% getter
gsave 10 dict begin
-198 298 42 25 ellipse_path
+274 298 42 25 ellipse_path
stroke
gsave 10 dict begin
-170 290 moveto
+246 290 moveto
(getter)
[12 10.56 6.72 6.72 10.56 7.92]
xshow
end grestore
% cic_proof_checking -> getter
-newpath 320 362 moveto
-295 349 264 332 239 320 curveto
+newpath 396 362 moveto
+371 349 340 332 315 320 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 240 317 moveto
-230 315 lineto
-237 323 lineto
+newpath 316 317 moveto
+306 315 lineto
+313 323 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 240 317 moveto
-230 315 lineto
-237 323 lineto
+newpath 316 317 moveto
+306 315 lineto
+313 323 lineto
closepath
stroke
end grestore
% getter -> urimanager
-newpath 229 280 moveto
-251 268 281 250 306 237 curveto
+newpath 290 274 moveto
+296 265 304 254 310 244 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 308 240 moveto
-315 232 lineto
-305 234 lineto
+newpath 313 245 moveto
+316 235 lineto
+308 241 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 308 240 moveto
-315 232 lineto
-305 234 lineto
+newpath 313 245 moveto
+316 235 lineto
+308 241 lineto
closepath
stroke
end grestore
% registry
gsave 10 dict begin
-83 210 52 25 ellipse_path
+190 210 52 25 ellipse_path
stroke
gsave 10 dict begin
-45 202 moveto
+152 202 moveto
(registry)
[7.92 10.56 12 6.72 9.36 6.72 7.92 12]
xshow
end grestore
% getter -> registry
-newpath 172 278 moveto
-157 266 137 251 119 238 curveto
+newpath 253 276 moveto
+243 265 230 252 219 240 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 121 235 moveto
-111 232 lineto
-117 241 lineto
+newpath 222 238 moveto
+212 233 lineto
+217 243 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 121 235 moveto
-111 232 lineto
-117 241 lineto
+newpath 222 238 moveto
+212 233 lineto
+217 243 lineto
closepath
stroke
end grestore
% metadata
gsave 10 dict begin
-83 386 58 25 ellipse_path
+159 386 58 25 ellipse_path
stroke
gsave 10 dict begin
-39 378 moveto
+115 378 moveto
(metadata)
[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
xshow
end grestore
% metadata -> cic
-newpath 127 369 moveto
-135 366 143 363 151 360 curveto
-210 340 279 319 321 308 curveto
+newpath 203 369 moveto
+211 366 219 363 227 360 curveto
+277 342 337 322 374 310 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 322 311 moveto
-331 305 lineto
-320 305 lineto
+newpath 375 313 moveto
+384 307 lineto
+373 307 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 322 311 moveto
-331 305 lineto
-320 305 lineto
+newpath 375 313 moveto
+384 307 lineto
+373 307 lineto
closepath
stroke
end grestore
% metadata -> getter
-newpath 112 364 moveto
-127 352 147 337 164 324 curveto
+newpath 188 364 moveto
+203 352 223 337 240 324 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 166 327 moveto
-172 318 lineto
-162 321 lineto
+newpath 242 327 moveto
+248 318 lineto
+238 321 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 166 327 moveto
-172 318 lineto
-162 321 lineto
+newpath 242 327 moveto
+248 318 lineto
+238 321 lineto
closepath
stroke
end grestore
% hmysql
gsave 10 dict begin
-83 298 50 25 ellipse_path
+161 298 50 25 ellipse_path
stroke
gsave 10 dict begin
-47 290 moveto
+125 290 moveto
(hmysql)
[12 18.72 12 9.36 12 6.72]
xshow
end grestore
% metadata -> hmysql
-newpath 83 360 moveto
-83 352 83 343 83 334 curveto
+newpath 160 360 moveto
+160 352 160 343 160 334 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 87 334 moveto
-83 324 lineto
-80 334 lineto
+newpath 164 334 moveto
+160 324 lineto
+157 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 87 334 moveto
-83 324 lineto
-80 334 lineto
+newpath 164 334 moveto
+160 324 lineto
+157 334 lineto
closepath
stroke
end grestore
% whelp -> metadata
-newpath 165 548 moveto
-164 522 161 480 145 448 curveto
-139 436 129 425 119 415 curveto
+newpath 163 548 moveto
+162 515 161 459 160 422 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 122 413 moveto
-112 408 lineto
-117 418 lineto
+newpath 164 422 moveto
+160 412 lineto
+157 422 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 122 413 moveto
-112 408 lineto
-117 418 lineto
+newpath 164 422 moveto
+160 412 lineto
+157 422 lineto
closepath
stroke
end grestore
% extlib
gsave 10 dict begin
-209 34 42 25 ellipse_path
+431 34 42 25 ellipse_path
stroke
gsave 10 dict begin
-181 26 moveto
+403 26 moveto
(extlib)
[10.56 12 6.72 6.72 6.72 12]
xshow
% hgdome
gsave 10 dict begin
-209 210 54 25 ellipse_path
+571 210 54 25 ellipse_path
stroke
gsave 10 dict begin
-169 202 moveto
+531 202 moveto
(hgdome)
[12 12 12 12 18.72 10.56]
xshow
end grestore
% hgdome -> xml
-newpath 209 184 moveto
-209 176 209 167 209 158 curveto
+newpath 538 189 moveto
+517 176 488 158 466 144 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 213 158 moveto
-209 148 lineto
-206 158 lineto
+newpath 468 141 moveto
+458 139 lineto
+465 147 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 213 158 moveto
-209 148 lineto
-206 158 lineto
+newpath 468 141 moveto
+458 139 lineto
+465 147 lineto
closepath
stroke
end grestore
% hmysql -> registry
-newpath 83 272 moveto
-83 264 83 255 83 246 curveto
+newpath 169 273 moveto
+172 264 175 254 179 245 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 87 246 moveto
-83 236 lineto
-80 246 lineto
+newpath 182 246 moveto
+182 235 lineto
+176 244 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 87 246 moveto
-83 236 lineto
-80 246 lineto
+newpath 182 246 moveto
+182 235 lineto
+176 244 lineto
closepath
stroke
end grestore
% registry -> xml
-newpath 113 189 moveto
-132 176 157 159 176 145 curveto
+newpath 229 193 moveto
+237 190 245 187 252 184 curveto
+299 166 354 147 390 135 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 178 148 moveto
-184 139 lineto
-174 142 lineto
+newpath 391 138 moveto
+400 132 lineto
+389 132 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 178 148 moveto
-184 139 lineto
-174 142 lineto
+newpath 391 138 moveto
+400 132 lineto
+389 132 lineto
closepath
stroke
end grestore
% xml -> extlib
-newpath 209 96 moveto
-209 88 209 79 209 70 curveto
+newpath 431 96 moveto
+431 88 431 79 431 70 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 213 70 moveto
-209 60 lineto
-206 70 lineto
+newpath 435 70 moveto
+431 60 lineto
+428 70 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 213 70 moveto
-209 60 lineto
-206 70 lineto
+newpath 435 70 moveto
+431 60 lineto
+428 70 lineto
closepath
stroke
end grestore
end grestore
% DependencyAnalyzer -> metadata
-newpath 73 448 moveto
-74 439 76 430 77 422 curveto
+newpath 99 448 moveto
+109 438 119 427 129 417 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 80 422 moveto
-79 412 lineto
-74 421 lineto
+newpath 131 420 moveto
+136 410 lineto
+126 415 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 80 422 moveto
-79 412 lineto
-74 421 lineto
+newpath 131 420 moveto
+136 410 lineto
+126 415 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 236 404 moveto
-160 404 lineto
-160 368 lineto
+newpath 312 404 moveto
+236 404 lineto
236 368 lineto
+312 368 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 236 404 moveto
-160 404 lineto
-160 368 lineto
+newpath 312 404 moveto
+236 404 lineto
236 368 lineto
+312 368 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-168 378 moveto
+244 378 moveto
(Getter)
[17.28 10.56 6.72 6.72 10.56 7.92]
xshow
end grestore
% Getter -> getter
-newpath 198 368 moveto
-198 358 198 346 198 334 curveto
+newpath 274 368 moveto
+274 358 274 346 274 334 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 202 334 moveto
-198 324 lineto
-195 334 lineto
+newpath 278 334 moveto
+274 324 lineto
+271 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 202 334 moveto
-198 324 lineto
-195 334 lineto
+newpath 278 334 moveto
+274 324 lineto
+271 334 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 363 848 moveto
-285 848 lineto
-285 812 lineto
-363 812 lineto
+newpath 454 848 moveto
+376 848 lineto
+376 812 lineto
+454 812 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 363 848 moveto
-285 848 lineto
-285 812 lineto
-363 812 lineto
+newpath 454 848 moveto
+376 848 lineto
+376 812 lineto
+454 812 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-292 822 moveto
+383 822 moveto
(Matita)
[21.36 10.56 6.72 6.72 6.72 10.56]
xshow
end grestore
% Matita -> cic_disambiguation
-newpath 326 812 moveto
-328 785 332 733 335 698 curveto
+newpath 376 815 moveto
+343 801 300 783 296 776 curveto
+281 752 289 721 299 696 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 338 698 moveto
-336 688 lineto
-332 698 lineto
+newpath 302 698 moveto
+303 687 lineto
+296 695 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 338 698 moveto
-336 688 lineto
-332 698 lineto
+newpath 302 698 moveto
+303 687 lineto
+296 695 lineto
closepath
stroke
end grestore
% Matita -> grafite
-newpath 363 823 moveto
-408 814 483 797 545 776 curveto
-549 774 553 773 556 771 curveto
+newpath 447 812 moveto
+466 801 491 786 512 774 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 558 774 moveto
-566 767 lineto
-555 767 lineto
+newpath 514 777 moveto
+521 769 lineto
+511 771 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 558 774 moveto
-566 767 lineto
-555 767 lineto
+newpath 514 777 moveto
+521 769 lineto
+511 771 lineto
closepath
stroke
end grestore
% Matita -> paramodulation
-newpath 294 812 moveto
-278 802 257 789 239 778 curveto
+newpath 376 818 moveto
+336 806 272 787 223 772 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 224 769 moveto
+213 769 lineto
+222 775 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 224 769 moveto
+213 769 lineto
+222 775 lineto
+closepath
+stroke
+end grestore
+
+% Matita -> hgdome
+newpath 454 827 moveto
+524 814 562 831 610 776 curveto
+643 737 629 713 629 662 curveto
+629 662 629 662 629 386 curveto
+629 334 606 278 590 244 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 240 775 moveto
-230 773 lineto
-237 781 lineto
+newpath 593 242 moveto
+585 235 lineto
+587 245 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 240 775 moveto
-230 773 lineto
-237 781 lineto
+newpath 593 242 moveto
+585 235 lineto
+587 245 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 337 512 moveto
-241 512 lineto
-241 448 lineto
-337 448 lineto
+newpath 601 512 moveto
+505 512 lineto
+505 448 lineto
+601 448 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 337 512 moveto
-241 512 lineto
-241 448 lineto
-337 448 lineto
+newpath 601 512 moveto
+505 512 lineto
+505 448 lineto
+601 448 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-262 486 moveto
+526 486 moveto
(Proof)
[13.44 7.92 12 12 7.92]
xshow
-249 458 moveto
+513 458 moveto
(Checker)
[16.08 12 10.56 10.56 12 10.56 7.92]
xshow
end grestore
% ProofChecker -> cic_proof_checking
-newpath 315 448 moveto
-323 439 331 429 339 419 curveto
+newpath 515 448 moveto
+503 438 490 427 478 417 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 342 421 moveto
-345 411 lineto
-336 417 lineto
+newpath 480 414 moveto
+470 411 lineto
+476 420 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 342 421 moveto
-345 411 lineto
-336 417 lineto
+newpath 480 414 moveto
+470 411 lineto
+476 420 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 536 768 moveto
-450 768 lineto
-450 732 lineto
-536 732 lineto
+newpath 489 768 moveto
+403 768 lineto
+403 732 lineto
+489 732 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 536 768 moveto
-450 768 lineto
-450 732 lineto
-536 732 lineto
+newpath 489 768 moveto
+403 768 lineto
+403 732 lineto
+489 732 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-457 742 moveto
+410 742 moveto
(Uwobo)
[17.28 17.28 12 12 12]
xshow
end grestore
% Uwobo -> content_pres
-newpath 503 732 moveto
-509 722 517 708 524 696 curveto
+newpath 462 732 moveto
+472 721 484 707 495 695 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 527 697 moveto
-529 687 lineto
-521 694 lineto
+newpath 498 697 moveto
+502 687 lineto
+493 692 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 527 697 moveto
-529 687 lineto
-521 694 lineto
+newpath 498 697 moveto
+502 687 lineto
+493 692 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 432 768 moveto
-352 768 lineto
-352 732 lineto
-432 732 lineto
+newpath 385 768 moveto
+305 768 lineto
+305 732 lineto
+385 732 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 432 768 moveto
-352 768 lineto
-352 732 lineto
-432 732 lineto
+newpath 385 768 moveto
+305 768 lineto
+305 732 lineto
+385 732 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-359 742 moveto
+312 742 moveto
(Whelp)
[22.56 12 10.56 6.72 12]
xshow
end grestore
% Whelp -> cic_disambiguation
-newpath 381 732 moveto
-375 722 366 708 359 696 curveto
+newpath 339 732 moveto
+336 722 332 709 329 698 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 362 694 moveto
-354 687 lineto
-356 697 lineto
+newpath 332 697 moveto
+326 688 lineto
+326 699 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 362 694 moveto
-354 687 lineto
-356 697 lineto
+newpath 332 697 moveto
+326 688 lineto
+326 699 lineto
closepath
stroke
end grestore
% Whelp -> content_pres
-newpath 423 732 moveto
-444 720 472 703 496 689 curveto
+newpath 378 732 moveto
+383 729 389 726 394 724 curveto
+418 712 446 699 469 687 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 498 692 moveto
-505 684 lineto
-495 686 lineto
+newpath 470 690 moveto
+478 683 lineto
+467 684 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 498 692 moveto
-505 684 lineto
-495 686 lineto
+newpath 470 690 moveto
+478 683 lineto
+467 684 lineto
closepath
stroke
end grestore