diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /language/coptic/rosmorduc/copte.mf |
Initial commit
Diffstat (limited to 'language/coptic/rosmorduc/copte.mf')
-rw-r--r-- | language/coptic/rosmorduc/copte.mf | 4845 |
1 files changed, 4845 insertions, 0 deletions
diff --git a/language/coptic/rosmorduc/copte.mf b/language/coptic/rosmorduc/copte.mf new file mode 100644 index 0000000000..b5d2a9aa28 --- /dev/null +++ b/language/coptic/rosmorduc/copte.mf @@ -0,0 +1,4845 @@ +% This file defines the Metafont font copte.mf. +% {limn output Sep 24 17:59:49 1995 from imageto output Sep 24 16:54:15 1995} +% Generated Tue Sep 26 15:41:16 1995. +% This font is in the public domain. +true_design_size# := 10.000pt#; +input bzrsetup; +font_coding_scheme := "# encoding for coptic font "; +font_identifier := "copte"; + + +beginchar (oct"70", 6.790u#, 5.603u#, 0.000u#); + "thida"; + z42\0\0s = (0.000u,3.074u); + z42\0\0c1 = (0.124u,2.332u); + z42\0\0c2 = (0.446u,2.422u); + z42\0\0 = (0.801u,1.863u); + z42\0\1c1 = (1.052u,1.467u); + z42\0\1c2 = (1.168u,0.956u); + z42\0\1 = (1.512u,0.628u); + z42\0\2c1 = (2.342u,-0.163u); + z42\0\2c2 = (4.366u,-0.200u); + z42\0\2 = (5.267u,0.476u); + z42\0\3c1 = (5.609u,0.732u); + z42\0\3c2 = (5.861u,1.257u); + z42\0\3 = (6.069u,1.628u); + z42\0\4c1 = (6.224u,1.904u); + z42\0\4c2 = (6.791u,2.581u); + z42\0\4 = (6.790u,2.825u); + z42\0\5 = (5.920u,4.278u); + z42\0\6c1 = (5.444u,5.079u); + z42\0\6c2 = (4.804u,5.586u); + z42\0\6 = (3.854u,5.603u); + z42\0\7c1 = (0.589u,5.661u); + z42\0\7c2 = (1.577u,3.525u); + z42\1\0s = (4.707u,3.075u); + z42\1\0 = (2.892u,3.075u); + z42\1\1c1 = (1.431u,3.133u); + z42\1\1c2 = (2.556u,5.532u); + z42\1\1 = (4.090u,4.656u); + z42\1\2c1 = (4.405u,4.476u); + z42\1\2c2 = (4.617u,4.273u); + z42\1\2 = (4.707u,3.915u); + z42\1\3c1 = (4.800u,3.614u); + z42\1\3c2 = (4.744u,3.371u); + z42\2\0s = (2.547u,2.279u); + z42\2\0c1 = (5.471u,2.940u); + z42\2\0c2 = (5.084u,0.840u); + z42\2\0 = (3.734u,0.681u); + z42\2\1c1 = (2.960u,0.589u); + z42\2\1c2 = (1.700u,1.690u); + fill_or_unfill z42\0\0s + ..controls z42\0\0c1 and z42\0\0c2..z42\0\0 + ..controls z42\0\1c1 and z42\0\1c2..z42\0\1 + ..controls z42\0\2c1 and z42\0\2c2..z42\0\2 + ..controls z42\0\3c1 and z42\0\3c2..z42\0\3 + ..controls z42\0\4c1 and z42\0\4c2..z42\0\4 + --z42\0\5 + ..controls z42\0\6c1 and z42\0\6c2..z42\0\6 + ..controls z42\0\7c1 and z42\0\7c2..cycle; + fill_or_unfill z42\1\0s + --z42\1\0 + ..controls z42\1\1c1 and z42\1\1c2..z42\1\1 + ..controls z42\1\2c1 and z42\1\2c2..z42\1\2 + ..controls z42\1\3c1 and z42\1\3c2..cycle; + fill_or_unfill z42\2\0s + ..controls z42\2\0c1 and z42\2\0c2..z42\2\0 + ..controls z42\2\1c1 and z42\2\1c2..cycle; + proof_labels ( + 42\0\0, + 42\0\1, + 42\0\2, + 42\0\3, + 42\0\4, + 42\0\5, + 42\0\6, + 42\0\7, + 42\1\0, + 42\1\1, + 42\1\2, + 42\1\3, + 42\2\0, + 42\2\1, +); +endchar; + +beginchar (65, 10.436u#, 8.699u#, 0.000u#); + "Alpha"; + z65\0\0s = (1.084u,2.409u); + z65\0\0c1 = (-0.088u,2.207u); + z65\0\0c2 = (-0.061u,0.110u); + z65\0\0 = (2.168u,0.120u); + z65\0\1c1 = (4.132u,0.130u); + z65\0\1c2 = (3.752u,1.214u); + z65\0\1 = (4.938u,1.566u); + z65\0\2 = (4.938u,0.843u); + z65\0\3c1 = (5.248u,0.658u); + z65\0\3c2 = (5.457u,0.321u); + z65\0\3 = (5.788u,0.192u); + z65\0\4c1 = (7.024u,-0.287u); + z65\0\4c2 = (8.007u,0.807u); + z65\0\4 = (8.190u,1.927u); + z65\0\5c1 = (8.399u,1.541u); + z65\0\5c2 = (10.274u,-0.973u); + z65\0\5 = (10.445u,0.607u); + z65\0\6c1 = (10.497u,1.082u); + z65\0\6c2 = (10.009u,1.494u); + z65\0\6 = (9.842u,1.928u); + z65\0\7c1 = (9.055u,3.974u); + z65\0\7c2 = (9.045u,5.731u); + z65\0\7 = (7.199u,7.271u); + z65\0\8c1 = (6.857u,7.556u); + z65\0\8c2 = (5.701u,8.237u); + z65\0\8 = (5.300u,8.367u); + z65\0\9c1 = (4.150u,8.742u); + z65\0\9c2 = (-0.332u,9.235u); + z65\0\9 = (0.027u,7.107u); + z65\0\10c1 = (0.092u,6.724u); + z65\0\10c2 = (0.466u,6.138u); + z65\0\10 = (0.926u,6.393u); + z65\0\11c1 = (1.411u,6.663u); + z65\0\11c2 = (0.988u,7.452u); + z65\0\11 = (1.483u,7.861u); + z65\0\12c1 = (1.691u,8.032u); + z65\0\12c2 = (2.027u,8.080u); + z65\0\12 = (2.289u,8.051u); + z65\0\13c1 = (3.734u,7.889u); + z65\0\13c2 = (4.427u,5.682u); + z65\0\13 = (4.455u,4.457u); + z65\0\14c1 = (4.519u,1.663u); + z65\0\14c2 = (1.795u,-0.259u); + z65\1\0s = (4.577u,7.588u); + z65\1\0c1 = (5.621u,7.112u); + z65\1\0c2 = (6.478u,6.509u); + z65\1\0 = (7.141u,5.551u); + z65\1\1c1 = (7.765u,4.648u); + z65\1\1c2 = (8.232u,2.390u); + z65\1\1 = (7.296u,1.570u); + z65\1\2c1 = (6.871u,1.198u); + z65\1\2c2 = (6.428u,1.207u); + z65\1\2 = (5.902u,1.204u); + z65\1\3 = (5.309u,5.059u); + fill_or_unfill z65\0\0s + ..controls z65\0\0c1 and z65\0\0c2..z65\0\0 + ..controls z65\0\1c1 and z65\0\1c2..z65\0\1 + --z65\0\2 + ..controls z65\0\3c1 and z65\0\3c2..z65\0\3 + ..controls z65\0\4c1 and z65\0\4c2..z65\0\4 + ..controls z65\0\5c1 and z65\0\5c2..z65\0\5 + ..controls z65\0\6c1 and z65\0\6c2..z65\0\6 + ..controls z65\0\7c1 and z65\0\7c2..z65\0\7 + ..controls z65\0\8c1 and z65\0\8c2..z65\0\8 + ..controls z65\0\9c1 and z65\0\9c2..z65\0\9 + ..controls z65\0\10c1 and z65\0\10c2..z65\0\10 + ..controls z65\0\11c1 and z65\0\11c2..z65\0\11 + ..controls z65\0\12c1 and z65\0\12c2..z65\0\12 + ..controls z65\0\13c1 and z65\0\13c2..z65\0\13 + ..controls z65\0\14c1 and z65\0\14c2..cycle; + fill_or_unfill z65\1\0s + ..controls z65\1\0c1 and z65\1\0c2..z65\1\0 + ..controls z65\1\1c1 and z65\1\1c2..z65\1\1 + ..controls z65\1\2c1 and z65\1\2c2..z65\1\2 + --z65\1\3 + --cycle; + proof_labels ( + 65\0\0, + 65\0\1, + 65\0\2, + 65\0\3, + 65\0\4, + 65\0\5, + 65\0\6, + 65\0\7, + 65\0\8, + 65\0\9, + 65\0\10, + 65\0\11, + 65\0\12, + 65\0\13, + 65\0\14, + 65\1\0, + 65\1\1, + 65\1\2, + 65\1\3, + 65\1\4, +); +endchar; + +beginchar (66, 8.431u#, 8.577u#, 0.000u#); + "Vida"; + z66\0\0s = (0.723u,8.152u); + z66\0\0 = (1.204u,6.947u); + z66\0\1 = (0.961u,1.302u); + z66\0\2 = (0.000u,0.202u); + z66\0\3 = (3.613u,0.000u); + z66\0\4 = (5.420u,0.104u); + z66\0\5 = (8.431u,0.202u); + z66\0\6 = (7.347u,0.805u); + z66\0\7c1 = (8.120u,2.621u); + z66\0\7c2 = (7.582u,3.707u); + z66\0\7 = (6.022u,4.779u); + z66\0\8c1 = (7.676u,6.101u); + z66\0\8c2 = (8.478u,8.385u); + z66\0\8 = (5.541u,8.516u); + z66\0\9c1 = (5.101u,8.538u); + z66\0\9c2 = (4.775u,8.618u); + z66\0\9 = (4.336u,8.516u); + z66\0\10c1 = (2.794u,8.511u); + z66\0\10c2 = (2.839u,8.125u); + z66\0\10 = (5.087u,7.913u); + z66\0\11c1 = (5.354u,7.735u); + z66\0\11c2 = (5.601u,7.533u); + z66\0\11 = (5.720u,7.168u); + z66\0\12c1 = (6.163u,5.809u); + z66\0\12c2 = (3.943u,4.328u); + z66\0\12 = (3.063u,5.092u); + z66\0\13c1 = (2.724u,5.387u); + z66\0\13c2 = (2.698u,7.100u); + z66\0\13 = (2.831u,7.529u); + z66\0\14 = (3.371u,8.474u); + z66\0\15c1 = (2.609u,8.599u); + z66\0\15c2 = (1.125u,8.688u); + z66\1\0s = (2.760u,0.925u); + z66\1\0c1 = (2.720u,1.540u); + z66\1\0c2 = (2.691u,1.994u); + z66\1\0 = (2.760u,2.611u); + z66\1\1c1 = (2.787u,3.003u); + z66\1\1c2 = (2.705u,3.717u); + z66\1\1 = (2.893u,4.038u); + z66\1\2c1 = (3.088u,4.370u); + z66\1\2c2 = (3.410u,4.389u); + z66\1\2 = (3.754u,4.405u); + z66\1\3c1 = (6.365u,4.532u); + z66\1\3c2 = (6.603u,1.120u); + z66\1\3 = (4.095u,0.647u); + z66\1\4c1 = (3.610u,0.556u); + z66\1\4c2 = (3.209u,0.760u); + fill_or_unfill z66\0\0s + --z66\0\0 + --z66\0\1 + --z66\0\2 + --z66\0\3 + --z66\0\4 + --z66\0\5 + --z66\0\6 + ..controls z66\0\7c1 and z66\0\7c2..z66\0\7 + ..controls z66\0\8c1 and z66\0\8c2..z66\0\8 + ..controls z66\0\9c1 and z66\0\9c2..z66\0\9 + ..controls z66\0\10c1 and z66\0\10c2..z66\0\10 + ..controls z66\0\11c1 and z66\0\11c2..z66\0\11 + ..controls z66\0\12c1 and z66\0\12c2..z66\0\12 + ..controls z66\0\13c1 and z66\0\13c2..z66\0\13 + --z66\0\14 + ..controls z66\0\15c1 and z66\0\15c2..cycle; + fill_or_unfill z66\1\0s + ..controls z66\1\0c1 and z66\1\0c2..z66\1\0 + ..controls z66\1\1c1 and z66\1\1c2..z66\1\1 + ..controls z66\1\2c1 and z66\1\2c2..z66\1\2 + ..controls z66\1\3c1 and z66\1\3c2..z66\1\3 + ..controls z66\1\4c1 and z66\1\4c2..cycle; + proof_labels ( + 66\0\0, + 66\0\1, + 66\0\2, + 66\0\3, + 66\0\4, + 66\0\5, + 66\0\6, + 66\0\7, + 66\0\8, + 66\0\9, + 66\0\10, + 66\0\11, + 66\0\12, + 66\0\13, + 66\0\14, + 66\0\15, + 66\1\0, + 66\1\1, + 66\1\2, + 66\1\3, + 66\1\4, +); +endchar; + +beginchar (67, 6.754u#, 8.608u#, 0.000u#); + "Sima"; + z67\0\0s = (2.751u,8.497u); + z67\0\0c1 = (2.114u,8.229u); + z67\0\0c2 = (1.272u,7.744u); + z67\0\0 = (0.848u,7.189u); + z67\0\1c1 = (-0.306u,5.671u); + z67\0\1c2 = (-0.322u,2.632u); + z67\0\1 = (1.041u,1.241u); + z67\0\2c1 = (1.572u,0.701u); + z67\0\2c2 = (2.283u,0.399u); + z67\0\2 = (2.992u,0.177u); + z67\0\3c1 = (4.062u,-0.159u); + z67\0\3c2 = (4.975u,-0.027u); + z67\0\3 = (5.898u,0.657u); + z67\0\4c1 = (6.449u,1.064u); + z67\0\4c2 = (7.179u,2.263u); + z67\0\4 = (6.444u,2.811u); + z67\0\5c1 = (6.254u,2.953u); + z67\0\5c2 = (6.003u,3.030u); + z67\0\5 = (5.768u,2.979u); + z67\0\6c1 = (4.846u,2.779u); + z67\0\6c2 = (5.376u,1.439u); + z67\0\6 = (4.435u,1.078u); + z67\0\7c1 = (2.153u,0.200u); + z67\0\7c2 = (1.205u,4.134u); + z67\0\7 = (1.694u,5.703u); + z67\0\8c1 = (1.989u,6.649u); + z67\0\8c2 = (3.416u,8.919u); + z67\0\8 = (4.617u,7.787u); + z67\0\9c1 = (5.099u,7.333u); + z67\0\9c2 = (4.812u,6.321u); + z67\0\9 = (5.428u,5.902u); + z67\0\10c1 = (5.983u,5.526u); + z67\0\10c2 = (6.635u,6.197u); + z67\0\10 = (6.528u,6.788u); + z67\0\11c1 = (6.232u,8.439u); + z67\0\11c2 = (4.106u,8.838u); + fill_or_unfill z67\0\0s + ..controls z67\0\0c1 and z67\0\0c2..z67\0\0 + ..controls z67\0\1c1 and z67\0\1c2..z67\0\1 + ..controls z67\0\2c1 and z67\0\2c2..z67\0\2 + ..controls z67\0\3c1 and z67\0\3c2..z67\0\3 + ..controls z67\0\4c1 and z67\0\4c2..z67\0\4 + ..controls z67\0\5c1 and z67\0\5c2..z67\0\5 + ..controls z67\0\6c1 and z67\0\6c2..z67\0\6 + ..controls z67\0\7c1 and z67\0\7c2..z67\0\7 + ..controls z67\0\8c1 and z67\0\8c2..z67\0\8 + ..controls z67\0\9c1 and z67\0\9c2..z67\0\9 + ..controls z67\0\10c1 and z67\0\10c2..z67\0\10 + ..controls z67\0\11c1 and z67\0\11c2..cycle; + proof_labels ( + 67\0\0, + 67\0\1, + 67\0\2, + 67\0\3, + 67\0\4, + 67\0\5, + 67\0\6, + 67\0\7, + 67\0\8, + 67\0\9, + 67\0\10, + 67\0\11, +); +endchar; + +beginchar (68, 10.569u#, 8.729u#, 0.000u#); + "Dalda"; + z68\0\0s = (10.473u,0.061u); + z68\0\0 = (10.569u,0.788u); + z68\0\1c1 = (7.319u,1.404u); + z68\0\1c2 = (6.651u,7.318u); + z68\0\1 = (4.730u,8.313u); + z68\0\2c1 = (3.594u,8.902u); + z68\0\2c2 = (2.132u,8.713u); + z68\0\2 = (0.898u,8.650u); + z68\0\3c1 = (0.163u,8.613u); + z68\0\3c2 = (-0.352u,7.966u); + z68\0\3 = (0.290u,7.376u); + z68\0\4c1 = (1.260u,6.485u); + z68\0\4c2 = (1.972u,9.458u); + z68\0\4 = (3.578u,7.640u); + z68\0\5c1 = (5.357u,5.629u); + z68\0\5c2 = (4.565u,4.557u); + z68\0\5 = (3.347u,2.589u); + z68\0\6c1 = (3.049u,2.106u); + z68\0\6c2 = (2.785u,1.448u); + z68\0\6 = (2.341u,1.089u); + z68\0\7c1 = (2.022u,0.831u); + z68\0\7c2 = (1.132u,0.718u); + z68\0\7 = (1.046u,0.432u); + z68\0\8c1 = (0.889u,-0.092u); + z68\0\8c2 = (1.768u,0.004u); + z68\0\8 = (2.039u,0.012u); + z68\0\9c1 = (4.825u,0.103u); + z68\0\9c2 = (7.707u,0.359u); + z68\1\0s = (7.792u,0.934u); + z68\1\0 = (3.217u,0.776u); + z68\1\1c1 = (3.277u,1.490u); + z68\1\1c2 = (3.920u,2.238u); + z68\1\1 = (4.290u,2.862u); + z68\1\2c1 = (4.498u,3.210u); + z68\1\2c2 = (5.047u,4.270u); + z68\1\2 = (5.415u,4.381u); + z68\1\3c1 = (5.961u,4.546u); + z68\1\3c2 = (7.623u,1.494u); + fill_or_unfill z68\0\0s + --z68\0\0 + ..controls z68\0\1c1 and z68\0\1c2..z68\0\1 + ..controls z68\0\2c1 and z68\0\2c2..z68\0\2 + ..controls z68\0\3c1 and z68\0\3c2..z68\0\3 + ..controls z68\0\4c1 and z68\0\4c2..z68\0\4 + ..controls z68\0\5c1 and z68\0\5c2..z68\0\5 + ..controls z68\0\6c1 and z68\0\6c2..z68\0\6 + ..controls z68\0\7c1 and z68\0\7c2..z68\0\7 + ..controls z68\0\8c1 and z68\0\8c2..z68\0\8 + ..controls z68\0\9c1 and z68\0\9c2..cycle; + fill_or_unfill z68\1\0s + --z68\1\0 + ..controls z68\1\1c1 and z68\1\1c2..z68\1\1 + ..controls z68\1\2c1 and z68\1\2c2..z68\1\2 + ..controls z68\1\3c1 and z68\1\3c2..cycle; + proof_labels ( + 68\0\0, + 68\0\1, + 68\0\2, + 68\0\3, + 68\0\4, + 68\0\5, + 68\0\6, + 68\0\7, + 68\0\8, + 68\0\9, + 68\1\0, + 68\1\1, + 68\1\2, + 68\1\3, +); +endchar; + +beginchar (69, 7.347u#, 8.552u#, 0.000u#); + "Ei"; + z69\0\0s = (5.541u,2.650u); + z69\0\0c1 = (5.291u,1.428u); + z69\0\0c2 = (4.790u,0.848u); + z69\0\0 = (3.498u,0.834u); + z69\0\1c1 = (3.115u,0.830u); + z69\0\1c2 = (2.875u,0.791u); + z69\0\1 = (2.550u,1.049u); + z69\0\2c1 = (2.131u,1.379u); + z69\0\2c2 = (1.796u,2.141u); + z69\0\2 = (1.656u,2.649u); + z69\0\3c1 = (1.453u,3.388u); + z69\0\3c2 = (1.557u,4.293u); + z69\0\3 = (1.566u,5.059u); + z69\0\4c1 = (1.583u,6.441u); + z69\0\4c2 = (2.889u,9.138u); + z69\0\4 = (4.555u,7.651u); + z69\0\5c1 = (5.304u,6.982u); + z69\0\5c2 = (5.350u,6.059u); + z69\0\5 = (5.662u,5.730u); + z69\0\6c1 = (6.008u,5.365u); + z69\0\6c2 = (6.662u,5.551u); + z69\0\6 = (6.802u,6.028u); + z69\0\7c1 = (6.915u,6.413u); + z69\0\7c2 = (6.747u,6.794u); + z69\0\7 = (6.528u,7.105u); + z69\0\8c1 = (5.645u,8.359u); + z69\0\8c2 = (3.965u,8.788u); + z69\0\8 = (2.529u,8.386u); + z69\0\9c1 = (-1.263u,7.327u); + z69\0\9c2 = (-0.757u,0.177u); + z69\0\9 = (3.493u,0.149u); + z69\0\10c1 = (3.866u,0.116u); + z69\0\10c2 = (4.700u,0.080u); + z69\0\10 = (5.024u,0.149u); + z69\0\11c1 = (5.643u,0.360u); + z69\0\11c2 = (7.726u,2.001u); + z69\0\11 = (6.573u,2.581u); + z69\0\12c1 = (6.377u,2.679u); + z69\0\12c2 = (5.780u,2.650u); + z69\1\0s = (2.048u,4.457u); + z69\1\0c1 = (2.159u,4.285u); + z69\1\0c2 = (2.223u,4.136u); + z69\1\0 = (2.436u,4.067u); + z69\1\1 = (6.504u,3.915u); + z69\1\2c1 = (6.730u,3.911u); + z69\1\2c2 = (7.467u,3.943u); + z69\1\2 = (7.207u,4.387u); + z69\1\3c1 = (6.893u,4.922u); + z69\1\3c2 = (2.697u,4.718u); + fill_or_unfill z69\0\0s + ..controls z69\0\0c1 and z69\0\0c2..z69\0\0 + ..controls z69\0\1c1 and z69\0\1c2..z69\0\1 + ..controls z69\0\2c1 and z69\0\2c2..z69\0\2 + ..controls z69\0\3c1 and z69\0\3c2..z69\0\3 + ..controls z69\0\4c1 and z69\0\4c2..z69\0\4 + ..controls z69\0\5c1 and z69\0\5c2..z69\0\5 + ..controls z69\0\6c1 and z69\0\6c2..z69\0\6 + ..controls z69\0\7c1 and z69\0\7c2..z69\0\7 + ..controls z69\0\8c1 and z69\0\8c2..z69\0\8 + ..controls z69\0\9c1 and z69\0\9c2..z69\0\9 + ..controls z69\0\10c1 and z69\0\10c2..z69\0\10 + ..controls z69\0\11c1 and z69\0\11c2..z69\0\11 + ..controls z69\0\12c1 and z69\0\12c2..cycle; + fill_or_unfill z69\1\0s + ..controls z69\1\0c1 and z69\1\0c2..z69\1\0 + --z69\1\1 + ..controls z69\1\2c1 and z69\1\2c2..z69\1\2 + ..controls z69\1\3c1 and z69\1\3c2..cycle; + proof_labels ( + 69\0\0, + 69\0\1, + 69\0\2, + 69\0\3, + 69\0\4, + 69\0\5, + 69\0\6, + 69\0\7, + 69\0\8, + 69\0\9, + 69\0\10, + 69\0\11, + 69\0\12, + 69\1\0, + 69\1\1, + 69\1\2, + 69\1\3, +); +endchar; + +beginchar (70, 6.552u#, 8.528u#, 0.000u#); + "Fei"; + z70\0\0s = (2.903u,0.000u); + z70\0\0 = (6.552u,0.000u); + z70\0\1c1 = (6.552u,0.811u); + z70\0\1c2 = (5.336u,0.405u); + z70\0\1 = (5.336u,1.216u); + z70\0\2 = (5.336u,7.298u); + z70\0\3c1 = (5.336u,8.109u); + z70\0\3c2 = (6.552u,7.704u); + z70\0\3 = (6.552u,8.515u); + z70\0\4 = (2.903u,8.515u); + z70\0\5c1 = (2.903u,7.704u); + z70\0\5c2 = (4.119u,8.109u); + z70\0\5 = (4.119u,7.298u); + z70\0\6 = (4.119u,1.216u); + z70\0\7c1 = (4.119u,0.405u); + z70\0\7c2 = (2.903u,0.811u); + z70\1\0s = (4.483u,3.637u); + z70\1\0 = (4.274u,4.570u); + z70\1\1c1 = (3.439u,3.957u); + z70\1\1c2 = (1.534u,5.012u); + z70\1\1 = (1.010u,5.712u); + z70\1\2c1 = (0.719u,6.102u); + z70\1\2c2 = (0.036u,7.267u); + z70\1\2 = (0.726u,7.582u); + z70\1\3c1 = (1.084u,7.746u); + z70\1\3c2 = (1.891u,7.432u); + z70\1\3 = (2.074u,7.896u); + z70\1\4c1 = (2.431u,8.808u); + z70\1\4c2 = (-0.190u,8.994u); + z70\1\4 = (0.007u,6.655u); + z70\1\5c1 = (0.280u,3.412u); + z70\1\5c2 = (4.100u,4.389u); + fill_or_unfill z70\0\0s + --z70\0\0 + ..controls z70\0\1c1 and z70\0\1c2..z70\0\1 + --z70\0\2 + ..controls z70\0\3c1 and z70\0\3c2..z70\0\3 + --z70\0\4 + ..controls z70\0\5c1 and z70\0\5c2..z70\0\5 + --z70\0\6 + ..controls z70\0\7c1 and z70\0\7c2..cycle; + fill_or_unfill z70\1\0s + --z70\1\0 + ..controls z70\1\1c1 and z70\1\1c2..z70\1\1 + ..controls z70\1\2c1 and z70\1\2c2..z70\1\2 + ..controls z70\1\3c1 and z70\1\3c2..z70\1\3 + ..controls z70\1\4c1 and z70\1\4c2..z70\1\4 + ..controls z70\1\5c1 and z70\1\5c2..cycle; + proof_labels ( + 70\0\0, + 70\0\1, + 70\0\2, + 70\0\3, + 70\0\4, + 70\0\5, + 70\0\6, + 70\0\7, + 70\1\0, + 70\1\1, + 70\1\2, + 70\1\3, + 70\1\4, + 70\1\5, +); +endchar; + +beginchar (71, 7.588u#, 8.613u#, 0.000u#); + "Gamma"; + z71\0\0s = (0.000u,8.432u); + z71\0\0 = (1.148u,6.139u); + z71\0\1 = (1.720u,3.493u); + z71\0\2c1 = (2.211u,1.648u); + z71\0\2c2 = (3.406u,0.093u); + z71\0\2 = (5.420u,0.000u); + z71\0\3 = (3.893u,1.928u); + z71\0\4 = (2.605u,5.541u); + z71\0\5 = (1.445u,8.070u); + z71\0\6 = (2.540u,8.230u); + z71\0\7 = (5.420u,8.070u); + z71\0\8c1 = (5.420u,6.742u); + z71\0\8c2 = (5.703u,4.862u); + z71\0\8 = (7.588u,5.541u); + z71\0\9c1 = (7.019u,6.538u); + z71\0\9c2 = (5.703u,7.205u); + z71\0\9 = (7.227u,8.191u); + z71\0\10 = (7.227u,8.432u); + z71\0\11c1 = (6.339u,8.687u); + z71\0\11c2 = (0.935u,8.660u); + fill_or_unfill z71\0\0s + --z71\0\0 + --z71\0\1 + ..controls z71\0\2c1 and z71\0\2c2..z71\0\2 + --z71\0\3 + --z71\0\4 + --z71\0\5 + --z71\0\6 + --z71\0\7 + ..controls z71\0\8c1 and z71\0\8c2..z71\0\8 + ..controls z71\0\9c1 and z71\0\9c2..z71\0\9 + --z71\0\10 + ..controls z71\0\11c1 and z71\0\11c2..cycle; + proof_labels ( + 71\0\0, + 71\0\1, + 71\0\2, + 71\0\3, + 71\0\4, + 71\0\5, + 71\0\6, + 71\0\7, + 71\0\8, + 71\0\9, + 71\0\10, + 71\0\11, +); +endchar; + +beginchar (72, 7.709u#, 8.311u#, 0.000u#); + "Hida"; + z72\0\0s = (0.775u,8.312u); + z72\0\0 = (0.792u,0.966u); + z72\0\1 = (0.000u,0.000u); + z72\0\2 = (3.372u,0.000u); + z72\0\3 = (2.601u,0.738u); + z72\0\4c1 = (2.221u,1.266u); + z72\0\4c2 = (2.080u,3.077u); + z72\0\4 = (2.700u,3.461u); + z72\0\5c1 = (3.015u,3.700u); + z72\0\5c2 = (4.812u,3.681u); + z72\0\5 = (5.102u,3.461u); + z72\0\6c1 = (5.349u,3.219u); + z72\0\6c2 = (5.307u,2.935u); + z72\0\6 = (5.303u,2.645u); + z72\0\7c1 = (5.297u,2.222u); + z72\0\7c2 = (5.382u,1.049u); + z72\0\7 = (5.218u,0.729u); + z72\0\8 = (4.577u,0.000u); + z72\0\9 = (6.986u,0.000u); + z72\0\10 = (6.732u,0.843u); + z72\0\11 = (6.935u,7.102u); + z72\0\12 = (7.709u,8.311u); + z72\0\13 = (4.457u,8.311u); + z72\0\14 = (5.298u,7.461u); + z72\0\15 = (5.298u,4.336u); + z72\0\16c1 = (4.875u,4.336u); + z72\0\16c2 = (3.069u,4.286u); + z72\0\16 = (2.797u,4.408u); + z72\0\17c1 = (2.256u,4.652u); + z72\0\17c2 = (2.289u,6.981u); + z72\0\17 = (2.550u,7.455u); + z72\0\18c1 = (2.742u,7.801u); + z72\0\18c2 = (3.138u,7.972u); + z72\0\18 = (3.372u,8.311u); + fill_or_unfill z72\0\0s + --z72\0\0 + --z72\0\1 + --z72\0\2 + --z72\0\3 + ..controls z72\0\4c1 and z72\0\4c2..z72\0\4 + ..controls z72\0\5c1 and z72\0\5c2..z72\0\5 + ..controls z72\0\6c1 and z72\0\6c2..z72\0\6 + ..controls z72\0\7c1 and z72\0\7c2..z72\0\7 + --z72\0\8 + --z72\0\9 + --z72\0\10 + --z72\0\11 + --z72\0\12 + --z72\0\13 + --z72\0\14 + --z72\0\15 + ..controls z72\0\16c1 and z72\0\16c2..z72\0\16 + ..controls z72\0\17c1 and z72\0\17c2..z72\0\17 + ..controls z72\0\18c1 and z72\0\18c2..z72\0\18 + --cycle; + proof_labels ( + 72\0\0, + 72\0\1, + 72\0\2, + 72\0\3, + 72\0\4, + 72\0\5, + 72\0\6, + 72\0\7, + 72\0\8, + 72\0\9, + 72\0\10, + 72\0\11, + 72\0\12, + 72\0\13, + 72\0\14, + 72\0\15, + 72\0\16, + 72\0\17, + 72\0\18, + 72\0\19, +); +endchar; + +beginchar (73, 3.734u#, 8.476u#, 0.000u#); + "Iauda"; + z73\0\0s = (0.241u,8.358u); + z73\0\0 = (0.241u,7.877u); + z73\0\1c1 = (0.604u,7.749u); + z73\0\1c2 = (0.822u,7.651u); + z73\0\1 = (0.977u,7.269u); + z73\0\2c1 = (1.179u,6.771u); + z73\0\2c2 = (1.134u,1.856u); + z73\0\2 = (0.899u,1.384u); + z73\0\3c1 = (0.718u,1.020u); + z73\0\3c2 = (0.361u,0.886u); + z73\0\3 = (0.000u,0.770u); + z73\0\4c1 = (0.311u,-0.253u); + z73\0\4c2 = (1.654u,0.032u); + z73\0\4 = (2.529u,0.048u); + z73\0\5c1 = (2.791u,0.053u); + z73\0\5c2 = (3.295u,0.036u); + z73\0\5 = (3.297u,0.416u); + z73\0\6c1 = (3.299u,0.755u); + z73\0\6c2 = (2.739u,1.056u); + z73\0\6 = (2.663u,1.734u); + z73\0\7c1 = (2.445u,3.663u); + z73\0\7c2 = (2.614u,5.702u); + z73\0\7 = (2.770u,7.636u); + z73\0\8 = (3.734u,7.997u); + z73\0\9c1 = (3.145u,8.784u); + z73\0\9c2 = (1.134u,8.366u); + fill_or_unfill z73\0\0s + --z73\0\0 + ..controls z73\0\1c1 and z73\0\1c2..z73\0\1 + ..controls z73\0\2c1 and z73\0\2c2..z73\0\2 + ..controls z73\0\3c1 and z73\0\3c2..z73\0\3 + ..controls z73\0\4c1 and z73\0\4c2..z73\0\4 + ..controls z73\0\5c1 and z73\0\5c2..z73\0\5 + ..controls z73\0\6c1 and z73\0\6c2..z73\0\6 + ..controls z73\0\7c1 and z73\0\7c2..z73\0\7 + --z73\0\8 + ..controls z73\0\9c1 and z73\0\9c2..cycle; + proof_labels ( + 73\0\0, + 73\0\1, + 73\0\2, + 73\0\3, + 73\0\4, + 73\0\5, + 73\0\6, + 73\0\7, + 73\0\8, + 73\0\9, +); +endchar; + +beginchar (74, 8.491u#, 8.446u#, 2.688u#); + ".notdef"; + z74\0\0s = (2.949u,0.898u); + z74\0\0 = (2.799u,3.909u); + z74\0\1c1 = (2.985u,7.414u); + z74\0\1c2 = (7.115u,4.191u); + z74\0\1 = (6.501u,1.379u); + z74\0\2c1 = (6.373u,0.797u); + z74\0\2c2 = (6.174u,0.573u); + z74\0\2 = (5.803u,0.134u); + z74\0\3c1 = (3.990u,-2.010u); + z74\0\3c2 = (1.204u,0.027u); + z74\0\3 = (-0.144u,-1.335u); + z74\0\4c1 = (-0.345u,-1.538u); + z74\0\4c2 = (-0.450u,-1.814u); + z74\0\4 = (-0.383u,-2.099u); + z74\0\5c1 = (-0.224u,-2.774u); + z74\0\5c2 = (1.095u,-2.982u); + z74\0\5 = (1.143u,-1.633u); + z74\0\6c1 = (1.508u,-1.554u); + z74\0\6c2 = (1.886u,-1.376u); + z74\0\6 = (2.258u,-1.363u); + z74\0\7c1 = (2.650u,-1.350u); + z74\0\7c2 = (3.041u,-1.546u); + z74\0\7 = (3.431u,-1.595u); + z74\0\8c1 = (4.026u,-1.669u); + z74\0\8c2 = (5.485u,-1.417u); + z74\0\8 = (6.030u,-1.172u); + z74\0\9c1 = (9.662u,0.459u); + z74\0\9c2 = (8.412u,7.278u); + z74\0\9 = (3.070u,5.594u); + z74\0\10c1 = (2.804u,6.689u); + z74\0\10c2 = (2.865u,7.560u); + z74\0\10 = (3.913u,8.125u); + z74\0\11c1 = (3.521u,8.646u); + z74\0\11c2 = (2.707u,8.481u); + z74\0\11 = (2.106u,8.485u); + z74\0\12c1 = (1.789u,8.487u); + z74\0\12c2 = (1.112u,8.557u); + z74\0\12 = (0.950u,8.212u); + z74\0\13c1 = (0.822u,7.941u); + z74\0\13c2 = (1.458u,7.318u); + z74\0\13 = (1.498u,6.799u); + z74\0\14 = (1.394u,2.354u); + z74\0\15c1 = (1.401u,1.918u); + z74\0\15c2 = (1.345u,1.391u); + z74\0\15 = (0.986u,1.089u); + z74\0\16c1 = (0.782u,0.918u); + z74\0\16c2 = (0.104u,0.826u); + z74\0\16 = (0.234u,0.446u); + z74\0\17c1 = (0.389u,-0.008u); + z74\0\17c2 = (3.868u,0.083u); + z74\0\17 = (4.134u,0.580u); + z74\0\18c1 = (4.461u,1.192u); + z74\0\18c2 = (3.145u,0.932u); + fill_or_unfill z74\0\0s + --z74\0\0 + ..controls z74\0\1c1 and z74\0\1c2..z74\0\1 + ..controls z74\0\2c1 and z74\0\2c2..z74\0\2 + ..controls z74\0\3c1 and z74\0\3c2..z74\0\3 + ..controls z74\0\4c1 and z74\0\4c2..z74\0\4 + ..controls z74\0\5c1 and z74\0\5c2..z74\0\5 + ..controls z74\0\6c1 and z74\0\6c2..z74\0\6 + ..controls z74\0\7c1 and z74\0\7c2..z74\0\7 + ..controls z74\0\8c1 and z74\0\8c2..z74\0\8 + ..controls z74\0\9c1 and z74\0\9c2..z74\0\9 + ..controls z74\0\10c1 and z74\0\10c2..z74\0\10 + ..controls z74\0\11c1 and z74\0\11c2..z74\0\11 + ..controls z74\0\12c1 and z74\0\12c2..z74\0\12 + ..controls z74\0\13c1 and z74\0\13c2..z74\0\13 + --z74\0\14 + ..controls z74\0\15c1 and z74\0\15c2..z74\0\15 + ..controls z74\0\16c1 and z74\0\16c2..z74\0\16 + ..controls z74\0\17c1 and z74\0\17c2..z74\0\17 + ..controls z74\0\18c1 and z74\0\18c2..cycle; + proof_labels ( + 74\0\0, + 74\0\1, + 74\0\2, + 74\0\3, + 74\0\4, + 74\0\5, + 74\0\6, + 74\0\7, + 74\0\8, + 74\0\9, + 74\0\10, + 74\0\11, + 74\0\12, + 74\0\13, + 74\0\14, + 74\0\15, + 74\0\16, + 74\0\17, + 74\0\18, +); +endchar; + +beginchar (75, 8.300u#, 8.758u#, 0.000u#); + "Kabba"; + z75\0\0s = (0.000u,8.388u); + z75\0\0c1 = (0.192u,8.098u); + z75\0\0c2 = (0.508u,7.858u); + z75\0\0 = (0.634u,7.538u); + z75\0\1 = (0.843u,2.486u); + z75\0\2c1 = (0.841u,2.086u); + z75\0\2c2 = (0.838u,1.666u); + z75\0\2 = (0.691u,1.288u); + z75\0\3c1 = (0.576u,0.992u); + z75\0\3c2 = (0.096u,0.609u); + z75\0\3 = (0.141u,0.347u); + z75\0\4c1 = (0.202u,-0.021u); + z75\0\4c2 = (0.951u,0.184u); + z75\0\4 = (1.204u,0.192u); + z75\0\5c1 = (2.060u,0.219u); + z75\0\5c2 = (3.113u,-0.348u); + z75\0\5 = (3.372u,0.800u); + z75\0\6c1 = (2.038u,1.084u); + z75\0\6c2 = (2.161u,1.994u); + z75\0\6 = (2.168u,3.088u); + z75\0\7c1 = (2.177u,4.346u); + z75\0\7c2 = (2.863u,4.665u); + z75\0\7 = (3.970u,4.142u); + z75\0\8c1 = (5.625u,3.361u); + z75\0\8c2 = (4.219u,0.886u); + z75\0\8 = (5.783u,0.216u); + z75\0\9c1 = (6.154u,0.024u); + z75\0\9c2 = (8.069u,-0.155u); + z75\0\9 = (8.263u,0.216u); + z75\0\10c1 = (8.551u,0.837u); + z75\0\10c2 = (7.191u,0.666u); + z75\0\10 = (6.778u,1.434u); + z75\0\11c1 = (6.194u,2.521u); + z75\0\11c2 = (7.006u,3.915u); + z75\0\11 = (5.179u,4.413u); + z75\0\12c1 = (5.584u,5.565u); + z75\0\12c2 = (6.789u,5.678u); + z75\0\12 = (6.612u,7.424u); + z75\0\13c1 = (6.484u,8.687u); + z75\0\13c2 = (4.834u,9.303u); + z75\0\13 = (4.216u,8.147u); + z75\0\14c1 = (6.698u,6.081u); + z75\0\14c2 = (3.249u,4.156u); + z75\0\14 = (2.350u,4.967u); + z75\0\15c1 = (2.030u,5.255u); + z75\0\15c2 = (2.050u,5.825u); + z75\0\15 = (2.048u,6.220u); + z75\0\16c1 = (2.046u,6.587u); + z75\0\16c2 = (2.005u,7.333u); + z75\0\16 = (2.117u,7.655u); + z75\0\17 = (2.529u,8.508u); + z75\0\18c1 = (1.751u,8.783u); + z75\0\18c2 = (0.770u,8.670u); + fill_or_unfill z75\0\0s + ..controls z75\0\0c1 and z75\0\0c2..z75\0\0 + --z75\0\1 + ..controls z75\0\2c1 and z75\0\2c2..z75\0\2 + ..controls z75\0\3c1 and z75\0\3c2..z75\0\3 + ..controls z75\0\4c1 and z75\0\4c2..z75\0\4 + ..controls z75\0\5c1 and z75\0\5c2..z75\0\5 + ..controls z75\0\6c1 and z75\0\6c2..z75\0\6 + ..controls z75\0\7c1 and z75\0\7c2..z75\0\7 + ..controls z75\0\8c1 and z75\0\8c2..z75\0\8 + ..controls z75\0\9c1 and z75\0\9c2..z75\0\9 + ..controls z75\0\10c1 and z75\0\10c2..z75\0\10 + ..controls z75\0\11c1 and z75\0\11c2..z75\0\11 + ..controls z75\0\12c1 and z75\0\12c2..z75\0\12 + ..controls z75\0\13c1 and z75\0\13c2..z75\0\13 + ..controls z75\0\14c1 and z75\0\14c2..z75\0\14 + ..controls z75\0\15c1 and z75\0\15c2..z75\0\15 + ..controls z75\0\16c1 and z75\0\16c2..z75\0\16 + --z75\0\17 + ..controls z75\0\18c1 and z75\0\18c2..cycle; + proof_labels ( + 75\0\0, + 75\0\1, + 75\0\2, + 75\0\3, + 75\0\4, + 75\0\5, + 75\0\6, + 75\0\7, + 75\0\8, + 75\0\9, + 75\0\10, + 75\0\11, + 75\0\12, + 75\0\13, + 75\0\14, + 75\0\15, + 75\0\16, + 75\0\17, + 75\0\18, +); +endchar; + +beginchar (76, 9.875u#, 8.616u#, 0.000u#); + "Laula"; + z76\0\0s = (1.443u,8.496u); + z76\0\0 = (1.443u,8.135u); + z76\0\1c1 = (2.369u,7.746u); + z76\0\1c2 = (2.702u,7.770u); + z76\0\1 = (3.180u,6.814u); + z76\0\2c1 = (3.897u,5.380u); + z76\0\2c2 = (1.349u,4.193u); + z76\0\2 = (0.580u,3.265u); + z76\0\3c1 = (0.168u,2.768u); + z76\0\3c2 = (-0.015u,2.145u); + z76\0\3 = (0.000u,1.510u); + z76\0\4c1 = (0.050u,-0.570u); + z76\0\4c2 = (3.221u,-0.059u); + z76\0\4 = (3.390u,0.444u); + z76\0\5c1 = (3.870u,1.874u); + z76\0\5c2 = (1.486u,0.972u); + z76\0\5 = (1.206u,1.068u); + z76\0\6c1 = (0.958u,1.151u); + z76\0\6c2 = (0.851u,1.389u); + z76\0\6 = (0.830u,1.631u); + z76\0\7c1 = (0.702u,3.064u); + z76\0\7c2 = (3.205u,4.011u); + z76\0\7 = (3.852u,5.244u); + z76\0\8 = (4.214u,5.244u); + z76\0\9c1 = (4.502u,4.347u); + z76\0\9c2 = (6.471u,0.835u); + z76\0\9 = (7.167u,0.358u); + z76\0\10c1 = (7.444u,0.167u); + z76\0\10c2 = (7.747u,0.187u); + z76\0\10 = (8.068u,0.185u); + z76\0\11c1 = (8.849u,0.181u); + z76\0\11c2 = (9.593u,0.006u); + z76\0\11 = (9.875u,0.909u); + z76\0\12 = (8.675u,1.133u); + z76\0\13 = (3.813u,8.393u); + z76\0\14 = (2.768u,8.616u); + fill_or_unfill z76\0\0s + --z76\0\0 + ..controls z76\0\1c1 and z76\0\1c2..z76\0\1 + ..controls z76\0\2c1 and z76\0\2c2..z76\0\2 + ..controls z76\0\3c1 and z76\0\3c2..z76\0\3 + ..controls z76\0\4c1 and z76\0\4c2..z76\0\4 + ..controls z76\0\5c1 and z76\0\5c2..z76\0\5 + ..controls z76\0\6c1 and z76\0\6c2..z76\0\6 + ..controls z76\0\7c1 and z76\0\7c2..z76\0\7 + --z76\0\8 + ..controls z76\0\9c1 and z76\0\9c2..z76\0\9 + ..controls z76\0\10c1 and z76\0\10c2..z76\0\10 + ..controls z76\0\11c1 and z76\0\11c2..z76\0\11 + --z76\0\12 + --z76\0\13 + --z76\0\14 + --cycle; + proof_labels ( + 76\0\0, + 76\0\1, + 76\0\2, + 76\0\3, + 76\0\4, + 76\0\5, + 76\0\6, + 76\0\7, + 76\0\8, + 76\0\9, + 76\0\10, + 76\0\11, + 76\0\12, + 76\0\13, + 76\0\14, + 76\0\15, +); +endchar; + +beginchar (77, 6.880u#, 9.449u#, 0.000u#); + "Mi"; + z77\0\0s = (0.000u,9.449u); + z77\0\0c1 = (0.257u,8.562u); + z77\0\0c2 = (0.480u,8.771u); + z77\0\0 = (0.482u,7.642u); + z77\0\1 = (0.482u,2.222u); + z77\0\2c1 = (0.483u,1.767u); + z77\0\2c2 = (0.373u,1.239u); + z77\0\2 = (0.970u,1.213u); + z77\0\3c1 = (2.193u,1.162u); + z77\0\3c2 = (2.240u,-0.453u); + z77\0\3 = (3.954u,0.119u); + z77\0\4c1 = (4.581u,0.328u); + z77\0\4c2 = (4.777u,0.953u); + z77\0\4 = (5.091u,1.072u); + z77\0\5c1 = (5.748u,1.320u); + z77\0\5c2 = (6.380u,0.445u); + z77\0\5 = (6.384u,2.222u); + z77\0\6 = (6.384u,7.280u); + z77\0\7c1 = (6.384u,7.574u); + z77\0\7c2 = (6.368u,7.957u); + z77\0\7 = (6.452u,8.238u); + z77\0\8c1 = (6.532u,8.503u); + z77\0\8c2 = (6.916u,8.856u); + z77\0\8 = (6.877u,9.074u); + z77\0\9c1 = (6.822u,9.383u); + z77\0\9c2 = (6.372u,9.418u); + z77\0\9 = (6.127u,9.438u); + z77\0\10 = (4.216u,9.438u); + z77\0\11c1 = (4.309u,8.906u); + z77\0\11c2 = (4.409u,8.842u); + z77\0\11 = (4.938u,8.726u); + z77\0\12 = (4.818u,3.787u); + z77\0\13c1 = (4.803u,2.584u); + z77\0\13c2 = (4.525u,0.942u); + z77\0\13 = (2.891u,1.435u); + z77\0\14c1 = (2.531u,1.543u); + z77\0\14c2 = (2.260u,1.636u); + z77\0\14 = (2.069u,1.987u); + z77\0\15c1 = (1.794u,2.490u); + z77\0\15c2 = (1.784u,7.709u); + z77\0\15 = (1.964u,8.359u); + z77\0\16c1 = (2.106u,8.868u); + z77\0\16c2 = (2.587u,8.909u); + z77\0\16 = (2.770u,9.449u); + fill_or_unfill z77\0\0s + ..controls z77\0\0c1 and z77\0\0c2..z77\0\0 + --z77\0\1 + ..controls z77\0\2c1 and z77\0\2c2..z77\0\2 + ..controls z77\0\3c1 and z77\0\3c2..z77\0\3 + ..controls z77\0\4c1 and z77\0\4c2..z77\0\4 + ..controls z77\0\5c1 and z77\0\5c2..z77\0\5 + --z77\0\6 + ..controls z77\0\7c1 and z77\0\7c2..z77\0\7 + ..controls z77\0\8c1 and z77\0\8c2..z77\0\8 + ..controls z77\0\9c1 and z77\0\9c2..z77\0\9 + --z77\0\10 + ..controls z77\0\11c1 and z77\0\11c2..z77\0\11 + --z77\0\12 + ..controls z77\0\13c1 and z77\0\13c2..z77\0\13 + ..controls z77\0\14c1 and z77\0\14c2..z77\0\14 + ..controls z77\0\15c1 and z77\0\15c2..z77\0\15 + ..controls z77\0\16c1 and z77\0\16c2..z77\0\16 + --cycle; + proof_labels ( + 77\0\0, + 77\0\1, + 77\0\2, + 77\0\3, + 77\0\4, + 77\0\5, + 77\0\6, + 77\0\7, + 77\0\8, + 77\0\9, + 77\0\10, + 77\0\11, + 77\0\12, + 77\0\13, + 77\0\14, + 77\0\15, + 77\0\16, + 77\0\17, +); +endchar; + +beginchar (78, 7.114u#, 8.730u#, 0.000u#); + "Ni"; + z78\0\0s = (0.831u,7.986u); + z78\0\0 = (0.831u,5.216u); + z78\0\1c1 = (0.846u,3.961u); + z78\0\1c2 = (1.200u,2.575u); + z78\0\1 = (0.831u,1.364u); + z78\0\2c1 = (0.591u,0.771u); + z78\0\2c2 = (0.170u,0.792u); + z78\0\2 = (0.027u,0.490u); + z78\0\3c1 = (-0.281u,-0.163u); + z78\0\3c2 = (2.148u,0.013u); + z78\0\3 = (2.533u,0.043u); + z78\0\4c1 = (3.260u,0.099u); + z78\0\4c2 = (3.436u,0.726u); + z78\0\4 = (2.416u,0.759u); + z78\0\5 = (2.296u,2.205u); + z78\0\6c1 = (2.292u,2.604u); + z78\0\6c2 = (2.239u,3.804u); + z78\0\6 = (2.408u,4.105u); + z78\0\7c1 = (2.752u,4.718u); + z78\0\7c2 = (4.319u,3.237u); + z78\0\7 = (4.547u,2.871u); + z78\0\8c1 = (4.683u,2.652u); + z78\0\8c2 = (4.694u,2.454u); + z78\0\8 = (4.703u,2.204u); + z78\0\9c1 = (4.712u,1.951u); + z78\0\9c2 = (4.719u,1.601u); + z78\0\9 = (4.633u,1.363u); + z78\0\10c1 = (4.530u,1.076u); + z78\0\10c2 = (4.102u,0.713u); + z78\0\10 = (4.191u,0.420u); + z78\0\11c1 = (4.308u,0.036u); + z78\0\11c2 = (4.990u,0.041u); + z78\0\11 = (5.307u,0.037u); + z78\0\12 = (6.030u,0.037u); + z78\0\13c1 = (6.328u,0.042u); + z78\0\13c2 = (6.937u,0.051u); + z78\0\13 = (6.885u,0.504u); + z78\0\14c1 = (6.848u,0.831u); + z78\0\14c2 = (6.346u,1.055u); + z78\0\14 = (6.269u,1.556u); + z78\0\15c1 = (6.193u,2.003u); + z78\0\15c2 = (6.271u,2.586u); + z78\0\15 = (6.269u,3.048u); + z78\0\16 = (6.269u,6.541u); + z78\0\17c1 = (6.274u,8.364u); + z78\0\17c2 = (6.973u,7.525u); + z78\0\17 = (7.114u,8.690u); + z78\0\18 = (4.351u,8.690u); + z78\0\19c1 = (3.525u,8.442u); + z78\0\19c2 = (4.234u,8.025u); + z78\0\19 = (4.705u,7.986u); + z78\0\20 = (4.464u,4.252u); + z78\0\21c1 = (3.199u,4.892u); + z78\0\21c2 = (1.706u,6.104u); + z78\0\21 = (2.368u,7.730u); + z78\0\22c1 = (2.534u,8.138u); + z78\0\22c2 = (2.842u,8.146u); + z78\0\22 = (3.019u,8.709u); + z78\0\23c1 = (2.578u,8.709u); + z78\0\23c2 = (0.222u,8.820u); + z78\0\23 = (0.056u,8.525u); + z78\0\24c1 = (-0.187u,8.094u); + z78\0\24c2 = (0.624u,8.007u); + fill_or_unfill z78\0\0s + --z78\0\0 + ..controls z78\0\1c1 and z78\0\1c2..z78\0\1 + ..controls z78\0\2c1 and z78\0\2c2..z78\0\2 + ..controls z78\0\3c1 and z78\0\3c2..z78\0\3 + ..controls z78\0\4c1 and z78\0\4c2..z78\0\4 + --z78\0\5 + ..controls z78\0\6c1 and z78\0\6c2..z78\0\6 + ..controls z78\0\7c1 and z78\0\7c2..z78\0\7 + ..controls z78\0\8c1 and z78\0\8c2..z78\0\8 + ..controls z78\0\9c1 and z78\0\9c2..z78\0\9 + ..controls z78\0\10c1 and z78\0\10c2..z78\0\10 + ..controls z78\0\11c1 and z78\0\11c2..z78\0\11 + --z78\0\12 + ..controls z78\0\13c1 and z78\0\13c2..z78\0\13 + ..controls z78\0\14c1 and z78\0\14c2..z78\0\14 + ..controls z78\0\15c1 and z78\0\15c2..z78\0\15 + --z78\0\16 + ..controls z78\0\17c1 and z78\0\17c2..z78\0\17 + --z78\0\18 + ..controls z78\0\19c1 and z78\0\19c2..z78\0\19 + --z78\0\20 + ..controls z78\0\21c1 and z78\0\21c2..z78\0\21 + ..controls z78\0\22c1 and z78\0\22c2..z78\0\22 + ..controls z78\0\23c1 and z78\0\23c2..z78\0\23 + ..controls z78\0\24c1 and z78\0\24c2..cycle; + proof_labels ( + 78\0\0, + 78\0\1, + 78\0\2, + 78\0\3, + 78\0\4, + 78\0\5, + 78\0\6, + 78\0\7, + 78\0\8, + 78\0\9, + 78\0\10, + 78\0\11, + 78\0\12, + 78\0\13, + 78\0\14, + 78\0\15, + 78\0\16, + 78\0\17, + 78\0\18, + 78\0\19, + 78\0\20, + 78\0\21, + 78\0\22, + 78\0\23, + 78\0\24, +); +endchar; + +beginchar (79, 7.829u#, 8.516u#, 0.000u#); + "Omicron"; + z79\0\0s = (3.252u,8.496u); + z79\0\0c1 = (-1.317u,7.527u); + z79\0\0c2 = (-1.054u,0.184u); + z79\0\0 = (3.734u,0.121u); + z79\0\1c1 = (9.460u,0.045u); + z79\0\1c2 = (9.022u,9.166u); + z79\1\0s = (3.614u,7.909u); + z79\1\0c1 = (6.980u,8.266u); + z79\1\0c2 = (7.039u,0.518u); + z79\1\0 = (3.854u,0.729u); + z79\1\1c1 = (0.922u,0.924u); + z79\1\1c2 = (0.857u,7.160u); + fill_or_unfill z79\0\0s + ..controls z79\0\0c1 and z79\0\0c2..z79\0\0 + ..controls z79\0\1c1 and z79\0\1c2..cycle; + fill_or_unfill z79\1\0s + ..controls z79\1\0c1 and z79\1\0c2..z79\1\0 + ..controls z79\1\1c1 and z79\1\1c2..cycle; + proof_labels ( + 79\0\0, + 79\0\1, + 79\1\0, + 79\1\1, +); +endchar; + +beginchar (80, 8.672u#, 8.594u#, 0.000u#); + "Pi"; + z80\0\0s = (0.120u,8.311u); + z80\0\0 = (1.084u,7.949u); + z80\0\1 = (0.908u,2.770u); + z80\0\2 = (0.908u,1.211u); + z80\0\3 = (0.000u,0.000u); + z80\0\4 = (3.493u,0.000u); + z80\0\5c1 = (3.580u,1.331u); + z80\0\5c2 = (2.573u,0.078u); + z80\0\5 = (2.547u,1.686u); + z80\0\6 = (2.547u,7.949u); + z80\0\7 = (5.661u,7.949u); + z80\0\8 = (5.596u,3.613u); + z80\0\9 = (5.596u,1.327u); + z80\0\10 = (4.697u,0.000u); + z80\0\11 = (8.672u,0.000u); + z80\0\12 = (8.672u,0.361u); + z80\0\13 = (7.427u,1.101u); + z80\0\14 = (7.427u,7.571u); + z80\0\15 = (8.396u,8.638u); + z80\0\16 = (0.607u,8.594u); + fill_or_unfill z80\0\0s + --z80\0\0 + --z80\0\1 + --z80\0\2 + --z80\0\3 + --z80\0\4 + ..controls z80\0\5c1 and z80\0\5c2..z80\0\5 + --z80\0\6 + --z80\0\7 + --z80\0\8 + --z80\0\9 + --z80\0\10 + --z80\0\11 + --z80\0\12 + --z80\0\13 + --z80\0\14 + --z80\0\15 + --z80\0\16 + --cycle; + proof_labels ( + 80\0\0, + 80\0\1, + 80\0\2, + 80\0\3, + 80\0\4, + 80\0\5, + 80\0\6, + 80\0\7, + 80\0\8, + 80\0\9, + 80\0\10, + 80\0\11, + 80\0\12, + 80\0\13, + 80\0\14, + 80\0\15, + 80\0\16, + 80\0\17, +); +endchar; + +beginchar (81, 8.913u#, 9.034u#, 0.000u#); + "Scima"; + z81\0\0s = (2.409u,0.120u); + z81\0\0c1 = (3.342u,0.392u); + z81\0\0c2 = (4.158u,0.195u); + z81\0\0 = (5.048u,0.775u); + z81\0\1c1 = (7.637u,2.464u); + z81\0\1c2 = (5.903u,7.583u); + z81\0\1 = (2.529u,6.625u); + z81\0\2 = (2.409u,6.986u); + z81\0\3c1 = (2.921u,7.218u); + z81\0\3c2 = (3.273u,7.404u); + z81\0\3 = (3.850u,7.463u); + z81\0\4c1 = (5.387u,7.622u); + z81\0\4c2 = (8.356u,6.880u); + z81\0\4 = (8.913u,8.913u); + z81\0\5c1 = (8.102u,9.078u); + z81\0\5c2 = (7.535u,8.833u); + z81\0\5 = (6.745u,8.805u); + z81\0\6c1 = (5.185u,8.748u); + z81\0\6c2 = (3.766u,9.184u); + z81\0\6 = (2.293u,8.335u); + z81\0\7c1 = (0.200u,7.128u); + z81\0\7c2 = (-0.569u,3.590u); + z81\0\7 = (0.699u,1.566u); + z81\0\8c1 = (1.199u,0.768u); + z81\0\8c2 = (1.712u,0.636u); + z81\1\0s = (2.771u,6.144u); + z81\1\0c1 = (5.109u,5.708u); + z81\1\0c2 = (5.443u,0.855u); + z81\1\0 = (3.372u,0.847u); + z81\1\1c1 = (1.006u,0.839u); + z81\1\1c2 = (0.636u,5.685u); + fill_or_unfill z81\0\0s + ..controls z81\0\0c1 and z81\0\0c2..z81\0\0 + ..controls z81\0\1c1 and z81\0\1c2..z81\0\1 + --z81\0\2 + ..controls z81\0\3c1 and z81\0\3c2..z81\0\3 + ..controls z81\0\4c1 and z81\0\4c2..z81\0\4 + ..controls z81\0\5c1 and z81\0\5c2..z81\0\5 + ..controls z81\0\6c1 and z81\0\6c2..z81\0\6 + ..controls z81\0\7c1 and z81\0\7c2..z81\0\7 + ..controls z81\0\8c1 and z81\0\8c2..cycle; + fill_or_unfill z81\1\0s + ..controls z81\1\0c1 and z81\1\0c2..z81\1\0 + ..controls z81\1\1c1 and z81\1\1c2..cycle; + proof_labels ( + 81\0\0, + 81\0\1, + 81\0\2, + 81\0\3, + 81\0\4, + 81\0\5, + 81\0\6, + 81\0\7, + 81\0\8, + 81\1\0, + 81\1\1, +); +endchar; + +beginchar (82, 6.716u#, 8.763u#, 0.000u#); + "Ro"; + z82\0\0s = (0.000u,0.071u); + z82\0\0c1 = (0.712u,-0.024u); + z82\0\0c2 = (3.083u,-0.114u); + z82\0\0 = (3.493u,0.432u); + z82\0\1c1 = (3.245u,0.524u); + z82\0\1c2 = (2.926u,0.596u); + z82\0\1 = (2.773u,0.831u); + z82\0\2c1 = (2.481u,1.277u); + z82\0\2c2 = (2.458u,3.079u); + z82\0\2 = (2.941u,3.461u); + z82\0\3c1 = (3.829u,4.165u); + z82\0\3c2 = (5.377u,2.908u); + z82\0\3 = (6.388u,4.650u); + z82\0\4c1 = (6.684u,5.160u); + z82\0\4c2 = (6.791u,5.759u); + z82\0\4 = (6.663u,6.334u); + z82\0\5c1 = (6.042u,9.135u); + z82\0\5c2 = (3.442u,8.748u); + z82\0\5 = (1.204u,8.743u); + z82\0\6c1 = (0.929u,8.743u); + z82\0\6c2 = (0.196u,8.815u); + z82\0\6 = (0.210u,8.380u); + z82\0\7c1 = (0.225u,7.919u); + z82\0\7c2 = (1.024u,8.058u); + z82\0\7 = (1.116u,7.297u); + z82\0\8 = (0.963u,5.130u); + z82\0\9c1 = (0.985u,3.997u); + z82\0\9c2 = (1.300u,2.630u); + z82\0\9 = (0.963u,1.518u); + z82\0\10c1 = (0.717u,0.822u); + z82\0\10c2 = (0.197u,0.973u); + z82\1\0s = (3.234u,8.188u); + z82\1\0c1 = (5.449u,8.433u); + z82\1\0c2 = (6.043u,5.284u); + z82\1\0 = (4.685u,4.530u); + z82\1\1c1 = (4.382u,4.362u); + z82\1\1c2 = (3.727u,4.402u); + z82\1\1 = (3.373u,4.407u); + z82\1\2c1 = (3.180u,4.411u); + z82\1\2c2 = (2.897u,4.399u); + z82\1\2 = (2.739u,4.527u); + z82\1\3c1 = (2.312u,4.871u); + z82\1\3c2 = (2.338u,7.258u); + z82\1\3 = (2.608u,7.751u); + z82\1\4c1 = (2.763u,8.035u); + z82\1\4c2 = (2.948u,8.090u); + fill_or_unfill z82\0\0s + ..controls z82\0\0c1 and z82\0\0c2..z82\0\0 + ..controls z82\0\1c1 and z82\0\1c2..z82\0\1 + ..controls z82\0\2c1 and z82\0\2c2..z82\0\2 + ..controls z82\0\3c1 and z82\0\3c2..z82\0\3 + ..controls z82\0\4c1 and z82\0\4c2..z82\0\4 + ..controls z82\0\5c1 and z82\0\5c2..z82\0\5 + ..controls z82\0\6c1 and z82\0\6c2..z82\0\6 + ..controls z82\0\7c1 and z82\0\7c2..z82\0\7 + --z82\0\8 + ..controls z82\0\9c1 and z82\0\9c2..z82\0\9 + ..controls z82\0\10c1 and z82\0\10c2..cycle; + fill_or_unfill z82\1\0s + ..controls z82\1\0c1 and z82\1\0c2..z82\1\0 + ..controls z82\1\1c1 and z82\1\1c2..z82\1\1 + ..controls z82\1\2c1 and z82\1\2c2..z82\1\2 + ..controls z82\1\3c1 and z82\1\3c2..z82\1\3 + ..controls z82\1\4c1 and z82\1\4c2..cycle; + proof_labels ( + 82\0\0, + 82\0\1, + 82\0\2, + 82\0\3, + 82\0\4, + 82\0\5, + 82\0\6, + 82\0\7, + 82\0\8, + 82\0\9, + 82\0\10, + 82\1\0, + 82\1\1, + 82\1\2, + 82\1\3, + 82\1\4, +); +endchar; + +beginchar (84, 10.442u#, 8.380u#, 0.000u#); + "Dau"; + z84\0\0s = (3.339u,-0.049u); + z84\0\0 = (6.835u,0.023u); + z84\0\1c1 = (6.495u,0.990u); + z84\0\1c2 = (5.896u,0.493u); + z84\0\1 = (5.896u,1.843u); + z84\0\2 = (6.074u,5.936u); + z84\0\3c1 = (6.081u,6.334u); + z84\0\3c2 = (6.052u,6.784u); + z84\0\3 = (6.301u,7.123u); + z84\0\4c1 = (6.781u,7.775u); + z84\0\4c2 = (7.990u,7.531u); + z84\0\4 = (8.448u,6.974u); + z84\0\5c1 = (8.758u,6.597u); + z84\0\5c2 = (8.957u,5.774u); + z84\0\5 = (9.078u,5.291u); + z84\0\6c1 = (9.818u,5.223u); + z84\0\6c2 = (10.432u,4.995u); + z84\0\6 = (10.521u,5.994u); + z84\0\7c1 = (10.579u,6.630u); + z84\0\7c2 = (10.391u,7.505u); + z84\0\7 = (9.814u,7.862u); + z84\0\8c1 = (8.873u,8.444u); + z84\0\8c2 = (2.183u,8.436u); + z84\0\8 = (1.185u,7.885u); + z84\0\9c1 = (0.227u,7.356u); + z84\0\9c2 = (-0.629u,5.209u); + z84\0\9 = (1.003u,5.423u); + z84\0\10c1 = (1.971u,5.550u); + z84\0\10c2 = (1.571u,7.215u); + z84\0\10 = (2.965u,7.510u); + z84\0\11c1 = (3.322u,7.585u); + z84\0\11c2 = (4.043u,7.592u); + z84\0\11 = (4.280u,7.248u); + z84\0\12c1 = (4.560u,6.792u); + z84\0\12c2 = (4.414u,1.892u); + z84\0\12 = (4.195u,1.267u); + z84\0\13c1 = (3.969u,0.533u); + z84\0\13c2 = (3.546u,0.827u); + fill_or_unfill z84\0\0s + --z84\0\0 + ..controls z84\0\1c1 and z84\0\1c2..z84\0\1 + --z84\0\2 + ..controls z84\0\3c1 and z84\0\3c2..z84\0\3 + ..controls z84\0\4c1 and z84\0\4c2..z84\0\4 + ..controls z84\0\5c1 and z84\0\5c2..z84\0\5 + ..controls z84\0\6c1 and z84\0\6c2..z84\0\6 + ..controls z84\0\7c1 and z84\0\7c2..z84\0\7 + ..controls z84\0\8c1 and z84\0\8c2..z84\0\8 + ..controls z84\0\9c1 and z84\0\9c2..z84\0\9 + ..controls z84\0\10c1 and z84\0\10c2..z84\0\10 + ..controls z84\0\11c1 and z84\0\11c2..z84\0\11 + ..controls z84\0\12c1 and z84\0\12c2..z84\0\12 + ..controls z84\0\13c1 and z84\0\13c2..cycle; + proof_labels ( + 84\0\0, + 84\0\1, + 84\0\2, + 84\0\3, + 84\0\4, + 84\0\5, + 84\0\6, + 84\0\7, + 84\0\8, + 84\0\9, + 84\0\10, + 84\0\11, + 84\0\12, + 84\0\13, +); +endchar; + +beginchar (85, 8.291u#, 8.517u#, 0.000u#); + "Ue"; + z85\0\0s = (4.336u,4.005u); + z85\0\0c1 = (3.684u,5.220u); + z85\0\0c2 = (3.921u,6.562u); + z85\0\0 = (2.948u,7.732u); + z85\0\1c1 = (2.264u,8.555u); + z85\0\1c2 = (0.879u,8.795u); + z85\0\1 = (0.274u,7.732u); + z85\0\2c1 = (0.041u,7.323u); + z85\0\2c2 = (0.039u,6.868u); + z85\0\2 = (0.000u,6.414u); + z85\0\3c1 = (0.606u,5.847u); + z85\0\3c2 = (1.937u,4.969u); + z85\0\3 = (2.409u,6.173u); + z85\0\4c1 = (2.084u,6.313u); + z85\0\4c2 = (0.779u,6.591u); + z85\0\4 = (1.595u,7.162u); + z85\0\5c1 = (2.847u,8.037u); + z85\0\5c2 = (3.371u,4.553u); + z85\0\5 = (3.372u,3.884u); + z85\0\6c1 = (3.374u,3.248u); + z85\0\6c2 = (3.435u,1.687u); + z85\0\6 = (3.245u,1.150u); + z85\0\7c1 = (3.118u,0.793u); + z85\0\7c2 = (2.508u,0.535u); + z85\0\7 = (2.589u,0.000u); + z85\0\8 = (5.898u,0.000u); + z85\0\9c1 = (5.746u,0.641u); + z85\0\9c2 = (5.280u,0.639u); + z85\0\9 = (5.061u,1.011u); + z85\0\10c1 = (4.780u,1.490u); + z85\0\10c2 = (5.088u,5.086u); + z85\0\10 = (5.320u,5.691u); + z85\0\11c1 = (5.520u,6.214u); + z85\0\11c2 = (5.826u,7.663u); + z85\0\11 = (6.618u,7.402u); + z85\0\12c1 = (7.249u,7.194u); + z85\0\12c2 = (7.161u,6.385u); + z85\0\12 = (6.263u,6.414u); + z85\0\13c1 = (5.974u,5.042u); + z85\0\13c2 = (8.175u,5.800u); + z85\0\13 = (8.284u,7.016u); + z85\0\14c1 = (8.473u,9.134u); + z85\0\14c2 = (6.083u,8.794u); + z85\0\14 = (5.178u,7.373u); + z85\0\15c1 = (4.834u,6.833u); + z85\0\15c2 = (4.369u,4.676u); + fill_or_unfill z85\0\0s + ..controls z85\0\0c1 and z85\0\0c2..z85\0\0 + ..controls z85\0\1c1 and z85\0\1c2..z85\0\1 + ..controls z85\0\2c1 and z85\0\2c2..z85\0\2 + ..controls z85\0\3c1 and z85\0\3c2..z85\0\3 + ..controls z85\0\4c1 and z85\0\4c2..z85\0\4 + ..controls z85\0\5c1 and z85\0\5c2..z85\0\5 + ..controls z85\0\6c1 and z85\0\6c2..z85\0\6 + ..controls z85\0\7c1 and z85\0\7c2..z85\0\7 + --z85\0\8 + ..controls z85\0\9c1 and z85\0\9c2..z85\0\9 + ..controls z85\0\10c1 and z85\0\10c2..z85\0\10 + ..controls z85\0\11c1 and z85\0\11c2..z85\0\11 + ..controls z85\0\12c1 and z85\0\12c2..z85\0\12 + ..controls z85\0\13c1 and z85\0\13c2..z85\0\13 + ..controls z85\0\14c1 and z85\0\14c2..z85\0\14 + ..controls z85\0\15c1 and z85\0\15c2..cycle; + proof_labels ( + 85\0\0, + 85\0\1, + 85\0\2, + 85\0\3, + 85\0\4, + 85\0\5, + 85\0\6, + 85\0\7, + 85\0\8, + 85\0\9, + 85\0\10, + 85\0\11, + 85\0\12, + 85\0\13, + 85\0\14, + 85\0\15, +); +endchar; + +beginchar (87, 9.281u#, 8.551u#, 0.000u#); + "Omega"; + z87\0\0s = (0.006u,8.469u); + z87\0\0 = (0.000u,8.107u); + z87\0\1 = (0.482u,8.099u); + z87\0\2c1 = (0.633u,6.777u); + z87\0\2c2 = (0.558u,5.453u); + z87\0\2 = (0.559u,4.123u); + z87\0\3c1 = (0.515u,3.094u); + z87\0\3c2 = (0.234u,2.049u); + z87\0\3 = (0.506u,1.027u); + z87\0\4c1 = (0.834u,-0.009u); + z87\0\4c2 = (2.738u,-0.262u); + z87\0\4 = (3.127u,0.826u); + z87\0\5c1 = (2.646u,0.935u); + z87\0\5c2 = (2.207u,1.051u); + z87\0\5 = (1.897u,1.471u); + z87\0\6c1 = (1.288u,2.296u); + z87\0\6c2 = (1.633u,5.294u); + z87\0\6 = (1.656u,6.392u); + z87\0\7c1 = (1.664u,6.718u); + z87\0\7c2 = (1.666u,7.043u); + z87\0\7 = (1.776u,7.353u); + z87\0\8c1 = (1.963u,7.882u); + z87\0\8c2 = (2.268u,7.939u); + z87\0\8 = (2.176u,8.551u); + z87\1\0s = (3.499u,8.409u); + z87\1\0c1 = (4.046u,6.955u); + z87\1\0c2 = (3.901u,3.822u); + z87\1\0 = (3.617u,2.263u); + z87\1\1 = (3.247u,0.824u); + z87\1\2 = (3.735u,1.177u); + z87\1\3c1 = (4.670u,-0.970u); + z87\1\3c2 = (5.933u,0.409u); + z87\1\3 = (7.342u,0.753u); + z87\1\4c1 = (7.670u,-0.630u); + z87\1\4c2 = (9.363u,0.690u); + z87\1\4 = (9.281u,1.442u); + z87\1\5c1 = (8.962u,1.425u); + z87\1\5c2 = (8.655u,1.426u); + z87\1\5 = (8.463u,1.734u); + z87\1\6c1 = (8.210u,2.144u); + z87\1\6c2 = (8.369u,6.941u); + z87\1\6 = (8.626u,7.470u); + z87\1\7c1 = (8.786u,7.799u); + z87\1\7c2 = (8.946u,7.852u); + z87\1\7 = (9.273u,7.947u); + z87\1\8c1 = (8.998u,8.690u); + z87\1\8c2 = (7.294u,8.460u); + z87\1\8 = (6.630u,8.355u); + z87\1\9 = (7.221u,7.017u); + z87\1\10 = (6.927u,1.610u); + z87\1\11 = (6.378u,0.770u); + z87\1\12 = (5.171u,1.639u); + z87\1\13 = (5.031u,6.455u); + z87\1\14 = (5.907u,8.367u); + fill_or_unfill z87\0\0s + --z87\0\0 + --z87\0\1 + ..controls z87\0\2c1 and z87\0\2c2..z87\0\2 + ..controls z87\0\3c1 and z87\0\3c2..z87\0\3 + ..controls z87\0\4c1 and z87\0\4c2..z87\0\4 + ..controls z87\0\5c1 and z87\0\5c2..z87\0\5 + ..controls z87\0\6c1 and z87\0\6c2..z87\0\6 + ..controls z87\0\7c1 and z87\0\7c2..z87\0\7 + ..controls z87\0\8c1 and z87\0\8c2..z87\0\8 + --cycle; + fill_or_unfill z87\1\0s + ..controls z87\1\0c1 and z87\1\0c2..z87\1\0 + --z87\1\1 + --z87\1\2 + ..controls z87\1\3c1 and z87\1\3c2..z87\1\3 + ..controls z87\1\4c1 and z87\1\4c2..z87\1\4 + ..controls z87\1\5c1 and z87\1\5c2..z87\1\5 + ..controls z87\1\6c1 and z87\1\6c2..z87\1\6 + ..controls z87\1\7c1 and z87\1\7c2..z87\1\7 + ..controls z87\1\8c1 and z87\1\8c2..z87\1\8 + --z87\1\9 + --z87\1\10 + --z87\1\11 + --z87\1\12 + --z87\1\13 + --z87\1\14 + --cycle; + proof_labels ( + 87\0\0, + 87\0\1, + 87\0\2, + 87\0\3, + 87\0\4, + 87\0\5, + 87\0\6, + 87\0\7, + 87\0\8, + 87\0\9, + 87\1\0, + 87\1\1, + 87\1\2, + 87\1\3, + 87\1\4, + 87\1\5, + 87\1\6, + 87\1\7, + 87\1\8, + 87\1\9, + 87\1\10, + 87\1\11, + 87\1\12, + 87\1\13, + 87\1\14, + 87\1\15, +); +endchar; + +beginchar (88, 11.377u#, 8.366u#, 0.000u#); + "Chi"; + z88\0\0s = (2.112u,7.416u); + z88\0\0c1 = (2.848u,7.554u); + z88\0\0c2 = (3.220u,7.279u); + z88\0\0 = (3.759u,6.799u); + z88\0\1c1 = (4.207u,6.400u); + z88\0\1c2 = (4.976u,5.620u); + z88\0\1 = (5.020u,5.007u); + z88\0\2c1 = (5.113u,3.734u); + z88\0\2c2 = (2.662u,1.177u); + z88\0\2 = (1.389u,1.032u); + z88\0\3c1 = (1.730u,2.512u); + z88\0\3c2 = (0.373u,2.173u); + z88\0\3 = (0.102u,1.503u); + z88\0\4c1 = (-0.459u,0.118u); + z88\0\4c2 = (1.439u,0.106u); + z88\0\4 = (2.233u,0.269u); + z88\0\5c1 = (3.643u,0.559u); + z88\0\5c2 = (5.390u,1.999u); + z88\0\5 = (5.966u,3.321u); + z88\0\6c1 = (6.621u,2.976u); + z88\0\6c2 = (7.603u,1.489u); + z88\0\6 = (8.204u,1.038u); + z88\0\7c1 = (8.837u,0.563u); + z88\0\7c2 = (9.663u,-0.256u); + z88\0\7 = (10.782u,0.076u); + z88\0\8c1 = (11.498u,0.288u); + z88\0\8c2 = (11.571u,1.793u); + z88\0\8 = (10.994u,2.107u); + z88\0\9c1 = (10.348u,2.458u); + z88\0\9c2 = (10.368u,1.494u); + z88\0\9 = (10.423u,1.153u); + z88\0\10c1 = (9.160u,1.110u); + z88\0\10c2 = (9.257u,1.311u); + z88\0\10 = (8.442u,2.186u); + z88\0\11c1 = (8.105u,2.548u); + z88\0\11c2 = (7.170u,3.608u); + z88\0\11 = (7.059u,4.044u); + z88\0\12c1 = (6.828u,4.946u); + z88\0\12c2 = (8.616u,7.304u); + z88\0\12 = (9.578u,7.328u); + z88\0\13c1 = (10.001u,7.339u); + z88\0\13c2 = (10.365u,6.950u); + z88\0\13 = (10.664u,6.694u); + z88\0\14 = (11.146u,6.934u); + z88\0\15c1 = (10.768u,9.331u); + z88\0\15c2 = (8.321u,8.220u); + z88\0\15 = (7.103u,7.233u); + z88\0\16c1 = (6.538u,6.775u); + z88\0\16c2 = (6.325u,6.073u); + z88\0\16 = (5.605u,5.850u); + z88\0\17c1 = (5.430u,6.495u); + z88\0\17c2 = (4.897u,7.094u); + z88\0\17 = (4.395u,7.521u); + z88\0\18c1 = (1.794u,9.735u); + z88\0\18c2 = (0.185u,6.815u); + z88\0\18 = (1.415u,6.130u); + z88\0\19c1 = (2.489u,5.531u); + z88\0\19c2 = (2.321u,6.858u); + fill_or_unfill z88\0\0s + ..controls z88\0\0c1 and z88\0\0c2..z88\0\0 + ..controls z88\0\1c1 and z88\0\1c2..z88\0\1 + ..controls z88\0\2c1 and z88\0\2c2..z88\0\2 + ..controls z88\0\3c1 and z88\0\3c2..z88\0\3 + ..controls z88\0\4c1 and z88\0\4c2..z88\0\4 + ..controls z88\0\5c1 and z88\0\5c2..z88\0\5 + ..controls z88\0\6c1 and z88\0\6c2..z88\0\6 + ..controls z88\0\7c1 and z88\0\7c2..z88\0\7 + ..controls z88\0\8c1 and z88\0\8c2..z88\0\8 + ..controls z88\0\9c1 and z88\0\9c2..z88\0\9 + ..controls z88\0\10c1 and z88\0\10c2..z88\0\10 + ..controls z88\0\11c1 and z88\0\11c2..z88\0\11 + ..controls z88\0\12c1 and z88\0\12c2..z88\0\12 + ..controls z88\0\13c1 and z88\0\13c2..z88\0\13 + --z88\0\14 + ..controls z88\0\15c1 and z88\0\15c2..z88\0\15 + ..controls z88\0\16c1 and z88\0\16c2..z88\0\16 + ..controls z88\0\17c1 and z88\0\17c2..z88\0\17 + ..controls z88\0\18c1 and z88\0\18c2..z88\0\18 + ..controls z88\0\19c1 and z88\0\19c2..cycle; + proof_labels ( + 88\0\0, + 88\0\1, + 88\0\2, + 88\0\3, + 88\0\4, + 88\0\5, + 88\0\6, + 88\0\7, + 88\0\8, + 88\0\9, + 88\0\10, + 88\0\11, + 88\0\12, + 88\0\13, + 88\0\14, + 88\0\15, + 88\0\16, + 88\0\17, + 88\0\18, + 88\0\19, +); +endchar; + +beginchar (89, 9.997u#, 8.269u#, 2.266u#); + "Schei"; + z89\0\0s = (0.115u,8.248u); + z89\0\0 = (0.115u,7.887u); + z89\0\1c1 = (1.543u,7.463u); + z89\0\1c2 = (0.945u,5.982u); + z89\0\1 = (0.976u,4.875u); + z89\0\2 = (0.976u,3.309u); + z89\0\3c1 = (0.959u,2.139u); + z89\0\3c2 = (0.521u,0.493u); + z89\0\3 = (2.043u,0.068u); + z89\0\4c1 = (2.373u,-0.025u); + z89\0\4c2 = (2.792u,-0.098u); + z89\0\4 = (3.126u,0.004u); + z89\0\5c1 = (3.740u,0.190u); + z89\0\5c2 = (4.209u,0.762u); + z89\0\5 = (4.812u,1.021u); + z89\0\6c1 = (5.391u,-1.063u); + z89\0\6c2 = (7.418u,0.482u); + z89\0\6 = (8.546u,0.659u); + z89\0\7c1 = (8.552u,0.220u); + z89\0\7c2 = (8.645u,-0.383u); + z89\0\7 = (8.406u,-0.771u); + z89\0\8c1 = (7.259u,-2.636u); + z89\0\8c2 = (1.698u,0.252u); + z89\0\8 = (1.256u,-1.525u); + z89\0\9c1 = (1.136u,-2.006u); + z89\0\9c2 = (1.459u,-2.295u); + z89\0\9 = (1.922u,-2.254u); + z89\0\10c1 = (2.698u,-2.186u); + z89\0\10c2 = (2.547u,-1.540u); + z89\0\10 = (3.488u,-1.529u); + z89\0\11c1 = (5.291u,-1.459u); + z89\0\11c2 = (6.802u,-3.230u); + z89\0\11 = (8.628u,-1.529u); + z89\0\12c1 = (10.023u,-0.257u); + z89\0\12c2 = (9.748u,4.210u); + z89\0\12 = (9.751u,6.080u); + z89\0\13c1 = (9.752u,6.887u); + z89\0\13c2 = (10.014u,7.480u); + z89\0\13 = (10.112u,8.248u); + z89\0\14c1 = (9.765u,8.248u); + z89\0\14c2 = (8.485u,8.318u); + z89\0\14 = (8.262u,8.125u); + z89\0\15c1 = (7.962u,7.864u); + z89\0\15c2 = (8.391u,7.251u); + z89\0\15 = (8.431u,6.923u); + z89\0\16 = (8.431u,3.671u); + z89\0\17c1 = (8.424u,2.675u); + z89\0\17c2 = (8.458u,0.307u); + z89\0\17 = (6.761u,1.133u); + z89\0\18c1 = (5.674u,1.662u); + z89\0\18c2 = (5.801u,6.131u); + z89\0\18 = (6.165u,7.151u); + z89\0\19c1 = (6.342u,7.648u); + z89\0\19c2 = (6.697u,7.570u); + z89\0\19 = (6.840u,7.825u); + z89\0\20c1 = (7.167u,8.412u); + z89\0\20c2 = (5.306u,8.248u); + z89\0\20 = (5.053u,8.248u); + z89\0\21c1 = (4.775u,8.247u); + z89\0\21c2 = (4.058u,8.327u); + z89\0\21 = (4.091u,7.881u); + z89\0\22c1 = (4.109u,7.637u); + z89\0\22c2 = (4.456u,7.281u); + z89\0\22 = (4.530u,6.920u); + z89\0\23c1 = (4.740u,5.910u); + z89\0\23c2 = (4.635u,3.232u); + z89\0\23 = (4.371u,2.225u); + z89\0\24c1 = (3.861u,0.283u); + z89\0\24c2 = (2.290u,0.816u); + z89\0\24 = (2.174u,2.707u); + z89\0\25 = (2.309u,5.357u); + z89\0\26c1 = (2.288u,5.796u); + z89\0\26c2 = (2.232u,6.656u); + z89\0\26 = (2.309u,7.044u); + z89\0\27 = (2.885u,8.248u); + fill_or_unfill z89\0\0s + --z89\0\0 + ..controls z89\0\1c1 and z89\0\1c2..z89\0\1 + --z89\0\2 + ..controls z89\0\3c1 and z89\0\3c2..z89\0\3 + ..controls z89\0\4c1 and z89\0\4c2..z89\0\4 + ..controls z89\0\5c1 and z89\0\5c2..z89\0\5 + ..controls z89\0\6c1 and z89\0\6c2..z89\0\6 + ..controls z89\0\7c1 and z89\0\7c2..z89\0\7 + ..controls z89\0\8c1 and z89\0\8c2..z89\0\8 + ..controls z89\0\9c1 and z89\0\9c2..z89\0\9 + ..controls z89\0\10c1 and z89\0\10c2..z89\0\10 + ..controls z89\0\11c1 and z89\0\11c2..z89\0\11 + ..controls z89\0\12c1 and z89\0\12c2..z89\0\12 + ..controls z89\0\13c1 and z89\0\13c2..z89\0\13 + ..controls z89\0\14c1 and z89\0\14c2..z89\0\14 + ..controls z89\0\15c1 and z89\0\15c2..z89\0\15 + --z89\0\16 + ..controls z89\0\17c1 and z89\0\17c2..z89\0\17 + ..controls z89\0\18c1 and z89\0\18c2..z89\0\18 + ..controls z89\0\19c1 and z89\0\19c2..z89\0\19 + ..controls z89\0\20c1 and z89\0\20c2..z89\0\20 + ..controls z89\0\21c1 and z89\0\21c2..z89\0\21 + ..controls z89\0\22c1 and z89\0\22c2..z89\0\22 + ..controls z89\0\23c1 and z89\0\23c2..z89\0\23 + ..controls z89\0\24c1 and z89\0\24c2..z89\0\24 + --z89\0\25 + ..controls z89\0\26c1 and z89\0\26c2..z89\0\26 + --z89\0\27 + --cycle; + proof_labels ( + 89\0\0, + 89\0\1, + 89\0\2, + 89\0\3, + 89\0\4, + 89\0\5, + 89\0\6, + 89\0\7, + 89\0\8, + 89\0\9, + 89\0\10, + 89\0\11, + 89\0\12, + 89\0\13, + 89\0\14, + 89\0\15, + 89\0\16, + 89\0\17, + 89\0\18, + 89\0\19, + 89\0\20, + 89\0\21, + 89\0\22, + 89\0\23, + 89\0\24, + 89\0\25, + 89\0\26, + 89\0\27, + 89\0\28, +); +endchar; + +beginchar (90, 7.274u#, 8.071u#, 2.720u#); + "Zida"; + z90\0\0s = (3.590u,-2.554u); + z90\0\0 = (5.276u,-2.720u); + z90\0\1 = (6.601u,-2.433u); + z90\0\2c1 = (6.815u,-2.000u); + z90\0\2c2 = (7.173u,-1.703u); + z90\0\2 = (7.303u,-1.224u); + z90\0\3c1 = (7.418u,-0.797u); + z90\0\3c2 = (7.381u,-0.459u); + z90\0\3 = (7.189u,-0.061u); + z90\0\4c1 = (6.289u,1.799u); + z90\0\4c2 = (2.083u,-0.027u); + z90\0\4 = (1.762u,1.548u); + z90\0\5c1 = (1.454u,3.055u); + z90\0\5c2 = (7.475u,6.234u); + z90\0\5 = (7.342u,6.841u); + z90\0\6c1 = (7.231u,7.341u); + z90\0\6c2 = (5.955u,7.675u); + z90\0\6 = (5.517u,7.796u); + z90\0\7c1 = (5.049u,7.923u); + z90\0\7c2 = (4.685u,8.040u); + z90\0\7 = (4.192u,8.046u); + z90\0\8c1 = (3.293u,8.058u); + z90\0\8c2 = (-0.838u,8.376u); + z90\0\8 = (0.286u,6.366u); + z90\0\9c1 = (0.687u,5.650u); + z90\0\9c2 = (2.626u,5.130u); + z90\0\9 = (2.482u,4.688u); + z90\0\10c1 = (2.240u,3.940u); + z90\0\10c2 = (0.218u,3.365u); + z90\0\10 = (0.218u,1.904u); + z90\0\11c1 = (0.218u,1.362u); + z90\0\11c2 = (0.278u,1.156u); + z90\0\11 = (0.687u,0.780u); + z90\0\12c1 = (1.999u,-0.420u); + z90\0\12c2 = (5.955u,0.710u); + z90\0\12 = (6.294u,-0.528u); + z90\0\13c1 = (6.360u,-0.769u); + z90\0\13c2 = (6.286u,-1.013u); + z90\0\13 = (6.171u,-1.227u); + z90\0\14c1 = (5.441u,-2.587u); + z90\0\14c2 = (4.184u,-1.597u); + z90\1\0s = (3.349u,7.269u); + z90\1\0c1 = (3.848u,7.336u); + z90\1\0c2 = (5.319u,7.377u); + z90\1\0 = (5.758u,7.269u); + z90\1\1c1 = (7.116u,6.848u); + z90\1\1c2 = (6.099u,6.169u); + z90\1\1 = (5.397u,5.869u); + z90\1\2c1 = (4.926u,5.668u); + z90\1\2c2 = (4.466u,5.388u); + z90\1\2 = (3.951u,5.316u); + z90\1\3c1 = (3.418u,5.242u); + z90\1\3c2 = (0.385u,6.046u); + z90\1\3 = (1.462u,6.841u); + z90\1\4c1 = (1.692u,7.010u); + z90\1\4c2 = (3.004u,7.236u); + fill_or_unfill z90\0\0s + --z90\0\0 + --z90\0\1 + ..controls z90\0\2c1 and z90\0\2c2..z90\0\2 + ..controls z90\0\3c1 and z90\0\3c2..z90\0\3 + ..controls z90\0\4c1 and z90\0\4c2..z90\0\4 + ..controls z90\0\5c1 and z90\0\5c2..z90\0\5 + ..controls z90\0\6c1 and z90\0\6c2..z90\0\6 + ..controls z90\0\7c1 and z90\0\7c2..z90\0\7 + ..controls z90\0\8c1 and z90\0\8c2..z90\0\8 + ..controls z90\0\9c1 and z90\0\9c2..z90\0\9 + ..controls z90\0\10c1 and z90\0\10c2..z90\0\10 + ..controls z90\0\11c1 and z90\0\11c2..z90\0\11 + ..controls z90\0\12c1 and z90\0\12c2..z90\0\12 + ..controls z90\0\13c1 and z90\0\13c2..z90\0\13 + ..controls z90\0\14c1 and z90\0\14c2..cycle; + fill_or_unfill z90\1\0s + ..controls z90\1\0c1 and z90\1\0c2..z90\1\0 + ..controls z90\1\1c1 and z90\1\1c2..z90\1\1 + ..controls z90\1\2c1 and z90\1\2c2..z90\1\2 + ..controls z90\1\3c1 and z90\1\3c2..z90\1\3 + ..controls z90\1\4c1 and z90\1\4c2..cycle; + proof_labels ( + 90\0\0, + 90\0\1, + 90\0\2, + 90\0\3, + 90\0\4, + 90\0\5, + 90\0\6, + 90\0\7, + 90\0\8, + 90\0\9, + 90\0\10, + 90\0\11, + 90\0\12, + 90\0\13, + 90\0\14, + 90\1\0, + 90\1\1, + 90\1\2, + 90\1\3, + 90\1\4, +); +endchar; + +beginchar (97, 7.088u#, 5.961u#, 0.000u#); + "alpha"; + z97\0\0s = (2.315u,3.585u); + z97\0\0c1 = (1.842u,3.433u); + z97\0\0c2 = (0.153u,1.879u); + z97\0\0 = (0.025u,1.417u); + z97\0\1c1 = (-0.063u,1.105u); + z97\0\1c2 = (0.090u,0.825u); + z97\0\1 = (0.309u,0.610u); + z97\0\2c1 = (1.294u,-0.364u); + z97\0\2c2 = (2.960u,0.054u); + z97\0\2 = (4.121u,0.329u); + z97\0\3c1 = (4.401u,0.395u); + z97\0\3c2 = (4.714u,0.573u); + z97\0\3 = (4.999u,0.539u); + z97\0\4c1 = (5.533u,0.544u); + z97\0\4c2 = (6.552u,-0.108u); + z97\0\4 = (6.974u,0.539u); + z97\0\5c1 = (7.189u,0.832u); + z97\0\5c2 = (7.093u,1.300u); + z97\0\5 = (6.744u,1.474u); + z97\0\6c1 = (6.339u,1.676u); + z97\0\6c2 = (5.959u,1.441u); + z97\0\6 = (5.588u,1.551u); + z97\0\7c1 = (5.184u,1.671u); + z97\0\7c2 = (3.768u,2.991u); + z97\0\7 = (3.808u,3.397u); + z97\0\8c1 = (3.842u,4.136u); + z97\0\8c2 = (4.641u,4.503u); + z97\0\8 = (3.808u,5.481u); + z97\0\9c1 = (3.317u,6.083u); + z97\0\9c2 = (1.986u,6.232u); + z97\0\9 = (1.852u,5.265u); + z97\0\10c1 = (1.770u,4.670u); + z97\0\10c2 = (2.122u,4.122u); + z97\1\0s = (2.697u,2.427u); + z97\1\0c1 = (3.511u,2.547u); + z97\1\0c2 = (4.555u,1.512u); + z97\1\0 = (3.843u,1.123u); + z97\1\1c1 = (2.823u,0.565u); + z97\1\1c2 = (0.744u,1.287u); + fill_or_unfill z97\0\0s + ..controls z97\0\0c1 and z97\0\0c2..z97\0\0 + ..controls z97\0\1c1 and z97\0\1c2..z97\0\1 + ..controls z97\0\2c1 and z97\0\2c2..z97\0\2 + ..controls z97\0\3c1 and z97\0\3c2..z97\0\3 + ..controls z97\0\4c1 and z97\0\4c2..z97\0\4 + ..controls z97\0\5c1 and z97\0\5c2..z97\0\5 + ..controls z97\0\6c1 and z97\0\6c2..z97\0\6 + ..controls z97\0\7c1 and z97\0\7c2..z97\0\7 + ..controls z97\0\8c1 and z97\0\8c2..z97\0\8 + ..controls z97\0\9c1 and z97\0\9c2..z97\0\9 + ..controls z97\0\10c1 and z97\0\10c2..cycle; + fill_or_unfill z97\1\0s + ..controls z97\1\0c1 and z97\1\0c2..z97\1\0 + ..controls z97\1\1c1 and z97\1\1c2..cycle; + proof_labels ( + 97\0\0, + 97\0\1, + 97\0\2, + 97\0\3, + 97\0\4, + 97\0\5, + 97\0\6, + 97\0\7, + 97\0\8, + 97\0\9, + 97\0\10, + 97\1\0, + 97\1\1, +); +endchar; + +beginchar (98, 5.901u#, 7.364u#, 0.000u#); + "vida"; + z98\0\0s = (1.086u,0.818u); + z98\0\0c1 = (-0.347u,0.786u); + z98\0\0c2 = (-0.386u,0.017u); + z98\0\0 = (1.086u,0.012u); + z98\0\1c1 = (1.714u,0.010u); + z98\0\1c2 = (5.659u,-0.085u); + z98\0\1 = (5.856u,0.282u); + z98\0\2c1 = (6.056u,0.653u); + z98\0\2c2 = (5.538u,0.777u); + z98\0\2 = (5.302u,0.818u); + z98\0\3c1 = (5.611u,4.664u); + z98\0\3c2 = (1.973u,3.375u); + z98\0\3 = (4.941u,5.515u); + z98\0\4c1 = (4.467u,8.852u); + z98\0\4c2 = (-0.203u,7.896u); + z98\1\0s = (2.995u,6.526u); + z98\1\0c1 = (4.091u,6.592u); + z98\1\0c2 = (3.809u,5.121u); + z98\1\0 = (2.995u,4.855u); + z98\1\1c1 = (1.868u,4.498u); + z98\1\1c2 = (2.030u,6.068u); + z98\2\0s = (2.050u,4.070u); + z98\2\0c1 = (3.419u,3.913u); + z98\2\0c2 = (5.262u,1.078u); + z98\2\0 = (3.611u,0.836u); + z98\2\1c1 = (2.258u,0.638u); + z98\2\1c2 = (1.878u,2.328u); + z98\2\1 = (1.941u,3.347u); + fill_or_unfill z98\0\0s + ..controls z98\0\0c1 and z98\0\0c2..z98\0\0 + ..controls z98\0\1c1 and z98\0\1c2..z98\0\1 + ..controls z98\0\2c1 and z98\0\2c2..z98\0\2 + ..controls z98\0\3c1 and z98\0\3c2..z98\0\3 + ..controls z98\0\4c1 and z98\0\4c2..cycle; + fill_or_unfill z98\1\0s + ..controls z98\1\0c1 and z98\1\0c2..z98\1\0 + ..controls z98\1\1c1 and z98\1\1c2..cycle; + fill_or_unfill z98\2\0s + ..controls z98\2\0c1 and z98\2\0c2..z98\2\0 + ..controls z98\2\1c1 and z98\2\1c2..z98\2\1 + --cycle; + proof_labels ( + 98\0\0, + 98\0\1, + 98\0\2, + 98\0\3, + 98\0\4, + 98\1\0, + 98\1\1, + 98\2\0, + 98\2\1, + 98\2\2, +); +endchar; + +beginchar (99, 4.861u#, 5.518u#, 0.000u#); + "sima"; + z99\0\0s = (4.658u,1.351u); + z99\0\0c1 = (3.839u,1.323u); + z99\0\0c2 = (3.210u,0.682u); + z99\0\0 = (2.371u,1.037u); + z99\0\1c1 = (1.052u,1.594u); + z99\0\1c2 = (0.815u,4.342u); + z99\0\1 = (2.250u,4.875u); + z99\0\2c1 = (3.411u,5.307u); + z99\0\2c2 = (3.493u,3.708u); + z99\0\2 = (4.405u,3.921u); + z99\0\3c1 = (5.604u,4.200u); + z99\0\3c2 = (4.147u,5.356u); + z99\0\3 = (3.454u,5.471u); + z99\0\4c1 = (0.722u,5.927u); + z99\0\4c2 = (-1.000u,3.061u); + z99\0\4 = (0.624u,0.855u); + z99\0\5c1 = (1.607u,-0.479u); + z99\0\5c2 = (4.082u,-0.212u); + fill_or_unfill z99\0\0s + ..controls z99\0\0c1 and z99\0\0c2..z99\0\0 + ..controls z99\0\1c1 and z99\0\1c2..z99\0\1 + ..controls z99\0\2c1 and z99\0\2c2..z99\0\2 + ..controls z99\0\3c1 and z99\0\3c2..z99\0\3 + ..controls z99\0\4c1 and z99\0\4c2..z99\0\4 + ..controls z99\0\5c1 and z99\0\5c2..cycle; + proof_labels ( + 99\0\0, + 99\0\1, + 99\0\2, + 99\0\3, + 99\0\4, + 99\0\5, +); +endchar; + +beginchar (100, 7.449u#, 5.807u#, 0.000u#); + "dalda"; + z100\0\0s = (0.350u,5.654u); + z100\0\0c1 = (-0.278u,5.036u); + z100\0\0c2 = (-0.048u,4.232u); + z100\0\0 = (0.906u,4.349u); + z100\0\1c1 = (1.397u,4.409u); + z100\0\1c2 = (1.715u,4.757u); + z100\0\1 = (2.230u,4.714u); + z100\0\2c1 = (2.536u,4.689u); + z100\0\2c2 = (2.900u,4.543u); + z100\0\2 = (2.960u,4.204u); + z100\0\3c1 = (3.126u,3.281u); + z100\0\3c2 = (0.348u,0.992u); + z100\0\3 = (0.272u,0.710u); + z100\0\4c1 = (0.117u,0.128u); + z100\0\4c2 = (1.369u,0.137u); + z100\0\4 = (1.714u,0.137u); + z100\0\5 = (3.796u,0.000u); + z100\0\6 = (5.121u,0.077u); + z100\0\7c1 = (5.579u,0.045u); + z100\0\7c2 = (7.292u,-0.043u); + z100\0\7 = (7.441u,0.502u); + z100\0\8c1 = (7.546u,0.887u); + z100\0\8c2 = (6.582u,1.579u); + z100\0\8 = (6.310u,1.853u); + z100\0\9c1 = (5.204u,2.968u); + z100\0\9c2 = (4.495u,4.767u); + z100\0\9 = (3.069u,5.553u); + z100\0\10c1 = (2.509u,5.862u); + z100\0\10c2 = (0.943u,5.883u); + z100\1\0s = (4.399u,2.886u); + z100\1\0 = (5.483u,1.079u); + z100\1\1 = (2.833u,1.079u); + z100\1\2c1 = (3.006u,1.780u); + z100\1\2c2 = (3.652u,2.758u); + fill_or_unfill z100\0\0s + ..controls z100\0\0c1 and z100\0\0c2..z100\0\0 + ..controls z100\0\1c1 and z100\0\1c2..z100\0\1 + ..controls z100\0\2c1 and z100\0\2c2..z100\0\2 + ..controls z100\0\3c1 and z100\0\3c2..z100\0\3 + ..controls z100\0\4c1 and z100\0\4c2..z100\0\4 + --z100\0\5 + --z100\0\6 + ..controls z100\0\7c1 and z100\0\7c2..z100\0\7 + ..controls z100\0\8c1 and z100\0\8c2..z100\0\8 + ..controls z100\0\9c1 and z100\0\9c2..z100\0\9 + ..controls z100\0\10c1 and z100\0\10c2..cycle; + fill_or_unfill z100\1\0s + --z100\1\0 + --z100\1\1 + ..controls z100\1\2c1 and z100\1\2c2..cycle; + proof_labels ( + 100\0\0, + 100\0\1, + 100\0\2, + 100\0\3, + 100\0\4, + 100\0\5, + 100\0\6, + 100\0\7, + 100\0\8, + 100\0\9, + 100\0\10, + 100\1\0, + 100\1\1, + 100\1\2, +); +endchar; + +beginchar (101, 4.897u#, 5.549u#, 0.000u#); + "ei"; + z101\0\0s = (4.897u,1.455u); + z101\0\0c1 = (4.197u,1.254u); + z101\0\0c2 = (3.751u,0.693u); + z101\0\0 = (2.972u,0.645u); + z101\0\1c1 = (2.188u,0.597u); + z101\0\1c2 = (1.031u,1.743u); + z101\0\1 = (1.688u,2.329u); + z101\0\2c1 = (2.118u,2.713u); + z101\0\2c2 = (3.442u,2.442u); + z101\0\2 = (4.054u,2.539u); + z101\0\3c1 = (3.809u,4.005u); + z101\0\3c2 = (1.592u,2.509u); + z101\0\3 = (1.479u,3.628u); + z101\0\4c1 = (1.443u,3.974u); + z101\0\4c2 = (1.683u,4.412u); + z101\0\4 = (1.927u,4.643u); + z101\0\5c1 = (3.098u,5.751u); + z101\0\5c2 = (3.476u,4.405u); + z101\0\5 = (4.199u,4.024u); + z101\0\6c1 = (4.744u,3.737u); + z101\0\6c2 = (4.980u,4.216u); + z101\0\6 = (4.845u,4.694u); + z101\0\7c1 = (4.475u,6.003u); + z101\0\7c2 = (0.014u,6.127u); + z101\0\7 = (0.000u,2.780u); + z101\0\8c1 = (-0.009u,0.792u); + z101\0\8c2 = (0.869u,0.076u); + z101\0\8 = (2.729u,0.005u); + z101\0\9c1 = (3.831u,-0.038u); + z101\0\9c2 = (4.795u,0.139u); + fill_or_unfill z101\0\0s + ..controls z101\0\0c1 and z101\0\0c2..z101\0\0 + ..controls z101\0\1c1 and z101\0\1c2..z101\0\1 + ..controls z101\0\2c1 and z101\0\2c2..z101\0\2 + ..controls z101\0\3c1 and z101\0\3c2..z101\0\3 + ..controls z101\0\4c1 and z101\0\4c2..z101\0\4 + ..controls z101\0\5c1 and z101\0\5c2..z101\0\5 + ..controls z101\0\6c1 and z101\0\6c2..z101\0\6 + ..controls z101\0\7c1 and z101\0\7c2..z101\0\7 + ..controls z101\0\8c1 and z101\0\8c2..z101\0\8 + ..controls z101\0\9c1 and z101\0\9c2..cycle; + proof_labels ( + 101\0\0, + 101\0\1, + 101\0\2, + 101\0\3, + 101\0\4, + 101\0\5, + 101\0\6, + 101\0\7, + 101\0\8, + 101\0\9, +); +endchar; + +beginchar (102, 6.342u#, 8.239u#, 0.000u#); + "fei"; + z102\0\0s = (3.571u,0.861u); + z102\0\0c1 = (3.614u,0.668u); + z102\0\0c2 = (3.633u,0.481u); + z102\0\0 = (3.781u,0.330u); + z102\0\1c1 = (4.088u,0.018u); + z102\0\1c2 = (5.546u,-0.254u); + z102\0\1 = (5.700u,0.401u); + z102\0\2 = (5.619u,2.065u); + z102\0\3c1 = (5.618u,2.768u); + z102\0\3c2 = (5.278u,6.494u); + z102\0\3 = (5.501u,6.833u); + z102\0\4c1 = (5.651u,7.060u); + z102\0\4c2 = (6.097u,7.237u); + z102\0\4 = (6.342u,7.365u); + z102\0\5c1 = (6.041u,7.832u); + z102\0\5c2 = (4.732u,8.646u); + z102\0\5 = (4.363u,7.915u); + z102\0\6c1 = (4.237u,7.666u); + z102\0\6c2 = (4.300u,5.303u); + z102\0\6 = (4.294u,4.836u); + z102\0\7c1 = (4.260u,2.402u); + z102\0\7c2 = (1.071u,4.150u); + z102\0\7 = (0.879u,6.040u); + z102\0\8c1 = (0.846u,6.362u); + z102\0\8c2 = (0.976u,6.690u); + z102\0\8 = (1.042u,7.004u); + z102\0\9c1 = (2.196u,7.039u); + z102\0\9c2 = (1.782u,6.483u); + z102\0\9 = (2.498u,6.321u); + z102\0\10c1 = (3.385u,6.120u); + z102\0\10c2 = (3.536u,7.317u); + z102\0\10 = (3.052u,7.809u); + z102\0\11c1 = (2.057u,8.820u); + z102\0\11c2 = (0.477u,7.872u); + z102\0\11 = (0.091u,6.761u); + z102\0\12c1 = (-0.329u,5.550u); + z102\0\12c2 = (0.737u,3.607u); + z102\0\12 = (1.887u,3.134u); + z102\0\13 = (4.015u,2.665u); + z102\0\14c1 = (4.342u,2.447u); + z102\0\14c2 = (4.408u,1.562u); + z102\0\14 = (4.202u,1.255u); + z102\0\15c1 = (4.055u,1.036u); + z102\0\15c2 = (3.802u,0.956u); + fill_or_unfill z102\0\0s + ..controls z102\0\0c1 and z102\0\0c2..z102\0\0 + ..controls z102\0\1c1 and z102\0\1c2..z102\0\1 + --z102\0\2 + ..controls z102\0\3c1 and z102\0\3c2..z102\0\3 + ..controls z102\0\4c1 and z102\0\4c2..z102\0\4 + ..controls z102\0\5c1 and z102\0\5c2..z102\0\5 + ..controls z102\0\6c1 and z102\0\6c2..z102\0\6 + ..controls z102\0\7c1 and z102\0\7c2..z102\0\7 + ..controls z102\0\8c1 and z102\0\8c2..z102\0\8 + ..controls z102\0\9c1 and z102\0\9c2..z102\0\9 + ..controls z102\0\10c1 and z102\0\10c2..z102\0\10 + ..controls z102\0\11c1 and z102\0\11c2..z102\0\11 + ..controls z102\0\12c1 and z102\0\12c2..z102\0\12 + --z102\0\13 + ..controls z102\0\14c1 and z102\0\14c2..z102\0\14 + ..controls z102\0\15c1 and z102\0\15c2..cycle; + proof_labels ( + 102\0\0, + 102\0\1, + 102\0\2, + 102\0\3, + 102\0\4, + 102\0\5, + 102\0\6, + 102\0\7, + 102\0\8, + 102\0\9, + 102\0\10, + 102\0\11, + 102\0\12, + 102\0\13, + 102\0\14, + 102\0\15, +); +endchar; + +beginchar (103, 6.528u#, 5.905u#, 0.000u#); + "gamma"; + z103\0\0s = (4.119u,0.000u); + z103\0\0 = (4.119u,0.481u); + z103\0\1 = (3.272u,1.109u); + z103\0\2 = (2.192u,5.179u); + z103\0\3c1 = (2.507u,5.179u); + z103\0\3c2 = (3.369u,5.216u); + z103\0\3 = (3.619u,5.107u); + z103\0\4c1 = (4.229u,4.843u); + z103\0\4c2 = (3.866u,3.570u); + z103\0\4 = (6.046u,3.372u); + z103\0\5 = (5.720u,4.801u); + z103\0\6 = (6.528u,5.902u); + z103\0\7 = (1.107u,5.902u); + z103\0\8c1 = (0.771u,5.901u); + z103\0\8c2 = (0.099u,5.965u); + z103\0\8 = (0.008u,5.523u); + z103\0\9c1 = (-0.089u,5.053u); + z103\0\9c2 = (0.705u,4.401u); + z103\0\9 = (0.920u,3.974u); + z103\0\10c1 = (1.880u,2.067u); + z103\0\10c2 = (1.119u,-0.127u); + fill_or_unfill z103\0\0s + --z103\0\0 + --z103\0\1 + --z103\0\2 + ..controls z103\0\3c1 and z103\0\3c2..z103\0\3 + ..controls z103\0\4c1 and z103\0\4c2..z103\0\4 + --z103\0\5 + --z103\0\6 + --z103\0\7 + ..controls z103\0\8c1 and z103\0\8c2..z103\0\8 + ..controls z103\0\9c1 and z103\0\9c2..z103\0\9 + ..controls z103\0\10c1 and z103\0\10c2..cycle; + proof_labels ( + 103\0\0, + 103\0\1, + 103\0\2, + 103\0\3, + 103\0\4, + 103\0\5, + 103\0\6, + 103\0\7, + 103\0\8, + 103\0\9, + 103\0\10, +); +endchar; + +beginchar (104, 5.400u#, 5.722u#, 0.000u#); + "hida"; + z104\0\0s = (0.220u,5.722u); + z104\0\0c1 = (-0.137u,4.253u); + z104\0\0c2 = (0.776u,1.994u); + z104\0\0 = (0.568u,1.334u); + z104\0\1c1 = (0.473u,1.033u); + z104\0\1c2 = (0.133u,1.060u); + z104\0\1 = (0.027u,0.839u); + z104\0\2c1 = (-0.219u,0.326u); + z104\0\2c2 = (1.108u,-0.184u); + z104\0\2 = (1.493u,0.065u); + z104\0\3c1 = (1.973u,0.376u); + z104\0\3c2 = (1.666u,1.919u); + z104\0\3 = (1.666u,2.454u); + z104\0\4c1 = (1.968u,2.476u); + z104\0\4c2 = (2.589u,2.573u); + z104\0\4 = (2.837u,2.454u); + z104\0\5c1 = (3.636u,2.004u); + z104\0\5c2 = (2.839u,-0.313u); + z104\0\5 = (5.400u,0.302u); + z104\0\6c1 = (5.268u,0.817u); + z104\0\6c2 = (5.213u,0.934u); + z104\0\6 = (4.677u,1.024u); + z104\0\7 = (4.278u,4.250u); + z104\0\8 = (4.677u,4.638u); + z104\0\9c1 = (4.494u,5.472u); + z104\0\9c2 = (3.904u,5.695u); + z104\0\9 = (3.111u,5.722u); + z104\0\10c1 = (3.049u,4.957u); + z104\0\10c2 = (3.271u,3.436u); + z104\0\10 = (2.302u,3.295u); + z104\0\11c1 = (2.054u,3.258u); + z104\0\11c2 = (1.822u,3.268u); + z104\0\11 = (1.656u,3.480u); + z104\0\12c1 = (1.086u,4.208u); + z104\0\12c2 = (1.867u,4.720u); + z104\0\12 = (1.797u,5.087u); + z104\0\13c1 = (1.730u,5.441u); + z104\0\13c2 = (0.539u,5.676u); + fill_or_unfill z104\0\0s + ..controls z104\0\0c1 and z104\0\0c2..z104\0\0 + ..controls z104\0\1c1 and z104\0\1c2..z104\0\1 + ..controls z104\0\2c1 and z104\0\2c2..z104\0\2 + ..controls z104\0\3c1 and z104\0\3c2..z104\0\3 + ..controls z104\0\4c1 and z104\0\4c2..z104\0\4 + ..controls z104\0\5c1 and z104\0\5c2..z104\0\5 + ..controls z104\0\6c1 and z104\0\6c2..z104\0\6 + --z104\0\7 + --z104\0\8 + ..controls z104\0\9c1 and z104\0\9c2..z104\0\9 + ..controls z104\0\10c1 and z104\0\10c2..z104\0\10 + ..controls z104\0\11c1 and z104\0\11c2..z104\0\11 + ..controls z104\0\12c1 and z104\0\12c2..z104\0\12 + ..controls z104\0\13c1 and z104\0\13c2..cycle; + proof_labels ( + 104\0\0, + 104\0\1, + 104\0\2, + 104\0\3, + 104\0\4, + 104\0\5, + 104\0\6, + 104\0\7, + 104\0\8, + 104\0\9, + 104\0\10, + 104\0\11, + 104\0\12, + 104\0\13, +); +endchar; + +beginchar (105, 2.095u#, 5.596u#, 0.000u#); + "iauda"; + z105\0\0s = (0.120u,5.596u); + z105\0\0 = (0.723u,1.018u); + z105\0\1 = (0.000u,1.018u); + z105\0\2c1 = (0.027u,0.790u); + z105\0\2c2 = (0.033u,0.568u); + z105\0\2 = (0.209u,0.395u); + z105\0\3c1 = (0.500u,0.109u); + z105\0\3c2 = (1.742u,-0.230u); + z105\0\3 = (2.025u,0.213u); + z105\0\4c1 = (2.344u,0.713u); + z105\0\4c2 = (1.482u,3.181u); + z105\0\4 = (1.524u,4.027u); + z105\0\5c1 = (1.554u,4.634u); + z105\0\5c2 = (2.287u,4.738u); + z105\0\5 = (1.946u,5.169u); + z105\0\6c1 = (1.638u,5.558u); + z105\0\6c2 = (0.582u,5.594u); + fill_or_unfill z105\0\0s + --z105\0\0 + --z105\0\1 + ..controls z105\0\2c1 and z105\0\2c2..z105\0\2 + ..controls z105\0\3c1 and z105\0\3c2..z105\0\3 + ..controls z105\0\4c1 and z105\0\4c2..z105\0\4 + ..controls z105\0\5c1 and z105\0\5c2..z105\0\5 + ..controls z105\0\6c1 and z105\0\6c2..cycle; + proof_labels ( + 105\0\0, + 105\0\1, + 105\0\2, + 105\0\3, + 105\0\4, + 105\0\5, + 105\0\6, +); +endchar; + +beginchar (106, 10.493u#, 7.921u#, 1.982u#); + "Khei"; + z106\0\0s = (1.491u,-0.184u); + z106\0\0c1 = (2.366u,-0.136u); + z106\0\0c2 = (3.349u,0.872u); + z106\0\0 = (5.334u,3.712u); + z106\0\1c1 = (8.120u,4.002u); + z106\0\1c2 = (10.046u,2.940u); + z106\0\1 = (10.204u,2.468u); + z106\0\2c1 = (10.833u,1.171u); + z106\0\2c2 = (8.906u,-0.520u); + z106\0\2 = (5.525u,-0.048u); + z106\0\3c1 = (4.267u,0.188u); + z106\0\3c2 = (1.855u,-1.180u); + z106\0\3 = (1.006u,-1.982u); + z106\0\4c1 = (4.307u,-0.323u); + z106\0\4c2 = (5.334u,-1.049u); + z106\0\4 = (6.980u,-1.227u); + z106\0\5c1 = (9.737u,-1.132u); + z106\0\5c2 = (10.213u,-0.223u); + z106\0\5 = (10.428u,0.204u); + z106\0\6c1 = (11.314u,1.913u); + z106\0\6c2 = (10.515u,3.071u); + z106\0\6 = (10.013u,3.602u); + z106\0\7c1 = (9.164u,4.500u); + z106\0\7c2 = (6.275u,4.855u); + z106\0\7 = (5.814u,4.916u); + z106\0\8 = (6.811u,6.820u); + z106\0\9 = (7.719u,7.784u); + z106\0\10 = (5.407u,7.921u); + z106\0\11 = (5.765u,6.958u); + z106\0\12 = (4.745u,4.867u); + z106\0\13c1 = (0.763u,4.916u); + z106\0\13c2 = (-1.035u,-0.087u); + z106\1\0s = (2.616u,1.682u); + z106\1\0c1 = (0.454u,-0.638u); + z106\1\0c2 = (1.161u,3.490u); + z106\1\0 = (4.110u,3.648u); + fill_or_unfill z106\0\0s + ..controls z106\0\0c1 and z106\0\0c2..z106\0\0 + ..controls z106\0\1c1 and z106\0\1c2..z106\0\1 + ..controls z106\0\2c1 and z106\0\2c2..z106\0\2 + ..controls z106\0\3c1 and z106\0\3c2..z106\0\3 + ..controls z106\0\4c1 and z106\0\4c2..z106\0\4 + ..controls z106\0\5c1 and z106\0\5c2..z106\0\5 + ..controls z106\0\6c1 and z106\0\6c2..z106\0\6 + ..controls z106\0\7c1 and z106\0\7c2..z106\0\7 + --z106\0\8 + --z106\0\9 + --z106\0\10 + --z106\0\11 + --z106\0\12 + ..controls z106\0\13c1 and z106\0\13c2..cycle; + fill_or_unfill z106\1\0s + ..controls z106\1\0c1 and z106\1\0c2..z106\1\0 + --cycle; + proof_labels ( + 106\0\0, + 106\0\1, + 106\0\2, + 106\0\3, + 106\0\4, + 106\0\5, + 106\0\6, + 106\0\7, + 106\0\8, + 106\0\9, + 106\0\10, + 106\0\11, + 106\0\12, + 106\0\13, + 106\1\0, + 106\1\1, +); +endchar; + +beginchar (107, 5.195u#, 5.817u#, 0.000u#); + "kabba"; + z107\0\0s = (1.702u,3.091u); + z107\0\0c1 = (1.546u,3.959u); + z107\0\0c2 = (1.334u,4.625u); + z107\0\0 = (2.304u,5.019u); + z107\0\1 = (2.304u,5.500u); + z107\0\2c1 = (1.806u,5.577u); + z107\0\2c2 = (1.242u,5.788u); + z107\0\2 = (0.734u,5.716u); + z107\0\3c1 = (-0.271u,5.574u); + z107\0\3c2 = (0.539u,2.633u); + z107\0\3 = (0.544u,1.887u); + z107\0\4c1 = (0.548u,1.066u); + z107\0\4c2 = (-0.167u,1.049u); + z107\0\4 = (0.036u,0.569u); + z107\0\5c1 = (0.149u,0.300u); + z107\0\5c2 = (0.476u,0.150u); + z107\0\5 = (0.738u,0.073u); + z107\0\6c1 = (2.103u,-0.330u); + z107\0\6c2 = (1.822u,1.026u); + z107\0\6 = (1.822u,1.887u); + z107\0\7c1 = (2.400u,1.380u); + z107\0\7c2 = (5.046u,-0.980u); + z107\0\7 = (5.195u,0.803u); + z107\0\8c1 = (4.794u,0.930u); + z107\0\8c2 = (4.473u,1.117u); + z107\0\8 = (4.111u,1.327u); + z107\0\9 = (3.388u,1.786u); + z107\0\10c1 = (1.227u,3.375u); + z107\0\10c2 = (5.028u,3.887u); + z107\0\10 = (4.887u,5.393u); + z107\0\11c1 = (4.831u,5.994u); + z107\0\11c2 = (4.104u,5.846u); + z107\0\11 = (3.760u,5.619u); + z107\0\12c1 = (2.950u,5.084u); + z107\0\12c2 = (2.377u,3.832u); + fill_or_unfill z107\0\0s + ..controls z107\0\0c1 and z107\0\0c2..z107\0\0 + --z107\0\1 + ..controls z107\0\2c1 and z107\0\2c2..z107\0\2 + ..controls z107\0\3c1 and z107\0\3c2..z107\0\3 + ..controls z107\0\4c1 and z107\0\4c2..z107\0\4 + ..controls z107\0\5c1 and z107\0\5c2..z107\0\5 + ..controls z107\0\6c1 and z107\0\6c2..z107\0\6 + ..controls z107\0\7c1 and z107\0\7c2..z107\0\7 + ..controls z107\0\8c1 and z107\0\8c2..z107\0\8 + --z107\0\9 + ..controls z107\0\10c1 and z107\0\10c2..z107\0\10 + ..controls z107\0\11c1 and z107\0\11c2..z107\0\11 + ..controls z107\0\12c1 and z107\0\12c2..cycle; + proof_labels ( + 107\0\0, + 107\0\1, + 107\0\2, + 107\0\3, + 107\0\4, + 107\0\5, + 107\0\6, + 107\0\7, + 107\0\8, + 107\0\9, + 107\0\10, + 107\0\11, + 107\0\12, +); +endchar; + +beginchar (108, 6.585u#, 6.507u#, 0.000u#); + "laula"; + z108\0\0s = (1.651u,0.000u); + z108\0\0 = (1.651u,0.843u); + z108\0\1 = (3.602u,3.373u); + z108\0\2 = (4.256u,2.403u); + z108\0\3c1 = (4.659u,1.753u); + z108\0\3c2 = (5.227u,0.203u); + z108\0\3 = (6.020u,0.038u); + z108\0\4c1 = (6.272u,-0.014u); + z108\0\4c2 = (6.633u,0.036u); + z108\0\4 = (6.579u,0.377u); + z108\0\5 = (2.387u,5.978u); + z108\0\6c1 = (1.924u,6.359u); + z108\0\6c2 = (1.315u,6.579u); + z108\0\6 = (0.712u,6.487u); + z108\0\7c1 = (0.299u,6.424u); + z108\0\7c2 = (-0.233u,5.947u); + z108\0\7 = (0.109u,5.509u); + z108\0\8c1 = (0.503u,5.008u); + z108\0\8c2 = (2.275u,5.955u); + z108\0\8 = (2.518u,4.693u); + z108\0\9c1 = (2.719u,3.653u); + z108\0\9c2 = (-0.737u,1.450u); + z108\0\9 = (0.527u,0.433u); + z108\0\10c1 = (0.905u,0.129u); + z108\0\10c2 = (1.201u,0.037u); + fill_or_unfill z108\0\0s + --z108\0\0 + --z108\0\1 + --z108\0\2 + ..controls z108\0\3c1 and z108\0\3c2..z108\0\3 + ..controls z108\0\4c1 and z108\0\4c2..z108\0\4 + --z108\0\5 + ..controls z108\0\6c1 and z108\0\6c2..z108\0\6 + ..controls z108\0\7c1 and z108\0\7c2..z108\0\7 + ..controls z108\0\8c1 and z108\0\8c2..z108\0\8 + ..controls z108\0\9c1 and z108\0\9c2..z108\0\9 + ..controls z108\0\10c1 and z108\0\10c2..cycle; + proof_labels ( + 108\0\0, + 108\0\1, + 108\0\2, + 108\0\3, + 108\0\4, + 108\0\5, + 108\0\6, + 108\0\7, + 108\0\8, + 108\0\9, + 108\0\10, +); +endchar; + +beginchar (109, 12.221u#, 5.842u#, 0.000u#); + "mi"; + z109\0\0s = (3.822u,1.319u); + z109\0\0c1 = (4.033u,2.331u); + z109\0\0c2 = (4.842u,2.633u); + z109\0\0 = (4.769u,3.969u); + z109\0\1c1 = (4.649u,6.143u); + z109\0\1c2 = (1.676u,6.202u); + z109\0\1 = (1.454u,3.969u); + z109\0\2c1 = (1.389u,3.316u); + z109\0\2c2 = (1.908u,2.548u); + z109\0\2 = (1.694u,2.057u); + z109\0\3c1 = (1.364u,1.301u); + z109\0\3c2 = (-0.381u,1.571u); + z109\0\3 = (0.075u,0.503u); + z109\0\4c1 = (0.496u,-0.487u); + z109\0\4c2 = (2.441u,0.738u); + z109\0\4 = (2.979u,0.765u); + z109\0\5c1 = (3.342u,0.783u); + z109\0\5c2 = (4.457u,-0.037u); + z109\0\5 = (5.624u,0.000u); + z109\0\6c1 = (6.082u,0.015u); + z109\0\6c2 = (6.976u,0.173u); + z109\0\6 = (7.366u,0.390u); + z109\0\7c1 = (7.651u,0.549u); + z109\0\7c2 = (8.134u,0.971u); + z109\0\7 = (8.399u,1.046u); + z109\0\8c1 = (8.805u,1.160u); + z109\0\8c2 = (9.990u,0.246u); + z109\0\8 = (10.929u,0.235u); + z109\0\9c1 = (11.482u,0.228u); + z109\0\9c2 = (12.241u,0.156u); + z109\0\9 = (12.221u,0.953u); + z109\0\10c1 = (12.215u,1.143u); + z109\0\10c2 = (12.146u,1.309u); + z109\0\10 = (11.975u,1.407u); + z109\0\11c1 = (11.563u,1.644u); + z109\0\11c2 = (9.215u,0.904u); + z109\0\11 = (9.534u,2.284u); + z109\0\12c1 = (9.658u,2.824u); + z109\0\12c2 = (10.033u,3.063u); + z109\0\12 = (10.079u,3.728u); + z109\0\13c1 = (10.290u,6.772u); + z109\0\13c2 = (6.398u,6.313u); + z109\0\13 = (6.615u,3.728u); + z109\0\14 = (7.067u,2.042u); + z109\0\15c1 = (6.977u,1.337u); + z109\0\15c2 = (5.516u,0.888u); + z109\0\15 = (4.906u,0.984u); + fill_or_unfill z109\0\0s + ..controls z109\0\0c1 and z109\0\0c2..z109\0\0 + ..controls z109\0\1c1 and z109\0\1c2..z109\0\1 + ..controls z109\0\2c1 and z109\0\2c2..z109\0\2 + ..controls z109\0\3c1 and z109\0\3c2..z109\0\3 + ..controls z109\0\4c1 and z109\0\4c2..z109\0\4 + ..controls z109\0\5c1 and z109\0\5c2..z109\0\5 + ..controls z109\0\6c1 and z109\0\6c2..z109\0\6 + ..controls z109\0\7c1 and z109\0\7c2..z109\0\7 + ..controls z109\0\8c1 and z109\0\8c2..z109\0\8 + ..controls z109\0\9c1 and z109\0\9c2..z109\0\9 + ..controls z109\0\10c1 and z109\0\10c2..z109\0\10 + ..controls z109\0\11c1 and z109\0\11c2..z109\0\11 + ..controls z109\0\12c1 and z109\0\12c2..z109\0\12 + ..controls z109\0\13c1 and z109\0\13c2..z109\0\13 + --z109\0\14 + ..controls z109\0\15c1 and z109\0\15c2..z109\0\15 + --cycle; + proof_labels ( + 109\0\0, + 109\0\1, + 109\0\2, + 109\0\3, + 109\0\4, + 109\0\5, + 109\0\6, + 109\0\7, + 109\0\8, + 109\0\9, + 109\0\10, + 109\0\11, + 109\0\12, + 109\0\13, + 109\0\14, + 109\0\15, + 109\0\16, +); +endchar; + +beginchar (110, 6.049u#, 5.984u#, 0.000u#); + "ni"; + z110\0\0s = (3.252u,5.085u); + z110\0\0c1 = (2.619u,5.203u); + z110\0\0c2 = (1.295u,5.762u); + z110\0\0 = (0.724u,5.725u); + z110\0\1c1 = (-0.436u,5.650u); + z110\0\1c2 = (0.617u,1.893u); + z110\0\1 = (0.724u,1.110u); + z110\0\2 = (0.000u,1.110u); + z110\0\3c1 = (0.109u,-0.209u); + z110\0\3c2 = (1.979u,-0.180u); + z110\0\3 = (2.195u,0.302u); + z110\0\4 = (1.686u,4.724u); + z110\0\5 = (2.048u,4.362u); + z110\0\6c1 = (4.460u,4.447u); + z110\0\6c2 = (3.141u,1.906u); + z110\0\6 = (3.976u,0.763u); + z110\0\7c1 = (4.293u,0.365u); + z110\0\7c2 = (6.408u,-0.319u); + z110\0\7 = (6.003u,0.763u); + z110\0\8c1 = (5.896u,1.014u); + z110\0\8c2 = (5.523u,1.171u); + z110\0\8 = (5.348u,1.598u); + z110\0\9c1 = (5.141u,2.103u); + z110\0\9c2 = (4.847u,4.461u); + z110\0\9 = (4.818u,5.085u); + z110\0\10c1 = (7.347u,5.118u); + z110\0\10c2 = (3.591u,7.093u); + fill_or_unfill z110\0\0s + ..controls z110\0\0c1 and z110\0\0c2..z110\0\0 + ..controls z110\0\1c1 and z110\0\1c2..z110\0\1 + --z110\0\2 + ..controls z110\0\3c1 and z110\0\3c2..z110\0\3 + --z110\0\4 + --z110\0\5 + ..controls z110\0\6c1 and z110\0\6c2..z110\0\6 + ..controls z110\0\7c1 and z110\0\7c2..z110\0\7 + ..controls z110\0\8c1 and z110\0\8c2..z110\0\8 + ..controls z110\0\9c1 and z110\0\9c2..z110\0\9 + ..controls z110\0\10c1 and z110\0\10c2..cycle; + proof_labels ( + 110\0\0, + 110\0\1, + 110\0\2, + 110\0\3, + 110\0\4, + 110\0\5, + 110\0\6, + 110\0\7, + 110\0\8, + 110\0\9, + 110\0\10, +); +endchar; + +beginchar (111, 5.279u#, 5.292u#, 0.000u#); + "omicron"; + z111\0\0s = (2.067u,5.256u); + z111\0\0c1 = (-0.891u,4.788u); + z111\0\0c2 = (-0.849u,-0.542u); + z111\0\0 = (3.305u,0.044u); + z111\0\1c1 = (6.010u,0.426u); + z111\0\1c2 = (6.243u,5.792u); + z111\1\0s = (1.986u,4.768u); + z111\1\0c1 = (4.674u,5.348u); + z111\1\0c2 = (4.559u,1.137u); + z111\1\0 = (3.183u,0.592u); + z111\1\1c1 = (1.220u,-0.184u); + z111\1\1c2 = (0.197u,3.733u); + fill_or_unfill z111\0\0s + ..controls z111\0\0c1 and z111\0\0c2..z111\0\0 + ..controls z111\0\1c1 and z111\0\1c2..cycle; + fill_or_unfill z111\1\0s + ..controls z111\1\0c1 and z111\1\0c2..z111\1\0 + ..controls z111\1\1c1 and z111\1\1c2..cycle; + proof_labels ( + 111\0\0, + 111\0\1, + 111\1\0, + 111\1\1, +); +endchar; + +beginchar (112, 6.388u#, 5.915u#, 0.000u#); + "pi"; + z112\0\0s = (0.607u,0.361u); + z112\0\0 = (2.293u,0.000u); + z112\0\1 = (1.811u,5.059u); + z112\0\2 = (3.256u,5.059u); + z112\0\3 = (3.618u,4.697u); + z112\0\4c1 = (3.655u,3.884u); + z112\0\4c2 = (3.900u,1.115u); + z112\0\4 = (4.258u,0.499u); + z112\0\5c1 = (4.482u,0.114u); + z112\0\5c2 = (5.827u,-0.162u); + z112\0\5 = (6.179u,0.119u); + z112\0\6c1 = (6.362u,0.266u); + z112\0\6c2 = (6.363u,0.512u); + z112\0\6 = (6.388u,0.722u); + z112\0\7 = (5.628u,1.244u); + z112\0\8 = (5.081u,4.854u); + z112\0\9 = (5.786u,5.420u); + z112\0\10 = (5.407u,5.915u); + z112\0\11 = (0.968u,5.781u); + z112\0\12 = (0.000u,5.511u); + z112\0\13 = (0.601u,4.211u); + z112\0\14 = (0.890u,1.445u); + fill_or_unfill z112\0\0s + --z112\0\0 + --z112\0\1 + --z112\0\2 + --z112\0\3 + ..controls z112\0\4c1 and z112\0\4c2..z112\0\4 + ..controls z112\0\5c1 and z112\0\5c2..z112\0\5 + ..controls z112\0\6c1 and z112\0\6c2..z112\0\6 + --z112\0\7 + --z112\0\8 + --z112\0\9 + --z112\0\10 + --z112\0\11 + --z112\0\12 + --z112\0\13 + --z112\0\14 + --cycle; + proof_labels ( + 112\0\0, + 112\0\1, + 112\0\2, + 112\0\3, + 112\0\4, + 112\0\5, + 112\0\6, + 112\0\7, + 112\0\8, + 112\0\9, + 112\0\10, + 112\0\11, + 112\0\12, + 112\0\13, + 112\0\14, + 112\0\15, +); +endchar; + +beginchar (113, 5.035u#, 7.971u#, 0.000u#); + "scima"; + z113\0\0s = (2.383u,-0.138u); + z113\0\0c1 = (3.043u,0.175u); + z113\0\0c2 = (3.671u,0.126u); + z113\0\0 = (4.262u,0.661u); + z113\0\1c1 = (5.981u,2.221u); + z113\0\1c2 = (4.086u,5.810u); + z113\0\1 = (1.699u,4.698u); + z113\0\2 = (1.567u,4.952u); + z113\0\3c1 = (1.919u,5.185u); + z113\0\3c2 = (2.158u,5.365u); + z113\0\3 = (2.579u,5.477u); + z113\0\4c1 = (9.037u,6.707u); + z113\0\4c2 = (10.092u,7.421u); + z113\0\4 = (9.990u,8.203u); + z113\0\5c1 = (7.949u,7.319u); + z113\0\5c2 = (5.148u,6.931u); + z113\0\5 = (4.566u,6.815u); + z113\0\6c1 = (3.416u,6.588u); + z113\0\6c2 = (2.312u,6.743u); + z113\0\6 = (1.321u,5.939u); + z113\0\7c1 = (-0.087u,4.795u); + z113\0\7c2 = (-0.237u,2.080u); + z113\0\7 = (0.944u,0.731u); + z113\0\8c1 = (1.409u,0.199u); + z113\0\8c2 = (1.805u,0.162u); + z113\1\0s = (1.936u,4.371u); + z113\1\0c1 = (3.721u,4.326u); + z113\1\0c2 = (4.545u,0.768u); + z113\1\0 = (3.011u,0.516u); + z113\1\1c1 = (1.258u,0.228u); + z113\1\1c2 = (0.408u,3.777u); + fill_or_unfill z113\0\0s + ..controls z113\0\0c1 and z113\0\0c2..z113\0\0 + ..controls z113\0\1c1 and z113\0\1c2..z113\0\1 + --z113\0\2 + ..controls z113\0\3c1 and z113\0\3c2..z113\0\3 + ..controls z113\0\4c1 and z113\0\4c2..z113\0\4 + ..controls z113\0\5c1 and z113\0\5c2..z113\0\5 + ..controls z113\0\6c1 and z113\0\6c2..z113\0\6 + ..controls z113\0\7c1 and z113\0\7c2..z113\0\7 + ..controls z113\0\8c1 and z113\0\8c2..cycle; + fill_or_unfill z113\1\0s + ..controls z113\1\0c1 and z113\1\0c2..z113\1\0 + ..controls z113\1\1c1 and z113\1\1c2..cycle; + proof_labels ( + 113\0\0, + 113\0\1, + 113\0\2, + 113\0\3, + 113\0\4, + 113\0\5, + 113\0\6, + 113\0\7, + 113\0\8, + 113\1\0, + 113\1\1, +); +endchar; + +beginchar (114, 5.090u#, 5.396u#, 2.897u#); + "ro"; + z114\0\0s = (1.838u,-2.897u); + z114\0\0c1 = (1.954u,-2.218u); + z114\0\0c2 = (1.647u,-0.784u); + z114\0\0 = (1.980u,-0.285u); + z114\0\1c1 = (2.454u,0.426u); + z114\0\1c2 = (5.135u,-0.964u); + z114\0\1 = (5.090u,2.884u); + z114\0\2c1 = (5.074u,4.222u); + z114\0\2c2 = (3.834u,5.462u); + z114\0\2 = (2.440u,5.396u); + z114\0\3c1 = (2.046u,5.377u); + z114\0\3c2 = (1.735u,5.144u); + z114\0\3 = (1.356u,5.059u); + z114\0\4c1 = (1.004u,5.039u); + z114\0\4c2 = (0.508u,5.238u); + z114\0\4 = (0.208u,5.059u); + z114\0\5c1 = (-0.031u,4.863u); + z114\0\5c2 = (0.005u,4.583u); + z114\0\5 = (0.017u,4.329u); + z114\0\6 = (0.484u,-0.368u); + z114\0\7c1 = (0.516u,-0.673u); + z114\0\7c2 = (0.583u,-1.189u); + z114\0\7 = (0.484u,-1.457u); + z114\0\8c1 = (0.314u,-1.748u); + z114\0\8c2 = (-0.166u,-1.987u); + z114\0\8 = (0.059u,-2.356u); + z114\0\9c1 = (0.370u,-2.864u); + z114\0\9c2 = (1.322u,-2.897u); + z114\1\0s = (2.201u,4.614u); + z114\1\0c1 = (3.898u,4.803u); + z114\1\0c2 = (4.389u,1.279u); + z114\1\0 = (2.801u,0.803u); + z114\1\1c1 = (1.354u,0.368u); + z114\1\1c2 = (0.906u,3.921u); + fill_or_unfill z114\0\0s + ..controls z114\0\0c1 and z114\0\0c2..z114\0\0 + ..controls z114\0\1c1 and z114\0\1c2..z114\0\1 + ..controls z114\0\2c1 and z114\0\2c2..z114\0\2 + ..controls z114\0\3c1 and z114\0\3c2..z114\0\3 + ..controls z114\0\4c1 and z114\0\4c2..z114\0\4 + ..controls z114\0\5c1 and z114\0\5c2..z114\0\5 + --z114\0\6 + ..controls z114\0\7c1 and z114\0\7c2..z114\0\7 + ..controls z114\0\8c1 and z114\0\8c2..z114\0\8 + ..controls z114\0\9c1 and z114\0\9c2..cycle; + fill_or_unfill z114\1\0s + ..controls z114\1\0c1 and z114\1\0c2..z114\1\0 + ..controls z114\1\1c1 and z114\1\1c2..cycle; + proof_labels ( + 114\0\0, + 114\0\1, + 114\0\2, + 114\0\3, + 114\0\4, + 114\0\5, + 114\0\6, + 114\0\7, + 114\0\8, + 114\0\9, + 114\1\0, + 114\1\1, +); +endchar; + +beginchar (116, 8.683u#, 5.894u#, 0.000u#); + "dau"; + z116\0\0s = (1.096u,3.847u); + z116\0\0c1 = (1.158u,4.091u); + z116\0\0c2 = (1.174u,4.578u); + z116\0\0 = (1.309u,4.759u); + z116\0\1c1 = (1.617u,5.169u); + z116\0\1c2 = (3.446u,4.972u); + z116\0\1 = (3.778u,4.620u); + z116\0\2c1 = (4.038u,4.344u); + z116\0\2c2 = (3.992u,3.724u); + z116\0\2 = (3.987u,3.365u); + z116\0\3c1 = (3.970u,2.083u); + z116\0\3c2 = (2.862u,1.876u); + z116\0\3 = (3.182u,0.956u); + z116\0\4c1 = (3.713u,-0.572u); + z116\0\4c2 = (5.729u,-0.142u); + z116\0\4 = (5.912u,1.317u); + z116\0\5c1 = (5.978u,1.848u); + z116\0\5c2 = (5.392u,2.353u); + z116\0\5 = (5.237u,2.883u); + z116\0\6c1 = (5.066u,3.471u); + z116\0\6c2 = (5.000u,4.200u); + z116\0\6 = (4.951u,4.810u); + z116\0\7 = (6.638u,4.906u); + z116\0\8c1 = (7.001u,4.931u); + z116\0\8c2 = (8.497u,5.042u); + z116\0\8 = (8.637u,5.342u); + z116\0\9c1 = (8.909u,5.926u); + z116\0\9c2 = (7.891u,5.894u); + z116\0\9 = (7.601u,5.894u); + z116\0\10 = (0.976u,5.894u); + z116\0\11c1 = (-0.741u,5.865u); + z116\0\11c2 = (0.138u,4.348u); + fill_or_unfill z116\0\0s + ..controls z116\0\0c1 and z116\0\0c2..z116\0\0 + ..controls z116\0\1c1 and z116\0\1c2..z116\0\1 + ..controls z116\0\2c1 and z116\0\2c2..z116\0\2 + ..controls z116\0\3c1 and z116\0\3c2..z116\0\3 + ..controls z116\0\4c1 and z116\0\4c2..z116\0\4 + ..controls z116\0\5c1 and z116\0\5c2..z116\0\5 + ..controls z116\0\6c1 and z116\0\6c2..z116\0\6 + --z116\0\7 + ..controls z116\0\8c1 and z116\0\8c2..z116\0\8 + ..controls z116\0\9c1 and z116\0\9c2..z116\0\9 + --z116\0\10 + ..controls z116\0\11c1 and z116\0\11c2..cycle; + proof_labels ( + 116\0\0, + 116\0\1, + 116\0\2, + 116\0\3, + 116\0\4, + 116\0\5, + 116\0\6, + 116\0\7, + 116\0\8, + 116\0\9, + 116\0\10, + 116\0\11, +); +endchar; + +beginchar (117, 6.723u#, 5.776u#, 0.000u#); + "ue"; + z117\0\0s = (0.942u,5.776u); + z117\0\0c1 = (0.522u,5.439u); + z117\0\0c2 = (-0.283u,5.009u); + z117\0\0 = (0.101u,4.348u); + z117\0\1c1 = (0.884u,3.002u); + z117\0\1c2 = (1.774u,5.425u); + z117\0\1 = (2.807u,4.283u); + z117\0\2c1 = (3.388u,3.641u); + z117\0\2c2 = (1.264u,2.288u); + z117\0\2 = (3.056u,0.528u); + z117\0\3c1 = (3.436u,0.154u); + z117\0\3c2 = (3.763u,-0.045u); + z117\0\3 = (4.313u,0.008u); + z117\0\4c1 = (6.383u,0.206u); + z117\0\4c2 = (4.367u,3.380u); + z117\0\4 = (5.412u,3.958u); + z117\0\5c1 = (5.753u,4.132u); + z117\0\5c2 = (6.336u,3.987u); + z117\0\5 = (6.723u,3.958u); + z117\0\6c1 = (6.631u,4.525u); + z117\0\6c2 = (6.474u,4.889u); + z117\0\6 = (5.998u,5.233u); + z117\0\7c1 = (4.911u,6.019u); + z117\0\7c2 = (4.410u,4.772u); + z117\0\7 = (3.712u,4.764u); + fill_or_unfill z117\0\0s + ..controls z117\0\0c1 and z117\0\0c2..z117\0\0 + ..controls z117\0\1c1 and z117\0\1c2..z117\0\1 + ..controls z117\0\2c1 and z117\0\2c2..z117\0\2 + ..controls z117\0\3c1 and z117\0\3c2..z117\0\3 + ..controls z117\0\4c1 and z117\0\4c2..z117\0\4 + ..controls z117\0\5c1 and z117\0\5c2..z117\0\5 + ..controls z117\0\6c1 and z117\0\6c2..z117\0\6 + ..controls z117\0\7c1 and z117\0\7c2..z117\0\7 + --cycle; + proof_labels ( + 117\0\0, + 117\0\1, + 117\0\2, + 117\0\3, + 117\0\4, + 117\0\5, + 117\0\6, + 117\0\7, + 117\0\8, +); +endchar; + +beginchar (119, 8.428u#, 5.273u#, 0.000u#); + "omega"; + z119\0\0s = (1.807u,5.178u); + z119\0\0c1 = (0.279u,5.326u); + z119\0\0c2 = (0.015u,4.310u); + z119\0\0 = (0.000u,3.009u); + z119\0\1c1 = (-0.019u,1.279u); + z119\0\1c2 = (0.963u,-0.562u); + z119\0\1 = (3.011u,0.207u); + z119\0\2c1 = (3.347u,0.333u); + z119\0\2c2 = (3.733u,0.766u); + z119\0\2 = (4.075u,0.736u); + z119\0\3c1 = (4.333u,0.714u); + z119\0\3c2 = (4.858u,0.201u); + z119\0\3 = (5.300u,0.085u); + z119\0\4c1 = (7.124u,-0.396u); + z119\0\4c2 = (8.362u,1.248u); + z119\0\4 = (8.427u,2.889u); + z119\0\5c1 = (8.462u,3.780u); + z119\0\5c2 = (8.052u,5.412u); + z119\0\5 = (6.867u,5.266u); + z119\0\6c1 = (6.624u,5.236u); + z119\0\6c2 = (6.412u,5.125u); + z119\0\6 = (6.300u,4.909u); + z119\0\7c1 = (6.125u,4.638u); + z119\0\7c2 = (6.177u,4.360u); + z119\0\7 = (6.300u,4.094u); + z119\0\8c1 = (6.740u,3.279u); + z119\0\8c2 = (8.203u,2.123u); + z119\0\8 = (6.854u,1.202u); + z119\0\9c1 = (6.544u,1.023u); + z119\0\9c2 = (6.125u,1.025u); + z119\0\9 = (5.792u,1.202u); + z119\0\10c1 = (3.931u,2.011u); + z119\0\10c2 = (5.665u,4.731u); + z119\0\10 = (4.194u,5.219u); + z119\0\11c1 = (3.699u,5.383u); + z119\0\11c2 = (3.412u,4.847u); + z119\0\11 = (3.316u,4.455u); + z119\0\12c1 = (3.106u,3.596u); + z119\0\12c2 = (3.648u,2.109u); + z119\0\12 = (3.247u,1.464u); + z119\0\13c1 = (2.495u,0.256u); + z119\0\13c2 = (0.897u,0.826u); + z119\0\13 = (0.968u,2.407u); + z119\0\14c1 = (1.017u,3.481u); + z119\0\14c2 = (1.770u,3.720u); + fill_or_unfill z119\0\0s + ..controls z119\0\0c1 and z119\0\0c2..z119\0\0 + ..controls z119\0\1c1 and z119\0\1c2..z119\0\1 + ..controls z119\0\2c1 and z119\0\2c2..z119\0\2 + ..controls z119\0\3c1 and z119\0\3c2..z119\0\3 + ..controls z119\0\4c1 and z119\0\4c2..z119\0\4 + ..controls z119\0\5c1 and z119\0\5c2..z119\0\5 + ..controls z119\0\6c1 and z119\0\6c2..z119\0\6 + ..controls z119\0\7c1 and z119\0\7c2..z119\0\7 + ..controls z119\0\8c1 and z119\0\8c2..z119\0\8 + ..controls z119\0\9c1 and z119\0\9c2..z119\0\9 + ..controls z119\0\10c1 and z119\0\10c2..z119\0\10 + ..controls z119\0\11c1 and z119\0\11c2..z119\0\11 + ..controls z119\0\12c1 and z119\0\12c2..z119\0\12 + ..controls z119\0\13c1 and z119\0\13c2..z119\0\13 + ..controls z119\0\14c1 and z119\0\14c2..cycle; + proof_labels ( + 119\0\0, + 119\0\1, + 119\0\2, + 119\0\3, + 119\0\4, + 119\0\5, + 119\0\6, + 119\0\7, + 119\0\8, + 119\0\9, + 119\0\10, + 119\0\11, + 119\0\12, + 119\0\13, + 119\0\14, +); +endchar; + +beginchar (120, 11.637u#, 7.302u#, 1.087u#); + "chi"; + z120\0\0s = (1.897u,5.876u); + z120\0\0 = (1.897u,6.237u); + z120\0\1c1 = (2.873u,6.424u); + z120\0\1c2 = (2.951u,6.144u); + z120\0\1 = (3.695u,5.589u); + z120\0\2c1 = (4.075u,5.305u); + z120\0\2c2 = (5.023u,4.320u); + z120\0\2 = (5.047u,3.828u); + z120\0\3c1 = (5.085u,3.024u); + z120\0\3c2 = (2.502u,-0.370u); + z120\0\3 = (1.719u,-0.119u); + z120\0\4c1 = (1.338u,0.003u); + z120\0\4c2 = (1.861u,0.580u); + z120\0\4 = (1.277u,0.828u); + z120\0\5c1 = (0.706u,1.071u); + z120\0\5c2 = (0.122u,0.676u); + z120\0\5 = (0.022u,0.094u); + z120\0\6c1 = (-0.225u,-1.347u); + z120\0\6c2 = (1.650u,-1.128u); + z120\0\6 = (2.499u,-0.977u); + z120\0\7c1 = (3.908u,-0.728u); + z120\0\7c2 = (5.341u,1.061u); + z120\0\7 = (5.992u,2.262u); + z120\0\8 = (6.233u,2.262u); + z120\0\9c1 = (6.776u,0.843u); + z120\0\9c2 = (9.512u,-2.100u); + z120\0\9 = (11.159u,-0.711u); + z120\0\10c1 = (11.927u,-0.063u); + z120\0\10c2 = (11.765u,1.496u); + z120\0\10 = (10.703u,1.242u); + z120\0\11c1 = (10.030u,1.080u); + z120\0\11c2 = (10.469u,0.320u); + z120\0\11 = (9.959u,0.199u); + z120\0\12c1 = (9.223u,0.025u); + z120\0\12c2 = (6.861u,2.755u); + z120\0\12 = (6.968u,3.518u); + z120\0\13c1 = (7.074u,4.281u); + z120\0\13c2 = (8.458u,6.276u); + z120\0\13 = (9.240u,6.450u); + z120\0\14c1 = (9.706u,6.554u); + z120\0\14c2 = (10.588u,5.445u); + z120\0\14 = (10.852u,6.155u); + z120\0\15c1 = (11.204u,7.100u); + z120\0\15c2 = (9.634u,7.401u); + z120\0\15 = (9.004u,7.276u); + z120\0\16c1 = (6.915u,6.861u); + z120\0\16c2 = (6.136u,5.074u); + z120\0\16 = (5.734u,4.953u); + z120\0\17c1 = (5.289u,4.818u); + z120\0\17c2 = (3.885u,6.968u); + z120\0\17 = (2.379u,6.845u); + z120\0\18c1 = (0.574u,6.697u); + z120\0\18c2 = (0.613u,4.628u); + z120\0\18 = (1.770u,4.836u); + z120\0\19c1 = (2.369u,4.944u); + z120\0\19c2 = (2.334u,5.583u); + fill_or_unfill z120\0\0s + --z120\0\0 + ..controls z120\0\1c1 and z120\0\1c2..z120\0\1 + ..controls z120\0\2c1 and z120\0\2c2..z120\0\2 + ..controls z120\0\3c1 and z120\0\3c2..z120\0\3 + ..controls z120\0\4c1 and z120\0\4c2..z120\0\4 + ..controls z120\0\5c1 and z120\0\5c2..z120\0\5 + ..controls z120\0\6c1 and z120\0\6c2..z120\0\6 + ..controls z120\0\7c1 and z120\0\7c2..z120\0\7 + --z120\0\8 + ..controls z120\0\9c1 and z120\0\9c2..z120\0\9 + ..controls z120\0\10c1 and z120\0\10c2..z120\0\10 + ..controls z120\0\11c1 and z120\0\11c2..z120\0\11 + ..controls z120\0\12c1 and z120\0\12c2..z120\0\12 + ..controls z120\0\13c1 and z120\0\13c2..z120\0\13 + ..controls z120\0\14c1 and z120\0\14c2..z120\0\14 + ..controls z120\0\15c1 and z120\0\15c2..z120\0\15 + ..controls z120\0\16c1 and z120\0\16c2..z120\0\16 + ..controls z120\0\17c1 and z120\0\17c2..z120\0\17 + ..controls z120\0\18c1 and z120\0\18c2..z120\0\18 + ..controls z120\0\19c1 and z120\0\19c2..cycle; + proof_labels ( + 120\0\0, + 120\0\1, + 120\0\2, + 120\0\3, + 120\0\4, + 120\0\5, + 120\0\6, + 120\0\7, + 120\0\8, + 120\0\9, + 120\0\10, + 120\0\11, + 120\0\12, + 120\0\13, + 120\0\14, + 120\0\15, + 120\0\16, + 120\0\17, + 120\0\18, + 120\0\19, +); +endchar; + +beginchar (121, 9.058u#, 5.258u#, 2.540u#); + "schei"; + z121\0\0s = (1.807u,5.178u); + z121\0\0c1 = (0.279u,5.326u); + z121\0\0c2 = (0.015u,4.310u); + z121\0\0 = (0.000u,3.009u); + z121\0\1c1 = (-0.019u,1.279u); + z121\0\1c2 = (0.963u,-0.562u); + z121\0\1 = (3.011u,0.207u); + z121\0\2c1 = (3.347u,0.333u); + z121\0\2c2 = (3.733u,0.766u); + z121\0\2 = (4.075u,0.736u); + z121\0\3c1 = (4.333u,0.714u); + z121\0\3c2 = (4.858u,0.201u); + z121\0\3 = (5.300u,0.085u); + z121\0\4c1 = (5.870u,-0.197u); + z121\0\4c2 = (7.769u,0.253u); + z121\0\4 = (7.848u,1.154u); + z121\0\5 = (7.417u,1.585u); + z121\0\6c1 = (6.544u,1.023u); + z121\0\6c2 = (6.125u,1.025u); + z121\0\6 = (5.792u,1.202u); + z121\0\7c1 = (3.931u,2.011u); + z121\0\7c2 = (5.665u,4.731u); + z121\0\7 = (4.194u,5.219u); + z121\0\8c1 = (3.699u,5.383u); + z121\0\8c2 = (3.412u,4.847u); + z121\0\8 = (3.316u,4.455u); + z121\0\9c1 = (3.106u,3.596u); + z121\0\9c2 = (3.648u,2.109u); + z121\0\9 = (3.247u,1.464u); + z121\0\10c1 = (2.495u,0.256u); + z121\0\10c2 = (0.897u,0.826u); + z121\0\10 = (0.968u,2.407u); + z121\0\11c1 = (1.017u,3.481u); + z121\0\11c2 = (1.770u,3.720u); + z121\1\0s = (7.344u,5.258u); + z121\1\0 = (7.259u,0.980u); + z121\1\1c1 = (7.234u,-1.747u); + z121\1\1c2 = (5.049u,-0.468u); + z121\1\1 = (4.181u,-0.377u); + z121\1\2c1 = (2.837u,-0.235u); + z121\1\2c2 = (1.084u,-0.838u); + z121\1\2 = (1.086u,-2.540u); + z121\1\3c1 = (2.151u,-1.524u); + z121\1\3c2 = (3.316u,-1.383u); + z121\1\3 = (4.556u,-1.449u); + z121\1\4c1 = (5.622u,-1.506u); + z121\1\4c2 = (8.530u,-2.219u); + z121\1\4 = (8.492u,1.012u); + z121\1\5 = (8.563u,4.665u); + z121\1\6 = (9.058u,5.258u); + fill_or_unfill z121\0\0s + ..controls z121\0\0c1 and z121\0\0c2..z121\0\0 + ..controls z121\0\1c1 and z121\0\1c2..z121\0\1 + ..controls z121\0\2c1 and z121\0\2c2..z121\0\2 + ..controls z121\0\3c1 and z121\0\3c2..z121\0\3 + ..controls z121\0\4c1 and z121\0\4c2..z121\0\4 + --z121\0\5 + ..controls z121\0\6c1 and z121\0\6c2..z121\0\6 + ..controls z121\0\7c1 and z121\0\7c2..z121\0\7 + ..controls z121\0\8c1 and z121\0\8c2..z121\0\8 + ..controls z121\0\9c1 and z121\0\9c2..z121\0\9 + ..controls z121\0\10c1 and z121\0\10c2..z121\0\10 + ..controls z121\0\11c1 and z121\0\11c2..cycle; + fill_or_unfill z121\1\0s + --z121\1\0 + ..controls z121\1\1c1 and z121\1\1c2..z121\1\1 + ..controls z121\1\2c1 and z121\1\2c2..z121\1\2 + ..controls z121\1\3c1 and z121\1\3c2..z121\1\3 + ..controls z121\1\4c1 and z121\1\4c2..z121\1\4 + --z121\1\5 + --z121\1\6 + --cycle; + proof_labels ( + 121\0\0, + 121\0\1, + 121\0\2, + 121\0\3, + 121\0\4, + 121\0\5, + 121\0\6, + 121\0\7, + 121\0\8, + 121\0\9, + 121\0\10, + 121\0\11, + 121\1\0, + 121\1\1, + 121\1\2, + 121\1\3, + 121\1\4, + 121\1\5, + 121\1\6, + 121\1\7, +); +endchar; + +beginchar (122, 5.344u#, 6.000u#, 2.233u#); + "zida"; + z122\0\0s = (4.020u,5.154u); + z122\0\0c1 = (2.817u,4.378u); + z122\0\0c2 = (0.238u,3.144u); + z122\0\0 = (0.200u,1.540u); + z122\0\1c1 = (0.190u,1.132u); + z122\0\1c2 = (0.417u,0.725u); + z122\0\1 = (0.527u,0.336u); + z122\0\2 = (2.574u,-0.348u); + z122\0\3c1 = (2.894u,-0.443u); + z122\0\3c2 = (3.293u,-0.430u); + z122\0\3 = (3.583u,-0.588u); + z122\0\4c1 = (4.814u,-1.260u); + z122\0\4c2 = (3.167u,-1.469u); + z122\0\4 = (2.695u,-1.471u); + z122\0\5c1 = (2.675u,-2.550u); + z122\0\5c2 = (4.154u,-2.324u); + z122\0\5 = (4.676u,-1.774u); + z122\0\6c1 = (6.789u,0.451u); + z122\0\6c2 = (2.375u,0.867u); + z122\0\6 = (1.129u,1.058u); + z122\0\7c1 = (1.765u,3.342u); + z122\0\7c2 = (5.033u,4.672u); + z122\0\7 = (5.337u,5.305u); + z122\0\8c1 = (5.713u,6.088u); + z122\0\8c2 = (4.413u,5.997u); + z122\0\8 = (4.020u,5.997u); + z122\0\9 = (0.433u,5.731u); + z122\0\10c1 = (-0.136u,5.520u); + z122\0\10c2 = (-0.023u,4.510u); + z122\0\10 = (0.557u,4.391u); + z122\0\11c1 = (0.935u,4.313u); + z122\0\11c2 = (1.161u,4.825u); + z122\0\11 = (1.503u,4.961u); + fill_or_unfill z122\0\0s + ..controls z122\0\0c1 and z122\0\0c2..z122\0\0 + ..controls z122\0\1c1 and z122\0\1c2..z122\0\1 + --z122\0\2 + ..controls z122\0\3c1 and z122\0\3c2..z122\0\3 + ..controls z122\0\4c1 and z122\0\4c2..z122\0\4 + ..controls z122\0\5c1 and z122\0\5c2..z122\0\5 + ..controls z122\0\6c1 and z122\0\6c2..z122\0\6 + ..controls z122\0\7c1 and z122\0\7c2..z122\0\7 + ..controls z122\0\8c1 and z122\0\8c2..z122\0\8 + --z122\0\9 + ..controls z122\0\10c1 and z122\0\10c2..z122\0\10 + ..controls z122\0\11c1 and z122\0\11c2..z122\0\11 + --cycle; + proof_labels ( + 122\0\0, + 122\0\1, + 122\0\2, + 122\0\3, + 122\0\4, + 122\0\5, + 122\0\6, + 122\0\7, + 122\0\8, + 122\0\9, + 122\0\10, + 122\0\11, + 122\0\12, +); +endchar; + +beginchar (200, 7.163u#, 8.367u#, 0.000u#); + ".notdef"; + z200\0\0s = (2.293u,8.220u); + z200\0\0c1 = (-1.042u,6.806u); + z200\0\0c2 = (-0.782u,0.112u); + z200\0\0 = (3.327u,0.010u); + z200\0\1c1 = (3.821u,-0.003u); + z200\0\1c2 = (4.291u,-0.031u); + z200\0\1 = (4.768u,0.137u); + z200\0\2c1 = (8.517u,1.462u); + z200\0\2c2 = (7.993u,9.591u); + z200\1\0s = (2.908u,7.897u); + z200\1\0c1 = (5.370u,8.433u); + z200\1\0c2 = (6.168u,5.268u); + z200\1\0 = (5.415u,4.631u); + z200\1\1c1 = (5.119u,4.379u); + z200\1\1c2 = (4.615u,4.403u); + z200\1\1 = (4.246u,4.393u); + z200\1\2c1 = (3.638u,4.377u); + z200\1\2c2 = (1.582u,4.329u); + z200\1\2 = (1.431u,5.023u); + z200\1\3c1 = (1.208u,6.053u); + z200\1\3c2 = (1.990u,7.468u); + z200\2\0s = (1.384u,3.562u); + z200\2\0c1 = (1.990u,3.843u); + z200\2\0c2 = (3.103u,3.881u); + z200\2\0 = (3.784u,3.855u); + z200\2\1c1 = (4.170u,3.840u); + z200\2\1c2 = (5.236u,3.797u); + z200\2\1 = (5.515u,3.531u); + z200\2\2c1 = (5.772u,3.244u); + z200\2\2c2 = (5.655u,2.853u); + z200\2\2 = (5.553u,2.515u); + z200\2\3c1 = (5.046u,0.393u); + z200\2\3c2 = (2.926u,-0.353u); + z200\2\3 = (1.793u,1.770u); + z200\2\4c1 = (1.492u,2.336u); + z200\2\4c2 = (1.453u,2.941u); + fill_or_unfill z200\0\0s + ..controls z200\0\0c1 and z200\0\0c2..z200\0\0 + ..controls z200\0\1c1 and z200\0\1c2..z200\0\1 + ..controls z200\0\2c1 and z200\0\2c2..cycle; + fill_or_unfill z200\1\0s + ..controls z200\1\0c1 and z200\1\0c2..z200\1\0 + ..controls z200\1\1c1 and z200\1\1c2..z200\1\1 + ..controls z200\1\2c1 and z200\1\2c2..z200\1\2 + ..controls z200\1\3c1 and z200\1\3c2..cycle; + fill_or_unfill z200\2\0s + ..controls z200\2\0c1 and z200\2\0c2..z200\2\0 + ..controls z200\2\1c1 and z200\2\1c2..z200\2\1 + ..controls z200\2\2c1 and z200\2\2c2..z200\2\2 + ..controls z200\2\3c1 and z200\2\3c2..z200\2\3 + ..controls z200\2\4c1 and z200\2\4c2..cycle; + proof_labels ( + 200\0\0, + 200\0\1, + 200\0\2, + 200\1\0, + 200\1\1, + 200\1\2, + 200\1\3, + 200\2\0, + 200\2\1, + 200\2\2, + 200\2\3, + 200\2\4, +); +endchar; + +beginchar (201, 7.340u#, 4.887u#, 3.621u#); + "Thida"; + z201\0\0s = (2.410u,2.701u); + z201\0\0 = (1.567u,1.978u); + z201\0\1c1 = (1.753u,1.244u); + z201\0\1c2 = (2.245u,0.975u); + z201\0\1 = (2.892u,0.653u); + z201\0\2c1 = (2.258u,-0.157u); + z201\0\2c2 = (1.512u,-0.298u); + z201\0\2 = (0.725u,-0.872u); + z201\0\3c1 = (-0.574u,-1.820u); + z201\0\3c2 = (-0.532u,-3.273u); + z201\0\3 = (1.205u,-3.569u); + z201\0\4c1 = (3.088u,-3.888u); + z201\0\4c2 = (4.161u,-2.641u); + z201\0\4 = (5.627u,-2.636u); + z201\0\5c1 = (6.123u,-2.634u); + z201\0\5c2 = (6.469u,-3.089u); + z201\0\5 = (6.746u,-3.442u); + z201\0\6 = (6.987u,-3.442u); + z201\0\7c1 = (7.574u,-2.173u); + z201\0\7c2 = (6.597u,-1.550u); + z201\0\7 = (5.426u,-1.426u); + z201\0\8c1 = (4.156u,-1.291u); + z201\0\8c2 = (2.826u,-2.700u); + z201\0\8 = (1.446u,-2.719u); + z201\0\9 = (0.724u,-2.719u); + z201\0\10c1 = (1.102u,-1.307u); + z201\0\10c2 = (3.829u,-0.708u); + z201\0\10 = (5.060u,-0.190u); + z201\0\11 = (5.060u,0.171u); + z201\0\12 = (3.253u,1.376u); + z201\0\13c1 = (3.826u,2.163u); + z201\0\13c2 = (6.182u,3.358u); + z201\0\13 = (6.279u,3.908u); + z201\0\14c1 = (6.394u,4.554u); + z201\0\14c2 = (5.137u,4.698u); + z201\0\14 = (4.698u,4.764u); + z201\0\15c1 = (3.888u,4.886u); + z201\0\15c2 = (1.797u,5.013u); + z201\0\15 = (1.099u,4.638u); + z201\0\16c1 = (-0.366u,3.850u); + z201\0\16c2 = (1.490u,2.754u); + z201\1\0s = (4.457u,4.146u); + z201\1\0c1 = (4.198u,3.117u); + z201\1\0c2 = (3.193u,3.334u); + z201\1\0 = (2.410u,3.664u); + z201\1\1c1 = (2.976u,4.327u); + z201\1\1c2 = (3.661u,4.146u); + fill_or_unfill z201\0\0s + --z201\0\0 + ..controls z201\0\1c1 and z201\0\1c2..z201\0\1 + ..controls z201\0\2c1 and z201\0\2c2..z201\0\2 + ..controls z201\0\3c1 and z201\0\3c2..z201\0\3 + ..controls z201\0\4c1 and z201\0\4c2..z201\0\4 + ..controls z201\0\5c1 and z201\0\5c2..z201\0\5 + --z201\0\6 + ..controls z201\0\7c1 and z201\0\7c2..z201\0\7 + ..controls z201\0\8c1 and z201\0\8c2..z201\0\8 + --z201\0\9 + ..controls z201\0\10c1 and z201\0\10c2..z201\0\10 + --z201\0\11 + --z201\0\12 + ..controls z201\0\13c1 and z201\0\13c2..z201\0\13 + ..controls z201\0\14c1 and z201\0\14c2..z201\0\14 + ..controls z201\0\15c1 and z201\0\15c2..z201\0\15 + ..controls z201\0\16c1 and z201\0\16c2..cycle; + fill_or_unfill z201\1\0s + ..controls z201\1\0c1 and z201\1\0c2..z201\1\0 + ..controls z201\1\1c1 and z201\1\1c2..cycle; + proof_labels ( + 201\0\0, + 201\0\1, + 201\0\2, + 201\0\3, + 201\0\4, + 201\0\5, + 201\0\6, + 201\0\7, + 201\0\8, + 201\0\9, + 201\0\10, + 201\0\11, + 201\0\12, + 201\0\13, + 201\0\14, + 201\0\15, + 201\0\16, + 201\1\0, + 201\1\1, +); +endchar; + +beginchar (202, 9.181u#, 5.401u#, 4.746u#); + "exi"; + z202\0\0s = (3.168u,4.332u); + z202\0\0 = (4.613u,4.706u); + z202\0\1c1 = (4.882u,4.743u); + z202\0\1c2 = (7.362u,4.895u); + z202\0\1 = (6.718u,4.158u); + z202\0\2c1 = (6.156u,3.515u); + z202\0\2c2 = (1.537u,2.511u); + z202\0\2 = (0.638u,1.078u); + z202\0\3 = (4.733u,0.357u); + z202\0\4c1 = (3.443u,-0.595u); + z202\0\4c2 = (1.615u,-0.586u); + z202\0\4 = (0.464u,-1.868u); + z202\0\5c1 = (-0.816u,-3.295u); + z202\0\5c2 = (0.801u,-4.368u); + z202\0\5 = (2.084u,-4.682u); + z202\0\6c1 = (3.928u,-5.133u); + z202\0\6c2 = (6.717u,-3.102u); + z202\0\6 = (7.486u,-3.506u); + z202\0\7c1 = (7.972u,-3.762u); + z202\0\7c2 = (7.768u,-4.345u); + z202\0\7 = (8.074u,-4.583u); + z202\0\8c1 = (8.363u,-4.807u); + z202\0\8c2 = (8.781u,-4.590u); + z202\0\8 = (8.951u,-4.324u); + z202\0\9c1 = (9.638u,-3.251u); + z202\0\9c2 = (8.652u,-2.819u); + z202\0\9 = (7.745u,-2.781u); + z202\0\10c1 = (7.253u,-2.760u); + z202\0\10c2 = (5.905u,-2.850u); + z202\0\10 = (5.456u,-2.987u); + z202\0\11c1 = (4.498u,-3.280u); + z202\0\11c2 = (3.460u,-3.913u); + z202\0\11 = (2.445u,-3.966u); + z202\0\12c1 = (1.797u,-3.999u); + z202\0\12c2 = (0.867u,-3.404u); + z202\0\12 = (1.433u,-2.711u); + z202\0\13c1 = (1.830u,-2.224u); + z202\0\13c2 = (2.935u,-2.029u); + z202\0\13 = (3.529u,-1.805u); + z202\0\14 = (5.577u,-1.002u); + z202\0\15c1 = (6.541u,-0.605u); + z202\0\15c2 = (7.460u,-0.273u); + z202\0\15 = (8.467u,-0.006u); + z202\0\16 = (8.467u,0.357u); + z202\0\17c1 = (7.461u,0.540u); + z202\0\17c2 = (4.392u,0.860u); + z202\0\17 = (3.770u,1.441u); + z202\0\18c1 = (4.511u,1.734u); + z202\0\18c2 = (5.251u,2.120u); + z202\0\18 = (5.938u,2.525u); + z202\0\19c1 = (6.488u,2.850u); + z202\0\19c2 = (8.359u,3.654u); + z202\0\19 = (8.631u,4.026u); + z202\0\20c1 = (9.206u,4.815u); + z202\0\20c2 = (7.571u,5.072u); + z202\0\20 = (7.142u,5.175u); + z202\0\21c1 = (6.306u,5.375u); + z202\0\21c2 = (1.204u,5.684u); + z202\0\21 = (0.813u,4.866u); + z202\0\22c1 = (0.634u,4.494u); + z202\0\22c2 = (2.824u,2.281u); + fill_or_unfill z202\0\0s + --z202\0\0 + ..controls z202\0\1c1 and z202\0\1c2..z202\0\1 + ..controls z202\0\2c1 and z202\0\2c2..z202\0\2 + --z202\0\3 + ..controls z202\0\4c1 and z202\0\4c2..z202\0\4 + ..controls z202\0\5c1 and z202\0\5c2..z202\0\5 + ..controls z202\0\6c1 and z202\0\6c2..z202\0\6 + ..controls z202\0\7c1 and z202\0\7c2..z202\0\7 + ..controls z202\0\8c1 and z202\0\8c2..z202\0\8 + ..controls z202\0\9c1 and z202\0\9c2..z202\0\9 + ..controls z202\0\10c1 and z202\0\10c2..z202\0\10 + ..controls z202\0\11c1 and z202\0\11c2..z202\0\11 + ..controls z202\0\12c1 and z202\0\12c2..z202\0\12 + ..controls z202\0\13c1 and z202\0\13c2..z202\0\13 + --z202\0\14 + ..controls z202\0\15c1 and z202\0\15c2..z202\0\15 + --z202\0\16 + ..controls z202\0\17c1 and z202\0\17c2..z202\0\17 + ..controls z202\0\18c1 and z202\0\18c2..z202\0\18 + ..controls z202\0\19c1 and z202\0\19c2..z202\0\19 + ..controls z202\0\20c1 and z202\0\20c2..z202\0\20 + ..controls z202\0\21c1 and z202\0\21c2..z202\0\21 + ..controls z202\0\22c1 and z202\0\22c2..cycle; + proof_labels ( + 202\0\0, + 202\0\1, + 202\0\2, + 202\0\3, + 202\0\4, + 202\0\5, + 202\0\6, + 202\0\7, + 202\0\8, + 202\0\9, + 202\0\10, + 202\0\11, + 202\0\12, + 202\0\13, + 202\0\14, + 202\0\15, + 202\0\16, + 202\0\17, + 202\0\18, + 202\0\19, + 202\0\20, + 202\0\21, + 202\0\22, +); +endchar; + +beginchar (203, 6.720u#, 7.463u#, 1.087u#); + "Exi"; + z203\0\0s = (2.248u,7.463u); + z203\0\0 = (2.679u,5.776u); + z203\0\1 = (2.679u,4.572u); + z203\0\2 = (2.809u,3.488u); + z203\0\3 = (2.729u,1.681u); + z203\0\4c1 = (1.944u,1.727u); + z203\0\4c2 = (0.615u,2.598u); + z203\0\4 = (1.092u,3.522u); + z203\0\5c1 = (1.246u,3.821u); + z203\0\5c2 = (1.617u,3.811u); + z203\0\5 = (1.870u,3.970u); + z203\0\6c1 = (2.318u,4.252u); + z203\0\6c2 = (2.506u,5.210u); + z203\0\6 = (1.870u,5.352u); + z203\0\7c1 = (0.476u,5.664u); + z203\0\7c2 = (-0.273u,3.857u); + z203\0\7 = (0.092u,2.765u); + z203\0\8c1 = (0.639u,1.131u); + z203\0\8c2 = (1.319u,1.551u); + z203\0\8 = (2.471u,0.837u); + z203\0\9c1 = (2.998u,0.512u); + z203\0\9c2 = (2.756u,0.162u); + z203\0\9 = (3.572u,-0.125u); + z203\0\10 = (2.850u,-0.849u); + z203\0\11c1 = (4.583u,-1.794u); + z203\0\11c2 = (6.337u,0.348u); + z203\0\11 = (4.174u,0.838u); + z203\0\12c1 = (4.848u,1.220u); + z203\0\12c2 = (5.617u,1.497u); + z203\0\12 = (6.136u,2.098u); + z203\0\13c1 = (7.644u,3.844u); + z203\0\13c2 = (5.998u,5.608u); + z203\0\13 = (4.053u,5.656u); + z203\0\14c1 = (4.473u,4.923u); + z203\0\14c2 = (5.507u,4.419u); + z203\0\14 = (5.399u,3.488u); + z203\0\15c1 = (5.377u,3.298u); + z203\0\15c2 = (5.285u,2.774u); + z203\0\15 = (5.205u,2.612u); + z203\0\16c1 = (4.985u,2.165u); + z203\0\16c2 = (4.189u,1.613u); + z203\0\16 = (3.922u,2.359u); + z203\0\17c1 = (3.821u,2.761u); + z203\0\17c2 = (3.815u,6.018u); + z203\0\17 = (3.922u,6.499u); + z203\0\18 = (4.174u,7.463u); + fill_or_unfill z203\0\0s + --z203\0\0 + --z203\0\1 + --z203\0\2 + --z203\0\3 + ..controls z203\0\4c1 and z203\0\4c2..z203\0\4 + ..controls z203\0\5c1 and z203\0\5c2..z203\0\5 + ..controls z203\0\6c1 and z203\0\6c2..z203\0\6 + ..controls z203\0\7c1 and z203\0\7c2..z203\0\7 + ..controls z203\0\8c1 and z203\0\8c2..z203\0\8 + ..controls z203\0\9c1 and z203\0\9c2..z203\0\9 + --z203\0\10 + ..controls z203\0\11c1 and z203\0\11c2..z203\0\11 + ..controls z203\0\12c1 and z203\0\12c2..z203\0\12 + ..controls z203\0\13c1 and z203\0\13c2..z203\0\13 + ..controls z203\0\14c1 and z203\0\14c2..z203\0\14 + ..controls z203\0\15c1 and z203\0\15c2..z203\0\15 + ..controls z203\0\16c1 and z203\0\16c2..z203\0\16 + ..controls z203\0\17c1 and z203\0\17c2..z203\0\17 + --z203\0\18 + --cycle; + proof_labels ( + 203\0\0, + 203\0\1, + 203\0\2, + 203\0\3, + 203\0\4, + 203\0\5, + 203\0\6, + 203\0\7, + 203\0\8, + 203\0\9, + 203\0\10, + 203\0\11, + 203\0\12, + 203\0\13, + 203\0\14, + 203\0\15, + 203\0\16, + 203\0\17, + 203\0\18, + 203\0\19, +); +endchar; + +beginchar (204, 9.516u#, 8.913u#, 0.000u#); + "phi"; + z204\0\0s = (2.770u,8.793u); + z204\0\0c1 = (3.109u,7.823u); + z204\0\0c2 = (3.847u,8.812u); + z204\0\0 = (3.854u,6.986u); + z204\0\1c1 = (3.066u,6.981u); + z204\0\1c2 = (2.146u,6.881u); + z204\0\1 = (1.459u,6.453u); + z204\0\2c1 = (1.118u,6.241u); + z204\0\2c2 = (1.016u,5.959u); + z204\0\2 = (0.777u,5.666u); + z204\0\3c1 = (0.236u,5.003u); + z204\0\3c2 = (-0.626u,4.179u); + z204\0\3 = (0.843u,3.734u); + z204\0\4c1 = (1.062u,1.688u); + z204\0\4c2 = (2.755u,2.647u); + z204\0\4 = (3.596u,2.147u); + z204\0\5c1 = (4.536u,1.588u); + z204\0\5c2 = (3.465u,0.809u); + z204\0\5 = (2.891u,0.602u); + z204\0\6 = (2.887u,0.017u); + z204\0\7 = (6.270u,0.017u); + z204\0\8 = (6.270u,0.700u); + z204\0\9c1 = (5.585u,0.897u); + z204\0\9c2 = (5.423u,1.065u); + z204\0\9 = (5.386u,1.325u); + z204\0\10c1 = (5.261u,2.191u); + z204\0\10c2 = (7.328u,2.040u); + z204\0\10 = (7.884u,2.459u); + z204\0\11c1 = (8.638u,3.027u); + z204\0\11c2 = (7.873u,3.502u); + z204\0\11 = (9.516u,4.095u); + z204\0\12c1 = (9.339u,5.141u); + z204\0\12c2 = (9.038u,4.738u); + z204\0\12 = (8.483u,5.341u); + z204\0\13c1 = (8.123u,5.732u); + z204\0\13c2 = (8.211u,6.174u); + z204\0\13 = (7.696u,6.488u); + z204\0\14c1 = (7.167u,6.810u); + z204\0\14c2 = (4.156u,6.640u); + z204\0\14 = (5.694u,8.153u); + z204\0\15c1 = (5.977u,8.432u); + z204\0\15c2 = (6.244u,8.440u); + z204\0\15 = (6.504u,8.793u); + z204\1\0s = (3.466u,6.497u); + z204\1\0c1 = (3.950u,6.221u); + z204\1\0c2 = (4.149u,3.586u); + z204\1\0 = (3.903u,3.038u); + z204\1\1c1 = (3.798u,2.806u); + z204\1\1c2 = (3.612u,2.717u); + z204\1\1 = (3.370u,2.679u); + z204\1\2c1 = (1.099u,2.321u); + z204\1\2c2 = (0.998u,6.545u); + z204\2\0s = (7.347u,5.902u); + z204\2\0c1 = (7.440u,5.406u); + z204\2\0c2 = (7.681u,4.964u); + z204\2\0 = (7.703u,4.457u); + z204\2\1c1 = (7.766u,3.002u); + z204\2\1c2 = (5.328u,1.357u); + z204\2\1 = (5.300u,3.372u); + z204\2\2c1 = (5.272u,5.411u); + z204\2\2c2 = (4.696u,6.944u); + fill_or_unfill z204\0\0s + ..controls z204\0\0c1 and z204\0\0c2..z204\0\0 + ..controls z204\0\1c1 and z204\0\1c2..z204\0\1 + ..controls z204\0\2c1 and z204\0\2c2..z204\0\2 + ..controls z204\0\3c1 and z204\0\3c2..z204\0\3 + ..controls z204\0\4c1 and z204\0\4c2..z204\0\4 + ..controls z204\0\5c1 and z204\0\5c2..z204\0\5 + --z204\0\6 + --z204\0\7 + --z204\0\8 + ..controls z204\0\9c1 and z204\0\9c2..z204\0\9 + ..controls z204\0\10c1 and z204\0\10c2..z204\0\10 + ..controls z204\0\11c1 and z204\0\11c2..z204\0\11 + ..controls z204\0\12c1 and z204\0\12c2..z204\0\12 + ..controls z204\0\13c1 and z204\0\13c2..z204\0\13 + ..controls z204\0\14c1 and z204\0\14c2..z204\0\14 + ..controls z204\0\15c1 and z204\0\15c2..z204\0\15 + --cycle; + fill_or_unfill z204\1\0s + ..controls z204\1\0c1 and z204\1\0c2..z204\1\0 + ..controls z204\1\1c1 and z204\1\1c2..z204\1\1 + ..controls z204\1\2c1 and z204\1\2c2..cycle; + fill_or_unfill z204\2\0s + ..controls z204\2\0c1 and z204\2\0c2..z204\2\0 + ..controls z204\2\1c1 and z204\2\1c2..z204\2\1 + ..controls z204\2\2c1 and z204\2\2c2..cycle; + proof_labels ( + 204\0\0, + 204\0\1, + 204\0\2, + 204\0\3, + 204\0\4, + 204\0\5, + 204\0\6, + 204\0\7, + 204\0\8, + 204\0\9, + 204\0\10, + 204\0\11, + 204\0\12, + 204\0\13, + 204\0\14, + 204\0\15, + 204\0\16, + 204\1\0, + 204\1\1, + 204\1\2, + 204\2\0, + 204\2\1, + 204\2\2, +); +endchar; + +beginchar (205, 7.831u#, 8.426u#, 1.147u#); + "Phi"; + z205\0\0s = (2.722u,8.426u); + z205\0\0c1 = (2.267u,7.365u); + z205\0\0c2 = (3.101u,7.610u); + z205\0\0 = (3.253u,6.738u); + z205\0\1 = (3.445u,1.922u); + z205\0\2c1 = (1.244u,2.289u); + z205\0\2c2 = (2.938u,4.388u); + z205\0\2 = (1.692u,5.447u); + z205\0\3c1 = (0.355u,6.583u); + z205\0\3c2 = (-0.693u,4.246u); + z205\0\3 = (0.559u,4.523u); + z205\0\4 = (1.277u,4.813u); + z205\0\5c1 = (1.273u,3.647u); + z205\0\5c2 = (0.725u,2.229u); + z205\0\5 = (1.890u,1.454u); + z205\0\6 = (3.119u,0.883u); + z205\0\7c1 = (3.651u,0.506u); + z205\0\7c2 = (3.393u,0.119u); + z205\0\7 = (4.168u,-0.126u); + z205\0\8c1 = (2.120u,-1.351u); + z205\0\8c2 = (5.543u,-1.573u); + z205\0\8 = (5.516u,-0.245u); + z205\0\9c1 = (5.506u,0.251u); + z205\0\9c2 = (4.919u,0.685u); + z205\0\9 = (4.770u,1.199u); + z205\0\10c1 = (7.378u,1.232u); + z205\0\10c2 = (6.582u,3.116u); + z205\0\10 = (6.577u,4.813u); + z205\0\11c1 = (9.154u,4.612u); + z205\0\11c2 = (7.141u,6.599u); + z205\0\11 = (6.021u,5.569u); + z205\0\12c1 = (4.950u,4.583u); + z205\0\12c2 = (6.347u,2.319u); + z205\0\12 = (4.542u,1.922u); + z205\0\13 = (4.542u,6.621u); + z205\0\14 = (5.153u,8.027u); + z205\0\15 = (4.288u,8.306u); + fill_or_unfill z205\0\0s + ..controls z205\0\0c1 and z205\0\0c2..z205\0\0 + --z205\0\1 + ..controls z205\0\2c1 and z205\0\2c2..z205\0\2 + ..controls z205\0\3c1 and z205\0\3c2..z205\0\3 + --z205\0\4 + ..controls z205\0\5c1 and z205\0\5c2..z205\0\5 + --z205\0\6 + ..controls z205\0\7c1 and z205\0\7c2..z205\0\7 + ..controls z205\0\8c1 and z205\0\8c2..z205\0\8 + ..controls z205\0\9c1 and z205\0\9c2..z205\0\9 + ..controls z205\0\10c1 and z205\0\10c2..z205\0\10 + ..controls z205\0\11c1 and z205\0\11c2..z205\0\11 + ..controls z205\0\12c1 and z205\0\12c2..z205\0\12 + --z205\0\13 + --z205\0\14 + --z205\0\15 + --cycle; + proof_labels ( + 205\0\0, + 205\0\1, + 205\0\2, + 205\0\3, + 205\0\4, + 205\0\5, + 205\0\6, + 205\0\7, + 205\0\8, + 205\0\9, + 205\0\10, + 205\0\11, + 205\0\12, + 205\0\13, + 205\0\14, + 205\0\15, + 205\0\16, +); +endchar; + +beginchar (206, 8.120u#, 8.409u#, 0.000u#); + "epsi"; + z206\0\0s = (2.550u,8.338u); + z206\0\0c1 = (2.852u,8.123u); + z206\0\0c2 = (3.157u,7.970u); + z206\0\0 = (3.335u,7.626u); + z206\0\1c1 = (3.675u,6.973u); + z206\0\1c2 = (3.538u,3.342u); + z206\0\1 = (3.313u,2.575u); + z206\0\2c1 = (2.899u,2.741u); + z206\0\2c2 = (2.454u,2.905u); + z206\0\2 = (2.177u,3.279u); + z206\0\3c1 = (1.509u,4.181u); + z206\0\3c2 = (2.226u,7.738u); + z206\0\3 = (0.638u,7.817u); + z206\0\4c1 = (0.222u,7.839u); + z206\0\4c2 = (-0.091u,7.324u); + z206\0\4 = (0.023u,6.948u); + z206\0\5c1 = (0.165u,6.483u); + z206\0\5c2 = (1.104u,6.171u); + z206\0\5 = (1.272u,5.399u); + z206\0\6c1 = (1.516u,4.273u); + z206\0\6c2 = (-0.929u,1.734u); + z206\0\6 = (3.574u,1.860u); + z206\0\7c1 = (3.733u,0.291u); + z206\0\7c2 = (2.747u,1.208u); + z206\0\7 = (2.421u,0.020u); + z206\0\8 = (6.036u,0.000u); + z206\0\9 = (6.143u,0.485u); + z206\0\10c1 = (5.705u,0.647u); + z206\0\10c2 = (4.381u,1.156u); + z206\0\10 = (5.301u,1.785u); + z206\0\11c1 = (5.823u,2.143u); + z206\0\11c2 = (7.241u,1.666u); + z206\0\11 = (7.675u,3.059u); + z206\0\12c1 = (8.004u,4.118u); + z206\0\12c2 = (7.025u,4.626u); + z206\0\12 = (7.009u,5.570u); + z206\0\13c1 = (6.998u,6.338u); + z206\0\13c2 = (8.919u,7.793u); + z206\0\13 = (7.734u,7.979u); + z206\0\14c1 = (7.498u,8.015u); + z206\0\14c2 = (7.235u,7.878u); + z206\0\14 = (7.058u,7.732u); + z206\0\15c1 = (5.692u,6.611u); + z206\0\15c2 = (8.103u,2.558u); + z206\0\15 = (4.879u,2.619u); + z206\0\16 = (4.768u,6.592u); + z206\0\17 = (5.078u,8.409u); + fill_or_unfill z206\0\0s + ..controls z206\0\0c1 and z206\0\0c2..z206\0\0 + ..controls z206\0\1c1 and z206\0\1c2..z206\0\1 + ..controls z206\0\2c1 and z206\0\2c2..z206\0\2 + ..controls z206\0\3c1 and z206\0\3c2..z206\0\3 + ..controls z206\0\4c1 and z206\0\4c2..z206\0\4 + ..controls z206\0\5c1 and z206\0\5c2..z206\0\5 + ..controls z206\0\6c1 and z206\0\6c2..z206\0\6 + ..controls z206\0\7c1 and z206\0\7c2..z206\0\7 + --z206\0\8 + --z206\0\9 + ..controls z206\0\10c1 and z206\0\10c2..z206\0\10 + ..controls z206\0\11c1 and z206\0\11c2..z206\0\11 + ..controls z206\0\12c1 and z206\0\12c2..z206\0\12 + ..controls z206\0\13c1 and z206\0\13c2..z206\0\13 + ..controls z206\0\14c1 and z206\0\14c2..z206\0\14 + ..controls z206\0\15c1 and z206\0\15c2..z206\0\15 + --z206\0\16 + --z206\0\17 + --cycle; + proof_labels ( + 206\0\0, + 206\0\1, + 206\0\2, + 206\0\3, + 206\0\4, + 206\0\5, + 206\0\6, + 206\0\7, + 206\0\8, + 206\0\9, + 206\0\10, + 206\0\11, + 206\0\12, + 206\0\13, + 206\0\14, + 206\0\15, + 206\0\16, + 206\0\17, + 206\0\18, +); +endchar; + +beginchar (207, 8.416u#, 5.158u#, 4.226u#); + "Epsi"; + z207\0\0s = (3.011u,5.158u); + z207\0\0c1 = (2.572u,5.118u); + z207\0\0c2 = (1.438u,5.026u); + z207\0\0 = (1.097u,4.820u); + z207\0\1c1 = (0.392u,4.394u); + z207\0\1c2 = (-0.019u,2.471u); + z207\0\1 = (0.981u,2.175u); + z207\0\2c1 = (1.319u,2.075u); + z207\0\2c2 = (1.542u,2.306u); + z207\0\2 = (1.676u,2.589u); + z207\0\3c1 = (1.905u,3.071u); + z207\0\3c2 = (1.767u,3.512u); + z207\0\3 = (2.150u,4.003u); + z207\0\4c1 = (2.923u,4.993u); + z207\0\4c2 = (4.406u,4.249u); + z207\0\4 = (4.639u,3.185u); + z207\0\5c1 = (4.954u,1.743u); + z207\0\5c2 = (2.931u,1.607u); + z207\0\5 = (2.049u,1.236u); + z207\0\6c1 = (1.501u,1.006u); + z207\0\6c2 = (0.826u,0.528u); + z207\0\6 = (0.474u,0.051u); + z207\0\7c1 = (0.021u,-0.564u); + z207\0\7c2 = (-0.089u,-1.140u); + z207\0\7 = (0.112u,-1.874u); + z207\0\8c1 = (0.766u,-4.263u); + z207\0\8c2 = (4.393u,-4.544u); + z207\0\8 = (6.384u,-3.978u); + z207\0\9c1 = (8.127u,-3.481u); + z207\0\9c2 = (8.806u,-2.793u); + z207\0\9 = (8.234u,-1.031u); + z207\0\10c1 = (8.020u,-0.372u); + z207\0\10c2 = (8.034u,0.436u); + z207\0\10 = (7.106u,0.351u); + z207\0\11c1 = (6.666u,0.310u); + z207\0\11c2 = (6.211u,0.079u); + z207\0\11 = (6.223u,-0.428u); + z207\0\12c1 = (6.241u,-1.169u); + z207\0\12c2 = (7.301u,-1.413u); + z207\0\12 = (7.017u,-2.225u); + z207\0\13c1 = (6.330u,-4.194u); + z207\0\13c2 = (2.406u,-4.032u); + z207\0\13 = (1.352u,-2.542u); + z207\0\14c1 = (0.852u,-1.834u); + z207\0\14c2 = (1.180u,-1.135u); + z207\0\14 = (1.817u,-0.668u); + z207\0\15c1 = (2.598u,-0.096u); + z207\0\15c2 = (5.066u,0.348u); + z207\0\15 = (5.565u,0.840u); + z207\0\16c1 = (7.341u,2.592u); + z207\0\16c2 = (5.142u,5.263u); + fill_or_unfill z207\0\0s + ..controls z207\0\0c1 and z207\0\0c2..z207\0\0 + ..controls z207\0\1c1 and z207\0\1c2..z207\0\1 + ..controls z207\0\2c1 and z207\0\2c2..z207\0\2 + ..controls z207\0\3c1 and z207\0\3c2..z207\0\3 + ..controls z207\0\4c1 and z207\0\4c2..z207\0\4 + ..controls z207\0\5c1 and z207\0\5c2..z207\0\5 + ..controls z207\0\6c1 and z207\0\6c2..z207\0\6 + ..controls z207\0\7c1 and z207\0\7c2..z207\0\7 + ..controls z207\0\8c1 and z207\0\8c2..z207\0\8 + ..controls z207\0\9c1 and z207\0\9c2..z207\0\9 + ..controls z207\0\10c1 and z207\0\10c2..z207\0\10 + ..controls z207\0\11c1 and z207\0\11c2..z207\0\11 + ..controls z207\0\12c1 and z207\0\12c2..z207\0\12 + ..controls z207\0\13c1 and z207\0\13c2..z207\0\13 + ..controls z207\0\14c1 and z207\0\14c2..z207\0\14 + ..controls z207\0\15c1 and z207\0\15c2..z207\0\15 + ..controls z207\0\16c1 and z207\0\16c2..cycle; + proof_labels ( + 207\0\0, + 207\0\1, + 207\0\2, + 207\0\3, + 207\0\4, + 207\0\5, + 207\0\6, + 207\0\7, + 207\0\8, + 207\0\9, + 207\0\10, + 207\0\11, + 207\0\12, + 207\0\13, + 207\0\14, + 207\0\15, + 207\0\16, +); +endchar; + +beginchar (208, 8.416u#, 5.158u#, 4.226u#); + "hori"; + z208\0\0s = (3.011u,5.158u); + z208\0\0c1 = (2.572u,5.118u); + z208\0\0c2 = (1.438u,5.026u); + z208\0\0 = (1.097u,4.820u); + z208\0\1c1 = (0.392u,4.394u); + z208\0\1c2 = (-0.019u,2.471u); + z208\0\1 = (0.981u,2.175u); + z208\0\2c1 = (1.319u,2.075u); + z208\0\2c2 = (1.542u,2.306u); + z208\0\2 = (1.676u,2.589u); + z208\0\3c1 = (1.905u,3.071u); + z208\0\3c2 = (1.767u,3.512u); + z208\0\3 = (2.150u,4.003u); + z208\0\4c1 = (2.923u,4.993u); + z208\0\4c2 = (4.406u,4.249u); + z208\0\4 = (4.639u,3.185u); + z208\0\5c1 = (4.954u,1.743u); + z208\0\5c2 = (2.931u,1.607u); + z208\0\5 = (2.049u,1.236u); + z208\0\6c1 = (1.501u,1.006u); + z208\0\6c2 = (0.826u,0.528u); + z208\0\6 = (0.474u,0.051u); + z208\0\7c1 = (0.021u,-0.564u); + z208\0\7c2 = (-0.089u,-1.140u); + z208\0\7 = (0.112u,-1.874u); + z208\0\8c1 = (0.766u,-4.263u); + z208\0\8c2 = (4.393u,-4.544u); + z208\0\8 = (6.384u,-3.978u); + z208\0\9c1 = (8.127u,-3.481u); + z208\0\9c2 = (8.806u,-2.793u); + z208\0\9 = (8.234u,-1.031u); + z208\0\10c1 = (8.020u,-0.372u); + z208\0\10c2 = (8.034u,0.436u); + z208\0\10 = (7.106u,0.351u); + z208\0\11c1 = (6.666u,0.310u); + z208\0\11c2 = (6.211u,0.079u); + z208\0\11 = (6.223u,-0.428u); + z208\0\12c1 = (6.241u,-1.169u); + z208\0\12c2 = (7.301u,-1.413u); + z208\0\12 = (7.017u,-2.225u); + z208\0\13c1 = (6.330u,-4.194u); + z208\0\13c2 = (2.406u,-4.032u); + z208\0\13 = (1.352u,-2.542u); + z208\0\14c1 = (0.852u,-1.834u); + z208\0\14c2 = (1.180u,-1.135u); + z208\0\14 = (1.817u,-0.668u); + z208\0\15c1 = (2.598u,-0.096u); + z208\0\15c2 = (5.066u,0.348u); + z208\0\15 = (5.565u,0.840u); + z208\0\16c1 = (7.341u,2.592u); + z208\0\16c2 = (5.142u,5.263u); + fill_or_unfill z208\0\0s + ..controls z208\0\0c1 and z208\0\0c2..z208\0\0 + ..controls z208\0\1c1 and z208\0\1c2..z208\0\1 + ..controls z208\0\2c1 and z208\0\2c2..z208\0\2 + ..controls z208\0\3c1 and z208\0\3c2..z208\0\3 + ..controls z208\0\4c1 and z208\0\4c2..z208\0\4 + ..controls z208\0\5c1 and z208\0\5c2..z208\0\5 + ..controls z208\0\6c1 and z208\0\6c2..z208\0\6 + ..controls z208\0\7c1 and z208\0\7c2..z208\0\7 + ..controls z208\0\8c1 and z208\0\8c2..z208\0\8 + ..controls z208\0\9c1 and z208\0\9c2..z208\0\9 + ..controls z208\0\10c1 and z208\0\10c2..z208\0\10 + ..controls z208\0\11c1 and z208\0\11c2..z208\0\11 + ..controls z208\0\12c1 and z208\0\12c2..z208\0\12 + ..controls z208\0\13c1 and z208\0\13c2..z208\0\13 + ..controls z208\0\14c1 and z208\0\14c2..z208\0\14 + ..controls z208\0\15c1 and z208\0\15c2..z208\0\15 + ..controls z208\0\16c1 and z208\0\16c2..cycle; + proof_labels ( + 208\0\0, + 208\0\1, + 208\0\2, + 208\0\3, + 208\0\4, + 208\0\5, + 208\0\6, + 208\0\7, + 208\0\8, + 208\0\9, + 208\0\10, + 208\0\11, + 208\0\12, + 208\0\13, + 208\0\14, + 208\0\15, + 208\0\16, +); +endchar; + +beginchar (209, 10.771u#, 8.856u#, 0.000u#); + "Hori"; + z209\0\0s = (6.027u,6.521u); + z209\0\0c1 = (4.555u,6.771u); + z209\0\0c2 = (4.495u,8.693u); + z209\0\0 = (2.034u,8.759u); + z209\0\1c1 = (0.704u,8.830u); + z209\0\1c2 = (-0.266u,8.687u); + z209\0\1 = (0.036u,8.028u); + z209\0\2c1 = (0.249u,7.860u); + z209\0\2c2 = (1.279u,7.717u); + z209\0\2 = (1.691u,7.605u); + z209\0\3c1 = (2.548u,7.431u); + z209\0\3c2 = (4.383u,5.737u); + z209\0\3 = (4.329u,4.835u); + z209\0\4c1 = (4.283u,4.054u); + z209\0\4c2 = (2.688u,1.797u); + z209\0\4 = (2.042u,1.345u); + z209\0\5c1 = (1.697u,1.104u); + z209\0\5c2 = (0.535u,0.762u); + z209\0\5 = (0.386u,0.468u); + z209\0\6c1 = (0.077u,-0.143u); + z209\0\6c2 = (1.866u,0.020u); + z209\0\6 = (2.173u,0.018u); + z209\0\7 = (10.216u,0.089u); + z209\0\8c1 = (10.506u,0.217u); + z209\0\8c2 = (10.544u,0.463u); + z209\0\8 = (10.605u,0.740u); + z209\0\9c1 = (9.082u,1.153u); + z209\0\9c2 = (8.247u,2.803u); + z209\0\9 = (7.411u,3.992u); + z209\0\10c1 = (7.100u,4.434u); + z209\0\10c2 = (6.521u,4.972u); + z209\0\10 = (6.635u,5.558u); + z209\0\11c1 = (6.717u,5.977u); + z209\0\11c2 = (7.117u,6.513u); + z209\0\11 = (7.342u,6.882u); + z209\0\12c1 = (7.776u,7.596u); + z209\0\12c2 = (7.896u,7.897u); + z209\0\12 = (8.798u,7.967u); + z209\0\13c1 = (10.404u,7.429u); + z209\0\13c2 = (10.740u,7.841u); + z209\0\13 = (10.740u,8.552u); + z209\0\14c1 = (10.142u,9.151u); + z209\0\14c2 = (8.719u,9.039u); + z209\0\14 = (7.243u,8.122u); + z209\0\15c1 = (6.681u,7.718u); + z209\0\15c2 = (6.198u,7.203u); + z209\1\0s = (5.305u,3.871u); + z209\1\0c1 = (5.703u,3.452u); + z209\1\0c2 = (7.704u,1.274u); + z209\1\0 = (6.732u,0.829u); + z209\1\1c1 = (6.431u,0.691u); + z209\1\1c2 = (4.660u,0.732u); + z209\1\1 = (4.221u,0.740u); + z209\1\2c1 = (3.982u,0.745u); + z209\1\2c2 = (3.523u,0.730u); + z209\1\2 = (3.432u,1.019u); + z209\1\3c1 = (3.278u,1.498u); + z209\1\3c2 = (4.881u,3.561u); + fill_or_unfill z209\0\0s + ..controls z209\0\0c1 and z209\0\0c2..z209\0\0 + ..controls z209\0\1c1 and z209\0\1c2..z209\0\1 + ..controls z209\0\2c1 and z209\0\2c2..z209\0\2 + ..controls z209\0\3c1 and z209\0\3c2..z209\0\3 + ..controls z209\0\4c1 and z209\0\4c2..z209\0\4 + ..controls z209\0\5c1 and z209\0\5c2..z209\0\5 + ..controls z209\0\6c1 and z209\0\6c2..z209\0\6 + --z209\0\7 + ..controls z209\0\8c1 and z209\0\8c2..z209\0\8 + ..controls z209\0\9c1 and z209\0\9c2..z209\0\9 + ..controls z209\0\10c1 and z209\0\10c2..z209\0\10 + ..controls z209\0\11c1 and z209\0\11c2..z209\0\11 + ..controls z209\0\12c1 and z209\0\12c2..z209\0\12 + ..controls z209\0\13c1 and z209\0\13c2..z209\0\13 + ..controls z209\0\14c1 and z209\0\14c2..z209\0\14 + ..controls z209\0\15c1 and z209\0\15c2..cycle; + fill_or_unfill z209\1\0s + ..controls z209\1\0c1 and z209\1\0c2..z209\1\0 + ..controls z209\1\1c1 and z209\1\1c2..z209\1\1 + ..controls z209\1\2c1 and z209\1\2c2..z209\1\2 + ..controls z209\1\3c1 and z209\1\3c2..cycle; + proof_labels ( + 209\0\0, + 209\0\1, + 209\0\2, + 209\0\3, + 209\0\4, + 209\0\5, + 209\0\6, + 209\0\7, + 209\0\8, + 209\0\9, + 209\0\10, + 209\0\11, + 209\0\12, + 209\0\13, + 209\0\14, + 209\0\15, + 209\1\0, + 209\1\1, + 209\1\2, + 209\1\3, +); +endchar; + +beginchar (210, 10.840u#, 9.034u#, 0.000u#); + "sjansjia"; + z210\0\0s = (6.022u,6.625u); + z210\0\0c1 = (4.550u,6.874u); + z210\0\0c2 = (4.490u,8.797u); + z210\0\0 = (2.048u,8.793u); + z210\0\1c1 = (-0.732u,8.788u); + z210\0\1c2 = (-0.440u,5.648u); + z210\0\1 = (1.434u,5.919u); + z210\0\2c1 = (2.429u,6.062u); + z210\0\2c2 = (1.969u,7.162u); + z210\0\2 = (1.686u,7.709u); + z210\0\3c1 = (2.543u,7.534u); + z210\0\3c2 = (4.378u,5.840u); + z210\0\3 = (4.324u,4.938u); + z210\0\4c1 = (4.278u,4.158u); + z210\0\4c2 = (2.683u,1.900u); + z210\0\4 = (2.037u,1.448u); + z210\0\5c1 = (1.692u,1.207u); + z210\0\5c2 = (0.530u,0.865u); + z210\0\5 = (0.381u,0.572u); + z210\0\6c1 = (0.072u,-0.040u); + z210\0\6c2 = (1.861u,0.124u); + z210\0\6 = (2.168u,0.121u); + z210\0\7 = (10.211u,0.193u); + z210\0\8c1 = (10.501u,0.321u); + z210\0\8c2 = (10.539u,0.567u); + z210\0\8 = (10.600u,0.843u); + z210\0\9c1 = (9.077u,1.257u); + z210\0\9c2 = (8.242u,2.906u); + z210\0\9 = (7.406u,4.095u); + z210\0\10c1 = (7.095u,4.538u); + z210\0\10c2 = (6.516u,5.075u); + z210\0\10 = (6.630u,5.661u); + z210\0\11c1 = (6.712u,6.080u); + z210\0\11c2 = (7.112u,6.617u); + z210\0\11 = (7.337u,6.986u); + z210\0\12c1 = (7.771u,7.699u); + z210\0\12c2 = (7.891u,8.000u); + z210\0\12 = (8.793u,8.070u); + z210\0\13c1 = (8.169u,6.398u); + z210\0\13c2 = (9.703u,5.816u); + z210\0\13 = (10.480u,6.891u); + z210\0\14c1 = (11.511u,8.315u); + z210\0\14c2 = (9.611u,9.935u); + z210\0\14 = (7.238u,8.226u); + z210\0\15c1 = (6.676u,7.822u); + z210\0\15c2 = (6.193u,7.306u); + z210\1\0s = (5.300u,3.975u); + z210\1\0c1 = (5.698u,3.556u); + z210\1\0c2 = (7.699u,1.377u); + z210\1\0 = (6.727u,0.932u); + z210\1\1c1 = (6.426u,0.794u); + z210\1\1c2 = (4.655u,0.836u); + z210\1\1 = (4.216u,0.844u); + z210\1\2c1 = (3.977u,0.848u); + z210\1\2c2 = (3.518u,0.834u); + z210\1\2 = (3.427u,1.122u); + z210\1\3c1 = (3.273u,1.602u); + z210\1\3c2 = (4.876u,3.664u); + fill_or_unfill z210\0\0s + ..controls z210\0\0c1 and z210\0\0c2..z210\0\0 + ..controls z210\0\1c1 and z210\0\1c2..z210\0\1 + ..controls z210\0\2c1 and z210\0\2c2..z210\0\2 + ..controls z210\0\3c1 and z210\0\3c2..z210\0\3 + ..controls z210\0\4c1 and z210\0\4c2..z210\0\4 + ..controls z210\0\5c1 and z210\0\5c2..z210\0\5 + ..controls z210\0\6c1 and z210\0\6c2..z210\0\6 + --z210\0\7 + ..controls z210\0\8c1 and z210\0\8c2..z210\0\8 + ..controls z210\0\9c1 and z210\0\9c2..z210\0\9 + ..controls z210\0\10c1 and z210\0\10c2..z210\0\10 + ..controls z210\0\11c1 and z210\0\11c2..z210\0\11 + ..controls z210\0\12c1 and z210\0\12c2..z210\0\12 + ..controls z210\0\13c1 and z210\0\13c2..z210\0\13 + ..controls z210\0\14c1 and z210\0\14c2..z210\0\14 + ..controls z210\0\15c1 and z210\0\15c2..cycle; + fill_or_unfill z210\1\0s + ..controls z210\1\0c1 and z210\1\0c2..z210\1\0 + ..controls z210\1\1c1 and z210\1\1c2..z210\1\1 + ..controls z210\1\2c1 and z210\1\2c2..z210\1\2 + ..controls z210\1\3c1 and z210\1\3c2..cycle; + proof_labels ( + 210\0\0, + 210\0\1, + 210\0\2, + 210\0\3, + 210\0\4, + 210\0\5, + 210\0\6, + 210\0\7, + 210\0\8, + 210\0\9, + 210\0\10, + 210\0\11, + 210\0\12, + 210\0\13, + 210\0\14, + 210\0\15, + 210\1\0, + 210\1\1, + 210\1\2, + 210\1\3, +); +endchar; + +beginchar (211, 6.906u#, 8.208u#, 0.000u#); + "Sjansjia"; + z211\0\0s = (2.990u,6.522u); + z211\0\0c1 = (2.212u,6.505u); + z211\0\0c2 = (-0.244u,6.410u); + z211\0\0 = (0.019u,5.199u); + z211\0\1c1 = (0.107u,4.796u); + z211\0\1c2 = (0.348u,4.702u); + z211\0\1 = (0.702u,4.595u); + z211\0\2c1 = (1.095u,5.687u); + z211\0\2c2 = (2.032u,5.558u); + z211\0\2 = (2.972u,5.558u); + z211\0\3 = (2.972u,1.358u); + z211\0\4 = (2.268u,0.861u); + z211\0\5c1 = (2.310u,0.668u); + z211\0\5c2 = (2.329u,0.481u); + z211\0\5 = (2.477u,0.331u); + z211\0\6c1 = (2.784u,0.018u); + z211\0\6c2 = (4.242u,-0.254u); + z211\0\6 = (4.396u,0.401u); + z211\0\7 = (4.195u,5.679u); + z211\0\8 = (6.845u,5.197u); + z211\0\9c1 = (7.290u,7.034u); + z211\0\9c2 = (5.289u,6.522u); + z211\0\9 = (4.074u,6.522u); + z211\0\10 = (5.038u,7.365u); + z211\0\11c1 = (4.737u,7.832u); + z211\0\11c2 = (3.428u,8.646u); + z211\0\11 = (3.059u,7.916u); + z211\0\12c1 = (2.955u,7.708u); + z211\0\12c2 = (2.990u,6.801u); + fill_or_unfill z211\0\0s + ..controls z211\0\0c1 and z211\0\0c2..z211\0\0 + ..controls z211\0\1c1 and z211\0\1c2..z211\0\1 + ..controls z211\0\2c1 and z211\0\2c2..z211\0\2 + --z211\0\3 + --z211\0\4 + ..controls z211\0\5c1 and z211\0\5c2..z211\0\5 + ..controls z211\0\6c1 and z211\0\6c2..z211\0\6 + --z211\0\7 + --z211\0\8 + ..controls z211\0\9c1 and z211\0\9c2..z211\0\9 + --z211\0\10 + ..controls z211\0\11c1 and z211\0\11c2..z211\0\11 + ..controls z211\0\12c1 and z211\0\12c2..cycle; + proof_labels ( + 211\0\0, + 211\0\1, + 211\0\2, + 211\0\3, + 211\0\4, + 211\0\5, + 211\0\6, + 211\0\7, + 211\0\8, + 211\0\9, + 211\0\10, + 211\0\11, + 211\0\12, +); +endchar; + +beginchar (212, 6.487u#, 8.515u#, 0.000u#); + "ti"; + z212\0\0s = (6.487u,4.730u); + z212\0\0c1 = (6.487u,7.163u); + z212\0\0c2 = (0.000u,7.163u); + z212\0\0 = (0.000u,4.730u); + z212\0\1c1 = (0.000u,4.325u); + z212\0\1c2 = (0.405u,4.122u); + z212\0\1 = (0.811u,4.325u); + z212\0\2c1 = (1.216u,4.730u); + z212\0\2c2 = (1.216u,5.947u); + z212\0\2 = (3.244u,5.947u); + z212\0\3c1 = (5.271u,5.947u); + z212\0\3c2 = (5.271u,4.730u); + z212\0\3 = (5.677u,4.325u); + z212\0\4c1 = (6.082u,4.122u); + z212\0\4c2 = (6.487u,4.325u); + z212\1\0s = (1.480u,0.000u); + z212\1\0 = (5.130u,0.000u); + z212\1\1c1 = (5.130u,0.811u); + z212\1\1c2 = (3.913u,0.405u); + z212\1\1 = (3.913u,1.216u); + z212\1\2 = (3.913u,7.298u); + z212\1\3c1 = (3.913u,8.109u); + z212\1\3c2 = (5.130u,7.704u); + z212\1\3 = (5.130u,8.515u); + z212\1\4 = (1.480u,8.515u); + z212\1\5c1 = (1.480u,7.704u); + z212\1\5c2 = (2.697u,8.109u); + z212\1\5 = (2.697u,7.298u); + z212\1\6 = (2.697u,1.216u); + z212\1\7c1 = (2.697u,0.405u); + z212\1\7c2 = (1.480u,0.811u); + fill_or_unfill z212\0\0s + ..controls z212\0\0c1 and z212\0\0c2..z212\0\0 + ..controls z212\0\1c1 and z212\0\1c2..z212\0\1 + ..controls z212\0\2c1 and z212\0\2c2..z212\0\2 + ..controls z212\0\3c1 and z212\0\3c2..z212\0\3 + ..controls z212\0\4c1 and z212\0\4c2..cycle; + fill_or_unfill z212\1\0s + --z212\1\0 + ..controls z212\1\1c1 and z212\1\1c2..z212\1\1 + --z212\1\2 + ..controls z212\1\3c1 and z212\1\3c2..z212\1\3 + --z212\1\4 + ..controls z212\1\5c1 and z212\1\5c2..z212\1\5 + --z212\1\6 + ..controls z212\1\7c1 and z212\1\7c2..cycle; + proof_labels ( + 212\0\0, + 212\0\1, + 212\0\2, + 212\0\3, + 212\0\4, + 212\1\0, + 212\1\1, + 212\1\2, + 212\1\3, + 212\1\4, + 212\1\5, + 212\1\6, + 212\1\7, +); +endchar; + +input coptelig.mf; + +bye. |