X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2FlibrariesCluster.ps;h=c6ee3327127b837cbf03f271ff838e2cc763ebfd;hb=768514ae739c7b9a8c5a89a3684496912d1ced05;hp=94b0666878cc431f2a05c84c04632e55f448921f;hpb=39c621e194112d5695c39d070909a3ee957b387f;p=helm.git

diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps
index 94b066687..c6ee33271 100644
--- a/helm/papers/matita/librariesCluster.ps
+++ b/helm/papers/matita/librariesCluster.ps
@@ -3,7 +3,7 @@
 %%For: (sacerdot) Claudio Sacerdoti Coen,,,
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 35 35 1108 1263
+%%BoundingBox: 35 35 933 1263
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1108 1263
+%%PageBoundingBox: 36 36 933 1263
 %%PageOrientation: Portrait
 gsave
-35 35 1073 1228 boxprim clip newpath
+35 35 898 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 634 778 moveto
-1063 778 lineto
-1063 1162 lineto
-634 1162 lineto
+newpath 436 778 moveto
+865 778 lineto
+865 1162 lineto
+436 1162 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 634 778 moveto
-1063 778 lineto
-1063 1162 lineto
-634 1162 lineto
+newpath 436 778 moveto
+865 778 lineto
+865 1162 lineto
+436 1162 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-642 788 moveto
+444 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 68 814 moveto
-454 814 lineto
-454 1094 lineto
-68 1094 lineto
+newpath 84 814 moveto
+334 814 lineto
+334 1094 lineto
+84 1094 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 68 814 moveto
-454 814 lineto
-454 1094 lineto
-68 1094 lineto
+newpath 84 814 moveto
+334 814 lineto
+334 1094 lineto
+84 1094 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-76 1068 moveto
+92 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 289 296 moveto
-551 296 lineto
-551 770 lineto
-289 770 lineto
+newpath 220 296 moveto
+482 296 lineto
+482 770 lineto
+220 770 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 289 296 moveto
-551 296 lineto
-551 770 lineto
-289 770 lineto
+newpath 220 296 moveto
+482 296 lineto
+482 770 lineto
+220 770 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-296 306 moveto
+227 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 559 16 moveto
-957 16 lineto
-957 400 lineto
-559 400 lineto
+newpath 490 16 moveto
+888 16 lineto
+888 400 lineto
+490 400 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 559 16 moveto
-957 16 lineto
-957 400 lineto
-559 400 lineto
+newpath 490 16 moveto
+888 16 lineto
+888 400 lineto
+490 400 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-871 26 moveto
+802 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
-752 848 75 25 ellipse_path
+554 848 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-691 840 moveto
+493 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
-352 636 54 25 ellipse_path
+283 636 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-312 628 moveto
+243 628 moveto
 (cic_acic)
 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 xshow
@@ -369,36 +369,35 @@ end grestore
 end grestore
 
 %	acic_content -> cic_acic
-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
+newpath 530 824 moveto
+517 809 500 789 487 770 curveto
+470 742 482 725 458 704 curveto
+420 669 395 687 347 668 curveto
+341 665 335 663 329 660 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 399 657 moveto
-389 655 lineto
-396 663 lineto
+newpath 330 657 moveto
+320 655 lineto
+327 663 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 399 657 moveto
-389 655 lineto
-396 663 lineto
+newpath 330 657 moveto
+320 655 lineto
+327 663 lineto
 closepath
 stroke
 end grestore
 
 %	cic_disambiguation
 gsave 10 dict begin
-752 936 109 25 ellipse_path
+554 936 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-657 928 moveto
+459 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
@@ -406,32 +405,32 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> acic_content
-newpath 752 910 moveto
-752 902 752 893 752 884 curveto
+newpath 554 910 moveto
+554 902 554 893 554 884 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 756 884 moveto
-752 874 lineto
-749 884 lineto
+newpath 558 884 moveto
+554 874 lineto
+551 884 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 756 884 moveto
-752 874 lineto
-749 884 lineto
+newpath 558 884 moveto
+554 874 lineto
+551 884 lineto
 closepath
 stroke
 end grestore
 
 %	cic_unification
 gsave 10 dict begin
