From 1e1bce8912ba0cd08e3b2be9157dd9c0af154104 Mon Sep 17 00:00:00 2001
From: Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de>
Date: Mon, 24 Oct 2016 13:59:47 +0200
Subject: [PATCH] Added Logo

---
 doc/logo.png                  | Bin 0 -> 33945 bytes
 generator/attributor/main.cc  |   2 +-
 generator/coder/os_generic.py |  14 ++++++++++++--
 3 files changed, 13 insertions(+), 3 deletions(-)
 create mode 100644 doc/logo.png

diff --git a/doc/logo.png b/doc/logo.png
new file mode 100644
index 0000000000000000000000000000000000000000..82b0f4ef666577aa0806fb1e11a5768e398cd757
GIT binary patch
literal 33945
zcmeAS@N?(olHy`uVBq!ia0y~yU}t4uU^U}lV_;w?Y05mrz`(#+;1OBOz@VoL!i*J5
z?aLS#6c{{R978JRyt(UH^x13Lf{PlPW88U*{%4<Z%vCup!etjI<jJ_ee7j}(q~<N(
z+ocXL-s$K2d;R~v_y7NKGbFVC|F{4D-`8$W>i^yU|7X5zJU0Ua14GES_}%*%7#7TP
z-}wGay*3XM0|Uc>h(!tvAEuQvDS%XLXw%?em}6$ma!Z#3#82*QVmP3<x}1fp8N@Z{
z)8Js(^W^IS5NE=C4Gss5^-NP@le1kr8q2uB#z`zvV2F<4^gI7g`eMc!4#N-g48SJ6
z7iMLQNJ`7t^?&=(#o3Em9Y97T=mZKhWR|t4HGY_*V|XFY5hPgAufcI3V4~9G314EC
z+!qE38O+z<I3N(HeEIEbA$EJ$zqYc9pTM@2E>d8~KPfcR>i9vO{fm`bzy|Da6JdF<
z<;=vD!7^w5RD;wp91~(?v{)0AvTDcUHJ9E$pW3zG8f5MaUlEoE{-Mdi-(s6X>-F6^
zz`iW#)8IG|9J?rZn#GN$-x)y)d(^p@K6qdMA(Ht$^7?(o*D0M3!NQ7MOdt3av-~wa
z7N<{jKOVJ2f)5m?Hj5M(7F}WfZa;bA!6WCZWDH-=P(D6qzA6I)gG22i1&3s&tA_5(
z3+F$tO1f5@-tTVj&A`CWaLdK9!8}!FNq6}5pEr*_&VO86`TfV2%`6NI3@f}vSaxV6
z%bfaQdN?q)`C89stH<rKASYD#im>c>@La&|7eg%1lF5371>Y)VYh#%i7#JSN1PVM@
zlHUBIgSo_T!nwYGx+i?X=3f@PZVJ-4PLP$6&&sH$-^f9n`Qh%>&s#q4Jbw=CkXJ5_
z4b10wo|d;Ay!(-1)z8;+W>v0px1N6#6ub?0TpSzhU8K+a7y0|T`P96*_2Gvj+dfCi
zfZTb)Q-r1B(cFiBy6!efK4L7n`tXkkJ17K;1X&s7Bn&Ui7i6<;VN(z<6kuRrP+$)f
zc+j5lQ1{k#<_{<SMyU#bBI}4U7t<X{*$3<1h>0*ZzIh`DGPuKCgylzntf3zZ%PJwT
ziH`(W8^5KwTVCXU;Rm++hQA0)l<*sdYl2|;Z-T6i+gKbMY>$9l{nf>BfvTfGf<4&g
z1ld4=40i#R4p*?&86d5KER2tY*zNDeuio`v2NWNLE{+RW4FweX`%QNT^Az`j92X|Q
z+W3hln(@=hJ<;#Zl&*|cU}a!ncqYi&c!|Za;g1o!({)9V&$t2wG)@YLEm(G<vEbU)
z<KUE?z!E5+;mX7E;_>rY`<3SGJO_$~$j&AQ&bBQKHoL{<^tKAF*M#Jw_d=|VSCshj
z7(0$`1=;H$!ZOL|0qX+k-K>lZ3=QQSO%75{3JiBSK`Hh?=pqGyc@i89@!$;bfGbdd
z!;^!h;W>n>6DYvp%)!#|7{cWV6u9BV!P4*=!qo^AxZ%XZ(qIVTas&!QII*xaR6@A=
zixdo6IXD=yAr@&bQZVQd;9#hRaE%u!6wKt{VE72mI0uv$DHP1$;9#(XaQzo4e3-z%
z!LSpe*fvn$hq<5t!z)2HkQbx_1*C)+Kxu<vfq0<6ECD9Q1?mvr@h?&kQDb3ZkO#ZL
zL8K+A#ew00U?M2ZR0*>#WKa}fuyB%KVPI(3=i=z$!^6UGP6%Y^0`))vAt7e4p$*0^
zjvg*NEDUZNqCpye39>43ItnmIc!D*?xj1t8@vtzYfnBqJKTx1ah?%iL6l~=SN0F8W
z7Dt8zRj{3}gjp2@3<Vf&xPrCba&hEv5@2B{69(I<7bsvR%*@!}0oJ<0Q>3Mr#gRc_
z(QVr<3sBKl+R?P3QG$aZCE+@#jJ=}BbttJxfnh=?xL`ExXxh*Ll6_jbh=G9tRH$-u
zG%+}^mhmz%FgV05Qt(k>V`8{^!xUteWoMH?rve8<NE+CzCrVt05|R`cF0{si(!qpw
z4Gw0`CI$!hM<APysB;}+NK#;E06Sx1XVV8YM*)Th*7f<I@OUK1`cTPGfZ>7VZjd(=
z!~zBM1Xvgu`oP&ofh|zLPk@<`VI7#8pdTo}C&a?Ya8I3&iGksO+#-cPjyx<367T=X
zc`JY-;-`yag`)rq!;JIqK>2NkzetNZiz7qBR&f4psC04s0n%^-A}!%9(qi4Dz~G=$
z#t$-2Vv)k1b_EUwf!pVQn@$8duTPjY)1QZh;e@9O$oR)Dj#0uaj0~?ntO{gcV5smD
zS)%JGz_4Il`uD0NP>zf3Y}%s2!Nl<8%L}^z4HgE51<ZjH%2*s37~cIYt=EuZVqgep
z)bP-5Qea?6uN2i}U|<mKXxgI4!Ng!NDSRRm1H*()4G(URwDz6*<y<Wc3=A$xTtV{`
zI2aD_ZT}qrDmNN9TpYbX&baaR@w^aFVn{F#oUjRG%OU|#DBkcDS)$@7z|fGf$4`WT
zp<%9z<0(NFaC&6eC(NqpD!{^^V6|R|m4P9FJ#c~%NarT7&In(TB`l60pEEE#une5=
z1tev(36yjjrn)!=fowhD1GZ8$aKaXlEU1i1c5w^>#mkCA;36hWfYsAofQ4a!6e!^~
z+;njaf?0n~nAOu6BxMB7WHUTPK;<d}L&GB%$Dj?~0t^j&Z^T#_7!t$+Cwu@IZw1a7
zGaN-!OknP+U8Io6*~Gw5lDZv~z!rBlwSdC>!dy^NKH#xPfq}sx;1F1<qp2l%x&i}3
z4cHV3M-defs3{3HffEcs7F3)8yZN3fmr#=e2Lr=;a5=HZStP|8q_hvLbBC8miZ+OQ
z4#IT;Iorbx6c7(|0w?6Y5n^G07G>uISZ{*zWy5!{K{Bdbo92MbeGD#+WE8nJO#ySk
zvVUAfQY1m<J_DOu;R-TWW0ALn&8No0eD>@N44?vJ8Yo~GuI;#6-JQh1z;H*Hb*7&H
z3q!-#Rqv#})G#tI6!dDG2$8$N$dDip&PF=~S!cR|R7k9PC&j|R@W3K)f+onb9ZPSo
zb5s;zV0d61IN>2!M7vn#%Nmdwb2T^)BucioyGs}_T?l*z%B}}07b!SPu5r$bZEp(S
zpPwzqAld=S;<g=4JjoV(A0@x_mVSAjS<9l({QLFPYBmOjhAJ1wHiHjse|g?N`t`az
znU_^zR!8H7uR;tA4{R4H<bN*UyY4EvY2)?Pj}J(3AIO^-um9__)vS-z3=9kst|Cu#
z+pc~%+0Yru;>@t9V@LG|9Z)uW;UmIgao|8l$2{5TNs0`cLpfR^_vbM%G^}=U)H5zw
zCe^ICN`RX&Li6^!-7n(h85j=eEK-;*p)+}=qd;tDE5jOrO7X-k>)9C?5>x{xT;}ON
zdE^26KQ%EXgVQS<EFR5zvQL14;f0^b6A|VlCF2*38|CH(uVZG2+4|XZ@jGEg1_l>L
z1xseRh|}ww7~CQSIqzySfsz!f<(UK1Ie5wx)OK?*R$PCv-}S{lK}gU#^OW5@YQX+U
zh>LN@tGlmTt34PP8t%I|{!3{%?ZsvhFgpNLjxtntH0?<VIGv-UpdbROUk}tQQrIws
zgG1(H@mc{+MvGH_)fgBKBrj6%mpow9b&%(S-fm7%HU<SHzvPxrdWr%w&gMCRYH$lb
zktgELq3eX08t1xzMJoJ6SoDM$8&B*h5?LVseK`XI!}-ppn&gO6@jOutXWpoRa^3>%
zzzOvdJ)e36I6_MI@7oC~R~Z6kYH--7urS@d;R<r5L+T=h|7jmivMUNa==K1Ms4h}y
zn{$@4k>Pm7RSk!nciD^#3~|D&3pJgE8(y=3t=}ZbI@|cf8&?h%34aBaj)%#-W&61q
z7(UF=xH02ks(hO=LpDbXL-pNjao_hdFfi=zYzmm-$Z;T!N%4RkxYqfj#$}dj5jpuF
zyMqst;(;nqjy_PnD8adH;#Y|>h9`;wOly=uy@wh>Rz=OjybXWyvUgf=81(Nq=3rp>
z;3<-G?1G{FVV;JnH*zd9&aZQ1U|3)sxIxhQ*c~1NhN=zK0ts@U^67<-NXr8rU52Vn
z)dC58>xEev7<LJ<&NlElb9@3*gY<58#$%haK?%f7q$PnzjiKV$JI98NplWu3aNq_;
z=fg5Q$_y5V-#J1WFAKN>1<Z^a7#_%$@iXl?e_xV?fx$|EwcA*x=kx)_hKq0HSStEK
z6{SP!qJ%`YCPPUh27}pmn;EWyN(6_{MG86zD;N&wmGLvpQ3rWXw6n=o^3T!484M0A
zAi>A)L84bXnhZK0GBO0-wB;z612#`|QGz2|O|_&1!-Uqm%?!su1&#yjA_bl#4+e)c
zkZaUHI&XG19hG?UHqnB?L9~pY$>urOyqTR%AJ`5vFlcSA7I<I?Dn%N4Tn;+%yt!t`
zz_37gH#=h;sG-r2<8n}m=f$;;5BMF@%lMgUK3WAbFenHI3h;eez|Ro>Mvmo25~x)$
zp;3c_z2X3S!}B+CETFoj;fKpXCY}e+J_hhJ9KUJHQ3CcHs6EiYUdd3=f4A8o92CU@
zQ#EGHalBn2_kb}$rcmI;i*3&;w=pm<C<(GY>}xM$m~nWuYh&LVP_d>Y$SQ0cAbq^q
zieXLicTj<UplXrATh1ni4eb^jB?+MFL7-J*#*~LQf7{GpcHnuW5CE<uTokx2O=2%%
z=x~=|(E@wxuFJs|o>TW8JIXL539~n@0!43vdf)^zn;K>Zz3<oa8U<E>+j?b!tdk7|
zb{}&#XLyqKT_FJ6etM(86*R9smtlpo49hC8XRo>(bm7^5?(+m*2GdSZk;(A9qiKo?
z8<PY7BZUbw?=~?o9PnC{AjB4XymAFwL*2Xe|KH7S@Bv#Z8aN@y#)p}qjGyTyC=L&B
zEmBCW=wM@b*V*i#1_~pC*%~t%9IxHCv0-L74=#}z7AdfDG%*|ye54>S7i_xEB88Qe
z32Y4KgxDKTfXx*PG_W|l>bQ*xGsF8``{x&&XLV5mB?#k=rX`ObN-#*AednkEuCgV3
zMR?8xyfWuM%5cEvk%9o&lRYY2liJ!784^Sb1v<cC;U>uHdC=K_VMDV8hf6_pvyC_-
z1H*d()@GxMUylxoGu-f%VNu!u$~zV98Xg&P6^soYM;sH(LAh>+mk7^^2`?wJ$1*5r
z6$;!q`Pzk%p+Vcl(dknGH$#d7AComG+zv=CQg~RgfR$mBAbaE7JwYN23>HozJjWC`
z85Hyj1#TP#W$Op}ixd`CG_W#g?byFukfU+xyX!LN!x<P3*al88u-U-GAbQi5<IShy
zyC2W6GBE7zY-%i#6REUdWmxrl$NiTz``O=o&*J^$!^XhywX-Sb`9oob7l+n4DroKI
zVq{og7dT<9O$HN#Y-h7W$v-ni28JujTx=H$6`mXvVgPmejDAEcw%O0f;83?nA-ZA#
z3&Rg3KBkMH%nWKqGcY)IG&`h#V(p0<7u$v07mpQ%7#?ix|GhNtdxrxbSVEO+)0B31
zhKA%fQY?#v*k-;xv-SK&4u*m`8YhhMt}rs36J}?8@!(bIyXW=k-@s+)j>zc``(_t0
zG<@%9c2FtfHahj<^{uz}i))w|{-|*=F*qpwyQd(~YH(tATHN^~j^N5?SuryogTb`e
zW`>k)pMI(GF)`E#vYNj#I8u0-m%*Ulg5yovc7;e#a$2Ooz_8@`)I|&_8-G`+rZ6+i
z?QHUStR~HnAiJBbG1f(_udArH=nNA>Y-iJKmz{$1j-EATI3V{(fkDu9w;pFRgM<4b
zg~K~nvN7B^ukG46l|?MBv&!~UIU8d`o{J*`gT|?Kjtpg|3wVXLGB)VBIJOlD^D+qZ
z$2K3}I>a^8vW~HV&*dQRD!!CEHp~o1Qm-p8tWMqi><vfr`8u~W9fkuuAP1TxT~{!e
zd^hY)%HC@|R&AT>{xdk_E>du=c)`qY;_y1h1hvEo9`E{(F225Z_3;g_wHO5EYMi)j
z^M;Y(i3%T+f%BEur_TR8x?;WYtMA+lA0}(;m?7=Tz_93}S73t4Zq}0zuIe39KK|iM
z_VQv5h8d0`PjvGF7#XrQWD7K$lY6UFBl;{xpRu9G#ZeE`D1NmuTR`Hd-|~5@Vw~e-
zcZcqCXILN~D8Rt*<JdaK1d+rEcV(Ix7~)+HwrcT)-U(o4xRQQdfuUymr(GHuObm-V
zLFGYk886d&A+uivYhOJ6w!18k*+FlS!t$LDnHgRjU+4Hh_K<?;4!&QK3=U<B6qZ+X
zFf+V3z0Q%rNNDNtiju$IH?uaxxEyrl@nc|E;UvSdPJlmab)D~xuYX-F^W$p&2kvuY
zc#ywHp?&8;W`+mz!n>H#JJ~0kpP2o3YVqwV28P$2O)`(vco`bp-$=2X6JmOGvVgbX
zPHgeB@@i9_x<B#zr5PfeL9Nq!Y1b7B+8mfa#_n7fZ@YahC&Pv|jT7_lOkrdwXo+n;
zAgRQ#dav-Bv>My=f8WFBYg_M2&t_scqt2zb;rBB^28OUr*#Zmtb6)TLU~=EuK6$+`
zYr{?#$G9S4HiiSDWxP!8942ojeB2TJ)3kp_+5X>O)BeaZI<SEv+@LqM`9M6+|C<L3
zzeg;|-gaM*p+}wT(-dia1_rkc*#bYhAKF{XREDN5&%XZRed&?P++2o+jV_LIMTc1#
z4rG+^GOd^R_dGb&_k7Wt)Sp)FuYc7tAK+Q^ASE<!0wY5LOQJx<(GT-u``$>c(fPIY
z<}C(><c_94kJPvs8fNbC69GxiT_j(BasR&gZgqR_9@b^(QQ%@?V2Hk9%3(8Ew<f@Q
z`;RGaqjG8)8eY3N?kfytWjNq<NZ~`z!TKE8YwuRvPu^CXeC+z{x9JQFfgPY24~tXh
zvPu5HU!1z{TiNZ4oD9kxO@9viiZC!(-!$d0QQ|q2f391<P7G8MSWIkWV_=x0%)`_#
z@#}EK)OFjhaWGi8i9ES~$AXbTp!IquNaA>6ZQnu5k8`hgG99=N%4!NKyV)A&y9k`f
ze7ZAxE<?j}7sr|=E{28;EshV=nd^TPeXUthm%G&u+{|QP5SVqnlgVE42Xj5BV*lYQ
zl5?(CkbxochAGD#VYcrZ_>Mo0sW^L{onc=`)8rkVYzz$_TO1$EOSG>k%B?vY#mF$<
z<>0Y9Jd6wzCSLDkVo2v~W&nqg=S@?Nnh)iN8y2q-XDCtUGJE=rouPs2jTB4X8zv@(
zhU;Lr+U{m+<UjNv=2|2}!yT7{Z8i#w3;`1jIBGz3>H|Yie$qJn+NF^nRBD3ShmRL>
zfO?ElET9VRho8ut10NU}7`_R!HQts|;A3KF(BNQT5P4R*=m0yYN#h`rbCg+tfg$#$
zDF>)#El~%>pDssp!}U(4bM*{X!mP6k4l^?_#Hn-DY|0k6)>X3a?;iG!FIyQ8<baak
zg}&J4hS=r}*KZc*Un~8+zW%xtqk}3~W|9F%&4z4&il-O%HkmRvtZ_NWc4q~s^$s#?
zL$-j$<A3`O?qYOM1FN1F+kAk%@Plc#>K`=$rU{)I5p!k>GB8*i+aSF|kUepZ-}8xE
znHye!LZ#vV2dlsb^Y)u_#3=GH2}}if=|gjD^MT%nb_G+vGB;$n96WTVfPvva=^=%J
z^Xm@!UvsnYmtj%h0)^KD&h^5q?>L(a`aVCk&gNj)-PzPEDaOFyU|V*K!MyF4!MVR%
zx1O#{<z-Az58R+(F3!MUFwKDDPKBsK%;#5DzdrvD|M_QA8^eZfki7*Hu6Hv1n80#;
zZ}FTGi(_x3SQ1RZwx}={K4@;V`=IxlgF(BqiFM~h28M>8EshVIuQ%>96*%^CS0BTM
zd0-<z2}7ReOJjMYJ41vcs7R@pENkp=ym8-F{$sCp^f7FhrV-I2&CbAZ<M291h6k~S
z6c~&_1tbIWO-tt5QkiGbpA+`<WpgrQgEA3Av*aY___m)63@)mm*z|c&y68gqc7qqq
z0tRv0OIaFB!GYMxbDFV1yTy^gO_-Ita54h}gCS@01^?}d`%3$?7RjEzdrgSpnGk4L
zQ|yCP;EUr1@<l>yj4QlA?u*d4wLmaI<hAtF9|rskqF}dlOU`kYzgzYr;{FP?Q-*hQ
zbr}=*0yl7&vobJD=$7TU(4J`bMC|FTTwTTov5Oug1lrlMFfcrMAj!1i*e<uwzFdY)
z!XV4cj8j^Ez4_26RrX$L%QS`$e4x-&Xt?X_maxz7aE*M~f?ad3zxB)JWB^TqFfcSq
zEMX3fIRD~7`W)%XGu-tIJ)qj2fhBnYU+K+<%v&w@Gj{lh=o~o9#=vmpap@ulR=Xz-
zW`}GUrh;AFD7nJfb`diJgEctl4stdJ_%Aoe;ALj$0LO&Kf!8jLXIdP0?W(#{{__F@
zLpE4jr^Fg(*|}xhPHM{M&X%vg+W)WmH7mn=aBxi$WNYkM6I){NSz`bH?W|4=>jXd^
z6Z&KoxZ+@*W5>%kJ9qx7(h*=PXw|T2^xwzGz_7aFAA`}xv_Q`($v?l9b~H2m0grol
zoSPt9^m<$Lg;}m*{pZe}IKJ*KOiJUxYZu0ZzMku0yV)5lTts}%waPLu>_}(ldy=wU
z;mDM~7NYEoJHWYFB>B1mLxH~x%Y$Z6atoL;*J48V-KGOMj}#p8L3z(1vF)8h$~BD}
zi*L6JF#J&A@_V#QjDex!&}$b({^qI#(cNr}zXU;knDybItAbLt@SCTHIT&ieA=WFg
z&$))}%Ym#iUZyYLlFbAZ$|iOj7z}>|Fo7B%3=9szZ66#|uBmh!T<6%Z%jIC_oij`f
z3>Pc&8fUz@##pwQkMW8!D5;t}FJ0syVz+`}BS$mCR<QYhW+&Plxl}5VuiF%{Yn>}J
zvHdx0Ajj~-Q-WoMqsW{y%%%(s6MC<AI?2Sce|)AX;D7xq#{wZx!f9ydd8*j9uDK#x
z;K=1tTc#CGppcSaV3=_-K#pNY`EGrK$t)+_MPd#(n=mj;n3*nhWBu#)rnUAA438n!
zpG=Sgm7X5E)_F3_1joHhk^%qkQrSb%^$N?@WeYikfx?iXUGfa`?udE?wL}30{=fo3
z^K}di4x;n&6ZDxY6r^4YIq-p%E$3|B5PqF;&sO$FuXgD%rYLdgJvk=Iz_8+oG2ff3
zr40FR85uwmWef}tj1E^OuxIlhx$^Ze7ei!6Q}@nHRtAPuALlUtE|EJBU9GU}+-o6+
z60ouP#&g<ht@t0TwG{|{UdpLp1opfl&-29j=a?(9`DHE6F-ka!+&SPX!@#iO)Mvg8
z&0E{~-W{%Qd%X8^yC}mVaLSc9RUr56g<Zq;Zx>F!jp?sDQyxE^VUZxKdEsKvOli-x
zT88|4PU?N74Cf%~&n3ux6J%R!|7F6{i1+){7+sXO@}@jJ#LK`?(3&onApV*^*5VqY
z1-O}%Aa&U5#^G}^ulZ|Je*A8_rqUqca`5b(1xySKS1aE&+VVVHYyV}EA|KO+=^7FZ
z(jg2C3#`uDZfG~i_`7iaioy$3EF0#7((eHww$BV3`d;fX*mpKL#_aX@UBU|*C1zAz
zlV0ApwSC{a^M5&>H+<zt&<`{aFkivI;J`kwHo>;JBAef(cC7}(>yD;_I~-XV7_2_L
zVSdfod`<4hhho`?TEB>HhHv0xe&bMq+>L{`nD5(im7Ei7nB{V?;m#Z;28P&*e~nw;
zT=<#tw()x0TH$lD4SQS;F6g^6XICdX1A~^qoc66P2mP<f?MORv&gr$l0l7s933+~u
z3=MiV{|`j5eVV_<*5KIRsz-B}I=n@A&Yjg{V7SowTpkq5J*omsM^w4gKD>B#W%*AA
zhK4Sl=ZUhrS@%a&uXr&xx$4TTg5TwGwYt|78os(5REdjqU}Rv>GMv+1%JUSYCgF-<
z&Hwj35z24mSUMa<e2(#IF)&<cOqY*vm-v(PR&iDM^OtXu%fb{&)-kS8=Tdv(Cd<I^
z;sDs6&SKVmmv8@n_Tp|c!x}{{(72mP`t}FqhZF=|t<>D#%dsTzg45Fmo@a@&i65+A
z^UD|)eOF*82Iq&CGz0$E9L@J5>mOJY3Mkltm44uP))>3SzMzj^oZ$$#8k*2_&}L2I
zg8#F>vY*?SEuf$VR%gQVERi?ygZXRzIqG~&N0dOePv|;mv!VMd`?`;g%ncHt%8KEV
z;f(g5JRjvZ|2trMO{C#3STM*4BKZ5K@kX(OhH>g#8>WL&h(pvNg){0r|K6^j-(SkL
zZ}U2aH(*~)m}S7>@?EDcV)qLl36=<dP)(*_n<((iXwUq^*&Z*?y>?-|22R)-juI_9
zTO1R_UUMIi0%x#Pj%I`D2W<_yzp^ISE!EC<f~^Gr`y!~tk>P}=1j`I>keLf)5(S<a
zZedT`bd2E)xLgaEWWe!R;uf=UWHQ4uaBZOBEzwfR^R{v38bgN1;9#7h#>3>`cSr#|
z^UuKWl(X5Oz47nwHNGEam9izsfb9`$ah!4Zz(1MS0&~*mGD?8+)dJo`foBFA>d#a$
zKaNOexCbutFLW7j^rYA}mbN%Hd<Pd~TZ*MMq@EqNkZu2ZO(0_Z<0xi>E^uH)m+>Bo
zX#2{*PzZL$7B!wj5r-5EW|y)(kOEu!4dgjj2^I@*fHl<rv~D(-lxVx5X)7CODw~0U
z;oS{Wj%0~z&UxRT=RbM9Xe-+T3y@BRIsvvsp2NS6Z#p8jqc9d!R)gk@*!TE}{5U-|
zKxxvXgNq-Vd@8-jF2K+S&Ug=4cPl@zZTmX^56=pvESW9W82<QzLbO4A5wES{;&+FC
zox5*c`tt&hgWV#~=oZ7}P~PVChdhqHpZ@Ed%=U|AykW8F3~ms!IyIdA6t>Mz44ATD
zc1EE<!*Ot;VVJgJPxtdz-=B*1xO{r|Q&N#HEH0hl9yo~}U~c<j(B5c!WxF+BR62tk
zxIyxO-BI9~(S~-pvg3}R$s*8jbA+EnOGMhde(Si&*}aTEAa1lSGiF%*b9a+Vfi+ut
ztI2LQ#%~Y<?0K{jb*(EE=7nEBB>4RGDT|C=#vgtle=#ITJ6E509C%`P)xTSo9FX=P
z!+)bGEpuBO*9)kw|NZ#esY)F_rZwPXbYY&O${Tear@Hqnhawa2++z9wZYC@+brfJY
zwmUZdJPT;j5YlMNIDJ7d>E*t~$F*HnzBu*n;KjlXzi%-WfX!hLXnSaTrL^q(g1ODm
zX4ICH0~{_X+ZANz^!|UOZ~(Mign{9$gqBmz-EwZO=8}T1`FwG<=DXHwGsuI(@s>df
zdqc#YAQ8}<Jp)677!SYV^mn_f-iR%cE)+<Blmef4cp7_J9IZZmXJdQ@junlw69i89
zNGw^rx<3EIzx}Ka%t0xoVG|D<qr!Ua^@4Sxmv--;CgA`Iodqh60-uZz{7>1gF!!b@
z2Y8hWgM(#TgM;ZIg}bqLO)GxqKd%X8*a=SHQxadWho}`?xO?^P;d8PL{@?_nD)Gh9
zH%{@_?AYd#Z|7zu=rZmC$BD=J0+|<X5=%B~*QX0GfSvG!=jcMa-K_G$Y%kB<VgM~R
zVPJ5GYJ2EV{x3`lG@*YSoIjSNF!1e___JS)@6yb#j1MHhdP{irGRg_Fzx0w|`7v9A
zgMq<8i|y`(=?niCK2ng4R0hoiFfuTB988dYU{g3Duf-A6>ttYHIAnZ=Esy8VdO`M=
zN30k>%m8c6V7tNa_)fdfYwf9=%?$g&wzi}u@Y*EZuy4ED9Fo440g`$YRGhOOh#vk|
zc*Id_a~NpsijjeV<9LFU#i0%LI)xJ^+Vw5hI6i4B(}T%igEa!#IwtOsO8HfJac<)O
ziit^lmUqvc^jLT^iV@s!6YywRn8?yLt)LGg`_q;4>@}_h)?hCRDDiNY@3LCbW0cW)
zm*@BM4aW?;rX-(?Vk`l-w>QMLC_dCvW}6(ywsynp#Q!qaB+gZo@>xw|_y#UfZ>)M;
z5U>TbeBpuqHO>XvU^8`(9QgRZ?D%|5o1_Q!^Gw?U7s+^E<6NK&mVBzj!yIm0!P4M=
zNC7ml&A`Cm?JB{vZcEV(iPRHZf)d~Q(|Z$Djthf^xEUB2PM1jid)p=0wuYf#4!;1y
zTyUb$xu_W;sprJg_E#W!3jd}EZP4Hv0|UddZi5fes)qs$PfZYAas1bzjKDt4M1dFJ
zWS6jtqj{g`B3_}zJdug!&2=5;O}U{JVCF8KA1v$)C+cm#C^9Xu0=rYwisj&oW@l^t
z2a_G`k365n3R)G#z;K{Iwyi3Xsaa9GMu_eB#&rhXEy<^&7(>9JWpL$P;ytdmRt5w2
z76Xm|a1Zu?!PWMP$m9i#+BKV)If`!7-rW?&5DJcco<LixRC&I4avPWqNbX)AeMli-
zA}B@=++KBD&Dn9q;RW&xFTfqM2f9rOa=Xi88Nll7To^*Y8NML$>46juj#9}l&T_jC
zD?mEv4AVp8E`;{6wykDJ+5Gv|Q)d>a`0~&`FIl$wLkbdKoXyt7GJw{IF)&yx{p8@M
z&=A++cp^1iVoMl9C^&>=!b~~JWWL-iWSr0QTXFjBpRc6Y3c&r^1B#*T`E!#S3^*LZ
z)+I7L2Ycnu%2yZG77MWKyP?Zrxt6E-8s`Ega4=41Ie6>MmIi;ee-kFZmN-xd&c6Pk
zvYRCT)Tb}tn%{Ep@fvBDM-?m<ZlJQ^!NRV?ribeu=pRyeQevH-es6z-e8U@X$y6uE
z@_XZHrhO8Boa3|~DL6pd=l4To7D>L7SLQh+p7<gE8jsR!QTDaG4ryR}{;#mOW4eQR
z-LAEr*91?TKIhn=4-pS5j7XbMKX0!6hueQG6Jvj#o8>5WE*4T?)N?j5xO28JKrC=5
zzS^`v@$c_9e;SkL%~ij9O);B|;R!fjnS|wb+|CuSpR8yf^Zmu0jdqNnK?eo~2H#L_
zJGOTYDOcmIUp2EZ2!PwS7Xr2(%st9j&C>SA;P~4;tG1Oz8Z#)EfdXm4%q-^HS<YWG
zcz!0%d$pULu^|HF;|8}?M`fK$7IbMfUSQ{BP|yRZZJ1)je|EFslXlZJ*$fAKK;Cf>
zp1P>-;LoZ<3O(Vax|`z|93aBXQ`<I&w!d)TkG*D)D8TRtTu^tdHktC)$fy6*1o?HZ
zchrI0AO<pb!3M9xH~N^rcJTasD3dMDAkYd*i2)%~3z8S`r6k||^$6sXcCcW;RK_(2
zt9;u2e3(=E+B}<$;RrZ9M1oU4WNna}t!Q7+X3ER}sU^8q8Wo7LFuoFGdtLqYcWEv=
zXx$hCgT|s$3$9);;AgI5==)W<w_q<jwB5$T?9_0pW=6y8-;WP`m51cd1r2YQ!ww(V
z!}FtY^BU<tDgsQ9=B&!}+6`Ghrq5@zulZ>qz9zeVbKZv@2M&XNkSixdd}~~lC?7C!
zMPZM@iTJ$Z?VmXkctBoNSox+ogn3^S&-X^{yz5M_+1KA_<Td~;#blTe@a*Brg>kWm
z6#l5C$t3@MpkKzzw8tNmGCkBjU$~;c|H4DU#!cc0N1?z2a5<qc@yy|%!@K2pzBZOu
z%++x3Y=-6tpY(+5-3A<cyk(wfSQj$(f$OJ9C#)n)S1>=&Dx9GFMhcqdJro`rTuE4G
zzMHji;=A>l*Tm*+%ocb69&S?D(R0|J+0u@q`2f!~u{e;pCD;oadYt{8Ef^Bace63p
zfsK|p_MvzFn-`2}8@3g+7;t=;3kn2*kZp;}7fK%}e#G+T;T`55;C48R3P(_<tS!Tv
zC+~TfYQV*K(@7D3p6eD~5-cDS8{dJGpM#OBu(K(Hf^?z)Xkh{a1Ba8q606;;j2#XV
zEW5z^ERG8FmUA>SxG3;2$$|?4#*|K#wseN;odN>g#X>K@nfiv0z!K0(I?!aA6*v`|
zof2^4IW@ykf<=KVQQ!r5mB|eiX8}V6W(F$(wnjdX0~q9tB$CZ`v%d7GXxK4lz5{6W
zDZ>G_i_RU5601R$D)BHuMtizl`4!j_8646NDL@Ndd!7R~4(2)T5|mM}d#(v7RyPD(
z`H=X6mEpr&0}e>}siVYksJM)qNnoPEkN-D!Uw`5@=}ExivymOgeD><B>pz_}vscXM
zN<!8GCdY;o?lyO9&;4Awdi6S`z?l;rYF=_e#v&3D&31OUNTjGbF+X`&!@3IG4`Az%
zu*%6}WXMtGVG;!wsB<}+Hq6a*Y?!re&-V@gn7@EqraCS>D$I!!LTA`Ct(Tk2KXD!V
zxkv?Y#k^p#hjgUbMurB-b9>l#{>@k3vtEd;@eC+j8vK-UVq$OZQIfvgw8kl+;qAKT
zr{277{w#I^TvxnE_?C86cXn8cDi70>>yK+aT3$CBaHOb!x?mz{o4FcRDYYm*>ohRc
z;9<H6c3Q9N%>`RLU0KckMmBD62-TLkel8v~)6KxJU?IoHL&rp}ax^pi?5VPUB*nM^
zoUQ^o6gVbK&Q#WttkpTs*L*Hsfg6-87fifazVdd@qD?oY_c81-`@HwWo7XJ{94V0E
zAwjrH^vt~vt@m75H+2==+2zOZ#|M<NG7_G#g-q$SU`X)&{=PYEu7t?9M#zBhWEMw>
z<02eaJGnv%%I4Zt^KmpY^n;Tb=gk}@26L{Eub20~y!PFpkGJ7HIB0~^a?CiJ)|_+G
zzdF;T>3QDu|KZP1u6f;BEYSfD9FHSx!he)_m^P^HgEzw1d+#M|+Q_nj&yjJPARFU0
zaCQ>fu#n~cOfi-RPBqLoz^T|GA*Ex(N!Ih6%^_+fImxmK+?Sgez~yg**#riLTY?iB
zuY%oX-Fw4Fh$Yc__MVWmQyjNu6`n1SV+PNIFdV#L()72*v7z*B?fa6y`{gU|3a~YD
zfL-p8BgR<Z?^AKMm+`e#ah^q9!&PwPSbw==vFRcA^BZ?qBfPu6`zf!NWwJK_w?+jT
zc$G4oC6;IzJ~Vy)KPqY-f1hlED9A|%-1eGv=X_#fIAf~C!}SMJPaJSDYh7R~EFYq(
zc0hmcIp*v9kfu(8ko0bb3)5Bv$G`vXf8Bon^Foym%$vcMOK-U+u}P4nmXkR|Rc+6+
zKkKufY_wP6V}cCE@}wDy9}{3ph&@*y^|Dll^ABXc@_>U`J%fd}&kZ+;HL1@G^Ron2
zfHSzn5jMRZb*_NU$CdW$BY6YwIdAQ2X0kV!1uCfw8hGVrxQi?hx<2`@Pvujwk2CiF
zohcIznMF9joo-&Ol$XYMAgeE?pH)6ikfYHD9BO_?96AnfQ7CB9JiK$$-sx6Fdn#Hq
z3?_k0yfC9zw!>3G#rk7{-0R~NGyA`~+wXqN-T`h5S}1;Q6J^*i*TBN>==bpN`!B!U
zsPcn(G1$}kH<mP7<-B4}k8sX7`rA8!4V1JQBD#EQ8+IHqYN!KQ%)sDrD4Fefak8U*
zUoL1_ECT~Wf~DD4#w0-&#$VtR#K2Hikj%&+2~HCSCgr@EJk`A;sQ0lXq!wa`m}bCX
zFkJ!K|6yP_IYaEu^3Xr~YtP;dVQ?@5MI*xo6Y1Xv!mf2~Ysm#o@PRC;Jft8wQ|!*M
zowC!DB|t0sL5rd$35C|FaU6Rt!6xAj%2EtJ4sTJY?9}SFod3Cihq(tlPQvh~-M}O4
z`r|VHh@H0ASS8bh*<emx&@tcX{^kd<hDW}1{LYhNfRsTD588U`SKTO*3Fm3Dt(bev
zK$qhJcqE3Qz+EDRHT1Ff>*DRNUW-gM;J5&;a~T-A1!K2;v^uNE!}JAWr%giCgjHI{
zr%ijF^YpqVbE3ckTX1kb;7pv5<udL19yf*%a8bx`fN9n7bz+SBe`QbU&2((o1`g&1
z`59tMm=d3wt`GD%q~Kr;4iyHGZC(ME!XLsbdp8NOG2Q}~xD0Uyx*V1<hcC|i9GY{=
zQ35)y!EnPtLS=EN@~OA)|6Z=#{p$7PsRkU7ULXU*Q5RnI?TvX?&i}}%GI*7J<a~=`
z!()iOy*}KNj;?;Z#XY36E^o_^xoa5>Ihq-cgA)jYbq7;OK}y!Tr-k}23Z@xwKt?bb
z7`labo%E1kxdDlT8z;9YIPe@&I8X+5^#R615H2KY85mY_HZ!aTrw#`8nPM$}H?>PY
zuZ=mRaNs<|3BoK)4Hob|B?H4L0X9a+*ad^1kuJyW5Khx`KYz41LW({H28L6DY>fNB
z^)iE$fhCJTzX8Vwa6!Rvp~HaVd?>f^x$ibDjt%i(^BEYHSxdijiE5Y+aRcv6xu*B4
z{4y=?e>TwN02kQ|Ch8&w@|}1V?}@5zbxZ(Pzzhr*&SYIY>dUZ`qxrxout^PkElftj
zzTXP>F@sh^F)%P(=nQZOTefn=nUB0{z~wFjgT+Z-2E&}c<pOMtkclM*Sx(jse9x=(
z4k>H^k4P~rFkaZu!!kK}&il_l%^51dl>-AqhR2js&VSg#z-<=>9tEKZ6BCN&6xZpk
zw?9x04p{~V_Cq0jkIXlKCjuD~1R5ExJ>E0_csBnBa2JfhV1jSfCPUZKdtbj6zq7yo
zTH^MvTh`|qAr&(N1M?2egn7D!0TL{$AUT&!nC*m{PUi6|56YGM*Z$srdO!09@Vo;<
z0#l;EH8s9tA2fux9)Q-cfpXsgmDR@&W-#jAI?sFoT=Xy)bY?ml89H9Q{x&;1mSF)q
zILRj{B?|1=?xi3ylM%E*2DF~o*N40B`wQ#$X@7Or+Wv}_iD&o=Nnw*`in087x=XC9
znc*!YdKg-i_?WhUM*$gF5~3#P*f>p@D3j0d7NUWnMU{tX3nb66Bt}ipaglQSY!TS-
z84^PdpmfBN2~FJ$43`Ah7$IYG3{8f*9&Cqrj4l5`o9qk>9`5i&%yD9if@Fu$nX*`Q
z*>+fRW#HTq_`tGJ3ererP|&#C6wtkL+rAb@SYkSm=yWFgd*T0Y|KD!SKK+s7!yHhN
z%pfo$)A2<1>7CjF+thiOY`~pn28QJw2K(pm{*cqZ)puR!0l4|YpkQ&iN#OE{&zGbM
zdJ=e{$(Uh|(ylq5Uwsv3IWNe@SO;!OG6)&ya+GfE3)@~lt@N>Yq5!yjXJFuXopVK)
zqh6Q|S}QYn&Ja^knz*!o@$+B)|K*q-zQ2FFkb8{>xVU7P@usXR*JXqB&vMt4EP)7c
zH=Kb%MrqX+<7}adr<^H?0ujAnFHAUbO8Q5@%`=~?o|d{wut1X~!v>v1fe3J)iDAN-
zQ^B@Jl$ISSe0Kj})u-R41vbo6p^@mhwIiZB&!pn(cUj(^>-Obk3q*D`LUU1z54TWj
zhf!Sr_1#D3SDJC$`*+^>y7_SvNRyU<VS>YxfU8OzcE9eQ?`npP6)-T&QCjdt^zT+%
zp?BN<`58Z6@K|aExV^&QaZ1^xGv#Q*rx)M%&YP@z{``scZ&#RRT&oiQxt09}cu1Rp
zVU|F^Bmb{kul$<0F#4Z$q5yP=SHbXdlZ*0#FAq!qre1sOviBcoeI+QZUzpNxsr~v_
zb8{DlH;}}rl3qNggJsRHG~c&(|NT||pLg730=SXLz)+&NXp8tq)47uDt&R<E!6}hp
zfwbV$t?uj3`!CdfmA%XK!q$I3TOAv6!IBM3HcnGcxJ-FIZ?E3^b1zq{f4OF*V<NOK
z1X{W5@^jU%Y{TEb+1v|!m?4c<h64iE9kvvCWd7Wp-Vvny_(4zSOP>F14B?=n;eb+3
zlw+-&qL<j}V+Z%{&tF>n>tFfHulrmiSU{_W85lfr-Y>g8?|=2|XofFk)v>E;?!NrF
zJC!SF@iMknN664}LyB8&k?pVQoHECnscPK{y92ME&2h{+a$bvvsRkSbDuRiV>!)_|
zF&r!Mt@L}rzCaX|-xV4=W;Ze^G8{?tdTV{Ti6I`G1P;3LG<|1rV(2TnyFfir05VRh
zuz|<%!@aNR+a%dOSKLup<JnW?Bf;_mG78LnxtU?lqhA|(FYr5XgFNLBFxBk84?k1E
zdDF&;KHN;;0)R(_?~sLBcY?3emEuDR8^C?jhKENS8@5LN|NZgSKOYH}FmQG==(XV3
zAeU{odFB$fFmTPwvh`BiRO=TD`=?$LEZT5Q{&~&0v(>T+kntM<A6}*_X|?J?{erAv
z;68)^XrImT9cAy7d6-s%vml4349kkcQTOIw{~^(z$_mL6ENP3qWLh?_Q9hIQH}Ck*
zJI7yKzq&=i0KB@wf$NcigWa_^|Mncqjfp=V2r7Ehz_oajvFL}X790%gn)g=RXN8Qa
zO_*fCAu#*vPX6`T^^2FW`EoOXmyt1W?#TXYStt;<xsBmX`dgM&V7F)-y!(xzFrt6u
zqi+%K1UdHBGrECm#7PC)e`POYV{C|XvkemgZGmE7Xec`3$gp6#?tA@jEzXyl4rqWw
zS7{mRcR_Z>2FY)JqFl`fI6#67Pj6;0Go%$biwksuN`VPIXO|}X@NTloW@k8X3!HYR
zDe*BeDCh3gJUp4V;T}k+p~dG9X!eU?am9N!7jT8Dl3KiyxBMwHLtsTb(-&}XZm<b%
zW^l;Qd%=_ju6%?x@4Pb2!Xxw=Cj$e>6owtjd_kQG90JFuN$;|85_thm6&~ldB-ooh
zJ#l6i1H%DbP;y(qkhnoUxH%=omZ9S`ET9>rZ_H8V2JMh>2btBN<iq_fJ!`^?HH-|F
z75CZBfE{(fZy8(XiDyO(4EEq4<SM-W(*hJ!#&LV|i-m<QfE(xmJq8xjc&(KR&M`B5
z08cS7sLzy2QF9bf&^Iq;R0gMR)|&~l4qs7VU=V;*yu34|QdB<9?^sj6p?~(yhCr|*
z7UdY6P0bQuusHpjbAc+z?F?3irXK!_>>XtDo-w(B69U)fgCfnl|1dIucGWQW{jS)2
zG2-Iy<-Ohv87HqO=yv{P__|{z_Y2UDQW3`uYK{U6#H4*T&X8hZV1T5g1cTt_If|c{
zuRKlD18r1eU`Svzn~?<C%?NP^!;CY^t~b5zu&;RkFHP^ga6_1jBf|sk`|2D4(=!j=
z@Zn`*2*0<T(YB+BLFU`XXJ<7T9I}@&Rvdd~z`&3W&U4&_*DLv!vF&`mhc%-Ad#*z^
zIH|CJ{Kk+0j;4s7-RFu8O*=k|CdA&`&Zyhj#31wNH%oTa|1CE;HgHM%{G1^bGx@U!
z1K4s<r{c<kC>BQsy_oNfAm=bNxXu(ibNWg`?Kxkg&2Eg4kv#^Ll&lSUpjedy2Waa|
zu`~WMYYy-9P+i8#s2~?8&~Vr8UQSrZmwzvrtr=3(_@1e81htxSFgyb11+ny~4Pu1`
z?9XMcMietZW_B64gxKR>3qE@npZ~G{)fz(v(C#({28Pz3aqHvVj#>&%2#pA5Pyj9U
z{7~D(P|=c6xZ01`YT3fISFZ^$fNGqC>HX%?+6)YlYX#U_9bPQ{w2P5pH8?JRm|t#s
zy+Vpzc0YJYFKA;$_bL%~R>v314@ogHfWz{Rf$olFX9_QT<f=`L5oZ7wy=I?ln@soC
z|C+$h@TZ6~XC_mF0!M9X6hCwo9m75Y-5uL**Z)4@c)*a0f#EmUpaaf=^4eN#ha@JR
zt7cdLnc&X%;V#nlk}2^yWD&WnjS*ZGMa+0F%);<(hA8_{hZ)`qEDcgFjtpi$D>e%<
zGaS%YW^PpA*yu7-h7H;%syLzSa&u9*LctryoJR@_Pr&2v49mC9k`rN81nsZ=1omph
zsVxfbcjS$ulNulM6bZ94f<m`pdd>U<-}m$F)-W?9bJT6<JN;9ShY1>&_C~rK2jmVZ
zFdP9F2Mi3pm2)&0K)Z55)ottyDV7Ec7e|JO3Ganj67>58SRZI43NR!IurmI*czpI*
zdj<vu&|WR*%$%<eH&a2I0S9yrpW%SOAqD7UH3P$8j%Egfb`1`O?#lmP9!fVnws8_^
z5NmN{knk5_d9bqIT)GZqCupZ00|UdGq$q&~F&}Ow=*%^PL8}1=c=^l*f&1zl3=A&H
zJWSvjMgE_5jtmdf<rKLX7$$%Vcm@Wa)F=T4NJrS>$QA_#UCw3(Xy=iEf#GOp6T^m%
z@BZa?m@drAbYzG!(&Yd*eQQ2{OiSixU}&&xab$P_o(N}PaH=$G)e~caP97|;XwhI;
z+|deJD+)?V3`^9+m=1vQp3Z~6m)R2;et`^Q5SXpOaX?%?-|RC(Lvo8F14F|OP-X#n
zPy;+kyFl`C6N5|9PPLzLjtro>w&79DeDLhE0vFSVC`W<)4A64{{)5CXG-ZMesX#Nt
z@^TXc1H(pe(qnLloIX25&wRDa-~9FeKVP(eyvEqxp5cxVE8~I<-~Huf7-t;cqQEfq
z3`fhl#SB|ixR^fV%jer=FfhF3Y-R{4*}Ls)PxJQc{+F8=wt!3K3sVg^4&=BmzO_30
zMu!Cl!&<O4CF(p(0g<mQUd-Zj;9sP`AoBD#3nK%=x#DDQ2FT<MPhzlW!%Vjt{rK+v
zk8f_h^qq^TV44QU0eSg+v*!%p?K_)pR^PP}ejlUE_yW8&F+n3ypdr%dHsb~(P>I~|
zu*H!<%UVc&dyKfNFT*(jR>lPjzWd7yF)}c0Dp<?|TENTD{kgV@;egIER>m2MzqiDG
zn=cRAcnX?^6J%rTSoeMFsZs%GS-VV#jWI#~aub7$A{Uc`;XZ$XhMpEj2De+%SHHzA
z-}dk3x>|-Fa0U=)GT>miJyVPYv<WsLQ9j@7E<-~^izCCLqFyG*xI{xh&Mu}2cc*FY
z6T5D8xe2-qM4-=r!y(_jDeB1U%U_=hvNM7<88$fGv#;e~S<u%Zy`Di}>Pkn3IB*@u
z;Vr?UFl+7gWs(!mT~Pp6d}3cerWNxtoB$0<ubzJ>;r#2_795~W)(i{`4>_9|TsA%5
zWnz4xvl$Yh9QV~Z97+!<FwAuAXx{v<4xA+!7(ARMTDJcE+P{C-zn}I0{+?e~Z?{!u
zuiDvteKX})BBpC_Y)}AYo)k5nLsC`j2iDdv5AX>6em!WSzyiqJdP$4piflKYKPNZO
zch`Bc=+f5{%5IFWz)b^>m6zOf*62lX+;P%5<Nu?|Pl08HrwB^}(>?oI59S2lLkdr(
z8*=<RqU>=!_-~Yo0Miw4e{e$7*Rv5T)<g-^91BUbd34S2`s=mV`4!Xy1riM9^UcmM
zG*p2m|E5a(IQ90mg21zFw@P1p+RfF>@DrTerfj&?rjw$|VORElS4Yd=j>uflXmCdp
z!-P5Sg;^TzubVyjk-~(z9yi?2cWixhR`Za8gC4jde7a_bA-CiVA)9lH-OdZIXNZ`q
z!2u~c*0@NtM6fu9J-Ef}kOEeldUFnI!#*1)5e0s5^1IaHIOF^j1;Lp0tW07ItA$t@
z6*hkNmrr9%;7$~1SZzExcl-58>Gf^dd<=o$mWR$kHC=}A=tuWD?3o!rO+K-YAJdq5
z7#t*69>n!K?6~#y*mo`_$i&@-DOb(17;n7$_p3mqWalwxW92|mizCCfg0&3bVf{%}
z|G#92F<3Z*w!T7Iw4g2?0|Tg&x1pimTsoG4;e5<~eJ{|F23p|wdB7js%y8lMQ>*H|
zlI#s1T^t!aPJHKNa*#iyAaHkn{r}=`{S56f>(_6;9@!`W9lFcoXm&7hQn+cmd)+J<
z771?=7L9Y?Ihh#VsPixxcQ&My?k#)AS$jy~fCV_5Y!rBylsOwy%B#=r;jN8cx70mJ
ziQzXm1U|GFaC}i=ITXH(jqw*Kz-E5;m!H6pppqz%;mec4>b`#NAq59}urYfSc$joM
z8aMPF?*tFjiG2H*_Lz%-A;HX0pwG~h<H9shE0;lfh8Rnq0Lw#}M1cjefdULdA8VT!
z45k}!yiw$El9p5Fx&WRvW3c9EKA@eX@Fg)z0J?ODK}wKip+2NLxnM=VdHH%~hA&A`
z0u?R-Eru<Q4awkQ)WSi6C6BWSv<@3Qgyy-Y{?`U(28N3rjRyS&92=m6iq@Tt0?h^-
zps9xdP&LRPaah?U(Kboph%ygT4x}bNz@4OUM2&}Oj~W+~1Jgc#0ft9Lx*T6Q8YWCO
z;P_w+N>mIDshkY~-3GA12nS6k`8B>0EEPT?EE>-qpIy9~fuSM7#VWxhQ2;s$!O&3D
z;@Gg>#gT#I-QUaX5}?`x>O;R>K8i8R1k?V@fcBe$a|#0kL%<vjj(`)#XYanu$dG2B
z3aTa5xtJUhKn`MHV8{S3K4xH8Fz0mnzjOa2L7V+R3y&ByoOvMbI0TA(28PwbER6HO
ziHd>2!<UBzbnZyQf_wJ03qXfCgtNeU%nS^de!c&1^=+zFk`i<j&Cg<&ASc6_(w%MG
z%?G?(92=PI?&Y|EZGn!$FdUfV!_A~E$jYbyD$_kc!^$l1;R|+9ZN9=$f+Y-G2Qe^g
zut^kH;U~i4@$T{2yDu3SjAsb3G*qp-US24$!b60mA)y9bZJtr(V}g$CF??un?_!$T
z(Nu8ZjJw$^B_@W3oi<h?4A&CDa{(>ZlKbZ8zCN!ZcWwH^3ebrjD;#84HVLyvUeZ#0
zy8M2y0SiMzvJWTIfm=2~A}72=mTU=qbYJj%ob*P4XGMHW3=9r6%h(!wTpUjcFx=iz
zFU!is!0_Yj6a|KY*WdOwI&iqCb4{AYVbKQO!^^OKrX0&6&~|*59!Hg)!<LK;2GcYh
z84|cJH#>wZQb^>Kv%K@qnzN;#uNc&x$P(me^l))>5@aeC=3r!4aSCMawBy}On>(9)
z)LE{n2!K{n9w=YN-WciPxJ-cQx{?4B!-ScdjtmRL8wDghMN%XbCv?9qRN$NUxCW$l
z#nH#EjrUv}cM0oP9QmS9^VEi+VTKPUXggH1gZ?6gSdPXwiB;gk2=)oFH(qmboF&9;
z=?p4Z7#h|eaa<r8I6>`*LzEDE{j(Zo28qLqof#W6SR5Cy22MEK!dWHE9@&}<N`?$C
zd__{s4JTX#9m3*ftjfXQQuO=Ykt+%XQ#4MbB`Iv~1n<yXllS_p_ansue~~Auh7&SC
zimQxNIT%7Ve7EiG;P~3vWTVO^bhoSULM0~y1A{|$lfoKDktfm@8*}uIzwt_(5GAvl
zL7*EHhN?*lYg|R1a63*|6E+9b`C@2T%;Ff)uW@33XJd#W9}`2t6p%X6CWSSgA~AC$
zJVHg~HDA?$BK-l6p};jYE<K-w1y;e$F3)eUG+2N_h2d&v6Soj^r0>y{ptCI)7;ZR=
z#B@lUI0b6O%`*gLsx=NGF)a!la_XS<%M1s0xg30S#NmhD<0}h_B|&+#!Pw>CAs3bk
zy<~|cV#nnfjy$-ykb&WVmdnAWBMvu?JqBloh?7s-R{Z}NU!Ax?D{zB^qrf*~Qx1j=
zYQdl#OI|Jqm5w-AxPyv+h6L7StckIU5*V8lwg{T?SRH@eSuqEcqh1TJCHgK(C`w}7
zB5KOR#BgDndpi>Y!)ifRVPTeq{Gk1x3=OY*xDQpi9Bet_@Zx>dJV+FTsPY_&aygj7
z;wX{*?aG2;Ifezc{d}wp3}Gr<YD#<uWHujG*lIBiG)C;<!+prg<si!uhZ+77EDS3S
zPElYuP<{v$B|LrtEf%0qVPIG##J12b(7?b^;1T$Q1%?$~5-qn}4lZDE?8pw0*uuxa
zu;nQz5Y}@x2Ta$Hm>|ILai+u*j^jL_V^A6mI7~a64stY2Xa}7w!NA}kwkScNN#Thy
z4->-^aNzx(A=Xmma**MO!wFw-pe&Gb6nG`bsxHjZ=)Q*cE5~tAz#s5g^uWdJ??OIM
zv$(LbM1z5$LBpa~f#WM^8xjLU$b*Xu114)&G%9eEf_9EFFr=t)IDs~fG$~vuH{*#?
zXJEMX@kIbb!&?@|6}}=eC*17U96qA3T?TZdmP1LC!WDHcJ|zxNwqg*NsKAjez{)Pb
zlIXjPm674uCy>VLERGTF8aHMtaAbpaJTowKcnP#@?P!waY&vjso<YXl749OS<G>c(
z`kcbbDELX3)q3Mbeg+1EesJ8?sB$s!JTL^E4#SXAw)5qwEecQ6xXKc|1S(v>{#Gzf
z6etpAl@?}coDcHUUyv^y><=kCQROmI;b2OSaDFA&04k=tS{zS!isT$gv)eEg)OlcF
z*d)xRC?B|i(NW-rw*(8r3s6pGI3~!ZC?5C$bdU)s2pe9w92918e9&_{)A6;Zt(qfa
zf(<B1KAtJoV&mf2&}ri)0!kNeS{zR}irAb8;Roqr_@l(*RI}&-W0S&#Nv5m}4{Sim
zX@<W<%MF)<b93&2PN)LyrqI~YtiW+VY@fOi!!b~v7iiCP?C=)3;~@Y#C4r&gdW&NR
zxI@6ez%WaQO;IkefEi>vgCW?P^4}f(pEUn*IVjHJ$nXs`62QRVz}m00z<^_CXOlhX
zL>q=jAaf1czQ+cDH>NN!Fw`VR31kVf&IebBpb|xN(F11C*)I+`a*3=A3>*42D%=HF
z9<2E8-w!^fDXX%?_}W*&MRKZKJHb`!k|Zwyh6KC!Cl%xaKeTB=$^`~3A=dxSAcuFH
zmwm~=0Gpm;IFPo_U7$#a^}m5C$AQZC^Y8I6JLE3|b&~p`?YOu=J+_aagH@7amovV<
z-<~^H=+5VVXP+qcY^)J!>4@@?;k*Y5(*qjmd5?De+x|%5%hnPR5#Jf9N0Qm*|CQ~l
zW?<L^Du)CP=WcoZQSR-hbgt$L=QjlgNF*-txNlnaf3t=7gFPP4EkJ(tp6*f3+n}6x
zO^9vb{M5w?U#4gZ-1)bLNs)o!;tU}chKT;-olf%JZjKL|<&0Vnq(e@Xcrb1DmIZxJ
z7cIEp=q>8>!1((8vzE*Z2XxF9Ffcsp{1A6$vCG1>PZud{39w|lXKV|qxERhT@i<v~
zyE-~H8;5Z<o}VGt@_r33!v*&i>&uJ`9gY$$X45*Gl-S&Fe)tbL!;8U9i0$E?)I|z!
zRN3~a@i8%6Xa)tXoFLo7IjV~mBpi%udSEyG`sqqG1_y3Xe5K#nH(x~H;p$I;0V@*t
z4L?`}H?KJ{i;*E06q<XAtaX39`ulkE|N4y+LZ|jOZD{TNTLv0OV_;ygox6ADn}7So
zIU`+PYH0XuXjQl|4^+H=10|LNI@iB1dZci5YHw2#%leMSzcZy+7!ttamK;YMS7}SL
zK2&dd02-47C48T}{o4h!G$mP&vd<G_er{;$VR}uNA>;5A1qKGenNmv@6$J*AJdl+B
z@flRY+yR}}({b*K!qh3<O&>ZGB%mc+iV{zd>q-p`6OdT{dr20C10VxtR?N{5ozm4*
z;LX!>{)$3mWIV$I8PHJMnj?-z+QO`@ta&##oCo&`7(jdVPp)tg5fRy;%JB?TRIUL#
zVroZoN{|xQp{WWprW<fD1k6|9U~mY1q#(JZze$NHyeXmXkOG54EGR&=1=u@vYDHSO
z9XIeLPI$4#e9M=g`tJX4Z?Dh%xtSs5^L6`wR)5p~{QPb&{YQm?;lo{3KCWh$$yQuk
z>@hbMtaq1SF|rW;vgps>LrMmxzUI9YQ(Ui_D9F$-&xcpY_mu`mQ$p+^1%u0P9+;n+
zc0bsHWn0D8c`n_Jy19Sv9&u)9DD7-^nP|q<#mdq2m9yC)fAx|5#&uP_EY1<#rl04e
ze+<xJVTfqAIFXaNSRq@OrBQN?ZRO1q?;hWLttIA^ckRr^BTftrUpt!5Ofuq{B@;E<
z_vh9bVl3Y_&9uG0xSn~TK+>kPV_!AIxLO$)wsti4Ow;4)V$K$3xvs*)WWRCY+{1tO
zPxjy_jxa9X&EKk&=sR_Pv#^BrrP4#UriCwgykgUDix;)lYh%ABUUGH3rpmF-SAu2T
z9>aBxDlLX<W^V0lVPM!A^JqbbU-tHDy_Jg=C~VMkoWPwZa4j`>_rBZp$&CVio8#8K
zEo1gnU|~4nF0f?lZ`)}hfdUL^g~f*=%(h-n>k|03G3`@_0|&!|ZUv9*{%^sTTpTYu
zzTPBwUiWfSz;xf-d4{eW_alvOIxDa+bodG^*_!@aJ#&#lwh&9Di$sf6PS)n>4kuo%
znLP(|n%)s5j!U=vf2(RPT5$HiDQ6Qy>CG$4SQ{sVMi{?zRbXLgh>CmLzoesSjk~}T
z(aTLeDZW|BUwz;1|NA!o?*G2}f1l^y{ol7@-SO!b9-^z)&;0JTW?}g1bxW^1Xz(#H
z^dx&tn6~XrXG?#R+26+W7RM6{A07L4;_OS?zCSTn&G!592Q`)!uUl-NJ@spd3=4yV
zv%r$2YpWF&E?#i<pXtmKj3@Mex0NkB`+D=XKkFjRclq*9@_bfWywvow`ue!`oa~hr
z91Iuw6+FDFzu7vuJ6==f*fc%Uu|xItvTeO@a_8;!i!|He%P$nUtn~7%%5(nf<DY=7
z$?z6fvUKlnnMDeT98EH+Jcnv7ns3cb`Tp@mY44tmwTV>|G?doQzINuL(VFFt6c`Rv
zHYw=J-n`8r&6@jxS)fr`tWK;n_;%Yj8%eWm`bQkoy0(=?87J@hU*5TCT30gz!*PzL
zEhQ!P$~ht_x@LDRPj6A^Np+rWyC^RwzN5KEB=zl<v}Yo@x}xll3;YgSrLF(FIP(6j
z=(iH9j#*BOUtRp+jGWsEjf~`a-6jPGIkPR9inoq^Yqjw3-+bLKJIy!nT2P??!-K7x
zgPZPME-o#*uaqLfVsU7T!WZLe=ii5<AMDEepPSC^R5)Q;+Pb;d&U`%+=dCXd+Npb>
zyh%Y^_uk^|H&%0qv*x~7e{_n1L(b;p1?Kx+cN+aHvi#QScy7kVx+vqFvqU+3d6^h$
zo>sH$>=0tnKji9oO_AeLbEacdROMWwyG|m;>hV6jMMqwIy*%rrw(+&V;ARGf+@=NJ
zfB$slY7$?#XhClc!;JGK+<~$E!i5u7xUHRk&8JUlXWuL-7KSi2jv_%_j<}YtrZve=
zUrPTn*5x=pBTunA@^bSdh4USaDaJ*zrluSWYup5$C?yH(;SgrceX!nHfTbfnMc~V^
zY17hJobH>SSS$E?dFkYNZa(~6%?u2;EC0`rzoJkfsK&*#B_(RY=CGZOjyy{yP3%8v
zY<j}=z3G)*Cq4FF59k+WWe6)M^SY4U@JEULAa~$|g<&^S*iRfN;STNXYd-X#>WG7u
zv><z{Bf|nE#|bYSKPb6~n4I0r<~ZS^5BH(uB!$%yqU^rB>y|#3%6h9ZX<qgU0}h6e
z%a5vAPU<=f?BNh(Wo$6?*}h@X#KHiHHEXYfRBeibsJf`c@ylmI^fZMELtCy{k0P5j
z9UFEYagY#Z_vO8IHCc9R*`$+CD@55C8TJXWoD^ZvU*_)EFwe$mit?(vCmsZrf4I8B
zLWAd;BF7<p+iU)b0t_d-1XQ90_RNrC&AqaI;jL#@4r)ybHrK8BxSD@<HhzeB{WVyE
zg(2+8X2(3q<_E2wj=O|d7@r9+C+?nCc;T_jXCan{Tc`Dlh_W#@_?+|O{FO5y`kF$8
zp)S`fAr`lf9D!k%wK=K|dzJ2eyue_F`|HvxzdTb9DKKo1axBQ52{F)6l_O<J?OUUp
zOwYI8d9Y8F=a~Y>p*r3CRRU~`4JV>%`V}fu`J2Rp7cJ<NO)$CKw8lZ8rL4-Am#cZ>
z))@D-^Vh7n>MMFkfk7a!Tj52qQ=DiM*qtZrGMOiIN^t!BGDAv)Em??VA#b7p!wL_9
znCSlHoM)A|m>iOt6uw+f&iYXGuB+LQqv^slP(&zktXq3E&SA>=|A!YZIR5==x|cu#
z&;4rF<e5@W)UO5nSap>bWZQ(f=ea6Fxtqk*SQ}G+#5u;DED3H_;3)nwORDD!W1^|<
zwcu<Go9mC-xDo{zW;}f}WdTS%Pm}l}1>e+L0qiHd1X_MZ`SWr$7jrZjfF>|fR5;eH
z&Jx%oA;s$Zg5iMWzVBR*GHgvXc=}X14n^3?9pquS;NAURP-Xck#}9{=D4d-kq{7@U
zpla+Wkd(FaqApLLBF7<_^y}W2n-~so=r%1l&utmX-z0u`(E{HJ2Bq%0<YonqjhxNd
z8~Y9wg2HR2!j5&2z?#*uZzkV_$khrjd^NwQ@;oaj^W8d)iNV3Q>A|irPLP`!SkyS2
z^mO;92T0`j3$#f1a5FK8{@gR+vX|qBBoC1<FD~5j;bi)v$l(;Xb{Sji!7>)d4$x_q
zN|x5DFFrf@t!6#QJ-O*Xk)Go1vs^Cf98PtI5@fFhy;%G-c{(FQpAgISElC1<1XwMP
zPEiPO+_Ke2pv9`?phVQ#)ehC^*E~U9iqzfbKA|Rzw@Li&;su#93^)7)TB=$O?zAxz
z$r5H`Y*-w{;y7RYQ=}zF+zgQ?8!{%FGTh{B3YhNx<Y|g+tKpi73<olr9?S~khxkW<
z!>Lx+Y_Bi(yW+Imt@92=$SHF%^eAzx^Az~AG#lijT|S(X?mm^+=2j?}Xe-Q;D0@iZ
zK(QJdV*}5d{ZEuR{-p&8FmQcn6Zs^-cHBUfBim4ygCVC7R5G-dhW_Nar^_|#z)I~y
zA-oQvy31JhDz?_N9Nfp^c;fUH1%?aV3OkmGz1P*Q{br`g!7!PlX@gm!zye*6M~%TA
zWjXlX#j(s#mE%I20!Pe@j?D8@6rQB#vM@wt39{6Nop2YZS>rA8<wXF4(Tvi?%?ccM
ztaks*joQHbTI)zrNv?@52g4m9mg_1UcIiPA&iZgN9eHq8<BBrRwu_IJaX))yD*Nmf
zC&LCg#{%D`2j^WJ6C$Ty$lWya;<>ztYGbZa&gRb%(a$A*R-ACJpI-m{2PnRcEBDXn
zSNIY2StFxamO)OKh4Gi6szm&j_Z_?cSH`3>GQ6^|R(-KI(XQ!%nHuZOBa59G&k3?L
z>iTf^rPsdIkK(C$_U(B|%#p+>0frmi0x|sxJLYO|9GG<H4TFm+&%5$3$GGLc{XQwg
zG=Jy6KYfA>4Kbk1zmucscSqBnl*cj;WP+Ox#HAlrI1}>nhA4Zo0VupLDsfcZpWdyo
zBmT0+i{C7a540TxEMECY#1uvq=)caco|^Q)worgU!OXG1w&{VP8Y`oMM!s94aTsTF
zdj7rzy{8;MOtY})=geYwAPH7dxJbeN(~E!wivqK6&+N_0cWdOH{lI1WtB;y|&mIac
zVmP3E@A6Y6j(L}LxT;Dt82+Rcv1S}icA0Oz>)Nji_m8b|{BZ55X@O1eV>eEQ2lsAj
zI=+8eB*=2!So1{iG8V>XAKFBAsPhQ*8hoB@ATdAFkzs|WKuov74bZr9Z)J{#L(H|C
zpIHvRZ*gR3*a-4}B}dcSjwXf+6OOkr?VTa^=Twz-yTXq-?<HjpE4wf@h&f)U-e$vc
zaN8^w$NTCLpe}u=Yux=kimY*hZ09$gn|Imz$d{Tuk55>i^yNMFL~s#9K(oRQF~<$I
zlbaYWbR2JEI$*b0>FnS8m#u}kngg0whBQR59NfBt?>lHJh3Cp+-?jXv*@n6=E-p0Q
z60=*$C;RR{o_+ml^8Es>|Fhr6U3zNP=h`dh>%!~j{rK{h8y8$k_L;<{y}k97<&&V`
z&amTat9|7c9dP;A!NTBPQFd<e^{DlSKIi8zU%X(k^Xtx<EplJ3tt<a-SY@DkV(rY?
zQ~Uqzj)^Y4De!;J{lkTO*KGxz@EzEAVM~Hdp8#vao^$IiuQ~lmfaSQ6CdUCYrF~x#
z0;AlII28X*FWP%CWTu!(zmMRvPw8((LG^FLXO@Gt98I8Y$pw>=-+U7>WZI`BbS)`r
zg5<fl<e5zmw$3XIkdQfSE5PvW!HVy-98JX?O*MjrU2F<Q$J^d5z4h$z*Z*?YAIBN_
zbIa{~ziZ$16H+YexBllnq`+`M%Jy2~wFFC!rq6S_n)V%LWjG!&<ynv}+r8qS_g~yP
zb94!h^4y)<v{(*y-*fNUH0?bXlLKGV13Q+3JAJsA4mkGluFXGwLy7NMu?bJwJTaAR
zs}4SWb7ev1!GC)s7#U1Cn|=$hJQrsDDevCCNm=;(?~aoG%?7>a*%n)H$OM~m#DNB4
zK1Sw0Rp3~s$i;MkaT!at5c7Uv_Tn3<Q5U|mJTJ7bS#!OdjgjHUyEj&+f7!D;7R)^y
zc%g)sq2}Bp6Sdj**LOA_(7w8yW&K>v=4GtcKgT*Uba)EfX;#=V&C~Ip@}-Sc3>Rk#
zt#K9j(_<lVUGH)e!}XeQ0fwvsp~G@42fw;FGMwuE^r*Q*sGIjlvCl4s-Nw2c3>Vz{
z6*6)~=PO8nMndEbR3n-dZnUpFSmDEc>F~ttjO&XfYU2fVY<s;|-~o?g0e@41O#7k*
z?>Vmtr8coGFyg*q5yo~fu>1Pejkk_)A9#Mp`ue9>M}`Q0kh>(hJwapGo0A`$Ir?hx
z|8+ArUU*g}6S|zWKj!>8&ol$w9rNCEF&&t<=KEt|mdApuj1PR>nY&$IRc$uoTC5wi
z{=bbe)56Ctjj^)4&2cLj7|Ke&E!E0iQR{L$`=p=9ojHr08(-adE+NaZS;sG(&1v?X
z*P(O8SQr>S3A22^kZgbKb7uV_1%^EbrzH3-Zc6y(`m)DCgNJE%VUGsGf$VGE)dDP!
ze_3$-`+K}U^ZqhM28%2gfi*i6_WsG25@c^ZxV0vkyQpA23q#pOWsWHGqv{;TK=ntQ
zf$9wZ_X3*^CzXWAY`HnNU)jY{Xv%Fi|JhTTLu0lx2+UU4!R}~a7g&(IZ!>GibGz;8
zjvwX-76wSLls)7KWN3KLa?qBe$+Dw~!Jy&jD=FLN2k*Eqe%l`}apwIC!9~khEe~C}
zTKI0_`(hm<hBwEpH0>M>KogGhBtFhHJtn~N`?alU#%1Y*{3bbuH_zWpS&)9>2g^a{
zn~wKkYXM?h92pe$#?9^#TloF!94QgD=hjxbC+_vdnJ;5~EvNX(j)|ehOJI$^z?tWZ
zHGX`TxA*ZDd1xKY@Hk@2IaQ8xhL56~k38cD>=R;pEck_?;ilF;m80QJ34Us<j2bJC
zpXPt$UeolT#ul{9&8ha#gXeO0rCIlGj9JZaA--SX#Y{spM+5yp0S2p08E20xeJMVa
zVAm(`v}5!2v#G`z#~&1Z;RxIx%%EWHxWUfRz&udk#x&)LmB*$e)TE0q6kG6|qq(}E
zMZ@-u3_Bx3nG(k}b&hB1TzMzHvoN0U6X;p!E|DU4xk={Y=Ut#<s4LtAdVB@eJbbH>
zv52ifCv5MZgpXG3D+Ev9G{}e&c=TF!%27v#hN^RZoK<=tg@>0YFx)Zt88X{7qyA7r
zZlAzXNyE&ly@er$0&;)XDKI#gH6`RWCFm|vV3^RB?EJWBN(Nt_z|)?I*Zsdba4-Z+
zoxUJTnB}z~E8_y@{H;gR1+DJQ1lhD>$K41aPDX~LSAs0I?8j6&uBmY4rClxG#_(W`
zad%+%h02zLvt$%c9qq~to;X1+#+>28bcKl73K7?%13$dCue0Fd(l}bXcHL%udy9V?
z<hlcXoDy6#XX`I1A<plQ-%Btg39@8=-V-s~(~-gAq*Iv<_oWygZl~Jm_cL35f8Oi6
zQbTa%U(2%p=lrJZ=VnmgJ6}`yHR^t~qcvzhrp9TdlDWo-0w<EcUU{IrjPv)0dUJ*c
z*KUf>V>!5k<sfMB*oSx~Hy?NLrD6*!XNvV?el2J1Z%Mm;Nha{{gRLhnw=53%f1jP<
zj5^0PRgQPgB6m*Qe4oSkVJ@q#O<I(}Iv&CH7$sTtU+Z36Zn^l+hT*`yGJB!DMvevg
zixe1AD}FAN3vT*t^pMpuwWnEpvC_gF><lT_l{u>Rb$bfj0ZpGCFj&T#=zo2-og{PO
z=EoBkGcastIk=1EplxRp!-x8P>Jk$*4_fuLIbLo`mbG*$`C86;QuFhd2Wwxr_c1ZJ
zJf5ki=2#HFNMXa={r`U`{=3lHs>`rv{h==pbSDZhJTUyNX2{u8T`kF)JCAun<9p6)
zNnQdwo}aj~vh(r`Ew)2$Dl7~?j!N06ISNc}n!O>Ck73Odj=%>KZ{M%D>Y*XP#IXAV
zkN9K-4`nW<4SSUr9%3?=>kgW6xSUn;tcW55!xvSKB2cxvFyt1)v(<|)H}zb8)O}xO
z;#(uv8yzhS4y<vD`rHMcfR-mZWb_F<)wv!Z`~9EX>J}&WUM7Z{k;TWAIf}eRShjrv
z<--*sPj;`2nDZ<#YQp9i=R2z`d^5TP7*4ne^tcN=0j-%^do!YM=^-~ghV0NeY9_86
z3@&OM$CNofb!c!f$ZxvQ`cvk=#kq;^xweUGZL*cw)%Gncb5?*t%Z|L|H4DwZ*D7r~
zwod!DvHbf=DOTCd;myfk8CIN8GL=7WUo<VdWAiE>VXhX2171xDKDO7kev5i#q{-os
z6<5Q+P<6u27Zez8&Q4so$617BTjDRtq|@7eo~r4qf1-0;VEzdiPF5#|1e4dVX0aUn
z1uB4ayRYt%`F|pEonqQ)DUjp>b4P=Da@m)+h5h+?{ybm3l#(zj<Be+*&!%w4FIZHT
z|ND#Lrn}C@ZIzdszDzO{0=Xpe+NF<QxSHO8r=%MuZ*p~N6kzx<MM0up;ly$m#{}+u
z>JgXY|NrwbUwEk2U2LPI`V@=vQ^c>!D0-z_|GrA6@j{yb!-tON8)o#)`BilGS3Y=Y
zfj5WM8YMmB=xLfxmzx<5*j_sq09tXzz#yF3(Xx!4k)g=KSog-Ynrqe7;5zAE4|B)!
z7e`iRIx2P6Tv=hk!BD+9tu0E<&GG*IRR_OsJMeeSs?Fcc-NlXx=6)7t2<wvKkk#d4
z_$|ot*+BQiZXYfthL>ATF1T9H_RGTPY3iZu9%cTCZ{O=3dVg_?La3{4+LbQ~3|G?U
z&gnNeVGUYzkPv-HVW!J$B@y<O=l1jWh&;68>)-MJ?d#+7?f?D#*?*Z`TbPxRq2WuP
zAGcH3M5cun91Nu#O*?0bJpr%kzA-D)aZ|St$5BUy6K7}bXfsZn@XN(<!Iu61e<UU?
zSg`+JX%8dA{kb#6MA%j;IVpUZX35~-H+}jZ(3K($<~KCt9-l}{z5PZ0gF9nGQ5c(3
za5KY%?%MvSb3WYL#C6~9y`sv+v_ba%oTi8x?!I|G+=ptXXGhDhFyuutAGQOz|B_(7
z#L=y;rK^{*A9ZBtIC*Qk-sPq{%3MsTKj$U*?o;P5@SDniX|`SK_cb%*zU*~m=x`QT
zv;LH^9C&BRfy9gV6#jmE{(gFs-ek}DM!F~R(){^nNwGA1T~l7EdTX;B`1mge&g+gJ
zbP^}To}D9SV#>jg9r66#QNu+s!mN#xWMsJ*s&|UBMCVvo>E7UIev=a>15(5Axuc1}
zLF%3#^SeqjMGc-qmd1}47;rEoM_zw-dW(YiA_a!bKVRSbb5C%pc_H;;;q!?L`#G8o
z)cHVzSQ73MO9WXPi)3WECiqwH$l#Y;{a@zEr#t~0YmgluPOq`h;9+8L0Jk|3ge4U0
z69s-r$%31;|9rSXdxIuSayY!a#qmXcii`*wBf~FiVYZY0A}n5oB^j~%)HxhP4k^@_
zYw`U$r@-JKvyAmKD1&t6Ph)(u_V|_rWu8N|i|^T(n}WtblU=@p7sf{mvL&vW7~Bjx
zgi%JFiz(H@N`#?ex&g=IUeF*4Bf~EP-5u(nr6oV+>&Vaj|MB_H>5VOp68T52fINP|
zecE&TUxKWR9PiiH*H?Y!Xi#i%oU!<O+hhX{h7Hp)56*FMT)+aFbaem9)7)#p@%`&O
zDUj3875BV|1I4w%R5|zdd#^;<q=TD3#GD81g<yc31f*H<nMcA`q6KtsNP~qB_dD=X
z$x9N3sugR?C3229?pXi4a1p3sZn<|qqp!~*g$eWCb6)#)eZT$QOcsHdt>(_vZ3mBC
zQLwq5&Fm$?!Vt0emT_V#XmQYlLoYNBW-A{`Q06;S3o@aqPjD@G3%t{8N#^xm`9MzX
z2TiRQOw-_4^6W(b!;0Kcfjts}Y|`#s5G_&5ShIy$897dWXJP!d&59!~=1|j0#~F*m
zC0H09NF;913l#7;Jw@S3>SF#1RWE@(W<^;W1lb>MmrJ~`1$2u6IQSR3@HB}p2D<}v
zVD<s4Wvtnt^~((gO6&)_Cnkb)fR0#BkUhTZx-ys8^}g^gzIs|kB^nG@CM$Bp_53>b
zVC%OJx;#y1H5eLte7KLPa4`u?5|?85Hc^x9-Yiqo8yqcf-sDJt1_ugyl3lU|SsP1y
zIGG%D+~q$R9Y2t5yo^oyc-JOt&^-P*&_Lu%8D_Q+&Zg^b{=9J=&2P>~F)<|AU2ZA`
z%~2jO5lw!uH8Qxl*W$#wb2(l!#aI|Dj-8G)?Pzk)>f^iH{GOBPN{B5-+-y_R8y(Fb
zBohS~67()N6@oPvShF7No*CSH_G|QRCdI3j!LkeqcE>xOsdF)9f@TSgX34TkUv7SL
z05miGK{Bv_S$By=7e7NoXxSX0J?YOTE)rkHzVh4=1%?AL%UFwrSsO(_3ut8anqOx<
zxIWB>H;$v_185eyA$iY?snbDsNvX}QJaRi_LchX~8>cL8aI}OZ1#>Yd@c*{X?rd_X
zSjNKGuqy2M!DHXqZ_dngWN1j1QJ!`Au*MBF)0`vB3=Hlwg#P#}0qILgjuK#Ch%?sQ
z(J59Td(z!4&X3`N;6)`p#}7L=3ODTR)vn7=DKO!g1rCrc37|8c5-Tbh73>{1^lKD;
zI0UNe3;GRafR_#nT>1KCk^{$jQ1F3Pfh*{^w==z2yjOO|uk!~gm$4l0GPAv5ktV{x
zV4yprU4x@Vg~P}zI;Df3Aw|rPFK&jC3KMAU!RNW0&1aOk@|L)Y-G9x*kiZh$^x4%W
z>dP!mCk1Qi*$kCit9N`&ms`gAT#&V~z=!kQNpEh3f|w^S4{}eOFmumJK8D}B)-bjl
z{3)X>HD7~+K|jKU$tK;)pzp=y=Ibs_N<}Ri3{RddRjBY2xznTU(s^!*0)vCR<TCd4
zcW)mM<gz@xMS<bX(|h}W$9<W1eoF%AP}L1By;cpDM!x*_jC@aUfmZ6v|K{F!<8$Zh
zOpzSn)MaH2k$3XHr8dnhuT187w6SoW_cI4jJBQ&;mFRpQ?q^Bw({(0;)~3`~OfJ^H
z$(*Px^r>t66~+Z-|IZzNDsgd!%R%0s>l6fM3b8y8Hv6}5Jy+ufLC%*)1s5?0+*dz%
za*M(rB`&7ZoJ|bX+4&6X{uwju59Ms>_26I#n9O-l#)tbDcqv`M^|wnxmU?IiygLjU
z9yxun{<<&sIz^siN?duT1Q)p^dI@}2VmNUa6l>a*7ui7><Az`L;S+_e3<Z6fPOHFu
z=cVofCb~P?G7nm~9PFJbmSP&*l#+DO;@Cvjg+~<}e5NWbbcpCzc41U7|KH~<zer(2
zivkBjK=jnbZmdoZV%5AEkG+s(+52N}TjoKDIJbjlo@t-u7#aloWS+i$sLMBd{+`vR
zL>{IJAFkzKNZ=E0+RD-VdZx&oIm#}P2fNu~cKl~J@-T7s%y+C$eHLE$lHliVwh+`^
zzb5&!Cn;(|Y-iJf5YY7N_msJ6Cbk?57v@hFdu^n<W12=srXvG`!knCm0WvHMFOtJR
zzBo72;DqHO1%qBqN2SbsQQ4o<B>&1ra#R`fB-lsx$%wKuGV}>|RUDmn!E%wp|HP;X
z7g-$hQujQsXy#!^+R4{?5!{Lpn7?;ksf_ZjW6^;da_`)_z}{E%pW(qg<;%O|t~IzX
zk~7a*tT|12w*T9xUFIvf7`~)>2^=%lJn?@9sMo!!LxdAFhh%eInPc16`x8y)Pv3FP
zP}gF<1_w{7mq11Pd#*!K?sA8G&Q9=cS?rc;!N^c^U7KUl<(UR2p1U~iGtl+$2VDTf
z_gyLSY46mjjR6uY3_sSEgS;oM-&5}=!qO(dQmJ<8G<)vF4=>Hn>Ig0DSH3UIA}1}l
zt?XyttuBWQTSkTirwR9El&$(TPM9xaWjt}{P`<v|g_Su^zrXvDo2DSb#@H~om#1kN
z>%)!P7bkSPsMUW{<SA;aW-Vwje$sfxWp7m)i<7iJ!+|~}e~zg6Ym=i2_$D_wgf}TL
zthcZ-nWoGiE871;@N31hqO<)w{Bms0K6h1Nh)53;u(8rT5q0Q6#Ucg%nPN|Zn-ty`
z#54A7NIa)4_hV+_l`jhnB<}0ozroTlQOTbpZnN29qreHvTO9AHa%>XrJ{+-!lg+fF
zD&=x@)rDV73@dV61x$2jOwK&G(Z%tBiQ|Mbx10_JwiQ~O<No&G;2f{2JTuN_1_#$j
zHJ0^}(*v)%2X64~x%uaQf2QNSLVpIO4{8x|N;Xd(ojCIS%N(gKjI0bHo2)oyiJdvQ
z<$;A7Yh|~=3EL(G2ICtt^2by3zNB8}WO%Uss^bS8{p_`>Jbj8>pUe^`WH%|ehwN&P
zkm!5NadDRq=d}xu7sgmD+$48>dnp^kgxDntFMcxD39~l#b2f!M-rZzc!Ohd4Q6;0U
z#lyr98CrGm`m7w?%T0f4Wms#&3-Xt-e*DdzpvE8Xkao|DouTZqHpe$Rvn#uF^wqt-
zrUp&u=WPBh#L^hqr}twItJw6+I~6t|2W8UD7VMeH$B-gq$}un1ciQyYMeki4`2^X%
zD{~Zu9j$J2RopN;ga7$%>tFd7md`fT&G@;So#DYu9>)t?65{#<-@1!DF-R<sZ&I-S
z5DOaBx>opQyXvmsx!E=H%UBs3P8qQr+`Q)Gibnw=Ut%5gS`PmDbB&SV-Db@L>L6=F
zrs#4+O@5jhwSj+f(;PLPYpNVft7nRxIX@-AXP^3y?$<mF41K4?Sk4>i?zlJ8-~@Q7
zWb;>!rVn!5P6^_I@>lNGKmQne(5`Ra%)Gsf3@(!`IcAC7nJj*yUXb;ro5UJtfhF5@
zzO&sIU2`-k-*&%xm9Xot4`sRx4CyI+P3e`9*|x_!<`r9T{aUB+ouhf@PhV!i$Tx3~
zGhdVI+cWny;~XxKD^tQ$Iie<S)Slc_qR#V7h2v16*~;U_S10vr9^CO~8UsVa)G+pg
zo8K_6ea`ynv5RAy0NZB)=7-wu9oIJhPRegJ-ml0XW|&%^v7G<D=$qq9bQmTC_KWi<
zuT}Tuex}AFr_5#4V<0hK;RMe+<}XPbr#CBbSk5@W#_&M+YSV+G7Y$yt>Ta?UWvvaL
z5Z-cd$Dgu=`rQYAv^W-&XdDO>G&f{Sn6}Ds!k;}3|12jr@u>40Q(`-m-6zod`c2B|
zb=><ReK@Z@c{n$_Pk@!-#%Vss3tJSd1zBf45?XZRVCfMD1~;Kgit_Fqo3yXnGVDoj
zSMaD?#%f<|#bxC*#earW%;9{IXCK;b$Sh-hY$?t1H}6@;4$itKy)oaT7#Jk-w<}~s
z8JH)2s8wT~dG5*sn<RzRssH9$JDHdz8t^%8*yh9k@yuh;sNAh8mV^K8if@NECb&3G
zGc>j6li+ycAQ9tl(f&t9k&EHL);`A%|LgvJE`9&~`23CEb$q#>rA2+Pja{@r*~RkI
zm4x`Z_6_q|6ZEF9*n0ZV`sH$t7xGi(F1FtT&BI)|Y|L?QvaZmi{^@e@#+n`+%h=8f
zGAHu5cO1K(y>a_x=|o$Ors@uvnmrAS3@&BTc6N%BHk^8)P;q|m{Zp^*H)I~HeY?qA
zg-fVy<-zlvjV{|h=ihWH&`T_s7dP?F`{Z>m@;&8hUo4xy_<P{xrj(K=QRQ=)-&+VX
z-T(PNy;Ni2Hc`h96Q?fx@ag_r){l2&lz+u+*LcAZSS83F|2dlZ$EtLRod1!vj1?{I
zN(>A?R)ur?`Lf?zVaak2#}5;g_iufD|K#%j@B8P;JXI|;GSKvhc=RCLNnuT*;tcom
z#gEG?jNb^`HZQpE%C{`(TXIyvI_1k7-_2(zJk!&-{@-s_r*kI+So)*>TBqt>ZtCxB
zYAKgJT*lLqq;TMORr|qj^QVe8t^YEQZ_7g4_%Dl{S2{|tB!~+tH#?jNoZ6hgA18Ev
z{d2iM)!4-glwBlqr#rkTXW1wd%dyGry=(ke^CRyh3-?xQJesL|U-Zj{yYt)A7<T9<
z@$7m2>A47d<<VLE^H%Q>PYIf^MN3v+iz&#r^?oY9*_!K;f^4_z!(s*Edb;k{v1iNt
z<(={45y$1G_tr%v8nrhVSo=;0v8<md_he?=f4Q)FyF4H6XU`=rzTf5Uc)96JS@qu3
z4#7HQhR3}#DppFdyZarg5@?D!cgMQ*VBsC_>xI6D_Zb~KQ0>EC<SW49!xeOH?}Ket
zB3%s==5Ie-BvmSM@9WkHUlTKqP292WZ)w>~p_2YycZr&FQxqKdLYp3#7EXxUWXCL@
zYOi5`xhcN0Dd%D2l-GhhuJ#Q(-0GFJgB9ld%=O{7uX%N%oK^Dio7!NBJ?Fpje*HQ3
zdf?C5pZdg}_PjX1=ORaQAxHCm-p-~z0afAaS|9ZC+n<_R@x<MUlNS{0-E3|W^V&g~
z=iB3bx7y!xGS#G4P4IWA*cbcsMV)|4N{~Rqx-j|c-2G>`ny<gJHR-9E(Dk7q>9JK?
zY#(3h8oBR2i66`_J6rCoYmDt^-m|G#z~*%Kqrw?tpwq(}_-BZndHbn+Ls681(;n%A
zU(ag2TmP7&xpod`)4E)SG$Hn#%e^=(Pj5-!)sB<sPm2&KY0+R1nChBfZ?-1+q@C)E
z-Ax}knxF5Om;52$?m+qx#}}u&drU)SikWC~FvuI}MmV>uJoqN&{DIwNJk9CN3##8l
z?T%f~@V%q?!_>@!Qf2mTB^e?nx*QwC?+dFa2RF~(94H(7P4l4fo)W{b^}nB}P72-e
zEY47o!$I|t!kp(bTQxuvJdDd&vkgsu*j>-}nYu34z2n%G&#Yaif}8iQi~WA9PV25b
zW0)}e!7T}**8bdl{Y}eQ86RjT8t4^%Fub1QJM~ac_3MhghZBNdN{O&A-e|SpI9`#~
znR<QlVvyO6_xM(O%ltXZ>|L`iIPKNn2Qi9#-{$0$p6^xs{FTFCvc-vYZ`dbRMiqF0
z+|3YQX|2;9`*=ZiG5<vKy|Ri@w>!+UjE^0>cYQ^5e*Nyhzj-%wS#Z4HEH84p?|8>7
z5taqr-<VFkvOmmqkMH*3uT6VDu`OnwT%#4=?_P0WUiy_l>+1`3vlK+uWOrBHWlT}v
z+a&zkF~wAuYnB*G!}^@K=OMZRyV$;`T%IlGR^O}~q#z^9bhrEW>JRxQ4q=ZJY|`yD
zrrlk}>dVD+z%%_G-)4a`y2%P9d#_G>I?MXi3&BP2Ru}j3HH&Y*e&~dUMYYg{uUv&c
zYlULJd|hDSQM!!v^^C7E!UwNtWJC!ttaw#+S>sgFrL-{L^mXg63Ws0W{D^VaDZzQ~
zE+)(DmAfm?cr2qZz@l;eo-+~d+cF&|H!;lF_WC=^`k7)+u5I3bS#b9Ab&6U>x-*VH
z{eLeouH(c3Q!a)H^D_@xm07x#RDpueA@q>K`%mR(C6}>u<}6Px@B5U`z`)SES0T(m
zlY@c5lcOm`fyXZGa=Hy@U}N)4u{Fu<nFmz^LH+vBnPMz2P75xwwDkL8eO;M>VY|)t
zBf+*jdb34D*ccyJcRM~13~owM;p=KNo+-q_5N4?BA=byw`e4epNylH=JDZ3#IpkZj
zPd&CJp>DUF=Br<`(~rOAX6ShOqHe<TX%$-j+<LvBq_g6b;UWhSwS<nO<trWk_dS0o
z$H{QOHZ(p5l*Ac1n-8=mJJ%cPMjZco-+gO)&h=YTSJx>sDCl2qGMTuXbvmdVVhAby
zCK1T(bil1#{@wDz&>3<ixlco19_3_U__eyC=fx+D8yw9HmOtk`$lj;VAyaBLDdf%@
zJ1bp}nw!hmTMt+m#pp8}i1XnViUf@w-${4mkO?&8nD?}9*73LZgQvWB{A=aWS|Nsp
z@{rkLJi@HL+)M#elU*A9T{{&7XNui9zqp>+{jcAj*|XcLRT%`PW*&?>*K#o9kjp_g
z36=#~i2@bVlbw$j>aRU||LMJRceL-SGcwFjy|pD_g$4)1RL<rD+D#9t&-rlgn$85;
zuOqf*=_$iS4;L-SbZn5h^|$Kle8vSrjsg#CL2IHP%qR#HV9+ww<+v04^frs}OtBVQ
z&L##2wPmc?D-Codj6ex_fl;Esi`?tId7z<?hMDJD4stlTfgNL%D6pd-N8>;>XzPaL
zOtB|Qhqff#00)oZ&v^+vV(k;=D^$$ObiCpGZ2Lw=h83!x4Hqq3oS@9(WLtOr!|9uu
z2amOxJyGR2_P~zo<IZ>{hMP0RRJuL{3amKVB3Yx#b7-E=o-d_oQ34&l0xS#)i`HCj
z(p<D)rP2yVftKGbjyJsf6*4COwm#m$wEd1YV}pke_qEA}Jj*(odJQ;sayEUKW55BL
zj4a}Bt?&tDX87}{vNi4!C?H$r<TWq2Uzo>~pCi^OFkQjo-pyo}yUvPy$J>|~M88&O
z&WYIM%e|}%Y!HXXhkbF}&a-a`^eb5Ozvp(UYf@l1Q2wp@k(Dr8y0<uMqYaDWk2wY$
zUpbm~?x;T$6=@dCz|d!;dt&R&%T1b#7i2ni`0}(Aw>YkF7Kk})xM;%UYBh!f#q&ZR
zohs_dI0XtYfyoLSwH(b8qSt$h&%S+}vw1?d0tdsJBU=<!FX;ujV&fiRmcMDm!nMzZ
z*c8>>?;lm<apD8H<G0Q7BU2Nj3`#|ES{yqZb(#!Y98WAw7ua%8w)wYuk17Wf!)_zp
zh|4n#ES!IVtlBV5fg>3->UcI+!dal_<s0x2sKi8bZw3aX&pknxdom9S1#S>zOXPJF
zc=qDww;8R<U#?aMM+?01muRV|sTO58uq7dMV!xoSFspQ;z%wD1?~mSB+a?M;5@h)-
zz^2Fty8G7Vyt+)F7MIx}g`RQ~zMr{=Di0|fdAQ?3O^aiMzW@uvk5gL`d;^!Wo_0Ox
zCec#p(|xdN@8N{xW@$TRj(5HiEy<uOZTH#CK2oN}(-&j}GU$sshm*|S`%0TTTE1K8
zne3Ol+|>J9ZO{2`5eA0ypki!A=D|%MhcDze6i5<cOVk6ctQL4C$im2Q>{E<T^p<27
zZ+DP&#Vn3e*BxV&4<#fUa_;Z7cy;*LH_#cX>KsfAd(LlBFrLy63iIP%cpU4R4bDC7
zRSa&vFkc~JwgE@-j5TZwGfo?O=1g41x*eR-<{L_~{hT4yQs-97apzc>jqTxt$Ma6U
z19{-F5BD`uRh~RyP(Z~AGb?Tv>~@#F`{r25gSx8LgU6(Iy*ag4m?1&;ywaZJ)u7n<
zFhk*l?Yiz7x4ofhg`TC$n7?1M<}rIW^No`L3&V@!TM}Xgm$7c|208COr+vWb69zYK
zyjV6V&~U@Xm2<t%8{DXv+4O3U4<m!Yv5U2`=M_HA<!rXikz}3i%^=8rbFKtOY3w~Y
zA@+y+E_N5pzGd0V(cJr6b!tZ=1A{?)f9Ap5#SdCnI+mGfbNuQ(7^U1lcf(Czw<Lx2
zU-&@kLOGfk7>Z|zt;v3Bxac-0C{xUrF(=wDKEHVTO<%Dlh4)f|Y|{KMQl73zWnehr
zFY-q}aY8IdQ_Z2TL8nhVcF{lLxJZcEGATtO=Z^Nt1Am1X5@atom9Cv7Cc?V@$2o<m
zoz@4AzF2wiSev=vnO_CldEegBtKa`fVYeVNBSXR(<HQddfgkvSn?sa2n6{_+@S2(J
ziA;RfbZgl+J2zimv+LK_{8n9kc1QcJa!5RWmzgUj!YVJowo<`~=ZkgI4TzqZjyx$_
zCMJG3bXsK1gMXY14B2Pw+(JZZ4izp+5mV%tG&?&(e)BRm{hW%+m)|6t<)j%a^O(Jx
zT6{5Z83O~0w5N+>$QcDTCWa>oQ4``^4w}!9QV~{Ux5&D7<w5I9$8$4enWd#~#q|6+
z_dxf%m)i#?RtAP6hQ(0<A~lm&IvNSEG;U7w=Z(AZ<(aIuQ$q32*gt=sKcDo!F6pxo
zYvh_8?YrvbjH_kYK*n#_W}Nszc+rD)A6}t}5*%N)Y4Mqv?FB8SF>|-Oakg%ck7LT}
z_+<<X499+_L<NZ09Jrzo=+fU<r##{QDT^C-^3rboxOe!JKt-bSZ2!ucO&VeMo$uN+
zG8{A1jkw*D?BaS*_=sazryTRi^QOnv-n=hebL3dL?`rc6>u;WUw&v=0Z~fpmnulty
z{1s+kcqGhfU9d!BGl%H`uhq-h@^Ah)r+bL)o9XPEUqoKky^M<tUQ)f{w>o$bI$PRS
zSA(l8DGM|nrqJav`|kC3x-)dj9(QbMtUa4%rtG>WepmQ2k&kk({z<wYdCk0l{k!>#
z^Y2&f3r`FXdE+Cq#N1Gz<5g9oVCLc9v(COZHL^*$aVBk9N8yKA)u}oc-!FVOpMl}^
z+J8BWm7Pt^9nEv5+OqBX_W4xZ+l_8tc;9FDn?>g~)a(5^_SM#GbL7fHdp8yCf1`Zc
z7VMLv3Nu{|E<QEBPnwQwCv+~ieb<$K@ICeRmbxQpW)oBPg`2H^$8CMzI6o8=8B7dE
zQlcg(yBzd9;ut5$+~~C_zvBL{lwkAIX%(%#uflUugk#&1XY{YAIKStq92WzF%eRcE
z0FgO9GEZg+aD;@H9{xR3)~svs=83*;SL2pdOs`JU0l9wX46!FOs}lo6Vq9eIOc&sI
zlXcwTgpJvzm526D620Th$dJIl=t0u;Mh}HG*~bNTJpP~dpw?{f%Y$lWS9gXRO{&&l
zaNu3WTKTLjDnNwC1+*8FxuV}U-!4^ow(QREOU=L485rL9itu<Toblvfu{gfW{QHd~
zZR_u7|7-#2tp(|=iV6_%Iq;o5S(u6O*p9nLw(Pju?VD54U#<FmM>`V(!*#vH01=-f
zUlMqf6b?w4?aSWW$XmN3{M|`g5eA0KO?#Y0d|sLPbhbS1XkakB`QzMKHnTGi<02<l
zYcMc;SozIHgG;PXKZdjQct-<+<=xu~TYt*7^X7CM+-s!%{leZKzuB~k@|!LHT&r*u
z(K%!CFq=uiA=hmG^$!9}J8gcQ-4(y?At*q5l(_Ozu4g(u<Zs9}+y8rGA@A0m@qOU1
zKBLB!_b$}nv<UA}dxmorTP=4#R@=dw{a{}CJ6`L1#`!xzzPQ-YWb-vM<F%mRQCkM3
zUnRxnuiAF_W+k*Kf1kDD``PSw3mF(d$A-spRxy0&?oDnuzayWCfuRRH6$RSI1v$E$
kfq_9p9dwi~E}{SYO6=Tyty{jX0Bs@jboFyt=akR{0M&%QjsO4v

literal 0
HcmV?d00001

diff --git a/generator/attributor/main.cc b/generator/attributor/main.cc
index 809fc90..4b1cfef 100644
--- a/generator/attributor/main.cc
+++ b/generator/attributor/main.cc
@@ -14,7 +14,7 @@
 
 #include <llvm/Config/llvm-config.h>
 
-#if LLVM_VERSION_MAJOR >= 3 && LLVM_VERSION_MINOR >= 9
+#if LLVM_VERSION_MAJOR >= 3 && LLVM_VERSION_MINOR >= 8
 #undef LLVM_LEGACY
 #else
 #define LLVM_LEGACY 1
diff --git a/generator/coder/os_generic.py b/generator/coder/os_generic.py
index ede5c3d..180016e 100644
--- a/generator/coder/os_generic.py
+++ b/generator/coder/os_generic.py
@@ -114,6 +114,18 @@ class GenericOS(BaseCoder):
                                 extern_c = True)
             self.generator.source_file.data_manager.add(iddesc);
 
+        for res in self.system_graph.resources:
+            iddesc = DataObject("const ResourceType", "OSEKOS_RESOURCE_" + res.name,
+                                static_initializer = str(res.conf.static_priority),
+                                extern_c = True)
+            self.generator.source_file.data_manager.add(iddesc);
+
+        for counter in self.system_graph.counters:
+            iddesc = DataObject("const CounterType", "OSEKOS_COUNTER_" + counter.conf.name,
+                                static_initializer = "0",
+                                extern_c = True)
+            self.generator.source_file.data_manager.add(iddesc);
+
         events = {}
         for event in self.system_graph.events:
             event.impl = EventImpl()
@@ -206,5 +218,3 @@ class GenericOS(BaseCoder):
         multiplexer.add("\t\treturn crc32(OS_all_CheckedObjects[arg0].location, OS_all_CheckedObjects[arg0].size);\n")
         multiplexer.add("\t}\n")
         self.generator.source_file.function_manager.add(multiplexer, "dep")
-
-
-- 
GitLab