From 569f9f7c34b9ef168e2bc32937865bc7ead32dec Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 22 Sep 1999 15:53:28 +0000
Subject: New buttons

---
 images/find.8bit.xpm |  44 ++++++
 images/find.xbm      |  17 +++
 images/find.xpm      |  70 ++++++++++
 images/help.8bit.xpm |  44 ++++++
 images/help.xbm      |  17 +++
 images/help.xpm      | 368 +++++++++++++++++++++++++++++++++++++++++++++++++++
 6 files changed, 560 insertions(+)
 create mode 100644 images/find.8bit.xpm
 create mode 100644 images/find.xbm
 create mode 100644 images/find.xpm
 create mode 100644 images/help.8bit.xpm
 create mode 100644 images/help.xbm
 create mode 100644 images/help.xpm

(limited to 'images')

diff --git a/images/find.8bit.xpm b/images/find.8bit.xpm
new file mode 100644
index 00000000..3fd48fd2
--- /dev/null
+++ b/images/find.8bit.xpm
@@ -0,0 +1,44 @@
+/* XPM */
+static char * find_8bit_xpm[] = {
+"32 32 9 1",
+" 	c None",
+".	c #020204",
+"+	c #4C3534",
+"@	c #9A4644",
+"#	c #9A4B4C",
+"$	c #6D6B6B",
+"%	c #AA8284",
+"&	c #BDBCBA",
+"*	c #7E0F0D",
+"&%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%&",
+"&#*****************************&",
+"&#*@@@@@@@@@@@@@@@@@@@@@@@@@@**&",
+"&@*&&&&&&&&&&&&&&&&&&&&&&&&&&#*&",
+"&@*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&@*&&&&&&&&&&&&&&&&&&&&&&&&&&#*&",
+"&@*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#@&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&@*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&#*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&@*&&&&&&&&&&&&&&&&&&&&&&&&&&@*&",
+"&@*%%%%%%%%%%%%%%%%%%%%%%%%%%@*&",
+"&#*****************************&",
+"&%@@@@#####@#@@####@#@@@@@@@@@@&",
+"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&",
+"&&&&&&&&&&&&&%%&&&&&&&&&$&&&&&&&",
+"&&&&&&&&$.++$$$&&&&&&&&&.%&&&&&&",
+"&&&&&&&&%.&&%+&$+&+%&%$+.&&&&&&&",
+"&&&&&&&&$.+$&.&$.$++&.&$+&&&&&&&",
+"&&&&&&&&+$&%$.&$.&+$$+&.$&&&&&&&",
+"&&&&&&&&.$&&$+&+$&.&++$+$&&&&&&&",
+"&&&&&&&$+$&&$+&$%&+$$+&+$&&&&&&&",
+"&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&"};
diff --git a/images/find.xbm b/images/find.xbm
new file mode 100644
index 00000000..c351ff83
--- /dev/null
+++ b/images/find.xbm
@@ -0,0 +1,17 @@
+/* Proof General button */
+#define _width 32
+#define _height 32
+#define _x_hot 0
+#define _y_hot 0
+static char _bits[] = {
+   0xaa, 0xaa, 0xaa, 0x2a, 0xfe, 0xff, 0xff, 0x7f, 0xd6, 0x6a, 0xb5, 0x76,
+   0x0e, 0x04, 0x42, 0x60, 0xa6, 0x52, 0x09, 0x65, 0x0c, 0x04, 0x51, 0x64,
+   0xa6, 0x50, 0x04, 0x51, 0x0e, 0x05, 0x51, 0x62, 0x26, 0x28, 0x0a, 0x69,
+   0x44, 0x41, 0x20, 0x61, 0x16, 0x2a, 0x05, 0x64, 0xa6, 0x40, 0xa8, 0x64,
+   0x06, 0x15, 0x05, 0x51, 0x2c, 0x40, 0x28, 0x62, 0x46, 0x15, 0x41, 0x64,
+   0x16, 0x20, 0x95, 0x64, 0x46, 0x85, 0x40, 0x68, 0x16, 0x14, 0x15, 0x61,
+   0x46, 0x21, 0x40, 0x62, 0x16, 0x84, 0x4a, 0x64, 0xd6, 0xb5, 0xaa, 0x55,
+   0xfe, 0xff, 0xff, 0x7f, 0xac, 0xb6, 0x56, 0x5b, 0x41, 0x40, 0x20, 0x10,
+   0x14, 0x55, 0x95, 0x45, 0x20, 0x5f, 0x00, 0x13, 0x8a, 0xa2, 0xed, 0x49,
+   0x10, 0xaf, 0xad, 0x11, 0x22, 0xa9, 0xb5, 0x42, 0x24, 0xb3, 0xb5, 0x15,
+   0xc2, 0x29, 0xad, 0xa0, 0x08, 0x21, 0x10, 0x05 };
diff --git a/images/find.xpm b/images/find.xpm
new file mode 100644
index 00000000..b87ee0b2
--- /dev/null
+++ b/images/find.xpm
@@ -0,0 +1,70 @@
+/* XPM */
+static char * find_xpm[] = {
+"32 32 35 1",
+" 	c None",
+".	c #BCBCBC s backgroundToolBarColor",
+"+	c #B09696",
+"@	c #AA8282",
+"#	c #994747",
+"$	c #870D0D",
+"%	c #994848",
+"&	c #8D2121",
+"*	c #870F0F",
+"=	c #994949",
+"-	c #891313",
+";	c #994A4A",
+">	c #8A1818",
+",	c #9A4C4C",
+"'	c #8B1C1C",
+")	c #9B4E4E",
+"!	c #8C1E1E",
+"~	c #994B4B",
+"{	c #8B1B1B",
+"]	c #891414",
+"^	c #881010",
+"/	c #870E0E",
+"(	c #AB8383",
+"_	c #AB8484",
+":	c #933434",
+"<	c #A56E6E",
+"[	c #939393",
+"}	c #A7A7A7",
+"|	c #7D7D7D",
+"1	c #696969",
+"2	c #000000",
+"3	c #3F3F3F",
+"4	c #545454",
+"5	c #151515",
+"6	c #2A2A2A",
+".+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@.",
+".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.",
+".#$##%%%%%%%####%%%%#########&$.",
+".#$..........................#$.",
+".#$..........................#$.",
+".%$..........................#$.",
+".%*..........................#$.",
+".=-..........................#$.",
+".;>..........................#$.",
+".,'..........................#$.",
+".)'..........................#$.",
+".)!..........................#$.",
+".~!..........................#$.",
+".~{..........................#$.",
+".=]..........................#$.",
+".=^..........................#$.",
+".%*..........................#$.",
+".%/..........................#$.",
+".#$..........................#$.",
+".#$..........................#$.",
+".#$@@@@(_____@@@_____@@@@@@@@:$.",
+".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.",
+".<#############################.",
+"................................",
+".............[[........}|}......",
+"........123341|........}2[......",
+"........[2..[3[13}4|.}432.......",
+"........1534.2.|5163.5}|3.......",
+"........34}}|5.15}6||3.54.......",
+"........5|..13.31.2[3646|.......",
+".......134..13.4[}31|3}31.......",
+"................................"};
diff --git a/images/help.8bit.xpm b/images/help.8bit.xpm
new file mode 100644
index 00000000..b50057e9
--- /dev/null
+++ b/images/help.8bit.xpm
@@ -0,0 +1,44 @@
+/* XPM */
+static char * help_8bit_xpm[] = {
+"32 32 9 1",
+" 	c None",
+".	c #22210A",
+"+	c #C0BEBB",
+"@	c #B4998B",
+"#	c #8D2321",
+"$	c #717264",
+"%	c #A27A73",
+"&	c #4F5537",
+"*	c #434133",
+"+@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+",
+"+##############################+",
+"+............*$*....*..........+",
+"+............&@&&..*&..........+",
+"+...........*$@$&&*.*&.........+",
+"@.......**...&&&*&&*.&.........+",
+"+.......**.*...**$$&***........+",
+"@.......*.*....*.*&$*.*........+",
+"+........*...****.**&*.........+",
+"@..........&*%$@@@$.*..........+",
+"+.........&..&%*.*@@...........+",
+"+.........*...*...@+$..........+",
+"+.........$..&%*..@++..........@",
+"@.........%.#%+&*#@+%..........+",
+"+.........%.*#@@%@@@%..........+",
+"+.........%&&*#%#@@@...........+",
+"+.........%##*..#*#%...........+",
+"@.........%*$#&$%&#$...........+",
+"+.........@%#*%%@++@...........+",
+"@.........%%&#%++++%...........+",
+"+..........#$%@++%&&...........+",
+"+##############################+",
+"+%#############################+",
+"++++++++++++++++++++++++++++++++",
+"++++++++++++++++++@@++++++++++++",
+"+++++++$.$+..@++++$.++++++++++++",
+"+++++++@.++*$+@*$+$*@*@$*+++++++",
+"+++++++&.**.$$*$.+*$+..&.$++++++",
+"+++++++**+@.+..*@+.@+.$@.@++++++",
+"+++++++.$+$.+.$+&@.+$.+*&+++++++",
+"++++++&*$+**$$*&@$*$$..@++++++++",
+"++++++++++++++++++++*$++++++++++"};
diff --git a/images/help.xbm b/images/help.xbm
new file mode 100644
index 00000000..f60d9859
--- /dev/null
+++ b/images/help.xbm
@@ -0,0 +1,17 @@
+/* Proof General button */
+#define _width 32
+#define _height 32
+#define _x_hot 0
+#define _y_hot 0
+static char _bits[] = {
+   0x54, 0x55, 0x55, 0x55, 0xfe, 0xff, 0xff, 0x7f, 0xde, 0x5b, 0xef, 0x7d,
+   0x7c, 0x5f, 0xbd, 0x77, 0xfe, 0x5f, 0xd7, 0x7f, 0xee, 0x7a, 0x7d, 0x77,
+   0xfe, 0xff, 0xd5, 0x7f, 0x7a, 0xdb, 0x77, 0x77, 0xee, 0xbf, 0xde, 0x7f,
+   0xfe, 0xb6, 0xf8, 0x7d, 0xde, 0xdb, 0x73, 0x77, 0xfe, 0xbf, 0xe7, 0x7f,
+   0x76, 0xbb, 0xf3, 0x6f, 0xfe, 0x3b, 0xa7, 0x7d, 0xee, 0xab, 0xe8, 0x7f,
+   0xbe, 0xfb, 0xf3, 0x77, 0xfe, 0xdb, 0xdd, 0x7e, 0xec, 0xb7, 0xf6, 0x7f,
+   0xbe, 0x5b, 0xf9, 0x76, 0xfe, 0x73, 0xd0, 0x7f, 0x76, 0x2f, 0xff, 0x7d,
+   0xee, 0xff, 0xba, 0x6b, 0x7e, 0xff, 0xff, 0x7f, 0x00, 0x00, 0x00, 0x00,
+   0x54, 0xa2, 0x24, 0x55, 0x81, 0x9b, 0x4c, 0x00, 0x14, 0x99, 0xad, 0x55,
+   0xa0, 0x6f, 0xe9, 0x03, 0x8a, 0xe9, 0x24, 0xa9, 0x90, 0x6d, 0xb5, 0x03,
+   0xc2, 0xac, 0x6e, 0x28, 0x14, 0x40, 0x30, 0x41 };
diff --git a/images/help.xpm b/images/help.xpm
new file mode 100644
index 00000000..c9866007
--- /dev/null
+++ b/images/help.xpm
@@ -0,0 +1,368 @@
+/* XPM */
+static char * help_xpm[] = {
+"32 32 333 2",
+"  	c None",
+". 	c #BCBCBC s backgroundToolBarColor",
+"+ 	c #B09696",
+"@ 	c #AA8282",
+"# 	c #994747",
+"$ 	c #870D0D",
+"% 	c #232006",
+"& 	c #1F1D04",
+"* 	c #1D1D04",
+"= 	c #191A03",
+"- 	c #141802",
+"; 	c #161903",
+"> 	c #1D1C04",
+", 	c #252005",
+"' 	c #152C0E",
+") 	c #0E270E",
+"! 	c #0E280E",
+"~ 	c #0D220C",
+"{ 	c #4A4F23",
+"] 	c #7E7E46",
+"^ 	c #4B5524",
+"/ 	c #143714",
+"( 	c #0F2B10",
+"_ 	c #112F11",
+": 	c #1A491B",
+"< 	c #224D1B",
+"[ 	c #242106",
+"} 	c #262106",
+"| 	c #242006",
+"1 	c #221F06",
+"2 	c #1F1E05",
+"3 	c #1B1B04",
+"4 	c #181A04",
+"5 	c #1B1C04",
+"6 	c #2C2407",
+"7 	c #231F05",
+"8 	c #242005",
+"9 	c #1E1D04",
+"0 	c #202709",
+"a 	c #102E11",
+"b 	c #0C250D",
+"c 	c #243114",
+"d 	c #62622C",
+"e 	c #9B9A5C",
+"f 	c #65652D",
+"g 	c #2A4D1D",
+"h 	c #113212",
+"i 	c #153B15",
+"j 	c #225A23",
+"k 	c #233E13",
+"l 	c #252106",
+"m 	c #211F05",
+"n 	c #201E05",
+"o 	c #211E05",
+"p 	c #302608",
+"q 	c #2E2508",
+"r 	c #121703",
+"s 	c #151903",
+"t 	c #2A2306",
+"u 	c #201E04",
+"v 	c #1B3612",
+"w 	c #133413",
+"x 	c #0F2C0F",
+"y 	c #0C230D",
+"z 	c #1F3014",
+"A 	c #808045",
+"B 	c #8D8D54",
+"C 	c #737537",
+"D 	c #244D1C",
+"E 	c #1B4C1C",
+"F 	c #143815",
+"G 	c #113312",
+"H 	c #1A461B",
+"I 	c #276025",
+"J 	c #292508",
+"K 	c #292307",
+"L 	c #292207",
+"M 	c #2D2508",
+"N 	c #312708",
+"O 	c #2D2407",
+"P 	c #191B04",
+"Q 	c #1C1C04",
+"R 	c #221F05",
+"S 	c #1E1E05",
+"T 	c #1D461B",
+"U 	c #163A16",
+"V 	c #172E11",
+"W 	c #142D10",
+"X 	c #394621",
+"Y 	c #5F6533",
+"Z 	c #395024",
+"` 	c #254619",
+" .	c #3D5E24",
+"..	c #32632A",
+"+.	c #123312",
+"@.	c #235E24",
+"#.	c #253A12",
+"$.	c #272207",
+"%.	c #282207",
+"&.	c #272106",
+"*.	c #2B2407",
+"=.	c #2A2307",
+"-.	c #1D2408",
+";.	c #1F4D1F",
+">.	c #123212",
+",.	c #1A2710",
+"'.	c #313C1E",
+").	c #242817",
+"!.	c #27261A",
+"~.	c #2A281A",
+"{.	c #32311C",
+"].	c #454422",
+"^.	c #67692E",
+"/.	c #5F712E",
+"(.	c #2D4B20",
+"_.	c #19471A",
+":.	c #224918",
+"<.	c #1F1E04",
+"[.	c #1A1B03",
+"}.	c #201F05",
+"|.	c #1A4519",
+"1.	c #172B16",
+"2.	c #45423B",
+"3.	c #161311",
+"4.	c #121212",
+"5.	c #1D1F1F",
+"6.	c #292B2A",
+"7.	c #2C302E",
+"8.	c #2C2F2E",
+"9.	c #373533",
+"0.	c #6C6A4D",
+"a.	c #6D7231",
+"b.	c #20431A",
+"c.	c #123412",
+"d.	c #204B19",
+"e.	c #1E1D05",
+"f.	c #292206",
+"g.	c #1B3510",
+"h.	c #31382A",
+"i.	c #0F0E0D",
+"j.	c #20211B",
+"k.	c #312820",
+"l.	c #513A31",
+"m.	c #433028",
+"n.	c #513B32",
+"o.	c #44342A",
+"p.	c #34332B",
+"q.	c #2F342F",
+"r.	c #423F2F",
+"s.	c #3F5722",
+"t.	c #103011",
+"u.	c #1F3711",
+"v.	c #1A1B04",
+"w.	c #2B2307",
+"x.	c #2E2507",
+"y.	c #191B03",
+"z.	c #1C1E05",
+"A.	c #13170C",
+"B.	c #343024",
+"C.	c #704F40",
+"D.	c #5E4336",
+"E.	c #A97C67",
+"F.	c #8B6354",
+"G.	c #CF967C",
+"H.	c #C18C71",
+"I.	c #BD8870",
+"J.	c #8E6957",
+"K.	c #1D1F16",
+"L.	c #1E3216",
+"M.	c #122F10",
+"N.	c #222307",
+"O.	c #1C1C05",
+"P.	c #131803",
+"Q.	c #252006",
+"R.	c #2A2206",
+"S.	c #171A03",
+"T.	c #1B1B03",
+"U.	c #1B1E06",
+"V.	c #695741",
+"W.	c #2C2118",
+"X.	c #372820",
+"Y.	c #695247",
+"Z.	c #916C61",
+"`.	c #564238",
+" +	c #443428",
+".+	c #4A392A",
+"++	c #BD9178",
+"@+	c #CDA386",
+"#+	c #193916",
+"$+	c #1E2208",
+"%+	c #1D1D05",
+"&+	c #171A04",
+"*+	c #22210A",
+"=+	c #393022",
+"-+	c #1A150D",
+";+	c #211C16",
+">+	c #3C332A",
+",+	c #543E36",
+"'+	c #252119",
+")+	c #1E1910",
+"!+	c #2E2416",
+"~+	c #9F8873",
+"{+	c #FACBAB",
+"]+	c #866C50",
+"^+	c #43341F",
+"/+	c #726050",
+"(+	c #231C13",
+"_+	c #27231D",
+":+	c #5B463D",
+"<+	c #B8836E",
+"[+	c #342E27",
+"}+	c #221C11",
+"|+	c #322718",
+"1+	c #B09C85",
+"2+	c #F3C5A6",
+"3+	c #F4BB9F",
+"4+	c #252107",
+"5+	c #272206",
+"6+	c #2E2710",
+"7+	c #826758",
+"8+	c #2E271E",
+"9+	c #43352E",
+"0+	c #855F50",
+"a+	c #EDB59A",
+"b+	c #795E51",
+"c+	c #3E3228",
+"d+	c #433628",
+"e+	c #B99785",
+"f+	c #DEB49D",
+"g+	c #BF8775",
+"h+	c #1F1D05",
+"i+	c #262107",
+"j+	c #9A705E",
+"k+	c #4D3832",
+"l+	c #5E443C",
+"m+	c #7A574B",
+"n+	c #BC8B77",
+"o+	c #C3937D",
+"p+	c #8D6455",
+"q+	c #D5907D",
+"r+	c #C29D90",
+"s+	c #C8A492",
+"t+	c #98765F",
+"u+	c #2B2306",
+"v+	c #99705C",
+"w+	c #574039",
+"x+	c #694B40",
+"y+	c #5D3E35",
+"z+	c #66463B",
+"A+	c #966555",
+"B+	c #79584A",
+"C+	c #C48C78",
+"D+	c #B0958B",
+"E+	c #AC9284",
+"F+	c #443B24",
+"G+	c #231F06",
+"H+	c #282206",
+"I+	c #A87A63",
+"J+	c #4C372F",
+"K+	c #65352F",
+"L+	c #592A27",
+"M+	c #291616",
+"N+	c #442916",
+"O+	c #482F1B",
+"P+	c #40291A",
+"Q+	c #805850",
+"R+	c #87746B",
+"S+	c #1D1D08",
+"T+	c #141803",
+"U+	c #BE836D",
+"V+	c #5A4036",
+"W+	c #825C4D",
+"X+	c #5D4037",
+"Y+	c #79564C",
+"Z+	c #9A6254",
+"`+	c #835C47",
+" @	c #664431",
+".@	c #8F473C",
+"+@	c #946C5F",
+"@@	c #211F07",
+"#@	c #111703",
+"$@	c #1D1C05",
+"%@	c #252105",
+"&@	c #2D2509",
+"*@	c #D28C78",
+"=@	c #895D4F",
+"-@	c #624539",
+";@	c #533C34",
+">@	c #876256",
+",@	c #C7917F",
+"'@	c #E1A591",
+")@	c #FDCDAD",
+"!@	c #F6C4A7",
+"~@	c #C29C80",
+"{@	c #342809",
+"]@	c #221E05",
+"^@	c #232005",
+"/@	c #252007",
+"(@	c #8F6353",
+"_@	c #AA7362",
+":@	c #60453B",
+"<@	c #75554A",
+"[@	c #8F685D",
+"}@	c #EBAF97",
+"|@	c #FACAB0",
+"1@	c #FED4B2",
+"2@	c #F1BC9E",
+"3@	c #8E7663",
+"4@	c #1F200A",
+"5@	c #292306",
+"6@	c #0D1208",
+"7@	c #262727",
+"8@	c #654D46",
+"9@	c #715247",
+"0@	c #9C7265",
+"a@	c #BA8878",
+"b@	c #F3BBA2",
+"c@	c #DAAD96",
+"d@	c #8E6A5D",
+"e@	c #544948",
+"f@	c #595B5A",
+"g@	c #132312",
+"h@	c #242409",
+"i@	c #A56E6E",
+"j@	c #939393",
+"k@	c #7D7D7D",
+"l@	c #696969",
+"m@	c #000000",
+"n@	c #151515",
+"o@	c #2A2A2A",
+"p@	c #3F3F3F",
+"q@	c #A7A7A7",
+"r@	c #545454",
+". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ",
+". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ",
+". % & * = - ; > , ' ) ! ~ { ] ^ / ( _ : < [ } | 1 2 3 4 5 } 6 . ",
+". 4 4 7 8 9 9 9 0 a ! b c d e f g h a i j k | l m n | o } p q . ",
+". r s o t 7 u 9 v w x y z A B C D E F G H I J K | l L K M N O . ",
+". P * Q R & = S T U ! V W X Y Z `  ...+.G @.#.L $.%.$.&.*.6 =.. ",
+". | m 3 > = s -.;.>.,.'.).!.~.{.].^./.(.h _.:.% % | 1 m %.l % . ",
+". L } <.& 9 [.}.|.1.2.3.4.5.6.7.8.9.0.a.b.c.d.1 % % e.2 | e.Q . ",
+". L f.} , o Q & g.h.i.j.k.l.m.n.o.p.q.r.s.t.u.n n R Q v.Q ; s . ",
+". &.w.x.t R 3 y.z.A.B.C.D.E.F.G.H.I.J.K.L.M.N.v.O.O.4 Q 4 P.; . ",
+". Q.&.t R.R [.S.T.U.V.W.X.Y.Z.`. +.+++@+#+$+%+P O.P &+v.s ; v.. ",
+". 1 R , 8 R > T.9 *+=+-+;+>+,+'+)+!+~+{+]+1 e.5 e.%+P 4 ; ; Q . ",
+". | 8 , o 5 > & & ^+/+(+_+:+<+[+}+|+1+2+3+4+o %+1 % Q P %+O.O.. ",
+". 5+5+R > T.9 R R 6+7+8+9+0+a+b+c+d+e+f+g+h+2 1 % l Q.Q.w.l l . ",
+". | 8 7 5 > 8 } , i+j+k+l+m+n+o+p+q+r+s+t+v.2 o $.&.Q.=.N 6 l . ",
+". h+m } 9 [.<.} u+t v+w+x+y+z+A+B+C+D+E+F+O.l 1 e.2 5 G+L Q.% . ",
+". Q 7 H+R ; = o t w.I+J+K+L+M+N+O+P+Q+R+S+2 6 %.%+&+T+Q 1 | m . ",
+". e.n 8 o S.[.9 7 =.U+V+W+X+Y+Z+`+ @.@+@@@m O O o P.#@$@1 l 1 . ",
+". m n 9 Q * 9 n %@&@*@=@-@;@>@,@'@)@!@~@} =.{@p % s r %+o m O.. ",
+". % 7 ]@u ^@o o &./@(@_@:@<@[@}@|@1@2@3@4@=.p 6 H+e.5 m %+%+5 . ",
+". &., R 9 R R m 5@6@7@8@9@0@a@b@c@d@e@f@g@h@Q.% % Q.Q.Q.%+Q n . ",
+". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ",
+". i@# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ",
+". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ",
+". . . . . . . . . . . . . . . . . . j@k@. . . . . . . . . . . . ",
+". . . . . . . l@m@l@. n@n@j@. . . . l@o@. . . . . . . . . . . . ",
+". . . . . . . j@m@. . p@l@. j@p@l@. l@p@j@p@j@l@p@q@. . . . . . ",
+". . . . . . . l@n@p@p@m@k@k@p@k@n@. p@k@. n@o@l@m@k@. . . . . . ",
+". . . . . . . p@r@. q@m@. n@o@p@j@. n@j@. m@k@j@m@q@. . . . . . ",
+". . . . . . . n@k@. k@o@. m@l@. l@q@m@. k@n@. p@l@. . . . . . . ",
+". . . . . . l@p@l@. p@p@j@k@p@r@j@j@p@j@l@n@p@j@. . . . . . . . ",
+". . . . . . . . . . . . . . . . . . . . p@l@. . . . . . . . . . "};
-- 
cgit v1.2.3