From c8615a6136dc916ebfe528ab8253f4c8e1c48b37 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Wed, 5 Aug 2026 15:28:13 +0200 Subject: [PATCH] [FMFP] Add note on promela exam relevance --- ...methods-functional-programming-summary.pdf | Bin 705578 -> 705713 bytes .../fmfp/parts/06_exercises/03_checklist.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/semester4/fmfp/formal-methods-functional-programming-summary.pdf b/semester4/fmfp/formal-methods-functional-programming-summary.pdf index 0bc03697d5fcc2b75937c4502bb50910307f51b3..b1994b53ecaf51cf3e6d5719129ffffc50478e95 100644 GIT binary patch delta 35798 zcmXteV|XQ9uysys+qP{^GO=yj_K7E&ICEl7Y&)6Qwl%Ts{ zeroOVNQSy7hFTF+aCX)PG1Q*`Kup6lnmr_8`1i_Qd}erP?Ct@RCS5f?<%m<$$groAg$+ae!$?0O)$$(3`h7~b& zBoZz26Uw&Os4RSNO>I2QqMO8%KpUwuZ^S1c;I_cPzCl(=3Y}Ctji{hYYXK@1`a6?} z=AzN*A*h`P^j#jM^-IL1?~hAEt%*u3sJ<1Ru7Un?8iC{+qbwTiT}x{CTp3DAa5)}{ z+LIlA)qTp<7x;~BD04E-D?Nbwe+yyziV90CjbkOa9CLiNwg8y=lbSJL`Ajf?Twp-- zju5=Y;tm3V1L#5d0RXy|Q*b~kA_;7X(BOioHkclkd?E0+#q03nBdD1N6wvmCqC|pb z(UOe127SU+LR@Rz7SFjszm;y4iW!H&GSDhTl&NSA1Hv|pg*erfb;sLWIJCl=2~8h z{|junQ3doNlbGQI@*RvpI>O=EA)bJHtj0DziL~?=@l(G815D`v|8X9e0C4_Wo5~bW z081*i!b6X#R^|@RE9xl*8C!l3#X6mf@51~R{Y5gf>=pmt0x!0J31||@2{Pc8smXo}wwuadm9b3FLGjAmls=qFr(`Mm94 z5!~^~iU@sQFdd8@{~!Lt8!!V&O3`CCM0i|^gcL;A3`bs|6&~;Z@hM(t);{+91tw>f z3L@M1SL)~h0M7rscP(Q9fEgIFj>8zNa1~pG5lV%SChh)ecZL?uuaJS{`-N*DpmT{0 z?Z2qW@c&bc6aip|A&&Z${Z{R-Hs6OSSK{W5s@Z`PY$S)Zk{s)e(0?Z(jB#_ZSKvofgp~1IYP{y9Va$M#D zFFO#pDBpXkG@)SrgT{6OKF~^iMou`f355*tgz6i*wt>^!P zc1!`Jk%)JFey6RCBsz~K){4~E-<3H}i+Ihqonw5$V0dC{wEQb!A{w!_H%E#oJ(EJ~ z-{we2ziqkp?HvW4CNE-(*7({f^kCogV z&C8d7?1$Wz{kJ+)%$OgwcvgNVqr;3@6vkcmOr!O7oIin0ylRb+K{G= zAU(>4|9nBYa^4_=`k}$;K`O`)bS>C0;7*9-bHMWMgh+)DIzG`lq&W)-A3oxMhnFtf zR`!diFB02?T%7-ewqbx1z$A;k(zkr#gB!vU4{5WcDKBj$Mw8|ZkS-ofOgxCVohN3{ ze-dnvYh1SYP=Je}k~X3d#H4*v0D>c-5>ch3ECpMdGQ1|8(UbsREa&aArJyyAf7$#` z?`dJ;1h+*XCHKb(ajSJFso;a9ibP7R7AgGvP}|NP7asb6K@V@#1~rTP3;3s(t_4mM zya<^z)$fG&;8Dq!9gYgkFu$m}2lev9ZP}ol@A?a{L53;~npFH3@V^a+R0&)fn*1^9 z*>?YB{vy3XL~ zp}VM;{qv=^M%n-vp^JF%FuJd;mhr<^8IoxDfVZAk4x z6sK~l&FnDNQS9K=8L*kYhAIXHta|BY(xZ3Z_6e*9R~bqGF=yr>5U5o{6O;Dy`)R%P zpov^MiXOFKE1f;L@n&;HVqB{)HqiU@)%N?<8`FjMoD%7Ewe5L)?jv-g!s5;_$u$9yc(|F zntcjdvJYm<^Btb5h;EJlaNFA)p`rzuMo2|yMM{Nn>?Mq~LKb8Fxp;#y2K#Mb6$H)A zUE1GZkB`6SFbh<{$-#e2xt}L6u7SSiia7KdzO820qwgppFceyPGlO|PU{|cxioSdP zv2@wFnpRkU2kp8))zMz^@OBE8iMJ>I7Tan7`^ChHkUO0JUooT!O zn!g*hCD)M;jN0+qe0&=Xikqs_C5Yf)3Ru;`W`^9*C$C;O$9^GHZOJ{kOm7Redvbwd zzd{-n_)aH?-CsIa3mKm|G;v?owiO6R@v~Nn!S(517r=hPpsFkxpu$d3~2~#noK1@tXWx%HnMlnv?SI zS#Q;dB15Zxt9PgbpS#MJzKjpE^mr9SGP~)YlJf!m<{t` z@dIYrlTb1&$RN06(FBMFYlX0^4X)yuHolngJSURGWxp5`;%Kzhva(T7IkXok$K4~=dtBMM>H-pzD^+hMf9QF2 zktvr$xY7_G?@;|?h`U`5?CMTV*~9T8MJkFj9Hym~@BX-$Yx3_e>jE_!yxCCX6{I|f zHU9e!I+Up^{!@i^E*hLMBaH$s&m&7l=Hj8j;s&SqYdu}-4e)5sZ*5C6pl&m8Hy}c9 zEjLEltiz(W19Faw2f__(s6$XHw6;UC*v#HODpAh7Cl8ipTYPo%>>^7embH;PXtlALV2=BH6JO zXq9To$X0={_@kg$aZcVw}DfpSo-X_x}ucOH4K1qN$v5!$vgJkcAipnItVsF61@YX zZsS|Oo=H|~0Pqm=md=7(tykDDyBNvr1L*u{m4CX_O+Io+rV0`I=wOB+4XBFl84BMX zT73FavZ!nlUt3->Il^8j@?QOjli2^z_gT-HC~zJ(GuKl(=$p$RF8~o-!4gqV`miQU zu`!jcCGgE$Qn6&9U&CuD zy(YXKASH)R2k*$vp9s|cOO@scFXN?M3p$-cU+i7yYMxgH_McxNQUSOqT?3@(yx;!b zdNiTR-O7hIq0W!%!UAXf6%l$9R1nx=74$=D1rzUaWYR_@lUQp}DNQRet%4;*v#iZx z+QksgilUhRnsX6rE70i6Yx*Ii%-{*RzjKRLrH-lmRtPu;dI_Q|qlA{q!C$|T_RekS zU!#uh5d?k14$VPU_-k_5tfKCZ?x#(~y@tUd*FT^uv>3?-g99X2Q!}8oYFAb;RR^36 zf8W;^1Y&Dr93{bKCBf?Wt6i0oxhs`H#`fa1%?pt<1LO1OGqEPQ9KDT_C5Igv)m>S1 z;YH%86@NN?Gf@myip^hMr&)J%g6Ys6t-kcj81momcl`FZ2o^AvlK}E_m6pMn32Gin z=skfHtlX?EiUK0EX8T3&hD}Edi@>~mw}>^rpxd7;up7U{x*$Iq)hia*diBS_Cb1nQ zoWNXBesMcA&M@cCObeB$^i~P#&yh2~E?9G>7?OUEOi@_Be|TMqg}Hr*n->hsjD>HN zE(sZ~?PF|&>6zY=V#A=PS#s&!L-xF6EElVA|>1l>fA4H=eOM*dO?|4qZD=yY{24}k{B@F%lNW)gAC zr5M#{s4mQp^spP4ry8=1R5KSk>L2=eoZ#6zu5#S^x@pP8wwa%HfAC(~Tnj-3C!822 zs`FivmnK`bc5OX%Qa@=#Id<=h_kb98;V)R-%}TmFcJo_3LWkgL_~yt`@V=u-g@R<} zV)k9?g$uIYE*oMLGw?n*rnP`uWE#u!eTPrC>g!k!`dD-TnZpQ(*C>(;N$&$^r^CS-4OT5L2D zHn4>jC)AZ@OGN!bB%!|+n$$-O3Ncu6uLBA~CcFJ{L{edK*92zO`T;T{-f zx38*Ta)4~0;A6)=qhZE^8{g7ALMzW*%eT!Eak*tUP2pVv1dKRU2T<|pQR0lR+3z+c zxPgR7Byi!sJGY*o5OqP#?M>)jUqha3znt(0>uY7&j6=(Gkl4W(r&S#9z*d$~@JX6` z>VypFQ->VwO(Bv8Y<;;6J!Qa?XO%Lo7uC{kbgd&pj<)yYf%n@6{PC53XEJDiiXn|V zQJFYPyg$AIme}U4$#XT|4UX^(48X+*f4{siDk*YOJ&2lPNB7Br%`uZ5bT@}na*O?0 z&&aPnyHw#J!1T9YlAW1c<(e{;`*?5S6JdA8hMa@#hXl3iH7jmD)yD%Ei${o7&Tnyp zSnSID7(88bbAuq|;$Z5RGcxn{%w#uk9_D=HFi;9=iFaxW*5kv1mrfo&*Eu`FY??V74D=^&9Wtc4+x?3?7)Zkj2AkGS7(zbF zpF8`fyaK^E!6wP#ba6^!RB#mVhfk4w^zR_;D7nebq*B!DfLuq6T9l%>V2pKpPj%hfuGoPd4x6WvGk zZ{XTl>Z4L})-=1jV2X6E(-qq=BlF)9V8VHgbF>;u=H!@CU3OMc+T9!{t2kj(-1Ol==(w&>K(ooh z8t@dYcw1XWgTaod+GetVzmLgsXVY@O9E896`n(fi?Fjv8TQuVNI!a`UCK5goD`;KrHsW{o7}@Ve!Rh(r#E8 zkM-dF>0%v3zwT1<6;e-x_n^Lt%@+>xasnp?=A-1(JvlU_QNs!Q*IKNNKbG~7pdYs! zL}al26ifGfTXkDx<|8zI8T|6BMZI{Os`#_Ic=dEp=eCGVv7*<(^OOH=77Y0qWCq3E z5WkXmI*ReWm%Hcvm|Qo{vd}3n>}JHmIspcVb=x0GC%l|L5IbVy3KaiQxUBmh%tjQE0FUUe| z;I85(%ktUt;}tk2!IU6>Tba=)G4))s7f$cCaeu~jI8tqLr5@!D{vz;J_e|S!a;0$2 z2JbG@R-(0ut&x8C(+Y zCn)2!r)XDp8t_E`!K^IDB&;@p3JmX>k^8pa^7|2F7*B=)ofJ*YKE z#$AZc+~mf5oeJ1--@d+>R-^1=ufoNqxBkRL(K}c{JKw&Zj?9h?TG?M?4G~)=NoU0) z!!TzBy6|0t-`t<%YQC~Y&|d$<;EmqDRpPCEJwy+HBm=n0c!2;y}drI^9i_S%!i-x~nM z84PRqN!4=e)l$6CcRFn+zFB`InOU3L|CasgVU(?)o<~AyUi=nFo6%g2_?rq}?bFN` zf6^b6fdKJ&ee5O&mdWLyVaK91_j7Q%vr_p0Kw)OOyC(CeS6ZWx0Mg!t@zT9a%;>6l16wU_fZ}K9|z_DvbZBxnZ%9X_0;!)Dd`B8)KNxeBdac3B- zsRS4@GdyXFmQZTcoK0h6&Ao19LV`FneG7Aed#R99Q2WmxNt00RvrGqC=)%WVHQtuG z==vgTqEDEa)=G7e#A&_X*b@&V+2nmM=ag?`5)X6~ofcvp$ zKRhV|U=x_$3ih*TnG=bqmaLJ&N%mX>OZ_UgF|IwI!R6%l?hWkt@^Rz~kM( zyw0biz{>DDlTE8oEl+$%bDRZ9dG1V-z|t8|({GwqA&=~nQh+@l)^ekn9IIWzEt!?_ zJ`O_?>-5{sdEaS5JkJWNvpU|bn0^%UIDOCDu(SbT_^_!l!7S#^@K&&<0oRSxWSpnK zZ26PShDoGA;-6uTS_@@!J5b}Q6rg1kO$yizMHn-@ zlnK>>Ds0Is&@)T$expF)ms!eLG#Gy_&n_9X)(S zl%5O8zyca}q50G;PS4&kZ3=YkAf%AY@kE#(%WWhk792q&uVTM6z4+8#yZB|x#xRxc zWO#rxVcza-WXhI*XF=06R+rsVYbJ2Uc4-2CUrlwV;rEHw2WJWL@z(Bty{RoD-bRqW zeq7aP_vhO$zL^=>S#s92elwEdai5N>i*wdc3!pHI+?T!Tr4rFNIPs-QE}N9(+F}56 zqcc|ao5NQW3Y2So8{R$Y49E?bd6KGu+|HnR?Wo>0BdQ(G*$=n0v!K2BgCtt6!?LLY zkt!bH*8c^@u0P%fa;W?t1EcDn!_!*{-h)7rs_^Fnc|)OBZPEvL4yC501;~+lPN{pej^= zSPSJCI35gu10*~PP5`krFAmb5{lAZE%`EsjJZVbg2~sC1H#;`lfQLwk+N3Yq?7N&U z^Pa@O7uW;NGBc=b1Dpnujg^fDv>OXS2m06mhXWorCI;(LJv7F3th%q0LbX>V7D)T% zQLT}as~9HQW_-R9B~i$EZju9%Bur&E2&eqFJ0n{jBA=$uYZlKRGI<|vNtOB+^c*^Q zQB;$Bb%HzZX*K{RIZ16Gr<TE0^Hq z<~*COmsvrQ)wnl>cJYk>gx`;3odUF)L^DkZOJ=pfongGgCWE_8XxDavi;6SJ5eK?8 zNQ3pa$Zw`I`22inYM8ohXSumWq9%=S$ls$?3z+BqBFXxK=5MSQterDGKXSN(OR%Ja>8X~uJY(&Gb-*XQhMKfiDE&S#q%v#_k(u!B@jNH})_YOQG;?;X zZ0s*lj0L)rv2)&fV@F#dIA&mT39{m|E=HSVf(qYXIjCi4qq2!_&|eYDy1JjA2T$xb zBW84K$8sx*Oufys%&>OiXn}U3>94H@q(sH8-&}ZP3hdJa?bD#w;^@t#75sD&)uOz@ zmG!fwOGAUZafdJ_LjWFg)&vG}76*z`@!?5Ngh|c<67cs#_*57c>luu&H31XYbRuz%-;~en znu%Wvsxs=1m*#&tH0PU;_;x8VF^X15ecZP03`1&mgfcnsOoTdatRWjmc>0hNC{^{b z!Huv7j8VUjKL~Tm5b?i%HX^(=Yr#r|1PD`_*!th@aYiul0V*^_6lqol4j)Etz5sY- z&^Z6|EAQs+YGL94|KraN_`eIH<;DSa|^D|5M-Ia|1fk45*B5EjxWPLQzHHyZCqk16qtN4}(j6D z95yZwBs$-q*2sc(NU+~BC<$}QYF~F+MCMOZ+gZeUrJvPb$w!;l@f{&y?UC)x^^gej zx%gm=U_1%Q4F|c6U;RICv+;JEY_F;<6(5^{RA9<_t*yM*>}+iv9UK`Q{2i=o0_hz5 zEAN9!n|*V5JC0XCb0lvdf3UqMkZWjh>b@(R89NUM_3TCq<|BuZkj-%%pZxoyC#CtS z%HPWu)bajf#g9V&bD;4B#PM{~$H>0MINdCxDYcG&A*ga|Y^o?-Y^s zRqpW50$k{4cYV%gelf2P zY)!4stq#5zp^1TU$PvttJWc_pCgv_#(nBH(Vt z+@F9yFRDnNOzy z2xHY(ls!ub*0K+n8)raT5U|io?%&Y-$rYF`zjZaX?Tc+`36^{!LW&RscaQR{IC?IU zurHLDUbHUqaD{#c{PXmT{S|a|pz{gg3Xx|23D_=M{Y28)idy-A=*Fn~g7K%>yXG+m zvdqmceg?SUuCD}5=zr$#e(K%T+9f4p|>0|neV8-Q*u zUo`n%(AEFgZ8rb$+PQrZ)OY)RQE;C5IpqAi+vM{RAa#}4DXRD-`>-uh_HIS@)#Q}+ zl{5F{r}q)QsGoISC8qnU_{!-Nm_`d`ki{tEp1uu&8t-`jINJU?`O*T9?s?h}>6Dbb z5bDHR*+vNqzW9LESxImEqle^a#MfeS+k7KsXl)&*GJ; znSEpLl<>vlBFg^`da0Yj1tuv3=_=-4{uxG_-Xw#9!-8&xG*`x68<)E~eWQX|!vYq- z_BQ%#S}T-iw6kfTeZt+VUH5-aLd6@OHD7=oQ+`HM-jbAcqs&aMG3WydXU_hbk%FAT z6~NvI&19bv!7 zQVGOeN@Hx4aN>CtD+-3f=OJK33-hOEf$z7H3A0!(H{y4;ZGL=TRaS-Tsh5mc`fF8v2+P-k`zpTfNdy2mAY-h4$5tHg>^DH_9!&%HSfs-04ldzJpt z+Cn2yuf+INBzO_Zz1z+7bo_!KC@51zxCQ^uNv-Kpgx3X`3Ze}aW`QWgGM#PHnJ92z z%wQUh&HY?BNSQ7OQj#ceiM(+)Ea$n&u4{Zyv&UJO_9e%9u!>~kR0sxlhe9-Su{ z4z0R@<1jB9jwe*?;c9oiBG95ivoHIItSY@te6geDg3kA1@ks%BL1X9LxUt%&<>JYi_XHZn_? z#1=nP?%jH)T@LEs&6yJC%h)f{v{()aK`O5_tdMW=za^fF{O+L$yUwZT@vas<$|A$eXz?Wi8+gePN4>9Dl5hOu`U*vfGb2HbzqgU zPK`w8lRCON%nSzp&(^pAInBr{6KG+Jpv7+jm?7D*A!BIihaC*cffuxKncX(yFK!=a zeg1A`X}Q@z=x6d0zFn-<(<7oR?Fp2hKjay-4#Sdw!Q?K~iN27A1ygz(NWpAs^XL*J zx0ko30rEbr;f0Fk5Ed)qjR7Bek>5&Erlbc)E3DWD8vp~GrAe61YP<3j8LFe>C5+6L zx`#r5(Y+Qc}J z<+7YWB4GxKh13=pz7hA?!)LcZ=-Yz%3Qz!<^Wt*2ZzTVxlU!HmW$$#@otq-aIu zfRi))^{4m== zD0{}JIz5hcSH@&!h9F8+LExqvH42_DS#2+nuCBP>WG$F;Aghw_TGQ;er2gsee(gn{ z+g9MEVc%bGhlnx2wT$p**vfZ0%D}sO0m8!0fNQFYKimwzT#>#Hau^b<-qQTc@N)k1 z1(9qL+y9J$KN4;A+S zAZ)acBgRxCveZ)YUz%;xD|A+gDq%UHVk69Gx+i zW<@BWp6W2;qx$b$C_-q<5%&soq1rjLsMe^DCF;;&1z67a=>^(y%uv`i`<7>`X%I2l z#Ii&h^1k-@L`NP>d`eECNE{1fqR4wy)O|vAs90md0^rg-eU-zEIX+*z#f``4uEh{njcy(j7XSG?aMKoF!=Acj(+l17NZ=mUo zn2^j~=?6^c0Bw}(OYi6r?AA_ZJ4DziF=s}~jGq_b6OB?}M|qIxXkNOJ>T&Fm#Ryc+ zGsIE~X!-~W=NoNy9UR~)VcDj%WKo|e$lLN9E==zD z`GuJh(vku%@jhs6z#;hr%yLth3?hPXTh%%!8PaTqJn`5)72HS42U~hoRb6(pgyC|a z)xBZypZZiQK`bRXOfIV}AhUT)Z!4mejV#>foN)hLD88%?Cut$0U0D=EP;V^HNW1dm zyK-2Y8lWNjrlUD@>GGsTW_q8!9a#y!IO+UUh-=HV3{yn~^CR>uj#VG8p5<@Y-+NwibRGbY=kK0Jk8znwh{D3n`8#se(#=0Gx` zK`NY#Rtjk9ra|c7)>TytN5Kj zp)miwXuk=yBZvYL=q%3_!HoX4u7H9nXp2*zd^qTFmeZVk1@6Xb=O%pOJ^79(-syx`=IiqG5-2TPhBla0{=qzEa5QDd|kBL}IjcD3LF>r~TCfOsl5oT9*( zBG_rFrJpIm6U=;cimC!)WqP&x0VylTkkkc&ibm+shgxmPm!jW&37Hd7Iz1so=r$*d zgZLtJVmr(@u5Q%Owi18FDK|CLI}38ynMHE#7r6;PFO5wD6^N2qIX&+QSkXzNCpN zlY;Gn;jmfnrmNwDke+UGxNKB&rxK?Iy@PT=;=_hE$7oIbbsNcGTEj>AB~bMSt7n^d z?5n!ayqUOnAVkjg)cp=86}!vzW?Hg7VK~|F4iQy~WkNN8tymF%AZd57<}}Rw?yxhe zz@ca!XzHh?P$w>sPB^SS&wU0%idi{?*HHDx3ehynaT&tjKmcZL>7Klc()}CD>iVhM z%?^`Xn>HR8aSS$-z-hgz^Cd4_tN&FH_Eyd0J*FieH*IFLDrcS)xvo5?tJ6s#=V z2wPU|Lc_wRuju=`fOE%9i!*m>$UiII^69`&mH%vUnH0zm!;WpkciFqK5U2N!`B}7v z3mi}OeV7xpW8A>)OI!F$gN$(dkoFH$Bb=A*8bp)S}LyuWY z(*?@7EkiyruzB8fJKkPYbf5PlGNf9x>32?psM87AP3=TSl+UbkK ztc;y<>jYW36n?v^Ie|;Kepj*ev1}FD;RdfF!j!?VJcV%EyJZWYj!JEJQ0-~zJnm1L z=qC+r=jUp-kM`*`+Ln&%E;}Hur-Ls`bfSH((Y&?N#e&%OS-C)(^cMrI*3W%A+y}m} zk`}U)y=X>-_$_%b*u(dnOax7cy%)Up}_r6P{%Al0Q3)!=q_loG0>xp zcF?MC8RDl~`PdWaYM-mL2FN+RDw3X%Jk&7J^hdih?=0IINkq0ZiBnR<$SBy>>Xx+< z-I!hfMI`h9U&UWzm;0Q5TufQ~F1n~<(~89jaSQp(Vm?Bb%t8s}W^Lz3gh<`_+o_h{ z6+Vt!k*O)>9M{Y-f=E_pLyGWB{o%{(&uUi6sXaZjxn~CSYv3=$HHbNpbFG3; z203PYO17guB7O1JWWsl57irufV+UynGqi})s_W7-Pfh{Fd2Dv{?o_0@h&e%SLH~iJ zu4IcT%M16?E{=t`+`<`4ra819ix(45S%fFDM+#8Z4^|apMamsAPzeWeG*R~nu7c0| zV$4#4aDIU7_}tu+bD*x0+;&aYKy;}QesT}PkM=wq7ck=G=cY65X4aB7^a5mqoj$J# zA8^LLOC_hZ6H&7#d9o~e-W9*le$&_$#f5puE)byS9im0b38YV_z2{>4H$(MJ7Kb+zpW@a16;M6oPL! zZ6Kd+>~QkPxZrK7R?s`0^i`x{A@?1>i;)93NPt4ToF3c`4T-gnA-bJ&lZNR*5e6B3}415IKK3kWqM_117{8w#a z>{cd2L9MRGM4~~ZmZ2e_j=zI2;Ar;kxs1%jDE*7q8*>{b{N6^Brh6u|-*e8d_N*Ax zb1T=k7~Oo%OW4;SpM5=yGJ5YatG--?)q(V*2#gXXazHZ4OS=OO)3EsdKb}GlOo^r- zsf3(f=Lzl7<(N1-)he+CKn3iV=q^?>sMvDMxL*{C_^fLj5$#>UO4)mBfk>iDwL4bV zdvzl(E2_YZ>4xo)>HCfvX_n)dn~*9i4#p@tBj0ML0m5@Ads}QcZyaI|X_ynbBJ~tg z(H#}mAdm}Yi~j@DFJ+!=0_ptKtHh7UA63np3vJk3JcZWZfIdS7vLB@VSwxxVyuldv zmz$ACl&kYf3!$rN8UE^509YcD)=$DX-hA)V=HWa2v`Qo>`&V51{5~y4D~EO3N20*T3QWK_+7-qCLD{$Sl$GMIAjTvPgAR8&l$$cjP^o$+yS_(N#y0 z6I6zovx!9wQ%6Y*85Ee=eDDx5MxP;52$yNOMc>Fk$7T8kWNGvD=Y+L2-(i7__=@yM z1J?3@GJ+mZMj$NaQ4_{`QVYtdvxbckHiq_+yhhE;XV=zPPPN{u zZr}x*<%CgC`WhGQj#X`W$JzGP%QjzTfT^0t<303AyyDoHBZk->7*@uY?B1L-)NRl$OHAHitv^bUL{k^5ASypPDmzChbl+Xt>T-}SSEV@z;kADV9 zC1QN8V*zB8_RmtC8aipoZf5&cJKuiQT!f`s7)VVjr4O!bt)gD+w6I+~$4;pG08J%@ zeCqS+jrjL<4l(Nc)4hw^A+i8=B_Mx-syQ97h`ChLu za;5wdY%;Xwc%uONdZg1wCweybC%KW3@|D>|2aU4Xh9BER$lLMyVcs+fd7Xig)z>4}Sq-qZ!o*fjl z>hA~3f`KTRfbX+ywyd(Qx8FNp@*hn|7rnkTp~xW%V;lE%hquXyO|VK0m^v!h)Q3^U z%0GwcNDH&TT-0y$$M=lP(s<=-97v$g{Q#4AY=9n_kG6Z+c6!|fjV~bYr=J| zBlq;#c*J6a2eqn`-^14tK5E9ba%MZz!hV^)7X)s0-5%0d(+rLsj@TLP3|k&_tV<5? z>f8-l(WopTAdz5Z6ar1?5Ohl1nH(6F)$gfoey)?^yDXKjy;PwgD6<)a5=dqM$#>$G zE%tLwwNN##I9Xr~yWX*xfZcVM$-;_=Ma923QO^`)yLDybcCN}74F zWkHWRj@t-79Hy|DX=${sjm7-(-z)S2iWT^Jt94~uHY|Es(BmJ6m#XW3lF_tg&gTb` z&g$P6aB|?kv_Cmy6&q5MQ71@9$;qcl>T)n>e4F@%tVtYgNZG-|2lP{x)h>P>U#aP1 z%3T^FA%KP*Aj&PKe&u$bQKC>L&&bFNbzGWX5(1&*^Y+gM>{2I3mpt1$SsoySm7#c2 z=B5SZrFk?nKdQBQzTcTgFD7ecbLudv73TZvuDFB>i6=90%r7@Dw}!Yu?H8XM-Gi`$2GmW0XqpmV*SWHe5jc*tF_#j`()yS!^=~nOdChUi8_IT^JFv|7k%W{ z>tkbM`gI+nWgQ?Sd9>)fy#PTMkPjQV(Gpfs_US7jgh5=J z2nuZ~>jsmu+Pd~)V%FZgDH?Q06({YXB~nw|wyNPK zhehgs3eiRnI*hx5Qdig8n5>SAae)e0c-@P(<|LGGQw<(xajC&6kX@HA4D%Hr8C;Oa zFB^pZV~JY;eEpjcK_z2RKI};$ifjyIB^ar z4B{x=dw*b8eD9l6^7QpzCAa@fgwhm?t>casc3!Xpo@KGR2eX%Bs!FtFs?4M5B2r^K z{4E|JU$-+j3yI8~s-})9lZJs}&XH65VJF?6N{7Std=sKgu>N;0(C=|}rdx_skbyWV z?3ST~rCr|E)(xBe8zq@2{f7l~sttU*LITD6BRZ}5vq{6G0ugt-;EzEMqjk(*eRwDr zY!M{aKs)teT>Ef`h?L(hx&!lqFWe823%T zyrl?Ie_w`)&;zMIanxgwK9axRcgH3gD9ccWeme0bfd6#!(E#&4Kmg#V`~mTFB`&Yr zDr<96NvGz- z@Pi*LlzKvSDKV)XW<6x0*TaWaT;m)6?7}%y??EAdlPnARhLVp_jMGCv7_zbF!m~F1 z1q~(zF{8*LF)cM7+!}&&3HQy2x_iMp^>#vYEMPnWl^~m7uuMN}A1EUnAo>+E zua^OVtW0NVG$Te|hO2)x-_gp+V+H9;e(=#8?|8_??w5NI?V?NgS`?7@muenE79`Y% z7Z%xnZr4Ql+3aSc?-!^Fxbtn`Ks7HpMh*K4nt)P$6b|Z=G_4DShmdsV*7>h4TWBZd zKT~N!sB%k+GG!-RqR=A<(2+WyC3m8tZPyz$XBqe!Jz3*qmlyh_KEZB7oahZ}f`L17 zYTPQi<_w%v5BID%kzoGxb1}s5*pvok0}^t7RI-PgyEgo9dbRrCz#js>)_!+%WyAa2 z#Kc194uMlSlig@`Csl?XMO!Ik^q9T9FIo6ZkVzf3@#|EJR@cKhaD4NIwmv*31HsWf zcMLbFrD@^1<@9lWMk1Y;J0m>)MFP2BWQJme7xhg|j!SQYzj)nI(%bbbX$k{R0la{J zz8FhtW`g|6M4W0VB&J-FK;$Bi*~{1EQPx&Zwh&s3&Z$}qD*q85v%cs-d@y+#UM4YO0WEGHNPRp*wIMakF+{QL7)mUtC zR+W00yyCtB0KQkI&Lbl-`O~)3Y`#H%z~6_6S;%WIC@0tWvCn2t;nv3k*-MtS2F&zP z7SSzU0j7qurH9+RySZzO4#>GBBrb8tN)Y=W9#8Dn2Vc%B87~gVM3gq4n7%&JE{LQg zuhmoA9Oap`FlurqN*`z|wcg~b(oYti6qu7)Awn`|ck(3T@k9i_B&0hM#YN(OA++Bg z_bu)`JyJVabQ2)AqTY{)cqD(FTbiipnLmgvGxK142@_lzF_;v zai;;-xty-%ua^)XdDqkv@v4;5$eB1QXj)a#l6ffli;>H<-+gXyn9}=vTV;^eNYv47 z3F78E=Dzw(1kSo!!4;B=&QoK%_Xi5x?3NDn8B5NIbDx$UArMq{QrtF$EC3lKKArp1tb`*Dt}bjEP`z*ASW40aN$NQ^<* z6tOpPv4cxNQZ?K-4q|uY#?)sS7KCVo*580uFs<=X7U^vDt_UD-!2Y%Q=J9LUU-+_q zcsPip29|Jg%j{f;yQ#H*C@t3dS{rwjk_yk^w+8Ww0fx-YVx0khu#$^$H1sK2nvCyV ziiE@A5E*B}q?Nu|sabc`)@ZMdHkd841N9IcPR+HpQf_41+w1{bO6A6Z1yl7>t5Fy` z48jBbE)cGtwIjJsd41le;Me_iv7?~*K~ISJ5cW^PCskSIRZGu*M20l#h!hY-H1Wr? zy>!p^hhhZ+vEpOcN_fTw!voehXZ=ZEusGun6y zPK{!VFL)5OJC|&K7C@Av3p#A>GiU892TTv|qAwkY)_EP=45ZOuDQH1o&YlttGz{Di zm>{s~6&%BL6&&CrmlBmB+f4?HQ(o2RxtUIF(5UwlJ+sH#P7%P3S5LI zQOp0ld$M!vg||mqAWurC0C2XFxDwX~SX(9`i|E>2CG8fL0=;8m;Xn{PD-Yp25JavQ z30-Iz<@4NshmMg~ci()%ZjRxyevvs%;_>&lzz3$Xe7N4$eN=-vTKXbC$#ej1<`}-OueNY|&~Jw*#JUnKgkS11?^YMF z3#E#sTEa2lLOB9SAb15HRu zIRBM@sXKwoV;uwif?q_*nU!$xO^3tH!%n@nMrx!I$8zOL@T@hE7S-T0XUJ#pLN^g# z7d@KruQ*GvH&Wn%f#*Am@E$!`{2quUH+=D2#xUn`%A{3u=wj3B#{L55E`F-`L%q2# zF1A8O^o%B*$l^(%rI096oC|LHxKu0cGe~HE5pthvF<_>qEG`WQZP7BS$IaMeYR^r} zLbUE~I#w{H?KZngZ>{J?r5(&l@oW(4vxkxi3r8bi#SJG)Pk@QQ_?-S8tk_hdAvI(Y zS*H9%bL=l7wL`;K##xiPwrH_y1$C76dVOz5$(U_wH?Y1od#Q-*#2LxTMj!fTY!*O& zH>J)oezrGycX&`-#k7wMUy$x1*T;+l8@|x$^<%55rg>9XJo{3M05iH3D80cI>ZUG2 z>%KveZ7`>EBHtmF(gvw?X*%3*Z>8ND!V17tqx02vB;oyDzE&`Rqnt;IMS}LD6+k$w zoAcQFd0eHKJ6ajKLD7!UG)ydP&UVm$1brFZ>~!wDE6YGg6XbAQq@?osj>GnY*i5f? z!FQYQ^{rcO(mKS_U`5Ql(=dGZ=82`vU&s@>`}n4eE)3j$*N64vbCis14wXeDrIYyz zE5cKSgA=kn%GpxlYJ`|)EhQrceH%XA8k@o!s1u_z9CCcoF=x_?P6F17D19q`a4y-M zgDjW!)|20tKxegf2-qIxIhYG;makTe1T>~Ab{24~@2@`P_qX{SGG{Jo6jBiGMhx9A zeTXQ~@^xr_CeJ5shfL$Ji|De47coT|Ez2#jEOx-XYQ5JFUzff%^&Ie=Ld^V_$TCG+ z)CiWIc&#wx%R6CB8(3R;c4>ZpT-iJ1D}Sf-`78)+!ksLQlVJbG*IR90L0H3J1YLlv zqF<=Sy~4Z5(VV!mE=DG%yY+fz)%vC#^%6|N*UZ2j&xsB@ipF;@Q4RhpZ5A_kuPB!OaktNQSyhxL7!#n&oU?w;D) z9cg_2SPu5)rtb!Ze+v-+Ltm~H%}E;*iNH0$t}hm=HRpZj7gCcZM);-{Kgk`aG=i8j z32Etd6K^UlHos6KjhAp$Hf@L%!m$C{#I&F~S;N}7P3#eP89tDICG|bCx<=v))YVd1 z(f)D@DG%gGE>mqG77?XM+(xx%=5wk2iyl&%&=gwbux=S8SUFs@cuyhetl_j@RjR%` z#@NObp9^T8H>8desNQ_-}`cP&uRoI)*-SVY7{le7X)?`eYfkBb$ekDjP~mjZ$1 zfu+XF!pGzq6EF*=F8BZbNanHn$Fo+nb?mWL>v4PYfe0{;7<$nnYRI(fMI~n$JsA+E zv-1f9S})E(xu5auNB<}I(|I?C{#+ILSlYA^ftC=_*+T?>Nft1lPE~Yi#hS;lg;8iy$t?;|QeAD8NlZ22@opaH5%B!dKkWFf{U+ zDsSxj@_bjXKXyb0)FjCg`I6tJ`91hT@ke&g?3%Ghmj{I+l$W6ID>emVVi^jct#Hz{ z{USHU)$n84AAo*s05(+&9OiM(g~n%7C0e|XxgGR>;5+0AxY#7TII^73;wO{Cb}tQ` zTIJRHSWJX%s7ZQAxY+Tm?8-a^ButWMKaseTBxkrqnHqg9B&!Y9bI(Q`d2IC$xP`PA ziAZz&+&MA8jkJz{6jevkQE(L?8u8r30jGnmQFfqDKS{>^21i&iQ{U?cz7Qm!QNz2 zlZnGzq;aM!adU-Y7L+DdMO{L#SmYLeVmHn83dbVE?F&(5&YK$%f|*PgBZS03<~XH# zI6GMLxrBzEop1CAd7N35VV#Q?4xt{LHA;qiI(#$gCMhU4Tv= zn0ctPK+w9TfMx{7TTp$BXvnb?F4H6^eJ>$4x} zm<^;nd$@~^a5B~(`_1|g##Y9E7K|XOq`9!R*B7ck?Dj2u7_L7w9ZFxqnw+36ko@^& zX-%sJQ$(AX+@LyX3kX?x?8nCFRkS|OPV z9Wx(gruI5Bg>Ypa;9}T-n-HQX|A_1BsY6`&5xs>vY`Fm(346cV7nz?`F(fgba$xDjO@xN`4E%<Is4ppuxBEMThN4Bzro+&>~ z6=S|I2~DOj=E<-I6;F$2UELTZbIG_2NNhjD+!V369XsHz8l{n0A*Jn)6uAoV^Aa#f8mKx3+jsBkpM@GPN$GEfZM$arPCP1Khdg^C|>g+Leu=D8sU8tq*l3xDTlmhXu=GV5tITG&g#T;>2fT+XOYT8XmiQ z%Oli5n~w@N&UVVRkvUb;=b~qqeFypg5crwzR(JU zH*ZG*{*cIj#6TbCrdz`XP<|!KoHqQi9;_^Y5_dflDUlO~oZ4pG)^TWajph*X%DdJt zyxWX8A)0+J9p|U#K_84-BZRxgKaZ63}@#vXGDC#R!X+VQA=6%d08*K^<*j)z}&8TYy@=GeSv z(P+z|2X*3w^{RU^g^Wc+13Mb|3#|fy3!Ht^;CS>)oRA5Ilo{S+#QGV;z)hbTc9Ovx zAj~Xt=1sACxqK#$*=2CG$Ha+tp=FkY*C$1uKp*70y}%gKzcINEZ0K6j-RyIk4lEZ1lw_32MmtL z1|D-}1VqbRICd&2Rk9T7chPdj+=IiQUjlx3c(tES^jsI78BEQ^NP4 z#@ri}lRZ0w1?7(~zR#4_A4`}fP*G?LIquMZX|G4iaFkQ*F*Vz87L|0Wy&>_|vq_J- z45{MEgxBc~I4zG3M*o6wi-ttqqM{$OQqMuBM75kRidIRXAapsyh6FMo30kTW#zp1d z21N3q^2B*_6SQv$x|6`W+q(Nwn@cUN?|Sc8WVD# z>B}V*h^4OP&7x8tchmit>D!p?#iGl9O>Mt9 z%Y~eWv+*qnqj{&HZPlkix75G=P|;i?ZR#2!dvY z=y^2PVS7UcTNkCiM!LkEE;aD#2{6LsZaLY3&5^b_QTA zM>GRG$(8vuM$5bXghP}nMz9Xo-D%nIA@SvIIiKLjO#n>nfvBRm?7HQD>ut(d;b+C4 zTu$U8;93Mht;%PwS?7Acgy%7gFzs(M6AY_ay1pRyo9ktd2Y!?b6ExZ7D+kakMj{qqWiKw!%%X= z2&UH|L`mmq{7OEZ`*^s>jxW`_O{C>Zafja9@M9N~cyA#&_fuDY+_*#?^7&;qxPIo> zk6j{T8Q|Nl%{Am<)Y%3`xYBPn5ig!{^Crq`nWSNl`I&OfSMbH>!TuqOsZ~ds_ydaw zEzuPOMX#RjN}NdyN;75G|qdgH6yTwTs<%we?_&u zBhnHR6LsJsn0tbMleD>7s!cwWW5~N5#~o3PLkKhwY{wX?LMk}$JzlH(4EjwPv45Ed zVPJYV=;5EmYJg2R-#sYE$ca33RLxuh%ocD;pxEg466|mmp2_`E`GAEObne9)r0WYv zC%4VZH^SmL-~oo+z?(r2X<4VFO8D77Ze9MeH0^u7^fq39iHXapgIHA>g2oq6ukCqu z45^nDF;w+C74~T>_fR~mKMyIajHU?LvP2{1FuEgSb#e8S=|ikOD-|6D@_3EHF-ozM zva*P%$->YUcF=YC4Hfd^-<2R67b75RQ)qoNxUZcXpw_W<;fisvOU3yHmOahOh1vG) z08--WmCH+i`ujy#uw?;%?P%E%tErl-j8NJZAg|4%)%C}Pl^y{IeW z86bCSLcP4Dg#sIrP?;iT`rV6$qi62^m5tX@U#C8Q`@^8e??Al|&%wztxUW**nk-Eb zaHAI1!DKo)*K+Yb5fGRYva?&DyogqTVGt^;(4HF{$nqO;!_1Y3htJC@*wS5`9{r%(3-h)|=yh0}x`%QAm!$PVg&*nC|6%3yw0Qvs5VU z$mkNQj1MpfS=SjksG~&D-cLyu>X(qt?E&01&be7MxfmSQ>8Eo}VMV?Kx|{B8d&n%? z_w~$C#^*;>*3IKAr#2-5Uw>V)A5c~E@Qs-Ex`R_pW&3w6ZL9Xth}bwZna(Yk*e6TuDQG*ZOF9t2WKgc5{m!T)8;6Z=S;msx;JL86W|0-CWRmP87+o z8o`xRBEQ|;E=^N!_InfG9v*Ce)}({4dLsn?)o>#~MXZbEX>FG?;f{XZ_VA#D8{XzJ zNmVzX;VTDqaPNqsLRxaW4@a=+D~|8Az0^g^9&EJ^;j^h~_7n75Rz*9R<%4APsk%#a zwewzf!feA&dLJ@*_?R(A|FK+E*v}W3=(ge&uI`5UmOXRLZhO0yx!V?hn@!)YacXbz zONOUm#U$${yKGaFB*ghS-DhZm{p=hx=hvRpPZ@7$zs5Qhz8$(q9pC6MNU7ZipjeWB znt@bsdWm32ZeY9~$hx73Iu|)p(9=Lc3DezWXG30W(IOYyM&tl0>E9<3k=2C>i(UR2 zTIQntjs$O9*q7GkeU<`$v%ObZEQR19AhW10Nr9@ zEZ%x?AQZ*fDPn&{*S%>)y}5s4I*3EEON^$~@AsND`~1;JanUzSMdE{x;$N*t&@X1a z1yT6@Z)R%rOH`UhO0@xbv!a0-iP}byk0?~ZfhZ4ewu?dVi5a^eBR#U@Om~^Uzv@m2 zBz>tGuXiN$HI83@moi%YzU|JCBOKUK9Q<~2rt95=&1KTJzuxmXE2t0+gsi;lUuPJm zFK~J==4VV%NBSZ6MI_%miG`xX)+4NNfA7xauA)pDTB1FqxaRBH_gPGI7j$rl^bEQN z)hH5s7=)zCZR2V-Rz8^G$%|1<7JIEc zx7!>hRS5xq^XPZppj1g>3YXJvMn+I8p3;=+H6yrRcH>S`t46YBnM+H6udkl9@Ss8^ z$snzQOhTH6@fZG%&`b_)neZQAZ{(2IWkb1iklO;SS(Z~prg&Q0bu28DLLqWE#|f>P z5I3NiDjAvO1#!1^aqD9Mv7@BvWbiEfVm4?BZv(@B*cJs}5!J`!>Yx~!YE5`7z1Gy> z@bD?|$qL3;H;*__sv&FXT0mE}NqNCiXs-`@S4EalmAl#K)aIF$sp6zm4}7(2Jf)9Q zo)!m7hw`cI!2>sru~Bzna~?`?u2P|P1r5%z;yb(hp&TvcL$+*H^1v{aVOzUO@a3LY z=d$j9L#J`B{JBkKJZH{5o?xxr(*PmqOt&2FhxFoypAa__X^K5DV3k&8gJ|maXdw_! z$0NIG-BL+UtY6HmuH2PIJGL+u!&9g-)e!_|sMuJd`^N?>!%f_gR%br4mDm}3^_5{m zvhS)3;>$~;Wyj_349oTl)&z>IX3#on8x zAxDhxMe?kC#y<^Y`Zn~Fn+KYr2@Vz+Cg_+CRdm>zQ-LA0I=C}eK}&rL!z)DAcfj_4 z#qyW8$vzrLqS0(rfJu4zi;LWMMaadgy`nl#t0N<|NviOcx`m|RglJ5kLdOg`@qord zVauQG-Hden)#6_O@|Hi_f^Ge7!J~6qF$6Hv(hOpDykq3-qLn^am|ynPVC*#MetI6B z!u5D~dBA7YrTr;MI+AvfxJa8t>`FP zPvUb#d8h&t=6zM*RHY)lZVC!_^g!S%mYLFUEqLOjuSRZvivI^3-xlN%RgnOUBeUmgcI_&>~vD;k}4+JY+B5->@vi5yh8nNABYAN@nP=-%*s$Yp0CMUS^DnhbLDf8pG z+6%^z$yc(rEAprX@xmZyPs4{3d!DJ+>1PT-@;BKM+GSKPClk`&@Jz}pCggY3YMcqk zK3?}XW<(Iar_+4@UjRA>#rQsI=@zhmY6D?F3=Ko{ zpqZOF(bf6wtDnx}b!);MK4Hy?D_!Gvc?e=&8j;=R2Y#3YUqdS4()hgKI*vA4#^J+A zq57tQrGr-jqFb8a#HgnTQ)}d}=xv{Ou^{XjT|?a|k97rB8H@r-2uU_qmqF8u z9`?L6u9E2+vk(PZ=4MJ zR+B{j2JoEz9tl zJIm0UKyFb|>-7fk)dP`(JG>$=xW1}7%q0*FGJI0ODpppjVr_z|9L4 zD7{2Y(Xj8@_GhUW7ZGXLW|$xDjY$vTUc72)R!4q|eX8-UD5kPk`KC@Id!FR9*R{=J z_7=d6CRU{9Rcse|UD@t6u|T8BKFFQD1L}C6B}~TP_IWbZm z=~49mbUWZhLfSEZ3*Ce*f=4)uONwB5*FD%vU2|&BmiFfxC&uKZp#phZu*~SPo%oy* z)|R@I+G(Qqh;vHhi*WOC;Khik5-85$T3`5aaDzt2(G5J(b3y zCUHXC#0Q*_|4U!D=g}}L1Lni7syhDlZs8RoQgF7qiSS5&CU{Un5t~ojaW;kMveZ=TS?4-sV_+I7;FQ1x|=PT z*sdbjHPFC+s_19M7(uh20%j^rwzg#LX*)gWWd3(l=0(8hbN9D&NU5NF463DhGR#lg zO{huO2Bnc9YeoAt^yMacJg1g&~TWdLdI{PT3_BshUMk2J+tHs>EbP&k-U(2 z1IJ4G)^~MrVrsTi`1#llm!yRl-C$1sXB8&BtZWH?CO(j#-NE-t?WqDZlJEgIan@~j z))Gy1xJ)PMHslx7(?XwwjYOf?(COZb@(Ba*kTC?rJ;=x#sMeVDMMDM2xJN>mewzb)zPsfJeOm3H@7H@LuprJ8{mjg=~v{Xj=}>C7O$78~1VE zkhv_*W+wZ?vv$4$nDs8;Mc6UB1*N!$MUr0Muq!0|s9zrdYw&Y_7Jz3SI%n1g()nU? zn?>P(Eu-YUG4y#q6zUD4<*Q){GH&!+bE64=WfhRe0(s5z6F$iKm;uQa=jjx4j(68a zdfV8ge^QT8FL>>Wf!aOm$Y+mFxmr*#e^o8V5O<;;eZC`PjS&&+|AA4Fk}F{*Z&eK= z2ytl3R?c)}gI5K*4X#S1vpKoo9@!iIU820bOedcc#l3UuakXx;nifsEosW+@QjtYBT@! zJdIK+-h-$000u*L!Viz`UHp1=lQ;Q*W0HOU0>zPFuR4-BVWe8SYh7-B?zaI#+C!wJ zW*RQ%i{w{g4Ae`Tg}yG%D0WL$Tlvg?cnyEQA$?^q!P{rLkvP~ia+=da*J0+oys1ET zt1VxNKHv>O7?ICN$LmO1Xd@(u#*?bF#TYprHue)0()BuqY?ahBp?Pn*AJiXn@WIF# zAUd<5c+4VXLmfunjI{<<c+Q7W9+LUx?xhjfpmlN=OExC{xWne$ek{}v?pWqh7 z;JbOHp7>OhTBU0J`BX>4xwsxz+K(jp+E2}*E2fO^P*wE5u1Z|%oZv8%L_BFCNka?# zy%h>6fa8V|q8O87x9w&--x4VpOT>?zzq$PQDbxd29i|~8Qd6%Ac-}dVye`luu1SKXpf_ z*r4OjOKfh#;j2~`VCILzzt$J5=*DNvi(e3T;5wqs%;Wq#pX$OnIW`5hy>Y+9EWvxZ zk-OmMa`jL7PXPNE-@}1ywOG3*l2Y;qbS*K!ww(p>&lZ}TouH@fRhguJt*b%3CR^&) zT?HYl>LTdiD!3%?^lJ`t5*WMc^ns6bVSH@n5erldg3d~VAxO0*-+o}=*%UrwI#1(r zhTE{}Zm1y{+?#SJ+OXU8e@rJN(@aI@x$K9~^39`@ACu0Rp5-al|6+qg3~yof)t*Cy zA~100H;QBU0=YUZL7Ff}XDTgBz#4lARHso`prj`>utts0CXYWI76pj5x2X*+b!7dy z)>wx(;hnCOYP{flFs1fA5pgC3i>#zRD0QK1cGzZfLn_dhVXOodhkdLChkdLDhkdLE zhkdLFw|%S$8{~gYn>J~)HEr{vADl!@bYCy2moDempBa*}D9Ms7w|H@ZSf&<|GtUfX z6CIjTo1_U%8BG+G*x(6e++qt(g{0Wh2~}EQ3vO72&vBYC#_=xa2~!;Ja+xrr-8G$X z%HRa81yJYk?yRo`}@9WFn;NA#@^)W!SQbWE_8qg2|=SIGf~&v=--(GEtnn zYdTRXWiW@diDr%}MH83;XHz`UTH$zb!%*(7>BMN599lN9X^Qj0s62oTrrGBpT`E2uf-Tkr+Pd!Pnz zg*`xc(83-lU#_r+0>rt*9ty_i5_=#nu==27c)IhKG-?l^bVop8PlqFuau1iTyDQVi zM{~Xh%4f_T0IVdmwH13JG0;!BC#=wWZmoY=7|37tgL0){0?90NvedPuvo{uL;3+)F zQ+yD#b-Q_xvEfy^6lJPv{+u5h$h>sP{+DTjiKCpuuyf1mXjV57dUc?m7p` zWif){h>O81R_kToaEwOt?aFAbuWy5OG0PKw1hoQKIjmQYplj6_lb|WEG-1d>K-hnl zZW1sWg-G4iil7|}{)+KZ@;#SN`y+QWfaTe9dJXMx7c^T7WD8sP5nAnuFQ{fnyYzFr zBiLV{%paNKlKB}!&-kO<9RVYQQW#Va&5#1^pv5PQo8Rj4svnb6)II@g#W?ibvmQ-p z;K+gc)TGA3m zu!xCtDrvwn`X{tQIE>}nLb^qSs;(S@%IM{|*2%0whtn125JB|V5}TMWFAGUa>BMc+ zMdk5uS7RxAz4TYKEqj(v`y+Rpai={zXtC?>+R9z`?QrB`Pk-6@*S~hi^{;>DEFs5} z@%$*8-B0u9`DD7|&fg72aOdsEiO%k;|**`M8K<2eGqLk_;cA|Z zZqWJfkWZl-00pBw4W?JwJo$ega!xMD<^OsLj&tY-Mv*}*cDeKKe{aOotE;!~PL6@6 ztIusLLAbUHZVJ5=u%u^zHGotffIb~x++3dnKxc#b)61XpY&^>+<8>f`5C9|83IV}`)-1xPq7)H8 zyDDwNNZIuYagaYglBa*c{73!(AWSC@i~IRQK6@Sxev!o(Xr5<3>#AbR#@ft__uTsLKH;%*#k&E`rK@AUEU_xdp`;44VnnM%9L`UZ$=}Xm0dO@|d)eZX+r!(J*A-TExBAh*D}@B~ z&+w{QhxVP2x1fJ@??LZS=k9}|IMoSPd}c#dwEuv?6u~ar@>si zWRfx+!C-6^2HOS0Cf4YcTPf#HIXMT-N89vwHeb3cXuCxRi)=U2 zYyLg+27R1^6?c|=FwMrUvupXT&%*_vn2mBj#w`1ujZ1$^PyUllYv!K!GWTyjy}CF$ zD!}btO1n~lE95C=*FHB@zl|-Vcdg*Mi>rY0Ak6Zg-9YrR_HS?BoL#;yfLOE8gyE=U zu7Kfy5WfwC?sj=A)ygYW2~f8ZbzvoX8R3h!`^TRy0jsOQczyiDQdAlX3ld9vR7O~} zg$8YLfi{1wp|5v_N6sC-BCo+Xy#e!dO3s3bie2MJ^4UAb5%{m!VEjM^Gw^iz>~Hjo zi{UVvJI{yxodVT^mE!-#CMW?~z#pn*E%^%AM zZne<7Z~aETEwb4h0vc#c=GnvD&^=k4_=nw@Z#sYPyIdhl54@B<`r#km6R*;QUOwt@ z|JDBaNuddBjV4fvnqaV?sB4-~_fUAc!KyK;Lm^&+3Y>!QuSgu|xIh|Z_2@$B;WC!# zK-UK}KM}_D0QPcjhnI)1KHdfZ%^Lg!nqOBerRg8SPq*TC;ueliKt2P4cNGkm3!tLu z6+M>)nFSTirNx9jmBJK1sDw!-x}6k%9egj#K=k$BYP0i zyw@Rae;-WK%@SoaJV8@YS=-D>r}`Jw(em zfvZ+Lo2I|r?8ip`uGPqY?Pbt6v*J~=ytzS^y{8&~7FYZ&R(#-+d3*A0s7<>NkF?_XUVmp-l=QW!hN>?P=;&Rr?E_t*E5eu;*z$%BonXUS5Ch^5o6+ z>ko*YcLyV2;+#d+ZodY%kwIov6j)rHW>mKY&3ujd=?+EE+ub^&-Ci$>V!)8( zV_7y7WNSV#D#+H}2ULAvBeGDv+~Doy&Gnmi0rRyB8JOyJo=1p%N*7>%Ct7B z7|e16+fm`;(`ucut$?r?KLC{XlWEo&x~g8m#s0ga!?TM*!PeCh1g>h_YU6g8(Rfu; zQ(4t`TCQrw+Vo7e8}Q|Vd~(r$?d`{GiP54SX{ug+?Bwm$`RV(Bz`7)2fW%?|!~GJt z&4Y?f%~~q}T6F^O3>xyi#$7K5c76Q$^zfvYP@D=p3w`$b=KSWx+1378mzSIhBR9>( z#Vd#}&aMvHnAw#OTVZLN;r=Ph;!Occw7vk?h#SRYZr*_-`v4BCi2ZAP^)j&+r|+&# z4wvzq3K$I5Sm|XeFRu3A-=4mg6`cwse|P!g-Q*`34#Vmv(`jhcIPGOOZ(iEOkW!K_tiC^OvL z>-O-1TqF({LL%5=O)RjD+d%(tSQy zB%HY|8SZ_2!WHh(NVs+TH4?#^`$7^Ss+$-9yq_U}ZSepTs78z%?VzDf7 z#2IU1qLK>`Qme;+<*$PDf5GaKb6f}@ z{lq8`zomXrBv!1bOiiZMLJ{uUS{-k#sp>&Ohuiha6mL_Nahp0o8^X2@7$m%g!IuGF zbCg>M-KuX1%Q!9JCQ3J>q-$l|wu~!X-sYEC2m*@?!^sIlG#CG280XV57c{!?(S>;~ zY4e$KZ(-FP=`J;&r)JEaD+rA){=Y7HIPnxIfj&?vqoB-B2}o}jKZd>RJ24dGxz_8 z+Tu-p#cs9eiUYSrS0|ydf0{u6A^oG*lMiDM+k*>OT5^Ien(7NOfkN< zv^tTxvG^*$MplllAc*%Ts9q9l5Y$*$DyGO**3}9-YqxM(wQ^R2q{f=T{iCZ$vSAHZ zDcZtgt@(LT!&@~d#DZD0tW}H}t0|lN*>{udEgV+I7W;+)?KDI-UL905R>vyAZ{exh zcda+bZN>w!e-20;Ss=3!xm)Dx`D=6mwupNl=2^&{rHY0ZnN4DyHb)8VtRM6Ok@wmdN zR*RY_o1(X_%Noev(f*$z3JEO3|04xCTj)&p9Yw72<#du{Aa z6Y2k12YiQfUt&w7|9K{SyEX7-t4XAH6#m;!y4@s7gh9e&N{7LH zE}keGu6wJq-6Yya+==#=6YcBe`2UUkw+Q$BPiMBA#P5#9fB5FVeML1fK~~1=U}D&B zaAJ5E#Qzd2F*1CsaNY00g71Eln93vt?bx*ZiC>h ze_pGyyh6IIEDR5>`)_MbZ2~^p+a>pZ);xZ4-7L7~TV^pf0N_R534kg(6{1`sQS0`8 zF(2k*?CA_jQaBSdD3EgoTkA*F%dYu+m_f=P%=kVuL$DS|=Y_XEpJw0PKZ1*GPUuaG z-n=Mj)O)|f?I@y_rMTX_2)41esP-<1e|B^8u%oVEugE(Ih z=$)?WUE-_LE+K{;yahrk7U_~qud+pDJBU=)rc|X+l z=|!rlt5o2W{{@>Ip_j4U0~EJ|qzd8+1vN1>GB=lMuL>RoH8C|ZH@A(i3e*TvLpeh^ zHZV0fG&ndnIYBu#LN-A`GdVXlML{<-Mm0D&J|H|pIYT)%Ff}+dI5;;sK{+-;HbFr% zIX5;%K{qr;H8?pwT?#KuWo~D5Xdp5;HZqf81So$cm}zVsR~d%qo9k=)UdP*Y;>1hr zIE&*rvE$frCW+%D&f@H=lQ@pE*s<7DPz6W>>XcH{R;X2rir9LfNC>DXD5d-XRiZx; zMFpxu5dsZWRhB=9hE^bin%*{?=k1?I=X+nntlj@tj75D2kfy1~h{f(013NLXWlqvIA?yfY z&9e$?L)aa{;wKc=g>XX%YeyBc5~-L)f{Wt8D}WAiB$jWpNZ& zYT~G7@dRNbXhJKZ9VcuCEoil9#|T?N1+4+?C}A6aSdO*~?Fiut(2mxKHchw^tU_x- zJ51OCI?NZnPG(gM_O=4_YhQ0m5Fe2CWTkim(r?MO%)xpKu*mkJf>M~+6dY%!fjv_Z5!H7 z!ZEOa9c>gXAsh!g(8kbq5Ng9twC!lxMJL^jwgYWDp>Ajo+I}>hUJtVuZ3=CaP%mOX z+F>-^nqJ}ow9{xKgfid|+8H!Gmdu+*yMZ=LDC0v$#HsQ?uS7|698LaiAymShM3YB) zou|NQv=wNBglE86v~Dz6aSohETaPwCI0G(!plv{tjTgZsw0^XH!dY+`Z6lgeU=CbC z+l02Ba2{Mm8$wh1Tm#q9x0gal;OQ4Llgw{#e04R1Jp;2!+#hz2_-q2Qm z5mM|q#qL$?)M`$#=M=kFv9}Xa>^a5mSD{hoxj?ad71(k@oq%HZJJEEQE>5xgOK25B z-8jYWucPUbdg$;r3W+{YErfbuYtZz8((Urb^R;ODpfnNUR=yrhg{?=$>AW9p9ojNN zvLqisQzGd#kzx5Dnv$kWNOtC1(3CWPdc|aRK8&Vhs3)W<@)0x@w(Oyz@=-Jub}b>* zm~Tf@9>`iMIp2Y%cU413vFAI{cB3gRDE53enhG{1q}cO4Xy?(CQWSf>7ft!XM37VL z`F^yJFNLadl48%9(2|R2Hwh{B{1Ee7ghoE+6nj36){eG7NU`Tf(K^wng`8r4&yS;F zUiCU5#h#x;+ki$LyG%&2=a%e-j0rZ27U;u0agJ3h* z0*1ga*a}9#HZTgtz;-YWc7O@62TX#!U?12IroaJk5F7%B!8AAmj)G%<;5aw|PJ&b5 zG&lp!f^*wI$|pr2MJKKvkU0{^bXX-=#rCW%|Fv& z`+&NZgFug14mg@eFntjT27WI?(mYxA8%|82OZBPS=jp+?=*6ed%)dqEpc$umv z#LHBjAYP{G|L`(Z*N2zsb>55e1uwmPTQGY>b(!9@xb0Vej6B)oamEK%zw(Z>BEUwE zjUF34HhT48%|IPgliBx5Izo+CD^RDJ4*{I^s#?7C{Lgr@#PiMZ zV{E_*&(Df~$67yb_S$}(g(CLUuO}Hi?t3cUPXgTcxbLyY?=!pomJTBsJjvim22V10 zlELc^C}&Svc=EuL8y=&)Zi5u?q=l!ZJ;~syWRJ;y#_YYn>l!43Cl5S%;K>6|8<1%0 zyv4O2>_;+qvdL4}UdcdV`z4E?e1myEi2Oegxfn{I?Xs~$Q z)7rTaG=mmir@GQsz!yDf1IyV!%ap7HRBh63@z{Gh0mYtlfG)syJXsCYME3!mbdAOP zavhKR5SfFA$2#SeU3N6=Iz zr`Tm1BlV8P=#0e=-KSm70UE<(7SIkRbATo=nFsRx8ld8n8(;w}f}0>X{g*z@=Wx~G zrHd{8#t)>`fFi(dhuw~3a18*v9j>~P#n1eILq}k@YXW%gFxg?U!(@lGuGQjOPibdT z#o@WbWQWNPlN}~IOm_I|Fx0IB%uE621dXJG`vw?q#SRMn4F+U)3Y%o-x$%M^Ghq-3-vr06#EJzW_Mx)cE7HQ@fAT zPE9^eJDhen?Qq)Rw8LqqhCZ_LliyK8AIkaddo_x!&~%SR1uG1`qfw0&9>1ee(F*RL z8r53i)n8~-XNA{$G^)44I}d79vYNSn5sk`LbL+PnHCWC2O&Tq;;*u<@Hd^u4yBalF z@jq{C)NHls4>fAB+P7ZSsMYFbE@@P;x@VR0)i$g9{Wgu3TixpqYqY}Z-u#e8?N-0^ z!TqhY`oI2Mqg7VgdcQ^;R=RJqMx9pj-`1$hN^icVQMZ-ud~naJtz7(;Mm<)4Zv3xC zy;g3U&}fa7yWR~iv9}no_Rj(9!Nx}d28RN+{2^duGGOfc0ZBPv;!42Y+W`k2448gA z;P`U^r(X#;|5m_kC18F$;Kppg()|G+`EI~HF9qEDX27R^9q^eS1!Ru~eE!1$4^0O= z{6@eRIm=`32Yl(rx>K^Ls%#>Ek*XK0{7gZsBqzZspj9v}dz}U6fPS>~XRW1|i$Dt+ zv*0qA16RO2xC*WTEplkdYym8Sn}8LYEZo{pSo5vPSeVITPynohWGsAStj=V0pdOS! z8L&i?vGA6$;+nA{lCkENv51SkK8=z{yxbImuW9%~*KL zR)ZeU3)TQuLo=2?GnP~`)=)B5-!fKCGL}lR0l=zSHV9Z3&9(qm)v{qLKff5B_k{2V6yK8WF_uvk}-5r8E0fG%4+}+(maJXf%NE92A~GnxTTAvGN__<_^iH zN$1B6FH4M+VUj8_c0(>rCM?NP%>p{SD`R~|Jo~F{juSX7uXW|57G&@NQp!LqZqQ=R zL`ows`o|{$zbZU2rWPY&;aI3zA`anSWCLP9@zINn&+W-CA4Cxfx&JuDO3D($192sp zLen*@ifN#bq&2%I8VpD(p@0~xkbllR4!L(X7VWUFeZX9s8QT4eXfRdg#3W14A};LI zo`Xq&m0>p3nm0b)Pb&orntAuUeSlp2dz}BX95fY{`vYy z*ca>Z?UFSxlhy5C`?Oj}5MELNE-Uo%ND5(wnz9sMb#$@5aeQzl8st11l{`9E1nr`L7JXW8$D! zG|~_uCXrSB4}1}LBp5er<;x&L6`7d22HDoF`acebk~Bse6R zJIp<>&0c!tC9i$!_@5|1e&qCNE*o%IY3HUO{QpR?nt=-8Nds4T8L-tW+!6UiJ;b1+ zEB7MUCiC=MmbG6$rcym)!B@7RO;}K9+O!J@3n_E!YVHyM{Z=gy|KGHbt{^>F%1iP$ z3L@+yLKLFZIx0dfx|J+sU{8Gf(saO+l0W?zS5sIxI&)37~IA zpeWQ1jq`nb@5`Un9Qc5PKr~NI3-SXo{8NNid<@`4KhOjmS=MELWFK73z0_?h!O4_hpI1eY(iqzNNR5(wHJj`0=U5Y?papP)$S=K-a7$oUF zoXKVk%!)0$&Ee2KoAPa&-S_Kz=$8Q09(P)J+WOi5rG@Pr6of`f@Q`5{0Bz#{0f&r9 z_O_JwSL^)AZ__Xq;e+*U{=hqJ=Ix)nbNsLNXx>55@T5aG>D}~;?>TXEkD3Jj>sxoN zD3ivL--KY_SzT_fP|{{#AsNzKX5r|;)Nqha$mD83WmkN-Vh}yQXdTLorNnoB62H5r zPVW{Q<<}2ejg$7gfxOD?$cpSS6SFdh$PGZLpHxRHg+c>;lZu> z%DcLyc?OQ8gcL(3tHmIUN`I#W1%|^Upi4`C6$CeBdY)Z+AwB}2)9+u((oQ)4;qmXA z1uV=3X^TWE=!+NRR_jjslOLWs93`Pzr0D%^cFORc{agf7vQay2NCfhqNRtYf8NkG% zkVUAZ)Sd3xt}nDg86k=AHB)Mf#_$jCtryk%Js)tZf6-;q{wn zy+@MW)J zmMATv=H#bZ%f8^OJ{rgchxSiL;Xkdeew0<$c-;GSHwmQP)1rH6bKmZib%Gq!xm#{e zeK8<2uo*=7^#losA08G1h&xHYJhJx$DCPtf_yp7D4W7K67jPv3KT+<>T)M$K4C(Mf zy1v%O$D+Tx|ElP{ENOa3+mPnrYj?M69^*Dk7H-Ggb@flQ?-aN@7hnA{?X)#SJ@M^b zKlIz=QNDMO5!B=MSoM>aAVFRVW44KGk6*;@8Co`LG?ow=2`#*s!#(bCC{=4m z-aP(D_1Lfc>{8$-y~Yyqft!xR{{_NLY1rvwZA+y3ts&yFp4T2E`w83HW7+W%raU~`oQ!G!_#tM$aBkz@mjs=FG4W2>{hi9wxu9%e2>!`8jvObCna;8B2VJ@zM<3StK;7l zKZC$AAM?GOB5aZzmNs?R&3)Gqn4`aJajT)RRe%N-=o7T z{is83qNdma0GU@+`IG;qu-1SGwwd6!a~9v#bLpr2&t!{aA)2y zRt@iwA5)PtqC88CQ zGwE;NS6eihB`7Q&ELXJ@WssJSf?IkeiV(Q2dcTxH0Zl<9zEngSm+T6zEk0$$a8d3)}JFyKjT;%Uc@o4eXtOCj3tVH`Cy8V%f3x1gY2u`;qoNS zhRhK>$H?re-x=i0~cHyOb`nRW2mi& zK*j{xD7ZD3FDz)IR-YhgWcZ&X0 z!NBA4e8eOHsTOMtvRkFUM9ev6&&w;OMvlISr8I@&Rxbk2kK9fhMb1|0m6-}E>DzoL z52(X{X4E&wk>H#5Snt`5%p|0}8iwgl?QWd7cz6X;? z(wFIQ{k0ME+U3u+i>#DJjKNE`J*R2m?|@y=Fx&P_%3vw%HpO4fQU=8t!3K1oc0nvb z>XU(@dqnePsT&N{eD>U5UJzEHtWGYa@9**qVKuVFmm{fPt4H5XD>q|thPpDG%Re!m zl_j}wBc03@|IQ!{8pwsltNY{Ashho|8h1T~$Dv%0?7SnV6|euyE=tqG$M$0WY6n2z zqo)z&Y`XL-&Y!=GQ0n4K9`R&s6metY^aQxBU4V(o=F5$iMh@&yW;p#O zMsqVvMYU2%boxuE;zhv{7BJZECqNyg={)Rf3rfK6sD>`b6-yna?OnECIE_}bV=e}v z!eG%(Ms!A`9a};Y0b>4>Xb00UTgk!ZLDh+B&neSy&#Qu_UnUY8W#3j`#|ipgF;w1! z(BueAa7-HyYiT~Y>*MJrV*fLs?t+L!sU+K+VH(n5V6a!>2XqW9r4j>$>yXEo4S;oh zN?f6udax6VTF`}cDk0ieG26Piot7sUjXv+4+E{kHn(;^At%y6RDJmEl)gGSxl*Dq> z7fu?LRsNS{wG{^Hfp<|i#q1-i_1urEDS2dyKnY0}V{N25s!0tUB=*j#P>At^Ms#F? zCiLG+f2iR{vE+b+kPHJV1Slj^DP%bpTpj2?5j@T1gpIXEnTO&^T04RB?tT3hO<+-k zoaG;}o3Q0TlNx_yV@2HCMeM=Wvnl#FIgmdol}=_B5($N_FI4=H+0<-7gy7g3wp4$a zC7PO9kq~yd5>aqz38r7+UcF=1@`@tg-=Kc~eKIJbZ~7u=1Rn zad&VcVuFi-t%69#0q5IO6^ZhRt5KFA@4Ja`ttOQ+pb9t+P|;DIL$OPG-4 zgJ_pDg`Lq(nZOCxP(QWC8joK&H~rk}CF*TMC5g z!;%2>M%n(3!Kb{UR7-9?I=QPOK-)bbF8ltzT=Fr&qI4ZKG-8n?eCD!`fpL`PRFMk%0A!dCc^1SiNeXiXe;w zyS-tG5;)*0d?buTlT&iEOnfE@zYOf@T^a}viE#PVNsTkuHJkoVnoCu`5W1VO3VrWM znD$YxMVFY5yKMX4Jvw)THzi$p1y4E}KYo!)=2KC*AZ03Yl?7Fd3Ar-Ns(TNq40(W& z1H0i0$aY0Twsj3y@;X(ZL0a`&4mHd@?Q^s^>2U$q&X?9_&F9>t9P$15b%`G)8H^KP z*ja(vB=ED+T~2t@ftDNzUU=!2uLU&Z&EQMN>qX}?c3pZ^{i;Bdwf!ldsET;C)-iy8 zda|c(e_(smY0%rD%oNi|PH1QMk!MF+_w02YRJLid%d=H?*m!KR{+_;9|w<%$m|}8==RU<(u*qQHS$(Dj|9uK zjUd^p^R}NZm?c!ycgh4omS3j?AIhFF>7$mu*j>-nlyC3B^8oYdQZI)$8ZCdWLAwOX8 z5e{SHA?n>K6>-03j>omK=mmab6$1xln~%N2j8L#Or7 z5v>Z)ll?galFuC<2hkTz%;C<3&Gu=1h0YI-0_apH??H&jGtU8c@sIj#?iYAsM6*Td ziw!eH-FcOPww&`z6L<|>_{Ipc}s+n;IECgG}NWUwO^eB1NPTNLzr&J+Zh$+0VZq~wXO zG?bb)UJuzU)#%*MoS%u`6QKg!vLzFTqf`^6`g*eRFz+hb(TlJ>hoLlJmRMjxxCsu1wN?G8cu#dps=7rV$7N!X)Oa3_zQZ+a zT{Nm8a$QWu0%36dVWoycguENW3LNLTsef6oDI`iR*ApHL13bS9KPqnq`&lOlM&b6 z)fuMgSF!=qlDj!_&0E6*Ld;&xY)x-&&H8P#(64oOK4I;)qq@_I;c;rHJpL@m4^%Ow z3@p0YUFL-*eGn#YKARJHRw|yBRB>~;P=7JWh8SW)nLW9peValvVy?Lbhh=g`uaPm& zRv!?2suRR+-(*S zT;6kwj+RXVi7UKj-0@RU;udeZ0vMXZx zKAMa+rk$w+B2-gOqcIKxTw&vlvsROu?Yqtadw3tKfn+OZIog2@KQ}K%%?~P>rE9^B zVB&B0MIfRn)``B(ezODNpVwYL$oGJYE4CJGUO zytKo-uWXsZhd=30A4@!71T4)Td-%GQEfR?;*W(vGm81Tu0KG2PC8P2qc=LtcqpY54 zdrgc?epPxe>{lJ>?$c7^4&GNELUSMLB({MTiB|JeDEvElk$9D3F0(a@>6GnZo$Ayx z2)h@D=2xoztKGbHgLG5Wd%0$HJvyAvhim)p&{0`e?+9IoxrwR2%MvWsn!LY=U1l6- zF+krW>@O0Y0fC6*S3k5`6mmYXS+fmad}qwVNAih8G zIZyk6RV}YI_HHrwq>Qzv+m`c9|8>>*`XCxRAn_#amAj~4WSWWwV1@WNoFT^7))Jvt z%Lzho2+t4jQ_H7o*ePj#+njM0f_rs>eatyRv~;v^ODlJQr2bDAymx_=LMGYIrih5J zS%gzy`@{aj5JfP>&j+{(&f;j3C{k%5D|v1Y)-3;M zQ?b*G9N>v~$U|)M>`8%z>a$AApIbk=aQHwbC6c*{o1`vx&Uyccv-1_mf@zB-kea}W z(<%@8$9cDS9xOq)rck+dAj;Cubwu~WOo-p{`%uiBb?8C{5tS$JckMel7IJm^?k7AJ z_>huT*IumG=l;cZ>$=r+ryj~x)n*%{uYModKBL%cecXBZp3dr@BrXn_YnM75dMbX2!%xWIEJ~rurs#J=4uGYO175`Vy-} z3YhCfy-bA3soIFizeBIX(90yyGY|-zvAmEgzxF`<^aC6k9>hSlU=Ngi~PKE z(Bvl;c1Uf1VQS@}E5xn8`4tf%9=dZ{bx4Ex}?7Jh*jCETFq*#-|r|N z(M!Yd;X>Ea?8x4|Lm|WP8Dv0T#ApHOigMn&O$nNLIOJwa0V6-lM+nqUr>A(DDzq}^!07-^~IG;T?3nc+5fs}pZ^q}Rc zSGIaj*c1wM#W6L`rD^-{iv8ubz~U2*b#8bW7vUNn!?>i^rQlFKO~I0<(ZXbVxB2V* zYT9ec_IX7IGUn;@Ytq?S1|!dk7Ph}=dBR}mTHRSKTdP(~BeRb&`;sbDd;%<_NjV8r zX&U``3KMzE7bQ)^#sh#9c?xwKADWylW?HaZxTKORhVT?+Q;3e@i>9k#xko)yZa zLzaY2SyFo}Rj`ng0V`SkPac}Yd?z;f18Q{|u9z{#_3c)4;oK-J)0xIRFX}+IUOxYB z3%5YWl+xEPMR0GYIFkzUL3qWmhq-!RPt@g4Nz!{IKPT)BA}Bm>%%}{@CCo3U2!qXd zvlaXASvzEPFxCM5U}&ojGFLMU(Ey@pJmLpQmxvs`CTT%z|M0=9{OfUhSqfD9m_Ubc zEvNR^943<)`}kU8D68SY<_r(ns`m3C$nd%gXj6+{zKe2xj{8o&lR3;;pcr(-0~OwA z431TfwfJA32*yo{9*|>myp)X)UWjx4c1!}Cq-`$_N`1hk^a?F8WLl8Z9XQ6!g_dd; z+2^*od%s9Z=8r!OrdPH^i#ebKEj#}=r*;w3G&K`$8(|R2wE>?7A^tlL1!ose*57Q! z#N!JvsY8XA8%_J-fk&1$!Ogy4<%U0}r`$I4J_w_l+N zUjq=|sRH^;905h@ULmORBiUHuVBcUimyx>z#KH>!BO+xin_K@-yIHwBN!k#3XThd| zEaLE$Aa~7E$Mzt9I|LyC%FI~zFEB!~m+{&UTvYTsCrX@A2@$Z9zn@8Ur6IS4MOcptd*lE3?^Z@2D^ArRrC^G1|DD*R#*I>6bRjD3B z_`wC5VCXV7RsI_^g&WjJb4+JV2@6Bh8?NBn0#V9&$BJm%T-K9nvo^dCzj(!zGli=m z!cX|xXITII_lQqtTh7*BgV z8K;o1*0bCXW!1#HC{njCo5pov5+!>t=Ei^>j+;RtYY}1F1(l9WOXYA^0{fq z+b?DSuT(*HBaxIS_DGUZP@)jXmGZ5zSa)G_y)P-n?T362roF*Zq_wpCe|;CER!D3N z(nL(^Oi4MVMy*!F20o~&IpdPG_YC*RMWhc>)jxisV383>0yvO*n(j0tAym$+Seobb z|G(vqOhc|Bl4AGX!Wy9y5=7x|w~_W%eC-Ukey3)QL&Nxhx?NagPU~NTq=n+==1#(Z zqz9U`~XVl@Jv|k=QA~-Sa9X!J^;u0Il5i>#|aq`I!&Z*A} z=XOVAd78(7M($IGRol^TO9SYpdSib=02BBr82;tPNN11gk?iGHvEg7pZtSj9Ga^gH z-;pnysLz|1tIw`3bw;lZWDv-d93XNG-IVfU+{I0{N->WJ=j3EYcPB1^sWHlI+RL>< z<*07FC72&*K};Crsu`A7f+I|E9BM0cQFNSiuk7xfRM0zrJ51*dM^l93KSg0V;4=dV zOJB5n^fCBt&LXGT$OEwj4H6+9Axes{qni`U6>@%k`;Fb8pqd2r^{K0uK+Eqy@{Puz zI`N9K&TO48!ZE;OFR!9m`GLH6!Ulf8miFSz35iaOMIyj@d_A_Bw5rh*H@vwph8g9e zm%viQ+Vc;7?-i2*rc5#26vu!n0Tv-}f-*47KJI2)okrmNm|EFBO>JlBcZRI9fZF8N zx{-vz6Cqi4RS!zaAeI`k0j9?ZW-AB0|eKYQ%c zp?BW1$8kNiTVjrcYSG5Ks4i;*!>=GXI+p;F@p<*~pt`xb)QLC2_PDs{bAAqkwur~4 zsGasi-!j^+R$(_}zplr}`D6RD{47R?}AR6m0xwtM4AEC-9HTQM>>|b{S(6gRWjku)? zAfOiO5)Ej-v^s|(p~aDKel5mTmRo-*fH~J2w4MjQk;Qpg^BJH%&MHhukN1jNZ2CdX zvo+6+8ayMhr=*Uimp>vkDz|WeZx_I6J`MPhoM)aPx(9@5h}~Kp8)>Pg17{>u<;JbS z!NM#iO#(U|9$mjiY@YZ<^9kA}B5VblR7?5#e!kKp?J0wIy_k-dt{>W$eZax47RA+u z1AG%Q3UuS@Iy{`Uwzsps1B#!!NI)NG+{O#0KhU-y{~1tVv@PhJAV@C$v;cKDY#4Sv zZeE@=)puw*pv_VvTYrX!h^j^3`IF}-Pft&AX9p_To%8c^60(-|b}GKWza(ope@Xdo z#sfRt?aZA@ab=1v%v4>!zoF2VEoDN;k(cRYg~lxmnp! z!a*=%adHYkQkSGd4Gj%r+A})tLT|%3^Xoz+D`amN0Gmwd8Q;F5mr%M!cNvF3p+;}q(VP845-ys0i8^JzPE_pfuTp*8B!-z znt-Z=2%M$)=@Cp53p>PkOEnWnx*)^NkW`3Iwah*E7N!;sun<|GIk7y5Pqvtqwh;81 z)F_tRfLvDXrXPcQTLDFJCwBB!RadOZt@A?|&NK)A)NZpr32FaHV5`rx8ZRQ7HRp zCWjo+X6a@cr!XaHrHNRG-`y5Yn`G+800uPZPc|{p`>x6(cw|e&=3UVc`&BEWx~U8d zB%FNYrYHPrC>j*;zS*?Q3UDB1Ce9)Hz`=lKYiNXhGrf2`7-MqyNTd&^8ku_cgV-^egZga5}b!o2zYV^n@J_|H!+`g5Pq=;2%QhL55g{ z5_P1(?GZV8&rB6DOBLA$^LY8J1fD^Bm0pM?bCTzrT15&fD@s6u|GWDa`TG8~Y`Yr+ z5(%$oZsyOC!_+1VQlIg(rTushL@p4qnf|JO2T+RMEJ~I5wU?Bd=-YV)&<`O4pmKN* zZ$kLY58!i*gxmk;=9yI;xB>%BEF*Go<^487tF({68`-3rtV(FiHdj{N7V-r&y z$8T4`;l~gRW?&+ zIf#fDbb1O@h&nkulJ+@uegG195ZG^2Mb)L^A0K05#$Pd;X-w4R_1z#C;b?n?dV7b6 z1D_nwb@=%pa+#bs9S~h#?9?DcY4mGnvygfwmWK&VU_C@1-7>R@Ao7Pur;Wp-a3GT3 z3G1K&>H$h62$grIKTr@1Z*VRRpa9zsF+l@}{OQfZ@tIwb!(RsZ!@#QHlm2Ai7&1iW zJ5)VHKt9mJ`{nCLAQ6DRw7f<744&Kn2ynV$eg|!iG`zy?!b1G|0Bx2pzoO`FgfG2A zbzy)$pt?$$UkK~FacnM-{q>0k78b}j%K+<^kA+ve*N@n%fpgL|-Hj#wcf-}JndzA` z(qnM!$JyA`z{Kz!kQcIn&-bs3Z%=T(KgaK!hMxD|;-;#cnp*$4JHLPRK+q|54Z;7) zI1iweT<4X%E_Ru|`+WJhu(`w2a&v{y59DH2+{~T(U{hstb**)uHTBoWWpcU(*8m@- z55@>|9~*8Tm$*1E?cX`-yNTf`S64CWYdPKCY)IN40N^R}^`!S|vCz9+>0U3=%Hm2~B>M#a2k^EZa5xT-}55N=1m)na(~h7QmPbmV(7(xOKW3EoOio zmA^TDqIy}y^(#c~YxdW*Q>@JH;L*f*x7;oID-l3J&XM_&AV*22ZrWQ@6%~Ci%EN2? zGyP5GE1>U7$S!Jrs}fyS^dg-3Z5!u}BUAxg<*+yEvslx>G_HfXfbWQ8{g?xdq@IJW zRP&%yrz-775#`Pq_C(HCRL|zoxt{KW^NfqXX7Btb{<@;WI=U_~JZd6EX64eB$K;*J z`Y^EAjQcdsYStM}xO&Q3;BN!D=uw$Cc9BD!1Tf~>$dgzWP3I7D_H6d&lsXopBoZ5J z>~b6sKcOTa=G>mX2nTho%;ZTecow`+u)*w^{v`6gWo z8sMmc`nGFtnVT{@niPF1v5e;S;e-dF!d|R&U>2Tqpxb@*8@g<^RJB0#(VD(^cHyH| z6`R#q6j;0SuwN!ApST+xajY87= zFSg_MXFC#lplGOt6seJdY$UmaK%iEj!q$C%gS%RZVogOqyt=|g-(xJ)0+I&%fMXt^ z*D}Ah_~Ak5wCOsN`NSwcJ&OtDJ}OseK!Q}+^l-(y;XS)Hod((j2VRS0B}Fs^9!Q9p z1Md0Djb78uZi|NVQOg7~Egl)sjU#2->J*>{hhKN3hmT1Nrs^T5oyTTt|G*ZKcB_v} zoy0q)^mcv}BdIAtNVOBHVv)SSg4BI&+xd4L&$L+)N^0ziFUoy)2%tI#ILZ7t1fP`R z2D~oHgJg6t+4>OdWet;wgEe^z0CV<1>a6GlxQZ{%*s}MyKz?JOSdtzki8Qn%4!108 zVa{jEZtxEiW{A-lI|m;D&eT-es4oW>2`GJkhmce`$H{2!Trv;Cf`qAx3fw}tm-6=TjA!q06{Yuv(qN7*|c1VI)_W-@e$J%5d;Er8x{4d z1>NO~OvP?L7A`HP;tff+#TB96T6mQp*l9)VVu|0HnsY*C-V+s<5?Dyn@$lqnhGn=v z7JsScvX3s&hR{maNU;_GI#Ro4HP%k|3TI?8vBn+`N28RQ8rbk(#;$t4Z}gkZpYDuD zaNDd$kQhNz`w2-$VUO069;?y6Rmb1G2#z#=Hf*4$hQa*7)|_7&qNpF}*&t%O3?U*< z>P>xqlUSMAVE&i;4;c$?-TWx*3oa_dy`~G~p7}~FrPS0ERspvoP=_PL;*2x`;ZtbV zqaG81YSWcOVyFAkdv;#uLz1;qLhu={hxYpik}KY?_}%$+D7no3I&%8Uai)h41HSD$ zfN#eV0lf$Fd+3=A;JWFcS)+HTI)xin-jK@ezd+`CVX7!Tm`!1UQhC!D(c-1_QFe#E z7P(KZQTJNFT_Z-)&pHwPeJ_h&`=P{5jde{jM_+I6f|p1VQP{1%aO#G({~5Kf=Jv&; zldF$6Ub8n!v8AWQD0|#>Bc9eFzmEo7{c;lxhqgUuTPY+2932@cM<3pVaS3Rh#3PLg zWD_1&ncn@h+2C)OPTUM`p7V(sHhAUk_UWre#?MrPby=GxV<+pSoqLun+`B~9E#$jV zg26p9|N4`E3CbqWg{NPl zw~)m9CBq|kfJCZjQ=5B8;+?oB2M+F_E)}b6EEShg%pX+Yc{d92GH~e*m+qwNwmC&t z5?6)D*dpQ<%Iwt@Pfw&w7~OcVgS8$n4qyB~YUhU-SZ3F^o027P)2S4sx4SS5~tXo!TO$z` zX5KYEFfKbXo(hir{SUU_lw*2iukPc6b^hCGufr~e&>s`W<`ta(elX!+ILRv=CY8&aDAyM zam=@ivr2`AOQuFbQ;MwMAxVKJwC@QmfK*HpZl(VvuK*YFyX-hFS)gla04jfwvdvV| z+>2^LJey>UpZI;cJ8C@VE*|9*Hn z6BK)^*#;sg#oHPc|HdIxy<$aLxC~W*K7aZ`GF0m**TIIZ-<>M-+&p6MwQ!*NCV367 z&l?{WuXpMHJpsGE%t2i1vjIZ=oq%Wv(4%F3N&&N3)gFjG)gB*GKT)IS*+|p@aKP2` z93;iek174e&3;Z)zQ`COTu{lE$Xv0njB4<#Zk#ONAt7SAlecW>t+#G0;o3Qw+=)^|Y+h;t8r zlk?C&SI38oxqT8Z^7cB7-FK*;l@W-I+~LX9?d`CYyIiCR0TG1MjJ8N|Koy2sj!2-G z8`y0QXdWg0ZKAM;$v3v<9pt^j4Ukv+!maB3^|KmIu(Yn~f^Ec~6qIvMw7~N&{j-F; zFu^8E2A8|LJe$0gkjlH?-|lgJ0M65b@g(|eHLDv^;e!c(Stir{hGXmBO;OvCIJj~A zVEtWVh(b14Q(BZSb<8m+5hQ^OQ$&tN13q>0&y?IHat^|!60TI$r7_K99K1q;3<@Um z?bkw(`&hYEUj(gTXwxC>(kb=kc)g{^y`dp8u@$KM<*%%n6;B%w%i2A10K&P1AH+8* z{uh^;LQN<#QvsFKaxr>8ADO%eV@Eg2ZW!yQ=o3;s5lX*MqkL(sKeuC~dAc(-@}$(^ z`gq-X97+kMkMl6w~Rfy}6TGS~-fp zfjy9!zZ%{jHy-GAWXQn|1QbOgaaKllSIRP*b>Db`!e;p_n=!)sDSFR5HYlg+nkenY zA1kv$B6i7r)ct5kT1@Hjn4x;Cri;yGj5QF)2q{D3FNml9i0Dnqnx>iuH?y$zvdzf$ zghxuU+T<9kc0a$ym*ZPG8RQvg$bZ_dQ)m7&xUNbi>r6}M$#o$ z;E#h@i+1Czqu+|qUEcDrXK%h zb!{$H{}pK+n;w}CMy82v+pn%jl`iwf+89tPP#Y1*y-Scde8)=$}=d^liq(sv!S_1k*huEzS~NpRDx@0-%pGUqqOGlc#bO=u2!d z#%yTWA@rG{RI=>C$lPVERwPq)uf*sDZZ9T({#wDUd(e)nzFwUwDzExsGG=)2K9fxK zxLN6!?f02r%A8Osm~Y=~-F5M<#5+0?Ni-_<&Kl?uD^#oKA6c|7t^8Oxymw67Ik|Ge z=^L(|C>cm6UjPt6ip%gKB3H+3HKD0`$Tt~j4b=KdJhOJ$>&SEgTz56mOIk{KppxT- z5oe<3ZuNDtjnrVz#9u~2+`S5QIxNX_E(pzNhk7L4NP*>nyv#1eUtV5)c#WR>|{ zaWxi1eDiCWO@o&pQxfKUs+k-$CBNR{m=i;&h1F7*1~_V`urN%USuhFJIiz@ciSv;| zk{}RFR|u8F3-|7;`P#88m2`zFvr_5NS^~uyp`qbtlSm+6MFCi9NLE*G;GcXd;c(5a zf<#f(gbCUcZd^i!NwVF#ta#Q^DV_4>mudcO%Jt6&b`(P-nq-WfDs9JP>ic$bG@Nrz zo@l-<8SsfVR;i8s(KSMZaWYJ}+0jw!YIf;Mw~U(!3LYn<@VQr>bQ`n)~OhS#ytG=l#1p^LF{5xQ2M7V$-GVPx7YhF`TAK zTP{k%RicsCCBP?KljclTsc=Qjr~6xnD%iKsdw~4_51reFY1QC{I0{ao6DkK(AHrax zzPmF|UGDLWv~b|Hq+s>FDS;S? z-76dXV5*;uaFgc*`}7*c zLxAa8zOO_q=B<&=HCw(cAF$Ck_~Y{sxqT9Js0qpfEH|59zgi~-iOWW`#h}BAs1*65 zy<%Yj*9!{v^;zGs+C6lq4Kn(9=OFUQWEBA> zeovjY;x^uu=+B!Gi53yP52!OOF77BU1;|b9Dq0J<4yTNXIEXA@N#{2RSj7=LV~9mL z9j*>3H^d9MWWK=z;hHY~(Ef!?X}-urzV^kdMd0m?qUuoTHp%NCZ*zw;Qlp2iI#`(W ziJwyI>vruWNrpmJ<3Ulp{5icYa<9df;%Mym*mh!+(CntLFB?OvNzYlxMP)JG zEl`MxTRwY_SaupR!gT8i7f+N=2|%z!QknXK-4&zqp_KgkDb7`k#vfU_SGC#-OOsE!sL5_qhxd4LPYEbaVUh`;uFbw-LPLk((w` zdsUbGJI)h~;EG)tr|nRU*ShARo>BGIA=Jh?hWupM2G=AtabB)(b9vs}{T!Dv=pdYRjZA;-=)5Y&_uMv@l7z z&%dmyU`+K6^`(!wENt~Bh_5%N-V#3M*8ZC$(xEhBF7$;AFW#LbHpq9O8D<;I5gHxJ zSB>0FR_uxChsa%;OSJdeK53!axXJo3X@o84M3KxRVkITVHc1^ z(OW7(R3)=^Estyaoddx$w_j<+(9j&4bbsLt?TenS32{_Z3;g@N0+FI~p~SQ)p^W)p z&sC6!U!ggyx24Qy|1vc%Z~b(lp2XS%IBy<@ml-4mW+$2`D%(td=EchVnecNU*V98{ z0nOTCmz4|AFuXa78Q2s@ntxxf>@)ery^?zP^E#s^V}7Sl^ApD!F^w)>YK2#N(1Sw6=fP6*n9XCKxxg8ES-L%|lJF6iLDd$>wCVI+ zhe$fz=;r&I=RJSMS4i;q_R^NvQnNP-F$0PW|JSuIP5P|QiGZun6P}csPk9jJa#YPa zRmRe4v?I&dkM8{>*}0nH2W7G&83YTv;OXt&CJDVE*T4}YA_c@i{=XLbDKnSqmYhwVJd!I< zRf@|Zg^-M~BEYNy(TB#94L?!E(@HvM;75*J#&Ixr7JIW%I_)Rk2=wId#4fIPfh`3*g|> z6TMWyZnm|DH$Wp%&v*+NokD1As<~GYMaO6BSbI{=tUQ#x@2^&hMq8(6`0LpHbNCxq zEp}tRzLQAG51t_Z*e4y5W9$w~25+)~>GP-l0hq2va-{u_0g61aTv!PBgFiw8U3AJv zD$SObH4s2kN8z3dfyQUfbx6LEzr~qoh`hjkH-QiZktYAtlGZsZ-82lxpE!8^2G~RiZB3hC zkCbW@{vP8zhIk9I6{V6J} z6DRkdfA|Knjc=sxLQTPAH;pXx`$KLjIj1VL`o0$Cutb^L@+B+7@s@T=Sk#+-eV)0; zRCg{ld2PC160Gm)&Ht%RQ&qRU+@<9d=6MECm@J)VKvlGcqgZwFqjKo@+V4g8^?lnX zNwM5YAmM)ZAVf{rl-APPPh6K$T5obUNtA_7VygKotROzQ^Dt?hRp!B`*-Tv+sT1Ci zQ6L*5@~raLTG_V z#Hi6;GCOfKWNZTLcd4|V*@j_J&xBm5&YBA3mie0@j`9HUuiqYCnQGHY{=n6vF$wkV zjPelL7h7BwXzUmIT10J0DnYZE-O=%R52HRP6H1OFEnket)oMwz!J&FP5bXdzCZ?s6 zgKW#2Iqg0NMQsdA3bxSI4c+U_ebeuthNCYB?N=LXnqb?Z?&% z;q>0Z3$X|v@^!EvUaiE%+kB+Bl*g(_JPZp|%#m9<9hk)C5JXhKizh7(d$G7`Ft^pE zvRlu0VVlvX`gz-YP38(JR=N?0*<`L$ylG-Bb}B?_B(kUQm`*Y5%sOJAY)H#X3C+!a z+X(nZGklbb7ScL{J!xN*I!EvzbudXGD+$(_73dl~9ewRWVL-K-^GSuGpZc7t`7EX( zh~bLyLfv)j4@69)HwPL?AeH#vd&_XZkK2Pe(*s9DEi{L1h>(mqtb>5ni^_Uka`8Aj z&sy5vyso&Ff^|PfX`=k;R`1_Xxuxn`2gbC7Z+qP}n zwrz9TeA~8d+s4!8O%{>__t1N z$hX)Q?CQn?fI8ccu_sgzE9*7s_{#kbQw?>;12OyS-fJ~KMI~VnDn4*|Y;7QoTTR3) zjE2A-Ydh-i|;NX4o3Gg*iV_XA84 zuiX^@3BQR;c5l~s`oNBD@Pkq_qH)rodJ31CMd72usyTIDac{g-Lyc}6GuEJo>tC8Q z_DF69_iJ<;&gD?kOd@hAvyv0F5mMPJqw#`R?>IZ!re>Ic7g@ictq{Id{GT_3!93MN zi3M(ty$-Ki*iO){;1|;JB7Gv#8b}uWgza45q z=q@@+y9rPE!j(o98f#FU$oQRrrHf|MT_RI7h1vC)ShB*{%mTpfJF8BBjT3cYm)#MK zv9k31RDEjV`>I6@g3-gmYC9RsrhlC67=`hpItwrT1_!WE)mu{Tf};&Xst6nukcS13 zwbAJLTJ(&ufktc7OA>m+i{DV)Jb<#T=G8^Q*Elt+MIzihncVp^lqg@HpsYxpw6YAF zPMVc6Xf!v2qNzr`$gsWCJ}{D8=?Hex)k1=hy4eInrA%3xUYv72n8HwenPx-B(J>{{ zD-@r>2K3+O;`05cN9GrGHZ{jBQ1L0iuf%RSm9piKHt0;UIb5lFC@{xsO2^M43@UmY z15r>Fv@7Xbe)qZuoq~6{$3&$ZOO1Sd=k;~0tvXoI5?$`p=ZHk+67jzlpRRlo>IvFs zwpB<&Ih_oFKa^6p*3_*Ar`0TSXatxU$pDEUliBkl>CsbYSl_6*2Ff_-F-bc>Kkrrc zmUlhn7w%aC&NKn4hO5C!4hjXroPo1lqie|1MK;XX}gpF%o`Tos*dYy*tBys z@ZZji!jo!TLQMayWz?6Vl&$ehCK4+h?cJnSM(^R_RxY_?ueM4SDN8DwTNXsG zZ+IWgZyq?0mC`+w5$Urmf)7{#!9n>v1BOrsS156R+qkq342UeL4)9;BRioZ7B1^TZ z_U(lb$>Yc~$Tsg$SNn^GlKk|!MAdoBd){VLU)}C^oLfksG1OJp zXW!m22*|CEoer@gcJgp_snGC2Dc0VSB<4=HP_le)u+1fqU*-U z09HHPf!AhtvNh`ZS#NZ_9ewl-*sR-UuuMe1H}R(enyDVU^Su86849RrAVo1`!U8)J zPL99&B|=mhu27nR|1BFejNu$stX+UP_Tiqy&e0|Z9URIo4%KoL8g}R%Au()BE$G+e z>dG*!w}EKt3DMG%3=24N!W(HVtV!VZ8#Pwhp3;meM>p>+ zQ#DBqhu7?M88tHjM0mN%fB*BlsBp6mzdm_qZv>sVkcH$V)jsM*iwPKB3J3Fp_gmv9 zB2(xM@~emo!WVh-4PsI2o(OQBjK%@wyfZ`bMgrTkzrl03VT}8A@}pcyb0M)0!KT9= zzzQ0Fu`!|TWD3>EXQepAZ5U7oe{t@Ybz%(<+eLOJ*L&XtDF4Z2auV4bJw65dnvU8N zcq)xwQ^BQ9a(QZ5)72F;z|}5UZT)m^RL|SjzsjWpVtt4}F3n7>iPt7~;0)8;<711I z_*uISuJvOC!8)cCSAif8XiikFyK^!lo$0bTU`3ly`r=w9P`@T#xG;XB_h#WAk2{e8OjZJ&uc0p4MWp#nppD6f?(ptE{HuVXw$20*tWHC9$e|XNUF~?h$zY*_(qL6E7!K2F1<6-`R_87_rk@I+ z$)HQOhL{XMy1XTe(0gjX!~5athFBJ#wXb6N6Ev4j6`<>x_`Hg+C*wQ1OQG7si;79G zWkXy6;!gkQjtughVk-YJBggSwIdO7sRuOpnoMuSy8BRRM( zk;Tml<3;qK2j9O1w6TZpttQXhhN=0^V2+u?`Ct^wX>bQqbF|uA(K?+R70WO!XTKhq zk(!PFXSNtglZU1U5=t@hz9fzq?_KGK15PRjU}(dDb^o(?Ad){0LE7v+9V1`%GTp)^ z_4v|d3az{8-dlZi!ulQ2lB*5f$8O>`tHh$bFU6J9G2l7Ts2rrM=Kw%daHY9Vz@e$6 zV-g(r5-pOtp1&(~ehG<#mw1v9#z)s`zeOj+FOxnL)R5SuaNpc;2A=Ou06=k9&9dVG0ryam)6rn=9CLZ^? zXsjOCPv8`mbxTmXfKuz?-955#&p9ESKpIvud|UCQ-{ztg-q(f#lUb2h;3?$k3vv}?1*pXJCR|x$ymBYJ#)_X9sZ=UJi zEWT^|+=j$;vc*1jG%a?iwfcA;Ly}I!qTX%<`lN?k{L)W968u5p4sI_+OO2(mk9G&6 zpq2}f#Oz-GaHx6W2%l^`PDlZ(4^iS4C%=KZnLI&=z9?><2cDGZQS{ZCag#Ov6kpfyXXx9z^{C*>eIet2q+Hqy2n}lxD>96*`*W2lFxWN zsP6s8AfT9k!cv&2diw{dieOGw;uaHONt5&sMeCYb9}$QJXGWUEd5#cb_lw#ZeKgostsM+5SJkui>i_mtRU zAI2ewA@gC;pwLd+w^H90c29GA-LJodn;;rKgi8(lgZ{gufvPFP{_)7|9dd-FjVLDxKK9W-$l85t_Up$qh?h zLunvTZ>%DIFI`_t)86L*icnA;5)*dO(nb;We`j`IRg>*Wx|6((4V|j279AwsR8Q&* zI;2>2(2X|rJo_bw0zBkm{pJ?gvKNg;S_KZMzJ`Lo4(;SL$3b4kwxT4gk}cEUjdO`v z_uPk|V12TvxYj$|;bpFQjo4Ro2ZLs!DR+B?r5kdwO%y%q?*=5m)d?&I6`A!}Gb}xG zMCOo-{&5AhT!%^~Qh~H{HA6+7!UNh>Rd>YM{^g4}EC?@|%*~7GRHqV7m!d^*QJU2dbIDUywBi;~Auqf-@8{k7d6R51@QNXi^BJqrzmDfz@nw}) zkB5C5{{ZggX7}t+N7X79u3+JBibv})HCmvgVE$y9@pb@EpmH<*i_Ye;H_=^*7*%XY zbv;D?HGFfwcZ55AaC28`zhub&>mVGcgs~CErpX!kA9MB79(pJ1M%G^YBL36&mO~97 zZ1lW37|yJ}ex2gKeuB@bwDT2PDV+R+SsJsY`qOV({bD=|^my}nmem_OeVteBx9iUF zvS(zdy3JgGq&Yl&fhz69m%i(k-@^z9S6MpnoZ=$?&DM~OjdnwWY-ww#zicDxOcRNu zoCb(OutE{ggYfB8#}y=2pQ(u&M2g?1(r_dwLU;4_5#%iCf@MNMA`I{^SY>tn*@+^w zj;4pSi%^sTRi9fTZlS6MGO6keGfS}lxwb<*5|a^to4K2{wjO81mo|H|0pQ7${?!FW z`xG)!)RD_MWC;f>Kj(b4bDQ+)Z4GZr40;=;_}NH4h+AB(Oz}R!cnT&WQIANKbFeqw zorD9%!IRK2Qi@D6i%z)uoO19b+*;^YoEo7{?X8ZKG8lcyW7{d?{Vy@(Q&YOm&5cF{ zMXL(9NsLs7 zsG3)*cW<@UN$9G81|#o+k!a};A`$I6kP4zP5h%MGT|sopU*SlKkdAOYtFUi#N9cAn zMPyi8tA#KaNnc@IMgA<>w4yqzE{xR-s4WD%$Do|Oy%Zy6(DV_DJ$lGI#v{4=3lGB^ zF4G%r=r>Gy$Cb~5LrSmVd`yx;(7tmRfuhkeLYcHzR3%lNaSUPJ(g9}TE`-=;>F_+S zX6KBW&99uHvM_fPP_TaG(ns{=n^?}4^Tm)ccT%LcIk9a?4D3Jwln?n;Iy?4xMWL2}hb0oM`jFkYOUE8||(D1P%El7PsBr}f0rz5oCt$D~KBG9@BUG_Svw3YXkyHr^XI2M6f?|}RP zIBIJ^o}srfD&zk#Xi5%AGc%yVtqlWMD@$;9(eh*<26&otOO7}8H6Us-BPJ|r6W#_| zF)EoSNMG5dV~SV#1s1~;f8j*V<90uSS#IiBg^6CTX!pIFC+m-25c!vEA zxZKsVZ;)*vMRhM??><}#$EblD-VPO}qtaB>S*Lp!2O6WnnkzlaDswU?sx0Ba*9(0-AT!x!b9? zDMvNr_C71k`B+gKIrRd6gnl82K0h;)o;MM&(U^wi@Gg{k_<#@R@YmkHTC{I;Sog<- z_s*gUu~>!Z&u*_L;4tt}9Uk_q~YjSRbiVN{a{D7v+S*b94m+MpL$1^g&yq06gu zUyrsSJG(pUFTkfn2%)Y2UJV$=A4f{5PQ+4$;au%4)pGEcIppYu;9>xFI~9`>5U%N` zmR6^E5cWKpBCEZ|-x}JLva57$w06im-%c(1WG^Hr+zP#P24E+G?ivGlsc`#oFYdHT zW&X~X+bG5Px75%Jg&B=`^mZcEmZH>|HIUd~A9;c0Kw8Zfg%u4jwPUE4tvp zsjTBoc(%3=fu)W#J@SNetoH@QeYl6<6(iSNuy=V^VycmkuF|)pv!3NQso7gZ2UGhQ zrGSz~?^znl_ho=>qvmj|%tg6EY*}>`FprH-kS3>plNezhq%}^K5Kt|wiR(XU^4y&7 zt)@#;*T7p=ArS?5V*NlVw`YHRqa2J+EeaX!0JTvE6*0QDtfN^e`ioC&?goQ`(3T1M zJ{ckD42s!K|A+_whBJa0=0F9~h%M!_9OVF&u+`8IBJ;p(8GoQ(*3txQblq7s*5fl< zpw~(;cy+9*9Z%x8zM;q++5h{kEEiNuQC!oEk|L;A9-as&tO*);uQH+UDvXiF9gE%` z^V-OKNE?Swee&(f!s^-rLE9JULuz=Ov&QFl>9;lbqAI>i-l%B0O4ELhJ{!vB=JC(h1=RjJm zbI6C2LdXjeWZcxApsKq5`@Je*{daQ`^jB zyB;CpFy|Dq=_61q5_3m6M4&*tvhl0rZ&9?Rjpem$(oijLqL(M>e&<@YWqSqSkMd97(EBQFFoH725v0 z6j+*{>AU9Ivpln;k^1w>*+u0X@S(Syf1-&Ob0ApMHBW|I)6b^iQ()NCPw8aKTq;+a zd;NE|mMN&(*G(ine_Haqkl%&h$zy@y4|@TeSL9#v58K5a?XAAhSKCzj3->epeuA+P zq)Q30dh*gGRS2d(3LSdMX|EW{?Xu>l_cQXxftza)Qd5t5>Shg|oz$BKhnYsS?2}b) z+QB|j1B;yn4K_T+Cv-B&tjPK|pmeIy>uKka>}->u6zdfFV#3Q|#!N$0n9auW%UMgB8Z zV%vYfWG+kV3B~hv;PMe>!=+6Dj+#k8?!}{v>chg7%ePa)_?vT`)J5T+3)^(NN~E%@ zggnv)ENKr3S$>MrJiY~ve@W{PuZ92~d5z6zFZCDo1rwa*Dc)zhQP)vmyAvGvv4R8Q%qToB z5jeGKa60QDq^5Q+mg2M*Qytx0p{gloJIxw`&}v;eImK_5YNg3lljBrw5R>8j&+$y9 znCJ#;%Mj&~b#M)hWSreu&PKj#>=A>>)xIM)1SYb>No?4Dx72n>;OF12Jbd2?b{J6v z1L_dvWJugIGL9YCjevI=&TRpOW@P;4cjwr{o>>1K-9?3qDV_U>utf3MAnG0^U0}L- zUjTtWFyW858o4JOupHT6+G$i2Iy=VwqfjcsIoAIN= z;+Gf_f;Zjur`Jc8tKBIvcrmT2c?zlQQ8o_eOIw3T6w>=Pd*S)gjc-_hjmZcUlWiS9 zqbJd2Ho5wbJo78xK|a$6ac8M&uLLQo6Y{=ufM@h~`Jr{!3zu@VHn?Ln9SD374E43g z4N$$sHQnZ?>(4p7nG69Bi&i7b|HV(yb-JW)k$lW09g&yAZX; zj1E)txI~ctS3xOL%z*4K238z*`-|Zm!1c@g<4S@2Pg-wH0;gv*c5Y)wXM7X2xV4{t z$Tc}b|DlGgIYK_bW;-2kwniMA1g)O`W)Va5i?$GtS=6}+-L@N`c^Z?2=Q*sbV$AZs+Z;M!vGiE_xl!?}G?Ib@}SKu8faw_Z?x{D6U~X41mm)oVKEG)C5JP z!xg7SUULDt?G;J>*byp<}i!Vz+#0h^-h3amY$l;!mZ*$8KLL`_{8(Cl2N|I(L;rNhH(U`qY#k-pEp~tMpHtt+Tm?x5bi*XdGh+U2_ zaODeYX)X0;%Q!6~uP}82d>yO(*XXQu@43A}RABF`Co3rn@}zObjWB}?WGommnLB03 zK-Mg4F*tzNBt`KU55!*u5l-);DL))-m$eGnGYJA7t)5$?1Z8XKQwzrn*sol*+R*dR zJqq`zc26;7&T~&NrOu1vftbJ6@68|GXC}vn9Fz>=?owOneiJdW{rUL#6h>47Il=LNov)r(~%w{Ih`8>_;T&De))_YA#H6h?HGj8uy!a z!JQmRy-uv!MJ78HX$5_#s46rDep9saf(mY>>uYxI;d7seq}&V%t<&$(Fa??$;9-4a zRw2qvwfDc3_TL=T-5W5@!@)91R&+L-H5ygalAGP{4d}K4-$x?0GL-YK4S`ViOpfK4 z{9pik5*co+dXF@sUD<~_8HJSqk=}v6gP!*EO)967JngqC_Rv-DE4(#D5}|>u7D1u; zZvO%6irWOKJ%s_lc|zd)F{4PLEH^WuRL**f53oocNtWcKCXb$cLlCWpd&% zq5X7|92M3o{R`CBZ}78#z6+o=Ui$X*HKmV~If|mo!SA=^U$J&YNJ1C!VPpsSQ6>OG zx~h7yUvx2J_{S=g9lE;|?h~K< zbIBbk02B*1CH$3|ACVOXcsfeSW#00SpmsEY-I(MMu>;3d$cA-!eRu<*i~v-cx9RDL z`o}R^DJ-S~718SjTHdPyXr<%oQzziTH@Qk|g+FZ%Z=Pa&FUB$mQbs>DQ`ygGTKqcA zgb4lW@C)8nu~*KNS|FVd2SL*IY4ZwB(`Kxwk5XJGg!T~(0D`ld4l__B3&3BRQ9s!7 z#=OYWdFG)YF^)*k%{6(!%g65^*e)XrXVWcnW|E>-l4t2llXY?(@(9~PCwy#UcAq~fQ$E1b1P&a2SB@{Kq+US+>) zj>csX{?>#}kBSq`rah0j2NODFGO0!9e=!t~1DaPhg_S1F3-b^yD3WZ60Ay3*pERbO zycz*g;$z23Vv1k?5o`wu`o@94PwHa-iP!WU;Q8B6&sm}ucchX+d0cU^^)BIG(e z!o7kqSwe_7%fe%0JC~#jNP}%?Sd_q%q*fFg!tOKZZ|URwoMLW9wrGBxY%AH~l79#v z4qbkkGQDuks6YRS#U`|DIZ0p--t# z=OFEsCmFubpFKpAUR_i`4T3gj{{{aDrw{KY>zn+7YoZ3jaNw@0nhr?P04EC0`+$X7 z{YltoNVkfQlH|25)-)+YidYN#AO6VQe&ETji<0=XJuOT`CY|BMK zpQAQ{bKd@M^+Kd+Vguli#`(ZgD{N-8y34IFoKLJs(H_yIxyI$AJHr3o50TTJxehgP z``QG7uAk1{joWUHShlPAX@_SIw~85afBq&R3fve>Tyz^pWfoQiq&hRuzeDJ*TX_b2 zFdcjAK-0W6|F)dI_)@?s+o&kckgKJ@g~l)55aZzq`g$6J!w67x%@ORJbl2bmuWy^} z5jfPcflabqD}NFz8kUTMRsHq5mufz@Vg5s;m~@Bwy>QXfzIQPgalnqR2>>9Xti@W(H6!fH7YsXa73;tV~&85M338 zt31Xf2{rJ3wgDgRv6|>E_WiKLX&PJSK1P8j3#~61X(oD6hrpAUI$fm%%IHz`TE^@1 zSa7yDFV=oCnFCsQm@IB^OY9g&r$PZMFqtM3-;GFZVB!S0M-ljh*B?A1-3_p~0k!dS zU911?q5@=w>ilDFurWw>g9o~lr=Wnbgrp%0ql82V}LT)gh`5hL98h1-p3D z2=#i|f4Q#RY>x$LhT% z)Nya>1(U8q4U$YH#He9REqh)9;bd?I%wmYWdvELEo$^xzAuPlqyC?Ovn{jFS<>Sy= zSpfeC?BH6?D7Y(|;4>k;QM>B|sJCJIj1-gJ6y>}ui&9+7ew(W`J=swtI}rsLmp zgLOBapEPF~H`~dHb>MVfl;p0;kH`C9FFewa2Vx=8%k|5qPL*f14D!dH5k}bNDS8>K z6A(peBmV_$ciWl=PLkoqQYd)nw zm;^>r-UT&~sc8on)%?+F-bk4W0IceX=1`S>w-Z!LTp@_@3E#|3agKOi7+ zM((XoW(x6HxF$T$u!m3qHe+Z&0si1HJIBA2{fOY(CjYrmiF!#W(eg$gSMuDeTW9K= z6hh-n7=|$dH+bWaW9!4b)g~omw5Ux59wF`+zsT}Gjoc2}o-M=?!!N-L6%1*b($dF8 z8VN4OV+tdjEmp^`B3ujlKR9A8v3N?DHu z-f}FZFLjb4Bmmf2z(KZ_Ia4{>Q(qhVPniqP=?{yhk9Bvnf=ushemlK*!~J=4D3hH) zd;Gn4e^gqdMLIZOrtf$EV@T=kVv|&&(1UGzUh+2ju9sx)Osxaw(uG3p zYfat^Q-V;}Q-KJE`_xN{`-yBVmNS7}TM3hrkd}W{E9#qTna+1<=8SC(Ne-x_NjMX| zkxGcj!OHfm3Iqb)0 zYyMUY*%P6&**5Q?(T9zaVgskAOEUT>&YqXC`L} zf(_4FxjdY!cYpIxs))>k1@5dnSy^tB(lHT|MnuEeN};8++eEu9BK9tbGnleI7$7wC z$3RkhE$8y8oWdIA&dFl<0Hw(NbDPrpv31Q1#6OJLFOjUN!z2nVnDW%}2!)gEqc&OO zjha_XDq*vV5P?lU%z)fJYsP_73y?FrDd0Z`nT;>(d}WBO-iWt~$^J*rwXZ-1)F4K=Az(XsB;E4eOGY}d_4Vqb+=){|WnNf{Y8XB#<(@85;bZ-*mG=0(=bi~uzlNjZ#&e1y25eXq19a) zaiT=_WO_`0pHT6Ay&KwLPI?(=ew0ufoDw~`^@~`gMgY4&bEYuNAeaBmSgPwPbJgT( zR{g9{x?8`p#?Bk2eNv7xtMAOIenBCG0kWH4!9|%kspBMy8ot|S4(fw&e3?e?A*?Nr zZk;en%lBoolupTvFzbK^o^vPyXa??sd9nj`uu-oydRM&r9~Xfd9`>U(CvfH zYldPN0|jgU3QrJs#V`#@gOL2K^ltMqsW|nDf&e2yk_F1oLFAaCtD93v@SnY>_(t1= z8&ZGtTt7NKZvCK>GE=6fD>!VNk*_L*g?tWK{ml}{!J=YxVc0rQPI)o66)RKsiWjlR0ijaQE`^`kC{Voi|kr^wdO=Ox>M?+PJTW(jS_=dQcl-AY%& z$X6By1eyfn5Br*S{BRJ4B?Q{cg~$5_cA%V8?Tfa7!VyHnXRb@6GVJXA)ES|o|CB6= zpC=5me70QuGlxBICJ*M31H{A3rV;b+L;>4Mxpe`GH{dGE9+kiEJj`v$w@Y&`p7Tr*WwZSTv31H3oZU7l9 ztW>WyLg&ZYc9Pa#zXJ2#mQLovTX4?im^0(Fir|R;LajE~NqNYvmn|-Stenm;5^HP7 zSUk^ighqRKy^};~kGEj<%=3{C17$y^D;jtq_un5Vt6IbB>a1*FKIZ}y4!;H_MTvXJ zx3#V93e;;tI$9&@i_GBY(!oK>QGngqQ=ju}W%RUzfkT$l5v@_`F}wStTA3wM$@6(L z%>@f>oOal>ac(b&uoGu*J@IEUmp-c$m%B?ejy@VzjblDEBj7TL%^{NfL3?GiY_|nr zY#GM(x1f!m&&{A3-?DDU2i24@F*oQ%6;25~^~dF$hsT%VDObdrV%xzX1n^JbSlM(~ z@sDs7rwaIOG1yy@7dv#s%DJ#!Ht@a|%>(Z2$o+rqnIt+VWr!5g$6qp)&4CMsjo?j_ zVULG9!=VF^@bF3YMuvK~qX8f{POJVoJ^z*O68P{Ts6y(T76tjWYwBAD(}wT0+oaaC zR>J&egxSxo9AQ=4-CJY2E(CZ&u604)C7{09Czq*PB49tm5vGt%4}~e8@axFSv_V_` z_iK*DilOl(uK5PNb$KcZ76mv3mPXsl&JLXKRlo0*U}TX!NIZwJbbe-LPfo&N*c|d~ zDB;82cp+QT3d%80vYB$KK~_%>z9uMyLl8T#TA;1#B&7*=sP#8LR{;pfJp~go_Tgo&Vyx zYaX|sd3*dvS5D|2R7!|}ZWyL4L{{aUXuX@$g5TfzkGVwyk0ruK#8>mb`)8#3Yp|u-;ufF3}Kpo}UJ?1lxI@D)C zwP@)sLsjV94os8pU;?Rw&T^u6G8;fm{791vapezD2x)}VFhrr=m6^Chkx z;HgkVxp>G^%9O&LBycQDE0j*Av$19?y%=#!6%DOQEwtnDemOxx2EJ3bQ@89fw4&sX zQe$yCA@j0QW6eU)18kS$kmnC7RfMRwk7J_5j5%imNr6p3w18gHA(?lsT(W`qtw6d18i=U?~}?RJsSiSurEkYOI5-qC(?{$AVpe$0)=q1cG?1 z{ih#Vj3v7yMoI_-eFl2~ch@*||bF^bH?EF{U0T5uO3!1ENKEFr`*> z-Z4U42C8d-ghJF=2R)ube^CnHN?#Wpc+)dM90u1QY=Kks_(_tu22QzwqPjYFGE=$P zUv%>@-+Z&0eHD6-*#Hel4QXpLQ6z)-pneTO_nxa|2f%{9Px&j=p~(?thAO0WwYk2G zlECwYLV86Z2DRN}It@#H5&h&54!3JAti3?@7Bhp4EQ37%oOxB_sY0-MBBToW3f%{8 zI<4uS3U$&+DB(FXdyd%jUg5?qSoP^+&pbcdH!xUu9mE%C0MUj&Um&~I;+Ueafu~Wx zX+uG60T$&!B#MzLyLFITOa}~^4P^RGAFKgKaS#oBJ__}P_%}fowt;rWu!17h{P*Z9 zaMtPm4jy2iuqp4PE_y72rf1lIlx|WZGbNZ{m?CVI0{oV@5a&l-eS>GyKT(^MMzvVs zc|NPf)bMzjK54uuUkmqpl6SA$OLp8#WrP^>V-2D6;~9`c zezao7Cpc;0vGnC7ka^Sb_!^A7?e%*8b$q-KJ+!oR2%0sRyT9k02KD<-$?3@QVU1z^ zO+RcjGLU?Q<-1Gt#nNNLGw#3JgrR}QY&w8%km}tM*y(^zH<}~C9OTfK1K^8mdJjgg zBgeAX*7b+?$mI+|Xn;yF_}rXB@dpr|lj!p2zCSNWlluv@c$^5Md;R^jpY!1S`MCRa ztUjQ8iqW1h3U1HT0qrQ>B;zR zZ)t33=n<2$95Z>r2yS@Rs>>&lpCK&x+{PdLP0NU9L@CS!2?JVL3)iJ)sReMvRoj$} zF^#h|c_qM2CV7O;O+k6Y5A_(Nmqhyz2{(>EF%IgLL05JZd35B+LT1WBoa`)-H^Iq5 z&dNghSZemv*Jk$0SY&yyeo6@Y9L8n7p9i(#y$ z90gUNpW0?za^)S$HBLx4u>>&sA?=4mDog$x+4&O4=SPI>A2)$xn`_Q@Q)l)|@ci6A zJ98Bz+Mm#a1hq8oEJq@8V|8XJdcb_DKN7+Y$_{EOITA)D=e_S$qXm8d6(u-X&XnT7*xjQ*l4^`i(^=G@2 zAqM_t?Xg)c^cy?Ew*u@y&hsvJb{9}7uuE(l0xcIS1?RKld1qcFD~{b7=3!9y)OMa& zGp#XXmdHsmVd;hrxDPZ$vU^`^Om3(u%nCg&aD3;^q~E}7IxGy3;3|xgeYRo2NxwWI zXrOqF_gn53#Je;c%qAh0ZLGVw)Bk<;>HtD(R=yd_F#p@^Yz;V{05n<8Y(E;D{9K=| zok~iAckIYoYtlG{@{L?=o|av-H-D-Xn2tz z6iuw+zZvi26~dq3+8_G8O|^*4C{j!$3U z6ZiYTglqa_mh~Wr_RADwxv?u^0`%v2_`47*%m4)`GojpYPO+dY^i!<+jLowLYiF?K z-4uJE79;Dm_V0MRI7haq5NPZKUw1!#7iBc+Zv*e6{6FeMI<47xVEUq@;Mb7PfqK^b zlq9~dKwlRhBU@nY0+@_4DjWuyn>^|T0gNK27Q2KS)iAD7AS%)ic_e7AInno-$oW1? z+PTmgB%2`e=rhpEABS+v@Or@=FrXQnFR&~_O}f%^!a>FM1CJ|=I7Oj8prCeixOCWp zqH}cq{F?Nr%zx%cYmRfX4l;+XOxU}C4*c}8Oc+7{C$YmXlHAfWia8sfuqxqvTT4c= z!eiq!jA?8w@Ya;5zpu+5|Cc%#JJ=!`_z0V4pNKSP5Y1Xo4tYTLMttm#eRU$>%zU1+ z`9Qt7r&BnsSMTxo{l5HCvoxWL-H=|txvAe=iDagJnN#EajKr8|vQUR(8vg@{#f{NV_3-XZ{x!qv99PKG_997I7RN zu)q;U+1>uywNY17lJw2P`3_TecKTEn3@NZj`fU~rI`B?9cs2|z;N~9fX6MwS0?aIn zAFesSd4ztEdrFd9?@4VMbBP(ONi;sFdSU;bH|x+?p5CYP%cCA~Hy2P*b-Y=XfPO>I z(I;695TY!-sDr7k(3>*2dEJ|NUf6o1Nxr-gMp+-;!GNnt;wRH+ZmRkYoz+lV zv|WE>BQ#g1Q)6TVcsPH(T+B!go3P~NOm_z(Gda(a*tQ!6Z;cZ*)4;;1zGfs zez}H|oLxKQEI8C-iZdHYJv7qc!ZfkxW1*Yb-hx&MG$3nN7&zRW9DH0{e+Im7mKd5; zg+u(cKP|NR%rV>`u4}u2VGa(-CMWLu4@Qs#oPi3so7#I*Y{9?%5fwkGMZ5y^yj%QP66myn9)|`Rb|e9 zMnO)2m{%*Z?XGW} zNTV4);z*;&71RHm)u-6a zg~8ZbRT3j*iJ+16FiZ~2xc2!_fMhJS!$q*wWhk##DCbXCLTNbTm;^Qy%yh_(BLA_2 z6)Jw{WSLW=RMZ%0_>_t~TTfJN0u<68G=)C^Ms5?>3}6ZVCTJ0VRr;w=Xf@QzD3)vr zptMIjAIhY+znfzO{YNt7^k)!hW(0sW`tCXn9?RhCYMdv#>3edXG)j^VtBnsfB|s_; zfW~l4O&{EPI_BPF_5~1_8hUx)$QCvZio&ck^+h|mvMNJ&gCLA47O}A`7sgLFr(nV3 z5hq5r9wE5Em!KNP5tp9TBx;mPq1$j4H&oJ~(=SX-fBzP?d8!&V>e6=|{AaI>!S=W^ zT~X7a_NRnJH0mL_=}%)Q%7{iW)lJ6)fFmWhc1;SUda?<=F9|MNypN-pFoF-G-Nhpc zllX`WYnr8}+2qiZT<4)beJCQhXR^GRJB+5FnfJ&{DMzU7iMl^uaE2%#;b)#dK!xXF;88qamys&3?ae^{c01zZM70WPna* zl|~|VC1vLOs$2R61EJb9+HWYp9ft(B9-#`S+B9{q{Z8$=dlmPH<1kPQ09g`8m#`7B zP4BDrx%hNhlU(L&JmAVVG!{goVB)OAqgDbYht|M$(#0lyJo4(Ry+=^VnR_wT1hvH6Z z)9z$(&C7`k_DBF$o{iiC2(7pMi@8Chk2MHeqW4z9?)q;?$qV#JfYo$$c5K(YYh=1<++9dRILl*ZQn(uJ#g`r z&zw={|0}+PUkl|Zu6K|$WB(h_q<&j{8In~NG|CV&hOW>WR71b5{ypOoToTq|j^|x1 z1JWH;hE8y9cb75aKE7`j*sbTj=X=pcFh5w*J9WEbYwD3D^*hJ2$D8wsqD%5U$GX2& z8(6O^PvWOfn#cq2&Az*yLjAAc?yvviHH9(>914Xh58RE*z1W7+j&ANX#e%?rLQ8*+ zl_BHUuj5g_c*iY(r}>!7--GUFi1YWFwki_3iNydCb;v&$b!dp_CtWKtabGv|(jO7S z_ceQ1je?r$)mhCXxPTt^FQ0F8YY=8_vR1#TU}NAPTrfw#vrg(U`l7wLv8U4xK-a|v z^=@I8q4T%-5P!OQ~Tz#P_f z9l?Zf zhS*;5Ru5r7OLlfRz8koY_|5qnZ5YDWb<+n~PYzkFf(qOvWo0k&U2n7r{u4uvsH`J$ zAhCbt*iPiieauhH1pLSJ(5bJ zRJxgWDm~4Xa7hzKDNSgR+FD8xOQ``lnmUa5N{EX16T(rwi9xDKLRoctO@#2jiRea% z#80)*3u{Vb(?k-_FB*MsH{!3xj?e(J45h-vB+f1&!66|b%Fe~jEFvz>!pbTx!pb4R$-*hj z%*i1@#P|Pp(T8D_Gk36bwIX8SV&_QyXCDN>&#<;5&_oYAoj%>Uf8lmN*oi}RY|I^w zl^LX)^%k(*sP*(F`jDxvh;sS}&L1PzlMpGBVP$vW+ zMi{7DVQg@+N6|;s+p0wrRs0wTfm(shywcIQ+S+PE=|caOHSmSl6VrVb4n`rlhc$eu z!qAF#(1)O-!c-5Q_2a1Ps(EP^<3v{xtW|Ja@%^^~F@O|t(`YP;H!{-1MWf3vuLXIr zFu8C7jVnZ|1HMT;NTDQFEzT>w4)+h@W-r7mybhwXa4{c;>Hw0xaIp}F+!pBG0?|?& zf?t4Ii+l}bjQKwS7z*e0=tgToJ51OEdeNHE<_P=17PO6MhY0(@RgM{0_09rfR z0m4Brgw}yJOE?Th(E8B!6K)5iXj{s33q`Bv|VU>2q(dA zw0{Y-gm4N>qfMes6KcaAwB2ahMJJs>n?~DBs2kdkb_h+U*TWn@n?su*)QdQTb_`9o zrk8ja?Ht-pLK$!rZ2?V>CG(D>-9j5Dl<^@W;#7H{SE8huN0Yy!gi5$GX!1y}^DH=r z)`B)dxB$+hb)w0N3t$m#E7}m@MQ{mi8-JQ?ybP|O4WJDWUIo|C2GNuP*TE9nFxpna zWpD#+3{B~C6Re=g%PoYrz-_cCG^O4uSVNN^y@cxldH6iEej;K+!Ul3THxQ%kN9!gm zfHJgMH1a+#2Nh@+(K-n$K^591G-@WV1~q8wXzhfxfMWL%8ugY_>^a5m4Q(?a#ebet z>|VuAt>zSaPO*Cxdn+Nuo>T08Ga7ZC3lzIofo&wz2`F~I2Th0R;uO2Tf>tEdjZ^G? z1x=UKLx;CfNc4efB-9J*MbigLx62#Px1i~RQcs9m`BpR)wjLFy^8vJev<-x0Nj`+8 zMAB;_!}1X{B~1+>*_n@`DQWbI$$#v898JkkMMzcTJJD3wvWJSwC(u;b6@*k{z8g(> zAZw}Qd>T#fs*I3g&-b9speZdV_Iw6S1sfAm?D>AQMKq-p#hxEPQ@$_}

