From fbb543fdcf6331bb6a95c82a403cfcd043de273e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 30 Jan 2015 14:26:46 -0800
Subject: [PATCH] feat(CMakeLists.txt): add alternative image formats

---
 images/lean.pgm        | Bin 0 -> 40219 bytes
 images/lean.xbm        | 426 +++++++++++++++++++++++++++++++++++++++++
 src/CMakeLists.txt     |   2 +-
 src/emacs/load-lean.el |   3 +-
 4 files changed, 429 insertions(+), 2 deletions(-)
 create mode 100644 images/lean.pgm
 create mode 100644 images/lean.xbm

diff --git a/images/lean.pgm b/images/lean.pgm
new file mode 100644
index 0000000000000000000000000000000000000000..ac016135e80c3120e45da26839f23b8e6bc9fa55
GIT binary patch
literal 40219
zcmeI5d3+An`oN#i+TGi#y0ukYZ7-^NT|r4hG^+OfqAI2KSVGVi?N2PFMeMg5s)Slf
zTT3X_NQ*=)5g|lT!mW!mwk$%n=bqWmnK|>mGjH<iJNNU+`6Kf@&w0)>XTI;5GiT<U
zne=E@p`LG0uUFgl>E5fA?`s{q_VDe|t*dYQkg=18PxS3OeBz{#@u9v=8aJu%j}|R_
zoA@=W@Q-HADqu+}Ay7h~gh25U$j;35EMR7~XDPGLv;Da!m3`x`i(JcDSxT7fo=qbx
zmtq|K0$=ecy|k7IQw&O0&+-8t{<6&8XFzvJzgHCoF*%kM@HF`sSl)*<$4F9>dDdKA
zdQFA^DL<<&jB)8{ni=`^7W--YhMG`mpJ`0bGDZ?8WlnommM%3Ff+RJ|7e><=|L<~R
zfbqq<ljCBOeIcjFQN0EwqXEEUXNz2aI>0mn#iulc(l(FeDc))+nFI<f^{CD!g$l}$
zh<|$v;HZg%W%IjUgyI8rEZ5V5<9ATEF0@Rm1`Y37@OI_mwbLiFK6I-Jv99W7Gp{U!
z41p%N6kxE;l6rS<LRs7op3&FGbNxqvZ$}X**aP4z&%+2My$NO2Vu15St3Fk_7daW<
z5TIoGK&?AehJDeSP?p@TS$xBQ<fq9MzMlXEqd*ya+2<ja@FtY`I0$@GJ*>FC*ermX
zG87yOutuM6NB1t2GXNjjsja#1&HB&@6)3k}fO1LZzHW283k7}Q)eN_FwBqnJz+n{%
z?gZ$1-%2sQkC&kw0Ep&S%%(LEo+D2pq&|fdoec1q%?Omcm!aSj(3h%>$Kn-$Riv;A
z1*-rgdmPQ%P$B?|;|WM#c<vGd<)RNf@jnaY#N#m4<I1ZAvjBz(iq=waCcsQJ-=^U0
zmV#rTyv-_e+!sOly@Hv7g3X|;XydrMGkG1#mPg=oca?OPfBOaS7ky|bsg>cy|F|p3
z&-XeMd>LNmSIxThyHc=I^roTUHh|&QW6+-7hq4sPMbR~~FBb$uC8-nx1v>(KV?P=x
z;e99wFwUc@tA$d_!uyiKLb+T8d{iepf&-w0LY1ODmK?8M)>$aH1)zf+7>ch0pxg#n
zq*TYFZDklKm(xMP;Q-4$2<ZSQ*cGaHP;<4&Rw(_w36y)jP$NZkv@AFQ%J!l?Yx0GF
z+a^#j8K9?S7OJBYpxkK#&#4u%E$jf8qZHDgK8Ond7Am=xw@!e9O8`z;uCd;6DAY|?
zY(^+KEdgvl$8rRebJbyla$I(|C#zGBG>uR&wgR-swi(nBP_Pd?_q)xCEAF2G{G!Or
zy^msi2VjOGTiiMW$}a$OEmm0PcD(_-sF^q|1<9QuC|4)V)1~ALC|D0#dp0Yv8{mX?
zfLti|9)<c3G#?9+L!gkGw*wYxYjkM`f29^gaiQQ^u(`^_Ay9Iw!kfk;wqOBRKzZ?@
zU@*Xb%FC_j5GXhoAkS@OjSl^xCOu*`fpW1PRJ~~|Y-(`|l;ra8wrM3zGwxSpPYe?%
zNXE>4OoJFRoB{>k^yESFQYf>7J|;6LWRe+dEIV`zlx^i;HGO=R<aW@S@iT=|SPg*j
zbg4K7O3vS*mCKrPGB*OOV9cga@C1l+?~J#p;ut7ou}xX#R4}cwmN8WS^P5A#IRKW|
z2|EW0c`Rvj&FYydFj*rcNG_n<^@FljC*2(cWi-^j#2%v?Z5cos>*4|mo(5=ri*+~C
z90Y~j0NGoX1<+e}SgxQ5L!pm!{wAt}pkOy;royDII`dBeKj};^p<oceL0tj9>Le&+
zRf+y6`IVNeO(0PJ&W39!7axP_t^%rgPJ)uwTv^nsR?mfyR0`(nvt2_$(h0q;FT&HE
z1O-0;us-`ckkc=_fkNgDd^Yna=xkntl2PCIL!Yl@{TAhduR7bK9g;gJcWS_s78a>`
z4N74nBNXfo^{y4>Jg|_2^(R*~8nWaL3X(_v|1^{`7>WbRsp!~4cGKYlbvaNH0iJHu
zz)EWL7}PWzjH|($>`dkiHyO+6EX4pNw+(rF!joj^ClMRkh!dkb6r#FqDR}Ey0Jkrs
z6$g}Vr7BmloBs4C;ItHBP08EK7r0IHS3e2$ILGE53PzW8e`i<>PzsOj*t^GW+P9Z?
z`ryMqLzuAv7%jQ{(WwO}ILZCYK`}rvR@sV$+tDH}1kjJjc+tY4Vj{<G1q#-I(#JVv
zDU;WrkoSE!eF`R5g!icGnTXkCVJt7p5|o<&4O}nBb{dp|VNi~DxUB78P+<>iku*zC
zkgVNxy>`lJP;hG*_=0!5jI9~?ai9HLgOcA4z~!SA$3ely^72oH0;@z<=AL?1F3Dn`
zqgCN~S96BWgEAK?a!(D7OWr{JV@M^>T1yeT^8rd3&enNQu#&sSlD|F$lQ@S$Oje<g
z`w3Tb2M&ZX3aXsrAG2)z7~nGB!7`K_fG3qTVa8AngmTT@#MR@%OJLk&849ikXvPg8
z7##=&+e0nW`jQMX2Wqz7#5xoV0oZ7^7bij?uZ!(7t1qz!K`XOmPd1=jdjTFjW3m?~
zLb>S&O--sx%&uO>v;hTo0knI_-;EQY2oI3d1&@Ym4~A-{tJdv65$+64<_sMP<xF)L
zVt^qVF4l#PW_i{x$zp`k0RQHOawHV&54C>fRu^%(>GhZtu+>s9@ez~dAI^jlYx)N5
z?Lc_e1ea|nNZxw?KVC3rLLoOm9kY1V#j^k#xEZ3+UQ59|e<;0;6V0Je$k^&<PHhoi
zhYH;LW69Yj6ig`xew@p@L!pp$8Qeu`cL6@(!tx9XMgj~p#&ar^aQ<V-=}_UM@gP)-
z-Ijvb9Kg6#$f;109*0@#v1&p!7~taUv3d0o!d|Eik7(g#$*E8t^yED=`4UR4Hyi?G
zu-{T}CFeCMr$WIkr8zHg`@!ES1V+&VDC8A-!>1J;3#Fh5w9_B;zCXhUdK;sA0_Dz=
zP+NCr=vXM^MYqcO1@-ShseA^4UhxD9k_qgfLMD=Pq1^I;X-rk|;uG)|Ytd^SK_Op;
z5<kA81#>PG@))QJ{W1dLI)Lk1&3Te%PzqZCFt=I`hC*iYK4y-*F1*U<M#VEI7+V>d
z=TOlc3<dq65mi$>2C$3PIkJaP@I8PjR5&L?A)hLsFAL4V&&}E6!Qf3s@f4J$-b`~c
zl=NoMK>PjDEPPMM)0TpT0KVEwj82Av)9FWJBcO)%uC2z3kvxWii{!65iQya#CFw8P
z8wocWT3BT3ITY+deR0mwP)Hx4zQj#l%1&Tf1y3mgluOS-P35_kv!TSPFOz0>g6DY{
zSX&XG2w$L4o`^de3f6_r(xRjN09#oAJgq2DaIiYCbvTr7!AH7OlJ&3b{RxkW=a*zL
z8bC#9y`96MU|AR{RQMi$HKd+Qky;9#1ZXHmbUG9=Stty^=fPvV)sV#t1<8l^#W_Q#
zLrJVCen-a#`ni5+AmJ%mOTp~s@W^Qr$>~sV2vkP=1}v-&Bu7(3D0md$mCXMEC}a|1
zE4G8i`ZI;A7Zr-|o*`M?>-d(E>kpmJR5e>4phHt+C`jICh;u#^(#O^afKv414jl<f
zEjpC6GEfo2l{<>8KloqSm@Gr5j!+i!g|}U}(}hOgqC*i@HH1bw9*VHM6G-o8CB5$c
zwH3EvI)aaS?@3z91h)l>(V_5plU37(ePjRx8jO5HF|-s+uT6dgd3J^Td#tuAKbq%3
znzMGxX4`4&`dU_@V1Sj|9+6UUK*4<)lnepTADDcouN(4zcGVhL?TRY97W&fPH*@Xk
zB6k2lTPgc))jyDkw5!=JDn@6etfVzpa+jifgi;NhUK3iVN{LWHpoBmPff52G1WE`v
zfk4d3L?I=lO54O^H&Flfp`hQpbXiRoZcr6p-Jy1kHY@0LdRI<J5tFrh+^cF?B0Ru+
z{T{@4*;G^_=B3DSuB!Hw1Sv8-*DPh`uWDQU>GrEs&uq>UyS#j)>+vg@FgPs*Jg)zc
zNT&(ogftVv#*4zJpRkqgb62Galk)G33Q<z9GOW70p=Yz%Wc7dA;+7pgO_OUB=RY=7
zh%{knhrj{Sw<v;Jg(+o2hL2Ch{S}P2dTHf!i~Tm#n<`c)w0}_0hbcnvW6w+xEn!0f
zgWmW-1%PRvcWk-vCgN{%n)digdL8b&VFvCO20Z-qFWOOz8kUHMD@~IE4r&uLkT>Z@
zeW7PahPFdNs*iZ9KWh@T_}9l@P|Rs>585lqu^%fo#7h%~3(BNq%_K+(uYH`$S`b5)
zY-3G3$-^)u?d*Gyi1D8)I%3L@naboxbZ{6UBBe`{`W+Iaf)T1o&cQ9Saph)3k+uhy
zYWk^u5p;8xGCFIfK{_aZL%iKZE3Qb}Uy4&iVVlxJs&njIEfV6A5Rx?^nsy{dH$P$*
zYr%P|PpoB4JEv3n@10T+k1%U&$1Riczv#jsk8de18=mzwRaz7S?%;~$tnm=N3+yWv
zWISv`iRnt}$)wKWY#s{*-#kj7#4vssHz&I%YdJCu_voNRy+^ww{*ypqZkrxVh!-59
zUZLHH{GZ-G3YI#;A1a+9KkJHrQ3fI&3a9n#e!tPGAlrp<y{+*k_C?{m)IqsS9-kSY
z%)po-bOo|Tr(jehZ9&`-&ggxv;86w&ZWh+-pKZu^3Ci`>SIOV0Ti6W$Y<Ey_p6+L{
z4`ra-h0wds>2l8iCG!m~6r4s^detKGlk1@DWM9gOnv2I~(mTVX1rIT+E7_wy{oIRK
z?g)Rhbh8JMUAGiGu3MLB8_K~B+72}-;xhx3oUl}0OTqm9T1!jqO8Q+rlqeR;gV*pF
z+fpvQcON6gxjn4{lGI)3!}>DcNt+>D+uT4oJ4PSK=IIl_83-UA9e+=M`rIFLoeKqb
zy{lHCt#C5yp)egS$#0FvW~n6v;o|h%oOcg1CRr(LPJ|s=e4=$0PANA~l0)V4>c$?F
z<PmB?Mi?2dhmyhXQ%I>f(jW$Lig?-5Ly2N84Vc~wkFrpXF2sb<%-&UH%qhgwP-(~_
z8drWHY}`OOG(!y_3p5nndCIvYf4fj$Uec%Tz&PfTj0xjNpR%9zjuZEOyPGtG`)QPz
ztB0a%DN8o%u0HtXm$=u^3rIVP5Kfk*3Uo3$o*|r2?x0NBA(httQc#9!R#760iEimG
zp&uHC0aBT7rt6^uoI?zYXCq2bFhLA@X9W3KNzy~nU4357(?Lleb{Xeu$Ia|vlh7ai
zu&6*WrjAY*#LrhN25HM)lFz-RYYa?B8$9EKSz4OCtQz8d{~eL*l=R6>oTU5hm7OIF
z*FhP$l4MPru~{v>=9?^(p<p=am+@2inxcoYJzNPYY*&yTf*q%HBE!@1WDvwl`-R4r
z9ju-|3BnK(apT}`)q1SmP{58;vf3K2r&LQBw*BX5E&X_=F4@7$JJ&1eD{`AN*&USJ
zhq<|VnJ0P*KN(J&wM8u)`CYaO1$$q@r1pXbNqQ)|#G+CjM!iOaBXb1pK`x1$exc<$
zBI}!=kT0ZY5klwzNkjCL+Q7!a+mw2&U$;qtLTZ|umv+9%ZpB;MQcwnKR#9p|P9OHF
zkMqdS#7kSl#g=k@@`{BK5zA){lr9coM_AujrAIq49$!k6^Yl=5%u@<o-@P>C22lhk
z@nbeDh=^GBemC(jBQ_{L>~^CB^cmTDwyPxYPM@F0MMgv{Tso~28$r@2D1&t8mW_^f
z%1#l=t+rE>4;_k=Ityb*dr%#Peg4;-N@es=b~l|cOh`jVO<cSqNAMCZ$-mWGnSAh2
z+y$xB4^x!V>~_IdqCPBMGLJkiZFyIp%Qe>|9Xu49$_9`%8cGK1!GUsiIP0QlBag_J
z<lbK@CbFFnLn%Z&sI(N!5bsmOTs@RMVYjb}>9_Pksrd15vd#97k~HD(@eoa>rI0hC
zmMquOPtM~(!Sew!GCF`P+k=9E_c<{zE-XVCrvy`j3Oy91qh&(qq3oK@WD`Y%g1Nm{
zs~PvF#;P(UJZvs2-NahX6~{ru#D#*t2kxQDGNMf=@j*;!S&3Mo4fAKetqyuUgF<(-
zVtfe-J`A0s?t7iu@u(&ubUY|)n}jBr*Zr2P@}Xe<fK{@Ceq$2~j^K3GIi1O^sCt*Y
zqKmSR;)Q~R%f>2^bGjIx;o*-1l<d^e<f^=Vfufo~L7Z#&0i+^!p`^9>RoR!ieMUHy
zRVcWVjQYe>%uvW$(!p|MyzHw;>h_BNbyZ#*gSbdNJ4~VA#0hE<TCfWR<2t6$<q>n+
zeJ>a^D0sM~RJ~${f|2Se5%cmxwi*|@AJPoF7UQ*1>g}>Q6r9;hE2K%bq2QjE_G!ft
z6T3)fCItl(dY=$n^p7L0b+m>iE%zznPB-@bx4iSnj>lw4+(frf8wSzu4!*xPRLwR#
zjtp0`a9Qy0nxaTu@)QZJKDbUA5`0!EbYtj1`9cu)kroNh^@$-K`UlsC)p3eaoNRXs
zLsTm5He7uY=wi|Rl4R$@Z@hU;Dfi2u!Q#)L==e_J0PSR2u}QUy0&`ouaqty3muSt%
za~?Sbq$`rNeN;EaF(^XLf3U4X<M&e$Z_H~FuqHz`?ioY3=LbzmH#ewNm^wi+Vr&Y2
zKb+lxsI66^%6V(menWAN8LCLaHmRL5V98t)*klel^sC{GI&Kq(d6eJd)V@A>N}J*c
z8FB!>A4xf4ym7!nErKVP5GDy7{Ebtmm6Uu^9#4u+Uw5rjvmHI!&Zn6Wm-C2)XOyz1
zPoFxS$)60%(|#2(uyMw$Ko|L1f#@jy+0edbozA>l_ldt~PIykM$LXZoSilm@H#QZj
OY>8MxpoD;10{;bu@qmZ`

literal 0
HcmV?d00001

diff --git a/images/lean.xbm b/images/lean.xbm
new file mode 100644
index 000000000..68a9f5e10
--- /dev/null
+++ b/images/lean.xbm
@@ -0,0 +1,426 @@
+#define lean_width 277
+#define lean_height 145
+static unsigned char lean_bits[] = {
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0xf0, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x1f, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0xf0, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x3f, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x80, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x07, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x78, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0xc0, 0x0f, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x78, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0xe0, 0x1f, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x80, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x78, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0xe0, 0x1f, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0,
+   0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0xf8, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0xe0, 0x3b, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01,
+   0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0xf8, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x70, 0x73, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0xd8, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xb0,
+   0x73, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x38, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0xd8, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xb8, 0xe3,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x98,
+   0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x98, 0xc3, 0x01,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xb8, 0x03,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x98, 0xc3, 0x01, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x03, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x9c, 0x83, 0x03, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x07, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x8c, 0x03, 0x07, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x06, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x0e, 0x03, 0x07, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x80, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x0e, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x86, 0x03, 0x0e, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x0c, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x87, 0x03, 0x1c, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x38, 0x1c, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x87, 0x03, 0x3c, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0,
+   0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x18, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x83, 0x03, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01,
+   0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x38, 0x1c, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80,
+   0x83, 0x03, 0x70, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x18, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01,
+   0x03, 0xe0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x38, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x38, 0x30, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x81, 0x03,
+   0xe0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18,
+   0x70, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x81, 0x03, 0xc0,
+   0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x70,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0, 0x80, 0x03, 0x80, 0x03,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x60, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0, 0x80, 0x03, 0x80, 0x03, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0xe0, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x60, 0x80, 0x03, 0x00, 0x07, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0xc0, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x70, 0x00, 0x03, 0x00, 0x0e, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x80, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0xc0, 0x01, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x30, 0x80, 0x03, 0x00, 0x0c, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x80, 0x01, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x38, 0x80, 0x03, 0x00, 0x1c, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x38, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x38, 0x80, 0x03, 0x00, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0,
+   0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x18, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x18, 0x80, 0x03, 0x00, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01,
+   0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x38, 0x00, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x1c,
+   0x80, 0x03, 0x00, 0x70, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x18, 0x00, 0x07, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0c, 0x00,
+   0x03, 0x00, 0xe0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x38, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x38, 0x00, 0x06, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0e, 0x80, 0x03,
+   0x00, 0xc0, 0x01, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18,
+   0x00, 0x0e, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x06, 0x80, 0x03, 0x00,
+   0xc0, 0x01, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00,
+   0x0c, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x07, 0x80, 0x03, 0x00, 0x80,
+   0x03, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x1c,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x07, 0x80, 0x03, 0x00, 0x00, 0x07,
+   0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x1c, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x03, 0x80, 0x03, 0x00, 0x00, 0x07, 0x00,
+   0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x18, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x03, 0x00, 0x00, 0x0e, 0x00, 0x00,
+   0x00, 0x00, 0x80, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x38, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x80, 0x01, 0x80, 0x03, 0x00, 0x00, 0x1c, 0x00, 0x00, 0x00,
+   0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x30, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0xc0, 0x01, 0x80, 0x03, 0x00, 0x00, 0x1c, 0x00, 0x00, 0x00, 0x00,
+   0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x70, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0xc0, 0x01, 0x80, 0x03, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0x00, 0xc0,
+   0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x18, 0x00, 0x70, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0,
+   0x00, 0x80, 0x03, 0x00, 0x00, 0x70, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01,
+   0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x38, 0x00, 0x60, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0, 0x00,
+   0x80, 0x03, 0x00, 0x00, 0x60, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x18, 0x00, 0xe0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x60, 0x00, 0x00,
+   0x03, 0x00, 0x00, 0xe0, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x38, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x38, 0x00, 0xc0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x70, 0x00, 0x80, 0x03,
+   0x00, 0x00, 0xc0, 0x01, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18,
+   0x00, 0xc0, 0x01, 0x00, 0x00, 0x00, 0x00, 0x30, 0x00, 0x80, 0x03, 0x00,
+   0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00,
+   0x80, 0x01, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x80, 0x03, 0x00, 0x00,
+   0x80, 0x03, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x80,
+   0x03, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00,
+   0x07, 0x00, 0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x80, 0x03,
+   0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x0e,
+   0x00, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0xff, 0xff,
+   0xff, 0xff, 0xff, 0x1f, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x0e, 0x00,
+   0x00, 0x00, 0x80, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0,
+   0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x3f, 0x00, 0x00, 0xff, 0xff, 0xff,
+   0xff, 0xff, 0x0f, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x1c, 0x00, 0x00,
+   0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0, 0xff,
+   0xff, 0xff, 0xff, 0xff, 0xff, 0x1f, 0x00, 0x00, 0xae, 0xaa, 0xaa, 0xaa,
+   0xaa, 0x0e, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00,
+   0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x84, 0x40,
+   0x08, 0x84, 0x40, 0x08, 0x38, 0x00, 0x00, 0x06, 0x00, 0x00, 0x00, 0x00,
+   0x06, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0xc0,
+   0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x0e, 0x00, 0x00, 0x00, 0x00, 0x07,
+   0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x70, 0x00, 0x00, 0x00, 0x80, 0x01,
+   0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x38, 0x00, 0x00, 0x1c, 0x00, 0x00, 0x00, 0x00, 0x07, 0x00,
+   0x80, 0x03, 0x00, 0x00, 0x00, 0xe0, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x38,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x18, 0x00, 0x00, 0x1c, 0x00, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00,
+   0x03, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x00, 0x00, 0x80, 0x01, 0x38, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x38, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x80, 0x03,
+   0x00, 0x00, 0x00, 0xc0, 0x01, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18,
+   0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0x80, 0x01, 0x00, 0x80, 0x03, 0x00,
+   0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00,
+   0x00, 0x30, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x00, 0x80, 0x03, 0x00, 0x00,
+   0x00, 0x80, 0x07, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00,
+   0x70, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00,
+   0x00, 0x07, 0x00, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x70,
+   0x00, 0x00, 0x00, 0xc0, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00,
+   0x0e, 0x00, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x60, 0x00,
+   0x00, 0x00, 0xe0, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x00, 0x1c,
+   0x00, 0x00, 0x80, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0xe0, 0x00, 0x00,
+   0x00, 0x60, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x1c, 0x00,
+   0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0xc0, 0x00, 0x00, 0x00,
+   0x70, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00,
+   0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0xc0, 0x01, 0x00, 0x00, 0x30,
+   0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x70, 0x00, 0x00, 0xc0,
+   0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0xc0, 0x01, 0x00, 0x00, 0x38, 0x00,
+   0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x70, 0x00, 0x00, 0x80, 0x01,
+   0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x38, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x38, 0x00, 0x00,
+   0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0xe0, 0x00, 0x00, 0xc0, 0x01, 0x38,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x18, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00,
+   0x03, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x00, 0x80, 0x01, 0x38, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x38, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x1c, 0x00, 0x00, 0x80, 0x03,
+   0x00, 0x00, 0x00, 0x00, 0xc0, 0x03, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18,
+   0x00, 0x00, 0x00, 0x07, 0x00, 0x00, 0x0c, 0x00, 0x00, 0x80, 0x03, 0x00,
+   0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00,
+   0x00, 0x00, 0x06, 0x00, 0x00, 0x0e, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x07, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00,
+   0x00, 0x0e, 0x00, 0x00, 0x06, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x0e, 0x00, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00,
+   0x0e, 0x00, 0x00, 0x07, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x0e, 0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00, 0x0c,
+   0x00, 0x00, 0x07, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x1c, 0x00, 0x80, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0x1c, 0x00,
+   0x00, 0x03, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38,
+   0x00, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00, 0x18, 0x00, 0x80,
+   0x03, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00,
+   0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0x38, 0x00, 0x80, 0x03,
+   0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x70, 0x00, 0xc0,
+   0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00, 0x30, 0x00, 0xc0, 0x01, 0x00,
+   0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0, 0x00, 0x80, 0x01,
+   0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0x70, 0x00, 0xc0, 0x01, 0x00, 0x00,
+   0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0, 0x00, 0xc0, 0x01, 0x38,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x18, 0x00, 0x00, 0x00, 0x70, 0x00, 0xc0, 0x00, 0x00, 0x00, 0x00,
+   0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x80, 0x01, 0x38, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x38, 0x00, 0x00, 0x00, 0x60, 0x00, 0xe0, 0x00, 0x00, 0x00, 0x80, 0x03,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x03, 0xc0, 0x01, 0x38, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18,
+   0x00, 0x00, 0x00, 0xe0, 0x00, 0x60, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x07, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00,
+   0x00, 0x00, 0xc0, 0x00, 0x70, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x07, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00,
+   0x00, 0xc0, 0x01, 0x70, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x0e, 0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00,
+   0x80, 0x01, 0x38, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x1c, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00, 0x80,
+   0x03, 0x38, 0x00, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x1c, 0x80, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0x80, 0x03,
+   0x18, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x38, 0xc0, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00, 0x00, 0x03, 0x1c,
+   0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x70,
+   0x80, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0x00, 0x07, 0x0c, 0x00,
+   0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x70, 0xc0,
+   0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00, 0x00, 0x06, 0x0e, 0x00, 0x00,
+   0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0, 0x80, 0x01,
+   0x18, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0x00, 0x0e, 0x06, 0x00, 0x00, 0x00,
+   0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0xc1, 0x01, 0x38,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x18, 0x00, 0x00, 0x00, 0x00, 0x0c, 0x06, 0x00, 0x00, 0x00, 0x00,
+   0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x81, 0x01, 0x38, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x38, 0x00, 0x00, 0x00, 0x00, 0x0c, 0x07, 0x00, 0x00, 0x00, 0x80, 0x03,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0xc3, 0x01, 0x38, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18,
+   0x00, 0x00, 0x00, 0x00, 0x1c, 0x03, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x87, 0x01, 0x18, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00,
+   0x00, 0x00, 0x00, 0x98, 0x03, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0xc7, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00,
+   0x00, 0x00, 0xb8, 0x01, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x8e, 0x01, 0x18, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00,
+   0x00, 0xf0, 0x01, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0xdc, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00, 0x00,
+   0xf0, 0x01, 0x00, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0xb8, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x38, 0x00, 0x00, 0x00, 0x00, 0xf0,
+   0x00, 0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0xf8, 0x01, 0x38, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x18, 0x00, 0x00, 0x00, 0x00, 0xe0, 0x00,
+   0x00, 0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0xf0, 0x01, 0x38, 0x55, 0x55, 0x55, 0x55, 0x55, 0x55, 0x15, 0x11, 0x11,
+   0x11, 0x11, 0x11, 0x11, 0x39, 0x00, 0x00, 0x00, 0x00, 0x60, 0x00, 0x00,
+   0x00, 0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0,
+   0x01, 0xf8, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
+   0xff, 0xff, 0xff, 0x1f, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00,
+   0x00, 0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0, 0x01,
+   0xf8, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
+   0xff, 0xff, 0x3f, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00, 0x00,
+   0x80, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x01, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0xe0, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0xf0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0xf0, 0xff, 0x9f, 0x00, 0x80, 0xe8, 0xee, 0x00, 0x0c,
+   0x0c, 0xc0, 0xdf, 0x03, 0x77, 0x37, 0x02, 0x00, 0x20, 0x00, 0x40, 0xdf,
+   0x03, 0x7d, 0x0f, 0x00, 0x06, 0x06, 0x08, 0x00, 0x40, 0xba, 0x3b, 0xfa,
+   0x1e, 0x00, 0x00, 0x10, 0x80, 0x00, 0x80, 0x08, 0x00, 0x00, 0x03, 0x30,
+   0x00, 0x00, 0x0c, 0x00, 0x00, 0x02, 0x00, 0x50, 0x00, 0x40, 0x00, 0x04,
+   0x01, 0x10, 0x80, 0x01, 0x18, 0x08, 0x00, 0x40, 0x01, 0x00, 0x02, 0x20,
+   0x00, 0x00, 0x10, 0x80, 0x00, 0x80, 0x08, 0x00, 0x80, 0x00, 0x40, 0x20,
+   0x00, 0x10, 0x01, 0x00, 0x04, 0x00, 0x08, 0x00, 0x00, 0x00, 0x08, 0x00,
+   0x20, 0x40, 0x00, 0x20, 0x08, 0x00, 0x20, 0x01, 0x00, 0x00, 0x40, 0x00,
+   0x00, 0x10, 0x80, 0x00, 0x80, 0x08, 0x00, 0x40, 0x00, 0x80, 0x40, 0x00,
+   0x10, 0x01, 0x00, 0x0a, 0x00, 0x48, 0x00, 0x60, 0x00, 0x10, 0x01, 0x40,
+   0x20, 0x00, 0x40, 0x10, 0x00, 0x20, 0x02, 0x00, 0x02, 0x80, 0x00, 0x00,
+   0x10, 0x80, 0x00, 0x80, 0x08, 0x00, 0x20, 0x00, 0x00, 0x01, 0x00, 0x20,
+   0x01, 0x00, 0x10, 0x00, 0x04, 0x00, 0x00, 0x00, 0x10, 0x00, 0x40, 0x10,
+   0x00, 0x80, 0x10, 0x00, 0x10, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x10,
+   0x80, 0x00, 0x80, 0x08, 0x00, 0x10, 0x00, 0x00, 0x42, 0x00, 0x20, 0x00,
+   0x00, 0x02, 0x00, 0x20, 0x00, 0x40, 0x00, 0x20, 0x01, 0x00, 0x08, 0x00,
+   0x00, 0x21, 0x00, 0x10, 0x01, 0x00, 0x02, 0x00, 0x01, 0x00, 0x10, 0x80,
+   0x00, 0x80, 0x08, 0x00, 0x10, 0x00, 0x00, 0x02, 0x00, 0x20, 0x01, 0x00,
+   0x22, 0x00, 0x22, 0x00, 0x00, 0x00, 0x20, 0x00, 0x80, 0x04, 0x00, 0x00,
+   0x21, 0x00, 0x08, 0x02, 0x00, 0x00, 0x00, 0x01, 0x00, 0x10, 0x80, 0x00,
+   0x80, 0x08, 0x00, 0x08, 0x00, 0x00, 0x44, 0x00, 0x00, 0x01, 0x00, 0x40,
+   0x00, 0x01, 0x00, 0x60, 0x00, 0x20, 0x01, 0x80, 0x00, 0x00, 0x00, 0x42,
+   0x00, 0x08, 0x02, 0x00, 0x03, 0x00, 0x00, 0x00, 0x10, 0x80, 0x00, 0x80,
+   0x08, 0x00, 0x08, 0x00, 0x00, 0x04, 0x00, 0x20, 0x01, 0x00, 0x42, 0x80,
+   0x20, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x04, 0x00, 0x00, 0x42, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x10, 0x80, 0x00, 0x80, 0x08,
+   0x00, 0x00, 0x00, 0x00, 0x48, 0x00, 0x20, 0x01, 0x00, 0x82, 0x80, 0x40,
+   0x00, 0x40, 0x00, 0x00, 0x01, 0x80, 0x04, 0x00, 0x00, 0x00, 0x00, 0x04,
+   0x01, 0x00, 0x02, 0x80, 0x00, 0x00, 0x10, 0x80, 0x00, 0x80, 0x08, 0x00,
+   0x04, 0x00, 0x00, 0x08, 0x00, 0x10, 0x01, 0x00, 0x00, 0x41, 0x00, 0x00,
+   0x00, 0x00, 0x10, 0x00, 0x40, 0x02, 0x00, 0x00, 0x84, 0x00, 0x04, 0x01,
+   0x00, 0x00, 0x80, 0x00, 0x00, 0x10, 0x80, 0xaa, 0xaa, 0x48, 0x92, 0x04,
+   0x00, 0x00, 0x48, 0x00, 0x08, 0x92, 0x24, 0x02, 0x42, 0x40, 0x00, 0x60,
+   0x00, 0x10, 0x01, 0x20, 0x00, 0x00, 0x00, 0x84, 0x00, 0x04, 0x92, 0x24,
+   0x02, 0x40, 0x00, 0x00, 0x10, 0x80, 0x00, 0x80, 0x88, 0x24, 0x04, 0x00,
+   0x00, 0x08, 0x00, 0x08, 0x25, 0x09, 0x00, 0x22, 0x00, 0x00, 0x00, 0x00,
+   0x08, 0x00, 0x10, 0x02, 0x00, 0x00, 0x84, 0x00, 0x02, 0x26, 0x09, 0x00,
+   0x20, 0x00, 0x00, 0x10, 0x80, 0x00, 0x80, 0x08, 0x00, 0x00, 0x00, 0x00,
+   0x48, 0x54, 0x03, 0x00, 0x00, 0x02, 0x14, 0x40, 0x00, 0x40, 0x00, 0x06,
+   0x51, 0x0d, 0x04, 0x00, 0x00, 0x04, 0x01, 0x02, 0x00, 0x00, 0xa1, 0x1a,
+   0x00, 0x00, 0x10, 0x80, 0x00, 0x80, 0x08, 0x00, 0x08, 0x00, 0x00, 0x04,
+   0x0c, 0x00, 0x01, 0x00, 0x00, 0x08, 0x00, 0x00, 0x40, 0xdb, 0x00, 0x10,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x01, 0x01, 0x00, 0x22, 0x00, 0x00,
+   0x00, 0x10, 0x80, 0x00, 0x80, 0x08, 0x00, 0x08, 0x00, 0x00, 0x44, 0x10,
+   0x00, 0x01, 0x00, 0x03, 0x00, 0x20, 0x00, 0x40, 0x00, 0x00, 0x21, 0x00,
+   0x04, 0x00, 0x00, 0x02, 0x02, 0x01, 0x02, 0x00, 0x42, 0x00, 0x00, 0x00,
+   0x10, 0x80, 0x00, 0x80, 0x08, 0x00, 0x08, 0x00, 0x00, 0x04, 0x20, 0x00,
+   0x01, 0x00, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x40, 0x00, 0x04,
+   0x00, 0x00, 0x02, 0x82, 0x00, 0x00, 0x00, 0x80, 0x00, 0x00, 0x00, 0x10,
+   0x80, 0x00, 0x80, 0x08, 0x00, 0x10, 0x00, 0x00, 0x20, 0x40, 0x00, 0x00,
+   0x00, 0x02, 0x00, 0x00, 0x00, 0x60, 0x00, 0x00, 0x81, 0x00, 0x08, 0x00,
+   0x00, 0x01, 0x84, 0x00, 0x01, 0x00, 0x02, 0x01, 0x00, 0x00, 0x10, 0x80,
+   0x00, 0x80, 0x08, 0x00, 0x10, 0x00, 0x00, 0x42, 0x80, 0x00, 0x01, 0x00,
+   0x00, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x08, 0x00, 0x00,
+   0x01, 0x04, 0x00, 0x02, 0x00, 0x00, 0x04, 0x00, 0x00, 0x10, 0x80, 0x00,
+   0x80, 0x08, 0x00, 0x20, 0x00, 0x00, 0x01, 0x00, 0x01, 0x01, 0x00, 0x02,
+   0x00, 0x40, 0x00, 0x40, 0x00, 0x00, 0x01, 0x04, 0x10, 0x00, 0x80, 0x00,
+   0x40, 0x00, 0x02, 0x00, 0x02, 0x04, 0x00, 0x00, 0x10, 0x80, 0x00, 0x80,
+   0x08, 0x00, 0x40, 0x00, 0x80, 0x40, 0x00, 0x02, 0x01, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x20, 0x00, 0x40, 0x00, 0x44,
+   0x00, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x10, 0x80, 0x00, 0x80, 0x08,
+   0x00, 0x80, 0x00, 0x40, 0x40, 0x00, 0x04, 0x01, 0x00, 0x02, 0x00, 0x40,
+   0x00, 0x60, 0x00, 0x00, 0x01, 0x10, 0x40, 0x00, 0x20, 0x00, 0x48, 0x00,
+   0x01, 0x00, 0x03, 0x20, 0x00, 0x00, 0x10, 0x80, 0x00, 0x80, 0x08, 0x00,
+   0x00, 0x03, 0x30, 0x00, 0x00, 0x08, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x20, 0x80, 0x01, 0x18, 0x00, 0x28, 0x00, 0x01,
+   0x00, 0x00, 0x40, 0x00, 0x00, 0x10, 0x80, 0x00, 0x80, 0x68, 0xad, 0x00,
+   0x0c, 0x0c, 0x40, 0x00, 0x10, 0x6b, 0x2d, 0x03, 0x00, 0x20, 0x00, 0x40,
+   0x00, 0x80, 0x01, 0x40, 0x00, 0x06, 0x07, 0x00, 0x10, 0x00, 0xd6, 0x1a,
+   0x02, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xe0,
+   0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0xf0, 0x00, 0x00, 0x10, 0x00, 0x00, 0x10, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 };
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 76cd69fd0..a07e36745 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -434,7 +434,7 @@ install(DIRECTORY ${CMAKE_SOURCE_DIR}/../hott DESTINATION ${LIBRARY_DIR}
         PATTERN ".project"
         PATTERN "TAGS")
 
-install(FILES ${CMAKE_SOURCE_DIR}/../images/lean.png
+install(FILES ${CMAKE_SOURCE_DIR}/../images/lean.pgm
         DESTINATION ${EMACS_LISP_DIR})
 
 if(EXISTS "${EMACS_DEPENDENCIES}")
diff --git a/src/emacs/load-lean.el b/src/emacs/load-lean.el
index 4b283df84..733fd8e30 100644
--- a/src/emacs/load-lean.el
+++ b/src/emacs/load-lean.el
@@ -10,7 +10,7 @@
 
 (setq lean-emacs-dependencies-path (format "%s/dependencies" lean-emacs-path))
 
-(setq lean-logo (create-image (format "%s/lean.png" lean-emacs-path)))
+(setq lean-logo (create-image (format "%s/lean.pgm" lean-emacs-path)))
 (setq lean-required-packages '(company dash dash-functional f fill-column-indicator flycheck lua-mode mmm-mode s))
 
 (setq load-path
@@ -38,6 +38,7 @@
     (insert "\n\nPlease check our website periodically for news of later versions")
     (insert "\nat http://leanprover.github.io")
     (insert "\n\nBug reports and suggestions for improvement should be posted at\nhttps://github.com/leanprover/lean/issues")
+    (insert "\n\nTo start using Lean, open a .lean or .hlean file")
     (set-buffer-modified-p nil)
     (text-mode)
     (toggle-read-only)