author | bulwahn |
Mon, 30 May 2011 13:58:00 +0200 | |
changeset 43048 | c62bed03fbce |
parent 5130 | 95faaa02274a |
permissions | -rw-r--r-- |
/* XPM */ static char *isabelle[] = { /* width height num_colors chars_per_pixel */ " 100 86 219 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 #635a5a", ".r c #d6bdbd", ".s c #d6bdbd", ".t c #8c735a", ".u c #ad8c8c", ".v c #e7a5a5", ".w c #2d2e2d", ".x c #e7a5a5", ".y c #d69494", ".z c #9c6b6b", ".A c #845a5a", ".B c #d66b6b", ".C c #63424a", ".D c #e77b7b", ".E c #9c5252", ".F c #100808", ".G c #421818", ".H c #d66b6b", ".I c #de6b6b", ".J c #bd5a5a", ".K c #d66363", ".L c #843139", ".M c #d65a5a", ".N c #a54242", ".O c #ce5252", ".P c #c64a4a", ".Q c #de5252", ".R c #421818", ".S c #b54242", ".T c #732929", ".U c #ce4a4a", ".V c #a53939", ".W c #843139", ".X c #ce4242", ".Y c #b54242", ".Z c #521818", ".0 c #ad3131", ".1 c #210000", ".2 c #731818", ".3 c #ce2121", ".4 c #ad1818", ".5 c #941821", ".6 c #ce1010", ".7 c #9c0000", ".8 c #c60808", ".9 c #210000", "#. c #520000", "## c #520000", "#a c #7b0000", "#b c #9c0000", "#c c #c60000", "#d c #c60000", "#e c #ce0000", "#f c #c60808", "#g c #d6524a", "#h c #ce2121", "#i c #520000", "#j c #731818", "#k c #ce2100", "#l c #bd2900", "#m c #9c2100", "#n c #bd2900", "#o c #845242", "#p c #d67352", "#q c #ce5a31", "#r c #391000", "#s c #ad8473", "#t c #ad8c8c", "#u c #291810", "#v c #8c4221", "#w c #842900", "#x c #d64200", "#y c #a53900", "#z c #bd6310", "#A c #ef8442", "#B c #bd6310", "#C c #d66300", "#D c #ef6b10", "#E c #ad6b31", "#F c #5a2900", "#G c #d66300", "#H c #bd6310", "#I c #8c735a", "#J c #e7ad73", "#K c #efe7de", "#L c #de7b08", "#M c #f78400", "#N c #946b39", "#O c #735229", "#P c #ce9c52", "#Q c #945200", "#R c #6b5a42", "#S c #bd8c4a", "#T c #ff9400", "#U c #ce9c52", "#V c #ffa518", "#W c #ffa518", "#X c #ff9c00", "#Y c #ad9431", "#Z c #f7b539", "#0 c #f7b539", "#1 c #d69418", "#2 c #a58442", "#3 c #f7b539", "#4 c #bd8410", "#5 c #ffad00", "#6 c #ce9c52", "#7 c #846318", "#8 c #d69418", "#9 c #ffa518", "a. c #a58442", "a# c #423100", "aa c #ffbd00", "ab c #bdad7b", "ac c #deb539", "ad c #ffce39", "ae c #efde9c", "af c #ffd642", "ag c #735a00", "ah c #9c7b00", "ai c #c69c00", "aj c #c69c00", "ak c #e7b500", "al c #e7b500", "am c #ffe773", "an c #dec65a", "ao c #dec65a", "ap c #ffd642", "aq c #ad9431", "ar c #ad8c00", "as c #ffce00", "at c #ffe773", "au c #ffd610", "av c #5a4a00", "aw c #ffd600", "ax c #e7ce42", "ay c #fff7bd", "az c #c6b531", "aA c #ffd610", "aB c #ffef00", "aC c #fff7bd", "aD c #ffff9c", "aE c #ffff84", "aF c #ffff4a", "aG c #ffff31", "aH c #ffff10", "aI c #ffff00", "aJ c #e7e7f7", "aK c #dedeef", "aL c #666666", "aM c #52525a", "aN c #8c8c9c", "aO c #42424a", "aP c #cecee7", "aQ c #737384", "aR c #a5a5bd", "aS c #3b3b3b", "aT c #5a5a6b", "aU c #737394", "aV c #424252", "aW c #63637b", "aX c #737394", "aY c #181821", "aZ c #42394a", "a0 c #292942", "a1 c #525284", "a2 c #292952", "a3 c #21214a", "a4 c #000018", "a5 c #000039", "a6 c #000042", "a7 c #ada5d6", "a8 c #9c94c6", "a9 c #948cb5", "b. c #a59cce", "b# c #847ba5", "ba c #cec6e7", "bb c #9696ae", "bc c #736b8c", "bd c #6b6384", "be c #c6bdde", "bf c #524a63", "bg c #42394a", "bh c #cec6ce", "bi c #292129", "bj c #080008", "bk c #867986", "bl c #845a5a", "bm c #635a5a", "bn c #63424a", "bo c #a6798e", "bp c #b55263", "bq c #9c6b6b", "br c #63424a", "bs c #9c6b6b", "bt c #843942", "bu c #5a2129", "bv c #bd6b73", "bw c #843139", "bx c #941821", "by c #000000", /* pixels */ "........................................................................................................................................................................................................", "........................................................................................................................................................................................................", "........................................................................................................................................................................................................", "........................................................................................................................................................................................................", "........................................................................................................................................................................................................", "........................................................................................................................................................................................................", "........................................................................................................................................................................................................", "........................................................................................................................................................................................................", "...................................................................................ibyaN................................................................................................................", ".....................................................................p..........aMaObyby.f..............................................................................................................", "....................................................................by.i......bh.q...jbyby..............................................................................................................", "...................................................................jbyby.......c.e...oby................................................................................................................", "....................................................................byby.i....by.a..by....#K............................................................................................................", "...............................................................#.p...kbyby....bybyby.o.....c............................................................................................................", "............................................................bkby.#....byby.i..aOby.b......bj............................................................................................................", "..............................................................byby.p...kbyby..#Kbyby.caNby.n.......i.o..................................................................................................", "...............................................................eby.#....byby.i...dbybyby.j......aVbybybg.p..............................................................................................", "................................................................byby.p...nbyby....aN.#.m......aTbyaz.hbybj.f#K..........................................................................................", ".................................................................eby.#....byby.f............aTbyazaIaIaB#IbybyaS#K......................................................................................", "..................................................................byby.p...nbyby..........aTby#RaIaIaIaIaIaB#Ibybybg.p..................................................................................", "............................................................bh.p...eby.#....bybyaN......aObyagaIaIaIaIaIaIaIaIaH#2bybybfaJ..............................................................................", "..........................................................bybyby.l..byby.p...naM......aOby.oaIaIaIaIaIaIaIaIaIaIaIaI#Obybya0aK..........................................................................", ".........................................................#..aObyby..aNbyby..........a0by.oaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#Pbybybh....aTa0aJ..............................................................", "......................................................#Kbj....bj.b....byby.k......a0by#YaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#VbyaR..aVbybyby.c.p..........................................................", "......................................................bkby...jby......aNby......aRbyaxaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#5#5#xbyb#a3byawaH#sbybyaO.p......................................................", "......................................................aObybhby....#K............aWby....aDaIaIaIaIaIaIaIaIaIaIaIaIaB#5#X#5#nby.bbyaAaIaIaIaH#2bybyaV.o..................................................", "......................................by.p.............hbyby.......g............bdbj.p....aEaEaIaIaIaIaIaIaIaIaIaI#5#X#X#0#nbybyawaIaIaIaIaIaIaH#tbybya0.p..............................................", "....................................aOby.#....aNbyby...nbyby.i...nby............bdbyasafas....aDaIaIaIaIaIaIaIaB#X#X#X#Xad#nby#YaIaIaIaIaIaIaIaIaIaH#Ubybya0b..p........................................", ".....................................pbyby.p.mbybybyby..bjbybybyby.o............bdbyaaauasauasam....aFaIaIaIaB#3#X#X#X#Xad#nby#1aIaIaIaIaIaIaIaIaIaIaIaI#Ybjbybg.o......................................", "......................................aObybjbj...obyby.i..bybyby.o..............aRby#5aBasasasas#K#KaCaEaEaBap#T#X#X#X#Xad#nby#8aIaIaIaIaIaIaIaIaIaIaIaIaIaIacbya0......................................", ".......................................pbyby.c.....eby.c.....p............aJaQ...oby#5aBakalasasasasay....#Z#X#X#X#X#X#Xad#lbyaqaIaIaIaIaIaIaIaIaIaIaIaIaHaw#9.c.c......................................", "........................................aObyby......bybj................aJbjbybja0bjauaBak.#asasasasajauau#X#X#X#X#X#X#Xad#lbya.aIaIaIaIaIaIaIaIaIaIaIaB#0#T#A.ca0......................................", "..........................................byby.k.....#by...............oaM.#aRaYbybyaaaBawbyawasasa#agasas#X#X#X#X#X#X#Xad#faYboaIaIaIaIaIaIaIaIaIaIaB#T#X#X#A.c.c......................................", "...........................................eby.b.....f.F.............obybj..ba..aVby#5aBawbybyavarbyawasas#5#X#X#X#X#X#Xad#kby.FaVasaIaIaIaIaIaIaIaH#X#X#X#X#D.c.c......................................", "..................................byby.h....byby.l...F.l..........aJbybjaJbaaP..a1by#5aBasa#akaibyakasasas#3#X#X#X#X#X#Xad#pbybtbjby.GaoaIaIaIaIaB#X#X#X#X#X#Dby.c......................................", "................................bybybyby.....ebyby.a.q..........aJaYbjaJaPaPaP..bd.d#5aBasahahakbyawasasas#5#X#X#X#X#X#X#W#kbybv#g.P.aby.FaoaIaB#X#X#X#X#X#X#Dby.c......................................", "..............................aN.j..bjby.f....by.i#K..........aJbjbj.paPaPaPaP..bdbyaEaBasala#byasasasaaaw#5#X#X#X#X#X#X#XbwaY.y.U.U.U.Qbwbybu#T#X#X#X#X#X#X#Dbya0......................................", "..............................by....bybyby.....q............aJbybjaJbaaPaPaPaP..bdbyauasasawbya#asaw#Eby.9#S#X#X#X#X#X#X.W.a.M.U.U.U.U.U.U#eby#x#X#X#X#X#X#X#Dby.b......................................", "...............................d...m.lbjbyaO.p............aJbjbjaKaPaPaPaPaP.n..a1bj.Rauasasakasas#wby#Sa4by.F#J#X#X#X#mbybr.U.U.U.U.U.3#d#eby#P#X#X#X#X#X#X#V.#bi......................................", ".........................e.f......by..#Kbyby.b...........pbybj.p..aPaPaPaPaPaPaK.laQ.nby#Nawasaw#oby#6aIaIan.Fby.c#O#wbybm.U.U.U.O.K.Y#d.8#eby#H#X#X#X#X#X#X#C.daOaN....................................", ".......................a.c.a....bhby.....aby............aJby.c....aJaPaKaPaPaPaPaJ.....i.cbj#S#Qby#6aIaIaIaIaIac.Fbyby.a#g.U.U.H.n.M#d#d#d#eby#H#X#X#X#X#X#X#Mby.wbyaY.o................................", "............aM.......m.k........aNby.a.j.n..............aJbyaYa7b.aK....aJaPaPaPaPaPba...objbyby#7aIaIaIaIaIaIaIaIac.aby.bbo#g.o.I.6#d#d#d#eby#H#X#X#X#X#X#X#5byaN.P.#byby.j............................", "...........aby.......a.p...g.c.j.nbybyby.................pbybja7b.a7aPbeaJ....aPaPaP.paJaW.bby#RaIaIaIaIaIaIaIaIaIaIaIaf.#bybj.A#d#d#d#d#d#eby#H#X#X#X#X#X#X#Mbybf.X#g.Pbl.cbj.l........................", "..........byby.d....bybybybybyby..aMby.p.................pbybjaPa8b.b.b.aP.p.paKaKaPaKa2bybyaOaIaIaIaIaIaIaIaIaIaIaIaIaIaIac.Fby.##b#d#d#d#eby#H#X#X#X#X#X#XbsaO.x.U.U.U.U.X.Tby.l......................", "..........bhbyby....aNbybybybyby.p........................bybjaPb.b.b.b.b.b.a7aJ....a5bjby#NaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaI#0by.N#d#d#d#eby#H#X#X#X#X#X.Aby.S.U.U.U.U.U.Y#e#.aN......................", "............byby.c.....b.d.n.pby.p..................aJ....bybjaPb.b#b.b.b.b.b.bebea7bjbyabaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIaIauas.Kbybx#d#d#d#eby#4#X#X#X#X.Lby.S.U.U.U.U.O.8#d#d#.aN......................", ".............mbyby.p..........by...................nbjby.obybjaPb.aXbybjaUa7b.b.b.bbbjbyaFaFaHaIaIaIaIaIaIaIaIaIaIaIaIaBad#T#5bpbybx#d#d#d#eby#C#X#X#X#vbybw.U.U.U.H.r#h#d#d#d#.bf......................", "..............byby.b.....f#K.e.h................aPbybi.#bybya4aPb..#a9a7aVbyaVb.b.a7bjby....aCaIaIaIaIaIaIaIaIaIaIaIaIaa#T#Xaa.Jby.5#d#d#d#eby#z#X#X#ibybw.U.U.U.H.r.K#d#d#d#d#.bf......................", "...............mbyby.p...pby.h................aJbyaY.paKaTbya4bab.a8.bbyaTb.a8b.b.a8aYbyafawad....aGaIaIaIaIaIaIaIaIaf#X#X#Xaa.Jby#a#d#d.6#eby#B#X#jbybw.U.O.U.M.r.X#d#d#d#d#d#.bd......................", "................byby.b......................aJaYaYaKaPaK.p.fa4bab.b.b.a7aX.#a7b.b.a8.cbyaGasasaDae..aE..aHaIaIaIaIau#T#X#X#Xaa.Jbj#a#d#d#d#eby#L#ibybm.M.0#h.X.o.M#d#d#d#d#d#d#.aW......................", ".................mbyby.p..................aKbjaY..aPaPbaaJaObja7b.b.b.b.b.b.b.b.b.b.aVbyadaBasasasaf....aEaIaIaBat#T#X#X#X#Xaa.Jbj#a#d#d#d.0.9#aby.u.v.U.v#K#K.X.3#d#d#d#d#d#d#.aW......................", "..................byby.q................baby.d.paPaPaPaP#Kby.cb.b.b.b.b.b.b.b.b.b.b.a5byadaBasalasasasas......aa#T#X#X#X#X#Xaa.Ybj#a#d#d#b.cbyby.E.U.U.3.o...p#h#d#d#d#d#d#d#d#.aW......................", "...................m.d................aPaY.caPaPaPaPaPaK.pby.Fa9b.b.b.b.b.b.a9bgbya2bfbyafaBas.9awasasasasayae#X#X#X#X#X#X#Xaa.Ybj#a#d.Vby.c.0bs.U.U.U.U.X.X.X#d#d#d#d#d#d#d.3#.aW......................", "....................................aP.c.daKaPaPaPaPaPaJ.paYbybyaNa8b.b.b.a7bgbybfbjbybyaHaBas.#awasasasasasas#X#X#X#X#X#X#Xaa#qbj##.7by.T.7.P.U#g.U.Q.U.U.U.H#d#d#d#d#d#d#d.3#.a9......................", "..................................aKby.caJaKaPaPaPaP.n.oaPaQaMbyby.bbea8b.a4bjaKaPaP.#byawaBas.Fakawasasasasas#X#X#X#X#X#X#Xau#dbybybj.9#h.4.H#g#u.Tbw.S.T.P.U#d#d#d#d#d#d#d.3#.aR......................", "...................................lby.l....aPaPaPaPaPaPaP#K.paJ.cbybyaO.ibyaKaPba..a1byawaBaw.9ah.Fahawasasas#X#X#X#X#X#X#Xaa#qby.abyby.R.K.X.Vby#g#gbu.1#g.U#d#d#d#d#d#d#d.6#..g......................", "...................................lbyaRaPbe......baaPaPaPaPaJaP.maW.FbybyaJaPaPaP.pa1byawaBaw.#awawala#awasas#X#X#X#X#X#X#Xaa#B.F.J.OaOaYby.fbr.T.U.Uby.V.U.U#d#d#d#d#d#d#d#e##aN......................", "...................................lbya3b.b.aPaJ.paJaJaJaPaPaPaK..bfbyby.oaPaPaPba..a1aYasaBasavasasasasasasas#5#X#X#X#X#X#X#X#a.#.y.U.U.Ubq.wby.R#g.Qby.O.U.U#d#d#d#d#d#d#e.Z.a.o......................", "..................................aPbya2beb.b.b.b..p....aPaPaKaPa4by.F.naPaPaPaPba..a1bjawasasasasasasasasasas#5#X#X#X#X#X#X#ybi#s.U.U.U.U.U.U#aby.1bu.S.R.Q.U#d#d#d#d#d#d#d.d.o........................", "...................................obyaZbeb.b.b.b.beb.aK....aPa4.jbybhaKaPaPaPaPaP..aXbjacawasasasasasasasasas#5#X#X#X#X#X#m.bbw.U.U.U.U.U.X#d#d.#.0.U.U.U.U.U#d#d#d#d#d#aby.m..........................", "...................................obyaVbeb.b.b.aXbjb.b.aPaKaRbybjbhaJaPaPaPaPaP.naJb#.eaM#uauasasasasasasasas#5#X#X#X#X#Gbjbu.U.U.U.O.M.0#d.8#dbjbp.U.U.U.U.U.0#d#d#d.2.qbh............................", "..................................aPbyaVbeb.b.b.bfb#a9b.b.a8aNbyaT....aJbabaaPaPaPaPaK#K.paQby#Fasasasasasasas#5#X#X#X#Lbybu#g.U.U.X.n.s#d#d#d#dby.a.v.U.U.U.H.3#d#e#a.#.m..............................", "...................................obyaVbeb.b.b.b.a7bfb.b.b.aXbyaNaJbeaJ....aPaPaPaPaPaPaP#KaRbyby#Eawasasasas#5#X#X#Gbj.R#g.U.U.X.o.M.6#d#d#d#dbybybyaO.B#g.K.6#e#.by.m................................", "...................................obyaVbeb.b.b.b.bcaYb.b.b.aUbyaSb.b.beaJ.paJaJaJaPaPaPaK.p.ibybybybja.awasas#3#X#Gby.##g.0.U.X.y.O#d#d#d#d#d#dby.laNbjbya4.D.8#.aObh..................................", "..................................aKbya1a7b.b.b.a7byaTb.b.b.aXbya4bab.b.b.a8aK....aPbaaPaJaV.#a5.Fby.Fbyby#Qaa#W#xbybi.o.U.3.K.y.K.0#d#d#d#d#d#dbybh....aWbyby.C.c.o....................................", "..................................bebya1a7b.b.a7biaTaXb.b.b.aNbya4aPb.b.b.b.a7a7aK....#KaZa3a5a5bjbybyby#rbybyby.a.w.M.0.U....#K#d#d#d#d#d#d#d#dbyaP.......pbhbg.o......................................", "..................................bebyaUb.b.b.aTbjb.b#b.b#b.aXbya4aKa8b.b.a8aWaWb.baaPbebda3a5a6bybybjby.4#d#uby#u.X.U.0.U.r#K.x#d#d#d#d#d#d#d#dby.o....................................................", "..................................beby.hb.b.b.a9b.b.a7byaWb.aX.Fa4aKa8b.b.bib.a8byb.a8b#.da5a5a5.bbybyby.F#e.0#f.I.U.U.U.U#d.O#d#d#d#d#d#d#d#d#cby.o....................................................", "...................................nbyby.#aRb.b.b.b.b.b.b.b.aUbybgaPa8b.a8byb.a9bjb.b.aN.Fa5a5a5a5a3byby.F.3.U.H.U.U.U.U.U.O.U.0#d#d#d#d#d#d#d#dbyaJ....................................................", ".....................................la0by.FaQa8b.b.b.b.b.b.aXbyaZaPa8b.aXaYbgaYa7b.b.aN.Fa6a5a5a6a4byby.t.6.z.S#g.U.U.U#g.U.U.3#d#d#d#d#d#d#d#d.9#K....................................................", ".........................................o.#by.bb#a7b.b.b.b.a9bjaZbab.b.aTbgb.a8a0b.b.b..#a5a5a5a5a5byby.#.M#g.W.F.T.O#g.R#g.U.3#d#d#d#d#d#d#d#dby.o....................................................", ".............................................i.FbyaYb#b.b.b.b#.FaVa7b.b.bjaXb.a8byb.b.a8.ca5a5a5a5a5a5.##j.U.U.U.U.U.Rby.V#u#g.3#d#d#d#d#d#d#d#dby.p....................................................", "...............................................paLbyby.daNa7a8by.gb.b.a7bybda7aSaVb.b.a8bfa5a5a5a5a5a4.qbx.X.U.U.U.U.U.Ubwbyby.3#d#d#d#d#d#d#cbya9......................................................", "..................................................aJaVbyby.dbfby.ea9b.a7bya7aVa9b.b.b.a8a3a5a5a5a5a2.aby.9aM.B#g.U.U.U.P.S.P.X#g#d#d#d#d#d#b.GaR........................................................", ".........................................................iaVbjbyby.FaRa8bya7b.b.b.b.b.a8a5a3a5a5a6.#byaO.abybyaMbv.U.U.U.U.U.U.O#d#d#d#d#d.GaR..........................................................", ".............................................................p#KaMbyby.ia9b.b.b.b.b.b.b.a5a3a5a6by.abe....bebibybybn.Q.U.U.U.U.M#d#d#d.4.FaN............................................................", "...................................................................p.dby.FaTbbb.b.b.b.a8a6a5a5.caY............#K.i.dby.u#g.U.U.M#d#d.2.aaN..............................................................", "......................................................................aKbiby.Fbfa9b.b.a7a5a6bjbj..................aPaWbybybs.P.3#d#c.aaN................................................................", "..........................................................................aN.#by.Fbka9b.aWbybj.p......................bh.bbybj.K.8by.i..................................................................", "..............................................................................aNbjbyby.gbibyaP............................aRbyby#uaN....................................................................", "...................................................................................naObjbyba...................................pbh......................................................................", "........................................................................................aJ..............................................................................................................", "........................................................................................................................................................................................................", "........................................................................................................................................................................................................", "........................................................................................................................................................................................................", "........................................................................................................................................................................................................" };