lib/logo/isabelle-small.xpm
author blanchet
Sun, 10 Oct 2010 18:42:13 +0700
changeset 39975 7c50d5ca5c04
parent 5130 95faaa02274a
permissions -rw-r--r--
avoid generating several formulas with the same name ("tfrees")

/* 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..............................................................................................................",
"........................................................................................................................................................................................................",
"........................................................................................................................................................................................................",
"........................................................................................................................................................................................................",
"........................................................................................................................................................................................................"
};