From a69fcd8d009c000735b4a8eb90c742dc6601ecd8 Mon Sep 17 00:00:00 2001 From: Matthias Koenig Date: Wed, 7 Apr 2021 00:26:06 +0200 Subject: [PATCH] #134, label added clarification text --- .../level-1-version-4/images/uml/report.pdf | Bin 51556 -> 52839 bytes .../level-1-version-4/sources/output.tex | 10 +++++++--- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/specification/level-1-version-4/images/uml/report.pdf b/specification/level-1-version-4/images/uml/report.pdf index 8d9fccd8b26de2d61368da054833c0375c838176..c67034c44c243423477668e1e7c8ea0a7e057ed9 100644 GIT binary patch delta 35681 zcmbTcQ+u9m7q;8DvF)U3?8df}#jq+Py!@zVef4TxR zBY~;hp734ldGEg5;RuXK6<4U4=jK*ExdSf8ek zYWM2wyW+V!g1Kw*yxVQf*UDu1L&*>Dk^#dS!gsRavY2UR?KdO_7Oi0CD|mLtbpy~8j6>Z-kjf)FCox@Ypw(Z!#EGUwCdN0-@+ zyfHdHDfe378JH*$bzVR4n!?v|U6`{L0RjGtbDRqWw?15{NwiSRlFki0go#Uyk|7dRmly)_^Fj4PIa4hHyJieRN56X^p>@4E6IG?#w*?=d zm12vP8GrY>d?O-?niaqA_}B0o5>lSY`S$*~=oRzf6YT?dAy@els;JVVL!Q8)=h|%? zqG$o{tibsk%ZhoOmsAu@f?9^I^hP-TeN-6u5CyZd8y57nOW%r{y7D zKKU!hnaeYejz66IkKMSq$RDd9|7W@zE?YIsIav5wg40Nsrhq86yxpOT`u4oO0wTPV+4GALkifg=DQscKj^flx~;plH-jv4=|EBG^zzM? zoo-4SIz-4-OJQg|Jc!$ze~)#pdSyPhE!z)1kITRmDo4h%)$8?qi%hrTv>3LRna=IT zC4A7A^q_wI{Fv&@y$x9>=gr-JY3dMg?dEa=AV=3xaBw|2_9xGv8&2a4>^Rfz4D_10 zJQg=aOWQUqt}4mR3ZsVu!Bd#Io}F@G>e`o}(~+htmQG(qxW+GY{nN@V|CuGp>v*`h zaTdqTdPhVjq8znsYoJUyk3PO9*}x z2p0ZRE6R4-@KqYO3t~d)dZYD`MMmBEruf68Tv|0kgqY?M z#=pBLHL^aM>-tG|Np9`nw~T>!Co7Lx7QuPgT1H=zx%OmJAJi^ghGJppXfvFTwL)J7M%uw5Im2k* zS*91BrYH`a0VqjZNQw!!o3#}zB zq@!Yd8_e36?B~M|JHA~(D;`lhHW$T;uVXAt0-R}OaK|W%lJJqWsLJ+pKzqMCxWEj= zjNAc%F^CsX@6i6!&V@EA$Nr|g!9NKGK^Nf3mM`sWoXvJ&|ISPbDNK@x6#QM3wCbn9 zkE%d!G{_Az$U&&@d3j}JB&e9UzfXUJ!|vduITEHQIxfuO4ihFMDC$5Yw@5f@!k^Rx*~dTXbhjT&_n+1xL{k+K@P zby#VvC)pKDm=u6DGGq%lbK~D1R*Nd9k@7!r%-2@L5trx)HC?eLKP~F>cYf*@3b>(G zbD$3O*saKnf+H(7BubTuyio2e3`n{w!feXRXGpp;!4xM&{hXyL$&*E@Hhi*Bw+K76=}2j@ifcSvLpsEFf>7yAW$NI7f6O$W%bt!khJS)sNKW7!s=|^Ss;> z&~A=G8@)k|+jJ;DwGsCx47~PUz1+_)RYf5-h=rgy(ns9gZvXbxg)IwTh^aT)q_62*nrQfwW_1r2wA5M|6x~0!$w8^xD(Sc0|A2J`-1u2CulUEA z+!IW%7~J0gf29$2_koJq+#iYIl{T1Ir3W^&+hkR7D3z+or11{ zF6*|@x;4&C9PV~{7eMqM!hGof9De*FGM{>J)7Q265}=_g{s*zB3lsnb8pc9+a1uT!^{OxwkpgQ~Xtu z(ou**s9RsB-*zd;|8l9^D3rNmPD`UzOQ`V7O8OjP4Fe534S~{K%K_$Q(d^=-%3Rzu ze0!#k@T6X->?hw)ew zjM*JdhdLwn_D`z~B!#*SmH=A0^rP9}NA zuJ`@r|B;Ydk%&-PMo?h(nByYpDbAgV^k2`+3roLwh=Ui2}?&mQe2LosJ! znIwB*+>*^7+M_Rqzd~U{dTAoDYT!msYb0|jH%g&k!0|hxMO7*NPmIyXcfP#yWK9>+ zkBczOd2hgl)1}r()eq)vLE7CwoVcX7aeE%tY^KNGHOVlhWMHf+pl4fh<809=n|{bk z)*q@}#W%){6;rKClCVNYWaMPqWu*=qj}0O9etw4cQ14KrT5@~{Zh)rnQp4T(l%Og- zE}ueyWXc%Zpjg{L2ClB6(gJR>z}oO($y&%Z$qndsYi7^Yg9gDarDYq$XrNZ_P~~G^ zJHvMms2LOH+}-WJmn&FcHP0VU46tZ`Ee$9RV1~Me5{7Pu3gGA|z6q^y%<#>eAm>eD zMH~G5_`_ccN{4k$67(%c`5+ALQJ*hXig|}bG>=e;W6MP3;g=;I6<%l{m|G8ic!yjX zW(HOw;7^e6*^|=o$ulAz<;qIYoN_|v)|rBq8?lNe0vE4DB$({*@qf?@dxI^wz*MR6 zyxtS}f?HY_==&OCkFA<4JP>9pG|v1LtT2*G58zWl7}sL>g1wbDcf%W=TY=cA9Dr+9 zgu}$=H$i(qjG2X&x;vn(8?lhIAG}HtH3u4@PQ(y~XN7KT=n%ihNDyxsG@zN(M(J%( zOfISYQx9b*PCI={Px5yPsn4SN&CdLr`~D)4G$;xN6Ormde}+*2RJGB=j>OS;5&YJEKk+`6ADVD>%xvDGmLX0wSB@&!)OCMZ2#r`Fqa}?V+DOZ6-?% z-fr{ZC!YRw+4o$^zvrSWkq%ZgI6maO&f~s9YRCAfRc%Ig1K}M`D$5wAxL3sd>xt`W z8FY%@#Yr(--p(`Ay{XW_M)`~!l0<=@wA`4o_i1t8e?E_UA_qDRho3eEs_s`vBvTfb zEFC-|Hte!~um&CwV?~dmidnQ-{47I4#uH=h@$~uCw6?s^+HELTnQgXkC^~&Ro#7|s z`a4H&U_E?NsPjei!A!SsG>K=tpK5Q)LB&#^8K;M%a`ILwC7;muG47nimPtb3KTs-KS9lD8s zU3s1!x*vrsu+KvMtQ;0y1x412Z4_iDzEc&p1Bt)=Sy=|T{5oRM z1I(o-`@d0%WcMb;8&;3vne@ zs9PtiKqbOy%eaF zP8-Qq+u@_SMnD$j5`B-c>M6ALHj@%?lB{9fq;Lx+$!kRn^| zw3i$TJ#OiV$s~w~i0P*XxDYXDq}7|eG?i`ryx-(o>C#YyTMUq zq4H`pLDQ771uHNmQ%8j*<8Mq!kYp8`!6`D^Kx5URkify4g-{oY5*G*`EY246m` zR{je`0-EAS(ok724n?|(h-BhZqb$n+?qfXV$fvE8#3;_&P2wH5bQy->o0QMPxI&Cv z%w!*SP>|ysWos^gfO7(KOU-#J#km`A$USA~b~`sG_+=x~a!BxGW9rtFAJ@6UH>bLv zan6F#3G=gBvSZvqBDo(wvtKgO*<^4<4py@>dSa!bxi!5IZgz+*pv|;=A}u4Arg)g! z=b-U;ox;1asbgr_K9CYdxAM@JXIigwXFUt*m=H6Y4$~JXT7#-$XK3!bbmH2}zQ(-S zS1_&rfR7B7hJa&bZDjetFG?Ocud%Kkr_XTSdSE3w@dz^Q{pu`8n3tAj$Y#1{9@sjV zC>6==d0lykVWoZZNGVl7s^j|kOyELAufi5uqyX0i8%@j`Obw z2Q4P?BIpiCLJqjTs`yxwcXf~E8yxZ^0$KI?sI3$4$;NC?G!%=3N&q+yglR@GkLA0{ z1NbW=Nfy=ybJ?Lha`=TDYZ&OPYqHGZ3aQ65cPU8wDfQ|@+eK9@)sa1;ZiU7v&Zh6u zPtwzJ5wqf9qn5JK?mxKE`EDYH+jJ_qNSCQP8{7a*9L)=?T(K61m)BcmaB5fT2kLPp zJY^OAv3d;Zp`1lYI_UW{p%$xtwnJ4EUGM5>~zQl2i zfCT7bb?`KC{mR|^d-TauWVtp90(P9*Al90Q*D&JluATx8hnNeEra1HnTpjO`?nGL| zzlhe?&7!Q7=E5n&HE{-%xCvo?iked*rxhT!*FRkA2Q_CtR)G2fl8s@rK zc1ti8FPt(8jcw3vqHH-<*jKJvac%gmn}B(%nAnKe)(%}on!XLfFi(j=d9+;pwV zNi2n*+O+G$|HvvgX*9QG$E;L>tUA2}RTnTH{EqI9-zWeppXEOa=Nxwn6Y#5qe0t-U z&4UcT78SG9JHI6laYsg}XQe1xcP@R>MbZBpY{zPZYSs~g({X55DI7nHl}VXSd%EG7m4${SFh!#>TL=Djc}1s#Ra4Jkp0uy0nc!PRm%PTDda8Q?a_EUh8`U%9 zq_n(Axa(Ik2NRvLSz=6>NCFfidj9%g8K|x_E!T@{G`SIc`z(hra zLKC(u{c|xsaiFV`1kFfNifmH!E=xc14GRUd$RXw~zkNp2-?#jv<71 zid{bP!6->P_Bn9CHWtzWa*~1wt77Iz;);^<<43@<{Zo514tsm`yP;J(<$LGyGf z+UU&wxD4tZq-GJhU?C9ol9;We=(O`?!#tY|Viu`;PqP+BG8+xRUh0E+uJ+2~bO)wP z?>nC}ODpre+eY)U9tTY=hy=^W_69E|2f>%fE2=xU%kOY;A5MaTYYLC$$?Bzk39mpiPn4`SRLzw(q)XksqhN?@OkaRK#e{GK#H_AeGsm0|r$ zAdU@LwoH;!z*!#nEB1%ObSuL_d#`1%rRW%4Uouin)w)YY&cU?2d*2$ZCfP2rr97^D zx_njvtH(G^X%7B%=&`v3#%YR17P-iDpO&=P!S8j{g}R$8#9F9_zU2A>L!A0C*%G~^b3USOTf`X!%E(Cb2)5b5!Y82TTpx8|wB#LGaL$RJ zYQ61CQHKEN^XA1e&0K8FJN~QjwvUNuJ&kl_htlyO)W=66ZXFxtI`Arsxj%p9TNo&= zh_b34j(t-Vn(G6zX-U0%wSLp4JuHfzIaYKl18gULzvnXU$STdn*KMcsD$rstz7 z#-|Bqw}~ix9hNrntY9~U|4*iiI&dzTumT|kAldk#3`vnf~3XK)X|#JoQwld^w~Gla97C<{~}cB z;${{*(K+aST{D>`#C19fBeV=eamw7Nwz4vuhBjrnh=*)W4*F9*aex_5| znqA75h(Np7^f>2@-C2eQ)|hcfS~3rS90pWJ7C3hhh9;aRoORFJxp(DHr%sM9raeE6 zfN^IHJ{xWVcg|05HoM;&dC#-4vo&xEa`#;p`vwvTmH)`~E!$YkLUv2iRbkf&k=xe@ zymibnXJ(3o<%yj+;cY*vc`5SM^YfVNLzcQ_N#RY7!ea`)MJjzeEc@a52Z&o zp|O$GsD#GCZTs(_`K_Yt9-gp%l7I)aR-C3X8DTz^wO>nsL}*x3r~uIUDl!@Fy%H+e zWN-_BkQEwbOPI*VJ;JpUBH}k)bOHM%C?`TTtC-?p)TPvz-!Y)cqgTCgFR7rzzbE}S zA+Uvqw^m#~^!ezLjx^9w%n*?A1>s*3#~dd;u090T_AiG>w7 z7|me`W4msxOKQ7z3p8oj<*E%eSJG_g41-JrG<)|q#)*7(Zr)l9x=eBGv0R3vMlU|u z8;rA6L@~Ebd)B?ed^>kZ$NBI0t*r}24@}65ofqK7SM=7ay%+c*rnU9L{l;(I?w^K1 zRZ9oy2hZQ=M1A_Ov~keCOn`Um8>g7wT-;FwQpIZ5-HVFKUaB?dVnh_Ng9(6 z!ol&PXE-RibHWm?cEd9%tY0V)&TIb^(%oFVGX}tzTd5S0kg?spk`t6P^?WoUZoTBr z*?N~#^`vXlRh0Yil)nd@FENG5bfwZRI$miRy&-V&1=yIEQ_j#r>jO;vM0S-!SL$n| zE$T4b0cc2DxEM|+B^mQal8Wh?^~P|}!l8xf?j5U>QguT%xHJW(<;7fs)jMYY8i zmVdHMmmd+ltsh7)ppH)o+{5Y-8axF zEMb>5l4Va|iquRFkTB-*+eoMSEFQp1OXJ|@x(sZj;WVu8;jB`Wu414M zm55m?Dq-Y)j~X*F){%8)#*TaZ`zM)DWYH>X-sno-3eUO%U>Pm3@z%R&(x7fhp$4m@ zXHa&MFBDhrlyP#*W|F|}K-*Anmb#n@NjBAZBPGKpi1kNJ1+`b$-L%S(yW|q9Nc&rU@b($!4n1|cm zGvF={OK#H#+=9j^xhR$_8Y^ZM6`9=8#$6Qq()8M*(nF=u__}n}wY+w@6$&LPo(S$F z^}W)85wsNC7!i4pSyss49<+?{FCJ*n&;IHshWpLf-JCf9J(^%3$t1(}IO>?B%a+4a9CIcOF8zW=S-&#YO%#7pxv={5Sa-D1FKp5_5MiD0}HLMAyg>R&ld_R#QPN73sK z>d{o`Qd>tu2~wNq_N2ORsoT8M{4j1nj)dWclz)`&Nnah+7Az$xAM1eU*j1eU$;v&z zsD|Tp6QwP(&BnA%n5OIYcKIK|l3PN{5%Z6G-_=k4;5S`9*==vNS-!dPZ!PA_r0_87 z@jSM5LYN~);^R_s!5tb|JL(uJweyZ~)70>uZcCY6QHnkG*vEXyvj{bJzKYhAQF%wx z@1YMpwyYYlT)Ne-in%^TPVs03MgUE~J$Y}q;UY`VvSV-AxL#Ou^q&LcB|`F^&1}2} ztCC0HevkcUhMOlW1x4nBn{!Y5R#iHB8g~n4k!5UgtZpm>(vV@P?9ZqhnK>2$7>ZOB?X}@V z>ODNSio4ck*y9j6+#g_<3=H3+jKEZ(H_>T=Acp12?HVu;0tu8twKs$zzLr!&J)_k!$IGep8Eu@gISBy&O-)wWJUV=0Nm`IWw6oPB%eM z9Z_zn0+CgUZ?>hb-3w!-2TJvw-?#~_SKv9Cils0D{Lm(N*4umy*0Zy)-^zq}MC`cPX9?8+t^m#b^#TRR@BJ!sH6LVD zsyaRWL}A`gYE=;jyvW0hkK+nZ^KeaLgQBYmxL;~Qfe((_D-M_R z6^;`}N041RQW2rKV;k2br@up3%HB&h=M>DW;t{V5ks?thG;Kd&zD-=#sheyhqpO|c zmD89jFl9RBIt4LhEDynTDWA)_UA|-CqH27gqK``#n2iI@Gb=7%?fYA9MTT2X+em<+ ztEg~~fly2!uoib+|0&T5SBI=LzC05?Mt^zm73Q8e9+g&io+u?Hi*1c{-~CumnZUH? ziaWK;ga}SfCnqWE-Y)lZU;Mr^yW8y~21d9Ncs>Vv@7R7>PkaM)x@*afa+E+Od06#4 z44~bxFN~{-JZ5n^HVnv@xFoYd(7kJcB{*7GARxBRN1#*I)F zF)DXA#1jaHFo#$nOwVIHQtSG6$@uR&!BNm6&;Ll)kA4=OSuZlGhB%~z&<^KI0Y4LDn0ZhM9b)P%`@u6m@MII+|goBO_jf`j=4BJ^w@7GgpXp_EXq2-wk7z zzswusR^4A7JiF{^nfx!Y6A`l-|F9}Afbc>m^y+26TZfkp_u}yBbM1+$ALW4YY6=|# zZ3Cx>H9bjQiJl45>_T3{&eJFtl{`}M-mj%ci0732*iyO+7a#6(f9kAmpv&5OM_L0Mh ztMlo@&X=@@P6hLo<+3R}MO(7U5_L;C;bhW>oiPyck4$!>QQf2d#$`(4o9Go=*LnW? z>+a%v^^nh|Ni=1z4^9iJt(3hX@Xg~R@7Q&=aNeb+^S>*MsD3A)T*JC?6^JK@UU&5f z{^sxQ`VR5@?UfUaGYo{d!5{Sj#*U|fzodR?QR>$tnJH)=dt%PPcR4R75VQHvz;oyg z-wHCa@8=d1SP~zez9esT+z@x-8F}iFe7S0Z|GKOr1W?_cF*6Ek&$k5m~`PD~78B)jp>K}Hz?USESxsy#@DavJXOlxNyCHl;Et$QFdJMC2g2 zQd)Eigw}{L%qvxWZ9*5Q)!lyCUZZqCgYHYw9=GlCfgtu6cFV57yWhk`^ zra1^oP^iHj#e?y8lkx@(1FfYL$JJpYcsR@DE#Ont#G?+KvVKzJ{X3 z)KL^v|KtX?F;JY;2mL-6tK!IK>ZO|Ib{0PA@4pP?k`xRO3Hx974E{xxLJpvIz*t)r z$19}Q9Gy$>3*YESF!eR@_mR>J%@)lY(yXJf%L zsC#&k!8C9ge>TJLU*72rDhrPE3TbBZ@FyXnMa(@|$=k-4nxO%|NJ8`*m(aMf{q201;uchF5grA_1Ky#>Y7Lx-iTEh%THy5R-7vQz7Ln!4ky z#Wut{1Dq4?;eS5<9iI?g%OS6vL$70pZ+Bls0Puy# z)GHGZ75t8WN|!H^+fT`1HC^}NLdsK=?a!yq_194vunm00tEYo~keZ9q};W%JBjQ3@PPYW1Dz{XZ?d(wn+G2x$vLx z9-r&|Hmg!zq;jI0n15fv4V>Kj=s-CK4C6T1>MIw?c{jlvO!63MoWz!gq92t6cDtH$ z``Bfc`gPPx#EIwA3m7By^j{)h$Xrh{3b#_-Wt%70bv}9{nJJZ$^|gOr<=kIikX6}f z{>K5wpS3LzeCCk4P#2K7SBTH}LeCXX`&kbx)f8tMQuhPOqLiimNQTJ#FTnS?pQKr^ zuZ(>`O`drxF@BuE4t%#;ka}QvDL*=-pJ>rhh*6I&S4x)CP>+s%D0eR3nV2TN2H7GnlaT{!p)vUTMi28s!qvfM!jb@SA1Z&}uLFY}CV#)2V0>p5G+u6)Z9Qe)(wbIy-+Umj2!5r+Swv*`|gY^EJQfb=v;( zR-2bO$OU4%Hz&;=pMELOPw*{@vQ2rNv*{~_aEl8qoH#$3W?sp`0WNB{`&xBI^7UQx za6%th9&2z`HYiv9F7ap7Q55?1%wjJrQP*F|@!$6OF2Aham#-4OhH|*oM!M|6i>7C1 z`2-Xs@FbqPpO^R29l=~0h2=+nh8%A2qZD?0h=F*l3hH0$zR5s@NcXU8uq9z+U~tr8l?ltFKavr4|t~{Pp%v7 zTlZ}p$zuVisADb4>=%;u1~GnDx8%`$zdJ)g_9aOw242B%D1hv{UTz(imYfG@eyMKr zy0{m;ciw}1Py7&5u|-Q_lJV5pz5DR9{Ti8+b@s_MJ!(H0fI$Ew5JbPuoNAxipWYN< z{I}xy!lnKx`3CLkd#Bv9qo9~|$8dbiH)xC!7eFtslv#$|yNq%Sa?8>e2-fw6uC6KK^O@t96n4qrrNW+WcbjOM(f3A@f*$ku!uW( za!!gNx(Lz-=6^Itdqo_h>~=nDQt>2h%SnCh^di$;#q)7b9zH4i^eTBr@eMB>5_vNH zE<`Be7p(uxva0X_ceTgtsvKhdLrhi1E1dMw$TW_$X5g2@p3X#cXR>A^TQWIz=#pv5 zWc%xe=fFg3`l<3?58P_ll*7{qh-JQW!!nZD{RvhS_=5ghgJrGV*@C~ziWp`y9F~iC z`g9?1zMhvuMuN?WV3cpD!$>Y5tVla&l+?{#yf!6pqpV~I!EIev!n&OCI)tP18ne0Q0 z*1)ba@f}Xj1+Z&me5NbZ9bI|aVn7iLrc?7xPzgm`g43h`94d#)2KmOk_x(@Zr;aUi z9oYWvbW6|Cq3G&$qfRV8!5mU*g#cxA@cv)JgvZ3#T34HM@Z|YVuy+!|LyoXAec|3u z0QV}%CalH{!o%z&J^-~P| z*oTUM9}Qn4Pkhcx?@U~7#qu_xi&K{gt5C>-4>`tUHOX?2}&~ z|0Q_NAnpTm4`5W=1DE`D^|_jN7a)NO47aOi7LMr8j8F1Gea?1qkAeB64*OO4g4uu% zXM@|zL@j@PL39&dq6PPY^HFYK9V1@Cx6^_RFpGa8P zuf)w>iT`0A3_H2x$GCF;hu9%$ANSW7!v{G#F!ZprKi2)aUXBxL>j`D*bIsQf$faJW z7V9Z(<*h_J$vyHA2qS$8|+K3;dQKzn_8b^n@_IV;^+>6Y}nh zWlQ_Sb--as5O&SBHl(LJ`~)!$tf~|uiRZ>DlbtEB^hjGTz`wjv7)?j9Oo_ddJrlm; z{z<4|+LW=5wkOvwfxA#2AU{oLtoAA_!F^Ry3C`###@ip4>T55UK4G+=vrszd1|vyJ@D5S;{ow@NlSI#w0$E+lf`|Qm7Nr(8LL-k&p?~;FmcTpYpJLHuPkpm$tmp>yk6K&Mo zCmyX0Fw272Jov=x9k@}f*(Lgmw;XDmqX*fI_WkVKyP@ak6P&kdJ@#hTrJg-u$+0!Z zkNKL%K#w!`*ivR-HOEFmLgIN#ylNEydA3Dmfl&BA;w%qV zKcF}5KRjQFxAJe;CbrAD2UtI^k_Cu~&?1a|dx)T)4x7};{aoDf{I(c98s>9*KUb}luK{jKL zJ&>{RSNNLx++$#ZaNZFXwENuQAF*p6Q%2WQ5|bc&^{_)*U_7v%@vos~z?;Tp-=yE| z70;V%lOJ@cA7dZ(e4I+2&W9^AXRpkfSYa>wBk}b`0l*MykOxr!;`zd4kliMOboiNV z8y>)_EgmOWz)(=S~5FjWq5g zpXkQ_thzAU99v+oG#(6C=0C2yZ;q$muR?o`d30NS%a7FSfND&47XF^)%)lAjzz@&J zqpYhtOLQ0fiS3|65C+!*Rt8nriBDGAGVN>~AZ2fv>yTHC@6uIf?7Q+b|M{J_u$O#v z9@xgb)m(^z*zLDKuC~Z@1v202)51_+e`Wbq=x2i@|Dq3TrZKggrh{;HdpAOQHbYoB z3)wdGQM^SFV)j53{iRJ2?soUiy=~sl*cLeD@#CV0YBy6SkO2c!Biof=gFIZjPszhT z`ROltt{+>qu)TNV+YcW+*O(r?{?lBi3!Q9TNLR>Cy^^0OPQh{st$We%)0#cRE=o9& z2(LU@vy5SJuN=Waf{aC_0eY}HAr3!J*!om<4Ea7co&YEwM;Iv5GxgUmFB|BDI z+IH{fNw@z$XQymDy*#6VYL&bWi+0ig8b>TDW#c+z_5Y?PWZ=t7=~)(I&%Co8c=t8> zWT^LH@&Q$E$3@k7`A@M72uSdsf(YPgE)ROILT=>Iyh}aOavVXn<}2jrAO+)Uv3DI~ z!vFjMF#5Or85QdVr?0x|blc0Q3|Q{M-If~9gfxi1?!Qy%BcmJObA$A_4na+hn{&QG zdY^`?L)-0hki$({YP*RN;s<7GjCkMXtG zoz?GDH->l!IAl$^0@=OKbrSqHM$WRP>wD;x_>}Pt`C8aX#8C5A5kh`akxzi>F2z4F zxKLvr)}+N6PWFU-?84lhxfe)Dy8rd#N&$s@R)1fH`QjDXXus`zd1U~4kL&Py&Izv4 z#=M)&+q2O@q={{f1dE3?Eme0pZd5VoEm-WTy_LG-)0TgsH6c~(%-ax+M*e}Lw6gB$ zIic>A8+Hy3%wcLEa**qUyek^=4B5u>BJ$41yOG&622UQe#MFwc&~km#34cE3HV7(; z69juf-u08ry)kFY*B$_NyyY$6w=;t;lm9+MdP@dBY)kBV69e|X++!&piM>T{X{f|^ zt5-MrxA2NbLp3Kk+b;;mpm$y18Gbs6_MM0EwOt0_(7I%tqWybiz>w6j(TjcNJ{4lr zqozn_BRv;41;sLX{GWwkUPONS6qG7@(!?~#KY93EUY8PWB?jQvId*K7|E=9U=J9h| zLG{DR&;1}X=Sr*5Ud34_T!B%)eR_ZR@Dl*G3iiQ}ZjeT!nxwkM-^soNYDB_*Gw6es zh4KhFzjgU?bLY%YJ1X-`i`c$%G>SZxNl5}>D)TBuUok5A=%c?PwxgV{w`q5FrlUFp zmo7bGKau_xe*vICxlgEHxq(ej7#J7SXNg}(C2XQ*7wW0z5e07On#_zX4B>xfp=v`7 z?I|KR9;`(L<{RvB$o6Ep&{o!?CM)?t2uvp^k$X-6*w3euJhP+K(8mgdP>OBgr+2|1nl z2CIIalyZfil3T015tJYs*ktVQYk*|>(F1zZD#jE$H++|Aguyt(kH}dO;{a`c`o1Lp zNTf@ks22i{WPJUwdJW%N2;?%HRNc zccc?RFzN_BmwhY-*w=Ulc`wgf;Qu|HQ9H1uklLcz{%hSNZo-H^=%fz45tv(I zu(zp)U)@+lLsv(kY8-D>#w1bv%^$Z01`90Kz^r>E{_bkvYRyG4G>sZkGmv;$Jh``W zF=5NF8RS5}`PMgHYZu{sb5?5~8-eN5Ydgh=0Hbx06G$VuOJj6v^TKkQq^<|P2JiCI z0`3IC6H8M}0D_+RG0@ba7Gp@}(BmxTf@M_~u zq1RByqE{GXq7K0s#|&J1S|0M~lOoi~QR;+= z{Tu%ad%r7fEyg4=V&&2dR%LZw_XI$PEN1t+2N&I;(ZWYp<|q%GW<0r(nmC?hzxX>n zru4S|ZwRw$FxEx?KURXJczM1*YK5n0l1Gzj^SxfAwP0+7(koScSRvPbf}gHJ**XPY z1Q=Yrkw}Lw3}Q9LJWb4Bgrg7f($BU8&QTtO%-n^Pv63)aIeNn#fs)?B^X~!Mn;(v$ zuV!WE=nXu)Yz8hj)Sklfp(JevN(XwAH(LgOupMju=^4$*%z-idI7K`q$+bIW8|3oU zEUi7cUu0TbD~8w=Bki6#&2KO{HCADl^U7@@`62aIWKKnl0Ftim!k*(%!cPh8iFu}* zVW0WT^UhS(ziyGPrYAXhG-=TgH z-cy%n&k5#2KKQrDM4dp*j1+&rNxB#!Mqhdz>MeNj1X<3D>Ru8?7-*Ns`E< zCa4^{yGkQUaZ@6T6TWas|L1fo-M1`G3RyZTL%A!KCCY`k(rg4!EKArrN+y_F zIwI2>?Kt}2x6f>n*TTNWfMNk}53qIe6Zf+y7ggyw+kB2Glq=(@%beh}7Lq#o)7RT}I(xdvEhAW>lIKyP|skVD8j!G6AN2 zu0=a;J%EA*fK#VIgV>8zQR^iNJNI3_>FN ze<0*M>rSwD z|49OJtdGM%5V`*UKuqwm^AEuOA7LbVcCG^kV33G8eFFcl>|DeCFZ-YHa9-@x1r0F# zUqM3Z+^LIt(L`{F71`m0{2zXBA_eTD{15T}UqyHI2Qk$fxdxK|;WrJW@2L<5T;Ki& zlK;1IBBK8zm{iCX=l}f5w_{rvdmfMV{&fbA^$;(5Xiod2O<`Q%S70G3LClT?#{U2* zLC%Q>B~kc$W9ZxQ^MmwDWvO^atZHW6vh=uyy-?a5b|6E3D^z!C2IL2!E&6?Hlg^BF zndA&Dwes%;$`i8N42{NCs*(vPbSA8H=n0sXZ=L>>V1?hiq2K=>0BJy$za7w|0f96n z#yHlv#kkA(q|va;c*rQlf2d>CE$S}yN!74RJ)}y$vLwkW>?lkN-6Fo1;`>Vgn+U#3 zMW|FNM7xEsvjgx`C=~``kNUps!(Qvdp6tVR^H}Cnv?QPB+=xt^D!=!g02lNY|3D^cK2a13KAQ#90f4m~C56V{u()23# z16e>S;Nwk@%SA+vSW}=)va)S0f3%XBx096(zJ1ME`5>*$Sz|#SZ_b+GEi&|M)A7yT z$tX6i+1nc=r#UN=f0yoqhBA=bn^n_Cpcy(>dblNjvv&wcTC=y9mo`xrpLnKHuIQct z;8bowhrVoM)d~wld5?N;^L_#LBM>aq;~ihC0`gi$E1Mj!c=zYti^65z<}wQ}kNu%Z zr$J61^KQ#n<-G@Wv5Y<5yS!(4Z_aHsA$cwOy-GCE>|O3_f0cFy;=Iee`QAmjA9)vg zM|-Dx$9rotklyUQz`LJ!lWJJCv~!QQ3KfpRC^DM8=VY{sE>?K2_6EFJ-eTW=E?*iH zuD2+6KbHU%gj??m`S!_ZyqCCYveR zWHFgcs!1_Pezys;SjYjNM#=)S$Go zmC?lNR;KZ!8L;mD*L*Cw?QV+l8|t*If8>xxoOf2m_=Y;i^T8NTZD@0?Q~PuE~d z@Q%s})xjMpHNgTN&{AqDgV#;)T~OU7#Yol>xaJfvdqg*N{C}*)!rYM(bv5ImE#(_KhfS^7%xW z45GJ1f0?&4s7o1W40y|%GBZUfzmHY(QmoqV6CLX}jmeP{yveVjH)!9~c$rμgwbMwo1#+kX^>JOL<#mysa|cR%xJA zv^8QL*ZZpKCKC;-8Gb>Swn$MH=x|+9YRxd0y?!WH=(ZuLo+U|p6=K^dDyJqG?H?Aj ze*!!!w=B1eXJMW3EE|$z^eoSkA*o4w*>*k4j^tSXFp7wlc%jPRfN_<<)Cp6nxvB&M z)6YC-3;9Q6duYVGa{NPlkpO9F_wK1}r#r8Kp+G(J1kw!lIVMl!EzB zUK8>OB%HobuLLs@ZhditZL!WIG8YS`a3$eb=hvwZVnqK3 znp$NslV?fjlMloUlT%7a0yZ&|n@SoBFbXgVGB-C0FbZ9>zDhbde}$6IYJ@Nl#_v8w zj@!dxqS2)wfwHCGp?|3D1H@$93N?n9J^1#GncXdJVH?o+BQxJO87JM>kG1JNN#ES4 z8t|m+jdn1NN2h?aaOh3KGNOCsPZZy3kTyv}ax+gJhT3#vQdJ~<4~LU?Gub@ov4y)N zeRUdKZw_Shxo-kDe@AP-VF2R^O@tsCx*+r{?TZ|Mq%mz<>u}!tc^h(mBR*yeB#X?j z7&U5`tW@BnIY3g;umq`|!V(D>eRWPTtL+d&!1Nlx9>!(nu1iLsF3# zLjr+XI1ESEBhJQLMYfx;Zwn#3mNl#PXje7I=#SeRu0yEdP5M%gZpSqjO=7;_Su& zT1KZga2anq+9fMKKZHZ)E|WxsSbwg)q_=F{opjQjbkYgwKp+W(KqL($0YUaH!9;>A zvZ$;oIH+NeMZ|r?UBDGVhXx`BbOy#k%Gl|1FS+dX#ea48qW>7; z@=GpVJblbx<9h)djR28jGp0?RdMNqjzXOzx#4^2RU_@d`YBq*fVK`^TWeXQg>iOe% z3_l6bbLypYrc7q77rhKH%Z=d~mrY(YH?i5#1h8%q<`2!CKW%RATf=r^_-+9E@8w%0z)DbHBF5YRqw!b9_}?(U)(l0k0r{{2_F>)$a4qbDROZvZgzI3r_!lg-92}4h z{b3}`ft%O`+7(a_A4$ug3@(7nVJ>UZYPFlS+qFmFQP?TIs+|Hmq<_H_{N1O0BmY%< zAG%_RJK-Mqh}~{|8e-T=6XtvX=EJ>WgT%B;v>&hsS#TBhL4skhkL?knSo<{iocY)i zaUj<6uol-|#9RSrfEjQv>|#CHAR$Yx*M@2PAQjtKgtguS+h7O&w!rV;U6vpp(;m@| zfgcLtd>l_RyutQ}t$(MMwpJp?WaLs8D94mJ@OyX#4zMu$gD^)wu&I3p3b4<3L&Fb9q_#D5mBU$eK^C&EBsl5n5! zvG^P53F*)3WE}NHa2ebLo8ccUk@aSy*oABcTf$bd+t@v9A3MOl5c&&ah1tSUafUcg z{GBuaf5%7*q-F97`9|f7*4ow=TmRJh53N{R0i#eJmSXSkga>hCJ7GV(gTEia$4q8+ z=EUC+%VOi$uYd6OT6PnAh;3v~ux4!K0Q;DI$-ZUZv6BMeuOg%iSwc4chK2dURl;wC z`-T1ZdqDWR@V)32v&E>`Q>+l{#5vfjmEx`V`?UBsDNWihX~^edd9A!o-Y9RDpO=p* z3F@ycV0rz=hffup`mhyRSGBHf-PYQy{S8uZ4%3heL4T;g-cQEgSvcQoQR241UswY2 zE{zqie(VC|%p^98&0~v@lh?C**`vJgzh%!Mm)>SavCj@6!28@y=qU^kM&R#7!Zcx? zaI0{;&@8+q{2;2LU37^lVu3hFY!Ii33&q9aS}`uZE`A_>ES?a5#9vLaNkJ)Fibzpu zkTglULVtQt`ds>4u9yEPf2!D&%aj#Li}GJ;FSVaKQXQo>sJEy))Hf}SD4j3B)9?(m z`(cN~rDC=CG~6tdNPgiB;SH4MNibC$CZMDW8`&!18rCf2$cvP|LSHrgIW9NT@G#c zKf=4>M@*GAzQ2k2`q!z!e8MCuH#j37n>?w0yjemTLPcMW4J21$d@YxN(y^Tm?^Cm zl7Cn;2+|Wcx^kAoL^&C*XAR=L%2DARxB~V|Huz9{5_`X2_^mihIwp^1GjIi511n&j zwiFi2wbGy2B_Oi#kSiTR?Y2ZLma>puhgzi`b=nSG-Mdf^^cRO=j1MK}0+fq!s3Gpf z-@8#yNGL%wag9$vE%pX9D`SNgxI}g`)PFhv(jQw#!$j>dxJSDLF4t~{uBZ=IYD=)j zjqoYl0vp-#)?dL~$i$WNA-h1X5%$Y9T32DU@QyG>SbOIDBDZsy55B_R-(sMj{4A`N z-i9$ysjbltqIBn@hP?+ah9PhmNBIr5Fj(9JC9T7Sty+yZ7svY%jM5(0g3Japw0}!s z1Uv_isxnMgqd3QL_GcXLuV9)mT3aYiYn_RFxCOZoLvCGx`saq&z;R>y$13}sSJAgm zdGE5Gr6t8Zx)*ipS{N$yUl7*6K?&lWl}XAE;r?~pU5=Zv-G zWbRM}RCFy2Rfj|IeO2L53!6Bq7X3F>h3i7`BiuiX`)}ob2l}(Jut2EVH=`;PXN{ri zc+HhFR#!JxVRc*Wwt?Y+(`;P}VXMuKUOW2Y-tgS5%-fG~kKnEDvsD0#1AjXePYYL7 z$Nk|d>Oox0t)4tJK5|rTbya#+R$bS^I2$-6d~qDY1LCeI&jJH^GjU~LT;@7DSJzC`oGr&DLo^Z^l|H^{ z;cAL$oE3^&!vn%IR?lk0sYzQMhtZ3(wxy-Tc4~(ptva-NY;8CzUYQ=Qn_LyxnhdK) zFW&Bth5ToxbS>QK_UMe=>U0^N1V?+%w6-+v#D4xp4yr4;>R8I%;BVsCspy!P}u@&j{)1z1z|ZUp#4Gt(YztJ|SJ? zsVJ27ZJ8-hn-G_B@t?wldTNVmL8;_1EL0PBHxAa_I$KuOzkgV$MLR~NI5}O+=w`f6 z^vrPIGs0(dFJZNa9mcJ4=-7#?SKH1=Ls8QkJl`NF@i4YFD>N_;<8Wo>;=dMcPj5n9 zdOU_K8%P;Y{`4p#ct*x_!(WF#B%NIgYf#axUR@Io)vRt@J-J0|x;Pwihga_uo)?~9 zJ-52i6r2`q*ME)a@tQSt$g3Hw4=xG;25b$pRin1X*s3uTYj@(|A+&02?KXi40~-g_ zZOy^7+MOYQ7>^YwmLe$-q5uqKILK{+h38M-83SnIsS=Oi;VCT)c$~$IV=$#f(Bs@@ zoPcqX9v9A#u--F&R!m zNZNxNBgDih!a?~jxJR#u4Y4!3EuE#?B%3wC>2iBi#m)pD?MNy}qQ#r&P;oz^J&JEp zxI-mNs%T+0MYaRDL&+?8w<3f6QKg058FR>wLd=s?3V#3GHNNO@_wnekZW=P~mTrC;-=@|N*)lxY z*kJh6He|LYqVD4j#}B)Y zRJbdkl3e!@_o*Y;W9(^3&ytj6>RGR{9s5R3C@$|M?%Ox-#>g=L?fV3Xd*Gs(q6AcYVuxh=!UHkU!!`Xvz+UJr--UDvP5L_{bDTnDg7f{G`C6KGS$=xcD;KXccnUb8G z>2P?hSh(5c62_4y=65*I=Ya%@fz*TqbQ35JilWizK6LhBf2qgmTa~kGI*v6dRMTh8 z4hQ#q6Z6~c3RUT*7;q;fkV|oGRi3W1S$_%n-2qfSxQy(-$Bi!)k%(|sn zzRLBQQ?{yhpHQ82LCO&S!1S?6^(poK(do0*+4d<(m!{12H>NKZu2QbFU+r3{+^w#4 zzvg>acuRT9{+=tXt-I7);v{;$Z6>y%=by1;Vv=`(HI@}F?QUgYbz22KFv`JM6n~%` z)?0%fJ}(|8C3q|p=~)1%fMOvm8Uk9mJO@}P2k;zlYvwCA(!ArK8=^VMf91A? z17`hY!<&n5+xf(jB~LtY?UEr4!hc_w#Ljzi()L#E-PYFD7oNKN8TLTyT}O}MId;}J zGgr_``3ObtBubqP-i=k+^qzCq#zzR;wdteat{8K8N@q*g3AYIMSfnQxSBlkk`l!lflGL4U>tP%2Yh zPO3|0Avq=svfsXoRj}nidgU#ol8GF~qMGK{0^;;7B?V!DraK?5bD^^Gmt~qIH@fipi>_5SmJNFo@|Dl=BM2q&1X3l(C2sSA4pwr=5q z;aA_bZ+YuhR({)~J%6f)-F4~kr&?c^cco-paB=JY7awnJePVL)Q@wgrfBD#F|0u}B zvG2xtU5dOHS$51X2*eeUyMjvG61mG-wC_3JkpbVwJmeE(;=agTOg`C69!x$Nv+*cA zsR$&U+k2nKrF45qsZP6g*J*wiorZIDnvtnfUz#q}1rB#UReb~~RjpD~kvH)rx2b0$y3+JU|_w(|uA8N?@&_0(xklzF+q_fo6&@>lIb|)vNd(+b; z$t@+@z4mnJ34iYn=gUsf>-D7zp^TVkMA8UvEUi|qwN7x4^Gr&b=$+&npEe==M(;g> z+n*_liJ5k5iYe|Xrnsk2|2bb%A|aKjrrK3$i=rW`=19?VjLR%~zG|ki^2{W%==mX5 zNn)&~HD$027oTPqUlcB0xhq1eLD$L&d_EPSUP0RIJ^=)AD!t8j@D0+{~J(iJcW|$gKVKs zEGyCOWPgdh0uzJNEtdr)D_4^i?yB6)K`G&!ap?P-FfPIL*iBDji}vyM#I#bR$F^tZ zm3kl_jo5*lN#4_p?QZ(ZbE>{@PH<+{u9 zgsa8%h4XWl+nJCM^0<;c9+$_JU`|LPy1&x?Ld(h!;?$g@{-TzrU~$KH;uavnm?M41k+Qsm4>TwtBWRv z#)rq{UTUA^nC+aNJk7V*ezoIj*EQ}dau(#S5Ler8aIALS?hP=60Nx-L$?Azet%O?7n5%*$oDa;i-GegcW2oY~cy znVBkb#S}$Dqyb@&27bgUI->uk$GYa`I30F53r&x7i>gSXps?JWY>ZRn%=E5lF%tD# z(pcJ&ROrfRO(s%|n}yg&*2w0vTbaUISUl$JN=;JJ*yABq)1J1PYt(A24}bJUpbP6l zs@mxk#&w}?2dU03X~kLGLdoK*F^k)k$N?5fq|J>oCz{JJk!o{s^);4OtG~yT3;B|3 z7rDXMlQC4bqQDtY;$LQ^~^QvZx&(yQ0Z*)(Qkec#qgN6ozC+HZgJ z@b@d^U9P8|h;JzG&EBbPx_ZUQ2VQCY?|azW?#pkQFknGd^(A5Nde=d zI&Zvr>4hUoN@nNxefr8P_AglYC7lR|XkSPHsUPG+nXoZdXmwZ%{C|$Lf-a7Nf^tW% zl(O_b1?LwuI2sCOIc63#c3tYqJ$E_1pFT>?eUO6M)kbxzGGuXAp39(9UNu1#sS zo&1dHB&nbU=cF!Vx!npTkWO_fbQ*9*NFFucUcMU|ue*3chB__;1hBJX$qsUO#~^qSTa> zp+<%^!r_s~ok%BRras7T&25D zMSm*}>n3*v!Bfuf-=G1-4CZC^Bq2j7idkbJreu)dj$F? z4omAF7?oJ>A03#Scv;%yz#?T)$_e3w&kd=}=HHsLp4Iv$oF7ARc^-Eok;=7?$ysf9WJl9it)zKntGpanGXH9q>$$;KE)2I%72fy>GsBju8PR*+@u2+ov z9MUrLnU_=yc=YpDvYM4jQ_r#@Tz}Ds7wsziX6Ki!M_Kaw2bq)o_=RoT@+oUhy(^4L z=so_1B~P&N-iMo6kcljT<+py=`n@}}W!DUL=Zb+d9wU1;3B{oa?O8AD63a}sGMB%| z-`yYc&-LGzaKGaThb7IC?}+>N_$5EFHI^1E&9FGc1XsYuQiN!7k|Zi%TYs0#lC>nx z!=#wxeIRW$pZt?~8>SV>5;m;_vN0JM}<@R35Lx1cw$>Y^p`waUJ zw(nA$-NJ=={lfk7F37vJaDAcLE2~$R%EB6ZO;&Z6u~}og%v7gjP3h8D*i`s#-WOTl zgpcNVys1h`i?FphKaiv{GAZ04=njoA7n)!X900T`gll4MIS_E!sO1dwXv6LV{e-__Hu3PP338H9m=&a z!W87f6wKM}+VA?vrMaY_tI{>X zB^s{>TvxmJ8g-?SthlnNbyt8|c5&V8;=0-8j}|V>BJ~^{et&wI&NEDEcY6)ZRWx6| zC+L0TFfG}`L@SJ|k$GOa$m9EZ9xhZt*V5jeB_3`uN0Qp9>gikT#RC^!v&!dWSH|Bv zcKM%fdhY7SroFfR_g~%f*fmQwK6Uk?jkRf`a*L-TE9j;VRQ7nxFWC5zk-G|aRhx0w_oHbb>K@tjNTdQY_!-mA zFABM7x zdaHH4HE!Kw{m6REs)99Wooj8ft}~(zSv9LIXl1}uNq-Qnib$HHD{u8$28ygmHbu>q zL0TuRm*UbM>5!!Ck&a0MNFnI}h9rr$d=gHHWXnrpDRB!}vQhgIS16LHP$asBAyMJ| zw2`<-!!3hGp1xuvnV4U}Z{JaCM7hrP@H=tVFu(oz>dYU0VUBzEs^;cq>FfRbPo_wb zlkbuaUVny88Nat37IUqx;)hJ zhpu>+HS;T8uiKsVAMrNgsVVz8DSF$Bk5bKKbp*G-NxSy*#9h z?02|fw1E8%lhB``l;t==9i<&d>Lon10TkQ6(upZ#KKakG*B8NO@Egb zN{ZEEv0AK-B#+erqJ`N53QjlJtogTEm?b-u#FB*UGoC>8M^Rn;WA2VjX(#djjCtBI zS>a5kRcVO(@mMP7vwkUW;d~yRIOxSQb&bx|!|sOT^ADr66Z6niDd&0z+^?;4Uh^Uy z73R~k60)hyC{d9^%OC1Dv+}}=`hN`=(D$O`OewNq-rzou=MAcCoPX*~>~kfa61O5} zx{J6bbhAyrGxl>g-#n1znVyL0$u&JWrYCHAvQ1Bx=?T$Luj4yMc5-$f>kw;I&iL$U z*-NZ9Td&V~ENOG$^P9tN1zt%!&qWw`9w=zZh}op3q?{Sd$)`< zGO)7!h5UHxuk?@bPx5c^?|=6zE`QKJ$N!OE3i@yH3;y4s1f-xm@{><2nXC-KSQ3em6zFCTrm?gf ze=NyYT1>@za?9GMyQF^n{A&k)h)ViHRLak9O#J-pLa8|SyMzlt)qlR-!3~L=0<7ri zK>2|JRzPi1`2zDPf_tcZ0d1dDMFHIcQ7r{&ya!o$4r?slQ!G>#Hx&!Tbhyg_-WB8Z zJESvT;6lPj#HA%jeG73Z4CT1o+@|AwcZIl3M@lL}U2r+MMWBXAe; z_b|?4Xxtrdr-!0$q<`~=o7X|n=sY@+9dDN8G~8Qa5`j%9SN2$wse-CXSFF&DIJ3D z4AON`dNR=+{zO?2UAlBBwA<^*vS>IRL79@uQgzERFOt^{&412bWoKR7;%}y)-`qwj zx4CZk)sjU$bMJWho)P_f7u+`Hn%_o+RCxqkStB$oJs+F}M>F zj2A4s`IKcbJ%6g{QB04GKNv?!tt2I5(9`5c8!y3OVnZvlD z(eGw#{GKK^foZCx+FISH&Q+V#TU80vkh)%tt9#S~s=}X9jrY{!Tv%1wu}K}P`W|k0 zj2G4)xa`rJYs^lvr*fstUuF5RewQ!{e5}{j=^d;P{(tS1{tkBdcm=<~IaT4oL%gS? z#Qj>khpt?&ev3ngM^BlD4vfh(gMvHlf{KeTExi8v?N2|Q6wS}vu+H6Y+C##WHB7y< z^`#=pRn{r67(Y&ms_8!QR@FOL{6 zK{Etuzkk-@FwhM@Z2948HyH74KaM)Zh@x-y4a9}F;UZ}Pq#({$GvF$DJk+w4FcJ0E z5`vfkG3iN|k9jv?xIfZeR2K7(Lwtm&K#WJE8F9l9lM!PmjCprbS*&9&)x+rmm}m*Y z9C^HU3fo&NzXH<{52F7e=@Zzfl*45hegwCq6h`!yI?&x8sp6q{{X$D1=`V>g~%74gmNJnouREb&vchhy;{8;?swS^Q5UT9K#IzIYw@Vdnt?<#<4&$5 z;y9)vzk47~K#}lw=&Izxbtqp|SpQPQgMV1(7hE2u!dPs-8`2W#Q!Ya*5Noilqb8q- zHyB=u^Ew*a`jJ)ymLG!{g!9sbxRm;X?H3WxY2MlR)^f~y81vK17h7S^Ip!?uLCU>SkxM>@Bi9GxL^9c9U+ro48fr1K4#3L;f-{k>t}uz?eZ z?@*40qD=Z}Zy^25_XpI`h<_EjylOwR$>(eEDAF5E`RpL4vpdLVLPxpmNcrA^`rTZo z*pC~`@soZe9Y;En^c?9KGk-_guKa3Y6Us5^;e9aCSl8JGhF~8*Hr77sVVv&?nx@of zk1NgEMln&_s1&3BuLxOt9LK$=ZBMP$T8;g*i@BHT@nARiQMm*zGk^5iBV6Bn3%}v} z=y={gtFi^IlTYHjqYmW#U2m*GsEdd9+1HhKUzgr;-ArxjpeUtdqyV1YAQK)F#+~hZ?|ju@UQd6w8gHzF@gDzF*%7 z7vlO_g}P}K>Kx$mKT$g=ZpQH}LcNX!_j%)V@EFU!VHelN~U_6zrBwL1T1X?d@ z43d;4ZU+GG1KBCqzW60<5Qo4jl;i%EJCP5|p(~0s8I75U9y)mVS_5lz@Hn?lS(fOA zYbahQfj?slc7Fhk_RyWuQkW@?hhnh@u3ZmwmHvcl^?SHabipKPFWe`!z#0lmNsuqb zas16_TT=Xf7)kNMpD}zlOq43H{3^Iyngk2PttfkMf=!x^bB*QXn^8`3u>7}JuL1T6 zOcclC+FF7B@3ki>A8(^sn?R5TLswp|9e7_&bm+4%6n{rG1m_g{Oa3$Zi+yeDr`gA! z=pP>^)r;jQk8~eYAfMhx?`i zbw>DU+<$8j?6|gz&@n&qxfizAOFB>6ML<~`LQt-QWc5l&7V|JZ6U%i7%jvkDo`xI| zw11qdPrn5G>E4cyvG!v$=L2c#zkv7K(GXE%Z}^Y<_MZah_c}xa=kGU=qRS9C*<0HC zNXN6cz%5>ZGKj!%R}3ea{50nYZ1%HU=9pgKOJI?F5!oqf#)E=fBw8_Km z(2pQhVtz!&u;n%AM^IkEw3p5fOOKxe6QMx7m->V$Vu6tRmb9<$bh6D$$NS zi1x{a^lEqtb;*xKh{sS5jYax4#^LVW+6Cc2zX#(kLHYo|$?woVAL9?|&;%(R)*E)E zALDiyWi3X1WAySTUj_K#IAV)l{^TaaEPwR>7XtV5lOG`c1Jb)O|5sS8B=P z_)5fc82%c=mm+G>e=E`yq=kqiL?V`7OCWpXtaIr9I{oSM$G=L^W|@Nh4APw!(j^_w z5dShY=kpx2<5|O;|8voHcLp7(&Idd*eT;Try#3kdm(DmQ#rbS)4{4ls3T?^+vVWt= zmL>a{+m8n2=QnQ0V!HszCMDaM>{qg#$$mw;f!`U(yg%dUoX`7Z>>KTMD?1JkBHV~{ zgU-f0-wS!#8>o9+DBs`V+2|1hhMkDsdPX z9DCaTcKF}jBmaXvwb;O<4*0ov6Mwx8oKNVu7yr9B*WUdf@8v(UN4MXn|EFPdpEqIc z2gL+6rtKnhv`f#j1I`gXm!13XhCA9F|8}^8U1Eki;;i(JvS->eX^_^24(smU1)VLV zr%&7dW*<7PDy1P^$8MtgZS53>e~n?cw2$YlH8AyD^4w8w$v)@yA@Ypt!CR^SP=x46|M~)V`D6KytJ3j4{ay8F0gx@VMgnz-P=P#EI(%qN#BEQpX1(%w@-%*y~9vU?7=`fr^cSCB3 z?n|^5<9@DD`4;!V3Ai6xY45;x$MZL#*%IC3eha@5?NDXhAt#%6$#g$O`<2oS-25J+ z{XOz0&_k++DnzBEzf+B)`xo(3{#LV+?%l=V@SO3!6}N4I2d%HbgMXH(P-D4{zc;NF z?}ud=cfWcw+^JQB+O8 zNq?UkAT7fD0{Eq)2>tGnzt7R#Fk*u64(5Ll*XZTAR!|0|JNO&k^#(An_82dBss3)J zj6qalzouikP4sqT0+yeKc32t*t2y|+n)Z;8tnEZPU-%<`V}EoRZ-IVk4UFY?ny23c zeNsNZx6YTwB5?i@i!q$T$8J#0s~DDZ;kk~+NOyDH05HuW_BHNEjlAkJP@~3BUhPmL zZ-*Rl4%#n!P}c=;?uOvJx?q|3F=R@;VT$O1sRUM|y}`alik3P-_zL6SL3$hi?|e+8 zH(~Q#O~0RplYbn0(N;hhZ@GkN1Yr})GTsU641b31$GCFX!C}_12_9<)%%^>fI4S%F z+a3T@g%)gMJ@y6L5#6}{IsnUDY#`rgXOJ`j*VvgD*b!KkXi-OCJki{aFyhlX0^^Ae z=m?A-@Du&`xqLs@kDrT=bOgpn{ulc3bM=Nh0^`HK(0{+79f9#f|BZh99G`PK0^@Uj zp&!FL0^^5w><8*6Jjb@ajAzp)k^a@#@4rNP0aBE{))&!_=L>DR5&o-@?=A$Mf3zY2K4VR%yzUp5Cw?wdRtVs^;x}b4x`Q1?RxoB zPa%D^Lw`6G@tNKpZ<}=QE~H_^y~g-f8STdPzPH|SI)7_GA0sapKMhSpjK=aoq+?E_ z^=Td23rK&9pnK6*jDC?n)8Ge<`5CI~v|fN8qpWovd!ssq`zjfa~1-XY5sT zxjy^^HgbKZq3)}IV#R@W$OABd>;}@|@-&|RMt^xK?oEL9$$0*rH(NRcvh))82vJwJ+K?k zY^&s2U|3#JyJ7fN+}Ah2BKcQvwdFF{tsKL?9)#(*Uj>y(P%i%(2AgMF z)PHg}Oi>FleiMYG&mdr3iFVxq7>PV9Guv)^yH_C@;~&%SSGfEkevBe6;C;saq8%pT z**e+$Za{88o=oNa8P4CFo&X8Y=pY}(z59H~SFLD!6~QX257sLua2yKSsZsteKi%Mc zcY1$PFM%HNN{EWSVP}R zbhK+sJF3m5FzyK2?i|eVAf^4YZTtppXK(0t3VYB#O@S!ATVdKibx-W>BM&>ZNDGu=9Tw$}Lz9VF`AG_TL2T^HLq!eSZeNHt-NZ zWO$ZFNVj!__TL;o{e4}P@&LAruyoa-zNUlQ|Gxm_0jRiwEs2~ev={y&(8?gFM-AL) zLemH)-%UQ6e8I7OhU1>m)@QSQqu&4NJpNDT<$r73zts2kFuu_kgv}oHY4^LxPOCyYbA}oRT8J6JWb=@E4Gz6OAcr)(u!}!K_x}p1WtRrEA@ttgtbPMjgw9dOr ze}L&{+I-p={XDHbg!`n7`91PNs1g3CJuF|1I^mf1s(c;V0tjsDdVd428Cb8|e%cn} zJ4l6p54;JUXb(KwW)dh5wzmNBs9|rD9Xnq~>*sp>>3*5ISNtcA<0Sa`_oXp@z8)#f z#54U&@QYt#I@$~L-Xu1S*KBO*09pZk(mC%F7pF}zN0rMk7 z3B#`=mGNvZW8C)!*65&ge%{^zQ_&`#iuLLF4)QWO6qw4M=YMTY6$fB_m`}iyl86?C zm}2-9Oka-WcI)SNx>un5Jk88wJ)K8B0yVbjP@^OvZqRng{k2`}OQ?`0f(Pf+f#`{I z{f2RVAUkS50=cCz8~rT4ScfR zHtQA{|9)CuYuwINt6&+f;~K?-L!F^@7vPnCL z;b#!Hp?-aYAc3aw`%&FqyFs+$+Fpof(DNb3xD%y&(oED}nbI15r@un450X$f4bboA zwI7YYbARCXsdP6-cB$y&e+Q9f{9OapKg77d<$pKPc28Rh<4D(%PUU+BecO%aG}Jd! zNw)~EL5c9Au7lV?4j^5`?H14}Q`bSlhnUC2al}{jRzv4$et)K>?;)Pxd(#iPp5(fa?jh07{~kp@ zKe=cP(%-?H%U&{U%gr6=vnD;4U1*fqY?L`Wzwvg1dr1=ClV5=@^lfk3xeK6#e;fT7 zKd%hNbh1HC+xg~wJD(?>ar-deV13`hyHem_|kSBT1VdxwC0X>be^)@@e>-Jj6I8A%(&G#0{)Yb){QF=w1HU%#dmU0K?kH`Y zdo)zrAHb3EnDLq`LtYtD2+f&?nTcp-h#n#;&k+-mH$Pn5>Ud4f43Xb-i-@0q{MNe0Am?lx(~rRFRWp=*VL{H?dx$)e=6S(2 z(Uz5;-l)RWiOIU%VLw+te6V_MECL@}b5`(crwzeNRe%>wEGWkB*0VZr``GUv2bYC| z$(N^JjLHeIRj#+0O`Xp65!sV_R@^&}>IRx6oUv>^lnD3DBB=>7P1PI~exY?p+8-b> zcQU@kK{3ySp;StC9X6_oP;rR?3yKsSk?=Ggo(JFKK&To0VCvToGDN^yGz?z%k{JIc zD*8q=BQZPDn5IX=)9fZq$Z(Z6bB;^mViB@2L$yfZ2s1Ck^TNPI0?U=I+8Ym>W7kGs z{ra;4DRC>cL8PzpaZenT2et?$TjDia7OqAFz3a4Y+Tk6TnAUW@yFhXXvwNmbhFz4n z4R+wDY_PWRv=^YWOk(D>S~NITJIqH^^C`&E6I0Sgzk!ZqC^I*OE+DKF^V^`;Kg|@JzBWlQ6v~Q zn%Or7k-WI0hWiY*BO^&Byh!9v!+rjS$3L6T)JeS`kvkE)tYs6JI>7NaN2@_l_J>RO zNkU36HH2!7-ag{CKu)tYLo@X)7_e;_5Fs*L!~TSnK<|gho5iF+VK#FtfBW zZR5N%}YAW%f6+&b|4GxtuUwpCE( zrC?q+O#9h2eVX$t&sTMv)23nN{?3}*Qj;)fb?G6&X7HplzhW?4YZEmmnzk!%9$sB$J6T!(m#boJDA%yc5!g)xSd^SJO zR3}Y9GQ}j%TF3ev>_@5)fi#1&)%uayhMUK3+)|K!uSFf}L7Q2HCuw?2A2pXgb=-8Ioe3)A@?0YyIub((iV<{(nSiL?R+nm98^O4{Jo19>jnw=f@W|ihu zZ0oKDQ(20Okubl5fsUeU4~r&dq+Ie!clg#yQ2>wVxIkJoO5mZcJ<7k&iwUxj{M2)$RtUn5|5l8A?e5w)lHtzn+8>*Dl z*SNrq2{;Bz=hj&qx>fe>!>5kaI_p$`|GD5L^Zl*|ckZg3x#Mws*-TxW^jlc@Io@gP zNWyAG$oQ6TSxZC3Cqt(S(9@HhZ(pFN&v(sfsh3xcO7e%h%PSIURt?=eTHL{z?zT#O z=TEc;<;~5-7U4F0dE~;0JXPcO4-#!*kxwtHlCK=vGv1oq=4+nwXDq|twn8H|sm-_I z=ik{{?}nQVZa0U99aiB_DYwfM2B+ftZ24opPuT@ezLZ$C`xOR9g{r?}E>3yLNI(7e zmI*IUZP`Rgp`0nNuA9%@0t1_hL5nBK_l!^sLcw-L-H$!LYb-9tq&EJ5o^i$`t>n|BDTZ;l5K#qlsbIM%deG|^ zDp#3rlMl@5+#Q1c=k>|320?e}v51d4AAR%+eUCMq?d^G4gBfZruB?2SYX=?~bSmdu z9@0L#p#C`MvJGR%>{k76WtAi@>AuAT+O{U40wUL^%<2D-&>l%iia5kC*SR!ZIGh8E z8aE%W`_R(sJ*cn{LbXBK7|iZLo{iDLPo8tD`>BR8Z*J*Sq$`s_}`L3Og&YaQma;;$} z3TqLVnpv1eMC9lXDjSJiOHAs6N*bZ8d)^nbg88c&a(Ye`Mf(#ItTTgZ=+#Asvw~Ih zb{3gwS;M=%?YIe=LvFQu%*!50TlycVf5>?xOu&YI&0(c>h11?>=%43LbduAjjk!HC zY~u*K4o-+pH-bhNfl_BqlW_OUA7x9M;c!-K1uxKON&ok_#;8yN8cM)Q7y$?MksLFN zVGneOHxcj{wxH8S6N`cdMFvLELM3-3Yt|-!6&}Sl?Fx}aqtF2R=Po7);7|srwPp}$ z0R3x%LZdK*jSTk>48M^90D6Ng<{xZeiNv*a;Qtx6!eQ4514IC`Q6ZkV-Y`JK0ho2N zC=5VY&oCG){(B~|k3s=NJb+s#jKL7FR_hoVh1#GH2cU7^D_qlu!J=?~MfY8BIKXOy z(-;8jJUx;96-e2*EuL*xPM^yjm{AN_xMq4?ZU+N8XG&f?1TOn DE#VHJ z>guZQuIjGU$JtN^Nl>*g5U^a#h%DS($w&~TfLuI*1Uhl#F9Y--I;oU^{DsAzi}B>} zcf#LODwAWyxxW`uL{SCWCOp6T3ZTt!*I5jk_)y1PI&40qcJz2pb+eh~&@OviBFSRR z09`ECF%8oys4_Y1dCxZjg6g?jxO+6(nTHQIRCHy=4V)b{6Q4DcObD6L)KU6xXHG@yS;0AQ9LbL*=Zyk7_z~9 z-Bg+O*rW^LI1c;3o z>}p!fPru}R2fOe(Ri4}`#r_bd_@S10Y&G>NKNx$|rApRQ>!Twbl2gsdQz%J7mY`oUggjlLiXBkyw4{ z*sKMN;ak#3D)TgDt*w*KjloHnKg`7Y9RuUWGMOF++0?}}eWeoZh z_Qtpf^2Rhi1gbIYCH5KR$U}s2vB6>-gy&#lXunt~;ROyg?^1Yi22M(!RV5c#J*lWD z0^};(P;kkfq3YfbV|CF$`E2a+u`eXI(8kV*%B12Zzx2bMhL-gGs_;C&JpY(NMV5)F6;Lk^qy0(Be$!``N z=W(29Ia?Ta4#Q_U7tS*!a*4$R`qpMG0YmO^RuU{*Eq=&&A;PyXm&v~Zgnw+@F8din zE4}mUzbpCc_&JFtA#3PS{R>@CGWixMRu(*lnL`=X>W$_4mg|HY5umP&oVJ2zH#<*O zqz5rxG_$ln6P2G~56s2;Jm9_sZJiijUEpbiy+ynB+Bs8|o&`16e$xLNhi z)?a;DDWK!pb-tQZvc**+TaQW2gk}&IQ((SiwO;$OM2_A>ewgdk;U80-y}@`miGfL& ziecajGQ({=gDPu!!orFS3Mz$a_~~Y0$CyV(sjhH5>y&Gh4`j7sjNq%S-y3e7L^0G+ ziPKD*A}x_K7w}w~#~Z!C>-z9rkyR7AsKwPEewoUL(aiFd?$lsWWyO>I4y&00VMNhX zXK2rm7h9?|TO_Lr`t>S3t$Y<8L)dD1P3WQKouP@?+HImMU%QjWI^EOwOUAb%R*~N+ zW)UiFDAJ+MA2@~Q6&W~oH4gP&^i)T`b_1s^9^`S4S6?mI2`!`x74!G*vk;?Ibhxxs zm97;ZRKb(aKYsPs_6z#{f<1_G=#3vk${9V9t4pJ?){%fg9win+w6eHz~)a|`dath#t z|Fef|Q|`smwod%dUzko8VsvT{$BaUiInBgq=kailz`v=SW}?s0#c!*{awr(wWb z=J;4TotKFartIfI*_cfa!WsUJ==4mYzT4OdK*SZ$gJ@=N>f-8bW@Puj%E8zgkq40( z(E;wif`x;bqX8101_}sOovc`? zU87P^wS-RNznHv`?HKF!vTSr__iDm)=u`RISj(&gHxc;AOrubrjX1Q47R5)xC-#-e zK7F-s#gZqny>u)KZF-u~)s3l?_)7ZD7)GlEt{uG6Lfisp(hV3wUs}rI7C{zsd7n+X za6u{*+HS&=XxeN0Ofl{Iu?XKsu+fJpL7Fc()#eZf{QGMVvlQ>o0;!`rq^ADxwSbxs zh&BlU+&P~QeqAS*nvIbqMR&0>b7uFG;R>hN(oz_ z$rywF`PL0FlhDVStcR=zq`UHN=EPnVH;8=26#WiOb}Aeptln=8DcS$y54lLMousgC zz!yZuh^Vhl;?SvzLBGGmIpHm<;9*G-3Yc(CR-E@uhe1D}v+cT*31l7zaJs6cwag5tqar-91GqU!pxc7og!}e3wYc8+}89 z-EoQX-a^qro6CVZb5Fwe%AwR?^*6I_TlUG38O^mrr>*A=mD>QZEQV)- zY6`t9>AYYR8Nbpi5OM7E!%uNgm3&sH3dH;#ddMu)R7Wx@ONoczet!3U01oy~y3D7o-;oN5Y#9};rjOh!pP35LrV?6_Qd^}Oo`jVv%cd}acHtYLXv@Mi z?WA#uw^zunOe1?H)k29Y49A?icO;K??5^E_=9)v3l1z!`xJcg794Ti)4!J=7p!Gnb zht&_aStML0;PX_y^amP#Y1l-QPh%NvAh88@bG(2V4eN&Mp3bGvqLEXw+^0*^W}x6PEWr-!cC>Z*=-=^?TVw@Bz%7pR=@m z`qM-n4JxG^kJxEV%+FF9eDl&#$26lLqbwsJeAj9~(>jA!&Q4v3jgd>=0lX0DPyK;i zdb8n3vjMxwA(C7jMsZcbF#D?aJ2?IOoaWqquCd zbI@i#XMM*i_9KmC0E@IFNIw9?`0*5lP6W7^kGAxTS>rq)iHSw9Od+ zyc+o>a(@^^vCt=_k1mVVpC4Y{+1wG_mEBp~VN7O9ofgq+RBK$R6RW$^0-V`)&nW)Q zxVh}E_#d|1_T1I7)=8O#*ne>TuKz=eDR)Y!8*UwcF1;mCBbPIJpLG#(dzFsV3id0$ zOp?cWDCS^J~Az?lb#@v6J^1u=-os_*fX;j4@87z{qn3qMNfl*_VK z7CI;BtoqE09O9kI^Y-Fv72f6h{@tadjdkzEuS$ND@mY0TqfC`aE>U2ui(lmg_34L3ZShH!>vkPujA-M$JOCYh*~^%rg0F(RKk+;r&lP zG!8v#l`b10*uc#1IRfHBtig{km08F(>_i&oD4=)PJ&hXTb6eUa6EgZy$}^kB=)bjl zlxNI`*5IfQiEw0}e3bzs86lJzwX2_k|706|E14@<*TUSm(x>~QUT}5pp!fLQ1vT1X znv3Bp+QUj`>Dys79J;XQIjw+YD^08WQ?r|o(YuxSN<6wkB0@6|q`!Ts$BK33K!d+m zw$Ky8Orat;+e@2@uHT#6xOJm;x^}a6;s$Pj&Ki(@^=>D?e}`yX4Z@f#7Fsw439uR2 zf2EC&n%nL>@nO&-TO3oGg-;WY)oS3W-5+>Jq!(wHAnj7nno%;e^95k|oCMzkx6HrZ z8;Y~dbt62ei%l;md()ZU@Gga=XxFa2pD+*GnFNu;uiczWPKkM4n zvMc#R`ox5R%rErETmhK(n|NQ;NnsWYD#Z` zD`?G5wrQglZ4(oE^JEncn)*Q+2h;rWK9X^3cv|g1m7+T@et?+>VWESPJ>*TgoVQ7S zbo+bMixLB#_!y6XEG#)?upVW`fPtjhi`PdY1aOi%9?+AcfTtOKvo)^u2i0CT}w1vLwBaU%VRsT7?Sz-a#Z) zGF<-_!&Xo%=Vzq)rLgd}FM6eO=N%J;Oi_{1Chgk)K&U1E`&M|XS<*yB3B%VIoWef8 z&0fcufc--W^`AnGyp@y6!gIyi*WiyqHJ7`49YQCJzUGw+@9#@%0?ZwBN+IG-#O1`> zl-k2S-vC^cQ1}-M@LclRmtpqbz!b5(0vlWruAm#TZh`jiL@(0&h%l-V^xWweu`qe5 z-tGUc3MfdaZf*{<_S`~q-fl|b1Mm3~>(Tfyv9`7X|M%7?Tq#4vxe+5WL1v-rJ9jJP z{JCAYz~?`(^*Q=n#b5T6;JH|alAJNg2#fOtlC}~h_P8l5=f>0>%Es!N;N_2^^;jxLE$F^ z@Ka4}0pxDC8WXUMVR@E7oI-4CO}L7lGwW_Qb9SJ-n8}N5%t!!fmTKuK7f?mG{MD3> zTK?~);|@iGv$0*pU@->Dz_|`W_c~m41;rZhBD*z)MT^(JjZd}5cegC$5PheJf zWVFV$kRjV~l$q$58Scf>%27Cubi_H$qM4O%X?8~K4DYboWyXy_RvNLk z$c!~ED>+LX`0hTo~6B&3b%(o_GJNap}3K|EblE&H2lCaU8CjYRq5ua z(B`4j;h6gj$2YxWC!4%5`LHlv9q0*I94W){+OW3>Lh2^-hqR)%7giZ#wlZ|m&~Vq- z;iP@I4YOG%xRX1|cG-;C&hrdD?ELIVQdt-uXUt%}U>V3wsVp1F>jtm5O|ezHzND1J zqc!qSe>%NBZn|W1avQm#@%O_a$BWilz$RPA+#pj(OtUA*uu$MpuA&{60qBssn?GMY zvM;XM;+S!cc{(fJk+k2xM6faJ5~q<9vGaS|f}V7v+}6s%lu#TDNt8+%`eZzCubAy( zHZ9fUCoS1lW4COtQ;+Dfhw1jJ&2+GQiY{S~e=LuOq~@k>5hNSODke|-PT7%n zru4#0in)E!a53&yaksc`1eoi&>HVW^ckdo>N@3LqR0-75OE}BQKmOIImZ(d)v$61% z)}SK>i`vo3-caMF?S)mbeA^7aT*j;N2EQEBj@S>Wau z+c6~Kbz93(s;5zQDR-&+iFPR~KdBiQNV-3t_u)#o(Clq(r-;6G1MI$<&$&0g?rd4F zHMONyBLMgCVJ*a3BidR@!2K0k-(kt)+~a)=&XDf6j?K6HDxTW)$L7_-O!erIgJ$IV zpR45;lF0*v$MtO&j3eLIzrSif4mDR0I%pYJvm0c1dY#GMj}H>4{cKn_i)&h^TESkg zZrL>N*fy_ysj6eF063P2vkV_v+4hMTmv*e(Wf*Z@7Fb!DG_n{1<(u7`nSLv1g#WDX z&dA=Z4Ev|()>Hn64j*cgga%nUurcI{EpH1r8q2_`=W}k%rL)cuvn+3D%=d?&iFQd# ztL7$e*>aEF*T&YAjc{QwM>=Z@`qsAV{8zGN9W#$Aj}!*d379<)(e0nz?}fGc*oB(N z^)KJej9%-1>ULWlL^?`&f9RDkGm$d80ROACxR9G5d6paBA@B$hGCbrvn^&|=nwk1T zBxr738F+q+dx?2ybD~4MPQu?nUM=9}G40|N#j^E#C-RBH)5U_o{Fq*~rjc>ni~6xj z*fz&3$xhW<4=}X9AUqDWx_4%r>>zs>{)b{!H!a-ZURxDk^Lt_EVz7A6>2x1bsYD1% z8M~MXUN_6%ZinRb6aG(In*UM^C`R~i6SuP6-)4={cz9jY9HQ27Z#VD{8#S=TMDUW` z>8*M6YI$izptxM&VvfB$npP#^z5F9A=KIinmu#!VXB|0<;A5(br9dgf3!G! zRggt09ZW5QNhW%}qrxg{l8Yu*i>cF)BL=oZ6R2tGVI(5?Q{Z9sSp2{i8Q@HpO1JKn zsk$VlG^;v#PD>Y@5vo`Q^C1*1O)f0fVOWqt){znLR9ly8mHR@xn#^seA8N0_6pYQl ztqN2ZeROO{Uyygt5%)o-r>Ew9*=?t!7q>U<|AnNw8q`jnC=F+3nG;W4hOIRD8%QNx zJYHH1hB6mx<{2MhigVKR zIyXKZ!Vl+`+o05cK^(w(#0n$0toYi(L*nYe?a?vC$s#v4lr4DVinR`_1$fCC=NXG! zIt?ue$de)+&EnyRiF_;hK0X)V_Pau0Rue|sKR)qRJxvlugSfUdwu$AJYCX$T>Th*| zjBb}!ygx$6(pPijZM9HR=R*CJIoz39Nch@*NM{*Z78qlwKUf_5?oqxj6oAl3nx_c) zt}{z;mM3Klt2c^j2oXuluK;o-fZk7q-DnSdsbrhU+p~kF)IeX#Og`b8P*WV4K=f2~ zks^8?^fJxcG_87^eUW=nCAVtXx$qXey0K!RO=1I<&BCK4pAa=`d?wR-E-(D;USFW^8Szy$p}z3uwAeCt{lA84mQv zuiOshvKMk%=9Eo0Ou9@v&D>7Qshm3%68}L%_vwM#B8`zt$IO>UBdM^=xbuA0dOlq` zq`wVm$iF)~rK{<2T#8aqJJ;g0ZHT4ZqT-3;vKM-thx7k@_RC_~LX6=eXx}UR<_^H| zG?E1UWGV5;yso!*1Z>&(Emv)}Z0wX+GjwfJT+?*S@YXG|+*;cCPQ50O>KwGU;@wJL9{skjv!K(V0Y2EZER6E$Bx|Y1WY}QommKW zDD8 zGjD=fuQYxaR;Bri`pALj*re%low;<2Dp&eONC@qneT15ATq`4SOutE)S~QK}XoN_c zajAI&zbbCweRDoLidtB*RQZixX9Eu_8rG2F(Y`n!^JmHykE#&M>acBa0vN24?y}s% z4oR`?R3UKK0hCA|n{J7O zyN97|Gsm}WarbARMdo+8Uc;bRut(;VK`P70m ze)*;yWJ*q5DYhIO@fyW3xKn#qUnCr(gUi%|aYL|6r)! zFIwMw1|W<-8SZdHe@f#fpa-0j+}Qu}o-@Kf_WLL^#XS@&D~c$! zRQ8oLT;woFDVA-m(%M!YSw3N~e&ZX+;@dSvX+aVN({(DJK#^xo%PJj*ch8-yfp^C8 zS0EV+>A1sz&eyeWr+1!kqPxF3>txOctp~}Xj~vy1a8Gf?gG>Zj+H+lRiH?DxT1(5E zLnOP4ncA-yx`gq~YPfZNF4~!ed*F=g>>B?(8O+b`<2dzDWt5lHWVIa8w)~kkGvv8a z(!s1s=U&GbR3vDUm)RZvDJbHl51#za17M;=n*W_<;qkBUnDz;8RN1s_CvV>L6$V%A z3fu>35nlY8sf>eDV3Gq=^H>CMY_x23O7tC)_FE&H2R&OObfe~eTFYBY+smgV*;%=c zH#h8bRPW;$CI2<}Vq=?o{2S^Q|4c2o06f1R@1Og*sv4yEwyW-m3tpYXY`+w^X zH+b7iyLnQW?Ae`{bLe@Wm*bK?wfVjF&HrNp2+M2JUw6N5wwuaow%gy=BkC4!gW7j9 z+-{@u9Nu|WxlL-&Vr)tq#-Y|6FRCiqr%V1!wau+myjqLzX8WL9g?5wsN)VrTEhOS0 zA2VQoU!0MIU$;E?(6oA?jT*iZ02t$2;XSpgO_1*oA~Yalo<7s?>ejuAqfX)yZv#hv zT-vXNvbP+|ZVv^+0E>iiq|+f0J*BZOwyWCl^%>?&fx|) zS*q*CwD`z8#Rxf9tnAi=Hoy_Sz~0_?So{4nugl3ZB;|QrG##A3kL1wfjS$PQ=t%>V z$py6l(S`c{zW~~G%wq&wS9{mZL_Z&)hPj`IN!dPCM9s$wf~aqX?~HnvHaVs_c3lET zsK>#lM0LYa!pudi=lvjUZMtkaU9M7tbR)(w{J$DQF?DfGnk6VBF8~8MUj>D`A-+%* z@+5OPwpcdLl+9F}f|3#%F57&t7m`Vht6r+3*Y?o629@sib#=)4>!s{ARxP6mm(P;t z^~IBNk8T{@`i=hsLW zxdRtt@%}dXvcXe#31m&cNMO{tWlb#^%T9LH=S078H*@Z$o@0k>|8VL^@(BTvFAJx# zq_$~mfb$#68zU>H*`lZJeMjgg$!TS*PE{2s*|LK_?Rb` zEGssD_%}|47um#T^bHa9OX3}bLVYFlRPP`txhR3Re}@R>k3%?TO+LPR0Y#qweOeiH zUCLBa$;c&vfWByx`e)yii6SYNA=(Tn^8VSGroc zV70AK@rp)ptfQ zxENGki9~g_$_YLv%bl15vyQ0jwh>}@bkcw^-g;Ug+K*Ldc1l}A-}KHChR;-&6&_ zoADq{(AJMsYiebG)>;_cFWFG05Nd(eV<^GnC$g&&A%Y0G76%KQx$DH=NFFTT)(1I%jIqPMc)@R5|E{zeZZZ|e zC-sFqwQmHFuGuWH*9`v9|BL&+f#wzuNPZyB%H(4{e0WPdi%pXckB_uQg_Gt{N*kcX zz-d6Kk&;XszzdS>*aG#SLj1FK83>{2SU^ftq;#rZiYmm8;HzU8NToe+&vBDL9`U zqKO?ZjP927D3~5Q^FBE>;??v@pHBT0KgO?y?1I@p7sekhA`C#8D5)z|Jd184MB3u> znT;hJhPohYbZe-Gs^0xE#>nAeBqlh>|_83BjAhYd;YQOLXnzl zbs3|CmAZkCYBk%&RS>=~X5H1}7oR{6w>PNgFJNv&?&xcj4Z-Ml2u^%0f;r7g>2&{Y z=`3M~s51*Rfy-qvp;&>3dg?L$%_RAxB8ELRce$!pNWX^jdSYq>C*6g3eodAc=>0kP^s^iF zP(jNhf%@!MwQZ4H3YsMm*goAuay}Kom9Zsq{1Bd;h!e;;9vM9s|L{B{XxBZBzTuqh zpjG6UKRjE=mhzD(_QM_9w+f?mg#%R!YfJQSH7YaY(Fvkj(7!!?bGPlw<}<5%fnj7Jg0&JmStK_UvH_sluV z>fio8uny4lWK^?gpD?O%UM#evn1(Q5*fq_1mF6dOkUgFQ#(sohaSDa0u<4IX1)pd( znQ!DvvqqIns9~MZvh0MV9d&6Mh%e$N*4_RG11Y_3(EC|5Z;=DDw{Rz{Zg5p9d<7nG zwK#;mokYW0jHP|>HJa|0Bg*a+XWzFt=SL7eLx5{F5j!CRreVc9{9sEGGf$F`&v5s{ z__^(0R+P3fp{LB7HFw88gCt5SB>4a|S@$~dBm+Vx?zIITorctJ5f1(wN>JU585IZ_nJ_zdfRi|{y>X!p*Au_WwV z;m%lC2;KJRez8GMUUDsh+i@y-NPau-60JUfmq7>k@6)a8JLdkuLy%I+3*Ap)#cPNR z418khsuCjM1`y-hjiOFJr=`#L<#J-&ML?jM-iR&`Usxq=wk!W7KMx8nK%rM~rza)Q z73$0%u`xCeiMv>+*FBKz6JiHp$6>DXYUeVWv5PN7sZn5aKaA|hVZxo^!oA`Y=HYdT z@uBR>uBaVaxG#@3w>rTCN9Laz5X3xnaE;VPf|v)*y^1^kSkF?K0iQNkp zmwdR3(P(1Dh~qnN3*VUI?47F)om2UEYIbn$F&FQ1@1gWnb3+CGJG6Uo*)y4rn$_I% zW(%EvY1!5C@l7hvE^Z&62wHqh5HnCS?*?{o-qY~yh}`gkn*=vpqBlRUff1f_GaWfs zW6HU@vWPgPV4{9v-#3h61yOD!P+kCz)xB^X0TEw>Bl+DHv_3>;s%g9G6CEZ73Er+i z-Om~(w*HwH|Bx0JTjh|?6~rC;5CfQevyohgE)>wO6tut^)Ng{lw}<&d5zAj@!}kG6 zU)%t{&u8=<^Z zQVi|!6MjyX?@{}f@;bc%9Couk8HjL2x@_5;%!u-4<=sp46uwFWTx+Dab5!G3VB6E7XE>8u5r0Ow?LG^ddKIw&&$lk+~(8irxkzujFb_v zqy*vccQDc0UxPJZ0qwczx#p$q)2g#@J2N6;SXRUevKINJn zB_FShu@@h?&4tM+RS|vRw}#)0)D3#t^SHDZ-uTl=HogR${dwi^yZYO*A%ycmYDxv} zMs;yYK@2Dez_f($U*K4Vd291|hQZ@w5;`6yvDz-Ib^xYv-gu&1w#?o-!&`}*_-vi( z*F^oEyTZ5ukG(fA>BZhX`}F})p1Y_Wrr9)($Het~TkXAzBUNsV?;ipB++9znf35Uj zLWzy4&A)(JGez=v3kiRUMnzg`9AT0{gWg#{hIJs*Ica@Od;UB|3`@jbORGuK{9 z08>r@2BzeDXhpJ-J(>5YZG$-n zS$lX}D7_-NXG&R?~D>CFnNxaTvV-fk%QXpC%*a~I@A zw%b$D2`M+#E1blr0aTWnOHjJ*v9og`ya4u{g~Q%UZoa5SIO!7=KHc!>^^v=<11ZUi zzLO9)ht86^B4%twehps%-^83f*2}-xUX{CYs9h3HqYd)Dj%*Ft&tfuE_vFXG;_oqW zj-%odi2N=q#CtRTFKkBdZEMCmoH5}->)^0-Of&KsXCAPV^tyKDM>aElTzrVc8X(8p zJy+L6pse@`=P1wH?|`b(6XO4_S*%nK)xHL`lTjcBtNOwwe8@j~rXF*GaO12qiz$7~ z-arik73T``mJRqoo(?E2#OKjHxx7EOfhu!_y_Y^kh5W0xgq6Mv+#tPITp<)|e!{&! z^YB=Jpy%2A3rLP1q335VSJ76=fSlfB?jphAC#8!;&7iw&S|LnV!5f->?k8&(&@+;E zTN`zsP^OX;W$(=VN_-R3e~(jZ@{XMq0{Hsy{L&JK{Eg#8JF%JD!PBAG4x(%7Mx(1H zKKP^HSN0Q;UARz0BlVi3P`?kEe~dfMxa)U8b%&=u>7D`NSqX2SZ+JyJfX@vDJG~H! z`x`XLdPwq)AKLy!%_h!mM*n3yeT(>-K%h%u8vMce3!Ty$j5oybAd(RpgKrI|jCi*5 zFFM;RerLD!it5=s?d`tHoTx1tvy}4wa4{n6D=tR@#_8nR*FF9hoLgPLG-24sL@ta^ zxHHQz;x$9Anli$zFi*w?Afacb&~8^S{EaGhAH7?$Y^8$k+24>S`RpI*$%2Zk==<2P zrd6yr1kfXX;l(oC7GVJ26D&l|Hh);^V-q8UU>$l{}W#l2e)Q; z3k?7B@60^>0Q~c*iDd|FCt72I-6ZvW+-V*AKV5h5YRk2Ue@CWd%A zY}73BcU8jo+G6t6`q=oaRoq@aozPuwtyxZf^aT!&w=7<~gft8+RJ_l8m;|i!mVJ17 zL{sgr$FhOAj}8xyJuiU^^^_0LJJh>kb@Z9P*UXcn;{30jvUi0i6T3to2_3qvsTUa6 zu7QWx$0o3X2Ox_YLx2R-XskBTn99)7WxOQZ$sG zK2BgWfhYDe!41qTtn0Y^tIivfcb}OV;u0X=j+`5bUs}1l)vdSJ5A9DM`!Pg z@g9nWe$D;{xzmu0v0iHxhP%(@%k(DE8Rfpi@Y`OTk1Oa{s`0)kf7?;~kT}&uoe_7v z%(%PIFRr;}`Bf-K>R;PY`px})q2Iu5566|kS;wx|F$d7jJs)u zD-!Srf>DzRXq(Lyk!PF-rhiW*ZiDZ@0(au0b;LD zNxlOA!Y(_)qOO@`2;eC^_*JzmIo_%H(c)z1br>bTCg_;VNpi0n2l$x0wtwbpUT|Aa zH}{8mUDk1;-aq!~qJ`e1TFEQ3oc=4A2XKnC^t}maeJCcX*%d`P|DGQ3^6L7Elm$wA zM1Wgs*B^=IU6S$@x{U8-1M?;EzZYC3%;XCa!lQ}!SW0wAJ+-uv_-I4#Dv_U3zb-z+ zQScjOyCIll#l18meI6=;E)}!;@Tzt{f>y{c*fV?5q4Vacw%X=q-uJF{^YSr@0TD*b z)L(;qMVQd21%yBiEc*3<_?8-enfWaDVZLV%)!j4`u>5r0yS(!bDR^9*e7$tT+bT5r zPWB=;ioq$d6~xBKZ}H+kD}zD9dUEY3*@G;2wvCPo;g^t$>J8&a*{_|i38fYo{s7um zP3#M8M}~LVp|84#Q`Q#JjBa=UY%oUs8v|WWDN{Ofqe^NLIT35W6uI57zV7VbcJ3DH zCc47gWh-FwXrsjoZ*>IFI{V{1AsU=}&9M$BrLhne{Fsn@R=@52VHaN@x;}uaLSjY+ z0MZSRzsHz`&;+VqRkW(sw089UKf%dQkcBg2Zq}ZGvM4ReiD#vUVdCY$uy(#^lL<+6 z3E>LK$HznQXa>#XjJwOr>)@N7@r&@m)~_BC93wZO9HTHG&Ub#B2U~ru57`-a=&0uIt|8a`aTNldzZvCI$G3dO zQ0^wC>g9CZ>~bF8w%P~UOJ0LI-v;WldR$6UZ!ECxGT!_c`uGrWQRwH)xM3f*)-PWc z?BjB;ZQp=*--_e=zj;3TAe(FRx3vy@p~%nh8FlaOj$4~+=Qo`<>KQ}-L$8dxg2!)9 z1#LterFXUNU!IF%nBiQt#kM+TOW0F76v2o#j{+BHBco;8kyHTrCd})hsy{log-n&? z?OxvLc>MZ^pyNGv!1}q`rPbia^<3_uyJBa!^xm|yYfHykRJG5V5xe4w&WiebwL61Q z83KVRhH_iZE@yXza@O4pN50*01eD;O33cx5U%?!nH5D^)tc6Dajj3k zZ{1I~PfKM*x;m~r_TRam;T5GYpAc3;`2cF`+~1v3oyqfZ~)5wu$M_uj26CF(2dJO z{5AGRzY&6<>^$ek8@_+{zD4+Dq6G$cmB~BJ<-9#LxX!Luur;aYxaRul_4yu~sOK2{ zI-yfKYp`RI>F(2q#~1w&@xhVPw=O?`?Ea<-syFMb!HT( zC-H|X84yZ!>*Iv_;R8eX=B2_l+DDtE{tbiqzD_0>~2RrqS9>a45qUE==%6b%Xp`u7}qAKvCf7 zX5$Z#_MdS^SB(bVRm`0(o{UV~SCrTLK7B0K_R}uwiGzB z3}UqLGan(geUmza(p1eERTAevj1MDmkHjN}!Ub8SUsP4*N~-?+AyXu#ElVKq!kPG+ z@ z7)RErvxtH25yFy+D&g5QKBTxK`VmQ_9Dk>5_XX~odG{q)9DY?+{dq(1A_YLcq-V(E z(QEu$g)csb{>C(3c3Y;?vnz;hexi@!rLZyff|N?5wCK<{^5q+49DO+DH>A^8t5Wjb zGHWxT6kVi5I|~f|WzRCEa}ZWeH-3RmS)))rP4P01fL0=zU(9%^%=LnK2!&M*2pKDA zSMP7mlc=}US-$gZ3q~Hy8UVrj#Z}2>4XNAxZx;%*Ur)#4*->z6uGJL7EL69=z>drk zl%j`k$Uw>B73Zv@__&0k(SkTq{X~Vo=_1^scygfeh z+LHCY9()r%&+2Nq^PMG~gfRz9x8HoxJgThdoRm&OQbKzb1KohdHV_T|4GL)d!?Ac= zSu6cir{n%DH1pI>ag5f^ieWdk(q{Ac$xZsa*iFPihMDa*$;J;HbL=A=`_%W04__b> zsOae@-Gqj!*X{?WYV3D}ynStigNHmX{#hj}^JfowcyNSrj@6edS{bUFKqBJi@?`v7 zHe|enz>@xZK^$eTs<|PaBLnSoH~urj4c`uaVm-VTvMz+pJbav_BYRMh%Kv~t7`tQn zjWD+GVd%@TI9Nw^c+{=!|4AIa7awEe04}B^$+;2NK!2@WhJ^x39xZi^Q>;7MXK!xKb z+;N2eKN2uN%1vnOj}4W*|D78(=zl1ZX`X{a*__i-TY!t(^7W1{mV?dhzwGBWx+&xFc>U7U)MqOcOv#!4r}?hCu%x z>Bac^zwUoBwPOh@#m1cp^FQ>>A;+2b&C!4JVCm)ga4C6cHf5m6%XylatQJ;|AWoT8@4C?QOA>bm(Lmfe71^$;t z15`rvp*~P8=X(v?jk)4D>^ZO41+CaG*ooO?-Q6nNwKx9?{>67Mhx<8ZkVvl`N)&2U zkTvwA>I)zkV)l8o!Kca%S+?N1yMOnOD%msK!1zpmU$J>#Ne13mru{FD{44wEbB4Yd zoxZ7)73^1X;%0G7K5;51r3xUYotADIc=}dp2m4;y8iasQj)MFl8o&GsJQPMyhCYDG z2v9115PMlOY}Y>&{7xVZ_11~t+z~m7XMyN0t5?_TfH+tR|(fnMCj;X^;V zU$x5Si)G%NRS&dj4iXPcUVhnJJ$r>;jTavssOs+ezOLgp^!=e~)gnONZpwd1)5t7& zw9IiSk~b&7$%VIjkqd8VxCsmnI%qbxxSfBWRi<)&t=9p=v#b3-0A)a$zvs$`v=nId z4FySW^_B9{Cd%d$&s546-7^53%5CV-mmREDVZj*R5#O!8FTj2ne}aX2yyI_IKwisi zXOn{#-@g2NQMkg_T4CYku|KrvG{os+zO9+7e0QTRmbu$^r|%5kP5JF6B(FukSBWNC zearpr(vD!fZ<(*qwI^$I1 zaN|&8z?g3AV@x%=Oiq)-WHZH@EGCmlH7O>^L?##i+t9iEZ{oUC@uzWBg?}p|?2!1k z_#b_+RWXx9V<;3aS4-6shO_EW=S-@e;SYT`A<)h&%*UtaDl zcMgjyt*SiDSA+hYd-CJ$9!w2wsGd+8+MZe$D&hexwXQmJ?F9e%wH=aOvW~3mkZhdP z)pjV2l6~ZOf1a*1R@R}|N1_j41Y+@YM3!|E~nFHhZYBBSB91ZD*Y|} zpE*tTGd#P0pt6OY89A}G<(c5@%GUnD{v!j^E9=_I%W5l5X=_ziTeW4UsjQ4wR?FKe zuQ*M1e+ADj=WSK+wkmjA<-u~%*2sBW?`vvXOf^2_=or+0sM3?NefT=S#-M3;>C*> z@~_3Y3yG>j{U%h028}~cj7BuoP+5nxGoop-EYe!c=8^4MCo*%<3ATtg$3wX+7ZMCw zaOyHj&1$nz;zxx=ZAqy`^Pj*Dz7)VYPP(GCKpdZ?E85aC`T1p0Tfx8x#c`F>)}*u| zfBx6!OTfx$W`qXg@)1~~qD%U#HXynZTd78QDzU>EAOE)>--icUx*eW6|nW+Kx1;wal< zok?Ua7EF;!BC)QolOM#0{tpflr-BM)ldMYS16>L+lbuURBQOdzH8u)1F)#`>H8u(} zGcyV>3NQ*XH#Z7h3O6?jI4}w@vkgo-Ie&eU-D-p|5QXo3id?oAiza4W3KA$=3SRVw z+CG4rj9a0`5VIG)edEmT7Pp|F@ndGr8T6$4>Z!6_VClObbPa*Eoi!fD;p8>20~|Y> zaKTKc!AF((FKe4+wlAT zKhT2>EK8JP2HGg}(zw^A2bSX4rZTbKg=rIK{yIJ<2TUMyT1F2BM%QTYjXgqAX7N(2 ze2$k&z?z$SMpK8DFg9FX<)xy(8;?49)X6fDDI`PG5Vb@aiE|=QB!~)p=`^>IAeVUL znOe2yWSEno*da+tq=_DoazWIt+fL_O5-jl8iiJJDwU@MI!PiCQ?y?DX%Y~@;CrW!4 zw6~;>SmWgOfGVSLdUMRLDi)x9@_xG*#C`+xr5^F2xY)v2mm>#1{2 zovM2y#E8g2%_Ng&>Xi$FoBeNnj+}dlv~e@$e_ed(tBdP5AbtY4?BYun&-n9q@7+n{ zY9h*6KXdw&X-AS@_#098f1*zBnaD^iP0b}L?tygP%u5$8n%wKV2}qA4>NV|>xl^aG zmh}sXrnMkF^U^7c<|XcSH4|+JqI_`P<Cb@2V|&^kWUFyI+6Y{ zfA9&Xt+Vt`_;XIB&rrL?1ko0HoXw)gX+J%~PN3Fy+Dp6XB}$`e%xek#l2(yMlaO;g zjlr*q{9iJkzMG0^Gx)HX4x;Qtx|a4)DofWtrKPk&{sU^QAQ$D*02)PeX&t*jzk(X* zePub7(*<-H&121aoqnT!tNtK8M0@3zfArH7M;SB~zX$a%)IaL)Qa9ANo$jLd*{zNz zD2iU1QSx58oHodf3ezvvzr_f0=qijsq2Y9p9greueL8*2(%BMu5L$UakLk~$l%E=D zCT*a7tQQ+B<){t%aQz^qqK`#r^)A{;d+^&rzovIsym~@^P(MLF>PqKhKD+5Pe|A7_ zJ-w{83LI0xr7l!~Cv)jH^dh~^LhQHFTs2-TQKRbB`Wuu?J!w2f`v_`&#Qq^&i{GX4 z3rej%kP^U`TR6ArdHM^>V8v`Cn;>?Hkw_?X0j!06}yGq#SXI9*(cHfX`D1iIxf$Y=gYrV2I6>fWneC-R^frFqrw^FQ;#dNHgDi)Qe`i0(@3m|l zyPs`gkFwq9<#qM}`;>jjzG9~&!mlP}N;y(4enZmb(pAzgrF*19_(V$9v8UeZ8mBz}J;O_%0NH%qrlyQMd!Z)KYtC%feo zxkw%?H_FrHh4Nx~y&RKYmH#Y%Ab%}?hhJTBDgh-|2`dq0urgV>e?qxW`B?c_ZBT!w zeyBOMOSP3+i}rV0Z(D!cDBEaTqwOZ!9@`uCCP?SA^aMRg?S9x1d6`@zKS4K2rHW5_ zO?nOTJej7+!zDi0EuoL;VQ57c^)jtUOJOfdvy?Sbe-hhGlJY2KSHbd_tR~ZS ztWn;e9hcswE9j8or1#{WZ87)@pl;5+9NoEr$UpWHn zwnQ#bazK~Dsx-i+?SXdhgB=(k4@XWqBQl5vd5gwUmA+O#4CyX}g}sX|qM>vY zv-|=*43Q5|Y3m4Shh8hs!+hVT(fT8LfH`TVehH1Ff2Zjon@Uq`5v*~H{T}oEIZc=Q zFO-`T3}k2dGc$bYX{jm6Nr_&MJHZtn=XBU@nySbWqpmff+NNME+!Ry7p&>)M@pNbk zGN!c4e`tyYkyU$knOLw%6bqhRGK!KjI+TnWC8KR6nI~9DmEF1qYeK=;!Rk=3g-se= zhxoecP<=3VOvHza_{}2jLOdr26@oSCGpmC!))cIX)m}MsO-)lZn%fcQ926Qf-Px@x z?Qq5+8i!acEi`WjOY6@>L`tjayF((o3xkSfe}t-QV!lu{A3;pcubDC}HfnTTO?75Y zPJOqoF*ayw=%N^f2FBbGQG^DGZerS?m`!vOoW*BDHw1TdJ+NkNi-#_1io{O~O`FnC z7n7&d^FF*0^jjTEyZUJQnIsxd98|Ze{nJc&O-=f&AWyDYvnm+dG`g<+(;Obw*P{*8 zf0goUo7U8#>$PCwu(3h(CatKii?J2xGRSAbXJyQ9dZ>oyG|dji9HD`snQLY@VQDhf z#AwXooShjN(Y^W+%BTsh8CMs|iB)BW>ZerucO=uAF^hNkqCwx;Pr7y8;qe-b-I3rn zBk`{Gk?C#EL`)Rtv0-D{ILr8mLgzyue`3L@L5!p>ggN!$!Sp_~W@;Z4!%sa!t=KfI z$gG%SP}3SuU!KqF$JBgJD7fY;f&_$){q5|WDQ1qA@A-;&l*>t*sNuO4k3}M}q9QIL zwn11^jIqB+_v+U5$`&aUn&%0EfPFLyyq!|tw;1ft$>9rpLrat{LL$~Yy3R-kf9ayk zofIvO)W@VI{^Wr5BxO8*(ri6xtKJlXB=08fuBOE7;kN(Wp46n8nSEm{^(P)rH=Yk0 z8yYrxQeCiSO_RynVdKt98PEH)Ju_pmq(OCZrewyXOj$gIP&Tv`=83xan39kGG$GW} zT5NVmrO08y+L)(lh!NI1b8`O0e@ZR-30_N(Gu6yt#`;FiPWL-2eb(^e*T@(!w#s4S zCaqcHJnI=m&FJualR)BWTwP9ZP>jYyGxPCZi+-RFM}1~23YHDx1t5P$mYF=OV5S+b z#}AjzZe43(=+>;M4Fzl0G_9G^qBma@3VK3o_Dau4&#akO(_{%wi@xuMf6Q3z+IsM6 zChH5OkZ9nJ5L-QZN0hA|JE?B32WN%Vl=AJ0-g)pSc&Oi)Qgu5g8&qwS|$$vs-zLrnX2%p2y0Qkf#`VQIW@gxQ!V!uCBfG z2$ihw25FR-aIjT^$8N)^f61HU%}2nn>3$cK4}2F@=@bQ(1K1cTDo>RTtAD^Ay)rs9 zj>S1MS*BBQI^q-D9jSFam7{-*9eKEJK4@3G}L**Iy$6Hc&W8-_M28fJ2( zBrzweB&Q@JL0TVMf8UYt`sTui*#y>Yirai=dcH+dlmgJ7Q-0|`81IN4Lf8*i?j@MfBPoiF)R?~Uf z=HX!`&yC|TqZHC7qp2>}!0~>KhwgYD+B`hmA#uTpIy15rH96bmN^_v{Zns++&m&Qv z%Y~Si;&~3G#>XR!=Xq2di9`+}IEeA`5ohkuzTeVGw50KtKHBYaiO3gGUtFBVoAmG; z^2EpUkmt2Ee|e_O-CEG+@x%B)jpBZTjV~2Q1l;CT1pdHl z=b7FG1OpTeqH2)1=86(z=Osv#pqsN_yn(MfCfyi0hLA@a=ZmPx1lBko$Lv1*hXM8V z5$lH{kt9!I@6wXg)Wj5zq=j+|!bzUg(vsd@PdJoo)5g#F!=@{DE*v=f51Zdue9PWP zmn?bof6;4~3~iMDz!Y}gW0QBa>hH9+wm$p#olmlRTkkl20_WJ-U(8y`HRXMX-YH0( zlirC|JB^Wx&?#m}B6J$F5TP7(dCTS~OQoBnyX?wi3UiRAO0q*`@e+H*DOlm;TqG7m z`z`vB-5w7FsYU-R>J{SU7vhy5#0zU4^>N{`e zeXNqLAZ}NVf`0}}`41A6!%stDtGIEg;QXY<2s0k$guI$&>jkAPl}_y*@P~1Cd{Del z`FZ~(fnN=NWinQ5FIcfs2@A{FCmK{#(rgY%t5oDlrYX?kVyYsE&u6pUv=H;5!BxjR zf5I+Q;J=0REtcdxQ=K{%9iANyw8q-*OJE*Nq3EeBV$f9_xv zw>;FdX80YKjCj2DRdruV)&&=}9(wMP*49U-lsw+MXU(S%fAo){Y|MQ>)^!&MjGltVRDu@Er{JChFxeN#)#^MTp0zcJl}xpNcv~7EUS>m(E>%&J$9) ztF+9Z-Fg_bu!})M`3B9(HfVZ=e<9UHE>Brdy;!?R8Wl$K{`;|BA+pQj4zn#s*SY!SC%drVtW`*kt z)TGVKL`uD--u=(0`@XH^-iQ9N`e*eGN}x=Z8XcD5X33u9C7U((aNxzHC`e%#L%U zSmK^yiF*nkzu;?1IA~)w%k0|t7R9G*vu29O2_dtHe72jO zoDzi#tP;x2lgd3*T0-732{xIgvem5j?^x}&-K~4}A8OsVfqZ_@a9D-vf#5?k~Sb|q$%fu7ivTTtfZ>8ye> zk4fDo#q&Sz$_g9LQQl)x{ycgIe;~M;z`Y(4ZN?7b(;au&$!}X}U#r;Xb z$8JwTe0yHJWyr}7naNPUEp0+04CQdcQW}Eee><9P+DiD4!dfO)!0$PY zL`AW1g3~HiC3KId*La@eVijrsL#FCRo%X1^!tLqnP3()TdNv=KdnrMGFPh=2@aFm| z5`l!MzrvH73ea9OVR+&A z3-puEjK6GRf47`re_@+ftRHd51Fb#OeIs95e9xO%`FSI*Xr0e`UbnVSobB`#a%uVE z!83&i(Ez{obDSl5NYC%30{x%6`3@9rF(dh$TWLI&?%@mI6Jdr3U3~rcdc<3iI4k0} zBErc%PZ(?A`br{XBAhBuRTjt#6(zr*mt5f=B%g1)e;}(SP@Pv>FjlU&HDpaJygn%* z#D#~iah?^)w<2LHQeZ_wV)>22MkL>ggsn&c7s6T|D|ChPq&&GGzqh+ARGnW_JSjLK zG(P{5xY@2b2{V$Xr!S7X+I6-28qXDZ3-VXWYvQhVt#PmOtjJrQf2(V~dwoi_=}mXb z2`6TTe={86E-XycB_mNO=^3W!umi4ci!-m!lrr;EUEQ(^@>#x`s`7n5o{OTI-OZ7m zohl2%6oDhs2$-Z%9I=Xz8NZp)Zuxl$t~fOZu1BWbrYW+dvHZMTc+TECh{B)3$jtHiOpj-GmW*dSTvy-lMO{uwo6?Gr-jlFGBC(h}46 zf5bvR+g#Cyyf$OYs&MsA zDbMU%bbe8ztFdUdYgSQHk2S89T{fiNo$;tErO;3xjmzpM#!>8H-`2uCzNZSG^BpSu zeafE;?bWF)n=gr%OHyK@kS8Hky|@t_$zy@EKzgKWQCWpj(e->~NY@GW`p69Xf2_!r z@vGurj{nB>O~hMXmcSHGab8(kNltS5(rhPmBxc@5CmM*CJgQO(=*`*b@$hdxW=#)e63$aoL5Tc+-lU+#{@E zPyR6K%EnQq;y{J8se)DTgJ^UPZ#vB`y#M_4++v{##X>iVg>Dq*?bi-ze^NlJ(j+Ze z+y#iEswV1a31asXCv`1dYQ_GvpRiPMsyD>y(w{>8EMn6-&T zgts60@I$UhMe7l;qU3P*~P%2@;~Ef85dUC09<{JA3=ngBJ|xHRqj+S!vDcrHiv->6g8J{pziw zJdU*7r~PRcJvX%UlXiZ2)v;lPWrR&!=w+BkEea^`!MTBKo6t_0+Ec$)XI!u8S?@+ z2W;J?JXiPBzEUsOFsa5>n|!{1qH}`lV%LY-$En}4lL;P{A}7Ro+?45$vw6vx0!dA` zHb)+LQn)3h{G|Nlf0IIV^Sy4XfZMXJh5YBAA$Md?EdAw0?legKc1fqP!jWeP* zk&Crgs0Nn|ug1mDD^81E-a;Ig3vU9KIxlysxoCKe&WuR3N!)HMOcausC?qjaNMd51 zO>El6ebRp0A=~>l-KGR=Rko2f*_O>mVG}ZF%ND-6kU^VJe`;HXaLj$#Wuw};OWg7b zn|(UcUNS3%N%x$NR30^4?n(}Cg}8sCMu-{B&*{a53{obpMbdC^VM3C)N0Y0`eWpLR z^zaq4-&o$XzIfN^;A2-@`Ouc1FWS8FzO|Yx0_0DT#>N; zUuP&i6Z`sl`UfNq&lunzo!H)0X^1Fvw z0{iY0=gt*V*Peby8Xezf!u3lYWfRgK*v$e=X7Q}B^}W__Ji+bzX0qE?4x0He_h*wJ z4$bgq(^!{icCv%HeZ{^WzNl}W@9y|}T#vf!e;KYqSIl?7r}#KqqZxs+EW1mNcl(_z zMT#URDY8b+jma!oPZB&#iYjR$k|vm$7H^n)g=Fbg#`XTduAY6$#Kl>}A1J$-m@mq; z*B5m`dns9*PYT81B$w+mbv4f?Uz+EWWb=H&cT^GiNZiNr6U>uhhkPL2_cYr_IrKGi ze^PoR@^yQKm)SFqs8&Su+*kOz zy}2TcblmLNqsdIH`ZJr6z))^adA+D@1i()|B4U=#S#UD zAE3Dkig7x*EGQ%FgGZgY9O4G|@=9@UiuH~NZS#uTOxAdLd(ZgnA92+QtGjyl?%m4g zhYp=eQNpL*;o7qtLAkhb8yx#hdXxpj%bo$T#TCyp9l*rx1qp_gsn)v70I(AAuEz= zMRKf2kb4qKg_h(d=k|3BbyVj~$eo_M#BrnJy1a*zwsn0*b~(~A($jhj>-uJznkkK! zBu@!*rZ?Cd91YHfxQ6%!f7fjLY{zWp?6}$Svt7Hxy9?a>Se4hMcitptecZJ0w8Dj< zg?Y_+w>j^LzqRm=uDADi(D`Wm0|gHj?g~F2PA#-<_;RgC$cp4y5p%wpH3iL@lx9s6 z8+D8RUNkYgVv@ZeKi;Wi1j8vxT=%RDezM5*brnvOugW*lH`%w{e|N~IxqSiOT;KaX zCE&ZsC;5Jj^-aOfAok~IGB567Q6_oV>r5i%VG`f3cO|EmiGACX;4NdUdqdVGSyGli z#ikf13Zb_jS-SaAG>O}3#os+HfP;6QFPfBIR>G_I681mc2)VWQiFb0oAg}2Q@>)LO z*Zaf{%b#NH_emF$e@*{#k1(2fMQG>=f5q!Xtcdr?>laxUW+KAt7jaX;n<(OE72Zlw zh8RH(yoIKc10_;bNpp!*!d;L&5<@ZH(F6_VOF~G*jD)lV_}GF%3WIrW51+DIjNKjN zh230p!h8ts1m3?}_=j#y__(?66RV<;&^TXD(_?6yKiu*ffB60s@qk`F!aB4>BJ;W5 zaPo|r9J?GY1ZdT<`QpgJb&1~taAF)<%rgsiwP-=N?2ww=HSF~ydXhY{mg@>;lB3X; z$<%HLvXha_NeE?9ZpamH@8Zm4g#`|$7Ev-O;K|Blgz;eGGy-vvUKCljY#FuFYi>mw z&t&jIN#&`Af2&#$F6b`dpj7_7>jnH~OUC^|xN4{S`kyaZ)GPnC7w#H4pij{)W3T!3 zByTK!!K@{-Q&WpGuiJmegjp|KbLee$o`25e)2q)5rRSHNzih$ke^?iKBi$z zdB~rYKj!aJ5?zn-$Tlh*P}Q2$wmy zl#E5B*@yis-sNO6rFt9@w^K{S8OQC(rCjDR&k@E6!YNJ@`SDD**=rm%O}2TqX4}m+ zg=|6FCR@yQ!1lUL6PNwwt^Y|OtTyiKa${>VPAX=^d=K!gkUjopAR5PI&nE8k#k&LH zeD0HGe^WZ^y<xn0lB8AzTH+uR{zh9cVmf0?8UAOl1ZNs}}@XrwWXBoZ?BMNG- znC!0n%ARQ#Unk!G*McHWe>bY%o^Q9GzSu+de|YhQJQFoUJzM|Q5j4m{-){f*Y7d$D zZ9lGh&CKH8mYRr3Z_&?`1(X7uZ_A>q)Cp9_R?#F_t|c6D7DbiE=yH_Ziu3@`eY`Hp zj|bidDuD?=hM6}Um;#LDX_Vc|>!OW$yd6Oo&?I|+=Bg9))97!#`XbE$?nC^3<*&3w zf2*KNk$w>M_A5l?ybS8B*S6A~$iD~Ary}n@&^n|yBi?{|Jl~Sn#t$fHYbeV9MktI4$`H{1;oIwyVMU!=78jJKD`H=r%a;} zNHdIcth$>v@H8-7V1a&Gxra8%C#esfU9GLhJf?x)J%O*OSo#}v)ADI4 zLz|xnd6-7y(0_N(QsqM-Lo0!`=$nkP6vwVCO<$U3?CU^p!FllAGx%Ln`0xA=QOj%!Ue^HAUZFD9* zh&G$Fi(peW(GX=J4Uuo5ioEq9^rY7gXLJ}4WLKBqDE15}E&9EtQ@9q64Lw!>_; zdI0m>27Vr}7SEbghVgk9Gt*U_9fLqy4jgH~&9@^rpHE zHglW)nR-~)F`rwxPS`$Ye?5SpMUlS~Xa+=T5a(28!v|@S zsn@wChGL8#n7R);jP;(V>sqb;h_+kbA}8uwv=YSs2&noanD?T#J+)46HTTml)?RAl zQ=GMrs-<+PY0n-MfA;1}`lZ-MCy4PmwC%K1J%x3L4HVC@5 zf?jMv8xNu0cs>@?%MknZ?Q|jZYc*`sYS!80qpu5+je!#Tb zgubswKCfHFeHrc}aDA~wDM@PAzyI$(1{1;86CF0-ckMVM%kKOu24rK^+6ZP6bjMYMiF-yZRtD#s^ zjF-pHe;O~w+BQyWj6X0wF;Ctu>hUtl-Bbxay$j?Uv~{$!jv`;I&*b<<-(u) z`1=K=7&1f&>`nb$&}1_7kIA)RFL(^@Cw-zM@qtRG~BIL|xgcT9I&*K?(% ze_b@WJuEqBlZRWWKZjC<@<7M5{blOUp*@dh&woFyJaP_9q9S<%9}{G-;QMK9Bo%N- zc^GR3uLGR}+R}$$BLH4j)OXQf4z9Z#(r%pBfVStosD`5*Uwd=D${UR5*7{iM(s6w- zzNqpVoevrYtpFVhI@F@=b+)74cFePEf5{J(>7W}ueyq*^mjK;)1$Ys7;s5Kt7(rG6 z51_pZKcotN8T7ZHccT1ff2emI z=rhLi)02_D5_lTv&yl_as6+f_&=kIzX;q%A8O5w9i#W(}} z&I@!&$1}vgOs(}i2km&)u-5-vwB4OS2Ws#EXQmI}_r=G#}3{)|m@%)@G#%1ms?QJVN zN%sLBAk(CCQ05z{Kz|Lk#|`=Z3TLASIgm~OCK%8UVefKduiFp1`xWRxq_aT3vi3B~ zwtmmXo?}n@-%kI#d*pwxr1#s4nOwRiu=d-;#-f6?vt>Hlfk z+UG4e`cnyqEvoP1=;)Vz&ks09`dohQznkvpcl_Jw4t|N1?uhR_?8G`;MVX=EZh0XMft|lhIn3|A^ykE#UMsn6@!~zoe{$@h0qdR)=@fo9 zWDD~961~N|pKH>-#6CC?`=NvH9q4z0cqcSR;rF;-(l6yWsy6SCldZdCem}+cE3G?u z#63p)d*r`TPo;sXfhxs#Pc@$3zsMhocQvc{y}LYuo;Kfa#hhE|KF5o6pM4tD+Lwy= zP3z@*XgTukvE4}be`pc$er3G1ukt)}8Fb zpl{O8l$C(V?0vS|p6Yub@Gl8=D!=m0L z#(OhuEKr4U%|N}a{N0fST5$&YQDr=>5fJxk`u$R}z8Caz>38BCquYEJ=u_6xIB}h4Eb+^-Xi`U zeG-2sY`s@A?x*RLz$@?-0P|fg$8-*9E6Xw86V{vYe=H-8yb9VQV70N89&QJe(?0-C zNxwwj18JJnf<883Ea*q}K>s=bbuKbdX!bK$nFt*_8-qFmbvZ5W2;_5`-w|ehMn@o@ z(}5j<{DD6(jvp)cW8?U-{BTDgKm5Nijvs3`)Dg%J{lxf&bp-N<{Tt)>F+S&Y1oHEK zVjLqne**a7jQOx4D^rYe*Y=x1)z|=*5?q%`9hyzrvGS`y92=aSHBCu zSy>-w0yaT~>&u{i<2wwiAN@9<2$*2>#p|{{W%Mmz_Sw42sDJu# z(3d)-Q-P0+{zTv0_U;1>0UONutv36O8Dnp~f9*{9R=+VvQ7?7|x(tj#{Q&6LGiZIn zfc`A#uK<28`l2~59?v%U!RP!WZ|jU*pl_88uo+E6*sGImTMerGoGuVH_t05;)jVMj z|4Lhgz0+a)Dyc+s!4J8Y26DfF+i-QdD1U=G4SN&8Kbauj=gm=$kg7aSKJ`PItXxLb zfASvq#e-pQ(T8|1gSNTd=01mfJq-uMyGrp+h`&2oM5~;;h5zC~nPlZ-jQ1|uk2Bk9 zwT>9-Yqsu4-;8~IGc8hoPFLG6rTy9ojP)?hz%(mi}Lqz)_nkcx6R5-;V&kN_gdzCKpVB%;P2a-X)XU&f1;yb zWBE~SK81Nl(01ow%?Fh4pKbFuX*++zxKlU)|1^an{5_ty6X{6JF^Tth2OvwPKWp1h zLv1qX!!$!%Nn_RF;7byXwLMFTw!xIn{WF_Q_;r`^JzD(+zUWvAV{HbR`hFF_b!o7v z;|r1h7Vwy%k6gcazR*qNo!(&Pf6oS%0JDte{F%Pgh@U=gv@f15G0LBY9_suZoYd~F z=6wU=91?8rr<&hVt^6K6^X{I@PwhGBzj%knb(nus^#kwtJJQ=gXIg3adGA9t;IPU%k6C@7yvh`UBq|7OB z4JfyCg#OaApHNI0C+$)Xs|s|P>t_}KM8ml9Jb>oZm^*1 z92Va#K3aUi+&;p*XSR*m>fdblf4YwU({=gZn)gqQy*+*luh|281L zrP)eJCN%K%DPSA$iiz7epeq^tTP1lqF*U!G$WZ8pD?4RG6neV6Nb59PNs z<7}T#A8VYa_4~0;swnSO7gDYCJN*ImYS@Gm`b+9k_yPd>y3WMQCN>$qpT6Dv4pI}} z18=2A+XH9YYz|%qfBh{09y0xH?#Etkp!H)T|ID~7+bjPQ^EgF5@qKAjoUcbIvv8)L zMLzj+Jcqx)-#5uqXaL_c@l6h2 zrx&mX@bWK+`qufrP~0!gfgS%71;n>McqYE-K^y#AC+-)?e>hR7BOw=~QFgTcU-F%x zLrnY=xD4Z+K(nOlsGB?k=i%4k@1!7qJ}?*YbWk@?58MM>Nj*jWDagsUC=bXA(yxN5 zINPhp`^Lmt1N^x-Z||XL@QJ6PJ)_)VQOAHr)7UejuW9l?w1;vMPD(O73OU7$Yk0l_ z_4XU*cYd$Hf6I$!RvE{cGU_p^bp=g|&XoJU?(h z>JR{K>GvW1iq!GD0P8)uN!7<`mU29@(3bj$##~vdtOZ@|N_ujS{9+~)l z+R!!O=h~`iIrO*|7-D|+J;QiE1|Jlmf^?oGgK?MrE`543)|3k_sS{% zrj5&%=?kK&{+RT8ey-Ka`MU~f6#rgJ)V`=|9B|9`*Vk~+MH z`my&#f9Lu(<6Pfrd@ucPzEkP=?Z&yj)ae_KZ5xvk|kRqPr3+islGU~i^z+akS8 zrP6nX4Pu7{h}$A@FF6on94M%WOGTzl8AuMP6mz-Ffb7;^7B(rtuvs#py%uiIu>TtN zDof5V?3eV0VS}XiP{zVZ;4}WNhM%X!nVNqO@u=9FzBTNmu!Z~{5^?eOD8~88&2^Cf ze;v%Z{3X-3+}43UWzlo_g=U>?W}WYsH{ac0FG&)6@{81kf7{!3?jkA`-$s8V&MQOk zockbW{Cw-aU91z<$auHUI-U#o`y9Tu)|uY8H*0;P9i41I?9-f&AHy$mV&A<$^Z^?u z-uEofPnzT8=Mx{~^oF*xpLLeA&KgAhf0X;^LHT0%LOu95Nn*c$y50HqK@RZ^$;oJ>+@db>P2%FMv0Vd#clK^S>S9d}%umZRFn%wC+{k1;1V(hy4Qb zY5NR+MQ*0c`Mo#?|GNSX@wZbJwnDGC9bdrjZ^Td0zYpd#@e32bF`$%TN9p@7F<||_ z23z9yf!Y2b9Iu{1{FM-g*Z(slWuHMxB~e-}QTm=U$hhtdGC%uq1iSKo-=&jqz$cT8 zzzdU%zzdU%zzBcD|K(u(U$mkxsgmv`8%gA$V*Y=9RUV7`4XGsUrEzlMu5fzb^{3@7 zbOey(E;}PxfxU8poVBxGAlf2_b|t2ixCeBT`M(rjEW#kdxxjW{KcLWLIUD&NgiC>D zU^}oMcpcD)5b~!%U@ou`IKrRES+aj;FyI+bAp20)hcSP;A8yZD&*Ti~*4j*mM>hq0a zeT`y0%Z%*q0}Wcx)u4&_CC!{VT_pzwq{^w7WGV(e4Vb^e#e=^e0T~PYB)8JBYm_y@P+D{b6T$MafcWK)xAC%QPd2 zsU`lbpq-Nk|U=t7nAY}+WKu~%Gcole)dH_*i6kwNL--&Koq(eKy z0|S2pQl;0V7by)KKPbH<=&RBTg8oi=UeK38vq4{xUf7u(paF4sPN?Gn^?(-Rxhnm3 zS6*U3AK;btgLeUh#XuD>5||9!1ZdKJDR<|zKq4A>ie9l3O75gj1$~(Aw^MX>AQ~P7 z0SxjW-1j`h5Nr%?3`^1Q`n!=SO4Cgo?(Oh$g+r_|&%|VakDd}1K z=HfR;%86!q{GNzsh z+-%aDc7Br;XkmBm3_leZkizbuYz0!sDk#kILHp1Gk?uu)JEvvjm$reH?DT(6KsEQy zaM!>-mcVQ634G%}8u--TA|d*T|Ea)R!4`$>3>-$zwmpG2{MQFwE^e_S=jm_@1KAf8 zMfdvq1Rj4y6kUb~8+Hb+VNdXw$NcN^7jJbvr9`|i4%qPtVntBbnpRHPpMKa{*l?cYN8f9iL8L}@h7$@7yz=8YSTIT3FTgh-VI8hrbDBY?ZOZ=Oi7GjpU)p#-nAxk3Fk zb)z*$m-Tl}b#FVGvsiDU`8hNpIjjpy?8y*F{V}nfb7* z^y}9t^Quxqt3s3N^Idbl^0WA+-FP=&)6ZUeo@lgvPEKr2c3AD27WXe}ekE?aeT+@| z)wfOhH#=v&+WY4HoGaJgPW`=EKl|8+nw|Bfwe^2Dh?zM~S*-Be`jlhRKfO~oHyVB} z64{b2{nSk2>8C*Xr=KhwE!&$vx$dlKcb*a~p}#%ZG0yjE-yWMlHC+#Gmzk`Y2fwAp zophi1rzTKs>&!U8)Hu)FXQ@elT?O~cyKefsh~u=ve&9T;w>F$UUQuK^J4$ryC2hk9q?#*`zqXi>%z3E70Wb3jAb*r?iM^f^CjZ5 z>%j+oE5H76G*D}wtvAbR@@37-$zK<~yt;Aa!dDOa>Uixx>}a%qC%)>QBd;lN-;0UM z^6>X>#NUPs&kBm&pZ#IQrcaxH?b^3?{iZg z_pCp7@!%qTA>cuHdF^xAuJLCXywKA;$61+s>dZ>{8LwtukLSqWKj%xf@%Mw#H=PP6 z{)(u{NI1j#!Tl~;Cfkx6>!@9N#vh-{!=(HnyOYhoao;7JQi% zdG%O5_lM>+t>Fc2(upYt`~N$%g)UaV`gX(33Ac|d7kQoi z^yty6TVAmDoOyTR&1vJ*oof}&uYOX=*B<%d_v`vrPxeCHjA`?39bI%YM^Sgh^yHg| zk9iufK2}Ry$26$!O!!x)a=r^xz`&ctLcl)y0W5E zREt|@+LpfsX|A^{wh8cF`p-ByMQAfkZ6I6bwK> zAy0t|%rG#tG&RB$Gshxki6LfWU}T1_*T@Ld4kHsoW01OfWQ&bV%`DI~8(LTxSfYs; z7?~TQTWn})XpXMez}Udj98IsWv7s@tI-vaqKo1*R7+@$gH8eyMGqf}}LDme?Yhr0> zf$kV%V{;?)P&G9$F*HRp&)CGU-WXG%8HVpn4a|(uEdh#|V$o}kMa&XCN=yyR4IyHa UWzX4j8<<;~bE&Gj`nz!f0QR^L`~Uy| diff --git a/specification/level-1-version-4/sources/output.tex b/specification/level-1-version-4/sources/output.tex index 22667074..8dfb7acb 100644 --- a/specification/level-1-version-4/sources/output.tex +++ b/specification/level-1-version-4/sources/output.tex @@ -187,7 +187,7 @@ \subsection{\element{Report}} \label{class:report} \label{class:listOfDataSets} \begin{blockChanged} -The \concept{Report} class defines a data table consisting of several single instances of the \DataSet in the child \element{listOfDataSets} (\fig{report}). Its output returns the simulation result processed via \DataGenerators in actual numbers. The columns of the report table are defined by creating an instance of the \DataSet for each column. +The \concept{Report} class defines a data map consisting of several single instances of the \DataSet in the child \element{listOfDataSets} (\fig{report}). Its output returns the simulation result processed via \DataGenerators in actual numbers. The elements of the report are defined by creating an instance of the \DataSet for each element of the report and are identified by the \element{label} of the \DataSet. \end{blockChanged} The simulation result itself, i.e.\ concrete result numbers, are not stored in SED-ML, but the directive how to calculate them from the output of the simulator is provided through the \hyperref[class:dataGenerator]{dataGenerator}. The encoding of simulation results is not part of SED-ML \currentLV. @@ -196,9 +196,13 @@ \subsection{\element{Report}} %% ~~~ DATASET ~~~ \subsubsection{\element{DataSet}} \label{class:dataSet} -The \DataSet class holds definitions of data to be used in the \Report class (\fig{report}). DataSets are labeled references to instances of the \DataGenerator class. +The \DataSet class holds definitions of data to be used in the \Report class (\fig{report}). DataSets are labeled references to instances of the \DataGenerator class. It defines the required attributes \element{label} of type \element{string} and \element{dataReference} of type \SIdRef. -Each data set in a \Report must have an unambiguous \element{label}. A \element{label} is a human readable descriptor of a data set for use in a \Report. For example, for a tabular data set of time series results, the \element{label} could be the column heading. +Each data set in a \Report must have an unambiguous \element{label}. A \element{label} is a human readable descriptor of a data set for use in a \Report. In general the Report is a map between labels and data from \DataGenerator instances, but can be interpreted as a data table for certain tasks. For example, in the special case of time series results, the report could be a tabular data set with the \element{label} being the column heading and the time series results being the columns. + +\paragraph*{\element{label}} +\label{sec:label} +The \element{label} attribute is of type \element{string} defines a unique label for every \DataSet in a given \Report. \paragraph*{\element{dataReference}} \label{sec:dataReference}