From 8a4783b2c8e29581aec7e16f04964d5e0e258a77 Mon Sep 17 00:00:00 2001 From: Sten Laane Date: Sat, 20 Feb 2021 12:51:19 +0200 Subject: [PATCH] Add readme --- README.md | 56 ++++++++++++++++++++++++++++++++- img/abstract-syntax.png | Bin 0 -> 37013 bytes img/command-transitions.png | Bin 0 -> 38238 bytes img/expression-transitions.png | Bin 0 -> 35548 bytes img/stacks.png | Bin 0 -> 5488 bytes 5 files changed, 55 insertions(+), 1 deletion(-) create mode 100644 img/abstract-syntax.png create mode 100644 img/command-transitions.png create mode 100644 img/expression-transitions.png create mode 100644 img/stacks.png diff --git a/README.md b/README.md index 7287fc8..bce7a83 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,56 @@ # SIMP-abstract-machine -Abstract machine for formal semantics of SIMP (Simple Imperative Language) + +In 2020/21 I was a Teaching Assistant for the second year module 5CCS2PLD Programming Language Paradigms at King's +College London. PLD deals with formal semantics and verification of programming languages. + +For exploring semantics, the module +textbook ([Programming Languages and Operational Semantics](https://link.springer.com/book/10.1007/978-1-4471-6368-8#about)) +defines an educational language SIMP (the Simple Imperative Language), for which an abstract syntax and abstract machine +semantics are given. + +This project is a Java implementation of the SIMP abstract machine used to teach students about formal reasoning of SIMP programs. + +## Abstract syntax + +The following is a concise overview of the abstract syntax of SIMP. This syntax is represented as classes and enums in +the command, integer, and bool packages. +![Abstract syntax of SIMP](img/abstract-syntax.png) + +## Abstract machine + +An abstract machine interprets an abstract syntax tree of a SIMP program and follows a transition system to evaluate the +programs. + +### Configuration + +The abstract machine is defined as a tuple (c, r, m), called a configuration, where + +* c is a control stack used to store the program and determines which transitions to follow +* r is an auxiliary stack (also called results stack) that stores intermediary results +* m is memory, also called a store, modelled by a partial function mapping each string addresses to memory. Memory is + used to store variables and acts as I/O to the program. + +The control stack (c) and result stack (r) can each hold fixed data types: +![Control and result stacks](img/stacks.png) +These types are represented in Java using the ControlStackable and ResultsStackable interfaces. Note that (a • b) +indicates a stack where a is on top of b. + +### Transitions + +To simulate a SIMP program, a set of transition rules are defined. These determine how the abstract machine changes +configurations based on what is at the top of the control stack. +![Expression transiions](img/expression-transitions.png) +![Commmand transiions](img/command-transitions.png) +These transitions are implemented in the Evaluator class. + +## Usage + +To run a SIMP program, it must be represented as an abstract syntax tree and passed to the Evaluator class as a +constructor argument. + +An example program that calculates x^n can be found in the Main class. + +## Further information + +Additional information about SIMP can be found in Maribel Fernandez's +textbook [Programming Languages and Operational Semantics](https://link.springer.com/book/10.1007/978-1-4471-6368-8#about) diff --git a/img/abstract-syntax.png b/img/abstract-syntax.png new file mode 100644 index 0000000000000000000000000000000000000000..3672f168e6fb7f0bccdd80fcb7649a07c3da2352 GIT binary patch literal 37013 zcmc$`bx>Q;*EZUgLTQ0w#kEkNXmFQOEO-e7m!iepEiLX++zSLK?!lpW@!}HPEl^y7 zeCcn#xijy~o%eq4%)N8>O#V38lXLc7d+oiRwVvlB{F90t&MWd)Po6x%kq1hHo;-Pm z`aG?{#6W!maAC21^5p9id1*-vPs76{JKHxqxdM0hFq*Q#8vF9w&X4au;tSWrxdlml zz#HWH_~Wa|S~8P3ueS1ra4;;BdJ-z;L`Zp?Sm(neu*b}J!OXM`Rry$))rZ5sW{1`{ zhe1IBij@J6M86LoYRuO+5Om5k!Ium<;xe3FZ~B8^^X!(&$F|Zyq3})4QKgg zuRlnmTK4rJeHg0!rov#RL$z2^=)X%*lem9Zr(u#2|2paa+fD~b7GENt9I@ChIc;Ah z^y@oFk1h0KQ;$S1>ldp#q+{B9%C7)x$Ss6+?WsW-Zzvz)dL|b6_n{nsaG*`8)0=hr zd5Jwp|<%2RCT^X3cMoBsMIpre8g-`TW#p zJaVAht@|=%BM3Lsm5)l^DDUwXbJ67V`CZ{5ap4-B>x> zap`OKo_o025Uk=O?txL0#`;W$yVnrn%5}rZc$cFf_hYIQmF0#$`naLhZ;5+meK($| z_)|WL)6osS#+9@tb;BLP@)l9p3irP7s)I9Ce~xoj6w>dr^mJ)s1NT zMSf|cl~3@*&6`lz&}SEn&|3tYFA3n(Twx&LFCanH_u?`yt7A#>tRt&0Hb$i{)`JYH zX@A%k+&GJ9?-|%BEBHJRn7DDJXw*(9%LzbyfJ5L+v~+oUgMz@cj<^PD(kR0>*$=gT zC8=pIK^8>vCgA?X^ik)f{&AY$-(&fGk4IDyfYJE9vN2KT<5%v&7#X}r2EDju%ro7` z8zZ;~Kw%s|us*j=Gsu!DUi8Y9eR=TQ&cMrS_h;%+Fc)vu1UHIUUprtxN7q{(%qR84cuLDw$)I0B|z z+;+~t=V`2MFOS#W@@5$AcTQ#pCOYO)P;4P}*p;Lc-O|vR&q!{!sr3^fM*C_ViM@c! zcheZyAbaJ!lb0KLjVCEI^G2EUlR7zGJvOw>USz7f{T}Jx=|xB+OO7^Qc&cc|GnJEf z#5TAOTB)vo@O1Q+96Y!s#8=ZLLoc2KY^w2Dya71yt8A|LoJBTTDOb~8Jhi_#-zdl` z0-MeyT#qW!{94A)MAAm(Kz80KfTfm`O5s&&ddC|D4H6;5<<`QH{hKmC{Wxm4`EtQj zF!332u}z8^`;M9mx`!D&&ot!|tN2;`W6_JO+vkw}Xm!8a#$De{11AX@g;q4h8~7^N zZ@zpo1+w!j{l#O9Hj#GvmcqtH!?M6aZJBMq2X6G5!{y6$rL{u{>6xJCf)yMRj#Wu^ z_IO{w>^EFL`|%c5dDFdfeGTep&&o%x3()9p@3{Ld+V%gw5f=rlP*6&n;LNA&Le2sn z<~ywKF!wTyGR!inv94phJo4Kmy#G*pXyxn18Wd>+BCh^IoAVJ8qvY^+^F|7>MB7)^q6A@nyEf_`gBb~?mc z%$p=Rb!@DoU?E;RMeashpENq;g6`9y#_t{CK6A* zkyraQXHFh@Ry60PMTQGbO8VDP z1W7iP*%L)e{=b*!ZjVV1n}U7DI}(hvT`l4!Lfw523M3b+h>sU3WH)kg?Fx*yWsXQ6 zMs#OQLPUxPUV3S1Y{YGGH1iH^DLkioF)Hg&9*fgowI+wwNSyLf<08)R-jocmXe*lE zQF*=+k_Trex0WIGKQcSayFG#LL}7VKDF_?XWjO<(&+Do7w z^`w-XPOH*6h2~zLSlS?=noql#7#{G-PyVviM9|-Wr&zoL@`T%A&#lg&) zZ97u{l@fl?_LmCZ^%`o~VXGmC-;j8*@+np%2RU@Jcjg`)`Zyat_psnx>#u-H{ABjP=V& z6n<-Um{Li;a7ihkviSOb9r_A14yvfn5@ddaJ^xW3JHS$ICdR|mQMEff7XFau!Q`al zur|BpEPgVbHc+6$F@_4=mnz^>4{Ql<_(Y*>eL=WQooz)&`8lW4z0yFk$o%!x_pukS z5^j7~qubxckA;8ymoXJq5FSUWL!yOc1vc}qK$;6*EFmgjn@Zx`(R6ekOppq4-!;ot zWIBXK8d;>!PBQ^U;Ny=EJCi{3raksTdRj6-h8k2Hcr-b!pKt0NuuBCpyEA6Xz!Krd zksI4x#Y_E3lYXAXeV%5(x@yJ-y0|d(~d@JBk8I3uJog zCX#O6nTf(-&03@n39o)#mNc1owF;7DX3@OQIIN{gnIAb>4ZeJPxd(QEwNG)s1SL;M ziIrtc*B8){${o~D&Bz<0&``QwMS#Y6*WE#U(8POFQmHn7E}&>GQ-^2wgxb2$ozTpa zR~Ge}aLDE79RZE8Q74juO%h^*bgUxVugH8H*`1V(b{7;T!CpncV*eWcX)h}w@$kvW zfKIT@x~7p>f{Cmn#AT%&>dH!Vsf6Q|+5z9$J!(!cuHfSzlYr%h^rfs+CA|}kS2M^y z{%d;)%A94(WS|cDe31xsVK+9nDz7ei<(D^56U4k(eNz*l+zt*xyg=c$yrwNWU@>QW zVft_@=^V0G-v0#l{E1ISmLUG!L(65P>Oc413Z6Wy+!GU>rCxD==cGfZ=mS!$)t@x8 z-w4g2uG2STsLe{pR3(XWgIvD|kNqyMFQHzurNVDGXePp9K~X$iWgHiAF*XyOlFjcU>Y?>)h*n0Lw_yT< zndh*Fyq(cFnPdKFCW7A)wz6*56ggBD&^#*<(HS(F(Ef%5D}RdK{e(*~f&jqQoJgW_ z)>h>7-agm_{ADH*bbjMeuwF}0l51uptHmCxDqpM5ywp|MK;7TbmIXDgy2SS{2rY20 z_G2fp>$PosoHMQ2AM#3vK4sbq7M{K}gHf3p(AI6VM3=0!GtS-^h(T#0N}H7#W*R29 zjTRQP(sD><(VtCF;xhlPAmh*MhdcSH_ga!PN3$F^S__&{L-YC@eGyARFuQ>(+`u>Z za{_GbLW&0Q{Vlr^<; zhRn&~f2Q6gvnRd)abJADHTPHC(EbK9&}lkmCQ=WD0=6o(PSE%u^8yo!9VBOJ;G)2+ z`*8&LcFBKdLZnthssqnMuAvybEy;p1Lk(4j^yAZc^KaVzPPW=EDKn6lM9xi=(@s5sN0oA8q@^q)Tn#57zIy=R7$iM7jTX&z=)^6_pjErK&RyY!k>ZIW}>9$BpPZ;A zn<$GNLRh+6rk72QScVqG6!^;vo+IkK5zKeje=d5K_a>=u<%^dm1&ZChVUjs38LyX2 zJTXBv<2N@A-JVFqTYZH&+5f%Viwaawi?8m-JR4f~Ju3)6ujLh&J--=^$Ns~wzYQ<> zluO1G`nY4ALJhmK?x_g3oeNTT>XNbg`1i%w0VQaHjz3iIM4}8ya?BHVv${%SWHgrx z^l4P#Tt0dIlXG7Ne8_WP04E1u>>~3&R?R_ZkIWBZVj zAz4&Xr_)Va|A7=&)ZN}p1$D_2D9MtN)%f-FIJ3KUtUcDD%!{Oym7~B?N(R+C-$$D? zH0plP7A`>-a(b*E=JTExA0K~2^uNvd{=3fnMNCk`%7@s;9LJdy!OWqRfFndSX-hXp zTXBDw43!$Nv#KOdW{>8&z4gUvZ%B(FD=1EvV_%>@1Z{2 zO1WrdZ# z)CRW)2jhMpFp5jB6~pm=j5>ItcQ0i%I$aZ;Kaa9%zAPP!rIgDNIx<@6x!9IHXV*GL z8jBp^WOm9KlR=kdDs^Fz;IWO?hsWqfUjpkU8OMct411i|^<_s24ggP~SjT}9Z=IiZ z@y9>uRJ%GS*j=HIL7jvB8k{A4TLzDG;`#WqxE)c{wd5{4^7r>fSqqV`n~stkHb$>$ z?d$p0Pa~qsw%?(mB)Sj@bko4Q=Dd%TdRi(-ynT~sF(TC=486FP?)Ulgv2~Z)=kL$4 zF0#pe@v^8>txLEH0oUl~{0HUr`}g(NpOnw`9+;w>oWNn#v~DwxW4j{4VV1@T{81+l zs(I=P9#>-aN-dk_i=d4>$&yv3M*C!5otdUu7%P`+vH7*2cJbrVS&LrsL>)3U;x7lv zoAT0<;gZ&1oZAv3>FYTnrQWR&?Kokr zujD_}zhLV+?$uI5`Q-TU?1GrId{U@3}|3U?5W`M?4OSM1?HmK%& z&;7n*)mL9a@1WNkms9DV$5hFnkP`zaxrEQ4ZcsG|DA^61Hr@68fDRD47RVi%`6TKU zN8bIZn5+FPEynU^_^5=9q(a*5n;iEBQ^%_W*_TO=UR6y(|3I zu>>65g4Xc{A1E9n4q>P`Ux{s-RjZ+$4*tf_ca4R_m}*r0E1Bk1^w~XNN@LRA6>$(< zKNL~nb9nY|qg$}G(=v1ohbG068^3d4^@dI7dMs%YRZtV<_S#a~+f~_9nO!~O!}Lg> zWWWL?J8nOI(Jv!D(?Qy~rua(vsi1C(5H_XWIqfLlu9i8r&Xw{_uD2sa&Dh+?{yDSV zlUeIcdSk<$`l^hU@uM}(?nvgsj#$;$wupxsCUEx!lT-CJI10O8A;%2KSlfcu|MnJ` zj_=zj#{rjATv1`HeJpZV?`kID^gJT2`-^`*)DLgp7wtf-E=+5h^v zb<_n=p_(c}Kn&`?O&qP6BAXArC~~-E{@K0}b=J9jhAM>o?04d`^^t4|UVF7MD&n)@ zj5^13^+}=MIZK9T@=Gsy#cLCfECp0eKOFx#a7I=VV~-B^C6`md|(|EWgz-b493A2G}a^@&rT zv83Pi+@U*~>n9w~>!p=R?50~Iw6wQZAzf&8p#84yk)mSkOdAyFQ=(>Iht1d7jfo=* z^5B`!eYqm_;)jIUuOu#4AzQ$KBb}{R;@725c)eaCjuYbI%sBK^;b)fiuZ>sj)7|Lv zGJpNM_s5o3t7kXWck$X!nDvN0WRJaotXc31iql#7r;&?CP_dr&cyF$KbAz9|&B2Z& zH<5mS*-K^4=hs!ZaX_x&MutxmQ#jlxtw9CQs6Y)|>y)q?qOu;%dPqq_xs=+6 zib`BB-057NwQ-Piq9V!^&NFU@0DKZFBW7~@{toWx$7d1dpS9JG#m$Dlg{!wz=|5+D zJT(yXXA{AG}bxQIkuHRda$0e}4P@b_9=K>V$eY+bf^uqPOCsfAY# z($x&Txd8%+&hHrJB+MY}XsDVJ-12?WS`B7QQ(rW8U?TqFt5uCB{Ntc+&vIxAaE_9* z!?u|)nDZ#zT5>f22F&%d2a-~P+Rr*7BhLrO=Q(!q?`A;n)_FPLbaI0i-_xzMY|P(4 z7t|Qw1~;XvZ^R4+-UHJ*%duykRTU3BrCe%z_0))(y5vAQeNd4uednK1HGGnc^r0Ow zG_Yt>Uws_3e!Ru@XI?c=Z!6TT026+pW@x)@mbGSF$VQ+ln)PtV1V>2vt?Swc!W%h` z78iMCSyUdi=J)*8~!4ASJhztdIiD}y3}Tw<3DrNgEr33H9ZiQP41C#Ucu+cJ^ILwFTOGM| z?jd96!G~n&wCBu3i+4m0+S@!||8!Dm$1}}HRJ~<7DtVVT^=~fmUIN?qF2jz}#$ z#N>I=drI%-Gzp08!>sS)4V8y>Or9-RQqh>dW|@&5^5@!w(B z|9ht6JyT#JzfhQ-9i;2Rf-mS6FWmBS065MlheG6(>Wip@Tv{hdU2;EiRQ9}LF08g4 z;!HY|zY)rWaCnPCWh-;CZRMA^H*qIUNH?A9bW?^~iAbF);xt?xFHyy@mz9Jin ziA8dWGq)n^Nz!KBf|@HT&}rE}FAl>*LuZjjw|2T$F`=5)qCZ~sR$ce}&xF&Nh47(; z>DGB*PqFBnIU^Ojef33(6uThVlUZhDq{`7oV zFgGcYU`3DdhPvFW$Tk9QB~f$O{HXH07?*Vf%b#7mu4C8oxl{p*Z(_$ck%TKww+7tV zK^ne~QhNufQ$;Nij@2jgSwpZ~q!HZli!UDi3PcG#p6O594HM}hbx+$jsa>_VrL{+S z>8fRQMK1FmPJ5r3#Ho(Ejiy@1BAmoBjCy|mdM_?^>EgOSS<#Qm8loC-+gLu1dvG}( zMyPp14Z4kHetuS8#^yPenT5=o?s7Qvl&`5R`sRY{5}5v`9Q3&w@lKO|8~X=&7eakZ z4D6{EsqFMDo)`O&a-|v{dvn}vG3X(Vl8dn`pUa?sG$FY}*k?Msi8_f? zkSDdZIUeQE6NBNj=9+d{7t^bOVfWw{T&ya;plnV zaW$hW%s@#85jUoD#x6d$T~;50owE_Q=r#dzD9ds6*pz@qqI^Ai&_PODmjiRYj zDe}6`lWC<3UB7wx16aCB&dvat0#GN zn&D$G8Tru>51b}EE>8=8)I5&-*EHS6u_cm4If`c|-YIUv(X^v zYt!Le_6T+ZioR6eJ0-o!f>=iU(c7&$NY`AL5W>%w{CjM%P@ro0bTnZbY5egqDU2-v zGl0r@!F@625}#q`5u+k(>j1aijxDg;r+$s+*4N?p(W^X%wqU25)omEHuf0J*vE z`1YV=lfKH3CrwVconT}CoWGwB`G!OW%6at%+EB4ZTAEiC6>L$>tLHzLoA{{UgO49C zhl)I?M*W|o`2V*~p3j&L(|01m?NzZxb9A{WC&M(MhL)@$S|S|tPIP@8Bt4g4>ud^KI-R=2P97(urs-HG zzw1ioXnOyow|~ZVYL2;jHzw6$U=6tX-k{E&;*$4rU8RO9p?F+VlnJ&KIq-UhjJvi! z^F;-$`}r+=vwAU@i;ofBKRirx;3xP_;_Oq-eehvwv?+fm7ci|3zwS``n`jQr4Qm6v zr?!9fYx?Uc-8Z*>+UgS45IL1s$E*PW^WS@t2!fo{LTu$)d=!9ue|95^9+&pnmWC#| zTvc?Bto!Xd5wJNml<^PQVi}E*7j9YiQQ&E+%?v;qm9p^9d$H{GG8I@+4jlokRr=^6e%>tc?V6r??4}PRPkbSF^(gx9UB}EA9ieUR9cz)FE^!X> z<$@(R^Wqj3ciOneQt{fMd49%7)=6HUep?RHxbJnGmlBCDaysycl<8l-s3T63?h)r^ zlKG=S4Cw;$1`nJ#Ma8PBK%rC1RlTjU!icLmxw0B23_^XV{CC#Ot zst4A=8oSkkUw??2SB-C(2AjYuxlPxW?YEc4THmfG zH0$1F9@Y%`#eHAv-eLVX0|9#F!D1(0j-g*kDkLq25o*XgrgunhC_QRtkIEo!9|*XP z2@X5#A-&&pUVW;e2~V)GERI8VE^$E*ihBu8yofHTio#9DB`ErRtqIGMFvGU6G+>M& z+hr6VtF+5p#>I#4X07dGo2EqVLv3kz=EY~I8ec_`r7xNCH?ZH*76iNRy--9Aj4diq zMr!lu$w%)KCyM4!b_R@pIc%AYd{>f6E7N-6bvIiusj9l}IzObZwv^YU@tCo%1tI0cLirY*!po6aL;lnwA+xp(#whb2pMIK98k*k1`HsP=odzEclB z=t6{mcJPXxCHoJnD)0B(PfW}dXY3~1nJ+Xu(I2J2?o`qki1#1YU5=XX`6|M{Qpdq% zpSxCy^nD{H<89x`{dRqv-|UDi?Tib19Fh0e_$x7DMXhU7VecVZ%aO9T7qIkPQ};n^7p0e0|7?cMm#jDrOtx8Qf`MK z417l4;aHqH3h45C88Dt$8Z(*4tx@({&i~i7;Xp~*QtmmH6-Rf?-XSR~;&se%G9vyI z4{ycAFYDR*94Elj8j^~1TA#ANZ^flKOX{YT1s5| z<*ao?X50vO%X~<0PD4{yw2NAaSgVvOQWykn=#_uQ*`=O7Gsz*@pG0Dnn)Cz7btEiE z8hfdrl;mXIJRux6ipSD(r=@gGi@y|Y@;pQv$uz}gzahuR6vqU^-$W8B9_k6X)l%H= zYre5LIo5!P@rM~vdf}pv)3DZX@1L^6yG365^SKp!tEtz;m z@yWs8iK(aks{b?b zDNhLs|4ff&cYc+ms|C5i_gflvN$D`l5$;$1;gr8fQay$*hgo9wzM4{`kIU3w!hn*7 z+5Akqf%oN4v7)XNoqBS3h_0YzqH|h*tGIp6gK6CdTQ;P}J2hDBe6WMl3+A&~TiAZr zPU=Z%IVnJ&mqJ;$IMQewOVGuaBsntSlQH-(vT#!O(_2;1^&yKW6%eHI2v6Sd<0c0% zjp4&fgzk3G&A~#h_iqL*$-&m^cW=5?)&FD5`ksyFr~COvQ;P^iB1XIEuj&bCf+a_H zEM&hx3!C$^oNCq)#AkMPo_-zwo}Vr{wvVM7-FN=Yg5sc|_3Db`Uc+eX zASD<0&xwN|3$*>a?GiE>R6ywcj51NJLf15j$wOq_@gE1i834GX}gfLg1iuFF0dB<*1xwQ)kG>U-sxRarD7^Bc0el6%o1l1UbF2w>f*0{2@ zH2q|tW+FRMbfFMTq#cM{D$c6e&?SiOEcH`vzh*f_ zzCW<#6=+`6f+Q5RWrqWO(`6>l!k3?1IO3_6CpFAO0+1oIQFPvCv-xa!_P&yj=BC8o zGNQblhDgA6G{~1ygiL%l^WjFC2^q9W2)(GHfkp8cCQ%Q4^x|E4mV^>9lK*W0N~YHc zB@n1UE1Us{u|Wcp;#8os%8}U5Bbc=mw9jnDEWoZ;>DbKbV=zs2T>yMF{7DuKw|o{fHhq_ID?;>Uza0w-J%l}kq7)n9 z?7}ocT_Y#)vNJJmwY($k9aA^b=tia@+9e{&@$~N-z{ZRzBc|?7+KZB}@^4c>4|G3M zgY^hE^YI8oJe9ca7;E`KCmQ(2HNw9Gm^Rjn$c<$oFMCrI$n4PAdYks&;dy+Y?3!be zX!zipo8V8s^qhH`zf-;b!}Ht}DwtNp8q-KI#3&=0H6iQoq9X}(*bd+?e>`L{`(j=w zc}ahYAcip1ov|3&>ZufFD!0u3X3pFSFH_<4gT2O!-p7T8*vV4MSMKW?6JEt`kv2S= zyc|OLgUr_S`qD2l#8Bksm0NF&0bw^wc-D6g!( zK!=vOS_IinX&GF;jdQ9dPiat5X*7hPD)x;O(IT3(D<>46i<);<;1)vF!qFK*DUf<< zy?`%Mc1`4TB++o|5qGNF-Z5R1&;CylGHc0nezhqMXG72>q0m(f0l&UROwfQmm%DQd zj?We>v$&t;7xoKrTd}gE5_!_^i`))t9Kg5k&yu2jd&PMcDoB?!DNEr|U7?55EDhr@ zEsUqXrZ2cynI$CKH*fj3xkz;LJF5|eNgqI=kJUX&eSY<=ObLzI)MjQ9OU#?1;+Q^@+ zQaD1=jmFzG>uf2}mW*STou?hbUb1#J^$sH@V(e#)Cb)!U28fldUymmDVyarijZn_K z+pKnEZcF&yzEV5i%&82UvNwhZTmkPJ9_0$vPAU_nk@2}};N858+!!Fhj7H!Y%o>u;URtxAhV4<5ejW+sS$56^fyaWKsmz8Dby zJD|p2Fv~A@!nU5)QhgKp$8EHXfB%zJN?26!IUKHNRm!EEmy{{E9KvU9 zI|xNB7OD2rby!TWPt`;^#sf8clS1ECM@O|D>?JNIeK_Q~3%03l>D|qR3#x3)j@arY z)=l*fXh`fgh~f#*xOk0tHJP|OncPPaZF8BHnoxPOuWA1!v6toa_O-$kAdP(=p_0(> z41Pf6y`XB`7b}z{oU`yO!O-MgAAoT0JwH=XiI$!o9doW&yt)Tlact}q3h_tMdS1Q9|=4HN04w_g`u=zQTTftj5Vckjs zWh8X9gk9$a+#%=<3S)4uKc1M3NE z-Yzijo+r;PcG!#4x1Y(r*yd*NStR(opN{*Qij*^VXEY=(3 z!NI`5C_d!&S03x@WhCLSuB-a{pA1_jX7MUvBS?~^#Vq`@MaOB|x=geMMXb=E8#ZXu z@;Y|xNAs;vop*D7s3eQlNuF$NbU)>mFa~q_Qz_5VZS$bkHx^q}z+LmHR=%?a;^BAm zGW|o5cKzd->s)e8G5;q@`~P|6`u|A4|6gxA7)|Sj#5uoyeEG%iVEk+$^?q7r<80Rd ztBZIO)pwlOypHaN3d-4sR^1)+Mtf=L#4~4lAWmBZ2N7{|fEJ>%*_8&;=7VcAFSipH z8<@nxSuQ8HCNSQl@mlXsZm1I1b;IY+xxvvh3znY_?dm&#sQOC-v3wkPmytr$)fMli zeYhqY5KJd(266kAzS|2t%W-VGd442&2tX0*Bjqv#&!1eFn6sOMaePn8lmM#hk1B730!t5A@}`Y;P8)WQ_m&^zd~N;X z_@fS5Jo40AXE9k&HSMF6M)5qE9di{IibRf0@5hQ=HMX~=7*cfp zEAyYSRJVisr;Ggmqa0yhCMkEmoJ@|L0c7OLpQptkxA=wM#Fmafx^zQo!U#@|WP4=vdxWI61gD^Eujnic zlnIm>e|=u&NpSz-G05ieHmLct!$$~E35v6-J2JV;@`+?GNj1N+`L$n%a4`o|>m-F> zgU;W-o0atFs3$sbY$E{M@Y@boo>A+uF?3(eFWrR!u&#TS!>N5S*5}*)@MvPziYuUk zy-V^CdsTY#!v8BP+M69k$=T5pQ8deN@^ocl zl9$&DR)z*pk&+V`GqS;QsToro3~`MmdREwa+t&Ozvb1!6mcOmnk8S=E=6yj zS&JMAhBqQ=?!2%=dTt+1h|Ygo-Knkuyyqx7SIJL2I$!IH@r3!HeQ_*5GIBKJn6*1O zwWM#}+DV$(===NrC}_DSX++Pl;@r)bx*@9iui!Mw+Z!OVE1f)z(@WHFnsLAF(`!7* zqrOq)_2d3OK6SWPAtGGPpPsjfp1GkkC!55waWx@m2&(fED*!)PCj)qTS*z%hyfgPR zz+M{b2QNN#)K^pAzLxQ^D1OiOhn65L(Yl1jvKKJrMqd`q^ot}+zT4iGLtNRp2#yA9 zhf0&fn1W4K^aEsONX&=>*_u?*n*AS4oE-)K0L7tA-h&}fTR9jPn)_(#Wx4`VARqA8O*Or~M!I|-LXyXrNIGw!W!Y2RiR-!u(t>Psm-Cx9xcIPVZ_zJ_|W9mD82FO z>OX`T{9bVp{<897ef@GysyL<+K8xIKQgO}q!rtdjv5}E=mfJAINi%v zW^X}>UUEyb{vpOL23wBTR;I0~Ic)LdEPSO1Gx>#$-FcLvDFf`7Us+ngzIizpbS5J* zzA{IlHyUJKcNj@*Gtm@^J2#xB{=U7qcvx|QK8ufFsnGKK` z5I*fCIoM%zD9dnLQXwes!HD9m%JX*CdzfP!9w^Z=1+DMe^4}xQy}DnUwqk#Hd4PQ9 zy}}K<(DI1MhXl`uDByh4_5B&jjFUt2$k2SsRylyM4G~9j$FvtJbP}{kg>ihjp*eYc zJMZo;C|>Bz^}dv_d}s&q%((Uq>ZOVI;W9K(@ukP0?l13d_pi@(eSb~R>Nse$3A9T# ztGnf(?QE$4HfZ_Y!h)9#t@6j`#K{fc_yE;R7(lWjg=Ug0GdhLWi`QC|mZ{C~P>N6^ znaX7grNhYk0(`@e2rLj2$6kP9{LN7Hc-#t*_f~a>my>hXKP$taMmh zwgkRhJcxxbe(!eCTEzui9Q|V7UA8Ezydm51$U#4ftSW$HAA;74)-TAx(O;hDKl+$8oXmUa zjnl6<*t5F8-=X+2{^WuHzP>LdM}%dP<6a{0SX`dF^qdQISCWz^)>xq^9>cu}A9~J# zy(x1mqhDL6m$vUkb-&)Vut?0nE?n&28y?oj>s;I?q=&QY!_B!juBxF?M#|?J_F!8j=MNZOmfA2bX*f#}^23K~; zonP&(u?^tOAfuZjaL*BLcmic$FG4EPseS=cKW?3mgVR?i)unKL$Im0~>ZAK={~svf zRqyG1c-tE6>BG3>)Xj@=ON z>EW(w6v3O&iFB{A+`3Q{8MJ5`=PXs9FRXRSZNFGoSCDp#DPSFK-8tGES$)zJ@DH9@ z>XJhBZ=Rb<&QmnBDUAJ`5$R~cZ!mR}YwF%I_zxc&CCNglp0l3qOBvNHb=3FkJze~w zy?nlM%=$94ATjzM=Vbanc(d}q0<-@YH4f<=b@;BWF8CgY8@0xHGLD+rAR zIg)jAD!7nXga4O0j6#=n&1d(CEMkMI_ySc&Yam?F)(rv` ziMwZb+gb@MQ+;`9)X=>`YB7H7Xj4UI%QX~giVXzSCu{aHzL~_PEf$m(b0>^ z=Yi;9HOPkzYFc+kQ`qXQwxsF0oZV(eiJLF!b1yksab?!) z^Zb}+EDWFjM<(_ZhFMI^$3sr%(a$9=9?pzZ)Nw?~!f^eW8`!;gYmxT;I){=9M+Yro zp2K`(FPOdBO_`llOyUNK5a7R&k@+1ZOAiq?Og3i7RJp%;iX~3uDPk-@Fl@o-1GHF4 z|L`8zB#bJ<+iKBnpVgNGXdAblZVq@wymjbR#aGaLw{dH>62sDQEeat5v6qODA5pGE zgTIOT-JHL5KzGkc4^t+v>P)D?QNNk|2|uMh-D=(P2P{U->Kp!9D81WjU^lnKxLUec zS;zNj;VW{gwXc4`oIfR+&uJEq(&gzlU@Kbt9Og5>-~?`A<{QHVnRiGS`6-FJVFD7> z9So8yxz-w5$1-rln~gr*>LT437okI|PT+)*ElZH#^Wr}h&#J`>EUVZQpEXFb)M25Y zc5MSB5osBz>CNE+ESo#XRZg2gctRVC(AmwI+HTcSioFlvUPCMNZR_J({L^Re9VmJI zw^S}njlwa-9=LhaW=&lTo>Ab5@Al-7;v#;do6H z!PAXAa;LZ)Jf6sHM~&@IbN?DL#dR()dDBQKh1fKX0C{^serQF8|A-=;=3*m~k-wyw z_HFzFwhu1%5{B4-1BDbrpFHNpvz?y?YN&j|sr8e&)(I`s1X42Ag2#TKWL9fu3An{2 zf}7#LnSsSEgUM5LTgQMDR2?|ON!jlZ%J+s%b};0IL-kU2APrYW;=obcgR61zuP(|1 z!yVNLu=@=@@l{jSK&v$v6if~7=$_~nf*9;a?M7^ets?zHUL$J?my9;eW-bjBERyn& zom;tSUF+B&diIuT7$*&`?aTGFXs`E`SSEqj$WC_TctTkaToR@43;AnBL(i*43Uv;! zPR&Z%FPKk6CF>qZ;JSB@NgPeDK-)`EGqTqz8@Bq{htc0__cRj*+KtWjWEje3wX;}y z-_KNPqFyco=c59**JSZC#!{U{4;RbTRoOQTiG~<)DNr+)X&0&ikww>=rHGs7OxBtV z!`)u*yZTa^6UIa&3nd46gV(klHYBT$+ci&lGMn<}nSdz%aKh30i{v7%t)!*(Te7 zb14N5NE4UYg2-{fPLX3|xjh3yY#N@(mPpexzGQRqVbxev=rVcPEq zMfRm@%RZ8G%AquE#gv~l0V4`hJ|ab zkLY_>YkH*ptGCcQy-i$Ehm%UjHkc?(eFfys5s)~pW8q7qDtn=s4k9B#84KU%^zDc! zTb&~s|MN|sO;f#B7kV38b|)9xy=2?YB(!+Hc@_$G8y1ji+T)4qqd=@PHGbw09p-8M z&lbKb0~`8BG&V$ylZ`qJbAeOORqjj3JN6t`=!OQtao-uzeBUXJn#QGH6>{!5%Bd_m z3app(m|25VXjVEiCmRpdhNv5Stur(9BJ`g#o8D|3OS{yoaHw4N?Lf&VhPzcFKXaOi z@(S{P?(i8cOD_E|lqh6C(d^JXr&3rfA8H;&b7WEX>kVH5a-2Es` z+uPMZsxhJhPuE#HUWgCYYqN!isBMP-&(I4BnE#LdsKW9aM)AQlf?l!uJboqO5mht7 zABjRIhlb#>U7`@hn@4)o4b#c~tK5h8I53g8De~l`CCoB8UOmBNQIN5SZG$sdp37dJ z#_An%7clOSw6-TQ@pn)kA!Ps zH?r8FuT5e-jV`hSF?-wospp6TZ)l(>sC0Fs=HG+O`9T#yaP2Gp<^}tfvRJ(~U0)L4 zz@A1N%X?{Ke{s#^BxCb-qt^b|@AuVLmTMTcnAfWS{YblMcopmq;GqKzv0c{Fy5&2Q zsP*Fypl}G#L*LQHu@V-7^Yr>ISo?p`_Kv}oebKjQcPAY?>Dac-j?=Mi+fGi>u{ySO zV%t{7wr$(@^zYt!RqxyXR=rnsKJD7I&YE*+%(2FtyR8CybpgE>^dia2za%S7xC20p z&>qx?Noa|+O2MyWg(m5@^T#2Tb*$}DkSJ(hk6PjxMt+*vK$>wnkolUcGw%IFmY;3B z)@;fGom{3qC$Af2N;&4{`P-8GCZbbqu6_+>6WnC~Mrcy_H&rqaSx3iwDY=Y{h+q7B z$v5O3+I<5MrUF}zIBICOYd;Tp@^tn9`OTc^uOA^s`n*>l>d!&S6TG4oi7db}V18uR8t0ggdz5JNqS{AR+TEurS) z^7&;G?Q(J_D4D{k7zI)~jh00j{%mx@z7X4u`tcWaTQWPyC}w6e^oAF?H%V>#=(jZq z+n%ND-uX!HMWM$VG$4X@jJHUwX==L!$JmiBPkiK=% zy7H{`%1>Lj1^ANx;s=Ld9kF$0rc1WZsMzl=%$YxZckz{zD}<(7ZHhN$LpONpI{dLO zGRpd1#C>4pyj0o(obK6{8Y`j7Ml6wd+2N`dJGnSAAdw#$};&2KP=ARtmu8~>OzChuW_KTN-{j2DJbT`!fDdCFgT-mAd+9E?qm{y z-Ry-|+?HBuz0oOu9^}I1WRLQy19YVS_}}0jALl~s&yP&=3Xz|I#qA*vlRXT5py}k{ z`<^QM3d=S2RB%43<#*oG$Jy*f2lGx$d%zd?URUGyijdptiL<~5lHb7n9S}73j>N!d z)(_Lu3&Dd-cd#FV*?WGYgbrq*^f>OzJ+VaojW5!v?aN>wOc&B+Pv=UIK=#v-%X{aN zx_%;=#?GA}yr0>|dd%KW476w(M{8S09r7_$Vo>Upcoeo^_0|5q$BHJDp?k+@mITk^ zYz&RkO8wZ%@%1c5D zt_(~=2~|kGX*(T}S>IyI5(b?o6~8>0Rhd(_0#WYEB zvezxZJc=%j@CTlx-0tBg*PkA)s@wG5t7$y-)a>Z)QfB1{z2|8IY!xw0&f*YCy&Ojb z-*tv|!XFkDB7z#I#12Mw`MJu$VYIrOv&@Y)AnK3Ks)s(XJYQuvBKc%{%-%#V zy_L=5jdS+1A3bJvt09>D=pvE$ftK>V7qV%3^QBCd$6ZG9Dg!11fz5v*`oq@r{I}N7 zM5$mIB!;(e9G29?QYigGaCc%C2@}tVtN17T5?8EZ96Rf*pn42F&Qx>PKW4PAP=Lym zbSoH*UH%eJ;A!b{gx2H^r!Bij`1d3uo)(&u8@PzDLC!q<#H zFm(QYy0;X_CyQSiq~5pZh$APY)`X=-*N$<_0d2!rvPttqouXsXH`u_q@8oQq#=e7* zi+qq&6#4h+BuRaGKK-gE9OAs-RJY#p({WF9u?6-HtCE1u%}a6pd0SlGW}LFUXu|9F z^>rc&c_Pz}a_T#SWlt4NI^jrfjW_dBYP8MAZiqQN+rjNtc&Mj0%E(50f&nX>o4L~v zg(f0G{zEHw<0=?q9ita6qfcQ&Y><)^4{aAg_4u%=yE5h_tIS@j8h3P{_W4#VPa3?W za*7_HJ6eX2S5YC;ZihIcie{MHL8(w-B-jfp0t*{3H)5pzdXC@jOLH4Xm4CDnvID3Y zY&~Y62k{X%U03h3VH8@I%ECv|I0)iG?#r45DXve@X*$|A4HIT}def=efsWB2MXSi$ z4nj^TfSuu;1r5mj!OJn!s&(>opRE5`FF+$@+Z7B?tc=z%b@}pY99TdmQQYvSGYJ#u zJ!(0fZ>nG4hkA&53Sm<*H_3F}CL?T~yr#Rr1E%8DM7DFgmrZ>3cQQN)qGZYrp6vyZ zTPxrytdNF9aeKW_t<18{2dD>4f!zx1a+Je3>UVHch?1u% zG%m$TwdL=sd_h|VH8ycc%3cDEp^n4EaEdlhgOincZabF`ZpOuUDz(@QmE&QvoH%?E zKekI2Q5Z5ng@R0soa&T~eeRa?LIMMLs)?(=@nF9mdV6Gm$h+~*j(Eh}z=_CycDtqD zzniZXT}?ZKQQvKaGcbi@0lXd^oF$KBtSM@{G@5bRaPjFrF=^c;I-}c&3HelI_iM{c z(^&mUkYMgPJH8~W_83vAEC1VCDpsyYCpbmRY&xw=dCPVT&s&N*9Ee!po?*IMN@ZB% z8++Ngs-ab{newiDwnMf&Lm*L(~ek8oYv*_YU5d z-HiMhvb&Bn^VO^u7bHav(0f(GWbTD5;~LA~>#8Ux*KtL9ISsnpi*Q#^a1yu~ODSRG z4LZ62f=EP`pTd9BD?0OWK?do7M9O;QCqsKDDK6|Cgax+EDRKaD4bi9^ZSdGnmG>;+ z6qkbn%So-6xN)!yp&C&UT#DMckwbAG1EQOEA2eIr>I@2Eb806}{2fwQMJCNXhzW3$ z*Yf_(xO-gdIFnlS&fHlD_2S{ zutU&egy_A>QD1@oSODaZQ4aRZ^J#b8*@AjWy0xLhh zeG}9$@tnxNYA?%j})?ar?~1qO=}|3cIvJOkO^a zzph`mffTJOLeKGRjylQut9F07_9OLMSzmLEn%bFmPTkGh06Zgt8@dc72zUS=Wa$j_ zJ$_BM$-^LDlNE03VsaWEtwalQlF0U)BQdd(cF z@?L-PMxEh)eB2cA8s}<-B9uL8Qp?~xzY?NHKr>*Ma)UZKasjrc<)XS1F%tiEoCh*9 zAfbI&>_PG~;fzqVv&gb#L#&Q>L47W#Re(~)1(s#{TeW?_+#kgz^2K%&t{!iHR0d53 zaEremTK?$@DP7-8JmsdZ=gsk`!pl03p4>uUV*pP!ceXjp$;1*CB<9OXk!g$ZY=5$U zngQTTeO;)3;m{;kRp}k5GjGkGH+CSbF5!+5lC93q$sM@HT-g*)08?(1 z*BxP}`JgBPv9zgDq~zAW*ygg$Q5`nnqFBnn9x}1Kk=1yD6Vj$v0 zp_7MGbdrhKx_Dx2t$@#AX|=NBmqZ4d4$D`w*65`#6Vvw=IB__EOBJp1GzTw?z*D^n zIg#MJ{I97LNE5fHwXc#Nq9b zb_xbUhxi9CGor0Ax*=Nq_^K~lFDx2OTv1GImvZo(5$BcAf1%V-O7B;lc^V>J)H)sq zhH``XHSBdkSj!f{Um{;^3aGl_cn+NIzV!W_qwzX3AJjfp` z7piSn#&jed=F3;TXoU+c>j-XuEo~TkB}gy88~BD1e9RmNJLIi_^7L7Htt0B%c|-eh zzjCgzvKkc<4_~0Ce^-j#a|;{iJUskrDu$ZP^q!d*3CIbXO!%UiVlRV#5x%3*KBJ`*RF7!llDP;s5RyEDa)mGc&-eGrH*U4c+W=MNdzfzo#Xb&;8|<4GLe% z`$C=k&a59G5IP&-={1wlw&~|vC3&wcO&o^_EVQcsF{z@qJAir5!*cy~+X)iBH?G?q0m%XILHmdcR?; znwC!d25LgSO@hTT%KkkR%7UWcos68pIc3f&TV^x$CHt;69-;lX43C^cz)-RBZF3m!GSb!Oe?qfml}T1*II-O%IvAx*tY{1 z_>!^F{Q(T{KaHmC5HQVZQbpA)yH8m|%n1Vk1A=hNdinL5G=S7gB~Tx)JMIdyC`p8S z44>Xi%+qX>9HA6X_gTIU+|X-f(@L250?^xAUTjNu>o|{C7je1Vyz1=(l%G%NROARd&_yxdv!2Q#@aY1ZCxVQ7Ddm-QNHf{t{ zLU)mKhj`hV1V*!_`R%M=fmpuon# z9_?Is=_4+m3XT9auh2U218I6mK5#}aBOv`IVimsNrAMnEvND7C5?(CJ$OS}>`8YPU z<04K_U=PGd*I0e)HlALYjkX~ncc!?&LPjnm$rlf?Uw?Q%=AF*>7|dRok7wZtfecP8 zLSPr!^TndJIc?+Wi-N1^hPMl!NS|(>E!X9UuIQ&c<&Ab)9A|Ar`5q&2;0@<#!U18k z8qr{Nb3JcoOCl3J!qUFNo0B{0Ee13tp`E7Xebs#*DJ7S>rh<~zR)Ea-guMdIp#;Mr zYjf;F)Awfip*x+^38mK&%;YEDp(7@m#`nn2u8z9Muv5ufZ$KGh0s4+G6#xs4>gC6PX_Jiri84Qh`-9-Sbl2_B$IrQ0#a?Mh}%e`0nyiX%+ba6~A_`H(u zJwLhK=LW!yb8aqCug^iBG`5&Z5Ma1){2Isd>rUk+st92jzvbB&RdFOiiz85oOhq=| zHl*E*h=9nY1b#Zli&to*du5+qc_1Z}fm%>Q1D9#xS0ZcnKzPTZ(YfuBJ#+*|cwQWH z!hlg83ytRiyuth1NyVW&N+corq3SdW+V$t}wsr%W^}{_HM=I)2W9x6WaBm=-T4*+~|k~ zYx;45jfvb4kT&@q)?De3nucbaeFy6*4p96DZ6gm!Q$l5N*B*M*DPz&9UugpCHU;|H zzihSK+Uoj+=mAH+tL9p@UxSwodbLz^I$0dK;<&GUO6cKk_yvhb)1O_3Y6W}t+5ZiY za&M%+Z(TQU>ai^Tm}8{4VMh8|qgNj`q_JN7@S{ZV)A7K`$L2SKKNb=|5Y9nM>pZhT zQlfEKaSpFi=uaYvT|hfsLcPvk-6&i+0h1b|mkVBx{-6XH-zRcenS&4f+BH2AY~3a^ z`oZCoRL_1(6wBW$Uq-$i@Vuk;o7v@b#33dS3GXAniM(OfRj);3Cnbev{hnt%@h+*b z$F)1;s{8YSZMX5Pm2kOwteVF?vEs*b!Q%I~agXJ6e>WpaI#I&i=70dER_=7VJH9iJllNH2{cW<&h9V=g!7(AaU#miJ z-RyflKIeFSRdjwTtnDoHJ<3X6r6}AWcI9MSW_`xr`c+6iE5dS|xci*!ambbfgG-zi zFe8*9K89~p8FsaD4(r`5el+TJF!Bclc^IwW0a?e$ie;#n*bR;2Q!cnR+;-0i#jT-> zh{b}ukplc;=cBRJ!rxLAr8qS-$ zHc&Xk^)Wl=>TI;@vg66kv>tG#cxE{20CWz0^)Nt-BvbecOZ!46QL{pm;To_hKt(-i|XS$B7ze!-B zx4Rr~x?Pgv+YqU|l7E!Hie;fw1+d9({7qxZDiKyy(r$q(^(zj>w!m+KNUiw!4wX+9 z!i1KC0Kc$&O<=;pfNO)bZ5Kf%8fwzafYhNGd#JQ-V*cwYo{%t1$rw8B=nOfeY|&;0?;r%lbuyY_ z>`8nxwkFZ02m^tH%{Q^Uw}}La_{o|;750NxsZ3&FE*&$?66$ONI(}$R)4>;X%7`4m z)pZ4IqIeyF<3dEw#rFNoiM?&y<5e;)6)=4IZFV&^s35B8H@c~;Inn-=@HkzxAEn>! z-LXO!$t_2Y&!}`@eFKw%2?oixCi7Tx1!D9S(0fZLWZjo%6JIRnM_ZhCiwB3xHj*bn z?zL!LrU6gi{T@b=Wdg03X*z92Q`@A3BWU~Op>x&6vgyhkrevkb;msEiipai4GO*z< zNkUYJYaBvZB|_?_Rb5noq(CkT4PSp_Kgs44hql@4R9$*5PHn&QfJ4G5gFyp5QNiFBtPt<#n-4y-^XO36pRvur&t0`(zR>~ zHb)~kM^2Y@RlmB#o|V-P?3ZJ#n>|7JjK7d_KO9k&VD2PBPP29HuxypM16J0>py+_O z7<(y0gvuT-5MKQA&RIwq5AW;XKF0yedeE_j;K53B-=#Cly7O7$go~rgjJ!`A^k5<8 z5Q%2F+|qF0{lU!ib{5IsqrRh%0?z=C^!u?WioWWfc1J!I$W1UcmU11}X5PEV5~GQi zlEE4B6RSjpC>+_W2Xd-BW4*GfOv)GvcC#m+4^7D1h`__!J|Z<5P?bW)YHPlTqeCAw zFK+wgjK^W=L4;8`iRW^(#D(uJnKvyXa~CtWVCJ;Z&|Pr=_;d41>o~g!4_K<~A8D51 z9PKf25@xr8cdW`p2eR=vbU^P7_xtoVGGNB!@SoZTD5>O^E0N&j0 zQY0P|cU@@YRoV>z`&ru|8d@uOeH|dKp?wxa28?kGS2yeU%Z@x%$vX1Oi}acn0ZJg- z@ByxAWz8@mVb`Dc<|yPP5?ny5W+Ds2tjmnwW#i-l<3@_WJ1F6{skpF>xxp&Rk&@ud z0*OC1${Ql<7DLfhDqcj(7nT&5q}LN~VshlY>ao;xxnaVKB2@ZNLiIN3+pe?(0M12E zt#WpRT0~n5q?A)0o|h|y(JRh!o-ea;DslSNFn$w<9&WBe^?&gT_me?*L!eNZt^t1n z`%VZcqP77BkwiyfM^N&+o%5!o5M0}buCPnI9>2FkSVq``{gGASyyQWg9nyuMOjsX_ zhsTPmV`u!9`?UYLKH`q+8Ux*D=!}z&-lw?9D`XN%_;sScVDeYv;gbQvH?s~GYCLnR zYZ3ypm$kqIpKJ4>bW;{r%d#aP_qtQx9?90l_|D&KNNYF->@GqIl)G@H}Rq$Gs?W@Zr7jZ z_%&M*A5mp|h8zd}`RGiS$b}>9@be5tx3!szCw;Z3vX+Dn&0!&C_Cm>E+U_CIHv+2x zdi$T?brnc`>jv`0Es?4_BetZk+{qC z303nn^YQ0UDLE>aR5eh*bGQp~*j;y@p@?cpTlJjo0oH86T&Brcn{C0qK&{fbjz^2) z)tv%U{Jq<2<};|PNB8Y=sVf_nj0{*RmlieZCf*W2FJOwQSV~W`bP9~^j41JQ`pP3a z%02=3)mn7nZ)aES3TlY9mahH^6@3D9OXIZ3^ykFnh}JH@S7G5C^?-C>B)W)igO#?4 zPlCaqIkif$HY4FZEAt1PM80kpD;2QRK@pvB#!Y;hx=`x|O>tlx^9Q;#Sjpqw&Q}2< zlS<6p`;GC;+~vzMxy80NU0U&7+m7nri$;0)E@xT$YEd~%OeXYga+BF;HjBG*Morb` zsucF&UEVfZw{+i;6*X=!|J>tPV5>%bh`}_8tyUK$!je=uwYVBK@u%j`^k$BW7O2C1 zA)W`+u0ujmb#VH9MpaRcy1ZPVq1?Ol*1ozP^5f#@$VXT#U0Nv97jOB5rcQW_4r#j2 z0MU7Y$-(>7;#wPTBJrCwKfMKzQK#H4nO&=5R+OEGlKWgAEuSqEeh`o{pOK;dcHKaL zF`zXHB2$+bZgPKL#(frcl=f?-QygS%?N1Q;ok(pSP1e-S$i%ol068tujj#9OoxwNh z>)hF=rs-%fbGaE{%$pq@Gjhj;m+gIH!S(2P+Lv|Cw!pO9pk~9A^9?mR^4+O7RyFij z9sKn<#7Kuw_`FQW!+<`K>IdAQNaI>2+Za22Qc)SF6aoeAhm22euLCVxq!Q$_b1L09 zubuERe}8%sJ8qM?AIlQu__9_8q;e9|LntN@?-d$_z1?C9O zvmJTRv63TGq)XIi*3$x9>cqAB`-mBQa@!nh3q1ildgN+($pt%>GcD3OKb|2^4rrCd z#CR58k(E}FOfN^}L(pj z#h~z`;E44OOz5kkrS$~srtQ_X20!j<$=Yyd$QM;w&%VaSaWv|>T6{IMxalIT%emWl2fd$VYkquU4_2u!s1hGjkj65P{ z$A{;hOH`fk21T(vL)|lCS?lxqoL>_;8vXPvi1dVIUA%koMVQwyCWiP%#FcQ9oBx;} zRIE39C>)6)JiG+#(UQIMt3gLgsxkY9m|1G$!SNLIkRftss&)rpGbtp*xt(5Ywq-34 zO^=LS`H+Gc+OSMMYWCoPED#k%5geL|*zT@~cZbu5OHHXUy^6`{pds?|&35-RmBqax z206H2z0KdYvs!3mk|U8r#8=t6a$?)a-Fqj{0)M0O`q00Td3fIXW*a;k#H!A8P#An3xYx; z(be~j7DAGMgf`|~aZ_l2!bSp8Ak5$b3>8;*i|gYCYtr>dyb0y$9Y5XK?{*h!2BLdc z3YsAbz2zH*d^?wp;Y$Vx@A@=CC_@}!p;CS8ikLXPV;^;}+>x?q%;l4>Ts*5%5@9zh zdF)1JWv4c+`6+x|^i6hjDByzDU=kAhp1rNch($j(uu}YAejed$tnN z4Q!mg2yv<9pUM%aXP-v2?TPigGEZhw5LtYol1afM0h5OM3omN{?-`-5l%u2GSBHd( z!%gaM3_IpjqgLn8*X1=eO*sTbkbBn+rD4Fm}6gPEjnHBHF?^CPT~x+S>s_SBz6 z=54fm7#i4pFjR@QG@0CZPU>yUIXl+klShgOZEXzsUBSu190zMfpt;bBAp?He1@{b$P-HeE>LB3n4^U6D`&;m$`YR2Y;itR2fvW50k z0zz*&cXU#ivKvBKb~^doxtV$)Y6Nk2C&SOh1wND3PQYbr{7&V+6F||}OTZf!k?+M= zf}&;tbU|l19Eg@J^VI-z(kO%vHa#P3JO>wB!*8gx7g@p73C_~#a&9C8n?%Z2&Z@YI zLUCb&Cck2Y!uP2LXL&;VXWu-|unBc~dzO|(easB; z0B-kF4VN=ZkJ1X=W?Ml_c#i)&9V8N1{LnL+I2(#&YLP+AK*}N65Pb@f)@L2QqDX%Usd>>88)+Ls{7_+4A7hkegUSI&<@# z>beK5G}bo4`vHkAGLPjRnbzqFa~2H~(c>;G+gdQwXUc1_C;Y48d5cVMflYAU&}fR~ zx?|J?KW%=#UIi6YCFtlGsh|jg?DqrNKjw04!OF&%+6*Dep7W!wC--KV#qvcecvc)= z7+9#si6KR#0@wCc0)IBZDmxPC%d+yYL6+TI*bsXnD zCTc0Hps*ODeVWf*(R<7t8WHza=R?S{rE9PV;HSn-O`;iE=AFPFt)X>LP^CbY#b;FD zWPQdO#Y-L}d14)aBm|#?{o^Uok3moD*s91 zfO2m9S8%K7z6DtLmgZUIxI;ofDoiqIWskpKo4<8%*dzllcd#FIlsZMp zM7`67&9){*C2R=C2Ukp-&m%|*M>#b84{ld_{_08SSngW5Hp2R4eM7Z)JP06}wUN1A z0n5HfJU?Y>jx_c$*^-KhaRl~VsxvZoxk{0MMrz{UNF6o#942v83M$B`HE+J18)GPr z5UZ?xeH?AAm(Z}g?gTS9p~WU%P&O3%gJvs77APPC%)@ZC*&%b!xswXnRj0SO*`D}W zfdtdRF`tmjR}o)al>iitoi=U2*1NnoFU#f z%2hxwF?8rnM~tdZf`~w&;wLf3cU!r78|hB=ho!n$L}#j~2OWJp@FA<8xru{8E1Xen=DMfPREP1vb1%HK z)X1=4aVb=DUCkFF`&!)_!e^3+B<$mziHXcP$4b7ums`8H0-H@@2`#POP(qVPw`Ml^iiUNY?bkDrRe!t;#Jg6C zN2hJ|G4s6`$|Y7Bp+h8@8z6O#3hZ4@;tc^Q-p6l6bfj|1)nk>__i<3FV1+o9I&RgIcNL zgEox)LY7cigc_qy>3U;wbmti{4q-u;tj4||Z+f%&MTzkRiAh_}CFUPC zZ7g?mNSe_-UAf7ZGqwi)uu8xQ?<6+E_nM8rg1r6{amszpdg~?BLUygLr&4e3RQ0HL{Tt^7^IwvA@An>+9=> z)Pha?5tlmENY2fc!X2F6(7qZ>>;dbAE{@ow!YaQ`Wh;n?F-N-}**TTo%F}oXUP?aJ zV9}X0+zS8XSJa(RH@sh|jUFmnEwa(0n9kBPem}Q@8mnS3Tn(n(KlU0USl;LgflV?{ z$VOWA3=9hZ?JYD!M56ytAb2bVDeymJNO%(%i1r^c6v_I(M~nZH#^UjafpEaf%^r+L z@7{o_bqqWF2GAP{1g47QCMhrpx9nw?IYko;2 z%ANTFQj1;ivZ*tcU)|I->L8>Ai0;Q%OvWw&FluX)DfKfqr!1K%E(N=p<|G?9n$}^*ySW{wE9jx0v_pXc~t9{?X_Sqzg zQ~c933dYy5E=hy-5B7tyjK?li9)BF8?9jHZw_&{qFEfPfxMw%h-P^I$X!aF#yLE{ zTK+!l71lM{zm{Wsh4l4%j^MZ&n4zq^ZFXM~;%Z(EOt5qRcKI$6j!1-nLLL31=(^+@ zOR9)EB-nRQ?Sz_TQkxUraT8Q*7V>_Dq2kA|sL%YQy$;{5<~kGlA*y@R*<@^ckLGo|ms*?l)jOqfK7AL@PY8ZX#pg0Fc*K4eRgZC1 z+<}HmS^e`3y0_YADy-~>7RktMKvu{Kk#|;7QeDHeQu7OB`I-nX$m#w0BT=Y|Np;VR z{N|rHV^mU*P4;VPi?jN{NDPLI);@jY)o`>NqwbZAOr%jb(%_U*efJLO^F!{!VFAL; zK7#meuqAiT^i(2}nP4ZG2wX^$@V};S;877}z2eAt@7NxAC*ZXfXm3+HXOnELg{WW9 zP+5|W61FF680iK=`cdRAFP^Iu*9O|IuUlP$cqaYl1a|on7s}qXe`!2>P;3N6CzT&d zQ28%iLr{g2W;5pYRr!WPYd#zX**c6%_X!w|o2|$dZd0{C?&5SRS>h9!B<*MK^a0O% z_rCbhM_GL}r>Uawu?!c_%yJ`^hO6oguj2MwmHImC^UrvaVUY2<1SOO9uT^vUc;~%} z;RJOMf6KxU@zgdiUuS;{sv%aUefL&B{?kWCJ=RPuw?onq7Zaq1`;NL;2M@HHG&H&T zzP7bfb+dYq5bq(=y=BMGvZ|a(7*fI)S@YXC5+!r`lJGc9$oWvi&?}15woU?mX>nYm z*X3ZCK%eRB75<)Sp@9+*HCm_n(% z2qo=Mz8aeto&89szL@&>3Pq2c)qU23fjisz-$)MABPmvEVBbAcjg|Q=(*ef>n|8k2 z8-W%2=0I39#nj5Y-gQz$HH!`utt&EiD7_>*rhoN1^2X}Y+`d(YRagFyy4)-ICWRz zb^~53*gFjZYSADms;#jZ8zW+B-+&txmdN}jYL>c#fb`sfOtWDX+Juqax^*>VT41?_ z>>*kiENDZ&Z`XTq^7gU8yoB9k(LjGFQMeGeKh{sa^HuV2hNaSe>7;gIV=H1h)ohBd z7CNy4-X{?2{c2(K^Dr53I!p!~Q||Rk4nimI$Q|Ii!3_}%`m%7XzGu})DVOHMrB56iAm@ud>Qm6vc!>|`~41SLLUn!G+yIF|L_;UmNm zMkcpO5)o)FWI(iVBRm(L0aB9-cZxoezX)f#mh9tY?c1>_a&#{ZPyNkRQgRZnkM&SfG%5$PdczNis$-DbmRYLZxHOM z6aC$ikd3&rcHKIy-6~M`IfPI)$}vo^t0_I8G#9#z0+NV=SKe!Bp}7a5HDf+^YNAi7 zm6ps05?4}OeF#(tmY>nYF2EwYEjKZ(u0(Pr+S;6tPy-!Z*e8(!mo(mLG<%*{(GThy zOuiC?zalaj5Z&7F3rx(=sY+XZRtmc}$-q|X6On;Sf9n19l7@6w!I&m_+QPmfuzN#f znMg%(<)=TDsl`tH?HoR~!|+gZ^A@09+>T1Zl(9vwnOqompS z73tet>p#rlez$}r1e0yx()(b6DV}npb4>P(-PPd=-Q-y>H^Hb{`99)1ukxby!p=o6N*;@lF&+qV&`NaM5@{S49ypKGf~5IMzCQ zhVWtOoAnvKL*DVySl{)?NI}*5Vt&VBx2oD}vQzdf#cyJac)7*F`*DA&zU@27*`@F_ zzLK%qOoqSNoxJEvJz8{YLd!LBZRO2x6R`@pTj|<(XwpAoV7O4r*i!_j*OVO46K)Sf z5XP)L*=1|vmOI>^ zuM-YLt5JE<*!~Ys#(+R1^Z(%({XuBcSj3mu^q{3_{U50WwG$ii|1;YB9}}Jb6X^Q? zZmbb2;*k3~KecKt#Em}UaOyc9>nsnK&sZ^q|D9J?&yipgfp$mxFuFQDjYe<}21Ek$ zdjGVx6K|t&CKqD_(0uO$yt5Cccn!oyZ(UK_Hj^xg(ASH}bJU;kpG`)p0cNaVi^!3v z$&C=Is!u;Hje7v5yV~ZWKwC;}ZuMVXCldiQZ&wwQYaGu`hu=DfDh1e(FNV`csmWzM zZVeH8Ou9lvT$s2E*N0$*Enn&>=y>noWVcq<>t7u)Fs86egqsgWzUMx2ouBhzW;6$v zM^j^JzqQPE3z>Z*nQe+$`Gtp7Lq|v?8ffZLj1VgU-as+P$WGp;KdFFA8CJWiaCV&1 z-}+i;GZIq88;~CrRgbK)8D8zJycN?H08b+ZBSJ4ky{txc0^Et2?C$QPaoPsI(B_aN z+0IT!ZGkE=CZN{fCjJr9?xC^b-^3S593n43jSV zwI>`|K(;cYYKZ($wwhP(+0Y<_m;K#O=)5y`XE{i6H%W0ZYgiEHo!c@u_+5$YC9V>6 z5IY#>sRib4!#Q)63OJGH=T=#;p5m14^*0bhkt)MxD?o>;l_SNRDvkp`nt=<7ipqzW zlJ2Jv@Fx_{Upr>WVlnKATFueKaWuuzqpEG2Vysf%>I)uEy#(wn&H6uGXM_eh2aX zF=M%H32vn}S6)5INwMQ6X9VA7@hB0F_6XRwgAzRZ9&x~(di5vwgxvG5!D9kq;&v$f z58x?8paX3P|8T9Oo#M6kRfh>lcKw{Yt3z=z(r-^~s*)C>Y6lU9Erpw}q_c(?wV9al zLkhT&#G2e>=3l-b$^Q}&RMyPYFNnu+S}%aASEi0Izb-^$uh9Z6;mDeiUt|fGj0wxhHyrxi}pOD z_qjm{K7EgP;F&-I+Tp|K=jRT}SnKGJLni}GS+8nV20r`E_`!86ROZfAjkjGPSSlO5 z5 z!o-lw!dyQO=z3wP_=1iA%GkF6wotL1a&P}^@POevV!Byb1l1GC)y*0{Rw!6+=Djdfv(d$1sg7tcY>BGvW(*?{;Yb)B`VK={4n5nS zwNc9(@1df`?eIT;I=Zm7!mhRtd3jHa zx@~=*T7G}G7mN|tf( zhi0qRp_*pM68p8*dL8cL;fDD8aLyAAzaU~zJM2-6s(O3m(lYzll^on@fKSJn!s)ir z&?!x+LL3tA@R|~)>f5bM^BqkE1omX9#A>_+{!nxbCpLt^7w5Fc27M$Kospf@q#~4= zd|Au8pKHHB#4+IS8{Wg<#Etwqq|~Xy=`621Jk~I{WuCWzAHF_(QdIcZ4n=v)jE{(5 z&k#0tAbPzQw@=~C1o-)|C33V0K*Q`;JbEa<)0MVaUYeF{X{@}aQbeTtEMwA>$%^B4 zC=HnB3oWH_rq38TkiSReoHdhdtUM(V=Jb0nh4<+fPjb6-8@`knkTZ?5uPVU!Qra`$ zf1!W~`Ur&{7~%S$IS*C`Sj8p!pA4o~(9r_#*tUTu|HonAAcrj*V3(|>D5|C{efX?) zxAjfUCM8PqHcuW$EgB8Wt3nJB9&x*xeQ7w`u;e4AX_g-`_JakDDw-&ptZu``)i@I8 zWk2M8sPL0SY&izs1+}w>5eHR*i0&%(b+0a=an&L|IUpr4Wj&I&x z^*IVA*@nl|QE2%dYYie&8ac+?-*#rsiG}&nil6pajrc*D(*Gd z0$Tk$Oub(iqQ6#yXlWdTVW@0~oO!bgybREWN)4sQl5)nM!EQrfi&6k5GB9P;CS~vS zxLph+L90s81}2gH5Ba`BuEzbUAZi@SPq*>x^T69IXJM7=oHRjna8eSOJjKzHOm{4} ze35a%T}UV9L!>lBASr=m{bg4PEtOV~976FCgORQrg(9%IuAE1bG(7@JvDsOg9_;Y= z&j5`>wYWw$v&Nrq=tNLL&{XGFS-%(qMWMmnyypEiLJ7!3-bdsbAgO@L+P1NoeF=Al zLYlp`3l@aSfy$ijZI1QVa6ZwRImT7d_Wy>`;@&y80_fwi?Ju|ggTN>9m*RrewqI>6l?k2lKC=1$TB9mWRNJk1p zQOr%6EvjMlg!78XQ$)hE5r54EWsY0jr=Sc+xu;yUvPH)B*B#&++?%N;7S|WH3!zF% zn55~BBa<0Sgg>=OP{!;vM-Aqq*`2jO__nHM|nbGUjQOk7SNSiK#@W`WL2jbX}! zKcpyZYkp}ig;9(B-q0)WoSYe$x4+cP@6b~9CGJc2n+7>sgS* zB!V<#v$;1(RfQU&v}D^aSS@35F{5kSLjf-RXu3>MhgrF2Le#T&mX(x#TN$0x=gOC1 zz>KK%NiDMgD%2!}B;Dx@u$>ds+5C#;E&N$NG{cDSab!iTpqZENH7Fb?m)*{T&LPN( zsX;T`Rs;^JgAPfJ($PETTb4FVtE4;;wI;DX z)H|Sitk#`b(r5j>o!d`I`)#SI@PX$+UIDCBkD{DMmq025=@DQUK;@MEJMKt|L=qQI3rrbr`}(5kn%75}xA$Bz(n8zO0WjK*%P^B; z%Y2pXrO~FABPAMEc%ZEukwY_n*cjFbJupE(3>WMA>EQ_J=wV+-3o{~Jd>{cB+Zwb@ ze(}FrIrnI&+C7ddMFy|iam#fuE9FuyG04#1kUJsFc$;Ppi6$fW43#Eh7(&Uo-|x3X zF0W8#45{2@UM6Maa$erbpfbsvy*p=}way>skF(aVA z2bE5&D?YhLBo&RF>R(;0fpzS5r7X~i=JA&kif*$Iz>5BH>FdP>_3E_WlEW>xc)_Ap z{nGt737J2QH%!MHGG@o5O{ZWN@D$mIP56j}N!b?z1ZGZ8d7ZZ5S<>$g^}j9FCZw|vF~|_PIc2)u@Dw7uX9VvsHm}w{KlQDkmuMk~vK*=>yn48>^Fn`BPGCY> zdF?0}XFw~EM4pKCuKguZ&c>?Ux|X^BgQz1IcXK){?gvlz27kEtVqd!b!L}8Ld>ixu zASTtB30o5YICJce!vptK`@|WDb}ju8*;GFfXl1)Yv~VA6s83Ey|2nil@ltqdTW*n< zob@J$6N=AXo5?MfOsn8xzZrpK8=Nz*H(>)H|KQHpU5_AW0e&&|;20(#JqI;0fRK~?}4 z$n3_asxcu!%pk+G8%ZnxqL5;kRAeGUP>%wUA$Mx8nDx&TO2`AqMr#ph*v|uq#k`=U z-fCz5)*`5_I*b7K9$Ro084~|!o3|Al##hxpv}nKz;XLppyUd z%NWg=?tYIQ0{F|kD?9$1Pn`BjB096%M4+5Eh0Ld3_QE|>Hsoy$^_*A z9M2dw+XZ7j3#LN{$t*J05bAA8vJb+3x-SavFwNi!1}OCAAj@`^f<)>-YTmzI@?;pp z-Ehe3ex^oBfCShA1P~|klv2Q1W9O^dy2V?}`K>8l+=NiKrK^Q|2#+3%1qOZ}A2&*c z^#p1GOCuaER;N1|7LTrQ8V&{uogM7T?O5~K&oJeOy$ujE^7ivECx(K~+qD`E>KS&ub_`W|E z`|>7dj_AR=s%ko0(Y`lsoD7mmfNBHfXX)dU#R0!j0K9T$yp72XO(xvDb4BY2)&}g5 z9;Ug+3!WeIYwL$Q265;{PFhDmwyE-qe-NsIB~+ zHgRNaUik8BjnODa(F?54oL93S9SpIJ0Yjf#d!5}?tY_EsD!E>Vm1I1x=mu=q;ml;* z(|fztPVM4v5lLPlM{5#BPQweIu^wAU174vVFpQkCw$w6nEBh_c;N^!^Z$vpQ1--Hx z`Tk<;){AtS6=le!AuCm94pP;iMHJ{9d?Itov-8wklmN`mJ6Mr+7bZ&2D#^qi3~3h? zrrny0zp5}h%k>IB`#}@fQ)796A4(pDwQtsS<|o3%L>%}265~vd{ASrJ z;zr#kO1Gu;udB7jnjMYbk~i8FIc~?(uNLyBrRWUZZuVf0#3W9*AdrrFs)XE70__>G zdBq}09U=r|QtWW$sL7GENg4W^waZ#Ewc+qAoiwk_aMqJ?-d!JtrpL5a_P}#E4jpAf z7=x_1W@L=%lHP`%b6d_C`dS`{fyCG>$TN~j510;%5ApS%=9n@$J(EO64g1E+$Jc!~$U{{e9o3*;^Oz@ZOE;U5FqeK; zhE^>qMgICS!CUR$bFydzFh%k*>o+1=*5i$TM?-VKt=NASmT2t;n_e<7^Re^TVTcNxw9?EeivPDm@d4ncP5E710>x~|LtF-A0uPQYJW*- z?@MR@S8<7gcl>=mr=ey4p5|v9YOtncKg^AFBG#{KYTzDTj=x*NZzHr( zQ^mtBW~OWRx4ZjWy?X7a?~2l>NQ6ib5D=)cG7>5f5Kuq}2uN83IPiZ8GE=c2AOay| zCB)P`_0KyEuCxoi{zN2)rT_UEK^V$ts*O?ieOwS&_yx}tqj;7sgMcB{E%x;b zO45am6ufKBA3m!{F7h0HT8eK_B=bp56dr3!L9KDCyiSpFcB^bfwZHpoU7TD(HkO60 zn46UpXv!j(9{N2NS8XoJ-YqW5I?u=?Z$L8CD=~WQkNQ3rja_F?pvo=lb!-{72p?4+}wAe6xU|A=>U9mHT3~ z?6I`U>b=W2kv)f7zoxM>z>y zAr83zj$l8cADUNMm)-p93u=AdNiH8dqr+a)uGRA{NI7nyKb#NnTK>_SDBttH!Y*nA z$dL428PzJHB`%2cl4+4_H7|5xYFKVP{ z-jlaHA^MP>>ufi2A#*ncvgBQP*E|x!URLErqn>za(^3H{3q{hc@!PYm=cjPfNAVVR|Xz zftKZ;=&35xgDY^cpdW4NFMi|*!G9#8DMSy^K4^DRSp(n#QV6j>1h2bKhBpjz+`L6U zkOJo6N6Gf4DtN!=sfWiK{|ag%h^MAG6Px%bhDHAC)peo(8iDPEy?Is2rapk^W;P zRy@wZTiXxZX3Dqp{^$34TVOn!(M^SukVtE0UQU2rV zx(+ygDlpiizUg>z0cmQpyxy5T)Ge?6U5Y85q^7xn*Vjz?L=F&~_ILTdsk6s&gXcxM z_mZ*@3XI&4QHF_py+eOq0^Kf$H4loCnHKb>|Jd}B{;8ff*j#tM#jI#JDJZA#X5mXc z-ONip?uQI`+^{M<$69}%xBm59t^BevwN*5Z(`~d306K58A=6E5nNLSUrlF>nzvf#I z2KGV!?dA9St@N?T(2_SPV>GXw5AU(`Z&0UDXqUK5Y`qYf#trS?-S*qXP3g0_RAid; zS7)F@F6&@-#g2XbbLCG2nT0K*^=JYpTLOcnaho#pC;F>T2i58kllB^CrJu!BLeJ=0 z+DUlz?9nU_d+FO|)2BY2-}~PckNjS3qz`R6!VUmOsg06Zcjag><#pXhMt8IspXU!a>p=&6UYL=E zyiv$9^v{KKJr`2HSlG_>nw}!q5#6hYd#Ar!-_U#P-^}*O25Pw+_NEU-2DTCx!y1n7 zXhn5H)5Cn8m!zB~CWCZRyDOePw0xJ+FG?>@U@nU%_?dAb2H#7oItLr9hY!5WJCu|z zzT9z@Tu!?COJ~VN^&j1UUQ@KrL9mOL9}C6Ih+wbCz+SBwi}Gsl#P0aZB4ch;2khZJ z_ji%)NnH=O;P_!N9C4r$f50Lnv}^J8O&&$Cc_a>_z41Fh-d^p|>c+n_;T~Ll?qKFs zXX&yYzN(<~*tejDpZNG;1aweFv!hL*WkXk|oN1M5=!(d@8EYB-d^ox#iUvKs3Nj66 z>KeB;Q7&-tPqR4c?-|@2@f0yIKd`lL|M$Fk)@Vdk>Rm6xwG-IK1;Avesj&nT+$u#E|wOsI8-2R!wJQGE-So#BH!WGvbhur~HI#8vU-n&nKm zm|5mKFgyo;(K~nS)dlU6KN_Sdq*M(>mFHg6HuN)WoH13M4fr&*6F<0WL~OF27A_J1 zgle$DK@kJAClw$7mXxk7SjDe->F|O-*xC&Y`N7HYI&84_u@7S};v->thhj>~t8!Es zv$KXu6&L!bYf9^Ktf_VKc$#ph4#;_T># z0O(>bKD(08ex_!OyIJ58QL40m@p~!-FsOmOO8rF-nl?Om3+Uyk<#<*>4>o(?P8P2A zGn^Vbbf~q|by*WA@P`9AmY+JF5(nrQP0M^Nrm=hklk}e+O13&vJ)=Ks?!Dqn%W$>m zBrwH7jFytnRkPjD*{_`*Wc~h3=g)J>MkqO`>dZTxKKNMHuEnH(gIjzsuj1tq0}L=1 zfN@Kb9}E7lKi!jmm9UKVxjz{3{pC!)dao)S?X)T?y_e4)souSB*^cld~$7V$gDhmczWy5lFU zpmeC6Y=x7Eg2}Q>T3i2}@qOMv+F^0u18uG8xL&PWmC}0J3x7S(*z`lVGgNc4eWa6| z)mhJ!U&>D@U~ttciE`)qv+98 zcB6FK-LzHefn>1d5LX5-5Dvs6pKrd>)%B)Ssy{H*^QJ&%Gn4$1}DSHOUMkt0;- z{~*#n%Kw2q2*F?Y{?A=R1}C+66F#sgkQ;qMEBhW!?@E(kc^a}*dt$bDw~?|asLPat zE|+-Sw@aUM%s-*U)JUmBBcYOd!Ym;sO+La!XE`7P-lbiz? znhOD@pk*if(|%VMCAGz*9rfz+rYEGp*JsABn3;`wL_aGJ{>#^N3a)f%DIPfFZ*UcK;3 zC`#@aK_gi`0yv)tL5|czg0ir%J&#vqj)GTJAb>Ag11ft*mr%ThY(<%P67dZ=OL5U+ zXaej8mxm)VcTZNG&$4ddNW7oPwU1>=o(sza0=x<*b0r$rMDvA)b|>)Rd_0Mz$&8Qo zTCx&1PRCeJp&=V$OG5-22C!^xD~z2EYEM3u41L3JwnvBHa%+P37uk1HQqoQHo~?J_ zHun3yd@;{Vmd2~R949_ou^3v0s!mps$`ki-Q}@mZ9bPh~gnO9$4bBCA?ApJQUeVk` zj_PvPKQFV(oE(A*({}Enkx@Ldga%=(*dmm6oXhwg!hB|2ZpjZtqJAqm_=MocRKHfF z-MegGT&}$k$m{DkeG0*%+ut0yBBL)qUER9(OyhMktk$>Mnqwp=EEIREK2)1Dhus6( zkuiZ1xsgGld^&QvgHbYo-jRCVA^0GZ%4H&?eEZ}0=ew{kP(g$!jFJ5*a%{xL0qD(f z#VZy`&+Nhhs}YTG1l%1lX|p{z=3M6U_9X#2a&NH5T&K*)|P5BnNL4FMjWYx`uBB{ z;V5_Mj0#1u3>dRbf-;6Gz!;`$JKq}1seV(ZNu|$<3u^x4bcio!JnmyorX|m+wg6ga z-=7Q6y1yFSrAbkeP@$09ayL(G$m|z1jhn}b&7gQJ%jPs~(tRj6>u9E31Y;j^Nb&uM z%j&A(8j8rTWTEFle{C1jY9f(Ib<2z{#Azvdfsap9nY%I?thx?y7}^9?7F&n~PM)%8 z_Jj;JGXmGAo1UjxAG7K92=#ZNvs`9P^i;KN#}13*dq&R>Fu|Z%&{{+nypdg*>ZgAV zTllY^wUJvq0v7#_WfRXiRVVizFJ-^wNW?fh+s&C7g;tS_Ag@%abLODj^y z3~Jq*UTrrS83$AhhRX=j(AGtDUhs#rGG{)m!g~{kv97g`dxAl1xvW)5h#4pA!IXnz z`PSLl3I(0_V#*Uwa}SL>M|Tg>ysw;CG0;mll~=O@SQ)9lcb-%lpKj12 zOF)`j==P8FN9U&-WUNe4GojMc z#&`Fb)v*>}Lmk-K>NGF^1T5G4B{C5T z=@6cn$I|f)^76J@3H@0x8oF-;urHlGNkrnhh#rZgt!ErYKw@J@-~BKj%};(w?=hjx zep!!)bj>8qER&Z8VQ=`HX7s%E{!j$qKp_GsMCzE|<&ACJNb^t{Df>)tQEq^PlB{!4 z$Z~iyy`Sbp4Oa=Ab@40vn@P18?waF=19#riTTY`2`ZYF&9L^CKG+}J%^$UMYKHo~8v z?}$^m0>JITO*gLiWu`j-4;6=BDYABHiHysho=yI(a)dLvHb0qTTJ7a=kraw7$CBbNZ0( zc#|IT<~)F)i^7ez{dx+=ow~;>;tJzaJ_q%Mx&X@PembMeR$RBxh1Y?K{Cg8>52GIxd(f{rwT7A2rA?eq(uYdkQt@s2)Ax zxsh`E4M$_-6WR(`)P2iHWUyqcB@JJzb)nZYhbdcSV)A|)eyld9h%^?53LPOEo>M}# zQGK_pL_d=wdl4l-;@KH6qeSmt@&v8?n9uF9u7k1E@+?GbY>e}CNqYBq|0-c)Gkc#} z%Q+hv7g^A}r4>xrx4Gyqk7JrTS^XkmElXwKtUWy?WHefzB>J{M<9Fgv$Ud|!@b-$| zUj4e1pNe;ma-%t`MkJX)m@jc(5vigO1N-1{So=A6XNdMX7!eT>MxQZP-=>) z7N*`e|CZ2rOq5)E$eGnuY(-+uREr2em4oDGDA)8*r;GG=gYnhUm};r{)(1YV77sM( zQyUDl)|QLiYC|%cZs|&NOc7(VRO%Ij?l=qW6{E9|dCB+3_F062mjB+-qI9YLWxK$p zC{LEvb$Q}k!}@z}i*u>XW4VH?@AJdo759C*6NY9F&3CV1um{w`KAHXM6bAbOZVOLwxNd7L@)N&`goHTnrjN>1=^c9VkXP-6n6I|Y>} zJzNq>h5dC?r7zY$JtG(*lka8>M>$VJLs&nhKbb<4O>{i|NuzLPTv=)MY4(P;$JBH* zukVx_LLIj}cfO<7*$J$De@(GsNgFHf*z^jZVs-=0r%&Hn6=VY;Rp^e#pR#=tD-xQ4 zBjb9TTD6E-#&S;=qL+EUOT|52if#ifk?{?om0AQ6vWanEw@OP0FUZ!ojmlkHuG#Ih zETzub&uqW`ReEQ2-?Lt-^FDenP$*>3ipV>xzoSy-PK5XixJTVN*Qq}%2t}Ribi(`B zv7Ynqqw_-i(vbNB2gc%xbYci*wov3K8_B;@El4Q=I4F zr5|B!3V62|kvU>(A|GUnD$L)OAuci>bS|e(*5~|uv#Ny&RbpM2 z1u&R-zg{j@MSl(W;Iiem{e0?bnXiTIpQ_{bGBf%-1pq`752QyHP{ zP#=VK3q-AhOZOUGxreZ(=eiOXKeKoCAAlJ$Vj@x?sEx$jlJ6g4i!IL-25!W;Rh~n@ za!77&eLCGKh*a8v3lI3=`|lObHpm*=Ry<92@Zdw^ynNT+*!DbxA9Y*aen&z#USu{QB7G}-n=}SeHbM?}TPq39N1GttiB-q@cb0pP zDt(8450)g^gC)M`k_0xO_xjZHn)NoFjgK2JwvnxVef`&q09ffK+fRJ_lvy(GiB5rNkCGGcVYkp5!R!)`#5eEI?P25MvS{(l7bys#q zD63qcs4WR6TKejL!Plp5bl(CTiA{uO?WGkF`l@YUST^ zuW*G8ub^oHH&cKGcyk_H8-vpX662n$O*eyog(@l_7hADCc*3J?%_yT$5fe$`u3s1` ziB$rZ;Y+dScE9flZ5RAuM430mkY|>GOdee*Vv#%~IfzNABB|C=#*&cU?4@#kkYq(t z?LI|j^J#W(DX4FP!;WDeq(|4MUAXwNAH5E5FfemeLuCpg9{ye0DtV&aA?VF9-TN;fz-?k^R#Cx zCGt<*^^U)sXk>Q7qJvicy0nW$GVVY>j=gk2%EV9Cacv_`LO2m(Wj2!9%1uOJ`lqTX z2C#1zU>e}z>q0bQGFk)=nHq9^r#r$$`czrxlYTb?O@~0r57>S%i?b)hww0E6; zGXm1ovb$IJk9Iab5`{7?-D{#!Kms&VSN84BK&6RT?6=!E(3`gt2v^ISPw^#AC(F`_ z{?q_Y`$o9f=|Ze%Vjcv>ZjJEK45oKx!N!)!F9gMi92YbUVPLBnH{c8qhDeStCDKur zTpg@?)%bq=tnajV?cj+ZJEt8T@Hm=Dl{ECB&hyxekKC#m2E(f^T3pCN`V{eDt48Hg zQlL97xKs!-%gwP*eJ|4H_=l;7HOeGh$Ygwa=$k74?f0*%I&q;A;P<#Gx|Bjux$W|( zm=YXx!bRa2Bi6@^v$AyCa_5G|X#i2|4o5TAfRC~r9%~u9y2a#d%Jj1xYqTyo>hK1rBNyZL#7G^SVONsiIcap=NrEWt*2BYTh6m255q5Xkbeq4|V6m z1&Aj9yR*~!TwU(gwF$@j^QJaoM+OlQT=Bu z+BNK#=k}T@g#a<2mUGzK8(!?CnPHG6w|4h3Wg*q}sXI9F)Ur&z ziB)i8LMeR=ewdZxbB68TLYiKe2a0krp`78ts_CJ+$T`n$%GHjR zT8^mP{6qF&UqM-bvc;n}9ajB4x{GHub}M^}*~q2;+YXVgM+4c~u$`p3#{OMSN0{z( zBE#qcL*xS@&(!uZ${`v54;qcV6wfOyH6i6|upftz_BY-WH3ia)3jwf`-*C#jmDJoo z&|R(eEG8|*;6MU%Ui458$(*%yg@m;4RJF^pBg>KeOS*T1L0MrNjKJLOr3+)oQREHA z4amWv8XTnN2HSwCl-nR=XFTK)_Zrqf^I}*kk$eA2`-d;W7+wQ;^S8&9!Iit80d1}Xhy|N;qu+XRNx{sTd zbHHb9elfiRpfQ~t(h*e`3?oyVpGDn&+*q0OPs7*}C4BamgL|d(*XfP#=dN3dm)!xO zQ4xZtw;v$hxf};^I@tCF#z~HXRNc^2%BP!;q|1(!W1MI*VUf7U<>>Ml8jCv99_s&c zh#tWnBeLT(c5yyrIXEsdg9mkGlq!vN9l!5G|Lg<56RKo09kMa=v(QM^;)dE$CNM>fdiu*2pp+ z6X?Xmo1yM34{cvxr>BazW8?<5q_(QBe#BF|^MH4XKbEwe@NlxERr*3xbuj>o^Sb$E z>gNJZLf3&PiT@8-pStn)xJ(0OQ%JL5n;mHGnmqmlGdZu9M6K4LDv%IyIU;bzaO`;; z>j1XBww-+ekO4-DwUG*^ZPAI>W$bj0Kc15N(+c651Mt={3oQmY(Vc$${`AD!9V}|=W!Is4&-5Dkcz&?{0$}?-6oavxDm=Fp3$m{ zm83LX*%1LM~!*AyuM| zZy?<88Jmx}xLN%KL@3><;#f?^uMh?W#^X?LgkG-Vpio_XL--aRANhWx_Yip|12(*! zWAsX^vlNVDwz683ZyffzCIfih!-Kj+;;r}T=`?3a82x{E`d2TI;BmB2a8h;U499jM z+Y^s>5kH&w?fTR#=5^W@?rtqMCDL=`@q|F^fZqQ!l}=}XnZOC^Mz2MWS;;^d zO{1?nJW=HCK=26ygwx@Oq>24+PM83 zt@eZQ6()2rTIzL{Hl#VO7*X=W^)&B~y8EJ_ z$=?b6v^9z{{FGeaS1HvIA_n=MhkW|eOyb$cg}<29YKGVJ;CPq_+Fv+rA!_PmVY-o3 zh!-`bHl_i~s{!%PR*ufi2Y#i)0Gov4)Ckd|pXiW%dJ^XXKAE$CrZSr}J}Q zftlQlZLSJ@zsK9|{0z6LMtu>5YNJc|aXKNVtM{)JDX0Zb+i;{rogU6OY0{;Bh!N!* zz5qnvIv4d+;l=;~X(HZnaAEc1pkFL!-Q7G2c9AM}4o7zt0PVe$p~a?N#q_|s8UMUb zFCCL7I?LjDLQ~J2<|r; z`1YVGl%=z+E19i7T}7E5&(lgpSNk6_lngHJ`>$h(Ll`vWO?Y-@FcD=G$EnbEJ2T7p zB(70TKbD|Xp%-$}$DU{EDRZI8OkLJHJ>&1+H5RHYQ>SKw<)MhF(DtO?FY67rp$Qdnipg za_?REyf%p*GhLh!IugNU6BAE(v*Z?81PXI=X2~lkencT|;#v(k<7(~B8KxV6%jM5~ z#8zTnz+jl#k$q&Qtywa>i6t8MPA8OkzRuf``FVMz+mFFI-%u;z$j+R!o67ehzB@j} zP+d4}zMiA*ZxX`rhJj58ZD{&v{>s-m0UIc0Q8q zXGIYd`VGiUe()^#9DNyQ6ulm#J4ft}wIK+I{NpMUs7AO(0G+5S>FbQ?LWdQ^CUba3 zAvQ*AkAYamj!a0(GG*v&PPd1m(IQ_LQ?zeQoRZ>_!31RYr{v0dh|@*0tu-8Bm$P6F zQ+#JVzcca|DZ|fKspngZc~7E20hbSCgakI_13@-87tr1OGb}+r5Bh`pv}qq<6H)ewIllsDoVyc@&ZK$SB11&fCRDcb< zZAa?08tjIcP4`5ISYz$ly@37R=`mFYF2o6te{0SgB^1GYh3I=VKWharNmPKak{^r<>e)uf~8%`)8;;3k9mU?yxPuA(R3MiINVjD1vx3oOE$g%Q}f~Fd)s7fEA@wuV?eWZ z{O*^Hod{u%yA5mfgxW_{FWiUv{hQwre3aTJc2Uzp`3&bHx$0n&#(GrhizTT=_g}Ju z|DpM$#V_tP$}>wN`@@zmdCcks9{Y)JY{#$dg?|wQr!0nF_|8OsjnKFw58GORC^Hv! zp5cNRF_{6YTi+S)5>4u_GA17S=FoQJK0L2>`3Za{=&6j>-q%)cWjy9!X|pDe^kX9g zlG3$Evi6G-yH*jo+Pj$+vxW8Si={MQqKi0|K_O3HV&oD?j!l--g*MdVm0LT@8-Ixw zM@OGUv@{r%TB%f^3W1h&ZNnd!NWr|Xj)yU%4VTh2-hOx+FbDzC^sGKiNm$^mVzNOq zP2~T;zo$}cqLN3`f+u0BbQMO-gDmB|eZ5a?S+ly#*d0yTt zL#Gy**jXQLrOq6W#s<1Yc+EUV2rz5i%}!{$Z%8}MG`R|zJpM4&6o)EGmL0fp-x};2 zCIlP|hghL>ab>Y>$rd|b8Ix_sYtB@>K1P%jUkRuOj+}`Iq&O>6;|{TDG0sYz%YfPY z|1_Y=&i{`Kfdo@1e~%VgumENZJcq;y@2URHNGEvn(f?*`Dq57D+@Pt*w>|U9vC0lT zUcaQdeGUwAlp|68JXEu2OG@q1xAjAY`s`^BNMn|#Ddp2K&J|>d{PweO?CjC8ut{(L zx|`;$!>woXgI)~GS33M$ka8BpIETKJ>G%9IS_03MN#SRARnL=|0BIfRTBBMg2ujvAl_@ zGh*#mUC+>2ZdX{3;)SnrzA zzS$dP#Jp1;xr^O)5`TX*lPCtaUcuj|2=_1Z37*1|nBzoiFray293I!RFU8X*Kl(`U zYD!4?I*iuWMzzx*Ez^1{A${VFpR}r47mnz%U&Y_=kr$_&&Hv+x_2xZvwFqj zqrap9KT{;%JH7}O-F`LNCoT`;u}b*;H7Az<*E`GHl5O}FF21Ny8wLVh2t;nm{k2KW zJ<}lU{`VxQKTXBcIaC_e1J}+rLe@4m%4^tz+Xw0akTD77j!mWT4*DRp(FNWiI3LH; zx4QQ~DCbz|sO*w)=+; z#Ki_7O7_Cs!HK-*#``FgzkY1KLz61652JOtV)EMZ>K!B(eJv$=FkqrL2-KIy{}5Km zq2KE$bOv)4v2*xM5C6|>$c|to#R$TgV{2lqL$_VHL%>vma>d*zL92t5oN#+4A-)r9 zFT!fXl!^1Lpz$y|@F$c1(A0uG+nrEP7ZHMy!x>w4&W)2FL;s&6$mrkn=YCCOCMNHe zNG{~saqsYt{9}xZOkH1XYDlXYCZUSI=DqWD>j*AIT>9ID&n>IQx*uX~kc?IRE^!=N z<{2%l4CPEOI+s^OAhL!=aQiOFYVfM-fF}0v&y=Fumuzt)*lG7JRTh8+gnH zu1kKM)de~Rnai-vlqkYi<&t(1%#;ltn4}n&nCQkvDUSjU+5@{Q8ql0}0&s zl=O7nfmJCJj(Ayl(}Vc@6p*27;n$-D&2Jo=--iVVJnb!>iTxTIBh{R0w+}oQ*Ea*u z)PE!Jv(ObM3;-TcM|{7bB7dC*Hgpr2RCEoswc-FLV9ZKpA4xX@s*rxm(5|zHMb3!k z6L|4hkVY6`^>=xKWf~v;nY3czf7o;cV%dkIX)ul&FPs!4l);@aKI7_#MOkugO)#8TG*I_@0vOWvuRqz|glJg^bK9bk>BE=9=mm z@sST!uW9N_9%;+1;0g)jiWfU}l{X1nXw)W`9{nq%J>(5W<{P8wsUhDgVXB7wQaxYL z(XSjVm7@xebjY_J4whR;%69563}EPdbT(TuV-;Xt#{TvA3mkzxfzuH5FT$N*M5zEo z$_GjE9cKKcWr*sF39uUXCVq##oM_A!HcL(pmuGI0L#bS{n5;`6g4_R-K%$jL5T@3` z$gE|P+)&L-{P>H;*-0u!niiSy@K>lJ@okQ0LhfTNv(Wo)a{!9>sr#mO*vj_V@nnit z+!niAq8Ab%gIni`mVrI}wk3hD{yNcCKN8$QIm&bOk3kwivVn?VA0dO=DR%#cYA8y) zNx^Lefb~jycb6gT9(l|EQMyPZ!;D+%v8ky8u6SiM6l*@Xi)h+xwqVscw>j0}+5;ZpaJnd=F_%xp^g?t8-}h8Lv-p?Tiz%kSdSUrG?30jA-;|pEilB(&RFw{+~i}L5L)Ic=b6G6gC8;_zo_QI zuuY-HF92jznkUaZ4oqF*sAZB+5k`JzLZ z%J_fs;n~V|q)z8ydST1sw7-rLNNX>OwW|4k65Y?|_P8buquRAG)Gy!8PkrZv?31n1 z7dt=Dm>+-owo;WWhi@0N-!e9U+EuOEP4@|w7VA#8sT~M`EIe7GqA_2FF zNa81W21i+LW>1nnlqnDxy(ur%6gxFRAL8&7AfFxMXTUKZ%eTDf9CTkhdm1#B>ofa1 z;QU*G$k`EF(%&iiDDl>;=r5vmeG)yQCZUbArR9G(YdqQpZ4d6IJGJCKaAn|)sg))( zvewjCBYW zxuZs(;!oJP!LvLQySGdZ?n29nodp?yPp;LllKe%-ux3HEpwVtQQ*}BPjp1r~;OIMy z^%&J}Qe|Cmd|wa11n5As3VWVLMwIq$41CQ!8DzB#mYx2B6y-iw7k6BlMoGxANH$tj|+uMT#| zvK9KmK_xYRr(!{y9&k(D&142zO@++KoU9d1GM8u8Vuzr4Ikpm?+S9yb!aH|Q|MSOEaQI4!JZG4X5OF(EOUUmwq2p|o zu40^TP-*CIHSF!nDfQ!7zmuXrc@45-NcIY=fs|Q2Bi{>Q^fw@r4m=9x|0Vbs%)8QgtzP8n zpe!z_Uua>4OQgT$nXM^2&Uu$L6ARaWt-2UYa2$S1t3v%t@?u!{FZ{FY6^I#LM=Y<6 zn;i1_+B17nrU}uyf7)brL%D@%cjfqQP9xGJy3E4+6uqxG9wl~*pfkhi8ktL-$ zbI?2vV@Dk>f&gfwyTcgLSsw@_QlXkh0n#>~ zzhiLTPLX?y{l;8kTb-yrqB8HK-z(p+hQzs&F&+3 zQSi+)Y|<$$ z1ed=KgX4wfjs8Srw^x2Gfx|Ia`1_ycdA;N1V~VrA;2DzVJFXwZ!u{EqL#4ExozM>h z(#8pI6*r?VQkQt7f;5+{O}GlP!UMu`pozxenDk=@NgFqE$$-reFqZIHy1E)NS$eGA1(QmPXqy9#SIJs&3AOG{NJnWG(q`MUC{uOr zuI`6QTAi3*^ERtuEfP6@)i#+&nE|eDnmp{++12m0Nj>;r9p_1FN(!C#kdn~@Vm9B! zU??}P=i*EyA32sZJfY>mV_>SOyj|SwQm1>n%_H5Ak5X~vz(+d9`86v(MqiQbtTnQ_ zr-<&f4u?0G+Ah)#uL}W?GJ)d>h&FZk8ThJGSTW6RE>kUjmyXZToN)^P{&$^#-dqvf z3|pY8pO`FY_d5CkaRl-`I;7E0>rYNYq#wot>{bnsb?~=?$phQ^cXv+mEV263)t5a? z5i~W_N#cVK?sykmu;E+r%Y-8fZ*?s!o*B1}^R=Ya+#rTcOd>l+22k;!nf7E>Ah|8f zEEeK_-&L3pSeujyMK-zIB4~^Be#dzfUQ4L0_2<0F2piii=xJHno%+em#t^0hn(>m) zB@-t~II$9-z54ejMp6DoeYnayNB^=KTx8Yu$;Oey6Kf7eN$ zELt^Gla<<^_-?l`hB}+!U4CV2nNT`IViZi{3PC%x-zh>QR%0KD>amGY@COavvqH?0 zUl784C-46+Fm~YfMuKYcs1}Hu_+_`L`*K z{;Jk^#Zu3)51pRX%tq8GHPFSDmHF|qyTa1>$?Zt(+YVtpvX=~8>=(Zy#z|CR zAD^>x`5!87Cbr!4Lm zfeIb8364lHc}DZ}ol)-7gC~xHTJLRW>6USBj>SZoXM)PuCLGb0J#j^bCKRJp)@*%q z!42vuZJwG$`YfSVX@`EcSwq-WMn#P@v7-`}U-mr&dG#(1kr4Z(ihjR^n=hk{AJjc~ zg`!TPqH)Z10ceE1H!qaAzg|dEQ|iQr)3D3@2$}7tmxiZ47hqm}L;$ z;it>{b+1$wB~-?L$Tk>63>y)Bfrg~mrTXzh&n~AUf4%?SH@qxJoew2(7 zvVw`2KZ#G7m{6C#o0|V!5viFef=PzQv<0xX_s32%ycH*QGhD49q+>yaqUI{d_fAik zxQ$!lAubX>cXIu{Dmc+isXqR2UE($t*Mh4fYxnvKO-`EOP{-eT_?Bqb(94dLCA)ok z0-kB0?Zm-8g;VlJTW8-B>+T1$J#*D?XaD<)f?=Qgn~PuaG1TZlm5- z_ot~&kC*#EVcvqg=EFP;le~ph@-b|zHg;`p130KqkV>A^v_*902!&{9GM8pm_QDZi zpmlm9F)niNn4{kim==apl}x61!Tb>#RVg1JD_=!)S9(Q3cD~>F1Ikt1%zh*z8D7=W zIfj-k*{%!=M7$swes!EHNd5Z^A8<05N7G}teVcjIux;T zwL`_B{bRRL|Aly8>@U)~%Y-(Hm8F&GgcMtmcav7b(zD^lrW>HuQjWpAN7K=6{uv_L zz`?^%akFWL`JumxA}!3|5}SQ>bal{-v@C2!mbLNzo4j@~ZSdQ8O@yMyyKYuj(V}g! zs`5{N(P23~3NzR;ClnNY<%hdl0@xK8K9dZIgp^mrD(vgVkuY`uP+X58?aIuxcVrpT z<-i-^$7HC{qO%sGtLY|u)*v~SxRroKatz~8#4j`o^d_=3!LDUm0Uc)@++?j{;9XC^G z%>XcAX!k*L;72GY+#Z%PB1J?mS@P-0x8G8`GD~7Ao6RUNd@GWUR02Z9vtvp?%1ao7 zIWklrRw3li`^&IsU3X=|%N7;x2N!6Ll;cj>j{;g1rc{ zSqWtURE#*M<;9%#e?EEM1M4kwp-k)LV+cU~AxT)H#~OzKfAs00jmHL&uMIl&w*x%+ zFN0TAO&RBLd2KIn)mZ;Os8emkgnuJ45~c^52{b;sDipY!cg$SL(-J|4wv$eeCDpkK zmv9)qe4C&PF;eVroh7^wwjLsNrGF&-LH;6rrmB9LGB+i$I9E%K62IlJkL>WBGIfz% zgu~Ol2ipauxvrz$JUKop5&`Ge{3thzyvNl~cA38qK`cI`b;#RnwajFm%=w`uIy?bO zUKL{b+Ji#dIe%e@=^pucmQE7^%?8%JiuE^ zY_njMRTOgp)d?>slYexMlm@4mbXPLiTE&k{os6X{TxX|D#0ZGB@>06Crq-R*m)1xj zBf9nJtpZCuZz4oLqLb_^Jg(@p%ZMSQ)cux*}@h@AHFrdsSM0Xl|mC()1^J|MP`(SB|)^A_bs?O~P zi5oFkM%@?Vl}G_%d*$~BTeEdeEwVMKBH?}Tcyv8~0)(JP(SN@Xh zHB^7=6;tYtolLPtfb4>hB%~ZGAw{ry3l2=H@r?H45Wspxrrzo?f_9-%TJwu?@K=dfCSr?z`Oq4TyXDGN*r;k9=H0MusrC~{LkdX$)8zBP6 zy?3wq%IM=DwrIk=q4!5h9GEi)V$_LkCk3^f5;^QTdxU#2EkVej5!e&e+@Q?XR?)@@0lRaBf>fjicf?`jEso+t`5#AP%lbuDABH>yE02fq> zy4z-sW1A=Y-KgdGX9q-5hP0=Qu>T2ENvD8vzTb=jTu_C+qEUThMvP15k2GlS)@e?P z@n&rcQY(KcPfI>ij_9yu|9oDmlFnI`=XCW01m{)Zp8|9Y;1p>v?)^OlM>N3tFecf~ zNL31`NcSkyLj<&>sWt!J_>?7|SjAlr&WB+dOw^0W!y6L2hWKhBQ|1t&-K!c~ifqf-tcHb^qDsDj_s}m zF3m7vDR_RcyJ!@f(R81MdmLxQ!6x?OQ;-_t#yUoSlWI&85U0OozpvARfBq_@TO8GL zNL{5Wn1F(-eWPvpodF|jXK%M7yIa@>M?vdFxVf_PcQq0#o_e7(;$SHm0wx_pvi_&3 zRVD~Yp#3j%2bA;T`~SyyV?o#>yY{}w6@RCVG#EXaL#he53+eX4%{R8c*i{GCMZf~eQwM_JuBXWSGPIB46wPOj4K{B*HOu1#61Zb*I-)>z3({xBgms2 z7MKCgw=0898Y1CgXQUnb7A(zD1p~=B-^4@LWNhx>h7%H z24$MyjeAg|OkH`zBUo^eiAUTr6(%D0#2~1QydX+`5)!>qrj8D$v`Opz5j6l?+|0X- z%}m(%QI7}I!%m&lxxd5(?mVpVeC`312h*c-dre(iaNiy#p#V4K_OKE?uu{I|D_Y7n zgCv;KUG+dLIHmLAEMK^$ROhA}1FZpjJcEYr8{g&S_U2ohoAvOr$cBBQ3%jFrD_^?0jDMa~=ET!LqI6Od^%d{e@7TY%TOPOg`f z`LrSzKq@a-L#;8KxBiy4ndGMf6%)3F(obhYM7dqPaKY1NF1amg-$Vv%IFu%Tg~A`v zbcNA!7<4it4Y*X%zxIc)mf8#{s%^ZwI=oTd5wk+A-y22jvrR?OZsjtmUVM_Cka^^%#qo!Z;uxzjgX)FLwjq&8MEi1?;yD;ZZ zmkm?Lqk5j_umBmLIPDc)1t3S9-Wgn_NDYyvAi#vA^7UhIR&R2QKqhgC@sYi~R*5xu zDoR5Lho=3$qo>+$L20@~6gSlOnn&g%4XX#6@9MfbXymul`OG)|2iB}tTGrlE77bpb zMe1C8Sei?kL* zlZREI1d<+ag9AmLcKo~WI)lyg^w97$7k=)8)rcriyj*LY9DD>dR3XlnT%EcTfnuLZ z*b5uTz<)8|7k&PI5N$>H{(J)-aD(;VRgPsXn9iQ6#)ERg03~c|SA8lNau#t4AM@>p zAB^3T<2I>SkpbAs`2A{uAFj@Bi&b5$nZ++JUeb|5ri}Ucj28eJdk5LZpW9SC!wpi& z^!8;}$``b|8>!jMP6{Ro5{sy{eWh7PZH!jktcH!aL?LQo^ zKd*^|N6nVg8PZ)m!DZ3S>wW(Q4bDx)vX_P_pppqbb6>8Fxmx0zPA}`F2LWCq%@6u2 zeBKX|6;h8d{n(9h4Pl1!&%~5{w<1ccP~%AsG$Bw&_HDavkVHJurrWuL`yb$kJJ+){ zQ9oI$%F;C4Zi(yLO3gA&nu&4SHCQI?YULB?K*D_&YBi{?CX$RFb)b+Brzsqc`Y2!# z2zuZg14c};x5=t2>GT5&cg;ldujc;9->LacWF`(wy)p?*qNPMun$lFN1Ohe z1fkbZ^Deo3f4r7m>O)+QDb0h4O7gUZ6}tv-;fZlo6DdZ6gPe=Hzok`{NPg95476?A zB2}IiyYcWD1JrF-@3&Dj_nBHhaKr+OZ$+T`PZGsiAV>!Kw0__B^*E^=ApaGzpp2t< z92JMSX{@%gAs(z6SBmPJv3bErqqfboA=@q6j#8y$#L7_%^IK;$)1|RFDBN|%gJg$O z|K;mNTu&);6Z8)NjZJ3w7Ai?(sRx|l=RKqN)$pM6|SS7K< zPM&pLu1iQ3?p8Ma{lng{8N`yJ$XP)Z^^4p#K3sReDDF zAPy|LpR64mAR)W4O#_iZwCe%BJcD9{BgO2jQI*Z+8xNDrV@R58Y*U~vRD(RDN{RWD zHqaVsU+xvT1(>sC|TM zH**Z|Q~)zazV+&OZ^z$VQwKRacXQlTN|odKVe*^q3-0@zW61`>4br#`ANf_hEzCE| ztg+VQioeR#Tskj+c1eZ3+MP0&rexVlM)|=wNzJ3f^a}QrxWD>(z=4Bm*vGx#WWUU^ zl~Bb1+GpCHDqrp}95Q~LH>fQvZnS{IvR6-`dz~&8?Jri4?TGGGtY~7cN8P;8K_VJi zIBE=JZ^=E+zMpr#Zz8{r_yRX9+XM5~#b3*}kSpiIiGPK5O&%5g$MuF zhrdx!HMun-@W;{?#3FUEiPo z7@01ROjpLZ5A_A*5?Qy#5&Ek2WT`z<4CqS&d?AZiT21nDuOwPRl<^*_Yxhn~-)5n< zmFS%A8@R@qRgx0H{(^r%d;9liYDruY*sR7#Y-ck@em{mv^B&t>^k%F{RbgTBT^pMKpXa^1z1@^V$K5P-D0d(3;LAt$@ev>=6R!-=Q7Cw<~Z%YkCw<%I*$v8msy za(30(76%76U3?#Bu`U3|CTvb$aoe*zpMBE^I>AAr23cRWSky1&XQHR~! zoA7b4&V!vU@@hbWs!FCgW4t;+7gnucup^n`D ztDj&01Ltb@L*jf(0v7EMqKGy+L_-WJt}Oy|Qm}sr`2>CltVAaHdM++l?g-|Zry!%Q zhpeooAS)EDyF;6VG=Y?t27*(f+XoW>vU(I?w=1IJZQDvYrpf2 zJ7QuK*ST;1qkOq{H@VbSx$~<1cOaYH=89(uPI| z1gU5;gle5|OD3N3^oI&b@4`s-DRKo8N?*sG9`G;1A2iqoh^@5^CYj}mCf7VdjxH~S zgq|m^rZEIyFvxOccf=Ql4iNb68j;3s4-q{ET)m)y%}6cWyWdOxNOgx;hRAb%+1G`M zBIHvyehmfTf!O_@89$1tsp%kP2fcMl?-I1?7!6cmfK|D{L8Ujh_Z`~k`2k1QN>yq$ zpx%q7YXNbNI6$jK=z?@|$8OB#VAtzf9#7JC9zE6~*2bJTpt+Dzqt3q`(zp?t&W-Ml zxmlsj&$kQy$A=CC0dge{p|8t&xq6eUgP1I#b8OHcBX=zOz-cP;vBTKwaykOP>!Lwc z`QzRNDCtY)#tmd3SndtGs^_3Y#49WBqc$r+Z4_x?2;~5f!>?pC9B<>5ncOYdZbscG!ZS8#n2Ks+2IJYo zAI3DKKixOutraro`;Ti-<*3b&?rI%m;ZH7s`{`{?$vLicRiiwrF-4^1wqx?$PNC+* z0}~we!F)Z8kMAmu!O$XgeVPYOPS~>i4Fg=uaTr_N{R&lMAsKCWM;w0?YKs2r$GT7| zbVjNPo{$b2M>nCV)~kQl9Qx^01yr#2q6EWgh$Xd@bF0!$ll7AsYE{5gu=K~$aD{zHb58BeFvt7GV%1~^7sQKxLl=V~ z>t2Uqhmo?yy^qPmv|-%>K2ngKAyetM`PpmhCz6Fml!{>0BQ%gR;`xtX<}S$UxyHZ$ zU#uRB#*d}h%~&|INvx`GFstW{mFIYk4+Qwu{(chW=LZLw`)h?l!)ZR(KgkkNzk-Pol~*5zKnF^v}e0v3G6FZjwz8rot&G;GtbI=AVPw_e3y0@zJt zWPme|9&M|7NCYcaX|S8?uv3f~TB^c#dvj$K>CU(;X=05`7qZ=F-4a7a&LxF2W#SyV z;Ab>5eVVbez+OFO2Ue!~-)If}?!SF_-pNCDiI+HO_Ar;yN_$WsZS~VJ-rmdxb}QWJ zIbJy%dk)QXL2m;?CF;Aom)z7z_H!bbz!>+zyK%}Q_w`!}iUOnK$*Pd$u;R|oMe=z^ zeDGkgrX00Su2``l_R3~T*i5I0iMSTssFj-pieTEdpV)lII zJLxf1b0%6u|? z;Ag|Ek~pj_^wBM;$T2VT$TPv+AHE!~>?GDZmV{~@U&(^eah*jXe+I+vnuycgz+z&e za1W)2h^?U6AhAJ?wDD4h+j7{KDb*|Oc$H+qw`UKRSjc6EZ;16omV4XOn_FtB5)?tBl5c2wTC){8)0rOkX(M#K<(zW{ ztaS#ZkK1irV#8v=g$PLqe~!7vCUj?hQd+U;Rk{sp+hEj4^x-TYio%u+19q8BQaTqg z&I*`9EudE!(ne_~Gpz`|gO{VVat`Duv0K@5;TG>fr|QnGeFnW9)Fi!!Fuo>~;UQ|Q zQvod38ydGd))F383U_RoVx1w zzFmiOuZ>1P2--WZ#EW$LpuG=H{t=vNOR$B=u5k78$9OH$MH%qjIzYC7ZMhibS+AM% zhzlCz+lD&qoN>;|>$oMJ$#mfdWUY#p=%qNV?mW|p6KJ}?PI9c@Mn%1yZ0|cVgX3Mx zU7M}HT~CaQ+xxJ`)FYoR>ifK8`ujxpK7kN4hMd?$nuaUME}NeZBMcpSft( zTodneGiwwY)r*tNrpbD76kLA2B!_=ao-b8KgM`&v&N}*;-D}&-@dQqJB79w*DRD_0 zd08eqOU^gQOOI~}KM-zF+uX96yS;}98uyZq6gW|f1J&h1it%Cgh9G>pJy<1)u@k}Y zSn36{rG3m+MJj)j91PDAc33NBP6&Jjhp=*q7aVb_Sbx~?r6S9KR|ju+IsVXG!$s_F z&MQ2JNN9Z(_zms%$eI6wYuter>zrr%k$TtBfq<`x(kju% z;IC9wqYZzNEZZGew}-e*goYJaK& zE$JDpyPF|JP$z_NO`V0HDq0at`mnL`dnB$jq3$M&31)EXfQMv}nq%(#30XaFr|6zf<{k%I<>8B}C=k$ylm$**iO6tba<4O@QF74fbXxiNpM z>t7grr_;+&s{cz^MH2nL@sPbN4!+uPOT#bnzO@zm-Yx4!A{6pM+q=3=L6GvkdFNI1 z@I!x#^W3q!rOL<`5;A7`e6ki?ukF@?R=j1&H>?Rgk1%iX6J24Pe}fmk@!^V6`d zi2$hMHn=~!F{-y#dGv-lySf%#FzsL8YifeXLo3b3{|euu#uRoalHdG*tgqkdTW4eF z>l5y0RJp&HnJM}>#U1@9Qiiq9Jau=K{XF)mNQc$xXv{w!rA`s9tzSrNwQFO|L(xmAMR#+mg|4`$3#~47m^kfF#_vc z)4>GKB%~ejCunN1$T9CU|CSA@FI)AAz&JH{z^qSxEFa>OjZsr(|X z_d=Y@v2@lzNQ4Xz0v!Lc`kIHya`xfrhM)+&+x5Kpb9>+7)J_?%y-egWG0AmpQUFAL z9LVso3K$uTfp)utpB0Yzv6w=r)X+P=6D|>{IkJiF0SbV9cfR1u6*;c8ud1CgJ?G6! zbS@sbEG)^}6VKa}7&#=pxLWv5@*ZCE@F?=*!StnydAJf|V%kX?DTYFo){lkXi z^gVeF-k)RRPwmi1u5;3i!V97k*jySdQKTxQ5#qHXuY5ZQq}tFY$wM;^_*l{RQ7rOG zaaBTKhW#;wM`+Yf0fCIOJ@INnL?0~;Xw_Lc6G6*>Qk>g!zTYcPB{Kr8=vJ0Z9Lqz( z+u``^y@)+|)&nA4cb@4(ZL(~dtVE6@c^ebLz(%X%v_|w}#-EU|ph+w<-GKxpVhY(Gi?8`$ z_6#ywpQjO?eFNzcZ;V4r1DtqJfy%_`DoFAqrY@MBSs) zMD!HeTnc=HWtaaL5n9o{5Y(p*MXlg(tXb~9tp{w3%&pDuOxMdH3gZLY`&!&VuMo{M0_ z-t?Kafo}iY+&7Z$rYV>aPlm<{4P^p4!S)cw1nkVwy~m>TzOeQ+gJyviS(w}{yq^N0 zy!;K=jJM~>ETq*90OO~|j`+No%jh(fXZW+2c|2m`A<4&<{T{!+jnF|N2`%)3RXfvi z0#!3rGDKTXd=pBpUjXc{;@=7osJutvMjlNl&^0<%UfN^ZI;7p zNhD!cpr7wwgTu^^CDG@Mn$C9ZE!%W=OBHe8XU_Z%y#rG5O8;_@T{VM-vsN3nM|E%^ zBj#8fU6;w-r$*4n88lAEYQ~RvO09SNv&wfqX5&Tfk(^uUb~C$}b``H+fmL{JP1?ln z4>)WT4btdm?~j%gF*_24>0@Q*6@`bo;Qg<4{ z-VHYcnJ%wKHlf^ENWkd4~)P#VKD zTj3fj{sGzpi4-VFl=kmu=)x5n14dNw;7@9|vh8sNdTX8*$c}1Xtj*$Si;djcgLBI3 zqrwa?aiWS2%Q{LW#W!%Znie9iZyon}aV+!rGL8Ff;7aE=I?Ng$1E%b`zo|a}zVAgJYFndh&T#f4@nl1< zoURR0vDMn^V8gHH_8hE$d;}hLW(3a#Cs*ejY;xvUR5s&tg3u}~wMV3_dDp=1qf!pu z+{7EHaix&BA4ZztLv36mW+(M_Nle?*`EhX}4)k;fN3@yJ{O(XfnIuH$eM`}toSC()^5~ZuXrr+a2(bST9BVgeBSTSK0nDoWL`MlXnBy89ufBK~8)gdn`(makG@{ z6Bzi6;jPrIe^S3B>_}EiTSVKn2lte-VCf5ZM-sZj&T)5{eQC#ngCB&FF*j6IaIjoF za|vV=5fIRU7#!wK_~RkBt7$Ox^9`jUMf=hRUGl~|(l3Ug&8?caaY+MSa)#RtFRR$C zH<7@52+R`3TNw}`nU;3VrrnD;WHeaeXWJYJD^?4Bgq%f!sSrPT%3ZCVI-Dd~C6yD< zC#-a(Y^@6&`lgH8d*@l2sEQDIv6@x~qcgUtzdnH!ZmMg|w&Lk}2D@GWM_x#)hdT!J z+O&vHRbHhu9~wEGVqJN&KmV9d_g6;WzjeQebtUU4nrNayj46)1(4*uXP7RK?V5MaI=`TeC!k0_@-#KDs?_j~rqL668_cJ@OB004li@!!GTqRqQU$Q3mzmk=N3L>}oP|&}|0N?d$G5$FmHLRq5rI zdVBukkWh6`sEaK>W454>>p_Os)Mv@pPt)OZk3+Z^t92xcHVwsgxr1!x1P0@RXq{@m zj%uuwiecr|F{>Ct75ty|^Xbbhm$DlYbTzSS=1KM5#FhdAY%e?kxJ^yG zKI3;}P#;V$M2`d_!ev}!-j{|iSMGl}JHY`!Q=}L>o`gSVkaEf2$XqNp?|Kc_wpY}^ z*?RLV`^lL%=orMo(L1r42Uu99Y#Ma-D6;M2ISqhdn3z$=m91%>NUw{ZVqmm^?DJ_% zjGFfcH-=T?qtk0lh-1119y&feI|_*EovxS1E#3Q)Ol=x4%{Ixc$Bl!i&vzm>S4s`j zE46AxkbB~Aa+)zlT$fZq1eiF+#i;~$uI{#K@5j9!J7{VM2GahiCyln>d_U5+;f)EE zo_43dXuB$t{1zZv%O{hV8EY9axwd?npv8ufWX7QC`Ow(KI#fdSt|ikRvKss|On?U_ z*2tpnO?-3qKb$FlKegLV)6?p%i(EV5!nD&a^6ahIQbFn559EEx3XXKEUL1OQ3tjz$ zdSm(^ngE83CE5mZz0DN_`ZURYVt%bTN5&y1^aX%ft3pd&*lfP<%Jn%3>xZ?dPgFVu~rFeQo{4t2I=Wwp=%|%0Qt#L!fR)E!cM!`L7&{i-z%1td+a@J6|4` z)~EhnZsG9C;Gr6Pwim6S8UR0Y=;#u0`G1OGZ@ebKx8*wFwBYGJZ5*a2sUaBegvbtU z874$|naeohLHE^r*qUQM<)+7VwP5l&zG%qH0}H-#mfNIymNAox8PE95Qkc8GNSXc#hZEcnN#!XVB9F_rV9{tpN4 z7+#nGsb{cI$p~~&purW3vT1+CpSI?|Qe%fYuFIKcfAdu+3{w71m=LF+M%DGS=f0no z{=}+h8=vpqw=+iK<@Hlx-*qBfOL>rJLipW=xG7jNTD4&F)$0xJ+EmVF)-prq>TAu0 zi%`yGrSWH2v(L5=N}Q=K{-+`&^g8a_bO@`t3Yg?M@)bwIAI}o67X}<~mFYf~rNLgK zjg1lqd&S@C0|sU_#?Y`CpmSnp7j@aff#od^2Z7BNt6`#T2htSJf}unos#*X;z6xsO z$iX>713!F)Z77jId(iZ9ev$Us9cnex_ICj+sSy2J80m2hIUvo_bTE;ZD+Cst%hG#P z>qWQa%5ru*WPajEB1af_Dg~nRaz%P56&Vll1u3ziMNa~?JmN-1 zGCXC&?v53bok)zDMD63v)8-3L?dm=<#?x+K7sw^0;gGh@8h&6bbe}5AxeJiq3D+yZ zrqF1LlF_#9D?l`(d1Y<%_Dk9_=&nx>WPiLaN>*MsJ{oadp?X})h6gO213sYhkZ-0H z^HcIu0jM&o+n)s~zmf+4GOL!KKjRO0uHC$=Qi6wyp4Zj#v36vJbaCVe+yR!iM6cvKQ$KZg7Y$G6$V*kTI75f4KJ2nq7%k*TP1(?`R7XP&P(ukopK2DB(uJZPJzgbI3xThaEn^|v?^9*F{3r$XlWuhW~B8BSc!R zj1$`x)?V5fEXe{CPD@%vkLpS>?;gJ#;~|bXu^=DF~BW zQ{8WGgDL5%Jm}$2%}kgsz0<7xzrc@`KVzXolCV{Wh z4Z14GH%ppQ1AoD%C?u;Dhsd6y-_YI-CJLox^s2Mj2wEd{(Kv zj8f@vPk+!v#GX6dFTb|WtekTO#ej#Z?g3WAy)!$~x%Zb-HckG^FRYq{4I=^VllTZN zZDeMRMuSB5DSi7TUA9&Wij4Gz@U&(GJ6=4m7k3;#>#YR%;=zaX1S=5@pOXeF6Gko* z`u3Ywlb`0i@hwlJ;T+)*b6^OOjD?3fL^Txp6|x=ICJz+SGBVE28gc$yyZ!CqaCA6C z0Mnt2!Pj9n4g@>{x>6Jo zc?bkDPvVmdr{Lnbp{E+R#4oTJr#sjs^LYBcCYdby@Hssxm8&LH41A@mxrp*+0+kk> zH=DFY;{JYxOd^lb?aiuB-sRlBY2WIM6GuYmb#8ct+9GL}BI5Pt(-S$2S}Kayxv?(_ z*UKV(ILe(vxw9ebz7QfSZlC<=C{;A5xHOWHLbIGUcPsbN3!tdA&Eq(e0dtKoPw09{YvrpKDF3-vK081DJLCtE;vetQ&8cSrG)QBiW^yThzmq`Xrob1_z3 zSClWX`5L5Hx}>DG5|qq&u|Kqzp3pxX%h z?+Kl>Jh$`|jsr*=5>r_+WvqMk03X}Kk>Kcm82ykxvoSrfJ+iT?c-VVBxYF=1Qh%RZ zxW%_M*U6%n;fZo8Rc>-bFTOByT z-E&)73BV98{PueRH4{~H%o(-A@v|XZmA9^AE179-Xx^oX6tMuxf!N(j3@k`OTc3V_SIa7uQB$?3XUzR0^BZUf|ge5fe+em0vU z<#qQ&?a909b=oU{TCD|Peb^0l^jc3=J(PV}RL}h>h>rFK{1WqiXlwV#J`Gr(`sf%7 zT$a+r0qO{a@%^ocD*MxbeOjk|aRIOQHPSC1#AKn1TfWvON?RNh0fy&4x0_?H)=@?b zCT~krKJnl2lfS#0+#1egVm)?En3_7rPC^P>=*@b2pu}9|IypSwqOv}DpvF_RF{Zf; zyKMK2YG-R#Ro{vy6wc@!YSKEYZdBN}j#lF9TBgJ05e)Yr#6n_2f|MDhza zIw!pw{Ihvi)tjKWTL9kz3B;sUGOmny3cezXiKJv^l*gqxbYm>c=+q*3fJ()iLuov9!VW|~Cib>6S)(4ko*e!+>NBz3=+wj5A9PB2L zzcH=~y$chzGUq0L?L0itF{|~9nnbuKxni5>;jnjX9O8GDa@!6$MX-~}6<=?c!zmv_ z>p2~`>ePK}dfSnlOkN~?$rdyVCRjhrV7E`LALDGdU6#WB505mB_}HvRXRHw!e(j3Y zVgHI#_f;56Z}3kGU`R+!;@rD2#Y1O5V#9$|?HdUwyHj0S-@Ds=UJ-Oj0L?n?bav1iBIk%s+C+&`ifcIJcy!ZzV6*)gnZ) z7Cjn7NPPVqpab-C=C4foRxpLv)G#lV+fhVKm*v=(7gjfwI5Byh7Wl860u+LE5$KY8 z7fQeh6(URJ#Kj7H(`q`2rJOx$Ij02mvfFyu&KFp^PugDs-Sc=&NzFvGJ(HHW0bg>( zsj?!FJkcx2zn&^5CL`uj_+N}D|oR7xgVUzfu^V9L7%S`IbYDJc@H^@c|>=D z&t;}Is3noE#ZKe3KnVyB2quU)2}Ydwwbex8#d50ckS>V9Ck;`f0-)lmkpPona;(ZL z4@OppS6=3oRX;Nl_?TD+rRo13XmwgAsdqlM(2vSgW1HXks%@L<5)rRbj=h#|;tSZJ zj4}nN}zgsLKdD`kW?*MYWX$!!@9x1m4-CmhJ#5so|7kL`vJP(@p;#bGckWOQ3hKt$S;D;8o!~;oEIo&}_g%TGtV9C%SMI>0bv^t-EHZFID@z z&hz8rkD=pjPPX6fyp@_2f+LgnW2mT}MYe?-B#R?5LP3@Z#E|PNeIK@|KzEG4GpZc# zDy@!`RipnY)ALqZv{_)w%N#fiq9vWXlVp#zw34&flQe(I2vr!t*{!*E(vgux-R18y3_W^E z3=A7zR#Hs;M^qJ5bBWHY1bs!?gG@6Y<1vhy@4mfP@7i{4Am|tI!t%!OBbh3hgVI8b zJ5iXee~(3_rfO3y%xhuS)8Vv`0dh?KP~;WjJB%MF`~ad<-d1$zj2fT`PkmNiKJ}OD z@=oQ-rIJFB;`^`h{ceK(u*MjT;fB-7J+o84NAM-+w}Hv(tVaSFT5G6SXu{{r{D zE5dT0e_k>jAqqUTawWpePasyl#OBiM*mBKmlo$I}5f1v;N#Mbk0CPAZ>Hg|CiK22+ zcsOXSwlj7HQUL&lHI`>OLk$=-0q2;1+@!T?5z$_>J9l7o+{W@Dq`(IZT!58A+ z#H5`&m4qXDwTn`5TxTk_oXfahS^-2Snp`%pS4qu9lxs|#eHF6~Ni|t}cEM!(5d1&4 zm7#{%429N+5Y_(0v8t_Aj;u@+Qj#3K;Ay@q`Y#@xISt42sDj_%%&kdrO!3J1^x+^L z!cR=)mwMiXT0+dS4Y9J_j)6Wf4EWx zXlkq)nl)$0<>I-mp=6(sFnIvxur|U~>V!+_`|f1)ek*_WjDc^E&Uja?>oy$yfp2x+ z7w8Paq~KnX&2AYiT(K+bP2se6_bUB zx`Xu(M}S|Yj=G!3=dEcknL>{%=ptr29O)sC+C1JDu5AY|GpQP-O)%Cx!2$7I=`-Y5wCTaFfxe zZt$G%(}5ZKkcEp04y9msuW$xdlRDlq^vkX6m`-;O{@(ADjV!njRb~%;H&Z1RzDWmf4J^~~873qoY{ z_BEE-ws96iE1Rb|+XQ6)ypSf*w zTr_*{`v&flHmLC_-A>4h($dqSX(rPVlHMcGzWDE!fpj=kScvLUU_MivB6m29>j9m# zKPR1^M8QZNW<+n#1tsgs^$bDrWpyi7I7~{^D$OWk;1gc z<8d?D5LKw@PQR&(al1B=_8F#go7|IoWdl(;|kqsDb(qs@U?Po^X-m_Zcf z|8#er?`*hl8~=*YHdO6ZTZ^w*HL7CNDy`Zh2x;xvkWedjY_)2a($*feg4m>HsoEu0 zjG|QS9pRVX@f^qV=J^kv`_=U)oacF+*Zsj6sgNXkSep%I66=J&iC-(%oIpl-SP`?! zgND5qqhSODT4p9csQdclZW_b;Nsk%n+_*X4i+AR(8TAUenJxuR_PKdPw~n*zLW;d|9L9F!|aV=B%P!mz|>R;rA`_h4Pas9Ij;RgM+<7%>wfa&U+^A8ad*|C5w|{cplsGp>BW? zwK5<5@nxJ{wz*j`_iw7 zM<9&nlBL+249Hd_crhdv=WYI75U7R^o!_37&V= z$>`T#aQ|k%tVf3P-fKP-ca9&2%|7rvea*otQrf_%{P1iP{!VDDi2T`efhm-O;;?PrsA|F!ucU@pJgr<%m_! znB8qv?o;JJR!ojY3=<;r!9I==DXl6aPACqI@IC3LHB)Bm{T)JJ2!1Sco?r^+u-bg3 zN-~?=T)m)aZiw>qK%04csovS4AEi=Qoy|@V^&_1UmiJKZlAb6^l@#w_1pyH@OdJ># z5LH}zHed$&70T<{rIFi-r`z+Ae;2eTpF&*1jugf0vAKuOc$_>VTi*2g>6&bc?oSzD zu)aO&-Pci2XJ1g@rg{&4@OJ3)FqEf~BCRI@vD*^oFpXTZ%ik!G@>UR!?~nW-=%m-^O9|1-O!?Frk)8^g?VqA~B{vtE^y*a14~}R>M*P;>%5J#TU*Iaub-zPl{-K zF4*{2Eq{gibs1e;c%c+f#U{wKg&mRPD_T8RR!Nz7@J)ir7c=GYrNtz}yVW7h_s2ZF=QLv=D5`F(JH-rglV zz1C7uz4+1)l@J(*WKm^-jN9P_Ym4L_=Do*NEl$IgYNYmUlP-88rgauIL~HmoICv$ zy!b%r-EZfdv%^rj3>Hm)6_VOj zCR)7MxX@bLY|!Cx@@SI<#`Vkwp&Q%=BYrjMqd(!a)55Fk-CEfg$zJhBQW3Qnv^h8X z=bsi;MBTL6VyssHBqZ8yRnnRZ57?B_GGV)k>f z@zt#r*v-Rs_??Y++-6^DmdpV9Ym;3Q4!Bdqi;}Ug{T82j@=YHs+h?B?$gAWtui_el4jyO3lCuau!;*!RU1yvu9pX>5SC8-cExhhCJoZ7D(PSk(a`>2gJ7EMern zy!y4E{>y4Q#rY4vfASBl50f&-_yj#~I8NE7zr1vkDjNpHvi z!U~-8?)6AjObzomigIQvOF=9&S2F|e`+#!Bv;TM zg^mhm%q9wG)Oe)2Fgi&4a!+r$bFoY@RV#6d&8T~*ZY1G`AGqhLso{3F?cS0mmz}%R z;e??8?}!{@nF34fYFvi(`MA6FTp_F_lG|yPo z@K7v+qpvQ|*>6vRlnc&@Wr#|7=-w3!cQ*P=(yim`X%FG%nooCXKD<)&r`_;d*IJKy z>&*&ith8bqLfIa?Cue>Gc`W>f5&d@?q-U>V#_FOw3Np5!9KGy#Vs7saSkwr%qo0@< z^4k)y?^Wt~=e}W5vHa2^UVP7G9yFfV31y z0lmo4jLsR}t>6-ZbV(A-PHjO8l66^m$faE~Lw1!~>>5XcRZ6h}CiONKx6lg+S?&woELKL1)44w~h3X<2Wg-@kzfLm>UBj)S5% z<*u^j1FBo_x-QE%?KXy)9|bGr1vy0#DtH8h#x3!TK*+N&G#*5_UXaQ@7~Fl7;;J=L zU*|LV<>fs@^kzzI0h2DCKs*+t>N!qZ(5xyIE30Gv0_@0nn$xrkB{}jfbh)%|eM9k4 zn}M0@iL0?<&aPV9VFBHpGi1c|*qce0H*<&SYHCL~dYZ+HZ&yWAXfMhV#Y#m)*eRQF z`o}!=z$GuOYbte!*zmrtLPBu0TrVDv{WLjub^wNeRAuN>NIeFdO%(Ed>+G8Jr~Es*{$O7pLB8rbTOBpHqD(L{g2~WlEGP18QP zUyG0a5z>|6^EB;( zf{8mIt>hYZa#F|5*5yri2&MuZ?P^3}fnU#3!>oId!FxDN<2Wiy{dqsPj<>yw`4(OaIk6DYoWLiZoxE zUH{B}t)NNF_92JZzpi-}Mgt48X^3slh8VVFxi-A_<30+T`?i!C;%O&MfOEZnM~xsV z@(RT$YOA5}LZ2{}icp}t7zSreJNy0>!y>ASCgi&5`YWX z#jkchBBZomr_!X!0MC3fBrioEg)n0HI2wJ^E(I8PLpo^weh>M}-E)YX$P=oG1Gp!R z0LJ?j$>`4gG3Nv&vJe0U%p$NZhex6*?9XE}@Yvim6Twm(R8&FlQG`6Z_fj!tP6YVb zT(Nh?+j66j0S5djzGF+c;#^dav#pEUKIZh!N1AW2x$$tS^1~@MlxS5aSac4TV}8uY zqybF-X0X6{UQg^jdng!F%!{DZ01BVl6|C{Q8q1gjz$#x4B7P^&Nf_u~))hU;R?=mm zchRi@?vkq1=?}}G`!ag^J6zh$Lg&aV#VVt}X$-wd|Ge~bW>5ox$3%nY)Ul&K0a{(3 z(gBQ)mzC5+NUT8rn9o29ujNjAa(85^$ZLyEhJGnWV0|TNU&&RxiPY)LS3{22Tf5fn zdE4eKx)Fyd5^L~~s^chm1z4AHHV!)lJtyq2Jb8p}&xwWpt3aE{aJ_w%Pvcs1Zh751 z@#ojH;*Rb?+UbFGA||&77a1)m`U^UOUCZU9rb48an}qhGGY-EiP$hF8$y)v8Y?xUq-?p0RexNYv|}; z^#XcO|7c8K0XeKfRrT)4KQdF)OrAK-U)A$flmk=qIhFIDnhdRq8lnpZ)5-vnS!3^ zXA#=V%YfqQXhWx1URo+b$^QVF_Gi_AH%Xu-Rk{@Q|6jx5HQ7muu0Y8&`rseZd#0(U JQKj}O{67q+p(p?V literal 0 HcmV?d00001 diff --git a/img/expression-transitions.png b/img/expression-transitions.png new file mode 100644 index 0000000000000000000000000000000000000000..36bb15e114eedb066fb66e62a122f8f2120c8706 GIT binary patch literal 35548 zcmdqIWlWr16fW8pDDLi7+})u_ad)T40L9&?Qko)*GR$D20qbfbikN2V@y(3DplDJ|TYi@KG7=GvpJtHzA7; zAAWw2kq}k)Fg)q9wb5HlIiIk9`HB~)jQ02yE|45rk{nO+yDu6ew5J&!yQ(qVQ7n24 z+sv#e*Wab?gdBi@AU25#=4|-9HG11hR7HD!ds|l#~ue3RF zr5fnvs?VQZxFH#CeR#d_zgs1r67U=m{~K})OEj=dfjYHeaoV+L=zZEGMg|uM`MV%9 zWBMQev5J8|iK0P^qUFW|zy5m$(-blOdqQu+(;@zQihBHi`icyG3Jh`v&Dg^%<^3^; zec>FsSM3EC^uD5YOiJHpG!tj`x^Q&=+Ph-4O@C(apyg)JcTVah;@oU!w^&lvAi}-) z`~@zM7Ij|@=d3H}IR70Mbk$mO>u2+-c_fcI`W)sTOm)0T-*fJz{%;{fNxdHX`xC9H zcGSfOfA?3UcjH(6)Q$(+q*vn1ni#`FiY3nTBr>>y=wv0G*5`&QAZy3-bL+ahzJANy z8`Htx_e=x-D5Jc`nWyTR>6DP)Xnq#2ddimmeWdpKeXj!keMXG_D~w5F{;|Y~Q#xrq zP%+q+py8R}ck@c6SeAs9;=h{DwlBI}Q>(D3yPE^gFV-)5!&5@ZF%zTao_P?1?iW#j z`)(!hlRxp$=QDa}vjEMHY23bHZ2sg*;-SWxrp&B0bH2oI#xdYeUD1D5Z z+P#K**55mKJglMbcy@kyTDBj3eLflNUi3pzntOQN3VX?j_CK7uV0wA#g55cPf7}p> z1Wh&P4f|KDQaB^J^H*)I#zL5#5Iza)h3nGW~n()&5E~2xDyaokqP&VF6YvPAwj+9#{_^ zo_`-_rHA+&x4Avu!W!+4rrY2elw|+)u0B{z2VFJ282H3I2dy_hP5M3??LX_hQXRO{ zZz8`&67`%Srg-J)HY>JypZ1@e&3Y7_-8?+V0XvU~UqnGdqG%E@<>A0Bk8f}2Mnb8i z6K8oX(WVOT-FJv<7*Lj|s#fgp2B=xB9YYO<&nv?ss!(@w4->e5y-~noZrJPBh#H?} zuh%m*0Vf@cCM>&?G5%?lpz+~W0|pTe_ZR2O1Q6pZ!oA^{8fZEU#x-&4vZ8a)|BKh& zCJ^&4##ys0%wfZ1o+%)vIx=r$vO9q3!7c`(7z$i_2@{ zx%9inL>PQtkGdEpJV-k0-{;Td7a2l*`~0dk2t9aQ_q$-F=nVTMRp`Ai#ivpy2%;7~ zHVXGg>NiEjEoA$x`<2BL;LGHDBB}SmDESMjtr$wB<$61Koi~*4+dgKt``4=oy}y&;3p5!qY%;;5~+p z6=Y$1t=_0r(FFy{-2xc|+-G$EG;-#%$L}X)pZNr2_x!X78eLIXE5&0#gIK*zT|%c- zb2dMl09or=#FVdE`1ygzE^_K_8-;WW-+vpk1@Q9)F$-y2jX;fd&VG$Z4O4>-92n#& z@NB>hZ>E)s0?Ied(g%XBTOQZ}58th@-l@T^fDu;w^LI}-v58llte0e`eaYqtF_zuj z{QNieTVSVDx==0sy~s!WT$UFmA9LTl+s$4vRmHl*?7)lVSWtqjLGo+2Y6Wj|Glu@K zSk4Qvr|!^0hksazwU26=nJ`}RZS|N!7127W_(-r7X!+s2Co*U=z$Oe5bMAHmneVn! zcsI{;=Pe8Y&ry?lSQ&Ew&(7PcKxGF=zNT0BmK@@kZ#f}hytaj{8?TD543 z14hQa`1T`snUUYOo!mR);PBXhs!g*-WYuvHUSpeoCIhW5B7}?WWoXxO7hi1JHgkkt zi(V$iMxWj?pmm^2)MDdz&mj;|$a-K=*QmhCG<#Ahg z4JU!h?ZEF#0?}Df!P(wombe(7_ zHSH3l6VqYU#;wwXiEXNOSxbhgBzpCeriTGlJcpf3ubpsRaJ)PxW;?tCZ_vBzp13%> z3jNgjNlO*C+DCECNo(?wK>*(&VCU4lPEnOG+BB)LOiL#^v}hFvp`=dF6|Y_R)ctl# zAvk;ELhVngy9K502tCv(<_H#E1FYwr1kyob{T~fufan+jmrk zTc%Eq+o&|}ihj*^TxIJ-GI#iID4;HyD5B&22qOUbVavtxq@54W4(81iFt&h5PY?br z_#Imdgn8%(!+iRwe_)+AlBNWN$7;s}c>5``hBsUrk{4v7w7Y=T3A}sq?0Qoj5uY^axDWu3|A6AEuysz483O1HmLW|M>WcykjL9lGd0BCSeVZ5!&s10mbm-Yv&}P_-Ko}; zDN$L2CRz#HHv!hMIQZ_H+6RzBx_%GMBq<!JLkChU4A$>Z}Ho8*vcEj^2*&P8kRj_WCShF-b%;GA28GH_4pg~1JCmtIw2KtQ!6>C|5KBvI}1 zw+8q2J8!`mkm)O7SoKyKhKM=CQr?c@6-pKX*NfwVk4u98LHFsi(q&kYi*D!oy=f8i z)p^BXR$E4l2$`_^rA4|$-t)v!7#hf28Qi--!QM$Kl?)w50^Vgs!)GDlR#|HiQp!=J7T?&#pY&^ zzopM1f%Q)1gY3w>Im6^faN3A+B`ChR0yRuHMpDQ-5c^X)lyjbLqM0#`i zOTDOBFxeVJ5LzN*=IVa*;g~erdd)@PU<$Y{PW(;>SDt&K1ea#!y5e;7d*);4WwE zt*m^Xb4$Ca`5vWLB_e1gMfexX`Fa=*{9)58|4<#huqJFZih(ZRE2WMeO(*Y>BW@y1)B@=nK z!|X%48763UeIuR5iL;sx)*DlGUbqnk`kuy9t%al@WrnW4Y1a8c5UHdZMX~%NT{I`y z`;1_E>}K;QpnT;B^*6rVP?p?KAGoj>!!mM!?QE7_jn*g2N^dc_pF3rUdWY6Jjn=C~ z6G@L8pK(K$&u0U<_Wt`1=gnk#O1_LZ_WZP`#J5iJIiTD0Sc!MKe3%=#NLB3vUNAR&Krz zeQN6SDQ%W=Wc$1V(tQ2-B8g;8q*Wq9gSYP3-_RwV=n>3MF}0Jhe>r{?=WR_FN_E$; zYzq9eNWbE8xfLEjk^O$b?X+C-w8KlF{mg^3&RGAZcrKd472BgS*ZR%WgC$cy(s+)? zHkpy~hx|aB$?w2vK$pB0PIP2|AqAFd$@*GPT2HbuVor= z(*(z&eIgdSM`6cxZ{!8!nLlwoWK!=^Y)?&52d1vkp2ZEDTJAF_Hk*tKM+&#qVHa9t z?6`~A_BB61YclQ+I^!O~7NLgK9>cy{|J@Ctu_44_NEZIGWVq~;h#upEK^6>Bfq7top^VALJ1;gv{ z`x^g{I&>{NVg^_9j6u+|i4t-}NpB19p0GP{==j)cpNjW%wQ1-IZ%R3Q>Cs-7e#XzN z)|Ty`*XDlvzg2nLXaWtSgnJWbD;eS2Gyv{)b6RV~c9=bF6FFc;IK=U!Muh+lRbVtN zC}-uZ$UURdso`I0Ao?dndPjr-9C3Q1(pfn=C$P76k{8UM@_0a^$Q{B+Z6QN#OY+ck zlNlys!1L^83_j)1C9po@QTCobh!`lBSLAJCokad*7ix4L9!j9M&GU;}*zof=(E^2g zvXd=n@A9K|Bte)Pk{7l1=s$h}j{O^fYX77lhe(l4{x3nD9i2Jgyj*HC zwD#-78P|UGaBKKjKjyl}6b*2*7p{{O7_PtggN|cAzIBtoUbgIvvE0Zr1^kYV&nMi>T*E(l# zWmMdSC3!@{us~hcP^$v=oHuQ#DnLR+#(3ke!_}&zrX6>9G+HnsVVeN|;Rs+FliS}B^ei=623xa>7Y>M>PU>;y%VYYJfLwoTXX9w3}*0Q#1W zuTnE(S{8dgiCTP%J-CFQA&F7$pP3`~+)H6_OQ0pVM=^Oxy)=_hKF^1fO-%rF5?V}6 zKZpnQJ#lS_jDY{bUX0l+tI7MPr4bKOnL^p3;giGhNb8XKkSo$~f+Au(+8LHNKWA0` zBwhO3Qe8yI+mNtY#pvMt)GX|ydeW&?a*qZF@M^9|LN}THSMuUw+CR-4I8-$y{}LoP zh;2$G`3er@%+af6)5}sVKuXnJ{+SlVpU;kWWLn{f2LE8h^t>fw> z#S%%GVrV?CG|>jUAnn&SA^O)6W4xAXf3%2v%RtsXq4mNp0IyxkGd`0)Jof0uBXfhv*F}E2xUu zF#qR6itDDl{`clLa{Gnuzah0i$|{5G8B|-DV6o*`XE$>Aa3)%7pH=F<=h%E*u5e1S=Jv9ZbmwBQfFPs3&7Ba(7{b>?;Kf1-15l#^P%&l~K4z0&#njW}!C zmpLTbOIXLex@Ej{`XVSRpz+)E1-5_dTIC`nZ}$Ij#lpC72uUYei?Tp2ugF4Gc#Qh2 ztEkg)&uwUSFYxfjjzbfMZeKI({1y!TZ)M_#4~vo=8PS&(l~T_4d`0XGCBUIrwjw0d zDg(agl~B?x^U)Nt@U4GI2aRug{*q(1*KF-BQzt;U7*U7?ACWm*ChqswBmM^SkXSDU_uw}5;mg#&XH1MaM||U{8MhY-9318y zZv}leNM#+e0hkv@GU%#k9_-%36^KD15G$0mc(GSUE1u4+8pWcIG8Z|!1H(>k8EN4v z$5$^$Op7TCFB79gBi;Yu>v$epbVVTP{7S zG<-nDv=-mmvzDm91+Swv%R#eD1>@~{YE4qM5y+^J?m{%Y*F&psQ05#`|EyO2I;0Ya z79M}-9{=py-5$A9j2Kt#KTdH6T88$0K|D6{aXSB!`S1lTkJc$s-IcQ`K=ms@EakmN z#rO(Ne3GQ?Gau75{4JcP8 zJwE(th4xGMQh17(JqDjR5R`>JtR$DmA~IiQ)9Wu0Ijwq&Q*~kmMOUBiEem>dR13|& zTO3dJi+_>72HTH4betLRM_ROH2s$D&eB%zIT)`%)vF$-63YJhTu)%P{fDuVnSm?12 zWOj>FUQ|!$Mul{Hy89YBc~;K}-X>IwCF~J@EKv5L>o@-SH@pL1NC@3MJzR?o-2zjh z6?2e<+JbH5zQBNqAcXQ2nMl(KW=CDBlzmY~PQJ))l{ZCPj_NlSw_O%=R0IC2b@mVE zmCVaHwJcal>yalyEMig$p@3G6We57%l*EVN;+)RcKsXbje?fvLj6Ua<8#W)$pit4o zn|-S~8!yWV-{7oPfQ9PX20J;?PAM4{GA{nIvnGGW*GT1)h$p#|M3uIw`n*=dz>O@I z_k}h4VPKwNbJXTUojN5^@~*RuJ@%eku{i$VAyuVz-!B0!ezM-}OAmn{e=Q6i%-kpap0No9@xF zsxh}~nzGd!Jz5)bfO_u^`u26p%+QUUilKPG3qvdgx61?>K{x@nuKhk#%H9Repp!p_ z#EuGK_~NBk_+~H*z0#QddSVgjjpT7d+!MgGsX2OTTyxPnmLOPcj3Ua^ubPF8R-UY_ zBv$5B$?{p$2JK%C@1YUO#qDdo@%(v=%e>XM@5#79FwE-yi%@!NCua-z=LbUzt1x5E z^=Ax=gvND&pus(uPFL2mPI|dghYX?J@y=(LL>>8^K0R1;_s)Qd-KuG){6zskIZ|!q;0`c5(NrC6pRa4-|K9eW?jc*W;X#q)?j6fb1i5= zLLK%s=$ohdGC&=a4AVz5W4em>-TbvJOpUmU3g)@Zy&_2A6V+M|Ol^3m9=^)CrN|3O zJME%3T(EcP?_R8#o;|}B{7Kr6v`V~s*wYDft{N@t{b=8VT10GaX@eIkyN0qK< ztq4MqOU2+!b|EG6|DCNA<0>e2u-j4?pUF4_I^Vy1c%#yZ32@VN+`lz_aG2Irw1J)( z2L-o6E6Hwy|UE@#xAO5b&TV;eqsONjMY@|EmH$ zfvD_h@^@5`sgR;5P}-dP^NS@zNE$UlSaOKf?j@dX|6te-mm?&FRvo!xXSA78w5hdT zLxsT?W|j>#_Un^7C|W48H#lmO*ov0D5=k47Ap|6c&Op4Ee5}> zI8pzCMvbUYUsU{Qlv41LYE3n@n4;{>Ht|$HuBDTI=4A+!v-#? zc0^S9ph(lF>2LdlhD=5|G(l=f5o3t8i9EAunK3&-q|4T8ZFQcjl&)Ux;Pfnf<8Yst zUwes9rOWqv}Raj^_o=D>>tLn)|kRu4mvmL z++AgNEZ0KWo6e=Hx;VFT=GCM*{{boeqw#fuk*R2eWkGCzu_peypl0#D(0I^e)nMsh z7c-{BXPE4_!JXx<^d~Q{W`@>`x=)QVnmDGc#W82w`yZbJS zKztqB;H02 ziqG9X%TQW}!)$_r`+Szxqka;Q+cbg9qcRfFZyNgMzY19Uwt0Qhl<$5t!XvuoXB72O zN^Z|=xz!cALW@9n9Tp7fq}p9W-*40L{B5vY^@dy#(D3$gx{a$-alxTY05}`6iCsbgH!tA_+c)%X z6_6T_IuI%~yNpOv17^pp&y_w&HX;a<{9eZ)+EQC5b@}?6+s&@5BhGmzoQ2SEcuGnl z#5UjtBSFn0;RJT|z!0&)YF67*-V{0-X}x#cD7dgwnZUZQU@@*<@lKp30$EDeM|Rbx zp0cbxg~M$QZN1KbOL2A#qefe#Z*8Box1P&=u51Z1a3^D49(Mco$TC-vDocjX^9!j1 zGjSE$w8`cq_UkGV1&6$e*9hNXvYk3b^Ggg3=<2g}zDe{?Ue}nPMk+@{h)Ptg!L0u1 zL;%bCF<$9IQ$+Llo3Gb%HG~dU7JB@Us?GP`Phv0#ZQpWxFun_0MUSu8@Y$Xyp+wqN}7_!WL*1Z5QSNAnwBy-bARs(GxT+L>}0kLfg`Q)>GADm|f*U{)1cGbaw@>+MnZT|%MfLwb3haoyL z1A++MmVimTzl5(4F?I_I`|m}{b2lc9npU7*Y`7tznRWCM5hP96!g17(A^4~{<3=pZ zP?vQ?EMVN#uPdV?`)|=u515BZRk>WOmZ{37Fxa76HJn+){9GbHq`eWSzaw(0@?ZY;1vMH6N4HgbHNQQYP zNVKM3luV9A!D1Rt5Y%wvYa$Ld;IQ|G)sO|yywq5f;A8sXuyVWrs3W~e)PK>2QCNVX z0RaOb6w&`;66$Miikl#)w)k>yn$m+fpW3Oa$jHZr&sKJh_BI{w zcQxRS;91Za4L`h5H~oD?T<`!q*MFGhQP0Vc*{suNq8AmZzfRPNZ={;SFV5z?7XQE4k0njzNN%0K1|3F*-9Pr&KTcw-5-z@WMo|XsfpY$#$1k zcWR=7<%}EKKR>Fltyh!VHeu__HAb9x4jz`We6WRYpejA$qTC(T)YTaUb*W9#2w^mVG?k>fbL<+1O&1E#xHXC+J|q} zMM%D$ay`2)!Fnnh>*hgf>)^nVJ}p>hR`K$$9*VK_>(;cw+pNFJQq)wIi4n#3+~Hhq z-|$SUUovvk&cI(d$*~A>4WWIE!J4JkP@1?tDa6K=Cl&B~TiEe*%Ts2Q!ThD!<11M0 z9-tM#2(2#4Lfbn5d^d|d_Co=sm`n{fnnpDvoLaf-_nDGuOgBR5FYTj#X=+aC8qH1! zY0dzO-LsbFW;l-8e$0nq=XgWxj3dDm8ioqwvBl3>NO7;vvR5uo9cAadYHqVNaJMG~ zIA>??R60>?VcQ#DcB}DgvcO7l;mPxq$rgk^a;ojX zUq4hGDLYI8#QeeI;P;fZo^Pi~!YEmHIxOEh>ReBhzDyo@d2Q;;#-$4yjM^L~xw9*@ zHKi4IF~vMy_K!&}X35%G4KMs-xA4l=SLWFa6~QNx(h=5TWXA4$;mgRPXu>;b_R@xV zF>UK`KPS9Ev%`CP^yTwCH&}S46}P`Cfg>uEeIf003^EHNXx|dI0Ixzz$AK-Sgl5N6 z{;Yj8*R?bKj7TF+8(GhHvFj(P{03d2RFfl%wrP+dYwlg#uc7u{k);sA-O!WL+ve$zTifz_HkL9hSOv@6Nd4*ojVVP1qvyt?bZjOOZ|M-4vTSJbH~j619z>kW!VJtbE?SD{^I@Vi#~yKIIS;x z0wa7lvQjIy0v&8#x5hAv5>*!OT&lU<*{0ae;tEx$QgzqAzu-Llhzp70-5?P^w%qQb zwswtX#Xm$TTZhl?%D%eHZVwz8N+a&V1J(Z|EENbbf&*E^G>z|IWu4R_w;F_-l=;&^dDr#O z9Awd|R7JxhA?(#G%ivf{OLNCha}EA$H8(Xbz{z$aa=aKqa=B#P#{B2hxEw~K&4rB z{(s<74QHPA@w?x5q#clKg{#>^5@-sKx{@q+FvZ5kboe?PwmJ2x&&(K%xIIA*L?z$s z56H75+NXIhwYTf{sCsyh-D94gdx;_I=q zt6-fHS789wBibU`*!huo=*4WnrcbSj-Ly=F<=tG)^*?x9+3;S!`lL+=xCoWxY z4wkVbxsU|&t#_UO>HgGQEh1_Drg5@!E@k$|Oja9HM7MnW@JuWj;8~@ST@>E!((426 zlkI&?V+gbX61PVVN=3EOYaVTYbBCxk9TQE4BLtsMsBQo;qiMW3jZifD{t~hF=536z z-ZWXkfy7f2H*de6iM_*?z35=ol8nL)&AnM(gyssmRwha8ze4P_Mg7&{<9I3KpH-~t z1BFG#St0VV`}w~O>Htxjtfh&kKDsKbiB$-nIO!5sc3v}}k^RHEr@n1XnL1~_>Uk>h z1uRA|s`XG&4P|jsE9!_!leN?^kKC5tgea9))?OkQX5v2g#q?_DkPS-=#|V{+SNBz< zwLIgQX=zL@K&rjrGY;5)y~71-3K&t#v~7n^A1UZPKH2?=zddEhGC_qw*_|AmsMt-x zXh?k4_l36g-B2i~In;C{qC>S}{R#f?4Bv%wq3|-L=sws;)u=m)gE*$l-e*v#t1(e@ z7?Y;^cgtD3vQ5kMv%#9fxU8uug4T)r`Ic&JS2U#=SiwA8R<#)X$q1T{)FLS<}eiF8#faDm{eaBj3CZNR%`GRp)<29q|<#-$g0WmBs$<4UT0}DkHD3&edg$!x{?x>^WrfVpxS7$+n*(;Ckv{fLcm=r>hrtE@)xb&CS!$Ll zlOKy&n9eQCIG;4Po|2qw@WnA)-pv{UO-YiS&kHKPv5ri+Xz4j@nA9A$#(=vu-CAAQ{SB^1N)I8(`#vS7(aai1ai+yDF{--4E!J)PZ2ns*TND`SS4Z!8UjQq5lyH5?CCW0@F%lp;p2}<7~xo{wk~ zb1*k}IN}o*ZAXo?Pv5RkH0oHdFPS6GsK7$=gMBBjR`I|8XtrRws&Q^0OS!{}JcGMU;2K2U++K7gd=(mif zx0>61pT3ol{|yd&f9v3PC-N@vj;H}KyRY#XrDXuF~bNw(gJw_dUeb-tPrVuU1;2PU{7UA+om zU4V91;2SZU%YlyZXxGaJMb?KvJsEvXUYNeTRab0{Phz?JQ)#>p_7tu7f*2APr9V?( z@~RAvhGVr$A8Bt=gP3A<^%)UiRJ=gWLsW#U^>+WdUE)idVaULW2^_MxXDr+P_T@Ny z$vkO~ot=qV$rR?0P`^S5dxuoP@>lLFFLe8?@nB%m7^MTYnI}?C*DUiYQb=8N{iLBh zu0IrRYcZIqU|aKBzl+kx;SWNsugpg1=SdK-+g0Ubp)`tXK~H*!hQ8>4-166p-CWyP z^MFruZJTX9E!8%wo&#R0x8OiMw}$y65(!%rt+(GZN;bm_x!MW=S)W@>y$((h95=d7 z$U~~v`pZ$cr#mv`uAR@-VZG$q0ubl_PB8tg-ig5yH=m%lh}&w{Q$cCu%w00eF<@TB z&Ppr=4NTvu2Iiz}oM$Jznbq`mg}VkM!)!YeiavWA>48&{lp9Nta*VALGe||%2JA^9 zsuiv*kqN4#>?%Il8Aonoi^xF3iNz006FkdsnfO9TivKmy`;YJ?6C?*1N7Z}nyAnM^ zfLZw}O!q0&Eu+MFJWX?KEklveTa0f)PO9)5$ zTx&jAdG-G8a!Ak=3m~p&Tdtn|lEvmi{erS}pH+^#!0}ad$tjoV!%vGT6I49(nMWbV ztb^b89s!aa-?)`Y3JV@-m|4b#*h~CJhJIp(zOYEDUkMzV>Fed(5|Ya3EXjs{5f%c# zF{;bRPPw$?qsjQLVZz#Kc+7!Ua@nDeRXi-vHQ3E$iWC@B1RkX2P-fW;$8{4QAvk_6xZkU?TCOA zwL1-5-ViV`t=2j&=HO(lD|M|}(0#Q@x;+M%#z{0A& zF7e-P5!~=`hYCZx$b3tHXurA^ZPtMh;hi2A@02A$#k251pjTVBG7i=wMGDuT0?xlV zxsd3owbt|aUagXSw^b|0!t7mBVQHNu3N%EUuA30A#b(Fl&>t+PM5sJva(t z50C@7ijIP~wn;BnWBT(CS{s*aq>uvvqn~Ij)XJ>&;90A4o;>^57NzE`J#3sb@VhDHq>DW& z2`}evw!XM|BBwx7By9!Q%pSpPh(phXT(feBljDur?SB~?)Oj- z+ga!>A`mA~nNCVNbfHcXB9$eEd;aH}1%`rgQG!1RlhjP0nBa@}KkT|)cHh=o?ME(d z$+hb@@xOZ{b9E`PL>GYryMNBuv!IvAbXU1TW{M=bV6C6&ONaVsXcDuw;1qR!m$VP; zS-U|7z~*qiRrHN8{bc2LW>HN!O6uM~Sy1DZ-R6AAlZFAJSqBCb3=MCQ0gPuG#x-vj zCikJ5XBttJ`CHi5dIWyp*;=ff)$)gvR&TbgHwv+ELw%4KeMH`^xmTLS+W1% zeG9o|3CZv5fRNr#5{b3)ms^~At~{WStsSiOK9LqdYa^=tuH;AdPGWs(&zZU4Pc0bEG&wr%V}ZgWFk2z}j5lL=w(y>Urk|rmU-al^ zPPC#5l!(d$dK&wjGk?wPnTW6t!FIadF`!rN$iAZtWQJWjZl%IJ)~rnFP^s`$!>}z0 zH1VmEUflZ0*acG30z{1h^b~<`MueIh{0BruyTZNlM$;MfVDgw$54C<(@LQ!(u|!{!-%!{#;<5Q84N8%@pA5%Oikq`ZHGV( z5r{Z~iw=fBHG(>r>EOL{O(-rvnB=JL_c4=wUWhl%v{}v;6X2>V^fzEd@B5TUUrIQw z_hyAYU6dwb0M9-#DI$c?V+vSXyjf(!KEh%)QcPi;9^1s(0ISWku{AV@R~E7uOVx@F z`n{0wTTzsGZmZjUWh-DHmUs4Z6^81*^7e3*=0${Oaj)GsGE82cx|P2+?Oap|lAb{1 z-G6XsZ=2@*!K?Js$?1Q>-N&u$fx7uAd^lm+-*mJ@I$PCv!vMq}c5CfU{>U`98-gn2 z$Bm$k0~-u4S3@G9aly{W{1OLvVHm^sH7v=m;J}q6)Ok1KM8t^Hp`1%aHhjrtr!M&? zTTx!ykAL2?4j3jLO?KA&xOJkq0JBr=STGw;ZTv~YKX(QVH0LjDjI z{~Gr@v&c+yEKv{!HBe?G!K)HqvMYSCa;kr{znDtpfUxYAHrT3f+C+8m;v>9L~HiXNbodQn%1>PlLC3CBkNbRL4`21i2FpOh>#el4%FsK zt!vR`Czw&{3`~}`Lm9NKR3xOAp1=fI%*lqhj(BW@T`N6O65znuYt^P*+0j zWjCBs`R%PN>PU|jKa>=hyC^~^X}9pvK(TYctiJ#j!8t|2x9WzpQL#>Omy!-q56%wg zVgzFgy@XIS?}@Ptx2DjTD!QzSj=U_}0W|Oy+D?EazS~4B5L4y1a zKG&6f4ke4@>9etG1#Hg3hzeoIJl%~8KP)Cae0Lb>e~9~bq_ql-3;31<{H-mwMRq@Q zsr6sSz@E&x4WcjsJCa z35wkT0oRR0%d~>&Btysh=?dI}5Q-h|LxhQ=dhHq-A@=`m^6!5(g#XW;F;YVAj?yZs zRT9nI9JbKX$F=)u5^ODVBUQZ&1uta|i~euaAAp;vztt!Udqd7GQpAWAg7l+fnI<5S z<1hBuE?Z;hi-o~z@&#+PtJKAjWZV)VE5*}ye3~BDq;+6VKmX#kG?|zasy#?M?&%5l zvKfLCGJWY_<7}XzH@j^&_hCfA7haKaU|qzTC4^7On57c4;)8G(coIM&Q+WpnY!yRV z(Kr|F_073l>kIZ(nyYO?Um?Do_@X-3oQ9MnX=AA#N-ShA_TC_E+v7}n^8BpWB;c>a zE-s?}Y`i4SqQx~abUoz^>|^fy2P6Vh` z{=Zco$9S6e$&Dntt`Z1-G=BNMymIkDU=>B)Zt16b03`-%(^jK3EM3YiM7w`G3j7=e z!bN0$_d?S7jwmrzWvSTFiLXqTgSbJz&=BBeEUu*iIAAQLID@?G(4C-yfhymgh5WFG zW@Y(RoC&iN=<@bK8UL0Zg#Bygt|kcIb{%b%c|Thaad)c0zTiB@Y+37z*jt9v-iElW z*}7Rvw)C}=oKCPAfsoH}J{&;QT$2&vGvj|7PNftA1MDtNaoU=I!mIX0j1S-TjJ`8` zXh~2u6?Nsa;a;{MFa%CB{oa=)8_dD7w+J!aH!Czm_qu!){+Q0E5@ zT0M`n@V!4ku!}*B^1r`DHucFBYBOhSXfEW0N|VCz=>fFZRB91-pY9aP+dC}#3I<`G z_=$ACaIr_pWRslrqx*{mx<6ibdSf!Q3}r;iJd%*)SzJ|TfUDT^-hN>kvqS*`1Y7++ z;xg-}-FrIZygmaO9RT_JfIIuUmgA7Oz!lP3fzV2KGd;LRlH5Mk50&-Q#vLsc>&k-5>3{qp~2wM!B!AGK{*=)YljElDG9=9MPjlpKnBz{nTBDYj$Gs z2I2At#NMz`Gp(QuRp-t;-)Y=$c5a0|K5@XrQW3TJVn`O53*_S3E=1GT%AKN| ztl2Sf=qYkiBev^Tk&fA1SjdiL0f;`diCx7|KFl4#atEEz`)7vcoU{c;lMKN7i&2aZ zY)d0Ii?Hl>@PYTca0J}!T2eAJ!&f-H`eHnqB*-()w(rjZ>L}r0+)4Ge>VToXPEMZp z&9@B9Wv7VL*IXSP3A{O9TbvT3f!G~!S_dC^o-5gYGO${J!l>W$kcTtc%L|*c`q1ZW z{7HgJl}zjS=>0Y=HFR^%u+K$^yh%0{vL$zliFb&fu0)j2g|KRR&(5F~Y1->K`p(h6 zofq#|fnOIS`0oO1#AY-qtFiC06HdJW-h!l#81NTvZs235`v7M2PMESNEt2xC~}{gu+diH+>tUnSxGs1t@%CUn3A0{UoIY) zw6Wd_63iRX?m!KR-i8S-;XQYGo=6g^EhZ5)vlwA{6(<$qE z?NI~FeCb0pH|%s!%e}f%BZ^0uqN7znc)E7P;TrrE5!O9AatlDa6HpIf=4A4W^mHKD zpL`VTZo8dgkS(;)(jT5aL{62p9J?Y4C7C@`JIX&~GQ z^2Vw+DjaFH6me|ngS_k|I`@;U2OuiZ9m70-=d5jI4gM0e5 z_pjae{7Cv^LP@;S{hNfFU{+m}uwh4r^Pe8LhbhH{zmKbzOBb@zr&mqi1wt>iN$rtN zHL0a_E=0R`zY`qmFKDFTVIi}eYG ziv!~uq0wuOQ0)K3*gr)__PuSma7P{6wr#6p+cqmUJ4wg3(XnmY=-9Sx?fU)qyAQuH zzLOetQZ?6HHEXU1_kGRg(k9k5DFdE}%Xp}#PPcjIA>t`Z^<#1N(<^Diqf1OB146S3 zp7Y|%-PkJ&dK-i*x5;VyA*D?@q9r(_XSq(PXqkX6&00IvqXZFPh~xn|@+ z;wPg0q~v^k?72@qY8{e)4G+y%kf(80WZ z=&!gtfd1@w_^7Q|oY|5e(U;<#(t2JJgeTwP)ka#^HzTB`LG)j7O+vT6x>Hzj4N!R0 z&NVx0uABz;6EkI?!CH-K0klDr8k?C;pmTP+L#^%K`X#^5KWyQ~ORi~suE>3Wl0;F< zMQOWEHf|A%w)OjQXc7cr7=6eQXZqIJA07sCJ@mr#-Zr>AZlErpjeD&1SJVD8RUEA~ zZSTn7>X(4(H!Xl;(#ll^24_oynS{*#AVbjDmOR8$`@T=Gqu@=42KwQwQV@g?RB zg_?ko$T~z12D)5fTuw}mTB(iCP#MAMvbD(r)ecQJqdjq=O4Nam98p0h3E;U0*DqJ4Z!m%47a-kgBv>_H!vPl8erq!CfJ{q9!9JkWsk2{k|-sK&~12>u*sx_01XU@~KP)7zLGb`B&g9!(PF94M@)c7IL z`gWY@$#l-?GH_5O-Dlxm*XoDAsPme>?FF9}>Ypaz!?=bqz;~w+Ba#yL;#^xsqT{Z4 ze|INCDr0=?)Hx*-KYU`jr=7o&DJ?%sg(LVFG=R+TK%s^D;f?b-;xs-Ckx!Pu`Rm}1 zd?}t%=x>Uw@?h~+@mzxGTP1nv&X-MPjk^>L3RpQt1}$T#2P3T`$x{0s8~v7!jLF3A z3arLR4rDJUy?$Y+uP}kR^fW;RsrHVJ|HS35EoO7E_Z2HEgq`qEUBZK z8itfiDceyk;&na#NQ|YXgW6>6JOZFi=-_42?dTg9CbY!)6t6dNWPaJ9|7QdH?w|7+ zzxh&U?%oz|W4isZTqW(5W3%MEK2gT+QMZO+jV(r40W&^$+L)kXO0Xq#7xE5%X3F9ApAu-Zj%FJ}-AuBbCs_3`7Wp=X*+AK(nbVza)JyM{dxRoJ z{rmoYn;1go0jk{G_27x*nT8e;hW3&K@Y2r8-W?8_`Ldet>CE0(GbqN@ILdecuI-7B z1uT^hjjF$1e{pdkRM&6Ahpq735%k&FuEYu9weG#UaHk_^v2}+Jx_NO0#C@XY5cUlI+${L!ZSvv=o8(u))H zoY8hpPtzHxb-%B(4WtYb-hci@Y#mS%+hFj)?s?B_{(i0~B=wM#^n$j8H`0AWy6IvB z&-(5htbjUY;QTb)c zwaW`0nsTJF*sBXYjE$Ya8uCf0!2lP|pZdI~kylYN-_!-EFbBA<`J=ktn)K~o^Uw8kYeEZqIviCZtdH$#o8oJE9$SY7XrWJ zkzIDe^dTuYoaxeg)**LUDI;}ePM+W0zVH|dHrWta{Bxn*sK-p~YtiO@xx-ypjoBXm zYVRBc-3BA>Vcd;(FOVM|vwPdhlw3F)wyW$1w}dTbjDaf()WBdk_Wg~?VGF=EU(3cG z)eY7$d&ad_)^K0^TilCx8VfB>%*SI=`)84Cik%isvY`J$=$puVb;VQOPGYFa;P^*< zCh$p4(=l|z&hVYK>AlnGOJ4RbrI=~M{YQsR_C3vL+7EjotAB|u>6|%enjbf5RkFD+ zfnh^`M<_vN1(fpcE&L;#h2;S@!H^~5 zF<3m5;~ozy@LgBO#r2PX4c^f+ofs9lX`r$RJd@bxdQ;Q}TB&;_kAF6NCB_fjP?0J^ zC^;B(w+?A-BPE%fNVf7dX{<^#{BPvMBLQf@$S+Ih2F2vxp)>R1BQ5o{(6cEN|FB_) z``fkt%U8w;-n&(=NM@H}P2*{f_n+60q4|UOH;#(9thlHEnCs!*O`Z^5`aSm67z3HPP6c3r8!JslXTz}s;Y$mb~sb6!3QjsxUF~R6V8=Qa46{c z>2c)5QDI7JG3lWzVtAmnK8a#KeZ4#->WB`|M{W4GjAV>TtZs=QRmvB%Z1QeNIyx9c z!#gMsGXg*IxL8$6$F=BOv9t)Z>PLurwY(F;(FXK{d4Nlp0MujD@ZEEq_{kfRm2y7) z9#5URLWTa#F+t$N!Cc8|2E&lowE@M@mMogyzY&ieNr~%VFQu4dgRVzEUZ?UFa z$(W69%J0w2C4M;3M*~l6dWFI4N=Hmwys|*^&6_pZZGD(ic zzB|Gd{Qxc%SA45|V6i6LEUNj>ta-fTr*u#?yn9758j&;}U9g@;KPxa4 zQT~)yvUtWZY4lwlD?7kOGFh@Cvu;pYkk9S;P|LMe4;r5EC|4cAO(&7jMP+kLV*rs^ z9~5Gq$-I6WXy4CNz3JN>ZZGMD{`(Sp*}$?;X-wP6Z~ev5ANt!qRT)3I2~0<;U0_v* z#hwfG56Q8xDVM;IPtG%Iv?{wri-2GCV}=IvG>79l(h(vMo`JsLiqXVnKVS1cLO={|O#%tWubpJjwdutm# zc}f67y5u+P`aUQd_ZS!cC$J4uVqm-poTpi${_$CZQ|doiGh>Xqo!p+HGg`bN{s*1I zVYvq`LZ`J)3RE*;_Hh2`>q-NDyJ-aOwPjN|8;P1*x`sI)ZNa(y#=scGmVg|WmUs)e zdtlP7@s8CtDbK_a{YU0^Ces2T6V3SL( z{TkBns=^oE7A8;07@2N5F%o10sCD4TUMZtb1!?+hf(Be}P^pvnV~f^eNtntQ;CAoh z*1;FMHF29kuFfkwF9O}oej|w5FqF@=edKH5x4cg1alnQlD(*x7ZTLkQnC}nZ}M^Abo*b10DmXMOz?seydKg+2G-d4VkYk#E(%qNqmsHm ze3vIf2cYL8ks8c{f&=4j$t&rN3s`IUXIu58%${B26vqW=G@YboEeV4j^L$~qz-yxO z<--i|K$OF3e?v+K+O9ffp6E;J37jQRzL+l0*W=4klrgxf3C?Yk2O(DIswf^}=3f*V z<|-|^UQz;>Ug`ISxeU}^(uLSJ@T`&Wsf?suON`n>5s9ke>_DuCFw9Ytc1_+I&{;;& z)MGuP%$xk0^RFZgrw@OJO*&q8IW5n*$H_8yWg1`SphYO1jxaBlC%`Z9PahlH=hZ~$ z#5o(ppO#EX$2)~JRq1Cdtf}UxQSdSku8oYx@iWJcwBMOQ<8#@hGH#MpH?LtZP~6NR zRG(jV>1J<;i_G{g}EHz+1U=Zla$Ywk7ZN+vY*YP``SMpcgRGw`vF&T?5%1 zH9(B^rHELomSU!|p;bBAtw>s8=4$gh%iiuf?H;t*J^*vVV(h$hfeiOy*az1mvsTmc zeu=1}hy7)5l1Lb$ETks7u0}0hPbDZ>)*C*PrXeueKU&5u|G} zf_ErdH;EKBVCQV}{q1}Wz+3S~@_om-8;zY-k#!v#t2iosh7Qd$(^U?`lbI+|OUEo# zYrZG|ngr{;7vcK~O}6C>Q%ATS4sEv49ua$Pn%|wvw{M*m7~meGnnE3iv{M8Bt-SAD z7BRYzDT6RSJ8PMLWeE-Hu0(SNo=b{?#MSpYZbD9!(3QsQll?;&gYcUb+1?%d30QU+p@6F^#O!gV}z>qr`+@jWdBMmFH6hj2+g1W{<@|~R)GKZuVQfqox za{Z2_t5CHwFH|FHcQOR##BVmMkbk`tWCEop(g9`P)|Fr!wHA>q!6e&JI}HRp`2xH0 zK08d}QWn1mU0nyQ45<;?${#YQIvuS|N?0}*0QXPF>iJ>w>KbNJtPpHCt3fK{U6}40 za)W1jA$wFO3;Bp*`$8RbBWrhZ@QB4f z3U#s?V*%1gmdH6r=8dG$D{dKQJuJsf8JdQ$+i5D8t=wlV#6B9_9|ceRn&I6M7lE$R z51}wOrezZ5wv(vfF;wr_PWKg;ezMR-3DG@M zie%u=NPb3VkSt#P(edHY@G6!Tmd;{aRhoeWqy7=7jscqLD9AUQ&T$%fV_i);Az*zY zG537;DE31T!WB>oZ3Jlm*%PKoNF139;vEvXEf}HOJL&T&XS=rt+$ek(Ub&HFnd;>_?VBh>bTz zgV@GDNTtIp&1mm9$bu)bJg6)T7PaklBizV|A+mnb8L5)$MR6`&jx}h18=&s>Z^ZhA zrs8LZLMce{{h`fEv4=e7M8K8(4v*5w`?MV`1tn}~V!A3d`P-8sMzsr%Ry7SA;cwDV z#VwUH23kRO;uSMm_jFKlh)Oze#{I8<3M7);F@HneNru*#GcHHl1E<~`7l_U;?!9AX z+Nk>cG>2U5Wjli;8wGe%7A^#ct8fB+K8e0bgr0L9?pAlXw73e<=Qh6Xd{ z+epUYsbRIUo|B3wE;_GkAfcRkCME7aXkk%y0rUwQWOat{qoz#DW)Cw{8@(cgq*=LM zVZw~fV4n=MkRZ!ntE}vJ-~Df?dq`VbEMqg1(PEmJzX#6ad|rP$uhSrU&+O}c3`*ab z;W=~)|Fmgu>1>)rTNo~bBM@Lt7SqX~cTS)PpUlgY?5%CJ=N^pE;w_t6UF&9WN>}42%RTf(_?0k;#gc<44*MxSLd)^w3d~DZZj>^#FKQmyvXiNQ_*~Z}UkOsOm zF~?w>4@JCY6Jw}p*E)af=UdZ))!MM?cW8-0CM=tkiPY_@krntL16SLvT$7Inlj!*= zl-?rm0+V#>w9{zcLy)wA=wX}oiAD4ElR>hGR~vwD1tvTm2tkm-xxsFRec(ZqSvpqc zU~+>tzkL{V>h2?ENJ~f)rurkm;KLEp{wbU8baTVA0g>`Q2~`dY!_Xz-J2MoXWP*vnK{)D!=?MkR)9L_%cz{esn>eHb>+DQy?I+)BJM+Bh=!c5=h+w zNO-lO7^TwgKk9PFDkjnGliv-UTblPE`?usHPn1I<^FRHdpv6D@-WF7^`xtHB9?UAH5It8^~CBad1tf({G3Fk3rLyx1SjXX5&}&MSvu$d9R6ML z&NEYaYKnK0-{9o?LnN%pJe0+xfx_UwY`Ec-F$0TWk|5HF#*3})pqy?0tsEkcs40Bv zHalF>;2O8WIW9yJ*S?i=J-ga@+EzpZtL1Ayif2m<^oD|0`&r^s0+$V|Ec`1)8Bi%f z6L0gOm~d%#V^Zs-(WaI(Fa`Ws<@y$ z&Ea7&QL#?WMSx^4GE90_#2E}qmS?Ni>qE)7N3~~`A{Peqbmr>^rV2rupn$&>}IzLy&=J3v@qjYUo64X1B{U3 zr>MU(p7UM&CF6(Vb);;@S92P{4o?kchcLrEL&ZLR`r{lBT4qhy2EX)j=Cg{vZ*4q5 z3%fzqec4+`Px#@2NXW)F8Su7s#wx*VB4d%sC}(4ILNO~@_>;Y3KkWL5`$(jD119}d zsZnh8xcPcWc*${}*E1oT$_tKgPQx}H=>6qWN|qi(g=yf?ro9&JeVkhF_S>OUUo)u$ zkgQ-IkN?8!@Kk273Hiq-`5pH^U|E>t$s@^!sBsFQ^M9l=YafIELzLO^cqZnAksj2q zRpapu*{3ICRA<@q{+5zRSFuVH@xEQchs16uWI)LJZMMN_4NHL+o)_|X__B2=i{MEJ z_|@+aD5>*`^~u{01$6FZJw6A`IIkiWP#cZ5<)J79+gKwVjx`%gU;TmyA#>CoN)}#~ zFrFba{k$Z4vOC_F!kvD(`Api^!Qbn;3=1|>t_2aq?z_qsMXi``4#8g`FascOM`zSl znjHUi(@D2lPh=b%ug22A)X~-23EJmyS*@olyKrjybkN&5!SA3jzfZwfo|U1HbF)&f z)`XQXL8ajgzv{2!_BB-tPy5w&;jB#)K(U0K&p*!{EWwR@L?PolG>jHTtv8@=X6EBW z$CRiS@Hl04{}!>9z93mpnmNLt5I|>A$xiok0oi2D5CG9~^eNlb78SUQ|M@Z`(lej1 zH9Rb=V^9`SYa_}y?;lF-Gh7oX$~EQTJf^AX`G-$z59`?~nHudXx30=&e6>vtpb$)= z)Zue$vrV1o=?9cN<{nZKf=sj;m`1#54~{tN2(uJaHFAswT0PVT2XI?$(opPmBG!&+ zyPB=`q|wDp(n83Xn0PcNLN`_tCw7koGz~42d`^T>}&yMefuvdSpWE+5FV4;k43%T^@5fz-HlZ%=qj8| ztihvw?vOcEP>Tj;<^9muo--MqGp^!MwLlQnC4HMR2Ud{7cVC07n^0r^E+0k}Ui9jF z57;{JE=M073Hw|yJBEMSyXATaA0Z+gV1|k~Qq`hrO_0eYzgIl{~*6bJD>HIl;(02SP7&!OfJCkS0Mi+pq z-cqG>7a~jSR5Xf_4R>pj>14^sCb?JoU{SF}(Mv;kw3ISi@74{Om*JD=dKE=pYJ=(! z<+(0cRsT9oxeuZdu6rwXJ*l%XS1vX4ZDov@B}j@1o2qh>=Ei!WNki}LzKBOe&t!-$ z)-{NKgF)w#41E0;g6MS-OB!10H4f}~Fpx}(ui1DIMd=2YUFF`vRjdul7>L)Vu${-a{eCx4$2_ip%TC5lcu#K9?*z+-MXQS@I_qw($-}!&J(p6a)SZ&yqytnhe%*{FBqy~QV(<7-&??G=jZA4(ebkK`(lZN<_&b6jE z@rW+Uy0bPKEUGjPj691%06qD0F)F~DrVLYAfoC^7b=A|R^>c9bQ&E1^u`@NK&7^Z5 z)9FuL?OU}zcPRFNLS@XgdsT}qYE1z4IQ6_uu6C8YZgPA7*!8~*$P!>x@B}(~J?=cItXD1SS-c!^XGuSFD)$JQqIR3Uj`qf-bF~rY2 zS>w8Bluhs`jpQ{Mt83$d6}=~5sWK&s*|QA4r_l=NBb_J zI{W%bfC_;txx8V&V|nKCKQDQUAm=rYUAP*`DXI!CA!ATJkz^lE2jLpKCWL< z@Gq*MsCVIQ|7}6Lljw0lVzf(%gqBo0K%*vxx|WV;n}5F)cdy6Rgwezt;+>@xY~@d` z=ts^(mO->acEn4`CwRsorXcof+^|c{`ITeUqkOJ5MznC_)xB|0-GNIlIdd-yI=1ml ze>36b9g#4%7?a&uQaW8e26?`;rv+DuVW9m|o?&Np4?YT3;S1_1YXScZ?)fZzkfdk% z04O2WygCfne!CNPF^hmVjOSS+40Nb7YA0}QKv!NNW2ljJl zH^l!OYGMo{`zM>k`0mc$Z{zXtV@5iAH0KkrFW>9D-~XuU0o%|1pAw|Rcp3K+q$q)Z zB#_!x{J{qt!r-t&gldK5kx&RalO+&5ZQlHQ=4$$6S{v-Br@qy2Uyw$ByemVM@m$*^0=bm1B&ZxZBx@g z8LF_>L+$prq5Nd?4SYd76Z&y74F>^m>2!Vt2A2eI{Q5@A3WV&Ka`tp#;r;1$8U`S% ze`a@p=#1m2q-LK=iK{?d*mJIDg$thR+}=T@{TEeS1o)XeAEsaZu}X*0r0SEBlFx7^ zN081*^)3VWcx7JnoPqo`A(YEbqb}LEP$vn`g)83h(+F4SY4v-<2hZhY6pf zj@AeTuP5U96t(9*M*lv?C%nyEYI+cd!{#@sSicXtiq2jdfvuUXfw~&mD}~iiLVXr& zBL5N0>s!Aj@y8DNJlCVkXk9%ts@%y7Y}#!G-@-WB^AV>?24fRqFKonq#+M1lFWiB& zG^UuhqJNI2ppkBv3RYnE1H;>7v(4X76n1u*>W?A2JYlSh)oQ30tC$L51!KCYg>xt7 z%Q-Cv%q#uL1)FcTwyxi!bw=2X>dn=7V$a=d%E0E~7VI6@@=6PZQK+t2Fm!Jj(uQUj5+|oFT~aM`wpqm+XeVg-&{O!x zmX&N}&Z&l1gwMcLhu{Ll!pZv_zkzY8g4_~f_hG#S++X=BFuuoO0jy&D}%Y zo)Ifb!pN%Rg^iEIsZFNf)q|bNG72(_mZk&OMh& zZ$+`Rhcyl7!kf&Re&09N!}@NeqV5~emU>*)NDZm3A zM7$q=RFJvU{o@(_e{oCf!vFUsC$8@QT4APi9(}RmORrR9v${9saW(vNlANqXoQ!-b zps0cBDad=90Z|Z$5Bc(K=P!$2gy6fV3?iqqSTUv?Ja1NE@(1V6N4MFbrzLZ zRZ5S~^WC$pR8ud6rvyboU_OAVRtGCW^)vDjYoho%yXHW z-}I}JmU>Gex61_o4Ld3je!6}fkCmt)x)LiOI9K_GQM~2=@_9|^knG~> z@`T)nJTF?VHZuDp#8*#Dai0k3HOGZ*o*7TCx+1?FF@?Sg zr@~2B>}g2XosF3l+l?=utlSjdnf>-5C*ht)S-SYS>aZ99PHK(oTvL8F-!JeVOsr7^ zpYG2P-QU_CKBpp2IwQBKB^RHEkgN9JsMA&J-#}G?JIBW(g>=m%pt9zeL+)D1qnt;u zs_v(hDiGwz63ImUSurq?=sozx)_M_=jBKkn_YIXzdC z`7}r`EVbzQ~uaBT@M68brr& zKlV{g2cjn($Rq((_)O7H!4-W@7acvUZc|ZRQ%?k*t5<9` zus7bbDub7^Y&;4Xlx3E)CcaO8FpEF+_b2Q;u$f`_$rJRjvJFNG9<@HxA8ndf*Xx%O z&K^^cWw387UL1`;2%qoX&xS_4n&f)eEh1VuMterynr+bT&tq!^GEKZ#cH2(wCZ@-+ ziv<%;aI#0T8jTc};yFIuc^nM%@`%wUhy3T6YmiOYv0 z5(dKuA=5amOuJwV`Y}9hg+*@VlCu!jD2frCgt3KN+ck#y-RiwL{2XB+`~cK08{RA% zq#8m4tS@~duVr(YXGMR+ek3=|m4uCR;KF{KEYXE@jNE3=9*CVr$KHSV4ACYDyLlCy z`SRR)SWMnS9E+#>yf zsZN<8sf&wxntu5@FRJaXwftoA^S4H{X|Q))(h{c|4xBAa*t8yfPQepBtV?AwX2p=6 zSq10Yh;}px(!O&+@U>-W#4KTrs_(Pe)5G>U1gn@6W9$hH3O=hN+ECmdp5AF1zaD)q zz=d5yrNhzxdqtYo+NP%_@Q@(_Q_%a^pgzT`Sa2Z$jt$GP@vIX(LR{xQS7*%vuHkdZ zA>LNB%xOWdMh~F?ptF=!Z$qD`TywsP5&Y!BdC$CI-#O%enofJFk$awsbs}#_JE-Wn z>_|JH{idPKDY31kXhZ*ghnPXxY>{YdvX5@Y0QjbPkHLr1t+Bkv$-k;4j4caA9Y)X6j!8;Z_<3aBBC!uANchTV@y7*`V*2))&zkVt

