From 346cb36ff7bc51e53277396044ccddc3a44c03fd Mon Sep 17 00:00:00 2001 From: reachtarunhere Date: Mon, 18 Apr 2016 22:40:00 +0530 Subject: [PATCH 1/2] Intro and representation of MDPs in code --- mdp.ipynb | 234 +++++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 232 insertions(+), 2 deletions(-) diff --git a/mdp.ipynb b/mdp.ipynb index ed0bd9783..629027758 100644 --- a/mdp.ipynb +++ b/mdp.ipynb @@ -1,14 +1,244 @@ { "cells": [ + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "# Markov decision processes (MDPs)\n", + "\n", + "This IPy notebook acts as supporting material for topics covered in **Chapter 17 Making Complex Decisions** of the book* Artificial Intelligence: A Modern Approach*. We makes use of the implementations in mdp.py module. This notebook also includes a brief summary of the main topics as a review. Let us import everything from the mdp module to get started." + ] + }, { "cell_type": "code", - "execution_count": null, + "execution_count": 1, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "from mdp import *" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "## Review\n", + "Before we start playing with the actual implementations let us review a couple of things about MDPs.\n", + "\n", + "- A stochastic process has the **Markov property** if the conditional probability distribution of future states of the process (conditional on both past and present states) depends only upon the present state, not on the sequence of events that preceded it.\n", + "\n", + " -- Source: [Wikipedia](https://en.wikipedia.org/wiki/Markov_property)\n", + "\n", + "Often it is possible to model many different phenomena as a Markov process by being flexible with our definition of state.\n", + " \n", + "\n", + "- MDPs help us deal with fully-observable and non-deterministic/stochastic environments. For dealing with partially-observable and stochastic cases we make use of generalization of MDPs named POMDPs (partially observable Markov decision process).\n", + "\n", + "Our overall goal to solve a MDP is to come up with a policy which guides us to select the best action in each state so as to maximize the expected sum of future rewards." + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "## MDP\n", + "\n", + "To begin with let us look at the implementation of MDP class defined in mdp.py The docstring tells us what all is required to define a MDP namely - set of states,actions, initial state, transition model, and a reward function. Each of these are implemented as methods. Do not close the popup so that you can follow along the description of code below." + ] + }, + { + "cell_type": "code", + "execution_count": 2, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "%psource MDP" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "The **_ _init_ _** method takes in the following parameters:\n", + "\n", + "- init: the initial state.\n", + "- actlist: List of actions possible in each state.\n", + "- terminals: List of terminal states where only possible action is exit\n", + "- gamma: Discounting factor. This makes sure that delayed rewards have less value compared to immediate ones.\n", + "\n", + "**R** method returns the reward for each state by using the self.reward dict.\n", + "\n", + "**T** method is not implemented and is somewhat different from the text. Here we return (probability, s') pairs where s' belongs to list of possible state by taking action a in state s.\n", + "\n", + "**actions** method returns list of actions possible in each state. By default it returns all actions for states other than terminal states.\n" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "Now let us implement the simple MDP in the image below. States A, B have actions X, Y available in them. Their probabilities are shown just above the arrows. We start with using MDP as base class for our CustomMDP. Obviously we need to make a few changes to suit our case. We make use of a transition matrix as our transitions are not very simple.\n", + "" + ] + }, + { + "cell_type": "code", + "execution_count": 3, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "# Transition Matrix as nested dict. State -> Actions in state -> States by each action -> Probabilty\n", + "t = {\n", + " \"A\": {\n", + " \"X\": {\"A\":0.3, \"B\":0.7},\n", + " \"Y\": {\"A\":1.0}\n", + " },\n", + " \"B\": {\n", + " \"X\": {\"End\":0.8, \"B\":0.2},\n", + " \"Y\": {\"A\":1.0}\n", + " },\n", + " \"End\": {}\n", + "}\n", + "\n", + "init = \"A\"\n", + "\n", + "terminals = [\"End\"]\n", + "\n", + "rewards = {\n", + " \"A\": 5,\n", + " \"B\": -10,\n", + " \"End\": 100\n", + "}" + ] + }, + { + "cell_type": "code", + "execution_count": 4, + "metadata": { + "collapsed": false + }, + "outputs": [], + "source": [ + "class CustomMDP(MDP):\n", + "\n", + " def __init__(self, transition_matrix, rewards, terminals, init, gamma=.9):\n", + " # All possible actions.\n", + " actlist = []\n", + " for state in transition_matrix.keys():\n", + " actlist.extend(transition_matrix.keys())\n", + " actlist = list(set(actlist))\n", + "\n", + " MDP.__init__(self, init, actlist, terminals=terminals, gamma=gamma)\n", + " self.t = transition_matrix\n", + " self.reward = rewards\n", + " for state in self.t:\n", + " self.states.add(state)\n", + "\n", + " def T(self, state, action):\n", + " return [(new_state, prob) for new_state, prob in self.t[state][action].items()]" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "Finally we instantize the class with the parameters for our MDP in the picture." + ] + }, + { + "cell_type": "code", + "execution_count": 5, "metadata": { "collapsed": false }, "outputs": [], "source": [ - "import mdp" + "our_mdp = CustomMDP(t, rewards, terminals, init, gamma=.9)" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "With this we have sucessfully represented our MDP. Later we will look at ways to solve this MDP." + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "## Grid MDP\n", + "\n", + "Now we look at a concrete implementation that makes use of the MDP as base class. The GridMDP class in the mdp module is used to represent a grid world MDP like the one shown in in **Fig 17.1** of the AIMA Book. The code should be easy to understand if you have gone through the CustomMDP example.\n", + "\n" + ] + }, + { + "cell_type": "code", + "execution_count": 6, + "metadata": { + "collapsed": true + }, + "outputs": [], + "source": [ + "%psource GridMDP" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "The **_ _init_ _** method takes **grid** as an extra parameter compared to the MDP class. The grid is a nested list of rewards in states.\n", + "\n", + "**go** method returns the state by going in particular direction by using vector_add.\n", + "\n", + "**T** method is not implemented and is somewhat different from the text. Here we return (probability, s') pairs where s' belongs to list of possible state by taking action a in state s.\n", + "\n", + "**actions** method returns list of actions possible in each state. By default it returns all actions for states other than terminal states.\n", + "\n", + "**to_arrows** are used for representing the policy in a grid like format." + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "We can create a GridMDP like the one in **Fig 17.1** as follows: \n", + "\n", + " GridMDP([[-0.04, -0.04, -0.04, +1],\n", + " [-0.04, None, -0.04, -1],\n", + " [-0.04, -0.04, -0.04, -0.04]],\n", + " terminals=[(3, 2), (3, 1)])\n", + " \n", + "In fact the **sequential_decision_environment** in mdp module has been instantized using the exact same code." + ] + }, + { + "cell_type": "code", + "execution_count": 7, + "metadata": { + "collapsed": false + }, + "outputs": [ + { + "data": { + "text/plain": [ + "" + ] + }, + "execution_count": 7, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "sequential_decision_environment" ] }, { From 23d0fa1e53928e5634cc34bb9cf6d7e25108582d Mon Sep 17 00:00:00 2001 From: reachtarunhere Date: Mon, 18 Apr 2016 22:44:56 +0530 Subject: [PATCH 2/2] Added Image for MDP --- images/mdp-a.png | Bin 0 -> 31989 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 images/mdp-a.png diff --git a/images/mdp-a.png b/images/mdp-a.png new file mode 100644 index 0000000000000000000000000000000000000000..2f3774891c89262f6f780bfc9cb1d2f8abbe6ca6 GIT binary patch literal 31989 zcmbTebyOVR(>^#za7h9If`;JkuEAXgcXxM(Bsc_jcZcBa3GVLh?mn>n`O0tiyzkll zW9Q7FhnCxQZ*@KOl+1)G$cdvO;Ua-RAXG^S5hV}^+6V-KqC$WM_9z6@v;!L$Cm~5N z0s_MFru+u*?`LOGb!TNeQ)f2=M-z~lt(}btos*HHiHWU~xt;SlOea4G^aUg-@(t{s zev;v)t*nOE@0UU!qX0}D`xLlRTx_)V{rL<~JQL6%ctm|?fiX?~s zg;_)}=mZrJaq%8Pg8RWxI{=n*9o>(#GkxWH#jE!^-RsoW&QV(U#0&~ zMgH$u{vWmc4~72Uvi|rw!{+<236C4;db(84(ZFlJA*iVMK~%A%qy%Kly!d>Z93O9N zYU+A>q*8x%+PLm|vY<$x)VU6a2-^eicz?FKv7v8eWu>RL-tKj;YWE%&cd1Y|tuGP} z9v1fHdR(C1&cNrp$Pjms$k*z|#<#sRJFzH2NMGOD+M1-KB&O)#?p1nvI{Km8{#b^s ztt}ZD8K!7pV4#MkW?^BW@4!E|@gj+lNYBVpVf78(T9M!KJ zX*)eV4eYa9@2DWsI(}y?CQq=vP;E4t%BEFkKH2QF9~K@y>uGLoe!Vw(dV2cf$B*;1 zc4Ym9-v)z&gFer9eC`+eVq!sgd3oCO@b9s(<{E6Y1Oz(${ryq#*g+EV^81d>JZ@(v z%Z*i4Rp-FS2~s8rzWq@|>%iD4EM|#GN%HBOmsOpwj&5#M?W^SP5fYkQPjQ2LQ#c*I zMv5V$py0EbPXxfgQ*%g2OUDfwueP|rZ0zmr?eAmb;gtbG!#|A>ckkXs;&D{Y-6aWr0h{#(p~AqU zfjf0toDV}jkWh2H5C401b{33AkV{ETOx)eqC$@`(a1P&GST4=$aYf3;<}#7}4P-i+ zdOI%gR(unV&Ct@)a(6HZ(*-OE5x@6C%l?#FrM82!Gd`m}2!xHDB+vi2GgG3>iYt37 z3eu*ZUtWG*tTmhM9NxYZ`-T7c^Jgy0nc~z%0qB4WRfIqx`lK>nD{E_7Oe7i(MrP)v z7MJ6l!8jXh>lX+Fn_m0i^i=2AbdE?Ozg*gSv4)I+VSH(6si!B`>;5b>G<0)w6NH3} zOh-qjVsqf!Qc+Ps{h&g@!7)EKrwW-{THR+!vfBvldz44Kf!uq$jw{vd*gZ%C5E46J`?Vp^ib`%G6 za0Dt@CCpLable$Wvzm(lG$I^~R%<#sHS7BUfJ{HNc8lr4%gakkK63Ixjat(LymW4t zq3P*bomN*6px)=(W4FzocfHk}V*nD?j2!?fySn-31wQT#Mi+2BQFm}~$l~|8y1J4} z=Y-lANnvUCyv?07cjnIM){jp}P+8NABIE-Ok7Wsh(_29x?nyGF4vP}>hGmO7D7VM z{xvlNzpKBmHzU+?!%`~vmHKO$jHcketxsG0%5tDb>`I$+hViFbXpCpHcKPN6hXM?&F+U%BwI%EB zz`<3@Q!z!5mNF@XI^Qrw0Zj%B(Z?ZXjBsbpq!)Mg}^skylsu#VZah5r8im1ZXZbddscv$MOp zyEogPR{>$<1t6FN1U3c+9|#Hgoew4k1_qXBbEFg(TprdspGlaVhP3fVDWZ@F1g=>u}iaYp_{H!(%@gh#|?$%%o8*M?gcnySRuR zG?pP}p{2D3RP4>4HE1lC!fY~@&IK5(udlD)8|1#j=UGWvdAY%+)oPxeyZs2lsPgVA zIy!o9G!4MbwnVF5n+4ns&+FNtp?elD?^_Qu&^ysx#KFfwi$D!7lSL2U{W6k1_0r>5 za7FMcoFdZ_T$T`3RMFTPSyiMX?MLCJMniB8vw0gWq0z|YM`zIA-C8a0IQ;NQWh|dM zQ$r)Ui8ED8D|JCLZ9yZAdm)W$F|CzbYvLP>zU>$j%Wm;f($!z+0L~(RJw;*~>JOL0 ze;)(CpYZzH@^?1XeP<}%NRs~Zu^C+Yi1j&AjD^XRXW_C9ZxNQw?Qm|bwWP`i^_;JJ z<6y1*Ii1TX2#w(BaX$<2!rqYEc~Dqb7%wmHFCu}pJn<+1Na)mm1BOok3jZr5C3SUo zCnqhfEGosHb$)o*>~_8e1p@~-{RZpBD?lZ(Y3weJj+)JmyXXQh3W|!GdwZ@MT>+VV zUaE(hU*5yQ!KJ39JwHF6FV&YNy7B(LPyKF~V`ML#S^MJ)3B|rHD~S9@rGgT!5A6@R z+8S0S7PhSv#}Nr#vgng!xCJb4B7*m`nysi^pO>I*5jE@*AA(I)W6Eh(a6Zr$;b@K%TP7p-O{oY zopgm3!%*ZV%Xn6eb>s=49WAY;t>jb?|C@>P@U$M$h1ha>HY+?$zl~)y;gog!22e!z zY|f{J{WV{YMZoTPsk(oBcx-&QA&l^HV=(V$Z1KX#&z+YQfQ)PBf|VWvcY!y@Sz+bl zGj-gz#@fwyaGdA|vp0E!vQpv5x4yigm0CJF7Wg1hMWGxDuJNNg-i{&VV5 zHC(mXNTGVE?b%aB6r%FE@BfQvNROeQ5o%Xl}DjGxXOC+X9Ngv?Bhk2U*uzkaxhqu4$|MhI2t;q~Sj zI?Fk;tAz!(_oEyWq^Rkc?)TbfCXNyB2~9IPQ|(_Zzvs0t{@k=7_nDjflWc>~8T^#r z84(|p*eP@~=#gqwmT-3z96_7wbzYZh_)!e|cXRZnY(AqR6 zBQZ_Q)cX2chRzpe&zpmx(U68a9EJ*};+xBDV3QVUzbRjg+R#gC6}pS)%g`ruJ;qLY(3t>((9IrLp>I=?#( z&T3iQ8-49L=T#9G2dQH9(Lo5*X;rO-Y`-abkYEo>lKklRSxOZXR#c3suXkY)=#Of7 zgo++c;5aWh<015*zq!mLK_3g^*L~dXdgV)NE8}zKu1Lu;0?yoo;0-67keCsk@(`vZ zDz;sXPxzsWc=J?foy*x0b##iT31=$fau;}C#(Tiqt;;L7@8VPkp<7-K&--wtw>a-> zQ>*E=#yFo@_Ou6&GdoG|Ua6f)X{0*+NNx6>>U_*zgPJ9`oN2RBDk&=3uQ3@Wmr1_3 z*z7%9Z3O~?`T2P@Bco7}k2p9@Hp>lnr_1v-8E|93K@Qs$_xm%Q`q+$&)9vlJn3!)x z)2k~huIFof#skp+AsWr(<6&WmlPjuSJP8R2QLWG{$x=pwg_f5ehdkf=-AsxD$Q}?7 zKp~fYad`=lPD}(?fUbeKU5;2Cw*D}5Jmfl_$5F^*A;6X%Z2@5g6cp6)d=?besttCKPkEh=#(B^flEj!tevFmX}WWzYHd z!|934NkuoGR^w;WDnXymhC7prT$UlbiZ3N zS596>=2*-r#K>WvA10Yc>W zbXerHKZc5q4sbuuZ{GsS%8vE?AO*N)5d=JU01xkcxf-U(^3KhC#s!?c-CA2s4KsNh zm)Tf4m2%f#v;rcW&3WXUsowThA zaUrA2OO`8=C7R!SX7FPCOltQk3@n=9;NU)bRt*bXEe@zZ1mLzrk&mPj>teGAREMHG z=&P-+G+cDGB8nDpu>B#kQ|lHp6J1fy_3o>IrjD8hS&CZuN{?N-vTwS#nb`0BUM~9q z3zW;?F7Rvx5IQ+I`3F3@s$EJ#!fczzH4w8|c}$5FPg5q$v>!w`sS#$iUa9-|&CU(w zdx>YA5wy3~-|wa19yavnnGuaXKH~U8()s``<;2+x8HWip=&V1SyEF?emQ?hwmj!9H zaaSi^R7Oi!glM7Q$NF>ojqi5SnUswPD0tITl1;HK$>>){rJjN zM;jZ7D=N6TN-DB&a5apR(|hdF$TA}oq}>GpRn`+e#;h`H8#M~@ylv$V8g>xS=tib(Yu z9=3#Q-L1fFY?(W_j$_6upls~?ZSv_ST=9+8np|X7oEpAmjq{cQkGGQ)m ze4B_$t+zZ=dcOO)CXvc$mi2?+{4Ax)#S5Z2RE2ZBn|bhXV(R-V_%+4ca>V!A4Po}n zEfuPSUi)JywG6x6mh(MtbY*WM+&Y9EM}H*0)X*@L4*hRJYgY!{C{ z0lDD39a5>&N}VvIQl?6kFa*SsI&JQX2^fwi3)K$~?k>*&XmME0$pk-(I=3H05$?Y{ zET?qwTkX9%@_uE`7&h=(samWQ5L*{`8=X3TF6lLa^^{3h|$NZ6I2gMl)s&hqT4Q}l-ry3AVBNgN@8 zPpQoN3KJd+R+N)n^o>0q)M0d=jk^lENVhkpATvwnE5nsZr&PNzoTW!*){GS&HiXz| zB(Gl!U`Zabv9eInZm!wO5l7~2$)YmaIXH_aWBkbH{@lsygrzaP{VrkR zxtWkLgTGEa$R$)xs+m7#>Mc4`po}jh7b|l0zTBHb{b(f}SH4mcma7C}#f{9Rgv+?Q zow3~olE~Jk+J?H#3ef(!#RJLZAEsSXQ*nHjIv>9;wo@~JM9euU<7WzfQ~U#Q4jiH` zT<`H`%zG}_iCnIYYT5KS4zT?M#6gII9&B}xZ|#tA?Oy=y`d*%6ziRO126>iLMO#Th zSnLi5A^mygtV=1Y$`Yrg^GvtTZvYe6Q%?<-9%^a0?|^)%82U56r8KF>V|&8utVf$z z(kYrZ`GUve&C%{vHOBu`o1st^AD$2YOWbzVje?~J#XpqkdE0lC9K~+>Pya;tvU`Ib zc>;B;?d!nq0j*j-Gr%k}f?gGg6EhZGJrr2@WVB0Lqa{kr9Iqa`A@ej;mLvTYs&u%; zc1|cs*J>CY4`+{-Agy`ty;Fnh7TOp{KZ&1)lP;LJ?8PNBbaI0q3VHudN$oSqjDX|y zyEnp!1*aV-y)SSZivym(dXT`?&pbLpv573d9@ktyd@$RaTUniavuU~NZ#dRj_Bw?) zS);lrG7!fojiY3|oI?&!GO6|*7SNv>{$}S;(rWoR0Jhzz;UP$^_A9l6Zpz{%RHz1x(TO_J|=)t+aGS+uv5&k?d(Mga(*E-}K;sNI>| zMP9ATCvQ#*(H&5;y~e)2uR&zOJarE67xQCy>vE@w?%Vyd0;rC4+fW08+YFj6bFIB$ zcD{VXA0<(3IzwLBpKe3qHCj?Jf|7Bq zn$*gBeZ|qxVC|2Tw0DK3;au=h6o4GR=X8RUc54QTV7+g`+G$B%3lJFh34JZSgJ+lB zNWrB_n8~+81L3f-9=v2CV&BW#Vb1_GD3q+`O^*NOxW%z2-A9z{lV^3-!Fi4zl03e^ z{Xua`tDS%Z%eKRw_vG%_VRLxr>G77it%7Su9DN+s(1Rh|58J-!3rd|}$P3JW^mZ~QxhY3%k{%$W&>eE6TqekA% z@uY}~=w=ezKFx6<`ALERnoQf}HoD#&h z#T$?7-P%EuwU*U1*)@NQkL6goWX6$rGHi6JB1+fjVhz^Q(ONfNSN*cQRSs~|%Sq2| zNhyB+4?i@ImZP7>52Aj6RwAc<%i(1FT8!iA*LgNr-OBmpY6=2iRD5h<)?z^HBLnKs zR`e{?v=*bC2%Y;}mU6mCzo(Y*Q)MUeD3r>ad|{stpW_g-Q}k>`L@j4m0{_-${{uy5=mxYAJ&U;D+c|R@6KFvF+&kIZG&IjE0oY*j<|}smN@_hcj~|CkN$u z%j6zxHBix+8o6Of3H$u-Ed$bdU)`kT?mj=>2U^L?L@ch$9J?ORqys#axui%mZwJW) zY)$UZPPbxNB>vWi=I&q?ejz52KZ8DbsR7bXr@gU}5bo}sMG~~`(TdDoZg58Cc{15` z=K{QWCJFoeN@_YRn|FZw-@f4tfi?FH5zI)rG|t@7Q4BpFmU^pp55kg|hd;cEfg`=6 zrDEZ9=ltHC#UlBhr<w4t%PI2w>xD>(XY`36=2~f$EPhET zB7U3xsLqT<--}Ay=L#aA#5NP9+fxOaSQx&eTgHIExOm|af)oQ!bQ-5ynxz*eHJ0Zi zYZ^BdyD|oDREa7w0M{u}IJ2-Oc-J^~s94<$=@0VmJOMkD6#LNJv$Phy)^8~T$ui;E z+Mt{1q%EkM!=7V%$C>g_*EK)vYM%vK zz0(o^iee>1yi0U(gP3ox{5A58eNPPq-+sGFFDyk{v8$4!Gx*%E;VnAtbl0FJfp^>0 zW%|_goL@bq)K(W41SQ95HCkS`9?K9x=>#L#e#?z|QRGkTrK-SzL*U`e3{||@^b-=fBBK3rDxPO{X1itNr+@8U?`}T)2e%!fJ8YM#w?O@T92X zW6!=HR|!ViX!PKx&NrV5kMY@g5~Uj(H62mfm?~7nV=lvK;Kt;AC+B8&2t3?nIf0U( zBKp5j2h$Y}ve;vF4XpfiCb?BfHe1u*xdaGc6coU6Jv++^=oDJ>A1Fa$){ZY$h$^y( z1xoO43RojYkGC_GwOIJg@9*-Pz^s;gXM3{g4OK)Yc1BN|cz$ZkHPX|}VJuEkwT?r~ zj#4a6L$JGBjyYi37|DD`fC_=eX9hw>cW|m@WEXgqe}(5Ym*oZ4<^=*DTFVm3G7A%Q znp1ABkFG5~|7FDuLbtBgcV*!5!50+X7}<3P!FaM)1a^SCl|B(bVPYX8hX<0%bbN5U zuP>Z9>j3~7v}cMB<7{vnYjVs0X@5>^r#tU{v~#W>jlap2)FX0F)kW}^D~f!syS;jZ zxYS?HD{51FUQn`d)6+aTxH@Y$9C1wt>zf#?^sJYNViaM$j@f9o07*UF2$6;R$ zpVyaqSdgsuNz(ZFdV>jFff&vg2YJWmUu%Ya+q`WL8Dmvcdi#MQpQd7!VuU22^d~G5 zvHJS7*)N4Ozs$38Z}VvEb4{v!G6S zozc6BU{a5P^$*5YqAck#B>n_4w;k6zdG(WZEfv%bMVc;u8BeRp}Eq@H=&(2SwLWYY^>4~IoE22t%;F4!^&u|zGg#R!@itWy^o0dAr?_|Ym3=I(n8e1 zLev1Uz&kTB+tI*>o6VBoAnzJdTIHGcdhB@hkQIgW>gcV2dYhK4#Aq z6F_}>$TP)V#!d<=r;Vt$)&mnSyWQM1TTy+8IiwD>C1ymDV7AOOpCJu21uI**D1B@o z9h3feOcHvjl9&RWJvqVtd(!NOR)dwr{@xK7LSy+n{9x$BBIiQjFG9Wko6UQAEX}cb zYB00Wa&rU7XXrI%z!ki;KhM?NCIR8V()0ep{eqmM=H@S$M*1KD6)$3}0(0fp@&d}T z0>;*6%4N}~9GDW62GP3EYZ9X(N~8Vf!b;|)>wx(7io+rpO)!zf=RJp4d&utZ`H3qv z6lH9c0Xe;2JnmOHOMy(y_{!ou7{J>Lk6Ss(tyY7)j~2ryvy22(piMtQhqmXh1ipab&@2@as;0aj80&ctOcq+}W9&g=>fsc0Ti(-EkDgcp=B3r_RUVY+U%K1)*rMd}WKqH5)w z9q(^#O163qWC~Nt;+l(S=3CfHcff_Y#rZdfEZM`Raf7xVre zKL>5~`ZBW2Dv+x+VkU(2jV)osMZTI@D^E=)p4P^F!@djZ%-F zmhVJgycmUUZ&G(tELL{;i&VTvb-s0=#{Z=Aod7#mMAD9a2BP8n>&fmo0pv>WM}#kT zl4s(1jSn8nI{ci%bW#OjY+9AJi!RbR`QGi;^DnHN#VOJ@=l)PmM@lOZkHM=t6+Ka7 zN~5E`Br0vup-S9Mq^`yW;AqCUprz{_O!F9WdM_KzjB0D@{Mt!S+xyUXyTUN!ZA~pr z_vTA&d>5~GkCl|Wj^9k>Bpq9tnlP)}3}8V(mPfbcESD)M!`e4%o)&6f zWUwuAc|g)mXFy>u;xRvAsWYoH_2RD^yqDYMYRB25(Z<7{w#D#Y{2r;}#uH{T2M?n& zm9(m(`pE8iZ@4@U1wJccK$JJqRE%zh<5n zxiCMYVC3h*S<_CSz6ek`prQn&Z)M}?yljlFR)*ECik%SBk+O7}W}yQm(r5e%7DGX35Aw>MgIa#X{`GZqsK3Y$E}sT<(Qp08nBf6ew0} z2*o(h=R5;Z$>il?!3z=x_Aq^SW@kBn=SCw7kZ?dLW4=bDa3>08E`O-E*lg|jO~36L zV#>Wctfb?}Vhk@Y_9-chyWx@($W0qq&uy%|qPd#J?VY`y&j^R*l1Ey%n#|hAMynA7 z#-=j8**lb&Ppa7mPr&-~C=qLxo{v14IC!fO6QAUa+h6c8(njYCMpm_PL#A z;xHS&Fsju}lG9v7=8_)9GRr(ydumEN^%fXYXVux7;t02qE1D#aD5lU25g97w^+**k z>fZcQ^p2H#wX{0PMcMAj%2fC>xm0r-C4Vy~Q=k$xkXN&LwMn+?)zxv`%~E?^@m>8n z?5h-xPE|&NH5@FnhILP>cAF@cr-=F2nf74wY{c?aqQpWox*#R5xZV|uh!7H3o2=RzX`oz0TcFbY}maxuJ?$>JR) zVtmb74L9c5z#&aazS=Oi>3OQB4Mvl2(I{ zplPys&q*xXA_v`KHQ=sfJk$%k<2LdtbaSp^*QdNDR2`x~xr6bwL3B8}3wr zqlu>&qW>Vt53BXeow^>~EJ#Jp2h={Dv$ROA3I}8tWLzy%{@47Ml)RG^5`V`WkpzD8HI0017$82|#$h5j9l>o@?;`~& zOxK6JIlJW$+9;X!1!X6R?RMa4p%KNW@Tvvs4anicEH%=@uv=bcopX&AaDUngitdP_ zP8J8v_Jbx>_?5hf>B*k?PXBDgs<*4FW2D!iJoNb#C-;@N0?)M+5CKQMS?b9Mp~V^P ztW=}Uw{*zPmQhjP)^9j#AQpicD@` zA?C_5P%~yTW9V&AkLsJj5A!bD66mA8s(5KT{q@39@=7-A^CfDl7G7>)$aqQ^eXP6& zA$kJ)pt}y_dA3980H7P2y&3zPzdqe#S0^hzf`slb&NFM3wTKi@3DcrPCM!NHY*FIAB~RxY`g0TAXe-Hgvq%Lg?MgyZ^m zPQcoTdzXTAA4pRd326tP;~(LN_2j-~C{veEBSvlN2lkeonc@y*(LVW^2-x)ahntvzV#<5yMsWt@$@lhk*Lsz&dHP*9tCu zcu9i+&{(F`aG1;Mu#iYoZmKKi`e&lk9iz2Wo?$Kd*eXLD6;K+=vEL9eHkK)@s6SN8 za;q#aYme3wT??gH#+5ue6&%u0@_rd)*K^3gmtb3wC~-BgR>qj8??%acYSzxd4T_1e zO43gZb?9|4$eE7=Md0LneDyv3z0o)g)U=st9~1RX4b*XNN}*f68w@t4wuam4`d;fE z^{ANL+Wh(!oyMSEbN1CANQW_()G?PXAva5h-IJcz$Ib&pHB!5Y!y+oJ?hG{_*ES#A z%$Udo)C9H28^7@?7&vlO>ikH-&kNeYRda7w7GSxUPAzYCHsY5*o5saKx#TUJ)P1$H_Gr5>53_&QhEXH~!e z^c`lE6Mt{HZoc_-$Ktgo!3-)nl3%$fj(i5{g04iV|`Q_i?$~8G9815tr!VU%SOWzMS z5#%)y5L#MmoNu~@?KDJHz8@|e7a&a%s1mkS=#0~x7>1q7Qp zYHu!H`u=wV6i|;ln6zszZr=Ak5_LwR_5;hqu2v8er>=b}Qtcg)ArH`6WPa%Ek$D?c z>ouCbaQUM_g(C&Pvl3|son?>HM;i^QTz2J_pt( zN%tqZ9U@od=)T01NPZZ7NW;ZR8{8#+B{R@Fkkx`|W;vqUZ2zTVYKoPbVTXiXJylT| z{b&lLS>NeadOd-f4aJr^a=BbPof(_Uy%~tBnh$Pe49+%n@vLq^4<6HBfMzNZ7_?TIXrPdp^pB}ze!#Z z7j4pr*Bn*j!%)u$fscv=A9yfDDcD%w_mMbI=eBGp`eEWvtq=^uu?ripV9F^QOcF>@ z{W&CRg4gGe+^qYB5t=VOr~5ErGfSm36^>QGjjaFp0+k>gRnk6j6;aF9uAYJYyK-uM z3itG6b(7j;I4c9{clSoSLT^|+HMZ&Ap0)XG^6mG~cGU4%Nw8v-_5$FHfWADC@3W!+ zcKoEn;(jG>p;LaFK@z{Wl^DJLVm2!Z6|#c+$1StppP_Z%gWO-?aFOxd9&F&rdZ!<= znI_$77SJTL;2f69P%$M^(JY8@?E-Ga-5Zd4+)-DlcB4OiQ-xK8{>h}T`Th8LlLu-o z1eulO@NoFDnn9{$#><%bZ+W2j&##C5kW?S;Y>(Y2u&%keqzoO{$Q5c&^(hS+GypR1 z0_)T3!!^P5>(vP$HGz2bxwFeHwn3nbcT_*5wtm8$2jVK^d!O~F%d}$2-q?ia=&#pM zWek?f(_61iDT4q8=!$kX6AtBf-to?VdACEZhT_ng6)ix8=z=7=1JBTbCc|D^o^!1qk$4{YEtQ+eALa=Gwz@B~!5P@hBt22f7PjR2iVg|yf zz&2Rh^&dImp_?ek9S-x)AokM<-pT6M>Z2+epwisLrKRctn|&ozD0P@CLx7UM7J?&D zc2h(Rs?c=473e}kfVv7`0C7d5M?iz{;c%fEExY+aT?{GMGVwwD(UyWS007eR;;}`a z3^oP~?y9@93Hdk}ctwfreL?`e+%DU<<3uMadb6`;{=);P*A6 zcZp4)C@p49J$OC{AjO;-qPm;m~5$@39qFt=Y$llU%=9F5<<=8zL%cn^^e%Tp!2x z8Oj~}q@{dF;f>#7+!Z@L2a zcwebkzxu|ZX!3AYC)prV{Pd{?6&tD!*>Y#!qzv1ufgnVIl1gqFr=?kNyK(JPH(x%3 zum`CiOg{!1h5;@@Am~c1SN2sGQ_sJb6n6FdGz#jn0T0N(my>lhxbXSCJ<3_CWf|kB z{v4Dkf&L@`eJxbBy0{uY5C_SnsRs%*^OJ&&V1yqa2O{Hx+v7l|im1U_#2FnVgQgMi z30MWmsd~~F>MsFC39o(Nrvb=clivEo(A{{QGP5z#t%< z?r30YJ0|lhrq2`=E0Jk_WK=Ro!FCZc5pAtIL^pkj#trJI@n zNhiipMaNH5+85^=hi)6|^Aj26?*sc4-SOWAM|WU?A|TH7G>m5-pf-fmYlKROS!B;U zi82nDQw)dN-jKor0n8r7S+ADzO2B?<;_Qp&CWY}nxw0|uw?87=iF?RRO-rXe9x~M+@eePo z%yp*8zcr(f7=d0!+`qYgcUqn&uW7IT=8}o8m*TO{I6aVmEuVBCqf@CwLr*2$>bwe+ z1-k?7%4RewXaEY@c-APFqkwjZcQGF(e{0w~>Q#~@yZ+aivQFcw2#sSnO7Kh$Oe)k3 zKMmc+ZvXUAOb!&?{?4OSkmLLQTl6i3NGRi7z_L(2Ll7tG+A(p6=USH?_Kvr4Wgz7T z6lL|>plj<1YC2soSypTxXc$e^XM=S+!IVg%JGTn+Q8ieYyuoT#!VHg%bdQd&8A!_l z-9JEQ0MMG9AfV)xGaSY7Jo};qW8n|Kfe3E?%lJ7O`d3#pHikzZv{wLW7pys~I*gV- z!iJk5G#FHW{rf1UTG_9&1nxM{`CeYXYsDj4Rht@!xLk0^KPf5h2uxFjIiB-RhL~wR zJb0@9Q4Ewh5imsbpP|trGkK>8y@`hh{#Fvb%hzIVxKBJHPZxq-YqzGw(Fz6HP*1Iu zl?Bv!pPM#DlLn$wRB%3pE9Xw`O(7RR(ZRlqS7t_Yik=Hb-6 zgk$mka$u`)F%b58}>e9iXw8DeC=@Stcn;p zam*V#v=;{#qm3=naNk|k_ZD3IDNdFF(d?n?AKMi~IjIrBY{1S98maTxf8T;i@6<#` zpZp=768`Fj)-^-~563#UVF}hP_OqZnZRHWPc)Etc2bC(B4iNf7w?To7{Gt8PU!c;V zDFw~uvFrklHgF2DE#LnG&F*8rxL3&Mm;Q#BDZeMeYPI`z2Z_t=F_W_iQul;|GG~9{ z;QnD^c)aGh=UO0yRqMtd*=^0|L(|{0c^PBU^Sy2em9pULRo3B0UxP9WEqrJJPe;Q~ z0?NXLTDCJ9?Bh!<4&uRGzM`Rx#yv^|XUL$;aFU}!WMyim{e7ch)lUO+`U(BIzS zZ%b|1yn8SV*BiW>Da-Kz$Pue3#~-5t4fxahM6rXIK%S^Fmajx?H}DD2Q+fCe1KUaf z7!n1rgFZ$>r}7b(CJpX50#>>|9UfV^`62zmNh^;&3l+0O*c7W!`bP)IxRGOfsjX~A z4x^gmE0cyjnwd@*c%5UI1+?Rmm}Rw z0uw38o)~JSD~R6bYboyaf$FNR(f_^ZG8qW@{X(kurEuDuXD)Is?{g`bu}}-m{PwN; z?O8Z4xw08#`0;4mJy(b}?PV0GKl|D%%Y^(^-m|I6bqc9sTJM$b`t1 zKtqVb2?ToZaw1ST9Od<8*Td z&*OGX@dB-zT3Pg4r28uKIyD34m!X^hlzd%e)ObJ9Gt|r?D9@ayEcwqLQcwi&ce-+3mps>KW%{rhw>Z$^gIJH4 z>D|XVHn^U-M|kFp)n{cIR|Z(DF@~`)=1N}ip`R~V3~9ocom<6Ag)#39Q&51gV%DYL z<96qgxZ>}|O}ec0x5!f~uo?k}l=C$~wF1`t>SxYDx1tchg0Ofj$AGp90RPg9Icu!_}qV1efH=&#mT37Ws`w zwHwZtyKU^JfwNj%aZ2K)iHKfjJ4A_C=Kam)@5!^)7o7im%#1s)#d{vg{9B5rfaEbe zh^NtKI?2;1+uE`^)R^HDu14sxBbM<_f4V77v)bOSdnb91f94WJJ+Xv|x|tEss>%%y z`V`pWRk^?J`nqPemG8xo36$y}`-zI#F=!aSX(V7@Jk z0F%yuLf@QlVtwN{K2()7dw5N7dw+|twP+3}5&C;MC1hjW~cYRFO6wa6>EfqHQ z*DZb>_wfOuk(Q|VTNLiJK<=%cAfIZTFY$~Ab#FrC2g`~3@v|3f1xiR3?D>nu65lqd zK#X^RIobNI0%-+{=~^mky3K1XAdm=J^9 zE1;J@^qA|Mg&d{E>S6nuR&96Zjf6VgOBaLzl{R0l>glx3i=KbU`DGW$8{QlK1=<=8 zRE!na3hxZ#?vI?^vc8LO0|Ldv(E7s_Q%B3eatgk)M>0plfm!Qv1$D9b!+As9yu*bl z9^BH#LV_WXn0=D~2rh~$q|@_N5DZxNdCwdK0}JSB(jUBs;BsjlEvIV=;e;o5hkTBB z_&|vmcv|$EAgBfp*U}=TAxH?p0T(ug5fM~{Iz%Km7R(9L#-5F5RXkqs-Q-;(k-;L~ zOKY|<5NX!l*(bv`kkHap{FG& zguPio77c#`TN7Z_g|jh?9dHem4QmT>?t(&q2d%&@K^1h_`@hqMU-4(~hZVeae?r)R zqOI86(*BpqLjIr&>3pSTw>nK^1o3e{$>6Mst?#w{S&3Ixpv@P-PxXidSMPiFSdfEw zwV(I}r4Sc=o3WOm&zOPzw~iKkOG21UT&g;OoKBun|x)0X+V68z?BSmC%!d zY9N2U3l5OJUcr{OPk>FAvd@Vlo$^~1)u=2N2$T5{PmA3ille2sa$xA+D@7JJWlR$z zlNzIT{`t?vzmA%yXe>*WP^Y1>R`n-QSz! zxsoe$FKc_BrKs#xQCVq%Ztt%L#jXGgQb$RKZt(vo0o4KnI)k3~KNH0Mf)WCv%%%Ws z_z5EWqrLz?D-reVt=m>S`5$!^zwRri;?#mDP1u;Hs^lpPn8A+!fc*9KHN5PSCVf03 z&W+KVT;cTkN(Z}3CKWu0tn~8DK8<+8Gw%Rph^V_fV^34FO_j0(fl+@7AK#6!LctlU zknWq25HT$4?0#v42BWzQCZV_mXAQfsYQFTdo|~-2m;Fl@PchfSfzPc#bApW~r`_Ya zJyw||eZbvm@m*ztPd)N2+Pt|#rBWY|bPY&%W4jf|nwt58;4k#_8l$8g>*F*#9Kp^V zH(Kuu@Tz~9b8*5mLkzL9w9?mBhE^4iTOyCZFDLV732E;lG!@BucQT3{Wi8D29X8*D zh$!};)E~D&=xQ|W%gUl|zqg6e!i1y~i_Xr#mOs&w?4nsQKGSSA!mr`QG-C~}^H&v^ z%)$fEqUcT7mc9Qux=k?tXHPjBXdzPMQF!MxaD#p&>5C83)qTM6trR*fUenw6i1nBT zgt;I3SP?bH**gsXS7UD(Rb|w*3*Uf%BB9b!f`F8OAYBSbcXxMpmr97FbR*r}-L>fk zN$Kv+vwWWSoHNEZ&X1454>o)6b+4T3nscsoUBoJ$cqbm>5W171GW>_|(_C3;QHIwn z_RdOHss$VL1YY~Y>n3r;xt?5&ubZ^h9$cd2u|YbT3&t(jK86rVyfSB`dO%nDg? zbf|8@&; zDykW~-9Er8&QC9qu@O|S(L#bp)vTR3LaTNOm6&aHB+$-2ZvIF=dkQx!3 z+JrICVW2zAmFa#Q7Cd!K12YFnZg?i!zlX~nXzU9Wj`;6)#I`J@DtJ`P5k-FY<^D=^u)Zbb3j1a&5I~{w;Qg-?@ z;iQJ221R{7S&oMD!RDv_HlDYMt=3sraf`-#sZbX;-N;<3j^2T(j9Y`AsqbA`b!^J$ z4ra`P8VT>{`>Y-pM(<{51K&;ecCDj-B{40mevkVcI!a1ZxvkEjLi}E&OHt&^uc3w{ zNiT6YUz=EOaZdq#9n|>m8TXHvBQr03_TuSxCnv-W@X;aoyPfW@Kiwk=+*oHhW=@x? z-m+*(HlqQoY`n)D51KOxT`)-(*Idi?s_7)f3gw+YVr@f3$ zQ$Q%Okso@)aMNC;&8dBxwcD|8zlME>G5cARn#6yz9h|xc;96WZ3gmiz6-Ay|4w=hF zlSdh|`!K~l`-SxMOQbRTO4nZ|oAlLkVTq-@g!T&k``kljqR-LpXE7e-JicY;drBC_DAQX@0laMlC)( zf-k&s_p5FzHIDNrPTIQsoaO6m0ENxlgy;v-QS;r)?aUZ z%6|}s;nD{)(9^H0G>LIcDfP6Gu7*8H45z*HyBIxv4PuomctX5D~ zU2%Uxu6|T5%Dk>dF>8`W3@hZsT*fS9f9ka_89$Dy!BS0ppT*{7kDy>MdHFyvfI%n1 zC$<{{&N1A>vniVj!6uQh8wktl3WOhUf9z@RQFk>jxYHNaif4K1wCvq(qF`G8Zq9V| zqp55EoxoTpx1is-k*-G_(D9&udy8Jp@2RX1RC9B)kJ>`turAHB-rs9=jo?yHlG^+{ zuZzU{{&ZAX7z<_cN6jCLJF_RT<0FzFppfT1kTfT{wVSqJX&=j9{MAYX|3Jv??bw}R z47cfsqMC<2ZNrr3p4#OxA-g&?Z3tiUGln|jn0U+QnBooJd4-?i zsfDohSoHPL8kVW>6%kAppPMsE4}^O?K(LJabIl)r$IhY>*kC%IEvJWw+Co%V`SF+y zmRdaJe-|?SH^O!qXuo^y-()Sdjf{=WADG0)UK>BDvd{U;FI*C=-t#l! z@uj=-)!5%2iI6W`Zo6^N)wG7 ziiwQ(UZHQZ_e4a75RR4%JCH6rR`?!!Bf{F&CRQ1*|d9=fRN4zm4vU1{=h~CDB zJ+yrn{c#Wocy}&iiSy;ixeDwoI;XOezo|7|wfG-#qwC8d9OFz8v|Y6BiIL zZ7bocb{KECke{KJ^`h$OM6ge#8GfM>tf+|--e&iM(ynK1KCfS(pJi+Ada#O!tn)k3OEKv*fm3}kqbBbys@v9NO z+&~kTl4B0BHN3gm!m?s+>)t*}1bdtp)y)h%QE@WEb+wJguV@9e=d*FVeg$+u(Gi=|brj*=j5jbu*q zM+B20rs5@fF*hbp{^|7~r0oWr;K$|ZAZ1KA3F2|nb7KKB&Bfp3eAHVkC+;lbx-~{` z=kjj`e>w{M3Y&lYzG@(N>EDU~cMJXAVp`eka79nb{(Z%?veDs6nUp0KGv_gQr=R*C9E=upzOT2DeSJ#h}&z;xuH-KlmcFXX!?^DX&^9Z8bRv zoovPG<;-jLi2cdPwsN8+`%LvKCW zG@}}6QG&R%>Zott6-G+)4it-;lVI{%8VGh_YpTR>v4GcXCg30ZxS8 zK>=GSwX|qEN~0$-#HIYD>TM;%?-)2J@%eAPpIlW6%3W~z{NjCnp^%Z}PFjO;5rThP zOsP2L<^eTTMDuL_=FGwNd-a)#hteB6=PKg)VePgRi;C${|0sl`_2(5Y%&aQ1>nwyS zrmv1D(uVdbche2Z0$zWjJ!2Zo%IO@ZEMz2&ccP`G&MI&BHP~u+CSUMjuW6s{AQL{0 zH*Ic5I?;%XCE0{vnLD$EPkxAjL*|jgMO$%O(_sJe6!99-WHU5}1x<)SGO-9yLz+Ej z)3=EG?{RhyBXDp?EK!aqUGf$$V%s#woix|UL@mrPU}&XTP-QmM&DSrlfQBu z9+4cq9D@c@COogn791HR4X)Ea8yR`1D*WcIHry9yL(0k9vOyrSQb>yS__a}6K=%wX z2!wR$N4`wA?HuYGoscBA!EAHQ*Tu0I5wHg^7PLr1%$hgR-U z;j81Y12FsuZZ})yK44+TC!S!aBWsn9fV<|W9|KhM;h=^nEw^{5jE zZ>%PJK@D~{Tph!Q<3pZ^K-s^0%u+>TK)zv3eVM#?w5n z*y5kuke4oJ0X#(hxcjE*&(uWJ<@n9$e2)Fa&apj*=kaKdHqj7m_>4;Yz42^m&CL~D zc+_@U3aHOM->c;C;Nb=SW=Y=6^RFQ*9~f`8hecaWT8Tv9$$T(;6n(f}pqpG+R{2Ys z*#@PBNv6z&=Np)KPY)V$8!Cpqvgco1pp2#_$dztwvxJqI>`3-Q|#jecq!-qyOIWC>IGmU*`&KXOOdvCc$M)jla~dm8cdk znv7*DEgmKZ8-jZrc?~k)w=v(6SuvryIUU~}6v()HO25^ZMY(6Y?ycosuoS@$^{gi1 zwfrz3(aKdV%vUr*`?pY~jDLw`D`Do({A}Av=e3HcQ}IaOS6Y*k=ZmO63x8AH!zBH6 zSqt$-Ga`$Jqp)IONFj6i_#d|?$1di-V(fKpa29_yhW8)@XYvjfhhr8lFrRdl4?40l z36vu0Y`mVX zAF1RY#i)>0xouL!GtV-kCy*1RWX90V<(vwm08pY3SrLieCo%nQMaQ@bD zGXdr7-?PLF`+mh@y)r#4E^@LYoNiS=Xv$}JbobbNpz_ys(HL?r;D2N(t)frW49jHd zii_6;X0di?mNm$!;(dtg;b%>{fk(G;rtxY4_30y$cPwiMJ!ok%xnA?0uH&IW<#t(B zy$;&}2tBCJnUZ+R^qMKdxsib5E?h`Mo|J)Gs1jny7m*G}Ey+vq7wdIcWgUme8RoU6u$ z56IoB%$3#E)d9<-=WS(h5})mgpo~m-RaI4N>~zd~bq7Tk{qo8ecNeRfPDROz9IURp z*)*>b&5UGuZ z<{J<&9M8N7i>6gnjz~%21=NXvzYWkX0`{i6)iA!$pFhVW??V!qVdV(w?=HPN<|Ij1 zExpunuyY;DrWIz(7F{2c)9G0dU!+DgIN7h2AX{q$Nr{RK_0zf>EEY(f@h;Uy-dt2B zAHJWtd_&*gC406HduiNm?7X{tymB(xY*%4C>~*#!JE@3`gM*IGWN>$N4CoC1QLX^q zAA0TP`OI@=D-nvs8Pv;UxBmI3Y?)SZ4QQ8%F?xEMMc7Q0E%L9WuNxx>rL4H^R$pH7 zk(PEpG5;o$%M>DAbD!q$Ip3Y6sKAYAy{mJ5(Yuo|*so61RP}m9bdEx_-TYonV8LGXkVvB8;jI+c%S2Xq* zS~MHHxDb6pqGu<{h&Ch+?pJ0@VCM?AFtpbnslXuh1G*~>Ir>=Z`C3~*J_`N$$7rhA z062FX03j*$PKklBzL(DK+H4Sp-~$m`xA6&^Xn;TN{P<1l^eE{rD~UU5Y+0@K#mTkq zAQkhtv3n%am2*Ceb@wK95c4l54EzrwEn#Q3BF%7y96tATZ3QZ)d*9V7>PmX@HezLI zqg6*QgNSpQExu;%_Sc4ZYNksR-&vfG{#bp?okWF{-;IXt3LzucH(Fc+#4OFh%&5C8IVWRJ>Hk_=s6-#>1)R(H%Gps1h9Lk!;fBCm7 z%J(?MbL2IQ6vph%>^?*zgeN5YBa+R{rLwj@>@L!#jZV1s*e`4Ho`1qfe>er3z%<&K zb{EJG9@IWyW!E4?U0#qSQub!`&DiH%^bb?NCF_Qby^IMxB7q<-O0vHZlrd#b{KDkP z>#m0u{yZ-{V_ot_=tKEARwC3dE>^&*D|Hbw*G#;+V$ii|N9RkaX3e8*?blTf?D^gB z_$4+9He}EI@G}f4gkZFJLpVA*IzAym>A}p%NJ%Ms-Qw7~<(?H-C0g17Ky=jtu1*Z|k|Ph$Zxh^SP@UA4Jl4>966@}_NS-((orbd<#y)X~2-OfWArgIh(qL0$S3iWDz zFp8&FwV4m7StiU1_kE+(AssS7*X{5c+{9bXCULVYrb{o4&-401Ma35Fg-=bSQ0fkc=u+;KE`Ders_4iSz_4KJrtwhNkhs&1D<$}z2bi)*UzJmp6I zHaD9WVX7+V^nLxD&;Oh?@%&+CNShANW~-A2D)J=sUikR8z*?G!)7H6T>Xh%%&2?-` z3RB3*#<|LBnHkJ$aW-NSE=>Cs4GXWdCs2?d??O{{$nID};xsMVWA3W*0pK*w5DHNP zq=KV7pi{*2Llc%H$A=djp@-0VPr%^&*LuK=;wg1wzI1X zjf7X@bQf@rt=U}zlD1vV>f)}X_90QKp>J6TMua}j=eAP-yTlYf?n+5;Le16@N7|cL zi+wj#l~QYA++ty8zxYm|7ZZOB2Ukcf5t875{kmNI=IQC~a$j!>?_)kno#>>|XhQ)9 zI(De-K;RbnY;R|K{TL-OCT~*0L+$|ZY)q#|GH8fWQRU;s9WIQqW_o|x3a>7j-?fi7 zDbnVEluNXTSj;8>>*USZwtQHQ3D&yZdcL*vKCg|yAmh-<3d6V*`g<21*33{9WUqBj zsz~EDqcY&pUk4!~NbJnN!7DVHm&eK0H6##0fpCQGajm_42L)^n**A#4B);HY@{OMj zvQ)oKm}U8UKSCf95gF@#_>24<27`6Gf!%ugdO#?+ah)W%X3Md_SudSBQUnlaJ)f+b z(lN07x2FU5XTj;PlF($8S{=2LK7G!~GZD)uu`Ga4a#FoG0pA~BOhzZ+<>uu4Gd|8t zM%F$(&GzQa^2vHX;9M(WzkWtuviq>^F*X4Kzx*$oK^ z^sK*+_TJ$P*Vn%a-lM z-cLL2H7KdjA-0~1Fng}Xco8SMLJ**oGS(?>-U4vD~S#M@JcQE`(B?cqxJ< zN7xMgWcTZ=Ol*h8X-YQZ0$OkS+-iTOz`M2U8T;5(1}({4R=rH6A@rE!?+Xo2YPJ^h z4DT=AROMgOIv*{!fhC<7$L;V&&|!X)cU^MPz@{Pd}>F{&P~Vpyo8PBWLO=z4A!HLWry~+LJ5=>bBnZH z6zk9vRwbpB_jKy)yAO911UriHLG>aJi$=_kY^TRvdE0)0)a7^l3a0Iu5$X9QHRaE^ z8uc|MHS!d!=e_=p9J}|KUYFFD8IXS5eznJIY!{YKlnLkAd^5;Awr73Ndh9Jg9Z*G( zeee~msFEB7vZZ_XiDCDWwT)Ofo%mivB0ULr!P6$W*0H}r?>i!TYQnWpViqh0qfVh2 zmBb;}!w~1C1C{-De93#c`1XdL*XF;r7b;TCJT;*SGfHZfN3n^F2?V`(vHr) z8}8}uGz53+Mak`0PWL_`JYPO$hld+(8)}~(FE&RGYhKV;s7kJ4i5gaJaXmphW{CXd zNm7y~ocQ-ii|#kRR$%+&vZ)(yU#Fe^Op5s7aP5mT zy`=7EX9791(sbYV7eU{{)M{c%U7WVnA5 z>tp_HxTGV?@*HvP)scAunVeEFw-cq&Qkwd7MkLE2p|XzNfdPXImS<;yB|7wz9Jfm! z*EOAX0$Vt6A*o0R-IU8nMW&-fgCb0WvA3+oaD?D!sbQpxXkt-bin+EIV-{~RZ<(IbM1x2~@* zvM4GnsOUwQY!!q1D~*^br3hkjQFGbF5wtu5%)~jPA?E>2tHio_CTGR+gl&I?if!s> zJ33ooTgn+i52t6uny<~f7|h$*J(>eWdYRc);}eeuBVDU_)w^CDhZDY1Z@=e(yJ@8=Zo3DObC=_ffub$;eDB}2 zq>bOq&BoQ3?~k#za@1Cd_c&R()xkYA{S8yv+DKL~j8^JZqdxw%UfcJ40rp&T&5!a99jeJ$Rh9>&&U`sOHQ!EQ9(w@p6Z$(yvQjUsJ;#9Iuiin@>q0|nuX4Voq z1#HxlPFlFZqQ8o?VBiptq&Qz`;#?(2R zmH6}r1ir{tdht}3?8y?LkrLy}cEP8Z_9`=713eMhVOPPQLs1-6?M`0_Ve9_1Lf8|*M(<=_JpSBb!ry|uxi zJ>?sphvHqnw9+*U|AN6eE}BQUy(~ZL*=;rku_gqeV^H!#j2{9tzU8MT7vh;s(oXbj zd;*nr|Bk06e1~;+XsmJd%+M8D#t9D3diwfvB2gza z>aU=0io~rW=xq`(NmD3g{t3B<1yod+)( z1omV{o&UJCPGRzUhEhzv6AHO~XZu%p{a7t8v)N! z>yZ256?0_Q0CXxzaz8DfG+1ad2wu2~8zIHv7yi^%t~B~tVXhh`)_2$ZBOVU?cM10c zjiJDynQ9=xLIrG8%gAii&y6aeC>r z@z<4-FIu*MVDtV%FZbb;=*Du-zzPobVJjh~(X9*RgS9|Gq#cafx_&;lM;=CTW%ULR z3CHP*QEvF0dm&MQJa8pGi|pHFP4GD70_(WO=n=yqdy0Lh@+ zZs{TI^Lc4qshxjx1*{NJi?By2Mmy>%OhnUno_y`yTLyer(caL2%y3$2!JE@}lCJPG zuBw3=e_ufjN~PwA?hG@PBO1B}pOymZH_a$s(XTGr&U5QTM#{YW+>X4ew0k!t^ zkJqOFg&BJFY73yAlJLwwzle{9#tg9i1MXS9GMDR<_0^s*wja~t9P3fjaRle1(~oDL z+6_zVR3e|6vw14XxsE8>7qajnnsa^|Yzu?!JSv{*szA25$K!KUgI!TPTTGwdO)ASq zgaC}+`Su;$>~XK?C#i222z3_pod?65QnunVZlCtxm<5`$lXS!JgKD4GI>Uzz38>l5 z@)T-}=wfjOe>JXA!>Ale;c2L?WhW)oUFi&*bQ6Q@>gLDC?ay~651TF*_vdPEFZSK< zZyZTTQnOuHe8Ytd8uh;nTMD%sLN1$JJkF7j)x(2^_SF>)RLTMA=w4b3pLBbj6)iR@ zZ7w_)FD5l>A+8sNa4t$q1B|CP`BjfA4l2r#-@C{io3j{Ay>M4JOVGoZsrH>gAbZD? z1gBUKev7w#8Sa4)R`PcHreg7>PX-A*@>`Q9jf=UrlbrI|65A7b<34Z*l@Ev4r<;iI zZ9sSh?g=t71_3MGe-KYn<-Pfg*+e)IuyxfD$0xG6^3I)$4deA1#>)~}L; z2qop58k=$Ut0Rv#Sk?5Fo_8)&NXnZuJ*E4L^Q7kYCchzv-K$@TKla$yc!du1*CmIOq z;h@OaAr74Zx;-6TPlID?C?roFK4kXyZ>Mt8$Rc7eSIJ+{2to3~_S zdU|^06%|0Rq)4d%&^4zk6#xoy@12P}5F5f@xs?Dbo9|Fn+SFuKc_*Gk6&-rGr#Z|u z{NWh00q+xH4xV}E*sDkr4UR3?+XKa>`F6kOU@imVZ>UhC?qqMaf)G8Rf1Q}q!DKjv z2N;cm`8uFR17t+}<@wg5?#dgarI3aK@v9dbS;^_>{{;Reez$FBMGy5-AK)&$k%2RtMlmLsJx z-xvH29Y5T}2GIn-?nV9S-EG=SLV<5Lsq}{SO zD7kdX@QOd5F(&0?<1^K|PTAw8?-z$lsR;=?YipUaIgK`d`9XBx{_YMQ0iosg zfC~buTY#w_bo_TDw3FjwAd;1?R#be^2ucG2J`HZ?G(I4JS>MnwoWvpT%#ip(4%e;a zPb#L#*;@xT0NG!-Bjg3xg#bkXVL?GgRAxZ<4Me+4+JVkfnhfB( z>-!h_kE^Jt0P#jDET~wk3C1`8HVQbP0M*#Y{Y%8*Y-_ZzuyA5Rp-jbNV<7(Q%mLb+ zD$>WJmFTpXB;K(^-NHOM)DD8tS9F0u~T8ve!qJzT2J zlX%>x`ueEJ$$dNi*4EdD0<|d+dN(LjNkE2YWMjKLIS~^TbuCMAJ>7Wb*A4>nAi3K< zJ}!@35(_qP?<_*K+u`Zp^u`shvu%tsO)<;R5?v#o_;(Y|L~9%gf$)OTw(Ln@hB2a6 z0BI>=9ybMbl?rKmT-+Xo*_`=CS9`D;Xk%4@%m+~NVrF830BO2OJNTT%T(zV*oNy@N zOB6qv=zLKvV$w|A;1%wyjo0|BxKds>^jWOVVQ?dM0ch!bOz{>#H{N%bIs{zekxsPYKfxIeVD_vHa25St0k{GaWEiFJHdAzP<(#vjG^46C}TUK;Q-) zj}fR4mCah92goa&&9Cj<-<v&Oj&vBrfbZ zEt?o+(n|r2csDnTlMVw|ah~j)!ezO)w+B|;?LvdIx~eJ>kDCMFw|8=K0?h0oKYlFR z)mgB*18#Qkh`CZ-fpq~ufsR4K+vss^2Q=eA?EQRq`f_hpev`rP#Ta?8-r}^k^C#H* zN+N%Z(5;53*ZXc5%1#~a#M;K&4Osk7NgWNbZlhp!%Z|0c;pl;W59)YMe|}23hK<*C zPu<@SiKxO09y4b^FGz82((l9&32ao)52JdWbVge?3zWp+jrNVHI(m{7X8 z7$jK?V9UTq9Q#97xYzTYTuv~)3F}QgZZ|~5$`pJU#uDQ|^7Q|;d!~s->Km@CgSAP` zqTGa&z18GQFkP7yP~ET~q)wkqJY!)j0=YaXju9KxY6L zkE(|f4SEbTv}6`@B`GN>7nds#vHmxkQ`?8E_-!d$+cULyPHjNVZj7*2so`9j;2`J9 zfzi|Qb6$}hnAh)1!Us5oc3JSIiu|aJ^pPe%db>!PyXA-1X@=A z3PROJgR<&=gcPp2aXM_tbld=ajQji4h2xIt=}W`gD3-}OefTv)9s3XO8>RaHGdl8C zE_JfOITI=yA$u+^4($=Uj@}~xUrqceS4?)+8Vzy1zYaG51<1)$IVnctDfw z2IZVwquYBC!tG%dV@uQ@5 z@6Wc4m5fs~2LBiQKZx;VLHQftroLxzZ^*g&XF);V?C*OE4K->-i{*wvYDK)>4|l+J zffR`Hbk!XzZlE%p&H&PDe9+e=T&p|OP41-2k`VjVGbTNA6`3r#|ER0kfbA8G9Lke# zz;MB-0R1S?NI09ic_8nyKU*P8hclea#YRUr0JQC-SdwnxHoYMq^o&twEdlM9VDfn~ zr_;K9G|0M|c($I!_)<@kX~4qaW-r!R?^1yg6}WM(ZIaS}7yV3m(2oCpJ= z|ElsDjkP8(B?$E55Wcnavo{-9%_Jz%@N}$5be*{+1dr5K#H|dNX;BEDE-#OXB@e`& zl6H6Jx{E=kmq(5aAQRCF!?s6n)4U~jDxtfkbP5)pdJ8S1FrGSB5>2t2Q~JKp6A5n0 zdGcFHe^XEc0~rspu?jg>UtTD9pp^&|y3!!mD88C}j|YMSBh@d(KzHc5Bz%_6`(=Ya z*F(lvwW3UG{KQZ1=#@&{gdB{N_uVc3aj#2rCppbYvy7Tsp7kB5@+|6pE zk|%?sx*wH#^fk>4*-T%Q1pOPKq!Y^i)DUCF%41r|xCZCe0fcK;S3Or8`ulG^%D;%h z#<+8%AxOxcACnG;o%?9;FCo+dhv?N&*i@x~X7K6%6w;eGJ33w8>xo+RN{N0s@xQkA zMwo{J%quy})%sX~*j|jy4~wZ0|EZcC z%#{1z_tOa+QX*dPKh1k~9tFNFBKbe1=vnZr16in9i+}dYOw;c1;T~*NP((z83SEp` zUf~k6)l&1q;9yZ^W+oGd=S`&uxtOG6(GtqPHI9{0pDs)vTVn#Qru#mNkB|QcgI#q& z@*AKPAl{j$ke`%9C@kFL#s{c35r8BnoAn~v3s5&!aYEVCd7*(!i$^ z8bLn)<3|S|jHRloO5$3Qpf6J+Rf z_&?j=d2btD(9DdAv$J!STp!~=k$Mg2J(g>*$HT+Jf8;Ar$lu$us8TDEp@Kjz^aJYY z)v-Q=;}C>CHF9=Rjf=0z#;Qm_U-}JXYJw^>|j1MzO|f!I%GU&63w# zCPO4x459eL*gQbQa1aK271X7qqy*Apo&dK1m=6aS@YK}R&0};cW&xm}!x7(o4H~q+ zw@2fR9n=MSBq8++*{=;`^neVxJS`8p#6hicgJ(X#BWGJQCj%4DTWCxkW>5~G$x@4V z%TbgE$?4)yif+S%p1qj3|5b^I-z6*`G| z#s74aF~aB`G!1w?;3v8dXnz9N>jd0CL??`kj&=m1s1P`k@=wDxs7tS6mJmHBH#c`j z41m^H@b*gQvwr{{oca+4V;8FZZygEflk==k6{#0!B_g!W&enk@|J!TI%Q=B=S_FkS zKve&>yO%H9z(Ej;3ji{Kq+SgG#;^btb#)-g^)Gq@x*8~}0zcw#wjyUp8-R!x9eN6@ z|5=ej#^4WN9R6d&NA1DX68+CK<5&+#86Q;!7A%ue$nFcqzcnrR|6bEF(xU&IG~aG{ zxqs*hOi@XWketl_6q$6AUnw`DZyfXop1jOTJ1op literal 0 HcmV?d00001