From 60b7ae80d35652f7129ed20b9298323f31733fca Mon Sep 17 00:00:00 2001 From: Mark Kattenbelt Date: Thu, 25 Oct 2007 13:08:13 +0000 Subject: [PATCH] Changed icons and install script git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@482 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/p16.ico | Bin 1150 -> 0 bytes prism/etc/p24.ico | Bin 2462 -> 0 bytes prism/etc/p32.ico | Bin 4286 -> 0 bytes prism/etc/p48.ico | Bin 9662 -> 0 bytes prism/etc/p64.ico | Bin 16958 -> 0 bytes prism/etc/{p128.ico => prism.ico} | Bin 67646 -> 102134 bytes prism/nsis_script.nsi | 5 ++--- 7 files changed, 2 insertions(+), 3 deletions(-) delete mode 100644 prism/etc/p16.ico delete mode 100644 prism/etc/p24.ico delete mode 100644 prism/etc/p32.ico delete mode 100644 prism/etc/p48.ico delete mode 100644 prism/etc/p64.ico rename prism/etc/{p128.ico => prism.ico} (65%) diff --git a/prism/etc/p16.ico b/prism/etc/p16.ico deleted file mode 100644 index eb4d603d8ffcc716059b6740e2e3a21446bd6d2e..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 1150 zcmZQzU<5(|0R|wcz>vYhz#zuJz@P!dKp~(AL>x#_1Q>z3`FMFi6v;qHP=F^fD#Wq5 zvM@3|KGIAGLzuX@xCAZCOk)?%=sR`o*v=2T)-2o@?CYUSgnlNV8eVyMd5`Gu zkV6MHulWDy(vkm%wyZc9na_-$ryOPQ2}7&8w2Aba__xw&<9 zbaYyQdS3+v2K-;OVEX?jSC0R?cxc;={PaXSJbFPkL?beOX?RkDH^czK$k0nmL?6zA6wq1NA4_+1Z`*^78s$TVDL{=II0fU*A6W z@8QKGf6naPcy-@~CA+8hG?h76n~Ort0QniDUk-@%goTA&t*xzhdjj>(n$+{}<*jr7 zU)(tJ@5af!|1KZd@&ESeeg7{W-14}!x;O@^A4Gx70Hq6detv#oOH0dXfdK)3H!Pd? z@AaJv|8Je%{|^`r|K?2Y{&!&0ihnmx?)f`^a%USzBRXJZWo0%tHZG5eiueii`@dJW z&;37lVC%n$oz4GRYAgP2T{-{X)uTIpOz&x~M%N4CGchqS0>eKtKP&z1S)jfL7mxni zzIx%mhN{wky>0dX_HI}P49l(Wf$mSlrXM6GD<^MJTV8nU;^7_tZl2l))<3Pc?cdsk zGya{~yXpV_jmu7_#zk1-(yy(lp$Sxf>hh7D|F0g~_3y%=ZU0a1TL16d{>?!DFTd1W zS(K=ztjK{&zk#l{HYs7 k37-eD?*s9CAhu^<__rU5Hv{=VHW>d0(!YT?9*BW#0Gu2~YybcN diff --git a/prism/etc/p24.ico b/prism/etc/p24.ico deleted file mode 100644 index 5c89a89b272657ba661fc7211abf2a4d64d01b1c..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 2462 zcmcJR3rv$&6vscdFhW6IiItHtKv)J-UIS$tQwD)i3KK+d3WjOiG$zc6Ae8}Qf}+DQ zgCYab4J^J8C{VP#TWAYXpoJm@5kxR5a}Ht4m>GEP&Lz5MV*uxE{{3$5m+yDa_rK?y zmSJ@8V{Xpiw>5J}pJCVx!`P#6iE%;E_2)56O^kJ(2N#(-$Yw=-7`kd()P|ML%N-2< z$9;5kb#+-Q+*|_+b224z(M4rJc1GHcEs<|qTfUj z6B8FFC#MW9m-};mRt6dD5R;KEDcn#t&6F18+3t)+SQZvM z_X>=5%RnU&_J6j0^Xdh#P4SuK==o+(Pfr)%ALxQ2KC?D<(C};U2-Ll_{zst^YcX3=ahhnDZV}x=*z0YE?A~0W0 zas#>47odvT6an%Y0X!I1!&rYiL4QCg7HY7@QV%4?MsE9P<4WgcTI+c>2a#)s@y1T40Vd>m8itR z;q;`qsF#;4{&&98J!lW1`_P_cjC?;|U*7@BU%NJh2rm@C+IxF@%jp?V?_29CVREz=ez?{FeQga; zkaGkMe)&1%U`~lH7J{aw7O)?YCgHgj>_^n=rw%hSGh@vC(-{AwxLwhpX=_A(y5WvS zL6njz$oeV`_9ezcY7!5=Kb{F)O;s?UXdn%OqNWh8-_obT@urcH5zE8F<7Ff&7L?W{_7d~gc`?y)MSTU) zwALY~20f?-HF~XSDgZ^fL4jn%8B`;+$MwbYc|$34as zb>-u2b%OD>TERHh>%F=%zKWmw&8gIcn5}C#zVrT#G%zrDDJ+<~Dk<*MsHE8F$R|p~ zIdA9ouub71Z@RfS8fy!f5W@VW6o!D9Av3u45H*Rqor1#a5ULRcUJM!MG2{Wxho>3x ThzjSFGyNORAK*RlpUgi1l+n+(6BO#GxkW`BxN^%v}_Uz&%)HG*?NJ%_}a!e3i*K!R*P*Mcc!n`0} zP%#uR>B1#Zkjo$pBMdOY3>Og{6ikTSwTw=d9!h@Cet)k{x#zgMLD)Y%bH4M=`_8=Y z=lNZqXJoP=csV%8_+9q#2${@QCXatQTVwra&#-?$zL40qwzl3Ayu6ZPqE>&`s5vFB7&O$Oub?Xp8eveMy!7@P zVKW~P-@?ku%GtxiBTk`^UrX7QAllBBi4Nu)?(l1hbLv7C1bPiJpY47aV=Tr>UtizG zzpW-4o>Wu{V3#OZEdY|b#qOeHEY&2X2X6$?CHcuhv|!!8t|*>D#yT}xt)`q zJQ%U(*jYoamX?-&&d$zTX3Usz*~Di4@~{x9EzP5A#(HTEh=D-v-8{H+3u6D|uZg`G zxR0~l78Vw>9UUE`pZE1`Vz!B|P$+0a)M~n@E2l5p^wfR6mO7iYqM@ST!m7W9Jdb+^ zI?Qn+v)!PXHa0d(CQX{8xtGnhgD>_cCeS}x&(c?y3^?ipVjwC{WvK&SRyYk1&UQZm zxkE2P^GA&uwQ~CO=|+>?%w`45olD0vQ|asW#-I4Gzpthww`O~Mbl8f}V4pdPnGXF} z2bj&d#&%0=9D`v0@~Km&>cNz9&ct67ynw1zd32-m{7-zgAARVD3pJ{*>dW$4%Z?vY z9od8RCz_H*oG)<#f!LlyX~Kl7Wl=mC}J z!5V>e0CTC}zT8_~l&#;tEk1JEIrn3sFF)D7EpFY?XU95P;JNo3TF?QX}fs`INME6U9ZZp-mg2X!C}(v@0Q=s*7_ZA8rfGj~?(e*7`!FpHj?wB|v1QAEaw-2Ktv#kG@+gI*@b4IUmxNm~|At{tlZz zC+~chbfw4XVr{7;ZBceh=)(EW^_Pztv_cK;gZ+KM3tl62ewM`l0)GFzNsGKIqs&8l z=$$p;lHb|(%`t1~@V*_ShhNYSm@ibh8EW*TG5zIZkNeQXi4&s~N=0w@o6D)b;uLkG z?}AP3sC5I*+4m7|y(z5;?1O~3^>qB$A?yW;=zMhvHCGniN=-_5&)vnj-}`gazz}zL z_aNlp_4xIX)KXn4u`la2)K;e!m4(@o-EU!TQLFzh#ew$)+M*nZ4L;YNVcF|J+*<}T zxCUPGQyPyX?<8ZLnl9B>5c{3;z6$&_T<3hxIIxQfJ~<+>VKbepDx$`Uf?Fwx@4n|Y zew^ii;JArvU|zr+9rhc7`4?(W!!{LsQ9@1dF~=G8jlEbt*O}yZ=Hs&{%{{7Hw&=CV z17-7lTmxaRFDxuS@v&f=&!NvXR~1X_CNQx7r+d|e{{xuM4@FsNRk4w)7L9Xq_-}pp z7ftICY{0@-EZwIq&SkE+%M=aZV9y~5yuSMKlfCGBJ*wQJhP1ug_G9gvX8+7nyr=k8 z<5BBJWJ`iyRi-EJNXtYept24yb@QYZ3}tqBx;| zi6|flml;9e0tzC7D2`DM4ZVc+BUadEDpmE#YJ>PDq-upkX zwHh>N&~V5g6T4lTUHta#-00%CaF*G$Nn?Aw)4l7})+Py!2rhUx$@DrjS zRr70BY{-qoQ2*rpUu|-kJAKN4mvkI|0ehp?ueTm(WYquAW|x(vmy^Q9HEk>vrNH>qF0{yQBybZ{6vcyQ*(kt4-|IiFB`h(BG=j8o!=V@Su({y%>< zFx7tY1fIHH{1wMgkQ!C$wbj+J z_1|0YGhW0|2VeRc)T2d<7E}86?R(tZ+`N?8EiEl+itQu{3-F~I7ZboAPuDXl@~3M~ zFUn>L-$vuDq}W@ctTsqDzgh!G=7^x4hK&4tU#rF8lHIl7gdL^rY$s5moT zD0vXab@cbZ1G~I?*KF)Fdp)Q%)TeIUx>j$#`KFVpsi~|r>~mEd`-k^>Q1Qh?g&(#! zD*^mU92KT&O1*0~_Eq+_U^l8=yS7!EHf^gVu>^^MR zu)=5gT^)nXgmDxWc!=&_&7>a+wBoxf$bp<>@GEsFBjyZZ-@ZEQKG*hFpf?~Ri2JLF zn4{*QH%NI_zN+kOmwdK>a+0Iyr{ZiKzsv#2j~Ej1A;+V~Tbox`-Dh_02RcF~kR@bO zt5&Va=xrQ_45m&ES@s^BRix2VJ*h&Jg2IDAAs|b&;-a9lKjn@ zHJh!*Pi1cPdg6rf6nW|x{c=U6U>^Qf>x@20ve*I2>wOr+`Y?m%xLlNoNCi9IjXs^lnh^xt3&Vo#CE<*AYXZQIL&JlVGL)u{N2Cy1%b7 zvwDsGO>AAihDr)DsO(PO6Mn9vs6VQr=&!lQE=<$#Sj3g&bB{v& zz6qE$&DQ8S#=!g>JB^{&p-xb5h+}9F^ghHn%(*bSQ>RXA!TC^S*0&t{$M<{7*m;Eb zd3f#OllsH_JpXd+fFEl~$*<#9*wGV_RGJ(^X@HOCUbCTt*ssrXa1L-BaSro*%lk82 zLwS3W=K#*>w>oz0I34TSyZYSf`9z!Xq&e*m-{;fMH!stJqAZ@j1ouFgeQqeLlHW%jW;>JjY|=_rw1`kF8Go_U#8@?#)w~_3eT=Gg0?7^y_y8 zsGT`-{wm2!6KemEml8!uXHQUa#7RoWnldXcln^V@=L&li#!yiw4|*LOY|@|C8C7z$ zZQHgBYG{JxNK3iKQu(>=uS36Id?}eqZ|BMS`2+HRWB(Rn=Xz#>ICt_0ZEo>c zG;j7Nlo1~;^Y$M4wvxPbx{bb>YyNetTM`lXn_X5(e@pgNOUV`7uB#!~eV$t>Gxm(k zhdks&UJ5Hx1RvQOX!@Q}mBl|h0qb2W)X+Ps?=37WXcb~1KRu2fpk|ijYv~SZ&P~*u z;;cl}^jHe!{tr$-2_A+9cwS)NW1n3L=OR4NH+rmys^w5?(3sJq zgs;~Q$;>{_M<1DYK|@!-&c5e9fj{T{2(J4ssGB_he&ex4`aK1`gv!nJpM^SFwrBf# z_o}Wt`i@X*&}7?*6zu0C`JZw}3f?#5x^oHsynsE>gwOzrIeknjAuNE>G{N8uk-V4U z!({w${RBVHS=yP?s?Ya44z&j1_X!bm=D75EZgQmD?_}<5!~?UlKQBr?l~J{!vVY?q zP8IkC)|JKET~{utPTw;>*C68o1AJFHI+UlJ3zFQ~iSW0MTV)2DQ20WmzuD){68~L7 zsDJSew^hpq_V3q>zoR-2u0exM2W|1%z5zV^-cd8)=PVX{n#odF1+2iH4?Ro#S-K|p zx5#e~Wo~m_>1a{|?5bae4KbZ@+-LVgW>$C=X0ACZs}|f+$YcH;3HPxsQO;3!?near zYWIJ&c{k>%;n;sLRG(cF)@F>AHGW&ni3{<+8WZf7AFb-t(R|cDDGjVD%tsmM$27;j z@$ld0vC(tga)+5yZN~I@w|CE1Yl64(cMKX})XHJrj8Su^PaQI2>LimHQz!nRY{yym zG=JapAN~9GYTB(!$13f~DziQBwPB-%yvD4tL&(Fx;16uM5c2bKjba}^Q0yb!{d>A= zt?pX28r`*Xk^FnQs$7@r?60I;KNcGKd0C`#{Xl1nbkFyB(uf=1X)!l!rvk%I2e^(}y=jiU^wtPOU e@*ItD=I53PQm)I&75j6UVuiELKKWj~>wf`QJ?wP= diff --git a/prism/etc/p64.ico b/prism/etc/p64.ico deleted file mode 100644 index a04c0983f6c63e3b570f7305ba20e8fc46a0075b..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 16958 zcmeHO30zfW`o^?znQH#IWIAfNq=*JhW|}4v$$$&yE{J1Oj+z^qn5ZDQA(|Kw=1ztw zYAP;(vS0Rn-%$bgbrj1|Q+dxk?|1Hjd#@KK`6uA~`usijI}7)o^St}FXkgF?|IEz| z@M&mZWMN?Nih+TF5r9hu%K^UrNBctp&zc0Dd+s@dE{2`{^sK%2@AbZB1Ku%SzG&XR zW`1n{u4(U{fBwCG_Zj$|Mr~esrQ6J@Q@j#R9K4E_4-Zb-W=%I zp+kpp0|pET89H?6gM|*Wq{NUz5_nR17WB_h+dk$&*?@p=2r-Y?cGi`qS$ zxwileUw!q}QGNUN-DhoWeP`IPVbTV7S1L*lXa15VU)^K)!<{V~RxfJ*>MM$7V+kj#V>ONC-ta#q^f11@B zi`qT-Ied-%wR4LWEru8y8?U#tw7kaLp?jKSJAsb>@Ex7ai6gdu<}b@YTMld+u|fNy z$BeM*QoGlvw{LMR)1z6lW<$Dk>9W|&%q&OY&iv=joJL8Zhv-~RJoszNK+_gV(^dEU zw|aSUO;B%4p6tP_cj51d^%fmFcAPhG;J_s2uJE_Aww7F-7EpFfFrCYdr?Z0pqcT9; zqmq<}iZ7Ng{`kpWq2B(QxpRzu9WZa(w(a!({riUx9X9lV!ku+LX7nh@Z?hMbA=b10 z*#~NpL8dCOWbU*n@6{Wl-~Qkx_|umF=5F@#%P&tcF)`VJSpTyocjj+zH<3aQ?xG8M ziO_$7A_LTbY8z0;1DroAzR%oS1HAwX)V325@4PkR9rIQ&fA$PYi#$db^OL0WdEn1J zkQ1-wU+o8_8SwpWUo~{!=bZc(pf~V$)V8*$Z9Ob3EJ}6t&ivW;SGhPL??=$Zf@JVd zr1P>3NY#FTTmTz*27Lc{aDEx+0a!L|+H?YHTNkszX1UB=AAcJg8_9R0C!Gan=6@j{ z{HtxCDh{yir$rpe!FaGge!C$y=FT?X6L=pOhx%?VVtqnQ+*$wQ#*U$*{=RgnFa=1K z-~-@aWdl{Qkokuk`0k+jz<&IUhSa#GWA3d0Q{eBw*fwq2%;?jn&jGG&_32&l{RMMp zQf728T`Nha%Y`WtY=HFH0P4bfe&4KLW!$}6GyHx-Y0RD9rww2X3<1U>)=x#O_f=|J zg{yAQzVGg~gidF~(6y5pbh#*1x+M5>9MsAMggJo=&I@LZ!0$Jd#@uosLC629-Z`77ov_+Keblh_X~79>fW3lRq;xgLm@Fy_ttc+$8x@r;Jh zxUNz3u5cfVcsEJJJDu8Ale6aWc=-PDAN=V0sZ6>K{a*$D%SFt;Dh^6YE(~orzOU4? z?ID9VfDeGtjT<+%!&u%?x3<;ft9!g~-fYTG45y0nTp@$2CF$UwO7H>X0gi)mEr7c4 zp5G?VRmMH)-S@e!;W6A_fj)qUb?9vo>*t`h4b!b{bvY~NR#w*1+7&KzE-#60f&afx zXTb;3r7OkYk2omvmt#OdVkmrnc76K3663k9=>)LNTLNPN+t#gHbF4r3-(tPOoqP8E z-PKSPDDrPd}b3pj&71Act%b1FHBJ$aMh5!uJDqZQh1?U$(otZc2=A zi3h(1aDHch9|Z{R=a=)>rR5b}j*mN^J>y@Ln-E67Tr95Uk2r`JSXBpz9GDYd z8F6@b(5z1;4;b`r-&Q@kb!o~kRR>McJ99S#n7cXfAutiJQ_!wmJBRn*fB*F3_-fu` z-(TUph|c6D3I0Ex&8M4XIZ6yfJ`_1Xt^@NDB#wWW`%Vwu>+8SM=Zh8YE(`6aPqFPg zsDIy9#ywu=dDP##F?Y^yT+?*}`T-)pqu1h&b369`_uhLi^|#vp$dNYEzMWg>r}KsX zl|PS%F&5-;fS4C8%ZPrUUJJ+$^xy8k!`s7Etd;fp-PX#OJJ&T_XLkkq0#-nkzvH+{ z_k8@q3olH0`|Y;_pyNtSJ=b(R0lps<_ygU!e3E{?P)xe|SJyy7|1y6b1IJ-LRGtgu zc@oTvvt97o$bDWTf?bHUGSmN`92D+s^Id><0Omd#ctr2GCggycZ!+rLZ)@VKdwtHQ z)2J{ditb-41^*%~{_6OLF@PNZs^`O)JLbjJyvs79CD;N($O3CdcalO5W^P))a-qeb zciZCKYSTEsbB;3vdILPi{D{BfnwI|gyj!d2P2I=YShL?gY2&#Io~LaG@b}*W zSO#3@*Z?dGwuN!P1fV(xy!P920Q29m@k`{rLb`Y56y1jYmHelX|Aqb)-v@uJhs5&y zps;z?Ie1GlcNLDS!7?aJ484gp({>^SJCu8~Xr{XL-(+{eZXDbO2rlc#LNXa6B9g zuv~@#!`ruS|0#07DP4W*p7VJB#GyUH_u2n%BL-HK=b`?~rmON8kn4YK-)FlA1pg|X zgLArmuwP`U0?SuBFPPk}Z5!5UZ5!A64E_z43D-d^7oOK-*>WAsHBo2eKnrto^Q2+J zhl%wJUEaz$`+iYsG(EUpPQP3#p`TFy+~oQn^)KpwF&0$#bKF zj(or6`@yxd0Z@8uV;fQA!m?@7vSrKG82ju3&l+<8Y@dYh7qRbi?2}{v4R!9<^!-xI z38aJ{p$t_J6(ojHG3EzPrA5j9uEjeFGI$iQ4GDQ64|M|D>Qiqoz4TIxe*OA+Dtgw} z%f7#XZo&8OvhTC)qxStb$39{EX~Omq`z4+e+We&ld9PbVJABsD?rq+5bk7coJmOEO zkPB)6S@)0$%S8d!$4Nn9QrPVctCr5Jt94T3z^NDm)tCcDj~YdR`~8I7|8lWJ)c!Zi zc3R6YgJA=9Jh{Jox-E|4MEm=sefD6`#To*giilv{Em&bAn*tHdN=0~e| zEBrNkVF%^t{s3HoxtQ0#Bm>b)Mmo+EO;cFq%iugrN$>8e2Z z{Yqk8GtVmS%baNSvcjb1n^rA3RzLNI9PpQ#a=_?O zA4-S!_`>G%QSWfQmm})E%NXxo#GL1O#5`UDDMOwQ3)oFOFD$q#{5809T;Tg_mM@i# z?e!J0kY%6?_(sJVmxUicb>iv=JT3?P!`_bKLIP0h7ZB&WYg#cc8Ebxt65<}6OjFVR zotvs{-(`_(^Q?EZ?wS7@@L#vmg-#sstC4?3)UgYn&zZ*cS)H|-a)6@)<~oxiM6D;s z`wY5-xy}oy_0D0gn`3@?RvhKVh0qqSwIbfL{j={2pV#0nbnmuQe+YBKQ{}XJ{fnKID$iTDL{*+SctJF?~5; zvYjnO9Nj0lUlcWtV)H`p%pGfB7`K4~?*o}X=TqXffyIsvfuI)$2^_dslL zccZzprqhDCv*`2rb0C9xkii0x3po$64e+`F*FIbaGyg)24>W;mQrJPi=#fK*bg5JF zc$jVuVBhEWF2MLj<_?`_$8(+&>z=2;on!vV)F_E-`=#*vxihB=8(81~8GJUEmaq&^ z|8hL!Sh)48b%Z_Q;2bJ=V|@f;q-x~G9lyKdD-RFs5v!N|^O`w;_cv_w{(?@!#?Rz% zeiy#3<__K%uauyEW7|K3n%)td9iabt*c0>FoSEbZKY$%b91nRcu*J)R!UDcWo;V?M zP5^HWKqgZ3G5;)#`v%mt?v>|h=76zdMvGdWeO&hQ7}&b3^ODpkDo%+Mdtb7!_sxHY z53OJAN^6%ptLr}5=RI+4$Jgs=pYKMB4caeie&&od@kfvo8+>=0*BXyrMz8ZcMZGl5 z9N++3j)SeT-u3aueqW(`w%>I4Kacsb2byBQQ$b?LLBhT_u|E)TU2x8eKS8>{Jt^|= z?$qfY*$u20;_8PgIl$U_sKjH|42F~2-Dgnl*7d8}6x zn0rj%zQPrY=YQ0_Yv+31BckL08=Dc88$I2z#*O(KwVf9t4zjNc&N6ScJ_T=yb;`c2 zjpI148TbzGjkZDajGo##7!{GWgR`NmiecbYwY>aP*VY0NzzYn^#|IOjmu zx?HnkgGm4}k@p1a1HOZ~{@}{E;QeJ7VvKginPYd znDjR8`Hko5$mFoYH<8nT!#DX@M!-$vxNC^lWvXL)Piey+=fF|_Q{b9?%zwLTzpu}M zZ@*sm&C11}O`AM^)LVVte1q5M8g%Pw*s1xnDYllbiyZ7-9Or1k8Rt$8GseyM=Opu~ zlP3(U3ASTwOsqdJd#zueH(O%wQ@zzQwH0*pX1rYVM{8&jke;Lsmj9S4#q9oO0QDxYd<=`P=`BuT9h@p^b;SNTho%4MzJ&_4MO>3T*~ diff --git a/prism/etc/p128.ico b/prism/etc/prism.ico similarity index 65% rename from prism/etc/p128.ico rename to prism/etc/prism.ico index c452022d27ef645515abfe5e1b14cf15009abbea..5beebe1150ab3dc3e1b9233322a520d6d3f0bff4 100644 GIT binary patch delta 15241 zcmaJ|2UrwW*IpA7QL)8}K}5v}DlIlF6vc{S#fmYpcMbNw_7X9=j=f{Sj$j3ps)!WoG4Uv7&_2gSds*BY;VULn$r84OES~kteNm>gZT~(&&F4)G={@w@ z-VGhA*nej6tY!B}v0}x_cr|SB&5m_Hrd>T7^CI>@SX8&bwlyrCHS9jY041tct=cxY zXHatDkv;1D%V*T&qkEE+_FK$qb?erDto&h~dh24Mnwy#Qa=nt^?%>4dOBF9(+_i4qx(o1?CtbUAR`+dN zt3JGvDzcJ~UmrWPzmnux$;>Zuk**agROr>TS+g_k+qYN03GOYDj~`H<m64j?SGsL~DGw;&lqO#*7 zcb;4uI(L#^(?;d>0k96Ui38v;Om1b%mTlFvY15PKFu;bDq2kw^4E2}m>EinNIPue& zX!YiWcr`2O=z|5*$M@9-;Dwv<8K_99Ql-i^ZrpfHm(HE@Bg40dr?)PtITsQHRxLIu zOGV=0J>tgsQ~6t!B{*FDWoc4edA`rasc)ZNud!nByxRDkwzq@AHLUAx`ok)*6tR_T-Ul`o4S7Utlt2!>uF8E*CPiJD( z?6a}rQu1;2eC#2Sk#Gcz@4h^5>bU-2)lf=@RyKRM*0Ec$$hL`d+l0I#ke|EwW3Vi=YqC^d?Ee`Ivv4#+)Gk%eGB>)gnNoVG|B|6 zk!pquUl!NE!evUAg5dYGErgq5{d#uw9@4LuVkya@ldYoiaHB~&9)Q;nwDmmvH;_3Jm-ISIm_ z9)Fm^FF=NhG=+En3vQMvWRFzP`R$)Ptde`l~6?2h~T} z=fwT2Ga@tb2oy(2^z?M*_sf9lg3s?Dwo-2>`_m_WFRq-8Re!#EUOf2etPMz&Q1Z=>&L(0~XZcQXV9KT4BA|1f|vNmnn z{K-c!hv?F|lZe>4Q9PlF;4$df8;F3VzK3fG98C4LpW;baJd+EkHLOq{?9rxx_5t!~ zj?k}fACVGsNaW>S7QbA-pn_A%+Etv_T*zf`efdV&;_b;#S6K@#5}J#(>!4GwQ7i@&8;)jeU_Cb1-A=(ht-h!^juMrxkDn z)dw{LwWwCD+L%_YTKy6bV3rf88I!1~2WXeKxjZCEKx(5hw2mN{}iVH}U_-6np&mo0v~l_?&;NM1}hDw2=w z6X_M>4%2Q>QUq2bB6qCY;R_>X@vPdsP?aiGoSQdqp2EH5o~E8WEPlVAEq=X`F0R3F zZCkTkESfz{Q159gu0pqI$dZoiJ_~VovUocBe(}W@r657u!Absv??;KN=i{-`Eb;Tz zG}xk}(iY8`K1s}-FiGdrdFM zXNO)rf*y0GdzVwht&2(0ib5mBjLGA~5A$YgX$GN7G)WD@)g^HDG!8xX+ zor+Sgrk=!iV(2QwWvuS<>EqIETuwfopLX)l(|wzj@Zj#9l&CJQ9@VNkl$k$c;`*~O z5x?Qt=V>P+pPxT@=s7Iza|r5_lMy>I;j=f-ofG#&So#|#bX+r9JG^*mfl!Ap!#VL#uK*`&hWs_*dGKcL@1kIW!kZ-e4N!q=oe zpKMa|aG(3uq~?=w&vD+q!hIh8mryV!O|v7&&t!4@wX_uN`krnMfo=UAJ?c_vM^&ID zwyEdo-g@QY+2JP-Za*n4v65gnq$a;##KFO#>EQ2zkHJX4qYb{59{>7$Y(&PEl}ly^ zwrSx2^X?+Q2$SXM?%`pXHF?}$2prVA(7D`2#XjE-M)eviRg3xb(9sY~61O^7Gn^%RxrJoTGubh>}9tIyS zI3j&OpCAZL%ld{zc7d)1)UH!|In2`&!y;on;_&V*f}VmQ7OazGb#J$}jSOR48-}?3 zS6_X#fPTn$kmhIDp#I|gsVJE9i*f+4uHMN|wheCOhcMRk1<1w5#-Ip=Gr&ow#=F`LEO2Nf>Ex$9|e96Zb?w?AjOQBDX6bg zqYo6gCyQsr;T)A)RvXj=)DqMV6bLgAgs^)DR+(?CmRq-J)iRL>-}eVtmgk_Ym@>;r z#GQ+DQzXq*!P(wfI%n!&rDW)r!zfxdAj&3ZwF6ZzT)40+WOP18e{Iav1&-?IzA*9U z!)wyh>JlU4T!xL;&z+)ckh4gC1)p^rArTC2@^`(vL5`iiq2_SH!k>KdNs&5r>hy&Y zJToTX&YzDvD*pcYhCIAq;K$%YL^Le%7A$e+28;9pu$FQn>>d3XBBP@ZCX5`^29{EJ zzP+^Hq>#}f=VG!v!KV-a_%d+~%xzXe<+;$K(5G!&`2%9%C~*@^li-)0&7M5AryOUe zZA^*PhWErckSUgw2dP}~z3E1L?6GsmTkYk10 zw(Qomi@HB-J!1S!CKph(^J*@RC+6Tz=@;o=8S~ReuK97HNQ2j*<0qYsK9D^ixO;s$ z)*f4bA3hAnn%xj2eO%o_sl^U56pymlefilW{AjL8)40&#nseUdf``_ zEsGb`b@>V=A7dS`X$hP3Z0?LnB0Kez9P4&QGQFyL2HutX{XOQQN9P)8@Xkgblw)B$ zE3fR;hF-Zt`+%ISYkm|t@XGM$g6rcMreLgX_?&0AeccL~BXJz?Bcp??q+_q%d+Ek4 z;c8sEb?KA_`>1j(CUo@H*;vD6tc806`GM6wD&rEak7Gd=)Kd{V(vVyomTr4DrtU;FyJNVXHY6=Ip`3`TU7-v`S|~9(4XT~_0=oTpP-k% zs`xuk75qSdz0Sk;GVvxCpXKt35Ae#zoBTYpDvHRr{KNQyY2SCCLQyqJeNr3{hfVWl zUR6BZ>Oj^a?F+$|75DRQ+I!8?d3z8u%$qcNNSl5=ySM@(z!$bvrAV>)86Fmd7*GTlmzPTXmunkyz!C&K zzW(~_Re>Ga{}HzKM-B>8o+JYj1|_^_k_c6Mt}Hf>`KpFv5sT+M38%<3(11hw^z5!i z?%bfvtY)VqS6iy3b04RFqlOIv+7Q_TH*gAov z-45>6Q`%=O;yELj*2-*IpFPfHc2kA`gk4;bYy`opY((z%hqc!pJ94NAk$In;D=1mP&2`xVm``F6^z#yK^ZH;>AX7_rX;$CbmU3W z+f@dA&Gc5rH9kHvXgJ+X)*O>CgkX0~b!%si`w1d69 zeTY)BQ>Cx^_U@0axna*>41u6Y-IS4~adk}qo$BGpz4p-co+E*So zdN>f769~}K#bf04j}YN8W4?b`+0;KoKFGY1FqRh|EK{b;0HwCKeJ$?FLi04FW2X@n zTx1-?2v2>et%T9RyNIy0O4!IjA57l>qjV@yqQp1K^Y0vMbVPKz9qAL3O2!s)EmtuL zBUS7(!H%%OgQS#m0R|s|2pW4M;8dOss8*|cP*)KRPp5}u>aRDjAy>~!K#+&^K49!y zh0?;P%n{TO)B)53qBjDKCLAK>ZfO*!hb+m|H%$k37d4MBPXZxA(n zK(Lp0;|676C5r&-Xl=){H>RkLd!B$~Sjm}Hw|>Wtf$HupYs8CtSH$liZCH5{a#$+O z_4B8m!ojBkNehS3o}*+;_NT;3_-4O9YU?gtB2pEyl%hZ?y;6nLrrmH7y z8)b;fNf*!@)DhHOr=GaV<-=I^g(2CZbab!O6V^msws5w1a_f?K^*E=135o?X5`zh5 za16b{04P!YI4VYX^!M>Sn-9R{H!NlY)9ok$>d!GL;jAw~H9?*ro{2YzF+U}WN8YJs z&6;xzRLa_t@Sc*eZ`*o#M1SL$h*TM(t7lE}h_r}Z@(7z;{e9RDbHiYohFS%qFAr>8 zy|GPm@5+GsB}T?`qaYSQOt`NAqB>GAoss+w02U8SOUsh1uRXeV6A1_?Up>Alqk95# z&~+f-7icl0xv|{A)P-NDI+vuDvX4=18}>_J*B+O zdnl}}8Aw-{U|#mk>_q$2(XF`;NYf@s{!N>NWmhKtYzW)V7nmOw2- ztY5K29NMt~bAOm+7}*BEiUI@;i{i`T)!b|iq*=4Tli#y-o%kKO*)t7#md1f(!NB3Hr{{fl z*oTu*dt@&9;_ej)-X+1@iaS70!Z>yV;%VkZb9Jnb?o<-;h<#hv$k>`}7=(NYHH2Ns zzyK*;d@1MawHgVn9EhAwLbC=RBZdwVm(IjW(IU18W|4wGAl&Igo;!G?{2BWg@zpiT*+99vgEp_a+>C6L2t7V&+?qA;!qt;I5G0 zV7re43+31bu1S27@0ph@FzXm4asW!4K`_(#;Tu-02Kq+}WxSM&4Vp9O{Fa5I)yo!P zPl;e$!kpOO?DH~wxQiT?IS1Dm*=J*9uEuVFT=R&NL$msEX+hh)Q z4RaX;JmUJuf#0A+*JbR-VvVWp57 zbC4}*<@kRFY}7&O04)+R3-S+?xL^*V;3VjTRj%6`a%cl+pociJXRDqw8{@~xoYg?7 zFCf%r9-VY_ucVad1E@G0k-4iJ+sJ{noSJ%`iCQ7n)3>J~gGf)*BvdH42IkZZy=7jF zy&w|KafpU%gnZg+ObsC?O0E&kMtOE)xI1Odt8wG)GbV-P0~wcNW}gMJu8(Pq$DA3Y z%*m}*n)iT_@2^-eb4s&D^~+g2zw@B{`1*Ko{^B!O2?AK!l`>Byd&C^cwwc=t^pW|9(cH3$lF z=}7p-guR=U{achJt5F^p{64Xt;OpJEpKf?Q*59XU zqk0}+plXYf#)85nY>OkR9fic7Z4O#S{-4);t-h<~C$Mg-s&7#{;Pr3)^Jn^dWc>1T ztqH|NUF#U1T^zJ7fzwD)h-1hf3Yt2ph0JpG!hPq6iG?f(fAwg0R7HR10}osnnS z1g}!fWI(*ynjjf@m5^)A=tY7u-8_&rrAdn&^Klqs0rYOhQPiz2|nyNcG zd~WglrCCkE@BMI9?b&IaW zhZvq#L4F*BDnK-R_1g(!MySB=WQARVDVfT)sugVSB2hrmOsVft7us?})^O-|9f8Aj zZqT5?9>f?g;q%pH3ue)8$@Y{vHL57_wNBRMMDok1v;?@jyRSF!2F(aBm+>pt22#QR z!o<6rkTrNh;MD*!w5(mb_EKw*fmW5CQUer}P}ju zBiL8{9uUt36tj^{%j%e15g{76E2ouRts=`YPhjR>7t|VZ*-L{D>}r3A@0?>b=L3vK z8-y(yN~G_uGR%XR!!kB*1&pVM;^6OC$0)P0Ml4|v02oZbbxsPl1%oLE+ijDha2+ln zCZa(~kkP!!Dmj=^R0AUh7Dgd!? zf>84eG@zlpvsm_(87vy3cEbtuQA!5Zbw~RPv?xr%NKY~9uNd|5HIAymNi01YauFkU zZ*h4_In{)afGda@cNe9016(hg=@Hyezp+(f5O&;&ZCnn6FSA> zXJbc^r>--luLqJxf@?3u$K6@!=WbJvi6cuMY)E*4jE!|f0C32N)7}GD`pzO`$BvFv zqB_lxaUvrChqUGV)?JT*3XSX?n+-f;PfoK8H z!WO3w2v#DyOx4Qb7>sRmoPcOV3s6^(#AqBH9jC)|{i?Y6)~(0PFZNKl>{1t~7hmx!h8V3J~(bteDRp`AxjfNf%hq7A7c-3f;0l#U=y=?Cfr>Zx3v z)hvML!Sv0C$5^1mGlbH!#LfE_{<^ z(Jc0-Y1ms^sgJZcH9!Pm+km<%5mRJ)g8{fXe@nP8{>VP@5?I$?5C6@AuBdV^G!|&< zCH6%CPWl3ZZ^Xgi-QO@E_z(tcCRyQWR0k1+B`aN&Ewk;FoKeLUPyd>OGzceNym@k4 z;u_W)p^KMH@HP8mxGzG0TJf8+>nNN=;tJqE6vNjnojak0cjJmE`xg}H9l-$|gO3tF z%3jI%-qyzG0#ke%IVx_OKOZt#JVf?QOo>1XL03v5!Ilph(oW^0EissR4{li%%+dRE zAHmOpAlWrluQ@#x9lsrj^7A#w2Sh^>2%_LpmWbJYfSx*3)%6BEx6(@YKSDdNO7zqy ztV^!nYiR+1Nm&Bd>_p%p$^*QkWG?u!G&d4GzR$O>30=Y-SBqyoZ^}4L5v?bWl4u~S z3pGJ>A5=2Ry)TG-2Y}k6J~RwK+D-0h0Q*W#9NZ-Zjl#x`h`d|^mq5_KpN`gjC}=!h zkmOJ9ATdnk?vl!-ApWvRZvOOfeKm-%ne1z!iRXrr*&-k^%z%V`jux6`t{OURTKM_- zrJ~nOY2KiU55@0VTB3OSG*|Wu5Va??#(KYI5M;4K@}}>b6g_RwQf`Lz-{H2NSkr3!l*y0q9VPT3uFo zs8p~8gsDQ~eu6b>WbqtiV}Kplar^d~L@X08AQ7*Cr^_8DR7^RRJFWq;fV5?g+u9!& z$x1z2jAeJku1&HN7-)f#wBD{FTLujR`tj$odDDhhu2cbibAxRR6oeSM;ucn{-3=JD z8`4!gN2}vg0A~aV**rl69o4Cj&mQZih8uY{F6NElY9OSvm@D zt!nb%jc86y2V7%WGFP$0l(o|uM+jh&*ec1^MNEt7%i98ElMUqM%d)6H=>Ns3$pu<_ z)kC{B<4CTcLP7Hhu$EXg>i`6cA$AO(*(4GhfyNcYoF8n1-V8%N3@~-!>}l%Z-J2!g zN1h(-FY_syE0i*aN1F}VH+I1K%AWz8j*id@S_F+hkVgsTs_d8}0JRqYb-|IK0mT5W zjV2fa@FW<>Mp%N6IxjXC;}1WaIBGB&bw-&Dm9XZ6_v6PP)I?JYji06$7c~HzpfaLB z>P9ZAte4SjPtb{aA;D~jLIE$yoqHW;#E7GzJLSwwFL!TVBfE!w0U|6>{en%w{0KXMcCtlGJqlEED*7YY z0YntsI53I!b8|2^(N6=h1@bNT;~I3%n$V#GM4bJ<6_oO^qyL49b8lF9KZS}1d16hM zg%<6g5g-fIgArif2Wt-^vj7hox zN#vYLJww_#qQFGWi8$+2THfG86~AIg>?m8iLjI*$6c!$MHegzfAs!AH0*r1z-q0k# z-YS1eG7W+=Ii=LPiZ2<8fNpEtL{YNm{pj zk%*1hAu(migpS9*$K_*+0+{_J!OdDk0>r^&XcZ&z&y!%M>K$51GtIthHp~D zQULRd(daI1AM6e748i(ME0>Brn^%cs0PAdW&rVSiGbf?QlWg!igJrNf`E1RhHvMGN0*xoz% zY1V=cZCYTIC1#+sg`AyTdQTlc<{3+xWXC8ukOix)dT&ivTE?rX8`|LO(>`+ z{N3U|oLdE|mR-jN(P^>VD7U+g7 z_>2V%6dy8oto?B_j(T8V8-Mg;uj}eox3?n_A79G^XHZ4j=#AVd!^#P~-Uj>l^>B zZA5)q)TT(3=juYJZMd3!fwJQzv>rtD9pQhx-T{>7>y36%|J1K}C`<5_EB~tMTK#%L zznW2br`(3RTS1u7AaApa0GgunKf%;)Q#ZD?k_lfB7=Y zzv^4