From 0d79e670123041830e55818c619ce89418176d78 Mon Sep 17 00:00:00 2001 From: Ramon Fraga Pereira Date: Fri, 17 Jun 2022 12:17:16 +0200 Subject: [PATCH] Adding new .JAR version. --- paladinus0.2.jar => paladinus1.0.jar | Bin 1356584 -> 1356835 bytes src/paladinus/Options.java | 4 +--- src/paladinus/PaladinusPlanner.java | 10 +++++----- test/paladinus/PaladinusRun.java | 2 +- 4 files changed, 7 insertions(+), 9 deletions(-) rename paladinus0.2.jar => paladinus1.0.jar (88%) diff --git a/paladinus0.2.jar b/paladinus1.0.jar similarity index 88% rename from paladinus0.2.jar rename to paladinus1.0.jar index 326e7fb55f43d33063051c57d6a491ef726cd02d..a88179b35955a677824205a1e2a665d3ef33540f 100644 GIT binary patch delta 72848 zcmY&;WmsIx(sgimcXxLu!QI{6-91BacNpAVf-^Y5o!}u@aQEO4@^Rq2_uh{`^y;c! zwMur+GqB6|RErK&k(A{iATd9{!oq$)FrBGK@|S|>)b2};ks|-+cVoR&8_e6r=QP~L zP^Aqp$k$!NfKo#HrfaE|G#6~i;YOsG?f%W!axQz$uHQ;Xy=~@>M|91%JYk`5( zSf_VH{btGuntDHxX9b1}w6es&Zp;oDhj@!uFNNC}6yft0{GAayK@{@M6j+bj=#~Qe zPX9U05$d1aH=ksf?5Q_EV)!cIB3tgw2lx+tqh{Xx8*?L5QQuqCWTqmA<8z+BPSNX1PL@7wup zhOqz9)`-_9kNT$HdiFj2#96ohi;dezG7tNncuo*5aL@sRu+i|xyZpxLpDypYlCD}o zzcDZs;R4$oF$fyFwjSTIZ)`sxevA2!0>b3Gla>GTYdk%LdN14Sp+=-D^Y@YI+8kwy*;S#{(Jpf|Yc!R|Ez!C~*)B8}ZHhx|i{Bpkd;?bc9U#0!)5)Tdz1C;-Q zf!I6^p8n4Cn*IHI?0=F30ieKrS>Hsx=2wmUwt6+7zPW(9CBakPR~jN{3h#ce)|hw0YeYO?rxiFnaAOw& z6U43o?(^0v&})vv?=G*T-}^@p&>;M^B|7%tithxK4&Z@b-zv{U2to3;P$GmN ze_OZ{LeRezrhpJ)<820kzZfBC-n-gH3PJJS)z`hU_sZHoLXZLzA}}C-qx!vXTFwxW?^&z2{A&gNXDUEst`NEJ)|?v1 zH$H@atmvS>ZV;pI1g}Cn-v{JXW72Z9c`AqkEQ`uGFF{*C-Si3AKp;D$Un9BBI|gvxvVJSz}S@26f@ zTp-&ui1v5*S`Ipp@-K+@Ne6x3fEfE9_SYdp2F-0jh`;Z>TIqmsYT(!)ogE0>_r2F7 z-qeA9?Lw5kUktBhqXSOAK31Ty3kcx<#Ce@N+V{%7F};o4-7UnwlizR;0eW)=y^3;q zU%gU&eqX(28~wgIe}Slan=H_4jg#N+9F7)9!nZpIsM-rj^)_TABajTBl3vJvpRzZo z&=2YNMgn|;w*!#>KH+aLf9PKbdWB{G<99s@8Sq~SGzPx*p>!P5>s=4&B;@-?80dH! z(*J#6^JHNOK%sMx9=pw-^L5cCQY z|Hlw}2xV8~frnWg*HJItYt!Y$6AMxRYyi5Fiz z?2PFJO(|oQz9fyOMZ9+o)s%NICrO}91C+V1IfJP<8AYa^1Q6B_`&#X!e}l-8ieZ>Z zmdzoHeODQ0EX^%v)xeY_V?^1XpvAqKh=52FS1EHDV}iFX5$1Mjwi7-pUCkyx@E71- zQEPcp2pe3WB_(hT3w|&+^W}5cC&7AZDjE-K>*R7IIYtd9M_8*=r}U5}9y^@Ywjm<1 z?qhika#LJeEI_NKLLat6OSi_)y99o0I|jl?E+jETp}&2(`;Hm;cD!<DrI#AL-UY-HbF{Pw2HRpx5Zf;cFWXs!_J7q2oXxdcgu+`J9@ zDf>S$ND!%ce=%JaR^x87p|KpKHVJ^UL7G$V>}Mz9@Xn|nm#n8{1Vmh&wuX%38=4$g zXDSfYlJ`$rP76AJFGY$TA~{pnqb?{JQx>sTp~Ds{vUIQIVL!Z~nD72OHwPk#Fu2qQ z>6*CgVFVJ!E7^c^a=wluOh_hLq3cJ~Twv+7ejR{u(_H?ny>FpTW>A2=HpMX@eT9HK z2i*w$E00qL@zm@+%mGeFkfD!81oGUPChFl?+FiIcUD+Q}LxtH;$45YT`G-GVRKvvi zG;P5cqn9ud>%Wnp4_4>~$9}*v{K{8*zz!aWPD0Drz|8&NFB_(QK{>-8TH!)IkVvL9 zrxgZhm*r=l|Kxh&maU`J^T}R_HTMZq>6ElPxZdxxE_-QH$Q6+y{V$#Y0^SIoK)CF? zt}^G%57Qj%@Ej4d2d8ms!;L7HTMm#AUdeZ8Yfw2)B@Wf{C#GqeY^Kp)=$cD!+F7!Z z9n8F0)p3k6k&&T?Nla~U7~mZ#sue3%4ia1e?dM*%-A7vI(!Vfn?r4q-;Hw@#l)`eS zkf5r34*B{VVzO%$L*GMM^c-b3=A^ChdDz3(Z5PF!9#AOHPeKoPFs7-9PI&>-#yK9r zm^aD1B@jMQSw06bZczJnR9M<3h?dx;{dVU32-j-NPu$!NBT_ zQbx-_e)u2>`{BcXza9SncPae?q~!Yr==KCD0MH&l#RZ3j1?x?KL`RaL1cOx1HaATA zGAf@Ps!-LU3vAcpnQq?*LZBywBaPD4yED*h*6di)1y(jM+b)a&rn;Og*C#r~|K2`j zo@d>ib=+mUeHYqaZCt&(x(1;TLI$>NG0?z<1UWi=JN^x0mUuOER{jw)hL?DGqy*zvlTJSnE zgormkTK0P2F9J5$sZEt@!ukkMa2P^IKj6h!J>K(?!WW39lEX)|sa&0v-)Ludl+_>& z9g*RG(ABK`3D$!@rrMqsK#TUx$329a&!LBYMDnhgHM6f z$eVX_OTk_hvF~{9m7XWCFUn{nH^j!Z11qp@CUO_imrC7?(*~l&u!q*U*iMje`!iaQ z_FE%(cnlXxYS5xni8>lpS9Q=~UI0K2g>3Pd?$7nwkzIPiM>7e;k&mKm=#sZdW9`tY z(e?ELnB2WMGs`I=J3iHaV8!N(LXpS6K(1Mcca3+M4}O*KxZy%dm6Ilff^X%=R6uw4 zL(hQ?FH`+3d3`j5-9>S7dNwbI^V^{fz%jZs8phZ*35uu`E*?0NiNTgaYyc?U6h8&~ z4p>v1CYgu%tSkv;#s-oRXqW)zVda8Huj=S!1p~xl%qs&>Ix5o^o97v8s>E?ks_&pp zU4cwdP#jk5%aNI7M)@;>Iz6aR4mpx5?R(0`U7L2LOp^p$<8zWfMB^u?QK_xx&b1d+ zwSLJroFWe|fmjnA7xQRl*Z_el7)ob~6xg>?g)iKECNu^x-qisRc&p2sUu$$)n!dJ` ze2v;0Rfr)?(Y^I7?C9iPuPl%Q^5C2P+P~GlxKgzw&5VQ_iSubpvWv!Dch~-^#qVkxC~$$NnYm= zUPl9+X@?Ayhnt$L5yFL*C2*@ zZ~rWufEVS2ty2#RcAhDBbms;^gB^;5&GNV>m2s!2dMk$UWJKKa5U8b47;dd;FC3x_ z(8b>r-!+G%dG{YFHiVy`IHNi^T9{N)im2rL9U!<`&ahZQVumn21Rb zu%Q%lsSMIOlkVREflchpLCoipict&_ z#4#St_$H-8)&TQ*}6l$M+R<3I3i%-3MR;rj5EFk}R$oFUps}hcmwVxuM)EC$SJ2patCgJ;x8RhVAP~dCI0Z% zbcE4pb%Hg?1lNNW1$K|ZfmyR3dPPZl-nAKyY!7F3oL)W4e4V@$v^iymD%Z2riV7BB2vcz9HGVHPaX$+yBH!zB=3<+LP+2yA+$sT7XZXew{OTV=GdNz@{g<54%M*JgO4@ zDwvmQgLGW3LlyfJm6c?D1Z4v~u;I9as}*cjpGk#nk(6t_uWI93czzE_x&3(Gs*xl9 zVr3D)bm^J(o$oiLn&U{20sbn?itFa*1D8Hx#UTd-UL?)nXsh+AFKW%Vb_ocMjzrV> z>3S%={ffNSa>3&iNW@>zn!<)8qH&M+@e#w(Rv$y5+Y29Bq17-aX}D;$YRb5H(W#w} zb&xEp7JuVUg!(XhC)&Hq81!dSrP5Sa?0x|PxU@fD=wHxJish`{*dbM7Egs{~S1vkn zY8UGEENpl?b|Lk6^_`i7d+TXaz@d>>1 zrGw>m=v^Y9fef-@T&=43&}r7rvG_yNprl^t2+Qx zSTGdN_pr>!gCv&jnoOM>MUEA1D4`WDbh54t!6;%D%rvbX zjzy@OjT|l}6r^*-XBMZ=S{<O15wXyoH3K1=tpKT=LqJlSB^R z_4d1lSufT>0Taz`Jl!q|?I)2ri^j8^zaoqR5#!4+(PTl(3Q+PhKox2CO<8zbsbfr7 zgI0W#6k$(BD*__@KQ!>syvQ8xNnteGi0BfW#ig!lmCHLr@Yh$Sx@e`>^-zrRE$(4r z1iYrwf7+KZBoi?{0%q~)y`*FL!^yH+*IJFkvZ`Cu`iq>obtu_%lYKVWr-KwAnA63U zlLF)!q}dcoI*@PKp7)0w5d|*QMHPhXW>|y#OR1w%B*!wMWaD$vKNI&a9doS)64>}b zmrJGDu$L1bi@K8dtcwRJ;6X=Ux-TB1%+6ORNC`_+og@P;u~ye$f19sh6+C*1GM1nwtxP z;r>8Pai;LL`Hd)2?f!gKermJAkX-a{DUELZ4D!*x)tnwx5Nvysp*&<055%eFu1J)q zO4A4VFE`Mk0js5(OoWY%1o#9a8pu>P%I(@&I-|&{QGg0V>oYza$1*No3&Xq?y0aYx z7o5J4+4kkP}p7LHm%}T6D~m! zQ-S2%CFK&=VQU>QTeM-s!qA{K-m-ZmOb^J_10|!$-C&o5V;xDbEPK5Gu^4@FbM7 zgR%tI&|I_EHA}h6Eu=UFUJdV>NwLNnnA*D|$}^QIeYiNE$B`E@0PkO6)! z1Spfsmd;Kzs7o@U~IhH?Bdz# zJe)zfqyCAg%*q2vJG7h+&S*bNDs3lIStM;^KY1~~VE^*m(yJJqrM@yYz<)soDEadA zr2u{)tH57}k7ePex?6j9NQVO`IVu%=YBV;7K5lj>KD!Bu$PUh2uw-BIQo(#NX6}wB z;lG3!Q&lzmzA)PkA(<}9Pbbyivn7>6IKQZ&^+Oq+tD)OT8-6HnqfGIc0B(#KY3Abm z9*@NI@_BrIr8A=>a)E0Mb4lM2Fz4)hO9Oa@VS;ICyFhT|V4Q-dd5LZ)pV$dt>tRtZ zZ@cGuS&96WFn0o>7~Ff$bSjxe{wZz_zX$VEt_Z15s%lnYv6B219(lC5&Lj&eLj>05 zv@z%BV|2x+0tJ`q5OzFrt>8mMwm{O%xpfrU2tlMyM79V*C3c1cF(~}%tpf6pLwW$s z42Ddk;G|3`xvwD3%%u4M1D$fH<{)NR(pp?rtz3>qt2kWLv0(edo+?WYf4!&`)lt<$ z`_RtcV)I@>s(M}ynE6Q_5?|SxYMNhN2hrFwQ;01do<9A@{)T#lpy;NOHi}V-=Qz_jM!K66LU}na z_SyLxQt?+aD$o>?M0`z#SuRTK6$(l z>;`*wf}C95CMZn6m;fZpwTiNG&&4bC<=zV06x}DM6=j>h{L5H@GUI_9c4;5L%w@zQ zHWG|l_iJQ@yn7%ey-;YjXM330LK6okr@CEQn4N}Q3-unQ4x3#7ae7sxk6`}#GBvUp zo!8#X13on77c)+O)n?keE`{bwuGJ#lXik6mW?L?QiRQS43-pD`9~aOIw$m3}OM93K zoCW$uj7KObKYS^2CMD;Y@J)b#tWN1hYF$X2*@m$Q=OjKCkB`W=cJ-pcg4t}Jsxhl_ zOtDIGWVXb$F=(Qar40=8YU5Aru_VarB{9liYw2^*X@o*A-7saUa~WOEKFm-fmR$@Y zOb22h=a{@m~C1sENh zdm*yM{)*zx8#j|z|00t;>(b73__UW$$Xyw;k-M!9wDo`X8Q5OH7a~d zDza3q7J=GT4djiQ1uHLD7%2sX<|7TrRhI}qia4O+&4 zrKrZQJ-QCd8XX!jAUNr>Hu_i+S=I*WL1UIACpbPdQlc#Ykiv^1>^5g(;;FpC-^n$a z-;it_MKX#6{)FlYs$*UF{X$cQrznE8a6!3(RIsP5w@==Kb}>rfM6)W6$o=|N)Pqt% z($+DEE=D}wBimwB%j`t7;eiYNXZk8x6TV!#V()yTWzAo?3=Dz52SiF0b(j#8( zCT89(hu|EY@UfM5n%Z+w-eytuR`lmED}lkDS2KiJ;1>6Xl$q~fd{;~JaLhj6p=9Zd zKQtrnJ0aN!vVcRFOxu2g-4PRkgfEa5MhsikU=8^Y4Zxu7r;_C^LbRARQSKw9UUkMb z>5G-^i#2amamEd%Z7+iRMB~WbifiV|mZma9R|#(+2>UrlY$M2MZ^W;n6QYNRT?Q%t ziSkjw5Q?~6fvn}hZ|n;4seeabNAQPwu34tcXZ~0snH~1@yk2Dv4CO|0XH2k(7Kohw ze5}KKH-L%Z-l`PGf&cg_0y-qqEbmZ?B$XHoXF*j8>6c&QmWA`_w9&X0F8s1JM6x-N zu8c*5R)zD!DrrjvoawZ&F|#RguAM|z6u!O~<*myE(Ga?@z{YnP>K8zN{{C zGq8femk#vQ`4sG#UjS(hg1Vj$X=1v?;toZ#Jb;arAWNg$xDjk8t7nrjtfHt(H0JKz zlRucleRRigHWRH2`lV$hn%6sRW%&uBXKpIwg-q=42=t@9z=0d?kt8^aRP6%-TVSL_GfswGKMKqQt53!p2a z-Bg0h2Kz<3f*>&N*?&fSz%+jJCBWY&ke~SEi! zH;{z{tWbmn)K&=b1btD;QZJ6xPveQxUNDPbU)EZCp4pnZYSQB_VnX>7llmk4q5OWY z(VIr`uhfmEk>+ZQxSzHr!&js!?o^df20>mUU%KQHkDM?ey1x{$qU>!-Ye#J7V~-od zDF&DD5@>Gd^WxzIeL+I~W`Wv^VZz}F_=duUxW7%^3i&;>>O!-Xm?Ti|!lxDDFYMh$ zk1;@U3avH7e zv@Q&pGK(b9`k*K^(mw*lNU*}HY&Hw%h~Ja7T40Emz`r)wtGdscLyvLpBFieC0Vu=H zT3FMplDf3|$i0whNF|zQi}@4Eg=Ld^hzNfQG6_-WY z6Qidy=jS}@$;*DZkyvAIn<@t$3Yb{Nz`iEWmZX)DNgFlamysRMEgaalVQ;mPmjAAr zdqD_wvQL-Y{fTW)0v?J*4;!;FVh}E_U{FlfX2F|sY6KI>cUIyzgWk+UlLWJp)aQO| zpERbcV)q@8eF7AKRpbZX{1mk+R?>vym8rd16*bmor(w2Id%mUz3-dB~Gk|fMCjaV# zW_5At=MTr4#NW0xu{V>tmU!E6fY_U^?Ujpgk&E>0w_A~ZE|Z3WyPL(xQC~i)c;~I2 zz@*FuNW)FRr1bhz`Yd4KL{2uqub3a~rN!%t9+46ZL=@Q|L1$<^%Hqq5F_5cyAGtIH zbmN%#v3M3cm4BDc$WtT!s|1Knk5cveL^gA?0!NT5gL6x!XHxqI89R?n$G;Tzhebn# z&c=W}?LhX6Hl}}ECfm4BgXag{(DILWkf-^*OU)=^m{=`h5O+7G69Kz7tXyifS<jJ8Y*r2;{^M$AN2Khc;*uK zSIG0i_g6@J^5XofiP$Y3Jx#XyyZa!Ce>tV++kT5%l?q4_C;+(TwCo5UCa-3mlZNA@ z@9y~?P=d|)VSIy8TO(-`Gkpd!^a8uXV1d^K_S z`{lmx+_1mw&<=JMU-a)Jeo%|uef4*)fk&f$iI%+=iT1%JaE_E{6`(2f={^xJ*J6U&|B?AkfF7LsVjwPMZKZQvi%$Q3$TiCe603O+3rx5fi z7^c3e?XT?796LhOax#yn8&lmRwQI;ljXMtMzVrz?a^wawl}^Hlg)%IpcRpnD{m~oN zow$_;-MB2FzMY6^+q;-(wSmdyiWgfN8~t`8BekI(tytWfH`osjE!MqIe2*bye0)Bf z=!1Db%ePkCHCC+&798u)0KX*F{F8N!?vBI8* zptr~Ob(jdA1|?ldUGUq#LwEw@q5IWle1GMUR-Ph}vRM zIsrw{8+|Y1u1Pb}jyJ?M`hpYUQIeTa`sDrR`-ZFM4cL>lTM2kF0aY0$j{H1I;vVYz z@#ivnvufC?X9G!|lvih|mS5SjX?X_}QcQ6+h4gE%HoGKR8*#j-GMFgAK6Hyubj$O5 zhq@ap7=)Lx>x#~u)F-Z1V2|<>^B)LhCo}P-i(*O0zN%sk+ytV8>4{o%-IhX$N zccta=S03u3O=(?R5@4l4JL&`*cVwjzmSia!rQv~JCJJKwN{1>=k=ZBuVw2pTQzA+B z6hIBvjbL`cV%~U;u|lF<`jLJiN{%<$??eD`#)f6eh}MPw39D@DfC7Dg*gPUHf$X!q z>7OQm*mGNrcFv*cpVdW!k8w(r2@>Ew-vVq#ek~pCjLNIz2LklrJcyFI{h7$>Qj3Y%Jum7qZ3ES)g zYdjQ=-?9yM?sZK>P-%a?|2GH=dL_tFzLq{|vW<|(9IHl8^+iHq3@0!ewqV&AW@<|m zILvxQ8t@MHbp!g^Xb)Mk5nga9`i-?ROpH0vh~;xR6jW=Mo!kq8r&?~+zpQ$yuqFowg9MCYHrDzYxjmMpXFl>pZx_o>B9eJ5DEtxeJz&$yI?4o^1%$3Y}Q2F6IxyoI)(vaCb;OO^2x`{x%Y-o&dMr!GwxI?sEruW#mU3xJ)CTtDTF>x5^6kgG6;-ofm`+c}c z_v{TNy9odm&2O|W;4v5sCPCUzyQW;~(HNWBF6f-m$pvcFU-EgOxM5j*!Zlk(n|eL^ zU<5+Jx(bPiv577!4?=#ye(a=J>;sw-`7`vTGm)p$6sEJ7YKz~Q*5gS<&N*lE646AH zY!JFws%~p1ZkaSt`y zQd8e%AvDy9rbLb=oqSHV=Ss{L?XfX8cxvfWnHNm@%yBq;3jau?&;xZ{RcwUy$Myh} z{@LSNAnvnV(v<-u6z9Irz|6zI3>2&MGi202D66_YB*nlWtFFH2RX1iFDzKN*g>Up3 zo>vv{j2VZn)u-=*#fYjUmfE`5kaU!y2LFs-`RU@$WpD33LcEtH+7CHmDAjN9^5$t^ zHWe!_xUr#e&nbKheYpHkj#}XiYy2)61G1Wz20;pGwEJNi#-5~WYv)fPR)L8?h~Se1 zO&`ea$x+vrJf z#@F{I|9mhxF3`$|u|K^{kCpS3VHt7FQmle(ziS7@h(E3BxY}%XHTd!M&CJ}SME7MoFhnZH~vBoU6H6Ms&SMXvMHGkYsQ)z zkPSw)HLM=88{q~Q9sh($-D9kJu}`xh15~};4?IStV&&6MoedLdH~jSTh^%s`VN#gJ z0g@N8fBTan+75H0A8l*(T7wC4+(&VpP$pGJdKc9{f?35oYC+>Axu8@{mK0rs2BO?_ z!XLJOD62FZLH*o|#k00zi;Us&TLV-n04M2Bf;H0mrL%ESgz=)T4&e_}Uqi-n#0aUT z0=A+IT^4lUdnm2)TGMFL*M3|+RJD>RhN_e-q9D82hq^2V>L(>@B+W56j$PhF=}k;e zoXA{gBu@@i7dMx8TEgsd-hE?qVVOX?>t(OU05`?4NADPwI}KSGAa0er{x%2s8$jRN zO?9isxaTlu8rBan%b#FvNY|3=VctvFs=q2?(Fu_z5_1xB0tt@UcU8Wdg56Km)hGDz zix06$Lk@0&8|)QX^n4m8Y`A)%Mm+~9&rF#-SWfGwSWUtpI&RuF>_T%`w?}7tmN||* zbn%5qAKN2}GxpsMy%W}7pUro2B><*C**%&QjJsqyO1JM2rXL^DAz%iAV_0o!d6yW7 zb9qb=fU{R?#UN zO=CPHV!cb>?&oKf&@}6hZlUWU~8bD>P?7SvX}n z$uLx9U|qcZ?vHCLBw@4S<*}IZfaQZ-cPIStWvJ%wOwN%Xg9NJZ$iht+J$#n9Pz;z( znjIH%?SIoE)|Ku+ad^;1k)XlzcsevdLRbevB#aNc?gslxlZx5+y==qL8nS>QUI z1Ke<50*OQkSt2oHQ6&Ud%^`nt$*0E>~&(@&g;azi3^X|^1! zn^1qi7h_($+S4&Xk5K>3IxLQnUd~5D^u`!BX zi=IF4d`k;kccUL*()afBe+D!ot!zi8f6u!(qE0Zl3}Hz-fJ4@m@65Ha1dk`!*373u zKaSGLKLc%D8n@=zxI)jj%|$(kl2KdrMbRt+D8TSKLM!Sjd?tsQ<&*I#OcIc2xF1Ai zsyu75(b6IQ24dZf{L}++su6r%->@<>r{Z2G~}?dx@T(5A5|mYRsqAT_lVg}2w74(Cd~j`l{x1cBHF zV6m8w6KLc6Eegg=GoP%#hi6lcayxSb8z*g#ts-P9p{!9MQ`{<0Rgcx)gAxX$S5K@% zrzWE}aE{<`H5fFj=%olw^*7Gbh;xluH^b7&_hGRG&9XBRmpk8(*OTY`R!@aVJeWRX z&$`;UxP=P0fuB4wO`4r>WDB8POHL3DK6Pkj+jk z@w7W3D@`?4e~RZ2JQEB#WH6rvvlBbXtX;VsM=T}s3#mAJhl77tSPP$j{b%FUJsqOJ z;BMn337~SYNR^aMpqG-M2~uWL7(ST?1GZV_Vw#R7P8iLnfh(j%feO5=X~O8&JHsP) z@j|fZr;=9+Jt}U0fL7cnmNP1H)x3!;`7H!Pv*zeP@)bw6f>bDE{~jpO!HXy@B;I20@*~`53IovgJh$B|9ZIFEOR#(me+SCPSs0 zz|1a~jR0lZIdl?Qq#x*5XvR&-6{_*vX+(noM z^D;pE`PBLnb8_6uh0i1G6w>BqH;%SF=IKp{$Fv{E7lS z)yGvypTR{<9-Vn7WsL)4sksdw1Of!1Ng7r~exze!>>t)mGc+2%6esYBCEM8EET=#=jTf(h zXBLYP2(Y_h4$k)0KIgzEjm|IEwWyG5t}2`t+~Hp;tasRtYO%D8WFkMQJR*~tF9PDw*flVJ z3B{aqa4(Y~Dd=FOO3Q*4+s8*!#?Td5M3@z#4p2{+A`GQGOuq21mGPr8V}ECssOv&dLEu4HPfKGdn<)CwbX!xLfB^3?3!+LnVj3X`g%5TQYOzblZTjsSjRr6 zEaAF#!-IxM9Q!a*??svywKg#l8O~0LO=BM+Yr6q-1D6q-4Ic<3!4Ozel77Z8gNAyK5P0rG3OZd=bJZp96w#8m(^HtUj zv3~9>B;Tl*1@{{LAQznTFq#}NlS6&F5bD0f6CrM!PMkCjlz(i{{ftW; zpfzW6cw+53dsmM)yg8QUtt{1L6n1!_Ahc=MAvj_L}401K@BgdRXyLkIom>EJ}UDlz#5!f%@d zao+f2&b1q@RLw7$+J4bOKXizs-`$d3t`E&JJq5o+QQQwH*qF5F=G;su07?MP1C*s& zwLt1WkuQjMrC#Kj@@28g8;De+Em9vYr2a-GB*Dx&Jk*i$bcq14`d?V8+XY!dqZFY3 zAc0SOTciX$Ju=Qy;(#26U;VSQ#Pwb9i+l!IffBdRKPFjXryL!+jfAzmo`@RU4no zPuBVERJhSJf}SyV5gxv?8SN{^DA{e8TI01}9SG;Q&aMU%c-kK94UI4Ol&3hC&ceM5 zlQeVyF3C7oRJoT(ji4Y!NZgo?s)a9PzSzl6CP18P{u0r zFlrna111)-fWldW7O5o&xod>8ZNnu7lR;s9NUImc?n-`q$Rz-S z(6h})00!|kUUq4iG{b&$7UvqOzxV!=-QIN{jovgWatz-NeN<_xweM%5K6!`j6RR%k z!3FB`ge|K_>B~kuP4vWFQW&qq!3|n~{0~!lfkrQOK`j|ODLW-Qv8=L%*D*87Jm-6MNbA9rXPluyF?nPM=iCoMF@4`cYZ@Y1 zb8>1;qiv0AVj(Vj;y)U*+J>}Ym}NeTXO!xgxd{le@m}JT9|gbKJDcP0=(NZ7YBge zwzjtPM}qe<_s>l-gFDQ+0Z+CD3HdJ@!Q~(CWhx>vhgf*BpVf199CjB5hX0IKe@{10 zS{V(OnoIXKo>I~uR7qZ^f~jMo{Y-CBEY7&S_oo7z%=kz%>h zl7GR$^DY&tqe~izalK+t9$2UnJotTGfKfsR$my|RtqgnMizDStpSRJiDW+SOAK!6e zi;9-6}g> z(3!okz?vCSonl~W&JqF$Iz;Htl z(>~(HuTN7XTsg^oe6>4ax=G=~p=ogeSNi(?Eb{fB-Ho%*GBKl_&&p1+DF#QtBVwPO z1#+aRYjG$HDIIqzda+KLxikNywM>}QcH0Bf?x)!*_zeGZ!zbV|RS!S%X#0OK;5)h9EU zYB?1-SyM}0iPMS=XAUWv-`ciR>`7Z1RdPHHIqs0gA~|@vvK;4G(Z^@T>q{gd7DJVT zxu)Ah2V#NvrIR9m4%EzY1~7C=H<0;z^y6F^t3Q zTQ7Xut&~;MsGz!i3e80%h`YKepH+|L|DoIr>r63N{1F|X=w~t_j(kF1-&&DYX(654 zzxXw6!;xW{gVYMiAW<6jLBq%H?5At)rXfQM#{uXldcoD>OTm=X`ftSxg=SF$TBo1M zD=@*vJ{mqRHuwPr37v~IB;m1X=Hz&dM+TLOHJs`Jdj@CPoM@Ahm`tVZ+BHEKPEHPX zb~oHSeaxMJk&EARQ;2=bnpIq3wt)hffpBVEmDHu+kgz)(yT?jmoZllmCgw~lo8eRK z5{-~;MLi1}25S}@=adQ9vnr&T!%T|n%{fhCJF7jbJQr-rkxK_L?1MX@$FQd>DX?AZJXHkj>6Fz$xO*EXG6^1!2NnMBaX)+ReNtt-+ zphXA+6iyZsq%Avcw214AKa!ES@;?1pncc5o{8c&NU?viGH5G%JxmM=E_B(Po8?FXg zmc2V^j~OmKw&D=NA?NPH&_Kn`U_s}SSLKRM z)Zq4!qFR7>uRG!hWwBCWmTLtU@_l~M4@xFy<&TDd+&NxvHAX~>pvUsgvfLwTxiz~= zK$k5EVX^SC7?qX=GV`xPJ(rtH6~zjQErrL#b?t&cO`+h@G5b5YEg>wQMqg!1KiJYd zucZ2n76b}n?gfgZN*vB+?-C*NN+nsp*>WWu$SXQEA?5^|BGQ%ib{@|r&+5=PZ;H|M zKfdtNW*-?V5;Z6H}pG@+aDayU)Y10;kVu{0CA+%uInWPaQt^U)6{C!wUdqtLSk zuqggg2=E%U(ryLLn6DCWExTueO=MWt^c#GhljW7L zcp7m=Of1@<%M9;%P#V)y;)nUc!Kv0vx(-HesGCnirW?^Cs=8-eUgeMRWy;kZ3$SS@ zqTw6HaKTt^ks4mno|IRxY@)mDmp&yob2V0pS>vrbm!wmg+-ciIDAxl!-VPpP1c$zI zZ9nHg9yo6kHeQ~qnIz<3$;R-7V%){548Opk_8YMDbdFPjKtN$m0w-Sg6IL3j`rn8| zcCXGWTs{V)C8;@-naZS6%;u3UB)}cnk&rl%RJm1pD~_8{S|O7|xb?blrv42(7Rp?z z_PIu$kf?AqkMeIi0c{I&TK`c&HLYWKxt$H1aiDXl- z+!bHs^`h=;ikgu0z4$|K$5_j$n9m)eO09URnXK|XS z3A;}2kYZlR3+%~}DNbX#$x-^ev+(%9CJDuX@LI$-Y$v&wPdyU+FKb9WtfUWQ05ol; zyE;K(#Hl|$Z)6uOX9N-QCns`#8DjcbhhRssc(L}^8LyM z`)bz@{qBqsEFcSkZd0$OqD#&$*NE;1+Enf z{X=gjkx`|tuDGN;A3p@S&zq-AmAAL}8taDp=;tPn7EzxyVC?c}4!F6$AqOHzeY1$e z{PXpzbNc!L6N8{Upn?H_U&`Y*9)&!o=K<|mx#KYWTb-0bO+G8U95=v1u};;pcxgs& z-~VBUBy6MxuKtoTtt-v2l!p9oQ3@ZJE+^ z$DxU_py=IP(KQ`@AF+_+@Wr)-Z+3U&Q`I#jQ5m2#Z%(AEhh+Buk@X$$SndDgsjO!S zkG=OMdn-hdnNeh9%O08GF+veCA2O0?$sWfD*?W(&S5`I^mG~deseAAD_rI_Ey7%*Z z-g|tO^EvN>so9PGdYq*;Yb8n5eKr59io|a2#p`(5O?r6CzRbVN2?OnRtnC}?Mv{VR zo(V4VJa%s5@2+}qy~L(}z%r|AxcIp_Czp2nEw0}etTtaQ>UW6xa<)aKe0{RNUEYd&E;pO}B2Y$F9lSCL^eR}wL+uGSeXGW6Bg_HJ>^tc3>j zrEH&lrX%BTaQ|6C*DJrV5>mnky*x|OpE517xF)Y>2_HqOsrk>y`nx=awCsS z{@vmQbJ#}-%oR_*$m&-I7hP$WdyPNR#B}Qgw2I0(KKM<4!qbcXbtT$RC-`SIOMy!I zg^7m|?t!t(L;Dvt;2#d@O{Q1o@yxC~x&Nqgfa-!~ti@EfSa4u%Y`qdNbaRc-A7AD` z-2X{Eis6?;U`qY<+2>3HaXZiKZ{!K|J5BkCGx+r7X?tRr4wS#2D?jr~{)`!=gQ@7t z%xo`${$}&$P#QZ;{JkY2+ld7@<@zRT1(7A9a>>+olm#WPp8nNV#fj(T;nP6NW#4NX zc@tf)-bl38ZcNtRIGU*wGkSr!M);!r>;AW&KZ1kmbuY~lcS&AS7xnrW>3s8c7vOk{ ztXNjGxK^|{4l~h+EWWQDviY$%8c)^@wt=j_M*}w`j2Y2HzaPpMbZD(FmGK14q#RBgoqfiHy&PeO z2q0FC&)d5Z6}J{C#Pnjn^j77g} z(wpajc+Rt?_a|X}q3P))D~4)C$`ly2n6G?aa?F*xgOn+MQ^J18)7}*`}&KFU7FsVtD}BVUrcNYN!h&yb-f;) z(;9W4%c=0Xu$1X+BiODx`i_0)*|RP8SNiK01X9N8YDT~Njn-iwBZ{w<;sJ8b{GN;k zSYexSjEt3}1K-B-!y4ASqn{ImjyDxcS_T_!oPv;^?ijZRMJwqesKD8xvGre8Z%t?8 z-e~SDTWVcW3}DXE9QI}GwIu0XDZ9%eblJrG8pZpEUwnlNKEsTA4LZ)J3>X*YNhn}t z{G>OR;j6#jhZZiv*A(j?GA<{7J#Vg|y~pbxF7(`WhxR9nIg;yT{((f@2EG9`Uo1W^BDX<6ON8nV1PaAdBW%AbN0PD zvb$fUdRvAC7 zwK7-iFYMV>OzGqgKKC|pc>QfN!r_vlp1b_rlV6zusp(N#tTi&K!ROn@)CIpWS|59d zS6#*`y76Fis<}!lEaGp;ZTA^k3x3o7p(>}~-SVr9?N;5*Iw5&WgPJ*kx9^lVMQ?=E z5M8(Q;8QmoWDQ%Ym{)P+`%gx{)#7PelB&*wU@^dK5Ts}P$zJ8q)}hi zdq>`npmxNo!(+3NE}P_wj&EuN^0uU;Y~2qO<+u9D zvaaZjOy6+Ta__oievLdxUh|Vo?$(;TYHV0~-0Qfyos9d+9PdTD7IXSoJe*V)S;QV| zESibEv{qy(hl$3>4!YUW5)Qb1ikW#eB2QQ{!NZ+km;d|qDy1&|R&sfU;am`lxDNSN z?}#FHVFsgldrf@`u9|zEbUEvu{&22Wgp3B7{H&jjfLYH$pR+_(&iJf*-6yd)>UI*;H(U5p@=pO9wb9yK~_XyDFlLJr~u7B$XJ?uax}1lAs{Bk zao&GOz>jO-+>LrfK#0xH2kR*5JtAOd#R2^D2?THru%rwfHl`2c+nY~-z_}5asvz)y zqO4m>K!?j5z_p3sD&!haZHNMUQbBM5*k~mPg9?h_vKC}zMFA$&17N;NWBl%*M`=##tR>5g+Rk*-poo3L!;8O-UD0J$WUaPV zzSsgwoK_R58aJ}DBXx?tS~9ABJKwOC@%zhH2E24)6!$-MkIjtD90X1dPZ%E6N#3`m z+KIFFu0N>TJ`8NwzVDjlzgxm~X5va_1Z~L6r1*;qh9Zfvxth(7VpJqjY1%RBwTAp} zXT%TBr|8=k&}h}hl6uN>;K^^&7LHrB_qwogTEE#@iZNf+TJX zc5^A8%CBfKLYC6VF~*zI)N|zCL=A6-e_w85<>=7oTMGKBw{lD`PyYF#=|BIZ=RwB6O03ZXPa}?0z1LU7Doi@g!s8MnFBhL75|GR!;t7e4BkU%2 zPf;rx(2dLfP+m3N3BJ@ReR-&ZmFha(&A~&a|)G}UN`j$ zB(Km2tb4lDD{#n;*}l6nb?>Yc=2_ZpzwOCTDMG3)|4a@{#aa~+RicS1uMOwoS%Ex3 z|45%yVZhl>MNE3q8P7y%rt;c#$K1RMJ;Z0LOE2-N%S^8lj=|5HOx{MPPMcJ#e1Ba7(31$kK1zi+U znikFTDqG4zKfM?$t?JhKs(#|cFxza|TIR4FcO217Y zQ{VF`V2F36tyZ~RJYnv5Jr{%Fq4^k}^rHDvLPu_UE_>dhF~=j04Kc5w4tqDFoq&kU zI)++HTXjmKcC9xu@+u@E4?cERAk@oH=E>yo#EogmcY9Qyn$-WfK zCM20-+bOXnO8-%WOjkBO-T`l_qa$zMx%9c~Sjp98I_l?%xx#&>NcIE_1=p=W@205D z!uEBy{D_Zd7(22EjH4{6UysVZtISM@57|h0$#4?faY&4P;6TLAW%NwGrY3TG zp~ToEyC5}9i|Xa#eP8rvbxYZ`4*NpIN($@z8?`n}_1f*fY!-&oq_%lVXKa~-sJ`|5 z2#zILP$tu!yw;I^K3e=m{?`v0wO6*;>_6@dmeMTt#xXN~2rDJIB#5y)(y0*3?P``m zEs%c>v1${D{3S!*zRVEf+)?K0?)NcyWt{VXX(+z+{EyBzpQ}o>^PRGnU!;!gP}3Nc zyk1Q7&7kKb$W$BsmbLBYcfIs(6g;C``w8z43Zb;4Rq4>SGYZZ25(h=D)yxmMcKwjg ztQadrX@#ZK+Ip__Ffwsr;_J+&G`MLRsdiMp`}AnVmlyOJOjACnt}jHbl9m(h*fgo7 zWzstv1G1`=6%yZMX}p-_3KsJZY11WbxlEfA7^;fzeJ`RD&3NtS+@{ecD2{`JE*^vX}4CO*n_`uuGDFgyb#+P$JX`?CH_P^;ovIDg{LnAq8_ z>9SE5Uf=7#D}6k+nzy}<6f4^_hH|DEx%68@ib*g-yLQzw*W)8b*i3$WJ9DhQmsDnqPI5f1Pk7EY358ofebMr`=tdP74r-y|xlhw`(=>UxN38MN zc+1l{tpGL{IRRp!z2#$<9| z8|`lPN|Fe!iyPfdJxvastc{m`ojEHXAVbpKk9KOZo#}Qk`1Fcg`C^i&@3pK)F6AEg z%wo;_Uc8*4pq@J^SiQNH@#2<<{x!RYYbILJc5X{D8$Nn)3 zH+ywu3Pzd5zS?8Hw%Sd!*WHIvtVe1mTN>S(4?HJoHx!*Fw%@zJnYLw_wzcpk+qF^7 zr1PLLAykkLeNP*2&d&3Uj|P6#`4M$)$2jDYQV@yBjbIO&`{=5uq5L&}I>qr=_#GWP zYAkDncPht4Z}gpw4~`U%;iP?yz7BY8*ZC~o=h8mDzkiVo6Bqng8A0D7U^G?F1YBs9 zZ8DmAbN+z7?O09j;wpw-KCFW5;XrMg59M|Y>L+U9oKb+3Oh}wp0dpARgi_O`A55 z*M9%^MYT8NKQT6x4Jon7UwyLn3q$APva)XzyrBp?y3TT~HFo8_OOin}>SyxmHoBlE z`is&@(%rA+uf?d_*a{SAcIOQ-3W+tU7^_UIdZvbo-$>+$$*@fJDXEt%t-NnEeY^UX z%hU(iZ<@XrBo~P{D1xR~U(QPiCz_M)yVu@|3S{jO3K#X;0OnC8D4(bp@V4x{O9{;Z zukCbuVsLW5u%o!qH&;1rvwNk&Ct+07_es*{8xEPQW}4#b=uWsARH?V4N4|-s$W1b~ z;L#hr3pjh=hMDs)6wXnwDM}GGeYf$0dVIVq>)CF2a-EFo>i95qy7~A%-}l(;E$-n$ zy^X-j%`cwHO~yXy%oggiaaDBxiEn>ZIOKBHn!JI}p*nW7er4$qkHZz`!X>tVF84V* z@&`=3JuxyI?;EVm4)^z!I*1#s&Ci}z{z_6;Bd~y-IYUZ8@!#8=r)M#6tG)^ynZQl< zpWSN~At4H|J5NXk?SsK{4=Vun1w$KTus9(PZodv_QV_P`4h!Jkmi2VcO9EV_CX6G& z?TY_*GYsHy6F$Y^0w6n4+;QzM6#;N0LwFB5b>L(r%M;##PE3c2gcl)h{eP7cDg(>$ z+9?sbLkBS2wjQ_V4ss$yVd18Puyb><16XQPLL*E-(o)*VB~i6{>%HaAUBMsR?uroS z-oVp5n`-r;#DYweg^1B2^@ox|T2G7gfbU36#jVZi=|ZJ)!%0|$fWQ@E=7Q3Suf~{3 z7n0h|%G&ip)9WSn+X4Sl22 zrLi~2@W7~BxidHIn$hm9(q8olZ6vwD?YZoK2b;D^ znf##ZyRQ^_lbD0wug@vvBF48rW#GsVz!RStTCz!!3mPMG)Qrzo|ge}F%_h_3h^Nv62pS55;@k0HxQel1z- zkdyt~x{F@Nm#}d8LfbG8DqEl_sthpXZ++V{fVphNGSith!b`JUqQ^fzx3)F$#nS>g zMsursgy#@l*y?rON~bbMIK@n!0-X`~CMcT0-sQwR#o&eE%NH$fJr|UebOrCxM|NLH znp1yytE74|q4aIW#`$hISBq95vEV273j1KkG5G=x0ts@;zSmjG%`>F$N5vC&@6K?f zgo|P>@^6bIuGzmGY#j{3D#=z}v%1DbX3Ib7j7+`#&VHn{`?wH45`LdO1|dor&o1J|WHFPcGL%r6Ln^BK(1%>E&?allUhb}{ z;e^csDP3Y#&#ZqO{9r*oblEFsE)G2t9m$RrkL%5m{`__@YKVug%R7%Yx`bp~a_8c# zAUP2%?wZDa!kGNaYbU`?gu5*Do=Rb1PLi1UCM$z>@aVz# zXrfWo?c>h#B2C*7Wm0qggpsQc>dohaO}fvWRH^z2EhL+8S3P+?)<;FQyI>j+mneAnbDLPJgFQ?D4c<3}&CgWr_w zT6B{qfYjXb*yV)MynW0?>D#2Uhl*6x3i7drd4EDSOz4`{iu0De3)P}3MQn6aXkTG0 zqxt0r8T!7uedx*`Pbd8YLnOwJN}Fz4W6HP(;?v3>{IUrjZZaKNCYd;U>mE~n{8Nm| zykltigw02*xRI*!o9nRI%Xs8%aZW?_^?5taN7Cd~gO9flM#Y`+NsefL7G0Q~=WDNM z946ClXU)>scOIbF!zMJ(CXP6#^LTxnBlMuiS9;&}(vDqx6>-ED&U9VDK&>b3O)^Gp z%27~t_Jg@yncB@E0lpzEAlD6D8H8av93Cha$-##J|?|mJ3?)rpya>U*7d!8rF`VSLwvMXfU4pc)0 znt+5vA6WMw~-Wr8Y?vST=BzEJ`aA1o8B&9cVf{DuDWA&+7fJRi205EnxS#TU$>h(7PJD~5 zzN;YHk5oG}UM!)Gj^jGasq&Z*daC4NIz4p zOdHi&t~O}v9GUzTiFg?ywJ9B7i1Fp_Xr^MbzGVIMEuWlV=hUz*>Bno_v~{UZ#w{ML zFxHD;&1S@eS(CnKyOfTmwD;8JlF9lB)h3s*vzfReQ59PDQ#OHy8VT&(Jp{$1>#sxu zCJH?VOOX>2zv`ruEG_(wZVc#MnBAc%geva#gHT$tvA;4E^%Ff94b-9SV8LHxY z)X7^%MOO8)4IV$Z3*~}6Tp1Hpb#7Msqd%JH*CZ93rz~kT;I@i#pIGPI zBH}ziaGQ(Pm(ah}wQpjM^QH3$f#kfunB%>t15NpIbq-4g_1?=cskU2gm=HXX0oyx? zA^968&)sYAf+nxRE*4!oia0p$A{P<-v0KY4CTCJQDm`v~jI@VQm129^pH}v2$@-Zn z?dPt)+`l$#cx8QHknXxu3w)=(QJGph{#&og=l;^~_T4i~emm?lSE*ZHyg0lVmXH_J z^D^k@#+OAx9bRw5vk!VN4$FNo=t$HD>c*AWk=VHoMI*+wuQUXjjUz`NUxj}uNxO+>62=`@5@*TK5NaCDMZKXdJVi*e+KkxKjrd^`aY#XM zFRKrY)a7Is@MSti_y`A|^&*BDnqO`Rc_Dc7QR3idpAAH1L+9u9@Cn@jOmawKi?k=v zex28gLr$UbX3?_UFN@8V$2<}z`X9RcGfa(wkDCZqd${Y`c^R6=Ev!ijfBZkHZ6G|_aaZ~H=!^nsLpJVu8`>+)4PS+QzS0&rj zjO7JFRFCYsz%pBwk7BQyV2U?QJ1zVuJw;HP7&5_`AES*Wn|yJrHOawKjb8YN)QOrI zVd=VUMpAM6Zagk6$@Y=hW)E?hA8VY)h$bb;2FvdkpH8}6s@&gcILFi|@F{NckYU&R zaW<6@%LCC*;oHnTLKisAt}^vm9aPEGJjs6nKlC|@ECm0jeMA*Gf{ET9!2-7Y#+ zHPcNs5&9#UOAT7>$tD<-Q&~ULAnPH$WP`^eukWi@D0;->FHSxlrs~-{kGVQmdN2t)7 zUK_pjjh8OF(r5qWy;D=o-Wa9qM_xbcW(Qhz)I88v(Q4%J=Gr@qtlBoSSQ1kc%;$$% zO~hfKznya0%5P$w=DUDlR!dPI$d!j zAA6UxNLw<^3hjGxK54Ha<*3OSvwQ9~QxUb*sK~10twy#gs@X=eAdj{T?h`QqMa)Q@yLWH>X^VV0tMNfJyqYD{LGSr$^5CBE~nv zxcJ#jxW$)d@}v)m_n3+f=6U>K&vKi6pT;iI{Nz;7oNcvR{pFit)~xtbSmAonqO||H zXD`h6#%Jd*He3!I6ecnE;BO&~q+*Npm)pJ-(@wv>^TdiRR(8UzX)q))mce&$FtSK$ z>vJEA`~uuVO==6%|DDK8&5pS)A!zOi#q2F>A`2p`Q&*spLyPOjmzCO|?>Ca-8 zCtn`!I?Vd^h2@t!W>h5G;Uk?RmW+M-Yn*00-;WMPT1Uv1FI`tOOD;X|e3SkyrDQfU zZPX$*iH`>D5u zYfBxr-YvY9EcrBt_v@@N!noe;@l~=syNJxG{tPXaU4^1Y2j4?xtyf-vA8YVv%NGBT zAZ_J=*YA6SyIl1t=PbbQ_kA)!u8ljTCjfQxS)?%M@B+um2evbvZs}>;F1KXvRZm&u`7is2>mJfd{uEt|IH$dpwL4JogbG7A%^7e{_S+tC zr2oxtLanyY=Y-_+uLYLz85&e1XU-fk{P&Lqi{PQ!#EDP`bBh>vtZqod9joWWUeN2} zC9+&7;^hoproMAgUk$CzilHPun%mxo=fwKTM6tt*?-@k{>uFL><(d@sr_ zw4t?SC+1d@+EQ78k?e9?q%pZ{S%Frcx0SRVFip!7TeGR*Vjr_;>lql)7iw;?oAj!m z-Qe}ir%Cd)iJBKer2_A=Ybd_Fn5XkW8_M1Xu2hRT>hh;oOlKr&+0+Ce99ggq>d-XwkP}+{uu9PQ4+DTSS!&Y z67JX96?&uOW!7+PN7dae6yWl;ezM&eIqvtdb2-Czy=LKc-AegZp!7#Iq*lq$6jLw> zmAx2-ncKhrBlp$t$CM7YUS}(ND5H>$>pvPI%1j%1?F-!+je2xn^QI~OSSi+GdD5$! zBft8|$bFrCvO{PqD)cc4+v4&M8V83gr)%xOZc$WUP0Ks`mJ_SLpD`|;Y7${}pkI%7 z>SG+UZ_R^=F8F<{(5vq4E3Ru)<76N?v)&qr#W$0m{Dd`rSviBh;$xeDd&UP^G zc*&OhF!%gB-G$rpUtZpgReiY=w?ZZTNs!>4!@UqAgH7KrzVuXD+c!OjnrI_V_}`x+ zvdUD&oL^5%5gVWDkP@>5->#d#hgQE!PL2~u(lVI zVrJo+u!%`Q%ETWla)-1r451?3S{&!C3|gEttT1OZn9XILvH8k5XNoB<<$7o!WhHv< zT(n%tOcT!Z<4P-@R!5MTghbQTCak^7yfuc^+NvavvAkaCZeVqWSZZM_y|eD_+XU99 z9O4o23G~7ma*Pq-XcbTHXPyaS+#k(i5GL><8-|SH=kXL556k+TE3frBZnO!!i!ITJ zAmGFFI7W$S-^jkBQky|NScNQN%ksGEnwVUDcaL;vCPY@?eb$;tc&*qBb6aVYJ5L(f z{!H$!?VIhT>G?hZN1G)9TG!S|d$)Vt5q&!^8RC2AH5t;`>IM}!gV=)`8Ycy&6%Oy=EFr;;X>4TT>~bdKpii7VenE9CRAk5DOB8 z^G-$o;(u>$(P?gYM*O=aQ@?Ah6VZW-#TT*PdC6t4U%Pnl1MO$qXYa(2z?OeI-k0^i zQcWnPz<-uc!sW{*$<^@At6~bgV#(9!onIp9ujtbNHZh&E^9OsZU$3t z3e;R=($zfQzD9cU!oJrV|5+U(ZPHcurH#j*H@6tgXM6VAQWwe2_s^LN9KrP*qMTze z%?)~oT5IH-Gc$GPBqw(>q)#+sT#1cT#$sRT5kETiIiGTacmJMG4}&n{i^n`sB6v?k zFgJ(Gy+%GMn=Lw`UloS9m(2C24aqIfw5YnU>p3l_Xn!5(DpNPt)H^ zN7_B!zlfIZo8UJ(o~3O_sJY-)>Nsr1hGBcNOBXY{fS>`N=4+j}TXKuO8;^TF7uEboM{2@V-u-}I-+D>3W1;^KziXOUHxZhaRX6?U9negzH zSP?=c&nV!^tHOJ{Dx7z*QSYSguRd+>Tt=qYp2&JA&-A7DY5pkRig(l?;r#c)y=djB_-|JFD?p!&oE3HNBRw@5-D8 z);eD7Eym246)eBOPkGv}F79_TKfFzn=hs-q1+&+q zD$C0ZQ8q73%0^ggoOm-;9&s3(vNjgEZO(snSqn8NGi0eqDlPSPQSOj7+lchE8}uZIOC*WqN`SOH(BKFnH-qR8Lifn-Q;;ZV~ z;vE|9Ohj&b=%z=q>9>hv2g8Z^;3Iu6+Xy0362lCg zO(lKyUUkQbzsZu#S0ZJO%xc<6%>DC9kf>5tz-Uvojy%0T>^jL}sSfv7b~E9K{6MQ) zUepYc7ah?^lXa=s9qO?yOAdmcOdUh8RPN?aLt3frUWYct)Sj!Z-3?~R&PMQ#2b zb^3U-_*^{!;ec(1)JMBp-9;7sKh0nlP&HnL!yfFHX{A9Kee5g8uz$%``b${ z(IyO*wZ}_8Hq9FP*0efUQ#JVB_-yHAjM%}5N!vC04;i5h_qVSG^UVgWj(jL>*9g6a z@Fsiw!J%fsSY}CP4Kf1iH!7e`Ri6wI1xQn)>i+inGmH zl<@#d`rm zCi`sum$Ld^;y&z%=#p*DQSJpt*X=8Jw_i=k_FLPlOiv}++ZLZZxGiAKFK6|e6s|ea z&=__}^v9v+qxyzS&i=V_CtCiG49%jq*95)JpEQ0tX~GPXAL3^oo4^#sLAqp?x9^7qUs zp160D8q697UYI@b^Bf;;av9V0%2K+$smPBSV>F=RF1}JedOkl?yp8uK^J^Ra2qF~> z+oX$> zXDUvJD>QdCP2!63Dd_JSU%Y9mOd~$>d!nf$Pm;rZ-M*bHaqJssxF*fTry1FtStAna z->fq)8z?qCN_aq?H0S<{M<7wZ;hdMKEk>fpS?ZBr%3G;NTGtKwF*HaGe}8dL*vgBx zvym2k0SZG;vWq)Uibv$;nxus+e)E*GU1Z>KiyC;HTBW(GK9Q+(uDH$(Pm;3hn7^Vc z|JQx>k2b5JY+ojZdoLGM_xKIZS@CO;#ML&_Uau&Lzw^Y$DD6v<=iBRE`?ne858f8D z8s9hF=|4TEQHQ1YIwH@UQK5y-Y2X81@XJo8_i(|>o_`+Y7FUoHA^!Oi@aY3z27f}H ze;?X{a6-T%fbcqW*%rK4YCwj2;0j)#rNj0-C4^%Y5(%Npmf(Y5dTj4gLSn!*k#GX{ zY#7kM5?Vqn@N%maDUK9mg2O`sm){ZQp#QfI8wZdh0NO^v(@))js!p^L^5GgFCwhRr zjgT1n`rySrLLcb4H0}xS%PMjT?8GQx1r8T?&v<5xkoZ4eIX<oZj%;yrBu;EhkU zfA8=DyQ)O_kk#N<2!)|1*Qd8dfh`T9&(K5j(;K?Ljt-F%&L@DmB@sJxc{IX-2=_5X zpwNLx9(soAqpEqo)Cnv+i=sWAt8K8p%A8aIWa`02aTMf%C z&myniHczKaCu1Ev&zk-+#w((F+@vYI*JXK2Q0156NzAiftuit{&mHN08RrO}=+w}( z?W-2*mp_nRk@GqE`3ty&hu+PM5RMqf^YOh|^W0U!EY@53rgA9D{f@ZmH8;R+>mDkc z;UfDsM*SwiI%2UpAeyCQ-b)3xn5toQRxRSq(|fJnpSFocKQmmtNG;yKtQE~i(;FH6 zXzub)1lI9|tI&-AiW-Ec7_qf^d9KjfoldX1V8S8KHMh#;H(7qvWK3l|N7=6%4@vC! zbcQz9e4`cl4nz5VU2f-BemOBUB_N((&|BxxI)rggV=<7r@H`=i*_mO##Wi1FaQ)Vu zTig$=wjS)}B@a}vH9WUwMkDW;aJ>9BWW}&eHhwk^5SV}X(S2K3V=RC2{)6esA@@v0 zp(~I4EV8X0g-)5>9*(!VwMO(&Vb#;?b2>wNS=`a9ERPy|?ar)w)mGkh3fQeL*^^%P z_(ea@VD8;<^K^b#uUJjh()mG8vDq{CcU`POSKx)Xn_=WRrIe!!=o{bdgVqBY=z1?% zUZWz=|7h_5td;j&ZT1tHx`h{40A!L>u~e zwr>^*qiAhfhu3SHNHViim1roC=?KvkNvEt&mKVfDVuY;R+aKM=1LC-4)2nWpFXY)7 z`t;+xpnaR?>xBZ4aWpB%<`m)q-EN!6TR$T* za!QDXTO?|mj~`eQ0C_YkL_=*tSqS@W!$u@(*wyAobq zeiwWtpiz5#?b5|*MoHUu-c4236SfM-2#579v+B8dz7Ap;YQ81mv%5El8Ro!mbh1dIj75!>o zyqi(AxyTdrVQc`S@;)bnvBgBRMI!oc&jO6H_)2(nxZId~+?8srPlD$yz7K}wHZ-xc zy6xOS1RfCy6}F4msQaPTOXB=SbY7`*za5nDUOl#ZU_VDkyGdqAV0CgKMi{9PMv>+b zTKUwygegZwL8YDPc?{RV$}#@wY^`)-Hue3vGiO8z{_kx4B!q|+H{Dc(5OLzBo0$+I z4(N>t@XEO$u1hkE2>N0y5cGfu{7NzSQFm-#I1&441NatB^o|7Am77ddgKJo%5HaBz zVJRTfQ|xysAgj~HbPAF1X#*g|65S@mb%hiXabdTb$SHvQEF#QVT%Y1JDFya$jhGC3 zwHf>jvE_3j&GR?_Gc6ee0LJr(hzM|fLWC#^>|6$n47<@x&H-F}N2G=00)U*=iEt=8 z%74hPg)QK#5(EIzxBm;+Y9k^B1V0eB_@rI{%B9FCQ{3Mj3i z1V#pcP<*Iww+-w&86~2`erN^X0JzviG>?CZ44?;y4j_NAERaxOnYZ9%*q}D>lgC$w zh_e5s1wdMENUrcI2?cQJ6A>DTlZJE7NjvDAge4+sG_LO-A7F2FfYKI!5N)XA0H9B~ zu=yS2;*Y2Sf7*v$Z#Z{{Z9boe2L*eu_v)5s8>p?`bQcDj3px)43B9y z_&Mg8Dq?YnmL&l6+65)hlk)G0)uBE`I|LUN-9t_VbTklyFQT00%&A$xP7|>dq?&sg z=*i3N#9TPw^OvB+;9l_i&&<8x`#4qY#EuZv05KRq5Wo$1brB0es*qMeeQ;oWfcV${ z;=uvp5n@+Ji@&sRpx`6%SDe@s0?^RvDdH#ypRVmzs`UG2JA3Z$Z%XHfq3}XEQyl0Q0NZ24?U_(rFY$?O-gBWAR48 zQS9UZxtSt;!sU>nsAafda0}^yRBZ za*79Nio+=&NBmupsj)^I;5?Np3D<=He`i2yfI|kJiW3BYZh8aR|5qd-c1r~g2l8~_ zm!Tm4ovO)Bbtc4aZh|^rG=hgiO#hwZ{z8d>t=n*7$W+knI8zC+HCvz^m+!#;q%v+L z0x5{FjN9bQz_b-S9%m5%&H?-oXI$EXC~)llHfYD^yYP`ebI55vg8&4udW6P^Ld1y^1HZ2vAf3*h4o z=Z3iaj}HidejoTc4gl2o!K)xL#R@PoF#+%e=;!Iu0__g6_rbAHj)9**Df4%ZB*TIL z7?$`exC`5lfQLZPe`16+|4Pmdbi}~VLHzz#gHtFt@jih|Kr#Bq7{EIfUIwKKv{0mi zu{6tq^Fn>N*%&k$+JOL|sRR%Jmy>e`;DD(44!UVKAI<}9%5YJ@0T>TJkrp4|jsH9L z$*>@l5$n(iABIx53tTIm*^#(@eju?6ZVOE`V5$jVox9*vz~vEm7y^e3X1oBl?hu@O z2@cfQy#*GJNSz9{mY90T8_o4}?5&8gc;KdB);?0^ks<@&1M2D>Ij?$ z>fwkrNR_`U2yTcF03T6^d5FttI010eaRt(miUOes#rbdk6JTq8ld}SE=@82h#lLyO zd<^EzC==o`6{P(?dk_#n0q9F2>LB6&?1Z5?Md5^;@c*ok&;JR@sXllQ1-F-AHfSR#lc&){SWP@M64=p1v_XEyP1GPz_0Mec$4qW4-B~mWxOWTD zg^MZxrgICVaBvHF=wWa{u${^SlwA<7Ax?kC4j2UzBq8?MIW!w^$qm5=O{u4HAizl= z0*0kJk0t|v`v@v1GGLmU;?fTg4ny!lj{RqHhseys5TNhy(Fhw;K9IGXa6WH$mb1vis{`$e)-e88y}5e}iA z&Sp3kJ#f%Ck$%KBg#S+jux_6a_*iZPni6mxLJUE3$*BVY5by#Tz<*bXKN*6f*g=5& z45ks5Q1oyVtBZ&<$VJdved?VzNHh)5y@I#`u{yOCxV(V~`2Qk6f(BQ>Ed==T&1q=< zu?HIr0r0L|(>8 z`Ob-SA;oo}G?C2MUUD!+n9<;WGQkf)Ll{!XK5`sJy9V;gUsNp|%v=+Rgj8|WMsDI@ z<~m4rTq8mU$%AW@>L4R=4LMyT*J%T=)kQug!*zYLLbBi*G}cIN9PElUvJB@*;HL}H z5}J|BeUN-OEcYfP3pS1hO^R*sL6+h0y?l|&kdF7*MzaHKyj1i*vG z$ahdeI@N+a-009$fMWs@Iwk_eNk}G$3CNBGn++aFu}t*fKtZM;4RHnnwy8*UXc{bg ziS&b5fn*$j{yXF5ERn9`{ zfuvv+kyGDXX+^R@iSN+y$0f-fNU##gX)1#Psepw}~9!t5g#k-)*)7!{D%aR?O0syOxML@cM zSq;`5i9;a)5RDJw3ZB3zuvwEA2yg)G6Am=l|375FIv?MVRuE6*brOilDXvI4Y7m+l zvQtUvfbH`rc}Q(=6r11#0I@LC4;%^*MS^O;wZQf9UlwH8FI?c{nT1A8L)#;Z+W!c^ zLCLUPEU0Omk>L2H!-C3C0+XyLKgcXlmM~WPDmX9|c)+#i1v^RvN@5%!jt`6ng8&Kz z*?XbjkL(ly6g?Kj3ljKVL`^`PzNdEW`L_q<;mr;s1ra+4#3LobbEXyG34;Rq?#K3Q5lskk1E>>?L z4ZzJQ1y)A`B?8!7MNvU2g9{xlu*5*II_lxScmRl30C^u=Wx;*@*k27!*<(RuVn9Y0 z6#`L!%fP=TkOBucP`r?BYY#x%E}5d}a1I7{l;HU-4n>~ggCfLU5CRQNF-7@7sQ+u| z|10b(ptCxfzatROWA`S+4T45+ClDM$Ai>?;g1ZElK!8$M2<{rJz{RB$_tN58Xp2i* z;Kl#H-PuQO_|ExqPJ13^W@lz+XJ_@!3W}6b1~=9_9^t=1cf%eMWwRD2jOLk$^Z85;;} za%uZU7&;3DG<1cfWO6KgMXmjEIJNUMLuD;ttf3$=68~I3-ta{>l%qK@?JA*~wI`Dd zeu7v7aSbYlq1;bvJHvqQTY0SDTv+{*s=Ky#mZ1^BtZj~c;JJp^l1?gRU|&kAp5Csx zR3{G)4=2t-XB~le*OoCuG8M#LFLs%h7y@$CMmRNxvu~vkWrr^^l%a}nga*VSik=uL zMfq@T?J7eX5eFIO$r4s&lVKD!AV#?ooRyhvDT5iKU$$Wu@w2+8!upj}6&8U1X>Ye0 zj>@{)%m$GW+J8S8>QZ}v-=B7cL=Cjodko0}CZYifAY<4Km*wRBhHvLlwQ&L2O+WOpJ_g46B9KSPJ=RXWtkekY`X7 z;YIKMYZyUAxrx@HM@x!PhF}fMpO7-+M3+VZHliw)K)XK~uH`iNwz?KKcIjV(K|B1- z5TI8lQZu<2gLA?<=Q4I77e zU7bEGEZ9ivbJ0de>Zv)~NZ2hd#Hh0HTCiJ2i19O33~P%>W~yxr(vF84O$5V07tA=Z z<{o8SOmWsu_aMK~Omv8s@oZUbHAF-8;)I?WU~@=gdx7O>~Jfs9I*GCBcqGD;jYfLPSJ~2-KD)7(bBF z1%vkWu&%pZ!>TEVX|T&jQB1=$rkotrw*%*nMkhTt$3sFm|av=B>wD8^4lv_9<1nvt~CI)<6y1 z-Pu@9+Jmp->kTqu&$O%2k3ujaQzSdmK#kK*^fA&9#zfzL?TMZNgs;{r&3Ho^9t<=v zNGC0<{^u)dr@bF+{7R7lDZp*+@qB3fZP>$g-o+UI#{J*iwD2ENZjz{(w?+YWD4};971?C1% z_8JG1$uW}1)h@bDFk4<78l!+WyWavsd+9^Q>%6FjqH<$K%(e`djbW_*Nu!UJa@6?F zA+|yF0A^@~=|bjl<3u3>BYQq#2@Sn8lu8i=G-y4S+5$=>vNo+TjmS7}>_Y5BG`s&5 z4JXt=**sdg%f|au!rJ;qR^>M%t&)Wc;9s7sPaEunEd0$Vw_2>05bI=Z_BCTW;$f|@ z7u$9fo*I7BID-(@CX$F-x2;mGoC36G_lzY3v4*jbt_)~}{xr&)24XUu@Z4w??L-&p zcoak5NE9v6Jj@isj2+bgmec_)eEG4l0o59I&c`mrnJ|%lZtOzdhUpu@c!@C0`Hk@? z-6XJ@=!@WKUAADS?zu69J?*Gkb`>(oHM*5Fgr#&s|7h!CS|$YUb~73EK5b&l{Y>s$ zlu=9eGNqB%Vl&8(Juhy`!=RTz``~Q~C56#tgSkL6yVn^ZHQ8vQRTmaBcDNf>eWp)T zz+M{^aMSiFrb8q`tQV}D+}JkF9HyQ1Gi@WRT~5*bSf*~vLuXgo!91o^!B{f~o2t_< zSeK^C+WJUSB@!!UFkkYSatU@?uKcFy^lMH5(`_OFaYGi@6Or&j5z{Sd-OX{Pf@B|V z0Sy+IM?M1Q6^#s7)+qT1{IGMG{TTNDy~C4LvQASXsS_ zEU&$;Y3f8Hg4GYhu)U4t#QgfES!4{coDeeZ_rZAFC&jdeSn(1XqD~CyEV{&z0cs%I z)|ZFyW~SOXmvHR{n#}B5U&Ot_9Zgv>X7cIO%PeePw@JfJq)T^GV^T1n20 z!t3m+T$v2mL5`f5^5qi4a>-4L7;1V;Lke0khJk@aYdX%f ziIlf@g`$&9vq=G4(AMtGG|{rzVX-7E0`s|P6K9#q$ia%oe}S;+$1c>hcxbK*P3Os) zm}JR5_btmbiiF$a%ktHTh?|zlqf%?k@MHphVIVrw$7QCmRLa`RJT+iz5=?Xighg-7 zxWV+5929+^0AX?QhlVGu?RJygNPs@2*ulYQ@y9z&1~R0bE>tu5kTE!&*5Q!p1vxSr z`v)S%pfATfuVbbUqM1Y;4~1X<<)zv-O{t=j%{`<((h!D^ZjkD9_r44;z@}RiKIWutf*M53uN|AN8Z77J*6IBh; zs(&y|BVDXr%*X;qsiB(rlSwY5Fr5fyb3U7B2(i!Ee*SFwO&D(B7ZYuPVrm-7+Ltot zV(F1)FV=W8THgJuN$wT!gBdNv*?iyDtVFCuxS1{4;FujU+U-bh-BNnhJiW_JyU ze$*n^2MN{ylZVdsTKbnW|0_L)Z(U+SO(tQn70s7~Z2RKvWIX4^LI?9c=(TvyjK?-!=AD(1mpE`v5V+3ZE4?FJUjdA5Q1sNI&ZN2siX zwQbnPiI}v0YiO3c4_F>#{68y!HuONsWNd|1Zf1T&))(6ss6`&Fc?)w(Dwe{R0B2g6 z1B6)XeAmDlOi>Lvr+0EY&`nEdZN^Pb-sTuh5Z79p{aKqSYK(TQjoB#pYQMKL-=SZ- zI-2_kV`(FHRu8jv707ov52u?+qIR#B`3EvNwrYd5S^dm=#I8H5JJwu+OVkkh z3Xp6*)6h_KBh|#-Yp~KWuyYw0Ox8{?%S(G!xA$SQ=U^)-W(LOBhLg=jsTskvkhW!- zndYDxI@wTSieQ2<=qIzvs?3C6zRxtvRi9p(7Bb&Vw_r4^pH7oEijZrVZw_GXGto~VP)G`#lX(O(q>^2YT9L%2V7!G zuvjzqB_Grg8(7iVYOt1i$ShB{b#lyF@1M=T(@e=$Ar0oE=?N2x7CmHk(`KDB=Oe3I z$5LTPgvj&e$<$!N$FWHC(>DKVmUCXjfV`~A513K^_M3T_&`-m1hOip?aVF-^3{e~U1vZf$7! zC<V^(XWMbEI*ip25~DbbPzjbrA3a)jaOU#`*J8M8_}H?E zWL&O_i%J4fcO7O%m7iJssjKljfm)w87J0Uh$l%Au6p~!D8*eRp9E58hEhdr%oBGYW zq?p+3^>CICUo3}74u|i$q@1CD;UN7q<>;?m$sa?83V|kP(|MQl-2gs zK1D0ziPj2Y--^O&aoJb|Z!M_Mz9P4#25ZvAs@<{5dMOU~-L)g}N*K8+78?tsS^1@4 zw1%gaRZ>|_D;R{aFt)6U;-+;-P-t4B!3K0}qM>0Q=1}BSRmEGoUqiV{_7X~5sHNm0 zGVV5P@ix_WcU>hnQJ~ZMF{pzL@+9S<&_n|ng?7a?1K6pofHXxBl4E12*E{AG-Ba>WLpsdP))Vdnz>r?>&=^;J>?s!W=c zk)9?|m#jY``YDYC&Cq^I1M%Z@KglPczvSGfztUWwPW6|?0|qG71*F{o$$9+%rH+97 zH$c)=s8%bv3Iak%zKDLwHhK#zjla} z{%VLMP8ceyGjFJD_$Nc95h@OosJX)=@gKuvTgDGp8VL<24VRoR4X5_j{6{F*2H;Ki z*GPq)Gzl3cIi`)0;`fY_>iHbdzeMrMqQ}mU`S9Eh}GijI`a*G13M0jFD1Z$I2h| z$4Ucbja4cN={Ky9=yb_vNV@c?U(#iLlyOp4w{cR#ed9=<`QxQJwZ}^ZGsnxi-x@FZ z#Y~WP9%KD+X@b-uWTI@!{u5=XLsp0~NpfyANvgA9k}UOhk}Oqsvb59O$r5#MvLue3 zA{maDB0J%sDT;VXhoRRO7gZ15kM3V(suC{#)p4p6xN)k~_p|j!{b{n=E2ha>{yj~y zFF9S>Xu@=Xe?-le`V5|p0LUHg@@!cudX9vQn z{y~-+_JgGP?FZRQ^39c~p>rkixw(>I#E;U?di^Ntb^J$JYWP7IyXZWH(p@LdlL8l8 ze>}qv4`|nT^@V4V?DagwpEa4U6ceEGKR1ma&}x7@IhCoJpI2-4W**k@{{klJRe)Jd z$E1CZG1>U;3wS)h_sFT%ABz@n8bBT|;8w+t(hKE}iTL3GNaIs)COu@!7eJL43%T=v zC_GCR>y00toTyY>_Xf4tiUrW*w=5-Iz}nPX;x1v4i#EvQ?Z&WGFzi@8rh>ea#%C|0127ZZu#;mMCSyKLTcZ!K$2- zQ-s46G$*H3Y}^th*?AAUxJ02(Gw&Q#f}QU&(^4fWoSV@(>{-HaXD6q6E>2F-y0S)= zx>P9{!HK3VZ}oZt2sY<(a*EOs-KxmUOHuKCOO;?jTD-q+pK(4;PVez8f4q)#OJyRx zKRCAsdssQQ%35w!e1sDJbeemz29$7uj5uAP87y^~Qb{!KoMlR|OKg1yCTEu^0Yd2V zHV-Sr;gi%4_$0NouKdo14)hVrl>&lQ-Q{3av#B2C!DcL1C}+S5j$hf?0e@?`l1Hd| z<+1V3b%(JQgD-?PuY8Hq3jV36b?($^yM&}M- zTTUoGq89J!ea-8JTC~jV3eF;!U%PYb7daEsFMcL`__) z_zSK}II83=Td7C^ojzR+cK(Z*)=Bp)zYbI(k2qB@Yw!r&WyCtkdm2a0_?x4G*pYRz z6Gva)6VwKMrz{$?n$BdGnDct2p|ER{iX|U5D&*w!x|NetDIL+$w8W-CVtk8(*R`{Q zb1}T6WTxansy9A$n%(UCh$U;ynQNXpw zt=K*2Ar}m2OI?B5`$d6r%r{#K4#|e#u0KmYZL<}B!Q%IX?D$TocReL%P}p`{(B@@( zvSpY%&sp@iAixUynk`#jTB61lB|@;=+~r}~ETm_-6z=2{snaU(ksE8{=N`aci1Uxc z+i;Do4|MSNIr8gh-@kEVrhnWDu+Lj$4ZOEP{N~SsMI;;j+0Dd`T$H#Tz`3woY|aiv zVf+~nwr;BuDEv5h;kd&M-O;izQnXIQZFd{JD#Qr-vdcc(gK~S5Xw~5@z3@ndOQ$PjExwfQrLdjv|r0Kj0PsuS6}5J0XBLg^WQG5 zUSvC}R<5881@mv0;b87pTCF{-i_| zaqOXZmZY&`Zq*t(D-GiX8b=__YGcR5J_$M^mp-Hc-a3h8b$*hS;DONP#t61zr_|ug zPUvME$pJyE<_M(Y3Ed@WV|D>mVKkvS?UK{VbPnAyjzfdl({y)l5n8;Q>?wuB*zENq zE4Ewlk8!LOj~Y9dUt6{v8h2mK=5S?z+5!T z_TA8D)gppk&2m@7q(^Y+zWB?OQL2;EYD^>Y>9}}i6Me|;;Srck3!E<@`%+@4W!; zB5(+Mbrm>1?GsuJdtQ22QN*bp-&tV5eaR;oSccMno?(LRNq-8{p=MWQ4aiIYssXTPihUnROU zsK(0fS3-r}ZMOXT`8C?#8#49N)lt>(adTCVc%hrH=FkPFuMGliS9p|uc5C> zKXGoUojh1tM~@)ZYYO5(<%5U={kpPt2jyNDUyX$h>*e9pz02SMJq8Zy(J4MhXJFew z;oO`_wXhQX!iBwFlrS&(Sv19^oV7%4&&?9ZxO18 zXqV(8!1bOaa0!A(dF6pJwq zD8_a9VLq#W6uNK#wkU%0G+-W1X#=|HEWwf75-$B2J9<Aw%VXZ*7+BVtX$dQ9Cbh=6ms)~3g`t6eSU2)G$h~#ks|Yt7dtUjB`#+;m+F7nP}H)&{}MX$*Sc6q|D3ZYE&52L zND~ws$?djz#ov1mV@g=8QchPoQp1xaqSkCHXobq>`H!nzJXs|3$it94$d?&UTmAJk zaD#hG+?HORKCGP;*O%jZ50W^ZR)`_3kQdtn0-?mFNtcE%Mz6n&1}Um*4A}fDLs!m2g9M3fxehdr|EkoEs_@%5VR8~KMf55Z9eo#jDik-xeiKN1m`bc&cO?R;J6>|IO57(RAPiWn`))~(+$xh9U%$ZU=DvJA2=3R ze^JRNm|eUGW-fm@;*e=6pJ3Lqa*?tDXcaHCpuTRGpE?#m2Brdn*>a>}a&7d|5r-s9 zB&c&YH?c!hjt`IO5jxkh5y^vg;?p@C`3n7ISt6Jcg2r;-kpadPVWQE&?7 zshaYMo?r7X*BybNZH1+-eqmqDg&n=E;O6bGQqK{;qSGJtB&bN(bnsV25nO72{^{$l zsPh&~YV>pULtYN_{#P(H=Z#VM3J*}&V&MX8xt|zvKl!qagJo=eo4e1IhUlKf!MKX9 z8f6rH$q-ibiY!#U*4CbhC=>|q()XYDszad!)lpK*9ZA!ML&{Gugx(0u-&RQEn4)p% zli_@mWC#gDnesZ#1_s&aBZN|-x>bHhbqj_N%9?kISWRx#ZRZTI8vPxspTcbP4y?Sd zg4MbRn-nir|0;ISxKYzMDly82@?`Ij_DZzRk&{cB1fX(pXl1=eSfXw8ZY=jTB|^{- z+Fx|ZKvZlZ{)^RBa7GN#pDyC1uu-F>)$cc&o3RaT{}@XWJ^z-mM1SC#l3%cXIQhfg zJ7^p}0_sQ1-ld5Y>8~hw)VYodWtSu9)3RRvtkGHdzTHNSJb)B;~$$r?y?*;W=o_!Crdb zeAkWWk(?`-#oUte`MTSsMlV7g?uo2p!+{c}zn;Hrkz|Cq8whjy9is7e`Y?9S%8JK+ zms0&WtGq1kwiHn5HlTw9G#?uSl;9mP@6OsM;62_erw0@o%o$V_RL|y&Ya0zeX^q8} z-cJUN;8gk8-r-2s*8ZNl|=N0~dXGuQ`oKksb`U?jTigS&HmnE(tRTg;Ze$gzf`3mycP9UK)pfr023~ zCXpg}7)9;0dtk6?4ndJLj3!xSj@OJY0u}DTM0(Gk_al)anHaLxS=Fd;A6)Wf5o+Xp zIm=(hp?jAQ^xl2ht8Rq1``>OB1PIU)y})u18^C$icp&#NZuDYbiodS z8vjtDM8!83Y2SDkc;`XIOX&LAlU*$J4<%7dklr<}<<lnUA1b^bJBG9U8TIn@?@lmxZjW*rd}>*sI+o zQY1*D1zDRv!QlR%1VxH8T9qB;(EZO@;$KR>`Oh7zkrs4h$X)d6THmpL_=c0$5GI@U z7s}`VAj-2||3g=|^^R?ik0+Le-KIl7eWTz0#LRyy)r1{lhWsdtC~6X`4PNUr9|+C7&2rY{dY zZEYBllPyT_Jj*eOW^0*f;W7Dxd+dD=e;R;j7_ajyU$z2S+eBJ7WN0H6bp~QvszV@W z5yp-@ks>cX0pmpy>h%=c?cB{OJ_U407||kS8%;WvbEq+rp!FlXaYy%sWb>7yevTm& z61Y(}ZvPC>vc(Cy=owD>IrD=YYA8)mByr1QXA|}us77T8gy&yaOkMc92&vXzr_ec zB)4OIG-SF^sHDj!>n%yMkYGg*bpuc21+ejF9fkV1~;x#K78+CLr~t{@ud zhuub*XzBIi_WEeI#yEsf zeONm%n^TowNLA-%uh-9u&Xk;hvE?LAd-dikvyc=(8asbG{j@`+%jE+7VtBZI0vWW7 z=vyrHHq-tz*C%UD@mGBO+KMuI{=-)j{foD9I2tn~>))lQTqz7T`Zk)ijz}-8^^UZg zY4kgoX~AYf?Rh7I!2=HU#@;u#Ysh=)yl&6decJ(}nPEWvn4z2@($Vh~`mkoxdoYMQ zOHd@q%g=oNCp|Fue?UF`&4xmR_zlJsoAJD|)#o3d=ZT7rMGf@(4m%%EAtcy~5Pj@E zXBGT6L6KswplH3V75|#U?_A^o6Me_2_nb(PbdTbapf6CSS4dsZe}LKaUFgG0qA$zy zLGvyo=;x*UQ*{IO+?qt>+^|^ohUgPM%GlH5BNSZf#8M6TDpX{hv*z&&60GJdz46Ct zSTh$y>mBVk=bVL*+Ru;qev(!U`2@~)Tpfsz>(3!(kKp(j?hbh5{WIFF{OjTTlP;pt zP0-2oqhnVeheAjUNYk?;fBzV>9zkmt==E*C0Jm9e)kCU4B>S*NZ-c3)pC?AE@Wj4d)C1hlZ~4=(AAr0 zXQG2FBqXFha{C+9E?ma}#noU)Nf^jYn9JL`SI@`QLpVcs`BIOFd4|I8)SbVr)1hZj za~=FiKcbaOwiV+k3&o6K-be78QD27;xeRHV)596)btyJcO@2KL+iY=vn4bJ-QFT8$#8HF+Y9xy_$%?fVUV zu@d$o^`YbN7#lsl&hnC4EzAX0;S&jkgo*)n-~Y@}^(Na;BG)3#NLu6uYWh?{A<-f( zN?Lo&VU8LMzfmF9ewCz?@@W` zz=vMLhx99p>{pzgcI)RDz@X7T91y|NJkp5!hC`Fy5)|njY4wq01l0LGL8ltkLc&+; z#$4!o1kqp;mR2<#`Zne;U)g1&+E{GI29_$ZBNOwW!IKFvInDm!Wi;FI&`cI z6E=ODnI!I{Nw&^24!)Vkm(D?u!jV*~WX9bi>@AvAyfR=`qlC=8`*)n@^Uz3GK))dy z7HDT+V2{lzEso3&k`aJH2LBDWJKnFA-1Z{ z7&W6EOU=yZ8^+n@VxKSJLl_?V#UXjc0&J|J(y^PkAlIV++pZ#;(RD>eKu4z0j{k64 zAxH}_q|2j4YIzmy^+-UAu$um=QMA|5$>$^a{D*t7KKL~$$7RuiqspLz3o;dK7vXva zn#|$vQ8{MuQ|ZuTQ9jsXSF$flOZF|y(*301S$+V2CUD8`Htb(>Y;t{3r~<3wuhKzO z!y|30kAs}4_%G2x9uDtQeA(CrzE#;C(EfjpkCRh^Qo9^@l+QrLy2W zYKX9T`8)tDPi4*WsIis!_~IxRgM-6g;fB6W9Xh5B9@MUDkKSGMC+NKSj&fFw8?w83 z)N+D%P=Fd7_^`9DQ_sPDdkp&SEP5Gk!@0P3VZA^m=%?X_OYtsjZGc)tG*pKs)8FR7 z@}w=6ClL;sU@ta}y$Miht|V@%BoAYi165jSw+{rLk;B;NK$Ql zCkF;ML42G5tHn5Q#LmV{mKmlNWHG^#WnwT`M$TnzgVj<(pWmxRg#3y!P0?|pbY+*$ zlX6Z6t2C9aSwrnw5uIx^`gCC(?UDIhP6*FIN{yQk0!y*8oQl9yko8YDEI{AKW&iJ;v8jUsj0#BPY>J=YZ0Pt~_*e7O>?sh!opv^F*5Y62_zUW#@6i)Zv*>Wyqm#m+<=!*C z?AB@Dylh6eWWNYt7t1-eCtRh~*X8q5$6do+s0x^F>vj9@-24bNUWkm2@F+hB<{5}e z=p8NSE^81WM{|B#(&g$sh8(&yrP&(+K<@kOYJ^HR7Q7+>aDT}9M5$4%XQ--*4%41P zQ~zY)QE0==N4_3xFD~o})HaTq@;682VTb=h^Hw}Brx{;|yUu$EoxI>c5xOS(`w6F~ zUX>CB1_95xL|U!z+deLDU$LW6a;Uxy3fIurzRdZgA<%%^w~m1(GB1z~fgD%E5S0^| z#*woL8OgTfRsBV4UyMH2wk#AY1!L)F7}p(Wy_hMV9P?s%@E!7x5F+>poCh0YB@og1 z+*?V|-re9Co8#EJal;RtA_FljR}ap)no!=!aw!FonXCO_es?hJ?`iXz?Z!8kgK>C%}g1n*-64H9H+fjx&#Q&kJyQgpRFWLY}}$A;g1IK9*fbGC5EPOhSrTF(TCzixO51-mLJ;T__g|hkPMlYGw4(wWkoqj&t zC&@tvB;7TN+cClzSNp2BTf!&J@FV>`TcKnJA$wzGOu7^c`7cxT{5)AeoJwEd$Hf7^ zxsk1?nGKGU!y>=s;9_aZQK8?h`VC$8o7$nDPDeu*)cJB!TQ;YdnvczHgM_?6@v=P% z#evmlhVUIfL{xf|e>O)lVu4=p-C_ z7R5Xp*?q|i4@Q0~Rv)8EN9>B|JI0BjoV2zG4?e|EcGO4?2xZ9h8*X=xIw@5zaMxG| z-SmUHaWt<&S;0V@xojKD#+Ae<;9Xqx7SO=rVEaNqBU$`dgFow2TpD2%M>U(k3kZ~v zoh~jba*w0tPbL(y1JjJVQVBp`O>-zvWg5KPHmoe?_%btXcmsQ0LbjfBNuWB+CRAl; zC{B0U9&GM;6qfOV!S#Osg{7BNtJ&)nv49s1;`xN>Hi>`Lfqu~_+5<}~{U%ErJ1L%v zU%U}f$7-#Qk_t@h6qJ-u(6^)99yx} zMz65Gr7_;{sqPH?aA~>PhO)5VN~?YX^_-*r+vI>kO5i}2Tt+I`x(x8y**3hlElDv= zUN3U|ylpnT$WTnPg7Rg7TDQ}NiuT|W_G$S`HDn#isQxbTyKN|MhTOzv_Oz^=5_^|J z(L8${@b${cy7!p)M~7f^tp2!Po2cs&S^I7D*qM=ujcIxOfb+|D!U2!e#tyYiEf4&? zlY~b~V-sUoiwOg5;i#HtZ76^HnIgYe?|R~bffc)qVY6ZdX|kjWDDl4w%#@%OVMu(8 zNBT15RCWG@GGPPZBfq2L>D|ltt6)=#8K+1#ffd2#(eK0t$&tye#mwXJxw;#p(fxM8 z2lTG??5bc>kR7b3S_EzTG68=r2W>Ub@>Qh$uh$K!IkG9!ayqUO9H!fC2}T;_0HL}F ztg{dP^l2mbq+@}j53CdJkdBussdO^_@yfH=Ye8D{JJJRBIVqj0w@rYs4G*O-q+7PI z;f>@-65s#hd;U#eQ*7Q;vuliBCH^E~V;>oUgmR+Wek>f;X&UT03KI2|{K_gT`mRB4a!9H1`UR7ZH`Vxwi%_?hEMHc7@l=BgGzY1a$5;xN- z=TOyxqh?{O`Ww~O-y>N44`*Fh_)=UVxGwpRWFf1uiH%H@T&Dx&T!%SV1=s2CFruAa zD(An3%9f5>QMWn>N%~mZ;eW&_s;ZpgR;mjA-9Hl)$)D-6R*|@@$NZzoQV7=iy~#07 z%v=rCMiOYtcO#f<=_@H8WikD<;*<+7R$f%8el>^;$;|-;SoOLx7VbIT$L|bGk&RfW z*LfelPN;?qa9p{Av1g<8;ISOn)&giWX=LsJ%qo`@3M*|l17doQDO*H*8g)etnd{x0E< z1&G1@{KoH(DV+9CeyXC_2K=X=6Fe+L5|G83c5~0vhTL{VI5aQws-x0LRMYI-k6)qi zi0|b78$)s{#~3}>*&4FV=F|a~#CSr@j58|ic^!%R#8InD5bAYtluD{AQ7!8N^_mrcEX`@W;?Z-6X9%}Ls@GAE@S+hX;g^3<9nW_Uf>c(Xb5 zPHlo-w?bcW=%*y^YzhlcR;!EHn>lXyyCv|DQ}_?p&mI0wCljeP&ok$?Utc!rD~{iZkIzM|8>n>oVO`sz zLtn$X{F1N!6smAHB1Nrz#MEC%nbQDVy7VQK$d-M+fn0fh;i%w#Hk6%q*{wP>fjKYEH{Q+-+tl)MA0lGi*5G1h3fMilYBZe{DlwUd0m7S9#dq@ zsF>@Qv;&|$2D3%#=#?=@&xbpldIbiO|*U&|;!@Z!9Oe;)}dyOO34mexoY(u^l&g#AU3hOIg2WYS?$1+}psz z`)WgX{!IaJE=R=;xirnB<#1fM2`&Tv`jhAxv=#F z^=PWnQG11^fVR%&&}g2~oGiVNL;GzdS|lu2>=HwlN9^;1v>+HxADJ3&x6$WjNN{ej z7n)X7`HNe-6$3gXR z+tOUl-7j+RoP83E4Cr~qJoIFxk*%Vj#{=k5P1lMI4hY)nY*8<1+R27THxGe^-?P&X zVSgOrN>mmcD~&j1W@vzk@L~N4)wjb&7J1lMnk|_oIkvdhsrOaT<-!C}Ke~N5YO9u~ z$g<9mWgSldG?$)zz9p(t=7g+{S1ail@vUGI*HikkfoxVQS!^lruCvY>+4eKWYV4a8 zY-kN|^aa7K7|+5^OQo>@yF9=f!_vV1EVKnS@$R(7M|pe!$3558>vtn7_J=X_yFI}j z7Yv7ghanPCL4D`1E{pIi?R3O;tNQ`_)k9>9DYr(FT`%Nkwet$Hjp~zx&+6y z$Eo+FYskdSyMR!ue_IgTze#E_2y53tVk95b*Oyx1A>R_}M_7lKa# z*77-m)3zpMF^9i&QU>IhX5e-qeBWm#zJK7O*;)D)Ju{*1y z96}b&I1zsiP2C4gt=~Vq;Kb&1!ju-N=xJr{-3dPB_j zyNPecsJVX^N7&6xfi1~-G&k>I5fr&b}&+jVFxrE5x z$Uo2t+f^cOeV?w<7e{pk{U$pqh+XQc(jBFb9Q6%psb#4kR==A{S5cR382#iL48Sul zB(ZDtpsiEz1sfm#w<=hTD@o zFt-Y6wRMvI$#3HnE0(*W{z*L`WGwP2*pyz@L#6Aj7dWbIi~|bteR!sQy0B2EC-7PE zIq_fPOkpCwjA;J3p_|U}?Y+nFa{ZnE<0Yu1sh6~0`Ci~Rpfo|Zl`<8uM~96Z6F3$G-qPou zanz1lHWcl<2!qw>161_}Hk2Ei)<@3auk`SqmH|})5MA`+qkk&VBkez}a6X(E;r0T4 zt6>n)kH4;s9auvlWWeq#t2%Ojfp2lxukylvl|DEpH>X0@T=__OJXa1^?&Ew8r$eD+ z>|*OzuD3c;A-p0$bBpjaRBcyxg0{dvL<^QJz9VHbH!QqLAERpZvq`nEjaf3(-{f4H z_P3$vaRCv-jzhP zf5m_LdD-?%qJK5hWDz^>g5K%i;Gt&dUmR0sJ$;qgL@(TI-~ic!G6%pEn-|*jm8RnF z9M~7PuQ}1tMMQ*`4os~4Kp6qVEVTD>j=}?ic<|u6_;@~#*0u}G^a*~ZpZ=_MD8}#} z0>$(WJsOtaH&u7R&Ge^JJ=fU86l8`qQiE25pxm_$Hk2o;l#O>6mJO04#}SVInytr& zit@r@vwC&v5RQKE9~NiPx@Ii6g9_n&1q;KleJa&xQTpktHn zgUwfL^yyjstr0z*V6cc|Z6P{)#6Oey_%{sV^?N2khlxJr5cu~SB1MlK0@0O^5^C@f z6K=j+QTI6Nw_}9D+YM%RZm29(Y$#Cw{X!_~Lk?bS>`*x!o6hmC&Jq5=P#J%2apRUyY^==;4@kJP-os_JM-Jx|xIuU{p%1=m zll}h^M-9DgD{5kE_R6m`3k+=cZ4A866`fiiK#$%h`W7SPGJM(ya9QyuLGktk-ApKw zu`lT{0$my+WL}*+m3e9t=*2p9mjYcHe%l|9dZj>U0Udq6_e3vrA3Rd(K4T=L{`Y}U zXiXa3*~O$JepuN6ob*$iL!XEguUF9BOunkD-ua73q^O|FL0t#;?KG%IT3>NX$ePBB zZ$jPr%UE#{lsbj~3h9)a_r=7t&!)oc!YFBPaT93DSN3s~?0CVWG3(s*6_cP!<{;K+ zv`U|{#YR*pmW|48fra%OA#a^o|8$%j#XFmEQ{NhqcT8=v%NMa=BqEyLuU@!udWF>- zgGpt)8w%OhTwShxb$ttaWI&KU3?`dxg=qh;{}>o_iNZ3+$VtaR4#@B$ve$+1Cd1n? z()d1OQKjHuGpiJ2F2uZ+$w6c2^@aYk;l>#V?0Q%37skepmHx7o7fy~clRc(Inti^D zl`DTQQSLMt>lpHHk+P2>Tsy{)c z=XId4t!@f(EXnr!kPh{Z#G2Wm;^uJ5cEuNKN#g)sTta~H6#O_zy$oQNVx`%EaVmY{ z<~qCZlCu!UKV;W$?>sEW!pBS7)*p{zA1kt6~{(?q%V6I`Lt$pqAy!NgIz=IYzTrn)z) z+D)O;tN5jPBhJ7pd!vaXbo8H_;eBk2Igmg9LA##4uagZKNgG=P7b69X6F~-btdSs*MDf;zxcQ z%kQd8hFi7NaZ$S2NK3OZUGc_781_fR1UYsZSWWF|lTw_`o+h1PGe<4%Z9^Fto-YXy zt6L$@_-c9cwivz(BX-x-$?MqPR;W1pG7TFVW2ak3(CJ`WHl5>xzT0lP#F2do$u^8d z8%JbFJ>xTgT7YC{negJY40$H(zHp{nDykd|!|8)=%ZWs~bOM6X9V?gToQum8A)Vbj zZ}#LbrO>s=9g{~!@w}41z=`y8uYuEve#{KH9Ju(R;_^_C_5!JXIS@b7f%RWAXUVI`-ioDm6e=1D74^%Wr9Tzu@yj{5xuc%Mc6yQ1Ie+r0QWD%9t!+04GomY(A?2mBhJ zClnrfp*usOt{pgP^#z+Km2I9QOYP^Vo>w?ZWu|#pj((UU1Dx>(pl19|C_HNtE_%a_ ztly{c3#NR2Tt(MBm2ML$f5n8Q-!ezo!@(uaD*mobiVy2|2V*loh!9M@H}mgA07D-9k~0C){ibY&Jb+J(G}i%0K2@8Bu03Zh9<6E zD&%wZgxeJSPNsi8PD<%@I=mfsyb|1|H5PjMY0kj>_NwG&2j|JF4aHu~xLyoZ@ds;t z2mBOcR}7ad=gS#-{CsFPEsnIq^ERYiR=M0pzNRpu$@FYW6l2Th%Tv7jDC^p~gd^WD zCdcSx2Hc6#Qpqt)9)B$2;HG6I7_Z^bX75XYUFKBatfN@$0;$E$wA-@|!9L9~$8sJ!_wb*-%ipc; zSSq4A*0A*!O5bm_5PDv#!P2v^1)9H~bc(%zI>)fcEG%c9E>r`ATH8LQo~jO&N~0z8 zYCWjqC;%d5>{ z3f{CCxkzfyC+#k!8nJbYq{p5`374*o*yBa=hH&^|0J55~ii=gsOjWs6(E4*U8am+OP9(jXFV$LY6TSI$Cwzu9sd3tDMh<1 zlk>d5W#D;jlwBj0;kh8yuGVx;a5vpDKiv{zx0E5NiQ#WB9tvyeZ7_Vo{N?hjx6`_R z7e52hSP%s{Xn|az6Iu1;^5Q|-a;Sf860(-7g<|+>>uuW>eaoQ8bNr`o1)nJvhvgb8 zwp?cS`^Z^Ln#%I5P-8@Ftx!2%h6fyQI<|oH>b;%DI<1ffp1wj2E}xibp)X3}x)18p zJLk>p2Ipd0HpS514;yxfU=Dv%eqi@jNWXPn3Hc$bSlCLnj%bpe957e_Dq%awl8c>M zsTu|9CP!6W!)XP|z@GJz_vKUhq_yl?)_0X$6^O3~l;i9G5LB2`Bphd{YcXdHB{XTZ{NA&<%j>|Ya6kiGRUdg9og)VGK`Pj8;|%iuO3?aiaFPGZYPk~`x(29z zzu8a~M1dI`df=)JYUU3w(INEs230Q{hw1YpzK-KRQL$?4WmB|S4`zG55;SwY+@9P3sOtu2h0R%~`pvtK z{D%41^s}0Etp76!Ac~HvvO&(8C(X2u@Rf)`F=J4 zu4nTr>_s#(ZrFBTKLG69mvzX-YB@ezRfI{sD|a&0fOT4bw~f)Pu)^LHMUvUsg^;H8 zPPV*BT7B7_$4#N#acHL>(qG2P0_U=2$9$d*MHUv7;K(h~e=2MN_+l{u4yDw>Jf_}V z)aTY9^svX+1=9O;&r%ATQ4+~iY$uzsFXuLShlV`})gyEbTck2Pu!^FxTwCRGCSohZ zr6me*Az=et)`A5BL0heE>!jTf=Y~q_cTCpQ6tsa1 zPjR`40;0c#Z9|)^tIaBGlS`t09B`~Io4HM;tb;eZ9&E(@cn!oy>T2*V33r*3lqkEZ zpWk^z$3pyP{HGtJJ~lwL`1`8mx68ef2HSaUQw2DZWp0|V zMWT9qOAArf;m^=PajI9RT8;XRYQzm1HYg=2H>TcBPUl?Dxvs&{Z}-j^3!MHB7^FGK delta 72192 zcmYg$1ymH!*0ppuNVjx%cXxMpcSw(PBPBz3cMsAX(%s$NDhT)^yzhUHwODiN?z7K6 zcY?(f9I2Kbs3IxLK|o@DfQ5zqz>?5VhvX*(!5q?%6eC6U@3Emy>O0I^ARq;&AyjD# z4DvOqo;Zlz@I}Sv|2s)vR1h0T)hfaMl>+PR!EhRm)T_YX5K^_SApY+VaKsV=qoG-E zkMb>*6*TdFBFF0WL|Di+#9OO6DV&C&2=BMP?_eL}MIql(U+Qog+>&A6kpog3q5ehR zYLZ|wC*B-l!&j`UOu4rj;2W}L&fFVv14BXYTf-!V0{RA`qTByE!X+zjP6J`t6d2mS z89)5b4@qJXVFP}}_WQuVz|UaV4cJwdZ=4#w)WN->1G7cJaDX5?49td>#{KtP?sr4j z|4*?2w^tq&g5_0R>lw;_j|~YkZvRICr-675_I>`WAe;u#MXUEAE0k-jg(|_l7AQ=L|m|8@Hg`Ry4kp65P(n!z=$FKg+MICV9H=`$ycpFnIvGA z@6)_O5CC;NFfc&u{;daz4;cBIVFwP53o`NnGlBi*g8G8Mpb_4z zu~@K?x9bV45C_KvdZ<94gZi?;F5WSpIKT-&Q+Z%EZ@Po{3&2v}_6b@n14Dir19Vgc zR*vxo^{oeN^lekX@@X&oE< zC7$lVir>2x{rWffzeKgsE49}I0Ety8Sm~Z2pNb#6mud*sS8W*xAc)@#B?1VtH^ZF( zg7!_AJOYTV_l0iKLr{TU7s~R!%U8GLT~zx=2og{k69oPHE|=IKeBO6C>Ip#(@=}3- zc?XCpfglGON5ArFREIEr=YXvVvGIQO{-FRBV=)jw*`Z`qWN|Ac@ezravIkTwvW z?{aMY`M<>5U1)NE$a!CxmNP`;`@rhW?w#^oPoW?Or9ZV zfLoH_$RMFb2z&5- z*Q;1Gz^T_~59r4g1n|A=tlI4=;y;{0RhN(*@9Vt)yt03t5(!_@ z#@^k+mC?-J#LX>M-A)Z(11Dg@GKpful>u0L2Z;&D+dv*6)mgh3T#q#a$o_%(ZQSKv z%#d$ZlJg8RkNcdv>mh0N1h(VL35G!uM_lhc=?mCcT?7EGVTGaf@G!$>u^eymO*Gc; zR0r7XM+vh%&TRLiOniE$b6MRTu9du2_B3fa8tW+Fv%^sPXfBf1BCA^G2|!WB&bFF} zd5M6#ZC3XKzuj`H)Z_LmR>bXgmHHMf4@j|c9o{Uv1o;Cp+_3igZDb>3ZWnchs1l^n zD@N8#IRbK_WJ%X=Cj8fb3*`Jc?64(p5CwSir^sP*wWRnSalj+@%9Ata^70h&IqB=P zJHC@kMtrDd(};{Psnq~%>2kp7RW3hjT5O6vYFAb{f70SWWOe_G z;2YOw5mdcRPqEocA4Hlt%iJym+qrEqv<=cHB=<^@om|h{_Nl+)at#lsNV2DHP#+a{ zhL+L!j@c({hEd;alL!@BtWK^z$x=4ogX)1)VGb`uSZ@Otuj&%&F5;FoJP$Khg)(?7CQJcHEXEyAP#-qe})T22`?U%!x{h3xjqQJ*O&Ixx)H*B4nzeAXEoH|%x zZonBOVe%l>NHjp9zi@>o<~wVD;zg(v#us?;M)QLp#qB z?v2MM=O>GGvi@soi9YR8kJnW@SAhWl=hWOew63td2QPs-lo(ghLMd>Qu~R$LeyF_2 zimqxn1iw-IgwVY2(nl8VA8AHuVNeV(7~-pE)=g`R4k#WgcAIU@DpWRwbzIS?kY?uq zjSC4SQ;hcjn$t{9P-1q^>%2Wp-8Vvnq9l#p199Oo^DU$wIr9kv53;Hd0e z7qP0t6lgaRyo=mV`v@GC+-3b#S~fDzeYoXziF1um;eGZrNO|Qy>xmRr$ZZhk7iIno z_TrGCYCZZZkPm*hnTF^8C4;^kh`HcAoRDcG5uej>}3&Cn1WwVjpp(; zaQl3j>YYvzivZLb;$7}bU!~n%u-rp)OiR?F=~cpxuZP4t`>U|f7sVIk%?P}|qF1$v zHU|*<%=)pxlWY}E6^yvCRtBepOBp-au?S$}1p0RvQ?S+~wX@Vg(~SE7_sz>Qfn&8x z>CN5yUsfju@D-0ADB(DhiBVMoLaLuaNcXK`sJloio}%o2IBBZ{40-st?W5S!0`lc~ ziRl0j##E)z$uD5q*ml}frDE*oTz*UBjhmOMhwA3j(Z9+nMY`^qSY@73q`N5p#G7Zf zjKUuK&Jk!p%pPgm>>>He&EZ!KPN7nLthk2xRa)3%2}Tp1UR9QcAFz!;Jp({dae+;? z+`EHIKDPVqdX1ti2Ln6i+Ak^t`Qd{k?1vBk{fqM7Yy5v-TxlO5CEs5W-TpxG0U-NP zalnTyh1ov^ii;&CegG#^WMvxZHm95bhtvbO z9__;RI=&MWD00PN$zh|z^(_VzFF-Kier(lgOf$8pB8ZECr5ASKe#2SH{Gj!woYAO5 z$eMlR#T!MhP$VOg1_3wkq>A$yw8F;Xza`6=|uB^%<9w1Uwx>N<1vUo|BhME4u7V_ z4ig14h`ckmk0P1BVT?bXiFI8cqkRP{QE{G&uwz?>__@C|#yFWKBsR(H zrFPq_2Ygvnue5^iBS*Pt0yUcJA5(*Mg}g6aRpEpDs?FC!rWD7H52XMpF`rK-2m{hM z%W|}*c+wby#TUv;kVfKmYMk+hbw9}w)xLh@rH4Ux2cq3G{z}|#{Ww3r$ga*v>ViqV zb)w8JGj%TGPDWsv_wjtX1FfUAPT~^Qw~g<9X24JHVpE>gv;JJx@s=UK9EGON2fbhb zEf`T%;P@q%h-F2(?Nb^6ZG*Ep!jjy0SW;t&n4@=&M8iuPiz54lRFZA}CEP$m?o`({ zWkG`sG0HuRQxpGuL;Fh$u7&*-w5e+bLlhL-A;(H&vz2ge9sm6oR49im$<@aLW#iy& zyJCTHK912@$wkqx<5SF(*0Yz|3#wY1@`)G7LrdS86C4+csis)~5h@r;7mDN`e@f-Q zaPpW?8Nhf~`Um5#t!!6U=`=T1e=n+zIv7!iAxYNd{G8v`&bd*ZCkN!hGd(=~seN^$ zYDtnF2{&BseVXVLjkDpbXJwH~E>3oOCW>Q~CXbZDRnj|V#zfkYj91dpgHZ;vp7H71 ztiIa!#`2UDS@@ej0O|N^1J?ee4K~sZv`wBm*hm$Wf!>bUs?@fF`jrn83eaitzzeo&{24hg)q3Xn@cj) zE6TFlJh&U?WILPoQ}HWtx!caUm~0Ma3}tMVX#hN;hu)in*` z`YIM{iH(^(9sasxi@@A~K7EOR>5)ex!=7SVImq3WJzg)t9s66QYN4vDsp$q1yDsF(l-&K{jj)lWoGFM63nCe%5_O9_-oQ*%``k=Lx^Q|Lfv zj59blo)ew_Y)avx=`L69c8`U(5Ka2_;k>LTn>~@dsG)e-i|`ueh6L2yfcvW-(Ll25h{b!S{zF%Qee0gxoe*Ys)?a>PW7gF9yXZiB{f z{XtZ;p5A^BX{*2^r+)GCBJ{cH< zO)8xt#_x_h+^V*a+wH*a)$vQ;?phs(uXTM%cI;9-v#*}bo z-KNQ^PN2;zoq5?DhI%{wa1i1DW16{i92M4?5CL$$IFA*l{;oGCJ*sBE@3Uh7+n}N5 z^fjScv?}?p(^d1MMS1@YNr?IHqzO{S1JN6@c}Wmj;iuLrDN5C3OP@0zJM{&EOO7Na z%1y$Qg9|ObaBM5cqFZ)>D8rThV;5?iqdd%Ukw_5(4krb>zRTUcFEtVv)-00Rrka1q z4SxXg%6_%LjnkdzmfJ2it20*Cq{UycV4$C-3m*t<`##{nuU3q3wH(Y2qC6HLSRc&D zjM8A0l2KiRWtg;KIFcq%VGNglxGwCea>g%;+dEorrrp(dwZx2;CaZ9zS?m-GKJ6ag zN7pbzQr%@}hgbY5=CJXBqAMVPlkXO`%i$S-?gVk+7B!1ffW!SHmm zb=2#zsm0Uhza>J-EN@Z@)^~QZ>w+Fw^Z7vJ-V3IOr%!Big&LF3!Op1Lul?1U8C}xl z6o?n2!A?BeU0^Mk*P}k~BO8qCj04J^Hjc9uC=r1gbL&AcFOWOITVO2X4{%^WX)gry zfOC&Q)lBivjTm$-Nvy}Oh>W%t5fh&SZcs_t4<~9STi#d(s)?lzGMRee5r- zv+b2r#C1M?+D{RreAH3i^R1rXy9m)>qNTAad!&FuT^_v5YF$R80K^QpxD8O~-)2`} zanJIVnj_M}7Qdswmj}F$wXqR{&_vWTTcY1(35t6tqGp_t7=dAd6nOeYl2SH+S}aaC z1BH7bhs!bWEYko+?;*-t;ex`s7jd&0SIW<&(8$Ai9iQxyRvK@EkjcyIQxb}j9)&K4 zzgbbKGfJiIY~v;Oexgcr!b@1Yi99#JKo0M9qz@%T2CtPe%kltQ-pLKmh9M+0iRmVR1kmE`weq0ZiWW6)tRFg$A67`f|K_*J&B5Tze{Q!2VQmrn+)c3 zeEJWCGTS74x~b7<8;R7F$&aI1+K_0OUyJi+DT_S}|^yHkTeW z$NCjTq{A)!dTG-}%G=)-wNM$*`og&q^nowoSmzGg6;Yr3P zvX{`S;?Y>q(h7L0J{}{QIZZi}JLaF`<`U@?kL3DPB8>R&d1JtFTHw$R64x67l8Y5R z_<3`Al?q5+KVP^TMI_@Qx}eM3ke1MgLF^eVw80ig(|&u--XrK`#XqVI4b}bT?X^>U zQT)3{nn++yH%?N?*`;0GC1kjgUB6JLj96 zLL{v{HMX6zfMKtjysp7vSj`nH64MZ!7k*eIgOjjr8DJt*OGShB^sJV?F*wiI$8hq& ztD9KKmj~;z1~bVbW8?T+q;Ex@(&zw#S1bl7(e^PmX&!;2Jw>f1NOOS`mx*D5SmVLf zBI?uMhMBo4=*Fu;Y$@6%0*%DYsgsSlTBmgr6C8rjbRqPw!FGP{e5Rul%nXS zv~OpqMS#?k(1UEZZBN|-t%G};j2+GmOb~etW7R1DCABy{w*pSd01BH_`Tbmq_?NeFo@7q137g#D65+2{8SRKui`_qBJ{7 z4{7ilc7C7c-Zj8aMJ6CXBH|;?L1aC4;#p#{saJvy)To2#{ls>nDy_W56o|W{dcX7m zlW(#l?U!vvdr#;jS@MkuR`gT_@}0YlS3R>F!w-Ys{JncGd2H}@*qsqm@zW0ZpDYwn z_cj2%1Yk7MJ`nW_2T5hg$5?nelyKB$RWi6(a>w)vOt}WXX=UOvCA+UArJwh7)!`hr z$!8oIA6B3B8RIm4BY#?&`9d?W^7F_P=?F1J0q4R~u{boQV;9JH!M4ci5P)* z@B%ONpBOsN`$4KnMMO8o26!*X03{!;-ekZcvKstd_>T;nZ|>G!ZPMX@Pi*B1-ZdKA zgF?G}icfO2bUlq=wlaPl1p%J?kdr~L4C=Uz6F8=LHMC(EjyNMF?%#do zZ0HIvYuH}IZ~jM-cVgMApOTOTvOSIfmMh!eFyYy?hcTmuMTeNCiacrcO>v^^_*)+a zRhhCl%S5d_jw>Eo7xn-O_3YW{+L>wR#|M1K0!6e7NlrR<64BNu(5t*{?c4VWHw(h0 z4*uq5)C5=FrQo%KHRstA5`m8X=SR)VT+e_X`cq5V)rNzL=RY67Ap+4h(F=tDgI4{x zzbbFT{v2k*{QW$`zXRx<1JFqbvt)kFbR@T;m1Sp9ZBq>=`4Nqg;Iq_9M+{m6SBhl=(`7+88BMJB7fRNb{nF<)^ zBBN+aq#Nf0k~;ZHXZUjQo5cReTFN+VbqXtQ|IUD$S`AFMep`i1l7&)M8kb@<93hs3 z{*w{(LnL&&&_x=>C}4UdnnGg~=SzTS@h0gDFC|pl#2FQQ*pV|ltt0}Q6vs5p(~}E= zMbj}ACuNsnkI`Ie9mC8yKq=PgyJ=P~^*P23#Mfk4X;0oshE|Csno`vXCE{6e@u|%3 ztWv6*Lzsn?UqX1k7M*!S#`cpDSE^-G`>@xgQDl;1)WV8ADPsujFk*L^<;CJ|bL139 z&OV^7%IK&C>u2i)gwG0dbUpP_c~C;G2@3_lXl-tq;+6&riOKS;0*ZrX_$P^SWZeQR z@!Gyf#~cG+p6a1KUED^52GU=dxdc)&n(xxc;-M&jYQs;qYUT9h?KC@D<@9Ao6^V{& z9}E?}n_Kd`3i1LG|I#YxkE44GpO3aK{b;NfN&Ve1LGdXe$8LvL5N&2pNB)UkQ8_ei zT!%w#y*Lv8`_Tj(4xlH_n(FgyjFNTgZqGv?l^MWaB;`THBv{Ljigc$w*R7axD|LVXK^#|$lPp9#Q8NgTs>Kv1wK`btrf zyVBjG>qf2>yd<~W**uZ>UPIrzfh*rt1Jr`z$vqJGJ2L+X|oRZbUD?E@Y+Se3zw%=90$&qe8=R+^{F|A#F^GbWZrGrIKTfYIg zmTqHqQG!t}JHm1dt?*($#C}oA_TvkzoLVP{3Y{Ne$1VE~SImkou;2nuxfx%FFmeEr zF*kD!pR%Rb;X|r7a)ysO-~X#rO_N{P(T6{0ES@iiSbYtkF8rJ3`W(=F9CEC9tr(S1 zh@|8e^%(|_>gg8@Ud}cq0N>aL@5TDdHhJdGB?RK6dlUeXnSYc<5Z~CVS?$U0%QlbV z^}vTdx2&BCu&}QoVu3-tACjjh!FX=&=HM8;C!v0D8KX8K@1mgE@H2r2n+)4_!|sWR zK*Hxq3nGRB)-;%7K15?slT*lY79d(pp(*#0P_9YiSoFrq^u}tEK=Kb3`oe<6P&l%- zOeruTTO7GWm5bt{1Z|$6wrqXoy$NV(hv@pmDua~oi~CGj6GY>Fi@N%hus;X+hkQ?8 zhhK|ll4bmpP}ZQOwBk&vP*9#FWv-=!F(=qq9YoeBAXln5ShKr*?E4|xkxI&U>`$<| zg)WUWv1T}}Ga-hs8nO%Xp41$aKgc9?GUHV3!d0#E2}Y@h(x~rUk|{i?ktk)!3)qVa zp1P4O$|7gRs2M1K)N}uE)i%jLlJO>*%%#Is7dO^`)EvrF`ocl!ZsQt+F%GxDx*$WD zvKTaP3$V&?fLp!Ov7fDla8UZWO zm8`XvCWcu|ihfEZ!a~%^xHMK)QP#17yf)I<$JmYXjt22r48vJXv^&Vi$VxQl$5e@h zFhtkRM2KK;-ehCoOC8~z4&pNg-6-YV^3|+70)Rg}Z*n|WVfD@m(kq+r$3u*3AiD1X zJvL>s`SvlHck9ova3PN|gpl}r# zBX^`#cm;q1WB?;DT_{K>32ay>r2!8-TdDdHdP$O+>jzb`At)F1&sK5O*4PH}vQFF9 zPXOUl81hA-T^uAX(q|biBxg{Js3>0;E&7YIq)P87Y$n(y^(w@#l=G0Rjw!8_c?91F zS7MK~O$3yR7pd>3T7KT`h`!r0o&4iKt5Nuz%TVl5c%zF@t?#=Wo$Wn9F1Y(D!{6lV zFKY;wG(NstNu9dlB!UK+3kO90_azT2zyWFdzA_24dkOqSmw4c)H>bT~2H zd|i~6;|<5?RwLc%=;?-iK-l5vzS@Af-TdWaVaDZA| zzAZ$=KAt5A?44z2s13-)9e-zXK^V{u@iyZVx@Qvn&qz}*>6pMF2_Am(gTB#xWJ4~F zLK=!KYXb7WRNJTocI7@`E|ZU=G#P8rKCT>&%Y2dUx|B4Sbfw%-GhJdUU$)$^lQbE6 zuK2wz+O|6xwrEEwC8!iEYvr{ZivXYYIZcm{5zM?Pm)j`lT@R(fRn_Sf%7Y_M`aV7A zbtm{+Eo9lGwDgHOIz#gie8rG=-T#6(#pvm<`MBJ8a+6(eB~;nlegnvXhmNi6 ze!L^gRHT-XNf{|Tgp-}jF6=*~VQndqk)KrVyrPG?IHax=RH{3Gf`?+#`H0yNF#s30 zJGw%gCF@}lcGb3?ZUS(~$Oa?3=?=p$zU;XIq%6p^7IULlLlY5#lH$kb2l{lt& zV`^_!L5aQnB&aXknycwS%m`QkZ=&BF%5xRctSl_~DzHo2>+9OtpX335;mCN$-t$=4k>mC7tL9_d zDPMI(Pe}0lOAD-#pwqM-W%1<2=*ZN(ZdmI5JF!iCi9HLQN|j{Na#R3G^~8-{9S-voEyf66uLWZy?90 zQV?>#{KktC6B#nuD+uoc=+f8GZ+{v^Cy3{8cLb~RFRscol22lLFlr;bHq+bFnoXcu zAQ%*{70XdB|ppE%j1YiOV zU^Y(8E$@z73x7`J3ov%gYTgsP0IscEl7t_o@9~b68fbIcBJ809{V<_$0P>c({5{U7 zLp)$8tU6SG*{F@Ou09~ufDHPmo~upPy90l>UmEsN9oxaq;EDbn#|vt<``x(7(GP9d z_t1Rs;@vv%GPSVAM1nsi-?4SuIESD_mC5!f)1fXx{ToRwtj}-LeJ|tJjzs@F$lvRD zZgp8_nr&}=N=oLDVQXR|RLd#6PUnVG zQ~+zZk|Lq{(>&-y*i_+R;vasL;@t;lOv4Wv?nW`#A_9hpqu1zB5x`!&a*TE_sNYw# ztTz=V0*;|X?F(dG;~yDXNThPO>8Yr`O6LD|!`JZ3sE#^yC|L2}+yShbM>)Zd?ytD# z=@VnaBRN8GVS#fg<0cUCHLIPqV1;ctD2x7L@q&@><}+d4aM(7DvJgpzjmaC>Quq`! z<_CKzuQ!IgIeKFIl!l92rc49qeRN z>}>=6Dy;2w2`?w&3u#t8Y48tz390^(?pLhG-RZ4y@)nID#mf%l-;)>;-MH;37Arm- z#wV`Me%(`lx#eZKg_b!R2cv*4Sv}cIsQwFbxbI>jtyGgY8BYML)@w(dN#cyHHo#u4 z2LEb!;FXCA9=*|_h*Mgjm7->H7h6F>jErKtBL!DFowwj`H!;M z_nhoKZp4eJm4yM-A+2E}h@FpkQ!Ole<)__AjF?1A(MpNNQCDemPaa$c11`6ZedE!) zg22GhU{z9ey7Hz&O~@ICGRuVN;5I0 zMZkDS#omE3zj2*50AJ`!5u1|@PZw`w$qCyNViPrWgN$Tf|G%6i&kK@M;XxT z9&zEx0^x39N_CU4jEZW=?K_~N`3aEf(>VLqUGu(6i}B) z_N?W5Wegr;5+WUrwv5ZngUeivi1QgbCIyU*8-h{@i4s{yI=-GIS>+LOxo;`U6cQyG zO~OO=ps?4YhB|p&pH~rCkS|J`g!Y zvmmOR35g#H^bDZWr(M~?+Ya^(1@q4*B*G-TiaH9}j6i)dbno-sG5?(b+c)I?H+%`! zC`!Ru`7T$^e$b>hk=D#5YG^q9H^*6dydE9V=0RF>yj(P2a=>mo(VF?=rLDTfYg)|=W|@)CjTR$ zL|4JFmP{AzGmoivlsZytd>%BDqy*rOgJ-LM@=W)K~hc1 zVknpYhbL{n=~MM-UYu&0rwc?TZFA4}v)%d+|HM*=IEJf{n^ohm>2B zq+Xh%!STNFuHOh4g>8gL4FHmn$0D@t_2Yt6=NR0u-0<%8?a=Bb1iH6C%Um^s0I@ zDFmvKngbIdYvMWeke}pK3b0^I%8_KNL#c6lD+AW{ijMXj5|k05$ax$a_W+UA!DD%v*Z>NIv( zRm7YtkPabv#+?aVlHuZ3!U5og&b8#L16XVh<*!Jp&z~w!IF4@z>k8z27fI0Jo}W=D z85FaLBdAOoz2JZJ&oYbgi%oCIaLe+eRP8{0PiC!l%42XLn4`>QGh%E^W5SkHbN9}! zWRTNElR}zztG3|_7h4d4ms7ppQM*T(uzB>@tdB3&&$ON(eV&+6M!F^u*3-<4eBQLIV zWH4kOKAwQlrl|GL#0WVLE_ z+Awp|dHC5%E>-;H?=SChse_F_e21R{4nP0AZCk8)+FizuC{-k6m1fDpx`yrmya-dH zRUAuidO&vM#ba>{_po2%U3xkpK|k89fDFwZcH|{L;cehGLZ?|anp>4X+wq>+5vr+- z-AMXF$h)~tozr$~|VLsR)_O}}^OuE0cS1XLKBb_$8FV;BPqyx7ia7C*9s9J^}~>G9=aMaqr&%VF=Hh&tqkv3f4Fqyjh^7NhUQHD<}HQ_SW9P5vSd-X z*Q*nryICxGxQz1MjZCF<{f?k_o2o9lyMIBDG&t?0Yzr4s+1$USNw>nlXF+QN_ouxl zcEegYTP=83cmz~6k1r#D&7f4r)#T?Umy%ZPg$ZAZ5x1_u=dUS_Fr5ouoQ6k-TCIZt ztLw1+JKdRVZ*mK#5hq9qP{0nd`rt^LYn$|OihcW0KMBzluMyJ{*p%ATbEWAtr65_rqERmk#RgCq6{E8SEvlBY0Z0bvDA*#}dewa33g z3W)5O(Kq*db|OXSFu#tw%<9^5S{uZi;Dd3&TV|5a1I*KbgE(H;=~Y^SI%#1qS=9ruvp#<@CoJ!A&$ z<^0eeUQyXai59IO4*)pRvtL!INSgWCq+gfYwNFof$KDcBNTmtF}DM&0S+-MZ$R8TZkH(7L~zh zcd;=uz1&$><^b>#B??5*aV)S?h?2c>*T(s#Q5zsS9J6SSm(gY~3%+79qX-r|o15Ky zhbJ+uenTguCc>Jwg15jaJs9=<*#8bJcmoC3B9!k4$@>pOWE4kL+A0SLR@?>avCkuk z?6&~A&ISB+cw;ecoJPn6pJm%od{JtqKtnfr@Q(&s^2C5*e8fjsPc8z}nOJv>8E2BX zM=G>OoNJBkF0NlODKKTULAhQt ztI3VVbp!?|wjoy=IT0s00_7|Ez=q8c#`y+kV*<0!(Cc)+X8fEc-?6~oyHH6YDtKl_ zaQb8#sw|sj&>1joV?!&^rfBK6QW$)PTei~6>0EfHnl>(zW05X^M^3bCUsV!+XVi15 z$QwdCgVEr(9WSKGfI#?hA=|Y42ar?B0xdCeG`$bN@kvi=>6nqoOJNy7P1_hG&WQQHWjgdCuPkAyPi2Pi>8@6d%WBfaX<%Me4W{zj~g98r;)x&(J+0RIi$n8u*VKRS*%7ZQV$Gw_d+SNMuv0M6v-wic zO3|vBK#MS=5Jrs)lxYSyDZmRxb`?OJ0>*m=VEkl31N}U7b)uY+kQ4y7{u}yveySuX z0BN`Mn&;TVOWIt^PuO-NN3G`RX`*m*me?4k^*$jp#V)z5DR-FbND2BG?UDC&>YU>) z)Qv_;vPku1SO`V6L|Z-tVg5%1RaqkGlKp|OwL8iVin!;^B@b^y_-IbNJ1$seB)u%a z(P_g}QXyQs0##`DrU{V_IH$5!c}Z=6FBx)BwsQ_lBoAbQ_rVZB~p#ygCK7>ynmHXcogHXc?mC-V4Ma>+0*nw z+U|*1oER}f%N)U~6|5FlG7M;qjNw&*AHx3rW6!oaAqkewv7lRXRPQEI)Y7<)f|BW5 zwwu1V1$zTHd%yTaC}LZ|pvu~YYrgB+9? zSIwSJu$Bc>jwxk+ZM$}UkJA@shx?Q{N;iQ|zEjl>1EbRAhZ9SU^ZETiS4@H+yy$FYZ3MkJeKox;<5Z7-+z^j1Fjd3$An;_k z1fy<&VZuvgG>J9cjfW4j0}wKDx`IiyjE%Lqf$^}wk8r@$%z82@{_dHhavGT3Cr#C9 zAeifO=AA9b6IJecgH-#M-BfQ010MlQ*R|EJ7pnPdRjzNTY4~*)!$k zEc&sHoxQEKqrEM_{U-Q3I$@7qQwi0cRKfx1OhCx~hMaZNzO}M|=o21j4%Eo~phBsn zNwdOPZi@EF;cL?@{&kpnYclGe{WbgaB%yKl&g8@Fcnh$wru=N_K`DX#o$#xIEI4q8Z?Vmp-jtuRe)q5?m zOhrG{kJJE$`(=Li4?6P;jE)$El2+?(_oSAf1Y5H|XuO2=7+Iw!VPJv>!x^~G4__N= zJ&x=--GGEi4%Qvvas{DzRhs(1on7-t-04) z*RC%^n^KV_5f8Ix@rtMt$G6!~{9W41Ia1sJMo0ow1S6*OAbN~RC_i4aCFvKkU3X>p z1x-7*u)=uuDH*f&ah%S4R``uOCy|r^kjdfvt<@J-G?>19u=tw`y6eReV?j4>&Ia~x z3IIk=Y{>{{QR^UoeQ5JzNWW5X?;a*8QI(#h%VY-gCer@J{3ZuCb}D3PSc~B>vw9b; z#*74z(WTtg1CVg{=F+DsU@ITtU+}?8sDUY8fXuJ+q9wBd0ORHhlxphef~T3sg<>1K zm^2GYPM3e0FOSM3{beL#U9XtLZmqlnQ&x|wa3+^7k(UT!?@L@!#3r#r&)fEL4A7%V z?t@=X{)MKsYOa?L{$p13n?Vj(+%p3v>8QuVMZWb)I{i7D~P)?e4$b~jPQ7lQ1DsQA}WWd}&la-?-pSA_jN_14oE=Q&tWm%Nts@?)m(z^h8 z7+5l5{?P_MM_;VcZBx=?e@Mt8W5OLFyQbQRBv-ms@Yq)8O~~X-S&|f|Q?X2A^>+k# zpQ%aGQ+1mA|ad zUxg5?sMcoCIK)5UR~NAgawr=^HlF>=^^Euf*Ogi`-c&KKaLvFxM#AO*Ju;j# zSeTILwfp5`&GlXf6!@@A0m>b~xqnq_*g_4k-JUU(LPB_K**0%p{k*!MOQ)$nykia7 zF3Bv_?nP&*#d4p-{bu9WO(YK_*R@i-&{Yd@lAr9J+G09sxC=(k;uxKP7Qe#nvtJG} zS>NjY!qFSDpg4Y{@sQHDDXp45-o~bx`5?uZyOWQvqcaOInBfyC55{1Ar_`d#VTy6Y z^>EE+J|mAaNVp3pup3&Lx?%G-0)aQj{IokrwXL`7s6Nx;V|zTu$@p797}=c$tZf*S z^?AHad?7eX+czUzTarQo7?df+9(4XWH5f~c!*w{~S^1-?K6A;Ec>=wp8JnS4nj!De z&?=#LNG<}`gK*m+{^RyJLTx>)^b^y0)=2?<)h?VzN!f)eaqxgBrHKEJwN$w(lWqk3 z4o;K6;MVEE+ss+gbW<~Hj5&cDWS{yBdXJhi!LkdnFLU7mN2j!-fS&!d&TCEIFsPzt zXRY4wn?d-;rej=o9nDp$&|l_r<0m3I=cFwG8xoS5D~w}a{pvZ1svWs53P64#%kt+N ze#a#%IPizYGGuu3AI!rkaTD3i2hB~j3DwSIwp~8pGs9mc%Pp{Lr!Bpwj8r0-Gmk;r z$||4$0S$AftOHapz)V)BSX_@w$)4FKfgoggqi8iPH6w$YNUUlLb}%hiAHXsOkZ2YK7nBmmXI{tnJna+Ix7d9Yf_&0BxMI29%H(hgf6bFW4+# z;Vm6)QsbG7f}CcW>l8AN5g` zFHLOuWY@*|0Ug?Z>OUE5xTacO=D~e4D&8S&h5ys>h#)l*{rp%VWJXodh#1PGW3^z? zN-2}jhdJA|dYz#mT(xk`$&4EU4U-pwD$WYaB7STiHO+%rVk%*=8 z7sDL#&eV^1U=3*8iza{ayCcn8WEE%hgDaOqLjl3)+JFg1`#e|t5EaDA4E+lIimx-i zU#G)UZKIK=1}r3ojx37-d3?4Aqwrs+4dh2-%EC^wJN7aK=C7&~dwiLX(obfB-HKb= zD=ZeM(tc(>&X}yQiU0ADBjOiDnN*x9Npu%Rm?!clC~%{k#R&eA>?bIrw6awx%^0$c zu^th-4hg8*kY_voxYS#vE&-ZWeWY&op{gowvt}>`&J301TtNR6&?TU2v|CS}Y0t+$ zvPt}EO>k%86Sn8pou(cL{TDW*?t`K?rWrJKy1P7Ie#ALAEjN?_CSE@>OfCpDiwp(p z*edvaRDaDQBp|79bD?+D3ZXR?sTN|Zm%e2zq3~}d13^BQ@2ieeMt0F*N9P;$`Q&$s zRRA!BZ%=*K{8+{vTUk0an!#wXM>Ja}M1N(jnc5t%x)t9TE~s zDh)>@1f&HvsDw&M_Xg<@BqRi+K{}+7lJMW0t@nQ4{r>yh=ia?%)~tBfnl&?L4>K_< zi+N9c5Bgb1q6{eR&nP|g5qxqp=qO+X@VEq+~M04pVA=aGrJu9 zw^QEjeSKf=9>$z@{F6@h3=>n@OodkIIU_HcaHga)w$eF^<{gSmX>W?-3FijgpXcPLQ^3~3G=vg!^U*=VX@LE z?rln*pH$9U+MQ3nl86k}%3ThW56?8u*Hw~|`K`*2l=b_q+I}ycyGv0?4Cy&TnWQX4 z8-)7$yT;5h@v;N`Pf6yGlN&9(D^1Za&Vz9n@+6^7nuiBBHi+K8Ute6*(%cm9mQF@p zx+<>~w#?H#f4*C>@kMhsHMhs+bo==f{`r=LrAgvP2J)&Dj~L`tZ(NVL@U8G8j`jrp z3kvSM+gqXU$Ihq;&Xv*8;Juomv!{MBH$SfZF0+hr-t}53j(E=fU^%Zy$34{{N7nFL>RS^p$iI&x8;#9W(P@7t4F zK8*C+`f_OVk@@47i2U>;4V3a3*9Y{wo8l|Xaw%tB*KG>N>0OCTz0~{_Qq5deR?p77 z#k3ZW_7SEOi@ZG2oj_^kqf&VuQqQl( zIu@Cawya~GKMa|C$+i)wL6qjva?L3i83%2vHQD(BMD}^m$(oSKdWv_PeVp|5HA<%4 zq)%#cLM2^a{C7qX?#yA_bI}9AkUKYivTR@$O?vcx@>{$$X%aW_=dD#m{bX29oosCP zy-9tXjK4_oSg^*g^!R3Tts>juF`dRv-6ESOMfBE%pOnW`s$0}=rs|+yO(c)cG|b`F zT&+uc>HbTOU-pwKrB+<$SX(HCVSUw51Iza-wMj4b?IlS?-yAVk?Q=GNb>Ij+q1D(H z#4s0xdc?fyRCPu-;!VynP_iQj6CO=_iX z?#v|Km}SKKqr>+{DfCN`O1@%7!K;J6uLfa^g7cc{q)(FasJ5XkGW*c)Xi+<^1px*&mX9KxH3c6t zV(!M3b%|!yM||K6wKcNL7l_e!y<;?e=~9_Kx@SZ`c&jU36qre{Rgd{`;Z}IXOWW16 z`aEiT%b7bS+Duh#w{Yar&p37%-Amj~xMGlG_SPTuq>s=|#yUL2bZfm-JdH;+JfmaPBHt6oR2l6x@ zyqN{3541aot!02dzWhsD1!-l5DuRYrSG}26XNed6z1ha=I~L7qgPG@KJ)Z%6FTIIs z+W8k>8>%VJ4*b-zf65`z==W_4*SJ-y0DW}r^!gpm4i8ppkZrfDV(cl)B;}9`3 z=EB0LyVzt%Z;dzS`b^Hg*+e73fvxYGnj;U>iyaqz&sHu-8yt!5ZRW_=PtH9$5<~O7 zBp47t+kjPQJU(x(IoIujq}WlxS@0lWge&k|UHY?+bhcBk2U33~4lVdnH5!pQq-P;= z2t!{9d+yuajWzUU2%oXxyJ0`^Jky3R0#ns$BfCak;iVVKRF*Vm`+QtI-D>R)Rh!c* z={c5C+zIdK#ZQCL_Y$VRi7TDKWLkU;RU7^- zr+Tq-?VZ-={0M<4(*9R%=@b6W&6wpD6cyD4 z=_6(3fxPtP-L#K0J;7gA{XOKP*yJNHT-lMzFJyXoe@k5n-T1-V_|5Ez+q#o8^FN~U* zlrUJcRq|T$vzqd}(4oJPTHA`Jo9!ULsI!;pcKo!)Zb$g5ny1~ehP?Dw5`qo&gyAp8 z&o9mX9Dj3@CZcUeK=j6x{_iNwm|wA;hCbATC6{a%1U1ye+rgd-+1+`sRH+^ArI_5^ zRXqJ7sC|y7qLksxnGBgfUj)G#89aXY{EO&80tUcd2agCKk;D6Qu!+K-BJh$NUOIe! z#-co45B4w3!74?(Q6%;Vki5qO_q zlJBQBpEd)0)1V`49HQ|q(qn~VO~Y0Qr$eV;E#}}AVC90)$5dbV7?6KRz)PigTQDM6 zt<=l$dT39%fE?X;EdSNzdj_P-vtGOgxI*vpUk&W~@nBTy{QeesWI{*cl=S1hz@D4~ zLWmX+V%6K8!4tziKqt5`0O(mf65vr51tDlKizf%`nYe&=8GB|7IKG9~ft3Y9h?ekT z6*FVO{|37SD&qxea-g<$LioHKSf-Un_*kZBuwDay6NN21wG4ppMgToKc(~xW34Sv+ z8~_MqUhvC9{9LS#r(Wm8lAJOn1Iu0TcVIOjx*J4TR(rwt0@#Ps57Xe~5PVs7?5l4M zz99AiI&Ovmh-kzo1bcJvk=W=2zn9@V!`{1Fh0lNu70{&-|0ZlLq+L0T3>2Mz+9r14 z8&JUlXZ{GpqLoZbfC5!#@k?OCptxiQxVG?VFgETKgH#IL@$$t9w8A-Waj%|}D7NG@ zBP!FoA9mKi=&r>b)LV-ve6LI2c;1uwJ>>KgH=y~N@yPo18n4R8mDI}_PA?xTfu&2y z83rHM4<~$&H9RL6l;Vq?`g*%ttyQfHEhKwQ_PPA_*|Is4w+{p%{C<^2i<9f{y$-Rs z(-eXsxgnXL*V+sV0=KPu#Uyhh3 zc@_cBbo`bRB%(yea?KIBOjREn4;e+r8a~t8rHakH!pZ0xk?8uca7Wh0h*JekeZ?|> zbL9G_wNQV)2uWJFc1y9AL9vn;hvTORrWvEhm@tj$@{wz*(@!7;zS6ziqxcQsl<{({BSBK32glDOXS*bs?0SSq9UnPpnA$e& z3-&*1(M0|D9HhxwE<^Q^Fx}zuR z($C*-?pxvrNU4a+*ZbQ(_A8&Z;?iPNbC`F;d;ywWMWg+^Io9~vU-c1K*415aHL#qf zNR(FdZQ~bfpZWMoMlo%Mc0y>gG(1iIwO+20QTk2w7EaIgYp;Wzw-$ae*Cf5UX+ONa zZnh`6!lOtTIqf4m5lIq75Rq8Oxc0-5@pY!qXi{d|o1$?A$!?v>-~O@@Ggnt|BFtOk zwlS%l__h~=BCYp@=_KqmT5mc%W8}h5;*~IxpA89h|Wl*IJ3_`s%~cZ8K##wfQ^%R^n+J$f8QpEa?2TvAw=odoVOX3y^TWB?&X$>5t2nyu!;FEm>>Xyg$aeFY_vGkOd5gu@`*{l2vThJGKH7g9!O}Ls z8!Dd0JjItwut5=%nRa};O6X|{k#+#Z*`q5L`_3MPwoipETLUinI?PY@;ubw~Hlk{O(jpM|RIlErH^V&I@L1&J{*QpLrB!jk@>kzKDb2s_yfhBan!p$6vL1pKF__$TW;UMNJ{T zzTRHnFf1{c?{5~y5uLrOYeV~iVPUSL{EGgcwS z6um#tG(9;#dx$A&3ZEOhNk>jR%&lK$_uN)8B25{tZZQtI$X<-<@bEM8^EG_F+Pv*a z^_~3F*9dkB*(kr9+(618s#q^t9p@CxbF=hD$B)g95`0uaA2ex8@M!rhaYWF)ZuEyP z6+5(R?4fP}&eFNKZYiI9IHX6`F^CT*w~4N;zD{sMleGNu$=obwoFHRpsrpE-^lH!E zu5*g4E$(L3O~)7}$Lvou`P&1@7hiBMXKh%#sOvJ3i)qqo6~6p2bww+4^FS7Z#&ol^ z5+kx^+>Jd>T14depV*pwp1QuIt5mljv(ASw-okxt88u=Zr6`2|VQ3TDZ`+%rpF3G_ zO))d;18a8nar&M2a=BkkX(LPbEt(_C_lXm=2M&H@S8Hcm@aZS%2vMn|lgB1zXWuJ~ zc;B}%}ohA=@*y*gHONmI1glH8b1~RhC|PdZWYH@uQ#=vHC`ie z>S8q8SvNaoZuXVGvqZ!=8-jVUF{2~m_h80ijLm9VRfOdEb;6s?1Jz>Sw0&=c*C(zq z?spX?59cIwM1QbFsOwzp&b@mivuk%0RK0kO*!RVx$gaJi|Ktowm>V zgkrRxZ;PhsD3S5klU&^cq{AEHeVvBjckRZU=K3F24rqt(TXuKvUuid{;`q5@6ZWNG z<$%g-FLjxbB3E-oA$v*$h3R#Sxr5);Mzko%qxzd*LU@2av>eauZ{mjE}C`9B*SzS5IA4M#cL?XU?Qj{LlTAr?Yx! zdb|j)RiHU716YSkz>S@S0?=xL9VjFrAOyN_3GhKWLIP)aq8dR$zza{|KT;92z!QIH z-pK>V7edRMQd)vY66{3v-}$LM55X&#?vyDg$WK6qT^xW=vp4W;9;$c-uS6`b5D1^P z2NSLk=YWB=@I}vr4;D@aW*wX1_T-r=waNo2cMjDhoy0c=ets)Xh~m3-#GV) zVJN2Fny!#hBu3(jWb;{OF_NFA;vC)2!jlrDRh6b!o>a50hg?>=eZQWyUOM8{N1N$> zn{i2{K20~JACHv`zH+^FdYH2?CM6cr^K83}?3T-yWa#y{Z|c+acwzb@sB`zwe|AH_UH{Ay{vA;DyoJ3FxOGohAR)3 zW&C!Qt`!%#j=W9lyAVk^v$Zf?vn#$@Joj&|&SGSrRej6=qWb8G4VYt7J1_CRwTP_j z&W%jy9pA|#qfS+iKs3H7j4PbcsgU8&6i+AD|NQM7sTIGwdi@cTYd<3Gmz(}3vxXAS zdT?OptpYl5PNqh$`RHxU>rTI)F2-6TS=XMl>N?_2i)8E$y2+%3&)o9S;j`zCam_l( z=*-3xnRo7*igq>l-jkE4VXklrd`3e|IPai`Q7O1)7Y*$av?$YUaMV$z+R})MoWs5M zpx&PU9~-{I)Xv7aKC{& zNzc@#JjX5x<6H2PTP_V~1wQKqR!WBb<|BTa>q*#J$|^HP&}rV{`J554?U)!wE+2B9 zzua|HQ)ljFlBvhrilH`%20XcZYLw#_&&;ys`WubU=muPDhvc3We6(`*e&rTw`Svkw z{1c2pi1zv6#i@sN_uk^XP7_I+cH)1vQgoQ7;(GqR+?;30(>$%W#9-lONE)3Q*8#2+ zN`;6|+$@ja(NJ#B3j-OqsyvG*pK#q(!}sNMy+%PkudU-BezPMtxIFZ(kZRrB{o4Ja znh$>S))fkTH5~P;L4_Hf^xt-Q4WAfNw%jP%z#Jn+3zPgG$<0fX)2Ohpf3c~zu;^qR z^=BgF4QOcG8nz4BU6Ds zNMMq1=c2@Fd>Sn2_V~vHg++6%buU?b#|fwesFjr4BLec=FRpQFd&KLM-MCN0U;UN$ zC0~(!CZsFe$=&Xe2opWz{5?lhT?fAUGe9J68ai^HaCazEzH@_)8_aW+rbXp zXN|3#nKDF&_R49PD^oA`DJNy->(7j;RJ_A{tg+Ix%nY}ujOga^rcN=}J#UVV7S8b$ zC3fo|;C81CzJAZSa&MF0Mb<0HTGCt( zwnmS>JQ_XrlN^?RyHWj+8dtXOYNTU|CN1^av+~_kj;Ghx?@MU^g0Qb=%&Xr)jfB1_M26cl1`e1fDh3mN#65}!`&ZXalAqiaEYcP?j9c?Z z(dS~$JN_z9&3eQ|Y4rTwtd91;Yb+ql0e^_T}Gg+An$mv8!9b8t&^eM7b(d(u@uDH@;2%73JA;up6b!{9ZIH&W>m zNp;)y1f#vrEfWtEx@Qq7FJssfV&j_!Rqw~@W*$y$ zPM&W9C@!MToM2XIF8#hT1$<=uc%1jT%HNP+)Syzgl4p$I#?6}w$OMx%yiG2%>pK>g zR3@T{Fa#5t?gp~{t*Q^hWVHPITX`b;0+hM>kuy3MFAH6_Z;w7?XS9#FX0buHpo6g! zAfGCcM{YQMyXp~&?A5a1{`$yBTO{MdrRbZ&kA9XDRJM#>tI*UwzdSDR=Ecj~lyRDL za^2&%_Vvwsd0s?*I%ur&oqzl-tR(coCT(Q;p@WhhuY!a|;5$9?ftX7VUSq0$m*>wv z4Uk-XE2C}GGuBz7kZ2SQ%sWM+nwt+oFf=Bz>i9+tG?U^jmPQ*r-uhYA(T_*zce^i? zMDe~IjS5{Rm3)4sNczRlIECGpI|E~j!ILr7r4~V-_d-`JL*x76@4F}F5B_ASpR#xAN4UN zpM0#?>%H)eI@n&fTZ!B+dnXZdR9!K^GRjTCGoG5|R}t1hq2v6LZqhEWWQs!|h5F3! zRar_G>%4bQM$mFo>nyj{9t^qsTIo4qCArMVw!k*7t?<@~bzAiXdp?;MIUSCLm9-hk zeyyRiM_)6c*f22kJxefL-|aT1>!z_4hTl#}zhZ)ZXj1mA6R=YJ{#*=FjG_KUZc^8V zO;uNd<&V-wU57b|7G^T?Z}#T3Xw0U*@-6%b%l^s3{K6{pu0sCD4+gzlh|l{E_cGb# z6Q4LeDy%mZpd!&@cvvYAZ?cARjnnNG9U0E3I9dL5oAxn7-H@RbrTM;e6D_qe%M`|j z^ZD;NcC`ZJ@ls3y_0zAn4`PB+w)ZPZL%V4BUEPm{l};3(lnN|9mxaRA3B~cs^+x?`;^q}DSRo1l=1tj_uE+8 zYbqxjl?2-9mBxsom!9Sk&KDqQa@k(ZO}ex|(^g?uW+)xY ztc*C*`%G?BcAKiji}p^lYW@|)&-gNNT)X`(}XNji@t#~UP0!E>^GhBgMuSe zWN8E|XfmC+Z>rum45-eTd}d?%d4|{7h4z3`im5*(!_TwGmG*)3{bva-R}&U;7+RF8 zEmFF_G)l41QEo?;9JJzG^tIBpWZy2PNOWo1*O9bn+E)!a8dq*Z3xjW(b7bT&s#60l z?%`TL7f>?Zix;}4pW||O7H4g@uU&b5TtM$!Q^~z4#X*bMx7e8>W0Vg(WNcEtK3y3T zRbHzerNQ}4E+c<7jIm{<^g`rCG|76klf~oFcJq%qoHSLm3r|y;iu{~FGS0B-%CH*F z3c7pma4vRzzPmV`X|V4=D(Ojj9dlu=@lgedfwY>zCae9z)WPvlL>cOV#}=Jm$h|^} z$(ytbW>Yk|mbvyqRzK$1Pw0NXJN+Nk@0P@$Q+JaTr8<0Bd_yA(y31Om5`wE;B=XYDG+%+(L#V^6yNx`$uDHucI07obYWcO#DFx)3-i<{|9fjc zZGzhOg*lp(%WX2%wSi=YZuGxhI?uX${y@bDUW_l9@i=-Tw(;XK<-kDlCpjTspX7U) zE=seFd0ht_`qx&4=g`g>(shaNDeejnUOP7z$)V2Hv0W53jX#4MS7LioB8v%L+oEq0 z_X?PoqU?_isK#q5Wz|kR{QMH5tC!jFgtVjh@LbqU7Vf$WRZaV}?|$rSlxT0U`&bpd z>Fuwii}G~Vq4{`^-y>H}S2lsY_~dl``?M?8Je!`? zoFh^Zv0%dB2$RevbGhTs=M&Qcle?SV7ac;tTL#>m>hppww^QF5#elmL>i&&&^%fVa^Y$@xHhF{!NY@ z8-5|9o8vgABaWt_*I{8|PU9>lTiHx;=C{2!{hs43#o#9Cr|3nyYZSsFC$ox*iJ%N6Muxy(2Q4{NG zgL&-iPL2CB=9ZU_Y1MjN++W?;!22axdu#Gj$xj8wjKO`TnVb9MNv*&V3Ukrx>`fz? z{p=iE6PGV7F8Q3&Yx;f^LM+VA12evZ^vJ4Ljw5Ac4-Chpe~bjt7)jRVdo^iPQW$=? z%;R-FwiE_?|7$rg5h zf+eu$e$Nr!dwEYD1%{RH7w27xL-ssWs@+Iw=jgI5e&IN`q{^CZu4q&`U>?ZxQf9xj z3So-0 z*-*-{5)9pWxT6x$$l~aa@fZ_OkE=1s<{|WGaMOs~=(Sp&Q#-i5O!qOaJa_Np!s&8; z>;ZjFFZ#@xhfMHto(R6G>2x_v@`ykkbC1Yfdw}Z1L9|VoOX_^C6{RqrsVMIB6)K8r zB}h`#%Ui67PmLX&93G;HN|T-H_shQN=Xs^u2AbxTU0>PKyQXwaKRxeJUY=`#;K-+M zYdWjORO!Dx9IS5LI`^oKE3wn4%lE`(twycxcxdL#@_+~a7A5s=qKKGnYhT+)nk7ay zI(cL<$RaPPm{H8qq1e`-_`Oxmg@KZ0*O(7zpzEoc*>1wv%^1GeQn0LCJkNNrx0ov} z^%Yfn)7uw=mO2chI)Rnq9`T8H^i|tcn_qr${kjsWr$Jtz!J|(ZGVCN*rps2B{ZXr7 zFg94<_s*qCKhePAj!qS;N1b7AgOZ;xJlD+Gxp?oq&{rBQdWX_0V&WBxQ~h}58|78A z&>Li-ZIiaGd5#~!4riTE{XnI>kYKtW;!FnfiJvsLZb}MC9g1!@UZ;ECnf5X^t=5yr|lfb?MSd@>`9kSLiTF zS!StGXO(t_9_QxoU{oH|Jc}+eoC2hBrL!PY7q|aYH3=yk(dX0Nvv5b?xE>si8Xid#azdtsrnMi%{4lB zuShk_DW(_m#^2KK^7YRK==xwCXwhB?|)o4m24nb8ywTJyOyL%+0+_vLNN zU1dD6L0iM;hc2XAIQM#pC!Z3 zzU8$=ONbW`2fnu4v=5JLyYEyX=rWDiYn51|TAQAaN2{H=?vP5)+pT8nef$2~s_L&x zvCgr<69q+DT?`6Gi}A@DHsRghOU6vqbY1toO--zYs+T1y6tC~gN1pjT-QIFdmN^g8 z`Lj)yCWnN`)|FWIRV02q|7P%PWg4NsxB|zAe9b#v+U6ISIpUjg;-!Lga_#i!^m_}7 z(*?&GlDp=A20pBF@~i5+vrAg-yK+^xBBf{OLY#10PJpUhn^+q^-q{mCqL#gaH&~c4 zqJA#tt50nPDLqF=(?~nn_5LyW>h6jT%xcCe=~=ZY8=Ohj($=AG`&_lx=NM+InLR?w zpBPzP*A)6)LO)4e+?YnC)cii?*E)hL-7=ldu5Zb$={l3S_)ROtHD<-o3XqxuaxcZbJ)vdDQqj38A4mX6Dv9Jc(h_ z-|xY^oH8e3Avp8f)($vxWa!$B}eCRq3bt^qI$hs zn$vaP_QS>T>XHm!Z3t0n(%1FvE1c9PU+qc1BbO{cUEgM_%h7zn?ue-1^Au^gWb=Jz z1^RhIEp}=S!2;xt^X18BgW@Lw`x3Gk16kefFYMC=^cV`C14_2QeUfm@w2Anuq?-?I zZ#U0S#yDDkZhW7a@0nnqe4c3H>fwdk1~%*XJ3%e4$-|2s4P2~^7GrjU3Io!bB0UU>ZmnI9Oy0+})-UoGjec6U8 z7Rfb(*BYZch8-K@J3W0uUgc)c+alx!7LD>UDvLr4UTa;^eS5cF!PTqNBEc?5){l*$ z16phb>49$Bs)d=!LOBD7=m?)uqdfEadnIZ?dNkd?}CND)46XIsgPP)Wph_HQBl3gh+6`iygCr4ou9{ z_9U5Y?=*TH`Llf`(okx9U|2utZCC7J(fI3#P1^z0dM(qN?5o#uIm;g(CeB>EwD4ls z!v3vD#9=5H6C?|$#hV+xBg9{)4}7UxdQkmfwuyV)Ji>cR7QdZ;HmTc#t?rnIEouHC zS>4=&>GKl7U(eFkCT+|qhP9DkDz9XGL|zdMue-#o*t)6pRQ?P1>zG0J8!=6v&iSel zb>$_}Kz|9g|2;qAKg624lH>Jzo_n)T1`-BrB!6n-SPHW8KE0~tqv)Yb% zW{Ow*bw8pw4;`nL*#w|pcYgDXILqbe`_G!JhEzV5`nG=c@lG1*>LOcPOU*4FB)dfL z7ypX;Qu!139MZugTia}Cx0x0r7q^-6LreEeB)Il8#bk6m&dZhPvQTL_&%*DQiEoFI zKN#O!uA^V-)2xkXOo*gaH8;elEtGBCF+QaJZu=(ihm)lJ{A=$s3*VXhD|=thdnAV# zb9|ej(Cw(Wm3>>oz2&kv-O%(NfDqU>?F?91U>4tKAGV7NVb;V-Z7Ju{1^Pg_5 zl-_IkXGMJER3@3x&Rqdk@3&HE;+Xu0;!vM|U6y|{KH)N3P7pE>Y5E!T#gGK;nz2x9 ze3E4eVV-<(ffv{AoM_^jlY-toQXY3)lgUWIsnoFK;mBHrp~YbXp=YkK*A3q*pC1?d zWZm89aicD`y7p%C{Vu%G1=7sl26jG0a;%l=-0AXG_ z@AXWomG`*qg$^DN$G+UsKPb|XI)jTezIG}AIi34xn0?}XOW;8fNuRJy$} zhz_*uL%(|^<4dfB*m{@+!+i%tpU$%PrK@ zgU+27wL2s;*KhnvKO6h4bNt2Ryct78!KUU;tGwY#@1zdL&*E3mR)w%oRnZMr~2c&<>FhZ*6IiBRCsRV{vHzci6~PYd!yp29s9dXoq57- za(AC<0qM{Dkt%*YpM@qm&*fr<+~Q4IB(An+@ehZj%zL>E_px`?-BVG|dR<6Sf`+f6LS z+c(1rHTqTX&FUpZhUqzP##$hDXzP%PGa^Nc1}4X!I)8PdV~Ha6-MKsa{bg}AIe=E2+Ff-hBA_ypL)`d4!Bh4 z)I2TqB-+cqrzfFlW}sIU@VLBDI_9J1+O2F}wHvnR<4(7mna76P2)_?(d-$R?@3j^NyaXq^a?h4*~#eC;If#NmZM~W9PVk4ieZ-0vK zjg+xh0IJGZGf+}Hnf`Hs}a zx69)6d=4$6S*B(DzUV3USo-h6&3e8UZEi&k&$1vT=%j6yUsrr5U7lizq?Ep9O&Kv3 zAKYHUU6xssH0C-nW5CaOa1n{0g z=nE<%;8Ov8Ewzs&7=btaDJKxzho7LWnC4{IrVtax_(o`hpJE=tJIa5G${PuwD?(2- z8g3!r$38%<839x!w7FBVm0%bCPJ5x7zzzPgi~WAu{EeU;OAGCm6~aE8ZZieP2MJQJ zn+-wCcLEH>X$1)FWIcj4J>B*SKqO?KzzM;3cvB*@-4a_y1jJWSu!33ygwyb6TC7ZzH3%PK!GKQGAv_N&5NJopiRGDRN2maQiC%Rg9EP9T+zBi3a4rP@ zxne5Smyi-;q&0ejQo#;M9>EmGBTo7%mMi_z{cAD4oT`1&v;<(eQ?%1`4Bd@*ni5v! z57kO{ITpFdAS2`EWRr_f;Xtm+5AyS50BKK zYbd8(CZ@LXF8?6&az%Yq`|758=p~|?t;kKo3zRQpt>~;=j(S|1_BS*aWui^ut~e>- zFag0%WgEJ!&#%coXzieOJE*FNq`i?dH-a{E`}V}pvd2Z^nQzwPPA%w^IeuB_p#IS@ zmtD_tdBQuK=P}F5;7cvh$LP+8$&x^DZ2hqzlQIT*?*wnO&dKXcbyrl|=KI?WuBO94ql{cRK0Vv$O~lgtRLB3)pRV`03tb2Vt-_J&K_V%Z%-ChzA5EQ88ESNcY9q5{Rz6@GN-;?qn{m7Scg^Uwrhos2l z&SjFRW+}T6{=BGkrdiNZjvzMa>R5-vMx#^*1GhVBQq)iurM;VVD7wNwA=405`f!+& zO6^TFrOj-BH1B$@vS=2`WjdqGwsyKw8$k+8N#4lu{)kPMW{7}dEIKl@Tli!*-5}z= zx_^hp_q&7WbIjK6cQlVMcl$RKn&y7je`T4a4VQ@;AyXit@9p-_y&?8eo)qJp4ppAHREV_9s!A^;}R-MrU;rtdip%q|8nA+!LG3vIAa61dJ8xboWP3PsT z##moV*z3hjZVazi^nKht=aw^w`7{{m>&J}JNudCZyR_^NVMM?AWAM_>7PXn;eFp5pu%&*v|$KViO)H8bAnNj|zGO5}sba3uU9W zAj0#f58y@+VJ-=_C?%foBlf`%AY{Ql_yQ2qQ);JUQYxStAf&^-IX)q$0#*S+M(kUI z1ql@}+(bkUiX{+=6JX0U<_Wohr6vk0Fe8N!16?Q!@hI3Orveq;5k7+MtA*s|We{F~ z?o5U%8ZINb0rgK5B*1Pnbek`K9-%7S0?P%epaLrj2+`0rst~c+7cwev0wkm*`u7#x zK)3+65P5~*23Q*iiGcbR=uZK}nhC?8dv>8_Q)eL=e=BG~#Am`;YzuI+osa>m21wFN zxCdiHHi6^@h5HDL;kFP7KS(-ANDj;BK|prM4ii$MPC0{+lG>D58IVO-8Mt8IFT%as z*s_1XITelzWVbF&#vW6k4SA{U$w}dKG+bNJ> z*+Zg+e}M&49}~eK0u58d+yL}S3|{dd`t+~%z}*h$zH22fA_Q#0sUQ#%lqrtYDtD8Z z8F+DamIxW(=j1UGc!2+{37_+>yO`2q-XfaD7W4cJsqbONJs zY9I)C|2EdE0IM%VC-<3%8!P8cCZrx|7X>$1@|nmE2Ar*f$QKq{w1uVuOv50a5D78Z z-%E4|^Mpu50mE(zCXj7_NE24zv<%D|BKiqOPs%t^3bq2gJVn$2%Z8pr0YookxZXSw zw5#gW@BfiO`h!RX=7%L7JtfXwBkF{SS&SitBDRUxuuZWc^YkkP8~AJcugZR&2!3Gc zD+N7R|BEOb>k?4?9Kr*3j))vW0C1#05CLZqh*m5UNNsLFm;`|?Cr04IQclAigo?=E z*IEV?mVy@8=!fp%jiW$3g#GxBSFr6t87c&H?d_>ekU$}T_M&T(vqWFK* zPWD4nGv9B}-)?v@BCf!wLL?I44l|+}rh~c)KVZs;K!8iEi2HEaztIZmhXS9mBcT0j zry{X-L&W%?Iw#@=Z0*#akSPC`0vv*n$rVJj!+jMif^HbPtiE0nu?KU4BX*kz5AYp^ zI`*LqLJTV#guoMlwJ3THMUC(X1vNm3Kp=s9c?2v1#&QJeK}iY-9q5{OsP{o(n#zt< z0NbkG648f!(-?rlGRF#W7iI}TCIDWrMzF%p7eW#90FM0>xPapr1$5y%F8mz<3$7Rx z11v!ZYQSNP0uQXSLp+83^f$7hXgxv@|Buahr)u~)B8p)$2q`h(`#9uDuO|o`SV^cX z07e9x>Q38(vi^uKFe2)ZL=ciF0_z5`5(NW85KVCHX#j&zC;5}MPiujz-=VPm6^nf@ae7@2}xM4pT=`Xl@t6a_uS2m+wyJ%RwtNkxqR z!%7USeUF%h?t=fDKTj105HnDYUM)u8V>!pWLj!}bBr%K%;4lLjE?bW1{#W_a9?k^x z%uq0ZdX)$VIBi4zfW?Bxjep|_LP-=znuX@_FWM2%>Hre^AMU?rA?~?d2-5$637F17 zMiCDppuZzKRrYVEXF9FG1-{Hd84ELv=z=|j?bldS#O5JW5+)Fuf4c7}dMxvZ3^+ag zqa$!MPeBQyR}qu{Wni)ZF_7Lu?87bKba(1q%L9bpe*wO*2ywY^g!q%tu%0}@Cng4x z7NOkV^&4^cAGsh@D+rfC0V|6&4H}EMf#f9$Ixq)C4EKHDZy7Q8l#CdF8~j^#hnAQH z?gaL9#8RhBz$`lAA=nfsLb!oK3u1h*keS#9))?xcf}j!`u|F|ZBIFisAZmpI1<0*H z`GiuCSO^mPr)DrUt1F&V=+4oK(Nr37zZl{8;;N$ z6QH&UMdGiA#1CL(v4)ha%Ym7I>OtPqR9drhZYdgH8*?bJz~>uR!l#kieuBVk;O*tVf@&5Fg)H%X9WdC*~d=RSbgf;tj zl8R-zb{R?Vzehjd)E@xk4_W}KBn89ekRn)BKxo);fphEMl>8@9PMLsqO2{{`W*ahO zkb6{+=l@lrUKPmYDXjuN_JQys|xN6V=d z@i>&{K?gl#`=9aapZP1)00}x+Bcoxoo^nA`a9Rf>2iA=j9gtZt^Hc0WQYYkHI7Mlc zBZUA5JW2$Z>Wzec1pD8ElM|8_k$-+G0}?G_iwv@+m;(UC0pFw0~0(wt}e#`TM^xV~tdtK;i)$C`xM3 zx)1pkcGf>o0jIT~<1jKA+g(8@4ZMYY@(&3(GmA`w!T8rtd5cJ+|Ixv*8py38z5k1_ z9SJ2gZmc8C|G&mWY$03W3hZPSt1b^IB?%a}gLH+hgeP*4<(cw(NElni6Ql^-$^P*! zU_u6ATZxCtg2&PSfEGiF`ZMJ@U6TXQnw%U^r$wOwMp_iy02@?L(Ga#nVl&Dq0cc8x zGQesGLj9u#eu74#uP{b`^S~c&!jzQEUl1<`I#sW zIFkP|q6F{ep{8M#{wj?C>KQ31K@>;{Y}%QIw$gcNDxj0V!utH(?bZDPr(b>;ej2)PO&i zP(pAS=L!m5NdV_IP@GsR`8H6Z*oU4jQU+j65KV(r#=(WZcATPMzmH}BlDAN-{~6?< zY%KzGZJ-b!>n6$+R`&K783PE>O8-fY79`lF)WCOcN(7)xP67L#br^l{*#yjNzrw1!hr@w zDu9%L6y_9A(mG3sB+#YPZm&U;-yv8tx1K)^1!uQ-ZWYXf&)VG#pa_toe{4ij`;-kb0hy z2!Kc^z(*qJ?^wN=bGEN-~Cf`82!)44ye*rxe2|~8< zz|zc${&Eq}gwQBeMq~beEl$xO1ASD`UNHKb0}!^|rGM-Ip|+uLGic<1(D;Fd-GW6D zT-QPi!sbK2G)bNs3F;c7i{YYEa{ngZ?v0)nL%@;u9KQs6djZ=szpi(^mj`E5a1ePpH_ggNm1-BnFt?pkbK*SCrC%MsLu6er*2V6+pf$B>}jY zjP{26>;LQPE1D){%i^2mnw`{$hGY-Z-p%$+-TuI?;GP&+p(ohyyW&bk%GrXr$a+}kN^SYfBJ zxb|YBQLgB0-o|vur@h`{JS22uR?^@#J$NY%r5+0N*_F`HhdK+Gu7fj9R{EtJhWGb- zjU{=Vw4%q2yM%o1#eK4jAzJiFW303x97Y2S$E?iEfsz6P9s}2?yAr$Uo!e06-=>)trLw!stovo^RQ-jK?ySC(&G1jhO1SP(L zOMQA{+{SolSiZ(@3Vh|sJ7W(~p4%nq2x5Cu4OOA3{~GUdCg@wX_H(^!c>}Qf^C3YAS>#Ai1m=xhB5E~;{@dkJui3X?`ViLWO2P+uBjp9R0J`_|7bAX8< zrcc6vSPGQa4u+e|;$Pc{LVz29kOltGzC08Y<-!G{w>8dg$#wbySO{6*AQj z2+ps3VH-a*W~7!HXG-9Wp=~X0sxMgOC}nEsq`{0bCX3U*H_Ms4#J{4Kl`;9#l0qhT zEpJ6rX+0uLTTsdLUKouFKVQS-@5Cx^ZPOk8@4RIgKHx}hWNe}aYt`$SD&BStn<&D#6cra7Y845n>qYch%`h0Xo` zLI(%kV~k zbr@)p8)4iVW;Iap@_Zw7XSczoC!%xmg~rP$i@RnXY4YLvY1mPB7YfG@dBqw`3pte7bNWltd%~zNvaS0kC#X-TG&m=R~m{tq5c|>@*-4v*$Z#3N$B=EXo z+UCus&HP^t|E35%b?hUwfE}h7dmS;Q*l7x78f#;B%C1SA``M*tFIw7C4W=u*O-Fd0 zY$LEMrKFmn>^_s1c4m)hnvl<@k-SuVOVr}WeWqj~1|A+vHiRdIWtyJ;4|ZDoLDMC{ z39}DJ0Y$5H*yJLr&1#~-P@4puZR9i2`Bn&Ni6>1hMZiQ=;7Ou^jTe2Bz<7E0`-WMN(tedY+*vi0_Nfl*jL`T(kp11k5U|w8kBykTrs#YyJhxw6cPe&uz ziic}0bDG6LF0t0uu#ov6^t2gUs#wj-++T3Pt_wDbyv0>tg)B0VOQ0=&%d5b{Uw5y|J}9zKZ#S-j6L5-UpQ( zJqu<$!$=NSH-8ZJaI_Cde0SC|HxR=NJpG)YaKt5MXsux*^8tHjD67?OYBq}cpo8U2 z%VBn-F{$R!B6|J$UH&_N37yU zdBkF`hSYlp|K#=SmzM`vW}o(!EP1*1_uM1w9PD+-(2j{ z3ucRU;}^59uoNR9ka(mGM$KY&nLo%~BBmmzZIfw!A=G9Ap_Y2c+(#6(O#oa8!tLkm-hE1b1s3v ziWRE`$kD=oH{W$KBh!&O48wFi@rrr6K;TA^Af}ev%-%b%ndQkX=1aj^#tn0&zCd6gj;5W%F;jl|(A-48_w7!VV(2rWyooDzB=_DL>Zt5`g> zqrR48-U+n=!4|O@pkbmVciOnf+h5E^Z9=4_kzl~@eqs8TQ<%r5m6w*MfMuN!$w_X- zSe`rnC6vJ14}~qeM3=`17eY@9TddlZ;ug6%;pm1HT3P(H)KZp_B3_~jsxS%WaUm34 z(efKN92AYvLJ}MKCH@gJjrs%E`~;p#Y}k11i0ItMi!%>1*5#$>n4`T!ZMh~J51}Yt!!qIvnsCj z^oeM+axE+mII$Md$};WSJz*;qjkfyfcQH}AJkvwNIyzAlM!@gIRnV}NCihXdbhPx& z`OS7~E5^{5Zcl<^EbVKF)&_R9gb1t7>tT^=BJAY_)4{P8cTT5W>t*?gTU5iIFDvK&|Q|OF7Xrc23&b zsg_xyEb9T35N(C2XJW8wcf?}S228ieeF(&iV8T+lDSEg4H&b+JbTZY!g9uDo?LuaO47 z2p1m0!nTI}o0dX**glGk)vcGf?{nnW>Q=c$z?Zr(sjJqemUX5mz{5Vu`)R09A14@! zg=weiTICrRri&3YeGyi^Y6I(5=MKT_`o57>?sxE&>Wn7VY%3XN)?f{AKhaTFH@C{2 zaz~p^O~>APjh0rq=3|?M+Ur)l0C1)|oZe zvDT5osklDN##?;^ldV5k;{_A8GSa?Iu=)!Gsv*x$Vg6uk<78`NLB|<{Otlsf7HKfU zT2(yF{mJ^1nQKsRxmBD)j$3Y(!(qdf*0&6&RbOSj!WY*Re#}~clh-|FEzBP}oVG@5 z8ON;R(v60H&kMU0zi1U_SA4}owJus?w0)PYo}x;KO1R(ryH%X-Xt0JNoD2-2sKaX2 zOM7s~nosm-RM?mDBq<)$!5x4@o_xh}k`r8XR)1r&5VM zXnA@mY%PR3XB<|7>CfH@wtVnk?mkKtPFbgqnOp*L&rhtZ(x}BmV zaa6HX2x5@osj_&M?IF0Y(v;Km>#H>6G)MbNK1x5yxm!P_g$LAYI^}X&U@^Los`%2a zezHxJ{z^4ou2p|oo8|qL+8pw#zf`2s0B~aR=MGS6@`qakr226KLChL?_&}i8!?A%< zN8ds6q4OYU#ES12Bz1HhEK%PLmQAs2u$2CEuvEY75LvTXL!=`-7y^4RKBb2O#U5r1 zmBcrP%C?OerZnMdj2Q;bj3#Rs+8+;^Ww>%iG|t@-N^y?!A1OKZ7%45heI#0n75i_b zC`JjR;C>7;aTN4m57$Pa^6a6|Xlc8Cqu~+^vVF9a`o;E8dyKT^yfI1zPIK7?2_Gx@ z^c@QyW5qMaN=q5XNm<{IlN$aqPU`bj$ZZ z{{-2Vy(Y*~yKNBTM9KNPiBg{x6J@E_6J@FDlcb?$Op>T;lO%D0$&%r~$>^2r_0Qg{ z6I`CGh*v`q27<|TisH|4;ZqbGR)eVR6e)G(6sh#TwujnNW#t!7l~uhrRmzC_QCe!$ zk5Z3QKT6_|X-YHBdEhju^r>lZ3MMOjy3&F_44bssf;L`9281J zv}ZhOrAdKgdw67fC`l6agYDsx?ICi$%{KF;0S?TUP3*D&-JWr-hX)TlGjFi5UFQA*X~Cik<-=&(!nvf3vVHLQL zuGBO#MZWaA9O)KmFqo1k-x8&C#N7$on>v5pC*0{$ufeb_BsU!l$sIu%OO%)#JLuFB zMZDwQ{-XLgU=3DXDG_7uDcMgB72l1iN^Zr==N65OvK^0>hZ-DN9?w9`9l> zY{+FWKm(_rKPV$ZDawh8_4VmJ*4tqCH^^X!b0RSq*3qjB1R_?O_@$6Oxt@?t``LF| zMlMyvM`WfkT)_q$mxqooRrvRF=q>|qY0SZ;$$f(2&BZZoNxx5C384Lw=;;K;c zGNlX`w|E)KF6ks$;+sQW)P1)U_nP5050p53d&op(f0np2J7I>~BWUY#wEJ)ybn4H5 zT1L{LRZ1A)dqe?r%Z7TvP&Y>lRKewnc!xbhk6k{WQ4;D2;}(B z44<)H;PE}9uyEG0W6ei1i=$Pi;a&Z3ofW5S7NnV*b9-~Eb1q9)f{W)4rjb8gUa5rg zwuo|zsX9NvU@#Xq7z*gPM3ZHeQd+3J3Pr8wq=KuIC|>kIli6KX!w!XDhge%!?N5+Ale^8`8Py9JlGkOXn~3#p|uDOa?==j!$nGiRblu z`+L>3k8wM2n4iH=L`O84mab7Maxr(-K+NgCxEPwe7N#w-Rte{*Mr(mu__rNZkaPWG z*xz}E!1=2|E^O}flSJp&Dpfeq@-mj6KcKs|sADjcbRt2mspvYT8aGB_>p!MsB5ea9 zC0@LaXksI}0O7P{of5@KpN~t^7NUcXMoa5kd3k$A8bm(pv2J4BJa#>_p3_S}@m(mD zdgJW_&ZT{?98a%%84Rx=P~UHR_80W{W>g60a+7gMA1$DNj0Tqi8>BZ6OH_laJeurk zNKNjQ+^Kt?f&JrBll%4W-0vI5$kTsx3r|>Kan0-=?mNYmN=COfvf?KfMmzbPK8=*QvA8?eoNRG*Abpu51%8@ zx4?#Dc6vW**-!Eh5BYpDudl(dzi4*n>wH$wzu%-3;I?K4&GCp5H!I;>)P~OYQ)a?1 z&ZFLX=k|R-l{YI2)p~%cPFXEQIe#f3pROuz-w1kqUdz`}b(iRe-%WQj7$%{=>iw?L zCqaM1*UdyvKS4<9OjX4EUuM)F{tWh-_f4>fp)p%zusE;mSf1^udY6gDeLRDZaeN~cM-cR;6PV-zg>4xLVKh$6UTQ(4!}t4Tex1yN}1xb}O-*Tik9;VxrEvQKfUpyu;>V5o{WA zzid~ZMJTf$zu5xqZ*H{vceilI+>B3PC;aY4%l>flE2N(VJioX6SO>IK3k>aXIvsYR zfaM)zChn0DZpiaeL*fxgyT@d&e*fDvW{*;gYxdyfn~2pg&~K{2079pqzyIPK3(=Q7 z($+qEQMq@Yq#$JeG1By9(%AS;NUM{W89%6;eZ zl;X9h)*!ij8H>Tt0TVjCW1UQ*L;Iy=7tgMfaRm`<5@IjLSErxG-@8+vj_yHJB zt8Zs_1F=ZO9f++PU556c*$3qEV8a0zeOV88+TYVXoXQ8wq5M6-x$dT-D89rQK=GN1 zA1_}!6Xg2`yVKPn?vb240!fdWI%i1H*L3JeceapH=~Sjvfo&MLj2}y1Z2-2ZmTS#e z$hxy#ZX+Ze1kHu9)cYW|bl8lDd9BO)ag^hb;`>cR?CG=q<9!&Q9c*37$q;b4@vKBO zJ}!K!a&O5)VEcorqK>L>+94&5&bGyue)dmr_vHLN4VZPJxpB^*d*2hj?DTVJ0-Zku zok2xU55Y8#C%C6ga`&Z>!*FT_jYZ{LXdcx*jNya<*zSpc(=>NOO24k$(VQgl{Y95S zX|(UKB67X(dS|531tfDJ&m)p)`g*kDc@7Pr1~zEhBM_B~7;OYqm@g}0Tb{CtB-FW8 zvon0AKEhTZr)prrw1gEa%Qf^l3O?b>7$ATe{_Jj~q@z-Bdxl!MQlRGIpK!*ueBOi- zCBW7VY|HD|{;^(=+S1EJask1|z-7QDJ1T;6>32P`<#ky65kf_N9hXBpY4$NiytMW! zEBhvsl20gkDEx$yo7|3LCyH4%^f*wj58F{D>T+BO9$dzJgWs!W7my@!k%I{t3w8EI3lMUm$B z3XMT5$buI7Fp}dUql%#p7u;R>s+iMnY5(b;``|haW%LT%{Edp9#OjAtyYER+usV|EC~gNw^BfkFbFXbv60pbbU}=*UqX zK6D^UI`bKZ^4TU(NXKKPSEHruNj(nb2!_=&P&Z8eoqlHS67)#b6HGqmB>fK)pN8ZC zeKZDe{V?aTPtYTmkIMOTt*)Jh=#iNMg_J%~yv8lItV!`gAL8JEZP4pyz`L!42A@?5aNftdnt$^}ZC+vps-Fr5o)Qcuo>dBR z(oHYAnvTQhx8VB~bZRU-FG!IqD3~uRcxCdOgTPal1PXbB1ecbN%68h1%5;Zo=mqxq zLy(@dk?tzscCk3DHxBw$)(NB=jI^N#_lKG(e|4qv=M`UzH9pE?f}+#U)j zauA8OFM0vc-=7F5at}G_yojM%ybvhlA&TZTcb1Khemnj2{fm(X(9*XaZj^9Q5x2PN zUIdqQ5`|nv;^=t`gZ6(f3Luk@D?Pg?1=M(yb6X%2hM`aOkOIVkz65<>MZDfzfA z4Ql`P%PMGa55M}pd(>T!@>EB=E-B(Rz}ZVmaE>E1`;wAB&C4^0VtAQdD?tQ5-`dKlwK%!HX(fC$-p}Y=$mfyhdlOj;@zDU)>SaDBCWvIoz z0(IUGTG*w0G@fZzA5wxKrJPR6kU%>cpg~ua z{G9D~*A7n#gxUx2tB-fv$}rLdPPJ-()kW7KI1yBOwLvcBlvaa!=YR@H$YlI|i|DKiT|iQ3#v?fqMFa3k3b3yK=s~@Gb-%SS+AO zpCzK>)v)&e?L_5!L#W*@m zr|v;?`c{EL;w>?Ijk^!%%N+uWj9VgJ&0^48y9D(7eHmXqFzAs(0*YK)s-rpDJ^(7= zSAjy_E#Wnp4BFw0fFj|Ryx#N>Q0+GXMN+MN+%2XsXv`Hml&9JfGl{kz+pZ}C+x~9K zKHsf%Q_v&%RwQq_tsDQmG#I_E1xWQqdH6t(A}5z{vj1PJ!?^EN0;>PCqrwj7tnP4bIsmz>5w|LK3UJPi=1Y6q+x!fpb4o;v!ghHY&SHmxS@EzJtF@ z#hol*FeoJ@ZLLyX{tiBYFTkfoX^ER&23hIYW*KL8xk#}Qtq@AT`emPFJS!^;Yec~hVF(hM6I=6VZYA}Q$= z7KpE3%5G$N1shfTD}RMS(h#`x zqf4i*oN{3|B=xeJb<=C`nA4qOp1zjB!}JEgO+7iV?i&eAWxzJQIdH=pIm@sgKncty;Swoy1ru|!>whU#c z%C!HjQk++Fb)`}@Cc*D2!~d)6+P&upM%sioXz-UJRUU$3G#1DD6;kKXT!jci@-w`^ z1n(3cFw=a$D++AJ0t6ddPCsiW@&bj){I_hvu)k529@Ax2kPz-So4L3iD+tq*06HN=-RXs%$RME{415r*dISBrTGviD~D?e;|0& zatVG67Tghi{snmMDhd8|wHMyhwbl8=xnsFa*v@#LKYJHWUoQ(F1Do)}8;pBDmE2rF-V71Fw3IXrkZy`0_&1-u@u3jecP)R=nomD5~^Pv2qq8 zeH-t%f@)SqAJk8fmw)B7g(w}gVJvvgUUK!`3ee?(IQ@ptRZ9J+6s9~b-acduvu%`= z{#d6Gy7hN(P(AB=F4XrUdQLztZ-qB3?;};)7OyrItW&UGRY+&~*{*{AgqydKGCxU& zKKltht*4hjA@!VGpMC~3-N>M!Ecu*xqi7+6Zn6p}GS7*ic=W}FofqM$o8hU|bP_Q* za|TF3SAc8C{btw~aA^=MP{>4AgzFvf_DMuOe}lmj0bSo~Cx!`9TUt6Rr*FIXz{R;} zHE-BOziRU;E$GL5#Wpqz$Q!>xpj$ZsWeMi!)mK^jFAP=7fie?v)Hx#8ygr!A?@qLr z45R5&<+z%(yJM^FXqUZ^uiuJ@t7WHmBc!qmWL3}Q<-D0%IS2T<)T6O3YB-I`ft_up z=X3^5;LswJ=z=$dkmgR*wn?)UgEzowKA~kR>ufx`KI6ja#mr`KjXTdh(D<{lPp|Jp z8yYfFF-T>(Kvtd>qO4y|HHaJa@{J5@FH~p{rlR_wQ=%&)jV9#B^P)YiashQW#f}Q0Szo+e9lmjz;X4c$c$QU z@a`7RH~0Ap8&pJ;(2x8_N7@UC+2ge~c^|Q}!J%j*{X9Gx_jYotRe6mMXQuys7gQ5K zrJo)(n!u>?()5Ym-r|x2>%A`1Ojmw_h4#Wi`jK|#Bf&rW%9W6@PYB>eM=-q4Jcf@Ug z7=1WB%@Cd~e7C0uSo!}ipYPj4RJKz{ zDO&zmuj4a+gEcq9PWphe?WExP_*ZY076r*bd@I>p;}Ph;1HIn$9-R{OEEl1p+W$4~ zbgmWX+o9_E!M^YrLEq6^6O2 ze^Joeav6%Qa3Rl<3jNS)R=_Cw7ASeei5}Svg|~4>T;~G=d)&0+aT%Z8^kL5NZqCgg zyTJ@)p|76b#`}UEsSw5Vo6`>||FUTe|E5AaOIPXD6CKh63;GZzz8J_l z(Xv2Q%w^97q9tDRq340Bc#EE0hjD2Ucp z@+=^u;lho}*Uf{RUHA>s$!j!>wg#(yG-|kytGK`bgHxSguqiT}v+<|V!E%cC=hL}= z#UVnN;lSZKHXnXqY{WFV!jpXin<4a%huvd!RD-9{*I-rTZzJ<`E821qAoqi^tr0{SxiW}rvaksV} z81#?fH`0j)XD7e<(C?>wqUc~f8MPN3h^on=c7Jfx`;C8=55=8EDx`Da(s;MR(V*`E zww&>aq=SJHTsQ(13cE>lB5bi4mpxss-=Yfq1@6tdf(%`X?PT_Ty_qXCTtxEvEMxqs4)+HEVMXMs<@t^ zraiKwa?x!-xI2DksOOLED7=gL6dk2Plq_18-3SVKW)~=KsqlM3A70YFC^dlF+*v;? zAf0|9U-``2Y78KsXvwhyt^wz4{>q0M6;>muO|)9C0@~^y*gPmsivG^^$IBWTxgsVTwRNHwd}Z`?Xn#J* z<#ayS_(U#RR!EIR7T8dZ;Xbf*@2hqHK>xMSUw;%7i5q%?9I3$a%V@bQKNyYm|J zcmWeb!y8t%Vj=_Nr;@R>Aoc=JxQj^g`U@c^1EYMeucyscm&ukC=ZBRzPXzo`> z@Mo!VscsQzk`6_nWs!OeRhCB8N5+kPMPvoC80u}3y_A`IF*ioRIH0yRW~dlSjg!Nq zv+aVN|1tQtrONSY2xX!ha0X`?gCq`(CR4m*aPi+kHKE))7N`f!Ff(XjE->t1(AfAAQ6CexIC18!=HpdVjU zjz<|q!6j>ufFcpExDPX>PQHH&LBWUk)z9X~4r8Ptgw(uY4j)J<1}^FdhRR3VZ6hE* zSo&oY6)mnt@ClsrMEUy})9<;V{^`)Oq|S(c@e*Q%{OVl6&NtA+w=u%&soIQVeBpyW4V-c1$^CX|p27L@>l3ey-gj&^O9j`N8@ zyUY}{NdD_aNhM|Dwr9ueE^~xLjjHIH;r%)Xd0ZJ)9A$sH@+tp7kWN5*RM(Mj+h8O2A|x4( zqP=CLuBXaC*M*yH=we*%zZF)Vje%SXnCbVFH*B|2D)edxI%-Ai=<_mD@|A4-zlE3h z#a0GyrtOr%`Ms#Wi|;;?hcc0V*(DFopKW#qk%js!26wwjdzXWn8GCFrJdv?H?_!vO z`0%GFZKa;a(Gi(iypPu_5A=iM98I^&BNfCBtS>ogEko5kWk-oa5&i;T))|VZpo-0r z9u*&kt%o6|W2DgE2K#)5idIw$;YK^sOy9O$9Z4HsI+RV>enUI!H$T)1j6R&@MHZ~5 zc&|ubi-!6Szj`}Axy(ot_<_LV({n#f0e$9$ZqdFx`=1 z_A2bav=YHG0jOTr8Oo2^B*;-`*8c4u*MapI)J-4QC*KftLvrPC&fq0ukbYZ0Z{NWP zXy@Is5>T7&3Es%EEcRSBGH96xqQJ0+#vn(5P&NzA`IMnzsB@z1%x-UJDs4ce9bURF;Oztc*avmc~|wq3`^K36OnkEm#Gb{ruKQZ-S9f7pa^TF5!8# zW;^zSdnI%reRDPVhtozA5<7eHjYDqPJK&R}3oWYx2_aSGq_u#{rMdgzMHA36`eT~j zA0?MzRiz`(t_nrQf0gQ^zM=tM0qk-n2VJPE;sy_rH1kBu4*#!R4fu#$+40B;?M^Kg z$@ssJQFDY)teq>DVdN`qYqU*}l<&f64I`AKH@}^g6X?4|) z8)G-a=k{^JBeQfKhtVTy06)U$ga?0j>QX~G(Qt}$s>bfAW+@(8u+>%K2PJoRU{NSs>N0A zUJL%t`3hb!0M1&}VMsiU3}Xyp38|~y=;~r=`vI}-k8}p@R~!fH=cic_Lg2+(YC&$c zFSQ_WK|aByW^FmHwXF^4;{t*1(E@sEWr5ip2;645D!(MPci)qxaRN7krt z9XRQKbhkFn2gbx9596RZQphx5Txt{%qNl_mgKkKDIVQ|_acl1z2pRQFh1VkM2di); zxB=HEF8R>Sw;)~e4e9$5f^>PbgCR}a;0p1@Fr$iKdX#?}XPdUYWH zxx3wH1dPF(=tqXSS5u%a*O%6N%Akh2465){-c+)IY}4chK%K28P_|^=Zj{kLGTg-Q zyXp)4tp>JDQwIIBrGOS`D4`7+0(!8OfR4gHT&2YfI;o9-B9FKmU1})({wYK4?r1OI zLC-sxOpXvnbT&aCm{27@fm7B)!J$ef~a&G&u#Ne^KWxOuE8MG6va^5@p zt99Wic6x6r(Ma{>TGnd>RxtwvYD6P7fOCl*cS$*io;(q2Sbc9kJkYL{8_Omx#;-Sw z%d_Ej0X|fuv7GT&$aOSjA6(@K;%$VkUj~d6^hg2jK_ePVU;VN_Q=csnksFnx3TK`(!JG^Pb)IR|gPxF3q(%3mcHc>q*LOfgE@#|A35n4I9H`z5b#)j;KgQujMI2?qa6GpZ%_R7q5Fbkh}uv^5VEl@EyW|bBVVOihBnfEY;dURgTm0Q#Y@7c*P&%M=jnJnL9 zHqDZ=Q)oMz#oD2KZHem8PMT#pgO2)L6hIDmaZ>h-LC52r63M2L!-spd2kPNfJIbAq z5+3)(Y+|w)ei_~|v1{PkK@H0Q_9K(IacT%K7m^wLEh-*nmRQ zG5i(Lbqw{My^u<0I>^R)yspXBR-iwOI9O9hp9k-}@MH{D`HxjmhTqB_f& zas~DZ)izwrl3cxLY-f2a!{4sLH#&ieqC1@>uUD)z9o(oJp08zy7z$R~e*XX9_$yKX2GUz(6F-;Zu|lXZR8 z4f-y^+c7=Wsw{WDm^1hudmqP|*M$1&?_^!a+cJ#Hp6;@F&vyrdfAb1x_58@Gj6{e5A; z60nTLsNY`4GNTA9)|-3Gg`UvqR51pKA|&tkrNUk1Qlb32+2M7;z=UzFijKixysX1& zhQ$7271Fk9)}9|=##%TF(a-#gm1U%*2&w*E9Wy)+cQ%_ShTFE%~(F-fbzNTVoUAGt?%Kc8>zf#A9s z&8;6pYd2t|Vhmjda+lyF;r;kPK%m1G?~f02eF2p;w2z*FdlR8nofO&19a6xhadW}N z_7MTGdOpZdcajAPUl0&i5`t0z-P2V-@%aD~wO%IOzD%)gNgJ5yp}T%Jv|fr`KoEtc zN&05vOKHPU$J2smYDj!>NVD0h=0LA9D=9z1HXSK2o%0t z5aeLB=k=3+N}%o+@vGnW*g0L$?3f$|F7Ggy=GFDa z!dsd8zU+emR>vELzvjs}!j4n7ql|vDCu0Xy9*S-IU4x{@o*e|K&v!DY9|i70TicK5 zBL)K%c0d&9G*}iG#-P;>3bFXA0&da|mO=6wLtQ;AQ24HbaPin7fWAK>pzVgp@%s!e9+m*C(x zwI6VvRi-Qtej|rMtpgVsAe{CLwS{R0eRo-E@VnWYj98xV0wKeI`t-Xn2fo}O_8I2g z>$|%>^kP?_^Xv7xBDk<`Iiy`PyYqz(=aj`bjkwM@wR*&)z?utDM&AwJ|0n3trdGqvsA_|Y=+pd$?rBFi|YVFQbaYK)PQt?d|CZD5Fn zriWU>Y0(&IuyqXFIKm?8e{YN`wpc#{>~bNJg2t-FxPLYr3&8Vy_PUEh-epPcI&6ay z51~Y~PKiSW8EG(G8>{;Bcs0KS&7TUgW5#i`Ji%%{03gCTSJd^(29iZQBi z8b3}}XyG_$RH~$?Yll*nXvf0lGf+7nm$9UkvxHH(@v^G5$D_d4^3-L#T7>VS7oD?- z=0Z>~8d-nq>|F(JkZ{Mw#gDl&im>DqRnfilvFW$UtfobIC5v8dp4A%xxe(e<-}6^h z7mA**Vexb9G*5+zT)Nd`4E$(6{%|gfir4dt8> z+wl7d(m+E2b{UssZ!$Obu@4cUE?=m(wi6^wfT{J{Hb)u@W$+CUPddxcp?F` zga(Y%HB0}dj6Rs^OjLdONmAUBsPI!vc^E5PN1B61O_aCTwoHU-fh|R4?o5=yi6zK$ zS<{-{%v440P^YVy#IDV_ToFk2Q4bR>og}Z$Y+@+CHoP1|iOY|HlL2kn)(#b43!xE{ zWe`isF(Q?%F1MmiEp&>WY@fZ*Ka=GSU*Hs`;`iC{Bc{mn+@%a3&?P$_pD4jdI#o`H z{+{?>o_R3QPMD~XPV)5b*-QR7RgPdO9V-6O0S=*I)}X)tv#h66A$;isS!otY&+z#X z>U2$Y!sCl6F^-qJc}BB}qZvNPv53oJrTR@hex(WqZ~y|vrYG> zkYzS*?G2xBgowkOS>A;7?wbg8)q~_{j=20%Y*Rg6<5dX z-B7Pmi6szx2ETec9LKernQD2?C2kf>oJp_2j9&kOuRqxj17`u_GE5Wvu|SR_^D)Jp z_qv;9s{MN!CT3TS^e+Y&$UIxE!h3Nej|yI!K`_-fyZpk31yh*O*D6l)s=;Of`asw6w4hJ;2|TqoybodnR(18Ndq?L-K0Tmo&M~R_2`R}pEDndXT3{CnO&5*o;bbFe- zw0(v#FvJSzmo#})6hnZ{C~RlzL)}P99K}#&;spxrBF+o1GiWjn;h33tm4oKXC6IZY znotD|Z$ftrhZ{M5vPueieD+4X4mP>as}bx9V+rV<*FlG;);Nh{tnoD*v90=KJ_M$f zv#Vhwd=JNs;uc7oB`g5Gc13|tSs=&kZdH3+XNg6g;8#C6?NvpPa@|)}wVJ8yYq{pl zu@J28SGD7PDX_cTCb^t*UEY7eD?dV*p5KjXf*#(6s}l?5SnPT4Qc8Ew|A0#B$Ks+m z$Xh6O^3oO|C_JL`3$d<4i}+KmMbh@|fN_~z$Ie-7k?&*Bi#XR~2IBH^EtXriRZIMJ zIvDbv;a4AG4<-qEUSE8$$MVhMm(9qlmTPQvOt0g5ClBb@t#iNraoJxZcsFi9`8(*? z#c_D1@7z5b)BVM23Es_u(xGU^cT_rEE_ss~;A?Xlm9FB;0f-;_8Q@Gyx|S|Sny(Bn zyfx)nBG-+XT@(HZM^N|2VV{0iPMnCqq>6lI)*9?#-j3;)n5z8<|c&-3C}` z%s{I@U0)*I<>?a0IXIAU2w~p_a&=r{FPi~W$077xh8&DWFu=5-v>-zj>1q}}$p2~? z*k8vl;(*i7(_xHbD20uHZ`!@aqu_-4X|Pr<4DVH)sIl`koY6PpGgkMqU0kccPhwG9 z{UZMUXe)gjV~ur;7Ppo{rBUPP<5D%67w)+F?c!%(JsNcn(ur6*-b#mlz}FMmMiV!B zk7X!);|H3wOcnX6{%+T@PiYiw6%Kh;%2;W2dW)yt3TRkyC3RmR-|%1;{lf!}iXPN0xp&8Yo%?_Lk_np$SFM_z zs$)t&ePUE*yH?9rty+lKn2bSPAJ_XIwNmP73^Mr6lPB-Ws?5dDx>bjjFjb2zPJ+|W zm9pX2GjO2`R+@g<8b|-FR71G$_;oE%_9m>>1+7$BSNnmNIBgZWH9+3{K2XpjYz*iU zF$U`AS%-e(w9)kIDmiT5S_N_QuUTo!b!#+*ua;WGt%lh)-KKi0<(o3Y7$Elpy1g0$ z^~Tk54Ltkmo}XvK)o!3WMC!D%K4zrikoDiNffGJ~Vl(!I^~X+cpHkc!8D{#dfrPqm zgoI^l%*x3CD(%gs1oDh3ynohS2UIyXfx6|bxUx@GiJgUX zh8pf6P-oZKt|l<(b|f%hyih>q31=Sk{?h3#ELCa~=v_c(#TPz;e#m+mdUv)6u|6LKPJ{w1%2-gsz_aA`gpX%QFz)J z^iTaR&E5b;T8M6Kkj;N%M1Zk06px1$vu&gXG1BVXb(iNcH*<&FF$i0cy6O!H!JV~G zWUG0F>n@yjTtMzz&A~D8n|3*$SE0xGkm-PJ?(!MioMlh;z{{m#$B-=1? z69(=!WZr}Y7QVUVLsvG*^3^hKK4#02W00kvLchg^$R;(APHs~3a8VTsjQs9Th*<}_ zMChupBu=P{enb}1z&eY3nd za)tro6X@w?8MuPCpr;NdtTFPUG_Km1uCyZgXwGfu@0Tzs>X4uPye{*Eeu8lyYsCRVlk2axOQgE%;6t`&gLBF*SEh%W1A~c@G$0?{@oJ iGg1+o`sa#R6oLA(4K(aRIsGUd(srmJuDv@d0RBINgBqLw diff --git a/src/paladinus/Options.java b/src/paladinus/Options.java index 41d2c91..cabf217 100644 --- a/src/paladinus/Options.java +++ b/src/paladinus/Options.java @@ -373,7 +373,7 @@ public boolean useMaxHeuristicAndAvgConnectors2SelectBestActions() { return useMaxHeuristicAndAvgConnectors2SelectBestActions == Bool.ON; } - @Option(name = "-policytype", aliases = "-policytype", usage = "set policytype", groups = {"NO_GROUP" }) + @Option(name = "-policytype", aliases = "-policytype", usage = "set policytype") String policyType = "STRONG_CYCLIC"; public String getPolicyType() { @@ -674,8 +674,6 @@ private void checkGroups() { for (OptionHandler h : parser.getOptions()) { for (Set groups : h.option.getGroups()) { for (String g : groups) { - if(g.equals("POND")) - System.out.println(g); assert (groupNames.contains(g)); } } diff --git a/src/paladinus/PaladinusPlanner.java b/src/paladinus/PaladinusPlanner.java index a3ef3e8..ad9c316 100644 --- a/src/paladinus/PaladinusPlanner.java +++ b/src/paladinus/PaladinusPlanner.java @@ -232,14 +232,14 @@ public Result runProblem() { if(Global.options.validatePolicyPRP() || Global.options.validatePolicy()) { search.validatePolicy(); if(search.getPolicy().isValid()) - System.out.println("Result: Strong cyclic policy found."); - else System.out.println("Result: No strong cyclic policy found."); + System.out.println("Result: Policy successfully found."); + else System.out.println("Result: No policy could be found."); } else { - System.out.println("\nResult: Strong cyclic policy found."); + System.out.println("\nResult: Policy successfully found."); } } else if (planFound == Result.DISPROVEN) { System.out.println("INITIAL IS DISPROVEN!"); - System.out.println("\nResult: No strong cyclic policy found."); + System.out.println("\nResult: No policy could be found."); } else if (planFound == Result.TIMEOUT) { System.out.println("INITIAL IS UNPROVEN!"); System.out.println("\nResult: No policy found due to time-out."); @@ -272,7 +272,7 @@ public Result runProblem() { } /* Extract and dump policy. */ if (Global.options.dumpPolicy) { - System.out.println("\n# Strong Cyclic Policy: \n"); + System.out.println("\n# Policy: \n"); search.dumpPolicy(); } } diff --git a/test/paladinus/PaladinusRun.java b/test/paladinus/PaladinusRun.java index 66f728d..9922144 100644 --- a/test/paladinus/PaladinusRun.java +++ b/test/paladinus/PaladinusRun.java @@ -36,7 +36,7 @@ public void run() { // "-actionSelectionCriterion", "MEAN_H", // "-actionSelectionCriterion", "MAX_AVG_H_VALUE", - "-debug", "ON", +// "-debug", "ON", "-timeout", "300",