2 %%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
3 %%For: (sacerdot) Claudio Sacerdoti Coen,,,
6 %%BoundingBox: 35 35 1108 1263
15 /EncodingVector 256 array def
18 ISOLatin1Encoding 0 255 getinterval putinterval
71 % Set up ISO Latin 1 character encoding
73 dup dup findfont dup length dict begin
74 { 1 index /FID ne { def }{ pop pop } ifelse
76 /Encoding EncodingVector def
77 currentdict end definefont
79 /Times-Roman starnetISO def
80 /Times-Italic starnetISO def
81 /Times-Bold starnetISO def
82 /Times-BoldItalic starnetISO def
83 /Helvetica starnetISO def
84 /Helvetica-Oblique starnetISO def
85 /Helvetica-Bold starnetISO def
86 /Helvetica-BoldOblique starnetISO def
87 /Courier starnetISO def
88 /Courier-Oblique starnetISO def
89 /Courier-Bold starnetISO def
90 /Courier-BoldOblique starnetISO def
94 %%BeginResource: procset graphviz 0 0
95 /coord-font-family /Times-Roman def
96 /default-font-family /Times-Roman def
97 /coordfont coord-font-family findfont 8 scalefont def
99 /InvScaleFactor 1.0 def
101 dup 1 exch div /InvScaleFactor exch def
106 /solid { [] 0 setdash } bind def
107 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
108 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
109 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
110 /bold { 2 setlinewidth } bind def
112 /unfilled { } bind def
113 /rounded { } bind def
114 /diagonals { } bind def
116 % hooks for setting color
117 /nodecolor { sethsbcolor } bind def
118 /edgecolor { sethsbcolor } bind def
119 /graphcolor { sethsbcolor } bind def
120 /nopcolor {pop pop pop} bind def
122 /beginpage { % i j npages
131 (\() show i str cvs show (,) show j str cvs show (\)) show
141 % draw aligned label in bounding box aligned to current point
142 /alignedtext { % width adj text
148 text stringwidth pop adj mul 0 rmoveto
155 /boxprim { % xcorner ycorner xsize ysize
178 /endpage { showpage } bind def
182 [ % layer color sequence - darkest to lightest
191 /layerlen layercolorseq length def
193 /setlayer {/maxlayer exch def /curlayer exch def
194 layercolorseq curlayer 1 sub layerlen mod get
195 aload pop sethsbcolor
196 /nodecolor {nopcolor} def
197 /edgecolor {nopcolor} def
198 /graphcolor {nopcolor} def
201 /onlayer { curlayer ne {invis} if } def
217 14 default-font-family set_font
219 % /arrowlength 10 def
222 % make sure pdfmark is harmless for PS-interpreters other than Distiller
223 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
224 % make '<<' and '>>' safe on PS Level 1 devices
225 /languagelevel where {pop languagelevel}{1} ifelse
227 userdict (<<) cvn ([) cvn load put
228 userdict (>>) cvn ([) cvn load put
233 %%PageBoundingBox: 36 36 1108 1263
234 %%PageOrientation: Portrait
236 35 35 1073 1228 boxprim clip newpath
239 0 0 translate 0 rotate
240 0.000 0.000 0.000 graphcolor
241 24.00 /Times-Roman set_font
242 % cluster_presentation
245 0.000 0.000 1.000 sethsbcolor
246 0.000 0.000 0.929 sethsbcolor
247 newpath 634 778 moveto
253 0.000 0.000 1.000 sethsbcolor
254 newpath 634 778 moveto
261 0.000 0.000 0.000 sethsbcolor
263 (Terms at the content and presentation level)
264 [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]
271 0.000 0.000 1.000 sethsbcolor
272 0.000 0.000 0.929 sethsbcolor
273 newpath 68 814 moveto
279 0.000 0.000 1.000 sethsbcolor
280 newpath 68 814 moveto
287 0.000 0.000 0.000 sethsbcolor
289 (Partially specified terms)
290 [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]
297 0.000 0.000 1.000 sethsbcolor
298 0.000 0.000 0.929 sethsbcolor
299 newpath 289 296 moveto
305 0.000 0.000 1.000 sethsbcolor
306 newpath 289 296 moveto
313 0.000 0.000 0.000 sethsbcolor
315 (Fully specified terms)
316 [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]
323 0.000 0.000 1.000 sethsbcolor
324 0.000 0.000 0.929 sethsbcolor
325 newpath 559 16 moveto
331 0.000 0.000 1.000 sethsbcolor
332 newpath 559 16 moveto
339 0.000 0.000 0.000 sethsbcolor
342 [17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
349 752 848 75 25 ellipse_path
354 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
361 352 636 54 25 ellipse_path
366 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
371 % acic_content -> cic_acic
372 newpath 717 825 moveto
373 691 809 653 789 617 778 curveto
374 592 769 579 786 557 770 curveto
375 532 750 552 725 528 704 curveto
376 490 668 465 687 416 668 curveto
377 410 665 404 663 398 660 curveto
382 0.000 0.000 0.000 edgecolor
383 newpath 399 657 moveto
388 0.000 0.000 0.000 edgecolor
389 newpath 399 657 moveto
398 752 936 109 25 ellipse_path
403 [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]
408 % cic_disambiguation -> acic_content
409 newpath 752 910 moveto
410 752 902 752 893 752 884 curveto
415 0.000 0.000 0.000 edgecolor
416 newpath 756 884 moveto
421 0.000 0.000 0.000 edgecolor
422 newpath 756 884 moveto
431 359 848 86 25 ellipse_path
436 [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]
441 % cic_disambiguation -> cic_unification
442 newpath 672 918 moveto
443 604 903 507 881 439 865 curveto
448 0.000 0.000 0.000 edgecolor
449 newpath 439 862 moveto
454 0.000 0.000 0.000 edgecolor
455 newpath 439 862 moveto
464 474 736 44 25 ellipse_path
469 [17.28 12 10.56 6.72 12]
474 % cic_disambiguation -> whelp
475 newpath 718 912 moveto
476 666 874 565 801 510 762 curveto
481 0.000 0.000 0.000 edgecolor
482 newpath 512 759 moveto
487 0.000 0.000 0.000 edgecolor
488 newpath 512 759 moveto
497 957 936 76 25 ellipse_path
502 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
507 % content_pres -> acic_content
508 newpath 910 916 moveto
509 879 903 840 886 808 872 curveto
514 0.000 0.000 0.000 edgecolor
515 newpath 810 869 moveto
520 0.000 0.000 0.000 edgecolor
521 newpath 810 869 moveto
530 873 366 75 25 ellipse_path
535 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
540 % content_pres -> utf8_macros
541 newpath 949 911 moveto
542 937 873 917 799 917 736 curveto
543 917 736 917 736 917 542 curveto
544 917 492 900 436 888 401 curveto
549 0.000 0.000 0.000 edgecolor
550 newpath 891 399 moveto
555 0.000 0.000 0.000 edgecolor
556 newpath 891 399 moveto
565 724 1128 81 25 ellipse_path
570 [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]
577 752 1024 45 25 ellipse_path
582 [9.36 12 10.56 10.56 6.72 12]
587 % grafite_parser -> sheath
588 newpath 731 1103 moveto
589 734 1090 739 1074 743 1059 curveto
594 0.000 0.000 0.000 edgecolor
595 newpath 746 1059 moveto
600 0.000 0.000 0.000 edgecolor
601 newpath 746 1059 moveto
610 161 936 46 25 ellipse_path
615 [12 7.92 10.56 7.92 6.72 6.72 10.56]
620 % grafite_parser -> grafite
621 newpath 670 1108 moveto
622 661 1106 651 1103 642 1102 curveto
623 625 1098 498 1104 484 1094 curveto
624 449 1066 489 1027 455 998 curveto
625 389 938 345 981 258 962 curveto
626 243 959 227 955 213 951 curveto
631 0.000 0.000 0.000 edgecolor
632 newpath 214 948 moveto
637 0.000 0.000 0.000 edgecolor
638 newpath 214 948 moveto
645 % sheath -> cic_disambiguation
646 newpath 752 998 moveto
647 752 990 752 981 752 972 curveto
652 0.000 0.000 0.000 edgecolor
653 newpath 756 972 moveto
658 0.000 0.000 0.000 edgecolor
659 newpath 756 972 moveto
666 % sheath -> content_pres
667 newpath 789 1008 moveto
668 820 995 865 976 901 960 curveto
673 0.000 0.000 0.000 edgecolor
674 newpath 902 963 moveto
679 0.000 0.000 0.000 edgecolor
680 newpath 902 963 moveto
689 359 736 46 25 ellipse_path
694 [6.72 6.72 12 7.92 10.56 7.92 12]
699 % cic_unification -> library
700 newpath 359 822 moveto
701 359 807 359 788 359 772 curveto
706 0.000 0.000 0.000 edgecolor
707 newpath 363 772 moveto
712 0.000 0.000 0.000 edgecolor
713 newpath 363 772 moveto
722 313 936 45 25 ellipse_path
727 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
732 % tactics -> cic_unification
733 newpath 326 911 moveto
734 331 902 336 892 340 882 curveto
739 0.000 0.000 0.000 edgecolor
740 newpath 343 883 moveto
745 0.000 0.000 0.000 edgecolor
746 newpath 343 883 moveto
754 newpath 289 914 moveto
755 279 903 268 889 263 874 curveto
756 249 833 234 808 263 778 curveto
757 275 765 399 774 415 770 curveto
758 423 768 430 764 437 761 curveto
763 0.000 0.000 0.000 edgecolor
764 newpath 439 764 moveto
769 0.000 0.000 0.000 edgecolor
770 newpath 439 764 moveto
779 355 1024 90 25 ellipse_path
784 [12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
789 % paramodulation -> tactics
790 newpath 343 999 moveto
791 338 990 333 980 329 970 curveto
796 0.000 0.000 0.000 edgecolor
797 newpath 332 969 moveto
802 0.000 0.000 0.000 edgecolor
803 newpath 332 969 moveto
812 408 454 28 25 ellipse_path
823 newpath 160 910 moveto
824 158 872 155 798 155 736 curveto
825 155 736 155 736 155 636 curveto
826 155 556 219 554 288 516 curveto
827 327 495 343 502 379 480 curveto
828 379 480 380 480 380 479 curveto
833 0.000 0.000 0.000 edgecolor
834 newpath 382 482 moveto
839 0.000 0.000 0.000 edgecolor
840 newpath 382 482 moveto
849 161 1024 84 25 ellipse_path
854 [12 7.92 10.56 7.92 6.72 6.72 10.56 12 10.56 12 12 6.72 12 10.56]
859 % grafite_engine -> tactics
860 newpath 200 1001 moveto
861 222 989 249 973 272 960 curveto
866 0.000 0.000 0.000 edgecolor
867 newpath 274 963 moveto
872 0.000 0.000 0.000 edgecolor
873 newpath 274 963 moveto
880 % grafite_engine -> grafite
881 newpath 161 998 moveto
882 161 990 161 981 161 972 curveto
887 0.000 0.000 0.000 edgecolor
888 newpath 165 972 moveto
893 0.000 0.000 0.000 edgecolor
894 newpath 165 972 moveto
903 424 366 70 25 ellipse_path
908 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
914 newpath 413 429 moveto
915 414 420 416 411 417 402 curveto
920 0.000 0.000 0.000 edgecolor
921 newpath 420 402 moveto
926 0.000 0.000 0.000 edgecolor
927 newpath 420 402 moveto
936 622 174 33 25 ellipse_path
947 newpath 383 440 moveto
948 369 431 352 417 344 400 curveto
949 325 358 319 334 344 296 curveto
950 396 216 514 188 578 178 curveto
955 0.000 0.000 0.000 edgecolor
956 newpath 578 181 moveto
961 0.000 0.000 0.000 edgecolor
962 newpath 578 181 moveto
971 408 542 110 25 ellipse_path
976 [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]
981 % cic_proof_checking -> cic
982 newpath 408 516 moveto
983 408 508 408 499 408 490 curveto
988 0.000 0.000 0.000 edgecolor
989 newpath 412 490 moveto
994 0.000 0.000 0.000 edgecolor
995 newpath 412 490 moveto
1004 500 454 42 25 ellipse_path
1009 [12 10.56 6.72 6.72 10.56 7.92]
1014 % cic_proof_checking -> getter
1015 newpath 418 516 moveto
1016 430 501 446 487 460 477 curveto
1021 0.000 0.000 0.000 edgecolor
1022 newpath 462 480 moveto
1027 0.000 0.000 0.000 edgecolor
1028 newpath 462 480 moveto
1035 % getter -> urimanager
1036 newpath 480 431 moveto
1037 472 421 461 409 452 398 curveto
1042 0.000 0.000 0.000 edgecolor
1043 newpath 455 396 moveto
1048 0.000 0.000 0.000 edgecolor
1049 newpath 455 396 moveto
1058 748 262 52 25 ellipse_path
1063 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
1068 % getter -> registry
1069 newpath 501 428 moveto
1070 505 392 517 327 558 296 curveto
1071 570 287 673 291 686 288 curveto
1072 691 287 696 285 700 284 curveto
1077 0.000 0.000 0.000 edgecolor
1078 newpath 702 287 moveto
1083 0.000 0.000 0.000 edgecolor
1084 newpath 702 287 moveto
1093 613 366 45 25 ellipse_path
1098 [6.72 12 12 12 10.56 7.92]
1104 newpath 526 434 moveto
1105 541 422 561 406 578 393 curveto
1110 0.000 0.000 0.000 edgecolor
1111 newpath 580 396 moveto
1116 0.000 0.000 0.000 edgecolor
1117 newpath 580 396 moveto
1126 484 636 58 25 ellipse_path
1131 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
1137 newpath 505 612 moveto
1138 525 586 548 546 528 516 curveto
1139 507 483 483 498 448 480 curveto
1140 445 478 443 477 440 475 curveto
1145 0.000 0.000 0.000 edgecolor
1146 newpath 441 472 moveto
1151 0.000 0.000 0.000 edgecolor
1152 newpath 441 472 moveto
1161 728 366 50 25 ellipse_path
1166 [12 18.72 12 9.36 12 6.72]
1171 % metadata -> hmysql
1172 newpath 539 626 moveto
1173 600 616 638 623 686 568 curveto
1174 727 521 731 446 730 402 curveto
1179 0.000 0.000 0.000 edgecolor
1180 newpath 734 402 moveto
1185 0.000 0.000 0.000 edgecolor
1186 newpath 734 402 moveto
1194 newpath 477 711 moveto
1195 479 699 480 685 481 672 curveto
1200 0.000 0.000 0.000 edgecolor
1201 newpath 484 672 moveto
1206 0.000 0.000 0.000 edgecolor
1207 newpath 484 672 moveto
1214 % library -> metadata
1215 newpath 386 715 moveto
1216 404 700 428 680 448 664 curveto
1221 0.000 0.000 0.000 edgecolor
1222 newpath 450 667 moveto
1227 0.000 0.000 0.000 edgecolor
1228 newpath 450 667 moveto
1235 % library -> cic_acic
1236 newpath 357 711 moveto
1237 356 699 355 685 355 672 curveto
1242 0.000 0.000 0.000 edgecolor
1243 newpath 358 672 moveto
1248 0.000 0.000 0.000 edgecolor
1249 newpath 358 672 moveto
1256 % cic_acic -> cic_proof_checking
1257 newpath 367 611 moveto
1258 373 600 381 587 388 576 curveto
1263 0.000 0.000 0.000 edgecolor
1264 newpath 391 577 moveto
1269 0.000 0.000 0.000 edgecolor
1270 newpath 391 577 moveto
1279 622 86 42 25 ellipse_path
1284 [10.56 12 6.72 6.72 6.72 12]
1291 622 262 54 25 ellipse_path
1296 [12 12 12 12 18.72 10.56]
1302 newpath 622 236 moveto
1303 622 228 622 219 622 210 curveto
1308 0.000 0.000 0.000 edgecolor
1309 newpath 626 210 moveto
1314 0.000 0.000 0.000 edgecolor
1315 newpath 626 210 moveto
1322 % hmysql -> registry
1323 newpath 733 341 moveto
1324 735 328 738 312 741 298 curveto
1329 0.000 0.000 0.000 edgecolor
1330 newpath 744 298 moveto
1335 0.000 0.000 0.000 edgecolor
1336 newpath 744 298 moveto
1344 newpath 718 241 moveto
1345 699 228 674 211 655 197 curveto
1350 0.000 0.000 0.000 edgecolor
1351 newpath 657 194 moveto
1356 0.000 0.000 0.000 edgecolor
1357 newpath 657 194 moveto
1365 newpath 622 148 moveto
1366 622 140 622 131 622 122 curveto
1371 0.000 0.000 0.000 edgecolor
1372 newpath 626 122 moveto
1377 0.000 0.000 0.000 edgecolor
1378 newpath 626 122 moveto
1385 % DependencyAnalyzer
1388 0.584 0.220 0.933 nodecolor
1389 0.584 0.220 0.933 nodecolor
1390 newpath 711 768 moveto
1396 0.584 0.220 0.933 nodecolor
1397 newpath 711 768 moveto
1404 0.000 0.000 0.000 nodecolor
1407 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
1411 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
1416 % DependencyAnalyzer -> metadata
1417 newpath 592 704 moveto
1418 570 691 546 675 526 662 curveto
1423 0.000 0.000 0.000 edgecolor
1424 newpath 527 659 moveto
1429 0.000 0.000 0.000 edgecolor
1430 newpath 527 659 moveto
1440 0.584 0.220 0.933 nodecolor
1441 0.584 0.220 0.933 nodecolor
1442 newpath 635 560 moveto
1448 0.584 0.220 0.933 nodecolor
1449 newpath 635 560 moveto
1456 0.000 0.000 0.000 nodecolor
1459 [17.28 10.56 6.72 6.72 10.56 7.92]
1465 newpath 577 524 moveto
1466 563 512 546 496 532 483 curveto
1471 0.000 0.000 0.000 edgecolor
1472 newpath 534 480 moveto
1477 0.000 0.000 0.000 edgecolor
1478 newpath 534 480 moveto
1488 0.584 0.220 0.933 nodecolor
1489 0.584 0.220 0.933 nodecolor
1490 newpath 394 1226 moveto
1496 0.584 0.220 0.933 nodecolor
1497 newpath 394 1226 moveto
1504 0.000 0.000 0.000 nodecolor
1507 [21.36 10.56 6.72 6.72 6.72 10.56]
1512 % Matita -> cic_disambiguation
1513 newpath 372 1190 moveto
1514 393 1167 429 1129 458 1094 curveto
1515 493 1052 487 1028 531 998 curveto
1516 565 975 607 961 646 951 curveto
1521 0.000 0.000 0.000 edgecolor
1522 newpath 647 954 moveto
1527 0.000 0.000 0.000 edgecolor
1528 newpath 647 954 moveto
1535 % Matita -> grafite_parser
1536 newpath 394 1205 moveto
1537 450 1199 556 1186 642 1162 curveto
1538 651 1160 660 1156 669 1153 curveto
1543 0.000 0.000 0.000 edgecolor
1544 newpath 670 1156 moveto
1549 0.000 0.000 0.000 edgecolor
1550 newpath 670 1156 moveto
1557 % Matita -> paramodulation
1558 newpath 355 1190 moveto
1559 355 1160 355 1099 355 1060 curveto
1564 0.000 0.000 0.000 edgecolor
1565 newpath 359 1060 moveto
1570 0.000 0.000 0.000 edgecolor
1571 newpath 359 1060 moveto
1578 % Matita -> grafite_engine
1579 newpath 336 1190 moveto
1580 303 1158 236 1094 194 1056 curveto
1585 0.000 0.000 0.000 edgecolor
1586 newpath 197 1054 moveto
1591 0.000 0.000 0.000 edgecolor
1592 newpath 197 1054 moveto
1600 newpath 316 1204 moveto
1601 253 1196 129 1171 64 1094 curveto
1602 44 1069 48 1055 48 1024 curveto
1603 48 1024 48 1024 48 454 curveto
1604 48 327 166 338 285 296 curveto
1605 334 278 473 269 557 265 curveto
1610 0.000 0.000 0.000 edgecolor
1611 newpath 557 268 moveto
1616 0.000 0.000 0.000 edgecolor
1617 newpath 557 268 moveto
1627 0.584 0.220 0.933 nodecolor
1628 0.584 0.220 0.933 nodecolor
1629 newpath 279 668 moveto
1635 0.584 0.220 0.933 nodecolor
1636 newpath 279 668 moveto
1643 0.000 0.000 0.000 nodecolor
1646 [13.44 7.92 12 12 7.92]
1650 [16.08 12 10.56 10.56 12 10.56 7.92]
1655 % ProofChecker -> cic_proof_checking
1656 newpath 279 607 moveto
1657 281 606 283 605 285 604 curveto
1658 306 592 330 580 351 569 curveto
1663 0.000 0.000 0.000 edgecolor
1664 newpath 352 572 moveto
1669 0.000 0.000 0.000 edgecolor
1670 newpath 352 572 moveto
1680 0.584 0.220 0.933 nodecolor
1681 0.584 0.220 0.933 nodecolor
1682 newpath 626 1042 moveto
1688 0.584 0.220 0.933 nodecolor
1689 newpath 626 1042 moveto
1696 0.000 0.000 0.000 nodecolor
1699 [17.28 17.28 12 12 12]
1704 % Uwobo -> content_pres
1705 newpath 612 1006 moveto
1706 618 1003 624 1000 630 998 curveto
1707 733 963 766 985 871 962 curveto
1708 878 961 884 959 891 957 curveto
1713 0.000 0.000 0.000 edgecolor
1714 newpath 892 960 moveto
1719 0.000 0.000 0.000 edgecolor
1720 newpath 892 960 moveto
1730 0.584 0.220 0.933 nodecolor
1731 0.584 0.220 0.933 nodecolor
1732 newpath 764 1226 moveto
1738 0.584 0.220 0.933 nodecolor
1739 newpath 764 1226 moveto
1746 0.000 0.000 0.000 nodecolor
1749 [22.56 12 10.56 6.72 12]
1754 % Whelp -> grafite_parser
1755 newpath 724 1190 moveto
1756 724 1182 724 1173 724 1164 curveto
1761 0.000 0.000 0.000 edgecolor
1762 newpath 728 1164 moveto
1767 0.000 0.000 0.000 edgecolor
1768 newpath 728 1164 moveto