Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/logo/isabelle-small.xpm
changeset 5130 95faaa02274a 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/logo/isabelle-small.xpm	Fri Jul 10 15:19:10 1998 +0200
@@ -0,0 +1,312 @@
+/* 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..............................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................",
+"........................................................................................................................................................................................................"
+};
isabelle