-359 848 86 25 ellipse_path
+239 848 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-287 840 moveto
+167 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
@@ -439,32 +438,32 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> cic_unification
-newpath 672 918 moveto
-604 903 507 881 439 865 curveto
+newpath 484 916 moveto
+433 902 364 883 312 869 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 439 862 moveto
-429 863 lineto
-438 868 lineto
+newpath 313 866 moveto
+302 866 lineto
+311 872 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 439 862 moveto
-429 863 lineto
-438 868 lineto
+newpath 313 866 moveto
+302 866 lineto
+311 872 lineto
 closepath
 stroke
 end grestore
 
 %	whelp
 gsave 10 dict begin
-474 736 44 25 ellipse_path
+404 736 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-444 728 moveto
+374 728 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
@@ -472,32 +471,33 @@ end grestore
 end grestore
 
 %	cic_disambiguation -> whelp
-newpath 718 912 moveto
-666 874 565 801 510 762 curveto
+newpath 513 912 moveto
+498 902 481 889 469 874 curveto
+444 843 426 801 415 771 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 512 759 moveto
-502 756 lineto
-508 765 lineto
+newpath 418 770 moveto
+412 761 lineto
+412 772 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 512 759 moveto
-502 756 lineto
-508 765 lineto
+newpath 418 770 moveto
+412 761 lineto
+412 772 lineto
 closepath
 stroke
 end grestore
 
 %	content_pres
 gsave 10 dict begin
-957 936 76 25 ellipse_path
+759 936 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-895 928 moveto
+697 928 moveto
 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
@@ -505,32 +505,32 @@ end grestore
 end grestore
 
 %	content_pres -> acic_content
-newpath 910 916 moveto
-879 903 840 886 808 872 curveto
+newpath 712 916 moveto
+681 903 642 886 610 872 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 810 869 moveto
-799 868 lineto
-807 875 lineto
+newpath 612 869 moveto
+601 868 lineto
+609 875 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 810 869 moveto
-799 868 lineto
-807 875 lineto
+newpath 612 869 moveto
+601 868 lineto
+609 875 lineto
 closepath
 stroke
 end grestore
 
 %	utf8_macros
 gsave 10 dict begin
-873 366 75 25 ellipse_path
+804 366 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-812 358 moveto
+743 358 moveto
 (utf8_macros)
 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
 xshow
@@ -538,79 +538,79 @@ end grestore
 end grestore
 
 %	content_pres -> utf8_macros
-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
+newpath 764 910 moveto
+770 872 781 799 781 736 curveto
+781 736 781 736 781 542 curveto
+781 493 790 437 797 401 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 891 399 moveto
-884 391 lineto
-884 402 lineto
+newpath 800 401 moveto
+799 391 lineto
+794 400 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 891 399 moveto
-884 391 lineto
-884 402 lineto
+newpath 800 401 moveto
+799 391 lineto
+794 400 lineto
 closepath
 stroke
 end grestore
 
 %	grafite_parser
 gsave 10 dict begin
-724 1128 81 25 ellipse_path
+526 1128 81 25 ellipse_path
 stroke
 gsave 10 dict begin
-657 1120 moveto
+459 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
+%	lexicon
 gsave 10 dict begin
-752 1024 45 25 ellipse_path
+554 1024 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-721 1016 moveto
-(sheath)
-[9.36 12 10.56 10.56 6.72 12]
+518 1016 moveto
+(lexicon)
+[6.72 10.56 12 6.72 10.56 12 12]
 xshow
 end grestore
 end grestore
 
-%	grafite_parser -> sheath
-newpath 731 1103 moveto
-734 1090 739 1074 743 1059 curveto
+%	grafite_parser -> lexicon
+newpath 533 1103 moveto
+536 1090 541 1074 545 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
+newpath 548 1059 moveto
+547 1049 lineto
+542 1058 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 746 1059 moveto
-745 1049 lineto
-740 1058 lineto
+newpath 548 1059 moveto
+547 1049 lineto
+542 1058 lineto
 closepath
 stroke
 end grestore
 
 %	grafite
 gsave 10 dict begin
-161 936 46 25 ellipse_path
+139 936 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-129 928 moveto
+107 928 moveto
 (grafite)
 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
