added generation of KLOCs in dot diagrams

[helm.git] / helm / papers / matita / librariesCluster.ps

diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps
index 27ef6164fc24e0b4af124a3036d43e0a362ca971..c6ee3327127b837cbf03f271ff838e2cc763ebfd 100644 (file)
--- 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 1256 973
+%%BoundingBox: 35 35 933 1263
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1256 973
+%%PageBoundingBox: 36 36 933 1263
 %%PageOrientation: Portrait
 gsave
-35 35 1221 938 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 782 488 moveto
-1211 488 lineto
-1211 856 lineto
-782 856 lineto
+newpath 436 778 moveto
+865 778 lineto
+865 1162 lineto
+436 1162 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 782 488 moveto
-1211 488 lineto
-1211 856 lineto
-782 856 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
-790 498 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 294 612 moveto
-544 612 lineto
-544 892 lineto
-294 892 lineto
+newpath 84 814 moveto
+334 814 lineto
+334 1094 lineto
+84 1094 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 294 612 moveto
-544 612 lineto
-544 892 lineto
-294 892 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
-302 866 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 400 208 moveto
-774 208 lineto
-774 592 lineto
-400 592 lineto
+newpath 220 296 moveto
+482 296 lineto
+482 770 lineto
+220 770 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 400 208 moveto
-774 208 lineto
-774 592 lineto
-400 592 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
-407 218 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 782 16 moveto
-1070 16 lineto
-1070 400 lineto
-782 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 782 16 moveto
-1070 16 lineto
-1070 400 lineto
-782 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
-984 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
-900 646 75 25 ellipse_path
+554 848 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-839 638 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
-873 558 54 25 ellipse_path
+283 636 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-833 550 moveto
+243 628 moveto
 (cic_acic)
 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 xshow
@@ -369,66 +369,35 @@ end grestore
 end grestore
 
 %      acic_content -> cic_acic
-newpath 892 621 moveto
-889 612 886 602 884 593 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 887 592 moveto
-881 583 lineto
-881 594 lineto
+newpath 330 657 moveto
+320 655 lineto
+327 663 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 887 592 moveto
-881 583 lineto
-881 594 lineto
-closepath
-stroke
-end grestore
-
-%      cic_proof_checking
-gsave 10 dict begin
-655 454 110 25 ellipse_path
-stroke
-gsave 10 dict begin
-559 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 848 535 moveto
-830 520 804 500 778 488 curveto
-768 483 757 479 746 475 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 747 472 moveto
-736 472 lineto
-745 478 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 747 472 moveto
-736 472 lineto
-745 478 lineto
+newpath 330 657 moveto
+320 655 lineto
+327 663 lineto
 closepath
 stroke
 end grestore
 
 %      cic_disambiguation
 gsave 10 dict begin
-900 734 109 25 ellipse_path
+554 936 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-805 726 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
@@ -436,32 +405,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> acic_content
-newpath 900 708 moveto
-900 700 900 691 900 682 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 904 682 moveto
-900 672 lineto
-897 682 lineto
+newpath 558 884 moveto
+554 874 lineto
+551 884 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 904 682 moveto
-900 672 lineto
-897 682 lineto
+newpath 558 884 moveto
+554 874 lineto
+551 884 lineto
 closepath
 stroke
 end grestore
 
 %      cic_unification
 gsave 10 dict begin
-449 646 86 25 ellipse_path
+239 848 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-377 638 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
@@ -469,32 +438,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> cic_unification
-newpath 816 718 moveto
-734 702 613 678 532 662 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 532 659 moveto
-522 660 lineto
-531 665 lineto
+newpath 313 866 moveto
+302 866 lineto
+311 872 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 532 659 moveto
-522 660 lineto
-531 665 lineto
+newpath 313 866 moveto
+302 866 lineto
+311 872 lineto
 closepath
 stroke
 end grestore
 
 %      whelp
 gsave 10 dict begin
-467 558 44 25 ellipse_path
+404 736 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-437 550 moveto
+374 728 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
@@ -502,32 +471,33 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> whelp
-newpath 845 712 moveto
-759 676 594 609 513 577 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 515 574 moveto
-504 573 lineto
-512 580 lineto
+newpath 418 770 moveto
+412 761 lineto
+412 772 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 515 574 moveto
-504 573 lineto
-512 580 lineto
+newpath 418 770 moveto
+412 761 lineto
+412 772 lineto
 closepath
 stroke
 end grestore
 
 %      content_pres
 gsave 10 dict begin
