% 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.