@@ -618,78 +618,78 @@ end grestore
 end grestore
 
 %	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
+newpath 472 1108 moveto
+463 1106 453 1103 444 1102 curveto
+430 1099 324 1102 312 1094 curveto
+276 1066 309 1031 277 998 curveto
+250 968 231 980 195 962 curveto
+192 960 189 958 186 956 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
+newpath 188 953 moveto
+178 950 lineto
+184 959 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 214 948 moveto
-203 948 lineto
-212 954 lineto
+newpath 188 953 moveto
+178 950 lineto
+184 959 lineto
 closepath
 stroke
 end grestore
 
-%	sheath -> cic_disambiguation
-newpath 752 998 moveto
-752 990 752 981 752 972 curveto
+%	lexicon -> cic_disambiguation
+newpath 554 998 moveto
+554 990 554 981 554 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
+newpath 558 972 moveto
+554 962 lineto
+551 972 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 756 972 moveto
-752 962 lineto
-749 972 lineto
+newpath 558 972 moveto
+554 962 lineto
+551 972 lineto
 closepath
 stroke
 end grestore
 
-%	sheath -> content_pres
-newpath 789 1008 moveto
-820 995 865 976 901 960 curveto
+%	lexicon -> content_pres
+newpath 593 1007 moveto
+624 994 668 976 702 960 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 902 963 moveto
-910 956 lineto
-899 957 lineto
+newpath 704 963 moveto
+712 956 lineto
+701 956 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 902 963 moveto
-910 956 lineto
-899 957 lineto
+newpath 704 963 moveto
+712 956 lineto
+701 956 lineto
 closepath
 stroke
 end grestore
 
 %	library
 gsave 10 dict begin
-359 736 46 25 ellipse_path
+283 736 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-327 728 moveto
+251 728 moveto
 (library)
 [6.72 6.72 12 7.92 10.56 7.92 12]
 xshow
@@ -697,32 +697,32 @@ end grestore
 end grestore
 
 %	cic_unification -> library
-newpath 359 822 moveto
-359 807 359 788 359 772 curveto
+newpath 249 823 moveto
+255 808 263 788 269 771 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 363 772 moveto
-359 762 lineto
-356 772 lineto
+newpath 273 772 moveto
+273 761 lineto
+266 769 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 363 772 moveto
-359 762 lineto
-356 772 lineto
+newpath 273 772 moveto
+273 761 lineto
+266 769 lineto
 closepath
 stroke
 end grestore
 
 %	tactics
 gsave 10 dict begin
-313 936 45 25 ellipse_path
+250 936 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-282 928 moveto
+219 928 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -730,89 +730,56 @@ end grestore
 end grestore
 
 %	tactics -> cic_unification
-newpath 326 911 moveto
-331 902 336 892 340 882 curveto
+newpath 247 911 moveto
+246 902 245 893 244 884 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 343 883 moveto
-345 873 lineto
-337 880 lineto
+newpath 247 883 moveto
+242 874 lineto
+241 884 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 343 883 moveto
-345 873 lineto
-337 880 lineto
+newpath 247 883 moveto
+242 874 lineto
+241 884 lineto
 closepath
 stroke
 end grestore
 
 %	tactics -> whelp
-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
+newpath 216 918 moveto
+187 903 147 881 143 874 curveto
+122 837 114 808 143 778 curveto
+159 762 318 775 339 770 curveto
+348 768 357 764 365 760 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 439 764 moveto
-446 756 lineto
-436 758 lineto
+newpath 367 763 moveto
+374 755 lineto
+364 757 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 439 764 moveto
-446 756 lineto
-436 758 lineto
-closepath
-stroke
-end grestore
-
-%	paramodulation
-gsave 10 dict begin
-355 1024 90 25 ellipse_path
-stroke
-gsave 10 dict begin
-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
-end grestore
-end grestore
-
-%	paramodulation -> tactics
-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 332 969 moveto
-325 961 lineto
-326 972 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 332 969 moveto
-325 961 lineto
-326 972 lineto
+newpath 367 763 moveto
+374 755 lineto
+364 757 lineto
 closepath
 stroke
 end grestore
 
 %	cic
 gsave 10 dict begin