{;2rcAG zp`@Io*mEYd*z=QU?P%0OPO<0nXn&YjS|Oy^ z^D}7M(5R!FV$aW^VM^%+A;q4bM;k<=26Ku%UqsuEwnRv==RAVLloIuuQ|$Q_v;^%M zA;q3wL*qr16l&)sw1a3@2z8+wXuO<~PNkdF-RrURym}Gg4cVPAy*Cc&ovw4l9yGlx zTqx}Yb6^UPB_-XxZcW!X27h!{r?~E{MPna}I7hQSEf4o1Nk7zaDR zPOuA1fJv|$Oo3^z59|lC-~c!X4uLsv7#smd!7*?goB$`mDKHOCgMTyNEI0=iz1 zEP{*R61WVmfUDpdxDJ-UGPnV5f)#KJ+y<*40eeB{|GL&>t+Ir9p{Q`iqJbAQS~nX{ znHP#o1jR}aGHlQ5(h6kBEZ9d_4O&3x`sSY3E;VdbM^R*S(xTO0YQrYb1zIgyxFKyb zyD0g`0N<+;AET05h<{E-n&^ALAn3N}-GAsKYi8PMEE}t;1+$Q!Gm{Al++r-~Y4$2U8qOu`H$eOy>aRrI?pu zUV04RV2W?4?(d}8L;ulP)KB7Dx&Y3YeeTQJpav2f(_7%Y*`rTsgE~gMOw|+OWvWgP zFH`k@c$uo}!^?Dq_o95kOE2GUn|VEna&5XFOTr`R4dZHeiM4 zXT@W!pMNrYV^U|Kh&}b|Nd}Mmo{IOg0QWuad+hNC&E9=Whmj1PWbh<|CmB4+;B^O- zvnMS)dEm(nk5OK?K?-=%!c)_pWbjn7$7Fxe>?3_yJ;~t715X}!^1#yuB-*-cam8yI zkqn+}@)WjLGEmrl-Qs6|!@QrwfX{FezGLlorGN3^PAWhpr~=hs184!Y7WY4`o$EjY zXykROD{TUN(UWGdkqxv=$tFP6Cao4vzM~UR>`5Ew0DQ-jE}$m559p-579aerj!@UE zj!gZZnqGCe!xo?Wt9GGlNz~Sp3CR?Q#Lo7$#Q%?O<{p&;%ySK%UEgH@zM8Z}zQf4?qh)MS;5 zuW3}Y${)P1QL|OPD&tEVt@1AgjasbopKoi_YE|n;G}>fUZ_Q}5*{a7s)Tqs>KmTKm z+O67mYSdxX?<{N7Y1JQ`(WuL6%G)*Swwk)nXw+jhMSTEDy;jrlNO+0ePX=sR3fKw; z%L0b)1dLt^*l{;tvOi$@f2n|(KLs54WWe0LfaA3R^P>Uh&IT+#5OC$WfTfoLR$dQS z`!L|+eF66$4|wqYfQRP;K06$cRRuiu_kbsU9q{C>fUj_tuRa>^%$V+!Y$_?6NTkvw ztNGp&S|vFH&H}B1Y1!*MxB&E{tv_omy<7%b(6|b&f$LxiEQ1^1e7mH@2fK|0@+-iRMW_aG8e-!;6h0l4>mx#m)9||-!F$yImMNdWw DI4`&H diff --git a/semester4/fmfp/parts/06_exercises/03_checklist.tex b/semester4/fmfp/parts/06_exercises/03_checklist.tex index 63c83b0..9feaf30 100644 --- a/semester4/fmfp/parts/06_exercises/03_checklist.tex +++ b/semester4/fmfp/parts/06_exercises/03_checklist.tex @@ -8,7 +8,7 @@ These are (some of) the things that we need to learn by heart for the exam \item LTL symbols \item Induction scheme (especially structural induction and shape of derivation tree) \item Ideally for shortness the CYP syntax (roughly, they said they'd not deduct points for incorrect CYP syntax) - \item Promela syntax + \item Promela syntax (and possibly Viper), but they stated that we don't need to know that well \item Read through PVW script (it's VERY good and has some handy tips and tricks for all types of exercises) \end{todolist}