From: Stefano Zacchiroli Date: Wed, 16 Nov 2005 15:43:55 +0000 (+0000) Subject: - begin{grafite} environment for script snippets X-Git-Tag: V_0_7_2_3~62 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3b744d6e811f514b800c0dc3b57038f01d4ba8a6;p=helm.git - begin{grafite} environment for script snippets - more on disambiguation phase --- diff --git a/helm/papers/matita/input_phase.dia b/helm/papers/matita/input_phase.dia new file mode 100644 index 000000000..5605943c9 Binary files /dev/null and b/helm/papers/matita/input_phase.dia differ diff --git a/helm/papers/matita/input_phase.eps b/helm/papers/matita/input_phase.eps new file mode 100644 index 000000000..1c804dd62 --- /dev/null +++ b/helm/papers/matita/input_phase.eps @@ -0,0 +1,5329 @@ +%!PS-Adobe-2.0 EPSF-2.0 +%%Title: input_phase.dia +%%Creator: Dia v0.94 +%%CreationDate: Wed Nov 16 14:42:24 2005 +%%For: zacchiro +%%Orientation: Portrait +%%Magnification: 1.0000 +%%BoundingBox: 0 0 1560 666 +%%BeginSetup +%%EndSetup +%%EndComments +%%BeginProlog +[ /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /space /exclam /quotedbl /numbersign /dollar /percent /ampersand /quoteright +/parenleft /parenright /asterisk /plus /comma /hyphen /period /slash /zero /one +/two /three /four /five /six /seven /eight /nine /colon /semicolon +/less /equal /greater /question /at /A /B /C /D /E +/F /G /H /I /J /K /L /M /N /O +/P /Q /R /S /T /U /V /W /X /Y +/Z /bracketleft /backslash /bracketright /asciicircum /underscore /quoteleft /a /b /c +/d /e /f /g /h /i /j /k /l /m +/n /o /p /q /r /s /t /u /v /w +/x /y /z /braceleft /bar /braceright /asciitilde /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef +/space /exclamdown /cent /sterling /currency /yen /brokenbar /section /dieresis /copyright +/ordfeminine /guillemotleft /logicalnot /hyphen /registered /macron /degree /plusminus /twosuperior /threesuperior +/acute /mu /paragraph /periodcentered /cedilla /onesuperior /ordmasculine /guillemotright /onequarter /onehalf +/threequarters /questiondown /Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring /AE /Ccedilla +/Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute /Icircumflex /Idieresis /Eth /Ntilde +/Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply /Oslash /Ugrave /Uacute /Ucircumflex +/Udieresis /Yacute /Thorn /germandbls /agrave /aacute /acircumflex /atilde /adieresis /aring +/ae /ccedilla /egrave /eacute /ecircumflex /edieresis /igrave /iacute /icircumflex /idieresis +/eth /ntilde /ograve /oacute /ocircumflex /otilde /odieresis /divide /oslash /ugrave +/uacute /ucircumflex /udieresis /yacute /thorn /ydieresis] /isolatin1encoding exch def +/cp {closepath} bind def +/c {curveto} bind def +/f {fill} bind def +/a {arc} bind def +/ef {eofill} bind def +/ex {exch} bind def +/gr {grestore} bind def +/gs {gsave} bind def +/sa {save} bind def +/rs {restore} bind def +/l {lineto} bind def +/m {moveto} bind def +/rm {rmoveto} bind def +/n {newpath} bind def +/s {stroke} bind def +/sh {show} bind def +/slc {setlinecap} bind def +/slj {setlinejoin} bind def +/slw {setlinewidth} bind def +/srgb {setrgbcolor} bind def +/rot {rotate} bind def +/sc {scale} bind def +/sd {setdash} bind def +/ff {findfont} bind def +/sf {setfont} bind def +/scf {scalefont} bind def +/sw {stringwidth pop} bind def +/tr {translate} bind def + +/ellipsedict 8 dict def +ellipsedict /mtrx matrix put +/ellipse +{ ellipsedict begin + /endangle exch def + /startangle exch def + /yrad exch def + /xrad exch def + /y exch def + /x exch def /savematrix mtrx currentmatrix def + x y tr xrad yrad sc + 0 0 1 startangle endangle arc + savematrix setmatrix + end +} def + +/mergeprocs { +dup length +3 -1 roll +dup +length +dup +5 1 roll +3 -1 roll +add +array cvx +dup +3 -1 roll +0 exch +putinterval +dup +4 2 roll +putinterval +} bind def +/dpi_x 300 def +/dpi_y 300 def +/conicto { + /to_y exch def + /to_x exch def + /conic_cntrl_y exch def + /conic_cntrl_x exch def + currentpoint + /p0_y exch def + /p0_x exch def + /p1_x p0_x conic_cntrl_x p0_x sub 2 3 div mul add def + /p1_y p0_y conic_cntrl_y p0_y sub 2 3 div mul add def + /p2_x p1_x to_x p0_x sub 1 3 div mul add def + /p2_y p1_y to_y p0_y sub 1 3 div mul add def + p1_x p1_y p2_x p2_y to_x to_y curveto +} bind def +/start_ol { gsave 1.1 dpi_x div dup scale} bind def +/end_ol { closepath fill grestore } bind def +28.346000 -28.346000 scale +-2.022310 -35.523300 translate +%%EndProlog + + +0.200000 slw +[] 0 sd +[] 0 sd +0 slc +0.000000 0.000000 0.000000 srgb +n 28.782600 17.183800 m 37.908996 17.161029 l s +[] 0 sd +0 slj +0 slc +n 38.658994 17.159158 m 37.660245 17.661651 l 37.908996 17.161029 l 37.657749 16.661655 l ef +n 38.658994 17.159158 m 37.660245 17.661651 l 37.908996 17.161029 l 37.657749 16.661655 l cp s +gsave 28.782600 16.208600 translate 0.035278 -0.035278 scale +start_ol +2368 5056 moveto +2368 1216 lineto +2949 1216 lineto +3944 1216 4468 1709 conicto +4992 2202 4992 3142 conicto +4992 4078 4470 4567 conicto +3948 5056 2949 5056 conicto +2368 5056 lineto +768 6272 moveto +2457 6272 lineto +3886 6272 4586 6068 conicto +5286 5865 5786 5377 conicto +6227 4953 6441 4398 conicto +6656 3844 6656 3142 conicto +6656 2433 6441 1876 conicto +6227 1319 5786 895 conicto +5281 407 4575 203 conicto +3869 0 2457 0 conicto +768 0 lineto +768 6272 lineto +end_ol grestore +gsave 29.722400 16.208600 translate 0.035278 -0.035278 scale +start_ol +704 4672 moveto +2176 4672 lineto +2176 0 lineto +704 0 lineto +704 4672 lineto +704 6528 moveto +2176 6528 lineto +2176 5248 lineto +704 5248 lineto +704 6528 lineto +end_ol grestore +gsave 30.111867 16.208600 translate 0.035278 -0.035278 scale +start_ol +4352 4608 moveto +4352 3456 lineto +3893 3648 3466 3744 conicto +3039 3840 2659 3840 conicto +2252 3840 2054 3733 conicto +1856 3627 1856 3405 conicto +1856 3225 2002 3128 conicto +2149 3032 2528 2986 conicto +2775 2948 lineto +3897 2799 4284 2459 conicto +4672 2120 4672 1395 conicto +4672 635 4122 253 conicto +3573 -128 2482 -128 conicto +2020 -128 1526 -64 conicto +1033 0 512 128 conicto +512 1280 lineto +959 1056 1428 944 conicto +1898 832 2383 832 conicto +2821 832 3042 957 conicto +3264 1083 3264 1331 conicto +3264 1538 3121 1640 conicto +2978 1742 2553 1798 conicto +2306 1833 lineto +1276 1958 862 2298 conicto +448 2639 448 3331 conicto +448 4078 954 4439 conicto +1461 4800 2506 4800 conicto +2916 4800 3368 4753 conicto +3821 4707 4352 4608 conicto +end_ol grestore +gsave 30.789200 16.208600 translate 0.035278 -0.035278 scale +start_ol +2837 2112 moveto +2349 2112 2102 1947 conicto +1856 1782 1856 1461 conicto +1856 1166 2054 999 conicto +2253 832 2606 832 conicto +3046 832 3347 1146 conicto +3648 1461 3648 1934 conicto +3648 2112 lineto +2837 2112 lineto +5120 2680 moveto +5120 0 lineto +3648 0 lineto +3648 704 lineto +3344 269 2963 70 conicto +2583 -128 2037 -128 conicto +1301 -128 842 299 conicto +384 726 384 1406 conicto +384 2235 950 2621 conicto +1516 3008 2729 3008 conicto +3648 3008 lineto +3648 3134 lineto +3648 3500 3361 3670 conicto +3075 3840 2469 3840 conicto +1977 3840 1554 3744 conicto +1131 3648 768 3456 conicto +768 4608 lineto +1254 4703 1745 4751 conicto +2237 4800 2729 4800 conicto +3996 4800 4558 4301 conicto +5120 3802 5120 2680 conicto +end_ol grestore +gsave 31.551200 16.208600 translate 0.035278 -0.035278 scale +start_ol +5016 3879 moveto +5300 4329 5689 4564 conicto +6079 4800 6546 4800 conicto +7350 4800 7771 4297 conicto +8192 3795 8192 2837 conicto +8192 0 lineto +6720 0 lineto +6720 2430 lineto +6724 2484 6726 2542 conicto +6729 2600 6729 2708 conicto +6729 3203 6580 3425 conicto +6431 3648 6099 3648 conicto +5665 3648 5428 3299 conicto +5192 2950 5184 2288 conicto +5184 0 lineto +3712 0 lineto +3712 2430 lineto +3712 3203 3576 3425 conicto +3440 3648 3091 3648 conicto +2652 3648 2414 3297 conicto +2176 2946 2176 2292 conicto +2176 0 lineto +704 0 lineto +704 4672 lineto +2176 4672 lineto +2176 3968 lineto +2452 4382 2809 4591 conicto +3166 4800 3596 4800 conicto +4081 4800 4452 4558 conicto +4824 4316 5016 3879 conicto +end_ol grestore +gsave 32.736533 16.208600 translate 0.035278 -0.035278 scale +start_ol +3205 960 moveto +3702 960 3963 1312 conicto +4224 1665 4224 2337 conicto +4224 3008 3963 3360 conicto +3702 3712 3205 3712 conicto +2707 3712 2441 3358 conicto +2176 3004 2176 2337 conicto +2176 1669 2441 1314 conicto +2707 960 3205 960 conicto +2176 3968 moveto +2490 4395 2872 4597 conicto +3255 4800 3752 4800 conicto +4631 4800 5195 4110 conicto +5760 3421 5760 2336 conicto +5760 1250 5195 561 conicto +4631 -128 3752 -128 conicto +3255 -128 2872 74 conicto +2490 277 2176 704 conicto +2176 0 lineto +704 0 lineto +704 6528 lineto +2176 6528 lineto +2176 3968 lineto +end_ol grestore +gsave 33.549333 16.208600 translate 0.035278 -0.035278 scale +start_ol +704 4672 moveto +2176 4672 lineto +2176 0 lineto +704 0 lineto +704 4672 lineto +704 6528 moveto +2176 6528 lineto +2176 5248 lineto +704 5248 lineto +704 6528 lineto +end_ol grestore +gsave 33.938800 16.208600 translate 0.035278 -0.035278 scale +start_ol +3968 768 moveto +3653 371 3274 185 conicto +2896 0 2398 0 conicto +1525 0 954 677 conicto +384 1354 384 2402 conicto +384 3455 954 4127 conicto +1525 4800 2398 4800 conicto +2896 4800 3274 4599 conicto +3653 4399 3968 3968 conicto +3968 4672 lineto +5440 4672 lineto +5440 456 lineto +5440 -668 4723 -1262 conicto +4006 -1856 2643 -1856 conicto +2201 -1856 1789 -1793 conicto +1377 -1730 960 -1600 conicto +960 -448 lineto +1361 -675 1745 -785 conicto +2129 -896 2517 -896 conicto +3268 -896 3618 -569 conicto +3968 -242 3968 456 conicto +3968 768 lineto +2942 3712 moveto +2459 3712 2189 3369 conicto +1920 3026 1920 2398 conicto +1920 1754 2180 1421 conicto +2441 1088 2942 1088 conicto +3429 1088 3698 1431 conicto +3968 1775 3968 2398 conicto +3968 3026 3698 3369 conicto +3429 3712 2942 3712 conicto +end_ol grestore +gsave 34.751600 16.208600 translate 0.035278 -0.035278 scale +start_ol +640 1831 moveto +640 4672 lineto +2112 4672 lineto +2112 4207 lineto +2112 3829 2107 3257 conicto +2103 2686 2103 2495 conicto +2103 1934 2134 1687 conicto +2165 1440 2239 1328 conicto +2336 1183 2491 1103 conicto +2647 1024 2850 1024 conicto +3342 1024 3623 1381 conicto +3904 1739 3904 2374 conicto +3904 4672 lineto +5376 4672 lineto +5376 0 lineto +3904 0 lineto +3904 640 lineto +3560 246 3175 59 conicto +2791 -128 2327 -128 conicto +1503 -128 1071 373 conicto +640 874 640 1831 conicto +end_ol grestore +gsave 35.555933 16.208600 translate 0.035278 -0.035278 scale +start_ol +2837 2112 moveto +2349 2112 2102 1947 conicto +1856 1782 1856 1461 conicto +1856 1166 2054 999 conicto +2253 832 2606 832 conicto +3046 832 3347 1146 conicto +3648 1461 3648 1934 conicto +3648 2112 lineto +2837 2112 lineto +5120 2680 moveto +5120 0 lineto +3648 0 lineto +3648 704 lineto +3344 269 2963 70 conicto +2583 -128 2037 -128 conicto +1301 -128 842 299 conicto +384 726 384 1406 conicto +384 2235 950 2621 conicto +1516 3008 2729 3008 conicto +3648 3008 lineto +3648 3134 lineto +3648 3500 3361 3670 conicto +3075 3840 2469 3840 conicto +1977 3840 1554 3744 conicto +1131 3648 768 3456 conicto +768 4608 lineto +1254 4703 1745 4751 conicto +2237 4800 2729 4800 conicto +3996 4800 4558 4301 conicto +5120 3802 5120 2680 conicto +end_ol grestore +gsave 36.317933 16.208600 translate 0.035278 -0.035278 scale +start_ol +2304 6016 moveto +2304 4672 lineto +3840 4672 lineto +3840 3584 lineto +2304 3584 lineto +2304 1634 lineto +2304 1313 2433 1200 conicto +2562 1088 2945 1088 conicto +3712 1088 lineto +3712 0 lineto +2432 0 lineto +1561 0 1196 371 conicto +832 743 832 1634 conicto +832 3584 lineto +64 3584 lineto +64 4672 lineto +832 4672 lineto +832 6016 lineto +2304 6016 lineto +end_ol grestore +gsave 36.859800 16.208600 translate 0.035278 -0.035278 scale +start_ol +704 4672 moveto +2176 4672 lineto +2176 0 lineto +704 0 lineto +704 4672 lineto +704 6528 moveto +2176 6528 lineto +2176 5248 lineto +704 5248 lineto +704 6528 lineto +end_ol grestore +gsave 37.249267 16.208600 translate 0.035278 -0.035278 scale +start_ol +2983 3712 moveto +2465 3712 2192 3357 conicto +1920 3003 1920 2336 conicto +1920 1669 2192 1314 conicto +2465 960 2983 960 conicto +3492 960 3762 1314 conicto +4032 1669 4032 2336 conicto +4032 3003 3762 3357 conicto +3492 3712 2983 3712 conicto +2982 4800 moveto +4199 4800 4883 4146 conicto +5568 3493 5568 2336 conicto +5568 1179 4883 525 conicto +4199 -128 2982 -128 conicto +1761 -128 1072 525 conicto +384 1179 384 2336 conicto +384 3493 1072 4146 conicto +1761 4800 2982 4800 conicto +end_ol grestore +gsave 38.028200 16.208600 translate 0.035278 -0.035278 scale +start_ol +5440 2837 moveto +5440 0 lineto +3968 0 lineto +3968 462 lineto +3968 2172 lineto +3968 2775 3939 3004 conicto +3910 3233 3840 3341 conicto +3749 3486 3590 3567 conicto +3432 3648 3230 3648 conicto +2738 3648 2457 3288 conicto +2176 2929 2176 2292 conicto +2176 0 lineto +704 0 lineto +704 4672 lineto +2176 4672 lineto +2176 3968 lineto +2521 4395 2907 4597 conicto +3294 4800 3761 4800 conicto +4586 4800 5013 4297 conicto +5440 3795 5440 2837 conicto +end_ol grestore +0.200000 slw +[] 0 sd +[] 0 sd +0 slc +n 10.097300 17.183800 m 19.223696 17.161029 l s +[] 0 sd +0 slj +0 slc +n 19.973694 17.159158 m 18.974945 17.661651 l 19.223696 17.161029 l 18.972449 16.661655 l ef +n 19.973694 17.159158 m 18.974945 17.661651 l 19.223696 17.161029 l 18.972449 16.661655 l cp s +gsave 12.297300 16.208600 translate 0.035278 -0.035278 scale +start_ol +768 6272 moveto +2527 6272 lineto +4928 1970 lineto +4928 6272 lineto +6400 6272 lineto +6400 0 lineto +4641 0 lineto +2240 4302 lineto +2240 0 lineto +768 0 lineto +768 6272 lineto +end_ol grestore +gsave 13.245567 16.208600 translate 0.035278 -0.035278 scale +start_ol +2983 3712 moveto +2465 3712 2192 3357 conicto +1920 3003 1920 2336 conicto +1920 1669 2192 1314 conicto +2465 960 2983 960 conicto +3492 960 3762 1314 conicto +4032 1669 4032 2336 conicto +4032 3003 3762 3357 conicto +3492 3712 2983 3712 conicto +2982 4800 moveto +4199 4800 4883 4146 conicto +5568 3493 5568 2336 conicto +5568 1179 4883 525 conicto +4199 -128 2982 -128 conicto +1761 -128 1072 525 conicto +384 1179 384 2336 conicto +384 3493 1072 4146 conicto +1761 4800 2982 4800 conicto +end_ol grestore +gsave 14.024500 16.208600 translate 0.035278 -0.035278 scale +start_ol +2304 6016 moveto +2304 4672 lineto +3840 4672 lineto +3840 3584 lineto +2304 3584 lineto +2304 1634 lineto +2304 1313 2433 1200 conicto +2562 1088 2945 1088 conicto +3712 1088 lineto +3712 0 lineto +2432 0 lineto +1561 0 1196 371 conicto +832 743 832 1634 conicto +832 3584 lineto +64 3584 lineto +64 4672 lineto +832 4672 lineto +832 6016 lineto +2304 6016 lineto +end_ol grestore +gsave 14.566367 16.208600 translate 0.035278 -0.035278 scale +start_ol +2837 2112 moveto +2349 2112 2102 1947 conicto +1856 1782 1856 1461 conicto +1856 1166 2054 999 conicto +2253 832 2606 832 conicto +3046 832 3347 1146 conicto +3648 1461 3648 1934 conicto +3648 2112 lineto +2837 2112 lineto +5120 2680 moveto +5120 0 lineto +3648 0 lineto +3648 704 lineto +3344 269 2963 70 conicto +2583 -128 2037 -128 conicto +1301 -128 842 299 conicto +384 726 384 1406 conicto +384 2235 950 2621 conicto +1516 3008 2729 3008 conicto +3648 3008 lineto +3648 3134 lineto +3648 3500 3361 3670 conicto +3075 3840 2469 3840 conicto +1977 3840 1554 3744 conicto +1131 3648 768 3456 conicto +768 4608 lineto +1254 4703 1745 4751 conicto +2237 4800 2729 4800 conicto +3996 4800 4558 4301 conicto +5120 3802 5120 2680 conicto +end_ol grestore +gsave 15.328367 16.208600 translate 0.035278 -0.035278 scale +start_ol +2304 6016 moveto +2304 4672 lineto +3840 4672 lineto +3840 3584 lineto +2304 3584 lineto +2304 1634 lineto +2304 1313 2433 1200 conicto +2562 1088 2945 1088 conicto +3712 1088 lineto +3712 0 lineto +2432 0 lineto +1561 0 1196 371 conicto +832 743 832 1634 conicto +832 3584 lineto +64 3584 lineto +64 4672 lineto +832 4672 lineto +832 6016 lineto +2304 6016 lineto +end_ol grestore +gsave 15.870233 16.208600 translate 0.035278 -0.035278 scale +start_ol +704 4672 moveto +2176 4672 lineto +2176 0 lineto +704 0 lineto +704 4672 lineto +704 6528 moveto +2176 6528 lineto +2176 5248 lineto +704 5248 lineto +704 6528 lineto +end_ol grestore +gsave 16.259700 16.208600 translate 0.035278 -0.035278 scale +start_ol +2983 3712 moveto +2465 3712 2192 3357 conicto +1920 3003 1920 2336 conicto +1920 1669 2192 1314 conicto +2465 960 2983 960 conicto +3492 960 3762 1314 conicto +4032 1669 4032 2336 conicto +4032 3003 3762 3357 conicto +3492 3712 2983 3712 conicto +2982 4800 moveto +4199 4800 4883 4146 conicto +5568 3493 5568 2336 conicto +5568 1179 4883 525 conicto +4199 -128 2982 -128 conicto +1761 -128 1072 525 conicto +384 1179 384 2336 conicto +384 3493 1072 4146 conicto +1761 4800 2982 4800 conicto +end_ol grestore +gsave 17.038633 16.208600 translate 0.035278 -0.035278 scale +start_ol +5440 2837 moveto +5440 0 lineto +3968 0 lineto +3968 462 lineto +3968 2172 lineto +3968 2775 3939 3004 conicto +3910 3233 3840 3341 conicto +3749 3486 3590 3567 conicto +3432 3648 3230 3648 conicto +2738 3648 2457 3288 conicto +2176 2929 2176 2292 conicto +2176 0 lineto +704 0 lineto +704 4672 lineto +2176 4672 lineto +2176 3968 lineto +2521 4395 2907 4597 conicto +3294 4800 3761 4800 conicto +4586 4800 5013 4297 conicto +5440 3795 5440 2837 conicto +end_ol grestore +0.100000 slw +[1.000000] 0 sd +[0.200000] 0 sd +0 slc +n 14.303300 12.088300 m 14.272300 34.938300 l s +0.100000 slw +[0.200000] 0 sd +[0.200000] 0 sd +0 slc +n 33.457500 12.088300 m 33.457500 34.838300 l s +gsave 2.985343 23.206800 translate 0.035278 -0.035278 scale +start_ol +2206 -768 moveto +0 6272 lineto +926 6272 lineto +3136 -768 lineto +2206 -768 lineto +end_ol grestore +gsave 3.400210 23.206800 translate 0.035278 -0.035278 scale +start_ol +3776 6528 moveto +3776 5568 lineto +2937 5568 lineto +2619 5568 2493 5445 conicto +2368 5322 2368 5020 conicto +2368 4672 lineto +3648 4672 lineto +3648 3584 lineto +2368 3584 lineto +2368 0 lineto +896 0 lineto +896 3584 lineto +128 3584 lineto +128 4672 lineto +896 4672 lineto +896 5020 lineto +896 5791 1316 6159 conicto +1737 6528 2619 6528 conicto +3776 6528 lineto +end_ol grestore +gsave 3.891277 23.206800 translate 0.035278 -0.035278 scale +start_ol +2983 3712 moveto +2465 3712 2192 3357 conicto +1920 3003 1920 2336 conicto +1920 1669 2192 1314 conicto +2465 960 2983 960 conicto +3492 960 3762 1314 conicto +4032 1669 4032 2336 conicto +4032 3003 3762 3357 conicto +3492 3712 2983 3712 conicto +2982 4800 moveto +4199 4800 4883 4146 conicto +5568 3493 5568 2336 conicto +5568 1179 4883 525 conicto +4199 -128 2982 -128 conicto +1761 -128 1072 525 conicto +384 1179 384 2336 conicto +384 3493 1072 4146 conicto +1761 4800 2982 4800 conicto +end_ol grestore +gsave 4.670210 23.206800 translate 0.035278 -0.035278 scale +start_ol +4160 3392 moveto +3963 3490 3768 3537 conicto +3574 3584 3377 3584 conicto +2800 3584 2488 3212 conicto +2176 2841 2176 2148 conicto +2176 0 lineto +704 0 lineto +704 4672 lineto +2176 4672 lineto +2176 3904 lineto +2465 4371 2839 4585 conicto +3214 4800 3737 4800 conicto +3813 4800 3901 4793 conicto +3989 4787 4156 4763 conicto +4160 3392 lineto +end_ol grestore +gsave 5.229010 23.206800 translate 0.035278 -0.035278 scale +start_ol +2837 2112 moveto +2349 2112 2102 1947 conicto +1856 1782 1856 1461 conicto +1856 1166 2054 999 conicto +2253 832 2606 832 conicto +3046 832 3347 1146 conicto +3648 1461 3648 1934 conicto +3648 2112 lineto +2837 2112 lineto +5120 2680 moveto +5120 0 lineto +3648 0 lineto +3648 704 lineto +3344 269 2963 70 conicto +2583 -128 2037 -128 conicto +1301 -128 842 299 conicto +384 726 384 1406 conicto +384 2235 950 2621 conicto +1516 3008 2729 3008 conicto +3648 3008 lineto +3648 3134 lineto +3648 3500 3361 3670 conicto +3075 3840 2469 3840 conicto +1977 3840 1554 3744 conicto +1131 3648 768 3456 conicto +768 4608 lineto +1254 4703 1745 4751 conicto +2237 4800 2729 4800 conicto +3996 4800 4558 4301 conicto +5120 3802 5120 2680 conicto +end_ol grestore +gsave 5.991010 23.206800 translate 0.035278 -0.035278 scale +start_ol +704 6528 moveto +2176 6528 lineto +2176 0 lineto +704 0 lineto +704 6528 lineto +end_ol grestore +gsave 6.380477 23.206800 translate 0.035278 -0.035278 scale +start_ol +704 6528 moveto +2176 6528 lineto +2176 0 lineto +704 0 lineto +704 6528 lineto +end_ol grestore +gsave 6.769943 23.206800 translate 0.035278 -0.035278 scale +start_ol +end_ol grestore +gsave 7.167877 23.206800 translate 0.035278 -0.035278 scale +start_ol +1888 2390 moveto +192 4672 lineto +1784 4672 lineto +2746 3287 lineto +3720 4672 lineto +5312 4672 lineto +3615 2399 lineto +5376 0 lineto +3796 0 lineto +2746 1476 lineto +1708 0 lineto +128 0 lineto +1888 2390 lineto +end_ol grestore +gsave 7.896010 23.206800 translate 0.035278 -0.035278 scale +start_ol +896 1600 moveto +2368 1600 lineto +2368 0 lineto +896 0 lineto +896 1600 lineto +end_ol grestore +gsave 1.943943 24.706800 translate 0.035278 -0.035278 scale +start_ol +1888 2390 moveto +192 4672 lineto +1784 4672 lineto +2746 3287 lineto +3720 4672 lineto +5312 4672 lineto +3615 2399 lineto +5376 0 lineto +3796 0 lineto +2746 1476 lineto +1708 0 lineto +128 0 lineto +1888 2390 lineto +end_ol grestore +gsave 2.672077 24.706800 translate 0.035278 -0.035278 scale +start_ol +end_ol grestore +gsave 3.070010 24.706800 translate 0.035278 -0.035278 scale +start_ol +4032 5440 moveto +4032 3200 lineto +6272 3200 lineto +6272 2240 lineto +4032 2240 lineto +4032 0 lineto +3072 0 lineto +3072 2240 lineto +832 2240 lineto +832 3200 lineto +3072 3200 lineto +3072 5440 lineto +4032 5440 lineto +end_ol grestore +gsave 4.018277 24.706800 translate 0.035278 -0.035278 scale +start_ol +end_ol grestore +gsave 4.416210 24.706800 translate 0.035278 -0.035278 scale +start_ol +704 6528 moveto +2176 6528 lineto +2176 0 lineto +704 0 lineto +704 6528 lineto +end_ol grestore +gsave 4.805677 24.706800 translate 0.035278 -0.035278 scale +start_ol +5440 2837 moveto +5440 0 lineto +3968 0 lineto +3968 462 lineto +3968 2172 lineto +3968 2775 3939 3004 conicto +3910 3233 3840 3341 conicto +3749 3486 3590 3567 conicto +3432 3648 3230 3648 conicto +2738 3648 2457 3288 conicto +2176 2929 2176 2292 conicto +2176 0 lineto +704 0 lineto +704 4672 lineto +2176 4672 lineto +2176 3968 lineto +2521 4395 2907 4597 conicto +3294 4800 3761 4800 conicto +4586 4800 5013 4297 conicto +5440 3795 5440 2837 conicto +end_ol grestore +gsave 5.610010 24.706800 translate 0.035278 -0.035278 scale +start_ol +end_ol grestore +gsave 6.007943 24.706800 translate 0.035278 -0.035278 scale +start_ol +1024 1152 moveto +2432 1152 lineto +2432 5120 lineto +960 4800 lineto +960 5952 lineto +2432 6272 lineto +3968 6272 lineto +3968 1152 lineto +5376 1152 lineto +5376 0 lineto +1024 0 lineto +1024 1152 lineto +end_ol grestore +gsave 6.795343 24.706800 translate 0.035278 -0.035278 scale +start_ol +end_ol grestore +gsave 7.193277 24.706800 translate 0.035278 -0.035278 scale +start_ol +896 4096 moveto +6272 4096 lineto +6272 3136 lineto +896 3136 lineto +896 4096 lineto +896 2240 moveto +6272 2240 lineto +6272 1280 lineto +896 1280 lineto +896 2240 lineto +end_ol grestore +gsave 8.141543 24.706800 translate 0.035278 -0.035278 scale +start_ol +end_ol grestore +gsave 8.539477 24.706800 translate 0.035278 -0.035278 scale +start_ol +1888 2390 moveto +192 4672 lineto +1784 4672 lineto +2746 3287 lineto +3720 4672 lineto +5312 4672 lineto +3615 2399 lineto +5376 0 lineto +3796 0 lineto +2746 1476 lineto +1708 0 lineto +128 0 lineto +1888 2390 lineto +end_ol grestore +gsave 2.862513 13.189700 translate 0.035278 -0.035278 scale +start_ol +3264 -1088 moveto +2006 -1088 lineto +1372 -56 1070 873 conicto +768 1802 768 2716 conicto +768 3630 1072 4567 conicto +1377 5505 2006 6528 conicto +3264 6528 lineto +2720 5539 2448 4593 conicto +2176 3647 2176 2725 conicto +2176 1802 2446 854 conicto +2716 -94 3264 -1088 conicto +end_ol grestore +gsave 3.378980 13.189700 translate 0.035278 -0.035278 scale +start_ol +768 6272 moveto +2368 6272 lineto +2368 1216 lineto +5184 1216 lineto +5184 0 lineto +768 0 lineto +768 6272 lineto +end_ol grestore +gsave 4.098647 13.189700 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 4.869113 13.189700 translate 0.035278 -0.035278 scale +start_ol +128 4672 moveto +1621 4672 lineto +2784 1443 lineto +3942 4672 lineto +5440 4672 lineto +3601 0 lineto +1962 0 lineto +128 4672 lineto +end_ol grestore +gsave 5.605713 13.189700 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 6.376180 13.189700 translate 0.035278 -0.035278 scale +start_ol +704 6528 moveto +2176 6528 lineto +2176 0 lineto +704 0 lineto +704 6528 lineto +end_ol grestore +gsave 6.765647 13.189700 translate 0.035278 -0.035278 scale +start_ol +end_ol grestore +gsave 7.163580 13.189700 translate 0.035278 -0.035278 scale +start_ol +3904 3148 moveto +3904 4339 3684 4825 conicto +3464 5312 2946 5312 conicto +2427 5312 2205 4825 conicto +1984 4339 1984 3148 conicto +1984 1945 2205 1452 conicto +2427 960 2946 960 conicto +3460 960 3682 1452 conicto +3904 1945 3904 3148 conicto +5504 3134 moveto +5504 1570 4837 721 conicto +4171 -128 2946 -128 conicto +1717 -128 1050 721 conicto +384 1570 384 3134 conicto +384 4701 1050 5550 conicto +1717 6400 2946 6400 conicto +4171 6400 4837 5550 conicto +5504 4701 5504 3134 conicto +end_ol grestore +gsave 7.950980 13.189700 translate 0.035278 -0.035278 scale +start_ol +640 -1088 moveto +1184 -94 1456 854 conicto +1728 1802 1728 2725 conicto +1728 3647 1456 4593 conicto +1184 5539 640 6528 conicto +1897 6528 lineto +2527 5505 2831 4567 conicto +3136 3630 3136 2716 conicto +3136 1802 2833 873 conicto +2531 -56 1897 -1088 conicto +640 -1088 lineto +end_ol grestore +gsave 2.777847 16.025000 translate 0.035278 -0.035278 scale +start_ol +5760 330 moveto +5317 103 4836 -12 conicto +4355 -128 3832 -128 conicto +2272 -128 1360 750 conicto +448 1629 448 3134 conicto +448 4643 1360 5521 conicto +2272 6400 3832 6400 conicto +4355 6400 4836 6284 conicto +5317 6169 5760 5941 conicto +5760 4672 lineto +5312 4970 4877 5109 conicto +4442 5248 3961 5248 conicto +3099 5248 2605 4685 conicto +2112 4122 2112 3134 conicto +2112 2149 2605 1586 conicto +3099 1024 3961 1024 conicto +4442 1024 4877 1163 conicto +5312 1302 5760 1600 conicto +5760 330 lineto +end_ol grestore +gsave 3.607580 16.025000 translate 0.035278 -0.035278 scale +start_ol +2983 3712 moveto +2465 3712 2192 3357 conicto +1920 3003 1920 2336 conicto +1920 1669 2192 1314 conicto +2465 960 2983 960 conicto +3492 960 3762 1314 conicto +4032 1669 4032 2336 conicto +4032 3003 3762 3357 conicto +3492 3712 2983 3712 conicto +2982 4800 moveto +4199 4800 4883 4146 conicto +5568 3493 5568 2336 conicto +5568 1179 4883 525 conicto +4199 -128 2982 -128 conicto +1761 -128 1072 525 conicto +384 1179 384 2336 conicto +384 3493 1072 4146 conicto +1761 4800 2982 4800 conicto +end_ol grestore +gsave 4.386513 16.025000 translate 0.035278 -0.035278 scale +start_ol +5440 2837 moveto +5440 0 lineto +3968 0 lineto +3968 462 lineto +3968 2172 lineto +3968 2775 3939 3004 conicto +3910 3233 3840 3341 conicto +3749 3486 3590 3567 conicto +3432 3648 3230 3648 conicto +2738 3648 2457 3288 conicto +2176 2929 2176 2292 conicto +2176 0 lineto +704 0 lineto +704 4672 lineto +2176 4672 lineto +2176 3968 lineto +2521 4395 2907 4597 conicto +3294 4800 3761 4800 conicto +4586 4800 5013 4297 conicto +5440 3795 5440 2837 conicto +end_ol grestore +gsave 5.190847 16.025000 translate 0.035278 -0.035278 scale +start_ol +4544 4544 moveto +4544 3328 lineto +4233 3524 3920 3618 conicto +3607 3712 3271 3712 conicto +2632 3712 2276 3349 conicto +1920 2986 1920 2336 conicto +1920 1685 2276 1322 conicto +2632 960 3271 960 conicto +3629 960 3950 1057 conicto +4271 1154 4544 1344 conicto +4544 128 lineto +4190 0 3826 -64 conicto +3463 -128 3096 -128 conicto +1823 -128 1103 523 conicto +384 1175 384 2336 conicto +384 3497 1103 4148 conicto +1823 4800 3096 4800 conicto +3467 4800 3826 4736 conicto +4186 4672 4544 4544 conicto +end_ol grestore +gsave 5.859713 16.025000 translate 0.035278 -0.035278 scale +start_ol +4160 3392 moveto +3963 3490 3768 3537 conicto +3574 3584 3377 3584 conicto +2800 3584 2488 3212 conicto +2176 2841 2176 2148 conicto +2176 0 lineto +704 0 lineto +704 4672 lineto +2176 4672 lineto +2176 3904 lineto +2465 4371 2839 4585 conicto +3214 4800 3737 4800 conicto +3813 4800 3901 4793 conicto +3989 4787 4156 4763 conicto +4160 3392 lineto +end_ol grestore +gsave 6.418513 16.025000 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 7.188980 16.025000 translate 0.035278 -0.035278 scale +start_ol +2304 6016 moveto +2304 4672 lineto +3840 4672 lineto +3840 3584 lineto +2304 3584 lineto +2304 1634 lineto +2304 1313 2433 1200 conicto +2562 1088 2945 1088 conicto +3712 1088 lineto +3712 0 lineto +2432 0 lineto +1561 0 1196 371 conicto +832 743 832 1634 conicto +832 3584 lineto +64 3584 lineto +64 4672 lineto +832 4672 lineto +832 6016 lineto +2304 6016 lineto +end_ol grestore +gsave 7.730847 16.025000 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 3.497513 17.525000 translate 0.035278 -0.035278 scale +start_ol +4352 4608 moveto +4352 3456 lineto +3893 3648 3466 3744 conicto +3039 3840 2659 3840 conicto +2252 3840 2054 3733 conicto +1856 3627 1856 3405 conicto +1856 3225 2002 3128 conicto +2149 3032 2528 2986 conicto +2775 2948 lineto +3897 2799 4284 2459 conicto +4672 2120 4672 1395 conicto +4672 635 4122 253 conicto +3573 -128 2482 -128 conicto +2020 -128 1526 -64 conicto +1033 0 512 128 conicto +512 1280 lineto +959 1056 1428 944 conicto +1898 832 2383 832 conicto +2821 832 3042 957 conicto +3264 1083 3264 1331 conicto +3264 1538 3121 1640 conicto +2978 1742 2553 1798 conicto +2306 1833 lineto +1276 1958 862 2298 conicto +448 2639 448 3331 conicto +448 4078 954 4439 conicto +1461 4800 2506 4800 conicto +2916 4800 3368 4753 conicto +3821 4707 4352 4608 conicto +end_ol grestore +gsave 4.174847 17.525000 translate 0.035278 -0.035278 scale +start_ol +128 4672 moveto +1622 4672 lineto +2878 1502 lineto +3946 4672 lineto +5440 4672 lineto +3475 -472 lineto +3179 -1242 2784 -1549 conicto +2390 -1856 1743 -1856 conicto +878 -1856 lineto +878 -896 lineto +1346 -896 lineto +1727 -896 1899 -770 conicto +2072 -645 2168 -320 conicto +2210 -190 lineto +128 4672 lineto +end_ol grestore +gsave 4.911447 17.525000 translate 0.035278 -0.035278 scale +start_ol +5440 2837 moveto +5440 0 lineto +3968 0 lineto +3968 462 lineto +3968 2172 lineto +3968 2775 3939 3004 conicto +3910 3233 3840 3341 conicto +3749 3486 3590 3567 conicto +3432 3648 3230 3648 conicto +2738 3648 2457 3288 conicto +2176 2929 2176 2292 conicto +2176 0 lineto +704 0 lineto +704 4672 lineto +2176 4672 lineto +2176 3968 lineto +2521 4395 2907 4597 conicto +3294 4800 3761 4800 conicto +4586 4800 5013 4297 conicto +5440 3795 5440 2837 conicto +end_ol grestore +gsave 5.715780 17.525000 translate 0.035278 -0.035278 scale +start_ol +2304 6016 moveto +2304 4672 lineto +3840 4672 lineto +3840 3584 lineto +2304 3584 lineto +2304 1634 lineto +2304 1313 2433 1200 conicto +2562 1088 2945 1088 conicto +3712 1088 lineto +3712 0 lineto +2432 0 lineto +1561 0 1196 371 conicto +832 743 832 1634 conicto +832 3584 lineto +64 3584 lineto +64 4672 lineto +832 4672 lineto +832 6016 lineto +2304 6016 lineto +end_ol grestore +gsave 6.257647 17.525000 translate 0.035278 -0.035278 scale +start_ol +2837 2112 moveto +2349 2112 2102 1947 conicto +1856 1782 1856 1461 conicto +1856 1166 2054 999 conicto +2253 832 2606 832 conicto +3046 832 3347 1146 conicto +3648 1461 3648 1934 conicto +3648 2112 lineto +2837 2112 lineto +5120 2680 moveto +5120 0 lineto +3648 0 lineto +3648 704 lineto +3344 269 2963 70 conicto +2583 -128 2037 -128 conicto +1301 -128 842 299 conicto +384 726 384 1406 conicto +384 2235 950 2621 conicto +1516 3008 2729 3008 conicto +3648 3008 lineto +3648 3134 lineto +3648 3500 3361 3670 conicto +3075 3840 2469 3840 conicto +1977 3840 1554 3744 conicto +1131 3648 768 3456 conicto +768 4608 lineto +1254 4703 1745 4751 conicto +2237 4800 2729 4800 conicto +3996 4800 4558 4301 conicto +5120 3802 5120 2680 conicto +end_ol grestore +gsave 7.019647 17.525000 translate 0.035278 -0.035278 scale +start_ol +1888 2390 moveto +192 4672 lineto +1784 4672 lineto +2746 3287 lineto +3720 4672 lineto +5312 4672 lineto +3615 2399 lineto +5376 0 lineto +3796 0 lineto +2746 1476 lineto +1708 0 lineto +128 0 lineto +1888 2390 lineto +end_ol grestore +gsave 40.315767 19.200100 translate 0.035278 -0.035278 scale +start_ol +402 6456 moveto +838 6698 lineto +1859 4672 lineto +6625 4672 lineto +7646 6698 lineto +8082 6456 lineto +4556 -571 lineto +4414 -839 4238 -839 conicto +4062 -839 3928 -571 conicto +402 6456 lineto +4213 -49 moveto +4246 -83 4271 -49 conicto +6357 4096 lineto +2127 4096 lineto +4213 -49 lineto +end_ol grestore +gsave 42.959600 21.985100 translate 0.035278 -0.035278 scale +start_ol +3520 2215 moveto +3520 1692 3735 1390 conicto +3951 1088 4320 1088 conicto +4685 1088 4902 1392 conicto +5120 1696 5120 2215 conicto +5120 2729 4900 3028 conicto +4681 3328 4312 3328 conicto +3951 3328 3735 3028 conicto +3520 2729 3520 2215 conicto +5184 940 moveto +5060 646 4787 483 conicto +4514 320 4149 320 conicto +3443 320 3001 842 conicto +2560 1365 2560 2206 conicto +2560 3046 3003 3571 conicto +3446 4096 4149 4096 conicto +4514 4096 4787 3932 conicto +5060 3768 5184 3477 conicto +5184 4032 lineto +6080 4032 lineto +6080 1088 lineto +6617 1169 6924 1596 conicto +7232 2023 7232 2690 conicto +7232 3115 7109 3487 conicto +6987 3859 6738 4168 conicto +6336 4687 5734 4967 conicto +5133 5248 4431 5248 conicto +3942 5248 3494 5119 conicto +3046 4990 2666 4740 conicto +2041 4325 1692 3667 conicto +1344 3009 1344 2243 conicto +1344 1612 1569 1059 conicto +1794 507 2219 83 conicto +2640 -331 3185 -549 conicto +3730 -768 4348 -768 conicto +4878 -768 5408 -578 conicto +5938 -388 6313 -64 conicto +6784 -719 lineto +6257 -1115 5636 -1325 conicto +5016 -1536 4377 -1536 conicto +3598 -1536 2907 -1260 conicto +2217 -985 1679 -460 conicto +1140 67 858 758 conicto +576 1449 576 2245 conicto +576 3010 862 3703 conicto +1148 4397 1676 4923 conicto +2205 5445 2908 5730 conicto +3612 6016 4368 6016 conicto +5309 6016 6077 5655 conicto +6845 5295 7361 4617 conicto +7676 4203 7838 3720 conicto +8000 3238 8000 2708 conicto +8000 1565 7307 933 conicto +6614 301 5351 301 conicto +5184 301 lineto +5184 940 lineto +end_ol grestore +gsave 35.052800 24.375100 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 35.501533 24.375100 translate 0.035278 -0.035278 scale +start_ol +512 3136 moveto +1536 3136 lineto +1536 0 lineto +512 0 lineto +512 3136 lineto +512 4352 moveto +1536 4352 lineto +1536 3520 lineto +512 3520 lineto +512 4352 lineto +end_ol grestore +gsave 35.764000 24.375100 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 36.212733 24.375100 translate 0.035278 -0.035278 scale +start_ol +640 3136 moveto +1664 3136 lineto +1664 2048 lineto +640 2048 lineto +640 3136 lineto +640 1088 moveto +1664 1088 lineto +1664 0 lineto +640 0 lineto +640 1088 lineto +end_ol grestore +gsave 36.517533 24.375100 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 36.796933 24.375100 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 37.084800 24.375100 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 37.372667 24.375100 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 37.652067 24.375100 translate 0.035278 -0.035278 scale +start_ol +3648 1575 moveto +3648 1280 lineto +1280 1280 lineto +1318 928 1540 752 conicto +1763 576 2163 576 conicto +2486 576 2824 671 conicto +3163 766 3520 960 conicto +3520 192 lineto +3159 65 2798 0 conicto +2438 -64 2076 -64 conicto +1213 -64 734 365 conicto +256 794 256 1568 conicto +256 2329 722 2764 conicto +1189 3200 2008 3200 conicto +2754 3200 3201 2758 conicto +3648 2316 3648 1575 conicto +2624 1920 moveto +2624 2207 2453 2383 conicto +2283 2560 2007 2560 conicto +1710 2560 1523 2395 conicto +1337 2230 1291 1920 conicto +2624 1920 lineto +end_ol grestore +gsave 38.168533 24.375100 translate 0.035278 -0.035278 scale +start_ol +1950 2496 moveto +1626 2496 1453 2258 conicto +1280 2020 1280 1567 conicto +1280 1115 1453 877 conicto +1626 640 1950 640 conicto +2279 640 2451 877 conicto +2624 1115 2624 1567 conicto +2624 2020 2451 2258 conicto +2279 2496 1950 2496 conicto +2624 448 moveto +2416 182 2165 59 conicto +1915 -64 1586 -64 conicto +1004 -64 630 393 conicto +256 851 256 1571 conicto +256 2292 630 2746 conicto +1004 3200 1586 3200 conicto +1915 3200 2165 3077 conicto +2416 2954 2624 2688 conicto +2624 3136 lineto +3648 3136 lineto +3648 -1216 lineto +2624 -1216 lineto +2624 448 lineto +end_ol grestore +gsave 38.710400 24.375100 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 38.998267 24.375100 translate 0.035278 -0.035278 scale +start_ol +512 3136 moveto +1536 3136 lineto +1536 0 lineto +512 0 lineto +512 3136 lineto +512 4352 moveto +1536 4352 lineto +1536 3520 lineto +512 3520 lineto +512 4352 lineto +end_ol grestore +gsave 39.260733 24.375100 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +gsave 39.802600 24.375100 translate 0.035278 -0.035278 scale +start_ol +2624 2688 moveto +2624 4352 lineto +3648 4352 lineto +3648 0 lineto +2624 0 lineto +2624 448 lineto +2416 182 2165 59 conicto +1915 -64 1586 -64 conicto +1004 -64 630 393 conicto +256 850 256 1568 conicto +256 2287 630 2743 conicto +1004 3200 1586 3200 conicto +1912 3200 2164 3075 conicto +2416 2950 2624 2688 conicto +1950 640 moveto +2279 640 2451 877 conicto +2624 1115 2624 1567 conicto +2624 2020 2451 2258 conicto +2279 2496 1950 2496 conicto +1626 2496 1453 2258 conicto +1280 2020 1280 1567 conicto +1280 1115 1453 877 conicto +1626 640 1950 640 conicto +end_ol grestore +gsave 40.344467 24.375100 translate 0.035278 -0.035278 scale +start_ol +2549 4160 moveto +2279 3008 lineto +3020 3008 lineto +3292 4160 lineto +3912 4160 lineto +3639 3008 lineto +4416 3008 lineto +4416 2432 lineto +3491 2432 lineto +3297 1664 lineto +4094 1664 lineto +4094 1088 lineto +3152 1088 lineto +2883 0 lineto +2262 0 lineto +2532 1088 lineto +1792 1088 lineto +1523 0 lineto +897 0 lineto +1167 1088 lineto +384 1088 lineto +384 1664 lineto +1303 1664 lineto +1500 2432 lineto +706 2432 lineto +706 3008 lineto +1654 3008 lineto +1923 4160 lineto +2549 4160 lineto +2866 2432 moveto +2126 2432 lineto +1929 1664 lineto +2669 1664 lineto +2866 2432 lineto +end_ol grestore +gsave 40.979467 24.375100 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 41.512867 24.375100 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 41.792267 24.375100 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 36.733900 21.985100 translate 0.035278 -0.035278 scale +start_ol +512 4224 moveto +1721 4224 lineto +3264 1327 lineto +3264 4224 lineto +4288 4224 lineto +4288 0 lineto +3080 0 lineto +1536 2897 lineto +1536 0 lineto +512 0 lineto +512 4224 lineto +end_ol grestore +gsave 37.368900 21.985100 translate 0.035278 -0.035278 scale +start_ol +1911 1472 moveto +1597 1472 1438 1356 conicto +1280 1241 1280 1016 conicto +1280 809 1407 692 conicto +1535 576 1762 576 conicto +2045 576 2238 796 conicto +2432 1017 2432 1347 conicto +2432 1472 lineto +1911 1472 lineto +3456 1836 moveto +3456 0 lineto +2432 0 lineto +2432 512 lineto +2229 211 1975 73 conicto +1721 -64 1358 -64 conicto +867 -64 561 223 conicto +256 511 256 969 conicto +256 1527 638 1787 conicto +1021 2048 1840 2048 conicto +2432 2048 lineto +2432 2119 lineto +2432 2347 2241 2453 conicto +2050 2560 1646 2560 conicto +1318 2560 1036 2496 conicto +754 2432 512 2304 conicto +512 3072 lineto +842 3134 1174 3167 conicto +1507 3200 1840 3200 conicto +2697 3200 3076 2879 conicto +3456 2559 3456 1836 conicto +end_ol grestore +gsave 37.885367 21.985100 translate 0.035278 -0.035278 scale +start_ol +3468 2617 moveto +3661 2901 3926 3050 conicto +4192 3200 4510 3200 conicto +5058 3200 5345 2865 conicto +5632 2530 5632 1891 conicto +5632 0 lineto +4608 0 lineto +4608 1620 lineto +4611 1655 4612 1694 conicto +4613 1733 4613 1805 conicto +4613 2135 4514 2283 conicto +4415 2432 4194 2432 conicto +3904 2432 3747 2199 conicto +3590 1966 3584 1525 conicto +3584 0 lineto +2560 0 lineto +2560 1620 lineto +2560 2135 2469 2283 conicto +2378 2432 2145 2432 conicto +1854 2432 1695 2197 conicto +1536 1963 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1723 2943 1966 3071 conicto +2209 3200 2502 3200 conicto +2831 3200 3084 3046 conicto +3338 2893 3468 2617 conicto +end_ol grestore +gsave 38.681233 21.985100 translate 0.035278 -0.035278 scale +start_ol +3648 1575 moveto +3648 1280 lineto +1280 1280 lineto +1318 928 1540 752 conicto +1763 576 2163 576 conicto +2486 576 2824 671 conicto +3163 766 3520 960 conicto +3520 192 lineto +3159 65 2798 0 conicto +2438 -64 2076 -64 conicto +1213 -64 734 365 conicto +256 794 256 1568 conicto +256 2329 722 2764 conicto +1189 3200 2008 3200 conicto +2754 3200 3201 2758 conicto +3648 2316 3648 1575 conicto +2624 1920 moveto +2624 2207 2453 2383 conicto +2283 2560 2007 2560 conicto +1710 2560 1523 2395 conicto +1337 2230 1291 1920 conicto +2624 1920 lineto +end_ol grestore +gsave 39.197700 21.985100 translate 0.035278 -0.035278 scale +start_ol +2176 -768 moveto +1357 -768 lineto +925 -75 718 549 conicto +512 1174 512 1789 conicto +512 2404 719 3034 conicto +927 3664 1357 4352 conicto +2176 4352 lineto +1824 3686 1648 3050 conicto +1472 2415 1472 1794 conicto +1472 1174 1646 537 conicto +1821 -100 2176 -768 conicto +end_ol grestore +gsave 39.544833 21.985100 translate 0.035278 -0.035278 scale +start_ol +1253 1605 moveto +128 3136 lineto +1183 3136 lineto +1820 2206 lineto +2466 3136 lineto +3520 3136 lineto +2396 1610 lineto +3584 0 lineto +2525 0 lineto +1820 992 lineto +1124 0 lineto +64 0 lineto +1253 1605 lineto +end_ol grestore +gsave 40.035900 21.985100 translate 0.035278 -0.035278 scale +start_ol +448 -768 moveto +800 -100 976 537 conicto +1152 1174 1152 1794 conicto +1152 2415 976 3050 conicto +800 3686 448 4352 conicto +1268 4352 lineto +1697 3664 1904 3034 conicto +2112 2404 2112 1789 conicto +2112 1174 1906 549 conicto +1700 -75 1268 -768 conicto +448 -768 lineto +end_ol grestore +gsave 45.524600 25.575100 translate 0.035278 -0.035278 scale +start_ol +3520 2215 moveto +3520 1692 3735 1390 conicto +3951 1088 4320 1088 conicto +4685 1088 4902 1392 conicto +5120 1696 5120 2215 conicto +5120 2729 4900 3028 conicto +4681 3328 4312 3328 conicto +3951 3328 3735 3028 conicto +3520 2729 3520 2215 conicto +5184 940 moveto +5060 646 4787 483 conicto +4514 320 4149 320 conicto +3443 320 3001 842 conicto +2560 1365 2560 2206 conicto +2560 3046 3003 3571 conicto +3446 4096 4149 4096 conicto +4514 4096 4787 3932 conicto +5060 3768 5184 3477 conicto +5184 4032 lineto +6080 4032 lineto +6080 1088 lineto +6617 1169 6924 1596 conicto +7232 2023 7232 2690 conicto +7232 3115 7109 3487 conicto +6987 3859 6738 4168 conicto +6336 4687 5734 4967 conicto +5133 5248 4431 5248 conicto +3942 5248 3494 5119 conicto +3046 4990 2666 4740 conicto +2041 4325 1692 3667 conicto +1344 3009 1344 2243 conicto +1344 1612 1569 1059 conicto +1794 507 2219 83 conicto +2640 -331 3185 -549 conicto +3730 -768 4348 -768 conicto +4878 -768 5408 -578 conicto +5938 -388 6313 -64 conicto +6784 -719 lineto +6257 -1115 5636 -1325 conicto +5016 -1536 4377 -1536 conicto +3598 -1536 2907 -1260 conicto +2217 -985 1679 -460 conicto +1140 67 858 758 conicto +576 1449 576 2245 conicto +576 3010 862 3703 conicto +1148 4397 1676 4923 conicto +2205 5445 2908 5730 conicto +3612 6016 4368 6016 conicto +5309 6016 6077 5655 conicto +6845 5295 7361 4617 conicto +7676 4203 7838 3720 conicto +8000 3238 8000 2708 conicto +8000 1565 7307 933 conicto +6614 301 5351 301 conicto +5184 301 lineto +5184 940 lineto +end_ol grestore +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 40.359600 19.425100 m 38.259600 20.675100 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 41.609600 19.425100 m 42.959600 20.775100 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 42.909600 22.275100 m 38.684600 23.642600 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 43.234600 22.492600 m 42.634600 24.542600 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 44.109600 22.175100 m 49.084600 24.342600 l s +gsave 38.926200 27.439500 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 39.374933 27.439500 translate 0.035278 -0.035278 scale +start_ol +512 3136 moveto +1536 3136 lineto +1536 0 lineto +512 0 lineto +512 3136 lineto +512 4352 moveto +1536 4352 lineto +1536 3520 lineto +512 3520 lineto +512 4352 lineto +end_ol grestore +gsave 39.637400 27.439500 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 40.086133 27.439500 translate 0.035278 -0.035278 scale +start_ol +640 3136 moveto +1664 3136 lineto +1664 2048 lineto +640 2048 lineto +640 3136 lineto +640 1088 moveto +1664 1088 lineto +1664 0 lineto +640 0 lineto +640 1088 lineto +end_ol grestore +gsave 40.390933 27.439500 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 40.670333 27.439500 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 40.958200 27.439500 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 41.246067 27.439500 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 41.525467 27.439500 translate 0.035278 -0.035278 scale +start_ol +1536 448 moveto +1536 -1216 lineto +512 -1216 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1744 2950 1996 3075 conicto +2248 3200 2577 3200 conicto +3158 3200 3531 2743 conicto +3904 2287 3904 1568 conicto +3904 850 3531 393 conicto +3158 -64 2577 -64 conicto +2248 -64 1996 60 conicto +1744 185 1536 448 conicto +2211 2496 moveto +1885 2496 1710 2256 conicto +1536 2017 1536 1567 conicto +1536 1118 1710 879 conicto +1885 640 2211 640 conicto +2536 640 2708 877 conicto +2880 1115 2880 1567 conicto +2880 2020 2708 2258 conicto +2536 2496 2211 2496 conicto +end_ol grestore +gsave 42.067333 27.439500 translate 0.035278 -0.035278 scale +start_ol +512 4352 moveto +1536 4352 lineto +1536 0 lineto +512 0 lineto +512 4352 lineto +end_ol grestore +gsave 42.329800 27.439500 translate 0.035278 -0.035278 scale +start_ol +512 1241 moveto +512 3136 lineto +1536 3136 lineto +1536 2826 lineto +1536 2574 1533 2193 conicto +1530 1812 1530 1684 conicto +1530 1311 1548 1146 conicto +1567 981 1613 906 conicto +1671 809 1766 756 conicto +1861 704 1984 704 conicto +2282 704 2453 942 conicto +2624 1180 2624 1604 conicto +2624 3136 lineto +3648 3136 lineto +3648 0 lineto +2624 0 lineto +2624 448 lineto +2401 185 2152 60 conicto +1903 -64 1604 -64 conicto +1070 -64 791 270 conicto +512 604 512 1241 conicto +end_ol grestore +gsave 42.871667 27.439500 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2304 lineto +2690 2432 2394 2496 conicto +2098 2560 1835 2560 conicto +1553 2560 1416 2490 conicto +1280 2420 1280 2274 conicto +1280 2156 1380 2093 conicto +1480 2030 1739 2000 conicto +1907 1975 lineto +2671 1876 2935 1651 conicto +3200 1426 3200 946 conicto +3200 443 2827 189 conicto +2455 -64 1717 -64 conicto +1404 -64 1070 -16 conicto +737 32 384 128 conicto +384 896 lineto +685 736 1002 656 conicto +1320 576 1646 576 conicto +1942 576 2091 661 conicto +2240 746 2240 913 conicto +2240 1054 2142 1123 conicto +2045 1192 1755 1231 conicto +1586 1254 lineto +884 1336 602 1559 conicto +320 1783 320 2237 conicto +320 2726 668 2963 conicto +1017 3200 1737 3200 conicto +2020 3200 2331 3169 conicto +2642 3138 3008 3072 conicto +end_ol grestore +gsave 43.328867 27.439500 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 43.616733 27.439500 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 44.065467 27.439500 translate 0.035278 -0.035278 scale +start_ol +1988 2496 moveto +1642 2496 1461 2257 conicto +1280 2018 1280 1568 conicto +1280 1118 1461 879 conicto +1642 640 1988 640 conicto +2328 640 2508 879 conicto +2688 1118 2688 1568 conicto +2688 2018 2508 2257 conicto +2328 2496 1988 2496 conicto +1988 3200 moveto +2800 3200 3256 2767 conicto +3712 2334 3712 1568 conicto +3712 802 3256 369 conicto +2800 -64 1988 -64 conicto +1173 -64 714 369 conicto +256 802 256 1568 conicto +256 2334 714 2767 conicto +1173 3200 1988 3200 conicto +end_ol grestore +gsave 44.590400 27.439500 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +gsave 47.874600 27.983800 translate 0.035278 -0.035278 scale +start_ol +3520 2215 moveto +3520 1692 3735 1390 conicto +3951 1088 4320 1088 conicto +4685 1088 4902 1392 conicto +5120 1696 5120 2215 conicto +5120 2729 4900 3028 conicto +4681 3328 4312 3328 conicto +3951 3328 3735 3028 conicto +3520 2729 3520 2215 conicto +5184 940 moveto +5060 646 4787 483 conicto +4514 320 4149 320 conicto +3443 320 3001 842 conicto +2560 1365 2560 2206 conicto +2560 3046 3003 3571 conicto +3446 4096 4149 4096 conicto +4514 4096 4787 3932 conicto +5060 3768 5184 3477 conicto +5184 4032 lineto +6080 4032 lineto +6080 1088 lineto +6617 1169 6924 1596 conicto +7232 2023 7232 2690 conicto +7232 3115 7109 3487 conicto +6987 3859 6738 4168 conicto +6336 4687 5734 4967 conicto +5133 5248 4431 5248 conicto +3942 5248 3494 5119 conicto +3046 4990 2666 4740 conicto +2041 4325 1692 3667 conicto +1344 3009 1344 2243 conicto +1344 1612 1569 1059 conicto +1794 507 2219 83 conicto +2640 -331 3185 -549 conicto +3730 -768 4348 -768 conicto +4878 -768 5408 -578 conicto +5938 -388 6313 -64 conicto +6784 -719 lineto +6257 -1115 5636 -1325 conicto +5016 -1536 4377 -1536 conicto +3598 -1536 2907 -1260 conicto +2217 -985 1679 -460 conicto +1140 67 858 758 conicto +576 1449 576 2245 conicto +576 3010 862 3703 conicto +1148 4397 1676 4923 conicto +2205 5445 2908 5730 conicto +3612 6016 4368 6016 conicto +5309 6016 6077 5655 conicto +6845 5295 7361 4617 conicto +7676 4203 7838 3720 conicto +8000 3238 8000 2708 conicto +8000 1565 7307 933 conicto +6614 301 5351 301 conicto +5184 301 lineto +5184 940 lineto +end_ol grestore +gsave 43.675733 30.145100 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 44.124467 30.145100 translate 0.035278 -0.035278 scale +start_ol +512 3136 moveto +1536 3136 lineto +1536 0 lineto +512 0 lineto +512 3136 lineto +512 4352 moveto +1536 4352 lineto +1536 3520 lineto +512 3520 lineto +512 4352 lineto +end_ol grestore +gsave 44.386933 30.145100 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 44.835667 30.145100 translate 0.035278 -0.035278 scale +start_ol +640 3136 moveto +1664 3136 lineto +1664 2048 lineto +640 2048 lineto +640 3136 lineto +640 1088 moveto +1664 1088 lineto +1664 0 lineto +640 0 lineto +640 1088 lineto +end_ol grestore +gsave 45.140467 30.145100 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 45.419867 30.145100 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 45.707733 30.145100 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 45.995600 30.145100 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 46.275000 30.145100 translate 0.035278 -0.035278 scale +start_ol +512 4352 moveto +1536 4352 lineto +1536 0 lineto +512 0 lineto +512 4352 lineto +end_ol grestore +gsave 46.537467 30.145100 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +gsave 47.079333 30.145100 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 47.367200 30.145100 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 47.815933 30.145100 translate 0.035278 -0.035278 scale +start_ol +1988 2496 moveto +1642 2496 1461 2257 conicto +1280 2018 1280 1568 conicto +1280 1118 1461 879 conicto +1642 640 1988 640 conicto +2328 640 2508 879 conicto +2688 1118 2688 1568 conicto +2688 2018 2508 2257 conicto +2328 2496 1988 2496 conicto +1988 3200 moveto +2800 3200 3256 2767 conicto +3712 2334 3712 1568 conicto +3712 802 3256 369 conicto +2800 -64 1988 -64 conicto +1173 -64 714 369 conicto +256 802 256 1568 conicto +256 2334 714 2767 conicto +1173 3200 1988 3200 conicto +end_ol grestore +gsave 48.340867 30.145100 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 45.409600 25.875100 m 44.109600 26.675100 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 45.959600 26.025100 m 45.959600 27.125100 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 46.409600 25.925100 m 47.909600 27.075100 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 47.959600 28.375100 m 46.184600 29.442600 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 49.059600 28.275100 m 50.034600 29.242600 l s +gsave 37.405767 25.512600 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 37.854500 25.512600 translate 0.035278 -0.035278 scale +start_ol +512 3136 moveto +1536 3136 lineto +1536 0 lineto +512 0 lineto +512 3136 lineto +512 4352 moveto +1536 4352 lineto +1536 3520 lineto +512 3520 lineto +512 4352 lineto +end_ol grestore +gsave 38.116967 25.512600 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 38.565700 25.512600 translate 0.035278 -0.035278 scale +start_ol +640 3136 moveto +1664 3136 lineto +1664 2048 lineto +640 2048 lineto +640 3136 lineto +640 1088 moveto +1664 1088 lineto +1664 0 lineto +640 0 lineto +640 1088 lineto +end_ol grestore +gsave 38.870500 25.512600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 39.149900 25.512600 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 39.437767 25.512600 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 39.725633 25.512600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 40.005033 25.512600 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +gsave 40.546900 25.512600 translate 0.035278 -0.035278 scale +start_ol +1911 1472 moveto +1597 1472 1438 1356 conicto +1280 1241 1280 1016 conicto +1280 809 1407 692 conicto +1535 576 1762 576 conicto +2045 576 2238 796 conicto +2432 1017 2432 1347 conicto +2432 1472 lineto +1911 1472 lineto +3456 1836 moveto +3456 0 lineto +2432 0 lineto +2432 512 lineto +2229 211 1975 73 conicto +1721 -64 1358 -64 conicto +867 -64 561 223 conicto +256 511 256 969 conicto +256 1527 638 1787 conicto +1021 2048 1840 2048 conicto +2432 2048 lineto +2432 2119 lineto +2432 2347 2241 2453 conicto +2050 2560 1646 2560 conicto +1318 2560 1036 2496 conicto +754 2432 512 2304 conicto +512 3072 lineto +842 3134 1174 3167 conicto +1507 3200 1840 3200 conicto +2697 3200 3076 2879 conicto +3456 2559 3456 1836 conicto +end_ol grestore +gsave 41.063367 25.512600 translate 0.035278 -0.035278 scale +start_ol +1600 4032 moveto +1600 3136 lineto +2624 3136 lineto +2624 2432 lineto +1600 2432 lineto +1600 1082 lineto +1600 861 1688 782 conicto +1777 704 2038 704 conicto +2560 704 lineto +2560 0 lineto +1689 0 lineto +1082 0 829 246 conicto +576 493 576 1082 conicto +576 2432 lineto +64 2432 lineto +64 3136 lineto +576 3136 lineto +576 4032 lineto +1600 4032 lineto +end_ol grestore +gsave 41.427433 25.512600 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 41.715300 25.512600 translate 0.035278 -0.035278 scale +start_ol +512 3136 moveto +1536 3136 lineto +1536 0 lineto +512 0 lineto +512 3136 lineto +512 4352 moveto +1536 4352 lineto +1536 3520 lineto +512 3520 lineto +512 4352 lineto +end_ol grestore +gsave 41.977767 25.512600 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +gsave 42.519633 25.512600 translate 0.035278 -0.035278 scale +start_ol +2624 2688 moveto +2624 4352 lineto +3648 4352 lineto +3648 0 lineto +2624 0 lineto +2624 448 lineto +2416 182 2165 59 conicto +1915 -64 1586 -64 conicto +1004 -64 630 393 conicto +256 850 256 1568 conicto +256 2287 630 2743 conicto +1004 3200 1586 3200 conicto +1912 3200 2164 3075 conicto +2416 2950 2624 2688 conicto +1950 640 moveto +2279 640 2451 877 conicto +2624 1115 2624 1567 conicto +2624 2020 2451 2258 conicto +2279 2496 1950 2496 conicto +1626 2496 1453 2258 conicto +1280 2020 1280 1567 conicto +1280 1115 1453 877 conicto +1626 640 1950 640 conicto +end_ol grestore +gsave 43.061500 25.512600 translate 0.035278 -0.035278 scale +start_ol +2549 4160 moveto +2279 3008 lineto +3020 3008 lineto +3292 4160 lineto +3912 4160 lineto +3639 3008 lineto +4416 3008 lineto +4416 2432 lineto +3491 2432 lineto +3297 1664 lineto +4094 1664 lineto +4094 1088 lineto +3152 1088 lineto +2883 0 lineto +2262 0 lineto +2532 1088 lineto +1792 1088 lineto +1523 0 lineto +897 0 lineto +1167 1088 lineto +384 1088 lineto +384 1664 lineto +1303 1664 lineto +1500 2432 lineto +706 2432 lineto +706 3008 lineto +1654 3008 lineto +1923 4160 lineto +2549 4160 lineto +2866 2432 moveto +2126 2432 lineto +1929 1664 lineto +2669 1664 lineto +2866 2432 lineto +end_ol grestore +gsave 43.696500 25.512600 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 44.229900 25.512600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 44.509300 25.512600 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 48.383067 25.412600 translate 0.035278 -0.035278 scale +start_ol +2054 2368 moveto +2394 2368 2541 2496 conicto +2688 2624 2688 2917 conicto +2688 3206 2541 3331 conicto +2394 3456 2054 3456 conicto +1600 3456 lineto +1600 2368 lineto +2054 2368 lineto +1600 1600 moveto +1600 0 lineto +512 0 lineto +512 4224 lineto +2169 4224 lineto +3000 4224 3388 3945 conicto +3776 3666 3776 3063 conicto +3776 2646 3573 2378 conicto +3371 2111 2964 1984 conicto +3188 1933 3364 1751 conicto +3541 1569 3722 1201 conicto +4288 0 lineto +3154 0 lineto +2640 1050 lineto +2485 1367 2327 1483 conicto +2169 1600 1905 1600 conicto +1600 1600 lineto +end_ol grestore +gsave 48.967267 25.412600 translate 0.035278 -0.035278 scale +start_ol +3648 1575 moveto +3648 1280 lineto +1280 1280 lineto +1318 928 1540 752 conicto +1763 576 2163 576 conicto +2486 576 2824 671 conicto +3163 766 3520 960 conicto +3520 192 lineto +3159 65 2798 0 conicto +2438 -64 2076 -64 conicto +1213 -64 734 365 conicto +256 794 256 1568 conicto +256 2329 722 2764 conicto +1189 3200 2008 3200 conicto +2754 3200 3201 2758 conicto +3648 2316 3648 1575 conicto +2624 1920 moveto +2624 2207 2453 2383 conicto +2283 2560 2007 2560 conicto +1710 2560 1523 2395 conicto +1337 2230 1291 1920 conicto +2624 1920 lineto +end_ol grestore +gsave 49.483733 25.412600 translate 0.035278 -0.035278 scale +start_ol +512 4352 moveto +1536 4352 lineto +1536 0 lineto +512 0 lineto +512 4352 lineto +end_ol grestore +gsave 49.746200 25.412600 translate 0.035278 -0.035278 scale +start_ol +2176 -768 moveto +1357 -768 lineto +925 -75 718 549 conicto +512 1174 512 1789 conicto +512 2404 719 3034 conicto +927 3664 1357 4352 conicto +2176 4352 lineto +1824 3686 1648 3050 conicto +1472 2415 1472 1794 conicto +1472 1174 1646 537 conicto +1821 -100 2176 -768 conicto +end_ol grestore +gsave 50.093333 25.412600 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 50.626733 25.412600 translate 0.035278 -0.035278 scale +start_ol +448 -768 moveto +800 -100 976 537 conicto +1152 1174 1152 1794 conicto +1152 2415 976 3050 conicto +800 3686 448 4352 conicto +1268 4352 lineto +1697 3664 1904 3034 conicto +2112 2404 2112 1789 conicto +2112 1174 1906 549 conicto +1700 -75 1268 -768 conicto +448 -768 lineto +end_ol grestore +gsave 44.608067 28.212600 translate 0.035278 -0.035278 scale +start_ol +2054 2368 moveto +2394 2368 2541 2496 conicto +2688 2624 2688 2917 conicto +2688 3206 2541 3331 conicto +2394 3456 2054 3456 conicto +1600 3456 lineto +1600 2368 lineto +2054 2368 lineto +1600 1600 moveto +1600 0 lineto +512 0 lineto +512 4224 lineto +2169 4224 lineto +3000 4224 3388 3945 conicto +3776 3666 3776 3063 conicto +3776 2646 3573 2378 conicto +3371 2111 2964 1984 conicto +3188 1933 3364 1751 conicto +3541 1569 3722 1201 conicto +4288 0 lineto +3154 0 lineto +2640 1050 lineto +2485 1367 2327 1483 conicto +2169 1600 1905 1600 conicto +1600 1600 lineto +end_ol grestore +gsave 45.192267 28.212600 translate 0.035278 -0.035278 scale +start_ol +3648 1575 moveto +3648 1280 lineto +1280 1280 lineto +1318 928 1540 752 conicto +1763 576 2163 576 conicto +2486 576 2824 671 conicto +3163 766 3520 960 conicto +3520 192 lineto +3159 65 2798 0 conicto +2438 -64 2076 -64 conicto +1213 -64 734 365 conicto +256 794 256 1568 conicto +256 2329 722 2764 conicto +1189 3200 2008 3200 conicto +2754 3200 3201 2758 conicto +3648 2316 3648 1575 conicto +2624 1920 moveto +2624 2207 2453 2383 conicto +2283 2560 2007 2560 conicto +1710 2560 1523 2395 conicto +1337 2230 1291 1920 conicto +2624 1920 lineto +end_ol grestore +gsave 45.708733 28.212600 translate 0.035278 -0.035278 scale +start_ol +512 4352 moveto +1536 4352 lineto +1536 0 lineto +512 0 lineto +512 4352 lineto +end_ol grestore +gsave 45.971200 28.212600 translate 0.035278 -0.035278 scale +start_ol +2176 -768 moveto +1357 -768 lineto +925 -75 718 549 conicto +512 1174 512 1789 conicto +512 2404 719 3034 conicto +927 3664 1357 4352 conicto +2176 4352 lineto +1824 3686 1648 3050 conicto +1472 2415 1472 1794 conicto +1472 1174 1646 537 conicto +1821 -100 2176 -768 conicto +end_ol grestore +gsave 46.318333 28.212600 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 46.851733 28.212600 translate 0.035278 -0.035278 scale +start_ol +448 -768 moveto +800 -100 976 537 conicto +1152 1174 1152 1794 conicto +1152 2415 976 3050 conicto +800 3686 448 4352 conicto +1268 4352 lineto +1697 3664 1904 3034 conicto +2112 2404 2112 1789 conicto +2112 1174 1906 549 conicto +1700 -75 1268 -768 conicto +448 -768 lineto +end_ol grestore +gsave 49.744600 30.312600 translate 0.035278 -0.035278 scale +start_ol +3520 2215 moveto +3520 1692 3735 1390 conicto +3951 1088 4320 1088 conicto +4685 1088 4902 1392 conicto +5120 1696 5120 2215 conicto +5120 2729 4900 3028 conicto +4681 3328 4312 3328 conicto +3951 3328 3735 3028 conicto +3520 2729 3520 2215 conicto +5184 940 moveto +5060 646 4787 483 conicto +4514 320 4149 320 conicto +3443 320 3001 842 conicto +2560 1365 2560 2206 conicto +2560 3046 3003 3571 conicto +3446 4096 4149 4096 conicto +4514 4096 4787 3932 conicto +5060 3768 5184 3477 conicto +5184 4032 lineto +6080 4032 lineto +6080 1088 lineto +6617 1169 6924 1596 conicto +7232 2023 7232 2690 conicto +7232 3115 7109 3487 conicto +6987 3859 6738 4168 conicto +6336 4687 5734 4967 conicto +5133 5248 4431 5248 conicto +3942 5248 3494 5119 conicto +3046 4990 2666 4740 conicto +2041 4325 1692 3667 conicto +1344 3009 1344 2243 conicto +1344 1612 1569 1059 conicto +1794 507 2219 83 conicto +2640 -331 3185 -549 conicto +3730 -768 4348 -768 conicto +4878 -768 5408 -578 conicto +5938 -388 6313 -64 conicto +6784 -719 lineto +6257 -1115 5636 -1325 conicto +5016 -1536 4377 -1536 conicto +3598 -1536 2907 -1260 conicto +2217 -985 1679 -460 conicto +1140 67 858 758 conicto +576 1449 576 2245 conicto +576 3010 862 3703 conicto +1148 4397 1676 4923 conicto +2205 5445 2908 5730 conicto +3612 6016 4368 6016 conicto +5309 6016 6077 5655 conicto +6845 5295 7361 4617 conicto +7676 4203 7838 3720 conicto +8000 3238 8000 2708 conicto +8000 1565 7307 933 conicto +6614 301 5351 301 conicto +5184 301 lineto +5184 940 lineto +end_ol grestore +gsave 43.228600 32.062600 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 43.677333 32.062600 translate 0.035278 -0.035278 scale +start_ol +512 3136 moveto +1536 3136 lineto +1536 0 lineto +512 0 lineto +512 3136 lineto +512 4352 moveto +1536 4352 lineto +1536 3520 lineto +512 3520 lineto +512 4352 lineto +end_ol grestore +gsave 43.939800 32.062600 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 44.388533 32.062600 translate 0.035278 -0.035278 scale +start_ol +640 3136 moveto +1664 3136 lineto +1664 2048 lineto +640 2048 lineto +640 3136 lineto +640 1088 moveto +1664 1088 lineto +1664 0 lineto +640 0 lineto +640 1088 lineto +end_ol grestore +gsave 44.693333 32.062600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 44.972733 32.062600 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 45.260600 32.062600 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 45.548467 32.062600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 45.827867 32.062600 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +gsave 46.369733 32.062600 translate 0.035278 -0.035278 scale +start_ol +1911 1472 moveto +1597 1472 1438 1356 conicto +1280 1241 1280 1016 conicto +1280 809 1407 692 conicto +1535 576 1762 576 conicto +2045 576 2238 796 conicto +2432 1017 2432 1347 conicto +2432 1472 lineto +1911 1472 lineto +3456 1836 moveto +3456 0 lineto +2432 0 lineto +2432 512 lineto +2229 211 1975 73 conicto +1721 -64 1358 -64 conicto +867 -64 561 223 conicto +256 511 256 969 conicto +256 1527 638 1787 conicto +1021 2048 1840 2048 conicto +2432 2048 lineto +2432 2119 lineto +2432 2347 2241 2453 conicto +2050 2560 1646 2560 conicto +1318 2560 1036 2496 conicto +754 2432 512 2304 conicto +512 3072 lineto +842 3134 1174 3167 conicto +1507 3200 1840 3200 conicto +2697 3200 3076 2879 conicto +3456 2559 3456 1836 conicto +end_ol grestore +gsave 46.886200 32.062600 translate 0.035278 -0.035278 scale +start_ol +1600 4032 moveto +1600 3136 lineto +2624 3136 lineto +2624 2432 lineto +1600 2432 lineto +1600 1082 lineto +1600 861 1688 782 conicto +1777 704 2038 704 conicto +2560 704 lineto +2560 0 lineto +1689 0 lineto +1082 0 829 246 conicto +576 493 576 1082 conicto +576 2432 lineto +64 2432 lineto +64 3136 lineto +576 3136 lineto +576 4032 lineto +1600 4032 lineto +end_ol grestore +gsave 47.250267 32.062600 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 47.538133 32.062600 translate 0.035278 -0.035278 scale +start_ol +512 3136 moveto +1536 3136 lineto +1536 0 lineto +512 0 lineto +512 3136 lineto +512 4352 moveto +1536 4352 lineto +1536 3520 lineto +512 3520 lineto +512 4352 lineto +end_ol grestore +gsave 47.800600 32.062600 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +gsave 48.342467 32.062600 translate 0.035278 -0.035278 scale +start_ol +2624 2688 moveto +2624 4352 lineto +3648 4352 lineto +3648 0 lineto +2624 0 lineto +2624 448 lineto +2416 182 2165 59 conicto +1915 -64 1586 -64 conicto +1004 -64 630 393 conicto +256 850 256 1568 conicto +256 2287 630 2743 conicto +1004 3200 1586 3200 conicto +1912 3200 2164 3075 conicto +2416 2950 2624 2688 conicto +1950 640 moveto +2279 640 2451 877 conicto +2624 1115 2624 1567 conicto +2624 2020 2451 2258 conicto +2279 2496 1950 2496 conicto +1626 2496 1453 2258 conicto +1280 2020 1280 1567 conicto +1280 1115 1453 877 conicto +1626 640 1950 640 conicto +end_ol grestore +gsave 48.884333 32.062600 translate 0.035278 -0.035278 scale +start_ol +2549 4160 moveto +2279 3008 lineto +3020 3008 lineto +3292 4160 lineto +3912 4160 lineto +3639 3008 lineto +4416 3008 lineto +4416 2432 lineto +3491 2432 lineto +3297 1664 lineto +4094 1664 lineto +4094 1088 lineto +3152 1088 lineto +2883 0 lineto +2262 0 lineto +2532 1088 lineto +1792 1088 lineto +1523 0 lineto +897 0 lineto +1167 1088 lineto +384 1088 lineto +384 1664 lineto +1303 1664 lineto +1500 2432 lineto +706 2432 lineto +706 3008 lineto +1654 3008 lineto +1923 4160 lineto +2549 4160 lineto +2866 2432 moveto +2126 2432 lineto +1929 1664 lineto +2669 1664 lineto +2866 2432 lineto +end_ol grestore +gsave 49.519333 32.062600 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 50.052733 32.062600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 50.332133 32.062600 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 50.865533 32.062600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 51.144933 32.062600 translate 0.035278 -0.035278 scale +start_ol +1677 832 moveto +3520 832 lineto +3520 0 lineto +448 0 lineto +448 832 lineto +2016 2182 lineto +2229 2369 2330 2548 conicto +2432 2728 2432 2921 conicto +2432 3220 2227 3402 conicto +2023 3584 1683 3584 conicto +1422 3584 1112 3471 conicto +802 3359 448 3136 conicto +448 4032 lineto +821 4156 1185 4222 conicto +1550 4288 1899 4288 conicto +2668 4288 3094 3958 conicto +3520 3629 3520 3041 conicto +3520 2700 3343 2405 conicto +3166 2111 2598 1617 conicto +1677 832 lineto +end_ol grestore +gsave 48.839367 32.892600 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 49.288100 32.892600 translate 0.035278 -0.035278 scale +start_ol +512 3136 moveto +1536 3136 lineto +1536 0 lineto +512 0 lineto +512 3136 lineto +512 4352 moveto +1536 4352 lineto +1536 3520 lineto +512 3520 lineto +512 4352 lineto +end_ol grestore +gsave 49.550567 32.892600 translate 0.035278 -0.035278 scale +start_ol +3008 3072 moveto +3008 2240 lineto +2803 2371 2596 2433 conicto +2390 2496 2169 2496 conicto +1748 2496 1514 2251 conicto +1280 2007 1280 1568 conicto +1280 1130 1514 885 conicto +1748 640 2169 640 conicto +2404 640 2616 704 conicto +2828 769 3008 896 conicto +3008 64 lineto +2774 0 2533 -32 conicto +2293 -64 2051 -64 conicto +1207 -64 731 367 conicto +256 799 256 1568 conicto +256 2337 731 2768 conicto +1207 3200 2051 3200 conicto +2296 3200 2533 3168 conicto +2771 3136 3008 3072 conicto +end_ol grestore +gsave 49.999300 32.892600 translate 0.035278 -0.035278 scale +start_ol +640 3136 moveto +1664 3136 lineto +1664 2048 lineto +640 2048 lineto +640 3136 lineto +640 1088 moveto +1664 1088 lineto +1664 0 lineto +640 0 lineto +640 1088 lineto +end_ol grestore +gsave 50.304100 32.892600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 50.583500 32.892600 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 50.871367 32.892600 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 51.159233 32.892600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 51.438633 32.892600 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +gsave 51.980500 32.892600 translate 0.035278 -0.035278 scale +start_ol +1911 1472 moveto +1597 1472 1438 1356 conicto +1280 1241 1280 1016 conicto +1280 809 1407 692 conicto +1535 576 1762 576 conicto +2045 576 2238 796 conicto +2432 1017 2432 1347 conicto +2432 1472 lineto +1911 1472 lineto +3456 1836 moveto +3456 0 lineto +2432 0 lineto +2432 512 lineto +2229 211 1975 73 conicto +1721 -64 1358 -64 conicto +867 -64 561 223 conicto +256 511 256 969 conicto +256 1527 638 1787 conicto +1021 2048 1840 2048 conicto +2432 2048 lineto +2432 2119 lineto +2432 2347 2241 2453 conicto +2050 2560 1646 2560 conicto +1318 2560 1036 2496 conicto +754 2432 512 2304 conicto +512 3072 lineto +842 3134 1174 3167 conicto +1507 3200 1840 3200 conicto +2697 3200 3076 2879 conicto +3456 2559 3456 1836 conicto +end_ol grestore +gsave 52.496967 32.892600 translate 0.035278 -0.035278 scale +start_ol +1600 4032 moveto +1600 3136 lineto +2624 3136 lineto +2624 2432 lineto +1600 2432 lineto +1600 1082 lineto +1600 861 1688 782 conicto +1777 704 2038 704 conicto +2560 704 lineto +2560 0 lineto +1689 0 lineto +1082 0 829 246 conicto +576 493 576 1082 conicto +576 2432 lineto +64 2432 lineto +64 3136 lineto +576 3136 lineto +576 4032 lineto +1600 4032 lineto +end_ol grestore +gsave 52.861033 32.892600 translate 0.035278 -0.035278 scale +start_ol +576 1088 moveto +1600 1088 lineto +1600 0 lineto +576 0 lineto +576 1088 lineto +end_ol grestore +gsave 53.148900 32.892600 translate 0.035278 -0.035278 scale +start_ol +512 3136 moveto +1536 3136 lineto +1536 0 lineto +512 0 lineto +512 3136 lineto +512 4352 moveto +1536 4352 lineto +1536 3520 lineto +512 3520 lineto +512 4352 lineto +end_ol grestore +gsave 53.411367 32.892600 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +gsave 53.953233 32.892600 translate 0.035278 -0.035278 scale +start_ol +2624 2688 moveto +2624 4352 lineto +3648 4352 lineto +3648 0 lineto +2624 0 lineto +2624 448 lineto +2416 182 2165 59 conicto +1915 -64 1586 -64 conicto +1004 -64 630 393 conicto +256 850 256 1568 conicto +256 2287 630 2743 conicto +1004 3200 1586 3200 conicto +1912 3200 2164 3075 conicto +2416 2950 2624 2688 conicto +1950 640 moveto +2279 640 2451 877 conicto +2624 1115 2624 1567 conicto +2624 2020 2451 2258 conicto +2279 2496 1950 2496 conicto +1626 2496 1453 2258 conicto +1280 2020 1280 1567 conicto +1280 1115 1453 877 conicto +1626 640 1950 640 conicto +end_ol grestore +gsave 54.495100 32.892600 translate 0.035278 -0.035278 scale +start_ol +2549 4160 moveto +2279 3008 lineto +3020 3008 lineto +3292 4160 lineto +3912 4160 lineto +3639 3008 lineto +4416 3008 lineto +4416 2432 lineto +3491 2432 lineto +3297 1664 lineto +4094 1664 lineto +4094 1088 lineto +3152 1088 lineto +2883 0 lineto +2262 0 lineto +2532 1088 lineto +1792 1088 lineto +1523 0 lineto +897 0 lineto +1167 1088 lineto +384 1088 lineto +384 1664 lineto +1303 1664 lineto +1500 2432 lineto +706 2432 lineto +706 3008 lineto +1654 3008 lineto +1923 4160 lineto +2549 4160 lineto +2866 2432 moveto +2126 2432 lineto +1929 1664 lineto +2669 1664 lineto +2866 2432 lineto +end_ol grestore +gsave 55.130100 32.892600 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 55.663500 32.892600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 55.942900 32.892600 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 56.476300 32.892600 translate 0.035278 -0.035278 scale +start_ol +1485 4224 moveto +2112 4224 lineto +624 -512 lineto +0 -512 lineto +1485 4224 lineto +end_ol grestore +gsave 56.755700 32.892600 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 49.534600 30.292600 m 46.984600 31.242600 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 50.934600 30.342600 m 53.084600 31.992600 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 43.784600 22.592600 m 45.584600 24.542600 l s +gsave 39.905633 13.119000 translate 0.035278 -0.035278 scale +start_ol +3264 -1088 moveto +2006 -1088 lineto +1372 -56 1070 873 conicto +768 1802 768 2716 conicto +768 3630 1072 4567 conicto +1377 5505 2006 6528 conicto +3264 6528 lineto +2720 5539 2448 4593 conicto +2176 3647 2176 2725 conicto +2176 1802 2446 854 conicto +2716 -94 3264 -1088 conicto +end_ol grestore +gsave 40.422100 13.119000 translate 0.035278 -0.035278 scale +start_ol +768 6272 moveto +2368 6272 lineto +2368 1216 lineto +5184 1216 lineto +5184 0 lineto +768 0 lineto +768 6272 lineto +end_ol grestore +gsave 41.141767 13.119000 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 41.912233 13.119000 translate 0.035278 -0.035278 scale +start_ol +128 4672 moveto +1621 4672 lineto +2784 1443 lineto +3942 4672 lineto +5440 4672 lineto +3601 0 lineto +1962 0 lineto +128 4672 lineto +end_ol grestore +gsave 42.648833 13.119000 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 43.419300 13.119000 translate 0.035278 -0.035278 scale +start_ol +704 6528 moveto +2176 6528 lineto +2176 0 lineto +704 0 lineto +704 6528 lineto +end_ol grestore +gsave 43.808767 13.119000 translate 0.035278 -0.035278 scale +start_ol +end_ol grestore +gsave 44.206700 13.119000 translate 0.035278 -0.035278 scale +start_ol +4036 3413 moveto +4661 3248 4986 2837 conicto +5312 2427 5312 1796 conicto +5312 853 4596 362 conicto +3880 -128 2508 -128 conicto +2024 -128 1538 -47 conicto +1052 33 576 192 conicto +576 1408 lineto +1034 1186 1485 1073 conicto +1936 960 2373 960 conicto +3022 960 3367 1190 conicto +3712 1421 3712 1851 conicto +3712 2295 3360 2523 conicto +3009 2752 2323 2752 conicto +1664 2752 lineto +1664 3776 lineto +2356 3776 lineto +2976 3776 3280 3968 conicto +3584 4161 3584 4553 conicto +3584 4915 3287 5113 conicto +2991 5312 2450 5312 conicto +2051 5312 1643 5231 conicto +1235 5150 832 4992 conicto +832 6144 lineto +1315 6272 1790 6336 conicto +2265 6400 2723 6400 conicto +3958 6400 4571 6001 conicto +5184 5602 5184 4800 conicto +5184 4253 4893 3904 conicto +4603 3555 4036 3413 conicto +end_ol grestore +gsave 44.994100 13.119000 translate 0.035278 -0.035278 scale +start_ol +640 -1088 moveto +1184 -94 1456 854 conicto +1728 1802 1728 2725 conicto +1728 3647 1456 4593 conicto +1184 5539 640 6528 conicto +1897 6528 lineto +2527 5505 2831 4567 conicto +3136 3630 3136 2716 conicto +3136 1802 2833 873 conicto +2531 -56 1897 -1088 conicto +640 -1088 lineto +end_ol grestore +gsave 41.649767 16.775000 translate 0.035278 -0.035278 scale +start_ol +5760 330 moveto +5317 103 4836 -12 conicto +4355 -128 3832 -128 conicto +2272 -128 1360 750 conicto +448 1629 448 3134 conicto +448 4643 1360 5521 conicto +2272 6400 3832 6400 conicto +4355 6400 4836 6284 conicto +5317 6169 5760 5941 conicto +5760 4672 lineto +5312 4970 4877 5109 conicto +4442 5248 3961 5248 conicto +3099 5248 2605 4685 conicto +2112 4122 2112 3134 conicto +2112 2149 2605 1586 conicto +3099 1024 3961 1024 conicto +4442 1024 4877 1163 conicto +5312 1302 5760 1600 conicto +5760 330 lineto +end_ol grestore +gsave 42.479500 16.775000 translate 0.035278 -0.035278 scale +start_ol +768 6272 moveto +2368 6272 lineto +2368 0 lineto +768 0 lineto +768 6272 lineto +end_ol grestore +gsave 42.902833 16.775000 translate 0.035278 -0.035278 scale +start_ol +5760 330 moveto +5317 103 4836 -12 conicto +4355 -128 3832 -128 conicto +2272 -128 1360 750 conicto +448 1629 448 3134 conicto +448 4643 1360 5521 conicto +2272 6400 3832 6400 conicto +4355 6400 4836 6284 conicto +5317 6169 5760 5941 conicto +5760 4672 lineto +5312 4970 4877 5109 conicto +4442 5248 3961 5248 conicto +3099 5248 2605 4685 conicto +2112 4122 2112 3134 conicto +2112 2149 2605 1586 conicto +3099 1024 3961 1024 conicto +4442 1024 4877 1163 conicto +5312 1302 5760 1600 conicto +5760 330 lineto +end_ol grestore +gsave 4.677310 34.623300 translate 0.035278 -0.035278 scale +start_ol +3200 7808 moveto +2518 6645 2187 5508 conicto +1856 4371 1856 3205 conicto +1856 2038 2189 893 conicto +2523 -251 3200 -1408 conicto +2385 -1408 lineto +1638 -221 1267 926 conicto +896 2073 896 3205 conicto +896 4331 1264 5473 conicto +1633 6615 2385 7808 conicto +3200 7808 lineto +end_ol grestore +gsave 5.210710 34.623300 translate 0.035278 -0.035278 scale +start_ol +3548 2880 moveto +2412 2880 1974 2619 conicto +1536 2358 1536 1730 conicto +1536 1228 1864 934 conicto +2193 640 2758 640 conicto +3537 640 4008 1195 conicto +4480 1751 4480 2672 conicto +4480 2880 lineto +3548 2880 lineto +5376 3251 moveto +5376 0 lineto +4480 0 lineto +4480 896 lineto +4163 371 3689 121 conicto +3215 -128 2530 -128 conicto +1663 -128 1151 358 conicto +640 845 640 1662 conicto +640 2616 1274 3100 conicto +1908 3584 3166 3584 conicto +4480 3584 lineto +4480 3674 lineto +4480 4303 4055 4647 conicto +3631 4992 2864 4992 conicto +2376 4992 1913 4880 conicto +1451 4768 1024 4544 conicto +1024 5376 lineto +1534 5568 2012 5664 conicto +2491 5760 2943 5760 conicto +4168 5760 4772 5137 conicto +5376 4515 5376 3251 conicto +end_ol grestore +gsave 6.048910 34.623300 translate 0.035278 -0.035278 scale +start_ol +832 7808 moveto +1647 7808 lineto +2394 6615 2765 5473 conicto +3136 4331 3136 3205 conicto +3136 2073 2765 926 conicto +2394 -221 1647 -1408 conicto +832 -1408 lineto +1509 -251 1842 893 conicto +2176 2038 2176 3205 conicto +2176 4371 1842 5508 conicto +1509 6645 832 7808 conicto +end_ol grestore +gsave 23.156000 34.623300 translate 0.035278 -0.035278 scale +start_ol +3200 7808 moveto +2518 6645 2187 5508 conicto +1856 4371 1856 3205 conicto +1856 2038 2189 893 conicto +2523 -251 3200 -1408 conicto +2385 -1408 lineto +1638 -221 1267 926 conicto +896 2073 896 3205 conicto +896 4331 1264 5473 conicto +1633 6615 2385 7808 conicto +3200 7808 lineto +end_ol grestore +gsave 23.689400 34.623300 translate 0.035278 -0.035278 scale +start_ol +5056 2816 moveto +5056 3834 4629 4413 conicto +4202 4992 3455 4992 conicto +2710 4992 2283 4413 conicto +1856 3834 1856 2816 conicto +1856 1798 2283 1219 conicto +2710 640 3455 640 conicto +4202 640 4629 1219 conicto +5056 1798 5056 2816 conicto +1856 4800 moveto +2151 5287 2601 5523 conicto +3052 5760 3679 5760 conicto +4717 5760 5366 4949 conicto +6016 4138 6016 2816 conicto +6016 1494 5366 683 conicto +4717 -128 3679 -128 conicto +3052 -128 2601 108 conicto +2151 345 1856 832 conicto +1856 0 lineto +960 0 lineto +960 7808 lineto +1856 7808 lineto +1856 4800 lineto +end_ol grestore +gsave 24.553000 34.623300 translate 0.035278 -0.035278 scale +start_ol +832 7808 moveto +1647 7808 lineto +2394 6615 2765 5473 conicto +3136 4331 3136 3205 conicto +3136 2073 2765 926 conicto +2394 -221 1647 -1408 conicto +832 -1408 lineto +1509 -251 1842 893 conicto +2176 2038 2176 3205 conicto +2176 4371 1842 5508 conicto +1509 6645 832 7808 conicto +end_ol grestore +gsave 45.252100 34.623300 translate 0.035278 -0.035278 scale +start_ol +3200 7808 moveto +2518 6645 2187 5508 conicto +1856 4371 1856 3205 conicto +1856 2038 2189 893 conicto +2523 -251 3200 -1408 conicto +2385 -1408 lineto +1638 -221 1267 926 conicto +896 2073 896 3205 conicto +896 4331 1264 5473 conicto +1633 6615 2385 7808 conicto +3200 7808 lineto +end_ol grestore +gsave 45.785500 34.623300 translate 0.035278 -0.035278 scale +start_ol +5056 5440 moveto +5056 4544 lineto +4660 4769 4260 4880 conicto +3861 4992 3453 4992 conicto +2543 4992 2039 4420 conicto +1536 3849 1536 2815 conicto +1536 1783 2039 1211 conicto +2543 640 3453 640 conicto +3861 640 4260 751 conicto +4660 863 5056 1088 conicto +5056 256 lineto +4667 64 4250 -32 conicto +3833 -128 3362 -128 conicto +2083 -128 1329 668 conicto +576 1464 576 2816 conicto +576 4188 1337 4974 conicto +2098 5760 3423 5760 conicto +3853 5760 4262 5680 conicto +4672 5600 5056 5440 conicto +end_ol grestore +gsave 46.539033 34.623300 translate 0.035278 -0.035278 scale +start_ol +832 7808 moveto +1647 7808 lineto +2394 6615 2765 5473 conicto +3136 4331 3136 3205 conicto +3136 2073 2765 926 conicto +2394 -221 1647 -1408 conicto +832 -1408 lineto +1509 -251 1842 893 conicto +2176 2038 2176 3205 conicto +2176 4371 1842 5508 conicto +1509 6645 832 7808 conicto +end_ol grestore +gsave 21.317836 13.210900 translate 0.035278 -0.035278 scale +start_ol +3264 -1088 moveto +2006 -1088 lineto +1372 -56 1070 873 conicto +768 1802 768 2716 conicto +768 3630 1072 4567 conicto +1377 5505 2006 6528 conicto +3264 6528 lineto +2720 5539 2448 4593 conicto +2176 3647 2176 2725 conicto +2176 1802 2446 854 conicto +2716 -94 3264 -1088 conicto +end_ol grestore +gsave 21.834303 13.210900 translate 0.035278 -0.035278 scale +start_ol +768 6272 moveto +2368 6272 lineto +2368 1216 lineto +5184 1216 lineto +5184 0 lineto +768 0 lineto +768 6272 lineto +end_ol grestore +gsave 22.553970 13.210900 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 23.324436 13.210900 translate 0.035278 -0.035278 scale +start_ol +128 4672 moveto +1621 4672 lineto +2784 1443 lineto +3942 4672 lineto +5440 4672 lineto +3601 0 lineto +1962 0 lineto +128 4672 lineto +end_ol grestore +gsave 24.061036 13.210900 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 24.831503 13.210900 translate 0.035278 -0.035278 scale +start_ol +704 6528 moveto +2176 6528 lineto +2176 0 lineto +704 0 lineto +704 6528 lineto +end_ol grestore +gsave 25.220970 13.210900 translate 0.035278 -0.035278 scale +start_ol +end_ol grestore +gsave 25.618903 13.210900 translate 0.035278 -0.035278 scale +start_ol +2490 1216 moveto +5248 1216 lineto +5248 0 lineto +704 0 lineto +704 1216 lineto +2983 3241 lineto +3290 3519 3437 3783 conicto +3584 4047 3584 4333 conicto +3584 4774 3287 5043 conicto +2991 5312 2498 5312 conicto +2119 5312 1668 5151 conicto +1218 4990 704 4672 conicto +704 6016 lineto +1248 6204 1779 6302 conicto +2310 6400 2821 6400 conicto +3941 6400 4562 5906 conicto +5184 5412 5184 4529 conicto +5184 4018 4923 3577 conicto +4663 3136 3828 2395 conicto +2490 1216 lineto +end_ol grestore +gsave 26.406303 13.210900 translate 0.035278 -0.035278 scale +start_ol +640 -1088 moveto +1184 -94 1456 854 conicto +1728 1802 1728 2725 conicto +1728 3647 1456 4593 conicto +1184 5539 640 6528 conicto +1897 6528 lineto +2527 5505 2831 4567 conicto +3136 3630 3136 2716 conicto +3136 1802 2833 873 conicto +2531 -56 1897 -1088 conicto +640 -1088 lineto +end_ol grestore +gsave 21.550670 16.025000 translate 0.035278 -0.035278 scale +start_ol +5760 330 moveto +5317 103 4836 -12 conicto +4355 -128 3832 -128 conicto +2272 -128 1360 750 conicto +448 1629 448 3134 conicto +448 4643 1360 5521 conicto +2272 6400 3832 6400 conicto +4355 6400 4836 6284 conicto +5317 6169 5760 5941 conicto +5760 4672 lineto +5312 4970 4877 5109 conicto +4442 5248 3961 5248 conicto +3099 5248 2605 4685 conicto +2112 4122 2112 3134 conicto +2112 2149 2605 1586 conicto +3099 1024 3961 1024 conicto +4442 1024 4877 1163 conicto +5312 1302 5760 1600 conicto +5760 330 lineto +end_ol grestore +gsave 22.380403 16.025000 translate 0.035278 -0.035278 scale +start_ol +2983 3712 moveto +2465 3712 2192 3357 conicto +1920 3003 1920 2336 conicto +1920 1669 2192 1314 conicto +2465 960 2983 960 conicto +3492 960 3762 1314 conicto +4032 1669 4032 2336 conicto +4032 3003 3762 3357 conicto +3492 3712 2983 3712 conicto +2982 4800 moveto +4199 4800 4883 4146 conicto +5568 3493 5568 2336 conicto +5568 1179 4883 525 conicto +4199 -128 2982 -128 conicto +1761 -128 1072 525 conicto +384 1179 384 2336 conicto +384 3493 1072 4146 conicto +1761 4800 2982 4800 conicto +end_ol grestore +gsave 23.159336 16.025000 translate 0.035278 -0.035278 scale +start_ol +5440 2837 moveto +5440 0 lineto +3968 0 lineto +3968 462 lineto +3968 2172 lineto +3968 2775 3939 3004 conicto +3910 3233 3840 3341 conicto +3749 3486 3590 3567 conicto +3432 3648 3230 3648 conicto +2738 3648 2457 3288 conicto +2176 2929 2176 2292 conicto +2176 0 lineto +704 0 lineto +704 4672 lineto +2176 4672 lineto +2176 3968 lineto +2521 4395 2907 4597 conicto +3294 4800 3761 4800 conicto +4586 4800 5013 4297 conicto +5440 3795 5440 2837 conicto +end_ol grestore +gsave 23.963670 16.025000 translate 0.035278 -0.035278 scale +start_ol +2304 6016 moveto +2304 4672 lineto +3840 4672 lineto +3840 3584 lineto +2304 3584 lineto +2304 1634 lineto +2304 1313 2433 1200 conicto +2562 1088 2945 1088 conicto +3712 1088 lineto +3712 0 lineto +2432 0 lineto +1561 0 1196 371 conicto +832 743 832 1634 conicto +832 3584 lineto +64 3584 lineto +64 4672 lineto +832 4672 lineto +832 6016 lineto +2304 6016 lineto +end_ol grestore +gsave 24.505536 16.025000 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 25.276003 16.025000 translate 0.035278 -0.035278 scale +start_ol +5440 2837 moveto +5440 0 lineto +3968 0 lineto +3968 462 lineto +3968 2172 lineto +3968 2775 3939 3004 conicto +3910 3233 3840 3341 conicto +3749 3486 3590 3567 conicto +3432 3648 3230 3648 conicto +2738 3648 2457 3288 conicto +2176 2929 2176 2292 conicto +2176 0 lineto +704 0 lineto +704 4672 lineto +2176 4672 lineto +2176 3968 lineto +2521 4395 2907 4597 conicto +3294 4800 3761 4800 conicto +4586 4800 5013 4297 conicto +5440 3795 5440 2837 conicto +end_ol grestore +gsave 26.080336 16.025000 translate 0.035278 -0.035278 scale +start_ol +2304 6016 moveto +2304 4672 lineto +3840 4672 lineto +3840 3584 lineto +2304 3584 lineto +2304 1634 lineto +2304 1313 2433 1200 conicto +2562 1088 2945 1088 conicto +3712 1088 lineto +3712 0 lineto +2432 0 lineto +1561 0 1196 371 conicto +832 743 832 1634 conicto +832 3584 lineto +64 3584 lineto +64 4672 lineto +832 4672 lineto +832 6016 lineto +2304 6016 lineto +end_ol grestore +gsave 22.592070 17.525000 translate 0.035278 -0.035278 scale +start_ol +704 6528 moveto +2176 6528 lineto +2176 0 lineto +704 0 lineto +704 6528 lineto +end_ol grestore +gsave 22.981536 17.525000 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 23.752003 17.525000 translate 0.035278 -0.035278 scale +start_ol +128 4672 moveto +1621 4672 lineto +2784 1443 lineto +3942 4672 lineto +5440 4672 lineto +3601 0 lineto +1962 0 lineto +128 4672 lineto +end_ol grestore +gsave 24.488603 17.525000 translate 0.035278 -0.035278 scale +start_ol +5440 2334 moveto +5440 1920 lineto +1856 1920 lineto +1912 1377 2250 1104 conicto +2588 832 3193 832 conicto +3682 832 4195 975 conicto +4708 1118 5248 1408 conicto +5248 256 lineto +4710 66 4172 -31 conicto +3635 -128 3098 -128 conicto +1811 -128 1097 519 conicto +384 1167 384 2336 conicto +384 3484 1080 4142 conicto +1776 4800 2996 4800 conicto +4106 4800 4773 4128 conicto +5440 3457 5440 2334 conicto +3968 2816 moveto +3968 3276 3700 3558 conicto +3432 3840 3000 3840 conicto +2531 3840 2238 3576 conicto +1946 3313 1874 2816 conicto +3968 2816 lineto +end_ol grestore +gsave 25.259070 17.525000 translate 0.035278 -0.035278 scale +start_ol +704 6528 moveto +2176 6528 lineto +2176 0 lineto +704 0 lineto +704 6528 lineto +end_ol grestore +gsave 22.048170 20.234300 translate 0.035278 -0.035278 scale +start_ol +402 6456 moveto +838 6698 lineto +1859 4672 lineto +6625 4672 lineto +7646 6698 lineto +8082 6456 lineto +4556 -571 lineto +4414 -839 4238 -839 conicto +4062 -839 3928 -571 conicto +402 6456 lineto +4213 -49 moveto +4246 -83 4271 -49 conicto +6357 4096 lineto +2127 4096 lineto +4213 -49 lineto +end_ol grestore +gsave 23.914336 22.914300 translate 0.035278 -0.035278 scale +start_ol +2431 3520 moveto +1914 3520 1629 3150 conicto +1344 2781 1344 2110 conicto +1344 1443 1629 1073 conicto +1914 704 2431 704 conicto +2951 704 3235 1073 conicto +3520 1443 3520 2110 conicto +3520 2781 3235 3150 conicto +2951 3520 2431 3520 conicto +2432 4288 moveto +3451 4288 4029 3709 conicto +4608 3130 4608 2111 conicto +4608 1094 4029 515 conicto +3451 -64 2432 -64 conicto +1415 -64 835 515 conicto +256 1094 256 2111 conicto +256 3130 835 3709 conicto +1415 4288 2432 4288 conicto +end_ol grestore +gsave 24.566270 22.914300 translate 0.035278 -0.035278 scale +start_ol +1536 448 moveto +1536 -1216 lineto +512 -1216 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1744 2950 1996 3075 conicto +2248 3200 2577 3200 conicto +3158 3200 3531 2743 conicto +3904 2287 3904 1568 conicto +3904 850 3531 393 conicto +3158 -64 2577 -64 conicto +2248 -64 1996 60 conicto +1744 185 1536 448 conicto +2211 2496 moveto +1885 2496 1710 2256 conicto +1536 2017 1536 1567 conicto +1536 1118 1710 879 conicto +1885 640 2211 640 conicto +2536 640 2708 877 conicto +2880 1115 2880 1567 conicto +2880 2020 2708 2258 conicto +2536 2496 2211 2496 conicto +end_ol grestore +gsave 25.108136 22.914300 translate 0.035278 -0.035278 scale +start_ol +2176 -768 moveto +1357 -768 lineto +925 -75 718 549 conicto +512 1174 512 1789 conicto +512 2404 719 3034 conicto +927 3664 1357 4352 conicto +2176 4352 lineto +1824 3686 1648 3050 conicto +1472 2415 1472 1794 conicto +1472 1174 1646 537 conicto +1821 -100 2176 -768 conicto +end_ol grestore +gsave 25.455270 22.914300 translate 0.035278 -0.035278 scale +start_ol +640 2752 moveto +4224 2752 lineto +4224 2112 lineto +640 2112 lineto +640 2752 lineto +640 1472 moveto +4224 1472 lineto +4224 832 lineto +640 832 lineto +640 1472 lineto +end_ol grestore +gsave 26.090270 22.914300 translate 0.035278 -0.035278 scale +start_ol +448 -768 moveto +800 -100 976 537 conicto +1152 1174 1152 1794 conicto +1152 2415 976 3050 conicto +800 3686 448 4352 conicto +1268 4352 lineto +1697 3664 1904 3034 conicto +2112 2404 2112 1789 conicto +2112 1174 1906 549 conicto +1700 -75 1268 -768 conicto +448 -768 lineto +end_ol grestore +gsave 18.787570 22.914300 translate 0.035278 -0.035278 scale +start_ol +512 4224 moveto +1600 4224 lineto +1600 0 lineto +512 0 lineto +512 4224 lineto +end_ol grestore +gsave 19.066970 22.914300 translate 0.035278 -0.035278 scale +start_ol +2624 2688 moveto +2624 4352 lineto +3648 4352 lineto +3648 0 lineto +2624 0 lineto +2624 448 lineto +2416 182 2165 59 conicto +1915 -64 1586 -64 conicto +1004 -64 630 393 conicto +256 850 256 1568 conicto +256 2287 630 2743 conicto +1004 3200 1586 3200 conicto +1912 3200 2164 3075 conicto +2416 2950 2624 2688 conicto +1950 640 moveto +2279 640 2451 877 conicto +2624 1115 2624 1567 conicto +2624 2020 2451 2258 conicto +2279 2496 1950 2496 conicto +1626 2496 1453 2258 conicto +1280 2020 1280 1567 conicto +1280 1115 1453 877 conicto +1626 640 1950 640 conicto +end_ol grestore +gsave 19.608836 22.914300 translate 0.035278 -0.035278 scale +start_ol +2176 -768 moveto +1357 -768 lineto +925 -75 718 549 conicto +512 1174 512 1789 conicto +512 2404 719 3034 conicto +927 3664 1357 4352 conicto +2176 4352 lineto +1824 3686 1648 3050 conicto +1472 2415 1472 1794 conicto +1472 1174 1646 537 conicto +1821 -100 2176 -768 conicto +end_ol grestore +gsave 19.955970 22.914300 translate 0.035278 -0.035278 scale +start_ol +1253 1605 moveto +128 3136 lineto +1183 3136 lineto +1820 2206 lineto +2466 3136 lineto +3520 3136 lineto +2396 1610 lineto +3584 0 lineto +2525 0 lineto +1820 992 lineto +1124 0 lineto +64 0 lineto +1253 1605 lineto +end_ol grestore +gsave 20.447036 22.914300 translate 0.035278 -0.035278 scale +start_ol +448 -768 moveto +800 -100 976 537 conicto +1152 1174 1152 1794 conicto +1152 2415 976 3050 conicto +800 3686 448 4352 conicto +1268 4352 lineto +1697 3664 1904 3034 conicto +2112 2404 2112 1789 conicto +2112 1174 1906 549 conicto +1700 -75 1268 -768 conicto +448 -768 lineto +end_ol grestore +gsave 26.372570 25.580016 translate 0.035278 -0.035278 scale +start_ol +512 4224 moveto +1600 4224 lineto +1600 0 lineto +512 0 lineto +512 4224 lineto +end_ol grestore +gsave 26.651970 25.580016 translate 0.035278 -0.035278 scale +start_ol +2624 2688 moveto +2624 4352 lineto +3648 4352 lineto +3648 0 lineto +2624 0 lineto +2624 448 lineto +2416 182 2165 59 conicto +1915 -64 1586 -64 conicto +1004 -64 630 393 conicto +256 850 256 1568 conicto +256 2287 630 2743 conicto +1004 3200 1586 3200 conicto +1912 3200 2164 3075 conicto +2416 2950 2624 2688 conicto +1950 640 moveto +2279 640 2451 877 conicto +2624 1115 2624 1567 conicto +2624 2020 2451 2258 conicto +2279 2496 1950 2496 conicto +1626 2496 1453 2258 conicto +1280 2020 1280 1567 conicto +1280 1115 1453 877 conicto +1626 640 1950 640 conicto +end_ol grestore +gsave 27.193836 25.580016 translate 0.035278 -0.035278 scale +start_ol +2176 -768 moveto +1357 -768 lineto +925 -75 718 549 conicto +512 1174 512 1789 conicto +512 2404 719 3034 conicto +927 3664 1357 4352 conicto +2176 4352 lineto +1824 3686 1648 3050 conicto +1472 2415 1472 1794 conicto +1472 1174 1646 537 conicto +1821 -100 2176 -768 conicto +end_ol grestore +gsave 27.540970 25.580016 translate 0.035278 -0.035278 scale +start_ol +1253 1605 moveto +128 3136 lineto +1183 3136 lineto +1820 2206 lineto +2466 3136 lineto +3520 3136 lineto +2396 1610 lineto +3584 0 lineto +2525 0 lineto +1820 992 lineto +1124 0 lineto +64 0 lineto +1253 1605 lineto +end_ol grestore +gsave 28.032036 25.580016 translate 0.035278 -0.035278 scale +start_ol +448 -768 moveto +800 -100 976 537 conicto +1152 1174 1152 1794 conicto +1152 2415 976 3050 conicto +800 3686 448 4352 conicto +1268 4352 lineto +1697 3664 1904 3034 conicto +2112 2404 2112 1789 conicto +2112 1174 1906 549 conicto +1700 -75 1268 -768 conicto +448 -768 lineto +end_ol grestore +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 22.092003 20.459300 m 19.992003 21.709300 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 23.342003 20.459300 m 24.692003 21.809300 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 24.815813 23.300732 m 23.615813 24.750732 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 25.965813 23.350732 m 27.065813 24.600732 l s +gsave 22.388146 25.580016 translate 0.035278 -0.035278 scale +start_ol +2431 3520 moveto +1914 3520 1629 3150 conicto +1344 2781 1344 2110 conicto +1344 1443 1629 1073 conicto +1914 704 2431 704 conicto +2951 704 3235 1073 conicto +3520 1443 3520 2110 conicto +3520 2781 3235 3150 conicto +2951 3520 2431 3520 conicto +2432 4288 moveto +3451 4288 4029 3709 conicto +4608 3130 4608 2111 conicto +4608 1094 4029 515 conicto +3451 -64 2432 -64 conicto +1415 -64 835 515 conicto +256 1094 256 2111 conicto +256 3130 835 3709 conicto +1415 4288 2432 4288 conicto +end_ol grestore +gsave 23.040080 25.580016 translate 0.035278 -0.035278 scale +start_ol +1536 448 moveto +1536 -1216 lineto +512 -1216 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1744 2950 1996 3075 conicto +2248 3200 2577 3200 conicto +3158 3200 3531 2743 conicto +3904 2287 3904 1568 conicto +3904 850 3531 393 conicto +3158 -64 2577 -64 conicto +2248 -64 1996 60 conicto +1744 185 1536 448 conicto +2211 2496 moveto +1885 2496 1710 2256 conicto +1536 2017 1536 1567 conicto +1536 1118 1710 879 conicto +1885 640 2211 640 conicto +2536 640 2708 877 conicto +2880 1115 2880 1567 conicto +2880 2020 2708 2258 conicto +2536 2496 2211 2496 conicto +end_ol grestore +gsave 23.581946 25.580016 translate 0.035278 -0.035278 scale +start_ol +2176 -768 moveto +1357 -768 lineto +925 -75 718 549 conicto +512 1174 512 1789 conicto +512 2404 719 3034 conicto +927 3664 1357 4352 conicto +2176 4352 lineto +1824 3686 1648 3050 conicto +1472 2415 1472 1794 conicto +1472 1174 1646 537 conicto +1821 -100 2176 -768 conicto +end_ol grestore +gsave 23.929080 25.580016 translate 0.035278 -0.035278 scale +start_ol +2688 3584 moveto +2688 2112 lineto +4160 2112 lineto +4160 1472 lineto +2688 1472 lineto +2688 0 lineto +2048 0 lineto +2048 1472 lineto +576 1472 lineto +576 2112 lineto +2048 2112 lineto +2048 3584 lineto +2688 3584 lineto +end_ol grestore +gsave 24.564080 25.580016 translate 0.035278 -0.035278 scale +start_ol +448 -768 moveto +800 -100 976 537 conicto +1152 1174 1152 1794 conicto +1152 2415 976 3050 conicto +800 3686 448 4352 conicto +1268 4352 lineto +1697 3664 1904 3034 conicto +2112 2404 2112 1789 conicto +2112 1174 1906 549 conicto +1700 -75 1268 -768 conicto +448 -768 lineto +end_ol grestore +gsave 20.946380 28.023725 translate 0.035278 -0.035278 scale +start_ol +512 4224 moveto +1600 4224 lineto +1600 0 lineto +512 0 lineto +512 4224 lineto +end_ol grestore +gsave 21.225780 28.023725 translate 0.035278 -0.035278 scale +start_ol +2624 2688 moveto +2624 4352 lineto +3648 4352 lineto +3648 0 lineto +2624 0 lineto +2624 448 lineto +2416 182 2165 59 conicto +1915 -64 1586 -64 conicto +1004 -64 630 393 conicto +256 850 256 1568 conicto +256 2287 630 2743 conicto +1004 3200 1586 3200 conicto +1912 3200 2164 3075 conicto +2416 2950 2624 2688 conicto +1950 640 moveto +2279 640 2451 877 conicto +2624 1115 2624 1567 conicto +2624 2020 2451 2258 conicto +2279 2496 1950 2496 conicto +1626 2496 1453 2258 conicto +1280 2020 1280 1567 conicto +1280 1115 1453 877 conicto +1626 640 1950 640 conicto +end_ol grestore +gsave 21.767646 28.023725 translate 0.035278 -0.035278 scale +start_ol +2176 -768 moveto +1357 -768 lineto +925 -75 718 549 conicto +512 1174 512 1789 conicto +512 2404 719 3034 conicto +927 3664 1357 4352 conicto +2176 4352 lineto +1824 3686 1648 3050 conicto +1472 2415 1472 1794 conicto +1472 1174 1646 537 conicto +1821 -100 2176 -768 conicto +end_ol grestore +gsave 22.114780 28.023725 translate 0.035278 -0.035278 scale +start_ol +1253 1605 moveto +128 3136 lineto +1183 3136 lineto +1820 2206 lineto +2466 3136 lineto +3520 3136 lineto +2396 1610 lineto +3584 0 lineto +2525 0 lineto +1820 992 lineto +1124 0 lineto +64 0 lineto +1253 1605 lineto +end_ol grestore +gsave 22.605846 28.023725 translate 0.035278 -0.035278 scale +start_ol +448 -768 moveto +800 -100 976 537 conicto +1152 1174 1152 1794 conicto +1152 2415 976 3050 conicto +800 3686 448 4352 conicto +1268 4352 lineto +1697 3664 1904 3034 conicto +2112 2404 2112 1789 conicto +2112 1174 1906 549 conicto +1700 -75 1268 -768 conicto +448 -768 lineto +end_ol grestore +gsave 24.857003 28.068100 translate 0.035278 -0.035278 scale +start_ol +3520 2215 moveto +3520 1692 3735 1390 conicto +3951 1088 4320 1088 conicto +4685 1088 4902 1392 conicto +5120 1696 5120 2215 conicto +5120 2729 4900 3028 conicto +4681 3328 4312 3328 conicto +3951 3328 3735 3028 conicto +3520 2729 3520 2215 conicto +5184 940 moveto +5060 646 4787 483 conicto +4514 320 4149 320 conicto +3443 320 3001 842 conicto +2560 1365 2560 2206 conicto +2560 3046 3003 3571 conicto +3446 4096 4149 4096 conicto +4514 4096 4787 3932 conicto +5060 3768 5184 3477 conicto +5184 4032 lineto +6080 4032 lineto +6080 1088 lineto +6617 1169 6924 1596 conicto +7232 2023 7232 2690 conicto +7232 3115 7109 3487 conicto +6987 3859 6738 4168 conicto +6336 4687 5734 4967 conicto +5133 5248 4431 5248 conicto +3942 5248 3494 5119 conicto +3046 4990 2666 4740 conicto +2041 4325 1692 3667 conicto +1344 3009 1344 2243 conicto +1344 1612 1569 1059 conicto +1794 507 2219 83 conicto +2640 -331 3185 -549 conicto +3730 -768 4348 -768 conicto +4878 -768 5408 -578 conicto +5938 -388 6313 -64 conicto +6784 -719 lineto +6257 -1115 5636 -1325 conicto +5016 -1536 4377 -1536 conicto +3598 -1536 2907 -1260 conicto +2217 -985 1679 -460 conicto +1140 67 858 758 conicto +576 1449 576 2245 conicto +576 3010 862 3703 conicto +1148 4397 1676 4923 conicto +2205 5445 2908 5730 conicto +3612 6016 4368 6016 conicto +5309 6016 6077 5655 conicto +6845 5295 7361 4617 conicto +7676 4203 7838 3720 conicto +8000 3238 8000 2708 conicto +8000 1565 7307 933 conicto +6614 301 5351 301 conicto +5184 301 lineto +5184 940 lineto +end_ol grestore +gsave 22.555936 30.106800 translate 0.035278 -0.035278 scale +start_ol +512 4224 moveto +1600 4224 lineto +1600 0 lineto +512 0 lineto +512 4224 lineto +end_ol grestore +gsave 22.835336 30.106800 translate 0.035278 -0.035278 scale +start_ol +2624 2688 moveto +2624 4352 lineto +3648 4352 lineto +3648 0 lineto +2624 0 lineto +2624 448 lineto +2416 182 2165 59 conicto +1915 -64 1586 -64 conicto +1004 -64 630 393 conicto +256 850 256 1568 conicto +256 2287 630 2743 conicto +1004 3200 1586 3200 conicto +1912 3200 2164 3075 conicto +2416 2950 2624 2688 conicto +1950 640 moveto +2279 640 2451 877 conicto +2624 1115 2624 1567 conicto +2624 2020 2451 2258 conicto +2279 2496 1950 2496 conicto +1626 2496 1453 2258 conicto +1280 2020 1280 1567 conicto +1280 1115 1453 877 conicto +1626 640 1950 640 conicto +end_ol grestore +gsave 23.377203 30.106800 translate 0.035278 -0.035278 scale +start_ol +2176 -768 moveto +1357 -768 lineto +925 -75 718 549 conicto +512 1174 512 1789 conicto +512 2404 719 3034 conicto +927 3664 1357 4352 conicto +2176 4352 lineto +1824 3686 1648 3050 conicto +1472 2415 1472 1794 conicto +1472 1174 1646 537 conicto +1821 -100 2176 -768 conicto +end_ol grestore +gsave 23.724336 30.106800 translate 0.035278 -0.035278 scale +start_ol +512 4352 moveto +1536 4352 lineto +1536 0 lineto +512 0 lineto +512 4352 lineto +end_ol grestore +gsave 23.986803 30.106800 translate 0.035278 -0.035278 scale +start_ol +3648 1891 moveto +3648 0 lineto +2624 0 lineto +2624 308 lineto +2624 1447 lineto +2624 1849 2607 2001 conicto +2590 2154 2547 2226 conicto +2491 2324 2395 2378 conicto +2299 2432 2176 2432 conicto +1877 2432 1706 2192 conicto +1536 1952 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1758 2950 2008 3075 conicto +2259 3200 2562 3200 conicto +3095 3200 3371 2865 conicto +3648 2530 3648 1891 conicto +end_ol grestore +gsave 24.528670 30.106800 translate 0.035278 -0.035278 scale +start_ol +448 -768 moveto +800 -100 976 537 conicto +1152 1174 1152 1794 conicto +1152 2415 976 3050 conicto +800 3686 448 4352 conicto +1268 4352 lineto +1697 3664 1904 3034 conicto +2112 2404 2112 1789 conicto +2112 1174 1906 549 conicto +1700 -75 1268 -768 conicto +448 -768 lineto +end_ol grestore +gsave 26.290670 30.118050 translate 0.035278 -0.035278 scale +start_ol +512 4224 moveto +1721 4224 lineto +3264 1327 lineto +3264 4224 lineto +4288 4224 lineto +4288 0 lineto +3080 0 lineto +1536 2897 lineto +1536 0 lineto +512 0 lineto +512 4224 lineto +end_ol grestore +gsave 26.925670 30.118050 translate 0.035278 -0.035278 scale +start_ol +512 1241 moveto +512 3136 lineto +1536 3136 lineto +1536 2826 lineto +1536 2574 1533 2193 conicto +1530 1812 1530 1684 conicto +1530 1311 1548 1146 conicto +1567 981 1613 906 conicto +1671 809 1766 756 conicto +1861 704 1984 704 conicto +2282 704 2453 942 conicto +2624 1180 2624 1604 conicto +2624 3136 lineto +3648 3136 lineto +3648 0 lineto +2624 0 lineto +2624 448 lineto +2401 185 2152 60 conicto +1903 -64 1604 -64 conicto +1070 -64 791 270 conicto +512 604 512 1241 conicto +end_ol grestore +gsave 27.467536 30.118050 translate 0.035278 -0.035278 scale +start_ol +3468 2617 moveto +3661 2901 3926 3050 conicto +4192 3200 4510 3200 conicto +5058 3200 5345 2865 conicto +5632 2530 5632 1891 conicto +5632 0 lineto +4608 0 lineto +4608 1620 lineto +4611 1655 4612 1694 conicto +4613 1733 4613 1805 conicto +4613 2135 4514 2283 conicto +4415 2432 4194 2432 conicto +3904 2432 3747 2199 conicto +3590 1966 3584 1525 conicto +3584 0 lineto +2560 0 lineto +2560 1620 lineto +2560 2135 2469 2283 conicto +2378 2432 2145 2432 conicto +1854 2432 1695 2197 conicto +1536 1963 1536 1528 conicto +1536 0 lineto +512 0 lineto +512 3136 lineto +1536 3136 lineto +1536 2688 lineto +1723 2943 1966 3071 conicto +2209 3200 2502 3200 conicto +2831 3200 3084 3046 conicto +3338 2893 3468 2617 conicto +end_ol grestore +gsave 28.263403 30.118050 translate 0.035278 -0.035278 scale +start_ol +2176 -768 moveto +1357 -768 lineto +925 -75 718 549 conicto +512 1174 512 1789 conicto +512 2404 719 3034 conicto +927 3664 1357 4352 conicto +2176 4352 lineto +1824 3686 1648 3050 conicto +1472 2415 1472 1794 conicto +1472 1174 1646 537 conicto +1821 -100 2176 -768 conicto +end_ol grestore +gsave 28.610536 30.118050 translate 0.035278 -0.035278 scale +start_ol +640 768 moveto +1600 768 lineto +1600 3456 lineto +640 3264 lineto +640 4032 lineto +1600 4224 lineto +2624 4224 lineto +2624 768 lineto +3584 768 lineto +3584 0 lineto +640 0 lineto +640 768 lineto +end_ol grestore +gsave 29.143936 30.118050 translate 0.035278 -0.035278 scale +start_ol +448 -768 moveto +800 -100 976 537 conicto +1152 1174 1152 1794 conicto +1152 2415 976 3050 conicto +800 3686 448 4352 conicto +1268 4352 lineto +1697 3664 1904 3034 conicto +2112 2404 2112 1789 conicto +2112 1174 1906 549 conicto +1700 -75 1268 -768 conicto +448 -768 lineto +end_ol grestore +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 22.965813 26.050732 m 21.915813 27.000732 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 23.942003 25.959300 m 25.165813 27.000732 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 24.792003 28.309300 m 23.842003 29.259300 l s +0.100000 slw +[] 0 sd +[] 0 sd +0 slc +n 26.065813 28.200732 m 27.142003 29.409300 l s +showpage diff --git a/helm/papers/matita/matita.tex b/helm/papers/matita/matita.tex index 09b1f0b79..4a74110b4 100644 --- a/helm/papers/matita/matita.tex +++ b/helm/papers/matita/matita.tex @@ -1,9 +1,11 @@ \documentclass[a4paper]{llncs} \pagestyle{headings} +\usepackage{color} \usepackage{graphicx} \usepackage{amssymb,amsmath} \usepackage{hyperref} \usepackage{picins} +\usepackage{fancyvrb} %\newcommand{\logo}[3]{ %\parpic(0cm,0cm)(#2,#3)[l]{\includegraphics[width=#1]{whelp-bw}} @@ -17,6 +19,7 @@ \newcommand{\IN}{\ensuremath{\mathbb{N}}} \newcommand{\INSTANCE}{\textsc{Instance}} \newcommand{\IR}{\ensuremath{\mathbb{R}}} +\newcommand{\IZ}{\ensuremath{\mathbb{Z}}} \newcommand{\LIBXSLT}{LibXSLT} \newcommand{\LOCATE}{\textsc{Locate}} \newcommand{\MATCH}{\textsc{Match}} @@ -33,9 +36,21 @@ \newcommand{\UWOBO}{UWOBO} \newcommand{\WHELP}{Whelp} +\definecolor{gray}{gray}{0.85} % 1 -> white; 0 -> black +\newcommand{\NT}[1]{\langle\mathit{#1}\rangle} +\newcommand{\URI}[1]{\texttt{#1}} + +%{\end{SaveVerbatim}\setlength{\fboxrule}{.5mm}\setlength{\fboxsep}{2mm}% +\newenvironment{grafite}{\VerbatimEnvironment + \begin{SaveVerbatim}{boxtmp}}% + {\end{SaveVerbatim}\setlength{\fboxsep}{3mm}% + \begin{center} + \fcolorbox{black}{gray}{\BUseVerbatim[boxwidth=0.9\linewidth]{boxtmp}} + \end{center}} + \newcommand{\ASSIGNEDTO}[1]{\textbf{Assigned to:} #1} \newcommand{\NOTE}[1]{\marginpar{\scriptsize #1}} -\newcommand{\NT}[1]{\langle\mathit{#1}\rangle} +\newcommand{\TODO}[1]{\textbf{TODO: #1}} \title{The Matita proof assistant} \author{Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi @@ -258,7 +273,7 @@ reduce our code in sensible way).\NOTE{righe\\\COQ{}} \subsubsection{Term input} The primary form of user interaction employed by \MATITA{} is textual script -editing: the user can modifies it and evaluate step by step its composing +editing: the user modifies it and evaluate step by step its composing \emph{statements}. Examples of statements are inductive type definitions, theorem declarations, LCF-style tacticals, and macros (e.g. \texttt{Check} can be used to ask the system to refine a given term and pretty print the result). @@ -270,10 +285,9 @@ Two of the requirements in the design of such a syntax are apparently in contrast: \begin{enumerate} \item the syntax should be as close as possible to common mathematical practice - and implement widespread mathematical notions; + and implement widespread mathematical notations; \item each term described by the syntax should be non-ambiguous meaning that it - should exists a function which associates to each term of the syntax a CIC - term. + should exists a function which associates to it a CIC term. \end{enumerate} These two requirements are addressed in \MATITA{} by the mean of two mechanisms @@ -283,8 +297,16 @@ depicted in Fig.~\ref{fig:inputphase}. The architecture is articulated as a pipline of three levels: the concrete syntax level (level 0) is the one the user has to deal with when inserting CIC terms; the abstract syntax level (level 2) is an internal representation which intuitively encodes mathematical formulae at -the content level~\cite{adams}~\cite{mkm-structure}; the formal mathematics -level (level 3) is the CIC encoding of terms. +the content level~\cite{adams}\cite{mkm-structure}; the last level is that of +CIC terms. + +\begin{figure}[ht] + \begin{center} + \includegraphics[width=0.9\textwidth]{input_phase} + \caption{\MATITA{} input phase} + \end{center} + \label{fig:inputphase} +\end{figure} Requirement (1) is addressed by a built-in concrete syntax for terms, described in Tab.~\ref{tab:termsyn}, and the extensible notation mechanisms which offers a @@ -302,10 +324,11 @@ invalidating requirement (2). \begin{example} - Consider the term \texttt{\TEXMACRO{forall} x. x + ln 1 = x}, the type of a - lemma the user may want to prove. Assuming that both \texttt{+} and \texttt{=} - are parsed as infix operators, all the following questions are legitimate and - must be answered before obtaining a CIC term from its content level encoding + Consider the term at the concrete syntax level \texttt{\TEXMACRO{forall} x. x + + ln 1 = x} of Fig.~\ref{fig:inputphase}(a), it can be the type of a lemma the + user may want to prove. Assuming that both \texttt{+} and \texttt{=} are parsed + as infix operators, all the following questions are legitimate and must be + answered before obtaining a CIC term from its content level encoding (Fig.~\ref{fig:inputphase}(b)): \begin{enumerate} @@ -326,16 +349,67 @@ invalidating requirement (2). \end{example} In \MATITA, three \emph{sources of ambiguity} are admitted for content level -terms: unbound identifiers, literal numbers, and literal symbols. - -\emph{Unbound identifiers} (question 1) are sources of ambiguity since the same -name could have been used in the proof assistant library to represent different -objects. \emph{Numbers} (question 2) are ambiguous since several different -encodings of them could be provided in the calculus. Finally, \emph{symbols} -(question 3) are ambiguous as well, since they may be used in an overloaded -fashion to represent the application of different objects. - -\textbf{FINQUI, il resto \`e copy and paste dal Whelp paper \dots} +terms: unbound identifiers, literal numbers, and operators. Each instance of +ambiguity sources (ambiguous entity) occuring in a content level term is +associated to a \emph{disambiguation domain}. Intuitively a disambiguation +domain is a set of CIC terms which may be replaced for an ambiguous entity +during disambiguation. Each item of the domain is said to be an +\emph{interpretation} for the ambiguous entity. + +\emph{Unbound identifiers} (question 1) are ambiguous entities since the +namespace of CIC objects is not flat and the same identifier may denote many +ofthem. For example the short name \texttt{plus\_assoc} in the \HELM{} library +is shared by three different theorems stating the associative property of +different additions. This kind of ambiguity is avoidable if the user is willing +to use long names (in form of URIs in the \texttt{cic://} scheme) in the +concrete syntax, with the obvious drawbacks of obtaining long and unreadable +terms. + +Given an unbound identifier, the corresponding disambiguation domain is computed +querying the library for all constants, inductive types, and inductive type +constructors having it as their short name (see the \LOCATE{} query in +Sect.~\ref{sec:metadata}). + +\emph{Literal numbers} (question 2) are ambiguous entities as well since +different kinds of numbers can be encoded in CIC (\IN, \IR, \IZ, \dots) using +different encodings. Considering the restricted example of natural numbers we +can for instance encode them in CIC using inductive datatypes with a number of +constructor equal to the encoding base plus 1, obtaining one encoding for each +base. + +For each possible way of mapping a literal number to a CIC term, \MATITA{} is +aware of a \emph{number intepretation function} which, when applied to the +natural number denoted by the literal\footnote{at the moment only literal +natural number are supported in the concrete syntax} returns a corresponding CIC +term. The disambiguation domain for a given literal number is built applying to +the literal all available number interpretation functions in turn. + +Number interpretation functions can be defined in OCaml or directly using +\TODO{notazione per i numeri}. + +\emph{Operators} (question 3) are intuitively head of applications, as such they +are always applied to a non empty sequence of arguments. Their ambiguity is a +need since it is often the case that some notation is used in an overloaded +fashion to hide the use of different CIC constants which encodes similar +concepts. For example, in the standard library of \MATITA{} the infix \texttt{+} +notation is available building a binary \texttt{Op(+)} node, whose +disambiguation domain may refer to different constants like the addition over +natural numbers \URI{cic:/matita/nat/plus/plus.con} or that over real numbers of +the \COQ{} standard library \URI{cic:/Coq/Reals/Rdefinitions/Rplus.con}. + +For each possible way of mapping a symbol application to a CIC term, \MATITA{} +knows a \emph{symbol interpretation function} which, when applied to a symbol +and its arguments, returns a CIC term. The disambiguation domain for a given +operator is built applying to the symbol and its arguments all available symbol +interpretation functions in turn. + +\begin{grafite} + foo + bar + baz +\end{grafite} + +\TODO{FINQUI, il resto \`e copy and paste dal Whelp paper \dots} Note that given a content level term with more than one sources of ambiguity, not all possible disambiguation choices are valid: for example, given the input @@ -430,6 +504,7 @@ that avoids backtracking is also presented. \ASSIGNEDTO{csc} \subsection{ricerca e indicizzazione} +\label{sec:metadata} \ASSIGNEDTO{andrea} \subsection{auto}