From eaa50eb47eb467d0275098744e68ab3e9e5e7dc5 Mon Sep 17 00:00:00 2001 From: TimQu Date: Tue, 14 Jun 2016 14:30:42 +0200 Subject: [PATCH] updated prism benchmark table Former-commit-id: d05b06d64a8d0b4521282c7407552d74779258ea --- .../2016-06-13/grepPrismResults.sh | 2 +- .../2016-06-13/results.ods | Bin 21365 -> 23324 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/grepPrismResults.sh b/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/grepPrismResults.sh index 56d0230ec..cbc69d720 100755 --- a/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/grepPrismResults.sh +++ b/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/grepPrismResults.sh @@ -4,7 +4,7 @@ cat *.output | grep construc -A3 | grep States >> results.csv echo " " >> results.csv cat *.output | grep "Number of weight vectors used:" >> results.csv echo " " >> results.csv -cat *.output | grep "value iteration(s) took" >> results.csv +cat *.output | grep "Multi-objective value iterations took" >> results.csv echo " " >> results.csv cat *.output | grep "Time for model checking:" >> results.csv echo " " >> results.csv diff --git a/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/results.ods b/examples/multi-objective/mdp/benchmarks_numerical/2016-06-13/results.ods index 89313a3f54cc9bb9ee477b2ac563e3893fa5e0f6..71a6bd2c15244e705d7e56529504559574693d94 100644 GIT binary patch delta 21848 zcmY(qb8x4@5-$9Uv9axJoNR2H8)xHWW7~LRn;UCm+uYb2+qR9n=bW$VyLYMvH8nl| z%uIJrKmFVnfn_#DxTV;RNqzZ3l0|u^xvAO_#Hn!0u2BI z{VM~o5dYe!kF`S(2>e}9PE{NM5gilx3pO?`J^>jP@i#(J%CCetB*dgtq=ZydRMhlr zbj(~V3{>Bkm^ql~xVg9(IK;U4#Q21zcqLRNxfsRxxP=8o#Dw_eh1g|9`BWtM#6(0z z#AL*!grb6qs*;?pl7zOh zoW7>K%D_do^tn6+L@> z11)s}Q#C_tT|;ASBP$(qTWvE}eFtwNby*{IB_nMWBRy>kT@@=mO~79NyP>{;`A;op zGi@Uyqn{?0rsk$57S@&~Kh4d|t;~%rt*nf!oD8kK%+2gAZ5(awZH*ngt?iwyoV=~w z0at5dH+v%|duuNTBQGZ_cX#)nc77Ia!Oq^n9{%ATAxS`7j=z&hfQvs4INWq@cf|T&wl(>S7#Qd!Evh4Vp93Y`A|5rnCdU0{l?~2CC zn#$6;wuXw|ZS|$~_4T!l?M*EW^{t)lO*I{@4ecErSrt8H%>xyk({;@~_3eM^x<*^O z`dYh(yL!6X`bOG@<~k>~`diBWbkzUpY#r&W8}4qI?y8#ZuIcY-8t84G=xrG5@0c3y zoF8r<9v&JPp93bR#|Net2d3A?|IUrguFj7CnVB42p6p$o8C_gl99!I*UEQ5oKVIF~ z-rU+;-8ou2yxv(H*;$?4-dH(WpE=%HxjA0j-QC?eINm!x+&exyKG-=s-a9=#JvhHP zzq&ZMdf2~yI=j9*yM4ZRdb>G4c(~fXyFPoq*?+z}djp;>Z*OmJ9-i->U!NXsUZ3wj zK0f}vh0o7VmW4!F5QuF-T1;5gedW9p&_TCo+FJMWy0m>QXEm5@x-l|{BbovG)AOsV z38Fn@yYcTa-1P~poc^lGfSi=pYniY!gV4_8z2w~q856Y^2L#Lj2sbQBH9HKR+uP?S-%D#frL{oL_NSHjl?i<|X%(lR_ut z=GA$j;FLugAP#OHPGM2d{n+kX%jflSGmb3nL=+Hx3Q>7kPE1^#82QRmbUj1|thsj^ z>w>*xTv&CVRDqU^Bzddwc(&_4kD+Srh~8pTfZLl&f13=;bw>;0o=MXdSDU}dGF)ft zNyK?BGh*gouxN(u#o!H9-r<((;re?ZamI?8Va}F=dE(^qWBHqdO?JjEm;nt=8_Kne zz2=w>ru9Stc)7bhRfH4J`()fr=X{c!LRKQe2OJbi@MctVsup>Lv0f$j7Xxb2s?3iK zpt`W8FCRfHeLh4b4=T=e>$16BLv%%Gp#YX6ogre_ZBPD(mZM$QJ#{|kKusoD_gBz7 zw?8|$@@hTxX#~sw=Og*{ndL$b%SKqiMlH?#M9Y`D1;Kq-6gj^P3^oRQissJS>=k>= zo&z%z`C}F3A68tGzM%@kS+ER#dqO&R09ubW#OP*42xT^^`MBn%N#^x>Q?t%ySt)Mo zR}Eiz(0tBQkuL)7?14_Q_0Q1v=^;>+8rk=`Ws`?HQVKt}F)OW`uOCU^=20Y&zjH0) zX@xV^esvN0ta`DQr`*BW!iI@=qNYRDuv#Gz#=)&Ky*nz+cN0=S%VW_W$4nP300(OQ zsNl(0XLX~^JS^ck9~%syUHl~k*(M2^S4Und(2tB;ceq-`<`wmsxcRu&&Id_A84M)P zyyY^j$FvU<3-LJ<=*xOhNT`Q%>z=lg;Y9G~%QtX6s%U|&PjgEQbE-Yc+A%rxP#G;D$^5zr?LC)A+Y754;k&I>tDHaQaW80khbQd!dy zq< zYR;ZJyWk9oJIY#h9u|iiJjLG|5$%dIt{#ulBbkKHp0uF1fS6~O{I_xcgmZuqY&vv6 zI_7RrY+a-dB`BnyN1qx3c(tMMgZx|x-=Vt&x*8Cn;g>zMlzdn+9`w^g9XAv)X;i+N z1h&gXHaM8g8dS0$j(jVJT6QVae&MR6Z>I$(*;st9&(97T93BleWjAO45|YGA^p*x` z?+fnACcV<^E>LSC?44tj!;=L1+2hE9yP$xjAMNa_(B~I{$t7h6+}N=`G$QWPx0}@$ zzihK_nQf-B)vXmKMB0dUeG#6K&E%SG} ziEP$?r*$beXeX}%%nm5zYeM;s83COmtTEJOO$rMik~6s6`i)8;DK00E_s9JqTF+$@ z={{#Bg!$nYlot&$(8iv8G^7nP=G>Z|WjfWXA_xg4^zBVlB8e%g+}^$BU9x>T&+QLC zm>jHLtQlTsz{XbhD_e;}97%`3od)q^e42*`?yteCtzb+54{WdwbaVSn0#Tf{&i#Ip zuz=b^YU-Oy=gX$MKI#n;d67r6K#lMmbX-}4Ylni^i<#YF#Kt=-WP+0A@M@U@EPELo zJ!l9xfD{@!q`RM)J7|2C^$dz&*OjhAH?b%!j>H`K)B#URaZU>l=Fj};s;`T6}pp8#OPzP2ZCrSx@~hVt4vKDfTblJ+9+VzF0LvI;j` zOI%^W!f)Baaiz#3VHC-oobIykO%kKUx354ac|d*5K-;j4oqx`yEommUi`i3PNf~9b zS5bH8U%ra5W*))Dih;Nd9?RX1M)g+D1@>kr+blD?qpf6LVku><`c@`porx zO$IP9PlyIrc$Fb9_!92uUfA)G=~MEvTIU2~AG<+zK^LTF*-{-n(9>S_c3er?>)xiT+wS2@z&uO+5n72NlIb57OWO zH_*i*BY=1?04b_9VTdiJ9IC{KUA;x#zxIFt=v*k==jIeTjq+V<{+_F{3cc9iw2_t~ z)9*CSy-uOyW)IHQKn*Lxu`AZ&4drQoM}Sv`!A>ISsqOdG^4&Li`HV30|T(w z^(QSlvue1t@p-fx{9V|wAI%5;BC(I7Yf&(Hjqcapd|iw0p@l)g2qa4@XT&%K`GGmW zSx%0dcCb>0j3|53JqdP!Bdg$WpS?R)wwRG`n}pMZ2k+LYU#P%*exWL&9C+i+T2s2F zu_0s(6FZ+X@+Z3!v3-V9nE+zR@d=0>_hSyp!F=Kv0xgGu;fSK${7O8`AIymJ+kBi4 z=sG?HZz%x(!Nafmi>I<$gMyG=VKt@mbi?n)TSU4WZKI)3=C#Q2G%(>r?gJb+lG@3G zA%4efA$Tw60^7UphS;jTUVXb5hs2=`lGMz#D~e|Bs-iet1Ak&fJJ+N90s{nqUk%IQ z@PwwcH&xkLDUza;RXItj5xTJ_Z=7y8+8Uo1vNwfU@kfthHtGm1R+jI02jsz?uBDJq zcP@D}3?%HYR}+~SJ?noSF8>knMgQ%=Ii`@fVcve^*d+QCo;$=W`N|voK4PTq6Z3~x z-E%q;%78>w{SCVyf2xx7Ycw#u>83Y}F^b-A|KYh6OamT_t|)j@C_x7rQyOq0lC!$CNBKYo%2WK&&w@eu zVik|4M3ixwtg4ipqhUyAL=d6G*7B1cNIB+={LsSWQ|FA0!)cV9_z;1kxs*Mx{eXBQ zC-eUj{x&BUAP6h+a^TaJ=?`_&8U+JQ>TJx?%x&^Vf{_AxKp*f|Tx(!}@t+>@N*G0j z#XM_UtYo9G7ALt&kp`^(Abc1aoh=nqf3 z+^fUM##ENqZWG`u;%MW%&ajJRff23*k2WNCGi%VBAI{4Ta#s5!fs%%%#!U>VclPm* zLG+;X$GL>;76HS^TH2ZXd`KsR%&BRHZwrZwGe3S9uX_=E>8U{URKybBbXTJ^dU#Zk zkpJQoQ?u!NWP46>^6O7q5i`T~Ukf;|IJ^Lo-}5I2F}79!+)0=EYEW_vLksbDl$oo! zU%O)LI>e2rM@!CMv{KmKi=uT1#lSq$u8-9PZ=@4=xhE8j92et& zx-zP0bO#Q&9-52ro-e2>Y#vq}QgX4?*Zh_}{B0FA`};YnThU?PdN*22NhyP?wKtcf?_Bds-2J;cN}QNdlv zZ+9FOK3hn*g}l>IP~S-OQg45#PcSwfIH(xSMa;SfcvIIl3oSTGy4l| zk6th)$SZHyp5$IuC26L3=y_jWY~);%ot0@`jLNrP>ne!vKf|5m7XDz23_Q9&TD1oq z(zac&!QEt3``85%kMED0N{dtb)Y?)4CpR9?Z8x3x8Vj7i?e-uI#t|ig9!9mTZ@i1u z$q6e*tFu?WHm9@C5ZxA`x$&#E-Q1Q2_6DPV!<<^i%Q$v0N3qoKl3Ep@tRUT45Z$A-Kf!7`e)axuf3oDT$4xM~P+nHI}U4;mF?oeu_;nqLl5_+wyC%lpdijpLzod0kyNp-MdVVSdNp<u)wPl)9H+&_k1^O86Z@r`^Ha)?B>X-GH(2Hh*+ZKVKLrk+aU zn8ETUS+-dg-aw&I>UQs9r>TLyPFwPl(q-)B!B!j84%KB}yh~@1BRDh;#PNE5R{-?- zaebPOQl1elRtwbLV0y^?)q9vITuVsu zh=M35i_~nrrOeU!nAwr%P%s@RezL<(>wS55xt|%NpCCFs&qA)C)8N=Pr(KC|DBNC5 z8^uPJ*=C=@bf7zeLi>r`8k>qdj+cT)sH!<#k4gX?Z$be)Gf@^8eU#nzVf+iB06M@$ zp-pCc9Q!>XFY5Ivq`&OMc~E5fTsRbi*Km^RxPq4TtVCeH+av$!=a z$uaypV1Wee11Tu!NHI|qCrIF{+YmE|yOmG=^)~J{ESJ+Z~E0kzv>)gi-?!&9poB%+uu-POH94fPpbJ=APnXoO6YXRqZ ziuSZx@fPKSBzM_l9|s=(Nnav7`H6`CeDlS-t{e-m?=E%_XdMa`fb<5l#Nbn4ntU=S zMHNDXh)V9oKX>pn6~yMT1Qpx6^AX*}3)}go!y5tW`?bkto+Df*0{n;^A@~^^)7cF2 z+jB1Caz}O3+2iOaWNeV%QIsue(%I4R=D(nL+CqNg3*Ghcx&sPMq8DG)Y*}0Wj0Wy_ zO)_7U{F&|H@$(99gQ_7!dg_?fNo`T-fNX^qR^o*Q#p1`qF!FR1w4Iemd%EPrtrq({-7fXRpoO~ACbj$`dmLv!kA3Zd9%#pzb(SnuF^fR z@BPQZT0*UOgpz-d?!m`@a8bS}J9{PN3Vxvp%FWIoK!lE8no~!4P*fdsKAzAY8U=`2 z=mq`mQ>kl3_5~b{fjJ zR6-ht`OnV(k$ByH*;B;A5;C*9W~fR?dKU=*HzIFN$8a78YqNr z{o;f9VkVDr@*S;!jyou6TryE|rVj83^y8Ib+=mg#2~W&=B~q1k#7TRC)K1EU|GPkm zR&KL@V62oO{A;>_vvVsPw?VhfxfG@=4W9~xES(TzR|o3aCJ~#67qG>>7TCQKf_ZQU zaf8o3IrVHKI+^)iki<0B4WApdM*PSdoypDKDrn1EQZo#|{y?i>fD1tRBM0n4x(TAo z5ty|werwoFks8GCc|u72UfdDAwzamB1(hyf{@LuCCxappT|;Q)K3Li^?hr4rm1KdY zi@N$nw2fsIMemqZoI#RZ_IqI&Xu6)Xtukp&D3$+}*kK8_O6KB)Lh;EZ*N23M(W@m8&3Mr8BUQ^6jfl zyGMqBCyD!ZelvRE(A<;v7??uk2##HZs&HmqV6=ejc}a%SrW(d=5L(B4s(IljY4_(v zpII7u*R`>NX=KVaa*H3_{CXPs4~W#Sld=iww;zW2K`>em#w5+GtP`+kulN%0r_Css zh%pK8CG_;Eq*~Tp;Q{X-H&KV@$V9hnx0>|wA~`Ze?YGmE$9^!PzgMyLaFdoJihD^( zwywPF?R(}=C5gM_0baBbw3dypDksGv=zn2}zg#jXj9RHbHGv3E={OF0uLV?mu(6A- zk*kw_y@*>poZ~0K1^~W0JOatr>j!2nz8Um&{ghabxU>DR)0j1fug8W*el!78*2RUf z>YBU1PtRTxn`dx$;#h2-FsxyC`;QCaVxglcJd6hsHaPL3r=-1im$?ionio$zz(h7x z!62=jf@q@1kxtTLCSpjwIk@}vfvNQ?8*QHvY-#8C!7Hc3ECG7NQJQ8jqy!l|rXgv1 zAsJMzTwH{4GLXWsFx4G;a>5&^Z|F5dfz&j2i(+@tx3{!-k$LCO@=?L{RLx`kv zH45eQU2+Ui(rpM6itoNI{k9`Re~m#(>m;;EIZMyQTq@24BPG_zLk?85z93m2 z@JBiDdoW(Ej{@0N+Bc(_X*{>oB+^HvG1t;%aKhU7`vFVW{Hp;Q<}8+v9h$|1GIn)j zRA@r4Kb5zD2KX13lz|_hLQH*sMHyu1JY@tCAC6s1_r-pHMTb?^K$I$SYfV@_cqi*%5(>1p*=6_ly-E6+4;pa{|n9TRwv$Litq zf?O&SnTizH2ysqLT`*MPNo3lHC4||{Jk=>eWFXNGtJ;_2vxL(kXQnsb%ez40Nf5x0zUC&2j)C#HYPj-s*nC9uMF|~s`CVBu> zJjyN3#9xa+^+N*-Tr9V~sza8J3sgTV$ervMYvIqoCHV;UHI;Sm#MCXK(*N$4U*_*3 zRn}!G27}1fcD_L4J-S->2Ha4wsj$vpemEM@cp*j32 zv882yP|c6NvDDH^X5wh3P2zekibEZgUrzv&nW{}0TemHV%##q9S9_5oY&p9&e}~8F z^A1<%R`S=Ca__#kg*vK^9L$KXd#ks(w+Tuqvjyt>#>TA5ySD;0FGgnz5l{VXY>%vrc{m`)^cp6oM1iQO$ll?fAo_QV%K*7#uzV8Yxk!rJM1*yI*G%Hy zq^n++X1{;vrgePE$%hmlcpK0%C;OYcp~xZN*SA-QP`E=bC2k-2S(Xj(L5DLdf=(?_ zHYHY%G!F3c`Y|U&rMd{Nz?faPQd+8IS(Ir@xQ}KboaJ4Z?eu~Ol1x)^^h^y8Q)D=e zmsj?$-`ZgF2@ui++GI?SIlTz{mMRsOwz*gO4*d@4fj21FULX0RHge$Zt8wR$`6TBt z{3NN{JNa~wtpckFE2$if+0vh&%MNv~OJ6Qb3Ldu4tZJmKx*?{go_q_iK+6Sdb?iJN zB&$ZL#+do-8-XK1kvmEwQv9ce4!B+><>xBSU8wZ&2lf$s%|h&$zGeqSbp_9 z1ZT-79}AV5=7`0JIv_+EL~2VWNq5D(3WLD_EVZ-ilq^I21AtQc=}>0KHD*J9#S4;Y z$;7wa{)MFQI4w+!p7Ue^SWOmETES0)lf9Vl5X`NxK}m|v$8fOH z>##u$nlB7sYj-)xB-uo?d!(R@A5A>_y}E2aiTFnQle0Wv(4W*9BuIjI$?zcu(O8A? z&EzKvG{{7$ZU88#>5{Vu{`|GVe_kz5a%eZsBblR^Y1=~j$ztlJZe#s}lulgJNW8L5zQSDr2}q2(?rB*UlV%+hAPMZb9jfm3y{BE-p0@@+Ycf%o% z&)7=K{X_KGpdSuM!>oX0&T``_g(xsjPx; zt!$p3(O0~OnkM-FWNbbXP6!??So7q?9tBouFackhl0}>SSPPoUa=@%}1gT1XVW-ji zKya5L>hzUSp%HGBA1s)HjfhqiCGk*eq|>|UyWKP1%1@Ff6TLQ#&XGL?J_1X{uo^s4!=rVx>F>LLY% ziP>?xfhmi~FqLnG19R~?nFRSsUYj#LRes{v>|d}P4WA^ z5#1LqR$&6u6)`n9$IyXFp-Art`Jc02Jp?{I0}Rx!trjU2Bv+QcI+9f_%Z&Bco2IvD zZ2aj6B97^*3s_H4;!P$!5DLR|xYZ@Rl@4BGV@!Q?_8}=vSYwgHiP7G>d4CX=G`y(7@?9p6-n ziQX~m@NpTilE*`-gQ8!oz<^H=FiooOU>#7b`*+j1BNx7*I$WpJbnVYap=)!$tSs^b zezNlX3n1Jv@q21AU(!58W|`+h1R*6eGgSa{poTp&Bn# zj@^(b=!U|g#Zo7M7k0fxu|sKN?KbyMCWhUf-_enh)BlDz_$R*p1t0LT6VM8lg^%Hd zKz&hx4KQxZL^Akw=}2zyw-EOH`y=)+*~i5$FXqKOjk5gM%gvKlb#i~BBeL4E=GDb@ zP1R`s7eJ7+{bd znG;lBJNfyUs>div{si>ksY5evMxicJPk%7ShC1-Be_Su8I(zclLQ^G2^>MKyHcU*} zA76eSJqk*XsK#HK38M2$6FWK71VLoR1PYdHTL7q3K2RcUxmJnaP#5yn zfBt2F#Ao;umfMy%prHAKWNsKeXwa$FqBLP|nyj_2o9ex^9k+jEvhGeURi|r@^dz+f z>%Ov8smoRtC8*`_vtf$rc3#sKggbrCOe^v zpQg24M8c@4BKK%#ZO@QF@KXMN+`Fdj3H%k2P6GH>s;hNR=5qEzq}n}I+`(H)8t8{* zC*SQgn`(TwVPv&Z4?@92S}CS})0lH1>O8nN8aVy-__zRyQ%Ri%k`h^a*WgwGv^1QNh?H5n?oQ;%m? zORp_IobFo@ufXrT9YiR}k$MZmF7|KZ^6~^@C--)lGVNulh@4bs&lCy%9ns2r`kKnl z!6zbFk8KI$Zx0W#l3);kMUKa>L;sJ#Vp%ItV@fjw>8P#21JRs4T*EHYv^GRiZAn zC->0u{B-SRMIq;f@(5&A-}*B68tmq2jkeh8@QnyCO*h$!q#7yQV4j+DTseIQADZb~ z9h|<8;cZb>vyXB-uKYX{4!e$GVFTxa#_8uApWT&u`gwH>p(AkC!oS3HsbN}^NFt)< z)5NBR>MiQbBy{vC0mkQ3(;7%R4u~*KHheSM_~r*ol^N^NbNWsR!DU5&tR#u^3iHHy z&^85_6nXi(zQvc`d-6X`A`zi(Labd8JB^=(L)u?!ui?Tm8hIb=2Y2G{*n#sS;tD|9 z+Fv*~g#gLn7gCx~lLXzl;VRhO#5UiR#9|reuYgQrBjK4MB0`cf&SPS4~?#9fCS z|DC`$ycCY=tKPW|{JsTaZKUbT^lXveyUWvx#7n-@SU#;dLfcM&d&A;P5YfYg3xoi!Jmir6s^^zy>{;B`;*UK-n=1MrmymUC-)|8! z&Q5USu4Bta-6vIQPMa9`hz!t*+)63xp!oBPjd3aD1Y&{-n{Q5f=_j625|57z3rgLo zhMO2vVUlwLc$L?ZlO0{!f5aP`6LH;2C8siS9`C0WcsxrhFjAOeMLwT`nx%lbT`bBU z+f<;J27)3sUDTzd_z5q_mV!d%E?2jyZq;Q(G8%~8{hWc}%}-GjgH1_Y6l?@ZS%43$ z>7*2GQG3VHr>=vbv{9d*roe~|Z$web4UYY)*Qph1?C36G0mVg`Am+8Rv-2Mm3F=xV zVLR}6Nfo^1ds#hlA%BXrj|7fu3Wo3dlw^?I`H*zf6F#C$q}NZe0RdD6GwL_&RO+kzX`#$0(K!fFQ0H?lEt9I-{clmS$5f5Ni4ltB#v z7pC<-IFgl~!ke`$fZKI7<>R*t6~2*}bR9CG^YZaIF~wbHe0TpSztYd8Vq`l#Q0m|7 zZ*ECZIABBW%Kzj(;e0CorSN>$f?Mkkdlf{eL*m#tb{H7sp z@ILVQ2QIgaa$g-K2uNu7LVyP;QhZqwTDMh_%Z|mEji&GqABGHB?4vIXNGyIeBEGQn zwF8&T3B!NO5kQVL;VV6^q>5buFDk*(p)-s9{depd&3F$!)mAJ?|Bc4})ItxO{Opqp z2TdhrV@YjuQaos_yfM+ON$mB$7zH+Kk85j93{Y4CKl*-C3wT6$V8(5Io@)mE>EO=A z+t_W+hOR~vZ9X3r9%dKrhTAbC!EgdG38+ z3tqCf%H626#fW@G2$P7ondKYl{dTRrEg!RDTuZ5Daf1%a^;Hv6n^>CTDh9q@e3NOb zS*(aop5;aV9PmP;NHsE9o@>l5JXER)%QlL7calh{T)1(gp4qQ`31)WT# zk?wC89^VuRn}U)mEc*UKi(=qEr>z6NCx2F6fD)ElAQ2@un2J@@o@SheMYIrkJh{ML zk8^~e>NdlL{mm?dac=I~dfA__vY@Xc@i(=UhSAy21<7N zDhcl;U(x!msC@B7Z?uWQQYfDs7EEqo)|os1HjQr-PsSc5)Ma?-6B_S&V))uqCZ1gD ziK>e}0|O%TAmJ|XM=SGMlljK|bxO}dL$&3dTN%J?kRi|FePZ#%Q9cvXUUrcmK^6of z*I;1w5L-!eIYt;@^IQ;lqt*d+mGS({2SLUWznAZi?tRBG;*GHf@`)k~PqOYK$o=pJ*qt%ehD3J%S=7j0N|w{pKNU>p3UQJc z?8ucet!`$K1|mR!afHVrrm6JT;KMd8h({qOND=WFaUb=|*&P0j_|>SMpVWW5f1=>c zIa9z0zYy3K9(|?qz5B|iXUljscWymn#!iBQ_abZ?tA}aBWUIAutHjR<9yOG&5K8F> ze6XGeBc41|=oaJ8o!TWY9Pn=JPW0IZ2Og4h4n3AiN^jPb?59Fvu4`U+mVJp|(QqBj zx*5U#`(QGOziwsCY@Z89KZ4OLve!gbVp}%+C4IqAKJg)BeO@#}2X9A%L%wmdr1G~J zS>@u_KWIX^GW$lz+hLC3W!qyT zrz^}SsGTGB2<%f|W*BXoBeI(ZmJ&)~{ic%EH!VtXB?MnDLNh^n6Nh!nI-9i}PQ10+ z^SNxs=i1haeKtzvB_=+%R)hD#D6|TxH~KWC)t~>5`3v*fl^tjHUb{zBkDD{md_c(^alaqfE>>L2k8--5E~Q(lP-6H#KP0`B;M_ zX(3#=hIJOjMy6P4eYWg2iyavs8QXOYBEJx8vD?dq%^Jn z;rqc2`_6oADSFQ@BSh^b!F0eHV<;zR?(Y=(c4rxSCTQG3p!xQ8z(C0fJZ{y50M=(H zVR!nxLNKZDQ0Qn~9a02Py&ke_z+7~qXlX7K9%=u4pHBhzc^1F$M^;-%=EtMWmTUUr zft)uKK*#rfdCm_baCXP91tog9l$sFUB&bENYohC5M~k~;emb+T_sZ-n>jr7D$k|wp z$D8jA`7a9A8Y1b1AQqd^QgPbQ?sZhom_HLbpZdJ^&!Dx2%X|PEBr`HyJxafInV?R+ zT`aVE^SAY7t!2vRZ)U+ta%P()&4c8zqTy&(1i?wYJ>SeSpy_%AULq=$wGZdf(0{A1 zj#o#;v~J;pMCiRmo3TkCchjrAHdOTAQRp*o_Y@i|PPPb?h!hOs<}J^rm%)wFWdx)3 zuwetbIZd{;orZu)8p*O!t7bUsc6r8t5(G>+fwFCN>dc&euVoA~Zm^D3r=-ZcUoHwS zzeci3t%9w1sJtq^o_5)d(t5e;uS#mmUHjC1M7lLTskV3(9H$~*acWCBoqwsA@mfEbQ2otbsI-o2o(r0Iq=77DTIAxP*@uP1OMZebOb{5~!XqB~Jehp79+#_MWMLKm`>-H>PW zo&7ATu$U4g0sG--4TG%8W}Li`T4u5!6`G zX*Z%-!P`CiWDhrIZz)h7xANDubFSd7mYr@Ld^Xy#emh}d);aVZ36U#cp%hHehFwC0%C|l>#dQNWNj?G8YBPFj9j((VJnq?{-5YNe*5%kN-4XNd zWh@{#9A7c{+XwYyKf7mi41E1Gpmt15UuUp$9lLeH%VJDC+ctcbcJtkzdgs;J*!~W7 ze&T>;7K7hq{f6=*UIoUZGT|G^&R<8AkcX}{Gm=qcta*W197lB~5>_umWdI)M@9YzB zytdaBi%RcqRt36;>vU~GdBt0t8UjdGP=+4xl_%U>4$U8k%co9m(5uW9hn0(FfO^g@n|&0%_ALP$NVICduMe9S>f|0W~~-_TK?y;eQn=xUbc-=Osj#9RpxvAHlh( z4VcrSw#ToPyh%P}3?>J`hH4-LiBQ&D4ZMklYGSoNpYDPgi9#WYqn#uPx3ilAANMlr z?Z=KfKzZ2U?vqWQPzGeN#WXl4Z2wqQAZc+0u__URfdA1GVPXIA4)N3yJz0nWO&g~& zE{u<^?!N6)1-hU5RSNe=T{g#+3;9bM7iXccsP%|&iIDm)r<{JS48fi1d2Vi|uLB|p zhXhF9vz-)LUfOQ#Ex>Rklh~3*OUsf-YD)vdRuwB8F83mD8lT57vnJvYPmvlSkkK6a z@=zS%nMU@57I(Kp(7q`b`;qGbR6T(mjAuOeq|1!umy=bJgFC!*QNvE6XJRcJl z3z|`_9=#O)mqPQ!EFWhNW-rVG&$+Qomk1d^jOYFC(y83aw~GJS5AgvB5^xM#T9aZ6n&Txo`3tDL&(GS zukPoUo<$pftZyQmU=FN(1%%LD_nc5de(T{oTLHcF%=spMDag&RNe_ePIU zoWbqm#G>a#`Pra*g7ca_$X^Ehw+gs*KL!<*n~IZu!iLRY(EA+^12mj&_2LWm6sNDY zl~Px%EHV{mlCrTA)PpKLEKcs?<=)RZMnjJDY|{yiZoyZ@45&5~utHFXINJ^_1Dk*-0Y-^&J=lNw8huGX5i{SZ=h%L_iS7Fkrizr-m zoHYGXzbTY0;e|M#09_JeK^RFZI~iu;UgOD$0V%O(tF*rkzvc`1T%}7g)4X|prs8^w z`3V+%-2(rrnH=hm^Fu&o4TNdh8>Ev!*S;j!;w0Nwto}CC7aLF-h!u9YR^9>e-R(p1 zr2py#{`znFl9L3S=ZLArMdMJ>vwTiZ-qNQxc^B$8l&-B<0>Bv~>$iZoeT1wA)ZtP< zy;@#4MRn)xEL7L2eBNy0yqoE-7!dL3flwQN95${`phd%FmFx?`a#+gCALT~Rs$^dc zweub2k5!w-IYA@}oF6^X-oBoaE5B~Y95v$a*UU^d0vs0^$fi;*L16Wm)%@wDg3t85SLgksiw1Fa#?7L;k6%jO*dfu6_3ZnSboBD}6aG8Pz*@@( z9@}!>G`@zH17m@VABWAmhby~FHf#@<=J_$d-!Aa2xld1>Z>Bfl!wJpBJp#{Rd6EHVB6o${0A_|IZ( zc~0p6F}DA^1%eX7f93vZ$^R(H1UV(>{|)PfWw^oqzj2}m2R-0{Ny$0lafArv8u_!H z;RTBtE2~5jTQtGxxSC0NIU>^~VMO|?ChBr1J(-Va%&?sR5|eTa(8>^5V71=hp_?^s zE@dj&rnR7{r<*wfe^u98*z@~7##ta~!&Y_6>Zaq?AUjB(2+7++i< zAu++MdCp=WB{LkhO*hrKDv0uI8p^I0Dt^+to+&rdFagdGw&@MBz|p)*fi?tltW`K1 zow;@WQ1z+oxArO~VvB=)wG}^)gPvE_ZQM*+KK#`b3%7fz&%xX3gQC~#`!W9NbTqBh zfeZHex{<}Lp|ih6uWeN@8kNGtXOp@TVZR=`W2ZU4_t~X)%uc{|d82j7Mea}UxOkNO zMTnV1Bm<@wQ*K02mP5>mnGJ3~9zeGBl93-%i%e!?bh<^4TW=oraT+$M>W>VwOA79H z()%5MPuq?|LNt2^7Vog|z1vSlcN~su+}x(ezK$V@MDu#v8uvpw*k_$)Y+hQN&U#B7 zAh9jXQXx{OX^*2M6t!Otbhi==7OQoZ*6BgN3RMd&1A1^q(Af8O)Q-GG z(K1WuFFM%mN5n+O2FxymNtL95q&}T`Q5BCv(M27>m}cR6X62!j0qOML36|SH<#zK zgM+m?KA6leL=HQPP&{IS^Vx0!EuD$8|1DVJQ4nhdE+(P&W{89V{N6MBPWM?&ZP+>O*+1Q z_ZF>Wv%qC5JEiBnh4;3!*lbYAr8?G1lJ_|$hZ3XEKlq23* z8(-Isf0vcErMmB}o+&+V0oY_Q+)gnW+d3{d@e_}ee|#uVIk&lT`pFWJ9_?n{l2~0? z_AA{jF5`nsYPS68bZxeL>};(&-$kYO%dGThrP5O0@fxq75vzGHF z_i(-a7P8YL82NThIu(_O*=$r4Vk%BihN_%9Eg33nsRY@)?e>8G|C*BzNXok*C0FX?RfF@|``C11soLb-Q2>I{4x zAZ&+Y+ctPYSUeq0dnb41eBQHHRWL1~>Q#x*yUm0rEb(}+`)*#TvTowv_X?pNp#SDU zPji}}VptR)2i|CJujv{KOGXlV#Y?|#6IbF9{KV@11u1}=;fIjRN7HCMHer=ry zvK1XAMXGA;n<;;VX?%wcwT5I5;ZVJycW2e%^TvSs`o--#0C5dCv<7$&a6KS*R77b< zxv7y|9--ly?aE`EV_2SkRc)>kTC`+{X#|n@o!^`?-ZWje$9~}s0a>whLE5mYF-9dP zZGNPN8r2a9h%kc?7ztC-Ir5eU8t4_%Y7~JbVg10Hm$WbnX<#yKIIZ-c52S@bqa!+5 zz$8?^guq*4bzwv=lnC4M{vCp}wR?)a8=)rI?>y-GQytes4?>|iBuv1JzSj88sYgV8RJn;ax667xgVl~sq+W|-4>+sc$Hkd8{V-^8dWjC zPf2{$7Z&@9*XXmMGN#3Su`hxT%J^d}5)z!=b0b=vIoBo{MsKDT=SfpnX%Flo#gd7CNUM=(68 z3APEUP;HCaq&%Z4U?^N(Iv>s1k11+knKBdPRwm8hJJz>uC@55>`EEuQab$_#-9hlK zbwMRCx3A9IBEwHs*eq~=(W`7(S6dNnBa9ua*I7@4M0U+6-FQlXDqxS9WUS6Zgmyy> zXbpODTs|OEvje#4FG{G&+yjBO6bJ2i=eK(w7Tk=E)S$;THD$wgLh?CrvtoT9`724K ziTL1mwcU2z_5lB~loZtx2=#g_50U{(u>FR=!&W9=1z?~$I{Hux6mtjz^NE@Dt3wCF ziV6G`>LQ;>FET9o0SOo6l4B4c8qX!-XkQy(cxVXkL0Xhy0S$@-a!s5@7lc-fs@`N^#B>J8PmxDxn^b|((xW^LVn(bDB0Gr?wp;+Mml<&33Hw$&jsGVH3X1%0f-ZF7D+`R;672a0tX0y z#iJq^-;3%E)Bh32J0oEIme$o-~Qp8xP(tivLLB35~?;eLvC{ zlKM*hY^qo3Jg4trs)b!E315CP{ZECjj9d2lwBi=|m^P9s1it;%_D~4@_u(#KW?|{n zuNp$jVXCyh+Rm$jjJW62fp${E@0&c)xBSRqQfVa%~@~7r;QtBM@JUFNyfL4HMo!XP%JZ z?RAGf6=dXSLbSTJ6;T9HiYuMI(F3<@nL@)m4n=hy(re&8xAy(GZYUT;TfUTS9ztJ; zS@VNP@M5x++MfxFkf{l!#E>S)NYr!OYCXc9a@L2Y>hS=10T&&G!;;o03txy)UlVpKTCl1|1%M>N;0bK}{`t=a1IPm&nU zczlAcgCYO3p;+GO=F_5#5#Lwj9WnJx!z%6(v9GxE`=%CpsSqcP3+Jn7xtE2&p3<;x z<9PB7@~1hlA;tI9f?N**819%*kOE8y2N2b;e*bRG2e1NTx>l@38Ux(*Z4;4HJ$F#D zVJbsIK`eXGURk@&PS~4sqetO{y6Kzz>2J?~#o1zDho{lN4gY;rjeX}Gc!7|qQq|(# z+UcOovKh57dQed-v$MK0m7(ZnY8P%H49*kk#7@YVZXaEEQdFgbjuAj~Jr}zRLF8E( zX~h#NF1-`DQ^fLkv+jorT4$ufQc~HgMeVs~mh%%iV-eIwiD#OGj~B3!YrmCpAz1(N zX!S_6(*J5vI2>-k;04uHC{&UvYrmy6-+-DhMDxq35CsW{@@j?^ zn^@EfNr*?(RD#SFIVs7@do)4yldJI(P7$JDCI$Z6{jm3sof-wKqqJn`V-Qq(_}mAR z<#>U$3q>AjA}w*PGKNHr4l#DyywZhsUXHR^7FlVI-&SS`<1QMm^#WA>k8A}1X7YJOqSv--iU#R=MJo8}gvv~^psX>CG;=H3M2jNd58$XWi zwM!hoaDU}nE}lE#p1@g6#yoIT4JHySJEQ{u1ty~Wo*E8taSH68KAss)Qq`S~$pe(? z6G0!WhcjzhdVb$sMt-{cMI};A4Xx$Up$T>`&u@4{*w(gVVf0C^TMzL@GV{4slS$_K zUZboCewh32(09X+isgLFx(g9j#1f_1p3rrxln^UrF#w?iP3u^&jw4rvbY#*wsLq() zs+D|)-}i+w-$aYx)9_YY{K&H;gDo97UB=m{$yL)eSZ`O~@7pdK@x|8AK3nNqbFqbf zrAR6gJ*-^;i=%PLq6y-#gAlQAwRPECqPH#SHaJ>aDnX}Ke?^mOTpHN zOxDy2>6oxrqJfc4;n{8eFZ)eh(7we&&N>Z?nuBz?Vz19}&TTb^Ud^v_qa#Z z1~)}pEWrdDJwJ{1-h!UG?ZDTcSO*QV``n-Rj+z=CC+YGxTChiW$nuH%O}=v{4wB2^ zjnO@YApo~Q^+}&+#%-ACL?h7;Tt!0-l3ytP1RCr?i<4am4AAcuj4l_w6t+eC8$cw= zggn-oBVS8DJJXfkzi?w?6Rc@FvSu#XlfKlo$-rVVa`?h955w=kx+gOdlX+cOtujH- zhsp{3!5`=i#+(p9jMkVMl@yE2}`{r8=ZNPklV+<&ajGMM2`?lA0hXq+E*efKD=jOEx>dj2z$NJZ0}36Y3<|7 zyK3Pt-4%%Cgoe6U+!^AY3gXBHg5AFKviXVdfLOaOb+yb}kbNSOyb}C+y zcFvF!&Yelt-dJ1H5lp?w$@}?%q2Uq@HDPz2eD>9i6S~e5?Cd;D|BgoZFsDQcQRJ{8*eC>pg6HKMRp? zd^RnzXGLXsh`@7mDmUu|c6$)0o6WyImkpYEu4A%qc~nx@Y+0)KxHO&^q#zSq`Nrlh zG6OxeKgQy`mCKf2LIr|U=I^u%F+SB9IJv%aVr;%^UIG-G|2;$NhHce zicOd*z)fy>b;_gduRynxY3r)&J1>Rr)_h7Wt4HV1AhNaeJXm@th8M|O{mlIuC8=RC z%AGTx`nAZ5K6-dBTufqW-bU&+gF^>|ySd zXDVYaC+sWZXtv-~p-2-NLK>stwfmj%YBNR!;Th z6>ve%4j!kPiJYH`l<7RG7?D@oxbJ_*xQ}Rl+8x0_%a|s0DjRQXB7P`jx~(h7ncg2h zH7Vv#p8c%i=rdeIQa&mw>mtGQO4f$=W5l;sJq^*2T_-Ax@^E#{tm9?Kj4bpy|D!J3 zj+mooICpm)OQ=EU*+ikIx*%~@v$!p@uG!#LHc#0|6|I6eT;c*sjkFBxtKquU#X9yD z#z(BeeXa%X9bfSVr787K98r-lO^k1YV&yMnsutOzf2}NCy6=S?A@c=~b_8JvylWp) z98*(pUHMS$3J=!T!o{P<`9rsfI@guB@lU=@6j)E%{95!kf=uyep#A%rcSX$U^~l@X z+0D`Gdc^&+&3}$e)_-Vv%cH8H0@na?l>sYWg?zF$E6U1%>{>9V&x*HlC16A$ptOH# zuqvQN3;=(S=4&0O0xHUY=Z`{^0!mbe4%MyCa4ngKvf^PBP^VD-KN{DKo-3eE^nt+t zWV!z_4)4E4@&3cOyI1E*p`w4lYIA+odoRFOVa3+X+2N6ww}|IMhd(d+r>(zp>8q6b zuQI5J8q;IBeeK7;BN*9VRd8^gYNHhOnZehU{{GCbgW3OzgyH`}+y8(5zdIHsYRG^G PGDblRd5K<{Tr2(y0tKjX delta 19904 zcmYg%b95$8uy$QkqhV+JP0J?8#3sPXCB)1v$;l)5n@60PUzS@y zm|IYaQ&fdpMqlVRjSwfRAPdmQP6V>yi=?mzEL{ln@b@ z6c?3}lHwOt5Ry_7lF^WoRTP)ikdv2_Qq+_e5|9@WSCkZ1l#$es5z>&Ake5+VRFKwI z5YbYUQc_Y@&`?v?R9Dv0))tc07gsTo)wNepHBizt0xIcRY3mxw>)Gq+ z>uMTUC>uJenY(G2IBA-CXj{1GSb6Hp37Du!=&Pz2X(}4%Xj^e?e$DeO--y_Y#nWl>^)qqjXfMpJlx%N?fnhx{4899?R;aMyh9y)W8M5g9-+zJ zk+}g*CIK!Mf$mljKrfpxAE#KLV?=;QQm9963@{)tC?F&vI2;rn5*QX578w>C85!vh zN(_k3h>VU8i%Uz23QCU)OHNMmi^>g4E{e{sj>{^I&8bbxFHI}1&yDdfObIW}O32Sm zDa_5R%u6UM%&02Ot}jU|DJjXXY^tiREU0cQtZ6T+t}m+vw$_&yw$_x?*VorJw$?Yd zwKmqaH`lkdwH4L%ls5F1H}_YxjaD~x*SGi8bd0xj^woCFG<5eibdPoP^tbhmwG1w_ zjc@lgl@7GmPj}T0b~g_6w2$}HkM*}N4!3Skbqx&<_l?i>OsR?9TP?ER60h zPaLm}@2<`5Zmyhc&TMb(9Bwb}@2s8g%$@vOzd2gn{VE5?d&g(T2fJrSd#9(T|4wgq zE}l*PenS*?H)SH$ce8}N^CWWSUV0eL5Wl03CZ7%d(n1m19EI7njwVdR&ULJx& zf_R1LrW}(sK+Kv}(Os!{Oma16u44b>#0?0h zUDD1>fz46F8Uuj}a9dltywKuXbC{Kte>sxrBY4-1TfUi6ojhtaiT8hbIv712BWOoN zfsE*nb*c!Vn9$nfNWez(1ZY1VuG=A1@Fp+UV){s?p&Up={R&CZIIkK29$2GPxz6we zdL8*?gC4H_T#*(`7rFnHPeo*a9|SIwir8Aq=;;ebB^mAGj%A$x9-=dUQm_iq+Qs(p zY3rUqFnT_%de_}aYJC&Pb%~RgU&j+t;j{RNQ|cVW;y|htB~roQjC4il*HdC!kiygC ztRI(L`21+il3#w38e`^9-B*dj5Vv5z1mvi_v5{8E!=O2;6J%Fl4H!pkVFQPLoe`cB z$kY+H!<7MlYPQQ2Qa-c%Sg&n7t%Ioiw3Lf}TDSmS9DY!hDgKe+xxwl+uSdXxusxyL zzZfQ}$Mkg0wNrSLsfti5#hc+lVv*PEiG5@~mijp>$6q%eyG50hKK|SS7palti!oSu z{=KBqJ55g;Wyy8Q6Sog+eHQposK&B+k~y6}xi8&n=_pw`F%5759Elb&9VL&F=dcjW z<*NijQ%4>ZA}5$rwAOL)K$SxHSU@Lg6=hW%C&^#)8PaZ#w^n{z!|!|o0P%M+0Yd(x z{hcm#KWGQGu3~ikc`rl5ub77-%Da~>87yh1?T&&Te%29cmsc_%-2v-SPrwHop4u4M z1e_=e2atcjOjp^L!572aC$Qtse&Vy#_cbBmpogXzY1ex%U<$;PGuXgB@jgGs%-lFF0 z)ko5YO$a*3p`4Zc}iA?>Rm}@VM{Qamb*3-S(`uz+J2oLNb~$_P$PUK9=Gw z-hub)B~KkBHm2w7WzNH4cYTOH8B#rT$aK0m#Is?+wR+MLeeu1Oho^4k;@9J*eV>yK zd}4>Fvp=#eJ{eG$>+BJ=mf@7fu8A$OnljBHbhMF75P=>uh*3bu#Jf|X4^zE1s9jW= zPdxY8Q3$Q;7ha-7bA_nc{`UETsOgwtnmb-P308r4VX2}rfdXjBuhM;06Bqjmx`hT+U)bguZj*8q&Uq@hA+_m=9<28u zv|KCZudMWtTh`q{y`|s6m@~ZXp9LGrLf8V$3i4x%+%Uh3=>yc|#gI4AwFNq`XT`x? ztp*?oLourW5cP!a{!fuB7)+GsofpMj;7U-Fw#E~|@nAvK-n5T}JyAxbckdiNaos|Q zZp{94fhv8c&~82{{zgxu4XAB3PUCSU$N5NIMDHAep@>m;=EQlFUxI3mI9%#}5J_(1 zBvPd{wmYm4XJqXgNAAeRx30t8--R>7gu+1aM`@*mjtlEvSmtknn_~?;?^UxSrw{=X;(lc>{>4y6EfXJl#3eG3O^a|0F9}*) z%CP}0dFxyfGn4p$W3RT9np4>pd3%Y@z;I|CittU6208MzVqh~|9^SYobqI66HZ4$8 ze5+5aswXYrH(bTFkZg1wh2VqI?R(GkPO^C*BU!jn+!#_I?1zqR!J|>2Hr1P}vlEv; znIN`zYo@5X69sxVO+u34nra*}9l57XtbcQA%PMs2sE$;f;>hODL7zt$NCK>)H-@Rk zK&_3n_|Qx8LfiXt&h1YSZo5uRk{QsbI^rlr?W`Zs)ZsvN6C=AnOKYWif)~fqDGbeW zeO*12{-50o9>Bq^(W^Tb}Z;uRNse@axvge{Y}!zQH(A;#3E8TTBYfZwcM&YtC{ z#<57$!i5LToV6jcNZ9MIG;Z9l$^5eHBms~>ue@-Lb1I)Ap?oMWXlo$Vza<3ofDE$E z92kg#V5R&53cORIFT)1JjezZqb!hpXtiYNJDNR2Hc7PCWm8-FOq>^<#R77_x*=i!5 z%su#zq0MdPXi^Le48XtErSC&?t*5$bz}2dX>QB@qsT#3PXb>ZRui>9LWK9(TGVKW* zKW0VZ4M=p50>!zY0Uj@6x5QC$>A|?+y683L=42htE!<})8otSAIgs@XduDa2W{1@1$Z1hhK}Th2cv1KHn3|`J zcd_U*T(V;a2(if4EuxvNqR4zOD~>KK>r4Q3dA zH!8s10FUI2QPT;aP=FZl#!6*c5X+4f8$6;K+X@V@<@4f;)5GfHEhT4pNwcp@92@zq z038Ir(^Yq6G1g#RI1b`(!HM`)yM6~Tc||vt(@#uv*+gWkF#3ygMsd3Dm$_a-?n8`j zQ?mfBE#drf5;Ki z#|biA{gs|et^{)JK0)Ezo7)qLh-6x5FaYW4E08)$!#Z6p&J|)YhW;oKGd)>KFR#mb zSfxwlkC}LlF9L=~fC^kE(yCwBz`NBqAQy!=Bxin`xWk!F&O@0*a7;xy(t;W2Y+*QhdmRwP@Mm;_mc+Y*;3kO1z##D&-%M;U>c*H8eTds$< zD%Ho;^Uy!oqtTX!n~+#?kDM9TbJN4=IfFjQ1a4pF&eD@we2m`fLizrLf8X-r<~AIB z^o=}1hdTvJ2vMzqmLJA+&KkDoM9nDJVY6=7^~v>*x4j}c$-9&` z_;53+ec|1}n4w9%(_~|4Q$8cKF-nbp@`{Pd_ioAXC`Sc^uBB}-JGAImR>a=D904DG zDqPs)dxLM4Bbpuh9Yf~rn9ls(HAE`)!*_R%+YuNN()$~(YR9j6S!i|MObtH)&$rD) z%{X8)$U8lAIEWk*S6$pKhqebHq@~f8E_=V6sAty=oX9zlJ~Pz;k)T%Lv{xjECS<+F zkICzy?cbrNvSLyCE(2${vd_U({Qj4hyYj zO~LPfXvCNgEEbDiwRPXKLs2|z6o@X*N7g7EMo>8FDeM}iC)jLz)`e;c7!25^)_7=M zAVbepG}e}~Y@&TQz*&rK|GIlYonH4%Q5pdK@*NXNye9(48u@mNeszJ}tGw6K)}M%N zJ9WUr7_1vE6rf0dqP^SVfeTTjX7IA_(7qdygqaJiZt+>kE!lOKFbH|^ov11}naVv# zwfXz3F+vh*@e~i?y%XlvMM>A;c!TFu{9@&-7^t@SKScfkLMPANT1ozsYRyIi6g~Bt zrbct_QMp6G?HXp8+D(erCPW9t{ZQtdFmW~$WR^30MgTb+AvK?gNI2iVxD9bYtuP7G3^qXFHd^L0rtI8u{zeLO%8s}$(TEHM zQTNd|v-##0r1wsRkdKJuk=>jCOVp7#Wtb)=>VmLAI|#dfV!2mQW{o)S!5fIxZ?E0@ z4Z+qOYeilR)41ewBYibNJ=(%Zri>9WPG1sZ@)^B){Fy=q{(y2{wWY33gj)v{?eF(m&!Lmhpatv>XF%mA)2Yd1Kr+&&?i(s*uRg*Y7 z?WpDpJAbVs)Hwu&mi<6&7|&Ct+y_0(;)(%>aCyb?8%h??%)RmJdNq#dVsD%UpkS*p ztLcdkEa<(i_DmB}NO;`iJ1z^e7(buVdC)6H9nM{=4@OS1=y3lFGwos#O!J4^R)AXD z0p)L`jn8TDMQo0a#O^d>yTv z(|yQVYy68zC)2>{M1FpX5>+_V5rRL$9#*lqV-$Yd_+!l!YMp_dse;u*!FfD zr{C`TjvS<8!RJ4_3HE0RpIKeM{8(x))J=A+ulI2?C9xN=b-WHo4&7>sw%0;rUmDO= z+cUSp0BpjP9>5JL*xV$)Ud(j@VGT-i}7oqRhFsP92;i zT&Gn;+tR)InYWNKap?a8h?g#tC^E7a8@+ZT2;9$q;lDkJE`q%0GC;0s)&gk0cT1qN z`_q2N1^jl((mgZ13*>JGG!25Nk8cG5r*$@`60UX|**9iPpqS2K{>++Hk^7RFhw7!` zKkXl_MPVdZu1~YZgYjP>fDk{GWGv4chkPSAh=Ybe| zR$QQ^XK;(<93-!wMx0XRoX8C9Zm`!=CyO07C)IXo&f_`OjnA@4z^mGf?1sgQs-D6ENuT_K$;cpRbR{fX0 z?Kz;*f!o%BFZ&8i2+l}%LXevLYAYi z)`w@r4EdN6U~wOViPR4?g)lJ#*&Y;yMspArHy#Q_Qe9d7{+VzNHgQ5e&i9Pl`Cri* zhbF|`)7}b3?=lg$VQOMzh=s@#DPGw2oJh5lpxRuM+~VlE-HZI$0xy-&`-2*^(3QL~ ziqx@wUPxJN^j4JcV+I$U=|l=`NX}Q|GFUHW4*(!zIoJ~w;af#2js z)5OB3J0Y12UZ2s!%?4o#?7rWSy#NZ*H)N+Unk-5<60PSA;stk$&}~DFGJeNh%uXa z(kOet9UYDB40~eI5KP)R+@e5n7->Yd$W;K9FCv&-OEog{jf5e4{E`|IPS`$EP1@0a zFqLCJ7LZT*mk7zMozCyLefs-X%;%)9e&D5J??gmmBIi)%FB6r%QX%4_e)sL6co^{& zlp!@ia^D5C)Ub0UlMqA8>5zyO;H)q~50-1jUK1L0!3cKtwW5EvVD)D(K@87Rq(HF!uG(1Qz1?Pyq-cRgu=cN^|5BcN zY`!y-w*(@5tBaupk#V6~VJKv^xe;-esF3q!_uh@D0ZMZ*5HVb@blu=N{(YlyKUR}( z1^!hMr{V~rnu^-Ylo71e<5TU)YHyH*p#Wv%O)uwk=hh5ZzyQiyj)xx%tFVy|>)a^^ z(h4(InqK!UW0uP~ipRVl(jqY#-jnrtBy!6wLg3t!d9jW-4SM{ybbUD*Qf5;4CR2vn zqCDiHdmIa&zo!!3NtoFIkkBwjB!K`!fDxxhA`b}sA7AGYNv`v5h3z*_4o3fi#31p5 zFB|Kpfths0la1abN2|k`8!0%`KmvwcwY$TA$oJN)BTJ8!yD!&fNrMFbt2+2cO$W2L zpEa%)Cwi$QK}@3#C*A!Ty7`3Vd%TDKvp=#T#jPT+7QQ2VAtiO7`89rghmEq%KXpL; z7A1juG<)DlVtRI8vZMj8EAG*K^MzQw^q4}%W!|1cvrV!XmX&-%mYSYnQS zkh>|on1oUKRSUAC>nQ)#AbTLyj4}ILkSftT+dHy_TE7tj$nZf>=yAEioA)`h++@I> zl?FeH*afZ*r;yoT0w@6T*Ff^Vp5rJS#y1Rl{42HihJ=}jXZe#>Zt37#%*SZ^vFj%+ zQ`m_2*G>tqlypYCdwCl#&FYEWsv5*iFkb2aVHP|{8pJqZIQ{K%dcd6VNB*&L1Y;>5 zhZd&2+Wh$Qyl&f-+^-P*QIqAO6aCrFEz3+BC$stU5t7bOb>Lt9`Q$D@Hj+c%Q+zVeDj(Naa8`&0u1gEk0PYg(_45Mq+n+e%k*YGBAY^X*Ywg${ym~megY*N;1_ppY z=l|8klo9DDF)E!xGqQKZwD*PHmfJG^xm^>{l)N06)~6r%y(#U>!B!6{>3Y`Nc$QvQ zT=b{#G36~InR=sD)EF;KI0{zQ$kkY|P$`4Qj7?ubg^-@!mD27Js!-L+4g0$dKHAkc z*|`D)`*vISEAYoX$$3_RE5%T2SqMTss>L-py8+n=g%HcK~`0=inei3W%7twJyC^z@d6R<8FI4Mm}?0>eW& zr?pH&e_>~~Lwg^$2%Vng^JBAE6GhCd z4&Z4M>?%4C$jVd)(cs~GZjdEelzx2=%o$!PRVkf4{I>Jy3JAM{=)(n=}OXlp#rK5UKGmD3{z6g*!C$&_0onzoR< zi8w=}l5+uw-X;tqujoO>9p2ft#35?4zxMEU#iC3FjVDy_f#!PEd=;o-Ge-=-l_fF% zStY0p`Oj0vJ?NXs z1@5q9pYmJOl66+NymjA8F0@MEdkZa>YtIq!@oXI%K#0)0YVjTNq=)V*XgWG%3Dz7y z()i;K%g==ALup4FWbcn%Y5rFy8T*)=w~Igg=5`;oL;gW`jUOSb{J(KB&sc-%{MEj3 z9CVeRzJF&!Lo6<>M{%yL2VLmzF7(|5{rg-Nd}WCOMNDyPyHIg>>D3PcK?eD30FYY( zVdUTCLdSWteVSqMFC`ndr^D6 z(Zuf@P8bM*|$f7z|MSv17Rq?r&$v_;NPZHE9@R zOdw7Qy?lm&j6&f}X9Tl12>)E>BTEsc9{CPG1a}&1NcRuD(_Iay0yP2GRwUJxHjvud zbpj6(&_cXb|H0UMozWI+_R}fOfS=g%qO}C021kiRr2O#H^dxpxdr;57DAa=?Su|B8 zDgFwX21aMJ?voMJqwWoDW=q2Sw+#oT&<*m=)I3}rX*zb1$b|TPxNlgLL1jc)zUwtZ zJ#v&A?NDKk2F3@7y47??n}gW<9?A$=OZlVrW?PjcD1p+vE=1xqb{38i+9^ymjmFRT zGUvE6e8AjmY|Tgf;(hR(;)`?JNK#K!KRBdR@9kqgCExO&kLfwO9y=Fqiv5G~_j1SR zkTE4stYp5}-LbUzG*-8??ar_cX961=Tjq;NqChf}RnZ2fe<81Y(7~sx^f5q4=ga9A z`ot6swC_pcx;pz4$aYW0gGw%N$MRcndh^YFgEu@jiV?s^9dcnY+x20rDA<0w;IjZmoFm{XnA`My};1*M2Q`CN53mGYgX7X)i~lmh|6wD-QX@de1+09IATxOAZ9#19n3} zfYV^EjzK3qVq-4GUKPRO?MkU^L!k)q8vm~5v!>w^_yt7_SRM2BsTQA8)VH;}W)aG3 z9$=!~BUN~$qlL1k-Q-y@)K5(+__&vw?FYEUIJYMIJcd&yU7##{7R@iR%DeRx`#|{Y z$ai%c_$K>Wa2y9BR2m&Io$)0I$*%0H7_t5HOth2jIK~HoOpLACW z52pWXyNRwZFz~0#`r2so{F&EegV^9%xc83$+*zyqt`F=wh@9p}7&+T^JVhO;DIoPx z?^-|`ZpO=v>0AAaqkHMLnUJ1}p6%W<=J6^er6(CIit@j-YHbAO^+#i74d4s@|v z-E-JXa7F+4W{hx{&8IX4>?$dLb?oSfJ~+ARFa2kdH7^Y}whDkAl{|V|7f4|_i!*5V zGiHUDgabwbtkK3E^W8*eaBS&H63)4T220(XyKxmSx9% zEvC$l_Utra=Ki)8q9Gn_!Wjn%2qAYWVeg5h&nOx{%jnYlrxY1X!$yDhk$vO^^cH3j~P8}F~ z-Hyj++qkBAjKjd=gR@7diw_+B)1~GhI>|@%+;r7~%c=LCZ|UDnX(R3|OY0=`9f#y! zSLy`~|BGwNNg!Dfuln0gr#Zn)ry@0;S#qx=yon|m5nf9-vqm@`M42^5Avim{29m=z z_@Xq{B>qIJ_Z;JaTeXDw(f}GaBED0e(F;0`wPC#I(7oy1ZOiw&z~Y|cam8Q71b6)- zR_8F}SYfC2)h3(OR*04B_P<9@ zPeZK`l@v+2CIsDS&h*=dYV1SteF{N@D&d}gBS(_>H~Km81;ta6hL)+V_@d>5-hq_v zKDRsXz#B#NjU<8Fikfe%oWES6jYuQQv_mm!MR((K(`NwQ*`ld-8 zTW|bN=eOZCzx&B%@^BADOt{KM4)e5KTptCPlwZ*9~8nv0pkUPxC=yv&4AiT);EK<2+;ZEnp;Wm{b>gw%(Wkn=M+|A@8 z`l_84C$sGXIbu)igfuS^s#hFyu8DyRw4&7xn;^ff;=Dk?tWPr^=04xuhS zwu*C@rbHHz)eq1Q06Q>PUo0*E0`JX!qnS3mVY6+bpdWbGs|HB5!1530AtkhsrB7b9 z3tzgXY`-#Ab%S~J?8n?n%ZG*yf)u6Fo_o&EQ}QOMG7w2%ASyn8y}zKV07hSNEgmP)l;s-g^o#Lj+^Bw^Y*@^zHM%g{wV6z* zHr+ZtHeo9Le0TpzQa8j<&MLXT4Ep%^h3?qzbJjR^`{`xYO94{~R62-p_ zUu^9sEANC;CM73{;D@fB7JuRci%x6+=Q7U+acjsCGe^R@SKwwJ^H0U$lh|m_ms%9F zRL;V?A4^0gPv5;!g^oCYdp*1ZLqS?D4ZXCApX+kUW8fNbGMr+=@jQrrm{me`l4eD` z$Y8Ya*zu08nXJsf{&}K-QvvPJ#2quhv_{br0)th}b*~tBL_fgHxEr4qc7R|fH=?n4 zO1~#bAhgmE(<%kZL3}er{?et~$ky~is=d-ZP0oe!Z9L#uYdKT{#Mi<*p z&v?i?g+20&SpWlAKT};#=ZBlIlU~TCX^vgbJP~$IFxokgi;ynQ`WY~e6n6z}O1nr( z^&xY;6KJl!sC9SpS9gfhi}^57?w;8L^>2bUpF+hurHVk@Fdmiybh*{kE@xqh%Th-r zr>2f%OVrK^Y^r5TBg_3kWW*$EDbifUqyw$8bD2ELY^H(VW_hXET*-a0UO;ao9YbM4 zR1H94MUERNvqThJ_8oFMK^I!-xz@tUA(DQ3jz;u}q1}Fr8+1)fs9d%nBUcA#+^@Gr zv)yX~H-*a{VJa?#Xh7&7f)>6sc!XzteLxZlSZca)VK5yd;;Arod||XQIJ1Me&Gl8} z%ZHd7KkyeJ_lg*wki z9ZwWVf!JZhNJsIE&PZidrK-FX*!r`(k$URDmJdl2d$v`oth9oJ5mw*xKgTpd1ADQ% z_s3bW-jgNqBSZrLjH745eh;gQJC0vByleh6zK={<#IPuUGj~zm37yx;SP=4>uiEMS zr6jP|&|Ef=qt0gRON7f$GHqoHqC2BnbZrZYlNr9gk9gK50vfeMebCm#x$)cV5+UuO z1|hCXNMJi#uBI#h?~(Ns%Q+|m6snHJhtLyBO_Kn$m$h{g{KvN+o2?l8&#>^_m|WKZ z1{t51V9Zccdpy!Ex19f4=}?Gynqu2SC4ubhiwO9fp?A2tTI{c4LZhlpCtoZwHp`a- zA=2>VLe0vIx%hnyG2#k{3Nr9uMCTna?^!waAyAEj@JYCc3)yGr#|<_W($I5* zOd~pi34k0UFV=``Hv_k?q=Av}rwXU;DDQoM0o5bb zDNs%|NUX8B%eA4*=uOhn1{gB5^i-I1*B-|V!Mp{A4W~H@4|-z9wuTLHlP`;Xel!JM zmz;ayoyH!%^VH$QwIC1!{zcl>dykB$oFdrb&hc#nJ|4qvQYoomS8|b5JW+x|jz?1LROd3}CZl2qQ z{9M=wNkw>T&k8yhz%TOTo-K_xCg|Hr7Td1r51X|WQE>@6D8VXQF%oB$jK$~=XGcQB zR7slyg%ywOF@S!~iHG`d+>HM0_EqKMd;0QwEj#mw^nt5fAlLkLsI#OK9%-z z2bx}KZzcazjm}bmPJ(PXAH2-;^p`Z4CVoORWLQd6<>B<-!~|gf)u_H;ZvfX2z|j6o z@|{JysAT+*nKoS4C1fI8|M3f5fTLw^$G7#*4_V+p&y9j4(YJ`i_~3^?p%{wT8ff$+ ziFIBZ%e7CRGXerBDD5M|gB?|VMI`0twRi@N9ebC4Z*c#=A2<6bI-#H7NmR~tN>8{P zd9rbNl)2x@&4%$akzfPaDQM5iz{|AJ|Ek15@b*0+gjHo=k_gU<=L=(rmPqWl-^6fuq zy<78Y72lJ$_ea@XvXJ;Z3THPQ?Pz1?s;)fuyDN!ka|i_%x}1jbg#$=`zQvD){v`d7 z4*j-gZADBQhrDj~NKNpZn8)JaTe<(bp%M#hBhUBzM8UX*h2xD&yjlzMq9!KWQ2rS} zZZO>FhSBepFaA2?Sc)vneSWKiBnZy5lDb${uccE!UII{7whjdd_l{gc?+aU3=-SM~ zz8AD(RQ5C@`s8mb9(iH~#2#Osueo4QWnvtNm|k_kAYReCOz5T+0Z*VFB{^2*Q9OZ3 zOs2i5l@yqEpLpMtdU^EE5gE13Q!B{rD1pP#j`t?(S7P5FrVjc(1()<&E12exe$bL3 zFD-|(T?)~mP)jXsy3tR2s#F1nfROT1uy7Ev>C6LPIboT&U||3MzdkAc9}4`xg821d zWM}JaVw-Tuj|FtcCSxD*I6{VY1sT@Sz5plzHf3VpgyPvHfIbqV$@}FAn!Nvw?rIGGXW!8A2T^eCy9Jn^nzIxzQqt-ILK!5!K3e`O_cr(9%=C*A$OmbV1WLgr_N76Qv+Kd+2jkMev}R65EQa}iw+=}3g3HZCFW z&J(WIIIUcG{OGfT=;OU-n%q?~Em;B!`~}=!fEh*J1j3C(>0(Ig(;F8(GB4&cpU-c{ zmNknaj$md}fgR=6tA*V4(l%T>GZaYz73?Y-56E>vpsHiq#n(n#(3`_?wcF#gN>(vN z-XI=6&UZ$EGoP`$^UIj}dkfxve@Nu}I|)ch2+*<6tn;J5+o=j4FKwAknk&;ZYe?rB z@QAanDSka|B1RI2>35Z{P+S|MjeKw1v>E4?81Pe^0`!-<${guC(s9{@x4sXz?fd{< z`ERK^Y8_shYk_I{^pK{Kmxt4o?#Vl@ z&p7s!!>qx_l&RLOimh*Ta%tZgv~RO@zC!tM7LtB1^SJ%TZ*_d68KuwvAhq2bTwRsx z2fTjiq=zs#&a9itI0Y>mpZCI@G!;(bz6O|SuhG@AcnnrR!tBoa%$@9#@#>fiEHrZO z$bRK!Jyeaf)?ucb$*i_klJC`y(pXq}k2JEPa(u_tY*$GpZS(S4$tsF1DLAEX9u0UxaNn4?nxJO1zEi z_O&Rz1%c!2AF7=qd$4O2zU6YKClCHc2cy$v7s(yXiz}8k!ZA#IwaB;ieQTm#3&j%= zq>mwsHXRH0U2A*wTd$yCi9nZgpiO+z11E^@)TDM|4HlKvJ=az?-gJUo?!xWkOtP*e zAoIF!b?3vrtS}&TW3A#T(@=4a!H!TJ|NaxFuDhwGck$I1zoQ$#^K@$ z8K}w02aAJnuVO+kGpFYgVBw6J+BsVXAF6B0WMF7gyKlqiGC<9Ausnmk;y%Y^5zFjT z_NFTX?7b#E=h*rK&qa4)ql;{<_`1?L`Q+{J@wv336RYad^oo#I7mZ;G0Zp>(XktzA zy(}#%Yr!)u$u{o%{Iqi1n|1^kTSH&|1hS3H?6gQC;CY>?Bj5o6*XpV$Kj@v4bu+>R z3dT&=s;zt{bk`Nf+9g+4X7HG;qK_@yIGrz}dUk$y3oJNgj!x9$s&+vew(u80z39i9 z%f^N|0pisKe2$TeM-X8^h@rx#STN^Eq%Q74y4(rWAhpSHJ*7nvK(^6Mq`!fi8FD=h7u|KeJJnmT#s$~-L}5QuDReyPauaF?!;CqVL_5r zbkmhU64+!Lo?|?^gwRzvop8Dy8lNfpG<=}2)U}2*Fkf8aN^!hLKYbhwwE)WwH;T%+ zn_+l{*{Gj5su2uB5kec>VOS!>kTO?_5GMQ|)NN8gaK2D}kxYDeScu{Poee}4(!FWI zUg+Mm2wI@kJCS(%{KAMtLS<@jop_FAnFK-vX|!O`SOyprH2?>8 zK%`1poH~Cv76afnX*6cF2l=Wf7vx11=hq8xGzPo;CoTpfPMSOss5zEKIWdsAWYaz! zX=giu6W3xC^Et6Q(|&k_!MNNrs=h!N8`74AYmc-*!S7yE|Cklq_m5v&J4ysjOi({L zcD$matWdAN?Z8LPj2^dOtYf5GF=9+^OQQhsjL3^JSc)mGbA({GUAfvc6qhg7$Wh91=3dU+6?R67`D}ff)?> zNwOGsQW9n(nCJ(gG7F5L08|LY!kIfb>&Jiqryh2s6? zY?#aIR3)D6Ii7J&D1*jHuDT666}37kHW`r#QtQE*mW)$XP%q!T|9u58W;sTm zSACmhm{Ieu=&k{7NcVzDXr?}?Vh-5U04J&9&2Z9`Kf(HnLCr2BfLl>gGGCbz?oK3O z6Tt%FVH0bo8h4f`j*|F~T`d`o2Fr1++q6s%4W;z2Y*Q@PfZXSW?!;UZC=rOA8NE;Z#-Wcw zs3Pn00}_@7Bs@#<+8Vr4P zr5lG~7m8Mjt9W6wJkj-chTzpeF_s!Ucuc=vh=8yGNc< zt1x#4I&hS#i~-G(HSHxRS~XCfosRl{HvUYq=nEnU?6LAe`mgkGeD5;`IsEc9Lj zNUxfpB3(>C=}qKG6{HB#yL3e9f`atmBiGAQ-+FKU%sG4Z%&eKc&&;>Kv(~;?gF@R$ zsicvAA#H3KRVbf~30g9RoXrHOs1{B#tg6U!KE##np7R~!2l0qks!$%q0|Lb!3F;px z181}*!}`Mw_}SGY;?URm!Zv)U6Ynd3yzxSj>y}*Y**o#H@t@RL_RsjSxYA{T^xE+A zD_5tOQaF|!$Srbc${#s~4co3iptq9vbaMOxW~|-Ri#+*;=(?XXQK;Gg;cjA50qb&X z9?&LmT94%govh3LKOx2V-)K%LVtetEMD+MkTv=swM~K=4`>h#wA+5l zEEj9ENmndSX)wDb%bmtJ+nZxm4?ceYWzbNGP-9E`K$mD4cq@2FL%gm+bO@oevRtcO zoPL6W+swXX<%yriR+-+JVi%c4EfeNmRhiwTx>4O0TOs}9<}ri_(6z`L*sM?RcR<#E z06N*vXk6Za4XxmrF2)qGL10e!AgIovn*hR^BfD{u?v5T?tm>?sE`Z$`jw(C zMzwHxFQ`hTUUD){$9FP@(Q8uErPs=csxi->JniAA5juUwe0%UvvfYm*$}T6?TP@>} zeQe8eoPhsaPyHQIJa-g0FM>AzdYrM(?Y&0)rJdK9mpcqnbDqoekI!K~?)&4Dbzba@ z0Jt>2j_LZHYjk2kJac0GvC=GwDt#q8{JccUOn_(q?48c7@IfJdlLwOEB0-t_@PQDEprU~D(}w67y#x8de4dXj`+@04 zT;@wFYmk5kjyvQa)k^R0m#1KU)Yy;L-Z5hOMClX}2>3?!<-5J#mg2^;GYMn^wq!UQ znROzn0v2;m;JPYsEK2IHcjUSpLZU-c19QSINsZ{Brc4O$Qr#oHzIrFK82ox7@>Z=_fM2N}_zFSHJOOMn2t?UShM|3_SuClQyYm;YUR zPZ2-oyHlpCE)z0L$Bp@7DNmik-eEGN3a7^Q%hA?jq1Akt9Ux0ACRRUJUcX^`*;hTT zs-*fu3E%6t>dndA)>2pvA3jT_hyI)&w9t&=SY;|4K zG+_8>*gP-L9=RQPO<%}?!y@M46N^A*Q6p*!s1aFbxyd`fRt*c2r-qF61Da3H72hqW z0bNGpc@P~hnkgqRD#$_Ok=Z=2=Khd^vgUB@^m+btfgt)JF43Ld5^z)rHt%lIg3sH= z((qSeFVJ2y92s!XNFz^VivhqUI&PQmA=<3X9;zk$$y^fjkK2@P4Q|t5YHQ`++=W1aYwlj&={pQkLx+- zBn?7A!bRJRP;LPf(kIxw6RUul-EEcXeju+i9+wL()CE=6^pT1$u=ZOtyKwo4m| zrKD-Y$SeFo`sx{B7K##3G#S&m`o2(|e6A8$H2Wc}3dJ;CN4GBGlMpV5x+mZtSq~&@ zKZ@1s%3J4+ciy|bRme4>Cte{JV}{{cdCX+PvQxd;voYD@kYR{#P;i>3xmUG|80MZf zIa;y8QJZxaO3}<|78|aj#u7J-Mv~>q$r6DcsMqwO3^uPnUd&}ihaAtFUb71$ z_YzJpa?AW0^=*?fl{F1&_HG;J>K1)yP2G~~9uY_gAzctDRDfvcSnG`N>C0D&J zK{Ae2zG1D)Gftk{gSM%EemvpHwv%dS?zG794kIevGhbLVC{y&Ms@C7Dv*UOGZHu$a zKDwObu1K0+FTn}BBpCEYphV{|g{{b=rrZjbKp~w6*uuxesdBQeL7NtM@pnW)3N^ur zK6D})9gZfl`k8Ge3qk3Ucj8rV+Uu_-@n8D%z7D=Q$DzCZ7;T+x*LQ1vMU8pV%^(`* z>g$WYt;ct@LZfy6AE!);9s|GTAwckrdPB zN7;4x4p}Tn^pJUN>k%l*;dM@Li6Q|Hto}-`f zo_K64#8Q0myK+*50jCZ;haHvH<9)09IUC=Vwy|_sf<|2tI$pR9RR6EW#zv~w_r9x- zyF0gsb+Ybka+8?N*lz5JSGyNB8VA0BFgXuqyFhC#(Y8fuZwhX+5`-di9NRVXf}h{~ zky*Z$>u4HC>$oDX7tzo+R=Eh`jm2rl_=ogMD&N76+}DZdS?L>@?Wa9^aOv!~@83zj zaV5AAHb;_YuY#k(jw7tQ6@ixyVHW$@fUtN(-4Vhc($& zORO{A3cCr1V!xPBQ~t^o^|we+ zj{a1`5&^|d!Wl?T*nUfd)Xxfv)j-gK{`m)>Ag6b#y9t*eDulve#Ogib@~O@>Lw>ZT zOA816)FKmjqO;Gz@F~m`wL&pKs(a1nzLorYdY)IJNhwG}e8KSA=fi1Rkcl(xo6CV6 z3s9eV6+}F!uWfp6EH-&P@K8WzwN-${idB<149vLnlpu z9iiSbJ5^*lF%)kinkG0id#&oF92!zOtn{@(JIXgxcUQh-4p1*C3}N(Y#w}z@TXYSv z2l_Jzxq54ygqlcM0Qh!N%6drzQmO|#U&+sy>{uSEYq7a+R&MtS)Q|oicUJFfuA+qwyG?dmwX#b3YrhO3^f^Im`bR4s_ zA-e||h1?`#&fxBt$JMK(b{Ma;8 zu%C@!9K^IuO