diff options
Diffstat (limited to 'language/tibetan/sirlin/fonts/mf/gtibsp.mf')
-rw-r--r-- | language/tibetan/sirlin/fonts/mf/gtibsp.mf | 2033 |
1 files changed, 2033 insertions, 0 deletions
diff --git a/language/tibetan/sirlin/fonts/mf/gtibsp.mf b/language/tibetan/sirlin/fonts/mf/gtibsp.mf new file mode 100644 index 0000000000..a8b61459db --- /dev/null +++ b/language/tibetan/sirlin/fonts/mf/gtibsp.mf @@ -0,0 +1,2033 @@ +% This file defines the Metafont font gtibsp.mf. +% {limn output Aug 9 18:49:22 1995 from charspace output Aug 9 18:49:13 1995 from Hand edited Aug 9 18:48:33 1995 from PXTOPK 2.3 (Berkeley UNIX) output} +% Generated Wed Aug 9 18:50:34 1995. +% This font is in the public domain. +true_design_size# := 10.000pt#; +input bzrsetup; +font_coding_scheme := "ASCII"; +font_identifier := "gtibsp"; + +beginchar (0, 5.541u#, 6.504u#, 0.000u#); + ".notdef"; + z0\0\0s = (2.409u,6.347u); + z0\0\0c1 = (-0.491u,5.123u); + z0\0\0c2 = (0.099u,1.658u); + z0\0\0 = (3.132u,1.954u); + z0\0\1c1 = (5.978u,2.231u); + z0\0\1c2 = (5.822u,6.966u); + z0\1\0s = (2.410u,5.217u); + z0\1\0c1 = (5.904u,5.626u); + z0\1\0c2 = (4.929u,3.299u); + z0\1\0 = (3.131u,2.977u); + z0\1\1c1 = (1.074u,2.607u); + z0\1\1c2 = (0.048u,4.505u); + fill_or_unfill z0\0\0s + ..controls z0\0\0c1 and z0\0\0c2..z0\0\0 + ..controls z0\0\1c1 and z0\0\1c2..cycle; + fill_or_unfill z0\1\0s + ..controls z0\1\0c1 and z0\1\0c2..z0\1\0 + ..controls z0\1\1c1 and z0\1\1c2..cycle; + proof_labels ( + 0\0\0, + 0\0\1, + 0\1\0, + 0\1\1, +); +endchar; + +beginchar (1, 5.782u#, 6.745u#, 1.204u#); + ".notdef"; + z1\0\0s = (1.204u,3.613u); + z1\0\0c1 = (1.970u,4.091u); + z1\0\0c2 = (2.303u,4.833u); + z1\0\0 = (2.963u,5.424u); + z1\0\1c1 = (4.450u,6.756u); + z1\0\1c2 = (5.020u,5.559u); + z1\0\1 = (4.357u,4.095u); + z1\0\2c1 = (3.428u,2.048u); + z1\0\2c2 = (1.395u,0.928u); + z1\0\2 = (0.482u,-0.964u); + z1\0\3c1 = (5.531u,0.094u); + z1\0\3c2 = (6.938u,8.021u); + z1\0\3 = (3.373u,6.483u); + z1\0\4c1 = (2.102u,5.935u); + z1\0\4c2 = (1.564u,4.871u); + fill_or_unfill z1\0\0s + ..controls z1\0\0c1 and z1\0\0c2..z1\0\0 + ..controls z1\0\1c1 and z1\0\1c2..z1\0\1 + ..controls z1\0\2c1 and z1\0\2c2..z1\0\2 + ..controls z1\0\3c1 and z1\0\3c2..z1\0\3 + ..controls z1\0\4c1 and z1\0\4c2..cycle; + proof_labels ( + 1\0\0, + 1\0\1, + 1\0\2, + 1\0\3, + 1\0\4, +); +endchar; + +beginchar (2, 6.022u#, 6.745u#, 1.686u#); + ".notdef"; + z2\0\0s = (0.723u,4.577u); + z2\0\0c1 = (1.270u,4.831u); + z2\0\0c2 = (1.668u,5.123u); + z2\0\0 = (2.168u,5.453u); + z2\0\1c1 = (2.908u,5.940u); + z2\0\1c2 = (4.879u,6.364u); + z2\0\1 = (3.965u,4.814u); + z2\0\2c1 = (3.140u,3.416u); + z2\0\2c2 = (1.465u,2.338u); + z2\0\2 = (0.482u,0.964u); + z2\0\3c1 = (2.441u,0.988u); + z2\0\3c2 = (4.170u,1.179u); + z2\0\3 = (3.854u,-1.445u); + z2\0\4c1 = (6.425u,-1.232u); + z2\0\4c2 = (6.133u,1.602u); + z2\0\4 = (2.409u,1.686u); + z2\0\5c1 = (3.227u,2.376u); + z2\0\5c2 = (4.530u,3.011u); + z2\0\5 = (5.122u,3.879u); + z2\0\6c1 = (7.269u,7.025u); + z2\0\6c2 = (2.308u,7.845u); + fill_or_unfill z2\0\0s + ..controls z2\0\0c1 and z2\0\0c2..z2\0\0 + ..controls z2\0\1c1 and z2\0\1c2..z2\0\1 + ..controls z2\0\2c1 and z2\0\2c2..z2\0\2 + ..controls z2\0\3c1 and z2\0\3c2..z2\0\3 + ..controls z2\0\4c1 and z2\0\4c2..z2\0\4 + ..controls z2\0\5c1 and z2\0\5c2..z2\0\5 + ..controls z2\0\6c1 and z2\0\6c2..cycle; + proof_labels ( + 2\0\0, + 2\0\1, + 2\0\2, + 2\0\3, + 2\0\4, + 2\0\5, + 2\0\6, +); +endchar; + +beginchar (3, 6.504u#, 6.745u#, 2.650u#); + ".notdef"; + z3\0\0s = (0.482u,4.818u); + z3\0\0c1 = (1.041u,4.948u); + z3\0\0c2 = (3.896u,5.906u); + z3\0\0 = (3.154u,4.132u); + z3\0\1 = (1.927u,2.409u); + z3\0\2c1 = (2.771u,2.755u); + z3\0\2c2 = (3.931u,3.637u); + z3\0\2 = (4.719u,2.592u); + z3\0\3c1 = (4.856u,2.310u); + z3\0\3c2 = (4.902u,2.030u); + z3\0\3 = (4.719u,1.708u); + z3\0\4c1 = (3.975u,-0.382u); + z3\0\4c2 = (1.400u,1.573u); + z3\0\4 = (0.482u,-0.964u); + z3\0\5c1 = (3.743u,-0.843u); + z3\0\5c2 = (2.844u,-1.161u); + z3\0\5 = (5.541u,-2.409u); + z3\0\6c1 = (5.291u,-1.182u); + z3\0\6c2 = (4.741u,-0.551u); + z3\0\6 = (4.095u,0.482u); + z3\0\7c1 = (6.047u,1.533u); + z3\0\7c2 = (7.087u,3.759u); + z3\0\7 = (4.336u,4.577u); + z3\0\8c1 = (4.252u,7.859u); + z3\0\8c2 = (1.526u,6.919u); + fill_or_unfill z3\0\0s + ..controls z3\0\0c1 and z3\0\0c2..z3\0\0 + --z3\0\1 + ..controls z3\0\2c1 and z3\0\2c2..z3\0\2 + ..controls z3\0\3c1 and z3\0\3c2..z3\0\3 + ..controls z3\0\4c1 and z3\0\4c2..z3\0\4 + ..controls z3\0\5c1 and z3\0\5c2..z3\0\5 + ..controls z3\0\6c1 and z3\0\6c2..z3\0\6 + ..controls z3\0\7c1 and z3\0\7c2..z3\0\7 + ..controls z3\0\8c1 and z3\0\8c2..cycle; + proof_labels ( + 3\0\0, + 3\0\1, + 3\0\2, + 3\0\3, + 3\0\4, + 3\0\5, + 3\0\6, + 3\0\7, + 3\0\8, +); +endchar; + +beginchar (4, 11.804u#, 6.504u#, 0.000u#); + ".notdef"; + z4\0\0s = (11.322u,6.022u); + z4\0\0 = (10.840u,6.022u); + z4\0\1c1 = (9.802u,2.487u); + z4\0\1c2 = (4.213u,1.852u); + z4\0\1 = (1.204u,2.650u); + z4\0\2c1 = (2.667u,4.434u); + z4\0\2c2 = (7.496u,3.369u); + z4\0\2 = (9.154u,6.504u); + z4\0\3c1 = (7.840u,6.023u); + z4\0\3c2 = (6.722u,5.329u); + z4\0\3 = (5.300u,5.139u); + z4\0\4c1 = (4.402u,5.006u); + z4\0\4c2 = (3.177u,5.407u); + z4\0\4 = (2.419u,5.139u); + z4\0\5c1 = (1.786u,4.929u); + z4\0\5c2 = (1.254u,4.190u); + z4\0\5 = (0.959u,3.613u); + z4\0\6c1 = (-1.325u,-0.868u); + z4\0\6c2 = (10.683u,0.502u); + fill_or_unfill z4\0\0s + --z4\0\0 + ..controls z4\0\1c1 and z4\0\1c2..z4\0\1 + ..controls z4\0\2c1 and z4\0\2c2..z4\0\2 + ..controls z4\0\3c1 and z4\0\3c2..z4\0\3 + ..controls z4\0\4c1 and z4\0\4c2..z4\0\4 + ..controls z4\0\5c1 and z4\0\5c2..z4\0\5 + ..controls z4\0\6c1 and z4\0\6c2..cycle; + proof_labels ( + 4\0\0, + 4\0\1, + 4\0\2, + 4\0\3, + 4\0\4, + 4\0\5, + 4\0\6, +); +endchar; + +beginchar (5, 9.395u#, 6.745u#, 0.241u#); + ".notdef"; + z5\0\0s = (6.263u,6.745u); + z5\0\0c1 = (5.303u,5.034u); + z5\0\0c2 = (4.652u,4.454u); + z5\0\0 = (4.336u,2.409u); + z5\0\1c1 = (2.627u,4.122u); + z5\0\1c2 = (3.453u,5.984u); + z5\0\1 = (0.482u,6.022u); + z5\0\2c1 = (0.855u,4.454u); + z5\0\2c2 = (2.677u,0.705u); + z5\0\2 = (4.095u,0.000u); + z5\0\3c1 = (4.189u,1.674u); + z5\0\3c2 = (5.068u,3.544u); + z5\0\3 = (5.782u,5.059u); + z5\0\4c1 = (7.216u,3.598u); + z5\0\4c2 = (8.822u,3.160u); + z5\0\4 = (8.913u,5.782u); + z5\0\5c1 = (8.570u,5.485u); + z5\0\5c2 = (8.587u,5.489u); + z5\0\5 = (8.431u,5.059u); + z5\0\6c1 = (7.498u,5.534u); + z5\0\6c2 = (7.376u,5.793u); + z5\0\6 = (6.986u,6.745u); + fill_or_unfill z5\0\0s + ..controls z5\0\0c1 and z5\0\0c2..z5\0\0 + ..controls z5\0\1c1 and z5\0\1c2..z5\0\1 + ..controls z5\0\2c1 and z5\0\2c2..z5\0\2 + ..controls z5\0\3c1 and z5\0\3c2..z5\0\3 + ..controls z5\0\4c1 and z5\0\4c2..z5\0\4 + ..controls z5\0\5c1 and z5\0\5c2..z5\0\5 + ..controls z5\0\6c1 and z5\0\6c2..z5\0\6 + --cycle; + proof_labels ( + 5\0\0, + 5\0\1, + 5\0\2, + 5\0\3, + 5\0\4, + 5\0\5, + 5\0\6, + 5\0\7, +); +endchar; + +beginchar (6, 9.636u#, 6.745u#, 1.204u#); + ".notdef"; + z6\0\0s = (0.482u,3.132u); + z6\0\0c1 = (1.954u,-0.847u); + z6\0\0c2 = (9.095u,-2.917u); + z6\0\0 = (9.146u,1.445u); + z6\0\1c1 = (9.187u,4.936u); + z6\0\1c2 = (4.163u,2.372u); + z6\0\1 = (4.519u,4.787u); + z6\0\2c1 = (4.703u,6.033u); + z6\0\2c2 = (7.830u,5.338u); + z6\0\2 = (8.672u,5.300u); + z6\0\3c1 = (7.935u,7.468u); + z6\0\3c2 = (4.163u,7.008u); + z6\0\3 = (3.739u,4.817u); + z6\0\4c1 = (3.090u,1.461u); + z6\0\4c2 = (7.771u,2.732u); + z6\0\4 = (8.440u,1.612u); + z6\0\5c1 = (9.174u,0.382u); + z6\0\5c2 = (7.208u,0.218u); + z6\0\5 = (6.504u,0.282u); + z6\0\6c1 = (2.314u,0.660u); + z6\0\6c2 = (2.663u,2.477u); + fill_or_unfill z6\0\0s + ..controls z6\0\0c1 and z6\0\0c2..z6\0\0 + ..controls z6\0\1c1 and z6\0\1c2..z6\0\1 + ..controls z6\0\2c1 and z6\0\2c2..z6\0\2 + ..controls z6\0\3c1 and z6\0\3c2..z6\0\3 + ..controls z6\0\4c1 and z6\0\4c2..z6\0\4 + ..controls z6\0\5c1 and z6\0\5c2..z6\0\5 + ..controls z6\0\6c1 and z6\0\6c2..cycle; + proof_labels ( + 6\0\0, + 6\0\1, + 6\0\2, + 6\0\3, + 6\0\4, + 6\0\5, + 6\0\6, +); +endchar; + +beginchar (7, 7.709u#, 6.745u#, 1.445u#); + ".notdef"; + z7\0\0s = (6.281u,6.745u); + z7\0\0c1 = (6.115u,5.810u); + z7\0\0c2 = (6.410u,4.996u); + z7\0\0 = (6.281u,4.095u); + z7\0\1c1 = (6.047u,2.048u); + z7\0\1c2 = (3.916u,-0.946u); + z7\0\1 = (1.686u,-0.482u); + z7\0\2c1 = (2.400u,1.396u); + z7\0\2c2 = (4.044u,2.930u); + z7\0\2 = (3.828u,5.049u); + z7\0\3c1 = (3.619u,7.104u); + z7\0\3c2 = (1.272u,6.730u); + z7\0\3 = (0.723u,5.049u); + z7\0\4c1 = (1.223u,5.273u); + z7\0\4c2 = (2.499u,6.203u); + z7\0\4 = (2.456u,5.049u); + z7\0\5c1 = (2.401u,3.566u); + z7\0\5c2 = (-0.015u,1.531u); + z7\0\5 = (0.663u,-0.227u); + z7\0\6c1 = (1.912u,-3.464u); + z7\0\6c2 = (8.676u,1.598u); + z7\0\6 = (6.745u,6.745u); + fill_or_unfill z7\0\0s + ..controls z7\0\0c1 and z7\0\0c2..z7\0\0 + ..controls z7\0\1c1 and z7\0\1c2..z7\0\1 + ..controls z7\0\2c1 and z7\0\2c2..z7\0\2 + ..controls z7\0\3c1 and z7\0\3c2..z7\0\3 + ..controls z7\0\4c1 and z7\0\4c2..z7\0\4 + ..controls z7\0\5c1 and z7\0\5c2..z7\0\5 + ..controls z7\0\6c1 and z7\0\6c2..z7\0\6 + --cycle; + proof_labels ( + 7\0\0, + 7\0\1, + 7\0\2, + 7\0\3, + 7\0\4, + 7\0\5, + 7\0\6, + 7\0\7, +); +endchar; + +beginchar (8, 6.986u#, 6.504u#, 0.241u#); + ".notdef"; + z8\0\0s = (2.650u,6.504u); + z8\0\0c1 = (2.140u,4.267u); + z8\0\0c2 = (0.997u,2.189u); + z8\0\0 = (0.482u,0.000u); + z8\0\1c1 = (2.427u,0.463u); + z8\0\1c2 = (4.487u,0.000u); + z8\0\1 = (6.504u,0.000u); + z8\0\2c1 = (5.284u,1.075u); + z8\0\2c2 = (3.236u,1.475u); + z8\0\2 = (1.686u,1.927u); + z8\0\3c1 = (2.325u,3.175u); + z8\0\3c2 = (3.219u,5.134u); + z8\0\3 = (3.372u,6.504u); + fill_or_unfill z8\0\0s + ..controls z8\0\0c1 and z8\0\0c2..z8\0\0 + ..controls z8\0\1c1 and z8\0\1c2..z8\0\1 + ..controls z8\0\2c1 and z8\0\2c2..z8\0\2 + ..controls z8\0\3c1 and z8\0\3c2..z8\0\3 + --cycle; + proof_labels ( + 8\0\0, + 8\0\1, + 8\0\2, + 8\0\3, + 8\0\4, +); +endchar; + +beginchar (9, 8.672u#, 6.745u#, 0.964u#); + ".notdef"; + z9\0\0s = (1.445u,-0.241u); + z9\0\0c1 = (1.234u,0.696u); + z9\0\0c2 = (0.854u,1.675u); + z9\0\0 = (1.019u,2.650u); + z9\0\1c1 = (1.535u,5.694u); + z9\0\1c2 = (6.637u,5.710u); + z9\0\1 = (7.338u,4.044u); + z9\0\2c1 = (8.645u,0.945u); + z9\0\2c2 = (2.183u,4.283u); + z9\0\2 = (2.273u,0.725u); + z9\0\3c1 = (2.323u,-1.224u); + z9\0\3c2 = (7.258u,-1.711u); + z9\0\3 = (8.190u,1.445u); + z9\0\4c1 = (7.194u,0.927u); + z9\0\4c2 = (4.187u,-0.879u); + z9\0\4 = (3.399u,1.017u); + z9\0\5c1 = (2.300u,3.660u); + z9\0\5c2 = (9.290u,0.209u); + z9\0\5 = (8.115u,4.814u); + z9\0\6c1 = (7.533u,7.092u); + z9\0\6c2 = (3.540u,7.113u); + z9\0\6 = (2.021u,5.848u); + z9\0\7c1 = (0.627u,4.687u); + z9\0\7c2 = (-0.337u,0.920u); + fill_or_unfill z9\0\0s + ..controls z9\0\0c1 and z9\0\0c2..z9\0\0 + ..controls z9\0\1c1 and z9\0\1c2..z9\0\1 + ..controls z9\0\2c1 and z9\0\2c2..z9\0\2 + ..controls z9\0\3c1 and z9\0\3c2..z9\0\3 + ..controls z9\0\4c1 and z9\0\4c2..z9\0\4 + ..controls z9\0\5c1 and z9\0\5c2..z9\0\5 + ..controls z9\0\6c1 and z9\0\6c2..z9\0\6 + ..controls z9\0\7c1 and z9\0\7c2..cycle; + proof_labels ( + 9\0\0, + 9\0\1, + 9\0\2, + 9\0\3, + 9\0\4, + 9\0\5, + 9\0\6, + 9\0\7, +); +endchar; + +beginchar (13, 10.359u#, 6.745u#, 7.709u#); + ".notdef"; + z13\0\0s = (7.468u,3.854u); + z13\0\0c1 = (5.686u,3.854u); + z13\0\0c2 = (2.591u,4.538u); + z13\0\0 = (1.927u,2.409u); + z13\0\1c1 = (2.514u,2.409u); + z13\0\1c2 = (4.066u,2.478u); + z13\0\1 = (4.538u,2.265u); + z13\0\2c1 = (6.125u,1.548u); + z13\0\2c2 = (4.002u,0.081u); + z13\0\2 = (3.132u,-0.055u); + z13\0\3c1 = (2.346u,-0.282u); + z13\0\3c2 = (1.513u,-0.064u); + z13\0\3 = (0.723u,-0.055u); + z13\0\4c1 = (0.941u,-0.690u); + z13\0\4c2 = (1.315u,-1.084u); + z13\0\4 = (1.673u,-1.696u); + z13\0\5c1 = (3.295u,-4.464u); + z13\0\5c2 = (3.988u,-4.761u); + z13\0\5 = (7.227u,-4.336u); + z13\0\6c1 = (6.804u,-5.139u); + z13\0\6c2 = (6.774u,-5.367u); + z13\0\6 = (6.745u,-6.263u); + z13\0\7 = (8.913u,-4.577u); + z13\0\8c1 = (9.604u,-8.791u); + z13\0\8c2 = (3.171u,-5.179u); + z13\0\8 = (1.980u,-3.844u); + z13\0\9c1 = (1.406u,-3.200u); + z13\0\9c2 = (1.245u,-2.639u); + z13\0\9 = (0.482u,-2.168u); + z13\0\10c1 = (1.205u,-7.456u); + z13\0\10c2 = (9.401u,-9.038u); + z13\0\10 = (9.841u,-6.012u); + z13\0\11c1 = (10.086u,-4.321u); + z13\0\11c2 = (9.079u,-4.131u); + z13\0\11 = (7.709u,-4.095u); + z13\0\12c1 = (10.537u,-0.952u); + z13\0\12c2 = (5.994u,0.151u); + z13\0\12 = (6.205u,1.651u); + z13\0\13c1 = (6.327u,2.517u); + z13\0\13c2 = (7.551u,2.249u); + z13\0\13 = (8.045u,2.655u); + z13\0\14c1 = (8.626u,3.132u); + z13\0\14c2 = (8.132u,3.924u); + z13\0\14 = (8.444u,4.502u); + z13\0\15c1 = (8.990u,5.517u); + z13\0\15c2 = (9.797u,4.485u); + z13\0\15 = (9.877u,6.745u); + z13\0\16c1 = (7.543u,6.503u); + z13\0\16c2 = (7.470u,5.978u); + z13\1\0s = (3.132u,-0.723u); + z13\1\0c1 = (4.713u,-0.231u); + z13\1\0c2 = (4.961u,-0.011u); + z13\1\0 = (6.268u,-1.249u); + z13\1\1c1 = (9.105u,-3.935u); + z13\1\1c2 = (5.459u,-5.415u); + z13\1\1 = (3.806u,-2.409u); + z13\1\2c1 = (3.504u,-1.860u); + z13\1\2c2 = (3.302u,-1.322u); + fill_or_unfill z13\0\0s + ..controls z13\0\0c1 and z13\0\0c2..z13\0\0 + ..controls z13\0\1c1 and z13\0\1c2..z13\0\1 + ..controls z13\0\2c1 and z13\0\2c2..z13\0\2 + ..controls z13\0\3c1 and z13\0\3c2..z13\0\3 + ..controls z13\0\4c1 and z13\0\4c2..z13\0\4 + ..controls z13\0\5c1 and z13\0\5c2..z13\0\5 + ..controls z13\0\6c1 and z13\0\6c2..z13\0\6 + --z13\0\7 + ..controls z13\0\8c1 and z13\0\8c2..z13\0\8 + ..controls z13\0\9c1 and z13\0\9c2..z13\0\9 + ..controls z13\0\10c1 and z13\0\10c2..z13\0\10 + ..controls z13\0\11c1 and z13\0\11c2..z13\0\11 + ..controls z13\0\12c1 and z13\0\12c2..z13\0\12 + ..controls z13\0\13c1 and z13\0\13c2..z13\0\13 + ..controls z13\0\14c1 and z13\0\14c2..z13\0\14 + ..controls z13\0\15c1 and z13\0\15c2..z13\0\15 + ..controls z13\0\16c1 and z13\0\16c2..cycle; + fill_or_unfill z13\1\0s + ..controls z13\1\0c1 and z13\1\0c2..z13\1\0 + ..controls z13\1\1c1 and z13\1\1c2..z13\1\1 + ..controls z13\1\2c1 and z13\1\2c2..cycle; + proof_labels ( + 13\0\0, + 13\0\1, + 13\0\2, + 13\0\3, + 13\0\4, + 13\0\5, + 13\0\6, + 13\0\7, + 13\0\8, + 13\0\9, + 13\0\10, + 13\0\11, + 13\0\12, + 13\0\13, + 13\0\14, + 13\0\15, + 13\0\16, + 13\1\0, + 13\1\1, + 13\1\2, +); +endchar; + +beginchar (14, 9.636u#, 6.745u#, 4.336u#); + ".notdef"; + z14\0\0s = (1.927u,5.300u); + z14\0\0c1 = (7.449u,5.300u); + z14\0\0c2 = (4.881u,2.343u); + z14\0\0 = (0.723u,2.891u); + z14\0\1c1 = (2.357u,-0.433u); + z14\0\1c2 = (2.624u,-1.445u); + z14\0\1 = (6.504u,-1.445u); + z14\0\2 = (6.504u,-2.409u); + z14\0\3 = (8.190u,-1.686u); + z14\0\4c1 = (7.999u,-5.354u); + z14\0\4c2 = (2.870u,-1.866u); + z14\0\4 = (1.838u,-0.483u); + z14\0\5c1 = (1.307u,0.229u); + z14\0\5c2 = (1.286u,0.496u); + z14\0\5 = (0.482u,0.964u); + z14\0\6c1 = (1.564u,-1.736u); + z14\0\6c2 = (3.293u,-4.084u); + z14\0\6 = (6.504u,-4.088u); + z14\0\7c1 = (7.113u,-4.089u); + z14\0\7c2 = (8.075u,-4.015u); + z14\0\7 = (8.569u,-3.629u); + z14\0\8c1 = (9.948u,-2.551u); + z14\0\8c2 = (8.917u,-1.134u); + z14\0\8 = (7.468u,-0.964u); + z14\0\9c1 = (9.975u,2.431u); + z14\0\9c2 = (6.701u,2.421u); + z14\0\9 = (6.063u,4.100u); + z14\0\10c1 = (5.419u,5.795u); + z14\0\10c2 = (7.992u,4.375u); + z14\0\10 = (8.190u,6.745u); + z14\0\11c1 = (6.089u,6.745u); + z14\0\11c2 = (2.971u,7.511u); + z14\1\0s = (2.650u,2.409u); + z14\1\0c1 = (3.246u,2.501u); + z14\1\0c2 = (3.988u,2.779u); + z14\1\0 = (4.576u,2.741u); + z14\1\1c1 = (5.231u,2.699u); + z14\1\1c2 = (5.679u,2.297u); + z14\1\1 = (6.121u,1.854u); + z14\1\2c1 = (8.845u,-0.872u); + z14\1\2c2 = (5.527u,-2.222u); + z14\1\2 = (3.846u,0.245u); + fill_or_unfill z14\0\0s + ..controls z14\0\0c1 and z14\0\0c2..z14\0\0 + ..controls z14\0\1c1 and z14\0\1c2..z14\0\1 + --z14\0\2 + --z14\0\3 + ..controls z14\0\4c1 and z14\0\4c2..z14\0\4 + ..controls z14\0\5c1 and z14\0\5c2..z14\0\5 + ..controls z14\0\6c1 and z14\0\6c2..z14\0\6 + ..controls z14\0\7c1 and z14\0\7c2..z14\0\7 + ..controls z14\0\8c1 and z14\0\8c2..z14\0\8 + ..controls z14\0\9c1 and z14\0\9c2..z14\0\9 + ..controls z14\0\10c1 and z14\0\10c2..z14\0\10 + ..controls z14\0\11c1 and z14\0\11c2..cycle; + fill_or_unfill z14\1\0s + ..controls z14\1\0c1 and z14\1\0c2..z14\1\0 + ..controls z14\1\1c1 and z14\1\1c2..z14\1\1 + ..controls z14\1\2c1 and z14\1\2c2..z14\1\2 + --cycle; + proof_labels ( + 14\0\0, + 14\0\1, + 14\0\2, + 14\0\3, + 14\0\4, + 14\0\5, + 14\0\6, + 14\0\7, + 14\0\8, + 14\0\9, + 14\0\10, + 14\0\11, + 14\1\0, + 14\1\1, + 14\1\2, + 14\1\3, +); +endchar; + +beginchar (20, 8.672u#, 6.745u#, 10.118u#); + ".notdef"; + z20\0\0s = (7.468u,-0.482u); + z20\0\0c1 = (3.241u,-0.482u); + z20\0\0c2 = (1.686u,0.581u); + z20\0\0 = (1.445u,-4.577u); + z20\0\1c1 = (3.050u,-5.052u); + z20\0\1c2 = (3.326u,-5.810u); + z20\0\1 = (4.577u,-6.745u); + z20\0\2c1 = (4.316u,-2.917u); + z20\0\2c2 = (7.354u,-4.659u); + z20\0\2 = (7.379u,-6.504u); + z20\0\3c1 = (7.394u,-7.625u); + z20\0\3c2 = (6.571u,-8.799u); + z20\0\3 = (6.263u,-9.877u); + z20\0\4c1 = (8.406u,-8.630u); + z20\0\4c2 = (9.440u,-2.265u); + z20\0\4 = (5.782u,-2.958u); + z20\0\5c1 = (4.885u,-3.128u); + z20\0\5c2 = (4.495u,-3.571u); + z20\0\5 = (4.095u,-4.336u); + z20\0\6c1 = (-0.572u,-1.359u); + z20\0\6c2 = (6.617u,-1.927u); + z20\0\6 = (8.190u,-1.927u); + z20\0\7c1 = (7.916u,2.118u); + z20\0\7c2 = (5.467u,3.611u); + z20\0\7 = (1.686u,3.613u); + z20\0\8c1 = (2.065u,5.882u); + z20\0\8c2 = (4.739u,5.300u); + z20\0\8 = (6.504u,5.300u); + z20\0\9c1 = (6.469u,5.723u); + z20\0\9c2 = (6.491u,6.205u); + z20\0\9 = (6.119u,6.499u); + z20\0\10c1 = (5.487u,6.999u); + z20\0\10c2 = (1.666u,6.902u); + z20\0\10 = (1.163u,6.188u); + z20\0\11c1 = (0.831u,5.585u); + z20\0\11c2 = (1.211u,4.781u); + z20\0\11 = (1.163u,4.117u); + z20\0\12c1 = (1.036u,3.605u); + z20\0\12c2 = (0.496u,2.962u); + z20\0\12 = (0.660u,2.479u); + z20\0\13c1 = (0.896u,1.785u); + z20\0\13c2 = (2.744u,2.190u); + z20\0\13 = (3.372u,2.158u); + z20\0\14c1 = (5.170u,2.066u); + z20\0\14c2 = (6.694u,1.151u); + fill_or_unfill z20\0\0s + ..controls z20\0\0c1 and z20\0\0c2..z20\0\0 + ..controls z20\0\1c1 and z20\0\1c2..z20\0\1 + ..controls z20\0\2c1 and z20\0\2c2..z20\0\2 + ..controls z20\0\3c1 and z20\0\3c2..z20\0\3 + ..controls z20\0\4c1 and z20\0\4c2..z20\0\4 + ..controls z20\0\5c1 and z20\0\5c2..z20\0\5 + ..controls z20\0\6c1 and z20\0\6c2..z20\0\6 + ..controls z20\0\7c1 and z20\0\7c2..z20\0\7 + ..controls z20\0\8c1 and z20\0\8c2..z20\0\8 + ..controls z20\0\9c1 and z20\0\9c2..z20\0\9 + ..controls z20\0\10c1 and z20\0\10c2..z20\0\10 + ..controls z20\0\11c1 and z20\0\11c2..z20\0\11 + ..controls z20\0\12c1 and z20\0\12c2..z20\0\12 + ..controls z20\0\13c1 and z20\0\13c2..z20\0\13 + ..controls z20\0\14c1 and z20\0\14c2..cycle; + proof_labels ( + 20\0\0, + 20\0\1, + 20\0\2, + 20\0\3, + 20\0\4, + 20\0\5, + 20\0\6, + 20\0\7, + 20\0\8, + 20\0\9, + 20\0\10, + 20\0\11, + 20\0\12, + 20\0\13, + 20\0\14, +); +endchar; + +beginchar (21, 10.359u#, 6.745u#, 9.877u#); + ".notdef"; + z21\0\0s = (0.948u,1.927u); + z21\0\0c1 = (3.858u,2.420u); + z21\0\0c2 = (3.885u,1.205u); + z21\0\0 = (6.263u,0.723u); + z21\0\1c1 = (6.270u,2.970u); + z21\0\1c2 = (5.885u,5.264u); + z21\0\1 = (8.672u,5.300u); + z21\0\2 = (8.913u,-0.723u); + z21\0\3c1 = (7.913u,-0.723u); + z21\0\3c2 = (3.363u,-0.536u); + z21\0\3 = (2.790u,-0.969u); + z21\0\4c1 = (2.357u,-1.296u); + z21\0\4c2 = (1.322u,-3.960u); + z21\0\4 = (1.204u,-4.577u); + z21\0\5c1 = (3.926u,-4.490u); + z21\0\5c2 = (3.931u,-5.027u); + z21\0\5 = (6.022u,-6.504u); + z21\0\6c1 = (6.168u,-2.338u); + z21\0\6c2 = (11.966u,-5.699u); + z21\0\6 = (6.504u,-9.395u); + z21\0\7c1 = (8.767u,-10.183u); + z21\0\7c2 = (10.731u,-5.478u); + z21\0\7 = (9.492u,-3.921u); + z21\0\8c1 = (7.921u,-1.947u); + z21\0\8c2 = (5.692u,-4.230u); + z21\0\8 = (5.140u,-4.170u); + z21\0\9c1 = (4.591u,-4.111u); + z21\0\9c2 = (3.750u,-3.096u); + z21\0\9 = (2.409u,-2.891u); + z21\0\10c1 = (4.191u,-1.716u); + z21\0\10c2 = (7.058u,-2.168u); + z21\0\10 = (9.154u,-2.168u); + z21\0\11c1 = (9.205u,-1.061u); + z21\0\11c2 = (9.927u,5.936u); + z21\0\11 = (9.621u,6.360u); + z21\0\12c1 = (9.299u,6.806u); + z21\0\12c2 = (8.439u,6.742u); + z21\0\12 = (7.950u,6.745u); + z21\0\13c1 = (6.748u,6.753u); + z21\0\13c2 = (0.799u,7.170u); + z21\0\13 = (0.585u,6.009u); + z21\0\14c1 = (0.495u,5.523u); + z21\0\14c2 = (0.870u,4.844u); + z21\0\14 = (0.948u,4.327u); + z21\1\0s = (5.782u,1.686u); + z21\1\0 = (1.716u,3.748u); + z21\1\1c1 = (0.886u,5.136u); + z21\1\1c2 = (5.711u,7.581u); + fill_or_unfill z21\0\0s + ..controls z21\0\0c1 and z21\0\0c2..z21\0\0 + ..controls z21\0\1c1 and z21\0\1c2..z21\0\1 + --z21\0\2 + ..controls z21\0\3c1 and z21\0\3c2..z21\0\3 + ..controls z21\0\4c1 and z21\0\4c2..z21\0\4 + ..controls z21\0\5c1 and z21\0\5c2..z21\0\5 + ..controls z21\0\6c1 and z21\0\6c2..z21\0\6 + ..controls z21\0\7c1 and z21\0\7c2..z21\0\7 + ..controls z21\0\8c1 and z21\0\8c2..z21\0\8 + ..controls z21\0\9c1 and z21\0\9c2..z21\0\9 + ..controls z21\0\10c1 and z21\0\10c2..z21\0\10 + ..controls z21\0\11c1 and z21\0\11c2..z21\0\11 + ..controls z21\0\12c1 and z21\0\12c2..z21\0\12 + ..controls z21\0\13c1 and z21\0\13c2..z21\0\13 + ..controls z21\0\14c1 and z21\0\14c2..z21\0\14 + --cycle; + fill_or_unfill z21\1\0s + --z21\1\0 + ..controls z21\1\1c1 and z21\1\1c2..cycle; + proof_labels ( + 21\0\0, + 21\0\1, + 21\0\2, + 21\0\3, + 21\0\4, + 21\0\5, + 21\0\6, + 21\0\7, + 21\0\8, + 21\0\9, + 21\0\10, + 21\0\11, + 21\0\12, + 21\0\13, + 21\0\14, + 21\0\15, + 21\1\0, + 21\1\1, +); +endchar; + +beginchar (22, 9.877u#, 6.745u#, 10.359u#); + ".notdef"; + z22\0\0s = (3.132u,5.300u); + z22\0\0c1 = (4.889u,5.300u); + z22\0\0c2 = (6.941u,5.822u); + z22\0\0 = (7.950u,4.095u); + z22\0\1c1 = (5.468u,3.491u); + z22\0\1c2 = (1.642u,3.549u); + z22\0\1 = (0.630u,0.483u); + z22\0\2c1 = (0.339u,-0.401u); + z22\0\2c2 = (0.775u,-0.775u); + z22\0\2 = (1.445u,-1.204u); + z22\0\3c1 = (1.145u,-2.130u); + z22\0\3c2 = (0.986u,-2.879u); + z22\0\3 = (0.964u,-3.854u); + z22\0\4c1 = (4.417u,-3.885u); + z22\0\4c2 = (3.972u,-4.849u); + z22\0\4 = (6.504u,-6.263u); + z22\0\5c1 = (6.334u,-5.687u); + z22\0\5c2 = (5.369u,-4.035u); + z22\0\5 = (5.446u,-3.693u); + z22\0\6c1 = (5.735u,-2.402u); + z22\0\6c2 = (7.542u,-4.224u); + z22\0\6 = (7.772u,-4.819u); + z22\0\7c1 = (8.452u,-6.577u); + z22\0\7c2 = (7.437u,-8.556u); + z22\0\7 = (6.745u,-10.118u); + z22\0\8c1 = (8.459u,-9.128u); + z22\0\8c2 = (8.743u,-5.927u); + z22\0\8 = (8.668u,-4.095u); + z22\0\9c1 = (8.564u,-1.574u); + z22\0\9c2 = (6.002u,-1.324u); + z22\0\9 = (4.818u,-3.372u); + z22\0\10c1 = (3.760u,-2.864u); + z22\0\10c2 = (2.802u,-2.317u); + z22\0\10 = (1.686u,-1.927u); + z22\0\11c1 = (3.780u,0.251u); + z22\0\11c2 = (6.987u,-2.386u); + z22\0\11 = (7.468u,0.482u); + z22\0\12 = (0.964u,0.482u); + z22\0\13c1 = (4.962u,3.577u); + z22\0\13c2 = (4.650u,2.777u); + z22\0\13 = (9.154u,2.409u); + z22\0\14 = (8.431u,5.300u); + z22\0\15c1 = (9.211u,5.573u); + z22\0\15c2 = (9.748u,6.341u); + z22\0\15 = (8.637u,6.669u); + z22\0\16c1 = (7.966u,6.868u); + z22\0\16c2 = (4.230u,6.822u); + z22\0\16 = (3.689u,6.462u); + z22\0\17c1 = (3.242u,6.165u); + z22\0\17c2 = (3.214u,5.780u); + fill_or_unfill z22\0\0s + ..controls z22\0\0c1 and z22\0\0c2..z22\0\0 + ..controls z22\0\1c1 and z22\0\1c2..z22\0\1 + ..controls z22\0\2c1 and z22\0\2c2..z22\0\2 + ..controls z22\0\3c1 and z22\0\3c2..z22\0\3 + ..controls z22\0\4c1 and z22\0\4c2..z22\0\4 + ..controls z22\0\5c1 and z22\0\5c2..z22\0\5 + ..controls z22\0\6c1 and z22\0\6c2..z22\0\6 + ..controls z22\0\7c1 and z22\0\7c2..z22\0\7 + ..controls z22\0\8c1 and z22\0\8c2..z22\0\8 + ..controls z22\0\9c1 and z22\0\9c2..z22\0\9 + ..controls z22\0\10c1 and z22\0\10c2..z22\0\10 + ..controls z22\0\11c1 and z22\0\11c2..z22\0\11 + --z22\0\12 + ..controls z22\0\13c1 and z22\0\13c2..z22\0\13 + --z22\0\14 + ..controls z22\0\15c1 and z22\0\15c2..z22\0\15 + ..controls z22\0\16c1 and z22\0\16c2..z22\0\16 + ..controls z22\0\17c1 and z22\0\17c2..cycle; + proof_labels ( + 22\0\0, + 22\0\1, + 22\0\2, + 22\0\3, + 22\0\4, + 22\0\5, + 22\0\6, + 22\0\7, + 22\0\8, + 22\0\9, + 22\0\10, + 22\0\11, + 22\0\12, + 22\0\13, + 22\0\14, + 22\0\15, + 22\0\16, + 22\0\17, +); +endchar; + +beginchar (23, 8.672u#, 6.745u#, 10.600u#); + ".notdef"; + z23\0\0s = (1.927u,5.059u); + z23\0\0c1 = (1.216u,3.121u); + z23\0\0c2 = (0.533u,2.747u); + z23\0\0 = (0.482u,0.482u); + z23\0\1c1 = (4.572u,1.111u); + z23\0\1c2 = (4.019u,0.816u); + z23\0\1 = (7.709u,-0.723u); + z23\0\2c1 = (3.893u,-1.806u); + z23\0\2c2 = (1.967u,0.966u); + z23\0\2 = (1.686u,-5.059u); + z23\0\3c1 = (3.291u,-5.533u); + z23\0\3c2 = (3.567u,-6.292u); + z23\0\3 = (4.818u,-7.227u); + z23\0\4c1 = (4.557u,-3.399u); + z23\0\4c2 = (7.595u,-5.141u); + z23\0\4 = (7.619u,-6.986u); + z23\0\5c1 = (7.635u,-8.107u); + z23\0\5c2 = (6.812u,-9.280u); + z23\0\5 = (6.504u,-10.359u); + z23\0\6c1 = (8.522u,-9.184u); + z23\0\6c2 = (9.381u,-2.804u); + z23\0\6 = (6.023u,-3.440u); + z23\0\7c1 = (5.126u,-3.610u); + z23\0\7c2 = (4.735u,-4.053u); + z23\0\7 = (4.336u,-4.818u); + z23\0\8c1 = (-0.263u,-1.884u); + z23\0\8c2 = (6.601u,-2.409u); + z23\0\8 = (8.190u,-2.409u); + z23\0\9 = (8.190u,6.718u); + z23\0\10c1 = (6.418u,6.745u); + z23\0\10c2 = (4.132u,7.022u); + z23\0\10 = (2.419u,6.718u); + z23\0\11c1 = (1.468u,6.507u); + z23\0\11c2 = (0.753u,5.553u); + z23\1\0s = (7.950u,-0.241u); + z23\1\0c1 = (5.446u,1.495u); + z23\1\0c2 = (4.908u,2.406u); + z23\1\0 = (1.686u,2.409u); + z23\1\1c1 = (1.954u,4.713u); + z23\1\1c2 = (3.443u,5.331u); + z23\1\1 = (5.540u,5.299u); + z23\1\2c1 = (6.211u,5.289u); + z23\1\2c2 = (6.703u,5.324u); + z23\1\2 = (7.158u,4.747u); + z23\1\3c1 = (7.975u,3.711u); + z23\1\3c2 = (7.950u,1.064u); + fill_or_unfill z23\0\0s + ..controls z23\0\0c1 and z23\0\0c2..z23\0\0 + ..controls z23\0\1c1 and z23\0\1c2..z23\0\1 + ..controls z23\0\2c1 and z23\0\2c2..z23\0\2 + ..controls z23\0\3c1 and z23\0\3c2..z23\0\3 + ..controls z23\0\4c1 and z23\0\4c2..z23\0\4 + ..controls z23\0\5c1 and z23\0\5c2..z23\0\5 + ..controls z23\0\6c1 and z23\0\6c2..z23\0\6 + ..controls z23\0\7c1 and z23\0\7c2..z23\0\7 + ..controls z23\0\8c1 and z23\0\8c2..z23\0\8 + --z23\0\9 + ..controls z23\0\10c1 and z23\0\10c2..z23\0\10 + ..controls z23\0\11c1 and z23\0\11c2..cycle; + fill_or_unfill z23\1\0s + ..controls z23\1\0c1 and z23\1\0c2..z23\1\0 + ..controls z23\1\1c1 and z23\1\1c2..z23\1\1 + ..controls z23\1\2c1 and z23\1\2c2..z23\1\2 + ..controls z23\1\3c1 and z23\1\3c2..cycle; + proof_labels ( + 23\0\0, + 23\0\1, + 23\0\2, + 23\0\3, + 23\0\4, + 23\0\5, + 23\0\6, + 23\0\7, + 23\0\8, + 23\0\9, + 23\0\10, + 23\0\11, + 23\1\0, + 23\1\1, + 23\1\2, + 23\1\3, +); +endchar; + +beginchar (24, 9.636u#, 6.745u#, 13.009u#); + ".notdef"; + z24\0\0s = (0.482u,-3.372u); + z24\0\0c1 = (3.839u,-3.070u); + z24\0\0c2 = (5.752u,-0.887u); + z24\0\0 = (8.672u,-4.336u); + z24\0\1c1 = (7.593u,-4.336u); + z24\0\1c2 = (2.179u,-4.085u); + z24\0\1 = (1.696u,-4.755u); + z24\0\2 = (1.204u,-8.190u); + z24\0\3c1 = (3.176u,-8.640u); + z24\0\3c2 = (4.765u,-9.165u); + z24\0\3 = (5.300u,-11.322u); + z24\0\4c1 = (6.487u,-10.527u); + z24\0\4c2 = (5.675u,-9.450u); + z24\0\4 = (6.576u,-8.851u); + z24\0\5c1 = (7.294u,-8.375u); + z24\0\5c2 = (7.830u,-9.224u); + z24\0\5 = (7.801u,-9.878u); + z24\0\6c1 = (7.763u,-10.743u); + z24\0\6c2 = (6.835u,-11.902u); + z24\0\6 = (6.504u,-12.768u); + z24\0\7c1 = (9.540u,-11.873u); + z24\0\7c2 = (10.257u,-6.436u); + z24\0\7 = (6.745u,-6.828u); + z24\0\8c1 = (5.853u,-6.927u); + z24\0\8c2 = (5.482u,-7.191u); + z24\0\8 = (5.059u,-7.950u); + z24\0\9c1 = (4.582u,-7.675u); + z24\0\9c2 = (0.876u,-6.223u); + z24\0\9 = (3.378u,-5.800u); + z24\0\10 = (4.095u,-5.800u); + z24\0\11c1 = (4.959u,-5.767u); + z24\0\11c2 = (7.757u,-5.934u); + z24\0\11 = (8.356u,-5.535u); + z24\0\12c1 = (10.064u,-4.397u); + z24\0\12c2 = (8.071u,-2.114u); + z24\0\12 = (6.745u,-1.650u); + z24\0\13c1 = (4.849u,-0.986u); + z24\0\13c2 = (3.122u,-1.357u); + z24\0\13 = (1.204u,-1.445u); + z24\0\14 = (1.204u,0.241u); + z24\0\15 = (6.986u,0.241u); + z24\0\16 = (6.986u,1.686u); + z24\0\17 = (1.204u,1.686u); + z24\0\18 = (1.204u,3.132u); + z24\0\19 = (6.986u,3.132u); + z24\0\20c1 = (6.979u,3.832u); + z24\0\20c2 = (6.937u,4.382u); + z24\0\20 = (6.745u,5.059u); + z24\0\21c1 = (8.150u,5.406u); + z24\0\21c2 = (8.795u,5.113u); + z24\0\21 = (9.154u,6.745u); + z24\0\22c1 = (4.822u,6.741u); + z24\0\22c2 = (8.151u,4.585u); + z24\0\22 = (4.095u,4.577u); + z24\0\23c1 = (3.426u,4.576u); + z24\0\23c2 = (1.332u,4.699u); + z24\0\23 = (0.867u,4.331u); + z24\0\24c1 = (0.233u,3.829u); + z24\0\24c2 = (0.482u,-2.222u); + fill_or_unfill z24\0\0s + ..controls z24\0\0c1 and z24\0\0c2..z24\0\0 + ..controls z24\0\1c1 and z24\0\1c2..z24\0\1 + --z24\0\2 + ..controls z24\0\3c1 and z24\0\3c2..z24\0\3 + ..controls z24\0\4c1 and z24\0\4c2..z24\0\4 + ..controls z24\0\5c1 and z24\0\5c2..z24\0\5 + ..controls z24\0\6c1 and z24\0\6c2..z24\0\6 + ..controls z24\0\7c1 and z24\0\7c2..z24\0\7 + ..controls z24\0\8c1 and z24\0\8c2..z24\0\8 + ..controls z24\0\9c1 and z24\0\9c2..z24\0\9 + --z24\0\10 + ..controls z24\0\11c1 and z24\0\11c2..z24\0\11 + ..controls z24\0\12c1 and z24\0\12c2..z24\0\12 + ..controls z24\0\13c1 and z24\0\13c2..z24\0\13 + --z24\0\14 + --z24\0\15 + --z24\0\16 + --z24\0\17 + --z24\0\18 + --z24\0\19 + ..controls z24\0\20c1 and z24\0\20c2..z24\0\20 + ..controls z24\0\21c1 and z24\0\21c2..z24\0\21 + ..controls z24\0\22c1 and z24\0\22c2..z24\0\22 + ..controls z24\0\23c1 and z24\0\23c2..z24\0\23 + ..controls z24\0\24c1 and z24\0\24c2..cycle; + proof_labels ( + 24\0\0, + 24\0\1, + 24\0\2, + 24\0\3, + 24\0\4, + 24\0\5, + 24\0\6, + 24\0\7, + 24\0\8, + 24\0\9, + 24\0\10, + 24\0\11, + 24\0\12, + 24\0\13, + 24\0\14, + 24\0\15, + 24\0\16, + 24\0\17, + 24\0\18, + 24\0\19, + 24\0\20, + 24\0\21, + 24\0\22, + 24\0\23, + 24\0\24, +); +endchar; + +beginchar (25, 7.950u#, 6.745u#, 4.095u#); + ".notdef"; + z25\0\0s = (1.204u,-3.854u); + z25\0\0c1 = (3.796u,-1.507u); + z25\0\0c2 = (3.812u,-1.039u); + z25\0\0 = (7.468u,-1.204u); + z25\0\1c1 = (7.240u,0.124u); + z25\0\1c2 = (6.234u,0.562u); + z25\0\1 = (5.300u,1.445u); + z25\0\2c1 = (7.465u,1.928u); + z25\0\2c2 = (7.325u,3.063u); + z25\0\2 = (6.992u,4.818u); + z25\0\3c1 = (6.877u,5.427u); + z25\0\3c2 = (7.020u,6.062u); + z25\0\3 = (6.428u,6.462u); + z25\0\4c1 = (5.961u,6.777u); + z25\0\4c2 = (5.124u,6.742u); + z25\0\4 = (4.577u,6.745u); + z25\0\5c1 = (3.778u,6.749u); + z25\0\5c2 = (1.395u,6.928u); + z25\0\5 = (0.877u,6.360u); + z25\0\6c1 = (0.710u,6.178u); + z25\0\6c2 = (0.664u,6.008u); + z25\0\6 = (0.647u,5.768u); + z25\0\7 = (0.953u,3.854u); + z25\0\8c1 = (1.095u,1.281u); + z25\0\8c2 = (1.204u,-1.272u); + z25\1\0s = (2.685u,5.156u); + z25\1\0c1 = (5.921u,5.878u); + z25\1\0c2 = (7.528u,3.389u); + z25\1\0 = (4.577u,2.631u); + z25\1\1c1 = (3.291u,2.300u); + z25\1\1c2 = (0.987u,3.957u); + z25\2\0s = (2.168u,3.132u); + z25\2\0c1 = (3.438u,2.360u); + z25\2\0c2 = (4.637u,1.618u); + z25\2\0 = (5.300u,0.241u); + z25\2\1c1 = (3.855u,-0.331u); + z25\2\1c2 = (2.928u,-1.290u); + z25\2\1 = (1.686u,-2.168u); + z25\2\2c1 = (1.686u,-0.490u); + z25\2\2c2 = (1.457u,1.589u); + fill_or_unfill z25\0\0s + ..controls z25\0\0c1 and z25\0\0c2..z25\0\0 + ..controls z25\0\1c1 and z25\0\1c2..z25\0\1 + ..controls z25\0\2c1 and z25\0\2c2..z25\0\2 + ..controls z25\0\3c1 and z25\0\3c2..z25\0\3 + ..controls z25\0\4c1 and z25\0\4c2..z25\0\4 + ..controls z25\0\5c1 and z25\0\5c2..z25\0\5 + ..controls z25\0\6c1 and z25\0\6c2..z25\0\6 + --z25\0\7 + ..controls z25\0\8c1 and z25\0\8c2..cycle; + fill_or_unfill z25\1\0s + ..controls z25\1\0c1 and z25\1\0c2..z25\1\0 + ..controls z25\1\1c1 and z25\1\1c2..cycle; + fill_or_unfill z25\2\0s + ..controls z25\2\0c1 and z25\2\0c2..z25\2\0 + ..controls z25\2\1c1 and z25\2\1c2..z25\2\1 + ..controls z25\2\2c1 and z25\2\2c2..cycle; + proof_labels ( + 25\0\0, + 25\0\1, + 25\0\2, + 25\0\3, + 25\0\4, + 25\0\5, + 25\0\6, + 25\0\7, + 25\0\8, + 25\1\0, + 25\1\1, + 25\2\0, + 25\2\1, + 25\2\2, +); +endchar; + +beginchar (26, 6.986u#, 6.745u#, 6.986u#); + ".notdef"; + z26\0\0s = (3.854u,-6.745u); + z26\0\0c1 = (3.422u,-4.621u); + z26\0\0c2 = (0.039u,-0.923u); + z26\0\0 = (2.676u,0.971u); + z26\0\1c1 = (4.071u,1.974u); + z26\0\1c2 = (5.022u,1.666u); + z26\0\1 = (6.504u,1.204u); + z26\0\2 = (6.504u,6.745u); + z26\0\3 = (2.650u,6.745u); + z26\0\4c1 = (2.177u,6.744u); + z26\0\4c2 = (1.042u,6.831u); + z26\0\4 = (0.763u,6.370u); + z26\0\5c1 = (0.408u,5.785u); + z26\0\5c2 = (1.270u,5.434u); + z26\0\5 = (1.691u,5.354u); + z26\0\6c1 = (2.511u,5.199u); + z26\0\6c2 = (5.491u,5.670u); + z26\0\6 = (5.432u,4.321u); + z26\0\7c1 = (5.359u,2.682u); + z26\0\7c2 = (2.607u,3.604u); + z26\0\7 = (1.549u,2.374u); + z26\0\8c1 = (-0.252u,0.280u); + z26\0\8c2 = (1.936u,-5.291u); + fill_or_unfill z26\0\0s + ..controls z26\0\0c1 and z26\0\0c2..z26\0\0 + ..controls z26\0\1c1 and z26\0\1c2..z26\0\1 + --z26\0\2 + --z26\0\3 + ..controls z26\0\4c1 and z26\0\4c2..z26\0\4 + ..controls z26\0\5c1 and z26\0\5c2..z26\0\5 + ..controls z26\0\6c1 and z26\0\6c2..z26\0\6 + ..controls z26\0\7c1 and z26\0\7c2..z26\0\7 + ..controls z26\0\8c1 and z26\0\8c2..cycle; + proof_labels ( + 26\0\0, + 26\0\1, + 26\0\2, + 26\0\3, + 26\0\4, + 26\0\5, + 26\0\6, + 26\0\7, + 26\0\8, +); +endchar; + +beginchar (27, 9.395u#, 6.504u#, 5.541u#); + ".notdef"; + z27\0\0s = (2.168u,6.504u); + z27\0\0c1 = (2.437u,3.294u); + z27\0\0c2 = (5.415u,7.034u); + z27\0\0 = (7.950u,3.132u); + z27\0\1c1 = (6.635u,3.132u); + z27\0\1c2 = (5.318u,3.249u); + z27\0\1 = (4.136u,2.551u); + z27\0\2c1 = (3.501u,2.176u); + z27\0\2c2 = (2.679u,1.330u); + z27\0\2 = (2.296u,0.701u); + z27\0\3c1 = (1.653u,-0.353u); + z27\0\3c2 = (0.147u,-4.539u); + z27\0\3 = (1.204u,-5.300u); + z27\0\4c1 = (1.760u,-2.579u); + z27\0\4c2 = (3.171u,0.859u); + z27\0\4 = (6.263u,1.366u); + z27\0\5c1 = (7.141u,1.510u); + z27\0\5c2 = (8.037u,1.275u); + z27\0\5 = (8.913u,1.204u); + z27\0\6c1 = (8.904u,2.200u); + z27\0\6c2 = (8.595u,2.923u); + z27\0\6 = (8.490u,3.854u); + z27\0\7c1 = (8.410u,4.562u); + z27\0\7c2 = (8.976u,5.308u); + z27\0\7 = (8.617u,5.947u); + z27\0\8c1 = (8.106u,6.855u); + z27\0\8c2 = (3.302u,6.504u); + fill_or_unfill z27\0\0s + ..controls z27\0\0c1 and z27\0\0c2..z27\0\0 + ..controls z27\0\1c1 and z27\0\1c2..z27\0\1 + ..controls z27\0\2c1 and z27\0\2c2..z27\0\2 + ..controls z27\0\3c1 and z27\0\3c2..z27\0\3 + ..controls z27\0\4c1 and z27\0\4c2..z27\0\4 + ..controls z27\0\5c1 and z27\0\5c2..z27\0\5 + ..controls z27\0\6c1 and z27\0\6c2..z27\0\6 + ..controls z27\0\7c1 and z27\0\7c2..z27\0\7 + ..controls z27\0\8c1 and z27\0\8c2..cycle; + proof_labels ( + 27\0\0, + 27\0\1, + 27\0\2, + 27\0\3, + 27\0\4, + 27\0\5, + 27\0\6, + 27\0\7, + 27\0\8, +); +endchar; + +beginchar (28, 7.950u#, 6.745u#, 6.263u#); + ".notdef"; + z28\0\0s = (0.482u,-6.022u); + z28\0\0 = (1.204u,-6.022u); + z28\0\1c1 = (1.204u,-2.971u); + z28\0\1c2 = (1.163u,-0.691u); + z28\0\1 = (3.372u,1.686u); + z28\0\2c1 = (3.639u,0.042u); + z28\0\2c2 = (5.715u,-1.393u); + z28\0\2 = (7.083u,0.123u); + z28\0\3c1 = (8.031u,1.174u); + z28\0\3c2 = (7.425u,3.361u); + z28\0\3 = (6.021u,3.802u); + z28\0\4c1 = (5.439u,3.913u); + z28\0\4c2 = (4.478u,3.854u); + z28\0\4 = (3.854u,3.802u); + z28\0\5c1 = (4.463u,5.066u); + z28\0\5c2 = (4.958u,5.223u); + z28\0\5 = (6.263u,5.300u); + z28\0\6c1 = (5.830u,7.268u); + z28\0\6c2 = (4.041u,6.774u); + z28\0\6 = (2.409u,6.744u); + z28\0\7c1 = (1.906u,6.735u); + z28\0\7c2 = (0.877u,6.771u); + z28\0\7 = (0.902u,6.019u); + z28\0\8c1 = (0.941u,4.837u); + z28\0\8c2 = (3.308u,5.750u); + z28\0\8 = (3.156u,4.332u); + z28\0\9c1 = (3.094u,3.749u); + z28\0\9c2 = (1.652u,2.427u); + z28\0\9 = (1.298u,1.444u); + z28\0\10c1 = (0.668u,-0.303u); + z28\0\10c2 = (0.482u,-4.104u); + z28\1\0s = (5.060u,2.793u); + z28\1\0c1 = (7.695u,3.008u); + z28\1\0c2 = (7.362u,0.278u); + z28\1\0 = (5.778u,0.080u); + z28\1\1c1 = (4.394u,-0.093u); + z28\1\1c2 = (2.508u,1.958u); + fill_or_unfill z28\0\0s + --z28\0\0 + ..controls z28\0\1c1 and z28\0\1c2..z28\0\1 + ..controls z28\0\2c1 and z28\0\2c2..z28\0\2 + ..controls z28\0\3c1 and z28\0\3c2..z28\0\3 + ..controls z28\0\4c1 and z28\0\4c2..z28\0\4 + ..controls z28\0\5c1 and z28\0\5c2..z28\0\5 + ..controls z28\0\6c1 and z28\0\6c2..z28\0\6 + ..controls z28\0\7c1 and z28\0\7c2..z28\0\7 + ..controls z28\0\8c1 and z28\0\8c2..z28\0\8 + ..controls z28\0\9c1 and z28\0\9c2..z28\0\9 + ..controls z28\0\10c1 and z28\0\10c2..cycle; + fill_or_unfill z28\1\0s + ..controls z28\1\0c1 and z28\1\0c2..z28\1\0 + ..controls z28\1\1c1 and z28\1\1c2..cycle; + proof_labels ( + 28\0\0, + 28\0\1, + 28\0\2, + 28\0\3, + 28\0\4, + 28\0\5, + 28\0\6, + 28\0\7, + 28\0\8, + 28\0\9, + 28\0\10, + 28\1\0, + 28\1\1, +); +endchar; + +beginchar (29, 10.840u#, 6.745u#, 9.154u#); + ".notdef"; + z29\0\0s = (0.482u,5.300u); + z29\0\0 = (1.445u,5.059u); + z29\0\1 = (0.482u,2.168u); + z29\0\2c1 = (1.855u,2.967u); + z29\0\2c2 = (1.733u,4.462u); + z29\0\2 = (2.715u,5.052u); + z29\0\3c1 = (5.117u,6.495u); + z29\0\3c2 = (4.818u,1.059u); + z29\0\3 = (4.818u,0.000u); + z29\0\4 = (1.483u,0.000u); + z29\0\5c1 = (1.445u,-1.089u); + z29\0\5c2 = (1.376u,-7.652u); + z29\0\5 = (1.483u,-8.158u); + z29\0\6c1 = (1.653u,-8.622u); + z29\0\6c2 = (1.804u,-8.669u); + z29\0\6 = (2.168u,-8.913u); + z29\0\7c1 = (2.168u,-7.677u); + z29\0\7c2 = (2.115u,-6.510u); + z29\0\7 = (2.409u,-5.300u); + z29\0\8c1 = (4.590u,-6.144u); + z29\0\8c2 = (5.901u,-6.454u); + z29\0\8 = (7.950u,-5.059u); + z29\0\9 = (8.431u,-8.431u); + z29\0\10c1 = (9.908u,-7.956u); + z29\0\10c2 = (10.267u,-7.565u); + z29\0\10 = (10.359u,-6.022u); + z29\0\11c1 = (9.620u,-6.257u); + z29\0\11c2 = (9.535u,-6.310u); + z29\0\11 = (9.154u,-6.986u); + z29\0\12c1 = (8.660u,-5.487u); + z29\0\12c2 = (9.006u,-3.742u); + z29\0\12 = (8.495u,-2.409u); + z29\0\13c1 = (7.795u,-0.584u); + z29\0\13c2 = (5.728u,-0.534u); + z29\0\13 = (5.375u,0.748u); + z29\0\14c1 = (5.077u,1.832u); + z29\0\14c2 = (5.540u,4.047u); + z29\0\14 = (5.541u,5.300u); + z29\0\15 = (8.431u,5.300u); + z29\0\16 = (8.913u,-0.482u); + z29\0\17 = (9.382u,-0.482u); + z29\0\18c1 = (9.395u,0.342u); + z29\0\18c2 = (9.526u,5.913u); + z29\0\18 = (9.382u,6.188u); + z29\0\19c1 = (9.040u,6.759u); + z29\0\19c2 = (8.280u,6.734u); + z29\0\19 = (7.709u,6.744u); + z29\0\20c1 = (6.618u,6.764u); + z29\0\20c2 = (1.700u,6.939u); + z29\0\20 = (1.039u,6.499u); + z29\0\21c1 = (0.590u,6.200u); + z29\0\21c2 = (0.562u,5.780u); + z29\1\0s = (4.095u,-0.662u); + z29\1\0c1 = (9.870u,-0.902u); + z29\1\0c2 = (7.897u,-5.350u); + z29\1\0 = (5.541u,-5.414u); + z29\1\1c1 = (2.238u,-5.502u); + z29\1\1c2 = (0.388u,-1.055u); + fill_or_unfill z29\0\0s + --z29\0\0 + --z29\0\1 + ..controls z29\0\2c1 and z29\0\2c2..z29\0\2 + ..controls z29\0\3c1 and z29\0\3c2..z29\0\3 + --z29\0\4 + ..controls z29\0\5c1 and z29\0\5c2..z29\0\5 + ..controls z29\0\6c1 and z29\0\6c2..z29\0\6 + ..controls z29\0\7c1 and z29\0\7c2..z29\0\7 + ..controls z29\0\8c1 and z29\0\8c2..z29\0\8 + --z29\0\9 + ..controls z29\0\10c1 and z29\0\10c2..z29\0\10 + ..controls z29\0\11c1 and z29\0\11c2..z29\0\11 + ..controls z29\0\12c1 and z29\0\12c2..z29\0\12 + ..controls z29\0\13c1 and z29\0\13c2..z29\0\13 + ..controls z29\0\14c1 and z29\0\14c2..z29\0\14 + --z29\0\15 + --z29\0\16 + --z29\0\17 + ..controls z29\0\18c1 and z29\0\18c2..z29\0\18 + ..controls z29\0\19c1 and z29\0\19c2..z29\0\19 + ..controls z29\0\20c1 and z29\0\20c2..z29\0\20 + ..controls z29\0\21c1 and z29\0\21c2..cycle; + fill_or_unfill z29\1\0s + ..controls z29\1\0c1 and z29\1\0c2..z29\1\0 + ..controls z29\1\1c1 and z29\1\1c2..cycle; + proof_labels ( + 29\0\0, + 29\0\1, + 29\0\2, + 29\0\3, + 29\0\4, + 29\0\5, + 29\0\6, + 29\0\7, + 29\0\8, + 29\0\9, + 29\0\10, + 29\0\11, + 29\0\12, + 29\0\13, + 29\0\14, + 29\0\15, + 29\0\16, + 29\0\17, + 29\0\18, + 29\0\19, + 29\0\20, + 29\0\21, + 29\1\0, + 29\1\1, +); +endchar; + +beginchar (30, 11.563u#, 6.745u#, 6.504u#); + ".notdef"; + z30\0\0s = (1.204u,-6.263u); + z30\0\0 = (1.686u,-6.263u); + z30\0\1 = (1.927u,1.204u); + z30\0\2c1 = (3.808u,0.241u); + z30\0\2c2 = (5.695u,-0.577u); + z30\0\2 = (6.986u,1.686u); + z30\0\3c1 = (7.303u,0.569u); + z30\0\3c2 = (7.227u,-0.535u); + z30\0\3 = (7.227u,-1.686u); + z30\0\4c1 = (9.028u,-0.412u); + z30\0\4c2 = (8.247u,0.243u); + z30\0\4 = (11.081u,0.482u); + z30\0\5 = (11.081u,1.927u); + z30\0\6c1 = (9.520u,1.634u); + z30\0\6c2 = (8.844u,1.072u); + z30\0\6 = (7.709u,0.000u); + z30\0\7c1 = (6.776u,3.835u); + z30\0\7c2 = (7.794u,6.781u); + z30\0\7 = (2.409u,6.745u); + z30\0\8c1 = (1.847u,6.741u); + z30\0\8c2 = (0.895u,6.830u); + z30\0\8 = (0.639u,6.188u); + z30\0\9 = (1.204u,1.927u); + z30\1\0s = (3.377u,5.193u); + z30\1\0c1 = (7.316u,5.619u); + z30\1\0c2 = (7.952u,1.456u); + z30\1\0 = (5.299u,0.798u); + z30\1\1c1 = (2.410u,0.082u); + z30\1\1c2 = (0.876u,4.145u); + fill_or_unfill z30\0\0s + --z30\0\0 + --z30\0\1 + ..controls z30\0\2c1 and z30\0\2c2..z30\0\2 + ..controls z30\0\3c1 and z30\0\3c2..z30\0\3 + ..controls z30\0\4c1 and z30\0\4c2..z30\0\4 + --z30\0\5 + ..controls z30\0\6c1 and z30\0\6c2..z30\0\6 + ..controls z30\0\7c1 and z30\0\7c2..z30\0\7 + ..controls z30\0\8c1 and z30\0\8c2..z30\0\8 + --z30\0\9 + --cycle; + fill_or_unfill z30\1\0s + ..controls z30\1\0c1 and z30\1\0c2..z30\1\0 + ..controls z30\1\1c1 and z30\1\1c2..cycle; + proof_labels ( + 30\0\0, + 30\0\1, + 30\0\2, + 30\0\3, + 30\0\4, + 30\0\5, + 30\0\6, + 30\0\7, + 30\0\8, + 30\0\9, + 30\0\10, + 30\1\0, + 30\1\1, +); +endchar; + +beginchar (114, 3.132u#, 6.504u#, 0.000u#); + "r"; + z114\0\0s = (0.871u,6.258u); + z114\0\0c1 = (0.377u,5.453u); + z114\0\0c2 = (0.983u,4.665u); + z114\0\0 = (1.893u,4.976u); + z114\0\1c1 = (3.001u,5.354u); + z114\0\1c2 = (2.574u,6.965u); + 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..cycle; + proof_labels ( + 114\0\0, + 114\0\1, +); +endchar; + +beginchar (115, 3.132u#, 6.745u#, 6.263u#); + "s"; + z115\0\0s = (1.445u,-6.022u); + z115\0\0 = (1.927u,-6.022u); + z115\0\1c1 = (1.927u,-2.836u); + z115\0\1c2 = (1.722u,0.459u); + z115\0\1 = (2.168u,3.613u); + z115\0\2c1 = (2.286u,4.447u); + z115\0\2c2 = (3.060u,6.371u); + z115\0\2 = (1.893u,6.665u); + z115\0\3c1 = (0.000u,7.142u); + z115\0\3c2 = (0.743u,5.007u); + z115\0\3 = (0.895u,4.095u); + z115\0\4c1 = (1.428u,0.898u); + z115\0\4c2 = (1.445u,-2.774u); + fill_or_unfill z115\0\0s + --z115\0\0 + ..controls z115\0\1c1 and z115\0\1c2..z115\0\1 + ..controls z115\0\2c1 and z115\0\2c2..z115\0\2 + ..controls z115\0\3c1 and z115\0\3c2..z115\0\3 + ..controls z115\0\4c1 and z115\0\4c2..cycle; + proof_labels ( + 115\0\0, + 115\0\1, + 115\0\2, + 115\0\3, + 115\0\4, +); +endchar; + +beginchar (116, 30.594u#, 6.263u#, 2.650u#); + "t"; + z116\0\0s = (13.972u,5.059u); + z116\0\0c1 = (17.615u,6.414u); + z116\0\0c2 = (20.723u,2.043u); + z116\0\0 = (16.622u,0.545u); + z116\0\1c1 = (14.998u,-0.048u); + z116\0\1c2 = (10.505u,0.819u); + z116\0\1 = (8.913u,1.538u); + z116\0\2c1 = (7.142u,2.339u); + z116\0\2c2 = (1.972u,6.321u); + z116\0\2 = (0.482u,4.095u); + z116\0\3c1 = (3.886u,4.890u); + z116\0\3c2 = (7.022u,-0.646u); + z116\0\3 = (12.768u,-0.722u); + z116\0\4c1 = (20.430u,-0.823u); + z116\0\4c2 = (21.053u,5.910u); + z116\0\4 = (16.622u,6.235u); + z116\0\5c1 = (14.706u,6.376u); + z116\0\5c2 = (12.058u,4.640u); + z116\0\5 = (14.066u,2.754u); + z116\0\6c1 = (14.678u,2.179u); + z116\0\6c2 = (16.063u,2.085u); + z116\0\6 = (15.618u,3.096u); + z116\0\7c1 = (15.350u,3.704u); + z116\0\7c2 = (14.398u,4.308u); + z116\1\0s = (24.572u,5.300u); + z116\1\0c1 = (25.822u,5.575u); + z116\1\0c2 = (26.421u,5.443u); + z116\1\0 = (27.458u,4.648u); + z116\1\1c1 = (31.722u,1.377u); + z116\1\1c2 = (24.206u,-2.263u); + z116\1\1 = (19.995u,3.613u); + z116\1\2c1 = (18.602u,0.064u); + z116\1\2c2 = (25.268u,-2.486u); + z116\1\2 = (28.641u,0.986u); + z116\1\3c1 = (29.305u,1.669u); + z116\1\3c2 = (29.716u,2.392u); + z116\1\3 = (29.573u,3.372u); + z116\1\4c1 = (28.937u,7.736u); + z116\1\4c2 = (22.009u,6.506u); + z116\1\4 = (24.268u,3.145u); + z116\1\5c1 = (24.528u,2.759u); + z116\1\5c2 = (25.004u,2.319u); + z116\1\5 = (25.500u,2.319u); + z116\1\6c1 = (26.949u,2.319u); + z116\1\6c2 = (24.816u,4.824u); + z116\2\0s = (3.613u,0.723u); + z116\2\0c1 = (7.693u,-2.560u); + z116\2\0c2 = (14.819u,-4.208u); + z116\2\0 = (19.031u,-0.241u); + z116\2\1c1 = (20.265u,-2.378u); + z116\2\1c2 = (25.370u,-3.046u); + z116\2\1 = (27.459u,-2.068u); + z116\2\2c1 = (28.662u,-1.505u); + z116\2\2c2 = (29.464u,-0.392u); + z116\2\2 = (30.112u,0.723u); + z116\2\3c1 = (29.236u,0.245u); + z116\2\3c2 = (28.741u,-0.517u); + z116\2\3 = (27.943u,-1.060u); + z116\2\4c1 = (26.221u,-2.301u); + z116\2\4c2 = (23.937u,-1.884u); + z116\2\4 = (22.163u,-1.060u); + z116\2\5c1 = (21.469u,-0.706u); + z116\2\5c2 = (20.120u,0.446u); + z116\2\5 = (19.534u,0.506u); + z116\2\6c1 = (18.904u,0.571u); + z116\2\6c2 = (17.648u,-0.796u); + z116\2\6 = (16.863u,-1.125u); + z116\2\7c1 = (15.741u,-1.597u); + z116\2\7c2 = (14.223u,-1.896u); + z116\2\7 = (13.009u,-1.924u); + z116\2\8c1 = (8.566u,-2.025u); + z116\2\8c2 = (7.067u,0.689u); + 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 + ..controls z116\0\7c1 and z116\0\7c2..cycle; + fill_or_unfill z116\1\0s + ..controls z116\1\0c1 and z116\1\0c2..z116\1\0 + ..controls z116\1\1c1 and z116\1\1c2..z116\1\1 + ..controls z116\1\2c1 and z116\1\2c2..z116\1\2 + ..controls z116\1\3c1 and z116\1\3c2..z116\1\3 + ..controls z116\1\4c1 and z116\1\4c2..z116\1\4 + ..controls z116\1\5c1 and z116\1\5c2..z116\1\5 + ..controls z116\1\6c1 and z116\1\6c2..cycle; + fill_or_unfill z116\2\0s + ..controls z116\2\0c1 and z116\2\0c2..z116\2\0 + ..controls z116\2\1c1 and z116\2\1c2..z116\2\1 + ..controls z116\2\2c1 and z116\2\2c2..z116\2\2 + ..controls z116\2\3c1 and z116\2\3c2..z116\2\3 + ..controls z116\2\4c1 and z116\2\4c2..z116\2\4 + ..controls z116\2\5c1 and z116\2\5c2..z116\2\5 + ..controls z116\2\6c1 and z116\2\6c2..z116\2\6 + ..controls z116\2\7c1 and z116\2\7c2..z116\2\7 + ..controls z116\2\8c1 and z116\2\8c2..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\1\0, + 116\1\1, + 116\1\2, + 116\1\3, + 116\1\4, + 116\1\5, + 116\1\6, + 116\2\0, + 116\2\1, + 116\2\2, + 116\2\3, + 116\2\4, + 116\2\5, + 116\2\6, + 116\2\7, + 116\2\8, +); +endchar; + +beginchar (117, 9.636u#, -0.241u#, 6.504u#); + "u"; + z117\0\0s = (1.686u,-5.300u); + z117\0\0 = (1.405u,-4.337u); + z117\0\1c1 = (0.978u,-1.817u); + z117\0\1c2 = (6.952u,-0.283u); + z117\0\1 = (6.745u,-4.095u); + z117\0\2c1 = (5.149u,-4.096u); + z117\0\2c2 = (4.185u,-3.923u); + z117\0\2 = (3.372u,-5.580u); + z117\0\3c1 = (4.312u,-5.541u); + z117\0\3c2 = (5.338u,-5.459u); + z117\0\3 = (6.263u,-5.580u); + z117\0\4c1 = (7.280u,-5.796u); + z117\0\4c2 = (8.089u,-6.205u); + z117\0\4 = (9.154u,-6.263u); + z117\0\5c1 = (8.734u,-4.742u); + z117\0\5c2 = (8.047u,-5.016u); + z117\0\5 = (7.472u,-4.033u); + z117\0\6c1 = (7.049u,-3.309u); + z117\0\6c2 = (7.352u,-2.131u); + z117\0\6 = (6.882u,-1.175u); + z117\0\7c1 = (6.056u,0.355u); + z117\0\7c2 = (2.438u,-0.108u); + z117\0\7 = (1.287u,-1.175u); + z117\0\8c1 = (0.109u,-2.153u); + z117\0\8c2 = (0.041u,-4.753u); + fill_or_unfill z117\0\0s + --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 + ..controls z117\0\8c1 and z117\0\8c2..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 (118, 13.972u#, 7.468u#, 0.000u#); + "v"; + z118\0\0s = (13.009u,7.468u); + z118\0\0c1 = (11.329u,5.175u); + z118\0\0c2 = (8.366u,4.956u); + z118\0\0 = (6.986u,2.409u); + z118\0\1c1 = (4.945u,3.227u); + z118\0\1c2 = (1.923u,5.519u); + z118\0\1 = (0.482u,2.650u); + z118\0\2c1 = (2.004u,2.269u); + z118\0\2c2 = (2.069u,2.996u); + z118\0\2 = (3.132u,2.924u); + z118\0\3c1 = (4.127u,2.857u); + z118\0\3c2 = (6.101u,1.095u); + z118\0\3 = (6.986u,0.482u); + z118\0\4c1 = (7.386u,1.328u); + z118\0\4c2 = (7.536u,2.308u); + z118\0\4 = (8.245u,2.967u); + z118\0\5c1 = (10.121u,4.713u); + z118\0\5c2 = (13.119u,4.267u); + z118\0\5 = (13.490u,7.468u); + z118\1\0s = (7.709u,0.482u); + z118\1\0c1 = (8.899u,0.861u); + z118\1\0c2 = (10.384u,2.112u); + z118\1\0 = (10.600u,3.372u); + z118\1\1c1 = (9.054u,2.782u); + z118\1\1c2 = (7.766u,2.268u); + fill_or_unfill z118\0\0s + ..controls z118\0\0c1 and z118\0\0c2..z118\0\0 + ..controls z118\0\1c1 and z118\0\1c2..z118\0\1 + ..controls z118\0\2c1 and z118\0\2c2..z118\0\2 + ..controls z118\0\3c1 and z118\0\3c2..z118\0\3 + ..controls z118\0\4c1 and z118\0\4c2..z118\0\4 + ..controls z118\0\5c1 and z118\0\5c2..z118\0\5 + --cycle; + fill_or_unfill z118\1\0s + ..controls z118\1\0c1 and z118\1\0c2..z118\1\0 + ..controls z118\1\1c1 and z118\1\1c2..cycle; + proof_labels ( + 118\0\0, + 118\0\1, + 118\0\2, + 118\0\3, + 118\0\4, + 118\0\5, + 118\0\6, + 118\1\0, + 118\1\1, +); +endchar; + +beginchar (119, 12.527u#, 4.818u#, 0.000u#); + "w"; + z119\0\0s = (4.336u,1.927u); + z119\0\0c1 = (2.878u,2.000u); + z119\0\0c2 = (2.486u,2.295u); + z119\0\0 = (1.204u,2.891u); + z119\0\1 = (1.204u,3.372u); + z119\0\2c1 = (4.600u,4.196u); + z119\0\2c2 = (6.130u,1.804u); + z119\0\2 = (8.913u,0.723u); + z119\0\3c1 = (7.658u,2.476u); + z119\0\3c2 = (4.142u,5.875u); + z119\0\3 = (1.697u,4.572u); + z119\0\4c1 = (1.173u,4.293u); + z119\0\4c2 = (0.706u,3.734u); + z119\0\4 = (0.636u,3.131u); + z119\0\5c1 = (0.419u,1.270u); + z119\0\5c2 = (3.648u,-0.038u); + z119\1\0s = (11.804u,3.613u); + z119\1\0c1 = (10.711u,2.697u); + z119\1\0c2 = (10.550u,2.668u); + z119\1\0 = (9.154u,2.650u); + z119\1\1 = (9.154u,0.723u); + z119\1\2c1 = (10.522u,1.234u); + z119\1\2c2 = (12.517u,1.732u); + fill_or_unfill z119\0\0s + ..controls z119\0\0c1 and z119\0\0c2..z119\0\0 + --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..cycle; + fill_or_unfill z119\1\0s + ..controls z119\1\0c1 and z119\1\0c2..z119\1\0 + --z119\1\1 + ..controls z119\1\2c1 and z119\1\2c2..cycle; + proof_labels ( + 119\0\0, + 119\0\1, + 119\0\2, + 119\0\3, + 119\0\4, + 119\0\5, + 119\1\0, + 119\1\1, + 119\1\2, +); +endchar; + +beginchar (120, 11.563u#, 4.577u#, 0.000u#); + "x"; + z120\0\0s = (0.482u,3.372u); + z120\0\0c1 = (1.927u,3.255u); + z120\0\0c2 = (3.758u,3.067u); + z120\0\0 = (5.059u,2.410u); + z120\0\1c1 = (6.032u,1.918u); + z120\0\1c2 = (6.667u,1.061u); + z120\0\1 = (7.709u,0.723u); + z120\0\2c1 = (6.861u,2.516u); + z120\0\2c2 = (1.619u,6.703u); + z120\1\0s = (8.190u,2.409u); + z120\1\0c1 = (8.161u,1.812u); + z120\1\0c2 = (8.091u,1.304u); + z120\1\0 = (7.950u,0.723u); + z120\1\1c1 = (9.389u,1.033u); + z120\1\1c2 = (10.808u,1.257u); + z120\1\1 = (11.081u,2.891u); + z120\1\2c1 = (10.055u,2.624u); + z120\1\2c2 = (9.262u,2.419u); + fill_or_unfill z120\0\0s + ..controls z120\0\0c1 and z120\0\0c2..z120\0\0 + ..controls z120\0\1c1 and z120\0\1c2..z120\0\1 + ..controls z120\0\2c1 and z120\0\2c2..cycle; + fill_or_unfill z120\1\0s + ..controls z120\1\0c1 and z120\1\0c2..z120\1\0 + ..controls z120\1\1c1 and z120\1\1c2..z120\1\1 + ..controls z120\1\2c1 and z120\1\2c2..cycle; + proof_labels ( + 120\0\0, + 120\0\1, + 120\0\2, + 120\1\0, + 120\1\1, + 120\1\2, +); +endchar; + +beginchar (121, 6.986u#, 6.745u#, 9.877u#); + "y"; + z121\0\0s = (0.868u,6.498u); + z121\0\0c1 = (0.279u,5.619u); + z121\0\0c2 = (0.953u,4.567u); + z121\0\0 = (1.852u,5.078u); + z121\0\1c1 = (2.723u,5.572u); + z121\0\1c2 = (2.379u,7.085u); + z121\1\0s = (4.963u,6.498u); + z121\1\0c1 = (4.374u,5.619u); + z121\1\0c2 = (5.048u,4.567u); + z121\1\0 = (5.948u,5.078u); + z121\1\1c1 = (6.818u,5.572u); + z121\1\1c2 = (6.474u,7.085u); + z121\2\0s = (4.095u,-9.636u); + z121\2\0 = (4.577u,-9.636u); + z121\2\1c1 = (4.577u,-6.313u); + z121\2\1c2 = (4.588u,-3.070u); + z121\2\1 = (4.812u,0.241u); + z121\2\2c1 = (4.870u,1.102u); + z121\2\2c2 = (5.442u,3.007u); + z121\2\2 = (4.302u,3.292u); + z121\2\3c1 = (2.370u,3.777u); + z121\2\3c2 = (3.070u,1.238u); + z121\2\3 = (3.138u,0.241u); + z121\2\4c1 = (3.359u,-3.028u); + z121\2\4c2 = (4.093u,-6.382u); + 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..cycle; + fill_or_unfill z121\1\0s + ..controls z121\1\0c1 and z121\1\0c2..z121\1\0 + ..controls z121\1\1c1 and z121\1\1c2..cycle; + fill_or_unfill z121\2\0s + --z121\2\0 + ..controls z121\2\1c1 and z121\2\1c2..z121\2\1 + ..controls z121\2\2c1 and z121\2\2c2..z121\2\2 + ..controls z121\2\3c1 and z121\2\3c2..z121\2\3 + ..controls z121\2\4c1 and z121\2\4c2..cycle; + proof_labels ( + 121\0\0, + 121\0\1, + 121\1\0, + 121\1\1, + 121\2\0, + 121\2\1, + 121\2\2, + 121\2\3, + 121\2\4, +); +endchar; + +beginchar (123, 9.636u#, -0.241u#, 4.577u#); + "braceleft"; + z123\0\0s = (0.482u,-0.241u); + z123\0\0c1 = (1.654u,-2.721u); + z123\0\0c2 = (4.583u,-5.090u); + z123\0\0 = (7.468u,-4.180u); + z123\0\1c1 = (8.087u,-3.984u); + z123\0\1c2 = (8.798u,-3.538u); + z123\0\1 = (8.996u,-2.881u); + z123\0\2c1 = (9.509u,-1.178u); + z123\0\2c2 = (6.219u,-0.284u); + z123\0\2 = (5.541u,-2.409u); + z123\0\3c1 = (7.139u,-2.128u); + z123\0\3c2 = (7.355u,-2.095u); + z123\0\3 = (8.672u,-3.132u); + z123\0\4c1 = (4.387u,-4.518u); + z123\0\4c2 = (3.646u,-1.737u); + fill_or_unfill z123\0\0s + ..controls z123\0\0c1 and z123\0\0c2..z123\0\0 + ..controls z123\0\1c1 and z123\0\1c2..z123\0\1 + ..controls z123\0\2c1 and z123\0\2c2..z123\0\2 + ..controls z123\0\3c1 and z123\0\3c2..z123\0\3 + ..controls z123\0\4c1 and z123\0\4c2..cycle; + proof_labels ( + 123\0\0, + 123\0\1, + 123\0\2, + 123\0\3, + 123\0\4, +); +endchar; + +beginchar (125, 14.936u#, 6.022u#, 0.000u#); + "braceright"; + z125\0\0s = (13.972u,6.022u); + z125\0\0c1 = (12.070u,3.556u); + z125\0\0c2 = (9.027u,4.759u); + z125\0\0 = (6.745u,2.168u); + z125\0\1c1 = (4.683u,3.843u); + z125\0\1c2 = (1.951u,5.003u); + z125\0\1 = (0.482u,1.927u); + z125\0\2c1 = (3.406u,2.190u); + z125\0\2c2 = (3.913u,3.022u); + z125\0\2 = (6.504u,0.723u); + z125\0\3c1 = (7.208u,1.154u); + z125\0\3c2 = (7.905u,1.671u); + z125\0\3 = (8.672u,1.981u); + z125\0\4c1 = (10.951u,2.900u); + z125\0\4c2 = (13.938u,2.830u); + z125\0\4 = (14.454u,6.022u); + fill_or_unfill z125\0\0s + ..controls z125\0\0c1 and z125\0\0c2..z125\0\0 + ..controls z125\0\1c1 and z125\0\1c2..z125\0\1 + ..controls z125\0\2c1 and z125\0\2c2..z125\0\2 + ..controls z125\0\3c1 and z125\0\3c2..z125\0\3 + ..controls z125\0\4c1 and z125\0\4c2..z125\0\4 + --cycle; + proof_labels ( + 125\0\0, + 125\0\1, + 125\0\2, + 125\0\3, + 125\0\4, + 125\0\5, +); +endchar; + +beginchar (126, 9.395u#, 5.059u#, 0.000u#); + "asciitilde"; + z126\0\0s = (4.336u,2.168u); + z126\0\0c1 = (2.878u,2.240u); + z126\0\0c2 = (2.486u,2.536u); + z126\0\0 = (1.204u,3.132u); + z126\0\1 = (1.204u,3.613u); + z126\0\2c1 = (4.600u,4.436u); + z126\0\2c2 = (6.130u,2.045u); + z126\0\2 = (8.913u,0.964u); + z126\0\3c1 = (7.658u,2.717u); + z126\0\3c2 = (4.142u,6.116u); + z126\0\3 = (1.697u,4.813u); + z126\0\4c1 = (1.173u,4.534u); + z126\0\4c2 = (0.706u,3.975u); + z126\0\4 = (0.636u,3.372u); + z126\0\5c1 = (0.419u,1.511u); + z126\0\5c2 = (3.648u,0.203u); + fill_or_unfill z126\0\0s + ..controls z126\0\0c1 and z126\0\0c2..z126\0\0 + --z126\0\1 + ..controls z126\0\2c1 and z126\0\2c2..z126\0\2 + ..controls z126\0\3c1 and z126\0\3c2..z126\0\3 + ..controls z126\0\4c1 and z126\0\4c2..z126\0\4 + ..controls z126\0\5c1 and z126\0\5c2..cycle; + proof_labels ( + 126\0\0, + 126\0\1, + 126\0\2, + 126\0\3, + 126\0\4, + 126\0\5, +); +endchar; + +beginchar (127, 8.190u#, 4.818u#, 0.000u#); + "character #127"; + z127\0\0s = (0.482u,3.613u); + z127\0\0c1 = (1.927u,3.496u); + z127\0\0c2 = (3.758u,3.307u); + z127\0\0 = (5.059u,2.651u); + z127\0\1c1 = (6.032u,2.159u); + z127\0\1c2 = (6.667u,1.301u); + z127\0\1 = (7.709u,0.964u); + z127\0\2c1 = (6.861u,2.757u); + z127\0\2c2 = (1.619u,6.944u); + fill_or_unfill z127\0\0s + ..controls z127\0\0c1 and z127\0\0c2..z127\0\0 + ..controls z127\0\1c1 and z127\0\1c2..z127\0\1 + ..controls z127\0\2c1 and z127\0\2c2..cycle; + proof_labels ( + 127\0\0, + 127\0\1, + 127\0\2, +); +endchar; + +bye. |