-408 454 28 25 ellipse_path
+339 454 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-394 446 moveto
+325 446 moveto
 (cic)
 [10.56 6.72 10.56]
 xshow
@@ -820,36 +787,36 @@ 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
+newpath 128 911 moveto
+112 874 86 800 86 736 curveto
+86 736 86 736 86 636 curveto
+86 556 150 554 219 516 curveto
+258 495 274 502 310 480 curveto
+310 480 311 480 311 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
+newpath 313 482 moveto
+319 473 lineto
+309 476 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 382 482 moveto
-388 473 lineto
-378 476 lineto
+newpath 313 482 moveto
+319 473 lineto
+309 476 lineto
 closepath
 stroke
 end grestore
 
 %	grafite_engine
 gsave 10 dict begin
-161 1024 84 25 ellipse_path
+183 1024 84 25 ellipse_path
 stroke
 gsave 10 dict begin
-91 1016 moveto
+113 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
@@ -857,53 +824,53 @@ end grestore
 end grestore
 
 %	grafite_engine -> tactics
-newpath 200 1001 moveto
-222 989 249 973 272 960 curveto
+newpath 193 998 moveto
+200 986 210 975 219 965 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
+newpath 221 968 moveto
+226 958 lineto
+216 963 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 274 963 moveto
-281 955 lineto
-271 957 lineto
+newpath 221 968 moveto
+226 958 lineto
+216 963 lineto
 closepath
 stroke
 end grestore
 
 %	grafite_engine -> grafite
-newpath 161 998 moveto
-161 990 161 981 161 972 curveto
+newpath 170 999 moveto
+165 990 160 980 156 970 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
+newpath 159 968 moveto
+151 961 lineto
+153 971 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 165 972 moveto
-161 962 lineto
-158 972 lineto
+newpath 159 968 moveto
+151 961 lineto
+153 971 lineto
 closepath
 stroke
 end grestore
 
 %	urimanager
 gsave 10 dict begin
-424 366 70 25 ellipse_path
+355 366 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-368 358 moveto
+299 358 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -911,32 +878,32 @@ end grestore
 end grestore
 
 %	cic -> urimanager
-newpath 413 429 moveto
-414 420 416 411 417 402 curveto
+newpath 344 429 moveto
+345 420 347 411 348 402 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 420 402 moveto
-419 392 lineto
-414 401 lineto
+newpath 351 402 moveto
+350 392 lineto
+345 401 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 420 402 moveto
-419 392 lineto
-414 401 lineto
+newpath 351 402 moveto
+350 392 lineto
+345 401 lineto
 closepath
 stroke
 end grestore
 
 %	xml
 gsave 10 dict begin
-622 174 33 25 ellipse_path
+553 174 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-603 166 moveto
+534 166 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -944,34 +911,34 @@ end grestore
 end grestore
 
 %	cic -> xml
-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
+newpath 314 440 moveto
+300 431 283 417 275 400 curveto
+256 358 250 334 275 296 curveto
+327 216 445 188 509 178 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 578 181 moveto
-588 177 lineto
-578 175 lineto
+newpath 509 181 moveto
+519 177 lineto
+509 175 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 578 181 moveto
-588 177 lineto
-578 175 lineto
+newpath 509 181 moveto
+519 177 lineto
+509 175 lineto
 closepath
 stroke
 end grestore
 
 %	cic_proof_checking
 gsave 10 dict begin
-408 542 110 25 ellipse_path
+339 542 110 25 ellipse_path
 stroke
 gsave 10 dict begin
-312 534 moveto
+243 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
@@ -979,32 +946,32 @@ end grestore
 end grestore
 
 %	cic_proof_checking -> cic
-newpath 408 516 moveto
-408 508 408 499 408 490 curveto
+newpath 339 516 moveto
+339 508 339 499 339 490 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 412 490 moveto
-408 480 lineto
-405 490 lineto
+newpath 343 490 moveto
+339 480 lineto
+336 490 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 412 490 moveto
-408 480 lineto
-405 490 lineto
+newpath 343 490 moveto
+339 480 lineto
+336 490 lineto
 closepath
 stroke
 end grestore
 
 %	getter
 gsave 10 dict begin
