Dead code removed.

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

diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps
index 2fd94573df19bc794eff495d056a0aab64249a3e..c3b765e5e914b4c972b8086791b2bdfc56527917 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 1258 979
+%%BoundingBox: 35 35 1070 1263
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1258 979
+%%PageBoundingBox: 36 36 1070 1263
 %%PageOrientation: Portrait
 gsave
-35 35 1223 944 boxprim clip newpath
+35 35 1035 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 764 488 moveto
-1193 488 lineto
-1193 862 lineto
-764 862 lineto
+newpath 596 778 moveto
+1025 778 lineto
+1025 1162 lineto
+596 1162 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 764 488 moveto
-1193 488 lineto
-1193 862 lineto
-764 862 lineto
+newpath 596 778 moveto
+1025 778 lineto
+1025 1162 lineto
+596 1162 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-772 498 moveto
+604 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 314 618 moveto
-564 618 lineto
-564 898 lineto
-314 898 lineto
+newpath 68 814 moveto
+454 814 lineto
+454 1094 lineto
+68 1094 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 314 618 moveto
-564 618 lineto
-564 898 lineto
-314 898 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
-322 872 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 86 208 moveto
-460 208 lineto
-460 592 lineto
-86 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 86 208 moveto
-460 208 lineto
-460 592 lineto
-86 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
-93 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 468 16 moveto
-718 16 lineto
-718 400 lineto
-468 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 468 16 moveto
-718 16 lineto
-718 400 lineto
-468 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
-632 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
-849 652 75 25 ellipse_path
+714 848 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-788 644 moveto
+653 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
-839 558 54 25 ellipse_path
+352 636 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-799 550 moveto
+312 628 moveto
 (cic_acic)
 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 xshow
@@ -369,265 +369,361 @@ end grestore
 end grestore
 
 %      acic_content -> cic_acic
-newpath 846 626 moveto
-845 616 844 605 843 594 curveto
+newpath 681 825 moveto
+658 810 625 790 594 778 curveto
+581 772 574 779 562 770 curveto
+538 749 557 725 533 704 curveto
+493 667 467 688 416 668 curveto
+410 665 403 663 397 660 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 846 594 moveto
-842 584 lineto
-840 594 lineto
+newpath 398 657 moveto
+388 655 lineto
+395 663 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 846 594 moveto
-842 584 lineto
-840 594 lineto
+newpath 398 657 moveto
+388 655 lineto
+395 663 lineto
 closepath
 stroke
 end grestore
 
-%      cic_proof_checking
+%      cic_disambiguation
 gsave 10 dict begin
-341 454 110 25 ellipse_path
+714 936 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-245 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]
+619 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
 end grestore
 end grestore
 
-%      cic_acic -> cic_proof_checking
-newpath 820 534 moveto
-806 518 784 497 760 488 curveto
-741 480 423 491 361 482 curveto
+%      cic_disambiguation -> acic_content
+newpath 714 910 moveto
+714 902 714 893 714 884 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 361 479 moveto
-351 480 lineto
-360 485 lineto
+newpath 718 884 moveto
+714 874 lineto
+711 884 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 361 479 moveto
-351 480 lineto
-360 485 lineto
+newpath 718 884 moveto
+714 874 lineto
+711 884 lineto
 closepath
 stroke
 end grestore
 
-%      cic_disambiguation
+%      cic_unification
 gsave 10 dict begin
-1054 740 109 25 ellipse_path
+359 848 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-959 732 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]
+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
 end grestore
 end grestore
 
-%      cic_disambiguation -> acic_content
-newpath 975 722 moveto
-935 712 890 698 867 684 curveto
+%      cic_disambiguation -> cic_unification
+newpath 639 917 moveto
+579 903 495 882 435 867 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 869 681 moveto
-859 678 lineto
-865 687 lineto
+newpath 435 864 moveto
+425 865 lineto
+434 870 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 869 681 moveto
-859 678 lineto
-865 687 lineto
+newpath 435 864 moveto
+425 865 lineto
+434 870 lineto
 closepath
 stroke
 end grestore
 
