summaryrefslogtreecommitdiff
path: root/language/tibetan/ctib/mfinput/ctibsplt.mf
diff options
context:
space:
mode:
Diffstat (limited to 'language/tibetan/ctib/mfinput/ctibsplt.mf')
-rw-r--r--language/tibetan/ctib/mfinput/ctibsplt.mf1856
1 files changed, 1856 insertions, 0 deletions
diff --git a/language/tibetan/ctib/mfinput/ctibsplt.mf b/language/tibetan/ctib/mfinput/ctibsplt.mf
new file mode 100644
index 0000000000..83af81a964
--- /dev/null
+++ b/language/tibetan/ctib/mfinput/ctibsplt.mf
@@ -0,0 +1,1856 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%
+% This is the file "ctibsplt.mf" which has, except for the symbolic
+% encoding vectors and some deleted redundancies, identical glyphs
+% with Sam Sirlin's "gtibsp.mf" of his Tibetan package, version 6.0.
+%
+% I included this material in ctib4tex on June 9th, 2001, in
+% Beijing, and on December 17th, 2001, in Ulaanbaatar.
+%
+% Oliver Corff (corff@zedat.fu-berlin.de)
+%
+% Original header:
+%
+% This file defines the Metafont font gtibsb.mf.
+% {limn output Sep 25 23:30:50 2000}
+% Generated Mon Sep 25 23:30:52 2000.
+% This font is in the public domain.
+%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%
+beginchar (TIB_SUBKA, 9.395u#, 6.745u#, 0.964u#);
+ "sub.ka";
+ z0\0\0s = (0.482u,5.300u);
+ z0\0\0 = (1.445u,5.059u);
+ z0\0\1c1 = (1.091u,4.250u);
+ z0\0\1c2 = (0.858u,3.524u);
+ z0\0\1 = (0.723u,2.650u);
+ z0\0\2c1 = (0.930u,2.778u);
+ z0\0\2c2 = (1.079u,2.834u);
+ z0\0\2 = (1.257u,3.021u);
+ z0\0\3c1 = (1.782u,3.573u);
+ z0\0\3c2 = (1.976u,4.421u);
+ z0\0\3 = (2.693u,4.809u);
+ z0\0\4c1 = (4.430u,5.750u);
+ z0\0\4c2 = (4.335u,2.054u);
+ z0\0\4 = (4.336u,1.204u);
+ z0\0\5c1 = (5.734u,2.275u);
+ z0\0\5c2 = (4.840u,4.094u);
+ z0\0\5 = (5.857u,4.911u);
+ z0\0\6c1 = (6.110u,5.114u);
+ z0\0\6c2 = (6.411u,5.204u);
+ z0\0\6 = (6.732u,5.161u);
+ z0\0\7c1 = (8.023u,4.991u);
+ z0\0\7c2 = (7.894u,2.646u);
+ z0\0\7 = (7.990u,1.686u);
+ z0\0\8 = (8.190u,-0.723u);
+ z0\0\9 = (8.677u,-0.723u);
+ z0\0\10 = (8.677u,3.854u);
+ z0\0\11 = (8.857u,5.768u);
+ z0\0\12c1 = (8.837u,5.982u);
+ z0\0\12c2 = (8.802u,6.184u);
+ z0\0\12 = (8.666u,6.360u);
+ z0\0\13c1 = (8.351u,6.768u);
+ z0\0\13c2 = (7.689u,6.736u);
+ z0\0\13 = (7.227u,6.744u);
+ z0\0\14c1 = (6.306u,6.761u);
+ z0\0\14c2 = (2.056u,6.842u);
+ z0\0\14 = (1.471u,6.601u);
+ z0\0\15c1 = (0.846u,6.343u);
+ z0\0\15c2 = (0.689u,5.886u);
+ fill_or_unfill z0\0\0s
+ --z0\0\0
+ ..controls z0\0\1c1 and z0\0\1c2..z0\0\1
+ ..controls z0\0\2c1 and z0\0\2c2..z0\0\2
+ ..controls z0\0\3c1 and z0\0\3c2..z0\0\3
+ ..controls z0\0\4c1 and z0\0\4c2..z0\0\4
+ ..controls z0\0\5c1 and z0\0\5c2..z0\0\5
+ ..controls z0\0\6c1 and z0\0\6c2..z0\0\6
+ ..controls z0\0\7c1 and z0\0\7c2..z0\0\7
+ --z0\0\8
+ --z0\0\9
+ --z0\0\10
+ --z0\0\11
+ ..controls z0\0\12c1 and z0\0\12c2..z0\0\12
+ ..controls z0\0\13c1 and z0\0\13c2..z0\0\13
+ ..controls z0\0\14c1 and z0\0\14c2..z0\0\14
+ ..controls z0\0\15c1 and z0\0\15c2..cycle;
+ proof_labels (
+ 0\0\0,
+ 0\0\1,
+ 0\0\2,
+ 0\0\3,
+ 0\0\4,
+ 0\0\5,
+ 0\0\6,
+ 0\0\7,
+ 0\0\8,
+ 0\0\9,
+ 0\0\10,
+ 0\0\11,
+ 0\0\12,
+ 0\0\13,
+ 0\0\14,
+ 0\0\15,
+);
+endchar;
+
+beginchar (TIB_SUBGA, 8.913u#, 6.745u#, 0.723u#);
+ "sub.ga";
+ z2\0\0s = (0.482u,5.300u);
+ z2\0\0 = (1.445u,5.300u);
+ z2\0\1c1 = (0.864u,4.060u);
+ z2\0\1c2 = (0.597u,3.301u);
+ z2\0\1 = (0.482u,1.927u);
+ z2\0\2 = (1.927u,2.294u);
+ z2\0\3c1 = (3.039u,2.397u);
+ z2\0\3c2 = (3.950u,1.536u);
+ z2\0\3 = (4.818u,0.964u);
+ z2\0\4c1 = (4.818u,1.977u);
+ z2\0\4c2 = (4.525u,5.775u);
+ z2\0\4 = (6.479u,5.142u);
+ z2\0\5c1 = (6.796u,5.039u);
+ z2\0\5c2 = (7.018u,4.823u);
+ z2\0\5 = (7.185u,4.542u);
+ z2\0\6c1 = (7.690u,3.692u);
+ z2\0\6c2 = (7.709u,0.596u);
+ z2\0\6 = (7.709u,-0.482u);
+ z2\0\7 = (8.201u,-0.482u);
+ z2\0\8 = (8.201u,3.132u);
+ z2\0\9 = (8.421u,4.818u);
+ z2\0\10 = (8.421u,6.733u);
+ z2\0\11 = (3.854u,6.733u);
+ z2\0\12c1 = (3.094u,6.745u);
+ z2\0\12c2 = (2.204u,6.836u);
+ z2\0\12 = (1.459u,6.733u);
+ z2\0\13c1 = (1.248u,6.674u);
+ z2\0\13c2 = (1.041u,6.637u);
+ z2\0\13 = (0.867u,6.499u);
+ z2\0\14c1 = (0.495u,6.205u);
+ z2\0\14c2 = (0.517u,5.723u);
+ z2\1\0s = (4.095u,2.409u);
+ z2\1\0c1 = (3.124u,2.818u);
+ z2\1\0c2 = (2.220u,3.100u);
+ z2\1\0 = (1.204u,3.372u);
+ z2\1\1c1 = (1.276u,3.708u);
+ z2\1\1c2 = (1.315u,4.015u);
+ z2\1\1 = (1.487u,4.322u);
+ z2\1\2c1 = (2.489u,6.120u);
+ z2\1\2c2 = (4.873u,5.376u);
+ fill_or_unfill z2\0\0s
+ --z2\0\0
+ ..controls z2\0\1c1 and z2\0\1c2..z2\0\1
+ --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..z2\0\6
+ --z2\0\7
+ --z2\0\8
+ --z2\0\9
+ --z2\0\10
+ --z2\0\11
+ ..controls z2\0\12c1 and z2\0\12c2..z2\0\12
+ ..controls z2\0\13c1 and z2\0\13c2..z2\0\13
+ ..controls z2\0\14c1 and z2\0\14c2..cycle;
+ fill_or_unfill z2\1\0s
+ ..controls z2\1\0c1 and z2\1\0c2..z2\1\0
+ ..controls z2\1\1c1 and z2\1\1c2..z2\1\1
+ ..controls z2\1\2c1 and z2\1\2c2..cycle;
+ proof_labels (
+ 2\0\0,
+ 2\0\1,
+ 2\0\2,
+ 2\0\3,
+ 2\0\4,
+ 2\0\5,
+ 2\0\6,
+ 2\0\7,
+ 2\0\8,
+ 2\0\9,
+ 2\0\10,
+ 2\0\11,
+ 2\0\12,
+ 2\0\13,
+ 2\0\14,
+ 2\1\0,
+ 2\1\1,
+ 2\1\2,
+);
+endchar;
+
+beginchar (TIB_SUBNGA, 7.950u#, 6.745u#, 0.482u#);
+ "sub.nga";
+ z3\0\0s = (0.482u,0.053u);
+ z3\0\0 = (1.927u,0.053u);
+ z3\0\1c1 = (2.730u,0.231u);
+ z3\0\1c2 = (3.517u,0.464u);
+ z3\0\1 = (4.336u,0.463u);
+ z3\0\2c1 = (5.427u,0.462u);
+ z3\0\2c2 = (6.430u,0.032u);
+ z3\0\2 = (7.468u,-0.241u);
+ z3\0\3c1 = (7.393u,0.007u);
+ z3\0\3c2 = (7.365u,0.219u);
+ z3\0\3 = (7.226u,0.450u);
+ z3\0\4c1 = (6.981u,0.858u);
+ z3\0\4c2 = (6.666u,1.060u);
+ z3\0\4 = (6.259u,1.281u);
+ z3\0\5c1 = (4.625u,2.169u);
+ z3\0\5c2 = (2.759u,1.927u);
+ z3\0\5 = (0.964u,1.927u);
+ z3\0\6c1 = (0.964u,2.618u);
+ z3\0\6c2 = (0.868u,3.964u);
+ z3\0\6 = (1.210u,4.542u);
+ z3\0\7c1 = (2.155u,6.141u);
+ z3\0\7c2 = (5.928u,4.603u);
+ z3\0\7 = (7.049u,5.718u);
+ z3\0\8c1 = (7.344u,6.011u);
+ z3\0\8c2 = (7.382u,6.365u);
+ z3\0\8 = (7.468u,6.707u);
+ z3\0\9c1 = (6.567u,6.745u);
+ z3\0\9c2 = (1.720u,6.811u);
+ z3\0\9 = (1.239u,6.707u);
+ z3\0\10c1 = (1.023u,6.606u);
+ z3\0\10c2 = (0.872u,6.542u);
+ z3\0\10 = (0.728u,6.360u);
+ z3\0\11c1 = (0.301u,5.820u);
+ z3\0\11c2 = (0.482u,0.997u);
+ fill_or_unfill z3\0\0s
+ --z3\0\0
+ ..controls z3\0\1c1 and z3\0\1c2..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..z3\0\8
+ ..controls z3\0\9c1 and z3\0\9c2..z3\0\9
+ ..controls z3\0\10c1 and z3\0\10c2..z3\0\10
+ ..controls z3\0\11c1 and z3\0\11c2..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,
+ 3\0\9,
+ 3\0\10,
+ 3\0\11,
+);
+endchar;
+
+beginchar (TIB_SUBCA, 8.672u#, 6.745u#, 0.482u#);
+ "sub.ca";
+ z4\0\0s = (1.204u,5.300u);
+ z4\0\0 = (5.059u,5.300u);
+ z4\0\1c1 = (3.866u,3.127u);
+ z4\0\1c2 = (2.704u,3.132u);
+ z4\0\1 = (0.482u,3.132u);
+ z4\0\2 = (1.217u,1.927u);
+ z4\0\3c1 = (1.528u,1.376u);
+ z4\0\3c2 = (1.776u,0.580u);
+ z4\0\3 = (2.268u,0.178u);
+ z4\0\4c1 = (2.787u,-0.247u);
+ z4\0\4c2 = (3.462u,-0.231u);
+ z4\0\4 = (4.095u,-0.240u);
+ z4\0\5c1 = (5.322u,-0.257u);
+ z4\0\5c2 = (7.018u,-0.434u);
+ z4\0\5 = (7.601u,0.974u);
+ z4\0\6c1 = (7.688u,1.292u);
+ z4\0\6c2 = (7.720u,1.796u);
+ z4\0\6 = (7.601u,2.128u);
+ z4\0\7c1 = (7.463u,2.821u);
+ z4\0\7c2 = (6.754u,3.351u);
+ z4\0\7 = (6.284u,3.858u);
+ z4\0\8 = (5.300u,5.059u);
+ z4\0\9 = (6.263u,5.257u);
+ z4\0\10c1 = (6.905u,5.344u);
+ z4\0\10c2 = (7.491u,5.262u);
+ z4\0\10 = (7.919u,5.857u);
+ z4\0\11c1 = (8.069u,6.065u);
+ z4\0\11c2 = (8.105u,6.274u);
+ z4\0\11 = (8.190u,6.504u);
+ z4\0\12 = (7.227u,6.725u);
+ z4\0\13 = (4.577u,6.725u);
+ z4\0\14c1 = (3.893u,6.745u);
+ z4\0\14c2 = (3.103u,6.823u);
+ z4\0\14 = (2.431u,6.725u);
+ z4\0\15c1 = (2.208u,6.677u);
+ z4\0\15c2 = (2.014u,6.639u);
+ z4\0\15 = (1.823u,6.506u);
+ z4\0\16c1 = (1.399u,6.210u);
+ z4\0\16c2 = (1.323u,5.762u);
+ z4\1\0s = (6.745u,0.482u);
+ z4\1\0c1 = (6.249u,0.322u);
+ z4\1\0c2 = (5.580u,0.066u);
+ z4\1\0 = (5.059u,0.110u);
+ z4\1\1c1 = (3.703u,0.226u);
+ z4\1\1c2 = (2.840u,1.764u);
+ z4\1\1 = (2.409u,2.891u);
+ z4\1\2c1 = (2.971u,2.936u);
+ z4\1\2c2 = (3.758u,3.132u);
+ z4\1\2 = (4.296u,3.045u);
+ z4\1\3c1 = (5.046u,2.922u);
+ z4\1\3c2 = (6.156u,1.849u);
+ z4\1\3 = (6.504u,1.201u);
+ fill_or_unfill z4\0\0s
+ --z4\0\0
+ ..controls z4\0\1c1 and z4\0\1c2..z4\0\1
+ --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..z4\0\6
+ ..controls z4\0\7c1 and z4\0\7c2..z4\0\7
+ --z4\0\8
+ --z4\0\9
+ ..controls z4\0\10c1 and z4\0\10c2..z4\0\10
+ ..controls z4\0\11c1 and z4\0\11c2..z4\0\11
+ --z4\0\12
+ --z4\0\13
+ ..controls z4\0\14c1 and z4\0\14c2..z4\0\14
+ ..controls z4\0\15c1 and z4\0\15c2..z4\0\15
+ ..controls z4\0\16c1 and z4\0\16c2..cycle;
+ fill_or_unfill z4\1\0s
+ ..controls z4\1\0c1 and z4\1\0c2..z4\1\0
+ ..controls z4\1\1c1 and z4\1\1c2..z4\1\1
+ ..controls z4\1\2c1 and z4\1\2c2..z4\1\2
+ ..controls z4\1\3c1 and z4\1\3c2..z4\1\3
+ --cycle;
+ proof_labels (
+ 4\0\0,
+ 4\0\1,
+ 4\0\2,
+ 4\0\3,
+ 4\0\4,
+ 4\0\5,
+ 4\0\6,
+ 4\0\7,
+ 4\0\8,
+ 4\0\9,
+ 4\0\10,
+ 4\0\11,
+ 4\0\12,
+ 4\0\13,
+ 4\0\14,
+ 4\0\15,
+ 4\0\16,
+ 4\1\0,
+ 4\1\1,
+ 4\1\2,
+ 4\1\3,
+ 4\1\4,
+);
+endchar;
+
+beginchar (TIB_SUBJA, 8.431u#, 6.745u#, 0.241u#);
+ "sub.ja";
+ z6\0\0s = (0.533u,0.275u);
+ z6\0\0 = (1.927u,0.275u);
+ z6\0\1 = (4.336u,0.679u);
+ z6\0\2c1 = (5.594u,0.770u);
+ z6\0\2c2 = (6.736u,0.217u);
+ z6\0\2 = (7.950u,0.000u);
+ z6\0\3c1 = (7.827u,0.240u);
+ z6\0\3c2 = (7.762u,0.443u);
+ z6\0\3 = (7.578u,0.657u);
+ z6\0\4c1 = (7.218u,1.077u);
+ z6\0\4c2 = (6.762u,1.256u);
+ z6\0\4 = (6.263u,1.453u);
+ z6\0\5c1 = (4.564u,2.122u);
+ z6\0\5c2 = (2.757u,1.927u);
+ z6\0\5 = (0.964u,1.927u);
+ z6\0\6 = (0.964u,2.891u);
+ z6\0\7 = (3.854u,2.891u);
+ z6\0\8c1 = (4.863u,2.891u);
+ z6\0\8c2 = (5.766u,2.854u);
+ z6\0\8 = (6.745u,3.132u);
+ z6\0\9 = (6.745u,3.613u);
+ z6\0\10c1 = (5.766u,3.891u);
+ z6\0\10c2 = (4.863u,3.854u);
+ z6\0\10 = (3.854u,3.854u);
+ z6\0\11 = (0.964u,3.854u);
+ z6\0\12c1 = (1.092u,4.276u);
+ z6\0\12c2 = (1.159u,4.612u);
+ z6\0\12 = (1.521u,4.915u);
+ z6\0\13c1 = (2.615u,5.830u);
+ z6\0\13c2 = (6.392u,4.772u);
+ z6\0\13 = (7.290u,5.685u);
+ z6\0\14c1 = (7.585u,5.984u);
+ z6\0\14c2 = (7.624u,6.360u);
+ z6\0\14 = (7.709u,6.745u);
+ z6\0\15 = (3.132u,6.745u);
+ z6\0\16c1 = (2.539u,6.744u);
+ z6\0\16c2 = (1.565u,6.805u);
+ z6\0\16 = (1.067u,6.462u);
+ z6\0\17c1 = (0.798u,6.277u);
+ z6\0\17c2 = (0.679u,6.062u);
+ z6\0\17 = (0.533u,5.756u);
+ z6\0\18c1 = (0.400u,5.152u);
+ z6\0\18c2 = (0.482u,1.173u);
+ fill_or_unfill z6\0\0s
+ --z6\0\0
+ --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
+ --z6\0\6
+ --z6\0\7
+ ..controls z6\0\8c1 and z6\0\8c2..z6\0\8
+ --z6\0\9
+ ..controls z6\0\10c1 and z6\0\10c2..z6\0\10
+ --z6\0\11
+ ..controls z6\0\12c1 and z6\0\12c2..z6\0\12
+ ..controls z6\0\13c1 and z6\0\13c2..z6\0\13
+ ..controls z6\0\14c1 and z6\0\14c2..z6\0\14
+ --z6\0\15
+ ..controls z6\0\16c1 and z6\0\16c2..z6\0\16
+ ..controls z6\0\17c1 and z6\0\17c2..z6\0\17
+ ..controls z6\0\18c1 and z6\0\18c2..cycle;
+ proof_labels (
+ 6\0\0,
+ 6\0\1,
+ 6\0\2,
+ 6\0\3,
+ 6\0\4,
+ 6\0\5,
+ 6\0\6,
+ 6\0\7,
+ 6\0\8,
+ 6\0\9,
+ 6\0\10,
+ 6\0\11,
+ 6\0\12,
+ 6\0\13,
+ 6\0\14,
+ 6\0\15,
+ 6\0\16,
+ 6\0\17,
+ 6\0\18,
+);
+endchar;
+
+beginchar (TIB_SUBNYA, 8.672u#, 6.745u#, 2.891u#);
+ "sub.nya";
+ z7\0\0s = (2.409u,3.854u);
+ z7\0\0 = (0.964u,4.095u);
+ z7\0\1c1 = (1.185u,4.474u);
+ z7\0\1c2 = (1.343u,4.816u);
+ z7\0\1 = (1.740u,5.053u);
+ z7\0\2c1 = (2.358u,5.424u);
+ z7\0\2c2 = (4.426u,5.506u);
+ z7\0\2 = (4.598u,4.545u);
+ z7\0\3c1 = (4.775u,3.557u);
+ z7\0\3c2 = (2.793u,2.842u);
+ z7\0\3 = (2.698u,1.208u);
+ z7\0\4c1 = (2.681u,0.916u);
+ z7\0\4c2 = (2.728u,0.591u);
+ z7\0\4 = (2.896u,0.344u);
+ z7\0\5c1 = (3.786u,-0.963u);
+ z7\0\5c2 = (6.045u,0.616u);
+ z7\0\5 = (4.081u,1.242u);
+ z7\0\6 = (3.132u,1.445u);
+ z7\0\7c1 = (3.427u,1.825u);
+ z7\0\7c2 = (3.662u,2.172u);
+ z7\0\7 = (4.106u,2.403u);
+ z7\0\8c1 = (5.348u,3.048u);
+ z7\0\8c2 = (7.603u,2.155u);
+ z7\0\8 = (7.153u,0.491u);
+ z7\0\9c1 = (6.926u,-0.352u);
+ z7\0\9c2 = (6.115u,-1.049u);
+ z7\0\9 = (5.558u,-1.690u);
+ z7\0\10 = (4.818u,-2.650u);
+ z7\0\11c1 = (5.143u,-2.595u);
+ z7\0\11c2 = (5.408u,-2.581u);
+ z7\0\11 = (5.704u,-2.405u);
+ z7\0\12c1 = (6.115u,-2.160u);
+ z7\0\12c2 = (6.452u,-1.680u);
+ z7\0\12 = (6.744u,-1.305u);
+ z7\0\13c1 = (7.617u,-0.187u);
+ z7\0\13c2 = (9.015u,2.193u);
+ z7\0\13 = (7.605u,3.439u);
+ z7\0\14c1 = (7.034u,3.944u);
+ z7\0\14c2 = (6.028u,4.034u);
+ z7\0\14 = (5.300u,4.095u);
+ z7\0\15c1 = (5.504u,4.541u);
+ z7\0\15c2 = (5.764u,5.002u);
+ z7\0\15 = (5.680u,5.515u);
+ z7\0\16c1 = (5.505u,6.594u);
+ z7\0\16c2 = (3.736u,6.754u);
+ z7\0\16 = (2.891u,6.546u);
+ z7\0\17c1 = (2.338u,6.410u);
+ z7\0\17c2 = (1.744u,6.114u);
+ z7\0\17 = (1.360u,5.687u);
+ z7\0\18c1 = (1.082u,5.379u);
+ z7\0\18c2 = (0.884u,4.966u);
+ z7\0\18 = (0.749u,4.576u);
+ z7\0\19c1 = (0.070u,2.626u);
+ z7\0\19c2 = (1.580u,2.384u);
+ z7\0\19 = (2.167u,3.208u);
+ z7\0\20c1 = (2.317u,3.417u);
+ z7\0\20c2 = (2.335u,3.623u);
+ fill_or_unfill z7\0\0s
+ --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
+ --z7\0\6
+ ..controls z7\0\7c1 and z7\0\7c2..z7\0\7
+ ..controls z7\0\8c1 and z7\0\8c2..z7\0\8
+ ..controls z7\0\9c1 and z7\0\9c2..z7\0\9
+ --z7\0\10
+ ..controls z7\0\11c1 and z7\0\11c2..z7\0\11
+ ..controls z7\0\12c1 and z7\0\12c2..z7\0\12
+ ..controls z7\0\13c1 and z7\0\13c2..z7\0\13
+ ..controls z7\0\14c1 and z7\0\14c2..z7\0\14
+ ..controls z7\0\15c1 and z7\0\15c2..z7\0\15
+ ..controls z7\0\16c1 and z7\0\16c2..z7\0\16
+ ..controls z7\0\17c1 and z7\0\17c2..z7\0\17
+ ..controls z7\0\18c1 and z7\0\18c2..z7\0\18
+ ..controls z7\0\19c1 and z7\0\19c2..z7\0\19
+ ..controls z7\0\20c1 and z7\0\20c2..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,
+ 7\0\8,
+ 7\0\9,
+ 7\0\10,
+ 7\0\11,
+ 7\0\12,
+ 7\0\13,
+ 7\0\14,
+ 7\0\15,
+ 7\0\16,
+ 7\0\17,
+ 7\0\18,
+ 7\0\19,
+ 7\0\20,
+);
+endchar;
+
+beginchar (TIB_SUBTA, 6.504u#, 6.745u#, 1.686u#);
+ "sub.ta";
+ z8\0\0s = (0.482u,6.745u);
+ z8\0\0 = (0.482u,1.686u);
+ z8\0\1c1 = (0.937u,2.156u);
+ z8\0\1c2 = (1.272u,2.574u);
+ z8\0\1 = (1.937u,2.750u);
+ z8\0\2c1 = (2.974u,3.025u);
+ z8\0\2c2 = (4.700u,2.216u);
+ z8\0\2 = (4.500u,0.967u);
+ z8\0\3c1 = (4.369u,0.148u);
+ z8\0\3c2 = (3.509u,-0.270u);
+ z8\0\3 = (3.020u,-0.844u);
+ z8\0\4 = (2.650u,-1.445u);
+ z8\0\5c1 = (3.710u,-1.223u);
+ z8\0\5c2 = (4.730u,-0.679u);
+ z8\0\5 = (5.335u,0.262u);
+ z8\0\6c1 = (5.613u,0.695u);
+ z8\0\6c2 = (5.727u,1.178u);
+ z8\0\6 = (5.756u,1.686u);
+ z8\0\7c1 = (5.848u,3.342u);
+ z8\0\7c2 = (4.940u,4.064u);
+ z8\0\7 = (3.372u,4.209u);
+ z8\0\8c1 = (2.552u,4.285u);
+ z8\0\8c2 = (1.749u,4.062u);
+ z8\0\8 = (0.964u,3.854u);
+ z8\0\9c1 = (1.185u,4.253u);
+ z8\0\9c2 = (1.363u,4.629u);
+ z8\0\9 = (1.740u,4.915u);
+ z8\0\10c1 = (2.494u,5.486u);
+ z8\0\10c2 = (4.567u,5.300u);
+ z8\0\10 = (5.541u,5.300u);
+ z8\0\11 = (6.022u,6.745u);
+ fill_or_unfill z8\0\0s
+ --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
+ --z8\0\4
+ ..controls z8\0\5c1 and z8\0\5c2..z8\0\5
+ ..controls z8\0\6c1 and z8\0\6c2..z8\0\6
+ ..controls z8\0\7c1 and z8\0\7c2..z8\0\7
+ ..controls z8\0\8c1 and z8\0\8c2..z8\0\8
+ ..controls z8\0\9c1 and z8\0\9c2..z8\0\9
+ ..controls z8\0\10c1 and z8\0\10c2..z8\0\10
+ --z8\0\11
+ --cycle;
+ proof_labels (
+ 8\0\0,
+ 8\0\1,
+ 8\0\2,
+ 8\0\3,
+ 8\0\4,
+ 8\0\5,
+ 8\0\6,
+ 8\0\7,
+ 8\0\8,
+ 8\0\9,
+ 8\0\10,
+ 8\0\11,
+ 8\0\12,
+);
+endchar;
+
+beginchar (TIB_SUBDA, 8.190u#, 6.745u#, 0.482u#);
+ "sub.da";
+ z10\0\0s = (0.482u,2.409u);
+ z10\0\0c1 = (2.459u,2.569u);
+ z10\0\0c2 = (4.064u,3.065u);
+ z10\0\0 = (5.760u,1.604u);
+ z10\0\1c1 = (6.474u,0.989u);
+ z10\0\1c2 = (6.874u,0.239u);
+ z10\0\1 = (7.709u,-0.241u);
+ z10\0\2c1 = (7.191u,1.533u);
+ z10\0\2c2 = (5.734u,3.511u);
+ z10\0\2 = (3.854u,3.967u);
+ z10\0\3c1 = (3.084u,4.154u);
+ z10\0\3c2 = (2.234u,4.095u);
+ z10\0\3 = (1.445u,4.095u);
+ z10\0\4c1 = (1.748u,4.469u);
+ z10\0\4c2 = (1.980u,4.784u);
+ z10\0\4 = (2.420u,5.017u);
+ z10\0\5c1 = (3.547u,5.616u);
+ z10\0\5c2 = (5.565u,4.864u);
+ z10\0\5 = (6.263u,5.857u);
+ z10\0\6c1 = (6.411u,6.068u);
+ z10\0\6c2 = (6.430u,6.271u);
+ z10\0\6 = (6.504u,6.504u);
+ z10\0\7c1 = (5.416u,6.648u);
+ z10\0\7c2 = (1.910u,7.162u);
+ z10\0\7 = (1.222u,6.129u);
+ z10\0\8c1 = (0.933u,5.696u);
+ z10\0\8c2 = (1.218u,5.032u);
+ z10\0\8 = (1.076u,4.509u);
+ z10\0\9 = (0.714u,3.610u);
+ z10\0\10c1 = (0.572u,3.200u);
+ z10\0\10c2 = (0.527u,2.836u);
+ fill_or_unfill z10\0\0s
+ ..controls z10\0\0c1 and z10\0\0c2..z10\0\0
+ ..controls z10\0\1c1 and z10\0\1c2..z10\0\1
+ ..controls z10\0\2c1 and z10\0\2c2..z10\0\2
+ ..controls z10\0\3c1 and z10\0\3c2..z10\0\3
+ ..controls z10\0\4c1 and z10\0\4c2..z10\0\4
+ ..controls z10\0\5c1 and z10\0\5c2..z10\0\5
+ ..controls z10\0\6c1 and z10\0\6c2..z10\0\6
+ ..controls z10\0\7c1 and z10\0\7c2..z10\0\7
+ ..controls z10\0\8c1 and z10\0\8c2..z10\0\8
+ --z10\0\9
+ ..controls z10\0\10c1 and z10\0\10c2..cycle;
+ proof_labels (
+ 10\0\0,
+ 10\0\1,
+ 10\0\2,
+ 10\0\3,
+ 10\0\4,
+ 10\0\5,
+ 10\0\6,
+ 10\0\7,
+ 10\0\8,
+ 10\0\9,
+ 10\0\10,
+);
+endchar;
+
+beginchar (TIB_SUBNA, 6.504u#, 6.745u#, 0.964u#);
+ "sub.na";
+ z11\0\0s = (0.964u,5.300u);
+ z11\0\0c1 = (2.182u,5.228u);
+ z11\0\0c2 = (2.482u,5.166u);
+ z11\0\0 = (3.132u,4.095u);
+ z11\0\1c1 = (2.626u,4.090u);
+ z11\0\1c2 = (1.938u,4.118u);
+ z11\0\1 = (1.471u,3.918u);
+ z11\0\2c1 = (-0.871u,2.912u);
+ z11\0\2c2 = (1.614u,-0.875u);
+ z11\0\2 = (3.168u,1.039u);
+ z11\0\3c1 = (3.499u,1.448u);
+ z11\0\3c2 = (3.702u,2.369u);
+ z11\0\3 = (3.854u,2.891u);
+ z11\0\4c1 = (5.273u,1.750u);
+ z11\0\4c2 = (5.458u,1.045u);
+ z11\0\4 = (5.541u,-0.723u);
+ z11\0\5 = (6.022u,-0.723u);
+ z11\0\6c1 = (6.008u,3.896u);
+ z11\0\6c2 = (3.659u,3.652u);
+ z11\0\6 = (3.661u,4.573u);
+ z11\0\7c1 = (3.663u,5.391u);
+ z11\0\7c2 = (5.043u,5.128u);
+ z11\0\7 = (5.536u,5.857u);
+ z11\0\8c1 = (5.723u,6.135u);
+ z11\0\8c2 = (5.729u,6.431u);
+ z11\0\8 = (5.782u,6.745u);
+ z11\0\9c1 = (4.818u,6.745u);
+ z11\0\9c2 = (1.997u,6.959u);
+ z11\0\9 = (1.348u,6.326u);
+ z11\0\10c1 = (1.043u,6.029u);
+ z11\0\10c2 = (1.030u,5.689u);
+ z11\1\0s = (2.168u,2.912u);
+ z11\1\0c1 = (2.432u,2.942u);
+ z11\1\0c2 = (2.541u,3.028u);
+ z11\1\0 = (2.806u,2.912u);
+ z11\1\1c1 = (3.447u,2.493u);
+ z11\1\1c2 = (3.150u,1.317u);
+ z11\1\1 = (2.550u,1.060u);
+ z11\1\2c1 = (1.824u,0.748u);
+ z11\1\2c2 = (0.595u,1.730u);
+ z11\1\2 = (1.726u,2.742u);
+ fill_or_unfill z11\0\0s
+ ..controls z11\0\0c1 and z11\0\0c2..z11\0\0
+ ..controls z11\0\1c1 and z11\0\1c2..z11\0\1
+ ..controls z11\0\2c1 and z11\0\2c2..z11\0\2
+ ..controls z11\0\3c1 and z11\0\3c2..z11\0\3
+ ..controls z11\0\4c1 and z11\0\4c2..z11\0\4
+ --z11\0\5
+ ..controls z11\0\6c1 and z11\0\6c2..z11\0\6
+ ..controls z11\0\7c1 and z11\0\7c2..z11\0\7
+ ..controls z11\0\8c1 and z11\0\8c2..z11\0\8
+ ..controls z11\0\9c1 and z11\0\9c2..z11\0\9
+ ..controls z11\0\10c1 and z11\0\10c2..cycle;
+ fill_or_unfill z11\1\0s
+ ..controls z11\1\0c1 and z11\1\0c2..z11\1\0
+ ..controls z11\1\1c1 and z11\1\1c2..z11\1\1
+ ..controls z11\1\2c1 and z11\1\2c2..z11\1\2
+ --cycle;
+ proof_labels (
+ 11\0\0,
+ 11\0\1,
+ 11\0\2,
+ 11\0\3,
+ 11\0\4,
+ 11\0\5,
+ 11\0\6,
+ 11\0\7,
+ 11\0\8,
+ 11\0\9,
+ 11\0\10,
+ 11\1\0,
+ 11\1\1,
+ 11\1\2,
+ 11\1\3,
+);
+endchar;
+
+beginchar (TIB_SUBPA, 8.913u#, 6.745u#, 0.000u#);
+ "sub.pa";
+ z12\0\0s = (0.482u,1.466u);
+ z12\0\0 = (1.686u,1.466u);
+ z12\0\1 = (3.372u,1.636u);
+ z12\0\2c1 = (4.129u,1.597u);
+ z12\0\2c2 = (5.055u,1.465u);
+ z12\0\2 = (5.782u,1.256u);
+ z12\0\3 = (7.965u,0.482u);
+ z12\0\4c1 = (7.950u,1.736u);
+ z12\0\4c2 = (7.842u,3.095u);
+ z12\0\4 = (7.965u,4.336u);
+ z12\0\5c1 = (8.037u,4.846u);
+ z12\0\5c2 = (8.343u,5.508u);
+ z12\0\5 = (8.294u,5.998u);
+ z12\0\6c1 = (8.191u,6.997u);
+ z12\0\6c2 = (6.624u,6.814u);
+ z12\0\6 = (6.482u,5.998u);
+ z12\0\7c1 = (6.405u,5.572u);
+ z12\0\7c2 = (6.821u,5.144u);
+ z12\0\7 = (7.004u,4.777u);
+ z12\0\8c1 = (7.154u,4.476u);
+ z12\0\8c2 = (7.244u,4.181u);
+ z12\0\8 = (7.315u,3.853u);
+ z12\0\9c1 = (7.505u,2.985u);
+ z12\0\9c2 = (7.468u,2.088u);
+ z12\0\9 = (7.468u,1.204u);
+ z12\0\10c1 = (5.084u,2.697u);
+ z12\0\10c2 = (3.954u,2.891u);
+ z12\0\10 = (1.204u,2.891u);
+ z12\0\11c1 = (2.232u,6.109u);
+ z12\0\11c2 = (3.926u,4.689u);
+ z12\0\11 = (4.817u,6.076u);
+ z12\0\12c1 = (4.960u,6.298u);
+ z12\0\12c2 = (4.984u,6.505u);
+ z12\0\12 = (5.059u,6.745u);
+ z12\0\13c1 = (4.379u,6.745u);
+ z12\0\13c2 = (2.232u,6.825u);
+ z12\0\13 = (1.721u,6.601u);
+ z12\0\14c1 = (1.421u,6.469u);
+ z12\0\14c2 = (1.241u,6.304u);
+ z12\0\14 = (1.128u,5.987u);
+ z12\0\15c1 = (0.973u,5.504u);
+ z12\0\15c2 = (1.203u,4.869u);
+ z12\0\15 = (1.128u,4.336u);
+ z12\0\16 = (0.670u,2.891u);
+ z12\0\17c1 = (0.537u,2.404u);
+ z12\0\17c2 = (0.506u,1.946u);
+ fill_or_unfill z12\0\0s
+ --z12\0\0
+ --z12\0\1
+ ..controls z12\0\2c1 and z12\0\2c2..z12\0\2
+ --z12\0\3
+ ..controls z12\0\4c1 and z12\0\4c2..z12\0\4
+ ..controls z12\0\5c1 and z12\0\5c2..z12\0\5
+ ..controls z12\0\6c1 and z12\0\6c2..z12\0\6
+ ..controls z12\0\7c1 and z12\0\7c2..z12\0\7
+ ..controls z12\0\8c1 and z12\0\8c2..z12\0\8
+ ..controls z12\0\9c1 and z12\0\9c2..z12\0\9
+ ..controls z12\0\10c1 and z12\0\10c2..z12\0\10
+ ..controls z12\0\11c1 and z12\0\11c2..z12\0\11
+ ..controls z12\0\12c1 and z12\0\12c2..z12\0\12
+ ..controls z12\0\13c1 and z12\0\13c2..z12\0\13
+ ..controls z12\0\14c1 and z12\0\14c2..z12\0\14
+ ..controls z12\0\15c1 and z12\0\15c2..z12\0\15
+ --z12\0\16
+ ..controls z12\0\17c1 and z12\0\17c2..cycle;
+ proof_labels (
+ 12\0\0,
+ 12\0\1,
+ 12\0\2,
+ 12\0\3,
+ 12\0\4,
+ 12\0\5,
+ 12\0\6,
+ 12\0\7,
+ 12\0\8,
+ 12\0\9,
+ 12\0\10,
+ 12\0\11,
+ 12\0\12,
+ 12\0\13,
+ 12\0\14,
+ 12\0\15,
+ 12\0\16,
+ 12\0\17,
+);
+endchar;
+
+beginchar (TIB_SUBBA, 9.395u#, 6.745u#, 0.241u#);
+ "sub.ba";
+ z14\0\0s = (0.482u,1.204u);
+ z14\0\0c1 = (2.631u,1.224u);
+ z14\0\0c2 = (4.674u,1.852u);
+ z14\0\0 = (6.745u,0.859u);
+ z14\0\1 = (8.227u,0.000u);
+ z14\0\2c1 = (8.190u,1.097u);
+ z14\0\2c2 = (8.096u,2.290u);
+ z14\0\2 = (8.227u,3.372u);
+ z14\0\3 = (8.858u,5.300u);
+ z14\0\4c1 = (8.912u,5.781u);
+ z14\0\4c2 = (8.907u,6.256u);
+ z14\0\4 = (8.858u,6.745u);
+ z14\0\5c1 = (7.889u,6.745u);
+ z14\0\5c2 = (2.553u,6.872u);
+ z14\0\5 = (2.003u,6.601u);
+ z14\0\6c1 = (1.628u,6.416u);
+ z14\0\6c2 = (1.546u,6.158u);
+ z14\0\6 = (1.471u,5.768u);
+ z14\0\7 = (1.471u,4.336u);
+ z14\0\8 = (0.915u,2.891u);
+ z14\1\0s = (7.950u,0.964u);
+ z14\1\0 = (6.022u,1.903u);
+ z14\1\1c1 = (4.267u,2.643u);
+ z14\1\1c2 = (3.294u,2.650u);
+ z14\1\1 = (1.445u,2.650u);
+ z14\1\2c1 = (1.647u,3.495u);
+ z14\1\2c2 = (1.964u,4.312u);
+ z14\1\2 = (2.700u,4.844u);
+ z14\1\3c1 = (3.522u,5.439u);
+ z14\1\3c2 = (6.798u,5.625u);
+ z14\1\3 = (7.426u,4.714u);
+ z14\1\4c1 = (7.795u,4.179u);
+ z14\1\4c2 = (7.943u,1.695u);
+ fill_or_unfill z14\0\0s
+ ..controls z14\0\0c1 and z14\0\0c2..z14\0\0
+ --z14\0\1
+ ..controls z14\0\2c1 and z14\0\2c2..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
+ --z14\0\7
+ --z14\0\8
+ --cycle;
+ fill_or_unfill z14\1\0s
+ --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
+ ..controls z14\1\3c1 and z14\1\3c2..z14\1\3
+ ..controls z14\1\4c1 and z14\1\4c2..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\1\0,
+ 14\1\1,
+ 14\1\2,
+ 14\1\3,
+ 14\1\4,
+);
+endchar;
+
+beginchar (TIB_SUBMA, 10.359u#, 6.745u#, 1.927u#);
+ "sub.ma";
+ z15\0\0s = (1.204u,5.300u);
+ z15\0\0c1 = (2.342u,5.115u);
+ z15\0\0c2 = (2.624u,4.890u);
+ z15\0\0 = (3.132u,3.854u);
+ z15\0\1c1 = (2.727u,3.831u);
+ z15\0\1c2 = (2.321u,3.832u);
+ z15\0\1 = (1.937u,3.677u);
+ z15\0\2c1 = (-0.426u,2.719u);
+ z15\0\2c2 = (0.504u,-0.817u);
+ z15\0\2 = (3.127u,-0.446u);
+ z15\0\3c1 = (3.645u,-0.372u);
+ z15\0\3c2 = (3.997u,-0.199u);
+ z15\0\3 = (4.252u,0.276u);
+ z15\0\4c1 = (4.523u,0.779u);
+ z15\0\4c2 = (4.501u,1.597u);
+ z15\0\4 = (4.577u,2.168u);
+ z15\0\5c1 = (5.970u,1.639u);
+ z15\0\5c2 = (7.924u,0.646u);
+ z15\0\5 = (8.631u,-0.724u);
+ z15\0\6c1 = (8.795u,-1.042u);
+ z15\0\6c2 = (8.840u,-1.344u);
+ z15\0\6 = (8.913u,-1.686u);
+ z15\0\7 = (9.636u,-1.686u);
+ z15\0\8 = (9.416u,0.964u);
+ z15\0\9 = (9.416u,3.132u);
+ z15\0\10c1 = (9.511u,3.881u);
+ z15\0\10c2 = (10.016u,5.561u);
+ z15\0\10 = (9.729u,6.188u);
+ z15\0\11c1 = (9.385u,6.938u);
+ z15\0\11c2 = (7.652u,6.935u);
+ z15\0\11 = (7.616u,6.009u);
+ z15\0\12c1 = (7.597u,5.542u);
+ z15\0\12c2 = (8.253u,4.676u);
+ z15\0\12 = (8.399u,4.092u);
+ z15\0\13 = (8.913u,0.723u);
+ z15\0\14 = (7.508u,1.964u);
+ z15\0\15 = (6.464u,2.964u);
+ z15\0\16c1 = (5.963u,3.335u);
+ z15\0\16c2 = (5.380u,3.505u);
+ z15\0\16 = (4.823u,3.762u);
+ z15\0\17c1 = (4.481u,3.920u);
+ z15\0\17c2 = (3.730u,4.230u);
+ z15\0\17 = (3.935u,4.740u);
+ z15\0\18c1 = (4.242u,5.501u);
+ z15\0\18c2 = (5.694u,5.023u);
+ z15\0\18 = (6.258u,5.857u);
+ z15\0\19c1 = (6.446u,6.135u);
+ z15\0\19c2 = (6.452u,6.431u);
+ z15\0\19 = (6.504u,6.745u);
+ z15\0\20c1 = (5.619u,6.745u);
+ z15\0\20c2 = (2.377u,6.902u);
+ z15\0\20 = (1.790u,6.499u);
+ z15\0\21c1 = (1.361u,6.204u);
+ z15\0\21c2 = (1.307u,5.765u);
+ z15\1\0s = (2.431u,2.534u);
+ z15\1\0c1 = (2.675u,2.540u);
+ z15\1\0c2 = (2.828u,2.614u);
+ z15\1\0 = (3.097u,2.534u);
+ z15\1\1c1 = (4.278u,2.343u);
+ z15\1\1c2 = (4.239u,0.609u);
+ z15\1\1 = (3.097u,0.231u);
+ z15\1\2c1 = (1.969u,-0.147u);
+ z15\1\2c2 = (1.109u,1.149u);
+ z15\1\2 = (1.865u,2.092u);
+ z15\1\3c1 = (2.045u,2.317u);
+ z15\1\3c2 = (2.205u,2.358u);
+ fill_or_unfill z15\0\0s
+ ..controls z15\0\0c1 and z15\0\0c2..z15\0\0
+ ..controls z15\0\1c1 and z15\0\1c2..z15\0\1
+ ..controls z15\0\2c1 and z15\0\2c2..z15\0\2
+ ..controls z15\0\3c1 and z15\0\3c2..z15\0\3
+ ..controls z15\0\4c1 and z15\0\4c2..z15\0\4
+ ..controls z15\0\5c1 and z15\0\5c2..z15\0\5
+ ..controls z15\0\6c1 and z15\0\6c2..z15\0\6
+ --z15\0\7
+ --z15\0\8
+ --z15\0\9
+ ..controls z15\0\10c1 and z15\0\10c2..z15\0\10
+ ..controls z15\0\11c1 and z15\0\11c2..z15\0\11
+ ..controls z15\0\12c1 and z15\0\12c2..z15\0\12
+ --z15\0\13
+ --z15\0\14
+ --z15\0\15
+ ..controls z15\0\16c1 and z15\0\16c2..z15\0\16
+ ..controls z15\0\17c1 and z15\0\17c2..z15\0\17
+ ..controls z15\0\18c1 and z15\0\18c2..z15\0\18
+ ..controls z15\0\19c1 and z15\0\19c2..z15\0\19
+ ..controls z15\0\20c1 and z15\0\20c2..z15\0\20
+ ..controls z15\0\21c1 and z15\0\21c2..cycle;
+ fill_or_unfill z15\1\0s
+ ..controls z15\1\0c1 and z15\1\0c2..z15\1\0
+ ..controls z15\1\1c1 and z15\1\1c2..z15\1\1
+ ..controls z15\1\2c1 and z15\1\2c2..z15\1\2
+ ..controls z15\1\3c1 and z15\1\3c2..cycle;
+ proof_labels (
+ 15\0\0,
+ 15\0\1,
+ 15\0\2,
+ 15\0\3,
+ 15\0\4,
+ 15\0\5,
+ 15\0\6,
+ 15\0\7,
+ 15\0\8,
+ 15\0\9,
+ 15\0\10,
+ 15\0\11,
+ 15\0\12,
+ 15\0\13,
+ 15\0\14,
+ 15\0\15,
+ 15\0\16,
+ 15\0\17,
+ 15\0\18,
+ 15\0\19,
+ 15\0\20,
+ 15\0\21,
+ 15\1\0,
+ 15\1\1,
+ 15\1\2,
+ 15\1\3,
+);
+endchar;
+
+beginchar (TIB_SUBTSA, 9.877u#, 9.636u#, 0.482u#);
+ "sub.tsa";
+ z16\0\0s = (7.193u,6.745u);
+ z16\0\0c1 = (6.264u,6.745u);
+ z16\0\0c2 = (2.883u,6.900u);
+ z16\0\0 = (2.222u,6.499u);
+ z16\0\1c1 = (1.741u,6.208u);
+ z16\0\1c2 = (1.619u,5.793u);
+ z16\0\1 = (1.445u,5.300u);
+ z16\0\2c1 = (2.754u,5.300u);
+ z16\0\2c2 = (4.018u,5.370u);
+ z16\0\2 = (5.300u,5.059u);
+ z16\0\3c1 = (4.398u,3.882u);
+ z16\0\3c2 = (3.545u,2.956u);
+ z16\0\3 = (1.927u,3.225u);
+ z16\0\4 = (0.482u,3.613u);
+ z16\0\5 = (1.432u,2.147u);
+ z16\0\6c1 = (1.855u,1.444u);
+ z16\0\6c2 = (1.990u,0.735u);
+ z16\0\6 = (2.701u,0.214u);
+ z16\0\7c1 = (3.511u,-0.379u);
+ z16\0\7c2 = (6.098u,-0.436u);
+ z16\0\7 = (6.972u,0.042u);
+ z16\0\8c1 = (7.443u,0.300u);
+ z16\0\8c2 = (7.756u,0.679u);
+ z16\0\8 = (7.870u,1.208u);
+ z16\0\9c1 = (8.116u,2.359u);
+ z16\0\9c2 = (7.199u,3.066u);
+ z16\0\9 = (6.556u,3.854u);
+ z16\0\10c1 = (6.238u,4.245u);
+ z16\0\10c2 = (6.018u,4.619u);
+ z16\0\10 = (5.782u,5.059u);
+ z16\0\11c1 = (7.289u,5.427u);
+ z16\0\11c2 = (8.800u,5.134u);
+ z16\0\11 = (7.709u,7.227u);
+ z16\0\12c1 = (9.471u,7.765u);
+ z16\0\12c2 = (9.389u,7.827u);
+ z16\0\12 = (9.395u,9.636u);
+ z16\0\13c1 = (8.631u,9.328u);
+ z16\0\13c2 = (7.314u,8.839u);
+ z16\0\13 = (7.193u,7.924u);
+ z16\0\14c1 = (7.106u,7.619u);
+ z16\0\14c2 = (7.193u,7.066u);
+ z16\1\0s = (5.059u,3.372u);
+ z16\1\0c1 = (5.788u,2.405u);
+ z16\1\0c2 = (6.589u,1.648u);
+ z16\1\0 = (6.986u,0.482u);
+ z16\1\1c1 = (4.759u,-0.060u);
+ z16\1\1c2 = (3.315u,0.325u);
+ z16\1\1 = (3.132u,2.891u);
+ fill_or_unfill z16\0\0s
+ ..controls z16\0\0c1 and z16\0\0c2..z16\0\0
+ ..controls z16\0\1c1 and z16\0\1c2..z16\0\1
+ ..controls z16\0\2c1 and z16\0\2c2..z16\0\2
+ ..controls z16\0\3c1 and z16\0\3c2..z16\0\3
+ --z16\0\4
+ --z16\0\5
+ ..controls z16\0\6c1 and z16\0\6c2..z16\0\6
+ ..controls z16\0\7c1 and z16\0\7c2..z16\0\7
+ ..controls z16\0\8c1 and z16\0\8c2..z16\0\8
+ ..controls z16\0\9c1 and z16\0\9c2..z16\0\9
+ ..controls z16\0\10c1 and z16\0\10c2..z16\0\10
+ ..controls z16\0\11c1 and z16\0\11c2..z16\0\11
+ ..controls z16\0\12c1 and z16\0\12c2..z16\0\12
+ ..controls z16\0\13c1 and z16\0\13c2..z16\0\13
+ ..controls z16\0\14c1 and z16\0\14c2..cycle;
+ fill_or_unfill z16\1\0s
+ ..controls z16\1\0c1 and z16\1\0c2..z16\1\0
+ ..controls z16\1\1c1 and z16\1\1c2..z16\1\1
+ --cycle;
+ proof_labels (
+ 16\0\0,
+ 16\0\1,
+ 16\0\2,
+ 16\0\3,
+ 16\0\4,
+ 16\0\5,
+ 16\0\6,
+ 16\0\7,
+ 16\0\8,
+ 16\0\9,
+ 16\0\10,
+ 16\0\11,
+ 16\0\12,
+ 16\0\13,
+ 16\0\14,
+ 16\1\0,
+ 16\1\1,
+ 16\1\2,
+);
+endchar;
+
+beginchar (TIB_SUBWA, 5.300u#, -0.241u#, 5.782u#);
+ "sub.wa";
+ z82\0\0s = (0.482u,-2.891u);
+ z82\0\0c1 = (1.489u,-3.977u);
+ z82\0\0c2 = (3.361u,-5.244u);
+ z82\0\0 = (4.818u,-5.541u);
+ z82\0\1 = (4.818u,-0.241u);
+ z82\0\2c1 = (3.272u,-0.832u);
+ z82\0\2c2 = (1.859u,-1.972u);
+ z82\1\0s = (4.336u,-1.204u);
+ z82\1\0 = (4.336u,-4.818u);
+ z82\1\1c1 = (3.278u,-4.414u);
+ z82\1\1c2 = (2.357u,-3.798u);
+ z82\1\1 = (1.445u,-3.132u);
+ z82\1\2c1 = (2.235u,-2.229u);
+ z82\1\2c2 = (3.220u,-1.631u);
+ fill_or_unfill z82\0\0s
+ ..controls z82\0\0c1 and z82\0\0c2..z82\0\0
+ --z82\0\1
+ ..controls z82\0\2c1 and z82\0\2c2..cycle;
+ fill_or_unfill z82\1\0s
+ --z82\1\0
+ ..controls z82\1\1c1 and z82\1\1c2..z82\1\1
+ ..controls z82\1\2c1 and z82\1\2c2..cycle;
+ proof_labels (
+ 82\0\0,
+ 82\0\1,
+ 82\0\2,
+ 82\1\0,
+ 82\1\1,
+ 82\1\2,
+);
+endchar;
+
+beginchar (TIB_HEADWA, 6.745u#, 6.745u#, 0.000u#);
+ "head.wa";
+ z85\0\0s = (0.482u,5.300u);
+ z85\0\0 = (2.891u,5.300u);
+ z85\0\1 = (2.891u,4.336u);
+ z85\0\2 = (4.095u,5.064u);
+ z85\0\3c1 = (4.541u,5.262u);
+ z85\0\3c2 = (6.533u,5.425u);
+ z85\0\3 = (5.982u,6.365u);
+ z85\0\4c1 = (5.877u,6.543u);
+ z85\0\4c2 = (5.691u,6.614u);
+ z85\0\4 = (5.504u,6.669u);
+ z85\0\5c1 = (4.879u,6.857u);
+ z85\0\5c2 = (1.774u,6.814u);
+ z85\0\5 = (1.239u,6.499u);
+ z85\0\6c1 = (0.738u,6.203u);
+ z85\0\6c2 = (0.638u,5.814u);
+ fill_or_unfill z85\0\0s
+ --z85\0\0
+ --z85\0\1
+ --z85\0\2
+ ..controls z85\0\3c1 and z85\0\3c2..z85\0\3
+ ..controls z85\0\4c1 and z85\0\4c2..z85\0\4
+ ..controls z85\0\5c1 and z85\0\5c2..z85\0\5
+ ..controls z85\0\6c1 and z85\0\6c2..cycle;
+ proof_labels (
+ 85\0\0,
+ 85\0\1,
+ 85\0\2,
+ 85\0\3,
+ 85\0\4,
+ 85\0\5,
+ 85\0\6,
+);
+endchar;
+
+beginchar (TIB_SUBYA, 10.118u#, -1.927u#, 7.227u#);
+ "sub.ya";
+ z83\0\0s = (8.672u,-1.927u);
+ z83\0\0c1 = (8.292u,-2.576u);
+ z83\0\0c2 = (7.908u,-3.242u);
+ z83\0\0 = (7.217u,-3.611u);
+ z83\0\1c1 = (5.800u,-4.360u);
+ z83\0\1c2 = (2.103u,-3.827u);
+ z83\0\1 = (0.482u,-3.611u);
+ z83\0\2c1 = (0.966u,-4.629u);
+ z83\0\2c2 = (1.494u,-5.089u);
+ z83\0\2 = (2.409u,-5.731u);
+ z83\0\3c1 = (4.119u,-6.933u);
+ z83\0\3c2 = (5.948u,-7.454u);
+ z83\0\3 = (7.949u,-6.581u);
+ z83\0\4c1 = (9.175u,-6.046u);
+ z83\0\4c2 = (9.528u,-5.657u);
+ z83\0\4 = (9.636u,-4.336u);
+ z83\0\5 = (7.468u,-5.645u);
+ z83\0\6c1 = (5.423u,-6.606u);
+ z83\0\6c2 = (4.250u,-5.285u);
+ z83\0\6 = (2.409u,-4.813u);
+ z83\0\7c1 = (3.192u,-4.659u);
+ z83\0\7c2 = (3.794u,-4.779u);
+ z83\0\7 = (4.577u,-4.813u);
+ z83\0\8c1 = (5.775u,-4.853u);
+ z83\0\8c2 = (7.908u,-4.601u);
+ z83\0\8 = (8.652u,-3.548u);
+ z83\0\9c1 = (8.988u,-3.071u);
+ z83\0\9c2 = (9.066u,-2.487u);
+ z83\0\9 = (9.154u,-1.927u);
+ fill_or_unfill z83\0\0s
+ ..controls z83\0\0c1 and z83\0\0c2..z83\0\0
+ ..controls z83\0\1c1 and z83\0\1c2..z83\0\1
+ ..controls z83\0\2c1 and z83\0\2c2..z83\0\2
+ ..controls z83\0\3c1 and z83\0\3c2..z83\0\3
+ ..controls z83\0\4c1 and z83\0\4c2..z83\0\4
+ --z83\0\5
+ ..controls z83\0\6c1 and z83\0\6c2..z83\0\6
+ ..controls z83\0\7c1 and z83\0\7c2..z83\0\7
+ ..controls z83\0\8c1 and z83\0\8c2..z83\0\8
+ ..controls z83\0\9c1 and z83\0\9c2..z83\0\9
+ --cycle;
+ proof_labels (
+ 83\0\0,
+ 83\0\1,
+ 83\0\2,
+ 83\0\3,
+ 83\0\4,
+ 83\0\5,
+ 83\0\6,
+ 83\0\7,
+ 83\0\8,
+ 83\0\9,
+ 83\0\10,
+);
+endchar;
+
+beginchar (TIB_SUBRA, 8.913u#, -0.964u#, 5.782u#);
+ "sub.ra";
+ z84\0\0s = (8.190u,-0.964u);
+ z84\0\0 = (8.190u,-4.818u);
+ z84\0\1c1 = (6.619u,-3.282u);
+ z84\0\1c2 = (5.218u,-2.045u);
+ z84\0\1 = (2.892u,-2.178u);
+ z84\0\2c1 = (2.386u,-2.208u);
+ z84\0\2c2 = (1.982u,-2.257u);
+ z84\0\2 = (1.572u,-2.587u);
+ z84\0\3c1 = (1.045u,-3.011u);
+ z84\0\3c2 = (0.751u,-3.735u);
+ z84\0\3 = (0.482u,-4.364u);
+ z84\0\4c1 = (0.750u,-4.372u);
+ z84\0\4c2 = (0.919u,-4.438u);
+ z84\0\4 = (1.204u,-4.364u);
+ z84\0\5c1 = (2.061u,-4.251u);
+ z84\0\5c2 = (2.526u,-3.521u);
+ z84\0\5 = (3.613u,-3.493u);
+ z84\0\6c1 = (4.420u,-3.472u);
+ z84\0\6c2 = (5.587u,-3.833u);
+ z84\0\6 = (6.263u,-4.260u);
+ z84\0\7c1 = (7.039u,-4.750u);
+ z84\0\7c2 = (7.538u,-5.237u);
+ z84\0\7 = (8.431u,-5.541u);
+ z84\0\8c1 = (8.431u,-4.312u);
+ z84\0\8c2 = (8.614u,-2.030u);
+ fill_or_unfill z84\0\0s
+ --z84\0\0
+ ..controls z84\0\1c1 and z84\0\1c2..z84\0\1
+ ..controls z84\0\2c1 and z84\0\2c2..z84\0\2
+ ..controls z84\0\3c1 and z84\0\3c2..z84\0\3
+ ..controls z84\0\4c1 and z84\0\4c2..z84\0\4
+ ..controls z84\0\5c1 and z84\0\5c2..z84\0\5
+ ..controls z84\0\6c1 and z84\0\6c2..z84\0\6
+ ..controls z84\0\7c1 and z84\0\7c2..z84\0\7
+ ..controls z84\0\8c1 and z84\0\8c2..cycle;
+ proof_labels (
+ 84\0\0,
+ 84\0\1,
+ 84\0\2,
+ 84\0\3,
+ 84\0\4,
+ 84\0\5,
+ 84\0\6,
+ 84\0\7,
+ 84\0\8,
+);
+endchar;
+
+beginchar (TIB_SUBACHUNG, 9.636u#, 6.263u#, 0.000u#);
+ "sub achung";
+ z22\0\0s = (1.686u,1.204u);
+ z22\0\0 = (1.405u,2.167u);
+ z22\0\1c1 = (1.009u,4.507u);
+ z22\0\1c2 = (5.621u,5.665u);
+ z22\0\1 = (6.689u,3.628u);
+ z22\0\2c1 = (6.824u,3.242u);
+ z22\0\2c2 = (6.768u,2.822u);
+ z22\0\2 = (6.689u,2.409u);
+ z22\0\3c1 = (5.149u,2.408u);
+ z22\0\3c2 = (4.185u,2.581u);
+ z22\0\3 = (3.372u,0.924u);
+ z22\0\4c1 = (4.312u,0.964u);
+ z22\0\4c2 = (5.338u,1.046u);
+ z22\0\4 = (6.263u,0.924u);
+ z22\0\5 = (7.950u,0.387u);
+ z22\0\6c1 = (8.356u,0.285u);
+ z22\0\6c2 = (8.739u,0.264u);
+ z22\0\6 = (9.154u,0.241u);
+ z22\0\7c1 = (8.734u,1.762u);
+ z22\0\7c2 = (8.047u,1.488u);
+ z22\0\7 = (7.472u,2.471u);
+ z22\0\8c1 = (7.049u,3.195u);
+ z22\0\8c2 = (7.352u,4.373u);
+ z22\0\8 = (6.882u,5.274u);
+ z22\0\9c1 = (6.718u,5.590u);
+ z22\0\9c2 = (6.540u,5.799u);
+ z22\0\9 = (6.229u,5.980u);
+ z22\0\10c1 = (5.116u,6.630u);
+ z22\0\10c2 = (2.256u,6.236u);
+ z22\0\10 = (1.287u,5.385u);
+ z22\0\11c1 = (1.018u,5.149u);
+ z22\0\11c2 = (0.829u,4.896u);
+ z22\0\11 = (0.687u,4.567u);
+ z22\0\12c1 = (0.390u,3.873u);
+ z22\0\12c2 = (0.352u,2.166u);
+ z22\0\12 = (0.900u,1.589u);
+ z22\0\13c1 = (1.138u,1.338u);
+ z22\0\13c2 = (1.381u,1.306u);
+ fill_or_unfill z22\0\0s
+ --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
+ --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
+ ..controls z22\0\12c1 and z22\0\12c2..z22\0\12
+ ..controls z22\0\13c1 and z22\0\13c2..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,
+);
+endchar;
+
+beginchar (TIB_SUBLA, 8.913u#, 6.745u#, 0.000u#);
+ "sub.la";
+ z25\0\0s = (0.723u,0.723u);
+ z25\0\0 = (1.445u,0.723u);
+ z25\0\1c1 = (1.369u,1.632u);
+ z25\0\1c2 = (0.963u,2.722u);
+ z25\0\1 = (1.159u,3.618u);
+ z25\0\2c1 = (1.657u,5.874u);
+ z25\0\2c2 = (5.567u,5.685u);
+ z25\0\2 = (5.411u,3.618u);
+ z25\0\3c1 = (5.313u,2.345u);
+ z25\0\3c2 = (3.642u,2.968u);
+ z25\0\3 = (2.896u,1.660u);
+ z25\0\4c1 = (2.720u,1.353u);
+ z25\0\4c2 = (2.705u,1.058u);
+ z25\0\4 = (2.650u,0.723u);
+ z25\0\5c1 = (3.883u,1.044u);
+ z25\0\5c2 = (4.975u,1.569u);
+ z25\0\5 = (6.263u,1.176u);
+ z25\0\6 = (8.431u,0.482u);
+ z25\0\7 = (8.431u,6.745u);
+ z25\0\8 = (7.468u,6.745u);
+ z25\0\9 = (7.928u,4.818u);
+ z25\0\10c1 = (8.037u,3.728u);
+ z25\0\10c2 = (7.950u,2.546u);
+ z25\0\10 = (7.928u,1.445u);
+ z25\0\11c1 = (7.122u,2.116u);
+ z25\0\11c2 = (6.809u,2.347u);
+ z25\0\11 = (5.776u,2.650u);
+ z25\0\12c1 = (5.996u,3.406u);
+ z25\0\12c2 = (6.215u,5.487u);
+ z25\0\12 = (5.776u,6.150u);
+ z25\0\13c1 = (5.165u,7.076u);
+ z25\0\13c2 = (1.572u,6.922u);
+ z25\0\13 = (0.867u,6.150u);
+ z25\0\14c1 = (0.435u,5.662u);
+ z25\0\14c2 = (0.486u,4.937u);
+ z25\0\14 = (0.482u,4.336u);
+ z25\0\15c1 = (0.473u,3.089u);
+ z25\0\15c2 = (0.560u,1.957u);
+ fill_or_unfill z25\0\0s
+ --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
+ --z25\0\6
+ --z25\0\7
+ --z25\0\8
+ --z25\0\9
+ ..controls z25\0\10c1 and z25\0\10c2..z25\0\10
+ ..controls z25\0\11c1 and z25\0\11c2..z25\0\11
+ ..controls z25\0\12c1 and z25\0\12c2..z25\0\12
+ ..controls z25\0\13c1 and z25\0\13c2..z25\0\13
+ ..controls z25\0\14c1 and z25\0\14c2..z25\0\14
+ ..controls z25\0\15c1 and z25\0\15c2..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\0\9,
+ 25\0\10,
+ 25\0\11,
+ 25\0\12,
+ 25\0\13,
+ 25\0\14,
+ 25\0\15,
+);
+endchar;
+
+beginchar (TIB_SUBHA, 8.190u#, 6.745u#, 2.409u#);
+ "sub.ha";
+ z28\0\0s = (0.482u,1.927u);
+ z28\0\0c1 = (1.799u,1.969u);
+ z28\0\0c2 = (2.263u,2.045u);
+ z28\0\0 = (3.351u,1.162u);
+ z28\0\1c1 = (3.780u,0.815u);
+ z28\0\1c2 = (4.091u,0.511u);
+ z28\0\1 = (4.577u,0.241u);
+ z28\0\2c1 = (4.473u,1.535u);
+ z28\0\2c2 = (4.240u,1.707u);
+ z28\0\2 = (3.372u,2.650u);
+ z28\0\3c1 = (3.764u,2.793u);
+ z28\0\3c2 = (4.155u,2.966u);
+ z28\0\3 = (4.577u,2.997u);
+ z28\0\4c1 = (5.135u,3.038u);
+ z28\0\4c2 = (5.751u,2.843u);
+ z28\0\4 = (6.180u,2.481u);
+ z28\0\5c1 = (7.436u,1.423u);
+ z28\0\5c2 = (6.482u,-0.248u);
+ z28\0\5 = (5.516u,-1.125u);
+ z28\0\6c1 = (5.153u,-1.454u);
+ z28\0\6c2 = (4.754u,-1.682u);
+ z28\0\6 = (4.336u,-1.927u);
+ z28\0\7c1 = (5.852u,-2.501u);
+ z28\0\7c2 = (7.090u,-1.119u);
+ z28\0\7 = (7.516u,0.241u);
+ z28\0\8c1 = (7.663u,0.712u);
+ z28\0\8c2 = (7.694u,1.196u);
+ z28\0\8 = (7.705u,1.686u);
+ z28\0\9c1 = (7.723u,2.441u);
+ z28\0\9c2 = (7.788u,3.415u);
+ z28\0\9 = (7.151u,3.951u);
+ z28\0\10c1 = (6.673u,4.354u);
+ z28\0\10c2 = (5.894u,4.359u);
+ z28\0\10 = (5.300u,4.326u);
+ z28\0\11c1 = (4.076u,4.258u);
+ z28\0\11c2 = (3.718u,3.919u);
+ z28\0\11 = (3.132u,2.891u);
+ z28\0\12 = (1.204u,3.613u);
+ z28\0\13c1 = (2.872u,6.640u);
+ z28\0\13c2 = (4.956u,4.455u);
+ z28\0\13 = (6.369u,5.685u);
+ z28\0\14c1 = (6.708u,5.979u);
+ z28\0\14c2 = (6.825u,6.348u);
+ z28\0\14 = (6.986u,6.707u);
+ z28\0\15c1 = (6.171u,6.745u);
+ z28\0\15c2 = (2.199u,6.811u);
+ z28\0\15 = (1.721u,6.707u);
+ z28\0\16c1 = (1.506u,6.606u);
+ z28\0\16c2 = (1.353u,6.542u);
+ z28\0\16 = (1.210u,6.360u);
+ z28\0\17c1 = (0.896u,5.961u);
+ z28\0\17c2 = (1.034u,5.210u);
+ z28\0\17 = (0.933u,4.716u);
+ z28\0\18 = (0.609u,3.610u);
+ z28\0\19c1 = (0.483u,3.051u);
+ z28\0\19c2 = (0.487u,2.496u);
+ fill_or_unfill z28\0\0s
+ ..controls z28\0\0c1 and z28\0\0c2..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..z28\0\10
+ ..controls z28\0\11c1 and z28\0\11c2..z28\0\11
+ --z28\0\12
+ ..controls z28\0\13c1 and z28\0\13c2..z28\0\13
+ ..controls z28\0\14c1 and z28\0\14c2..z28\0\14
+ ..controls z28\0\15c1 and z28\0\15c2..z28\0\15
+ ..controls z28\0\16c1 and z28\0\16c2..z28\0\16
+ ..controls z28\0\17c1 and z28\0\17c2..z28\0\17
+ --z28\0\18
+ ..controls z28\0\19c1 and z28\0\19c2..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\0\11,
+ 28\0\12,
+ 28\0\13,
+ 28\0\14,
+ 28\0\15,
+ 28\0\16,
+ 28\0\17,
+ 28\0\18,
+ 28\0\19,
+);
+endchar;
+
+beginchar (TIB_SUBSMALLD, 8.190u#, 6.745u#, 0.000u#);
+ "sub.smalld";
+ z66\0\0s = (0.482u,2.649u);
+ z66\0\0 = (4.095u,2.649u);
+ z66\0\1 = (7.709u,2.409u);
+ z66\0\2c1 = (5.642u,4.045u);
+ z66\0\2c2 = (3.660u,3.854u);
+ z66\0\2 = (1.204u,3.854u);
+ z66\0\3c1 = (1.568u,4.306u);
+ z66\0\3c2 = (1.891u,4.740u);
+ z66\0\3 = (2.418u,5.017u);
+ z66\0\4c1 = (3.563u,5.617u);
+ z66\0\4c2 = (5.565u,4.864u);
+ z66\0\4 = (6.263u,5.857u);
+ z66\0\5c1 = (6.411u,6.068u);
+ z66\0\5c2 = (6.430u,6.271u);
+ z66\0\5 = (6.504u,6.504u);
+ z66\0\6c1 = (5.416u,6.648u);
+ z66\0\6c2 = (1.910u,7.162u);
+ z66\0\6 = (1.173u,6.129u);
+ z66\0\7c1 = (0.940u,5.707u);
+ z66\0\7c2 = (1.199u,5.180u);
+ z66\0\7 = (1.173u,4.716u);
+ z66\0\8 = (0.713u,3.610u);
+ fill_or_unfill z66\0\0s
+ --z66\0\0
+ --z66\0\1
+ ..controls z66\0\2c1 and z66\0\2c2..z66\0\2
+ ..controls z66\0\3c1 and z66\0\3c2..z66\0\3
+ ..controls z66\0\4c1 and z66\0\4c2..z66\0\4
+ ..controls z66\0\5c1 and z66\0\5c2..z66\0\5
+ ..controls z66\0\6c1 and z66\0\6c2..z66\0\6
+ ..controls z66\0\7c1 and z66\0\7c2..z66\0\7
+ --z66\0\8
+ --cycle;
+ proof_labels (
+ 66\0\0,
+ 66\0\1,
+ 66\0\2,
+ 66\0\3,
+ 66\0\4,
+ 66\0\5,
+ 66\0\6,
+ 66\0\7,
+ 66\0\8,
+ 66\0\9,
+);
+endchar;
+
+beginchar (TIB_PALUTA, 7.950u#, 6.745u#, 6.504u#);
+ "paluta";
+ z16\0\0s = (1.204u,4.336u);
+ z16\0\0c1 = (1.371u,4.637u);
+ z16\0\0c2 = (1.450u,4.868u);
+ z16\0\0 = (1.757u,5.073u);
+ z16\0\1c1 = (2.416u,5.512u);
+ z16\0\1c2 = (4.271u,5.399u);
+ z16\0\1 = (4.227u,4.323u);
+ z16\0\2c1 = (4.182u,3.217u);
+ z16\0\2c2 = (2.085u,2.416u);
+ z16\0\2 = (2.048u,0.968u);
+ z16\0\3c1 = (2.021u,-0.049u);
+ z16\0\3c2 = (3.210u,-0.720u);
+ z16\0\3 = (3.952u,0.085u);
+ z16\0\4c1 = (4.196u,0.349u);
+ z16\0\4c2 = (4.237u,0.640u);
+ z16\0\4 = (4.336u,0.964u);
+ z16\0\5 = (2.891u,1.445u);
+ z16\0\6c1 = (3.801u,2.351u);
+ z16\0\6c2 = (5.095u,2.923u);
+ z16\0\6 = (6.141u,1.827u);
+ z16\0\7c1 = (6.516u,1.435u);
+ z16\0\7c2 = (6.702u,1.028u);
+ z16\0\7 = (6.663u,0.482u);
+ z16\0\8c1 = (6.548u,-1.111u);
+ z16\0\8c2 = (4.234u,-3.015u);
+ z16\0\8 = (4.531u,-4.327u);
+ z16\0\9c1 = (4.786u,-5.454u);
+ z16\0\9c2 = (6.473u,-6.074u);
+ z16\0\9 = (7.468u,-6.263u);
+ z16\0\10c1 = (7.364u,-5.928u);
+ z16\0\10c2 = (7.317u,-5.678u);
+ z16\0\10 = (7.084u,-5.393u);
+ z16\0\11c1 = (6.592u,-4.793u);
+ z16\0\11c2 = (5.401u,-4.460u);
+ z16\0\11 = (5.306u,-3.613u);
+ z16\0\12c1 = (5.278u,-3.354u);
+ z16\0\12c2 = (5.362u,-3.178u);
+ z16\0\12 = (5.481u,-2.959u);
+ z16\0\13 = (6.440u,-1.677u);
+ z16\0\14c1 = (7.080u,-0.669u);
+ z16\0\14c2 = (7.467u,0.488u);
+ z16\0\14 = (7.461u,1.686u);
+ z16\0\15c1 = (7.458u,2.213u);
+ z16\0\15c2 = (7.430u,2.797u);
+ z16\0\15 = (7.049u,3.204u);
+ z16\0\16c1 = (6.450u,3.845u);
+ z16\0\16c2 = (5.585u,3.794u);
+ z16\0\16 = (4.818u,3.613u);
+ z16\0\17 = (5.487u,5.055u);
+ z16\0\18c1 = (5.592u,5.332u);
+ z16\0\18c2 = (5.705u,5.629u);
+ z16\0\18 = (5.612u,5.928u);
+ z16\0\19c1 = (5.282u,6.988u);
+ z16\0\19c2 = (2.937u,6.832u);
+ z16\0\19 = (2.171u,6.429u);
+ z16\0\20c1 = (1.620u,6.138u);
+ z16\0\20c2 = (1.087u,5.609u);
+ z16\0\20 = (0.798u,5.055u);
+ z16\0\21c1 = (0.531u,4.543u);
+ z16\0\21c2 = (0.305u,3.300u);
+ z16\0\21 = (1.062u,3.064u);
+ z16\0\22c1 = (1.587u,2.900u);
+ z16\0\22c2 = (2.122u,3.458u);
+ z16\0\22 = (1.750u,3.969u);
+ z16\0\23c1 = (1.598u,4.179u);
+ z16\0\23c2 = (1.408u,4.218u);
+ fill_or_unfill z16\0\0s
+ ..controls z16\0\0c1 and z16\0\0c2..z16\0\0
+ ..controls z16\0\1c1 and z16\0\1c2..z16\0\1
+ ..controls z16\0\2c1 and z16\0\2c2..z16\0\2
+ ..controls z16\0\3c1 and z16\0\3c2..z16\0\3
+ ..controls z16\0\4c1 and z16\0\4c2..z16\0\4
+ --z16\0\5
+ ..controls z16\0\6c1 and z16\0\6c2..z16\0\6
+ ..controls z16\0\7c1 and z16\0\7c2..z16\0\7
+ ..controls z16\0\8c1 and z16\0\8c2..z16\0\8
+ ..controls z16\0\9c1 and z16\0\9c2..z16\0\9
+ ..controls z16\0\10c1 and z16\0\10c2..z16\0\10
+ ..controls z16\0\11c1 and z16\0\11c2..z16\0\11
+ ..controls z16\0\12c1 and z16\0\12c2..z16\0\12
+ --z16\0\13
+ ..controls z16\0\14c1 and z16\0\14c2..z16\0\14
+ ..controls z16\0\15c1 and z16\0\15c2..z16\0\15
+ ..controls z16\0\16c1 and z16\0\16c2..z16\0\16
+ --z16\0\17
+ ..controls z16\0\18c1 and z16\0\18c2..z16\0\18
+ ..controls z16\0\19c1 and z16\0\19c2..z16\0\19
+ ..controls z16\0\20c1 and z16\0\20c2..z16\0\20
+ ..controls z16\0\21c1 and z16\0\21c2..z16\0\21
+ ..controls z16\0\22c1 and z16\0\22c2..z16\0\22
+ ..controls z16\0\23c1 and z16\0\23c2..cycle;
+ proof_labels (
+ 16\0\0,
+ 16\0\1,
+ 16\0\2,
+ 16\0\3,
+ 16\0\4,
+ 16\0\5,
+ 16\0\6,
+ 16\0\7,
+ 16\0\8,
+ 16\0\9,
+ 16\0\10,
+ 16\0\11,
+ 16\0\12,
+ 16\0\13,
+ 16\0\14,
+ 16\0\15,
+ 16\0\16,
+ 16\0\17,
+ 16\0\18,
+ 16\0\19,
+ 16\0\20,
+ 16\0\21,
+ 16\0\22,
+ 16\0\23,
+);
+endchar;
+
+beginchar (TIB_GTERYIGMGOTR, 13.249u#, 6.745u#, 2.168u#);
+ "gter.yig.mgo.tr";
+ z56\0\0s = (4.818u,3.372u);
+ z56\0\0c1 = (5.250u,3.512u);
+ z56\0\0c2 = (5.627u,3.660u);
+ z56\0\0 = (6.091u,3.585u);
+ z56\0\1c1 = (7.367u,3.377u);
+ z56\0\1c2 = (10.432u,1.221u);
+ z56\0\1 = (11.256u,0.231u);
+ z56\0\2c1 = (11.504u,-0.067u);
+ z56\0\2c2 = (11.678u,-0.365u);
+ z56\0\2 = (11.835u,-0.718u);
+ z56\0\3c1 = (11.968u,-1.018u);
+ z56\0\3c2 = (12.040u,-1.449u);
+ z56\0\3 = (12.277u,-1.686u);
+ z56\0\4c1 = (12.439u,-1.847u);
+ z56\0\4c2 = (12.575u,-1.848u);
+ z56\0\4 = (12.768u,-1.927u);
+ z56\0\5c1 = (12.673u,-1.260u);
+ z56\0\5c2 = (12.567u,-0.616u);
+ z56\0\5 = (12.274u,0.000u);
+ z56\0\6c1 = (11.443u,1.751u);
+ z56\0\6c2 = (9.100u,3.680u);
+ z56\0\6 = (7.709u,5.059u);
+ z56\0\7c1 = (8.749u,5.400u);
+ z56\0\7c2 = (9.047u,5.412u);
+ z56\0\7 = (9.395u,6.504u);
+ z56\0\8c1 = (8.489u,6.724u);
+ z56\0\8c2 = (6.201u,6.920u);
+ z56\0\8 = (5.332u,6.642u);
+ z56\0\9c1 = (4.814u,6.475u);
+ z56\0\9c2 = (4.438u,5.968u);
+ z56\0\9 = (4.966u,5.542u);
+ z56\0\10c1 = (5.207u,5.347u);
+ z56\0\10c2 = (5.496u,5.350u);
+ z56\0\10 = (5.782u,5.300u);
+ z56\0\11c1 = (5.274u,4.521u);
+ z56\0\11c2 = (4.621u,3.734u);
+ z56\0\11 = (4.233u,2.892u);
+ z56\0\12c1 = (3.538u,1.382u);
+ z56\0\12c2 = (4.652u,1.665u);
+ z56\0\12 = (5.530u,1.302u);
+ z56\0\13c1 = (5.994u,1.111u);
+ z56\0\13c2 = (6.192u,0.847u);
+ z56\0\13 = (6.504u,0.482u);
+ z56\0\14c1 = (4.745u,0.054u);
+ z56\0\14c2 = (1.554u,0.032u);
+ z56\0\14 = (1.802u,2.650u);
+ z56\0\15c1 = (1.853u,3.189u);
+ z56\0\15c2 = (1.989u,3.827u);
+ z56\0\15 = (2.173u,4.336u);
+ z56\0\16c1 = (2.415u,5.005u);
+ z56\0\16c2 = (3.571u,6.332u);
+ z56\0\16 = (2.373u,6.635u);
+ z56\0\17c1 = (2.065u,6.755u);
+ z56\0\17c2 = (1.534u,6.726u);
+ z56\0\17 = (1.240u,6.635u);
+ z56\0\18c1 = (0.118u,6.123u);
+ z56\0\18c2 = (0.814u,5.283u);
+ z56\0\18 = (1.093u,4.556u);
+ z56\0\19 = (1.339u,3.613u);
+ z56\0\20c1 = (1.594u,2.143u);
+ z56\0\20c2 = (1.099u,-0.040u);
+ z56\0\20 = (2.675u,-0.921u);
+ z56\0\21c1 = (3.105u,-1.162u);
+ z56\0\21c2 = (3.614u,-1.195u);
+ z56\0\21 = (4.095u,-1.197u);
+ z56\0\22c1 = (5.453u,-1.204u);
+ z56\0\22c2 = (6.960u,-0.657u);
+ z56\0\22 = (6.929u,0.963u);
+ z56\0\23c1 = (6.919u,1.480u);
+ z56\0\23c2 = (6.711u,1.936u);
+ z56\0\23 = (6.367u,2.316u);
+ z56\0\24c1 = (5.959u,2.767u);
+ z56\0\24c2 = (5.338u,3.068u);
+ fill_or_unfill z56\0\0s
+ ..controls z56\0\0c1 and z56\0\0c2..z56\0\0
+ ..controls z56\0\1c1 and z56\0\1c2..z56\0\1
+ ..controls z56\0\2c1 and z56\0\2c2..z56\0\2
+ ..controls z56\0\3c1 and z56\0\3c2..z56\0\3
+ ..controls z56\0\4c1 and z56\0\4c2..z56\0\4
+ ..controls z56\0\5c1 and z56\0\5c2..z56\0\5
+ ..controls z56\0\6c1 and z56\0\6c2..z56\0\6
+ ..controls z56\0\7c1 and z56\0\7c2..z56\0\7
+ ..controls z56\0\8c1 and z56\0\8c2..z56\0\8
+ ..controls z56\0\9c1 and z56\0\9c2..z56\0\9
+ ..controls z56\0\10c1 and z56\0\10c2..z56\0\10
+ ..controls z56\0\11c1 and z56\0\11c2..z56\0\11
+ ..controls z56\0\12c1 and z56\0\12c2..z56\0\12
+ ..controls z56\0\13c1 and z56\0\13c2..z56\0\13
+ ..controls z56\0\14c1 and z56\0\14c2..z56\0\14
+ ..controls z56\0\15c1 and z56\0\15c2..z56\0\15
+ ..controls z56\0\16c1 and z56\0\16c2..z56\0\16
+ ..controls z56\0\17c1 and z56\0\17c2..z56\0\17
+ ..controls z56\0\18c1 and z56\0\18c2..z56\0\18
+ --z56\0\19
+ ..controls z56\0\20c1 and z56\0\20c2..z56\0\20
+ ..controls z56\0\21c1 and z56\0\21c2..z56\0\21
+ ..controls z56\0\22c1 and z56\0\22c2..z56\0\22
+ ..controls z56\0\23c1 and z56\0\23c2..z56\0\23
+ ..controls z56\0\24c1 and z56\0\24c2..cycle;
+ proof_labels (
+ 56\0\0,
+ 56\0\1,
+ 56\0\2,
+ 56\0\3,
+ 56\0\4,
+ 56\0\5,
+ 56\0\6,
+ 56\0\7,
+ 56\0\8,
+ 56\0\9,
+ 56\0\10,
+ 56\0\11,
+ 56\0\12,
+ 56\0\13,
+ 56\0\14,
+ 56\0\15,
+ 56\0\16,
+ 56\0\17,
+ 56\0\18,
+ 56\0\19,
+ 56\0\20,
+ 56\0\21,
+ 56\0\22,
+ 56\0\23,
+ 56\0\24,
+);
+endchar;
+