From 33ddccaf6bc0c414260cbe114648d0a547c5ff7a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 19 Feb 2015 00:01:24 +0000 Subject: [PATCH] Add larger P icon (256x256). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9685 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/icons/p256.png | Bin 0 -> 12194 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 prism/etc/icons/p256.png diff --git a/prism/etc/icons/p256.png b/prism/etc/icons/p256.png new file mode 100644 index 0000000000000000000000000000000000000000..6b059bbd5adc1af31d377924f7f7ea8a9ac94bc2 GIT binary patch literal 12194 zcmZ{K1yod9*!Dg%z|aFqNgITKQX(l~;Z+b+x@II*x{(}IL|QK*AT`RRV+iS(Q3Rw> zq*IXYZupN}z2Eo$YyH4l2RQ4TJ$t|LJn!?qL7KN!>8RPM0RVJ=-MD%e00{mS0+bZ+ z#mFh$626dGsi>;}kRL&_cc1*%UFW;1mqBhT=QR8Wui1^e>Hv811Au!5zz+N`+!O$= zVgSrw0g#IUfYl+s{Eh;AgTnNd>Q!*~>l z?A-Kesg;$fJoD=PhchVw`D{E zQ421HvNO^DeEvZzTT`}}SY44tm`ToELo?p#JfZznd(gPE^U}5=Nl?B};`HglbkAXr zy({Y3%wEp$e$_D2W4>Z|_X^JA)GP4CqHq>)#I8TanKCe4 zVWn`p1)<&*$hs2MEPWuXwX^d&@BHLynJum}DvBI;`D7BZXW&aVl%12CJu^uQbfP<~ z!R)NHA#k_zE&7`7&VB7FM0xocBe}!psp;v3ul-6u#(85;2{ko0vjGsc{voxdw=o5~ z5v5lcIn`K|-)Z(xP`W5>^qXjkOh8U$1LeNe2xY~jCSYFJtLs zV0bf9IbfPDbFWBPrOGO>?M1Dr*RFk9LDEpGMql5(D;35I)6?O~y9nCt%DeOdm+#ZS z>m86`Eo6OAShLfTD6v)Z6$#RQMTsJ^)N6Og7$+*~S6q-b>CwnQ&P&O7or%PFI#z81 zWD`T3Mnl!xhV}|%F-dV%WMbP>2lW8GFjP(Eus;(O z2c)ZaOnnw3Joo4|saz^gcj7tr-R~UI)E?luIr4L`R;HD0|`oKZ!Nza3T$K=Nj!$Cz@R2 zrB-G*6)K23eOZKM72M7Eu8+g(v61QhB?@VNnS@@H%o4JH(r#WJS|c4Ji(=`g!Q9SS zbuXq@$ys9*{m|=Z@vu9~tuobACjFl!HA#QRHy)tjVh(NJbrbTb>3J`fk-4%EB6?|E zw|bwS6u7v*rwWw3W(jsYc>=1`cfb>d`&S`OM(^PW=tEIa0tIYAV=$fa7!((4@fvyw zSzy=;_7bIp^J>-tB6Q-d+_~rr>RF?wDZMeO|Y3*^cvmaCnR7R{MP4(9nyABsuxr z=41QPR2E1c6EOMKuY}z4vp-lg%vo6V{m*jms;a73d1KWQk)(S{ty#j;0DIq!0{3+} z5^Pn6quRT5*@g=IH`gXliYjCOLiCSDpDVJM=8~p<6tQ2kpDv!NB!oCAxURcStVmlF zAxT$n&-+oecS}34;Ip!JhY@?@Nr&BS27{AT|C#Yg1GMDh#~>I>GIHxj>KVk-0BUk( zMz#onwWv|#@3onF7#Z~*{;<|NaQNb#Qd=TYv|8zeSMg!Q>8OVLb5nxR>s0abhe#Z8 zci(RWVhRrMBVY167$q9pxvFNJ{O#5(W|P1}oRHP`nE#XmUlk?kb5IAVm0DIiaxPv= zh}>BruTLuHdHq&m(_Pe$#|Xm{rP1fohZe85P+TzhOKUn>2NA?Xnzm})he)%;eR(uU zRPdCcT8h(9)O+BdOaJW87SyiM1C!3hGto_+aFhy3hGGpUQX~1NwugQ;gDW|)7_ateaqg%1hDuVq_rZor^ zMv?egLdbz|Q|9%N=RqhocBpX~m-M1ZB?y# z;&hsD5owy{;TdOxh?eH-B8tiK|H!s7494mQK z&r8qD3)G9!5Q4Y#Uo{lF`6QM{EY@FHOyR6=$FF?yI>W8;0jc1;@M#gM+(=lgqI1}- zE80Z&yhHxy7kA`Qc)4*8P-yzH;AP!t?{{`dUCnn4nGy5CBE;A)=wOJnH+KP`7l+6i z9cfbiy-oBFY~18s`-wWcy$TN;xz6xS;TJ zq27>|Yw`j+C<+YX2$ijXWJhEqAbLy+Y|>{4ocxWZ?Wbm1pgeK2i2zyc(+*x^6tdqDEo4?|6 zquW!MaTzHxa=z5Kjd1!wo>k7k)8yVtLlh1Za{Pnsix>DRz-Ne8T2QHu2#u{^P$(I%;sL@Q+0-NcX+m5R#=yV z=AJ;&txv2SR*~MTdjXfL;K6uVBTo${fjIWzV?1S zqq^KB-T+=0Kk9wYR=+J(P05$?^=a~^>X7~F^c_p8o3e;WQFu8+!r=y-LAdT#{Ruoy ziQN_`-KHMhjrx*}Z13ntXg$HCnMAuG}rS>rOayZz?T@hQ<%f<`CJR$Ue$))UeN zcE-fF4_gzM-vhFfpI#tj%s1kYBcDDan_FPt`s&DxW^mS?$iR11D(fBZVZ<$bLg*;q zTD7r#!J-b2_sw$iiSz5yyScrHthg@cxSH+COpQDlB^nZ`T~IST&!*1?x1g-RZI6nP zaomvyX-Tru)DE*dovD^o!M_3iWv@LwF2u;qupTMWrOks6z2re~EEnd*e`3XVbFO__ z23O>`M;fkJv{UzumQQXQn;jZZe|#sBo$q&z?TMmjVKGA4^Zso=%%h9EsXkE4T|}xI zR@JJTjnuQ%5V><2PG-CpPp=zVRF4go0n`n3oQsyed0a!Tgkne1&JW zfE_)*gv01Rv2-%S-+TYZT~IBM!>g_+d$kmNKGpcu^WCj9$8*0e>X5Y-ksDi6^mSWf zo@O-mOXHbHbKlJdmE@naiFdi{`&vQ%gO1k}*e3%rbSlfUhpaS`8jr1+`5Mnh_Y^jf z-qOW9Sg`p6{`5iD$3baN-@p=JnXp3QR#`Dxn^LRYb+edkyHzvoh&LG+DlLq5k2z{% zjV`knaGiWmkJR#jy+p=8Z+f`G-q&4J^<>f}&{^A|F_YE4(r&-l)7D*RRbF19fsFUt z*p>#@uh%P)#l$6?zp$eC$0yIQCm^wfMH!Wck!bCJxM++I7tT(Y8?Ps^-f8PwWpcQ( zy?z!t9@|6k0sQg~+E$Wp&K)i=`nL*wlJc7CEUXyAIZ?#8QWmcp1k9fuZ+fsHhscjf zB4cCYltYWjDEy6p7c{Y-@_D<%^n{o5Axv|Rg|$L?XKRrn`pdxQQJBI#R{UM?EK2zt z2B(hQx6s{}f`RZ2nPn~aan`)zg6v#pt)={B`k8scZm2R*)xx1$M_cJuufK`&X@r@l z>`(uXKPJKLL{Ceyk)2Lqcw;ILXx{_)L?=P1-Z$%?IaAxS`Ntc*j13|+b`du>n%`LY6Jq#QS%Asm&?W~S?se%)=fT1u^S+fB&_~WUnJ{B=Esy- z7q}2*$+ljI&92y)MeC`~tdW1`V8seUk%ceYg!!=E%<2)8Yx`s*(nxzDs7W@v1U46k z-rC>TRiCforBr3V1JqM{VbD|a*^T-TT*M>23=%JG5bpey*5zG(+>7tMgV(%VmL2v1 z8LmvfC|5<3*3H&_cxc~q3~_UiZc~Y1E&8@MctYQoFk_OL?97HQDIps29Q%c89~sEo z&EF;y-m_9ehJ!n_b+rZPoaBnyRPo{x9-WQ z@53_sc{+OiY7MCI<>Q+J=nu06HRC$~PO-`N)Wfs?VePC9|5CZs(YZnXI$Y-}LQYQK zK>4J%iE7{s=KVElygoOaxQ`0Y3$ZngF!?f>nHGoudf#R#Lc=wlDT?N#k7<`|eKhew ztZ!%}^(GdKLaEw5I9|c$9NF?5?K=bc);#ngRM-Xk0%rAvCp=1XhfS|_ls2^eTvP%m z{!mPQ#~#?U7rQ!zDsOpK?cP;Tet6*L4l6muDLLFKx`7(J&rbB$uem6vaiL!}6|7R+ z#^7?uW=fr>DoJ{KOI>0LZV24L$NQZaE>*`H{y4s4o-8nk*q6R4IsUIWp&a=@n;zG) zvGFF8;X;}a*|@VDH*d-)+o-?QVD6qnhqF4bfF_-_-L7z5H;uMX%nrqQD@H?l#`<xR`ix`XLu8FE^{7J|Yy-TnnD4Z0{PU$*bB|!Jb83QO7869lyte&0|7~ zW$fr?SKn3{c|b7#p`QDcTO!&@N$XbX_4g7S4m0ma<@Y)%~%uZNFz(>avu#M+nmGpbH>KEfa_zNwGQux zvv*qSbyIuvHk{isrRX%`b*ib43t$zcvuNYKRK?`amk!{nTxi<20ZmIj}x? zZ_xPARd$~eYiIeW>XkI(zdIxiEpzUQ158DdIvG}k#riKeQ!HjNKW&aFhmDmv27PKG zdwnj^6@Q_Qpo!RV5w;xmz16zyy{~%e6&ZH#=fnEhuC(ZddvYTIN`ze5#tiZb7LiQS ziDY64;hmkrpiA}3VZ@CzRvrkp=cr0w(b2m6!PKOze4ecQb*^1SWud4U#Emn@tk#!L zuZKsoXe*E|=Xd~X5ey5WZiRyn&vAYn@%r^;u$!bIZRV+)Sbe{K{z@;U<$-s-#XE|| zUhm>)KYK2_C)T|GM6s|=RVCEO^f&pBj8sBxGdtiGjWhImbwvFqS9rePSyOcXNq5Jh9PTzg_1kr(0y#O0GIqjL&I)!#R)UDFYNhujNC%gK23i=yJ#Xf) z<`v~b%I@}}Kt>tPtN89#fZ6TT+$7vkCFNqIr1e0nn zU6)w+)={2lRX@$G?CJPJh_s%id%!+&kYL#FWu2~gRL{!Nl8>;5?1qm~SzCw4<(Jv| z&yQ(Wt(Gz?H#=5Uxt@)DNwwrdw3>XwLVL=+<}*^{+%uRnudN3pWtysS`WksDR{i84 zrI6Xo#09!-M;%aR`r63L3;N~lI&;!$C{4}GtoY#Clyg zI?kiAs)Lps>wC=D%&}Xqzj$iC>!L-GS;U}E)}?*{>}Fb5wn~-KyysA_q%7D6L03)j zt+R%oex5F>+>5M7Lu_11?|ACMQIxv-uGhcG*0mNz;huU{?Yy}v=zdyZU-K-;945)4 z+NU&0PU_dtST8SY@{x%m(E|Yz!FQwUki67ya-vIdQIqwEWL~%e^$>$L*oO36ytu3G z*;lMze8^SOeYG&^da}q)wV3_`TU*-A_BSPR>xC zXUB(CW$)t&T&NBaxF5)rr%3gwpPFxEg-&LtA|hI&cV%*QTOAj;xmZcHbRassFNxDo z+|$02by$8>D5S;~f{h5596iqtRVXqqC!H?G&{%IF;Q-EU_R_^w1Bj_oMM4gI@)&gTfR?WV_7QjF^SSq*yyZ^yAE*|V2sJta9_ z<|*2rZ7`RB+J_R^1CyhX*n7b!v03u$X%Aq0t%Tp}RvMwS-DD}P%Q`dOyk~HG#6e%H zSl6KMiwAW$y<=1?y{I$9Q_u^A{?Ge+J`|BQn6|OpyMU;^*s$JlwHo@6HJHq&dVInVhj*={?R%~6nQcHM^&9*eB@hh8|0-`ar{=q4C9 zaL(0Upg3YO^v=0`8&qu6U5=|w*1L!~9xr)cJm2bqwiB3fN#>z*((%Em8}s0^(%cF5 zm+d+Dyxk&12J{1ET!#CoQ>w9_3~rKy$8i8w{0m|AJ-`~c+YfutjC4c{9b($$ME%Yk z?d)Md=Y^ZRX(i;drM-PVl9L=M*ogHOQP;S!om7VbCm^(A--*)eSO$YtK7oT#RX1OF zhV04aI`1GdFPe$?C`R{xTbw>g+Uc7)L;5}z$b&R0Tbnin(Te+1G%|8#KL7g72MLqG z#L1FP_2JN34TH&EA5nv({+sx-j8E&&p-8ons+&;E+Y8I!xH9tk+O8|zclkF2mt%87 zMq$0dF}jW4`Y8mNs0~4uaMLDUA>wd6s%?lo#&^Zz*hs?|Y85^?Zrc$1)4%lL<~s#C zZk)IVsyr*yXxC)!Y|A#kJE`@Q4dt(u0)kLt>(Gjh0tw zx9Qq`K;v8}4HgE=wy8*a1Ilyj}*tjT03&& zvB|fu3;Cv!h4iFkuM)^(yR+M$s}QPPG7qtxMlUU?B%C8FS4sn|iNq}l(p1mqHehL$ zN?pXx(0GJ1&YaA+upF|`Ac;5CBRzeEG!xzx29DanwWi=@i)A!K9q>sGhW*7SW6?C& z7y7g0JjU7L7iH;8x68nd+N(9R=mu9%7vtMYwGX4d-Xm zYV@y8BPXe$!%7u`&$~4zy~@06N-rK%GXs zT!s>{f5zQC{s?U*9%=y!7-%r2X;`1z>npwC+w>0N0T1_t|cX1iI zp`cuKboi?mVCPFXjujy;FWAepx_8p#>7J!%EJR33N}|E&@>U#JzPEfErzPZ?+bL?Q z6ho~d-1HD!uget1ee+F`=t&!O)Sg0HKaU}dLKM%Rw>|xgoMS%9r0?;7HaD{-H!9f3 z`pbz-A^(<^76fUnd5sSCo8^1B;{vz$7?mYrIiDvl(kv-xUv$?I2FFjxD9CZkEsjLo zNfITk-w|Oc9D}Yak3uuoj$%^qEO;t>sy&?6CFgd0VV@-9(~|*t)y0YAF^P!>2wra8 zYFtoI5D!e$hN)CBRIf*&377`lu1CtuAhpzX`wb@(9_cV|tocq|T|JN!9)lK&b_Tgn zNB$D@9wAoh1kLq5@gFOHHnh{_dxPqqj%hlaxx`~Cd~)&_t@5Gr;Uf54smB?fd+f`! z2d?%pGx}vqh6m1#3yqIFmDP-pDK2_VQXIal>mCt=@<3u;Y(}rV^uQS$o%V4Ha%^5V z7u-I|^0aQFXPXmIiM*z#O(g<pB8$s-UJVM_Aq$!cMTa+#vCVVtASTv5et z2%vp5Ajq-`lWu$_tcr;&gY`eH%9}>L&z_gMCg#wpxsJ56KMS~g62v6w25kgg9aV>0 z`|_Z?qJsE!21N)CN9oEe!`of6f&bSWCff-uh(mMbBv_ed#@r$ zx)@*IvQEO1;879?6@+t+c5oGYJzbpucF2)d$e99WKfdou#vEKulXu7+bJ%G({mYSc z(9F&Ox4zHrqce3M7Ed1Lv>|6Bl&!~{tE-w7fYm0PF6*yCvc2$4O zz8OF8II-bGOhQ5x#Y;7QKZKZ~;z0y7y6hp%$;FpfRrCXDZcAr=>Qpwf4n4ZQQ}$Xp zhvsRYz{~+HP>Yw@KlLlW^z$x*^G6nCB-d1OGlq1Z;b~UQID(Ihy?Ww1aLCjsOvlwZ z^J&#N+ygYtV+s{;HM%KYsFCG}{Qbb|bahCFn+LU{zgz zY{HeuRna3~_;lyX3C(37JbevFq4QrY_twpM~Ur8yFNoKX@l%y8CTq$U46NNsHExSYB7;RQX zAz7rb+^P0#Rx!t!*ri(;k}GZN62cqE`hZ-wHLvL@m~)yPL+8=_QDbH5SYikKD~s%P zc_k(Toygk@kpWMRQL9Q>@kS5o6tdn5fs_>q+|r5dksSWMM%EWezQ(Aq{j@sm`Hb%j zq+Xh~Dtd<>qajMDQs>#MoJ$w?wSId5uI|1nJ$n+)imRkenk`8g5pLIt3j*GIBlIAP z;LRb}Mp0UKpmOdC#>|g^KC!xg5%=!LS5`m~s9LVfgbO=5&V!F}44h;;7)FbIn%8Ei z;&m&-^hKGc$#Qz011KQok?HPpnDDi%FMLbii3WE`8FVhpKX{XFy3)3) zsrz1lrR1gY@nJRYt_nH&f9;@%oA}YlZ9;Kx6s~yMp-VQmGrgYgr2?*qyH^_ z?vbA-*2PR@T>Mn+GrQIaJ?@pCFZt#6OLaccNRZuqa`1Dk#zU!|{ErOAV@TEWW~lDq z&P9GH=v}=3|Hgwr*0V9)%b>|kL0RGcC8NBO{S}^EY85FH4BM}seyDo9H`T}}4Q3V` zF%e@rh4J6sGO{F2P0E$C@eK{T>!8gMj)e0PA1)&!qXgP3Z9FlxFmoVx0Yeqzfh+4h z3+v5MD)TebbeB?W+Y%}jtTzC%* z0&~dTI?ERt&nN~_=QA8@PwKQ zSG1UUQg8NI71i67nU8~Gza}{N*HqtwUm*7CI+OBjzA)_xwMv|^$8h{GU0zwnUHVk3 zRC@p?yCg)sjN@noep?nPc`pL;SlNQW)0*VWj%vp9u3q~&tC@wv+5z{txK0BYDlTQA zecD4e9S8n&ZN7fY6*JcnxL62XvmS0Ihe3cFsA*{UK@1VX7}Dp@pV5%_@Zz&NVSn%Q zvrzUw(FojS6?M}X=BG0vlf=jw#;5CVjyb_0dcB^H8!PZ9dOUj+A$g~ElO&S&5c$j7 zY2DD@4L|vC;o;$uU>~_pM1~R0$HPWkbr#~ro=$FD+}uFV4C#0JQ_U|p4J>afF2nO2 zTU0@)osfC6tx?GBPmUjZ8p|bSJy2$e3I+j}-=XLUW;+UdNj->+Kz3>m-P1w*%Ny^16E<=$}5kDRk52d zU!O+Q%#E(2GkJzE#JMJK47}{Aqp1%qa>eSH%o_67LSK@*P6^`o$SgTf#jD$uNo|v> z@DP|(WJ9x5dAY;8mz%-02(G~@m|@GVH$QeN6UorZWa`sBz|15q+P@r^{_L&99a1~W z@Uz^@lb?H_Vn5`-|6^`NNp2d)&OGPwf73M&X}Nw2T+H_II`@f9SuTgx7;a5IaJ>)r z=8E6<4G(CZ53WA&*A#Gzu`J|PUKc-9bR@_=cth2mg>rWbgF-dpC9+Ve65M~bt%0ul zS=Lo8Ib4JiQ&QqVF8Lf@`bAo4+LhW5EAkHG{iD_ppy}2lc{$&2j+UKKxJS9iHG3OP zkd)tTn>``cM6VxoxL5f>XlTMRmD=^!PVmC=!6m#+ZM|;&%BahC_c|Hb(A_VVr zyheG+`$Ukb+!=-b4OS=UePF}MFUfnz$6Bp8R5mP!TvbdO7Gk1~RpXbO-96~?b)pEa zJ=Jd*7cb)zp3_1{5m;{{xuEUVRMf3-EXdrdASXwtJDj0g+xS859jew8skfX;71`(9r*JYR?JE?pgqnd5*((`>9gqq^v zR78ngP&k(1@oy*fGm4jKohTyY=|EE?bca!Iu%`!WW@bjNXAIAg!DDE$@hz5CF#Xo> z4`#}qIR0g_z~p4oYG0qczM=la&sgW51^RcnxI7YdsVOO6i(-deDd}&Du!KBLWDR)? z4>na;nY!&XplXuGkQkrGkKsOr-1kX%Boyuia>42^EzEnm&RnQjmVqH+14>Oz9U^;C zKQ;)Ajg2vZjqwodr3ICgq_-y0cnt!Z%SgVjOqu;*%j+4WOE?tzx`S0zdWW3n&+I2} zPmGbjRFw~HUQtmL3T8ayysvJ!AmSAs7aZq}x|vYeM+J1g-Gtcq97fk9wdC9Kbve4X zy|gH7=QAK&P-Gg0jO|362S?(;4)~qC7>wBX^2(k4%*;-MnAq6mUpxi%D-|jQG{*ZI z>D0p0d6|~fkH;S^jqNB^S*q`KPoG|@j9D>eTD`We(7>eZu3?XWL-ENH6Abz30r@HX z5(`wMnVCo2SW8QOIJMTxLv{7_his(H{o6Prov70{L|ag>oO%&(Q86=mkjR5(>YDE| z(bOs^iwm;AHN5!~J&?}LmV zdSs)8pa_+&O$TCt5z&*cFlm=d_csURontnnQiGaXS{{m)2cu!tlm_nZ!KBzatBIR* z{d&c*%KaRqCOKMJe)a6nRejvrr%@@Kd`T{m>esZRJ!G`AmMjW%-b5Eesr)?So8I+l zl)v$wa<^7*fe!As*uN%ufrfwHYDCnJae<(p-XpL}BE>F07y1O!iyo-toezF16P{qxc=QyQ$Zv-2^mr{@kATzg5;zPxdU zA8w~u1wt#b+9w5LZIHZ_@O0s8lGrOxS=;64Xcl`gP~|hG4v*a)P8j3hE?gKQ236|2 zUZA%p_Zu^D?GFmzLFCy8xB$00MDV_Pv56FE);OfWg*AIhD`ytoGfp|@b23R%n8g;# z&J`JcT2M<|iRJD;G^pDM`_E#9V(Umd1dQN3keX5~C)pSCt^+D%zx$N9lv-Ht+FTs) zM*Y7s&Wl=mm}4A`urRz;hp