From aba658745c9eef4c030683bfde322bacc08d05d4 Mon Sep 17 00:00:00 2001 From: Marjolein Zwerver Date: Thu, 8 May 2014 02:03:29 +0200 Subject: [PATCH] 1st version of semantics Can't deal with branches and loops in the Piet program. --- project.synctex.gz | Bin 0 -> 44971 bytes semantics.tex | 35 +++++++++++++++++++++++++++++++++++ 2 files changed, 35 insertions(+) create mode 100644 project.synctex.gz diff --git a/project.synctex.gz b/project.synctex.gz new file mode 100644 index 0000000000000000000000000000000000000000..df0688d291485c0613dd54549dc32e631fa6cedd GIT binary patch literal 44971 zcmagF1yEeyvOSy-++}cgclY4#PLSa4?!n#NgS)%CyL)g6F2U^^a_{}!_p08%KB{2Y zy?XWTUft)+KGc984*BWt7fgM}wCVRDpH$H33NWsN589x(4n;~T65cBuX?D}l&ZJS2ksHQPj$Wi*?7O*?s}Vh zf89>j^?7(Ky1(1-dHG${<>hX(`M!4l{-Wzmdc^;pjv_;4b!O^98@_<>e~b#^plYTd&xibT`Z;J?P^Vz|7Ckg&WAfC&?jJ}pV}LVp6Yh#!sp?9$wr6&<*du+IoVh4 zN$mJfGCxXBH_iLTIN$3FF6Bd?%a^+A==swn{I@QI#kX4&r~N62uBUsoa~q%6%QJfX zPFyOJ3G5cHm&>_eUGInUbbjyWAp{?{Hy1;Lu42W(mxn%T@5f#I_v;&7{@17Ai?^3p z&JL&LZ0bKnn|xmPulR4*Mf}X^P4EwiIzCSXmYtTxK5}p`WAylMG+hxge->jWS)U%G z4Vk5m#;P<@eQau|3e{bS{dzy&e^nSwY+BzKmJy!lQ z9QyXgV*kX%&2OLknVac}37enkX}8J;8`Eor0w44BWl1Tr(=r6*HQT4~D@fPNQxpC> zhwZg4+n|{2S#s<`a-`kW)DV3h=cO*&tchxorq_x*x@xxfRD5(Uh&JZxrEnuj~Efo9pZHew+Pv zll}g35-fKy(e_^S{$w*F%5p6urd>43B({lmBgDB==yM0_N+Hf>NBeU!eaUv6Db32^ zR!}Y{VxMF`;fk{MqDV=s6?8{_1DpCu{@t3NDAqx(xSDWSpn5T1P4dk`z@8Ep2Nq?T z7EQxo4kve|`vr0;)3)N5D@NTm;j;D|>=z!pkvMKlKQ<@*Eo)+)oZ?Syiww?5NHxL-`I;n;iI7u}pr^ zC1}P)I{ZEg^_WmHvyrx6SS_h%XVg%8)k+&|y>EbiSo!ux3~DA>$>mWp(&60Q!o2aI z@}eS~b(IMqx3cneV=59ooRJhVioSmY9FDsdPSH%2=DGRD)=u9HX0(lN(re zz1pqH6StTu;cBH%{^Qx}5}P7E1Alr)IN_j9#-Mlo{Phsc99WitavC`~)_1?e9u;IH zI9p8Z{2$>CZgANPDho&)dR;TpAP~pHt1SjBFARXrm}(rA$FE7f%6X$h z--%U}dz7FJ2^PBTS@x}HbgnjgN7ha3Ma@4|F!2273@~SNt@Bd6qr)^0XX>{JT_;pX zvtA8l7|@wj{GyP-k#bkkJyL&&Tt+Wa&0`Bakk#`5Z=&|q2R(0W$$X@~>^e$1Ag3{F z%;I64NfLK~g%woJ-`q4!TmX*M`D!oArC?~GAAZ;-Oc3mk1}IZ z5NxDhsd=rfpSS`JjH>7za`hzUTG44hLm!KO{0UOt+BYRXPCKP=JWYxI20cH5AS13| zRb6DAS3HfYy|t<2tw%8v?^m(LqTc$`$g%=*KN4UPsFQzRj{mgv{aM{_#8(WZ3%Oa)TPSXqFbb*wn(cVk5@{C$`Cs)y+9F1I*2M=7TtjG%ac zU($CoNiJq`e#^#*d0A>nNd_LMv?c~%>fdDMf2ZgUHKU|#MjUxsmw@&qs#doqoq>&F zts+GgS`ltZ6h1(PdX3Cy!}ijU4BNY`sB(!T>h1Y%O{zekWUnm+RMYMvlf)JLn%^Z3 zdH;PdwSXi{UdpzKji?|cysZH#v~|6(A(CJ%O~17P3BaH<>107Xyc=VtyB30D!J%;- znGf3pG*J}Y0J>>N8~%{2uR>zEMS)*t<|CW^N@|FtSV_~gwgMga6l8pnnGY?sv&aS# zG}rnKTR=cN^n6iN8MeB<5h<}SP0EGMua>2j`S+ygbO7V!7PW-oE+rka3tO*3jOgOt zq-gU2ec!AohY*3V347dddN1+11d;Bcmc}Y%e<<4mH}U!yDFN0 zBp3-)+9)md_o8SF++|6nm9QvBKoP$qT8E1NB+I9d=> z8S(X$TY(zYbfy56f|Id1F2R<-J1JtMu?i^ak(&N6j@vc^wRuvHADtC-EsvI`@FEYL zox&Q;jJy<&3;VVTd0g;S;W9IlU{mm>XJZ9&Q?R1G9%(3doTGU7(&JjVHs#74P;R&| zNVPAH`TaX)yDjJNgR3|KW4@i;!EO?W6SUV#@B!Mul6ymxeO`!6zp7@EQq-)Ko|yl_ zs@#zUzgB+LYe464pC!K3rTZEAp9Xv~AMK^%`a2X`&o4dw1b08;nQxa<(H@4rWDQ>y z{v3UtzOz_xly)R?b*ff*EA{Pza6#@4`tW(YtLS zfef!J6=&;88rrvwErA2SDZXRtO89>vf8G9r{B`@_{1e~<`6s~t8~IOw|F!A=9r`2M z|BXmV@ZxkP%=hWhmIU{)$8q3v#`bStN+JjMEya=GbS9B(Ukb(r{1^FH^y;I+2NU8X ziB|^q=|NhzMMMWX!UsSm8_Ba^j13=j+?6 zI?>F$P7Q$jcEQ^ipL)LgS#Cwd5|QbJLe5GZnJ5tIe5P@6V&P)VN6S|vtD1srubr0S z*djbO$V!0B2WhaKa+xuj)!3+Rwp!a&`^yU5sl9NVCAyAO+*vQSM7wr#T>o0&Qk-Gi zr6$l!M>68P9ZB+wu00lLhLNb%cBPeQgsCD0nkA8K(0_^V{F@d-@;_*mBv=2YB>~O< z&}=@;A2c1wV8zvhokv?O){<18d_GEh zS|#bo({KYY+Fu&5WIlUhV6?w9&A9UD|I%XnPl*502!Ub$OOpU*^OyFq+utNVXn&JT z1ZLCnLHnEJKeWF|e$b>Oyu9`l6?O4v;-3DM`(JPBk0d^#{oO?HKhZumsf{5Ssj615 zh|bsZ5@zb_IYRiV5%F8sb_2Aky7;Dv6i*YH;{&h#*z z5OD{-Ku>(!O1SDKdFza?mz*kOQ(09;b{>4HWjcaiaay?Q6BT2Ox>qJ zJ`!OhJiM98Ex=QB<9Hw6qwh_T<98W1h}3{P=E(@}Ecu)reh!=&;IBy}hq=H}XgNwG z;Y0T#4xJJKUWpDfz<%%8(Mq6w1$GEzSQ44u5hzYz6tF|nH8CVGxIl4oc13~aa*`{- zAz&+xnv;NLAZ^-?I24@=ND~|qjH7V`w&LHkxPBO1U@QJbqahjjA2gtN|DplK`yVu* zc+)i>G~k#C4i)5gPUn!`21b3D|84^8ch0Wne>MS*$x(Cczc(=;ltAP98|@=Eb>L9` zmj>+j|DXZ;{V&=_N&lq*`~5H4N68;baQ&ryl>AqTzqF5%|DpXY`7cfU-zER0{Y~2`MsGts#)ZtSFdxe`041?H#}x7sz1D7=1eQ!J}8vbb`5sTJ|o zlKiD&>IRx<$gr3cw=jB)F3gcv4P?+%8evsj0t?>=EnZ}3-rdJY^A z%5~HhHQ?zr#=sR;=H(;)!Y|dph>oh(n;;>AhN?H;Kr+ei-$(v1@HJ`v4VRXuG2b9&=(5 zqXNjH6B&n55g`~iyU`GFJH%D5D>!LuCk!))cyEjMT(3`)De~?6=+y4*pp8$V39|1l%{{;A7 zq5t2=huc4#e>VL;L;p?Z|3v6WZ(n{ZDo$nB=V$S6i0{1o7DYakqn60v*OrQV`K=kZ zCkG=D_g~~=0Tr(DrX2htkvo*dzd(q6%*2N`%jv@<=1&cL^?Ce@SLRHirZCr-1kk#Kc5GM0KF2 z_8IFztKuKo#m{W6g+GF6-Fik14B$MXnTck%#%3rxp1rY`JdoU~Mxnl}gvKY$5jQ68 zR&W?!615wVSLWei&zrB-+qX-(sKNXyJjrckSSe~lBExoK?=>v4ri^GhJ`cFk*~n!0 zRsIbsexnszuU6ZISo-cHsn@mdTo&VEc>^+@wk?rir4C3-cXsJ@T>{c>rY!V$@jK8K zQDy_Hv)q0`?atrGVjN~k>1BBSf{Z`C5lzX@rq+w|0V1G(WHC&B0vCQj1m}-v3P}#o zEf9#X0FlESAQA#Zq=86&E)WR^B8I?)VIB~P0wSJ3H}ZTS5(``;0Fk|XAd&!dD+eM) z1wbSji1dGO3V}!(5Ly4=6ag2RK;+K{rwHiw6Ntdx0{1BfB6&cB*c6?RQg=2xn(yIc?#fSl7mx2l9bLWIIQt-q1S zI=WS_mthm)`iu!K+ndM}UAKc`&%O$Ht5Qp3M7&8`)S zZk_TgJL0Li=rQ@xi{bSE<6G4GBbZG#_p^S~)Zwz_t!pgtT^yigcD@$^Ow1Pt#uEvh z19HI6Ops;a1~WvY#@PS8;Pn}|q2l)94T2vT?;5=${{G{y#*dG3U0%WWmqA6neaRgH zt2&4;k3+g$&sWLY1D#JItdF-g{9aFY4rP588BP~(s1ShTCBF76$~K?;)8Drp%=Yfy zHjzACUHAK}Zfh`}N-N>y57v@=R=>Pb1=86&dV|g8@N>7+9uCOWocGIn;>mK*pPQ)` zjT45xsQ}v5eEG)6Jdbwczv@QK0=#1%p->PMIaI@bfxWDDyQ+<=Dg}oraL9VOZ4H!D z@~o@8wPHtUNjB=a`kcDjOjwR;>}Y2G9^k7CiYg^yh%;0=o=(nl>=~d} zHVNutE6ytop6xk9DM*9c6;TP~S3Wzh+QBU}cZqtusbgU*Ns4RBb3_rEmZ#*A{({hM zHe(7Y(KzR_Cm@Id<$Wiu50892pK*z|6`C)~6QsPPc$o%0@p;C-N1aC~i`ReKI9L+* z`=Kcvhf3PD4wkuhDT0%ogzKmXm9UorG71v$sPxTvcv|9Y7tc)?d=y{RTHnq};i*c8 z;$*6(NH+rbkUmZtkMS@K4+;j>sm zT;m;5IyhDEfsr~Z9872D8(?+~?_sZUwKgRl+z!-4S0SFZgkh<2j@+vD)TmHQQZCSJE8YU|#*5gQFrJ;uv_G-4 zfb6Gm@hVm~jU=>$P)GnTNeyzownK+GEBHC27%`H^WX5mRv z4npd^eA_!I(S+{Ih*_)`d1!-@kiledh}sD@tsPKjQ2yR-7Fgo~Zs1$OitnF&n{S$1 zs2Eh*FBy9w5HJ=kBhIXFdjwNQNc4_Nfl=oGhX^NfYA&;0UO|_p?sCcyBV8Jni2x2S zSd;fDC8%bjCa=}#VKg;@Oj>sEY?uOt#Gz;e(QUAnG_R8Y##niuny(4|ZJds63J1ES zl(~&uqaQq%{Knjb$x~ap(6oYiF$ogSk1X$Kp#Gkh-4IZ!$m3e+*{_N|P`a07!eM`P znyAR)YDS0Ag(6h91TaA54ikme5lY`qK#oa9vzvUWlt&Xj%u~6^p!9ZE(Z)X$0rrM97 z)J_(0)VeJ;CxR|?z1--X;ILGEQyM;~0}rmkBy~t{vH9 zol3NExsIjAbu@Nfmg$WI#dZ!v-jkmlpVUjO;bO1LlZU8uv(_{|yexKDY#{iiA5l@K zm^xyLamc`u*j<93>4No(k78!OWRvo91(wb*y_$9>Sb>fOCM7eqTbWUBATlKtlOfmO z1Fl9P#TH8^hHPg67%NIfkO710QlCe+_ z&rkrru;F#~LWEZJ+f;|{@O%9vCkiT-F&brGTJhc;XE-8nPhwEE*jz>r3k~H2q;Zmf zUSQAfSc#Bv_|Y-Jpy>4FSjNf$QZScg377bkc0`mbaN#_6ofg4RTY2SQbK`%US3ssb z#BK9$v_hRBpm;Kj(J6asJe&cx$~>%G@uZR+o+;_#!;0fpGKQ64EqIpvl+FWjH=$-j zm2spY0@Na8jE&_-dqst+3j#!Dw5`UFQVe@{} z*%4l~P;}Db!FRag&Q(i0b<+NA0mA4P>ZL~1tApI=CiGW4kx07HXC@1p6^`&PH1WgQ z685VVhLrD0lC$OAn3yEb&w}b&-l7*Br(<<>Xazn~18a1fFv&QoyB@q>&}?64D#DS6 z*!0SlFNK?P1jM$}S5vBIRMMLUmYz{sw;WhJR&o&^6tdVULEm}-hU<1jtyIWT2MZ0{ z=j50yzbWE|tjw6fWP2ZuS-}eIYqm&Mr3Grx&;92B%e-b{p~hihneHg4fpwE}dpL+y z5Pt2ER~&79k&ddxsu@Xc zT7pE5{FFrLsF`@a=&W*wN-@O=H#DYArhT$7Y798rinB{Y^l7`pdk{AbM2yN=6%Y`8 z_axd}y`gztb}5CP0cjfEKlVV(I{ z9$q6u6%^6yYSuMc!oZ;0$D}854D^7mA-ARn63Y`lz{|V_1kJK*24c2HW5wlnLcYpi z(j?2_25@Xvy#eh=J?5+G6rq}2xEtY5L?+CtMr8fa9-|Irp9Rp!*JR2ftL(-Dm<0vX zXJ8dt!{w^1#}Vl%9PH4t!b>`Ni5!9qMur<&21C?Dze6!b`s6_)Zc<#ZMaiI$#(x`QB;wDNLvhX`S{)mHuj;RsDwrF7M-Vn7`Wa{uBfX|CA0wbdq*Mojwa z@sVt)l?s*J0;`HcpFX+V??C)B-^wNnHMvv%iVVu|vG>mr1A9m_wZ!e3{7_p_8k44? zhuWYufq!iA3fD-tcx|;{pZYB-V zrr7Cs6iiNRC8^6c^Q|L5d(K5ug{5J*CLxfyh1{o~4 z3uqfH;iPWE1%+`hXde1RYpE4s5YDm(>Le2pV;#2=aUqT-(^`wY2#By{p%jF|+OBywE<+PhX&OQ? z7~=xBB;Wb=GnGM6Xe9^U0XJR-&`M8IhzQk^EMBVQz+LerQg{yUAdOQ|F;J#STjjFH zbijIFTKt@+HA$zuY-e=|W2Urp3)jpt$}9>1DWBG8g=$%$p24CNfOq))czwTv>N7qV zL}yBTd*<`$+)I7&8i6ui)5t){cTs{sJ=0GlPG3=Go#B`S4S7sLjA~t z$J4LWZ(0aFUgqi)mAKx@VS;YZ9$6PSnMm+3F>YV$=NxvMcom7Ubks#`YCY#k(N?!u zv}>ADp)h!==&S}>;Gwcvc`kIlYI6*E2gosVMp6$R+9B_RRVkoujHQCA)~|n{)rLhd z${GfaAU>!TjjXzl*&*CZW(01-wy=we?S;UqI*`mEp4=Qfkcz3n=yto4<-=m_+DoNS zC{KtsVF<<_Wj96ALD_luL+PLxL$6-TCzj06X#AKK+|_tQz9M|jr2;ED+i0YE_<8Uf ziCl1W(G=&IHwU5eL8NP!*~(%t>fVZ35we6ij8+9DC?b!^j2da}>k32x&!kTyFUvs9 z#<1RcC1=fc1XyP1wEob_@=x#!1=KaZCYq9j5~@Zo_D~!RyMA~lMkD5=9}s;xEntl6 zknRT@#7TG2FT6Q}#Lro4BMA2|eO1M@& z7cqo^o7;uqt9;faPQVq~5ryK{e@aCZ?djgig3Lpl6_+l=kU6@Vz!-HY$~oH{emJER^`W76bxvqHBMCo zLAJy%E4=8+)coTOW1gK$Pg#JSMU=3Anf$@b7f`k&mplkp9tI_+{kHv7&dHDliBffF zpPTDrg^WOx3`Q$j_ilbX+vv;9qw9orP%Ut#9Mgq>Oo({c-Aagq18IBQ34m99# z-gN+StaXsUHG@*Ha?m)B(zZkFW`G$iDxKU9F4D$xL z!&+UdUKmBbiRPCh5qs{fZHS)if)RAaXXyo5z_Lz%uSTW^_Tf&vSvCw6w5Qn3A6^u& zNsOh|uUj!!p?(^qOtEr8OiBQb#Ggp1J0s=bgouWerC5P@V?`wacIpk3%$+Zjb08ig z^FO#~zf1DwQCQ|4U}y4()X#$|#R++B+MnlfsO7i|Ydd}Smtu+{2%SdNy-bmH?zSU? z9dbqGx3H^ZO%2sU6_k@LODp9BHw-v)Uk)`00dMqF6Y-=yNOmHT;DZn7t)ZoRYKh7; zux^M*V|WgknsN@<)9{jk!NpMx(Uh&WMty?O9Rd`5*|(hGyAaRd*pVgNtnAfR8xXT> zp@-y!_i5uLoDpGHZXnJbvRZ=?UQ?0Q1aSV|kz6;=Tz&K{=R8QT6&H8tmxxghFZFz; zprgC|wZlL+1*JvaOxL{iX)O)M;j;OH>^j(KnUS>5@*8e8*qWDL1Q7y1lTVhr9fz1G zr;c>`;*c-nAB(KD+Drzi%7JJL;0-w}jRk?1z!ak%(P9DWOj=`bh&b)i&DxuJ*%tzv zJ9@Z&}ow^V_-8sh290c@KBw7EtUAdW@`mO`E z7ulamjRIQ27Ddm=QmB!{1KZ;gX2MfNs8$OK8pf&D7&yJbrJC@;K}t=NajgZKfCQ^J ziSV@Q9VKLgCS<77EcVIF=aGgRQ~_!^G(NGz#?iTqoQ!gHnIqfP_Kk>EGDoB~0f(|g zux;DLFAvjq;>Mv?p=s9*t+64A=3x=pYVDDu2BBC@yz_3u^$ix1f3A&(6P)X_dB)bw zzjnu+21$R*9Yp7X*_SHx9JUIQ?zz=Cizy}QFOB!mX=)+!Jhw0^c(H|>>$ejvk4R>x zjHPd9)mhHP39E}p(9a)XtzEhuB=!y4C!HOk)yglCR`#4CVN*_#q_Z!I%O^HDmZ zRs|2HX3qODX^L4P0{F`}<$3Eh0W>=|EfqS8Mrpw-7J@XV4@@Xw#*lL$=bS1kJ-^^4 z$S082m=pZ0%8;2mAuE9gI((t4@gxR=I{M#>{mnL<`%#GZwb@bC z8mpj2pQJ>l**DP60kj5ba7L`J*M_P8RXSkGm`wmlf2KVuB(*v-ghKZBG#@VMW+75m?)hn{C@4-`Q#jX_^#l^* z(r5pMa>%>_@oT@BSvF6QdIAy?CL-hB0J(PQS*~eBuBlI=Ta)_c$h2WtebFHj3GB-R zk)lY7Okr#1bK*yonka(nwUK>W4k|p>de+v)2g7FTl~nqA#=V#|EWDK)HBQ)w4e1J{ z0F!OhwKSt2__dU!V)QO|S;*9ChN9|PV81(Z`$jlM1yAMa&8z02u6$|klBWV1H>|$) z8_Sr+0t9x!^m?so(E~^|%NL|e*OJ;&oUiuBW2MO^A_d&mwPOs(Np9j-Swl^tQqIBI zB_?p}EEuAE&yL0Ccu8;o3OKlxYfiGnA?a5_xZEJ@3qj>4Ta=njY|>7{f*3>trEUTk zs}9(9-ySh+1;pk9kj}j@NSO7Y8RcgyoCxat#{yV$x9rywDYW<7K1Hd5hjx^4xww@`VtPT`pJ&%#f?S8F<_V{9iP&<|wW z-s7bos-FTLPCgGUZMzxTP`F4)t46}raEYke(al&nT^qH?rE4A=^%*ETyd-tp-Vwlc1zTBe1>P2r`eBl#-1%hma3ez=v4X zRC1nt#TClhFd0Bv>W_Ve=f<_wj4*bY#<{wVxQ7WCVjpxS91Z@FIjy~4!wBl}lQT%m zHsmX@?JyofJB32YnL%QODrahhziJpFLb7HTF3H2?0PCS6(I49!@dVgI6> zLoOn{duvtr`=8qehYWI`_&HuxaDy-I0NWAjvd+-%!?;~5zwrk&T;Vu8^|)VlKMy$> zjg(xU#aZLDr9;^cMi~oe%5M$i)qedx(dIS8O-w->s4~qc;WpcKY_F0FZ%$nS>Vb(Ru)9U>w{uH z)?tw8)z;un+dvXHP>JoMC7NhuWqWz5@~sBomgJK&${rpm#B;#+_eG%3Pu@ImJg%mG zStVOde;O=>K!GNTWyIn1HU!=8MXNL{><*N)g0d_8syvVOf^kJ8!wea zoeN+GonDQKwih$d4+-j0~K^pIE|SJK54!pNI|>jc_B3Jeq+jd z4+d~WS3wMYPQF#aU!fy4pO{b+xTak5)Oo5J@WWo-++0jfBEZ7gB%Pl+8Bi-(8Jwn1 zf2h%r6NIH|=I)G2e$$l70tIXaObEjWwhyIg1&% z@Nrh55?Z&ZqG}N+Hr7r#zBhE*$ZhHj!IiZ)vMqy(!OUl7OEjXu!m+r zV!cdb*@!z=2~&C@wB9pW0|jlJcoi|*ictesYG~mm{#H6HLA6SYQTK!0B9TO_`?qt+BE7svb_X0O@sRdbaYh039(uWvvbbaqbr_lmz(Nw zYQaZ8CRn}Z+;pTVm4q9bAg-CpU%wyMp=*hE{a^=4aTlB~hl-?eb_WV3KzytQJXC~r z!qi*D&rst;eEW2F%W;jwT%F;wg&tGBO5z5CscE^%2w*mTlUzY#*WHaUZ+py=yVy1$ zljfqk_CS`LQ&S&*AaA{SG}o4$BgZ+GmcAIq#^78JE!DRw73btzD@o+Qi&>*y#uAJ> zE+bO&pO$*mwBJ{wE4E|28KG8TZ!1Eav^t z#OY-gk+uA4bs5I;9tJ8VT?Ov4jNu-S7B?%y-1ZY<2G}NYqXk|3Qb5#GWA}II09~ug zOan48+*3bdXGG649IJfF)iObj=uAVABLe~@eX?FUBsGc08ibGGBJMOc&$64NLV_r^ zpAJBRF&26s4}dZ`8dT^H(b_6RAJw}~=1?OIhiBH|NcwKY%os*|P0`Lmh6Bg>#OaU|8Nzu#p>g&vw5ZZ30aMfi+$|nZyoMD? z8jcfvv1pxoE_hTO83@<30+rdXS&3GHb$DEz6v0rzTl%DlbCv>S8w=g4 zFW|doUusRXw~2S?1fXswibN?-0|`cOm;tbW=)+2|#*2n*kS?VJd7lHA{g&2D`aSSq zcu3|icl;Penhny+$|QL-FUvc-s+Pk%gd?C!fdaxQ?u^} ziBaqRdacxsxjXl1cIm1+*ywsH1R0pL@n*fcpyTek7jme+Q#{C3o&8tNBH9Ydpd~m&N>$iqUXSwOOhqBiRF;5xPlZC-8d0o1W zRdiSmAM-Dd1w{L{zxi(k^-D@W(Z%;Q)}7v*LDR8=mKc|Ane$gCN}Ua}Ca@^6c z77n`~L%UJ$t1>n^mK9xiwPkX^CS9Mzjx;BBhNnT@%#w#3f9a=@v+tLXwjz<;fwRhY z?Xm=ZPV!|`BLAF3c>{r*u>lD$pKR&)fDL(M*z_E1L*RR^<*~Fjk0PFg~_&I06n*&8kInwfCLlx$3t> z{_;C5ye6?NZGoUJJln=eEhn2xCkr%hO9T^6%gmxA#FLkxLiu*x#*`r}Z`LyVrpeOt zV5h7#iZy4wOmpJK$y^k-?xTS0n=~s0qunnUUOyrX z^V+C@#>%&)pU)mL`MR=SkZvYpw`?ZTv)v$Q>q#53^reTa{eB2TFWH(^g>*S&Dw0(7 zg|?z#rR!878g9oNJjr^b0X&#ets>CH-tMZ|oR;lC$YQ%aWElCGa}3#muPJHyrl~&3 z_`Oz)mo0=kU8hxM2@6Nm%bGSA#l6`-8ZG+kW^FjPSrQSL~a}` zwxI~3lVc7Sk-6zB0!=RJ>Q&iGt0sio{E*WL*}6 z#^#u>2y^F{&Jz@OZj}M9K`odA%xBq1^B72{sAq^ffZ&7xMk+?3Ki(A>hRWve&*^uJ&P%=a}1*_~iko}*@EgP|b==#a> zy^Enqb@2DO77GYc+LQo$9tW)1;9Y2}p2h}`T;dU)f%)J$z-5oI`I+3+nv+kFpj1>Bv1%n1wd4yn9Ufo+ejvqbaA}d$hsjc#+IEK9eK`Y-9ErvSngy082tv~TgnXJbofM1R& z;3dn&oZFFAH}8O`g-gHC(q-gPE^Jr9MPZA`P~yJfZTj)x2SL1<7J?x76HrXJb#TXz_qn3gfbZ1PR0s26me5-CfAmcjdT>X@$( zw)Q&|0`2N`KNU8MTxtJ0&GHYw2@{x47ZZCkMk|Mvb%Z)r@>(R3)^$vnoB^)r0;U#) zN4Ez(N;8okg|=2*9cUC;(?O=B8nmY9WgW{ta|nE|7LM-8VbYfD{zyCd`W9Dm5#jlj za+zPzkD@RDey|Bqgv!3zr=@tUpxyK}Qvm*+Y7PAU6#l2X!TuX8jQIVHA(>F;coMor z+{$2SSJCfB5+BYJulZyI16_ z@U+o*iMt0HS33OP_jk=yeY(wX#^aZy2O$Fv(0ea(x={_tsM%ckrRIujH$@T)`3J%^ z!RceWxdcmD=owo8`>nR$sR(YD0kA5GVrYuNLB`Ge=k(c+uI+jkDzDn6x)f$_Il}E% zhYz-1GBJEs4Yj*;(oY6iGVnm{p9WCx8_A!GG^aQ!-wCFxUS?dPBiQz>W@x= z>8Z@4Xt6<_LH|siH#%eu4^BCbz8T4x zsMn-6@Omfph%!_WWv-GdZ9zU{2-&j)+{h9yc|wlW{621{HmU)S<01rN9e{a$HQZ>) zlH(bOg%OQ9RcZ?BSc2u911q@{VNy7?&^rUiRMSjuS^zig8cdEZazObODdKWK7)cg0 z1hx~;Mm=r-XOlcfaG-52)X1^Rb=#u(*(B*@njJnz*T^cDa0$PbC>+m%-HwQwhIS_| z!xDX!LYn!TC~+29aEvA{Ku#T+N@$=lWGbSY_lAsy!Z{@3@Hiv2K|L4#qzsYW+;Clk zO?HRYZ-HWQ>vvOVuMVN0$ZW;DdR`jQ2JTJ;m==cPzG%79K(-~zOJr1lR2A@$v=Luj zkJ9e^aQJ0X)_|_dH~dQVvM-v!^Nv{SA`@TZ%6mm0&*C9)MbPYybbS97swg3FXGG`z z9#E%|-V#b7-P=bPCcQoqN>jsfg&>I?=vKbHv>GCnT51#tm2e*|6D1Z8S7rbg`DJ}O z4|1SPIshMYN>wtWRzG~cpzXToZFd{5ale0`tZ7n!jxFtY zw(B@pJJTr5cf1ZL3fgPF0jbiS<9{W=_(ziH)Y3rQt~>e2YD{gi%VzOK4jBr*17Qki zC!ZXa*^jrg3Z;8Shm8#8&(Xq;eEz%r=Gjh*!6FtR@u`p+xvsDk34$MoL;76^dgckt z$nRGD;o|@g&}Ybspud3sDa1YFm@1^I(0Xw0GGV`%DJ$TZVF=nTFQ^%T)I+oyYllx3 zunpZaX`pBjX&wek#>Yjovmn)ltZcWR6)=(h0-db$lsNqgEydkq5$waab;^Hmjoqwn z561rj-DlF(d;9At5$r!F@(Q4%gB$M_m<|1Y4mlMc`z{&Pz)Vb8nDonNXn8fu74ko& z>!y~ejM%TTC|g{{H7||rttQ=*x1OuY21pnOG(#4|hyv@fNNoLhSaP77BOqB~D{mG}vtJCJfiDVp00WU;d zAP*d@QLf;gWNGKG#Ol~rq+$BOh`~7v^2L2@)cuiIJ5mX!m_6np^qdO))Sw=55|ON> zl(PulEdkU86Z?E)NAXcRqiRs;?3|c%9ga*j+?YwueoOH0p4}^{O)XustT(CUrj7-jC$3&cpWVXYUzy|&C z$k%{G&a47+-`vbn%KRj~Wl_?ssf`qt%!wq4?h^gqNnmo=D7F%!6EcXdyy4)QE_{%t z&^ZuJ5&j>8fC3zZC0Y`mEsjefidX-8U>ypRmqR5C(-TyBkZff z;@Gxz6M{o<2=4A0+}+*X9U6CnySoQ>cPF^JySqbhLT;0+wfDLAKAbnc>PdCYImY;9 zR@bN~f2LGeUyi5E&iATHc?&v{h~eC+k0+88>fe z($#JK-5#LAN&*g~t%AT7&8Yz&&g9mKr-!Lw$`d@#POnw1z~dS_t!i zZ#qVN=4l?A^MsvHv=F#vAj(1XUDqX#WPUd_r*mFoTCAoHka-GuyHb;j;&yvVh+)y} zh|Ztz-vs`N_F#VZ;FuH4*O`Qf!&b0qis#0QqT{~)jAOMdSD1>pKh-gt0WQjj@i9`* zxG$DG3`d|nP(?5YuD2Wrn;}HxjO@;Nj9{ zXQiQaxXSuUq8y-mixchpoYse*1dn{lk8`` z=Q~>cBbv@Sb{Qyqce5KPMB>KT`;pT2in_C!scIT-UV;f(Q_wf0?5C;Wv!Y$;rvF{P#t zxooiCiMkC6avgZo*1P-219R&(SJ%K@lR=- zKzlc%2Tjtxmj=UsOQW~N=)E)?3Z7w|`pRqv5!D3Z_X~coQZU*vATJY0V+YNM=mS}% z;p>jUfyK3Vgp#G25@oOVn9!ovSZK8@njN|XL8QAC!Xl*;8PnqD?;~3UUHa(T!rbyB zSZ9MrmFF^lXn_77n8=XA$N**ydpWh!X>g)%^6Usx4qGa+K4R$3zeCC$Fg%BiAl{im z_nj&1(BGND>JL+N{$+~CIAq}tfoigMrpOLqTHja3}|zF7gvd#SLeUi+uC*z6eP+kulYc_T3)hsCoaqWw=)T>Rfr5rZP51vqK;vKoFC z;pf4`xyclyw~=93p3v~g&eA%!@c7snDl$Q><>8Qjs=%8KS=sxOX&L$}{Mtq~UJd4)DkEY`??Gt?$ z#evO81qFWsPt*S-#ht$ujM?lrrWVgE0Q~qEq?otB_@&x@P)gAVI`@Z!6$-a~NSW~3;*j)c^N@}6P;5WvSK|F%@oPyrwT z*t`<}kMKJIJpCbn^}ht*;*bjf62R9#1Yp#R6)dom@oV4sL*6P!7?lgD)y7_M^UoRh zyU`CqD^NO|ueTpfzcD3m{^-AoARJI!}poCMJ|D%hn zTzF@jXCW8Bzw9k!un4?Pj9EnMRps6(zJIzO8btL;X*HZI&KZ*{7K>|IiahH`NDWAo zsQ)M?WS%wHY)mBrH7q-}cQH_v`z{82{)hpIO7#=8tcd-f-OR7Vc$ zO@(xm2)UKR{8RM{B`=9BHlBp7toK_wzR}F0iYmJ=Y?K{aiKl>Dn#>9lv2j9P*`5N_0WUxu@GxtOhVZWrSRZ@W0sd86!7o4^;0@FP z5C72ty9>a9Kpl`FrK4G@Puoyv)f_0{!NgdSM3tyCnwIWb;Hw$O5fU!XLHUOV#E|eqR zg>v=MyHIvT|0|UBWl*l6yWfoe2<4x$Z03&&YRYt%Sm@mI@>*{6zMh$(BS%Q=y$NFJ@bS9E|p|M__*W`F3euU z9+ZZP#-*~j=Cirxr^<27gwlryUDIk%1OmBI71z8uoo`;6D~@?$D|Tlq)Rl2Y10|7|`IXpzC6Vd7B*LTbT_(Z-?8m-KqM84oq8cXG z%)2D|f_)?{D7&>?+9RzbG4`1Djr6qgP|8{CG|On=A0@EWj+gzsdGP-B#` zz{lw9{{bv=rAEcBWNP~CAWK`GM(JZE0pYIPw{PZ8hGxbkUk1vFe zOaC|ml7eXxY2{Pe&{ZpdxVfV^vc8Krkv^;6dI$Mm`dq$YcF(Gt2c|`#M^>sq@X>{E z39vv&RDn9V^)S_V5>h44BP*6rm!R)5WB%P!|3a4k4xI(t-ae-HQ%}@xe;MeZw2+c@ zTJybAeZ~IuQ10&@itQs9uNG3TX>#A)Mr;1R9xAmFI1m8zQ2k##^=CXlBDGsWC9Y9z z3&)Li;@-6Z8~T5=0m=A0VYuk5bMeBK-l{eDoIyW%>xDb1Ko;VTXo3LdyZco>=`^iO zf5bgtddxyYHVIw~IGq0VlUs#V;ep#UNDJ|rNJI5cW^|f1@AD~3dq&qUZ+YBoc>ptm zo2+NUcSrP}8j83Fq;^~3zN@1zdG9`&=#P(XeD~3`B7c2!3bHUzDER;N(Z5FJzt@El zXm8llx0dEL+v@`fvojdzq-DGI`SSmD(hPr`bcY{aXYh92<-3!f{5LhEG=T$~frN=9 z6~vO1^+TUwP&$BhMldQ&%5zf4Sqxb=w_g7J&QV3=V^)a zAWJxu99N)5RF(Lzal*A>O8NZ18K>fZj1vk9unk@wiGmUeT@^ce<_wTGsDL;@2gC`T zLS2Xd;Dkr~J5D%jcf->GabgsR6FMgU#R=d*AWpdElvw|oLhfzkZ#%$$*+NYPURi2= z$m4&d;^^4?P93|+v?*_UK6H7_a=us~Lvn~bTHs1Yz8EAV( z@8$!afA>=UKZSgmG4{``P&%s=yhiAH3q2JBqY@h$|3^3cKMq<( zv92$ZV_{Cq-ziP5eM}?gf+0cVPa!y+=$KTd*QH>amnD#CUW6?M>==KQ2pydItC+4B zz1!FID$`vtN;Dt-{7s5N_lGS14Sk^7{VoZ3Ji$9hWQ4wRgyEmfl!?hD!3mTKc9mWo`Y85ygm8gZ3rc9{#dTG ze4HJH^t@qIxU5K4zxunwmiYO!2@5iL@sm!;0Rx;CA$#VSw32;kYRb6LnXyT&Am$5f z#Xmk_2^f4rx_D`Tc@dl&hAe5ng}^-{Rv_>i|MASkIwJGq?3Y^ek>e6>Gn5f^5m3vc zX9)(;HFAHq1d=f>Xyu#?>1I#Ax~6VlfCvxi97w4N5qd=YRn(PZw*cX8D@Y&!=$pRF z<$LsZxlI2)e{fFZzj9e>0_6hQt~m}UmrryzyjTb*{K8!Q(qgPXJU%GZg0`RZldlcQ z7qXKU$1zc)oqDt*o7$5^BEtoETfZeIyxRVTaqZ-hjLR%xd07hAz|$_j z!yu?fO6|FvlB6%GPa+kr<9@MJj*?req`UM6HYOZ!`Q6*~63zSTu1WSX&+WJE=C@m2 z?_XD=RhzH>qgU#9*UM8Iuy5qmY>{r)(*v*PGkn*t>vUaS&%=n%KW_(Zzdir#b?JKB zo(-P7^iIBQ`&NL`!A*A0WAt51T#zaTw_n)ei>NrD6xaGCI>DNkqLkk3nQ12ens5|= zue&(3saP~66;;9g7L}&;(?N_GhP-{oxMZE0wtO#luLoc(psKHll;-(62>4qR1zMq6 z@}+_;KO;4P8>8Rf^A;ZD)5-ZtoX9c7F)km#hU-l;tm5tQlJ~O~$UBRM0tidscqDdf z3KKXU14j=v!sx;x`xA?YReZa6wkPz%_E*YG^^4=SK?VcVP+U{V05VtU=0}TR55%23 zS?Jt_l3csD!6M~ar zqgOI5r6DkWzElSUo!ZtN^0!_ovC8=oDLK?1{6?nowB=a1$f9YYHXZrc!#hPV_P^F{C* zAlVn{v3&QysMWq3j2F0P$F~fP8&8^5eaZc zPimDC=6#iQVnVWy1~;jNdh^!*3}Z|(u&FK>rmh{Kpz)(XAvhRA%37*I5w%%G!bAC3 z!dkZ16I`tnmL&}5hQ%TW zhqE4S8M2>t55Z1w8#bE3)m~fzcDYQz-q~PET#yw?T?X8DG^$)~6--r$hH_lH_A922 zpd=${Gn0|e5W>XHu=uY2Wi#R>HCh?k*$|J1T0$z0jP-#!7M&4Fo_wx43WhZ5Ztdzk z@V3U~beRSyvTEcmNWnK7bST)OEEp1VHVozyl?oCPXHwD%V?q{zbte`KW`%m8{wU12 zG|liT9+Q)aI&@F6B*3DvEov?MwX0ax6t1mA)a@32?`K3LiW%SqxH}d z$hZ-*r*SHIxWvZ#fH?sX;m(YKrJvv{qrW9F+FU>E+he&5O_V!Rri2If6EtYFIjxO! zE;>ECGA;~Bi1)$G9)HHDaAHwJ;8=z#;L<{bnfvxS)_}I?DW=XY6_&PFlWGwc#X(V_ z!0ys7b!JGWm?KAB-#%4vhfkkVU01Ru0?Im6PhJZf^r=n@+;!9;(*%#&*err%RzO>W zvvJ+#RtgC+l8Uz^6?InXf-q8Q(g@{us?q^Rbt z`N{3`E34L1t&z(V*PQbov}f94HHRp zEs1B=Q>eLmgL>BPqA5dKN^NFsO6>%f?IdF;-U{t`Eb;-e(oyolU%BGMHS5{;ITO~; zRx`@Eg$+eulmbkB!OCzpEPP1<whlH{QpjhD-P7N6FlSg0j&=K6D zgj)JepeZn(gT)Q@4k>`JY?qjmUqjD9>%b6yN3LMf^hNn1cZxzIhnNKxH(6@Ku!6nD zzZCuT5O{M}CXW=okI(4yt^3>uyz43J={ysD^r293X^N)YEsJVzzihW8(_3)y&{wgq zmZ(0#SnxWs=+dq>byA8b9z+s)g}C(QRqp(ki-9L$SJc&g5!@s+)p{2zcLC^!%i06j8rPtpC^;Cv23q=D!&>ELGs!Ky?{@_hnAK{ow6-hh`f5#RY{4puPYw=W zmR@%fQ9!p#lt{orLsTP(@qaYOr zwvoXOp{6L1a!PRm@f$D;zc3B6k`EVNr&P`!=vPajh&l?ym|@GlF2mqBBS}cCW$I^Z z<~t0FF8%HU2__pym5Kf2VEQW;dMVtcq?D2znmQDZ4$uS$l2VdHFcD{NWO!^Kjz-OE zjbT=l8gUQ9m}N5!)EA#l5k>{6b#E&cfE`v8$SZm&Kw6PAfKqAr7e}KZcIZ{CWng7w-l@*FH}pn&l1W_SO)A_`^&nA>9bQ7 zm3kCcln2|fN&IA#m+H(sKvL&gufq*b95~7<5Xz+fKI<(IS}6)jKL5DZ|FE3jJ|&{e~Q1Ol!z)2i~y(Ue>YChC$FV4Gh|!u7`=Uq1XsuV zIRS~t?Pjfn2Nw_*ZG2US!scT1t(B`Lf@VH#bdV3Db#|YEvTwSzrTxw-OibA^~O_^chsTDzH zV~gDwRoH&%hq@d}a)$0u_BE>iA|v^?3KTZX$RC92n*M2OvE4-|#^s4}^@?hO(ck(Z z87HhOOfW;dps&QrjdU|%+@t9C4Wg9J7Of9Ms7+OZ?=)z6z<(4*=6s_4NHZ}Q=*t}m zs+&dW7U*4jtL8?Wqi+x_xq3~Jj<=K=#$*Jc9yz^(T}+qvDdh+Zur*`^d7Xp`^_J8FvyY;4?>Jo8 z5lD6&2P&gbpbAggXR%{_>K$E093NOh(-23&h#5s`O*K3PDF=WBdM*R-!W6pY1N4CJ%vg8M~_UK_)sfL^~U zX(R7G(@%laeGJhXnOM!2WOor6&Xs6I_8XQY%%7P01eMg1suF{$2pI=1bWm+wC?zlk zNw)SJM!+fre0|C4;Qs zs=t~$FF`ml!e(KmNxE;R2A;0vbYYKeD^3vcNn1#MAV?5fQ~r@0I(Q64zh7Q~hY&&j99wcbzSL54e_UVT4KpghG=Vgqx?yMj9*2O%E+P*uvYHz5 zTl9QXUTFc1SF_e(DH^6)&dCFe` zXgH}I93D!EC78Gt7!FJ29A=b8(um^T8X@aWe)!?YOAv=GVhkxTE>sQZL1vYUc1Zp~>Ck>%jWpKi&TfX){+eojhFtWqOF zPheB;gc}s`3560JTL6m^Ib$W)=ggaWJ&sHvT%HP(Ra^k8xSm_iNq%XjUQFw1WJ!%^m#5?7&<4X zrZ{oH#xAdQQ`PtuUq}6L;qd8}j2*-~=|I*V6nK`VkWOy(q|gtCg?3_I2evp-G*cPr z+rxW}Nu0Oc%Ls;bl(PDW4c2E@i{M4-qMtF{pB|P@bJV?oyEZbeqvPvj79KY339U|@ zlRL~-6duJ2uTP=N9@s~{WS=r6D@qnb_OFP&22N7nyYP4_DW1SKs$H;5Td+N8QX5Lu znwJs^ip5{`7%heQab_*c8>!mu2y`>03fd1aVJBhgVvX;Z7lRqPw5~P|s+1E7O75gz zNmtn6W3+iOsSj{dI#ESxq~&51B;;M>;FC|BVK0PV6P&f8!9fW^mfkRDK=UXq&H4FR z$J;Z8MYKyn+byUMk@NSIrj>F9h7)|I8N1p-PEF751ARu;eXvT%JqxXMTNi<%dZwUq zhEnw@a`S}3P%)4>gJT@Sf+llr$X=`4^7*L+6Nbp7Qe@)VkJy>-fuJd|3*cUi>iO8` zTN>G3600z#jU~@XT)z8#n9DCjskBDYyf=A_X&LsL2y{Fcq2|{4vE__I@fEd9-lqQk z_i#Kydi5)s765^Na`nwj^?VFggbitFB~B@>5Eir$EVBHWih-${4~;rp?TNF=LR9OL z(ZpIrOp8z`O@9azr|s2v@a&ZoPUWdo#kL*TM&S$^nWSiD3bou$!fg_@!iPgIB_l-9 zcEPn+5((~(n$nx|Jg|6__C`}3<;w;Kf~7a-=&<3m=3apPu~U(I7AnT=|$VWQO%m-33LUTNo|eWAsh(4P1=oj6Pb{ zFr~^qGE$!p4K*ERr~3&wYoQ{eVkf60m?fqN(WF(Zh7w@V=%)=c-h)Rj$I6R1&ZKTH zeduEygqFES(v_D11h*-9$*suA8Lcinz`8VBfE;XVY1hhB;-IprE<&mk@FFWmE0Sv3 zQB8?Rp52&GW?S%I5bN(d20`T04pX@1r)+T2@F>jr;haZ43i&78tTL%<#a!P^A!o*! zFaFH1@NGi}XlhtYHA)t8mfMwBy4gxpz=J&CSOO&R(X8ha(F&Y?K>J+-j9QCnvl5 z;_*e}^sQg6oA%G4+Kl~riE`bm>IhX^YBV(>;e*c(4V>3QKeC9Pq(mm-w3M7U86~I1 z8f0RZeO5tC%-2}qSot{0D5GWPXlSw6YkG@H*)-*5Yth)~r01n%;)Okb>^B(=2Spe* zGO6cc%-DZtQD0>W6OPrl28Ga5<@h9Bg0|2j%dwl~|G^&z75l-x0qfF)4UQg68CR6p zOT1KL14ZIsq!j`=N!vVkqL=4R`r>z2hwX6-@nFsBVin+1L-Q9iEO%b}V+K8s!$?*2 zx+8P48_Po}r#xIftbtdTTXKP1f&85f<^fI@Cl{44l>TfKQ6;TdtyN&hq2BUy%Hk~}FHdd%Of$9pwf?Ptek+y<)F0;3YfLtE`t-TRp$nwV#a9|_Zj z;|sJgin_`Go+5ot*xk0VeuP-vo6sgdV$~nHGX)|j{5E%~d_KqFsiJ1gk!^jdO@5xD zpf)~3xAc%^kQgO;rky(p@Js`^|1R({5YhScq_sz+5l~-s?l@2%f}pu7+13+Nxl3pX z;yqa%j{Qn4!~=Q}73O?H82;roz@5F&30Lzgm^;;io0U1@PK_w_dGVEzs>jZts#ao^ z^3Wj3;r#^N>p6^K+_Mm$SJJbQqDF31BCiLR-yR*>rubg-qs4Tm6YaSXtNoZz8`&nZ zx^6QLK0RL4KzP&~-1h5R1wA=>>~+g#*Xx_TiPy=QH7IuGl>`6YL08j(U!ScCAf8E# zGkmME`SZRo(|M`UIr-{!IuGq7&5StwCS!5sD=k5)JlgqCt74+vu~1M73;{2?z&+*D zr)(_S%@vu(D&dn*=JG}{?&FYsN}e{_^AIRO5a{VB`U&EvYs6&^c3KP?H?qM3>G-Ht z{>I=l`9nwRL4NYd-K-n=2*_?t7+yF5jNvX3P8HisG*ewaG+s+&q|yCVkCFXw!Y@XR z$)l``slSvysz$HeoGV;eJpl+#iqND2{EaUinZNkOgEuak%rOWHZ8L&a7_4OFX%0Y| zRymJS^yKNbDX&RtwK>gSG0bcu&8~dD;OmLXb;*lN2S<(;l58WyRcM58@32HU2hDJ- zt~YoLDGl>xIdWYRstl{?ar`>#y)N?>-Yg{wy+^&l^?6)q=#i&6geqU;M!7zI5plL1 zI?CDf3M<-E!n5V({2{6!vmG!CI4iBRw1aD~$->of%{(-z-~B3sD*0o3RdcwFgzpg4 zJ~6?@mkXik5>1h(QzZ?P5LhT zs5jU`7eQEy%+1`qOlQ8Erbt({=!n;r$H-yLh;J{b8!UuAjs2^?5uq2 z2X93(u#%UA&Jp6Eq0EgzY)~Oe%mel$SfLb+7mX=dN;{MK9jRat8Y1kd3G5bX!D~i` z1C=GwQHkp))j{N)6gjA&!$DZJ?;E{{_-$<}Sje682$E6UvmA5{hHNu$AFm)#*pe;P z8LOFzu%DT0KfXq{@B;;Nk$h=55dhe^=^i0ehAu=oDoiDFs)6u>)heu;7mthv0dI7F zG`0d&^jM-iZ9o!styjf{neeZO+gYlgyHQgl;NeQg&P@nM)H2O@D4({|mF`02yb%sIn7t5k4_qa_wzi=%>G$JEQct_ql zoUM49r}q(2d0%OpDixZC>MeQ?9fa!^(%~pZtT7zy{shS9D`W5_mEl7*cLw0IFrZX^ z-5pr6AsR7?idZw(w$(f;ybs9Tgsh?pW zvzI*UG&JAb*zaYjsxp|SM#Ay#a*hgq4sbA|$jci9KU^g76Z7<+3$m}=UIAmJ=t>z4 z#MBIlj6pXfRbzCHu3H141C2X6L)=YM1GS@0VAHzrAJl+dblQ7h0^Z zs<(wGuA(LAw*i_=1Tfy4x5kdk8BLrDE%}t!pDnf*I*v?LN4vuR= z>+rdZs6B9YQWa^5QF`S7(lzfY@$L~Ak!eugm7Rm#QgNr^V{%cgRq_3`8P!3l3PU~) zZ!pk3sG3J-?J!q9CFg6I?JC^vFMi)ivyx2GIJi8%*sl;(3m+rLJW0WU2(f;-jlxCk zV#m@C44wM?UHawK+b#xRiPXg-Jbu$iQV|-@!FvIzEgMeHK4+wPCscx-CL(@S>9rOQ z>ggUn0@|?I5wkC9Mgl3Q#CTrzogN8UhNz^|dQ@7@{P%TTY%7N&?(NVNfk>oK&B&dDhGhcm*#~#a3-d_B3I;$ z$~2Ve5BFVo=k>d!0oYaNYRNK|gSNx2x@b>m-X0S=j@2~WN-;#e=>)R8;_@`snGUtV zMZGRm8EyAhs9hXN%bz+Kaa>UZMo26)2xQ4S8NwL=PI!2!#?fJzAYsKqTc{N?MDe%S z^6_#AX0>IiS$VkM3ky_+kOdv6+_y$-+s0|2_Jm9#x8kUVaBHJ{R~zfW3tBMUR2T|rj8lx zCGWI|&bp!LGd5w;4T~&h5_-ehXd~o`jQ4WItRXxmZ2DdbbuDVY-Gw(7K#qcG`19Gl zQ8iz?ag;o#;}i;gY8B6t)0(z^^@L5rbEy1cee2ZYvpmu{c1naWGRRLfj}{9BfH^3P z(R9G7tn}O^NZ+Al&!mk4vi(-NN4tf>kk?fUwDgc)7NlR-z}{-E?qlrsRK2yuu}{D+ zF$Yo)gbxkjX{Wsgmjf<5gj?<+J+b{w9>w!J4%PZljvFEa(-T9{tF)&mL^RPt>pW`a z?ylr_Hy^%(`C3`pUyOc;Whlr1^QnxW`$^i=ozTb^yrD4QRP8jry?{7nPv3aM?~nd@ zyDH;cg$F6t;^x?rICzdimKU;wWcX4NesD7Fum~@LE(^E2rKAJp=9tyL;`9|DkPZev zFgi<=gVISGUi1*_JW@(6tRb3%LX}L2tiy#;v81;8LXu=~^>e31{4ttSU@_hqN@GF& z1jDOsxpiwhVc+Wmp^Uwwx8scAi8hJK?pvg+t>N7;ZFOtY_g1KDWEIhYla15U<&BzW zMhPRSi}UCPZhTN{|M}RO=e^Tg6pXSj(%>p|X|Pf{%-i>h$WEU{2P|@if1C)%`_6}x zek%L&<~t9=Yj`)~TjPGt4^b7OSI7TI4T;#LZ1dx~#|#i}bW7TBn#^oWzT?SwAL!1s z#4+65gMl+)Oh(lEDFo3DT!n|b=L@1S(RW;R96&Y_a7hq(7p;K*{J3*`9dBiJs>t)p zq}oZJfFUh>+z(=R{}_=ow*!EdRd_#uNIvT;G@svYMTu;bN=|6~?i)@E~?9nwJ;b*Dp~=kl)a7U~uFa z+jGZ5P&Z@zzrbI@5;9sQf}&%#z=M748dWD7-}ihOwz8yMD=&(-j6sse>opHZiKg-} zAb+imA^Sw@OxP6*7bb&={sZTLLeoh|L=t%~p*4b7%bT;HSWQ^AD5Y$sWS+EN3l;d< z!v!teL(o1(9nOQ@8+$16Z;xyCj>1NWs5m$`>gn0hY$PFwII4cn+nHmEW%kj_utPbK zb$Z(w8M~ay#CRW5I_u+| zFyG&Si)Z3~snPw|!q18wRub3U#+W+tYUlY|Gj-x3iisrVJIeK^W$ibxNNwpK+4NtD z*krotS7hI^{PpX3J>bKwU{H0&X8Kq7;55YyVAt*^Amvd&^Ot*_&iEgl5muaP?~$dy zRVrLbdLF@YeWdC&7oU{XLJaflQbqFUQe9n+j$I>LY0+}5Lk}>*=7r#Vy%Er4P1>D_ zY*f&=Fj_1{c@@`0!?5r&!?fWpZEq#fSM}3`A`x%+1Q-;g zV=eI)#dQhlaSv78%AOi{`$C$q_U8Ib3*u9u5x(hbv18>2oMBc1K#c(ED~c@w0TD3= zhdY7hiA-)$)U5$-fZP$7GU<>0dqumA3b4mxiiuK35CK*%rJ#`z*>ZKHA;gwWWNiqo zZvz!m>xwxRWR%j-p&>ptqBY6}BwZ`gbfbibh=zq4E$#@v*J&fIIFT@OiZ@Fo983i% z;^-UKor)9b?{}eA{kpgH+weXuOyK8CEU&__YeUv!oNq=s)2{LeiKe02tHY=DRfNrQu*DkI<+y!+0qKVa_-L0?6DG$2A(e|y)fzCH>bx=-V3rfL!t zH7Zc6Tp8vGdC^RF6DILC2-Qi#=d*X8V~J-=gR9mDkb_M4j5_8*5Rh75j%+mp{G!!! zA<84C$oTPHNOATn<>5-ldi zr%4>G#bG@2{Vy z$-JC~y|Uk)pJac(c6t9At@^#)MEC6yY0X9aah3P?@!@yiyJQzhx8c7wtW$@C*LI`OTgyk(9{`Oe7KUBBd=g1Z1XteTRK})>9G#BwL8Bf`)=pRSo zmm@uoj!QfZU= zmnxN?Ld?GD1~iB0j;OUMW7{w4IaTc-*oXGcQNqpcof)ifwQhqGZ=^L~?fBS5t1g0c zS;q8|wX*NVLRhVS-Zb=A%5vsbSckzP2v<(+i_{0)Ve+Eb2Jvt31gMqo2=EtvWaqkp zkhV-(HSh8S9w*cr*11Zz@*Uk4gg&KP}WPWUe)g zz<~74pqov{>SrNN2i{U=$c8< zL3wW|cH$>SbnVJ~?g_i2xuW@x1gr3o+VT_eo(7mYdCOlNQ6wMt?f1zT;K0H>Ud)>) z(yO|i67T9)O{`^R+U;>ZsSf8v_^h+64XPkFe4pZYVGzI|tDk;*$om!IGo1U2E!2&m zh>&VXKJTU{dQ{@kq7Xq$N)oa|tY@;XGx4{!hbtCvBQq3tLp8rInLDNq-#8Bez|bh> zFa@_0i!OJco#QdxZW$f$GNgimedsQ97LNNEyMiiQ7Lik7(B~(csXPH*n!20UNjzud zSD_520|n@jSHGG0r0P*_C;u}$xhF+M*7|(f;@;StYEfccqyVDyE`M3Y3wBXLa!A>a z+48Gviv+-b6`x$?p0E9`U4Zjr*G*x*8LAu?89BGvr$~n3{tKj&T~c#r(eQCZJqZEu zTKASMGnedN!&D+;6oy4fpl8}&DH|z2>OP@@bl||zH^W`nDPnGNE#RJ$4b=5rHUzT_ z6;S|tSDjCiFM!b#76(CXs#u*uqE&OFg?e@5_3_-K4t<*HB#|hrYimLdReSX*o+PdK7VF^u_2dm4A=}29^L#mW5wI7MK0QJvkn6oBd-Y_NvD{m#oX%Q(g}P= zr+N>`NJJOxD;o(Xxv>x8=m8ub`}yh&j>ND8*iII;J@n|z0)Y#Ffk#}yC?bM$ZkB+{ zK3Au)dlw6_JrBF5va)6otrf$RjaCA8@^GM0z)`SIkv( zIll|-H1SS7_S=-0Aki5|0cFtu!RO9v33x5FT4Tc3W+G3{Elb)A=MPAglhfu0%_N0( zzxf2i7q*%@G>;tPyaHtgr`&3>o%vmJY=><`UJR{^dciw9Ie<6Z zE3MThIds3<^!)~FhNFHuowoU0`=);Z`cd_>7XrtQYH0}UMJ_}s0e*n|&mV)RyNS4B zISW4&e+~`F>7fV+?|dc_2J=@aQ@PLXRUb`jTX7`J5K-PdM)NjBW=xbU1F4W04!Z++ zA|7AVnJ4&0p5S(Z=Laaw>zt+0qiag%3*&I?lznt2nhPC*%$1fFcx!M2cZc8mZh2LG zk6$k^t+@QD#SZ|beoszro3Ka3wA~M@#3+2t?_u;>8Z>7lfV1}+#;>jkidE2as5`IU z6OO@$n|%Ne?KG5d&e$ji@rFJ^3F9QUi4LHJLhE8OWoLmiFBMD*a;}(alOMo`7HBUZ z4|aw8o`Cy!T?~8(*(JahLX7d%d5H-0`mx*zwh%xLiG}D8%i@zH)$yVvh2$IV4CgvT z3w)Jz4PmDDrz8AjRUbImDY8-h*F5c5iGq3Ynev|F}lczm?4kG1iEtDMviLD6UnwUyP z&lX%gl^z*?h{ah_b+c=deAZ5bxd?8iIwG@$nt%YU2rv5b zTVvqUBXuBCcY{^=5cR^uZHc=`$vqWkXVp?S8&pxpKvS4X8Gy8XDnn~?1^P^4JP&Fx zs2bX|2WFfIsiR@UN#Hi5K3IO*6XD3Z&-5~h3SOK!CV*?K2j<2$5O@YzTwZ=qw6_Gw zASKeq8Y52&JmpD}+w(m*hD8<7t34aH187-JoE!sv^L7Au4t`GXCLMM{p%oE!#H`@f z8wag~#J0bjMp#D0)AexU{3{Q}VW1)6kX6C^C1La0wyM<1n?;opb)vp#2Eqd`>JuYD zOS!p>hwZ)2bOw|f2E*kSnSgIe;JfVr*qLEcv^VMU;!}wqmqmDfqCc>_y?@u#ff0)s zMsNqR+)E1y~=i|aj8-~zYl)V5b8>H&lBQzoLhF>eCR8tXAp z*5>PF-8ZYH#YHV-3G%!Mansd$P$IMK)z(tw!Q+7`1L=!YnPcc7%Xr0eW=KGiMjAk5Q8`#^ypZkfuNGu1F@ZWu(z@$nOf-9cP1+AKx(99yn5!WS1uYgI{}PPXI%1*+T)^3 zc1LBRsc!NI`xG*48x@eujG-b{g-L!_V|_N{kYssksj}IA^~pgASL5xlfR{&KX*KjN z0Yaxr1Rlf-nh4FE3XQ~idWE&ZJh2l(PXwKmKp6=!$4VNmL!^7zmaCMj9%{Jlxo!)X zNjKXlIxb*RWtdz$CJ6Q10Xr_21T?ENN&cABx_x= z1ro(=m%(BLXocL-`Mv;E2S2Lkb5kvLvSPaEBMt)K*NsDEC=yqz9)NzN>L*VFmVQRP z`>oEWPqs8Omty0oz;DlLwD#8^o1xB1Gk9qbfV>R&VsZ@`E0hUsjutH>5rTx)lL|;9 z$PwCH#G0o7aEm~5Q>|2DLd?~dj788}PyvLF~r28o<5z4?!B&>xF z`zZ=aaQIY03cY%vv)!1VjZnix9$wsMwB>pR>p8Y4nC_WuHzH-Y0pE=x1IqC$G!`9q zgGJzA)d#X&Sc~SKAX~<=t584{d#%-CuSVHH{$~)5fQ9}O^jsRtM=IBlzPQ<} zNH~rB9ph~xs7D|pnz>a`hC8#UM%Yw=ZNBRF6`_U#^@TVy5$(&6=ij%AXfyZ5-FAzI zeM_nRYbH&oN@a?+#!hhWKM;HrszX;ou$jc(?EYP|t1E*OS)}|&6%u48ZpXyb!X+u{#xc__4f;mmXwN49DpZc>$(MuJ zrzRWL8a*QZN)5TQKyq8kHODO-&9gH(EuP6@l`j6z!ng@6n5i<4%d;%F1Jk!prC8-5 zZ1oo<%E6Go9h%M&_Q!`Rn9I>F^i3OtFcLn~*8osds%`=fEDU}X;3Fv=fjE9|usk$S zFhul|tLl@%#A_Pp$#ozGEBS$$)~U#-s^)kp}Z{!3lH^YJ6-!m>5f5IVov-N_^Ov7OjPYpY8|5d&)qjZD$#T5&@sX zM0WlIgSm9n9O@iwljyHTp=3b1I$jqI`Y>Gdh5oWRs=9+Q*zse<|4SiWZ5;>HuJl@id!E<>zWM(z>w zMYP2mo}XPoDW82ohB)r{4EK>E$+C#a!GjP=q?V2>?#F{Nrz8_i!!8+`YnG)4cc}>Q zS6$Z{9}C~HICk5`A)2M$Kx|Lf*o4cpB{tU*Z$9{}DwFTDdHzKU92GQMk%8u`1U7PK z@NdJxZ`>u!Xr6PTsDfzbavV~eC0bAN&O@LF$z-TkL^C8G=w#pce?*=`|2z!{CdMbK z=uBo2(Q>i1-RWkN4xB99SB~pRjgjBf4h$O*n_Y$W&WMNy1bhISThI)Y4e%I8K98#~ zN}uB*StDx*1CXv+%6tx>vN% z_{n_M`)lp^Q|zB|u4Rtck!@(CBo@|c3!q`*ZBaG0ih!_dLvu!5>uA`8h*szTep5;T zOoWY|pAQkOlwpCfSELPuyzk{>i-xi^#;@s08{;qytxy3>unu(r7?pW6TmuFi8*#~P ze?Xe>ZI~dHf-s@>{FtA8Tk^xTCE3R~1oCli{5pSjL8?cksU`p@M!fOex_aWqy4rjTTh zl%)b8cufr_%*%8VtBk9JSxGnoI_UBh<2$vXf#bLslM#4tKx95jsUZ}IABNnoQsie# zeE=&C-ONgF+-_uyH9uc#mEM#2z=$zOX&&Y;{3-Mf&c>Q}J9irF+QP?DNIcL!$@jy6 zDST^Rya=YWrF$43l!<^ZX`(0#HVa5;O#vsf`88KSMeIhrI8<*;$V|pN%A9PB$^!}c zn%}Zkp%pB}^?1LELAH(2pW0jhwX;Iqljz5{@OG;_lK}y*2|Az-~i~*B@l6x+;Eu2ia>!l(|n&18q*A>VbM*T&Q5KA9+8x z62&o_?i%M)9swuD{P=7{I0LF_Vl=Ef=}i1n#A(5}ufdDMS#sAo8EMOoqjt_t~Vkc5IDP-NgA36!eWfXcN%vd)6$ z0AF?D(S^nhWaplStyXmf>a$|*XCOl3uW6<@yK$JbW~-sk%MP=|rU8oyChtJa3e`3+ z5C<@)!S3~r$TUwF_U)7=1e?%q_3x69K77#lFqekwF{(znLK}#jKwL!dN31FNYGINi zU8A!x=&&98tyotz=;DaYsw5e8{$ch?%`(GD>_ZR<*58JUPSFqi8+N_@n)zV?>n>_UWsPLu^S6Q~7(a!HP@XFacEwDJF9B zO-4+$kGgIz_JPD^nH|ACT_s3m1gK~1PRW)tkZ;Y=sKC-bsMBh}jKS*WfU4aXX< z)QU^O>lJfJ=CvL(md|L<&8&lV%y21T6N?p!TI{V=0>3AjWNR!}@ZQ==Gll_BKIJAw z>jOT%FR*NEaswyeRqvr;%{q#XpufUS%mpB|KMXmVM|-SjfCHiJ9rD~# z1H6p_;j`(0y7z(>FTUx+j>UA-5mIyG41VydQ$ZCvuF2JR{%DK6mPZlw)Y5}hDM8vX zUkD6Ra+#Wh?&&0`i`&c;Fs(Tzmoj{Ckr#+=zW-6gYDrVBT1ap?VlO5bDsFz&U5bkcY2CLHb zNCw2laajh*QFm%WO$$*s&0I|-X9hP|Xe9!!;<}n%2ZpO`L>q?#xHYq9uvdc)Op&CI z?J4U6dX6MEFRsN#g)`dU=T;$Na6_vPT#@I_)GcM-+%IYT(_qZdoj6rCw_cA^Se04JtY&K~fYBx_;8fYJjhdXG2y$(@Q8 z_o!r2h|Cv%9?L`;NpZ{2%2fIp1z*L3kxyqy0r%jHZTx_Afs`yD0rl;+{4#CskUDB+X!mtTnfyFmfm>%jz$@2YC!*|3JCH|a z;=K+S7A_)Jl9Lf<4tg~26qkee?w$_6-#ZhVFHXKSu6+r&`=<8?EhC*Cg5=(dDaU7= z+l%0|@N$OoeW5O#U_ZX`+4E;HoZZsGFEuzVFc+o!{a*DC#~Elgm?tgZWc!7P%vj@v z#jrN(Me~woM=nrw>691Avun4DUcB~qsN~Fx$`tHrOFuMz%YzF=4Sg*%MZ(N1ueXd> zPh?^unm@{h^@^RHL-&=N_m^3jncHH|g16Wjew^QcB&X zCc|_;65(XR1HBupV%)a@%AP?d;iseqGF4kg9Z;3b@K)SFX9$8Nc!yC6tfB4U2c&L8D{Zl+RQ3aw?j)jGt)q|P6R^xymLwhbDg+1O{SOq4vr%=MiU zpTYQHF5Y;WuN;BBW)uHx(w;G9lHpWj!*1x!@zVu8_2XHVz(#!XmARESHH>ozv^UNn zc@$W`UY4`1g5p=VfU zT?V8PINhR&Jh6vfUXp99tryTcLS3XcRYdL&;Q_g(8FGJ%JKZ-#504Qu@*rek&Jj{n za4U5eM(8_#_y89a%{EMLI#M9noUeRh_X|T{C1Sg!pft7Z0t%qhMMIX()Zu((sN!~V zwj&F8G-NLg0RlR)rHQK$?mMuHxJ^<%0VlEDzAgi(s>o1y3Inn*qT4^370G^K(yA%F!qx5Y7EW&IJr%olzft)s1y&C&3M9DtLw<=JOl>Ijt^ga%zt zx3`E^mVSavsI+{&D%C9u_TyZvBTBzgpcU}=H>mP5$RqVM-00#SdVXySi=f&(W zRP9xhbyF8P@jmmO@*`=ZzurCwirlcBGO*GPGF}%HHQGz>9B)BtydY+|@c8pkvbU|d zo33TjFs{fqCt;DG5MNR9-t{+9gmULT43RVC^Gc}va$q{Jt3vp6b!Az?L=uJ~j~=M? z40@I<R_=^(S`Vik&Ejr{ryp@&HMA!ln5{HxSw;4d3Rad-%c8#BSlCH4w4 z?tNM4?)09Ks*JfC$ENijPNaa?yo`qukg*9@yR6~9BaLI9uLaTqqR1g@j=OAk`>Lkm zJAu3>>rR0}EZ%I7$seLB zZ&mhdO!u*Tk?080n>d1dFHWB|ipHE2rnKqx%g059v)?H#G6Imj13oc20UI@tm;fq# zA&rX9F6mHH2;ZaMbg>7h3BL7kP+k0b(9~%glC5E|CH?Iq;W=l-n}UD$d+8) zaPzUbh6H>IzNbSMmQhHI#ZIxNV;aCl67`5r!CKz@3TWCn;{v|{{+!;@DsB;)sEJc+O4v=4c$w(%9Jr(S1Bom9 z2ka5>5o*?BppF5A<*2B|7f%KpnwV%Kff{a-s5`j|w$j6Do6;RXBTyWvHB}wBTB`Ez zy3rBxt9LHZDR)u1eqIZef)?yihDo(2e3s|`?ez{922Q<>N;M0a=VnEL(=n%^ny9v) z+a@lg=aRESo0{NSYdn`5_c0kwp%2d7XNrNFMM8~2V~tCL91I+7hbE+4FN0`A48k=6Gr~{U-t3-i=#DjIjfqT;OEgWCz z4emPItz4;01LYpsIPfkRwQ^@fJI4>jApl~pWytXGk-b^~T?OJJ6SWOewQdIjlHz!9 zXJ^onF(A$(47(Gx(`_;@!9ZE!^(S}MWLp}JAG%`Xn$Y6SBmsKdLZE}2p zS%oz44WUz&Xpj62e(;rlgf(NF($KLMCpsC>^%2`Vc(VrHij(V5D1cAD*8%IV_{Tk>L#TEC>B{d>qRbPtDnIuhx^Z?&-4ts^bh!rpc2 zflm^FQshSr1?jTUa5{8~SqjX1^o@z?K>0Y!;N?7B8BwDe&bM8N(5FcY9lxhQD5CI) z&IqRrt0mQlNeKiEMy>buMcs*z0R_%Bdi6p$&gaMC+_%QTF|{cZQ=;Ld;;UJJwrrIH zEiU{nEfJWvtuz>=2-0HFN#qVvBv3{eL)pGvUqmkU)2x-J>5f_>;fu(^B^z)iCk~Ma-cm>^C${}_7oMUyV5My=S3E7*K*|$IP-S6Nr~k+hKsLG z@9U8c1XtlqGt3KTpyF#AYYNG23^G(ftG}Dh=0?;dol*T)xJxIN;*z@7-h%n$FP_jG zQB-7|tBiAus2NY16<^bKu_7d>lE|4Ia<<^;U#+JH?3te#1-iU7+mVMubfaRZ(n5|j zV^jip3=O0DICs~;Trf%4r`Dq^A4=7j@I5^%=Mz#9qg+c1Lhp%tGnCaI`+Vltjx4FI z!<56o0|L{*IQFqy@B|T_N|A>J%sYaGoXv$#-FEbhAtUza>>lQdqDDtFTpl6?lqO{9 z>}9?@1I#fkBi!7()Pgs~(rSZC&3G5~>-!VVWd^Mb{#QT{e=mqmuc`G-2=--V`5^Ij}Yi3P5}rm314bu!IOi?QlyiM0-h_e1M2 ztXi6K_;dQcSwiff_|m}u(Z&=N9~Yf1DEC_znG zRO=cNKPtRx$G-a0z)6%f8OrO6D@76xd7d7Wip8(1h$t}=_0rB|7sV)Ky}7J!iuUA0 zm-%k={ViHMsDHKs9Ru`p7|(A7%X-<7W`47srjYm@+V?YR(H2y!e-c9b`_bOBf`qOt z#B5A`e^jLp@U~A62|9_Is5MyOd{RSHtDN(!%?B9~2ddj^ju;)iig6L6sr|0^M^78v zr^beViQk}`q`m+;saUWViW+GuG~O$v#Eo(%4&GLh^ibN~9|^;teg{YC!j6M)#N1@Fy31UGhnlkU?#NIC}|LqU! zF`C6FS4*xXK{TpomL|kw4%;%EtSjp=Q?wbKv1Adlpt2)mY3Xd(WW^O^I3jZTKO9Fp zNvf6-AFYorUh(^3^%hhT(Ur+no&kD^gebGO1tJ?`z) zVv9eP`xpnGO-*iONxOWWhwi?DUHMuou9T&5hJriu?=mxyC7 z&8zEWWz$fCz+RHihmsimN83tjL*i>+9Y3twJayr7v1Mn?(8g4&k_ebdK-PO2nWQlH zDD(kvWl_p7sS1`8eSu)5Pt-h&6=Q+pK+V`)fuf@33)qX2ilFGX0@k#3= zmD9bBju6E0pTuAIlc5 z&v;xyM$(C6z~+x*z9N$(ROEH1+{s?R;@tzx&z*{;h(^y`&dvWy8GTe>KLQ!aI+f#$ zd@1o=&=TK}X$wD5*pRkZ{S*6X+dg*e>D0QjVlT1zry?^WS?_SO96v;9!|H}K7tU#3 zZ`09OAQi@uBY*j?kr|JX(ggGSt{Z=y%UolRg!(c_8L)#IZD+0K?KqhdOLg#4P=A{)i>UH=dYgh&-FT(vL~1Zk)jyFNsW>eR@VR-8heh9CLG1e0U`^)J zCKjo2xTLcxgl{U6e!5eh-C6bWt9gzO(8b}lixJR;W7)q*NMJNZOoDCcUCjC-u0OUJ z7W6&8|8gJo4xWJ2csF%)jk0IRwldPL?hMO%(e`>cjmGu}EqOz5%9hgp=qaQ_ggN#L zQL&B+&}~Q&i7pb8ME_-4BCuFA>KVTp8HGKI=NrS13Ky{?*m3cQKfG58HzmgRsh|On7*QkVkc9 zh!$^8xC7h6@8iHenwrNSaO-`8EJKX4&UX`$Mrck1b%K%kdm~Z@1)?E(8Lnu%Z{WmP zY3NS!Uw5r42DmLKyR!yG&_8`4YJZ`kjBNi#Y+2b_< zB8*8A5V~F()9QIGfx%RdO?$vq>kE{pn*SEU_Z{%Mw^1_VyNS7YZ(E&WnIWOYIUc<4 zpXwI!z+s}6T+3hOf7;EbEL~WH$L7;3esWGadU+fLGvSCuugyR|-PDlkv14u7`E}}_ zCEPtU^^x61)|E3=M3W@i*~yweFfu18kYkI99>NqJob)i~uU!H}gK9g(tddLwg){I=dcH08;RDeDW4 zy!}neA+%2n(se2hRzEf5_}MJOx3>A$okrGNwleu@{slw81%2=&uIz&i>|hkiDyuHv zaq+y4UcZENtM*~MyK}KsnP|tUC)4}n(t8Bf`n!S&-|MrJuUhk@(tUd?B@yIpscw= z3idJ5C6>Src>eFwl_ck|)1y%2Qx)k%CV^H);H}M1N5gZjxrFodb9xg)j0{Q_4nZd1 zCtOiJvda6Foly59N15(k(LIhr*^@6l@7=IdCe;m^WIE9L zCX6un9^C8NuvF^q%Nv7yjxA7_%D>M7pNNB`x=!mn4_Qo1XA|!pSpCf9dcF(dW&i;27w@yNyPO zElu!cUKRr5>$8gwY5E%2wrzrZ^2h&R=XR`?5HD#!Yk5^Y&wV zK8@xCj#?=+Mo37?Eu3Rw>`1Jb_~ZPAMje{t4nCXr2LMZRuK12gv9q55cE$O+F1l!O%@(+ z(w7WKDr3w=&7-3o(pr4lGZu73_q5Xsoe>l`>7cS;utGrcw*u>l6ZQ}}e^HVa!5J4; zUDD`KE6g^Tz1cDhsFfEYNJu~pgaMTY=8GyCMV?xjP6UkppZWUp4j9Xqt0;v!H8PbZ zbpbORFjK%hCq4A+e`emd6-7q^W~NF4W)d+sarJ%vX&7$Y0X$avUMM{9gxua8{OvgR zBrkU|ni^wd*ggATktH7<$yI~>_-7!fdMh!(uh>>_m!RKj5@SaY(hz>=P7@P)CIPg# z_BSVAx3bjvZyNt@{Fb!^cEj&addmanv)J$F7C;j22~OYZw<^ohp?EulLQndB1zilr z?sxSJac<x+IXBd_Dh>fwq(H zr`AcsFLHt?^Rf+yYiLl?a_^zf6I>yXEm0OPRT5*kpbwvsfV~+4mV5S|{%+C?J)&KE zYh9wh6B_7DH&`y-8yGALv$YuB3+Kxf@1CVm909xxZSvO3d~?r4051!?H_*Q2_jbC@ z5PP5}I6grzH}nmq(^g-q$MHVa=3&r?FlVX#9^|u=lvu zQykPxEe3sgtt4bVWzv}+qDC~I$3I8fm9dhvMfl8E2ugJw`Qdp)C{)!GcW*V?cT@${ z0Zp`@K9A=3ezCm}TcMI41Qx-^b+%C=8F+L0xp{kVKMi&08SMXyO`&Jmci1%e2b&!p znFl9FRZdW%KKIVakFM`+RBa7_Ig?~rnO%H+me197wCg~c|4+yX-w^9K;@YSk#f&rU zzf5Ev)b@J2g-ge;B^|o9`(G!#-y;^jc7#a~#{r=8GV%3x2P4fS!x~FC({Vfj&+8y- zgC6SJmc>W1uM(w=^0gV08P=7tGk%q6!RCS8>Iq9aL#I3w>e5AoW=gvI0ajx`ww4e@(6;61%*IbI%2yDLLk8L691p$0sA?D zRHQnd!ZpS88CZ~`;fekT!30AR2~Z_Cw11ZxBW;QS_E_cP<3O;1GZOeR(mfm8Yiyg9 z=$|_5r|%hM%8s!PqGmyQ&(fqVrTTDP`71k;%PNxQ<+9PwyCfRcxc+L5=+80)PNejW zxSk0~?PN!xxCDKhYwdbd*098koSSE)-N#KUQYqQ(su+*}X_0DWxheskW_{~vXbL02 zj{r{#{r{c@(qevT`rCm`3C?V*1Q%C#@V8fj@4gfQ{WzR{aqg)V;EdA%lTy|!*Ahr* zA|FiIOsEEo?0(Boph($g)aQ8Ax46-phWB;D2z%9sJ< zp(#@dg|AVN)yW*A^=y=2i?t#DYs0dbqQeJ{tz|Ks&EE>&rYygv?MiQLnI(c=p>Wn2 zo4*|6aAqc3$Lo!b^W)zeq)@#zBZD>0*n`s$e)UG>)2$Ct zMf=!NDvEPE5!B~y{bw?mjP52QZ|k4QP!tz&@&~9wStqXgVUSStb5KF?Exo&aK#?l~ z^iJ{ifAp@M9A5h#2xE|Zg?>o>ON;UIVMzW|kuAmBwQ7K?vX7@pTy(smC&;t}v}=L6 zu;X!jn97O+`+*;%i!<{c#2*TjyrI_4$V@fP3=!Z0%(MwRk>i0Ou z7%GCIsU}OYw^kKjZey0s_If*4B(3AGrS1r>+nCkiU^lru?rt(o?HoELIN8ma-e!04 zu72^_(Dg^?*h!PD$UH$&+*;?STa_W^O*jAKlwC|0hN1anc1DIoy*9@!V8W|?n|AEc zGuejZ$i-lc+upZk5fmx(V-~sKWg9W3uNhA?;n?l6?I zc!#0e!+p1oAmh$7v7B+JnnaUB0bC`MTy4&&*M!&d*#E9FQj0E}?UgLQax7}>bTXII zQZ?z_&xP_~R}LWNeA&f|&_iSSn@6orMNhq5fwKA%*!Au|?x7;8==p(zI&RI9&raLc zD%eW0W9{*b6mt;`jc}yqU>?ySHKf{UBuozJsEjory2p9TSOZBxTJ+u=LAVWvI)k_< z1&DJ9v9Kf*FP)C@36}9wPe`3mbpD?i8MLy7kjc3}Pmyo-;|WhNfx~roZo!T%4!DId zTbkURDk^$*ftwDfBK!ZRigJ4ob>#mNrGLK?mI;SHr_P-LUi+sJZjpa5oVl8=M^7zW ziLx3F`o|Cnb8orE`vY8~&!sxh27Vb4r1QLf2mb{bdlEFceJ_3N&1oss*ptg&aRll7 zh+LV$Zeb-ai!!O43^k7deC+M{6 \Rightarrow $\\ + +$[extend_{sos} ] \; \Rightarrow $\\ + +$[pop_{sos} ] \; \frac{ \Rightarrow }{ \Rightarrow }$\\ + +$[add_{sos} ] \; \frac{ \Rightarrow \; \Rightarrow \; \Rightarrow }{ \Rightarrow }$\\ + +$[subtract_{sos} ] \; \frac{ \Rightarrow \; \Rightarrow \; \Rightarrow }{ \Rightarrow }$\\ + +$[multiply_{sos} ] \; \frac{ \Rightarrow \; \Rightarrow \; \Rightarrow }{ \Rightarrow }$\\ + +$[divide_{sos} ] \; \frac{ \Rightarrow \; \Rightarrow \; \Rightarrow }{ \Rightarrow }$\\ + +$[mod_{sos} ] \; \frac{ \Rightarrow \; \Rightarrow \; \Rightarrow }{ \Rightarrow }$\\ + +$[duplicate_{sos} ] \; \frac{ \Rightarrow }{ \Rightarrow }$\\ + +$[not^0_{sos} ] \; \frac{ \Rightarrow \; \Rightarrow }{ \Rightarrow }$ if x = 0\\ + +$[not^*_{sos} ] \; \frac{ \Rightarrow \; \Rightarrow }{ \Rightarrow }$ if x $\neq$ 0\\ + +$[greater^<_{sos} ] \; \frac{ \Rightarrow \; \Rightarrow \; \Rightarrow }{ \Rightarrow }$ if x$<$y\\ + +$[greater^>_{sos} ] \; \frac{ \Rightarrow \; \Rightarrow \; \Rightarrow }{ \Rightarrow }$ if x$>$y\\ \ No newline at end of file -- 2.20.1