From cf586c6b5eb02a1fb5e1d960dd0569c16fbab453 Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Mon, 28 Feb 2022 15:11:40 +0100 Subject: [PATCH] Documentation: cheat sheet and tutorial --- doc/syntax/syntax.pdf | Bin 66383 -> 71238 bytes doc/syntax/syntax.tex | 65 ++++++++++++++++----- examples/tutorial_en/tutorial_en.catala_en | 45 ++++++++++++++ 3 files changed, 96 insertions(+), 14 deletions(-) diff --git a/doc/syntax/syntax.pdf b/doc/syntax/syntax.pdf index 71337581308e26fc5772c30b75f0514856576df8..7f1f59db4f8dbd4378708ec065f4fef9fce7ed85 100644 GIT binary patch delta 24790 zcmV(qK<~fLh6Ki}1dt;GH#IVsiUI*Bf9)O1lH11dzF&bV=fJHp$Mc?n52=b|$%)H$ zC6;`WTrrl!?!qC#H37eS0vEr?&;@r_W*l$9`?Sz!UsN| zy}tV5C0Cx0d`YGE`qrZwF)lsjb0o0xUeCQZ6N)LFVmhVz`lr|5zzy1?94W1cf4PGb zg{S~<*|pDu>#3Ne!2&+1#*0sD+WRfLa_JGm7}7$+e-_@WtA7=A z`ySy21g#P-6e3FIkN!4F!*!5`f7esS@#JBB?N3&B>tMNz;=2r=IzKJ^fQ5<>Pce)r zu(F1q^3@hUPJKj)Uqi3T6M`|4+V>REND7vt_c9F9&H8$(CV-*PKAXIV?-o&V5BO3% zNeb5cT+qqO{JMB%|JYz^i8Nt|U|L6-SD1PP(wHFW7sB-SFqm)IhcLj(fBzBKTioaJXT+PFL?Qa&V*?)4ygC85bC9v`&zvt(lf6lKHq`IyG zmQ|JdISVpvZ-Sc^*X1+_e+#0`D>3rZ_VdTjul+7egE>GSk4MvG`G}J;tM6kwN!80} zQAkx3&lZ~`TE#7BHM#cJT$2A`ZkmT*=Ks50tx%5hzrz@u1S7<{&_Hiqdb@tqj7b7E zOZKq6ZLUFZjWpK{X#v+T4`+)2JVil$tDh279P$GK*4Za}EGh$}e<=3^SZ66{ix==U zr|n*VU@g15ff8q|vnAW(2D;+RK?bB>Sh82?dNbQ$Z7`{`aAyg#zjg+){HEy}2op$X z%Q-Zl+U9pJbni_jX-R==_=x=`Hh}V*9e}3k=jOulpX^rao18LBt+|i*HX{1+Xi{p7 zni8hKpm1C5OA}Fne@rqEezxQ}Wb2zIqM%HAXMb+mz34HhQU=mRwgzn#r(vAdfJ(oF z194~u)cR((5)s^e7aot3Hx&#NRgcfFk7vcNo7HL&20b)~5R)J19Gik$ZU_Nn64;eI*QpGwP*~QXmC+&}mrqfAO4HW|T6cGTxg5FdtH0 z#_eeBMZ8&tg$ACt*9|L}KB1~hf|xHJQ}x5}fc=HFurj&n^k|~$Tvx~kb{B{}>!H;J zmqu}^M>Bd_&|~SddoF$K;mQQiF1S%)&ARxqqpgi1Sz1*fX+RH<{Tc&o*e*1};^=UN zaJ$sZnL@bre`r1RfsJA{*kk(8a3NeGOlmIV)ok@}_9J$t+jWs!%Xjxf+_i5W8Qo=WXo&^yCaiUsXq?5Q{%hTv2rJ;T-bt~dN5~3Dq zwR7~uLau!z<*q8Q`g1G@EC+!oNBBsUZE-H+-jPeio6C^zWVMF8_FqE<{cr<7)SvSto+78IoF#9d4YXs2BCfe-mWnt^$tp=c&p2sNWiJJh7bn0!dC> zM;s?zk;WDY=q}GXsj4-lG;gveVv??dILY>_67vNw%RyP`YugZAtkUqxlkf;NlMG|l z2X5P2zyBl&f0C`O(}dqatT-(oT84BCR2}#x!azh}rHc4=yshVP1oa$EK2}KhwXSy) zf7gHjIO*tgSx%i65G_$12idx?wzY&)p$@gwx3+}0b<`6doIw8U*B>6jD*1f#ad9rsMyy|e+1SX zBfr@C|K8vXeybS7$ZF4M-QS~mQBce?VLa|1*t+Meaj)q}|)h-gtph;9Aa9mpZn=qB@~7%{`0e>X#o zPGUzeHgZ?LyOYFywXvGDoG8$ywcVl82p;^iiu)f0fDdf_UIA|LCI z?40n;!-p`QCwaknK#BR$xzjzjwrTGWQp|!FYKrQ4=!%$5diH#^ScJ1dnO##%XEmTM zns_?#lN)Vy|Mb@A0%C6^`7t3;fBSI&R-^_`2aQ#2bMcD~@tTBCP*O7l4?zp%!-n9c zq7b(Go&tHNs(l8&9U1xO8=gWuu}X$K>`YzwiXw4<}4=18p+g303> zvfr5bBSKnkuj^~^NXrU;l}Au#K*j|1xrxFmbKZw*zG!9IiILsAMlI1;f8PZHT`dQW z|I!C_@;O-h&xKScW0v-hzpEUy2S>^a0VjQA!`N(~x9_dMrq6qzZ+iu7cH@}xAj*PI zxz~gN(QIqLT48`!;$%MzQcqj$o_Gvi1v3HGP$5+q!RH6&4+sdc%!GNnM_Y-*`^z$s z#p?b}F(p$>ri}dF+X&=9f0%*u`_al-2IUSdC>6aWZytQ;3JN)M@JOTs+$P08M^gJ=LAoA-~W0A;u;2{6JJ1J64tV}2n8SjyVm7sr!Le^UGrm>kjkvA!mF z5-z|r7hgbvu1 zn}=r9D2|+uY2QY%6E0^*x$v=?5JEF;l??7du)07U=$58He{=~i+i`cwPUf1O*7+27 zMz)NIzJ*wCT-G+d6oEKZ*J}o!WWFl%V|cTCn7q~|IY!rh0vZc3c<?&+xn?y&u87jw(`Bi85>+CREO?-U0b)m^~k|_F4h_hs`2v>xzAg1-1-eW)g2# z>sk<>z=dRReTMpvPFaCDt61{4koWPe~H}o6E-r)FC5#yOGzVFw}Y*8 z6jIhKMsHU#WEG)-%ysIKl8rV)6K)WL*ueh9@_t1+HQ7*pd~b_QO&pM?)Q1xr`? zXGJ5Ne`r{^eav~U>qzeQX|=4_PQ;hB6qm1JdasH_Cia{~=?S##h|v^R950VbI72rx zoJ%f6b38^hWK#)LkGIO>6h zpK`QiTA*ez^n58E@KU+qVMKWz@9-@pBhjZcK*~pyW}Siz`{RVA`~BGIMS2{Gc1-O6 zaduFVE{qjDqe41Y>#9`+x)Dh;c~e> z9>T@@=qv~O-@dBbh(ZsWk@6+jPd-g~5+XmIn#lhRP78buS|A+0aoBQwpG55sDr${1 zO<_m}{d!@uVIH&B=q-xgvS2m~f0JZz`n5BaW|Rg{HG?v!2Wxw75CF|SxJcIzZ=9;R zJsq{}RLy)=C|E2Uu(Ld1!Fg)eNUH|E&%CGZ5otmi7t~>1Esf4Yx0@;l_eQivTG5)) zZElj?c_iosiNHv4#X7q?Auw;%OzF)&yhLzpbLyn@`aYbcl z&YIqbgEzzNio9zK!{$LxPmiIm5E0ufIf=$LcLVKluvo2=bFX)~#FZR(;j0kJZ{5)<++s&p9bblvEjn%^XaC5)Sqt z1{OwU9)P-vrig=sjh(T*9D|&dg(cvRmmPtELev>(46<^t7c&L{c>tO~Gk_S-6u`;~ zVBvq}=0>0Zh&niWI{(QB0jU2#(9qG*|I71N3c$qkpOHV6E>;%y0Lnis46yx&0Wfv2H?#U{G#AD{Si&vbaf?*&o+ zb!KS(kT5oLu($ODm;ucZm=qj9e_DS6sQ-5=GydO+{C^gsT4)}Kw;6I)ifE?hjH|D=58{1jgdj1dT|DLD`{0Bu9poOcgvGc!& zr9sAjRv~O}@kb73M&^Gwtz0CmJb-3ORv=SLfVr{lpFREUSGP9M`S&UT z3@ohd{}xlTv@*4^|7-Ca|9}J9oBccaKN9^-ok>emR9aP)?!P^$f2S$^kshSx>G+4) zf6OB9VD_KJUmzkP4juq+1{N+Z00S!r7l4J8g9E_*h1vIiX!th}%fD=SW013z2SE4F z)XXe@&;B3ZzbyTKgAunkbufSX>#(STjP1?-oUi|M{1rBJb$0$E>)%)Y&&>a{|32wJ zpa;+tVQtyLlsCjWBRdmRkDWgRA3wt)wWR)}hxwBVvcU%ILK&l(A`= z=e^x?>D2LUUxxNztnafeRc{*bvXH=+jHbT`ZHuy#lkOmh$)FrL^Gts;#`|hfZW~I6 zgIVKXcT!o!pzIZfaJuu0Gu+i9O#qo&Q2-|SgX1SZ)AYu8tS;0hF!cK3(=*ECc|Lq2&&i3fjX_ams~-9g39J?;ychY(U^1Z7}I51UYXw#iiJ@ZXWr)KWJ# z!M=#6G#c?93P|@yybpfg(R~NAzY5Ly(ldNj2zwG*c0&dmNNsq>LU3jw+3-BqRF3)! zEZwx$eKIJ8OI%4od&aT7{#U;(5Ro)ZjdJPezWBH6Q}uZ4GH-v}g`(u4s?4nhVDbhB zUYLzA&geBFh>h!w%kNW9_31#gL(SY;<|)2RoiNHHsh7j{)v@fGWl_;*v|UEa7d6}a zo0Hly!#D=a;%|!ro5(I{dw!G~_q5ataoW2REIRrqDcMfK8a2NyO3S4}&R21Q2QZ_;DXdC@-VU4BQzscX8Wul;rZ+qt64<4Y1+ z-B7Zjm?Loq6i>BmiB(*#I~YXPXnrP>iIh>Sxv4Q}Ue81-o2h|29vruLvkTx+97X+X z7H-Wywhp3O^*p^yR-CDC8}sA}U5`7GZslb%VQBE+hYWvgC^Rh*gHpuEjd8`+?9rkv zjddtkZi2B$-oj@y9&=`HbT(>j%!ct7qqs0xnn7U^Q}qx6#ev$)6hXp2*XAjO3t}8{ z*&l7DFoZ{Ek9vje3rOgeW?PMVsJ@-pO(OJ1^l5~fF(;OZTD3j0)UH;AFflmqsFz6C zgoN%mU08qB39hKd3hf>RU$4jgyHUeP3)LtfORi{Uy?=@XZo5Og&r!b<|AE~1P+FOz zE;jOws&_?qeX>gM%}P2=Fb2Ub6z8F{57PK zi^04fLSmBqC{rf9S5bJ>S((36Z@?qxr8$uZnMr@LxF~ti>U$&$Cg_clev3rd7<^qa zlZEb!!T<|i^{m9%k#+Cnt0HU*M}Ql{jYrZb_RG#mPOd-vy$FrEO;fB8uRjr=i8aro zZSMwWt6~+@LYxICl0TK0U3q+q7tc(5E{}q~fkpHdc2ZgnYZ+*xZ)$$06c30x#@@jv zVPJpnP}?-3CsOBsfYgMHtuxeelV%WfycFrN zEq|zS+#GzdW8BELld98n678+Nqd8U37y~?1f}NvfCB!&{A8uRtqeyi>oMxRK0Zu>-vVhAb z(u$NzTdRHj7?e%peY-?Zk<=TZr$I#v1DzP3+3{7<#?m60qAZY*&QwYk=fcJ7y8C~M zhzBVLaxu4MnW#9{h~mgOa3sOh5iLH%|JNACjjT}Ko62}= z3lT&i_2%~_T*wP81FS$6q}Y024k8MpHNO+EV3*4IK3dbC`@{mN(jiaBt|IG(`Cs}g z&Sv?ItLIjJY|8-|F~YluRDB4i}qrY zT)YAoEFoaU*vQkg@j9td)J@OH_b!NC`m*^cHuQP@)o@kh4x3VqYUkI<9Fi%FmEaM6 z4Hd|yKAIFf&W)6^$#gFGdLS9CJ<2Nm7qEu3djy!`d~} z{Jzd5)p9wI%geZ0ZFTVT`t;rGXF`hm87An4esWPLBik~50h|}(vj98vo&dd3AAMi* z?R}OhOUm(Q=XuCn|E(>!{fOsPlMv+bfcIr!=Ob)uyu3beT|Q`!)?cLvd$|@JC|$Zur%yJNSJBMWydd z8LM0U*dBdqx!RnE8T4&zN1$H#!xq*Ek9EW`%ZH532#IUe*Fr&4b&L-HksQID*2j|Q z_!AleN4#1hYGS1nnMI8;wL|AuNs8qRV=^%DC@catIQ-}Ij-9@Pn|XhcHa1vW>>_9m*-{rvG;X!$(os4-)9o*pLGbss6f&?-6%I2$x4Q+ql z%}26OGnZjYuA=r=dGQT(?b|o)&DX{632`)=YY$f4+{peih~S0oFmKID=upqfI!hP~ z>jqAyKeFq_(3wb9(42o0zXw1Q@u-Ym8J4yOH{$t&|9tthW718*MCrBMTHbp(dJqLS zg?;8i(89}g_q!i+_=lm3WjLj|_2|f0i0OIIbIMY1nc=E*#stu?q7`r>=A}BfR+&*o z2))qAp28GXa(M6ndZ@uiRwHwfqJ3M>C#0w=sNNBOJB7Ca-1dJ0`V42NgJ4MUV>32QqLj) zp;kVB;+bFKgD8J7_Oc?-5NyLP#Ti;7v(kfxLkT!QQ)1k$gdt;PfABB7fh998DAj^jh2-NEqz~79#$2)SeOD(YvcU|}zQ~DSqCCj_zG1-n2g8E9d;&9h zp}-Ght!8*m0G_X|o6XMc%7bWp`Mz22gOg~UI1C4?iOPRjNuLP=-KQ{`YJR$BURYNB zw`c{S6KNr?u^~*mJRt=7M<@$39qN>9{0Vug!|!ZGSo$J}^(v9Ro58pA_JfWAB2~30 zN8TjE-;EadesMWit4IkP1b&pi_YCZPwpw32Br|1jN4uzLK+_lI4N6D8OR?h+3yA#O z0P~w5q=|pE72-~;%sTqwc_@Da`^10kO`&cNCEnXFF&>4FNn>QC%{nh4km{GfK^{m; zj8b7W0U3J@m>IZ=^chy@AzsvMw}ypVPH6gFyBpP|2(D<1Bnxtku1zIfh@p91`m-AR9ll|)nC-A8yLyc>)qlpufV)gnSq zb_bUSKKhvrCoT|YUW2c#57il>s#Um-|O8rzE-f4qA!M()n9v|tF|Q8ijr~(Vksuk` z@$`RcL11bnc`0&T(8kvy-e#&ERC@hXZq4D{c-m7yZz`ck={}iE>^7l)fndc%Z~#Lo zbvR_g5{P73wSK^{R!b}#(#ARX>zB)Zs{qH(1GAu&n?FTQ_~YG^tIIa25t7lzMv)sR>#Q^SY_5guGm zs&2;js8&d_-5wiuXcWZA(Mw^EhiCl%7B z`}R}@Jk3ZT&VqsK74Uv(6Kqu0NXnCf(t*}Z8rvb$>|;w_ZNK{Bgd580wJOQhl%W4m zN_XOi%!#Tc*WAd1W#VQ6I&SJWdS6q| z8XB1Er6X-{3vY+f|9PyQH92hGN=mpEk3w<6Dn_`202>C^-!^dh+3CXG7Ri6kgI`jO z=|el5(&vQW8lPrBk%-&r6lOO_kmkjYm(Gp4`ou&?X>ogL_ZEP8>|Xub+N07>H9As7%7-_g8vN=bg(>dx5PE5S< zq^eepwl~dP$3r3;e_1G}UNyric$85z3}@4hT*$yLJY^SUW_&Sf1f)H8?Y5h9rOT{kAZ-X#mw>+lQX; z`NAeE^>wVC^$=I)Cdt4zA`YU3$%6Q`FzdbZ2dn#iT1u(4i5@LN05D47D2Q3yWatt? z`DR+qWD_M~9r1;bk#fe5as>?Z#mAs#^g7|%xa-L@$#)A9UE#M99uAP) zb>#^nG;#IW??;p3Nxju6vp0UB7CfIUadT;p^*vNsHI z79n{j!4%Q6A3r_`-^ZJ$Os_BVn@!uOJw*JPufiQ2{#AeL1mO9@y`7wxE~((62lJnb zpIt2R)=rVy(wSr%nOef%7lOm;lGEuz0o5;v#?2}7OMZ1^dFIyraT z#JF5#$S8jh=Xu~Wvk_}oj2L{-g&-2ffdp1BMyU1RS=!OJw1*VIQg7NphnZ4(+1=9G zGvj$G61`%>2Rza0}#%KWNsDO^8)PNo|UtS-TR~U(SCD#uT4l?4aE9&KHZ$so>$hi1QkubEKZv4U+BHKo16BrGni_##W zgYAE#WnWTxE<7uGiKo|#G696Cn3Np~O__8$DqQY0>YIa2GhlEL2%k-pX$N(RCR{*q zL!rz?)Vx}jj_*KyQ#f?HJ$h+5>tfP`wsgss-ttpuUoGqV3Sk7bSK7(y^(J3TR%tR3 z4k^!xZu+0^z6)X+l9OTfK^kw8wKo3Fm*0QXqQ6_FB7R&!i;S-E>F2KrTT`06&Rj|z zB~h%Qj%(I>R9nXVjA2InJ?5iDycr*)tEei2eR!m0O%i_m{@ z5Q7x?~lZTv1JsZi7><4`GhaX+kTJ0bvYbmG(m9H1PFQNZTgn!@gy1a``~^+}3O9-K|e&dNrBRLkJ#s&>G})rE0+Ynm`iRN*8~^AJf!% zN}hgg))hZtnsj$$8D@7Exb!7ssB%oFT79sgeLe$M%Wy4^a$R#@6`9R~5C57fdRD^7 zkHgpKRBpKJcsF{dM*kU3OXFTSFlXQE$tofBb=@3n-8{5Nh2Em=&_fg^5tfDhJY*nv z;p^>@0hvWxBJ4wVY}NZ#5s zd^;8ur#Tb=CIB0O=Q@0p4lVoOI*%dU-6_`&lNU?DEy#?>AHH|G(Wi_L z_+WUQOhmcSE>Qu*Ebkm(G>GlY0#*3NgipNtb4sx}+=M-1?R>8f1sF-53u}r>^Pyf* zOVeZGz{i(531bckgs6Y+p%*V3#CClWzAX9R(E*x!Ok~6iHVp1kNkqBGpK`g5-vtv0 zka}n13j&ZQp-o7H!9_%M;JmA!p+)IEA*Ijo$$V~jbawqC$7ADSvc5Sf%F@hcL1kP` zU0zh?xa#3JA=UY}aRV+;W6%n#4W}mgm{?Iq7^y{MU39n4Tzh{A@|fFm(M&b#AadkQ zu1F7Qk+=At_5frZUh^o9O5Kyg=mjEvwy#|*yo#y%wY7u+*BW$%xnkO*Zs$auSP0;# zVtKu6A0qnP%^POPz6tc=ezGjQ_4z4i;hyT66OXoSk4u}S#=&sT>doDEuTfmy69 zcD5MbG>qQUGg~(r1Rmv?wa-EFKd$_$3%XMnOS$`wL{WdH#{9*eyY58#<*vbEJjBMR zG9!>D6V*LVr^jZ;t|nilD6R?!}t`ZGL)!!O#x^Nbb zX>9U*Q-u9;`Ke3#MAG~xqUjryKH(ZAziJ>fWo{0E}3YMBGcq*5e^d2u0c@Jh!sH}f9+Hb(2wlXpp0&B^THMAEk6|2Ti zrtls^`W(zpXqBy02t#F$Q!E5(qA!3M>S$DvfKm5%HaOpI{V}Wc_o4gi@cJqq)eJmC ztZ2m_@1tgcownxf8FgFi%cWTZ{4WhyQKt^?m`aDi>4O%waC7%LIepQg+DTxzei<66 zOv!(Qym}pFU{v{dmB#{go{M65kTsbe@f6*q7u|Mla}ny3pCcVAPghRYke^QrMfE9r z6e^oJHu8^OVpAo&NK+bXhqjf-j6$YS1vToGZV_Vf1xs`7mt5D&!G79}e3md#s>4*NOFG>&hG)+=L26BP1S6lex}zyDR#yc13n2_)jUgw za>4DIe*V4K6jsJanKCwd;+8bR4xjOYh#Jhy8$NpLr1SS*mf zgK(Z(?;f)8D$4ZXfzM=G~(W~jz(z}Vmp5(S@Rg6 zzjr-6YoQCXSO*+4Ab}Fzr!rwHI>H@)XI%obZl$d|KtZ1s+4AR$6!s<~0zR>ApApB3 zy^I%!aZiObCQ^>|MX-E>$f;u5T%BFLP-k{R#BFb5_I}?{yv<5ygGS)TGiDFFb8tg) zlZdjDvTU+1SHYyA5MO=1KcIi~r?{HvJ+`6VU1r#>8*?G|DN2|02({?5&VcwbvZB+& z^Z+ei14EO9Lv%K1!F<%@;Gr&^K<;-%_H_!%%LeMNWBFlRteXqu3DoK^swHx2KEwrM zFxULGo48ry-R~M`2l*~T69rwPz;S39(;FpcF-IrDivOSoVTu=RP%Oxi+z5`al9@Qb5 z$k*fGq$6}Stw1qn^Z|c5ShY)X7%#~a_`&92b5%xmdi2B(OW{cfY@Tsuu2KO^a!sWh zXrz(>2Q|fGa#xU=@ibwxJ2U%P*o72_n|FzamHMbk;$7ZaP$8;P4iu+Isl^^!x+Uy?)+0Ah)m8ea2 zEa;PzWpkO^k8Xc#di=r)_%pheRtX(Zt&zSKnjJV{ntFj)ks8%gIc#6c{Xa!y8*Ep6 zF!}2~803(+WKg=osRx=qzX}UKY)&jf$Vz=8T897;s9?k)Hnq?@vv=*f8a5_l8hzH_ zQ%SFQN622wSa00D$Elb&Z$0hcsjGOH!OqsX?#A1Uxh;Req7Ck{_Dqy${zUqiv9RBQixlhy!`x;GW;}-C619$JROQ4Xq1Z-j`H=X$etJ7-~!TikD=XQ zeOL=m1&r_-Y=N4c85=3Z73NLw(r$(2qwU||rqL7P`_0o0mS1u&#Y4G>L0d%8Cl9-@ zjh%nEji8KqvxCCSbH*u}K05+isU#Ymh;zr|EN^m1YPD~Qh9CH(!6ti9f?vR?Ll#2`ELrE}lJBzU>@GVhf0{ z;l7S1ti;jeZXN0n!9RWA3Gcf7pwg0Up)JbKJn_b30qYV5pcL1MomMlO)??Ayw{Cyx zV~@LV{jQRa0>5D&65^|7A(qKunulwrj-|w|!z(b%9!{L<`=(M_UhnuE&m{`BBnyTt z3d2#`E8X5$R|`|_Ml^xxp}mJNLaLdY8N;|qP5RX~$}OOtup0H#js?57!kq~CkLNX> z)fSKZ4F=xCf~qm70e_CmY;{WUHhzDL4zBkFgOrbs)eL;OTuTVc0rcgad4 zef_XWm}7`sMa|-*d6)PQoI09ZAHtok0 zx)nqIV6#!s-spYv6Us*8sltC1Lh6PZo!O8?n$M4+stphh9T2DSAlBIuzT>mlXs>LV z^R3($0V__nIg`#7|NVXPzzBN4ISeD$l;?p)lfWID1A*2gtpsU2lUZRugbx5QKgC#4 z+6gWX`$8kum@0Gs6DmWVvNqPL97lMODiCb_WrsTvvY3@Kso{X$sc;(-($1p?4W+2hEu)yfDwwHXjJ0Fhy3B|jlT%4aMv_ctbfT)Qo;DGmW^)U28R6erkaj4!h#S;-QT8lD=(wH zXG$$J#DSN9I2pu!<7deamD9lZM#ItH!XcSRC%K+=xDl@2#vGed@V$^*VKPL833GKy z|5||Kc~v%A`zL=^P0~s0>a55_jL`4?>t!1B$J<8Uw>s|!NvZ=A!f&L*8yeYUam zad}5&qz|U9+lxWe}(@<44a0OU22(>`8yKYsY!oPG9cpdcg_him1{I9)=hS4 z`gby!uSW|ldo1;2pToUy-hJQ4B=8~i(_HMk$lz3r$jXCFFw!?7qLvmh`}H+}nVuovF3xGp06;5eoN2*t+STv|-wEqt+c=?NTIsbEOj5%BSZ z_nyVhxu*C=_Z3n3pOcMe;`9Zee&hJ`c+X!duZaf{yawuhV-tt@~1v3TpnOUWHYcxeA6@tb0wIi*}_ zcFmROFs9s#Cums%VrzCFCuxv>zL;^XYrmH`5|dK-p1-*5C&mup18fOK{>`Va)8b8e zTm@PM@q96{1Sq>{2Lv|#3i#LV=SU1ZHPYSDpZ2WC`w)vVKD%UQM>y-t#q2|{IA1(S zmwbPNQ4zCp-cWScH1s;3feoa*Zy)|y2)GcN z6&|7)od3{WbzY;3UujpoPjRwcoRuO4zQ%v3Vs->eSE#wZ*x6th75#Roa;`CNl{#v~ z^-%ytb+|$ToFadqNZo(yazg%ERZ)NEsU-H?U|SisF0c{NNdlXuXn;6IPqOe1nUV;Z z5mCVCe!4x{H%sM;g1R%B4Ib4AwW+!`ZCXh5HtORgcj;U5Ekgfp%_`g;>rvT5P!@k> z;)#o^ISI}UM0;efq)pg*FDO98BTi-Vr4J-LV3)Ft^Q#n+fb&RY_>7C+pbn2B?XDg} zriKgHpqQN=@IcVbekbt0Y4|0%Su{-B@#0KvyTR6|T!##v^e z+l5zrma8(SnbLAcwBtAZ#JG_(WtM+!GGl@sxYg2U*l0nOJtd?`f9`4ms$6s|% z_y&Y8My1AL;}$0qFm$`3W$FSojIok zW_Rp^yxe&nt^>bde`ILy;ZFe9{r1b-N>V;#?>Wr(Tx0b7GNOH>dn)JycI58&ELE)A zxMNfmCsH07mtaLXMo+4~4aMijCRHW*;X0rCty=~a+})f7dylW?)W@v!+vt?sowbyP zs85ddy_RrTLdWgIN2Hvw!JB_aJ`gPnMQr5bs9On2O>E>lfOVfEb&z!=kJK855h-k^ zGzz;cyPRsV?K(?NhKuaVL|#e2{y^RvA~*syMsiOXGi`=P#Re9kiAek1H;6|yw-*jA>n4!I+?gCc1xnDVdzn;i#)6 z7sO4fT+qg5Tp@kAv+ql>Z@rv)#>HqUm7tPaypCNS!wOl=%Cc%)#!eT~&s2E?x6Fx#cWgaohnQlvtM;~%iOmJJe`lmc*%8j?FS6@t1o zqPi-_VKJ=@j=aimlx}~v7nIyfu6eD^>$c7FSQ*_UbQF%5rQ8*Dz@bnyiBAnGCVlux zTH#L&Lkpx)6~5hvy1aA6htI^z8#$p|lNc2!uzg)V%Fc2qrqTwi{Z@b&nuXJKm}aK< zcD2FNo=}j)*G5cHF+6md5{}eJ?z`Vulv%=OV~TY1LseL;^rU~fMWPiZlKqsC5VLD4 zi*E@tWbe}`&(5cGb^P^MU^$FJMavMY_`C}tTR|Zbo>xaP)z!&F=kYUHxFuePNW9Oe zC+%5^Ktv{l%NE7?y}PtyvSI7P8mzSuI-?I8>TQ_ZT3jpwWKusAwb7{-`KibW^(Jl2cuqK@LZ$D2_ZEa)b zwn5@@sA7ME@JwBnqd5D!h?i5`vYtHB|6js0H&I~;N~|cBGq-z9PB&4g4r^Nm&uM91#Hz^{83q-F(Us*?K@BAUL zo)v%3VwIfj0OHPhu-Va6zKw*kaF6`Q{HidF(6QswN&&yeHg~$1#~W=3R z*TVB7;7Dsh?2Fge;pgdjK8W00#+3;Ry^?==n8n#T;uX_Ktsw@5qWsRPt;OuXQE3mO z?GHCfPkzI6Y4nYmu?Idp-k0Q0IrDrVv6%QH>*IB%kZS4P8r0+;Gz``7a+BV-ibIly z6z3?!Hv>Nqn|jucfX<(3Di1Re6b4t|S3&ge?Nj)C9m)EDt&eO*G~yN7xnK4OBL;ul zLFbHnoyFW-f4? z``JBzX18UkdIkNaawXU*Lz?$^U9f-fmNs1k(+a-iU^!x+fPVgVo1XhS`O9_tNMl~B zi}%8PCb}?I?s9Fzm~PURvqLFy5MfG6`8a{M`Q}-Hz>Ch9ON)V1j)-?y38aQ0xc$lU z)DToy+=G0|*ptWOiYMIGxPtN$S(}2Q#HM`ydu|XDJ)RZXO=IjNCt5!7B4K}L7CouZ zjy(>EH2)u zHYmgk!Q<(X8NwjFSl-~P^LZFU-M0w9C;Cv2TkN@DK!W`tc^7F!HL4 zBY_}_ydS9H&>ZWj&L8zKk28N(O!*S?s%UDXhDEXOd;QV8(0MFU^t2*W==(<$Y@ZK} z=p35G*Gis;?|~CjcaNSVECtXI6TXG4&m(saBCX-d&P>efU-rm2D)8NS$iSr@R4GGY zY4P~jvqD)yw&VzHb$Tr>8*_BwYP%8nf$3+otDuECK$2%G4)(m)yB2?qNIuqY{9A>% zUufjWyJ-MCDeXCuq+AXbO&cfC2h>mQ`CGZ2oMlj4&%Ulhu%N-+0tp&qU>G21aDoPR z8;0PnK?VYZ1a}Aw5Flu9cL*LVxVyukK?VjpWbgAoXYaGmy}R!H*1f8$R#n$i?|Qn| zue(Gfxn3*+dqdP|Q4Qq#T?SCgUu&t>is^p>U1D{N*@`1Y$`@2=^^Di#XcqdN_F+k6?+K*SwpBfa89A>LB>AQt+&*;0vVWD4)xbY!JB9khoglQMqc4#L8p3Vav{;gMk9$j-B{Jtnv?nR!d4i1PAo14wVs-XUC5{+SU6Ko|qxFg;6n}`>s&yN4?irO1erM zAmd81j^XL7*+)Qr%w??QDoge;JbJnb)Va!E4K{nP{i1O|6q@Z?8-ay_f!R+e72)Xp z>?%3*`1(iH3J~mR>6{G*=MHU+ZCZy)p*o+UU)2Qhs*K(R41~+;81@(Q<2QEI{Vkn4L_Xrflndm zRA{9OB$(GPWaC*5*wYI$RM|FnLoW>)Y~8Q0EWn(Js~OiL<(#IOEYZPz0}X~DnqpeL zh}lj2VWCUkR_!hKxhL1Da}(Dz2s*<>Tys&DQhB8ABa5!UN2-(q#wfO zlO|4PrY2<~bJgVikxI93s}Qu0Ryy_M!&CAv;u`{_;J^m<&v@rQ=d`iNjXhmybT^)pIeK+wR-lR}Ad^EK*F_b=~ZDc`0;gWMI^ zX};^&u|$%M9f?W!gnl%M8jeGlk=|4bet-kz2sT-g0R^H{NM%{t#7#{D87tbd!dIe( zi|wbt7c5^e$WqVB=?l`%RL}8cKgZDei2VA%r_D?b)U+DBN;VaZeCu*2mzHl^Mr&7E~eW$qmUi(blZ4b}kVAk%$7o61FWV7_@ zXmznjouq+F_TDLw2`?j!&}g-G^1NjE24i3QvU10&b>}^oNB|k))DQ~pJeG_uE_~k9BNX|w9>$?_PUhJ76{%3}f zlcCm+Pt;=zl*_ewlv#}OQPEWBVvcd3+>M)ED8wWHws;lh>2K4R!c~dJ+dy@_0o=?O za|XiTcH-~o>8K+lnuJ0xEj6c~rWz;2yW`Dgk%nPIaT4Bcc@~=eYH^p?iW;0K#-^M{ z##;%mZE$Q+16pOn&NV&w`eYzmS00qLOLjPPAQ!T>=(O+o^5uZdftMe5vc^w z1+?lwfjF88JWyIHk*T<`QnXPzGEJFyKETb%9T80)_f1Uoqs_pGu>Jv{leSp6TU9Mg z|F>aB8o8A~%G`kV_;muTE;_jtBUHV2=**zI`=RVeKUyqOA(!eR?5s*BG2%HS`&2gH z!LeB(r$>!(tP`AEcqlUdt;h??oqEj>celb;BzVx+Yu-Ol2~0#eM|_o$wPmZ??8 z3A+|#{0uw{j^;MlA|lw_N)U&4ZdME+5HR`kV-z;1y{59`8V^CswvN}+#5vS%56N@YVFGHg2rS?nyEl$r2n$(EQIWr)cueC!|YuR zlZIA@sI`ltu;wPk=@wyD0$zPCnN57ni1$#xg-lqAzvEux4RTZ{YgXG>c~<*y;XrZv zC@m+POr5LSyh=~Dw6L|LFy^-h1z002(bZQoJ844~)o}*E-Is-H2HDMVPmPhvY2Ff1 zNTKiP z+UnsV686x#n?+2Zy5w@bM2;HEzJb=Rt5SE3h0Bk8fnAAIb4K=Zn8KYgntxOH^~3VB zfj!S>Gk*nsG3kyeNipf&zwb!zP-&fcotb(I50Xtp?t)!x4uz)MDZxK)IF8<_l!bf5 zIt9LW9&RvGqzJwJz(u=-f2a9A;tm?oO9`at=I7rstB(F5f{Xa}5|~n+HDYP$UpJb6 zQZ-0O76>~Pmv`g$IE z>Uy0Ppn6?Gz{4_C!*D2N}UY-!-SvV+zAENAF#q#@QS5W9pJ_zY=Os zKh4HkDYE-3eyU|*UDdQ5ZV5)yt@xfRdhGw=mH*%Hx?jsaX;T)H;!yqKGm+rg@=hOgFbwB^;Z|wX%<>OPVtwbpcP@2WcPHIEX)^+q5G;T zN^Kx_BY*EB*oYlRS)Lt-fZO%h`SsSM3=UhedByBYrfE%+DNT7Hn% zQ|;6qgE%g%Qo4Fbt90g#5!NyxRU&3gMoa1=o(*}@RUz^?wlFGb>T;`0b8rX9EVO@B zBKVw;omuW9mEJHv??m5JD+ko0xS^pUyerBmu?-=59$;9A6YgJ~96OeIaM_7bamGmG z#{5p~slDR*3HHo;7)qIlY$oq^A!{T+;bPm>bV~q z>yJ!JN4-D-uGXB8HZ;ZJvaPn40CmuA?h(}`>Gh)5G0;Rmje}FcgDbzbykk_ zrZ@oeJna-^!@*;=W3B%3W!e7B`sSr;k8hj>E*|r`;S^YV=_%gFI-{X_=CkonLY@ac z7E5^RXs_&7B%ATBdqVq>h8LJzgAcGyR0QI@8z%F2Sg9Q39}r?T#B_p$WEv2vFk}iE z0!1*U;ReRY3A*DxR2MZ;g?9#N95`{TNbS zB1x_)36--|G>H0s8{~DEYW@z>InDmm-U!c=q`4$~Jh%F9z+RLTiAzHN0DEwx;B)CS zwixVBG&k&TBh7vWThii!(1L6|9wZ|nYo5wNl7BR+FlD+c;u{w$BXdgke(Fh>(ko~n^`Q;|P$osQPVqS4%i zMV3ULX#+{Fs5)Tp9O?|MHAl7-!hgekY-RdtU2MYgs{NX{?dr;w?aE_Z*vQg`c+1_d z?3J$)I-MhwS+$2x-d5yf%4|36!cbAr$czP!Oi2Kk4gQ^E)2%dzM2q zkDH$t$cg>$PpP!l@}hqhHmn<>=106ZErVqWrE|^6bO`OqP;MhR&Gr#EjgsP?$1G!J zXV83Fm8{nsrIhA$uiOABp<5XVffxq@By(qj2O#8xLlPxeOo8_UM!E|Ze3WB56k}+< z)Y6a`Y25{D@(|@c`sj?C-sAdg>C$gq3S!80ElR!x79roG_!YwU&P71LiE=9yLbG0m zT0gch#ED>uQKjLcq6>nbb8;EU38b0e%Cy$hmucCTMZcM^?pqUYlU?`0gj*BephAkx zSg;`u7OrkC5HtHftv`;yC;0y_3lAv&UuA)A;dyKFT6g-qqDiB|o$IoUfPjpF@k7Z2 zUHW%J{?ZKkF4yHGVS!Kcz6N$_@9T3`>@`|V*ac*7#jQ4%_WnT@AW)v$zoC47tO8&D zD|GwE1Rs46FQ}3X#&nZS~5$Ex$q@gk|&g$$=NP)?6NITvBN*v zEAWuLw>y7jujk=KE*vqG_CI97MKG#@t-D`HjQy>mOL3sUehT@9+Q;(Bv(Z<|eOYgf zT{E65;Y$yKmdyHM**jdho@=3`~AMp1Ip^;WVcq_Ou6FoC;52hyE4yrl!krj=8}5WNz2a#QH{ML#2~{OZ>hj> z`@go^2g}U+vtuXaOenjkEEL+aj!PA>mP&QXGuLZM_t8h4j7n)n&5Dn&ZGLC`Qg18b z>iJI!Dy5!=;@;wBdMaGUrc`I;oqR&q!#PA>Gj$J^+gy8y7xhKt)5P%CS25$ zTxV9{e+vD1jCGHy9oICpJN=M~u zO6X%c=cc+g7QaoH2QgBi>mco)thdp1yyh>E;n~9f4RTto$Lj#E5SV;-wnNb~-J22> z;G^e9V#7hA_VZwJPBL?(WccwJ5q0CS_i9=OAD!OM%RO81>( zNHUfV8{Qb)&ay8QHAbP1c3nyA-O(TuAtePX#ocz(q+Dq|o(;QN556_2=bPCj7v9mR zg8GdV@QV8>sSJs3QwhF%`31UpJGkpU%09Gk441O<%mNMobmDW zorfq+M=Bn)7l`k5{-JPTUScI?SgGHoG8Pg}W!ejrki17!D z$eQ|l6902119|?HWP#++$0!_7zlY^p&cpKUl%qNH%|T!fC^&^ZtSdjEvsO!^NS_MPYHUOBdqg_G9_s&uljwVslxO4*0z z`H|O|u)9Sp79NSeoPa*rwFhO_V(QFzpVo`(S6r5!;GCaV)k%)mnI~%L%vUVyc+Aut zO&KUQ5W*`LylPAC4Gf%n=FRdjzG77PDD0NkfwDR+ca8OJ(1>`5WCEQ&2govHk%St3 zbrLjk{^}G+a;|PExc`{)F*+vin7cNC%sZLM%v&DYWZsS`b!VvT6B-vkR9tWMZ6Th6 z?^UEch}eX7wrwJDus=3TgN5B$*Scq!T1%2E|rZ9S7!!w7SRxy+JA`teWW#!?65pyFMBfVsXEXBEW1eb!An`IOD`OIGh@ z*g7GP@00pv$S^cT5FL>npx6`GIVyf9*Y%lkgX$+;hiXn~2DP6k4srQ?{To44;)=Er zvl)$6@W(Q8Bw)X=Yl*qx{kt(ZI^PEQwZr8N(GCb5>}4_2gyz%jTZ*;U_3Q}84**vf zfr|J9rvl(uYJ6M53F@?C8fZH&R6eV=bX6S*R;2)6;#h`NMc>RHQ?dxI2Vc2e>^74F zzp-U<+$g`hUD+nw+*(PF7?`}79x?fFPsO*(D^xVjQ=cUn6#j5Yu+;e6fE~PvPVa0) zO(fdVS2S_SWV|S1`Co$^$QwU*#fZWee|yFHgjWy%1oH8K;yIDj|J_kTDg*gAdAUHG z04^X87cUNctBiStsNa0KwNxWeDNbl2~+_9 z;6HCF)-`aP2a)(A%2w7tGUj?EqM@O?SU1`=@F(Zl#$d`=+Huxy%Dbc9}ma2I{u-RK0slX?MxoQlO-5;JrjlYKGK99qBox;eQ6j7eSnj|Yt*bR{ezU6)6 z6UUnP$`~vdr$!%wS5^eo2`B3Z=Astnu}nAI=Dpvn~{22)(!ttrt=(;r>G9r*ggj=$Fwc8Hv5 zeCB2;rO#tLfedywOEz8sAa6IQfS#y4i6aHRVYJR2-*S67MW1$GNZO1Ibr9>+RxyaG zqRb~=Sg-Y7kveApB}UaNfLAa&MCFX!@Ob|F{UFG})QYh&E&6Rung#|DJ9m={bp2R< z9Um)RMdX06CR(S*9&?w1iMpb?p+lS`t?|jqVV1u9*-fvYZExc8e-%Zt+ z7dMPmB83q}e%he1#&k1RL7(}%U7;bZv({S2q2<}+X+t9{p-!bgoxHlxeQ63X4=|3N znC57si<0x(7d)EjUoY2AFzxn+e*K)aQd)RglmdcmN_OVh;c}WFRJrh2y%Y%JN5>qRqWO`KxSY`{c@9bBPGVw<4s}ABED!2 zCBK`zoSP&yQXcy9SQCDH(|iuOM-Xo`7$teG+pT?aNY3%coYnk*ev+mtkGDjFX}I|T z&%O9@sp%D0sXm$^Q)}Njlu7h!=oy7zCMq0u5qK3q*6xS9ulOpLwB&WjY#9E@t5?1) z3$x-E{vo?dk2`zJ-9Wkt1%Kz}*+-Q_%X^5-hkv6psmulrv)o^sunmfG}5U!Cfb6;N!t zj|nr|>#PU2kTzUWeu-< z8G5+X4~vCoDY)m7dYz&T(eEd{-)_hx{_2TwZ1>(1PUUAULmfJ-0?_I~;I7-eTRI0Q?-(KDFPl_z?9+aD%X%vRe<-@d0vtL7aB`S9= znO^a_AK>aJ;ieP^FDDE9a07l{6bq;tG5bD*s-#OEecA#jjyMsv0PP0JZ9pLH$5Z