-500 454 42 25 ellipse_path
+431 454 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-472 446 moveto
+403 446 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1012,53 +979,53 @@ end grestore
 end grestore
 
 %	cic_proof_checking -> getter
-newpath 418 516 moveto
-430 501 446 487 460 477 curveto
+newpath 349 516 moveto
+361 501 377 487 391 477 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 462 480 moveto
-469 472 lineto
-459 474 lineto
+newpath 393 480 moveto
+400 472 lineto
+390 474 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 462 480 moveto
-469 472 lineto
-459 474 lineto
+newpath 393 480 moveto
+400 472 lineto
+390 474 lineto
 closepath
 stroke
 end grestore
 
 %	getter -> urimanager
-newpath 480 431 moveto
-472 421 461 409 452 398 curveto
+newpath 411 431 moveto
+403 421 392 409 383 398 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 455 396 moveto
-445 391 lineto
-450 401 lineto
+newpath 386 396 moveto
+376 391 lineto
+381 401 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 455 396 moveto
-445 391 lineto
-450 401 lineto
+newpath 386 396 moveto
+376 391 lineto
+381 401 lineto
 closepath
 stroke
 end grestore
 
 %	registry
 gsave 10 dict begin
-748 262 52 25 ellipse_path
+679 262 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-710 254 moveto
+641 254 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -1066,34 +1033,34 @@ end grestore
 end grestore
 
 %	getter -> registry
-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
+newpath 432 428 moveto
+436 392 448 327 489 296 curveto
+501 287 604 291 617 288 curveto
+622 287 627 285 631 284 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 702 287 moveto
-710 280 lineto
-699 280 lineto
+newpath 633 287 moveto
+641 280 lineto
+630 280 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 702 287 moveto
-710 280 lineto
-699 280 lineto
+newpath 633 287 moveto
+641 280 lineto
+630 280 lineto
 closepath
 stroke
 end grestore
 
 %	logger
 gsave 10 dict begin
-613 366 45 25 ellipse_path
+544 366 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-582 358 moveto
+513 358 moveto
 (logger)
 [6.72 12 12 12 10.56 7.92]
 xshow
@@ -1101,32 +1068,32 @@ end grestore
 end grestore
 
 %	getter -> logger
-newpath 526 434 moveto
-541 422 561 406 578 393 curveto
+newpath 457 434 moveto
+472 422 492 406 509 393 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 580 396 moveto
-586 387 lineto
-576 390 lineto
+newpath 511 396 moveto
+517 387 lineto
+507 390 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 580 396 moveto
-586 387 lineto
-576 390 lineto
+newpath 511 396 moveto
+517 387 lineto
+507 390 lineto
 closepath
 stroke
 end grestore
 
 %	metadata
 gsave 10 dict begin
-484 636 58 25 ellipse_path
+415 636 58 25 ellipse_path
 stroke
 gsave 10 dict begin
-440 628 moveto
+371 628 moveto
 (metadata)
 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 xshow
@@ -1134,34 +1101,34 @@ 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
+newpath 436 612 moveto
+456 586 479 546 459 516 curveto
+438 483 414 498 379 480 curveto
+376 478 374 477 371 475 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 441 472 moveto
-431 469 lineto
-437 477 lineto
+newpath 372 472 moveto
+362 469 lineto
+368 477 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 441 472 moveto
-431 469 lineto
-437 477 lineto
+newpath 372 472 moveto
+362 469 lineto
+368 477 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql
 gsave 10 dict begin
-728 366 50 25 ellipse_path
+659 366 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-692 358 moveto
+623 358 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -1169,117 +1136,117 @@ end grestore
 end grestore
 
 %	metadata -> hmysql
-newpath 539 626 moveto
-600 616 638 623 686 568 curveto
-727 521 731 446 730 402 curveto
+newpath 470 626 moveto
+531 616 569 623 617 568 curveto
+658 521 662 446 661 402 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 734 402 moveto
-730 392 lineto
-727 402 lineto
+newpath 665 402 moveto
+661 392 lineto
+658 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 734 402 moveto
-730 392 lineto
-727 402 lineto
+newpath 665 402 moveto
+661 392 lineto
+658 402 lineto
 closepath
 stroke
 end grestore
 
 %	whelp -> metadata
