From 805f6d44e9a5e33df864be00c944e8fcbf9985ab Mon Sep 17 00:00:00 2001 From: Kirill Pertsev Date: Thu, 11 Aug 2016 19:01:03 -0700 Subject: [PATCH] Added alt (<|>) operator and Kleisli arrows (>=> and <=<) --- FSEX.ttx | 194 ++++++++++++++++++++++++++++++++++++++++++++++ images/sample.png | Bin 16674 -> 17583 bytes ligatures.txt | 4 + 3 files changed, 198 insertions(+) diff --git a/FSEX.ttx b/FSEX.ttx index 2847798..33c7c7c 100644 --- a/FSEX.ttx +++ b/FSEX.ttx @@ -6020,6 +6020,9 @@ + + + @@ -12153,6 +12156,9 @@ + + + @@ -42188,6 +42194,191 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -259265,10 +259456,12 @@ + + @@ -259302,6 +259495,7 @@ + diff --git a/images/sample.png b/images/sample.png index 1844f9a398c62cd7ddee34f91f21ff5828da7488..2582afed93dbfc1536b1c84e21a0830c23b61e9e 100644 GIT binary patch literal 17583 zcmbuncUV(x(+3FVF)Gp&l+aNg6r@HVQbIscQIVn`(n~_`5NVH83!!5LBtS$3q=VE5 z0uo46N{|krM-u5Jv{3iN_ucP%cfZ|hzw286;M_Uq+^5XkGxM9@%rVy3P>+j4h=Yxd zjqB!(t9OCzE*sk+!J}Yc^ytgo2;j%6o35_$O zC++ROb;!za_y^sMiAlI?AJNqGwW&j*#lEBIMVhts1cY~j!1kAt(5cWmV$;!gigS{OqEK9qS?oXLtkuipl)T zfgaiS@9|vGJ(iJr|&Zo%9oUsl#WZe{GF?$R3^qAH}~rm&H2!f zxDM?XjRtBRGLQ7+ilH<$HIar|ySlq2)XtiG9ck(M_HD35y8GtWZ%tjM16?`;O?SUG z=?wH<{o2}Y`t=6+8yig<1QrLofCa$1V0{S{`=ib=_TLqBrg&??Q&1vBj%5 zS$Ez|98KsjJxs25)DnHB-2s8J_=WPof-(6+n+&Wv|@M zNs78`9uwtoNzdQyj$rRU*UzEA;47gwb}zFlcd;kv_&J|8g9UOMDtL?8BEs1(pK&;G z2kLk1ri`1Qg?b1eU8hs`R0FsS&NH?_WNX=Z!J;+~C( z)&23V!QPSX;r_9oLw%z?lmTsrsSn>xat*Nv6s>3oP3y!q+E2b~)lX5dYCujG^m+7` zST#COb33f6y(tYSddcX+jYUet#6&hhFG)-@eCk(zk4tBkX2j%FPTTzw+q!Tnt(X$D zI97KsG5MZkl!bV>KQ&!A;4{|n@L-afN49GS-`S_qOUEPj_jj~s4^AvbL{F)pByVs} z<{wUR&^|agSj&ux3KIqq#y1WQB8+wq4wmHXokPAil|`I9%X8@Rrey^0VVNbJCL|Q3 zJ1k^94Psl>-Ml_o(FX@s|6gvV<`2vbZfl@?yc8T9eUMHH!Ct@{Wz*s`p$KOdpRY65T=`4anLP7%W@93;? z_v-b3PX~T!oppWiz*j?2F(@cVAxK%l$KOQ}s;;iCsB}^B;zfDj40&{j_XCGud2h7j zzb^8BUgxS48s+ci`@qe|TY`062c%EH1Ff@XSvUHxfB$+;r(n1LzLPil->(I{pd#yt zB2+<1@&9Ss12^aYmuajc|C;vaz5aDOIO}2>#%{q*o)%Z#yqvtzz@s5lRg~a=Zu38m z{P%wk3 zTV|YHykMlYZpuihsc#iHUD=nVXjn!1I;I60d#%G6!e02~dis|RN%5Ta9&x#Q?YWN z-N^#OPrNF5!GYqPRjstO6;E`xGdXxQbn>Y{Iz8*5f|=P|-S+H(yVx!^f&yoBXnT$Y zcFj!{C)aGu4J=*K*7&`*eJTCA{o;t@rO z4;lN9X+*>%_O~zH4eN&L3=H4?Z$~ST+8HM{Pe#lDRWJ8N6UTPHxyAqxm$_mwp@a zjBB%Ei1pI`%dO7kon zOiv&5?v7=aj=(gh7NRnO&$0n?W<(lb*4{6;l5s=KlVe;o5do2Z-CDm-obi}vb8>io zBuP-us#7rS1$8zkyfjQOVxEXSfBIDd?dpOTb3h(EXu4P^(Ad?G;IlLzZvWXI@QoC(d{=zX6v5mXAgy5hY`wCS5#y~`e~DzCB<2e- zv`T2FXv0S62x{g{#-Q4OGra-oRbDYi_@{F6)cyIWOTQKNe@)VNAHTxrPae%F!HARX z>uMWZBT9~JJU4A12tNoK3t=>HbwdR%qC&qtO`Y7r@2^shc%Bs>d;4$~AN01C`ZHI( zf5_J3QsA!j!TM6DjrjS;^k%(JlgAkgCp)8sD%7!rOSv6EhC>r{Xzuk(DRZAUvKhk+ zuF-*%DL_ieWAo(YL6N2T5oy|%2xPGL{YI$wp1MFj54GYvGOCZH%s|Ax01z(Lj2>PZJun*aggxU z0xG1M09qQfW5d=G8kdTfJQ@NH4pfujezkHZ9^UA~_YbS4(>eykRhn{FtK#R9xk2A? zlPl_)LSj76mNX|o;6D$Qzm3`QdVDdfdT@yTo-0I2K|S4W%XjCe6~zEUbHmQ$#(I-5 zh6ED2DcAqf(ysZ=PvNmdA7TFce8dGm2q6?grK;PTFcI7BdX(fb$biJSK^O!r8VWz+ zc>%Y(Hzzr?yu}pN#!=skTk~%SV~~Vs9*ba zyV;S@c~nQ6_Il5Po)5{p1xGpclj|e@8gk`jYux>Hg?dThln-`=T1KUX+!bHZ5v$avEq&-zdJ*EuHFkG zlnPNvaT;7Lh`da7lF#yO+!rI&6I7 zZfg46=E3c=J&8MgrLds=Ej!qf=YHO1{3XRp;@&0UtC!MgGdxbyJHsA!Ui<4`BKks^ zKTAUzgBc8;@VCr9dPFg^i7$lt>9m%lu^HhpkF{yAz`k{ZWg9rb<~SmuibW!`oR0rIRjzY}Hc0*=*ogAf>nAss zMl$+8YPUpUqUyBQmuV>eWJZR8=WX#Ln1*?{+(y@@;$#@oh|xo)FSGODT1Dy0BDlYj z6bCx^9+lgPhAS_y@BdSX8TUXi`DPRm0UQIr<{>x2dlu&*G9yaD>gU^$L-Vl3>Ypor z`TF`A-qyUd0n>}uLb&nfRX~nH-{K}kojpx7N+@+@9`xP8+>FdlSe_{8Ck(o{=4$;w z$+KqT{X*~Hd6C6=uXe7}XyCo#*heS1bUoEjLMo0~*nKZ_SM*Ivlb6+IPmrJMtjSAp z6!UL;vfgcNtQ_)fTcl7!o8Hf&o{T7PlGIf=jz5V?*yU}4qA2+Cam2Ba!L{ciZ@Sf6 zn?6Q2?nE^XPJ9dduq+d?sNpfyl@UC6-C2utoi_i#x&3={Zlk)m2x*YYcU2PxgX@dj zuM+GRUAo*BAeiB@{*{Y-Jz}fs;F*nJc|r&Gh+3DI>j){CE7a4`vvi=PaugAzMAQ;T ztv??jD!zF7W9f?<9VUtG?bl5pyZALgk-W*0{N&vj9*0moy>cZ<>j78IjF;E|={(4O z>tv%S)i7N82`r(sglD|0F62(O8 z1Fo1Emt$5Cf(YVok4VL6M(Yol7U)ZKvi#+*(v|T~$AfCs+TT1@4@)Z^GUN&=$f$n# z)ZhmrzdRN{!|coyf&J1L9TiMw__c41DC6@^&z*f81&1$I8W1Gy!AZWTy`RU zhXLB|qL=Y7b469(o(o(Ufui2XUNWo=fYhoT?Zc}Y>sT4yxQ)~e$AYN*S>eK|SPGF- zw4yw8r5;Ui@$)9|k!XK6JiL#fNq`S6w<+)bnD0Bo7T#_(&Xt=<%?#OA;EBi^750IR zhpbG~?uXA%%@;SGx1IOPu_jIZu9K%JNq6|5RI{R^Yzam$1F;reSFR18=|J6+z9LmYLEjX5XqnZztP17G5 zs&DT_+?hxwP=9M?tl-?%-Y@<3iQ3lXyb3WU=zY714<0zTn0txh_7NZ3Dp-6wLsQnWUhi4)uYS#0XQ`elK$OCI9^07lkDu?Ke9XL=R$S#(tjY(VFKFif7jbxd&@2zO)#s^>oj|v(Xm?!v}*OEO)kr z6nzbzdT<(q0G|s>&BA?&M)(*o!w&a53J;rx;yY;ctdY>rJBu*&^> zS|<5zc$U9KN%DIP9Ci3?v8k#{Sp8c5Fc;_2aH}>`{BC99IBZ8od{50P3#vGszEZA+ zjQ*vUAl7!VtB#;+EhgQ{k!~fV_{?~Ia2FrY9*Y+CjjJ*=AZzZFKQ{_|puWF!Nex=f zy_(TYAP)K&iVWyj-|)ejPy+;itA-Yd9G%q+g{lk0D|++5>==G_{Vt@nIu~Sct~mN( z7h;{65s;DICbTML*G)Mq(@^!47+S3udu)36-IwvVlQy-3N}nFm&nIb<(4ESv6C+tD zM0^FRC8IDa1tXuV$wiKjeCKcb`7#k|{~Q(_iJszi&I4uDW4QI79%~ z1kdG-RxzhyL?5PPp#+O$8_*b%vf5v{-*R#;Dg>OD;AWZ(b_=<;)Nu($aKy|{@Ver3 zl7jY8u+5wHMJXR2X|$@G1#dyP!?pTdbQ*blRD6Z`6eu_P$;9`GYVAg(^2^B#s;CIH z$IjbtH!Ns)OLKM0X0wg3gs<5M3=P?}3E6dmTxvWX5fV}+>Te^qe<)#xXH0GPFr-wa zabGs#>-=?HXqSuqYU1&j!ZP^pfl=VLEieD z%qxMyh2_A4zVFZV*1^QUV=wdmq1W@5oqAbkN+o(Sa&PINt?B`YmLIx`Qv|thy{_U> zbsr4BFgP}CWR}>Xlg6$ZnuhJuTFBH|R!3+{nSZ%)s!RraT@{XaT!ka#2HM6MO;cWI zKOhBe@)Dk=!%tIbIQQ^QOT*Slp%CyTxUh{~^|w^{8mNi*;t)L4!pDnw>R5<3=Ys|} zOh?7@n@>u!V^^3E0ZnDGv}|=G(__=1FC!nGLWc~raQ%E#UcOs3=V!RS4#bDdBQa%< zhMCXeAGZ)!`Ow@hW0@uoy@WLbD4TzuA@~01J9(z^1obALsvj3tR!D+gz=|s6?so-_ z?0F|;3%ta-lrmn}8jkkqtG%=B&U;ejg?b1qr=}WtYsfNn+2(HqRx#N#4BYh%9~63( zLaaey)pK*!hsqN-6LZRwUoQ-5a2ZX?T%ZSPE`LpWtTs1L%MJc0syda?cSo;1Hrt54 zcd=_n5aCi-uQL)aecmh$4o(W%-4)o8D&;nhdhjDQm7STe_0Pv&?=uqs)ctwQSQTk+1~|2f?!sTlw+g^0U?$tWrKt!&aV|Oczqjhx z0He8X-M*M83&FI?$px2B4Fx9Qb_t$t;QrtmTg%*l{1Z?&0wZ3a76N!kkG~livZfcJR^|2SxXLwRLXiLD|w(;OCesgN`-FT%i zp-QnInB<>}w)vy*RZj-dcbPpto=xwj^@Y;i9;GI*{P%P6`hx|06pyXJr@X67p>%Ux zso{l<`=?Zw7d&GWzF|-|ib}ylDK2k&mg{w-rRj3^_eww|t@JeyTe*d_osO>kbJ6zgy}qwHy0%YFRX}Zq{}zr{-bzR;XawTKpxt{`)`$ zaP?QfK!r8(Z$Xug0cyJGYI+h{#sw&c(slD*T+~g#rj4$=e-RVqrSvv>Jle3}F6ZrL z01c8{$~Mr0rq^<|fc$y@rDIt_+Dm(Vh8(QQPwHhubIdO1Vis($uW2Zdl7Uj6O=NDR0MpLjC$1An>&Z(f-gIhUaNMM0vi_cO{}&p=J@o*AM0!kbbR z!z~TSZqbY{Ile_>#;3WfWS|mYZ$V?i_}%O% z$RH5CxAr`WMB}2Y0Abgdx=MgISibT=$OD6%NMTpql|LmE6Sb#Y=1QQDJvWUO8iJ(d zYx0-gaWxvmnN~ptc|c!E`={Pe5TWB)XNh!O&l2%LWA3dr2#GDg{lhC&Js7z&)~PWWq+GGkuxI-G-|RiaB2dka^&+n>fF-kBuZxVcr>Hy@boqc zKW&x5?oPNjiucGPR?gKM0J;%BDMoq!yT!M&7%jHSm&drsX?$edU8WeKpP`8Hq@dn1 zUW~=bW!Id~EjG8bgsGeZebI!AmZN9COH3zEr}$WauUI~vZ!^p5%XJ3UKCfU9cuX|c zHi79GZe#A~G+a@ckwX6BIHv-Ksk(qV-#k=&bQ_#@`p-qVoiZ8c#&UpJMs1fxAjRBI*jlyTu>kB%kxE$UNEc1sNU!<3kkV##w*BUz+O1wQ6 zX}YRs8Y?sO3UfXM3T2%&G3^{h{w7z|sddm@B8TtDcH%ECWKeIjaw8$1)TpVTneuzq zkb1T1x`2C&D4mW)l#_OKr>GcG@n`$S_bUQ}aDg6Pd5r5BdHPSElA_FL(pmL)bofOV^QtL8KxXzt?M zXuH&iVg>MNCmpUv=~2tuoJBwy8E&&*^%-LRiY4d)mv!{C&8s`|{TC(V=jwUmgvY{v zHYd%EWEG^xvAb!VdO1g%30ona3QSZq9~A00kFdF!Yc;wWQ>2T3z<6cqio%rGeab5H zV|j#YQRZqz@+qBh9)1Z%OhMF&)SR*{T@v)`gz~a0p406FRpC6bB-T2kZjRLd+y?>7 z!C7(~x*Ht#9TH@yNtV&}(;$;|N=~0Crk5Jawtv+ros?OA)_SG9zV`0^8IKF++I3=l zuC|0WB;bSH7uwEHwmE@}>fK$H&e4lA%qt(oD`y41RUvz6MX5IfB%Z9IM3>&_Cp~BH+_6V^XNl5h)bt zMohIZ;%ek1TVCTd1^jgbhoI>bhr`}2BL9J$xGT(M+!JSIxnxT zHrg4Nv(#CD+!Gon(44T2S^a^~0?8ET+T9WKum=`+cAZ)r7c+PzVSPa7TbBFLnG-$! z^ZOz42_5gZLI8gYSLBT&s;A~=qBr6FOSGO)HBfI-x^HJfCAx$WqSWQK#Tfh)cnmyp zJ~H3@C*OC|+nq1-01t9ppxIhLck%T6_UA}{i@B-0mI|$fmGiToHi~+drJeJSf2~GNO^JXYFJ3lHf~36!1eq~^p$76X0dOZyk3Nb( zmCgeqRUf+N4K)@7MnC?#qmHyU1jh*>)&;|U;D)~qZkdKNQ-QdrKnnPN>lzoCY<4Dh z>G|po(vc5@vH0rfJz%%G0!8KovHWlcg$^y zt8Cit+A@a7p%-q%w#i48jAruP|0j@9%jgbmHe$sG9QL%qu@in}m%WO}ON1dvVya71 z-}g@a!siV+3G&HHs&HJaNe-{T$su}PM~CQ-$te{@ltfDnwiTvM%mAJDvaYVyTKc2U zc6{Bn;n=oy%(8bqjVkD?IyI8|1~E%eFAJQHuYwV+u*3i;pxKP>VD=|1226B63jtVv z8DaXrcFmDut%`KWBa;U;Y{PW#z>>%7x*qr{w=pM)9I38fZ$#=C-b4pw+EtYS!IYbK zOq6)TQp4j8SHF6^R7OeX@ktv;6p1f2P%jJnLU1(507GGK;hc(^2RN=F7~Ox{je)d3 z0ywuIiFef!V1K~5(JxA6KnB?XRg1=al#hwB2J8rb``CGKU=!fmj+}Krj+97^vJe)- zeH|t{jJ~sO)C^il_rb8cS>%~jsKSM{)|}#BH5z_4eGM6efiiuD9b`SPddv2f0bFJK ziMWn+$slQrkIm3$&Sx%`c~dV!-jFlVS{XBhwBUqwb5@M7x+8I#d$=gL+IrhTk~k~} zn?90K-ZV8aLi?%K5jpL3LBVEk1aEc9Bh5YRQX|cYb4>_w+HmDc+N&*@2C>wV9U@D z{H;rktC6AGK#Og!;8qx&bxaIe~sV06!W7I}l2 zSD+g*#i@hoJ|bjmVE4mPYpavwU(Y5zn|9Gl!7eLpyu^rw3LL=Su+tY4IyVRFWBlpf z=jssU3fCFa5LU8L!mOJo_U;>M()&xtG3RA9d}5cRCMl9Xqg3| z3hZmcr}0t#z-T%{<_f1L3m-Y>m`ozyW&jqe?h?lf!aCWT0!Yam4Y@ICvY(;)B>yp> z91OSjsmH=%kEZUdI&mNc=T5)JLwG?z1mAHlrX+aYwE{yCxK<`H<}y6V7|xJHJXx7e zDQ=6LJ|QNa3Sibz&wYyvS^Hhv`$eBRTXoj3f&6W@oCx9g_sQriFSu8WCC&p)Psp6} zY`jTQ-B?v5Z`H01)h@lLP)r66NHL#gCPj^jB2qM@(!Iva#kL}^Aw;D7^6OXWP#yWG zYHGc!_ASfpko@n%9$RT!`RBM=xBsLJ=N?sCA6F0D)Y<7BkyK2|XMA4wKx9N266ypF z(P3IGoX4=TDh%4x!nP0{I^o~0{;oJWWN7tHw+gOM^;u>#S-#0uDd!NQSvIk)*q{~; z{&=PfRrM@4Bx4|QHdIb;@{Gha&QosXXA(SI42hq^I~TTP#?Y+4AM84nDF_)^ z=H*X*K}N+o&F@lrIC40Rh25u#J%$-`1NGj2BGS_jO@YEKA3_l#NPE&`JV_&gp!Oun zC|M1Zq9md8VI*X|Tw?qu)Sn=3nRGf2%AcP)Aa33q$)c z&|R4X;rAgp_SH0kRF%Z(A+^qx_50eE<{;;GzUChY?LXZ3&9A{{YR$J|v&k-xlhv)^ z)Caan?Cv@SWuJ^L4P1v)Qwz;yxtv%8__^pN{!CBWP34+D#Z$1oncmjK&uH0jz z`?E-N7twkRAGjS*k_@K zfs)`20+3H{YV8n+7*PU^z=x&Qm?zR5n%o`Nse{|7Q@^H=>c6mAQ9uplcvJYB=3&=7 zuACju9-o_nn2S2aZ(oX9jm`)E)`+u8j{2oYHnz8V_XSckD!PMo(1mm3#MRTpsk~r> z))c3?SX6@FP0ypK1qdjaFdWvWS7S0y8ikmXg5l=xN!ytqHe%Zl8c@B{pcX+U` zVaOsL>Z|cqj|K#=2r#wqkyZc0onKeZp6$2MXRL4<>-jIV-PqSnOT$51wpQB!iYPO> z=1}z251E5qfk-vtNxmOvc6`BdB$=!kmxQ_kvXNYvcLI%NkXs`sWiDQG5uueNB7lS3 z!vVIb?6a4{kd`M2X#uhWvr?RE;aVxk;lIx~#8!n5LzWm8!hULXDWxRt z$(PWHOw_8UmyFGb`L7$TzM`!1$H20Q+_mzWbIW5w`x#Xk$fbwvP#_x;i|xv4X;N3} z+L`L$$BqqWhQ(Zi|yC4HlX>zr2sh3m~cH{qO*2kf+At=GFn=M@l{UWoyv zvjzwRK;m18;$NArGV6KE4XTdVEOs0>9%e=*^yD%A;pFrVJ{qU@+h(MEe_dLA>2=uW z>ETW+-fO;Lvs|RriP;c+4oL7vOv8V16tm;R{J+rMPfGBGWZ;UC34TKX||$#C#D$*Q-o2G{MF!{-KQZF<5UWz65Kl?ScHWNJZeo?r&tT|xJc;fV@LC>N;+siYrVl5TsW(Or7LCSs6ALJu?;%W zBR^1W{o2xvlcnvcRqhkFyvq^o5bb{2c01Kdw^|AGtHWRLIt~s?>bDkN+3*~25t|zb zwg5Xb!?v7ilt$gR!?tE>O>+UvGBPfY$wHRd`Q8a#S(%&ol zmN{rQd+rRs?9Lhs&;=bEe`=2+ZF?ysrlOhvNqXTgRCODJUqrOtlZN7oL!h;_<>8lb zv}sP`$1iRW&27+LQgcV^xB)*@f2yBjF~!-hgojZcZf7|315zf`Qdw!?#kqioO$C%- z0rWtBHCxB#Ir4wgw@{l7T}o^5FWxs->b|@2j6#Xqcrk{(m}R_q<{syV%E~*xDE^rq z6(ON0S`?YK>EMLLMU9dC8HyH591nNQOKfxR4Ow#XH-4}yG%l6};#V-B397m&7+S{4 zNU_gvJ&lW60nh*m{gD%CuMCVXNxtSd1)>6mlT0@jY-w_a{0`-|vsBeaP16e(M>w-H{og%k=@6GPZ`B8d>IV`oMuW#Bcs zE9#^-5F8I|%WrEJCiche5urMnX;Lk!e*MXQxAcBF$q`{5~@=!RwlfEy8ZK&<{65E~U~KfRgi{)}5_7#*E5KHV0x91qnnXvyo>_ zm3(s)g+KE;+9LZTazSA&lmb^t;*c=Zf7>qe zbz#9>@IQ@W`q^IZp8am=Uh4GXPME0)BwA7|sbBW~@st@?K;$OIKXr!gTBf^?Dge%R z=`-1*x+Yp%alMiv0tSEiK)xxL0AS#C09lk8@!k6y?2OXk(iX0|B?q1bMs~P!1vfa` zf$TUO=Kk88vzG+q$p{0}=a95S0DB~pkzqJebb)*;X7wA8=I0E*n#wCR7sMzj6-;8} zK0*NO-jA{e0RDUHu^~)oU0nG$<-f)J{`mkz761FihuL+ zVX9hxR7_cA2$MtH!h!Oh3V`3f;cIC^=xL*+yD=wOoDN?*F?SHiSSshN6+tB_8Fi=h ztx}(RbpmYfNw~|yY;zkq^?8HjV>2hLZd$eu4mFhi;ny|jf!N9us4xU}-J@OvRAQJx z;c%_^{L|SFVwEu06RHUiG2xm{h240FF^b&kDH@{5#Z$h*DgIANUfBG#ukg3_o+TQt zMWq~W7Pxb&roC>#{3g5kfFs!NR9hdk{ zLIlV<|0*G}QpM5Jwbqs36C?2Y0yyxy&JsF!M_z4ya5JR1wS972sz=uI$1H#M$-wyc zSqQApal9H3%G>^ga$hlN5{JgU5HuZE&{<4BLsp}nk*_KFy|w)?Xe;AYedLwFSK9pN zcQiP+)>eo5^9>6PzXQ6U*B-xZQRY9bEFsUpYX~?3PC=0uUNHfe~L@Tk}dYg+?$=PBRRuI=?Tyd4%5IIiSZ8)Ex-Vd+I=w2P+CsRuI z!-5Gffj|GE#2L!}Th!FMyfa{~$q%XlWapFL1+c%ksB6OEvE;2yMGH~QS1AF%jV)W> zaoJgBECbx|ZNQab18;aW9>(C8u)e3M3`vCzh_HB@Jd1TvF4C>kaAG90$lcA-3v$U4!r)#(fQZm3Io}ju zjzNCu109iJC(B;nvTGy4NME9PVlykg7#AtL64}TlJy|Q0Wmc{Xc_t7kPJqz^g&s9J zo`SMgu&reRRATQFbkH>qBZrwFv}=RtpFml?boP7VsgiJT@8G(JN@cSl5P(%GynbiL zqWoZu3MCK|LKxmMY1+<`d%!jEn<3$SWX5rcBUDOzmztfzP&a4$_stA^k0u{d8nivt zVN3%kT-Z0jiXXqrcZ4bdXk_<)wJ*w^Kwb&i4u-b*XOp?d-w%(?(ATN`P|=7?PGU$4*t z28|vhI6sw;>zQqBZfBW0i0vGA+bVA{F}1y#VRU~{h7XM{eyJy^G~sUX<7Jy7U3Vz4 zm^=b)?+Q3I;PiG=8GbYGs7?qfm2g>O8}g3{)m!lV6`sKkc_`Dl!I9W*97 zUN#`gqVb7X+ctcq+h5Ffpi{$*fKo08Co%iaU76byjF~ybSXcgj_c-WF>Y8){a#+(( z{&2;)esg`Bs{YGa->eJ*J^{Z>ydD-y1!GF@J+YiCU>?eUT>)$@+RCd!mX=X3FW7R% zL}>s)av(px;3TL505iC!W>Tj>0YG9=Y9eq?3heA4v6XAn>7E^Ap}(N+ajZfF)SE23 zJ!UOQq@yxA*P%ejRQx)}hmMQ;Fvl;~k9{A6$(xWH+T=7$Ad_kb->fuocARKa9Dfej zhn!4FtkI-gW5W0EK2#N348UE8AsIS1&5Sh_@zNv3t*dqB9T;Vuto+x7IUTpf%lid{ z(OmXvlF_L?Hh=IW=240*e|g4gF*)*qjoss%3pW}*)I5Fr)6Z|hxW~$QR;1!Ns_%rP z7D{e`G=L{qt>_A{Ewn6R;=&f5Z0jhx(hMDzhE+kQ=_ z*(lA$74)_0#IS$)zyp=6gAATw5rlCC^0868z=&7*Q+$*tP%&`{Zg@PmUnKVFWz8#` zT4pLLGTryueUsr)Wvc%Qz<F8Y=MM?u}*M?EO<0Av|;o__kQPIclr zNKd-I-lFs*NwSQV zoRO4yiyv2l?mvV)Jy8Ipgcp3erI?Z5e=lo=^G4l@NPqen=8JIG$k4GrkRr(1tvybudI6l3sJU%=UVHtCAUYF=56>d^>C`;RHT=k5zkmAiWi*@a>T z=xDzd0B^5Dfr3+yV_e)P;jF|Tm*&;zf~~a;G90E!0gz`YbIXX$f-gZcULceohYzWY zU9Tt}a5M|oAuedkMq-bWeTZ0dRiA~W;rs8y77E-~Y%y^Yhxtxw@*k;VRsI>~4N{>4 z17R16zHgUeB~xG%N{9|9VsLrf!8afPUPBcY@w#7pFnjtjb9&lIv+;97x%iY~X;O7t z+v5d$5_5I7AY>2to?t8Qfw!-JR-wO;gr)4`45}z%LYMFy65OT#6~#A^evBmX^0oC(IX|1+A3qcZr{V zRcZ@FlO>L}5I1H*g@Az@_aq5A;ogMrn4P6|Mmc4WUC?gzT;OvNH%pH@3OCbDW#rN3 z!>4nB4x|dTtGQh{Ru0y)-a7xKR~^gQTgy;@ULO-Ea}geQsCfvlcL?7p3$NcvI^xyj z5Sos%CfBXiV7n%Y1k-k<_ADy$JL02Q^zD6xXFvErCV->Dy)c+Q33{yzxGZal*XO~x zjsWJ7!v2r~UvL2sCtl}*5$Emi01FbNT|plS?@U6f=SBSBk{(dueC2Kuhs(X?B-qw8 z5$(dqh*!>5UqBtdw;Rf7Ea|R3e(Oj5AG$po5=U+h6<~*!B%?E;j!n9fgc2tI(J&%K zP77LuS@TgD)27W^#`_r}&2pqaJZ=xb<63#+y^A!-9m)bp<1Z?ho2v$z;sa1&HQ#_B z`e|yLQ%En+cmp(W>Gx_}#lGXfrIaM1v+~UEtM@wrYyod7#!3h`8NgoK-m9LMg!ppB zvb$3mrCy58E4Yvfn1Gd^?x7w-&&4av@@;JEQMSG9#gT#WRS@DymoOopmwy~wlmMIJ zs}Z$H0DD{Z=Y7vO6#!J-aPH3W^76d+H@J{n=%eB;k@c1(x+hKxH$Rz&X)~UbeJUmE ztl4a@w^>y`(rVOilzVAeYz7dJTbA*rHY^lG00O^|*z0SYo{xaQf6nplbELfxkcssy zf0RSo^Re=;GcV)#K|QR160PTS0)(~y!=KxiTXp(X^K{PCAT$k`@@CW!$PKq=s}%*- zA}bn-1V9Oxx53M8rvWV>Jh3_vrUbUCcexGCza{%I&x>urrw_t{t(9uceV3>FX37Oj zj#7!PV=hgrM|~3Xktj$B8|Sjx-C&vl5OOuhZT}+F<7O+kWPYZS01G=a_o`){i4BA* zgdv8TaE03R7GH0CVA$daQq>kn%v0A);)wB2)Ke*+%sz2GiFue z;Qz#?R(#ts@7mk`-9A&2!wd$0l*Dg1{e7Si9hfyk7r}?Z#)Urh5diw4IMU4AN@1bJ z(rz)Wy#2NCd20kHh00G}qd@9T?!sMp9A*aahJV1>yN6M~i0paCbDk7Wmr14HB1}Jc z^G^<-;GZ(?u9xGv9IQ3b7yH-I+|~*yP>mo#2~tX%!aMB>XxP%vy9Mz!IHoS%3Fun+ zUAM+iv>V`f7@pdokbAGglJmjhvd5|HfY!+W?|N=~_wq*O(1pPKvn`PjSHZOUNoG0M zCrbI&X`tX320W+TKQ4hQp1z@DKgiZ@1T&lZx;+*LC+2L=nVLQLZ1n!MWBme(6gZIb zG&mkR8h1n(OYId=BO;6RYyhgbP*V0oB4jvVj2kotXc-=Al|50<7Mk`f5!yaU@LPZo z1U;BAI!6R=x3q4Q+6(W-&YbJHu?$~pPHBS!$J=199lQ$R^EnLg7kVb*h zT0RGEt$j=dTs-csqpftih2piH(gY!6zWFrN*4_O*Pf`i&tf=4U%IoVRxqr;Az*N5_9HQSuPg{XyqZi4;LSMmOZH;xI8u) zgg5cJ1t7EQT&3|koEawoFra+W$_ikjf^9&^i3A|K!#y7yE&#T3LcAcC7M&%#Wci`G z9ej~y5IScUD7!fczC~E8ZiHx-Lpd40t$9G72?Ot+UN`}&U}bQOH&|Ir*4NmI@B{~v z!$NzjG76eJ88Z+90j0P&#`qb?LDQ%ca8q{bU8e5JCqnwd@s^koSq<+63BuzBc#f!s;B8@=S6L~7S&7mZ!fVn`_ZnZ98U;F;59q+58?TH#6&DYdL5`FtLkn zg@a`F038w%Xngz6^G67?=DLg92|XcVEO2afPD-VfYx+hjX3Ehnntk?h-~3?BKes%9 z7RNc|E}#I|#VZ&tg7~Ui-jX{tkcYB6^<-^%;f1-oDnB*;Ww975w8wSg#|Nm-b zGwxm9Q0_a^`(et2)p+A93jQ#yQJ-ff?;afPcL>QHl8`9=DHjQNH#KM%Q$efUTe;$< z;3IY17aMVCIohzk*x{Q{`8xT#OGrxt%KD_{Y3gcQeg66=&=%z&v2CCkH(hr$6frz< zSDzZ|g6JHrHz9BC8q|p>0Wzsc(AkpWcn)RQ;K z?1eYoPZd7okd4q{#gQvCcua+XAy(K2x^`lYapFBg4gAgT=4qG~5;-h!DG8G6XycH| zDl!4t{aL!VOeLRQqh{Wy7G}yOgGLbaRj0vU|D2j16i6+sQ8cRtDv&CnhR5oUM#pKv z5P8=fqM^^;8*n=h&c<0j0-(VA*fY}C0*=28TXd#tm`D7!^j@IDjNE2cFL$Cs>GoGb z9FnI4sVX?kpC}?{;nNR9emljv0?(VQwuTBv2TOgxCCvcH%ZQwRF)qrTg~4PKIru<5 z0P@0RnKJ#x> z&%V^T2NBa=tk(&uU;+MIRO~FH>57?>W{_g^i+7MYnsd_NcFXS!=SX<&R`r{Y$52JU zCsjp?D$ZQXsVz@ezax?WYL(P|M~Oq6kQ>_mHAAL;7vNUqKPLKI+m2axa4bw^aj!ST zyoXHUI*v!Hk5;LOli33P9w<*}`StrUCkh!d4fL=X5=?ZC-nujD?{>a_o!&0kW~~lw zeg(Bx@0@%CA-0-HMnj=Rp?{iEM!Ka{o{|$mNznE?|1)y1jOWC=yMx9v03fRkq&XJN z(ML*f%@?oJ6<7s~p=(<%u+D40W?iWB+wER^LM-o$!k@eYB&23Q-BwY*W8=Q?4;N_# z$4%(HN9(O^FdkMJ5w0&?2oSSXN`U_#xSKZn@iF^o{#=(s!39<>`nSpV_i&`WB~URA kw?w=);56-MIye$9(AV`K_w@nme_FVC&G2f;75hj32j%SUPXGV_ literal 16674 zcmb8W2UHVp*Do4EgrJmw(xfF=Q925Q5+V_ij-rCn2?$6B=`~W75>y2FBgF!U^bP_6 z1rj`d*6+Uin(hM+|bYkZ-;kSv^2bXYhp6V1Dk9FK_t&|2GkH6pdTcbo^^arAf56t zxEuYNmxqTlWZAIwgxUpWW^E;Og}bi?U6d2ZI{FNqzzOS`kii9*7bGebVo46^4}&1- zhgi@RXpS&tx+dMoBJPkuo7M%mjGUyT3cNW!KtQ*0;S;#e&pFJwxKN{T&P-Q70-Y^ll{b$=S@mJUQw;!!T&HbHYjlJz7q=9Y~xa4K| z^VdZA=ZELt4p!}kHGP^%=quZb>Bw7tH(Gn}?E8nQS3gTOUbKB#{Ac(pHG-Hmm-wq< zJFcr>HEo=5#B}&p{{@(F% z_8K$u@(2&lQN{7`vH#TZaj-3&OuH6C#Nlh0FAVy1fEs%Fwl5=?E1H+*=dZ~tLLmOx z9i8USyQP5fL+tMvJvGwNR=~PAiCbE`SlNjCIJpAO0Rk!cC;*2}Hcu_#K2DC#9tu9n z!hcsN0LQe`62kDmOP)F?3mfU^!!a)IHt_4>*Tf}-Q77SWxRSf|V}-jnZ~fPH;FGej z-P5P83KA0D-rnNgGU6`owh~fEBvL|BT0&Y{3|JxN;p_a=(nrkMSn*Z&}e?RDd>@@oC zoznkv=YL%JkDat9QP6X@w*iDi69r02N#cJy_h0LkBxrK_54rtIDSyubT0xyulK5X5 zMxCTH{8j=2DUNE~ym8NmZY9vTRBXWa{@S_LSDu?{T$-*Y6f3YK4Q*ucw8i%eK_9B3 zuE68(zEJo12*>|ns1G^Q%%`M!SKmYsesBHOZFt=DdEMWG#m|?~FN{d9L?2ds@_5?y zC`GVtd;X9zy7_BosE+9V$fIjbwjN1*H?dg$AU!oYc%$%meOBdQA^4uDnb`xwVe%Ta!~=sftMo z2fgv{{Hs*G3Y2777cP@P6JSM9YfidR%^@8-pQBJd_MS%jEq0VUfjtpv!#FJ%$ z?~WJcs>HE7rP?L1fV#M3?qn?#wA|RAJ${(8*o~r)b5*uo>wW4jPE@a}9ac+Gb+}N5 zgoBOt&WP_dC&g=vzPVZ+^cm>g$D^orT=z0b?T^BwN+P?XT%HDc6^P1a#fe?Cm>Brb zL)e{)?(fx82|UMb=z6fRcHjHBF*t90y?mljFxR)%Xa8Jm>uiemmjQ>P`a>MseYRst z{ev;;JlofT@%7(tBp&Rf9~<_+-U+VpTP{}rVvK(`em>57{EJ!ep)O@OROONK?zehV z(rX>5`pCCeu<;s68FrjcE=Wft529IZ?!bWw$>?n=hnE?J`6nAh|DDu)@*Zy z{DdXa_>Mw?U?QBQoipHD*blX zj#6g?=vG0i!F%LfTS4mBqLUuV%v7*uO^Ulx{7a?TzO(24IGZ6`&=&cXH>8Swmu$Xo z+n+Rk6hOJWfsv268APGnN}XV<+xxb-7C5=K6qkW0m;<9y<>fZ*0ZKKpA5?lGMVe1lnLfECZG++=$S! zEQCGiFFgKns=xav<+#sez7#fz1v?rP<0S$M_MknZbY&+pRwv^c&VU27L!7RRyVP#* zb*h87U_`r(FVk*xjrSX#Mrcu*Kn;5VCZa6|o=J7{ibacbkkUK*%^ z?bB4hIe6S}r+)`CDEoNr+MxoM^Y3-#Z@>A^X}eWs>;57KrVs zMT3GE$|jgBENkf}g{6pVKZC|_zOQq|ru->*Id^t+MCMHs%q2GfAch@5KO7r>OM>sDm+>!3@Z3~f0N1uTj^Dl3la%&k{&;;qA#!(Q1><5 zoaf1aU!%zcO9tD+!|xI&xQlc~nF8ilguW1h$oMaeg87wK0+zn^4TZ+{57f!6Jt)#? zZXEUVWRK#aQ(_FU?OvZXXWY%@NqDcXv^Vp5tR?Nv!n%@3_r;RP#Mk;<4uJ}7Fvh?g zs{oh%k3zX-#}f7Tl-GB$6w9x9K~r@T#)nhg2mQo^6QFEn70w4Llw#d)8$|z|OSuE) zd+wAOtcyyZ8L3it7aB6qk875I?B*1GadKL{^l>#W8h}D?*7G#&(CyaZ(^Fh0UB+moc@r&aJqy|5x2U~B6+>3L?=yRSRD zLzFT)#T#`oExGAXOZt&}wJMaE^a7OEF=I+P-2$Gc_TPH|OPo0Wp_|Drb*;jE+sR@7EgRO1zea4U>cTCzqdB?yhjmM)l%yxm2bv9!y*>BRgLC{A zkB@LWmhY2}oAz^~>o<~e+u4rM!av_o%OwmekN!+NSSvV60v5R37s`#B*s1)o*ouGL zyx+!WUT}1{5^NZ_{=U#hh>QBtUnu8@D5GK;IP;^{=i%$Lmv>5_pi_>Q1NMVg@hqGA z#O=s#Vp~99TR{Gs+3h=!KU&ObJRKrnqwePRi7#Keg9%@EzjNm<9v^(Of4=4)?76p2 z6;T?cQ=+WC7Tu}$Hp_FaJ5c!&Z5UMgg|NSWsgR^{&y=uqx>Eps_$Ju-6LB@uU*bV} z;7ag=ddjfN{q6~*@~?w$>L{bb!PhFkM(JwF?}OI;bO;{PdBQ~=%q2-A43CGalPdPA zdOFs8X%Q>i!y*DMzOGT}0{LLhyz0NuTNoE9b7m+T-swi@s6sZPOK~M!tD?{D}ey z>}O8!O|)9b?HEUFWar|bx3RV!@BZpw+xzyq$?PN;6!B+Lj<6mZuj|f8=YLt?J{g4J zF3B9Nc#oP!ubCkP#t+xO7t-%4!uaJ>57nVQFrPnxJB2}n^~)C)g&P`&-=y85AXjSh zoC3r61Z>Lc1kHoTBU!h59@g~o{9}MajxDBBW4l`Ll={J%XcaN9xUUXCA#Qx1lRaT=}hj=QAgNZx%0~@9B@l%A6d- zIhPMPP9-A-gf4#EwnYDjCD(B=dM={;Tw%5;S3}?S_Rbdjly9CB%7mTO_c{O0)bM zu6gN;J*%XLvVe13ficxY%Lw{4GWAHum@l2!>7=$P@Qh+!Q*RqLK=kT32z>!!3!e9f zn5&j$7Ix3QvtC7zOhc7>8m5Tfvhu{PY`KlRE({V>$`-gDkiWtm3jHmpFKEJ-CW}ff z-=zGe4>myr6C;CLh}`}xyc0u_T`OE*K2m=%x`APbv+rEwE$<7MW1ojAB0l%;S-6;U znYUngdc{9gN;#>J@Uq2wPTCZ*T876Z(05k}ri= z->=y?ovoScQnrYer@YU?7p^T1f9TmA>j>E;`oQJNs(CMnzGuVkiYC)Pl~PPEwC+9E z0~qw5^U>#PDth+C2UxL03+?nyGwXrKEkCscQ!SstAv2+X;Yru&@QCINr!LT7m%o6#R^yW z9417BeVu3v8NVd_k@-aTYC9}*17vX|0gQDo`)^$m z=&Gxxw_9blC6hmBzQ!=n!Hu#$r4Zr5+8P$3mT_p+ zbF$wYh(j&OH#~ZfpN-=JE3P>>>Yvx=+~NQ;0YQ)h#BzTGb9QlL@E3#o#NasZJIAkU z2Y(jKycj6qAwqPVbSmPdn!ay+dxqTa#*K0LwfJ~0r{ckHLyyV~u0jH!W#-J(gh1;9 zE2*tRRm}<8f>(}_g4f2sl)_zgoR!9VY8ZvK5f3kO&3csk&-#ehYCcySN(Hg0$f=5) zGLd213CVW22 zsA)s>Y+}b~Srt;1fSo4K6-T7{U(Rm%{T23yb@FLd;jH}LZhcB*nyf6_RQgmabucJS zh#X>WCp7qWu`n8)4Q;whmrQ6Uzb?HK5age@$9jIi!LvfIZscc#7=>pfdLzepUGe&d zC1P|Ce^Jg$pR1=R4-fZu!>m>`f;M|149UY0Vm02-vgsW#f9VA|{t?-%Qm+a&p>;?0 zA+vfh@F?hf!ZbnagV6LAWg;|i8I*!Q>b#quzk+Gy3us9>Rgw#;I&@+E%H&fLs&o2l zxpHiQODEtOAJW|8uwsGxyG>IXm4X0W$LM~ykJxg9DKdpL;?j*_7GtX`FY{|NP4325 zV2#(6xW1Jfj40CGdm69xY(Gn*zE6>U1*T#%A{Qw(R1GH_-MPD9~j{?MjfrXwlVz#&6)>u6^ zn)jFpI(pFXdvT5B9W`=pjnQPv1!{6AhHHGE*k8;ViS;C}8uy=)sJnaES-(qeJ7Jj2 ziEH>I#Q4JKj-|$=BtCEmmObSrbCLW$ZMxW_J@^><87kV~wuq)~6?6!UlwrQck5a!# z0OosgoL;^uC)AOWsu=NXAhWMc6|I&5M=j%YGsEd!RssXBYBj$;3IGz&<@o)c-z@Eg z+?Hz$1(}OXI7#pou%+XRzH8nf9GQ7{>E_GlS97e`c}yUGjEfGH<;%YlwsU;^dm_h& z#>$(QRT)+0ritlKMB}nm-G}69$);Wq!mIaS)v|8yqlLFKU!)LIUYZ53M@K@pUP)@GE%W}hRzu@@v2B9gETt=M zN)Y>ez@_+7ZD&?*`q|yK$Nb=I#n1z`lYy(kZ#g;&S9+YDn({Y;uCFVS+=RUr+jgg|2OFAlNWt&mSy7xU0Og zY|C*qfjY`=w+87Fh^os=KVd7e^h04z9j#^&6mvZkcKIwFC+@?-9d}iWAi!|uNJcVH z+y|Or{3Ceb668M@;#yyX96AkFP9=NEf>8}LlpIfDYi8PzvQi!BT{6Er;cXmyiEgjNPl+jt+olL}>=zRxma_i*h7vOBSWnGmyxMpy zXrX`pbSPH-&)!#QZ|#o0#PGkW|3|q;N^#yInk6I`Z+@jlt2TCcoyaUeEV|nny)CL={RfwkE1)08xkk{A+C1O(f}kVo>$=d-+#- z_>guM(z{jxgS02jo+sazP@LG`3hOuvJG~I;F+trD8gHU(9CTdA8bgZc(4ws?iipFz ze9yh2(o0rSLYJqZF|%)fv|2`~ELsYcSc;Y}or4{CS{(MZwS-J8k2r2`EQOf9rjnx@ ztl3VbN`yVCh7HOBZa6ZhH*^a31Mu>g2z|P+h6+F}gR;SGX3&^hfc~z9orFUwVnbdu zRO}gSt6E$GhXVEQsfv2WZ0QAu^cR-`eW6j)8}hBKcKYm-zXw9$NLc$VXhJM{zX|?x z=J(?^0!EiFJuav?@u-OR>^Uy;ukv87U?Zx0Mywt;KIrF9l`|@rA{-Mj83qv11vp32 z)l=*a&np*^4Vrvx@aH=pYMZ6q&J3utzsm(cb z+{?_B>=LdWk+8O3-Y?KGJ}?$#aiIl-dAie3{IX&VOfMn2FmQ9t*wh#@s?$*H`GOPd zBp7`!InZ6RK>k)m;s{|##>`x0C<%u)hPd|@r>M=4KUAp8^G zfZ^T%~;`M9TAR9QE zlWu=xJ!rC5QxrTk_@OxU$V$yZG5)dv!qp7=RFLo1g-VHuUbC|Gg~^oMNTfGkg4Q-kh3xBz(0lOl5ndv%-S62 zuRa}BU7Zp>-SgO;Qat$c4Gx6F%B~K+dF|iU?|d4k%MN`Rm-*6l*tNsPga2o*?#fqa zypTDU2|wYVU%e`ROLSWF7+MKx>OvDV8v{B zmi8}W+3li1P@>|A2{9rA>)y!j@I6Gr+{@@`U)M3ez6z)X!b7kPiFHX0yRe!5IuePM zc>bfhvp?vPtMjP=zwi*4JR(ClBNYzm;s=6@%mnBW0Vo}N1Yuy?IKWzyT|i>yfQaqb zpg0-z3~zQGs^~ZUdKt2}u9&l+jbGWRS1jp?YE2a8{;y~-_ zkfcypq?c@ZY%G&;+}N&c9Ca2BR1i63XmL5Z=UI5gERz*47}SktDnRk7L6#ImK`q3Z z#IO1_-o*|ZK6M)<0Y;=rI%sqE0#ZPxDEb*gs_1TCCOL!q$Ze*Iu>+WpcdsyU$?UWI zA2Vb1Y*+dw#KCnz0u9o|B2`iqHI6ppjC7nKC_AU_in`OFA6opb#^|!@#4$;Xyx{kj z@@9zx#iiwHAe=k2yLkP=^}cRyt&-o+j@HI^#gT_}q2pUOvbSg0b8iZG4 zz!3q}#doO)kG5#}3b) zd4}!MMv@4LC}agHxU~%fgz@Se`_nVR<;sfgDX)Enj5%ZYZw{2&M}wlk#eprU=bRMl zWxLCu+48!-b)4^d<>c`)dSS7dbFWabK%lYs2Xi}4$8R`=%cHpt+3TxCoKhkN$E^95 z%C0T?D~n!px$?qH0j$uJDRWI!g%f94)v5(uW&rdtrk@iI#aYs#Nu!RLs)ZaannY-d z0nr2l#1J0m4GwV4jf}U#Aro;cYowYRMyKrAVI;9LYMw7dz-sS5Scf(6B6@s{S^_Vb zO?z9WG@jjDOZAVI`1O^6C>wcwZbFe1I4~drPK3e2qouXprCMK6#t!><1ugc+VM2C= zHN{EOk82;=y$w}79`v12VFtt+6%Kbpq!d&2O41CpUek4f3?uPU+x2SV3_tfDIQ}ZX|q#y#)gz716)P zj3}}MOk7qw?JhUi01lY=i5D*r5ZM^O#3Nb_7F8`yLQ101i@eVgP;Zuvj_(C545*{| z3%hX=q07Pz6FxUSt-blVA8`IOSk)pBqQG{ln(-ZDioI3Glhs9w*FR-+^U9ICb5VPm zNw*rNPC0O67e%~D3%ozMVirY!n*sDIb61GlUxHHQ9>ta@Ds-9kQY$$5lKrfH#Hm zjR^*9AtO@dJ$?*tSN%mdZ?WFK3BBTmLM7gZ*VEYOk`&_tW$vnv%SYs|><8q>96iVi zdI;zieo5?=kg#lKcQQtH>D=VTeB3~{KCkw3z&~7zZpbouUwR*~3U2U~47L-OlZ)Mi z-FAz)+>}08GhLfJ^&p1nYS-zVcrRVZvwGGJC-pj)dwSkZ(w`BgVyAYpU4BN9$TQ;hhd0`DGcDr<* zrVStY>b@RC*7$(*trj^${NQ^Yg71ZPz<+xEuEg*rt&d8PF(PpHfz?euSU|UV-pRN zmWyfunnEwG?v+5}vk9f{!9D5I1UKt?B_JB2!GZQ+PtWs-IlA6?JpF0w*Mq}77<9db zH*oY0xgthQi1sr~E`pudU72Ry+P}7o3v^n{$lfBneWeo#_+b+N2ycLN?hfU5=-a7* zNZmc4RMCF(<%>fQ9WfY<7J87g2!CE&JX}jrT2L6LC_b?0tL4+!~)yHFb|nFdy^s}QT- zcf*G01)}K%9NF0nh3fB_ERYcBIQHgk(oIehw#S%QX#lZm%4T(L8SrkgU+NVrUEWL$ zAFP4uqpn|yigsA6ay~lCMynZCFHR0dFuX+E_0V`cYT~b0Po0Lj7L$4Ih*eHMu3iu; zaIw1k>JyNZG=@5VCYd;YB?MJhw>tBKXSnVV-Om@0+=@SW@1I6!F#4XCOo%FH8LDz8 zek#l*4|b)OWa5XFAW_-PgOoDa0&(wmQ^Q@|d+ykFXFr;2X{+?ho?G1;z&S~O$jiQ! zQFr>SLeUfx9ioVZ1`58tE;$1(1u%moU)f1fNCggvn6f^16ICr_fy<9WAK=0pWC46O z$e`DD7upfgV5Qb@B&#&?%)mZ48u2$k0M8)*K-#^zVaPhX(t#{`+epN`6l9KMSFX<`XcRr+== z>y&ye&|n+7Z72>n#Uuk%;7J=sOJe~O^hzSK!6+`N{ho~2^N=6`BMzs|3y_mH0bw*K zBF9B`ouv#5WC;L+s5&HM$iMG~^tLyKfSTS#x_1qdb*<7V-887RpLeI?5Y|J&1^Ki- zf-bYt()pb)CzxQD715;i4tWVFLU$a9g-CT;fQ z#p~jHI2!hPettk4Co7WL&5DYj-q^zmQr`=e;B*Tup+*7hh;XSDds|Wkn=-M=j;}2~ z2)P+)bsHrBPF19fC!I1dDp{7lDLuP2J(#7%>y*bDIBy_ZfG6%jVH5l@t?W)xr}mLw z^&fQ5`4O3hG*SO5*W#?*PFGd*^hPM8Gb<2XR~E9p0wFCd)vC8pC{x~*h594Sgc~Pu z^CY?@W_Jzw=Ux;ZG`a zkxpZ?`huk%PNO_$yCXxI)A*Yoe`GndXb*}L=Q9544zr6!J8Pmg7ETFJ0OGI)ciGTb z96ZzOuAV$QxY%wQE4_*6;iBU>C9Uzfn@-w+uf%OOM#J2&yEs+FMoXyN7Yfshc8klV zYz~p#wagV&um;&)z7X*z9O6moUWzhiX5(R`7kNh|3PX1p6t@aV^8+*%o*$oGv0y%Q z$IEex^owD-@pn%QKFM%n_}Epcl{NCwgZ3YSaiqmgV60(8qV5rmN2#E%kTyMm+t#&s zGju%%1_S5P@{z&`O*Aww8gQwvyAEE6A_br}%r(e>gf)DHYMVip5Mzf)#2_ zs75)riPQ`pIE%*apF;;2D8;J}TVCAG@vzlfuxG0=F{XY_Wut*f9n6$QT6dztFx3&> zUVds%3n-6f@Jd5Nmp{h#zfb>JvwgM@59GfPBQxhG)iZO0ZuCEXrD{#@!Qk~X4RWV_ znTDFSw%*4|5Ug!z+SM|PLbuuTJ<{xmBa|^U#|QX9M7Ko_auzg?Ye}>#7-YfI-wDUWdX4xq+koDT7>ga2Y!x{)M8m}tD z9(-lv#!tialATV(kUMmDxAl#bR=Tn$P#sz5vxAa-!U-1ybIsXUJC`vHB-?@xZoQHc z*!;oG+g8aR*5Z4K*`X8n{F+X7($Vw{SJ~3F)b@8sx;oA8tQFkiWHO*TZ3CMhWeS0r zy&ZpLLqbg1socXOtu`@*1M-k438b(s;d9>)F4<~nbEUSop|R?z!?U#NU~mhyk$-4Z z7n^xR1s<#8O@4Zv^n55ywbo|NFan?JIqiJ!X?rC$@Qhs3Ia|tl>QyXr`3RcEqMg}( z&}sV2<+M>su^*q-;R1Wh@4>FcX&J-E)1Ltf)rq}Dr?-+RZ|(ne`<5HP=0qa`HVkZJ zoZiW!JU4d`Go6AdIr{7Bx@VTu_f2?LoE*ru{JDm~47D#wmgfAA(YkN1}v z5cQ4ZSUSZ4H+%$y>%8#VIZkjmP&DX6*)=i1XTV<{wK$j|^r3)K!eQ^P{m+H*rjTWq z8p0^~*Zy3BBMK4_FxRH~aPI(90i+qU7yBee0RD65Z0=5Tf}`@^tH0VG$*|qX*er_o zZ_xP4qRp4i>V=_fm3oBF70G(+>}(gsM|+&a4jb2)B)791=8Y1|-6=^JT3b}r2NBL= zj}i#Dy~q=Ig<W_5j#%cCB+9W*qnM47=`k% zS+Xr;z6-s1Tx-;l+@Hett(-5HrVat{OqSkFsu97%CUEZMiUPFE8=QDgt0E<_+{2Rx z-@k9ADa!&*OyMDU$u41h3u3mPwBG{6j zh`Pg@Rmuzr>!Z*us=TDP^a}|?A?8SdBQDGoS3*Vd_3&aKZkyKiXfRm$a!Vlu&Aeo-yS-MOVue&s_ITTZgH0x7 zXIt<2{>J1mN#4Whn@tDdT0!^qbX|6NLzvalxG{TF{{63;H#2rfxXmz)TrTjw8USnR zN1xcJ!cPH6Nc64sdB`>`*9BGgw}qj(04+U~Y`qO#<_4}Fy63)O!iho{xakfqF7KPl zUvn_u*XIZ5h71YYz?CH9=Z{|?B&(oJ&onOq763@&a0gO!ZJdtT_iPLyN~TFD$d3hR z5a2H(SnarflB6?SM1wlazuEwCh)zpBs>#NtxKDKbR~Lm`a_n!ZcQ z@ZfiDQZ_9!{o$>W7WCrKsiX0E+b~z;+@R@md2jZixheyQsx?_uY$iAMRp_|8EF#T{ zH>#0GVPv5EFUR5Gm~<~!fTVL*On(h1^8q8S^=ONU6h*eX5lAv zzDOc=w`3Dw>u!FWiu{6_#mYgZEt0WVu~Yrqwx>xWWY;*(GBwaQvQmNvF^&Fh9q}EF zC0%=i=lInRj4g!SbY)HroNro3`7GC*RF)d#mI8SGR2r=(qgu|7=%LAz5Y=i1U8WUU zsq9~7p*R8!fvRZ(Jijee^Z~@G8@|lkTWT67KYo!C&53jR{xL7S;fQ@+>5@hIT;tEc zdOqV6MFBUOHk^GZvp-kh;cL29>Q2@u?YY~W~iyZIIJ{u2*U`jzfFBI3wy zorC0WqY!MGs)*y4b54tQ(iGZwT`LL+P@-Df*yKA#&`48{+N;bOny5_#JdWJxmHTo8 zPe024dHc(*ai&aKrF`79N5ODcDw-8Kdb^0i8J&Q#WgW`Hhv3!I9S^nNd@}+h8A8wU zO6&(VbpOC9z?^-3?=}#PrhLxw?{Lk280SgyH||SVs;;eN!gD@6wDBy-WcHdj$Nwm_ z*)<O>uiS5S zs9T#U(rN{U+g8L06zFJifK}o2fK-{|t%V`mH2NrQsDC&N%>Y<4FTC|8beR{ps$7~| z&V*wI3M6UttLLym8Gz}>T}ZnzD09cyC`Eo8tR?4Rk_R1q_lN@lhiIZ{oz2$4>^;eC ztz)Y7u}LRk$~zxJUppAz0(`OVfmJat5kmVWuqr%aD#{*V|j^J+hb)@|h^IbVE` zR+2d$`+nW)FYIn3u)JEjTC*aY(MT{|y_;OA20A|-GJ;8S7yMAUUS1plmmj^9G+kU9 zHT|1E|Mw6Vopu@~C@$6ofjJB)KF=4|@J^|N*MIlLY_ckv?Nlc06=1P6N;>s)-YgT2 z7R5!vK5>H;Y28LL#KBh;4rE^RNyI{ULl=$VL4JFb2D^=z6a#xGNl2=7h**6BA-NCv zjda;PUht5=|Gu|Wdk2CBn_W1XYk&84`X2n9G5?ghlGY;?539HfvlRm-0Ff7K`bmqQ zsoX6;R?o$$UxJOUU8rQ!&CV%+y79nsoOi71G!H!^lpHSaB_rvqsi#Id;7jmsP=%9Ic8o+ksS>3Zes=otBBE*3KQC)yX?jr`^uQ zT_|`_Ej7U5F>0W@lG-q+hLem}2V>Ur%+5#ZUoj8|p5Dgs!D~*s^BjtOQe%T^Ex|~L zl@jr3yUpihs&LPqJjj;Aexi7vA+*dgYVrD$bpK0|F z_qk$tKr6-)K7Lwp`2?mc3;e_Uu ztKG?306~a0OMbp~N(mrlwhW8~X_@$@m+#H4HLE)qyMRI6L#?ty#Klr9P2~gdp?VtG3qxT?Qq7dZQf+Vv}2&%!(`YSrYE42Jk9p zrC4{pnDU5Gr z+Ze5XT~JS4f=dF!MbF8%jBJtrcxpnL782|d`EorjO$u5#KO5b$#Pd|C61?K#byfpP zmhd6XLgON=?(&|cMIN7~Y6xc~@HBmdt*c%EhK2fW`?YvG9*inklhs3Zvwcd&108>p zkUeZG^z&O+=mA~4y^={tdHltf(-sAMRls0@0FvrvVdtKAG%AmoZgKI0v~mlYfyn zjHmap1^qZ**P)Mcwt>m8Y?r-7k3i&s)%nE?h= zBzMl>0CZ~>$EZM(Ak8V9rfA-<_=%^_6xHyR2~;>>2r)k(P)RH}oz@m0fMMS$d7aqYjz*{=g)3a}Cw^jJ{N@(*&?q!kF#eSPzV~g8bg%7%w_mknD z5UiIYKh6rd$JsYZIhrObM#P%UBH}4-87{-4Jfo1nLz{X*@Jz>Sy!+$1MG?aqWyl91 z#t899z6d@WJN`W#JgEA)+C>*TOFf~s-%GEXtu+7Abgmk+RW6HLrF>Z~%tPIwv{4E# z*(5n{W@GB!Q=rlqLDMub%s&DT)J~l8VfM43R(OLyFT&rR-_c15%JF6#Mg+B0xUiPs z&jD{X?Y_&E-Cb&^22T~FOe`Dw{-65^Z?~o!9-hl-K81@F2C&tgse}sH+mk?k%89?n zk0`oB>nCZx`^g11ps}NzuU?#k$i4so!L8>8!>SfnXi#=1863Cb0lNJPyO^zM;s(?; zG%!mx$31Sj0hH#G-{u-o@16JOuvFgm=-lfv}C@kaF&d1zZFu8Q+Ho@tX*ARF1wYP z+MiRe0|2x56jUquVk_nKm=_F28u|U?h4zTB#dAFYSBDWfrl!XM#05UgHo!5ACx+^u z2iQ2KR$#IMU=j%^@HcbDUwZj5%-aV`XkO^m=yKY0#V_5Pn?T2)h!p?>OOpi;!_iVe zS~-IW=U@jf0Tp=>>*_!Ep=W3v9jSYl+5hK4W^wR#rA1x@wrsmuit@mAU!<=5K2Y)B z9sRV`Av+Ma{UnK|1%Mz~zY*W_);-3Rq?xbI3f!0n!uvuik_L zZ8cHf#Cs`MX3NUIj-mp2uMX&WO|usbX8*|^rw%e_kkx!!68!-D^0xpS?R>e!sOad$?9;x zlMW1Auo23~3Pmgo3A3X#s=!0<)2=ESn(!RZN^QrIiSf%iMw@G4?{Gp{!n2R$d+PQXX^J zG#;Bu>z$M=#-q#Zb=JVtSA?@;RD{WaD&gB-}7Scp&J+X z_OKZrXL9w(7%rWvdHsmbkR%mouT?!vVTWIm0w&PPJxaOi#f3+ND%C9ZwSJro3xV-G z1KiCqoUDjrxy`$h*R|3cfqKBkJ6i@20OWs7jt#k26}y=P$2bKHQb b<^>b a/\b +a<==>b +a<|>b +