lib/logo/isabelle-tiny.xpm
author blanchet
Wed, 13 Jul 2011 22:16:19 +0200
changeset 43811 402e1a0d93d9
parent 5130 95faaa02274a
permissions -rw-r--r--
better temp name creation for Nitrox -- still very hackish though, but should get us through CASC-23 and CASC-J6

/* XPM */
static char *isabelle-tiny[] = {
/* width height num_colors chars_per_pixel */
"    66    56      255            2",
/* colors */
".. c #ffffff",
".# c #181818",
".a c #212121",
".b c #292929",
".c c #313131",
".d c #393939",
".e c #636363",
".f c #6b6b6b",
".g c #737373",
".h c #848484",
".i c #9c9c9c",
".j c #a5a5a5",
".k c #adadad",
".l c #bdbdbd",
".m c #cecece",
".n c #d6d6d6",
".o c #dedede",
".p c #f7f7f7",
".q c #cecece",
".r c #635a5a",
".s c #d6bdbd",
".t c #d6bdbd",
".u c #84737b",
".v c #ad9c94",
".w c #e7a5a5",
".x c #392929",
".y c #e7a5a5",
".z c #de9494",
".A c #9c5a63",
".B c #845a5a",
".C c #de9494",
".D c #de9494",
".E c #5a3939",
".F c #ce7373",
".G c #5a3939",
".H c #e77b7b",
".I c #9c5a63",
".J c #100808",
".K c #421818",
".L c #de6b6b",
".M c #de6b6b",
".N c #b55263",
".O c #d66363",
".P c #843942",
".Q c #d65a5a",
".R c #a54242",
".S c #ce5252",
".T c #c64a4a",
".U c #de5252",
".V c #421818",
".W c #a54242",
".X c #732929",
".Y c #ce4a4a",
".Z c #a54242",
".0 c #943131",
".1 c #ce4242",
".2 c #ad3131",
".3 c #421818",
".4 c #ad3131",
".5 c #210000",
".6 c #631810",
".7 c #ce2121",
".8 c #ad1818",
".9 c #941821",
"#. c #ce1010",
"## c #9c0000",
"#a c #9c0000",
"#b c #c60808",
"#c c #210000",
"#d c #520000",
"#e c #5a0000",
"#f c #7b0000",
"#g c #9c0000",
"#h c #c60000",
"#i c #c60000",
"#j c #ce0000",
"#k c #c60808",
"#l c #d6524a",
"#m c #ce4a4a",
"#n c #ce2121",
"#o c #5a0000",
"#p c #631810",
"#q c #bd2900",
"#r c #bd2900",
"#s c #9c2100",
"#t c #bd2900",
"#u c #845a31",
"#v c #d67352",
"#w c #ce4a21",
"#x c #ce4a21",
"#y c #391000",
"#z c #7b2100",
"#A c #ad8473",
"#B c #ad9c94",
"#C c #291810",
"#D c #8c4221",
"#E c #7b2100",
"#F c #d64200",
"#G c #e76321",
"#H c #b54200",
"#I c #ce4a21",
"#J c #b54200",
"#K c #ef8442",
"#L c #ad6310",
"#M c #d66300",
"#N c #9c6b4a",
"#O c #e76321",
"#P c #8c3900",
"#Q c #e7a573",
"#R c #ad6b31",
"#S c #5a2900",
"#T c #d66300",
"#U c #ef8421",
"#V c #ad6310",
"#W c #948452",
"#X c #e7a573",
"#Y c #845a31",
"#Z c #423100",
"#0 c #efe7de",
"#1 c #f7ad5a",
"#2 c #846318",
"#3 c #ad6310",
"#4 c #ad6310",
"#5 c #de7b08",
"#6 c #f78400",
"#7 c #9c6b4a",
"#8 c #845a31",
"#9 c #ce9c52",
"a. c #945200",
"a# c #6b5a42",
"aa c #bd8c4a",
"ab c #ff9400",
"ac c #ad8473",
"ad c #ce9c52",
"ae c #d69431",
"af c #ff9c00",
"ag c #ce9c52",
"ah c #ffb529",
"ai c #ff9c00",
"aj c #ad9431",
"ak c #ffb529",
"al c #ffb529",
"am c #d69418",
"an c #734a00",
"ao c #aea671",
"ap c #948452",
"aq c #634a18",
"ar c #ffce39",
"as c #bd8410",
"at c #ffad00",
"au c #ce9c52",
"av c #846318",
"aw c #d69418",
"ax c #ffb529",
"ay c #ad9431",
"az c #9c7b00",
"aA c #423100",
"aB c #d6ad00",
"aC c #ffbd00",
"aD c #bdad7b",
"aE c #948452",
"aF c #deb539",
"aG c #ffce39",
"aH c #deb539",
"aI c #e7d79e",
"aJ c #ffce39",
"aK c #734a00",
"aL c #9c7b00",
"aM c #bd8410",
"aN c #d6ad00",
"aO c #efbd00",
"aP c #efbd00",
"aQ c #e7d68c",
"aR c #cebd73",
"aS c #ffe773",
"aT c #d6bd52",
"aU c #d6bd52",
"aV c #f7d652",
"aW c #ad9431",
"aX c #846b00",
"aY c #bd8410",
"aZ c #d6ad00",
"a0 c #ffce00",
"a1 c #ffe773",
"a2 c #ffd610",
"a3 c #5a4a00",
"a4 c #ffd600",
"a5 c #e7ce42",
"a6 c #fff7bd",
"a7 c #c6b531",
"a8 c #efd618",
"a9 c #ffe773",
"b. c #ffef00",
"b# c #fff7bd",
"ba c #ffff84",
"bb c #ffff84",
"bc c #ffff5a",
"bd c #ffff5a",
"be c #ffff31",
"bf c #ffff10",
"bg c #ffff00",
"bh c #e7e7f7",
"bi c #dedeef",
"bj c #63636b",
"bk c #52525a",
"bl c #8c8c9c",
"bm c #42424a",
"bn c #cecee7",
"bo c #737384",
"bp c #a5a5bd",
"bq c #3b3b3b",
"br c #5a5a6b",
"bs c #7b7b94",
"bt c #424252",
"bu c #63637b",
"bv c #737394",
"bw c #181821",
"bx c #42394a",
"by c #292942",
"bz c #525284",
"bA c #292952",
"bB c #292952",
"bC c #000018",
"bD c #000039",
"bE c #000042",
"bF c #ada5d6",
"bG c #9c94c6",
"bH c #948cb5",
"bI c #a59cce",
"bJ c #847ba5",
"bK c #cec6e7",
"bL c #9696ae",
"bM c #737394",
"bN c #6b6384",
"bO c #c6bdde",
"bP c #524a63",
"bQ c #42394a",
"bR c #cec6ce",
"bS c #292129",
"bT c #080008",
"bU c #84737b",
"bV c #845a5a",
"bW c #635a5a",
"bX c #5a3939",
"bY c #a6798e",
"bZ c #b55263",
"b0 c #9c5a63",
"b1 c #843942",
"b2 c #9c5a63",
"b3 c #843942",
"b4 c #5a2129",
"b5 c #bd6b73",
"b6 c #843942",
"b7 c #941821",
"b8 c #000000",
/* pixels */
"....................................................................................................................................",
"....................................................................................................................................",
"....................................................................................................................................",
"....................................................................................................................................",
"....................................................................................................................................",
"........................................................bR..........................................................................",
"..............................................bR.......ab8b8........................................................................",
".............................................kb8.....i....b8........................................................................",
"..............................................b8.i..b8..b8..#0......................................................................",
".........................................nb8..bmb8..b8b8....b8......................................................................",
"..........................................b8.p..b8.i#0b8.cbk.n.....o................................................................",
"..........................................b8b8...eb8..bTb8.j....b8b8.##0............................................................",
"............................................b8.p..b8.f........b8a7bga7b8b8#0........................................................",
"............................................b8b8...eb8......b8aqbgbgbgbgaVb8bT#0....................................................",
"......................................b8b8b8..b8.f...p..bRb8bcbgbgbgbgbgbgbgbgazb8bQ....#0..........................................",
"....................................#0#0..b8..blb8....bRb8bfbgbgbgbgbgbgbgbgbgbgb.b8..bt.Jb8.j......................................",
".....................................f.rb8.......j....b8bfbgbgbgbgbgbgbgbgbgb.aba0b8bmaAbgbf#Cb8bp..................................",
"...........................J.........hb8.....g........b8.p..bbbgbgbgbgbgbgbgabaia0b8aAbgbgbgbgbf.db8bp..............................",
".........................kb8...jb8b8..b8b8.gbk........b8a0a0..#0bbbgbgbgb.abaiaia0b8b.bgbgbgbgbgbgb..xb8bv..........................",
"..........................b8bT.i.ob8.i.eb8.c..........b8ata0a0a0#0b#bbb.afaiaiaia0b8bgbgbgbgbgbgbgbgbgbg#Sby........................",
"...........................kb8.p..b8b8............bC.lb8aCa4aAa0a0a2..axaiaiaiaiatb8bfbgbgbgbgbgbgbgbeaib3by........................",
"............................b8bT..#0b8..........bk.ibwb8aCa0b8a0a0aKa0aiaiaiaiaiatbwa7bgbgbgbgbgbgb.abaib3.c........................",
".........................d...nb8.....r........bybHbn..b8ata0b8b8b8a0a0alaiaiaiaiaCb8b8.Kb.bgbgbgbfabaiaib6.c........................",
"......................b8b8.f..b8b8b8........bwblbnbn..b8ata0aLa4b8a0a0ataiaiaiaiaib8#m.TbT.Jb.b.abaiaiai.X.c........................",
".....................a...ab8...n#0.........#bJbibnbn..b8a2a0aPaAa4a4anataiaiaiai.IbX.Y.Y.Y.Ub8#Maiaiaiai.X.b........................",
".....................d...lb8bm.p........bTblbnbnbn.n...c.Va0a0aMa0b8.Eb8.Paiai#sb8.Y.Y.Y.Y#i#f#9aiaiaiaib3bS........................",
"................b8....bm..bUb8........bjbC..bhbnbnbnbn#0...Jaga0b8bfbgbg#Yb8b8bC.Y.Y.S.D#i#b#f#Vaiaiaiai#abTbo......................",
"........bk....bT......b8.ab8..........brbwbFbi..bhbnbnbnbK..bTb8avbgbgbgbgbg#Wb8.i#l.w#.#i#i#f#Vaiaiaiai.Pbl.Bb8.b..................",
".......jb8....b8b8b8b8.ob8............blbTbObIbIbn.pbibibib8b8aSbgbgbgbgbgbgbgbga4.JbT#g#i#i#f#Vaiaiaiai.#.y.Y.Y#l.Xbw..............",
"........b8b8..b8b8.bb8................bNbTbObIbIbIbIbi..bwb8a4bgbgbgbgbgbgbgbgbgbgbgbQ.0#i#i#fasaiaiai.c.W.Y.Y.Y.7#ib8..............",
".........mb8.p......b8............bkb8bubTbObvb8bsbIbIbIbTaobdbgbgbgbgbgbgbgbgb.arat#Cb7#i#i#f#Maiai.cb6.Y.Y.q#n#i#ib8..............",
"..........b8b8..bl.J.............gbwbLb8bCbO.#bybFbSbIbIbw.lb#..bbbgbgbgbgbgbgaiaiaCb8#f#i#.#f#Jaib8b6.Y.Y.q#l#i#i#ib8..............",
"...........mb8.p..............brbwbnbibMbCbIbIbIbvbkbIbI.c#za0a0aIbbbabgbgbgaiaiaiaCb8#f#i#i#f#5b8bW.Y#n.z.Q#i#i#i#ib8..............",
"............b8b8............bPbSbibnbnbQ.#bIbIbIbIbIbIbIbw#Eb.a0a0aI....bdalaiaiaiaCb8#f#i#j.Vb8.v.1.S...C#i#i#i#i#ib8..............",
".............m.p..........bx.cbnbnbnbibH.JbIbIbIbIbIbQbSbP#Db.aPa4a0a0a6a1aiaiaiaiaCb8#f#jb8.0b2.Y.Y.Y.1.7#i#i#i#i.7b8..............",
"........................bx.cbKbnbnbn#0bpb8b8.lbIbIbwbtbOb8#Pb.aPa4a0a0a0a0aiaiaiaiaC#c#cb8#n#g.Y.X.X#l.Y#.#i#i#i#i.7b8..............",
"........................b8....bKbnbnbnbi.p.kb8b8.ibtbnbhbz#Eb.aPaLaLa4a0a0aiaiaiaiaC#c.ab8.V#l.Z.T#lb8#l#.#i#i#i#i#.b8..............",
"........................b8bFbI....bKbKbnbK..bsb8btbnbnbibz#2b.aPa4a0a0a0a0aiaiaiaiaib8b5.UbYb8bS#l#lb4.Y#.#i#i#i#i#ibT..............",
"........................b8bnbIbIbI....bKbibMb8brbnbnbnbhbz#Ra0a0a0a0a0a0a0aiaiaiai#HbT.Y.Y.Y#l#fb8b4.J.U#.#i#i#i#j.d................",
"........................b8bibIbIbFbIbF...lb8brbKbnbnbn..bub8aha0a0a0a0a0a0aiaiai#Tb8.Y.Y.Y.S#i#i.g.Y.Y.Y#.#i#i#i.c..................",
"........................b8bnbIbIbP.JbIbGblb8....bKbnbnbnbi.pbob8a0a0a0a0a0aiai#5b8#l.Y.1.n#i#i#ib8.w.Y.Y.D#i#g.#....................",
"........................b8bKbIbIbIbybIbIbsb8bFbF....bKbnbnbn..byb8aaa4a0a2ai#Tb8#l.Y.1.s#b#i#i#ibqb8bC.I.2#hbT......................",
"........................b8bObIbIbNbJbIbIblb8bKbIbIbIbnbhbh.nbEbD.JbTb8b8#Vb6.c.F.Q#0.S#i#i#i#i#ibS....bub8bs........................",
"........................b8bFbIbIbTbIbIbIbvb8bibIbIbsbubFbnbobBbDb8bT#c#i.a#C.Y.4.F#0#m#i#i#i#i#i.b..................................",
"........................b8btbIbIbIbIbQbIbvb8bibIbIbPbGbHbIbrbDbDbDb8b8#j.1.Y.Y.Y.1.S#i#i#i#i#i#hbw..................................",
".........................lb8.JbHbIbIbIbIbvb8bnbIbvbJbwbIbIbkbEbDbEb8b8#..P#l.Y.Y.Y.Y#i#i#i#i#i#ibQ..................................",
"............................bRb8bmbHbIbIbJb8bObIbQbFbGbsbIbjbDbDbDbCb8#l.Y.T.J.Wb8#l#i#i#i#i#i#jbk..................................",
"................................bjb8.dbHbGb8bIbIb8bJbqbFbIbPbDbDbDbCb8.1.Y.Y.Y.Y.Vb8#i#i#i#i#jb8.p..................................",
"....................................bob8b8b8bsbIb8bIbIbIbIbPbEbDbDb8b8b8b2#l.Y.Y.Y.Y#i#i#i#jbT.p....................................",
".........................................pbRb8.bbHbIbIbIbIbtbBbDb8bO..bOb8b8.T.Y.Y.Y.7#i#j.J.p......................................",
"..............................................blb8.hbHbIbIbobEb8bp.........o.fbT.O.Y.7#j.#.p........................................",
"..................................................bSb8bUbHbIb8bo..............bRb8bT#.b8.p..........................................",
"......................................................bkb8b8br....................bl.d.p............................................",
"....................................................................................................................................",
"....................................................................................................................................",
"...................................................................................................................................."
};