From b0f62baecbf6a356ace76ec9912958f875e87f7f Mon Sep 17 00:00:00 2001 From: halw Date: Tue, 20 Nov 2012 17:50:55 +0000 Subject: [PATCH] Author:halw Date:2012-11-08T22:44:53.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1199 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../_images/assertion-options-2.png | Bin 0 -> 28596 bytes .../_images/assertion-options-2.png.data | 3 +++ .../assertion-options.wiki | 8 ++++++-- 3 files changed, 9 insertions(+), 2 deletions(-) create mode 100644 documentation/current/eiffelstudio/_images/assertion-options-2.png create mode 100644 documentation/current/eiffelstudio/_images/assertion-options-2.png.data diff --git a/documentation/current/eiffelstudio/_images/assertion-options-2.png b/documentation/current/eiffelstudio/_images/assertion-options-2.png new file mode 100644 index 0000000000000000000000000000000000000000..3a00d9fa0bae5c1559d4421721d5535a5415fc3f GIT binary patch literal 28596 zcmZ5|1yoi|)b*v2R4D;zL>i=1P#OfJrMtVkM7lxg5(K2Xq@}wXDe3NxZ}9!U^{w^a zwLqS^^UR$%XYX_N%r*F@(={;3w}N!!-A3+r~n!K^TbA6)gFQ{ z+8=*lzR_V2ffh%8`|sJ znc6s*T3bO_Psk`hIm%j15}9F&jU&^{*~Gp>ONK_buhIwgxD`IpMX10 z9`7hv8#y@Z+8IKcHV=>0QU5h=YOimh3#!^dH7%8qpcwhFSVh;)%GAmjY9U+?1Z7D7 zec#be-w--`@Z0&{YC_hQmWEai(0PAcGblrRtfpw{U||UT+#h`nL8Op`@H<79l-*QU z4+W*`!}MgMEyS)AfR2^nXV51iJd}v)+Ukf5)?Tik6Rrqe`gB<` z1zB;niFw^iP`KK&($I_``s`sU%?x*xKXYt5o)26-d(w8XIi`{dE=}nkv&pgcY4&z@ z`=0wJDfUA`BW&oR>qF_7$e&4(Kcm4(OG~R2RhN}TODxBFpKJ_~@H*}8lr$6L;IJF^ zetl*}{8(+ibkpJ2w)vida*8LUkeL$8`eRy=fAIYaoziYw$pfPYrBg=``?t#zBva)G>iI~v-{yray@#lXX;rad@Cc!xNBLc-^9mlp0NGGD@4B&5MJJ#>t zX>=TzuQNf#sMgU1CuwD;?^y#q1#Vs8Buv3cTdZEc&+=Z^YOA-Onw48!6n(704<_lL2WS(>9 z9f2nX6)3oEj|cF^Nq-aOQnBzaG+S)d5B=+H@0ovj5Fx-{$NtJ`L_0-Yq$jeusp7Bf z&f<(Y1?Jz-^=iLhSPnC7B8hQ%l!2<2H%(Z-W{dsZL^SsE$hTsJ)k5r?wQe3q8!uX< z3>qKT+{5SE(Mg~U{#ejV7P7^oIP%BMa>TOc^lPfE6;7yC{o25!`Q&&(j|X#PS88y! z5Bhk%Ir|hW0v5q9wLg%LTnjW@xS}5G_qggVAF)NoGIEgyxv5PEs6)t6)_4?Qph}sN zsV%ha(NB2jf^veegmRD|jC8W)Yl#s-1#CzfMuZSW9`Q+~4CdrS!K{OHoYJ4f>!&5Z z;z)?;*{D9~-?8f+Nf}G8-5w6DMS59tHJvTX-k+#jmDJLl)$tPdYMU4vnWx;I_<7%A zLeTuh?Z}i>S#yShnej-&L6d-n*YVg!+-&qkpf{uUYm=u+m>dF}#t+up-a@EO7RW>~ z*zoVHB*RoZjLpTN-k%8;Dsmn_mf~ad%-^qfc6Jnnk(8o9!#kCg%2E{qa1eosPYENt z*K3uiRVBTL`W&QBIiFB+VNQ7%KB<(b@k8d)xEH@nlqxcQDSPf7o*y#s7I~t-cP#o< zTooyHRoYC7@P<%eKnnSDj;F-Xy`yzMZ!+S-bNk+Pl}Jls=J@EpB=qjDH^&;_tBLa; zE}6W4XmL@c!$D^xQr;_n+>-Y`7yfOXc>DB>K#n&x)wJ@?PNkpTar#J}M^jmxdSX`1$p?7B4(Mc%bE$`)VW@EQ|v@ZP;2QXG->G!&_% zjQSxxlVbAfIYm8b;8Wva4{{RaU5rxoeVt@oiU%EG|5sG9^$&|(ST&3lHG05GA?9t2 zT=iDAIv=_5;et}RC_T+rXKF=S(!_XrG`a*npK-qb1zkK{&O2soBl0ErTo}H5&fRH<{*34PkQCT0Jm|4}4hb}X{ zf8=>nsq5cl$Oc<$HhJeNdGRYpHJd`i(K@*c{W4#MOV@(-F~a%B~eF)9`DNxH#du;!EQdBI(yUhC%{2A+z&@Mb=i~;0=jbt&2TI zGH%?&DbCuPc-@~awD9)j=>gMoziDZ5ZC{(KQ@Kx-{NtBr0~M(=I9F2-Fc4IK6tK_I z*T0SB^zh;&Ipp(2e1cQxH<|qhocHYt1?EYvKEAw9;qm#f(PaDiMV*HsxPY_z1K-!v z*7$#?)!wm`^-X&6q{ih1^Ox0AjR)qOf!V!1k-f)&(!GzJQ)Q5#X7|m!HL}0Y+dNLy z7^LAu5;xsDW2$qsCfIgnD9t;|%fAVj+OJTQQ!DBF{P9V8=Sq{QJbirm@Ydq0Bo#j_>;aifkxwe}wV+wf>6R|e`ptiZcJ%tB5 z?s+fPgOciV0nor7YrgnpqX>d81 zycnWtw52O(m3F=0Loa>e(hz&FA?k73ArPnPu&@>|YI>4;=mJ6U1L_!0Pdv`>hTvMt zQaap!U>53l+V=I|@%QlT%d+8|8RkpWeA+QsSAi0qKU2H5WbHs*C8h-!KmQSXVsutc zZle7vZ@0fE3Dvmh8+x*9r~yXT2QtXzm`XuZ?2U+=iaKv!5kS$YVoeI9Bg~vAzt6Jv z3GK)EJcIJYg|yI;+04xLUAkJqd$i$g{OkI_G&koVbIP^g+y{@)a;;l)iK~)Hly|is z;Q_pM5^Gn+nH3k~5b-v6R*VoyV>9cXbaGa0t3g5aMdgQBFNyq2!WfgOUf^~ zFFW;huW0L^?Ok&~S5MZgsNQdj-$xy~YEBxb!Of&T`K;0PCYeM-Mh*&9?rKZxbfZPg zFA;9O9VZWgMXo*Ax~#bXM1mldb7y^We)zZKwJM`Ii)8*yTGrZYt@*=w;~zpCtXj4q zncHZV1@ElJessTQ|55Ja9M9M3ta@J9Le9L(@!26aI_--HHNUw^V%`Et{^X$|A* zZBSj%nToDwc9>)~ITAwp`X?$ix^5>2tobkGvnKGYQ)(G7)Yo6AHw$%+)$40m^%iFv z?`Dedu@^0Mwc%dG$q;6bR2quJOSSyPtr5j%rRZbFDQrI@fZJBVjbppmw;EI0ce6Se5H3?&7I65 z<^l#Aobg5y-3RFs0=EXsWnCntPZ7ja5on6_i-j}LaH;FJmlhw+x)wR_jqd_#wUrpbrxg5S>J1`2rG+!7s?5#j|3pg~GXYJDr%kwQ6S zZz##J-`;G&cVtm(-HB#Zc+cq67KF1&fA(!}%bh&rF!dZ?xl?cK%0MWgYCR&V(lzh_A@CU8QWWRW-h3_pTSsP1k?zgwV^P9c!K? zLe3961veBBIlXWhYI$Vh?9844JIzUJ{iskALc;xS#A3_4kQKStTD5ek{p5U?@v+Ye z4+!3P;~3y-*PYxm`yijhb-lgc3=AdFu7xw=zf4v&VplWJ!nWNwKtKEa2lKwO(EnxT zho;m48AQm3N44&<#@7Uq0+~geI^)u#sXoX(eg*#o*Xp59J%uD%wg_kS8%pv zlU!fl;*Mr+tNM^%I7f}6&|yiOKi6ndLmZ3k8(-5?ZZf;%<6!TMw6m=wMVkN;f+2wi zk3&T`;~YGD!cZ+v3)?czsn`$D&Xy$f6eZu`?0F4oVtF(oR1+Lsa(A{Af>dYRjMR2< z(EngGGGyI}mSQiQ=l*b2zjiTaW&G!6s2Od@>+(g{$sD8bzyq->qSoDFDi?kjX*VhN z?HZn`tW_MRBd=Sb59f=N)^23dYTb!j zSdnj(l9ka;J#5U=4R-t`$cwnzJ^gv3a6a+TK8Gr2#S`Go!ey55Br40%x&1OOldX-U z_HFOme#xxId+*h<-Fy?A+e4GNYTM>jxTk%4xe~H7S=xHsM`%kT{+9d2?#f*_X%O9e zDnEqJFuxzraMK7Q?>r7|RA3+vOxdPfykSAPfW0!bkDWMbY|?V8!Bp!by0L}*oy1`x z{TGMu?&+A-b_n;Yb@v}}lsXQ32@^S*TFf{`1lC7w<$iS?ur(a6rCI%Qa+{v zZ#svXE6a5Ut@oX*aEv7l^>1&B@`IwTs@m`9CISDV17{ZrAORo}Qj?#zbf! zL3@LWcO{eJ;+b#4<$gV^?d(vaWp9PE(1bO4Zz{ILFwYuyQ0q$P)jXf!*Zg*DcmCI7 zegj`7O10*?H{!eQ_wS=E4-c?DpY#0Y1MIMI3K^Y?_57 z14HyNA&u6hbUa*qxOesyWd4j^YucJ7hFmQ0JfOrsOOD0vudfsHe-DruZYA+JY#sJT zD_C7N|E^zqe_EH!lwlqjnR0d|%&(=)N^+X*jXBcT0Yl z0o1LITm!%BV$PD`dJ4AgB?iBR)zaU7$F?#z=k>b1)O7xHb~dFQ_~py#`8ljlZmu!N zj-Mt^Oin5*DzZ8Bv`xM5G67W`x4$aPDt!DXxO#hD)9h$P(R_bx?u6>@?(WF*C*h4g zq_fcAdfqqF?ER3hRDgnl^7->;H+T2?U%#Lh816x{q2V=+CJ)uDk?u7+a^scuV6!T< ztdXCJw9uzUx2n5vnAc~RC)q~*2_s`;tY7cT$UFv9xM{!jc6A{^TLrL`O$| z|Nb3(-_X!d$P_EuqmQ8mO|E=QolDryuktk|rNQPN7^nb+@x%QcWm)OJ>&N5OzAU=G z*epOx8ETQ7&tE;Q?zC><&DhM6{LGzb`1bK9Odpolon5<%N z_W(w*tdSI6=ZI(p6_wZ6CVUgxtEuhg$HE??pA%^%^jSa&QDJ@YHgN#ztN@OW25+MFggp`fuWfGyX54a z#kyRdZl!x&=Y9YFXv&~v7^qR}pwLx2-S+KJf&OcpCwfhZP8J>7kqB-GD`Ce2zJGaY zOG|BfVqOsw6Tkn?OiD`1$hf~bl7%he9}oZw9kHacuuv2IrSBQEB-6*5eh}fBV+Gbl zR{c0d7TlqDOh)5}z)a@<{Bh(VdiLs@B+|rt@|m_aAO+K0m>*ZKOW7N+Kt3U>G(#cLQ6}lrmjvDRj5e&S|(+4f8VM|OWwbv z#9B-&5bk(Dyf~Z^iQoy;(&mt4H<_MnxF-}JR{J($XK8CJ7Y`Sg_M2p**5bs3(x*?g z4qNgd#qJ&YcXf5WW@BSxe!QZ%H1{ZZcxGv0Qm5ZnOSe!rv_2;y@&qo@)YJqf@b3C7 zETyxvb1YZZ-PP6eWPlUaSFmL2;`H?A#P-61mViKWYqbri^&yg-gCmXGK48z7kkd*- zRW&g%u&dP%3F&K_)%V1gva&-J#zV6-U8;MwAurE^$nEs>^g1I+4mLJ6fcG362w2T? zegF6ZtnjmEk6t)`XTQ?^BwIdj!~`2fL|1niO#4i4KQOt$1H&T!u)~;`nC|XwTnZv0 zA_fMAzn$R}iR=X7{EL;@*=y~=SfIlsU*QSAfXm8Ee(q8M?aG zDHrfNZjY~Ygr13-B;}YAK;7C!%DmKNYDG?Kz27#5(x*(=*4Ea9q8seiddtgM!bR=R zcW0hpQKblYFTilearo++CFE>nOU1{;UhU3Q^k4jPIa&c988v^6FD!T+t%%fVyj{8g zzRUxlQn{e0q$HO*=ud1qr&Dw?&m zyK7-#p-7Fbq@={p&ksx!fKFHv2{s=wCIq;=TVi~6RubDrRyI;J>lrfqk2O%sdET}w zgVH(#&oTt>&NY02(SI7ApV!dT1kxE;8(;y!)TKA; zVU@3SxPC`3gRL z`gF;ME=Vu{X{!dT@*DlmD213$Ee1GgT0o<9@O!SlXg+Eh8v>s%tfSs?E4f)muX@(l z6+y)N(wv)R+r~qa%|3TXxdmG!8jGEc4Ok4Iqsp2ZOee_z1r{M~?ezM3UgdFcWHT0cHKB%Q)oN3q)) z%?8-2j`d!7$c!!N@X)5bp<`;QroKLTUZY};Psbf#6yL%_(vT!MK8s41Ck*Prm_TwMR6 z;??;D=7=S@6H6scPL~T-SeRT6#4a+qS*EkTjzS>F0Cw!_>s#~3iSUY%kGQ11UY#*M z5}!4IzZ)>W-b#`|4^126PnqcAQPcPTt zu=U)uADDVz`KMp?^>b})eqDc~*Pr3B>BAH#()tQ69m=!({y`1{Jw=_)D%XZtR8n>3 zJ`MjaE-H#ARPM)M4advN3qwjxEl!P{uSm>gBF6-~jGxMq9a6-=Fy1K-XUJkH0YQG$4$}%nZ`b_5F^2W9tcv69I(pex#szcmE ziidHNKKv9JK5l?YAqET!4E+B79;^$P{D>k{!@nCFoc8Pezkc!9F;r`FGH*KYM2icD zjIl}Y_aN>NBr@xMuCK3`1U#e&+zoh`a4IHPhiD<<`!`a+&%rEXy_NxXR#jD{Qle#P zX7(J#zdf!TX%uG_S2|lBJ>NShT9RI;95<;lidx72{TuuB4@eqKz#pCm{{S?Uo0~g_ z47GQ3I669(AiL{F&E;4(5aR8m)`nx_~S7bhwvHm4e8DQ{ji+u13~Odx1! zX$f4VMzf)!Vyvx=f`g+P#HZiC`_7v^JyFS1e7@5)7#9_r_%aI7=jgprGY|0gxY&3A zmIUEO0B*p;_O`a_oc59gNl7ub-?h#|rfdY|`7fbqdmX=TLdq>NNo*1Y6Us_TRh5-N z9eN-D15w5C@iC0bz*BBuhr(Ud-+GISiw7Ss8DM~*2CwF4p?D!HItf*l26c6HSH1;+ zm+o$EAf#BFoWy})_lz`HY9fC8WBjXbtM)9vQ@ z$^{#PsQ}TCc32Sp?&%m9P(mM)#+$X_@i$<7eei$j@I@Bt=9Kna>h>8(IidN#w_W~? z5H8AUI{E{I-XS3&APTC}V8jh2ilccR{8iFWM@Prqo!2!D9SVY_8bq|VKKR~mT%xvo z70R-C!hDw6mFwagCf5QqIQH}b=TG!3+b?2>`qRQFO{&zGn3%pvid14>?fB63%d?2c zsTC;~DYKrapHG*>*+D)-8`||w;kBZ{G<+E;AVXAER_0)1gGWT{Y;XUN%2Nd#IZrXh z{LPj5!^NlxTf2MzeUL`lbY~fQ5K(^Gy)Sv4EQExFKu`o?Ipu;^c7R1dR-#2O9Qdl`C{SIMHkSPhzNqd;q0OSPijQit41yF zvuz~^83hF_HF<3Np#QvcIg%F0+U~R%3FBb{bH4<`0xtysPI==91~<{wm0MjM*O)o{ zCTOgnre>92I)z?7C_z!vu~2GBD+{`Yy;H?wm)Ee9I)Od$++{pPw78`+!J*Cgc%`^YUz6loM__8Uj zHD+Q4()!ax&4x!8U0B#(Tf=$wtd+95vJ!1uEl;@s0TyQN%d3Kno*>RSuc1ymWj*Dj z#NWUG1_lNmqx-6#6J~lSbIlELtsm$xk@YpItEvFl7b#0QsoFU^zkcl@CDnI%^p}v3 zFjqR+sGdKJGg)G5XGeeC98ANd$J<102T0VF*-9Ns0BNwQ4KFqKs(O^viwgPRpFhEK zK$dfLvS(Lcc6Sca0y-w9*GPVM6Dh9(ZL`6nqB}ed>VtvV=rNp~o}zKB4_qUKQ8<;} zwcTowM~ml^KyG;Z{x=hMKEVHp&oA;(y{zcpM!_KS8dZu%+hh{Q!u` z-Kda$`Q)lU>>jK+Nc@_c1*FIHJHr6a*?pjbJ}jL;I#(f8Mq7@wX739!Wkf8!R`a&i z#H!JRM437ZeBc6@A=O-+;J`qn8Lowa0qK${%v!Dvub!|ZGCYOj(mZxDunKW@AbbW1 zh9WJF>!Bd&(?b_NpysT*e$(wpI}q7_j>x7>KtRw^iz8%hT>=(V^>S~2UnVCG#5Dfz zzu)yuz5tp-UvDo6CA;St=FDvE?I{Eb?(DkdmDbC%l?(pN&wE|1;oacC)$^ysH@~Yg z4zly`^z4b3FPP}p{Cel9H+9~r;UIxxkw5hGdEerc-CTUfVqEprlT^e`hGq#eRA}YPIckHv6$1%c1N2fsgls z>|3w?pXyqx&+%A-ydrGTX(9OPpC;Re6rU!d&Gw(1x*7UUebw!9y4CRz{3p!@VD7j( zL@g!%ba`ysfGdMKgW3+yE-=mOBajY-iJl+qjbTJ9dX5nu;Adj zdj`;sEo7w0#*_8$xwT8<6&`&*me&u5{`3}PUTd*KKa&s~liormig{2*!5%?+nnPV~ z$m1~}Iy8kKl`_SeuD1d786*)I8OJOTBkr< zfd(#bblH;raq76>82NcwhLAuyuQZk4=EpA`n;YE>d^=wMlO2SQ|R3NW8Z8GQ#FN2cVS6eJ-`RBh`A)&yG5^d#zrbeEbMxs;Zw z8otqIprZ>8kBQQ^CCFE5Cnom3we4#M$2NwX^5_IS+z}yYm0d-r?8L!fq@W^wnlsFe z=-tyPKZPNdGSrfE)?YGXc*OMc7K$wbFG-}d-0k^ix}XdTi)HHcQpRjber_o%52m3I z{kk97d5RiwFIQD7fv4z}h62;pRPPL?!I~x|=R4gR5<<5&9=pdK(Nefp zs!gY71B8o(c_WP4*Vo6{C4v4&7wc{urd?M~Q|id#-8qI5uFtbjaB?kWd$@Hz{vL(n zrkNXSAJyC%xnh$ZV@pkqijv;Q6|~3+%c;PEe&oe8P~tz9W8xz+sK=zi)UkovtCaFR zQBt5ZT|TA>btBnYD+ooa(R9qL`Z=SUV|BDjDE$Jg#+3m@Z23_voe@oiw&&TzjO;EP zG=0&&J5z%D42F_IJwc+kGn|lHUiBL}^2)KzwrUne&IhfwkpDZ$**foqe{H*=zaY?ao2iY7ChSU5=@$ktz8%S_JV=#)@D}*@<({AxgP2 z?%;Xl!iLPR)9u(IuhzeQ?E!%e2P>yE8uVmGo|MBh`~_N9Hjc@YMe2_^XbFoMpW_3* zd;qIiuwH^H8z%bF3Hr96M<>x71ed|7z~7+I|SuvBuADaOCy&lrkxQXfYO1d+jSg;fAZ1u~#t>w>|hGO1smz%Pf zBoD4#G5+dYv{6R*d+Jxqd~L_{M@f|3b5(ShXjDMv3K|PBOe|ZED|9hqTQyh`X3`_f z{ER-i{(WQP#aEkdA@^W>DF@PoCWicIIEBr5o0&W#OF@3X39vH!JGWOldIz%smPljQ zznU8oig)UbGl#0@HV$gRj(^88W>=S$#>;zVNKr|3cO;s*D$FH@M#9aZY1x&+cJ_QT zC1rCjz;Lt^Dd^P}C5^5oN(B`inR?t4L}RwMI$<{YA6pUUzD;L$axZrN@sl(EpW>Yw!?4eD#lGfsW5cwXjg**4w!<-Zde zzv}X~KNlLy)I8u@BPhZ_^cOdHDqCMHk_OkWNewkWSJ6{FS*g_H3BNPtNNwrub`1-& zLi9lE!B)UQ6U_NCu2TsFz1 zw#YEEEvB#9n_e3o%pLC6;dG9Jp1b2236wdV%Lw(v z8Ph-+rq_x}yu4La>h|hChgmKri`0?Al27|tho+U=?rDq->y2anHrAyjb2jBE6Tv~> zGbD?G!4@|pI3o_{GuPfdb?AZ)-~z_bblrECI+#+6%=hLhyDQ8xz3nU+tmP>old5Pw z6tGRruSs(lIzIO8T#0%pB=$#qyHRh59Lyt=7KfbGO30jwV45IR{3YF+$-2BPnwQd_ zD>RGu-$z$gLV^kG67`xmV_gpXQ~u*O2s&^F``pZXUl%5k$vo9(N`-`pnq= z{?>KZW;I|LsKFd>t1OYUr~V5B>hb`YQs^T&J2xoVtS)-Ax#Ti43y(LH^k(~PIjTte#_`WnA&(_}2M+u}1;Tft#B)2D zfj|6Fn|STYc0U_lhy6@EDo{>(6+-a^%J{p-E;WVl0)xkc$K~4AQlGc8CX7(B;Ay)l zWucUB7z#IKhMwTlb~3KBLVG<94f^`SODx$>O+MM)1DnO1=GIWn?8@g>&eB(hG~+>LZgZRMczt}IWVrSy^s`Fc;za=B9F{cPC4V?g#yg8 z5CJF7xZ@3ic$`;RC4B{3bREyvAI5@=rc&hJ(CU6@zS^n}!$Y3KFAQZ+Hzq^DSC&M3 zR*g}Zg+3@(p-X|ZKf+#WFuBBr6_n6=it`%umD*Qoh{s!c(q|JVLuo4MRU8|Y`JZ^O z3*wK2dKS<0;n_&?iiq1qX>r|4UE|s}FMbCXhGvY|MXP-6G_sO{pr?S}$w+$XBopZ@ z^kgIw`-Rosb69eay%I=Ki78J_r7EE|)MF1GtIlO+(POnAYZrW((8&Q76NW0TYygd; zJ?21%9Q0F<)sT&$FKmEYhs~8C0DWV#T*&TWsqziRGoSmW6?opK_^+Ox^=465r-2xp zN^KfuOEZnYjrK^Io@);#h${$J-XHthKJdartJW^eVzQq0Zs6!+fL)T0Fu*y#q?4HwvWX6!u_)C1nN5RLl2XpcVHsdod9(6Q7GNOAm($lv+98A3Xb=>IMrT8k>~SVN*D43ZsM3pgzsH_V;t?T&@B*$(?!Jly%%>b0^Vws4hm>5$>Sk zCSj4&UibbVT2qCk8Qvr%-euCf`2E4=Hve0kyX`b7Mb-rQ9$yQQraehM_jRGN(g2>n z^HoEKfZHejt`Uwz(nrQ1Tn|<_Hm#I@%x-qV64SCJ?rIi>KPwnCBX3B{C32k|%m%9gGJFd;!uig;8>`ZHE zi#U>^WoJT?$!__1DK$3LN8xMZEA^%LbuATYU396ZP*0vQ`cCGWH2>~6t;j*fq=>dL z4^P!Zl^GPJ{cQXqpKiwiddl5_4vp>~mG{fajnD6ne4j4&#%GsyM9{F-WMkn1$9_1U zS5JwET_%57@vM~d<}=zw-c>RUhk?UnReVgG{K4E^a+xVKY*r1Vo7N z%?_H(TQ+nsJat(i{-B;1)U2hxyuiv8+kAW4m6GK@~s zMXlJw2uBB}#e{iRH(#0RyK22;+$SI5X4p&lMtk<0Q9#rHUOtH$&WRHC!yB-S1wzTUR#DHp!@fmy8BJ5=fM1S+teYO3tq=~J(7%%O+%*;cEHlP^Ur$C=w^ z=2CmI_6^c)v5>htZM3090G6~!&b{#bHLHXwDg=2;`8IbD%E!S{S~GLi+*s-pet zyIYiB+PVs8zdNZb5ape&iq4U@RaMQ)8I*TbemSQ-;1tKw1t^`7oqaH>qYz#%)$5|t zRYlc-{G4`W7UWfa7*+=p%q0<813{J6g1oimGMw=bs3+%5tJ0w>2k4l%D7PZOrWSBw z|4Eb>e0UHvyCmt-tZQ~ZiT67wI~g`t`F&6%*%h@Iyg@AaVk}zG zp)UKENKTI!DJwGCWh5UP?a*Jt7*5;?TN0v;|8cDNr+C|_uO zw2G4*mLt*sCZJ6O85ipiQHX2gc7MEZu1w`we4xV6ulZjlbKXKEUfTk7BpYuXE=ar| z;*05A@tW=kptskD2eP+YV~0Arn&#n_yj*9>$aND-H+QGXJ~p3F1F96gVY7s$cNrjP zxBJbf0;BW&k7Ykm_m)Nixr!2U?8#i2-wuEEFp@`}a+?wS$E+ZyFaJkKjZq+91pIWh`8y9Rwon=(}ju;l>xg2eiC2fJ=G+}}i zDc^3|QQrS4OVfg_?FSOqeqOsm78z1%wiDSuy#?~Qwb6RgwQ={aTQZoRQ5~k7t4S&K;0Y_egpMH?l}10UYv(Aa!u(ypNK-l zn`h!#k0g3<8&n@wR=up>aQh5F#V`4t9&*!V5;+zrS}-AUg(m){4Ne8&)0|zqb7j?9 z?bC3SeLViz*1ODT!Y6Y#BFQ3{UYa`#&Dxc8I*~+$az7b8ZXCZgz5Sf?S*2^}gICQj z--BmM7hq!m2}+%--MFWk`>JWBY=+J4GV*x*v(EK}^ornC!IVyam0xwJ~D zk%MWhkyKQA7(&#wB@ z=U)BkawSsHF5^-d#kEQ`zDFBv>|J7nnbN)N!0~(&;~yV z&bly}uyy-&JoX?CG9_X5M~ya&QKK7=f9a&P<27pB!UD~bX69BX$ibi`R6qYrL(GME z@LnvY8!_KzopEGT0|xQwYTPKvQh(>981nBHf;Ry$Z4okD)GrxbVuwk74qwj%dj`#a z45Q*r$WZn&iTkZ0-1!F)%BWYX^LUeOW(6;BxmzI<@%y-tOF}Cqj1d-x=F@1rd^CEcQD^Bh*(4*MGN--EO_q#jFQRB8)GmSb+)J)^3 zBc8(gMAS^tYvSo}Z60ndZFNuR5ZmSpW(^AgsS%vL@dePlD0l5`WeDU5CC4DF;zs{A{fOXDz`Pa8_zeca~y zie`r^?8RdSl|*1Xy_ve^#%6Up=;Zz8AAv}jbz9ulHZxlh2yB<}=s=L5(fOGD{pDn* z9~(|!kmqTA?m&HCruEUPkSG}=8wsEJ*-16)_;|w4iI|v$rIsb2Tv;q!uCIq%gE#g- zClr{Q0y*<~@{yk-6+KuO7N`GTMz!Mp!&EI!l}FIzJmwUwI~#m>velz%2W>Ix>!Rtn z3F*9K#(m*^efu@$R1>_a{f`{l(}x1X=v^QB1Fu||5j#4_e!mM=-OT!8G3tFqV-)>l zV2Hi%UMxzkrF%yQ=*#glZ(gf8GTbn9c&jcoi5C=44=kyGv@HtTsD9D2fH2wxr)%dkR}1D5w<>z)xQ*JHznrhbPCKV2TM}v^$nr- z^%qB)k7{JEDY||NJhzwZHE0i8uv%^yl!{w@)${Q|jf`W=W=yX^UFdu@2jESat=3u_pRgVv|6#)$@(}9JBUp^ppV{Ux2 z@mTOKRy`N^9EJ#bcyUhK)3=*|^*tkmyEt!T^qPklM`Ga@LJxSWA`+4WvJ=#mL~pl~ zf*BlemD4WoClD?DzM8(`>*}U6K0$E@wul^(&t7W;qf`!cNX!qh4Z`&wK_(JzmDyO& z@jWRG#`;|{sA=&hKUI}HFE>ooVM(Nsp&N|k$SJkH0|h`7_vm-j>9%AQk?S!WF>)%s zsxz8-KxRR)`M%-TJmBfn!l%UEkn!|HnA4w7uEpwIc|L)baDrCfckgh}`uYeAR=Mfq zHzlCR=FZS|&=OS@O$)yWv@!VF_J(*GF2J!rHI|<=p+ChB?F~N`Of64uf|!MEv2HGT zR@Ae}RsaOx+;=+bAC|Iw$(t6qvtd{$V;FzDFs&Hgd)Sn`MSBDB>9ZUaj!`QtI)>0k zEi6dt&2JtquL;S%MlOq}=#k!+V#0^uExS&i$9Dk0Ajq^&eQaYF z+@yxQZgwjgfJj*x$4#zR+nkiWi1sL%A^HM%-Jjg`( z2#32yBR=5YFe$=riHXqQW?R9QR=(M1{H1ibPwvaOBcN%8AXm8d`1q)_6xLJ#-(9Mg&z|Zd!LkeFs---Q_v0B3>0~)=wgfDWju|0R~ZKFgjkb)#( z-oC;vp%dgP9E0Dik8skosA+lXb>`lSmM)=?R|`(Ap-v^ry^I|pZ_N~K|5kSU9qG+` zd4<2!v`W2pnX_-Ae&i|YVLSoU2$VQEY%mGK1ZkrBRp z(O|F~w@2LSc^D)mS*|AkaCyU_n ziFSJ#@Gh|%U*`XAJYhpm#T=p#&%sWbQ=O`$jv}+%Z_#X3IfCT6@F()(R!0y6VC?DG2_FBOg;Ngx(N(JEb#c~VGZDv6JUvYKo&uVSF1h}uj#TAo7M6YHA6BV zUvy@%ez+Q?n3-FtsOczixy&nNzSmxvR2`@I^G)mbyphzXl+POjF7fF&)uiZG@y3Q< zV?uxaPkY}P)>PM~yHNp^CL$ocC?Fl_9g(7dfP&I{M|v-zy`c2oJJOXZy%TBD0tg79 zgH)x39w3Cw&ij2cXXczA=f}*y`Tp!HkSp1HJ!`G|DfhGPNOJO!9@%D=fFz7olrB@B zbHCcMz10X&bm1e5mpA{g_9z-hOh(#@Qzq(GSxXMbkM|GktW=H0c1Wxt_oJ)Jt}|%e zJv`&%29#|#o&3E>+89-h{WfA=Dc5U`H*SCo5ak1IiOb2Jb*%S_%`C!qy>zM_)Xf38 zE5=;vMZ}9y6UU}LyF^AOcvZVi$Q#ao5u&Bf)s z2YCI?vhzjQ$+Orm`mftrBcA;FuzQu9EgxC%+2W->g_`51s->6v(#K&_BJP=~l{X*)(1eV?-#9k-n+M`?dXKvScF|t&swETfv%>L$F zGvfxGjVaI46_;H68vqv&RHe+e!zq(VDf!j-I^S~tpG7&fifgb1!w4GCVR?CtMsYXo zrk|ehDpb=n<}GCHw1Bz*flG%AvD!aJRNqlru(BQ<;bMG2^Ac9L_Z)-#%HC2(R*oy! zBmlN%&`8^c=};;1CL$M8WMX$iyxjJiW2F&FAyzc2SQe&0N- zdG}uR!|T_@_K)q_m~$3hV^P{g_)$g3ns#OVLR1g6N2Pz1vA8~bPNWYmWyxVP)gU?a z3G63*Nss%U==K%!sr$y)21=~w$POjgdnabHP}HctmcAwhSxFJ$cd&>Jch0X4#dcDp zHpdrGzr9*1&C?<=R*BD|!Y^=sB!?qG+mhkJL?`(PJoX01F<^F=>Jri&i1~0+B>54@ zrrqSg_G7GPQm9%5o8e5+rO{aq^b!KOB^ahf>x zIiz*Jn!PIx@=_|y+gC)4m#v++Zr+J+=XZ%CI?}cg|IlSRhiJf~%tgOey3i zDHnfB0pBR`2o#3t+j(&SFguX+{^2%8&*VcV`P){jUFLRXLNn?7Y?Vy(;tGg2F(&0s z;a(d0xw9)ubgPq@e_t2?7N>?bqS)WLJvzq*nwgd=10{d# zfp{z#Q@bh{Wg;wRB5L7^C9fw#TZnH_$(jjN_xOBZAPXeTzUCqoKj8UT2u(Lmycm7p)Hd0e-6xp-Z%JsQ(hSE8+e7>|Y&{oTDpL!`oiL zRAlTN@9ts=BK+w29k;fjS9fPB7P(4i^&8#G`4dcwpm5#A(S#?e#jCYNuoc;@FCjYF zjD!?x4C=Qn9;`k;?z%bgus30*BqK8mgIRB1FVgLj5FYhC>6~>nay6Z$Ig3&qV9h5y z*1VLV+|nOUyC=+Il^@rvrVf0S z6oQQ^?>btz^JTh!HNw&JsMIx6GOwNXpDpoz1D>uAyy$*F+QDvAd{Txvw~ z)-1uz9FM9)+QcRHmulnC+uMS-0+>0AX9Kw}8oay8iuZwMPVMtssbVMJ+i*+E%@Hp%Mp7)cL6mQUAbhBF~^%eT%ou)lcaDutsaxXXnzEh9-?F z-)f2d+pB?*ATrXSPF0i4)7g1!VSgpD@c9FPwsIs9oeAZC*74;xU@ zO*3I31wK7Se5L)iQm+%H+=XMGm%FRkbEX@?STzJXmL;R&jbS~j{7*ytHEIfn&#gTd zS}1^@V+%Nd!iN8uR^C@`vI!Qjc_U51ZKmta>;=161Q_ZM#wT|_9wPi0J*fpYazxwJ ziryN@5*}PM=F?5OF zA7nOCN4Ko=HagCA9yn=`NgN)ez$MBkoTBr-t6eoeQ-Cj|T`w@P36p~!Be8bx_qr>~ z|4XK*-DPs_pr>NkFoEH%D+Whz#l{j3$Eg`+zm#F*VyylALOZj_KjbgQeqT z{{`KfmL^CZuW13m41uRin&7==vB#?q@5~C0>VXLcz*7|RG=OjQuIRmwG*ox7v`I7= zfJ0XCC7Kw6b%OtcB5_^`o%rbfwa548bueAd+_s(&Fi?Ga8#0yRAr6FRui^o=NN+JM ziNE{Bz7NPS!1zqAR`Mw;s@{d+6M)pmq07$_?{V-Pm?pzPtG_rd;DuNXzyBB3(e(7I zn&OikYX>O2URDV_H*|XQhzN+f`MFGSv6MIV3*P67N&jr|y?sN<>$VtF#*@E+Q(WXD z-7A>!_cN)>0ys4HIKb0YTRteuVh0z{5uaLX=-KP)HkqIPD(K;TwhY#FOx-2my}s*` zFZ%i{2kFlHQ1dQ}H<{+_>ypBFPBap` z^6=SY?dQ8}Oa5XRSOMt>sr~W5deuWB{nNRp{Oa~{;aAS|j~(VyZ-vI3C(zKdf;FD-$q9os z7h^0?-KPz??HYppO3^)&)APu)AKG3jsVuE*{?5f30VNwMfR2CLS+S6j@zUI$kR>Sq z@=*=R-I0XYBt-8KMYSoXDVCDZv^|^Vm;EQFzn0H$O0N^D5J>tR#g26wwHm5)?i3zO zYHX&4$`KhOgPtG$!C$DnKbMVWaAS2HtPy{ScV(*T<{EvQ=H|rN@9iT7G z#FJW&qIjm{0w2QxXRs@7IPvJQr@>E^2?0jYi1pdkKsx+gNbpszfa~yB4Zev3hX^G~tH^{No zD1TgIoFF*dX^UZRuc#F;i44aBVx9~AHKyNb#_i*tPNs-U#$w-`j!h3Pd4)HfHpq)% zxGYagi(Y{pis&@;s`nhqT@P)vz#2@S&TTV+ri3RxI~t$rpF6&x0?!1`WtUU9@U2&@IJolNBez-}XTWA zr)>ewT$mP|H)Jn}=+{M?^TzUCcHdO7Pg}-(>(_6Jc!|u7tD;A#lC~hOU*uxoP7yER zgJWAuS45;rizuUbqM33I-v9{_jMtB284J5N4w|;9NRg}Dw&^b!8l-bipYHs8byzX` zMoZ%tmClI}1flw{LO}INNpQc60R^t&r#( zBFSwaTppr4_qhf+N)1%=`BZqb(8N5#RG5SnF)cK_Am9)aD(CR?IoRo8OUXdf^WhNU69=# ze_%$hzWr1872dmuG1<8aSg7Av^xuzuJrD9ak3aYm>BKdBZWNysDE`62bmbmV**=Hn zJ7(cs(K%TOaF>JV3@^lSK$#|;XldtUL>Sd{<$L*}Gof@8Dr0YZ;&)i_#Q0EPVuZeg zLt|%06^4Xl>``%uK&C(5$8Axafv)Z01K|8Dq9;_yIwg04UCb3Ml)F-!w3mgM`gAm| znVeEQh<$$NhvoX8=`OQ_r|aMbZX+hsRF^Ebc0Z;jQmF<6j#9fbU%8CnWvj#Twi+87 zzwtU?K2I{Q&d-)+_bhjAuIBR-@4w%hY1ts*uDY2-q%v12roAo$-Ad{u_#T7ai^8xn zFZL+zgkSV}_Q2`(cT z)%8L3WcNI%|M@GT5bp)zvP)CZOS-wl&0r`k*3%fZ<=Eo8e4baiY!&bYG80}z0F8J5 zMcF;W!^q6s==$hj*ZM~U@IwWhaNo6+Wwc4fmR09Po+U|G6MHtMyZNpNUI-hlobKQ6 zn-H?Mf5-pU!W?UqL_T%g1pvKS;JB{a_gXTWjFetowuOtfRSBL2I5R3uOp<}UC2vJh zcY$x8`rd>TiV#ar`@Yya%gowpU}M?ccU7gas_^u*YKz`X6P^)qP-f`?0CE?1E^*&L z27|T^tI?P}r8{jz=5RjqhVaL%r7WcjCzT(CNoVWXJtj+jPL(H(#HnU!gjDx!P1u_n zg%SY(gPa+y{k9~!U^%&Wntc`?5$?`ln=3It;qv=abjs<@dnG?(}RP|6FFZ;oqUm^$e6|ihdWiI{k)De9^Ud_$wh~bq6Er`5Gdlg zq2ZnxbpY_|8?X8OJ0^sVJ7<&0rg~aE$HSv^y4p!ZMzJ{B2K`fPwT`#RQ$k-a8)q2l zu}A~SXKDM&H;*Phl*TWYLOgWh-4(On>u}($w@8~^6o7Ot)bSyNNdP%{tf{v`ko$Wn zQ?0F0;pAyAi%lPb2UN3-H}BO{A92A_)NxEchl2~{)bDGZTOPttWi>7_ z6cYlzu5(*n5K}KMW!t~ZD*|l=j!a}3JavDR8}(f;>OE269J0V;znof}dZ$l7tC516 z_kio3ftIah!j#u&G?gy7^&eqiMe?8EhZzgtO8paR2Sx4^!FfA=T^1vk&;#JhQyRgj zbU0hJQ?xPzUCikwYb5y98b@LjM1b52S|RWFwUuj`wrHzm1wwOe>we+1@m>DRHe^Ru zy3VABw~CpWDuX^>_2VTc+Dc7<;)0><9uN>sVZDT zBk!yqSo3VvA^<+Y-tlEtg;PK0;iV6UX()BtX>l0g!Pi4oZU`A`X`yb%8ozo}ld-#FkIaTIOpwEAL(2i3@;@$UX^ z<^sCUku)QFU)=x4frJGS@a%*z#l=}^@F`+%Fo`TD2i4wRV5sP34POVhKu_n(ARM3u zJNPA(g%mP-7`a~<$6DdnT3?;PrXG9dHi5b=448b5EX3>Iz3d85!ULZ5#fvf!0?%lv zBiBr1Fc(YYc>%r&;gV-DG9*?~0Px}QKQ>I3mtVl;%b~wCbC@Swp4bM$sYu0U#+jJa zRP4@9qB>8C$)I-c%dhq^;RE@xz0;B9-9F%{!4J%_u?jDoX#FlGN-2Mw3(1RkuMTD4vjVw_;I&i1=tUtJ_8(dh%uNhe^ ziD?k5cYufOqVJtwZiUz_`PpgrjDGtwX>E`ofS`az(1j)5*vf`@n~gx`#O+R$+H&G6V%@I3Rdt{m@!I! zldbFU5DboJIOP{8m0gXyU+=yn#|6FpCOH*h4__Gphq7c>C8wi~iCQ_QktHRmOR}Z4 zJL-ZuEXomN42l8L!B9ny{RMirca4G-TojD2A8P8B&!UOE3FOm zZawXh;gDIzlFy|AVlgmq_4>$CY-8Bfu@jkaa?(paOK_vn-1wcrRzyBaVY6Dh+#;j> zu=0+|5N&L2qOZVwZ0)YW7h%F48;+5?r%V)YY3MiFhXsLb?bXj+`LQAD^-Yx!R_jFp zF>Z)wx`f+lLn?I#sv>|66PeYO9q_5wfY3PFfacNfL^@h>$TIfz1-fUt= z8FP94;QaH#FM{O-Lp)|VnX_)RExi)o8%D>HV#>7~VD2REv#7Ugtt`UDCiYN=I$K+o zr?h1hq%~?I$wBO0jkf_&O3?Yr(c$Nbd(2%Ov@JqAAUUCSn8^O9wlP09*np+T=;h%E zSzuyPgD9Kb;jR)g@})`?2I39|qqPh81*+2*K2{$bHl}dNTPULX5_x@aJB`yKBVoAv zF69ooUmjS4D0meLyZ+uaT`;%(YRsnX2M=@O5i7DFSIOTVG(2%+AyoA)3K7!uR+@U7 z85}YCaA;I6uW{F2oSpe70dl!egCP}lTWP?<2H!|K#TLl>Hwg%Ml<(NS8{8=+psAyL z2Qtp6e+$TlfL3Kf`yZT8X}6!v*~ylYSRArpF3$D^mT3hvTx<2j+gRDy8nUHrIveeV zzIi+D* zCmHf6!&?BOD>yD|qJx@giT6$L1<7hDc2lo3yE!oQsS}vD6ol4yb=qojP~idD`m4Wn zPISlc;f~cAZsrh;ZpWS(A(##~bHt$SAiIdaUB0Tku!Hg<7$u!K@0RbNu3WIP_P zZy9Est@UY3Hy?1uez@|Y$)!K{blBJ=zf(@&TSca$EmJtbH{@W(3wttJ0dDKh$uYTh zxN`&o!kZaz{)*JZ+Gy9p)@QZKS(mN7PR5)r>VlcdJ8pHuw2eWhKgmV7_`F8k`nq3> zfWi>Qmqeaap%=frBnGl8S9ce-L~8a;I^E7yRa`Z|^s`NRP7F*i5|dV`a|2e(k%aCf z3palm)k zKUHr6tJ<_6wxkZ#(Mmbmy5vgRJT{oKTZQdHuMTt8`^1bJD^P(;(A%DV_8BvWMFTrs zTIQT0eqq_u1$u>_^Qa^PwYWfcunNPSULo+=x?e-}*CV|=UX=vvu5aAP+;M9WKhG~v z@IIp~LqxgKYmsmx2>0)kPseNqmtSZ-mmT*!BL}9AuG*|wD=L+sE}51ZdPjNEl66xq zR*80PoIWZRUQ?ZA%{=9Tk7_w_0YcLuqJM|A!lHGZZ}rfq1?)=NUA+8UXRdBGR7CbD zPi3LC<#;=M_fsL4MB$8oZu6(PmBr5hKuY$azhG>;Wy`=i%d#Xqydnt)V>mH;OTq{Y zxE}w8vJwD6`4M+Z*j+m1GGOroXRY&MCcyuVPfwTpJsq@B{|(#!$Gp85fRo?>A4<2; z=&3;TdeWGh9pa^hf$&lALOGAV^T-FjRKqsUJy1UsR2F9L)aKC8&;XD7H(3lOzNRed z0>$L2JDRFpk%!5%aQ|NgZ}Q^!_K~ppKxt z?XuY}DCSBdZ0~J4lIg^2NIelO_z*BNJzkbp%5dxO_<4{QE2aLuOGZ+1!3F&;Yx%BFsA zP12>Fd~jS6Te{wOA*Ij3_18-n0)5F1Sy}TXRw!78E7wz0M3u;x%(mQ-Om$uEngV4T9O$cn&ia@;vyF*KtBz#Xmx!f1a`ma6q z;PBl$=^JxpxClCQpJWPMbdi)@XTV@XOdOpDM0Uwr6Ox7(WwbE}@c8bRfmDS59&~>O{K=e4 zy)H%~=B|7h^1n!?*G3RAE~urf+&hgzb_<#gc9|XJI_5i4g_sWqXRtPlfrt1vpGAx2 zjDn(7FRKnMULb|Ypfh&GY!amdBFag4;diV@Nyy-OW@uVFF zxJ3=8OxsPs2FVP0(o6?nYynC7=x-SR!;u&jRz=r3BhxsH{Nwdf=7Eq?Z`5EkzA-6j zLWX*?WE}c0F`hJ)%>~z{t1`ASDHGT zUB0~~tuwjQ;6p+UwFMPcD}2mKT8y6h3a@l<9bE{t4sP~VhfiCdPL7f2Q`;DPU^I7u#@uXHy+m^&QOhRM(Fm_Eve zs`4}JzC{#z?CG|7W(_y=A9lgmZF$n{#-_JPd_!xNh?<>BM`}hE4mg)fnH*N%{*fw1 z1~c8^?E%py$Za+|rHxbTRhIBbd(&4l za*?yJ9fO12aFL{!NNK0sofm7R84Mhlomn8Xf(4N9PbWg7iz6gvJ#X`7#1)X)uf3K@Lblrv(KMDgv%}aXSebKv4UHmd?o2JC%KZ6QlVnZ<)~NZ zB%E+wX1hN8-1Cfm>!7K+B^}HR?iuMTy&94Z0;*=bke zkbw!F=nx#>2WTeXhwOj7Bs^iB#9(|}Wo^O2F#wFN2I7>J7&s&