YHC>xvNzek`c%9b0`&5SYM&AtJ_=q?Ag}HEk$oHI>m)*mUz~Sf`)hV^SYSZ z_&xzeLp1tzsZO1+UFEDYI9wOYz+U)!WD5k2FG3cD)%>akitzT4(GsW^SaqMz!TiE4 zAwQOrEYn6g<#lb-RI7XPYEm1POis*WOb`3cWa)*qGZ5QJG`F!mDqEH_3C}t3Z{ubp z9pzPDLQiPJ2O85`Z5y~?v6%F*={`yTQ>+D6p1FVhiIfmtR#BAL#8w+c*L)auOP*(P z#iQpkOd7005h?ntOA?1i4}*dmHDQ!pq8V0p;^B|s)SiCFiuCH6w{@{x##VgSrGinm z;WFaN6f|%NedM}tdH273H2IQOP*514K%fyew}$n52m=s^&8@>=0AS!_06aWXcXV`P z00JJ&QXQLH!NJmz0m%EG9ccyw5s)mul&m!1H9v@tm!B6X%_AcqB=FGUe=R8}#UuM# zjN#u8d3eiT`?mlf-{1FdUkoebqr4{QK0#PoC|SN;7BvMGb;Q>^{ADSfK7towN`j6Mfm5G&un_>eh@B~SVFc-I|hAo);Y#cQ9EHD zbnhIc&07$AglRikMDso08KXGL#GKo_UaZ|#s`_UzobdeqPKYmC0Xj`Y*UQ+~TRuij hU?+I`uk+^WX6EAN5$^(&Q1S&7yOU}l9nhEl;y-TnOG;0%iYC(V;98Ejf0)9FYtlC zFWz2!@!A!RLdv6_^Y+@I5;50vgmMwb!g;%N-pwecbdKRab@|iVZ{Y^%P!|b*DTuzq zB?3_n;EHQs`j>M)Tl*3Gr4rBHe2Ulp$MW;b+o1fl`sp?Z))mBE6gaT;#Idk#sF1=K<(yU)j)5TCj?{UN#zK@n6eVP*MYyz)62P-0fJmAHhUG{L}7Ld=u$k( zD$XmH)7k6tx_Dv!*y3r8GnU8`s)@6^!_)padkO>u7N|h_?}5MEa1UXBfK~pFV<)|F z8sGfzHNb?wTbRm2)CJK%lF<_2XP;fpJ&b3slf+z-9>C$kIUz`KUc;(@z3|iHff3I` zt`v?5@dVg4_&%o|MS>By8xUfuQp{u-lxu$#C5!)*ddFm&w*(PP%6oqP`RDRFPIlLo z!?KE6Jr{nV>}_!K>N^Ct1)Zc6Yv`xROFRcGp+-iJNQf8>NtB|`1 zh`v0Ulm?^bgb6TzD6XmYwTak)ObQUHSn?9G@l6|1P$s#xKUdve^cYkr1L-0ggO4fv9FLPT=L{58n$Beke%+rHzpj!b3j6_@Lx@ffWQ|S9 zuJ??SKaMssHMKe>ajaPujFmB$An7vOI%$enK2*d&I>SMK8tFk&#aTlmr()UtIk8M@ zWkF@UHwj=0QeNho;o7S>Uj>y0p10c#b})TJRres~Q~V)SKMW7pUs(%7Qs?udiE46P zAO-BM5PLB|t1B)|;!}@i^t__SFoE{DbU(nCaiE>MT7@O+j^=Je2flbY%`~5D&h4h)YW*zCxBDp*JoUOp|5#0s_s+h$9 zk+7n~ZAgQ*ylL!5W6e*M+e{iCK0?YS1QJ-DhGo{{!)0j0v2^m_I=ml`u1;Gw^pDcE z7y11Vr_3ZsjC8aMIYF5hD&{JXnt97?gSQgVwHMeoUYUD`1| zc@juc@<+=zt3c`$3_FcA8A^1q03X+ZT^nlODovosEnC$Lm|S3#@PrvKeG}j1>v@u| z;ZGSi{hIqx_#R^#q?yIQ$*Ol#rws^>wuq+EAcV%7#4>0zguPld8|5T-+H%r4GPFBt zwZPDS%I!~QJDxmCd&fI=B)keVYYET)JPX1(a*614kyhe@4Nt?9>b5wWaqq-?#rc`bcV#iMB!#@>DQ;Vxt5XC` zN+;M0oGR9MB69i=SNm6Htq8hg$dlgG;l??Cih8vld4i1GR={!oJk@z0RhdK@T!{e)7$hV*Fg6wc(KGE7vr9(Wu6G`^r!MH?9 zmsuX}a@WZy_8h{24|RlOG-V2g-R`DLPATc#lexi~Q^Y9W*OYk#)-Fb>svmu?arUEs zx}CS!c&Y1ChYPIDu#vzI+M1a4srFt@uhK2hO}c8g%>rEgRHNzThob0L6Bg&IE4y?p zgGIP%mEHQ&Rc>6gK=h*RMcJY^njC_NiX+J4xw5*nKQ?Tad!)>N3#-TZei)n zj{GDJK8+=eA|}m^d5LpCauWA5)@za}Ts@997ul(AjSXrv2-||qs#ExLB<*s>m zFNymqH+KB3C{W(HXV;4q;b}_pj;M4$HI+=f&f`V1f8nTxik(IA9%{1b9W^Y2yC7a> z<*vnueToOCm-gJ+rM+WF(F>xfskUGOTg3FzvzJK}1&dLQDQz)bG=SRJ3GT&zPgiTJ z{ikYgbzVl{X=XsqZOu8exbYaRrH9)y?zmKqB=Zj#ay6mg{-LE-O1 zqm<2f?UKxfOjB+U2ia7DjvJ@kAdVql@kG73XoP7;2k-64ERS>M9pBdXPIs{r(s6rJ zVXH@)PNfW?&VY;=8gdhbRd(HfAzV|ulW8YLcJCUgb~rY4fpF2ZUx53|5Y)-%VD3K$ z=|35>q&ohtdR`Mesapv+86q3nXal`NZv{4eJ^+2wEnr<-Wdf{^LPGAJ2nV9s#(;Ig zkl<7Kei)>gx0;=m7~BeG9AI&zR3%F<545ookYcZpW+6o@5+5$iqyqMTJH?dDF_|;+ z`(Ptb0%01???)?V9hF&3%_DgH zOOmIL!Q?PIJ&*nP=!oLQZWZJB@PDfgb*{Zm^Fh^M>gsWIh;0VkT|1H@C#!7Thtv;8 z;E{iPI0vZ1RgZw3cIC)_vH3da=a4VZdRgk}0T<8mtoq>VBvF4zFA1In5m@Hx3&;>w zeewhB7CRT5QNWw-tt)d{wGKTPW<%nqce**%rR?>~I?o>Rddk=~ z(^^fik|2SV8K3-^1@qs+`UILrPx3j6WUndrVh`5Xi_PO@kY3hvWOl|lie11xjWWIR zm`BwSOp0Szz(h$;olr*xE@GDCndLPsddJ*zS;Lmfy1eL6HX^7W;|=xo-q|wHUF&gZ zed6yrjIFS_I2B-j!{+M&0?nNQpJ-3xIV4}0 z7>DOQA+?{ty>?EzPB6KYX)ceGDeFe>fOxg6o?=BPVz$VCDd&WgDDyiRC37VdbE+=1vjjE zW~-Q~IKrNIg4LGgXp?519%gYFT6)DvF;ikh65sh(K~(GvHmfqlH+4>8S;r#%R4cx~ zn{HvJF$0gQXOba8j8fq`1h=uaFz2R<{9~$!Z$guQFr~_Ml?7gXTm*Mp6 zqGQ44F*a8ASfy%W-PPZ(8NAiU#S**aVBC3rLY?X#~(j5dycFK0B)lo`<5XSbuP&#~=QY<=QW+mAmf zcULqYwdqZ`g?R>@rd~Bqn+4H$Z(EwoL5^akj9%gazVCSP)z;&PEF37eR8>d-%|Tsxlws? z%6Pfl%zE2+MTy~H|2tH5TT$p?Gg7}7@zDpPPD14UsfqmG=(Iq|-TJ33S$h_>Ke(v1 z(lmh~9aQEHMTdDT-mDT;jUxVH5oFou^lNJ>bxS;;svF+X0M-sH5CF{zT%_%Phquni z+njaSbw*y<^Y2HI1$NfE5!O??R$4Xk6_*2bk9azyu|b{Q5!!B*E(5zom4merDUlSk zp>+9Gwmn+lgP(@})u!uez#ivDDn`}NOhR@uh<-+oNCHb{`QiIDOtyy(?d=_f*VBs1 z*qn8J8;mZ7o89}iF$~(Lwmd#7hDsp9H(7EPPHpZ++G9UT((K&#Ji=!4c=rbQ!Lu=& zJIT#`_5TCUO_Q>-^bVm;12i!?lQA|F1Ti!+HIuMiDSvlkbY|U_bx?7tV(W=2wr!_k zTTg7OV%w_Nwr$(ClL{-=m-oHheS6&QU;W)5XN} zS~~zK0LC`<0Lydn+>s zhtGF_nFGMYUfhg05fYtODChh2z=U&ZT==?Yj5)zVfE?z1e3FIaC9)VH?wsF zd}fss7X1fLM^k;rzj8a6eYycQ#-EW!Hik}rmGrmo6Xw(FsBdQN0B{7lI{uZ*00=NL zbAPb4)OY*L{Rw7kZ}vA0CkHcYlYcUx2G|2l^zDr-fesFzFrV0eb?2XT0{&a|`nI-~ zZh!B#`8(>rIG8y)04PxYoIFd9~2dUCQg?6_W$aZaMb^7g@ComryTUO^#3rLIf$CM z0*&O%91TqY#`>0@efrz3Y;6Rzw=}Z`e(L#mD*-eNj4c1+Q!+I(w6OlG@vQ%V16mvX zEBQ}}{-#c+fBHjCK~;w8e_W}5hsk|P@2KQv`^oG-YWZPf^k0j=Km-MCTmc?54D9Rx z8b(%j00Sc{D}aNE{^$Ra@NXc7f3AP%JKCGM0yICXrf2xO_WyYPxzhd@7!hkj8>7F5 zMbS~;+URq>{>$)}+tA70{!`Y!kNjuN|GEBq(t$u%f1n}k%A$=SSAcoSuT;lsjI6Q`@(FNy>xaZgfkst|Z_^ z4(?B4ik@7gjqh!2R0n=^Iz?Yo&r~BkF6X7UzG$%0s~qf%%PZ&|E5Cr~y{mY(ZJQ*^~2z-)Kf8yFY2$M)ctsd7QuS8GCd*8^m<~xY> zWnel}=fGtS)Jb6B4Kb82x$YkZ+%prgnx~oiBE&0@WW!3AalZt15jh$4DchFns~$@r z98r?e_l2Xoyl1D!^3ljeuBhL#Vuy;7w<>_~8%!7hX1pl9*APEu_BVE~Z=L0*z2P<$ ze={qor#O;T0tgR8?lxPO$5L;mxw+^_JG7=RN|tvwCzXY|Q8cJ|b@ROIUmcS6yuPp9 zQIgL^sqc(2XlNrO{IU~JsdzTYM}9iY7xGqR@mA(mHZ1LC^-J>?H2TpF(gbIY9#HW!98NAUi-k3g`x1=x+1j&fe7tEYPH{vv==RjsAe^*DX z8GX@<3X-De6A(014#1V|txQee!}~loj|uExqu`6)NK-ihoEm%NOUz7;{I?WaO62|3 zEd>Q>#4_gwR{9BHgyye{DGTBtH)&$7>SIP7Gl^!2oefT^Nfw)DHCljqb7M+SV%c*Yd3~i}k=GRD&2FU$!DmuON@D?qS z8v9ff25|!g=OJJxw;0se+e}^G@cv!IC+rww8;6jFrB!KNrxRGf@@Z$W8{>G#g zq(*Quj%6vvixx$PTl`@8%W8!ic^^;S|HI}Nj@e<$8gDF`{@E~-8I2^$u4-RGCf1*= zrc|fX>76^#dk$p${>deX6t9$V+R;uI3a88-P3r9+J6;Z>rXZRWe{+?en=Ia_Ga=99 z-nM4*K3NE@-vp`vafKd>SCt)Ar|@|vC%dj$#&3G|VBg+w8M z-_*cuA~kCifw9gVf8=@2)zv3B?jDZt)nW|Q6>M(#89#fW_qO!J{ntUV&ryS$-T7ILx+D`7ZzMrjmo z4lvTL%95!wkz&!wv>UC`z*ta^j0$hEzjW9auOo*41veuzf8(_{)^(byf12oXAaiv) zQ+h1w=sRN_cCVPpew=60pwE=HC-c4-OfPyZ6ZnN;de^os9^--t2D>SBp^Q%=yhs=hfORL~ju3;%ZNxZqosA<$I;P+?hAW zGD2`4xq8M!e-mV+!46Aeo3o9PM9#lLeL`|LHWS85tyN&gnbGhK@5M> zkMHAaHigs%bCdeBVv;X&0YsuoFP6%kcQi!x1bgC|Jn^r>X>FZaUvWM%~!z z!1(ioe@Bo$&{w>QXG_Lba`kZg{CIS-hVllu8tR`yUNOVc1o_9rZ5evuj#(L=NOz5|hTK#~$fS=3~z3L!w&bw{*R ze~yo(_xCmM9t&B!`!TW(yW1HI68>vqk4QK>TO7tfIi<3IGTsrzEYu#STH6Si+%#j& z19FG|3*5x9u`Pf0ZJTrp<6KC*0f9i`gw}*W)Gpp5w}8Lu;*+Pd;C4C8g%!ePARFsj zq`#Q%5*{#{oreSb=*kXECcec4gv&(7e@|HAuB|+MgARr?yHGw3LEIKkFRrX3(Auli zXFA*^AHK!@NHBF*IdTb>wXq6Qe+2(4{dmsc%^diZOmh6HNN{yF;VBW__$v2oNl$#c z3a=(;-zx5_zdmG$sWncf%;N8pWiPw)D)HPnP|f75MVy0y;AJBxDVHBD6TNGje^ofl z23?0xL)@t8*20L7%!3jf_ek!7^Ld~q4%$)1rfA#Y*dPmBaRoeTgUS6+hCN_UBf8zB)H!Ga< zD~9M0{i4ANIcm~zDVA77ljWqFQNW>ytp5_1kXWDPOewe=_;WeGOWh+^b_Kk=I0)wS>=!RF>28&uew)2n5~&8Bn&Q zxe~R<>U{&&SMQ+A*{BVfGv3iQII1`C3r5)h28lb5F6VM?B=z6Q#?M2BOG?Q1{9AW8 z3N7VVbh^GG5_`o!aXi!Kaz*}jlUoAB5G(7bS?hBwbRJK~2%*lQf5q{iPJ4Px(G)!O zy)h6eD>20uRxdEOI@yAC4f6LtWqn@}pp18tdeg;15`y;c9E#ns4puR?ZP%kG=gz6L zyk+^v32(h`BZRYABxkx!PwH!xgwm5dW?WRXn^BYcrU$vB-b?b4>}QrMuh5B-Cf-5g zS%os6u0YFR&vId_f9>4IsZ>T)cQYGWo%=_B`)WLF!UkGwi)lO`D4-9ylH>0Tm(OtnC74}I&mDJj}S zlBAOViKbh>nKemgP)NgTF$ziWXY$2ejcrr>Kq0z%qgQ|3e>JfFv|N^2xYn>>G(H@i zYwq+Q*)(}xF0S{YswNMyreJifPUtL<2s7NMPa5059$tpj3!+1VYiDHaPap0P_6av- z6Mp^eY97Rl@eqfh`RS={=t=x z@TFN4Cwxi^e`IPKRW~FY*OH_>_{w5L?}Rf zTX*#!0A(M0^xTr<hzTkd znx~9ace+)D?Ajc9dnUJQDJz;IBd}Za4DnLjMmu7a#G7yqJ}=k0HUS(8;7`~GEI^dS zK7BlEf1j7syJ-{svq2`h+GK7FvgG~)B1jLDEkPOTT~Z+-lxd(pSVzjg@v$RUy^0I)a`@}B>~4!X_@A)Cw~I1Ze`K+u%T0&wB%dx~3sK8X4%r8Jsuuy2=dU#cbRM6(#sWaRIR zfBKCCqh^=rBbg{%qpL`+u`7UkWQtrpc^7wWgpk)((_eUFs-~uUwxs-X&Ro>=jTAV} ztp^*j#1K&)TiQ#D1X3=JrzQ9R)aK$NhOK!IY(~fUED7bDcP=>P{*v7HbPxV~#b`Dg zhd85*8qU8J>d2-kMAlo4j^6`Qtb@W7f9v@M@B{o1PEDxRG)oHP-X06*3Iz9Vh|o0E zC{ho0e{QI`rp6Wug$@Y*?TfKo8q<$(!8o-I`Ce& zPT7ak8rxzrvH}-CI7iqJ`d3s+l(cl2sMFM>zL4*koF|a7uYqDIqLL%<&wVLif3ThU z`kJ-8(Fw`pWKe&jlcQtO?JgDdXY;CsXVlW}bCGV;d2 z3wG`<*sW@ZjZgW8ly?mB)Ninmf9u{~l&SZS*0H^Pxu+DzeCh=IEG%?4f1aI1?w)`X z1h&4hVrdmM@Nq8gS*5J+OG%a~rz+QF9cDkkzR)qTWA(Z&nvEoE1h<{*m-A^~q5NP` z4L#4LbiLFH3T^g+;fVRG%k|Rzl=+{o_z$g-_sFyvt1p{~!DMfqAOzi5e-kQH#V10S z-L%Uc*jH)&$Jrgg?i1}_ejs%;4yNacp?3Ehk=n^8m-oCr1^C?@RoVp+ih_7a5hS?c z=9d*oK3ZNCJw<`}`)i%QZj!vD>)~7A%hAzP!;!J5vL8>= z%nU6Fi=p&=O3aKT!Gq;290yBEv271e`vIW$8!)!!DTm5oqnALuf0v$eX=A|c-Vf5o zR5u+KnFk9F=W$sbYU?H-Q<~eu;7~D!-K0!P0#A)jjQ9qXd)n)pnHs5-Rno|T$kY%1 zQ(!s?j88~suEkvu>AMP;HY#!(9~&Fz@1d~n$<$b$EB=L?SVW!jpx@f7mSZfgh~ud-G>V{#3)E<~^=SKVH@$xo@h3;E5$$t&_m84ZYWk zuXu(?osMcCza*g-*&2!^+`Det5*3ONRnL4yG?rMg;J>0qkd$8YEZe;c8FuES~<<}}mW-zXDZ5D#A$88GVWGsMbxHYoHFOUHevuGNz zljU_mu!O5Oe`+0>pJ30dw03l}`>n`>5mc5=Cbp3hNrRbYYt+y7#KN!+_VhD8L>s-x za;Sn9jG?G0OAQQZscpSJ`5aE<6VrPL7X@o?eHXGLyr87GPE$vUcSGM-a*6K-_I&do zPs+pZDF*%l=F@8e@b)~JuH=;n;lYbiQk4AN;A0f z{+(q&1@tMk0l63wG3{&Hz_)c|+?=wq^#YT&4DvBvjbr9Xh2l;29~09i!h-h9db^DW zUdKsF3;?i8wj33+ZVmsMbey0KKm#~E z8b<}te-bNUq2Aar)-+ikL^#-P2D;)=3}B3n@I-$eTg|`m)}uOXY9-$16nsDMyAL|! z#xpxQ_8RhBZ_yfp-u5XNTc0JmWW*325(=Le`L30XHH>i2onb9l3bAD1Z5XshxXQ0> zyzh_;%w3vUHedrEY)XE$Z9UyW7B}i^TUaZ6e}Xz}OQry}Fj5jIp58A;7HHR4(zV#E z#A)X5a#bi=xfpc@F#``)_SpL;n{5*se#uHS@(CSEWHc%@-&ccRRU1(S+8atk* zC7LheDoB{Bb-G)cT5y$gEX?~@)J*Io{UUIZ&tWeJIuhj9QBi`!MsKAnzjN}mJXBDO ze|&@9x?IW0>oBM$pg$VT~ zQ#QA(3NmhEOG2$@=Y&{Q$n-7qz=0+{g=SR8OzuRfbzo-n_^pp-Ng>MS8;JhiEbnm%qLzh7Fne`~Q6vA)tab*GI>+jQY` zIj3Eg$h19B%02cAwJ~qb>>CGzmXCz{WiS+knh3L^Ed~V7BDZTNRdelUp@~LRK=M&U z-@7#FUzY^KH(R2RkM-AHhR$&Pd*q1$je+2Ma zSfR)HT0^>Fvzq0}l!U5Gl()9pIKjZ^5EPTL$+A~ZC-G;eGS8;_a3$-7x77Z?nAP-; z)eXdhs_t5QT1*vqZpro7rN=7sk;{oI0v~&-=Hd@gVp?~ik48dimaTmkRq4`{?Oy4v z^Ed1AXQkGu+ald!1ubUg!Y_a)f080fLNlzFmlKUM*|(5Q-0p2P_OQF{Q!}3$og#0m z>s$L0LFthV!1~*58=PBNIwaw5HEzw{(IziLbJ(d|_`283o1%oJ8v4C1-a8&~}JMV5tRPnzMf0`Y_Nq4DP z8kg61>L_7BIvA2G=>S{NC_=%~>-B-!pPniHp4Mhi$G(XQn9I1}1 zs=MBw<~K+upUefRDW48cIsn|+pDwQ80}D22JSk9^?DJxyWlXd2CDxcKyyj$j-UGVa zLyW9wM<;m9`6|T3YMyS&e|LGn6ATXXfT)Jrh;_G^$kk_ z8_y>dY$I;#cCdPc}x%iOeihmvqz&`t1j;}eX@eafvH4(RL3Wo}n zPW9}tA~s?O_2}*_I>uV=?^XT@-AeKhG}bY+7n9ROWV}qp#=}0+f6Nh~K0i}=Zx(On zc2dTV)KaOhh9@b&-E~F4v~h%EXQ#|G3f4sx=U8?s%%RGzXvY*%(uvtS1lx~;TK-}y zU%?lL*%pXTv**+q{>3{Mn0~8?@fEF&I&Wl8K1C-e6DjyetT|;fd560Et!4^$aXZ=S zk2-xP@i&NHA)`6)e>fEDBPKVH!1n`u-_w?ous=exJm(`YI?OWowi!Wx#%A2$kmk(ZRC9 zcrsd*I2zr&wD@>fb1n82=MC5D7p)w1UF&xmqM1&&9D5a6e`?lQ{()624!-Gmf*;;& zmcjS*17%y(`|_dj=z>BV7}6i4wDC+gY1h|swUI&c3(W(`MLSLnV(aVc)CttttM5*& z_%huQs!CR|3QdwPj@KMY&3=sz>iHyS_@jxfJ`S?mD)-~HwUG!~%?rscXpd{X-!sr2$h2Kh1oCx>vy;7BADrQlyjt`f_BWjq1}`LFyqgi8=^H~9LY#39QtMSz zwhfIwM9gg1)M%FB%>4v>cDwV{pDBOu)ZZj;kDxIQf9Km=j@^YWliDLbNNyf$apAv( zV#=E#0Z;wm^HUGtF%pl_Ov7^G80`seiW^f`P`@ic@8k+uxy)tm(E5f=d6DHQ1M$_b zuoTo)XZEwQz_uQ^r{;~rVQpUre{iZt<`6U^$Ybo8=xH(qP%6YQ3CCO-H>r2PaC#P( zrqP~ve_A*Jn|AAwDRxVfK*`xg`G2>TQch3_s|x#M+uyi?&_&pr(ezL$%JI5J6hYst zl$^kvLM%uHsPId&y-0ZOxG*5aBejG?!kwgP(r`PYTAFvk&CKN1MTGrPaNZ#N<(#zI zC(K!2&o*Q6kkhW@Ai6QCt+bt`0Hd!HVYc!oe>J)+S?0|GNpv(mb5c{iUEvMC;C7ws z$A0XMR0gCHRaOcUA!@&2!sc4G@I0>p54#$MSM2)Hwp8x!^VS4k0gQN`kGVFbY4*}) z12@Q7SrEo=(T|d}o~H8sOjUDU9Jmgqkfg<&{ ze?;$d54v@Eh4yZ)tE|q#(`oc;V!s?n5ly?S!EJH)qeuiBBUKpepl?j%S_=-N7lUc? zPNr>1dr_T617n$gn5;oIGM`o6F3$~rHe)*?Pq3@wj)wKa@+PBe1-LlKlX!xd?^ixK zVIC7A^bX?XXMXM4Nr?E)9{_!&N*fJ3f795eVI0#N2&S@(w_?~Xw+wf}Vji)CERB>5 ziFtW_sz!b4VRXW>N6pn)<*{B0d^XaSuZ7m5KdV9#xO!b+a3~&d8uDifU2&1}2n4sf znnMZx*9mD@0Mi`&vHdtK3yBvg&ZzAbZD%T7ffe{Di+ z$3ua@T3h>_u{4%*Qz*JHxqn*<2B)FXu^RrygVtGBRrv~Q?>gniq^PecE6oyb%*BnK zVnU722*NL-xLe18^a;vAVg#rrwqrzs&aXLsJdcUFXjrwLJ~NCH-|2=B`xf?`lG)q} zUpLS(o%>@Q+PLD111a*?PdFAYe~f*HiY&kG(vbjA7- z65s698*yuDmGu4Uod^eE-*~rZGett^yvp9dUl(V_D@jb1P1)KWzuog`f2agJbjNFx z$A+!Jm@%GExKWP-Knt@sb$&d*1*>Z@hWY-+88f+!G#k>BT9km`n~nE56e{F2la7w; zmu*#n64KC53b+HCGEf$ncoG~wuk=Uqqnxm<#DEw4sTR(=-d9rnJcp~-0K9AWaC{SH zXxbY2UQD}qB*!h!RTIx#e*#L9BaX&9;bpJrSKPVf<~Rl%4O<9GANkpSSS$?Zj#aUN z!;jwgMFs{EASZ|V5l<`-AWr+*%tNtZF2@4@ngrGAhVT*ASCU z;G2xyE}15rymipEw6C#H{}QPnk3ri4ZC_e3T!ctT%Ik7gj&zv`3)dFoMhdHgeWRnlrcBomb@JOF0+hWyYNinKgMmK4&+a}5P8<3X}lHIp4n%X)l zUlE0I*RM(%YiG_YD@DAw6u)*mi$`-^*4$g6JYeP441eI+SR_C9UJmkXm6(McOSibG zu$^z+gkYogp_`4)f2cskqD=U*vjhEhU`B+?Hif|7rdcP(!J-~x`3e!L=jRc8+K&u- zgH?jEvk6);D=FRI!@S}Z7bw#;PcqkMQ7Ze zlHE(04oiJUqUFG@Xm~vswvt)o6Ta?;gjLux?lYTfzDMS*e@4eMF|8@YK&oD0eh|5U zrhXS2S&I?}8-uoiVfV@FiRzc*;Zx3I6L!3w@3eO*5j6O+$!CLKg*x68gUyYrR0L5e zL>MiH->_CKSWW#NBScrU60XP>x`sfEd5SB5E&JuW*9Z8wKha_K{Zs{9s8SJxY}D8G z^A;8f0<@lwf3*X`p@)mbF%_G!IXz&+Rf;(lcoUx5*9r%ABS#FrsIC)QuFNQ5=qHal z5~o#-sM{=Yve0cKQCs`7QCKD+k_<_!uRGk;Tf7*r&rWFxZ|)plB7+ZB6rh(m ztJo?z+FN8QpjgM&=*rzlC&A>or2XdgFm+rohZw8we;PHlqST8-IGzG#RP`q@PHPvu zqt)wF!dh8LvTDOU)s~S6tz#VBo#O65Dku=80F$yxGHLxlAcFR5*nI=JE!U?8sug&a{M;BgH-u`yVv3lx z$&G1Me>#E)V#hY^v?D~W-B{4TghTIw84OmpZ9A8kJ7j1(`m6Y~n>j8{lreA<6}=i` zUKuThL)&;vR)~4Isq!hYynM%_26C#&Af(TFXCw7z{cfY4U|0xW>eFn+UJ@L>!S0&2 zWj>MyScI)sfF;45YfPL57A5s6&f7A9J6$h=e|YxIZSNnqXCMLS1Es31io+q<+f^H; z?H7;YAko&6#j71-)>X1H^BhZkim`h;l7=a9M(&@ki3ucIzu5$}SLH8yH9Q`VPRaTD)XHW;CH50MDS!BUvx5>2bD#agAc$ol zNTi{$-2ZZB-g(5O^Hm5Y?%`ezD+TsZe(8>%@7>Qf!Gaj!^>uX#8&$j)rJ{<~ zxmte)&K%X7!rBs7&P|{Dlo4&$H$q#YGSjh%;FqXFC?Kn(I|Ogw1qglAeK~iDrqZRN zl$sOYh_|!zs$GsUDY9|AM@gdirr+Bf3%T> zbDv}R5#U@hQHX8DQat7)Y4VNn0%H>*62&-fqL9Hzna5r#5Xq!` zkI~g-(yoG5-&z8GRfe?MUME%z&~rk3V@e1EExz?86I(kqiRdWZD}`;cNmatKH8ha6v6Z{!cRUEosK<;xQl&Ka>b==D^3-=ORm%7kO!e{gG1hME9* z2DUJ3PSv-CwaITKPt&hiNa|X0hQ~IEC$(A;XlV8gm)Az2`kT>H+60^ zlOs3FFRl)27Azc9zM3`xS$C`4gco&YDmpUBTopy+BI~AT3&WYa65sm@7q(9OPAGRb8E5 zD|5@CJlXuvxSEdTf8!LbNRvl8Xi`SQ+0Q(-_5II&OfVd+jp#Lw0-DqyKbCX#tlfON zHnc?DueKhBS@Ez8Epcm0?sfe^4ip&SS=7)rjef{PhKHg^Q;GIx9?Zy=h!8D*(B{4O_OvY;1;^R-bvbf0bk`v8diiY;BBfqnHvd zL|_}A77@v3j&M`Cr)X?pRHwz@`Ta`Ew<8!%Q`$oA9l>`o^1Lc4q7jMA%mvaft~f+{ zrA~(7K;ZtH9NP)4gjU7SMfv z-Z;S^*c(Q}So0N+LtQl_X}cWYHu$v@WkTZR(wOLyaZ}+0%ICcK__p^kbIH@hAM=X{ zU$bfnfBB;5OOs9R*wZGvA`J*WGo?nzAWAjw!G^6_YtptywJbQ=n6_agQ3=Zh#y%8t zdT_@Sta!BNV&JZB1u{CjePGjQw4)N(*w;vZiM6P)KRmTn8F1pLIeoBp$R)ub^P=5J zVf_ncr)carH)1Qw16C+7tpr6^()_|Lqk*TFe@r!>7!PIO%;{AN@n+C_(B?u%&MCXTh*caqvJ!*cwp`E=Ge}y$g2Gq!oOPAMncZO!4?O) zfy9<7EF7vFeAuu2#*KD>%qx5Zs%K^XrwL~RHnGb{&ykRQ$+Kn1^=)(gv@uciiv zx5YL?zO5xX;yFyt!>AU{1xnIh2(phQ7@yS!%RN-Y!_X`@6^|mZo?mvWJR%3~e>A&s zxL;{s8oH@tLQz;Kc(qO@3D`w*WrQbQ(0D->pqr>2RI_fr)b!PFJRo1J0qeq)G-W0n zud}?!wKp)~);WaMjfgFb06x_n%}2a-bjYcHy1;$PNgV6-P+@YW96ceS$j12C(m9`O zkFpX7jH|}HhM*ouMRjYd3LJ-je+>c{zi7IQR0g~3^OP8Z#uYFc|A|kIR?j01ug&zn zZ*V}QH;Xjujg}&qj@+0NfM~>~&*$lrFz?4HtT+6T?UNtXn)0Dq3BkA$z~(D*Gyqc> zGX=9Hy=EL%E&)d&0B-Py`x^;T=pU81>w8m_rI&)k5m=u2*x}garL~cme`^9spzZ2> z0;pf^UKW|!NYm3esI#xjJ8Zzj@s;#RVgDgF~~_=MVN z`ctMgjD;3vwk9gDuuTiYe+15Jzbe^UW%(&7GLRO4_0gwXNYEinV1vR&yHy4_DI-?Tg%xk|2vxDF0L~nKFd|h|-K99K z+`_AiD|zsf&6@+Uac%)f7hvTcJ>rMBr{|L zzKekr^gv$6-WDOI)aE>j$EVAl-r$*j0UL%meMQn?t$Y?cG-@tW)W@+RGV1LAwU;=X zhzJadkJ{@tD6i%!pJzmVc6*jiI+l&g3h(s&&hH7R7XSZnVkl4|wI}{!c zyzhD}GQ%SiX+)4XIWjPeQI}B;6@F;tc6M#r?E%Fw2ktO?2KPn$M3|@O{l8;>i;T>f z?Xfj%DpXdkgP?2A-y^Qme(m%ag3P}Z)l^~|fv9KCIC())f1tYbFfq^HrEj%qHw#_n zB1m7lyn2i>dGJisi4f^E?y@aR+>ux%xcPz94e>%j#D}6Trkz06jCMQ^`e9qhj>1_C zzl9LNX2-9COF&XyFS{)n6111oZP+M1khal>e5u0Ski~hR5V=vOlmjA1P<_}D-VW&p z@6^%xx(GrBfA3qn7A`qmKApwmcO$&x;?`Gf_Mzd!r582dZyH-0{1VxRiXZ}<1DQ8n zpdT;fqFX3jjerR&y(HBNS*uABIQJPt29aOEr;$3DFu~axRoKZhlLRt-inS26 zY2LYHK6rk0%Ep)Q8Y$BeST-6$-2I~6s+oK~1zPn*e?WbW19M$H=9ISv*=8awFcj+8 zM4^-c^a<4H2WJ>0C6xl*P`?}c0Z90hSJF@pkO)W2-i!8Ai$MH{4sRR;Q8Df4hRDtX)+t z%@Ub2!)T-z?`NHcgpW=Ryj^!6r@tYO0G< z;z4Z5n|~@Cz$PcE=KRF1m813>!t>XYu@1n0M|KkGRbA<(0G)+uRD^(WJC_~qPxkk{ zgd%5zaH#L2@x+M7;o2vv&aY?EU8A@{wyumPgLMJ?CL>4vTW=&H;wMxXNlz4p)edq> z%7-ReJ)RCYzmRSBVg;B#)*@Ur?P)xd%Jl2g*?))ZLcy)IB5h<0VUfJU&3?khaz3`m z2YTKlP12EHOrFm_nlpS$P!o6meX+lJOb;Ps#JM2s_r)=vrDshLQaJU4u=c4QR<@D@X>YE3qq#IJV@Uz9X z1iny#nqt1F1(VoEymnEXnryb($5TseHh(0z3I~3x&wyV%pfwW0iP}Jx(1~=|LFIQ0 z`~l1M55^Y@x)6&z?gNX^0Au_}G5F|7ySF#o9!>5O3a`18UmWV$;7$<^19OWnI@}_5 z;DXSEprVRuhUs7Q3sQY-3<8G0kK`TTNp0fxfV7j#3m@!#49<*~g2X78E99~cKY#Rz zpt4vTdFR&7i-@;6G?q5IJ5h{8y^9VZAiA4^_HV)7tj?7hvup*&v zyhn5On$r|`&tAmQ$8mEt;jxp{?7UE4&a-Rz0l)k0+lB+XC=cs-RX6JYIN=Ot+X52a z*xKfd2>e_gTX;gwYLJ(Qf7jY;lX>iMje+syd1N(q8wb||L$$;;1uonD9J0)89W(<#hmGBDVECG6cG2dAEsK;W z6V~Nqujj!HqRR}69THuyd7_$?)R*MgtA=|waj)6+2MYaUi>9U=EPa;~{4sWe%`YH* zqqk+2)sRu44t@=mVRH4vevdnRfq) zhtQT2re~jtMr9MS^Sm^>$$gwZbLVm2tP=iXsY5wezV+=!FIby!ud>&tvp$muYIMw! zK^O*gEeIi)CDCOW3%!Y!3`$3~D!WE4MYnJI?Cn@)is)@+fFA>709LagqhOsmMz zPMffhIdjrfvVWGqUXy&2bIBX8>X@553DCz$|WSN&*!l);jw` zxuB=E{reoEjUR6K>FoE>Zjj`|y2qb%bI^0mBD2if$&Ej`-6!7KYw{)s|saqWS4~o0S~hrmeypG+WicdrwjoX z0Wp`q3;`$zFgY|R1-xM7n;OG2_5w$QA)-H z`eL0B=uKrxQlhj*7$jyA%qb`}>uqlK==qPSA@n30m>%6JCykjjH4#AUv`0@(UCyf9 z)WFi-I5hnt+b$o;RfN=;j@~Q9NGjR;RA2YNOa=3C9UT7QgI!?{tdh-5e?s?ULL~NJ z6(F@$#O|sp0^qJH5VgMx8rv!uq$gFGpP7bS0qEU5LeI@(L$2Gko@B%18Xf*Rd=|(9 zYIC>&pXZTZ#Zg4wuK)jXe=nc$vU%;;H@$!1y6#;mF5g4+y+y@abi7?_(SeWtB!vs| zi8yuj6zUR3Kws)hjpN#Of9y&ei}fUOeP~0s_WV5IS8Gd!br`2o-%i~)EJfd8 zI{R3%C~_S!cN4Ib(5ZZh1JPjG(&Lt%hhj$|HR-JI)U~Y@q~|GMzlwdC`gwjuw4(zQ zEfq_XFX(YEi@oHcoZrVW*pA&A+{+tB!T8wOl!1iG%dXr!Jkq#Bf5M~_FZPJq%PZr; zK|03BMyv!^_=jTi)<)#*`gOF|m$!Y9L)fk>qlFUfoS$7S*3dPTbWUg;GH|?vFPsuD z;nz<5e9Z$V<<5rfi(R|*1|2VKbvY?-os>H-XiMw7tz))xydK)$SAIR5kNVho-m#U( zVRuo&E-n&HOa*sMf1Ovwv?(i>8Xje1==r*Ta&dU@?riV;90LKmM%kby(v8`+Ip+qC zQnG<@!vwr1q#}isbF0oV<%AhK+4K)n42HIWtN8o-O*Sg>t;t|yuzA*)@fQ%FN5A^v zQsC@iR$;dJ8y!^HgL&W7?02{LUI7!i2vgdhu{k>Wc5?acf8E9D<)^Y47Wu)(t{E3k zlVb3Gv%w(=W*m}yB)?#ls5sED0BUZTV0;mPUc(UJ}a0H{NQ z6ug+nu-7~W4Me!#LM&;JE@>cihXy(hoH>=D1Y2|)WY`5E_UIpU-^y`BPv|K~asiUu zcu{WYZ2|ueD9?}%e@usF0y_Oe@4Qx%Vq&adQ+&r8f0^6H)hb+-PEA#meR^-@tVdZr z1W}vsB?$XKzoWSHUsIJ!3hS3Be71GG|M$_mqhfqBs}D;MxZBC30I`x3SEyB@1EYz z%Er_Me=a$9#<^ypV1m6wu#3-^$Dh80f}NVdtm_Cu?@CAv@82m~5=<=%mV|=Iq(d+n z>V>j~A-Ruw)p=3mMU~ISP;bC_>N}b>AmB|_(VHsEjrA~Fa~_7(JJZZ>L)~@cG%rWx z1b)Zk4CL>ZqY)Tc-35z=n)_KcqUJFlWn=5}f4D#8tb#2XR3-x?%icetBU9I50F?0i zd=N}Wv)aW09EA>BZ63g2T|6#gV^|sEBV;z|gGc0LWnkm&wyy_W{xt^oZd6f`kT-Fp|Xn6g#FTkO0}E?3`W@%|a)EgLTum@>`rV55bTuEKdD5ybE1HGVLk!Q$Ws9)A^m zJb3MwYi3XCmAKu>;4xVadTwU$ef&Rxu}F=Vfd&B+0XLVw6agTAGdNueFH>oHWgs&+ z3NKe6TQMLrATeDEFH&!BbRaV|ATS_O3NJ}+W^W)fHXtw{QVK6gL?Bx{L^m`+IWRay zGcq|dL`5}2Lo+!uL^VP`i8psLru1&B(0G*i6jS ze(<5pjZYin~LmyR}PJHf2dhrMN&JFAeWo~41baG{3ZI>t( S0TK*0HZU= $2,500,000 then $2,500,000 else wealth + # Here, "wealth" refers to the state "after_charity_decuctions" + + assertion wealth > $0 + # Outside of the definition of "wealth", "wealth" always refer to the final + # state of the variable, here "after_capping". + +``` + ## Catala values So far, this tutorial has introduced you to the basic structure of Catala