From aaa2741b04e1a40374ab3a2bb3696a45dff9ae46 Mon Sep 17 00:00:00 2001 From: Christian Stigen Larsen Date: Sun, 13 Mar 2016 21:59:58 +0100 Subject: [PATCH] Resumable calculations --- .gitignore | 2 + README.md | 5 +- bb-3state-ones.png | Bin 0 -> 112945 bytes busybeaver.py | 209 ++++++++++++++++++++++++++++++++++----------- 4 files changed, 166 insertions(+), 50 deletions(-) create mode 100644 bb-3state-ones.png diff --git a/.gitignore b/.gitignore index ce868e5..e56ebcb 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,6 @@ +*.bz2 *.pyc +*.tmp.* GPATH GRTAGS GTAGS diff --git a/README.md b/README.md index 59441de..9e81af7 100644 --- a/README.md +++ b/README.md @@ -93,7 +93,10 @@ yet. But there should be no doubt that if you do this hyperdimensionally and in a smart way, you should be able to perform some clustering. A 3-state Busy Beaver plot would be a 4k by 4k image, and we know that -S(3)=107, so it's absolutely doable. I'll post one later. +S(3)=107, so it's absolutely doable. Here's one rudimentary without any regard +to clustering: + +![Plot of 3-state Busy Beavers](bb-3state.png "3-state Busy Beavers") Remember, the reason we can easily plot stuff like this is because we cheat by knowing the values of S(2) and S(3). It's still a non-computable function, but diff --git a/bb-3state-ones.png b/bb-3state-ones.png new file mode 100644 index 0000000000000000000000000000000000000000..ef93973a5f2551d643ac4bff7423f0a93d67f04b GIT binary patch literal 112945 zcmeFZ2UJs8+dsh)e7*NI+DRM@Z)FSqo>ZV0x$Hc%i-X7_4Sjs zzG7nQFGBzQ^p|1ARWY$0VyBM%em)>+ln#IBI^|&am8w#^OnT36f2!I%ZOt@FIPI1F zX7P*&dn$L z-e*5d-2E!uB=eG)>D7e#17$1Yh;>~$?$ap=6A1!+Ua4bsXon_pASIBBWYp0ogk8k^ zf`WpLV2s~in@8Sdn}0t7Z$gr{iT(7$FZLw;wBd)tkPrX;Gc+Clofc70{5KpHbK}3^ z@ZWG)j0DmD{~Hef4Tt}R!+%LKWJQ$Wd_XBnpL@@mJpR;Y=4G z+j>9V+f-zrFNziCBa&L+<%aonF?7;O*f?4bFL;61J6c4IOci#dMzoa<94a7_<)ZY) zPwLGMz7$=NOBVEa!BMnq^DUxJZWUX;WAPH3f&}+P(0uE7K zbhs&sTztHc7h9L4YI`38#f`AYI8#v%W6D@N2DkUi$G3yOxoVx;gBYZv`m#Ppj7v|qicY5@47v{OWgpu3_ z?kRz8wO$Kg&S8w1N?0X)egIzC;hrkX#c)x*bZ!uG4y>AW>4*dOepJxpOFQr2$-z$n zR1{;=0zY+O8#jQW+fyz-f4%E^x%gN;JV-NAR=3q*Q9vL0L!x2!=f!zFJ#M}*X})oz zPq{d3G=NytaCjeMZU9EfFcc2W)L4^$ZF3414)KI^rqDreve9TP9Yz|OEO==gRVj~B`+^k@>m2sX$-e8Ccm(8kb!m`zCKCqRii*K0W6n`l?&i0kY(ULxEWxt<Zx^_eImZC-A`n{MfDa=p7PrdRv2M zGlB^t0z%&tlb%>R?|T&aU_C1Wx?JqLuky9SFo;!B$|!JQE4)IIUcim2RWH*^!Ay6EV8Sx*re!I|KktG3e7Afg1PNnz)zJ#At*t#$LETb4l;Amv z?&(GIyyu=ZgiSl@eX06Vcsjz)9?{_{LhIS#tlkGsb3NJSYsJJGu3WsRzyZ)R)7eIr zQLzWYSf+r)d|*u)wj6883pzAE6SbhtDFX;N z_~Jnib$*oEleaLNr(3%itb1xdRDxHwIjC@i@F&3}YZ~xMs1+*>XWq|zk{5n@%VVH= z3n+3A)GSiYwKPo2n33&M1v0NBZ?_t%z%a6&IB;&9)JMn ziC&HBD~^CSC&#D@bJQ^x!)X_vc|HrSGe6r_W}v8;0+7)*NpkUAF|o-fqGHB52;qE& z(&D^z4Ga)HAMXhb7EutKH>fI#>{l}!WSKO;u?Ac(D+R?F;w}Gnk!Bt3kxk&h*&rFo z2pj`A>ZLnR0^u+zP!a;_Kth1+!|#u4Bg;dd2?-Ki%Uplzyoh?nDx|2he&7!Se=d&3 z{^n2`fY*Col+>Wvq44mxqlL9N68CwS+5#Asx{6r4eCq7y3@CdNra(nWtnQbk zfmVZv79k15TT&n{-VgOU2|C-rvKIq_#YL6Ojn_H_jO1+G|Hb_dan4#XW!8pBGta7L zC0pC_Yj7lT9=$erS5HHDfWRP`=Ge-?8*CkGB4Xiom&gJ$-ar$nKOaHs@L|uFg}=Qj zU}x-dqGQc?u`Y70-n6MV`_v~hy{mRH?I*fOW~>VzN?L|!oo2Q80c2~sfNDde>TesH z%)!pn0d|Ct4v2w}I&y!fapXq_Bz=qg!VIMsqReB*^Z;%7a7nz%7HcP2!>`K?^Vu$d z)Jmlo1Z_n%dReq;eM#N}E2o8$Jdd&Jl}RHu7s!QPIb09k>y?TOxdJ!~7gvmGz3W~@ ze23;?IrV9%+KX&lQE#U{QXuG~MT&m2f4%7Zg)YZIOZp=da>+mmD)r{GZrNXw?2^ej z^fzdaAom=StsBg99_a)odU|-VLPk3GA3O%ChbG>!dFlX=f?sjuuK^y z5DX9pCru3d@n?#)mJ|6 zL`!?q?pEyWv6+N1wWRGL4`H4p($v_)p2Jj^J$x;MQS+FDiq%Gsd#Q$^iJTZ@*b`uJ z&yD#sh=7#WpOo$*mR>{#!$Q@GH zw#*K+IkB*ANBt>;fCh=%y49&sc7 zBw2UFhzwS6GE#IOXPmufgJoQvd%)-!ryJ;MU3biim~?dyd|n?mD;_N3zyXf*`9+tu^JHG_Mqj~Y2Ao4*mSOYEsII+5-YWJvzTN^6xd1hIv zI0YWGl9Z^QHEpO9TXp15fQUbb)Q7(LJ)lh0Y9r;6yqxvASJp+aS{R*mHpsy3G52h? z)fA=3>7v^nX4xC`%BCDJ*5#MPAdQIdI4Qly?RPT0iV?p5vWaE(vHGuJ#aIxoeI`z} z#F9Snmj38sN^$1=>b@L0JwdBTZ9=w*cU6)vaW~khswIYdZHv!uj`n%2Y5-Edh(tli zDSxVDi9Amy<^g`ZzIiuIZQ_x-L!&sjnlTiAC4NR~{DDu<{Hj5z5$FfcO-Dy1bqm3W z)-6tA{O5rVMV`QbbqhUFH#`! z_S3rPVp>F~Syip{h`RT{pX5*LCoSnkJB{Q)N>M({rlI}IJNOd)$ieiy z0*>Vo!f5DozxwQPFzjbY2@pQu!q4{jW0xgrt&yqKdz|7?lg$aB-yN;UoY&rI#&3P> zf@+>VQhwM$CkRDRIw+;_2hdVbGoUa&vYD^4nxldlN z`?;U?h#!k~8f5hEiz3JW&Mbn4x5@D*FwBsP?GvGVN%=BqOt4lt$$Lj#m+5DoyQOzg zLE6>jChVf)9FE^L5wzqqk5188^~Xff0-|GR30M~25;+Wj8qsj%F`oCVNjZhxTIyGR z&}aum(JIpT)+p8Q(6ZfgvjUeJ=M1;I*LK=z0n2lWG{gg&pYsLNG5hyT>J zw!;N1liS7<%mkf_jt&5^R-idK#4?KaZ@tdq$y+QVjzx|V3c!GFH$MlU= zOBvyKT*>;^9&V4-!CaACM5*nZVrGE4d?#X=gKf?we$C5*!s}OB-Is|Sp>s)oE(Q0s zCFQLBTqUt3VQ+3R-1vG~mcp@7j%*DNZp8rFL&2Cs;2Lu(=_XqjI40?xhUcHAkk8{R|45D@8Ms)-J9gZk( zmhS*#)_Be7P#lpNnlT8w;bTt@Ot07K4eA%XP;28n8eGb6XayDG(2Eq&mM|_`<^&s! zL{FGvy()zg+RUf>D!IYkWdtyT&R<2q`R>(K^}Wczi>Osng_J(5yOmQ08lTt_`jOoH zKZ8-8@Awu&!UdwywrrrT{#Ow34-AGa~oUyJn(O0M6eNBY)t7(f(}`gA#rw0kr= zBDlwG)|MmS#}`w3oBBh63aC2Gjfj_OOoI5&Z}3*fRa#`?;IO$lR^bVn2v`pKtBY<9 z5Ea~xinie0tive*NKt&TUAPOi>hcw4Mm;9~d_RlEO1&G)BDvB}JRHxFUN)2&-If_- zSjq4uKgNo}=CUYk_E?LbWfa*$azN_l4#{7`=~59rMh zukXNNMqOi@!Pz#m^=gezCt7MBAjtZ|^)oYp)^X;|1qAV3OLXF*HpV$D2jU0O2 zA(G9MpyRSXJXaqHFZUv9yz*`&v7dI4vMfJ7ZX_kFV3O{IeikR-NoQ8*CPpIPaY@)W zGxlDbqC5}Si(Za?v%oGf!&|#~!$}vORmKAGhMr^9%Lma9`1N=WSDc?KQ>K5ZxZF2U zFU$Z5CiUGB5g|Hn?X<5O9ai+0#*iNARNf0Mf?xqpHSu|P>M zpWQyktqT_=1=*>n3b_Yj(~dk1%@{5-h@~5257K1dk!U0#fmZlGoKIqd52#ue{2FQq z^2gW1^5eOBpQwEZcgY0tA;G~{dH!XG#1#X6dE{NUSHx=+5wDqM67xG>Wv$IMDv6g> zV48XrvS)+(iI!4<>vpy67ik5z$LtyKtEU_u< ze~?{4Ra38%82U5oo0M?Kp+E0CoG$$@65_*FE1qik9iRZ^#e7RL$jLp7Tehj- zr`YDap%24n)sDE^w(NN&>{u?8(9plU?Q8weh@8S$PCFWrV= zBTp)jr|Z74_HHkA^yfB6X3ZLkLsBE*e}x5}1y3+i!{a%$BS%m`Ef%@f;H87+eQjT| zi>pn^fr*4TZ%9A?{I!M(Y67CY001y)*lBl1aCckngEw7rYUGz~yHEz_+)mqT$TV0G z9Iu^_%b}Uc7oBfef6K3>+QYI;-i52ftg45Y$WdgY#A06OVU=dzow#KWiH6RvGcaoe z*=S+j)o_K}tjp;0U`V-n`YuVX<5zE5RUP)HzN4J{!IvbCjZJvxjePC|;-_wBA90f? zx)Tw}xmE?G1&*ks*f|C*LW@rG)8%Uc@!dHmVMXaoZWu6?0<+|gXCGh&3T&^`cy^-w zxmMAErnzxr0uY9VSOWkMnE6(kV@tno!lxOnL&0YjI7GexjOpF8#j0QE^GP$6EX%Ug zPjD(0|D!3vu8At1DK#N#$E8nfJxw;FKkC@_0Gw!spwekQy+|V-0h`gSO$V+1#@F)$J zERH#;Uyfq$Vvatj2WtZ(jQX={AfbS#iUKTSJx~(f4Xz(*K0H4uZ&164BflVxj#agB zNxF+J29g&yz^8VxXgo(SEn782tozP$3iHx@=>JM$9Lxt2;1KRp_{o#zl(< zgMm!OiZG)+N5Sjav$A2eK|3PdCiBv+b-^0OiCV~IV&ymy>G4L#h|QDN_BJzcS%M^M z2!WysutAKG6;g|8)__GUE#RzH1=qY;vxp_vI=4Q;q#CuWZ1|++gx%knP|+#N%tPac z6{DVe-q;2tKzcpzB!#DQ2kl;fpz!uFa{z|}y(p3x0wL-)hn^~s`Op~=Pw(wfxKe|w zrEDmgnM-SDp`j?)D9!`zizA=DNe$R>zmnI^d!+X(_F=Dzq{i?yw#3y<_IJFicK?sI zCEDo5qH6iZsR3qER$(`OI!wD}8Ej9cU#W>B*<}w;6eEbwA)1)(oP5oJEYFgt1sP@b zkpQazih3|YILLTT+FSWQnU*sW*KGb-YqU&0y#3(mDDi9@oW5dNr(Kp}?6pXMZT|*e z{@=uuMRMAGNMG}^ELE~21wgnWZA@5$%u?w4bZE&vLO8ob22g?HyS4+tV7h3S${Pn1 zhYKWAk+0eJMz5zjU~+Bu=rAiXnf%x!uRCb0UjjT8hKNalr?z);QE-XtJ_%^zm4 z{kSKq|Kss=3B)uj76T64yp6(JO%%Hl|_U1V+kSuk7xUStRMiEpkCVIqoS8PSfirlyZ-8OQvG<~ z58S?F5|^%_DgDd1%8#Vplx=<~vhI?m;H*}o@wyQYI(!}jqT>hlJ!}wt0zj%lr-TV-QQ|XJEbhjC5V{!f6j$DqfTosI(O+Lf-Zt3ro{q=ub z|7){{t+R6SBwmQth`Y1_?S7lzMgKig&x&$DQKX+1k&f;lR%9ADdEliXtLT+ymO9K> zsxgRiEuDTW8)cya&yHfWM{#63L&xezEO{Kyg3N_xXGq!)X}67X*n&>F3AvZ!kocBV z3@Yv#0V2aH*6{Iei+wb(ACmhzkk9|uI=+-+2Klwg$_q~oe?IUgh}pH$#4?DCndd!- zW$9nQ1I~M$DgVC{@nUbf$Kbi6=&*TVZO}TsNlLrX!Yo*#_Qjr+>9w0~Rfkhl3-$Q} z3CD50f~Q<7qpFu4e|xRCf45M7uQBkz$3MHM8gS3iHg$9x5NGX+&fXvc4xLcdp{?R; z4IN+_z(@D!GY#_S;e`_|;!_}}?3&UqCS=f$wW^wk%iO+0;v`a>UYSdFtorFsyqdDx)CpUIhc>rZRLN= zj-viczPSXnez^;>@8q|-*W^=CAxtm#Szh)hZ!?KaIhIp-H$J&?jD{0!fjJU8!d+|( z$Gb;U<+fdXdBoZ(%Z5CDC0j)%aVkMf45RT%JiF*D52a4G$ySWKOWER(P~pZ=n2P$A zWOQAipMT7;citV&F&S5HZ)CT)YQL&COo+|2xtG|z{+|LJmgxBV?>s~~mlW8V8J?Ed zOSp(cT!_ZDdB*W2hFH#tKq7HQW7-Cavrxzk1!jN5RF1ixNEWZ4E-7skuIjMyVKVi( zJ+PE1SBvW3I`PSW)fVgi_HS3-KOGI6nK*GLQ?J<#>r=M80oi{)+@{O#h-jHoL_7|} z_VIo-b5NVu_ z^~p8kBV4VhWcxowDU0MzXQ7IM4Ne1ZiFG4AY-2xav(lntU5dw1@Ywo)SGHm}MZDdvW!cXP~&pXQ3xjR{(GM(o~2o_nUr_2Nfrt z-4YePLz3VAl?WdPkL0e{1qR{IZ}r;Io>QDjqqZrDtj*Z-flq0|*$(+}-qk86fwx(7 zM*zD9W^TbNgtdC6)GwGv`{H*`#Blwz@~V@ASe>!(&+rS=@m_79l6(Bvp;?pZ4ONX~ zb8H*;+|yKe>Voh^e<0izzwsq{B=pD}w!A83BBBez)xljN<#r@tmJs-2J%O>ux%a)* zI1r6;fe&MiaV3Qlva>vO!Tzs}@-FLzBP+pQq(z_5cs-P$FcN^Png)ds$&N^_HQ7#F zAu9J<_4Ehp190$r#)DaKJ}s&QZ4K3u`a`6Zz05C%2}Xx~>yK9R)vSaK_&(2_eY97# zptN1^auWO>v9qSZ8uq!Fv=dWh&GXJc8K3@-$9O6og3Ght@1dDd5`LI0R)2DcuVyJ5 zRETNy$8BV5?J)H(lMN;d&(C(Ub@`wamLliJ1yw_rT@wDYI=uRW{1nD$TMzD`UvZFi z)*tiZ^vp@L&{3;qx@v7|-Ut&F&8 zXWLSB=L~_J(6@?Y&i5?PwhrwOol?>>EwxaV4s@^BQUZ-uUT9$#t)C8jX%(tAF=ZNB zQYpQmPp`=zR^`8sj?Eh3ut$m}-G;_lfjQf~9FyF=S|4%h_j69tu{(Dc3LPY@6^w8I0-Z2PeuT5_s!oP))ENq(-qk64yiF6z5WZh5)>;(@PG!p)a&o7+}ADvwwmsviuR*91`gC#)ILYB)mTh#O=Hx z3K>N^S@>+NuFcy$!F4p!Pg_p6Chd~>(j~sCt*pV}U4Ux-AGTMHvg=R3xwXwXR)g}w zyLLY08XluFw{GvQ`wxH9Jg_r9n7Vv3A+aL0FRL-@)d9s#A=L$S3bevLyI78D?To51&b1n^Lbr<@vy1eseFC>7;8l9@G99tIpsK@#!o^P)CvSc{ z@ox0o?n`%eFrS3pOdS{QX=}%<6KJZc-}T;OLhc`A6#9V=KUd+$zC_ht3rHQIo3v*e zlrg~rei8@wkfGaIH4D0|v2xGSR8ClIHX0z!oitFafKKz<8>6>fZr-0;f;AP z1ON_6>SA3nsrPnvpM`wBcg;-tjkClse6?)>+GW!!0wL!N_2<&f)D}vSYpaWvJK4lP zZBA0x+eqVt#jDF!Ok;At3{u^8RFJ>@rslv<{(A4M@l7PDH|sIq2Uc*SX)RvC;FBFE z8B_Jv52o@;iZRHT{uM8HBb`}D*O;QVlP1I=s}r(GG6YP{yMp$QAx$gCGxThCSklmO zPmIraDHUH%*^?iCYBFvd>_L;K+qG`stKHqVJ7yOXS_7j#VxOmxO@lx^N7+eG5-3_3 z9V7qpa|C0Ei5j2$vIAVXF?96_R~>10+cc$jRlG^uF4p5{j;aYS7Bp)?pLuCLq0or@ z``6%eGNOPAalLZ5U4A0|YbpM<^o@Z-zWQw&DwDWohuCOJlGmznuP2&JW%JRkD6)kd zQQ@Jk6MaJlikJQ&jHk3&EuI*snU=Xh#bU+NdgS%w<(Ku4eM`@~Q+cRo7)7c8v?KV85ch zOaot-tRmpwJVtU~O(Y-TapqmOSasWxS*7V({8miofcry^a8L7$1K07xK<#ageylEY z!zi!yhMQnApQ^|U;>Hx$^U|-$7>fefu`Jl1YfQjr7a+L~>8$NXEpP?%dJ~!_cv@AD zxU{#JTt5gH6n+*Bcn970sqo7n?YHfW^^vTafSTwpr>g@IlwB+VVt3Q95Z4u`qQi6n zms>{H9Xb`d>oSK?tu}vUUm7U*ZWKgj`@t39{7~mISkd~9POh1?J1)n7%);*Vv|724 zhkDRRavfs)Trlr>p?%DLh;e>3pF`wLF-1dozYN;E6%u&3^unLZXI)K&YgUSFz+Q>> zZE|b&hz*J;*s91(yK;CrLCElIb>f!032vs{A%0OA(;0$NSI5k{w^2M$)Ln^Hfws(q zXqjs4&GI8t-18j%EYI5YalAf(^6P|nH@I@zgu?-V8B2jN5pEW)N*6atyaR#DP-r^u zFH{l#y4J#m=~PuexEz2KQ51RnB{DuTqPhBFGwS&mX&q3XW?BV?)%&UoVkhO(uC-rSgIUbH~+|jrsH2SK^-@*JAzVmM@QA8C8vHP6LvcMhV#YM9p;&Wi*OPQ5(wNKQ=-f7R6{t=6ws7^@Bt5r^j>DRn&TQWZ7 z59WC3>@POW2?{Pr5tV#%* zt?N(F?A1QH5kh9aZ}j@$E9Xs-S&tiNz#C{d+|W&b@v+@3A>?Z}U)R99&d6x~LQ%jb`OC4{^jW{5v8?*+ryy7-*WvUKF)`M;Gj7tu@b4Qrg&Tt!_$In`hPl1-GBF zFZgFtHQ65I9o0ri>Q-%mp{v9YJB-6Eh3)K@Zw;n5CYR3oMyaZ?u#VZ5gNu5xf-o zai?V6tQH)2>CL1-S$Ch^*eOnbuQ-8MXhRlH2(H3&7`+c88~{L6_=+}+YERmynT3w@ zq$e)e3KJPlDoo;+FaDY7Xcrx=ewyn#wTq*n8-k-i;n;UhZ5MMZ9UHa;9C_xvf#(q2 zfP5U$ZQwO2K2nPX98o`_4JMw*|MlowowsH@$JX7WOFj436G)N28tsV(k9=M9nvO%+&+<950MtUwtQf}FB<}1 z9}KAw9Grx{M)+> z;G&D7Y?JXgta;fq?$pmFhHJh4iv$0Ez=6cYEUA9da76o#SHH@gUviM@@>E3=1KQr~ zGDa1F|d&W-t6k@O9H zwBr`kN)??9HN}qHc}L)>Pe(cMgJ!_~#RQHjB?!vbY+{vH5bKfo5L(J}qF-TteF6cw zFgFy1ebB^LBST)n?W0KKXtz!~U#WQ&uSPYr21=x`$)&d43u#Dij6i>ru75**6NI>n z`Xg&dDDR|W4MC#{;~PX$6BKJZt;T5mSYr$FBrpgQhY*WM=%~iuNO-PDU;W7N zn|`TTV)*yx`(&~zh5rM;6HFCtW^J#Su!xs;73HL&s+~5`&jNm5as&T%N==~2TyhjD zMm4{GrrcqX*!i+ivT`tlOAXR{WfA3xm$0kSTbFRroa`E*>_i9qKk3pYWKf25c=#U= zec2E+-xc}K5Z9ABN0`&jgIe7>>+vp;EA4z)cJlFRC9)QOTpCR`JraQ8NJJ$p`(d=5 z1H_z8_h-_KMR5yJ?OChzCH8L2ks4;dHEEB1U6l+6W}$U5<&rQkT^{20z?<#N3=^=K zpd(hf_7V4@I>-~QFXxS{I1TX5yFMEccskVkUuxW1=YOuzrq1VF#Rf*hGh0ll0}NO& zks^dS)bNN)z8HPUeV`36T<9o}7z%eXoz%DTA{gW1zw;b_U1IyF4utG&-_j4Kqwk<$ zS$jW|@>j3a$!O{TbGrn-VtyAt>=t_$pyJx3@$T$t-e?mFJ;ap9ibaO;0_>YP2#9=RS#3p#X+1aqFd3S zHLJFURpB4(@6STf3Yh;!ko}7So5!_VjpASSO{`BdC+jGkt@Bbmu}VnsZa}lN|8Q2} z53iup?s8P!Rp=TNhWJIjAAYgngPs8S{S2i;wBF;}6UH4DeB{AYky73LPCVgy62a3s zKVN!Ejho8uBRd^xwn>~)V%`|mymBrSlrh@PteqlWii=7QKul~S4xLWcNj^xxhfi@_ z7vhrWD2p_9QC-W$6*?4-Oz;`T`7uLrV1gd>3229=?y$e@1xPKU`i@Rl!`yk^S-b}5 zzT@`Lt~xQbgx+m(lvhKe1RZKq$>joc6m`!jn3;QH%s+5-66q~eO7T7!=Ql7}g~6m( z8Sx~?5XHAynSn+@wC0<>pREX8N)2Nd@53H z7Ru#Nbh+0SEn1jH?L#mS$tn@@IVTNh7hF;?HBd1D;L`g=^B0T9-w2!f&b7a$t!?#p zff(Xq<{tWR=)gVaA@}F1$=oMT>kxK#ueWvk_`Z;?5tVxWvqXZF(Ng&bO26<~$m+}D zdJD>XE4@wm4Q%J>lZ6hDDW|M-!K>2qm6(NV;(2sH(>YsXch6Gg~1+VkRJDC zN&oqSs(*rZr~TiN@z;uGWsaTjeV8A;xThZ?pn)inGg;tXHb`p=M;lb7H0n*y^wbB)4zt_#isHs}d5xFcT-iZL;Q z#?@6~&Uu5NYSlZHYJ>60gU>p>UABQ=x(o$&qDuqeD^yVI`)Ga)z|gMXFz%m~FHNu?N2^bGO&n(*iADjll` zfyDvkTK6x7H~L3L{yz6zLAs_*P#uQxnoe_Tb-(ML@zKVB{nAi`MSn9X1q0nnK$y8t~P&A7^~sqO?H5^6PY5<-k0m$;5E3a9>V|DTLoNYY2cC?IzT^Y%O%p<=IWD2TsOC*_=G1;Fk+D>gTRe@`6f4XZ>{da1o`QC!A#`7puQtp_LlEm+)5 zWlV4ick*){(sBO}YZL!_X58>6r-d{msz`~FgKZ|@RsdedUrNtKF9yu1ccW2`wIXEm+`9#vU|}kYmW{N;0`;ydaTLZ zr9QvvIT}*MOQX21(*NaJ+&yWNRP9Z*c;$&*tk1_SB1;-Vu8rb=1z(&HnI%~#vhhnI z6xjHZ*V7N!krSW)p=Rm4?c8n~z1@0TuP}DN=-0Oe(iUW2-FW?2&k+_3LHqQ#-tpry zY{px}$Jv)e^5@?jCVPmS!Xg_0ar@IOZlw`^H8t?9tgl{sqAqjxonJLO{{F8nFi?OF zV{vER?r;9VZFrGsnL z26Ef@VvV|dWLab;3U)^#3Y2!7V-^iq?m&R^O_hPe%2!kdw6D6Zg1a|n8!(nK3W!~- zTEF0%95pD=oEQNX#t3{z$nfZ3N}dmMP}PZ!vh|cXq&gaq>sXYNC{L^W|CXHo9l-q) z{QV2w3B3w(+Tq64Ecw%^Xx}r>;%UboZkUat+w&RcC;ow!V!_@-0)Fjx`nmT3)Mh`U zqb5F+Sl=8%c0r$Rn>Pr~rS3z>#d@D*74aX(lY4DV!k%avJ4xkM+w6mCpK-4bASMo{ z>``HsMoz@2Teyx6Y#Cv+TdMUj%&O5sk#bxr(#2_E}S?;jPF@T6&y^Pn8JXuED=<`O5E;onR%3umtK8b zLA%${G}#)v&;0Y+&7AEi9t}GF{z-7`*yUxWi8kp4G|tg>J%c;fHw8-2zdq)un)70x zHj!B4Puaxwx9hqmajd`Ri%}KeVv`wUg&{Gji8qxj2Q7L>}&9nMxa1W`HpB zk{tveLbDhmeRpZGOnYPK2y5(BuW$61aNRf`&vVG;-?V!oCnC%gwPQ4yX{M6lBue@( zt1IEU1iT)!M)h3#^e{aA{Kbh~XnRlhIb3un=@r03hhYZs>wXsyx<`4E^~i=%UMwhE z>efwyL%Mo1X&Tzdbfsd65M9qzK=6)ekEB36w!dE&U%kww8W$Ag0&30wAXve-$#yW+ zzU$Y2K4g|4K<>ReDyp2lJMc>88QfRnjluO!SKWbte19N^%{ZP$gF&$!w8$vwq9nd| zmaszyw9D^!CEVW+v=PaaM+W0BuI70?>AWjwEg23)mQ-?aovb{RAt-+P`VQ&Ko+%~A zupI`GPqAqTc#bmjW>@Gl=}6b%P)MU%r3(5{arvqiKo79eMRL{@wy5X6&KKo8*yRsD zDuNbtV0)Bp8Tfb4#C9xFBfZYQsm7)X50n)sN{{vR;TI5Svd$SqwHf4BL1`lq$ol%r z*9otK)rLY3^kF$~jn_-e_p$Pi<`0pq z;X|}cet}or*qVK2zmC(hGdCQaGH_c=fU$q5Qa6kpYyH|*CjwbJa_rX9O+?c7HlTKg z#U|{c0xz1K3&L{r)%{1kv!Zkc857@lA377<<&B#tZT?XT-xvtc`?UOY(@)>!u$8=I zFzCj2MeNgi`J6CV%NQPdmgZ) z?F~ZZ3YFLTDxczk{tZ;V_$TbK4|6Ab9ImoAmkH1lW^6b*`+IwDTLP_vC&6?YCCPT- zK*vj|L0;{=c5D9*BuTujVQRZmtx2?k1irguP51N^P9}QQY10o^4oADz6_c%TmaCB6 zH(;fmdir^%4x+_xCpiR8QH`x~^(?sHn2qVyoz~fAD33#k8-Ok;vnZ*9hkGm3TV%a%9;9zL* zMiPCHF?Wv0yKbl$r^7Qn&5PY$=G!)nln|km_M(`Iea_ytaP*47K6stiaA>JPa2zF~ z!)82(nyJD>5c+f})yurV2Ed`p1Bek;8~{ipd{M8IGi)log>&N~zb&ewdACc~w&$ce zks-@1s^5HqK={F8G=W~3SPAHs#4PWVPbur|tyDphfmhIF0IyKjkO0^Bw%9G{*Ac0F zRY3ML0!FPhoPZQg?ehG<@{W?<2R3hDdHxo~3yc&+G#&65!o6m%Qj#gHU3; z%MUuMu>~^Rw{AD}f9^#@Zd#G|Iwi(m`&LnFvGgTsg)-glOw<_Ow%&8h*c;4!3>Qg% zWKCa5HD1^iRZgBND#NaIxiK|?-|%4s162eR)WMTnBx7z~RCbC>=WVk?f4#|M(1|gg zMknq3ChSQ;j7&)U*yrVg_{cx9=w9sHC2lk~C*1BzPN{9{f0@KDThjHs3o1E~aG%>qoW4=5i@{&ox4Aj5*d1Dpy_)Wa0OocR!d8wfWOau7ti_h1Bg8?xc( z49jp~8~C<*+1(BE@KxQx1E?PI%13#a5W}f=UtK<6XymY%y4jT9zjm&i$%uhR7D%CT zp19n+%6Am3OH}5^R%zYkU@}k{PvOJu9>cbD8rqOf1jmOEMvbJf%62fSIbr8O<7867 zm{VaCi$MzOXmLsw^F3tv z_SfCqRX;Ww>7odj&PY@udStFrn@)Q;q}OK?>2qOm6T>cw1*Ty*I6lMY!U_6n0<5gu zH0}w!hKFi?5rLD?Bpro;D$(X(D51t@o7Vf3@jt8gH@}m{$2dy0PN3N9r!j zMS~>eO=6Wb^O6>ainBUR>o^o%{w&{)s4KAd8NTkBo|INLL@wADlHUenHg!aHvpl1? zpFoeb4_6;|M_}N8vtzol(NNim`O?b^3m*+quvcI{r+{ydi&cv#)j0v`9IWk%o46FM zxLx8P)+YEw&Bw6kN~h|Mm*0sV+$vk%w|Vd+@4#MV%;C^`aW1>1(=)m4Q?{J!R$u_~ zgQdqVmMK%*-xyeLPQdo2j$kHKli6E?8m4FDA~*}o-@1@Aei|*oWahW#xb1 z&#nUp1~pKbM!RNsQJZHw1mbm-fNDJzWbvBgn)faUZna68_=$o8nz+PN zh1udn{MxMv_Ev>eY2C@^-)M9NPiXq5$R(Sa)cnLOzo+IP4-1)+=jE+*GS2R|)O*o6 zfSq{9dp|863s0?Hvu&KNelkFa?{YWH!Ncv?Qi%`snY|A?4R9APja6R)?c~BUDcV)Y z{8JYRNSWLgQpxU5<~b-L!e|xyK$h--wq*s%{_xRtbNWQyvG=K7qAt_B&jdWx#Ugh@ zOszeUH#05S;cb;Vk@_@fh;BE&cgxD?HmMGhb?LGyPXb=K$cCIIrDpmXWpssC0$|nx zwz&Z*qzFAStR-InNo@LYsoS+8w&2 zwCiW*t*e<_;89E1U>-ughDWC& zuRSpBn>SWOc|j-)t%7xJ#!^g}{&FP+U%@3RGH6t5v2Q*Q(pc zqZi)PfX=T(ss4fv4NkyR?(=cDvO@5=w`pj}V(q-#(y%wgBHvSD}QS`h_UZ zEb?y3e)Z5eI{e9T3df~9d8gA_7v4h|x`!#OwvjZF*D&9?C-$ZAp67)qdMNE>lzZOQ zq{@R47A|<(Yvfl2OuO^vkZNfwe`T;v1<{6uMej+5)oqF|WDRU4z&5vYNliU(k0ape5?2lsbJ!E@140J1+o)k%Fryxaib~NWZ0KD> z7r3paqvBaKgQLH%WUhQL#JCwey2kpicvqfQAI?@bS*CwYFY+8+`a)1{cpvHj!e~#> zFOTpBYg(>D+sBU-{!NL8=C<{)JaetjZ(9pC#7Ngb8YUEd$rgN%+?1t2x$&?WctWVy z4oey?%KxHaPPcz;?X|+uS4kNB*MysK z-eC7Ys=_w0$`51}3pXd+U-T%he6IcVNFgJxoZ>`nk@{TFiFg(LGqOPwU(qv}OND(4rADrCP4S|H7#aEU1tZU-`+{CnPxg z+;0DM`m0^lw(oBKSov2$ZOpc^hxdPp3T%&atwB3UwID!)W=zPiJ+1Tm`)+EAOzNju z`#&ywN0vz}@*p9TqIImS4E`&J$ewG;dH5pu*Xcu1h8D&3_%V!R9kOWF{>L$Bs5&UQ z9Q^l8xZxWUvQ8@%ps^`gpx*>)t${c9M3;Xa*Jm)aqHl3Nba+14R=eefA6MIt&Dd}u zb#-9y?#@t_S@9k3zw~is9yrtV82IR#&H6Qkf6ypeN&1*n_AS76u9$qU5kpS-K&?>)HRjwcD7Inl1gA8>3u)W*>#W5NqO z%J8GdMsKg4d@#!R5Z$$&H|Ew%GE1l!S1rAMF?9%k)epXkZD9Rz95|^z`DFK5uXboN z@s8?mTRq^Q)Xi}n%!yZbPf_y-*F33q@{ROEXgenXnzP-?#yOmohpc&v$$j&ke)8N%J#G5h^C`s1bqvmnXEn%npK%YoQOwtZNgK8}2*Ux`F~Xp*?|&9Srp=s7pK$ zMQ@8Y@F=>LYF2|ebvX&zto8(67=y8;qkgYBS^}Vij4r*pDan5!`y<+Dl|mP3UZ}P( z@bFwJFJZjBtzs=`&1}HwJNljif;nH~^2B65_iovJPv{?--{dYTDu~&G-Dyg)30JDR zJooh`j$Ijc6dV7l8NAiZkk;Vv>Cfp)d^H7{fxuKbq2gw_<&g%U|16YhrGOOJxzvT+ z`VqGVQ2r3RV0pe7FU{7%t>AX6_{u`0A=#b&%J!7b4E)8B!ohZoXRwoqVTpID?HpVO z86fntu?P1(u4^U!AHv=|EXnn28+Pw@vs!JNP0e;`lqIj3n3h!c_m z+Ah<|)Jk*0AuG+*h-xO ziDhZ2>f%Ise+0K6TkZ)l35 zqBy%}Y1zd06~k%3Fwyi2%;UzHuSkwOk%dWQrvPshy{U1jniR&(r+ObB6n{rv6_4K* z@+V_ATg}o=-P??tY5nji>fL#BBED+G@9_z|xf5J{C6bB|`DOgqH% zkAiSpL043zha};0RHPR}$9Jz8;?M$=n%HhvnmM90n-@q}Q(LI(6#Y+;^~?EB{XUIc z9V&3OQh#r03B2VJgj{3{UYw-2ZU(N%Wu-(~bLn5grG=g&9^zK?yw2k6NpDWGN)}tt zWfjY&oiaEhXq8pqH#-rnwSVSZyJhxh=ewr-J~#Vy(K<%_qYSs@zZjek5}dPR1?i;& zw($EOw>KJEn46tg7p0YvpW`K0T%x{oRlLnnCRpYWhjoHP6mIY01?~Id4(5mbk*&odJOe&KwyRTlh8M2I){XY4#Il8yU`wE z0bAp%yQttZ!KGe#2vEpF`xwpQ2hxUNoK7iWL0B^sPRRqIbmZHMW^t@p80_F11~UJH zQ%UaH0oXc^0d^<$WBI*zvkJEw5%3xYW}c8TOL@uQSWePkjz7};QR6L$0<9#9V?tcg zrO(4rgDG`**OZ=o`6=;RHRsbmn#Ui4NjIi}V2LG(>JGGWn7XA)uJ?kfj50p#jgK&2 z>{5OT3!6@zj>SwF^k5cMHv&lbJnR2T&!7H#daex@XtMkxSb^!G#JB30K(%Mh-F2>z z6wgL{X+FBb6$2bvGOriZ)lYn~6{KE9+zI^1Iogvyf|(WP1nHC%Hoq;A=*0JfR?NDo zheoGc91P`Vzd3(bp9@V6;nSLYrd;X(hKq{z0%qpgl_cE|EJ@Pie#;R|&EwYdiRkVA zbsU$(gv=tMBtR(UiUDX%re>C}*+SshzD~0Mf-^7_o&Qf>PJS|{=L_&xab(9EC^3Q5cw6FqyWqJJ<$9imVDB$jWbwXV zzfO7<;@y^ia_JE!^2zB%0u>|#_CgsV{ZjS;e*X1S-T-;Yx zQoxmP+t*Al-Nm}x++dyIk5{DJLqw$}QP!VqcEj=*;s2 zU*MH8H?Un$q(57uZKD7qI|&l!eW=5Iy;^Y21Luv9eL`7XUpql!vko7*G2@JYA2Iz{ zXywre$wwx^V98LnxThISbr1(+t(Gil4&C;QlxY}`^32e= zp;!;gJ4SFs%VLg-QMQp)XIgX6We0iyI#`YV0*!BBBCZKT)y4adMt z5}@VusZ@Y$b^qvW8)US&=O~>{BQr$?J z64RCUqt0cvx5?9IX%dOUFo0;`DKQSN8~!hD0OnIC+N-r5Pz37%A0Q&QHjTUk%Ot8o zXN{%soQlaA&JL4nW9#MA$DVTfhU{2woM1)axmK^{{mBDp#B!zI^7TV<@o||GPi;*E zDm459HoBhB2UR|{mPSpF=z*3+<3JBvtn_ug^5qL3jRm^?yODKxM{{C^YeiY@h|>u1 zSRI6lep%2>IK=R5HA3S0MBhp9W{H8gwYJqLYEfYJh*lr~#v7t$Lj2umrNaz5<7He% z4ziJV!e}x1#ZqK%lK&S1jH=@W6!XB%VQ%6H(HB;3N=9WBeiJRs@pf-N%z5z{Nn zFJ@)=9aZ3EEM3ci!w5*wl~wO4fr)|NlJxmZ>&6C{DMtHFfyL1i6kMmRD9+oy5wGjB zA&Nj+ND_(pxK2TNgw6C@x8@_A)QD1FX|xk^*;H0Mye*+%Xm0UxMT?+!{4#n9l@(N0os%iZ&j! z&~R~rev$S$j5;={T#9%t_oa(%y$6F7^!sd!io6x=W>6;}|F}rm-&%`+-K=HE3+aJV z^iIpB^lrj>;khpFC|~`g&Qj#dBtyb!DJI)Jf$FAxSx={xF@OFw4q@Vgheb%lSv1*;c4sR`iY>eyH|# z_0Bf*EnAj$SrzdyXE^HHB^q^J@6b1|++}xANOp4ae1k7`BZ(=KU&8yo!?~RDC9v#{ z9{5R=DoE;67H7%h#l@ySUL~73^7dmcVVxGYn21F8f-0dBFG$R9vJL%Il#@%2#cW-t z=z&pQH1SZx2R5~u@Rrpc%qMBqS>3sa3IIJEKUlojDbyM?*8s6>vjF&=GH!y^!J#W2 zp_rpz-kgU>>xSC`62g^R#;0OlB1L@D#)W}8t*SY&L*x+oc*E^aWV4#|ALajDDeIsjMyz#qc|8K#@shvXX&E|&e$qK(+ zpCQ3H65Y3)CKI}JttI4UUD^8=_YOo=IM0YxT*^FTQ%~fSPf}?0)#w`kaL%8Tv9@TH zGNrLWJTie=b25!6JmsKe7@pp06Ez;xS+ZL}({4p?J@c~{uOp0Y@dnMlSl3(iIXQfc z+gtTYNqdQOjpLdM(c39?+i~D$qeMNbbEE=ni2|%Kf&bBUEHlgwBkLW(pJds-I&MrIesvUrV zc?#6`N;}YNcm7AukV$~1txv-f)91>+99L!aZ?QC zdI&$qb|Gw zs84?GO^I$3GeNwRys%*}dCAf63o3aJu@xYzGFL&je}WmC4SfpYafQw-$|0I@4@Z-9 z034xQpmA6jXpeuwDJRLr`Dro$6iIcds_>QKAEaPhgW_5Ti1jA1TVr*q!_0j@46NsG zj;0)4R*AbaHsj;q_-$k?3Njpe3sV}TSz#!*fobOLNfNw~w^5`99Y{gr*5d4MX6@|0 zv1bpAvw3WQ&?+cXZHGU^0prbxIJvVI+KOqP-iyFSyLtWk|&xtqZRb|)7IBPH-=<{t)p37g_S zCST7O5Fmjh_)AbAp3TCr^4SK9LVYmtr~b%p z6H3#)<}6KgKj>uRY~>?O2VhJO6(|=_EtJ0KJpJ(Zqw(@Xx2gHv?b{~e(XUj2p89?~}7 zLFs=XII^ka{q=%hR7?XRaF|UK19#PO&GL`sgXc1;S$zaW`KPZYA3W(aPO>iGb?sKR~#RPF;}s$ZsrF@1BXTnezp zQfWh1W~$&jDi;K_%C0&DTRIM^x=%HWb&dF7N;?2|D+dTjZcAZa~3)PQ!#8$ZysjQZry$lUYkz5H!-j%ThRT>oN#sRJ|wNgD&EILe4%^Fkw@I5;*CdyI)Z`z(gRJ09M( zxiRztjolk8Z<15eH`j?sY$Sp7nx6NoT$aA>M94P#ad+VK!or4i25uE)pn5fM3-}{* zHeuwA2yZ`k$R^}I@ygxW5$d(rw^Uu=ZoaWyh*PLnj`=~&ZOk1?O*!2}*1D0Ebj455 zGHaG$k&k2q8ucH~v1tK~X#>bQM8z=jmLRD|fa!fwhrj&&R(r5F=f2(}S_&!@G|akP z6zImY1S%Qk0{&oEq%?uus!L32jWsHwM%1{Wyz2oi7CpZL?9fXK=vQOZPbv}xjb!z8gQ z*kSj6R`UffUGIOH4G352y0lyGYi&g2{hUGe-0krtcji+28vFXH)BN<~v;On>JkP2~ zG)w|FP_;n}vH&kivj?jIOA=@fsz z&`=!Z1cx!%1}I`u(k5lTm>9z*^vZzSV67a`1T-az^{0n9z6dt0zKpI?K}g^NjhBiz zAy|M~RwA33^JUR3<2$YIZAX2oLpqIN!dBl~9R{0wtMRN25k(V$`v=@6C3vbVG^Z)5 zahRuvSO%?(%WfzwK49zcR7eTQL-1X+g#7l2iPtG+v!-}rAR5uP?>V0MI(9t`^Y{%z zzKO}qGF*P^7QJwwG@25vDebY3CR(7s0AdTg1C?AUJ{ry>M=p!v$R~H!^B8gM2p(Cp zde^4QaT(#YA!lEcH^3_3MaWGepF%ctF>C7#0M#)+$nRv4+B&}{ScvoRJ%YDqvdy~DV~Y~wi~Y8 zhu0Jt@)W)KRJ}7itXLSU77imArPjUi0nyuJi4FY-UFMb0ft9G0vz7Z(NfUTY$3Bia zPs9qb z7zezl->X2u6%s-nyV!)zJxQ3Zo~wzxz5?q!lqGuOWvBe5&)O&7P*Bo21*bMiI4u*Fc!c8`Ll;(SOs^*Z^zB`szz)Sq7^7(B4?d( zq*ruobGRTo#?S|qI7*#!1~Zr&>2ZMiMYRT#0}GXqZ7wG;tha-f&&h=EpRvF~fL0k1 zXWW#}K|C}^n6loAU3_#3r~o=-UIPPYGNJ405b7Za&YzVEA&m}1B@VgZC+3>VfOhF^ z8YEn-F+c0Dnve8RMF@0#h5FfpwJqZh^Svc1q}ER=I5p+&VBA`#dc(w;pV$cugg^=O zzK5R+Ryenx`xK3Ex4bk=2}mtqTFb$39c&H_c|FmG zFZrtkb~fg30n(@9j6jh=>XVfCh9oz_lp-a_h~SvpoeD1Y8;2d>aKcQW-#eqhZvkMB7Vl)N69b=Nwa5LB(PNn z7SHFd0r6Ut-bY9~FedU)f*zuM9!Ce3^cX?i{0|BFUydlc?xt2NamBExPAQ7y+mva zgT1%xi@H2K>=X0;-hI(2HzivH$Fke@6Ln_1qW4}-oaiRLPpe$2`}Hc@ip-E(%T&Kz z@x~GkXIB4jz~MwK@fRp%u98Y*b?^#J?4D)u^}5BME#I%JfVQ50hF+;3|B->+GpMB- zr3%*FKlgvuOg-JafGkU&{&)k2o{Wu_#FNw1HPF%}cDcD*NLVZc*{1fJXhi(XP}B4^yV#*|3@InF3u z>R*^2Wwd0g(-J9XiA{(&K?t@oIOQ$~RQzi&_A>#T#0J10@qBhRwCgS?j){ZL(iDO=NjGMZMtyTr zC6m+hiK{WAA9sP6Kszc}p}2qgIeTWD4=8+E3R<%iqn(nIRoiIzS-v>J@}yzvEIpAs zjp1a4mhtp12F9X%uzQEE{?bey1WGg$pOe3pr#|I`K5Imd(>H;}d&6B=^t9zRU6RJE z!BB4c-ITzZGAsRRA3@i`G*|hNXCtBuz>->U)Ne$DP!irwplIMT=NAr&4=~V)7y&PrVjj;DVG4?U1+PIbID)f6dl-$^L`(nBf7Y;y^}41kQ_u zW(&9^YiwBo>;Gu=`5X)g-K#T7eC5>cI1y^DCu0BE)vN#fm%QP=MdF?L5e<;APkc$) z;1N%+pJp0uqK&(6T&^cZ1=R`$F0qkhSg3c|&)7>!|Gzv5zLUYLF*sohdq+we6%k%WWKMy{7eAZIR_bK0j zm3BrlIUK}tL#k}#uA4&#~2+H#p#C~3|_$bo;qI-(7^%*;s;wh@{ z@&o%30-`KVsHsEU9LBji!loba0t9mf%7|WJ3A#pr<8D%$niXnQWAlEh!sQkf25cq& zPbR1xL`AHF8mX2op~=ujMBbnzO?IugWD5?Ay7PzM^_M4g92hoU1RTl9-w^MwxqkSo z7)m^}mMGWNeex>NMfLhCL!5G)<@}zLmQ#tAd;BZQ_!})-ayTzC+(G2t0~3K2uQj)j7DoxWa)?I7hrd>v$|Ce%i&hrlsk48S-6 z=_0`VJWkJF^i<-!`&-blok~EL+XNqC+>Lhg67UJXe+0GhykIa)l1uiSRCm5rf5!^A zzUvoSfTJfSd?l~k_hXofRt*V7X>V4U%ra|LH<#NCM6P$LmBT{+HBl88m$y zcT(KL$DSmzD~!b5lflWof4NE87K|VLM}?>dDnw_k_MXi9L%Gu2n>&- z)5lhThv`^GEZVuelxLeTbD=w0!*aDZZUV>~5Zi`P}Agv@iDtu8INl; zeVy8R#QHUK4o%{*iCXGk(iyK~P;n~|>QT7qEe;(Q!4vA8N>PIYKi*e86B?nRt&gyA zYPd5^(Wue3{P9y?kIoT3qBkm7 zHJCtplb}pzd_kBbcSaHY%>l>Px=51`)vX`U&5GzW8SD@)S}+HQYn-4t}4lJLhIm&NigD1CMJ-5&%f zrvp*ro7?bjhU<``C!Fc_AAMiE}3DkD{1RQkG;mm`P30 z>c_a2ewjmIob$F|#Am^f3=eqMVVbsGkUS*N!o?Y-6=H*9xWJptpn5nbhiwUoV?*2X zID!u;T+2ZY?TW~(4RocXoZSF-RUVn7UzN?zfqd9g=Kw+3x#fLx78H10nJO;#Y!}Qw zG_nL&8dxvH%x#V)*NBH48ZvDJOO4U7KN^>}FNqqL^%t3qOa6^yAOP=;`Q_2wNxRac zC%1pk$I2h8Zj%kmD71)Dx!H=z+IDTTKiwy7w*PV5S^2m0ycmu^)8UK+eQy25Iv?^$ zR}f|V^ICIMy5v>vZ@eGs&qlbBS4f-H7o^<1Y`O+qrXEdbUvXnGuZBfG?;TuhEhjCZ z+a0?A6jfgC{Ar1ywo;d73`&={RO+@Jl9dEJ@6<^&DXTM@fPA~`r08l|0w~w+gD@zzwZ0I6uRW%g*YSK*%@rUUnvo?#ljj3}3o&wBwDHN|0ur z+Q$+oq&MF82;8*YOPFHz&9)DVv{gB%>2b`&+f1Rh7fj~mq;S3upwog5WTnz1XV4Zk zIA!FvBcj1II9QH&FUa;Du(-?z_2p~F2S$lPvC%`$a2B2DiI0NvfrYScxKdGcdgkn- z^#WRW)a2yEOhyf`Cx~`lT$!x6|K}B#KI8+z?HsQBzKQ{z1^qK%ARbRoE`+iEZQQc= zp4^k#yC#|)_2jDvq?%*eFOl4-ZUXiK5p!ht`}>#mn{|hk7ni4Lu=^T=E$gncm z>lLNF#>c9cu}TI#O?;Z=c_(TA$rG-yZ*o1-iqoeJJ813r_cQP zbnnu;Amu@o%|A%e(o5_2nVnL7Q6IV+?VggQsI07-_FNm6Ubo4Q%%)(;#e^&3Wp32z zk6AQ-hrXq0Y@$YlPhXM4LYC+4MCH9uR<_A9+#Ug5aB#A#lQ$UZJrBuhs9PR$Z^wUSUtBpjuVX7y zVWe*FtIs>`pyjT;^ULi{;#C=4S+Y{@?CqCz>Z0=fvjKO?bRWYF3JFWyznuw%a^iYj zqj8_QuVD-WO9-|*!>;xR77o%ztjzs$5maM6TWF!y*DYy?#yq~Rs(w)NHK)b^R(8|j zW&3=&>Fx&)sD_+c%F*~EgxN#H9Q5ts>nn2)q@>QKmJ}rVVcCX*xH{!kBkiFsIttW`g_rrd zpT2E0yMD>p9vtZ8S4bMk0Na2S2%UWT`&j$4x9uGI%r!z^_q zk`E9u{#}Xr(|%cocd28ktYFB!i{-0gvbfk&(H3&2rxdRSP*d}lyZD-0v;7*xHSOjf z%kQdhsO*%dJwE}~Vy_Ew)2SRIJ3}<0d{*r&b)ljyeWBW)Snu)lasrloi*>Ysx#j_d zx&uz8AM&D(!eL8+J3Q?WEMAe!hGfQ}fX2pz(`n!Wi^=vZGT~WL;W8!j({w0JUqxZ5 z6NGSZn5X_d%)b==`F7%_9}ZD?LAA}Obd|cvcdo@g)+3SZ2KzN_{f{fmUTu+iA(*Id z86R`R-RKa^FQ!&QDlKg7{qByO`uO4~HR}R|rhD=aLm@ksN2b$~JJ+__#p#z4z6?Ds zJ6`^-jgD2e{mWpDyXEZAn63O6kL;TK#Y;^ml;%HhWf;y$*SU;T;3}YTHm}J9f4KLf z%tFFi40Y%V@;o(3zk(n)(U{#wf8wLo=Z4fs_I@PHNj$|+SsHWyNWLcDk|QZ=r2dhY zGnTwcH3x5xL}w_h*6%iHODk4XGucr-#5sA@UT#V%05f z;s!NS7e{P+@d&7LG9SNzjR#y6nvDqT`}>XQC-Q6E={U1W|jZuFB55 z{xwvWNa+_n$sH$c&a-%J0fjw0#lP)c2|rW%7^CVE9bwqc4{Zf|EzggLu8=gE zNlC#hq*iXS6u~y)&7RNIv`ba>n7dEzsQp#PT`LuKu;_K3Ep?>sT^Z~7{1EG=QOb5j z))(2_)9J?Y+lNQ7{@1iERwYAu`^$9f*JKJ@NZNF+&kt=N8%B0qz4z8%D+^&$lv)jqOVmOqB}>PlxqVqm zs<-IoSDe4om1x{Uj>0Y_h}G{pWu>fOa^<_?AhBU6CUy?>pD{>DGy{bJRh4UNGiK_*SE>2RA3@K<0bt#GyX-3oH3y{4hE(gGO8Y zbl#y8F@LNtuBraFcY1FAtd#-fQpU3XE|_n}(hu%B2onxFPAq+>v345JX!81eHmb7K z@#da}1Hr1BL*h#J$`zFnEKdz~q_il5rCx+N6;| z?mb04!|F6L>?5jOMv7jrDL-)t?o%OwTD#c!PD`0|bAtqdf(>!%Gwb@20}8$=<+m{GPKOJ?k|ShGbBHI{%KR)4j;{Y`%l zY79rYsDX2e0eb`*Mc25y(Gu$*^1z->lEb$rQ>f|ojrrS;-(|WQb!0u_^>!Olb%}`H zukU0A0&gzmekdl{AZfS8Fs?5xi*@ZHvNMP^3%RBuvr(tB_fSPYLxmh$YUOy1pNxKO zzFgK%`|I+X2DP(YQ<@v3&uGGo8XA~u4zeb>zlXm=13x+U0TX)*}^hZE~w zwoX+ToR?C@?|#kVo35^#97>heI4n(c&aSEyhv65L6VAyX(rX(u*QqH=Ka!;VRZn{K z_v>9K_YB=skP9a>`z%=5A9if`y*1MS=ue_oO0)OMWe4!4)@P+S)tE%5!%-ktX2Y*lb4oz0v=vrA@ zBu3}nZ>=hd=z|-=ht|lBlm1Q(c)7RMzo)Pw0==M##p|tP;fpM&1P;RfXFycH;qbj$ zX3x#<9W%$;#~pRt)*!ZPk1_`l2_?&kW`mT+hWI;?lrkl-ig_6y^nH`sSS&!0-ZpwB8R99W%8)+I0O&D%Yz^WgZ4({qYw^8C=L z4qSjxF_-a_|LTJ3flV)3i+k6!MT{;r1%&QPxM}Z|i$XLnfasG)N-UB^Tt&XD%~wn* zvqz6O$ybgmB-KY+{J)t#Ra}RNA#ZfF>~(ELo$s@To@`*dlxTbQo?#gb41tBNPl>Vs z*YGtKF*0ZlFha-sqkf$5KrDIjRPvYcpK)OO``|qY^hzv{y3n1ij|dYlz|A$f(88c=%$( zU%m9qtMrY270sc0I@yYc>mr{nM!&H&WXwgl^wR?hsI!*QbT6WhM>knZm|9Gz&!dWZ z!iYD@-#({9$A>x_0pZ*F znO1$29IkaQeJR}>lm{NYbEi6_n6I|Sr0IBk6ymTor|+RU`spKq(qriA7A$ODdJI8p zZ6bCCFf{Cun9P6r&liv#AG59%*tSU~rc1f=jLD#XZso1rjpx7P{&JI2>5cV%0yFry z#nUu5aJ%qDF-}GMvjgTC2_HZ=-Hl>gVYp;|*paq;Fq!kX5-4S$UBUEMYO?4Fyy@yl z`Z1tRyoBO>Y>-KJoOO|xe$&~2d$~*LB131?pH)A?e0}pk*D1fd+2>hUp6{&2S6d`h z&qjXw)IyOChzwfZ-X(;BJw-B0CxA*Hk{g@N+Wjtu!h{{hzWWZ36f6113%PL_*h~7pSQdaHHLPW)+i=yfKdDG<-18OkNqk- zYRgQF60B~p>u=2EaTX3n1Uk9=<+ZE4a%NxMt#0Wx8YFQaqZ$z&W05hEX7B>Ea?cxEuC zP^qqhOdNh){BrnMVYd(TX1M93@rJE#{jpGvJ#Nh=tnSL?^?Ua-y&D?=LZDD9=zX;k z`N-vx@)|q<39N|@C>hoB?!D!-YCW_Ec{SumzaJ>aS3N|{mQ`hY?YjRI88!Iqv37<^ z@?I0Cj^Qe=oDq!3kyz39X19-zFx(MYCTbJc2M{M`Wb^sBx4CtG9LEz46lO?ZNw>9S zfeo^QA4)YoXNxQNyZL~>DZc>(fB}+SIg&b%RA!xaw1&dG4kx-U)w@3q4H_-zHr(c` zx+^STs@}GcU_U^|pxksU*A+#&6g=pszZj|%Wty|fW>30sEqCO69MgXWMyPQb;YzWs zJ?h<$iU`zQTpfdg4vU^~X(3Eja{jlk{TEh10@yfzojap@r7Ekk+#yC`y+7jsW9*WA z=2>Fr3*7;sbhVbu!B_n4B_}thQ9i5Bmc^ANf=^9ZWt{<>AnrS5a%}N9Ph~{pH;6J| z2WlM>f=ti5sGZO6KjO5>ygznCR&C`+kA0QhD|sUoP^F}z);_ka^xVdcJr8N{>U+;- z68B2rt7!+##Qh9o_2+)`VKC@@uKxE%{od=_-6rN2`)6hMI=w3SY@0@Nj3QaCk%bu= zUWI0pEtAg&$Q`$Uc1+iA!WNV@rqzu3W8T}UFbo$p3hy!W65`D+JhU>P%tF?x*?JcQ zltDYZI%-z}`nkKmiuM|JDF4iBXwK(JK|o;nRki% z^emPhre5aZg3enc5!9MEIR|O)oV{ zKgGjuRcqY+a9DEQ?#I)ALZ1oM+}}3Z6aP7m-eri_(XCdP@_SO=dI>ItgT8s^SQ91f z>6FkT*|nNUW|=gDPX-}1&Sm7=N0wL{W)sRax$0Amo}79cF_t`H-17<2`FeULb5;lH z-;O1Z4vlHMcSW+?kMb!_qeI@^VK~#Nl|RKXiu&n?Td!fQt(Dz;k<_#4S)kK{@)Wvg z^89O5*5Y4Kr}0|o;f5$x-JM9rGYSxO1j&$IqLYAU+&6B`tHVzjI$uVL;g{tD5K1c$ zPWs=HMtnStYhETPKM>k)&~N>A4roz3Ha*9y!FQ}qBKP0#`^O;;$6eq)+pkcnbXOyk zgF?GH*`DIU1IHz|cI+;443|Hf-DJF@EmJrn)Hur>{p0bSCH;?-uMyG-y=yw6X4hm? zz@U#!opMo|bg5Rg{F6M!LvgS792P$oN}Z_aIF4H8Z(*U}|5=O!;1_x*JuU_<1Jc`PX*KWvE^7 z_PXfddZoJ2;U^W7J_UlH?QQ{#ipdk*r-d{3oEU`|A0if)y!B(Ak%mddX&1E&fnHSJ zT_Q$5_MD@ZHJB!t}j9Idlm zxpscA!BC7ZoOkvn>vbFNw52 z=sQWtsV6O2w5HGy(=gshNafVzgZ2@O)z!&r{%#c|c~)E>`}c3@u&w(eUJ3n-)E$uH zOkwyHq>Jc7)Xhfy^9kL1x-DMzB->yS;ey$^$T=+8bnA3!mrv_BJ{8fpfq<7Y+FH8g z-RrngA>O`r^cN3VSuFdfX`a;@8;g6)uRbZJ&>!UYUqez%e!-s)7P-)laoT`&kxb{l z6`%pi9?!$rymp1(EJ#%rw=Sp}`x<4(*oNeyKlkrlcq(*VLOypkLfWg42l$td=8b6C z`fGG_HhPZr%0k@-l9&e2R-RrjeIY&M zmG1F)6y_}SrYsikXj>!$we-Fqnz|l=cvv(-jXhhF%AqVLIbK9V2;B21&cU{46sHP{ z+ysuoWqHXDN&O2q(wRF7Ccnlv;MV+Y(PwuhS)#K%DJ-;5hWDHwewX4tuKl^) z?sXA?cWm?m^yYS9e{;CZ`JX@B8ylIAh8tP1Umd-NqVE1kR4N~>=P#Su@-nM`o6I)4 zqXtQK2LIVUH~6)^)3;YL;Xukb&mjygc>{VQS+Q)lo0?4_ZtA)B#*TE2V>X?AErAOO zc~N<+Oip0>$Ynm9vPMO{3LpTBH5+vMr?v8dA-SNyn}jK zqRPzOXiGHh#3fKLY#+?3LpEqEA_#l>u+f{=lnP%bcwcOozKcLqM}ijYfuhMltV`gr zKNIza?K#u{i$O}t#N8RfORv2yX?3LpoY-n+XpCz(kdsSxhfXBaab05Cuz{H_@8GbN zXjBS#mP8WlP>qrmo`1z-vL1w%PHDelndAz>Sy7uj5?bhKq}gJJ>}kAFJAx^DO`J-< zsr4R3)#{_HT!6yWzsMHxi1wxD?P)m$;%R+D{5SJwU;5Sq=*Pj zcF~1|QNC@8Q@GoW3M2s5M?uiiYtdndgSZQMBXHQl;7%(RJb>A-srmchhb??lzlx2X z#Ddna4Bv&UN-QLKazgTK45`~skk6Sbu}$i^V0)hT%!je>&{A)`8>QY?H~!!0-`*uZ zjRGE6ZS1^)@f~|(#{h?|GeWu4N|TvN<&>Cq;ge>CHu6(x-T;NT;S?{eYy|h&npG<} zUW)2<<(9MUo821f7HZ+-FWaxQ=-*K{>Ez35AU6KJ1---AN$uXMoomb2?$(Y!5{8QM zXKDU<#aXa`F=s%T4S|`bLcV?pFXWtciarwDN!ESv+JcCle^ebL-ST1o{LS{s%)PFl2wnNXs!yK-rf4w3lLbc;P{ds2phLS z?(hg%BH^&T@$>fp@Vq|k z$rU{_x^3ESf+yl zsq}M)eDXv)rbKy8ii*O_DDTKkJ~JQq;@z*P0JMcM<>A~<`2O&xPSMw5Tvz#7wr(-n zTFpS@^RKJ|&qZt)!vNN38CYQd5GkbvpB|YYG*Pic+f;J@bLy=O~z+w0Vx9 zjjd2A{|U(lOTO)WJ27PzqWbs4Ro*SdQ^pS`4i8?dm5tI20>X#i$@DG7CvV%?1l_p4 z>R9GZ=fEwi^&jq>xNcv|4?ni9{GuVRI+mh8MR8vUa5ChyM4kJWEU|`?>3^<*s=fpt z-)E>54{ZT?zr%ed?DrIYkJ;xX(Wm~qR{j+**Bfg;r+pI4GIF$Z@_Q&4tE|D)(993} z<{En*vbZis^SqwDZKv5Etvl@N@UYzc$+;znf-UiEGCUQ1L`&WLZJ(qh9Stp5nH(VX zXwR=yGx3o0u=WSJ|6#3ZwY*A6&Xt{SbZY;Om89bwz@ahIN2KacFS@?tq;~3Wly8i0 zny8uUm+kYSk~g4JIn1EOeT(0Aw=kr%=auS^ zZ=dbaP#=%czXRrI-cKqrOP&DbFrk*umqOzmN2q)KU{!^La2(S$iLrXJzH|2(qRTSt zpVoa1rRz-#34{7}((eKb=joS2hFlb?ti3yQ69jjwJ})-9G%s&>HP|9ZTwoxmBbm_C z#H#syZ7C8frTj{#68<6(sJM5=|IVusmxVH-@2%u*1G@0 zrq%LEv|H1=JgJ9;=U&?|(GKRbP)}a_9n@V>aCclL& z5dYb&eibQMNq!|j!Q0fy&Lkl~kqi)W68Vad;$eY>l>J4W4gG|tF|~ZRV(~YPB2vY= zp@H(oEO@OXbSPp4Pruhfx4Z2hUnVraBJKGY<-#W#LvoNRJ#@p5gUnFv_Y|kI<6xhn zSp?)&7)z&jP0<)CZJ8#b=%h6jvHg*8^1;! z>`dFmNKwD`he+Q*Zd!1j!s9P)u|Kn%f1bUEqw&?t&WTu1$+P z@r;5|$z)Nx4RcWZ z=2x6;E@`Xl0vg}U(H>&)RqG)NZi3851-ch#{jMG1K!4=%O*_eW-Ram-)qxXZ@~ibR zpgh8ssAG2OaLcs%PU+4vGONlS7DR<(5qy`q8EQ z$-*N)g+D*;zr>(1M?)P^c+=mw%Z_&==)*sbB2A%g9OZLqv9NnN-oDfOlbGT2`L*wl zD>CSc-miqb!jn=}iA2cQlGC=q)bka!&}l>Y zi6LPk({-R4?g~8IZ_8R>e)_$k(f@)NpF*K#QwwLx-Pyv#CT!|U_&zLRyW7stL4MXL zs_rAG>QfEL-v8&(FNPxJ!^oy+!@Fv+CpW*8v0vLWprZ3Gkw_)dE@j4_0=DOkV2`7d$!UBEazkf09wHDP<`QifQ!&^Fxy=tta2P4}+h3;oh3w(LX-o zh&#qx+2K-{|3*%*?XOTFfSeHATDr7$OU;(s32+&iFsfy?s2>`~N@QIh~VpD%9yZp-UZ!N-j>xRFV{_gfv6R z<;*Iv*oIP6LJ>kp$@N7pwqZ71l3eC$Y;5Ifm|2X?HW%OLYt;L^&pGeU`}Y0)zTeyJ zyFaj(vDcoj=kxKnKkoPY)deHEYTwcJ2U$}Xb#;-bul@v!5^l`EW>3V5@ ztqQbai+OF=K!S9oX};2Tl3Z-v9q2@4!(Mikv0(D6&r1=FeLor1Y8!#uW+L;YuR*|# zQ{Z<+=Kc-Zz*Shq=GW3{9S$VFehW|X0_fn=)YiebH9fog_IvP zS1y9*{j7%r+z%jTG3dy+!2R(6{-8hIvW;c4*AaC;(m9dvxcF1urO#_(>C!wsuumlr zntKbx)sEZ9zqdbJxmv!h5dVYw+6SKx_&O}N5?|Ez-}E3U^2e^7l&~}PhlQ`hzCoav z@(_;ms8J@a8TEeGPmA-4pXBx?qI0>u?a8YzXa+ttoka-lPTt*Ogc2e$$M?Xkx2pSv zAByCO8+63z_wqbrOTC-F9Z2SmLI=sXmtvok3!(|Hs%?L>wt7_?wq$SJJ#v^%M! z%c{oD{bN&Gn;NTg&pY!Cgn+J%(R%$Tf^ITMMp9NJ8kzrPn!A%#hD4(z)fs+W32jVb z1Ih_-*@_Trb_e!nq zVxLG(h!geGph+fVii#9E$Dv&a)+vmFbnQ)brJLNih(0d^L4$CotZEZU!}INPrNv+{V3tV@dL(6KKoO!Nn|peFbQ2i3pVH%beSn% zaNCW#adOecrMEfnk~UXtA3UyZycf0#8I*eIps_4t-Tiw(MEog*dr}RjdA&P&`@&0% zi}O(GyfIhNi)wiqt6;>PI16ke=e|r=dNq92OQ-`(Q=Hz9sRu?*k>VGu8s52`fgSPE zJ^K}%GG3C3P`!QtPi6ZIeNLcl-ig`%AX4OMs^wLnu%oQ3Jg9SrJ)gQhHnIKmr8px^ z(TjI5)5R)rP7=>l#R~Gz8i#)t8oF)z*)7j;Cb4~-PBcvlFRmrI9*$6D8D(s_z5o1- z*Kg94`Rca!yYt>63uCpvL#QU@&jA=z7UiCweO1V62^|%qj;q$M4#L$mtLv_d_xPym>){n(m`iCYtZ22w z%JQ0r^F%o7T!D|)gAYZ5{fP{Zpsb}k?DdvzvQIu#D5*JgHyuvj=gKcL9r_(wqo4f8 zaAM{%{zNWCgXUz^fN|h72j$9Y)0o8(>HCbVohmf2_D>ZWwz0=S841*A{|f7s8w}fI zy)Sn`#wI-heWN-u2;K~pg1*4JRtRQv40nBa*Liz7m7ihGO+2yx80_uCPJ?u{a1k9D z^yScrirsyT4g_LN%2pvVbxd-(CmPN2p3;?Bkw2F>9{==x#2r_?zx48$tMV^u9Tk8D zE~ps&+5gMu+c)w3B;@**LIpq6^VKdX{DZOA-gh3;ebJ>3Xxj=`Myw4(X6hUf`LZC) zXkcQBzLW30{+GgGi`UWWB0rqck9}6#?QS)#V(`02jBFgkq542IX4<8H2I)^V$+zkn zekt%g*T$st&5(W#$o%4AG=OFI0U?kM2m$u%Yg~t1Yb6HPf|?goYV#(2RAr zAEl!bB1>nhgyE6?pNMlIF#GFN-{;x3XrK(`)esL&wwczND|k)hM2I_I_@ zDnmA!RW+!^W?Wy?yd2LQnBhtZ+%`m!H+aX?Bf+?>F+vV=}Ec1tVucPHu z0!-igx98trApoaf&=~j$AB?Z(gg$84wLmRzla!G`_54e4ink`H+jc1&4Q<3|PE1Iae_wXoc-zy3s|uhDGK zdb(g5y&N@7d8fU%CUMn$lq4zlQh>fTP@F5Po?9dngZ0eszl5}1M-4_&lnW!cG`BBL zX-lotF8uQDHzcQh>(CGQ9=?&5{dtCHY1$rH&muGTn+QdGER5@-YdZ4mAlQv_J*@Ikxt%jKvb`I0%LrH{50QRKn^Y#;L&V`*Cv|1m+`p^6b=$aP?L@BPj`-x2@-2mb zQmR7xV{S}<{kBKx>kHOz1bf6QZX|O(mn(^mA79jPiHNG{e9VjKfx#*)@kXC_{JV1H zG!`AhV`RSI>E^!sDeFuXvU&=LT27vlSVn`IrGohBTROZr`9MBSqWMb)NhfvaBW<^9 zK@1&9w_Y=SKrhpg0me#WpZ&^~U?6D$0^V_!*DZIF8gxmh=$`LLHABSONCMV~04WFo z$z~zWJ)b*`BEue)Xq*^2c9-+y9=>eY+a`T|$%vU`^1MFDN%BYwt5LldrB{a2D+AsB zm~PlWq2N4mZ#+v4hcxWC8#c)2FJ&koP?squC*o=?zW@M8dRwutotUiqVID2Ze&^5& z#8K zG?H7#2CUGo!$^bN^H^+D?%4otF3MmXl|XVKyfz{7R<{PLH?S(trhl{(`sCfT=gRW-C&KzH=VZ1kkl7t&lC6FEu7NJDt3KCU93gC5qchBGMjt($= zq4TI@%d2~XzA<;@I_?S*PnP8y!lSkw@5hRGH?B?(N5`ElLMbni=vc>{!IJj&!5?tx zTLqhFa~hGl(tsEW3f~?BFQ}cOAHEu~q-W;v=sWD$p|pMr%FAlW1@O>u6(i2QsN<|#Rpm`M22^V+zhMoJRrDVz;)oG99K0%w9hDA;yhFl zRBPp)FQB^{p1kJw%%-o#U&{t$B*Jplb9=cs)=QJtP&2 ziiR;-Y@$kD&Ap^#mv$u@*E$w)$5-`3j=yTxR zp7X06o#KCat!jbStHhm32kkN^pqBOpyWQsH(5E>Cxg%Y{Mgue3 z2}kKf}@q3lRIpM&y44obtJzYb5J>Mk*D%GdcACftoPw-aJDQB zXV!82Z5<}BG6L@-Y@ED)&9AV-r=cmPV&A#AF>NQcIQ}*`^p=lx=8@XVFw||EMXyEt zbt@Yd_>r@M+ysV;mP|eau8vm94^L0qVa|LhTciIQ;Fcdx-AH-a_3#scdy3%A1Qv6U zTu1V&*cvPLwQ+9UHU?;6@7_yDl(am4to0oVx&&gQTLotJ!3?Wlt=ygaS`Pj6XRRkl z6>iy%rs2lCQS7nDQ&tZ*cu-Nlf6y)SE1aR46-d2SQ47uXvb2&57qU%7@kH%D$RosG zx7&s6vwNL8H81N4!!+#yDwaT-b8jq+0itg){8qKd0G_TsvDtsqsmlg-4W1q%;tl#s zgaVB+=s#AOgueajV!H-qILft0PR&x1r`3sL?EafF`i%oAnf6>n++`&jwAclkuy6pi z$al@{zZf?7s=b`f`cI(Nt&EDjzFt9n+a%r?t$&PIbEpT323?t&~@Si zz)aXJYIilr@maI13isS$`yet7M+3jcz)$y`8A{W-+ghZ<}f1=sR zcbGQM0(P}1&L>9Nyz+GQ_l2oJ9Y|hAz2o`d|EnD%cj-PBanUF1513q_=^|-8xtgVw z#E6@}Zp$_WB}UwsdVEe)-8I+gRnYo8MV2X(`b-xrSd@L+a%FmL$#0rN1;132Or++{ z=NYoH&jhRalO76QQZI%A@M0{R^J1u*IX?!SR|^FpPtfua`pLXX#e<99mF5v}x}mLC zoRGX%gdFOE@Scsm_O?Vv9M zYM#%AXs%xiA!fTwPS+2YL@dA^Sw&nZE@T(gvP0*DllVVp$V8c?wcVjydw<5FRconB zb@9G_K=HaC1Y5N4v8(Q*{;M^Z<)AO>9E?@^V){l~_-mb~&e{&I`ty%kK zG3;xtG-GPY+p5;mdWzbXkT2+EKVA)0<}?}Gm94=keGDrup*8r)!1$4(>qRQD)wJ|* ztv4i{4=K6k)H#(z26#imi$PxkEoJ7!2>YIj_7zWl1|7d=~d*H*8#}Y=*)xV2FKksWF%Q zWf5$~Z5_UMYsBOevci< zsWyzDrQ4k!WT!05kf#-{&4!uULSM=E{j=|4TR)B_D{!>JrY z=wd8bAUp5u4D@$LYS$y)^84rgMqj5=Ei#6UAQLYo2$c`%>eSg(I zATNj^c)K;?+BW7hspyExrJl3L%EyBHt4-SKH%yeoKkDabx^CpM8DkTZ2YxEE>2z2s z67ML=%7J`R6Un&~tk#cDlqAC^K=RI{xXqG^5v{##h~FnHys~`Ia>Ad?&rr4}71{Ih938pp1*0UF*lyHihXN z2Q@IAGx_BAc9T4HO_3Z~=hg@TvplAOc3Qm7#_7N$P9N}NN=?X+4(6A!@FPtdky4`S zsm^@jd==YpP;(OAU*jGuyNTuOyL9W@NTf3m;!lGniAzVR@0TX?t}QFc>^d3_X^Ef| zOL$m=X#|Z{9?qYU`+q+$+dekiT>H#{ef8O$!S>)Jbh25dz^Zgh;Gl2YuR3vFtVSp} z)u{FA4bUC39;#Rl6>;}cUmnOatu$;P$)@3!6jBZdR~1W{F4INxrTXR8*w$YdZC{TE z-*PJTYz6YewsAmflBMdAV_g8j1ad33yNn3 zSB|8eaKm7wCqkpSyf`y*1Iy zR%oT2hLhZxQ!n?;UzhP_+a{`%{N2o5srylG$A=lxmzuAD4E9wR?Kf0d_&UTv*S255 z6P+OU3g+D|wI(?DE|sY^FpFB9dV`Jq+}P&5@u6E|u+zq>QQwy$hpG9R^lOkd3x01k zRFo!N+xrTXWk|HY!BGzP`5gCs062@>^Lus9)oiynG?Uh)z_k46QvVq&VYnjw{ld_? zX{};UbkLWwL+f3sW=kWzH#~5qXzX2ki3oYQD;=LTxz?kSK>PHf>w5iq9UQwVAIO`J zkq36Bp<}v9@QQjx1Qmf0o@ZvyDSCPW=sl6L1#?B}SlLK!vApr~kEEW8eScf@YYS#4 zBW4@XQOj6XqQD995`}2hU<_7$|21TC)V2exf3w!al={nX_n2(RoIJnm) zLV4=5%*2N+5gx_UU94#Y{_{fR#@LD}Cp;VDpPu9|cAI{)YwFEWG8)&T0Cu2c<(mhH zoBak~#E!R-sFn>dNe*+WUl(m~J>s?X$vOY@(#iI>C<%`KSY{<>t8Z z^RjkIt!rp*R1LMbGJ$FYb3?&OZP$;12Y z>^MF{qsVb1aWUS0x_sN9gSsyc#&WgZ06P97ZOkrg2TKFVYloBxOUN9}b1jUXLZUm! zf$gv@!Q3znmd@ibLb>(xk8^-!$y}lM>JEM)+rD*lw16rhSHRJJ%?abN0ixK&H|xj? zaeZp`pX8?-kbp*T%wK=%>sxVS2rQLE z;iAg$5+aq2rKU$Ob-%E_ys_EO-s)7};#?$WiRRo2rt9aTki$DA z?C_pxu=@+yZdOc#(2!pZoO#g$bM@-8SUW!x`>F0V6T!OWha#o(!$ADpAPc%NDy?C< zv%w_N&Tnwrv^amZj5!*P8Ca1#d28#SOMt*-A{UK6QB_stCnU3SX_OJ~$W#$7uVR`} z(Tao7%x8Mdk4Glq#!M)qVd$2+1l@_zh=B6JSbODW2T_XLZ?C?-u%FVybttp+nt(Xg zvElccSAJmsj=Lrw1`>)IQOl5im{fHu%w#oMxKqfI07vp=BZ1Gs<;i|!zcAK$=)a%g zoKx7L0B{sRw^YsbHh%3oB^S+`{|2Mx!cgFHMn}gdj{U5k$(apRZ9V~0RRKAe@*c(P zYURlB$({&K7#jB+HhR}QMdZtwhaE7(rX|fXg;ZzU9`Gi^dFRY#9;6y8`5rNciBe|EGHgFGD$k!XVwkDCZahd)a~G$_!$}CN?AR&1;1kYCP1em@4g+-)zB( z4o*Oa<`6c8w*JwTn!F^0o&bX}^vb7v+fMN(fVC=!fOF>!nv8)xpsOG7bK(0xH|vO? z;&R$5vXmE3+@q5>-AVlD8=t9OvDvY~D$8jBr?(!3GK)76I+l&p#SeMs4|*yt%C0pH zdb3yC7ia_s1M^h^aigL3Ed(U(K4WUY*dQxFoF34` zWF}3&inj~fOIi44ER;|9;m6WlRv_#fWzD=0Z7h}Bd5o1kEO}6^+hujlvMH~UBzCq* z3c5rSyUkGcJ(%meQ-WHVs{=aoFWb;UPXQC=sNjnVl9zST6`6ceIpW&I|9YpoaT-5E3f)m?slojiJm|aDTYt!TqIC-iqfkdkm-Bvr> zEXQZZ&Tna=>$UDjc8jsM-MWp%ou+2t*PczXYzsypK`4 zu1t8{HOa-ts;BP&5G4^!7-RuSaPbg7*$sFntFWpwj|NG1W5E;Y2Rl4RC7@V#>> z+Cu&(7d7CZr>J`U2fE3g`SVW2mB=|%fqVkT3y|Pz%DzASU_iyK5o?j zJ;c@uIFKr|ZI{UFu;jo#JDTzTu9P@*L!ry0NzGpLF)W!fWSM`S;QRHp%tX_PU2ZN_ zQ$P1WziB0I9qfy>XO`6+R#Ht7I-R@%N73D)PGEil}= z$AE#`PeMr!TpAiY9|NZY9mLwrli`lmVU3R<D0{N|s$b#h zy{UIwm}e0*%96K^&jc~u`${(fRupFAeMgjZyRy3KsN}-c^!K0$+Qa(2y>yD=sNs&T zYofo*TJlWLrW#PUyZvtiKRsl9A`+y;8Dx*ku8OI#^9j}!;?}Z~lHHzcFxqy66O1ws zuLm&;jje-TozAzU76zn*jm0cX+{}G|UT77xI#agZDh>sp@oECio|q&q-o`QuK2-8L zy6+a*R?mV7V0`W(Ukj{4L0oOd=0Hm5SkaP;E;r2}c08*lz`rj%Rc70?eSLoR^0ZwS!B(cjVYOXLi05xb$|dXzCg9fs z{tmVdPQ~v{qc<8mex#)fh!;Evzz`r00=c)5Yx0dg#|ENV3$q`}`@lB@6IOTK)Z|vh zpjr1bbteB+P^){0u*tmcSfOYpq}bpm-t@9Njfg1=6N<#4JFZiBypLa|!t71ZHZ3 zzo6(|&$&a(a+GE}*|2n4dB3(_j{@u5<+Gr~ocz$|ejWYG5*cXc3nS|#_Wdu6u9qTe z0&m%PP-{$9t_@E?2bm#6OW(E2zbL81r}GZ^Y`lqbsy@V4&?y{*e9hzU;%#s|*PepU z_naIJ>qu&$r$!B5U$qo3ZN~0t@hH;1x+I?tcVOIghqBkGlaGnfk>UVl37*m*$!;eDLB*t6lYU8O`xbl?U$> z6xup>&1~E1-+j#Qc$3Ut`EYd>b)5z3sX(WOARtbNE6*xe1=K7ikx-xI%#H#cBO>^$ z!c6jP)YLAHly$;*9e_gi?lbeH&_E&&mp=1Ze&!$uI@aTJc^OH`J8&a-=Ra?~#MU&%&-b=t1OQkNU%{3uF_@mJ%`<{bNzp-xnCMsVRKEmr0WgjK2<` z(CLJ&gM;bGZAg2`c||3qp{V4kRDS@(&s9u@R%D?4`3YiBRGHytg#i^wenXk9M7xPB z>%qy%b38l`JJB0uK6H0`QlpE3#0EdrqfD!=zH0{r=Ulqdh7AKU0bgY%S}e>5PuPni zmHa0!;0Fwq0l3`1pT6NK^|j+y%ay~&$nfnI`=) zgrs9^37T_UXjo6{tHIIyM@D^rxd!?hf%B~J>e#9peh3irb^_mcFmfR;Y#MW?<9K2l zQ`?QoU*5;D!EQrUNX~QsL)nwLTwAKwv=R?1q{&t9__AFf1jgpFEKw)%3L@<$xp(Ov zsn|pF9}9krj-$h4dWJdy@udN3tjPU|rom@Ny=|V>_^iJ`MeXiG`sM>!HPsWD@AMlF zqO(Amb?G2iz5g6Gw?TVOsJxIx`1j)KgT7?ANK6Zuwl+Dl>?iSfxA~cgO#cb%086Ok$b||SsNR|g0mYV>$(v@j z*#)SZ2Cd1;Teh@#V@ctYoCneC&e^-YuzYGV_*8**!}04|QBAV&m9J3n)kX2r9r4+9 z_e0&>+*gUGe2OXpoVE`n(Bm$5g>C|C-o>MXIO>NJ9O6z`YuigVvj{YCoCCG@JHgtm z_=6y!@+7cnQSxl51p`CjApB@#CV|k!u@mmc4?8M1SHT2(zz#VvgK`^}CK(w!kKP8< zdOB>a!Ie~n2K^$~DIL9+{vJUNfIEKH)rcny8nxF48Z?hy?pm;-siSyxsKod*NSqL;BCR6d8$$ea4AMn*|J_jzy`k^li2j{E5#u| zlU%j3MGi%TocR$Ld;7ZjkomcFu4Aa?%}?yU_07%iqaw~6Z2coPyE09!A8d0ah!!s=COz9{#Dd*2_zB|Jr8tRM4!_rTj%ZXcu@V zcT(+vCMVYY{weLsDAU0@E&d*^z#B&=AU-maixXq-H;cQnd%-yr(1b1vqO9! zb#TMAS+I=^=P+%1(EIcOGxdRJ<5(x%tU|G(;1VO28n4@ilSB&7jn!puv4`tS)ukw< zdBlGZ^yxLlep74WB?2jzYSlT{s=nJFFFM1DZisD;WVwe+l&U@#{pMX(7!U@03bAUf zG>>DVwComIBF~*X;pu~tt>t9Yxzk{I!z&q3W{#Zb;e5lw%B4!35R*%$GU z7_dd_#k&z2V|4-qoC=HDwK}*e)vq2U>S4%|GvzywfzQAONi`KNqJAVJO_fzPB(fs&r&0<&goMbpB5sNp;!LpagXwBzFXK~ z8Q4!{=dk$qS|39p5s#O}w;iG8O}hc0U-j@cti>GrK&y|b z16#A8FoW4xiH(_)^xtQ!!pv=WI9@ppk3H*$j60@r@ECtqV^HFVA*X z)3ygx6HO40SNU=0(g;n|KW!e)aqJ%_F|O zO8Wh2yV^G^gCAPD0^Wwpzq_b=4UO&pL{ukVFo;lV1Xj4*rzo; z$7Z|O9I!kCGe<@EWdotmq@Qu68B2rK^WXkypR&OKR*ao@F6XWEHQ=NlO^hiH*3i5q z0u+K=$-+X%pUTY#yha22nLDXq@!j*rQ%}5a zUj>G&*@k~KmnaX0{l%IH{VjN$`ql$C_jLZNe%1GX@~`88N!V}OW-S2sDd=J(`4)5O zp6wAm+gKnwd`}Y4V*js60tT(CSpzKQC4(5#A39^P?5DW4-IlM6f{#~i8C<^pkLe!| z_3Kyr2Q7S*a`=j)0<$Qo>R`pex8{up4Q^_k`At4-;qb@ARxO&#E4`QNnl)9g*rXo& zRH6K`z|q%ju*d#HvfGKRj8oBOYdU7m8QI!vB?Dv|n7Cm9n4qt|YU7))#~axmeP zpxS1$lbKxE(Q8TOx0(2Q?eF$UNZ6n0TMpyrHuov;RM+tm&=!jL$x9DeXY;!>#?;$B zgxr!0N1=~9b8-?0jMnlM2Z#~hya3*Er9L5ag|e;o6jE-1Hzg$$7drh2!>;3b4O4`T zc)X+s5HUIOZfkU}c= z=MeYx9Srn-&qZ*BZBG167e>8N2~D1fqB=Cie&pT zG0VZ#TeiI5eC|b9vhln0JJ*{r`=l52K!@;7$(_Ed>xw#Zco)H;qhIDts^6~n%dQ%# zG#CrC>f$3P$Jf^6YK$d1*HxY@x>IxK50i|P!5+*WwC_xs#)|%~9Fkl3^5tMSxLkMU z{*aHW!C+r70V^rEyJ|akM;X0x_3u%qJXIUD1z#PAjegx^Z#w z>s1HAAFfT}G%O!Y91~QG$*5IX;kn}kC^2$eUE+fq!So?=e;J4pF-|Ke!ZUx zxozk8tqNt^Sff!WQe`|iJ9SYw>s+DY$MaoUZMYB!Jax4krFwUy)`INuzdLWWfgUr~ zf9)N&N89_%6*x=OmYJp6x9}%U4z=ykePJCbGaQC1{D97)jUft#L<$wKoBnl1Z zTu@f!tK84UGv{WlAol{?JT{-nXlpOqP&Pn$AMcN0<`D1n@F=R|%#q?xSX##yfx>2S z18HP*g6TO(3BfF-ke&?Y;X=7?*}AFz8F;U$nDwhgW>4_@DiF!hOgCvj^(T-Dc~p*Yv*4%yGnfLsjebe`r}R7>vP@ zy@y3ZvR#op{x+6YW`6X)R)r6z9ZWhpAub(SBW>9={iVag)dY;CwWSUM0$K;NZ6RD0 z_AJ4;%mVbiqRQf;scm+`+&b*bWTz z8D1r&+3*Xje|41T)CHf;$C0(cEI&x>0w@YvrF#B1D|`tf|stBKO-Zps*v zMd30iVO7X14ik>6sKMp$aChCp!xx1OP=zrxbeB&02I;KMo@SPLz_!*-x8Ooe<8!+1 za494=s%6K~YqaKU=o98IA1x3SgHJZBQ_VlXBmV+^ymRMVuGOC8hArI|N6H7u8^ECj z3zCMhM{M6+Exq62(T3Rr4m|(*-!71_PnqBE}>yp@TMps<}*RwP}aw^Y^d4OwRLL)znr%jywS$Z7YXOz<6seY%=eT?ujGOS$G+-s z*0@+|Tj|k%uK~OUb^Vic0)Zdr9v*+4VO|TM;raG>^@=h~hMqW>H|L1jvu_pP6P({> zSW}^?X1I~z3CdRJ%oPnfe2_VFD`hfl8zUvB)y%OD^Sf^Z5F${$@L02t<&JeES<4R4 zE*fF^Zo-J~3(mg1`iG6+pD(p<)(uOydFOQGiPqYLi;3^Mr`?{I*%9>6iH~&Cw|J6D zGo#|GID1+95!BJ7$Wf|Dr}a~aIS7Ljbna%>#W38lk_MP4?GmxR%!Z7pgR>tXF&UJU z695G;*28HEpg3wb_r)-$U{y@4ycv|&CYX6)o9rnVa{48B{WWW{V!D)ek(sL)qKLNVeZ zS}mi^tfA1`nDtM2;Ns=^-2LG5x7Ad;Dj8gC`hQ(af1Qi}A=;4|PH%H!{wwoi$^Uca z??ubKwf^6Ms;&Nf53J)gzTq#b8Y?Q3&UUt8sNQE-*Uf!<_RqyTu6%N5F5^yy9U0Y& zB`K{I)o~qHB6|(rbV_>lZV|}!f@Ix3L-i0_vf&4k?3meeVOvCKyFT$cb#qp75s^>9 zmP1h$i(%rJjywvg5gK!?h8M!sB4x254F$IAa~z_ea07lUU$Pxp3S)=)%1EkYs7x4x zHMADlS+?vBW;P!2olcv|$xtAJ^ezpAa-+H-Dw0_+$($qbvn;jxbzNg4=E81 z=PP+pjkxM;@(1+h%>sM!^0&jXW`h)Y#S=VK%^qR!McXwLl6ut>v^x(aev-?pEFOI# zTcE3TIuFjHX!kNt`I}0dggs@o7g)6Sd)SOm{^;!B7KJmyDp=<^(_fRyN;$1gw{#!pN{JsTd5(vzIL)3djD0AB>@?3wMIR-&x#hdfTazt_v zu|m!a!*L2t;xIWPV#;(sV|!*lHWV#7Y+F`24q$FR{M^i2MUEc zzMW={HKeuaLQl*cCb@ny?A=Jgd)V7p{?G<`y>LVVos?h%hebJ6(Xkj`4a%2g6jD~O z&e-(V;;a7qiA=`$#Eh*Ux`1_UKpsJQ2(pVd-jqTLQ`$GqlqP}q{s%|TA;yF6uo>7; z9;OSci*$XiJDh-ex7!cB#vo`vm-4G)ayseCVM$HD-XzeO##NB;>mb|6gOwTK~=#KpIE763#_7=_esspG*WkP^p*GG`LV?QgHxTbSto2WLuGnWD z!stT|h5QKx)BieW7Ws8w7!L{|N%|bX3u&>{V*9XZYvv{qXb}U8a28p9qsZy$O*W`#H{B zA8oWE1jSHn!-L*l8?ZdobM|l?8f6}F-Ht-q5{lNAU>h=Z$3HbE!>N`L2Eo&XD??@) zC)SQB9_Hzf^V__MecTQLN(zJw1J;t=nVTkE*4*X=h#cj`P$50^mF;U9w!BjX$28QS)?UqKsFbKt1}ds=pa3FBty>RUzWx zDi{DT5{10wSC-fGX*w6#u-=0M_uquhaU{}TgD(zx|4a)68Z&2p8}$RATKdWZtx|-^ zvV{J}Jt-2Nr#L7gDfnjMLUu!}i|J!w>X&lWxZI+CzRI~?T@cb*#pTPd91xu>VpO5^ zSb6=R)d8yd3XHK>EYX0dDu(Vm5+Hh>{k$`$vh8>Ypq!F@F1R@ zEoAD&FduvrD~>l1Ur#X8$8Qna&b8{K*TQ3MS~pY``fQ;OQd9vIaT+t5!iL+Cy(ycv z6?xaSKVs*)hnGo&57EAgo;8^G_uUM)CltMkfT=W5TU}hFS+j&z_vydVP_7g6MWfvJ za^^n)uo0)Z)@f|Kb6u6)w)4% z5T2+Ocnx4uPi57RD@f%Jqcmlxi%lfs^tRxxiE}dqRK1>at?a{y&& zVQKMEp^H(eq{&L#FaB!6mB|v+VG<1c63+0TRhU-GI4TQjaP1G64U|nra06?dRti&C zt2^66dpy<0Yh~e1Qgn?D%Zg_A-mSJYqJkxvTAQHh!pE8tx=9HjK|&>XB8A2qh#vngBWtdqj&sQ=TX&i~KMh2@(S z-N^>RwA_VwZDnlSZl1|oUkgpROC8(n;9i|R-|YD3 zBQxN>Ep{P#{v%*;nF3(R=k%LarwvYX`Un0i)llp=pPFR8*M0w&>vEz_lJfshnrDiv z`Wh<*z^;{^!zf!SM_@?+M~p9EIf51XHSj;Kj5$6Cb%yzr3I);r0&y+rWGuQ|d2U%$ zZ?4F+BRhW31#zvdjt-I5QeG;Y`C#*lh~iIPl@EB!{Lt1zM9#j6V3?m6O#S+`euno9 z0|xw-io#2UZG-z6SJTL2>YAu*-D?vUhIQOCnm}1TKkGMO(XRA0Z5T(`5jyo`S398Y zQNzL!?8{?`8W0LBGKLq(@BO{^REBx`14=k`8-HCFeZqFNJa>e z0U=dNGJXqs^SX#_K=>V9Zk=x3=Db2dzuqkfRXDvV-!99B$TIC@-PeGbEvn9LV~5@8 zsm8>2!TcE_kk^3U?8*?|4jgy z3%k-6Lthrn=b~3z&;fU^>vJF`13Z$3{v>d`|6wCIw6tM@4M{Dl8skplPO$W?s$HY>1T_ zc=CPT`#>3?eb%r!;a@VAwnu_)pIJ*yzhO^mH<8LWdpK4pB+56=&HYymn=9OiJ}Z#z z`*|s2D5U;yk7m39?^kU|1+y8D4NC^f72FRkZhw>%)r74;btwCSjL^q+I?l_LfGsrr z-ZuDJRO)0L;+bKmS_<D2M`9f~UuybbytNwrdKZSFH8iA3KvIi|y;t6#+XbB-;}S zq8RS^iavIUr^g=jX-5_yLhaA7!bHo+q}&|OVL!egCwiJW6`-<5K4Hnvg=ux`9tz?!;z)%79LgYnh|-mnb%7BNlP)X3qwg7K zwj`Zu={U+uw5mO=i$3iln$=#-@}vzxfX&QK(HecnHC@=&SCk$6tUg}b=90K*J4iW3 zX^i>R=FPWr66Q}o3tkMyc#o)t#j6r@0E+Q4oZ39>gTMi8XRj*2d^XX%Ji@8Y^o*2` zCW5`qcS`b0Gt;C(%&$_yzWJXJ_5UMlP^VvC;IU<#$u_07(*4Z-gMbM3w?pMIvNjA0 zeI%qChSJ-u23nc@UBUT_fHEg9!^CQbOj8E{sSCg08CUc>ElN>kBdilJyGrW zU(~&MT$1VjH|{y}t!A33rp*>p+ndUzGR56yS}aRj%$3y2loWx?kOY^SX0mdtG))n$ zELW6F1-Dx(Q!+)$1r!7-7g7XLR76pq3$$j=_sn_D_xzsU^T)%h*DKT;h5Np)&*!~e z*S#A8xpj|o|E}>lFPiaP-#@RieYIaNso_53)Zi)*dstvNt~TgEy;VQ1i2sEOr4ur7 z_?5^_O|}4JIBDa&n7ty*1(eYp+tiog^yLB@+gHS@yvyf7Ccr1muN}_&|@j9t@S|Cj86({z6+rEtBv0^$W!`atQ_O z;(X1&W0*6o;LBO~&$|>qR3*M6F;#o-t0)%W@y!?b35_f_S;$i0n5l4782^T8+Lt2b zB1;rv{C`tWp9PCNU1nN3ZXZN*q~FD`t)6Z7Zj?W#+~iF0W^e#rn(qw)4`BzZCc(C8 z{}RXcOF&ks0ZA)>Jw8V*SVbJFbYcMZX+5M*sX+m<>l$hS@v@FEXy~SdfE0c;Iu?k4 zK+q%}1?TiRI^L2gtBL|A;mVC0ZT`z;3d{A@`}1bG_=VG7-QNG&Gx>Qh01f+Je2= zw5ZSqZWXdq&7+U`{K?j`GrG%h1<8+hoaK8mJH*qJXTiOqUygS>|~td=JSJ`9w4bKNv)Yd946~zU>5bwD~}+6Q|LnWXrON0n{)*H}piW)%DQtBP9@O z`1(!|^eNAm0~4^IRNuds=iHJR7O^Gvyx|{+w%OXpt_mCE>{EoHE{>ca)&QTbRH&vp z&;PQMa{jg!j1&!x;s4mm`v1!p7MS2`%6q4_5Sj=B9S1%^%;eC#l93eCQMJ}6SKOU7 zk3EPXZ{!N|-car-nv+?(6t$(R{D<-skg~bb^ncn-XZ?oQI&(rO_fRb=QZ)-fWQkjX z4NmuRqAu=Ye93NjOV|CO`yzjISB z%u(eht_#J6iz(1LwX=PpSgj~M!2Z#lkS-c-h{d|=L7_%eWo9mqb8)FD|2VqnyEts} zj?u@N*X>&ZaK5$ov8+)3b@2K2?E@&!$p(Ed7Y{5p)7a3cK%kD9gbmyn{};OXs=~_= zctX0LregZY*&$|1)aWP)<%pN=wQVNgtkL%hM}T$3g=qEO&R{j$cM$H5;8jP3>;SW4 zW=4$!v4*b$DPDC}ZOQ5hd83qsaP;ah@hDm>7d^`76Pu5Y@FlGy*SBFi*6gjSEj7Vo zJmQK47SZXbt*bskv=ev?DK|9sjF{R%aP*WiAIde8(IPN)UMGY^@^#;+(WjoKzyTxQ zN*m#a$V@A5rq`2YS@fFoyrwvd=RV&kJS$#Xg^UJuvzW)9&u3RMv zwBS2%bvFK0m#)30rm`9urn~-Im!7Nc1E<0M8P3gAx{1}&i@a6dQPO+Nmq~cd@ol1k zLASp}lF=0=%(2o2pO@{7A~%**wG-lj6}8X_A=RrpU};(7+sUi`cqB({y!BXq?3T=5 z>(#WudY@huFTdn036}q`uBj-^`gn8YR_NhbZg_7?F;$)wL)T%5R$mdKWC4BL-IK|O zX`_=K8_q;fMh9^olOQvPyqGT7P8AbyJE;h0aCN5vD!gL@V1K}~rd}1Q%)n&ppJ|PsseT&2; zo#nFK2r~5Ouhb!Ze?5^50UuPFv{S+GT>P$yqc7yLWX|_c`=%!rTCkd!=?MMN>+@_j z!26+ES+(EWh@et9LY0WCN~OhPY@vtS1P*_OZt5cU-W01?S6tN=cI81Gh}M8z+unV) z7ph{W+cJ_3Y}O|1!n~ZP;m(u`=dDX&zb$Xziv25fQhF!WeH<7HO;u!)3k%W&i{62* zS@Q|8~D(BlZN>lNhAClQ^16sn?nBmqp+3g>5SdcKn;Nj{fCs2@u$-s)(ELxb>4`g zDBtvgFPF+gwSe%j_-73px)Y;1=e6;mu<05-yM9bKPuUQ5=7(xdSWi-AwBB3MnN`TwFT7C%%Y84V?3v6;oLahA~N;B(h- z>o`1I>|PMG#@D>n9y-!8#FMzz2p9I^?I8I#|rpFU*DOyk2*-@0gY+>tVkpXS5JBB>zzdTE%%q-`pcGT}kXF^HhF zD+$jNLszKNs&UGr@%NQRQax2p%6}*y{{7y1Ia>R`t0p#nicV1rP2m$XfE#o}nmKun zBlki6)H#-cqv^cR<8^SA8fQVZy4 z0)K;~+QpOLq)24-W#kD02w%x(^^d>bmk? zp0v_kFx~t4Q*H{^({^ihLy2*)Biq{$Q%!CxZJXpvE0BOBti3r~N^K|_OVU5S_?zl1 z0Yx_%aOV%|Q>K4$23BD{AvU210WC)B*rc7*F;9hFXb$2b9A-bX>)$ z&Cxtdq7P37$Ij(=Yr(OjO=kmM)r>et>rZ)+c^?DPyqa|L+iGbQCC=7HKJlyl2P{Q> zOE)np5Kxq|*Ca2q1hPR{j-K~qYXl?>6@`Agu*|FO!xJ);A}}uJL~`NBrB_E8+ky_( z>jeh11qFXDBvvm?O(uTERLb6$RDCtsxBKbQ!-6y#R&#LOnb34afeOi?Yy^J66&~tP z)6ArfurGZ-;3^Y8g8gttocWd@?Sp8*ao!+;7WMwoNGzg9EPeygiGIijmH+z?l{T`P zpPH2)%3dBcoQxSP_j`&`vK&pX1X{V{Tr-u&je%34&dR*uUP zis4~e(zHiF*P&6F0905NaFGcPjW|O$;YOnahii#76;xDEfFssBeV5cpGYXR>S9to+ zxMBBr(=Kmd(=FZBfho+?onY zq2kO2(Ir`prj1cS0}V~c8_Mrna8Hrh-ChhU-YJc2uX5O+Q_!a^8h(*dkSj8i^JB2? zTte5Nc^d&2mp=gYL?m6z9)K3(F>UQAi1uj(&Wkq?$glKG^O+eNGo5z4&esH#eq`B^zO3s!_u%&cu2L}pn(yZ z2Y$75Q3*uL&Z@`fu7*#29*Jx&WfT&*9-&ad$_fUxkQi5FHo7rS64PUSEELL@hu`4v zD@r5`JWQSywdkQswAIAL@QUDuvU~JI8e#JD)FQxX1yo9d42`Dmu8`hwqVP=c(gVG5 z{+*puAE^x!QX#0)=LeYK7uZ^=MBD$hD8`Q(#*d*-fw#+5 z7!}l4I*p`37T`CC<>?Bv7&63(DS+`cwFKj*s;91gB zW=F?8fAbS?%*(%Ru~_uWPiC0`@9!j3AAPQl{Qsw&H2*}w$)`cKNo^RF#i^BO>m;Qr;rV z#~Va|{*umM!k)QQ&9ej$dNL0!Ac$Fw7Pt62{)^jh)ta1Xn}!hwYwr>O{o@y#{DB42 zBKGSki;wK{H2D9g-e;7SYPphI4~aJ_V~Sb zrm6g6K|a@OY4nmdaf>h_#j;#{sM;l<75+pd*dA_80bXfDb&V?Xd9Y!YKE9qtTqIOi z0c}`rJkSsI99bIS-0Cw5Je`quD6kKJ^q#jPa7!yL{n3DJ8I{_j{IlXIqk&byL>>$U9|&7_dM__vVzO*n5=g6H*Ia- z7P%6BFVLxX@gkJi(t;uu<`axh-MjVD-F9aU2c}bQuSpqfk;7p>BA@|noGVPi@q5grt37xJk zESaKtTs;>=(wuNl8XU{r;l#8BH>FUnfw!{=j^Rm2P~d!gVwm)A+8R0_{eK4B3i%7#rk`%ez#9~ zS%kNGYKkMsWtfdht%51?M(^gmm^jqya4Tu zzzJ$;&F+VDW+|GBtXI_=L8Bb>1|hyOx;LoeGfYiGW3(`&ZI0>Ytr6*09*&jY8UrEq znWYUg@BF&D6N0eS?=vltq2^XA(^P9BMz600!$jlxJ5@kEScMy|n9OEM%cj=kd;aYl zX@4rX*R;!h-^DK4jqpZZE3m}vgAS@G5F*~?yZyUc+hkM__uLpQH4><^r(&T615L~8 z36*_Cr2mtSNf5b$6#=^DnW1!!R`6CT#4x6Ie9w7<^Vn&dZo|DLq`pw~=^HnKS!grC z`uMPP8UU-{j-u^_!Qs8*J(VT=&+ifE4pX8YHQ594fOz!cr_d;DFwNwD(l&oM@qeXl zns6(oL0TFkGw|VOU;lXRNBg?)_Pdxilt(x5^C^cZsjWV2X6c%xYnR*)#nBUswhP@Q zt8iXP?7nM@;+IbXF6aW7Y53kLoA`MORs5(O0U!?KQK4m~Ni*c9_d~y5l=57&N|5De zNvwjt&Bm6Id^k-2pTcbgyXm_~!Me?u{32;(%fJVY9_w=~A3id%7bVs2_j{I>TbJl{ zRM)P{gpNkz21m-z4w!K3&`l*~;4Yovej#E_FSb~&S;iXSqp%oOMVXC9=(o_>fsP~@ z7hs@#OKPfg{KKSfV?}-y$}35z-)q1=b`B0w$Qg3?&`?>MTB`)psS9wisUp6rl|D@1`C`s1 zVUf40GpurHr@SAgN_};DLZoT*i&Z@+!Vb`}7p290d>_|W7nafrPoufkXc>c;pSquN z0|X?D^dCCv_QR?e9N1x$xzwRvrC{>hzN}mVlEuvOus@Q1UluOCSIPlhbrmHGYGZN*EhRda_6I9q4lEDyhOsrc??>3BxsMIC^UuH;YKMAB@ ztvIlNb*O~YJZ}lz8gDSMa$+5b^qyfX!q*)Nu10TIuL6Ix3b8(rSa<^3Bk*}wlA5b_ ztsy2NP1CV}{JgJPrS>(~nVnUR5`a8>mbj4X_Xf)F;!wTI3oB($S1bHrC~0 z_O9!NwJ4&1$e*kzMY)fADn>sNk^&>1L^1L_cjtdN=AF0ZY=BdpQ?jjPz{ zZvDA(2T0_YE-S!66DLO$d!<%k0q^)oLz%w3Z8wy}hdY57Nm;uSU!vbEzZEN*inVLF zmSaC5%%u{Fdeh~Wqp1zuPXZS5QVP9go_SdSUw21jT- zFwS(*c(;6$S^!ZGUA^R`hvv<4vTd)_okc@K%pNVe>#Pk2tC=0Ay_}qtb<)4ns0o*n{wRpsxqVH=ZYdJHllOX^c?KE{j~nGn_rN<> zAFP;X&s1A#&hypq24tLOG*$KIahh3Lt?|Hr_N~9QjyrYF;Pbqn)gMYj!_{3ruUUIm zt#q1MBdD=wqO&Z=j-s(E`f+}C`C#3|-BQxaGjBxH-txwQlHlgP7W61%^*f%MkAYWeOacoyP^dMK6V#Y}s zSkN2hc$)X}^2S4Ltpy}Ot|!b3{e&gw_aWp-AK&2je#D*I53wt!3hE~II)`t;s@`TC zzO9><$$#H~(JzBG`O(Ins!vSlqTN<%4y~~(-*(C-dm^~_P}Ioe2k2H{Snf);o>9a> zD=KQE83^H!!!B$044;z_S)VguSPK>k`r|4@ky@{Y2LvSO5;O*#NVVrw-H?fdy8 z{mx4+;U?ESRf(B$Q^Xj~ZAmXNYNAjd?Q8m;@nYcH;~RswY^bjC!FJPLAv<`VwqD-q z(27w0vIFi_)S2s7aiD9_yqklWW)2M)&iMEcv01B9p&w6w1Ux?HOo-MepMHUdd zkuEQ%*w!n?&oYn}A?b})O|Qzk?sNAZC0ooBpai9(;)Fnmn>lK7zl=oXA%}o%(K5zj z@X}&!i#kmUc^UlDVBW~#hHDVRFOFzzGlB3TuVQyM>#zgTIozBB9NfZDCR%DdaxTV# ztrbcsDMLwYQfupQa^cwuTdO%q6nnznm2q|RZrM*A)n>oBs>NNv+BNZNH)c+qu{SOb zUmh;4D_!`jF&4IY-xer0>u5+PSNyp3NvHUiWAS@swN&yYj1RwzS_D< zJ;t(`r*|C7YPoZ1|2@yId)z!dz2)x0R;j!Mf_TG#WPR0A@pxbUT*KO1hI5+@5517F9gHK*&kFs?4_)QfvZ=(~ z&~#s9`UzY{))@BcuR_Wu7W-QRFGuBARoYZU8ejG9$!jNqc0UamUs*ush6c|+}*wMht|GJkA>sS8C?6L>TU`Sy5LTm+l;oI4EN%4Lj~Wf zUgtCmF0PDrKwJBo2S)K5wQXy4D&`mZCKCkX-H4(9UOCefEwM-_HgdC$_O(e$u6cAe zOmnfQq0ms+Y?|JiyKZwe+#!I-%9pg0*&Zo81Ut>J+L?5H@E|XSKQKjRZ^kUlJDC+C zf6{izowQmKhGpQ~&h|l3QBUM)*3|RT67L{9=HsBB_cBt=wl+Ujn1n#&6UN&gL2S=n zxFpXHZwMBD0cks^Ft3sa2e*3HroEQ6PZNbX7b{@MsSu{O7gTh_^G)yD{8bhvhLLVE zEWwvmT4lDV+a?g9gEw$GisG0T}a6ft5`zB%<%^6i$U zm0+$jU%HIy4O`copCVsDB~m>lt8`^+5^rFczR9EG<4t=i0t%~&a4D`^-7uS3L7A-= zf{ucDdn*4rE#G~+QRK2Rgq78k@;dvlf(*~_2R8-(k9DxNJ6=ZN$MaGIATh4xPx}Ec z1&RFtw;@pb+%uKUggyv}UhU7illa8qBMOf;{%yLaJeOZ1F?H&}eOi@KFF^H{=s!iD zvAp}(-=Ez?sjqkQQnjmIn)XG1#P|gHCI9xAw%c*3F{L`M;@x)Z*NuwIXw*Fsm(T4L z1n!=2OUdtY-aTms%0y||7F5ji`&0f^RW=_pUj@fmMyzRq!(i0x;`Wwk!kVp>5Uhbx z-v?fW=z&$OY#ge{@I#AJSEO9)Sp4YVfWv|Cu!jEEm=5;Em77GZO&L(=MQ(v34iVKi zRIJQoyhs8mn)eJ$vZbbYfm3uv#(?>~yT&BPteYvL43VYWGt0q|K&8+^Uj3LFlsR$Ii1QTkW!h9cODT%0~dlLLU9oW!JI{#p>@%=UDuX}ngs2$Q-Ar99@sg&Q9UAVKYnrgfkW1Y zzFXU%nVl`cw@<%t*r=T?kRl0$ioSZ)anJ4k8xvE%SVLcax@D>Q>FK5oE>FHsT|BcN zfQCjQYx3$P;e*)&I#5Q8={Yh6*hV?NbvA6seb6p?uoL-HJZysMK@f%V#Cam>J**NbPxj1 z)==&;;z;@7qKN^HtcRW3vO_1Q;vJEfKEml{oVnM(TUu3|;*jT915pYT28Z<^Twvia zzlE+ThJpher1qB9sOU#Qu20Mv<;*Zl3*o3Pyjad@2yF;6wwFGUJ1+-ov<-sq(Fjq) z(4#KR5S@t#nWYn2?#r-|hFm}XOt_43xMNMZu{XW9X9uzh&1_uFhRw^!Dd!RH+H6ss z<2_q{UPBLTiC3TRJ$L6`yJ}8~ef&?A`L7|to{5r4@?$5uCP+wdR(UhRM%~8Vr2WoE ztYoAwf68cPHCT0dr`0SelyvB|czOv|olnwd;YJ;nZr>zgyuvpntVT<62(84twtrw4 zzMW%|s$Uz}w`#4cDDM^L0sv|%+h$He=DxdzgkRq zJFKosr~l|Mf4~;k<+D5^x9$r?lD&57`+LNXGu>U|$`fqFTHcI*r*Z5Hzba;uh`Gb_ z*VY{5+{)Ery2d^3S`Coe3asnd&PO3X6@oH)0_M7X=gnXH@x1GIiXGQi)hicn_?<{- z6XL8^Q(S5lF;dCl>Wy=zJwN_h^v`9x;v59qsjBB*pdYgjNVVaKpoqsOZmrJaXbl}< zSw-9S>x|^CVvFbeseUuyv_m|*+{|FHG9@*21S{)t_7CT-%L;yZ`LPI7{qVi~E9-zo z+wyyOF`k1zYmx+qNVPcm^2(FP!;$?9s+6p|Trf?d7O7FoYx$npDYv!--#vY;9D}%B z>?+XZ=dEOC-3nyvl0~+9i$))obWU}UXG=LzqIYJ>&~lzYH_#CP+%%ho!hE6@{G|JU zU!7I#GCrT!BR5@5k^iZZ8`bwYC%g`MXm($F-K|%WbKPtjIaZl?S^paS?40TqTaay_ zo(Ejyw)X8#PwaaJ>UloJuzD->f+*M(qQ}w7U5Nt~cH1VTd6vUcV=<8(B7q!8_-Xr6 ztUr4<#MT8Q;_y^#Py}`8N3S31LW&8LebSLyPKjvLvnb%A#XFpsk3_eq=mruWp#0_b zYs_T=rZQlOE?N>oAiL>Am_CrN4whn7Ji`i`0tAcR3pyZ}BIf7c5PPnGU{)p!H@ZjM zGf``PAK4s>@gok=#1j=a+3t3%S0D6Dsw!+&aIN~cUY_FYru$CTTu!i( z>_|4WplXpr1k9@T;y`;e!@Jzp%A*?ReQMr|lya?j{8NA9JKhyrj-s=|VZ90+MjE$x zbK{x?7S-|P2VXhV;m1E@^$rnD3W&sgO^q*fgUQQbD~P)!#c0wD&j|M(4|-(6Tg@^R z0M6D|o*8bM;w+rVjD8UJDKH&}D+LoO%#W@jMy?)Sm#`}U}@ zGl0~pNv+}h^4b?n!AUOaF|JR2(Q0D06ajOU(O2|Xh>)wjbV7q<`gumIteYx`Z$8HA zI#wU5NxCL2^gH3dG1_*jeDHIfZ=2@}vsZD_IOfWJOZEr>wyg4`GIT?Z%fZi|^XaE_ zT87~J$z?1g2sdGAcZSc;7FqDC zQ#tyFD(sKWC?wy{X2m%OdFJE89XmyLF0JW_GfsUKu>6MpcH}})T9030O+wEcP*{HV zu6W@d{uXeGZ8nJb(hEV9_R`*+`#oWPsVf9)Ld)(cyV7>jn(y||Zd3*`4~K6FGEDG_ zkKcxG+9jWxqYa?dE+MUte_L2NJa@<+pTJHg3yLkt&BFOIv#o~JHRn@XGWf%a?=jO!A&V%SU`k(E2*j3DoCphX zEm7Ll;;*??SMrbTUL<@7TRCS))u3Sb4u$?5qayuY_Z;b(TnV&^FRfA=v)_UA>Fip6Z3J|hTp+%iY+XC@wT053iicK_qxu9_O_Nc`TOT{ zhX+REi*9HhZ*cnr;K$=(l=jJtM#PT^j=e=|-a;DbEmLIU6O>$NA@Zfblm}!0F0)524-bkWkZD)^zqtm zr|NkAF?e`h|ALzHU~AtbV~>jc??5wpBDX6_$*Wn?ja!As^p1h=MVT=nHe(CqVooj$ z&I6-l=ziu+<-&|W&%6O>RQgQTNg#<|+YO1(TTZrV9hrVs0?AXblxOm^BxQ=+{;FE) zdE8If>qH?M(oV=mh>jM$MWOc~*r1}@GD7%tAH+@)xL+h3ZblEDQKLGA&Uw6gwrHGl zkL#U&P^F{5fx8(>UQb8Li(--VGMh#5UB3;U4+bC`OE;l0{x$c&wvLC(m~SwlJMXu(#AcS21bLq4HOBsE zR>(VTY+!E`=SV7(ugm6N6d;*ire(XCefIa*}Kl;Bg0km#H>I#iFUaPVm9@v~r# z`8Otcc@1=9QyVCT)YD>n?-rdTW3;>Oj*y)tNlsZOo@EC0?>^pA;L``8Nxmcehf9fV z1d_RZz8{0#cS7zd=o;#exESFp#rD4cN?Y7PVlum>I55&Vz+Iqq;HLQkjC2!$(zha> zn}hWq-#-U}RaFQsOGkPe`ygLBjjTxF{D6@jqTl(r;@5rQVc^Fr8+!uFLFr>N1goe7 z#|T;n#1_-<(j1^k*CCeQS;G4K;1*W?c_{;chCs0o+J@1;*bQRWhdh#(bH6?DsM;4T z=K!97;zE4Ea`>HUxn})d&YI@n_a(@p)6x>8Nnr*#OWuT%`wsJetK^HSFau_5+;^hM zs~Y;Dn^m8**o-o*iscGXdzcgvV{zmr)+VSYV8dk^0k=Ed7I%u!)H@Ac7G+GywYAdcsx=Zc5;4pbfG2vPZp~5zvd0#UAr03x$+&81j z&OnbQDdkluTHMi$r%VQUN=Mo*@h93O3q?s(%Qp5v|Rizpy3(Oi(a&zv&94-V1Q^3ve?7>d?iW`{`Mbha68l`qv_i(!j!sX z1pR@DXI9of_>bGr!sTkQy4g8Az|SpcB|b5$5m3yahH_izWy`lP`FwitwG!o8BY9=& zf{ebP6{}sgDa-AJABfisX?J0)BzVpXWr1zi^dhI9s(TgR3)OAuP`Ewjrv$;7jpFQ- zw4z4nXMbBM;~ChRzew)#*L8;&sd|qJ@O0`H;iYbZ8exgN zz_$6}5CQX!zxEvg$NF)&*zWu`{aK=5gaZ?&BcQoS9Qa^T8e(R zRbRJdi@`?BFsm8ObEDsmmDw$Q2g@IIezRvs7x%+D`*+t2o!yeJ9Xk?wd_P^^JhI-w z@SbE}I&JSk&Uj+SO<#I-yXfgYvW4JLh+cURVpVTh%fgen>*H9ZE!vkf@2U2N-Ms}h z@gssBY?$blEZqV?hs|xtr7z4YK-KQPim`hp?sc50R%4)fieivNNp;29DvOO`%ey!c zW4QDNZML=J8NRaRzR_XB*`^l>`d~v#0_UbRV&TnehV$#j&&6u_&@%@?>qAw=Yd3$4 zx(ZlVulFKjtp@9{m#x*yiKgBKH+jH5h<7idW7+jdwoJS|vnppk5;xTOp*Jm}v$%Y) z5hf-lkCw8fyxS&EBxmdq=J~r|8duJ?-z@T6Gj_^w;jwI|WU*;Ni-%#A)q-M&na>7X zkG?~y&-C1XmU#VRR|I0gEQ8Db@r#GVRLKF#pJ#mCe=P?9pD4FLW6A8$Jz0PGyMJzu zD-XfnnbKdl-#oNzN2(>RjY3?7%X;O#8q|B7*Nel2FBwq3tU@P-Es9pLI6~6AxO=7V z1NJJ6p@&qZbE{V41d`K`Qo#H56BG-IHfyZJ^;f0AUMXWu^-p-ry2CAmEh0}pDVFde zchpnXIR}pc($^s|Ph#9vno=N0<$Tw5r$A6~+)rw+jJ2dgY+fvReRU95clpTm9Xbqs z5qkL6qCHZEF1zg<=6tT4qj(}W*e@L!nVU0ba^3doQDF%%9s!m6UIfuLiZyk?4h}$! zmtM_O^LmXvnIq??7WLP>uFir#kQy1Z%q6>z|q@lI_PS z&6GO?rD`I348qqPWRX?9GnnKMq{mRV&+yRjswfG>PX%SZa;}@qxMbCgPX%;A6*6e( zx}?~MZt^2^cbC`?d&;dy#%O2C$cU%hnzo{%noFL@oNNyxt3}5w2XTr+4;+>yJi>mb zYEjStA34-lK(ypO3vL=vjGg5v;NDyCl)gLh;mNmw2Q?kg!{!ojmwNf436FORSU?*! zUKDK5$&GJs)kd{Y307U@T&P7+QRpn`r4o$rn6p~zvgDkg&#Vh?LhY@^d@TV_UblIQ zcCo82_?q$bDKei3E12Yz%b=-Itu8s|fT0@^y&!9t?`ItqATO7?5#at*Dt6{X0vZpxSFYhk5waGWBKtHD4W{tfJCr#Izq&$B}=VM@&<{KqE+}Y@5gXMZeB` zrSY^_vgonJSKIo{7jb*`$Fu)+{O5$OD;-FV$C`mj=N9+aoB7P?hW3FjpPGZ9dX~T7 z=s7zm0Y7>Cc{B|agNN@6FIOs$bLSV)~+kHyhNDOcOfX1+vmEFT@&-CNc`a2)83V+GOURG5d0lE?a6?ce_FpV|A;iEU4mNg{6-9+PdQ6T ztV?_m8ZE4KXIjOSu-|FZArys1k@hgy5Hq*v<;Y2d)VS=Y6NFLodoftqZB0?H<#y*3 zW(9A<7VeWWnf?Unni0Ae>E~%NVWC^YDBA)g4$AwX5=DxMtcVIdsi&4&Mb?Y7>N3uD zl}n@Y>%H?iQHFEtnVG?1<)Y2^M34mM4Pa^-#bZOTp#IiKsDZpLg>xGbn-&Pv5vAw0 z4JLQ0WB8XmMh>6&tSo7CjgQ(^6?DHz?$NtIeX+Cc{t~BU&a!oIOyb*r$wseienJXi z;e1=kJ8x|>lH{(hZu?BiaamvObf^Kds++pTpXS-E`nTFgcHiW{ap6{)Up5baM*#l$ zKjpzm#g?B*dyPXwKIa=Mth6WWuFe&hovcZMZ=Jklx_>!Ctk%Ih+g0!M%8^+Y%{8pb z=Bx_fC>wY-V`?F?e=d;JkealeSzodM=JOB=Aa$QNuxvYXQ+O$TyZud@?8w3F%ji(b z{^b_RWnl(~2EV`hE8XtYk0te>`g+>wgcUyVOfN3O^S7%8ZA!XJX<3#k4Kapl#MqH( zX%fly($M_(uWreJV^bjr6(=5N6Dkbo$ID395_9C#7rT0B1%e5z`&A_#Szf>=?qYuq zek1K9E%9z4G{6%%%OTi@O1WoIOr>5r_r#D$oaJXVL>@_Jwb-or>Da}EXDt1Djed8N zuMhEvt4r7S+Ey55y%<+8uB!d8$ zmA2{t@ObXW(>;hY@0U+-_`MTgFLe!#?7x47G9=<%0|q+Dbi35<6$hbx&sSbS6Z@PP z+P0v@sM$PD&H&O+)U6S>ljJZ9eW7o%nJA;4lF%5!W#u=iY~dkcJ7AQg)oA;4p*dC> z-z?yUVExzFb|5aI2|Bs404UIx$YjdWBoq)lQsJsQJ6Y z7m>r=8|3pm-VJN~D5JkBwn1~Q-vN+on3U|XA7{7KD00`cI&IB}0-$hR7&wLQZ^Rt; z30|1%-?_h+_Nm-wa#>q z&=MgoVVFNoZE!A=gK;UG4}ksFnPT#Wjv~v;EjWlCHs_{!39Q}1iW_R2OhqHYyh<%D z8t#>r;MS&Fy67wN9|_w_%%ktlTfQuL@2zG#X=3Y(^9Kdq4vz+saaop&+n!hYUknYYW_ESa*weW9zfiq zZum{HA^doxVx41^Wh<7|zN^qW>Xv?xCX1}?*KhhDTi*hQXMsD5-!GCmEWRg=zB5u~ zjtt;5?T?DZN{a~Bp$)fpTSw(W@x;mT``UX<@FN3yfUP7R<}74c@2ARIs3nQ|CP<4D z&Xtpwn_|Vj^WXxvzNjWxZSo?Gdd}9%chd73TD_B*YkjPd-=G|aWF~Ltt1=Fe z-|SJ1-v__U)|&G%oIj<|RI=R6msjRnwGYp@D);}&V=+6ASL4*DC%&8lYvw_G@eC7C z{RIbc;$z;dmzVeZ%wN?I7ZDtrp9})(f9WT`?RIr!+vY+<$F^4sGX|fXd8{(|WB8X9 zAG*UW!a?rq#AU)!Kt_&zKA|U$_Rfkk{;O7Mjd2bK2&^M4-V`RxCufz5T32k33Hr!N z%gU@_1fsLNeOiah$c`}QA$CrVpPy284lLIO*Fn-|#0O%v$ey<3t1 zi%jSl}E;1t$b%rd__Ho)aYvd5ez*sD5n^ zQf7=|G9~cfnEUPCBCGRpq9(Sy>S>UPo2J(fccsUTFcozJa=T>dnoeomGd#u0tKvW- z6WwGPbo*||a9xTp;lFoL@*=fShfFTySNf3QzEWdZSW<{Oa-@-~x`EL@^X9(4tyNua z@VK(+(m(kCU&9&4ABU1l;;VabALO*<;|6!v*{igHhP z?$Fu9eB~EcaZBOxnXult+NbpncNd34Xwh@T-0l}a*jR9Eejd1i%{>BU)$-vrc+5A6 zIk1C(kJ%R;0n}=9ArFqeof`z-Op)BPX?jWH`_z?Ciha8*B8OAVDT)yf#!J}sqa3-O z^(If+4xNxB0!5>_SBWpkJz-ky=RH0I_d)ZvUs>j~n+7I~CvkeL89L?o``hTInOTHKc!Y2Do1sczE4$+Sn(hGheyHTy( z&=MSm+prNJ%*5q{pZw?{l^9RAAlH**=A*M>uAdpK;X2^Co2yUk5~AQVbMGQgTz$H? zS9loKztlJ^P1Fh`+HCI-q9SFt_NR8sR@>t?3(Z!3Jd_D-83Oxj63OlhB8b#cHRA}w=%3(@gCGiW} zYZoC+7;8GShR|Z;r5Y;FbLIrDq0bs88i!W@Ft`7b`Q3u^c#Rth@3S0T7)ph!J;$3G z3m#cKNl4zi%1!pQi*yFHB?}(C8CY}j086)a1$Zt>H1=}w=t{gD^8WdwA^2I|E+Jv= z_qy^wH4(9uaLouGv=q8oX}I({kVm#@gD7y3lLQKoH>E}LiPm*~7e$iu>G!;lTl!o1 zr=`OIvNjB-oKzCd(=JPTDCfx8$%6TK5dCZAePW~)=za6n&)mc`PuPi5ib&? z)-pT?6`7`@zpah3zH;uvyek3ArpbQ?LXh@>5ee9y!H zKLIT6kO5cCj&tj-%77biqs}h`K1hH%+K9`5d4`*o31W2*G^>nlz+i!+xa_b+S9_m# zT*g3%4+GS5G+J}9MLlVu@sw8zlXy=6LXg3Nes_gD zA5=@AbR1~EbvG`V40o1_=OX)p&IgH&+XxK-@{~@_SH>1hvg_bN!6a2u%)Zu+G3<$i z8yc}vyw6&^v#bLoP3$(WJ|$97>7JRnrHgL(UqK-Uql<3vkr$6Y9v$dRh_MGrEfyoh znY=q4S7GZwJ-k#_LN^!V7B-b8L+o(zkpHWtKyq*aa!#l{S5`EUIMER_G=6>XeE2C` zRj_`$x2X)|kLT+|Eya5K2aH?x4xT8R?K2p6aSFSQk&IY)VpkmBRhHVUME0#>EBW`~ zx*DmnrnilSI9@m^E>0!-0F%`_ z-fL^JjG7N86}nL>x|xNB)m7%kohjB#Y(Ia?lWLl*ztuDrAP0a)@WKi`P?~E2wm-T; zl_WBu$T@*#ki0d>we~9k$dCi*e+!i>?`7oNautM)o@$5|8Nj#>zR4b5!Ka9z(`T8V zl}Q>>s>_(4t!PA93$S)XiEM&cILv@;Fc~y^`ZCbS+ryy=Q5 zyIEPc+JU4G-uR!9|LOzrQq{JhAQ(IUpYyacS4Yq^-|xSn|7Xp;JM^Ybfm;5dy{xl! zwr=11Gx*>13Zz+1RV7ZP&LM5B-o(DeRkDyB1PqtZWY!OTk4wYv zC2=9YCdY8%(*cMk{sfKWSkNS~qi%|l;71PP1)~m3>aKJ-bG$11>_VNAQBT6W$-Qk! zf^GO%%tF5~N|Q2Ed*Jr2xC=oSPye2f7P-Xi`>s0?o(QL2Eb=e_{Du%ovWlGqmsY;n z))M6ZTKw-Tb}@EdMzQv~&4}LZ1OL5Tf3k@3zazxpg*Ef*MzmE*Hn1`FzBpW4jn4h& zay_7ZwcD&Fi)TnSx@w?YtI9z=_|9+M5{-rjjdGir^%&Y;;Q7q$Z@^L#|Ji$PfTPu+ z?^!&)ZTKITD=LoOqo7)2bo>VbXl^ezb_LYfxQzE09fWj;$+v_L0$r z`=W(q>4w|!V$v>U4|>D!T|(^x^>j@VP@Z_5dh3H%GKR{H%9!2a?4%ptVd9ePgUoLR z1@XZy9u*E@h0Uf}XmN-?rwIqL=W>Pr_$gM7)^>%cRcW}jYUNLt^&Hfym@3ft)0n(e zf%o4FP|nwKOUiRRG{r}b_&8?W{RAEGl-}z_8Ui02q`e%~?!Zn6w%z%S1ZtwX{i)nS zJftc_TAy!)P6o4?n!`u3a}vmYH7-D3?c^i-F`T1Dc&Vy+oT|!Hb^K~zd_~_&>4SQy z9ixY%N_tIWO6WLxAcnyD`C0E7Yf5GeQrMUlRhK?*Nyt-riLO^IZlOcE|1G z5h;E~HX`H1gjC8+t28prNYWWF8vAr8%Z|C1*e_x7MCGn zkdUy~^Dwj2cOo1e78-KDk^O43^|VcdKH=0>x2ywi%6&#XjU*MpY7&_3{QpHn`??B7 zRX4sq&UMXhruFqZ;K`rXA?y&A<*Cy7GYgNv&(!IB$J6o4=uwdNpCPfQ>IvMyd;_0w zcp!8+zu*i#@Q~`gxUiMDvsv%77=iQhzwCF zAO?sK1|fvddK9e!8U$q4q9C)#JS4%Q3<5!!!kDNG0Ro8-NJxO>t{uSBo^$SfzUR63 zdA{?V%l-qiw>x{k!&>WI@B01L$^%WRAEgM;BjOt!v5%niV$zM#Alp8LWurp?{ZJfU zt}Cv8rg=o=*fFLrJ|zl%+wnYLhU3!mp-MF89I_cmG=TW0`zB;?>j%tb>%6=n!NAP8qGED59 zyYGqt!CGVI>-$3?qx;OMw1nN=VhO9uhM$pFl`?9VKL~`PGM9VP;Gv;UOUevb%U_>k1kM~JCH^KwRzsV#I-E^A!Gcr-1;ACN?zFefOKC3)Nk(`9(`JKAuN;B17XEbGWZ(@OaVJ_ zHl~Cb*I9q-yDl_(CBjSvpE2+BzA>P*A~|8Db6c8}TqLf$k=h}MoeNF;(UtAjJRSGK zVjM^i4PO7k#u|1jaeNJ}51A*`8TvSGAtO0nRcKprLS3&qo#LExuo;Pa0Dl8$@nB(N zStxAk{~mW}aQu9NHPqX6%+mdOmRA|GuT7;0;bX%_vw(XFVkHF#ai2}>F>L7M`M~Ec z8VhH<7hKrhJ#8xNfAC=Iz}&qUPGkJtfAt~U{nt1GJ1a2V+mge4rtXQr+6 z9~fK@)Z1GABc1cB#a)Bu(`O;&2ytAij=Y>@d@Cy3Eh6Uo#puhY`~LQSDbTShb7gtq zp3^`4Ga#;=?tmEepRzRT`l})MZ9K=b|C~U?P2(vvW98ta)*r71r^D zJCMwd2WalxjyPrnn#*w}H)^1K@|s})o<;bk;ByGLK(5|>Q6inSA0i3gc!oiaEa97j zd`*`~;-Ac81T)!TlIjOxz4R1FL5UN_YHp@4V@I4bYMR@HVa8PoiAUv|Yby#Qcs6L_ zW_=;;GjR8@OX4$nR3_7LJ0u-;AK50(+EIiIO7M|?8AbTcQ=w+NV0L%ONSK+E)Szro z`8VtDmBpHp4f>w%kAGiRxZ2Adm6;4VDj3~3JU2J^9@PqDzC$@F1`7=iNo0^v6*`qH*ATCv5NZDB?)1X$D27%EqYG7n&5rS z&3covW*oqW23)8m-`5-vQHPr;+_aUs9tj>3RdqeFd;JT!EyGKNxYbq3KatiVjwV2y z*W_6C^wESPv0UnnSPw^I*i`EU9fgD&yJ%~3vs$Agy((X#AxlB@?yu&6B%TfoLZDY? zpADH?97n4SfYXSoceA`#UGxC(SKEHye{c``a$Kl4 zSsc%5v%ti$7oA1snd{M`CewvB%Td;CM)jOlom^iPm7C3k3o3EI5(tNEiu{^lU)o6g zdfMrTxTm>14kQ0GD%?N!#CU<<_*rtcjsQ3;;kd?H{D7b0R`#}DiGvwYN??ocm6ZBV zJhv!XGkUrVQ_^+oFjd^%Tgyq<+}oM!%gAhplwJqSY8>r~XCbDi(d9;?owI$GxRYxV zYA)WXua6a#eJ&`s$&Dy}&KJbAxJvc$=wRQ;_`7h&6j2%X~JvY->1y zZG3@tXkdIWC|sx|kW;=DPHnl~Yv3^-qWQ6DAt$x@?}p55@SkA(j~7Ihp09f~`(h@k z?HGIgVL?<(KQBhNdBDn>CbV&jJF&HBTZ+q%@^DyssLM`|;iEO%FbZP{X-vOmw@VDQ z4MV;@XJmMCG{u-zRDRSgc4+-iJxJU+rBqmzp(xE+`>OsRtA;*mBft;uH&5kr~*2jk`f3FW>DU4Wt|YX`nv z5zt6vC96u`sk+2e)=bJHdaU1Bx++;Zk`S`OupH|l!~Ze&As zT9F?agO!d)Pg=?*ECV{~9QG;;1{&fd{aC5f=*Y;RnyUD^iKwJ;2t%I4Od>4|z(srx zxn6U10mf@JQa#yXhTjCkk9JZv(yBnHZpiGAM?|o=DNBnxarB$#V^pZ%rj{ zmZKk|#S!S&V`I4vf>`E{6o<=imr+OE@y!i!`jbDe3fxbbXut=Z%pr~9CI|HCHc8Tn z)Ko{BY?jYVHJRK->feEVo#8OK-L#3&Xq+md@=1n9MlEIRSr5~uo7%L;`sHs|2E4nW zF;Qz7)P&;9BlOH@mHrRg$kYFvz8!g8-apPuq0o0G87)a}?qbVk*{XDSLBdU9??(1I z7;4$XgwVxA5M%J^FH?C*vu>Mt(BmJJKK_0tl`KhZcH;Xt65p9cYc+)WPY$Y-a5_++pZaqI*eebkiOo{Qtb4ir>`O2xZnf6If zyFkp1{&O>@yuw_$Z?r@^q`Ibr{({ERfPA-qD6Mfh(k?X00Pn_B6WjMhpZ}mCT z=Tqd^FuTmb44)vm*cgG0=-RAjf0?u+ySYT<{rWT(|0EhU*&ph|)yuLlzm*`%H%u_% zO!#vjr$7I5KV{|BVjmbb3{jiU*iW*! zwT_)Q*EY6oDyC4f%lH61d~|5TaOy!X-c27Yu_)06t)Uaj`wwgee(t$SA%n-SO2xW-4w%I{Q0h|td(lJ(opM3*p|Abuh` z;cG!~FcY*-jooG8!hvXItVii2nvbaU@`=;4L2voUTB4w^Kp=}(^Hky%Y4odNA_$FJBvLP%6@eiEje!5#Kp=2sAHk{7Q~WiR0RqBNPW{XX6WO@uhFS5+DWuhr_XQk;Ys0st-wLr>|E1$(SCi zUq~4{Mn`N#00+fRySY|-`2G81-+u{aW$ahXj}+Qu7QVrF0KR_X9;W==nhl|cSYv!P z9UZEhd$8*0WVhAO>(TfEdHe*Lm*4j1l+ro+d}gssk|S$cZE5rX>3AClE%Tp!vr77A zf(E*7iVVQZvqQehD?d&8|TUwb_EY#4&+DOCxYdi%Us#Oo1+ zZQJ%0w_uvQ#r|GTQ2)k9GQJaqbys>1YTMjJ!lFxMkw+}tbqWiA%L~`L<=hK|7l(Hx zie^USPJ*%v8Y_=RdXmHq{?eD4I`o4b1;-n=7!{}hXeDbfG>j{z-zK9Yj8kqRk7({|mGQC2#RSwy9~vG>h1B!$a5Xk*wH)$&>X z`VZuR{l+{tJ*QfgY=@OJMNf#xGLd9VRW?>~Pj%{N)mOG`iS_IY?99RQVptmwQF%T& z&4_N8QltZT=^=gqvuq-!G4PP3(b)4nJY=Pvh$<>Sm^AfVV}gJd5hxFPdhAJ3K@t-Y zU(Cik4|ia)2OD8koSe)dlLF4(aG&S=Zyq|aZ2g6AMd8&0t1@^`b;w5Ag6fWg{7Z$O zLt%o~%;Ie2H;snb9ox<&`w2^0%2$u?$T0QZO9TjoFg61nF#YMuiPklwkqftd8V42 zNft+wU*jAE8%XqVqFf+bW^iJm!NU*dJJY3eM6Sw5f_Ac$jUT9PHr&DHe(!}=+y zqtBSljx>_kVSBSCle>h{OA3bn(&$H4wLDaAwUY56QTIP1FExwhbK#!R13r-Ta6i> zx`LisN*X+%+QeXlsgP$pyrigldle} z8tPS*71JcGIm0)xGru{=Bupa5$XKE84((5@ihppugV#((fDCb*ef;pt$Q_e|uais2gR6sKIv}C+tB)WlBDg?)`laKBV56R#(!P0eb86e$?^}JA zKssT?89li9%kyM1JuN+D_|VD8lPA~4t-|*XR8Ef;-E0_{?%IG7+Y#M}GsQ7s%6cN_ zDhu@9^(d)#_i+MV>WNk%wshlSlVgoNh+#d|yC&KLsw~2(&)bJY_Wi{@1+!Ni%Q#Q> zrL!gz7}LvGis9Xs|gHnlEZ)Ycw@!!u$VGY?FkUXeXi+o?q`*EZtsxMkmOXe`Xj zf7!l|`%0xtsr8M?F7ai4sgLOD*a#Bn21CJ$~r%)%^dE^rjtG3|Mc@dQ$ zWC`10uqAjKwjOnYgy-aHb`qm$7STOK6x-zz-<>>S)=AXpjVcj#;_`;u{fYcnvDzED zj72@hPhDs@Aa-zyH}=4|bm`I^MellY>!4ec*nCl8wN@t)<;dYtdvXOr7Ol6CL%%Rm z9Ai_>%FU|QA!rf9Py%8ajdcF3VuZk;Sj4a`S{ClkW1-ehkA|>CJU&0Eh93=n4DDli z#i-zQ%@~EWjaHKlg{g8hy~2fPWfd+j`BAZfR4|GpOI6&$4zp)Zukw|av&44YS&~QT(%iF(X6y9$CJlI&r*`&xYLLyjj}EYL z&m?;>d?te&*O0~kO;F~cQ9`TRz|ZdAfZM3YAAZJG&2}dpZYT?Q&#l}*5;Z4iT_jM>}9$mKOvb)Gm{<-i}jo2vt=hy zGF;oZZnsiT5=%QvK=XUbE_}hK_V!$qKFy<1i}=z?C`O3uB$g4gsD1<@|8miA$eBh~ zR}t+1XXFb$b(9U@w`Db4D70EC=xOOhM$8&z-n^$vUeD^3m9mmjOMhK-#_%EK75fPl;I?}#b-?a0pd=Ms1Nub63S~Q>Ham zlS4NQxenEA-;ktRxz7zP9+@0pp>Ve5)$9uHThv0F+>WxY1fen22b$j`}A~`75m|1+hB&fyrPh^5!J@0cAnc~kyUvmo%;_GL$+>Z z&hA!&595J`EuB>WV4N{wKglP+=YlB0eKZ}O;}LgYn^c=ViP!RNW7UPD3dlFy%h zx_G)UGVt%>Xe`Rc2XR;whDBjm6o$DGSk#3@U0BqGMO}aqSTqHTreM(&ESiEvQ?O_W z|3_Lv#n2SN0vF(eA^SI6*Menve&lbhqo-A>(V?M+r_X7IR_#>0tMgKEgSl z@Djdo)_yV;zqyd%XPLunt*;b`GC4&&HW!)5;CCNy`onlAy!dSYA5VXs54z7^`})s; zqwg#}@HUYfj>XT#x#n-aZy*nU&7Udk_msym7f%1XU#!*w{13{(o8R<5t<$P2_UvuC zutx{img()|vodCOB(Kqnn^iQ>O=vVveqGb!$4*F0Ogzae^A`-*dA?ZVio=;5K76<> z2TOigqDr3Gosf_aW8it7v5ym9AET=Q_=l{Brnb=88LN2XZlqw@n~5n2H%HKHiSB0+ z`3(ZXdyhIc#iTsSj=#zx&nqlo0g;R7X{#5zC( z<9o{dQVR+SN;oOzaZdxq<2&t&cdbItT!QCOGtU%kCy_`tdCukp-t!x)W6SOhGpnOLz z@JhUgn#v`^8RCIByiU-}lzMGjmTlfowG=lt&A5miM5H`SP1R6VR*uofv$o;CHKmZI zg-%ts)|(ne}a&y5PaEmy7|YIayGHXtBi9KgapctoQu zo*Jo#Yg0F+%?i7e_Iar@?FbFGInIpunAvHOzD&ks(-RU*NC9WgoEd)`qMEpen2z<1 z+edJgNF-kG-#jDNmC1VuFRH*^MHJ`k-)yM?K3e7Pe?J{Io`mDchn#-@+h-aLp(@6PFux(IR6VkN{QP7|#I5^W<;4e( zeoT>ER*8_88BkRM1|RHnC^vvREif1ik1mtu7Zmg-5_!n{QGS9sKajW)19X^T7JB*mfMR%#c3x~orhb}Oetl&(j7(JUS=wR z@1J%1a}p3up}_2D!*kcI`;jtm)YjHEOc~|-vT@zIbr%@3IAQn*0-nf^ncZ@5kA4ru zD^|nPXMGiw3~mdBLSzU;w@Y|D-kuGi`GtjBO*^}~1l$~Y3dqpvtw%2~;E6jyT4VOO zo*-mVsm9Pllm0|gi&*0VnYoToA16!b!_%jOmIDj$FG+xHR&;RP`ZXh z?Qhv>R+5k=S%j+{4*S9e6*P0X(5-`VDEZEgoN}F7H2!1%*-0j0@YREXZbkx10J7)u z`nQ7(1^WmCeZQ>Gs;LUyXxT~VtqNVQ?_oF4n8dcTExvS)CX-H=kH6f}PylAjt*cP8 zsK?hl9tqay~ai!<~J89LfDuM8|;|C?u5{D&Sz>s)MktX|t2 zj!ty%D(nZfsb9Lv=r&@FI$V+(tT6VGPIXawB1B*k1BTNw?MifjkHTosXUE%@`98|X z*a0LS@2YTBIEPkc)1{J~wuL*Bf+Vg$OWEtze*4+8XGY?_2$z{Mq*=%jEc2Gjz*iS* zDO)q5O?}Hr@N>up@yf)~O~CrNGt9vd@oCdggv=qKT7|e1B((OIWhl@3Rw2GXep&Df4yr9cjN~rcK?WUH<+D>#Q?AO?GBxW~@L#gVA`6noW_1y<~ct zFj~NLu8Y!)(Q$gY-k&_z7SMlF#s(!gcn9Fhe#%H!k+!aL{f|vC4@t%0b3kBHTSDK9 zk)AUB=2S~nUM1Xj>(lvJU3iLul>BeC_YpxO) zhSfC+FVN4|-F=g^WL3&{tQeiuAJzW#*o~tR`|N(#blx8EdQ+Mxe`*eei^XA=^ znxCYfzh?1C{f!-`9&HM9U2%knZXflxxA!Dm7k=rG^YAm{pu=P(ja9T&FU2PFk&FFr z{~Xu9`VWEpe~8@wL#Tf7%LFH zD&BNh#s8;^7cc4n)UrokpD!>G_4r{eOvHT?BOSVvlal~vJTnoEc9-a$OgU=GrjeS< z{P^)iUI|1rN0*Sy7nb@<-+dVjpOrRm*tk*Gg%Lk7+`7Zc$|@l{fh6pZ2agdT3s9#< z06}yDCI$ni-i9a(S&&K$;E5MBDt_6DZ~E$W8|x>Anh9O*MLzA!wzjCdOvVsm&q+4Y?1>~td zPG1|al7vJB^E^JDd;)-+&x|R3NB|pP2(MNvjL(!9;ERD-5gQqz?Krcj zowd8Gl}_G3Qyvx;?u~W`a811Y?uLcsHw%c3f=P@VG1ycDsY*xV_G(6GSTgQ^f5p(A z{nW{<(7h|_q@{5|bHUrn5SP);f=E7EDnRp<_qv@<&&Ut}7~#br#{>^MbYd-;?|)jYZvBfiYZ?Wmggc!V_T+8j2_M!?iH4#K6n>ByssSjc3B zhK5E?wzajv*EAsSi*fw0a%5>~sk-UOlP6P&d-U`krKD`_DfKa zcXuZ?fHY4*kR~9<^{F)m6Ah_kJVBzV;mBy;D3?+x#Z(t0OB>NNc>}(yW2 z`}(GT{r;4=nkmZ{QM30!l1|0+RLG)@|6!Z?6KV=F^V)sphtksGH!5$6JC% zI*}kjeyBAAGtA|p#qVX)jK1sVWUsl)kcQpAIl^5Ucm{ifW$*~cfZ@4xJDoQ_OzVs; zUjpnk3bI%*G~~ngS3c=4?hUIO@2}H!ZF;C)3#ep#YGOcoWyBBG*>*9Z8}$b$W?E^P z31BYv0sfnJ>Fw`|WajTzS2Sl}a&E2HO?kQ(aL#hTF8yc5s(0WT8XEjZa;tR!w0e2+ zpnRm@PcS(r9WXU&h8z@L>(We8jsDbZ=W~yw{QOg0;p==8|aYMr7zEebD3jC+C8YAELjs zNr}}e2iI@HC`YEJrz_%?e)2^Po;=-!VA%Ss%Z_07?&LaFJ3|^`LSoBUrK)rn$WmQ* z2|>^oVd)I0HlWZBfHAYqVZl-dLB_WWvGLRL|7#mF#6pixMys6N^EI~d1uz6qYPpMAd{R1cE(w}j--<9V?Cpf$y zKVRKcMM}@q?Z*LbN_tdM@pv$wpaYjY|Wc2U^>+GN6SQf z63q0}NIGEAU1bs^OYgQif`9f$V_B`$NE;R2DEPy2E12bz=^5d0_oZX<)%w`2fq?;| z*@#pWmjGRZ@NC)IzQN>h3(y1v z#wYPe0FHVgS8LS5kD8mCZ?%ZO2OS{ssDQtEA+=Q?T{kT!rxD;+VF{kYNB|i1h(tIV z2a6I1NHh(d1-Mo1+@*t`gK;PUR*3F}SNA7)J*aABKfA3*@7)HIy)gMPvD_mUc&C9Ad!M z=wj?V4+0jRRH=yC$)4r;38vXHT1NOMueKm-Gs3Ka6!DYSzF1FDPfJf9&dGBkifN1m&^ z*58W3W{v3DE-^^}r$(17n`RUGBQef!mw3pM9P80j+W+g0>>ACY?h_p@*&mJ2!8#)R zB5J_o@C0#*0Fn4tr&?KXw1$8*ym?jN+z=b@S+%~THw>i%h`74!^5z=ItskA>GA%#; zNQnXqa|C2%r(o$p{$nrJ>IP1|H+o;O6k#ugkTCW>R^MozxjV^ay2xF($Q>BxiNV*A z`hM!B0Gdm=bmGN*es)z0-RjHMvZ^f4gtyedP`ujM7V(NL^TsjG*?AX}xuD<8N76 znuyUyV0);Lqp=&a#N=k3R@u(3B7EavRnlD$y-eGpY_EnuSUU~&_{)Dz(jMUpAP?1b zdU^NdnQ#?j9atNUWHW*eSkBibD&EI=^I68Tl1bpBWHjP!O1)jH!jx_OlMhpFZP42e zF1P>0>%%*6jV9A>$g4B5OVcYGEfWm&_;gv2b>`{gHnvZHG7Z}|aPQ?t<3GEGNt-`^ z@8k*POnk4SDSb#$2BZv!6TB=^FArqa3WGt$a|o7Brv|%a?dS~atd~uX%yjXr^8BJA zzkrXfixJay;V;23i?1HFW!uLAQ3y1otWxs+ZDoYIHhsnmqqO4wW!plxT99I|;j~oW z(!DTynf7IcvH&<3Y1yNf%`4@#!J0g+D3Ys2m zX=~fM+jfbtdbw)gZ5YiNaU+?L;KzzdO$stZOJ0Xl?qw)UhTve=f2`l?+*V*f8VUO*W-_Hx@^rpr<024aIqE4Ieo58bH z%quJ?Xtn!9@iQ(nr?DmNq%K&K87Rv1BiQtjaBg;)7GePrsRuq)Kd{{x;FRBc4zr|+ z2pn+d5ME$QOUno$Ts}#IhVvVr2S}BI4l2%WlWH@i#&|peP6Hv4KK^MlM zfKFbe4>$vPI9FFw$|(#+-fB(T!iQi_z)x*tLO%OTW~?3#(FY~+%vg*uvG7mr1*TFG zLXKQZpE~H|4pnPPU`ZrYt#|2bcMKo>y?M#qQDjtLbBDO8FFT<)MIN-l&Z~AyWC3ib z^}#xMf1_pB{+6>=%kG{7H2|6N$bzxnYR+g8n*sX>2OFG+2g5PkI10XKW%B*kZ|a;8 zJ==BehXo!JD51ne6qBWp!~jJ%%p!pYVUvI1IICov2yF`8Y@)QW4&pQL z;ggjc?t;nJLd-GHN-6hpz>tKbrwhppAuN$^R_s0Z``-}q71Q3&-ooJR-;991<_|;t z)T{qxyic2rJ;^9oEBEZPUq&G00OZLAg!GCKB*)X@k0!YHnyGPF>H@aJp0p=eivXJ<7bq`hN`c*kx+z#q_;);-KC@-%a>b*R znXzzkJ?x^!p#+JPC;Bey!j9Mggkt6#CJQ74-cd+BK6l5%<_*J(bn}pER z5Xx$DnBjI1kO1fUdw0NI`LyG*KMLH-i6>Yf|BIe^yGpsO0fU4>!jTZghvWXGR(m 0: + log("s=%d Saving %d ... \r" % (self.states, self.count)) + self._save() + log("\n") + +def generate(): + try: + for states in range(0, 5): + generator = Generator(states, 107, "%d-state.pickled.bz2" % states) + generator.run() + log("Sigma(%d) = %d\n" % (generator.states, generator.champion())) + except KeyboardInterrupt: + pass + +def main(): if "-p" in sys.argv[1:]: - plot_bbs() + # Plot + plot_bbs(3, 107) + elif "-g" in sys.argv[1:]: + # Calc and pickle files + generate() else: + # Calc and show sigma... should use pickled files above for n in range(0,5): log("Sigma(%d) = %s\n" % (n, str(sigma(n)))) + +if __name__ == "__main__": + main()