From 74d3c18c9fd01c7a042051729c57f2be37777eba Mon Sep 17 00:00:00 2001 From: kl-i Date: Sat, 31 Jul 2021 20:22:02 +0100 Subject: [PATCH] Started Installation/Windows.md. --- Installation/Windows.md | 193 ++++++++++++++++++ HoTTGameLib.agda-lib => TheHoTTGame.agda-lib | 2 +- .../agda/Trinitarianism/Quest1Solutions.agdai | Bin 29187 -> 30062 bytes 3 files changed, 194 insertions(+), 1 deletion(-) create mode 100644 Installation/Windows.md rename HoTTGameLib.agda-lib => TheHoTTGame.agda-lib (78%) diff --git a/Installation/Windows.md b/Installation/Windows.md new file mode 100644 index 0000000..a2a6db2 --- /dev/null +++ b/Installation/Windows.md @@ -0,0 +1,193 @@ +How to Install the HoTT Game on Windows +======================================= + +## Prerequisites + +MUST USE POWERSHELL AS ADMIN +- chocolatey (this shld be easy) +- Via chocolatey + - `choco install ghc` + - `choco install cabal` +- via cabal + - `cabal install happy` + - `cabal install alex` + +## The Damned Paths + +Something something need to add new system environment variables, +need to ask Samuel again. + +## Doom Emacs + +IN POWERSHELL LOCAL TO USER + +- Prerequisites + ``` + choco install git emacs ripgrep + choco install fd llvm + ``` +- Doom Emacs itself + ``` + git clone https://github.com/hlissner/doom-emacs ~/.emacs.d + ~/.emacs.d/bin/doom install + ``` + **Icons will be missing for windows sadly** + +## Development Version of Agda + +POWERSHALL IN LOCAL +- Directly clone the repo for development version. + _You can choose where to put this_. + ``` + git clone https://github.com/agda/agda.git + ``` +- We need to install `make` for windows. Easiest via cabal. + ``` + cabal install make + ``` +- Go into folder of agda repo then do + ``` + cabal update + make install + ``` +- Agda should be finished. Use `agda` in powershell to check version. + +Now agda-mode in Doom Emacs. +- to install agda2-mode. + ``` + M-x package-install + ``` +- In `init.el`, uncomment `agda` in `lang`. +- `doom sync` to update. Then `SPC-q-R` to restart. + +To test things, make a `test.agda` file anywhere you'd like. +- Using Doom Emacs, open `test.agda`. +- Type in + ```agda + open import Agda.Builtin.Nat + ``` +- Use `C-c C-d` then enter `Nat`. + The output in the agda info window should be `Set`. + +Congratulations, you now have Agda and +can use emacs bindings for Agda. +However, you have nothing more than the +builtin types. + +## The Cubical Library + +The HoTT Game currently requires the `cubical-0.3` library. +We walk through _a_ installation of the `cubical-0.3` library. +See the [Agda documentation](https://agda.readthedocs.io/en/latest/tools/package-system.html) +for more about libraries. + +- Go to [here](https://github.com/agda/cubical/releases). + Under 'version 0.3', + download the 'Source Code' file in either formats `zip` or `tar.gz`. +- Open the 'Source Code' file. + It should turn into a folder which contains a folder called + 'cubical'. +- Rename 'cubical' to 'cubical-0.3'. + Inside it, there should be a `cubical.agda-lib` file + with contents + ``` + name: cubical-0.3 + include: . + depend: + flags: --cubical --no-import-sorts + ``` + This is the file that tells Agda "this is a library" when + Agda looks into this folder. + You can place 'cubical' anywhere you like. + For the sake of this guide, + let's say you put it in a place so that + the path is `LOCATION/cubical-0.3`. + +Now we need to tell Agda this 'cubical-0.3' library exists, +so that it will look for it when an Agda file uses code from it. + +- Open Powershell locally and do + ``` + agda -l fjdsk Dummy.agda + ``` +- Assuming you don't already have an Agda library called `fjdsk`, + you should see an error message of the form + ``` + Library 'fjdsk' not found. + Add the path to its .agda-lib file to + 'BLAHBLAHBLAH/libraries' + to install. + Installed libraries: + none + ``` + The `BLAHBLAHBLAH/libraries` is where we tell Agda of + the location of libraries. + For Windows, it should look like + ``` + C:\Users\USERNAME\AppData\Roaming\agda\libraries + ``` + where `USERNAME` is your username on your computer. +- Navigate to the folder + `C:\Users\USERNAME\AppData\Roaming\agda`. + _If there is no `agda` folder in + `C:\Users\USERNAME\AppData\Roaming`, + simply create one_. +- In `C:\Users\USERNAME\AppData\Roaming\agda`, + create a file `libraries` if there isn't one already. + Inside it, put + ``` + LOCATION/cubical-0.3/cubical.agda-lib + ``` +- Now do `agda -l fjdsk Dummy.agda` in powershell locally again. + This time the error message should be + ``` + Library 'fjdsk' not found. + Add the path to its .agda-lib file to + 'BLAHBLAHBLAH/libraries' + to install. + Installed libraries: + cubical-0.3 + (LOCATION/cubical-0.3/cubical.agda-lib) + ``` + Congratulations, Agda is now aware of + the existence of the `cubical-0.3` library. + +## The HoTT Game + +The HoTT Game is also an Agda library +so we need to repeat the above process for it. + +- In Powershell, navigate to + where you would like to put the HoTT Game. +- Use `git clone https://github.com/Jlh18/TheHoTTGame.git`. + This should copy the HoTT Game repository as + a folder called `TheHoTTGame`. + For the purposes of this guide, + let's say you have put the HoTT Game in your computer + at the path + ``` + LOCATION1/TheHoTTGame + ``` + Inside it, you should see many files, + one of which should be `TheHoTTGame.agda-lib`. +- Go back to `BLAHBLAHBLAH/libraries` + and add the following line + ``` + LOCATION1/TheHoTTGame/TheHoTTGame.agda-lib + ``` +- In Powershell, use `agda -l fjdsk Dummy.agda` again. + The error message should now look something like + ``` + Library 'fjdsk' not found. + Add the path to its .agda-lib file to + 'BLAHBLAHBLAH/libraries' + to install. + Installed libraries: + cubical-0.3 + (LOCATION/cubical-0.3/cubical-0.3.agda-lib) + TheHoTTGame + (LOCATION1/TheHoTTGame/TheHoTTGame.agda-lib) + ``` +- Using Doom Emacs, + open `Trinitarianism/Quest0.agda` and do `C-c C-l`. + Congratulations, you can now play the HoTT Game. diff --git a/HoTTGameLib.agda-lib b/TheHoTTGame.agda-lib similarity index 78% rename from HoTTGameLib.agda-lib rename to TheHoTTGame.agda-lib index 7702b7c..0fefef7 100644 --- a/HoTTGameLib.agda-lib +++ b/TheHoTTGame.agda-lib @@ -1,4 +1,4 @@ -name: HoTTGameLib +name: TheHoTTGame include: . depend: cubical-0.3 flags: --cubical --no-import-sorts diff --git a/_build/2.6.3/agda/Trinitarianism/Quest1Solutions.agdai b/_build/2.6.3/agda/Trinitarianism/Quest1Solutions.agdai index f29337d07b1d73e326c06e44897ee766e0487f11..b5949713e023e0500da28bc54030a09197ed41f1 100644 GIT binary patch literal 30062 zcmXV22UHZ-*MBp!jlL9d>4U6*m8Q}J1{GP9zzT_)SXdD$Dq;l#0s|IA5f*F^MOH=1 zmqa0A7Xc-L5oMMAN3s@Fh{7r=O3}rI?+zxMBb+zy-FNHn-gnpi^(%f1UfG_5JW@UF*f96y=$_HUAslaN(laqMlP{ zy30=ODHFZibx3HLf5rMzc;hCY)j7NiuU(GHy~6iCdH<;E$iu$-6I-6%?AhTv^)p`e zd_ST&jx0Wfnakt|n?Z3+yzCJcjJ#xW7sPVbkz>1af27f?u>lKy{c>i;D})PhbD6Ui zPvR@Xw6|c`RMre?l{HB}#q`7i9B((4quoytHkAXzz9d}>!%GoQG6`nuVAxxoSo-D! z3bn!BZ}oW+PZ&-?c)Ja(^1(1mnCV2JUy)wbcrTJpAwMd z@3|ut*kp2Kl_yD`#`LVh+YR{jJ25Nfk2V_RvbSyxUgbBH%i1`bS#fO@5Xq)N62v&eB&rKL2rpykvn6*o34Tc@(baxlt#9{3R9`krH^Z4}G3Kmb|!;st0FrYiO zmSLa?d3lv>L}jp+9Sdu%X>^~%Fklc&;2vB?2%joTe!Vfn=u$1-^W|f7BZ2P0v2C+| zfE5I@V&V~4VFU7;4{=x@W`Jte{)VwWY=s4De`^5NV_>hvtM%Ryyyr!rl>c3Jf-%C} zYjGzzpJW}DfF zUw;>*%zEiep>t@)R?B_2FzmXv{J|!c_1-uN9mUMOOc|bk1u=9s2}ybiOkcOjgrpx~ zUS5B{bOdR)Gy0j9dz0D7Q2wCWG>}n{JF)puxJ^piwWQ@A$5SuTX#J)8_t?sa`_!$q z)Q82_^~CKg-mI6sG(vy8`sZlfNNJL<`V)QA8*7NZt|MNm>v-Klz6fnMkP#vNw|wd6 zzi)Sveek8K4BvB2@K|)2!(We4n1r6PY24YH{}Zgz<&m^x$}_g(6CLqqzU(ymu!`dT z7IRe#qXqKPMt;PMdI7rfVzA-Wnxju@K^>lCdyY4@+lA4J z4)x-DihG?!=wenMv~{a^{I5oJxJjBGFY&oMjg5?VD{NTtjmHq`g()cJ`4Fvt87Clu z>u%bh-F|qc)n{V~-Lc9c@n!4S%oiclDopmlotgZe*8l9JTjfN4Cf;#OMlc{-0%Z5C zXy2W_YL|=b#ih?WBM`Y8Xz@k|SryoK+XT~-$g1LCHP4Fwe~YZd3Ksc&1qewX;{P^! zZzzvmbl!!-8WL|oyY(H{P6r_>ex`4l$SR&9D>ikHYm$h~nI<#E=jc@i&^KquDtwsn zUM(4AEyyWRwKP<(0+agqaYLNlj z_0wD{ZGo7(+95G43v@%a&;OlcVv6lcCK(~^FsttLo0EfyIaYJ5*p4cHTD-2}G)Aa+ zYo}c};>EGc!47!s^*WyHOwwy;aZ}i@*zPr8DxEFPHgc@4$#N>b%PYgnP^_4Xoy;u{ z!FT2Zu62= zfk=Ubmp1K1h!sV&_)SF<0%bSh`+m~lC5Gh@EH}kJG)K{i$!V|sUR*i-Q>YK-?EibI zwZ6g_6D#VlIaXA$j^k{BcsozFajFC<4rU~4i(g|vGZJgoIL#Awywt9&_j zu7Py~%~=t=0(Vqhp~d4DwSo~|1H;=CXU05r(RkeJ`Lx1%ZK`5n#dx$Y*_I)-9}#Pb zZT8#j2O0(&n{AAboQ^-oNGJAZaDXF+yxdc{DBo*eWA7B$C zp=xuyO1w(cp(@uL?BvP?EA(TjVm4?bSv8Z^QsJuq6_%bw)S`3jU0x;0R4(aC3`c#cUfcZTd48-PW2mNlb(CgN?I`i^B1f?!mK8GXj>rkA-` ztV32GR=3>Fpv6nVAEA9poR=uJqbi0#niT=HCCPp>%Y11U@^Y3^yHNIQZYuv%MI162 zu%#-J!fiMvA*>m)vup@>u?^eAT!sy7dV)8~wPn z*stQ~Dqo0?_;O#&QN^JuW-1PVJbr}@x&uKB7%!`QgYB+G0Z&=oj!5N3>np|;=B1*O zzWz^j9aUQx*KZ{_it@_Vu#z)3Xv5pI#A2I|j2N(QX&Rx$?%@#}lYwyz-6aqq3mLzN zxCMT3+BYCIUk&BR&$PIs^eorJTH8_en9;)xqMM3u!lx2jWg8mtw+6fcAJs5@Y6Avg zsX=^|7t*arSk!Um#=@ryH2l?6MS|E5H<`)WrJg!qOgYchn8@j?dPuM0d_@UnE`C$_ z7&BIEQ{=hiT_sR}#*(jEtth5%27wzmAttPJNfT8v^&*N|REGnu46LKLsz*!rLdYr- zs`Q+RA)tyY6+gqBp*M(HLSNI|OiZ>O0k=EO|XrJ1cROqW( z>6?>)d<4dj??4TcpJ+MG)&;gK7zET1axCK3`e4lK`LV(S|I*^oQzHgqg%2&^Vgm8C ziuABiVZgoH0{)Y^cwxO&=_>1)dh`SziC`_9NSC`CsS>I>>hJAAD!>lk-lqKX`yo4U1jJ%Q5#z zUx>(7WAZW-QX_rdwC}4idZG1|7loy(M^N1*sVE$1d}* zxvtC<#G$2YqNdB7F~>h_0H~TrAjcTJT0N1Bn&gSZQSe)|7~@2F{^-A0%9H}#QAvNe z7uiESwNaPs@@1Bytum)SH=D?aRPDPDFxw%!A+CuhkH4Ap6gZPZ6Sp*5Zsu(>yG=`H zc472{DPV*ATj=DTu8jbJp1S&8;G){ORZ*8{ni{^Wcxb59N%}` zfcLZZ7355Y+BfBQHn&yWb>{3kzHmCr#M6SmRx}-FdEaqE4Z2qZa(cEg6Cus#;opI- ze;6?QxHY&SolE7vMssrQjv{SuMq4Mi%}0~cG~VN%?YLb@PiSSd#i6*fiLo+exo(vM z*|obXfS%yQ*>&~Ub(S;fB-^8qUN;$YvOhpwPW5OZvUQr^#5MVuO)8#t9j39L%`VVC zQ7gZ>**~b8J}RLnQO$Sn{7X+bH%5r#Odee|J~4laGvw$$a@Hf0BgDS1;~6J=gIR6# z7X9uMOUm_^K)m7j!jy5hUSHc$F_{Coin6imSao*`ah{t%ioja-7w z(Yup^=`{}{Ijtu;u!^FC@rR|2+Em z9(=3h!~XldWd580zFz^*E%m;48QLGIZ1%#_y+juIc_#4ql~}kN+{o;4WzrY zH4=)ID7!0W42xU7vG^LZb(cCJ?L1`i#fahYD26S^d0!?oJW7llnEW}lKD&_3`{MP5 zBWrfYY>zcxLd3_JAIHH@JS2f#>xCUyutev}bo)F1LyjMPsOBZjLs-BprcC$>Rc;Js z>n8+kEBv(Tcpk`nziE>%V1v!U614BD3IC7mCmey)CV$zT-@9U%0Qg6=feZAm5C^-~ z0$ZMB*W%3%vJZ|_egqWCbPK{2u2i!V<7tVHjn4&OUR950tlWQvmPQ=xK>MDsL5*oT z0%=6PRTTG&)i*VEFlv0;D7<2h0!9$;AO8`a<8gh*k1>!8rFC!|CioxS0q9rx$eO1! zW7jaN=Flp^U1ZhVS|tFS9|;;^JAO=uoYw3^V_&?#aKCW%7~-ir7t>nnPqMdEdLwZS zhxcX5@5JUI+d7ZP|7Dk-;5aG~e|_0Kd~5x*!UJ%Y+Hh zURzufM>R_?>N?AM=Ps6xtNEANK7LZXA4P0tL7n|3ZVEDPpYzz}U=0C+9j0N<5A@B` zSim)RaFy6~$gJ*VE7!NH=0XX}r1u6Cf4vmNeX=u%sT^{HppZ>WSNhYZtiYxr-YjR? zQvh^jtRiN@@&4rpy?Bug~-h8nKA+E{7 z!DkYU;K1ViD$)ghnY@bhBx}NB4G5Fo7qqmuCLAM_*)<2_9NI#d+9TFM{x_yQOzayJ zF}qr`9hE(_WPH32slb(|v6Fjh+)#iw2TmnE9Da-3S|^tB)l#en0 zkK)0p_4J@FqrUTFvrZRt9X~?r1d~t4w#x1|%$~~KmFUv@Gkt1>Hs~(JS3;%e_g<-a z{cxm&^uQFmEXSj-*WVANMYz3gDJr`iTol%p>^akR*%9f4HRJQ&?lN8Wx4cF=VPV*6 zi>vdBM-$ec%wO@>FZrphIfZZCcON=4JlkPa<|NsJ5LvM(WgMBkC9VnKp@`KRMcIPG zU>T1w?TzD1R~yPu$L+|egs^u8C|6c%Dy<2RJ4fg$*Tt60LrxZFXqC~WwZ9A|Q}UG@ z(GyUxw0%JeA;WqPAW(Nf;w%|fy>HN-A|gF|@6owzWzo{$6rD04HBMR+^WZ+lI>F;9 zuh4Ul{F%OJ^UP{Pej(T7Icw{0ER*M7y4x{nO_KbX7EgH%1uY9qahJ&Nmlp?m=M7p1 zJF|t=*%z(l)l`a;so^rjuNlG$60Li23R+q6X9kWe)JxF9lA!f06TU^Y(G-l`_`1r- z8!H&JRR++q6}lp&mlBuAeMQ%#iMH{XAd7I;gEEH8iG>p{A~Mzj1znR4uA-g?(Xvz% zF%K!5kk(SRNO`7lK85u;{Wga%k!Jj`6eu~wmEf#iSL)&44`$(m#5=K+_};Z+VZDD3B?x4ZtNOIP?0 zYm>1{@PdoEiQ^>l8^Oayy$fs3MP^PSv%jl3hk2RCMl?;WW+VS$4jC75D%F_3-4zxP z+88xFi+uES@NDhb*_}0^D09$?iuCC|hES+QhY|oNsWg6T#802v2 zJxUAZXED}0o+D|KXC+7Mu7g#CDOPZC_ux88ewGl%yY;%${=?(qjpL1bFBM9(Mal~` zztiMdB!t}{5{G?|IY02h2sn(T|FE5Gbw;93bX+=4$wxr1_R0v9QI0Yb2^k;N)Zs=| z-ejD+p#{cPtf=CEO%=6OoFpXdeP5Ffv)stIH?gBEU1dkC`@;>TPyaLO2KLse@{!#W z8%@E-JLuAdRyv9WE&LdQtgu2s*5CE=c(e8R(EYGQ z6~!oMN7ihXnEtg&U?rv#B3+_UQ16^xZQk0Mz~Quq9~K$NNEN|%QA>Nt|oF8e(xtXlUx zxPu~1QH=RNWlI}pZ(C9?`&%;QV%YF%5V$%+IbKY?-TUKjxNuvH%9@tF(-K9VxH?`U zPHNJ-oZ*GQ7qag{w};)hwk0x&3LBEW)8VPoXyL0$0^51jz$LI{(NGgeUGQrqGt0X0 zPvG#~LMs*z`YteQC$=-0oEdsAJWB$wRB>(5P?X00z$Ijan5f1g9Yl)tJBWMZQ-OPq(ZW*UehbCY$+O~k-bDssv; z7M!6y&OJ&vvepG28o+_IzeN}lH+>FTdGKYXv-Ju)T)T~1pF(@U@7LE4(xoBgE5S6|AOz+YV**87`@Y{5Z(JHor0rC( zwqyMNNz{QU0M`FaJHFlsMk{*bB0NmbG*ih=}W655F81zXWBfKCG~K_ z>1P~)Vp+un#ZRi`;EXd=!K!CG0f8$2(&@VDtR%w8n zi*0a|EvyD5l~=UlnQBXB7W7UA%p%RIbJREhzR}S|M{(`F`>Rc^;RVpnSVM`I zpn~hi)!Gtq#Hqi5qbZESyVk10C~T9~kw^n7ETZfNho^c&3!TbufLWGgA8uTrItIFM zRBcx6SNx#3go2JQTmcpua@mPYo;wsaAmN2m52qs(`HYL42P$vIbl zQTvkFYZSX7x+-iKbs0i6i^<6n>c)?Twa zceQ64ElXpIek-3vXnzRX+Jb3+FyHzc5)Q0Wc~RmzOxU|tb&2+mw|%wObL|vHYKw|{ z;A(qv!GF)5PBY-C3?PSnr!jP{=rFvyca5Utn*%9z9qZpbsGdSrc7%^|dC;wTc(!ar zTcC&-bD;SQnqB#YndRAi*_f;xJw2k&Q`s=Ip6Ut|9nD*sw^XD+` zHU?5*qo;t=*!0GgJPPYIeY-mz3({n%oydyED9GwNu0T;&xvp|u&sfE>;fw=Wd7*0< z3z~X*Ja|_!cZSRWT6k&mIyjK26ADi{LHZd_6kI*xOYmlo=l4%!DwNlt=|f6gQGG65 z>U4S*VUAM0VKa}ndje=&+1IYO9}9{Isk0)xr!ad)XbJk`dmgu4Dt}KyQVm%Vswujf zeRcN@J2HDGqb#LayOo}p^5$M!J&Ek`evrgrY4qvR+_Lw$p#O*dGw`#5@s$3@ZA*yE z8$L2DH3_&hP+LP=Dz7^Q_cHCiwkr3=c$9g=o$OiIGYZTa@cX?nz=9HP*B(t?$L1~@ zn=~D=dl)x*)3Xk-Jp{V}3#|9t)TSQ353YkJNo?V!DXHo8viE^4hFkitF*&X};|51e z2c8Bn=)Wd^ufqM#=W{E&0^5P8J#Zuih_0Hc?#YN#o!vu;kOOFIsx`B8EM7SPg+ z(EfE!8ycqda{L-Bw5m4u? z@$Kh6w82FmqZzV&!Rxb-3BM`Qdnzu}IICaKGCy7Et%k2ZWyH6sO=b!>Yv+_ z$C^Pd#+cwAiG?JnSyXt^kAwWvr;Oi7dXNbm5bjgEDdH|E>dq&L{pe%>06LN9+9i50!EFyq4A<&GX}2XJ9js= z<(;uvm~J>0u7^jMnnE+LMLr%QyPYthW~q81mSGH1cmjC#F99d_AbTA09Wd<*Ze%)C z7+$)=t2xsCC2bJ|Pko0Lb_7J|2>O>ihzLrbs4*D}qujK~P)?p?B{QfqOY@+4@ zUH=L5_ah+jsNY~g6I1nM^mXoHTd3SJmhOhSvo2#~J|%DE2+x++X*qYtJZLQ~2}*Zk z*i3WOOoQ@Rz0759x-QC0(ozCETFK+7hcU2DI+D_JQP3#K z@cGqgkV4wA**;KN)$L7lA-i?x#({ngA~&p5<=fC zc$R%bOG;k@_Vqk<9A&9GzsfOojm@fYM}RpW^$@JanAJ8oM{})zO3#vq=}hrnnw~YX z8kmAxlF>=XTsm}e6q?r8$7^2GoJPZb=*^gR`}sdi*P>++IwJMq{s;_rVzW|p7{((A zqYonLVfx(rxOT-7NhsrI?373svS(S(BO-Ien<`k>4efJvLeHZI=T47e%rW48+b9oe zl2I+Ut_;Lemw<6{N5)gn*U+*K1X)*ej%LlalJ*~K{t;s0bUPPwlttvGI>YWAJ)?-F ziDsxm)voU7c7K>q+A&tOzwWuj0Nm(J-JeO6Ig&uZlTj{zyC>Ow2>`AhiRurcJEFC2 zGCIxf-9Cu3gxf1z&>hG5T-It-;Pp$jp2XSQPSCJ)Oe-7KOyz8y>I_}r2o^1A!3zv? zCerm&P{UGfU~%;_3SX%&x}Dg#iN+J#Eh6S4?e{ZD#D#n+xP}Tm_Fm-hml}wEi+Rh5 zMLAEI3UcW_OmzE1jt|z*t|M*4a%!=i)xT78R~y_OWy;^!r1Ga(iO!vnWuDGkMmUm- zS7~|4=ytt@RV-;vs$dw;tOl>dax`eCOKbb#>M5P~8LzxuEJ(sws|_f*wRSA;_ETtd zR{M3ng97QaU8-T;TmpfwCof! z$TQ1XA2)d(-69!Bnq@ibb6K6MAW(C%2u`OnQz!NDm|4?TTe2MM>zsG4KzBTj_r+4q z)`Vzz>-MPUKh3kmKNHUB4Z5 znvJRLK~4;AF3)9wR>pP0O>5)k+b$5@x6eD@+OCf>`<7F#Fx#5^Fqv}BWzLJ6W|6vsO*wkY-L20KlB_ctPUi&H%b$yDwPMI%hmoj526ag_PFr+cW_Vtq*cB6TbKA zF{6KbyWN`mI(Xv`c4bNRF8 zrA!;EV3YQkA>nSf`uHYu!1%tk!p^OT)p>!AI$posiu|yaa$d=_KstjdqrKiZehy=G z9)KL^e4k_Te8NaI&9W)aOePFCA~gy=|jm&M2J6o&UBod(WkueUa$)k2yM6#zCwBUM=CH zoc&0v9R_g#(BIgs)l7VL8d2E(keeDnz^PtVL$|^xSKpS;JW^l-)#9E$mwHLCzyf}3 z#!i`^au!0Jn-eP0VxXfhh;p4Cy+fPt!RF_T>A+V{RKEq?`K$}=CXaFaoK^-;KF@{% zz+$lk>VV~0;~+9~oLq0Pc(;#YK`m})k?!pnvk1wKjJ|P<>sDuPnh0v&H0}r=I!`(0 z@PbXAo$Kg&xLM!9q}JQ+*d5VJ4+^`R(17FO`j4ZL7$MC`aGQl?_E}LzpK{irottKM zF3U-9xv?KmTNtuxhk?Ah{qj9K*}}k{%1BRsACD^tvY|Imwe6X3%?y|R(Er(RuLRy)G&>LB;}l@CxQo$F#H^w z)p?2Wgo}8A$5DphnWejc;0~kxRd%FVUCdYPb9&};w&d|% zeOw%o`U`*JVbT4&llnbd+UG}~KX_dbkl$>3{paGmgw{{Z{C$>dS4~-TZ`LpIU;b*A zy4@SEeD5Gg=ZT_!&GEx?aynwJ7xhKoURG6aByF6Tp3kzqY{oH;%MF>0fZ$Cy2pO;Z#*7rYq z*EfG&ce}%RWKZAFQi+!6ueoLkT;0O(Rm8tRh_@CLxlfpuF2aH>S@nyHo;w9DD$clSqYsFPymNDfGB??ey=Seb1~t-hAwRx^7heB z2te9ZZQ&ml&!EEI`}^?tik)!Eh7-_y)zeCDm_ey^Ci@62TvC~Zb6P5wx#Yir?gkXJ zKGI|X`N5nLzh^r_zu^VVdPxF>xgdMhm&4oba4~)F_45O2J&qU^KQx^`NkM8)6M)(526gL5F1{96_5fZJbt*FieLYJ!uu0KGWU5(I*u_O9Kr-*liFrQR$*!hL z@q#~gs)eA?fjfl)bCjtzp~6B>oxpk5_4x{DkN}S}AkA|`DmTZ+7`r0oc`QqY29{eM z_>M01J*aMiE`g5pP`o0Bn6I)~R1%WvH4w^(e#lDU#|BRt)is_=P~s9oq-v{d1;1po z27U&=l#O_jW@k^Y=bFfl@7>9#@k33W3dpS3K}zFwtxP zO4AeiqQ7RT%;LGt09VzpS&ASd(IFGS0DpilfoPf0p z3|U3$Mj;qKnU~ub4Na{xH>~*zcU17l0rmWPQL5E|rOH#`zA9rPImx@?H3mMFaJx|s zeUnS5AX$IlcUpMKc{w3)E%x1i90x=JyR+H2Q4uFRIZFf74PB51u41XUKKQs z{_(D2>%p&-YW6V{l6f$;V6%MwJj4FR>rqh1Lrz0 zd;B(i-gPa$Vj@G+%# zDqsu^^i>Xsc%=x998-5WG|r^SF62gQvZ92;c$*u|Iu3@7nFOv8du-Ee(91>l+@||< zY1#=jn-V(_!Zj8Ho56~f17WH&iu6W&Ar+P=K8L_F>h@-zgl1m^C^k%W6w7c24{c>U zW2Khpn!tqGMq38ofe+wGJ(dX9=gp9YYzHu*{3bpvPEm!f2x>8Fx);fwVs3WL%Qa9Yv#> zr-z7t;E#?%u%Fe_<|_k%&WHMkGX{_q_xh`aVMvAj3rv9ZonjJPu8=a|hAA0^6_ z0I8ek(%!l7e(N)R09j=kjlZqg)87Xx@ zdqrTjUdI`K4J^eo2NCs9zuZcXcO5ub&8XSiR7!^u1%u>fwwO*EKie4mwvKxu`yO5D zQ#i<{O$4|Dyw>f?^E>gP1rn7iTH%N^SMg-0ePlTjQ z?yaneVQ}ou56bfx_=I1>yt4!un+~^8;c@94o^lq1fc%7xXwREwNZ=o%pNs>cM+8X$ zaQE372aTIvC&bV*0(ybohZ86FvcEa(;1U3FWyI(--|-*@5HlF;?$xhRb4( z2)}|mQpa;w7}9v-lk$X&BZc?h|Iyoj1CrK?7g3=r*OcdQrpKdx23a` z=45OFSNQLXnj|z|xeTtm@0Zsy{vY(SWA6%v{x8h;G< zYw}RRpuf@&;Wjv6bnj{?vh<`i`K)QWuvx(F~*D_$_TN%($+n$m= z2rhR>15oUO<-9^$de8|7W$(w_Sn`o^^6Z$lvt_9V5~uZgDIdi}oYq+Maj3|U;UwTW zP`Re&ZtUp1VGb~T_GGFtqX=t@Y^aWFM&XLnRe1?zY=e7I9WmU6j&g+0x6q}j$DSZZ z$`3U~A`@A{pVjSV(i)36cZ|98Em#&eN(kZ}$GOWl$Wq5M7Ta(#)qo*uW^sp$ld&CK zVJ}BHisN99!MTk6(^w+qvFx2-syzn;@ULF`UWnV!SU)zaH-;8k2M>EnN;QRvI=!Y! zC#E>cNhs480m951u$ZocpFCJHW_c3>v;mt0nH z9O+}ut60L+C2A{Jq9>jAFo~PfzoNVNSx?eU28Z8M9R$cy=f)q#p*4;PYukoctQ$Ju z%Iary>5W4GHWCkl$+?324b_k!JMwP$k=2uB zYcc;i12TJB|1dsZ?b9=Ks$+i|i`nAxo-{vz3(ZKo=m`%x>sli9$$q%X%!BUi4Djx5 z1D5dLd4KiL^%*pNS$kXxsBZ1|PuS9a?t?t&MmIpaG%%efDYaSXw zcr^8e^DoZOo(GM0=tD#Mxk+w=@phPi_w@&21(%O(hWA6Nv14#3-+Qlp*8#e8)K(*; zVQSfA5I!98PaJpoU-|mq>1}URc9+qeUy-^qY=p=%Y zm#{_ZN&PVdZbPs%p-lZT>Q+yE(f!x;ucMQewB@p(Vq_AfQR1JvV%oBL3b;<|=}~AW zwsM8%ANQnVf}Zk+C3DmDHBJn_{jVQJF#L{=6QAW$@=w*^zZF70sU>=xi`H|1p0l?B*AB4@i}Q9eui{%Smbq!;zJ_J?C`g*v+ zSZ@zL>&xb;xlF+@O3Kg`hr|Y`dAgppvmqF6gw#Rn-IH-yHrex@0Ji-!bNdY*9PKw) z4JEO;dN-Xh;;Rm<%D-#~eR(eRuw&tI~H zZjkTl3e&X6?h+0NFsdslP2V@7rFQ5(`ky{xAiejuu42-0e=AV{&&H#Sg%Ez0i~#8@ z;qztCBF|^y_*TPqTTruJ){EU0Fjh1YO3Oywprx)pOy`eGRFCVQ(!Jzc)u3L&sQK4# zYF+}i%p93XJ$GZ^4Vvin@D9!Bc!pEG_YM0Y&#zzl{7-0Msp}q&g8Qa3$LUdU-}K@% zD~*@h{ab3*Bs0rN6 zap5n+9-SaAUj5)#Vdna zrf*v?d{SA$Wwotf8ca0~5>6L(8LpV%I232|@_Py!+|E7=-HWOw&&&E&(qMSQ$$(cz zprG}uu1+CilUOY`DLj^gOSSpJyh8= zz~}9rZMJkqTteAg7sGRG$~m4bY+D%&DP=nFV8a~qdsfm>iH7IjAh-H)2y9d~3<3K% zQv--1xj1fkHA~oL7z|CJHVt-Xy?0wao!|2;cxcU4r?y4&ZW&2iHb|0@r2ar~;A*?` zHW*oG%@dW~D$2!JXA!Gy6F8_OnNQwXRy05!>6!{)cv*a@Za|Kyrg!?C)cHY)@fV51TfO#eeb6{hlpFc| z;{(?}Et$7@*XEqyKjw#(O}OBdm@WF3*ZcaG`BcpH={_-)s@@uV*o>1_W`%Vik-{B!{jybc3>m9z6+0`qi#l>6Y~iKR%$XmtLH9e?Hz{|A#~8`tPYS>+gIx z(u$@ritv?-YLUXOGBB(o<3EaE!~Cm8hj(DeXka_c4oY<(7jTfkaao$KbSR;-C(yF$UObF>ke$J* zIC_^A@_Ekgc0tMY)4Qv+$neqq@CDhTRy;~&1|273RZnTg40tt)G0*hU6P#}B9F>=a zxef%Yz5o>#8Qv;OGjcw8BJijAKh4*e{4LRv_DuxB^OCKZU2|#c50m@13t?XQbj%3a zG{HVQlWiq)G&8p8ZPOc=@LPisdC(@vM^8=+&dK{7E4n(bRv@h?;W7+3A$vt@{;Y}d z3u;;Gs#x8Xufv>VX-Cunlzs6WA3bT6os7E!%g~Z>muJ?SNGl^wrj3(U90m67D$Zf{ z3a3R&!l74_%P0+cJ_*QZn;v=a$f9#7>LI1EC&M2}XAw~kT~(K`q8Z{kqMN>Iimb$S z0h;MDN$JX5Gx)v(m`#?Wb@!^e9gM#}LRs>%?u+`@0Icc-L@IIPAgpCzv=9+{v%=IH;= zk&o{WJqpj29j82ZZ=U||mO}}PHk^F&-52kJ8Fx&B6Qefs4<@;N5gv4M`LU@h+5VEt zm8`g?e%s)qZmC9XF)mMc_nZheh)yQ9`g%TUv1mxx%-jzth3BN51R_4i=6@fQ3xldS)f1nL4l^ z%2?)#_GJr8QS z^P&@NKOJs~Xzc$Xc*7a*{A5o}Xm{eo;)bpbug*o?@N8SxeaZgmyd;N8SML*7C-qoI zdyApOKh%>@6fw_t*E_eZdC~j6tWp$Dy5_2xu);n`VbwEzb)xG*x1!>EZ+-vzv2?%V z-5{qk%bL2Dmf6I7jJnEov^jOIWiaN3)0xxD?@x8KD70>PyD{3LIdoMTrzf?=`>)-H zZWZ0w^)ckHv_sblSJr>63_iOiY?6VqX3D|$u09!GRyRL#{pWa3W!HsZ14**Zm$0&q zlfD@{rk}rCxZ%!LJNu)~kBk2aX?Z8?Sdhy5^lMQ^{nwCJ5#@s|?;S>Sdvb#>txj`2 zA7448GAlfkvsLjv9NK&{$<8*#HDopGIY*U%*h?hY>Sc(!Jx*~AD|)vS376}M6e(j+ zX#ggif5}hAoxPXB`l(;+stn2S_vIso(u#CE>S||YIw!bdXwmyK&lYNQ7{sW2Q)z&- z=c^*}F~BZ&stg`@lWyLJH>B6^s_zopXSsTs0{}ED2Ik==IrHXoknj`{WuIl_Lx$T3 zwE?ykL{WjkbRq7_ccZfO8ZF&%?QK2-L-W{A^qEx%?hr@TQMbP|!k11<$#}No<-^}U z*n0p;;Tyx8WqS``R(ze(M@YNJrSvG?Cq}}THmImZuUbn+L}qL?l1cT2wFZaVby4=` zK+4{VTCeX|N(9BojE-TXp#eAQVc_0rX!lm@o(VG|?T|2XAwbl^_3-(~Qu3*`W9h;m z_mhTqG3nkw%(chp(mbB>L6UL7*FVeI*i_q?&KH63^8Us-WNE25Y;eVdM*Xh!MJn&`t_mPGu zd%HGyFi$vQCU!1x3YcgL6VusIA9pu~Lz4Y@+T>~;J?|}Q?mA}}$~DR9TDK@W0QNAW zgGYS(f~f}4jd6#UvZx6s^qRZ$8n-ZHlPVe~Afvw7lzm6gY#Xuj!!;~Mg6+2C!S@a; zSs<+JF$acy%n!F~!MGNA@RI#X?XhtS81LQZS*-)YHy37ajT%7z{LY#@!kbK{MTOokCwUkNkfI<|kiv9!lG^ex*_ z(DS$L-hYv(@mFxkV~y|`FJEVC5~e->s<&Yy+*CK-po53zM*4wpL+G3GZKOT#Y~ik5 z&@*Lhz=JRCF@{$bB&8iDW9If?N$;c>W#QWM)xR5#X&b5sjcMaChIs!q0>+Qp?Y#w# zbPFpQ>1$lZU8ZEZO2VY-l> zcil?blV|q~V^r0F;6Zxkg5N;-x!frA{_G?iOz!9gbb7?uKY$$I2n9fB-e`I=qAA}9gwL3zPhBkQAU+)^Tzz_c2 z_eny9vVlaavoixNB4{EmuH)O+rskBJ=atm1f z&Z~;XXyEWQR&>Ypr4AD&_MwDHPVkAG;2ofa%O=vI^#MDyVAJ}p0cJs3MdK1M&^g@o zV2t5WMm>esb;QoDo~A{gy}-xxsOZg(n>?9NzXLad`FDz%8{HvX5-`_;Lq;7OpgrB+ zZZRSa*TJ6U+3y*)Is(R2*#S5dF%iCHns5K;)EF9caHH&(7{iww^X)I;OniJ!0QyAV zT&khDYXiyX-w%(nPcj0ynP0|lTm`aRpj*0pUpm0vJ@dzcY?BY^R?PPUg9KliHx|1V zsHn%j@c=U=@mn0aQPEdt_H6;OTLZ@e9$qGJTOr&4`VWrCTrd?U4M&OQ;F5)3jX>Dc zag(dHK|5B`q8rCA6ENZfss_z|bt2tTXZEEtlnpByCxh7@(JlRYjVqWDt#2cjU}Wjb z4X{`L_hTN@mqJCW(_UILBb|lDQ>s{^###XWz$aWsLD5Qj%xAtr(moOJRSP!LOc>k# zvkvK2E8UKm5&dr?7BG_Y*;^)wO4b`2;Yf>C1}tPYpEkDnPu%9<^aXFg^V&L28U2c+ zvBp$%GB;iuHX0cNsZ;l`qMq6sW`I3;lMyod9dkV&3|~X?by_ZhYqVSpI1>*(yo}S_ zGOH|J7v}ZSX4OUzc`1&h+v5|12C&^fA!B-t52vCB*DIr$k$2xlw!nz1@)r2(dCeG1 zDox=y;G~4UjNSQL-$oYGEpH`CJK*ws=eLp5sOX zqN10`F9L42yqm{(=7SS>bIXP@jT@*j(Z;p!J0w)r;jZU9Dt3#RyS7`Q*>V*wRaP>Md#8Toz&1Gw-dTgz9in%4vqH+2HwG~H0X z5|T%XA?cQG-}@&+Zps70DZrN#7WL|yd?mBx`~3^v!VZtw(xUhNDP}+~O~4uqA&S1>5Md?^BHH49mSekLS?=BK&K>w@#F_1#?qpaIgbf(VM)_h zNV33Kyb~3jHa$K8H1+k(n4x-S0;@*Kbzp=~zkV~q4H$V`qX9#GvJf*FPB{W2fi>`f z@BCNau&#!{ioV>dfv&mTr{Qm_Y+;Uj&0L^!A#jYL1Xk251Nk$+>`DXwu@N{0Z42?X z1b}q^^Z0g0$X;*-6a5iW8q#x8SpyI^08%w}aH3)NI#Lb4E36*uO$Fa=fNb`XdadZ-)akt*0Dez(4zzPoHhlgOo^-m_7-$dO%4z3;n=WHFD^lYem@4VTH&K1y zD780n0)Xn-F@T7D4@cqrnjw%&b?4g@0;Xgny22Dc?iQs^HA_@ufVpboY77`#RxAM+ zQ~g``AOy}}4?@^csHJUVCgf%g3ErhUs_ zvK#kj7iS+e9u0XL^49x7vg@Irnj1-fLWzZI``zZ|B}5!}qq&LU%|%^ZFLO z>})h^{IT&$qr=`%$T4HGulZ7-XYwsOssKu zU>Y|%C&fHIPBz;VPr5fdt#u%Zp@-WgQcS%*YIsD!%cl1(q9yyR({ zrjift<5B9)*ciffjZZZ$jeU)~uCeN!4gSclHj>7cps47_ZN6H~!66f^wM8{LsOSzi zwuBS)%EH(JGm6(E!-vjHgVWMaN*yda(Uxp0nSYHZtxS@Kz|OBx(bZoPT_hpi#fkR4 zmdYh1skyk{`BETgPp%1~0)P$Z+xSVFm>C_+W{ zvJ?&P>ZaUMb5WAYltNd9+awY*MY>sPY9virQX*>$lJ)m`>)!9@_lJi$=Y5vfd7amC zmgjj@F^I)@yhs=ST^oX!ZI>pFJw|n5#d!pdNxtltg>!^R8Hr)sd147XYP`yt!!Efn z8pHp6bey=FUhiecFhb$s1M(tkF7F=qe0^R`M-jfjaZBtkQFE zA9a;Q5$IrWC-u*;(W7k)`7+gcQUbE!+V#kEV4KJl$U_KBJgawGqxgkNekBM`J z+qq!~+R|`?%|NUUO?dlCs~8hNxZE6aJROM|@l!@SmvJclr;mvBUm(TV2`C6w-khm9f}P}np)y6c z#eKm^*K8!g7wh+_A=4>&!XLst4NAE}2IFWtjMuoKl%G5C(>qDB?hJ`!HBPle^2%^{ zr%f>lOqPc84EP~N6WVCQ((Y8aHA8+(gCs5>2mis}fHxE?R+}>XTU6N&uDcFM`aLRU zRA$B-Rj)0PaDx5uh48kbqL3mBEKJ3hPwaBuwE;-)Qgpw=MZ=DZ){4vGrs4gRK zN8=Y`Fs@%B0}(U_ekt@Z1cBQwt7PiP+wSs7%3705tL0>$qd>hqrWNu6lT}Kpm&O0# ze+h*xqwMpCsraLhza=N_I$+ol3oEuI)!)(K9QP#qED9i<6o|NVOWlo+tU8Z*t41qZm>)8xTixAV8Esi^uHF84(z`4XlnU2Q09L?*uV zOZOmK{{t&IYj?IB+iA(z9Xqeu0I5ki;it68G_(FkUmO{==Ca@cWh;#P<^H)g;w8fb z5UD-MuZ1ii4?ZD*Moucq`~&l>Qr(8v0E)48Z}MxTCp+`Bcv1Cb*`irBGKI)+4aG*t z^tK%-nqRD4-G|gvM=623`&4(x|3imHWfKr6RPs?c0yOf1ojOh_#-(Ux^B+YnrkOmz zz-YWr#ignb%TmndH+<0}v`NS8ff`#47A_Ro<7N-2?8EPu!9qy0+8fJykCKUNDwaHg zk*utC!5bp!)tm5|$mKLM@8f+~%6l(H?cFjh!2%QSCtu_kyGu{MU%~MAlIl@Ay>mtK z`vKV}WUJ^ISA~mc@3!YMC^3;YG_|`bYvs($%$6FrjO$C)>Z*L43f&#_|32#?EZ84m zmcCW}eVy`}*f+_J=RaQ$Y?oP|lkg$UIe+oi(}DHd0xOn_{4hnY7So?|3FUz|0o1dgl5-LzUp}&xST|3-z4hb-N`{6 zzf*qubUQo%tMow18ZyjgGyD|EH2sL{4`dZG?qODSZ!+%aM_hTJY5eF!SA|;}#;ohp zhx@m#`3yU^9Zm;T(tXJi2+1P+QkHX8`Kf(#OZ^QH4Kqd(K*-sB%ez|fz)z-i2@tu# zt4bZnaXhF^TkMVLoH}2wMkIeC+Tw1KRozK_qr3+>`?UOiSFDe_a#5aHw;)5Fl=d`3 z*Bg5pSoaYi3x`g8+sUw>|A!{yr=*`4qntwfvqgfb=U#UV=g8tFX;050Ris%jS1X4Y z$4~E5L^OTvTpwAjMPg+j_ngkpD_?)qd^Cyo$~_;By*$M>jvkuikQvicU!P*lyb z{1L|o5sdnQZNP^%-?^$u7!0&h@G*%?iRuHNiB9p z&gN;Fn^NA6O0h}{A&-iL+{$%PtDG&%J5BEV3=^=a` zVw9(Tldnq!W+=kmgKv(nbDI{Itm9z;dhW8nG0N51W!8xjl9PZ4RphKiZq|J2-px;% zOiDY~$l^7;8%_lI5W=Dt-eZO8B6w1pXRZDA z)0{RbwsRi5SGQ|bQ)sd#Z%{SaZ#DuC4Ck+D6*t~(`k1j*tam$>qKTNjtpx^HN=N}f zB+MbQ+9`c&V?WNj6BzsBKp9B^LRdB>U{(P1j)OxEtVIgKnRPPye}`MZ_=sK>yuCJ} zMahjM;<`-<#DjIaRwWgGL{EcYhBtmt7@g{3eqv1&H*HDglHQ}lI9fFnnkZx|v6z)` zr?iBzc@sQU)N}7$3vcErf&~Tj1a=z)&8oMWD9u_yD^YEA z^Z&RM=?S>#wXCIpb0*WDU0JPF{QEewH}}SwylIMI4Pw$qqyUesh;%rsQ|<$BVtsEq zXr*JTJiE!>?FS`Vvd*IJZW9?vHIa$@e{tXk^{zTe~E)&bwd__#&`xa7pOEB9Alz(pemU(jDJ_3jfJ znGf&4U0EtL#ilrN+Af0|Lje7cY5GAr=g+B7*tqq zqf$JVJhBS$7fSFY9a`7eXtSBU6pTO?gI>zdj_Ww~Uu|2GWUmE-6t$Rkc-J08^@=s7 z-Ozpv`12=lZFLWgEM#n^KtKYqbGO9kF?>13W}}A|jLo)oQxJNqSDBLt58s^tFiju% z(DWR34&hku9t@Dw<0~0%w(@ZMC0^hQpyiYJy1)Bn8E(@MsUh=*FGh#qfE=l_o9YVy zc>);e*YN(_igvzSTA|4RiQCzv-oG@i+uH?KEXWU`{)WK1hAkP|ej2d|Z2;jROUSl3 zuDme5kzoqlbL5|YI+u*P_VOhIdhabhPELDzuV97@cCPP61x7m@KaY@@c9<_~TyaBm zH;GozE`AfC-kD82`;|&$36K-yu)b27Ff~IEgka9BAjahax|q>QSjFDEILDB1V3V6+ zIPu_>I6Lg87X0V&>9>LPN8`z~r>#-q9P-8EQn93H{JY6RK#RAno06gx*ouQ@Ps@U4 z2lQ$+*%a75Ii`wIt{DRCS_YlMHzllGPF?(?c>fi*h74DisT&}zX7<8<# z4)bIPVj=!1c)wU9aMuy}jeS6}+a6YlGRnRbjWB95rV6`-(2(92*kbYkdNp_EmK@rOrN} zI$(m!CFmG;e21@c#(6f9#f*eii29r}MWF@3(?u<(goS>;o0uF0ROceH)y+pH{DwI= zXFy(6I7(hBfaO%D7X;nnXo@lCueDY+u0>u5yy^GgJCH|W&bPOo3q(IH0!KRf8{_!) zuUll7+5(a?AFJh7V=`PF#6F*^2_ch&SjvZBdyHC0)U+Y9R~#O7hV=pnk8^@D4Ege$ zp2(z5nr!rQfOeMSCIc&RanX0gUXc~Mlos>^qb_=RSsu9Z#Lw>&6#s+*0Msrnl0py_ z;+BNiz&eKiWq910u@$sX;g53b8C$kT%9O%ONBe+~e=M&YSA~CUnEzp1#u-zO{ zi}Ef3D?$*I-XX)hxZYbvQnVGX$%4~6YEgb8z~478I+u#x;58Zqo8UJ10C`{;E_de1 zB9r1tO~{#JoTn-0#i`UpDV8tVFiDX$mU1V!8&QX@5nO1+YqEpEQn#(o1~#(rnw1dU zs3swJ4>XN2I=4d@v6Nfftqj343cbyKf<}un9B^g`R*Nx1uLIQikt!K@TZ(}k97F(M zmQ)p%l9hwVh}tb&EiDNFr&7KLsbEy?YXq%PjLt)FXj3CjG`L!dd5Ar#&*-e4O_7<0 zPK<74bOvx=;T)D0oSO~6%|>CQmIMH^oq!|OeuqbQA-Z86OI(5Lgr%Gef{Tosk97GB z@R*1N!yKS^aab@+qnChA8jxmmQbm@K5(1kmsO&Lnm~>CE_39&sb&KG05{ScY(2^vK zU6v6$51_;n^r|%za3#LhuqA<{j=OFO|i1}{a1i-(N z$nU48a6;FwgT{@Hy?$;Ul#ghVF998K4}UrF>9#f$01OF zB2KRzJ_B{HK;7vVIQ`s9TM6iCkPkg2&G&PD3p$mw3IhDN%xFUn38K{uyNc0EjsR=N z7m*>Krwz?tMO6^qg8a+&jFT~T&7~fBp#33Em!1O5aKAI~dujnrkG*O;mtC_x$P++} zH*or(GXR!TDqfxjTs6=Vd&L$WoZ19~{YaV%`7gBRF#Y31O94j;Xw)6UPf%K!8D;7eh4E*J*XZod;T z3K{sZmIp(uCh+@-O0<;YFCrx9UscCH0DcuJ>Gb%DF*~CO72&C}YXUy|l9-)RTv(#d zv;#EXe#VqRbtNWix(laYX3j`6s1w3xz=1;KuqtKx6^Ql;G6J}*I{$pBW-()C8$k1E zQ+7hvRLl9u*mx@g1B4%g#FoE=5 z53Q|DGNGje%<`McpaQ5{j1Wv^GVtI1-wHygaA5p7S990QI zI$ZR!Yfv~=uudnw)1}6x=2^|9lnR9kg*e^84L9k7F7J-EoNY-hTNGvFALlRM*;d0k zF+u&IGfE#_IOw_xKS29R^N;9!ShJ*aLCx9})(KY1aYgw>T6U|_4$S=;)M)}?Y37qV zHo=Knj4m8@8T+A7abi}&doxe>Yapi|?S~#s z_LjS&)`$6_JIG$&GNxV^*^H>+7i|;;nkM%?2l9Ig8W*8j%B8;(!b_P1qehQmI#iA(^*enHtW{B?86IG3-aWX?Z@9s{5Nmz!+7@Z$_t>t_vdB6rTsS!%qk)CZl+Vd- z4!xM;9oO^je*PtRRloYnvFz>{9%jOHkVkmad>GrXerKSf+C_0>sE*T;GnKu0O{!GHqr5S{*3ctTbjP3yq#QDAw z3AR>_MIgTlxoxSVO;F&~$r%il_HkYXJ-(Z;AAr#~@*4yTZ z_~-IAy^90Vv@fiXty0exL!qa$d%Z|VzzXU#9^1QA7Zux_dr1!yM?I&YgW1BNr#q|C zixA!jseLM_Wo*N?62xz=`Tbfg3B6TPN>jJSkcFP!GCjn9T)k@<;vc&~M}8k7x7N2m z$MBQx4oS8Y77Bb3|F~1&HJF1>9h01;lYB);Yda06xN@d#Td#4oMfpK}f&kit{{k6Vi z8-_GCzY3N@(dL8JYQM#71Bv){?M104WvClCQ2Q`_gE#W?zPwx{r$Ir{T@JYe^aDVl z#i#gHOQ7fdca=eKD88v1p^NT^o&o6|dtmst4t{y%<%l{StG(zaf}}Rtw5(lg3iH{(D@6-H74&fj$=hX*q_h)fYW{4O6opb)?naxRxaZ`Ph5W zaT~#G!@X&6e&ZFhuZQBQ9){tUMAsf)(OwnI6-TAFp1babt|H6t4|sGJ4c)xVyGi_? z9KPgziC0BNK7WN*fE3<~pZuZ)5QeN?<9OITI31a+*r4*K&~6U;P*R9NYGh;dJD z+s5nL>sQPAYuM?K_2bzr77xfl8=$S+@R+f+#uV0TcN!gdUWuIm<>K~tgo zP{-!bZ#y)vc@b1wxEmWb&$g#2@xgx%dXPy)kqfSa2sYN9B_{1oRCD(tklQ`fRjBx@ z^AX?5F-6pJ;M1W$KuKK@KUR~go_bvjm9|xV{-u0XEMYxCY3sd+_+zzmhsU}>zX#u1 zR;~$*_V|&)AG8WgIBVSXdmV(WG-KpbZ`y|eZUf)+z1-Xo2XLBG|X~G z9hGtIpz=L8cRWDI!edX;=PjS+Lb7Vg6(lNVG;;?rqN}MyrQ6S@Unb~1BqNQ{EHQZ$ zJu8+@g(|kA`#$U|u?6Gev#oNhBvT{vMu-n2!Vp#ZYuC*d1-uql!2mzz(#0th7e_1Q`l? z5cgdf4rPjMEI!xI^2{855LW1zz3(cJl2zlME9}9l?l6itZEguBRMfY!UHI4Nf|0B8 z`XppI>MhmWboc%@LC%Sj_IfK~bkUcu4Uh9~vzVLv^X3khIgpUg+mO(gqPlQLyEEBz zMKso-VRN}$sXOQXl|Pmty#DB4F7>S+&L4TIgucAz{3ZN*XuI>3r|I%w)7@SLul%h< z9DR8R`QHw&kgA1aZe%F`m(?JZ{-l{b4Wt4;jGJ*#k?$DRzNI&W1&9YUgw zPR2g%KPJ@at|DplxL;WF zq{%CtPC}k~Fxbx%e|Z>)qsRatDXYXb!|jHdLuH>4-4;XP4ewIEySBFcMzs$w$iHyz zhweSZ-(wcnIq7a`akl2q>;oZ3^1A5f|2Bm=_EUcBc&g%wiFo=V)Nyp{TmzHSKF+mW zAPiaSOQ;{{K_Os$cp{tA8yD;8=}HYUE-zQ7pPqVHt&buTEM1%(sqdn9O3y4Gtvso} z{NT5pw$8IzpC5R8ApS^I)aPHq@FqgnnZ;B@WzF~W4C&K58V|2_ZX2P(fhi}?9#ZC-Kbmy@INHhT{Kyjns+hb9>p z#TuWq&Dm%gt8hdf@y}8^=|QVc`s;2$9d+a=>T+AtheQvBIw9Swf7{$&TV=j+F6!{q zQAv*~?@#{56#7SQ^KLXBNT#B))%#4;GVA}$d)&b-y$~XrqYI4v=x=J6S<)V{x%C?O z)&O@99uPR{)%ZByUhWEobfaq^VFN(SzILbR;K*$gY=jpE%y3Muupc>`S{vesIM$=V zAM?tK#L-w#zYta~>DyfnHC?-fP%F!OvUF26EIhO~9?>@t{@8NML*n5&eS~XJzAX<* zv$?bCTuB^j=u@d8ER4>`eGC@R1BS-i8pCu9F_bg^A0fvfwlH9sMtjZCT1OBqO(JJ> z`G%M-y8v<2l69e6_Le^7DMFt4yA9Wd)cu*T^x#Vmg!j3dWnMAwYWcx3c$o1LBo#Pm zWxii+oBQcX>scWJ)=vtX8g>P3Tsf+wZ5~`0{ARY8PtI(cPySCC#L!se-cP37yo-c9 z0mou~rN+*y6EfqOH{0m$7N$J-vyJ#~LBhHIFq zREAwwEvG;H=ur7KJrGJfoh>m+&uY)+d};yi7(T!1mGbq9axW|*zAgRZtg8L9zm!mi z@9s@EYgU-(J4Awp=$*gTHixx>{q8skm8}9Xs&&{OYEFSQ(xykh1oBYqwcz*J!xg|j zdXTxKUR{Snz)fP@9~K|*oK>2AzWYLsIKbjK^6rp*xFIln!QD2?fkdlLp@WMqw4>c;iGY}t|k9Ugilo95qD1#dQHhU9Sx3LaxlH2 z%;Mmv^AX059`5O4o=4R7 z-7{469K53`QTe~jAAcv+SN*fOH&%OUxHY%GuRn6D)4zSD-MY+ckjuOq9d{?Es($=U zWq<3BH{r40TW5CbdD|pqjYPy$94n2xQ*R*Lte#~ga-}6uMz|j8#ADA$u literal 29187 zcmXuL2Uru?_dk4RCXLWS4}B06RFnW#5E!rkiV$R1*|mU(2r42LQ0jmcMTod6tb$RH z@^>w)h?S;@xU$mnT`?9ctU}g^1yF;5_YD4C^E@Wb+DC8%%umEJU^QsgTMgXeerW9<9<6JwPE3As_CeMEhBsZQzIwcT zTl}*QxUhZ!hyjD0a=Ream^U6JPukZe+V9Vd?w8fhyTJ}Hv``MPh6i>(B zImVVe6ixde%utH)wFMNhjXJ$XOHePA5`0U7LR*ogxHq5RgykUrF`&^9b9p9(7Gc`rP#!Nl4n`Yec&JV^eLI3e!?>CB z5=&6eta_8cLp9*C70lwotRM<;5#FUKs5hgCcYAbrFDUBHlBYy6fnT#HLl3N_kq$m> zo8vuC8oei?dqZ=aDYOrnxgA@hL()JQeuTjl!p&`hUI2#A(r;^X&N8A=4!&($Km@xK zVHVoGz4?v&KUl2ITGG>N^oKEg2a*=UkJWrZeLS6$$`^aFlGd4Jq&51tcKOBF|7}2DLm`jzRrz20mWrK`2b7BQ7_XmOE#^fU%1_3i?8VkHa0G%u}$^& zJ~*dX%*{sH{dWexvdGt`Zj4;mdNDN7O8PSPtDPs?A;nB`q&w|d!=urE?~LMxn>fJx zFBG?B{_3ex;@Fu>hJqBUFl1QEEK8h)^d6sP>N+6 zb}l$nn^#N6;rwo#W&Sa?9);bV`9V8{3(Gew`>>KajkFPJnDP}Iwx7t{@G+ITbN(xq z#uF0txd>t3h2mM9Hgpw}7NZX#6p@W2=5f{=SH<_OyovUl!ZQE9W*`<~ZhYj$H4G%S z)gKhqv!ukTz1T678TR5hefuJ6(D`mAsvli#eEF;PULlrw9;RGlw*{lG9#Y~$BYJ=u zoIY}?m$`H}cZ4N;k=T`0_|=se84DvrSq|T|nZfQ-V#J(yr^y?kVd->~Y5CPYoUV&7 zNq8A1j9^87oidV{PT*bI0{(lJ;Sjb>8hBgZP)cm)ACnS3)BhiFz>L_SU+_E{bJL4D`^`x|8MR#Lv#g+^I3*h%t6}nJ@oCVRQY^a1XZrFUPCHkJFM3Q z_2Z?R9i`Y6FXYCje`QD0%QtJ1SD%mOKSjtk)*H0u~c|U*y)- zUvCD$Zd+H$S%gl%_kX4-mU+`+S6K~4D5#c*V>fiiv?-e=CDe(byVla;FK2YvhTFra za#Mw%}-{O0SBReen zb^Vm>jzHCHyJ$OW5K(9{I-OHoitRC?b-rr9S#2XF(sFl(;=JwSw(CpFxtLEORj9?g zVulFC4h4dbq2i}(blS?#Lnsc_aZpTSG*(6&;4>QChaX51k}@~NOImCoGo^3W(r2tN zK&m2u3SNi#oG-T00Cjrs#WL{1BT3W9{Id_SX;Lc!l=)b89sW*IRMO7trwSYFfJD$eGK`ezoRjA7ly-#zlu^-`|?mxTu>$ej@>h3}MOcBnT5n_Vz zxrEz`J;FN-R5P64Y48T8DfFq}AnxuP`AM8`%H!zo(h243BEb8*7OrIV(#uwBJwT_Y zo}S7!9Nb8iAFOx_`np`c9fWbwa>iLt$`2yT4->Li89oZZ83aZ|aQ{7gJs-_a zMFK^kjEn6#0`Bu40*9CF!}f5ZsZ_(O=+p4I=L7d=#@^^T0R$oF$h2u4ndT*d0emgG zBmn=Y4zVT-w=?o=HwdTHPEpQ_QpcdbRKcNEJ5j->aPaTJ7>cV{=-B8-?{aSR84 zVRXHf#s>WruCjIIt!o&IFL;J}sTxeP(u^*n*%KbbBze=+h&-K%m2$fx1a)HBW)+q45VO`ZKw?VH;F+qbP~eiPOZNCvuCMwAl^t|4Cd=pWIv6$PF&w`UCzyH5uGLmZfc1NcvB2qmtN z2QyFZfiV)Jo_Q41BF&Eh4rDIWVBMme|Iw1c9%p*oTioYw$vvFY6Wn95MQ5i41U|Q& zyq&Xl+U=Y}(qK`0i2=5U4W9d;QmEaQal_)EGunMJs0cX5$R7V5pL%-EVT+&~`=HZP z@9_j%tgiFKJrJ@qwm6er{zV*K)cx@^r>74=EL>a!5%IizD=RzLB(E&u*Y>_~4I&J8PKEqB1Hcs{49DBB)+UsU`xFJOLJpsNsPdc5 z2NCgU4g(LTCV?$=>F7qZt^Tv9-i2z`Y+i)TU&Y~VH`zHmoLU9B-}vw{rabIgz|fm7 z4A&QYTC#;LZJvysen0LauGRc+*PfL<3n4x1{)03}dydlMMztB1ex zao`pvP)z-_pq{?9_f`&kGyuDW-|fFSeOmv?i$*hWpXb0aUzgYx{_xIb4!O(=td-!W4}%*hls3 z>X}QAdxZJSIIK%>dWgu$j~9AoGGI8=Q%pN=w0X4VyI$Fjr?OL$iDTh)l z#XaVm14|O)^ z))Gi6EyLtg3bJH>@ijzH&AH9F*!(n{_jukWLaSN#{`sDzpF$XeZnV3~(0iH@zeO7z z_^u_`GWoiJ81{9|tx)n)Q5d$KP4<{DLf=$oEdw=n#quvUrBKZmn=b-M0!XH53MFBA zmXX|VmOohRW=OtkoOPXp=8quWWA723!%58H(>lm1k~-J{6M|1OnRMnMZJx?pyNN8D zb1MyDU)3B`X$W=Pi2n%N;Zqzq^_H38)JWin_lWl{u#q^d%qU!Id2~aHLI)Y1$9zT> z{zpIE-rJhHVrxeX)Mqmg>qHD}?Kf+_i2%R2x_asmYxj)Y89EN~6exFMG!Y?R0e&G} zJO=rNCx~9!-Pr_cqC=g=*nw&xR6BD0db(QjtMB<@WzJY2iPe!33E_|@PER?bWIM>0 zFqFO^t?1;upCgT8<3N$q z5sk%K|9Rk#Gv^xt-_Z|ZhA}gVEyT-TgO;-aD)JFwnI)pnoagL@F_@th<{-~tQq|wc zCF$`g-J}!ZQmYvy3ohn65_+@Lcir)hj*~*9R|V4v!v1MQ0B_2 zL0Wt;Iv4H!U0SH&Ag`pu?Uje=@MA*`6d`{M@zVX^P&7rXH&t4|--+@yXib+-vcsG9 zhj)46s(ZN4O?zcLeft;sOd*%y$NpY<>rOVRRgAj&VHG^lTC$x7To-ig^fiD?A@1lOhnWNh~M z>>s9&zqIVXpBCcx%Z=8p`V;bTGbKx&RkaMun{_-vi~PW%+5$O-I9+WlxMnFu%T_xZ zWBd=Xj!iC9M__TG4o|)T^LIZw9g$~s>) z6PdL==h2)h+n9BPnc!S>9Ax%mozJy;L#2gTcdM?3^Lg^+n18Y{*x*GLEiKe^U?HWF zwp(Ukj%Dnmut4hGLJBL&&9OxO$y{Y2Ev?a%RBf+HBsj_x`Od1((ftjq5K8|SIw;)pHJV*BO) z{pA`s%p#+^F}r^{FJOjZ_chbsAhv8%=piNMKWwEOrlo2mX`G|nM|%%Xt&W(i^kvkr zQM!_FkiMxjbI0hcWQHc-*5?R z`b=}fW-iq+5;)9-QAA#K&QMUjRDCGHR=Gev<%dy~OR0OfGAz_*BSy82X#2?zRgEG% zh|N;Yplpx>&3dQdH!157jVmgosC;+=_I(5x?tA+ANl(MCP*Iof1DG^76}$5u7Vi zc23(lZM%Dbh;0|ozk;__Qs*1B;%A^tIVS08m*vpVjr2Z`gAd9zB#nv9a}oO*|6n`D z{yM>U4M!rID!V{SmlAm?Gp?A2ixZ^@rSQ22o{-ln9YVlVa>TJYddOSJ_FKPheH<0; zOqRRjptxrml6`+aywyLT`7nt^mZzeuL1@q55yqGE2}8jH(LsQN()XFEK(-S3w}d3J zwbp9`8m@SO!20IpsTjL4C;#pwYDr=#w0jgqwB4JEWQ?;t@hNRyPB2)wmMu3CQ-3r$ zCUEVx>ndt#>3gnUM3I|7R6Z=&+Gw#ooss(b@64!o8Na+^`zdOnmm{@eF{6Z{a_*AP zvN_v%u;76k=G)^Gm~0oO5z6vYh}VZv;S;6MwHpUJm>1?uBe_JU%!V!=(0UFJNpl0HyEJ! z1ttQLq7=e=3S#Dsrp;?0Na&h1FfcUgZ%%aew3kZ z=XhGJfxK(@5}9WCGI0Az;P$fn^!KN=o%SbF?yS8>WV*2>p+SXwhx!U3SowvP)<#`F z#WuwiTDpqsCy#~hlXv0X^IZ#TtPBFMENxi@jo&gQ&LRJrV@U*AJ`>MNFyB5ST)gfj z=P6aA!3=s(9)huVm~+56204oJwDcinrT8z37tmF@pagc;hYz>@^3IW|HM!5Ug^=N>u*2B5_H7$@8%Y@v!(g z*KhrlN`lNlse2%f?g5`x&8-J_Xa{pdui=l3Q8d8b-{hF0<&$cOiq zv|#-GUm_+hMR_W_!HJakIF@(oq?{*|+3%knk)xXS!xI*PCvYzrf|61Xs2s`iR%VoH zPPq7#%`v?Pa6EkC5a4O8VgoI$)$#kZMPW{RrydRU|D&Wf3!>$jsb#f(E9a+bN*b@r&eC{_ zwJVRp(lSl8s3j-L`%&f%j-={Ic|Xn>j8&|W-7D{34J=fgtLP{4LKm#$`2p`Xpe_v5 zl{QZ;gqWj7uCgE`kOg7>so5%1@`D8>u0s%XRO88ux75Ye?w|hOiRU;^v5am^TJI`F zPV?_sNYO>_dwgn1UFijaHE2$CTquR&U1l7SlV4mN0ZUe9$h92mV|p3j2{@&PeBbRshHaY~R&{~j zrI(N5nK!g0vi5B-^Tdr~H;!2`2|=+m3D5g=QLVM4(Ip83bR|-R3PH2ScOVv7Y7Xo* zRgFWeRA;hcL!T>MzZLTi!=XY+)sa*!0?t_Pcz!AuSPpBuN*K1~+}Q*TdZ}gZvr9tB zz`p}eu*_N<)*LuWdv_nJ^+-)t>AQuy~#vg?QbJqbp2=KU1tEXU|=V;scZD>6yK4LFR!A^S|_rysFow9cLg)CV6_7T zG4;cNn|19(2K3$yh`nPPA8=l$sV<_W-GIOI0|eTYrW;{e znVlBL1f!|N7cs*Z@ec2BKb1${7lNgx7+U?h!hzve#!r3H5fhMCEDj?a>J5UsEF}ZO z?ba-ws)4rKbk-Ud4(!^0v~i(omve)mc;IGd|J-y^ZA06|l>%8oYhwZcJ>IeU&N!+= zx7b>Tr@Di({_E2PPUrRww|zP7g)_?W`fbFIA|i|!=kJ3)jANVi9#hpCBpA2{O4U{K zs28DBo3$<&Q0+(IRyuwv14#97pegmzfOxEGhtlQSHOr+0zuDwtU28&v95FrvkXT$wcz0JVhrmmjsnDQ%$Edk^6dZbw!?Ez#Rb*uAi!ORRlk zIfiYychf)y^}k)Zi-6ILkrb*eY|Ox#*sioW>QGhXfXSGUaXye+KYp{M@1yu@xpnxc!GgkCKHX$BC*eONqS}% zk9SKb7zko6)@ecMYWSei48HIOl_q50snRgO+&TsYUYf#zppKdF@!AJ5*=|O=moDfb z9lP9Uj9BV}bV=C4QGIgrII?#cQ>Tvd$(WgkFVpplV0|Vt4_w6f(XCB7KLUm2r72`z zw=~^AFc633t(aS9ChA?*UKcp(rhdXiik>Z>hI%ga6!xA#8rR&(zDJVFG%mk-i4SGS zu-?+urZBrW9js`LVD_j@cw60~y1caU>apTomDuaWVX6P4IRmF~DYnyE)rz#6liSmE zqA3gSQ8q-45d%B*al}(y0ml7DjmQs6sJ5$Pj87-AT$Y`BW{)G_j6F0Da29gO-Wa0G z(KHXTw~ny8zIPuVX;i1Q~`~v{_WyI={#CEqD!^KaTuylwT~W3vsEupjaBViiqa-C ztU9$wxH#E6%CUnx=_unkk(p)=D%GM{b2KE`C2%U!JM+~A#?PXj8WEE0h;5XJLsk@< zK0%yf=S;oq`9ETQQv^8f8jkD0e8g*VBuyLO4DS{$$UX}!imKUmFaD(?H~Ly|9m4n3 zd|V4SvwZV$?KaBgnCm7k4^9&FKW87M8@h@rv*AN9k!{wVN?TwtKDkA(jv$5S(EZS+ zE)Bts@uV=3$)}Z?WY(_e4Jcy}5^2*Wnp58e7PQ!VR!B#_yWeFX$gTl@sqZou3D21( zi-y9#>oR#QA(83FxW4E4$ro2mhbr9&PH*}9pIu@tLifA&RXUNv4P*0kMZ(Y7D@|{@ zyw3(yMnd1)gc1$G#_2S@H~gtK(iRT8z6YzjABfk5?#JQmWE{5R!Y|Br+*Jqm3!?W2 zBA=S0hHJVcLq(H!lErJvVD#}`x7p-f>LB~n^y%q-HcH148)vsGjZbR&zz|f3e zD3_w!J0_9BAi{3v?ALw3s>^FEn=2~HVAN*uH$3lwDgDqia;bBXb~NR<&VuL-4WFaw zn*A1$!dA8&jDCyZ7jf3>SrFre_XtSf30hKmhwxYg%KL~nX@VYX$e1#hRV-olTi2oR zcMUt7$83o!=gH3r?V*-7Pzs?D;W}nZk1<>BFn#?m9exX!RE3ycWN9@mGPM^4hM(Nc zaCK|<$4StS!KSfZPe;-9U8mw*fXPGISD3zvDLlslhAabfJ}@oA+>C`67q|p+DbXrT zzb1|BN5Cs6bC5CQLzZ2}HCyt786|qogB5TVs1e@H+&PACYgQ>g?LTf^+X?JBtWyZ&NCP~k3y=K@}S^t%Fj0qjWQ!KmJ5lv+% zBLp>cjp?8hVh2}}-70`~QwY}Z)dJ#4b}JMBS68!{I$(QfMh&|Eb=>Pkba;v>^haLv z>%&uyePlP82*ZAKo`lOFwF;N5)_~4a!`Dfq>2cRu4(}v~*EADSYj}!*B-<{BFue5L z*pWnR$5AI^5m215#()$;H^#a38b>5t=30CAtMTibOniD}*z^UmR(AiIy|ch0zhb0m zcf@zlilrdi8cKlruNq{#J>j^Vig-6Q*%dx7eDF znE#49U)R*rvtI|%*YrT*5C)51U8xrVlxPGOgGK6Cb~`8kE2dsJ0?POfJk&Hw7}j5{ z#0V+cbel7ca(N$qOIwg#$F}?TWp*8ron068UHf&MFg=%jj4pwQ0Ea@ejb@08ShSQw znx@ZROuhJ-mKsyuNX(`1e=z^^J$xxrqLZ1(P-?k5L=0^ZnT7z)*6kjZn`5?Df_)W! z&vpYfyJZz8Fyf7@P;~e|#8W(^OLAoHi1D-S%NTO~Jiq#znE$iF6_}xP)t)1IG%ni^ z?=p$3NEY{N@!;&=|3dH=R<_JNII;Nsf@hkH1}-f5!qLhP`O+}&0&KX4@jU2!cu_Al zQes_X$U=h`Xx1wswWNQ+1;oG9`TE0BmK3>ru;b+@cNS1ftbJ4G zkmW(hZmszsLo!t1FFR6hzb0cmInlj52nU6p%Fa5C!5HXL*eNE`_5T42lNcT$1H4#E zmw4{_(^5<)adH+QzPR;ndl$5sTr1MSOqY@W;{~ZR!b?W<2K!`XA)_ot^vB-n5J1vk ztH^m8Vhzp)3Wcf_)Qc6A_!Jj#sW?UCy>$C4fx`aEn#IE$sGW0k;2FFnqj@Tv5|8pF zzs1VxIN7o~splzGilRIG2e0XxpwAJ@341xP_ZLWHZ$p9z)+$||g3s{k#Ibwv6SX94 z;bR?#`WddBqyG~7MdnL}0T}|a(T~bZ(C3SZ_q4bL~ z7-|TlOGb#nVp^J}#ppYiSfKDNH(BCTvWoHFl6TTHTofLtwi{D-8q+wdFd^`_Sf(n5 zL7NxhR}Y3wJH|kx+Vq|+Vn-*x-tkV$Pw}=Q46F_v-s)f{Znms7*y-%5g=$~NODwy! z+(ABrjDz_?GnA1p33xqy0_=@CGHHAmo$Cw z95AZQFuDQR4o;SxD_<6T@h-TxDI5pMMl2Ypg+Xluj{}J5mtqTO%Y@Ie@I4KEpAAgoaKxGk z32`9%GFjM?bpK}=KZ5L43_?QP-La4WyN$u)vTiUEk;wsqRmkpzF7iL&ype54E~|6` z!BgCa?n0l5GRM5n(T#ssafC5@j#ZUxXKZsPt4aeb{)EnYS&4Y^1yn~~HB{&3WVAa5 zdaQOOvEy)Fpm`mW&`!{X^xZ;)bEqfUVmi$^kRlAFVVMSPnEy?KSlFYy*YevkSvi$H zTs=89QU1Qlqq1IKB)OTFIN{59-BM_{lUC4F_3YtLFO*D>RdOBb12@dlcBQZc74&tZ zs16Kd}@M@&=TT?KF(l4CnNyqxYdG zYEDrC6V4L^6XZ*wwlAVfo@FEm$>?E5hy*8U$&8SxxFNae_EaIp-ftal0p}-^v%HVsM?1wkbkUt9euAouyHJ$SM3Aa z#pvE+YzHT>cFI|DTdd)l7X-8DTnJ`s=n}Qfb=-k+Hwc=G_-zmGc8cJ9DOCO%&hF*_ z9N@6kR%s_+6P@3>Nq?|Tr%fr1OjP+a_JWD=Daf?!0mH-z}UWf3N0|}grYg!3H_vFSen+8WqCx@VMGlDbpoPgfWs*sqnj#cy+U}MtR z5X9BfCv34q-owxr4Lqx!LVmEK+E(!xE@Nmr$z&RD?CUauyl_kZ<{3Dwi;zQOAbBDq zayPL+&R5Q_GHGA6_Xj~IE{GiXLyPNR@HqKol<{TE*b|^A^nqGH(A{JOF8V6Di_n%- zE$e&;M{U!gWQl%@7Rb*QGXk{veBVmuv^1{xJeE0>KrOKfOy-7{)a*&{ghN>O zF(~cpc+QAlV{Se%2&dYf6Mk?y`vu3X0jO%m4N?*0aMNm>FW9%*0Q~iu?u^v{_re5> zjNVGUijw1^4$pbRBpkwyXYBKGo_rrfsVdDMfq$3>r?n+&g8X0uF}lr@<5&L#`QP0C z6gf~eM!vwM^m&eLrG}&`sKb-Zoax$K?U;&XR|U0s2Eq|+=U6?YsdR-TB|qEc=P3Xq zIReeHR2@MTbc1kuh)v-+;4xcX=~LL=x392#j4!%{bn98n5v&uQIW(SfS$;OvR75!H z(Qp#F4mn~PJM77rWgQpr76CQPC$W2=p`W2A9(j_8;=$o5?~?%j)wqW?#iK`YKl#yX zLeX5L48sa{%uueEKZ<_TaiKW1aA>-`PA?AGy{Ss)W>=+`tXyz2dnl+X4#M>-GdR!% zMf_KJ7^-9MVO^?YYH_NjAQX<;>ku2xLgOgh6GF~ac+v#$0XNbXtuA#_oTOk~=Y+hS`{QbKyMM zOj5Nx`YMiZg$V@X0y>m_*%9!8mfF2@!K+$obLKkZc|-2H&-)6~?3p;M)*0{s^$fTZl}^waH=#P*Q-i1%HyJ4RYx^k{-G^Ya*L5uCzO=A7 zs393p_YOlx3V|=HR${iPVJgpo)Lw4Hm>{ZW46&PQ;F&SOKr&+5(IoZa4lRviGOk)c z;SkeQO96Q=e5f{ECI+c>5xes@3L-l!N4%e>+-2{3NPtClIEnU z>GfrFm9?Sw3ls~T{kex44?#okFm#?5dhrEcd1S9IQ!I>7)RMrGlR7*LP}ezeC0B|r zEVv7sk#vE22eidu`S^i-XaRJh*Yw_N3#w=G`g5Ojhj7ksapI{6Xa}*N@h%u(+Rs{Q zJ-Xf(1N5aE!rBwzDRP1NB@HN;y0RB{!KsLKM-a|ZSJIIQ?&^5@@Q6@V+?QMGWyQpz zZwClx|RFyfOgIyC5&w@a4gY7HD^G1GxHoSMb8+m{6 zz&hY^hHBzKNN+l0-pFcubpb=qdQC*aOz6V?LYJKKNuNP}aHiTu4WV2Z@FKK+YZXr| zPAS+jUFpYEj7*|jy{rXPtatMakvB3&bqX5yDU{32!VwetaM~pG?18s!qxuZL=~LD4 z?D|$!81`=xkiQ65bkuPuBNt{QGA!3I`;#$fSz1DxPa!OgBm+jOgP3=^2ANe-XDI3j zo9A^X%}m|TxZZ$!TNnp|Wu3+TRDc6CMByHX{Gh=^wlEDSATU4GFU$tY{n_rTP=0px zMcuNrCHpRxp3>&2pyhX=y%ozISk~TJa>_q_%8ztbrvvHC%Vcb;2mSm3*SCxhTi4Rn?<0~$KPfNfn40_IwQfr&yd0gK4Z4(zXv||zHRURk$n0#FcLp;X7;!$ zcjWJtI}%8}I6{}ynKLmbT{oQ5$XS8>{)%ES8$wId5u<2boG(d^FnPyypxz%^xfzjt z{|#s&Z`c)e`9Kjk;)${czI1xc8x^GbkBVS3ec^N%PuSaEoX#@OG6!X(!)a8_KrW6$ zPk$tyQHT?6Coq5}ydBgaT{~+l1NrZWgZE561?_`$pkx z%8STbQ5>cr>+=3SSWX7qn#*+90=Y)sARVCKoaVFb&Q32)FuXMIPKfpi;&(+^g+ zgqTD9UiPYNZD?;#R(Hb*KqA9x9I*PR?@{~3;&g)_sre$4=tqekG&Px~`6wKdTwzQ% zIulxM$bWPOluPwZzAx88wx3ayeS9@R_RZ{w1E+C^bl*El2>YJ&&1{R4rknhrS;wUN z?(DI2U#IJ*(jFLPv!=3H>V0Emc@heqyinziiJxk?jzQVBi4U6~CZ;bOH6?q!xOUeU zjIzT^Mt7%as*P1nV@YF@dKrU@i$8F2o-XP38HGN@R)%IjvJ=2FIU~!NLVt1DOGg$o z6;@?jzN9A^=^1Ut1v;SYZr>!p-pl7T1r3#hiS4PynS z|G|iISuiB0f`W(T$P!O z*dit0uk_(IUrPU;a}j7`o!qi;2j>_ae#3w?4ZByxB|q$>M9%TVaK0M(xLWjG-BT~ktH=&^Rt=B>te)VgC8aF)hhI!|+ z0-ZA}7vF+Mu_zbi-`hmtk@Dj)PNg;ZI+5~Bh|kAeEpcJ~P?VdY!N*?_t8*y~ySoii z$`(qb#vr5Rzi0bJnK<9n5fLje&}aA!U2xbbUDgm$qLx>BEudU18@9po@z1O!E!D1; z8p4A2e{Tyb9d@ytKMk_)J5DJVah^7Bn>NE`7|ss+GU!ORlYK(!1)maGGR=unE{eS=nn^#&xGHgj`N-L)$lN>s;=x}%~sUUV;(yZ{vBvGeEfW63LEV~1J zUr5IVR(lS$q_JSwG_oLPU6K}=Z-q0&k3hqu<((V#;sM;7!w6Iawb_XAa0JJp-tm%? z8Ceh*m84JRL#B&*Qc#2o3#{%9%qz8bDSQPFGn&*ddN6zJVaB%}Z&UjF)gz1lkZ=4; z+!)>7{r<+hf2L^M|MQCB`jRD6=TB;HoaZ<7ZaF-j@OSXMEgJvk{T_LCalwJ=-ai-3 z`|HossaF52!J4+WBXmRkd$A<0wkz>7`a$U!!Q_g z&e=Zp5St7R(`=TdRt#hM7m%G|gx1hU@ZJ}vV*@HsC4D+fYg~Hu)5%?|d^FiJYpWP5 zND>Wd)ALeo$s<9hYc)h?t>$@1p!@cBXfB&P@+eprGt8FF4Zi;tCxg53W@x@abA5$I zKFPcm)7)}(oV5m!s=j0D$576iMHopce3x|V_{oY75hTE*?zLC*aSZWuNP^R%p_a}J$h_0gYZu7>rRGj-<=OJ zEHWgwxK>wE-p`HvG*PCDN}=PDd)8`^ht+?TDDsn=f{U?j2U$OTx{mzd^&6MLP{lsD za>TX0)5}_uI+JE7DL5J6p(pu}3jfd&dE?SF3(1!auP5$P)+uA@d1`oZa~iy3wz~|U zK);R1#6;LFp1~ZJq+&GCLt9c_27LXbFa>!GJ18@Fm(0VM&i-6(PfVbXM`Z59UEr0o z*+9mQ3<)}$#uuF}TKuc`uioluj3K|e3`SDpV7CU#=Fl49K>;5&Q>8_7S0eqv%XEOp zQD{glRBLVb*zPfy^2a?~a$mQsNGl%=-DW*OF58)&QF$1OR8+{E@KRapkr}qJ3u*)) zc|iHP;MTKgInb<`Q0V7jD!F7Ej(;78ht#t++u*KLY1&cMbn471t!CLpXusqysS8-? zyV6(9VYreVEbnI7DUzrO=cTLo%_SMCDOBkN`&gak5+iuK$R$RaX3~ZYx}a^8dd6Tf zoq0G(;|;v!0l+e%fzC6u!@Wmd`fydM->fe)hJv)<4nc*|TlwYh6T-Gw&A{+{(P~9q_!NCuPFS;LJZQ|6Tjr zqhOt4i$${!Z!!M&^KWq>n@&Gn{B3e)M&Gf3#K z>pE+Ml8R;RN^L*rI=MWXq=2VLwsAWx7k){&@dY5W{)R55Kj=#bT>U*sJN$OftO@p_ z*;)5Z>42JJ_i;(N7bkLpZ^%U=@~{8(lo9%a_H@8w>KU(jfa~&@=O;7A3cl&cPN0H5 z|B_{JdmY^}uuFCVD@Y6J_=lcX!$;WvRRUgkRc$op**oL1lX z{r=&W*5a_ab*`5^3Z5@av>4Q%;8ptM(6&jPH~Yc@>)4k!L~?-p$$`V~XSld$e>>eWGw;;A^htf{0n2~q z{B^oz6}8i3?eu@AM!oIuD(JfsF!|rKsPrh6N7TIzuLCJlI;Z3p&a2ISJkqksCam$@ zP1(J}tr2O?m(SEcVXLT#`on>?k-P?Mp$p2 z1V0k%!ef@b<=tf?d8)}&)4K9R%xz<%wk(X`PraL|GDlR?S=mjj;JpK~TLFPB85!6i zML$;XXXYlade#SovqjjF-1-T0fSMRg$FfwuRH^%3m3{qhN!Ej_6g9HZJ4~R2rfM41 z;HP$VL1geKMBe0zbavz$`*tNaUq9cfWgxuNmkB`uHNX3TV>UMjl*5Rg2Y@!Pr#@W$VWwQxkZYK@zXyjNHg$e#;5|rtv>d zi!eZT5p43caYP8kZPf4kAMKN57_*GD(xT^m*CvltkGH~m>CkbOx(+3TU%&788C+`I zh_S?f*kC#0_o0r8^2RsFudy3*=__tLM*Fy(*yd?gse$w>jmRSp$5nH-QI3Z+q zQxoFmzT<-m&pa^~i#n8hi+1Q4)AMc#C4EcvZen1HUQd>TurFtB(7PNqsprIwyz#%r zI>cXaqtn@bDGpb-kvDSnM)@$v^B~DwNyc5C*=MB#%iBzB$8F;r6kqX>>rM?ngJOp}FLY-egR& zpFjov<8)Yt*#R@=j+t8rkNh+_YZsGVV+D<`VaQC}<;aw*nGE;&@1PnfxW)3e!0CAw z{N@0wMev^`h+Jl)LtR{yHA_oU@NV%fZRU#pk1M#O;MQUIKRmF?#zJ zYPMnaZ%2juUn9x>FPO{PtQ}rbA|mTgcM$yD-h~#r^t=>-Wa7E~28eCDcDh-mKFazk zB148qPuxK`ao-vJ4Iq^PR)EqR#G)ndea0`vNIhFJB+dH|E{HN5ob@x1S_cg2##>3lBYzFfx&jy8qJo%l zp1Pp4O&JR}>VQ<3q~HQs3$KrcMyL$Ih67p6jmJR?2O&xP(|8=S6f6n|E|=H7G6vD!vCA7>zz4TdQA3We zOu&qfi^>~+1!fZ9ivBAd7_%|`r-&&qrkieg_jBVYxLwq~(_?4|13EJWi45g?Kk(6w zTrL;yzX>8-J|Z5oM?Wff%-x?1M!g&)wO_g#^J}bOQub3urbagNMY715z z8vkRlbXaW8D~R{a?{5BJ$O*1Qyt>G+IDPDj85NZ&nR8yWSbV-l=mHHO40DA-+Np_p@Y?zRFQcIzCihPWKdCSALK ztDXqsMt*9^njVVul?`-D3Rm6@(!aSmruwSCQNcIYm=j=(H_1P)Oo1y0V|2mOTE5I> zbRWGOcllfs4V}O27Tx(jt`IJtA9Y&k0GHOg7CI7SyA{^lk}LJlhxNTM#)fBNHJe+y z=O!D%`e_`qcph-%PDQ1SQ#yn6-+nkz)z5Ux_mHZ4ApaYaV!d-n5}mHw+)_s+&w**R zdSh85c^v6l_ggi=5VAL`89+qUqVPyM=hNNKh_aP?Ucb{hPQB?+9 z563X^eqcFb5|t9-eRpROgrYv{J!4E4X*3TkZyzy*cWAr$tyJJNXl= z;0B>|0De+!%qn$Z4Ai2j#>!~8@=S9qMZgPvA&F%*nm~Kmn!t^jY_k0y++}+hyb%d| z5{EGTtfr#2xF~Iz zFsJyJ8LIK7$^dpaa(|{E9u~e(HtyR0_x^qQy0%t<8|TjXeTU=6FO52lUiv{c33dtN zissKbzQgmQ&#Uo`5B7WPUnWR4xM;I#(Yv5qMLUR(QLoN7zHEGwRh*S*&_CXjO4TUYwJ57!|G2?2eJ}FDgpniHa=QGU&U+g0 zbm7wlPyN5=eVzVs`KvFD*89Em(kEC+*Zz9??-=jpXFT=~3FO@!BRSPZvEyUS<;5|% zXJdns@z{c)+^Vv+gc9XEcscQU)yin666J#AiOPSgJYp`E)EubRRbHu5$6PF{$ry@~ zFOQBZwuBcHW3`pfs=l;6_jNBCvXT47SaTy4KQ|r(RcTPA%jdhB!iL7+CZVtV3I4fw zIFTw{wa9|)SJjCX+;6XPMbMtEvz+Nhsl06$DOZ8GQ4R&b5d#tHPi<+{+ch|y$dC0mj04~fVL_MH!5Wy>l9ENf^dY)gw*qTZOYHh6c_ z-+kXujNEV7QMt9s3AxGLC!DvNA z5+hlz^fKwq`i2P8Yg)8X^eTHvNy=C&*(nW0mSp!oSMUG-dw$RJf1Wh=oO{mqe3#Gn zd%x%0bFOTD72)uK-DT9IA4C+MhlI-$+)Cj(j%1)bgYZP&7Oo=n4!Lhf4#SsKvXJ!= z?5|*W(C}t)L38EydBN{l_-e<1amN}6fDp}ffYwyWS65uXtrW4ISUJpla&&i#sy`@lr2gX!be5-IrA$B-L|mPv7&BFV*Bh`i4--&Y^6 zf4a`ELaw?$zkylI8?k$hH~5q^M*RNo3A>wY!#eCd@p$-?x5k;vJ^LMQvDsKE14l;G~HPQ zk1jg^6cy%Li%79K^kF!&S)#(;s@x?~9XfB0#$7I+4^(AyRjkX>r;k+=l6YdAMZP3n z4iU54yRBp^T(%Ix=SI!K(e~i#YMsOA!LQ)z)ZthGMm-j$_0u!<{7-kV`RBS={7IFu zng}Fn6qE9QZJvUU2DQ@fh;uBXRKMl^RkM{9p{3jTQzkr7f&kY!L9Po0@UgKd1Aw*gey};B z@rT1ocn092H`I~&wLWjG;Rh3L1=_r*Ft-sX)wEZ`MICbN6-;!MymIs^+HHtA{pAIF@5sF%MI|PRa`=;d`%Es zgt#KyNR;}rst_;-n(NfkRpmzz&lizasEZ2NzEI1`1E6JfoqHb47dYXr(BwgXbWS1{e|aN z)u*=5bQBSdx`qN!P0)UJq3JEv`g90dF34JGptu~iSa<3mM&Fu3*54sci0b|Qw zeR8oCh1G)GIT+`cTW-hw~4T3RBJs^ zPK9-#KFtA6C=U;B0rBqv{rk>V3?1KxvO|^F7u9RcNb&E9urfZ1K#GUQ2Kx7*lJ@Zt z{89nHqT`Yj+}2(D6SlWRi6ZTa|I8diIT34XtH8cuSx4svLTwfh&!wQ8P~BP)j8&$& zBu&-yv>6Y;WNL#P@@|Hj`JrmzqPZkerwF9ThqKvD_967i*&R~glAb@zcj6VC^d){@%HhoWY*aiWhSZ&*%^7Jg-0% z*EADlNl_3kh~Mqd30P7^Qn@62yk#Ows>EqQi+vFdG^;g;Hv!@rGDz|?y*3+;r3uXd zXB*M|x{&_f`1eSrkJGh8G*EU$2t}F$uAOCy5Bpi>Ck-<(R{FWy2ydaiE~_F2uXBq9z(`Y3{4>Yv9H9EebZ zjW=cxK(AGfS0UgqQGtL+MC?iN5mM%CxIY}%tn&)YRA>^p6pW<>pq54!a~Pap`01z+5jZFpNX{rsh%4%TS2e3=zum*kaBZ?P$NR^ zkWiuMX(dcSpXOwWjypkftFr&Jo)<+gD^P8s`;TB~JVvhFB;iElqA?fuI!RKaTL~64 zd&sb&uLRZlWVMt{|L zuE0=PkjRFjlNS)4;QiGb9sibS8Gv!lt!{Z+RLQf*$PD8t5Z3p4K_-gKU7ok+B3 z*5SM&(g{2P$V4D#ErHJ4##xJ~JEra;07Xj?ADWZm>TF>aKgSs)=MPvz6s@y9j-=kU z*-ieR`+_VMrv)VUhd1*uG)#~op`Wxw0&$K+1(uYRb(A1K$DC+EGhIcE&VPf5XBZ1n zZFcW~yi@_b=zjjB9LVvllqCsxdjKR)?dc@4ILCUAqH2rMJUdiUBLVQPV%A|~UnN?~ zk_vAxrtYAKG>4&T+1ub@XHF5YXKx{Jije4HajN*$Qbnr917OiyWHSWlbmvzPG^VqpQfE0(os)4j^Q#F-oS1`0x4qmWvYG07#DG4Vru0?8pILS$c8Vz@6Hxt+>E!ZZ#R~vpC*bh`U z70d3Ol#efhB?RcREiWq=I$X0=AkdGS?NC7IbU;sfx#EF9Y84`$T0BOwXx`L(10(ka zak?<_K2CbdCJ2j7&2Iqov>~TXevF@!j)&=HxHFY^8V2Lc00gCZAh;UJkmxDFYCk|* zB=S^j&N<}0^j0LJoDVy~jGzkCJOubTZpiOgsOG`PLOX=;UT%<38%9>RHzx-OzA6lT zkmR`|Y@@Fjj4OZD0M?ULP$yS7@Zm6S5iY?cb+QbUNj`+>yvun=@|lf15vUYVYT#C0 zST%{K5TB*tPp=R!VUsN^n$3xHo)_SP<}B+13Jl8dWg*Tw>@nx|U$o{#;nA8?fJ_rotEJbb#xT@afoi=L8WhGq-Xa9C3Xh1f z&^a0m1d6;JnDv}ka})u(n^t$4E))VdC;wpAKNfSl-aAo+|5Z{W9AY=hM?Qv#@3*RDA=wt$osHf0WF_d+c= zvocU9398K{jtL^3>;k{i)jR^-&A0g&h=y`VxTcO0^sIB~5ouFKD6LC`|DF+vp97Bx zk(}&HFQ1|CmaV-2Kt;fo%xU^@(c~pj!vSRovsM@*{W{UWO}+xuy+N$0ooLJ%B%j_z z^l>n~JhcWCpHg86z|gL469=NFq)`i6gfthuG$RL-fjMLL#mD@&$M>SN2qKr>CFD+z zkObn1YvI;E>o*w7fcFVwIa|YyXXL2kq-G`}ek)ZJA@Jrg)?HuA4)4g^u{fo zlUwz)NTkz*;yOOY#cK#PQ2eX{wayBmf2k8&;f;Ot?OG7Mz(6mZF=t#17Y20l;2|V> zfr?t#L~79JfR>a<(c{w1h4pDky8#J)C+&s6jH%y*D(q#AURpR+Eir2WEcOgqA%xi` zjKw!`2#A+iugB0xMcP5TNK?qrcz`33FnbYG_hd1z-#oh&Qi2@qCTvLFO-5hb7<2~F zrbJe#=Gl$3{?ii=G1N?&`Y6i?J$J_~2nIx0GcGYM{O^AGNL#SbSRp&*S#%;~F-Xq>lSd7^9NA zU(Guf4MUgp6!S?YGA@=QK)hg0E+7A35h6Zc2gBC;G8yI19fmyYDtGegI;Bul6#4 zdNE_~tfUrNM8c$FI@ODxe^3^o`>Rz!$D(NVob$+4sP_ffMSdi_YDdmwu6vtx2-22O{~FKzmnoG_4fV< z_+jJd1IP*h2Xz45%&r@XnGOkARZ3CE9r0nch!)`&7I47zE8V{O1j0m%^4mzu%0Rp% zS&KrNFo#_&D+$!`KpcSuz@l?kH<9J8rXs{YxE>Lwye_~&HMZk29IjjzI)|7$-3zA8 zT1j3a{DUwxA60`nYZs)LK&`?rJD?FL?46}5g%*|aK>W=hlR$uB>qW(&0(D#o zS4IzH#$a|U#u`h(<*p*qMN^lF)bR*h?lFo*c;W(rzKB?HmDT7AvASge){GI3j}ihs z(sD@)eWCT*9;HP=qY6z}0ciS)+j}Qh!y4h=YUv?kte%trNcYS|6@ zTP>-eFI4K@L#{;87h|t4VJy|bRS@@@=nKKw7R(yOWip4*z`|u|5(Io)CXtTJE`ww) z4WedN2(xAlu0hp`SBNO1YI?7|2o}%RO?-#WMPgkLm~aEhg|Ya61qj_+e|7}3t{c>a zLx`Yi_g2F*^a57NuF#0WtP8#qB}noQ1`cU6Sj?;I;nRDVc1jqAhAQYeTBHrhQ2?{v zlD4n|8iSuI@G2<^wu?)G{TG~3HAUM>F<6-lcTi3=LP`!3T2LQr6vY7lpcnERv-1d5 zU~N(q1W6B|_k~Ubz;>r_Lqv(OE=blz0gLCVHZZ1`5m*|08=x!BZU3iSEn@54FiRI-%$6ceCr~oStfsGS?VrytJsO;j~cTOduOzP^>Z{P%+F;Ifrj>cWNzuhhmh0qOy(mqljJ4vL;lC{GR7 zd1|Gc%uHQQSV$anODUjNr7i3p9C;nEx+;5N)5N*gW2#X};n+gYU}B2-wk5BL?7_w) zbE_rO*-L|3sa1berY~%qVAl1hE?-#CozQw+rCN}*TzBShY3-RTUYngt?NrQFvm9QW zZUmjCy{Lh{NDt(vW<(12ZV%`4s(t?>xbsp#Z`O=V+W5(EO5C_dxLD6Cu^&4Y_|0GL z{^8sim)kcq!xwqct1ogvq3T({xXFTYRJCA2FS3w~QTZV<^#nFPCwZrE)$PPx#a$)a zse;?-ho9^9X*`eNw~|!0+Y)*xZt6B?5ogWc+^bvnQf}GQN|&C1&af0F1dN zJ9C+gNCE(TyOFoL%y+>cwNWvB(&ZyXFV{$}ftWe6X;>IZ9eMfb&Bu49?6d6)PlPhI zoab>Rb$>C9wp275bbn@Ei zJ;=VHkdS~efwHN^&TE*hw+B_BW?0&*^x%W$V~&Wvh42Z*-?I~VJ^9DD6uSWxOijCY@mzioGKdB z#rVK?Z(r42lTHthJ=08r>q+Ibibw01!B*IpB4ZZ{H~i?aR=(o)Uov;PFqf>jm_J7g z*OjSO55_)PzPGClDQ?ufJ6fn~PS7(HqXa?G0>!v9S)&`+Pk9Y}{?)@GF@aGJoUg?JYL{txNY%9EWzujx|CMMF+$a}}UbDB%B^H*qWWX6^ucXQjaHx3zp z8Y&ynLN25teNreqWuI0MPN9_pYTB<+%7qvT=u<=8D~FGw=e*sg4RZERBi^%jn1l|Y znnxw$o$qd7h2d@YF>NCMn{!@BhUwXxx(Xsk5y`cU4WeON(UHNcO`$T{ffEf!y7~au zIQZIMn#Mwq*ab|>&+ zj;K#|OIKSqly_A4?jv0>pMaI$DtT^4Xa1%RVITjl3ND}Czh~B?$45s0937e_WbQ9* zgFnwF+6<9>pXQDPOVCb^q_?#{Ywr^3dYe5=uO5bo?J)jOdhU8z`7deg^~ZO&%krI( z%%YfX0=q(c!?_W11s|&877`*lmpywmu<9Og4*Kj9^5K5zn{y9{#Y5zQ?~`3k6FDOw zH7I5r0vo@4I~x9xSX^51r=KCi#mKmz$D?Qe?GU0X6UW$5nb??TqSc3u_C>vZ(#hwu zQfctlJm%76`||UHw>8fg6!zo1&dNYhZl~kBMxr|Nw^wqzbrh!zg719Z`X2dR*OiUE zOmO7mXI6-CJB`do2{&b8kBt3kGW5y=9r@?uwg5!?F_ht0!Kx`4aQ{-s-;IUj~&K|9tZ@Z84G8-aD<8BmYxW8Q7&QUOFbKEcX*g9$D_+ zIIy>R_;j&9w;&cOlF!{aphkEC#cKyopXp90YUGU$ zzYBndvcX(F`%IoHEWGdKinaZ}%eBbO`ldAh$9V0<)5SOTZyb9n%H42xlv)^8`Hfj3 z`rAWXwa(nR^zVO#j>(vh=_f|grP*JzJH5KgmRlivyp3aBQNwGyKj0O6s`rcyE=_bV zF8<#;>)1^r2Lv;|1#j{&{Q47I_WVe(o339f-Bv*H5q;SvQ+?-8?~k80cSm+VAr#BR zc0I){gL@KlCDI;{ORIQ0B!b+P#f>ts^lmm#mMiyj2;6s!a_}Jg{PnU3%Wnz|IqLl( zdw+M365}6*khwg*-&BpiO<4(H?ko(Bs z=qfNyC-i#+l;M%3RFJ!`JLtPzL69bGgV!P%J$|xeJK~AAO+cQgeF# zmKorG<5s0q=-0(IzZ0AN$P38~`uv~;xm%i^mgiR-=~g0^pW1YsKHYMhzY~63^i`f_@U?lOSkWh?wTeeBjo!HOQ zfo*)IUpvRcT{bl^8}Hrmej0HAKBmHVJ&oAEyk_y4?fk0x(FH}eJMQ|qPb2n-m=sAf z!Xg5$cU1UuRa|PuPw2}LTbcUg?K?9rdv@Z{rr$jSz9rt-74@%> z`{T+Ihwo-3x+aRiwE*wbsN^>A&Xo3>fS6@lXr*&7;=4lstowBRoz9=jLg!M$sX=Fa%T>-mv-!Pl3r-}+R{EneT!(lBS&#v4w38tfl5c0bd%oyBLX zmV*rj9vl~rOs@Z>34RRijM8{z{83{kg0Uzt)MH0pC6 z>G+USX2k`EwY)F{>~b^vqcB8yYr3A^8gGu|K;D6al(ry9M3-N^r{z3(}N{fIQ29(9)m#6PcB1o|EmJ>uxn`Bgy$qvJ$<-2iwUYfO>Xf^+2v*= zCJ3(OjI8!mt^LQ#_VlDE2n{t;Jg@I`ChM&U=#9D2wcqH$f|Ezs9CC>aqW$)~MJsh4shsi6G~msqDCA!ToQtzv38|uN1W+VE2jwMrQmp;;tW15-Uyf zM6h3OW`6ZDiwDGxMCCVsd&~!RX&p2nZB5Lq*f1)lBMo|+j4Kt@9(R;}DHm==KvD39 z^*wsyY*0NAydf*)o@Sr>s}r@BeBfxo_W7TT>ls9li0gmygUW`lbenc)v9NsR>v+$) zam)8jLrqL?2QAna2l^SM2;~S_G6Z{h6y7A~r(wHDU|sqSt}wXfIqdQ1AKA2`vrHor zAL#C=+m*hpbf-9E$1`{(w`SSui~+1FV1?4-D-nwIC2wdR z+4sEEUYE{9CNVzqgYt7X@(t4uHvL9||JHoHb58|~#Wo*)3+db+lCwNH)D&cM&~r2R zac0CQ*74I7S^H+GOOe-i!kVS_AmO}!W%mu5*r*$B(*-}KaS&HMY=;Qw?mjA#Iawd` zlmMbW!ONhHH+&|7PM%kTjw0WJdoBdwr+eFi9>iraAfnq1j+dqleo=y+{Qu|Fv|?9N z*_9!B_t&Qe+ft-1i2~EiS69ZM_YdDOf3XK(OxMbmn;&l9U7|W8z-)_(=raY)QazEA zmA}b$yZj~F|LTUX&*Wn@L#URP+KLB<_P%`f>9~!5H-w(duhN7gfdy|J2Gzg*ZXpS_ z?45e3bl%nNb!WVqWJzb#biuZu*@Kcb4jaNAj812sF}OteSwFYK?ndb!UtHC$KKZ;< zWSl=`xNY*-PuZfYpKEV>Mz~bWj=vv%ySr+S+pCy&8?-Ec4pZzOhB;Qu&YJ7Kx#U<8 zmKJw&ZkuzsXT|OAg@vA#UR&SnaK`^;Cx_ZD)lVGUQxI;D#jE(7BAXZX)8*$}$?)66 zD%UjGyg9qEjp^lbZFgnc%vXiJ{iW93f;;c4Tmm8&9zViw8JaIT;Y{p3K9Js4 z)QC6BanrifcNo7Wl&uP TX|(7qjx7(Mg$J(ufq?%5W$;&=