-newpath 477 711 moveto
-479 699 480 685 481 672 curveto
+newpath 407 711 moveto
+409 699 410 685 411 672 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 484 672 moveto
-482 662 lineto
-478 672 lineto
+newpath 414 672 moveto
+412 662 lineto
+408 672 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 484 672 moveto
-482 662 lineto
-478 672 lineto
+newpath 414 672 moveto
+412 662 lineto
+408 672 lineto
 closepath
 stroke
 end grestore
 
 %	library -> metadata
-newpath 386 715 moveto
-404 700 428 680 448 664 curveto
+newpath 311 715 moveto
+330 701 356 681 377 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
+newpath 379 667 moveto
+385 658 lineto
+375 661 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 450 667 moveto
-456 658 lineto
-446 661 lineto
+newpath 379 667 moveto
+385 658 lineto
+375 661 lineto
 closepath
 stroke
 end grestore
 
 %	library -> cic_acic
-newpath 357 711 moveto
-356 699 355 685 355 672 curveto
+newpath 283 710 moveto
+283 698 283 685 283 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
+newpath 287 672 moveto
+283 662 lineto
+280 672 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 358 672 moveto
-354 662 lineto
-352 672 lineto
+newpath 287 672 moveto
+283 662 lineto
+280 672 lineto
 closepath
 stroke
 end grestore
 
 %	cic_acic -> cic_proof_checking
-newpath 367 611 moveto
-373 600 381 587 388 576 curveto
+newpath 298 611 moveto
+304 600 312 587 319 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
+newpath 322 577 moveto
+324 567 lineto
+316 574 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 391 577 moveto
-393 567 lineto
-385 574 lineto
+newpath 322 577 moveto
+324 567 lineto
+316 574 lineto
 closepath
 stroke
 end grestore
 
 %	extlib
 gsave 10 dict begin
-622 86 42 25 ellipse_path
+553 86 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-594 78 moveto
+525 78 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -1288,10 +1255,10 @@ end grestore
 
 %	hgdome
 gsave 10 dict begin
-622 262 54 25 ellipse_path
+553 262 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-582 254 moveto
+513 254 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -1299,85 +1266,85 @@ end grestore
 end grestore
 
 %	hgdome -> xml
-newpath 622 236 moveto
-622 228 622 219 622 210 curveto
+newpath 553 236 moveto
+553 228 553 219 553 210 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 626 210 moveto
-622 200 lineto
-619 210 lineto
+newpath 557 210 moveto
+553 200 lineto
+550 210 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 626 210 moveto
-622 200 lineto
-619 210 lineto
+newpath 557 210 moveto
+553 200 lineto
+550 210 lineto
 closepath
 stroke
 end grestore
 
 %	hmysql -> registry
-newpath 733 341 moveto
-735 328 738 312 741 298 curveto
+newpath 664 341 moveto
+666 328 669 312 672 298 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 744 298 moveto
-743 288 lineto
-738 297 lineto
+newpath 675 298 moveto
+674 288 lineto
+669 297 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 744 298 moveto
-743 288 lineto
-738 297 lineto
+newpath 675 298 moveto
+674 288 lineto
+669 297 lineto
 closepath
 stroke
 end grestore
 
 %	registry -> xml
-newpath 718 241 moveto
-699 228 674 211 655 197 curveto
+newpath 649 241 moveto
+630 228 605 211 586 197 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 657 194 moveto
-647 191 lineto
-653 200 lineto
+newpath 588 194 moveto
+578 191 lineto
+584 200 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 657 194 moveto
-647 191 lineto
-653 200 lineto
+newpath 588 194 moveto
+578 191 lineto
+584 200 lineto
 closepath
 stroke
 end grestore
 
 %	xml -> extlib
-newpath 622 148 moveto
-622 140 622 131 622 122 curveto
+newpath 553 148 moveto
+553 140 553 131 553 122 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 626 122 moveto
-622 112 lineto
-619 122 lineto
+newpath 557 122 moveto
+553 112 lineto
+550 122 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 626 122 moveto
-622 112 lineto
-619 122 lineto
+newpath 557 122 moveto
+553 112 lineto
+550 122 lineto
 closepath
 stroke
 end grestore