-1105 734 76 25 ellipse_path
+759 936 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-1043 726 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
@@ -535,32 +505,32 @@ end grestore
 end grestore
 
 %      content_pres -> acic_content
-newpath 1058 714 moveto
-1027 701 988 684 956 670 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 958 667 moveto
-947 666 lineto
-955 673 lineto
+newpath 612 869 moveto
+601 868 lineto
+609 875 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 958 667 moveto
-947 666 lineto
-955 673 lineto
+newpath 612 869 moveto
+601 868 lineto
+609 875 lineto
 closepath
 stroke
 end grestore
 
 %      utf8_macros
 gsave 10 dict begin
-986 366 75 25 ellipse_path
+804 366 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-925 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
@@ -568,87 +538,191 @@ end grestore
 end grestore
 
 %      content_pres -> utf8_macros
-newpath 1097 708 moveto
-1076 644 1021 475 997 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 1000 400 moveto
-994 391 lineto
-994 402 lineto
+newpath 800 401 moveto
+799 391 lineto
+794 400 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1000 400 moveto
-994 391 lineto
-994 402 lineto
+newpath 800 401 moveto
+799 391 lineto
+794 400 lineto
+closepath
+stroke
+end grestore
+
+%      grafite_parser
+gsave 10 dict begin
+526 1128 81 25 ellipse_path
+stroke
+gsave 10 dict begin
+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
+
+%      lexicon
+gsave 10 dict begin
+554 1024 50 25 ellipse_path
+stroke
+gsave 10 dict begin
+518 1016 moveto
+(lexicon)
+[6.72 10.56 12 6.72 10.56 12 12]
+xshow
+end grestore
+end grestore
+
+%      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 548 1059 moveto
+547 1049 lineto
+542 1058 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 548 1059 moveto
+547 1049 lineto
+542 1058 lineto
 closepath
 stroke
 end grestore
 
 %      grafite
 gsave 10 dict begin
-972 822 46 25 ellipse_path
+139 936 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-940 814 moveto
+107 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 1002 802 moveto
-1019 791 1042 776 1062 763 curveto
+%      grafite_parser -> grafite
+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 188 953 moveto
+178 950 lineto
+184 959 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 188 953 moveto
+178 950 lineto
+184 959 lineto
+closepath
+stroke
+end grestore
+
+%      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 558 972 moveto
+554 962 lineto
+551 972 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 558 972 moveto
+554 962 lineto
+551 972 lineto
+closepath
+stroke
+end grestore
+
+%      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 1064 766 moveto
-1070 757 lineto
-1060 760 lineto
+newpath 704 963 moveto
+712 956 lineto
+701 956 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1064 766 moveto
-1070 757 lineto
-1060 760 lineto
+newpath 704 963 moveto
+712 956 lineto
+701 956 lineto
 closepath
 stroke
 end grestore
 
-%      cic_unification -> cic_proof_checking
-newpath 482 622 moveto
-495 613 509 602 521 592 curveto
-560 558 600 516 626 486 curveto
+%      library
+gsave 10 dict begin
+283 736 46 25 ellipse_path
+stroke
+gsave 10 dict begin
+251 728 moveto
+(library)
+[6.72 6.72 12 7.92 10.56 7.92 12]
+xshow
+end grestore
+end grestore
+
+%      cic_unification -> library
+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 628 489 moveto
-633 479 lineto
-623 484 lineto
+newpath 273 772 moveto
+273 761 lineto
+266 769 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 628 489 moveto
-633 479 lineto
-623 484 lineto
+newpath 273 772 moveto
+273 761 lineto
+266 769 lineto
 closepath
 stroke
 end grestore
 
 %      tactics
 gsave 10 dict begin
-443 734 45 25 ellipse_path
+250 936 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-412 726 moveto
+219 928 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -656,101 +730,147 @@ end grestore
 end grestore
 
 %      tactics -> cic_unification
-newpath 445 708 moveto
-446 700 446 691 447 682 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 451 682 moveto
-447 672 lineto
-444 682 lineto
+newpath 247 883 moveto
+242 874 lineto
+241 884 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 451 682 moveto
-447 672 lineto
-444 682 lineto
+newpath 247 883 moveto
+242 874 lineto
+241 884 lineto
 closepath
 stroke
 end grestore
 
 %      tactics -> whelp
