X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2FlibrariesCluster.ps;h=94b0666878cc431f2a05c84c04632e55f448921f;hb=68d1ed47eccf833b912dd18e89e2c50ab677001e;hp=99821b753934b697ceb2b4ec120468bb365d38bc;hpb=1c550c714e92590060c782824183909ff3eced69;p=helm.git

diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps
index 99821b753..94b066687 100644
--- a/helm/papers/matita/librariesCluster.ps
+++ b/helm/papers/matita/librariesCluster.ps
@@ -1,9 +1,9 @@
 %!PS-Adobe-2.0
 %%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
-%%For: (zacchiro) Stefano Zacchiroli,,,
+%%For: (sacerdot) Claudio Sacerdoti Coen,,,
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 35 35 1160 973
+%%BoundingBox: 35 35 1108 1263
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1160 973
+%%PageBoundingBox: 36 36 1108 1263
 %%PageOrientation: Portrait
 gsave
-35 35 1125 938 boxprim clip newpath
+35 35 1073 1228 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
 0 0 translate 0 rotate
@@ -244,22 +244,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 686 488 moveto
-1115 488 lineto
-1115 856 lineto
-686 856 lineto
+newpath 634 778 moveto
+1063 778 lineto
+1063 1162 lineto
+634 1162 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 686 488 moveto
-1115 488 lineto
-1115 856 lineto
-686 856 lineto
+newpath 634 778 moveto
+1063 778 lineto
+1063 1162 lineto
+634 1162 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-694 498 moveto
+642 788 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
@@ -270,22 +270,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 198 612 moveto
-448 612 lineto
-448 892 lineto
-198 892 lineto
+newpath 68 814 moveto
+454 814 lineto
+454 1094 lineto
+68 1094 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 198 612 moveto
-448 612 lineto
-448 892 lineto
-198 892 lineto
+newpath 68 814 moveto
+454 814 lineto
+454 1094 lineto
+68 1094 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-206 866 moveto
+76 1068 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
@@ -296,22 +296,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 304 208 moveto
-678 208 lineto
-678 592 lineto
-304 592 lineto
+newpath 289 296 moveto
+551 296 lineto
+551 770 lineto
+289 770 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 304 208 moveto
-678 208 lineto
-678 592 lineto
-304 592 lineto
+newpath 289 296 moveto
+551 296 lineto
+551 770 lineto
+289 770 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-311 218 moveto
+296 306 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
@@ -322,22 +322,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 686 16 moveto
-974 16 lineto
-974 400 lineto
-686 400 lineto
+newpath 559 16 moveto
+957 16 lineto
+957 400 lineto
+559 400 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 686 16 moveto
-974 16 lineto
-974 400 lineto
-686 400 lineto
+newpath 559 16 moveto
+957 16 lineto
+957 400 lineto
+559 400 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-888 26 moveto
+871 26 moveto
 (Utilities)
 [17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
 xshow
@@ -346,10 +346,10 @@ end grestore
 
 %	acic_content
 gsave 10 dict begin
-804 646 75 25 ellipse_path
+752 848 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-743 638 moveto
+691 840 moveto
 (acic_content)
 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 xshow
@@ -358,10 +358,10 @@ end grestore
 
 %	cic_acic
 gsave 10 dict begin
-777 558 54 25 ellipse_path
+352 636 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-737 550 moveto
+312 628 moveto
 (cic_acic)
 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 xshow
@@ -369,66 +369,36 @@ end grestore
 end grestore
 
 %	acic_content -> cic_acic
-newpath 796 621 moveto
-793 612 790 602 788 593 curveto
+newpath 717 825 moveto
+691 809 653 789 617 778 curveto
+592 769 579 786 557 770 curveto
+532 750 552 725 528 704 curveto
+490 668 465 687 416 668 curveto
+410 665 404 663 398 660 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 791 592 moveto
-785 583 lineto
-785 594 lineto
+newpath 399 657 moveto
+389 655 lineto
+396 663 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 791 592 moveto
-785 583 lineto
-785 594 lineto
-closepath
-stroke
-end grestore
-
-%	cic_proof_checking
-gsave 10 dict begin
-559 454 110 25 ellipse_path
-stroke
-gsave 10 dict begin
-463 446 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
-end grestore
-
-%	cic_acic -> cic_proof_checking
-newpath 752 535 moveto
-734 520 708 500 682 488 curveto
-672 483 661 479 650 475 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 651 472 moveto
-640 472 lineto
-649 478 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 651 472 moveto
-640 472 lineto
-649 478 lineto
+newpath 399 657 moveto
+389 655 lineto
+396 663 lineto
 closepath
 stroke
 end grestore
 
 %	cic_disambiguation
 gsave 10 dict begin
-804 734 109 25 ellipse_path
+752 936 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-709 726 moveto
+657 928 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
@@ -436,32 +406,32 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> acic_content
-newpath 804 708 moveto
-804 700 804 691 804 682 curveto
+newpath 752 910 moveto
+752 902 752 893 752 884 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 808 682 moveto
-804 672 lineto
-801 682 lineto
+newpath 756 884 moveto
+752 874 lineto
+749 884 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 808 682 moveto
-804 672 lineto
-801 682 lineto
+newpath 756 884 moveto
+752 874 lineto
+749 884 lineto
 closepath
 stroke
 end grestore
 
 %	cic_unification
 gsave 10 dict begin
-353 646 86 25 ellipse_path
+359 848 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-281 638 moveto
+287 840 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
@@ -469,32 +439,32 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> cic_unification
-newpath 720 718 moveto
-638 702 517 678 436 662 curveto
+newpath 672 918 moveto
+604 903 507 881 439 865 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 436 659 moveto
-426 660 lineto
-435 665 lineto
+newpath 439 862 moveto
+429 863 lineto
+438 868 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 436 659 moveto
-426 660 lineto
-435 665 lineto
+newpath 439 862 moveto
+429 863 lineto
+438 868 lineto
 closepath
 stroke
 end grestore
 
 %	whelp
 gsave 10 dict begin
-371 558 44 25 ellipse_path
+474 736 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-341 550 moveto
+444 728 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
@@ -502,32 +472,32 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> whelp
-newpath 749 712 moveto
-663 676 498 609 417 577 curveto
+newpath 718 912 moveto
+666 874 565 801 510 762 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 419 574 moveto
-408 573 lineto
-416 580 lineto
+newpath 512 759 moveto
+502 756 lineto
+508 765 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 419 574 moveto
-408 573 lineto
-416 580 lineto
+newpath 512 759 moveto
+502 756 lineto
+508 765 lineto
 closepath
 stroke
 end grestore
 
 %	content_pres
 gsave 10 dict begin
-1009 734 76 25 ellipse_path
+957 936 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-947 726 moveto
+895 928 moveto
 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
@@ -535,32 +505,32 @@ end grestore
 end grestore
 
 %	content_pres -> acic_content
-newpath 962 714 moveto
-931 701 892 684 860 670 curveto
+newpath 910 916 moveto
+879 903 840 886 808 872 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 862 667 moveto
-851 666 lineto
-859 673 lineto
+newpath 810 869 moveto
+799 868 lineto
+807 875 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 862 667 moveto
-851 666 lineto
-859 673 lineto
+newpath 810 869 moveto
+799 868 lineto
+807 875 lineto
 closepath
 stroke
 end grestore
 
 %	utf8_macros
 gsave 10 dict begin
-890 366 75 25 ellipse_path
+873 366 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-829 358 moveto
+812 358 moveto
 (utf8_macros)
 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
 xshow
@@ -568,87 +538,191 @@ end grestore
 end grestore
 
 %	content_pres -> utf8_macros
-newpath 1001 708 moveto
-980 644 925 475 901 401 curveto
+newpath 949 911 moveto
+937 873 917 799 917 736 curveto
+917 736 917 736 917 542 curveto
+917 492 900 436 888 401 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 904 400 moveto
-898 391 lineto
-898 402 lineto
+newpath 891 399 moveto
+884 391 lineto
+884 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 904 400 moveto
-898 391 lineto
-898 402 lineto
+newpath 891 399 moveto
+884 391 lineto
+884 402 lineto
+closepath
+stroke
+end grestore
+
+%	grafite_parser
+gsave 10 dict begin
+724 1128 81 25 ellipse_path
+stroke
+gsave 10 dict begin
+657 1120 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
+end grestore
+end grestore
+
+%	sheath
+gsave 10 dict begin
+752 1024 45 25 ellipse_path
+stroke
+gsave 10 dict begin
+721 1016 moveto
+(sheath)
+[9.36 12 10.56 10.56 6.72 12]
+xshow
+end grestore
+end grestore
+
+%	grafite_parser -> sheath
+newpath 731 1103 moveto
+734 1090 739 1074 743 1059 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 746 1059 moveto
+745 1049 lineto
+740 1058 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 746 1059 moveto
+745 1049 lineto
+740 1058 lineto
 closepath
 stroke
 end grestore
 
 %	grafite
 gsave 10 dict begin
-876 822 46 25 ellipse_path
+161 936 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-844 814 moveto
+129 928 moveto
 (grafite)
 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
 end grestore
 end grestore
 
-%	grafite -> content_pres
-newpath 906 802 moveto
-923 791 946 776 966 763 curveto
+%	grafite_parser -> grafite
+newpath 670 1108 moveto
+661 1106 651 1103 642 1102 curveto
+625 1098 498 1104 484 1094 curveto
+449 1066 489 1027 455 998 curveto
+389 938 345 981 258 962 curveto
+243 959 227 955 213 951 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 214 948 moveto
+203 948 lineto
+212 954 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 214 948 moveto
+203 948 lineto
+212 954 lineto
+closepath
+stroke
+end grestore
+
+%	sheath -> cic_disambiguation
+newpath 752 998 moveto
+752 990 752 981 752 972 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 756 972 moveto
+752 962 lineto
+749 972 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 756 972 moveto
+752 962 lineto
+749 972 lineto
+closepath
+stroke
+end grestore
+
+%	sheath -> content_pres
+newpath 789 1008 moveto
+820 995 865 976 901 960 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 968 766 moveto
-974 757 lineto
-964 760 lineto
+newpath 902 963 moveto
+910 956 lineto
+899 957 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 968 766 moveto
-974 757 lineto
-964 760 lineto
+newpath 902 963 moveto
+910 956 lineto
+899 957 lineto
 closepath
 stroke
 end grestore
 
-%	cic_unification -> cic_proof_checking
-newpath 386 622 moveto
-399 613 413 602 425 592 curveto
-464 558 504 516 530 486 curveto
+%	library
+gsave 10 dict begin
+359 736 46 25 ellipse_path
+stroke
+gsave 10 dict begin
+327 728 moveto
+(library)
+[6.72 6.72 12 7.92 10.56 7.92 12]
+xshow
+end grestore
+end grestore
+
+%	cic_unification -> library
+newpath 359 822 moveto
+359 807 359 788 359 772 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 532 489 moveto
-537 479 lineto
-527 484 lineto
+newpath 363 772 moveto
+359 762 lineto
+356 772 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 532 489 moveto
-537 479 lineto
-527 484 lineto
+newpath 363 772 moveto
+359 762 lineto
+356 772 lineto
 closepath
 stroke
 end grestore
 
 %	tactics
 gsave 10 dict begin
-347 734 45 25 ellipse_path
+313 936 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-316 726 moveto
+282 928 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -656,56 +730,56 @@ end grestore
 end grestore
 
 %	tactics -> cic_unification
-newpath 349 708 moveto
-350 700 350 691 351 682 curveto
+newpath 326 911 moveto
+331 902 336 892 340 882 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 355 682 moveto
-351 672 lineto
-348 682 lineto
+newpath 343 883 moveto
+345 873 lineto
+337 880 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 355 682 moveto
-351 672 lineto
-348 682 lineto
+newpath 343 883 moveto
+345 873 lineto
+337 880 lineto
 closepath
 stroke
 end grestore
 
 %	tactics -> whelp
-newpath 310 719 moveto
-291 708 268 693 257 672 curveto
-245 648 241 633 257 612 curveto
-277 586 298 606 326 592 curveto
-330 590 334 588 337 585 curveto
+newpath 289 914 moveto
+279 903 268 889 263 874 curveto
+249 833 234 808 263 778 curveto
+275 765 399 774 415 770 curveto
+423 768 430 764 437 761 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 339 588 moveto
-346 580 lineto
-336 582 lineto
+newpath 439 764 moveto
+446 756 lineto
+436 758 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 339 588 moveto
-346 580 lineto
-336 582 lineto
+newpath 439 764 moveto
+446 756 lineto
+436 758 lineto
 closepath
 stroke
 end grestore
 
 %	paramodulation
 gsave 10 dict begin
-347 822 90 25 ellipse_path
+355 1024 90 25 ellipse_path
 stroke
 gsave 10 dict begin
-271 814 moveto
+279 1016 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
@@ -713,44 +787,123 @@ end grestore
 end grestore
 
 %	paramodulation -> tactics
-newpath 347 796 moveto
-347 788 347 779 347 770 curveto
+newpath 343 999 moveto
+338 990 333 980 329 970 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 351 770 moveto
-347 760 lineto
-344 770 lineto
+newpath 332 969 moveto
+325 961 lineto
+326 972 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 351 770 moveto
-347 760 lineto
-344 770 lineto
+newpath 332 969 moveto
+325 961 lineto
+326 972 lineto
 closepath
 stroke
 end grestore
 
 %	cic
 gsave 10 dict begin
-466 366 28 25 ellipse_path
+408 454 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-452 358 moveto
+394 446 moveto
 (cic)
 [10.56 6.72 10.56]
 xshow
 end grestore
 end grestore
 
+%	grafite -> cic
+newpath 160 910 moveto
+158 872 155 798 155 736 curveto
+155 736 155 736 155 636 curveto
+155 556 219 554 288 516 curveto
+327 495 343 502 379 480 curveto
+379 480 380 480 380 479 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 382 482 moveto
+388 473 lineto
+378 476 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 382 482 moveto
+388 473 lineto
+378 476 lineto
+closepath
+stroke
+end grestore
+
+%	grafite_engine
+gsave 10 dict begin
+161 1024 84 25 ellipse_path
+stroke
+gsave 10 dict begin
+91 1016 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
+end grestore
+end grestore
+
+%	grafite_engine -> tactics
+newpath 200 1001 moveto
+222 989 249 973 272 960 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 274 963 moveto
+281 955 lineto
+271 957 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 274 963 moveto
+281 955 lineto
+271 957 lineto
+closepath
+stroke
+end grestore
+
+%	grafite_engine -> grafite
+newpath 161 998 moveto
+161 990 161 981 161 972 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 165 972 moveto
+161 962 lineto
+158 972 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 165 972 moveto
+161 962 lineto
+158 972 lineto
+closepath
+stroke
+end grestore
+
 %	urimanager
 gsave 10 dict begin
-561 278 70 25 ellipse_path
+424 366 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-505 270 moveto
+368 358 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -758,32 +911,32 @@ end grestore
 end grestore
 
 %	cic -> urimanager
-newpath 486 347 moveto
-498 336 514 322 528 309 curveto
+newpath 413 429 moveto
+414 420 416 411 417 402 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 530 312 moveto
-535 302 lineto
-525 307 lineto
+newpath 420 402 moveto
+419 392 lineto
+414 401 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 530 312 moveto
-535 302 lineto
-525 307 lineto
+newpath 420 402 moveto
+419 392 lineto
+414 401 lineto
 closepath
 stroke
 end grestore
 
 %	xml
 gsave 10 dict begin
-747 174 33 25 ellipse_path
+622 174 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-728 166 moveto
+603 166 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -791,54 +944,67 @@ end grestore
 end grestore
 
 %	cic -> xml
-newpath 460 341 moveto
-453 306 447 243 481 208 curveto
-496 192 631 181 703 177 curveto
+newpath 383 440 moveto
+369 431 352 417 344 400 curveto
+325 358 319 334 344 296 curveto
+396 216 514 188 578 178 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 703 180 moveto
-713 176 lineto
-703 174 lineto
+newpath 578 181 moveto
+588 177 lineto
+578 175 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 703 180 moveto
-713 176 lineto
-703 174 lineto
+newpath 578 181 moveto
+588 177 lineto
+578 175 lineto
 closepath
 stroke
 end grestore
 
+%	cic_proof_checking
+gsave 10 dict begin
+408 542 110 25 ellipse_path
+stroke
+gsave 10 dict begin
+312 534 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
+end grestore
+
 %	cic_proof_checking -> cic
-newpath 533 429 moveto
-521 417 506 404 494 392 curveto
+newpath 408 516 moveto
+408 508 408 499 408 490 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 496 389 moveto
-486 385 lineto
-491 394 lineto
+newpath 412 490 moveto
+408 480 lineto
+405 490 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 496 389 moveto
-486 385 lineto
-491 394 lineto
+newpath 412 490 moveto
+408 480 lineto
+405 490 lineto
 closepath
 stroke
 end grestore
 
 %	getter
 gsave 10 dict begin
-559 366 42 25 ellipse_path
+500 454 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-531 358 moveto
+472 446 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -846,53 +1012,53 @@ end grestore
 end grestore
 
 %	cic_proof_checking -> getter
-newpath 559 428 moveto
-559 420 559 411 559 402 curveto
+newpath 418 516 moveto
+430 501 446 487 460 477 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 563 402 moveto
-559 392 lineto
-556 402 lineto
+newpath 462 480 moveto
+469 472 lineto
+459 474 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 563 402 moveto
-559 392 lineto
-556 402 lineto
+newpath 462 480 moveto
+469 472 lineto
+459 474 lineto
 closepath
 stroke
 end grestore
 
 %	getter -> urimanager
-newpath 560 340 moveto
-560 332 560 323 560 314 curveto
+newpath 480 431 moveto
+472 421 461 409 452 398 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 564 314 moveto
-560 304 lineto
-557 314 lineto
+newpath 455 396 moveto
+445 391 lineto
+450 401 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 564 314 moveto
-560 304 lineto
-557 314 lineto
+newpath 455 396 moveto
+445 391 lineto
+450 401 lineto
 closepath
 stroke
 end grestore
 
 %	registry
 gsave 10 dict begin
-747 278 52 25 ellipse_path
+748 262 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-709 270 moveto
+710 254 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -900,87 +1066,102 @@ end grestore
 end grestore
 
 %	getter -> registry
-newpath 593 350 moveto
-623 336 667 316 700 300 curveto
+newpath 501 428 moveto
+505 392 517 327 558 296 curveto
+570 287 673 291 686 288 curveto
+691 287 696 285 700 284 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 701 303 moveto
-709 296 lineto
-698 297 lineto
+newpath 702 287 moveto
+710 280 lineto
+699 280 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 701 303 moveto
-709 296 lineto
-698 297 lineto
+newpath 702 287 moveto
+710 280 lineto
+699 280 lineto
 closepath
 stroke
 end grestore
 
-%	metadata
+%	logger
 gsave 10 dict begin
-371 454 58 25 ellipse_path
+613 366 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-327 446 moveto
-(metadata)
-[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
+582 358 moveto
+(logger)
+[6.72 12 12 12 10.56 7.92]
 xshow
 end grestore
 end grestore
 
-%	metadata -> cic
-newpath 396 431 moveto
-409 419 425 404 438 392 curveto
+%	getter -> logger
+newpath 526 434 moveto
+541 422 561 406 578 393 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 441 394 moveto
-446 385 lineto
-436 389 lineto
+newpath 580 396 moveto
+586 387 lineto
+576 390 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 441 394 moveto
-446 385 lineto
-436 389 lineto
+newpath 580 396 moveto
+586 387 lineto
+576 390 lineto
 closepath
 stroke
 end grestore
 
-%	metadata -> getter
-newpath 415 437 moveto
-447 424 488 408 504 400 curveto
-510 397 516 394 521 390 curveto
+%	metadata
+gsave 10 dict begin
+484 636 58 25 ellipse_path
+stroke
+gsave 10 dict begin
+440 628 moveto
+(metadata)
+[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
+xshow
+end grestore
+end grestore
+
+%	metadata -> cic
+newpath 505 612 moveto
+525 586 548 546 528 516 curveto
+507 483 483 498 448 480 curveto
+445 478 443 477 440 475 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 523 393 moveto
-530 385 lineto
-520 387 lineto
+newpath 441 472 moveto
+431 469 lineto
+437 477 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 523 393 moveto
-530 385 lineto
-520 387 lineto
+newpath 441 472 moveto
+431 469 lineto
+437 477 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql
 gsave 10 dict begin
-745 366 50 25 ellipse_path
+728 366 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-709 358 moveto
+692 358 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -988,55 +1169,117 @@ end grestore
 end grestore
 
 %	metadata -> hmysql
-newpath 413 436 moveto
-421 433 430 430 439 428 curveto
-545 402 579 432 682 400 curveto
-690 398 697 394 704 391 curveto
+newpath 539 626 moveto
+600 616 638 623 686 568 curveto
+727 521 731 446 730 402 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 706 394 moveto
-713 386 lineto
-703 388 lineto
+newpath 734 402 moveto
+730 392 lineto
+727 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 706 394 moveto
-713 386 lineto
-703 388 lineto
+newpath 734 402 moveto
+730 392 lineto
+727 402 lineto
 closepath
 stroke
 end grestore
 
 %	whelp -> metadata
-newpath 371 532 moveto
-371 519 371 504 371 490 curveto
+newpath 477 711 moveto
+479 699 480 685 481 672 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 375 490 moveto
-371 480 lineto
-368 490 lineto
+newpath 484 672 moveto
+482 662 lineto
+478 672 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 375 490 moveto
-371 480 lineto
-368 490 lineto
+newpath 484 672 moveto
+482 662 lineto
+478 672 lineto
+closepath
+stroke
+end grestore
+
+%	library -> metadata
+newpath 386 715 moveto
+404 700 428 680 448 664 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 450 667 moveto
+456 658 lineto
+446 661 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 450 667 moveto
+456 658 lineto
+446 661 lineto
+closepath
+stroke
+end grestore
+
+%	library -> cic_acic
+newpath 357 711 moveto
+356 699 355 685 355 672 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 358 672 moveto
+354 662 lineto
+352 672 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 358 672 moveto
+354 662 lineto
+352 672 lineto
+closepath
+stroke
+end grestore
+
+%	cic_acic -> cic_proof_checking
+newpath 367 611 moveto
+373 600 381 587 388 576 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 391 577 moveto
+393 567 lineto
+385 574 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 391 577 moveto
+393 567 lineto
+385 574 lineto
 closepath
 stroke
 end grestore
 
 %	extlib
 gsave 10 dict begin
-747 86 42 25 ellipse_path
+622 86 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-719 78 moveto
+594 78 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -1045,10 +1288,10 @@ end grestore
 
 %	hgdome
 gsave 10 dict begin
-873 278 54 25 ellipse_path
+622 262 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-833 270 moveto
+582 254 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -1056,136 +1299,137 @@ end grestore
 end grestore
 
 %	hgdome -> xml
-newpath 855 254 moveto
-843 239 826 221 809 208 curveto
-802 202 793 197 785 192 curveto
+newpath 622 236 moveto
+622 228 622 219 622 210 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 786 189 moveto
-776 187 lineto
-783 195 lineto
+newpath 626 210 moveto
+622 200 lineto
+619 210 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 786 189 moveto
-776 187 lineto
-783 195 lineto
+newpath 626 210 moveto
+622 200 lineto
+619 210 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql -> registry
-newpath 746 340 moveto
-746 332 746 323 746 314 curveto
+newpath 733 341 moveto
+735 328 738 312 741 298 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 750 314 moveto
-746 304 lineto
-743 314 lineto
+newpath 744 298 moveto
+743 288 lineto
+738 297 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 750 314 moveto
-746 304 lineto
-743 314 lineto
+newpath 744 298 moveto
+743 288 lineto
+738 297 lineto
 closepath
 stroke
 end grestore
 
 %	registry -> xml
-newpath 747 252 moveto
-747 239 747 224 747 210 curveto
+newpath 718 241 moveto
+699 228 674 211 655 197 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 751 210 moveto
-747 200 lineto
-744 210 lineto
+newpath 657 194 moveto
+647 191 lineto
+653 200 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 751 210 moveto
-747 200 lineto
-744 210 lineto
+newpath 657 194 moveto
+647 191 lineto
+653 200 lineto
 closepath
 stroke
 end grestore
 
 %	xml -> extlib
-newpath 747 148 moveto
-747 140 747 131 747 122 curveto
+newpath 622 148 moveto
+622 140 622 131 622 122 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 751 122 moveto
-747 112 lineto
-744 122 lineto
+newpath 626 122 moveto
+622 112 lineto
+619 122 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 751 122 moveto
-747 112 lineto
-744 122 lineto
+newpath 626 122 moveto
+622 112 lineto
+619 122 lineto
 closepath
 stroke
 end grestore
 
-%	DrawGraph
+%	DependencyAnalyzer
 gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 128 576 moveto
-0 576 lineto
-0 540 lineto
-128 540 lineto
+newpath 711 768 moveto
+575 768 lineto
+575 704 lineto
+711 704 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 128 576 moveto
-0 576 lineto
-0 540 lineto
-128 540 lineto
+newpath 711 768 moveto
+575 768 lineto
+575 704 lineto
+711 704 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-7 550 moveto
-(DrawGraph)
-[17.28 7.92 10.56 17.28 17.28 7.92 10.56 12 12]
+583 742 moveto
+(Dependency)
+[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
+xshow
+599 714 moveto
+(Analyzer)
+[17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
 end grestore
 end grestore
 
-%	DrawGraph -> metadata
-newpath 77 540 moveto
-90 523 112 498 137 488 curveto
-173 472 275 488 312 480 curveto
-316 479 319 478 323 477 curveto
+%	DependencyAnalyzer -> metadata
+newpath 592 704 moveto
+570 691 546 675 526 662 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 324 480 moveto
-332 473 lineto
-321 474 lineto
+newpath 527 659 moveto
+517 657 lineto
+524 665 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 324 480 moveto
-332 473 lineto
-321 474 lineto
+newpath 527 659 moveto
+517 657 lineto
+524 665 lineto
 closepath
 stroke
 end grestore
@@ -1195,22 +1439,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 294 472 moveto
-218 472 lineto
-218 436 lineto
-294 436 lineto
+newpath 635 560 moveto
+559 560 lineto
+559 524 lineto
+635 524 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 294 472 moveto
-218 472 lineto
-218 436 lineto
-294 436 lineto
+newpath 635 560 moveto
+559 560 lineto
+559 524 lineto
+635 524 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-226 446 moveto
+567 534 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1218,24 +1462,22 @@ end grestore
 end grestore
 
 %	Getter -> getter
-newpath 283 436 moveto
-288 433 294 430 300 428 curveto
-387 397 418 430 504 400 curveto
-511 397 517 394 523 391 curveto
+newpath 577 524 moveto
+563 512 546 496 532 483 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 525 394 moveto
-532 386 lineto
-522 388 lineto
+newpath 534 480 moveto
+524 476 lineto
+529 485 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 525 394 moveto
-532 386 lineto
-522 388 lineto
+newpath 534 480 moveto
+524 476 lineto
+529 485 lineto
 closepath
 stroke
 end grestore
@@ -1245,22 +1487,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 603 936 moveto
-525 936 lineto
-525 900 lineto
-603 900 lineto
+newpath 394 1226 moveto
+316 1226 lineto
+316 1190 lineto
+394 1190 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 603 936 moveto
-525 936 lineto
-525 900 lineto
-603 900 lineto
+newpath 394 1226 moveto
+316 1226 lineto
+316 1190 lineto
+394 1190 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-532 910 moveto
+323 1200 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
@@ -1268,67 +1510,113 @@ end grestore
 end grestore
 
 %	Matita -> cic_disambiguation
-newpath 561 900 moveto
-559 873 558 825 583 796 curveto
-588 790 659 771 719 756 curveto
+newpath 372 1190 moveto
+393 1167 429 1129 458 1094 curveto
+493 1052 487 1028 531 998 curveto
+565 975 607 961 646 951 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 720 759 moveto
-729 753 lineto
-718 753 lineto
+newpath 647 954 moveto
+656 949 lineto
+646 948 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 720 759 moveto
-729 753 lineto
-718 753 lineto
+newpath 647 954 moveto
+656 949 lineto
+646 948 lineto
 closepath
 stroke
 end grestore
 
-%	Matita -> grafite
-newpath 603 916 moveto
-672 912 810 903 829 892 curveto
-843 883 854 870 861 856 curveto
+%	Matita -> grafite_parser
+newpath 394 1205 moveto
+450 1199 556 1186 642 1162 curveto
+651 1160 660 1156 669 1153 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 864 857 moveto
-866 847 lineto
-858 854 lineto
+newpath 670 1156 moveto
+678 1149 lineto
+667 1150 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 864 857 moveto
-866 847 lineto
-858 854 lineto
+newpath 670 1156 moveto
+678 1149 lineto
+667 1150 lineto
 closepath
 stroke
 end grestore
 
 %	Matita -> paramodulation
-newpath 525 916 moveto
-468 912 369 903 357 892 curveto
-348 883 345 870 344 858 curveto
+newpath 355 1190 moveto
+355 1160 355 1099 355 1060 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 359 1060 moveto
+355 1050 lineto
+352 1060 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 359 1060 moveto
+355 1050 lineto
+352 1060 lineto
+closepath
+stroke
+end grestore
+
+%	Matita -> grafite_engine
+newpath 336 1190 moveto
+303 1158 236 1094 194 1056 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 348 858 moveto
-344 848 lineto
-341 858 lineto
+newpath 197 1054 moveto
+187 1049 lineto
+192 1059 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 348 858 moveto
-344 848 lineto
-341 858 lineto
+newpath 197 1054 moveto
+187 1049 lineto
+192 1059 lineto
+closepath
+stroke
+end grestore
+
+%	Matita -> hgdome
+newpath 316 1204 moveto
+253 1196 129 1171 64 1094 curveto
+44 1069 48 1055 48 1024 curveto
+48 1024 48 1024 48 454 curveto
+48 327 166 338 285 296 curveto
+334 278 473 269 557 265 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 557 268 moveto
+567 264 lineto
+557 262 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 557 268 moveto
+567 264 lineto
+557 262 lineto
 closepath
 stroke
 end grestore
@@ -1338,47 +1626,50 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 296 576 moveto
-146 576 lineto
-146 540 lineto
-296 540 lineto
+newpath 279 668 moveto
+183 668 lineto
+183 604 lineto
+279 604 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 296 576 moveto
-146 576 lineto
-146 540 lineto
-296 540 lineto
+newpath 279 668 moveto
+183 668 lineto
+183 604 lineto
+279 604 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-154 550 moveto
-(ProofChecker)
-[13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
+204 642 moveto
+(Proof)
+[13.44 7.92 12 12 7.92]
+xshow
+191 614 moveto
+(Checker)
+[16.08 12 10.56 10.56 12 10.56 7.92]
 xshow
 end grestore
 end grestore
 
 %	ProofChecker -> cic_proof_checking
-newpath 235 540 moveto
-250 523 273 498 300 488 curveto
-329 476 409 484 439 480 curveto
-450 478 461 476 472 474 curveto
+newpath 279 607 moveto
+281 606 283 605 285 604 curveto
+306 592 330 580 351 569 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 473 477 moveto
-482 472 lineto
-472 471 lineto
+newpath 352 572 moveto
+360 565 lineto
+349 566 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 473 477 moveto
-482 472 lineto
-472 471 lineto
+newpath 352 572 moveto
+360 565 lineto
+349 566 lineto
 closepath
 stroke
 end grestore
@@ -1388,22 +1679,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 678 840 moveto
-592 840 lineto
-592 804 lineto
-678 804 lineto
+newpath 626 1042 moveto
+540 1042 lineto
+540 1006 lineto
+626 1006 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 678 840 moveto
-592 840 lineto
-592 804 lineto
-678 804 lineto
+newpath 626 1042 moveto
+540 1042 lineto
+540 1006 lineto
+626 1006 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-599 814 moveto
+547 1016 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
@@ -1411,24 +1702,24 @@ end grestore
 end grestore
 
 %	Uwobo -> content_pres
-newpath 664 804 moveto
-670 801 676 798 682 796 curveto
-785 761 818 783 923 760 curveto
-930 759 936 757 943 755 curveto
+newpath 612 1006 moveto
+618 1003 624 1000 630 998 curveto
+733 963 766 985 871 962 curveto
+878 961 884 959 891 957 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 944 758 moveto
-953 752 lineto
-942 752 lineto
+newpath 892 960 moveto
+901 954 lineto
+890 954 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 944 758 moveto
-953 752 lineto
-942 752 lineto
+newpath 892 960 moveto
+901 954 lineto
+890 954 lineto
 closepath
 stroke
 end grestore
@@ -1438,46 +1729,45 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 536 840 moveto
-456 840 lineto
-456 804 lineto
-536 804 lineto
+newpath 764 1226 moveto
+684 1226 lineto
+684 1190 lineto
+764 1190 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 536 840 moveto
-456 840 lineto
-456 804 lineto
-536 804 lineto
+newpath 764 1226 moveto
+684 1226 lineto
+684 1190 lineto
+764 1190 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-463 814 moveto
+691 1200 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
 end grestore
 end grestore
 
-%	Whelp -> cic_disambiguation
-newpath 530 804 moveto
-536 801 543 798 550 796 curveto
-601 777 660 763 708 752 curveto
+%	Whelp -> grafite_parser
+newpath 724 1190 moveto
+724 1182 724 1173 724 1164 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 709 755 moveto
-718 750 lineto
-708 749 lineto
+newpath 728 1164 moveto
+724 1154 lineto
+721 1164 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 709 755 moveto
-718 750 lineto
-708 749 lineto
+newpath 728 1164 moveto
+724 1154 lineto
+721 1164 lineto
 closepath
 stroke
 end grestore