@@ -1387,26 +1354,26 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 711 768 moveto
-575 768 lineto
-575 704 lineto
-711 704 lineto
+newpath 641 768 moveto
+505 768 lineto
+505 704 lineto
+641 704 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 711 768 moveto
-575 768 lineto
-575 704 lineto
-711 704 lineto
+newpath 641 768 moveto
+505 768 lineto
+505 704 lineto
+641 704 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-583 742 moveto
+513 742 moveto
 (Dependency)
 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
 xshow
-599 714 moveto
+529 714 moveto
 (Analyzer)
 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
@@ -1414,22 +1381,22 @@ end grestore
 end grestore
 
 %	DependencyAnalyzer -> metadata
-newpath 592 704 moveto
-570 691 546 675 526 662 curveto
+newpath 522 704 moveto
+501 691 477 675 457 662 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 527 659 moveto
-517 657 lineto
-524 665 lineto
+newpath 458 659 moveto
+448 657 lineto
+455 665 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 527 659 moveto
-517 657 lineto
-524 665 lineto
+newpath 458 659 moveto
+448 657 lineto
+455 665 lineto
 closepath
 stroke
 end grestore
@@ -1439,22 +1406,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 635 560 moveto
-559 560 lineto
-559 524 lineto
-635 524 lineto
+newpath 566 560 moveto
+490 560 lineto
+490 524 lineto
+566 524 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 635 560 moveto
-559 560 lineto
-559 524 lineto
-635 524 lineto
+newpath 566 560 moveto
+490 560 lineto
+490 524 lineto
+566 524 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-567 534 moveto
+498 534 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1462,22 +1429,22 @@ end grestore
 end grestore
 
 %	Getter -> getter
-newpath 577 524 moveto
-563 512 546 496 532 483 curveto
+newpath 508 524 moveto
+494 512 477 496 463 483 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 534 480 moveto
-524 476 lineto
-529 485 lineto
+newpath 465 480 moveto
+455 476 lineto
+460 485 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 534 480 moveto
-524 476 lineto
-529 485 lineto
+newpath 465 480 moveto
+455 476 lineto
+460 485 lineto
 closepath
 stroke
 end grestore
@@ -1487,136 +1454,91 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 394 1226 moveto
-316 1226 lineto
-316 1190 lineto
-394 1190 lineto
+newpath 222 1226 moveto
+144 1226 lineto
+144 1190 lineto
+222 1190 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 394 1226 moveto
-316 1226 lineto
-316 1190 lineto
-394 1190 lineto
+newpath 222 1226 moveto
+144 1226 lineto
+144 1190 lineto
+222 1190 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-323 1200 moveto
+151 1200 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
 end grestore
 end grestore
 
-%	Matita -> cic_disambiguation
-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 647 954 moveto
-656 949 lineto
-646 948 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 647 954 moveto
-656 949 lineto
-646 948 lineto
-closepath
-stroke
-end grestore
-
 %	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 670 1156 moveto
-678 1149 lineto
-667 1150 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 670 1156 moveto
-678 1149 lineto
-667 1150 lineto
-closepath
-stroke
-end grestore
-
-%	Matita -> paramodulation
-newpath 355 1190 moveto
-355 1160 355 1099 355 1060 curveto
+newpath 222 1204 moveto
+274 1197 367 1184 444 1162 curveto
+453 1159 461 1156 470 1153 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
+newpath 471 1156 moveto
+479 1149 lineto
+468 1150 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 359 1060 moveto
-355 1050 lineto
-352 1060 lineto
+newpath 471 1156 moveto
+479 1149 lineto
+468 1150 lineto
 closepath
 stroke
 end grestore
 
 %	Matita -> grafite_engine
-newpath 336 1190 moveto
-303 1158 236 1094 194 1056 curveto
+newpath 183 1190 moveto
+183 1160 183 1099 183 1060 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 197 1054 moveto
-187 1049 lineto
-192 1059 lineto
+newpath 187 1060 moveto
+183 1050 lineto
+180 1060 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 197 1054 moveto
-187 1049 lineto
-192 1059 lineto
+newpath 187 1060 moveto
+183 1050 lineto
+180 1060 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
+newpath 157 1190 moveto
+118 1160 48 1097 48 1024 curveto
 48 1024 48 1024 48 454 curveto
