From d6e6c0d7739dbb40dc95fbb184466b96e8659dda Mon Sep 17 00:00:00 2001 From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com> Date: Mon, 10 Feb 2025 15:26:13 +0000 Subject: [PATCH] feat: Website include code snippet --- docs/assets/WicksTheoremScreenShot.png | Bin 0 -> 83984 bytes docs/index.markdown | 14 ++++++++++++++ 2 files changed, 14 insertions(+) create mode 100644 docs/assets/WicksTheoremScreenShot.png diff --git a/docs/assets/WicksTheoremScreenShot.png b/docs/assets/WicksTheoremScreenShot.png new file mode 100644 index 0000000000000000000000000000000000000000..1818f1f163a990fc5072de4be9c988ef15553afc GIT binary patch literal 83984 zcmcG#Wl-GD(gsR!LV^Z&cXwOdEx5b8EU-Ai-Q5!)Kp?mUcP9`mxLa`7UEps1=e$z) zR-O0L{Z$P!J2O4fW8F_T(H~W0-@he%3j+i5US3X09R>zr3ALs=`V>?cu_AI6>@kE^3^I5a7c4m|9~g|UNqmJlbXwc<7{?=@Losw1 z+#=rcF}UTtH92gEj@^=gz{AuF7P5`Qh!qoEefJkfocq#m8=NXdpCNXFRHy2EW=Sys zq-YN2byaCoFU-FSRTmMOpKJyucR$ zlivrS>aV$!LIuS$!;M_h9f1K8b>v*EnC6TFZyvY9kfV6W6OwF(BW_npK3KX_Av#*d z;9D`{VvI|rmy~o>wXY%2S+Sz@qgR{84 z-rUwa+>xH?DCbWv^!C9OJntk8BN8#+ph9&TBH?g;ys%(m z@0vdvDerufU<$-!An1t?wQo(|3Dh!zUqwWF0&Vz{P|j^Wz;V_8fy)>WGl$^_!{;$fowk zS)BXf&M$(RL)kyxxb_%r3KOs5O`g2fbMD?4`(7Ji`^pkRR`9W#WH35JJwgpa&nqcw zzi9UZt%4r-Y!Rs0Rr-EES7?#TBk&A;39paWv7DwES?E)Kzlu3tE$w&G+S(mmxZfcp zTHC!i_a!ca?W>MD?s__f&XP@>NVU1AL0?e8zr`_nWp}p$h_W3@iyr z{3w8Vh%V(_6jz^&f07tAakO|!k|s4=GWlCeT23+sac#=I5!@2OrAT5K6-vA$-d(gS zj6*47s=|-&v}8R$Qq8?3iLO^eBa9gOg8l2A$6NhRtYVo(R<<;4s8y1xMVY^dY=xd+ zPkUiXBRDuTCf-|^ zwWn;e;gZH%z&LzitL)O@L9&DBRpvA1JCr+kRoF!Kge37S1$xRftY&O9%*me4IdN}U zYOHK2ha#cXSos0w?RVQ)+lbqw+bHHlmmGDGQj~|OC-Unha#)3FvW%2fRHu|AbVf9u zNr0sJ5n4+dcMO4SW(vF%#ZjTr;SrtDsgXj4oDYgIbTlcHB}!$?#g4_?>Z}@q^o8H_ zH61GWcoK4?^JQ6zf2&V@JXhN&|Mo5Wn@_oPW%T@hMf$f>EuosbkEg|L&29ODIwI0W zU%E5{BA-xhg^pZoxpQ!SCT1v&7qfiTnpK%5{ROaP=O*UyCX|R5AjBc`B-G(Co?-A% z6pREU8;h}hCHrhr3bIq@uHtUZ@&CD$gOd}<<6?Jb%h4!fCvCrH&oaII%~Slil~;a6 zLFl7Fd8e3PgMWL=a4h* zwYO`?N1N-qr@+g1_Ij(k#|2 zF}Y5yHhIoAf106~)uObn&@JQAe#c@cpY|O#8Ft;Med-QvP_2g^u{K&|oM+Cwlf5mW zc?J8L`Lg}f(!?_J`uAUsiAw>%3V{{jHUB1`2A`Jj=t14sY+N4PZasD8rHt$h2bL+l zu9o^{g+_f_EtlI>{iz%qBU2-bfT;-U9S5$#(wY4>mgx+qT&MQlyBHGt1N%%n9W&4p zX%nacZ^fn7g-9HKi$j95$bEnX$rC9-vP&|)UsATz;)lf-i_V?#WL&CL*=l?r=UqNJ zoigGwCl!#aUE*63E&d9(IR_gdn_yu0_3d=yw0QABoHPFO*xxCNUGiS~g{T3Av>b>Uu?ODsB;0gU5)}0S}NM!dgaUyMEVu5pkPXSou^~(KX>~8t+ z)<5nRe>%&_g48e9=eo1Sy9He9uO7e)ZUpB%T?H@&kUeIDQJ$N@B0G!j_5AJpY|r@+ ztCvW~22iB6;RhXT?WfI8+n;`mo%THRT=gJ{TZeE&6Tc4Ss(wr7^uciLyQ6>l+J_r*ddz7x-kfFim)5k9$NL@W8e_ABysb^4ld5mg?>jS9iMwm%%#=ap!Vw$_xsv0=>R{jVO4ugh~_H-X2&1SV1$v zniBTrN0W1G5V=5_Zo2r)W*!JF<<_s;$XcI|oc)xaSV~o#RQ@T#Je^^wsG`bSAnfFxJ7=sobyBVA<#DT|w zaKaT*WK9dtdhB;(quaPyJ7vdDsN}8*5BpDs2#^3n543+4PmUMdJABdD8tZGh#y;R< zW!Gm1_3jjg1XVE1(5K+6>HleRou%|o_EtOIo{n8$dC_KO?$X`XRM)?2Gofk&jCs7Y*6e>DZO^+bDCq;g%zgEk)j!f7 zT)wNnsE_c(JSnP;Nh;h0KWUkQx`xF;G^HKtIa3LILSdzxwV_Nv!{utyNHsA z=Ke2{xkR0W=p=5!^~Ix&-?q!ormcp{hjEFIMT}iL4#IAv7DnSz6LaZ!Hbi*N=5A-F z%M7N%@&$r;|D1dS<^hMN{0d##Hhs1(r0)iw6rD4V^bHNro{yf6zi7AoZW}+#B&zl{ zv~why^*X6IpHE$Ytm_B^I0j%Q?x~#=wWCL3(5u+FK zP+$;+`P7FiCnEz8)bj1X7!Rtto)ITZ&MF$>=F%K9shE5p5(mQR+5K8Q3TC}`oaH$LNO_=Td4D^mtRwTl=l zU3qI|Wf(?i8W{%u4IvByH1!4=0B?x?J1z5u9tQ58d{`KmNIMw#f7elg#(%#gX!uL> zuNW>R0tN~C3kw>&Kg0f4ZG^GUaQ~Hl!wfBh5!aBEmxsn07VcJ7&OloikJvWbENBLb ztDGJX1_qbrZ+IiGPJIDwf5A>u*F#rXNzlT@iPg-~#oUV3+sXBBJ21lDg3zRsm4_L* zx09nYP|#b1@}C-l(DdJIHcIk;s(3hvQ0gjwB$sq?w<70dWoKol1iU3DCl_|Nv=&sC zlKD3|^p^;wt%rxJAR8M91Y!kovAVe1uyF_o2(YnpvT<^p z+kdwWB^CagEBMjQ+saW-%FYSOGiVB6PS8F*0ROXI|0e$5h5sfLX8Sw!|HX=b@%f)zD5C*yh1vdl(Ex8@(JKC~ zJF%UVswOms?y`Tr4Cr5aX!sjL!}olBiZbXP6N8bL64&&8bCQqHfuprBgeM36Let18 z7^CPJW6Gn#&4(RKL7>j3n5x3H_(g=6qNw+j3JUb`-0CwVf!797tUuy4Dw@I+86P&{(|?R=<0&qtL^*sr!Z7z%bf*k}@83xF zV6el#`wtN@tW4U9*nh6`5B*{(CVP>8?pdHi$A28ezs8BV$BX!%y8U-qvmJaK{YGi~ z2BFLUJv~#Y*7*N0lmF^2*op8B)mY2nS<4X7|HU!rVAY&0{x2RuTQ<#=>4~~>Y6DkY z{vV6*cm7b8;{X53(qL-jJUiDD$ePLW>j4w2)p$m7uCw6U z-crlCDS?QuLf5{k_36qvBVB=a()fKa(s~MwqV}#ILH1;=`q#Ja!z4EC_8r%gd{-+j zsa!@hOx;oBAG-|Y30~BI3|bXo?+BU{+BP_gqvjk}s$`bxt@f_Q*)p+c6y#oCp7-uI zf;PN*>5Ev{;sEw5%~g3`%XUi`_<|ng{x{RIOMM#e`R^7jzAESP_O?4m3qRk?%BMQD zta+(_kwDPv^7onX_UY8Cc9bW$wL@jlld#;ZO?U4l;kwS*<4q6jaZvuM*2!5ftZQlu z+8&Uw^ZS{@^A&h7sootJu;n8rlSs-^82DrtoVL;713X-AsvHLo;+dqSGwJO636$lz z$22-Duo`rocU-Gnv>&!OZhb>!FVv~jW})#POJ_Rhvin_alxu%S5UYcKZ8}7l864t7 zIsx-XyX2n}wL%XYE|cbBQr*#L*V3(7sivrq$-1*?+~nTMY%5v&g^DJ! z?TykE)(|d>5JxB|_hQ_^ex%KT%0z+VFb8tdZ}13A7yuRD4a>()9<)Aeh%OoZt};}g zxL9n?)o8HR^0{AYCq^dozsT=+FyHV;+PxZ2%*0lS!raR=dC5}Bs`d2$%;%_U039+_ zEFRMJMBi6=H;OZdnzilio1=M?b?@S!nFlZ6iumR?G1SW_IHp!aP^Wi=QjT+MeCy$} zev|zuRif~A3K{{YR6)?o8#H#RBHBqoUMcBNQ@}lp72(emC69asP!=^Mf~@>>_0X|ITOTjzF#8LqXL` zDdt{udu`C`D=MHvVYEcPVRuH6OqrPDhlP}nx_9$ZF3xyn8fK@#kK5%#;BUpu>#LyQ zp=Ma;ouT->*O&8GL*O(__w}R@aP6j#+^osnrog9^ILN=&mTbf-(`bL>W2erdY*Y!h z3com-D8#jl#dlsy$Lbqw7=ZdWx+o-xMmRs#rZ7O;exW+w0xM9sz+*-pWd}!wjH47y zU^mH|BtiH}PF4w*TFtoLQa)I&?1X-)(Jpn>@4S=KdLpZQ#pkVqZcCj1vu_+S5l>)z zp6|~>pD`B)#g3f>p)mrRJPHy)kEHW1u!^zo;a6tmMbJh-sPtv{5-uZR_llDJiLL^# z)03<|D3|=050Xk_6lfym+kH7i)aMLmIT(Y(2|6ZkCm7+ah$@9K5<;8pT>)siw;PRhm-|o}q?Z?B|omR}f z!8#q_M(NdF3p!wo&6VJ@+RHdw&@P|>o}ooM-koX;+oK$zEUu>tZvpEhm1<#C)S&C3 z&h#f!iD6w8yLn&=ItFb8N1V)K6eiW%cgadvds&o!7VC-|9hYXZUCPypWgvW*gcC`1 zJHv_SxNvmx^A%cqF-+CSUI$Jej`9pHqpvJ~6!ktn>?G1Lm$HN9m@a#f$oSpsq3l6! zg+mwqg%hp)3|)5Gpy%66V&6YsstbR-(Myoe3Snn^7#vqFu?wy5JvTy8ic(6#sf?*X zk!*arUvUv_>HngVF9^#~S?{=1|L`DN>0Q%#=Z?yUO{;`FQNH$N+A?u}Z@0M2JeKeo zi6yi0ET5!X=OZ2Xq#<$D|N18@*roefyTI?PwM3dhZSse_b(iJU?&y-7m*|ej-6B<& z_h6BwcrM)4!A%JD*pdjmUP7(z#p6L?`vGxP00}m;l%daFI)JzpaKDniAidU?htz^o zl$WrUvEOTmZmDSdFX<%-dPMW+Ycy(t8$~xi>Wm)F(vG_HBiej(ZGRRVRe5hNYTgaG z=@hFJZaM|xfXb=!69uRDc$}`h3AnB@nICZ%P^rdZ9j0*Cya?2cJ-|cu+O^2g2W7bEj5PDfA;s#obaAbJGoQZF?`2gta$La0*dqeMV za}Rrut^gk#pRV$xG{o|*$WU48VuxUc7#oQZ`iyp)(h>SR-!71RDZ9TqUbHKWxtbAq zZ|GHXZ_JF|!7tif&&v7eaWpq-m%xNFR)o>c;Eweac7V8Y#n?$|PY-U6W;pT?wy1|R z(YI&I#^;*IdgKX}Uc}@)Oq^@3Je&41S@OxuVBK)( zK4D?XU;`cuUaH2Ip2C;q$z@-qe+^urT7BH$3d*G68g2zXb2(TB>9w2J87nN_C@jTj zeZ8wjQn;0=vYH+8lpxhW>|%O_pVY#ZKXez8>l8slIr>Feo479ao7I3`@jxk!pkFle zy@NKj0<9IJX7ZCC>Df_Nz*oW$<=d}7+L7;SCN#=A6^=f39WIWQ;5?3vRu3WGRpp~b zLAi>PxxOX6LQ%J<3BpUO&ssRYOBuJ0^qa()zG?c|EOnT5RvtqM#$pg=8|FOQIakIf z!Glqs5K<#suidpAMvEAzEUyw>6q|;szHR}A-)6C7adY<^<})A8cK(^MBD0&XP`i)} z^iklg1+6&Q2%OY&V;?UUr$%iy@H1E)vg~k6<(Ycryy!W2yx4T`}i*HsOQKqL5Km62^4H>J` z3NLD72xGhVcxH{4=kso=c(0pE#+AF@biI|Nz;@K#<*qDQXCYOF_IF(t(U+|G(YYjw zoqF4iNadP$`0PpvBF&PUjTO=tnA*Ixp#prh-yqQwxh;E3F?cuUDAd14>ByL?4ERu7 zt5}W~T+&8UZ4@`UM6LR%^X^8dR*-Ul?E={BtHmASp)yD-@Dn!zib`pp(6+~6>9m$6tq2%UA;b@Q8kv55F3hSkL_r-A;Laio0`U;!C3qLDf1mM zzdqtS{2Z3E)&o)+tqRSw!azbIe$3 zs~i~^eLb6ePi^7B?ZMbsBVm$Pm2cf_RpQ|$rPDT@Zq;%Q%&h9em# zSAY5TCvd2&BBBvzX^wwT*5cNfF6c+WA3*U+?0($Og`LfjvCwOonT@IGepz0MUYjX` z2#hm5e$u{O_dCz8;tWN6KUUW@A->p9YLey;XK=C=__&w3G*kTE@T&rj4(^_W82O_1 zJ;|=PX*c9*{LDD;`HLv~w?6+60+i;NVxEKudi)A8LbH~I%xG-7F{sSEkMuR50Ix`x zEkH^ddSAS5b~YwD*kp5BS?*6{qg`t%kCrH=&DN~7c>)Q?AVF;pKNRj*gS+E-giyc*?eOzB-DpCd zL(Ei$q_sGk6RjHK&gG>(Qg+i%$M@v}-zEu!$3-+a7Lu2Fd19V6{eu-b^Gk2gbw=v5^0l{UeyeV+0YX#nv*Y_dhRlI` zN%2njP@6%oLP=OjHA-|l)X(y=u$YHFFl=?>x@4tf*X!%HnQy&azaYWo`q~@$!t~t* zaJoH$)CGd-k8!u>f(#k32N1qfo5_Lzb$Ngaa4y-hUJ|e;Z#W3*@L?1w&gT#Rkx4pQJ1F_gr zzPrie#H|yOzKdoHgUYCDzQ@@!t-v_3`{TSAuBqiF&^y2`8*1LH)_v;G6vJ^z>I>1L zuOR`tqDCZRvS02=dYd_rbKaI4l zCXec2J^M|!-zWAW85TOWkZ+Osoy2@9|5kWP`leV`6{Xp=8^eSeMV63#v(A(>Y%?3z z|AGYtAa?&&)@}DC+h!dby-aBcx5PIMs$h7uzC784qGz(?fJ_2zZFz;|+THhZ#AaRE zKh-XBiZbgrGP~A-bTogrqU~6`Ro25%B841?zD|$B3K+ZldbXbBEgD{pMaJ%J>7+O~ zn?J#pnP(06Fe6YCdT9l)m;%UM+73${^<4&h_OoqLmLmdBn-)q;x&t5AwOtWRaFD;% zzBlU3%(O5bMarX-pp2xUvnfdWk~A^Otv*e7pWiD!lE#?+yoSS?dkmRtt2St<{;P^t z<0JbtD&ER2uefxRfXtD^(Jxh3$n(kD$kW}Da&&-XJ``iX6fDgR3jQxIB~$Vd2tr1TNJ2)uuT(SJQ4qeC42?$wPcjo2dtT(eIF8^? z^OZGSN0X0mhoia{Tc}0&D-h9FNQ1#{l`$`yos&(f)g@zqEw(OaBAaek@IkwpSi|^Y)_t-) z0;Ixud2pi{b%o0ML+pYIBSShCw-sPL`F^KgBAV5?NO_X7m90@yS?p&n-&A(t3^<0V zG}*gg-nwJmhV*NV-oV|Ui;i>D)#_wutB;Pz)1TsCa~Z1cCzL5SZersSd3=FLB4+lY zjvmM;e{UVftCqL6H*Ha%qFA|!|K;G)zOnK+r2P6*gfvO)u`vF;HY(S@0780y_#2|{ zQWsx{A-j`7@{#l=&6aikqMuz7(#v(alTSKdds)~2U`p;zF$g#ScC+j-6MmW2P{Ez< z^HxWEZK=Vh`>FFPqNB~6m;7}IU1pr)I+Y znL%RD>#o0^a|WiH%DAn}7@R$fR!yrhxNJ#VGn19Y{jT?v`Q4yNb4=&kX=BGXwp$qm z7ZY)`uKl0hem&NgadqO}(%+W82MGI5lqHU?x{3ba2B=MjUVt!yhQ+WurAArc8O*ef z&yV_ezZ)@Z0CN1?&$288;SHKpy{tC8Rur#}Yeq#~q3?>ZYzM1xhcLPHnaANnXesyd zBr?25C?bc`SzeU;_T4G?6VO$D+4J}}(y|&5R^2~*yg2YV=PdI0P`r>$x7O-Fma+&^ z-9Gs~s`9rbjxB&S9XJ(0P7d?C)#3U21q|}j->u9mL?#@3-?UenwA@7fX}O0$)vVEexR?zbE2-OU)y( zmR?Q<@DHIHUyJ`mMl-gA@Tt=mo_VRMwjXUT6n#P=_<6NE)agWIo8cLt*Y4FxwZ!MV zN}PnIynPBeZ5d5qUXTK)0sQXz#5CFzG6oYLuV2v`4Vd^(-DkpvllD_rENG*yjM0${ z?hJ;TPs+>-^Ae?LNPb0xl-RBb-uYjMSCbt&zPE|}!Dfq5Ob{V9DehYoA0B^{4_aSx zVi^`N+~^YMCVTeR5ZKU4>v=|;+y5)g<_kiwTm-$2_$(wvk#&09U*t*3 zXHl=*1fxVVD{U$f5F#g&i_@2b0OOTPZtHgt=2;;nFogqOoU)5ilVq3GF>RB@*)Jua zA~=mJT^kzj<*Ez0jL@!s8PP5>+?iFGDOOvD;yvC*q`rSB2n4yo)uhV9m)Cf?at$(d zpcxdM7ls|$s!JD_rh}KoYd2HF#~qS-^cgm~!$3%aJD8@)sIewcpH*i)^%f+?FR~MS z5Vt0b+|K)}RtAi7r8$hMA~oH1M>8(~cWRAnXp;6ToLqBd|0Q6OAofHZ88wV*2RHcR z@5|gc`ZAF$=4lYtHH8p0e(VYB%taoqO@M>|T~S^uQ4!Hr_GjUJ^#ZyeOfIFg2J%5- zu^g$%P#n>x<5l34r`3gQKhGzxdcRN*QfvzHqr}4#>es+_cgeJaVd1Q!_P0pYPeO2c zY20O16Lwv-i|}1OIJjm0eiw1r++fW7^BX;%-DKI2wcPH3*xjXVf>|(g%163&nj6$t z0=#b+dk6yPS48n7qK6~z`Bsyxh`*-(-X{DPhW|kXe*3&J1iHMlOdEISR7@ExKSTP^ z(qU(rWJ%BaeplE-S#j^@8MIkN`wrOrr7HFk*M*njU`ztNVT% z+ZqGQ(GwQ3aEvi<-tDK@Hp}1VR}M7>JGYC+b3zF5?v{`Rw(+J-M3;|&*bv(ceMl)-w6|MY!=jX7InT9W&Y6HJvA;yriT}^l zX7OhaD7+q6PqNb zcsP57{5cGT3vTA++vbjgg>X9*&lVW|%(r^sm_WFP4)As}MWm3ypU7^In-qQRW%fyC z7&x^l6!~*y(&e8{90WPNtmh9#1{{{C^bSv;3)nB%$Y*U!JLmhPJX<7olG$p$ccV#X zHDWB^5lMKU{R}*C*dc>6EXG`K^VCo=GGL!BQZJTC7XzPkS67(^oYb`p@iYav2i_ie z_VUj8!NIzOD=Ku~o%mGF&RM5Kcw2K&GApEEPojlGL0H7Q=;5K_I{aXtbiVaJ=Y2ik z8O224K~_iWcFge3vrJIO<&e{xVBMc<-A_k!JImJ!X${^zA;@m)f#7ad(tX=sx{+D0 zyQyHKMc~veic+zq(Fa#P_eVNxsaC<*qOttR9A+RMb>LL(t%2x=$IS?CaRc;OCJb}` zD9N;MlAIHErV-KzGqCXC580PR+a3 zAeV4Hp%Jv#@3CmdC~PR)F_gl>qUrmVFh5i0i5mMC<*mV%=x_nLu4S)wjX8bJs-I?j zUP%noj!E;V3WExbw#fCKI@XK3b-#zOPpYb^r%9(kA#|Pso@)jn7|p)xvWUpUq}`;w z5sgmVF)kMuwLi$id&?~>XyTJ+WY2O%i9f94ez`DL)1-JD#Ib)NN@u&3lltJ`FQ=i@ zLp~aH1zk9PZ0do20;j105dqIWN-PVUQ|BSkbJhS-o&?f=t|8*wXN;T1(5v|gjM$_J z0cJ$Xi8m7gj896Dh0>i<9BRa5I=CBIqMF{kOYxzm%W-S`jQ`v~4gg|}e5C6gqi`9) zDZ~(3zV`mN627-bd$?L7M6*`?k?81NwnKsFoM^hgdV}CXW_qCT-udL?4qKL~S0t!_ zEe?tJA;m>SJ?Yx?0i>qlxdk{?8njem^wA^!mlZX5g6ebk8&suY;aIMzZ`gY+TLz8% zc3tNaspwi04b-XbdrTu+!+G096S*Rifg}*4`agqb#>P=shuwjc*j=M->F(XYS5?LZ zr~MHVIa8dI;1@;7NvktizUi zPAbYoYN9H*f$!+RrZJg34@W929=ao2NN@8g@YV8O>{?hzz8t02Zv8Q05nZBjA+n=u zPqul;Zu$|@W9-KV5;)0!6|C|tq$j((BdPa(!naWk*Z`8cUCIQy)-Y!Y&t(S)Y!=xV z;xAu2WLPa6O}o1b2Hq`6syHkxC=CI4yuNaPpvF74cIMiHc%OH>Tag)5>!qni4XrLF8k;736=F50qu(eb$y&doL=jHasa9~+37q^kjR#C^DTJmxDqG6M( z?q*)W8)v=Emm)?tc*YOh54Dc~#Tlp-Lhu*7=tMY;zAhAjrYnT7lS2?~MydQS56jT` z`wBT=>=K(h*}$g@j1R7@zYx?^k7DW75=d_R&V2gA54{OFckds5%zHzXdgWTJ7a$&+ z=!<0t{p(@AwR(g8H`73DyMj<3I6!^+#7=)Ay4XCsti{_ZQSO7AVvH*5sCPI3*6BtC z8ARJv2p~cfIkw^ur+e*N3i?en7P&^5ilemPmwm+ylu_kb8JZc7K&_teD#~AS9n7>AOjd zaAky{kM;Zd^jAO6;EtPKTpCzB-A_U6WReCLCl%cneW;JxgzfgfhQg_@NoJlF)pWg) zcmcE*JjqIsHJFK|iM6hWKv=9(dh)vH0lKtQ%)P*la-S?|OeJ{=vm(e&qNvx_=!9GO^Ao!apgJo+ zd|V&F>cdPOKHlU?jf)xP-s5F8nVA{JkuPJLB zl-Xbw^mcYvOP{#dm?7^8DTQd=nIQDVi&DVIRE;s!_-oF-QW3Gg=XZ3s)*?clXN&;%9aimHluHgQ!3 zKOayfc1&AA4OcBl&DIuVoi=%Hs-M3$^Z&XLq4;Hf^5=}MVJn|eE#dvCj&bYKUS$7J z`*}hD{nr`9LVA-9Z#`4AqI$&$d35e*Pps%M#Zk@eoAXzP&yUvurrPF#nsff><1A`t zslECP#2F!Q?&B5`#AZkU#ec! z6e@49lUJKhrDJWH1U@R7o(nY7e>K|(6p}dWepSwt;kaKpbl$y0KTnp4CmaNB_46v^ za*?uJ{iK3Ui<`dok?@Xv3aK3#OcrCGazYcFQ{4?vqnpU=sCd1T_#JN9$Vz@o6a5pQMMZ?x#*A4jrp91zE4q#H372-lQC9DKWX3r`VJvpG&xj#y3}ndo}|>B zzxi6uEBeUCpjJGel>2Y0X;5hRdGhkdxyvWe+jC=hp?!=oWDCOjJOS#ZzR$75mvpn& zrc&w5BmcJI;8XN~@fq0T-8pNF8xlPJ%+ZjWo5N$7G5Xtn*Kajs)T(B5(5^|T0mLTD z`EH0_6(5%GykgtxrlU;YeNSb3>e$&>r=7f(NRzdbJpX;mxb)4_Cer8?oDgpjr7>Y2 zuWq7Dc6%Ah8Pqq$`ravoLB#|K zxHIk$?2S9iB-)AZ7;4Ntj`<4J24cn)MR;C7)Kc>?oY)EF!01l`y(vMr5dnrt@ww09S8Q$(`!@9zk`8BgoM&1;tLC+~|> zn!njLK)o@9$a!7dJiYJNTtcM7zc2raB%5qLe*FPv=B!=(Wauis!0a_`WSSz{AEAsK zb(e)$u>2MYJ+ECR8fyh$cRH+5B@j2fow z@DYQ}hI`ZZ{w#lncQ-7ZiIR^~8c>S>>4CFAZFr0DAek{ME5IUGqUdW!@aT2|RWP{Z zU7rrih8uSHu*2A)wp>nG&Hu8i z@@zu&QPJ9cpUIU>VRtI+v=1>E=8chVt=@N9+7!%@!$|^t=QN*kSCSN?GKn;>r(#Ct zdVi^J5dv3`imFVSMMj)7B7EdR))8{7ImVgEd(~#KqN#v~&I&v1Te`3+!Ou4!hKEx| zr6S>)bH*UR&&p=6A3-;S4Id+k-J{wEY~atQ=!;fOl6o5nP^lT2J1zn*!e0jMxPUHc zEP^Z|)2yq=+mx zgSHfL+0w|mM-@Ik8fmmU2Q1z9;C~bHf#^O4DBY161VXmGp;jJZY}#XO=OtfcKy=g< z8XjOT&jrh7d5R+*Z4!I*d-8L>Jl08=1sm~W@#{4wa3FIj<)q_Pe&%E|i+ARtr|YiB zuDE{S5^D3EnO0Jz1zdKS&iwjxQIO5-YwESfXJb9MKu>nlXH{>1d4i!vI-4@33RP^~ zxJNJ@({?;C<1I(j9i=MY+tLurCKh02*?QBO`Ki;4wSz<{f58a#?S;xToR4st?Z2)g zWAA0relfIsfpo*2R+GLC#Q})j zy>wMu*Il>sPJ@w9bmQ$a7AU6vE5_zP+B`VVW*TPNcQfuoSxMBkfnoF&dZ8oKESUy$ z5)oZ&7Ns9;4p<{S3)+>%+*>pl5};;Vucc)t%ivGyqcG6buF}Ujfo(M?Rr&esoZ(s! z9+1y)73^icLjuI@+V5y4yN1i^4gL_1Rj8{VEyT^3*b!#Nwb+6X&($V{_IjnBPk3IzrdG(JnWewyA)IzE=`>TT7g9@6jU+Jv*yrN-igGVZa|u!%bwjm3nQC)=FHUK7L%hgMBRzO!p5?VM||!$%696OQ1R(d8zB7Q)Wf2 zWR#n=`Mk(J#&%&6t+vUKFb{_NhVuXK8$By_fAyw4$kIi6W#I(-Nh<4 zra>vsno<p>LCOD|9{c$^=3^^M;o~(1+EE{8xY2 zx!=yKhP&9bR__X={4n2daD!QuNCB`X=zrV zK+8*?BxPCoks+T_8kib$fNzJE**=1y1HV+thu?4(tfI^@7$y)R#mUc(szt?)8r}%- z3i+;=>D{7OB#adfI$2cv>wEa88FhG?Y6>F+mraG0V@nMq1hL+vu(s;Z(&}ufKCk0d z$^vh%<yTo`H`E-?mM5$P{ZG!dp+kU;2u2HD0`^BQJg5k*)+PB6#2y#BC@Esx$fi;+jZb5}gO*-Gy)c{a)OQsFu zKwV<0Y8q4}um~nu$_}=+9u%uQb}mCuHJpgvE%|bCAPJ?m_i8|~b8;_E=>6{m!+(&OX-D0&a~GKa2DB_*RC$yC!4rK(ul z7q`&cHg2MZ9(xb^SSEqbVjoH6Eq&?h)i8s*^oU1Xg{{1z!vAKbH)u!xB75mvTl#50Chu9 z*MpgTaUMeKWWG@Q2@i8wJtSQ2X=y_qC%qYp3{Z^~W3;gU1KBmRz~A^)iaDjxg?upB z$!{a3!eP{Qrxxp8cR@l+C~C^jX|bnb0jwGbi zg?u;ZRO<4Be18xTkVx-deqX%|FB3RN^V>= zU%7x_fZ>wy7s(>GLW@0bydVi2qKZ_33PJLBj|b=o%N15eXm}=&D5Y#py0lz=SmO3W zK@JRx7<#%6jWQ9qt7f6H;HgjVgBhY<$11cO);v{$bcz40fsOglW@wy%V+QBtWXQ^h<7^6{}CN4HtSHLxW?)v>2NbR#;N9Fj@ zARZVoO#Ln&OToXaNKHjX#BZJU_IS9tXv2F4$mwp$?S@h9P#W$2Dw*R&{dBQs95_by zhC+*xyu|va0b67N7me9(M>?JME{t6TM9peLy|l(_lm)4r?`jC2-D3Bh9xMQi&dz;( zWMLQ@i+n#_80>f9vWm8*D8ug5G;^oD`gh;LijVMKg-$k<`idamOOmcQlip~cKt zD!Tkzqq*%qYV*E^e(SyL^%LZmCqG(EUO^YRNn%$87YT(RhaxLkDz-w;%u5K%d0NAy zAk#Sh-Ae8lS6R;H=>A9Cw(NF%F0}-nfDmq_v=)a*^}(uY{n;|rM28y(k@-A=g)IbH znz2?qucTu(`|#tgrmo6A2Dqe{Cq2cN`5S%LQ^K*PSP73%bDo97G4x&avexo;hB{^v zAH?yLwLP3K=i$1&^(8IIKg=;k>Fx&F*R1jV+aX{X`2tPyZ5sV>vvJItRsA|WMIOC1fgtK$YnVv!0@wInz1rsSpcyK8l z7p;mMr@C^yaB0FiO%I=sb-Ih7Gx zI8MxgZ1)KN^`}Z#w299jo&by@{W!KXU_oOiFe7x9|F@#>IwHlZsEn*py8 zCavB&4Tik`+@8!!ivq0I)Zq7Zu_d=_yBMhm9G{{kRmElY8zHbTR`P;klhOzQ`t^K^ znPgQRey;C*GO920XFqaLEes5shnv}>j5Ej}9FoP-di~Gh$VSsh(PRpdf~D&aO@BOqw^l z<}j%!$vqy*#kUc&W0p{QBgTEL5#!6eP3RXOH6Nmnnfei9Ae?`1@b{tNlR&c$hg`3M zoV7iVqIVNQg-%O-7q!kf&kuT^BO}I60TvN1@?wj)`|I4ZPw$-1&{a3vEe$)~WO`fX z@I7vIiYYF6X5$T9@IU%5f%bkiF$QmKQe^|Poo#u=yxQ~Dp@Eti)CnDev|$hMLL83? z+2ZpEM($qiEsEnt5wg_$=0os)5`k*GJ7);T;Dh73?Vc-=PNt^PK8$x9CKw6A zYaO@cLWi zEz;m^=T8O4FMdssE%23VJx*v-A&*b<9&Jk{(*dw-4rL=X5hW z1rzfEH+z{P?g?`E)7%bv6*G)_G9jOwhX;flwVu%Ja7E)hwFGO&$Ke=no~Z2IEn=>I$d%OqmPs-id*?Rv%MT1 zynCoS7Ue5=Wht$M355<`c?-0C2-bn{QVY0{4~sK=*$ongOi(nQPJv9!)Bu$qD-aOh=E-% zPINSK6G#waL_5MiL&cni+1A6Wlbg<0(SEnNDrz$5DVu`NVfEGUm4kfG4A+WU*qKQr z7`)BIVIT9Bs7ZRb%_+Du?l2Squ2#_zV~XQ?qvRH$b0_+8e+JGZ#h^uyjYy0!(8gN^ zK-H+suckfv{`9+$6Zg#R;baxkWTPgP8H-mTeQWAC>#IQCK5f7ir8jcYrc%CZ8cLF| z+~&a>hi#>$-d8?gWdrQ&4M7-?ro#_=kugcfO< z@J5)qPT2zo;#{S{XbOYp6TrSCInCDyNifTs=PoAby`E>TcGr84R?)gh?HUhZoUd$| zM1zSmq9PwbD9M%nBBk&1ZyS>U@= zosed9j7de=1J;8lCG%R3rYg5>TnqkXe?1g<`wm-im@Lw^gC7*+k8eRKy1^Wb&t{gL zbkx?xx;hfc7Xm7pIE8-ByfIOI@K~#z9of>!`{Iz*^reEmOwh*?*U+zr-b@RkU-RH)vsKv1Ocb1OC5&q;Jiso}}t3(-3^|4=w zu^YP5POoow`o~k36lR-uNeBf?-Wf(ku#roTek)gT9XJe9xGoEgiXwP*$CQ!R`~oC- zble7-3mK8rE8Abp?Pp<*u3Qw-8TQq!#|+5r8uBV)GUmV93&wUdcchtM3L5+fA5VL*0ywxN@FkGQnJNh`WF--tC@ z^%s{M6-ItV9Xa5Xi`|A0dlO$=7BL}r!gcu9<4`|RF{89}`cH~h#ZJs3|DM^T}&pFr<(K$zF|9@`l`Ta}38HF{Li z&io9)6c_g#^)(L6xVe_iz103xz4gNCl4FLWNh!!ZP&OwTw={-&0GjOnYQYwDS+K6= zVJq;JxRw@7Zrb)R6;e}(3Bw2}UX-F3xBaMCkgIyxr%trYQ{6Uq7~UX(Xc$+Y1nO-! z3A$-LToODZ3`*))hS^0sZ@H$O_&vs%1)?-MVy}eD>vZ)+HOFtxO!c8&{%UjzS?5-P za@9MJD$(tRTZ2cL6e|y{;uC_jsQrAhJAvD8dx;F`G>E@vJ=2r3j^!HD<%BzP@}etY zt*FS#n|BuahK{r#lJSjsn9f#$Xl|i|OYueGgQ$8UR{TM+8P{AR1clBjp?#f7Gvzu< zol?LuqV24$uSwA=)N|eqr8!AZ-nbr9W6<->Pee?VVVbZ=K4b4LZhJAQ>{bV68xu$3 zA1#2VWH-ZyYC5_5fGY@&qP#Bsdi7__%r{LTCq!Es2$nS)vT1})7m{CakuI<{=BZ}7 zPQPvN;o9Ws{EM<~MD%)DM#>KZGCw4pP%3?kh_w{%F|ZPDbePKEOv)Zb7)}dCk>45R zRN%0r17*;j{}WLPl7M8&6GuB>@fM^*A*Bp}X{!y^-f9TgezRhPuHiPOQ$yaHmj$a8 zla(etLH3$$jL%RHj1H-zu9+{Zw=@4h#W5uq-(7S-EmSH85EtD(%Zd;jS4m=;xTrSs;q>vezg5Z8W(E-WaegaoD$5?r`o-2-o zkS$!rnUh!qCnK(X$cR>8TOvWev5n<~Ch-So#gKk8fl<S8jBq$0elSua-S* zIZc?m0^CB3=5(J&A{%F_ zOZ6B9mMg^P*}r9xZAzX7k&-7=aqY!nE9Gc^N@>v#_{u|fyDnetj#K9m<7PHl{RQeN z!Y5OKeK2O`&PH9y$jDcxshYyrLSJCN|5t>Xyhw%}Sy&U=mO*-hh!Kt?NElriFG5`Q z9m{q8Mj1Euc!?U}5{XI4`s%6*4FK$+Vq3KB7v^XojQ7WW7L z;varyL!(y7Z8c+?vj71(ZgKS2@R#4P8qDwtl=~{*jDH>1)D{J3#O?yKpRZPG{OM8a zj~WI+`|VpnW%4U2MZpU%m8E)q=uR=WX85mG>WaEeOeVA&wflvG{VV4_io8oa)^evK ze9n?h=V$Zf;QP#vich+UJlrkpbrXBdFn-L6?U1Mp2o+QYkCVgJU_WcCBbDGFDHA|s z##bC1`PYhw4hSSriS%{?@)X&h(Hqaen2^Q|lp)m=RK626{cA7R@^MWv(QFbl0L4!7 zxsDInuME?#6$7GWT3R+8EVT9V|8|v3vcOMGqk{jE#bD_Gt$wC1RDWytSMmpg)NV?Z z>QjRa9C>pF8-d5{Y!3$u^fyG{;y4MJmF~DuDUyJu!_c+gl>UMUaMZbL`vHsuXG+)e z_kCvDp)*IGb@nVs0|Is4GFs*xKAdK^18e^Z@RPO!7zy4dbTI~K11%i3s#J}CuSYuET~35+Uj7vL$7+Nm(5W>EtO<3B$)Y5lwjz+Z&-BFfJ%q5h}Z2Iq#B^G#jh9Qmv}bCetgK=Qlh=NA^vEQ z@U_EOqFLk116iODFc}H}Smqg!EACIy^G-QtFI6dt)pq>D&bR_N?E!#!ex?n3snhCe z&ph%Nx7|t~Fhu%!)R4)MVF3^q*)2?4JU^aE-rfVeW^A41%-!#W#ak5K1CkkCk1|V_ z0^{8?x$2Pt%n5m0gm08k0I4RaT&JZO+;+1bUhQD~#N@B- zbvdQfFwDwV-iV!hJ6)WAjB=!$^lIlQyofLWVP3Bn%b7 zWhW=3xq2FID{}F z*+JEU`YN$`xHS_!*R`NCfHxWv&~Ue(;XME8MFC~L*Fftd>CuY}Lary^3eSLK8C5uu z+i@VH>gMnL{brBoOKlRS))wlI%k>1a%}$m8(QSVN4Im%ze{?(Bym3&|&Y!Wo%dw`DD$9e|UZ+Q;Zo{Yx?f+ECT#F8y*G(n@oi;MBhT z#_bzN4dM+%jL~v2*Od{Rn?SKRl@@~2t>Qv?i&kx{<7o=#CsCCs7!2T(8{ z{jL>;$7j@!cH8lM-yzn3#J)&1Bk*t{>IO)QAl5x}(jE-4j>H2NyNu;BXPh+faC<(% z*qq&`JC8LFi#ZwssHx;x-rBSrQX=EA*=_f{1l;sG&9#+{0UTZ*PqQFE0(MjIZUS5B zg;Z;DXkxx(EmBR^FyPU!>|Xk!WwU(c_Xe&PhkD&l{2-qi0}{=57J2}P_n3chn$|EK z0AButyeYzen=5kA@!|9Uz^fLug!S=@{*1BX&lzEC2`(KbF4)$oBFDAO&T(DRhoak%)^{-79HQWoUdO|{pEM^S4JsK z!^!2nq=iNXrV zZu~<=1Outa@Ds&!S>}w&J|d4s>g{yLsGnb|$UgFXPYu`28y3pr0UmHfW8z&A@rCRU zKLUlugbXA9+F`Mjc?Pp*;m<70RrlJnTa>{*ivT8XQC_Wlncg~@sX5hNAS~qY^FfQD zt-4$ib*9$BXq`=c_CSFwJ{Q3jq0^X4|fD1qcJEU%!ybf$Br1 zHPM1)MH{qMCji+H?VaDjIf%0?R6P1%xGhcy$ad9S#XQq*i|4g!&&7VE9i{DSqACP4 zYnWh&`VzhcFr|$xqb}??$!`V**yQO$*6%rWa`_MueEc$COo09Re;VRjKOlNs6>|$$ zv(E3aVM+5}xqKE&WYUT)Xnzrm2q8jWSOyd$eBVABBE65|;MRont7mzU0O&(-taC?{ zPQF@(JEPUFZDR1A>g}-=wT$2U#{R#&fR`EItTjr2Trj6E0HuI#!w3-wp$=h`X zGzoh1ati?BOkZ!sr4cxu=Ine#aNl^`a4?Ypk{y5&3jk!ft-s#EOfV#~!>6tGhf&)u z)LUbJd;m)BF2>3(L)(?iujYJ!K((msavET*n*vKnZq*I2HQ`R%;@X-RShC$=Y&lq8 zcSL=d?TyOtm=DkJ2!(Za2qc8~!`Pz@J!bDl`68Hm{i9>P!h%#49WsZN|k!(g%biNbg4Iv08P#?9n%v!R=T`cVCp{jfev&uhaX5 zG9I@7c#S%g0J8xah@}8HnjP4oVYIzgz@kKO1&}rK4%+XJ{6}8NzED6tK78LaUY3bB z{jt_W3U+IElbG~*HG->II&`gQ$W-Cg`Ow!%Y+~RV&1{Q|%lzw)<7TA3yR0?iK5H57 z*Q3R`KQs~Qy=6>Y!N`N_R$Kr_4mYGCl*4+y@iuTf&5dl&?dlxzus@R~-PLSthxzg7f>b|{sW9B_gWz4q5++W1#n|6fi1DcOdG!5YlI3N*=<9PaJ~7+ zBPsK}GE8kMJD8h5btH0u_W5E$p+LPt7mqxw2E}2%0W$Uu7dM<;?X(GhHfh8QK}UjP zTDxv&f)P4H-|Ym`V4nS&f!oC<$0d)@tFyE++m&{Qy^ODZn;0-{*y@hrX#AM`A`5( zD!@ms<}Kn-H9g8u&CU32F=oL!3Jd-pMYntVhUs(JnCTSiiDP1^GeAqK*XsbMuy>E5 zNIhwPxMcUoKWy~{@?Mp<^;MRW#cKkowt%LV+j7_oqVM0cnnWxD>&_A1l%N^8h=usTc!3NdEXaRw zCG1yC5aE1fCAIIP3&naP>hCwVso%19QQh#cJKFUhMnzG%S!LE-S6>nJ15qgxy%ANtmNjLV6?dsYF9i5`Z|7Nhb4x z_!1d&z%Avv`d!RmI8aN)-jCv15A7ev^%#;v({JA_P_UT#0g;sl$&=9oLQv66YM^mR z7p>couUv9Bc)0{V@U#H0nia{s$RwK$<$M|-?e1b1veEC|+`U0A5MB7vHqve${P2;d z)Id}vwG(keXTXNg2^zr!@D;6EW>Y+s{Qr=zkUQ&crsg zcfB8MXH{_ic1o~&`~myjmoK5Qz;kVBZiz}AP_I48>IH9WMwU8lxf%UVfa$C}5$LSw znKR8|0N?~jE6y_yL~EQ0Ob2{YwbXlkHIDzW2K)JoXG@_&1{3KMkKryN8yZax-K(F4 zbrvrdH71N_V~E!^V-rdbsNsl-?qAlR`S!j%QJD@zf zV5SS%cxAc@^-<;EXZzK>rF?j}`>7u|L}7orOoyEmC*IDN9Mw`XFLKZFJCLi&5QnPu z{It;KaZRuJbN&es-BV(0T!nHe$uHwUmc10!IG5i30_c=Ma~gekEWc7rFv~7CbJPWt zVdUv>b8+6YnZ;;j+u{5s?k66)Di%5siO&brQqZ!AD<(mA7rP&Am-+mDiA+SHx`d)I zqsA-a3M5Z5rO)A1aX3(Ya-br`?SvW7A zWm6_uX}j){(PS19X$rM{Rj$H|5v^E_$lW3t}ofqo<%MZ zZ3A&smbKc%zk{2?w-NlvR{%Yj4Z|pbQ4e6IIEWw(4Yn4!Z9pz4m=_IdOEk`;(a0^Zo~&@>z6o4El-Td>zSxc;8yF%OJKhhEu}aH>izS<hX5Eveq*={+J?wNWhJgY2@dUpIan`N(-nWJ(&|6IfY!A6$*L#kR%aH9df&Y<{7v z8&sW=HK4qb7Irr2f_pvp_}f+0k8Q>+)H$ahYEvwJ+oYUAk0Qe>H@zxK&OYP%GxQCx z^$R7U*~Nf75kOz@8MbDn^nGom(z+StsX56xbyIWeV5a=?ZcH5Qkx-`Ry=eqtCO1~6 zS&P8R5Q_UdQUWh)5Yv$j<`|FPIz zxqhU-e!O@ney|*tEm3Lup6__YT@_Se*i*kc-E6&kuBR#ZGa zqdR!XT};3l>p1_-&9#zBz691r!kOI700e(z28w#5^V6U(jD7`*^U<4WhA~fVkOA~s z0Kr)=PQSFQcqMxh3vpsGs&%d1++Fxd&WPH|1Gc~xqGle!x=@2w-fs9bWqxg}t>8UjNpo`#QTl950rgH*G;wY1`3RG zDA`HEL!zaGUa2qn8m~=u^`b4c`PWaF#+^RbWTTTXhhFUY=@|Xcj<^qV{^1JcW1RE^ z`D6l$@}6vG#k@Bpwc$@8{mP3?g^U1vH^{Oy{N|XrUu0^_aO{U($ItKr9v?J*@X%|# zmCD-w5EgJ0ysSORnrV;T=*6l1_W;3WJO4L(l{YQHv(~-2j3_h-`O&Ejoo@LKhtEWy zq&JS1WT#<1Wy&hr*pe*bK`*xLT&_B<;j&AZ70L z{F##X{Vj4x<(tQ%C|H&~C`+k`3b}S4bp>p*g&K30AtGb__ zv58;vC6!27JFTZt*%?CaXYJHHj&@^`)>`9qa9|aWe7f_z`f}gg^iuusJ@Bm+TTra) z#q=7r0NO6mh3(t&j?gIlNi$5Q4p~&Uww02BXUZ~~sBJgFH$tBOQPK~@ocr+7>k{T4 z@515DKyL1NWuF&R4252p>L%T})20$Fpa%0PUR0!H>mw!l7m{f0HrTohv99D^D4?ISC>3Mm5-{i&~4sH!jwQK+U`G0&xDha!468kG;n z&zA669I-$6=rI)Oa4vOZR5@ZtS3X7;?=o(|Zo&7mAibhT^kp(CVeGXCdW4ZX8`oiQ z7o1ZhlvhRxcX;T%+%8*eea-`)v(G$=3-?mw(;LwrihA-TYhjqz0$}8AXxm=Q#Lhl|0x=-j~ovi4w5-yd>vCDq*68KVL_p_r1Y;Fy0s zMJRanFhuTgY?0~A_8*Ge)UMF$56VLR#!C&E3dVUo69xMNO68tI`8}HmhQ?bLG*J&$ z)q~~ZcH1VWu|R^n#`8}2ATL#Dyne1FfX#~F{$~B@hp#?JX6p(9ZuyGO@iR$y#fx+> zsZio$57L6P{NHvcwvefqXHL5Jw1A%vX|wwbKR$Z4Gpo(DG>GX1>4Ne3UXjem$a#HBf@95 zc&89`rOcBr%m<3ad=4P?kF*||z3IlLMroKuEGKTcTSLex)dVSOSQ6iaV=10a3OFU- zeEYT^0!+L4n#uQThUq=wV$hAYO2LHi$?~7XNwh~*#4yaEX(d3&?0|Wq)5?k!o1|e# zDP9hs<`VoQB~Zc|LdfS46%9 zyGm_jrW+*<`s9;_7ZDqwWJb|h7t2RVVfU+p-D*igEU5R2x!O3oxX%&R(Cb7{dK3-k znS~?!EUEw%tJ{F(TLvD;&(~-fS&**j5VH=S(A%U=o4w+-(rsoNLqZ9ltS%N!7y+T8h=j$HE1N`t))c~s6P@%p&4DxA(z=BBT!MKBq zd7UJ0b&SSD5$yaiByTz3K)!+bT^~0dT@*fH2#z3vxtiN_}tcskcYtY;QKzpq5 zc4?Jq-mjn1oVJs&9By&7|K*&%aaWY9l07CgRP%BvthjAHv>f$P1tu zDCTmsHsRFs{=^&On*_F;36hGa6R2ah?YF&iM@GCHS5c&UB(hag5!U+k;G$f=0%)Ld z4ne1kT&Vsa_jm3n>I2VQK2O2-pY|6-QLl};h@a1Dv);FWu>8*jpSss9#G0m>OB6bDg9mX zf(d`sF&G0y0jA0J4Ek1WnoX!%rx_{qfq>!XpK7}&zW0L8@dsn|ZAg06t~sm)BA%N& zn8WaF_2B-y%l-W4qGRI^ooRK8qRvZ(OgK1_S&k;y$jFrHIi7cMf0fTD17r}yWi|C> zYO^=HsPJX>v01i_w^sy|VUhJxDyb<#JmX*ij0p#mJtFSq>uyPI&8;7P2ROlMT!Cgc zZ?qd$B+(6lEO5z7^2Ru>+)=9IKsKv}8H#4u;I$YHUR^SUP+IzvsY8!5_T(Wfl0847ScPOLUUrAmms$x2&1C!U{(``5)2EB5wfRs+Y(r?r?xz}UDYo1?)LPax0zlyqkSg=-? zj^f^>cX^sw)HoZ=wq0y`E&@jZpfpflV|JKN1d7!4WWB|m+q=uZb4#p>f`Qg*+ZXn6 z)LAN>$IZD>>Gra!IG3lHNSn7VHJCA}(W$#9b4pTd_68^&DxjHDj>Uk0oX4wQQ zwTLtAktft;rdgFeRYddKT6y|u@htFRNF4CSkruYJ06;aq zxRZlXlT$Zq!?u9Z+gIqq| zY}!(Wov9EE|41ZEz9Ii<5ZGo?*Md(8#xxJHm{*DVE85yHLnC8+|0&n#;$n9q!|+R) zkIg3yxvb&urm?1&r}v`!g`i|s{ns#`I8Y0Cj+-K$9=ncVRC3qbTn4f!zI?ZY_03 z;P!K-!Vv4Uxn%rJI}P(d&lgj4A^>(*pX~E{t%??(9RGPU>u=j(@g?7G8{q5bMP6GH zCv^PSkVLC^loo|}EaU)Fcq6$_;JqzI!3m`NvHnpl{Hqv}y#pxoG$8@ZNKi?Ovglk< z7bzpWWY)x+kSwX)Uqq*4eSKDfBUzkU!EYbtgYJEt-_}m>Iv?%%7s?Sa8A?2@uP|b7 z|6Si#F+KGQ<^Rkk6Nk>IXzqwPU9alqc3dUFxSRAQX>jWLk9=}u?79GY2}n9KuP129 zE($M^xy#4)Ml%hhwed84FE+0)9eZ;LE*Vle&Z9uq$n&o^n|+_ZJUBS^d_qa=gH#*4 zoa!^%loNa}DTm4NX02~cJB(Ifo|ONq!`nV2y?e2yjvk`2Cjjo$wDWj>9c_7L?w;i; zE0JjC$?pt6tZa@m>uD5AuDNMHVJ-))#dS1MfcK|Lskll+J^vWs#B4?%Z?a(J65!9y zQb>|mcLo-Bgkn=NR9d2b^2^V=Ji>Ummt=o#l$DUZGw<9kiQun8QkX9mIPDt%%G=PG zNVH89#_V1^l3A~=vnU9Cq~q`BtML+*xd*oR1G}=&HdA%l%CCJ2o?GhsNYD+xt;T$Jbs;0MUiP$H(knM<(Ei@~6&}9{I6VGq=zIOX^|&-&xWx&eyT%xdb(||M109xd4fM!WdF5 zHiza+*TM-lNf|i&O?*z9et)yUr3LA89j%s1#V**v2=ln=MJ5!Se_4{=t$g(8N#~}7 z@F4M{Caht3;81FVE(*V?bm#gF{FWiEABm(g9l%u;!zV6BW93HBR4~h_kwSY)J{JUI za{F8m#tQ$6e9uZ*M5f$+Y*`yeoe+H(&w5REN4yMuFBYJ{Xvc(w$tulpvq@y$wQifB zAXZ+@K%h(#b4?o->cF;4+A&$rUwH$D{B8x8mpzGHc{lELRFQoTq6j| zUG$N_&@snFqEKke7^v2IYs-F(YwH+%U~e2Ts6UrDvObfCpB% z8)#Cmx6`zI&wGt2l}2LR;l-=(b;&1M9}K-QAOM&=#=%$yyk3BB+@Y*|&)^Iw+VkpR zY8I)i#Ni1hY7$0_GKN&+%Jtk9@Kr8S905Cq<1}Ln0Ae!wB|3mtQk_ zrs@|bE<>xMX}9$B%{w`3io63CM3O#!AuDKiN0X+p#1DZAX&eks1UI{n=YN}*G!Kvi zar*2-mu^TD%#tDXaOS8f_1UwZZtghmg!M3~%n7B#@qx?TMy!bpB>C@Y<9f!wntA9n zv`-?i^*z6>ZBJs-+6&DiES-txIJ`;%w8Xf&DIZxRo^W}|klYX7$T^OahGP%Kfdrq? zJaH?WW_Z~bHD0PNyxR)T?Z<=j?4=tsJ&=Er$~fd3K>cV_VDIkgkZ$&r;jJ5F8Ft+M z_*;2#9%DMKvWdym-UN?6$E$V!Xn7(sf?#3S9H+=f8Mcfu-N}1_G1MwV8eRZ;P}K8w zE-Z#>AzG{6YPa0y7J_416o+&cBqSN@)lckoF?L!ubt}hn1I=(Lm6T5=M=Nq)gJC?-^vV|k6q1}7wn(f$5;?536#xfl4W%CMv_;A% z?S>DhfFHp$`f#HxAAhrvQ7`PP6s7P@qTsws>AgoSoHB8;{VRn`$6g};db$>Tv|d!F zsU!{%;2A%q;h(y&GDrPZVP70`-sUz3+LsLS@F_q{mXT&yD#V%;`p>m%Zhqgx$X5AP zgjewi9+(&?MtCGk_@Agu;0jdk9}C}M_x0c60Bm_jS}Q6RA1 zr6sG^fdIv!hu{4oRE2GnN3zY4jhG)#v0UmOU6Q{L3VvlsuOD^vvhg61&Nh_RP?DKp z(D<98a6Vb$Y3Yr|;P?c_zVw4yFgrsO|7|vnVs1X{K;ud9ZI&mk?TUwt1MBY9Oix#a43b z*M-*Jp577#O>@^t^v<}Rw|c*De|nK-u5eB=sOF}7dTyt^bO8cj4Ra&Q=xd&z>4bab z=C7U)GT_p&dv5!Pc^1b|xp<_Q#?jI8WiVslW6|VtB@7WMe`Bzp+J5?3Op0JeKlY{4 z&)_w5zDvw<_{Fe&JTKUu!0zFiGs!K*#df9T+UwZM_FC6Fn%LIG)YRFegSDmaacjR}UYQwEyw6!_JL~wiWab>@K-}BJ%34aplwb$Nci3#SJ4z(nN zM=VrN)C$f_5V{}G#FqCCIbW{PnYR6|mOfbad;qbJxVDHU;;+uA_Q`l1t z0~)IZY27DR&xBp$Q`+jwuN8}6fk~e>u94r4kcjEk;v5T2%>AO7M9Q22;14C$O^=m6 zr)WnlYT?7qIRuw!dQhv}aKu)JCTGKc@(7IotcY^KQiX0^ZS%zRHQCfm9201dupvSy zk&ohDA;kRs5&BKKdhfA_@w-|ZlskF_4x7qXo)PdSL-`?0jRn8Bz)^<$g^q7ntM-Uw z%5v&Y;5H@(W`Tt!$}y;vf---)^yU#i-Ghtys>*EuULl@cW(E z!%GG47M2qof2zW3->mGS+J!oxHLPNp;k6cI0yq=M?*kQ-a6u8PZqw;`Stj8kG$J12 zdXvyZq43z0+khobajbX*$$Z3m#>1+Eca}O#%_%ng&(5~`=h0h>dm_)-#|N;{&fNwf zeOXIrNrWQFbDXZawV~Eo?}Xjp+i>BMyL~}9a`(yoCGxV^Yx{_<<*C6>zqqO!FqxcO z^HOv0zjB}80Ug$OCUaOXxUK5!f-GmLNQXRe8yd0smaF=Ia7VpCfS7QFx0D5K4X1M( z>WoSDZh_fx3bebo;xzR3G@ zz2~tUgabb3xgyz$B;Zy;;MnpK+UYz;{XSvClP{8Osu&W`sm{1cjPOP|)Sl-e{xKEp zD+}WvQ)stNx8u2rGOEu`?%DU#+i$E{K!KyQcPU~5REn6^!8;M3&|22sbAR25abHO# zEkB#5x^aLxwvOPB&{*7H@1+ z!mkJ~*K^*;-zLb?;F*dUQS6kC^`DE+o8EQAL#V9XuxHy>Eey$)u;4f7?~gGiSoOBW z^??1j3co3jobBl%NmR2kcdMw$NM_mc2u}yLq`j41jMny;7ONN%W#iheb?OtDcoBpW zIT!8uLv4G++_JnU=RD}Ve5zwRBhWz`M=x=g>0r7-ucEcp z$;;g`m;%w60iTcfg;c(BUQrR^Z+aib`sN}9i1%<2|o1sI4Wg6UXN*~ zy;3lBC0UC$4|Tm!!3__F7@^&u2|yXZ9O0}{*p1x0N!k*49cqU5hLj^m0iYORU$*~F z_LZdWR1t~~f#d0JO#kV5dqx}asuPP8mI=Ir;~@`09OvfKL;Eu^J|6!CC!*h`L-69m z9cBc29uAQo8eOZ2D{-yOlBO5wE5CP`rn+o)V!Y_0gs|TcLA2@J6g7`9r)?nvj1hva zi|db3F1(qnvIb&Zy<#hBg6^XGP&Gt)W`%TWUOgcvNCTB4z=?pvG zg@H2f#I_RH(Uq(;+~n#5;lh}HCZuci)zYtjkE$XMEITZv z!1o}keEh2?8K-4@B2jqF|7`{`Ze9diLj|vZwxOJWer7&b{u)E>>(1%_?Z?!rYdFi%16eZ50a0 z5x9w5d0!E?O|%axuzWM<;Y66I@GVdk>aIc`2!luQw(wBCm-72m7%^_{zQgBBEz9{# zB-h-^@sE@JYZ%^HLA?X>FZ(Rd-5w3jUzz@S)+CEVZXJ%M$df{{AKC({h7ar8+`=H@|*v-hFHj} zptBvj$XV5;7q5)@YgJA+MNL~kub2B(R7AvIvz0!X@i&wy4Gqn2BV(d}jXE_mbmgcq1e~DC^-&h_ z12j@3^vfIm_YcV(G)59T%!GR@BZWW|6w71mJzRl9HLzs@pJ3&o!ndTXZijQe~e2B zoO&ZeW^8_guzTzKe=V~Aw}W@Cf7wFNi$Mrm5&g$I{P(F7BjiW*a!MU3;K%>}Pw85Q z1R-wMmb6f(JDQQnlI5nbRp2{H3Jz$oDW$%CD|aFz=>Cu!;c8c*hllzfFa6&Q066|d zzWVL6Zmk*1z)-8zW0rY6Me(CSPxxR@L`3#kuLva*0^|)GO8g51S3Z-EW<=oLs(n@G z-U%~|Np-fO+#E?^uy`Bwu3&AoC!}<+vK{g`KBCtjuhw95F4KaIN;_#mS+{_U#&?od z7?m(Im{czQw$=21e6e=qF}5OZ14{Pe&0eOTiqolkz8Sm0XYqPy#zqq+$XTlQ7s%ic z;)izgT;hGoD`X&NY_EMstMY|WubsX~o^o*5I&E`j?ak}Ko=ybd&Vde*l|aT`gHgA( zwN^5sAE#B5T7lb3eG>SGrYtyhr`E1f;ru6eNZK)APZ|6Pt z8kI8L!IETYtq%8;gSq!DL|yN|HGJS}qM?}f>!Y_^C^cIktF4v|vl`oQRI>Rck?kg7xxV)DXmUsBOnv>)4vwBiA`ydS@JXF5`&@KSIDV$4?CHG>^mQM27T&tEwB*XDy%HE0^P0TKs8x&hV1Qt+IKUE=q>U zr}SMt4UmRXHH2md;T_mehME|_h)x2O&eX*wvV{iQBw(7#0$qM_FF_WF5XlC{#2<3D zV72YjB}?PWz>Wc6BDOo~c(bd8?V25@t4sD5M3m}z?#PD8*~D{nJ^e&+VMw9o-SWv- zu$TEC9|XqVwLwUk8YWZUM0u#wDrBi!|Zpc*ZlDkO4QedpMl=DBQgM?E8qyc zxoPy$1!{A*C@V3MLF+Do*W>Ev5U?In%BNGCo2z#r-5P^8{Al7gl+e23T*?v$-|s3F zfZ%A9TJwLbjRtd9+k-ni>r^}1Luv`mVtAGXuD#}J4rEri+a^xS$CPqRl%2RthcX;a zAKrU?)A}E0Dm5B(E@OOJj{4S6Wox_gV_W-Re4R+e+kV70f85Pb@p8Ek-A_CY{by`0 zh;8G2h;2&B#(H&DegumhS~!s@3_%XIh!CJ(XiTnnI4u7#qjn>S%c6Y<80bVgGkCJr zRbW0*sFW{-zQTUOe6;v~QTLW%RkmH%s3J<2q)LY@x+NtRjWp8TAfYr!NjH)L(hbrr zEe(tAl#-C{u6^SDJl}rb=YH>R$FIHrZ~(`Gb*(e!9COSuYL$@IEG7yMvc(O$a9|39 z<#+s$+|MSjnL2*KBx@ELsYKtj)5x81d*0=1)kRQE{R;Wa|5-MsRWzjcV$867vFhsj zs}E}<$?e-xv-hwTtMY3f@tc98|FtFl_6;)J{l4@FaoL?=+)`mU`DMVk=5ldpOgC{J z&~&6$h#lhCx{c!gHN<84y3>KqX!5jwDvTymepe>_x`#S7# <`1Qo10{_Qjv*v5e z9t2bZ(tGhw%9k%MlX*RF8|c+a1xdS8`Q2ysw73v*c_s$a6ba*z43E$x~JNoyCzV@V!E&HujgF(6Btk`t3Q|_T)(L!m$SpH;p7jlTL2iw7; z1r~!uicaorw;68rdfT9+*U_}V12?9cs9vhfpu^pTvqYEbyJO+AKT{YI@0#A?uv zSPMkYv)|?`Hue5`*tnkJy3&`>;K#<|cUYy{Kq@(VV|a`InTfhlEKK!;SnVp=GUc?c z1kDDw;7!d!Q+_yxRTA9`>bp^=;;Tn{68W~uD~BB@tXr!~P4>J0ba+Mx3Xy|DfRLG1 zIsc{h$K$H@gVyP(A0gLs)1!*jT92vxJvogtbW;+k_X?sPJfK&Q6cKv+@lVAYYE;}xA8BcQ)aM^f?tLp|#V zp`OFT?WvMAAfd+TS{6dT?3*_cjq2pbaP zssy>0NlIOJvi`LV`U!0J7lpbkZES2}UP(J6VcPz{th7q>``g(X&ImGCcVP`-2Ra zVu`-e8>79f)1{#BeflyJkY>;Tx)+PwYcbd3-(>gQaDw(-QxlFoA726IQZf?H>oUUE zAKy~1n_D2SE_m+8C-HnA-}~r?j34RYc`KDoWu-}LLERX$koe2Iq-xE?>t9qeyuFlsq?(3`RCoe zi1?j0#*k%z*d5`G+eW#!+UkPGMVXO_4mz^IP955qcS?7Ii%(U=`oxrGH};uW`dlK^ z1=z4=8TCZ{&PYQ|S6w9HH|Zk~BDA%_FDjt`S4&Pq*Jl!e;%JH{u;%Tk(P0^!6|H%{ zgEi(a)84)xRw63C+dmgtaD&T_aKX!`z3z;c>Y^HuSHf3a{}N|gP18YL08 zS%Pu?n+G(Gt{lfI&STqZYw# zHk8&Bc@^^geFx4o&lZuzUhvayvY0l;ByO6c&iSI#WRK(X8_#T`X{jcq`&-^Yw`rSq z4gDY2GmZ${1$oS5(WHciCW_0G^2`8??qI4T!p0t~X2O(p*(Z^18{P@;6y$S{$|A(l z`Ko;nfzWi%?akFHh%PR8_;#S&v|Vi&pZ8lui~T>TUv;2FRl2+Us2<-rr!coYVsc+E z`%R5^m-UYcnV`^1fKRxrw!a(6w;)-Sv~KmrKOfjhG@i|=GAUp1Sl@NemKuNVVa~;s z4EnTn`NRj3Uq|m~(NoDoJ~O1x6_u&~xjrVfzg>=F-@df+f6eF@qLcgy*5D>NA?>CT zzK4EIpTUf`*G`^N8fur%dX_4ndUY-I&tVMM|N|CLQh$R_hKZmf?U=M&a+ zgv3R#s!T^^OVQ|G+ruP#ulU%ySj%jqpe|qJtxwlgD->7CR521I-`$mX=DidkQfpzl zx%QJbci4K>%uZ~C1xZwsgDJm<0R`gu?v_?&>h`lkotAN$pE#;Qm4d)8Q8ovC; z^L3xq%MBOSh}v3URX^c(s2u(L&Gd-qb)6}!;jPPgwlEkdXOFiI&-l|CbT2RLK_m!G zpTm$MMz6bFTX>o(ujFTyaCDXm%SLIDaa>K8!lU|csLX$PU#~oDfQ2};yA&*H00>p= zb2f!gnuz(tpFAn}dVPpQkPm%6#e?dKfK0K;8Xn%&hn)3U}EAM}P3Q~V0 za0ocBgTUDtq0HrZkax^Yh=o57hqytknJi*)|TW^^X4WCi(<#5dY_qi~pZsJO8g9nJjPZWb>_9%5(K` zruSl)Gx|gNt205Utot=?Z;DVLF&{LL_c` z?A<>{wRpT}OT1RwrG$>2zutY;=-VbN^%{k6meUoN( zyKnObjjG7`=rye3^>TA{B@*MapvHIKn^iZb`Mwc%f4X~XYW7uT0uJNK!luoyXyZBY zp4%Wk^8Y@o_edp|SE=7&`#X+ok4zKALN%LOgPR)rTj^T+4TEsBLSVNtRGZ$wy5e-~rat-~p$-!z*jPkt*~$e7(5qkKXr;Q01*dyZC89Q`ppJ__|8 zB#;g75{3g4`0A$UNYot>8Y+F^CMNY`*2he<%s`YIBpHN!&dhpEg4Cpz&`K|%^PBxP zj7P=}42>YSI;>x~k^T0z#ZLF_{)m@alkKXM3-HuFtkS+$zBn16ed&6-4PsyyO5Lqf z17p1dU;?ZeCggf`yB{FXoi41pP=Xm)C1E*eA#l5;dq-RExKmDj6%M4+sm!NJ(@z+i zDFrTiNKtT2H&l z?GHEx`q|sD|uK9F$@3-faFve?2 z(Ee{%$WvnY-fZDe5ioZ16|&>!IQfLeh0^D+IIt!EeXRa#XOS+$L-Al1V@ddhTu(?r09Qaz*Xlq|c=?@@)fKjO?dmzo7(OS!mlG__{G{rUQBI*XKL$ zJ?S_X+$#3Ca+8~HcHYA*1msi9LdxSGoOdvJEENzF9~~SVJhe){j%&Wo7HmK_!lssu zLBf6s&qHK;`O|5E0dq}%ulcSCXjN0KSp0??-o@6&sCIGROPGX}+~@(6Dy&h=;SFMI z=?_TEx++t}zoGAc-7sDj$$}D4m*y6MFN!t?;eEDGVc4|PQjRGmrD zThH0CoO9a3iC$B_!S8!}wf1?}{mC1@VD+U3=p<8gS7*C#t<0vYGpU-4I}Vc0esV^A zwH=|yW4rou@I6BzTJx9J`SzCP0yF^^?zd#RootS$2nCfg--q{dlnbT$K7FYIx`4Hk z&1X#pX#tHhyuiJ#<|z9o4(x`d4dq!h!@1}KGWk2`{$Q+w5%TK!B^eD(4^5(!>w2=& z%2b)*!@)MTM&NH1_4O+)=nP(Xv=%ZJ(f!hvDY{s!_as_ucOzY5~@=;zAB)A8IEti7 zbBKgGY>w4N&1MH&pEFX)ni^?ESS3zK)gmMP0TJtaxcJoeyPJD z`#uWXqk7YkZ#UX}AcU1&)@1)|gN=C$WAs;#xbeZ<1}%xl*f%BJ8HdfB@Uxw1 zG7DAu)8vqBqJOPOemh~v87n87^kW0>wqCUtt=2ybpY1(xX1?1t6&TIUsLPh${d@+r zU$CUj?z5+kx-)?-PcUqVlW=6;)6~8jWZ&HOu~=a=-k1O1++3;?|A;?tfsd#LszMjg zCLq5m*&#Q%epnusC7%-K=&MmpioBXWpE*FXJC!M4jAZ*a$m>F!lrp`+w3)1YD}cfF z$Kj?}i^`7mTb(5{YtnSWvTg*l-lr}1K_iNZ_6<8>8La-K=`!K+OIX2b0K*G6r-cS( zSM#YXKOP-+)2~Tf9^*b`v;B{<4WPIVyRg`MK+<^<5Am3T3z_%NqB75*)2uF(d;68& zy^fIUgWzHjNO$G(f#e7>g4g*(s^@KO@StX~7B^5#3IW;?Lk*$7Jb+}8vgHbBr0xaU z<4f_>bM1P*w$7jK+fkcnd7O3&q0mK_udiLJnTU81eU@;f9yydSn@r{@P)JHk zzeQmoN9VX~F>is=j|8$Z2NpVF{PMin(p9W5nZTzCG)MbvHwt}*aM~d>TV;{E`^@m! zlJG>aHXX2F$iCO^sqKUWOd;t2X&KB=hQMwD-S2X)uT5Ob2*_auEfVdSVuc1-`rCL+ zI$C9SzcW7*UUfIfLax+4VOw?BDU=&Yj;qlB4t5=9ayt6>k^VQkuVRbQW4s-$YRd#! z6;0nm3AyIyvUDZTi_e~xGQk>F>}bTRE%e`>Z%(mo{qV>$pqdFfePuBr9k!Ir>x7(w zM#$R%>9Tw6aqZl}D({T%tKDK3;31^t=v(KtG;hDXm9La51!`*J-+`xg%Ew~T!c6*B zwrPeEsEf`eydlvl%K%W|DSFv}8A9~S4B&qrJ7MjvgC2V=gj)ybYXpOO!RwFrhC)M8 zFMw_mysiLOS;q+g2hy8FN+;x?ersy zK}r;>{Oxz=RdIj5W0&fO@hw392NklQ=V1VkyMc@+{7~kdSLv2xGt*)yS zzYfQ+7Nph>VsVy=%hNK_7E@h0(0}N9u;3SZWO28~ga#{V`E-*?>o_)w5rTKEa zWX$;pm(_8IBrrF;=Lt1n)F!ECii-S67*0K!_Lry*A@ig05?%K)vPol8{|6*oe`e~S_m()%N@ON_E`xEW_E<+Z%IFuD7|+t->j44d%?7J_NU%q#HZU?c{{2dGbO*YDa7R(f2ZK1u8{j7jy6u?d@W}(FjC- zN_2^#gC&snxr3of$X>YqgQwcmNG0H$^LFm~$CcwrEahuuilHgf6QmPnoPt&}x0E?Z zAbWe#gg18sy~CVc(%wjRNa}AC8>0DLK(ACni6qCE!8ni(=>`Np1>z*GfJMM~N>ltaYp2w8eQIl?k*Gav~GIQMh)OQ+}hp+uZg zv47|XwzjN0)~6%KQE2Tcj{g~RdkqLR^6Icq2*1p7Rq0M{5KNwL$a#K~O=rOT0Qewp zH4hqo>=(xCGLfRCoC3OBmL&FqQRnW@+YoZVTH{$XNZHS;lFM1VWOl~gdMs3-SngqP z_{KFxm`l`i7S?A!^ zI{{iNRqC<$tSt`dH_6Xb*=X1MwX%WjO7Fa%jnO%n)r&%6ZpIjdV+y zbi&pB!bLg)zBs)QQyhOLC&1Mk*m?4hNN0n24!?=nO97%vaQ?SCnnC!d3D=A@h50=5 zH|8KphvQs8u8%VC(`7OIT%u7e`23X>89>Y{MWRDk9Y)0YyLn#LJxguS?y^=auy*H8 zb(Ebb(jez_>^)RjC^f0wo{wBjU#}NL-TwY3VVqXZ5e&9>?&3da$EGdx9YA1GLe)XU zpV^u@9vQpnE27!|@#uNF6uEf|;_B(;;qwCg<$}}p`?Vv1k&Z~7cN*%)Nry)yavpuJ z3BhE-#n+0Z2$zoiG`4H ztIUt`WQDy}scvK>s`wey{JLaA!CJtSm--9*J)PB#q7qY&hhFST5YA?UPjROpxBC`yQN1>ayl*`b?Fa~lhEEI;{BPU8d&lug z3lwbrxQtXy*V09p)w_hhSey=zP$&g~wGt4}%RW89cwJTr8~~DItP&^BbgEIFNHF`^ zO6$Eo?56NO!$Fm1(f6{!>%*7a7n>xrg~T8{7%=)TsL!A553&fKR`Da_WlW9btmGz# zir&<0=9DO%>FRm}vS1M?v z>WqQbs--YrrD3tx`}+p7uf332oEqDon2!CbA4h^k(DNv9Ay1yhgt!qyPBbu+Sqb9* z;V~Hj9Jz?-RCgrBy)Mx^67THM+|x~?cmZT@`Eb$4`hd`d+`5>II)JEc*UM0o=iI1) z`JC%R+Iw=i5NxP(RU*3FCksL8Ry^!ypb(&_zN1fI@6!It1EhpwWFqE>WjTJV=LDML61{kDF|FSZ$i zZyhi*!}3QC8)6Txb6_I=-@* zyH;^&H(ewv(W1da1hjq)_~Rk3*X18Cpdk3B%ek1>o@ID{n5~$j<+Abf?v=wM-WsbY znJv|CH)@wlf8GA639Xo|#C*5szt%P^uTtF(gAR*D&yf&Sm>WM3w|@v+W^Q!OQj$Q9 zCHpMUz!>vOe^Otd5@Ma>h3#w4hDN-s_8a?&oOJtlWUv$I3n z*0gmx;%ZCiBj2o+EM(Lrwo>_gbHuB3YME{5h3D-N39iP&3o@~pJ**9rc*1_HjhV{d z{)U0KIpTE#*g-`!-=AEvE(05Zw@X2bL>MJAf;oP=xj~OzpN(d^0Yysh#}3J;A$#O= z(y}=n6G?oqHX>KqlXnm2+(@`qh0oEPZxNPFWb@*oJj*QWX_`9p*?8nbJuln`i}b@NO=3Gm83a0Iv=+E_Dbeac-U)l?ioV(qYO$J4y zrFm`|QwxtLR zv2bmwt?+!tgUNVYYEjlKW*O#F#K7-%SnrQ@iHKNR4WAKxlMnBZDvP)No|8JA?(%ZU^28P0xc_!!vQ+~Wk>v5H?(A>7Q&52C#rhjH zMsOSJQ#f46S9$dJw$8C_tgMWA9o&OiIo(Om)LGOb=S>%x>8xGUB?VG*L_TD-JV9?9 z)z~lk9;|)Oe2T5MT%rdxfB79%z|wg-|6b)P(81$F^PPeHrpUv)f9(#=1UQ<84r-aN zMkxc;??1kS5_qYyG^CLkLHiPbK2PukN{K#!2sNT&WVJVC%!12$@_nIFfDAW;&pVZ- z_+1Nb;o3lQA{{H@Cp7|gGO`x@oX04h2I+G3EsyY1zBA{_Q>BML8Xd*OCgZWLQ7^%R z?m%nthL&tl%b2Kp`}*FNC7kpst&c-ptaW;MJilv7!|Agk`gc4b+nkZ{eC>6d1TXm4 zDaDIIh(H&!WutdCH!;cHVXfrsm-}5u3wM5HpSI@3q0`oc3{_&;FHq8J^+npWAaI=q zNTVvI=>mV*A~=|;$(lG{nr}`N6|`a{>~y%|FO?=WY&!6R`N}QfgT!nRFMavXWiRmn zzH$PaBfUW*Y-Z#jXWpZdEJ~Pu(qC-_lU+$RIpTt?#Q)6@T-|`v%8zi{ViT@XfKKE>3vV`Y2E22~K`^Um`v4?IhZiODi}vLz}| zmPZVIA~Iv30O|6M2THuEd88R_76NLc*o26a-uz{=5oE${2l2^GgoqA=@dn0e5tMZ@ z;8sO}7_=zfD0?>+wGaYdo!76mnX#}K+C(s0`+lT&T$&4^I@b&3`K^~|t5vNZl>=~~ z%(Qt>&(D^qlV)f+d=2^~M;`qlVHY#K;}syb%qEfo+oU9oG(75ie!Y5)bu!Eld9}iH z@U&xxlPRq$_eQCChFP5VO`%{baMWR(JKNLrQB**jab_A%>(r8rX!QjdWu@O#7 z80}q4I_{s;wFNZ*Z@1`0o158>Hlew!oI*;D=*-=X0T`D!(HAz2q z>p~lz3FGOvMph;jRo|frC1?hqpFD~Kc_`ut*_vR?yV0C5rk{mOidQaJFgtAaM^$A& z)R`6)ZXj`quVFhK}SR;H`Rd*OZxxpudr{{fJ(`P3f z84NKP&)Fq*YpLnzmD89Q7ZXs2SvfeyYX}M&8@W#ZHBYL(=R$cT$4n^?-EbF;cvKoM z3ga)BJ($Dwz`fo%i&6Q+`+`q!(f>CZKsV(qm9TY#G_$JBZKG*iTUOYd56j_G`iMYgM5Xx zAY{se3(DP|1)lcXE5Rx8sc?Dv87Ox{&(bssuiJSkX@evwol0T+g13iBUJ$Sel3K(q zU;q-qex{$|Q52poS9(0#;7bqpDL3w=wIRIOTfqwT(_smMt3X*jhdt0KW2S$b-*%h_ zKZ|kYzB&34RZJ7Y`Peg8ZDtMn4dlGI^rg?c8|VScVS9RS@)*7gz8|Rh?x>HIUGR~+ z^|$(=xL-&CK&17RzFUiQI$>AfY}h*1DFAYimzylu3{NT8BTxCeT$CVPY!Bot**ZD- zI>`dt@E9~G&o!WllfJgmsX9}tHRE$%FF=O|0DjFEP@pcQhJzj?IItZN=f73zhN;u4 z^3$Ltq_WPSB=1)AZffOYev+CtQHjyazK@H6s7uw^?@=4WVpXSA z=@aMzFm@~O!-5R|igbDD-g@B}_kY0Qng~JL{5~t;GyQnBaIE_pRU9%oKX3NXx2nvr zi?&4JMsIDR+ze$kPdC8m$1Sj+9ET=gX6PfT!g)Q@8Ndt_4=2nYIcPgB@3{FfYroc) zpa@dvRSr!cFdoY(pBMb0)9cy10if2s%Yb(Zjya;svOt4ncd|UUf{(_>}*LKXjle9|}r=;O9_%O=<_vK2o+$EmIJsxL# zcY9;Pc5~WDACs95Lf+=YO7zn6d>wkcC5O_f9Gz`k{djwc^!9dftD91w3iK}-G;5`WRk?5*EYIpPj9S8@LBzAvxvBDMLO;}k9%@(Zx)lTcy)O)l0MEnQc{g4{uzr6W{bf34 z4Iws?MB8%Q6py;jf~)MLz0{GnJn{BaMNKNSHW~5r-)bh8@W%^fLP)Dfu}`xt_B3s+ z#(S{4jFz_FyI<^!v*Z0N1SlF)|6Hvt)hJ9rMmD*R*aur@6|l0DQhu2{YxF!{)KRas z_xK^u?a<_1_gAM%g=Z_41Qs`vtaa=gUt*_sl@FIFMUxFCs% zQpzosE!>b^3iSaB;otUY>$C|_5G&F@pHy+Ya1UjG)|jQswA;Uiho9)T9}skB0Z#bL&TYKuQwJ;B;eU|6}4vjMlR7 zMyoGipA#4&_ItAsbUSWOrHj}dHGuGMeLpne7hVSYO9^QX+Cr>2;+Hd8_GhtTX9fdyrR#0xrK?LLC^YHlqK?02b0Xpk2W$5I3EVseP0NH zfead6E_5N*sRccnHroZjXuNwUUHE1f%@{yG--^vYYZsTi7~m3AM~vMM_p7OYH8%HZ8_$PCHJsXv)0o-2&Z&XRdXqezr2+e`DKr3&5RU z5#hy%yHI}hi(g(Xa$cokz}i|lFeGF6p+16Kd(RUjl}7P(_<1f-*;_FAr~gE@_dR+kO9#7#8vb#Y^^(_}(BeT9Nr&_(E)qT%2GJ_YvunFN> z63ovP-GH-INN?E)!1GPav@Kc~tty}(8zWBBFpt#)uWy?1b4_o?WKanR(6!*>?l;X> znn%AgrEhw1#Cp2j=gr+o@B{7#m^Wo7PyB}@buw6v{vwR5n6t$qSDg}kKMy~!3G&q~2 zE`YRx{}7ZH7MeZP#>0qsRq*K5Fjds?4qx8?;~Rrwg~cR_542DQ?hYReEpOBRflVUl zrh71&IhUE)@+V?_9h}-v?iGmr!#jQd3tAUwWn>CWkPRV%1EtbfK;)JEImElyKymMK zo1EC&mP{(fw_F)u2&fmzD0}`&UyT3$7RB0d$AEvc@YhrS|B?aoe?{8SfZTaLc<|uv zPET)dng;Adcq9WeHi)s!lYM6&{#AIkl<*T46 z7iIj`qkS3`Nc!mMQ(p;6#9;#RNXf5Q2h9saTaF7y1C3{M8_8EX6ENz%q>A;M*|yi~ zHIq8^VgcwxO?c7e!g|1H!_N34=+CArvb0%IH;=6d{SV3gzk3cLlJ1{O&i+1lE*66j zK@;7@C9%bINRR!!h~U5Li2d!SQX+Ca5tjtckAztcgf3rP*whaGFWxNeImMs9u>Sx0 zUwnhW1)!Rds)ky{Dqb>ZHho#jZA@G?!T66c5OfgI>tm5waqW5~lRr>C*c5?1s2TO& zUKbGz{GsxlV}2_A^_k($fvLPig-O3ri}zzzo8@*zqcZKR=@MN5Zh-C6jh(E<>3+Gl zjPZ8m=63V6SE^kJ{el}jX4USEY`vz3i1Wg0lM6w4^#Zg*zW6c^1a=wRFOMT*=~Q9& z8t8agg+J?@_8391V{6<1fEP z{+}inUT@(KU&1u2t*MjicNlqh)ij%AuU&06!MpS_DJo&`Rhdr;@i^`>%6zSg(5P~Z zaj=-|K9m!PdVHi4ThesRipg_Q1`u~f>w5I$EV1PU&&eV{#QGZfJnuPwhmb~Bq$$nU zU6Q-=fNkI^a|ryox`C>?ZZLgy2)i8D68yzPO_OqZ@x5!uH6St+Eb7Rj^DB7VeOE4b z-oOKe`~p69a~W>jQJA6_;+)6Tj$(<WRRIk?eQu5z4Usy4npjI2!3OJcJM{iHoq|mKRMJGyDbXK(o9@@U=piBKr%2|+` zG=fcGzWTQq903Ymtjn#X%!sm6pT<&rQmoPP5a2hqP0U zDn@_F_ISa>NvSj3+9RnYlIvzwa(qPlMPfLu<`th1+kOx6p18QKwR=k0{&BkK4TcaK zk$TfMg^SIMkyD8$=`W0D7oL*+Bo6EEL~1{a+3Z~~i_Cl8-7LS<>d8;G8{i(PG*?RC ze4oO1JR}^Ow` z7Tjc>zp|z!a@^XC0-t`*b+Kh6M_U}<`jSl!_HFP>y{qM^P}81PZn101`FXR^QBK%y zia=N*dt6If^)yUm%k6f{F3YL;Ch1i@)~aNDu!oX%;9}I_TcD;t!?^&gD;EqJ>FynFP(`X&0} zXubFTSmu1?v*ENeGwx?PHxK-?M)H-Y&q7Upf<}uZJW@x^vVugJ49v$_y?BNzWnIK} zt0-?kQh$bv{ziBgM9bY8?)v6_wW4G&lpTbX5O-PW5qp3?Kj*ZjPs-m19cPF)pL~qU zUJ&727R)er%31@KfiZAZEw%y%x(q<9HD`1rbmV1AWyR~vi=YX}&KMxa23!I0e(Gpy zxi3!hF4XKi#@T(x6@Vgza^nd|pf;;H#efDS$NP$-mqBfNR> zP1;aXz)utO>22VLQNbZgLJUYIqucFP;Qt<;|N2Z_P;#;KgMf@5uK0H8i>~`gEZ~=T z+IU=2n|<_iiMV7{Wh({@)9mi7!kmO1DdL!D7yr|4jzKbEe=d6Oi-?IFnGKoEi>0Ft z1dnUj_r39gI4y^9WkxzgyEVbJR;>Y+o~jh^nQN|!j0ZF;Ou`y~pV_X{$MgNA-5PHj zHqc@?wCMz-Njr7`mBJNc$tk6+XPPXa|2pklIvHO??m1W0*#lO z1ubS^6*^8+na?II6anL~x{K#_9LKuzZSilsFV>H);`%B-z1UxB47*l8)*CQEWtIhl zI~{ZOESYJV>;Rw(^-iKQw+W^xHg*r!O9}0VgpjZ!bn6yc79Z|6EU+{)0aGI#VBdzE zy|!qAr^mIDq#e4EH3rXWn7|$8(b2%6_v69jo>>Lxi|S2yW>BohxSWi_i91hqPZq5g z-$&V{UDX!CxLj=ve*~nQ^0)FY6jkRF^XPWkuC_t&@p~r7DXP>a!^TA}^R6@`2RLdC zB=E~Nn&0W&a1c*wU8ayQr8+SQ@LP3V4>+&5`W>=*mdU5|)5l}2@<%zo|F;E=kr+6V z`QqQ=WHg8tRNMYoTw>hR3=-zWXK?=cGc$qTZOn!yM@ywhYu7Rs;piYW401LM>32^O z;jTxuZah&j2RY*m3|Qi69|9OnWq)s>x%r-$fIBzp4)64PNC=#q3(AO}AGMPhr}5Fc z5ne3)VGu`QX-2!H9Yhi1@PE4?Wy-m?-wV$|eG`pg!;IL(e5DcT#%!afDet`0sX}+s zL#Yr5hlk48d~F*CRx<%8v$)E&wwGwGHNkamqWa8wrum2rW|!G|uHt=0nSEEP4p2yliXc9c;zq>w?q)x_GyKVxLWinI%ld&KZ_(@5r|PB_7A-AO_F z8$qk-QjcV5k7fP!)ZNcms~ZtCDXvK(wRdo^F5>68K#ebQG)WMp4pd|gYnpHR%^y6r z=zH@U*s~RT>7tUhJ8 z46UEP--8;*hv)h;DbwhQqu&*Zk9)w)wb#ms=8Iv(-ZM;TG-r`|1NhnWa<5O`N<~TG z3Y?heqltoL1SKIJ_@Xo6HqSDK<*UvW@LAMh*_b;Z>A*KWh=)3pY=d6r| zC{fW1E{?=xz$(L!_2}ORKk-<}P`qde++R`Q&ri5`G1AvFj(1{Js=}p-B7S zfLKq0J~{vkf0Xa2wwz9~=iSXuCTvf{GGvGbKVE6E-3fa03O^Ov^ zoh{kt+fxPEM3$NjEivs2?KbVJ$mZ{8#L7VsRn`=q@;9G|@DYEB;5+aCN^U2i_C4?n zc}thb;_r=m#J<nb13@4#~E!4B1pYjDR=-ebTOi)I?X?PX`$JIAHH4S985>Zet6UhWt3`N_>b%F|@;9j@j{9k-FzvL5FUa4}G6dQr$4* zx%tOMVZMa${i~q)s_-zw> zy5|;ns8?IjFZ8^L;7F%-7Sa`}+;l^_&?K&_gvQrrcwwSAwd$Qu>3f@J5>Y90yg8U` zn(UyG=a}KYx*0vum)mzERc!cNx(kj9*Zn@rR0FtJH+s+w&z^4uQGDhM>Ik`Z!9&z60ie$&J zR{LW(&h3);0LA6ZAasKhbwa5?|qOhYQ?oi*SGFmN1_$uR=MRdgP=^pS^A%Qi~uKWc`a0 z7OMsm(Gn@D&cXGAOj>0%^t-T~d^ z`ap6rts18%T^UY2JWaa|p(vUlfGXoNQj8bQs-r>l#u4x}7PZg?ePR-$#Q zxg|!&J}7jib|UG-qUuk=k&MJr1*^VVE{(W9DM!owmSD?$z^Zar5BW&-`nr})H6y8m zl1hT(HG@(Fsq&p$F~5S2S;}}Uq^li%U4nEmd;N=9bKe-k^{e62-m!%Q;e6@+vkL~ zi8bb2-Gn?BpeN)Vwnu*IF-lfHE~Zv5rTtr9u^{ zS0kyME)gfZ6v-%bydtrw0go`DxDDQ%7MXQBmq4db>`Q1Yuds}X{pQ_Q;hV$8 z%OlHl7ZueEt)7=2zlJKu7c43ZSqyzY47wmCP)d28^%v{GQ2XEOUN>!E$NC;1aa>wW zxdq{|o5OpS#9mVpZ4!+6pHyie^=8z92z4NRVEZ_jw)XZ`RECp2sYH2j56c&V;LI96 z8uWCP-vk(=SW~CEmGj2`bfS;}*CMh)cqhvdZpKY3=dYZQ<=gPCZ&ER58>8Y}m0z?e zAZDe3zQ4oMOMjAIx{C1HeW2M({|5hyJoh46Zh?a4#+`BHC*61EFFAqc$zc#VlrWcn z85t13;bJZlJ)}tx<96&W6Ay1-c8EeH;OeuoNaQ>-R&OwSvBc#(6*=-+62&4e{5PMh8sdo$b}$0QsU#XMMO;3hG;mgSyA4v!ahqc>?0RA#!nRpm}hoJE`;P1e|E-1UzBIv5PdM4Wm;gy=OMslpUi?s*$;-SZ1{}) z&OPXiq}z5O?AQVQ8!gaZ4q*z#$WKX&iRVhuI>5!iAizm=;Yq!&P9ugU zWR;Ji5AmY4n6uk927ZL*_sZy5w{Vwh@t)3YhDLFSs>jdoz^NcG@bwG0f8qKYSc}@2 zG|v?N@*4iakeKbblWg>JhU2g=OFa37XUz3{rHzmD^SDccFQ~`;Vg91nL}(|Qj5ZMy zHY*!76xC7FtidYQ@=Qhlc)$SQE6e| zGx$%ix4-_%CJ{f4I(H(R;F`KWfdQQxmOiygSyrLVNUE$Nih&pP!G=ag_N;TjuQd@VV^Kc_kawyo8Gq|aHYtOT; zX+1UhsTLv?Nh)OBNfTdyEtYIyp;_8o>_FI+z|SijNYQWvau8efaV2uuWbjbQlmHXQ z<}Tm~Zi!4&?4Hd7%n`$jzRAW^2)12C5{LHIJZyHSQ!TdNd&ABLqeZM&a!JKNHYF|_ zRlu+~yTQj+6bL*bYo*_5Gdp2&}GTs(_NuY`78VTaT@rkNjEMO^8ROa zD4)nOoY6h*(T{`e0Ih4ef!E%CtyrYs6kd9Fqd^ z7|d4!CW=!c-L9X0Lz>#uh3D4IO6h!FI3b6hF@hE1d$cY~0mH2go`l?_85F{7hKZyV zY~R!%7TIKuDfOr<`w|(2)kh5pWoWHmyRDH>!A2XSjb>NZuvhh84bapu`CZ>$Y~ZjW zlnu3H+;<@OJ?8F9BI`4xPPUJ#KP1diNI_9ZG50uG|3BD!>#wZZuKiaLq@)p~LAq1A z8zj7>JES`VM7lwwyOC5;x>LFv>6Gs7+UMmR@BKXA``v%Q-rt`b!!a(oTjIgk07 z$5CaqZep%J@|WS$!CGgk&wH#fz(h4~hDF{YE@ zWDA7ayjj}4$arCf$jf5#Lccnj6YJOWV?KLCTm;m+na{qR-q`HHefxhr-84K9-6~xV zJi)CCBgA6R0uQlrD?Nqp<=IeL>}7^?=Ku_wN32Rk&WTDi12 zQybM3VXOop&a2@-6dFxa?E^=R4tswXXnrdAy*r50tSd(&;;^Q1Jm|$^U-Jxiv`&# zWZ{quQb=ao>#@7&J{CL2!**QiicV6_sW}MJ@X?x>GF)$rH7Zgdn&3Ly{$@2m!evHg zAuJ7xj$jt~x^H_i!^Q@&Y_4G)>*fjfiXzv+zE-i*zDSf^Nh6nl$?h_z;JmLu;$4I^s19+O!abT7ytt2AC%#f`qpD zN%*r%G4v4KuKf&p@n4FpYozj_1x%jy`y}q_G?4Hl{H}>&iM9C#H{>2<>4Wn@p7&mp zCG7)@(-T#3`*5@ymFOTIPWy>g{ke;*5tvcvC~~xwybSkG!&uo*?*gr>ciE#?Xz5Y~ zgefZ!N}UCAPqKa8>GQ-Uptqo%e_kE2lZ>Uubbj$y7+@*Lu&JUPrO8KtM-!3-gO)8> z_REkU{cnv^0I1_!o^(^ z1r$A4O(G8+dSBX*{Yv?ONbY&_h|Q1WaXUrNX))_oJNyTQ=Sf?6B=?@rP+y786vn=` z$V#0<1*=T81uaU70&&{tL%bz4P))tIQ%>Afo#fDk!as^JS&B)mLPa)}#oF@)vX7UY z2&G=>h^<>6Rf#$#6$70SKDlh0rS?L3WbM=Cul_bX=&NJYTlM)%zM)1*EQeK2mfXR@ z!R?5QW4hs4I&`M#nDWP9MD7#NHCjQM5*i^SvO$1i(CHQV|Y&fW?q;OJSWZP3aky7 z64~{U3qt+X&m1H3+Mhb41|W&|uiNXIn^#q4ofjsJu?(do6?Wg=mXGKSH6UX zHhYF-oRRF6VXWpBQo|R$X+%B56;BoWg|;7`C@tc<-#WnBPtwTx4$aVjaYukpo?|_= zaDPbyv=u^n{^nOPf0-CP+EG$=m>zqH=RKA`ryzv{m&IGyyige0kP5Kj`Pm(WGh?#CyEmXED zk4zC3DOII&Oy)w^zBinc?Chj^9k$~n-ToTOxvm|YKrmP43h^rsCs(xQ>RJVR!h_~Z zM-HKO=(x!*JBeIU-NN4^XmVOBWV}05`9HAMkcGa7Yz3rV5-`&J964sq4+lroO*3jrfxlQ8+UumV99xl&B8_7q zM-~4;DfciD!HZ4yowuYUd#A1Ja+dshrO}t-)@g4rgZ)a?m0v9lN#I03VXixw5n*FQ>cfc&uYKF!;pdsr49qux3<-3C}+JwA3#6#q`G`Q?P&zqP9*XmFo$JxO@J02WbZ&CpYctReB* zHUG!k6pQ#WF=Tni9eO2PuaYS*AyOuIUBiqF7fk0B7Gm@@bx%FtU-yFIU?O*UJ6eC7 zkWqf{ylB9B-CHpDoQYK9?6+)2po6eW_Xm5ka$nV?9a&5Z*Cc{0#Y!$8?}l zr?MVxNi}$5Usy0ttt-K~2?s9}pK*=o5NRXcehi4`KN9 z7e9?;sm$c0cpaZkXkjf;cWtTAyPLW!luhW4ctkWlo%KVtZMaNkNEYJS&|b}0CjGwL zr9>cG!Q-0eXd}bWxM3iGPqhO_)Q@rR2Z0t!*oTObq9G3bLAYvHb&W$ueaPP$gDtDw zi{|QFT$nGC1)qt?(Tji=1pM7aj`b_0MD7~GwU7=JExB8MnMa7Dujkju2l^h8uu4y! z8KbE6S$+v|==n;Lr)krKcCi}+MoY`rlYvtUW5t)+r|8UKFI{hM-UV76;A$eIFl)$Y z%VC8*WA)XdUWBm^5zyG}eU~%JZ7K&R^x)-pNaOdMr28xUj>|rgD8UPUU}-BaFJ~k4Zh#V7rdU(7h<3?-(8Q{Y>eb* zH5mJ@RVCL=ean_a*_}&b=9@?{1Mr6vh%T6Gtr)b(bi&w;e>ShgQk;CqK z8gZV(W1u@jZ^N58+8ivn6mWUHK1J|vDk4~aK1LXv3U+8IK3JM*=|G|F7+|%Ia1U{~ z*NI|-DBgxWHuVTXc0;4CXU_dbjZAq?fm2$+zp|Y$*o20;y0hj@qh=s?K)jnDXOjxr zDvk{Ig@)k4*{A$Nb4BC^rMr*Wvj}75{#Ikm5GWQ-F>{tGs~Vpi4pEVCoCH51t91RY zefXvCowKMcw{H2>K9}^g(?;yCaFffvO-1D7HG>gyk?3>j$knNp@2*8XS#U+B$f~P1 zf8I%JwcCY`@Ge(vX;+`jTjQlsClO^qCa6E|Buxu43v*f{CpJm0d-0V~g3bELF6WWM zEeKMtwR)>1wCdY;5+V#^_kdhe+khko(v!sWWOZ%Dt!EY4&vmxiUV*&JWqp345s~kk z93t|_tNvSk{5wZ5w@(Yicz0@MAXJZH@+UDy_)vuRQI8f^Gd30_o@@utP5M4FppG03(RwZcO<3GRi8*`x?L4z*O=gAVgC!n5$e%BX}`=VFF-iNb5oeZe6zP zU_oUrbvu7h0G7?*A`As-)6NF23FQuzP(V29j^FjjsM$S12(6ghSHhmduGK%_oo6dX zpVfh2lst4=@)q2+lVO3@*O{1b=0~1E9@YZ562}mj#07jx!l~}I>+nV_Ox4}Opax_N z94vXkyqm&ovrqdOo1XXOgxZ_P<*j>l`{|+sIBy`@xcxU`J7g7nPFpL}I@UITA^54# znG|Q^>_?FX}xPFY9q3xP}62!%Iq^_Vv2#u zUqtxw)=i8Rv-NuDTsztz05v_Y_XU`PhYgD2crdE#-Iz;F3x4avUkG-PXaOdUf8tus zu;Dl)kRy>L^)B=t0NT5s#1z@em|!-mK694 z?&6=qdDZ*S9bIXXmoZl#GcY2FN2W`n zzfSi*L-WT1H@;P1l36#`?%P8k-?v)H_qhs4G7WWR>5y@dj*u>!c?njsg($|BJvadi zSqOPv8)9aTW$X{W$x^zLiheveY=7nk7W!9@2ZfkboV(v{KC%j(2UGaDP9l<%sg5%+ zv7{%w$$hNG`=(ONy^ z(87n@I^N!fCfnrMF{r=Y9BF5yV##Bj!F`${w`p?pX8uaQ&%g1vm z92i>qQ0vVe_n%YWS98em^M925FQj9vS^-BE{|h&_oM5jsXC&F7laaW%B678Ng zRR^oO=Ku#u&g@slV_Qq4a+pF>dU2#qxT6b`#XoW7kFh#6f-p+ag9Gm+=#Y(04;lGD z{*gFGa{ey%X4t?DWK|zs7pyqV>*Y z0M}`@npPy1#9G|d$;!4M=Fj`{5Pis&fxIU)$Q+{d0a|GeX8Eehgy2Ea@yx8svv$K> z{UF(rlvU3h)iGx}s$76nEoF&>MRbXvscIEh_yNY=n+N+RfBVkMyxn${l5o|v5i)Oc z3=R}l6#pb7-S-z^trUUN5vrqFx%3iOu{@v80U-I3gw!v>_KI4pxb)-*?dSyHYQ_e~ z4A{<%JbfvRoiHRV1JC;OSc(kNgXYZQO6uqa>D0?*CH38s&{%~0saymxIb7lt@o_o< zG4}U+Mh@Y3&&75S`uo4Z=FPkQ9Q+L)TZP+RP%^KR#YlYqextzrI>^jCd*j${dA2j< z8naWgrm}PJ-kWi=^t)i6;QNx}@{_Mh~;|YU;0Yckv8qS}2U>s`Fh5*>l-mB~2q6^!i#Eha#5X}a zSH*e7)oM;HT7^=)3zD#8w3*v{2D_4rKGzjf4Sh2J;OnruTqz<}O7Yy4Zu z1$H*bp(#{ldkQum3fX%QnZI*iwk%bIcm|N*(Zt4O^IFs)016s8v5RvxaT#761 z<$#$+bN);)+|$`UGA`J^IQgi(>SfeRU}l-31%n|9HqkWCCf}f4f<5%rycC-c=;V%( zwNBeTsC+x5+vDGR35VQ!@qKzW+>B9#<6CwClFsJ5qkcZa4*<|4AurGAXSh0Vqd35s z(VmeI35c%OU@{;3i`f0$nXOK)P63fp>VkSXB%JU1_CGNC|Jckpk|4FssyE(t9;unx zD_st+Slw=G!p&D0kkzmHf2Zk7MTrnb3&p56hrXojj1-rUry-pDRMYETw^Z#;any^C z%U~=*FXH9-1%Xp7$z9=w=CRq)>;Ct0~p4 z1<{p~%WR0$$If=XzDAhz`C{?=Q;Q@P17H5DjcnIktq;=Br6N$vaMy#h+Sb=b5FGQ7 zJm8QRrBa~U-4jRe$fRU^(vXU*B8frTs8KHpU44Zbrj5o!mja|5v@d)-5Bx}~&kpB& z&*4vtn2Dyxod*&!e#%;mqXSVtIQoAkJpVjiuziIG#9e33>bm#b&SKu5y2y09w7j{G zWlR~h^cRUdpS$*s<-R(&oc_t?(G&AD_)H{-m`pyoa!CKvgbU6<%w^Fa;%NbD`0weD z2GMj6b&n#yS4cgtmzdLM)d8oAsXIiQ*e}PyE z9%!JSg0xhle3kxDK)ds~E(PGSaqchNopF89Yib;|x*Kq5#KNxxynGe~FD&yKe&h6w^0Cm(4d0yV+qFr%a$d}X#>#vPam zff~w))6vw)hw~pvKVB1KA zLckRVG&?7WzW;-vx9!W-w(RQ&+YTdcMIO0yJ#*c(-A?!(+(loRpudu zx~EBUZtvYOA6dnr;lCF@a&4|xTiJ#C0;@E_zOvS}tY8mI(01!Db&r9WwZ->)B`1I3 zHF|^@B{|es77)(71mn|0%s{S6>pl*mhzF&HAf>-zyrR)UE>=+4r~Ik0iXVMl*WAHo*RD2Cz4|9L=~} z*>k*f>>>;561?642{iRk)5XG6(9gS@u}xa$li1lke`C-VjKL&WIV^O!f`upK=?>Sg z%i*<2LI+Q1=RH=SHrT%k7Na4iF1NtNK^vboe1SjnbP)By74GiKdwfCnYW7?oyaaFp zPgFD&ohr_^2BO4(iAqi50K2saNd~Xe*Lv_B4K#AAE6j#}+h+rNzIYHbK#5~j)dhSg zw0Uj=5O??SFTrfhDfAiPgO@YcFwO?}LjflOa#1%6_qQ3)7OMiIa=3YA;r_1bn}*V1 zJxr6%hEQzG8FZC?+jerfiJCPXZ1N~IZNSaZOV&S#bOz>)vxLLINHu61ICU|C)q(t( z=BM!(OB+QZP<+mEG}CPoXz&J~6I1?ZI{xcEO+{D{kA+9Z51_Ff{`#Ge+S;gi7?<#u#_J^2-VnL|1p3u6Ql1L;4 zlcm+qB1Ftv*P)vduqA+vnEnu?cYiezo|#kR^GI}xXGbyM5lri}K#xH>NGD7X)~7G| zZoc*6TT>2sk9jsQf9;McYlFJytwODusaAWw!MlvWw{{H~E&f1RC1>nfVDUk?|5@az z;!`~4`CzzDG>WPG!rVLe41N}D;<0}Crc{VI zP%MQQ@8>6U&q9oZwK(2%)7S(qrSvgn51y?V zq1eEe#SWho*~D!5uX#!wa)oM??M@=TSHi_#Kd-$=uCuU#%NnJ|Aln>rmmu{e^N#{k z=>;zYG<%fBF~r)>3R0FwdA9PNKEJZ*%6k`>|TL*)+xx zGp?`Md{o^K4du8O2If#NCoW1Xnn zD6U_$;=(ba?MQa2S$&oDjH)I`kuQBZQ*KQq*(r)H^V9603U3pA0f|Bd2zc#=Z)aie~xw3l!*XX!C2;YJrxm(ox7+si>O zCbOEn7=RCQeF+E)WHEvHKnn?R2xjJ3jbd?l8jWO#UPcpH*GMCh%nU(=Adx+$MS*+#E<%{ zaERo4L!6yP5f-&|-XTIFS@kw^wGO~sk^5HyOCrM36t46pI3VYEL_PqhW&C{L-9A>1 zemGUBMRv9fng|+%M6%FAi1d+MQ0Av1-@q&AV27Cf)X|z8;eEU6XxCd1an5q0IC6-~ zohbCoG8W?#;{f;a69X>zXO}QvP{|ZC(6(JJM$^rrgH|Op86r!B(X9yj;YS4-5Qg?| z17J=Eox`TjZzLi}Hx+N=)KQt-FK)d{^=qZN-Fj|;>F`fRq(v#6Q>m17_jc-@=D0ar z^g{#_Yv?LY5YH{^i~`XW9sY&%vv!JlA|p2xGZ5* zX#Nn|uH*r7`gVu}qzx$4ji6+jHjL(t3RE;4b_S8|9du#GWK zoU+Hm;f30f0^$f5ZCIs}N0v^yOU1hTq4R-8BP}UHJ6I_}dT|gcXVxZ)T*+dK_K19- z;|aZdCap4CGLf#36&-gcl4VBp=K1rlfH_hZRvvAN1lv%Ebq{>mz>-xBbZmN@B@y}> z=aH|0-yr%OSQf~13=}spXv4kwTsfhn2%*63_{$4GATDd^`>prk!_CbZtMg99$l}vc z=Eo4!Zuu!B44q6elnRuSj=HJmK7HB3J=N3@=P@M~-U!0Di&g2x*x43@6!Nj$ z)NW2Tht1)deZ{2%4CNH6NDMy%FOa0Dcof)IO~qZQ-u4atYt2tb_R1lvet#Zbx^rNT zh)OZc>s9g#TgqGbC$eVk)=nm>oHpvr*J$`mj9OJr2E<+m=^ybOQJl?bfp}41P-<6H$bj|D= ztTcBF4k#C3FaC%163sq0je$C0VLY1$PBG(?Gc$9x73nWuxo$?XxG8BYEWYQlFJRz9&*Le`xSMvdLtcFR} zTo7`V-gL1#^Kycty43LvaI1T(fc_JGD_Al1dU@QH>Wb zG--d(sEv*!{5#U-vpGrRA{|2RMUKeVWsYgJY$wHUQUx4?&&-w5-{xtzw5Z}%{c$|b z^iubfh=t>M%VklaDaT-?tO^<+Muj++V49dEiD^F7avS zd1UJJ%*Fn~B+EVP26!OICmWCO79Wev2!0$Jx2w^1y1|lKml6^*#V+Q1glKVjz4YIx z=Rbu2WffRih1hI)upQ&O1{QMpx@#*eSCV8Rs8|V{+cx~?j&zJhJ5bonXF2OCWd?0+ zf?YsM6(GhRl{8A-o1bAc@#B{2eO$wz)rzoS_lL^rXiv{)_vw$2Rg~~y5R@3r7{!DQ z*WLhINSKGYdFdH;PQHnd zCu@iH_@*7%&%|rI?C8XElO2|jWF`yLn3weBq^%L&a`Z!^E3Q@KYa(Q0O-Dx*WH=5M zu~zlHrbpsDwJ@;hoP4xS`Xz@%wlE(pB?Zt>R? z-91YIiC5n4R7`o?(8i>>v4r>v(LN~Nu7nbh>c^c{kIw3YPzb1?j+Umsvr?g2)=^T5 zT#laKV-$ah2W?zSnQPKe{Pl^Zs#HZEy*i0~*`}wxXY#J;o*-H zQ;wol%A-JgciJm?O=S0@QsRwX=uEJK{hFUcQp~#0l#=r|6|wo>dLrM|v-6qOy+7CJ z{~C(?C3TR(P*V47j~6hvN)cuBou>sH8{KW+lc(TQ$`wA5Nz@gIXV9f^T(3`j(ktJe z%-5AE77-~Kmcn~Jp_fFv-&Ds!Dd*%F3|0RXn@}7ndqN6~D9?O&2w%&;SPUQE2RN}Y zn0v|AUSB@l7Szj{9bBk#MQMIgvVmNgUn0_AHN|Gy(su4=rOY?JDjZAS{l(b-UB_98 z?V!f3yAt-+nqD^Ms%#4u?sr}3>Ca%dt|@bo1QqGw!1GWGQOnw|N&UyS=L`GJ%%Ao0 z3Z{Lipr_XJgWj|zA3@ei`rT#eB20rO^pqOKX+hEMY|?Js^SWw#xDK{QRP@mi_lY(%w^ zVfb0_^mHL#_JGxTx;EJM_H>r01Jy#f>IJmX-16=?1smc?uLUVH$gJb)M;}ZYcM9^o zMisA7ba+iwKKFAaEIOf@e2g-N%2_#!u;1wlro|93?_F%<+wg^(W+vV>Id??zp2PEs zF;;?>GG?7RXZh&K$!?+TZ)LChg3Q!W9ohsNKiE>g2QJVpHVAsf+w)CcUhCLn)!*mZb^U6LG*d6VAk;s{K|D{;}$JC=f`S6ES4NR^~8BVu*?b!xpzgDIFAV^(^W3IHaKL;R4AM>6=6-=dNlDFqqrWv&Zzr34EcfGGkw`>p#3#_A$8vWUvMJLr@w?B#p(Phd!1$36-p6CvQ- z_fRDG3ZC3>1PyRN*|2aZ4HnNE}I)YlTTG}^z`p1w$DpzSV%q!5TItO)M zT`uCr0=oGZoll~{}mPyKNJs{+^%hgq`3pQ<;Yu3Z6LL4|%9p+RBoMph^x zqGvZ{0(aFSNmG%%ZZmKaiXSB_f?Us==ciFYO^bTdS;IC-oJoX#mFef3VtAA6=9e}A zIzNl_*2nPyRHeJR1YvD(Dfj=qg!&)j95MtN>etyoY0)!%`PsZI9t6X3J||V0{DVN7 zK_F={xHA0lLo64#3Va%FynAo?{03H|!9wE0{ZeP@4(h#}z1;BuXc~JH^zw+^6RFJN z9DWZj6`LSOWIe+9_o@w? z;jXtDhd3?5ADyo}P>8HS|4R5VB=!+xpal;3nRMinb^V@JRKC7TgOq16RE_#*^}x8b zQEB=bsJXLK*%J>E^O{rPt&3pN5rXQT>j&UeFv~h)#RtIaO@lQr4qdYTWJk)+ooVjwWz?Q-7W@b&V7MYmGFS0ToQM0tknPVKKT&f z?O7!Cyl40~%=OK+=x>w@A?)rNCEA&YH@Dh$x?03U!Ao<91FgqEDuaTLvMZIwP}~(e zHY*?`g$Beb)s5okmPgK-;hA7v;c|YdaZo4a%uu6Ks*PoKGd_t~JI$5g8s4GJS6HTH2+W zVpHO2#sl$eg6jb~GmY%cFleL`#^6?`iu~Gz&F0=PW?qVV#?}Hj6JPz{H-}ksE)O5BzS@!nxy1he}j0LEQx_hRc%jO6r zr5ADWX1Lx^8@jbOr;unJTf`+BFv6}Hg{{)IcD>%bINy224F;HLSbRcn)j|Ueh7G`h zWPi)aja&Q!Tl--6UGp~7;=|bvcJ9`6I^gUa_ZeWDF-retoB!F1`1FVZ3y=C|0WEvn z@Q!<_L$z9`Q%C+L>v@J0TGpe#>w&?oA#c!^o=zoC<`2JFf$@;55tYkgM1};Ov2&)9 z36fovA(|i$Wd&Jzfw>PIy3W)uTgAJ`Y+2Yh*~BfFZ1u4%h6rcv!)zUeJg!+hX)+t| zAdAFldK}8p@D;yMy7;;lG%m0^^i_r4CGY_vo z?6-m)=a;vN`P8RSr>+M8SGX_U$yT#C;?O?){b?jo;oY|NWNE4x-kLn)rT?YU+X@7h zbH?*of6OJ<`itkD4pw1hSgwK~%rvg80mnX0f5Wqg-{420LFLXP1br#5?e#{s++cd-(VR{CsqltolAJp5K?cw;u1?yMMN1|J0EGd^NlZ!+?H* zfb0K$;{VUrN(I~JFK&ePHl9(h_h58h-o6a}_k7nEf!|)r^ow4V$%o@p7f(8@JdgDM zjT-s+$cIiMcH(PAw%9G0Eq*56koqj~n;4Pwe!fl$;>V&u-`wpBhin7@JD$!egcalmsYf|5*MEmk7gxpT7^K+V-WUvNL} zF9rXQAP4 zRBA+CJX5|+O2p@qK-I5_kaG@{4Wr9^l5SssRIBNEYCIh3kWZ#=afvZu)RdWfe~LxY zKEqMhc(p};xxa2{bO)N0BV!U3P(u>_f-?MN*w$yDc@`s87Q9$|!~>|0mr?D`QEQ0Q zsiX^6<5hHHr@(d~KI3-B^yzGGH;@MQNvdRVnCG5rRa(UbQN_ipGdV3>1A9AWDMEXH zzpLn%Oi@s;G4h=-0f?+Q9;C7Y((GZtn?dUn|93QOvL03p5K-nKKMB4@hH z+6TQn0SHP0pe(qoAM@h)J%q}7+~0in?v6`Z31rgJEM;eK_q#k zWS`WKqsm>En7Q*E>eH?LXx}#f&O2Hy&isi1U()@$^M|zdCrif_1;$sg)b!}P4Octl zz{Y$8fFP9n4UCSaP3T){M1;TF1#p3KVS#x?z^9j9+$)h{(ILN$6l2Q%X`~qOdOo&x ze^oZN%HpT2P2Fx~YQe|6y{Bs0QI7nfuPza8w)O618MOClLUEaK%0CyBt%$~wIQFrQ zfV4DtsUqEm9PozR6GVa(K6Bo#j?oWuo@?DJLG=A)82t zeV=a7C)0x+IM$uGknvZ+j;w6XW1iD7rPVI-h_?n|G!d{#aBTnQ3roKaTCLn{V0Cai zyzh4ABDyYJPZ%UDtrXDCQeg>a6FT%TJU84{hb0m;b+k2 zO+F`iam9z)|Fb|a##}K%@pJi!YK3Mrxr>%%t1 zeIO;ofmG9B7l(7RsdR@P+C5?~EBk`SR~dIF)KdUAd^)U!u9)MOw3E)oGA~ld;hY=!R_(|UZnoFu!X1TLD7riBY zSy;YS0#57+jt{ok{Cy`Meu>@z45A7+sV2>omjVl*F5q{#bCdCYi+0#P$#Ma?SC}2<4C(C&xX(8stgySvz+RXYPN z0$8*4p1O80IoBjG>Ch3HU4b=5_%eo#8prhkn~zYgBF;~+uldKABcKRr&C&4K#NVH6 zEOlTQ-_lhctz!-yEqR%BkY}gAE35&NILk2TCA6(XgfXi8^s`aXObE}T1EhXx%cKM={iypZ>%lZMNGdIye zqr#!4OeLLX!n)BcI|Bb!C*SFA!6~CR7BNCRM0K_04-uU6$?kgqBOr0cjUtLqfkm+m=h?F;TNBGmNXt&0(inFe)qZr-U#D&~BCK+kqEz z9Y2WmAfM26vkthi^Deg?%JiAxfniOyftN8`K?nznPgX^sfg8^ipP`dUVKUz-0~F8Z zz%^IXWmrAv#`Xj!8rSn9bT+|5kY5VK=Ia64bB5Uqs#k0nt6*Ep*&)jJ?jR=PhGG{+ zyilA6Sv{xICL?pmnQQK?(nc1x!L8>@k7j0uw1UFg9!3^c8xT?bv`-S)sPE5e2rKy* zNs%|Ii)xZfg+GzEff`)`12t_ykPeq4ZUnFFsJPfbd9u4AlO@b z3|IxrKq-QT`yhU1pd!ZxAb81L8?^3`^%T|Z@vc9em^|rC86@=Q$rkZ@tnyj6vX%c9 z;eS`-h0%SYu~v8aoTEIiQQlq}`VnfaNCTElHbU2pXXH1Y5fu3|9%Xx?dxe_V`7Y^h zr`(YUc!b^OOeOq@Kz3v2_FVmegmFeH9(@wI1pDh!f>#^l`Su@hI4aGd$76T3{W6E_ z(Fdx0+aSDt?chDIo%YC}JDM`fo&)mB;eudOn6!YC_3jU|J8X$;LPllEDGyPV)-^W) zfak)B;(h8fE6ffEJF^6qvT1zyxu8C?Kfmgv{$fYYr1>KjPhOppp)-PHzsoWV*Eviy z7Hc2iSuVR!Kkc5X#?$XeGM@~-t`Iq|#4&tBFMbeY1P_=wVB0v_&|H7y#UHDiRrS+ue#|Tb>GG zvKcACpZoJTz@x$=P25OCw~RDvg!-8djKPS%=Jfd}x*c0A*qndp9_GL?Hmn?U(*}!t z1hO``*$CNj&||v588MgRT&Nf;=KCqB?`d;RS39oW&K~Pjre^N|*`QFQK6Lb@llB9? zUkkw`2Ri5iEQm)V>Nw zaKjDiO1TPX?4L%dob|+o(oMY3nUd%GWvtcelF#BK<80BLz!}n7YNM1Kkilp|H$xbA zjGE<JpUB5O5-5kV+X)%0ah@8=Ha=)x(e<7W4=aclbO;7oC zR%%J^anSS=cxGoiI~8AiM>;iK*W8!X(y>@;U|{Ox`EgszriQYnHL#t6=$Og-T^}V5uzBoe!ymIF279MN@bManSYy0vJcoJSZ zk#}4PgQ^TM>sS=$K4Oxx$MN5F5<7{jXLN3bB5|ZL?7r@=>?L^AE9-hL)%Z6|7SUa( z;0FC3RF9p#_Qg1o+dccLSEwdWj|A}qo}OLbG|E!L>|fx)hy-|;>K)@*Ym}Q|WYD0o z!;85GbFH{7TIUle71mY%PCGMe`#c8#93B9_suz>3;rVVHo}XFv4r+ga0^R z8}|`#DyzFPVxtzTw(^Kz=^}EOUD`Qt9BdKc)%taDjY-j?@#7OJg7^y)USH?(+l%)k zaWv<+q3YfSWK=YoxEasRS^+;23e&8E=BW;hpw@4^32f_!U4xd2ZZWQJ7$}}TM;}I? zKtM)oWVD}Ee@BjX#jLqz5hw-b;jm9~1Xl!2l-_;{vzJ13F|s3c~8a9U5kGkSG|&h4!Z%|{$O*`HKqS&euofEe{vOO zd27?%`vUf|Qv25TQ(i-M=2KTG)?;Y%F|z}EYHu?h1#&xNDWttGeJOgaEid8T=v+ZQ zQ)Sidj*yX|s#5z~9a6N$vSKZ8g^{M~A}MD+jsTW|x@>}tU>)#F zkq$!~I3)eraulC@;X%Y@9TaM;boqmcEogOSCtK@Z zQb7zcW3azUq%!ftns)jl61M3v99a9UXJKq%_ADu40|UyZAAUx7o{;B@?8MZbi1ejj zc#xa1^Q-4rc__Bh{Dzr)r~mDZ z1n@9JGOQ6A0lyA37OsDN zqC_!X3FaE%uTGM667w9jjLER+FS1BE45nO{GU%3v*%AK9e3Ys2-7UG5jejxeC&FCQ zzLH7UYtUBb=r!$6jDDf3@&x^Nn=;MWNQ>l@9V1GS#mZ~{OWbMTeZQpYl{ilx5^3Vl znXQmhpg zSjCJ!|2}aA1k`vGA)U*rN|N=UaW6i|pObrzMI{#rJ>r-IC~;`1r-#t5b0dLkp6!TV zz~f-I_9!-kI${*-K3_t&osz;tGqHlCv|9kAYR< zs{!-mXW)|_D%ng4)`l!` z9{9F7AQCZ||NLM*_8Ahr2(~u-g4``?0LYlguU-C3a}@m?%th_H^8w#kp^mtMH7_WW zt2wHvP?-C?M@DN#q~F?(o2-pwjh_3XvULqs-Cs1+&k^t^7JYJl5H>J%CyG9MhN zc-%^#xT*!=cgNaBDejES3_h1azP8uPrge`26sguF<}XI-M+4}hSGr?jIKMvKHbh^wm=0jQZ9!%>gNPQLAmhMZV1PwVN0x%* z!(qYLa2myY^FbJ_<49X#8g-i8R`9U>qIZsCP+((I#JiEvSz*} z;^4^r7P%6+N+(6^@?n%sFNQnOacjkXEA@1`qBFfzDx*QC8gEb`GLBxbA3y&q+#eH( zVrLK~6|SFf4K___)AEJi1PzXz>yBO3;vMMS?RQm8QDuf{%&K3McaTN|HRG9g<5gue4&V$zRU z@h=o~kV0|l$}X})9)uWAB_MB@A|Z_OPX?_I4T6fjJ2yc$xuk3ADqT|5kaO-~B0kf* zQ*gB{QD2_o%H+uB5oJ@01M#bVXg{ybQUPj{#OO>ED624%2|w2B&^kT|)Qe%ohA zr9Rfnh;g@xWvKxMvG3tDO5a8Gr5ziNFwgYwHC(@}N^j69#?6=c2f zuv7*%-yoj(4T~z6Zc!vka+a2=i}PHH!aVNRu{&4?xRy={OM#DTn5YrBjl0E|zsvxC z^VeiNl(@H#U=fw&qGb_z^yn)^MfiiDh&h^nL0O+FWKpV2=$qXpUFbCy= z&En2?XC}X<7Yfo=!Z#Uv! zWVS%z)89vh9TEQxjrnBt7crY7EVSOh)9q-Qv;X#n(#{I6nA`}W&uCs|-GDPIM$5M01)SYa7~@D0U(rCE=Yl09lCQ7f zjU3SF^4EeeE=v-hIKGJ7WE*dR0M_)&2mqY zr?&#{f$cI}-DncHb5S>EvpXv<(T<2p*=Z)(7QiI`wN+LS#%kNK_08x4LKRSd^rO4i zKZ{=i8kr27gCt%zCBRu&NG1=X{!_hyM*|)DYN9_Lk3&uYkSAkiTf~YzuXZNNz`b$H zz^!({r^Nju!Oy)_e7$q=xrVy>!uL{WiINGBT%5W|Jl_?=ubseUt@B@jv7fjPSF4{B zt!WgDhmYiFgi_$^xSd3=G0s%4PqF9s;A&M?Ujxyx3v4%1w>nLJFW9Nr7uj>&O;*`k zl;4TkpZ-(^T|97H0CunZFYcO+2+KEEx_#p>uJ@U+`%2MGp*y3?dHp%(x{q>1S|yp> z3#qiClazf@{-{UuytO?+N3{a=WD`Dnp4jw5IVhQH>4ylycdO{IZzmz^qQGql^)coe zGie{lil7B~g*7L84c1kyVDmGY!k{dUC#A_&_fZTb$W-#vr%!tHusg=y56aW~@}R{T zMk}Msf7L-Ta0dgm?vdP=I;x3DnfxMnyl+3JI*n`44nTI4^ToTC$><;oBNmSX-2R{D zzB8(+t?gEnLlF^_;-Q0zAXS?5rYIsU2!gbLO7FdQPy|6*=q(~ey3#{O6zQGNL6A@k zMFNB#zLj&n^Xk2acig|%AA9UE81C#<_FB)H&wS>b{rtkp_dBz&Ww3sd3EG>UIC4gE zz2=&w_N!oS@jV(8kcgP_)`v3(y<8#`FMhiNJ@Bfi(lC7W7LE_gY7{5mE9W4I~Y0xe44T>d*0a2EvFu1PFV~E22ew zZv`c32c=1Uy7-dkhSDG7pXY-7GW4od7B3776Fy}dYi-w3&3iHmh%_h7od8GGu&dv^ zuXEvqa^#l&JP=`T@?)evzyE{Gmpalk9*#&<0Urg0Af>Ix_4Hf`KL8ytmb}Ian%Eit=xd|yQy;4~;_HoS7Yxle ze8AaLsrrZ8-=O$}okg*eL!LTiJ`3@x{27_8ZlNEr`YOwzwipkk&yTSRjYKGrd0AJbIqXTE=zB^gMIIv5w=mGfm~ zb}cTJ7qX4z?iD}z_$db476BW2A3^Wct;oI;WgZs*DKt78S21LvIqP zP=1TNj0GGOA9%@u4FaI>H?7M+c1hW%ALsAw&dl=IbHnk7I7FoADJkXovq7t`A#x!k zNg*?3@rkcI?zM1b6|?f|4AUAx4Lakwpa#n*F003c72#R0C`rP2?ogYM9_oFdyhD4I zt!QRndWEhxB-&)YJ1y>~r-y(u7Udgzw3%-1r(QFz$iKJHK^5yPIC<#0ca;JXF6wZ# z!fifnpC#s{`^0zsre~!DFJF!w%&PVoU1u{{IT{R+g)BgO@AW5MWAK!31ZnL?CX zsL%51SG`JT{owcZoM(m{Q&+*;A{H%+C|uCP3c?=-NXJ!qMCEGMl07taHv36=iPz{i zwO~zhi5);Pe@}|-(@;7i958D9#5&QM!i~4#ovi=C97NaZK(bh50Z_thtv;hg&u`0+ z6|_JH539g*37i7ty6aqAokzR_TPvapMHz?e(ux{~;+u84!y<^MzMYA-(zDmw58a|& zr7tX6D*b$O<}3+oz&{t5Gy%5`nJxs1B?r3ux9w}^Y;;8J4dHyIQwDYC%U zO*D{E`PSn3OU3q~-9zkoBn5G)vn7Q2d|a8&MPAW&Ee%bo!S=^(;Z((NxD;$uV`{c1 zsBsOFhSnOD^ZNivb0)G%T{EhV!!(K`>M?2s_2Qzpaw^WcrZW-~5K_vW`Ok&*)>%SS zpyP!JjWm+tbTRY(Gr=ClL6}dDu9VtqYb84YuF;Bxi`dU$RH`fCpLWf7&*I3&zKZ=c zx91gqmt&r0p+<>F*W?n6ODw z%X`iZYfn2LYLk+ZekozMpN+C448H~$giCRAE4u_}aimbmBbu60C0>1aBMXVG0$=6j z&{cMEmVZ4S@(4UWw)2IBEXN&dj$XQ}y#X0!Ad`@FPCP@(^O1|gy_C{`i)w&!tX>X@ zjE#-uV;~uFr&y%iGd&9gRpPiF7wq{`GKIJR5qH0hE3cSbSak}iV=ht`o@*nj+dr(c zjBJ9$q9>aCWoKD$k~03^FA!o70GC==z@_(x^-qL3ALM;P{x;;lcZS?ILXysN=5(-Y z;+OO!9ed&593lV5c>Ed}_@7{8zQ{Q_QT^4Zm282f`@jDB+g)IxegJ$5)i?XskJlav zIC!4^>yVd!kaQa29MbV4o!7;3E;00*)EKArkJ864 z|NeykZ7XOTOpG(iW>`TF_-ume^w>=46KxKkYfF8Z+|=2Qab`}cUFhps!0dypkaJu& zIo50YL$(c0o-a+-Xt@y^&s2M)ca`C|lSjhGq10x!cA&9VMYZlGr~g8XVm98VaD7S~ zuV0+(v}jgh7x-hxkKMPe$&RwhM_luwt$~+ou*2@Zr$h7O8{ga^%p(Qw(7l+n4ryB?&Gul4rl{p~Rh&s?dn~<(b+Rf+Ct2+IUcn&D zw;Cs{B`^=u{fP_+{yn?CWd|6^d!7Wgn)LNj?=Rt|vn1Wt-GWzWN<V$^;8N-Or`!`)qGZ;;Kx zQ~5T0o>BpC;nd-R_}#fkoE=_gAUDDL=^@M|-LH8VxYr^)HnWNh5RW9>RyhX-1~LZk zEt!Ja>oSnO=4RGwiWdNs*OlS?I0XfTq_wj0^2n|EFRyzJY1}Wigv(Rrc&ET@wP<%%u3 zwBc|cKtjcvy?QkwAZjyyhqfydm4*BE(=oW_-c(U_;KXgrdw%Q?AAWlI6@s2tzM-CB z(?feuGD=NLyEtujw6__Xkg%9eF{}W#4HQ0WrBz~}TLqla@u@_h!muk7It%z1dAW^?-&wwixu?Hq}ZyKIO~L%V%&vHCBJc#h1T)ZT^KbD$ATD$f*uuksHhev*up` z&Osjb_k*3d39&f1*I5@^d_6r7I6&6fvffx_D`xJqmG?}Sa5VuZ&&9ih4Km~%m3h8k znz>@+zdp2uH6xLCl|CP*zzaq z%e9I}nt5c>P9CNxL%CL62#%`7KbS8;$8jy2kUxMEC#$oD%SlIlaDut5*Lha zDj~UMF8vlT{j;hWT>aL=k}6`2EpHmtN@GUpX&P9+wjPSTnVf;)o*S`#unNCqri)35 zA1ts{9MU%+J}}tsI5b1-Jj!|am`=v+295zNmsE=E zZndUwD3EHW?VF`;dIRs%EEN?Ld<1Hk*rmO(!qQ7?!~;$|z$NkW@qYiHP@vU*Fa}m? z-qEtrbg(8W3yx^%#Ug& zflCD4aZi0b!9I8Thwl7tre5ZEf#6f(4@!?fI5BF1%D_9sdT3^T!ulvTspV0gov)Il zn?j>u;}g5pU50#?@phZ7@p|#aX)gqugxXbxdrEHFxj>L3UsnZUw-SPtPLlUr>P^Qp zrxsu0ohX1jP1Bfnl6vaxo^3di6%ZTR%p}(Wi$uE5jZ87a`~e{)R}_I81Z%-sF3|yS zuX$!Cd-JA}S$7iK?zDU61xB%co}vCj0EdVS0f;YJbk=7`Wn;Wt5wB|{#8h;pa#&&+ zS0Q`6q8^)?iY|YRiukDN)C8D|#Q&;5bElRC-Y@k{bRIW6N7NSod;QPjt#E@WRiXBtVwEbuQ$` zc9rdB4Xw^6|;^h98Hc zqvH%l0Qu3pCxu-(k+0HBd3&9~f`6BALWocD4U%ru>$`Ze;`Pm)Lm%Wo}SlE zq(~0iZF>U_Z#Nr}F8gq%tFBk;9~{t}Idef;NkLxgM=~_a$mb|SmzGw00A?^Sfg;AP z#gd~NMY?ugz^9Zi4Tc#Lq5O}&vzRsq5G?v-crMZjL2?=t5j1!mkGmNj^Q7hJ4PRXz zurZ1yV|%r)*h(W_o7+%i= zUvX1zc;`+~euu4D=bo~QONHaWV7++E2X*%WpXV zj6F;##v7{Ku>9@a7h64h17daF_m<>tYf3Ue$u2BB95aqb5dsbUE!*uWI;;7;m9hTS z{Yz33L*_^5tjXh5IvLv^Co|mHhb6 z?)ZD(G}D}wr|2wvp_5qCQtf5$Hj3>j+xcp;;bW`b5$~5V$UTAG7-wUM(@9;)?a^1# z2YWo?)2t3zUhMZ=G$dL4_<#6AJ=rYh-)uHoxlKN=aWTI}44ztHM0uTcT zL=EZDzBivN))&=0H!YEY+~c!TqFA%F-+?1%2I#Sw*dqg?g7I?>-b(RD@}6MpTo^ac z6v?anw3SuTGNW(k9j~5r>+O5Pa08=3xWO8J3j}^I@3cyx(@RnuYH5_@n92$joV={> zZJrjecB@a;$;U1&#v>3eoa&|6j!cinp367J^AAl&R>KmtkG%^VL;VIVpFs0dd5wBu z*e2ip3vwy7Tax=vTecEy`_7&gnC;>Nvr+vu7Evv$k$mg*gVcL0%DwqErE*K_q7Swb zY`c%ntJ`CE)Jrj0^dgW%WZJq1v z?7X00_R_u1EMsO4q?rV^z)n_n+cG&{5m#u&i#o{g3?|Fy6=zp&Oxl>v`#=itEtjBb zKCsC_E3qL+=79-eVZ%zR_y}g{iEgxU94KIo_uBc9ybs)PJAgb(w+kGK39Yar>m;UN zw)ycIeQag#x^vKFgnMS^4`_`yme)Z^WO843Hw?%eepNv$1J!vH2(S_X?=^{np@`B* z`GZQDm_`M*t_ldar=-l9wFO>5(=G4t>y~}qUZzm!+0L^2!VE)KalBcN-V-!@%l0cC^EM!=A>oPZh=H@h~>%KZAmim^2 zKaoy*#SHE)&eD2*T=}ZW?l_(kh!!4O9}&GzFTBn4s!t+1L0!oJ8*h@$Qcg>Apay|* zs`qOXNpg<%y8#eQM!KA=Hd!bm(6DmU*$taxe}lRry{W4x8aV-?dIWS7u)KV%!u3b3 z{6~$fc#pGko)_irG>ULmPrM+zqTualz2Q^1BFJ0kw7slhtMzk5g6_hdj_a1olQ$ zqbDTB-RWpdLrD)8-{+>M1E`P|mV-qv`Y=;N;$=4+^DWf3=5KpL{Fa-cO3=Epn!1GA zwIV_KiPnh~+Euv0hPtwwMZ5J5W1oK?SQ%o0XO9G&U8l&|Vq<5nH5Ay(H@Aa;a8S}{ zOaV8@{k<(RZhL$FMCFQ`&7s8cc&4CfI9@@qaZIw<)EduIr^igD`jNct0w+OhuZ+pj zm2GgiQ&6s4nB_llGj)}by87@y=4URVfoan@TQ}hSQn~}g}-n&3F|G^adr;a|v zPWk~;`{ogwNXe|%VT!DH|4 z*3%Fq`{==f@M$0LE?I~ar@L%eUCB=?^3I)`3oPA3(1)K5)jJS{9kNMz&N`oxAH!{@ z#4NFBHlpXP9Q>UFYt{ksrwlshAAezd4+v3I-BeznF4f1%uI}jLi&YFs=iU3hU#K1z z>D}ehDZQpz`#Cw*)HhGIN zrGBO5B(9*6-lMO?U&}vf*T~7HZ+FI2#hb5!A|!nmMp^S?PnVWfu!(Ohzn~c zD2=K;vV4KV6v2JIgwtSvrqB!AS+REtCv*0Xiq) +
+ Screenshot of Wick's theorem implementation in HepLean +

+ The above screenshot demonstrates how theorems are formalized in HepLean. +

+
+ + # 1. Mission of HepLean The mission of HepLean is to digitalize results, meaning definitions, theorems and calculations, from physics into Lean 4 with an initial focus on high energy physics and in a way which is useful to the broad physics community. + # 2. Vision of HepLean **Statement**: HepLean aspires to be the definitive formal repository for physics in Lean, akin to Mathlib for mathematics, with both the Lean and physics communities behind it and a potential formal collaboration.