-<6U4~?Oc)yQ9KP_|4=%})^hF_ctVk*Z{#BUbDGX%O^udCS zov~PbUU!^3*kf6nuEbdNwvyoCtnp4HoN}&#W~JKSoKaB>x{!bZ-o92yA#P2BdZ}>O zoL_Un7Q!@RQ&uhwJ?pd^aAp@Nwb@m)66uR;(F)_Vs+7h;R6pevRi7=by*-Nvvn{UG zes+KK2%JkcD(ZfU#tL$I4c#8e)-Ia4_nSMEt$|Wi?a>IFu4=G5DCpqLZGZpEe}8`z zeVlGpGNTd&Ye;A$Ld$L7hr@}eG1wW3G|U}oQ7{qQ{z>zJ1n9>HKv1sp-dcGss{GZj zuP}$zh;eH`-=#!vX$t(ul230Ob`E83n?$H$f|??d-a-AsWjYuX76q~2mF}8ZF8AoY zB{`tOyb9}^VYzp5y3D3n4Gh^;KUdVdq)m{`J$5 zOjp80@73py5~Vghn@n{&?PmOk%VL`0{(_2oqIE z0n>KLnDRBDZCDcgcy*$%%8+s0@Kjiuc5m!s$~#^t>o!46)bo1Vzv zWr>}};L%SNAWaT!7jzWoLe=F(8nv{=#d>vUyrLN2u|4<73S+~lUH3n zCD*sCCytire&blOrmWN?{OY}h^?rM#2_=$Syy|LNut0nSh?^U3gyMTn?D)kHlCTux z+>CueXI#qPDS#O9|IHMXKfmLCK0=9TwcSHgkRg4tGj!i1h-)y`zX-vkyz|=TLW?3^ z_PMqPdte8oTOn0+IUS1RpL<$g{&ko6&6cBiIKmUrz!mYU;8#<<#n-v(L2I%eLTh7z z)9To}8suFv9f42buYv0y!}mf*rKO>CvM`bF}n5V#opk@%P-1`&~En!ew^LYcIri)RZamO%cNbW9r#h0dvYf!W8N zF>4~&pH0I|yEN_IsN#Y2>km@De-W7oLvPcnh>_b+efhu!J6>_%NbF|1@^QWwkAqnd ztRo)9A6FOMg4%uR9wvz(Nw2q>fj1pm)OCJsU?f-UE(V#=`D~oCPz@nd+Z-P-k-gWmnz-PwAEoUNK*-_>)kD(I=b&y%gxmrnn_WiM<)gN zy$5{o7H8UjMwN#ekPS`oUZkfQ`GRkm`*MDqTq{aIienmxmCX2}0s%^YfC1=&ca56j zrNR};Go`m4AFSU>-*`HMsnfEqUbQ1?S=|om6@hvU&cLkGqRi%=pAU+Lps29!^AZY+ zazWirG|d)~SK}1-gGGH>)ZN2B-k;d8b_H}|nes-$hvSKhA=I}(Qu3{$lzv_o=|2RI1pbfg(Pce{^@E)wZ z^VyLHOh3P#ZTq`PDs&pdl8D$=kiFh2M9M#;Ll#RB0b}pHea0959br}XTBFGr=X<_>Dfx4q|&Cp%gjx+&~PB67kO(y%}wN|AXGnPMag;=rHwXd zPBc@HLg0d$rINOWc$hmh%m2rOkAnC=XPC+VIm1RZ|3?+*Ph4Wda8ti2Y1lSg-;zf{ zZgBO*^VhGkD9#o)f~585iL|$jQ?oed8UF5!P)|bH+x$x&4bj3%{uj@LmB9fCp#I~rpDC508FSr~t+HW}}P-@}!Y4me|pG87whOl7F87ZOoY@|JJ z_p1o%UKKnKA{xT4umYbnVv^=>#WeCCd|#4M6Y{>F0TyJogjz5uAnZS;*ww{u+q;mV z!$Xy zxmO8RMQ`kO)OE;dGVCkG)6>cx#L3{x4_IjT)(k(W|AlytksU8^2I%-kR-^*-wG^_Dn&SCTgt0uXQNEmr;}#t7o7Pg4Bqpx-*SDq98WOH=xbx8-WjJO4D%7s<34*o|)z9h#?r7_s_ZpD+;k6UU+w}mymNj15meuzR zdtWghNL)en^<`-=h|4xL zk@R7R_d`ZVR^D%j3Z^shZ?; zs4Uv;@DR#KN(Uk{G>)-6xteD`G=J#0RPBv@f`_A@E3B$HoQwWL$S>H`bJ5KuoS^}- zxO1mT9)e|ly5WzZ(Vw%zAGg~>?=ocV$b~|s>%1~ga{K0eTO1aiu?iMm@mMcj?xb5y z=vlV0Hjgya`U6CWODgd7VW!K^npF^5+-^6q-!Z6=e{6r2lblm*j|s?b({ZiQ6R`)tDR!myolZcdCE)_11$F*R77E4wiJhcKJg295(2`f^SV`ag}AN`e{`-i=(tAC1k z%iQVJGLy`#<)RMk1PFCX{@@YPMdVN zaDZ}f;M)mS5E2tb<5j&$%Pi--^hPWmm;RAUrR07Aw-TE0r}70iM`8>ED~X`9J_a^S1`l_mAN7cp_!D0RM~aWz{DMhX)-} zYJuP62U#cdS_Saf9DptI!9KIdEYEP@u@VD?&!+B+Z2*T;vZJDOBr{YAU;@*|%KEXX zafnzCE81ptHpeIOm*3Bv!@1mgHCWuvOOeQ%w}!J(Z`mV<0y@Kbz%|*`KDHf`jKGkF zzb$!^srpB+F8YM41=#&7A4aanSF%e1d3?o3t?hc`*!!g0R%cLfu$C;|sUd14pkJ;2 ze-TrpLg%%D&LEP8lkK98j+p!+Z=y8UEy&RX{(s^9^cUyGefxx~#%!(U7t z_J?nyi4gl}ev01vdsDO;FE8%>=rQIleGU#rsE7Yjx3bDu%RgLbA4OyoZtkW5f)b1& zrS;J$h&H*n$<5M1w9)1+@a0sOr^k5?L%%H_U=?<}hUe>1;p4I15Y z^aqVFucZ#^ZTx#u>a356@3M7s5>B2mP#o#1oMD=z!igu2)N)+s9PJbNGR5rcAu)eJ zNdYsdIyoj)?8>F))QOjT2Xt7%=Q9AX5N7b-En_Er-*nO*T%a)7q%a$-Zq^dw!2XrG z5O#ZYnS-+Xm)L}ur}GI+4=uWT##Zxtcq`XLGz{Iub7#V4RU^*$2d@Uo&$S9jO?}Pb zkn{QpMJ54?f7Yc}vkS$5oRL$R;_t-w+NWoezl~LpgjJpln+H2Bm07BQVJ%0&8SVb3 zGf<4BPJUQp^1ZLGioM%ux@$2U@@ZeYZuowFSc2WbE@@p>vX71)=nr6+^&%ocQU|Pr~RqqMgopic%c}r z|8hE#=4yw%dM)M56x$}ZKKMGHD(g$r!UonoQ(GDh%6xR8pUh>6Zz8Py=@zg@r5DI6 zgC#{tQxP?C9Df*S)1copWu=!le=*Ui=UXLKSA!~wBJBpsX>dD^iU`>2A z<2h6U?jQ*+RQm5bARbDlW;=>)DH zkgDbL6xSJ=wE$;+T0-=2_+8K*f}&g^oG$R?f%)Y-Iik!Lpcw zG-RVXvqs8grVZj){#%85_)z(@pyCgM3J$kg7Dpk1RODRKbz-=gO-}d|HQAG%D$UKa zQr#j3J0<@7R`}48t6&Z^E*i{YtWtRh{IWVC^jv3hiyJhJH?f{_K83ICbZ*H7xbJl? zR-88x6KVd{^jPkx8l7Qj!g`%1!aY2LIid&2oW}?0o>u?RW6>Rr?oA4kuNEtc0;3`_ z6cgdYHTQL6SYT`7dgR5mdPBMPp`(tAX++&odL?Z-|MDiuoyZGs)V+t(d&Px~EjXrt z_3lCZqcH_|A?cfkdcqX4x3W%su@7xz7qzXJpSl$s<6~TWF*i4AG2eX^h8EBT>2OZV zohBfAB+4dzjJ84uYpH|CNdDp?xi}dwRMKW3W8VN(}%-XbCy5TH`uRRQ@w~{9o7=PhU6l#VUel@Vi!fIHZ~$%B~12P zws&EkVOx%zPq+70H2g6m^!(1KvpS4`K&ZC`X57DV*zn2J!B}JjHKTD-RE9C7P*HG zKPmyn*PeVO7-C0bHJa}U5>5JRhl_nWm3pu33?PhCgZsg4n(|N{W^A_BFQvTI=((0e;>e*tye;9PNDCJq6nnO?gU6L#r7zRzkpgsS8*##%ClK&s|c^4Y{|D!+uzfBO2{J)wHqwsT}z+T9U zxDJ0%BPlQO?$DYj&StKC-eF)g*HMCxGiD`hK?mgoE9xUJ2(`kwt_ft8_yY~ z+%}Lt1fdhm(O4C9mT|;GNjsC6P{m$CiBHu z51j)S*kkFCfKO%?A#TBXJJOvPjs&O%GZWJaJvFB_2@QiP;p_X*I>Nc>^f6(mULB1b zH_RT{F6;01`49y0_xrB;9*|C+uwQ-NJH6r!4}bmU?MbTb;)(oNq1N>^{ia1E&^O;E z95{U6(|_q18NN%~UZLL3wZt8XDhjD`n0UT=lI?wWL_8nSOs&a(iWsP+8`%1+0u|ty zqrW?Uh9mKJ=1nu&okQeo0n-zcvc&dmi*mm3o2LI3{Nx@f;zR2`T+|tAh-_v)z??$Y z!xa@j6Lq{tz`(dNOw_3!lH1T~{k`v1cDmnMTl+hhH?uo>Ej0D@y)){)hQLsOaqCjk zkHAk z2gNw`{}=E5PUs@=0a(^xFpt|TmLTj5(y5TaHl%ql2ALkC>AK-2Zx9?lUhz8a2u0{s zfJwyU4%GWD?gUV2CyD}DuGeyt#%}qLR##e9*Zlzq-kD9J4b5zU2i1@t{6o5gnQ`4w zbr)Qml77xG+ZBF!jRE~ePgjZ9aI$)4pC0JJyI_*!&aKEo=k3oy?R0KP{o`Q{dX#a} zMUIB8zgPROXNM>;J~N&;&dZyaO$!BV(Glv81)=m@Pkt^jBnFi*ETkvjMNx8?c+|A|A3dEumlm=l7$MF~|TGNO*8i)iscE+ygV z{nq(~RDQJvSXcSO=_NE{?;u_DdHCB22lknHOaprLez&6D>O$ML=qySI!RtzE3$n8K7G5Y_)qER9r)FIYj}#c1)Z(t z>ez|oo|*qE%l^u$H^2whOcXj}d+Wj_%;-+uYtU)+<&awx+-uQSj6TkNpUsN8zo&kV zjG-UGzesGU?CrQjqjMh;lnl{RQ({J{F|MPP0FMZ)Pn9dYQov0@$*Ey%K<9aGe)-mA zJcyGjoE3b8Cm0>Qm%K^4aN(8~t(&2J@7q&L08|g3VlaGF!gonj1*=OFI@>@;_SIupCx%{`sC)xz`u3O8PjObeZ z1qrO<|DXMR0V-pbR4BKnoS$Bi^q*f=Jo(|b6?MR^0mcUp1;@PfZ`_@(9{c*V*Hh`% z?z7izD;4?!BSj|6iP2HF3&|DQH+S>%`g>g4?BAc{Gn+Q|n8Vfccm5yx=OQ$-k?EaX z|GT^+A8*OktP~Ktp0IJjieHXb)7+wuvfMvrwB97NWvXDZ{%s+X*=0K03&KKuYb>LD3GbLjP?xf{X^=EY1pdt~xuTV9s)f9mfx*S}&jX;KB+H#j^&`}&7yYuekQyg@WxHl%y8|4cY5qEiFCmj%?sp=Ym70JLYw( zB=XJ*-U^&wxH)1_nll9c*f}U@2o_bW}Be9Z(cq9 ze*C@i$*^@^uF-FOwpzS9es_xUDee_hniEgVP#536H)H0-3mYG;Gp?F2{Simbk`LuO zr?2hH-Mjy2*yR|#OMhqVIu#bUxl-o2dX&z4lT~#qS~nOyirHJ#GBM@rrj?>K%_ltO zb{vTasLTkt-QXs$oF_bN=&`@85xUnSXY@ zvbU6)r}NCP?2W*$DdH6!r~g>$a`wtSe5LtYaD8q~@wIzwJE!me%~@Xe_qD{gxe-ON zlJ2bYIYMr7c;7ZROgy#TAZ|zN{O)Hf4S_yrykPW6==Ad&wLS6XzGeF#oRhCu@;f!e z?F6vRbm?AO+r)`gik~89^e;X2U3`gr>bXY!FyG0)7O%E2J@z?f#=1>^dC%Rt&GR^5 z;|js=-y~x~XS|;H(V{c(TdmVErib0f{M}b4W-hT0VUV?deoy`xlimw;E4vx_56Z<2 z?=){*{_TlBbc9(~U3qt3$9hkeGanBM#tC|T_YugFvb|ql$hml@_t)=zdExVDa+T@Qr_L)cGgME zv)F05R>kx!d3m4)hVr7V&HfA@g-vEJ7G4|Cld38eZ2tu)4)A#97Ug>2GgmgII}@T&N1<&hQF^t^q2k1Uef$Jnat~rWPhVl0AS*e&$bPP<{53N!*bE2s~Z= KT-G@yGywqbD`k}c literal 0 HcmV?d00001 diff --git a/img/stacks.png b/img/stacks.png new file mode 100644 index 0000000000000000000000000000000000000000..26df0a70e479cdce955b4ba99ab0c070fcef1fe9 GIT binary patch literal 5488 zcmcI|XEYp8w5|}n1*6x|drR~nMvt0k(TRvU7-e)qOhgwXL>Vn%qIc0_^b&P+LzE!H zXfcR--L>w$KklFRe!TbRTW6iK)?VM<-#X{){lys@YEzQ2km2FsQR?bwJjcVk=YF?# zAtAa$At{nLJUn_iT@5wUAUkZHy(^nGd|O zm&;uAg@gdWldgN%)0Zony+^p2Kr7Xj)I+M)&lTdMH9*FVcJE-Wk!+&6C6#*-oA^Wa zlm3GcCZrVg^=U`hKIZd{9D3$B5tY`(=~`1BTH=nez*X8`msx$h2aHKIO+ONN03y+4 z1i0U!!v7H;NzG**&E2k?2+&PI1yP&Wo{Du`xkXT;ZMi_lcYDw`e@+RTlz*0Dr-d8K ztJgyY-@plv?K-q(PF8`u%mDY}S;sL-?(`upB`b3wdi_o5!A*gq(Z63ZUx6w+A5N!y zro2@KrKuJ2d$Z3BryaueUX+=dAw|hJ)~EzN8+ZMl0mlz7;)%U^gqKRQ#sO|FG=oLphDMOIip&4!fK6F%z4jNB@ZQiQYyG3HD~JuD9rj=9`WeSE6Aw@y=)lIXBGjL+iXdeb0m{<>e1d%B@Y zN*}#c7HR!(xY$y!H}Oh7BFs`9``cbJ>tm5@%)fqh^Q_{oPNYRYBCI5`-)zO_1QtT@ z@OoXTzW9A|$gV??v>!_zC@Y0xwLe>?_}kj=6wr6oyaXo6A+>0b0qC1JmGye6g!x3W zZqq~9T*rFp#kl0>%%U(_lK=@QeVYLVC zNr30|7l7Z#EZoJqd4F4B+nl8Z0{bGEVY2O7zhc}LIXGyRk<*HH z*GkQKGO8$`@as%Z~RUGhIvz65!c(LHxfrRQq$hSr9D;j-A@+#DK3;9 zsbu_iIJColsoNvK65rosp(9ujQ83W;ta>3o@bLgjmzjI8_yy$4V((UuTkbWtAp(`a zp+|2KCM#O`F)NERP06GkezaaA_cNC>dX362>*W@g(@-`+8r-;fid+`5-43`mr1&Yv zjcRPb6v-DCkyii zB1T`y0^{^8l-+uFbQoo8%&}2xqz&R7xW!~6V1|#^(XCP=ylWer>i|DBOvm<%CoDpX zGJ_gotggFD&uxWCQ(N+1Lb8F|I{?sF;R(WHP{PW5kf%-QConBa>MW z`Ol-eBP`y{zhQz%X&^WjWIzHG`u~F+0*`xM-Pndf$MZWcALop2pwYsE>ynAo-USdi zRLQcp<_PGuXZTu-OBu|a!LT@1(b+UsMv+^%fP75FA_TxthABP{mg+OiHEN$P6B=UO1g?9@{Mz|Bvbx}Kd zV=VZz&4>)vnmA6aSID96POV%vR>Z|>ysbXTm$rmkV4>7i^ykqAuSY3)Ufh`VWh4scNK?_g|l3zLc7j*dsVMe7%VdD3%S+ zTV8>{W0Y2QD=Pv0Ck=7N&{s-~<(emP7ufu`tm<|*4yk!r*#`?U>InVK-tFV8tZD`Kh%10lTkRJsBJKl$OSTA0@JZMwVQ^pZai`c2~Ax zD$nf_Me7H+rKCa95!Njl?chgk1gzc;CHAB6`r?;WU4dT=5#=BGGM?%oVq6Py7|-;g zwvkg-DRC`o%=RNd`M1)2J4*ul&X60!3hYRejMsV)t zP#=XuD0p~yn3!{rwlY6GwOU~z%u)<&$IPT*95-hNXP2|;Z+Mlp|k-h=!jS8te9$Ra8RdxE$%)!H+X3JU-RKB zwav4Q+x6RuJ}b8k$g=HaVT&#Psu<(fYY5n6{`4It1kSWHnnmWld~JGAV14HEPb1cBfUy*Yx7?mMowx3nS0pA+ zZN{Hk&oE5k-*L+dBqC(P)_|wCy(;d}Hjq*u2g=s^ft4oui>tr~^9OuU*gfMY-&e8> zKF+W31~$3vPML@{@y`1m!!K2NCx5EC&JA7l_dpt zhaSkPxG$a0&4#4Ov26&o)|Gn;@WGd})+vWBjj`K$n=nYh1`^GE3}zP~|Lr>%e|dmDv`1Zsz)P&QuGSHoqct`@xp&s#}7ZdJI;m z^SoS;hsR1?QRokxViVY&mZ@31I}x~vT93EGbwW4IaUleGdopG1cz|@3(oV3 zn~4Owg%!TKU(!#}lbuW6jDr_=j=S>|8K9pDZeWnWkHPTb1g;YuGZp#NA=lClXz0#vl>DSe7D`|$dU*O*q$_&ggVv;^bl=oaP(qb>_l^k$w z50U#oVC5p1Lg$__zT<$}bpXd2Zg$d>E)>>;1vUK;`jBX&ld-c^$VO*zfLM>yt{FGU_l zi+-FNWki+yDG=-(+el>YA=v;H=v#t7JXu38L0n?Sr&=~k!mVG8EZJB|J|`ujz&tk9oD`$PGg_VX1%Y{#0lU`Te ztVLu3NBg@Qo-Bj|bMm_s*cUki-vUS*kFBm&26Iwdf+wgY})JSC*GA;*?rYN zRF5RprhSmntiqrVr_9~Lx7coD6Bl|^0t1QlNWdB2fF}0dTh|i;`={5G2r}N=zfX#E zC2OQx4a^*=C=lG3#1UE#6swRn&t`w*K7QwM^upjs8TW1P;~xN4aS9Lu<|f5iGzL^7 zW;6_z2%8o7Uj$B#7E3J+#ow!$><5pdlg(IP)>K5MIBj&dXx&ojl4qbf>z)C%Zr^x# zsi-+mr=xtI^P(J=9J1-Q!0)~`0$emzeaXt-zAg<@c^hFVz^)DPYK_V1tDmL9-xw6! zm#>_#Tn50O+%%t7rTWb#!>DqzJVjk)ik(4~Z_TwE?0uMPnnGfDM%Zrg6HAQC#{`HQ zr)Pyb7mpnM9p@X}UE{YmlR1iad2Bi@ktcm;lYE*NC;H)#;kW?3sN2e*l1JfVD@T(M z{Pfz;A2LfCczNf6Xv$L16F(b2sDPXVX1IDODr$6ZE3rF)DY> z=T+TRBYg@>8?M9_)Mb*r8>xP@2MG-vI>Hx62koHG{yaj)Dd>OO_T{wcO^Ss?diU}N zfI7lx^3X4#56sRnf$~l#8{;4B65+NC9aomO^$ld+)GNo|JGhScs9US*huzN&tg<_LD*{ zny4(7=T0nS+w}hsGZ##PsLJjI$67y=282OF0=fq6wOMOa zXna7^h~@Q`Zu+p;w6!YlcF)&gp(Ty4R|AJ@I)HulPtTU6>HnX2q(I)^#)$v7IMnTc zW9aX+>zBAW3Gc^LN`-Z_uSOEO$pGBb#76@}GoK2InPG@CRPt}}d3fv{|G12&+ih~@ z8Tl)=D~>+$u|@hXgt}tAxQ*scb3d`i#eMWB8fEla7q}JkEw~#Q{A;C?y@F329L-4^ z6&awmV~xdO3vzd&DKvuD!aJY45Lm^cOHP)R10GZds1*ANR%=<7*Awa)$1+|AhVjy3C`V7o zC6uRABn`q;0-i6AtY772A^V>9Gy5sDuIriW4rS`;&Lex z`qThScvAc-#|>b*FJ;16=ZIOuk5~`xFP6`YY!@+$SLdIOZBk7A{p{6O7aOMDN%h!? z;K7=9^Wt6ZVcc<Z`p=Nfj)50BG>HZX|0Q6OSt z&8YO*)nIbC3(>X}FUq|pE&=WFG9lvL?Mled{t zZS-Xb(IHsQ>SnuROQ*n&Sby(l=0qB$4VJ7oYE=jZ{di}Tv`cZl7_Lf^3DZYCCZ z_^?phX<2I*N&FYHwNc6583=yY<(k``e(at&0CSzlBcF#<_kz_lP}2FmeNGYr`B$r2 z`Ns0=qf`8R5iid%N8=vyMjb8`R9=&UCAQUuU11sv-EO4F`V^{T=PEBm_E>Pg&zzB#92Ua4(d&KoG7uzj%r<5RVQu%d^2WzC!N5-48uMg`xUdPjEw6SEx~bWU_b3ycpe@R21w zcAn!VKuRYjO3P+}G4{?$#naU^)TjbEME?hnbCHk$ literal 0 HcmV?d00001