diff -r 34993cdffbf7 -r 6d0dd9491da8 lib/fonts/isabelle24.bdf
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/fonts/isabelle24.bdf	Fri Mar 07 09:49:28 1997 +0100
@@ -0,0 +1,3810 @@
+STARTFONT 2.1
+FONT -isabelle-fixed-bold-r-normal--24-240-75-75-m-150-isabelle-0
+SIZE 24 75 75
+FONTBOUNDINGBOX 16 22 6 -5
+STARTPROPERTIES 22
+FONTNAME_REGISTRY ""
+FOUNDRY "Isabelle"
+FAMILY_NAME "Fixed"
+WEIGHT_NAME "Bold"
+SLANT "R"
+SETWIDTH_NAME "Normal"
+ADD_STYLE_NAME ""
+PIXEL_SIZE 24
+POINT_SIZE 240
+RESOLUTION_X 75
+RESOLUTION_Y 75
+SPACING "M"
+AVERAGE_WIDTH 150
+CHARSET_REGISTRY "Isabelle"
+CHARSET_ENCODING "0"
+CHARSET_COLLECTIONS ""
+FULL_NAME "Fixed Bold"
+COPYRIGHT "Public"
+FONT_ASCENT 17
+FONT_DESCENT 5
+CAP_HEIGHT 15
+X_HEIGHT 11
+ENDPROPERTIES
+CHARS 191
+STARTCHAR space
+ENCODING 32
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 1 1 0 0
+BITMAP
+00
+ENDCHAR
+STARTCHAR exclam
+ENCODING 33
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 4 16 5 0
+BITMAP
+60
+f0
+f0
+f0
+f0
+f0
+f0
+f0
+60
+60
+60
+60
+00
+00
+60
+60
+ENDCHAR
+STARTCHAR quotedbl
+ENCODING 34
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 7 3 8
+BITMAP
+e7
+e7
+e7
+e7
+c6
+84
+84
+ENDCHAR
+STARTCHAR numbersign
+ENCODING 35
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 19 1 -2
+BITMAP
+0cc0
+0cc0
+0cc0
+0cc0
+0cc0
+0cc0
+7ff0
+7ff0
+1980
+1980
+1980
+ffe0
+ffe0
+3300
+3300
+3300
+3300
+3300
+3300
+ENDCHAR
+STARTCHAR dollar
+ENCODING 36
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 20 2 -3
+BITMAP
+0c00
+0c00
+3d80
+7f80
+c380
+c180
+c000
+e000
+7e00
+1f80
+01c0
+00c0
+c0c0
+e1c0
+ff80
+df00
+0c00
+0c00
+0c00
+0c00
+ENDCHAR
+STARTCHAR percent
+ENCODING 37
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 15 2 0
+BITMAP
+3c00
+6600
+4200
+4200
+6600
+3c00
+01c0
+0f00
+3800
+e780
+0cc0
+0840
+0840
+0cc0
+0780
+ENDCHAR
+STARTCHAR ampersand
+ENCODING 38
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 14 2 0
+BITMAP
+1e00
+3f00
+6300
+6000
+6000
+3000
+3800
+7cc0
+6fc0
+c780
+c300
+c780
+ffe0
+7ce0
+ENDCHAR
+STARTCHAR quoteright
+ENCODING 39
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 5 6 4 9
+BITMAP
+38
+38
+70
+60
+c0
+80
+ENDCHAR
+STARTCHAR parenleft
+ENCODING 40
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 5 20 6 -4
+BITMAP
+18
+38
+30
+60
+60
+60
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+60
+60
+60
+30
+38
+18
+ENDCHAR
+STARTCHAR parenright
+ENCODING 41
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 5 20 3 -4
+BITMAP
+c0
+e0
+60
+30
+30
+30
+18
+18
+18
+18
+18
+18
+18
+18
+30
+30
+30
+60
+e0
+c0
+ENDCHAR
+STARTCHAR asterisk
+ENCODING 42
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 11 2 5
+BITMAP
+0c00
+0c00
+0c00
+ccc0
+edc0
+3f00
+0c00
+1e00
+3300
+7380
+6180
+ENDCHAR
+STARTCHAR plus
+ENCODING 43
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 14 1 0
+BITMAP
+0600
+0600
+0600
+0600
+0600
+0600
+fff0
+fff0
+0600
+0600
+0600
+0600
+0600
+0600
+ENDCHAR
+STARTCHAR comma
+ENCODING 44
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 5 6 4 -3
+BITMAP
+38
+38
+70
+60
+c0
+80
+ENDCHAR
+STARTCHAR minus
+ENCODING 45
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 2 1 6
+BITMAP
+fff0
+fff0
+ENDCHAR
+STARTCHAR period
+ENCODING 46
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 3 3 5 0
+BITMAP
+e0
+e0
+e0
+ENDCHAR
+STARTCHAR slash
+ENCODING 47
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 20 2 -3
+BITMAP
+0060
+0060
+00c0
+00c0
+0180
+0180
+0300
+0300
+0600
+0600
+0c00
+0c00
+1800
+1800
+3000
+3000
+6000
+6000
+c000
+c000
+ENDCHAR
+STARTCHAR zero
+ENCODING 48
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 16 2 0
+BITMAP
+1e00
+7f80
+6180
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+6180
+7f80
+1e00
+ENDCHAR
+STARTCHAR one
+ENCODING 49
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 16 2 0
+BITMAP
+1c00
+fc00
+fc00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR two
+ENCODING 50
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 16 1 0
+BITMAP
+1f80
+3fc0
+70e0
+6060
+6060
+0060
+00e0
+01c0
+0380
+0700
+0e00
+1c00
+3800
+7000
+ffe0
+ffe0
+ENDCHAR
+STARTCHAR three
+ENCODING 51
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 16 1 0
+BITMAP
+1f80
+3fc0
+70e0
+6060
+0060
+00e0
+01c0
+0f80
+0fc0
+00e0
+0060
+0060
+c060
+e0e0
+7fc0
+3f80
+ENDCHAR
+STARTCHAR four
+ENCODING 52
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 16 1 0
+BITMAP
+0380
+0780
+0f80
+0d80
+1980
+1980
+3180
+3180
+6180
+6180
+ffe0
+ffe0
+0180
+0180
+0fe0
+0fe0
+ENDCHAR
+STARTCHAR five
+ENCODING 53
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 16 2 0
+BITMAP
+7fc0
+7fc0
+6000
+6000
+6000
+6f00
+7fc0
+71c0
+00e0
+0060
+0060
+0060
+c0e0
+e1c0
+7fc0
+3f00
+ENDCHAR
+STARTCHAR six
+ENCODING 54
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 16 3 0
+BITMAP
+07c0
+1fc0
+3c00
+7000
+6000
+e000
+cf00
+df80
+f1c0
+e0c0
+c0c0
+c0c0
+e0c0
+71c0
+7f80
+1f00
+ENDCHAR
+STARTCHAR seven
+ENCODING 55
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 16 2 0
+BITMAP
+ffc0
+ffc0
+c0c0
+00c0
+0180
+0180
+0180
+0300
+0300
+0300
+0600
+0600
+0600
+0c00
+0c00
+0c00
+ENDCHAR
+STARTCHAR eight
+ENCODING 56
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 16 2 0
+BITMAP
+1e00
+7f80
+e1c0
+c0c0
+c0c0
+c0c0
+6180
+3f00
+7f80
+e1c0
+c0c0
+c0c0
+c0c0
+e1c0
+7f80
+3f00
+ENDCHAR
+STARTCHAR nine
+ENCODING 57
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 16 3 0
+BITMAP
+1e00
+7f80
+6180
+c0c0
+c0c0
+c0c0
+c0c0
+c1c0
+e3c0
+7ec0
+3cc0
+00c0
+0180
+0380
+ff00
+fc00
+ENDCHAR
+STARTCHAR colon
+ENCODING 58
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 3 11 5 0
+BITMAP
+e0
+e0
+e0
+00
+00
+00
+00
+00
+e0
+e0
+e0
+ENDCHAR
+STARTCHAR semicolon
+ENCODING 59
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 5 14 3 -3
+BITMAP
+38
+38
+38
+00
+00
+00
+00
+00
+38
+38
+70
+60
+c0
+80
+ENDCHAR
+STARTCHAR less
+ENCODING 60
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 12 1 1
+BITMAP
+0038
+00f0
+03c0
+0f00
+3c00
+f000
+f000
+3c00
+0f00
+03c0
+00f0
+0038
+ENDCHAR
+STARTCHAR equal
+ENCODING 61
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 6 1 4
+BITMAP
+fff0
+fff0
+0000
+0000
+fff0
+fff0
+ENDCHAR
+STARTCHAR greater
+ENCODING 62
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 12 1 1
+BITMAP
+e000
+7800
+1e00
+0780
+01e0
+0078
+0078
+01e0
+0780
+1e00
+7800
+e000
+ENDCHAR
+STARTCHAR question
+ENCODING 63
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 15 3 0
+BITMAP
+7e00
+ff00
+c380
+c180
+c180
+0180
+0380
+0f00
+1c00
+1800
+1800
+0000
+0000
+1800
+1800
+ENDCHAR
+STARTCHAR at
+ENCODING 64
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 18 2 -2
+BITMAP
+1c00
+7f00
+6300
+c180
+c180
+c780
+cf80
+dd80
+d980
+d980
+dd80
+cfc0
+c7c0
+c000
+c000
+6180
+7f80
+1e00
+ENDCHAR
+STARTCHAR A
+ENCODING 65
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 15 0 0
+BITMAP
+3f00
+3f80
+0780
+0780
+0cc0
+0cc0
+1ce0
+1860
+1860
+3ff0
+3ff0
+7038
+6018
+fcfc
+fcfc
+ENDCHAR
+STARTCHAR B
+ENCODING 66
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+ffc0
+ffe0
+3070
+3030
+3030
+3070
+3fe0
+3ff0
+3038
+3018
+3018
+3018
+3038
+fff0
+ffe0
+ENDCHAR
+STARTCHAR C
+ENCODING 67
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+0fd8
+3ff8
+7038
+6018
+e018
+c000
+c000
+c000
+c000
+c000
+e000
+6018
+7038
+3ff0
+0fc0
+ENDCHAR
+STARTCHAR D
+ENCODING 68
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 15 0 0
+BITMAP
+ffc0
+fff0
+3038
+3018
+301c
+300c
+300c
+300c
+300c
+300c
+300c
+3018
+3038
+fff0
+ffe0
+ENDCHAR
+STARTCHAR E
+ENCODING 69
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+fff0
+fff0
+3030
+3030
+3030
+3180
+3180
+3f80
+3f80
+3180
+3198
+3018
+3018
+fff8
+fff8
+ENDCHAR
+STARTCHAR F
+ENCODING 70
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+fff8
+fff8
+3018
+3018
+3018
+3180
+3180
+3f80
+3f80
+3180
+3180
+3000
+3000
+ff00
+ff00
+ENDCHAR
+STARTCHAR G
+ENCODING 71
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+0fd8
+3ff8
+7038
+6018
+e018
+c000
+c000
+c000
+c1f8
+c1f8
+e018
+6018
+7038
+3ff0
+0fc0
+ENDCHAR
+STARTCHAR H
+ENCODING 72
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 15 0 0
+BITMAP
+fcfc
+fcfc
+3030
+3030
+3030
+3030
+3ff0
+3ff0
+3030
+3030
+3030
+3030
+3030
+fcfc
+fcfc
+ENDCHAR
+STARTCHAR I
+ENCODING 73
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 15 2 0
+BITMAP
+ffc0
+ffc0
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR J
+ENCODING 74
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+1ff8
+1ff8
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+00c0
+c0c0
+c0c0
+c0c0
+e1c0
+7f80
+3f00
+ENDCHAR
+STARTCHAR K
+ENCODING 75
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 15 0 0
+BITMAP
+fcf8
+fcf8
+30e0
+31c0
+3380
+3700
+3e00
+3f00
+3b80
+31c0
+30e0
+3060
+3070
+fc3c
+fc3c
+ENDCHAR
+STARTCHAR L
+ENCODING 76
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 15 1 0
+BITMAP
+ff00
+ff00
+1800
+1800
+1800
+1800
+1800
+1800
+1800
+1800
+1830
+1830
+1830
+fff0
+fff0
+ENDCHAR
+STARTCHAR M
+ENCODING 77
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 15 0 0
+BITMAP
+f03c
+f03c
+7878
+7878
+7878
+6cd8
+6cd8
+6798
+6798
+6318
+6018
+6018
+6018
+f87c
+f87c
+ENDCHAR
+STARTCHAR N
+ENCODING 78
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+f0f8
+f0f8
+7830
+7830
+6c30
+6c30
+6630
+6630
+6330
+6330
+61b0
+61b0
+60f0
+f8f0
+f870
+ENDCHAR
+STARTCHAR O
+ENCODING 79
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+0f80
+3fe0
+7070
+6030
+e038
+c018
+c018
+c018
+c018
+c018
+e038
+6030
+7070
+3fe0
+0f80
+ENDCHAR
+STARTCHAR P
+ENCODING 80
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+ffc0
+fff0
+3038
+3018
+3018
+3018
+3018
+3038
+3ff0
+3fc0
+3000
+3000
+3000
+ff00
+ff00
+ENDCHAR
+STARTCHAR Q
+ENCODING 81
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 18 1 -3
+BITMAP
+0f80
+3fe0
+7070
+6030
+e038
+c018
+c018
+c018
+c018
+c018
+e038
+6030
+7070
+3fe0
+0f80
+1e18
+3ff8
+39e0
+ENDCHAR
+STARTCHAR R
+ENCODING 82
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 15 0 0
+BITMAP
+ff80
+ffe0
+3070
+3030
+3030
+3030
+3070
+3fe0
+3f80
+31c0
+30e0
+3060
+3070
+fc3c
+fc3c
+ENDCHAR
+STARTCHAR S
+ENCODING 83
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 15 1 0
+BITMAP
+1fb0
+3ff0
+7070
+6030
+6030
+7000
+3e00
+1fc0
+03e0
+0070
+c030
+c030
+e070
+ffe0
+dfc0
+ENDCHAR
+STARTCHAR T
+ENCODING 84
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 15 1 0
+BITMAP
+fff0
+fff0
+c630
+c630
+c630
+c630
+0600
+0600
+0600
+0600
+0600
+0600
+0600
+3fc0
+3fc0
+ENDCHAR
+STARTCHAR U
+ENCODING 85
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+f8f8
+f8f8
+6030
+6030
+6030
+6030
+6030
+6030
+6030
+6030
+6030
+6030
+3060
+3fe0
+1fc0
+ENDCHAR
+STARTCHAR V
+ENCODING 86
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 15 0 0
+BITMAP
+f87c
+f87c
+6018
+6018
+3030
+3030
+3030
+1860
+1860
+1860
+0cc0
+0cc0
+0780
+0780
+0780
+ENDCHAR
+STARTCHAR W
+ENCODING 87
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 15 0 0
+BITMAP
+f87c
+f87c
+6018
+6318
+6318
+6798
+6798
+6fd8
+6cd8
+6cd8
+3cf0
+3870
+3870
+3870
+3870
+ENDCHAR
+STARTCHAR X
+ENCODING 88
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 15 0 0
+BITMAP
+fcfc
+fcfc
+7038
+3870
+1ce0
+0fc0
+0780
+0300
+0780
+0cc0
+1ce0
+3870
+7038
+fcfc
+fcfc
+ENDCHAR
+STARTCHAR Y
+ENCODING 89
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 15 0 0
+BITMAP
+fcfc
+fcfc
+7038
+3870
+1860
+0cc0
+0fc0
+0780
+0300
+0300
+0300
+0300
+0300
+1fe0
+1fe0
+ENDCHAR
+STARTCHAR Z
+ENCODING 90
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 15 2 0
+BITMAP
+ffe0
+ffe0
+c0e0
+c1c0
+c380
+0300
+0700
+0e00
+1c00
+1800
+3860
+7060
+e060
+ffe0
+ffe0
+ENDCHAR
+STARTCHAR bracketleft
+ENCODING 91
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 5 20 6 -4
+BITMAP
+f8
+f8
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+f8
+f8
+ENDCHAR
+STARTCHAR backslash
+ENCODING 92
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 20 2 -3
+BITMAP
+c000
+c000
+6000
+6000
+3000
+3000
+1800
+1800
+0c00
+0c00
+0600
+0600
+0300
+0300
+0180
+0180
+00c0
+00c0
+0060
+0060
+ENDCHAR
+STARTCHAR bracketright
+ENCODING 93
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 5 20 3 -4
+BITMAP
+f8
+f8
+18
+18
+18
+18
+18
+18
+18
+18
+18
+18
+18
+18
+18
+18
+18
+18
+f8
+f8
+ENDCHAR
+STARTCHAR asciicircum
+ENCODING 94
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 8 3 8
+BITMAP
+18
+18
+3c
+3c
+66
+66
+c3
+c3
+ENDCHAR
+STARTCHAR underscore
+ENCODING 95
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 15 2 0 -4
+BITMAP
+fffe
+fffe
+ENDCHAR
+STARTCHAR quoteleft
+ENCODING 96
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 5 6 5 9
+BITMAP
+e0
+e0
+70
+30
+18
+08
+ENDCHAR
+STARTCHAR a
+ENCODING 97
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 11 1 0
+BITMAP
+3f00
+7f80
+61c0
+00c0
+1fc0
+7fc0
+e0c0
+c0c0
+c1c0
+fff0
+7ef0
+ENDCHAR
+STARTCHAR b
+ENCODING 98
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 16 0 0
+BITMAP
+f000
+f000
+3000
+3000
+3000
+37c0
+3ff0
+3c70
+3838
+3018
+3018
+3018
+3838
+3c70
+fff0
+f7c0
+ENDCHAR
+STARTCHAR c
+ENCODING 99
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 11 1 0
+BITMAP
+1fb0
+7ff0
+70f0
+e070
+c030
+c000
+c000
+e000
+7038
+7ff8
+1fe0
+ENDCHAR
+STARTCHAR d
+ENCODING 100
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 16 1 0
+BITMAP
+01e0
+01e0
+0060
+0060
+0060
+1f60
+7fe0
+71e0
+e0e0
+c060
+c060
+c060
+e0e0
+71e0
+7ff8
+1f78
+ENDCHAR
+STARTCHAR e
+ENCODING 101
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 11 1 0
+BITMAP
+1f80
+7fe0
+70e0
+e070
+c030
+fff0
+fff0
+e000
+7070
+7ff0
+1fc0
+ENDCHAR
+STARTCHAR f
+ENCODING 102
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 16 2 0
+BITMAP
+07e0
+0fe0
+1c00
+1800
+1800
+ffc0
+ffc0
+1800
+1800
+1800
+1800
+1800
+1800
+1800
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR g
+ENCODING 103
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 16 1 -5
+BITMAP
+1f78
+7ff8
+71e0
+e0e0
+c060
+c060
+c060
+e0e0
+71e0
+7fe0
+1f60
+0060
+0060
+00e0
+3fc0
+3f80
+ENDCHAR
+STARTCHAR h
+ENCODING 104
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 16 0 0
+BITMAP
+f000
+f000
+3000
+3000
+3000
+37c0
+3fe0
+3c70
+3830
+3030
+3030
+3030
+3030
+3030
+fcfc
+fcfc
+ENDCHAR
+STARTCHAR i
+ENCODING 105
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 16 2 0
+BITMAP
+1c00
+1c00
+1c00
+0000
+0000
+7c00
+7c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR j
+ENCODING 106
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 21 2 -5
+BITMAP
+0e
+0e
+0e
+00
+00
+ff
+ff
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+07
+fe
+fc
+ENDCHAR
+STARTCHAR k
+ENCODING 107
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 16 1 0
+BITMAP
+f000
+f000
+3000
+3000
+3000
+31e0
+31e0
+3380
+3700
+3e00
+3e00
+3700
+3380
+31c0
+f1f8
+f1f8
+ENDCHAR
+STARTCHAR l
+ENCODING 108
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 16 2 0
+BITMAP
+7c00
+7c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR m
+ENCODING 109
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 16 11 0 0
+BITMAP
+ef78
+fffc
+39cc
+318c
+318c
+318c
+318c
+318c
+318c
+f9ef
+f9ef
+ENDCHAR
+STARTCHAR n
+ENCODING 110
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 11 0 0
+BITMAP
+f3c0
+f7e0
+3c70
+3830
+3030
+3030
+3030
+3030
+3030
+fcfc
+fcfc
+ENDCHAR
+STARTCHAR o
+ENCODING 111
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 11 1 0
+BITMAP
+1f80
+7fe0
+70e0
+e070
+c030
+c030
+c030
+e070
+70e0
+7fe0
+1f80
+ENDCHAR
+STARTCHAR p
+ENCODING 112
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 16 0 -5
+BITMAP
+f7c0
+fff0
+3c70
+3838
+3018
+3018
+3018
+3838
+3c70
+3ff0
+37c0
+3000
+3000
+3000
+fe00
+fe00
+ENDCHAR
+STARTCHAR q
+ENCODING 113
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 16 1 -5
+BITMAP
+1f78
+7ff8
+71e0
+e0e0
+c060
+c060
+c060
+e0e0
+71e0
+7fe0
+1f60
+0060
+0060
+0060
+03f8
+03f8
+ENDCHAR
+STARTCHAR r
+ENCODING 114
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 11 1 0
+BITMAP
+79e0
+7ff0
+1e30
+1c00
+1800
+1800
+1800
+1800
+1800
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR s
+ENCODING 115
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 11 2 0
+BITMAP
+3ec0
+7fc0
+e1c0
+e0c0
+7c00
+1f00
+07c0
+c0e0
+e0e0
+ffc0
+df80
+ENDCHAR
+STARTCHAR t
+ENCODING 116
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 15 1 0
+BITMAP
+3000
+3000
+3000
+3000
+ffc0
+ffc0
+3000
+3000
+3000
+3000
+3000
+3000
+38e0
+1fe0
+0f80
+ENDCHAR
+STARTCHAR u
+ENCODING 117
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 11 0 0
+BITMAP
+f0f0
+f0f0
+3030
+3030
+3030
+3030
+3030
+3030
+3870
+1ffc
+0fbc
+ENDCHAR
+STARTCHAR v
+ENCODING 118
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 11 0 0
+BITMAP
+fcfc
+fcfc
+3030
+3030
+1860
+1860
+0cc0
+0cc0
+0780
+0780
+0300
+ENDCHAR
+STARTCHAR w
+ENCODING 119
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 11 0 0
+BITMAP
+f87c
+f87c
+6318
+6318
+3330
+37b0
+37b0
+3cf0
+1ce0
+1860
+1860
+ENDCHAR
+STARTCHAR x
+ENCODING 120
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 11 1 0
+BITMAP
+f9f0
+f9f0
+30c0
+1980
+0f00
+0600
+0f00
+1980
+30c0
+f9f0
+f9f0
+ENDCHAR
+STARTCHAR y
+ENCODING 121
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 16 0 -5
+BITMAP
+f87c
+f87c
+3030
+3870
+1860
+1ce0
+0cc0
+0dc0
+0780
+0780
+0300
+0700
+0600
+0e00
+7f00
+7f00
+ENDCHAR
+STARTCHAR z
+ENCODING 122
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 11 2 0
+BITMAP
+ffc0
+ffc0
+c380
+c700
+0e00
+1c00
+3800
+70c0
+e0c0
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR braceleft
+ENCODING 123
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 7 20 4 -4
+BITMAP
+0e
+18
+30
+30
+30
+30
+30
+30
+70
+e0
+70
+30
+30
+30
+30
+30
+30
+30
+18
+0e
+ENDCHAR
+STARTCHAR bar
+ENCODING 124
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 2 18 6 -2
+BITMAP
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+ENDCHAR
+STARTCHAR braceright
+ENCODING 125
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 7 20 3 -4
+BITMAP
+e0
+30
+18
+18
+18
+18
+18
+18
+1c
+0e
+1c
+18
+18
+18
+18
+18
+18
+18
+30
+e0
+ENDCHAR
+STARTCHAR asciitilde
+ENCODING 126
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 4 1 5
+BITMAP
+3c30
+7e70
+e7e0
+c3c0
+ENDCHAR
+STARTCHAR space
+ENCODING 160
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 1 1 0 0
+BITMAP
+00
+ENDCHAR
+STARTCHAR Gamma
+ENCODING 161
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 15 1 0
+BITMAP
+ffc0
+7040
+7000
+7000
+7000
+7000
+7000
+7000
+7000
+7000
+7000
+7000
+7000
+7000
+f800
+ENDCHAR
+STARTCHAR Delta
+ENCODING 162
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 15 1 0
+BITMAP
+0600
+0600
+0e00
+0f00
+1f00
+1b00
+1380
+3180
+3180
+21c0
+60c0
+60c0
+c0e0
+c060
+ffe0
+ENDCHAR
+STARTCHAR Theta
+ENCODING 163
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 15 1 0
+BITMAP
+1f80
+3fc0
+6060
+c030
+c030
+d0b0
+dfb0
+dfb0
+d0b0
+c030
+c030
+c030
+6060
+3fc0
+1f80
+ENDCHAR
+STARTCHAR Lambda
+ENCODING 164
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 15 1 0
+BITMAP
+0600
+0600
+0e00
+0f00
+1f00
+1b00
+1380
+3180
+3180
+21c0
+60c0
+60c0
+c0e0
+c060
+e0f0
+ENDCHAR
+STARTCHAR C167
+ENCODING 165
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+fff8
+3060
+3060
+3060
+3060
+3060
+3060
+3060
+3060
+3060
+3060
+3060
+3060
+3060
+78f0
+ENDCHAR
+STARTCHAR C167
+ENCODING 166
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 15 1 0
+BITMAP
+fff8
+e008
+7000
+3800
+1c00
+0e00
+0700
+0300
+0600
+0c00
+1800
+3008
+7ff8
+fff0
+ffe0
+ENDCHAR
+STARTCHAR C167
+ENCODING 167
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 14 1 0
+BITMAP
+0f00
+0600
+0600
+1f80
+76e0
+6660
+c630
+8610
+c630
+6660
+76e0
+1f80
+0600
+0f00
+ENDCHAR
+STARTCHAR C167
+ENCODING 168
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 14 1 0
+BITMAP
+0f00
+0600
+0600
+c630
+6660
+6660
+6660
+6660
+6660
+36c0
+1f80
+0f00
+0600
+0f00
+ENDCHAR
+STARTCHAR C167
+ENCODING 169
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 14 1 0
+BITMAP
+0f00
+3fc0
+70e0
+6060
+c030
+c030
+c030
+c030
+6060
+6060
+30c0
+1980
+f9f0
+f9f0
+ENDCHAR
+STARTCHAR a
+ENCODING 170
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 10 1 0
+BITMAP
+1f18
+3f98
+71b0
+61f0
+e0e0
+c0c0
+c0e0
+c1f0
+7fb8
+3e18
+ENDCHAR
+STARTCHAR C177
+ENCODING 171
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 16 1 -3
+BITMAP
+0780
+0fc0
+0ce0
+1860
+1860
+30c0
+33c0
+33c0
+30e0
+6060
+6060
+60e0
+67c0
+c700
+c000
+c000
+ENDCHAR
+STARTCHAR C177
+ENCODING 172
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 13 1 -3
+BITMAP
+6000
+f0c0
+9bc0
+0f00
+0e00
+1c00
+1e00
+3600
+3600
+6600
+6600
+3c00
+1800
+ENDCHAR
+STARTCHAR C170
+ENCODING 173
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 14 2 0
+BITMAP
+1e00
+3100
+3000
+3000
+1c00
+0f00
+3f80
+71c0
+60c0
+c0c0
+c180
+e380
+7f00
+3c00
+ENDCHAR
+STARTCHAR C177
+ENCODING 174
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 7 12 1 0
+BITMAP
+1c
+3e
+72
+60
+38
+38
+60
+c0
+c0
+e6
+7e
+3c
+ENDCHAR
+STARTCHAR C177
+ENCODING 175
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 16 1 -3
+BITMAP
+08
+0c
+1f
+30
+60
+60
+c0
+c0
+c0
+c0
+c0
+60
+3c
+0e
+06
+06
+ENDCHAR
+STARTCHAR C177
+ENCODING 176
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 12 1 -4
+BITMAP
+6600
+ef00
+b980
+3180
+3180
+6300
+6300
+6300
+0600
+0600
+0600
+0600
+ENDCHAR
+STARTCHAR C177
+ENCODING 177
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 12 1 0
+BITMAP
+0780
+0cc0
+0cc0
+0cc0
+0780
+6180
+b300
+3300
+3300
+6600
+6600
+3c00
+ENDCHAR
+STARTCHAR C177
+ENCODING 178
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 8 1 0
+BITMAP
+c780
+6c00
+3800
+3800
+3c00
+3400
+6680
+c300
+ENDCHAR
+STARTCHAR C177
+ENCODING 179
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 13 1 0
+BITMAP
+6000
+3000
+1800
+1800
+0c00
+0c00
+1c00
+1600
+3600
+2600
+6300
+4300
+c180
+ENDCHAR
+STARTCHAR C177
+ENCODING 180
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 12 1 -4
+BITMAP
+3180
+3180
+3180
+3180
+6300
+6300
+7f80
+7f80
+c000
+c000
+c000
+c000
+ENDCHAR
+STARTCHAR C177
+ENCODING 181
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 8 1 0
+BITMAP
+63
+b3
+33
+33
+66
+66
+7c
+78
+ENDCHAR
+STARTCHAR C167
+ENCODING 182
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 7 15 1 -2
+BITMAP
+1e
+30
+60
+60
+60
+3e
+30
+60
+c0
+c0
+c0
+7c
+06
+06
+0c
+ENDCHAR
+STARTCHAR C177
+ENCODING 183
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 9 1 0
+BITMAP
+3c20
+ffe0
+9bc0
+1980
+1980
+3180
+3180
+3180
+3180
+ENDCHAR
+STARTCHAR C177
+ENCODING 184
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 12 1 -4
+BITMAP
+0c
+1e
+33
+63
+63
+66
+3c
+38
+30
+30
+60
+c0
+ENDCHAR
+STARTCHAR C167
+ENCODING 185
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 7 1 0
+BITMAP
+1f80
+3e00
+6600
+c600
+c600
+cc00
+7800
+ENDCHAR
+STARTCHAR C167
+ENCODING 186
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 9 1 0
+BITMAP
+7f80
+ff00
+9800
+1800
+1800
+3000
+3000
+3200
+1c00
+ENDCHAR
+STARTCHAR C177
+ENCODING 187
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 12 1 -4
+BITMAP
+0700
+4f80
+9cc0
+98c0
+98c0
+d8c0
+7f80
+1f00
+0c00
+0c00
+0c00
+0c00
+ENDCHAR
+STARTCHAR C177
+ENCODING 188
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 12 1 -4
+BITMAP
+60c0
+3180
+3180
+1b00
+1b00
+1e00
+0c00
+1c00
+3c00
+6600
+6600
+c300
+ENDCHAR
+STARTCHAR C167
+ENCODING 189
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 13 1 -3
+BITMAP
+0600
+0600
+2640
+e660
+6660
+6660
+6660
+66c0
+36c0
+1f00
+0600
+0600
+0600
+ENDCHAR
+STARTCHAR C167
+ENCODING 190
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 7 1 0
+BITMAP
+6060
+c630
+c630
+c630
+c630
+6660
+1f80
+ENDCHAR
+STARTCHAR C160
+ENCODING 191
+SWIDTH 666 0
+DWIDTH 15 0
+BBX 8 6 2 1
+BITMAP
+ff
+ff
+03
+03
+03
+03
+ENDCHAR
+STARTCHAR C161
+ENCODING 192
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 9 2 0
+BITMAP
+0c00
+1e00
+1e00
+3300
+3300
+6180
+6180
+c0c0
+c0c0
+ENDCHAR
+STARTCHAR C161
+ENCODING 193
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 9 2 0
+BITMAP
+c0c0
+c0c0
+6180
+6180
+3300
+3300
+1e00
+1e00
+0c00
+ENDCHAR
+STARTCHAR C166
+ENCODING 194
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 14 1 0
+BITMAP
+8040
+c0c0
+c0c0
+4080
+7f80
+7f80
+2100
+3300
+3300
+1200
+1e00
+1e00
+0c00
+0c00
+ENDCHAR
+STARTCHAR C167
+ENCODING 195
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 14 1 0
+BITMAP
+ff80
+ff80
+0180
+0180
+0180
+0180
+ff80
+ff80
+0180
+0180
+0180
+0180
+ff80
+ff80
+ENDCHAR
+STARTCHAR C166
+ENCODING 196
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 15 1 -1
+BITMAP
+0600
+0600
+0f00
+0f00
+0900
+1980
+1980
+1080
+30c0
+30c0
+2040
+6060
+6060
+4020
+c030
+ENDCHAR
+STARTCHAR C197
+ENCODING 197
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 15 1 -1
+BITMAP
+ff
+ff
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+ENDCHAR
+STARTCHAR C197
+ENCODING 198
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 15 1 -1
+BITMAP
+ff
+ff
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+ENDCHAR
+STARTCHAR C197
+ENCODING 199
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 15 1 -1
+BITMAP
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+ff
+ff
+ENDCHAR
+STARTCHAR C197
+ENCODING 200
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 15 1 -1
+BITMAP
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+ff
+ff
+ENDCHAR
+STARTCHAR turnstile
+ENCODING 201
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 14 1 0
+BITMAP
+c000
+c000
+c000
+c000
+c000
+c000
+ffe0
+ffe0
+c000
+c000
+c000
+c000
+c000
+c000
+ENDCHAR
+STARTCHAR Turnstile
+ENCODING 202
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 14 1 0
+BITMAP
+c000
+c000
+c000
+c000
+ffe0
+ffe0
+c000
+c000
+ffe0
+ffe0
+c000
+c000
+c000
+c000
+ENDCHAR
+STARTCHAR C203
+ENCODING 203
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 14 1 0
+BITMAP
+ff
+ff
+d8
+d8
+d8
+d8
+d8
+d8
+d8
+d8
+d8
+d8
+ff
+ff
+ENDCHAR
+STARTCHAR C204
+ENCODING 204
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 14 1 0
+BITMAP
+ff
+ff
+1b
+1b
+1b
+1b
+1b
+1b
+1b
+1b
+1b
+1b
+ff
+ff
+ENDCHAR
+STARTCHAR cdot
+ENCODING 205
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 3 3 1 4
+BITMAP
+e0
+e0
+e0
+ENDCHAR
+STARTCHAR C177
+ENCODING 206
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 12 1 0
+BITMAP
+1f80
+3f80
+6000
+6000
+c000
+ff00
+ff00
+c000
+6000
+6000
+3f80
+1f80
+ENDCHAR
+STARTCHAR C161
+ENCODING 207
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 11 1 0
+BITMAP
+1fe0
+7fe0
+e000
+c000
+c000
+e000
+7fe0
+1fe0
+0000
+7fe0
+7fe0
+ENDCHAR
+STARTCHAR C161
+ENCODING 208
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 12 1 0
+BITMAP
+1e00
+7f80
+e1c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+ENDCHAR
+STARTCHAR C161
+ENCODING 209
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 12 1 0
+BITMAP
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+e1c0
+7f80
+1e00
+ENDCHAR
+STARTCHAR C197
+ENCODING 210
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 15 1 -1
+BITMAP
+1e00
+7f80
+e1c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+ENDCHAR
+STARTCHAR C197
+ENCODING 211
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 15 1 -1
+BITMAP
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+e1c0
+7f80
+1e00
+ENDCHAR
+STARTCHAR C161
+ENCODING 212
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 12 1 0
+BITMAP
+ffc0
+ffc0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+ENDCHAR
+STARTCHAR C161
+ENCODING 213
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 12 1 0
+BITMAP
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR C197
+ENCODING 214
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 15 1 -1
+BITMAP
+ffc0
+ffc0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+ENDCHAR
+STARTCHAR C197
+ENCODING 215
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 15 1 -1
+BITMAP
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+c0c0
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR C161
+ENCODING 216
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 12 1 0
+BITMAP
+0600
+0600
+0600
+0600
+0600
+0600
+0600
+0600
+0600
+0600
+fff0
+fff0
+ENDCHAR
+STARTCHAR C161
+ENCODING 217
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 9 1 3
+BITMAP
+0600
+0600
+0000
+fff0
+fff0
+0000
+0000
+fff0
+fff0
+ENDCHAR
+STARTCHAR C177
+ENCODING 218
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 8 1 2
+BITMAP
+ff80
+ff80
+0000
+ff80
+ff80
+0000
+ff80
+ff80
+ENDCHAR
+STARTCHAR C161
+ENCODING 219
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 12 1 0
+BITMAP
+0600
+0600
+0600
+ffc0
+ffc0
+0c00
+0c00
+ffc0
+ffc0
+1800
+1800
+1800
+ENDCHAR
+STARTCHAR C161
+ENCODING 220
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 8 1 3
+BITMAP
+ffe0
+ffe0
+c000
+c000
+c000
+c000
+ffe0
+ffe0
+ENDCHAR
+STARTCHAR C161
+ENCODING 221
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 11 1 1
+BITMAP
+ffe0
+ffe0
+c000
+c000
+c000
+c000
+ffe0
+ffe0
+0000
+ffe0
+ffe0
+ENDCHAR
+STARTCHAR C177
+ENCODING 222
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 12 1 0
+BITMAP
+0040
+00c0
+0180
+0300
+0e00
+f800
+f800
+0e00
+0300
+0180
+00c0
+0040
+ENDCHAR
+STARTCHAR C177
+ENCODING 223
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 14 1 -2
+BITMAP
+0040
+00c0
+0180
+0300
+0e00
+f800
+f800
+0e00
+0300
+0180
+00c0
+0000
+ffc0
+ffc0
+ENDCHAR
+STARTCHAR C177
+ENCODING 224
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 12 1 0
+BITMAP
+8000
+c000
+6000
+3000
+1c00
+07c0
+07c0
+1c00
+3000
+6000
+c000
+8000
+ENDCHAR
+STARTCHAR C161
+ENCODING 225
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 8 1 3
+BITMAP
+3800
+fe30
+c7f0
+01c0
+3800
+fe30
+c7f0
+01c0
+ENDCHAR
+STARTCHAR C161
+ENCODING 226
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 4 1 5
+BITMAP
+3800
+fe30
+c7f0
+01c0
+ENDCHAR
+STARTCHAR C161
+ENCODING 227
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 7 1 4
+BITMAP
+3800
+fe30
+c7f0
+01c0
+0000
+fff0
+fff0
+ENDCHAR
+STARTCHAR C177
+ENCODING 228
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 12 1 0
+BITMAP
+0180
+0700
+1c00
+7000
+c000
+7000
+1c00
+0700
+0180
+0000
+ff80
+ff80
+ENDCHAR
+STARTCHAR C177
+ENCODING 229
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 7 10 1 1
+BITMAP
+c6
+c6
+00
+00
+00
+00
+00
+00
+c6
+c6
+ENDCHAR
+STARTCHAR leftarrow
+ENCODING 230
+SWIDTH 666 0
+DWIDTH 15 0
+BBX 13 10 4 2
+BITMAP
+0c00
+1c00
+3800
+7000
+fff8
+fff8
+7000
+3800
+1c00
+0c00
+ENDCHAR
+STARTCHAR hline
+ENCODING 231
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 16 2 1 6
+BITMAP
+ffff
+ffff
+ENDCHAR
+STARTCHAR rightarrow
+ENCODING 232
+SWIDTH 666 0
+DWIDTH 15 0
+BBX 13 10 1 2
+BITMAP
+0180
+01c0
+00e0
+0070
+fff8
+fff8
+0070
+00e0
+01c0
+0180
+ENDCHAR
+STARTCHAR Leftarrow
+ENCODING 233
+SWIDTH 666 0
+DWIDTH 15 0
+BBX 13 14 4 0
+BITMAP
+0300
+0700
+0e00
+1c00
+3ff8
+7ff8
+e000
+e000
+7ff8
+3ff8
+1c00
+0e00
+0700
+0300
+ENDCHAR
+STARTCHAR doublehline
+ENCODING 234
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 16 6 1 4
+BITMAP
+ffff
+ffff
+0000
+0000
+ffff
+ffff
+ENDCHAR
+STARTCHAR Rightarrow
+ENCODING 235
+SWIDTH 666 0
+DWIDTH 15 0
+BBX 13 14 1 0
+BITMAP
+0600
+0700
+0380
+01c0
+ffe0
+fff0
+0038
+0038
+fff0
+ffe0
+01c0
+0380
+0700
+0600
+ENDCHAR
+STARTCHAR C161
+ENCODING 236
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 4 1 7
+BITMAP
+3f80
+7fc0
+e0e0
+c060
+ENDCHAR
+STARTCHAR C161
+ENCODING 237
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 10 1 2
+BITMAP
+0180
+c1c0
+c0e0
+c070
+fff8
+fff8
+c070
+c0e0
+c1c0
+0180
+ENDCHAR
+STARTCHAR C161
+ENCODING 238
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 10 1 2
+BITMAP
+00c0
+00e0
+0070
+3c38
+7efc
+e7fc
+c3b8
+0070
+00e0
+00c0
+ENDCHAR
+STARTCHAR C167
+ENCODING 239
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 13 1 0
+BITMAP
+0c00
+1e00
+3f00
+7f80
+edc0
+ccc0
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+ENDCHAR
+STARTCHAR C167
+ENCODING 240
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 10 13 1 0
+BITMAP
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+0c00
+ccc0
+edc0
+7f80
+3f00
+1e00
+0c00
+ENDCHAR
+STARTCHAR C161
+ENCODING 241
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 9 14 1 -1
+BITMAP
+0180
+1f80
+3f80
+6300
+6600
+c600
+ff00
+ff00
+d800
+7800
+7000
+3f80
+7f80
+6000
+ENDCHAR
+STARTCHAR C175
+ENCODING 242
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 11 1 0
+BITMAP
+c030
+6060
+30c0
+1980
+0f00
+0600
+0f00
+1980
+30c0
+6060
+c030
+ENDCHAR
+STARTCHAR plus
+ENCODING 243
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 14 1 0
+BITMAP
+0780
+1fe0
+3030
+6318
+4308
+c30c
+dfec
+dfec
+c30c
+4308
+6318
+3030
+1fe0
+0780
+ENDCHAR
+STARTCHAR plus
+ENCODING 244
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 14 1 0
+BITMAP
+0780
+1fe0
+3030
+6018
+4008
+c00c
+dfec
+dfec
+c00c
+4008
+6018
+3030
+1fe0
+0780
+ENDCHAR
+STARTCHAR plus
+ENCODING 245
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 14 1 0
+BITMAP
+0780
+1fe0
+3030
+7878
+5ce8
+cfcc
+c78c
+c78c
+cfcc
+5ce8
+7878
+3030
+1fe0
+0780
+ENDCHAR
+STARTCHAR plus
+ENCODING 246
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 14 1 0
+BITMAP
+0780
+1fe0
+3030
+6078
+40e8
+c1cc
+c38c
+c70c
+ce0c
+5c08
+7818
+3030
+1fe0
+0780
+ENDCHAR
+STARTCHAR C161
+ENCODING 247
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 11 8 1 3
+BITMAP
+1fe0
+7fe0
+e000
+c000
+c000
+e000
+7fe0
+1fe0
+ENDCHAR
+STARTCHAR C161
+ENCODING 248
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 8 0 2
+BITMAP
+3870
+7cf8
+e7dc
+c38c
+c70c
+ef9c
+7cf8
+3870
+ENDCHAR
+STARTCHAR C161
+ENCODING 249
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 12 1 0
+BITMAP
+fff0
+fff0
+c030
+c030
+c030
+c030
+c030
+c030
+c030
+c030
+fff0
+fff0
+ENDCHAR
+STARTCHAR C161
+ENCODING 250
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 13 13 1 0
+BITMAP
+0200
+0700
+0d80
+18c0
+3060
+6030
+c018
+6030
+3060
+18c0
+0d80
+0700
+0200
+ENDCHAR
+STARTCHAR C161
+ENCODING 251
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 8 1 2
+BITMAP
+3c
+7e
+e7
+c3
+c3
+e7
+7e
+3c
+ENDCHAR
+STARTCHAR C161
+ENCODING 252
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 8 8 1 2
+BITMAP
+3c
+7e
+ff
+ff
+ff
+ff
+7e
+3c
+ENDCHAR
+STARTCHAR C253
+ENCODING 253
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 6 15 4 -1
+BITMAP
+cc
+cc
+cc
+cc
+cc
+cc
+cc
+cc
+cc
+cc
+cc
+cc
+cc
+cc
+cc
+ENDCHAR
+STARTCHAR C254
+ENCODING 254
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 12 11 1 1
+BITMAP
+0070
+0070
+00c0
+00c0
+0180
+e180
+f300
+3300
+1e00
+1e00
+0c00
+ENDCHAR
+STARTCHAR plus
+ENCODING 255
+SWIDTH 600 0
+DWIDTH 15 0
+BBX 14 14 1 0
+BITMAP
+0780
+1fe0
+3030
+6798
+4cc8
+d80c
+d00c
+d00c
+d80c
+4cc8
+6798
+3030
+1fe0
+0780
+ENDCHAR
+ENDFONT