summaryrefslogtreecommitdiff
path: root/language/tibetan/sirlin/fonts/mf/gtibsp.mf
diff options
context:
space:
mode:
Diffstat (limited to 'language/tibetan/sirlin/fonts/mf/gtibsp.mf')
-rw-r--r--language/tibetan/sirlin/fonts/mf/gtibsp.mf2033
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.