From 3567b1efe7fc49c3261c0c04fcd1c39a447b35d2 Mon Sep 17 00:00:00 2001 From: LaNymphtaline <80621927+LaNymphtaline@users.noreply.github.com> Date: Sat, 24 Apr 2021 22:18:24 +0200 Subject: [PATCH] =?UTF-8?q?R=C3=A9cits=20d'utilisation=20:=20expressions?= =?UTF-8?q?=20(arithm=C3=A9tiques,=20cha=C3=AEnes,=20logiques)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Récits d'utilisation : . expressions arithmétiques . expressions sur chaînes . expressions logiques sur entiers . expressions logiques sur chaînes --- .../userStoryExpressionArithmetique.pdf | Bin 0 -> 35376 bytes .../userStoryExpressionArithmetique.tex | 38 +++++++++++++++++ .../userStoryExpressionLogique.pdf | Bin 0 -> 34728 bytes .../userStoryExpressionLogique.tex | 39 +++++++++++++++++ .../userStoryExpressionLogiqueSurChaine.pdf | Bin 0 -> 35420 bytes .../userStoryExpressionLogiqueSurChaine.tex | 40 ++++++++++++++++++ .../userStoryExpressionSurChaine.pdf | Bin 0 -> 33720 bytes .../userStoryExpressionSurChaine.tex | 31 ++++++++++++++ 8 files changed, 148 insertions(+) create mode 100644 documents/casUtilisation/userStories/userStoryExpressionArithmetique.pdf create mode 100644 documents/casUtilisation/userStories/userStoryExpressionArithmetique.tex create mode 100644 documents/casUtilisation/userStories/userStoryExpressionLogique.pdf create mode 100644 documents/casUtilisation/userStories/userStoryExpressionLogique.tex create mode 100644 documents/casUtilisation/userStories/userStoryExpressionLogiqueSurChaine.pdf create mode 100644 documents/casUtilisation/userStories/userStoryExpressionLogiqueSurChaine.tex create mode 100644 documents/casUtilisation/userStories/userStoryExpressionSurChaine.pdf create mode 100644 documents/casUtilisation/userStories/userStoryExpressionSurChaine.tex diff --git a/documents/casUtilisation/userStories/userStoryExpressionArithmetique.pdf b/documents/casUtilisation/userStories/userStoryExpressionArithmetique.pdf new file mode 100644 index 0000000000000000000000000000000000000000..25a57ab0cf989b9b52a1b1179e1ceccf5ce050e8 GIT binary patch literal 35376 zcmdSCcUV(Rw>}(t?_Cf=?~no{^e!C{5RjtuE*%5}=|zfEDGExJVgVFHP>|jP1q4Kt zDk>l-O`1r4I~0A6PtJMqeCMA}uH@R8%Anp3>6V4=I$SAA0>u^ zAz*iFXJQ!{Vo_~7HwPa_uow~wKKMs0ddkVw$Ic5Zddk(x$4LRiKSfarTw|5ZAXFmje;CSgm{Hdu~W@b+m!dc@KYU>GU&gvQVzxuX1-9+vR zMqIw+;9xJgGj>rfq++aqy2y#y$R{MuC`I!uo@X)B9$=UxUnfX38)GCRMld1ieqz&Fg9_$e**NXSb3 z)7ix8M|<0pxc)yL-f#&*x;N!e(VIVe9h7E5t?`a#1tGifB};wNynp$w;s>L5%|#29 z;tVr4lCEkAG0gZGq<;Kv=oS62t8)6WDR*qLyTi`>C*BeYf=Bgt?*&Lz@pLJ_f6x!B zc*U(ewqyQ8SM9?OhkC9=gD0Io4UL3XJ5E}NvC_7UB>m|0po{9g<>eL_(sD0NBXQfr zx(Po^YyRrTP2+^TE9X7?@r+Wbdz(_bvb{WzPeOe3j2%yN54T#jzC4}Z7V)B8di?oy z0UyF--}MdT*!kOijrSha@?6v|T)QE)JjP2N8@!G++}t?Eg6){aPgI;q-GHYy)C}c% zx^g{7ZH9zJN1KgEiBo<2;p-Q><2QDT6_A~8Gmx`a+0&>`Br2?lXWd*%-Ak-vzTgp- z=Ex=t(bZ@@8)l}lrE$*i`CH$csA*%m6k-2K635THO@Qd|UvkN}H8B}K$x zNDE@%HeNt`Fk-(ppkjy5L$^NC&r`rNz%nv`Ho}l#F?2=rr6gGV=u!eKv406P7uEA} zw=uBu0h<9mR5=9}HMH~h0b8Jz_vp^(ejMHUQ1vAwk;hj3V8f?gfa)*)q+3*>Qz8s~ z<)hKT591$J<+r5T0Jp|qC$oP3=1rkTbx|sjaGL(o<;x^NaudN@%`i>Z$z^#rtG3hrbiOFQ_g$s@+%t`Lxstb+>|klkF+X2@Ky(dq>BrsSqqXl& zRX#&pwzaF_@ODqHOQwNQUh>tKk=0EbZM_K|M}af*_^W#1eh7-tmupf>?`cE@H5JUH z5sPQ9>yBKISx!&Ol~wM@W`Bb_{2bR;Td$ZwUM}GErst2MHBw3Ln64SHcgklx@A)bv z`9KCC+A})0#)zJuhuqq)@Mb45a(3)0mq`rP3iUNklH`zsR+lwV>Y_`Qo{YNb@W zS3k2CK6V(ZO8986SDUIP;co;}pPY2+d!^1dI70}gbBYX6f1_elz;{Eu%HWQshi96q zB4u!{Z%uD~koXs}R#)z^$D1J(uf-;l{a=Ksn%ml)sU>lfT&`62{L=aZi^A%T{__uQ zN(zg&X*vm(n?i{-EMszPuMcvQcoQU@B$y*+x4Z=ReinR1)F2|Bh@PCm(IRqiDXmI$ zYh%h~jh3WZ`irbAh&H@)(Q`dGUBEQ?>Vtc@wN#?#YCcVGYeXyLjzOR;7NWWy6c#e{ zwWT8V><&%*BhMNKSfsP_x!I_O60dxZ2J^KUR!mTh5_g<@oIssJ7IenYDAt^N85Cdc ziY$kCT?%>jgG7qFDe&KGTJj$Y0pps6qL<2lS=7jbg8${BMz=m%dH=_Y`k(v7;i85~ z9RED??XS{oQ=r73A~F-wwhF?Ai{@!OX;`a|TEjIUG(8vVk(Uu3=VwhHRJ9b8_$+L! zn6UPxw#qEBb}R1fE{fc9EuxkG?5yK+9z;oY;ms3l{W|_81FljN=9AL}&8y+>abM7| z+PuvfeEnffI3xZMXL*(Rpq_9+$}%h`Os{T8Z#kJL!$DoM-hgb zvcA6>e*LZ5JGHlJPgdhvx7e&{Rcg1Qv|$&dNjllpxfQQDXP+I+>9Xl#CMOH`zt|y4 zA$ZOS3!8pj3;KGT2Nu|Um){aBu1$n@|zRxEw ztnq4Z+fZSUA_k}h`zt9nYqmiE)hv_6{WORe?Im$EeMnDXZE4ZWiYpsHX{9JjED%@| zP%Wd$W|ef=BmrgeG`!M#YfM)vP2hGvw6WNuqBgg-EkT~@Fl79e)F z^QNgtEnFwGsOOVI>Bobml0|LDUTT}}1b-7ZuDBePQD;;gWgUDTX1$6>Cmwg7rVB|VVZ z*xtLrkl@~N4K=t&X}^%26U@shi9f`OeKN6cKr1(bB!?2dNqM$Y`D zd_|Pq177JY&4Vp1<2vSpBo#NpvQbwkH=^T$GvqFvy&VzSD#ylUp`KlJ?#ahJl{4Db zt(qw&S!7rJyKBGvROc|&IhUHXV)XENp?`-0jw2S%6zOcKU8%#ezL=FG4yP9OvoHqd z8!W!@nb*Z$r;=;(WK?}TH@)&LcdwPZTVJf7Sc*8OmTr={9 zdrrWI{Z2;M{ZhrXtdVs*`yw3y4Dvw(%74iRacp(_EgwRIERskhLx10cNIu+n#%9`Z zBYNxN3?;PH#_$n%SY{!VtQ=EttLMd7Lk-WFFf?Q zIX)@M#HhhQ%M72!iFBM`5BMs*I?ZOMj}A zhD`wm*@xngiWwQbe&JI8D!QP+#y?o`#Se-boX<1+MAvE)2k>1AZ_Hk!C#p6ymCktB zQ9o4cL-+Ur_W<2>)d7w>WWgY712Yi};z7gpKg0utiyd1$aM&Aor5;2NctQ0bFg?g4 zLv`q^z${D*ml#`Bh#l5lXRdq8d}o?CI@)}PRl!Om`1FOS)Pg}nk>C=L172QfypovS zX`#%L_;42G;8s*LiXe0ui*Q6fS<5oCnShi)A$bL4gX4_@$C1Wi#$k&fjlfgJ(o20Y zoFIi=!M@46hBy7g8% zQnI>r+0YsDom-8>+^WT8<~zDrFNqb-Fhn`#-7yh4&44Evy%UWhLs5XHaVYPFfHRvw z5fqH%q2Lc#9r&N{?eYEaCGh3&nea)XvGcex@A4Xh89z_dHa9ol{TPOHG z8~aD&0$C|*;VI)p(JDVs5&@HiM^j#%H5cJME%MU?d|PW0M>}vwAf5L59j|$5Jft9_ z*ZfmH6=ng(Hm`tszAoqxVhFJ-4+;Z6X2Ch^E9V#llA`)|o#POIaism;q(Hh+k6xOacLzvMs{~OlAoWJJg?zC_W4)Jq!Z~ zl{{J$$C0zdAp9&u4`K+Z)`MVk&>Zxf6P}kB7S5!?A({E2J55X8ytykuYf>3Y-T%Lr z_AUyA0!j3KT~5_Y(RkI~ylVsC)nf|NMncv>WQoFoUm)$)!7 z|D&seIY3vNW3?t<8|N35ie1;5~d0tN^Km4qLA(;XhDB5pxL zpbJv8Zrz;zr!Do{7i<*-M-}_K6?29L6bFVk26p&@BNI->tvE9@TdcIKD0;C>yD@Hd z*hsw3Odybf1;x&3S51FP7>oIN^$!0$S!eXRlAA_}R^xd$wZYfJ37msO?wk_Rnl$)R z@w&o%7x+cTf~+I3OQ|MWsTJ|g3dZy|8(9#X&w&v#xuA9dQ`vFQoA|4dZAC_vLC5Zk@FJ`#gKFoBp~3+_K}6b-4*(e_Elb8bsZ z;x+7+J`%@0%Y--n9=8CsxGP9LtspE+i}w^asLH3Y!|yS_aLfHiPrK=jO-z5b*fzRf z`g~JBT2dJKAvK9aPOz?L3tGY;@L9k2iNNmd7zfjl^api027$tMnqQc&Tn-K?@Cmrw zEm6srnvoJ z_^Ee(1CC<%_2M{a@{OLRMA+RcOc^;vij#ZNFz*o_Hp7oamfF6_NGDY0>$=ONn>W77 zHgZCq)o!kPD=>^Ztf^`?>^5%FJ3b#$j2S<|xtzBKFwmj=7srU5#>Sc-f1mAKq4M?=% zY!p^gJd|K|-9Q@hWeg?hX}`9hbv{+{At1&Y$#y2zTKjHtxOh2qK1jBCXpkcG9sIs@ z=nsKv6TXH@oW~dEhUaz%`h1%nP@VWr8Z2R-W`6&!@aNlWSNa;rzWE!vjK`yXzLtn` zw`k4CcV~QL{1Q5CPV-W7`uzp@8I@`5$@?zX%P~j>6Dk6X=!1X%Su${mVYrwvZ~)+2 zapJ)bH&jj%@Fb`WPlM~Tmt=s~e2gIDIgk0vAXNZ91k-88X&Th6=VIs3k=CtS&=!!< zky_WuSkUeP`#)ARQ)q1d9u`i-&#;s*#VdFL%>1NJ%w_Aa>p;yBPL&w?j|u;X|3&}d z{g1@-f&ODz8+iX3fI)H=RxC-X`pb`AtFwa?#t`wD!A(${*Zk%G`TQcl!NCz|-$G&G z5Du}0>X8-F#=@GE=@d$FTZV9iXg^@t#xW^X73%F$_OL1qNAPz55HMD8FQhdDqEL7^ z&hPr6g&4+(0S`fuM+fyW<_Z29E^!8;2eN`I{~jj%k9o?v;rXBE38$G2AD{9&3KY51 z+(c-*ilh34IaC{h*813PtxdYes2ov=l^6t&p%5GtTE#cD)iLI@W-Nhclf|D)ukwpkR_HWn?3Nu|A z$qFBvx*XR{6-VaxAi?9~091frK5$|yf0d^o16+@_MsKDK81h&mCicx=kx8tTij-p?yb4*Ny}-#shO(?LS~<5Kho2#RP;NLSXm zWgU?v*L%uv@cFGLDQEq~$ZJ7wPsv6ms$Qt$equgd6Ds>2OSJomBL-Pwz5v%1ifW)f$ZB zvxc`jVP!maFDi0yyYEatel_Oi$b2*ACHQThUMaC3 zrH>aSuP?2k&vhA7w&F&`W>tu3nvtQ852O|GKIQ$-qWL#=O{|C~Jazna!=Ivx$hIHP zc`ncO8q>CO@hlQ>;os5bU|n^4dLcFTltl(tpv?8fKEAI|X9zE9kpCX-3|n>D8Dnp| zMP!+0qC=AlF+pKCW&gT)lw|15DYCp9V^4LRHXeFiF?ilK`0mxhtISDWIRrnVnkOk& z6qMhR_VDU8BF84NM@(rP6<#`xs|2NNud}`e+Qy7w5E2IL3xgbANV!Sq^OiR1^gQJg zt;wbdhW_dzKe8>HeHkh0sVS;9D?*Yo)aE&nQiR_-*xsL9Rn+aOn-tdWWPCa5A^n-- zL&1wLIUBZ`L?2BXFBq9EoGo&2)g0u!s$py+$EwRb*r0LSdl2W==N#eE6A%wyh4=46 z+b)3Oas9!511D3GzNMBk51I~F`cfzFh~B%*`F$||yeeCl;u_oekdU(*@x6gzz3sYU zm87MrWQwrW0%mC{W2-3owt3RhO8OH7Cyd03d5s*ky)cLd10sg~#ev)Ks){@ujfhjp zxe!exS^lDV#Z+9nT(MV4d88y6d3}BQ=j?@&ItrHw6G%@z3yx^|TF*rK1mV5vOIDZovcI#o~`C8l^v z&8c9=>~2a;x%^#N>KpF)PY9Sbd4Pk&b{_eM>$;AaQu!8+<4Vt$KIfhpDbv2m|NYft zRF?crnm#VKJ&jS@JG0M*%uMJmrVpID*5lN9D{yc)Zq`>(0&bbnLVW)5fb&xfGQtFs zfxyo3Hzp{s$ur_jImi(1wIgCtBw`O!K0xt#qXPMg3}Pq=xtK_F)Zdt>y*?8ZnZTqu zZfs7&XBbPdj=OW47~!i6_uWZ$NpXU{4i-`KVF>Sxe=FKBp~#n&o|fHwm2QjY-h;fgx0ph3W*V6%GCEJ4 zpJk4yHG*M~5C%XC75@vj&%+^jtsww=u&r(2c;1Kp5gVI7@BkyT_kY9#jEq}s5C~)l zWoc=-%ih`4wA;+eWjNUc4w;fqb_7vxfD3M6DGtFQyEe&KRHTL+dnkev3E)yk*f`;- z>)b z`y?d|1Qu#}_rzv*SE0%bo{V2*V9t^zX)IpnPJ6xlWUzxn2?LGuT#oKb(}(bfG=a|F z?>;svAk!)79QqJ{-mm_AT1|ap#*+t6nFB+9_>X*F-AFaHsF-Uk{-k(GFr4K>9`+7Z z^rZ=#Ggp>m!e?6U%98gmu$qZyu*&LPGf@X@OVU!7@@aX*rhV?c?C&3h6h7fwCCkU1 z?ko0GOg?-k4756UlOCFif%w~d&a)ae+qz&15D zMWb(P*6K89D9TyhN=FPN-Qz->`10XvsqK?{0(bH%q=HMHV{ws&m|zewCKN4keAjW` zOTbK5AjO}OmZDvyOyyk;^skX3stHFBN=e41Nf8T3T}~QNTcKi+&SCJjpxptT=pxuo zW3QY4f(>W!_~JM{ ztTd0u;HzzxX0(lC7kkI>QNw!oHQUx(TM9cdmKSOW@5QImTrvtGJ^2%LV>xCv_6AXu zyOq5ap1ZeJ#7PXp#ssQi$JeYQCnE&kn$rLe?tSR|QvP!lF#(3dzpS6o0ukZ?1>q|5 zTOz~>6pW)Gp_C{#-0)aXaV%~^2;*KWY&EOaYi~+tv|KgPRWA?QE_p|qVwn!6{ z$)G5kEfk6X_sEb*@;HwHB8g$bk$(Y^KK9F&1JNvkHuAC;FT`;jy6UBa@ z+N7*Fui$?7zy{xC+!wTWKYSHrYovK*9X+{Q!kA?>GEa{Dcj0&z?9ljMvS8RiTL>%T} z)x@q_D{kxqg!h{Z6HPe%oeY)RI?7I6-&1#{J*{$@HxKfB-ET0YXMCe%?~&4Gq9&&s zc#w-DKX#kvMrQRLit(hPn;0e*1A2stAKxy4iw_+7B&-dT@n{Zx(lmeC^w7`$(WZy& zS?zWYHuD0B5ZrUpeU7^5PyG=kE!pMkXwcH}$Vpf<%;YSC8yF)Y>{2~ga%u{#Z!jSiLHo!1kOo$M2{Nd&%%cA3&QEK|Qce<%y4E;Jj zKg(#X4@e-_O-=d6t^!d_+N5Nds(R2(K0d#e<)z-6&(K-uU(35&cgLCoXNA#RwuvM4z#2bDw%miZ1*9)_9Gu{0g|2LZjS=5a1*p{ zDv?FZ>!E?Oovo}kSdnM|E1to^_33NegvquQA|uGQon6*mXT`hTd$ZndAKIest}apD zB6--HbFUYdI$dcR(s1IV?qn?N{1=LI&EXG=#)L*5n?xD`>_RQ=`#C>GQ zWy`?8Hp$JpyPY!quB7hbC%Yq^U$$O(H@4_xl)PgN=cq}QDzonU{Mt^%X zV~tIKK0%@iG-2OJ%j?9=S{b%}CJZMi-2*3mqFRNbzpju*FdcEOn*7cHPnOEk)49Ec zZ`muIBlUeB&cA&xc;EKcsTY;)XC>+*@Tz?WW7F!sX_3L;%a=?3$-Rr61ODNfn1;OHLRO~(yvE8C!VY9qj^|-@n!Nx)+A@D8B3*_ zTJ>Dq{A16hC6PtY*bXYNoA}FS=AgGKTnf~+<$%GhCWZl9LdE{VttRp2z0v z*!;QENc?B-Ap~W)w~UI}y^WH0UED+Ql{%nSrsUUN;h>m8Bz7Hk$y!K#6k4gMSFi-+Fae@xM>O+s<0`})tN59i|gmWpBH3$h3beRsMqkiL5rJXRyf z*?HV^rdUoCVr1NTQa7&c6o%cyBR>f>F>C4#M8dUu>)$hGsYd4{vX})-vNI!@f}`ab z3b!a;2xe>!EuV(jt~~8)HTJoPB%L#lG#`GL#^%d-?i~gpVS<4Y$2T|OM@pdIFK!5t zFoM7jnE?`dAVoN5thSd(W*Tqil_%jK@2!kAd#1?(~M=ajdIc$9V0f}61tnqsfumqdg zj!1#T0;W&Z9#;3B@rq2RXaC~XCO#U}eiQMmajq*?X+hsCnI(B~;QSQR3kVm#eC9Zn z8g!Men{d0gt?PrN1z_W>4p?hrZ%2-Vw~%$v3`*HZRV=uKUS6OB3Af*~ya+;mxdWm^ zUiU2p`|xR2u^;25_DKixmU=3;u}Ct3#%rJnm!2)JAz_zf71@m7pvk$rs`c z@LYEUVR#^|;X04lzPE0DRCx}W_L_AyB|CEZ_C@cB^YvrmUXN>BMBke!Ul{V!|E$k; zUfyvsEyU-d+MZGU><{V9wVyw9uY`mwomeH<6E*bb4-gV6u_IjS>&3id@=#lD@$xoIc z1`R9~4J;bL0sNCzXL@4KvQ|aYAyToQq|!FAk-9h`(@AW_Gf38|d|toC`H4fBWvzli zt1#eHnAq`giCzDGEEj*-oygph@cd0Bv;)1*f|Qtm;4{%3;JBp(qPci)YM9Y>UQh$!phUBFRo~dpINIKKgf1P&Mcoi0Aa~nQor0*4CKx$VqPW z@Ex4ze%{b1pL+g$uBS?1do9&XX-#AEH&Nv;@~@D&dR1Wa7+s~@1UZ17d~Li8ip-_w zZE9($)`i`Z_MUA*s*Nl#^!T~SmehXlFYh_y{?XdPqyH%p!Ik*Nfu><`8^v3)SB<+lY+~N&I_KF312o^PlS zxFt#X2xq&MYz+n4S))+?2^iy6S%0xivi^k$W6|HN8Kpqmv2xm;orR-T zgyS>OiH~D_st}K-iX!2rHL>7QKRo&xlJ$WgTDIom_!qe^9n_N{@>whL9@Y1BU+P|T ztLqtj@Mfbf`O>+w^{?ta#+M-84$XXBET_IyTr#uZ@?(4DJBORMw-t$}+2sqPyNV0< zqu%0lDN$5gsfck)XUUCmex>v%Eg7epy3EZiVAmUF>zY1K6 zSB&GL9WzedC_eQ_U_|UqNGJ~pdjkAcwTdz0Uh)f5w~qubS^S*;Ez*BN+XLo5nvPE_ zYT#?_v!C39E`$?{>RMd{GJQ_LB!HkOP(jDa$IA(w$s+=RLLg{O1O9$r1KB+2T1xxb zK44*SurL6Zfy^4fzX*KwJ2MEK%JXNMj>bhGok$660Y>NWoO1H=_EC1U@&dzPKzf?h z(FeE~v8b_=t&gKO81T>TrzWVn0l8^TZVq5^H2MT`70}JlHwUVq@tXcWGJp2lpjnG% zk_ZvBQXTw>ONbzmU~w@KDEb!v{(~Vz0A?&4Ap)?Y4&Kpq4ohLcjSeo+g-@7E0TJ2vT}ViX0PM+wZ{Xrb9g%>bA9+xER09DO0n(@bd5=G@51xK795J{E z9DX>ogKLl9^|9}3BXf%;+uH$|Z|F=pGZ;+N3I+qi z;G!aK?mo75_JB$OCFmCt43qp-3YQeMLchcyzzYf%gZ=tOObjSNzr=wTkY0!Q{SCT4 z@B)CUIP_PkI1(rUl>Ya^UTO*CuR0PyD+x(30`jW_0T;DGz`+Qy-z5@2i3Aw& z`*}#9Z%7Cj`TJQ&V01_r82Nj2lEAa}UqCM;fu{hQ3Hl9+egi5)A;5E>5MVd}?Gybb z0fs_;KLH8>njOBO8$;2Jq3Fg?bYm#GF%;bxif#-AdI*IA4}?OIU?}wWfT1vSyMs3< z7z)h6FX6+0)-aeDu=|MrE`*~e>EI1`0t_zp&!ocrz2<1H_vaG5aDnXzm_;yfr^9Pt zHqkf-T@IH7@9#J0Yrx$MMej%Z*Fawm_cmZg!9b@E%Yl6cjlB2k00KeVS^L*O9^}#e z(Q|xsAD~D3L|SwmU|xacd{7^lQP|P_fw=^_cTf(@BA{#s*TDP%)P=)qVADe{TJ(J+ z5nupH99{!k;?Wo-CBeWpb5IVuMc8i_|e1B zR9`?iN7VpjK6*Sb=Ro4EzC&2qYul?=-+yY>A9Nro# z2CS1`AJE(OuMfaOfAs*ErF|ps;0C~&`PBnJzWb1W{~KU(#E*J_)*YY|2hRa?2GFiw zAK+l16Gz_w)ebuPJ3SQuHvcjr;C}(&t`9bA0`c0Wm5Oz}F7BjcnXrpiZgjR$lKa_0 zjNy5#vV4JQkKG>{&lj#!1uo``@ocXa7pCQhHCG4=qeRa=MoK?VzG^;qA*08Y`-1+) zOCzn|+$^oNsqMsz#PsrA!>R3v9g+BWvuyzN^vv{)U)MhO?D|tfo}_!DnxH4Rrq23H zl%*qgy@`jX#CJ;8wMbDd4)J=-d&0%c$p@V zw~cN|U^1=kmV_3esBVws#VIL{>r}a|n?=cDk?E7K`SD~`3C6iRh-)D7uK7x;ri>@W z33|?$ldJ`hDGj`Q8f5h;had59+vO3PQSq7h5W)s~SW{3%Q+cOFfTLiDi#Im)Ad!vtU@f^%GR5{DB<hF&}@0Zs!>vz>$j~h zYd;cumVSz>30&GOQhYV^byRZmgC5B;HXN>A@yXsw!rmdyfEe`Z^z%<2t=jCFM` zlILznT&B5W`klyS*{1)boz0yPM*NB|-Iv?Mcl=jKG6dio(Wm{ZzS9M2BZOu9MX_x2 zFj##+NbO$|1@`XaTPqSna5Uo(uvR!}e)$ZQ4gR!NZeR);{#VN6C`DIDCF%_7GfLjp z1l740vrDjnL+TH@l576pmU);t=!Km8Eetw=UfF->1QdDvXfGT-2!{b&LV!GAp!JJ9 zVDP^o69UH877B+5zXNb?g-W92L1jCDQ!}*f3It_kX^G#ni*wfoUw;+FI2tCkhzb=S zLxBvwvstF^0>Ks(3Z zMjnS}gFzJNeeDlXz$A}vdL|B_nI^QMR!n5!0Gn%&$eCH6_nfu5L1~PVv@c)w*tL_U zWA{fJH6F|q&Jwc9WbL6-R z)doBjsa>=zR>%mQqb#DBE3Ay?Pz{c~R)3~N%ha<` zChkV@J)~((h+(C*;L9ZDeCYdUuim)5B%#wyf9|=dSf0aIf9k2oY}2-bYSFC^QBRV& z$Yi3Y6lv$%R>IfR+C>ua*$2QkhV`Dk5;YNSzkGJL^8VezOYL8uhrgp{oo480?n%WU za`fr(r^x>zjW2OmDMldoj z*7R48C`>(#G~W|h|AE71F(kVVVVoI>z`?a*eJV9Xb5pjBzl$56y~|0C7?wLd?>`Zi z@Y!Zvf#=C;zlHLRyq(7hz8~7N^b$O=;|a-|IXtl8p42HHw>G3ZlKPa&=R*i7N^( z2=t(8(iVe!(AeV-`9KlJ_f^8h-#mgC0ISmo?Tr@Khdeq==&Aw{pWw?nr)2vpimxs7 z1c>6d{LfMRMN}Awx4Q{U!Es81k{<<984CfWe3z%3Mad&IeuU^zmp>`A7h6B;N`f) zuloZ~w+LW4PRB@r8={!gFNKZdiFKWeQz@g3R$oeIUr4v@O)k%#c9bMm>*}&xajt~w zTWKZQ2E$+vLuO|Jvh`F*0^>9q^*H7!KQI9q)@k>8Z~i2Dgx#KD8)uK>fw_9T;#zPeo4SrtIA<&=NASX6Ac%I~bV+24I%b(&VxqUOS z@A{Q{(JDKBfyvyE+xhnV1fIDd=Y`L()hzeNHcr+`Z%SJ>vE^47obZV-kb43A{4Y^L zCH_K<5I|%L%@D(~_NMv8ZGmh3aZF{M`|ppbu#WvSx=~b2D1i!e54wzUx7 zTcYy!Kw0dl{99PPmTHg%FzF`>aY}qn`crt3&7nyvI6Ye{SUsiS=w^@|Bmq|1ZArk3 zJHvQ*tQiizz~IW3Kx5%Ql?MQ_$5o!-R}E;M7{T&g8I^kOq^ZkT9vrC;smf@tlBxqX z0gvS(C|ok2T27NS-<9d!ZrvkkLu@Mw`R&CY9`AAxE@iVyFP)v32U=bFzP&fHep=Uy z5S5--XJIYAk9_Z(r5wV0o9%)-i^S#|eecm81L0x#rdd86&)~-@MjS|Lhvk{teh3X+ zN{}JFz;_)Y0gt%X2^a2F*5bCdq?cyqt<1vfJjlTf>Ls3DfRa#-5VNII#WrRTDX*=e}|CCfkt&PYML&@ zPYzX)P0ni&*VPZ^fwRN!*d#EBaZ(lPdfsehdd>1ZqnGfzzU|OYfB|(}?P~7_f@Tm}{Hb*EsM=Y=0D#gwD4>gX-;zL)m%vkBjX?FY zKTgFg*|Ts2z(JT_lcn?ILtbTCZ6+Z?-S)ftHV)dx$V|m!;d;rFsTrS|DS9*@S7@aF zMYAsSYBPBNsRY|JK>ZF|O8mhX*5^TQg^ZC=Zhui>OED+dBQt;kHxSBQ59g7B@egF@ zD`5xvtTNsv?>WnoopiVJtnU36or0eUW0)cUs8LD{F2*aCk(>EfRSN<34dH+`6kJ_p(!m6AFYd> zf^c8qrP{UQ51yM*i;Gv!FHkTHOT|`k{^1BP5GspFX1m{+5Yu+k-!}Tz5O5=4<<-Os zl{>4m+|M+#x|`Rsl|zv!5VqV`G@=52W<+7*%(i~RPt8RysQJYw75n=MzRh=hHLMxi zb1N1$9L;CE1TH;QP=7l5@y4lBH(eEQ*&gDw@jU0Iw;ZPrwkFOT?+UctwbK?Vkb^Zm zCuA5$RbH_TaR_kGHcJ$Pc0RuIC=TZ-DZ|)^qgFuLf+i^iewY%S)erBQGh4~vwfY&d z5S*_naWohth6$7Z1q1U4lLPrZ;D?9dXK}pMX7gl~U(x3>esuIX{eO%;1KTnVg2~#dkX=KO2V{;SZ>p)m!VQk=g{5l%{U`Wf^W z&PmWl4#v3Q^fbv4J^b!Fu$i_@$|!Qh7ZT8y*xT-=uzdosI4Y z!@OM%!C)UEFyLFj6?kmjhyNau4Gtdsh?ZyoX6yZDMqT!Qf9@V-)G;nlKz30{SF^*i zJaMN09EQlVIh>71gUlQZN{9)1{tae0Gz`&7Xjh(W-F3Fh&Y5^Nq7M8k=^oF(KqQzV zk1w;aq(VvKjFUiSqe1ASaQ4i`c%|z6a7FabBVa2B;oXOct(7K2vm!JnrRp zM_ElYs|?EXcv#guh*EBAZ7o%P+IDt(b|5QSF3N_O$7gvZL6NIKt+{%B@pP7n7&9@4 z7)i>&C^x_i;Jjfg&dH{uX}0YcBf$--#Sf7EWDc~VMVnt?-B**T#|U^oAa=ksk{x0*U3 z+!)sy_~8{EfKoQ{xlniuB&QS-?3b6>UmAUlj;+h zLYZ&U<&jBGudY9=7+lCz!+TdZ%k++a<1PKGhv(cUN3Wf~#bqa*p(@aw8egS1e}XQh z++aMcVS$RpP;hxZ8jDZ-wBc(7U+xGcolB==J@8Aa66)R6e+t|A-nQBbxf1dUwYWIw z<~m_fXxJ5F8Fm8ti9cF`QIQFRKZDglQ($F3nlBD?I_Ac3J;#(_BgvIYWFo+Bz z7X2HM9b(aVm`Z)IyTVtzCg{VIhm>W))J(~i)}>jYDfx8wfM1Ig{7$w*9DvhfbhW2b zo(+<(3o((O|LQvVwo#_4L_apo#w<>>Js_a+ne8`9;o08AvLC#+MqJ(6r6n?BAC*I_sT7B%@9EDfG-m@fo74L#@!WYbH zHEa-`aWPo5BeFlUQ7U(~vT&AF`w+W$=6zKde3n44@85^Q-!R#s!~1*yfR;~VgGXa< z$Orh-bYV0*&KAnNz_f>Q-$eoY=O+}~9_kxl&Z@7YwoxICyYin_MHs564Y>JZ1RHl z9iOR^-Y*W$~23WfXOMg%d}nzipDbE+J0!SUvjZdIcK!B z^K+Q=xY)YFbAj9t44DqVk7)c$Tu=Z>99LX$=m=aK?IGFc>pj+kz>N;_93=429+GT@ z-yV_#9dw?X{xF$rogn5@@ zc|-ShQDNI4W!Xqe`6f$L#Pcx4y(F1YgaTTxNb>|E<4-vWNHD$TgfN6INsN#26m#7JV?}}a;#3qAMAghX#TP1(ltrzS;ib)mjk`%4 z%yyE+>970s*iD^DzYdu4bJO3pd(_&Ke?GOQv_!wq4=%;3Yc@0-q>b;ZBd9!o!a`>X zM}@SP{nKO{3)o7MKrcjN(5Ao8HdIvDUoOJEQ2Npo+k!xPF9W-kky7tC^D^Q)ZVu9X zisa605eBE&KY__{$RCpb3-SjHEDS^_ft-5475=~Gejxt~_XD7#9CAO9hXJ&sXgc~i z`w_L@+z;eI(D8RzZNCi~oR~?#MD_!+=zZdU^9P5D?1%Gyw?&GH>__d;B?!34ei-oJ zTXBR4677cj=N}TNfi6P;gc9`P!~6#@D)u9lV*7lJgFXX{iv6e}1bp!McTbM44(mw( zoSeft;*#jziiz*@QUHnz5H#I?{{L4gVD9z*Md?4K`G0Z0gL@pv?iV*>Ut^B2>i^8m z0LTXam4$(UI{^?4B*eiI62I627`PJvrvNZ#5Wg7(|K>#?fja0l^SjOgQvx7S{kk)n zFY!;#1VD}W&0IJnO`ypSKolJyPW)Wg(^cQFv0s_6(4n6?0aMTU7nD*`F zgKq$?+R?+&lmdXub=U@2cl+keel=i0A$}7F06xrb;s9{#Up)XQ9s6M9pp67TiTQOm z1Q;04;jIBN?(ZJxYJd#E09hXW%|Es-432y;fE01uBf33Z7VyQ=hMr{VPR(R#ZUhx! zU4Lv)tj`4lH@AfX=obt3k#{vKx7zX?dtB8|*XLm3Fsy0zotfL4s0n9Ju?yYVGS_2j z%ul}9v1Mm--s{cuu9fyiX(6A6%-oDNMtDhn9*&y)eAb))!i5RefSNj~H1UeZtB*4t zNl&E%sx&m|0pW#a_e1{wTO*kUZ8e@}i2>5_y&KP%M6x8jD`mNvoT#UFyOM zm8CX`Qkp}GX9&(XK2!L>bmFvLCC!^@vP7(f4b@7OBH`^A@t%wx-L0(elE`kG(;ltu zcg{}TJnc!88Rea#R5Y^3`i$hlN6xd6k33XbNl;Bh5cXxME0&xria!-(T1n`J2u_A7 zauwx!#KmP%H97id$roPkv(}Zj&aR3-AMn!}`}>X=Evt@F4MiWl$SOHIp2`()PSF1B=U^eE!aK~l{$%tcJJ|HL1LT?Sjpox) zg`VIthqzls<;BrO5A9Es54>0a4>*P6%Ex)c2S$ui;!LKQM@aNNh9N49QzM`^DylAQ z2eejfO9xiH-o$`bFqn>F00rjwda!Q?bClJZL7Y_&S!GxmSb+ny|#CA zaM%c;8Top9uDo!V%>7e!y~kShg2?ul7wyU1XPKELk2C z^~X~@T&K8&5_C;&K-raDsiL4B!j{+6DM{L>Q<$FI8&^!Er!{5lSE8UlRh`%0f-ju+ z;lxR{{uNf1H>IgLgI`b5U3`c-VOB>?S(0WP5y)?^W)(AB#=y>(IR$gIH^QgJbscZ? zco`Cv#=Yrsiv{ZKXNEj|uF42*Y9o^0Sm`82YYgf8Z^xv_`SCSLmI7R_SDWVG23mbq8Xs zTD~OA6$k1uJoC<^OQ<2;IyTDD{bU|RrH+tke8UTGk7u2`|^qrKq$DjO%Q#Dcf%Nh2*zx0mPJ2q6~HI^(Gv&095ZcO%s3-Wku+xw3gW zn8|hnKS}H$9mpDQBb~zZc;d+o!tvOI5!$;YDx!u9-`|~g&nrr7&D~*@lH)VGdS%Dt z)x_LD+KHs^Au5VLjagVubW?B$m?@7o(?9TFUkH^HZ?RpxnY~;cDeJs-fxtJy*=Ogz zN-UZ6Eu-C*3)LUJ!!bw+gXt>{91zD{FH0HCZtuaA(VeSUS4omA&x6MUpLWyn>lA;@ z*T1}wzfjf(jWO)2*|@oWc9%~kJW0;v4usUDBw$WRw0=1g)gsKMvphS$yUG zmxjjCFFPJhlbfa!FLrd6$R>QAaIDoz2Lz`-eKmG-_G@ru*Z4}r-u8!SqpuI-8;4mZ z=R_yI-IbYe%(KpEFDdr>m_za^Tw(s*0}8sEEI~}csw#R&A>q(C1=T6$>$$Qy%+v}L zDER;y?CEzF9=MJ|R~c8@$qSz0Um*O%fvrz8tjEDuh3bF9M@gtgBUnNxFcjNJ9F{K< zRPmfj49Um;xYRq#xP1mJ8#dYiK6fUxz3w%*`CS1g#ImKj44kD#=F2<>+J3|DrKj2t z*Sk~K@v*k<0eBGKLa_gqf=P?^96sUQTY_r+vmnX@79{=+aZB%appJ}fTZBRlKF5V? zI(bOFn|U^Qfg+SHmaD2E#7((fir%cCSGZs0k)E9f%l!^xsvcr8%bb>2^fzRbqgF}$lcS0J8DpsY^F&Wg zmF2O7@{(Y$Evit+Oqa6yYwAPK>TY{^EZxBqsc{Mu^iBt-C0iE+WpxOvjg>o@LyLkl zPc1RL6PjT8Bt~J2w7?~UBcR@cIR8;%9m!UGgf-A-*V0C!|ehP<6d5D zkL3#~W&=i68lvA+e0`}SG z@-wh_l5N!4yI!t@r2Y=CL;8J*bm3QXa8CEg`&p||;UA|LUJJf8DtclpZ&UPyRV2Bf zKA-K|ZPB99iSzpH(mQ!>m$`y`vpA=u3ey zlJaFd^j05#`_!;yOMyw7o>2GBBV0}FvecG*LVM_$rNRkr@hVVH=e*evGChi#qJX}l z+m-rx;-~v6%VTRFUO_hp_mBa#=4{o$($Bu(eZ5A%N!gkEX^!fN3r|jCmS@^}?P<4^m!S`<)ca=4z6$qz&sM#vt0HYsOy!%hHg3gId_%sj zyzAsPmXmwE5{9|Q;9mj$^OIxGeM35sGzy`NHnS_8h z*aNDUd9M41sS7dPW09Mb^mF8<#9?&~dEk9%?^}@SmFf#ZXCGuZSLmrW8h#85VN2=_HB-PJX8aJE+?>+4OT zZAt+7RX@|E-0>i`wCwK}YP#9PxmPIZ<~+wDwEV=D#OYf?GTv2!dwAg)L6Y9}myEj1 zW%blA5;9rRY&d(ZlSzmuJcft83?l-UKz8v5`4v3sNt_wpiS&P!Bb|qkB(GB?ETE(< zcYc~GfsBbLhvNx^iUt%eGO$vow?(wQRZc9k%5#P41qAr!%oe)w7*!`lQSfJXo>K=? z-y->c-JN+nRNw!{8BuoGD*KvUvyZ_iVzNuN@`=he5kiAPD!a&*>?IVEDEhSEL!v~B z5EWXaDD|O)EGd5H&^B{@zu)@&`J;#CzUO`JIrnV$+j7DS2XifP>9_TE6%{-e)0UY0tsf$hjvc#;kGu;eV#*{ zo2CRp5(#zu5sgflk`b56wn|piCA=Hqi8d{1JoEbU%c8`$&GF*WANM_p3UOKfI;~Q8 zJMU0i@FGRN$Xg{GSPby1&HcgAIw%vpDJ^)+?7D3En!Ia`9jAKwwFQ*SE?%evFp4Mx z`@Z%G%fKZj9JH7B?!F8A;4@TUcR*FE_g=%KZBxvE)rwCP$<%6P|A2z`CV`O;8qBMk z3TvwNhX!y@U)rW7rL(sq`O%6`({BbOMn4XmQJ3x=+;!%#Xfa8XwmIIVe@#ReyZoU_ zfxBYPce?oYSVa=+!!}yh_BAR^*eF{)Owh(V?9x2vynb7wP{}09yIvQiYAmp7XBAcM zUU6~5$V5E%;nR_W%h~PUWDz+tr}p=r%6_Tt_=)*VddqIErW5(g3w&N+Xk~2pVTtL8 zyS`JLFLbVNKfdd;M2kfxYu$mUH)8D(wz-b4N{7XBFX7@F-Nv;P3j9pmMLg_A(#qXj zJ4VSadoFcF)?PIvMAgsW(k|M)Tg|Z#FDAEX>|p?Z>|~xNPCSGdqc~29y=0wu+Mn0@ zRaukW>b}xwl|Yu&8b$_-6xt$_r?}sEPd=Phu^|dA7;U=JsCs1CIICa@O` z{Z_rknNtx4Zh?4-C__hADY1PU?DN>AZ#XEdx%1``@%87_u@yn-Ik#1g#G3AwiAt?X zo~{Z^`y6p+NUzl`ScY_V&HIqeBjc8XLMNWRKv^8t`T!J+H#?qwxs|;#Djp?(0 zjK7w=+t9H<)yh3m&C1nP-Ks_}HYlIFfM~rlaUgHWTpW+zj<*@TKKm?610HTMJQpx} zfhFX8+qa&>Dd$07x{$P_W|Hx``N9<7C~ttrE+;ucXG zHG{hCL`jOHYi*wMC6`wq6_3->>VMIcpK$caK*sd8iMqz=-P7!M*uXv}%h1`v~cs>v1rOSDvvt_R0 zdQ6C)>Yz<=@s~iIi1sT>JQA0Udp6uv^h%KUB2>{cQk086QNelo5ar~kn#(GEI?7%f+^xF7#N6O=U#Y_KiSrgY|*r5`nRK%%w<6NY; zPa9ji4AH-}CNSdY^zndXVoyPT3*{95gSYEqOU+w73bu)F$CI~^4g3GXtGO19^cfO7 z`O0`>(wj{6UnLzea@baKAtSB!k|fKT$VFCl0suW?P=o<*Uw*Zh#Npa-P*S(l*;;^A z|2volmlw*M$(v&Goi>Ykd4H0L9iZ2cv{@GOxPeiBOGn3IAHZ94{5;2GgazDmxo+?$ z1x$D|83WZtXaSI4_+9{W;A~b#uC;s}Qmgg7!n&4Kh`&h5XL{>&b!INtj$aVPEwx?N z=#?d{I3-Wx%UsOLZ(9wpO>bUguAIEcI~}kD>EB$vHMsh(kb8k-c=68i-%!Dsnc%uZ zBNs&lhpldeTz*KKBcXw`VXlsu!e@-_iZI?ImlBjJCLg22ZUSapmh02LLS&^UPY5m2 z{uX&Ff&C47-f$;;76nSdBZ3Y1wc%q+y0_{tBXX=@JWKBs?_Z3wg8fU%n z+Q?~l5-rJhK&XEAo>qB@Lw0iJzK%Kv=A4T}JML!`nP+?Vuk1NYDn9fxq@l^Ca@5;$#O#GZ})RD%!!s?l0;uP*zElJh0 zJhZ*SHZDPj^MaYpXL&pd?z;(eUfk%WW7*Tqv*ecI472xDQR)1&J%m?+AyZkKQ-i35 zMQ41jcHEWNxXpukCVTTmnn`%NP?@Pv;ZD{EoGgx27BQ7q^0NHbsmbhfk=y z_@q@@x;e5qJe<}Uf2nJFB&;HByObqn(-f;(^?FU=fIku{yPp`E94jv0=_Nz8o>=Rr zv?FJb0=@E zJvdAon=IWdv3}%;j6kwHc2xYHEdJOh{KxZJ+@Ic_>1}cD7=JgDZ2xXg@6qX;z6|cV zf!tT)m1&C<)gmt#aNw2iuND;?Gk{x9^rMXq7r2wIT@7uBtLj%y88a(Dx8H8C%Sjg& zDU+@!A736Kh!I{Jt&M`Kg1Z0YtJFOuY;Zoa)+b|nuDe!z!+SQZ;CvKe^W%MC_cd(} zZ`|r0q!xf~3OdfI|9AD(lsk5xPIF`w95hn7pOn-&-14+=JfmsG#Pnd{y^9?8s5Mr4 zhvbA%CQfUak~w&#{tAuE_qdhcm12tVR4nmT6=?`+mE(W1Tm5Z7_YQe9steFbX zjD?3hL<+0*pUKrLR&}Hv$k{PIu*UM!Q-#3|pAYDZ)UmdQ-t>9cnK0D5b>+sj4|#W; z@2_2}+#~yVsFL;&A{k=kjsYgO?WoSd0Q9Vanzpk4gpsFB`wReptBf_G-_Z1I^xf0aCR>s|b{xk5t@mv37lm zC=s=p{pZ{g`;Q4PZ0~ulWwEGteTHlRa9#zGX}I6mfgvCTB9XYF#i@tiIy}};lU04;v-c+2=(xw_eb&z&S7Qe*&2^{Fh|YYNop!!GJY2XnljbHVd^s3D zlfxPs&1bcwIabV7Vv9^TO8Ue0x1y2pPVUP&-sS~t>#fc+%#*N-iPh;dF=M}hJGPRe zL0k7-J;pV%u{l{;F0zG-g@x}jYIv?qss%mE!kS{8Dd^5-Gbk9GJeTzGcq3Otcqf74 z{4DZ#L-}l$U>BYj9ZG4YF~9h5UBHEht>EqRW;MYkYKH?`iGl5@xauxfcO~m(n=lSh z4ozk}uM*nY22VD#yK*R1DW!j5)nMX&w?ssNSz?_6dRFfsYWLF!Z|6fT!O8b})}lV{ ze%g5pCBT+yudtlDBqgFQ7ki*D^lDY9c-Ym39c%{$zO3quiu;!|@i<>CdL*@FN#pu@v$`kTD;mE1Jsjqxd|H|OPwM@Wc`B3=hxzWRR3=XK9e!Sz%X1{%Q#Dbz zTf9NE`Nj*gWMQX@7c0WcHQFWwDjTboWgB~}`eJ$;$3Zb*Zk2UTq`I5wRj6({k=9Y1 zsv|fnlX*=i`hIfXV$EZbhe|A%`TXTP?5sCo!2o@U>b_-nslB?dS@EmRrm{+JRH$l&E9M3f`Nr{s?=9+T5bkF(P*{rF($_Gkm8F8hP=H0uZ%x#VDQxwMP zH(V+iQ>&%2+DZndT};i$2-AsQosycG)8FV2p=VMOrMT@#Uh-&AI=(~5>jK_)({_$* zEzdu;09eSS*(KRW?2!2+X%OjHN6+yJ5gg(VQG0!Kvf7obZP zlKAz*SC_8=za9Zf1W_FT3p5CjegbqKKrHL%t$8pfu%YE(e{iFCRC!0XsMoa{qO3{Xc>Lppt8V3za6NXui|bhH59}>$(H{ zrv^YjXmu<`2_%F@b@KNC4#52FaHo$q#mS#4rAW~PfI!fJVeue~a0H?X8moXtD*!)p zAJ_loVncKC^`*K343(3YAJ}nzqs@9db%OveFJ~ujZh)E1H^g;$4N zkm9!#D*cq3fi&t44uD)ilR3cakFP&KYD562k{wdtY(!WJ@JGt~yNv)9K@2uDM7Pk{ zaNr_ACq-uiC>cmNp|fFd8W4d(XTxDhu+Grg&=?}rI5F4=5cNWDLzAE`iQa}GK{gG& z4U2|#mcfRH_XP$U3Bpe3Z8$Wnsth(9lua?%h*00fVADY6A07>xDZL*a3$^kE5TWF8P8RE5!x1ns|2Uq^pFG7hR+8EgcIDq^rLQm@El z$k3tl1AQJMpFvLmrFjf~Bsh4Ww}G1>W4z#&0yTsTegs6F1ad`08DX%1|HK#;06H1V z4TB{@m=Jv&STZtwI4q)WfL(Cm&4E5F9u4Kk3^o!R;?dg(7-U!i2~oaaCjxk%q7O?1 z6&hh9LA(=#A1EY78wrP~2N)7KA;OQ0Xdf62NH}GPLjw;bk@WF`;y{!+8I8O)G7gGH z>BEwVh&}>C296AVSTqJ=o9M!Vostmg!-8ss3=0|vV_3iqL->Ix7}JLZ3nm!z01F~U zqy=mU##nd3+Al=i07C#oTLrlcwXO8mhC`Mm7Ic%0<%=btk?8}~g|R%a1Tvz{fTn<` z<5(gY(cZ8mJVcw(r;nrowY>B;4IF&_VXzSp{WEA;PzX!!M@GXT8H0_0jF(JCvkAAj%(qz{fCjlFmHfFn>F=Z`2-_S!g#fj)(-Z$KuJ^z^_Gfn-3@r>xT; nV#!1UJrbF?R_cGd%;Prw{GDk2^J5}VC2#}|dHMAg1|0tf#L}0u literal 0 HcmV?d00001 diff --git a/documents/casUtilisation/userStories/userStoryExpressionArithmetique.tex b/documents/casUtilisation/userStories/userStoryExpressionArithmetique.tex new file mode 100644 index 0000000..b9ec3c3 --- /dev/null +++ b/documents/casUtilisation/userStories/userStoryExpressionArithmetique.tex @@ -0,0 +1,38 @@ +\documentclass[12pt,a5paper, notitle, oneside]{report} +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +\usepackage[french]{babel} +\usepackage[landscape, top=0.5cm]{geometry} +\begin{document} + + \chapter*{Récit d'utilisation} + + \paragraph{Titre : } Expression arithmétique + \paragraph{Récit : } Calcul à l'aide d'expression arithmétique + \paragraph{En tant que : } Programmeur + \paragraph{Je souhaite : } que l'Interpréteur LIR effectue une + opération arithmétique courante (addition, soustraction, + multiplication, quotient ou reste d'une division entière) + \paragraph{Afin que : } j'en exploite ou vois le résultat + \newpage + + \chapter*{Critères d'acceptation} + + \paragraph{À partir de : } d'une ligne de l'interpréteur ou d'une + ligne de programme à mémoriser et d'identificateurs auxquels une + valeur aura été affectée préalablement ou de constantes littérales + numérique. + + \paragraph{Alors : } j'entre une expression composée de deux + opérandes de type entier signé et d'un opérateur. + \\ Les opérandes peuvent être : + \begin{itemize} + \item deux constantes littérales + \item deux identificateurs + \item une constante littérale et un identificateur + \end{itemize} + \paragraph{Enfin : } j'obtiens le résultat de l'opération ou un + message d'erreur m'informant que l'opération est impossible pour les + identificateurs ou constantes littérales saisies. + +\end{document} \ No newline at end of file diff --git a/documents/casUtilisation/userStories/userStoryExpressionLogique.pdf b/documents/casUtilisation/userStories/userStoryExpressionLogique.pdf new file mode 100644 index 0000000000000000000000000000000000000000..9476b8bfb21f58cb11456b0b41b4100a852d8b09 GIT binary patch literal 34728 zcmdSCc|6qJ`#(N*#=a9V_MKTU_I(RU2wBR$XD3AVB}20fGYwc!Z3zm}udwF}> zT3!MBjVI{$x_*GrOuRPovws0SO)^&W+%Qw~27gWL3+MVA@v})Xeqn5xufNYt^HTR~ zOkiz!ypr8o@fi!+9oV0h5*NfQqTozFx;6wuMsd#=Q5LlFt)*WeEB{#3TCgXXK-aa^R>6K1N=`2e5%ds|NXMdMXZ{9@GfWcgh0 z%su$JeD6Gi>$NH((c6p6r1OfmwYcqmk~vms&Daaf4SU>3%UWCK*16M0Bwsdc=QElp z99%{ANQz&1p5>}Rh!XbJ`^Gbb%Ve$JSe;){34m=~ZH^`!xI!xn{4Yvl;O}k=5z)1@ zw*`wRySaMXx_Wy-&|0Mj7SXfya`W-Dw)KL*4hzoO+BjM&x%oj%p+JF{q?j-qDGm{Z zNeYX>CCtGG^gYrZvlo{bU)CXV+fpFa5I{o)!*)%!+CY^}4u z=iY7aDhfSLE|EAj-);|$M*I7ZJc_IA3`L?}JhTxnDEt1SozMRB!ph7xZC+Qzy3%M( z6R%+R*P^Mgy>ndFQ)9mGR4>{Kc83?OD-#Zw5hT5!$cvDWYf5@dZ9<%p@R==ESwh73 zdc|TO*<1aKu#{K2qVlgt1;>Zte4E9@!tasg^=C;|RxRFs^T1rAbhMb+S#wQS_0@yC zGN-b+*JbKZ8lm36^LfedW^y0H#gqv3cq#mf=EGDWK{E4@%ca*)R3AjrhNs|V_w(hf z9nC*?SzcOT4)c*e7pHIVg6wvD$4&@ctZ`T0-SD2==}F>C@MX(NPzjqtGQp>kZaNDF zYg#wa+F88Li;9zpGfNi*+OIP?Ge6|7UA=nB^Wwutw?Y*tHs0VxIX645ZC#hsZ(pbK zU&Q7NeteFz-$r$yxY_z8{DW1owvods%b;GXa)ar0=G8Fe7`^BHi-B(kA*XJRbr0*3 z*A#wJLwJUVmgc^DP*e;HV#^uZ;3b(rqShg`=O(UzX1qe4$+15JC5u|{$xQmK%4+(V z4%d7LlYtE~uW42(2%AijWp>swR%bho6IY|&?tf+8|9O_O+!?aZzCN7uE8^OlEOq|J z_Pf`Wcw!7-n;izoNZz{=BXP}zV^=aYM0gAlCBe{dJC3?zN%^5lupby|Mpqvua@>QaW9;AHwc0sj<@LWKmT%?XlPxn!|ln?nU3q% z#wANcvps%&dhNf1*YG7H&6x01pT7K0{InvkU2}KQTg9zk#n_*>dm`wb^RBc;`u;qP z#aDFc&3DR&!u-jzw1HpL^e93zpZ}bhkiUsN%J9#{E%}!ffpKxe&}-&DR=31q!T)k~ zqwhXmg8z?K_g^=Tqty);hn;wJ`wUcSwkc5HPZ604YFh?kBSdn}JZo65k6g#qCp5Vj z3XNUUDOgGxG1AVjVc^ zXFTX4_0eo{I;rBuHH-DTtf4nE>q2R9PdLgd&4z5xj?jv0VKarCV`3d_$(nK+%IkF=eBG{aqzs;w zaSr2kzJfe=ev^K^Mmvz^mL0+1=D4`Hb8(`T^r`FSTw{5YP0jgkI(0=JLs~5 ze#X{LBKT|^ljM668$c{bznhcwK7LI9)DPHScmHFdik=)Y_zW~_wm|`*mdfIO9zu@w z5j&Vv(UDtOm^ZWF%KB4SD$0WS18V%MWi(kW6R#P^ql}-2Rd{WW>qy-?^LfAPT4{T) zCC9qSxV68__U)iJPPz9UbJH30r=Ody3O&~#Ci|Jy&taVW-<<*>aY__ zFSV2|XilDIH`7*M1iht{9!zO$@7tu0ck8%`8rr9@Tg=D`;$e}*A7v)Yo@+~1=1!hj z%fk_LkH-_C-hR?od)KMgk>k!9UX6@321EiwBZ1>hDmTVh*czoI8<>43wbh5aIw-YJvWC+^N|(Kjh%n%rrXa~G#qXVwY6Y5ee9eX#x2 z>Y0VGQ?i+W1LY&@f|UE#OocV0Z@K3Az1fP=LLZeVuBVS~;Mo4>TgOr+DQI_ig?dehcE<{G5EtvbkFL>dIL(l-^xARaVi{F``S z2++C|no%#6SZ!%RdVj#RX%l3bMhw>&$fSne9%4qoT}qSrjaV zgU(%!OvxKE5DqE^+2iGu#3_mDo)f%N92dr{9Mp=6LJ@?lU=fbWCuv!PG!u{zC?u_d ztZ}?>5IE8}OgOCJB;k0OZ3z5UVyo4@*?{ zcv!Kgco{A#6{dLAWy#cSw9=B0)@{g!d@|d;*9hiPEi5(L)xmlNRya=|>5x-oEPRe0 zPcmvZ3Pp+{2TkKpJPd~1X#$0lGmwQqX0ST&KjYis`{Ik^%i%NP6Gvg^aNc>qV+5fG zZ4vQ2#xSnGB8H>IE_u9lLjJqadOR+WrLq>DGEO9o@?#}o2x(Xp#f@1rVV-lszuY1B zwI*@219tgSX>J#JE=c1^2rzgqJm*zm;%8{{^sndbf(;{wk$du>P)IE^&QW&>5}122 zboZ}_>ZrRg=y8AlWp}Bq54)?3gGYhusYvxlvGCD~b^dRPr7Ro-%z!dp`0ptICV>D# z(UxWnA+vqn`5*l-x%c{7z!qFa$q_!cyL_d4T#XS(0s;L`i$#p zNR`r~5N`oi6dqZgZ0%>Q|hLY=< zVy(tYuIfW?M&db!h}<~Dr8TMXr{Z*kcrWvbj0akUW0z2VY^74fyC4uf&}?WZwDGWR+guN)gQ&0aIK_76;AME58IjM8Dj9{c_B4liRu{@X-qq`2v4U=KyTC>iP%_ z0>KDkj#c=-ZxoS(4QPQ7tO!KXxt54P=I%9Bm*j?fui*4S=4T-~i}N}2+>7};#$-cd zi2_zG&QseSbre+ldcO6tU|xZDT#SR_Z8)3x)#O#;OfH)e2E1v*iMrZv%xRp|if8WqxFSZ?NB|=`rQ0A0$EI zcDKwPJrMeGfBkxY1L=1^1Lui2)UP+5dNlt&bEdNPm8hi4Q z^X)PWlEDC9V1OZV`0u|<1|dFz5H$j}B792@JjBt`<{*Ylg4*!TaDMTW^!Hqd7GSvO zzHkks3LIoXw3@M+`gI%G*jcnBbsOe1d8D)?R&_GwH2c6#gcZdY5|g`+g%kcOG&xl9 zI-WlhAIUQ_**fexP;=3yTRP58x7AV$p;oASalM>+I;PAI^qp)xYhgm~(N%Lu9;7!W33MIHL!#IL8GgvmU zj7pXHx_cBoEJ`Ecd>sH7iBa4SZViSiKfiRY;yrNK2^fuu75 z4)LF+d?hl#tiolZtf^m0a(lc~`F82@7~A=JZkbbwEgVpIj#=ed$pR?-jW^%-Jg(NF zF4lkeps&q0@rYN8H*NvZjPv--M+W^`z1N*cSK?~7YMnv3A9mI4i0qs4mmQvpkf-KM z3|>=OWr;hD6|$hv*i@$pacNO&O3i6RC;1;B zs{|>|1k+`K&MzyveS1sE9+}n<=tZoSyPnkB8vd2UjOGKbW~n3D2hdz_OCPaY)7wI> zb5pfUjn=^wPS=>o8`q`cGReOz7+lwOx13TvHH-gXn>6wHU9d$e?%lIuw-e}xcpsg2 z3Ex|(Y%Q0p~se}gMZcGvo;w9sU=4!+CgF$&smC-sLN9Sl^Q3@XhIbeWR z@PDzc3Wpk;T7ezYorpZjbd9i%-oYl?!WO~FH>?cFfTt?t01C&Jovpr}KTjzW0QKbD z2~_?d+#j0AN;TTay5L=e&~^_M@f!B(OWV$9VT3Q^QxA)-uaZ8%9>zkDF7}g#^Vj+{ z>;;CJERUv#jZa;R?WT++^?e-gJ~s&CCs+vhxShMkotFlw$J!?rDks!eP9KhV#+b{c zLh_SYjd+dj1>gPXX7#z&JKiFWM62#wGPnkMax9N>N|QprQzP~+$a8lPgMVI)nt`H- z)&+HBomw`K>2iH)2176JJxjjeCrb7d^iEASB0=?X9oI9n>6#GP4_G4I&m8_KO9TeA z2L~MMC*5OxURP@3C<4cEaGjMU_&ezff2;}ScMkQD49x<#kMv?FbOBT%4I^$G^KR^D z2(5hn$vwM)Ixa^)uw7nS{^5OAme+nQ_sE?#y*3ezj}}7r43rZRJNo-&g-&@2Z0dX3 zpStDzYG+|}=jMk`pCX(+wHnL(Js{WML^~K|bKa=Z9BD$K(@7 zarM!xdV^71`p8Zvyp-Fvw>%5CyJ))h^|-48)7|J-kaztKdp_AK(UzSh(au4rT<}Lz zBCFxD8n^pa&wsJ2-U_%Cb*?c)hpE26tvlYu5`)k%fKE8<P#)9}-$R;D ztkt*98+q9-NtAjd*f%+Y3G%}z1~$whB}48`k>+HMKi6^Gtn$3B|FUi9{p-cocP4q{ zkbKB$?!;^nP;Seusv9?n9GXO*Fy3M>_dMIUMo_}~CjDE0P4qYhAz?tfaOlZ}l%0si zH8hdu7AT%+O*Va`AE++yCEdn3kddOUx}s{cA~Z2geSt$littAV>xa{8iaK3&lS0~^ z46nxArN6Mx$QTr{XjSqI44)@5fVV(Dnu3s%k@&2}TVwS% z=K~|+88s)2%&2({V#qgeckhFdJ~{}W-6ZE^N7$PnVRa8KWtQG)yDe@Xj?D|^e495a z$39p3Ej{$cyHK#5D}eGpc-Q3 zPb}cD%i(%U$MK8x+4X6`J*{hhF&O7l zBh$yUPPI$3OyN%rF~9)?26zldp4`Kbo%m7*I0if91(Z2Ou19712 zgIdEp(zC^#!!vQ0eCsdWs;O^Gd-nJ_Q$X-fztJCSn<*yd<@1e&pB1kPgfY+LVDC~! zUHxc%{`#^^*r%2UvSdB3PY+4?C8L z-TBa^0<}PJ{sKq8TYc(js!o;9C9QoK95ltcubGE_QhX&XzI4;BZPd)T?yLbbeCy1X zNYs7Jr)L|^D9TyfOGOSQKIBB6`a1Ki#OB#U{-T_6si5MQSezum#u$_k6M`2%xdXNT z6=19?kl;^AOVO-Rr0}c+_|-@e)r27lr6gl+NrCyLt|gADuTnBgXVH6^)9ivybrI~` zVyj#Dij81)|8gqY`h&AX_>GHnozKQj=T_&8I)HV(bQIs=T@rbUQ{pM9N?O*E(BVQ{ ztF(Ye@1t#c%WwzBHm1nnNyA3>O`Fzx+X}nU7ME)XAI7CnUo{LQIsFTjxe`4alSvfm zW@%@M=jNpqej3BDF#viP{N$Q->}rGJTXE>)A-s-UK+1nZnhcD9(ee+=DV#N)M0TssJ#s@R(w^ICM#s4f1p_GDr4kiH%vk-`|(YeP8!l380 zxD^DGX)3jY1LN9)tTt_e&UHgD56I`Y&L^+<K@$Wy@uOM^I+zi0Ba-l3#+Kfy<&!R%h3fgiMe|Z0^5GcvBK+h zzdadFyk03kSio5`9jM?mt*1Aa0t79Rhi$~>;)mm(G8Rko+cO&zCNU_uaCZ2VOSoX` z`zPQqji@Gc-CK2K8zg+xoS$IK;pb?e+}2U5c6(pLiRPTjIi4Ko%MIV5;GT)i;{7K| zTM3#Ru8<*4_S~2q?#w&YMdTBS1$X~Bv7#7YCrs?*SRElYc;pYU(pSc#KJv^`|J|Pe z`|@A?3DAAZz0Rf;6!}jSj)LCJUpPtC7JJQ2`^6!vki!~@*Yn57>0`xK%RWK*-5hK=w76{9&S-L zC7gcXtoN@{8mq$~{%sQz-tikiY>y@}39hOUc$b&gw`FCy@9sqQ(+BF=mX~D~&b+6W zrI@(W@S11TJm%i{#aG|D6x*DH>U*8YGA>jn_3i{%&*0?ig0EQw1hh$R)jjBx8E_$S6Fc1<;qQ0+5 z`?F5XlbP$R{B-f+m7tGyjWj%tTr3r#8|OoD0#n^_Qa@I!kPp=5QwyXbFIJNk4RWWe zEI*&$U;Li2+BsU^KXd8b2Z2X6_tbhT+AoOLhvQZI48`1fNF_aV<0>Kb{`)q(2Dgs| zwu<*Ra5+Rxaw8k=-)r61D8W0g}>R}q%x z*~Z3%8hmRw!@?yOo0zl~J0Q!&zAa+eO8O-+nQNywoApK_aOTxv9e(I{iE3c9^(bxMByH4cg~SbWcZkFWNuh9O7 z<=mE|60-}q7frAn$wf)Ia-=eE?&gO+#3MTmGd6AN3y?r)_tk%3NLP)@N?K3aH!^QU)goFtOil5vBLmVrC z-hh|^RNN4XIEs&p>w**!95LFS!gp@*+`0ZNtP<-^BY|%E{}f;g4NVBe!dcI?l;m_F zX!FtCOAHOAjCmJo4EW~BQMnA9Ivjn@&5EKBT@K-SmriSc*vaqxF=@JN=(S)kB; z`6f{6l;@9G@GLfHhfMPdhVf!ViYNEi_xB#e=OU+{77%LZ(pRJt&)az@1M#^jIy7B^ zR!E2jPk=|gH(5rZtDenxp2(%~(=SA6c1Aq)z4c*tr!f<`Q}s#9oe@{0QWv!&IU20* zCSQuos5V_+4v14PKgJ z?1ggj$={ivREMq6b`$ROwRO!%ngce@+Mty-_D;lTSPN+f^^lacRQaNF$hAdUkWl+W ziz^_BuSFmViQ7IU5N~dGcp{NYLTOEg(x<-k!Pn`#iw!dFpBt0s#CT|a+^^qYF$gq? zP8{lU;zqe}%Ln}^&u({&*9yeZhiPNrhKON;p@@^SD9*k<;=9S?){uiDZRD+>!;53;Nay`YXn=I^7l*SB|euGQv~U`9d{=QxjDZMa>@o>eX*>*eUq(o z)!Jt!-LsM!-F=1@xL!6i%BNhql3e)#Ws9Hw7%1yG?>1*;?mqCGh~Ro$T=^yX z+8K$jKb9X;jY;j=L!nDq$m>1#zA?OfOrU8{*hc=2^mXH27OSXN>e)+dL;jj?H*ie* zjd?K05d#2*Az&wVfgvgf5J-TEQ30}|1_C~aLqpD*hQrwoLc!IOjO1h2$?XHt6{{oD0%k(31NuT#61q?&N1X=%u31be>NFx9Tv0g8q$UPZ;)_RDL%cB2$eqj&Bt1CB+kzQ`fkd_-*?_ZCp|pC}WC^s8Y@6 zHBfOo=X#&sJ55&|A7@xV2ylveQMW z_OWA;xof|=aos33${|fHvrz2`|ETEO;1F(Nws^$7Y84}f{iI$K*Exb$%)UP3@>X`R z^n}3SK(dkL@dtz`Sj5QD#@oRQB8GlCKrL5w1u~5sUF{(NBle&GeH*%QpbC1FdVfjb zIJgJRax;}g3ZttZ{)veTOGp3>3d7LY<)43Wq%gn_MIeO%j?m#dy3SE49BAn95?v@N zAq))m@clm<`cvmW%b^f)abbWzcvy-MJMM%y6#Y1KDN;-rh}Rz1Lc)ZBJea??@z>9X zPd^-vC_)&4I2zjF^>H5$zd!61Tv8Z`KGY9CNx+1GX*;_AU_6J{VlZJ*@nbPa{JH+? zw?L-OL9N60zxL|?@7I{-6p-bCd=KBv(aQ|2T?d+YOr|_sUB_Aq7Ey7uv$F+Km(ZzB zrf|53B^(ZcBSeH<-MnpV?SLr&O3*I}2wd`aDMC`j68#c|0xuXu6#n}gQBj}-{SpIS zKzJRj@X|<1kf)0@J;lu*^d>@kO5pl9}AGeh42%qZj_-gNju6aqlu<7#5SM)Lau zu&W$D9hhMVAgSYOl8^(}?m+{9HyV)D(Kj&kD){{Y4lKmq9}o~gjK|ePAqQTG!v=tz z`F9V1xe)!`13>5i)I7ciNEZCv17HdcQ2jvza2T+Zj;f(G1?a@#J%EM)y7c=4@XcX& z{$vk|p`UfEFGtK?#J_-Lw}+ZFfyiXjYWaq47gu7EOz0I$S6Z7$$%9N7hOitKS>AwK zwQf~L3;7$A0ZX}}+&gQ9`L}XIo6CiSP$Cy=C8S>_-7uTKoYv#Qby;uom7!KpcDmO3 z)K0<`Fr9qYNJ=|$S2!-tbO*pPJ)im~ZfjqBar?OecjCh_P0%x36DPf8ijvU>Uf_`_ zvEAa0SVQH@tK|k|S7Y~NDK4$xqRjH-3_mhIa60Gcvp4;zL&LI6q-EEIc0K2z2>JnmnIlp9RSmxc1L^Es?e7RQ~WWb3PTzHmQ!5S|FUhp+qUEQ=# zkMpDBaNEv0$6*9m5qqZ=!pk(tk!F`4BSpSfUnvcoEz4UoOe}TzzWsImXF|{NFEMrg zt9u2CuZO>lNp8*P60cw*5E|v5?JULZ>|>38S}k{v6I7dOYjE#=xFN0AZ{wDn78f6* zu8W*jih?=^-WN(&>ja+?43cYAT8^>`b8zh#aTWWOVUawmI~+XT)wx8Ly(xZ;y2#`Q zk@Jf6z-e3SqF@I6@~_?3+QfGKR*BR25t~ux{3?IY252LNWCujBY;rK!a_HsrH)RJl z=Mzg5AwG;ia~J^|goFCGCs0}c?>0y#rcmI2k}$`}yMilF=TTo!@;1h(&i&{;f=wI} zKhX7Tv&Z+$Ld`(Ea`N~7sS|+1>YpQ!IC%^gffz!-0oEK8+e%*x&+900K>vS3n*&U! zZ4?d>eh1*P3Xw#~gGzS+S7k`sbtuZx!UDf%59fh3zTO&&VJuW?2^AtXjsofbV6{ly z141Y$ijOFQF}}@Ui`Z3ybZjg=-W+A7{cx;H;DS*9Hr=LeDZ&jgx!5D?i!2t;8iOd% zo7~?f6E1mjgECU4+4L8h-_Lm5Xg09e<`hBQGK_ohwdPEJ%k>9+v(D?8%>;s8&(BSa{_^vWzCzS} z>*D965AXCfdakYi*!hLuy*b@sleE<5Wj7?7D$TJpl(6D#FsO5Z^-IKr3gspuMMAq^ zMKqrQHcwGNKA&GBCqTw;wXwrQYrwZLD4%aL08zfq>aQ9UbF=<@ig~b__-uoa%n{ueuSJZ7+OJ*Mt9bMv|7!cUmtpUzSf=SantM_(h#Y;C{9WY# zB1J7>=z!e~nu;KcG~LDj43N8NOnHcF!cOC6Gq;^NeVPW3=Lg!@%@1c_TB;eS9#xon z9$~gGyzvu<)qGfX1IqAeG#m%llI6M7F!f#8Hoh({e6}t}IWRnXdcp5wX#5xJ4F&FJ zYXj!WnK`?)@jf%{>ALYA*l~np&Ft>j2oJ9K@xcevL!e^nj8_AMIu(R@A&o1Oyha!N z{eBinZaIcbAI zKIqf+Z}Nd5Pws(4h`oIR)dyCmA=<|*rU!j;l&n+<0-xedzo=yMJ2tN^_zZ~6xBSns z`6W~+h^M;=Le8#shJp_TQW*~hCI678m_^A;ocS57OI1>}4|qBVC|dWiT7z>saN<$& z&=r&=3J3sna|s>y3yo! zInwKIM5^k1NWkBiZ#OFLDE0ZIiLePtb$&q5cv10Xp;0M*;d0JSX%*Pc=NJ9imomr% zp0gvfEcc!les{e$erh5_F+u;=)w2Y8Q=4R9GyRu|ZkeM1s#y6PJIUp92m66Wj}_Bwfy&(n zrL&=O?_u>>s6!VaB%jH}DDXMx)bJvjLlReUdbU@wdP*Qs%^+K7JiMgaf`AA26T{K5 zW-!!?!9gvKhQEIsF&sehCsm%H*9~a)7s1K{8I^jj#Hnjo?(8X5l%+H`NHhTC&uy^; z3X}A&meXX(bzywCSNBBP0NavWerM^Y`}-`UbLp(oDdhgaC7#$1pHTm z^mLA`en7_RsRg?FAwHQ735#;-{#YGJ|7+oc@E!-&sk`@Bw+ZH4a_?YRbQsV({9gc? zM@KosJT8>!-0EFs3dm&DN*D!4y3#<8(!=2)rSlaODf!FEdPRhc_SC9Nk<+xnzH+GY z3^E@5*scKxH-ZgOWF1d0%0Zd0<8il@@eT8jv_8TgdN#v5v951_68Y5M(~pXE()?h`h9o6SCJrpNy5 z-Hbs>n1D23Go4hs+6RD87?cKoDwQnq=`5i?K;9kV*TH*aL7>P(;Gw5Zp!&rRr+k+5 zMHmub7A&mG(t7Yp++bX5CMH7N_kHj#7S_hVM9FRLa@B*e8J~(VYRo@daCD%zSqFBb znarO=oOK!?IfpJM{A392cc-(Ih?Y@q?=80>pBLzn8AL%E2<2{vaZADZ1~YP%umil; z819qxTwu;fe9(D8=TUE`z~?h2!&8?&$mOz5IhDq7dh|1uwj^M8oH_gLtll^e|IQUJ zTV@oob;*#nLS)W|GxT75N$n}JtFE<<7=(oZBf|mX{G`J2NtAU(6IJZztO^|iabM%5 z*tX*jUHqgT8>f+*r(h78g0158(*fWWR1^}=cE2|U({$6_H~iked7`f{d@)9$hxP&lRJyu&yy z!=bqL$N|QVj#M7CHN&Npb~jq6e}JKCEuiRZG)Be7{k0<3C3U_ z0#NNA#}MG_JF)H`+lRoAta0!V$7Dl&2y5S8bM!L)@8|Aujvm7zIdl(|cq1b;-2-!aC-(7%&~K?yNI&wqm%jtoPz655s}S#@3LvULK_hSx!UCzRvq>k9{w=kVTX zEG}0%bKa5vPNROvlQ6bBjd4oVxnYXv)PHQ{Ae^7_fPsf%T0$X1N>C_PP$^&`0=lQ{<;@W_M->)1%}ft-;*hE35H}oO$Za)eB4K(v3x#!0e*L$%A8D zK)jzL(?*Pg^{l4pjzhFK7w9RzzwBo-sD&_|@RPEOa}^=$ER%{_GQS8E%$gL=hjEBM z#V*DcGCF@XhL+r?R9b)K>I(6e{Hn9kQ>}2<*SohH`v zEQfR!j`50f4#YNZPqf3J78sx;9B{9mbT_XVJmQL76pR3N^DlVb-#2ussp7+oaIJtJ z72yVmVxwR3g|^dN++j4xJ#^(s5oBD7QTnuz!9=vF@Y31Lmy825JWt+_)$I8TE4(1>2v*VZYvVgWMtvMLvTf zSdtIHoxy=LH-%_3=O9;6@&i^bxJSE?Yf>mZ25rHJEl-{prkV)TX;UCkmCv-|LQ1x5 zV?(9Km)Oga(^T2P)^0HTv_f&D;S9>S2cnQ4F z#YEf-w|gj~bM&Mba8*qpJx{Ii%cu?WP!#Iq3Xj4J38HVuI(=cFxWF^E&BzjgAooms zHdgnBB8{=3<_=!|oKzX!8=^)vd!kkH#!{cB1F$~dq{6dh98p$IFX7S?q8kb?`LlyD znH=A_jfx0{P;CxW+`;ggIAZctZB~P@y{@W!VS| z`6dfg_{&hm{Y05Dqyk#6NOA!<#q#-xl1D0-=>1P!0is#|gcpG6d(y#=^azjv&>DZr zkzbtg4F{AyWLbP-oV$?oAp|QD!W*lipdg}d+9|eJAwf~lN)cAloZq;Y$j)RdS(y4} zK$p$LiR9a$2_F~TecLCkJ-L@sYD$Xr@_i9fEIOvcBZ1oZK4%4#7fzX0|pm z*~Sd9lqAp%J~L!JkZ%(rBIG9*?v^iob&7S7KedmZ&C*b*Z-QwB`2#mg!fcATXtn@@ zQ|zxN&`BsAlK%@z2OJ^<#25iK0^kb&Uo$!+{)5p0kW7vk9l(#897NNOW91Mal6+9` zhtVPN_psW*J!m~Q6^9ESggnu6|G)V|z=RJXcz^Dd5ETYUMu(q~2;qZ3>)|Icq%iQq zw|{D)uOxsP=rSZg6G0CI^B=&KI0!+C9xyHr`wVa;4g!e)6XakFe|mC!byQCrVA>qj z5tBssR#fbOZ2}NifH>*F^Z&m}0dueaUzGk;n*T4_J8a`ncE6by2O4v{?fuWp3xG}V zpBxJe%m{!<0Qd;S#edTQFmNRR(g1*vk$)%y|KvbO0Cmu7=1-kNRs=we`rR^`8}UEz zBhbVK=)s#9z>4_Op<`AAQ1};)!yz}~Bm@Z{g#D)vFiA9%0$?2hKdtk-V@Ko%#9zq| z2g~qS%xEzlgv-z&@&jrKp!?`+wCIkOG@6hA7)giafVjjD*YN>aMEp2dk0v=C6BPjB z!GW(5-3~xD0IdAOd(mVA@!yep^m6zesR!t22OffhNImeISqFCW;Rk?$cKmR3P8)Cz z9<>Iny94v)pc=5C0PfcDHvsMQeXv6a7EUP8d3Skr8~pYCs=K00}bUhdA2xgA|&cDi@hhKXh#a6@3_9Uofh%Cl8;);spGFheaa14H>IbrfP*sfzVF0SWjAy&UX3_Nr`UjbMCF}MHi;-p7S8O z6X}(#R4}^F@`CvC9LI%-C+;e(#Hc1BDBFtEbqfw=#a{|Ct;Dp$1gAq3ISX>#V`I}P zn;g8gq`BNO%uI|<()Qzuz7xhn*h8pjG-4WHtn1duQc z{Or|+Mf>*pW7^P`kc#1Xqu_}N)T^gv%>8!)JI?J`_TTAzA$M^lI#ceAovXe5W-#^W zxBK&D`6HxmpR4QL*Q*zWcfR(%=XhjjWdEXQBy(~!&{zGr*y}xsE{hn_97d`+HEvEd zF2Q&m<4hQvvI}J-%w5RhrUnIZ8&xvnvxgIk33N0j3Xd066-DtaqwoMeJ9W$Gky3g#-aAup7du0IDqNR|M)z02k+-L2I^>TmlG)*}Rn`tJ!5P9pX;02-c1DaqW(kN24 z!P2;G3D1{t649|Ra5{uS1px+YS8O zuDx^sOPsZIGGpz>XPJZ(G4Z1`4~kVp3>JU9zvPxvkkFdF%OWMmYkK4QuJP-S^Mkie zCH@FjQT%1Z%zUbwoSolPd90c4u{+yhh@@DH&C=bBmFfstr|ruGKH*N@yN^_2NUiP} z?zLR5p7RRBASDc@uNZI)oOHb`r!@or4*^9~=Ni@x;zWx}kcoij-L!mX3%}*+U0cju zEbWIy8}!#~-rcyc$14+-C}&&*C2{Vk%`A9lo$O0G={H5tO7dfFyN%RG>(1U zb#I#7GWpoMdv=-hqxUoR^{3MQL8;GQkKdjB7F5wSu^PU=Gc#@Y?Xi602+QQW$j9#w zWIj6NSY@>r7y8a+5x)*oSa|=Koc1nrAY+iKimrs9P)MwT>J-!MY}qU(Dg|^#B5*9yAJ=g`E9Z&b=B0S+5$4~*URLHF)tGvMU4k7jNGDkC5LC_twW%~Dm zADKUklG{j_)5n>c?xB^VUqa@hrgB4Th!hyq~f#ELiy@W!AF1nz`5XXsf%8$&#S zpo=h!P4cx0K6N&8{4FUd2k+bK{eG!(*wzF}LJcc}o6er3`8_JvnSTWoPO^?UdDY7m z6W15<*rz@cPZfGSkKk~Nc$B^t88$b)_(tHJVZk#adFz5_EW$~7^|`Fy?~4?SeY~XC zF1?%MdX01BX3y$;{%X<~cM7w9;u-OD6K!3HEJ>EY`}Z^>`u)jp1`^)1Dld(Rch3!4 zwiOt)=?Ha-p5SU?m!`Dj657GeFXw;c5~~FDbS{_}Bsce_x%O!)jrWo3MQ z<~3|1HMTAU#(Q6G$8Nx;3cbYR=**qf znC@|F# zA2Q2LO8Po*QQ)vR1wZz>y8k^;^?LPX!3&SmoXT}o8x7_{19;n>@M=B3`(Q0;zdo4i zfu;?zOiB|L+toHJ_+vz!9%>Tv_MI(`m2UrX0o~(R|pv`s5hNF zH%P^W6>1TouR@6+#n3(cAwC87dSWN~_re3;scqqH@01ftEpuF8y8iw?S+n`B+=kVOk>q?CofkDARQHJQSa?_9rLLPR zV7atfDG%-uLL*&?XIT|G-I-gZeCuzv?$|)Fw*3Q*ll6%GmS<1r-Y#IlA|5riZIOB1T%y)^`@Zs0#}5A>FCDBm|Ma`X=cu{qD}f9Lw5|xl&=a$@wd#aZDvhDNmz# z>sgWTF(R&*XViVnR=r~szIqYj&7r#I8>ZX&HVydoMiXR2&8|p2wo<*+PFuEx?b@t> zEqI2S(Xq~!^HoVn%gSavXF&zosoK6c*HC22RGEp)y7!(trf0mFr9yd8nQnxT zp^(ZHks_H(C`uyq8sr(GWGEqCp+SjKFXbU6#c%H`>fYn`e!chS@7CwKXPv#z*~8jv z?{oHdeOJ`rVjla~8Kgz&pZ4{h$$X*Z_?i86YRfLZhEutV^L+Yne#P8`A(@HDyS|?m z_37T+c5>$znHH;buA2P^UrV(|+GabxEEo*^g*C-?8h8WL^_ldqcTQ|y<&azT!5hU%i;#R z70-*J)q^-zP)v;G>9lz^PmzD{o_r{!Z0$j;XteoKlZxSmV_c$zv=^QIA(pP#_NH3O z`7@D5Zb1Z@gT{`oa#DNO+UM}d-*Ql1dFS;*(yK4Yqf3HQvzpb9#hUL@IGB7rapHPV z%9qGHZw*@ALKMgsR=yA2G(5I`Q0&yxK8)32?Y{tm@pi|PuU8URKRK+dddY3;TQ14$ z@~qoDdfG9%E5w6EgKmYYB?RQfVx;12FgD8%cDfubeewC&m=T+CMQ^5%hxuZ@`17|n zV6v_nxtZ#p868h8UFs4kpA{u6$&2H8ryLhB&}54{drL35yioK!o2ic}9T_#``4E32 zahI`Up2i0ED9sJ7u38%^4Pt|H`SVEDJB|+Ia8Abw_-}uc*6Xv^swnWmX5)*2BbPWr zOQKFCgf>j{@9p?l{QkA@_Wgp~llmr`yTTt?zj!Ye@2Hk5Q5ohdaZQhIs$S&mn5r_q zT(zQAs$Nw3b?uE6aoDzH!zUtihhx{>YII6aOo9P_NZtKxM;=Brp)&+yr7?5VOv=T1*FVa5maEfy}Q{j4n| zzBqOLTQa5hv##S;Wht&ZN*4QXm|}I}+Z}0-_7*Jo#bsq&k8y{3uM zw=0kWS}TJhk58NoOeFQ>^|#Q@2>-XUyTMly*zjgE z1*nU#JOID&y#)5axi^@&Rta^;tuXWo?^;+U-ItWh_Qt7tayr{iSQNuAw{5w}%k_Q* zNja3S(=khDY4o`#HqEnF4k*vjwFe$R|DyKRp!VMg+(i;$<(-vg$%oU^LA}GG<|Q8v zUr`S^=Yh{{Cm9Q%4bwI3G$B)bSET7~#iZb5DWw=)9y74xve?k?8(pgW$5UeSjK6u_ zO5ni@?w_s6P$zsA1xUeTqICqFh*8e&Ertt8yi2%Bge>TbHz=uE(~`7&B{klTaou`l z;GA-FFk|yu8j$cYRN{0B4iRB)fODqr1k0gvMPe zZ)!G6>)OxLp7T80BftUaXWR3SWbL&e6i&2s{-ORA#$DIh6pbpcUb?IyteThu&|Z3` z>=CP|nF&eD^DLa`!!AsGBEqjT{z})xaClkDHo5hO=*5f+< zx^BB|9YWOf{^-b}oR!{w){cZ|Q3Usdb>%zINXmblvbUl4>kQcTJIUT@Jj3@;^P|7y zuhXfxkulkcm2TUfx`n*z9krU;vg||Kxynw{{?#5u<`ahnOfL))UIqKD8tr*to^>Z@ zx;-R(H9k?kQD)8XF$IxCCH#o=z2$@xp9vpIwD~{3Ip5pj+%fiUGSU9s?%v}QS zYX-7kj+Lj((^d1lU_ii&-Jk6$xMl!TPxQle4wv{7Zd8ZW#a-`LOB%Jv!?riq*=41Q zOBBnOm5wbA6~&3`M6bp`ub}QS7ZhEvg{QfGN z!|S%V2Wtjm8-h(Bd1* z&-E`||30=~czGmG>lZ$;S9UJqYYGoG6=Yb%dWGAJAG+mkVX3(MQY#-lb;L^8P;FH* zAY9BpmoY%a##CA?Kx3etrSCCb#Bb6<``S%f#Ph1V4*uA6YQb8^XGx20;ffkLB{`+ zXY_lm9&jso_?Q&NzezGZ7(-rvT0BaxuuY2hLx1j=%`d!HZH7}ojkyB*yQXfKjQvX3Uw6f)i*vUhIMuHp_1-@U6aN|1fO_nzNI$qc2UQ)9`tQySZ{ z8>BD19a!(Y(LDHwQpk%?RT}5%QX<(gldF-#;~bm&NrPvPRCh+)JD(%ER$5Hu2zRke za)?05GPV@cVGniLVRgyk6WhjlFP`4|e9g_n;x)}HJhS#UdglbnRf#Pl(sn#lcW>hA z`W#s(X*2cbMNazuTfib8c>At9pYKKOb^?TApTTQ((^Xox%ANqsm*Fh^4TFZ(>*mlRjX?3 zdYT`MdpZ4i<%!17XkBGS#icLa8~sMcJg)Awe)^~aKX7HbJ9$!a@~^20=jNfI{4MEz zZnEN6LkN>uTw&2d8#o(drCen;D@0)A|JwFOGAiE5eKGHwoWQNU6*XMG(Y>(Hi~O`~JEq;v&GE_vTrnrf37b!-2cd$o5QJMVG6) zs`bK+IERA{4Hg0~kF>Q7o^IrEq(@y^P!fI z#CttDm=C+2bT(l`xRdRb7t=YDB5Sho`=5tZUoVmluddt9eL&>vvffEkKO(w%4_5E*qGlV3^_6-b($T2`%`Rt zu*g$&AuBx{BRhSE@ax9Kn0L=?<)rcq2ZglLg&)`YCkm9Q9vu?8t6qNe)APg6^0Nhw zrFv={74Md=lWe@zXOSrGRMxj7qLk7$E>d29ePO1l$Fi^H%?K~eh`n{W^HI9Hg+ZCd z##1RB1eEBZl4McG+iti&2f2@ZF=b;Mql2SqJ|kAS9dBGb8d6lV`VstOk|a;@g*Y zXjw?vt`tFxrSTu*RBE?1MU7=!7AD0ho^VZSF4|pEHI?yckJ|nszqGibkCxp#4_exq z-lr*#)~>x$II3Ai=dzUzO1YezmKLrXzal9)Ijg_kA=1FC@Sw`pV>yWcLSjb4Q1jcSE&~7b2 zOEUADnT&)WrwN_z0iXji(*0ZP3IaegKd_N}$F2Z21E3XPuXhf-0-fI(lJDphu!GMK zefJ8V$u@&u!D>Op`Zxb@fWU;|;{V?>gNkc0w!Qx*36?U$JwhdEfjw@(kpN*OkSJvq z1Oq5ZW{UXj$G0Q^g8(yrI|4`;k``dVpb#Oe2|#@SsPNpW|9{J3i%Xed`T(p4a{vqyV6g!B2hw+(1{z`VkMSf7f{lL#B>{+$@8FPcj2jS`@+0jA z6RHIGmq7#sqN5mjgq9F*m>?=v2orLo){m7!Hhd--rH>4;eEW0RvI1v%>k8GElm64!Yz>l2w zoQwz|J1jCRBxGTdAy^7T7c$B404BvM!y%ANpE(_Z$3hKc%8SL3AXbe<2DhBtby#GDroh9ycyfJ`bZ>Btc9#4JOw5Szs!Lm&qVi;M_yTP!j%#6PjfsE}xjSw_I2 z%R)fVWhM~dNMXrKhL}la84(L6Csr8(#~({N0=n&qWH?(grz2s}_a)8K1|$-MoU-Jl zLPNwXBjX`RjzvapEWfUAFqhXN|;d+8aMuyZhEHWx&pJJ9#anQ7}$Pj33 zS!5)%{(-8omIYWjXdRjI0!sjGDT|B(ts}Dxtaw;;186QJJz_~mgy=aI85!DMW*Huf z>JMO$(B;FU`y7X-LP8?u>mfwou*xC>x{FFjAVG2_=Db84%9h}WL^v<8q@zNDC1x23 zlo};NP{P?si^XSi3j3And*VZ66Z-rLA539&Z^9LfjvcC4?*`OP*bo3VaZD%pvy-fL((qhdk_)SJOen3P&NloLQwMu9+)sz zeF4J*VtASFK?XYrC>h$e<0;?)gf$(7fSPOZpgU0ar6TAyrIJuO1hg5Y_Xv2>V{K;y ztN>W;3j&JAI%W_Y1vMWbcyv7wJRbO^&b3Q`pVJO6x*snju(aM0LT4;ER&Ma|2>`!9 zS>Q_0)O))RI07xgIHJkfuO=DjQwfG-eJsUb4ML$Bkck9+L#h!;-w-h{pwY-Wa{oIC bgBa64z{xLwvDN`=E* literal 0 HcmV?d00001 diff --git a/documents/casUtilisation/userStories/userStoryExpressionLogique.tex b/documents/casUtilisation/userStories/userStoryExpressionLogique.tex new file mode 100644 index 0000000..b583be1 --- /dev/null +++ b/documents/casUtilisation/userStories/userStoryExpressionLogique.tex @@ -0,0 +1,39 @@ +\documentclass[12pt,a5paper, notitle, oneside]{report} +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +\usepackage[french]{babel} +\usepackage[landscape, top=0.5cm]{geometry} +\begin{document} + + \chapter*{Récit d'utilisation} + + \paragraph{Titre : } Expression logique dans un branchement + conditionnel + \paragraph{Récit : } Opérations relationnelles sur deux entiers + \paragraph{En tant que : } Programmeur + \paragraph{Je souhaite : } que l'Interpréteur LIR compare deux + entiers avec une relation d'ordre ou d'équivalence + \paragraph{Afin que : } d'exécuter ou non une branche du code avec + l'instruction si + \newpage + + \chapter*{Critères d'acceptation} + + \paragraph{À partir de : } d'une ligne de programme à mémoriser et d'identificateurs auxquels une valeur aura été affectée préalablement + ou de constantes littérales de type entier signé. + + \paragraph{Alors : } j'entre une expression composée de deux + opérandes de type entier signé et d'un opérateur et l'interpréteur + évalue l'expression. + \\ Les opérandes peuvent être : + \begin{itemize} + \item deux constantes littérales + \item deux identificateurs + \item une constante littérale et un identificateur + \end{itemize} + + \paragraph{Enfin : } si l'expression (condition dans l'instruction) + est vraie alors l'exécution continuera à partir du numéro de ligne + spécifié par l’étiquette, sinon l'exécution continuera en séquence. + +\end{document} \ No newline at end of file diff --git a/documents/casUtilisation/userStories/userStoryExpressionLogiqueSurChaine.pdf b/documents/casUtilisation/userStories/userStoryExpressionLogiqueSurChaine.pdf new file mode 100644 index 0000000000000000000000000000000000000000..648a175243d88b0807ec528d9eba6221946012b9 GIT binary patch literal 35420 zcmdSCc|29$_dkBkT=PuCHH&Zu+-shPObH=Fndi(3ndb}{GnFz=4JZ;th|GnMln@C~ zri5_6=Njtu?sdPPw?4n`KfgTgd7OLBKKtyw_S$!GG(lh6?Hz=v@w3r}T>un8=rVgR6<#(}sD0hdnX<=@JSAM8>}=3((?rib8pn*; zgz<{cQ=gn`f3DoKJEv{YZIb2_41ZzS`-O~)jOFD6*N&jj5__#P6)tD2TAGuj?x>29 z-r+TW>YW&b|B5Q?=73~;>4Ov+xuUCMIS*8~hSS5I7<_Q)4iw@|_-0c6<8x~ADywS7 zW7j5BLphRh>k9*!;;ZF{nsei-vyDq-;nEt%aam}03W?~coFvZUohz>4QKcf7za8^I zS(D@5NbGuh8UN19K05{(8tJKwbYfytNUmb_1e2}CtCy`7NncsZ{AkEnBW@4Q8qdsi zwW=`no8B&eD*C2V*?_%c!KctNQW%PR)nIUiK}rXb$0!n%JvS6Hb;kekn@7d-kHsEI z3%@pnp8g6+(?;L_R&JprtihYe%(NOkTOi6u8&LxG2Ex{2 zsFW@`eOuH_k2CFAH2YhkkXyPD2Arqk3s-$i&Pylou{U(`Au`jl%^n~qL&k6Vi}2%E zrPXI3&vy)${rn83-I3d^#uq2MmrY(LEyDQasj(@yP~VrIbxq?>)9}TwufO(u{-r8V zmq)hQZ0_x`H)w0QJ1Wo!!4a#kkyAEDJYhVvP@YqJZTe;3rZ6G@1wsd9URw$e#gMO1N(Uj9 z;djw03m^S_rovxmXl_e?j!pFr&2O{yz68JK8lQNd=v~$%zu?Sb*5~q}4?V7&MYnG2 z-92&2n!ZdoOOIe^<%+lrQ&;Rm-L#V|>%J%HUdu#4A_*0s+U&;oEqwVDE1!zVk^MXK z>g2)=yB}_lrW+zoQ%q^uGv0gWk@>XvqxRjxT3LK=-BxA0W>y0>ax$t6 z&&+{I__&QWT-!;-bsu`fR!&~5y|qevimT?7I+=Oy7bkwI*zDZWb88J3Z{2;qR5mPR zAhHZ8CA-$EHWE_IeG$AI${15}HEO5%#im5|j+Gu^hI+}{lf$okZEldLY6P8&WiG4L zM!O%6mXou38MB$KO|!j3&6^%0AQ)@+?nhQPP4Vbm$G*B>6zSX5+^$%C zO68;9`b^B_%!R0j8SaVi=5X6IqsA#`@ssI3S9qGud{SKL{MdCDsZ@9aA%YqlKlkjs zkAEhE7imsioeGaJxL!P!Z?fOfS$%LPhP5?;_6=f2k$BYa?W@pUIQjR-uy9=w! z-KXb~{OVsC3F~gmaZgp6jxn8$dTA>Wj*@v6B0ixdC`_0z6WtU@DmZjyl~;02M-`tVcq+uysQ!qf-fkKO*di(4o^w)^i%F7c0< zfpwC@FmvZWW;tsA!vAuXW1c>oivN#i`9BwsgINw2haGvA`}9?5w8~QvPLPv#@?sxYuxW5`N3>_GQW8x>^*)rEt~b*n**<>R)x~z9&(jenGM)# z57CQj;C>xeFW$RaE>h zgxY`+D$&xpN5)yaZWc2H-n8pvM$D+w(8%2Dk;GvpZ11mzU4N_gPVKGQKEFd zZ9`du3mKlKnm+AgdNG{TZ^_;pzCH1i_?OT^4$xS@_n+Xk~YOxz*JpP?-El z(R(qyaj#msd^|-1>Jj{~fo~ng{P6Q#LQs~S%Oms-b7h|S#EVxyYC0pf-g;`Uotmv_ zD;Uv**x+V`x+q)UC|5rFKqF=ZoSDpa_eypLT7ElU>T402ODE#0iQ7apW4wZ(%$x<( zqa{hD<*{w+MAU4&9ZIX!C(V!P%Bo5`a+`db&hj-DDPn-Y;o5Pii(*IL#(nw}G}!lhU^>7{l(H#VpC2g9X5DwqCRqDFti9=JoutXuUXyWRi%@ z=u0h=t-x<$Mio~g)9Vb2KG3glH(I5%htG8`hM#2Vygz7^k^>Vu=XGD?RmG1KArYPG zB$uK$ku%7FyL86k{a!rmtz@l1G(TiNcC-*qbSPV-dQUx(dF+;?%-Vv#&;pX$K%`Wq zjjg;Jtn6el4xV^nCze@eDOK2t-My zn*`x7D{;=J)?_8#yp!(n1R}H>4|^WnaO!sC%2*+&k+v4ZB2EmL`a_&BG1QT# zHUj6Gp(3Ukpy#zCzFr?@|RO89xsMGG=zxzAkzsno5>1k!87 zYUtOk<>20=C#zdCr^_d&C$p-PHm76aW@2(-Vwz`S+C@Nj-7Eq=GzDycu1w(tMNxW^ z(TkIbGmyav$O0&tMkt|BL~dv>*>`B`c4Fute;65fnx0Iy&u7kAIH>87iP#{Rg|ts z7fHt;VRG#wwVsJ_<^pg3dEX(jp6ws)yAI_ewu#YQ)?$|9Qw4>jWlr-Cyl;$6YFTPo zbprx2B&Au7b$j#ks`BGo54owAbsjt^L49QP#U+8_xa3kA%Zn%>D`wN4D5m04LO^yQ zcx0l6hOfJw>t99X=Ue**Ds=y(%;tKQ(JQiAo6t|_T#!9|je(@vz(gwj!HfFAT5tMC z_j&s1udDQP7Lx~ptn^KVv54oNxaDB&fgz4=N*_)ZV8Xz3p>SR3Lj!f#w7@i66d#PM za*_kyS!bqm%WP{B92I4@#U^hl9C-RdWJ>;kfpB06$etj#G)_@e_w>n(lDIHdrNHOt zC^S*X5)SdOT#}|mNHY-`k$loJ$QsWJ4}m9z$AZTmP8Lp}grl3%J(Mb#L<)Lt$!CbA zSO0{6zj}4_-Tim3`oyXYFx?W>J?vKOF@C0VibW}2bvLE!)}GUokppW$$VaoSTa92I zm7+4UEghVfVEHqQkq)`V#=@r=2_&MnqR`}MO3)-8)!kr7MiVHUl8GV&GKKSkaE8#1 z@Diaop)4UYA!!tDE_cQqJ|hSt=m!bk{eSlhj>X`UINT^8|K0I%*e{T!k|u!?-u}`C zArFh9x;kwp%y(LN#~pH8a~x00e@h^Z?s~E3oD=~{kjZoI3BNLn08^`{Up;>ZY!Eq! z+?E4{LLRZ=9W<9Hfwdb;bFm;-81%5cf7x7G>;2{`;So^bdn(ZURxCn{Vx9Rzv6O@Z zfe}z52>&$%z#tGos9MvlA>fH({6AO_HCU>o5) z+(Qt#xuIdq%A67z-JPkLa%RmP@tWgGIO@LtcWG~<(P)r(&%qYJ6~p%piZJwK+y}{IyYDVX5eK&G8dW=bDo= z$5l8+b(l51`uDagf<6(37P=W+ z#Tk58Lz`FIPkf*@&?o+hcvmj%pj#iin&lfXG@Dp5(fdplA{9NaEB6T;`o+3V3n zq-_tT?F@}`t&%%qm^A91nPj4_S#G@Y-BT*1%MdYK==s5k;*!BM+1g1PY16nO$3h1f z?iP7eQ*IPrH<)L_sFJYELnFXh>YMwSo0mSS6~Cz89Qaa{tJ=Wpp?IzV5;rb!DGge}i8vi0{tG8WMgy$EaZ9N`Jf~40I4c<4*KBA` zbe7Z0s@9=K;(=bzQZd~rK~sDQHV2L6i#vkvqn~ZPdN$&?&THKjaPO&zT%n(avp=p| zb$tXDfnWtOhbsKv7mCRK28=+6mINaiTuVhDpKdi(m*$0gFX8n-W~U)K^Rv0Lyz>Q{ z#uNi1iGo%x&J!CRbyPIFdY9^D!2E)5d6@gfTk+Nlswp3cv$(9I4EWOr6Lqy-o6|X| zmQ49YTcOy`#8_$FNeUAyhs_1ZG!G6?hP*@ElM4AMP;JcLP>J{G;_T4uc7Lx=(|zh= z-^l{S?NZI|-4XhHdo`%Hf&81Vf%8}#dgrxxq?`Hk^gK7Fhej`9lV-FpB_`irko%}S zi93GJ`Fc4P$zXvmFu-`-|M%Y|gAgA=h#CP)5uqg)0peh4bCLcDX3zb1FuMz^L^x5* zAu)NoIC$YZp~;~NK?Hs*C&(U~$<*Q2ftte|E3vd68@>?xi}oY>9*XJ#?Z>gw2hjLI z2lSINabieQ)L(w`T$vuAG=hqK9QXl>^_;u%Kd+=jczAdMZ5wDDJmNw25MA;Dx)^wq z61{vWe#;=ojZ$3{s*zl`kqXqnRWvc(aOGxfaE#}Zq(pzvI? zDs72EDC5=F-?lw2KSH0YfB#-z>%`bSeog+kIYcww{nsCu^dITHYDc<~R=ZW}^viy? zt8PQ&T$8)tP%A>2mOIveMRA!e?l?}!oP1+bod(3EMYSm{w-F&P%poM-st_j&xvRkV zAtr0=CVomfW!6gfR{>o`NJ%!B;U?(JqJrDkH`JVw=?wv1q^fzVN!`!GzmS>Hy~o!m zbEJ3=`V`#KL+aM_rikbC#3PnQ>tHIUD=d_atCDfql%MAeg0$Q%CsdA26W-Y%PkeF% zY>|e4LtE^60^P zIvxl6Xi;&>2`qBJ0Ai4oXd*k!a69{)cQHcCJygVN(5okXBddiOzDP(rD7v~# zeg}6D2SGmHOCB!p$hToTAk<`WI5TW?;!12Mbu9U%`|<9d`e6b@bN(MT@>Y2B(;@XZ zyQD%D#QI8^gAtFJ^LUiWezK~Pt}r}3aXY$M?bGuNZxKh5W%nP__y&5iZ1-}@l0v`H zBDT-U@xCAh|GXSE1x1srp45?XYFR^O%J!%l3_QE_IQguvC`B#kt*T5!g35(Dp2udB zH6b$ZaYQ;FJ7AF|7PJQkf-*;4V|`v#Y2YaU+i`H6l_mHa`BOifG1j*Z^^r`?g829J zVyJWhR3Zf_P6KURu6{t9oRr+%+w5$wd|Pf&I<0%HBO33`g>D-t zB_zJ+?UfNa<|(+Y?`eN5)%oS--16qN_a8q-ID2X~miu{X_oi50nT?N+$pBi<#F+_)@zR;~R-o+A&(6E3`IPB;c zrtJ{JNU?%zH;5Y;`$Ua}!gNc)m#DlwsrY>847{&Po3Ix(Dm1G=O;QaFyuG2%k?)h= z?-b6xv29{QKIW}EQ8zRbSxCP5Xx3wCw#SIBjhlCYh?}rji<51|^~r^l7*+FhZhz_P z3%&ebVNOs!^uUR`bRXHPQ_mQA*)E{UJQD1ioWVo|VN`u*^^ZYgslO zmVt&-x4j1NZhgKfRC)~R?j!&HeMsvCP#nH5Nn0X!uW)@I z$UCpX-l4F{em*$(?0Q^}e`rsej%X!WsS3FQd?lYnirUCBlA(2uthAEh7|}69(IP%W z2Q5!5qQQcJ;eP>a8eUaVgkdmn3I#W^i8Rw!B)5o~TZcR5DjBb&1QVZ+ci*ht$;1~0 zOT_VHs!zkBUJSKTjJv;C-zDA7BkO-oO~Fk_(@y(d6BSw!#}@VNUZ<*dnt|^zh15bIwGdF{TTT%Ggi*M#qOkLM; z$dJr4cNkNAw)i>c%y603jT7HrJwj*7-JtE|cHKQSVpBZ*bkNk8{$g6c>a{M%_FMh~ zL$T973gQTh^cL{>NBvGuu*e7-ECvEsM_-s=z#`8?FkvrEyxWG1L6eF;NS=Zb@YOB97R(pLWAR?YwW6a2mmfs+Tat(j$HW=xngYel(a!z)Hy$%#s^Wafp z>z=gx!Ry1de%AcN`qiqDnRBm762nLQYx>L<^xo9ju{fs3&XR`A;U&E=ng~1Xet~LC zH}n+2YmV3%TradEPK^?XW)%nmoC!d8IwkfQ$Jv#nXp`k4{Fstn{$x ziKDw@LEG`Z~zNDh9i&eVaQ2*rUPt)FXRN3xJ7~@ z-jmAHxNDXe3aD`6(P$l~qJ_dkEbbip(b-X;{E}Mj5B}*p{C#CT#l*Z~ zwy|hN;j&;D>r^i87IoC+57uXb7Nx^Jw%n1S=wf6u6-#H6(Y-ZrL5(Xa>yTc zId`+ZPo0#XA+$`Ai#^?009`0l4FDI+arL^@ryZwhSDq<--jl^eSEBohb>Jt}7xI$x z*X&w{&5Y}`4OrnnPW=#xx~);G-Ec}l*5XzgvOn=IH}cq*sjsCrkM9Z;=T=AtmOR7Z zCJQ#kqJ-EGy!g=_sJ$-%V^yAva6(FwZiOm^Z^_@cMv|l^3`s005tAwj7LdG>IIOlz z%_?=1(aW4}3v{f5Xfu_gZte>%g4O-=v1se}&ZzLK=NQ@_j~vgd&K-6D>w4)Zyd^j< zQj1sWDWO7M-jeXbh4hi)908+`mT9WtCZ26fvBATJwa#lc&u?wWZ$(>Ns3E=^mqL5l zFo5j%4mx`&dO9YXB+|{&&XT~*OEdg9mTqGK^f36*HS5sT1|_uO(kDQ89fT2-{y>^c z%z)AIuP{PLzA(67UZ~3KmM}OThz1G5GPpOuNsiezFtJ$U&$jAv3{b zfMFH_5jHw~UtSpWgkG2A-<=V~hMNB(gp7DFh^RGy>h_79?GppMp>P8z!f4+i3MT-w z@Ed17pZ?_#jn~3BL}~tThyvbUpifa?!o5zBk%^O$k)b&eQJnX7U|3o3ytfV8tfNz2LNQSy68Oz0Ur1{ww(1ba$q{3bHrSKDCM(-!5Uwv>cwJ zKz+J(C!lplmK|QN`}N^qVo;S_e<63xWPrTWq@LcV6d-7kJZK~KDSj}%mbpYqz@F8Z zIEhK#h5Ln11zFlQ%n~x|nh-vG4|#fyDwlVPZ$e>Ikv^1AmB> zz7hfLfoGQXPk#dJ^MCaxKzA*-+nbiqlt0mU@_N^H@RF)6wws%FOG1_@@m6mWkp(j` zq1h}ph`3qgr_qE_{*cZP2--3!m{6pXY~|u}G+J%}jaK5V+jpPHc{u4~=`L0PdGzk) zB*|c+dy#5-_{E*naK=7u@0~I_t9|0fbrTc*(W^jgk1jC@uA&}rgP;FW%hF=cjj^2C zJ8C(W7o_J-yPnLXq2)3Py ztNp}JmyhD$ywfGmC)5P1n@C_4^?ac3WNRa%1yLaB$BAP!cX{#}KYqM*nZyvfX=|Ig z+g|am=kBzZ>r`vxos~tZTci(~Z{F>}r%4l8?bRHs#$Oa5`Z7Lou2nDySNEsM9`Wrz z$$X+%VdT-npZEG2uC+kPh}=z&3;4}(O)!Rta)u-&C2b_lhIk{#-0Ml0l0nVjKvA}$ z#J(yeb$4|>*QcgI;rCF%S1kPfTP1$f-D#KZb0KpRJKh=L^zwPoyU_(l!=x=M1ZPc( zWSLd(=hwDsPU|pxZKvk(>{WIFhIsKR&6AMMKYeF14KZ>G?q6Q{*M5@19E7Q1RN;7>dC$YL{QQ zOp^4qQQ7pezD4-8jc9JA_mExH0mzoZN?b>`S`!zkYobYij`#N(wjcgduZKS;oU81m zeNc4qWzu@)I9G}(Yo(f6^=$0iBag*J;RVp>7TUiP{N+c+fR_qF64bF_kHw`YiUnK3 zME}CoB>raKbxCN6__fkl|GCnL|98(N6m7A)gpS_6jh1s+*hTY~+M|~z$>w;6aovd`x^^hySGZ`xjYqq zUzM5i=**~rO)!Y{3(YhqryenlaFV)8XlY0aE`CZ}%*N~O6F*3z9qv~?jpra}bGEau zZj>~=`Ngc^R{DHKz45&MiHeV!QC^=Gf2?e9-Y|)k`d&o$CcdcDZEa_9>RfE^ViA07 zUIt02=SKep+IzQx*K!y&J%@kJ1jmt5l$SKp%Uozi5Wn}4WWpG__(+(NCCkWqva`_k;<15^f;^vC!>)_H}iiAu!V*u zgyP_>=2=Q`yAZYd=mJcUQ0kbsp~ir3o)VqM#I3{CqeOS#I?1xsJ_%%fg^-kRlMs(^ z6OVvwfszdh-IZ$srA>H#p9W9kf;K5MF8;f}Vpx&l(f#$k-Fxx5$jRD5Vy!&J%1qK( zI}arwJ~zRDp-a#U3DFS<@~L$vOUrlEa~RK(xHNv;L6qfW#nawe9dvgZF_Ar1pS0K> zaZxgDUMrHT!TLt>`N*tl)73?PxnyB+Qt?8~4=g$q(;9|CkR>5cwC#IEKjl1sG9>yA z`fOmUMKu40@<|_G=2PLUv~y5bwt-qBDm_w%IR{O*GLTg&mL6k)ig4)Bdu-mjx5W}n zoWms~>=)1R!Wp}JA4jm6{g4O<7BG3D_Mp1wjAuj|1IHKFRD`=j%ts zJRj9Ki@Y~gx-fW2@3S8Jc{zvi)L`$6YP*K@(?6wttnU2O2?`EgJhnpggIn%)nH*}S zY{L8QCkIp*9upHTO(kh&TMTunY7MJ4erzY9$0Lx7$yMHaL$+LDr-$+kFY8}2xZ{!~ zO?M}h>?hwBl++En z`eHYGc1?bquGTs=?tU|=(cNcYj^|lJqg=}Q^En>M{%y6?H>5O-%-%$ncjpC>yLeXM z@)};H`T?>BJ^tEw1r(9Pz}M8$Qmq5OE9Euagi;%xXY9Jh-9H`ztK(zMTW z4ESlhS;I5!HRi)2M=SsshJYQ}1%{~VLm&YvMkUCK76|wt_6<2}u0PFimj52`VPYa< zVq%hoLZP@Y1XVZQGMbVMt*{|M^$>6KIr%CYw6#hJ5cbe$%gh6ENssq=c`RMR23h~Y zgfZ`H)`*m+d$D}lj)Rr6R+#fM$+1tPy(&=mCkn!0CN(jT(n|ykHKc3(0d(xmMRDCZ zFYVQnpmLeZa_-f4bzbURbgkDYxv1phyz|e^ zU*P%#RZK*8EBb6yT%Jr4Xy|iSEdg2NXi-2uUsEte7 z9Cb{I5lx!;tU5Yw^K^IZt>X;Ekv4YI5XAGaH&x!a`IOHURVy1Y?Iv}bxPBsf z$$H7@-y;1dwB2X>V<`Aw5q%#k@4XBk%tZuPM91zR@Iw(uVSppFf5enI zxC#d<+CRly6h#RGo!vkFXGOou{O5HjL|j}L;1BL!MTi|XLL7>D9p)-hOc;pQ9+pDF zgn=BYKkNAC_x-o;cSjTm_Czy|=VVz6IV#ZbT%K>2^yEe@0smw+IlzsevHB9=%5 z1S$Iaia2mZ9D@8^I}&&b^8pwfsNc1tfc~K15Y+GfNC17=`vC8i0LlZ)2<8BTz@Wc7 z0fPc>JU9S-0T_^&gE&y;_X}ZApoW73rXCok9vBRB0A31%VQPS39)@8ah5-$R!GL$e zU?>O-_Pe(*IOe(i1JDRy0Degx4m=HqivmlK*zb!7%n0otfH%N_i3>;k^ES{ZI0DFR z{GD^Sw+bDO{{H9!Qw>!BKL;Gqu!EHjGtzr26s8Pd zR>Lq;cJCZmfiO$O-nlqrkMp{B4x~vQ)`=PQ!*>BKf@3f|rVKFB@Wc9nF$S8ne;pWI zK;;h3fij2h0>*cbQG$6E7+C;V?3a;1LJ)^-09Jfp(K)y-0ohyJFy(=lbJ;T^zlEqd4hKqnx8 zunwL9;-z~Iu)PX^;5#ry4)2HpljYYJ%o_gd3-HokEdT~!&*Iy!0GK$xS^$WB5C8Ao z0pu%o*aD0W0gc#y51>1Mmi_vIfB=m+yaNClUouJksM5_`ErOkuffGW`CjkK7&@%@wRs`!D2)@@}pa z6{O~cHdhDbRHegryud>fVp}C^v4%<)mMaX(FUM}n zP@P}GN1Nr#8h&8C<8<25X&D?a=O)P-xI~-4*Gj)AFrM0aOI(v!M5jyQ;)EpUb?Thw zKMIpXBhtoSpCFJ?AsXX$2iHL5T=EoEOqh;~5p|t0BVF|)SL}cJB*1d!<_YA3P3MQ~ zhDB%Mf{7dK;7tJ)P37&rAz6xdaN0qv+z*by*r35QNXJW5f>JT^L*gGkeJ*|RLh8D2 zWkT7*&*k;cV$B&BZtZ~Tl%_ba;3ya3iZo(zrB?oD6VkHlO<;`IAr-DyUG+JF=x6h38W#Dq#xOtk(2(U!9 zkIjXbYfvK1F5E|oe5<}#7BF3&zhanJ=JIXh%j(aBuEiZOHG#|9g$l0*zm7=!n9?O( z!bKp|D`xC0#qI24jelA#c8(HNn`)`^ZoR)MrPpiYmYg0JAETy=oK%d0ItSbq%2aI! zA3GT+`&@A`$|}sk^~I2@*iM#3^0e+?@MuT-0!7Zc_!Zh>lkX(XOV)kIZLN!gnFuSs zbY5u{+wxr|O&36{N1gVq`cCh!g%pzM6Tz{`#bOTv!M1-%6j;!YEK!8`AOgdK1nd|t z+F#y8CH+6`m~3p}#Q)4n8lmh6u0)?fe@4sM7^B;Fqqm9H@yL8ZK{;mkZ<&Rffx2bo zZeh_0%ryT)Ct#?f$AJ-u0R$Xi-a&D#^fd{*4w4V_|2Nb-zzo|!F_u^wy@ zyG)dci=)S%tHiP!j&mMd80y!m+q5A`ye1|adtkv)#1dFz5d~(E`$H6PiK82(3H=ye z23?3HGkF-meHtKfV$tI}XQi%R8m%bh!=E*J?YPP4y^+RK_dga)6SK)=KGpbk%HwLY zfyD;52s+g;?#`E*Q@t%gcY3CsSF@XmPI^5#JvO}K>lb~Iq%-y0Ow#+e`s!U*R=;oV z5O%IlzOYGJ=<%`}kV%u`S{O)JayIDKIm`YzVoaHO9g%|4DqIpRV1mt36;jR?)W`}_ z2w1Icvd|lxSnHQ7u<3&+1+n|71jbyeKhvUV;?XD_n_YAlWl|GtP-!LjGLa<@_WtRs zH?A*9>2=bcdHhf)zsX;(`b2oTY13Y%@YYo1<0Ni!>8J?>y1CZnuvN7-;RHgCen|F^ z?$cKy#zJjZ&Td!UyHjwv?d!9!cQkC1j4ztIQm}{|vz7cQ^1n!POBmQ=h=V2~C?ZX_ z2xkC-IGrgUX-(L1{2bQSQ^$|f5%7J-7|aFXOe_mEebvMA6Hg+{c7@k|;<1|#%B(?| zJ`RWD;ajpjksPGGA=7%IgNKl#!%-Ft&zYR_{SX@e*?LW$_wh=fxl(rS)}wfzskThr zcn{n-Vv1%?cU*)APyA^Aoyh@E32oNPK4P6p;{1@trEz|vvwprmizPN5qVh<-^b;61 zi+fZ&he61cBUoe}=d*K<;OCWs=&mbY{UOrC9Z3)Xx?eSJgGD}=-SrRoz>r7xVj{%e zJcQ~4v(pgcrxw$LK0HWxsse$J@n@b>wD}d^*E;zai0`-j&++{QbSQ|gvk5}Usd|d) z1RA6~8VpMQE=M(umP4KT8LUfF`d}CEmJm@r-^F7VshMCC2!}rip8n{UrK?QpAA71% zmvfG4iW$haPQBZ6V~6A+Zd^}Z;c)s z3sFeW-?^+!q&Kln0XEZrmgtr}44{gonb>h2pA6hPm&!fqlpMamrL$$XzCAleU?#|Q z;WK;U!sJG|AiVMftVLS6anb^UbMehF9^*) zwyDf>|MzVw^u=D9*$6s1gh&~-3tK|FS?r>7cX48xEzo(ppiB;Q-YuLS3pMCGglvXV zjEazpL6sn)IV5ozuWMr&r>hha)eN$Q#=}cHEr|H=KQbL`YX$?|Se)GA7-0OT@&Ksz zsLB)gssY0wBU-v6tz6HOIB^BXoipVDbs61NGIhWv;I&u)g-Q5T%WAOYxiH_|u6rnD zfNM!9x4H1s{oPHZbJ?`wOD9K`{^!oU-`*QqJ*n$Kib#D}V`VG4hkEansT9n2oBe_t ztN4#MdR`-4`a(m9AEtTqyaS)AnDC$}FD%Z~_CaaslLHJG1iovN2)M_-j=ylXvKIe& z8~$W?j7VE^SMxG@~U;1$s?0h zs$f)HnTmZ~igyPG6wg#rr4%eC>lG6-+taEnL{8ENUy?;vWKr�iZv zFeoRm_yXe>rVsyCyk^>-YdsQ>HR#sWoljWd6A?WU^Yg|wpXBEYyfQqG9>^$>e0$ea zMP^)norY5Js=XzzkDzatN5TAkw;`VlcHJI!IkV}<&5XD+-p&7(5)vDb2CS*0YFAqy z5Ke>A5l*C0MAl9d`vC;t0RbI?dlp0rd_*34YD6lZeeo)$$)AQH0d~UNstmmcKk6#; zN;4@5`u3$eZ)0JtOf1yA<}Q~#n41Y{n4?Dga!wBSbvNt4t~OKnk%_ZU0z~Q1#e|ADpIABy5PT7;CU=GUK&dbF;p zdc#E?pZx(|EAKNN28%I2( z!&tm0WQ?Q34w`R_i~K2jhKJj-|ySF>ILpFSwb9m>kH4 zfjl?}Op6h$G@B(U|B6eOoxsGU)BeY}G_Wk=QEj77Cs{@5#^b40q4D(B(JbCEuE`y=y`-k=+ z&?Rd;0>mLEL&TqA2aV-}>caYaUWqJq8j|c5VEdIm{f06sL z_nQ*BWKmocis@{5bs>!mrbYUBhD+pOIusuZuTjLl{O%y5f#I9McpnX^m<3SDZmh1R z$W7WzZ%+4TM#)B6gL%D|mg5z;^VOQG=N3+98jG@kIYmj6`$u>H&Hz`ojTjfZwub4Z zL$o*#sFu)AX2uL^Axt3ru>9Po%8*sIaRp839U^(NCiydAT;jF3CAdOHXD-LkQ~H!i z=`USgBK;w^?5tR;8SeUO>w05vAFosYo9f7j^o7lzG_Z%&&6f9NkWBY@TXGlBQFHJxgj_%I`UE8vGocmcB6@aF=d4Unv2 zK!i|*F)RAIazv{^m9gx|TiegK7kx%^v}oou1dpqK$T*qtCQS~N_~h!^gNlLq95sS> zb<@o6POQIWc=h0%+xW<}^S8KdrP5UdI#c4RbmxxICztDwg*MDnvl<94%|+qxi=8%j zE$_nQjOiS=NR<;6rfzSOp9bGrW+pCr{{oB1uwv1_5!nG2je{%K7rDuQC1`>@ zNPa+7CPc%WWMNgB8Iqhwe;4J}B>0_t3+#v2Wq7r#U5*`^rvo*XoBQfA{9F&cq3yO4CKYTu{>F== z+(eR7!{_v8W!kg;Dq1x-^*5@MX)eA_jEVKZgve3%K8<}`Z zD!s^U0<+#KEI!MK`x#{xn^fOpmgJvdlB@qTRO9 z!1_6ZX5U4B1I$_VHS{JrxN%!<2K{py4ci^Z;|yxLN@)>>rkp|(Ey#u7PvJqDn?kf$ zbCJtvxjriw{DW1lT_>9op|smNtp@gOByHgKU*qYIqn z$>}Pb1T+S8F<|~$kb>rWk9({u~qcdqHdz&^)J^^TpnYA|6E$I-iJt_Iej} zbgrHx6TXTGq^s7Nu$wI^AoY%KGs?Su7PN-EMW=Zdm&dIpyo6J3*kCXf@1B?kidk%@na z3kD#Gqpn8?*f2s2<008&@;%apA`JI4AjAnU9+E8i-yV{9ZA=ElfANq2c^yoZG(E<| zmr%`=eAAN=GBKq@)aX!rL=0xv1#-?$;v19X5a(Ww;S1T_Mu%>Klw=|-C_XmI zTf}`Af)fehk5!hJ7f~~97n`p{Q58O?3M*|cXxvWZWU-YfN_*X>%VFX~_O;*S1P{Y) z+lSA)^3JE!l$PifTtY~)>6i`<1!xiaXbURM9W&RSz*8pc;g}h3WrbKu5a|Y=8nEsw zun7?n@|6vDE0DT8!9FjL*2BnQX{gvU#S#ki@mU==pJihzs&&OVlTu9uu1m%@Vh04X9wlP0k+OT88Hb=YemKO7%Kqz1&E;T zz5oBK6tK7Y|HajRO7s6kefxFn%kCFjV^3oax5fXNt$_*l{|7Gv3!4I9ABc+q?44f} z0xbLrfM@`iGsxdOf`9WSP(T^XocUd5pGg7GtA5pt;Zyt%oC*vX0=jn)1DF)Q8+6E| z051N67qQQ$I0~r(2yXvw155(Lz5tj@Fp1x!4>)3vD}neYEn;sP9*P+wM!*2t4}=3@ z)4kvyCXkL1-C=+npel$T#>WA10k`(c12hD2%&ftb2Sl{zk;R+?l!QHB<=#2)?5`L; zKttGbGhuFEXb4EmT-*NwjKX0vFwBEJyLtZ(z+yXmIVLX-V0j%p1I)WU^JcFYFrkpY zSp)!Q<~NG~sQOn6fYAOP7}$nno-y-r-X@PW;*rcN?dtm4tiqx6STA6$4mzJyE{U1GkNQCca6NTlIK0dDl=Q+U zuCoyj-Ibq{qMJyd97~cx7F?_fJMz-cN$CfPj)y347v{Og#%5ACIe2Tz6u zs){@Bw_}C-ean=NOsvX^_*QR@qzL!~F0b*Q4UT{T;NnSkO-^h^7bWSTWHicSuy zIRZ}cTAwf3o1awX8{%4fJo1SHVshIa`qU@8`E+D~2c*nC_EuqeQB>gryJO}3-Sd!s z$1r@kSob*p@DVD!@l>;L@!m&pWQ9>mI4rxO>cXbq^NLL=|EkwNu%HzzrlTmphdH_) z?Abx>w9F?`GNi+HaFYlPvUQR*k~>21Y4NOZRSBu?qJX4h;HR_JEZR0!@6(62gj5dB z8U>Gyp$uW~%GmSF7iR zH@|ehPWdF2yD0_T3;F8)Cu~*xu4vQG_TxOb2s=VB)JSXFIjI&`JN-orqFn1w~ zYwA>_tu)EZkME8tBrwpKF!d=?GN@MP_O%cSl-<>tWG z(NLA78io6xuv4>)9x7wx;Ln(VyVw~L(%`#{HM+kHj!fnG;T&{zgZ67kgS=mY?REso zGrIDU@3W_g-9Ee{o~#vH&A>-Qwm*g7(E@py ziZzVAL0VIMrIl7_*0u`W(@!fMZ7xip`aO%GMk?itLfo;SE`u}gj5|&?q*=v8I=CIr zrL5FGX%g4a?dAToHeKl^F3VJA5i<45$+JRd`ZT~KkcsOVT2xB^kC zAjMtXIa}uJ%Ox&)mD%fp|A&6(EgZEg{b($jfXyQQizvgzR}DbY8Xduep#I7CcI=kl zXi-vjZ--tG1Vc>mQv@Ol2hvW^Eh-0A6I`%iQ>dio{BX0=H71nqg4e4oywnnNzOu)S zbavWnChP2AMDRr7W`T#f#n(Hy-CyNA80OegRI#r9JEY;o37$;^*FJkBN_ zi-{kmyHlbpVle;x-Fdg%!i48JTWpfD{H9lfwv1nWnC(wJmiRqbSz*VBmGxLBC8vO? z(nvGIeRq!e5DBpsn}r)$OVtrFP8%19e8Qc)x9%y&kXzj{+-|v0{mCl~iOKJ%lQ%eFf(#X`;n>$e90=PWlttMPKvuuFU7nm-WJ;4SH+VZ>*i&=9dmj zlr=7fk~zP4lwJ7NI{6a$xbFnfbF%NBhVJYX1>O77&^YpC%e`s*hslTTE$v0}58jVC zS8JvG0@I$n8oe?7HL$W{Y&m>)b86D?>wUS#A-3^Zkq_VQNPlq1wYu3>QgrFlP109k z@^kO*Q_|mH4PXvbQPxGB6bgxzSD9eBo+ERUg+`tdE$2szJNeGs9pB;PRi@=Oiu|X9 z7l>y#arH=sbUFE}(0yo z&YcNqt9uP;ewWV$wP>j>gJi0a`>@P{Hs74^)K%$2=oZ(#_*7eWA2L8_F4%WV-nd0; zmXP?)EkU)uX%JOBD~d2%%);v(=tcUb4N|^_kn_Sd?Oc@Zja=(oe_<+Tixrh%a8pi) zf)^X;75-N_l$66R$39BVOlY7ZHW=e{IlFjl zsn32?#a&c-iOT|qAzNB0a)s14DT>6GDVo|hS44H9ESEKej}&)xL77r|vXsqNLl1UV zXVcStv6w)(#xYdTD-DvGWR)L~`9er-wA|4QRv4I}y2$wMIX<`+b=fNW zwDMEi_|=&%8gjX{}++==l{F|vg=hIj%&7hxEO#4BY&+8oyS zR7pt(@9V3*zG?2NI^|B?T^~HSlY4^m_gkH@e zxZEP{Wv)bqeVUwqE%?^3@UfAcb>U++;iUZfJoaz5MG8kgoY!lU+RAmk!aa1YYk9U{ zIcbD9g;hWClz66zmM%nw?55zmcXUJgy~%JUGXC@jUg~3SpBS`k$TMp(5bG2_#Mi(r zOKHg?wu7BnEcn19Rt4&6pEDgqrA5+E<}*}uy3jmJn7OCCG`c$V3ie}Q7v)!L#$FvL z_4FIT*J}(vsM>R8=G5NTlqTmvbU*f9eZfIez>>v9=4tgZm-q~ea^SSV-I64h6AuMF z1<&`KTrd;pXFo>hr6k%WIC-vOy~Q-!Wdqrs<8fBx2o{F+a0+*wK5tq-QTqhW(AKdExbvR1{= zy!=f@ty=QE`#NVi9w2;7OSg3l?49h?$a{Md>6+p}m#UxYP;I$`EiC%_PBz_W;@T~c zaCMqxJ-PJQhSc#}d=kM`qPqlP=>Za6^_LAh%w%-cFA_6b(5^dqu91ri%RfSdz6>RS zlt8x$2TsVl*ONLiz7y{IDoZv8B~4nRj-N+MS#0f?D1wYgsD|Q*P8RmdUu0yXNox&n zeXI0;y1VjtseN_4mE6|fP0+$ed9z)EDmgPoHtDhZUU4_*{IUcS>&M$KtJfMJbwz7uUCNb7PYnA+ zXt?7+Ti%ete(9pjVi|Vc`;KmkQ4aR*ecRsiuAdMIPa!r6N4K!$$VQ*9*d$xknEYW# zAkMt3<<#p7FHfYrYfF-r`?UK>Y`DkL*O@iqn+4x@ge_3z3(P9v!S;Y(HTQdm8X-*d znw;oiiz_QDR~KGx={o+XUq?j6qWWA7ps9#8a_Z|Gvk6&b#>04d=hlbFzy04AJMLB2 z?!D7I?$8=PV7u%yO*W%WH7L0FqghDIy=Ke0){^?#JrTkDljmJD(7L<2(jF}PJo$D& zX86;3*`Ltl%^n7yj) z{bU`2^LDK>?uITcVrAnfza~ADx~a&Dt+jN8JEf(~Lt{z&2TsPkS<3D7HkZVkGqI=l zc-~7**U#*4vu^L;Ydu=DwAlXzmQle)7?hcez7;UR`$G51<|Es`$lSKd;cVO+`&Ozm z+M&SpRr#QF!FhaAi`S^OQgNV}w}g-5P-dlRqJ9gqH*TSP3nf0jB<*W(O!1{m|(s`J~pE^ZL&5b^Go#2_xkN#Ve;hDt3QTs7#g*C zBX;!J3zXFX?Y{wn@mkl@ujkWro*qzAIp^i_o>Q`*CjT0@o_4(MD)CU!kgMUUsX@gF zD5)fSl>N%sZjY48m!A)g8nGGI_2vorm@nl^I(5w!m4Cs=%XIDWk+H1GwUjN-z<-zwi8lMRsKF1M$Hs)w*c=opi zT5GbgC-Sk~%a3A7uBt^6^$`IQ7xn0-YUS>(S;}K8RqEQMT12JaHeFtoi0N1{bT~?P zNOo0wInM$Wx4;rH{vT{bZ#dKdt*tfNx9U1c2Q`Jd;YLeMWU{txvo%*(j84L9Yxlos zElNK0WFULeWvsDfa)(PzrgorluG%{19q(lDQ|=F_S{u%^QHO_o$(fcPpJ-itD^|CC z8&l_s6JyuDn z!_D(WS=Mmvjf;L6iQ%{6tIrmqeD!#*cHf?CFV{MyhfD9|R506GMH*#BD+qg7I0c<_51)51Kf;l%31YY&b8= zu{vgf{holJ9Wf}vg4vf}^^$me2OdJ|7Q5Sta2m{0*5C^x*mDHa&E`39u`lnAvvCJ5 z#DU9UnK&>UWaH{u>hB6ZUuM`$aDZ1_;UV~w4i>!GOaba5q8Pw00?vUoa4uUD&jz6` z^eO}2$etxt(l64B*xtEanwlwa6c$DCqc^WKd1b>WO)sQ;orz!mor<4pa>D{^<9EO;76*?B)K*c&j+U+&AgTU-l=JFq6Sp0yjMRVuv8Ek6+ZAQ@J1STP zxa#hmaX%s1bvOHjWu9OE@<7W$wJ_X7qS2o;?LXUJ@)}{wu%;3+%EOQ^5IbJW){_5|{O z^p|a~fAqvT;`u%C51ieC^$$^h@GFVu(WJQXgyfp)C+%`_Z84=$QH<`S^F5P8kyV+S z(Kgui6Py}#hFapmza`f^d}3^NxU_PsuRPsuY)zo9*G>oLFjc*KUHOy~(pyeAlJJ@o z!CetOCC)UG(!HZj_VoTW0}lOevNzj~^F7cQ50w0UCJQ?}Dm%H_Yx6U&u-CmKR@0kS zeCjw^-)-8j<5O-vc|gGQ^c%wKP=?mXqxx5chC>JCMbZ>;!_s$F z5)OYRd^)Sm|M}gi-rMe7qaUWyoIdRAJv5o$m(AZeQ1EKBCUb$RT3~_!52k#7wW{El z0dzfa53HTf@uyzC6w#bm+pn5FVo{9gywU8KpCv9)Ay-v7x-?uAE50U92L*QpJ^Wp$ zM(?<|(b=2^|Ln<`hYix}K5}V?6`_b59`BC4t7U({dXsmkMlhx|^a!uPpLLhgZ#sTH z$&+2Y&qVERYHIi3?WZN9*{xG%=KD(SRP)@S*W2pvR}e#)xvgPK;}Jyv5fM}5bG@i1 z-5k43xhz0kqB*o(LHOwd{aY6Dog8`F4^|5;y}a^d|8kp;3H`z=qq*C^@QJ;4^bj{J zi@jc&Ymwj^X+O6As<(xu!pd{)eDthgD`5jwtqefgShC+oqNL8?nL?9tZCA$L{4Jvc zt8G3%ReH1T%U%PCM$XQNYyS7Uli&AlT5i4OzToz={S9kWAFX`+zJ~D!d1}w&k6Sg|^#m^3SqBfjQPj?}&cU`pWw&)Io8zpby7-E8{9|?}Y?5oYR4OI<~0isd9{oKn} z=wVt@#h)oiZo9^JGG}B`YNKkpTtQgl%%evC2CYWNM>p<|`MUje{;B%lNOOH|-MKG* z>lwqNJ{NY|J$qb-8#q7nFk?z`>hI}E_Zx$QC7W^>Ub5mB!U$9OoDp$Cwu{;lq&#Id z%15E({@(mfGA7B*dnwPm!eE!)x?`~KTuX?Gs2L4DfswEH?rge${IX(@eC zdURs}Zf{@2rP^}o$V<&zxb}&BUC}#b$}kFWJMBV_qlX-j^L+Po_XWCD;Cb?{SBv%k z-m?Hm0PNI8RxJ)}xcz14)>U<5_V5XlxMqz|z#;1`A@-Cn+pFR#=|B3pvg!9847(0jPssk~@e zWS+Yc8?idrx^u~{$6tBu{ht`~`$XWAr=^au6qroc3TDwUK$p<8M-DHDAMo|hB|9L(CLo+AEGx>>UA>I;iBakr`$ z%c3eN9b+OjEwxMXOnp{-HNS!9p&7BauXInLdt2yNsjokp*;SgMD>^Nob6Gd;Zd%_$ z=CQy_R3#gFs_z5ht(o@V`oKDR zmSyRQ3Wq(@ZY0@iQl$EU?-;4_|?c(6f>s_!UTmz`P1P7YxoKI|0@Z=y(6k4;Ij%%+eA3 z=fEK2nzKvd|3w8unPV`ak~G08H(*wPz!FHe0!KvfXFiGFzI;;wCcdf4MVPUUPrvfhlus;rn92e?_Lu@q+-agn4WT32`vwz^WX>GEmkQ+009-z^ zCIjryZ)$DiBIOp*eV4w#Mm6{6-2QXl`^8Etv7|kO-z%JU^ zmvk5&VnM+3zNrB$2q3@segUHV9zEQ-J~xh>3j_-d8tU8?WHy;k1T+FbhcR~#(nZXI zJfI?kfB?`Oyz>JB^7A|PT$_N0vj@V{*@MB+={TO%=36}>wG0f0o=wlsFdVpL;>S2` z?g0jFL2kbOUhsT&@Fe8%>>&R?f&i)|&tMNa1FdYi)!d%$hz{`F0{&?L8X$}&4yytZ z!l1ha`2z(Y{(iaD-;d@NL`N&rv;cJ=a9}tB4jjUXrKn+WN*Ih1(6jXS{9h{e47Y#) zx+fs0a`O!Y2hv;H8#-zl1^fECyZQOSB-wj!4Mc6dp`6JeB}qL`*Wk zF9RVzOfoE<0_j?qWOy7Ia+fg4Fjx|7a4a$+1XnT3Fl5;LnPpfqGR@#b3D8EE^>744 zS}-^=#4IuE;Q`GKLWYMFG%R`~NY%n3qax!aU?GbOvmOBtI}#Qd5mL;s$jG4EVU=WJ_WWOCloEMII+8r<}vFeeK>k=dnQ6Cf{q^e?$mqJ0G0m@fgr^vFPD3$g;cCoxuYMGwrs9(PsxHt8M-LgTObC4>*1_ z_1oePuE3LKuV`o|9TJs5B7sUY#1knP3~4QiVnj3`ko9SRip_dcInpWpM(&wa68J3Dh-GiT16d7pFMv#0fxR0LpxBH+_Qqn#6A1Oy84 zuyp}TOM`{99NZm!ogfHN1mx%+SV+a$&DX&jBBbJG^1 z@FrQmQKubBHTj)-YLN)$wXfEXTc&oOj;vROzHn5pXq2ZqYHxR<*5E7^_(n0q0#m-d$4%m%EaAPYwB0 zSwYX$pjp8QM8!#xG|Z3r9D)~&2yrXfZ-&K5@fW>U`A#YO2$?XgjS0F(-2qV@UQM zj}x>)8+PdgH`%xgmqz>Srkgf5-MK7S3@XS^8MgQGKD^;RG2UxA+DrDa6dWm(-H<0# zOX}wE?AztjMpr)vn4H1ULTp`gmhcy0;&jg{rqdCl85?A1JntC2h}(G=A3cKAG z01up~%Ui1uZG}!%GPbR}>{`scBJpt}XPD^z{rkq4Ire1`%woDm(gF34(|5HQU|V3GY0?5%ozrHIzWWVt*!9eh0eyzLx( zAh4qXZ3la28wHO5h#3?p5RniOgo}wngkchbB5-jFFmM}hpglzFur@H+$InBxKG75v z;298UX+SUF;t*j}MbxDPMC9aB6e4KY{;ihX`A`k5p1 z8@GpK*VV?&Ehg&`87bf6F5Nzt!ISYyTj0?TpYfV{mveVYUfg}$vvqmvTnP9Kv+sHA zI=4%2Y6_<(9{7|x72PgfuKPi2?Tp}Af6Pz)km~h=d*0B>YI-*J}0n<{J z(_E2@*YoeMo7S}`V*j|12fC=mjvF?6Q5)O0X7#1f7+ZrUINv~}4mY-+Pf-wilTSVa z-^B~O4x8}O>cYDS9?e`%PskIlhn;q%Uybo13H4fucS-gnHzrQmnX0A;4#Tr2Ld!PVp+$~!mX2~(V{;|2P`C8=7*-F!qBLS(Ln85Lmvr~O&ZT`C z)O<*$`@OH>R-hPr1 z|M7DC>q(;ruBxHb!-EC)ARA3`B{+( z{-+%=mrDJkamE{u$$zR z`Skn3*0soY*nO1DcCT-ay!^N>kd^p|y`tKD#6f$ET2vF0Fr7r=k1=;b2z?~TSUh6 z;=0h7{A)4zk*3V=u0&pYt@>8=wd#|#g!Ua4TPmfxofs{+l@wtYtJ-P#t1h|cMs9Z7 z4KR`rM+RJcE=0;_>AU2?A-p6+c46A0w{QIm<@e69+|i|MZ!=B5u1WoPHuBd*?~Gpa zd?)yh(GMzn#qt(ALAr!ayFkq00n^a!E+=X+NL@{L09WSJM;rf93O0dyEeEAZIQ5kT zL*9!@Tr(;|(-(uU(}hN?$N2AOAH?l6jVi@7v%4nAZ#OuNyQP{&(0ei$qe|rdqaJ`wzFtL4`Pp*8{wv8ccVh-+(V7{32;st z^S$8f-AK9pLaDDMNOqm*E2bVZakNSDd@>8xP_MRB<+djd9W$}>Nf*SmI{Y#N>4Mjl zyTta1XQ^ynqLCtM$3C$g$GQj;`ThMC0e^+4(u3+jF>QQs5R@@giVqY7*(o8@pbi{$ zj?dl_f!+&od~~^<3&9}e`VE=O)EWsI2K5_xm^Z13>NhN?3W=$SZ0n^hsOUK8=-lY& z7U}2?5YPh;>yW9IkR4F)N376TQg0$^Q6frU!-VK_3~a!De}9 z;lkKpOl5vncu&2#&Mou3_u$xA^F3xc8^O!ERx#;?BZh*POF@n}`DKX;!g{*=*`+n`QB0Ra&RgfK)4;BJT3X2hoC5k8tM-f9Wy>BdoFO?9~ zZo_4SW>hGA^|w(;h#U_J^6$X?WK0eQ@Xm3^1X7(xreOJ?dr z(_Ivr{Cjs#=HPd_D>{NW2WXrjv<6T+wiBI08aGM+%&X5pI8`T`9!W_1{5k-2h zT#_|do{z9vUz1Sz%hIrSCKJ1|XI?Vf8#9S2(u3PE0;1q9$+>VYZ?*xi7Cdc7FlA3f zqIAgmX@nY{O7ZQKNS)vVodug-866azk80H>vY)gJD zS0DKFjByoixtB(WtJF8ovp4-esNQ+rusgC@NjtFqB5Xdi@Seuoz41_u^~muJkQz(Y zB{V|#E2KFQg2eB;hGWCk;5L-4wUVTA?_m$nwbt)kw3p+XkRR%izd1TAKRmWIyvKbx zI_Xrxstawa#cJECyf@Q(ce?H8cB1dHlklYBA@TEC)$iw$-o*X5a))PuxGQ!;!Ck#n zv)R&Jb>!t(68i{&2fL`01|{xHqK*K!6_3!H5ZfrsGV-Z*3VED!d~rjqMizMI*nDj3 zoN6T=>i4hQp;G5F!Sxjo2a8 zzRl15AM*&b-G9{BLt|`W`lHRh+2hjZ8@y5y0^%RjQwY!S)%WheN@;mN>-Rt5-M<~@ zXgZ$xp#G*okbr~67sk-w%VCASfx$fzC45t}Hzy66Y(YIF6X4{9{D|(HDLDOTesm%U zZI+70ZH8fpfEB|kX@0Xv`jm#qg^@^=xBkOU!uRzO*eDB(8q=a2?iHnts}N!3oifaS zgo8=@eTk`VU^?0vnfJ6E z4G~mbk;rTRyoHg?KKqv8bm~`4f+M{=css=|fRQw=Ho)?yS)iJ*}4(R4yu|9|PlT#aYhA z+iKlSjTEVXEriIlj*gIqzeU`a3jfYqW5V53h4uL2{Mh{d@PJ>-19FBtrJG$4k)|4~zD!0uQ=J#xG#+%_(0YK?NPLeqaVU=Ako2mMD3JrdRj`j2620N{}00T`s_V8j!q ztG)Q-y*4{SY77b%ROZf|9xE2(r4We;?k@F!= zZ;1smN($}V$BWs+yF+)j99gW-{ifhTp(%FlsYRNyzFAU8Jwq9zQp9EKjcGi5oHX2s z0xj4<7^twNI!?!{KFAx#8v|5wC!Gh49MAwU_#e!7$w-q+JFt>H2}onj*6{0To$TYR z9S|Hmql%DRc&1$b@&qeuUY_cD(LA|y5Y(GvH$?HB;6OwQ3&nUB%YyG6gqCN7kk6=3 zf7VWJ8$Em(mvU5ieUGF6^#hlUTC-eoUm59DGsSvKwJmt9^*Q)xdJ=<5vnPAm( zTN>L?{|xi}{PNU@Z!4-N$2es}Hr4OVMl$pf2nSiP+c_#5%l zK#WPI*G>&Fbgg{Y_x0n+^Z<+^1tV;p0QRD$i0Z}bnmgqFuc;n=1mnwFlB| zg6E^D#vZsuC?p72+eliI4*Br};8f5s`X!QGx<9MhWSp2Yw%Y|S=XB_+youd&=l$cs zH||c1H{xDEUJp3!`{k{~*>sh~xn4#VfTzp|Y)30CFj{OfNTb)2^zdWRZ3>lk@ExHyhMN34c3B~J)c(3bJ=%2fiV7U4(q8Elo_ z+RbZtWh^gqz6ROHy+I=+G}spo{e2F*=rDdGHtdpGFv=X z?C7R3!hS{F*zOFo4&z9Z`fZ;PtXrRN3Y0NGJ^kd~y$kQK0wrPxK>UYKrKNmJuV5T8 z9jo%ANZk{<7tFpnQedgf(k;KvVi^{8ZY!}rD5AepN4ScpOqp07zE;R6MQ&^pL({Q9 zR8~d9fX84YT*77Kq~(o9G-wbp{0}zVron2GNE9MYC*crlA!@#wty-0`3r{9)0>6ZX)`K?buq&7Dyq(fduDgjYAa;#!qZ=!UYHYu z+mZx2itgrsHXnSi-EIyePsts|{@Vc-W=!pE5$A1Ia+_^Y;xC3^4L^I5UpY_y?V0 z@km19hiM;SxLh$o+{FfQWcVEPgxYGaOjKW<4T(;o*O)Xmr{p$_C*8o_yA2le(?R&{ zrMjj$!(Lt%RP{Qo$lUk-!ZxQL`_?%No~uE(csTZM+^OALwfIwZ2VuXb^rI`If{^?gV>_1qZgudtB*9`7TF=VIz zO!D**?qmMw7gb)?J=|69OXuH#e6)7x!>~RyGfri7saVc3M%5X?(MSjlpoNM2ek2g_ za1>Ez2*4gpTRQ}f&#~)nXZJTeK*#9wuXuotZifX5g^nVvt*!T2yINZITbVfwr&}Ol zGqR~pAc`$W;VlgLQ3Q0~E)|2E$dK&-iN}xxDRY8P;;W=KenBEtIgg=_&6X=Wnz5pR zsBp29FvY(^)V!2uKzfnvxh$U|hfrwrJ3=`MPt8&zUS&2c3awLQlu&rM^<9STp6(*0 z4>;2PRY5nGHHhMIy7oF7WT!7XI+oH>y3F6yd13kx@sKjeW%KT1qe5cs(yq~uiI)Bi zmKn7T%~?+#G%^N-eGeGlT-!=FwWyqLE}4_R#23l*F&}e}JoeI*-PzD(>BtXlcV$R= zX_?JLvY2J`u9~O;z9mr^Q^k8(vF!_a_i{Hs^2^QP+N8=R==Kyrmx@(Fz(ot}10D^T zrzpCV=E~apbJ?j%^#++nzLR|+F15URp<~?Kq+Z*Q3BIkqEfjlOqfWa?UH**qtxU1u zlzSXv3|~HeEwg`ekM~Y~rR3$(XBZqrVJ2uqj1EPMiv9M28+ZY@>2gH4Gg6XNYh>wM zD?tIZk_5GpV)&90@fng}UdiB;an)6FCaIgWJ{DAaAck(d-3-?Hg)f*0CeP0dadz)q z#iOpAr|Eh!ajKvuf7}VI=c6P48pl$o4y(*tLYcUtE%~_{;bVmb99lmuvkaqMEQk0z zhL4&ydal~H-`bJei?g<>#lM%BPI<{Fgy_@{1{uTtAmegk5{5+1 z4T%5|O1L2uVSE&%gyVo2xlMA~XVZP^Z%Ws1v{NT(0U_CN3iG{N&EV6@CFSOOIv6j& zKbKZYhrAG1iA5$N?z_ z>l2a$By<$9Z(U`x-va5{505xS6@sLrJGKkWRAvY?14aX1VSlho{B8C$|M#=^Yqp4z z6p3L-yB#DF5BtQCN%6Eq1CbEuaO59Aq)$UK6+n0pZzW8PJg3cEuKQ+-_C5rx&_a5c z%P}c0$uGR$GrYwejNM0d_v2SSmS)PQwz1RurF1zq;|nC>pKjd^>G*Mm1>T_d_0ecb zXtnHcF-PtD5IL9k`ud;JJzjlJ8?_htlr)-DM_($%>&Rq+pGqg^#_`;*Qrr#GATSw= zaZEY6`_`&E>oETP)}mw+_5f!?#g6CYD%TFwT&Q%Fbh+}O&o=x=!g?pSN)H|>Y$t25 zyF*4e*b3rzIj?8e+##JzDZYVbV$q;Sn8@$@B?yt>;^3^S}D^ z&;y(Ou9g)f>31ZSoc`4xSgAGE`>ibprQxfjSnId(h{EXTkj&OQcpQv!vq;?7AV^O* z1Zk5RhAY%Vw05x_iIiPJA{9C7k3tx-UM>b`hKmjnLVtg_d8sm}Kyi$!KK7j+ayadf zw(pN}D%+zx=`~YR?l)I@hP|m$QsK&KAvd_W{o7WS`)^F<)!kLiv$2w1P=8A+LpGV+ zG{`k>5r6CK;)}1{@*OS$4Sg;ox#wz9`*wq@srgGkJOVp>OsxCFO;sq)%67L`j!U2g zRzH)>B<%grz{SB{MhhZOFpQB%YvI=T5<6+SW0k-Ny6fPObI?`!w*TI&kNd}tn7eDs zWVZ+(w%)wgk4=#&v_7CYS%baIi}z)E=6nZVD5lN+TIUA+!*&^6#(|Z;?0gN$ong)#rRB!? zgT-&Tt6k#_10OA4zvH`ae@msWs`H#^LljPp-$;DMJqoFjE0^#o58ig*GtUJ577qWB1_V$LUZu+FKY=nQmp8P)M4k^6E*GDj@ zw6yLLgHiFEn})vKLPiDWQ_IVO>cpkG_tcYjlzk2~#^N!IyX2NG5u|=?Rx-O}U>$XJ zCyqn$9ppe|1hOZ;me}2=+QLrgo?<$j=et?Uyd5OLk9JLzielZ_$VVJLESr!Xu@j3Xs{(r_z%KrqOXp^hqyL~ zpO(h%@0LdN-=l|6r1ilHGH(AiQr2zh0LfkEh+LhKT_40k(uaxeJMI&=5&6lvweQ@H z0MeEW2a3V{L^az;WSHkk5~_PkZxM|`paFJ&60Oi4sMcwhBf}o5HdlHx_r}mZ48-(> zVwR0fAD==nRZTgfEIb_(J3TRe=jA@nHbI=zgQ}-VtT>&n7aVJvCCzSrF>kt+wV2&t zvS`3l`9U+*=hO1`+78_}hP=A3A+^giY z85f^jz&>w^;Y=z_d^%t9`qjOnhM%mSxb8O7-@ z$I8+c?U45IWo?hH=)&z+8wc8reJ_d=&6`J?k3Gy_@uNHc7LAb5!9da9cQ+9yN}xX^ zVh9yAf+CKSyP|p^c?5gBmbYMb23L0IlgMg}>}EW@9L?#M#s$S?!q+sXd0Ni5rfNh%0TgPsrIEw%XK%fn#>cpHGlYlD9_7HqP(>} z>gh6JdWNAPb-640qGaZxRt$TS-HkNMnA{q(_2nShG(k~9(PGUhMjet_4I=@_ihwuL z;hjRDQb7=r81gRi+~p4IIPM)Ke!l>E^(ZFF1*kjoNS!g6KB3cslcq;G$TkDbh|xer z_#fndECvp@Se%*jn7FvZqIo_TllLBA@U^m>@Mgfgrj4o(Yx>W6M`zNoesS**nF#5; zA@;O+zB^uFQQs_;DRpVsa)!PS%E2R>JxQ(#Tchs5-|g?{{wQGq_&96Bwpy6G(c_VA z#Lp>5B<&71k)f@J{H5=0{zbTAb0`+)@Q z!DBLvEcRpQ%vMF!kaUD|HJ=PV;TP~0WWFZ~KQf5QaD!9$Fj}`Up*Sy|@sfEhEjRl8 z?TbEBmJM%2ydT%P3cWK^v>Nr-|E$kqDeE+y5$1bQ^}wiM_Pf;f`j78ApF)3;#YYaTq$x<>Ib*5SUxzTi#GW1<(g9 zh`@Mwp9$^&+btQ8&BdW!?s$t*t)f|SeM@qRONG1bulEyjEt+#Bu3r5RO{}}?=^}pS zQ^0dl@+Lh4k(>PorrWwTTI$oDH&dHE{YDl}KWl21O}Dhn^HK`xtRuf6rD1ITDyE{Z zAe7k6yAqSr=nC03$Px79YjZFtI**2{rLC<-2Yye=XSPLLb$pSw*WX>Hv~F{#qW7%F zCtC~8p+*9{(8R<_OWMaD#lLJWKcJY9+;fCNmu`xM_TKtR_v`_lhG9tu>1*P_=KY&2 z!akYWmaHRz8m~66%mz%j(8v)D0EQu8za4!*R1YD<0AfcK$d(dFZXu2wIXm{hyWx!g zp4_6NBch|DI|IbCFkuL?KCD$FDG^eBM}q7T)^0oTIuf+EP72V4kVu=HV`fdiuch2S zha`dyvi^Y!V=>gK5hF+Sd{y@XD-&CtAlqjGhEHz>l%bxD@`913wegTLe;k@x!j0h& zDwfug#J;>2j%uk;*_>5b&zgHWFLW-t*Y}P*c(qlZdg=VRhQazziKSw%M?ZXBs-U=3 zQu<-h_51GXCY!sDj}4)hS+Lc_zWn0-nAcd{3ZykQO2Vh5a?ZSA|4QarRys*O6MUMH z*P%bc-Ys*1JigSJBGY1C4Vk#B+gEq%6wRF&`wO!WM0@0`YG2GkO}vq~b(Nog>w?JCLwOsC>hfo zr1qJ*f5Lmg?&|kATkJ4(6;gQ zc1F?E1)(q~6t&X>uV2>yRUK7J;gHG>5fFh0z+n(E35XaJV3+@e_KxDI|DA)bei7ix zD?ltDD1y3*v$v10qLYm`1TF@gg0MOHfDi`@89UqiI{83EQ0N?B?<%_kMkx2n)hcCi|Z+xR@XmWspu@2)LjK(3g`! zVR1nqW_t8~Qssa8UkoaE2#iHV1p$uRQ7weX$%93qf)c2Xqh2R9#9)E|{r`WuAFBN5 z$w%E6MhGGh$3r=~hD!(nLjP->qn;m?LyyNH4if~Nnd5sLj_2rF1STjf3PFgW`h^hx zb^X_GfkO(1wT|BZTTlQ0_8q!8J(B9t`^k8YBx-?LStx}%RK627-O++NQB1IqlJkWN z4!{Wx)QJx>xR{X5;h#7JE+Hi7?%`|iZ~=ml5VAo4a|ZocA}k_gbNB}w1QGjH3e*z@ z{s5CG0{dAi3fvP2FpG-+Dgo+8pBYHVW`G1RAU&>Ll_KrAPgoBfx&)>3kFBEJ9>jbU~u@)?!n_qwKel41 znSmeKufsV3Ms!pMm(X_@{I`O&~P2K0ZhZmrDtmxw>W zQ`bgXHGuSK%WCC@UiaygROyI|Hty8+F%pOTcDl%XW*P3FjK>}ijTeeG$b*&&ggJND zN{TWHB3dg21du}KAB#&pOTA(~ZScG^mR>xGf#<-8ot^_kt|i(ner?y>Yvu|2`W zM6+E0g!FzGn7pQS{^_+wL(Y_Y6B?i=*rqP}%VcHacYVNPGa`GX8wo~=R;!hU6_*nB zWyma7u#x74XN;zp?z-qYyR3pk7Ca=GF0W7~b9GQJ^G;`U+!EEq7t-mKxHu!pc8xr* zeY-eSI68CsB@d2_GTtPIC%6_W>sFwkY)W@Z1h4n3IpKOBvBL0+#t@sin>=CQ` z7?qq&48w1_0B;GYY^mr92+vixi_ryQ;&{jaV}^!Nh&lU{@kzzYjfqZu`ds$>xzx3Q zs^s!VpDP-kC0Nid-TDElSNzEOPY@%5QiH!u4g3#S^T4qfooLjt7z-ZJ+*nm>OS$^w zcz=%1xoS3r*J4nl;ADT!6(?zMO4Vr`o10;3Px+qmG}~UuIVHPi9D^@q4dXqXxOH4p!NC?9|AB__RB)$J3QNSMmzVjeDia-$n0q238 z@@EK7(ctgS!*z5yy#G9iFhSZKR)su^{EU>fH$iqC#O>p4VG#v@Li5ZY+%k_a2lbti zy@f_6PzK;{Isp^^{p2eGF@k^t)IK1WZ=m@zmv8XD;r0Q(&khoc0QWf%YYLY@%7V)G zfEZ(VM<^6&V{MJwyN`9(4p)B-NjDK8xr7WCd4mKQY_eEq?gP0GB-s=aZ-Qql%sOEe zF9#DtpF3ZX@gNGr5?mY+*rC_5BZnn78df|MV3?whNpOyAs}XjXslp=cJLStjSH#y54ZE3Jms zI~+pD45P%mUux9{+CuO4&$_N(Z^h&HY1Ew@{}B)vcafkc3+K^{sShmQ12%;Fu5~zGR{%XV7HceBnX6c0MCHKTlYr_nyZ24ZKFc!exJso`I z{(_KNC-a%twtU4+?go`c!P%BwN9E#MA7h@Rau7?$&d5_ObgV|Mt9A+|X((WTC>&m!MaFu$jL-rAdvM&zh%?(ZT8cFCiE|IV&R9yz2&gJz;h zV$Ak%=Ky9jl^GXdZR9EJJf;ryQ>UnKxHeH5!;Kp|>7K>4t z4Jh4*@hB{88|FsIQOX-K9X#Eqaap^a&w$~1?-v55B9cDaZOCyxSsSuYyq>@JILYs0 zXO3Qy7iJ3__$7%_#GvkcDFcyPyn2bxrBYwonU43{D8>LG`r#Kjj0&f&U>NnAq)vG~Z2JW2m3idyf>RS9yfTVice^06}AtOLsJuMJY zHWhU;9wbQVO&BO`QVtrWnS| zOA+Jw!rkW+l**}M)s{0^7c=eqQ!8@cJ4t|5ySuGdU8-REHk!%ym*Mb-VY43sbM=%6 zgA&x6_1G53KGFkc0yFOQ-}piB2(vTGKHBzv_E{>%z1?P}v-T_=R7Ks+v<4e7$~y0o zaX02WjZ2@G`+d+r*oSAj-oxE!}+Ie)kOA^3vd4_fVK(qhS6+GDfKw;D^n zx!-!jFc~hNZ1CffHlF^>775tg;8}{t^>F}Itjr}$pZ3efyz5`#O{M7c1ulL4%-*+W z3^?X|>{g%QYdIc|?VN2DUX`_NW6G}5I^z2w2?Gj$SCj}bAkl;(Y+=~? zQ2wNvATiMiyy_&b*z z#W1ehELI*&qT8?ZeI|Mh1jZ2CW(CxoBcH12u%PMBt3Cu!*1`yJ_X-kAtB&M(2DcGf>F0;YS;;fd>#5kGI^8k>TIYu{716X`+Nt3pxjl4 z1)7Et9_i=e)|He42|5yi!BNBTUMH5B8@E_?@IJW}WTRPhXwWm)WhtIGM5{9 z4yS6jxtv&3=+DB zAe;zR#2vdNT48qbA|0&$VlU7>HIp0<^QbGr$ z0SD@L*Hh;ZASEaj?o1|0Ox-MgAiyvl;nl&pZ;dC1IU#kx6N-IeqktoZ1 zfQcQkocx_GV!)HeMm$bhv9qtzo^+nCS9%x;X~I8qEs|3b&NG}_pnw_VyGD1Lr1uI7nQ%1|!1(H~e>n<(DGkj$)WNezGlb4#6J8Nq6YP9XbC& zH6c;0pis^*A{|r7<+~F=2&gI{ob7pQ0;cMrxoz~VDe!vW>fltL(w(*0(@!;WdRo_W z6~o2Tpe%WVltR4zW&{zFjQ0LxjpjmDs{V;7B?10?uM3<8$28)5Z^gsMV!4f%A!RCs z4Z5+9w^USaxXEF&JjCkYe0G|~dXna{EjW9!JIH?DL5sie47}+XKJ6s3D%3vAG0;)V zELj-V_4v-C1gu6P+Bf4)nt>UM8bqYH5en2c-+gM&?xaH28$J++VSQCfphP1vbeQ}P z2$3h495`+Rd3c-+7QtC-HBVLgnG7!HK_!DT|7$WBFw0nE`$*kX+gQCMER|{`mcbU1 zQEn84&qrGUYz`{_$g+e4m9G=8K^D(oA!Q+cqzXSG^knHKkXYrU+@n}-qY(v4K+59T zE>L}k`w7fGS}$doI&5jkGiGXM?~%eOn8jc9}H zoBvcoAP4c!uKx*UICczCO6X9LYTJFT+rb4q8&wbac|04(z(DXaX+C#$b7`f5`dMe* z>}G@TN0F@A&4~&%1(EWo1Lv5Em$AOf0uCOMaS16FUWP=nfXV?65zxIY(yg#?!?37* zfT@aHr{6)spa-|{3by3RScm|iI*LcNh#|VzqE`rz7p8$j)3PB{$0xi$n%zb70~ccG z0OubZt|>w7eR@Q(>?8_V%mww~%`|2u1_eed#F08AABwM%B)r&klF>ksykMM<$CS-O z$j!3U!)M?t^>Rng@nBU4~!P#6)K;?S7|#J*sK7d2mL|RWRNs z(KQ6qqBG?J8nr+JCE-9I^>?j#?eHpXunV9h_{_^_;=HY&rGLw_^_phz;dzhgiK~{kI2@$1lzDs76RY(W7^u@K3??I*7Ri|m`BoNU zF}Ou^4PVOnosLq_zN8}KiCbEo)Zn4^L%_lBw#`mhXxJcfX=%jWZOWp^ushB=f&n(i z6Dvw5PY=TVfbpEN($<8^d5=&jMgHUMePUhktyOybl6TM1hzu2=34iKAQ{TO3xb4v zou^*;uvVB#vT69~epaG97o@CJi_vhSCXM3a%ar&8KTP<=c|>68^sZ3tH6qFJ4~otRfb90t|6%#U28 z(w&_gtQF+}v3(r#foe1{OEENn^pA+;u(8ARJiwBtw8Nn^I8M+1-F2Ze`yCU?xJZA1 z^w>uN_Hz!&a)A5>xU*^-$X#Su^SVYO=sUsTlw7aohj}A;^;z>B#slYn1X%oS}%EA zzP=Wb6gWU^vux+Qty-}6ZJ32vgn&? zvvG<(Nmk&zBxqJ~Bv>VFF88Y&g7y2SmS|V7$J)9)gG)^cZ^%94%?m?w@Zd1<`*+tC z$P4|hJwm|75hADv$sv92u^tp*bQB>G#X&_#a^-$SNRqTs#}57_LIND7psS+jH^KK8 zZzbiLeIG3oUxr7HjKD_3qjp{3ur)un2|*ry{-t=X@PmD1#4botCfZuI#Tps)EJFSu zMS4O^4y9K_1pu64o;&8!5%Z_`qR|z!K=JpX^;j<-2>`8eXPkLO>0h!#X~UOAC*N?E zaNL7n#6Y+cl;q@uRL#0X7OTX`irdK|%UX+?_fyyy9VALJUk>T9nz|5u9X91TO>^7f zQG0KJWqNH{seX|^LXug>Y;-I{3)fGZPjP|4LVE^FiKw4-Zn}dBVk3d47p6X9H&kRF zE+i0eCd#8o>e39$B5!6tEvt=@LjNS=ir6OhO>y%X!aK9YXo6yYT_C^1#gO=4a53Nz z0U(PB9B~Ii;s0wY20*^}3l#%kha6Ke#E$c9CmC-P<>N4;_KS)EWR+1RztU=lZBTk{ zCJGlkOm3oT{BK?enBZYL?^j!KVL^Z$bo5yaA$XY2J^CafCMb?_-~Rd%2Wp_o!~n(v z3NfL70qlpvM5FK_x8kVJ0Q=!Es|YYR4#)7TCns0O^+W-R%yAtN2~=-|MGpBR0R05W z5FbAO|Em{K-N#>7d=1} zAPnz3$> zFz1hY4vHRdm}UN}=>mRs>K~q@Fu-Z}-7UH^QwH@5z2T?md(yL+TAM+|7}p*fl<0H7 zA*~(Z0Q$wie&kcbd|Gv7o;9KRhubp)wak+sG*wFJY^mTLd>)IL{(R1d$I5DoIk2`~GDD>D@!I38M^aO6r@g*} z&zAVpU(7D6l4PyrWPNnGZGwJMWd&MBK4Zry4Ei&bTI$&wnQ z@@MhRIz5&9NY9|FS4H{iJ#jL|;+AriQnA2poJen0ug*@+ri6Hpovvql=bdviH*~!S zvSWPG6pF_Wn4c0_ePTZs{m4_Poel<2@?xLBoedKBz>Wwq6AV0-1RR8aLx zG(Rv3ECDon@cS|O&dftUsEd-GCp}v_@&{%ruHki^G>x?GaBNB}TTB&PvU}pdNnhZX zx;Cskch(?T)R{94WQRQ0-L)CW?s|IW{7T&QGcPZ=J34NKQI3DT zJzr5YM(i2{kw*XI-lTjo4V5X~kOC=u`(TacqrOFIy%^^vQr$`;AgS*fS{w947uYDRq6`wrAtxnfy>BLUQF zc=oMHH-A&6ZG4QA$EkeMDs6t##HKzU&!=@+iZ?MCKjxH(Wqjd3CvbL1157|1OUyc4 zp133K{VY*DE&&FvM3l)(an$t8m%9eAiwa+%_pu6^8g|{oPz@eN{u8%~qw|RWAj@!Z zun9ORMujuOXTbmN0*lQzN^z+Rug9L_gh9-((|KcxM>2V+mX$8o;8@u+%U6-JP2KEq zkB^|T@)^v<$|$wqDu2>Uh1KKj^*V~5NvPg<=BCE2+SmJ0s?=|d7pUD>yd2GBdVn9% zbd(BWPPCIsqkla0 zY=$Yx|1f4^V(1}d<26&9Xr+1J$+{RWA<|~QbR&1ACR)a2#|qCc%Efo@zEV7~?JcAI zHmjOXK9OjogvRw10qpzl+Rf#xR`+)hve>RQj4OmG)|QaTpvE3*9_^B^1^U5@1&iea zusFkk+N~QK=k~d!BU8?p+<_9gK7V|@__bY{Kk;3Y=BKf{KT1OHe`#u-__F8O zGQDj&)wid;Og!cLgl)Y}D)4e<&pR6542~!e45@rZE-cQ? z^SI0>$GGzYL?&XQ33C2ycxU}fNbB1|cBpk*O*te-mDrDQ9<=+4$6HT%2%&eU{`sf6 z`Uj8^TnoOTTXH6CTJyO0cW?2j4$Xqdl9w7#Dl0DKbU^TQ=gSR5c;~n!#%lD-e9`b9Qe-KhS|Z$v zU?zTr7huClHn(%j3@by9Z%#`Odg>w;N zt}iK(O202-4$#ntozvO%_FTS$BUtMk!RM0+$w;*=49R&ep!%l5*&J4UIa_6!_AUPu z)0{A=y|@K7xK8|%?R8zHrw&Q$bDb`?CKWGzsL5LG#eB`NppS3}6r1$+W_c`IL^>Nd zzSreBl>>MT1@1p_lqz2UKa<8TsJCmuY*aimhJv(^rn1M4;#umLVU+am|!fpz9AHJ7EHe#7~Cm1di)D{pQ=^<8aQS^-4w!@!m2tOP}jx$H#VwlDJW z&oU}qo;AEzn##!Yh|inPvY&s+oOhUo0oO-SxRdYw`O1kKcQGq3tBsB~f9A%*l<10B zD(Ke?p(zQdJRqk)+7HEOw+kX4uDddKS~5u9=^A}qpP;sVE+omB%h{Fl zW^;~L#zvj4d)kZeht+BWAI!cA^ls)VU(r#LGAJSUOIx3`VJf*UTVK(AY8S)Vqd@`9 z+@nC>2?9Qud%z3(-MMed1kP|m$zshM%4SceSU&@Cq{*FDXw%0yNu=9@T1Qy}YgRa~ z1w^Rv)8At{GcDoobear{*(L0O&!vNJAOn&o#a#`1u?l`=f15gGBa4bx*>$RE_aEq-V||G5Gb`KIF?4jfph`T@pF-7=1oE$W zszbKt3AVN#8scxc(ZYUEB;oEd&&0p-#GcUkTT&{{6})>mky#-UJ`IUgb~TyB%^2Ga`+^t(A*U6%-rb|^!xiaeu;>ICJmMAhE6V5xqV{B?ySRpWmJGv5aRZn&@*@svBDE>{UYfEuAlm-poo< z@@UmOd;Xxl#5757P>c29{Vvw_#w zulSorK=fFfc0*Um)B4Nde#E=AmI4sjOD|Jj(eCXod}3bP{8TQ;Iz4}}Jdv?XOw!vp z$!=CCYJ%W&{1eK4CfmLVGJpMO(bfpPvrX?idA1CB^~aN?h0QNYKCo4`?4+*P#&mC$ z!{k?|q<5}&;CNA1*0!>hM4VU}Jx@+xwva1In6qfCMXxqHi}Zr37`IvqEpxQcx= zoETh8R<2b!+P_?ru=B5-h;C|D6^Uv6j<{B1@|6=DEX>4Vv_9@fab-K-6>%y=G>&^i z=}N7^)ly$lgSq=%CYL7GJ?+N;1SWWRDrOyIS>eFKt5wq}nij zoyx@28$~usa=cnNKRH%0cQL z>JEr?MS{(wmQ*iQ>tcR=r)U9vdwW6srwUgB3y6zF4VU{TXt+Tkd*m)WTnL4RXEwr|9CP0ViS8hbguCQws=H{9I?|6h049#3WR|J|#T zTW*!>A#&F_&vUM65rNUgn^eICbbs<8J{e@q3!$D#~&M{7vRx?`WPZzZSPA zSg+rysOZx!AbO90;A7X+RmL*_t8*M zZb7Q!YdWLnqp`;)O-13`8n*kcT9J$nw|TH0>@J$~gZHxd?p5u&VcLcBO|PGgQ3`Ao zX;Y(xv{dbi{$=b$XcDbEzpt5fO6uOrl?O}gTKw`iD!Egb>zS+iE>QG+3I}^vQMXE# zO2nn!v@v_0c+}EuWAXX4W7QW`1ee9kvdNMO-^*bJMlyJL@~u`9MO#rwshi`qR$AEX zvrY_}6TzP@k!<~0{FVII-S>R+fD#&B{8i8{{@GB7qlZUPAdo-v_-B&O5&_cS>RsSh zGH`hFSpn8XL_VNj1f2&yaFI2ZKGl-##HD8bk)3nPm7XT&^1bw|8K2B{k&+P*Bf2lK zeD268O3qCzfC}zV{Ebcm)P~7gewL&a(iv^FLp?bxMNuQpc%C)zxGXT^Ow&wN-=Cc2 z5F+kwLQF}J?+~*a=zwccz!W?xQ%^C98W!r>U^bUVSSVa3Y0F-)MniioE7>4OLGSg5 z@bwp#p4$^Si9yd~>$dM`(NI3%qHY)DVZ3kBt5Bi+Zd##TWcXOKRu#1ebn zoLD&_&eC!F7ILfkL^?q=zZ3Wv?cj@@12LbtTW`2%VcRCAB*pgxz`^C9EM zlrVNd;je);?M=!K8~ymlGk>h$SVyJGmfFY`)ad9O(K7z2t4!;MS0(%PM>SsED9f&u z9QCfcrr)S!?25N%Kwll#FHo?}=v!OHy%fXM;DC!*rGf)}OILMX;ZwJ$x^%umPf9x} z2e7?NtoWmrGcyyDm*m@evIo5t4fS**i-LOhoWF@)8lIGUHb@su~*bS zs&?qz!NsL@dmeWDHNS^aRf!5#RdV(Qi@gn0X{qXd=oazhp4=PZ4vDHRfeT`qa+xf} zc_<~}a>c_IRn>-=qNpfN$Ki{eV}p_9$J~jI1IiuJW0&rJQ*H4m{O-{*Kl%-b(rj1Q@RV%H2D`FU)D?t76 z!S2Yr%bgB6Z14@!4<+3UJ2Btv_sW{&+b$nZ6VmecTk76TOzaqFepE1$c5~d?W`Dt* z3c?+B)f&?S>aqgXo<@901PS7Wh?rczTe+RdHsq~Z#X)-V^XOraiyYq`?2}p&J+I{-QP~$R-g4%}Ki?|Kus!G>=`?!ay05LB`jYc4qU_Wm zdnq%W5O)>mz$)4k-u>&u)A^zpq9-fnrbbIymXs}`1T!@O6ItfPpq%ACDTMg(@0 zxrMF?DQ;eIu0GZws$Dd9MPSU%In7U%UGT4*n zEv}J09_K4jEt9yzWAlE)`6_7kkz|%y#!FP?_BGZe^8Uf5CbeOT%G=#{IO`NLG)hj6 zq&QFLxo6*0I`jIOqt`l{ump|pzxHUeg!0Z&=^mNF4T65B`Fu~9K6#+ME$Ys%IWnu2 zWVI4RN|jT>#mg4+9kUwr(^VPNRVY2~K1w*7x3Sm!+9A2x#-&@c_B90Lgc7S|7gJeV z?(6#A67KvMU98|V@#?IQ>$`-f&UdyN3EJ2BJf5Zf&$6~fzvDQB&}67jBpR#4J`iG~ ztomLc$*IEH&|Jqn4`_Re9+j4A)m>RG$AQU>#>@#P8DXwT~ZEBF`>PcBPCfjQ>3`=G8bbP_QAL zvsp#%QaEKiOE@A{a*a^KK}8?s^=eT9s(-t`RERn3>AQgNGADFnPi4-k9A%fdgT}qq zw)3u|#}^UmSD3u1Bm2bMXh_mgk7*Va6qLLqFfiFlY$iX!*mnoN9m z;)ZB+R0oyi^*H84{ke$@nNErXDT39&;eYz~HEC~gk^GlW8uVpuvfJH6iY=T^#aDLv z_-e16yN>Mkv)fHu@#hJxt^Iio^Lz-}SF}?<2{ZV_-U!KS@++^@Bu$v^7ufzNI>75d zb9mC7ZX2an)SF7D|q;%|`b1M$}v>QHrdo-z2hM`qSc`aVw5Rkms3= z^jP+;L#jS6AML)xwhz8Y-}!uw>EC;2p$Gu48ooDx{juL{+1kq+xkoNo#@6eH0o7Jt zdD&O%9E{IJ=ll{4S3`Mc22PD>?G?Hy?p0HGpSWJ=hIyTB?L)DJ^`Cwphz-b1+*Yzx zG_%N6K24t1I&Y{ryXSa^Yf0|H$V@LyK59j%L)+Y)4?Yo`0w1mt^NTw=TS%e9XTNH*zSKJuaW(365} z@uR6*^^VAODb*`9Tz_htB+>KX0!niJ`MBaG`y zO!Lr^IUg)Zf@y!vsUNBr~2!*H*JgZQz5(>%vTjmN1C^NG%SHMPju0QxQa|ODoxyTpl3UpRO=nHp+ z8w*acU4eQB{PN%Y0|L`ff8)PJ1;sYt`m+CXAmAdOQW9a(41j+dNFqQ=36uVX0P{JE z(;udTOh=r)0-6sr1K{XpP@zT%V0-{C`sc6y^WFcyd^1&FQ@=k`Ql^^1%u4FNa#HZ> z9e70!JiFw(xg=aYjekWW0c?>k#E@x$4MRftn>; z=O-jf01^kc3&YP)Gh~Kq0R}HF=?dbY>i`DYGzSCpH6X$>b3rCDW{4(`EW>>t0i!?` z2zPnTy#Oo_?h1G6f=uKt&!#RABADw;rv{v_+!^H5Hz2hyTn`%P9-o8J0hMR^0&b_{ zQafNANc`aX_rLD=1_)UjWCR=n z9TErv0C?tdOJD#C92HH}Vl4+MeSmF)P{4C1BMe;BFf=p)$lNMs5wJrWs()Fqy{BoYlWrg$+j6>^s_7!$Gwc`*cm8Y&o!3K>-x zi~&a_UJS+80SP6;euN2!LRJD1VK4?XGrSm$3>jP)jDoLw8Xf9>@rI+5pzaI?Lm&wZgVCTU4hCaDwjwXa zAVJfI!BBjiGN`zAN&?B@>V-+dw*w{$#eR72!K6X%ECypjy&oP7SZ&CH#b6ZNGXe}n zXsR*cm|)$F!N|an;4msKe}JTjYa3u*0f~UT_dsY+9EleL)rYNnGD?SBU*2#Opx=bU zXi#_w6OIXo9$t(}h9)0_QJ`=T24jF}6$Ychoo`qS#kD^&jfU%kWEyyw*tm2AiX8FY zmrli(jn05-O1$A1czZ<#!EpCr(BO!IiA%@l541mAT##klb7SKB2bsyl)jdMO+aZKR zfrB?sUJw%AZh-TAaD4#*T_0Ol2n>i#4^%1kS%O2kAj6dRz9ii&&R0+}h0Y{sXqeku5dIIyBM!#^ literal 0 HcmV?d00001 diff --git a/documents/casUtilisation/userStories/userStoryExpressionSurChaine.tex b/documents/casUtilisation/userStories/userStoryExpressionSurChaine.tex new file mode 100644 index 0000000..2ded1d5 --- /dev/null +++ b/documents/casUtilisation/userStories/userStoryExpressionSurChaine.tex @@ -0,0 +1,31 @@ +\documentclass[12pt,a5paper, notitle, oneside]{report} +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +\usepackage[french]{babel} +\usepackage[landscape, top=0.5cm]{geometry} +\begin{document} + + \chapter*{Récit d'utilisation} + + \paragraph{Titre : } Expression sur chaînes + \paragraph{Récit : } Concaténation de chaînes + \paragraph{En tant que : } Programmeur + \paragraph{Je souhaite : } que l'Interpréteur LIR concatène deux chaînes + \paragraph{Afin que : } j'en exploite ou vois le résultat + \newpage + + \chapter*{Critères d'acceptation} + + \paragraph{À partir de : } d'une ligne de l'interpréteur ou d'une + ligne de programme à mémoriser et d'identificateurs auxquels une + valeur aura été affectée préalablement ou de constantes littérales + de type chaînes de caractères. + + \paragraph{Alors : } j'entre une expression composée de deux + opérandes de type chaîne de caractères et d'un opérateur. + + \paragraph{Enfin : } j'obtiens le résultat de l'opération ou un + message d'erreur m'informant que l'opération est impossible pour les + identificateurs ou constantes littérales saisies. + +\end{document} \ No newline at end of file