-newpath 406 719 moveto
-387 708 364 693 353 672 curveto
-341 648 337 633 353 612 curveto
-373 586 394 606 422 592 curveto
-426 590 430 588 433 585 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 435 588 moveto
-442 580 lineto
-432 582 lineto
+newpath 367 763 moveto
+374 755 lineto
+364 757 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 435 588 moveto
-442 580 lineto
-432 582 lineto
+newpath 367 763 moveto
+374 755 lineto
+364 757 lineto
 closepath
 stroke
 end grestore
 
-%      paramodulation
+%      cic
 gsave 10 dict begin
-443 822 90 25 ellipse_path
+339 454 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-367 814 moveto
-(paramodulation)
-[12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
+325 446 moveto
+(cic)
+[10.56 6.72 10.56]
 xshow
 end grestore
 end grestore
 
-%      paramodulation -> tactics
-newpath 443 796 moveto
-443 788 443 779 443 770 curveto
+%      grafite -> cic
+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 447 770 moveto
-443 760 lineto
-440 770 lineto
+newpath 313 482 moveto
+319 473 lineto
+309 476 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 447 770 moveto
-443 760 lineto
-440 770 lineto
+newpath 313 482 moveto
+319 473 lineto
+309 476 lineto
 closepath
 stroke
 end grestore
 
-%      cic
+%      grafite_engine
 gsave 10 dict begin
-562 366 28 25 ellipse_path
+183 1024 84 25 ellipse_path
 stroke
 gsave 10 dict begin
-548 358 moveto
-(cic)
-[10.56 6.72 10.56]
+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
 end grestore
 end grestore
 
+%      grafite_engine -> tactics
+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 221 968 moveto
+226 958 lineto
+216 963 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 221 968 moveto
+226 958 lineto
+216 963 lineto
+closepath
+stroke
+end grestore
+
+%      grafite_engine -> grafite
+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 159 968 moveto
+151 961 lineto
+153 971 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 159 968 moveto
+151 961 lineto
+153 971 lineto
+closepath
+stroke
+end grestore
+
 %      urimanager
 gsave 10 dict begin
-657 278 70 25 ellipse_path
+355 366 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-601 270 moveto
+299 358 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -758,32 +878,32 @@ end grestore
 end grestore
 
 %      cic -> urimanager
-newpath 582 347 moveto
-594 336 610 322 624 309 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 626 312 moveto
-631 302 lineto
-621 307 lineto
+newpath 351 402 moveto
+350 392 lineto
+345 401 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 626 312 moveto
-631 302 lineto
-621 307 lineto
+newpath 351 402 moveto
+350 392 lineto
+345 401 lineto
 closepath
 stroke
 end grestore
 
 %      xml
 gsave 10 dict begin
-843 174 33 25 ellipse_path
+553 174 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-824 166 moveto
+534 166 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -791,54 +911,67 @@ end grestore
 end grestore
 
 %      cic -> xml
-newpath 556 341 moveto
-549 306 543 243 577 208 curveto
-592 192 727 181 799 177 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 799 180 moveto
-809 176 lineto
-799 174 lineto
+newpath 509 181 moveto
+519 177 lineto
+509 175 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 799 180 moveto
-809 176 lineto
-799 174 lineto
+newpath 509 181 moveto
+519 177 lineto
+509 175 lineto
 closepath
 stroke
 end grestore
 
+%      cic_proof_checking
+gsave 10 dict begin
+339 542 110 25 ellipse_path
+stroke
+gsave 10 dict begin
+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
+end grestore
+end grestore
+
 %      cic_proof_checking -> cic
-newpath 629 429 moveto
-617 417 602 404 590 392 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 592 389 moveto
-582 385 lineto
-587 394 lineto
+newpath 343 490 moveto
+339 480 lineto
+336 490 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 592 389 moveto
-582 385 lineto
-587 394 lineto
+newpath 343 490 moveto
+339 480 lineto
+336 490 lineto
 closepath
 stroke
 end grestore
 
 %      getter
 gsave 10 dict begin
-655 366 42 25 ellipse_path
+431 454 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-627 358 moveto
+403 446 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -846,53 +979,53 @@ end grestore
 end grestore
 
 %      cic_proof_checking -> getter
-newpath 655 428 moveto
-655 420 655 411 655 402 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 659 402 moveto
-655 392 lineto
-652 402 lineto
+newpath 393 480 moveto
+400 472 lineto
+390 474 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 659 402 moveto
-655 392 lineto
-652 402 lineto
+newpath 393 480 moveto
+400 472 lineto
+390 474 lineto
 closepath
 stroke
 end grestore
 
 %      getter -> urimanager
-newpath 656 340 moveto
-656 332 656 323 656 314 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 660 314 moveto
-656 304 lineto
-653 314 lineto
+newpath 386 396 moveto
+376 391 lineto
+381 401 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 660 314 moveto
-656 304 lineto
-653 314 lineto
+newpath 386 396 moveto
+376 391 lineto
+381 401 lineto
 closepath
 stroke
 end grestore
 
 %      registry
 gsave 10 dict begin
-843 278 52 25 ellipse_path
+679 262 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-805 270 moveto
+641 254 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -900,87 +1033,102 @@ end grestore
 end grestore
 
 %      getter -> registry
-newpath 689 350 moveto
-719 336 763 316 796 300 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 797 303 moveto
-805 296 lineto
-794 297 lineto
+newpath 633 287 moveto
+641 280 lineto
+630 280 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 797 303 moveto
-805 296 lineto
-794 297 lineto
+newpath 633 287 moveto
+641 280 lineto
+630 280 lineto
 closepath
 stroke
 end grestore
 
-%      metadata
+%      logger
 gsave 10 dict begin
-467 454 58 25 ellipse_path
+544 366 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-423 446 moveto
-(metadata)
-[18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
+513 358 moveto
+(logger)
+[6.72 12 12 12 10.56 7.92]
 xshow
 end grestore
 end grestore
 
-%      metadata -> cic
-newpath 492 431 moveto
-505 419 521 404 534 392 curveto
+%      getter -> logger
+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 537 394 moveto
-542 385 lineto
-532 389 lineto
+newpath 511 396 moveto
+517 387 lineto
+507 390 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 537 394 moveto
-542 385 lineto
-532 389 lineto
+newpath 511 396 moveto
+517 387 lineto
+507 390 lineto
 closepath
 stroke
 end grestore
 
-%      metadata -> getter
-newpath 511 437 moveto
-543 424 584 408 600 400 curveto
-606 397 612 394 617 390 curveto
+%      metadata
+gsave 10 dict begin
+415 636 58 25 ellipse_path
+stroke
+gsave 10 dict begin
+371 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 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 619 393 moveto
-626 385 lineto
-616 387 lineto
+newpath 372 472 moveto
+362 469 lineto
+368 477 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 619 393 moveto
-626 385 lineto
-616 387 lineto
+newpath 372 472 moveto
+362 469 lineto
+368 477 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql
 gsave 10 dict begin
-841 366 50 25 ellipse_path
+659 366 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-805 358 moveto
+623 358 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -988,55 +1136,117 @@ end grestore
 end grestore
 
 %      metadata -> hmysql
-newpath 509 436 moveto
-517 433 526 430 535 428 curveto
-641 402 675 432 778 400 curveto
-786 398 793 394 800 391 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 802 394 moveto
-809 386 lineto
-799 388 lineto
+newpath 665 402 moveto
+661 392 lineto
+658 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 802 394 moveto
-809 386 lineto
-799 388 lineto
+newpath 665 402 moveto
+661 392 lineto
+658 402 lineto
 closepath
 stroke
 end grestore
 
 %      whelp -> metadata
-newpath 467 532 moveto
-467 519 467 504 467 490 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 471 490 moveto
-467 480 lineto
-464 490 lineto
+newpath 414 672 moveto
+412 662 lineto
+408 672 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 471 490 moveto
-467 480 lineto
-464 490 lineto
+newpath 414 672 moveto
+412 662 lineto
+408 672 lineto
+closepath
+stroke
+end grestore
+
+%      library -> metadata
+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 379 667 moveto
+385 658 lineto
+375 661 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 379 667 moveto
+385 658 lineto
+375 661 lineto
+closepath
+stroke
+end grestore
+
+%      library -> cic_acic
+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 287 672 moveto
+283 662 lineto
+280 672 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 287 672 moveto
+283 662 lineto
+280 672 lineto
+closepath
+stroke
+end grestore
+
+%      cic_acic -> cic_proof_checking
+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 322 577 moveto
+324 567 lineto
+316 574 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 322 577 moveto
+324 567 lineto
+316 574 lineto
 closepath
 stroke
 end grestore
 
 %      extlib
 gsave 10 dict begin
-843 86 42 25 ellipse_path
+553 86 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-815 78 moveto
+525 78 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -1045,10 +1255,10 @@ end grestore
 
 %      hgdome
 gsave 10 dict begin
-969 278 54 25 ellipse_path
+553 262 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-929 270 moveto
+513 254 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -1056,86 +1266,85 @@ end grestore
 end grestore
 
 %      hgdome -> xml
-newpath 951 254 moveto
-939 239 922 221 905 208 curveto
-898 202 889 197 881 192 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 882 189 moveto
-872 187 lineto
-879 195 lineto
+newpath 557 210 moveto
+553 200 lineto
+550 210 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 882 189 moveto
-872 187 lineto
-879 195 lineto
+newpath 557 210 moveto
+553 200 lineto
+550 210 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql -> registry
-newpath 842 340 moveto
-842 332 842 323 842 314 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 846 314 moveto
-842 304 lineto
-839 314 lineto
+newpath 675 298 moveto
+674 288 lineto
+669 297 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 846 314 moveto
-842 304 lineto
-839 314 lineto
+newpath 675 298 moveto
+674 288 lineto
+669 297 lineto
 closepath
 stroke
 end grestore
 
 %      registry -> xml
-newpath 843 252 moveto
-843 239 843 224 843 210 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 847 210 moveto
-843 200 lineto
-840 210 lineto
+newpath 588 194 moveto
+578 191 lineto
+584 200 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 847 210 moveto
-843 200 lineto
-840 210 lineto
+newpath 588 194 moveto
+578 191 lineto
+584 200 lineto
 closepath
 stroke
 end grestore
 
 %      xml -> extlib
-newpath 843 148 moveto
-843 140 843 131 843 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 847 122 moveto
-843 112 lineto
-840 122 lineto
+newpath 557 122 moveto
+553 112 lineto
+550 122 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 847 122 moveto
-843 112 lineto
-840 122 lineto
+newpath 557 122 moveto
+553 112 lineto
+550 122 lineto
 closepath
 stroke
 end grestore
@@ -1145,47 +1354,49 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 224 576 moveto
-0 576 lineto
-0 540 lineto
-224 540 lineto
+newpath 641 768 moveto
+505 768 lineto
+505 704 lineto
+641 704 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 224 576 moveto
-0 576 lineto
-0 540 lineto
-224 540 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
-8 550 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]
+513 742 moveto
+(Dependency)
+[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
+xshow
+529 714 moveto
+(Analyzer)
+[17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
 end grestore
 end grestore
 
 %      DependencyAnalyzer -> metadata
-newpath 136 540 moveto
-159 523 197 498 233 488 curveto
-271 477 371 488 408 480 curveto
-412 479 415 478 419 477 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 420 480 moveto
-428 473 lineto
-417 474 lineto
+newpath 458 659 moveto
+448 657 lineto
+455 665 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 420 480 moveto
-428 473 lineto
-417 474 lineto
+newpath 458 659 moveto
+448 657 lineto
+455 665 lineto
 closepath
 stroke
 end grestore
@@ -1195,22 +1406,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 390 472 moveto
-314 472 lineto
-314 436 lineto
-390 436 lineto
+newpath 566 560 moveto
+490 560 lineto
+490 524 lineto
+566 524 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 390 472 moveto
-314 472 lineto
-314 436 lineto
-390 436 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
-322 446 moveto
+498 534 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1218,24 +1429,22 @@ end grestore
 end grestore
 
 %      Getter -> getter
-newpath 379 436 moveto
-384 433 390 430 396 428 curveto
-483 397 514 430 600 400 curveto
-607 397 613 394 619 391 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 621 394 moveto
-628 386 lineto
-618 388 lineto
+newpath 465 480 moveto
+455 476 lineto
+460 485 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 621 394 moveto
-628 386 lineto
-618 388 lineto
+newpath 465 480 moveto
+455 476 lineto
+460 485 lineto
 closepath
 stroke
 end grestore
@@ -1245,90 +1454,91 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 601 936 moveto
-523 936 lineto
-523 900 lineto
-601 900 lineto
+newpath 222 1226 moveto
+144 1226 lineto
+144 1190 lineto
+222 1190 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 601 936 moveto
-523 936 lineto
-523 900 lineto
-601 900 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
-530 910 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 559 900 moveto
-557 873 556 824 581 796 curveto
-646 725 696 745 782 740 curveto
+%      Matita -> grafite_parser
+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 782 743 moveto
-792 739 lineto
-782 737 lineto
+newpath 471 1156 moveto
+479 1149 lineto
+468 1150 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 782 743 moveto
-792 739 lineto
-782 737 lineto
+newpath 471 1156 moveto
+479 1149 lineto
+468 1150 lineto
 closepath
 stroke
 end grestore
 
-%      Matita -> grafite
-newpath 601 917 moveto
-689 915 898 908 925 892 curveto
-940 884 950 870 958 856 curveto
+%      Matita -> grafite_engine
+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 961 858 moveto
-962 847 lineto
-955 855 lineto
+newpath 187 1060 moveto
+183 1050 lineto
+180 1060 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 961 858 moveto
-962 847 lineto
-955 855 lineto
+newpath 187 1060 moveto
+183 1050 lineto
+180 1060 lineto
 closepath
 stroke
 end grestore
 
-%      Matita -> paramodulation
-newpath 523 913 moveto
-496 909 463 902 453 892 curveto
-444 883 441 870 440 858 curveto
+%      Matita -> hgdome
+newpath 157 1190 moveto
+118 1160 48 1097 48 1024 curveto
+48 1024 48 1024 48 454 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 444 858 moveto
-440 848 lineto
-437 858 lineto
+newpath 488 267 moveto
+498 263 lineto
+488 260 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 444 858 moveto
-440 848 lineto
-437 858 lineto
+newpath 488 267 moveto
+498 263 lineto
+488 260 lineto
 closepath
 stroke
 end grestore
@@ -1338,47 +1548,50 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 392 576 moveto
-242 576 lineto
-242 540 lineto
-392 540 lineto
+newpath 210 668 moveto
+114 668 lineto
+114 604 lineto
+210 604 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 392 576 moveto
-242 576 lineto
-242 540 lineto
-392 540 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
-250 550 moveto
-(ProofChecker)
-[13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
+135 642 moveto
+(Proof)
+[13.44 7.92 12 12 7.92]
+xshow
+122 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 331 540 moveto
-346 523 369 498 396 488 curveto
-425 476 505 484 535 480 curveto
-546 478 557 476 568 474 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 569 477 moveto
-578 472 lineto
-568 471 lineto
+newpath 283 572 moveto
+291 565 lineto
+280 566 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 569 477 moveto
-578 472 lineto
-568 471 lineto
+newpath 283 572 moveto
+291 565 lineto
+280 566 lineto
 closepath
 stroke
 end grestore
@@ -1388,22 +1601,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 774 840 moveto
-688 840 lineto
-688 804 lineto
-774 804 lineto
+newpath 428 1042 moveto
+342 1042 lineto
+342 1006 lineto
+428 1006 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 774 840 moveto
-688 840 lineto
-688 804 lineto
-774 804 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
-695 814 moveto
+349 1016 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
@@ -1411,24 +1624,24 @@ end grestore
 end grestore
 
 %      Uwobo -> content_pres
-newpath 760 804 moveto
-766 801 772 798 778 796 curveto
-881 761 914 783 1019 760 curveto
-1026 759 1032 757 1039 755 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 1040 758 moveto
-1049 752 lineto
-1038 752 lineto
+newpath 694 960 moveto
+703 954 lineto
+692 954 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1040 758 moveto
-1049 752 lineto
-1038 752 lineto
+newpath 694 960 moveto
+703 954 lineto
+692 954 lineto
 closepath
 stroke
 end grestore
@@ -1438,69 +1651,45 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 670 840 moveto
-590 840 lineto
-590 804 lineto
-670 804 lineto
+newpath 566 1226 moveto
+486 1226 lineto
+486 1190 lineto
+566 1190 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 670 840 moveto
-590 840 lineto
-590 804 lineto
-670 804 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
-597 814 moveto
+493 1200 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
 end grestore
 end grestore
 
-%      Whelp -> cic_disambiguation
-newpath 662 804 moveto
-668 801 673 798 679 796 curveto
-722 779 770 764 811 754 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 812 757 moveto
-821 752 lineto
-811 751 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 812 757 moveto
-821 752 lineto
-811 751 lineto
-closepath
-stroke
-end grestore
-
-%      Whelp -> content_pres
-newpath 660 804 moveto
-666 801 673 798 679 796 curveto
-825 751 871 790 1019 760 curveto
-1026 759 1033 757 1040 755 curveto
+%      Whelp -> grafite_parser
+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 1041 758 moveto
-1050 752 lineto
-1039 752 lineto
+newpath 530 1164 moveto
+526 1154 lineto
+523 1164 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1041 758 moveto
-1050 752 lineto
-1039 752 lineto
+newpath 530 1164 moveto
+526 1154 lineto
+523 1164 lineto
 closepath
 stroke
 end grestore