From cbe8f0fb9ccf16703eb4a8addc1b9359183727c7 Mon Sep 17 00:00:00 2001 From: John Wickerson <> Date: Mon, 1 Nov 2021 10:03:55 +0000 Subject: [PATCH] removed task 6 --- dafny/2021/dafny_exercises_2021.pdf | Bin 85995 -> 84717 bytes dafny/2021/tasks_2021.dfy | 20 -------------------- 2 files changed, 20 deletions(-) diff --git a/dafny/2021/dafny_exercises_2021.pdf b/dafny/2021/dafny_exercises_2021.pdf index d21d69e88f8be21deac47ba5cb97fb3d7f510416..eac69704c9c301a9b80873a25773d1f7e4c97fe8 100644 GIT binary patch delta 32522 zcmV(uK?xawG6dL~JK?~Q;e*XI^i5Ejf!bFKiF;dtEl&y(HmLw#`cg?Y; zoBp$jWLWN=@OsyFP5lRM3bvVuO%iN%CL~?BVsE>rj`!6C(~fR5Fr2a@pQbH< zC+{h1T5X%*aI7vPao0NAmGxnEf~R}hUzB?k0Y%xOHXwc~;uxd{dq)u)cQ;i1Ws}6A z*lbOngb$lchAe5Chn0PFRRyAWb0lhR4kf`?qyg)CPM>5f-|-&ze;>@ks7B)qS7#nL1j z6~4zRIx-?o_5al>U%hS@e%Ch)vo%>HVhFRv`;&#h>5nCQ7e@Ngf_n7<-0LqyDSI9} z8tbN?2mfSPjH9FFf3=gH!$;Q-g{ymJ@LX2a2rH*^<$5=scAXPzhRuaZV$i|}ldc43y~=BH9uYh7&NKl( zY0!FLi6l$Ie-C&Sz5p(jz|Gb>2VzGugF6}` z&w?;9Bjbo4qAf9r>}+2)^_RGihL7kj12aFn_Gr%?fBitCtvmreTCU)x8o5EPU9m=D zgo1j6jnSbMSFE9Pp#d&=*P8Npkq;x2PY~6D-n4?4T-LM*ik}dbJZk#Yj@}N|Fq0z1 zn*%2e%*esEIpn^?u#WM|k}MIC;?0xFn#-pNfotcA5k#-{MQEM{XZ^)SL2OL`>qC=R zHZ+cJf41kej+x`{4|l)bVLp+8@_9SUq9B$^q$b#%?tcD71_i9as|k~5!L#3a3QPty zQ-s;H3O?TbxZq)g%na;+q@3rkF@fz0HbGH&%OuK`&^r4(CZjg*U~;RDFN1GVsnSA6 zIfSM5b%cM{kHh1s>^ks%bb}la1mA#BWG&SIf0KO5-al;=!tX$5{cGc7nK+T+!6VNQ zpo(F~+bj)O=~YacmF0d3KyT+b!O+c%$iry!M5SMQx?UwYK^RSpLhNoG8GF z=9R~?Y`>n)5+T!cJdV&BYbcB{apARd5gQ@4CKHKFmumW8RS^d(PN<5-DO77?W;9?pibq@^gonvZ_6LgXdv`j+$A&fmB0m}5>)uNT2?o$$f2)Pe+3){6qtD1AWcpReOAvYQId=apPlA`$ z;a(CIl?1fq!TAw8U9YU_PQ${3te{${T z5P8>&0ublgi~?3r2zqc$C0Ayc@9Pd)UM701NY_7Y_zfI+Fx|J!iQy-Tpo-6yE(+y^ zuUyM!fCCC}`QmKL(@$C_ILqipB>g(Ljxi2@`eFqqr>1Zf?VZ6OuJ}FyC%#4EW38jT z3}0Azloi&afLb~?ubNigc7iY3e^%upQR}wVY+IeGt8I~3*1c3 z()=qEG8_5^il?gct%`o#IdTXulfJ_{Ue>@rsWITxx8}{)dLAADZ7W~y`-WSGPGF}WqwqEJqk;C)xo^t;AHyTjTX$~wEce;eGp@)u zRXmUdDD+`0cJk2TdYONg@mS_K0Cesk(*`3eyyH=`RZLgHEo5nMOD`Bm1;sK8T78{ z=T#F5l47i)H~J;aQrf&&Pka`WQJr@%xmD-(Zx9POk08|308l;BDLtZERC8d{{{d${ zH9iVuZe(+Ga%Ev{v%(0p9RfErlb{|}XTECh z))l^*@K`EjM=p_dJ}lb+f3fZwq#Ydl9IU1ZqO>)aisgv%)ZP5g4Sci>C&gaT^1f&HoUL>Be%ZSprt07RbU*#;s-dA!)nE~~bTS9ZI5|RCI9S;Q z0LmZ-b2qTMlY_Dozaong&=LfA(|^60YHux_HLGc0eI6}IsFaD+12UI!{N>LmQ2+N3;|oXf}A0Mx2mdAGXKB{ zu`z@ERT~U?GXtEg-aIXxEZqKT>2KRxnl~%N4CDv~K!Bc*ziOES0hS=Jv%Q(ue_QRh zWX`UjzhSt6L5|k{Lck1g1zMZATG|7_;I}kyx&NBZzxo9Hm+sA+o$bB;j&}On>z^1v z5HQf*iWP-}^R1=@V7E>E`^OHg}-w-vgrmYiAhVK$uxN zIof*xEP+-iY|2iMw~_$*{~61yfB$ED(|8A3q zn7xfe+|l}t7Is$le<(p<8IUK?QWXTTumM<^*}u)}Z@reICD7F#)(#5Z%Y8t^m2Z~_8+Y% zIa&Tw_$!Tsgp()0hlPWO55U63&GGj3-T?9Quz&h*O8%XQ<6p9p8N?Oj2{3r;o1NqD z?*HTWFUjcN(nvd6I9dL+e>NHrGe^s}P5Y*_rw;#=uyy`2)2FI0to7ppFF(BI z4xOL36&QC0JMrx4I+B2=IV7K`7`k$?R%ly!nRWu%jEm4xk8~n@f6itV*WmPd*tK^y zM%C1f3!e~3$6L8vk#m4h{78 zbzH!AZ4)zPMkCV*n&JB;9#SMgyi8rM>MUO1AKZDJp|pnFob?qJC0S!F8(PwotSVL* z{lByIFjeTXZp>9xf8Ja=C?#qK8bwGr+!RWwxmE2?*T}lSHTCw+kwVqQq*0W>KWN2t z-bOY+;6jIXZ%`(A**~yV!z*x=S2xptweH0EdH}^j4p;oqlRIX}TbT1h;za)E8gsu7 z%1sx=h5scCKho)o- zC}#8j_NG5y9W)tqJWVT>Rk?Dl|MFv9>SjHJ>a?SoIElgVKgr?>^ z!pLvE^Z{VNe}{w}Z|w5131O1Ip$orf1uqkN14NrQkerfzlALltHp|-eUbdDI@~FhE z0-DE8%-&nl4D|Z!Cj7mfq)+7=gt*9Ma(cC1#TAJ({oC=b9c!DQShFvWzZlI`eYs75 z8&3OYq>l8jnkTFzx>MuQc(F`k)9PYAAUQ7M6J+C+f0z{e$=4|(Ij^SP>L9@w+nE~~ zODQ73NY*lKc@tB^X&0@;YlMfJuAn7WzFb5|Oa}O{)#@E`w`0es$l|Qy{^QyWl+lZR z)KzSQZ+cACnia1sYQV^P8JkpopJ?s(gNtw*#xEu>Rvm+E&dKG&4rzr~b=PVQ7b~Zn zEE+_&f5R=bPLJFc6~4qX!4$tu5zOl_J(xWBb+WthC*QYtV#H=H^n5XkVK604Iw|Jz zh_fXY7G(FBJMH1ERnugXYPuX#(9}!9dRMyswOz)YyZ0df*z(MW715VL1!2z3`-77*$ zD$XYsBdit#ivd&T-(Cs)vFyMf)$8u`;w8iil-7(zb5+4B0E6k^?NtVR{YnaT>UQI%cg@U}I%7a++@ zP4_2D2^6!!x1>~sFvEDUr2JfMr{g_%f0l3=QzaDE|JYCSX`TWvERLd>_83qudFa0C zzLMofRPh0q3qLM~jO&3{iE%GHB%IJyX04wGU)U(~s@DL?r$;#&_vwVUOrjkjRqxN^ z6h1Oo5$MMl^H?)4o+2)Z)AQT1xnZneo^VGG!KeG^UQ>sAZ6^M`jzCISwmKtuf9yAo zKHvLHyD8w0{(O<1;mo@GQ3_}wl*etY%|_)JyoHS_Fkk1A7Q{$Qn!K^*u{1NqEl3Ni z+=3KZ)3C)UruiUOFLg?UtE1@&Y@NneR?CVx=3X4AP23^jr?v=vDyuTcS{1$AMc9mD zJTQPCTb6H_ces(I8AucH zD2w0^^mQR6Bd`60{z)CWar#bAsLYBcAAGe>(|Y)WVR7H-9UsVL7185!f61PRZS7PY zS1i)zBK0HflRuFeReofhg20Ir>>~d8VC%a&>~})HBt0`F^}fFof34!7bzG@|2N|%+ z%ZB>ZTo#rxATBT!P-bRDQZeO5M*Gs8#>KHKqKoRV1nqJMyE*ABe995rk2V$~+Ci5qR<$5JE22I#t)sh-}QR5cIhQX0b zNw$b)6O*EuDR>wqf-KwhQLk->sj>Y%ESis)Ii1E((Roc5Er%@BfBCV-NMUF8aBCCA z2OZX@$c)6tdRr{Lo3DTy&xT%I1+p@JDbadtv$z-a)=*5~elN*cKJGVqI%!tlChRV_ zRQ@g%G`4+FQ!ydE=qMhPXI}wP-aS|4(c%w@sW|ILeX4wnn7!t7#R^f?B1>ZhSfL(% zxHqEj%&$-fjo4q8e?4+`=C+%Y<_xTZ{5Pr>PmYtZu1?FCBKI_yrqZA1xcXABwF#SyE8HX&zwV}DK!e^Vld;t{bj?Ojo@HE))*fP)uh9FJ1o<5fMj1y4WL zsU37Skr~GFe`!pS-zqf-Y9}DwoCGuH?Psv$%k)-Y_uyJfM_=4#PX^uf_1yz<0+Vv} zCDj0=w_ZvR-+j}^o$dg51~Mi0aAWvy1>i9>jHip(amwPUXZVCv(gc1xJ!bJuv>eQe zyjOoOYvnO<7V`NK>dOwLR*hg~LgHSrpcc9s!>>A>e?J-a6$;#7Je6ByLUll{fpzjC@`-n^ckyhV8K? zg`3Fuf0RN$?gNd9ZEaF1Yg=HkJgA(mae3OjcUU-Y8fx4vXf*uPy%Bd(k|e*0U_KjG z(iyRwmu7)U&E-MX6(p+?!Nv!j=PoiA#jP9*zu4Zdm>Us36=5eaG0@H}FREy=Em^zp zo(-jF%%pVGRfo!{dn!}jU?Kf|mRiY?_;mn;pN&uw_;V4T7EFm;WX zz$B83qCmW*KMpd8hntMh`9GW8z`@JxS|u6oNxTXQa^(eZ;${1?NJp=|3X}b7rOAiV ze;@q|_I9cdnkg9ut7l8rkZV&e2DcVhUZyl#e-%?m#4Ps}t*3v`pw@IZAH{&$G8xnn zLsaa+0SR-7xPfts5GaJb`zfH9Y+vvtV~E$g8SBw zRub4p`e+dX_mqA zYsd4=YAwuYEj4RKqv@Um6CU0=&~;@1>spz(ev9Ud=kn+2U^mN5GAS_;&dY*v6Qt;# z{D;VWhRuET2~f@jPe&Zl%IK4if7&nmxDkDCnu(W!#$$=$%bdKeS9GIZpPTbJ2*RpH z;y)ef)1;fEKk%bsC7+!1M&Jj_TbM>ow;NgMntCG`X&Khy-+e*eSFYE+{nZ5&e^@7* z3sGQCfGJ~NzwfiLMbP$2|NSjMOB9|h8QZf&i~JU5O!dzkupZ@n8dZB0e{B(W!G-mj zSpIwV#wqc{q`oMyG=a4!O|XB0*HLS~N_{nGM<g{z*NSJG^|H3k^B zt1oxCKJH&YgyKm!$(*2>bO=?MbXwJ8k!p^ueCk|5+L1}6Qvs2qLuc?!Du$CP-?2%@daiN5 zvtDMR&TymOW}wZ3C(<8RS2o9s&^^o-I!YE;>JF3!`@Ohvk*|hEIcS9oz{e=Rih%+hU~E%0af`Mw-|*UL|bUs4e95y<#}dnja=DGp}W>Q>ppuT|2YqTS>~lkluf<<#w4GM;G7| zu+5ar=77b!4aBM_B`Qf&j1Vv3jMF&$8g1T4sNjmU5S7R9(4eA$V+3gGSL7G%Md-wi z_v}~YeqY2}htWPb~1F<6<_n)~gf0*VVUAD!LHX4|Mg`t)jpE#5tZi`V4t;N)Gl*ojh1P0{30mo8y*aTgqENJj8~%zh%TqV~{FsTDt&=uJ7Vv1cb3aW_!P=9doN#Ks z+L8mINnG4sQyF8)wHz&04AF9FqHWGhN>`R>*0ApH>u{{8lG`NecwVrgXTPT;`+3#o z$$ngM=Hg5?|4vu7=v9QoO#(BSqLFTZv>t6LZz92}I)SO?IxNN^yFp{ot|0G9$8vXWU6Gu@SIc%MO;o7XH%P ztd|tSnGB1N4zKRuq}U}ulA?EKlff-L%^z-hqIq}UWI82?)~2K&OBnV5e=KA}*KXt( z;Tg|hf3p&D`hgg8u!M`hd{~iWMx*N@a&A>Vdw8kcY#hdNOly9L z45RV`eK%4n%YI8QGiGlZciNKTFIAzViuv9N)GqnT)al!fz+9 z{hX4>e5m~%)0FreOh{lBPnMjp7o)lmjt|AEP6C=PU2AFwO?DeIf7MirNS$2QM^|X{j*o&CY!q`5%e0dn`=dq+^Lc66_jXfvrb*;SAf_j&C z9w^U%=8y$AyO;7!e@4)hxdn2|T-})cO!E_e&<@Xe!9khH3wx(Sq>o{-nPjHn9X#gu zTO#$8EwW(?7l>%b&C|IX+<{eZb@{aYF}E!qpIC4!R08{>7zuDp>##=yXZJoT--N=j)-#%a>QGB(_V|9E)cb=y`)sSb>N%gssca}C0g3h|5y@_o$s5U`F0-S& z=Wo@d7-2XUDtN8n=k?85Wf2%uIRGLqkxLS=NvlGve$GFP{7Of<)b>O-|#c1HAq>Q%ky5e7OisN4qA4#hnT*|EqOHssSqYP74 zlr)OwRqP`ldB1{f=9UGgE0tqgOz5T|K*~H}s_@$qwx6qwc1ps6wmSXoJ>8q|>L;=Rp|L*J#d`+{Olq-oox$??b${*ML}L9cQ%Z^-6^agf;d0nV zumPs2V)o2w2(x_7by4C_^WLI>lt1vn1TzHCG`*97uNB41Zo!|DQ2YZNg%UNTwiiqU zJ}xrJ4?pHKxWA6GB*NKqkgvC#^g}(?eWOx*f4(7x3R3gCTdi}?_Sdtig+gA!@KQ6B z>fT2cF;`ObCUN}dEVgc$KXB>9)Y20rhvvAC003DO|{_zw2eHj#Z#J+e@`AE zufz&V*)OMEpar^Bn}Z|sHq@Fi6TenU>uM_2o{J{EapX0lcr_wg|E?1(e6iW(408QK zM`oyP=g8@(pD9!L!N{F_r5Rg6&;vU|MhEqn@AtGm=GTDyZZlKcF(^}i1BPTbxU17(dTOVYG#WS-a)Vc;4+$qdDMLFane;=XWTUiZ2 z8PAEmRIg21k!DT5Hu3v%e6+#h2#Bzm7#WE}k5;DV>C`XHs!)vXgcUlykvft6qWl4L zqRw`8n3l_f2cZ4~6={~yWYF@3o~mXT(ChK3flnhouSNInLSNLD zyYw!<#R0G9+M{kS;B3z;e-3jEI>ZI@(PRX*`-9BJ1)V4F8oc-|(jg%Hlk&pC z#rF_nt6JFty+b&@Mt(Pp`_I>cDkJZXWmVIZudVx`mgaPtZSERmQs;2c|6)oOHCd5zuwQz>)PW#60eTS30SKfS$|HuKm zLzCD7#R?O+qu9)5Xd}xvpjU2rITF=@I*X7KG5U-*hsm#$m>SSolb~0!foY{%lqWML zCzqVCNi{A&t{)taQ5stCF8&kG)F|l-B+GMQ(8uT$_HaFSH1!MDl4@Dm)0X=K3rr=- z*vte2P9?t5f1$j3H#bF^AR@Zvy>~7tkA`%cBT%FwFjP=5PTQY>E)=^*VWOa8PiyC& z$BEe>7oJ6@D-eNXY;>&YBRFBybvj7|ArusFY=~#kL6Pw}ND(f@Bi}WvmMHsygseoa z#pR`*6*Q1~EIItGaESXvZjO`9**s{VAB8m2k9Yq1QTnPxnHLm~_vRhLfcj!=)`R_k!vyEDA+E>?#ta!c)@L|5?k zJSkOLT+)>xem$@ZgqFVQ_GXH@^A+y)_~NYH-~VV}cEmki@n*)$`%X6BDw51bV=#tZ z=P#}@e_aHBjb!zLg}?WCof4?}b=dEKjlz#L9lTr#Ah-)E4Nx34bI>!)&56QTgy5L) z&51!P@tq`>D}^6N2LuDziv#Ivt`x!h6VVq38HQ_M9Uj`(Wma~l#Q6B&^VCm|^s)VF zbdFg*G7(tC_C#v_A=CYYC@T%E7Bm?w{wn(EN# zf4XT8&ymGJXC(5#N8czSkJETxm1O8Xnty>89Jg7E)bzynjm-`2_WZl^A&{Ppc)5EI z`VKkyT>`>ha`V}0av9$yzp{?q4Jopvn5(+!m8>0k&0Po8ylW(>{&tLX4Cn$G+KiUg4Fq)NfQv{_%2-Ik?6i9w56z_Rf~)5IJV0IA zlvjk40TzINZ_w>Zyj6S@9Kd4Jr6BD4mG4C@mo$zmPdg^$eqZ^J8jTiifb><;y33h!e|uc3F;HE$ zXIq7jNOa^Zi=);uJzed;^@@&la*6+h=xNj=O-|kv9oY=+FbU}tXGzLC)O0rBoPTK{ zK!x^GvZYMN^uF>Kzx=^VR;@Xe^r>g=R6AGB#Lkt(Rav+ug}$IC<}&3_zsC7o41CDL zv#zX@x}Xes&1wAF2uzrBf2mswd#sbsNw&T3rB2T z7e<3WpH%M-@JSGtz+OjQ=SH>AUcg1pZPqLf`mW(YGdydu+SL_)$rWpgO2>yltxZMV zjclpi$C>=Fkk_00t2P&sU*^z zlc$`vyi3KIQlY^Me?&fp_}go~2OXz!J!En89ff*CHieN^VM*6k3`Wu9^NxAZ_j^C8 z8elRM%`k^9KQgT@e-iQnRfo9JRj!f3)x-^n=Rqofim!HGtJd@JaSu`E87GU7h6O9{|@_vH~3koxkvp zcKbK^K5Ab5s*WL>c)iwVzstXJF#YZ5(6|88R6%X!WDc zpWb=P*$kaNg}L4o{AM@Se`VWY4mHNj9r_A`ee5in&R4z(WQcv=PZosdDhmzsEpX?8%dD}AINO@Sd+@Hz~B@15O|7{oa zG^R{};!xRPe+0kyV5`V4?q$BdDg?D`HD~^mT~&8jM|BSJ_)V^35pFWSAD6E#g}217oOv zsKHJxe|2o6xZ$5EZUu%F@+Sf+qRT~W7rByd=-66iz;3Gap+=U0$K)qua#rv4*rL?g zqTom?-5&_<{Agc<13k*DN3RMUdef3dFJNC7ePrO+yzIc4?78T6OP~ zGEy-&Bm`z^AMk$o6vTnUeSY3&hy^CIQ&4yDe+KsIBj{%&!(Xov?<@(?twvzd`{w6AZsP(#hcib9ES-pVzw?y|2YX80zV!;nO@tbdY(B0W8C ze}a2M?AMZ9Poi@?CJx=CZ%%_t9J@rTk!o!*UPjXcFCB-$V}ZiKp|2aey&r)j38I_p zw>!l9L)UjgNc{)Ol#;e?Sx0%Tmr~O8t1Lm>A|WTrtwPjRBPKjLjlp!7SP6ux&6qz6 z>uZ+oohW+AP_+mb5q{Y;PU16$hMsa*f82NUENrnVD1ywQ_fO-a178&bTU9APsP`km zdkqdRjgkMPh#8y5h(wvMJ0^N$mEsJX+I{@Als61_{vBkqXjbn=v=V1$g^nrd*;3@2 ziPk>?2mNt)h56|V&I3vz}?~sKu=rZr*MJE2(khWZDe^rlo zKL@44*pmeh0=WY5R*|pVRe*Za9v_BPef}{-UFcOQF*aH_lKYQ$Eo>sJK6tMhtqe=r z+ukGt+N#H8O)nU;K1KoKYtOLr5!(Q^&A3z41#fsBVy!; zE-ig0&Z+X@egn*Z6^lOe@a+~ymhnk zk0p>k={hrdDW?iY=_1o8-pCvgpH$|N&p0|a>BGa$`)3<4dBP9pvoBKovqm-NTy|*3 zFpkkh1YU74l%qN*jaqDih~Hf`eXJCjd6k{3bVWvgI<0f2)qs#5r!cP1@6Rl3FBD*e z3M5%z2ShV`ub#7Kuhjmue`lf9)eNCnjY>$5`eYZnl~og*9R`c`EahSy0Jp!;6|McE;n;hJ=*htHgKaK*YL9iQJBH`3SD;1RmUMGU$0ng$!$z zD2V1Vz5LJ8um^%I@~KNT7%(8h)4_11}J!isGtyf8n|Md&w>grU&Ox zg@rDntaZ0>=xEAP^;+QuhTzu9bF{>o0CUihp!BHEm4;}!*chAoq1-3NKZJ|A zG+0owX;~>?2qHK6JCGIiv!Jv4{CM)syt;R$IGiK4%|`Ub{2hyn#k}$x?7!{#f5!1H zeD$G%r_(3#%ut%be?{eB>1aYwgz~SQ)bb9S$>a`qsNPZ;sg*R>)?Rv9v69(gAM+2g z4>sgi3Wd=NV=wb>#z90j=RaU-Zp3lpO(Ka~)|*Z!-&EBzf0&dg@r=z>9B4)0R$hvT zIm+3GEb_rIp4rY9GgvCfug>fJDqsi5#lY?2?^1JY{~yKj0uDo$AtwP7lZWLb0XCDc zg%<=iH8VMrL1QR?xMfhBUAHC-1b4R}jk`l|cXxMbNaODA?k>UIo!}7MJ-7#VcfLID zJ7><+`DXsioF83v?w8H#P}C~OV|lu3~;gsnu7ki0o_f3_W!8p0ro&g8<3OJ-){iO31H!9Z0r2D2hMf? zkgch;i`hR3{FR&A{VO4RN4vikHh*=0!IbQroSjS^LH5pozfqOMB>tVJ^LJzCe_}g< z{;C0X=6@~C>`Yz$Dd}Ijzc7Eb&c+~HCxA21-T9w?SSCP#8OX`r+Suc7?7v|4j-Y>~ z;o=0cwfN5r=mCyE3u8w!YoL?UUzoqx|8(a+>jeBS)f?N}TYLP=+wNah|1$@WvlGzT zoDrUd^>0j5=fANnK(_Eq|ICWCt+^e5h56rdGZ*{+(76H~|J5Mse`bc}ZxY64cDB|Y z05hO}IXshso%7$20P6ocmKp#1Nd9l2_`ikV{}y`x-^l&19Q`ks`2Y1j|5s=U7i((; zW1GJN@b4W1_`76`Z2^Dx3_uR>&!Vw5cKrYO7~6oXJ^oK#|J7O(`0sT84`9;H#(&!) zY-{nC8fHf3e+xlQ5+HY=nG(p^^gF=Z*!pjO&;BJ>w>1MgT7ztXf4TivTLBC#%*_8q zr}iCWYGwNm2^{}c0d39xYXyJl`d9u;!m8>La?*7Fn+5wXL#4li;H>6h|2Mb)QH{Kv z+5bHJ10y10=ML~u_?1Cd736ds)5=h1i!isudOZ*Vy&=rH5~GR~o(5hA=iw@qGOB zSUjikD5l6QoPV+=Z+eTZQByTPh|)zW{}=bS1r4Do}$FvPGNxJBMM@G%PsXY6t^^u;kD{co z--GjZbQN&&~wo-Nk1Z_Kb?pLT`LUQ3PtUSwi5Vp>C} znFtN1++bE9*_yQ!QymR;e}UC)H3amm^lq zVS{QD5L#v!;$H8hf%@R;9%PTna$lgtCJd$oXyLxoLKQ=~6+SP2(tN5W#ej-r1A&{V z;2H-1*i{yShA_)hSoMW$t37{6RAk7jeiqxmV7Fy+GPHFEVYBZ<3wzwetyu{4S<=A? zoGBL>qcVT)EcE4z+X_@eeFYy?(Eo8P7ovCjwe64CLDG_xS4K8*EZy-AHreVy*P7`1A!!9{ z>Jn&iJ*Q}@EVqiXee5_UE0d~O)mb>d@fKXIx4#R$#J#wGNuFjk6HbEDeC>5&!(v%m zKk;dh%lrZ{8evI5KZA$A9K|+M$3e$oos{moV$2DcrrWDG8!9UNhHyuai?&OlQs;0Y zzeM9tIRN#}--}CTTxJb#2=5>d!AV9tzcEto&YU5K!gAvEgoxT@>B@*ROBOFoA zC18}kD;TD_+|4iyk$^LodsUcPR8%S3F!gJBD3mZ_MFHgJu{2`1Vjvw?bSHyMIG#Qo zme0eJ<^UxPRUG9$Hj^~fzH>cDO#?f|VwjSDUq&MS+xe9Pc7~Wcw}Cy5-JsYem;71s z=PRwW#lmR^+#E*}XX^$ys&W0LmcB#$O}}DhCN`%WyJa-Qsq!%_r=6Et22;*^AX0jU z`Pi(X@M8u1c^_7-W(g}|9D5nKN2V`YRQX^$@?rhaR79~J!euja9|QQAUVXRoR0?T- z@AuT72f`LSVNE_@ihL@V157?P;*0Ucus%(8oY;IUnrK8Jksx3TYa4NCSm_46%IqIJA|Tr?pCUTP50v71~hN(y|sz-8uw z{jx<8d6;@>T(Xvh#u^YEP%0TS`lgV7i7ORF$Pa^{`wsH~B_v6AZG+4xZ3>1a+)>o? zhvv8`eg#4;rHmL$xVRAW*K3Z$WOFcYubMfP3vB9--K(_W52Ki!)WlAQmP)lU<0i3k+r*2^Ych?0`q|(v z`elBc%lPO&h6dwNi+5Y)D-wt&zqGZ^RAQN(+C)@i4BaA5BU+q9)viN$lMb@p-@|2J zdjSzTR7z5DN)=Hijc1oFb_G(H=#dL-k)twu$9MZ*3K$D*L;X~pG7BjG;L7wlF(@!B z(rHOG0P18aXXTU^WpYifVUiBiGXz|*66;iK($E2b-z#R~=InoMX{8lnf{#%%rZmrY7CH7ji; z7PijP6~xZ!{&EPf!kK)Qpwkd?o(7-1lUM48n^~_z{Q4c&`Bu=Hy0~n=wO~4_MgGse zahjqpM}}g-HiU%>c{fhe5lNRKPcnVtSEFxR?B%Ou_6pQokEz zYQ}?-e+%_$4cN377#p!9deXBWcrL0TZtncV+|+X)Vh-XzeY&=Vr%FO#Sq# zx*a6%LxU519o*S8SWt2=+*e;GrvFuQRJtS$&F}6y%`5-2{~WahV)UB9!hZ!h$sGz3 z97sH72Z=4Xh?g8Mbrl>~|68GHk2}o%b~tc0HcE_6UZZ^WB&$t~qBhTJ98SEgorJec zx`em|;7RP#ZdQ8iMUp(yPjzCQ@9nn&u*X+sClXx=hNf3EMHZT}VQoz})4+C@9Y{x6 zI*p%M;+^R85v0w#jp+q{ywBZ-Q>TB-H30?8NI`^tQu3;K;;SZ3D9=-GpzGQenQ^Lh zLf?gYZq|=JLMGiRLkA=j9%-fVjX{Xm@@vQf^v?D7%q`?6OBcE`nK?zrum15WzV}e{ zwz}KPzKzO%yk?Thf$LroAZ~xm>SWjiii=%my?|eMBUmjgE~_gX4~F?>6I>d3E0ijX zxZa-(*Y?kF=aC-NpqQ+K_v8j{^IC`z=tjsszZ}W;p*{svN9XlNTpo@DMeZU zFr7-)EO}fel~nzu>aRE_^N}OTe#l!>meB5}Jy5V$_k2cIqqY5%a&Y{Q zn0R21`LcsxmiAUnxx_jQQwRhjUDF6@9!6gE2mZC_T?|&kjy`yJ6^qJwQ-6xI@oNOB z^awZWn?p7P2+LR^aMAIuwZ?Y3D`&O?)M0*EGSdU|&n0Fi!GYpP#4L2GA$(|uQ5T1A zKX^P;QsKPWa~|`fci--_>;^b)^UO?r#>Z58a=4?-`gqB}gQ^yd=Hd^{t6^O&4i3H! z^}S-#Al)$7=bS4WIYDe;>baY76ZQw%`)J(iWUklgYy3^-(ofH?GIkZFff!8$@4>pxC8s30IDPVN1 z>Cev`o((m38Wz=Fb0Kh-*;(7U1TxrM8?_oVjh%3=;8(vK#wk#Z9OF`yo+B>+)<&+d)X2kk`Z)Zx@H;azn1`@kf47PhorV8EOPFJ- zLb72DErxlhR64|CiyX!R>#~EraE>KX`_jtel;x5oy4R$)+?==)uj zo5T?$U)ctBObLg3%b@ofk@s+)+Of~IVg04b&m8&KhP+UVJ9;9t!7eEP3URBhAU=%~ z8*rB2#O)=nAvJdS2l&YZw~3i3#9)?nEMv;F$XGp2{sfD9xyND`&x7T4bU8oaF*GId z#STAnQOhD5I?_AJNcLh))yMH+`|mMtxXitl0AI%%L=e%_e*SyzMdf7T$2rntz3prR zgpjM}e*1OeSgp2(CMr2#zJw<6Jm1x$+)t_HTDq(z0{m*Wq?Jz*B2?YCfV|hu^P@-m z)QJcW@&58sy0;6Rs}H0JpDHMeZ+Gn}ygCVy<{XeD!^;i>suFzxer`|_@}N-G~Qx~)U1?MDF|Q5p02 zPgSX;`oQ>4*`P90vk#N}HtFp+`Yl`OC)^dG*;6OQLo)18Z4HN6I z=U_(8{D*rn!mgspav$(kgj-l-geN%O2e6r=2})|d0MU-orFn+ z%88`%A@fJL6sY;YWqnxVt-w%3_F=pB$s2qLDL=dD@JJ2g+ zzDR9$6Do~>;(!BX74=CWHIA=84nx;Atf=|%e86c>^jED7S_VLgs?JJ28J}q`@%9N^ zj_}TmJwReV|Xga^9zNFfU%zm})Vl(@`|0o3zN4lv_d=kU=@b{eLDSnLayatS}9wG|< zz?g?8pUB9*3mb{(5+Y#~wOz;<6oUZ)Cmt~(k1rrk7t5uuZ};6QnRge12VaA~jgMGw zxLSRo8MJXJ3$AV|9;N>SGao)^r&bCOOv9?9FX8q{vw)sd-FC-wVK?kwKu8DTWi}5$ z9tg!@%_*U}u#SY=qwx?4v2kDo53Gf?KIQgANv)x8B%hMA3JaZZFxL=4!f?4CwMLZm z1xbUhscts5nC%FKWVZ~`GI!f+*@YXl8c=1|i_-N^>b!wZfdfs<2sb>e5mwN| zI3S}s^$RY%O6IE9cHeVjOX#gmq3Q=HzzPfRyX%t3wqqS_h_u@gGejlI{>^G!zBh)A zs%xCjnd2Cr*QLag_NGD$p5!|CXnD~iFh6kkR^{aanYQRZL8BO(YJwsP zH9~+lo%2)0aT_-iT&dDflPwj^*?6l#1ien6qsa0XsAgZ|8~)u|D_N%v_vRhfwVbx8 zh=`McY!jNGt`W0l=h17N6iy3J>myWB2>u-~697AO2e~4p#d6L~u(Nigq8GD{z58_W znDRG_v$`_J-^bYIY0JY+$sD-t0Gbyr>%j+S#vnyS-Mcsn{NZVP@Mrl8({;-sE)RSf z_6gITQWP4>BsAALN^BZ>R2w1E7ur$-(H<<|L+0^qG&hLS zU~2Pvu`}p9?~Z2=!mP+2n-Shbqvq8FrodF(YQv^>=4jz*V($t79f}?zVQSwM?n?lG z&qPThTvVuybg!6MFcGO6^J5drHeJOKs3a+C*5IST#d6#}3c`U?wDSZfX^cYqc<_cl z{B)lirBd9itaO}JIlJitdPA!1{$}gt6}2GK6tA_4mPjyB8^rrr?`Ok#g-MTHk>Ic- z=%Pk!3(X@sO_~5I1h^Nk*%VI!(=8sCb6sMJ7|nWRW~Stq0)Nt(&?KV~YiLOpj6P_! z+fwDVL?o~v#zoY`M#1_u8NX{S0=D>I&;*`KE+cit;Fp_hySi0$5_J_1^W_uYOGC0t zMvfXeSG5h+rg@nQD5B$xpR4g9d7SRZz%~3e1MVrg?c@QR-7)5J!fR_l*!r)mGix=Q z(&<=-;)>Eyr-Y&YB0R8pS_LQ?&gAEZl~pTb!V1d5Ih)R#M`mv}i#Aks#0%6bvj}89 zEAC*jX?qjMTb)5K7jZq=#1lecx9JM_NqEp$qCJl9XwE-~Nym(P{jzW)rK)y?>JZeq z

I(PIQ17$W2BPkbHv`0aXFGR*oeA9@x9L4t^Eo969v$o6<1Z(;)x)(D>3W`T ztY|k`7B-WANVA~mkd*h~)QM;(#jmzXOV^D7D+Yt**yMN4LS22CzfaKI7bY=^0K@L&h z*gA8ZuSqoBzAPg_Bb(XQ?tp#-Y!qLUl3r&8b^*=uNfxy8AHI(f>B>w6h@6 zQCtAKNLzA4ytrGebIrPU|2qTa$H^qPS*&{rL5~8yv@>&r6cqlM)O{;;1paU`DDPmL4@x5CJYmtAQ{yWDFe{@3for2XwIo! zvCm5CRYD=kKmDXq7cRGcR#~i-t6*AqgF$*n(m}djJvcJxGCC*(&%rSDUCERC0~Eqs ztAoh|ke)ssXLw4o)9z+^nE3WYCDDn$Tt$-B66L;_kLIC+H&+@;-v`= zh2CDJQ}T9s=!f2xY58py#K!xVnf}m7NaN8v_uw%t#iIIzC(=;aI3S8%D8k?=*QZ?Pvg@H~fgMwGl-=wvS={FJ#Tm3DP!vjKnUDLt&`2 z<;mqinM@+sCpCT2jeB>T{M)x%c#%WFWn{r_C6c$w65F9HlRaNckY**~ZE^9Znf`@+ zT%`7D*nnX(JD#b~w3h|18(pZ0IpJn}M_`Cx5NRaKq|d}EH#`W45LFq16&av(@@gOX zOsE~$YwlY=5zkP#_|hDEgz^n8Fa^ZViOk)t_Mz)|Fx4c}b`U&O-grU9^iLF0QaLYW zIWBJpoX0RljCxD}&G{C3>ciVp?eXefnQQ`CGH~2@3>B4*7s-O-?^)clMqPz&XlSx& z$KHkQjHQv2Xn297e9EW0D?cELlND}-j{Q4$p*9em zHl{f22$3gE#U*zEAC_3*0o}e9pb@#OYk>s{3XvnhR}}5IF#uJQI>xg#NoqiC6nI3) zWd|K{Qi-PvpmEi?P5?pG=&4^P(?J%2Nc%qH;4e-z^ zx+2oAM5*+6nVAgL_X(B{IlgMcWDqlk$CP{dI8-KblRcj14cE{snLME&IX`rQ| z90%r-iCvm=CtJC;8Qia2{7w|47bwoOV~62G+N=SwQ7wF27)1#Mw%*&_oJXSxQ-sQZ zMeJee&ceJ0H_wWFej9#4D$)ENPl(AqAt(iyaE}AkW&o0Ub|SY9uwY^p(GsRw)(XF; zu+IKtB34LOtXmO^^6!xC`c$|I%L?CO)`aF$U0XNB9iLR|p=Y1g!5fb~@eS7Evl44f z?^F=|lgc9!?4Dk>B>6Hv5mt)#{=DAF#J#e-9bLp#Rvy!SbioebP~=(LvMA6>hB=yg zOVs(am;honq3+D=^MN>Xyx~?hLe#=cI~?uee#*2+<%Hdl_w<(Q%L}kEqfk+w=yi;fT}QdXV1{*mvnwPd_Om z`aJzG463!6dD#qEEZH0^JIym`*NR&*bYZLXVc@p7X#>5y1mi ztJO%qt(TRb6A;9ZL@gQ;Q@)an`V5#;nryw(sZj|rV;S8dpQ^EoNMF=2Sm4D|6*h>M zrU6D&nXMY4b2&Ug}=+A#qHm{B7lkjwFeD=r0V;%W$w@JT}Ex89&?Nd@+i|IEq zExtl^vGK~=zCZ(K-L*+d9pSAdwu78*%`auHRI#tz_t8A^B|P1uLbSaGxTTSRtGL+$ zf3R?+jAA|1zzMe{S(BvKkj(@lfDf9u)io%Gei71mi4+ky2*O#Tjf3-6_sr_4n}& zP_lM8yR+syF)8cKm)E`Y!y|qeF{BeL9z-^W!qle~lzGw*8^wS*4?$SG0J7A^^M;FYrs5!+y|VS-CWyK}z_>i%_~jBf zj-0Gh5C2_Its(|dNl9Yiz}qq9J1~LnG5EN`GVh#>mowlnxP~@LO*r#42jBRZ{Y!lP z()lYD{tC3IK^3#jG{T9GytGxMk!wi!isKvp8tyo5m^!J2G{>r`;^OP0sRO3t|K%V} zs)O%UAOtxMm<6Vgnb<`=O#AyG?I(UqpPJiP|zwF%G9dKbNwfohxu_EygXk&Q0uA@#m$=yYSelU{qw9xs7eEED)$ z6|eKlF80OTu_f%=p(kWry8+-1g~u|-+IfSY2>!B6eieFX*9Fd^`YSG8kG#xvTCqU} z>B9|rx;~LOb^9zC@FNaY0e_+wkCD-%600##63Q)N*4ZjFk$WlW(NMf0h-8tBzxKG> zB)w6mN*<&^f^Jls^x2%V3Y3dlBpQW)*A8Lb9$I}H)@ZFg2GAa3^_W@mR3o_vclOK;4h#D%hVC7~Y8*{uX$0D$|HFK!BSgBE z&^coEQ~}2vx_kgO>fZwX+}yQd!z7r>P*SL+PV(xv_pN5d(L);WklOe|nA(85rFo9X zNGZ-M;->P?8~K!YU-2yz0(uD^?QKx^;L8==^GD<84jd?f&8MEB>+u5t*6iKzCKkUl zQnaJdqZ#hyOu(ZgYOXs7h8S!^bvJ{!z_FE~H74w!H#{Suc8gQ=qEFfQOsZ&%GXYB~Pd zJjIJs8~_2`C8^=D+X^=(Nvzv5^ri?r8$_dRtd+7gh85>GrTG9a-6D8%A+64VIU*7Q zLKdy)cWIuYw{t5H-zKLYBlbm&Mgikn>d5>2l!vU0;dBg?tjbnR~gk` zpCqh!CVlGv)AL_mkP)=EUs}5{o65XF(Kwz9`x)MLS_>>NrdH^5LL+8a0Ty{OVXKnF z2Uv6otBz*!?Jcu(lq-(sdTR5!t~dkp?>rYhYJ+?&|1H&j?ipyu6aeT4ae)Rr((TX8 zezb9l>0cmLQz=2f`*510!>PlSkU~AJzi1OQPY$|auO4RDNZOLZ4QsR)#ey0oNW0DSVJ z5jH=F-HRzgty?{&Gc{BqXPJR3jEq!SUami$*Osev~c`>`Ky#{+&!_c(@P- z%REI*v0QogvtZpw%Zv*oKC0yD+VP>MU?s9%7UKGH26ZsvMN4qoFax$f0OOj$mlAp> zQJ3H8b+4MhjKM=>stmUyBt^i$!2+Ic80WGDo%&`@2eA^o>2uK_0FBLsLJN^!)<>bq zV9TL=sC&F6kG<^SOv=@|M+ayul2uUndxp`U%3sqs&?Q5vDM8}LsSZZ(VMO`ojvFR9 zxhD|VDb29zZ<3WzILS#ofWbHR)JMC5xFI7lKn$7ZjJ>D&d5LE#A=w%%0J*7p#0!j0BwpWfD-B6wE)bmRgPRa%uGyg}QY?q`8I*LceB-`*4kZdfeIHZ}ai^VA- zKY5500l2(#Z${E}WE3EIbJAwLfhXM}MERA!CZB}WW!`O|O&}yWMGt)Duz(t(x~B5S&8k%-Slpj2UegMmhyLS0}h86=EbgAeBrmadBn$ zNpKMw;h&%RhRU@BXx}}*@xTith1ZKVtN-q#ID~j~-b-FZm6OWbHU~3uyTk;UDw{(D8#y|i|K<*+G!xCXG-8^ z%4pBfmn0r-Qj+5Zsk>}-MkYN-!OS;h&>xqfdFgmh>XAAD?590bKH>*wQ#fV#Kkj zZ8u%9*K4RN7q2%~%vRl+nHYdP)n>9$g5?A{!{`UAUYv*;rSS`vs|hc^J!3MZ_d75Y zsc42c9X-7H&RLX8k@)^iC1!j9?4kz8;cTE@DQ^!`-{k#A?67@~YL{?$eSkqcUqI(P z^Ih63stX%{H8_*T%IyOu{V*T7cGYW8O{0!Dmr_|w|$s(29E5ke;N+BinccO%gMLwL>8gJ zyVDr}j{Jod*%?z@FT2U7dZc7`*+9$5XINpi{8Lg%1ojO8!u&7??-qyLkp^v?h8LKG zC5RxE#8@irW4yrv#4b3q1vnCIoV;QQu($LMvm5_YL@?RTQi)M;x;Kj?_4*mrmEcm> z?6Grx(AFF>oL_6gXF^{2@x0_xdB8ERWwk8;TK-ENS(*gQ4RfBC%~z6-$dNah&gvgnk$Fq7YSmIv z9$m>&o|zbrZSRrr#D@_FU9gew7DMjtBn@=GS2fOEk z3fUFS6#v_t`y02tDG!isp`J?YL7sLLgYkG3H*UOX%g0RZA(H9YgCotM?h6m-dgb0^ zr8;jZb2Ut=4NLZ*XfsndXGPtF7o^reRkK^$t9jukww|TK*uwD-%XX5?8(GW{IsC;P z{l=AQwbn;vS4w{0^v=|5WZL+58w9~C7Z9;sxtaSla0*&#fdLvAj<3++4QY#uX-awNig*oxDQ!pwrMQ9nAGmujs zaki_`D)>n2fEX&teL6T&2YublvEu*0rkaK)d$q`H}Q?CglxO|XX4lD7RQ7TuH_k47Dbh0HC7}+&b(-E#Tye0TgNx- z)siU`%~_UX*soN#{q>j009>FjKY2#9s#$q}H$=&?=n)V6SwnL9HWJZJ?YW4Mqy9q1*5q^+*uw#19vMQD;*{eKhhdYv9+JYi2qtC`lJ?JoxEFLVP+26svo-3 z8GBRm-Q*fAknAn5-I6uL^Y#~mq-029b$&8GyO1ohfiM*#pp9HpG>4O60O{0J%%hmN z$wBcS(c~+Q37+XFu|9V&&xbEIb2z{>W?<_oc)G0rvW+lx?c*MxEymzwl|MbUHKE`! zb83R`vpI(%>APc_tDSV$T%H;aWm&@8uVi^L(!5wyWRgWc!vj7}eB}!&lcvWR{04UE z3RqOq+kkCK({NqFta-x^0^>@N3B?iYHy?H3faxoj$VWbMj1uhKXFX}k;?YVgm$$;d zhMp4QPu3`=ZOaC{8A7wj^m(00F?LGM2U77kt(Yfj0%8<|wi6JmCa%W8`zUZ83kRdn@+ zOK>Tgcf`46g>cOOg8K!ym~}zuYO>YtVGCN!WK-Sq07XaL10|sJE1mtGJB9|G3;YyBgr9XVZL1bt8wuP_0 z^-m|=G|Bh6PbNRZ!ne7{T|7yx^dDmjP9N+S5CAIR_k61VmU*foK^)%pGD-Ou)_S?Q zwbCNFS0v8}a^WNxD<}1MkYS}g^}}YRThJ7iasuHVi<3#L^06zzuXsyI#X+1;p36JZ zbFYVHl6;#BYx_MQpsd^+{Zu0oC+Lb5U6%US{^&BE0c#5*_Hpxk>!&vYA&{4Sgx3Os* zH)_4R!m6UIk}pmoFJ04D)Z&*@phS)5^h%O!=TILQc7>ZjS~;+?I(BzF_W%%n65sk) zy9u3J#g)S-qHSB^ukv}Hk{3<>Qw?FW*ogH!;iEAtijPHQ?QhD?g@#mJ5nI9aV5i{L0z*^|3|Ny zcTejX9AV6-_fm*}#(Q*V%)zzOfsc6DOXzZ9P4j@!FgA<{*VHh}d;ZKZz1VQ)2W>sI#$DQjmN953fBy|CrqC zFPX^7eT$45oweJU`ZUJbWPrdL;;id<=nRc-E?ivipGX|{jOW{sQK0CO3gFZ=mi>$5ACckkQebD3kMTF2Z@n}gqi^UC zHh0R1w!@iGTB|@Fg-(U;19zADrM^h|ztXqHPPe988wuJ5_!_tZZKiX8`!ojai42Kf zI;)*J|Han(f*=ht(XAn{fTT_kjrn5fVVz0u)oCY7am&n)PY}yzpU7*E_VLDgfw>JXfKxZD|)ys32Yol?$5_&KE%{Cy7C$}2h zIg`*RA?|xz*GDq97#jirB)DaTCMY~F&^|CQ3wz_eXcEs1KO2P+vOhdcg5up-k9E7&Q+Cc$qrFv+R6LtpSR-${leClNb6k&3hu#Ys+7K9I-!?wStL5p z!q8In;$sID6XH z!aQkl3dM~G%N413Q?eJ#KvsRF0_u%>8_wNXYpZMa?P0twki9DewVX@NHvYiiDLd5X zZkS7wLpkS?fjGA}c_fP%Y%=unIVj(bx6R)sHd>Ok)Bqks;>@OoevV{zb>fx(B7mRP z%+7-){JVMSq?8lzqV-Qy4~q(lxo1*so!Hx8HCc1)zPV=4w%|?kuq0p+(X|dv8`(Qu z&t%Mj=9zssop|J|sz#V@3t5H5-2KKtxRC4LTPjeoQT{vpVNhm1i7OHpX{FXnXa9v`Q+ur~%XUk{p_*lkx{?#14pfyN? zD(5iB8u4O|we9*kOAe2+z6(U7a(q_zYL0IzfSi%A)tQlVnqyL z#=2D{76HwyuI4v~%VnCjY+zmdD4mpUa4OJ{+7Gm?`=Oy?;MNWb!$IbKl}o+PVM1+8 z6D9qoEmQ$uGK*PYhXNDXLiqmE&^$MR*hy!_O!iHLkUo-sp3Pn~{JhxYA)#MFd-q>P z8dd5a5mY~RxhjZEuI*>Miyj5VhxxWj5N}!$N=c13G+iHi%o6sWaD^4d*vX#`RC7(# zhl!J|7IJaEajq{*Q!*x#ehd+RHAo~VFPK1=wJ-&AEuj)|j8feYb=PMClg=8N%4m#V zT}Jo*_&(E_myivW-M3hpTR~{(IN}mbupqK?t;I5!gtdGBp8X&TEF2`FH4q2>@bgj} za*a|4N(rPd|<0@SA3K47!U`N&)Kt|AQ4kea0BtBDjL3nh-`6; zuz~`rfNI524}(;v6B-m<5W4m7QpQyTjNk|mmv~`xOtqGHw!~DPHgAX)hsRWmwwz`nRt##Mu|_9n2$juxz`vjuZL&pV|nV8ZYJ{N1A03@GK61 z9Of*kInMT~#hzi}77?gWz+n?w=)=ekdI@#%26?uEO7=f1kbBH1tF&*F**@kOXSyv^u}yP1#MlDL;Z3 zVkkv$_EL_xC~>U$BI?|1I%DU$ab;aVS3d{@&lfpcW@I8wZALgFc`;xgc4iHfEXMwt zxY}f2afP}~B_>->og&hw5p}Cp*+%*m2L9X69-WLr%mUjx$1v{Ho^X8xuX32=SQG}$ z{aFUk@czQhS+wjV|GR9q?=9RIli9on+4ES25Q{rCIeY;#iW%35fg+_Bis< z4<*76{S|%XoUvq`_!NsJs(4DzT7^@4A0w2Z0`AB@7zrTN4G(W6VJ$6w8BlOm`Q>)! z`(3u3$J}4v+}yWr>ZMhDCe~>HVep4*86Z)%5-!X#1$(g{TV(tg^Y#N6nYIkYoil#N znNlH6nM*(Aw~&-taKieCXMPC(Adr&o2-tKN!$#=pHpzrZ338t4{t2#b%eW|k3q{>fYk zg^ohiisz%)j2)WFR1gQq9ROx+$hev>YK`%nnf5T;XDYGdW4S+!!eS&ynv{koIRJWy z2G>T#63=7HTJZu41n!x20bUG)s!r&ZA_>?!jc=&yMssy2FvV;%O5a*}@ScjcD@$gV zQ^ot@<1yyXF0$2vC)r^6IZqlN5ZPCL>b^VmdJ+ug|EVO-{vHCjOi*8`5`!T1uE%M0 zKWfnQtmIJZ^Wq+m5yt!n`-x9x&t$7{=$(dp9uKC+7vze5BW%cSo({TJJBQHYp9I>k zb|jZ6IM2wRACK~9F))fmy55Pq&r=NSwFm8fdC`o047sH!(Hm=I4f-Yq#Y7h3IQ;hZ zbpkCOOAzU@;%xzr^y0m@4sCpY`k0bD7)r|W(+@Sh(YZr}r`ZF7m4PQTNyhH5YKMZd zpA;4w%N0vnY97j52}b_CQVR3)RdHgtpG`2MvHDv{vu6ObcsQU61ED_bHd4G!wbCb^-`5?wrMEp0qRQTaL_adiaCKjb;v! z#18bUc84n8yQAC6w1cZ!agYXMu)(OCmw;=NE9^%p6RQBne}`rvwyq_-!5D>*l)G1n zk15>cw<`g5FrJMkduV3h{v_=d6f33&5>diQ$zS`*~Nk6qOiG}-8CYxhMkgXlk z5WT&i{_md9yJ@fh526;p29oCt-7~UEHOD52mfUY9Dp=jC#T9$vSwH$amQMb8gs>jO zfg)74OI)KnaV5(6>Cnw-=4XSX(_}KO<1jY@xDy~HV;IJS*lq#;^Vp4aJWS4U#XAgC zs@1*F3KqEv8cD-+5cnE-cnW0`>-_jikC?ZD6Bzhp1jNUE#x5KC>TzAq&) zY7}tQ3y9F|U=ctWwO`yCX};b*fwgN}%gyOabi;ezx?1Z#Bj8bh80rGfmUemQ>b}Hc4ZYRIJGrUb@M=-E z?h1W|bYT+q3nmM!ixBN*?l6i6HHgxuGq}R|>`e395?qR&x^(uHWwK+d=tdby z2@QO#ZtyNfI?h#8`-==Kj3qO6%I7pyGkla-hvhW<`shR7JBOYHv)>TkRpi>PV#xJU0d1VS!{IyXOM&`Z+cx5FJD-k6oiNXMnNx^u;3{!FoisSw*Z zu2i~PS}+PWA}7ce77QUMMn;95(|VM`p*f30qP3_YZ2I|#!NwEmFN-G-tf zj2@WK47zn894Rk?}4amG4jW9>A^)R|;v!!Lgi2hKzEyyJhQj1zqbUO;}QQ06ibaBP5!9MJ=w7 zgo;KvTQ+DS5hoo-s1`}XdS`ua*Y|a1C*I1ndAFX3z3V8h28zM7muCcpa-PS(#c1%pI!Zw@;GuwOC=6_wM zpu!@|L*aNeOjm$(p9I_W;A>~vI3k>a%`aGwCUHl+Vc>d$qO%P2^08OT?4vPzP`1gb3QgAVL zP}sbbNlx7B8L^|_d}o|gGe>axr`}(7J<>ElL~T;?D|Zn3$x=TiC4G6uDeiGZ2!k5} z-_QTvx&Glgh!#P`7&@W)L1Esax!id?EZafbjUjUhRB;=k(}dyfk3VtPPGGbaJ;Tb-cTEykAEZyFRtG{&$Imr&I&JRe3aLD9GNd zWHCWGOepuWN#&v9G56kd7F1X~&&FaN8?reh9bx81@M?S|rJQ7EAbI|svAyLNW zG`4YM20$mUUr_P^@emrWClgEAILL1z=$Z8|9!uprAIS<-_ks5lvJk<)U;9eW`%gIM zxdZC>0rY!k|7Wc1OAlufq3i9Nm&T^Gs@wx_E5gr!cQk~D!s2@yEki;X^c z)5!?aP4^6DEyQ@KH*P!m#AgSte(duLZ0{7}>%W>lmi|E5(E^LVJ;&&CCuEyE^AZu5 zA=w z5CHO7$%nEw_ZVmTGAIjL7i~3Jtz03yj@rGlgy4*o81jM<$Y0IMw?-tBp)qGGt(w8< zQ5g|;k*=8>wZfVv8h4OAp^76P+9!0T7!AGPXC<_C+C;ZrP7$HwQ`*RPu&9u%o%@po zsXN-2o$5|VDT?EDMGuqg?%!S&9;6UiNk9uFz2`#?@KEsW3eSZ#8$A;6=u8YUFjyEwqp*la$6WZStw4Wd%`S?Yr5;ya9c4V)s#Uy| zLbaN&v8r9qcx`54ZFXXKJd!hr)YZrf(WM*652eEeb35KM*O`YNv!>*W^katUNI-9( z)@#Z=+0;>_**$oe)jb+*R~oo6g{bpm>`6)L;a6~4w1@C|AHW@g(`b%WGP zg(?}ET(UcL_6s!`9K7@gjH#K-sx)?aAX_C)RxvSl5e`Oic2O1)E+H-DiqQw{cPaUp6Y5OsIhc_omLL-2?wA?H#?MV3cqmPdgjU0o|nB(3{a zYY#hFt&rO*(4=|lR&x*YG+!kC3|3N<8jIJ?5_;%-0cG?czy7bi?EjfL7+XWTxEeXT WdODk#Lvyk+bFo8{k%=jYL;nx>N_F-C delta 33787 zcmV(^K-ItPl?Cgc1&}2HHj_~wD1WV4TaW8D4t}3s;eD#JXf(R`ihU@$*q&a1ZreQr zEQ+2!XksNX#<5dhI-P&Nq)0n<>bVrN59dgsD2k-WkCaCShd>5j-^f?Sf8O2Peu%R` zOOYfx4(|4W%B0AnAc?gwMg@08@JskFyRSDY4xct#9m{an3~lE&Iu0Ko&jMeRm^;3Z&5RFArKccJ}i>7frkxDiS72G^&vTA5gX?7Fm*z8s9a? znoj!fCX!*fd%)ve+couHI4Rg>A~s2|)tQiRgctqg&<`gT-n;fhGcC13$)ubTc^rG? zwn}TER32<2B{Iogx;whoZGW~##-XK25_aWAflK_nx7|a>>vchs{^;1T$YIC*OlzNMXfaa-)V^ADi9YyTd-B9&U znrXj>swnMj{UxAePr9V zSh@rp{uZz3$cQ-A|5vYk@v>j|USDy{)?|^0A;T8;PacAJKb90=KFN<3%&QL&UjHCU z+4I=ZSU3GV?zr6~Y%WX^gB3=Y zjFtc1whxp7T8HNr@}dM$omewp$xNh4G=<^=C_7|H24aXZ&_ zwtb?X6v|Q99UB5>PX+B*@QBplDhz1|V6>ijXtK0^aTwg9Jy5KJ^A@V(!A57ZE5u)x zhRIP`c(!d{+KQP0+{&KjC;LQ`d)|8}(E`$=CQ`Ylk-ZH9EUy&q)YO=_zxC&BboAvKtDn5my-bR8Ju{fVYK&^pT*=5 zpnyYoZ8+2TSoTMbYQ0GGI29_Jk{9xBJ$ISy$}GIA#9)<(@b)xTpVCs2CDE9Qz(HxA zEJFu58Y0h<5Pq@Xh%cfov54$!UpDpUxR8eT7%l?~KYzRSXwMz}K&P!-0bN?I;G`O* zL783gMq-45R)n3=p%+)Yp>v@DE}3i1csz*eY(7C$3wF~AVzMu+xksN9qLN2VzuM8= z!J4n6K=JOtNdq$qux$>tFEMOm{JbVhM5KK4q_XDDX+q%Ixncy-i+>TCXUSQAwo#B< z6Tte^B!7_&jpLo|xvXR5`0DQFw;QY{GEly5XIT`)Qi;?AyVK1tzsjJ1HMlil@+^4t zoTtEK&@M$-O{?JJ%})y%M##(n2NdNze@O_iD`0|t@>)ogE1`AvJ|UwuZxC{Aj_-i4 zN~zL9M>(XW_I-rE*N?;fsq8w4ehh;g5CrdlQGaBu)PRtDs@^|u6vFR7d#TOKuR9W? zc<{(G1gK)zF`K0UJH3iYvyR*^0qE@<7Z^Huk$ISHekFUBzIp2u*Rk6kBZhmx2oP$r8ZbCt@kwu7SEY zZDr@d%H(UH&Wg_BvUO%4^ONzuZoPI;V1ED&wpz%X(ov_=H;kl{G-O~nU&-CK(^hxqRA>`U~%72I? zPcH8{MBeqL0MxlWMgc1*1wFW?k~=f3_jLzPUM701NY}q=cm~cqnC{!=#PAbE(8XuV z5QX-_cdlhKzy<}l{N!xQ(@$C_ILqinB>gtHjxi2@`ep?ur>1Zf@y=inSNuBxC;o}V z+geAw3}4uJloj@)fLb~?FS=GCgp zU$fFEk;PN8blA4^qk$f@Bvht>0N4`^HYcHcj^b?5}X^kY=MW_dIaFYWuf?7tcAiQc+%!+ZIi zO>f2(9jA^5ssN=vj0KM!O2NtH0fX;<3Ie~dJ35M*`27A+SNntJ-|^z!#@))n7t_590M@9OE%RybQ!W$j+* zCUla)+ckY(H=&>?#wvQ{y@XXtn`irpcL^EId4rH^bFTmVuz>RjQaud-)gztKC8|X? z2R{8DN0Kxq3T19&bF;Y!xg7&BGc}V@A1HstSKE%;HV}RHSLo3KDu#E7MT-Kxq-dYo z!ayIAqM$9>7Gg`TL?>MY{r3)Uw&lp#?HY?>;iV*!qnSCwGeO{%qgB9ZMgX<40hYJ@4|m& z6K9$sPIXG#kc4-{nNi-@AY2WHXv*+Aw~v*R5OdkV`Q~Z?Pcx zAB&$)0lj)H$z?PJRftLfBS##o5X~Z2bgqZ!tPBH~!od_G8AcR-D(k`O#qDqI1#FZq zjuEaTyxUv;=CjTSR0)=rPPje>LZN?(@wEE8t{s}%^ubqsoeO`vH+I|A;rc^kw<(1& zm+Nk~>srl8k!A&dh88~kt^Yxal^Sr#!r7(%>J4|M&OT}YDEfgyQ0}@KXVgI zK+;PH26E12)|+fS`}Kys>q-Pd^7AP~Pjm?=yII@e_Y$xy3NR0TrS^GH?OxC?Y$0!jR<5Cz8&GZFk(&;kniC za)LcY!;IbbCT;-ljN_w?>4z|>+qfsdm3DMP+%f3=BW55D@V$sN7LyQJa9EkPK9O11 zJAM?<6-L2l1WM4y=sG~`XXI+ln}RDm|GjUl88Pf|FsmFq@(oMdrfYu_m-g2U>XLo! zR>$79(g(+{!}aQ=*=pBA-#6WH%4rv}LY$@pG3oCwv0*}E0INzsy2IG)4?D9rtxYZ~ z8C{0S=mb0pE~C7F)Iw9NAct|{jBwb{ZsHb)4TNJMDTT)dfT^JLt^nFVRWoSN4=%cb zaq@{vj8iWU+}O3dhp>O@;Bc!3Lx^CS5Xnr^@ZLe3wRF$M<4op{t zjD=n}aeSlzT01ez#@IiBFrIXR1V==icCL@@Dn?6{Z;!C8!~FY7mS8(TRH-1n0iJa|LE7d$JBVqv84WrYa!dURjbW_-_k? zlAw~&|5F%vg7+4mE)DJgwG>El_ClbR$~_ymeRdnvk9Wo*;iE>CFBFUC5fU6_k4qT% z7J9UDbinzmuVa4&O)AxqtObs1r|gckj-EU}95G&|C1y96n}$yEYI!FhT%uCY7Xk!6 zOK=rs4S&42{+Z0Ex5b8JAojc~qCKBHivq|D40zLjK%t=#cLEth!1i_$ z#t;xcKoevJkN}wiI5+_8e0+Q;GyrjX2X`m1g(U<)udbrWz{JG-FU?;r02BBBw7f++ zgDva;v~M4-ARBuJTaX>(Eye#hP!$9Me?Tlj0CTVn2q6AhNn2J?8bB|ts1A?@*@2vl zZ2(FxCN^MGfIQd~WakWG0GQi50c`#u08H)e%)o!O<_vtxCF%??1~@x_Ou=tqAU9Kx z!(S$5fCI?M7VPZ&_6-0#11y}3?I3S6fY<}TcBVEiW`6;A)0^A>4amXC{>{Vof6exm zOv&CE;%w>!c7OohswzoH{R1b&(irkrZD;VC8DMYz=4obc>hf1hf7{;DyjdZ}U^{03 z1mp(!tCk4}URmxoyETpFaw-G7RF9yHXvu`w={3L|C-Lf z`UL!!?u{KBY~25jw*TAfpBTUpe`k=5IS_@Nlb7byN;A^3lV z-v2*x|DB`%@`(R`-}AqxmU6MNQ8c!FTY!Ju7{J?+F}4G|-5G#9;IBjDe`5Q8g&5m{ zZQTD~LI3Wp3Hk?GF?$=cf49j(jNe8gYG?6A3mcH_A4;&Z6xa=9rUZtVS^~_CZQkbf zw_e@O4CG`3wgbKK`u9iyEbMG-|7KIO1e;ph{YAisf0#gaX8#WVjjF%Fv&t)d)=-jU z`frZw-;PReO8`-GcX-40e;=(V*qi-R_$!T=n7tdolZBm|7r?^F#s2p8-T?7&vw8nF zCI3#u{x4a<7~%wW1L(f>&Bp$B_y6(xm!$u1X(a7T?alsL8&!z0o!Q%_{ZsLm+0@0! z>5bsOAOBm||0(~y^B|BL$P{I9-riIo$SO4>4N^;xGcYQl+tbAke>)KDP|~1QnD19@ z-|3qgw!v3n^i&fJY#ir*`R+b<=OUGnG8D3BlV_c=+4JlrETM3+6iDa zC_zs<(v0-{Gb_Iir^C&rv9md2OYUZabTQTQ){|{dDSYTZw6~GQ~TC&!aMJ3DXt02kiuRtQ;$UQXaY|)fF(+S0k z)H`ud1xJA4HQS@4AX&LRy0XIvBcH|c2Y@aw5_W=tH+yIup3Xho)Pk>!1WnCkDZjex2zW6?(ZU)f6+nO|2Z5&QsOu{z1H~I35hH- z{CL+I*e)Q_;>GPNLUYwvY3b*J)8UWQnfX=i1W2kiH7?yC(Hh_#xzkusAY7Kj2?Xvi8G=}kMTCtV{v+;j&n19|fiA+cG`hi&F) z$USzQf1^T+vv&KB>o-vPFFMgzaZO&Cu{G=FJkqFsBO4X05{3Q3^%)1}5tfX>hA-xw zL#z%dmBY5_#a9j2%1!61ryMM*#J9t(wDyl&rd3`fGeML~MhGSim|vK_@M-4u5KQ8= zy1k3bUg!-rj%6?+OFk*({1R_PA}GvQ>vX$BfBasgrBh6GiS@ua+o8nw2j#UmpSvOF z4U{U9-v)9Dw7uPGW`MR#d9W_$v+hGZ?0mxW>sAk8rvd(Yp_z9ai_zuyM}3VHHrUq` zONiWf$&Nj0nNSzvg5Q}N{EvtO?Ca1{lSNXc?YgG68aL^2sPB;q{L~f}-?ZE?1F|wWgeslD!epLAEaAGq`BCG^FzcK)Q&aHk!=jpg#P@Qa%& z{K*GBGonn)thFw(R$&;aO{ouwTsN--_YZVbJJAw8-c87e`)@&AcdIlmzN}1rT4l#v zL54uQb+T>{myDox3tf7SF_?PFUG^0m{Zgg85!pPVhyc`NFHm}9P`0U9Ko zVm``?(5KR$hk!LPE8RpbCBszzF2XrjrUWuj(G@r#~m+F zI*ZU8;cRhQ2gZ!%q05NaA3YsrT^Kd+xdcmaJ~OvT7!Gof?RfMJli(;F(as>Tan>)E^!@t{}Q ze|pCYc3eaJ;$OBWWK}=az!``1d-44v?UOIDF?C^7gB<^fJ?tXE*-#r=12)>nU*c}r z;@TN#qOUdFw05g?@L*k_f2?$_01raLSDNuE&e|8{-`+uY^LRhX> zvt!W(b=S<^V=t=S!dNocaVkic(EP@vY+(u-Mu{ZPb$Zlp-(mXJfd`B3DPlsW`m^M$ zuA7!!8tUv=b)>i}cet&Y@`EPuDJm=JvC#@k`{pa)#;vJOOOCvPPeQm6+c^G3r7aW_ zwBJYirw})so=y_zf7OiL4VT8({TZEgU)V_GqjpR*H_EdYzcA09lj3OUhom%|jiY`g zUPjD56S`8l=vtxWu_CO{FFv?8!e}N}s6+Z}uPa~jcILKQlIL_S0)01Y7f+5;u&z!k zn4uyQ@g?k9tL0w?o$IM&7BOq>+in@>xe4@$Zp*gAYS`Mk2^hnfA9?C3a$|b@Zm+yW9aXm&f~_Z zN~fOT6Vu2N`K+~>MSr8`VOABq`np>vj)}5R%#Xak>{Mt|4N@c`=@SWTrK{8Xs@e5} zVPCGu1=j7)M|8%4&?gIUh1}f;lisl-;{LFGiPN7k+s*0O7%Jc#d(HEowd|E#n$O4> zLA!_@e|CW~LR7v-c~hfsGm1c2oX+Ic7bnsqcNyR z+ERZN%z7JB%q!)RiSxp+KGvmj5gVLR>coGbF|?{rE(f*;l*)oD>AtN@oAeC}7ED8p zy9AC#oVtF)ofIc6Y$lw~g%x)|tmL6tU{ZE`e~@+pOMi}J<%KSA6`G6YQjCLN>==;G zkBpd#v=*Bf?BJ3WmN(oMuV27pMJX9GEFX2!q_*#w%9hn#$i&N0E;|yv4uMJw2ue*> z7<2F-p@<=F6ZWz|VCi6!*KCX`-uV?{9i2>hH6jG_MPm6z`NpK)C=Knp)LN$!zXM%p zf5>pdkwO2t9skT3XJ|f5MKv}cne@CQ0Dt+yRtoX(HzRc6j}{l_pcOXtvMkqR9yvLg z$|5+?ihXIMqt`yU$$|Cqltal+zD0XGwFfO!3`4cEW$VcGspmsmi>ohFYHhztDaB$} z`b#!4Kd8P}b2S-#2eoB5q$z?Z--`nlf8-Q$ao+hEcLm#Vx)n7@FnpypI^1=P>CzQK ztu}SEoA^X;H-dO$Zb}{ zE~;O?N#3kppk8hA`IY}s#6!XChyeiy1a7|cgYsvSj<^=k7Iywz)lC>hhxsHAWossh zA3jZVWw|0=F*duOcD`zE1*pkT0~S#Rz}fj8{S}gbtM)RrSao8A1lR0lLmRU@6JJFb zGi)$7nnfIW5947NRBf$R0n4Y6f51DdzA&S{+@cnPu5}Vbba-n^*PR7wXk+4B5-t?Y z=PS^}ZjqW~QeYyQmv+WYl%RX^{Yl|DY~rOuh;k-yI%0=jL7#HeaoNv>=ylUVvK%-b zM*?4A?_sg375)0$QpipiRx^^|eWXK^X_)!Ihl-VQa?%$`5F~4A6g}Oce{Zg324L~t139|2e>6DVg{bbgxu-!rmw_J(*86=A?^~dRlr7@|x#1ocIv?yqP;a1}4zFSr$ zWTIFjqHK`JS%9U?S0EoD>f5OeTc7LNdMPf3ZX<&q_9Jt|~-VV_9BB4;#$s# z%DlWy_wyQziel;zMRk5gSt^|yVWpEVX-4V$j!WBjlicJDNo@h;37bu#RFRARo^)-K zRmg@O0iQdmXFeCOe<^J2MVW+1^)izsbuBI48Ndj0$%*hOPXmQ;2);-DG0MmI-dmiz z8#QSveT|(dDZ*LI*E4&vg33-7PrrmJ{enp5hlDN$qgxY;g@c9UN$UDKwzcB4{cowl3Xd&q|KINC9=sO zQtpb+?ZYO)e_Xc0K0&!*oS;(1`Sgez(ubQFxgAD$7~`sqq|*>a1^d3UCUcp98#;;9(Qis{E!R#ELd$vTyr@QBl z6xE?D^ssuT!dTrQoR2eea<8A?5oX%$OjNaFuVf!q$+>>9yL}kSrukrqg7q~zgt-yE zC{$}&`4hL)2~u-D4TD@=yhkj9g#M7pU4s`z?&(-k<d8ux~Gq6FmcnCBF+zWn%v zUu~Qp-~|tCanwi_6(3GC@ ze{v#M^HTYjjFw4XEouS$r!Qp)9F@OnFAj+Bs?TG7`}vNo{n2wLW@EpJBjfb3kd22p zH=rd#>J;J(yVe0Aok`_6s4uxblacW+=LAu$${;102b?xeX?Z4Sk3_7_c!dqz%cYsi zgvyPt>5|?*`uXl)VPh7E$%hunEAqb@f0EAP*ZM&_$B_4-(ZxppI%CoTdY)i7#bj`2 z`{a)e_O-LN5PPHf%bTz5et?`$7*P<_wy2kBAZKW7zH1_}gX6lG>xO9w)M8x>X{UiH zTKL&o=NXSuVSh}b56|%a`M7ago?X@=aJgT}5)HdBS@u94Rw}5G`JLB&QiG!le=}sK z1p{j4HMrx-+XN@&5WQ#`u}(%03HM^6Vb)Vhl7c(*bsu66alc-{;7Aft5o~01P>oCv;iM*bL5qLOok>EG#64+- zhS)^c$MrNb6>Cq5YQnzdYD)%;e=c@@drfVCCDVGeSoM>ZQw{z1%%o&>nOYrie_xY* zU5UanNz?5dh>?p&MgHTe-HjaqF3TpT9OqfYIH2iM8Q zGEc?#Q_+62G;dUvXK1mv`-@uwgXL<-=?40Xq|tGm9HbUf7F%LkRnaQYCwSHOKCC z<%4GH&6!&2MWimy>!Yg%zVFmyl0mggN+KTv0gry0r}^}PCP~))6f2s!Ie6V5W+WlZ z{Pky!#6b1>9!L`He@tVs?247&Z7!vf$n#)r=_(q0Pq3cwGK-Cn$t;Z3!%OhP&;Yj? zEff0fd!@KDvOcHkOLZu;g0lcw26WpTz@K{wuM`9|sap`2)YXmgk8~f=2aSll7aWwC zf-p2qVx4!UzmttsJ%Yx3mc-IdS)-b^a6yRHT-;r|L7iBQf997@+n@5=69`BIwnD|Q zKZ%e+ShB>$IWI7}s7GmNBBc(c)&ULtogO{zRxMUsT>9>A~^A>p-z-{UUl2mFVdG_WGk=b zGoh|3h>gshTE5R0hi zAHULEyLoAMG!1)&hksbU&ZjBPs8b&E@-psnIty2mTG?{mpuTJ3p`wa0b-&_Uu#e|k z6&*>he;-=TuL(<)$7Q7oQBKzIHP(X=3bbvnX!NXSfZk-N^JHy83~vOJtyfb&h8%hWTD3Q*)?te#2K| zH;F_i$B2sZdzHNHUW5$x5v-q4nurZ^I>Icke?vpGDAc@%Fd+2;K8SFJ5SpfMGT^nU zbj2meI~m2-&+cQAn#A^kA^)dECfVV~ye8Mzah4=F8+M9~){_CK$A)lf`R5xFs6b_( zyR`<_TwiU=dMM=Ockar155#e`}kUM$Z@hp%k=Iu`R}<_rq^LC$n88}HX1T9hC;Y3o0XE2OK| z%@=HrKes8S;SzD`UC+}k-*WM~gcF(L_|L8Ez}1^Sv0e_s2^-@GXG-scV<_Ps^jIK< zJ-kEFYjBwC#Me>h@kP6rSA7Iqm;>w*f4$;Q6gbSp3>e$5u{bUxxZ!HehIu$q_|4@g zka}RB8g>t3)E>OWLw{(hc{B6P2WA?vmH+TB`h6(8+mnQiv3fW7DjGc5?1X-%QgEd) zou}DvRo{~H@Y>%vy~bngLz}Ibgx}HS9M;J3<5wO=UC{W2u!LqbL374t$@6%YcH&!#{4HJtKepOzO|T;xjBi zBXE<3nu`h_PO8Uc8jYNfqtt13NUUqW*?p>G)^K9iA7cEGAksWoD?s7ve`&qd&m(&m znO#Ac)H-7nH|Vq_#9BSw*)yGy4$ zr%FDi3-;sbjl_v`u;K^se~Aj~)nR%*H$LF~1yq!ARX#hh*!h_TCqk91;Ka z;=tGAQ(ez*1U#lay9@o%TdtD3e5MCHZtIU)eSklE?(vxG&>@bP-lv#es3U3gY!6bK z=X7p7>+qttNQZz3Z^ea$^NbJ!^Lptb?L#=;Z+tHA?)|R?K98Use@iQ+D_&a+KrPQ{ zwpiXZNu|w^;3RNR-s|rtmYzNGp-IVxG9_YYhfa8hSIR*g^`2boTsJZ0cj%?iCz;l; zj*xdQ)150$h6@b{rs!k)z8H~5PgbQK?3W)fbs|V!jXSl?$C9}qZF>0^ z5v6Ok3OJ$RCrkqQf2u)Kdl5u{Y3(j#-NL!tdm|s36?PuFkivn^ZLg3(q{~?A(``}q zIua(_?Rk5J8FIu{KDGL=v3QQV5Y95rKva>VKJ(kQHhbyIlVW$4Z3_6t2JA(b=8$qTyyNl%Kh^>}k>p8h z?gZvF59@uO%9d+_M|Rj9nxs}JAWXoHd<(0dr8MuLcBR?nNOULaEJ9x7=rjHtCZ9r5 znqOC4qITIPf2O%sNrBXuj7&=6Z|ZS=3Z0;Ycjci)XbIljQ=?=rkQ}##Ay55N*u#zd z(X?RBWu=OWr!Ch97MN<3v6%@5oN5AvLs^v`F3NNPL=3fik9;z2RmpZckWf`XsDMDc zhA#tMD0Z*hL{aCS`p!R(6SHnUJd0*`00QaQ=veb7f9J$er|D!Ngix^Gu^zr@CuNp@ zpgdgamqMqUdg9y%Qt~pHR>zk{Ab2qCSbR9V_$Swi%p3=+gGu1v018>Q55;^!7(E5b zt?MuCKnA3Qt_JNx^yeDnZE9C?hsrCImh=^;QYn06wFJJVBp5pCZq2lvkG*ef#=Br$72t%3q_-lS04%lL&@L^2{tyBXD?*hyH z$#2=p5q6_|E@=Be&P*h ze|3SoJJRtLxyZ7;-q49C2dVnch^Zh z?-WI*vmGlL3x07Hwc)I;k{ofDz|D$G$nNW5KuHl;a&a~^{{H9#{UGfBJ7urBV5UGv zp%&GgDQphg$k9a0kh2~!vRI;mZWSjWe{PGfyt(*j`CWv(0|s)2$YL18fsz`E?vCL1 zKpS%qI{kx|4th<;E`oow`STuTq1cd!&G4Lp8FA+DT`W^iCp#nuisq9R()dD44_0Hi zq&bk(IzVBVPJn!Pq?X@U=Wf$v0`F6ZA4F6tt>acQMvIB-7si`FM7;e**X>`hcSd_27HZrlKx!^46mE#V~ zp=l-j+V$1D*CoV$Zcj&1^w2oLcH^X!@e+p+f{-%8%@B?o4MJ+XQ_<;YQb5 zgiC|YQ3{LtF2OE))Fa2k5txT~f7M79-|E<_gx6q|%g-!a4bwejy@oa&?eO9Von-FL zA1qc!UOE=uhyRH$b7-{fOqfTg!Dvw$V4qCI3`IoiK*BVS-Nf zPC5!zGvthxK>x|9BE)SLO+agbO-A7BbbzPy7xOSDeiVnjdm9~u_)$TX1!zcd@}L#) zy*8I%zk7V+5vwaVMF>7Kf68Z5AO}wKe(n~24kg!3{I`^$CjC4T@#?rBPA|Vx0#E*~ z7;s}drO@4E^te3*lBnATJGvi!B9(+ooq%1N*q0vBs7p6t)O~o>_Yb?V{Zuz{zhOB3 zu&Kxd-CxC{XE`Plv6hdd4%7D3YC%=5l7|Fc$6!$)NWqtI`9Dqzf8C(m;}DatnC)Q4 ziUm)UxXdC*GJRvDT1DdoZr#{T$*ir>g?l69a#kQ@?hNvwC%c)Z59bx|`nWQF2SR$k z?T@sA^{GXj@9?0^VVsz99_8hXs?vvqzD|x7@TnZA$mIC3jd@9Y!wwlS>0kETCe+=Ld0wQA@7#nme|9J1+n3t#O_169Ly}Q~ z0>(XJ7Q^TXKJpu=ZA)8*gwGp{u5B8m0~^@Hba9YK^YH?McRx)7KQJ%H@a7AL2~#op zHWDWnm5f80+*OO#H)e;z`UB(s8Z)*&a{LtLD z1RX&YWrzPlf2VrlpoqJiN4dSDdu64C^h)OErc6)>Jn@~QTjBR zm*13e3v1UI*&7CZfPR7+S~^3|y!Z|EvfEqpawmR1?13NP z%PaPi=OQ5E8&wX+V@8ky(@CSkVPN{l0Q8ldER_kf{8g6M>YA@Gj#XW_n0bOmLcg`%lcD9a<%1lvXc?NCW$a_PCo!Lg3FiRHI)cfoCvuDr zf7K@LNp|C}@oV@D>eD{!!}E#;j3{?*R3+PcTlPP@I#V~PdwQc6#I2~3`pF`jTJ++> z))cs=L;StXzAd&;HslecGF1(WgMC6X9p6{iP_8 z)%83Y#nprnWQ||uHsL6JPIw&f3o)86Tm*YPQd7maoG%mTRZx$tRzIg|~4_r#}1=h<;j#jAKe}NH$@Z6343uB-e|bz zA#WnePQGWfFWM{d8Er5pHtVe&EYW5k&zm22IH_S2%{Q(bd5w!Di~W1}%n=)z8Zen= z2X`gM3!af}sWZ8q(~x`ee~D#^jte5*V_i&9k?N-psj~&iVrtE_vtW`$%s&Z=JQfBi z@_8etU-U1U^QdhRxuxG4>TbK7ic5R1&=C0`4|A;w=4Q=q_?Jaq-@=q$AuG#l z&ROgQi=@w{3el_!RynD%V{x1Q4KEZVdD1? zJo>7qazV;VFbAs}+Q@NtUTiEz<7w5=zBoHDT8Sxw}fs@3s5FIT?} zIWZ&)-A6YbgYBZke|dkgZ<2M!m&;63e`>Mqn@z3KkNwCtInLtjc<=1$fm(Wf@+G+D zDZGAZj)|jjSclcMiiWz$E|@@=+o4siICIatiOq+A;Wl`V zI_POYXBT!PDU5BAWRqXe@)TG`jkBQVUcVHbQ(mC&yDEgC$R*>}mflB#!FIPjQhZ0m z`=?-(kM)FWr)K#&bi;FjE?F`O!#aO9yr_zqP<}WC7C~&Qq4tl&IzkjaFEJ3}oMLr* zK)ZSLe4oUTU_oEppP{eb#8i79)kR~QMWjEu^4~A$bEgc(8@|t#=MZG^sRX+?UhwIH zU~3g{t?>d^P`~aGFsIWUotzl-WS9ApB(>6u=ZY9f=&glHv>2{HIq=`76UdpGn3y4Cx5KCV{~R+wwr$&}IJslnwr$&XDz2Cn z+cqmszIxubPoEy=>;BVye(W*!nz$yex#k#qlMyMZ&6mJHu82{vUJKoGZ(;LIU5`qnTR9M(AmPyR@BfL$PLf{ngB$B#sFq!0Dlt~7Z)5E zK*Y}8!_mUb+!;WrrmR6lLqq$Yl7CD9Mjrp6`RnOqVP*>;|NG(!w6?Ri0opqMh4{aA zQ~?43&gMXXsf9HVAflkCB_%Hbpp=kT14saEfsTgO07VxgYYSt5tc5Yq)(J=jFtu|8 zSpWL~Ft)QbvG}JnC;GowLVr#GLx7V#(AeUy8_?YtX#bCj7GMu_w6Sn<`uh&BZ~~Y) z8rnMl?SZo$z{1wp+QsCb1pdlR?f#XJy`$Y<3!A^XzhH`XPR>roju!ULfWJ`{MaBP} zr?a`C^FOhjEdHticBX$VP3(+a{we8Sy1y`gwa$hXwoU+Npu6)wv44z!022!*duv0F zzp?*<**jYND-9PX3tO}Q%zzf)2sATvG_eLcIsJwCi~Ub`{$QH7Ea<8?m!bo3uj|X0(7*tum%3* z_FruU&@nMG{uiC9xrMQn?LQ>2{aXdJHTka<{H5z(`7;QsX{rk;(fn@~?7s{Z{|AKFofAOE%*pik{{2mei<#Bue-rXwKurI6mNRsA zv~UOf_**w4(|^CJ{~ynPo^<~UjF_#loyk9=qvC96Yw~y6{-@v{wXut%<6n~hwE+HB z{U7Il%{>t44m5^aU9vOg3ARkn%5bj7${U^({V~wT1U?*MU)H2rTVGdp*(C4cpg9a=&?`g8IM;~w zx?YgohR|kbR6pFER8rO}eTTxI?qYF-xqhPZCvh$GM<@MbkLYWh))c#9fjarl> zH8)S(w|^xULej_B9WXd?#zZSBzLlaCS)fqXFGnBN{qxfbx zSR1|zkcsglMhVvYk5wk`3YNs^bvgSG!0`2e)PJa^4>shSE7A?~S%A~UFdex?J~;3) z3JPjjhEktL|ABs0u3(K7*yH^Umb%%DDO@>aSv@zr3JEQc-V)o5Qs*XfwNJ+KiW7z+ zxoOi($Q><}M|SUhpQ6{+`=h%jU5qUdVP3#s=6Il4rgRs^qiI-6vgZ<{Tn3guRzBaC zHGf6>`~z{psBWmanf6E2iOx7bgd?ABY>w%I|}=UY2$N2q?ip@oYBgzpX~e82DHc=d z9(Qr;X8iq@G_d>^O2vlAj9!rI`_EkhoVPecY76iE1}v8 z@*Pwni1V3!>3Y&Sob;HLbhd*$Tz___CQPIontofb^DAbj*IQBpL7So<3eL3pdCaBen@38?r;Y1bS*oqoiVAG$5I=O;9z4BmUy(YINw*ISZ3?lXxOZi(tTGAIRG;>`wb?; z#YOD!4|sVfdt}P>4rg*pRQ}|@AV2u}ut^Ndt>N_H9OS?_NT}yGM=RVJGh~sN&b*$# zA$Qxj?;+1an!U-^CVi~;DGS^3rig!VBO4q3ru0~j9PZ%7_B-X03?vZzZ4fgTj+3oY zXZ0MfkJ4D6G$BPznSn1?Re0pk&#T!7h@8)tQ%dALmI3gUhfQNBM{X4iPqUvm-hpc# zfQWX|t0fV=>B)Zh&9%#F=3pTz9XaT(7)Z7y9(}Pr5A%aev<0xU9VUNOm`8uaW_Xf% zbbYICiSE4qpx+4(ab*({q0MF~Ww?^@5THC>E9w2sM;|bFPyJ;?h(`1a6LX2=gug!; z-|@Hb(-L@|Ax5ws(Hk8^=`jz{wT)rqef?1?`oMnZTXVDTC8|ANP&jvPftKp9$;R}Pf7*Yvy8i{)YVVpzQ-=9miyDx6VOLHF!ZZ(!MlAT4m*{Rn zj546pb!_BL`~1y&;u4bIAbn3DOl75qZUig=YcB7mD7Cn_N~UpoaAi0YKVnth!p~!A zRDV@ZDz5lJ8WDdYeI~4cn>)<`QVOyp%6)t`X}WXwc8HP+W}HbsrJ#SDNNm~pjSXg& zkSni|HI7xU#3qmQMWW-4TFPwUybE@Yt(l{36BOC7;aXGIA^vVaAu|(`LzdMt8th!@ z6o$jjOErTb=OYjyJ;QYTx4zI*CER5{Mx90}^S3zGa!`*<&wejk1~C{~-j#NU*~lek zAqSUb-BGNm zYB;nch|aK#{*1v?A%5%D2FhD!M?!Zn1xKlJAVLwM}(^P_>cZi-bleo)X0HnlO$FRPq3A}wm^ zc`{saD_#SiQHl=ebspfD51a3fsQM+|zQ0Co?B=~HaI5oY&R&UXt+_rhJz;)w9gp2% z-h-8sLPvE5`N`54Hyiw72A zH7u6`pF>c1=k_{!R#DCcgx|)m7CNi4*JvM;xIe%?)X4aSSE?mTeqDE?E*hF5FynbN z)8+U)zHkE8woD9#e}tdE=l_`g==v@@9&6~jIKkfk ztPH`$?7vw(K2thLt^?ZMniPz9tLVBYeA^ac#tAkPFxscC^OfbaoB<%%+q%280h-tc zGe|kGf2V)QQ#rY%zxKsKF?4PdPe#HtIH?uou52$-FLJ&4>M#Xp3QYyB$mo z7)0QCaiCUy_D^Wa1^bRW2*kpZIn|`B94F6$c(&7D}kQ2jtbE)f6T)lfmR5- zLFu~}r#$-;8`T|IL40xGIHw7xeavR5LePO{5tWR8RMw*>4kFilY0_4=CuGCpjWtVg zLpoIO_sq;B8)HC)9W`W`p=cN`2_hzsv{i|rx`(YCPTC|W1Ig;-Ef6#_h(W7)`XLp9 zUu1t}g9>&qw@uT9BT$?C#=f(;|FE`qvJ#D@Ni(cZ`EJOi)oq7elJw*_i-<_&%4#)5 zY1{_QDBdvrvHH5u4yTo1fL}F)U|2+FMYoWbFnRcznP=@7b{8c_LLBMw6!oVFch|x} zYPoZIMl@iA_08HOs#YJ)1 z&2me>=CI8K3Q;`t^ksO6G7zUr&TxP3R{t=QLR<^5L$1gkVR*X}?43A>3HL7C4o~ID zSHG4d-&wOu7q4<~YUL|4ZZo#=nL^x;4*Ok1nj2@lpL7%I>bXf7a!xZ$d#0$jM=Uzo z#U`+Tc?`2lQeW+fMEp~n=9o+({p z9#a5|eftFIQ7YO3EbkJ+2x-E)gy znEIz1P)0rF2a%{E22-*zRUC_j5I*`CV&jU6Qvqt=9Cy#aoON4wsCOdDaNu$j_#o6^X?TuHus%vG44Qw8seTR9LWlt5w*ba#2X6An1YNAr}$~OBw zqA6@esbc(KAW~;WZOj-*6~qg9zn;iSoNF|jzSWNhITSxwbsR5;U+0P0IaJKt_J@JKkLU zrt~cdHN5b2Fs(RN8#~0+x#u^mfZTq?t0(yO@FzOQHR=tT2Df^8`D~W-=c?XwvHb^Hjrt z)#zA^`di$4W}Q}a`1GB+$*8#SOZK&u-s?rNjh8a7fTwmdh^Yg+*r2kVmWRJRle8Q{qX@ZI1`w(DOB6RC391LvMUZ3(FI(yX~;AmV9_~m zHH3cxMz?|sAtXM8YH3hxqRxS>m0azuYI$x5hr3Vejw1G*#j_=wcPINQn!;N|79Dw< z-6$O7-uTi2BR~Q5%G!~Q$i5MuJ`3t~V2fqGAyp5uvB?;PQ0!AFMe4&v4ck1X#qP=2 z=pz@8YPU$Nk7|%GH`>%mN9&Ap|7Z22T}XfFfl^}>6nW}0JjyZo&jvO8Uq!5Oxm5PD z{XSpQkQ=J)!kgI4e!1Ur(^E$bYSXWfZCIxeolpn(b44W_ z5Z-UNA2qoz7pj}I#9`hnz@)%s-O}lfsbGsJVbtX}31JVA(k2Dl^|UFuqN{`vqkE5-p^#QxicX1C9^lJ)!TiM1nANqeMOol|p zSY0>EfmAzY*6$n+GTm*y)yc%FaJ{w*M*RHv#Y0T|xl-*WwTCZt7W3BMt1A_p8W2q? zYKDa_HNsQX*&-msY_RAXFu+_b=>`*(6)Zv$l;Kkfj?{h&WnMlxnbSC9eRbTpv?skO z5Q3@En)7ynmBnbE3jVzt9cq8;*Ie=JM^|n3FVa0X_XrgU?emZ^0-pe@* z#oiK{`?noq-Cu?rfcF}@He%MRMm~QMtEOv)SwZ-Y zHbH4I9(!LdIo+hVUYyxU&Cx)>%OAB&U|Ty zk#~T4z;pOdi3aXVERKI~yXLVvf3k_tt;obmUx?o(_*19Vt5WNH*usy#X0bj!Bn)TK zi|!}4wz(=puFxoVz|9-l7O_94`%laMfZK4xMMX`31cKdKnel-Na`92RT20AOEwKA+ zggRVEHlt?XsmpemB`NIqnGWVyAX8Xr>&pD1vX1~OI5nUNBMpB^&Q3$BH)^W7&+i~X z$?RJHb)ogycu$01=*YhkN=sP};u$8olo@UayDoExU{nZtMiM%GWv@uKXX7?heo{*` z(2tl!J@^fZbi`tO@}v5l-!Ak!9P<^4iu`y3S$3G-ij`EX&>8G3l;6=%gsv4QWuu-5 zx%{(Rh&d}71Dt;=sqK`59Oypd8kMB&4S>bmge6Zcnxt_cce#!P2i(bRlQ|rVTLYHC zSKkc7iYz=+fz|8>@=T#?k6RO=d$bH#3@1L3RLj%I8rmZk#?Ipn@Lu>s>ZFoQlEW}Y z$pzCHh1lB}1imQjr{_k}kI1+w$Pi0*>6?tEevn_i**kxg)2#VJ-O2s+?+$_e3ZwuQ zEY29F#c#Fhyp_ekKYybr-3~00qtW(!sN+6!tqw|4K`mSFx{yh_gzdN4Y zT!Zs6#ZUcJXPv2cg=-IMMt#hX*(GAQ(Ghz&v_g%+IwrFcu6H@c8NXVd8osc?q{}9a zV7cx)BTK4=!~*7C(;W7eGI{QkHD-TdXQ&tS5mlNiZhxuHj?n}qNzhep z|H)Bvl{mG*{(YVNrhll|XK7%KI6#LLe}5wXL&Ly!^pNs-B6b8fX{D(K9=VRyO zwY{`svsAzNX=!9~(N$`urnQ9CY2duhV(lc36Xn%f<0e0P{8 z3Ll+;X8wj*(DU3p4V*bX{&DRjx*fAt7g#tGsGQjOM8qBEiFMIxc5&pN-HG2M%i|5D za=(KP`;6Rg7Qm$MbVHs#7^5GXmtOm{g$#d`i~@w2^6_En;*5fcq)N)wo6DizqCZA_ z@_A&Ih~T4yvuT^)=Num?RGKSi>kLmoh^TbF#x zMcAX5f|-2R>){RdtZUL9p*|IP4%`+-$m%XX$Go9`$%r15c&&5YFql92;zE@EJZpcF zcu&>YAanb*sz;hK@^oKlPzinWL4ojWanK=7cIGqft7D`|g1JCCxSc2SDVoE~KI}mo zFBHpH6lFdL&IgCo+^R`DmP{m7Kz;MiYC85!8O+@MFC`oOvF2lDCGaPzMc9gK$f7pScZb zs|A(ulL~CoF*FwJ#-+1CCct~I2G=kKN0M1`r}K;24hIZj0jh##tesQyoQQwel=V#J zV|RAJDP=$1<7U z!0*lRW^MnZol$gIHyNPyal z3*&9ft>t()Pq1sMlw|5nLaJ_EB|`4R=$>uKUg7j_0g2@56_W8tEGUX$A1d%2WYEXA zRMj5R?`?n?gu#|Z?$O=kN$q^$$+*69CU*&n3iq1Bo;izH)<&+HHX&q&iYp7&Bm{n| zxLOL}+v(!sEknbu`)_}18(IncJwmeIIQXT3vBsWfd)1dUXhYAT!|umC>MR7CDT<&X z0y_vvTZzS<{$=5FUv9AO&0J)JpU64#tb+{4ERhtlRpIt8}6*zwd)jl|eTpW$s&XRww0FH2y zG%@#7W-J2NbPbi1F$$Q-l3mZoH+y+Pm+fx9p^GPrQrE0EZ;_d*mI+nsII1)RW-Rh< zUh^5_(6l(y@=V*YkLcxLtoJ?6yCvH@q~8RUC5W@_JM~=XQo|*m@gZ_7H3wNfkTh9R zw>;q1;a`901kd~_DNqwBPy|6aqbxk3)S3{Hq?+qa_c6uqpgfZN?qAUqu8a7lIO6mB zH<56V?;u=c_?aim+SFKC(AM$tNrZDYfq0RUvRnSru7~hoQEKR>&Ec=Q#5(jUUC;2` zj}u2}^jOVBw@$nE^F6Z9X#mX3Rz9q{2W7_eBe#EUCM#TRri0slGLq7Y4rLw(#M+NJ z%TRyV`$XR%sS_W)La-D`hiCjAC~&RRoIjQoVyYm()d^Bo@N|aEV{DOb!45o4>#kOt zZCApfEm{3TQlg({i14VvS48}TjuqOClwL|9jj}L!?x<^d+k7DCWI6)&zbzWAGntFz zt31=L94()%$jHbh3(?EBwkDTQF=#j%=|w6j$uf+ zS_}I4GUmBf)joyFlLUhk?TVhnpOxHFF0J5grlzbI_c*R)s0{sxza-jSRpnJ9CO;|> z49uumbLk}rd$|R!urDV>wbOB1 zM|vt|eS+sLMqz|}W2U09S;y1en;Uj24q@-(Hm<7asp#jdJRzNnmLbVhB&tUJW(6aw z&&q-FCRd@~>Nn>`e_vq3tHWH8KlzTJil+6x4MYVaI+|6$^2bs0Bs)qq%0) zs^UN+G*|oK?yXVw3KGGsOJ4#<$q7j-h)E=fM1LNl2Pz3;FpL1NNcmQ%1LS|3mJgD? zRCKqO4ON6~Oq45lO;COHkl!NEKbm`Yb_fR6z3!raplDm(FP7F4reXh@Pd_SgKd>`R zJn%ctw>H@4I}*#F-Z1lk*K;l2Dl>TmYp=+9toHPdYPcM2dzd4Xgp0uk5;x9O>MzeO zb*XNd=I5KbP>4=DSuVtunk|3Y?LrgG*iV_H#NtQAq;bvSkf}@A1b?G+S`ThSBI1p< zLvFd>@)1-)wnOL(*azk5-!y&pzF9J~^)|h6_hLF+!^USCOPw5-`GQ)uIup$SlIl0n zw-d&nXFCEstDGZXeFp>U%{^o6@k6@{tVCb?I&N9Pjpo&o*cC6L6Ze0oFwO4uQ%!qm zQSh$^0OHM3a_lRjj~o;at-2v%;HqCT0+w=ZI0v8WWzT_-GWka>ln+FV0|c);hGkkK z(A_>AuiF;vr#@y8-e%f*HC*%E`v;i2d{!hBWLR^txv<^QxMydr664 zTI3xH{0DmsQ+zxWxl4bx9cp_9b@&sA5n3UhdW}MN!HlCN>4(&bh)%o|5K1i-iTuii zQ075Z_;lZm6f~Ox2R`X8N^65Pe?t-4EK<&HW8LaM#Z5Pk8`>yat01D8m45lBAUh`u zUX}~#PB-6~cACkKy#G)Y3I^Knk59B6+T%8y2~v%Wdd>PiX*7R)M$UupDexVHzA&ue zxU=NXgx6M6*QC9uGQEKHA#coanpD0AEAWD#3p0cE^IPnRsbrQq$b5Pi1nNqAq2H}!Cj8JlMJN>&*FdL&XU3+vbgSH7TnJaJT40t zdH%MH^Glp1lm?kRepKKq7yC#ky1sOdlO>Y8^W-OE-+Ur%{y3PM6MNHj` z&Icx;kvAS$i{JJ7hM2FTx)k~+PjI%Zkl#xk`Vo)f06e&F^O!FeJrl*Vqj{$&S%%aE zIio6_I{SZR?3waCPSve~&^!Rf(S>ixMOov9@5%Z6VfL3@Hr*s+iJWcl7qk%^#yZIL zWhJ4Wr-(den?D^Qw8u{>5W`Td7y=$Zp^O?g#cpk8g+)?TVyCW=UuoLz&e~}|$Vk^! z>G!?oncD3a!Z+H?0>U20Xg?=hxk<=! zP^a!|@I}!EW6A_EVS}Rfnav6W`{E8Vs2smi~<=@}moXIJ!3xh3JgMgL^O`H>?SEy-isaoTB$y9zoPS@Lhb*FBi z^!6-Mf}LrJ^vY>J^prObF>Jg z?A-4PYXXbZ^WJHdwF;lgFY#`x4`Q10lh%Jog}~zAgSVs0?V^@QRt~Ze;qsdHJt?@p zFJf5c(oHoN!FV&OYD9tZKn7HQ&%fq4_H5a=|jJANhYQ z`4j z#XdSvC~x|zbQk^X6VXNVU6PNkg}i;s@|c&y1nALZQfo#upZtTN@CPLEpym$+k#=$p z;@*HHpNN^gw0Q z4@l(hY8to>O1fX8-jH==>z5^5lr+WF8efy^+Kqsi+VS5C;z+TiFAQ!wvbld8vvCn8 zGWgSe)bRDtv8_MDwyy41?UOHQi7piJ1RzxasHRHK+mk2F2>bDlc{VU?Gacw0ACIpB zS`cx+&yIpu3Dl=a1xsQm+*FEJm&*1kW>5+M7BmAk__MB{!Uu~wM~ZL;l`BtWKf=#{ zSiZ0X^?cQK;*|~o*Zm}y5p#d7o#tmMrsn3R5~*>3%Y-JM=L@m2WV{=Pi4@d5mQ$j* zgJ+8EAjwII-zjzDF%~EwhW>s$4s$z;uMOZYRWY9y5^`}euUQrKF! z#+nC#Vtu+YD4Fc)L@Y%O>&)?E1)OGyD=G1T+gX<#lhTr$C?$d|I*w-WlrkReBVeFg zxi-*_t%i`i*PHy*%$a|wFYd9Bct4qD<*odMRqdXNX`X^~4pYu6k>gGC?I&U&5wHET z>Ezh-ctFz~Y`OYW0L=B^@GJpZ!h+w!&67LHeh8Sc+}`{$#6|BQMGG~zX!4ZEeQ3{USBr!_J9@8DD z$bOAnXTh%TY+84gZ3O<;IvunKpi>qh^ zac7fU4^f-8ODZ+gPQJ`{T3NUc1WxGsNI1b8t>kA;>Dm+gUr|po>tDAH3cVjfFzjL& zysnqA_{jI5Mc;qL_(99yw4CE<7#o_{nE7qRaAEzuq}Jh3uu2LJ71_^&~G)J4$we1jcx#^ z_uSgWZFW?7JXPVa$NCOZ)t>;5jBYiH^Vda)+{txP&EP-dqrY}Hcf#7+uM($-J4zHD zKc^Gk1{9~?M4qP|6EknrD3x^po;6Ryt(5I4ptvy&2@hE!e-xYJRIc?!Cw;EJgMyd~ zshVP%n#+GeL+blt@`8-(Tg+g_-R-1@P!-?|^4HSSv0do1E!IFM9)BBDGff={-`q2FEFyj9WdW@f3-B|vr@ND`kk=wBrGJ8gl+&Ah=5>loD}YgxFZarjlyh=UM!*cw+#zol zn0G1{vq%g}Fq0~z27-$WFioq~-uNb`!1NH@A8b~$+uJ3oIH~eJ1}t+?{|SMeit)fk z$`5~)mI^q#PmWeR^bM*K@UYZCTGf}2 z?~H5L$-@*qfT#IZXQtj4TuId|3uR|}|4SNHU@cK|ctedL2%P~;SuW0+|3nuo%LhYP zvY~>#oUy;40U*p9mrFp6@kjfUH)!t9WDkFbEkkgH96@zKFQ{W0&<9g{Ey$GSl!`n6 zFC~Q~sT_;U+pQ{U!pj4n`4PV)R>=vTfO5%EadaW4q)XL@Cp9?j?y{p^ju_JHjqAY% zAkrvV4ZEt&zmc67G|93pX7@;|QO9bU&6sX#z1<+?S25_l1nm4asm^aI^ATxRb1fjJ^67>&Jgbkc5p;O{Fzdu;}^9WL@Q zX;m<{Vlq2fWEUI1-m34nVWbjq49P-avwO!xdcTC$^wEA6gsp9e1meBzo zNA}LEwC#={e0KQarJIY*PJOT>9s%qMD29QxH9PW%$5K+dtk{t=bJQvq7b1Uu9=cIA z@KbJMss=s1c4IVb0$_{0Dsyt{JH3Jst9)>}-T&BX`zNUFA$jCz5V2LEWpU#oArZ!!i3+x2#Me%M=1)E|&)WtKIzda8;Q8tL zp@tw=J~By{p!a|A`gi&G!WMtfDxG8=YlM{7tho4E zo!*&okc9bkRwubiVBHG_s2X%--Ur(BjR|>I5E4qt6F~X^<(O`6LO_2lm@T9o(=7V* zHW*%%BE_;S9UjBp-CFiq*Tvxr7`C?=@}Zn?=0DqQFqH2lS||mxzQ=a&Tg1%$IR?mY zF@)?rhTh|p)y_6oCqbwITZ@}rt^Ka5t7Vn&MS}4>OF@@PL=MNDqpmGPh7;dVzY9Z# z|LpVw@qjcl&a%-Y9Ibz;4Af(U`L)Yz@2Ad+jC*}dc@JaDXUZ3CQzi1;Yb~TZTDHQU zz8_mf;I*4kiFoLvMZT-eCh+UIvrJF1d?JTKl)CLV(H@If0(ipd2xOAWK&n;Tr;tjP z=EQGN@opu*`vh(W*cU8-McfA2JC@roxl}XWC!!|r4gAcp-b{Z%vn_@U+ZL2M5VnVn zR#<-^i-ZBf-MRDtr;vOKgr`eYn1d2KNJ~HmPccfaOb+;BVVyXZtSHjc&UaBrzYSj> z1)E*;s$D%hoZ7f$ddkRlsE4&1lW)fRKUV2_b_*osp`TPl1P<6}w_B%P)VhXnuo>HEefC8`n;m!Eodn#aU$Dk&5%Ay6!g3jBRTF#o@xTlPV(+hRmN?QAQdKF$@>^$i}5t_Ib?VpEl z212e;T>=6Tzdubf`HIN3u|G*|+yYa4ox_n+2X%k59PZ@Z;e`n=>`N2sRVoB+FApqG3aHyb&3C8i2M# z1%oI~@~0(2q~3yfsoKKn%DS#{rJ zVFiDR3N3J|=|0BvgU0hUUMIZ#NUxe)pmbgKpf;hV76_Y0B^rDy;W_qCrl~2BiL|(l z&f?H`>l{oU;v8AOksiIJUVheBBT#agjA~Om0wiW6;O_>ck@s-8?O_VAj8fJV$r>dm zm+Wdlfg&@}>gJQewO4nG=?PdZ$W?Eq0!YSi6W}^|J8qk z8l#OHCJ3({FB-w@ufQzS8W>)X)qTFN|C2AQ5Py|rZr-@fG7ys*(R_4U<<oNrC;1_Dnw4Tp&1Uf0e(b4jjLIh@=T+olz+Pd_m_92rgVLp9Lv3toTOO)>9x zTrv7cY+*0@)y01gt-Gq5ZDTYEyK@Y&z@I$2?xNBX9efe6@ddITk%52<=vFp0f- zKah9a;}jUDC6oJD!R?G=WziVQ%yNR zn~iT3mKi#(r0m+#cy`OJBU;y{inqo3JDkN#RvG^hni1nGHaA>p+lngf9A=!oj;DJ({n5YPG5gO$iXp@*V9sq z3RobH%M|%wa6+-YU3s=yR!0QBYL?>n^EI^QHVW7Y^H8Ct_<-_LVzWEl8n@KHUd($z zjf8dtt@yh4Z%?&o3+{wPkPxv)PWX<2KZYc3nz@?NX@L_j0pTp%9nh64%~IK3-I2%q zHD+p(7fuj8ygYoii}8OlU!Bm@x2mcdm8C?6s`f}Sr(;Os9_R^uWZtPI3qX5zCYR1x zv*c-_I4h>@dd)&XbXa3QAmP@LCk8RW?Iq<$t2|%>G*#Ue7-}7voiBqW>O#G zA_jYZkcTqHB&4mUp;5M+MUVd}es4}4krmpE(@Y!nEKo^@7mVf5z=tsUK$pqs*BA&~ z)an$YTJ0;7K7Fa^V{4JXCksgVIdAd{SCgMV1FjIoF3D<1BuzutXU6j9A2v>3oq5X% z_fX6;AwBmw67ql1e4C0YC#!j3K8{Y1|M+hN^>(v^>RfsI$LLN7PfIvH+58NBNvcr8 znbmP;WAY>x%$vj?69g%$@Yze-C$WHFeqIPjR+w`bvn+AQ-_!|V&w8wZN<|tCpMiy& zkm(z1#V)jhxryH!m{&XZF3thwwzcV7-kI`ionSC{Zt#C;y{-wN-jt5>n0~>OhG5F- zx#3Z!stHG}gS~li$du)5vCMN7s|arohvN ziZO*iSK8ipC(_Yg#Mow*Yl?MHXEs9g!!F)L`-n5cc)uyfaUdJsGfd|crN@sysw>h$ zjlW3*y_|oHvwR*lf(#Op^5FtYo2vV5s;N-4<#lX_`m zReh3Mx?8Bf^3uraasS7m2J9puWLRzod%A%Myev(0rzpZ>I-9(~^no0e)$;GcZ|VCC zz6C>TyD&b3YiR79t?(;b?+cfCmQ&!Q&utYip|F2@KXrtRS(JmKnm5s?Bl;C1p6BaW z^|4LLu^5QKw8BBSxSEl@!j}?$TPSze6Hv0T4o!2{htLY1*O_WIo@*7~w#^BUdB|M& z=BZ+t%968SA^L?5!blvU!`Kjsa;Js6Jr)|a?Wx~^1)CW-qwZ9%`wnRX7q*H7tYpF7d&$cEs7ttHzFh|e0P)>&wD=R+4_+vm+Xij+_OIE}@TcmPF zqnOTq^Wm9#P!NesvhbAQD-iOmjq>8$mmuzvY z(6*_F%k_);yYlnb^xg{D<$}F$1T#b!mr0~O72c95PYKzO(T4}=kUl{;2KH&x58Pc< z%eqiHPEOG$dP6nh$0l|_HnD2(jF5lp-DYC+HYRfFXHcJSwBsF$z9ZkDFPD4_0&A*H z^-M3|V*8gy)8?2I5P5Tb97b)1)Nk(ns+)lhmHboO;_QbN=#Hhar{*O@m{BIyLWfm6 zye4%Y*4pF!In+uUR!Gzj6Urw!ut|Iom&2kZRbC7d2)^FtQsl0Dc1ww=7HWS}%zj5f zr4yJdWhoa!FimWw9GhU4nxF*tJQWlSGwo($FMe9d4?09N3grjEpN3Ka(*b6xjzkz` z8588#hzFAF;B=KQ6}GS9fOo90nDMY`=z5qLAls?;4OVq2=b$7eqm~`9*v1&pmJz+h z?~ka1|Bm5MEPO;U|JV(*?LL3<__u_(d9F>ngcHJEAffzk^Y_aXhG6jEU3Qxj7bKs& zi~ShAl%6I|%;ZYjN4%#%zh%m&RSjM2M5$iH+NgC%M2xED5vKz>0y4E&IBc$UFHp%R z1L$u#dL3eTxra8d{$xMI4Ae440~$Fd(AVcCDuZxkfZw{(whLq)2AVs}z3CV?(vT}Q zX$`0<#u-6(VmU&;y!fJxrqdJ!4g4xwiP?jqL zQ+8@LQhgh~AaP^@F7Zbqc)i6>NtsiX6H1>pDqm-dp^gh6epY!xfRXx%E9+(X80x(> zF`{zjYO6)2vUFurd>9)BidMg<;<@hqffN;gtz*h7UUg6rQP_XuH6?%raM|7s--X!@ zQ3NqcMlX=F1TbI4fd{Df3&-c`ha3>oy_tbUU_uW7kKeVbT`mw8GK&a{US?Dx!7d3z z?G$pXn|w6xOU&ES|46g(Uj~5HYQN&rsbUW}o*}6^*!gur&T>AEb*OQ8%!*$W zl$b$gf;$rjy*Yn`e#`^g69(IL@m6Fzs2`|CAh!7t7Y-f`hESJvGw)8qS@Vb)(lyVY zIVc5AlhY;d+vKk-=2+C>rL}XO*mbKG5hT%9Hz(0AY%HJ4XDvSXbF90FXz~U3`54cH zr>#}%uzsUh(w}c_jO?w|_U8B}jTbD2UGbXzf;xNo`3ZkZX0-+J2u`t;KVWHoO!mI2 zB=qAX7z%AGUXgyfttV24qBe!0WlHX+SD-LT&)gK^NhXCu=j04SN>G!}>D;NADyyZ7 z8Qf{n^9F|(xriK0$B{%m`8QHx&?=^W+gp7A2Ys}wrcV>NS`p5$nm0g0s9GH zqBD0*M23!|W{E%s)iS=^uU{j`Po`n}dNnlqgKmFQV9n3Hu%rQX(JWaNY~0uUO@!;L zsbiY~V}=#)!QxB)IL7BJ^^=r4>A$9oihp{CTN5m6A3d31L7g7UN zSaWN}SObI^n0oZwV|1m$ocHb=-~+;;T%y(+(`8`JSP4ZlNd~DcT#5Gem$R?&t<{=t zI2p3@}J$anpXr`;U(EszU$KJam=QQwBe42_||b;SZFcCB5zsvu;3Q`=Fo(2+)Hb(jO79&()=YP*dY%pP#|H|9C#W z8BXT^KJ8a{{g44q09|?vKDXnK81W0ek-mRKf;(d-k+7YgUaClaCbmN@sLa}*Xlm|B zVe1}JxGjm-q_MyNh8n+;W{yRUyZh7+#aOJVe|C53VfLu9UBN9e3X?RRCJCA7Z`?ZE=hHYdOY+y*_8wXa;S6IB@bpl*^M>xI^3Q8PXjJ!+)tsuLm#yvvk zaknWV0g)aiFf%bSFfuSRGFmALFHLV`L}7GgASgsSGB7eRF)%YRGB7eQGcuRpKmoe~ zF*TD>A1QxXX;a)t68+x4qCW1%1TNL3Bf>EeV2oh~Yz)T75PT5bMWc0ht1YQLcz*r9 zEFE3y1B~sNosHcfMBQ2W@?}<*)P@C2vm|1|FsWlEG*cR_gc%Vq5wkEzn3OCE111HF z4O)hY09{fuA*2|{gb5i6Cb3#!nvxJE6;pzV5c7XfM3G{WikK-BF$N(dhCoGo$%v_# z$v`Fp1^GHqOb4WnVH$FEf;RSxv4e(wDwa%#5D_N~Dyt}onE{MI8)h)1Jdf8n7^eFriqOXgyGxMFB~QP$rt0 zm_>gA{ZF3`_?s_t%lK(JwgdhwpH+5Nl`MpH&j$R=mieL>+7hOA9Vd2_rF;1uyA04_ z67xhxA&a$m5+_#!NGY(Kwx!uW|4bV&NS)-x`8*w3<_2iDsWU0Pb?nVgi+p%)D|U$u_YW9}?^;~MV^9U90w7wh>1VK-zQ=9~nBC+Tc zb4p^dGhtKu{oR_T9yj%Nyjw$N^u|0>6H(1f(P%=dx001R9o^cH&N&)uwV*k{mOmO7 z@sbuDEGZ!^BTs&Z2s?Z$jjc10jP@Zt6I^3D>KY0N1L18Ma5}(3?O5E@Tk3z>^^Qg% zy0MP#W}VNX4wH^WKLFaY!|dzc)T0f!TOECy_yI#QHQAf$D2)~#6YUJ=c)rNG1GuO` zxP16j^^852 zOLvf7cZgrSlft+Lg86Paq*Q;3cQz#Ebbe^F@hzIM8gSZ%#&!e^9#!ci8}81=6N?^n zoL6@GmW5`(-#4qY5)g8m7L*PD!OJQw{#oyTkYSbfFD(zkIehc_==nRqIopax6B@jy z#_{)n3BCe~{j^9Yd_Gx}JwWC$fL18&(UX&;K?09D{pNxMtLxZVy$l*d9 zNpU1RXj1vmjFCPx8E%0l0^wszd~7Kn@)5WEhTrmxPxzG2c+Tg%;3cp4f`8_}^DjNv z(PLom9UkuP@APK63-Kf_CLq5cfbB6!ZY3fW^yNSIUPSPptIp*WS z;<{PDvbSI6w{`{t{|hFb*s^TwoX;$5J*Nw;+riap`Ew|ckDS*zGDK)5TTHb=3 z>b9_!SHI_=X)znwq8#Rhb&TEdFZ>T%_y<*0DLV(ODCg=yjGrrG%5BLjy$dC9hE+k&TvSil_{?3KR^(H@ern0jUxnbw-H(5i$ zq-CM!_AMc^419bQD>W}}bd{lHDA>=CPmFB}ifxf#9+irIeZTwq=)(pI$==&&Oy~rs zR4Z0#4Er=v)5}h3HPxDyNTR#)1TT5xyA=)X4U@EctFExO%l=J9DrD=`EnlP+{bb0Sgqa6`AbW7OS?Nk z>*KaLV-XL07coLE&7xrG)p+HFW1rNn&0^V{8y85d{2hxE{(&XJKjrZT(mUu`V*Jx} z>6G5ludueIi_lvcg zU(b>0X8`w2XBy5a|`}SVBrmbupu5PV+TZ?XMWgfrv z)(h2&67i}MN#rR(Kg)Dl)HjmA`iV+zd>@^f|5hF5h+lC@35`=rPEiF=n_q8)CGK7D(b0G2} zM+9rz3c?|#M>}VtECNvxo~VkNsEY=%?Awn}CJ{ZYTEvM~ZQ}Z{@`=~RszZEkR$Ve& zS@pzREXeH{) } } -// Task 6. Difficulty: * -function method get_min(a:int, b:int) : int -{ - if a <= b then a else b -} - -method sort3(a:int, b:int, c:int) returns (min:int, mid:int, max:int) -ensures min in {a,b,c} -ensures mid in {a,b,c} -ensures max in {a,b,c} -ensures a in {min, mid, max} -ensures b in {min, mid, max} -ensures c in {min, mid, max} -ensures min <= mid <= max -{ - min := get_min(a, get_min(b,c)); - max := -get_min(-a, get_min(-b,-c)); - mid := a + b + c - max - min; -} - method print_array(A:array) { var i := 0;