2 %%Creator: dot version 2.2.1 (Fri Sep 30 13:22:44 UTC 2005)
3 %%For: (zacchiro) Stefano Zacchiroli,,,
6 %%BoundingBox: 35 35 1079 1753
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 1079 1753
234 %%PageOrientation: Portrait
236 35 35 1044 1718 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 486 1080 moveto
253 0.000 0.000 1.000 sethsbcolor
254 newpath 486 1080 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 1116 moveto
279 0.000 0.000 1.000 sethsbcolor
280 newpath 68 1116 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 280 416 moveto
305 0.000 0.000 1.000 sethsbcolor
306 newpath 280 416 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 582 16 moveto
331 0.000 0.000 1.000 sethsbcolor
332 newpath 582 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 610 1170 81 45 ellipse_path
354 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
358 [12 6 12 6 12 6.72 12 10.56 9.36]
365 353 890 64 45 ellipse_path
370 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
374 [12 6 12 6 12 6.72 12 10.56 9.36]
379 % acic_content -> cic_acic
380 newpath 602 1124 moveto
381 593 1069 576 983 565 972 curveto
382 521 926 486 961 427 936 curveto
383 421 933 415 930 409 927 curveto
388 0.000 0.000 0.000 edgecolor
389 newpath 410 924 moveto
394 0.000 0.000 0.000 edgecolor
395 newpath 410 924 moveto
404 610 1298 115 45 ellipse_path
409 [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]
413 [12 6 12 6 12 6.72 12 10.56 9.36]
418 % cic_disambiguation -> acic_content
419 newpath 610 1252 moveto
420 610 1244 610 1235 610 1226 curveto
425 0.000 0.000 0.000 edgecolor
426 newpath 614 1226 moveto
431 0.000 0.000 0.000 edgecolor
432 newpath 614 1226 moveto
441 259 1170 92 45 ellipse_path
446 [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]
450 [12 6 12 6 12 6.72 12 10.56 9.36]
455 % cic_disambiguation -> cic_unification
456 newpath 525 1267 moveto
457 469 1247 399 1221 344 1201 curveto
462 0.000 0.000 0.000 edgecolor
463 newpath 345 1197 moveto
468 0.000 0.000 0.000 edgecolor
469 newpath 345 1197 moveto
478 497 1018 58 45 ellipse_path
483 [17.28 12 10.56 6.72 12]
487 [6 12 6 12 6.72 12 10.56 9.36]
492 % cic_disambiguation -> whelp
493 newpath 553 1258 moveto
494 540 1246 527 1232 519 1216 curveto
495 497 1172 493 1116 493 1074 curveto
500 0.000 0.000 0.000 edgecolor
501 newpath 497 1074 moveto
506 0.000 0.000 0.000 edgecolor
507 newpath 497 1074 moveto
516 827 1298 82 45 ellipse_path
521 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
525 [12 6 12 6 12 6.72 12 10.56 9.36]
530 % content_pres -> acic_content
531 newpath 770 1265 moveto
532 741 1248 705 1226 675 1208 curveto
537 0.000 0.000 0.000 edgecolor
538 newpath 676 1205 moveto
543 0.000 0.000 0.000 edgecolor
544 newpath 676 1205 moveto
553 944 506 81 45 ellipse_path
558 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
562 [6 12 6 12 6.72 12 10.56 9.36]
567 % content_pres -> utf8_macros
568 newpath 842 1253 moveto
569 859 1198 885 1102 885 1018 curveto
570 885 1018 885 1018 885 762 curveto
571 885 691 907 612 924 561 curveto
576 0.000 0.000 0.000 edgecolor
577 newpath 927 562 moveto
582 0.000 0.000 0.000 edgecolor
583 newpath 927 562 moveto
592 582 1570 87 45 ellipse_path
597 [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]
601 [12 6 12 6 12 6.72 12 10.56 9.36]
608 610 1426 58 45 ellipse_path
613 [6.72 10.56 12 6.72 10.56 12 12]
617 [6 12 6 12 6.72 12 10.56 9.36]
622 % grafite_parser -> lexicon
623 newpath 591 1524 moveto
624 593 1510 596 1495 599 1481 curveto
629 0.000 0.000 0.000 edgecolor
630 newpath 602 1481 moveto
635 0.000 0.000 0.000 edgecolor
636 newpath 602 1481 moveto
645 135 1298 58 45 ellipse_path
650 [12 7.92 10.56 7.92 6.72 6.72 10.56]
654 [6 12 6 12 6.72 12 10.56 9.36]
659 % grafite_parser -> grafite
660 newpath 524 1535 moveto
661 515 1531 504 1527 494 1524 curveto
662 476 1519 339 1527 323 1516 curveto
663 273 1477 323 1427 281 1380 curveto
664 256 1351 236 1364 203 1344 curveto
665 197 1340 193 1336 189 1333 curveto
670 0.000 0.000 0.000 edgecolor
671 newpath 192 1331 moveto
676 0.000 0.000 0.000 edgecolor
677 newpath 192 1331 moveto
684 % lexicon -> cic_disambiguation
685 newpath 610 1380 moveto
686 610 1372 610 1363 610 1354 curveto
691 0.000 0.000 0.000 edgecolor
692 newpath 614 1354 moveto
697 0.000 0.000 0.000 edgecolor
698 newpath 614 1354 moveto
705 % lexicon -> content_pres
706 newpath 657 1398 moveto
707 687 1381 728 1356 761 1337 curveto
712 0.000 0.000 0.000 edgecolor
713 newpath 763 1340 moveto
718 0.000 0.000 0.000 edgecolor
719 newpath 763 1340 moveto
728 353 1018 64 45 ellipse_path
733 [6.72 6.72 12 7.92 10.56 7.92 12]
737 [12 6 12 6 12 6.72 12 10.56 9.36]
742 % cic_unification -> library
743 newpath 286 1126 moveto
744 297 1108 311 1088 322 1069 curveto
749 0.000 0.000 0.000 edgecolor
750 newpath 325 1070 moveto
755 0.000 0.000 0.000 edgecolor
756 newpath 325 1070 moveto
765 282 1298 69 45 ellipse_path
770 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
774 [12 12 6 12 6 12 6.72 12 10.56 9.36]
779 % tactics -> cic_unification
780 newpath 274 1253 moveto
781 273 1244 271 1235 269 1226 curveto
786 0.000 0.000 0.000 edgecolor
787 newpath 272 1225 moveto
792 0.000 0.000 0.000 edgecolor
793 newpath 272 1225 moveto
801 newpath 230 1267 moveto
802 198 1247 161 1224 157 1216 curveto
803 129 1162 115 1123 157 1080 curveto
804 168 1069 413 1077 427 1072 curveto
805 436 1069 444 1065 452 1059 curveto
810 0.000 0.000 0.000 edgecolor
811 newpath 454 1062 moveto
816 0.000 0.000 0.000 edgecolor
817 newpath 454 1062 moveto
826 353 634 64 45 ellipse_path
835 [12 6 12 6 12 6.72 12 10.56 9.36]
841 newpath 122 1253 moveto
842 108 1198 86 1102 86 1018 curveto
843 86 1018 86 1018 86 890 curveto
844 86 869 86 861 96 844 curveto
845 110 822 230 728 301 674 curveto
850 0.000 0.000 0.000 edgecolor
851 newpath 303 677 moveto
856 0.000 0.000 0.000 edgecolor
857 newpath 303 677 moveto
866 181 1426 90 45 ellipse_path
871 [12 7.92 10.56 7.92 6.72 6.72 10.56 12 10.56 12 12 6.72 12 10.56]
875 [12 6 12 6 12 6.72 12 10.56 9.36]
880 % grafite_engine -> tactics
881 newpath 191 1380 moveto
882 200 1364 213 1350 227 1338 curveto
887 0.000 0.000 0.000 edgecolor
888 newpath 229 1341 moveto
893 0.000 0.000 0.000 edgecolor
894 newpath 229 1341 moveto
901 % grafite_engine -> grafite
902 newpath 165 1381 moveto
903 162 1371 158 1361 155 1351 curveto
908 0.000 0.000 0.000 edgecolor
909 newpath 158 1350 moveto
914 0.000 0.000 0.000 edgecolor
915 newpath 158 1350 moveto
924 380 506 76 45 ellipse_path
929 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
933 [6 12 6 12 6.72 12 10.56 9.36]
939 newpath 363 589 moveto
940 364 580 366 570 368 561 curveto
945 0.000 0.000 0.000 edgecolor
946 newpath 371 561 moveto
951 0.000 0.000 0.000 edgecolor
952 newpath 371 561 moveto
961 652 234 58 45 ellipse_path
970 [6 12 6 12 6.72 12 10.56 9.36]
976 newpath 315 596 moveto
977 307 585 299 573 294 560 curveto
978 273 499 261 470 294 416 curveto
979 357 312 500 266 584 246 curveto
984 0.000 0.000 0.000 edgecolor
985 newpath 585 249 moveto
990 0.000 0.000 0.000 edgecolor
991 newpath 585 249 moveto
1000 405 762 116 45 ellipse_path
1004 (cic_proof_checking)
1005 [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]
1009 [12 6 12 6 12 6.72 12 10.56 9.36]
1014 % cic_proof_checking -> cic
1015 newpath 387 717 moveto
1016 383 707 379 697 375 687 curveto
1021 0.000 0.000 0.000 edgecolor
1022 newpath 378 686 moveto
1027 0.000 0.000 0.000 edgecolor
1028 newpath 378 686 moveto
1037 501 634 64 45 ellipse_path
1042 [12 10.56 6.72 6.72 10.56 7.92]
1046 [12 6 12 6 12 6.72 12 10.56 9.36]
1051 % cic_proof_checking -> getter
1052 newpath 415 716 moveto
1053 423 700 436 686 449 674 curveto
1058 0.000 0.000 0.000 edgecolor
1059 newpath 451 677 moveto
1064 0.000 0.000 0.000 edgecolor
1065 newpath 451 677 moveto
1072 % getter -> urimanager
1073 newpath 465 596 moveto
1074 452 583 438 568 425 554 curveto
1079 0.000 0.000 0.000 edgecolor
1080 newpath 427 551 moveto
1085 0.000 0.000 0.000 edgecolor
1086 newpath 427 551 moveto
1095 789 362 58 45 ellipse_path
1100 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
1104 [6 12 6 12 6.72 12 10.56 9.36]
1109 % getter -> registry
1110 newpath 504 588 moveto
1111 510 537 527 456 581 416 curveto
1112 594 406 707 412 721 408 curveto
1113 727 406 733 403 739 400 curveto
1118 0.000 0.000 0.000 edgecolor
1119 newpath 741 403 moveto
1124 0.000 0.000 0.000 edgecolor
1125 newpath 741 403 moveto
1134 649 506 58 45 ellipse_path
1139 [6.72 12 12 12 10.56 7.92]
1143 [6 12 6 12 6.72 12 10.56 9.36]
1149 newpath 542 598 moveto
1150 560 582 583 563 601 547 curveto
1155 0.000 0.000 0.000 edgecolor
1156 newpath 604 549 moveto
1161 0.000 0.000 0.000 edgecolor
1162 newpath 604 549 moveto
1171 501 890 64 45 ellipse_path
1176 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
1180 [12 6 12 6 12 6.72 12 10.56 9.36]
1186 newpath 520 846 moveto
1187 525 834 529 821 531 808 curveto
1188 535 787 543 732 531 716 curveto
1189 503 676 471 703 427 680 curveto
1190 420 676 415 673 411 669 curveto
1195 0.000 0.000 0.000 edgecolor
1196 newpath 414 667 moveto
1201 0.000 0.000 0.000 edgecolor
1202 newpath 414 667 moveto
1211 785 506 58 45 ellipse_path
1216 [12 18.72 12 9.36 12 6.72]
1220 [6 12 6 12 6.72 12 10.56 9.36]
1225 % metadata -> hmysql
1226 newpath 563 876 moveto
1227 625 861 715 835 737 808 curveto
1228 794 738 797 628 792 561 curveto
1233 0.000 0.000 0.000 edgecolor
1234 newpath 795 561 moveto
1239 0.000 0.000 0.000 edgecolor
1240 newpath 795 561 moveto
1248 newpath 498 973 moveto
1249 499 964 499 955 499 946 curveto
1254 0.000 0.000 0.000 edgecolor
1255 newpath 502 946 moveto
1260 0.000 0.000 0.000 edgecolor
1261 newpath 502 946 moveto
1268 % library -> metadata
1269 newpath 394 982 moveto
1270 412 966 433 948 452 932 curveto
1275 0.000 0.000 0.000 edgecolor
1276 newpath 455 934 moveto
1281 0.000 0.000 0.000 edgecolor
1282 newpath 455 934 moveto
1289 % library -> cic_acic
1290 newpath 353 972 moveto
1291 353 964 353 955 353 946 curveto
1296 0.000 0.000 0.000 edgecolor
1297 newpath 357 946 moveto
1302 0.000 0.000 0.000 edgecolor
1303 newpath 357 946 moveto
1310 % cic_acic -> cic_proof_checking
1311 newpath 371 846 moveto
1312 375 836 379 826 383 816 curveto
1317 0.000 0.000 0.000 edgecolor
1318 newpath 386 818 moveto
1323 0.000 0.000 0.000 edgecolor
1324 newpath 386 818 moveto
1333 654 106 63 45 ellipse_path
1338 [10.56 12 6.72 6.72 6.72 12]
1342 [12 6 12 6 12 6.72 12 10.56 9.36]
1349 651 362 60 45 ellipse_path
1354 [12 12 12 12 18.72 10.56]
1358 [6 12 6 12 6.72 12 10.56 9.36]
1364 newpath 651 316 moveto
1365 651 308 651 299 652 290 curveto
1370 0.000 0.000 0.000 edgecolor
1371 newpath 656 290 moveto
1376 0.000 0.000 0.000 edgecolor
1377 newpath 656 290 moveto
1384 % hmysql -> registry
1385 newpath 786 460 moveto
1386 786 446 787 432 787 418 curveto
1391 0.000 0.000 0.000 edgecolor
1392 newpath 791 418 moveto
1397 0.000 0.000 0.000 edgecolor
1398 newpath 791 418 moveto
1406 newpath 751 327 moveto
1407 734 311 715 292 697 276 curveto
1412 0.000 0.000 0.000 edgecolor
1413 newpath 700 274 moveto
1418 0.000 0.000 0.000 edgecolor
1419 newpath 700 274 moveto
1427 newpath 653 188 moveto
1428 653 180 653 171 653 162 curveto
1433 0.000 0.000 0.000 edgecolor
1434 newpath 657 162 moveto
1439 0.000 0.000 0.000 edgecolor
1440 newpath 657 162 moveto
1447 % DependencyAnalyzer
1450 0.584 0.220 0.933 nodecolor
1451 0.584 0.220 0.933 nodecolor
1452 newpath 748 1064 moveto
1458 0.584 0.220 0.933 nodecolor
1459 newpath 748 1064 moveto
1466 0.000 0.000 0.000 nodecolor
1469 [17.28 10.56 12 10.56 12 12 10.56 12 10.56 12]
1473 [17.28 12 10.56 6.72 12 10.56 10.56 7.92]
1477 [6 6 12 6 12 6.72 12 10.56 9.36]
1482 % DependencyAnalyzer -> metadata
1483 newpath 616 972 moveto
1484 596 958 574 942 555 928 curveto
1489 0.000 0.000 0.000 edgecolor
1490 newpath 557 925 moveto
1495 0.000 0.000 0.000 edgecolor
1496 newpath 557 925 moveto
1506 0.584 0.220 0.933 nodecolor
1507 0.584 0.220 0.933 nodecolor
1508 newpath 680 794 moveto
1514 0.584 0.220 0.933 nodecolor
1515 newpath 680 794 moveto
1522 0.000 0.000 0.000 nodecolor
1525 [17.28 10.56 6.72 6.72 10.56 7.92]
1529 [6 6 12 6 12 6.72 12 10.56 9.36]
1535 newpath 598 730 moveto
1536 582 714 563 695 546 678 curveto
1541 0.000 0.000 0.000 edgecolor
1542 newpath 549 676 moveto
1547 0.000 0.000 0.000 edgecolor
1548 newpath 549 676 moveto
1558 0.584 0.220 0.933 nodecolor
1559 0.584 0.220 0.933 nodecolor
1560 newpath 236 1716 moveto
1566 0.584 0.220 0.933 nodecolor
1567 newpath 236 1716 moveto
1574 0.000 0.000 0.000 nodecolor
1577 [21.36 10.56 6.72 6.72 6.72 10.56]
1581 [6 12 6 12 6 12 6.72 12 10.56 9.36]
1586 % Matita -> grafite_parser
1587 newpath 236 1679 moveto
1588 300 1673 408 1657 494 1624 curveto
1589 503 1620 512 1616 520 1611 curveto
1594 0.000 0.000 0.000 edgecolor
1595 newpath 522 1614 moveto
1600 0.000 0.000 0.000 edgecolor
1601 newpath 522 1614 moveto
1608 % Matita -> grafite_engine
1609 newpath 181 1652 moveto
1610 181 1610 181 1534 181 1482 curveto
1615 0.000 0.000 0.000 edgecolor
1616 newpath 185 1482 moveto
1621 0.000 0.000 0.000 edgecolor
1622 newpath 185 1482 moveto
1630 newpath 152 1652 moveto
1631 125 1620 86 1568 64 1516 curveto
1632 49 1478 48 1466 48 1426 curveto
1633 48 1426 48 1426 48 634 curveto
1634 48 493 150 477 276 416 curveto
1635 328 391 487 374 580 367 curveto
1640 0.000 0.000 0.000 edgecolor
1641 newpath 580 370 moveto
1646 0.000 0.000 0.000 edgecolor
1647 newpath 580 370 moveto
1657 0.584 0.220 0.933 nodecolor
1658 0.584 0.220 0.933 nodecolor
1659 newpath 270 922 moveto
1665 0.584 0.220 0.933 nodecolor
1666 newpath 270 922 moveto
1673 0.000 0.000 0.000 nodecolor
1676 [13.44 7.92 12 12 7.92 6 16.08 12 10.56 10.56 12 10.56 7.92]
1680 [6 6 12 6 12 6.72 12 10.56 9.36]
1685 % ProofChecker -> cic_proof_checking
1686 newpath 245 858 moveto
1687 271 842 304 823 332 805 curveto
1692 0.000 0.000 0.000 edgecolor
1693 newpath 334 808 moveto
1698 0.000 0.000 0.000 edgecolor
1699 newpath 334 808 moveto
1709 0.584 0.220 0.933 nodecolor
1710 0.584 0.220 0.933 nodecolor
1711 newpath 478 1458 moveto
1717 0.584 0.220 0.933 nodecolor
1718 newpath 478 1458 moveto
1725 0.000 0.000 0.000 nodecolor
1728 [17.28 17.28 12 12 12]
1732 [6 12 6 12 6 12 6.72 12 10.56 9.36]
1737 % Uwobo -> content_pres
1738 newpath 459 1394 moveto
1739 466 1388 474 1384 482 1380 curveto
1740 587 1335 627 1377 735 1344 curveto
1741 743 1341 751 1338 759 1335 curveto
1746 0.000 0.000 0.000 edgecolor
1747 newpath 760 1338 moveto
1752 0.000 0.000 0.000 edgecolor
1753 newpath 760 1338 moveto
1763 0.584 0.220 0.933 nodecolor
1764 0.584 0.220 0.933 nodecolor
1765 newpath 631 1716 moveto
1771 0.584 0.220 0.933 nodecolor
1772 newpath 631 1716 moveto
1779 0.000 0.000 0.000 nodecolor
1782 [22.56 12 10.56 6.72 12]
1786 [6 6 12 6 12 6.72 12 10.56 9.36]
1791 % Whelp -> grafite_parser
1792 newpath 582 1652 moveto
1793 582 1644 582 1635 582 1626 curveto
1798 0.000 0.000 0.000 edgecolor
1799 newpath 586 1626 moveto
1804 0.000 0.000 0.000 edgecolor
1805 newpath 586 1626 moveto