%%For: (zacchiro) Stefano Zacchiroli,,,
%%Title: G
%%Pages: (atend)
-%%BoundingBox: 35 35 866 873
+%%BoundingBox: 35 35 778 885
%%EndComments
save
%%BeginProlog
%%EndSetup
%%Page: 1 1
-%%PageBoundingBox: 36 36 866 873
+%%PageBoundingBox: 36 36 778 885
%%PageOrientation: Portrait
gsave
-35 35 831 838 boxprim clip newpath
+35 35 743 850 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0 0 translate 0 rotate
% acic_content
gsave 10 dict begin
-583 562 75 25 ellipse_path
+495 574 75 25 ellipse_path
stroke
gsave 10 dict begin
-522 554 moveto
+434 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
-562 474 54 25 ellipse_path
+464 480 54 25 ellipse_path
stroke
gsave 10 dict begin
-522 466 moveto
+424 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 577 537 moveto
-575 528 573 518 570 509 curveto
+newpath 487 548 moveto
+483 538 479 526 475 515 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 573 508 moveto
-568 499 lineto
-567 509 lineto
+newpath 478 514 moveto
+472 505 lineto
+472 516 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 573 508 moveto
-568 499 lineto
-567 509 lineto
+newpath 478 514 moveto
+472 505 lineto
+472 516 lineto
closepath
stroke
end grestore
% cic_proof_checking
gsave 10 dict begin
-468 386 110 25 ellipse_path
+365 386 110 25 ellipse_path
stroke
gsave 10 dict begin
-372 378 moveto
+269 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 537 451 moveto
-526 441 513 429 501 418 curveto
+newpath 440 457 moveto
+427 445 412 431 399 418 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 504 416 moveto
-494 411 lineto
-499 421 lineto
+newpath 401 415 moveto
+391 411 lineto
+396 420 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 504 416 moveto
-494 411 lineto
-499 421 lineto
+newpath 401 415 moveto
+391 411 lineto
+396 420 lineto
closepath
stroke
end grestore
% cic_disambiguation
gsave 10 dict begin
-426 650 109 25 ellipse_path
+338 662 109 25 ellipse_path
stroke
gsave 10 dict begin
-331 642 moveto
+243 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 468 626 moveto
-489 615 514 601 535 589 curveto
+newpath 380 638 moveto
+401 627 426 613 447 601 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 537 592 moveto
-544 584 lineto
-534 586 lineto
+newpath 449 604 moveto
+456 596 lineto
+446 598 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 537 592 moveto
-544 584 lineto
-534 586 lineto
+newpath 449 604 moveto
+456 596 lineto
+446 598 lineto
closepath
stroke
end grestore
% cic_unification
gsave 10 dict begin
-402 562 86 25 ellipse_path
+314 574 86 25 ellipse_path
stroke
gsave 10 dict begin
-330 554 moveto
+242 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 419 625 moveto
-417 616 414 607 412 598 curveto
+newpath 331 637 moveto
+329 628 326 619 324 610 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 415 597 moveto
-409 588 lineto
-409 599 lineto
+newpath 327 609 moveto
+321 600 lineto
+321 611 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 415 597 moveto
-409 588 lineto
-409 599 lineto
+newpath 327 609 moveto
+321 600 lineto
+321 611 lineto
closepath
stroke
end grestore
% whelp
gsave 10 dict begin
-252 562 44 25 ellipse_path
+164 574 44 25 ellipse_path
stroke
gsave 10 dict begin
-222 554 moveto
+134 566 moveto
(whelp)
[17.28 12 10.56 6.72 12]
xshow
end grestore
% cic_disambiguation -> whelp
-newpath 380 627 moveto
-353 614 320 597 295 584 curveto
+newpath 292 639 moveto
+265 626 232 609 207 596 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 296 581 moveto
-286 579 lineto
-293 587 lineto
+newpath 208 593 moveto
+198 591 lineto
+205 599 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 296 581 moveto
-286 579 lineto
-293 587 lineto
+newpath 208 593 moveto
+198 591 lineto
+205 599 lineto
closepath
stroke
end grestore
% content_pres
gsave 10 dict begin
-631 650 76 25 ellipse_path
+543 662 76 25 ellipse_path
stroke
gsave 10 dict begin
-569 642 moveto
+481 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 617 625 moveto
-612 616 607 606 602 596 curveto
+newpath 529 637 moveto
+524 628 519 618 514 608 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 605 594 moveto
-597 587 lineto
-599 597 lineto
+newpath 517 606 moveto
+509 599 lineto
+511 609 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 605 594 moveto
-597 587 lineto
-599 597 lineto
+newpath 517 606 moveto
+509 599 lineto
+511 609 lineto
closepath
stroke
end grestore
% utf8_macros
gsave 10 dict begin
-753 562 75 25 ellipse_path
+665 574 75 25 ellipse_path
stroke
gsave 10 dict begin
-692 554 moveto
+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
% content_pres -> utf8_macros
-newpath 663 627 moveto
-678 616 697 603 713 591 curveto
+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 715 594 moveto
-721 585 lineto
-711 588 lineto
+newpath 627 606 moveto
+633 597 lineto
+623 600 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 715 594 moveto
-721 585 lineto
-711 588 lineto
+newpath 627 606 moveto
+633 597 lineto
+623 600 lineto
closepath
stroke
end grestore
% grafite
gsave 10 dict begin
-689 738 46 25 ellipse_path
+601 750 46 25 ellipse_path
stroke
gsave 10 dict begin
-657 730 moveto
+569 742 moveto
(grafite)
[12 7.92 10.56 7.92 6.72 6.72 10.56]
xshow
end grestore
% grafite -> content_pres
-newpath 673 714 moveto
-667 705 659 694 653 684 curveto
+newpath 585 726 moveto
+579 717 571 706 565 696 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 655 681 moveto
-647 675 lineto
-650 685 lineto
+newpath 567 693 moveto
+559 687 lineto
+562 697 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 655 681 moveto
-647 675 lineto
-650 685 lineto
+newpath 567 693 moveto
+559 687 lineto
+562 697 lineto
closepath
stroke
end grestore
% cic_unification -> cic_proof_checking
-newpath 425 537 moveto
-434 526 443 513 449 500 curveto
-459 475 465 445 466 422 curveto
+newpath 329 549 moveto
+335 538 342 524 346 512 curveto
+356 482 360 447 362 422 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 469 422 moveto
-467 412 lineto
-463 422 lineto
+newpath 365 422 moveto
+363 412 lineto
+359 422 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 469 422 moveto
-467 412 lineto
-463 422 lineto
+newpath 365 422 moveto
+363 412 lineto
+359 422 lineto
closepath
stroke
end grestore
% tactics
gsave 10 dict begin
-252 650 45 25 ellipse_path
+164 662 45 25 ellipse_path
stroke
gsave 10 dict begin
-221 642 moveto
+133 654 moveto
(tactics)
[6.72 10.56 10.56 6.72 6.72 10.56 9.36]
xshow
end grestore
% tactics -> cic_unification
-newpath 284 631 moveto
-304 620 332 603 354 590 curveto
+newpath 196 643 moveto
+216 632 244 615 266 602 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 356 593 moveto
-363 585 lineto
-353 587 lineto
+newpath 268 605 moveto
+275 597 lineto
+265 599 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 356 593 moveto
-363 585 lineto
-353 587 lineto
+newpath 268 605 moveto
+275 597 lineto
+265 599 lineto
closepath
stroke
end grestore
% tactics -> whelp
-newpath 252 624 moveto
-252 616 252 607 252 598 curveto
+newpath 164 636 moveto
+164 628 164 619 164 610 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 256 598 moveto
-252 588 lineto
-249 598 lineto
+newpath 168 610 moveto
+164 600 lineto
+161 610 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 256 598 moveto
-252 588 lineto
-249 598 lineto
+newpath 168 610 moveto
+164 600 lineto
+161 610 lineto
closepath
stroke
end grestore
% paramodulation
gsave 10 dict begin
-279 738 90 25 ellipse_path
+191 750 90 25 ellipse_path
stroke
gsave 10 dict begin
-203 730 moveto
+115 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 271 713 moveto
-268 704 265 694 263 685 curveto
+newpath 183 725 moveto
+180 716 177 706 175 697 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 266 684 moveto
-260 675 lineto
-260 686 lineto
+newpath 178 696 moveto
+172 687 lineto
+172 698 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 266 684 moveto
-260 675 lineto
-260 686 lineto
+newpath 178 696 moveto
+172 687 lineto
+172 698 lineto
closepath
stroke
end grestore
% cic
gsave 10 dict begin
-462 298 28 25 ellipse_path
+359 298 28 25 ellipse_path
stroke
gsave 10 dict begin
-448 290 moveto
+345 290 moveto
(cic)
[10.56 6.72 10.56]
xshow
% urimanager
gsave 10 dict begin
-456 210 70 25 ellipse_path
+353 210 70 25 ellipse_path
stroke
gsave 10 dict begin
-400 202 moveto
+297 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 460 272 moveto
-459 264 459 255 458 246 curveto
+newpath 357 272 moveto
+356 264 356 255 355 246 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 462 246 moveto
-458 236 lineto
-455 246 lineto
+newpath 359 246 moveto
+355 236 lineto
+352 246 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 462 246 moveto
-458 236 lineto
-455 246 lineto
+newpath 359 246 moveto
+355 236 lineto
+352 246 lineto
closepath
stroke
end grestore
% xml
gsave 10 dict begin
-312 122 33 25 ellipse_path
+209 122 33 25 ellipse_path
stroke
gsave 10 dict begin
-293 114 moveto
+190 114 moveto
(xml)
[12 18.72 6.72]
xshow
end grestore
% cic -> xml
-newpath 487 285 moveto
-504 274 525 257 536 236 curveto
-545 215 549 202 536 184 curveto
-513 155 414 136 356 127 curveto
+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
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 356 124 moveto
-346 126 lineto
-356 130 lineto
+newpath 253 124 moveto
+243 126 lineto
+253 130 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 356 124 moveto
-346 126 lineto
-356 130 lineto
+newpath 253 124 moveto
+243 126 lineto
+253 130 lineto
closepath
stroke
end grestore
% cic_proof_checking -> cic
-newpath 466 360 moveto
-465 352 465 343 464 334 curveto
+newpath 363 360 moveto
+362 352 362 343 361 334 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 468 334 moveto
-464 324 lineto
-461 334 lineto
+newpath 365 334 moveto
+361 324 lineto
+358 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 468 334 moveto
-464 324 lineto
-461 334 lineto
+newpath 365 334 moveto
+361 324 lineto
+358 334 lineto
closepath
stroke
end grestore
% getter
gsave 10 dict begin
-301 298 42 25 ellipse_path
+198 298 42 25 ellipse_path
stroke
gsave 10 dict begin
-273 290 moveto
+170 290 moveto
(getter)
[12 10.56 6.72 6.72 10.56 7.92]
xshow
end grestore
% cic_proof_checking -> getter
-newpath 423 362 moveto
-398 349 367 332 342 320 curveto
+newpath 320 362 moveto
+295 349 264 332 239 320 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 343 317 moveto
-333 315 lineto
-340 323 lineto
+newpath 240 317 moveto
+230 315 lineto
+237 323 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 343 317 moveto
-333 315 lineto
-340 323 lineto
+newpath 240 317 moveto
+230 315 lineto
+237 323 lineto
closepath
stroke
end grestore
% getter -> urimanager
-newpath 332 280 moveto
-354 268 384 250 409 237 curveto
+newpath 229 280 moveto
+251 268 281 250 306 237 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 411 240 moveto
-418 232 lineto
-408 234 lineto
+newpath 308 240 moveto
+315 232 lineto
+305 234 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 411 240 moveto
-418 232 lineto
-408 234 lineto
+newpath 308 240 moveto
+315 232 lineto
+305 234 lineto
closepath
stroke
end grestore
% registry
gsave 10 dict begin
-186 210 52 25 ellipse_path
+83 210 52 25 ellipse_path
stroke
gsave 10 dict begin
-148 202 moveto
+45 202 moveto
(registry)
[7.92 10.56 12 6.72 9.36 6.72 7.92 12]
xshow
end grestore
% getter -> registry
-newpath 275 278 moveto
-260 266 240 251 222 238 curveto
+newpath 172 278 moveto
+157 266 137 251 119 238 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 224 235 moveto
-214 232 lineto
-220 241 lineto
+newpath 121 235 moveto
+111 232 lineto
+117 241 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 224 235 moveto
-214 232 lineto
-220 241 lineto
+newpath 121 235 moveto
+111 232 lineto
+117 241 lineto
closepath
stroke
end grestore
% metadata
gsave 10 dict begin
-186 386 58 25 ellipse_path
+83 386 58 25 ellipse_path
stroke
gsave 10 dict begin
-142 378 moveto
+39 378 moveto
(metadata)
[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
xshow
end grestore
% metadata -> cic
-newpath 230 369 moveto
-238 366 246 363 254 360 curveto
-313 340 382 319 424 308 curveto
+newpath 127 369 moveto
+135 366 143 363 151 360 curveto
+210 340 279 319 321 308 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 425 311 moveto
-434 305 lineto
-423 305 lineto
+newpath 322 311 moveto
+331 305 lineto
+320 305 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 425 311 moveto
-434 305 lineto
-423 305 lineto
+newpath 322 311 moveto
+331 305 lineto
+320 305 lineto
closepath
stroke
end grestore
% metadata -> getter
-newpath 215 364 moveto
-230 352 250 337 267 324 curveto
+newpath 112 364 moveto
+127 352 147 337 164 324 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 269 327 moveto
-275 318 lineto
-265 321 lineto
+newpath 166 327 moveto
+172 318 lineto
+162 321 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 269 327 moveto
-275 318 lineto
-265 321 lineto
+newpath 166 327 moveto
+172 318 lineto
+162 321 lineto
closepath
stroke
end grestore
% hmysql
gsave 10 dict begin
-186 298 50 25 ellipse_path
+83 298 50 25 ellipse_path
stroke
gsave 10 dict begin
-150 290 moveto
+47 290 moveto
(hmysql)
[12 18.72 12 9.36 12 6.72]
xshow
end grestore
% metadata -> hmysql
-newpath 186 360 moveto
-186 352 186 343 186 334 curveto
+newpath 83 360 moveto
+83 352 83 343 83 334 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 190 334 moveto
-186 324 lineto
-183 334 lineto
+newpath 87 334 moveto
+83 324 lineto
+80 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 190 334 moveto
-186 324 lineto
-183 334 lineto
+newpath 87 334 moveto
+83 324 lineto
+80 334 lineto
closepath
stroke
end grestore
% whelp -> metadata
-newpath 251 536 moveto
-250 512 245 476 233 448 curveto
-228 437 222 427 215 418 curveto
+newpath 165 548 moveto
+164 522 161 480 145 448 curveto
+139 436 129 425 119 415 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 218 416 moveto
-209 410 lineto
-212 420 lineto
+newpath 122 413 moveto
+112 408 lineto
+117 418 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 218 416 moveto
-209 410 lineto
-212 420 lineto
+newpath 122 413 moveto
+112 408 lineto
+117 418 lineto
closepath
stroke
end grestore
% extlib
gsave 10 dict begin
-312 34 42 25 ellipse_path
+209 34 42 25 ellipse_path
stroke
gsave 10 dict begin
-284 26 moveto
+181 26 moveto
(extlib)
[10.56 12 6.72 6.72 6.72 12]
xshow
% hgdome
gsave 10 dict begin
-312 210 54 25 ellipse_path
+209 210 54 25 ellipse_path
stroke
gsave 10 dict begin
-272 202 moveto
+169 202 moveto
(hgdome)
[12 12 12 12 18.72 10.56]
xshow
end grestore
% hgdome -> xml
-newpath 312 184 moveto
-312 176 312 167 312 158 curveto
+newpath 209 184 moveto
+209 176 209 167 209 158 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 316 158 moveto
-312 148 lineto
-309 158 lineto
+newpath 213 158 moveto
+209 148 lineto
+206 158 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 316 158 moveto
-312 148 lineto
-309 158 lineto
+newpath 213 158 moveto
+209 148 lineto
+206 158 lineto
closepath
stroke
end grestore
% hmysql -> registry
-newpath 186 272 moveto
-186 264 186 255 186 246 curveto
+newpath 83 272 moveto
+83 264 83 255 83 246 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 190 246 moveto
-186 236 lineto
-183 246 lineto
+newpath 87 246 moveto
+83 236 lineto
+80 246 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 190 246 moveto
-186 236 lineto
-183 246 lineto
+newpath 87 246 moveto
+83 236 lineto
+80 246 lineto
closepath
stroke
end grestore
% registry -> xml
-newpath 216 189 moveto
-235 176 260 159 279 145 curveto
+newpath 113 189 moveto
+132 176 157 159 176 145 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 281 148 moveto
-287 139 lineto
-277 142 lineto
+newpath 178 148 moveto
+184 139 lineto
+174 142 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 281 148 moveto
-287 139 lineto
-277 142 lineto
+newpath 178 148 moveto
+184 139 lineto
+174 142 lineto
closepath
stroke
end grestore
% xml -> extlib
-newpath 312 96 moveto
-312 88 312 79 312 70 curveto
+newpath 209 96 moveto
+209 88 209 79 209 70 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 316 70 moveto
-312 60 lineto
-309 70 lineto
+newpath 213 70 moveto
+209 60 lineto
+206 70 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 316 70 moveto
-312 60 lineto
-309 70 lineto
+newpath 213 70 moveto
+209 60 lineto
+206 70 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 224 492 moveto
-0 492 lineto
-0 456 lineto
-224 456 lineto
+newpath 136 512 moveto
+0 512 lineto
+0 448 lineto
+136 448 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 224 492 moveto
-0 492 lineto
-0 456 lineto
-224 456 lineto
+newpath 136 512 moveto
+0 512 lineto
+0 448 lineto
+136 448 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-8 466 moveto
-(DependencyAnalyzer)
-[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12 17.28 12 10.56 6.72 12 10.56 10.56 7.92]
+8 486 moveto
+(Dependency)
+[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
+xshow
+24 458 moveto
+(Analyzer)
+[17.28 12 10.56 6.72 12 10.56 10.56 7.92]
xshow
end grestore
end grestore
% DependencyAnalyzer -> metadata
-newpath 127 456 moveto
-136 445 148 431 159 418 curveto
+newpath 73 448 moveto
+74 439 76 430 77 422 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 162 420 moveto
-166 410 lineto
-157 415 lineto
+newpath 80 422 moveto
+79 412 lineto
+74 421 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 162 420 moveto
-166 410 lineto
-157 415 lineto
+newpath 80 422 moveto
+79 412 lineto
+74 421 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 339 404 moveto
-263 404 lineto
-263 368 lineto
-339 368 lineto
+newpath 236 404 moveto
+160 404 lineto
+160 368 lineto
+236 368 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 339 404 moveto
-263 404 lineto
-263 368 lineto
-339 368 lineto
+newpath 236 404 moveto
+160 404 lineto
+160 368 lineto
+236 368 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-271 378 moveto
+168 378 moveto
(Getter)
[17.28 10.56 6.72 6.72 10.56 7.92]
xshow
end grestore
% Getter -> getter
-newpath 301 368 moveto
-301 358 301 346 301 334 curveto
+newpath 198 368 moveto
+198 358 198 346 198 334 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 305 334 moveto
-301 324 lineto
-298 334 lineto
+newpath 202 334 moveto
+198 324 lineto
+195 334 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 305 334 moveto
-301 324 lineto
-298 334 lineto
+newpath 202 334 moveto
+198 324 lineto
+195 334 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 451 836 moveto
-373 836 lineto
-373 800 lineto
-451 800 lineto
+newpath 363 848 moveto
+285 848 lineto
+285 812 lineto
+363 812 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 451 836 moveto
-373 836 lineto
-373 800 lineto
-451 800 lineto
+newpath 363 848 moveto
+285 848 lineto
+285 812 lineto
+363 812 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-380 810 moveto
+292 822 moveto
(Matita)
[21.36 10.56 6.72 6.72 6.72 10.56]
xshow
end grestore
% Matita -> cic_disambiguation
-newpath 414 800 moveto
-416 773 420 721 423 686 curveto
+newpath 326 812 moveto
+328 785 332 733 335 698 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 426 686 moveto
-424 676 lineto
-420 686 lineto
+newpath 338 698 moveto
+336 688 lineto
+332 698 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 426 686 moveto
-424 676 lineto
-420 686 lineto
+newpath 338 698 moveto
+336 688 lineto
+332 698 lineto
closepath
stroke
end grestore
% Matita -> grafite
-newpath 451 811 moveto
-496 802 571 785 633 764 curveto
-637 762 641 761 644 759 curveto
+newpath 363 823 moveto
+408 814 483 797 545 776 curveto
+549 774 553 773 556 771 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 646 762 moveto
-654 755 lineto
-643 755 lineto
+newpath 558 774 moveto
+566 767 lineto
+555 767 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 646 762 moveto
-654 755 lineto
-643 755 lineto
+newpath 558 774 moveto
+566 767 lineto
+555 767 lineto
closepath
stroke
end grestore
% Matita -> paramodulation
-newpath 382 800 moveto
-366 790 345 777 327 766 curveto
+newpath 294 812 moveto
+278 802 257 789 239 778 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 328 763 moveto
-318 761 lineto
-325 769 lineto
+newpath 240 775 moveto
+230 773 lineto
+237 781 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 328 763 moveto
-318 761 lineto
-325 769 lineto
+newpath 240 775 moveto
+230 773 lineto
+237 781 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 440 492 moveto
-290 492 lineto
-290 456 lineto
-440 456 lineto
+newpath 337 512 moveto
+241 512 lineto
+241 448 lineto
+337 448 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 440 492 moveto
-290 492 lineto
-290 456 lineto
-440 456 lineto
+newpath 337 512 moveto
+241 512 lineto
+241 448 lineto
+337 448 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-298 466 moveto
-(ProofChecker)
-[13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
+262 486 moveto
+(Proof)
+[13.44 7.92 12 12 7.92]
+xshow
+249 458 moveto
+(Checker)
+[16.08 12 10.56 10.56 12 10.56 7.92]
xshow
end grestore
end grestore
% ProofChecker -> cic_proof_checking
-newpath 386 456 moveto
-400 445 416 430 431 417 curveto
+newpath 315 448 moveto
+323 439 331 429 339 419 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 433 420 moveto
-439 411 lineto
-429 414 lineto
+newpath 342 421 moveto
+345 411 lineto
+336 417 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 433 420 moveto
-439 411 lineto
-429 414 lineto
+newpath 342 421 moveto
+345 411 lineto
+336 417 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 624 756 moveto
-538 756 lineto
-538 720 lineto
-624 720 lineto
+newpath 536 768 moveto
+450 768 lineto
+450 732 lineto
+536 732 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 624 756 moveto
-538 756 lineto
-538 720 lineto
-624 720 lineto
+newpath 536 768 moveto
+450 768 lineto
+450 732 lineto
+536 732 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-545 730 moveto
+457 742 moveto
(Uwobo)
[17.28 17.28 12 12 12]
xshow
end grestore
% Uwobo -> content_pres
-newpath 591 720 moveto
-597 710 605 696 612 684 curveto
+newpath 503 732 moveto
+509 722 517 708 524 696 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 615 685 moveto
-617 675 lineto
-609 682 lineto
+newpath 527 697 moveto
+529 687 lineto
+521 694 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 615 685 moveto
-617 675 lineto
-609 682 lineto
+newpath 527 697 moveto
+529 687 lineto
+521 694 lineto
closepath
stroke
end grestore
filled
0.584 0.220 0.933 nodecolor
0.584 0.220 0.933 nodecolor
-newpath 520 756 moveto
-440 756 lineto
-440 720 lineto
-520 720 lineto
+newpath 432 768 moveto
+352 768 lineto
+352 732 lineto
+432 732 lineto
closepath
fill
0.584 0.220 0.933 nodecolor
-newpath 520 756 moveto
-440 756 lineto
-440 720 lineto
-520 720 lineto
+newpath 432 768 moveto
+352 768 lineto
+352 732 lineto
+432 732 lineto
closepath
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
-447 730 moveto
+359 742 moveto
(Whelp)
[22.56 12 10.56 6.72 12]
xshow
end grestore
% Whelp -> cic_disambiguation
-newpath 469 720 moveto
-463 710 454 696 447 684 curveto
+newpath 381 732 moveto
+375 722 366 708 359 696 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 450 682 moveto
-442 675 lineto
-444 685 lineto
+newpath 362 694 moveto
+354 687 lineto
+356 697 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 450 682 moveto
-442 675 lineto
-444 685 lineto
+newpath 362 694 moveto
+354 687 lineto
+356 697 lineto
closepath
stroke
end grestore
% Whelp -> content_pres
-newpath 511 720 moveto
-532 708 560 691 584 677 curveto
+newpath 423 732 moveto
+444 720 472 703 496 689 curveto
stroke
gsave 10 dict begin
solid
1 setlinewidth
0.000 0.000 0.000 edgecolor
-newpath 586 680 moveto
-593 672 lineto
-583 674 lineto
+newpath 498 692 moveto
+505 684 lineto
+495 686 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
-newpath 586 680 moveto
-593 672 lineto
-583 674 lineto
+newpath 498 692 moveto
+505 684 lineto
+495 686 lineto
closepath
stroke
end grestore