-48 327 166 338 285 296 curveto
-334 278 473 269 557 265 curveto
+48 351 123 338 216 296 curveto
+263 274 404 267 488 263 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
+newpath 488 267 moveto
+498 263 lineto
+488 260 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 557 268 moveto
-567 264 lineto
-557 262 lineto
+newpath 488 267 moveto
+498 263 lineto
+488 260 lineto
 closepath
 stroke
 end grestore
@@ -1626,26 +1548,26 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 279 668 moveto
-183 668 lineto
-183 604 lineto
-279 604 lineto
+newpath 210 668 moveto
+114 668 lineto
+114 604 lineto
+210 604 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 279 668 moveto
-183 668 lineto
-183 604 lineto
-279 604 lineto
+newpath 210 668 moveto
+114 668 lineto
+114 604 lineto
+210 604 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-204 642 moveto
+135 642 moveto
 (Proof)
 [13.44 7.92 12 12 7.92]
 xshow
-191 614 moveto
+122 614 moveto
 (Checker)
 [16.08 12 10.56 10.56 12 10.56 7.92]
 xshow
@@ -1653,23 +1575,23 @@ end grestore
 end grestore
 
 %	ProofChecker -> cic_proof_checking
-newpath 279 607 moveto
-281 606 283 605 285 604 curveto
-306 592 330 580 351 569 curveto
+newpath 210 607 moveto
+212 606 214 605 216 604 curveto
+237 592 261 580 282 569 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 352 572 moveto
-360 565 lineto
-349 566 lineto
+newpath 283 572 moveto
+291 565 lineto
+280 566 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 352 572 moveto
-360 565 lineto
-349 566 lineto
+newpath 283 572 moveto
+291 565 lineto
+280 566 lineto
 closepath
 stroke
 end grestore
@@ -1679,22 +1601,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 626 1042 moveto
-540 1042 lineto
-540 1006 lineto
-626 1006 lineto
+newpath 428 1042 moveto
+342 1042 lineto
+342 1006 lineto
+428 1006 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 626 1042 moveto
-540 1042 lineto
-540 1006 lineto
-626 1006 lineto
+newpath 428 1042 moveto
+342 1042 lineto
+342 1006 lineto
+428 1006 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-547 1016 moveto
+349 1016 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
@@ -1702,24 +1624,24 @@ end grestore
 end grestore
 
 %	Uwobo -> content_pres
-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
+newpath 414 1006 moveto
+420 1003 426 1000 432 998 curveto
+535 963 568 985 673 962 curveto
+680 961 686 959 693 957 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 892 960 moveto
-901 954 lineto
-890 954 lineto
+newpath 694 960 moveto
+703 954 lineto
+692 954 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 892 960 moveto
-901 954 lineto
-890 954 lineto
+newpath 694 960 moveto
+703 954 lineto
+692 954 lineto
 closepath
 stroke
 end grestore
@@ -1729,22 +1651,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 764 1226 moveto
-684 1226 lineto
-684 1190 lineto
-764 1190 lineto
+newpath 566 1226 moveto
+486 1226 lineto
+486 1190 lineto
+566 1190 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 764 1226 moveto
-684 1226 lineto
-684 1190 lineto
-764 1190 lineto
+newpath 566 1226 moveto
+486 1226 lineto
+486 1190 lineto
+566 1190 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-691 1200 moveto
+493 1200 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
@@ -1752,22 +1674,22 @@ end grestore
 end grestore
 
 %	Whelp -> grafite_parser
-newpath 724 1190 moveto
-724 1182 724 1173 724 1164 curveto
+newpath 526 1190 moveto
+526 1182 526 1173 526 1164 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 728 1164 moveto
-724 1154 lineto
-721 1164 lineto
+newpath 530 1164 moveto
+526 1154 lineto
+523 1164 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 728 1164 moveto
-724 1154 lineto
-721 1164 lineto
+newpath 530 1164 moveto
+526 1154 lineto
+523 1164 lineto
 closepath
 stroke
 end grestore