-%      cic_unification
+%      whelp
 gsave 10 dict begin
-469 652 86 25 ellipse_path
+479 736 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-397 644 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]
+449 728 moveto
+(whelp)
+[17.28 12 10.56 6.72 12]
 xshow
 end grestore
 end grestore
 
-%      cic_disambiguation -> cic_unification
-newpath 976 722 moveto
-963 719 948 716 935 714 curveto
-810 692 777 695 650 678 curveto
-619 674 586 669 557 665 curveto
+%      cic_disambiguation -> whelp
+newpath 679 912 moveto
+664 900 645 887 629 874 curveto
+586 838 538 794 509 765 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 557 662 moveto
-547 663 lineto
-556 668 lineto
+newpath 512 763 moveto
+502 758 lineto
+507 768 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 557 662 moveto
-547 663 lineto
-556 668 lineto
+newpath 512 763 moveto
+502 758 lineto
+507 768 lineto
 closepath
 stroke
 end grestore
 
-%      whelp
+%      content_pres
 gsave 10 dict begin
-354 558 44 25 ellipse_path
+919 936 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-324 550 moveto
-(whelp)
-[17.28 12 10.56 6.72 12]
+857 928 moveto
+(content_pres)
+[10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
 end grestore
 end grestore
 
-%      cic_disambiguation -> whelp
-newpath 968 724 moveto
-968 723 967 723 967 723 curveto
-965 721 964 721 961 720 curveto
-932 706 922 708 890 702 curveto
-835 690 820 691 764 678 curveto
-676 656 658 637 568 618 curveto
-524 608 402 620 366 592 curveto
-366 592 366 592 365 592 curveto
+%      content_pres -> acic_content
+newpath 872 916 moveto
+841 903 802 886 770 872 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 368 590 moveto
-360 583 lineto
-362 593 lineto
+newpath 772 869 moveto
+761 868 lineto
+769 875 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 368 590 moveto
-360 583 lineto
-362 593 lineto
+newpath 772 869 moveto
+761 868 lineto
+769 875 lineto
 closepath
 stroke
 end grestore
 
-%      content_pres
+%      utf8_macros
 gsave 10 dict begin
-849 740 76 25 ellipse_path
+873 366 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-787 732 moveto
-(content_pres)
-[10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
+812 358 moveto
+(utf8_macros)
+[12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
 xshow
 end grestore
 end grestore
 
-%      content_pres -> acic_content
-newpath 849 714 moveto
-849 706 849 697 849 688 curveto
+%      content_pres -> utf8_macros
+newpath 916 910 moveto
+911 872 903 799 903 736 curveto
+903 736 903 736 903 542 curveto
+903 492 891 437 883 402 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 853 688 moveto
-849 678 lineto
-846 688 lineto
+newpath 886 401 moveto
+880 392 lineto
+880 403 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 853 688 moveto
-849 678 lineto
-846 688 lineto
+newpath 886 401 moveto
+880 392 lineto
+880 403 lineto
+closepath
+stroke
+end grestore
+
+%      grafite_parser
+gsave 10 dict begin
+686 1128 81 25 ellipse_path
+stroke
+gsave 10 dict begin
+619 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
+714 1024 50 25 ellipse_path
+stroke
+gsave 10 dict begin
+678 1016 moveto
+(lexicon)
+[6.72 10.56 12 6.72 10.56 12 12]
+xshow
+end grestore
+end grestore
+
+%      grafite_parser -> lexicon
+newpath 693 1103 moveto
+696 1090 701 1074 705 1059 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 708 1059 moveto
+707 1049 lineto
+702 1058 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 708 1059 moveto
+707 1049 lineto
+702 1058 lineto
 closepath
 stroke
 end grestore
 
 %      grafite
 gsave 10 dict begin
-881 828 46 25 ellipse_path
+161 936 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-849 820 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 872 803 moveto
-868 794 865 784 861 775 curveto
+%      grafite_parser -> grafite
+newpath 632 1109 moveto
+623 1106 613 1104 604 1102 curveto
+591 1099 495 1102 484 1094 curveto
+450 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
+
+%      lexicon -> cic_disambiguation
+newpath 714 998 moveto
+714 990 714 981 714 972 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 864 774 moveto
-858 765 lineto
-858 776 lineto
+newpath 718 972 moveto
+714 962 lineto
+711 972 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 864 774 moveto
-858 765 lineto
-858 776 lineto
+newpath 718 972 moveto
+714 962 lineto
+711 972 lineto
 closepath
 stroke
 end grestore
 
-%      cic_unification -> cic_proof_checking
-newpath 552 644 moveto
-622 636 714 620 736 592 curveto
-765 555 769 521 736 488 curveto
-731 482 606 483 598 483 curveto
-563 482 555 482 519 482 curveto
-503 481 389 482 372 481 curveto
-372 481 372 481 372 481 curveto
+%      lexicon -> content_pres
+newpath 753 1007 moveto
+784 994 828 976 862 960 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 376 478 moveto
-365 479 lineto
-374 485 lineto
+newpath 864 963 moveto
+872 956 lineto
+861 956 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 376 478 moveto
-365 479 lineto
-374 485 lineto
+newpath 864 963 moveto
+872 956 lineto
+861 956 lineto
+closepath
+stroke
+end grestore
+
+%      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 363 772 moveto
+359 762 lineto
+356 772 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 363 772 moveto
+359 762 lineto
+356 772 lineto
 closepath
 stroke
 end grestore
 
 %      tactics
 gsave 10 dict begin
-463 740 45 25 ellipse_path
+313 936 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-432 732 moveto
+282 928 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -635,54 +731,56 @@ end grestore
 end grestore
 
 %      tactics -> cic_unification
-newpath 465 714 moveto
-466 706 466 697 467 688 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 471 688 moveto
-467 678 lineto
-464 688 lineto
+newpath 343 883 moveto
+345 873 lineto
+337 880 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 471 688 moveto
-467 678 lineto
-464 688 lineto
+newpath 343 883 moveto
+345 873 lineto
+337 880 lineto
 closepath
 stroke
 end grestore
 
 %      tactics -> whelp
-newpath 427 724 moveto
-408 714 386 698 373 678 curveto
-357 653 353 620 353 594 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
+424 768 432 764 440 760 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 357 594 moveto
-353 584 lineto
-350 594 lineto
+newpath 442 763 moveto
+449 755 lineto
+439 757 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 357 594 moveto
-353 584 lineto
-350 594 lineto
+newpath 442 763 moveto
+449 755 lineto
+439 757 lineto
 closepath
 stroke
 end grestore
 
 %      paramodulation
 gsave 10 dict begin
-463 828 90 25 ellipse_path
+355 1024 90 25 ellipse_path
 stroke
 gsave 10 dict begin
-387 820 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
@@ -690,44 +788,123 @@ end grestore
 end grestore
 
 %      paramodulation -> tactics
-newpath 463 802 moveto
-463 794 463 785 463 776 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 467 776 moveto
-463 766 lineto
-460 776 lineto
+newpath 332 969 moveto
+325 961 lineto
+326 972 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 467 776 moveto
-463 766 lineto
-460 776 lineto
+newpath 332 969 moveto
+325 961 lineto
+326 972 lineto
 closepath
 stroke
 end grestore
 
 %      cic
 gsave 10 dict begin
-248 366 28 25 ellipse_path
+408 454 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-234 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
-343 278 70 25 ellipse_path
+424 366 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-287 270 moveto
+368 358 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -735,32 +912,32 @@ end grestore
 end grestore
 
 %      cic -> urimanager
-newpath 268 347 moveto
-280 336 296 322 310 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 312 312 moveto
-317 302 lineto
-307 307 lineto
+newpath 420 402 moveto
+419 392 lineto
+414 401 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 312 312 moveto
-317 302 lineto
-307 307 lineto
+newpath 420 402 moveto
+419 392 lineto
+414 401 lineto
 closepath
 stroke
 end grestore
 
 %      xml
 gsave 10 dict begin
-529 174 33 25 ellipse_path
+622 174 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-510 166 moveto
+603 166 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -768,54 +945,67 @@ end grestore
 end grestore
 
 %      cic -> xml
-newpath 242 341 moveto
-235 306 229 243 263 208 curveto
-278 192 413 181 485 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 485 180 moveto
-495 176 lineto
-485 174 lineto
+newpath 578 181 moveto
+588 177 lineto
+578 175 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 485 180 moveto
-495 176 lineto
-485 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 315 429 moveto
-303 417 288 404 276 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 278 389 moveto
-268 385 lineto
-273 394 lineto
+newpath 412 490 moveto
+408 480 lineto
+405 490 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 278 389 moveto
-268 385 lineto
-273 394 lineto
+newpath 412 490 moveto
+408 480 lineto
+405 490 lineto
 closepath
 stroke
 end grestore
 
 %      getter
 gsave 10 dict begin
-341 366 42 25 ellipse_path
+500 454 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-313 358 moveto
+472 446 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -823,53 +1013,53 @@ end grestore
 end grestore
 
 %      cic_proof_checking -> getter
-newpath 341 428 moveto
-341 420 341 411 341 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 345 402 moveto
-341 392 lineto
-338 402 lineto
+newpath 462 480 moveto
+469 472 lineto
+459 474 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 345 402 moveto
-341 392 lineto
-338 402 lineto
+newpath 462 480 moveto
+469 472 lineto
+459 474 lineto
 closepath
 stroke
 end grestore
 
 %      getter -> urimanager
-newpath 342 340 moveto
-342 332 342 323 342 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 346 314 moveto
-342 304 lineto
-339 314 lineto
+newpath 455 396 moveto
+445 391 lineto
+450 401 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 346 314 moveto
-342 304 lineto
-339 314 lineto
+newpath 455 396 moveto
+445 391 lineto
+450 401 lineto
 closepath
 stroke
 end grestore
 
 %      registry
 gsave 10 dict begin
-529 278 52 25 ellipse_path
+748 262 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-491 270 moveto
+710 254 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -877,87 +1067,102 @@ end grestore
 end grestore
 
 %      getter -> registry
-newpath 375 350 moveto
-405 336 449 316 482 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 483 303 moveto
-491 296 lineto
-480 297 lineto
+newpath 702 287 moveto
+710 280 lineto
+699 280 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 483 303 moveto
-491 296 lineto
-480 297 lineto
+newpath 702 287 moveto
+710 280 lineto
+699 280 lineto
 closepath
 stroke
 end grestore
 
-%      metadata
+%      logger
 gsave 10 dict begin
-153 454 58 25 ellipse_path
+613 366 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-109 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 178 431 moveto
-191 419 207 404 220 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 223 394 moveto
-228 385 lineto
-218 389 lineto
+newpath 580 396 moveto
+586 387 lineto
+576 390 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 223 394 moveto
-228 385 lineto
-218 389 lineto
+newpath 580 396 moveto
+586 387 lineto
+576 390 lineto
 closepath
 stroke
 end grestore
 
-%      metadata -> getter
-newpath 197 437 moveto
-229 424 270 408 286 400 curveto
-292 397 298 394 303 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 305 393 moveto
-312 385 lineto
-302 387 lineto
+newpath 441 472 moveto
+431 469 lineto
+437 477 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 305 393 moveto
-312 385 lineto
-302 387 lineto
+newpath 441 472 moveto
+431 469 lineto
+437 477 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql
 gsave 10 dict begin
-528 366 50 25 ellipse_path
+728 366 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-492 358 moveto
+692 358 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -965,55 +1170,117 @@ end grestore
 end grestore
 
 %      metadata -> hmysql
-newpath 195 436 moveto
-203 433 212 430 221 428 curveto
-327 402 361 432 464 400 curveto
-472 397 479 394 487 390 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 488 393 moveto
-496 386 lineto
-485 387 lineto
+newpath 734 402 moveto
+730 392 lineto
+727 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 488 393 moveto
-496 386 lineto
-485 387 lineto
+newpath 734 402 moveto
+730 392 lineto
+727 402 lineto
 closepath
 stroke
 end grestore
 
 %      whelp -> metadata
-newpath 320 541 moveto
-287 523 237 497 200 479 curveto
+newpath 480 711 moveto
+481 699 482 685 482 672 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 201 476 moveto
-191 474 lineto
-198 482 lineto
+newpath 485 672 moveto
+483 662 lineto
+479 672 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 201 476 moveto
-191 474 lineto
-198 482 lineto
+newpath 485 672 moveto
+483 662 lineto
+479 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
-529 86 42 25 ellipse_path
+622 86 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-501 78 moveto
+594 78 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -1022,10 +1289,10 @@ end grestore
 
 %      hgdome
 gsave 10 dict begin
-655 278 54 25 ellipse_path
+622 262 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-615 270 moveto
+582 254 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -1033,86 +1300,85 @@ end grestore
 end grestore
 
 %      hgdome -> xml
-newpath 637 254 moveto
-625 239 608 221 591 208 curveto
-584 202 575 197 567 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 568 189 moveto
-558 187 lineto
-565 195 lineto
+newpath 626 210 moveto
+622 200 lineto
+619 210 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 568 189 moveto
-558 187 lineto
-565 195 lineto
+newpath 626 210 moveto
+622 200 lineto
+619 210 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql -> registry
-newpath 528 340 moveto
-528 332 529 323 529 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 533 314 moveto
-529 304 lineto
-526 314 lineto
+newpath 744 298 moveto
+743 288 lineto
+738 297 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 533 314 moveto
-529 304 lineto
-526 314 lineto
+newpath 744 298 moveto
+743 288 lineto
+738 297 lineto
 closepath
 stroke
 end grestore
 
 %      registry -> xml
-newpath 529 252 moveto
-529 239 529 224 529 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 533 210 moveto
-529 200 lineto
-526 210 lineto
+newpath 657 194 moveto
+647 191 lineto
+653 200 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 533 210 moveto
-529 200 lineto
-526 210 lineto
+newpath 657 194 moveto
+647 191 lineto
+653 200 lineto
 closepath
 stroke
 end grestore
 
 %      xml -> extlib
-newpath 529 148 moveto
-529 140 529 131 529 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 533 122 moveto
-529 112 lineto
-526 122 lineto
+newpath 626 122 moveto
+622 112 lineto
+619 122 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 533 122 moveto
-529 112 lineto
-526 122 lineto
+newpath 626 122 moveto
+622 112 lineto
+619 122 lineto
 closepath
 stroke
 end grestore
@@ -1122,26 +1388,26 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 604 590 moveto
-468 590 lineto
-468 526 lineto
-604 526 lineto
+newpath 716 768 moveto
+580 768 lineto
+580 704 lineto
+716 704 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 604 590 moveto
-468 590 lineto
-468 526 lineto
-604 526 lineto
+newpath 716 768 moveto
+580 768 lineto
+580 704 lineto
+716 704 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-476 564 moveto
+588 742 moveto
 (Dependency)
 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
 xshow
-492 536 moveto
+604 714 moveto
 (Analyzer)
 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
@@ -1149,24 +1415,22 @@ end grestore
 end grestore
 
 %      DependencyAnalyzer -> metadata
-newpath 513 526 moveto
-500 511 483 496 464 488 curveto
-440 477 248 485 221 480 curveto
-216 479 210 477 205 475 curveto
+newpath 595 704 moveto
+573 691 547 675 527 662 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 206 472 moveto
-195 472 lineto
-204 478 lineto
+newpath 528 659 moveto
+518 657 lineto
+525 665 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 206 472 moveto
-195 472 lineto
-204 478 lineto
+newpath 528 659 moveto
+518 657 lineto
+525 665 lineto
 closepath
 stroke
 end grestore
@@ -1176,22 +1440,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 76 472 moveto
-0 472 lineto
-0 436 lineto
-76 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 76 472 moveto
-0 472 lineto
-0 436 lineto
-76 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
-8 446 moveto
+567 534 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1199,24 +1463,22 @@ end grestore
 end grestore
 
 %      Getter -> getter
-newpath 65 436 moveto
-70 433 76 430 82 428 curveto
-169 397 200 430 286 400 curveto
-293 397 299 394 305 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 307 394 moveto
-314 386 lineto
-304 388 lineto
+newpath 534 480 moveto
+524 476 lineto
+529 485 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 307 394 moveto
-314 386 lineto
-304 388 lineto
+newpath 534 480 moveto
+524 476 lineto
+529 485 lineto
 closepath
 stroke
 end grestore
@@ -1226,113 +1488,92 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 990 942 moveto
-912 942 lineto
-912 906 lineto
-990 906 lineto
+newpath 200 1226 moveto
+122 1226 lineto
+122 1190 lineto
+200 1190 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 990 942 moveto
-912 942 lineto
-912 906 lineto
-990 906 lineto
+newpath 200 1226 moveto
+122 1226 lineto
+122 1190 lineto
+200 1190 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-919 916 moveto
+129 1200 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
 end grestore
 end grestore
 
-%      Matita -> cic_disambiguation
-newpath 961 906 moveto
-978 875 1012 813 1035 775 curveto
+%      Matita -> grafite_parser
+newpath 200 1205 moveto
+294 1199 529 1181 604 1162 curveto
+613 1160 622 1157 631 1153 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 1038 776 moveto
-1040 766 lineto
-1032 773 lineto
+newpath 632 1156 moveto
+641 1150 lineto
+630 1150 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 1038 776 moveto
-1040 766 lineto
-1032 773 lineto
+newpath 632 1156 moveto
+641 1150 lineto
+630 1150 lineto
 closepath
 stroke
 end grestore
 
-%      Matita -> grafite
-newpath 912 914 moveto
-904 910 896 905 891 898 curveto
-883 889 880 876 879 864 curveto
+%      Matita -> grafite_engine
+newpath 161 1190 moveto
+161 1160 161 1099 161 1060 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 883 864 moveto
-879 854 lineto
-876 864 lineto
+newpath 165 1060 moveto
+161 1050 lineto
+158 1060 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 883 864 moveto
-879 854 lineto
-876 864 lineto
-closepath
-stroke
-end grestore
-
-%      Matita -> paramodulation
-newpath 912 923 moveto
-801 921 489 912 473 898 curveto
-464 889 460 877 459 864 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 463 864 moveto
-459 854 lineto
-456 864 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 463 864 moveto
-459 854 lineto
-456 864 lineto
+newpath 165 1060 moveto
+161 1050 lineto
+158 1060 lineto
 closepath
 stroke
 end grestore
 
 %      Matita -> hgdome
-newpath 990 922 moveto
-1056 919 1183 912 1197 898 curveto
-1221 872 1211 775 1211 740 curveto
-1211 740 1211 740 1211 454 curveto
-1211 351 865 301 719 284 curveto
+newpath 141 1190 moveto
+118 1169 83 1132 64 1094 curveto
+50 1065 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 719 281 moveto
-709 283 lineto
-719 287 lineto
+newpath 557 268 moveto
+567 264 lineto
+557 262 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 719 281 moveto
-709 283 lineto
-719 287 lineto
+newpath 557 268 moveto
+567 264 lineto
+557 262 lineto
 closepath
 stroke
 end grestore
@@ -1342,26 +1583,26 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 718 590 moveto
-622 590 lineto
-622 526 lineto
-718 526 lineto
+newpath 279 668 moveto
+183 668 lineto
+183 604 lineto
+279 604 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 718 590 moveto
-622 590 lineto
-622 526 lineto
-718 526 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
-643 564 moveto
+204 642 moveto
 (Proof)
 [13.44 7.92 12 12 7.92]
 xshow
-630 536 moveto
+191 614 moveto
 (Checker)
 [16.08 12 10.56 10.56 12 10.56 7.92]
 xshow
@@ -1369,23 +1610,23 @@ end grestore
 end grestore
 
 %      ProofChecker -> cic_proof_checking
-newpath 653 526 moveto
-643 511 630 496 613 488 curveto
-589 476 409 493 360 483 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 362 480 moveto
-351 480 lineto
-359 486 lineto
+newpath 352 572 moveto
+360 565 lineto
+349 566 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 362 480 moveto
-351 480 lineto
-359 486 lineto
+newpath 352 572 moveto
+360 565 lineto
+349 566 lineto
 closepath
 stroke
 end grestore
@@ -1395,22 +1636,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 658 846 moveto
-572 846 lineto
-572 810 lineto
-658 810 lineto
+newpath 588 1042 moveto
+502 1042 lineto
+502 1006 lineto
+588 1006 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 658 846 moveto
-572 846 lineto
-572 810 lineto
-658 810 lineto
+newpath 588 1042 moveto
+502 1042 lineto
+502 1006 lineto
+588 1006 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-579 820 moveto
+509 1016 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
@@ -1418,23 +1659,24 @@ end grestore
 end grestore
 
 %      Uwobo -> content_pres
-newpath 649 810 moveto
-655 807 661 804 667 802 curveto
-704 786 748 772 782 760 curveto
+newpath 574 1006 moveto
+580 1003 586 1000 592 998 curveto
+695 963 728 985 833 962 curveto
+840 961 846 959 853 957 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 783 763 moveto
-792 757 lineto
-781 757 lineto
+newpath 854 960 moveto
+863 954 lineto
+852 954 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 783 763 moveto
-792 757 lineto
-781 757 lineto
+newpath 854 960 moveto
+863 954 lineto
+852 954 lineto
 closepath
 stroke
 end grestore
@@ -1444,68 +1686,45 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 756 846 moveto
-676 846 lineto
-676 810 lineto
-756 810 lineto
+newpath 726 1226 moveto
+646 1226 lineto
+646 1190 lineto
+726 1190 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 756 846 moveto
-676 846 lineto
-676 810 lineto
-756 810 lineto
+newpath 726 1226 moveto
+646 1226 lineto
+646 1190 lineto
+726 1190 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-683 820 moveto
+653 1200 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
 end grestore
 end grestore
 
-%      Whelp -> cic_disambiguation
-newpath 743 810 moveto
-749 807 754 804 760 802 curveto
-835 773 858 782 935 766 curveto
-944 764 954 762 963 759 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 964 762 moveto
-973 757 lineto
-963 756 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 964 762 moveto
-973 757 lineto
-963 756 lineto
-closepath
-stroke
-end grestore
-
-%      Whelp -> content_pres
-newpath 743 810 moveto
-761 798 785 782 805 769 curveto
+%      Whelp -> grafite_parser
+newpath 686 1190 moveto
+686 1182 686 1173 686 1164 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 808 771 moveto
-814 763 lineto
-804 766 lineto
+newpath 690 1164 moveto
+686 1154 lineto
+683 1164 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 808 771 moveto
-814 763 lineto
-804 766 lineto
+newpath 690 1164 moveto
+686 1154 lineto
+683 1164 lineto
 closepath
 stroke
 end grestore