From f669d7107f7f757abb5553c128f5f04a4a7e1ebd Mon Sep 17 00:00:00 2001 From: Frank Vega Date: Wed, 4 Dec 2024 04:46:21 -0500 Subject: [PATCH] Image Caption --- README.md | 2 +- capablanca.jpg | Bin 68061 -> 0 bytes docs/index.html | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) delete mode 100644 capablanca.jpg diff --git a/README.md b/README.md index 9495587..dc262aa 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@ # CAPABLANCA| SAT Solver -![](capablanca.jpg) +![Jose Raul Capablanca (Third World Chess Champion from 1921 to 1927)](docs/capablanca.jpg) # SAT Problem diff --git a/capablanca.jpg b/capablanca.jpg deleted file mode 100644 index 3c4f5b77fc8158ceb0285904a584936d2fc2937e..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 68061 zcmb6AWmFtZ)HVta?miG)!T>WvAi*WL&)|b=LV#cyT!KTe1h;_%x4|X2g#<|O;O-ur z;1=ZLexL8G=lya1oZa2kSJ$rI(yMFLURApuW*$}m7C77Dx|1f&rSt8vq$pHYQqq{3YS&r4v$e0yx4S)pz0tf)40457dH)nMnC0)QH zxmkF*S-QKv`w#ywT}=Ha9RL{Tv9)lt%1i)A$^?CtlyQF+oP~ZG`@ik}UlDLTPH+t@zh z*Eatbe)E6f|G%!sCIB3dM`!;7{|~uazkk#R0LaU~0Q~n2{-^#__y72YLDToYbxt_| zfanPTfED+@b#GDtfW}V%0PWoW)`1?|k%a*O4ZkcsTs{9s9sv4y_XAvEWMFz=g<$vL zYT#26(h|QRJ);-~UeMYz^0LZ<$|3f=0RnqswbD~c2I|7Po~BQ%nBIkZ=m*4ne3mGj zQC1XPGynZdf6uh_hS%}+!^6WoKpudFiTU68NZ5}j4n7VJHZ~3+9v&_}F(ENA5g`!~ z2`MEx2`L3B5fM2JIRzDvnwpxJ>;TJp2MMKRS(z_1};9|Inj>xOn&g3`_#TN4^m`0OQeaOe|bX zJS;psLQEnIOe|~w4h1eH8y+8(tTsOIsf9~0e*!hT93r>6gGOMK03`Uvb@fPI$L&L6 zUgr~94k2Mn_nNU|5rxqFT2WoAu)3e)YmcHCFaVg3n*T4=0L(`(AGJR+`6&RHm>AfY zj|Cg3O1{kv1td2X7lkC}tR$%?N*G+RiJc39!@EMo!$6@Q0<5MkxnI*2q@)y1 zX6{JKD?RZvr0drl(U}8^Q?T7`+B)H}(6^4@6j5$EW58#r0&D+Bn+OL<0+;T4)X-&|0N(q=yglS5amDnbIiT?I}Qu$Wp!GDPr~RP zX=G!2s^ip16=I_%|;C*!0lgVR_B^+O~50fi#^hx72p7PHU_90?P z4DT2?-o9kbD87`c*U(U1E77{QyNf;;T1XmXu5E7Q#kh(^xXp~eld2aE$&SdNH?D16 z?dk{W0$;f8=q2}^a6=FHvAN>s!wPzDO*BOx03q5b`5A@i-Z^yD+Fd17JN(w$Gj(8? zEoYduY+A5AmW$D#&`2L?aOnni5c7N-{DA(;1K@g89nQo(WXoCXArjymeHD}~VCW(6JF`PR z4(gbvLDfn49W{n_q@7XZp%kMoH#ZmSa&FT-IX=E9Ok29Djr_YDIB_q8Mf%6dv5BD9 z;H*-wc*$Z22&wBDoa!KHAgffzbv)#;N@k5y)1`Xn7NfDI36Vy*wy9m;l@mHf<+mov z!(M7Qd~(f--+{an*^30@1Q#z_SVQ#P_B3AV7rJy09Td?P9|`aJx+u?PzF@ca?#YB< z$Hu^dk1h9IOvKSLek|Re)y+5#I^zk>2R#>u5PB#Mkk8w^An!75(el^WcQ`KG+D#|I zSFg#m)rFQ`iOCtMoQvh$-5W=|RGy2(nBkJxm2TC#(RLm0QV1=-E1`(0A2gI>YG;AY zRi*-q<7fkPbvQ>hta}VK1R@2~OF!_n)(d1bX(BvJMr2RAoIwKy2eDGR$k%h0<7Z=u zz7GKU;qfRuj!sDV@Ha7P_%Q=KXt-xfF{&1Di_E^ML%xg8X$oZpro=UB7H^i6^$Yg)%*Rwlg0=N*>0DoGRd*fHK3>N9nMI z^)2mON4W>Urb9!TH{ozpcD-@#n^|aM*)l>de8JzL(1ZOnr97t9-(Cc{69Q6UyeYan zA9oytJpfdO=VC&Q*qOAjtW{nHi4Fq2j8dk90>cE8I5tJ!gP<#F+X(SK)-xiNUtIzx)F~7Jz1HsEImm1m`cYpV+Bh9aGyK& zYK$rW_SWvIgEzIxMKxX^KIr2A8}-coLH<q$(6Q2 zba~c!tY&;hK)o&{OJXxbW(gl}`CZS^-&u7g%%%(G|@4{ zc~<}`7FBl1W{+K#*U|``%wpQ)r13CneD2RLsvhIq@e1hPM1q*3W+P*&~8lb%`W3Nl44jF_oag9=*|EaFG z`}dAcgzoZ52yyqvm?0kJ5r2NzJ^-{r__@1-fM(vUccI@gF&Ll?9P9mNb7X|vU_diHfTO9q`DXgo&-TG8CFkxrI9qqy zbAknovq5RJq2!7FnYg)5W^DqTMwKBd`LiMl;#kfBhKo=aAGhZ_myrqf#te#%^WuC1 z_G>!n?4%(Y+I7@;tl4bW6JP2T?%LE`6zwd<1Q%CbMC6*hnp^(32YPQWnfPOoYfB5Y z+gV7bErU_#9lV4VT%^_{imKZ;*s(>HKs6l$#jB02cnQ;banLrbv6H4P4oux|bM4{Z zxb*4?*#Qa5ET79TEbO+93O>}Jwu0wAc`3r;E@~`rCxS!vlyii)w(AO*N*9Ea&hz$# z%^GTwPrUDwEl7AiM{-N!-viM|ldll9rZ=dD%w?J}foS@edWY(<#$?@Oh%yK~k-Rbc zf_y!u0adp$_qDQTOPjQXxYt#6c}XZ_xDcYGsJE9~<=@nT2*4&!o{&X6L72e{H3&Fh zCh5VP`E$4`Gorca`Vy@p)MNJVXzhe1v0sja)W0aiP0Z~bbk!at%*d4qF#|hl3$_7> zkYF&9j;p_ZCA7K8bI3(L^i+;b6mLrl!#So7N|h?2e=+h&9q@K;n+rhSDIh1ZB}2QM z>0w%8qG?awyv9bSf=x^*v5l41-`}5(Ww8m` zp@k9eW`_2S1(Wm1p$$(;6tF~k2T6PT1kD7WvOx4@?uD$QTA5kIcobt&cU#TTi~$4UzzXTjPOMIR|oOYNd+p zEhqBdEzqZfJhMEiZVcT3rd{P~+n%@l%>&;l)qDluwxcz!vLaXY5U^AMg+H3ykPJ1nrKyj+u=}=G+Mn!FG`3 zpD&ZCQZ@Lp#Sy4+v8k8o@l)Yj9C*y^EL8UY#@FTxwD!kRo=Vg+dcUdSs%ELxt1?t- z+O5zXNMwkvrsQb*8CrZms1wyA^%~=ZE31vzMNy!pH&be_Mpm_Z2kS)FN z{q~RO*Ip+#`o%DqG5?UziM-1%a_<}_7P7$p7*%&lJHAavu`=Qs*P}!?m#Mvo7 z$OwQ`abPYf)W9tCzP?E1t@xt$l}sNsjs6wYXYb8L-4pVnbUOx2;;tOQ#D6GuOWb6Xn2_Uz?+thrL+ACl1*bkbu9=l6BhGc#WZns<_fh=}a?j@qJN z*j8KAJecH1=k)^?d;#G6iEx;$Y#&N*#O4) zei89;#{y7G@E@HX=GO^&{;4P?3)o+cV&f)>HKK}`mDgF5OnGGa2aqzs2=f;A#i?OV zsob%~6y2q@SppZyWYlA4l|`+cZ9W_kN$_=RaFI9IjYr?{&$ts0broN#orN zfAy+E7BpI#tzikOB9G)J_=#k7PL94{=@C+x*G5*x7<;%qdjQmGYMsZyIHg_2Zfut- zyl}98TTH$q%>^YVb2CE3q|GLI|7m;RUQcJGchz)!Rc)w=NPt`&hL)H7+Ol`s=GWZR zR42iR3aepoW$<8xKwfY?ugfK> z$T2oWF#>pPnuS;t_i(A1Tkp%ZkMH~(NYqb&!=eq(q?nkJO8O^bm#OG)^Q&4ZVNIfn zsOtzbu>if;Hq=F4Db_Apc3dU+d^;kQ#*)BMO2Xtd%nfTMEb*OGR&i6=81-lAjPI;oCF3a8xFhv%=G!)gAefQn5 z4QmV!4*M!pvd=e#ZpTL*{#9CV)zX;6VHaZ$QquIPS{k_@@sesir*|xGYnV{vDNv5V z38P%_)X4x*^@)L!{%E3nRp58DK(06scjgg`=eDhe@UI)bwfC>Sg=X&{hSHH!oynnL zI6je8i`)~3z0s}ql!?%sZNQjXQj-AFC83;4WEWX%S}qLY}ApU`LWTx7eLLOsW`U|gTd`vqy#tr(OuUa&K% z$xGymout<-ntYEifx|}%UMQ_@YXrt9qS*7fxw*l#6oM9yW6^6y9r6ya!U!yP8`!^F zm$nF|Gcq#i0(h8Uan_qPZpqNC-tLud{kqojEe6>4uQbO&e@Rd;M*B#7OA6}mKrn=#6F;s&GQppL z#o(O>6RjL;0cg1(!z}WXV<#)F{wh+IQaB8W76ZnZVW)p0NNWOZuEu;V+dK_wq5!*@ zH}~%5tKLZz5HN=KkelpZ=wDNb_y$wFOLd0Ng$v*Nj^?%JkBL`ECt5Mrj&1!o7~1U0 z=MTmAt)6Z2aM>#l2(Cu%5P}%r+B~APIh24Ou@9SvnKbwYL=A+8M21wkW&XQ zo|7!|6ekF)4n_cX7wC+=ycjfp21g^$tAP8{FGc`a=U_YLuX`j+Z&7cn?FTAKNBI;r ze?{;h8*1Kbw@XlMMZc}>chwAgJD5su%KTv`?j2HKr1ANkM5Xhl1xz zbc7rvRiM`eC@yC%(IM#5wpk%%bKY^GIl=YbPwx}a4FxO0K`-Lt{f;R4?aS&*=#0rf z)K$FV(EE3xK4m-6##KL`?v69RQVv z8HpQ?^OEVjhh~#dQ9BA%7(9&&O4w0!P_sOtkvSB3kNQGNN!b(32^yXf0AnQ=uVA8x zvy>CcY#i!(qHyYRtK&Wo3bjPMekZHjz%ZAiv2Q^3>goZ|x7Kmzm9|Ok{^N#HyiugO z%au=@3%$In_kF!oJcc9+eb=+_;bT=p;)F1HAdwv-$<`Y5PzlPYY~;RNJ#BIxo~%Zv za~3n*-ptYJlh}x?D#7MyD`j^j>-61lS<2&W_Lbd5(oGOV+up&Rjt%g9JPAbrBQi7s zo|4M2Hz?{M%_g33_NEHEZ`o+Z*Q}ouJS&;j_f5<#t}dJnuF&z?49mC(@Rjx@;0kT_Gz0@`JSZN#5C~EKjNKVvS|cM<7Zq zwBWtNMS_Fbpc0c-YOgBwPohifG{{f7PcU^q!1UEA-8V+RK$kR8l&Z5QKL%WMPJp;6KNE`j%I8ew_}adeOTaF(0&Ho8#uB{ zQ*EQ(^F}(nXxVpdh7?og{O_LTr8hdrCf1>jO@jxl0!73EnBP|TVTheMfk$WlHlJs2-UDy##D;-G zJ7z74ttwwXJu5+p);A@WTNrYUWqmwQ`G>KWyD&?Ew!9do7P3QMCG^lPYJHEtVy!U!+Sx4%e&8Qf()Iga;&A{Iz@AL)I_fv?^8 z3G&9kSo8AzCoQ#?QM*^_{}to?o{kp(QJh#$a&O)57Iuxu)Tw-y z;cCZicuuof!r6y%&V1@Vi|1Bj)ne*m^GB2ObK;*TPqNO-H1orsB@T0(rUu@UJVP-R zzwe!LFr1r31iVeKUNTF}M=|=9d@J!=3Avt@)0B+cGQ-|3b#>M4OUk1JTK5_1dp0FS zyZTOcj5A~-3AKAV?c>hiD>~)mBdfd(a^JfvFEZfq3)Wm;|H639J~rt}SGe3lJ|Vi- zv|eOa+TBdNC^J@CEO3QXI9L~fx)9!gH(AxvCUiCcq?CLJyqDIiOpaH7qQnu%?Fqwb zIxF@qL;fpQV*MHy)^!^4Ps&5gOsmiW8!dC<8~N#+r+II(D<~c~M=DZ$f_IK4FJ&^W zZRYIr^#8S*A}23@>5^92lh(B8Q2p7HdtFu*hR{{QvoBKqV3$-q+T~$ngbLu2C#uj9sa zSv;?)4-2ka$4y0w6a1Zo_w)L?7Ug}AYlyvK-&56JN*CS#LLxezuAeMM*ZG3FDV|@d z?GDUh6;4%pRDG0`4WA=D3z^GI3sF*Od@t+L;Y>-2D_huE;U>A+JvNXVl!x)k;yfq3 z7{`K(?s4jlej+rkD~(C5gp4Nh4$7!FQqRG{p1;6`r8LI6m5niXPH+WOL}3tjp1gPCX9*gR7B% z{l9++ms?)`TR+Lc2#xj*q^BTD+FXkAZT(r({?EYHZUW5IJ`t4DNbdRGLY{zb!Eal# zpDT?7-ITEbx^pN%+x&J@!3YIY1RL)BgkK+<*8I$V(v2WPL*=S}2!ZE5G+YvwG3uW2 zNBQI1(z-xTa8vV(X-*)=?T^O_T2CEt%rq_gzn?9M}J>9&J{^mAfvmhOmIBKAt{vf$_e4WJ+V ztng&$oN5p5IvV~2CiG^bwmTAKfv%>&?F!sAob zjto^n1cuwwJl;Y>$FvBYZi=ToE428_@l+W}3wQR2&wqxiP@GqNy!(u|yT#q;rj+ii zFWUn47<-#tV2!}hb?-affWL8}lZ4Wf5(e4Q*p57nPNDsZv7}vE%QI$#uKJRa7lWs;bSe&7xmJ(WkwNUE^ z08V>b?)wu#fJjW^z}2)%VX`>EiZ%yhq66|4ihUZ1lWVNAaXK&fx!&qBUn6@mAq}kT zlMb2+aA!B$rgpVe%IG_g!&Q-FK%`GQ1CwGkPlN*8(`qSLWX%K43IoF`D(%9_fEf0Gr9#I~2B^6kzM&r3d^_5O*&gZ@+y-64_V2d`GEnB5FHRcy z|42w&`<0mFIDRk?PAu+U5&`t5Q|3YZ3!s77aiy>E28JXP!vN4O{kkYaqfPBk2k<$HK z*l@cysuA@7NYcw?JnDfJRzcvzA7ce*=+ z>jjyL6XL@6V|3qUtxG|n4HdoGj9~@WXc$CGD*Q{)6E#QrYE(ll((}hJ2R*=>C(*}p z97fk#w&ns|o*~CtvSTT-v&TaGGQcl#k`epWGsRUhMV1`bD$Z znvKqU8MakE8O-eJL9UW`S7TNwGr~sUFAEc1`@r_sez%Hw&%eK{D0#MWa7`XyI#EqF z%PXLc14&fcOwNT!tNA z!NZP_FU7RTcV$pge~HrRbdbR_wg`rEoA|r87rvR6aS%HP$KQ~mpguyl2FA@gwaKiv zW}Qe(B`CSrhyMJsOx#E4khqXC9$3fh*Ks1WxoqVA#$80)O4)%K_+$DV<2!AM4^s7w zny8Jd+RU={>WWeNgjX)?w)z6fb14nuA#J*hh8Dl#^W?q-33`KhSjnhdZuGx+zKIn4 z*=roWMH9xt^Cfq|zcAtGJDNo`T3mq*!reY-WY>yZgb{)0Xv~ zI!QZPvOUo!Kdb^g(z6WWZ?`**=L8bn_BLh9S0?gE>c%5M2aJ9@_Tz6&8!_0y*JGxd zpGI}aWX`M{^Unp~c6K^p6;WLs#SWikq$u^vDFwRy!u@*l)Qel5h0ix|8rAuEnRI^P z+8Kg$;3;x+7Ub|iXivMjr|+KZFODwT2)4TUE_`-doFKiBgsQQ~8j>|OF%zc`22H}wg9nEDUN z0{-8>zCKwA%F|8ygR$OtI5yBmGb%N9XEXJrnfG_2Vi>c;D-R2{hyqcq94l^T5Z6)g zu1=Dn;M}e8m-ok3CO;0Cbt03ZQ;B9bQT?5tPp~#)BG0>o4qddyCS!Xt3@Vu?DO%X` zB(tm1cr*>ymtJ>~m>`cAkY3mWv|tcf6qlH`fwN}+x760}ch#ycXzZqfWJd_$mCDwS z;>z3Sp|jygm@ta1`l&p!VaSIij!FzdZ^4@BM z^-V#Lp7{I9^jDJG)Q>|e-g%CXZjd*b)kPN)uIcI`o3&QA%J4!%K=14Y_6f1a>puy0 z_69fn)hczpI@|?u!Ai}QNmtYth5u)Y9nkN8X7__izbpf3p?s}FnVm_uuGjnk_*r%x z3HWRcE*Z~;KHCZ(!H!RRDQP5no@d>*fr)W5B2OYeBv-ua`!=c*2ZAHNBHbM=_$?O( z+jmx1aVM+`Bc@0r$)o&==`H2XA7Q@=zH=5Wq{x#Qt#}Lcu=$Y!H5s>K(9uqbw|ocA z#pD0|7SoAT5F(68=Djf<&u+n9E)sPkrh#zFp7*eQh&ZMN(`LzB~&P?`2(TlJK5KV?ei z`U(!^%ixmKBHPPP#04enfoq)cm1bHT*J#!sO%@7=>|06NgPoQKKT`%i0;oQaiFLt@ zE9LE)zjyDK2Pu!`^T60h!X5)K1PUdLCkm{=Kax*t@Uxj@LqeeN8esDHMaMy(mNIy5Zd-$Jj{GEr5W}9x4-Ty6c~LjOOfT3mHiW! zPtjZN!h*MP{feVayeu0Goou9?9MQhKGrYnKm^_X1jHw17xo?8#aF$nVE`)N4N^2Mp z&DV)pCDfM_wRvF|{s#p^`5s#^Ao&X&rLRXpd11~BXBYLtb z;q6JTcq*+*9% z*D8Gpbb0bmN%M)}Aj_jA>|#CCymqLHf_2xFge$nRPe?)u(oFIb)AQV}icZSk`Z}qM z2A}VB_uVQQqlodx%y$kJol_EXISL9erDrALzH@(yBe_kOA54&rSSh(Eeg1~;cBRNETl;wFfrrty7{s9zxtDBmU!_P+vI z6lEaFtk%sgDprF)_=V7UvzDdk`hMskw$=5GL2A~7^P;9MozBOZRN({36H@Ogd7rQe zsl1`_DpRW+RW(}`n2U3uN|+k{dS*#4-lp!)IVmjT(o?h}pB8YwddVAf^j>2{s=0#p z&GA5Dg{l#s;73Y{*Yop;{NTMo22b8Dh-9Ny{JfLvCw-Tbd=0_e1^pc<4G9AbpkT^B zLLPT~NB)c+C#a5z43}gH?|$Yn@Fk*@E|%b8z*LaSMKaGVLDHv01p5?A*nV`iiw-Z zbw5XXESIoOxh&$i7xDQ$jt>C%ndQtAgISO8&x%oeb1lZ5$?JseysR0ID>>IJ@Ds{u zFPD%oZoqn4;+crfb9%W;%1g@@NxN@~V)m+p9VaVsf*Gz!9aYj*Bl6JDJXF`*tJ?gy zXBmuSKJ{w&N<9#bx-m?06+{!@X8Mbn+n&OVq(b_0<)s2+vyWkluE^%GIL56kWo(;U zyNGhhMxX2nNocxI=MD`Kk&5bJyNzXB9AB$6zSR4_X&@w7BswaqB6wg5J|&fOC@IG^4+`S}fOwxHOncD8ClcL6-x6A&|z` z(5%&7%nII;wn$rLC(~cLQmLf9zXP^2SAeZS`uaAJa$3ZpYXaG7V=w5?U$|DZt|?U7 zSH_YS?aZ1O!(WBOy881gVvE50T+Xb2 zrmg=RrYrcKXFqde7BnFHT*F&T{`C>wU;3EY-N7YjLsK|2-4I_xdS2PPFKhY4C7>-S zcgIDhuRmidWL{f=ug68;9=zlJ_;!>3lIxFGMc@B}X6_R3IKhUC(F>xyuF0hhV_u>p z*!>+0dNUXKwoX6Yqc_OJ!?)=;?NWfhMK_op0C-~sd-!tmFy;6^pJ_M~C-93^_Jaui z>4p_)`3V@ajmha{>FDe0>)~`imRh)v*JvIu;-ix2c@99f%aas*>M2I3FU1_-{`|t{ zRbHStezh395;h2i{)8}f28xr+tNs?&{|1n9rvwrVdQMFoE)FT-c#$&H0t*^2SZ&%^ z=XBcNQk9ZUGsq4_c;_XjoD&MNtfL%;J&&2Col)}hVe^Z+1j~*4%H~Ncd zr&>j(lA3}rv(3RyXNpvQBJ(~=oyPhbb$HY-+|lNss}ixf+?|DMT|OJQVRS*fKxFcb zvNIwZSe)!h>fj@e;b8)uJ&qd4bvSXyLjjyFS5ij0<6n~9-o>! zSeR|iZmZ>#C*_!0AocqNU|zYkvNT`D?QOLo=O&$Soa`sadXz&#pzij3*?!)RE#I_c z!_h$H3H>>%ch<~7FXOm4O|og53H^F;RqDWG^|Q@+iF#4stD|1Fm%5Y`t!up-jAWT= zX-a2I4fSglzj$a_V<$Fg+!u_l0P;2;5Mu0O*^CR+L=q0Obhh{oDM6{;dr zm2ng$((>=eH936JmNa+2<0VGBDy`N<-|p#O^8P;l5K5;NYSRdb&+K zQkl`G>TaS+d;v8af9fjIur@T75DC8WN0#u4mV+(D#8}{MsuwQn^!nHp++Hr_B_wQk z-_3wC&4MTVb3Ln~qNhdT`g`hVW@zka^i~^(=|B|H+c`tG#8p6_!-$2iKZx#6+)Lya zE^Yzdk!7DQKAX&t-BQ>WjH^{U=hxS-H+0(U zSd$XnV5e(W2c=Ooq3PE3ifBj1g9Dib!)Gn=30VT|Xa~#mSr5?;xOYXjLr*rUAk^Dt zDBZ)8$1rq`rXZxD#UL{4?5`uEe-KTgEr&@y*)_#w?jTj|HN8DltHS_Du5%tV^d5&#NYX_^A;aM6Rrxt8kC z+2BZqWm9=Y)(o)a4|~_rNj#RtKVJk;^$reAux>lkOXySW+;xZV;)~T--df#ad1H>1 zRbtv=1rEL|G8(wBeeNQbg@EKz=wXz((wJ-nMU^h=q}ji%|Dp zlnWF=jN&KjGBG}mg?3;7y*StbNZPd!V}V!)N-w`M8qf8iAbj}!nZe^idBE~g=$E^d zn?H3ul!=m5X|7)l$hzc(lVW{GxHU}MD+^l+Ey1KBx~zml{!rO>u5L?7p5t*E+XLZ+ zb{Yy!uH?@3-kb$YFZchtOb`PJDtg@P5VG&$1Fq4Fv=;;G5unK~@};@Kx})hfftIri zgh_UF_v96m(@|-fQ~uj!ajWs|N^KYS_K#iG*48S8x^bg8`x8{sSAn;3`N2!sZ6M#p z%GwNqg@PKs;hWAxWN`~U1UCLmKYKeY+i3Xix!3cS`T~%!UT_dpQEJ#njAj{sCcgx) z84>XOpV^Lx;&S2q*+87=Zw1M(zBTDM@=~FGP3XOVf(a4YZG~Zy#{}Fz#+`wgZW3Q8 zmU@bM>YcTRN_GryEKSYcm>_B~isC|bU1cQJuf|W&;>~-5_5a+_@8gsRjuy19l9RH? zD*0~hbSjOZ3T;kIpUJZV)Q*#d=lx2I@-n4%4wePp^{-Z4U*bO`OM1r*HUJSOZ@FRmv5udl^ccw5e$O z8%W(N1MA>w1KiNO>5oUnO=4Z+B9(4H5WcoBrPp`&jv zb>t=n5_yRmW;>I8#}{dgNHTo;U}tC~mzviI$WDjq10Bng3d7i#VY>l0J1^#^d>N$Y zuhwP@s2wl!9j$-DP;0@g&r7v`cE7ShIUvN1f?EVL{> zN{zCrpZh=F=%kUL@`8`KPs{f`+VhziH`$p_lHyQcA!e`il4}Esx-9?Q&+l^Y8-;->8-fLw@R5r42LRz&)_LW-mh(1gscFAB7ep@Q zx>_-2yFNZ4R`udH%R3!&XA^SI60FQJcBy*tf1=HY1~1pNvIhBgzX!wd9sp^z)~^`u z=<8-ptyWsBm&XJa;s~B)>BfbgA}aFM&?ZyK*`MSw%u#r@|I%F(=PsjHY`Cb|ObdtA z0A&ucm#9uH^lO{FP2D0tCP+npyosKzful&h`rA$3mvp2Y4H+}!D*(s!W6yoN$j4N1 zC#tIIs?lkkb@%Y+f8x4%r+wC73y@eacr<8YgAbJi;MLCT55UZjRU|}E*g`R(spJK z0JNZ9i<0TMVQzi&pz7PpCpxPtMoOC?XFR|-ve(Ip?Kx_FWFoGjqLsW~SBmxKMCz2lUeF zmTfGsyw?ge4i1lKeHJ)i^EYkS&F$VZ79V^))ix?EPLPw9W?~1b5)7rP-va&!rCygx z-f@Yi2!eduCHtu5>+}cBM*EKQsq&4H=E&3=mIpw0*=c@BP`|SuDC4$RmLm880Lt$F zpi}+w_IKd*WPtncv=!18gcr##EX31XVVCNd;|L_4wFWm%Bo<<%Sk>O^$Xjq-0Gkc!~yJ{3qKD-Y6o|H8rf}0SJ__3;9 z7sWuJKi5^|G!&jq;(3`oP((_)bC%ZuV_(zKoERG==Dlfr#;DIH^==kS+Zp)qh^yLbjFcy6U4dEx2HS-HTP4^g@((RRxUh}? z`}F{5r505i{aSuBP(7=vsxl-~ET2n1_19_S0z~9$=Cn8>a+NFLvl5wDWt^>N=Gyu0 zcRd~a%1j3>6Ed?wczT^LX5~0+7Ge`C_)(yuMcn-R50hud6A5eOs3zqVl~eR0_ddF) zVpK%K&MnKZ`;z*$dM@>kIkn@Ig+=H9j{+hEt3(EmT_XExExYEtjLfe4j|p%l<)k4z zlc7^{7%y$C#!6esNS+}nNzrGQrIsf{Cb5iP4-<~iO{VsPvJY(PY3SOp^|?eKwASq* z2$c?OgPcUC@yb!FZ;ezu4Wq{u6uSNM2DvaU_N}y1f8CKMbS_yFBRsB89AxkOa&RdF zEcc9$H?EOMV%OEsWo!k#r|x>cgaQ&9akUueSlqO?>^;wJ5N{+U;f8X4f*VPvLV2cz zZfiTUZi0_{l*&VE!Wrafq@9|i?Njs)3ww(!b0OM{p&3E`_OIjvar;B_zucS;)>^-X-cW<$iVtxQaCjL2@# zo7aC!-6$w{z45lJwoRu6y|`b`RHfbrmCjPMV$Qd3t)C5NgF{l;?2vUYg81{C0Tp(P zX~|8BqZ5)EWB!8C{Z*;h^$-;z1!07#x8=0$zLX76IR4_>=;_dekrTnkMCETZ>09@e z`x6%9e=QwiEBr-}7XH4=nQp$(jbV?ePT&VXn8|=hjd^rt5q$_r5o^=ji_}C{*ts;y zCZ&|<(FwPTV&F#MnNF`j5T3JTiN4|v~{71y4rG{ zAGzm@GtGzu}ra2fgad!JZOh02|T z_ObA@LqiYQS8gVh`GTLwj78U|iKWO-GL+o5Rkp4@i|1sKJt&?UMmHBb1(r@ci(7U0 zqFMtd=If>ik>an^XKT4`Z)ud#&wJc{#jkqUN!IGAwt`>fN+V$Me2k#`YV63|J6nxG zf9EYR*2(cnCk_XMGDK`pN2;MF#p7E+0pk0>G1T)#1Lo338T4*J%M#yLN^i_>TPU-v zi!9k*edcdnesGrrvSO7n(soV^E;Vsg7tMNC_EK@+g6Eet2P;POSgXs}3qW2xJ%=b} z3WEl{O6liLp6`&$hBN;P1^Wkv&Un!2`et)2oVwX8?-@+Cpo(wlR%E z`8!uI)ymER*-JU`ahC)8(CLpPRC$~}j8{1HiL>S!jHy&%`hKuDm2W-^6~Dk0`Ar__ z$AX=GH}}I*>NER})_qQ`=J+MBaGhd6vP+s!|He7O|3&UmyuYka(oc}bYO!XG(VKSO zca-aWBniVmv-eceLey%0+S@^o>CV~H>|)Uiua(s7^k=!8yq*HqRBj?2?Hy}APhBcE z!`@*ZFdt#!Eek>UTk`&b45#;ao1+T%5r&A4SK(-|4fdO2?Zo}XK*x-$JBJg(35gSX zyFIoarWM<5zu{wx{XUlboj)k&*%Zo{<=I5f|KtuNyWr^y^s}K(bvgX3jl<;$U7t;+oM5c!VWf8EF)Hh@7Sum=!q}3X%Y7E!K zKP15-6;E}yA`^-YsB@JMBoG8zHQ7|Jf+~E237GoM3UfC(bg^7R4HuI#E5VQ3M);2^-Qe3;SfXIwueejSiM-C7vo$2zfS;ReVEtf-7 z6e8J?Yt=N*gA!dc!5UOT<*1pD^!76W0{hYoC!(M5z#qfKWX>*@@8LGbUl4={o@~xfS!NMrlQHsAGLt(NN@- z%j#N!S}B>Iu?(S0iNyUsOd)c^bOJ2xC^LFkXp4w@h@L$$y~S5rQx`ydO456}@1M*o`cqPp>ZLEC!`0Fw!(DAhb< zc7MGYA_a&~E2Fg~73c%HPotqNSJWFlV{^cl#p2@H(vBH^1-HRvnrxt#Cs0*a zHo$mw1V)V;N{WqaM2#jF_QR?Bu;?l2Z$r*kR$En#l!e7FL|OR>(&Xq`k2$tQ|j z^RzeL*P^=a6$4HV-gHvdWQSe|u1q+0zVeuS1{wUP0`yg#9gCPr=KV+6(fcFyo9@R*~^K$Zva_ zyb@p-P4{Fykyj`+S!yQJc$&Ur$ae|QmHE*wE^v4ia9Q9@QAqp$1ByU(zh3To4nNR) zbQ@aSMCHFMB;E^d>m=9S%PS~#QXsiBg_8)3}TsolTf)Z`; z+LLshD=xJi2q^$@#^b;PHClBI&HXbfE$Z6o_k<9)Hz4QE$BEhCh7?)y`_acAO{0z8@wKN!u zHv~4GaSuMM2C=(>JNjmkb=B6}qHoqY4m{f>z+)2w>-CYR`vtSmT}E;pAHpAQ_g z-u$fnz!g7QtaqNPKFyy^MN`q^Cw$wIxQ`XF$x_wpjQk^$Rb#FFK7UY1a!tNUUupnb zG0q6_ngrok`S+`^K{+W*$EnM83$uFcuN zqF(lKgB{IJDs-Mx8L^Ca8=IvmK-+H@rL+mOymx#zK|m1_lR}aW!f!zIi*^ zP1{!k=0(Od<;rFhSMF+x*?Hu`WVl;wcUrO74_bga@YTBIqupA-b~;A%sE$FYn?&jh zy^<7}mTQcNCgU8%khbuZI^KRHD>>q#4P|Fy^FA$|Lwsi*1;if8NbWz4XN!&}9gfYD z+@S3gT&KizrL>X>J5%S1l>MIUYme0%6~gGxy4%=sOYx-ugcWTeBPzhoO-T=Qb|u5C z3vSC1n6M(Yg6VIRCC+j&>ryth(oxYm(Pdd}9`Le&;*tml92^?!WXhV``#Ac2Jg;}@ zmMRR`wu^gmr8=P%BXXQ&vf%^d2YQpVS5cU~MnjMq@nR$4Li4nrsPaE5g>M2WWXLf1QZ1Cc{ zVfDv#4j}DXNKih8j$EwITUu#rISzcgP%+~N(n)Y2`2suFq&$(krOrj-bCTsKE%!0F zfsVr;(u&s9ow(;Ust7WLh@gorsP+beuGw$ISWa=80CxNQfBDqW%Vdb}xC>6DN7FRa zmjMym3TujE{IKKT3zJS8pA}?mSef)2UzICmAVTPt(?juaQe-iqnjEcCGo&Rh(1n zO26(h9cymoD1v#$4>ZZK6eiT(KU(1#N(Tg!^5d-~Esu)^su#4wA)QYL0~u%f(#dTt zilQZH?TXxjGlDr87&Kkumql{hxy~z>&RnEr=y=+^S6cy;q^Jz!j@0+lk2vF7Um&kI z$n&N)oPBMibKGK{R{3p1l%lX!RtChUxjvOc{tFlEdZtog!&9pVYDbr^kgnr?oslK7 zlGCaqKI{{~9=YMtNfjBM!@*Y(2x7paWup3|z$SQG1D^@*CX~(3T zs#D<^a_VChOR-l@TYpD1kf4(C$y191xvxb%iZv1@=*!KVkQWM4UrIp7!s0Rf&}+|o za!T9<11HbrRx8Ik8bt=}pJa-_8#N{WWvbaq3lC`tQ(arsvzox+g&OLa4( zT{qY6>B(AJ^yK)dX>u2*t_BlnQ;FOXq=Ss@DLsecsc)oxH0h46(H1>s&YN{DTp}h~ z1>#$hmdME*?ol3H@lmYdDaHT?j{V7~gI>)VjBgewxW35utUk|)>a-7dwlIrqTVPzs;cbwq zYY0+Ok&nWh6OW!N&kcE}<3Dvn#1OVz+z9i>m3v;3kZZ`!ty@`RQQliXz-nvhA5Rfg z)5QGAsT^FliKdwcYL*(bHsrLV_!~FiR95b^RQ8>vveMEPpF`n0BYx7fGVu8BT`Wd;+3`lgR_m6@w-z!-kDf zoF=y>FmG#J}ulZ2oX*i%iI>T`0llb&hgsTqY5?JXARE?h0iS@&tB zqJsK7lt+~pw6cU{Z!xth8^=CX3e;_vMlp~_OiXIt`>e=NLR?mIYkHFDYFxxOA>y>9 zKZUMG=S42;wQ{(y!kh?7)%cBdYSA|Lpi4{76-znrapg_1F2$#Gfb_%W%YTJ&vB+3X z@P`L)g!cxlFIlubvfrZ7cWtG3!A&W9e8D``a92{}$N-uR1=L9Oy ztIM}LIlu{hTlV9&4MU4=(KOd%#!b@OGT5lBvC7a+?VKm;TIs%=Zatw*xaR%N6$}o* z(S1K9GMX#gRELr_1f-IoN1@%4XTJ%T18g=x0kh2xGOmkdPvpIdI)_i8`#gZ!_OBcy zpT$h3V9B`2j>Jf&K>P)^`5te9M+*E{q!9X+IRlUP)00K(>kYBk7by_hiM<5~ zQd5OJ+u|aYE|rxjNj8}sOwuQ-)<5J&Pwf)1W zMTty ziX4Qen=UdH-*3!$Q?<>Dx-~)-=S#n2ZAE)loDYdTsJ5Tf5_I&%Ji=RXD;r#8 z^dgtvy*G1&n9FdyQsPyU#}vG)2AoZ`Yfjk`oX*mxNk3swn~V7jvH3o%d)js0l)G6P zl+B?6dQd}=nvM?B_VW4A^Ca7DaN6Rd^{4}J z7~?fMN0lB`jdzysh+J^la49XMZ2%HM8ShsoW@10pOh&%Vg>GTBGZnNIsT(#Dc*cK? zW$&Zctv#WjYpBtE-o+wf;WIrh0u=g2N(w>9&0pt+wMD`2q$A3xK=)Nzjd1W zbdR{aLQ85b1357|OJt_EB1)kwKBZ|=|$zrK{Ih)ow zrw>G*)Jb-&K*W|ENnDATPBGsY=l(rv(sUQ6ogma&%TMXs!&eh@U8%W$qtzus8_K{X zC!N6KD#meC<4vE^x1~rqTAM*QKBuw%6==PkI-70Ny7yaO?>3hlRJiP>+~W*|si1`I zDM>im4%DCi)mA9NKVtbxc@vuLlc%-^QZ1b+>D|9TX$aA5>${}*=z@UHg%}(toDAiE zgcHs)R7&S`_lA($OCBCZ;qo1YN&4#Fsd}fX=juC}{{YS=D-E{k;kL&KKt6zcyXK;c zyk)_V>_?g`$ZX+hK2)IX?oA@%-x5 z&AE8@h4_en^=U2ThcE~upD&eEE~44iTSUf&7SY0p?~nKuZ2BFgI*BVn>3QnYay1h- zrV`{?a6oZf_Dh2~2j@|j7m+E~ChabLpBXwxb6PJZC85}8ZEPjAa2!_SQ5RA51=iIi zZ(9<9A?1jvePF0Gr60wQPywsEpnZw&nu1Cv>$&N(LnJI(ZLS5ry#C7E94EJ7pRGrq zbq}9gAFN9Er6!|I zTI0rLWyb<{JhR=!p6Wj`X}Q;pe2Z*LUD`VQDXcyg+6uW@7|+`WA9_aVUsEkwu1~u> zkp^>2oT256Fa49}OZ`IAcCAIE-EpP|jM_??D^H)F^rWP+RMD-=em(GHkJBAp7Wo!D zk9J&^X8|Fy9XM<#WTzPQt6iWk9_<+gz?PayKmjV<{VUC1X1=!1(i0T%?P zw@n^eU8J=AyC84aF-=9gxMLWpE2tLz1jUudtT$(6UA^T8z)DscEfoA+(l9}$3_H4_ zTcyMi*l{val$RVvR*W3w2g~POSjTFk&N*0|PHQVGDn&Adisy#%PBYJ~1zj}ZWyH9X zg(QUo^ArHBCAU_EgtF%Ke!xk{r5!0{iExEBOzDV^8Y(xGg@Co6ASvB{>mqM9*2*nS zF)+pVcV9wrmE#!|6>iNp9)MDfFuLx=4*ia3c`UrP@PsL9{nUa^C|wJ8x7f8j8Fy$% zxLcCEKElRwliZJ(t3zwlojb6(esaYE3fVTXDYuHUwRg$}?#7A&vuRkct`X!i{zQcQ zNFew1{*-rB+T%yl@FvDULe{;c52ZDI?Z#yI&60&~Di}XJ(Ye>xr&}3>zrfnc#RLLb z?*9OzqI8@84(NwSXyLaZLaO_rF%{JR|3SV(s zV=|F~gZotIkNT7$_J$N3$_VaFB0*uBeWo;KSwd7)lAs4CCzDDM+-Z$L841URR!#u= zR+5(JmS<0S+XHUAl3hYT-gqjg!b^=j^XtbT)WLgs5_CjYn?O$W?NJ_e0;#kv?&D4p z5LM19wurj}yDccr}>a6{!$BJ1x47sC;a!0*1=``!ZO-;L@+jK9)hJOpsC)Wgg zDfymx;8eqE(l(1Tsd_91((o7#xJuSO=9Z8ZBk>+boe1hU&2(W1V_YsyW=zw`!+aew z^I=FyRvcNt&zYk|vN#}v^P&U=H{mR9Z^=HCdOL*;r3GqQ2jSd%Rjy6;Wb8k$YLt{+Vi6vD zBd~A*g^%@AIUhWaDw6YFWb{L;(z;KrS-F6>?T>)X!YX<3SDOECDz)^|{{SP! zEH;Qwl{lZoJ^}_lq~g4{xO`T0aoA$JdPw|RJXWe-B@u|?($s*0a(upY9l^(+0xM*- z;t$q158+RkA2ZwYt;suPb_XNQy4*XCYeOmQv`6=yV%JZ4d2h4ap)|XrG1Sv5K-`Bh z*n{*UqKyoNW1i13Bl!}^qy`~$x=pvOAhhsRGn{cNkBeI9kgZu?o>l2I9 zmt@FoNst0g6Z^;MT#T61Wp9(Mi!YKq_DCIKv}t_~yIdPvkIuUW!?I*4e+Cb14#PCk z(;9?60{JrCa5EZs_{t?qD(7)0B$@`rFdr(^p%q^n3mO0SSQt zSt@*y@Zf*7=6hCYMdMqUvKg05??yPC2B~VhxZDS&OKIrw-9HkLPBV{8)OXe0WHr9E zn=zFG4V*C?fyqGg`<&MGrH@x?yR5xKd|^$v;VMyI0kPzeJb)dkm=IY)zikQbv09x?zO^G4NPUFHxbK5zi zy1!N2wF_`qkugq0ipXWJB@~X^y?m;EJu=w2;_KMXaiJk)Yvh_zk9~IAr>EM|pAo4= zD%_9}KIb>$ zS`Y}rTk;wCc~di|`dz(Ws9T2e%W={Q+)y|;^r?n-ODr+%&c$vj1B7G6$txdx)_LSm ze41f~c@?6(6O&ya?I8ET%^kg3{{TeX9gn!FDNz8CM3O)q>fXv90n25gcA>Zkw)oCU zlA(~>Vg1PxMQpcHMjBd^Nw96(hD`aJ+we$9!TDWkn>6FBW zLvdPBleA)Jc-VTjN_n_!6aXg#6Y?0D4tU)7GETI;PhJ z52=YxNJ3DwcTQ9RBlD><+RLc#T(4H$18$n+t7VZ1GB+#x*&9F^_1ZE%sx`SnH@>+t z%Pf-d`XHTIs^)7wMLzR9gCg2RNv!rW$F;mX@tf5SQ9-#8Q&194G^imvK+~RAXdp++s$X zZ*`?%PA*VWP7L#udG@YU-tL*`@WEq(v^}nxP9rdhLN{Z*K)plKvEH1Lkd_=-+E#cT zeg6RC&Zaxv{aVEjG|RGEfWk+Jm}}VL)OpX-6%yVfn2oMSj{K-fUdG*)a^T7AYdj-T zA2eeq)e&r#2=N;V3MnNgA0tS27Zc&_2PAi;?MrZaP10F-HkGA&3R*x)co@zFFg0GN zgQw#w$8;_JcCdq$pQ!S!%a=z3C&kc*SP8@FIOg>p0x{L*a$tq{J*F8-R6d6)f`dW(} zDqF8C;VDW%DpC0W3Hw)rp4Z;cHxFqJuv|3*%J8glH$t;TPIk8yDmzvF(#}**%z9U% zf8`qMgPkhq98Dh*NKT;D=rIbAaHK>?NszJr&{9wj`o#HHk|>I1JA$pF$N`$Z?}CQV zl2EWl#cd$xAoEUJcDvMYp$KTYKB%EPQreUb(elj|MXw%Jii_YSM;N4WOO`^&I_+?TY z1Ha%O3V_GPJnPCBZ7InBX8?KAg3^_VNCjJhMh1MTHxj!{VlwNmHe#VEUiAaW=OfVh zP_wM^t>71tgsYH2$TVIv!G}VK-A5-+acpey3ecmRnyt29N}cv5QHU`N*$HSJx%0+o zy%>V9hk+*)F$Ej7gg|8rL!o)@4I@#>GM#)K?iCM1MCeysjOzG1O3nzaS0LhqWd5-~ zBbt#%ZL>n!J^rG z)G0WKBl)Wi>B*JV;me zjpo7ONk~7PJb59jE<70yHq_Zfd?1aVIz6W3DrVV}6P1ilaQ8JezRE)+a1NDFPV z=%)z@2ft!y_qG23P;MGyqPEKgvCnsreV5=m`c4#7RrjmT1R7AwaX}OFTP! zX+wSpab+U~OFh(nX0vKCY*c8|VDmPm(Aw1fQ`9Oxg2dd}BJbheX#2d6nF z=shZ8DFp>Sw9L_V-_SN_FdJU<$7naW{?YS4nKbdnJnPZJh@^Rpvfn1aV{P2(QlLUt zu;BTR{`4Y(iBKuVE4a-cc~TNG9QcBLNbg!}l#qF*DMq3pCH0|0l_%lPY|(-@e7$J0 z+w&YBS}+tGK~lfGAGAE^1Ga|D`g+lr@&Zm2ap^@{3RpPigwD;rWK@eTMTEb<%NVOe z?1k6krY@~$%k-_bY0d!#L#yH|>ivRGWGwzl$M027Zb!tF>?b~zjNFvdfwcfsp6Nbx zIH|*H403qoxehOH8yVA{)B2@oPR8yn#-0bMQ$Z>}_K<1^wCV{OUjG1Wy+tJt+vT$@ z3mw9nSXlm5CVNI}+5JgpOWrP@t-9Ocev6YhoT^F^r75K^{a_SQPo6W}nuJ}D6rH&5 z=bGW<#MGK+zS8DdbjnEfTiU-_HpjE2!r>J|ZPgK4X-Ax;(v^QI^Q6c_)^|S&Hmr^X zSe~nO1v;PDTcmF--SVWZh898mN{Z8spW=~KlsuH$ozEFoYpa9f3OshFoP%j=-uji> zZFBg3N%Zufo?q*U!P%Vi#%M)tN(m?JS1w8tI&78Pl8}-}WUB+~fkm%~+j6!!Xmy4>myu z&Z`>izuCL%MJL5?o^#G>*J?Fkl%vpNHD7g=id_9xn{A#GvL`F!4YHlb{oi`co;Ix2 zr)@e$KDEk@;Blkj0r-tY_qYm)J!#&TGBc4<_fB-w?QI?Ayl-`b3vrt@%mhbB{9Nag zir$b#rrkbTT#V$nE-d&?I*?SPWZ?c)%5r$(+dH(f$we{|3EN9La`Ph0?1eKY!3t=C zg?3-d_|w0tHl|;ANQG_@8*e2_NZJ%Wl^fNOlA5$tk}n*oGoo@&mPs_Tq$~|;8{;uw zbHZSptzR!p(Hk^>d%4DA8@H?sQs#-8+&kmRR|{FfPtuxQ3j~~!WUZ-sDHb-E{V^Wg z@?a&=AKy@tS@AKQo4anuIH($9N{J=L6h0&?6=5c78I5TtE$Wczx0gI)7kSvFfsNaH z6OTHAH9gH2Ys1gBjflWV`Qy&3#M@k#XNrro8nZxRWWXe?YHWTkd(?^3>uhUwse=Mz4<3T|Vs9>a?)U%}Z!@2_M?E7LP%#q-!q=$i0P@{~fbMmH| za*K*8#MEY+EX9W4-m0_Cg!Dy5+E&Rf4mjgIs=w-O1$1$%lG%t;1{$0za{&oEeFxf} zI(yo6vu!c1mY)V;Ki|U`LWiE@o^$s!jnqE3uTt5hS*`K>IL>@3m`)U=e(FXz`qn&9 z%Newn2JJ>nIUt?#Hmp#Uafua6VG3;tPF3ql_G=}w{{VWHi6E_*_z7qd6H&`oS$5=v zF(GZCUD6K}@z57$;Z2b#Y08~wfOi4Unf_I#P?~R&oN|nkOjFi+0xB(TOt!@l++-CU zq>!=Z4M(>~Zo`bxd8Ia|2V=!fKcw2b>B$Au`?gz98_q^Ob5Qlh@fT2ETle`6F>G%M zC84=k0|x`t)Z?3KnHr37g*c7-ebQa2{{R*v>yGd5HgIZ6)7@#29?NlN?9!&qDE|O9 zeJSTYd%uMReLXgp2qMXBzX^U2Nn4I5XkV!ZIr~#i)21X!xyFp*HWyS9kiIia(wAm< zPD#{7%Ql9(YnesGl9$|1h!c#RzNh8$qtN;newlqmt+b&JEB1~^1I(XFw3>HG#?$tO zlMRHoxgf1r_?B_ze)I;3fR;5vZAYYZ*fgVWeZjC%T9q@x@w2URr(kVi4k;K+an{ zsAD~;xp-7~sC7$9**%KNrMPwBXJpheppYCKRUBr5b1u7 z()~ZSO@7-I*FD@k{Mqc$<@=kUwJ8I@R$mNSSkdr-djL z;13~=0HoL#Th5Jj@fJej6&CGVoP^Piv_b5$jVo>By+iV z2?ynpYKm&-?Khk9{{Th0u*|jZY{>XXDpvu2x<-DLW;wa5YKrN_rkQp6Kd4oGuxU%t zSL-eo@P&Xu9wUFNU-1HOEpU#I+X3UJBmZr z`EIEQY^xiTp5Z6q9$eMN(LHw3JwTX;mWOS!a2jj$i+fPv{{T_J@SiVAmOqU- z=HG0v?jl52*^u(Hl(ww>K9yOz@zo2hp8B>eixK_)I@0T*KM`o1r(yER3K<_dTyb-f zibc7z#|(E!8s&aP>U@iWQV`qjDM(2Dl=%jAs|0zC#=2Ny;`uz*NvXR+W^zV+sCE)CK^eztQF?S| z5E6n=0LBQem@(Wc3w1aHI8tkBXsyP>cb#Q>)d_%`&DwR`Kww3Q@6r_SyRr!(v~JE4 z2|QNp_;k2&$O4h}ZKX?DG1r~kFM=xAvYAJLWv2Hm4A7F`x4B96uA5}9I|fzQ0g_4b z0~L6>E9@f%^*=xArcErZS-bb>;?LO{o@Stl5;kr;7LGpLkO9j(Sj z=PD1(mX1yQO-p_q9(~}s3Y0@wxlAK9g_g5iA9?1nqkDuC^ckgCx z6RP8+F>N}2PC*Y_m9;q@s8&I)bo1kjq;=!?{M$D+iWSuEm?uQajqcJ5v7T1Kr!Y3F zk1^#@>xuA|q+}=$F;)w#&8qaIuwl5$b}7`j>cL1NtKQnLPm$z>zRGnt);ZEtYL&Fx za3oLgE+J`U-+(&U%9~e_$DJh5u_ZYQOHZ_L<4X%q)E+BIlvUJvbe9QOoe4PiT!6o~LOWL}bnP2W{oaEXgBs zR7yfh2=C5&j(Dc_n2mjBMZkv!6AqZ{r8#a=kU0IK00jPZAla^QZk-^RK4?oVfPg?J=lv;>pf9dPC|hR<&fuK(N$p0XBa=_jI#?xf_Jf*c@2YH2XR!6b`+{Uf zQDqVyTD%p3&I!ps{i-myTP97v+9q72y(cMC=~J#1jpSn>9@zPM)Z?hHqEZz*#FrLB zNm5%=5w|3#x0vnUx1~iF%|zYBdU7IAz0INYi9%dQ3TZ)98xDo3V0zaIkW!T= z94oySx42TADDF8UKXXz7p~e9x6`{EY;v9N;n&fHW)0G=Eh-P<`h=X-UBNeuR#Gl;+S(UEb2}NL**!fL-v>D`_bh z@+PAg@rftm{uMW9E~tNDx-)l-&>y5sg4+pL$oR+N`(nA$f|m^IMtTx(K3Y2>aSm~vz75k{xNOuJ-Ht90LUQ!MY-g|yj*g#XON>VbS za0kww8ka>sp(0o=iMY2Z*{plQ+G#36qOW!~l6#&3$f#`~MS}j(X)d2={X>1V+vMs; zV!!V3X3uP)kfN=lXjkGn^Z8XxlH%k%w^n{7lB15Fvd)E5* z?)QfZlv1pDU>am?sRt+QwmM^@`fpMDJwah^C7I46^q1)*gyj#YU?oKNNZ~m2`PTY3 z?8$3~37d|lQx^&Dd~L!>%WaP1KBtlNrXRBgyC|JEMcrF+ZJy@J%T1*6)1Yq1`4Bn! z3Y+ZrxmL+@EV6)PMkS=l9sN`E$i;GUWXT5MXL}4W#IG`YGa+_k0VbCol>eRK8)xls@1xU-7Tvh zRh~2ghh0+xcaGTy0SfJo4ry)lKrmbBQb{V^<%|w0#&r^VwtsejhLbwwB!r;} zPH<1Jpv6gD8TMGZUCVcS)Td%FwQlgp+Ty<4;8w+zDDGw-4bGxPwykF_ZjHCayt4aq zlz^4H;gZCEe)w zl%B->X{Xew9xQb!#baWDA3BcoX1SZvyV$c!Qsrsc18X6}xyb50wv*+a2>MX{S=Esyg28)||7ogu#g=yqKB6am0WM(vKu^JNGB+O>0ewxpz6Y$;&Pn zt*&0x45h`V$zLp#(}vB`>G!R-TcdJscWH^&p1DXa4Vwf2_t}%^GUQv zwp})@-G0Nh?d!HttW{Cyw2!H^=re#WmU~l&v)U zb%!2sw#xqiyK%wYBhYvArO2UBUkpc`A+}P|94T#TZ08;FeEmN4EpRj9)2qXI!+$X8CTP=`&EjBagyx3-op2enRQa%bBnKa0}(H_ zW)$+E%Xlz}u~3qwKjMDYzz*~$2LpE?@m9UB`nhH6Ut2CWoiPnCw7f{{+pSF@zYG}d z0s_K6WGP#e6W;`9nu1_D(-%0ae|cmp;|Mq;cJKG4R~t$kP(u7clZ9g$9<(UMJBpzj zl)lcyrwCH8J5tr3r}~QdYjW!j%Q5RyO4{W0HW0!O&BYL(<49fzT(P`hGY;C(B0O~V+z>b_J<5+KnkMKY7cPc8$W6s@O}OK0aXb*x!oWV6 z9DYWNd%BaIji`M^O)xqYDfGreC?(gM@eWVVwLG-nKxQR=BG^G%5)z=H#z@I0&<|hn zs`sMhhD@zY#FD2{g*KoS+aiyUxakRb3TtwP)ev#{)z!EAJU4r8JeXENB@ok>r%e9< zGl+~1>RP!ze?OHY>fIrx9FO`od5L-mJN?s7z*3Si>hjbMIpl$gc;rkafu+b>*e|B= zHK$M}U#`$h%XNu_xg4lvvn@y9I6M-Rg)0ZuHGZ{C#rZKK!eOW295 zI0krkIRuVCBkxsaQ*BA~bTrQ%DC};TEnF>fmv&TzG~hzqQ3R)+XyXV=Y1&5hd3jR3 zpHwn!a7!0uElO7R6cv&HAmW}7uQ2Z{s7|-TxU!>wt$_}tdZlT>AI7rE3TZfG) z<`-Np7N)d(94}S!oVsTZ)|63YGbj#Xox0s_gH} zcF|xVagy;{&YKkE!v4X?vcRx^sULuffPai=%r_Qi1# zDwip=Fu`%+eiRSdr-Rx`a|!o}5yU9S_=-rt`&6Z1Hc&&^0Q^JBhGC_JrLZ|yYUL7Q z#&N|JZ}_+g6cM~7vJ~10Q2pUk&NysPxe*hi9g6;6}IF znp2zvj1nm(Wy$CFF%6ZJsd({004Aaih;?`SZ>5m1AKxDdkit@@d>=({Gqn2Dp3K%I z#{wer>PH73(z()ui>7rHljuj*w+Rv>2Ou0RuSdFvDBNOMpO%R3I}!}_)SCYQ{{SZu^jo(! zq}wB9El7EwxhZI*q_w>FMihLr+ny-5L~UN|_0`Zh%WdFyJQMwEZVWJt(=clF6Um9D z$+q5+;UrPz95@x^Xp~mU8VNnc8U&mJT~>MIcIMTnkaO~`8eaDjji7AfBhI#wiU|^% zL(6O{BrB451O78mH)4_w-1+8&LW({~CzD0cua`S_P>EN>2dzz$L6QTQ!nYud_U~JU zqanWy!-vudN&VqL2MRKg`(Aa4XgG`?s3W*Ow8EgrJ&%=R%h)#K?_H(EN-7FYBq#p( zpnO2J5)Mb0poD;}(}G@crE#B)KT*Nw%hrUD=vGvC^b|%<`Mj2-ByifokNYQs{OH`q z3wTPnAHDOXup5xCV&?3HCNu0Zg_hcN&;nlxBo!x|;~ zPDW)6srL)6Z3p5}#FQQ^QsGn`W2?6n~fCy;BqINr>eho2o;Mt^ZU56tBK z=#=$%t7aM(waHEfLWgjkO33;oAGs8^>o`uv(gIR21wkWTiafQ?o2(YbkA0Spfsra5<-{+EaMXoiMtZw3jT76SYmxWRLq)zQ#m^ zrVv>O0~s8eZ0kER?pkVeL5wM-bM~iD_|TOB+-DR5aHOpY8A^r-sB3~34$6AK8405c z%Gy&~$Uz{e4?K3I3$>jPHD%5iAKl1WP@g0I3#ckVL_5YbcG~w;je#?YSRb#*^$XP0^R{a*-M- zE-V)dt%m>}N*w(E0EJcMROr27X{#AmTP%wsz$s{S1A^m6DGD9NeMKm0op*87aUn;R zmYYOW1Si5yH)G86QrA)L(dFrwkX14{Wujh0IFS(AH{-d-f4wkmIx5|8)7Lq3uIPnv zV5G!gB&`n)cLGOj{5bp7P|Bwr%}~?E@w#IS9M^O^s>><>B`0thqVA)@Rx`UJHKNKH zarzhR&3w^sSTzmC5|Ma!d&^~RCv0YvkP@APl_@}yPnQGdOunpjHO(8=o6Hv+OYmJw zDS0idD6rs84nBC>kbYGaU3&M_8@x|;m8&j(4#c)l!`=ufNB{%00(*MYeEW__aZ7P( zTFJ>$j!F8Ou2|zKIT~S}P>PI8;ioklax~kQCnPk~5Z3TXz*a|*rcR#fE4oLk&e?D6 zs@B!kD^D_BIPlc0ly3Cg51(U?TB^`B71B4lw$;Ky8jR?9ruUMBEOHbR+dK~{Ijwco z>!`YtP4@o)HB;_SgrRRJ1n`uEqyPW_V0l#wPZVmFvQDsByuu|M69(EO*-jH635ENG9s0W2$V1090W2cKdgV%N} zkQ_1`h{}mp*PR~%6hIh2$?sD<%gYv)J^nj@G_Vw**j9Y7c;~T~V#u<=O&nV~d1!a5 z%+GnWEu=!+(=q+OE)$b~C;Yr@^JYQWAn4F3QMsoQBYRz1A!Bn$H_HriFgYsvUY zrcSAC60Fil!3snNBU5>Ew?$P+LJADom$*^J41yVe2KyH^7N{e?V`oA z{{SluCIm*KPgEA%oEjL*iYmcBJPvEChclffarGK?1-UXA>GqM4tMBl1;~%SH>me;X z@J>{gl6NSNP6c`~pn88|($JWVZh+Gvq<|Nu2gN33QmEysD+P=qXiR8Ih({?(6NC%Gh9qDeuIjX7tG;y1hTD2(>4UQr$*R?<_r z5snkuknEjZ&?~r@3}2#3mXon<#wEg&=yrpOKQ7|}=Q&G;@*inkl#|H%k1D{oL8i^g zDHNx#wxq96%WX+0Zy^M20cAYr2lC>oJJy%9o0FG!Ly_V>NMvpWOXU1X^!b|fr>;FB zMf%?+@nQM;x42a}Gr{ zXys?aH7*M5^wh(WUAL98@k)@VRFRUE0tf)-xF(L-+V_ZzsGKQ7lU5I_KEb-LrMfv< zk;~<_>cePC6Iys9^Y21p8NC-EshxcSw?=#Q}%=(q&k6x&EyO175%B=PH- zo_cX+Vg=#3HM$X~?nrPUw3Vp&3IXtT+l2rGoKUft4k)ae8CEyiZB9Bo zG$*+^uG(xefPv4>tVl~kr$cMo?@sSg?)rM^CedmiiqZ_QvRdZbsLB@0g^99L;y-lkEE)k#>fa*MRj zVYTnGEQ$7mdC;1YCH~U;elsD(r6ts3BV(z`75plu^#V(}3Hea3VB4oMoyuYI0VC8N z#C*nT2k5V~?!D+t#Qy+iF6%axD=*n)lH@nNPR#ry{_;pP{Pu$DE}Hg9a3d)r z7^3bEg$X2r21o|GU~JDEd71z)J`ffON|JJtJdJdR1KB@?ebkRnod>vpt}-iq&48r0}Hv>GYu> z$xKB)(xXFv-UumjLuyjnAb!aT81LtrQbdU>OqbHx_*`*70pGF7uC91WNzZ!FfXa0t zxDcaFms2f#i4`(|27>b^ic%v_o@b+kq(F2lp)w7U$R;51AC6h+To{l#8V4 zH*%o1fiYs>~YaY9lF`q;VS(fQeamG9R>u@1A0uvFL0SvN$+7djHI||e3+`0+7 zVRg9S#@>FlA9Y2~0z3q(m3!j~BkpQN7(gWU12q|Sg=h415|fO~Y=1h2=&~-|60~Ix z0keWqQaPaBKxs-O;CB_>mHz-9-pWbk0|)Z1<~9mR_41*RmAWejSDSJsyOi@}vbR!~ z0ZHe!5Avl=3kKPBv=!Yay%I`QfRslr1*iA24G-7Lf4kkS(z_+r){=f;{{X&|blYx6 zwnsi7CvN1F`2$?dLc2R!cDS@i%vo5uTY_TTJVs-@988s?1xFahKGb3UmfAH8c{ls6 zqx~M+2?*NTJC^7kVLQKtH#E)3*CzOFx{$OKo_O8PDaEJkv2~OymA%j!xyNx{9E6+@ zalk)ZR{~PW3Dxk9`dFtPL_2PY(>Fv&Zf>KO2%vz*_`~&p@ssg!N{n>(MKaUTAJvmu zR!STVLgXlS8Oe}YUy^E`@SyQ zf}2VUn7}GHBTdyO`(}73?*%)0|81o zCc5x%YO|4+J7guLSt=MSuOF| zT&wgU5!tKZ$gP)mI1%$&Ku%9#pIVH8%_$@W8hE0u!nT#xQ+j`?qF=4(Y1t8pA-9vc z3I!w(N8YBcnDuj7_4BLxYfgnT4&3~JsZ7U5!j=+}Tv0vvNI1uxKrh8w!gh+2I!$$- z(rbOkS6kNFCrpU-t$^Udn+^aAiTR9iNi1=4-6dtX^W?`D2+M|8>n~HF^&i?5yDhYP zmYTN3b{(~Z{vuGJmsS3{h|X%#Syd9jrr{+L7=OokZftRX8o9@(ehqnfq4jf`4_aBT ztvFC2$P05FiaRJDv9Ck4X0R?#lQJweBsD!PyxfBLZ3PM*Ss2Olt|qe^jMGnsdQZmX zSz_bto%Fqy9l@a|VM0g*w4u)<&YRltw#$k`SV~U>0oZ!cy+3!kMPH9Gn5@QFz*Kkl z=hMoPH6`LJu%x`VQg&o0{Jm=}H^Vnc@-y^=wOUnoZI~*RAx<{06T}EY2RI5R$l&${ zsYg~9K7P8tU8X*pisVXCmnDP{frEg64`2Yt+N{4*@9*eaRJ&78cp9GUQtX!7KNY?? z7)n-rolrT)a1BB0gpn9Va0e3U+DYxVx&BqJ9JV_-I+-c_Q5|&l%+2>yB*~WKR${Q^ zt*i{X;XuerJrsR>s^$AT+ilnBb7IJiaFt|sABgR$;UKzFr1F&m-vkrIGx{U!w`rYd zk*en0r7@S2 zOq!Bn5fW32IAOH>e}2@^(Oo*VK)A@g7~7}ZT{0he&xuM=`JW�P+~B;WdtIvP#h! z^%qrj2dKJH_!scSx(v36Tv!a9%5OQ^TqLXfX%D15KeyR6?WxG|$_S3;<*8e-xTEqs zAI`0meJ^Xgqr#IAEDp*9gZ}^=R6ne>4uR=6RxNg-%h0908^(AI&LHnr0Qnz;)z2@M z;}vFhqNJRQ3utfMnnydZl>EG@*<+vKD3j-kLblxP*LxZzL0VpE|OejzIILBKpf3V~B3)YME$tXBmC7x1QNJt&)VJ8Zkx@-a4*#M&bOj8{VwvA z9ksfhs!sHU4n0SmPLg(`i zylqyw9_YkG{{XJ&_?Abn1La+xG$Yx=mY#CxqTb2U?w6lvO&RV!Gt9+(PCB%LLu`hW zlBHv?zz8ekF+~OOHDbVWJ zSaBPhD*$gv10h(?dVY0P7fAgwz1%MjlscH|48(0;2q%D5>Updgrm|&JbhOZVY+Rm8 z%9iZcd`FyHi@+O}qD}z79MCnqU>d+OE3eVP=+$8FSy(&N0IR0-?A=#-i)y#G;>?o0 zji<{#r1=5gHDIOt7Tnvh84>jySFS;_zjs>-LrPcf1?PkFBBZ}(4`)B@#0D=H7tr0_ zYe{gA+KkyBfFIsIf0va@+VRV7h11h6QYAbXirSr9iX`^z2h^NbFD9wE?T4eahesC; z**%_RTp>Sen*2#kDVZ!Rw&QB>qe0NZMHK`2R5kCH}BFKYcljZ=D+b1{s0GGBGq zM(m`8D=7eDj1E3{pp$V-DXaz(lpvuw$jPpvIM0UY1~#0S`aDM(Qw@Imi6WMvd%dxc z+79&|RI)iHhKqk()IAC9s%&Qm7^E<@{;`#gQgNEMXs_^rP6sK5q(it-&{#j@%S zP~sFpN%aI!@u93VWT!Gg=TtxiN7srb zw$_|v6p}Il7|8V>@#S5lDYKOGRyWx~OdWKsL!&h`ea%jRE`18BBm2O8hAqQ4V_gI9F#;_Yt)S3yz2j#&+fFT)J$j=}ge>wwPAxgEE zQj$wWE|i`!5FS@B916gI6{A22`0tCOZ$kn4=41b{r~)e~U+0*)jUAPRyF z{ygM%HLUHdttne*07R>mpI&QCx^|3=*8uO&9jic)aZ&)QKvIXViUrgnv4(5rAZI)NjOOIs9&p77e7&0pttx#yZ-!A%c9JGVr#TA zwj(kL+Mtk6a>aF`y&5JH&%2bIl z_iS~?)KoVB4iC%>ee0Dxa*{f@=A!M6>o>DDyw(pc4 z?8U8PUVXvaB-1@f-db!WY9M#O28{Ict+zcRrCztgbsieqQ)v#Y?g3nqljVwTKe0|jpWP2=Yq>qnJ+fK1=ia0FGoYHzS$g;z$1h9@AjysFG}V=CQ~8ps!znjib*ZF zo_mqVKVwFoZ*5F95OS5Fn94@+np0t~5F}?At=(*n*)E17uCnsdH*R5DhxF!$fgMh} zg!xxWJe>J(8Fi078dIZLu7}lJMM=^Y|2ehoPuWV+63E z4K=05Iad{%HZLS-*{06%PjWqB{{YIGu9|hG?64Au&WyJ;)ujxS`4D+0>?^z61JYd| zA5`B$pS()Rvs&b*3VqN&(p+rzWxVc6PbyJPX^;L-SbArr5p2^nTTL>nlx^slbxBc& zBog6JN#UlvJ*fx2;m$V-Wcxt%mHx7IV(olo#|^bh_j_Xt<7{*i5CVLPxl#G5xiiD# zb#`|itI734O6Mv~#$)#jjE5x4eQJ5<-&Wcpj=9S zZ1)Jykn=w;tsc_76xKSYP}{AB%RT^@bMI2)Ee#>D%9oM=I38YPfmY_pr8NHlNNg>| zg&Zb3Xxg`&Ia<}`wI7+PWcKhrENd&={RVWNmvYNz_hrrroVA4pMm#)@$l5%rDE5NW zuGwT-^&P0nx6AjYqg>!2#U-gM^R>^1@oYX_@M(?J4y|a7V|<+}QRYoIu1O-$ zri8Br13Ocas)~K8dUn>Ova@-Jh|Jv}fP(9-C1u8n)44woBRI|v^QV@B>MgfdNtEMo zWZV1&1S{SeDN+d;0Ye;T>S+_KS0B>Q*Kc7(#@^b{N>z;ILyzHFBfAX$07Z2iu7>Bc zy@GAN>1B!fd2=L5kox4?LPDEnI3KBb3s2!B5EPT2FP%!=M9^_A%q!hyw+(9EwX10% zSowVDx3kWTV@=vFw$D)tt9&z z(%u}@fp*8#@VLC=$pwc2{aHv*$@3T(&PO8^BE|hO)!F!urB`U^SxRLi;%R8|B`Wxk zcB_yAoDbHiJ8Cy%E!$ zx4y>rMfB_o9<7@Fy|t*Jm8@@Gc+mWZ;=jO$BFi=c{cAR5ztW6B#dtP*sF)87Ccv zGtD;W?Yi$a*i>RmekoAeqQj~|BhcXUP}QNL>85%qr{mAJ>YYm4?ytdw!!9t^ejf~^ zpXLn#*QX?0I$5dULGa$0ab<>Lu(hQHdzPKpDj`Q4i6j(P+JOK zF2!5ka|OAbX#>?Iq@+CQ>tS0z1&`mQTe?USP^NLpNJLm8+Z&XqlsuDh4d(Gd8N1ys5!27q4IV#>*787F%_5^!H*o3 zr^0n4r0wBIDIonpB9iU;03%m^h<(z`cO(Xi!1$1otOX4EX1eJX>GyZzxD?`)f_y@* zMnUad*k{Z=QL{Ta*PUiegcP{($y#%@KjB<`N0HvvbmJJ(bSqpsKQ_&GmkvwnNNHpt zWgM+OO7G`NR&JhL?3Xxmpe8NWLk^{4B*sFTSO+*zB<>$7JM9S_==!ET(W{ceW;Pr5 zUCIh?W(IvQbNnhhw_WG7q?YEt@o+*Gqx|t$;SAhMadz0RN2J{!>U6KrcQJpkX!}Cp z!|@qrEwQ8HxsU=t3FFqQ{{UKV8jGt9%D2w5>B~HH$sQD|ZLPMP@chYG`U-&A)wih4 z9kZVKmAVo?f{CC_>fpBuz5Vi~_dX-4{&lBzRJdW`gO=vUwZEa3`(&iZM78+I#vCaG zk^vb%oireH*3Wj&}hff(ld=58_El+ERGIH1z3jQ>SVBbSn$)HqDv9^nkRWc#XKF?d4u*!aI3nk>^)s zTOisq;hU7wmqRyO^xAHkAEc1;)1xSo>2b1^w0%hPA38^}vOz07mB6bpGCHNSpz?#Q zx-fTqNm5N$*W)HV)@v<*mYRLUAtT5GiftC5=eWN^Yc$IrC@~T$!a~Y;9nA`_h*8!N zy_EBeQRo_V+k%S7C}`sj6p}xMcCImv$<^tix>=(mt5(_ExkC;l zNJ^5+$--5GkW>$rao(Iz^xO+&y{A%?Ns*kX)r|aKAbV1rR5E0nTIQh-S0Atd?tO;qcRwk67ZnJX%7E;_do2cn5JF!aaTB6ml$ zrH0vKvBiBho4c3d)i)=6QR+SZ z*K@U8Bdb359j3racYd*F11BC`g;d{cONHJhlDW)?9G-Zd@33cKE?-CS|N3g=2&#Gfo~ zI3H?E+E~`+xin(dOK!-Fcv^brb96|NxUFMymf^1FK)YC^hoVS+E5kT(hZNcL?hnk= zl?}34O0lpJ+r1aN#Y^CYeXE&c`6R}!iR$LI>AYv-*l#aFZNs@tEN^U|P!FA3&tm(O zey;UQt;9x%K0ZrYUy) zZ??|Yat*c=Nb)Ta61fhKfH<|J?F0;Dg!U)*=xI8>74F3@-s>&MUecAH6(l76QgV_H zKWgUZ%Hub;(dlqt^5BagEfH#wq%Kk4i7I5dHy!bi)A9;-29j2#1I`jMJA<6jomnPZ zO}8>Zh|*YETv}LY{9|@Zdk2!bPFU*rG1+w&~%c=-H&^-aiK4%=0ifQ$E z=N`AXhX`6i0N`S?Wt+;=W|-kv`9*-y9_MW7^CA0_5g1D$N>hs37myBVG0vb`rVzv( zMHb@ve+v#)8~#dNu_&CM{hTFS$LF3j-PpvgV`gL zC+1~uHDj?xm!6Lb!lQK;xrrwXy!R^Cw`O4BDp9t&IN?14hWzJCa=qy6;7jSVn80G zFq8c$HSU)<^0Khe^Z~ShDJ2$!^G3=#(OLo63D0~AJj~R*t)*3UVD#QJCwys<*5e># z7SsZNAwy~on(1v>Yc}aN{tw`g8rtJ$$c2HLgyj*uk!YuJq9x{=$?rzohDI=)RfL7? zqWpEQZlm1RN?Qwwxb6Cdid9dtvu*+6>L->@eX&44{Kl_RUdr5&S&U7C@qY>dOr3=F zpdy43fOGb#zeS)T(-Q-`Y5r9LLb%7059^YX=&mYv(n?S0C~5~gno0U`R$zRwb1IFG zCe@5_Mw%;eSW>p5ZVe_h;UMlle0@DBLMx|oa(5|12j*)%rvTt% z6lX-fADbyfTacz&I6b!#yq~xAr5$F#Q+z9LLlzr)_^<8QlXuo4#RC|s2$)OIkOIgc9Qq7Vr*f1d3EXmX&2c5|fzh{iQJ(Yw zT@B}uo$2z;2EGYR2$iI_w68vg9gT3bEEBuSwEzIGhM{hz-HUhoVlY+i?*|k|p*a4P zG`KS1sKcmG7-@;pwq?V$UY~~smP5pQS|`Vp(`wF09jV0T3pq*P(@NbLnYPy4Y-4+4 zk=&0_PAfyME;5knyg-ftBa>2?1uoDW_Xlbmk7$=UR|X@-dP0lJ2f=KtjQoX86VdP# z`cz8u@@%)ssBQNc4lFATsHZ%6*Dq4*lc}VYItI`hA5>VcZOui3e3am)Y8h4zet4r2 zIzz14o{Pfm6Ct+&UNLp(%G!XHWE|4nuc}h)$UwxM8*DJcgT zDdXsCcJE_-aV2X(wOs;$$pR~jBkD88d(%^*-Cm#4`<#&)Y>3I6!)z%m5;ue_;2)+> z=Tb9X(bo+dtnT-z7YmDPxVRa4^zK?#roRXr@OCJ1S(U+4Y|%E{n}Sqv57>vO>Hv#e zr2hc@EkpX!t6sx;^#}#XHy2brBdsI((unrwd0p>!GxcoOY4*an%0XIgmldI3g+u%^ zSIZ=7o&Nyf%Hx_}ps4mG*NOh_48()$2%P?AiCjH|wY06mOc~2T2a>=>-?r{(Nq*Qb zG^J+ec~hQAN=XELb6d81S1SD}QJlKmAdF-?F=Z(FXV$25+O1i0j$iXr2_ImsR?61% zF()C#oP{Y3oxFdntWsJ%iM0&Nn&3iO-@IEG#KxO(g()G$sYxnE{{V-K{eIN%ymh`+ zrKCS3PIW6zLx@o+Q2BFJ^Idgz@jCwia=F=)HqzC}ESKadMJ~LSau7~2##}sP=K`k_ z$(B{QmC3j(aYUJ|bcC;G*tYnZwNjMK(yH6jyv zvtI4d+?tmk_j&T0jFs$O#qzZcitIvF_<_jnMY^fgX&q6t!w$Ckl@cqjIG3F#!gnpB z;pZmkHi%$zDxFvZ|6SHn!-Fpy?`f^V*FT z=ObR(GGQBa!4iB%z)9S8{t@vGeEIaE(PR;aHvO|nF6)^((oKmE;i&feJUet|Qle7Q z8gFUFeNIo_oE9rotL4Fn5MsSHW9kjF8Z%|bT~X|mq;gG8SvM|3#RVAf1h-oZl^}N{ zk(%nvWGx}pFLPj(B}-Nm03YtDJ5c*D>x*TaN_sWDi5SVZyKrmXPoM}%BR?WRsEXEP z!n53%akYn9@e;H>!qLxSK2=;*w2NgI6>LI}a7$@EAtePz3LUGd5`0u3B_|55P};M# zy{C`@RpdO)cGM7@<>w{1#* z>M|HlinM3&lgJ-jVw`s;6zhmuoA`m<9w|MKl9lx5icixnv1~Hme7N$RT8`j3Ry&%_ zslBw3t4~|4vCi9SKZJIqtL)&|avLZ~eL#4wgUUzlkFT8pKH&Y(hSCgZ=^P;^1pLVq zS(aL9O9KhO&T-zb;nKTOk*a!y^@wr+RCl6AX6N#lrdk(rRFvN}Pr9ouqGFpzfe&}>cqj={&zp+>08+O&sPI)6^4vFcKUB2` zQT?LVaJk)Ij+?`;Jtd}|Qd+=I>f6S72}lV8thw~NWoyP3- zmgySe$yjnbsdEWgPCz`2j(HicLi$T`(Aw6|ZMeW&u*`;%u;Lz4T;y^$XFME=;Oe1L zN3Q&Cbv$k<@{3b#j>9(p01*n<0Lq7zLmgX^iLAZwq${x^q#I7icF`Uq&z28mIN@G@ zI*v8eU9p~4?%r6e30tFP=2lxR!MHlIRi0`R>jkNZ=)#(`vcHK#{{VWS+x?OG z`Btc6mGWoFo-h$~7KERwn)fSl@S`}t66biw>e8XdgxBvV53ut*im86sJ#&MrCr8j) zHO-nH#`24fwz7XoOB^ZHEB2C{kdx=h^u>hs+V+-#pfvlvG0}@{i=*xMHy0uN356Vv zSx!4GVDpYrlm53JdCLH@Yeb@;b0v}FcEmvu3O%b*cQ%xean2~xUI+h|yo-0e$wLN^9+{S5>jL`!b}LM^8Ro zOKCg=CupGSD=G;U-m^nzPO&)MT2;a4l!0zbWT_2-{o<9_WbhNoJ?UemeKfpvcU)U^ zt%x!DMtX=sq&cy)gruoTC*%R9kr}0}8?0{H15{ge4T@QVcDFp2$ zxF)3md%Ab*1g$HwRm#@AM{r5x$SF%HKB;IPeyS(vDq**DOIfxP9yNeQjDdt9qLie4 z2bELwf0UoBE$kj8gzfYF8;|6=bJ#!16|e3Vb-8)gFl{pnge92vGU(ZXgS&n^e_w}sGsZ!I7u-Gv^&xRL#6WqUg7p@MA(Zg5YEjz5i5XTQn~uVOe88(**! z=Z!oE^Hp}A@{e^8WPfdw$i_v5ypPRBpUEHDPmXKRY}f3`uB0I16K#DYwmRP z?4DbSGwU@KPTv0jD5p_OcN=eA&I;}^W{fg@D{%e3bt93O{Ufe*Bd=`%!qvJeQV-|N zN|ra<5?HcTq+FK0nDufp3-;0f0O_Fr07^ao0GpPn$Ll0olj)g2{{Tv+2ivaUkPfxf z>q+hmXyf`&Jn8E zD^we1d1(jYbN!>~@~F{~;;Z83xE#@_}+WO>kr|n zv9y-LQ{N*wq11$}DNz|&J?mZ`F-}%ve;V=Hj-^2joE_K{Q*RZdq^q?64AYC_;`}6! ztsDm+=dkWQXp$Sx<^>%|B}9XSpE>}-q7aO6U3sz(G!g{*gGo}=zymbL)G?DTY7nIOjHn!g*+7oe`jdwZ{{Vm9oOX4o#~n#O5E%gd>8|l^&2V9D zxTf5ct)vgyP#MiRtgpDayIk`J9Mbdw*AN!9ZdTk3_U}=TP$QvJ1eVjZkVbuKPnh4p zR8AA-eJPWzp{3hfrDK%x4RZBd#z#v|s!5TYbfW&tC&I3wqZYinybMTbfy4WWA>C^)pM zKNj=liga|zn@#goN4By0QaneLUJgy*?m`K|Px$)PbCtz7v!ew4j0Wd~Bh(H;`iLMBAsU&42# zCmii?W1pC(XH~Sc4NY#a+%)42-{M8ONU}E;+8hL-X-t@{CplRmF1mr-pANKnQ7#l8br0T_yOWB`gRiY^NcTy)p;c08-M=) z0Fjf6;X7l)`x$v%h_n5lw}b#of=bldn*-G)cpsHRIRRVLW4ZMZ6VU+A7tw3ZBa;)-we$=HGqB4n<`EUbzpeik~g0zF+vhh(;(5}TR!hR&2D0$%22Cj(R z5i-yEe^hBLC}Z0r$91dK*|72ocV!+6A!{ULcORWgwo7iC()M`q?cG6RRm^MkY@*p` zxD~cC2t#WPs4W>Bgxi^UqTwHMH!{N4)eo0UDCXzKT zOEfa9_a|<)IA%H`I=5tyP_zJoqM)F14;+0d-)htVTj8pGp5Vjb1KtC1iqP4|e58?& zZ2j=waI!hz;gdsnK5M~IT9 zCMnebrGi$scn+vzcga5?=4&If;h{MlyHS;+bJ<$Ui&qL*;A7Dv)A`qKj11JZY>=^V zwv_?rTr!nBRFFRsPc_@A1mnFMgvf5)E!7O|8vxI8c%)>byHGDMiAh;)_ehbwJ;qhI ze=0etuT!-h-fi0FDaqFvk1j-sFC4Ac7NVsoN7Rx{C)!X$Oob3s+hKs9d!Q>RC+E&S z)TcN$g}8>Wq!33VwNTZT##BezhA)oFxXvoX`yKT<)dx)~!!}DS&$dZZt+MjMd{&ln zN^_1u&jXr<=Gfeo8AYb|tzDB$Ir0w7 z#M!w;vdI-5BQj;CJjGonjw@wZk>$;k<#bJvJ-m8^^nVSlJq5&%+uX5JXGvti>aK`$Tx+hXM$wTY z2ON`Uj~qEIdrksc%Dy75HjTOFsqKw0W@*JqSWuGQTT%;~aG*|ny!fT7bmrW*#`g$r z%GgweHc(bjPB2I0YRD{c`bU#m)6SEgP8sUYutvDky5`HMRcz9U)AB8^w1iK7Ql(0p z9l)}MIJFF=SwYGZ@aMHjzSaGIXP})qc4Tte^&P~jEvbd_3!8o?Nb^bo1dlROJnF9h z0FzYT^sD;rW~8;tvgu~6k)#Rpm{Tq9LYAdtBb*?U$8Wt?A8G!&%j?Het{1hHwP<7f z*4Gh7`>5$B3P0;ClB4wl%9c`S%aul18iz!CbiGKuT_s#5Np@_>E-BZfJgv)hWRg^) z=1DY4Q{;s4>*q;@@{{nKQ7g5>!i=r!2_9$Cvo_lqaDk;tD`Yedd{uu6JrM=A5)CzN z4>>j85a(`w5TTAK#;HH52~X!vxDrgOHItjuL)Wn}6KN82<;q=N-)BD!rE6gx>$ zPig?=q$6-DKWa7{Y&Wz6_7%4LvM9?~SCFYh1(O`B03;+-wbG~3-Iex7#H74)_X4AY zHVExcewsXyCRq$`*QqWQOu}Wwv z+?15<8Ole_wI*N?`jcz@C8y;OoSy~3pO{YJ{6zzzt;&a|tz`t@$8ASH5eLNSgHY7x{FCdJPaoVKRo%?(-FYm^7+<^O4GstAdUwd zP>#qj8d(Zi+MVh7b3htUR#WOb(CJVkj%$KJQ9f0qdq-k(LSc4$w))ivcP&gz^t~z?4%EwRt-H{ZPYr;$ruUjeQE{jPNjC|Iy89B zZniS^5VVYV%NWYOgE$|0oox@5LTD?Wg*2CLhm>h1I9x$)I+m^z>rIVC9J_CK19BEI zPO>~m3m-~KBgKrS&)`>;Va~TEjd*3YnH}j1LyyQxf)cP4N5nlUb<=th5*lcjaZ0Yl9WPLlNo#~Sfya{CGr{pNglOG9fJN$}ewjyGgy<@KjK9YoU6LfdmvTM*+* zEx47*LU5tna(ut7R}W~dRi`gH<_wE6;Y;x2rE@36R}vOaz=a;iYEz7lUzIjE+_zD; z0^co?_E}D(U-Y+IwDr@dalM+{a@7r{lREn&Q9BtMf>M-(mhs{Qg`i{(Jm`-|x=YkJ z)?01+L3GPYz_iPm9`_0B{-J(K8-0+Zw(1hKB&7UH1QE|3l@eMyjc$P-R%zSp_no!e zE%0H)vBQw_VoRzhQF!r&!cvjBBk^PrnrLYrvOA&rlV-Z2WQJfth{d_fbeEiY9tv`Y zP)0`|5}gE$=DISIZpH9Tscl^sqf^~Irtgd;%l5tL?Scz!mAMwzZ}->U028xnl0t#U zVn9A-qHB+|WL*WSZI^vfp`#ysWzAe0oiumY8gjN}B4N06hM$J!rDIdPEX z>P)EfWN(tD{nYWEPXObem062k>a4Bl@=4N6)DLR;ePGp(t_`L(p0+&Oi(!YqTInex z;wr!x!n=I?((*M0-CQne3Qu(SBcJ0??uzOkO-z-iPFo&Cr#CFEO%&w!I8xPt<;6T# zs~&j>ajPB4#+EXbq%=~Y>JI*Eo0fBPZcgmgEDcuGL(JYLD1+iR$NuP33f=82;yRJ2 zG_=VL+alVUO3mI>gr$Wj?Dz^!F`efJCp#6|ieEaEbp5gU@+`L@8IifgBsQW4t^(?v z>m7Y3Sl;e8hnivwcU6|q#6pxh--bX&Rl?G^l{Vo>$9!-+u~G*| zeWLF+mmITP!tW5SbLF3lA46R|J{Jbuos>%>szRNTZ>c0 z0WC+4+V(vnLV{zoynYm+Jgr=g0Q#QQ6YD8&YRiR`tU!uW1&C>O98kxIme2rGhy;S> z2n390Xg$fRiR=|7!+3(`onR^*!ZS#?NLrK@xeHgqpx8ZvGK`;^YoXZDsS*O zlgd_~ksQ~ivu$4b%8;OxzTQ$!J{70w>r~s?{{Tle?efVkEA7X+IMSMZ3IwTf)A&|E z92BUKGv6oDjXr#m%A((9ugK}K!xs4QMRZDXq^H#4m89DxzaBJbk<{^Um9Ga0Nb<=& zsa7qKxNV?@Q2U7(+@xpv@k%7hBQ2pRY<9|VUHHRs<)u34K#!#-!gXs@ls&wU)S(#L z^3RC}9bf?7g`KDH-|>XymLI@m+06akAi2TuJyy_01(+ z<#dRAZXAr98g924$1v-IU>}9QGxIcMkfxbPS0_B5GJbW%&8ltG4$dtqkIG0= z?kE`>5ZNlO*gL`UqBlnZ*3%=EDOmjLo^7DBx>cvG%}8!TvD|rHBc2~+k1UVQy?gdf z_H)uqdo$@~Zn}Meb-hLxIcr)1Uf$;@8@qs%gy4B|>t1qnH$*F_eOl8xc`S!xm&1;r z{u0_gA`i&m54o>V`rYjrX7+XIk}k4?cMU}QW*w%~gSW+XDFCT>Aj|Ghprb^(EZKVpUG|_PwLv^7%nM1@%T`EYtNZ3WhBzZ zv(|Twb*Sgx@AF)_UFSGmenW@3K0tXS4geeg1vTf(@T09;bLEWIT(feKrwkMoBMh^i z+56ID)|{6kbFO}=C*f>=Gg^LXVYXdZBn|>cb6SKQQdGB&R->P#R9@AJ5gG8>0ANys zTsE36%1T=R(WIvpVkwtpU97CEt!8s8D=R1iD=RB$PU-;G4P^>YfH+wv=|K^S37}Za zd&7Y{f<9)1W-%@)Am<)EATfG89d zB8Ec3RuX%wu=6H>c!u9;SmQj<^A@JU97lAV&=x4O70jeM;$wr@DCJ*}rR@Ztchv8+ zw;WQ7M;RE;BAahWLgOJ>;Y1NmI|Ize)NmHt$o+F(8kOozT?fgVFYKCNovkSfR(=u9 zDWO<(oU3UH{P?7+N`vfR4~TGSP@pL!;FXWVfm>tA&tbU;Oo(qM8CL`kr!?QTUEx`0 zzZOiEpl+%qVDj5fWq5lBOQrIVC zlmXZlk`~Ip3y3*M`}UzxA#Cj_SQzXG?@WPXjNVD=eVSg%DS`1mnL(!Is00Wv<91u+P5WycOyTvqIoB` z01nhxP~vQ)Aa46s%Foh)QQQF?u|tdz>5vUbfC^dMPku36v@jGsSDNf4E)o;L9$vN6 zKr3m^N#_&*AxI;GMO|0ww`093p_coe5J(%bNfXi=Sp%~EFQ=^l7fXaCM;Y2p3Z(^h zIiR=UL}RjZTl{0lU}uv+%non&2AVgUIxeiOr*~{~@dPNO+GLbg`KeQ@UdW$36oeRio|<5p8euondi#xk9?;PqeI%_MhMDKew=lS4OV)|!SA z+gG{0vh>GP0&T6>W;_3TNpk2D>Wh=N_+j1z`lHJ8;hRFbMq7)U8R%4&S z&YmU0V|w!Aw|#EhyDW1VuNop+j{E*Hf{GH5qP%|5Nk1&&lXXU%xoLazja>_WQKidGf9NZ1 z&6}Hd12ibS(ogFnWA}kMK6Q3Hs#PWE)|GK$f?#Q#DkCQO0#(V$Orm^OqDw-*&6Wv3 za3N$N(Sx}Jr1e#R~YXk6*l`*0C5T(hyucR~L^pRQj}8-T6?Q!`o~BX~FgUPrfaKuXdV2JWI|>hEN~mRnjIfb*p(K6p=%JbfvilST*f| zYEqogjl)n!z`q4)y;=%g;o%TiS=H%x0DD(rwED)RlMfP=HdS#~&(Q)B0CW z>6>|TT-fJZ-&?B)eFa|Z;!k0<9f-jg%^zxKOd-hnVV{m$ zlPJrMGgQ%EZLha&ljBI-+bCDNy0ro}NU&J2?t({|Rk$-kkbK$+pl3T^iyM`7|v_+2R43Bm4h+=Eda$}E_3 zE-X&*1mNq4kfo@S;)1>+qIp(G&o$^VX5NoClM}}2ge@%@_gJtTPV%=9l@y>Ap#yO{ zbM>X}pX%G*nYcu_+U|28Jp?V$B0P}Fo7@{h_Ne-RjDw!kJ8IIxr3B_p?&YQEIE6(+eoW9ipeqcQB`Z`C*X zLgRY2Sy+DI;X0D*&lG@=dErY@Pb7CF^Hkqebq49L^#sf9;bG~Lm4K9RhMOEAw2$3L zX~r^+QP?E-Aqgl_jL{TC}i9xh~2zndOoy zK7}~v##%^c#6C$Xz|9evmXs*+Fex5I&-9C6##?e5NebZi z^sJhlMm$TqX3ajHd7m63x1=SROEA_{m7mukY4{d>e6X*dpPePkQ}4)9)bA(dN4!M2 z!T1zBjdqy9DhgLPuREJG^FDe#1|2*xa=Q{^DMer|hm*qFN2-T3b#Tz{;o)gH6jEaG zA*R$el5#$Htfr>JO#A~Lbd>{i%iC%PhR))BJt*|)Uh5frV_fjt!mO`8n zUwuLxb)FbwKLP;q1q$Cd2qt7jy44w$NZVou%QnEOrlModR zXjdZ@w7K8TfV)0hguS1P@G8E|H9{NBDpbU@l@+$p&peFNo&-Y6V6VCIqB?#cLtB=f zbKaHSa3KbiV@Po-T7dnNgY}~w!1VJJM0_lTQj~NS(1NUP9zf=;MH1|*HItj=X+ zWn}HAkoI;wvXFM%_DSK7^=1?qTb8s+Fe%^X*Tv0ovTvT zpOq%HJ%OCK1specX#fX7sN`+1{e!+ELkVOx;vkISL$xQlbRVWI;k1UDWz_8>>N8uB zDXFUkrEc0VMJ3N38^|Pj)5Ww`D8z@|#dTxVoJlGUTTz!m^#+(a$_ipU#KkB58RWW0`nlSp`6$$fZ)0W;V~Ro5 zR$fW19`MIL;54qtQPJ9+X+64XFwnlm<6>nl{H7sQ__Za&RazaYH1y@{~aX z13b_{w%gm2`$w>$nQ2O1R56OvWTYL+3i?sRq@bk<306A;#Ym@bpVb~I7UG?#N{=R& zRIDVP*z%^e?&2D~Tc9f+=WM>Df;rre4Dt3-sC)s!J}txcy8&CsQa}edt`KpP*;(Mw zgcFPm@y$TY<>AJCDJn`f{8{@_jHkX3oP1|IQAq$PfUi-S2_W9BBmV$OFn&ge^s4CP zt6W>0K|5YijUxy)=G3Fc<4ooqayr7=S#89erD^Vy>MJDP*&DH~(W2|= zls~90pQCMY+_}#ErlJDphyKwVC+o4W1LUj{TB9Du(n{l(k+~W@>42bnIsu-2!ibLl3x- z+jb8;)#7WRHQ}Q;X)UaKPXX*XO zYD;1xCG>|QAjo5niM54evF+tn4%_Ts1N39|5VsPWb1oe z`%THs%HG?=w*LS>vKu4uNm7rRA+{+l_3Xi8)ao?n;3e50Ve4b+bY}LIqD_cDXG^ZEtQa^Gb(U#wGep9arOM^Lh*Id+BQlc z-t;4FTtgvlE;vh!x_w(EU61F*TNvE|(xD`-<9l^Vb5^cpz zj3CRCzi<887MnfY6~D;h_EJl>z0t42a6!`YEfPvj*^pgB4z{D_6b^CfJpAfDm!WQV z`wQ2*V~f4Wkt1xlaobz6V`p&-Z~@3xKM)=J*Q9NGJapW?A6fS)#$=-_PO8a0r3PPV3QC%B2*?E>B|XU}b$VL&Li%*diuX)V5hkJU&)N(pUaImaGYAoevZ+ru{-2kE#izHQB)4pLk}F2Zy79OEiU z=MDjb=d|Qi@n1{y54@QNNZO0%AFTIryN=xcb*6OHjvS;p7S#=jO&oyJK|Fl1NiWD} z)3qfP{E0P(COxX`q3LzMcMla042KrC8r=3r?JaXVcRy_O>ne zn}g1HtB8Qo7TOXw1*JR_l_v+ke)U+(WO-Mi$**#P*s9KEEh61>F-&DdsbygI6h>v4 zwEnfQQlaL9w2!!@G&ZFU253?XUD@~y~?G7?H-pB0b!r3{L1IP^yD(Tj0C(n8i!N)87g`A`zzRJ_Vc z+(STco>k3m=>Gudy*A4mlGCzRu!HBEll-WwpuZ^~o=NXX8o5IM0IK6!kg}%Yx08-A zv)`YP0-Y`eZiTxfbtsqD$Q&k>%JD_v#!Lu}vXV$bLP1gF{OeA-8^%fIm4ZN}!U-e4 zr>z#8vho5?pEN5WTT05ZvN4=?tp<0br#R1@ScsQmj6sNF<|r9Y?G2=>B}V{I@Q_O- zvB?6H?k@yA93L`j5(dRKu(dXm*dNZ6O8qIn72+f-9jSG)H*;353RzccD=RBeL6w!2 zlmV5Mm6QRMm4lku7@!SN_{rTItLH>0^}i*jdEgOH`XvRO;bd0{G&IEcZV#Bv15mmr zvstdI6L63=&|9IJ{ph2bg~CqKf110&*X7~>Ro z1P1bcF^*|Hx3}&>juKLF@;-EEJ-i@o10G|}fk9th#VI}WQHHyisNG1>DM-cx`;+Jh z0MwrGPUS5_aOwbcXBDka3BP7!S2X!S|q%<++ zd8TtI;a_TS>$%IBcOgeRb4UyjQfmbM$3q_xJx2Bq*38^G8*YrZ{wr&bLUAN=0#;O> zKiOER#@VmfYWwa|9ZEyLgs9+Vs7LuebxLAteMw}J>F}jTM5f#FD@od;`6zx>ac$9} zIjpYc;U(b1OfZ%kO3>O6NnYiZ5!~Q$Tn$24&$z|ag$=aA*Y3`i96|U=#z6#jsLM?* zYZePLjC-?pdG`lfTTLr^S%?w2E-Ze@Cvd^6k31riWJ+?EM1gI%K)=8q^*N~Xk_r}r z(IE=?EMVf78q?1Es$7LFi7NvHu=!Bq{ZmY@XXfRbRqj-Y*4W{97jY8h%j^u`WcIdP++D4Z9omCyTQlJ8_)xeeEQN(1wb< zG329kk!bjH?3YSlVlc-7)q>e?A!m@qwU-kub-GW<=m7?NCJA#2n z8P?iq&=%gHg5zhhgM{4V5i2q!fhuwDw5bA#Z)Ol z^ufjZ6BlokkHm(KNjO>*q5SA{TAl+Thy;&D)&Bt1LOH6e5mrmL`(gPq3;(xl^n%b))M zvWZF7`fVxS`gYjTeO#7=jiXP?y~Rjz`+F{xzS2)(qz4Hd z$L1*8eOJ;;l!r{Xt;QfFUiBg>)7H)^9V+&z)Y`L83oZW4^51?dOgOgV zHsh=?A8iF2zC5y&oaH$=0CpC_P?y!FO2sA2l^%sRa);vVMUK^+bG?!{DnI&Q2{= z9<1q3rrNcot;?N~)uk?$!s^>ZxU8v2Qqzse{6hp}Qrh*aEVsDnO958^ksR~+lU{fG zCiU)LPHooVcy-sbb1qzBd!#*u(=Eo4DK04)3RexOAzTFHigM`RZF{bw*Oy1{a6@`R z=F9&8qoBqJQ_zb^NE?-(h%YC1&ym{|OyZvn8kACPApZciKTwmc`j2ab-Kqtlt3AKL zEWih9l;Vntluw>E@#RohXgJ_cZ28or??n2E)D$_YQ(==K+nEy^jz1Y;Ky6Y%?vRnd z?rG7W`g37{J+U!^aeM$tfA9~YNBGrzN3*Ag6tetcLGkU*x}b(qTt0vr5>=)6$O~}` zN)Kfz1OxZ4L3E~=gJ-t3T8|znUpQ^BpXFR?jUj8)cKHk;QPx}^9B27ynAlP>S|_?xJcptG01A*g4+@v_#kD8FQEhpp>eCdO=NS0RWH!$J@YfpXv#b{XMbKXeXUeI0W z%|G!aN&xrRqLcZ9P3x_qEIBcyWqvP=ovJG&=k94+Q{S!HS{d+P6I@>?iiLute2Tn< zM>dq*b>;n_2o18Z;=thzq#sXOca7Duw>2(_4k}RDc5A=gFbVpr$Wwblw5yDph1uW> zk2*qCOFHI9xLOQWum&=*=g)8DLg~vuvst6Z{k~Se_K$i*=@#weQgmmW-~dT9RVXf~ zl^)($uJ;%B1mvU~XV!<5fEfgFny6*LjHf9SI6_j+&@uC;$4FVg4BEnFKoP;JA5$jBy? zE%3Z4DJof6Jd$fnF*%u~G?82@D=R9&46LlIpbV{q=Cxh7#Qz7F+c=v;03p|Z5ZuDn@;WDA(}mP0Hq2CK2%m3 z3yN3+_G%CT5t`(TQG(e?!Q-4)GEx(>0~}BQG-4ZNPGokX^sxYhw2`+s^Qi!K*1R2q zw|d`*;XJ1lVYdlT0ORLEDVG#VxL4AYfEMzgepD6cZiY{x6l-de++*!QU!2(xppH%n z`BV=T!x3%aOOOWQG3aXN`x3N-HK^`BDRI)|cFyHwpa8RjRNm6jQp&*3ZYtFK3M{5Z zux&>mxf61IGF<2QReFZwiL_s&ik^6;dL?3;<35$Q!d3$Qpd+$SG|cdlMIIi+mx%9jX+HI#VLWw~u}30h9-m3wmg?FSOtTrIXOvRAh}@Z)LZ ze5xJxmeY-Cjdca|WFp}dg_3)?(t=6*rD*)CrJ{RhwB`O&9{eh4a){6Zq?`^RunnC^0Fpz(SYE|kkuxm$YX){#dOqBxMX7kIA5OK$#h^80>pHZ zKqtLKnn<@4T$qP&oT<{?eO=UhX0eaLXsU6J1sh;xCb73?MJgrVW_$PccdXh;<-VxV zq|HPb4kY$%>Q)j{!C}l~9^H+3acy6Ql&BIE zk_aI3D&>1R-sI{Yh3ok4k^b75qKMvNx;o;{{SNgvvOwrJlgm%%L>7B znW;3|V9Jb$$hYl~%b5+lRHpXi1K+(qAX#QPceExHmf=lpQrnf`JBHJPln&TFVxuiZ zsov7si%7E$3lbik452QRL@pp>=;AnqXNk6MWAdIPGrdrT{ZwhjJd2~CBuC7Ej|aTy~c;~s{m z{cX`}*H-l$Dfg@Vrl4LJRLJj^lKI|)u(qMQImS6YovD!bTJQePQzU2uZGn7d%CgfF zWG%*=TWbAa%0b8N)mY_f%Osz!#(aGN*0>;+;%auW*dlV$KmDajeL3n}9V4d=m#H@? zHmyS)t*EoDRXZ$aM!P_>#OUXwC|=&y_n{_8*L(2-Y%Cdtkv&{{USK&$4XY1ud)X zlT|x5?`_Pe(cOlWA?2r^4MZ&Pp^;UsiP~iDhwO?GqB_W@3#KNe@i_RAEm{5xr$&Zz zshTfU!?|i3cA}YMWRo?yFRf@xI3Y{M;&PmYa6G8b{&{zX&xUlJy$a4047ULa&mfFZ zi2m4@Nl&3a*$ZN_aq&!aj(9zV5>Bm`LNlAFqF!sPeI%B&8F!e)Njs9KQt=;N+)-^) zuex)2)7J==&2H7X=NTzxR7q|n#+QS%j9{K|#YP=I_I9)NYSD3)#-no0COoC3aGQ_g zp)IK8r6iSujAV2Bw6MQoHrjBdy=+ge>tG-M0G6s$OtwYsa^!`gtE)PS$n4mXbw%3N zptj5LoO#BUN5Y|yd8qp34cH7uw#$a>8-y<#$7%M878IhAoafLF<5uxjoBsf^mW_T& zUyrP8k|d1A_~NP)q#Q50z7=*OjzB#2s_E4}sle(avpO!4i>I#g3WUk=ra0k}f{+4K zlZ1jWJ|Hr2T^%dsqaH+ws=Pc?sTy5FFzLv+)C**G8OO zn9}93foHkBr{4GYZ6FrQ%%SH|xwQqdq$xNf8Q7vnn9U#3v93Sc-9kl-OP<6NVpd)#I~!cw#x2T}$( z7&zmcQjWAnlD>5cE&l+gS5~g}E3hv(%Xv!SKfB^W(4YzeiQF^srHA`o@8+2Oa0X(H9STuUh0KwjdY@~NI4Q(_4e0XXf5A&cVH?wH<&2Y-f6`v~Hm%L{(I0Ll< zdOC!#g(%}DjH$x139X^D20{VP&lRLcJmFcOtS>a=B9&}*iE?eyX159VB1b9lq@}W3 zZ*jtR5!)nSXU>Q}5!bMkCnOqoSY_Q{S|wT-n(KDijv>i060d>PC-9OzMFhL_HiRWD z(Yu|*eW)wMV#1op+wh;~PZ0t-qyl^Q&O6at+!o%NlBESU2LOF(S7ok}>|?Z$rvN>( zOKp^;ASFGkrCFH^+>$`_JkY`-lgL>7sftY{Smun8kO1O=LJoNtp`22NFbU74Ne28g zfKKD`12jVDlH@hGqmxIO8{8kPDn39QR-B9e7%%zQkNl4@A? ze%ALcl52P8Mrn!GTaL!(!*c;e306XqPh}@3UU8;V zjF$N)?L^|TM{6rtUO6d5^&>-d2HdGhJCNzQrsa@9W>LI(|v7M}<9UIo|6{!@UAWvMYJcmySN}otuIrJOa2_H2I zkA1IPoaN(9%Pf@J6!eChc|-uEmfKb_<-k@xl`M6B8#<$>a@a10iqITkWb%iSLYq+Z z!hkheI_0Ugb?9lkR;86|76eRN(GtQIB)p)~fDWjrf^ed8kTX{4BGlLLRjqZWl4xqS z?}*Yk#tvykm83MB9Mf^lILe#EX_DceMqSEB*;yaLgM(zcIJcT!qM6|(UkF1@r9gdl z*Lk}K1kDX;rfnRV)=hQ`92a(hm!f5@<{?jN^r%+!A~ zq}Hz!haEpvAMvKfq3QH%V!hCk?fn zrKEZD>U__gO%|Ap+U>2f*a&R{2}l?irk;_qw`jMa4WnS=KB_eDjQ7EecJro;YqBLP z;25ngf-|@t^v~2$wJaUX+9fim&L4%h(UrCG3iPL&ZhSyuxs;3q^Gs4g^R!Lc=W~W` z*CQ#%g2_rw5{J18GYO%zAOpvhOtRSVH9fhaejj&r!^ir~j8rkz2hzP` zIi&s;ic$3Vdw&|ECkWS$PEzD*QMkk4G*tkof#zvKI&g&Iv-WBXG~sAq4h>x&WF)kY zXPs>G$l8@od*aW3^HkL^3D1>YPh{vJzh&)K^M~L!IY1nGMNM-503iPWwML9zVQzad z8@cIK%}hbQ0q}&i02Xl3AwH*(#VWt5^$Z&nR3^Qu0u@3@luD|B`QvHf;g^>{{X^9b@v;-(pqX3j?tQPP-y9s z?RR<76x*nV^NLtPfj?~GncmO#tv{)*dWl_BhRmyj$z|xXH4sy4c_{@80ZZGQd=)iy zr$DM+oY3>va=5U?z4v53%w~5jWGrm>LG{n)QFpa;xB9WGG$x*~E_C^eX~Z_o-a2Cz z-B1crLG<`|ta#a`DU>DAaytpMUE&x{BwWfS~kCI zuAusm-e+HRP4<%Gcb!nQECQ7$#UPA)lU<`Pd;b8dR)0rz{=w57 zF>KP>*;4Jgme9gtOJqkbjHG-dDLfETQgcg#+V`e`BR2_Z`oUc`7PW9Qu8qM$?OUg`ba$g0Jl&V zUbU`~>&%Ti8%jSWcBeBv)s|((EhWS_e+gQS1{I8bO*i0sEcF#G7Jor7g{Qex*2ndw zl$~&_x-fES%3ExoI=81SIx|duoax;7I(}?YmZmjloRq3V3QzzPL|z73fn~CK+Jf50 zsJf3?Tj4~$O+?g2eR3OEh|4P~T2Pg4EulNOLVM>PUCjlmZtmUVX?CA+r&DdTHx-i7 z0t!*$y5`j!4a6zMd|dH?o+@qAcW#+$9+T;X@OY65>-E z#N0pH?Or`dQXjopaqgHy5Zfl&(E&;UJg;^#_D{rn6$4EENN|ebwbgMu-p_YA5w6CfvY2p$z7YW=h&N%qB&z%NQe4PEU@fXn~=P+>Od&ZIPb{k zy&JX7aA`Km5TKcFJK?B|1#Vi0A4+s5Do2E*XC+H2 z3I70nQ(m@cYky5|E(NPL$qs-Nf=0z2;av8s&#mka#JE|kZ?;s*9WVRGWVnXL;789T zJXLP?sL>-)StWRQQ^`u*#ygRWP?Gk`vsPSonO9o1!gfkz+q^J^r(%PBh^0Ac{ZRBz z0*Pq&Nr7er3>7G=??)!Ap}c0HvzQ}1>XP6MjICe7j)7y=t=tvlkgzS%X=FKp9(2 zXmeeqGy$-x6^77NmGkH;grpASP>rN2fDa{U3BphX3m!R;r3~Q!WmU@z_?hk!Jjm}x z*0P4e5`fx$2c1C+lVNCJgrl5!(uyu=X#gcT9=-EL5eS6kW0TlXlrq{^j!F5^M2A{= z$CJ1LK|I3BvPKE+Jt$TV)eLsU84;A?in4x{9RQ5tNhJgnp5T$e6c>iJSI;=76PAy7 zj-rpo0U=oJNlA#c1p|Pg!A&rMHy#@^jz^Vn%H5Zin;TF^>lNk)rFS)jl9aZM&nWFk z6f9;$CWBqooRxZ-U@;7q^PV$Zr676Gz8c>BouE*uPlTXQ0QJbtNnfLw;Fm_!m3=5h zg0(5IcJY(*uEN%}g)L;`upCz02-*So$v7vqGGZhVPc;4Mzg6`|OjRLP35^6k09#U; z4x|yBDI+`_98+2|30rw10+gDD13QAyK3St`eT<~>@{TW>>!>%qO7xfYJoT4}SlsCi z4EZIo@PIu4qZYUqd$ysEb<`I(ZjUgWG9FRFIPx8b+Pj90kEL18JgH(c*v}cwT^L3@ zp(mPhRM_E)vXC%n-L$C6k&~Vhf1M@4dwLRl=~~Q?r{t@XfPu)zty*Oic4s*_0A!y! zFChpi3MU{OXVQmLpAOKV2_OJDqB2&W69?f*8TnK8C{{@L4%FxGOpQw3v; z#BgK&vMLYi3;s5>ysJ6?05~K1RM&Y?POi6ckfvQvf0_^Us3TIj<7z9bhq|P>pZi9r z%Izd;!PrhJ3e*p!DX`vgL}L$t8dicbYJ`n_D+G?;>r+?z*#-h1_FL2laBfSNc_fT> z9tr`fDG9yKj&WX!`ylE603X?U@cBCv@AF9*&OQX!C-NUui}Al=HQ>dBtq59g#`m-? zAlQEZEG21I{{XB0H6(P#?5lPD{LGh7QrseDF~sv#0UelOiIUaSkEY zTRVvnm&Y{q(014CDAf$p?6#}G?JpC#4WcFON^*dAE zC)}mC@W4BpN9hg zqxjcCQeHJ>DO~pB`xb)zrKef+-HK)Md`pWAx#2w>h8zobD+&X@9%8D0v=#CkUudLi zdm~cqkSq&Kwyp9?l!dJ)DnbeT0Yg0VQ@2by$E!Nt!xqb}hS3(=9n_HPYIA>!k%5md ztwJ4iiT#7>7Nxo~XoGh5l|0XdCDo}3D^Ait^T%;mq5dZZ$ir%>b}6sh%H18@D@RP{ z{{ZKa{{YimuiLuZnCNv{GFrE1kAH8E`?NPsJ&LsEy3tk}`idlbNzxeq+3f#jjJy%I}cL^>BQt&*qk`e&~9E|hc zr8|GIU7jM!o79r|#&<+$(diz@FkL9wswT3w)E0*m6|uEIco7VvsLZWTj(j_XkJA=6h4OQ+rHnEgO89WuK>Q z9{&IVegubnS8(9~VPFHmQ0MPk{{YU{P!%M`)6iW{uZ-xZ-HI=kOl7W;w39)dOV*b< zQEqogYppl^qL$PK<4BhpLPJ*w+w`WMm!<7d%g!s_ zWSLI5wSa#PKuSiy00%fEp4BwI-T#^mZg{dg&Y&!)>gLl9gbP4h}O- zZoKp`dpxI4U7%kRe3Lo%(94g-N*mgQemoVNg#~f>^IG)zTbIS~bMnG5kIj6DUR$=? zk^`xPt2?NR5tONy3yhaSLSB7)j^V%YVLSp)sHw7Vu|}+7)b#dm)(LUjhGw9$`-jGC zBY4~Jd5+YZW$7z--m%*>jOmWrjOdV~vn8kqJIRcNCvrED&U@!4zC5bJ>U~YA{gZUv zj>$F@ZE0d5OhLK4RTah#Nip3Y7$X@eBg-SouFpS_N}F)o2gyV1DcyIrtM{a|Kkufj zm$MrY-s)bZl^h^l<4Skk1I{QR#HnlCg$(vk81)`hz>}$Mdeg3YX6nt7*`#1DUlz;)nIV`N`)6^SOwqv4B$oH#wJfTS-ZzIU3jGr`|`BlNTPKSPg#OSUi z)}BaKPbq^eO_kr$Bg01FvE=?FE9LY501BkO(HFbEjk_k_aI&_hRMAvvA>1YQ zjye22{YRBs?yX&$X`3u9;37oil>%|ODFpujJWyKSqxR0Q=x3~#PxE)cF2k4xOm_hM zUod+S<|?MJ#_Xk)bag zH`LSYSGdMB*y{SB#D2=qe9}i_Oa#W>^4E>QCjzo!#^*GL$&#UA2M~q;LIwa7QQ%gx zLUKJQ{G_A;hXy?jBdySdV;TF`cBtf}a_Tm#l;VoK$tlB(ZqIK#QME}3!3zOEB_cpGv_KeV1Hqqh`# z1@2wFwIPQBQcg%xLcf^evPnuxqF$QzEw4$nCCKYcv_eeHsf^RfB&lT~TS*;<#F4oA zjw_e+d}0C`~q{IT|=*!r616uw)Q;4dqBi6D@yV{jy7 z9C49~+$~2w4&Mp&q$RYswLvOQ5=l=45y2#nN`)DXa0k0-b7h8yUzX93w-$uPKqXj0 zib{#>2dAwbUYL(2*KBe;w$VCFM<4fMm1SiMb8+3-KMHssBb-t^r=Pkd0dl-`BXLSx zJmo~GNA5{KdNkIfx-)P69$#@0(uFjXVLu8KNm5dAkPc38d7-J%3CG#ooi<=MEl)hs z{oX=jotfoDC0QJH;L`McCjq+*TdIe=sKqY(svX0MSBkWFipL=d!gJd6xVorAiI{JmhhV9D2}t zKEZy~(5{lLGMjb#BTUO&66POUNhKTFPChRWaLDcgv(Ge!%(tWMX$n#TP~%}L@=Ed+ zpT2pcZco@LN6_@SY1r@F%y?57T7u*Fto%VurOksoyB=0Ek5S(gMkbnJ;@hjaG|HSy zt^^j=tTx(|6mkYL@SG1kc~Wq{T^>t8>252-QdBrdIY;2h10*NN8VRX#Lfanjv9S&` zo(Bn8B}3?Pe=|!Mf zAdKTUqADIRZ^U@~2o0wrvPN(}jScTfZLo(Gk3xi2gr#31me-+9<8_L-n`18pW0FVk zq!$`4HR2<7^!6$KRHnI+FmMW0vgoKgsXV<#T<(8E%8^PmN{XP+CqW*Qssc5P03Pwl>mP#YDJV5(Lp&R=A9a8LA!dl zaL2HiQbpoIXE~T^uD+AL598*~@ z2^ZC<{7Gr8sUC$&{{a4Jdvk4}YmlIOt8h*!on*K!e7lQ?8A*R)MtMj`0DoFr=7&nv zj}}yrgcNrJnpcbxq-3}=^Q0SUopJmqWi5a)=bBrL;B5fy3Q6snVFS%C3eR!7G2V{!9*4?-I~ls5`?jL8IgQ>YjNU$bLH?BhPjoqPl%P0U zs!;orQ=e8}{T&*~I4cTnQh@umukfn=l1hm^&1J~>qoam9P^A?)MJ+=CErJCh!&csV z(}EA|)o8e0vqLTbqMYWvL-rZaj%v?lkq|y%rd-*d807vSGyE&fZ9390+IIdUiuL>0 z9^N5)IcdBMc&n7}=JLP7xjN`M$x)$k0VX%I?z6KqXN1z=&W&uxfh8_@N+2MiIRtUS zsnXX<^^**}zBQyNN!pbyz)$k2{Y{)_HKjMWe5)>>LmB*}*pkmASN1wnuF3!o+L%e< zNo`mPAC*QL``Gg3)Z6oWF_2q=&{e9c_;z)pU3wWA}wYW80Td=BeAHWGQ9x?)GPG z1dwyaD&ej_Ka2QQl){H&npODxQEjW_vO27ny2`hq{hzgOPc*C@KWbcYZ-x{a4@lgg z3W~9udXq^G5-L`_S@UHTjq><+}a=bD*P4{`^zA0#c8&I z3f<&!L_Zw}Dz?X3%#r%=Q0RZ;`E`dd0bmB7`M8g*9!dQo-hSt0IrM+A^!){>W8SRM zB}bggYHStGZAnrUjlhk(_7!ws#ddGP$~P~*3F9AHT#cp21^0faNBGpwL29DtX=^gi z?8>-w7P(FeVYF4`R^m9K?ezCwIgtD&97x~>R-WHH)wKT2L-b$gT(3<>?%LMcho5?< z{+#2~ik^1;6boPbBhTs;@mGtTs$yrUw6e9ul*$6acu64lAaR;*H|#kz3;@&%t3^I$ za|b{7YtVa+mYC4q!bFbbq#dMvJ!w1L97}wpgPuX}Otciac3T}@SgK5+W7vXGWCx+% zozKFplGwoq)NQAH?`ON+&qiBx&DTsTQ$V+;!;CJ0rxt|v{6LO<4O~FNzi`%gM0ZIQ zD@FP$mUlm~Oq=#+m15Rt)E1tcMs8CnZA?g0;Y(p@Ku%Jf*vJ;z{*@BaLF`16T7xnvNh4?WvAF4Wsd!B zxv>)Xry)sdN*Zyft3gs06}3Zf$ly@u_8Yv()Hg}*+iuM!Lfmma<{3P#MMvSzJjHq} zP)HSsM$Ge?wSGSvYEp0g4J%)sF4HMzPraFSCr)O_eXC8*^wh?Z)39c@95&#|!ifsV zIOFM72ctb5y>!mp;xG5Bd@DlMrN@A^6}cS*rDrRwCu63okHruVfbVxB&`cjvMO4Om` zGvq&wI$&t&+Gz|oG=;c66u6E+`5)m_?%S?)G&`G8*luj_6f%^uw7K&kNgP#;>3>jq zg?(Dvz3J)e(>qkBE*De=9FKwfDo_Q%_RU5qM}4T#UQACMD#rJUnn#fK7u zi95F^>6%D#GngqGa(jG2u4E=~7n9nt)G02Ig{e z(@!bA$yis&QG^v>?@m5ql%qu{Y-HA)EwroyQ$(&rXV7p;dm03Hr6<`AWo`L)6pH+y z+@{zmA!PZ|NU(|>@~#zGSy@qVC1qu0Fosf;pYGcG{{TwL%7@S#kM6}iY(MCc{KK|U;a4Szu1}o0QT-vYgd2mJn#Br{Oc<*vaKp%=)Z-3 zLH%gi{^#=kwUv|$?2bC^{{XX){{Z-b{{YCkgOT2{vasa)9ZY{v>|XTcw|>oKWhrAH zdV8~9QT(gezhQ6x0CwFk{>%RW{@Hbvm6JbZzvL__{0Xc-fYw%3n0}^NfhL3<>nkfl zDmh=`HKE-74P|9ZEepBchF|wh)>c()5M4isUs@^T_xp8~l?09*C;o=NsQ$FSSy@41 zGPta)pc&mZwFmlIf7z_8pctK8JKD0cp#lSw**|&_pYBiAva*>9bbko0k9x|=Vi*O> z`=o!hQEyAX{9e?b?547^s-I{h(PI-_NdD~BR#Gz6*c^Vx?NQ&fNB;nY_mBDoe@e>A znD$0ana-d80NJa5{R4meqN$JhOuzL`hyMVill+lcSzQcW9PFJQc})B!kfr`Kf3;az zPa)zf+y4N)Z|hE%{J+>Wm6ZsAI+G-R16f&8`YegWZ^CK6c>e&`QEMwIhtYBW*_f5+ AssI20 diff --git a/docs/index.html b/docs/index.html index 43688cc..9542750 100644 --- a/docs/index.html +++ b/docs/index.html @@ -23,7 +23,7 @@

CAPABLANCA| SAT Solver

-

+

Jose Raul Capablanca (Third World Chess Champion from 1921 to 1927)

SAT Problem

Instance: A Boolean formula $\phi$ in CNF.

Question: Is $\phi$ satisfiable?