From 3b744d6e811f514b800c0dc3b57038f01d4ba8a6 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 16 Nov 2005 15:43:55 +0000
Subject: [PATCH] - begin{grafite} environment for script snippets - more on
 disambiguation phase

---
 helm/papers/matita/input_phase.dia |  Bin 0 -> 3846 bytes
 helm/papers/matita/input_phase.eps | 5329 ++++++++++++++++++++++++++++
 helm/papers/matita/matita.tex      |  117 +-
 3 files changed, 5425 insertions(+), 21 deletions(-)
 create mode 100644 helm/papers/matita/input_phase.dia
 create mode 100644 helm/papers/matita/input_phase.eps

diff --git a/helm/papers/matita/input_phase.dia b/helm/papers/matita/input_phase.dia
new file mode 100644
index 0000000000000000000000000000000000000000..5605943c9902dfbdf7236c72a28e2d32af5bbfca
GIT binary patch
literal 3846
zcmV+h5BcyPiwFP!000001MOW~ZyUK4e)q2soEI<FOY?q-*4egO6kTAE0PXgzKrogj
zin?RTmBxwvQtadY&iy6jAxDla&5U)SsgXhfi8Bg4ha7(M@jHiy<o7?^T^GGi`D{L(
zPA*Rg!l%7_GMEm>lhNhrzkd1Kclz{)Hz(f@$JuN9XEe*Md-gXbbGW)Z{aBVauP-h>
zfBuY$`*~JQXQ&w8qIrJtzpN;-3tQ;o^vy}H_xJ|GtjyrM>f5X=XXC5eGVe{Y>-_Tc
zDjWPdnoVyf!&6_XDmR!G(^>CRR$QLG`rtmN7u9Vpp4_M9-Z$AOznbOQug$l{_G8R8
zx4y||%eTG0na;<yNO^y=Ql#NN@b{xKRjIixG#R~l^=JOdSE>5q%f0F<+GwP_&Ss<W
zWYvy+Hidr>6lqGSeHg-MgB4d~@k};1cNN!M5!c)-uDS92{mpb%&a!d2YVvA2E%I#Q
zt(LRfe0w|dK~`9ZwKZ#pR(u$j<@A~Qf5?jYIt}n&KfG<5zPY2>c-a2pJ}J>~m(Sy2
z`SJbT3q3A>_xl&R`={}Id{yLiwI5H)V7I>ybNl7qaqRu&*LOsNzgy$*Fx0uo#pc7q
z=yp8J=g+|GX_<yQeXNRIJonU>%dPuh{8vkZwKGv<_xY^4{a?Ne)4i&LE5>>B6rjM(
zlQvJU{*w>Ns=@y(v&k@<4SV19ejZQq(=S5A%8>E!^7I{k?rGTjSvs7rBI{=QfGw(#
z(o~)kg@|T)dmw|ctE;+~a9~?9D)I+=Qd53TBqBodKGVo(LC%SW>mBS5rjyD0d@^)x
z+q%uGg>41(qOj0%`wC8OuLn0TLn3x8%HKO0Y$HL8V3d9Q*}<fJ((kj`Z2EcCVs2Yn
zJ!l%h!22SfjGk+mdHT^NgyA)w=r(r!*ZyT+>;3;Fzbk9re-iZlmlhqnz<d4o-`f-J
zb%OU_R`$(KuU82VX~p{TFtSprN#HpbVyWbkzwy`cJiERck8ZQl_Dh5B(b|w^1vs6Q
z^~T|UdLOduadB^JnN8-Wy?J>L<BPVq@W1`{y!e!t<3aY6*|w?3$9z2c*ie;6@(PLF
zO)VpJL$q#Z^r@m*g3eRN7vtT{S+8L<xz3w9_X~4wVyjlWY{WnQn@55qj6k6w2#R2Y
zjbhORim{xouy_zC)DD}L*rN)RmNwVC6Bv<2;UrL!K<SP^VL{%1YTrMAcO-%GV6PG=
z_O(*n+dnjc@^)G#X%b7CwBR&JlhD#+Lm|SS#+II^p_R_%h+$?smm;h+TaFv8wqq><
zs-+)}sQoxgOw&GC7L1=Wj*QlPJIjsIW9@d<7Nv?ZS24EjBUzRlje=v7n>w-Km}mLU
zUqHO&t%uqC<H~5iiHfNYimsx53y_OlLCzTBLWu|<2TQoJWU<q?*8;9Bmh{$^*9LiG
zJDZC_#S+M00_5vEnGGUSh7g$o2|IR^bINSHWP~U<!jytNYDK2heS?T{*TUj$7yI!=
z=D$BoXIWA7?$F6y@7rE6>5<-L?=ET12%576w#TJ8NmR|b9TBN8L?j6(`kXLCv{4a=
zNNWT3ED<rI`Wi82ynVxVu^*p^&VJ56<wXyFlc*;O^)v!CQBQ2@(Lt$4T5%#`FpoE9
z{YND%@o;~sty?J$iFbaSP6o5Q%unX`lQK)fCo21_U^S7?%TEJ7`DQ!DGOO?CI-IqN
z1kMn{MxGOcC>2Z3tL<s6NnQ2i^<Y&Ytpw>Wu3@rp=UOz8(;6hU8I3IwSqpPL1M*GS
zD+GUSSDgk9TTMs~W3G<JHpK6?rt9f!Z9?15XfvrjKZWodi8fJNn>wh`R$Jy-;b3Hi
zk%nMCboSEZ_Dhl#hM+!o(n?@URs?bEYheUFP_p{t_ump<HL9)`Wvn(3A1h;#!(uEF
zjIpTY2oN^JrD?}vtc6vK3<G(^5q8%UDR!vx>Q9NU_QO|g5KaoK6MRKO@fD<#yUyl_
zsc3w~gdGaODnrt_gA@_$YoXPl^3`BGczuD;MgCtjo(x}+3z7(IJ29{meYGMw$*oS%
z7Yj&Vg7VmMi%BGnA0ep*`mzoq_i~HtL#3~`w(Qy6H;J?M!&%KRPMp;V&f>vbL{W9N
z{TWYkJy_-TCvcYKFn28xqsc`~F5*TmVjF~$ix`!!8nT;-2pEKC!q2$ycr%7}NF;_3
zu*!s#ps_gB1VUVjGr3zWT9y`W*#6qFoK~?oxih`5E-`FfWEcloG8nQ5k~liDtX09Z
z@yOyF=Atpf3_476p<^Pet^F;5Ir|D6C$dz?Fg*4i8C5YkOH$&k66(TQMo|~$QdmUg
zthV;o$4oT$@i<Q95h6<m%%7o*dtcw|`lvRU;1Lc<)+)miIExzT)V#zzDze(zUkgOZ
zD!1b}krgg8i&sH#ibzDikR!~Qc2==reQppDm_vtg{CNH3%Ok6;{WZl6!rCK?9X7HW
zA`TP>)LF*GE0tvrBVvt)wu4+$R3c@q!lbm}z7}TZTI_q0=cc%wqe1Id0V!PiV&R82
zJg0DJ7s919Tt*F~40BH#t9$#r*s!>;DlJ(t-RIg$dAQb=%yz9s3YUIm;nFq;r*LT}
z_$pXN4VQ?5%wZT29&>?(au73!bC}+-JOvSYTMNk#J)@?WB&oG8snv$&B(=IQ(?eOn
znQ87ka1kI4Z?gyl*3K%HtPizNnmfPI%KMlRh_?2(1T5r{&h*fbIS+p7!mU4znDbz&
z{xr(xJYeko#@!=qn<A^Z{Vm09Md?u@O9Yf#i+9#UM3#hoKZIinA^KL}8)cO1FD__I
zV6`>B))O(+8-S0KvSh%xgMSBg%*=S(pM-d$SPGEwm}&~LUJw!$SZ&R(#UarP|Kk|v
zd1$z~X;UrE(lO_zA%LZ|aaJ+sePIPX77RL!5yoO7tF8StTUTI&nMW2q&UqdkaGr-O
zCR-!UO)so6*FpV<YZ0IpX>W(GX>W%%{H8c*C*q_gU|OlH=I=>FvRYWBNISAxT#Ep;
zNM!XjkyRUh6IpeEtXRkl8e%F<L!yxtQ%J~aSu_E%f}d3si5x0fEhcp)S((;J?>C92
z8PaKHrxW}|0>&I9_npn-@fU|pN<Dum;4kaSYgq*=50=0Fkr!tqEtB30WwoI=QC24?
ziw2xB^kku7F^!Bj8SNpa+^7gMJJ?ite~GdZWo@xix*5fZvN}OoETGC#+$Y_!h?G@X
zg$WW_sVr9ug0MVP%1WuqdrDPqgK&y!b%L*Wz!V4PpD`MMDK<$}_ErgEj<3i=ErdLx
zsMZBd9JUX|)duRMxH`dL!Lt7Z^T{E$v$ct-xE5An>ZdPMb<Gen$HZVMGQST7YXx;;
zur92*U^1Z3D3}-AG$MmZWGH6ND%Eb+2Vt~vnhZ-5Hyg0I{k3_fMtkR$9%Y^>3zlap
z;4py7mE+Nn<>q*}aQ&&M=vy))f~!i7sffsGZGS!MR>(5uD3KL%4<uD3QN_$NwN?o;
z&MGAa)`>|08O$8X$QjIS?XTZ0Qy<12NGm7Wg*(BHnSh(SNuiiKN|l&+yV)2<865m;
z2S@-P)6~^L?>b)YOYv6+0JAhRw6}v+8gZOteis5290%tt343?OTbbdF3ItNj4qN_G
z!4}|$$yq=C^kZVH{jyaJf)iVXWvkVLh1Wc3cvF5OAr3;f`dcYR&YArOeJaFX<RtV5
zdkitfSYIOUuVGjEUF^p{3;itnX7A^p@ALR`9q0J-7KCnRw5#Wz<EZDKZ%H~d1nE$S
zE6He_voKdt4iyMvd60~Al^7=i<21uF5l(c%VL?=mKvd9(DraG@q8ym{aMuUOIfKMG
zF;q@7LKEq1Pde-RUIAj{JXmTU<q)P85L=`K#|n~Df*9ulg5*SE(}ykm40p9K5+8P$
zoTf1OegaReP)?DjPQ=MYaNcqoCB~yI;f!+FClXl8U%Cyd4m3_~>B9o;qyX+p#I;}I
zs=;#Ntrw1%2NY#8Ah{941RV3MX|!3u2dfz3<d)tR*EB#a(w0YG(UwQ8_)Uw$I-$gZ
zrH?{#n-&^qgEG!ykrhRlS*ye#syXXJ9F_T67`<yP_C;2I{Qg_wtNlo@HV`Kb)(OT6
zmX-{AIC2WQ#*lb~#bA++Kk^s&O2QH_*bA4FL#3;CH)oeA*tL(9Uu_6ZY}E<23YNug
z6^;@rGFuTizVH!SVWjkdv(-<-v%ADr`(Ud!1ShuY0$Yh-`Ri1{B09HOXsjbxK}r$j
zHow(<IEF+jxAUz|Je7EABUROi-NaH+S*l@SsvrSlRv5f5jJPn-G?hVy`uI9C*iw~C
zesEDzrIe1iF14-swZpf8(zcp-*N4@`_0A&LR-{%RI|7LcD>zO^5$0f}wS;LKC8=`3
z_o$$1X?*Pzf%Kr##|bJHa57L62u<4Oi?ND_D!~PJhcz+G`c7R*>QojbF^|M-ZGSBc
zr7Lb<1F`Gl>Ljvwz&NOp)sq$RkR^~d!UYqk#<UM-VKT|x_6(NCVj`=p{k8HCOOGsx
z4;oobUZ4m#5c-!erW;7D=jXcz{6PD+yE<G)@ZHVXx5*LQizC<!-{c8)B3>0P)ruhF
zx*879Wzoh!Y{x)2%3dL6t%56P+|l+L*6gShxJrDr5nr`|I5Acy7)yop2VpkF_O;X`
zUT&x}Y9%ny1eP@$Uk6QgtwTCF;H%4aZ^UoP4ebP1>5zV)rm(Xnv7H^y5fqTDU=X)P
zT|Cs+LGE0KJxZ%$lC;&ne8DCNCu!9Qx-tQi7hq_Dz9uoV7qD_{MJ!nXX}KCma-dxG
z_Vzj*BDc2$h9>+bs_H@pgTw(d7|bHR9dYi4AkBqKkue$*SapNl+>P}M72$DH7@FJP
z5+Sh_#m6`+C`mxgZhRJ$iJHWq6%k-nYnZ+fh%(74V9~f~42{jNPsEo;jVl^3ZlxgO
zLtDKQ6IaS5$7qWupB$rIa*RPyPXcIbd@TkwcOEPi$Cw-=!zIVaYEItvFOHeQU|b4=
zMufpIsNA8wPQ)t{^HiMH_SXtT!mH3ow}JKC&c^<-$nNvmn-hOw|BPnY^_!Fb16*9=
I(_sDp0Oz1)nE(I)

literal 0
HcmV?d00001

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}
-- 
2.39.2