From 88c25fcff667de0b4d988cd9662a0a3adc000416 Mon Sep 17 00:00:00 2001 From: Chris Cromer Date: Fri, 29 Apr 2022 18:30:53 -0400 Subject: [PATCH] added jpg to LFS --- .gitattributes | 1 + figures/logic_functional_programming.jpg | Bin 36266 -> 130 bytes 2 files changed, 1 insertion(+) diff --git a/.gitattributes b/.gitattributes index 4952350..c88d8e9 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,2 +1,3 @@ *.pdf filter=lfs diff=lfs merge=lfs -text *.png filter=lfs diff=lfs merge=lfs -text +*.jpg filter=lfs diff=lfs merge=lfs -text diff --git a/figures/logic_functional_programming.jpg b/figures/logic_functional_programming.jpg index 470ea629ce01556b6f500b18090bee230e5c451d..a78159efa8b25ae244b75eaf1203f2229d4e1e56 100644 GIT binary patch literal 130 zcmWN?Q4+%t5CG7Br*MG=yKKm9R#0Zz%9P}zr*D4VyYhFm{*iUgV{A%2+kCvrSnlf? zm%YE$IP$J8BYI16R0c;IWs@jG#$bvADwx==HUl~cE*JqA_0;31H~jJqyPW_ literal 36266 zcmeFZ2UJtxr3*+zq=|^4NE4z0A|RmDC?P?5Zwe|ZL8?lVuC&mr z^bQIkNE47mF)T^pE%!d>zBA7Lzx(#x_r5mXS?~=QE316-E3^FOZ{}d;01x3kZ)#x* zVPIf@+yH+d2lEhP2qOc-pWlBwm{^$p9EX^hnOIm4v9kVYZ0wxuY-}8CtgIZ|92}fn z;K9ny1Lfx8`Sbsuhy1zy&t2dz7aJ?vpDX^yj)PVR9~;9fMtdd(X$T`90}~&^K_>(T zfiSRuz5UbSe>)f$nV4A)fnDO@1TU!N1-sA0#0Yklg_#+=It=_A!pz6QfApl$p~IJN zvP$0U_c?HGenp)aAx~KGv&zYE-nOmH{ za@F>loxOvjtDF06k2{`T0f9lmA;OXvJXz%Fk>h9_7>mM7Rn4FrPnVnlAEPq{DU0dJyM*8t{_ZN8&_`Ux}E(QqG z-^KcGlKm&S_&~WB!8u@N{Ua9xV+h!o_?TIao;<{FbeZ+${ln7gkJtpxroXOiW0%pe zAqw8|ALS5|)m)Mz{SobNlKpdnMf^*W{Wrn>ce&;uTucn$;dEf7l{L^u(BU%f$m`Hj|?%1ix}WAA7-FDA|1xpesqp1}oo z0O5H>%fhVBp&^*1rZM<$sZ`(?minS1?f|m&j%s!QnOJnL$W>rkJAeRzJ6qKU5YurY z(*cBgHT?k6yNl^4#<*kmwXxwaz)v%kZU$bP3&kElmd0^a!!&X0Rwz{`8+?q+=s&)y zB|Id|jGAgj)e9jz96<6t0fqxe%un+J$k&Jaj0uq62N1fX zK1KNeGFn5096&lA6kvXwh7mUwXFcf2#dub__@K-IBz<$8!$Fh%ttP&PCdxq*j^+je^==Pmt5deYQo z;vMEQbZw6{^sgA|f_53ZwMi^-AQh+7zJNoK)@Ne3#ZvNvMLK+>@E>pF=9IERe&up6 zav?K@yA8$1fB6_*(TaKNBl)E!T9hlj_w|$Q8*IHY5ey}h#_cV~#;Kl5uk`K5d~Y?6 z{c^hVee1h4<#C5}j2Yrq0pG8ZUC3n|jm63T;S_Tc>=-JGK8{&qrzG2uB-Cj|ncrh?j74 zzc4o{W`=uk!ibJ-LOMR#0D*B=*_lcH?sjf|?e1fb#i3xGi%%Hl=tB$aEr2JHsZB~^ zqSMu8Bv4#ZZ{3tKVky{QO0mBG@gjGy?I2YWh%!{6$`N}KvPNdq;x%75Uvd&P=|QUIIj+T$~(9D>7i9C{Xo3k~}(7h1U(ah`)*#njeIC3k88CygrzHepb`R5MfA{A5jEb6L~G0(&wzQ5>f?<)PK>_*uLaU@=mpRCOQCNk zzj-$UEC&!)5%dsDi0bFJq$ae0?7_z-tKQb$$fKH#ESdzT@fL7~yUb^pGMz6Cfj+H; zge{pE-^3hx>n=E0GkV==D8jrjzM~+))L2o1*X;h4OAICg{{!to>b5oIHdTcdkCw6^ zU=wn5Mw*24RnPe&hU0yoF$NoRtXd!-)XEZ=7x3;UoyTy*P{DZ^)><(;PEH1vy?t9T z-kyfS-YTj$Oamk`9xLKu%^V}F8e*fJEG) zx{wYakF)}Ef%*hAX%}0M>lu!N)em=4&P5=^5LQbEkZ8T&*T<`nh>p6d z)AiZ888X=qu9+C9eL5CIxPL}ce(Ncy0O1pcT1bLgGPbU}8rls{oJ&k>RO75Er3(-Z zP)};=>xZ8jBx0ZUDt@?WocXhWCOTrEUkq5AM_P|<-QAt%bf4v}Emh(=sg{=)4%z4U zXaW&jgVz*qr4q-2y87j}$=XZYG^u&>^Y}#~YqR zca0B-lGLIq{0zs-soHkwSGI$pM?Xz%e)NwDH$C^_B>B<)3!?WjECzE29-R$MMv0d? z0FmwVW7R336`D{%1lpa{?Unf;lXeyVmYJ7Ly6)E(o`Ehgxz!hM9i0|8=8~Y^K|c3I zGL)XZI^X159COXah&6(};u9Q@m#o1OEpWi`9#Ct!ImI8dj)n`X_!@)})6BOvi~Ap8 zFO5w<4lj|&;0b4A|Jtj-^h@fWbs}1Hz%BF^T!xp+F|PWl9Mls4VyO#wOfjX}2Ke9) zARJ~2eDlYGTk=t}QnsbYTk3Y76!3yq)0g+{$nn6&Yx*ZF0~JAnc2+$LgdOtK(d+uD zAeVHn`}&(!gO@i#(-9n)HWu7%l`Dj6F9^7Kc|z^82H+#*?B|x(1+?P5;eNO+!0`L1d;(ns9GDMq zUZ2BVdP6u;Bw22{R%DAXxg+O|<3lND-99RGd9Pe~?}mG5AjgsoW)d7OWW@#2VvOdt zpUH%Btq;tuF6Bq}{*Zh2!Vh)<1OM)C=d0Ayj98iZuC^SbYK$0apiWPr zxVvB9PtgHF! zn9Ik%Z;TUde>@GEHRF88Ir|Nv_cLaGf=QS1oMa(v87Cl@!td9MbnA9Gltal*#OA#S zP?N?sXcylhi)B4tYStV2K1*s?u;0!%Gfq(#;p-_3dGa?0(5@9uM8N0d2|aCUZ0O-R z)^;^XTt{;V0oN6#)TZOuzCl8SWphquoL*Jby^&%|eFdE8o`3w{ z@;{#XuWSF+G3&(=FYL^}{P2Z>hJ5^*8l4sO2(;I>lbE(fc&%Ay>f8>QYm#b0vhLzX zc65m$QnbRL6pQU!b?QcbU!%lj7|fJ=rgMr~NEL%HK+BGPd4RA(Ic|9L05XElg^qpu z<3{{j`-9U(RATy-ah`q@ITwWk$hgU*0Oo%-B!kAo@r2=|dJHoLpMnwn#mSjf-8@;- zTVq~m$I-7^oFWSO_37?rD!C*Q5T*!w9YCs!;tTAZk>~>m7>=-`Sb~6@WbT~kdS zq)k(zP}~A9Xv(|ZtSE8J&jo-*&uKG@om<*KqqS(=Pfan-^QLDtr<@WsS+tKsE)BdqTeYYDqyy% zzAL2-6QJ4>Dp=={QK%~uR9BDCCCc`(vBeG@A-ZrwO@ieE`KA_kjrnFl|@qFq9QZt>cx3@p#Y|8^5@@z=i^-M_7Tg>I*-KA5Kk4(k&j%$?gdz z4+6WI6682#Dum_RRjIp_WCyk-}| z-})kET$124*!#)(9>WiEKFO63(@ey6XNN>kFOwd9FU=!TfRs&VVopiO+jT#Kz2z%D zhC_n&O&^mT^@EIWyGgk?9#$`hreWIbzEiD;kxL$1qNL$Y$MQmWvH>S4^1`TUt$vxb zGtaj@i-~Ip18blA%HzhXPIJdk`(Y~` zF4rB`v#*PxG=^rrD9N6GH*`>PskkH2J<@R@IQ zKzRSmt;h;~3&;?gc=y8u2<_xQ8B#L+9H#T!BfXk>4*H0_er$8j%`dS6RQK0NL$egC zl#$QQ@p49=znk0hGT?KR);}IVJgwk($tO|_M4b+J+#>%rUDAHu^WoPV{@V8xotR0L z&AJ8?=GygLKF+>aC_ROBO+nfqwSqk*34}k5-^B)y?p4>q8g5?>3d1Jkn-rznFWmm{Pt_MfF1dDWGAbNB<-)xaZ%G<&@l-*lM zCNVE6X01aDn0tS$rVdJ7O~Ol;MyqcLpVE3=OrHhq?HUnXPY7KUMk36J!I7S>Veq(} zCZpnG&u%ouS#ZUed~oGYYh_aJmUvl28blT5(Lce3+!}#bOM{$kE$YObNHx?^g0p(Z zMbfpB*IwG5VaN~lRvh2wZZ}8Fd5Ev1{5opViDXWFn%e@%kxo#<5(&S7n-yN#bB4u* zUYkpt$=2p#&A-JYrua3@wv*jd%WgkCV&R`&RTC{ItBQvfP;XMaP!hlcypLMvKB%=* zV;baRehs)cj|Vv&Kn^=NIe77&WN?r1NRy4TfT(Aj+C=by`oZ@Ia2kx7AJC%FN}eH> z5;^kIK~M&Sr9iG(n8yRik0&`v27OFw25Bd=$?$M&)n3vT=8j^MUm5ba%AuZ4J->K0 z;fq<{h91@G%vve#uURht%)q z6g7Z24~X?B{S2k^2!ZLbVX`b}M^lLP^kgsE(Tc$xK-YWr! zL^(K341N;v+e|GHxAg{yJ%AWT;4Djin$fv!4v=~mJO+rQJ07Y_ZaRHV`xIGBH#qKu@yp)+kP)(USeEn{OH-zRQK zX^ni}eIR8{?TQ*aEZtZC(e(K87Za4n0p!podaR)s1T5WrjL8_%u3r)A2JPuDR-#Uv z=I`nTONCd{)(weCnul2Ulo&(8uozBhk6me;9@z7@*!O;&@Mv63%45nc^rtNDAX02c zFlh!DZ%@B3-1$n7vE*#O;jcNZ9v*QG4q?QlI0c1$XaqwlG z-67%GBPr(;=AA0rbhQZDIO0Vd6dtWws--4@IzL@2t#ar^xtC*MQ$tp`N|6OYC`qN$ zGv3uqf7$=Msx=cgX!3)>(89`47}Iva@NgeN4dPYCQ&D)Ljs%Sf;yp5j(h2B2dA${V zLtR8UQh{R6^wGg?-4TQ~{OIhHc#MF2bnav=Txe6zBS!1c`@8)i0J(wM;7qoQ`MX`;#G&AK*We|o9= z#og!~HD3uytY?bBI}>b{-I-bcbPEtWJ48qM)6%KploJ~;9y$m0`Uur_*~;pt#Um=eTp4s%EI>fZb7|PI6#l zxXo(MGUj!7eZBBlY zC?%3sU2|cjeTC0OnU>KtrN@3j?D~0Wp~Q|%<$}XoHGhu~S7BSVrC>UJ0EchN(F3}Q zO`k4;%k;L26ee~-a^k#itj+XoSMu*%*9lXD-o0`oaW+}qV)Wu7(MC;xzHk8H4}#5_ zk##3AwN0*Xu$908gkY5@JlZ0)@yS7+-T&q3Wk_#}Lw{Nu^cj2VcEyYtS(a!`Jv>al zNnC8lF*s`KsXpSb;%TDqE#C@W)>Gu)JxzI>g)ZOx?H>Yf%0u1n0sFX9+1`xy#A4U|ML?C00t0v0% zdCz&uj>skn8!Ri|cMiG@=(js!!clUC>yB0*YR7iH%}ej%xt#i9WZ4okEOc#|9_J{X z|9i|t1&1Xv8uvAT77yQAZUXgMz9Y`u`>%8`gm(0w@#X#^NUIq8MjZv;V~bglXi)`| z1Nj6PjRyoMRR6;R|F6s+058a(K8_Hl>eAk|96x}xPZPCk32Kk9k~avIvhT` z==M<2XG`De-q5Z_l@Ek}>SvsOJ_CXVESj_|cgsVOc*M41-h69i&l?Nn9I?rj8y6jI zMWS9Z?3vkk?`9=HsGqArbOE2YaOCOMJ#;skX-xi-ZG{#z?$YUMiExg%A!?BB=@Pgd zEehw0ohP&fE~elln@$oDtxx^y$+0nXL8tzPSG%GFQ7uunAe)cZW`fgtj&~%`H1fg? z|wgf%o(T71Bjqc;DE~2DyYiQ%J}8vtC-qVjg#NcuIUOe z;9>EeJ^)=)D5=M@y_gtlHM|e#j zK~MgPeBOiD?M#XTU`ZCEJ*PU6th=YZy+KHu-9h}h@I8L#esgo5B!|D~e;MOD}N{Wbwh=JRpy z;=+%=OJZTlWehij(#mo8C^R3CNlMvVW^KiZfZVBjz?Xa5TElTDg|53nb+<&b_6MXD zZNJ!JMR<%fqAqxHC@)@a{6j^jP zmg@j=(=ST9h3H&`CR5Dt;T{#%0Bt`A0Z zZg%Q?C`{#dT6SKHDi0cf^BLupI9TOdDu-0!=A`?Q^NzN42c*nyBb=sHNF~dNXp9FU zdafrK4Qv$L?r&X< z1SY@z|G|U(&q-oNaSEH3lW3Xm>x9+0Rqcd3?q@cRpXg9h#7D3*OMR^9TTEDBBH2;J zGf8Wgfu~@UabdE_k|KiKyeurGK}^ngz6yARYOv@fCj{5rx~l04xmPTblsc90wqjk# zP-&zhu-T@6+-6)$LAJKBrXl)v#5ZA^3W>PZl6=J@U?#;}li@M3m{1=>KSk9UMcrKD z_Uh<#5g`fYAv_y0pX8aVF5S;`hreb`Gh$|BE04iRqs(%FVmfy|@H2qG&A13|_AQ;| zZR<~yHBZzYJRs)KLzspmPlZ(9KEi7udxPJNp^)Z6WKG?*PH15pLs>30+w@!?(VDm4 zsiB=6x~$Utm0!UvUF6=?2yV#T{~n>i4m3hkVNUWi$u6d5haC)YSv-EW7@|jHXB;$T zvxwbEmU0Vk6(zbGZEQ{9pEF}m5?ab=H3txH92>nIQ7xZns0hq$`_!m$%+|Ig={ooo z!IiZ~JxVjoZ3Q0IJ!C?_Fl|tb>y9uIYe(|ijwX$bV3V;@q=2HC3#F_PO}h7dG=cPw z$vIoK zka6}Cra}8n`@2V5ntze-aI$1K2B(9=FZunJIDp);rs(c) zV%DcXd|B+bE4iB1WDrWkkV{6T3*n$LKH@;32`)pPBH(X{N}8@0U`g z^&psa)OH5VgBxAb3&%{oNoZyzds6O#L#pPtdjLtOn|3)7v2glW=+V{dW<|QmEuYVc zJmHrSad#?3zxrnRQ#sNeOhtGqHUm>>xsl*WcPHUJ3LFzS;a$)qB zXRVKAS7N^XZ@ba+tMV$GSp7hIlj{*W8iK9ELx@8-d|x6aAV`4&FIo}x^*yPuZzmj! zW17N>0k1`~OjV`M^Tj^>$or&EVDG3RUVhlG}TzcAp<3fY4AUamWxtyMG+39Mq-U8o9JA9rP^sBBc zfcE(HW(a%^GdEgr-&|$o;}6G4IWCFfUY;o?7}5@eo21H?QfI5_9BZWMrLbsn?2;9% z$3>F3m%Qu8!x>cz=EQAtoNXj8u8w_96SH6`YaCorQ)beUeN1lt2kMpJZ;;4!=-mON z{}c*bKkjCo@O=rveP={Aoaj|S&41dpNWO|PK7hP#I|D16_z%wB-zZ)zw?Lf70X?=z zKHmf;_KFhUfq9{S%o0H`ZJHp3`wPkpe1#nWPA}Tu4r4&T!CmPC35AGwcz?b zCeA>Iz-d=G5jekoZfY;>Lx;>;eB}N;GwE>zZzF zoPAk8ql(SAI~#wr!THYd{ANb`-&Bk8U^jynO z`)lX!nHt9@-el9&7m2uk1|&^^5oTmmi!yp-k(l9vQl}*u$^u|aPZyisF*v1NQshlu z6>6w+U-)p+O|nAVl~y?zgdqM_n+u?)|003Z7uGr))wc>n^mcx0K$Br)Cn^}C<=yq( zoePJ9REDJ=h?+H;%;qwT4)wtRUts@mFU}mK{tto?2kPnesRM}lKF|YpX&yn>F{2t< zl3yM`3c^sX;G}PZ8(F+!4CLtl#L!`Kl#7@#!xk{Fj3MWo4XNU7`O;xNqy*X>~3mB5(YS3djMGu#B_Ycc@FQJO?ShoQga6oQUmQsUN~Hr zE(*TLpDz0aJq6=v5kXy`JpoxAPf+%g1!IAOP7YJK87idCu~Tf7EAJV`0?m=&vu@*iAUGzmd$EyH} z34IvGjy{b3q?hM~6To<%)>aJk?u}nu3gft8vhdn)@t112l`ver>Bd}3;s-e;Fi*p7O-A2i@2dw0C-K`-Sbb~O}@50L`nRZ`amwNTB@HTFZ^9@ zD9b-=`ac{@!BtqD#};;JasDycjTF+36>`~h42f;>xT9R*s~Mk{K$hjHc=k7LSmch( z{T!w7&6Pz!1=h18j2^%dFTfHPP7{w+(WOX!F}u+p$Ag$76tm}y4J^|#N{%kY{eJQ* z7y7zI6gV`#WY>|*)FFnd*O)?^Yy~Pz1=3YX%0F@^9FtKOtU?02xW#?&}z? zrc+DFUMiMWBbwgaXSuaiq?AfR6_&I06`tql+umc~Ez#f;(KotvrXrDgnS!8$yqFqj z=MKmK+gpM@s+ZyfEKB>Al5cNz@6A04Sx}qwd7a?YTQgbP@7S3vpHX#PR0poxD*Y4$ z9f()0<1nxmK@`_}fE~ZXHczz$mWsbU%&jG@th8^q@Yj#cO5=2-C)kVKKcpWulKPzW z*_?@)X$uD4LbOY1kp@D$_NSu^PL=@G?Jj;~soK!OHpAEXzf0<@t1tGu#Xcm?i?{`q zziUwjp8xT;NYh(j3Z8jqnl6XBPZWw@@{3y#o9c;n>{l__rs|iu^xaEyTAcsfTPEv> zdem9?$}%rMf?eXb8Hg0pIXz0KcW7_6&>|=^QpMKna$~B{jF<4fR3S0ZcEZE?fsMPVQ{gG^@93XbrA>-DDObrIdf~ zJpSgpMVDj!2g}C5EO`s*bmRQj{S7%rtRMcU0|m8hXUZk|#3IphCmF|^4=$A==1)@EXXXqPGs~VRM`)yN4b-;G(_VmziO(BRr;KA=sT;Lx zZ(wc5K!KvEz=+Flw7z`W)Bd56#9_Uy2?>?{fqOeoELPg=w)Z*`*qv8XqA7m69{22 z>ez{eL7N0gFelpcKv;^4fmk%PVWBwe-NpjT=v|-Lv#7Eb@@mM!8@>xS>Q?(7MKJ7Z z*}6_`txSF$pZY#qu@vu-F>}7iEjgZJMI)^sf}xv-8|4E|T_b4TpCdrcY6L!=wSyms zTyl9$l5f3iEHStD$k#Ur&bb)&PF{QOL=XI_-d3P{2J77w-L#lqFoeNl;fz|aa0Kxx zEM-b;Ck1txB-6QH90?{?Hw}+Wi^*pESozw_b)-J}nv#<{hmfv}hzXPOcGeMC00Kz0 z9;;w!o}|61+2;JrR`}}jCyV5rh=5vu^@m(Z6LY?Wex;s7=Q(Tc$-)V5O^vfl%g;sJ z9qhr#kxeFo8`VSM__j?kruqZhBx76l`($h31(e>1^xY~4&xe+5x96Y?#mzbwzlPx} znf6#fyT|-wpL1!q1Loa11rh}q-$pbDr>*%Rnco7mZXy}SKQ9H zH7V!%K?Ou?1mXq5WqvyWrzy99X|e~cfqobmM@T8YkHoiB`v|4xdHWBX9*WHG302-M zu6Xut{_L<`(wmiG$PMUrc~bzn5L`GYssOFF#_h#>^VXa}3`RTUA0nF17sZIpf{(z&&XE5(tx8@PmhlL*aVJ-cpa z^w6y6K$V$fbA*EO19^!51FbzZssQ5r+OIEy#e=e{^%I@|m5db1YHFV)?)vw3m#y-E^4n|E>#H6my%sOf3_7{^W6dxF7#e@`z^A~Wz9M={Rz~ND6R4h zmt*5CV3OAD+X=v~OOGd&blkh5s(v=}R;5$uCS&JKxzP2yw-p|^H@tlG<0WcuDRl8Y zRhX7j0~PR+5(k_M;T@YZ)7^&3#F~YppMHA9$&J^{pDMBx_p$7ccRT#W>5GPvbg6Qp z^n2EC^>OH9$bfc3kw~XWlu@2%wpL$~F(xETK)dR>;p(ht#H%mwA8cR8fX<=U4m(N} z=qmu=h(>35iqn|}691;~Q(mWyV4_ig_gxzcmow*5Y5vhP2mlci6%5y&raj5Qrlr1^mZL7K4M`}WQ7$zvF!LhO_?hIl%7X9 zq29*lv)LSHP&&viM@H4Owoit*c)mxN$gSiqKbPimX8qKB z=G$p+f1E7lrdsU&?!(2_3T|r<(PxFmyKqk5{6I>{%tIY(c~8nL?au&NJAI{Ik2hnE z)qM!|8K*tZa@ADff(Trt`Q}2~76C&hx%CJ7p7?87$vmR$@X3fuCp=IAId6XV7GyZL7glD)H=x7 z7gLL8Jsn-Jyb)7FLo6|z$R3k(mjuu3GKQa83~%8hVII*1Jstg04G_>2sson?#mq6% zJk=uN`&sM#MmG<>HzFdco%oCgty}-@*8S(dYlf0uR+n9Ft$$_n!2e%6o*|Ee=NJ`R*?tKwj>3keBN~oZN|o z-}Z~mHZAm)OUW+;yf4-?)TP}lTS=MI3Y3{RAww+x@jsCuWcndbXa7mj1!Hb05Djq- zXm>dT>eKlS+#&i=0M|XG_qE|^YCr$J&lC3uD}oAD z+gby`D4|TeTH?d41=*=mYQSrk1uw(H6TU~y%Y6fTYBObCnva&Y*!FUy@UU|krFOxH zme%4_4iEx6yMvccG0+$8fZz^3sTan?oMIo%D-QGa zGoST^Dx*5z*_eG%{cWGA0&1Kpoh=;2#1Umrp97}L(8CWyVs{5D8@7{_!iv9#zY8?%Hc(O{`|Lop;zH6A1ba6$DTs?9mf**sa3l;o0GKxQL-p7t#9C z=#CFcC-m)|r}2cDDF-q0nvxe$A$3k#DwW^)g!cPTd+!hzu5l_mVNjz-&uaU7&Qx7>4G1;V7Nno|xT4%Kke(^Qmvv?Q8zL1h(WFJu zpo)>yQmO9feMB@$=H{{Dcg}@PPr3d4LJAfFl>mY@iiXmFFi@`dWNebTb=n&;kkDB6fDe@jqcYJ=ZIJX#cN5nOj%EhdE`0H08T zHLnHdu~fVoH@E!Rkqpf_8$~&l5dWds+Yc6*!r$adtfLHRFM=xA(F-uX7RBo>o_@JN zM~9zjo+=!wc^&DMXypb@anWEq=`5HGSzvr;TRL$Tz?8=@G#{HKzY~`oCMV z%JBO!=pI&J`ktZgfSYxZU`;#hiYS@{9KhjJ26taCeF#pp#)Kb0gi)X+AqXt+kxX{F z1~K+A19ZM-N09SZn&>TNvFbQCATrQ#WX|c{d~cg5#g8uikQR$suLb8N$}A4|8%zlU zc`d95khmP&&Bc9{Dcn!@^y}(<5zCActAN+awe)q%djW_=)Vg#3KVMT_L zlYpNTZeV=*Gp1%Qk$Sp}dTNsDBp(x~u&v@gs-{xY>_`=m$ZaABP3W*h8PnB;NA%03L&sAkv$?C;txTVX$H^d$K zg%lc1)vfM<^+T6=L9Z;MH z#5#~F;+u{#Bkq0_lO@hR3;ccCECpI)rSPP#`*_0Dpuy1Mo*h7zHHLnI>PFH@GSDGi zS=MPs0M=h*Nh#_03SO0%SA=*Wx!9p>o%l}yn#W~4kDjbn5S0!0&IiC65ax0ql*Eaz z@4&Jlovwgb<_m1p$r=~#X)5eZqLrO-@-oPp?UU}UlI?{ftCSAu`sQmg5HPj!+YF?7 zIy(qAGtW-pr%+Dvpa&3l5*V6pYY`&}MHd|_sTgz*3z7(~zHa|MMl|SL{LBNRD1Y6! zEb%xgu%efFg;tE#K-!Tj#%q*tQ1rav5g@2yLod1~P7SS#RBdlp;UTkKAX>SH-d>bG zZ@Z-Z&=gR+Vv2V|!oKq65~RzRq5{G%S_E2-p?q;7%82xM*`sUQrhUv?@)%qU8SQ&_ z_gN8#+${6SE{P2FcNNbSf|+z>j)fbt(Msr|R4-ZqSZK2-gt_B`AcvDUt(H^SzS#u; zEZfSlk=uc{L#!*$#hlc0E4A8o9=?+AU}-t zCV^Q>YRpd_bK;9rJ4u7F>b6PztJmB^Lx)bwkR$)NQ0p*p!(+ge?gq6^OahjZidbsq zfpIx|E$~dqRK9Q-Bi!5c4iuBOVfucfS8$@TO@QG?OC`kybsa~`rXR6>jWPlWepVne z-V*vK@YThiwBx5WE@H3N)e6yFOo7XCw`Am*!=a+Ze_$*_Me2E4@^`v0l>wwrB*VRS z;@%SURjzdANRzB10-bd_4GlilTjZN>=RFW&Q#oSy^!YXUdxE^sXSHEEcsL+y*0B?V z1r5a#+vu-hVWYf?PKtHH{pYGTvjcJU4H4^3Pmz6hT+9yEUc0ZOLFxmgGYbqa}GzH%c!(8Ir$_L>DW#~^$D%7jnf{{9I4XMByptlownpGg{Q~2 zhc0@<$-dxym%#O19g^H67v=+^rz0&#z_E>Tl#OiP&!lH-hCY+AiuaSf?C|yc~x!l`a^))Cvka-06& zm`?ro(t3%40|+CEFF?OfJ`$xQn{m=3c+6+uq(R2TAuAoafbb*C`g!70I{P;0k|b>2 z$>p*9&nMwaMo3|LR0aE=FCha5th_D(@)h@=PF4)TqTn1&YWG3#;sVNk4BO$zw2?;T zsLIjT9)Ep87CWacgS2WizLEaY;}Fhf^QR?#ky`erP`p>=Dg9;X9j0BTf9b{f|M{*z zGI(16T6h}Ml^AkQdyaTjQ=JcS_|S7^|IRP!r2@PUPAe7ucNpMGYs0|tr`t{y^bXMd zwO)+J38GXy3Kuu&++$rUPsB3x=XzJ|$M+JFN=+q*B7vI-qiGmv4=*1Dnn-Bm{!VyP zK!HgG@=9k~*o({WGt82GWj>3Gr^QITImH~9%SvS;ZBKVuKg!`Io!-4<97<5(8MyKx zh4R2L9qor{YhV0vir$GO-(LU`kI^zjf!6P4a4I-4y=xSH%xn)5EW|Obg`m?$|NTp2 z5Lvit_xiXNAv7qa7})httQZy4QK<%kYMtEhjt0}$71sw|drs9kP8CXUOgS}ubas^P zwi{q>XB1?40N;9w$IemCf~2&0f?+x_bou2|^pO^@zTcVv<3)vy1Z^|9jQeVfKR10M zX``jEY98G(ZT0TZ_b8@cJxgmnsa(`6z@z0Y-22T2&G8L##eG6!-_5w| zK#1jplutBit)RS5qIfOkNab4&rFHO2G7b|A3-eI2v?TffLDIB;rxU^3q{cG+_)U|| zxA(P46~`@N4!Id<9Qq7p9%21_)oyKPYma#460lA2M2|{ogE2S#XrCuBvFGtT(yn95 z<;cgHF`uMtt(VnWoeHhj8GmrUIe^H9qAzFNLf-;4;TDZB9E~Ab!kEw#$)xdR-$D}n z?1ynbLW-Zj#eK~z8?O!DDd?@vF4^0n4wfx$vP_MS!lASKij@|tonhpj2KTflS8;n(^z(@_g6)}t1=@?|{7*43@0@-o8mRBzqEAbB)iHCNAT{Yv&nNE+%P zt;wE%bs2K4M{g1r+oZTOV>tfin?`<9aOHQ-4^h`#2N+uAvmryYC#$#*v}cBrhVQ0_ z-{N8dR~x;@R#%F&D|gg|f7gE>3JG|*mc8>XHX3#L<}!xMb8aZp|7pYRG9Ss6!gi)Q zq}!$SWdrEpdzC0eEnsL3FLok@4LgA%+`H_fb=5L5uy}P0a1!b4T3ZoKva5(iU^1h z70@6dK^S_8fPkQaiZp3TRlo!Yf`W7i5D-X^DkZUCBxUY$&fRCvIWuR@efHhAoO|aF zp70Q!FWmFE1kUR``Ak99U8X9-gsF<7IwuAi_s7>8J2;I7SAON=?tiei zDBO5{sKHY3qDQXjsiUWObjcWg*lgm=HncF)eyGK~c%0t-&4D^UJE9{Za4G))4oB^e zuM*F;(a`yR;ZWzvjMLFOVf!S$){AqHGcj$3I5|)DV7@UuO9l6GZz0XxlHEabP9asy zjJtpE{^?5iu$y0ZK*wR_^Pa)Hhj`!i-$$u{uTL2zNY^Vz-elOvbZ*6t#e6OI3M5ok zARm7|rJ%sj_mQv6d$-!K*>$6L*I5MrqeOnl7BB$&49*@iwGMG6;vWk{zY3{nX3tU3 zRix?0MbBJ`Dxo^(j!xJu)Qi)%W>jBYyIH-;N&V)^N?pTo+ey~`0^yZ-a?*TPAi90y zvYy(t+Rg?P&Go$5C>!yoFBk;%85n{#^wBs~G<5p~O-iuIT@Z3F3C<DE)#Wp(m0jbrO6UX$;}ETR(?wDwR;?vE1znmJ(5Y)2{7~>M`JDJA4uNf1DLLx%S&2U0Z~u@G z_O}e?*Vn%>WLq2=pfJ>Cz}}BKMD^Q5FqPSwL&QD;!)$hP60y^AF(UT-cJWOk3NED@ z?1a$?=rI_z?H9;%3>K#W%ITPPD-aa+`I>R}HnFv=(jQFOyFqx2e%rFCeAnv6Y{W(! z41(H0es%f{duTuhID&1wxkmf`Z1M@BK0(H-`^uH0YhI}#nCmquUgg^7In`xJ(Y%|EabjDhnm)wyU)7n%Sv?EG9Rdqqf8KA)`y86`1G-y7bvV6b#&hyOYjvQ}44Dbww{)YAUqX6{pfBwsG2>(sU zNTkngK>hLj%$-l^nH_mWX^9V)u7g^z)VECDhjpaZF|rAxWs>8W z`(PqdQ0VfpuM!M-;=^8?ygIZwAvokP&%X1qC$R+*TfaaUMwqq+Xw6vLE7QPyb!u@5 zt-N!LBkvaoNM6G9!*UVxD5)Eb=QYw?#RQJ`X@BciW_$+$@63KDbU_2VN~VfW#!Z8& zV=U&$s?hM!Plxkw4)7E*PSmu8>@2;IE^p)Pe2Vw1_3r2cqrVHy z--fEh{7eIO_0dE2Q~^LRQ%uB>`QMy}L!q*6kxA=|Kc$PUO9)p9`VNllDqVRJ;Zi!* z0|y-4G`0pS7c-kvAjJ%u^$JD^BWnpwW>W!8DTl3;CawJvuSr^5&=<5i0ETZ6CdlLt zpjMOnZjtZtsb+T(n!<3o!JnT6cpvp~9eEDf25itE3yo^AfXnZKnX3jwo6W|j?{zoJ z$^qH!Rm)3XC%v6EL2}KvAMR60G=k{Qx`h1$i^RVs@qbI^|KQbS0n3yv2Y!z8v>U7} zsOT?{r7JGWVdx*r=TrQrG`JLI!jUGzj^~D;bAF?|_&;V1=^5Vz$ojXLf^?}lsLT`> z61D&F^rd%cSD%uYD4izf z>S*>@F%1IYr#rBPD(Fh8QJ@yncd1M)9lS{y8Dxb|H|e+SnX>S>Ny=_k30kqrwq)-%l>i)Zo&O zbbf)Y$yB6{b@j(?eT!!L6p{kjQZ(a~rt2joQ!(@Jfpt}wvS{}er0ov#?FoeB`yE3Vzn`3&Oo z;rzDprQa=xT~#tHed|1ofnNDK|D{O6HW>fCIGp2U>h2 zWK%?JImf`OjZ?)Ze{X66&kI3+&P6O;*(E7-Lm1O0&)&8|zY{=05F)iG$7FLo)vsUj zglO5KO443ZT2u));awteXmu*K3z)u{P=VjSUgE*84q`K|$eJxihxU>zJ~LQDc?je> zN{QT{ntvDD@Ww|{q%r*3fi9+;3oVI^2NHxGOg`GK48q*TMEPqMw$Nxr)uBd#i+!L2uh?>eFnQKcZ-i|J0i*ek2O*uI|!|~!`e0^-9Kh;#S;RJ&&#WI zN{(G|D4A9^&>c))J9sX7MSng`CfM0#kFyq!vgYzv;Dwev2aB5#N2yVFcI1o3pCtNZ zk_9&ptu$4Y70+B6fRC??5yzV9rafIm?IHw^^k`{W7#vMpFr8>0-H3*9)M4ePnEKS7 zKoco?EVbH$_JGv;gznM0l@o_j6I8Nj(iDwe*!tX;SmOFV>b9ARQ+x0Sb~d2;34$5^ zX2>-FPdyGz`xq|#@m$d|?RaA6gmBr#XZeM(ndi2IS!&Du<9&U%; zxVfKo-^ht()yY?8L&o!v1bXI&XLowmNS)yjt%<%yD3e&0px~*FniE{?>6z#8So99f zgm_S9BkMi$fUfzJu<)y(|f=W`#sL@(>SL4=4h> zx@vI!BR2CttX1ND>fWzslQJ^rH6bld;a~N-jVl{ zA&pl%uVxaPF8%)~O#Ky4{jI~mX8|^UCKcNWPA7JVNz38Q1-iwf#ssF}ksN3|TZe8r zHh<4)XmqS+^pWS;e#jZYo25zGsi}r8ORB3g3>&1{W+PqqF`Yr)#Gj)$2z(q!tgKqQ zAXGQEkY*};>bQ}X0+4`SZ_K`WNiw6&$g!Vm$tOc!T+8~&*)pDJ-W9dar{{Q>VsaGx zss;_?Nv~({(@QLIJq3CryxISY+ zWhZmK5p9YrIdymch5ClnT-3ye&Jj~fn-5WZz(g6#7FHO=_>aCE0Q^rpAd`r6&g`(+ z-4NqGs)Jt@5g@(k`P9;Qs$o|AtJ`tNE%vjpO2kADn|E?I8ka$W|oNu$7b1`p!u=j`L_Yjsvt^WnKwoE!$8`12}9EEm}!{lG8RRK zbl_maE+^rnxNtpExSRjlg>23@%%}gWUmi zuL!`d6K5(Rp1h}H+eof0&y!EbF4X;S>S#G0dj3#X6yYP>+(m|AhVEzYWR>BB0;eIg zzU-#4SR*^crkCa0B4lg_FzUD_O332bopy&qbrq<7dis;#+fXu;pko>oJWV*>x6Bj3 zq{2U+e;6}6k4=!(YfpxcGdkFc_?Qy|D191(Kq@YZID%@n^%um^Q)g3GYSbX($`=G@^B~`U0t39Eu@x1hx_p69wyqWPFs!X$ zOBo}Gp=Lh^4}OMY7Df{-SoQe@VgasO@U0h+aAW}~WhW~IvxKK>v%kLt|K_wYL+t=m z8O%~T6MRa$JGfw~BfzN~sDA83C;`e;sld=jAxIJCaa9ITSq);Seyq|cZS_wVk1!=Tv$h=`Znsoshqm?AYZ z(=2|(TD3U%Do^TqM24{WiYS3SHqH@&)ron`LF-rY(yiSX(PPZObu9fnCI72w0I8=HB()^Q%*Os+TFY?GN1LUIj>I{?(Lt1Tm(v7R=jIO+QXebpM zSIHhNyCil@{o{{r5))#zjq2MaY!;%l!A>%vslv);%QZY4b3ji^58L&4Y3r=1PWViD zHoo)F?+fn>@s4o=OgZm@IXwSz({$#w#ys!mff8#E+RGe`wDyHw;pOtRHi`JZ5 zvHr|F3lyOKpoaulmi|CS3;{b-z%P)uO<+^(uI|9F?7ot=w&5^;_~(B$sr|zP*xz8X z|Iyd)K-Gz7sL^vaL8UbMCdz^CHv7FU86k%3`pLskCd_79;P_RY;GfbGR=10PIo)Sc z|HT5?&lFePY;qVk+|;ElzJ95rM^i-ZZH3G09<+Gg{4U`hs=cytW6{t7be5O|wp3g= zx))Wd&0BVaH1YKZ3)MYn*yAPgr)RC{FD-YAHQ$-NEo{iYs&=1lOyfptpnmk1a2~D5 z>BzIID%F_yc9&~V{hq*CKe^}kuUDo0Pd)$tB4gkG5c&JF^1y%eUQ5qr7b^>8%m`+` zV{6b|D9x$%!-Q$AT1l7MfT0Q($A@889CO`{b*DWI91i@uP!;e>fKb(hs!*>QkMbZ_ z?l~Cx-ePy$^@iL1Vjq-CY4_ul7EX^5qfFxIL9@27*clNWO`(8Zpj3@;h_P!3xEGo# zez@Y2>+A)xrM+743&ceH>!x@t=Hg8J)WcJnWL(hPV{1csal^l%X)W{cL77Hj z{Qfl(DwMtq9GoU5$*XK-n(~;ff2LJHP>|o{Z!USMBNbwDfyk4R83DUuofKXwL#!dI z{?+`?z+_5589Qu47Pu0}I`Vhosi^E{EBR1jXk)y4>iVQ_UQtbs7V8ntm08nz`%|Fd{i>!a3!w^zB$* z^WB2S1jRYuFIDdWZoLK{;gY~`K6pUax^Cnd{RX8uXy=JQe=n7cX*ot3|7dEZ9Qw@Uk%|hUPufd~(aIIpt2%S>Sty|5Aa3cdIrrEPGu3GJj5A|jo{XXNeW0;^ZY_=_ z&n)$h+)7GKsM&MwaB9@KPhj}GlfW+YgW8sfGPV4(5#_1C}SZVJDtZ&t{zqUs} z`laqqU3+uXv2nIfGGvr|NvCg02wOiCdF)?({|itNBYyq@+fKK%UH-Zu@zKO!lz9wb zKqP2faayFA*Maqg{j;LEP#?wCo>w0P_L$9`JsV>-$>!Imf`(Rfw?{zyT1&fLREA7G z^J<`?MI)%t8f8X`&1~`})tB#hzV)>%d6yGd-)UXwra_?jIh+=*upEqr+b}Li;uPKzW7S^_Z!F}d%q3YzlEc$G1Wc_ zCkYOU9UUJp?kGw41RD#-H&5P=TsLqz23Nzh1)=$o<(nYEk9K4FfX)UwhWH)ya`+%| z#$h<<`uDL@;k3g}Q>K05`L9Yjmsx@nN0R+RX8;7_7ruWJUK{iYRatnk7k_ZdM|$o@ zv3BRCCv_BD4cJd&4Y9tzHmq>hSc2j-`7~20)2uJ zhRiWz)tV?F`4L!5?YA~Nxi%u{Ox|UaBZIM{n^nP;B)1DLk>}ruTXLAXV!b_dIKBx< zEJB5GI+G&O{%8(j*retTB=I95kfI+Zq-hsucZ5CJyCZyXe_qh7yD6%9%#asj+)$=C zo;(e1=!BO7Xw$VDN1M7?mnWH9?4My5UW&Qsc`xFb`0Y}sHl>JtzA`)yfeXUEYF;dx zA3AI7K<0^Kx;=5DH+mJk&dG7V{(w9wBtPjL(QFmk(iq`pCnwf`VMS=Em;E2amJoRs$|DUvS z-jXB)f)5-!s&J6iV)=@U;hLdaw$ItOjG&d5r+H|5GbwfkwvkqrpF6)RA!AZA?&izv z__TD&>8!LYWXnE@ikR$~(@VpN2S9~FH{zS(gu4Jmw2N6R0K zIQqmk*{Y@Gv(EzrUy?MPcY`{9zD(Ju3mSj7-sf~f-v1nXtgn4mYy6b68~i> z3@&bR@1gD@bI-tADZt9!2}$`WIQ^oPbw|q6C$qHMA`h3U^Kn|3He0p=N}8scs57zJ z;!D|1y`COOk-xThY)}~wTuxukg-d?@aJsHTOz+~v%P7xS5K3%*7wYR0k(VC!J^Z1_!_w+J4cKfMj%$Qz6;$X3 z(zpi;^_2lWp47FUy(RAT(d-L81vk}BncW?*kvXSk*=oQnDGK&rPn!shRWem6@`hen zExHsDffcrjWY_Vms-if8ABp4k8{AK~8@~AG9Z_$MazX4?_-2800i+K4KEEioHnQAu zxKab<_LxL3u?)fxNL7u6HYLmK-L=*}c~*_--@C02)T$??Y`5p-BEq9VZzq^A>MCHx z`wzI%r~5<_auyw^X_XNV?Y7^eT-;%!W)rmk7fAN`qshUy_nPlN*$Qx9o!_t`P(NDV z{lS3-Ov&GM&-f?!B0-IROg@|>y@w(kPbD}}9pYhR^${bUxiwhFn7jLmsB2GHke~}M zMPJnyi}v;0el9<}DsV3D7VY$AA$5Cvg(^V+&qXgMBa%ZmB$u`{3RMazYM!_fu=r*Lh1Eg?rvXU{?f!1fw zmB8)5q0`^H)q5IhG^N!!nRk>LXDMSC&I`<>sHa2{Uayz1)i1#revG(Df#hj_lm|l>s+MRX%t$3;YuA8Dr z#m9qnhML0T$)Ilov2$FkT@9J7%=Ojq42LOHlc`U4qJ?at>94^=r^DMx!j-^mB;UY9 z2O)9Ej62xiD0Euh*LB*7J2D8AV*sari1 zcuKv9=+p{Mlop?81XrHkHK4Q566e4B`QV4#!sjE3fLE}949a{L<`@1Z>+_bM1q9i+ z`U)8NLj~Dd%#bnNd;S`$s0d1rv5(D!LH7niA-Tj||BA^+zRDu$b%?Q0IGi9tSE(jc z%b;%1N9RP6@jPe=I)J@iv$fd61N9mR)90fbCavm0icXs9mua`uuaUJoL#A=BfPt<1 z#;i$603#F$>vRu`O)ZJ36N%5OjDj}{KvvYNJJTVni%?i|1iX|1ks4n=jF`-Qv zfpNyKu20JhXSUs@*T{RJ&|BSh;(4b6_dmUhd(*pF&?sNLBmG0n=Z)Rmu+TwMXcnf< zs-wA5lPuDKnHVNWnefr<3n_?%{l*X8c`M)g>U!#k8 zBB>ZxM#Hc6((G_D?BVMmn_mNSxFBJxVA4pfv}mF03`4#}gYo(l@snPTqI#5MO3jOT zi^wBJ`-`fYS*1FY9A!SxK!!m$z4I_$uIVbV4!B0yJJ3~KQUF-F13BYH9c#OXfHWrK zBRh3o14$_=}L;>+X%Tb@RY_CxaUHGW%Q?ClMD98dRIGGGRXb@+f6mNqgY?;O=&5 zBNb@M*r~(b6>-{Sfnx7TL7W@GiMK9C4!2eOVAMQEV3}%w9CL^|x|W^a)ELXwhSP^n zTHq|Lzf6Sno}kHl6v8q?c8u$DrIT=j;3HtH2QZ(FT}*u%tj*(rb9ei`772=o{EBQ@ z8qM>yaAm2t!-X>OAk2V}@D^I~Amfm~$e@l0cwvI+A=;6((jB6j`*?RGoNs zD93H6J|sv{N6O`3cDiSwY4!Y1OK!3!!VI?Bj1G>Biy^9 z-@JQrcq^~4zCNjwbo5;6o;VfW^vAJh99tp6kg|RM9wdTPYyEJjxl|y6?kK2*C8PJ# zt7c9$fn7M}^6Rw^?kHQ8cS)dag7X2s9^of0#Xp4kZI-YLHZTNiyd0d7j@EymcI4{~ zzfM}g`fb+NDjtvQ)L8zZ9E|s_<5+bE+~Qy>x%25=qR? z@ZtUBZOvJ=XdU{n*HB$~szB#e|HQ&x)f}DbO%Io}v)z`bg)NP5j%E(tNJfluaMvFJI*B0fxQRAlCGw`UHdNGSK8HrjRV@I~!Fi0ys`0$g!f#%M)nHdjnMYSrZt-0^x1bG_! z&5SsDJH61H9ur7@(c)5pbm=nD!8-^~eiS{X!Op4lmN}QbzgSJI`<`Q-o-g^XpHhJ} zkuAw|A>vd~9JJ||;1DmeBHJHVt&3#Zl`P#*3*4TLD7AFnYi<40V(nD?Jn+i#{~mq7*b26iCRI7-8IGVmjdyinM9``z4Vpqjo=(n@X;oTvGU`OO9`wb~{1||4g3e8G+Rbmc zPEhrdP9s}=tjlIp%9vJVKC99Z?vX~ z?>B!IYo+lnU<_5oAvSqJkI`sQ(Sgw(`k z9i+~rN4PonNuhD1Yxj2ZH|yPf!gE^!;Df;_k(-+Zaz1i(XmxC!%3>T7M(G#w_l7+i zGcqp@JV`LVzq#XBD7Hz)DFdEo%{CLp@SCWx+ZDD0Td+c!6-Yp~<7DZatxW}KI)?YO zx8Evs_aB5$=^RWC@8#cjbjnoY{)Mpt;9BqwBgy8ce`|&91SYEvRBZfXT7Jo_roar+ z)}1=E;^^k-E-{f<#EJ*fNX3=G*%AoZ{6fo64hxfZ`tq(c8| z1vR3Pjc)(Xnl0wr)1~W2oZGVH0vRQ?daoK8yXiRTx30Sz3=JLjZ*)GQ&fOH}(a& z*yUI@KTop_H;Zj%t)^G!<+^;&b-TS?8x0VyXVo1r608$1sl$Skzc#*3Fmfre&)?QO z#)K=QcTiC!b{V{+kH-U0Wd}2^r)R8b6y24{`Ia8r&AvqGCI@EcaAojEMpxM)X zvk)E#e@2vv<{;h&kpQKZqYYepizkj@Xq@DOS!A!hd-17_mk#-VbFS%95|%hV^l)Y% zB^?MQEkJV?Q4=MmJaqwEG`{?4W_gBNx1X!82Cleo^kCi6?pO}vlW*m=u^t~zZWt%OUF+}~d&;id6qBkDu&VtZG>#qP~H_eWji4Za|--xr^idyaJ z@xa5Gx|kSLUxbSuvu=tuOqflm+jPu0dGwX5r%|$O`GawmP6bP~Ji6e2N#ZV z2(aTH8ouORN~gvPw1^o`*ku%ayYO89l9! zdZ{VTS#fyY@!HGYP$;zua|yAfUI2kndqMayhX;5D#DDFD`|sZXbyfbw&0>I6zoi1y zS8y6s{CbTcksKDkKF1%t_t(Y$aLE1|mcNGOuSxW87M;J=mcN$V-|s{me^gXc!?GS> zE^Lr&H}BB7=dkha8=d{pl6k6FCJaMJR?nUI