From 3213492ad7d2dd5d5c03ba6524efe3c5f828cef6 Mon Sep 17 00:00:00 2001 From: James Haywood Date: Tue, 23 Apr 2024 14:09:57 -0400 Subject: [PATCH] Update README --- .github/example.png | Bin 0 -> 71742 bytes README.md | 22 +++++++++++++++++----- 2 files changed, 17 insertions(+), 5 deletions(-) create mode 100644 .github/example.png diff --git a/.github/example.png b/.github/example.png new file mode 100644 index 0000000000000000000000000000000000000000..e893d74e7be2ea625e0da1d05c43940ddaf560b7 GIT binary patch literal 71742 zcmb5W2RN30|2M8BqS8{SNJ9e|iEK%fS;`g~_TGCGO-ZssNLI44C9}vTgzONq_sV)+ zCw=eVec#XT`5(u>@6q=tT`uSKIX|EG`?cQZldIBVTer|`At52zdgZc+ED6a5H{v%L zDZVlD|1E?zurVrHzRYoJL&a?;Dui~sT$p@T*0f)Pjd?4Wph{_Z4NveV?{;ROqkElB`I2(m^RcG$Wd(+6ncH=_3oPyg)7G& zP_xkrPx*D7T*@;GcKW;KvBJOiT%deQclNP(#rHlDwoTRJmfPvn zM{o0$FSLe+E0hLNj*%CdMjfCYCmo-PiZpLO@%+Qf2&&Lso(C*0bcrRDpUE>l!!y(u zu;ZwA$cg7v6h+(ocwhNa`r14_|Nb3K&qB%>#@89=V|{7#+r0BwUpLD8eUvuec!lXU z`H_t!@4}vKVJg(Azs%+pwdD55`Nz2Xua~8Aq(_U_zrRY)?KCDh*A}nz>a~gYXYx0L zMd^Z~_r9I^7S}Q}n`Fo((rSL^3jA z_9ID2br!dU^tObU2+0cZ-U6DcWb`jT@^i*%xoF9us_*qA zcc^*iWUqrj-#Z6K$4WAKH!5NLFSGkyB>CDOsf5=H|NSb}PO2?`|MfhHE8kR0= z#oZ7RBI*9>@ujlTy^e{t+fL}X-=W;r#F#qV!#`Fg8EtCKa$nbNn?2^`E( ztN!Y7AZWKin%tWvWy2pd!^hUH@rBEWEBEi;S4=n9@9XQkar5T0w+qR#v$GX*>?~vD z#iQ$zoRd9lLh9hKABzx^&5)Ez8$^FU$HLtv^q547|OqO-v4Ra{A$;dHeepXLLA8=<4d`SZwDTBWZ7M*WsWsGdF+Y?jHW(!-t|C z&giX%^)<@8P2wG`i}*>;GBUWfZQHhc_wKPT+XY{Qh9>&(>((C2vKkhblG6{UxmmflGU$D?pz{J~RG7RO0+DJFX>zqGXl<2!y1 z43u?y3L2ejdvn3{vb1#X+<3Re&<`)|5L;3Og+}?9i`Sb!gz+frpHS%!3Ua=2WA~|3 zr;Z&v_Vee@{MX#(OwCor#gE+FHew;fG&LhD7vF}5_ctceZQf4%tMJLL8**}`88WN; z=<$KLrlW3cpR9`u3hte`nZ;`IQ%E|5k6g&mkol9he+}r=YKKsu=EOiU^kdU2SmaHIlPUy;_Hp%mY z+@B8^XWt7CKe}hn9_r%yhKA%j#oI_`hMKsE63-_!)P0Xs9wDKJ0S;{(ASImAE)22L}g(5q)L`??M6`D!^)UDD$y*AjN#^e zRdWjq*RNjH*g?tZ*D*8PGCn)2UGw(R>+`1fM{^gX_si{Gy&mD#_3Oe)@7^BoDv}ac zQB!*^8lLo{_vcR`IXT}-$KlBL@1M4|sfuaXRy&{5rU=ZMn*>5 z9y~b5n}^Sq{Ag{Y zJ)@Rgl5W`Yirbt4m;3I<>Ez^O#S|?M*%iUX&h6O?BcF8AltY}CZOh8azV%x~L`8AV zz0$UCNXn^e{Akg?QzgTw$4iVhEH!nvuXxdTcX3m;t-0&GR0vCVLP-(MHfyhY(FSFU)^rbYk!siCK@e?>xKA@AX}n6dG3 zdPYX~jCMQsOYYP=cJCIEmv69S=B^2}%=YRZZ2mp+X*4Q3TUAN?i@Xzl{hqeNwU?Ba zdmD$YEpCRrkPWZRV0?y6=Yzcw|CHp6J!u>lx|_Slum1gtjxoFNS|M7!(p)2Cm`|GlvyZFPEPGN%hY z=>PQ!`gLJ{-|&BZ?|-$8Lgu?8tsgTimbddyQSI2V!;HS=MGnWk)$h%`jyuh!_x)sR zYb$Gjk&k-TJ)o&&;qpPJ?K;S9h`JWF=Pz6&2OD zC`+Tt#rXc_G)A14TGN&n&(<2$V_xCAcaM1r{5gp|*NKyVg3fu7jij1yk}@G7VOZH8 z)zFW1LbqhDv=QTIhpwRvJp~z!BBB`cE+u^jp92psz?|Y5sKUxlY z(7iWr4r_il>d18@K})<>Olwc+LYxfa4uPSep~p|26jWDxzI}Tn-Keds$bIjDicilI z6Inif{8-kJFxgjazPxBlf)~ERvBPQEO-()Vx2+86OWSU({}{G-fM>SU`$RXc&((Fq zrcIlui*ZUAq+dVw^xTe%I)DEB$v$qQ*7L%`!njEXd95T%Wm?_Vg#`s2*e%?dq4}5T95?j?&YK?T?CjjV zXHU}YqAeex||Y&Wgv&VdTfH(7BuPW9tUA0MBfgy0~vZCpV?X@X?*MuxmrL+|!dHEgnL zu;{PdBqk;ntJ~Gxy`Sy2+l1}6Hy402wtxTrooeUK&u6RozPvmxaq`qDqU+y~mpA)W zvcqn6q!OL4DsOq3h2-JZ17BB`X9aQo@v3!i-o1PL< zsfkr!A^F=;1sBIQ9OAKf^Zvbf?#B3tdb<6Gc&(U#5ssZd|H^r3P(6FD%l$`7OA6LJ z#I`rUiaVyjb#sQwhIDPE;U3f;t^V3bhv|9+$zUE|+{Ur2+BB_&z)CIBZ3j!x6@RtZ z@0ym|ym_-$#jCJI_Qd%3OVM@XpD9>OIvi)O$;mwskG%b>#LEG2uOf&mv8~#<%;%KD zT<4?Rd-tZ8bP7{5D;M(5wtm4tydGRdZ3w5M67`#N8*a>QwMn5q%O*Rg4D-MVFCV>5URHxaM`aM#t{pq*t3PC1Q$NI^ zLq)OoOhj^WtyUI52(9DPwVp`|mTVzm;rnK-XuM4y%}=CgS2J*PH{IT-58%M0_`#*H zu+VB@L_|bn?CSyJ4;KBhk!MgB_@=*Kk5kVJ0iX@K;>~cXpG7s(r9eZYw<5sdPk*%3 zndr#jM(RG3vmcxOxKee^m`sVz;|@#d zxuXr3FV30TO%Gf$FknJK>}j*^i1$y3i=#9)HeOs>N{r2Z_`Sy&caTS zj=TbEx(wrv=XrU8?$pd(K%ow^ZPp&kIeWMcA6CsYp)V>bqAt(~M)P>r#3jU>(?2~k zW0Y}VXy$Y*zvaO9Cj$d|Bvk;nZT%6B#?LiAoHA^Rl-MgPD@$|e(85GH%itzPys@6_ zP1)<$O-)QRe&*k6+(W`Q|I7OzkHup*H#gBbftAI{U%!5hbv~kNXqm0z9sO|Y3n{R; z_V~UD?NGtb{zG zwR;R`-EKe156+~NsR5uMXJzJ_nD`gdZh ztUDaJh~ur55`c5UL9^Am&2sO`(x`KPd(NlIT+Mh-YwS9f+&QA;13ukTOYAGAbH34> z7&fUlv{2ic+pNmQ#>Tl4YsU=epr@yYww;$?CdII;E?UM|R%jnJb%TcO=4}VxL`1l~ zdw0@Zv!gOsLs2)L#UT*sc+7rSKmY9iiz zNF$DPRsD~WpY<1tQLSFFYix*1-piqea|2JhIoW-E()R;J2Uo zg)99v)RgjU|Jkp4S9PU|pC3AP=FC?O*6%H7do_d8WsiTL;O|4P0$+H|W4Q(F92;8K zbfxu0?Bu$!v9UMl=?z^sh4l+8%*#KeS26Qjs}u~Oeg1CAU=j1AP22wiz3)ryym7kA z2kX&xAeWv^*YyY5S!#7Sh^l1Jn(2l0-6ta>(~xk}9hil{fl$|U(N0b`7VYJ8U^dW>zy;soo6uV$r}dfU{cH8hno$J#1??g*DP9#ZbVJ((RBsn0a}aKM21utA(7 zKOdiog~hMwM)i!}2SBWdpFp(b#XiB6PB5L$oZ0rHJUm&K8o$a1DoGo6HHZdYWMAV%#JA=ws++HQ{0@22Jc%qwS72dlJ-g0zD3J?L2g-GU4VY8p*x; z_d^PCujEn7bqK&$8d}s;RVDMBmYSIkA4K=cTN*YtjG7-xsrEVW((kqFISKzWJ=juw z6D3FEW%E$g*#Q@{Dg%okH$Cz2Alk9K>*w?Vpb1`uJ4am=7I1e7G666gote2WUY;Nl zXx_n>T%zmsY?tTzPBAiGjIQ$v41B*B-;{26;H-941p0`t_$9O({f4+C<#wQ@fV0}$ zh+g{s{g&<9w{N2ph}$SgPzo?jqMD=nq4pJHtF!K-1hFNmT$#bKR@VX{>0k`c+lcRt?+z`}g0~)~-YU%3c1WPyE(Yx3b~{{ml0*J(dt6 zH9hOwWn+u5C$9h?9@RrsSfQBeONw(7DShhIkg;5SvhG-ccE{R6pd#_fCu4;`AX zc3uwOIED57wY)Hz@rN$)Yl758%aNv(6HvLz-u-$&v6ndV_#CRQBe&LJ9B@yJj#Q-Q3)4*W&*4X|qK^+pZJRCmU141jkTt4Vsc8i~2Mw1((OS zC#R&S#5>`3R0N)LN2~V3o|^P@UUcmXv9Hp*`s3yDVK=JyNC-Yak)04%szdnM_EDn5 zDCY>ywR9|tUcE}Cq@+YWnrqmS?t$Ms4jz;=G>k72+^TNVxyjvusJJ-n;+HRz0nZ=i z2TRM! zl5I!njjjsqqoeaI(8#Z=ODW(WaMjXm#|aLO)OL%HVA;fV3=T@*T)13%q0K>)l#;R` zA)94#rp0&?bb#oz$>x31xu6@OgF1#&wGCJ8M%!~vF)`hEm^C}v(Gjsys~Ve``3iT1 z9U2aU2+)G)YEkwz6-`1hys%p7QSyAz^xA%4Ls+H#C1Ww2) zYWBnDR*ScBdj;L{*k&A#d(gE(8sqj}{!t5R>#m)Y$RGW+dB(1#-7l)Q&1dl2>zN!* zlh}j=dD;_3lGhVG(s)MOKKU;%E!1H%5*xQ;c_ssQpjU6iHceE8^Tc^;D=VY4MKd$A zSLgKQy=!yP`F{2FO%@9-??`EC)yRTw2dWa5%_NA*2kD&vXtfbn&STpjN*aOC=H2eC z!`Rc))9AQO0pi>t|1&qc&@easY%$I|PEQ|JH0sk(Zw#d+PC4x<4&ig>#cn!)Y=W~0 z%>CTpt^uFIXpaZK(W%1W2)RajhaO*rlT1vh`)1-NOOATJ@bX%xs>GAu($aD}tP3u| zIO^)D6#4fzPTx4~TW>~ib=+ZW-@8zthkhh&06-xT7Z*1%F(Jt>FPGqs3R}cqnY0wM zpf36rCvzINKSO`7k9|aAM0X<4^6%d|y;Z^G4e=`R0-A5?`kC5K1wgz2?N$D?bl+(-XVwP4 z69x|^$SW%9u)S2paW%e?cYHcFE{A@1giUfvg|IL7L3qBIWkG-P@!#Q|5Oyx2#w2BAoH%yO4H#nQjvWPHgO$9a*%wVs z+29FD26B++sL4FqcIXHAF2NxP@{H;Rj%xyRqj{?qqC8QI01&Y&i)(7UN=hyh5RcQ~ zhY)&fidN<4#zy}gM@2P^jT8BdG~=1{VGRL-6+?f68u--Rot%Q=Vq#+oxDK{_9IXP^ zO=BqKY5 z{Pv{rcqm5a=+mg~+;-&fK~95xgAMU1f42MhrK(>~`*kp38tq4gZ+#XPbsNsi>Bev< zZFEj^_rUokAr>obbRDjtbEC>g$kHUeE5%K3MCqHDnD~*IeH$g^F&-Y8c=>XC_&5PU z17qXr7xWh|%g89K_l+W4u(M~qacDh36SvXw>97gEsn>h*?AfnxVHc&;Bs9l<77&E; z>C-KQ$e^rD(^nm;z+jdMS7i>+-1l0QpU&uE0!Ud5d?$~W*Pmpo%o0n)Ig-GR zoX2es!O^cY*{c?WGHp&EGoV}9t5;oOV;O-w?gE~O zh>9wIub1!8({16L&JJwxgO79zh{q$>ol_&9@C*$y)YX=km#1?* zrFKwLf5is?mp%duvZvfX1!k%ri+a^{8UDx!dtiS!aG?`6n!)fPlJ1u7jIGnjNL^|k zI7oO_IQArg{JNo3T@2gFil*%shBL^?$#0=1*Y4vAz`J>Sd*5NRi)b92N5==;&e7D) zH8VB6g)8!qzHHuKd)&RKK0G|!_xLTNexf2(GhP%fa#Kzexn`XEI3@yW?< z>@Y%Hv%VWdFnO@Xrzn!Welh06l7q%QfQ*f=L`|IOhe&ZX=0@4h!o=ZQ8O89Zm*~30Avj1{9 zHo9e0aHCz%Jt?XMD*t2wddw~qN)@OD3auJp zt>lsnyY{lE-TnUV8llja`TPZ9rr^rke9YPrZ zFCjz=6dZg%;nW^KzD}VbjZlh70s;c?*Ur&V8IT4OO@aGR3i$Z>Pcbte7Z3>`29K)BS%4jegpl$?x=BwvT)Wl)fWkx@eOLqijj z4==SPB`F~w9y@UYY7NAnf~KbZE-1SY#^FqhhS!|*Odqh|x$o)ql=8`!QIyibE7+Wcl^=zJw~^0_k(&#~shGdcE=K=_2%^H2ucYyFR1mi*ctL ziBRP?HtuzHcCM|fV+)XkwXGO00W}f}5vPmG>4MzpJuv4ZK!jgaYQ28_`Xn>6VJa<>1^XyTB^kVv zp#wqYq+w)aG_|%i9%HK!aQp-JNlILN%LYwF{rMK!f!~a4_>;RgTN;f89vy2xu@n)Ya8{%tb{>u~M+G z8zmMds|CYrbcp(DVrdzvT^%Cs@*5lqIGlaHq8{5BuaqyBk&yV()D)1PFGNDrgW1^= zM~{ZrWNqHG>6W&(c2Yc;Gk*5ZvW+}AV%{28ImG|9D`VcgaRD%^1zhbh7ZzSmtRg-} z<^-8GjvV|X7|S(z&dv-nA(EFaZNeu?X~G@Q-Y4k9=gBugcJAD{vIq_m_z{Fnf-|;- zf}$x|(_PjHeO2uF!CP}Eb?dI)xM6Yex$$GTcCa^5=3*BP9Xb>M4;#`0!ULqf;t%j|%JF{Su8c=5 zNoZ+l;mKi9J(^Tk8dT!tyZidY)YR0x8&6C@P^yiTsJ&Nc`Kj}$8x-{(ZyAAG(B0w# zjY9<-;b#^yJDMVQU}9zErxdp8{5C7e%gg5&qV*7~kY=O=QX$A(>{YY5NA&Oa?@w#${RHs|v7PKqvk#XEV1EE( z@&&d5^%>QYx0l>AK@AXu*?x=jet zOEWEifLE?KcYfZ4vI^bl7x;%SE#sOapJ}^67@BUoZQr2^tx3zA)|UUW8dO)UhW#-y zG1w5u%;XPlAq#bwxB{dk0);(XmoU(QMdx654i4M*1zQuV03rHL(bGL;Gr+;m6x3`l z{gdz#iPf7H6CKSOJcE_C0Xy*VH)xTNlzdh{t!}U>5!=78xL94`Bl0RhUtFg^*!Q7v z$j=@EczpSCCpa%tI-Ja~x_+N?dVf;|Z_lOvA?rl3ErF#5F=W_@9fU(Q+a{@C2{#cv z0UG;d8=LdtVxC$!O+)QD3t441VdW9_B@a&^tfF(T&akuZ+`D&gkY%>RJUhM;pOFI* z0ff!V&yOKzH6YTZl@$gTDLs8Aomu9x&<_KyBm3MK-7R{1dd_94CpPZdz1ywHpckbb zmT|3?3F)_RvF$^{2aKZ#lmy8ay+bKY&$pffiXJNK_ko9-wd(cK>RD{AUE8s4-MZR4 ztKBW(BG3WqAvC@>vN0!5pS}&;!8uBAh{husDi93ui^FznLGM0JgI7gAFRA!%R%kf? z?D=yoyiDG|L&w9#sx{Lz^V6s6N=l_j!<1B2`BmBSZgSh80K$UCly3T1v==V)cAL}Q|5t9QVl@eblV@yO$tr{|%ScR6k zYd>rf84;0y&MU>s z@7l8m-pL6d18h13oJjJ4`%KNvFNW7>u&_zKhd(CT|pr+D%+8SOSn&2()2&j<*TdiPj$wI6~t#ns7MinpS z$Qvw)hGv)3J|KWzsMRAXD!LPR9HqvP)RiPLZ!Nmm^ShDndW?+$=0?N` zakt;Lo8nBM4qX0wC)eQy<1oevJdr!Wz(5KY9rCrmVJ* z<>cf9AXfqq^|ig77Uxr|I;0Y|TJz#v*aVO4b|v%8{J2BdFlEj+K|0I$M-L~+C@DoCBOo}0L_i_Z zIzHC3fNQ`f0Cg`yLfTJTR#jFK=E1a@=|Jnpvp@q7k7-<>@Lrddy&oE?o>I>5w0IuY zSTYa&ZFJO_`1qa>`;l9~YiNsvik@ZBf8@|KsSb+hh7B8RhtnE;ssR;|aqyjuT(R`GH`JiTX#gI=TTlYHx)ullIH1hw zS$q~VrP$~uxHRQmuemEwA4delMFXpRwk_?fofA0OVlP+TE%4XjhR2oUq=|k$J`o%3 z&~=$q(w`x9YnP&mAn$9$lq8J*Rx0dE$S4pb|kGXP5~6P(~YNR7fzG zF-2_j2>j+(uU@I>rN70h*CeV7;wUkRa`aUMTy${Au2+&+E$AY3NYPe>3Ra`&7SDD# zCrb9-Ha7M|C>A&t^5(96`!0k2!v;jP*+oa!5l51Ufd-1sEP4wz(?uYkn5OLE?Y)a|ez324 zp{d~eUIUWCOSvK=V?3kJdqVoP1_0^QXa^l$EE=vmb?qCl4`QnO*lusc{zg6$p!B@O zZ>s+b(VD56nwq-f9GGhp_9MaxNHywO@usJ$y1?@39v!Vd>dE)^8ArpW0<4&GiaOh_ zMwy<$LH%5>J&K>Kn1MpbaV}rPuEr8gAJz0*kRbDw)-nzp3+xUJi||48|HRbmEiNu1 z=%`<-?2K&fW?Gy4u5%2yt1w%E6c2;U)F}P-Jz(zp6grNql9KND7B4_Wv=^9HDwVMx zEgv$Du2aL|%SyN@Q5IhZ8Ii|wz@p8Ps#VkYiLi5BbG%Gw5VdOQ7&;fxGkSX5}9kIiCg`WgU z5*(}btPq-T55RjNSfOf03@OCcL$~$;{5oZeNZsE?yN}O?^}m$?A`eR_5@_H=V2#g~ z$bBGzK{)+{)``{!*p{sb!?G0GN(05kn+hGv5%f!jEfcZnD!7AV10i-m}9w&wD zAt$<#V#^krftYB;JSTo4U5S|K%l5TW6GX9fYa~8f`wXgK?w!6tLw?RXUC2UFb0UD$tr~~+|0}js&}@UkerH&#MP@W*!v}}6OaN@1mMC~ z8~~=7m>Z|DC72nUW4!(RL_t=`A#XD?Z$S#P9jUgqcEH1p0ei^c2kSG@ zqk_wG;TDiCRf_8i4hvzI=S!tIi4#VvdI;3PtFp4fH*Wa+Ep8b*!fW2~DQRhIi$N+y zT#}Gh)S8ifAX=cMX)(n)L?T}L`-`E;?@=eruz>E*o#Ua(5@r>uH~P=J z`mNQ`;qtKnmcIXNX5EuisZmDcWG--{u#pEg$wTTKAiHx14HN}yI=wO8`v(<-NIN^b zlrp`O`*y#T+VJ_q2i9eTO3cT*E>SZne(OCUD=)7#+0?gg11SlD+Lw_~2fEuDWw|!a zP|Lg85H^}<%K8KEa_LJ`(vSRbVP$1~fvDYf%-cXjLJ6$eDp(Wy=sRru{||nrQgP(? z>f4PNSn4m5)33XAlo-YOXm%W(zXLgHX!5;L=WFoJGV}8wgT$%q{n!_B6fDKXg#>~o zdm~mm}Z=rJ{ zA?%9tNuX~;yw78}L`HBawNgxc6;k0Ht-cK$b%Pv1sMADpkh;Zraa;^h`sP)n{uSDh zK~z8NO7{U<{Uhj)Lf^hGC)>p(I8j6fG~&-JL4zipw!BPqx6QzZx8p+i#m4A`a~el32} zfgHL!F&_}G>Of9rEC442(TQ~Z0N~AV^*kpCKSWfx|Iq3ZWq2W&TN88r1k_U4oKwP3!V{% zjZB17iBQt?G-RyxC^s;wzy1Xl{u*O?jeZAq?!3K&s{NfEIXPL29MZU;bbhg>hn8Um ziytNKoG=H1%4EdY0zxqwrrQVBd2(Mwa8d4-diUNcv`A0|X1lk=j#Q?zy zK4*__3=j4ooDHl#lKe?c522cVZ)iB()6fqW0+ooX=%xAF{_nLL*EXDVcURYEggB9= zO-N=we_nB(8zdZT3M3o@3K3aZ%1tBv{Z~*|A>9HhK#?XehFm+vcO8yrbb@N7ES#Lw z_y(kbfz7Tx|Cp{CUUM00KL#`)*T+ulU77!H^W%fgcEmGHOjzx5atk;I5rIM<)kOFJ zZ0mc=Xn%hxJke@o4KM5Hyt7DFDU@Op&V)aT;S+j=i>vFMiixdCSQI2CW@ex7vL`_Z zw(DQNVFO_JnsE_fupKT)Wu;V8h>wp5?imCvY=#5gr4dXTp`ge(r8tI{5*xcQ1PH=z ze4GVUF4mG`%?4>}teucR?m={;qoX4s!t?XrZ1M{V(zi?&1vG@CT~4eUdIog-9@sz_ zZMl^8r)*9Z$$6{<+6Y1q(mFaP9T#SfgJ(hgLy=-QboC!G(&(UfX(6(XzSVhu>Jtg( z17W)?+}EVX>#}PB#@#;qk}D>(5qRA)mGVt;@=i!4fNBREDN{}hxJSeV7I?8~VYv?cjNhYcp6$Pk>Ys$UMZD9SH$dp$idX4~Rxe;9`*(c)9K5 zKf_L3p1=`x8OG|_IXTShKO+quD-jCx08z+xA+BD}xA;n;CTEcEeyKF&Vavvh$R05f zk)IeAgqDULr~&0q>dYkQ8e}FS^^xejq))UsVu%xmY92!Z1CjV35Q#>@aM$3hQ6W*i z@o87@vC)5~n`9H!a)=hh$XI^c-p-B(Z5i~l^0xgNOGOH7{m-GHXGl-LnC2`8AB=|P zg;)%S@(Gv;v9YoBj?By*m_S0d8h(yJ6yQ`c4Ow(lR5JEa?$V43+6(-E)IZNP2%z%h z$%T0N6qp!9Mv$D;c-=oUW+PEu zxwhXTe}#E-O+)dgPoL0*%v_^69R9<(@hm~A2;(5|Qf%z)39G!{$9msC6MELq^c$;EiVQft z0|JzcKb781eifF&9oJ(W4~7=Bpdyp!ay zXNH(_QoXc_hcV1u_s@}Xqhf9x@Gc{!rYH|^QljjlO`tKMBzztC?7Ld?@IRw)mk$_z zLt!LFp#UO5l?kf?=;#AZs}=vp3$CO|nCdyr$Y>bF$imWBBSz=j4ksVqoSCVLKj23`jKOw@p7bjDZa9$MdeJU&Wg*J zvSn~fRh6`|%4&6NWkse{qvQoWaoQoW0ao_cgl~rIZz$Wo*4nO*Jh~_>%(VWq{w#%Q z%SJcI|3t6`5+^3EKH7{Q8Ej1SZ=haXGOh|J=V&v;WN2AB`V*rdCTRbI+-lM<07Z9$ zM~Q~R5G5i<$O|R5UTtaFg#a|<4DcLy>&InaHltUp!)bbUh?hDuS;$dV_NAO&?UjGB z07c7weu5Z}hKGk~yftcm*R=iL8=LM2M+hKpm~tlOB9%rC8?u+bL%dIhZ+s)6)gs4) z6wpiLoFw!qR@eBzXRtVoce!hfDI+oryZI$VlL%kD=sUaq+!|+o?(X4H z^yQ1|_wP3lee=0P0^`It)I;}g&?I8Q zJ85W62lsBPVL0jrk0Trn1J(+W!4Glzql>0bWI0kZS0RaxHB@NM6Eu{o&C3H;iw1kZ zWpQyL>jM23u@R5byInAvNT9O)rP0_Qfcq1eXHY3Eudc4v+YdN^Vkpm?7ZFi-Tjbln zEPh`@d;%m1->U^E$5RvC>gxZyTctPMN$cX=N;Zf#u4db_hp;Li?>PF8mc!+S3~hUE zr;0kPe29|7sGlFW#iK`$>ZbtB;Qw^@_v=owRYd9O&I8wg3ZTL5Md3x3*~ib1Go}J# zZFJb4US~D5^bq#|N z(6WXJNJ~6=;K~(pkR|aqCyiv{m$!8SOA-U6PAeJEW5}CG&tP8i^VhAuT5gSUqlI$w9t37l8I zCd9!twdBBO$CsJ7kd?TQn>aXNBhZ&MI>=+TkzmM+izG0-iH%=TQ9)W>SyJ)_@h4=q z`rkIfO)@bxjWO@&3F)}YehrKm<;!&*teS;q&>7Y+F|vv_hy8_E{T|Bp^$BxiorkPj z3y|o8p_$**=f!2%T&SOzV|CLAJ?A+_=-w3YF)OEDl_4gcKLW4itsLjz@Ub8H_=u=C z95kk8X19Uh@vw^>n1n#lI?2fR1);-d&z@0e4e@or18K^!=OTuIP;znGXz;)Vp3vvz zB_$dI-(!4yeK93n0#KpvYtG##1K19HNX$LKa_j8s5=PO8uK*WFLM-L0Cmq4p;1W;! z`G$l@BjH16)Jz#vt{E8_)8c!ZF@q0qh_H_)I13!5`k+~2AR2)T?Q%b6e}@qFLoLag z60`^!yD!rK{Dv3xUqa|5VS|E#0two*W#w}`^di5ydOJ)=p!#@A64V2nRZNfEocQB{ zKXK?cJi~pk>*$^w8_U1TZVC(**Fcf?P`zq?E9nOCQBawyc#wh0^UteeQqoRN0^ll` zt$6pPbW=hZuN&+s!hoI)f(fZr`trD*CRTSx62Z;6xj$ApQoBbsPzL+I4ZHAy23>aR zNZ#v7#3MlAm9_0E=XX}J2tr?Qj1@2U9RGT;MZ=dr;k^EtruQ<#WkUm ztFKVF0F-LoYPuP8#XsX@eh=-5j1Y#7>(FXNkngX5$wjba8Q;TrHP z8v=a5xOMog@PpjO@%4D=2YE_uw)1;AEg4F{28{U<&?ym9jjOV@i;*510suk zkl)US7{x&83nK8ftn5T=+3@$6I=PSSh;%`Uu&8-6vN*{#lUWY-qC@dnkCK+}6(T68 z7iY3o#3#qcp>q~c5Akwy$AqiDWe^n3v>H}UH)wk6w;QYEMLIp&5sK6h6=pyr7JB^E z4V({nh$4ERgO7+L&@C(wn(R&&AcmUva*RX6!x#V~a7-tBcoNJYoW*$J&!Mg=!l!$^By6NzjDdTiVFJ(N+glP!aj4OAH++jzIt$o- z84JaRz*k3J=+x8{Pqp)islT~8v|&_ys$IJ-Uc2TsYzN>%%)P=sB_gn}6>f6|HKpk* zgwKQ~hUv$~ZqtX;gXHl66-R_Gf>Vv!Xk73rm`U%pbzG*QU;XSsA<#7$ykq3An&u+o zQ=4U}kCPFTke~$^iU|7#Du`wnrvZ;AJ|~!Iiz&|CngJ^Tz13ulyzv2gRd(Csm*uWp+R3ox@}ji>~vX!R!Q{IPh;5-~uoPAAkSuHEk9v2?NY> zPU2056mhD5MfD+TW@~Gkv%rfdsKm<0E9N?IQ@cOFtTM6b!Avn1_T_dG2JX~Iz@=>v zVei@v4icUgF`fpZgn?+@xfi?viI%=No>!QC#w>;;F)i&*kEH|*1^dAkXvJs&pZ za)NFLq`PKO@t&@!l6OS)Xq`gJ0^AI4#iyzzm~4ADKEviqFJ`aSPE*Fu^$>8z`WZH- z-oijZ9JDOlM->wJv!}!_;&$pb#5Eo7n61xD9BKR1Ju)JV+&`SKTLe9o#fExb84A`>_(@*@ z^3V;D#a2o;2(atE1UF~5x_XD*EXw#KPVf7-#O+^?TMY_D3hxCWK*L?1Azs}|Qao?= zYn7lO?oK=#2m}+UG(6wsqfQe%=b1SjM;PjeP@p%}i&vw=!o5O=h4SKK=Sln>YL(^l z^m7)=>gMY3n24h{FfgFJP6Z1B374Q35J=G@@Q8p;;>KQ@RgckMttz85xI4ZmBIs?O zaZ&Y6#t|+ikoR!o9^rgUB0;S-83fZ9P>)@|feGmQ2gWUc^dLz8)!z${B1`N)*9M!H znBRhoHUYZb)!U09_v`}XlR-V4TvMw+03XxjC* z4j4sQ9mm9=ffPEb^PjrV8!>1B884u5=D9t5NX*=sKr{q_LYXE49&m%f9`+;T4yu9h z$V)G;YlAs?5AUbJse$?-iV=6A|=n-hZC};|r`3TZk#Js?o z8o!sR=BlFNWn^Qq2+^2Xgja3+paHO}*kQ5^qs^da zEwxr7t)<{B+$KMXv}yZ zh=QZ^+`+>gEd3^7RIS4|u0B5jPW3c7IzG+cxOJs8~7 zuS!fPabsCG6&%ioysVg}w+Hs_$KG(iMhRpVE=x(}{Qfj;tjJ->R2?LZNSBfvW zKp7-yQBSDRcU5GtgW`9@nJY0-!zVfOvEq+bEuVkAp5fRh(@OgXdl|zM9QN|A^t3jn zk&!w}1()yHQj#bd2FllmiS-_chncsGTk#>W!9@AP9g?;=0E(PDO$@9IF46IyKK&F1 z9UA#}MwXh0E8ZkOaveVnv&pVPqmP-f?80*xJbD7jQ$A76@n-v>ICo4h-1+*f03en~ zpJ7e~xfLf%k|fNb;Wbh^Iy$cIMyu`Apy?%cWMfb?^0@GGV-+}sfjj3h$}=`S9f=TU zep7$M0c8Vu0+)#-meoftVKR{Pk7Su1*Pzs$4v(Ei3V;O>V<}8W!8RG~M=bL5^Rl_f54BI_^_AJi4vyyPF5yYFC zip!vcKJ8(0^DPzxrN^L!cvuJpHPh9iRY<8i=wbqVo~l>>6g8|#YZ=f4zG*P*u(4VR zmUDU&z6T0`AzleM+J#R*WE&*L=LoiD_2S_KVr#D z>dSH`t9bF00bZcg9G!N-mHBE6uAj9YQN_;26CVh02_nvl%0SF~FXNd6xKjw`BP0PO z-|+j5B2w4R_cP?gp72s(KimpHib2$OzUk22(1mSb&?d}R;;Cw`2)e6Scy_ND!B(o2A#lxZ5jsA62^! zy7pJtF9`$O7)FuQ($Wf_M7+)n^KC>p9E0@2z!os~w2_qs7oWhei~9JRY0(BG$J}!# z8{b}{AR(e^aFxz15GmZ+mGQNW#7<1Df0Md-&wnRn2qO$pfF=^CF(UAd0I9%-+Sr3f zQQGo>>`-COy-LgtP$6I!%^-Zz_Zz(icTklTInMX^PYt*1^)9uj7vnHKhOA?rULj~4 ze(k2>v_&BU@R!{4cl-KWlOyQI|3YUgP2YN3v8)g6GY%8 z{B4lj0^HsopR5xN4YmJLE3I!=O~%6TOs-{`g)o_eCj#w8ZG4Lc=YoG?gZ!nOVdT+dpalmS z?lG5*B>sRz?AO~#F9HL_QMZD1fjJKfIP4>_x3?Gdq}?h6OO5ca;WY;bZxsTj(*;KX zxcVPrK%;oZU6gDU0{iWNEQkI9g~M`$4*7pPI}4H$;t>=GE8c10f=vzU38N>(#69As zq@MH8G%rFfAlfM&tN|ikA3%y3ISpPJH0w2O3~|v4!;H4CP!Ddk&{0tdfnH-k<~Z_< z5L?d0sd9R(-mDVlFM4Uj1I36Ztsq;kKRk#7iEALTlq3XA*nd_FO0x@Y4n7o50eVwBm&QXH9*pG z+RBxe?>J(Tt^{%@pg@C>#-6yp7_X8M zrIezzH-gK8G9Q}>56lY#UNt4Kr7Cxh(~z-P;jQGYNwWd4Y!kltY9a)D97Id@A1L-ydXF;8LMdx;Xp z<-+V}G>T&SFdBg9vwas(K1jfC44PA)zzabPcOTMK=-Chpu^^CktaFM9>l1PTU_W*t z{kd~#RjFC`tN#TB>52TipkOGTsz4a%nD#TV+V268jTo60yWI1YoJ`$uS`KJffpHjY znoxhZ95ji+&i^O86@c|Nz}D!6fHP)jI}vbZK*AnnwyAdMKk@A%nm#dVOYOc1gF1k% zwwRp0k%SVH@feS%QhkvQFiMQ+wO}h?hmqn2AYun(BNFdOJYwK~0Mk!4BmqHL_v3yb zCSl-d*Whb4@{1J@VS%8w0X841szE=B5g}L*4_G3e1&4`HDQW5FGzvzqUB+;WPT;|r zFqRtzvbnNgBI8Mw%t*=KY6DCAnSP2n>mAPU;fXVxI6?-^PB#1_jqU$=3XBgQc zko@HFW0cAJNMA$lAO=I$ASJ+W+}Xnj_uvs_=G&3Af0Ld48o^J35)mgBwnh9`6ge+t zy@o~J(0V;WRIMrg&O~RLlsbvHQ_J!;gpL4QKq3QC%#`P8wvgImY7}$)2=}BKG|76L zZe%#Tktk$%46Km%`^R{mgeNgMgUN`w`;KTKw-G)j=nT@Jv5l(q=vzn6o%6+0CejNW z;Qt%CE{I`cfe^xu0k4Xw;v?p7kmiCh@c@r{c#2_<0GvhewzySM%SZp){b#kfKu9iESsO3~3wEU}!EH z5IZCyG$=%aObN+wKUeH?zT@M*|M)$A9_M`T`<%1Y=ktEQUTa|A?7ynHu=$SMP9q5AQ z4GX*zHX|7Grl1hZo_W4KB<4?>2)xBiTzAYimIP1HeUP6Y2=gu<_I{OD zL=Cd4m6Go8-7B3R``fw2%BWv|3~r)IFC2utDY2SB(B!c5wYZ1~wHY%qHde&N#@-+C zrE@kEZA0)|RC%`9CU1tP2RX^Hx zs)0$oL&>%qOKVv$ZN*Km>-rzC-_1s_M-3I+E%K4(&FUZDpZs`6!#&Evo`J(N`n;T2 z?N_h9+no(Q_Nb&ReZ6hm^}%J)M%8tQ0LRG9G)i;rhyLK5KK}l_;>ZsWn$ zQ;iH4FV?1b>x(dTIbBDH4gor-+@^wpM7}7hq>Z;)WYwU{^#6n|%SNKZquw!Zp+j}M zD?L5E_U$l#=l9Pi<#h6=D}f{yD0GV=_2Gr(O_&9*bNlv)LcBc5`-Bg`jqW{Eyu+E7 zQNT!(zwW}r(zo;4wd+D3Ll@giYXkgk8EJu1QbK2oeBBo#%bcdhNH$N9^m+cs)nWA- zGF#jze-lv~tr|*M*uztf^@>XCxEmN42ty@ZLr5ox(o<*8uA1%p$DTduQ3K1-kZvN<|;jxVgUQinNUwxwtvw@Gy0b32GX6|EY(E$+%!MKoX#; z3W@=dETHP0|C6sTwheMc1GWVltPAGn%U`Vk%aYmn00ZzTWhzOeuU17PvSUkNT%#1{ znHA$K+siqsmBQbIo&+{gCE7!wZLFQbXKo5xOB8+>Y26C`i^odN5XU1VL^GGq)ORYP z{6_-u!vC*r$ULXO!R*3LnSr&^{zfxbuYPCg^O^MGWzv}WYG`gIm4a|A5g8|X^o5aD zSFx8px1cvPc0cUA=@GzE3#0JIAKR`jRCr1Px1sUOiQ=kdW@f@9Kd5>ZOPwPxU`utmn3opc(W0bYo^u2k?9*P4xtGq& zAwbv(S<7qBn$%qF?^y9dWjw9t7|MwgI|gcc%lqS<&M`BaPLcqRd??HIso_sefAXh- zWFY7JIe&2=%F0usPu%K+>8l+vR0`kE{Pqcz)_+5OWw)LHb-;Mk4R?PTb(ePJJ%%Qxf>XqZYi81I%rLL-o^NbQ;u{Q zIWpn)#qC*tezGRRfRM$T3HN9Rw+*-t2qL4!UqIVUPv(J!40$l5;xcqS0OBuziMY=q zbfF=VHOcmBhskr5C5f!*H3EuL#yqO3lz#D>Xe=YQo#U@T6F#t5Xv+N;>4%IQXD|KP zIP`7Vrp+!oHBdI2LMN?+CoDU>uaKyN3CeyVTw|CDjMLHUo*=AptWnucq#uXuu)d1j zqF>zv56#W6DB3TguT<2HR^+Cr!A zvE7&>KnG$SynN}>e)ywNppYe&(%^+y0Q>KvZlF<8`zX*)^fVmYjUBY~cx>1XC9fDH z^Dn?00ti2N@TH&hUq*w^(5zyRZqqllhmio}SzKaJ-o^a1@ihH_*Fx_{Wc(WjmM!<(zWph#i$XnDU7R2F zRrA*q>RL9r&bGn5TTTh^aeVRO#pC_1E4r7PEW7Y1YTUT7XXjf7BzK(IOOGxqsP7)l z7~ZH=(VTwW>(^9t<7^lICp0uq>z|rr{;{Ht&#f|h2gw-_C?VgAKT5}H(!E#rj?(TS z9r)ktGvf5`5BkY}jD2_i?7;4VJ5Gy+S50kZuUl4;68^vi;&#`GMN>My z<{KV&RkNUorLd`ha%1+0`mX_c# zf)tSXRLv*znz+yL>I79|0vwo&aM%E9AId~V-o*xmhraJ@XZj2LMmIv0C~t_l%*35T zJ6kD(wCd`!^i{6=-mfqJ*dpW0>E_?>cJ6h9_6717P#a?*OX>f% z9lgaQ5q%whnyWn+w)REC`60gig!dfL+HaBe-DBhn>5BgZA8jLpsGzHdjpBcjf>!x*86Ch>^t#8&_qennX{#)@x$3 z!SHHAVkBFLF((r#ct6BX(MbcmiVY>4w=YbhVZf)aO3hqp63NWEpp>AXC85qZ0f<6S zt9S3Ijk-->8nzf)o~V)Q5ebFVUfclN>J5Ayc!UaYFF7P~ek zPbM+1BG#4BdF$HrntwLt#2S$y;&1l&l!clF!GgY}c%zbL;aTe`&?qH6+R>VV<=MhC zY3q{e1|J%f=z3?>kP6%daX%S*dCNDMD3h!?Z5LnkdJ7o2j0kY%l<$EDSwW$XK8zxS zM)SicJLHgbTIZOWPGjJZDp6rUPe-hD=p&-(lgUmJAhyg+hE;zqW?YsMK@T+c6;Ebb zyiexa(kWKZV1wl6(D#iAi@Q7S&{F*conQ-iX!mO%yUFUUTeqT$Ttl&xUcVt{bvz16 zD`#^YeVbqY`o01EJPXEWo-L0AmhCtERKYD@cr%E%ck1eu#OTQ;Kg@?8*nn2kcS931@Nf&N&~Ra z*T@Xc%jAI`^+&$bvqm}V_%h-pr)l&{j9}6OC?eKKQB36Y6ZJVcL7bQYQApO+5nE6{ zi8~p}Ny?@3bX>^(GQ?eLKu70&nLQ2b(*0L(oH(am9c$^*|KxduG^Th7 zTVMW)VvJc!+{G4#e!$UT09}5n%jvjIYa0IZA#7gmzB_n7vPK@nF%&LzhfqIZdLh~X z@j2`k=(G*QCF30+9(hrGovutJFxdku2&M>~w`}_K#^QdC!+b{s2Z-y?%Muf=gkMUl zc+#hiSRc@VpH+8HuWQ5@o5a9YZ-2F{a7NnSb?sRR(xbl3v0|#v5r~A={7EAWexv(%4Hu3bf;2ZtV)UOFU<7}tNUnOZ* zUOy!t$t(B#pfNucDF3@gC3g7AMPCey|EKnD&lkFyObx?=R=y4o3wwd}%_@ft%*ZS&Tu4?97OXjeRFR;CR_!*gj+O z>P(tLQJ)~H3As2u zrr-J*f2^z;-kOwzt^TP8QAiFucRrCkUf*smgOO`S)D<3p5NNPF$q# zS9!cl*c`+!ax;aU~I-#8P*)X)$cN{}6B3#r}K->JTdR5#*(x znf}C$xZ`isTDEFcfdgySmp4ccRK#A;W{s~H74Ag_E#9u?5q6NjA71DA69!JTGPRtc zSJ@ofC!2rO-F|9d*}x)X*C{bJ*#oIlOPJ^uk@BJ5D|Rz!Az-N?{hOh|NGAU z>ybY;W3+##ul0*Fm&ejxpD3yg7+-&rB8NBm0p!@MShjHd>cr9UIJfccyrt(Bh(!)z zD0W3Y3NMK28{GLDw{P3_dn0o?#7&yPmsi9>4;`a26~EsE2Gd}IWYAl*@A5GwHtSCY zf-{I%7z!TV`^O(C1U;Sjk?15KKf0JXSKe$m0<`9# z--b=u-&+aFudRad#Rh>ZMgW7k%`my`;e!P0^+5jg1D05Q9?(9^>CjLPowWb(~?kQagKaM+XOorPQdf0r(_8e%`Yy zwqTGPGH}rl0k6j&+aqmq_R9>FcYRgs_oG>Pf?LGnQ5qR7P+c)&Xj2`TZMFn&07n%! z`Q9}p)WVA5Yrt2VmGl7|=pi(M&0EusR82L0UA}p*erMSRwtwM3Z~E|_IM>U<3npSv zQ7+}8Cq1$Z$FOq3`0*Y#b0hG;-~6pITS!>SWMh2|tUPEsjZfc9Clb;^);r|b#(SeB zIla2*g{o?Y4bRoN0f#=UO=psxT^Slo(!o+;4yoO@uMb?lSVBUUQ>&GZ_bcHV(C|o{ zwZYuwny^0Hf= zn+Ukp!QkN#E$WOz_7+Z5>=y|vkKv-2uW9#RafGg?$rD$5M&k%UgKwmbw-$TOu88ij^+4Y} zmDeEiL07MOJi4&F0=0`M1&tGnd&d8V&Tv6$27c`uZlbV2AR4;%2_?ZCYsl^Uc;w(f zae8C;B4pdr9J}n|0%f3peB=I@HR=r7beB_sL6ah9ed3{lMoG7C?`w!j#eJ2wIR0E6dw_ZT`|-leE5DTY?uee=)~&k2fsh8y(} z4*?l~Wbb5?0yTw*u{oBK^k>BF{MBT(3f5x<18Ar1&&l*FXo1cx3>`LnIIZIG(YAR` z^!?lP&SuCQycGaN#EYYSEY|GD+0%CWE7N{2&ZV_yY1t~q2)~DB(^j6k3AT9D^-8nY)3s9AY@o_uB@E=f z=e@e4YZFB`S79KwJ&feYK&t;xyT6dZz$^HJ$rtLC^jt{OTNsJE^qv>{FDlEf^OgAJ z6jb3taVcFvJb_^ZlW^;q#PqZ#G{cE{D%%v7tMlHdqC&gnb%eeL5`toOCegw3Gs!0^ zN;=_o5Rtzew``AlAj`GXnm50K1=jsjYbxrv1>=IB#nWO7r@! za^e4-K=^;q9LFj>I$eVYpU+2zKa6V-ap6KxT-+g2gmCjFvs(+1OnrH4-sK14Kn}B- z^O3HK1Vuti5F3EJd;H=sG{yfF!O1(O%*69RhC)uBd}-;swok1w)NVOXC>xd#ADDTV zoP4x<$AtV2ow+y6{u%nNZq(?%r~}P1*V04vM?f?05-_GwDJE`O{rW}Be@vuaaB;<~ zfU3mAL@`gG*XN3Y5Pt0dO;pYdV=4-DDaKrSy{Wn{RETyt6`+{wrZslR?>-^6QyS}AbXoeu4Ho~eB zhzw+W=dH7KWU7AT76F#jg18g`Ql01+E z^XPohHdlMzO67~u)Wp)Rqr3%sWPW@TPelX5{kgS*2LW&{!QUSJ%uz}nB8Gygq#M_- zD+;jYP)J|!e@K24^oBA94Ts8i@5H+%rt(q6?Lc--9$}eDK=#OAqw?p0pET!B8T$RD zu67APFGZxVx~KwG8fqkwc^FVE0EF1RZ?UYOMwWHhIiNM)L_DGi7OlR%k7npg_RZMo zuVB7|;u$dkYDj7DT}ZZIW@$E?XCSy>Y@<5p5`;k?A(~SDs9;W~BqNs%>RU&ZL3*dO zGT$s>CbXVfbltGsq+O5%Yid)45KlygNcVWAqS?k@(&qA`Rb2-RxEqy6PNj8paJ0)P z1su3k2q-BLPi|*wU-^t^b^u&ZuPt4PI;8KJZ`R-LG3T$hEJx_6@#kMH)V903@8S3J zNR^my=?1=r`+Cw`=~(VC>D>Rj!J5CB1O%xyG%gn`$qvztsMp#VKbCD%2!B>79VY^q zxV+rmbjTpx1)Y8ZIWcUY{*&n#ET~3-|5E{_h`OO?>0&~uwgBalxRO8!pHXL_*SLK2 z=Fd*s(gv!9ubSKdaYuXWKEPQhjj@QR0Qg!rx3K})>`aiBqwJJqdIjCY>_$4%I(0l7 z7ItmbkesL~Q>MV4N8TM5=Kf#m0y{Fj5Is-_yo^B_56klt{pm*KME!W{IU2>x!d}z( zAHpuLouJ%Cv)#xiAPu^*!$ieKj|s8Q>TJ{X0Kdsn0HZ|$>}TQ)#Fb4&5j5*%^$wU4 z(%*X)MwB0aIoSW!g3t#Gb6Pd9@PSd{(cd165j3y-n4w>r(H+0O@V9e%ceNGT`t?k2 zEylY|suRorLZX8A6HUaEb?||gY(h9wc|eTw{)0F$s>!SEU0v}&8wn33?ISyyGJWC zA%0uw5mt`eUt7)98yazKcf;NM2p|VSUoXhQc_H(^!nG+dKVnpL2SdKnC{_F?W@Odq zQ60$R;xq^8Bx(u(#NY7ZBIo&6^1VezD*U0|3#5khx8LzYvC`W(Dd?DX_Q;OXrlV!? zTw*-UfAQ$%GX~Ps98}sMCRdkI=wA(Q^Ea3Ni|+B%z;J-Ka)&dCcoSp|Chi;{Z_V(g z)pz$wC|>LeC=T)T!%HKhUHR{vYjkRc+FQT(0*olBK-@x-%^&rww91nT-@- zH`u5vqAC1Yq2E^((UD7!411Paj+l7k8>rgFmk*I3$L-{& z*S$Uc-e?#pV(z@0HItxj+T?a<*;2)I*RFJB19NY}MZ}6sZ85WhNo#Va_|tFrxv`c- zyIZ#j-bn7&G`n775fnZDu?&#ITT?G?rj(8R2(Pf$*VoZtc;zkAnaw)x%ssDk?81e$ z0qFyvD6#3YGS<04BYj164noTK=V`#|vPSI(4jc%wE#QAp9EGP4Di71~U4f%9=ll53 zQ`n%xbn}^BQ773oZ`tz9m~l#l;TT&?gAtS|F}m!s+e%DyC~pRTUQytE9Uv_-`iGCc znYTa&Q~2^_8ug_Wabn66{547^85!K_ZGxntGlW4JI1Q|Djuk&ZU$mdn@g~^jlTdZj zrMWC9Qf{quMTtRL1Uy+=+e+^;-7jXZX6?)1gHF6h`Fd=!nzFmmT>)aU!WpoQA$bbF z0r2phinHTnka=*BFIUnwE9cn16 z#Ta18wU_!HK0)9kW^Pss!$Rns4$@US3ze}ZdE5Da{`r(uL$VJk%_hE$dv1lNf%5I! zO?ztlO&^%}6TsyjfAzEfcX#f}r8A#rXR7{c{QTdMUG6yBN52^g<@unM^alPxcthi{ zHD$@Gdq6-t8qgHY?~btM?vKA?xCK=NzpzqAls5hd>`nK`paz6W*1tq@vk|cNCu@JN z40plXaVprAk}Bcsny_{HG00ZvF8_*tJh(cp;DW&?el@9B?YNwl?^)k6a^Dnc9H^5mqE&tSe63WISFGP7(&hD)tMgC>S_J5GX1w z(%K3notz}unFmNzapk5Il$3~2l1XFH_R%*d(SaegC^ONPFU&p^7}(gAe_(#d{dKpr zjoiBW%7fb5RVE9)Cx@)2{H0;20mp3k?1!`RN2Z%N^igCdJ2+m5lN(myVw#x5$6%=vJFGNm)hxSxcx5j;SboMESW7g8OdwWjkPGxBaY;_A-DKp^ zYk!ta?o>1VclWte)o3;z8rJ*&8I>Hp)?C>=JBRru+|Ez=E{j~q0v_1`CU^Ufupnf9 zj0f*{vO*j30|n zRU?Y$V`DvI%EICqndmZlbO%@bo~cQTQIb$!6vDoqs`z$=RsqLfYV`-F-W;AE68RwN z`m|PRqGn$X?FASY%WV-IzsJR(KT8%oG|KJ?V8krg&KnU89xiDu>PIg6!1nU zu^vXTvW;S#ia-|n%ISu9gS?B}jl?Vk%MQegO0W;szP<+zG;j*J^N$wbKa}-WYP0l* zExw{E^F7FHR++yr3SD@Wrb<Q3Bih3to8e?Ua? z66w~Uep;ne$WcV{Fvk*=_8=wicCFj;j$vQ1^HM{s11Bs4hDx{?cjeSUN{y;|-b^7u z2HOTuA>9M@HfmLyR$eiJLB=@iu5Jevf zU4DFWnRkqoFmx{f>K%ymDW>TNkYOHRzwdt;g~Q=e<67E;EqHgRxapX9l&8Ib#+J>< zq4=gDL*lv_wMH((!tB+r*HMUa^g})!!f15^Y4X0)U58pJxOX6nT?wuW zbwC3j5>ht!a_oOXxH1PGW%Ivw$oIE7>a6q8&HcWW?D*Ua(L=%RhF9=5DgQZi*_(3B zzrSxKg4plx{Vt2-Q5L*1xF-D1^RCD}*rQ+@dQt2IfKb%npTT<8<>`O_t<41Kwly%z zWxX$V)o&haSv!T>zzCx>tZ5x#BOuy^r;O>9wK`yJ$w5Sya6JDTA_c;9%>1On*RN%n zD(y|$eCM&n!_+S4ZJb+ z!HuOeuBWt2*_|2DcYFh{j;C6j^E%q0a?$FN>`{+PPnMqSQ2lOJWXqW$k;l8=pFB@( zmVt5|gFSuJYCUT9#~$Z{o%h{1d$8(TvYqX~8#k9~wRyX76i`+A8N)vTPhRG(wVg6W zbn^_R7p(iSKY1~u`)>;j!r!pgbNz-;T!%oS%Q7_nN=x$-<#H1Ag?lzGFO){L3*N6- z!er*#d>R#A4<5{yidzEKore#-$ZyXuJxi6^$dz_Xv94^87*eZ$$5%6Grj5lS3gpxz zK5sXJEh=oF{))@;*8NdZyR2y3kk{_28;7VAGWLLu0^&xUCJ45sRH^Nr?iDdnU6Gw;1U z527LqoSU!`_39jI*u~scqS-a^GY7LD$r1laspm;e+wj;BOY0RjHkPUA@YU68r{q7T z9wD=Cf(g;0K#1AVEz@E+evm$Pv&+_SSdKKvMLeGQ_R3y^&1GtUK7~+d?+Tj!`f+vyXVz3MvmnM^&&Zg7FOq|<>5=!X zi(MnSStf!J@TBmLi_>jy61SyxiZ}?U$_Fy_1Sm>nTL@RAHyN8cZ&oKE;HoWa&$%J4 z1WQ=dHqZA7SBp;S9rE(k;3UZD(xi_z`jBH{%bW_&- z`->Q{<@qWra*;H0>h`1;VF#6rJgz^KKbp;>?8HDB;(BXY*{t78smW{Yo#;;TUsoq? z@!_#GPs%6&RtpnTCHOQ3Vy&V})~;Qvj-x!hi9zr089nUD4S!7!=sEHT?s|+1$;q7R zKco?A!K*Yw7ewsE<&pY+yEEvb;wlM~eg4)?>C<-L`-4?%k6h z9PQKlL|edJiGrPe4z-;(((?u-biB@?-GtL*_U%o^2YughGK@MkLH&fqIG+D_17NI&3nTPh6oB)<~2S+^#00 z`gf#Tqpe+fS`HG|ON@Hul~9pt5aF)Dcab37=|}MbFwbuWrUrqga^`%{hLa;Mkr7}2 zu^ja%oAcDvYPrtsIiA%KIhKJ6Tt;ghoZ59HYvVmkbl$A~jm=REaNX%X`Xmwv-sC@|NfRLZbZkvSlW6)!bfKxp56`5 z$kljjnfd88%-dKN$|;Y?DOcNdbHvbAOeIbOm`MyAQwH_`i`Mn`{wpp=>2n+xU0=A?I6mKS&r&9`XM+E79P z2zC*;STOg4^`jAEnU7VAHu(z`dWpUVqrsG@R5 zzrAsyS(C_xjSAj3&A<{swLyc5LtD^1NJM~4RWdQFWKU>gaet~-kopFnjf`y3r%xZu z2I`({NX~qX#le_kGi4D@3M6l7|7lnkqVz1VA13Aiiy3}Gb&-PjBJ7YMw7JKvWvL=B z9UC?qv7-Om&wiJ`c41?$G^}%$+n3r8v&T;_`se_r*}NwaK^o=Yp44WmhT6w0xNI@2 zWAZLs+{8-D%H%)Z^dBnN!Q0y#zNGD+^$Fz#u<@S`zMv0&1>uCpOH}oAwbcKd+y(Rz z!QTNUsEb4Trt9-w?KiefmY}$Q|8@qG&!?YR)Q;7x`n_99KMi(JSs{UP*sueQ_&DRn zHB>d-tn7xao@>Dk1l)R#(@v(}jZxNSv#{(V&_TP^0_v})9$vzpY|`OaE-v7M^2zjSd%S37*wmf30x>X zQ%}|TbV!I>o~`GYV`{b1Uc6X#y=V<2y}{`{sJ3}ViIPv|Tl%4SpU+=k|Q$C107C*NsLV zZ|Ug#kkt&l3>q{D%SzD)r!G64%Ux+-X`Ra??ADWk8|%vt5VvlvetO>I8WbZ*7GXsy;aZh(2X(ux2SL(2s^xGFD#K z3~|iRK5o4~X6Oz_-FC7&o*vbhp1xy3=ZpVD46(&ykSLLmJjepa6syRml6~j)tc*>0 zX0b*$fYc-Si`1^NW85|ftH96Z%5tsP{@&={P`9Li9$dp}0uEJBD>Mh<6$+4eCpBx{ z_XCTfbI!q{OSi*`3W_LvZTrv9Hb2~UDlhHzyFhz!lq=lc#{H#Oq!VQ8oLkV4Q774+ zF7r?cfeF=d{l7soMlePJ3R`C!Wo#SkG2uhc0e8|q^4JWq4dG7&%bUp}M@mvtQe<2P zo14X`vjAX)20RZnb>*MCnI8W z_|TIlx27$bQgi-yY~Sy2bO0OVk4G#>^QADXInXD<3<7tDPVBr5&@#2_TK{gvUzQjQ zYU}taWctYqIfE|UtsHbY|1ZbjGM&p?C+FmhG%Zo-`Q!W45qr`?E`Ram@1+)k1Kn;c zEuEFOBW(Qt4HPf6Y{x7&kWu?YNO*V}(`@V8n`mxP(wb$5OkW!T5Z-v$3N-d~^B!ZQ zeDYq&V6S(T4|A*&Z)F%O?)CTCojhi}<@*+gH>9T;IVY5-8Wm*6+8QlvY_2qChL2zL zk|+Kj%WrJas|*dyN;lS}rm7V@d&k?i_UsB6G<0Z1>Xd9>jx79CYe_UfbI9si0n@Wj zZdTFl_+j1y_|uC~QT4Z;y|wIFau*eMhst|akvvdT!`sJcZ=KrJZ9(s4sdwgG&8c@e zI!(_xH2&+xc%S6%b6lQh@B31DvF*2mX}&Lp9;hrme0$Xp%v8q&&o}{JMn3yXtCfa^D$k7!<2zZ|V@$He90_s8;9Bbr`(4N-~kG z4!tvf!QtDs(LrocA&RV6wW^L{A@JdtQ+QQyCq7T7ci@6~^E|{G6Fynt3IOeG z8h0_x5;V*`HekFHKbA(+Ou|8sXFX>(mdnb{L$VdptDM+uI=9 zt`2;7;&#= z6n8YOs;cYny8WwBJ+rWJZmW>gh*1I1W2B1vSed0F9({(>+5nxRqR(e0%;lL?U+ud^ z2}5Rn=T}Ob^_#*I5^|qCk^Rm-RjpdKY`o$(rK7R2tx=G?OzuqNmC~_c{gpGjbn6DN zZ;2x;2qU#?_vbHNy;i)9jEXuQ9IPxngjx7t# zIW5!q!4;oArSTg*Tmp;^1(ofaeVX0k+7z?J12s%2Xz*6KrP4|Jc>8!;Lsk6y|67f# z-LH-?ndcV#4nYyof5l8T|9}WodtD6}?b4oct!wli-(r&)8yvZy_h&%3hq4*1`Tp3r z2_=Kcg|G3^^{~P$;%l5#G+sfQZwDN|*h!Z=wq`%lOSRdpy6&sTsL)lcLq_gy9=9!- zakw?^oPdqNGdj7;0wv@NyG5UD^yjjEkIL7HOAu<6KKRKf@46}!5>2uKijkB~J|k1| z`_)MscWkD8e)C3$DD9J$UBEZ2iNfN-qnTVUmWt`DWLr#*)saSx8bOPWfiQs0<`x!) zgod`*W>D~6Tfx5YRysqwl)gC{Q896mOC7iAC+B=-G^L@cvnD9SY)h4;P(w5>oTm?b zC`^NVJgQ(wxinO^Zo+?xK3%To*Du+ZK@9^Rc2da%t*^#kEYS7NQD!d;@hEwjxID|^}(Es4%S zT~L>_9c$9~!lPI3>g3o)k3Bv2`^)tGpB|ss(zyPdIdiJZ2h8GKG;Fv7hI1Vb9I75; z1pEK}Z1N_(X#@An4>Q@pPFE!+;@A1OrEpOnt{TEj)*pJ?iZxlAQHR&$F$VJO*~bik zO~`%ijvbShw}+0Y?@=o>G!$OU^UkDnBH}tLDzl2ka?=w!FL0vJ$lh4E2|k7 zjKXUI5rGR9Hth25)4ZwBVd0dx@Y2M z5+exi^01f8)Sv)D?8NVt94e9vBF4iu+f`=_SaH<5?eL~ecZ^#w^{)$m{nd5QkRjT- zx(iiR$7`#@!L@DdX>XS_E6DKJi4)@%ta^cX%w=wmt*UQH&!AYH}TH(rc zfSAC;XtH&<4&SQd-idK0hL7*ukxie_nFYu~&LAK@bOY=LFPnlWV zM`P*CiIkA`6A`u3k-Sq@&8bwl9{Kiaxr`0LHg`;jrdY{Eo+6GfIe)yT1`=tI&-Z@G z`xXc_wTp3lCPfE!VS z3EmE#jka1pJUc$r30~waD=#~OfYF+gexB>io>XA1ba1!9BJ*v@yML@7I_COOZh%r@ z#CtMk1DES~JS&OWzhF!DV(uo4K4q$C^^}a!i&J-vIp&ITZtR_idk-FT{aTRK44kMp zS!z9-L)Weu7Ot72?f2x{>-D3a3_UnizEt&}>+ReOR6L+FSL&a-S3>jqczT=3!81ed z%bGw2aOhR!KO6Mz^s|Jz2nv{GS8#h?HEkGX9Nie$?lDf=0Ev^?rt-nkhk2zmwwMgz ziJSeXuW!c=QBluSE7d4=Y}F8a7&*RqyLNfcDoJ%U z9q z-Ckb9#!O5dLwabl)oaBbx-zkPFUR!f*LT?ctHbn*_SY8T-ObCd8(&Ux!iloxeuIT$ z_;=^2A-_WYtT_5Esu{~-S-tZ+p#qNVR7l8J#*cV}BmcTz;&8_*l0&;JwdMzPjvHVy zciCro)!e;Ji2?UY1a+dccIUtX3O}vDoFH`w~5 zx1^xL@|BNK8~+Fo!=SC>wAD-VA3xs7oG|*L2JlN0=FRhsC>PZl7d#hrYKpa{w+acG zUt0U_&~}aM5`_2c+n3s;Ctt7jn7IA+vkn$MV-ni{OhhesW%0Q**L2%x`l71glR7u$ zO?hF&;>Ci(wum6TWXSE-ty_BeKai1n03&+U7uqwoR?4xn_i&$bqmJP3Xgz#CcNtFu zmJYc~!jyhaP%#Be7J@SlWPc+qiibju>&(tg7u`KENjyX)0nt){RTGqi&5n@am`wA1 z`{T)l56Lqj3#EsNEVMC%`RAg(E<3P#5jCmphSAlpE{LZh@bKbK;3}fd)?0l zh&D?nP#UZV^uD*JUj6#D6oUp2KG%PHy5F{m?&L{nsvy_jHaWPKf}!jVLP5brzSwWp zb)W2qKY#?wHm;;AtIq357_zcTAvyY>a(>1d!MxY&!I{hnoWIj;qcz#$zyQno^tDE; zDy^d+2qSF0##C&78md|rvTqQAS*!!dnVa&=dit_wPMHQt46?e_5`=>?kAll-b6*j_ z$0>uPsOmj|_XEo&=31SwOCmuD(0m8+CERNJXq5IzOr-W>@PzWbJ+5a=<_sh}2`rCe(;P+5 z2$FZ3Y?{=#e?F)DGc0*ro#{zMnWuk7{%3YB)oo;3!^jVJ#tIKlMiUHy!35Onk?LDC zdQsFLN!MdJCwEM&@(Km+o6IP*N}?OsLHmvy2ZhpsxT10AJ&S+TICO-M z)Trr1tCUj*dOa+?Rdg}zXln&MMOg{`p}WRmHc`vetJt#;H7M(ZQ@LZ)ub4f7o&v;K z;PLt0Uu$EH!c6Kx=LU>e|CIUWPnr#7Foof-nLT|KuABuqZeO(u;JPSf-BSyb(mJ@@ zY$B1B5>ayn_0Dz(##(Hr+}YmFx}SzrK7_F?u9+*`XP<7aqt~`OovsOpr%3mnmH~_k zxIzvrO7^8;DJ6Vj*h_i0Eq7%iBcU5#H8o^rcYBodPno0NI{hRZe;SnRTlxc90|#C( zsc!wy1GYEAS}z03YQbg1X6 zHm(^-_x;d_CM`bal-O?E1W3bFmv7lFD9W4CHxgLNSbFZsZ-K-t?i?*5h+*4`TXK+# z9dxnwaokjoLdyfXJkSqa^@!zcduu{14mIFlT*9%C44J7Qo~<^{E#h(|-hM_i7*crb zrcEO-6K678w!J9z2%jI~7~ghn%>5pSMd9R9Dj*(4-5B>GbpT+8MQz3i|c5zO-T$YW$S8W;wwPrK|FeX^pi=lSVSdf?%d3I@|Y zoDM_i4dr2Gr0iIAKYWV^h`n$~8)?`xgtcjW`DVDxQ};`CD(VIuKR(mgIH&yZ6@EIe zEXC%#1>8b(@;mr`_q~&TzQpW~Iz0y_nA|WKVV5?)b5oorEEs6|W|qG-aI{mfV`)Z} z8yQo@O$qCcw}))u@o^*8eZFQmp@-Za!Bmp1-IUA#W{ei}-p{YSy0||wh3xW=&HpM#6=s6wh>7bF0H)hW8`R-m}Q)U_!#d zFNuC(Lm4qY6&jlOblvpHlgALy{nF<#I9u4>=80dGo8rsJH!NV0cRj1ahcuHBMg?q~ zQT0q!f>xkS#t%C8Bz?q!in`ScPbME8{rSm{Z%>4Nd7E(VoI2jC-|pUK!uJa8YY)iQ zPb;f0-RvNW2XN0IuP@eN?d+@a9klmOJdlPIw|eA&m$xi#cX(wT@MZ1yqh{fshP(8G zk>dT>D!qbv_!1n-9^mQ(8}pY?+$K>_~7_myl@12DO&lq9wnbi!M$Rq zN=6^m&!r*Zxp(QywT8(su(yBP!goZUJ~j`tP6s6ij(+&={KGF_zARchY1zL%khbQy zZ-cWN$BbMbw&bnD$5)SZRsvIoOMIKX^2w#055moT_$G}*bRDOU=DEp4bM(4ZR#uur zg6t2EMnxmCi0!f81Mx#^*|ko03T%N}aVM;a>?ljVT=c=EhxP&|sUbgQ(1D7&MQes5 z{&<_q4!090mR_%JQS*2j*(Eg5QdcT|61xs>O*LC*QD4wfZJ!qsHdLkhyIW$Y90n*c zh&zSC|CS2b2VrBA4VRyOrR#LO(3>>)Jm%ERw|C6fmg8NvcmMvbzt6w_;K5Ts%C}L= zSM_@{`k|k0<;$-IXe{Y394QfQ`QhSopG`JI4rTUqtG{hrJ$gGCBP*tcNAu79w;v0s zR5C>SPdXgX?jJX8s9W*f&H3~kiZ39M`%Cl#DJv}PAXg}JkDWbxbGa_S6 z9&2Kf+akIGITp>u$0se+3gj2m9IjWD*(UMS=1VC1p*Okpk{JbJiigd&h55+|KP=44 zIyc>s`=SY(cjNQUA3w=TkeTddD0fygXwcwC#Z{e_sjG&>=k1FKXa0o_-}&LqJ9MDOQruE?@Q@+L8QPfabOn!L zPaf^M5pOc-1wu<-A?J#jF=F`dJGXs7Gv293k4a8u#>Nd!|LL-Z(7nCQEC53G*OOY$ z;!gNf>{J15u9b5|4kgt?DYm1}mU3ew%@WZNvAR7*8BkRp4^SalprqB9(SoN1RZG1l zYc@7H3@>0$=PuNYF{YCrwt-dWAGb}uHZ%K%(M$&%R-P>%UEP}OYhRe6EJ7EMo&A)d zq$|cJoAMR5Pwkot`toAxKXFDi4ZH=38wU&5_mi1}9$G{fO^om2vLNzGnPz*yP{954sXvt57YZQ8W%-J9joUR5eXQv?os3ve_0HAuJA(BPs_O z$Jo-(^X-U-%Pt%X3wu4f8;tGCH|DkH4EFD51^!1|mW_H#95hNKP zTyT+?+dxh&2;VI$X!>zYMwLGa4hx&Upla=~tQ&sN{k)6zQpFI7j%Jt5GBNobaY1sS zeaD_X>qGKyThRL&!*gP8^Nay~HukIyw4+u}S$l55t4j1TpIkm|?EELGJ40D; z(K{bS<~&QlRt&SdQk(MjDG}HwB*IQ9+&HCse0_^5&Of+>b6py2D+_Z5@sF_~5!DKJ z>Nx5m=_vEoydjCI4*N}NsM@;bH}HG-4U&^p+^?)vI&Q6M)S3#GKmStE{=;R+L$3Kl z9Mx1a`MpM2%YSKl^6+#W2azq*BtZ`E|E$T)*4F7c_SZiZHpgTxEf@aqLzUnroFChw zh;o~MEjc%PX7(cH?Z6{T!z@u+gjNGfOPkwRPy8Kd@ zn9>JB!@3H2#tuTHO!W9iFa5SE;!B?zta7~Uz`{^Nw1bAb+wMRn7hb~Hj6HK$(Jt_$ zxcK+2;VPj$+~&XL)89Aw>)4r1W5>D~KZ$ufsu}oDM$V}pK6fzy>-|0vPAV%ba=fMV zF-g7<7+B4;X6E?)p^tn=Q!}hlWOPxX-*sQ1Tp)$G?J)5H48DH-x-0mengvy~2t~Qz z)N!r3_#h6k!9e$}_j)LOD;k6xE2^q-Y?$+NhR=eAt|Jz0u2?YXhunWk9<$wWqiD^q zi#ToCv|$@Rbf4OFj-T`G1O01L2f`akg;5mG06co&qWSG-R9?0(tR)mS)u(C|khT>q zKu<(b1U)Qr>?v;z)T4JUA#@%?KC*=I%o&wWAWcMRB^MPsv8{~?)+ur3|Iw6Mx_jw zE&I!O_?NpUo!d3At8)B)7>1fKd2P8_;A8wIiWjEPid~ca`1k+@Fl3_vqZ>3*9+s7} z>%$|BiwA}tZ(|c`e|$@hO*H<14Y4+)Wb(Xk)nfW}6KB^v^x}9-Lr<*P;D$^Kj z)%^C6(RjTshF0>auHUesgMV$m!-pG2F3jt4+1M_z1r!*~BgqlidW?KM6xjuTXi|9+ zJK^v>J}ophmIgejUY-qi_S3>2yUU+h+0hMBz|Pm=u#Bep_m@az8FckA*7Qu>ia$lYjAl)nQq#FpbvJ43ncByOl9FwL z^%cY5^V+kX30?;iCWGFWzUKGxVv*BF_K>EF-Kcn%Fy zKe9WasJzdC>=lC$5bb)qaMh|+(T?7`cYllv=zD4R@|SVzZ9f$hSS*T%7Gh|vAz$Mv zY}=a)p(Ea;4t@%CvgENcun6jA(eAVYZKoTTjKEpwI3Uv+(!qpYcq#ceui@GoU&l@%nYnOHI->-PupsY_3ua5XObC?T z5An!Gpl}iD_w?!T_sHs#Ec!{bWdDx)y^`iSO- zKJYVcixz^+N9~X^$&tyOw9JE-V2%h=dXvi>bhVo9c+2`KhYfFFwge;F#uTcEsW_nG z?Ey9o45zBW0I2ZYY&HPbN4eN?Qe2K*vSHUOBP`d380uYmppGQS|qa_N&RenrR zrUg8lkx4$&!+6MQLSVK3q^yuh20F@%7axx}Fp2RvOZW)L#Im)+8PQ;RJ*>qSY^JmR^{r9iCq_D#+{ z&{`kbyC<7CWZZzpPE3r3NC)7xHU%t4Q~_iY`4i7v#`jP)vCM50XbX}be9yAcbM0Ra zhx(K;3ad!IzpCHXjgO6-o%K+M$YcmOeD?Jq1RzYsq>=?z{}OvcOC=ReQAPxr^Xxr@ zsKvXdS7V^ikpj41)l2X#LGvRXGjbM){3O3{zcyd~j$hJF_dyvUM%Zs$jJEU2kQ^j~ z_RgKlv?k)!O|m}d@9&@3e#Q*PHw$hPA;kTGoz8$>hEB@YDc{#|QJk193q7chh`-XF z$gWzGSAHS9h^@wnukT&jJ$}Y}=J>`?riut3wLpxK^Dxw~lwrMC&yiQu)QVC!WN&v} z-N!eU9X-~xdGk67uJqz1PU^sEI`9a7wVYb+7{>_9R_?4R4)+xexyFV;2BxL~Il)H* zKMrO(hRZ3&+&`+Gs_nqlb|)9CFp{Rg#pq}ZisC+*^Q2MNBe3O4-LW~y#pOTJZl#ia zQ!zo=Zo{TCV<$i~a+}b+yczK3j*)5N&$xf`WZe4BEq5^|x{Dt*D(}c!I_pWyEBer8 z@~QlACA;RJl;6wWJ>L9%*~$(NN*s`~#V)(#W;4X!xXq4n+J*mO&4p+Et{$^p)U=eZ z^rIfK5Zr#o@VIp&aiw!YmiS05yJ~&E+GB)cuk`l&z3JWw$Va#vo=rNmeC;+NyJh~; z073#-a_@x1gMJf@PSS=rug-rJw${W_SV#W+2lQBjFKg=kx4K~u>MF3yseQ<0IsXqP zrRB5CzL`cH%g@k%6(9ex{h4Q*_4wQRt5%(juqw3JVoNC(W(ayb)xk{_5g#H7crDJd zTe2%b@kmY&-^sEIoNh3_`r{DF)38)@WaY{b|MH!$H#`{bGGhZ8sgK3qx3)_kvggZ^ z(N>X~R6;-~(8dt|Ms%Ej03Gf)ueW`ZY?U7PI(jH1=h2zn5g8#e$b9^mSoP%PyyewF zqt{Oe%0%tb==1x^fSgUl2qc#=4kb-5quSsbXI4t%l#c?7;R=exEr<7x^83Ta#O!iP z2HcW82F*S_H|Dpv`61=^yz`xl-t@^pVDS2KKixlV^e-O>vmedGC(p&hEPMhgK)wxX zpUk^=2NYDl&dqnbzh5uU&d#kAHK*4&ZSIT+IA@=}n4z@D<-^O@bmlHbMmBQlP@bD_ z6}fTds5U?I()RvFGc5-kM1JN@{zGpof0K%z+^Nv7KJZ;9_;t=n&`xjg2!fp&4VU235B*GOuo8?h8GMvQxw?dnZ!BNTNj`AYzt9U zc2l9$7Vo0*P zKk|h1zUS%&h+2G0J(}?7~v) zomdAnK$|up`(0-?d89xUA{M5(;-m+$&V9u`Q=tGQbV7{HIZi6ts{xQIuKc1?wf^>6 zCUi*1KzNQN8UkY0y9E=B9ziS-!@K<667Y{mQfv6|N1-OVuu9yZ5 zuYhNl@@xyIm4AUH#Uf~4Kotrgmdf5974cte3RJU_BJb5pfHHD~AiMHEr zEnAxt9{ye_NoWj)5uhn)?utHdZ6T?;pk)DxgAY&`nZG~7$mQex`Ikzu*Y+X6Qhxvj z^|klv!`c_x#}wt6KB;)nKCvqI@v0$(BPd#nttbnQZ|R4slp8bkK)+WvO&|QD1uz)a z!)E2mt!Ck#sO3#`*0%}Rn_k4*<1yO$HC}hv=*7lYE1TayGIH`>J*9mnI-d7R+>z9y zHXn0L)H7;F*WJFnB#=--92uh+yy5*)AHQ~SQS(CXlaoC2Y|%EU(zM_~|Nc$8xINE`6Cw zd%T~f31r^Mdp+vtg?;qs|^ojwLN4fGdiYo3O zagOwjjstoN89|zkh?qI-5*3_nP()s(o?SUtgpBzhD5D&`BIay$H|J~rtfvdV82m9A z*=-+_{Td9ak+X#Mv*_n=uy5DB6Yn4~;J;G*h;@iqqHDhPrisDP8%xJ>IL8Da4d~t&N$mg2EJC&C(}}&*`6@E8{1KjOcH3t7t+IhlOU+F`YJL zN^ScMS8mMtP1i4T*@b$Y`h&eFmIXA>Nn{4b_^nlRPTsafGn9@+pZ|1mci`ij$P|_i za9sI@;#sxRQGGjyOz_9lWLo6ot6Xew%pIj1Abb7O*0DWIjX7}HZpT2K} z0_s>`yB^K!0}3d}j$OKBwxHkDc}D{Ghtq4x(cNU-%Z`{4v^(v|Js%}DB`=o~+t@QG z?TE2wYGzQ?>7Ow>Y*D+Hr($)CFD&S7I=#JV27}vb9XdQIx@$0_TV-Ia6iyK!-hlf> zTMPz@Nk4it8jbF*7&NM4z49!bu)VEkByY9O!G4O9UpQ_!$%*81;Id^u4Yl^|8{>y| zIBVC{#YAV?`j;lyl=NJZmSAe|8>ktvtCGSnDAOjM*m$gAAmAReZ+s* z15O)lhWiHFcF`4sUG5kiIhRu|stT$af&;HUGk9wL->oz?>&KeB{&y=l+K`!Z}m zq_o>UccBAg)aABT=hC|EYVS-+(qHsJ^u|DKR6i-snYz369WK2JtC*B%t>t|i?wt-o zKO?MK;aKWrnEKt^@Hdw>ps(qlHH5RoLAGfyFN=I46roPG8=`}|(7=lMRrr$5@&Ue@}o&*%NV-}imp*L_{8 zdmme2o$kB!FrQW1g}QYN8yhJv_FC3Jt;!TW3WL7bh#0Z}n9I(U_DQLD>L!jmWZCG7 zqvh$cPup&;PF;QK51)RztoMY_3I{c`8(qf5vr9uAAo7pWA(V)?{&? zfSwh`VmuJHs*EIIxdw!ld{WI7T0~IbvWTE`epK$!y8yg6eN7?XQrK&)i#a{QwJj^N zYA^&c3;J#qj#7<#gx9)QN$~jouqkgjhnwgfc=|C@H;pZqI_?(=MCb(WE+44wAAh^b zTa^nXSkCiJPx_10K}qG~qeU@{?}EsIA={o$!H8SneUNwxwmxZ@XZ{+{KK=MO1mr^k z%5n4q)kNR{rhMVmcW_%{VM1(J=X9YMC~nHtt}BX2Fz^x_5s%{I5d_`>D}`iknT73v z&`-i=hCdqu!GqmA=4M!4C;~))O?$`q+4eh~n=$H(q!ILFa?Q)0M7mM%@J&fvL#JlnSnVNjMo5*=Uf-;xU3!!;%icLeoNFY2fUI~}H6R~1Bs@cHO4h#CZ z{2pV}>0LW4Ai|5MpvA*CP=5GEFUB*=ZPb^l&>!h$q@@L2e>spCp!AMS{@?*3l3gpy zq(FE3xOnsXW^J4AUkwoF-Y(sb<+H)_#8>}*WoF!ZKwe^l2loY?RvoA|5wN4D?dQbN zkJ)S7LlOoQ$NS}{@TJVI)@)ARdW;acEe2&<`Wu7XfT9!{$h2p>%b;& zcQ?jpyUEZVM~Usb03#PkEIo7-bU@?*$PsRBJ(coh^N)%*Nm?mGwc({R_dsn1MFi;* zf+LP>95UAQPxG{%i~R!x5ApqE{`2=69GgC`uaz(8@9S$+cF%p_kfYdk^a|2WWj37H zv|TIb-M%+DSu+?qc2Dt8Zm6tcJ9T5r@?jS5>`!SXf+u9RT)GTU?PCp9_MAMHK6 zOVYb-eeQ2;t8^B0RCk}EEaNPVebmyulWEECw=$b2pB{h8lxz08*dJSH5bpN4ryW(8 zIN9cK-s$;ZMpP72)B1D6I8wbI<}6ycdU@^LO}udyU;3*eigiEJp;aw^iGbvigEUR& zr3Q0U1%twJ*T00M9eq=Uwxp!463s8cwG!6TV(w`=z1y#nw+L{O6g3|j zF22j^7|~c=ywT!c?*Fp3_43-ZXax!<8CWJ*`tRA(D^-pw7`Yogw0D_hL2o=izY47C zTfsJYl$9l{J57Z00iObI$ZfYlRZoVk2?P#Ddc%t5SEvfGv?j!*~|F zsK`vWeO|Kz4esDb-xOp6hi5WQp7UTGa%2?Z zAD|8a$vfXHqLuI2GSodZKR5)Tqi+y_$%*SE-)8Yfh?*yBWW5FbjU}E)2|~>0v1|wh zbMf(MY4?EXq0dj$FuF&V5cva)8bLo38FUcP{$Vtf+by%es>i5d^~aBdg@y^8-(H&t zz_`o+DH;X=fF^suz=ncq0{H>XMGONyO-g!34)H)qp1~rXn+hU*$`An`B4>1(ME$e~?rBodSMHD~P@0_74}4h}u9 znoNNTUCzZUL>uf_h@%PS6sFL2tpEfnjLrb~+n}g3lvbmmmE}CeUz?&`Y>?hMIg{l$ zz7GteN2#fNx|+~Cg>(d&SRw~A%S$wQ*Rdp{POUlU!hq%%co6(s$wCoS^^73}u z0t40+ke*jI6bPqhWQ?q}Bs=i*s!PYn0u^_3bnNNtBhraPg2gt+&p}U5&puC!s5`p9 zADMFADefE!PB}W!7&YyJR>YlC`SB7rSa6G2E=S}mR!(|uNU4>@`xLzZX%x$_Yw=c} z65YYSkA)@?f*Ut5y9DeT)W}@EyriV{IZX;mN>vf>N9~EGR`B=l-@SSR3r~Y5MZu#5 z{Eze2wzfV^_uU%!@uBwg_46YtyA%*LSITJ!3WqG-zfCbrc$zwzS(djjtCgLT!x~jk z+t473Lr?d(Wh_@oo=fJ$f2VsM1cHphiJx_)M61~cz^7Z+1R;d`- zT`O+F3ZV#dG&~SzQh;pNXKAU|MTZ@UgMp1r)3|3%cXzkd%*54p7r+HXLLR^zwVl5! zE#g#c@wcP9j;g5CN<`6x%28WBPp0Q>tIE2D^%~$X#{na57Dqcog4HpIqyZ@&$-D2* zCTET#S8q6fZMZG?gM`Jr)F9CZ+7BzNd7R^T$>SMSqPuidU3q z#;vUODf#W$&ndTCqr;k^Nu2ICmt=D@wNKA1TzXSeoocZEWWxeI=LRxHrJWfbyfEZX zccnly!IEF2pRPAIem&2xPwuD+p83hWM!?l)zuQd1*x}l{S-Pyf6`gC7qa3uI0y>@M zX-wxv%wB1_(Y@V0l0UIY@3+jCwB&+uwI$A9gA?D?x>wC`UnM$-uMF@@>kwKW7dte4q5SJgq&g_#*PB6?KIOr|Z1k^Q;6L|;;j6|a>qs~MGv>aeg=kvhZa$|F)F)gw~4!k{<9?Q~h?0^bHzA&p4?uj#l=a_*BA74nk-O*IAgs1_4^O<4vn}d@Wl-CITp-%b(Fso`eL$t*PdsT z;=Ti8hoe|_ZlGP`doO2RW%C8;p&;$MeX6G?>IVW=8&z{W5(#coeYt0_yYP(#cGsnM z&2EYp6sjbc?312`aw$8eIPXkPZl-GA&D~4W?a>#u+Wba85snS>b0i=A!n*&M<(Gli zLwVk%ChWrL*TSQj-nLYGbjK}F{|H$KeSL;TS$#t@^<3lhtUSfkb%GUp&!}6RqBZ;-5S-d(YJ?%sP~NmbUEQKd~U4oHxomq&C&RP}*YI%cE7Zf@qee+{Yu; zKb9VHzxtf-dV}50$7WAlps*w!X=T z^17v(`qP}|nby=fy{J8VZeGgCm%gCIInN|m+p=(OX<;6Pt6^^FRHgd$cMsm4QrREn zKYt|7MQ{mkSfHx%oR~>6ztoJ#kBC`uJfx*(W@m?Vtda^%WH z;K2N}nVz=tlGa^K+x;#2#}p0Z`k%~k?$?@idEhqTMD6}dux_W4`>lVEEbTWUMrzg9 zo)71L7hHI-rTA=iMV>6ww2cc!wf!7?_PhGc8y~jT6!AD*_@;f~yPJ+?$Fgs!Esnq8 zR7f5jqFr-m_-nre+a4=EimZT}Xa2M3Dw{z~XUzi?cWN=+n1=pGD_R5^Uq`?3me}<9 ztGV*gXJ?-k_~?xvq;#m{9(R*HpxND07!gsCT|4j8IB}qEq~Pvkhn8t=-buy6mCK4f z;uL;c4B*3c-))YhKKg3lw`g9-Hooz8$qfVkFmtg{5d)tf5)G6kPDl^5$g>?aj@onB z39MuAk9Na~SJa zZ_L3{tHWIjqCS6r{L{%y@&LzSE57Ri;@RA}f=Ytyj`RtN2gCH3^9_B-g)b(+XZVk& zofbSMR300<-uiR?yYWd558wJ=afP!N*tKVBi~Zhxkm1BZHl}?;yH&?mFm-A(I@=|?o! zghYH(a)PYfG6ZAN%D z$tkXbvq=g8O*Pf7O=@3ryy7Vvu6L|ife3GJiRai**YD~&h$e7lYz3$K6 z2T7Di`dh!L=H1Gtp5v>%${#NCf!kN4@?P+}uR0vpW1@1te97<9wrt-nvFkv}p}rU9 zLXvxVPY+IOM-JE3wUIB+FM~}za`dvpBn^(Mm0a^dW}lQMw+V{RuT`F}kKVYmm(_%y z&$)k%pTv~PYf1la=N1|&SNo0ym{c16n5J*9KUyih;P*Sv0^ju*ro@b$xqb<+#;3yh zkp9}=UJpZ_rG;8jA}JP~W^N6kb~EJ*Y~3%1Mn4bbD;k-&fBt@4q%!|t%ESTeWsAhR z)8^KpTReRReTJkXSD25cGb>GhVm|X?RQpEVjXlDV=0-cURb(4qk<}x|pQVxf{Oztu zS!BKx7Z;Z`9*qIzom)5CExmfgOs?T4bDz*CM?)&le#4(%wo1*gr1T$DOB7O8=Kngs z{Q8?@wc3DG{R24M5w~=o;+EW$za4a@~-57S$x}n!yp!4^UwE1?pqRf z8DotQh3tz8ioSpUr=J@L1xHdU#Z35eLOK=wh6`C>eFWzD2$=q9DCR?}I|f};@Cn<- z7A~*3E?SPM51%H}l{)tJp#YXZTIkk{s_rf7AFr4hh44WqbW!h!@NjT=s%Saf0;!u1 zG~tilbI#(Ezvonky8PZL-5?Oimwyh`EQ;53_#03>JUlSGSvX)j3OTP4Ofy-HcFF5a zfgARtBT#V!16oUde3IpX)$29&M^VKlul0aq$u|!-%r50~M@+x%oz7Lxd?W)_cvpXaV{1$E!okh)kTC2w1_$ z26up^D-WZC2ZJ$=uN8KH30Fc&;iJ2B*r=GIBr+&U?dB4VK0_LYh8)pu^TH4$g2a)M znp){fX6J`I@xQ*pxu&KjY5}|e+rSXgN6AT4aIXP#MDG{gjPWTc{;1-e#aoKDvvGPu zjgKgJl$3Z?Iq3?7J3zz+p5>2HqhNWYq^@4};|K3HpIcyN0D*z4F8amZ=!F1yCDzdt zCVx*{xL5YJty?Vy>JL+*T&FLC;vRFx3!HZPGU~KOqD`@}AxN5lqTxRN?b|LuSx|x~ zPAqoT6{s;8_ECwp?<{^+3za9p450Fmw#DOpb#b}MBSX+|uAE>+m zNeDYlB=RLCCs)`ruDSKfrhgmQtBsodb8vx6c!iY!j0O?|`(i^r0`wmE-qZ69Ly<}e z9}Wk@ZVPi^?bagnJ9e~z*FQEfQ6bDk0ojByHa=d}&~PLrCI{^-G|oOXH*b&|n*a=U z4|d7c6<2*G7(=HceQGD{XGYFLR6|g!1p|p~E0-e9zhq4i0Miul5BP(ggYs z7#kGO=WuS)YX<)nmQAzim_9Y{OA4gi~IJGs>}2qH`Y=p+rTWpFa>MVY8nDuopI zwzi+@>MoD1kUy-}1%I12V4@Lt2<^vZORvAW`rtx{YX65Yz{Q4?%GjCG(XG4K;IxjaTF01p zQnF(|a21CRd~47muX`JZ;l7c{T?z&qTQLa0fq|!xG7xjSJtbx@7M0eU;4;Z9CT4cs zkH>g9V7UPWQY!J~$$AzEg=uw2l;0slXtqGLF!q!I)f;X{K~iah_M5b!s12 zs+-eiCF_M=ZfCC-NiYl7;f0LRdJ5S$(BA+yg(_mJon|0#q}UDewjzo#nt z;0y?dazs>at|(D2z~nf9Tklhcy0QoD2O@T!6%1+_;(#0B6|upSSQu*9k(Dp~Mw2`X zTX(^OHO6NBh7D4A442@Bz{<)>d%^&(6~@>xMwr&YCHivF2zwxBs|Yb5Li`84f1TXA zC7S65egPZVb(2%eD=VW@TWsvK@*d^=lM7&1NjDLCN)(?4ABo*`>)L>H!tbR~Qal(I zJLe!WRoJRyV&V&cPp@91UZBB_uPQ^aB_wX37%F4mFrtSMv@nq0?m&gASVRY@CXlO~ zBp_$``Qj98pC68SN@h<20t5BdU5wz~xuIB8hM9o@-2O%-Mi+5r@T=lsponOK(E%sj|qrX4nZ zexXcjZlQMB)i#9dheDt z4vDE!%{pa9Mn>Y=fFNIVCHZRjKu)MpLwDMc8^SP#*{@^BD^zd;T8vrh*6U+L&te6s zcvHc!X{jLP?Ji7hCI25S)AlJ(80%RYcdUa!?s9xCoyelU0E1`;{CpYSt$5+evEOJ=#S#e~M z$sel2J{($8!+k+UX<;Q9VOI;n2EqR{Y03^Va~%x_m2opJ3T{JaHSm??gUg1#gFt-E z=g&m!GJiC3h*w19inHs8$Qv0XN6^H%C>4fK4^Y2|uRr#d@XH`^+aZ(IVITMvP z+nl&&db{M|(D(4YXDAqEpsj9pnbd@1Z`hMs`iz$^>1(+Zw8DjJGd@gcM#whk;fy6F zj;*a1vGp+NjwZ~CPpyg`N7bsflq|PSEGwjk3A}3k@XQ>opciqdg5eLuyQR38 z2iU4`Cu?f9jth*l2YO?)zddzFb@xg2Nt1yHW3jHy=}+6K)}^XkktdZMpo}7>Q2O; zk@k?ep%fithmmW&N<@uHo_KkQK1Yg@unXCCKqfU2|nM79g+;`XD@!#(gCv+t0gT}h!{RQ*=2j|I{tWKMQP8HgM=8*4) zg7uJW9!I}T!uVH+*59~Nd;E|Xd$ry+Gl{VNiQMoRsz&CVidwPf8;y3f1@S%fmms1XV}~93HlS zEQ_SEv2pphdXlo1ed}_HC=<=%`-FWk5HM@@t?tz~GV+4>!pDXNO z(F_GQHwpNhEdK^=>(^M?Xy(uc8u9sLMzf_c!?cFTj^mI*6$A}mv>NHt*AMFomSQ7f zM9*@hLq-pF*bSJ1xdejMl_PEMEa6E>$QWQh{`MS0rC3@>h7Sh&ymVtbyO3oPt!mNq z%l!t#K~Q1eV-87I!DoEVx5lG)7~Ja9d$~!y7mj+bYvdMRI6WO5(FsIe4ZB`Hl1);* zd;cv%r0+xz*rN0OR?Ja-g=!?C3Tb5GFd)wfJ~Gbj3@yAK?9_0<8hx?9rJ!xe5_Id3 zfXWyeCIpx$@Kp9%fBO6x#TW4bLX?klMXwAJEKqa6$k3e~g{n5URVJ`Bf7pv6x5Ob> z_tJPfdcB|x-i?l~L^IiUWb%6*gdq}AQv)zg2p{60kG6=3`WU65&Oq2$>V*rYGNe8U z+c>@meb=D4sg4Gl2FwhNJjWokWARlH*KgN(*r)ouG?QcJ#3UeJ1MU9c>h_E)HGg>7 zaKXcxYB@aNFWDy%GO&4n@?X2XX62WM^P^MidBt442`bp(dX6ThWG8|eh_n}Be%e|NTqCtz3L(#z@OQ`^(13Nn5jJOeT>GkW^i8iMneJ{=Cc2aq_|#gL8^gMp7`YnI<+ZD=%gVi?O11j5B-h)Bhx<66M%Sx9RU3nNiQC@&G0PMlX5n3aq; ziUK$wQQ5ALU{x_nK@vf?b7w@rZ26_RbDiDYm3vcu^^rqUQJ~&A zwMwt%GWR7rYir5I&h(U&O8e;OXho<(W8ROqOPy<5ghF>>!(%KU6moj$bwtb_c@$LS zFoTBD!q=#{>8oN_8l$6=6KP#z^xLCphQ%!lg{N1Y+7@xr?C?S4-(zcbN7d;H2Nkyy2Lpr@={#kAExAoi6W*rLQ-dv|b=>Liti>&W7ft;E+%dqZ zsD0QRKm+a(Ykb0^N4%n}_ImoMk%a5gPFB+xReX`v)2mC^eY?&zZ!`wru zEXQ?DL?GM`_E0IMEUzBo{B zVNed0pkDK30j=^j?@Y#cgknfC6uk<2KPJGoBM0XRH28{a?1$?EPH}NS%w|JK**hdi ze&GXbSGXI*0|o+(G={8m5Oj-fmqAA)cAghe&{E=w=a~-fXXutAn?&OH-FC+JqAonJ z_F#4{ce?M{vZYJf;~9CY`X`gjT-Fw}C_=mq_Uin}X14`XkN`s00m|t^bp0SvKxBsa zs5y%>BPRiL@v7hMKXSo?@B4>_5)kBwSk&kg_`^V}Dqr2aBAVJ~4Xvmn+zjj<%3tt4 zNacV!UH5MFBtVf(&g&u@OQ>4%4{|qr`g9yeKxAYjU&>0q?dkSySHbTqN?DjrL1LI% zXM!+^iIt5n*QZ|%c{)RdJi*s|mm?T)1XDjz`B_!6(SX<1vffVc3~=B8!jiSeuv^!Q z4_#^6d(vFm-i<3{mYGP{%K2-*c=Z=*!TQ}>X#9EXtyXIyi4sXlB+Jz)>`r2j&;HK%Jq zG*Yrx{hr?8+9*`a0olE64fBL}p4`QYyYa50uHqM8h%_aoab#(5qfEsnU2PUJ_27WP zaNEYKM{vqvxKa_^1VPhAFFJAhXX{gS1zlPY>tAVb<5>X6q8<0ExnqUOZ_qel6D}LMH zLcY*SiJxyGy1g5DfPk`Mcr>B96m#bWq7r8;)V^AvPls+D?RxsHYDd|blXz<#SSEcc zyY+CwBcb_h?;1k_-^jN!G%<}T)4!jQ?3ib|S#yH?ki&~!?zlyy_3y1a1QCMT(gt`2 z4)X6?`=#S#7nZM~b@~Pn)=vJDS?0fYeB=8YkF{UmPy#{i0NOo^SnfZ6ntYGNU&!jn zEB+nr4Y+j~*2HVGMak#flJt+<7_gGN6|VOOB1mKK`VfbrDQ^j9wefCeBbQHXiQpXu4p^7D#f<6H25kuot<12)BQ z3KDY0YnRG`fg^$b_3pn=#89db>m5+!4!y6-xXOU63AL1TA_VD2-mc}Ld>gh0Kio^r z6gDcTGU5SsT))0#fD8AFf4?RnhSeVXU}B)7a}ARY0A6zJh6K8hPX0YH`ZtCbeJ6Yw z0trOZUz;K=SBWGAq&n&hP+_8RN2F&UqJs2?cHN4)OtWad#+Q(4h>gH^fs>=CULITA2m@h8s%8$T4S-(`0&o3jR2dSEgb*O%Vrh(KH4~EV4AHGniLuG!^`ncKnSj zR{2zH5ifHDifVWuGd(?!dG^~%pq*F9RRy?{`bPBgtg8f^2XGhva)h7V(SH#50Rb;l zRl()$AVv4sSh?y1ATM5zSj@uT3l5e-%8!Tz*a@eZ@1>la9DtsAaT8FmZwa&{tDEp| zPH^np0GCb-gK_Zi_+vzHEsj^HEf~zLlN%HIQd2XGBpPmvhU@5Wc^l6_BS;b4W{ZJV zkRfGc0zAJ0F$KuO@;>^ReJ9x|LS0+C5=!hOgd*>t&Z3vm zYMG@9VJ*T%{PrhM@h=XTl+aECXXgk=9h7IA29|E&b3Uwxvkmx6~cG>(}oTl{r{RCmK6Uam70LI%1 zv9U{m3D;clqgx?TicSdVc{peQV?ol6%ODGkJxBwH?G&~o^Ey|pv4X;aFl2OV>xwLG zbQCBCjZaQ=MD6_XmpCrz@}kHYK)xT=CDzvtz9tiabE>MRkckl>Zxp+pI|O%L8VFCT z`BBvMBE%{qvF?8-S>IczRBO73$Z$j65w8)f|>Zh`U@kMi$-5U_?e1|3~OL z?OTOiJ5qwI+>7g#)ms~;H}5io5m0f7?Z0q)0l6T%#nBV}A&=WkrG z0xcGdv4R%=;`W&Mc&Q`AZ3Z6`AT5gwRAQ#C(zn+5OCpiQg>OXrrP83)@;)ccLS)!FD`zktTPtk5aA!Fq`Sg+{8z{=iF=%r)9`Z==mtssO>m~Wt$Xn@0-F$^G=zFrP*5b1ns2k+NoUxm!12%!(Fy~V?R;CHFsqMqT*|+#BmK9y zq}u<8e$-dhMt^CZ=oE>>hv(*KVMqXvNfbUT)ZD)}cC^by@+rhRyFY}vJO4z z{vBU{X+yTh8Od$AC_mBwx3unzajB`aDYXovR!HUu1sM-YPe7V!5P|ovU4l$L zfOlT|Rgy93N5v#DMo{i#HUCEoKpZ2Ogn^51T#X4xn1yC%JATRFzVN~em><%X%W@5{ z@Lt?AQvCe z7Be$Ifgd6dN8^Jm0|X0nOHjqNi{ydmNQ^O&b@mPo2|6xY^3SqukiP!_hW%U33B4L6 z98Lg;ghpfTTzvkg9{vHoYRfT$b^Yc_8r{qWRM(*a5&5veqCm5B^O{?b%6OEz0R1Yp40w~=ZVE+CJSG=OEqGC5{EdJ*1t}eiI35-Oy1wGl4x83GKxV+Kn@2GD{ z;f>Ht;A_%kg?M+RYQ@lGySWfJ*u*CTrY9RWc>3*rT!oN%P)O+1-Yxv`h$L`NWw3ET z9&2km;p+~`$>BKWxf1&YoC43GLW&GX-qlqcH)^Ml`Rh<<&*E^RZv0qB#679JUvUzF zc#2ulFL#It4aztDR`|mnOim5w$!w5EU$bSZ!p>kF^KyvU0p0-AOp2$Z%x2(vC)ZU* zm|9!kfApxNut&dA^H5-a=m$It2ejKDzhP)%vM!~z3~DJ3(gTzBq6E^$tW0PvA2xeQ zoHS{M-%!@lssK1)=(4Vmxc{hf(N?oFYx8j)JQxTIy{b4tO=N=D>{NO6wyZxZ4hojj zKTu?)aJbl!$yc(UUcST_2U`pkw-ksI(1=0p^;-Ne1FhBoWbhX;p)&3Pn*>v}I)aFkdh6)H3jY&ig>~-YaZOIFSoe!84;#@(1<{QiR zJOI1}(l?u?38vGi4Y>$MScl)x)^nOg38{Yq;YZJ5>3 zNd~bDy%n_5`DdA&r?B!29Qij|2cxIP#h{6+cQbKW&kApC;?sL`uDOv?)bvsLc%u(}ny4?9bsQx1M8ryCX-I(?w&R@i!6H%Pd zC~#%`FTHQ(zchG7AL!x@hz~S~;Pf;`DSydWAE9SD7{?x4bMX(=@g>A430V>JFVPvL`Njo2{MX2_R-6iHKF-v z5w|ZHLGOl$h+Qi$ms3u=w@8|y!hi+Daop7ma+k*!W(8QsRp*@N6kEmsl zo-zza0V8?hJVEk^T_O;ynWiuEnJEup7qWqujf}pb_yX$p-PY-?P3S%?7xr2k$iqYP zqXY)fQoA;OgBVFWM2t~QGmOhWicq!LaO*h!a!y;DIXwz%faM`p(8x6e80Q~vRzd{r z7L;8SqC{8At@{mq@5R}Jw8hzjQk)e};SAYo4irTSH3qm9Q8t<=IWc*H!H`XV6rLaM zJ1A^za~6%YB6$m(wZ4;9oE%z_B*i3A_e3i??Z{7Ilkov)y)dNz|21jwB)Ye!hj^v~ zB|w6{SwUQ${T#m4m5gb*!wyM0FYsQ586u=YDvBi+eYCf~zn!?wtEIUEc7p1>2S7|n zkoJw>9Dyv;bLS~bB7dUT$6I4EF7r9^KJwex4G!qk(uNUA<;ZKCN8OlSA&~{d8RXw} zXz9kq#ZeF$FgIYqnmRHwM?qV;J*p<=UkF7}l42~NtZvOa4Fg>;Tcmc6wvIar!wPNq?V`$UoaO`O`O_mP$g$4yCkRp7JRzdj2A@akErobaw*BJ1C;zfooZ6K_#Ad5I zUA*|sA4(T8@xQqqj?&&bDmi%Q@0IA6bO7M_6E9ORsErmq<`syH8}Fe*V?i&+ABSiW zZ(h5{iD(aLIdpD?f^`va$G52&4Ffou{z~d`t*jLzu60vrK#ng*GD+sH{L}ukq?Hp@ zoikO#u0eg+1y51pw~AB!9L^-f`f`X%z5DUwhsr1AgldP{_k952P~2FZE+JDSumwi+ z{RbBbtblhYxZKFcB7Y1bcVaQkY(iPhzJXmv21?8HmD6auiZ0BK;xi5&IwT3BkGZ)y z3Pya+sj11J{{bc&>b`HIQwE6;&Aow6hB>wp;X#oCk0)q(q0P=qZ#LfX{$_AAu{Ujg{nFTx0l zK!t>ZZO6VN)dzd-$)!sM2Gju=%!0n{wMM>i?_+lS7e1inG48xz212*Q%l+vhUatX+ z4nLIMJhq32$4rX83NR(w@5g!RiiRdhci)SRx5`mon_JmrQ&Px3;)Tp9p`GA$@c|sK z?eB!mJmX8)e@*q?g>Ot_6lc z9YZEg#=X#i)RV(r#m@W<4ysZBx0(DoT5UcQV}1~bECM^RTJr69iII1#{)3gGXkHmY z4_;}rWM+dO{*1TOmdV@Hv|+dpsxMH0tq;J>W-=!!=uB*8W(Z*#3^tYmx!~n{G>o`% zFj&l{ZwsMHBGT#F+tWdH1v?T8oaK$o>CfAAc-8Cx*D z|7!fS{*j_*A%8nmKsm*({tL8l&0D>vEUv8658`u^nHIzwenH9~=w*^cg%%t2shaZafy091b0#S#t+{uN z=$r*e&}df$j~4k|8_@|B9^}VDLCQCGr}nT)%$Zf04PtuJpf;fGzh~!$K!D9oPEMco zH?n&aJBmg*T}T1@QAt&`1epHjJMxK+sIrW^abS}(B#l?nNx60I3wl{VMOw|_lD?z; z;*ZHPJV)eyo!HrnNvGrqsm}RNytrpGPV2thRl*QmNu0bLebCIlEo*u+CeX0;hVcg7 zx_ujewfFs@9_b!c&CbGNr;TDpJX-PkM)HZ43!9E#!!uug0*tu(DBt&PIg9H+`rR=< z;+RJr=m%A<8E%EU1qCOQ#hQPmIpqx{C9CrC@=!GrPt3Z+rn8bAQL_nV0)b&+r1{3k z$OtTM-(D6Le<3m3tKYjwA zz3mQqE2u5~O7$`8PnXF@1Nz@4p}CivBxwVRQ28vqe(g@!ua{;ZRj~N9iD!4jv=*+8 za0j*UrQHVE#u>LO1HS7H>LZN9&Q~WayaM; zh3KE*;ACOZmOqPsqY+Z#Mve&J>}k zfPZV8+#D>K!ua{F5^X?Tpv0aVi(iE4XAv)X2YS2%ho^|`;%7R1+jJtb1eY<_@#|-M z*cK<@J9g_UuUdTiiwDl)(+3*3_>1hT#b3BPzh3fRp7yU-j4Wi@EyVm@GK@MrMeEwWC*TS3cHaA{ICLJbZ5u3OC%u%F}=E?+>$laZ z(M?R*Br1=wKc#cSSgMcP_JIQ9BLa7$m}~XEU(xnQ{uzp7qJT~3TL18>Rur`d&6-7> z);weg$*1pwW2&>BO)o>aPv-U=Jl0N%3vQj$Jb8-vEJM02*>mr0>;!9%_kTC7c$YEy zDNDn_Ddv*qG&L<}&f)UUEsiGIUmQBa>jpEDzB*^;D4J!Yf2@4^aenZF#+re+XLT!^ z4itQBiH>4&8n$qmJ5tv$*WA!8Z8sAy*iaijr9t1m&^2YzY5cyX;&D#&IqeX&9*36j z+B*=!zXTl2RpvECWo%U|NcdLYUSB6pfD1EvI(`>7JT#9(f{kGUR&j4w9rA$5K z7mVgd+R*TnLjxK%?$3}0cX)&z#J(h&!b1+qaHp$s5o8ia$(wu|bY!t6_4qho&(>U~upmBDDSu*u*D18}7x zGW?+DKoq?jB`xw$Sro!{b(ScZgP=Xk3DT~xbXnk z4{q8AAS|PpZ`r2l7IT%;x&cKy#(82PKiGvo!nMrK62i{0{fy$y_T3p^!9$0PLOJtb zdSJ&}lt10TQ|fXZtRM&!0D@WtcrQ*|G9v)MHU#Hhzm5pft(0djxnFLZ|5ah-)96$E9LR0I ztqH0rVQ8NMA*^Y)9Y55K_vnQ4mI7cih-SAu%i3BW?9<@dIr01X^BtH_kiQ4uEg>dm zH`Yrz4C&6B=WP$M>dbhVnQ6zQhIn=QoPWy+`=oqZh1Dc6H1N zyo5GkY;ouJhD;uKs_hek3BwDF5{;#uF}`x;J;rU$Sts&1J{bLtM)a=4{LeVq`Y|3o#v(QE=FIV;zNw*j&l%AE*EV5B^}s;+^~cN6PN+&tTY~|Kr=6kS1H) zC*nmJChp>>g_Z>f1zj*s1Mq+y5j~Es&gn~ud=-rJX$1PuxXWo}Uoq!# z5Fj^ODHvjKg$)Gya-(btZfpl3Q4H1l{iO@y!Y@#kq1NINu|3c|OVB%DC@A3v$FV74 zs3nKy1gL}AzBZZ7Z1jhW&J5;`R+O2};K^A+_uOIev-^j4yfwCQe||Sa+f_K-;KONf zTcNdh7eJz2Rwc$*(k~Wzfc(=zx#c!nwE? zt5ZYZz8XE;1VmmeXT9;hm_7l?q(oCgb9Fy4~ z zNiXJTeQ&{~c^U8P8|IMR=G?!(zjoJm834LK!e$?l!`9qyy_fMSpWeYSXl7ETg;%9y zqLKfT6Y+KIW-Rl*>S*S@zfmZ!DI4DQyJYXhYvvM)&q*=vA%}Mr$^0HJyZN!|7&&S} zjLBJZ`u;g7{Abz4iwX?O@uD}ow%jC}eusPV;)%cbLyP&znJdS7UMS%wH?2F)ybqsp zCid9Zs;b><$h+{Z;*r`-evZ!l4#_R=>ukJzjJ$UJ@dO|8ccYEBkz`)mv;n_UOchSt zUZ3rOl=PwG&5ymY_$NUg?IU=je`F>LmH)$QJbg?RfqC&V&#pVphkO@TiQkW|UKx`T zh0po#U+|&(&5ufp*SGF??c((tZ4?pt^QZsc=ez$U5Bpb=_Wvj|{D1JR9!lJN4vYew zr-@BSeK6k@g#OKur7NDNt=`OTy(NceeUt3ykbpqFIwjA=;=q1cY3br?%)jL(kJYN; z2Z4m1Lt0~(661!-lF7$)Zu~Fx`<21~ literal 0 HcmV?d00001 diff --git a/README.md b/README.md index ea902b6..c0dc141 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@

- +

A Fitch-style natural deduction proof checker, with support for modal logic.

@@ -14,20 +14,22 @@ - TFL (basic and derived rulesets) - Modal logic (systems $K$, $T$, $S_4$, and $S_5$) - Cross-platform thanks to `egui`; runs on all major operating systems and in the browser +- Keyboard shortcuts and automatic checker execution ## Installation +### Web Version +Deduct is available as a web app [here](https://colonial-dev.github.io/deduct/). Use a laptop or desktop for the best experience. + ### Precompiled Binaries Precompiled versions of Deduct are available for: - Windows - macOS - Linux (compiled against `x86_64-unknown-linux-musl`, which should Just Work™ on most distributions.) -- WebAssembly (runs in your browser.) All binaries can be found in the [releases](https://github.com/Colonial-Dev/deduct/releases) section. ### From Source - Dependencies: - The [Rust programming language](https://rustup.rs/). - A C/C++ toolchain (such as `gcc`.) @@ -38,8 +40,18 @@ cargo install --locked --git https://github.com/Colonial-Dev/deduct --branch mas ``` ## Getting Started - -## Design +You can start a new proof by navigating to `Proof` > `New...` in the menu bar. Select which rulesets you'd like to enable, enter your premises (if any) and conclusion, and hit `Create proof`. If your sentences are well formed, the window will close and you can start working on the proof. + +### Tips +- If you would prefer light mode or a larger UI, both can be adjusted under `Preferences` in the menu bar. Your choices will be remembered even if you close and re-open Deduct. +- You can review logical operator shorthands and proof rules in the sidebar. +- You can restart the proof and change your argument (if needed) under the `Proof` dropdown in the menu bar. + +### Control +- You can add and remove lines or subproofs by hovering over the relevant line and clicking the buttons that appear to the right of the citation field. +- All insertion actions also have keyboard shortcuts. The exact keys vary between platforms; look at `Help` > `Shortcuts` in the menu bar to find yours. +- Whenever you edit a field or remove a line, the proof checker will automatically execute and display its output at the bottom of the window. + - (Adding a line or subproof does not trigger the checker.) ## Acknowledgements Thank you to: