beginchar (32, 9.154u#, 9.154u#, 0.000u#);
  ".notdef";
  z0\0\0s = (0.000u,4.095u);
  z0\0\0c1 = (0.864u,2.595u);
  z0\0\0c2 = (1.016u,2.450u);
  z0\0\0 = (0.723u,0.686u);
  z0\0\1c1 = (1.068u,0.651u);
  z0\0\1c2 = (1.302u,0.561u);
  z0\0\1 = (1.665u,0.686u);
  z0\0\2c1 = (2.107u,0.755u);
  z0\0\2c2 = (2.518u,1.191u);
  z0\0\2 = (2.919u,1.230u);
  z0\0\3c1 = (3.440u,1.281u);
  z0\0\3c2 = (4.199u,0.191u);
  z0\0\3 = (6.022u,0.244u);
  z0\0\4c1 = (9.824u,0.355u);
  z0\0\4c2 = (10.897u,8.093u);
  z0\0\4 = (5.541u,9.042u);
  z0\0\5c1 = (4.348u,9.254u);
  z0\0\5c2 = (3.169u,9.010u);
  z0\0\5 = (2.213u,8.239u);
  z0\0\6c1 = (0.945u,7.218u);
  z0\0\6c2 = (0.974u,5.411u);
  z0\1\0s = (7.709u,1.927u);
  z0\1\0c1 = (3.871u,2.938u);
  z0\1\0c2 = (8.669u,4.790u);
  z0\1\0 = (4.577u,5.990u);
  z0\1\1c1 = (3.584u,6.282u);
  z0\1\1c2 = (2.987u,6.494u);
  z0\1\1 = (1.927u,6.504u);
  z0\1\2c1 = (3.658u,10.706u);
  z0\1\2c2 = (10.910u,7.809u);
  z0\2\0s = (5.781u,5.300u);
  z0\2\0c1 = (5.447u,2.049u);
  z0\2\0c2 = (5.301u,3.748u);
  z0\2\0 = (6.745u,0.963u);
  z0\2\1c1 = (4.453u,0.964u);
  z0\2\1c2 = (5.129u,1.216u);
  z0\2\1 = (3.348u,1.995u);
  z0\2\2c1 = (1.826u,2.660u);
  z0\2\2c2 = (1.073u,2.449u);
  z0\2\2 = (1.204u,4.577u);
  z0\2\3 = (3.372u,4.336u);
  z0\2\4 = (3.372u,4.818u);
  z0\2\5 = (1.686u,5.059u);
  z0\2\6 = (1.686u,5.744u);
  z0\2\7c1 = (2.148u,5.781u);
  z0\2\7c2 = (2.913u,5.820u);
  z0\2\7 = (3.342u,5.744u);
  z0\2\8c1 = (4.628u,5.368u);
  z0\2\8c2 = (4.010u,4.513u);
  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..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..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..z0\1\1
    ..controls z0\1\2c1 and z0\1\2c2..cycle;
  fill_or_unfill z0\2\0s
    ..controls z0\2\0c1 and z0\2\0c2..z0\2\0
    ..controls z0\2\1c1 and z0\2\1c2..z0\2\1
    ..controls z0\2\2c1 and z0\2\2c2..z0\2\2
    --z0\2\3
    --z0\2\4
    --z0\2\5
    --z0\2\6
    ..controls z0\2\7c1 and z0\2\7c2..z0\2\7
    ..controls z0\2\8c1 and z0\2\8c2..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\1\0,
    0\1\1,
    0\1\2,
    0\2\0,
    0\2\1,
    0\2\2,
    0\2\3,
    0\2\4,
    0\2\5,
    0\2\6,
    0\2\7,
    0\2\8,
);
endchar;

beginchar (33, 8.431u#, 9.395u#, 0.000u#);
  ".notdef";
  z1\0\0s = (1.227u,7.012u);
  z1\0\0c1 = (-1.596u,6.493u);
  z1\0\0c2 = (1.590u,4.274u);
  z1\0\0 = (3.424u,2.472u);
  z1\0\1 = (3.533u,1.574u);
  z1\0\2 = (5.236u,1.611u);
  z1\0\3 = (5.199u,2.398u);
  z1\0\4c1 = (6.737u,4.943u);
  z1\0\4c2 = (9.044u,6.792u);
  z1\0\4 = (7.378u,6.994u);
  z1\0\5c1 = (7.122u,8.770u);
  z1\0\5c2 = (2.219u,11.710u);
  z1\1\0s = (6.994u,6.389u);
  z1\1\0c1 = (7.378u,6.499u);
  z1\1\0c2 = (7.396u,6.188u);
  z1\1\0 = (6.682u,5.419u);
  z1\1\1c1 = (4.311u,2.277u);
  z1\1\1c2 = (3.108u,2.589u);
  z1\1\1 = (1.776u,5.328u);
  z1\1\2c1 = (1.007u,5.877u);
  z1\1\2c2 = (1.116u,6.262u);
  z1\1\2 = (1.172u,6.298u);
  z1\1\3 = (1.445u,6.263u);
  z1\1\4c1 = (2.155u,7.977u);
  z1\1\4c2 = (4.064u,9.008u);
  z1\1\4 = (5.769u,7.933u);
  z1\1\5c1 = (6.630u,7.391u);
  z1\1\5c2 = (6.620u,6.787u);
  z1\2\0s = (4.742u,6.719u);
  z1\2\0 = (4.742u,6.682u);
  z1\2\1c1 = (4.925u,6.060u);
  z1\2\1c2 = (6.133u,6.097u);
  z1\2\1 = (6.263u,6.745u);
  z1\3\0s = (2.179u,6.737u);
  z1\3\0c1 = (2.875u,6.009u);
  z1\3\0c2 = (3.123u,6.020u);
  z1\3\0 = (3.460u,6.756u);
  z1\4\0s = (3.167u,3.955u);
  z1\4\0 = (4.943u,3.955u);
  z1\4\1c1 = (4.464u,4.566u);
  z1\4\1c2 = (3.732u,4.704u);
  fill_or_unfill z1\0\0s
    ..controls z1\0\0c1 and z1\0\0c2..z1\0\0
    --z1\0\1
    --z1\0\2
    --z1\0\3
    ..controls z1\0\4c1 and z1\0\4c2..z1\0\4
    ..controls z1\0\5c1 and z1\0\5c2..cycle;
  fill_or_unfill z1\1\0s
    ..controls z1\1\0c1 and z1\1\0c2..z1\1\0
    ..controls z1\1\1c1 and z1\1\1c2..z1\1\1
    ..controls z1\1\2c1 and z1\1\2c2..z1\1\2
    --z1\1\3
    ..controls z1\1\4c1 and z1\1\4c2..z1\1\4
    ..controls z1\1\5c1 and z1\1\5c2..cycle;
  fill_or_unfill z1\2\0s
    --z1\2\0
    ..controls z1\2\1c1 and z1\2\1c2..z1\2\1
    --cycle;
  fill_or_unfill z1\3\0s
    ..controls z1\3\0c1 and z1\3\0c2..z1\3\0
    --cycle;
  fill_or_unfill z1\4\0s
    --z1\4\0
    ..controls z1\4\1c1 and z1\4\1c2..cycle;
  proof_labels (
    1\0\0,
    1\0\1,
    1\0\2,
    1\0\3,
    1\0\4,
    1\0\5,
    1\1\0,
    1\1\1,
    1\1\2,
    1\1\3,
    1\1\4,
    1\1\5,
    1\2\0,
    1\2\1,
    1\2\2,
    1\3\0,
    1\3\1,
    1\4\0,
    1\4\1,
);
endchar;

beginchar (34, 17.104u#, 10.118u#, 0.000u#);
  ".notdef";
  z2\0\0s = (10.840u,0.723u);
  z2\0\0c1 = (12.007u,0.991u);
  z2\0\0c2 = (12.447u,1.693u);
  z2\0\0 = (11.081u,2.168u);
  z2\0\1c1 = (10.870u,4.678u);
  z2\0\1c2 = (10.042u,6.285u);
  z2\0\1 = (8.431u,8.191u);
  z2\0\2c1 = (13.558u,8.059u);
  z2\0\2c2 = (12.687u,-2.048u);
  z2\0\2 = (14.936u,1.927u);
  z2\0\3 = (13.733u,2.722u);
  z2\0\4 = (13.087u,4.818u);
  z2\0\5 = (11.563u,7.950u);
  z2\0\6c1 = (15.773u,8.073u);
  z2\0\6c2 = (14.535u,1.267u);
  z2\0\6 = (16.371u,1.285u);
  z2\0\7c1 = (17.669u,1.298u);
  z2\0\7c2 = (16.204u,2.858u);
  z2\0\7 = (16.054u,3.162u);
  z2\0\8c1 = (15.091u,5.126u);
  z2\0\8c2 = (15.377u,7.266u);
  z2\0\8 = (13.480u,8.819u);
  z2\0\9c1 = (11.348u,10.565u);
  z2\0\9c2 = (4.974u,10.123u);
  z2\0\9 = (2.168u,10.118u);
  z2\0\10c1 = (1.431u,10.116u);
  z2\0\10c2 = (-0.848u,9.987u);
  z2\0\10 = (0.247u,8.575u);
  z2\0\11c1 = (1.070u,7.516u);
  z2\0\11c2 = (6.283u,10.038u);
  z2\0\11 = (8.888u,6.254u);
  z2\0\12c1 = (9.941u,4.724u);
  z2\0\12c2 = (10.253u,2.487u);
  z2\1\0s = (12.527u,8.913u);
  z2\1\0 = (0.723u,8.913u);
  z2\1\1c1 = (1.808u,10.414u);
  z2\1\1c2 = (10.648u,9.456u);
  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
    --z2\0\3
    --z2\0\4
    --z2\0\5
    ..controls z2\0\6c1 and z2\0\6c2..z2\0\6
    ..controls z2\0\7c1 and z2\0\7c2..z2\0\7
    ..controls z2\0\8c1 and z2\0\8c2..z2\0\8
    ..controls z2\0\9c1 and z2\0\9c2..z2\0\9
    ..controls z2\0\10c1 and z2\0\10c2..z2\0\10
    ..controls z2\0\11c1 and z2\0\11c2..z2\0\11
    ..controls z2\0\12c1 and z2\0\12c2..cycle;
  fill_or_unfill z2\1\0s
    --z2\1\0
    ..controls z2\1\1c1 and z2\1\1c2..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\1\0,
    2\1\1,
);
endchar;

beginchar (35, 17.104u#, 6.022u#, 0.000u#);
  ".notdef";
  z3\0\0s = (0.000u,1.445u);
  z3\0\0 = (6.986u,0.963u);
  z3\0\1 = (13.249u,1.886u);
  z3\0\2 = (17.104u,2.650u);
  z3\0\3c1 = (11.545u,3.772u);
  z3\0\3c2 = (6.154u,9.126u);
  z3\0\3 = (1.436u,3.156u);
  z3\0\4c1 = (0.951u,2.542u);
  z3\0\4c2 = (0.389u,2.135u);
  z3\1\0s = (6.267u,5.196u);
  z3\1\0c1 = (9.113u,5.208u);
  z3\1\0c2 = (8.795u,2.459u);
  z3\1\0 = (6.982u,2.204u);
  z3\1\1c1 = (4.735u,1.888u);
  z3\1\1c2 = (3.944u,4.566u);
  z3\2\0s = (9.154u,4.818u);
  z3\2\0 = (13.731u,2.891u);
  z3\2\1 = (8.431u,1.686u);
  z3\3\0s = (4.336u,4.577u);
  z3\3\0 = (4.818u,1.686u);
  z3\3\1 = (1.927u,2.168u);
  z3\3\2c1 = (2.373u,3.476u);
  z3\3\2c2 = (2.994u,4.183u);
  fill_or_unfill z3\0\0s
    --z3\0\0
    --z3\0\1
    --z3\0\2
    ..controls z3\0\3c1 and z3\0\3c2..z3\0\3
    ..controls z3\0\4c1 and z3\0\4c2..cycle;
  fill_or_unfill z3\1\0s
    ..controls z3\1\0c1 and z3\1\0c2..z3\1\0
    ..controls z3\1\1c1 and z3\1\1c2..cycle;
  fill_or_unfill z3\2\0s
    --z3\2\0
    --z3\2\1
    --cycle;
  fill_or_unfill z3\3\0s
    --z3\3\0
    --z3\3\1
    ..controls z3\3\2c1 and z3\3\2c2..cycle;
  proof_labels (
    3\0\0,
    3\0\1,
    3\0\2,
    3\0\3,
    3\0\4,
    3\1\0,
    3\1\1,
    3\2\0,
    3\2\1,
    3\2\2,
    3\3\0,
    3\3\1,
    3\3\2,
);
endchar;

beginchar (36, 17.104u#, 6.263u#, 0.000u#);
  ".notdef";
  z4\0\0s = (1.445u,6.263u);
  z4\0\0c1 = (2.545u,3.676u);
  z4\0\0c2 = (1.835u,3.942u);
  z4\0\0 = (0.000u,2.133u);
  z4\0\1 = (2.650u,2.133u);
  z4\0\2 = (6.745u,1.449u);
  z4\0\3 = (14.213u,2.584u);
  z4\0\4 = (16.551u,2.584u);
  z4\0\5 = (17.104u,3.132u);
  z4\0\6c1 = (15.181u,3.404u);
  z4\0\6c2 = (13.700u,3.514u);
  z4\0\6 = (14.213u,5.781u);
  z4\0\7 = (12.517u,4.949u);
  z4\0\8 = (7.709u,6.179u);
  z4\0\9 = (4.818u,6.179u);
  z4\0\10 = (2.993u,5.613u);
  z4\1\0s = (6.027u,5.636u);
  z4\1\0c1 = (8.731u,6.148u);
  z4\1\0c2 = (9.285u,3.319u);
  z4\1\0 = (7.455u,2.688u);
  z4\1\1c1 = (5.323u,1.953u);
  z4\1\1c2 = (3.744u,4.347u);
  z4\2\0s = (4.577u,5.300u);
  z4\2\0 = (4.818u,2.409u);
  z4\2\1 = (1.927u,2.650u);
  z4\2\2c1 = (2.388u,4.001u);
  z4\2\2c2 = (3.191u,4.893u);
  z4\3\0s = (13.972u,3.372u);
  z4\3\0 = (8.672u,2.409u);
  z4\3\1 = (8.913u,5.300u);
  fill_or_unfill z4\0\0s
    ..controls z4\0\0c1 and z4\0\0c2..z4\0\0
    --z4\0\1
    --z4\0\2
    --z4\0\3
    --z4\0\4
    --z4\0\5
    ..controls z4\0\6c1 and z4\0\6c2..z4\0\6
    --z4\0\7
    --z4\0\8
    --z4\0\9
    --z4\0\10
    --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..cycle;
  fill_or_unfill z4\2\0s
    --z4\2\0
    --z4\2\1
    ..controls z4\2\2c1 and z4\2\2c2..cycle;
  fill_or_unfill z4\3\0s
    --z4\3\0
    --z4\3\1
    --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\1\0,
    4\1\1,
    4\2\0,
    4\2\1,
    4\2\2,
    4\3\0,
    4\3\1,
    4\3\2,
);
endchar;

beginchar (37, 17.104u#, 8.191u#, 0.000u#);
  ".notdef";
  z5\0\0s = (0.000u,2.650u);
  z5\0\0 = (6.504u,1.690u);
  z5\0\1 = (13.009u,2.581u);
  z5\0\2 = (16.348u,2.765u);
  z5\0\3 = (17.104u,3.372u);
  z5\0\4 = (13.731u,4.336u);
  z5\0\5c1 = (13.847u,4.753u);
  z5\0\5c2 = (14.070u,5.305u);
  z5\0\5 = (13.904u,5.731u);
  z5\0\6c1 = (12.927u,8.243u);
  z5\0\6c2 = (4.766u,8.823u);
  z5\0\6 = (2.686u,7.266u);
  z5\0\7c1 = (1.078u,6.062u);
  z5\0\7c2 = (3.926u,5.126u);
  z5\1\0s = (13.009u,4.818u);
  z5\1\0c1 = (10.190u,5.579u);
  z5\1\0c2 = (8.449u,6.927u);
  z5\1\0 = (5.300u,6.454u);
  z5\1\1 = (2.891u,5.781u);
  z5\1\2 = (2.650u,6.504u);
  z5\1\3c1 = (3.348u,6.891u);
  z5\1\3c2 = (4.021u,7.249u);
  z5\1\3 = (4.818u,7.389u);
  z5\1\4c1 = (6.628u,7.707u);
  z5\1\4c2 = (13.351u,7.459u);
  z5\2\0s = (6.268u,5.915u);
  z5\2\0c1 = (8.883u,6.172u);
  z5\2\0c2 = (9.263u,3.437u);
  z5\2\0 = (7.457u,2.967u);
  z5\2\1c1 = (5.080u,2.346u);
  z5\2\1c2 = (3.808u,4.896u);
  z5\3\0s = (4.336u,5.300u);
  z5\3\0 = (4.818u,2.650u);
  z5\3\1 = (2.168u,2.891u);
  z5\3\2c1 = (2.498u,4.222u);
  z5\3\2c2 = (2.995u,4.902u);
  z5\4\0s = (13.972u,3.613u);
  z5\4\0 = (8.672u,2.650u);
  z5\4\1 = (9.154u,5.300u);
  fill_or_unfill z5\0\0s
    --z5\0\0
    --z5\0\1
    --z5\0\2
    --z5\0\3
    --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
    ..controls z5\0\7c1 and z5\0\7c2..cycle;
  fill_or_unfill z5\1\0s
    ..controls z5\1\0c1 and z5\1\0c2..z5\1\0
    --z5\1\1
    --z5\1\2
    ..controls z5\1\3c1 and z5\1\3c2..z5\1\3
    ..controls z5\1\4c1 and z5\1\4c2..cycle;
  fill_or_unfill z5\2\0s
    ..controls z5\2\0c1 and z5\2\0c2..z5\2\0
    ..controls z5\2\1c1 and z5\2\1c2..cycle;
  fill_or_unfill z5\3\0s
    --z5\3\0
    --z5\3\1
    ..controls z5\3\2c1 and z5\3\2c2..cycle;
  fill_or_unfill z5\4\0s
    --z5\4\0
    --z5\4\1
    --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,
    5\1\0,
    5\1\1,
    5\1\2,
    5\1\3,
    5\1\4,
    5\2\0,
    5\2\1,
    5\3\0,
    5\3\1,
    5\3\2,
    5\4\0,
    5\4\1,
    5\4\2,
);
endchar;

beginchar (38, 16.863u#, 8.431u#, 0.000u#);
  ".notdef";
  z6\0\0s = (6.504u,8.191u);
  z6\0\0c1 = (7.068u,7.682u);
  z6\0\0c2 = (8.006u,7.265u);
  z6\0\0 = (8.228u,6.494u);
  z6\0\1c1 = (8.889u,4.199u);
  z6\0\1c2 = (4.645u,4.008u);
  z6\0\1 = (4.895u,6.260u);
  z6\0\2c1 = (4.978u,7.012u);
  z6\0\2c2 = (5.875u,7.560u);
  z6\0\2 = (6.263u,8.191u);
  z6\0\3c1 = (3.081u,8.180u);
  z6\0\3c2 = (1.899u,6.407u);
  z6\0\3 = (0.000u,4.061u);
  z6\0\4 = (2.650u,4.061u);
  z6\0\5 = (6.263u,3.395u);
  z6\0\6 = (11.563u,4.188u);
  z6\0\7 = (16.863u,4.577u);
  z6\0\8c1 = (15.955u,5.751u);
  z6\0\8c2 = (8.185u,8.531u);
  z6\1\0s = (4.336u,7.468u);
  z6\1\0 = (4.818u,4.336u);
  z6\1\1 = (1.927u,4.818u);
  z6\2\0s = (13.731u,5.059u);
  z6\2\0 = (8.431u,4.336u);
  z6\2\1 = (8.913u,7.227u);
  z6\2\2c1 = (10.150u,7.096u);
  z6\2\2c2 = (13.042u,6.085u);
  z6\3\0s = (0.482u,3.372u);
  z6\3\0 = (0.482u,2.891u);
  z6\3\1 = (6.965u,1.953u);
  z6\3\2 = (16.381u,3.372u);
  z6\3\3c1 = (15.561u,4.598u);
  z6\3\3c2 = (13.737u,3.876u);
  z6\3\3 = (12.527u,3.582u);
  z6\3\4c1 = (10.867u,3.179u);
  z6\3\4c2 = (9.187u,2.692u);
  z6\3\4 = (7.468u,2.653u);
  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
    --z6\0\4
    --z6\0\5
    --z6\0\6
    --z6\0\7
    ..controls z6\0\8c1 and z6\0\8c2..cycle;
  fill_or_unfill z6\1\0s
    --z6\1\0
    --z6\1\1
    --cycle;
  fill_or_unfill z6\2\0s
    --z6\2\0
    --z6\2\1
    ..controls z6\2\2c1 and z6\2\2c2..cycle;
  fill_or_unfill z6\3\0s
    --z6\3\0
    --z6\3\1
    --z6\3\2
    ..controls z6\3\3c1 and z6\3\3c2..z6\3\3
    ..controls z6\3\4c1 and z6\3\4c2..z6\3\4
    --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\1\0,
    6\1\1,
    6\1\2,
    6\2\0,
    6\2\1,
    6\2\2,
    6\3\0,
    6\3\1,
    6\3\2,
    6\3\3,
    6\3\4,
    6\3\5,
);
endchar;

beginchar (39, 17.345u#, 9.154u#, 0.000u#);
  ".notdef";
  z7\0\0s = (12.768u,9.052u);
  z7\0\0c1 = (9.913u,8.647u);
  z7\0\0c2 = (6.749u,8.918u);
  z7\0\0 = (3.854u,8.913u);
  z7\0\1c1 = (-1.356u,8.905u);
  z7\0\1c2 = (-1.233u,3.141u);
  z7\0\1 = (3.613u,3.154u);
  z7\0\2 = (12.520u,3.154u);
  z7\0\3c1 = (13.571u,3.160u);
  z7\0\3c2 = (14.671u,3.061u);
  z7\0\3 = (15.655u,3.500u);
  z7\0\4c1 = (18.401u,4.726u);
  z7\0\4c2 = (18.273u,9.718u);
  z7\1\0s = (5.300u,8.191u);
  z7\1\0 = (2.168u,5.541u);
  z7\1\1 = (7.950u,4.346u);
  z7\1\2 = (14.421u,5.236u);
  z7\1\3 = (15.177u,6.022u);
  z7\1\4 = (7.950u,7.950u);
  z7\1\5c1 = (9.163u,8.431u);
  z7\1\5c2 = (14.831u,8.516u);
  z7\1\5 = (15.833u,7.735u);
  z7\1\6c1 = (16.887u,6.914u);
  z7\1\6c2 = (16.753u,5.058u);
  z7\1\6 = (15.608u,4.378u);
  z7\1\7c1 = (15.034u,4.038u);
  z7\1\7c2 = (14.142u,4.096u);
  z7\1\7 = (13.490u,4.128u);
  z7\1\8 = (2.184u,4.128u);
  z7\1\9c1 = (0.427u,4.825u);
  z7\1\9c2 = (0.494u,7.259u);
  z7\1\9 = (2.184u,7.985u);
  z7\1\10c1 = (2.901u,8.296u);
  z7\1\10c2 = (4.471u,8.191u);
  z7\2\0s = (8.191u,6.986u);
  z7\2\0c1 = (7.416u,4.883u);
  z7\2\0c2 = (6.047u,4.941u);
  z7\2\0 = (5.781u,7.227u);
  z7\3\0s = (5.059u,6.745u);
  z7\3\0 = (5.059u,5.781u);
  z7\3\1 = (4.095u,6.022u);
  z7\3\2 = (4.095u,6.504u);
  z7\4\0s = (11.563u,5.541u);
  z7\4\0 = (8.431u,5.059u);
  z7\4\1c1 = (8.873u,7.094u);
  z7\4\1c2 = (10.441u,7.038u);
  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
    --z7\0\2
    ..controls z7\0\3c1 and z7\0\3c2..z7\0\3
    ..controls z7\0\4c1 and z7\0\4c2..cycle;
  fill_or_unfill z7\1\0s
    --z7\1\0
    --z7\1\1
    --z7\1\2
    --z7\1\3
    --z7\1\4
    ..controls z7\1\5c1 and z7\1\5c2..z7\1\5
    ..controls z7\1\6c1 and z7\1\6c2..z7\1\6
    ..controls z7\1\7c1 and z7\1\7c2..z7\1\7
    --z7\1\8
    ..controls z7\1\9c1 and z7\1\9c2..z7\1\9
    ..controls z7\1\10c1 and z7\1\10c2..cycle;
  fill_or_unfill z7\2\0s
    ..controls z7\2\0c1 and z7\2\0c2..z7\2\0
    --cycle;
  fill_or_unfill z7\3\0s
    --z7\3\0
    --z7\3\1
    --z7\3\2
    --cycle;
  fill_or_unfill z7\4\0s
    --z7\4\0
    ..controls z7\4\1c1 and z7\4\1c2..cycle;
  proof_labels (
    7\0\0,
    7\0\1,
    7\0\2,
    7\0\3,
    7\0\4,
    7\1\0,
    7\1\1,
    7\1\2,
    7\1\3,
    7\1\4,
    7\1\5,
    7\1\6,
    7\1\7,
    7\1\8,
    7\1\9,
    7\1\10,
    7\2\0,
    7\2\1,
    7\3\0,
    7\3\1,
    7\3\2,
    7\3\3,
    7\4\0,
    7\4\1,
);
endchar;

beginchar (40, 16.863u#, 12.045u#, 0.000u#);
  ".notdef";
  z8\0\0s = (0.000u,8.191u);
  z8\0\0 = (3.929u,7.290u);
  z8\0\1 = (3.132u,1.927u);
  z8\0\2c1 = (4.089u,2.834u);
  z8\0\2c2 = (4.968u,7.601u);
  z8\0\2 = (6.145u,6.773u);
  z8\0\3c1 = (7.848u,5.575u);
  z8\0\3c2 = (5.283u,2.452u);
  z8\0\3 = (7.468u,1.686u);
  z8\0\4 = (7.468u,7.227u);
  z8\0\5c1 = (9.994u,7.139u);
  z8\0\5c2 = (10.137u,4.214u);
  z8\0\5 = (10.600u,2.168u);
  z8\0\6 = (11.563u,2.409u);
  z8\0\7 = (10.141u,6.731u);
  z8\0\8c1 = (10.094u,8.401u);
  z8\0\8c2 = (15.663u,8.219u);
  z8\0\8 = (16.863u,8.191u);
  z8\0\9 = (16.863u,8.913u);
  z8\0\10c1 = (12.898u,9.526u);
  z8\0\10c2 = (7.978u,13.686u);
  z8\0\10 = (3.854u,11.534u);
  z8\0\11c1 = (2.332u,10.739u);
  z8\0\11c2 = (1.503u,9.133u);
  z8\1\0s = (5.832u,11.178u);
  z8\1\0c1 = (8.983u,11.896u);
  z8\1\0c2 = (9.079u,9.005u);
  z8\1\0 = (7.455u,8.414u);
  z8\1\1c1 = (5.627u,7.749u);
  z8\1\1c2 = (3.853u,9.822u);
  z8\2\0s = (4.336u,10.840u);
  z8\2\0 = (4.818u,8.191u);
  z8\2\1 = (2.168u,8.431u);
  z8\3\0s = (13.731u,9.154u);
  z8\3\0 = (8.672u,8.191u);
  z8\3\1 = (9.154u,10.840u);
  fill_or_unfill z8\0\0s
    --z8\0\0
    --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
    --z8\0\6
    --z8\0\7
    ..controls z8\0\8c1 and z8\0\8c2..z8\0\8
    --z8\0\9
    ..controls z8\0\10c1 and z8\0\10c2..z8\0\10
    ..controls z8\0\11c1 and z8\0\11c2..cycle;
  fill_or_unfill z8\1\0s
    ..controls z8\1\0c1 and z8\1\0c2..z8\1\0
    ..controls z8\1\1c1 and z8\1\1c2..cycle;
  fill_or_unfill z8\2\0s
    --z8\2\0
    --z8\2\1
    --cycle;
  fill_or_unfill z8\3\0s
    --z8\3\0
    --z8\3\1
    --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\1\0,
    8\1\1,
    8\2\0,
    8\2\1,
    8\2\2,
    8\3\0,
    8\3\1,
    8\3\2,
);
endchar;

beginchar (41, 17.826u#, 13.972u#, 0.000u#);
  ".notdef";
  z9\0\0s = (0.482u,12.045u);
  z9\0\0 = (3.372u,12.730u);
  z9\0\1 = (7.468u,12.897u);
  z9\0\2 = (17.345u,9.877u);
  z9\0\3c1 = (16.643u,10.963u);
  z9\0\3c2 = (14.464u,11.432u);
  z9\0\3 = (13.249u,11.881u);
  z9\0\4c1 = (9.498u,13.267u);
  z9\0\4c2 = (7.004u,14.724u);
  z9\0\4 = (2.891u,13.511u);
  z9\0\5c1 = (1.943u,13.232u);
  z9\0\5c2 = (1.028u,12.895u);
  z9\1\0s = (0.000u,8.672u);
  z9\1\0 = (4.979u,7.532u);
  z9\1\1 = (5.272u,5.541u);
  z9\1\2 = (6.269u,1.830u);
  z9\1\3 = (7.468u,1.445u);
  z9\1\4 = (7.468u,6.745u);
  z9\1\5c1 = (9.378u,4.876u);
  z9\1\5c2 = (13.210u,1.021u);
  z9\1\5 = (16.139u,1.762u);
  z9\1\6c1 = (16.821u,1.934u);
  z9\1\6c2 = (17.417u,2.438u);
  z9\1\6 = (17.607u,3.133u);
  z9\1\7c1 = (18.077u,4.851u);
  z9\1\7c2 = (15.807u,5.944u);
  z9\1\7 = (15.059u,4.516u);
  z9\1\8c1 = (14.327u,3.119u);
  z9\1\8c2 = (15.897u,2.896u);
  z9\1\8 = (16.863u,3.372u);
  z9\1\9c1 = (16.349u,2.771u);
  z9\1\9c2 = (16.025u,2.437u);
  z9\1\9 = (15.176u,2.447u);
  z9\1\10c1 = (13.438u,2.470u);
  z9\1\10c2 = (8.935u,6.207u);
  z9\1\10 = (8.191u,7.709u);
  z9\1\11 = (14.454u,8.415u);
  z9\1\12 = (16.792u,8.415u);
  z9\1\13 = (17.345u,8.913u);
  z9\1\14 = (14.213u,9.420u);
  z9\1\15 = (6.986u,11.803u);
  z9\1\16 = (4.095u,11.542u);
  z9\2\0s = (9.395u,10.600u);
  z9\2\0c1 = (8.525u,7.679u);
  z9\2\0c2 = (5.766u,8.288u);
  z9\2\0 = (5.300u,11.081u);
  z9\3\0s = (4.577u,10.840u);
  z9\3\0 = (5.781u,8.431u);
  z9\3\1 = (2.409u,8.913u);
  z9\3\2c1 = (2.785u,10.089u);
  z9\3\2c2 = (3.416u,10.510u);
  z9\4\0s = (12.768u,8.913u);
  z9\4\0 = (9.154u,8.431u);
  z9\4\1 = (10.118u,10.359u);
  z9\5\0s = (6.745u,7.468u);
  z9\5\0 = (6.745u,4.095u);
  z9\5\1 = (6.263u,7.468u);
  z9\6\0s = (16.622u,4.336u);
  z9\6\0 = (15.658u,3.613u);
  z9\7\0s = (16.744u,3.858u);
  fill_or_unfill z9\0\0s
    --z9\0\0
    --z9\0\1
    --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..cycle;
  fill_or_unfill z9\1\0s
    --z9\1\0
    --z9\1\1
    --z9\1\2
    --z9\1\3
    --z9\1\4
    ..controls z9\1\5c1 and z9\1\5c2..z9\1\5
    ..controls z9\1\6c1 and z9\1\6c2..z9\1\6
    ..controls z9\1\7c1 and z9\1\7c2..z9\1\7
    ..controls z9\1\8c1 and z9\1\8c2..z9\1\8
    ..controls z9\1\9c1 and z9\1\9c2..z9\1\9
    ..controls z9\1\10c1 and z9\1\10c2..z9\1\10
    --z9\1\11
    --z9\1\12
    --z9\1\13
    --z9\1\14
    --z9\1\15
    --z9\1\16
    --cycle;
  fill_or_unfill z9\2\0s
    ..controls z9\2\0c1 and z9\2\0c2..z9\2\0
    --cycle;
  fill_or_unfill z9\3\0s
    --z9\3\0
    --z9\3\1
    ..controls z9\3\2c1 and z9\3\2c2..cycle;
  fill_or_unfill z9\4\0s
    --z9\4\0
    --z9\4\1
    --cycle;
  fill_or_unfill z9\5\0s
    --z9\5\0
    --z9\5\1
    --cycle;
  fill_or_unfill z9\6\0s
    --z9\6\0
    --cycle;
  fill_or_unfill z9\7\0s
    --cycle;
  proof_labels (
    9\0\0,
    9\0\1,
    9\0\2,
    9\0\3,
    9\0\4,
    9\0\5,
    9\1\0,
    9\1\1,
    9\1\2,
    9\1\3,
    9\1\4,
    9\1\5,
    9\1\6,
    9\1\7,
    9\1\8,
    9\1\9,
    9\1\10,
    9\1\11,
    9\1\12,
    9\1\13,
    9\1\14,
    9\1\15,
    9\1\16,
    9\1\17,
    9\2\0,
    9\2\1,
    9\3\0,
    9\3\1,
    9\3\2,
    9\4\0,
    9\4\1,
    9\4\2,
    9\5\0,
    9\5\1,
    9\5\2,
    9\6\0,
    9\6\1,
    9\7\0,
);
endchar;

beginchar (42, 8.672u#, 9.395u#, 0.000u#);
  ".notdef";
  z10\0\0s = (8.672u,1.445u);
  z10\0\0 = (7.211u,3.376u);
  z10\0\1c1 = (5.973u,5.526u);
  z10\0\1c2 = (7.430u,7.343u);
  z10\0\1 = (7.709u,9.395u);
  z10\0\2c1 = (6.219u,9.361u);
  z10\0\2c2 = (0.288u,7.438u);
  z10\0\2 = (0.288u,5.760u);
  z10\0\3c1 = (0.288u,3.799u);
  z10\0\3c2 = (6.989u,1.462u);
  z10\1\0s = (6.504u,8.672u);
  z10\1\0 = (6.032u,5.781u);
  z10\1\1 = (6.263u,2.650u);
  z10\1\2c1 = (4.732u,3.309u);
  z10\1\2c2 = (1.744u,4.375u);
  z10\1\2 = (1.204u,6.022u);
  fill_or_unfill z10\0\0s
    --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..cycle;
  fill_or_unfill z10\1\0s
    --z10\1\0
    --z10\1\1
    ..controls z10\1\2c1 and z10\1\2c2..z10\1\2
    --cycle;
  proof_labels (
    10\0\0,
    10\0\1,
    10\0\2,
    10\0\3,
    10\1\0,
    10\1\1,
    10\1\2,
    10\1\3,
);
endchar;

beginchar (43, 6.504u#, 7.468u#, 0.000u#);
  ".notdef";
  z11\0\0s = (2.891u,7.343u);
  z11\0\0c1 = (-2.012u,6.110u);
  z11\0\0c2 = (0.117u,0.375u);
  z11\0\0 = (3.854u,1.046u);
  z11\0\1c1 = (7.766u,1.748u);
  z11\0\1c2 = (7.032u,7.608u);
  z11\1\0s = (3.372u,6.594u);
  z11\1\0c1 = (6.946u,6.059u);
  z11\1\0c2 = (6.264u,1.554u);
  z11\1\0 = (3.132u,1.722u);
  z11\1\1c1 = (0.294u,1.875u);
  z11\1\1c2 = (-0.335u,6.269u);
  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..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..cycle;
  proof_labels (
    11\0\0,
    11\0\1,
    11\1\0,
    11\1\1,
);
endchar;

beginchar (44, 17.345u#, 5.059u#, 0.000u#);
  ".notdef";
  z12\0\0s = (0.000u,2.891u);
  z12\0\0c1 = (1.367u,3.168u);
  z12\0\0c2 = (2.413u,3.974u);
  z12\0\0 = (3.854u,4.074u);
  z12\0\1c1 = (6.793u,4.276u);
  z12\0\1c2 = (10.287u,2.952u);
  z12\0\1 = (13.249u,2.548u);
  z12\0\2c1 = (14.507u,2.376u);
  z12\0\2c2 = (16.812u,1.898u);
  z12\0\2 = (17.345u,3.407u);
  z12\0\3c1 = (15.710u,3.372u);
  z12\0\3c2 = (14.158u,3.210u);
  z12\0\3 = (12.527u,3.407u);
  z12\0\4c1 = (10.061u,3.790u);
  z12\0\4c2 = (0.669u,6.827u);
  fill_or_unfill z12\0\0s
    ..controls z12\0\0c1 and z12\0\0c2..z12\0\0
    ..controls z12\0\1c1 and z12\0\1c2..z12\0\1
    ..controls z12\0\2c1 and z12\0\2c2..z12\0\2
    ..controls z12\0\3c1 and z12\0\3c2..z12\0\3
    ..controls z12\0\4c1 and z12\0\4c2..cycle;
  proof_labels (
    12\0\0,
    12\0\1,
    12\0\2,
    12\0\3,
    12\0\4,
);
endchar;

beginchar (45, 14.695u#, 8.191u#, 0.000u#);
  ".notdef";
  z13\0\0s = (0.482u,8.191u);
  z13\0\0c1 = (0.851u,7.134u);
  z13\0\0c2 = (1.581u,7.075u);
  z13\0\0 = (2.216u,6.238u);
  z13\0\1c1 = (3.854u,4.079u);
  z13\0\1c2 = (2.205u,2.096u);
  z13\0\1 = (0.000u,1.445u);
  z13\0\2c1 = (1.571u,-0.902u);
  z13\0\2c2 = (8.254u,2.632u);
  z13\0\2 = (10.359u,3.196u);
  z13\0\3c1 = (11.836u,3.591u);
  z13\0\3c2 = (13.180u,3.613u);
  z13\0\3 = (14.695u,3.613u);
  z13\0\4 = (14.695u,4.577u);
  z13\1\0s = (10.840u,4.336u);
  z13\1\0 = (2.409u,1.445u);
  z13\1\1c1 = (3.649u,4.419u);
  z13\1\1c2 = (4.023u,3.714u);
  z13\1\1 = (2.891u,6.986u);
  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
    --z13\0\4
    --cycle;
  fill_or_unfill z13\1\0s
    --z13\1\0
    ..controls z13\1\1c1 and z13\1\1c2..z13\1\1
    --cycle;
  proof_labels (
    13\0\0,
    13\0\1,
    13\0\2,
    13\0\3,
    13\0\4,
    13\0\5,
    13\1\0,
    13\1\1,
    13\1\2,
);
endchar;

beginchar (46, 15.177u#, 7.468u#, 0.000u#);
  ".notdef";
  z14\0\0s = (0.000u,7.468u);
  z14\0\0c1 = (1.303u,4.738u);
  z14\0\0c2 = (11.462u,-1.184u);
  z14\0\0 = (14.360u,1.141u);
  z14\0\1c1 = (16.058u,2.504u);
  z14\0\1c2 = (14.597u,5.561u);
  z14\0\1 = (12.908u,4.137u);
  z14\0\2c1 = (11.938u,3.318u);
  z14\0\2c2 = (12.558u,2.319u);
  z14\0\2 = (13.731u,2.409u);
  z14\0\3 = (13.249u,3.613u);
  z14\0\4c1 = (15.763u,2.846u);
  z14\0\4c2 = (13.635u,0.809u);
  z14\0\4 = (10.600u,1.696u);
  z14\0\5c1 = (8.226u,2.390u);
  z14\0\5c2 = (5.904u,3.656u);
  z14\0\5 = (3.854u,5.019u);
  z14\0\6c1 = (2.632u,5.831u);
  z14\0\6c2 = (1.398u,7.062u);
  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
    ..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..cycle;
  proof_labels (
    14\0\0,
    14\0\1,
    14\0\2,
    14\0\3,
    14\0\4,
    14\0\5,
    14\0\6,
);
endchar;

beginchar (47, 3.372u#, 12.286u#, 0.000u#);
  ".notdef";
  z15\0\0s = (2.026u,12.014u);
  z15\0\0c1 = (1.765u,11.747u);
  z15\0\0c2 = (0.271u,8.505u);
  z15\0\0 = (0.253u,8.191u);
  z15\0\1c1 = (0.222u,7.636u);
  z15\0\1c2 = (0.829u,6.432u);
  z15\0\1 = (0.988u,5.781u);
  z15\0\2 = (1.458u,2.409u);
  z15\0\3c1 = (1.531u,1.854u);
  z15\0\3c2 = (1.650u,1.030u);
  z15\0\3 = (2.230u,0.763u);
  z15\0\4c1 = (3.245u,0.296u);
  z15\0\4c2 = (3.381u,1.795u);
  z15\0\4 = (3.350u,2.409u);
  z15\0\5 = (2.994u,11.699u);
  z15\0\6c1 = (2.740u,12.199u);
  z15\0\6c2 = (2.464u,12.102u);
  z15\1\0s = (2.409u,11.563u);
  z15\1\0 = (2.650u,1.445u);
  z15\1\1 = (2.168u,1.445u);
  z15\1\2 = (1.816u,4.818u);
  z15\1\3 = (0.989u,8.191u);
  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
    --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
    --z15\0\5
    ..controls z15\0\6c1 and z15\0\6c2..cycle;
  fill_or_unfill z15\1\0s
    --z15\1\0
    --z15\1\1
    --z15\1\2
    --z15\1\3
    --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\1\0,
    15\1\1,
    15\1\2,
    15\1\3,
    15\1\4,
);
endchar;

beginchar (48, 15.177u#, 9.877u#, 0.000u#);
  ".notdef";
  z16\0\0s = (2.650u,0.482u);
  z16\0\0 = (2.650u,7.227u);
  z16\0\1 = (5.823u,3.172u);
  z16\0\2c1 = (7.560u,1.422u);
  z16\0\2c2 = (12.457u,-1.386u);
  z16\0\2 = (14.526u,1.255u);
  z16\0\3c1 = (15.635u,2.670u);
  z16\0\3c2 = (14.667u,5.010u);
  z16\0\3 = (12.793u,4.377u);
  z16\0\4c1 = (11.238u,3.852u);
  z16\0\4c2 = (11.715u,1.977u);
  z16\0\4 = (13.490u,1.686u);
  z16\0\5c1 = (11.000u,-0.606u);
  z16\0\5c2 = (6.319u,3.828u);
  z16\0\5 = (4.887u,5.781u);
  z16\0\6c1 = (4.106u,6.848u);
  z16\0\6c2 = (3.477u,8.610u);
  z16\0\6 = (2.633u,9.498u);
  z16\0\7c1 = (2.385u,9.758u);
  z16\0\7c2 = (2.067u,9.865u);
  z16\0\7 = (1.711u,9.789u);
  z16\0\8c1 = (1.084u,9.655u);
  z16\0\8c2 = (0.298u,7.153u);
  z16\0\8 = (0.178u,6.504u);
  z16\0\9c1 = (0.125u,6.219u);
  z16\0\9c2 = (1.289u,1.081u);
  z16\0\9 = (1.478u,0.861u);
  z16\0\10c1 = (1.792u,0.494u);
  z16\0\10c2 = (2.212u,0.517u);
  z16\1\0s = (1.927u,8.913u);
  z16\1\0 = (1.927u,2.650u);
  z16\1\1c1 = (0.809u,5.055u);
  z16\1\1c2 = (0.526u,6.558u);
  z16\2\0s = (14.213u,2.409u);
  z16\2\0 = (12.768u,2.650u);
  z16\2\1c1 = (13.224u,3.884u);
  z16\2\1c2 = (13.854u,3.331u);
  fill_or_unfill z16\0\0s
    --z16\0\0
    --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
    ..controls z16\0\5c1 and z16\0\5c2..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..cycle;
  fill_or_unfill z16\1\0s
    --z16\1\0
    ..controls z16\1\1c1 and z16\1\1c2..cycle;
  fill_or_unfill z16\2\0s
    --z16\2\0
    ..controls z16\2\1c1 and z16\2\1c2..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\1\0,
    16\1\1,
    16\2\0,
    16\2\1,
);
endchar;

beginchar (49, 8.672u#, 11.563u#, 0.000u#);
  ".notdef";
  z17\0\0s = (4.577u,6.504u);
  z17\0\0 = (3.372u,5.300u);
  z17\0\1c1 = (1.824u,7.536u);
  z17\0\1c2 = (-0.476u,2.808u);
  z17\0\1 = (0.284u,1.496u);
  z17\0\2c1 = (1.748u,-1.033u);
  z17\0\2c2 = (3.942u,1.827u);
  z17\0\2 = (5.060u,2.850u);
  z17\0\3c1 = (6.860u,4.497u);
  z17\0\3c2 = (10.095u,7.317u);
  z17\0\3 = (8.217u,10.095u);
  z17\0\4c1 = (7.668u,10.907u);
  z17\0\4c2 = (6.739u,11.397u);
  z17\0\4 = (5.781u,11.518u);
  z17\0\5c1 = (2.191u,11.974u);
  z17\0\5c2 = (0.555u,6.935u);
  z17\1\0s = (6.022u,10.840u);
  z17\1\0c1 = (4.404u,10.140u);
  z17\1\0c2 = (4.102u,10.462u);
  z17\1\0 = (3.132u,8.672u);
  z17\1\1c1 = (2.537u,10.537u);
  z17\1\1c2 = (4.704u,10.827u);
  z17\2\0s = (6.504u,10.600u);
  z17\3\0s = (6.986u,10.359u);
  z17\4\0s = (7.227u,10.118u);
  z17\5\0s = (4.336u,4.818u);
  z17\5\0c1 = (6.548u,8.696u);
  z17\5\0c2 = (3.331u,6.679u);
  z17\5\0 = (3.826u,8.672u);
  z17\5\1c1 = (4.316u,10.644u);
  z17\5\1c2 = (8.230u,10.081u);
  z17\5\1 = (6.765u,6.986u);
  z17\5\2c1 = (6.224u,5.843u);
  z17\5\2c2 = (5.486u,5.269u);
  z17\6\0s = (7.468u,9.877u);
  z17\7\0s = (7.709u,9.636u);
  z17\8\0s = (7.836u,9.072u);
  z17\9\0s = (8.191u,8.431u);
  z17\9\0 = (7.950u,7.227u);
  z17\10\0s = (7.590u,6.748u);
  z17\11\0s = (2.650u,5.300u);
  z17\11\0 = (2.650u,2.650u);
  z17\11\1 = (6.022u,4.818u);
  z17\11\2c1 = (5.606u,4.249u);
  z17\11\2c2 = (3.159u,1.726u);
  z17\11\2 = (2.628u,1.452u);
  z17\11\3c1 = (2.206u,1.233u);
  z17\11\3c2 = (1.680u,1.198u);
  z17\11\3 = (1.262u,1.452u);
  z17\11\4c1 = (-0.215u,2.349u);
  z17\11\4c2 = (1.556u,4.434u);
  z17\11\4 = (2.168u,5.300u);
  z17\12\0s = (6.504u,5.300u);
  z17\13\0s = (6.263u,5.059u);
  fill_or_unfill z17\0\0s
    --z17\0\0
    ..controls z17\0\1c1 and z17\0\1c2..z17\0\1
    ..controls z17\0\2c1 and z17\0\2c2..z17\0\2
    ..controls z17\0\3c1 and z17\0\3c2..z17\0\3
    ..controls z17\0\4c1 and z17\0\4c2..z17\0\4
    ..controls z17\0\5c1 and z17\0\5c2..cycle;
  fill_or_unfill z17\1\0s
    ..controls z17\1\0c1 and z17\1\0c2..z17\1\0
    ..controls z17\1\1c1 and z17\1\1c2..cycle;
  fill_or_unfill z17\2\0s
    --cycle;
  fill_or_unfill z17\3\0s
    --cycle;
  fill_or_unfill z17\4\0s
    --cycle;
  fill_or_unfill z17\5\0s
    ..controls z17\5\0c1 and z17\5\0c2..z17\5\0
    ..controls z17\5\1c1 and z17\5\1c2..z17\5\1
    ..controls z17\5\2c1 and z17\5\2c2..cycle;
  fill_or_unfill z17\6\0s
    --cycle;
  fill_or_unfill z17\7\0s
    --cycle;
  fill_or_unfill z17\8\0s
    --cycle;
  fill_or_unfill z17\9\0s
    --z17\9\0
    --cycle;
  fill_or_unfill z17\10\0s
    --cycle;
  fill_or_unfill z17\11\0s
    --z17\11\0
    --z17\11\1
    ..controls z17\11\2c1 and z17\11\2c2..z17\11\2
    ..controls z17\11\3c1 and z17\11\3c2..z17\11\3
    ..controls z17\11\4c1 and z17\11\4c2..z17\11\4
    --cycle;
  fill_or_unfill z17\12\0s
    --cycle;
  fill_or_unfill z17\13\0s
    --cycle;
  proof_labels (
    17\0\0,
    17\0\1,
    17\0\2,
    17\0\3,
    17\0\4,
    17\0\5,
    17\1\0,
    17\1\1,
    17\2\0,
    17\3\0,
    17\4\0,
    17\5\0,
    17\5\1,
    17\5\2,
    17\6\0,
    17\7\0,
    17\8\0,
    17\9\0,
    17\9\1,
    17\10\0,
    17\11\0,
    17\11\1,
    17\11\2,
    17\11\3,
    17\11\4,
    17\11\5,
    17\12\0,
    17\13\0,
);
endchar;

beginchar (50, 11.804u#, 12.045u#, 0.000u#);
  ".notdef";
  z18\0\0s = (6.026u,11.815u);
  z18\0\0c1 = (5.564u,11.615u);
  z18\0\0c2 = (5.302u,11.471u);
  z18\0\0 = (4.951u,11.055u);
  z18\0\1 = (0.193u,2.891u);
  z18\0\2c1 = (0.078u,2.456u);
  z18\0\2c2 = (-0.029u,1.928u);
  z18\0\2 = (0.193u,1.480u);
  z18\0\3c1 = (0.704u,0.072u);
  z18\0\3c2 = (8.518u,0.178u);
  z18\0\3 = (9.867u,0.888u);
  z18\0\4c1 = (12.859u,2.461u);
  z18\0\4c2 = (11.671u,6.905u);
  z18\0\4 = (10.840u,9.395u);
  z18\0\5c1 = (10.581u,10.173u);
  z18\0\5c2 = (10.324u,11.315u);
  z18\0\5 = (9.582u,11.815u);
  z18\0\6c1 = (8.792u,12.238u);
  z18\0\6c2 = (6.899u,12.080u);
  z18\1\0s = (3.854u,1.204u);
  z18\1\0 = (3.132u,2.650u);
  z18\1\1c1 = (2.949u,0.464u);
  z18\1\1c2 = (0.807u,1.058u);
  z18\1\1 = (0.809u,2.182u);
  z18\1\2c1 = (0.810u,3.252u);
  z18\1\2c2 = (2.479u,5.305u);
  z18\1\2 = (3.087u,6.263u);
  z18\1\3c1 = (3.919u,7.572u);
  z18\1\3c2 = (4.614u,10.063u);
  z18\1\3 = (5.826u,10.937u);
  z18\1\4c1 = (6.506u,11.428u);
  z18\1\4c2 = (8.836u,11.550u);
  z18\1\4 = (9.462u,10.937u);
  z18\1\5c1 = (10.968u,9.460u);
  z18\1\5c2 = (11.837u,3.138u);
  z18\1\5 = (9.826u,1.660u);
  z18\1\6c1 = (8.506u,0.689u);
  z18\1\6c2 = (5.407u,1.000u);
  z18\2\0s = (5.059u,8.913u);
  z18\2\0 = (6.022u,8.913u);
  z18\2\1 = (4.336u,7.950u);
  z18\2\2c1 = (5.937u,6.261u);
  z18\2\2c2 = (7.703u,6.745u);
  z18\2\2 = (9.636u,7.468u);
  z18\2\3 = (9.636u,7.950u);
  z18\2\4 = (7.468u,8.672u);
  z18\2\5 = (9.395u,9.395u);
  z18\2\6c1 = (8.073u,9.502u);
  z18\2\6c2 = (5.953u,10.196u);
  z18\3\0s = (7.950u,7.950u);
  z18\3\0c1 = (7.106u,7.330u);
  z18\3\0c2 = (6.399u,7.269u);
  z18\3\0 = (5.781u,8.191u);
  fill_or_unfill z18\0\0s
    ..controls z18\0\0c1 and z18\0\0c2..z18\0\0
    --z18\0\1
    ..controls z18\0\2c1 and z18\0\2c2..z18\0\2
    ..controls z18\0\3c1 and z18\0\3c2..z18\0\3
    ..controls z18\0\4c1 and z18\0\4c2..z18\0\4
    ..controls z18\0\5c1 and z18\0\5c2..z18\0\5
    ..controls z18\0\6c1 and z18\0\6c2..cycle;
  fill_or_unfill z18\1\0s
    --z18\1\0
    ..controls z18\1\1c1 and z18\1\1c2..z18\1\1
    ..controls z18\1\2c1 and z18\1\2c2..z18\1\2
    ..controls z18\1\3c1 and z18\1\3c2..z18\1\3
    ..controls z18\1\4c1 and z18\1\4c2..z18\1\4
    ..controls z18\1\5c1 and z18\1\5c2..z18\1\5
    ..controls z18\1\6c1 and z18\1\6c2..cycle;
  fill_or_unfill z18\2\0s
    --z18\2\0
    --z18\2\1
    ..controls z18\2\2c1 and z18\2\2c2..z18\2\2
    --z18\2\3
    --z18\2\4
    --z18\2\5
    ..controls z18\2\6c1 and z18\2\6c2..cycle;
  fill_or_unfill z18\3\0s
    ..controls z18\3\0c1 and z18\3\0c2..z18\3\0
    --cycle;
  proof_labels (
    18\0\0,
    18\0\1,
    18\0\2,
    18\0\3,
    18\0\4,
    18\0\5,
    18\0\6,
    18\1\0,
    18\1\1,
    18\1\2,
    18\1\3,
    18\1\4,
    18\1\5,
    18\1\6,
    18\2\0,
    18\2\1,
    18\2\2,
    18\2\3,
    18\2\4,
    18\2\5,
    18\2\6,
    18\3\0,
    18\3\1,
);
endchar;

beginchar (51, 11.804u#, 11.804u#, 0.000u#);
  ".notdef";
  z19\0\0s = (3.854u,2.650u);
  z19\0\0 = (5.541u,1.686u);
  z19\0\1c1 = (4.523u,1.128u);
  z19\0\1c2 = (0.778u,0.426u);
  z19\0\1 = (0.831u,2.419u);
  z19\0\2c1 = (0.867u,3.785u);
  z19\0\2c2 = (4.556u,7.945u);
  z19\0\2 = (6.022u,8.145u);
  z19\0\3c1 = (8.343u,8.462u);
  z19\0\3c2 = (9.810u,7.367u);
  z19\0\3 = (11.804u,6.504u);
  z19\0\4c1 = (10.645u,8.570u);
  z19\0\4c2 = (7.161u,8.943u);
  z19\0\4 = (5.059u,8.431u);
  z19\0\5c1 = (6.473u,11.413u);
  z19\0\5c2 = (8.116u,10.616u);
  z19\0\5 = (10.600u,11.322u);
  z19\0\6c1 = (9.804u,11.907u);
  z19\0\6c2 = (9.376u,11.812u);
  z19\0\6 = (8.431u,11.662u);
  z19\0\7c1 = (5.217u,11.149u);
  z19\0\7c2 = (4.148u,8.428u);
  z19\0\7 = (2.431u,6.022u);
  z19\0\8c1 = (1.843u,5.199u);
  z19\0\8c2 = (0.374u,3.546u);
  z19\0\8 = (0.170u,2.650u);
  z19\0\9c1 = (-0.345u,0.381u);
  z19\0\9c2 = (4.159u,0.082u);
  z19\0\9 = (5.469u,0.879u);
  z19\0\10c1 = (7.022u,1.824u);
  z19\0\10c2 = (4.620u,2.605u);
  z19\1\0s = (3.854u,6.263u);
  z19\1\0 = (3.854u,5.781u);
  z19\1\1c1 = (7.113u,4.226u);
  z19\1\1c2 = (7.054u,4.791u);
  z19\1\1 = (10.359u,5.059u);
  z19\1\2c1 = (8.797u,7.150u);
  z19\1\2c2 = (6.013u,7.120u);
  z19\2\0s = (8.431u,5.781u);
  z19\2\0c1 = (7.328u,5.067u);
  z19\2\0c2 = (5.598u,5.107u);
  z19\2\0 = (4.818u,6.263u);
  fill_or_unfill z19\0\0s
    --z19\0\0
    ..controls z19\0\1c1 and z19\0\1c2..z19\0\1
    ..controls z19\0\2c1 and z19\0\2c2..z19\0\2
    ..controls z19\0\3c1 and z19\0\3c2..z19\0\3
    ..controls z19\0\4c1 and z19\0\4c2..z19\0\4
    ..controls z19\0\5c1 and z19\0\5c2..z19\0\5
    ..controls z19\0\6c1 and z19\0\6c2..z19\0\6
    ..controls z19\0\7c1 and z19\0\7c2..z19\0\7
    ..controls z19\0\8c1 and z19\0\8c2..z19\0\8
    ..controls z19\0\9c1 and z19\0\9c2..z19\0\9
    ..controls z19\0\10c1 and z19\0\10c2..cycle;
  fill_or_unfill z19\1\0s
    --z19\1\0
    ..controls z19\1\1c1 and z19\1\1c2..z19\1\1
    ..controls z19\1\2c1 and z19\1\2c2..cycle;
  fill_or_unfill z19\2\0s
    ..controls z19\2\0c1 and z19\2\0c2..z19\2\0
    --cycle;
  proof_labels (
    19\0\0,
    19\0\1,
    19\0\2,
    19\0\3,
    19\0\4,
    19\0\5,
    19\0\6,
    19\0\7,
    19\0\8,
    19\0\9,
    19\0\10,
    19\1\0,
    19\1\1,
    19\1\2,
    19\2\0,
    19\2\1,
);
endchar;

beginchar (52, 17.586u#, 5.781u#, 0.000u#);
  ".notdef";
  z20\0\0s = (0.000u,3.854u);
  z20\0\0 = (0.000u,3.372u);
  z20\0\1c1 = (3.780u,1.538u);
  z20\0\1c2 = (9.169u,1.412u);
  z20\0\1 = (13.249u,2.069u);
  z20\0\2c1 = (13.997u,2.190u);
  z20\0\2c2 = (17.444u,2.709u);
  z20\0\2 = (17.444u,3.617u);
  z20\0\3c1 = (17.444u,4.554u);
  z20\0\3c2 = (14.256u,5.086u);
  z20\0\3 = (13.490u,5.268u);
  z20\0\4c1 = (9.697u,6.172u);
  z20\0\4c2 = (3.447u,5.741u);
  z20\1\0s = (15.899u,3.854u);
  z20\1\0 = (15.899u,3.372u);
  z20\1\1c1 = (10.896u,1.926u);
  z20\1\1c2 = (6.917u,2.249u);
  z20\1\1 = (1.927u,3.372u);
  z20\1\2c1 = (3.587u,6.016u);
  z20\1\2c2 = (13.258u,4.821u);
  fill_or_unfill z20\0\0s
    --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..cycle;
  fill_or_unfill z20\1\0s
    --z20\1\0
    ..controls z20\1\1c1 and z20\1\1c2..z20\1\1
    ..controls z20\1\2c1 and z20\1\2c2..cycle;
  proof_labels (
    20\0\0,
    20\0\1,
    20\0\2,
    20\0\3,
    20\0\4,
    20\1\0,
    20\1\1,
    20\1\2,
);
endchar;

beginchar (53, 17.345u#, 8.672u#, 0.000u#);
  ".notdef";
  z21\0\0s = (0.000u,6.263u);
  z21\0\0 = (6.263u,4.818u);
  z21\0\1 = (6.504u,0.482u);
  z21\0\2 = (6.986u,4.577u);
  z21\0\3 = (10.359u,4.336u);
  z21\0\4 = (10.359u,0.482u);
  z21\0\5 = (10.840u,0.482u);
  z21\0\6 = (11.081u,4.818u);
  z21\0\7c1 = (11.981u,4.827u);
  z21\0\7c2 = (16.685u,5.712u);
  z21\0\7 = (17.063u,6.388u);
  z21\0\8c1 = (17.704u,7.531u);
  z21\0\8c2 = (13.685u,8.243u);
  z21\0\8 = (13.009u,8.369u);
  z21\0\9c1 = (10.283u,8.877u);
  z21\0\9c2 = (1.451u,8.905u);
  z21\1\0s = (15.417u,6.986u);
  z21\1\0c1 = (14.826u,6.125u);
  z21\1\0c2 = (13.969u,6.132u);
  z21\1\0 = (13.009u,5.920u);
  z21\1\1c1 = (8.204u,4.861u);
  z21\1\1c2 = (6.304u,5.553u);
  z21\1\1 = (1.686u,6.263u);
  z21\1\2c1 = (3.541u,9.227u);
  z21\1\2c2 = (12.516u,7.515u);
  fill_or_unfill z21\0\0s
    --z21\0\0
    --z21\0\1
    --z21\0\2
    --z21\0\3
    --z21\0\4
    --z21\0\5
    --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..cycle;
  fill_or_unfill z21\1\0s
    ..controls z21\1\0c1 and z21\1\0c2..z21\1\0
    ..controls z21\1\1c1 and z21\1\1c2..z21\1\1
    ..controls z21\1\2c1 and z21\1\2c2..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\1\0,
    21\1\1,
    21\1\2,
);
endchar;

beginchar (54, 17.104u#, 13.972u#, 0.000u#);
  ".notdef";
  z22\0\0s = (4.095u,3.854u);
  z22\0\0c1 = (5.389u,4.720u);
  z22\0\0c2 = (4.720u,6.869u);
  z22\0\0 = (4.619u,8.191u);
  z22\0\1c1 = (4.408u,10.925u);
  z22\0\1c2 = (7.452u,10.060u);
  z22\0\1 = (7.944u,9.319u);
  z22\0\2c1 = (8.220u,8.904u);
  z22\0\2c2 = (8.187u,8.192u);
  z22\0\2 = (8.190u,7.709u);
  z22\0\3 = (8.190u,0.241u);
  z22\0\4 = (8.913u,0.241u);
  z22\0\5 = (8.913u,9.877u);
  z22\0\6 = (12.527u,10.118u);
  z22\0\7 = (12.527u,3.854u);
  z22\0\8 = (13.249u,3.854u);
  z22\0\9c1 = (13.248u,5.309u);
  z22\0\9c2 = (12.656u,9.574u);
  z22\0\9 = (13.786u,10.375u);
  z22\0\10c1 = (14.701u,11.025u);
  z22\0\10c2 = (16.077u,11.170u);
  z22\0\10 = (17.104u,11.804u);
  z22\0\11c1 = (14.518u,14.727u);
  z22\0\11c2 = (5.638u,14.211u);
  z22\0\11 = (2.168u,13.088u);
  z22\0\12c1 = (1.727u,12.945u);
  z22\0\12c2 = (0.536u,12.637u);
  z22\0\12 = (0.358u,12.183u);
  z22\0\13c1 = (-0.094u,11.024u);
  z22\0\13c2 = (3.154u,11.054u);
  z22\0\13 = (3.849u,9.845u);
  z22\0\14c1 = (4.265u,9.122u);
  z22\0\14c2 = (4.095u,4.948u);
  z22\1\0s = (15.658u,12.045u);
  z22\1\0c1 = (12.981u,9.998u);
  z22\1\0c2 = (3.938u,10.089u);
  z22\1\0 = (1.204u,12.045u);
  z22\1\1c1 = (5.164u,13.877u);
  z22\1\1c2 = (11.737u,14.044u);
  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
    --z22\0\3
    --z22\0\4
    --z22\0\5
    --z22\0\6
    --z22\0\7
    --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..z22\0\13
    ..controls z22\0\14c1 and z22\0\14c2..cycle;
  fill_or_unfill z22\1\0s
    ..controls z22\1\0c1 and z22\1\0c2..z22\1\0
    ..controls z22\1\1c1 and z22\1\1c2..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\1\0,
    22\1\1,
);
endchar;

beginchar (55, 17.104u#, 4.577u#, 0.000u#);
  ".notdef";
  z23\0\0s = (0.000u,1.686u);
  z23\0\0 = (2.891u,2.650u);
  z23\0\1 = (3.132u,1.204u);
  z23\0\2 = (13.972u,1.204u);
  z23\0\3 = (13.972u,2.409u);
  z23\0\4 = (17.104u,1.686u);
  z23\0\5c1 = (14.266u,5.238u);
  z23\0\5c2 = (2.193u,5.833u);
  z23\1\0s = (7.468u,3.613u);
  z23\1\0 = (7.468u,1.927u);
  z23\1\1 = (6.745u,1.927u);
  z23\1\2c1 = (6.526u,2.933u);
  z23\1\2c2 = (6.454u,3.204u);
  z23\2\0s = (8.913u,3.613u);
  z23\2\0 = (8.913u,1.927u);
  z23\2\1 = (8.431u,1.927u);
  z23\2\2 = (8.431u,3.613u);
  z23\3\0s = (6.022u,3.372u);
  z23\3\0 = (6.022u,1.927u);
  z23\3\1c1 = (4.905u,2.319u);
  z23\3\1c2 = (4.905u,2.980u);
  z23\4\0s = (10.600u,3.372u);
  z23\4\0 = (10.600u,1.927u);
  z23\4\1c1 = (9.482u,2.319u);
  z23\4\1c2 = (9.482u,2.980u);
  z23\5\0s = (4.336u,3.132u);
  z23\5\0 = (4.336u,1.927u);
  z23\5\1 = (3.613u,2.168u);
  z23\6\0s = (11.804u,1.927u);
  z23\6\0 = (11.322u,1.927u);
  z23\6\1 = (11.081u,3.132u);
  z23\7\0s = (13.249u,2.891u);
  z23\7\0 = (13.490u,1.927u);
  z23\7\1 = (12.527u,2.168u);
  z23\7\2 = (12.527u,2.650u);
  z23\7\3 = (12.768u,2.891u);
  fill_or_unfill z23\0\0s
    --z23\0\0
    --z23\0\1
    --z23\0\2
    --z23\0\3
    --z23\0\4
    ..controls z23\0\5c1 and z23\0\5c2..cycle;
  fill_or_unfill z23\1\0s
    --z23\1\0
    --z23\1\1
    ..controls z23\1\2c1 and z23\1\2c2..cycle;
  fill_or_unfill z23\2\0s
    --z23\2\0
    --z23\2\1
    --z23\2\2
    --cycle;
  fill_or_unfill z23\3\0s
    --z23\3\0
    ..controls z23\3\1c1 and z23\3\1c2..cycle;
  fill_or_unfill z23\4\0s
    --z23\4\0
    ..controls z23\4\1c1 and z23\4\1c2..cycle;
  fill_or_unfill z23\5\0s
    --z23\5\0
    --z23\5\1
    --cycle;
  fill_or_unfill z23\6\0s
    --z23\6\0
    --z23\6\1
    --cycle;
  fill_or_unfill z23\7\0s
    --z23\7\0
    --z23\7\1
    --z23\7\2
    --z23\7\3
    --cycle;
  proof_labels (
    23\0\0,
    23\0\1,
    23\0\2,
    23\0\3,
    23\0\4,
    23\0\5,
    23\1\0,
    23\1\1,
    23\1\2,
    23\2\0,
    23\2\1,
    23\2\2,
    23\2\3,
    23\3\0,
    23\3\1,
    23\4\0,
    23\4\1,
    23\5\0,
    23\5\1,
    23\5\2,
    23\6\0,
    23\6\1,
    23\6\2,
    23\7\0,
    23\7\1,
    23\7\2,
    23\7\3,
    23\7\4,
);
endchar;

beginchar (56, 15.658u#, 7.468u#, 0.000u#);
  ".notdef";
  z24\0\0s = (0.000u,5.059u);
  z24\0\0 = (5.059u,6.263u);
  z24\0\1 = (5.300u,5.300u);
  z24\0\2 = (5.781u,5.300u);
  z24\0\3 = (7.227u,6.504u);
  z24\0\4 = (7.709u,5.300u);
  z24\0\5 = (8.191u,5.300u);
  z24\0\6 = (8.431u,6.263u);
  z24\0\7 = (10.118u,5.300u);
  z24\0\8c1 = (12.359u,6.470u);
  z24\0\8c2 = (13.151u,5.168u);
  z24\0\8 = (15.417u,4.818u);
  z24\0\9c1 = (14.826u,5.928u);
  z24\0\9c2 = (14.124u,6.070u);
  z24\0\9 = (13.009u,6.503u);
  z24\0\10c1 = (9.259u,7.960u);
  z24\0\10c2 = (3.172u,7.796u);
  z24\1\0s = (0.000u,4.095u);
  z24\1\0c1 = (2.135u,-0.010u);
  z24\1\0c2 = (13.548u,0.036u);
  z24\1\0 = (15.658u,4.095u);
  z24\1\1 = (12.045u,2.725u);
  z24\1\2 = (10.158u,2.725u);
  z24\1\3 = (8.431u,2.891u);
  z24\1\4c1 = (7.280u,2.568u);
  z24\1\4c2 = (7.031u,1.931u);
  z24\1\4 = (6.022u,2.891u);
  z24\1\5c1 = (2.537u,2.159u);
  z24\1\5c2 = (2.929u,3.398u);
  fill_or_unfill z24\0\0s
    --z24\0\0
    --z24\0\1
    --z24\0\2
    --z24\0\3
    --z24\0\4
    --z24\0\5
    --z24\0\6
    --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
    ..controls z24\0\10c1 and z24\0\10c2..cycle;
  fill_or_unfill z24\1\0s
    ..controls z24\1\0c1 and z24\1\0c2..z24\1\0
    --z24\1\1
    --z24\1\2
    --z24\1\3
    ..controls z24\1\4c1 and z24\1\4c2..z24\1\4
    ..controls z24\1\5c1 and z24\1\5c2..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\1\0,
    24\1\1,
    24\1\2,
    24\1\3,
    24\1\4,
    24\1\5,
);
endchar;

beginchar (57, 12.527u#, 11.081u#, 0.000u#);
  ".notdef";
  z25\0\0s = (0.000u,0.241u);
  z25\0\0 = (0.723u,0.241u);
  z25\0\1c1 = (0.906u,3.369u);
  z25\0\1c2 = (4.130u,5.975u);
  z25\0\1 = (6.745u,7.227u);
  z25\0\2 = (6.986u,4.336u);
  z25\0\3c1 = (8.047u,4.697u);
  z25\0\3c2 = (8.675u,5.413u);
  z25\0\3 = (9.636u,5.917u);
  z25\0\4c1 = (10.265u,6.247u);
  z25\0\4c2 = (13.854u,7.283u);
  z25\0\4 = (11.974u,8.539u);
  z25\0\5c1 = (11.378u,8.936u);
  z25\0\5c2 = (10.537u,9.023u);
  z25\0\5 = (9.877u,9.300u);
  z25\0\6c1 = (9.205u,9.583u);
  z25\0\6c2 = (7.847u,10.941u);
  z25\0\6 = (7.453u,10.935u);
  z25\0\7c1 = (6.431u,10.921u);
  z25\0\7c2 = (7.055u,8.982u);
  z25\0\7 = (6.188u,8.065u);
  z25\0\8c1 = (5.531u,7.369u);
  z25\0\8c2 = (4.652u,7.233u);
  z25\0\8 = (3.904u,6.725u);
  z25\0\9c1 = (2.101u,5.501u);
  z25\0\9c2 = (0.021u,2.415u);
  z25\1\0s = (11.804u,7.950u);
  z25\1\0 = (11.804u,7.468u);
  z25\1\1 = (7.227u,5.541u);
  z25\1\2c1 = (7.362u,8.247u);
  z25\1\2c2 = (8.503u,7.486u);
  z25\1\2 = (10.600u,7.468u);
  z25\1\3c1 = (9.056u,8.889u);
  z25\1\3c2 = (7.673u,7.234u);
  z25\1\3 = (7.227u,9.877u);
  fill_or_unfill z25\0\0s
    --z25\0\0
    ..controls z25\0\1c1 and z25\0\1c2..z25\0\1
    --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
    ..controls z25\0\7c1 and z25\0\7c2..z25\0\7
    ..controls z25\0\8c1 and z25\0\8c2..z25\0\8
    ..controls z25\0\9c1 and z25\0\9c2..cycle;
  fill_or_unfill z25\1\0s
    --z25\1\0
    --z25\1\1
    ..controls z25\1\2c1 and z25\1\2c2..z25\1\2
    ..controls z25\1\3c1 and z25\1\3c2..z25\1\3
    --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\1\0,
    25\1\1,
    25\1\2,
    25\1\3,
    25\1\4,
);
endchar;

beginchar (58, 9.395u#, 6.745u#, 0.000u#);
  ".notdef";
  z26\0\0s = (0.000u,6.745u);
  z26\0\0c1 = (0.280u,3.320u);
  z26\0\0c2 = (1.044u,3.253u);
  z26\0\0 = (3.583u,1.486u);
  z26\0\1c1 = (4.012u,1.188u);
  z26\0\1c2 = (4.530u,0.392u);
  z26\0\1 = (5.055u,0.392u);
  z26\0\2c1 = (5.602u,0.392u);
  z26\0\2c2 = (5.940u,1.174u);
  z26\0\2 = (6.334u,1.492u);
  z26\0\3c1 = (8.636u,3.347u);
  z26\0\3c2 = (9.365u,3.443u);
  z26\0\3 = (9.395u,6.745u);
  z26\1\0s = (8.913u,6.022u);
  z26\1\0c1 = (8.651u,4.905u);
  z26\1\0c2 = (8.156u,3.473u);
  z26\1\0 = (7.148u,2.806u);
  z26\1\1c1 = (6.405u,2.314u);
  z26\1\1c2 = (5.865u,2.516u);
  z26\1\1 = (5.059u,2.470u);
  z26\1\2c1 = (2.346u,2.315u);
  z26\1\2c2 = (1.038u,3.033u);
  z26\1\2 = (0.963u,6.022u);
  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
    ..controls z26\0\2c1 and z26\0\2c2..z26\0\2
    ..controls z26\0\3c1 and z26\0\3c2..z26\0\3
    --cycle;
  fill_or_unfill z26\1\0s
    ..controls z26\1\0c1 and z26\1\0c2..z26\1\0
    ..controls z26\1\1c1 and z26\1\1c2..z26\1\1
    ..controls z26\1\2c1 and z26\1\2c2..z26\1\2
    --cycle;
  proof_labels (
    26\0\0,
    26\0\1,
    26\0\2,
    26\0\3,
    26\0\4,
    26\1\0,
    26\1\1,
    26\1\2,
    26\1\3,
);
endchar;

beginchar (59, 8.672u#, 8.672u#, 0.000u#);
  ".notdef";
  z27\0\0s = (0.000u,8.672u);
  z27\0\0c1 = (0.000u,5.142u);
  z27\0\0c2 = (-0.129u,3.660u);
  z27\0\0 = (2.869u,1.307u);
  z27\0\1c1 = (3.259u,1.001u);
  z27\0\1c2 = (3.816u,0.392u);
  z27\0\1 = (4.336u,0.392u);
  z27\0\2c1 = (4.856u,0.392u);
  z27\0\2c2 = (5.413u,1.001u);
  z27\0\2 = (5.803u,1.307u);
  z27\0\3c1 = (8.756u,3.625u);
  z27\0\3c2 = (8.672u,5.175u);
  z27\0\3 = (8.672u,8.672u);
  z27\1\0s = (8.191u,7.950u);
  z27\1\0c1 = (8.188u,6.931u);
  z27\1\0c2 = (8.118u,6.049u);
  z27\1\0 = (7.858u,5.059u);
  z27\1\1c1 = (6.615u,0.308u);
  z27\1\1c2 = (1.469u,1.009u);
  z27\1\1 = (0.664u,6.022u);
  z27\1\2c1 = (0.580u,6.540u);
  z27\1\2c2 = (0.390u,7.318u);
  z27\1\2 = (0.868u,7.703u);
  z27\1\3c1 = (1.244u,8.007u);
  z27\1\3c2 = (2.176u,7.949u);
  z27\1\3 = (2.650u,7.950u);
  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
    --cycle;
  fill_or_unfill z27\1\0s
    ..controls z27\1\0c1 and z27\1\0c2..z27\1\0
    ..controls z27\1\1c1 and z27\1\1c2..z27\1\1
    ..controls z27\1\2c1 and z27\1\2c2..z27\1\2
    ..controls z27\1\3c1 and z27\1\3c2..z27\1\3
    --cycle;
  proof_labels (
    27\0\0,
    27\0\1,
    27\0\2,
    27\0\3,
    27\0\4,
    27\1\0,
    27\1\1,
    27\1\2,
    27\1\3,
    27\1\4,
);
endchar;

beginchar (60, 11.081u#, 11.563u#, 0.000u#);
  ".notdef";
  z28\0\0s = (0.482u,11.563u);
  z28\0\0c1 = (-0.431u,9.369u);
  z28\0\0c2 = (0.478u,7.987u);
  z28\0\0 = (0.482u,5.781u);
  z28\0\1c1 = (0.483u,4.961u);
  z28\0\1c2 = (0.332u,2.124u);
  z28\0\1 = (0.728u,1.568u);
  z28\0\2c1 = (1.690u,0.218u);
  z28\0\2c2 = (9.038u,0.293u);
  z28\0\2 = (10.214u,1.410u);
  z28\0\3c1 = (10.691u,1.863u);
  z28\0\3c2 = (10.598u,2.767u);
  z28\0\3 = (10.612u,3.372u);
  z28\0\4 = (10.612u,6.986u);
  z28\0\5c1 = (10.768u,8.539u);
  z28\0\5c2 = (11.843u,10.479u);
  z28\0\5 = (10.118u,11.563u);
  z28\0\6 = (9.877u,8.191u);
  z28\0\7 = (9.636u,10.840u);
  z28\0\8c1 = (8.136u,9.836u);
  z28\0\8c2 = (9.996u,5.162u);
  z28\0\8 = (9.010u,2.926u);
  z28\0\9c1 = (8.592u,1.977u);
  z28\0\9c2 = (7.143u,2.164u);
  z28\0\9 = (6.263u,2.069u);
  z28\0\10c1 = (5.416u,1.978u);
  z28\0\10c2 = (2.660u,1.998u);
  z28\0\10 = (2.173u,2.725u);
  z28\0\11c1 = (1.906u,3.125u);
  z28\0\11c2 = (1.918u,3.860u);
  z28\0\11 = (1.859u,4.336u);
  z28\0\12c1 = (1.767u,5.068u);
  z28\0\12c2 = (1.659u,5.761u);
  z28\0\12 = (1.697u,6.504u);
  z28\0\13c1 = (1.767u,7.899u);
  z28\0\13c2 = (2.898u,9.868u);
  z28\0\13 = (1.445u,10.840u);
  z28\0\14 = (1.204u,8.191u);
  z28\0\15 = (0.963u,11.563u);
  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
    --z28\0\4
    ..controls z28\0\5c1 and z28\0\5c2..z28\0\5
    --z28\0\6
    --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
    ..controls z28\0\12c1 and z28\0\12c2..z28\0\12
    ..controls z28\0\13c1 and z28\0\13c2..z28\0\13
    --z28\0\14
    --z28\0\15
    --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,
);
endchar;

beginchar (61, 12.286u#, 17.345u#, 0.000u#);
  ".notdef";
  z29\0\0s = (3.372u,17.345u);
  z29\0\0c1 = (3.231u,16.761u);
  z29\0\0c2 = (3.122u,16.266u);
  z29\0\0 = (3.179u,15.658u);
  z29\0\1 = (3.613u,11.563u);
  z29\0\2c1 = (3.615u,10.951u);
  z29\0\2c2 = (3.528u,10.036u);
  z29\0\2 = (3.998u,9.556u);
  z29\0\3c1 = (4.846u,8.737u);
  z29\0\3c2 = (9.644u,8.726u);
  z29\0\3 = (10.455u,9.556u);
  z29\0\4c1 = (10.849u,9.934u);
  z29\0\4c2 = (10.830u,10.565u);
  z29\0\4 = (10.862u,11.081u);
  z29\0\5 = (10.862u,13.490u);
  z29\0\6c1 = (11.038u,14.774u);
  z29\0\6c2 = (12.049u,16.734u);
  z29\0\6 = (10.359u,17.345u);
  z29\0\7 = (10.359u,15.177u);
  z29\0\8 = (10.118u,16.622u);
  z29\0\9 = (9.395u,16.622u);
  z29\0\10c1 = (9.399u,15.192u);
  z29\0\10c2 = (10.363u,11.774u);
  z29\0\10 = (9.631u,10.675u);
  z29\0\11c1 = (9.114u,9.901u);
  z29\0\11c2 = (5.593u,9.872u);
  z29\0\11 = (4.962u,10.503u);
  z29\0\12c1 = (4.509u,10.956u);
  z29\0\12c2 = (4.564u,11.926u);
  z29\0\12 = (4.581u,12.527u);
  z29\0\13 = (5.059u,16.622u);
  z29\0\14 = (4.336u,16.622u);
  z29\0\15 = (4.336u,14.936u);
  z29\0\16 = (4.095u,17.345u);
  z29\1\0s = (0.000u,7.950u);
  z29\1\0c1 = (1.319u,7.540u);
  z29\1\0c2 = (2.671u,5.506u);
  z29\1\0 = (3.613u,7.950u);
  z29\1\1c1 = (6.609u,6.460u);
  z29\1\1c2 = (6.745u,3.588u);
  z29\1\1 = (6.745u,0.723u);
  z29\1\2 = (7.468u,0.723u);
  z29\1\3c1 = (7.468u,2.054u);
  z29\1\3c2 = (7.019u,7.280u);
  z29\1\3 = (8.226u,7.805u);
  z29\1\4c1 = (8.759u,8.038u);
  z29\1\4c2 = (11.526u,7.950u);
  z29\1\4 = (12.286u,7.950u);
  z29\1\5 = (12.286u,8.672u);
  z29\1\6 = (3.623u,8.816u);
  z29\1\7c1 = (2.679u,9.181u);
  z29\1\7c2 = (2.395u,10.190u);
  z29\1\7 = (1.647u,10.441u);
  z29\1\8c1 = (0.447u,10.845u);
  z29\1\8c2 = (0.245u,8.739u);
  z29\2\0s = (1.445u,9.877u);
  z29\2\0 = (2.168u,8.431u);
  z29\2\1c1 = (1.314u,8.730u);
  z29\2\1c2 = (1.135u,9.003u);
  z29\3\0s = (2.650u,7.950u);
  z29\3\0 = (2.409u,7.227u);
  z29\3\1 = (1.927u,7.950u);
  z29\4\0s = (6.745u,7.950u);
  z29\4\0 = (6.745u,6.263u);
  z29\4\1 = (5.541u,7.950u);
  fill_or_unfill z29\0\0s
    ..controls z29\0\0c1 and z29\0\0c2..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
    ..controls z29\0\4c1 and z29\0\4c2..z29\0\4
    --z29\0\5
    ..controls z29\0\6c1 and z29\0\6c2..z29\0\6
    --z29\0\7
    --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
    --z29\0\13
    --z29\0\14
    --z29\0\15
    --z29\0\16
    --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..z29\1\1
    --z29\1\2
    ..controls z29\1\3c1 and z29\1\3c2..z29\1\3
    ..controls z29\1\4c1 and z29\1\4c2..z29\1\4
    --z29\1\5
    --z29\1\6
    ..controls z29\1\7c1 and z29\1\7c2..z29\1\7
    ..controls z29\1\8c1 and z29\1\8c2..cycle;
  fill_or_unfill z29\2\0s
    --z29\2\0
    ..controls z29\2\1c1 and z29\2\1c2..cycle;
  fill_or_unfill z29\3\0s
    --z29\3\0
    --z29\3\1
    --cycle;
  fill_or_unfill z29\4\0s
    --z29\4\0
    --z29\4\1
    --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\1\0,
    29\1\1,
    29\1\2,
    29\1\3,
    29\1\4,
    29\1\5,
    29\1\6,
    29\1\7,
    29\1\8,
    29\2\0,
    29\2\1,
    29\3\0,
    29\3\1,
    29\3\2,
    29\4\0,
    29\4\1,
    29\4\2,
);
endchar;

beginchar (62, 12.045u#, 17.345u#, 0.000u#);
  ".notdef";
  z30\0\0s = (0.963u,16.381u);
  z30\0\0 = (0.723u,15.658u);
  z30\0\1 = (8.115u,15.215u);
  z30\0\2 = (8.628u,12.768u);
  z30\0\3 = (8.431u,9.166u);
  z30\0\4 = (4.818u,9.166u);
  z30\0\5c1 = (2.474u,9.397u);
  z30\0\5c2 = (2.266u,10.678u);
  z30\0\5 = (0.000u,8.913u);
  z30\0\6 = (0.000u,8.431u);
  z30\0\7 = (1.377u,8.052u);
  z30\0\8 = (3.613u,8.328u);
  z30\0\9 = (9.019u,8.328u);
  z30\0\10 = (9.877u,11.563u);
  z30\0\11 = (10.359u,11.563u);
  z30\0\12 = (11.081u,7.950u);
  z30\0\13 = (11.081u,0.482u);
  z30\0\14 = (11.993u,0.482u);
  z30\0\15 = (11.993u,10.531u);
  z30\0\16c1 = (11.584u,11.851u);
  z30\0\16c2 = (10.514u,12.451u);
  z30\0\16 = (10.011u,13.540u);
  z30\0\17c1 = (9.070u,15.574u);
  z30\0\17c2 = (10.536u,16.724u);
  z30\0\17 = (7.227u,16.853u);
  z30\0\18 = (4.577u,16.721u);
  z30\0\19 = (2.650u,17.220u);
  z30\0\20c1 = (1.943u,17.369u);
  z30\0\20c2 = (-0.823u,17.090u);
  z30\1\0s = (2.650u,16.381u);
  z30\1\0 = (1.686u,16.381u);
  z30\2\0s = (2.650u,8.672u);
  z30\2\0 = (1.686u,8.913u);
  fill_or_unfill z30\0\0s
    --z30\0\0
    --z30\0\1
    --z30\0\2
    --z30\0\3
    --z30\0\4
    ..controls z30\0\5c1 and z30\0\5c2..z30\0\5
    --z30\0\6
    --z30\0\7
    --z30\0\8
    --z30\0\9
    --z30\0\10
    --z30\0\11
    --z30\0\12
    --z30\0\13
    --z30\0\14
    --z30\0\15
    ..controls z30\0\16c1 and z30\0\16c2..z30\0\16
    ..controls z30\0\17c1 and z30\0\17c2..z30\0\17
    --z30\0\18
    --z30\0\19
    ..controls z30\0\20c1 and z30\0\20c2..cycle;
  fill_or_unfill z30\1\0s
    --z30\1\0
    --cycle;
  fill_or_unfill z30\2\0s
    --z30\2\0
    --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\0\11,
    30\0\12,
    30\0\13,
    30\0\14,
    30\0\15,
    30\0\16,
    30\0\17,
    30\0\18,
    30\0\19,
    30\0\20,
    30\1\0,
    30\1\1,
    30\2\0,
    30\2\1,
);
endchar;

beginchar (63, 9.395u#, 18.308u#, 0.000u#);
  ".notdef";
  z31\0\0s = (3.132u,5.300u);
  z31\0\0 = (2.891u,6.263u);
  z31\0\1c1 = (3.733u,7.072u);
  z31\0\1c2 = (0.991u,10.919u);
  z31\0\1 = (1.762u,12.768u);
  z31\0\2c1 = (2.077u,13.524u);
  z31\0\2c2 = (2.681u,14.238u);
  z31\0\2 = (3.116u,14.936u);
  z31\0\3c1 = (4.693u,17.464u);
  z31\0\3c2 = (5.069u,17.103u);
  z31\0\3 = (6.507u,14.695u);
  z31\0\4c1 = (6.898u,14.041u);
  z31\0\4c2 = (7.702u,13.010u);
  z31\0\4 = (7.803u,12.286u);
  z31\0\5c1 = (8.059u,10.452u);
  z31\0\5c2 = (6.593u,8.578u);
  z31\0\5 = (6.047u,6.995u);
  z31\0\6c1 = (5.907u,6.493u);
  z31\0\6c2 = (6.039u,5.833u);
  z31\0\6 = (6.047u,5.300u);
  z31\0\7c1 = (6.551u,5.461u);
  z31\0\7c2 = (6.911u,5.559u);
  z31\0\7 = (7.231u,6.057u);
  z31\0\8c1 = (7.464u,6.420u);
  z31\0\8c2 = (9.296u,12.132u);
  z31\0\8 = (9.258u,12.527u);
  z31\0\9c1 = (9.125u,13.905u);
  z31\0\9c2 = (6.448u,18.035u);
  z31\0\9 = (5.055u,18.250u);
  z31\0\10c1 = (3.152u,18.545u);
  z31\0\10c2 = (0.302u,14.214u);
  z31\0\10 = (0.137u,12.527u);
  z31\0\11c1 = (0.098u,12.124u);
  z31\0\11c2 = (1.757u,6.413u);
  z31\0\11 = (1.969u,6.057u);
  z31\0\12c1 = (2.266u,5.558u);
  z31\0\12c2 = (2.616u,5.460u);
  z31\1\0s = (4.367u,15.377u);
  z31\1\0c1 = (2.386u,13.859u);
  z31\1\0c2 = (3.851u,8.571u);
  z31\1\0 = (3.854u,6.263u);
  z31\1\1 = (3.686u,1.928u);
  z31\1\2c1 = (3.625u,1.134u);
  z31\1\2c2 = (3.977u,0.181u);
  z31\1\2 = (4.984u,0.630u);
  z31\1\3c1 = (5.848u,1.016u);
  z31\1\3c2 = (5.310u,3.052u);
  z31\1\3 = (5.301u,3.854u);
  z31\1\4 = (5.301u,6.022u);
  z31\1\5c1 = (5.320u,7.726u);
  z31\1\5c2 = (7.442u,15.664u);
  z31\2\0s = (4.818u,7.709u);
  z31\2\0c1 = (3.904u,9.279u);
  z31\2\0c2 = (3.910u,12.943u);
  z31\2\0 = (4.336u,14.695u);
  z31\2\1c1 = (6.142u,14.062u);
  z31\2\1c2 = (5.101u,9.264u);
  fill_or_unfill z31\0\0s
    --z31\0\0
    ..controls z31\0\1c1 and z31\0\1c2..z31\0\1
    ..controls z31\0\2c1 and z31\0\2c2..z31\0\2
    ..controls z31\0\3c1 and z31\0\3c2..z31\0\3
    ..controls z31\0\4c1 and z31\0\4c2..z31\0\4
    ..controls z31\0\5c1 and z31\0\5c2..z31\0\5
    ..controls z31\0\6c1 and z31\0\6c2..z31\0\6
    ..controls z31\0\7c1 and z31\0\7c2..z31\0\7
    ..controls z31\0\8c1 and z31\0\8c2..z31\0\8
    ..controls z31\0\9c1 and z31\0\9c2..z31\0\9
    ..controls z31\0\10c1 and z31\0\10c2..z31\0\10
    ..controls z31\0\11c1 and z31\0\11c2..z31\0\11
    ..controls z31\0\12c1 and z31\0\12c2..cycle;
  fill_or_unfill z31\1\0s
    ..controls z31\1\0c1 and z31\1\0c2..z31\1\0
    --z31\1\1
    ..controls z31\1\2c1 and z31\1\2c2..z31\1\2
    ..controls z31\1\3c1 and z31\1\3c2..z31\1\3
    --z31\1\4
    ..controls z31\1\5c1 and z31\1\5c2..cycle;
  fill_or_unfill z31\2\0s
    ..controls z31\2\0c1 and z31\2\0c2..z31\2\0
    ..controls z31\2\1c1 and z31\2\1c2..cycle;
  proof_labels (
    31\0\0,
    31\0\1,
    31\0\2,
    31\0\3,
    31\0\4,
    31\0\5,
    31\0\6,
    31\0\7,
    31\0\8,
    31\0\9,
    31\0\10,
    31\0\11,
    31\0\12,
    31\1\0,
    31\1\1,
    31\1\2,
    31\1\3,
    31\1\4,
    31\1\5,
    31\2\0,
    31\2\1,
);
endchar;

beginchar (64, 9.877u#, 17.345u#, 0.000u#);
  "D1";
  z32\0\0s = (3.613u,1.927u);
  z32\0\0 = (3.372u,2.891u);
  z32\0\1c1 = (4.897u,3.533u);
  z32\0\1c2 = (2.958u,5.489u);
  z32\0\1 = (2.593u,6.504u);
  z32\0\2c1 = (1.138u,10.550u);
  z32\0\2c2 = (0.857u,10.510u);
  z32\0\2 = (3.015u,14.213u);
  z32\0\3c1 = (3.384u,14.847u);
  z32\0\3c2 = (3.830u,15.755u);
  z32\0\3 = (4.587u,15.982u);
  z32\0\4c1 = (5.967u,16.397u);
  z32\0\4c2 = (6.684u,14.407u);
  z32\0\4 = (7.193u,13.490u);
  z32\0\5c1 = (7.579u,12.795u);
  z32\0\5c2 = (8.210u,11.872u);
  z32\0\5 = (8.296u,11.081u);
  z32\0\6c1 = (8.451u,9.678u);
  z32\0\6c2 = (7.107u,6.231u);
  z32\0\6 = (6.298u,5.059u);
  z32\0\7c1 = (5.832u,4.302u);
  z32\0\7c2 = (5.135u,3.366u);
  z32\0\7 = (6.298u,2.891u);
  z32\0\8 = (6.022u,1.927u);
  z32\0\9c1 = (6.671u,2.129u);
  z32\0\9c2 = (7.015u,2.265u);
  z32\0\9 = (7.358u,2.904u);
  z32\0\10c1 = (7.775u,3.684u);
  z32\0\10c2 = (7.543u,4.479u);
  z32\0\10 = (7.752u,5.300u);
  z32\0\11c1 = (8.142u,6.831u);
  z32\0\11c2 = (9.733u,9.580u);
  z32\0\11 = (9.720u,11.081u);
  z32\0\12c1 = (9.712u,12.094u);
  z32\0\12c2 = (7.437u,16.309u);
  z32\0\12 = (6.652u,16.926u);
  z32\0\13c1 = (6.237u,17.252u);
  z32\0\13c2 = (5.808u,17.305u);
  z32\0\13 = (5.300u,17.334u);
  z32\0\14c1 = (4.712u,17.368u);
  z32\0\14c2 = (3.938u,17.360u);
  z32\0\14 = (3.417u,17.062u);
  z32\0\15c1 = (2.473u,16.523u);
  z32\0\15c2 = (0.091u,12.182u);
  z32\0\15 = (0.036u,11.081u);
  z32\0\16c1 = (-0.038u,9.603u);
  z32\0\16c2 = (1.548u,6.863u);
  z32\0\16 = (1.979u,5.300u);
  z32\0\17c1 = (2.212u,4.455u);
  z32\0\17c2 = (2.066u,3.452u);
  z32\0\17 = (2.518u,2.685u);
  z32\0\18c1 = (2.820u,2.173u);
  z32\0\18c2 = (3.089u,2.099u);
  z32\1\0s = (6.745u,3.854u);
  z32\1\0 = (6.504u,2.891u);
  z32\2\0s = (3.254u,3.376u);
  fill_or_unfill z32\0\0s
    --z32\0\0
    ..controls z32\0\1c1 and z32\0\1c2..z32\0\1
    ..controls z32\0\2c1 and z32\0\2c2..z32\0\2
    ..controls z32\0\3c1 and z32\0\3c2..z32\0\3
    ..controls z32\0\4c1 and z32\0\4c2..z32\0\4
    ..controls z32\0\5c1 and z32\0\5c2..z32\0\5
    ..controls z32\0\6c1 and z32\0\6c2..z32\0\6
    ..controls z32\0\7c1 and z32\0\7c2..z32\0\7
    --z32\0\8
    ..controls z32\0\9c1 and z32\0\9c2..z32\0\9
    ..controls z32\0\10c1 and z32\0\10c2..z32\0\10
    ..controls z32\0\11c1 and z32\0\11c2..z32\0\11
    ..controls z32\0\12c1 and z32\0\12c2..z32\0\12
    ..controls z32\0\13c1 and z32\0\13c2..z32\0\13
    ..controls z32\0\14c1 and z32\0\14c2..z32\0\14
    ..controls z32\0\15c1 and z32\0\15c2..z32\0\15
    ..controls z32\0\16c1 and z32\0\16c2..z32\0\16
    ..controls z32\0\17c1 and z32\0\17c2..z32\0\17
    ..controls z32\0\18c1 and z32\0\18c2..cycle;
  fill_or_unfill z32\1\0s
    --z32\1\0
    --cycle;
  fill_or_unfill z32\2\0s
    --cycle;
  proof_labels (
    32\0\0,
    32\0\1,
    32\0\2,
    32\0\3,
    32\0\4,
    32\0\5,
    32\0\6,
    32\0\7,
    32\0\8,
    32\0\9,
    32\0\10,
    32\0\11,
    32\0\12,
    32\0\13,
    32\0\14,
    32\0\15,
    32\0\16,
    32\0\17,
    32\0\18,
    32\1\0,
    32\1\1,
    32\2\0,
);
endchar;

beginchar (65, 15.658u#, 16.622u#, 0.000u#);
  "D2";
  z33\0\0s = (0.000u,10.600u);
  z33\0\0 = (1.204u,9.636u);
  z33\0\1 = (1.589u,8.677u);
  z33\0\2 = (3.372u,8.173u);
  z33\0\3 = (6.986u,6.263u);
  z33\0\4 = (6.745u,4.818u);
  z33\0\5c1 = (11.081u,5.895u);
  z33\0\5c2 = (12.302u,0.897u);
  z33\0\5 = (15.658u,1.686u);
  z33\0\6c1 = (14.743u,4.311u);
  z33\0\6c2 = (9.730u,4.255u);
  z33\0\6 = (9.352u,6.288u);
  z33\0\7c1 = (9.230u,6.944u);
  z33\0\7c2 = (10.296u,8.990u);
  z33\0\7 = (10.359u,10.118u);
  z33\0\8c1 = (11.039u,9.817u);
  z33\0\8c2 = (14.534u,8.030u);
  z33\0\8 = (14.299u,9.891u);
  z33\0\9c1 = (14.210u,10.604u);
  z33\0\9c2 = (13.479u,11.753u);
  z33\0\9 = (13.223u,12.527u);
  z33\0\10c1 = (12.901u,13.496u);
  z33\0\10c2 = (12.782u,15.865u);
  z33\0\10 = (11.973u,16.375u);
  z33\0\11c1 = (11.221u,16.849u);
  z33\0\11c2 = (9.396u,16.167u);
  z33\0\11 = (8.431u,16.176u);
  z33\0\12 = (6.745u,16.176u);
  z33\0\13 = (5.786u,16.315u);
  z33\0\14c1 = (2.732u,16.265u);
  z33\0\14c2 = (6.939u,12.614u);
  z33\0\14 = (6.939u,11.808u);
  z33\0\15c1 = (6.938u,10.535u);
  z33\0\15c2 = (3.413u,9.650u);
  z33\0\15 = (2.388u,9.787u);
  z33\1\0s = (13.490u,9.636u);
  z33\1\0c1 = (10.760u,10.408u);
  z33\1\0c2 = (6.175u,12.676u);
  z33\1\0 = (5.541u,15.658u);
  z33\1\1 = (8.672u,15.458u);
  z33\1\2 = (11.055u,15.826u);
  z33\1\3 = (11.763u,15.520u);
  z33\1\4 = (12.401u,13.009u);
  z33\2\0s = (8.672u,11.081u);
  z33\2\0c1 = (9.211u,9.180u);
  z33\2\0c2 = (8.613u,6.079u);
  z33\2\0 = (6.023u,7.416u);
  z33\2\1c1 = (5.196u,7.843u);
  z33\2\1c2 = (4.793u,8.098u);
  z33\2\1 = (4.336u,8.913u);
  fill_or_unfill z33\0\0s
    --z33\0\0
    --z33\0\1
    --z33\0\2
    --z33\0\3
    --z33\0\4
    ..controls z33\0\5c1 and z33\0\5c2..z33\0\5
    ..controls z33\0\6c1 and z33\0\6c2..z33\0\6
    ..controls z33\0\7c1 and z33\0\7c2..z33\0\7
    ..controls z33\0\8c1 and z33\0\8c2..z33\0\8
    ..controls z33\0\9c1 and z33\0\9c2..z33\0\9
    ..controls z33\0\10c1 and z33\0\10c2..z33\0\10
    ..controls z33\0\11c1 and z33\0\11c2..z33\0\11
    --z33\0\12
    --z33\0\13
    ..controls z33\0\14c1 and z33\0\14c2..z33\0\14
    ..controls z33\0\15c1 and z33\0\15c2..z33\0\15
    --cycle;
  fill_or_unfill z33\1\0s
    ..controls z33\1\0c1 and z33\1\0c2..z33\1\0
    --z33\1\1
    --z33\1\2
    --z33\1\3
    --z33\1\4
    --cycle;
  fill_or_unfill z33\2\0s
    ..controls z33\2\0c1 and z33\2\0c2..z33\2\0
    ..controls z33\2\1c1 and z33\2\1c2..z33\2\1
    --cycle;
  proof_labels (
    33\0\0,
    33\0\1,
    33\0\2,
    33\0\3,
    33\0\4,
    33\0\5,
    33\0\6,
    33\0\7,
    33\0\8,
    33\0\9,
    33\0\10,
    33\0\11,
    33\0\12,
    33\0\13,
    33\0\14,
    33\0\15,
    33\0\16,
    33\1\0,
    33\1\1,
    33\1\2,
    33\1\3,
    33\1\4,
    33\1\5,
    33\2\0,
    33\2\1,
    33\2\2,
);
endchar;

beginchar (66, 15.658u#, 13.972u#, 0.000u#);
  "D3";
  z34\0\0s = (3.372u,8.672u);
  z34\0\0c1 = (3.437u,11.176u);
  z34\0\0c2 = (4.455u,10.597u);
  z34\0\0 = (4.855u,12.047u);
  z34\0\1c1 = (5.377u,13.936u);
  z34\0\1c2 = (2.092u,14.307u);
  z34\0\1 = (0.965u,12.717u);
  z34\0\2c1 = (-0.360u,10.846u);
  z34\0\2c2 = (0.000u,3.261u);
  z34\0\2 = (0.000u,0.723u);
  z34\0\3 = (3.373u,0.723u);
  z34\0\4 = (3.373u,5.541u);
  z34\0\5c1 = (3.396u,9.039u);
  z34\0\5c2 = (5.616u,6.993u);
  z34\0\5 = (7.418u,8.335u);
  z34\0\6c1 = (8.197u,8.914u);
  z34\0\6c2 = (9.456u,11.556u);
  z34\0\6 = (9.877u,12.527u);
  z34\0\7c1 = (10.770u,11.740u);
  z34\0\7c2 = (11.415u,10.853u);
  z34\0\7 = (12.087u,9.877u);
  z34\0\8c1 = (12.616u,9.107u);
  z34\0\8c2 = (13.200u,8.398u);
  z34\0\8 = (13.411u,7.468u);
  z34\0\9c1 = (13.934u,5.165u);
  z34\0\9c2 = (14.334u,3.152u);
  z34\0\9 = (11.322u,3.169u);
  z34\0\10c1 = (10.571u,3.127u);
  z34\0\10c2 = (8.328u,3.055u);
  z34\0\10 = (7.730u,3.169u);
  z34\0\11c1 = (7.065u,3.375u);
  z34\0\11c2 = (6.654u,3.962u);
  z34\0\11 = (6.014u,4.134u);
  z34\0\12c1 = (4.927u,4.424u);
  z34\0\12c2 = (4.045u,3.237u);
  z34\0\12 = (3.613u,2.409u);
  z34\0\13 = (12.012u,2.265u);
  z34\0\14 = (12.768u,1.445u);
  z34\0\15c1 = (13.909u,1.854u);
  z34\0\15c2 = (15.249u,2.139u);
  z34\0\15 = (15.658u,3.372u);
  z34\0\16c1 = (14.066u,4.271u);
  z34\0\16c2 = (14.945u,6.402u);
  z34\0\16 = (14.505u,7.950u);
  z34\0\17c1 = (14.120u,9.304u);
  z34\0\17c2 = (11.382u,13.844u);
  z34\0\17 = (9.878u,13.774u);
  z34\0\18c1 = (7.580u,13.668u);
  z34\0\18c2 = (8.758u,8.791u);
  z34\1\0s = (2.708u,1.445u);
  z34\1\0 = (0.723u,1.445u);
  z34\1\1c1 = (0.723u,3.721u);
  z34\1\1c2 = (0.490u,9.421u);
  z34\1\1 = (1.085u,11.322u);
  z34\1\2c1 = (1.424u,12.404u);
  z34\1\2c2 = (3.777u,14.198u);
  z34\1\2 = (4.083u,12.475u);
  z34\1\3c1 = (4.177u,11.945u);
  z34\1\3c2 = (2.957u,10.751u);
  z34\1\3 = (2.708u,9.877u);
  z34\1\4c1 = (2.227u,7.417u);
  z34\1\4c2 = (2.650u,4.007u);
  z34\2\0s = (5.713u,3.397u);
  fill_or_unfill z34\0\0s
    ..controls z34\0\0c1 and z34\0\0c2..z34\0\0
    ..controls z34\0\1c1 and z34\0\1c2..z34\0\1
    ..controls z34\0\2c1 and z34\0\2c2..z34\0\2
    --z34\0\3
    --z34\0\4
    ..controls z34\0\5c1 and z34\0\5c2..z34\0\5
    ..controls z34\0\6c1 and z34\0\6c2..z34\0\6
    ..controls z34\0\7c1 and z34\0\7c2..z34\0\7
    ..controls z34\0\8c1 and z34\0\8c2..z34\0\8
    ..controls z34\0\9c1 and z34\0\9c2..z34\0\9
    ..controls z34\0\10c1 and z34\0\10c2..z34\0\10
    ..controls z34\0\11c1 and z34\0\11c2..z34\0\11
    ..controls z34\0\12c1 and z34\0\12c2..z34\0\12
    --z34\0\13
    --z34\0\14
    ..controls z34\0\15c1 and z34\0\15c2..z34\0\15
    ..controls z34\0\16c1 and z34\0\16c2..z34\0\16
    ..controls z34\0\17c1 and z34\0\17c2..z34\0\17
    ..controls z34\0\18c1 and z34\0\18c2..cycle;
  fill_or_unfill z34\1\0s
    --z34\1\0
    ..controls z34\1\1c1 and z34\1\1c2..z34\1\1
    ..controls z34\1\2c1 and z34\1\2c2..z34\1\2
    ..controls z34\1\3c1 and z34\1\3c2..z34\1\3
    ..controls z34\1\4c1 and z34\1\4c2..cycle;
  fill_or_unfill z34\2\0s
    --cycle;
  proof_labels (
    34\0\0,
    34\0\1,
    34\0\2,
    34\0\3,
    34\0\4,
    34\0\5,
    34\0\6,
    34\0\7,
    34\0\8,
    34\0\9,
    34\0\10,
    34\0\11,
    34\0\12,
    34\0\13,
    34\0\14,
    34\0\15,
    34\0\16,
    34\0\17,
    34\0\18,
    34\1\0,
    34\1\1,
    34\1\2,
    34\1\3,
    34\1\4,
    34\2\0,
);
endchar;

beginchar (67, 17.104u#, 16.622u#, 0.000u#);
  "D4";
  z35\0\0s = (0.000u,16.140u);
  z35\0\0 = (0.723u,9.154u);
  z35\0\1 = (0.482u,2.409u);
  z35\0\2 = (6.263u,2.409u);
  z35\0\3 = (6.022u,9.877u);
  z35\0\4c1 = (10.563u,10.245u);
  z35\0\4c2 = (10.394u,9.838u);
  z35\0\4 = (11.322u,14.454u);
  z35\0\5c1 = (12.301u,13.928u);
  z35\0\5c2 = (14.701u,12.049u);
  z35\0\5 = (15.168u,11.080u);
  z35\0\6c1 = (15.559u,10.268u);
  z35\0\6c2 = (15.006u,6.003u);
  z35\0\6 = (14.378u,5.375u);
  z35\0\7c1 = (13.842u,4.839u);
  z35\0\7c2 = (13.232u,4.832u);
  z35\0\7 = (12.527u,4.819u);
  z35\0\8c1 = (10.434u,4.781u);
  z35\0\8c2 = (7.949u,6.554u);
  z35\0\8 = (6.745u,4.095u);
  z35\0\9c1 = (9.849u,1.803u);
  z35\0\9c2 = (11.626u,5.787u);
  z35\0\9 = (14.213u,3.372u);
  z35\0\10 = (17.104u,4.095u);
  z35\0\11 = (15.899u,4.818u);
  z35\0\12c1 = (15.900u,11.256u);
  z35\0\12c2 = (19.067u,9.540u);
  z35\0\12 = (13.249u,14.712u);
  z35\0\13c1 = (12.622u,15.270u);
  z35\0\13c2 = (11.812u,16.111u);
  z35\0\13 = (10.876u,15.751u);
  z35\0\14c1 = (8.689u,14.910u);
  z35\0\14c2 = (11.949u,10.970u);
  z35\0\14 = (6.022u,10.840u);
  z35\0\15 = (6.263u,16.381u);
  z35\1\0s = (5.541u,15.899u);
  z35\1\0 = (5.301u,11.563u);
  z35\1\1 = (5.541u,2.891u);
  z35\1\2 = (1.204u,2.891u);
  z35\1\3 = (1.445u,9.636u);
  z35\1\4 = (0.965u,15.481u);
  z35\2\0s = (9.636u,4.577u);
  z35\2\0 = (9.636u,4.095u);
  z35\2\1 = (7.950u,3.854u);
  z35\2\2c1 = (8.173u,5.122u);
  z35\2\2c2 = (8.558u,5.045u);
  fill_or_unfill z35\0\0s
    --z35\0\0
    --z35\0\1
    --z35\0\2
    --z35\0\3
    ..controls z35\0\4c1 and z35\0\4c2..z35\0\4
    ..controls z35\0\5c1 and z35\0\5c2..z35\0\5
    ..controls z35\0\6c1 and z35\0\6c2..z35\0\6
    ..controls z35\0\7c1 and z35\0\7c2..z35\0\7
    ..controls z35\0\8c1 and z35\0\8c2..z35\0\8
    ..controls z35\0\9c1 and z35\0\9c2..z35\0\9
    --z35\0\10
    --z35\0\11
    ..controls z35\0\12c1 and z35\0\12c2..z35\0\12
    ..controls z35\0\13c1 and z35\0\13c2..z35\0\13
    ..controls z35\0\14c1 and z35\0\14c2..z35\0\14
    --z35\0\15
    --cycle;
  fill_or_unfill z35\1\0s
    --z35\1\0
    --z35\1\1
    --z35\1\2
    --z35\1\3
    --z35\1\4
    --cycle;
  fill_or_unfill z35\2\0s
    --z35\2\0
    --z35\2\1
    ..controls z35\2\2c1 and z35\2\2c2..cycle;
  proof_labels (
    35\0\0,
    35\0\1,
    35\0\2,
    35\0\3,
    35\0\4,
    35\0\5,
    35\0\6,
    35\0\7,
    35\0\8,
    35\0\9,
    35\0\10,
    35\0\11,
    35\0\12,
    35\0\13,
    35\0\14,
    35\0\15,
    35\0\16,
    35\1\0,
    35\1\1,
    35\1\2,
    35\1\3,
    35\1\4,
    35\1\5,
    35\2\0,
    35\2\1,
    35\2\2,
);
endchar;

beginchar (68, 16.863u#, 4.336u#, 0.000u#);
  "D5";
  z36\0\0s = (0.971u,2.081u);
  z36\0\0 = (1.804u,1.353u);
  z36\0\1 = (0.278u,1.492u);
  z36\0\2 = (0.000u,1.075u);
  z36\0\3c1 = (2.012u,-0.173u);
  z36\0\3c2 = (3.087u,1.214u);
  z36\0\3 = (6.140u,0.624u);
  z36\0\4 = (7.771u,0.694u);
  z36\0\5 = (8.499u,2.151u);
  z36\0\6c1 = (9.054u,1.422u);
  z36\0\6c2 = (9.262u,1.075u);
  z36\0\6 = (9.470u,0.728u);
  z36\0\7c1 = (10.507u,0.341u);
  z36\0\7c2 = (11.187u,0.652u);
  z36\0\7 = (12.045u,0.641u);
  z36\0\8c1 = (14.232u,0.612u);
  z36\0\8c2 = (14.507u,-0.149u);
  z36\0\8 = (16.863u,0.963u);
  z36\0\9 = (16.863u,1.445u);
  z36\0\10 = (16.622u,1.686u);
  z36\0\11 = (14.936u,1.204u);
  z36\0\12 = (15.506u,1.977u);
  z36\0\13c1 = (14.327u,1.388u);
  z36\0\13c2 = (13.078u,1.388u);
  z36\0\13 = (11.517u,1.526u);
  z36\0\14 = (10.303u,1.630u);
  z36\0\15 = (8.568u,3.989u);
  z36\0\16 = (6.938u,1.769u);
  z36\0\17c1 = (5.724u,1.457u);
  z36\0\17c2 = (4.371u,1.561u);
  z36\0\17 = (2.845u,1.769u);
  fill_or_unfill z36\0\0s
    --z36\0\0
    --z36\0\1
    --z36\0\2
    ..controls z36\0\3c1 and z36\0\3c2..z36\0\3
    --z36\0\4
    --z36\0\5
    ..controls z36\0\6c1 and z36\0\6c2..z36\0\6
    ..controls z36\0\7c1 and z36\0\7c2..z36\0\7
    ..controls z36\0\8c1 and z36\0\8c2..z36\0\8
    --z36\0\9
    --z36\0\10
    --z36\0\11
    --z36\0\12
    ..controls z36\0\13c1 and z36\0\13c2..z36\0\13
    --z36\0\14
    --z36\0\15
    --z36\0\16
    ..controls z36\0\17c1 and z36\0\17c2..z36\0\17
    --cycle;
  proof_labels (
    36\0\0,
    36\0\1,
    36\0\2,
    36\0\3,
    36\0\4,
    36\0\5,
    36\0\6,
    36\0\7,
    36\0\8,
    36\0\9,
    36\0\10,
    36\0\11,
    36\0\12,
    36\0\13,
    36\0\14,
    36\0\15,
    36\0\16,
    36\0\17,
    36\0\18,
);
endchar;

beginchar (69, 18.308u#, 6.022u#, 0.000u#);
  "D6";
  z37\0\0s = (15.417u,1.927u);
  z37\0\0 = (9.154u,1.927u);
  z37\0\1 = (6.263u,1.703u);
  z37\0\2c1 = (3.972u,1.814u);
  z37\0\2c2 = (4.002u,3.432u);
  z37\0\2 = (0.963u,2.168u);
  z37\0\3 = (3.613u,1.204u);
  z37\0\4 = (0.000u,1.204u);
  z37\0\5 = (0.000u,0.723u);
  z37\0\6c1 = (0.841u,0.465u);
  z37\0\6c2 = (1.765u,0.259u);
  z37\0\6 = (2.650u,0.259u);
  z37\0\7 = (6.986u,0.724u);
  z37\0\8 = (17.917u,0.724u);
  z37\0\9c1 = (18.405u,1.105u);
  z37\0\9c2 = (18.306u,2.779u);
  z37\0\9 = (18.308u,3.373u);
  z37\0\10c1 = (18.310u,3.832u);
  z37\0\10c2 = (18.354u,4.833u);
  z37\0\10 = (18.164u,5.225u);
  z37\0\11c1 = (17.822u,5.932u);
  z37\0\11c2 = (16.208u,6.254u);
  z37\0\11 = (15.802u,5.464u);
  z37\0\12c1 = (15.525u,4.927u);
  z37\0\12c2 = (15.420u,2.614u);
  z37\1\0s = (17.585u,1.204u);
  z37\1\0c1 = (13.962u,1.630u);
  z37\1\0c2 = (17.510u,7.631u);
  z37\1\0 = (17.585u,3.613u);
  fill_or_unfill z37\0\0s
    --z37\0\0
    --z37\0\1
    ..controls z37\0\2c1 and z37\0\2c2..z37\0\2
    --z37\0\3
    --z37\0\4
    --z37\0\5
    ..controls z37\0\6c1 and z37\0\6c2..z37\0\6
    --z37\0\7
    --z37\0\8
    ..controls z37\0\9c1 and z37\0\9c2..z37\0\9
    ..controls z37\0\10c1 and z37\0\10c2..z37\0\10
    ..controls z37\0\11c1 and z37\0\11c2..z37\0\11
    ..controls z37\0\12c1 and z37\0\12c2..cycle;
  fill_or_unfill z37\1\0s
    ..controls z37\1\0c1 and z37\1\0c2..z37\1\0
    --cycle;
  proof_labels (
    37\0\0,
    37\0\1,
    37\0\2,
    37\0\3,
    37\0\4,
    37\0\5,
    37\0\6,
    37\0\7,
    37\0\8,
    37\0\9,
    37\0\10,
    37\0\11,
    37\0\12,
    37\1\0,
    37\1\1,
);
endchar;

beginchar (70, 17.104u#, 6.263u#, 0.000u#);
  "D7";
  z38\0\0s = (14.454u,2.168u);
  z38\0\0c1 = (12.526u,2.168u);
  z38\0\0c2 = (5.021u,1.593u);
  z38\0\0 = (3.908u,2.532u);
  z38\0\1c1 = (3.041u,3.262u);
  z38\0\1c2 = (2.698u,4.988u);
  z38\0\1 = (1.829u,6.366u);
  z38\0\2 = (0.438u,1.981u);
  z38\0\3 = (2.168u,1.259u);
  z38\0\4 = (4.577u,1.259u);
  z38\0\5 = (14.936u,0.963u);
  z38\0\6 = (16.566u,1.020u);
  z38\0\7 = (17.104u,6.263u);
  z38\0\8c1 = (14.392u,6.253u);
  z38\0\8c2 = (14.564u,4.552u);
  z38\1\0s = (16.460u,5.381u);
  z38\1\0 = (16.144u,1.723u);
  z38\1\1 = (15.194u,2.110u);
  z38\1\2c1 = (14.971u,3.465u);
  z38\1\2c2 = (14.983u,5.065u);
  z38\2\0s = (1.899u,5.487u);
  z38\2\0 = (2.650u,2.891u);
  z38\2\1 = (2.181u,2.427u);
  z38\2\2 = (1.204u,2.409u);
  z38\2\3 = (1.723u,4.994u);
  z38\3\0s = (2.545u,2.135u);
  fill_or_unfill z38\0\0s
    ..controls z38\0\0c1 and z38\0\0c2..z38\0\0
    ..controls z38\0\1c1 and z38\0\1c2..z38\0\1
    --z38\0\2
    --z38\0\3
    --z38\0\4
    --z38\0\5
    --z38\0\6
    --z38\0\7
    ..controls z38\0\8c1 and z38\0\8c2..cycle;
  fill_or_unfill z38\1\0s
    --z38\1\0
    --z38\1\1
    ..controls z38\1\2c1 and z38\1\2c2..cycle;
  fill_or_unfill z38\2\0s
    --z38\2\0
    --z38\2\1
    --z38\2\2
    --z38\2\3
    --cycle;
  fill_or_unfill z38\3\0s
    --cycle;
  proof_labels (
    38\0\0,
    38\0\1,
    38\0\2,
    38\0\3,
    38\0\4,
    38\0\5,
    38\0\6,
    38\0\7,
    38\0\8,
    38\1\0,
    38\1\1,
    38\1\2,
    38\2\0,
    38\2\1,
    38\2\2,
    38\2\3,
    38\2\4,
    38\3\0,
);
endchar;

beginchar (71, 17.586u#, 6.263u#, 0.000u#);
  "D8";
  z39\0\0s = (17.585u,5.781u);
  z39\0\0c1 = (14.420u,6.346u);
  z39\0\0c2 = (14.812u,4.472u);
  z39\0\0 = (14.695u,1.927u);
  z39\0\1 = (6.745u,1.687u);
  z39\0\2c1 = (2.990u,1.756u);
  z39\0\2c2 = (5.309u,5.722u);
  z39\0\2 = (2.646u,6.174u);
  z39\0\3c1 = (0.450u,6.546u);
  z39\0\3c2 = (-0.072u,1.483u);
  z39\0\3 = (0.570u,0.900u);
  z39\0\4c1 = (1.525u,0.035u);
  z39\0\4c2 = (5.158u,0.746u);
  z39\0\4 = (6.504u,0.771u);
  z39\0\5c1 = (8.278u,0.685u);
  z39\0\5c2 = (15.847u,0.092u);
  z39\0\5 = (17.004u,0.771u);
  z39\0\6c1 = (17.676u,1.249u);
  z39\0\6c2 = (17.582u,2.198u);
  z39\0\6 = (17.585u,2.891u);
  z39\1\0s = (3.854u,2.409u);
  z39\1\0 = (1.445u,2.168u);
  z39\1\1 = (3.613u,1.686u);
  z39\1\2c1 = (3.093u,1.306u);
  z39\1\2c2 = (2.696u,1.164u);
  z39\1\2 = (2.033u,1.296u);
  z39\1\3c1 = (-0.434u,1.790u);
  z39\1\3c2 = (1.892u,7.794u);
  z39\1\3 = (3.420u,4.792u);
  z39\1\4c1 = (3.566u,4.506u);
  z39\1\4c2 = (3.661u,4.166u);
  z39\1\4 = (3.730u,3.854u);
  z39\1\5c1 = (3.836u,3.372u);
  z39\1\5c2 = (3.843u,2.899u);
  z39\2\0s = (16.863u,1.445u);
  z39\2\0 = (15.417u,1.686u);
  z39\2\1c1 = (15.418u,2.124u);
  z39\2\1c2 = (15.298u,5.768u);
  z39\2\1 = (16.491u,5.018u);
  z39\2\2c1 = (17.049u,4.668u);
  z39\2\2c2 = (16.863u,2.120u);
  fill_or_unfill z39\0\0s
    ..controls z39\0\0c1 and z39\0\0c2..z39\0\0
    --z39\0\1
    ..controls z39\0\2c1 and z39\0\2c2..z39\0\2
    ..controls z39\0\3c1 and z39\0\3c2..z39\0\3
    ..controls z39\0\4c1 and z39\0\4c2..z39\0\4
    ..controls z39\0\5c1 and z39\0\5c2..z39\0\5
    ..controls z39\0\6c1 and z39\0\6c2..z39\0\6
    --cycle;
  fill_or_unfill z39\1\0s
    --z39\1\0
    --z39\1\1
    ..controls z39\1\2c1 and z39\1\2c2..z39\1\2
    ..controls z39\1\3c1 and z39\1\3c2..z39\1\3
    ..controls z39\1\4c1 and z39\1\4c2..z39\1\4
    ..controls z39\1\5c1 and z39\1\5c2..cycle;
  fill_or_unfill z39\2\0s
    --z39\2\0
    ..controls z39\2\1c1 and z39\2\1c2..z39\2\1
    ..controls z39\2\2c1 and z39\2\2c2..cycle;
  proof_labels (
    39\0\0,
    39\0\1,
    39\0\2,
    39\0\3,
    39\0\4,
    39\0\5,
    39\0\6,
    39\0\7,
    39\1\0,
    39\1\1,
    39\1\2,
    39\1\3,
    39\1\4,
    39\1\5,
    39\2\0,
    39\2\1,
    39\2\2,
);
endchar;

beginchar (72, 16.863u#, 6.263u#, 0.000u#);
  "D9";
  z40\0\0s = (16.863u,0.963u);
  z40\0\0 = (16.863u,4.095u);
  z40\0\1c1 = (16.861u,4.827u);
  z40\0\1c2 = (17.024u,5.954u);
  z40\0\1 = (16.106u,6.183u);
  z40\0\2c1 = (13.591u,6.812u);
  z40\0\2c2 = (15.146u,2.377u);
  z40\0\2 = (13.224u,2.043u);
  z40\0\3c1 = (12.578u,1.931u);
  z40\0\3c2 = (5.654u,2.062u);
  z40\0\3 = (5.335u,2.244u);
  z40\0\4c1 = (3.932u,3.043u);
  z40\0\4c2 = (5.071u,5.850u);
  z40\0\4 = (1.938u,5.245u);
  z40\0\5c1 = (0.538u,4.975u);
  z40\0\5c2 = (-0.478u,2.133u);
  z40\0\5 = (0.990u,1.242u);
  z40\0\6c1 = (2.135u,0.614u);
  z40\0\6c2 = (4.441u,1.198u);
  z40\0\6 = (5.781u,1.242u);
  z40\1\0s = (16.140u,5.541u);
  z40\1\0 = (16.140u,1.686u);
  z40\1\1 = (14.695u,1.686u);
  z40\1\2c1 = (14.754u,2.964u);
  z40\1\2c2 = (14.760u,5.059u);
  z40\2\0s = (3.854u,2.891u);
  z40\2\0 = (1.686u,2.168u);
  z40\2\1c1 = (-0.113u,4.025u);
  z40\2\1c2 = (3.411u,5.539u);
  z40\3\0s = (2.514u,2.063u);
  fill_or_unfill z40\0\0s
    --z40\0\0
    ..controls z40\0\1c1 and z40\0\1c2..z40\0\1
    ..controls z40\0\2c1 and z40\0\2c2..z40\0\2
    ..controls z40\0\3c1 and z40\0\3c2..z40\0\3
    ..controls z40\0\4c1 and z40\0\4c2..z40\0\4
    ..controls z40\0\5c1 and z40\0\5c2..z40\0\5
    ..controls z40\0\6c1 and z40\0\6c2..z40\0\6
    --cycle;
  fill_or_unfill z40\1\0s
    --z40\1\0
    --z40\1\1
    ..controls z40\1\2c1 and z40\1\2c2..cycle;
  fill_or_unfill z40\2\0s
    --z40\2\0
    ..controls z40\2\1c1 and z40\2\1c2..cycle;
  fill_or_unfill z40\3\0s
    --cycle;
  proof_labels (
    40\0\0,
    40\0\1,
    40\0\2,
    40\0\3,
    40\0\4,
    40\0\5,
    40\0\6,
    40\0\7,
    40\1\0,
    40\1\1,
    40\1\2,
    40\2\0,
    40\2\1,
    40\3\0,
);
endchar;

beginchar (73, 16.622u#, 6.504u#, 0.000u#);
  "D10";
  z41\0\0s = (1.686u,3.854u);
  z41\0\0 = (0.000u,3.854u);
  z41\0\1c1 = (0.480u,2.418u);
  z41\0\1c2 = (2.183u,1.127u);
  z41\0\1 = (3.613u,0.723u);
  z41\0\2c1 = (4.726u,2.385u);
  z41\0\2c2 = (14.805u,0.558u);
  z41\0\2 = (16.237u,1.691u);
  z41\0\3c1 = (16.684u,2.045u);
  z41\0\3c2 = (16.618u,2.859u);
  z41\0\3 = (16.622u,3.372u);
  z41\0\4 = (16.622u,6.504u);
  z41\0\5c1 = (13.662u,6.502u);
  z41\0\5c2 = (14.094u,5.299u);
  z41\0\5 = (13.972u,2.650u);
  z41\0\6 = (10.531u,2.815u);
  z41\0\7c1 = (7.458u,2.615u);
  z41\0\7c2 = (1.531u,1.100u);
  z41\0\7 = (2.168u,6.263u);
  z41\0\8c1 = (0.337u,6.507u);
  z41\0\8c2 = (1.256u,4.786u);
  z41\1\0s = (16.140u,5.781u);
  z41\1\0 = (15.899u,2.168u);
  z41\1\1 = (14.695u,2.409u);
  z41\1\2 = (14.936u,5.781u);
  fill_or_unfill z41\0\0s
    --z41\0\0
    ..controls z41\0\1c1 and z41\0\1c2..z41\0\1
    ..controls z41\0\2c1 and z41\0\2c2..z41\0\2
    ..controls z41\0\3c1 and z41\0\3c2..z41\0\3
    --z41\0\4
    ..controls z41\0\5c1 and z41\0\5c2..z41\0\5
    --z41\0\6
    ..controls z41\0\7c1 and z41\0\7c2..z41\0\7
    ..controls z41\0\8c1 and z41\0\8c2..cycle;
  fill_or_unfill z41\1\0s
    --z41\1\0
    --z41\1\1
    --z41\1\2
    --cycle;
  proof_labels (
    41\0\0,
    41\0\1,
    41\0\2,
    41\0\3,
    41\0\4,
    41\0\5,
    41\0\6,
    41\0\7,
    41\0\8,
    41\1\0,
    41\1\1,
    41\1\2,
    41\1\3,
);
endchar;

beginchar (74, 17.104u#, 6.504u#, 0.000u#);
  "D11";
  z42\0\0s = (14.213u,2.409u);
  z42\0\0 = (6.986u,2.409u);
  z42\0\1c1 = (5.462u,2.411u);
  z42\0\1c2 = (3.787u,3.317u);
  z42\0\1 = (2.409u,3.003u);
  z42\0\2c1 = (1.228u,2.734u);
  z42\0\2c2 = (0.418u,2.087u);
  z42\0\2 = (0.000u,0.963u);
  z42\0\3 = (1.445u,1.445u);
  z42\0\4c1 = (2.241u,0.272u);
  z42\0\4c2 = (3.900u,1.094u);
  z42\0\4 = (5.059u,1.277u);
  z42\0\5c1 = (6.063u,1.519u);
  z42\0\5c2 = (6.990u,1.294u);
  z42\0\5 = (7.990u,1.277u);
  z42\0\6 = (13.249u,0.973u);
  z42\0\7c1 = (13.968u,0.945u);
  z42\0\7c2 = (16.467u,0.907u);
  z42\0\7 = (16.826u,1.569u);
  z42\0\8c1 = (17.282u,2.409u);
  z42\0\8c2 = (14.816u,5.910u);
  z42\0\8 = (13.973u,6.223u);
  z42\0\9c1 = (12.331u,6.832u);
  z42\0\9c2 = (12.990u,4.519u);
  z42\0\9 = (13.361u,3.854u);
  z42\1\0s = (16.140u,1.927u);
  z42\1\0c1 = (14.578u,2.472u);
  z42\1\0c2 = (13.696u,4.010u);
  z42\1\0 = (13.249u,5.541u);
  z42\1\1 = (13.490u,5.781u);
  z42\1\2c1 = (14.881u,5.063u);
  z42\1\2c2 = (15.834u,3.437u);
  z42\2\0s = (3.372u,2.168u);
  z42\2\0 = (1.686u,1.445u);
  fill_or_unfill z42\0\0s
    --z42\0\0
    ..controls z42\0\1c1 and z42\0\1c2..z42\0\1
    ..controls z42\0\2c1 and z42\0\2c2..z42\0\2
    --z42\0\3
    ..controls z42\0\4c1 and z42\0\4c2..z42\0\4
    ..controls z42\0\5c1 and z42\0\5c2..z42\0\5
    --z42\0\6
    ..controls z42\0\7c1 and z42\0\7c2..z42\0\7
    ..controls z42\0\8c1 and z42\0\8c2..z42\0\8
    ..controls z42\0\9c1 and z42\0\9c2..z42\0\9
    --cycle;
  fill_or_unfill z42\1\0s
    ..controls z42\1\0c1 and z42\1\0c2..z42\1\0
    --z42\1\1
    ..controls z42\1\2c1 and z42\1\2c2..cycle;
  fill_or_unfill z42\2\0s
    --z42\2\0
    --cycle;
  proof_labels (
    42\0\0,
    42\0\1,
    42\0\2,
    42\0\3,
    42\0\4,
    42\0\5,
    42\0\6,
    42\0\7,
    42\0\8,
    42\0\9,
    42\0\10,
    42\1\0,
    42\1\1,
    42\1\2,
    42\2\0,
    42\2\1,
);
endchar;

beginchar (75, 17.104u#, 6.504u#, 0.000u#);
  "D12";
  z43\0\0s = (14.454u,6.504u);
  z43\0\0 = (14.454u,2.168u);
  z43\0\1 = (6.986u,2.168u);
  z43\0\2c1 = (5.440u,2.171u);
  z43\0\2c2 = (3.836u,3.090u);
  z43\0\2 = (2.409u,2.796u);
  z43\0\3c1 = (1.163u,2.540u);
  z43\0\3c2 = (0.413u,1.903u);
  z43\0\3 = (0.000u,0.723u);
  z43\0\4c1 = (1.335u,1.165u);
  z43\0\4c2 = (2.361u,2.583u);
  z43\0\4 = (3.613u,1.445u);
  z43\0\5 = (1.927u,0.723u);
  z43\0\6 = (7.227u,1.442u);
  z43\0\7 = (11.563u,1.204u);
  z43\0\8 = (16.863u,0.963u);
  z43\0\9 = (16.863u,6.504u);
  z43\1\0s = (16.381u,1.927u);
  z43\1\0c1 = (12.847u,2.350u);
  z43\1\0c2 = (16.297u,8.831u);
  z43\1\0 = (16.381u,4.336u);
  fill_or_unfill z43\0\0s
    --z43\0\0
    --z43\0\1
    ..controls z43\0\2c1 and z43\0\2c2..z43\0\2
    ..controls z43\0\3c1 and z43\0\3c2..z43\0\3
    ..controls z43\0\4c1 and z43\0\4c2..z43\0\4
    --z43\0\5
    --z43\0\6
    --z43\0\7
    --z43\0\8
    --z43\0\9
    --cycle;
  fill_or_unfill z43\1\0s
    ..controls z43\1\0c1 and z43\1\0c2..z43\1\0
    --cycle;
  proof_labels (
    43\0\0,
    43\0\1,
    43\0\2,
    43\0\3,
    43\0\4,
    43\0\5,
    43\0\6,
    43\0\7,
    43\0\8,
    43\0\9,
    43\0\10,
    43\1\0,
    43\1\1,
);
endchar;

beginchar (76, 17.826u#, 7.950u#, 0.000u#);
  "D13";
  z44\0\0s = (2.891u,7.950u);
  z44\0\0c1 = (2.456u,7.128u);
  z44\0\0c2 = (0.332u,3.482u);
  z44\0\0 = (0.271u,2.901u);
  z44\0\1c1 = (0.173u,1.966u);
  z44\0\1c2 = (1.304u,1.491u);
  z44\0\1 = (1.907u,2.247u);
  z44\0\2 = (3.613u,6.504u);
  z44\0\3 = (4.577u,4.577u);
  z44\0\4 = (3.854u,4.336u);
  z44\0\5 = (3.854u,3.613u);
  z44\0\6 = (6.504u,1.204u);
  z44\0\7 = (6.263u,2.168u);
  z44\0\8 = (17.235u,2.794u);
  z44\0\9c1 = (18.165u,3.235u);
  z44\0\9c2 = (17.875u,6.984u);
  z44\0\9 = (17.235u,7.454u);
  z44\0\10c1 = (16.837u,7.687u);
  z44\0\10c2 = (15.862u,7.502u);
  z44\0\10 = (15.417u,7.454u);
  z44\0\11 = (14.936u,3.613u);
  z44\0\12c1 = (11.905u,3.613u);
  z44\0\12c2 = (8.153u,2.757u);
  z44\0\12 = (5.606u,4.627u);
  z44\0\13c1 = (4.300u,5.586u);
  z44\0\13c2 = (4.701u,7.355u);
  z44\1\0s = (17.104u,3.132u);
  z44\1\0 = (15.658u,3.132u);
  z44\1\1 = (16.140u,6.986u);
  z44\1\2c1 = (17.588u,6.479u);
  z44\1\2c2 = (17.104u,4.399u);
  z44\2\0s = (2.409u,5.300u);
  z44\3\0s = (2.168u,5.059u);
  z44\3\0 = (0.963u,2.409u);
  z44\4\0s = (6.745u,2.891u);
  z44\4\0c1 = (5.614u,2.725u);
  z44\4\0c2 = (5.277u,2.616u);
  z44\4\0 = (5.059u,3.854u);
  fill_or_unfill z44\0\0s
    ..controls z44\0\0c1 and z44\0\0c2..z44\0\0
    ..controls z44\0\1c1 and z44\0\1c2..z44\0\1
    --z44\0\2
    --z44\0\3
    --z44\0\4
    --z44\0\5
    --z44\0\6
    --z44\0\7
    --z44\0\8
    ..controls z44\0\9c1 and z44\0\9c2..z44\0\9
    ..controls z44\0\10c1 and z44\0\10c2..z44\0\10
    --z44\0\11
    ..controls z44\0\12c1 and z44\0\12c2..z44\0\12
    ..controls z44\0\13c1 and z44\0\13c2..cycle;
  fill_or_unfill z44\1\0s
    --z44\1\0
    --z44\1\1
    ..controls z44\1\2c1 and z44\1\2c2..cycle;
  fill_or_unfill z44\2\0s
    --cycle;
  fill_or_unfill z44\3\0s
    --z44\3\0
    --cycle;
  fill_or_unfill z44\4\0s
    ..controls z44\4\0c1 and z44\4\0c2..z44\4\0
    --cycle;
  proof_labels (
    44\0\0,
    44\0\1,
    44\0\2,
    44\0\3,
    44\0\4,
    44\0\5,
    44\0\6,
    44\0\7,
    44\0\8,
    44\0\9,
    44\0\10,
    44\0\11,
    44\0\12,
    44\0\13,
    44\1\0,
    44\1\1,
    44\1\2,
    44\2\0,
    44\3\0,
    44\3\1,
    44\4\0,
    44\4\1,
);
endchar;

beginchar (77, 17.345u#, 8.431u#, 0.000u#);
  "D14";
  z45\0\0s = (0.000u,7.950u);
  z45\0\0 = (0.241u,4.336u);
  z45\0\1 = (1.686u,3.613u);
  z45\0\2 = (0.723u,3.372u);
  z45\0\3 = (0.723u,2.891u);
  z45\0\4 = (3.372u,0.241u);
  z45\0\5 = (3.372u,1.445u);
  z45\0\6 = (16.960u,1.691u);
  z45\0\7c1 = (17.407u,2.045u);
  z45\0\7c2 = (17.341u,2.859u);
  z45\0\7 = (17.345u,3.372u);
  z45\0\8 = (17.345u,5.059u);
  z45\0\9c1 = (17.342u,6.209u);
  z45\0\9c2 = (17.370u,7.607u);
  z45\0\9 = (15.692u,7.150u);
  z45\0\10c1 = (14.242u,6.756u);
  z45\0\10c2 = (15.035u,4.203u);
  z45\0\10 = (14.072u,3.276u);
  z45\0\11c1 = (13.684u,2.902u);
  z45\0\11c2 = (6.727u,2.578u);
  z45\0\11 = (5.781u,2.694u);
  z45\0\12 = (2.650u,3.613u);
  z45\0\13 = (3.613u,5.300u);
  z45\0\14c1 = (2.327u,6.907u);
  z45\0\14c2 = (2.419u,9.062u);
  z45\1\0s = (1.204u,7.468u);
  z45\1\0 = (1.686u,5.781u);
  z45\2\0s = (16.381u,6.263u);
  z45\2\0c1 = (16.381u,4.768u);
  z45\2\0c2 = (17.082u,2.802u);
  z45\2\0 = (15.177u,2.650u);
  z45\2\1 = (15.658u,6.263u);
  z45\3\0s = (3.854u,2.168u);
  z45\3\0 = (2.409u,2.168u);
  z45\3\1 = (2.409u,2.891u);
  fill_or_unfill z45\0\0s
    --z45\0\0
    --z45\0\1
    --z45\0\2
    --z45\0\3
    --z45\0\4
    --z45\0\5
    --z45\0\6
    ..controls z45\0\7c1 and z45\0\7c2..z45\0\7
    --z45\0\8
    ..controls z45\0\9c1 and z45\0\9c2..z45\0\9
    ..controls z45\0\10c1 and z45\0\10c2..z45\0\10
    ..controls z45\0\11c1 and z45\0\11c2..z45\0\11
    --z45\0\12
    --z45\0\13
    ..controls z45\0\14c1 and z45\0\14c2..cycle;
  fill_or_unfill z45\1\0s
    --z45\1\0
    --cycle;
  fill_or_unfill z45\2\0s
    ..controls z45\2\0c1 and z45\2\0c2..z45\2\0
    --z45\2\1
    --cycle;
  fill_or_unfill z45\3\0s
    --z45\3\0
    --z45\3\1
    --cycle;
  proof_labels (
    45\0\0,
    45\0\1,
    45\0\2,
    45\0\3,
    45\0\4,
    45\0\5,
    45\0\6,
    45\0\7,
    45\0\8,
    45\0\9,
    45\0\10,
    45\0\11,
    45\0\12,
    45\0\13,
    45\0\14,
    45\1\0,
    45\1\1,
    45\2\0,
    45\2\1,
    45\2\2,
    45\3\0,
    45\3\1,
    45\3\2,
);
endchar;

beginchar (78, 16.863u#, 11.322u#, 0.000u#);
  "D15";
  z46\0\0s = (0.963u,3.854u);
  z46\0\0c1 = (0.570u,2.045u);
  z46\0\0c2 = (1.809u,1.496u);
  z46\0\0 = (2.891u,0.241u);
  z46\0\1 = (3.372u,0.241u);
  z46\0\2 = (3.613u,1.445u);
  z46\0\3c1 = (5.412u,1.456u);
  z46\0\3c2 = (9.528u,1.711u);
  z46\0\3 = (11.081u,2.373u);
  z46\0\4c1 = (12.249u,2.870u);
  z46\0\4c2 = (12.917u,3.922u);
  z46\0\4 = (13.752u,4.818u);
  z46\0\5c1 = (15.694u,6.902u);
  z46\0\5c2 = (17.374u,8.163u);
  z46\0\5 = (16.622u,11.322u);
  z46\0\6c1 = (14.843u,10.365u);
  z46\0\6c2 = (15.050u,9.908u);
  z46\0\6 = (14.046u,8.431u);
  z46\0\7c1 = (13.459u,7.570u);
  z46\0\7c2 = (11.018u,5.100u);
  z46\0\7 = (10.118u,4.652u);
  z46\0\8c1 = (9.278u,4.234u);
  z46\0\8c2 = (8.141u,4.122u);
  z46\0\8 = (7.227u,3.882u);
  z46\0\9c1 = (5.814u,3.511u);
  z46\0\9c2 = (3.215u,2.310u);
  z46\0\9 = (3.255u,4.819u);
  z46\0\10c1 = (3.270u,5.799u);
  z46\0\10c2 = (2.418u,8.420u);
  z46\0\10 = (1.593u,8.984u);
  z46\0\11c1 = (0.501u,9.731u);
  z46\0\11c2 = (0.093u,8.270u);
  z46\0\11 = (0.149u,7.468u);
  z46\0\12c1 = (0.234u,6.256u);
  z46\0\12c2 = (-0.093u,4.647u);
  z46\1\0s = (15.899u,9.636u);
  z46\1\0 = (15.616u,7.950u);
  z46\1\1 = (11.072u,3.204u);
  z46\1\2 = (3.373u,1.879u);
  z46\1\3 = (1.686u,2.891u);
  z46\1\4c1 = (2.677u,3.070u);
  z46\1\4c2 = (3.370u,2.679u);
  z46\1\4 = (4.336u,2.669u);
  z46\1\5c1 = (6.143u,2.651u);
  z46\1\5c2 = (10.434u,3.733u);
  z46\1\5 = (11.735u,4.930u);
  z46\2\0s = (1.445u,8.431u);
  z46\2\0c1 = (2.199u,6.654u);
  z46\2\0c2 = (2.965u,5.784u);
  z46\2\0 = (2.168u,3.854u);
  z46\2\1c1 = (0.240u,4.657u);
  z46\2\1c2 = (0.724u,6.646u);
  z46\2\1 = (0.723u,8.431u);
  fill_or_unfill z46\0\0s
    ..controls z46\0\0c1 and z46\0\0c2..z46\0\0
    --z46\0\1
    --z46\0\2
    ..controls z46\0\3c1 and z46\0\3c2..z46\0\3
    ..controls z46\0\4c1 and z46\0\4c2..z46\0\4
    ..controls z46\0\5c1 and z46\0\5c2..z46\0\5
    ..controls z46\0\6c1 and z46\0\6c2..z46\0\6
    ..controls z46\0\7c1 and z46\0\7c2..z46\0\7
    ..controls z46\0\8c1 and z46\0\8c2..z46\0\8
    ..controls z46\0\9c1 and z46\0\9c2..z46\0\9
    ..controls z46\0\10c1 and z46\0\10c2..z46\0\10
    ..controls z46\0\11c1 and z46\0\11c2..z46\0\11
    ..controls z46\0\12c1 and z46\0\12c2..cycle;
  fill_or_unfill z46\1\0s
    --z46\1\0
    --z46\1\1
    --z46\1\2
    --z46\1\3
    ..controls z46\1\4c1 and z46\1\4c2..z46\1\4
    ..controls z46\1\5c1 and z46\1\5c2..z46\1\5
    --cycle;
  fill_or_unfill z46\2\0s
    ..controls z46\2\0c1 and z46\2\0c2..z46\2\0
    ..controls z46\2\1c1 and z46\2\1c2..z46\2\1
    --cycle;
  proof_labels (
    46\0\0,
    46\0\1,
    46\0\2,
    46\0\3,
    46\0\4,
    46\0\5,
    46\0\6,
    46\0\7,
    46\0\8,
    46\0\9,
    46\0\10,
    46\0\11,
    46\0\12,
    46\1\0,
    46\1\1,
    46\1\2,
    46\1\3,
    46\1\4,
    46\1\5,
    46\1\6,
    46\2\0,
    46\2\1,
    46\2\2,
);
endchar;

beginchar (79, 17.345u#, 5.781u#, 0.000u#);
  "D16";
  z47\0\0s = (3.347u,4.336u);
  z47\0\0c1 = (-1.224u,4.335u);
  z47\0\0c2 = (-0.916u,0.970u);
  z47\0\0 = (3.347u,0.963u);
  z47\0\1 = (17.101u,1.445u);
  z47\0\2 = (17.101u,3.951u);
  z47\0\3 = (8.058u,6.097u);
  z47\0\4 = (3.347u,5.187u);
  z47\1\0s = (16.622u,3.613u);
  z47\1\0c1 = (16.497u,2.117u);
  z47\1\0c2 = (16.067u,2.177u);
  z47\1\0 = (14.695u,2.168u);
  z47\1\1 = (8.913u,1.686u);
  z47\1\2 = (3.132u,1.686u);
  z47\1\3c1 = (0.080u,1.702u);
  z47\1\3c2 = (-0.018u,3.607u);
  z47\1\3 = (3.132u,3.613u);
  z47\1\4c1 = (5.288u,3.618u);
  z47\1\4c2 = (7.788u,3.346u);
  z47\1\4 = (9.877u,3.854u);
  z47\1\5 = (4.207u,4.385u);
  z47\1\6c1 = (5.205u,6.560u);
  z47\1\6c2 = (12.464u,3.704u);
  fill_or_unfill z47\0\0s
    ..controls z47\0\0c1 and z47\0\0c2..z47\0\0
    --z47\0\1
    --z47\0\2
    --z47\0\3
    --z47\0\4
    --cycle;
  fill_or_unfill z47\1\0s
    ..controls z47\1\0c1 and z47\1\0c2..z47\1\0
    --z47\1\1
    --z47\1\2
    ..controls z47\1\3c1 and z47\1\3c2..z47\1\3
    ..controls z47\1\4c1 and z47\1\4c2..z47\1\4
    --z47\1\5
    ..controls z47\1\6c1 and z47\1\6c2..cycle;
  proof_labels (
    47\0\0,
    47\0\1,
    47\0\2,
    47\0\3,
    47\0\4,
    47\0\5,
    47\1\0,
    47\1\1,
    47\1\2,
    47\1\3,
    47\1\4,
    47\1\5,
    47\1\6,
);
endchar;

beginchar (80, 17.586u#, 4.818u#, 0.000u#);
  "D17";
  z48\0\0s = (5.541u,4.807u);
  z48\0\0c1 = (5.921u,2.529u);
  z48\0\0c2 = (8.336u,3.174u);
  z48\0\0 = (10.118u,3.132u);
  z48\0\1 = (10.118u,2.650u);
  z48\0\2c1 = (8.530u,2.650u);
  z48\0\2c2 = (7.108u,2.710u);
  z48\0\2 = (5.541u,2.993u);
  z48\0\3c1 = (4.626u,3.158u);
  z48\0\3c2 = (1.557u,4.105u);
  z48\0\3 = (0.977u,3.997u);
  z48\0\4c1 = (0.475u,3.904u);
  z48\0\4c2 = (0.194u,3.612u);
  z48\0\4 = (0.080u,3.119u);
  z48\0\5c1 = (-0.446u,0.834u);
  z48\0\5c2 = (5.247u,0.500u);
  z48\0\5 = (6.745u,0.483u);
  z48\0\6c1 = (8.101u,0.467u);
  z48\0\6c2 = (9.534u,0.507u);
  z48\0\6 = (10.840u,0.914u);
  z48\0\7 = (13.009u,1.878u);
  z48\0\8c1 = (13.906u,2.045u);
  z48\0\8c2 = (14.975u,1.911u);
  z48\0\8 = (15.899u,1.878u);
  z48\0\9c1 = (18.142u,1.970u);
  z48\0\9c2 = (18.251u,4.207u);
  z48\0\9 = (16.139u,4.125u);
  z48\0\10 = (12.836u,3.837u);
  z48\0\11c1 = (11.451u,3.946u);
  z48\0\11c2 = (10.518u,4.884u);
  z48\0\11 = (8.913u,4.807u);
  z48\1\0s = (10.118u,4.095u);
  z48\1\0c1 = (12.992u,3.193u);
  z48\1\0c2 = (13.540u,2.862u);
  z48\1\0 = (16.622u,3.613u);
  z48\1\1 = (16.863u,2.656u);
  z48\1\2 = (13.111u,2.656u);
  z48\1\3c1 = (12.093u,2.518u);
  z48\1\3c2 = (11.162u,1.714u);
  z48\1\3 = (10.118u,1.455u);
  z48\1\4c1 = (8.637u,1.089u);
  z48\1\4c2 = (1.452u,1.041u);
  z48\1\4 = (0.763u,2.476u);
  z48\1\5c1 = (0.350u,3.336u);
  z48\1\5c2 = (1.388u,3.397u);
  z48\1\5 = (1.928u,3.275u);
  z48\1\6c1 = (4.174u,2.769u);
  z48\1\6c2 = (6.330u,2.007u);
  z48\1\6 = (8.672u,1.937u);
  z48\1\7c1 = (10.211u,1.891u);
  z48\1\7c2 = (11.832u,2.508u);
  z48\1\7 = (9.877u,3.854u);
  fill_or_unfill z48\0\0s
    ..controls z48\0\0c1 and z48\0\0c2..z48\0\0
    --z48\0\1
    ..controls z48\0\2c1 and z48\0\2c2..z48\0\2
    ..controls z48\0\3c1 and z48\0\3c2..z48\0\3
    ..controls z48\0\4c1 and z48\0\4c2..z48\0\4
    ..controls z48\0\5c1 and z48\0\5c2..z48\0\5
    ..controls z48\0\6c1 and z48\0\6c2..z48\0\6
    --z48\0\7
    ..controls z48\0\8c1 and z48\0\8c2..z48\0\8
    ..controls z48\0\9c1 and z48\0\9c2..z48\0\9
    --z48\0\10
    ..controls z48\0\11c1 and z48\0\11c2..z48\0\11
    --cycle;
  fill_or_unfill z48\1\0s
    ..controls z48\1\0c1 and z48\1\0c2..z48\1\0
    --z48\1\1
    --z48\1\2
    ..controls z48\1\3c1 and z48\1\3c2..z48\1\3
    ..controls z48\1\4c1 and z48\1\4c2..z48\1\4
    ..controls z48\1\5c1 and z48\1\5c2..z48\1\5
    ..controls z48\1\6c1 and z48\1\6c2..z48\1\6
    ..controls z48\1\7c1 and z48\1\7c2..z48\1\7
    --cycle;
  proof_labels (
    48\0\0,
    48\0\1,
    48\0\2,
    48\0\3,
    48\0\4,
    48\0\5,
    48\0\6,
    48\0\7,
    48\0\8,
    48\0\9,
    48\0\10,
    48\0\11,
    48\0\12,
    48\1\0,
    48\1\1,
    48\1\2,
    48\1\3,
    48\1\4,
    48\1\5,
    48\1\6,
    48\1\7,
    48\1\8,
);
endchar;

beginchar (81, 17.345u#, 9.154u#, 0.000u#);
  "D18";
  z49\0\0s = (5.541u,8.913u);
  z49\0\0 = (5.781u,7.709u);
  z49\0\1 = (4.818u,7.709u);
  z49\0\2 = (5.059u,8.431u);
  z49\0\3c1 = (-0.893u,10.118u);
  z49\0\3c2 = (0.000u,4.377u);
  z49\0\3 = (0.000u,0.723u);
  z49\0\4c1 = (2.549u,2.499u);
  z49\0\4c2 = (-2.213u,7.945u);
  z49\0\4 = (4.336u,7.950u);
  z49\0\5c1 = (-0.229u,6.379u);
  z49\0\5c2 = (3.258u,4.341u);
  z49\0\5 = (6.263u,4.336u);
  z49\0\6c1 = (9.144u,4.332u);
  z49\0\6c2 = (11.613u,4.533u);
  z49\0\6 = (14.454u,4.917u);
  z49\0\7 = (16.510u,4.917u);
  z49\0\8c1 = (17.564u,5.199u);
  z49\0\8c2 = (17.355u,7.126u);
  z49\0\8 = (16.510u,7.531u);
  z49\0\9c1 = (16.082u,7.768u);
  z49\0\9c2 = (15.240u,7.716u);
  z49\0\9 = (14.695u,7.833u);
  z49\0\10c1 = (12.730u,8.253u);
  z49\0\10c2 = (10.998u,9.250u);
  z49\0\10 = (8.913u,9.132u);
  z49\1\0s = (16.622u,6.986u);
  z49\1\0c1 = (16.587u,6.562u);
  z49\1\0c2 = (16.609u,6.081u);
  z49\1\0 = (16.237u,5.787u);
  z49\1\1c1 = (15.816u,5.454u);
  z49\1\1c2 = (14.546u,5.546u);
  z49\1\1 = (13.972u,5.471u);
  z49\1\2c1 = (11.187u,5.109u);
  z49\1\2c2 = (6.297u,4.024u);
  z49\1\2 = (3.645u,5.301u);
  z49\1\3c1 = (3.319u,5.458u);
  z49\1\3c2 = (3.041u,5.679u);
  z49\1\3 = (2.996u,6.063u);
  z49\1\4c1 = (2.850u,7.327u);
  z49\1\4c2 = (4.757u,7.238u);
  z49\1\4 = (5.541u,7.221u);
  z49\1\5c1 = (7.123u,7.185u);
  z49\1\5c2 = (9.804u,6.667u);
  z49\1\5 = (11.081u,7.709u);
  z49\1\6c1 = (9.788u,7.709u);
  z49\1\6c2 = (7.271u,7.285u);
  z49\1\6 = (6.504u,8.392u);
  z49\1\7 = (10.840u,8.392u);
  fill_or_unfill z49\0\0s
    --z49\0\0
    --z49\0\1
    --z49\0\2
    ..controls z49\0\3c1 and z49\0\3c2..z49\0\3
    ..controls z49\0\4c1 and z49\0\4c2..z49\0\4
    ..controls z49\0\5c1 and z49\0\5c2..z49\0\5
    ..controls z49\0\6c1 and z49\0\6c2..z49\0\6
    --z49\0\7
    ..controls z49\0\8c1 and z49\0\8c2..z49\0\8
    ..controls z49\0\9c1 and z49\0\9c2..z49\0\9
    ..controls z49\0\10c1 and z49\0\10c2..z49\0\10
    --cycle;
  fill_or_unfill z49\1\0s
    ..controls z49\1\0c1 and z49\1\0c2..z49\1\0
    ..controls z49\1\1c1 and z49\1\1c2..z49\1\1
    ..controls z49\1\2c1 and z49\1\2c2..z49\1\2
    ..controls z49\1\3c1 and z49\1\3c2..z49\1\3
    ..controls z49\1\4c1 and z49\1\4c2..z49\1\4
    ..controls z49\1\5c1 and z49\1\5c2..z49\1\5
    ..controls z49\1\6c1 and z49\1\6c2..z49\1\6
    --z49\1\7
    --cycle;
  proof_labels (
    49\0\0,
    49\0\1,
    49\0\2,
    49\0\3,
    49\0\4,
    49\0\5,
    49\0\6,
    49\0\7,
    49\0\8,
    49\0\9,
    49\0\10,
    49\0\11,
    49\1\0,
    49\1\1,
    49\1\2,
    49\1\3,
    49\1\4,
    49\1\5,
    49\1\6,
    49\1\7,
    49\1\8,
);
endchar;

beginchar (82, 17.104u#, 4.818u#, 0.000u#);
  "D19";
  z50\0\0s = (13.009u,4.095u);
  z50\0\0 = (13.009u,4.818u);
  z50\0\1 = (2.891u,4.818u);
  z50\0\2c1 = (-1.260u,4.810u);
  z50\0\2c2 = (-1.269u,0.491u);
  z50\0\2 = (4.577u,0.504u);
  z50\0\3 = (11.081u,0.504u);
  z50\0\4c1 = (12.547u,0.708u);
  z50\0\4c2 = (13.619u,1.194u);
  z50\0\4 = (15.177u,1.205u);
  z50\0\5c1 = (15.616u,1.208u);
  z50\0\5c2 = (16.361u,1.168u);
  z50\0\5 = (16.719u,1.451u);
  z50\0\6c1 = (17.306u,1.916u);
  z50\0\6c2 = (17.253u,3.604u);
  z50\0\6 = (16.546u,3.951u);
  z50\0\7c1 = (16.085u,4.178u);
  z50\0\7c2 = (13.670u,4.095u);
  z50\1\0s = (1.480u,3.951u);
  z50\1\0c1 = (4.096u,4.544u);
  z50\1\0c2 = (7.863u,4.131u);
  z50\1\0 = (10.600u,4.094u);
  z50\1\1c1 = (11.848u,4.078u);
  z50\1\1c2 = (12.789u,3.540u);
  z50\1\1 = (13.972u,3.365u);
  z50\1\2c1 = (14.514u,3.365u);
  z50\1\2c2 = (15.590u,3.593u);
  z50\1\2 = (16.001u,3.365u);
  z50\1\3c1 = (16.486u,2.975u);
  z50\1\3c2 = (16.302u,2.305u);
  z50\1\3 = (15.823u,2.071u);
  z50\1\4c1 = (15.360u,1.845u);
  z50\1\4c2 = (14.086u,1.957u);
  z50\1\4 = (13.490u,1.883u);
  z50\1\5c1 = (12.301u,1.735u);
  z50\1\5c2 = (11.368u,1.222u);
  z50\1\5 = (10.118u,1.242u);
  z50\1\6 = (3.304u,1.242u);
  z50\1\7c1 = (1.888u,1.393u);
  z50\1\7c2 = (-0.561u,2.521u);
  fill_or_unfill z50\0\0s
    --z50\0\0
    --z50\0\1
    ..controls z50\0\2c1 and z50\0\2c2..z50\0\2
    --z50\0\3
    ..controls z50\0\4c1 and z50\0\4c2..z50\0\4
    ..controls z50\0\5c1 and z50\0\5c2..z50\0\5
    ..controls z50\0\6c1 and z50\0\6c2..z50\0\6
    ..controls z50\0\7c1 and z50\0\7c2..cycle;
  fill_or_unfill z50\1\0s
    ..controls z50\1\0c1 and z50\1\0c2..z50\1\0
    ..controls z50\1\1c1 and z50\1\1c2..z50\1\1
    ..controls z50\1\2c1 and z50\1\2c2..z50\1\2
    ..controls z50\1\3c1 and z50\1\3c2..z50\1\3
    ..controls z50\1\4c1 and z50\1\4c2..z50\1\4
    ..controls z50\1\5c1 and z50\1\5c2..z50\1\5
    --z50\1\6
    ..controls z50\1\7c1 and z50\1\7c2..cycle;
  proof_labels (
    50\0\0,
    50\0\1,
    50\0\2,
    50\0\3,
    50\0\4,
    50\0\5,
    50\0\6,
    50\0\7,
    50\1\0,
    50\1\1,
    50\1\2,
    50\1\3,
    50\1\4,
    50\1\5,
    50\1\6,
    50\1\7,
);
endchar;

beginchar (83, 12.768u#, 7.950u#, 0.000u#);
  "D20";
  z51\0\0s = (0.000u,7.709u);
  z51\0\0c1 = (0.124u,5.616u);
  z51\0\0c2 = (0.783u,6.322u);
  z51\0\0 = (1.303u,5.034u);
  z51\0\1c1 = (1.777u,3.860u);
  z51\0\1c2 = (1.383u,2.098u);
  z51\0\1 = (2.509u,1.206u);
  z51\0\2c1 = (3.185u,0.670u);
  z51\0\2c2 = (4.239u,0.708u);
  z51\0\2 = (5.059u,0.726u);
  z51\0\3 = (12.142u,1.451u);
  z51\0\4c1 = (12.526u,1.752u);
  z51\0\4c2 = (12.562u,2.440u);
  z51\0\4 = (12.587u,2.891u);
  z51\0\5c1 = (12.774u,6.294u);
  z51\0\5c2 = (11.382u,4.749u);
  z51\0\5 = (9.636u,5.579u);
  z51\0\6c1 = (8.258u,6.234u);
  z51\0\6c2 = (7.373u,7.561u);
  z51\0\6 = (5.781u,7.868u);
  z51\0\7c1 = (3.955u,8.220u);
  z51\0\7c2 = (1.868u,7.709u);
  z51\1\0s = (11.804u,1.927u);
  z51\1\0c1 = (10.191u,1.927u);
  z51\1\0c2 = (4.333u,1.204u);
  z51\1\0 = (3.398u,1.589u);
  z51\1\1c1 = (2.724u,1.867u);
  z51\1\1c2 = (2.472u,2.459u);
  z51\1\1 = (2.343u,3.132u);
  z51\1\2c1 = (1.775u,6.102u);
  z51\1\2c2 = (3.229u,5.834u);
  z51\1\2 = (5.541u,6.504u);
  z51\1\3 = (0.963u,6.986u);
  z51\1\4c1 = (3.030u,7.153u);
  z51\1\4c2 = (4.836u,7.827u);
  z51\1\4 = (6.745u,6.677u);
  z51\1\5 = (9.154u,4.955u);
  z51\1\6c1 = (11.626u,3.666u);
  z51\1\6c2 = (11.838u,5.984u);
  fill_or_unfill z51\0\0s
    ..controls z51\0\0c1 and z51\0\0c2..z51\0\0
    ..controls z51\0\1c1 and z51\0\1c2..z51\0\1
    ..controls z51\0\2c1 and z51\0\2c2..z51\0\2
    --z51\0\3
    ..controls z51\0\4c1 and z51\0\4c2..z51\0\4
    ..controls z51\0\5c1 and z51\0\5c2..z51\0\5
    ..controls z51\0\6c1 and z51\0\6c2..z51\0\6
    ..controls z51\0\7c1 and z51\0\7c2..cycle;
  fill_or_unfill z51\1\0s
    ..controls z51\1\0c1 and z51\1\0c2..z51\1\0
    ..controls z51\1\1c1 and z51\1\1c2..z51\1\1
    ..controls z51\1\2c1 and z51\1\2c2..z51\1\2
    --z51\1\3
    ..controls z51\1\4c1 and z51\1\4c2..z51\1\4
    --z51\1\5
    ..controls z51\1\6c1 and z51\1\6c2..cycle;
  proof_labels (
    51\0\0,
    51\0\1,
    51\0\2,
    51\0\3,
    51\0\4,
    51\0\5,
    51\0\6,
    51\0\7,
    51\1\0,
    51\1\1,
    51\1\2,
    51\1\3,
    51\1\4,
    51\1\5,
    51\1\6,
);
endchar;

beginchar (84, 3.613u#, 18.549u#, 0.000u#);
  "D21";
  z52\0\0s = (0.000u,1.204u);
  z52\0\0c1 = (1.813u,1.205u);
  z52\0\0c2 = (2.848u,0.897u);
  z52\0\0 = (2.890u,3.132u);
  z52\0\1 = (3.581u,10.819u);
  z52\0\2c1 = (3.568u,12.364u);
  z52\0\2c2 = (2.696u,13.925u);
  z52\0\2 = (2.852u,15.417u);
  z52\0\3c1 = (2.955u,16.403u);
  z52\0\3c2 = (4.144u,18.943u);
  z52\0\3 = (1.927u,18.469u);
  z52\0\4c1 = (0.019u,18.061u);
  z52\0\4c2 = (-0.106u,15.514u);
  z52\0\4 = (0.040u,13.972u);
  z52\0\5 = (0.481u,9.877u);
  z52\1\0s = (0.963u,15.899u);
  z52\1\0c1 = (3.683u,13.232u);
  z52\1\0c2 = (2.420u,9.324u);
  z52\1\0 = (2.189u,6.022u);
  z52\1\1c1 = (2.133u,5.217u);
  z52\1\1c2 = (2.300u,2.657u);
  z52\1\1 = (1.559u,2.208u);
  z52\1\2c1 = (0.509u,1.572u);
  z52\1\2c2 = (0.746u,4.198u);
  z52\1\2 = (0.791u,4.577u);
  z52\1\3 = (1.204u,9.636u);
  z52\1\4c1 = (1.201u,11.616u);
  z52\1\4c2 = (0.222u,14.030u);
  fill_or_unfill z52\0\0s
    ..controls z52\0\0c1 and z52\0\0c2..z52\0\0
    --z52\0\1
    ..controls z52\0\2c1 and z52\0\2c2..z52\0\2
    ..controls z52\0\3c1 and z52\0\3c2..z52\0\3
    ..controls z52\0\4c1 and z52\0\4c2..z52\0\4
    --z52\0\5
    --cycle;
  fill_or_unfill z52\1\0s
    ..controls z52\1\0c1 and z52\1\0c2..z52\1\0
    ..controls z52\1\1c1 and z52\1\1c2..z52\1\1
    ..controls z52\1\2c1 and z52\1\2c2..z52\1\2
    --z52\1\3
    ..controls z52\1\4c1 and z52\1\4c2..cycle;
  proof_labels (
    52\0\0,
    52\0\1,
    52\0\2,
    52\0\3,
    52\0\4,
    52\0\5,
    52\0\6,
    52\1\0,
    52\1\1,
    52\1\2,
    52\1\3,
    52\1\4,
);
endchar;

beginchar (85, 15.177u#, 4.336u#, 0.000u#);
  "D22";
  z53\0\0s = (15.177u,1.927u);
  z53\0\0 = (15.177u,4.104u);
  z53\0\1c1 = (13.565u,4.365u);
  z53\0\1c2 = (5.226u,4.467u);
  z53\0\1 = (3.854u,4.104u);
  z53\0\2c1 = (3.027u,3.898u);
  z53\0\2c2 = (-1.309u,2.505u);
  z53\0\2 = (0.778u,1.210u);
  z53\0\3c1 = (1.842u,0.549u);
  z53\0\3c2 = (4.732u,1.925u);
  z53\0\3 = (6.263u,1.927u);
  z53\1\0s = (14.454u,2.649u);
  z53\1\0 = (5.781u,2.649u);
  z53\1\1 = (2.650u,1.927u);
  z53\1\2 = (3.627u,3.304u);
  z53\1\3 = (13.897u,3.469u);
  z53\2\0s = (1.927u,2.409u);
  z53\2\0 = (0.963u,1.686u);
  fill_or_unfill z53\0\0s
    --z53\0\0
    ..controls z53\0\1c1 and z53\0\1c2..z53\0\1
    ..controls z53\0\2c1 and z53\0\2c2..z53\0\2
    ..controls z53\0\3c1 and z53\0\3c2..z53\0\3
    --cycle;
  fill_or_unfill z53\1\0s
    --z53\1\0
    --z53\1\1
    --z53\1\2
    --z53\1\3
    --cycle;
  fill_or_unfill z53\2\0s
    --z53\2\0
    --cycle;
  proof_labels (
    53\0\0,
    53\0\1,
    53\0\2,
    53\0\3,
    53\0\4,
    53\1\0,
    53\1\1,
    53\1\2,
    53\1\3,
    53\1\4,
    53\2\0,
    53\2\1,
);
endchar;

beginchar (86, 16.381u#, 6.745u#, 0.000u#);
  "D23";
  z54\0\0s = (0.000u,5.300u);
  z54\0\0c1 = (2.381u,3.982u);
  z54\0\0c2 = (5.480u,4.103u);
  z54\0\0 = (8.150u,4.160u);
  z54\0\1c1 = (14.405u,4.294u);
  z54\0\1c2 = (10.662u,1.904u);
  z54\0\1 = (13.260u,1.148u);
  z54\0\2c1 = (16.281u,0.269u);
  z54\0\2c2 = (17.279u,3.331u);
  z54\0\2 = (15.126u,5.147u);
  z54\0\3c1 = (13.189u,6.780u);
  z54\0\3c2 = (7.360u,6.500u);
  z54\0\3 = (4.818u,6.552u);
  z54\0\4c1 = (3.934u,6.506u);
  z54\0\4c2 = (1.886u,6.855u);
  z54\0\4 = (1.215u,6.552u);
  z54\0\5c1 = (0.572u,6.356u);
  z54\0\5c2 = (0.313u,5.863u);
  z54\1\0s = (2.168u,6.263u);
  z54\1\0c1 = (4.738u,4.583u);
  z54\1\0c2 = (17.222u,8.111u);
  z54\1\0 = (15.417u,1.686u);
  z54\1\1 = (13.731u,2.650u);
  z54\1\2 = (13.731u,1.686u);
  z54\1\3c1 = (12.486u,2.389u);
  z54\1\3c2 = (12.789u,3.106u);
  z54\1\3 = (13.009u,4.336u);
  z54\1\4 = (0.963u,5.300u);
  z54\1\5 = (0.963u,6.022u);
  fill_or_unfill z54\0\0s
    ..controls z54\0\0c1 and z54\0\0c2..z54\0\0
    ..controls z54\0\1c1 and z54\0\1c2..z54\0\1
    ..controls z54\0\2c1 and z54\0\2c2..z54\0\2
    ..controls z54\0\3c1 and z54\0\3c2..z54\0\3
    ..controls z54\0\4c1 and z54\0\4c2..z54\0\4
    ..controls z54\0\5c1 and z54\0\5c2..cycle;
  fill_or_unfill z54\1\0s
    ..controls z54\1\0c1 and z54\1\0c2..z54\1\0
    --z54\1\1
    --z54\1\2
    ..controls z54\1\3c1 and z54\1\3c2..z54\1\3
    --z54\1\4
    --z54\1\5
    --cycle;
  proof_labels (
    54\0\0,
    54\0\1,
    54\0\2,
    54\0\3,
    54\0\4,
    54\0\5,
    54\1\0,
    54\1\1,
    54\1\2,
    54\1\3,
    54\1\4,
    54\1\5,
    54\1\6,
);
endchar;

beginchar (87, 17.104u#, 10.359u#, 0.000u#);
  "D24";
  z55\0\0s = (0.482u,3.372u);
  z55\0\0 = (0.963u,8.191u);
  z55\0\1c1 = (2.447u,7.927u);
  z55\0\1c2 = (3.765u,7.487u);
  z55\0\1 = (5.300u,7.469u);
  z55\0\2c1 = (6.755u,7.452u);
  z55\0\2c2 = (10.637u,7.664u);
  z55\0\2 = (11.778u,7.104u);
  z55\0\3c1 = (13.914u,6.055u);
  z55\0\3c2 = (11.234u,3.862u);
  z55\0\3 = (15.657u,4.128u);
  z55\0\4c1 = (18.331u,4.289u);
  z55\0\4c2 = (16.678u,7.890u);
  z55\0\4 = (15.173u,8.673u);
  z55\0\5c1 = (12.870u,9.872u);
  z55\0\5c2 = (9.070u,9.624u);
  z55\0\5 = (6.504u,9.636u);
  z55\0\6c1 = (5.290u,9.642u);
  z55\0\6c2 = (2.796u,10.390u);
  z55\0\6 = (1.928u,9.998u);
  z55\0\7c1 = (-0.388u,8.954u);
  z55\0\7c2 = (-0.346u,5.363u);
  z55\1\0s = (16.140u,4.818u);
  z55\1\0 = (14.454u,5.781u);
  z55\1\1 = (14.213u,4.818u);
  z55\1\2 = (13.165u,7.466u);
  z55\1\3 = (1.686u,8.913u);
  z55\1\4c1 = (2.761u,9.665u);
  z55\1\4c2 = (13.521u,8.774u);
  z55\1\4 = (14.925u,7.781u);
  z55\1\5c1 = (16.098u,6.952u);
  z55\1\5c2 = (16.127u,6.122u);
  fill_or_unfill z55\0\0s
    --z55\0\0
    ..controls z55\0\1c1 and z55\0\1c2..z55\0\1
    ..controls z55\0\2c1 and z55\0\2c2..z55\0\2
    ..controls z55\0\3c1 and z55\0\3c2..z55\0\3
    ..controls z55\0\4c1 and z55\0\4c2..z55\0\4
    ..controls z55\0\5c1 and z55\0\5c2..z55\0\5
    ..controls z55\0\6c1 and z55\0\6c2..z55\0\6
    ..controls z55\0\7c1 and z55\0\7c2..cycle;
  fill_or_unfill z55\1\0s
    --z55\1\0
    --z55\1\1
    --z55\1\2
    --z55\1\3
    ..controls z55\1\4c1 and z55\1\4c2..z55\1\4
    ..controls z55\1\5c1 and z55\1\5c2..cycle;
  proof_labels (
    55\0\0,
    55\0\1,
    55\0\2,
    55\0\3,
    55\0\4,
    55\0\5,
    55\0\6,
    55\0\7,
    55\1\0,
    55\1\1,
    55\1\2,
    55\1\3,
    55\1\4,
    55\1\5,
);
endchar;

beginchar (88, 10.118u#, 8.431u#, 0.000u#);
  "D25";
  z56\0\0s = (0.000u,1.204u);
  z56\0\0 = (0.241u,0.241u);
  z56\0\1 = (3.301u,0.759u);
  z56\0\2 = (6.745u,6.986u);
  z56\0\3c1 = (7.666u,6.222u);
  z56\0\3c2 = (8.001u,5.438u);
  z56\0\3 = (8.416u,4.336u);
  z56\0\4c1 = (9.989u,0.154u);
  z56\0\4c2 = (7.088u,2.596u);
  z56\0\4 = (6.263u,0.482u);
  z56\0\5c1 = (6.844u,0.494u);
  z56\0\5c2 = (9.399u,0.588u);
  z56\0\5 = (9.732u,0.888u);
  z56\0\6c1 = (10.785u,1.836u);
  z56\0\6c2 = (9.007u,8.224u);
  z56\0\6 = (6.989u,8.224u);
  z56\0\7c1 = (4.516u,8.224u);
  z56\0\7c2 = (5.267u,1.951u);
  fill_or_unfill z56\0\0s
    --z56\0\0
    --z56\0\1
    --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..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,
);
endchar;

beginchar (89, 9.877u#, 8.431u#, 0.000u#);
  "D26";
  z57\0\0s = (0.000u,0.963u);
  z57\0\0 = (3.613u,0.963u);
  z57\0\1c1 = (2.984u,1.871u);
  z57\0\1c2 = (1.483u,1.668u);
  z57\0\1 = (1.130u,2.701u);
  z57\0\2c1 = (0.878u,3.439u);
  z57\0\2c2 = (2.195u,7.562u);
  z57\0\2 = (3.178u,6.985u);
  z57\0\3 = (6.504u,0.723u);
  z57\0\4 = (9.877u,1.445u);
  z57\0\5c1 = (8.934u,1.635u);
  z57\0\5c2 = (7.774u,1.856u);
  z57\0\5 = (7.037u,2.509u);
  z57\0\6c1 = (5.736u,3.663u);
  z57\0\6c2 = (4.592u,8.850u);
  z57\0\6 = (2.659u,8.273u);
  z57\0\7c1 = (0.551u,7.645u);
  z57\0\7c2 = (0.005u,2.815u);
  fill_or_unfill z57\0\0s
    --z57\0\0
    ..controls z57\0\1c1 and z57\0\1c2..z57\0\1
    ..controls z57\0\2c1 and z57\0\2c2..z57\0\2
    --z57\0\3
    --z57\0\4
    ..controls z57\0\5c1 and z57\0\5c2..z57\0\5
    ..controls z57\0\6c1 and z57\0\6c2..z57\0\6
    ..controls z57\0\7c1 and z57\0\7c2..cycle;
  proof_labels (
    57\0\0,
    57\0\1,
    57\0\2,
    57\0\3,
    57\0\4,
    57\0\5,
    57\0\6,
    57\0\7,
);
endchar;

beginchar (90, 9.636u#, 15.899u#, 0.000u#);
  "D27";
  z58\0\0s = (9.636u,14.692u);
  z58\0\0c1 = (8.163u,15.722u);
  z58\0\0c2 = (7.783u,16.219u);
  z58\0\0 = (6.445u,14.692u);
  z58\0\1c1 = (5.884u,14.049u);
  z58\0\1c2 = (4.707u,12.592u);
  z58\0\1 = (4.505u,11.804u);
  z58\0\2c1 = (4.000u,10.200u);
  z58\0\2c2 = (5.582u,5.891u);
  z58\0\2 = (4.505u,4.149u);
  z58\0\3c1 = (3.790u,2.909u);
  z58\0\3c2 = (0.651u,2.653u);
  z58\0\3 = (0.281u,2.041u);
  z58\0\4c1 = (-0.196u,1.251u);
  z58\0\4c2 = (1.304u,1.212u);
  z58\0\4 = (1.686u,1.168u);
  z58\0\5 = (6.228u,1.168u);
  z58\0\6c1 = (6.722u,1.298u);
  z58\0\6c2 = (6.881u,1.692u);
  z58\0\6 = (6.951u,2.173u);
  z58\0\7 = (6.951u,4.095u);
  z58\0\8 = (7.464u,7.468u);
  z58\0\9 = (7.106u,10.840u);
  z58\0\10c1 = (7.251u,11.958u);
  z58\0\10c2 = (9.092u,13.307u);
  z58\1\0s = (8.672u,14.454u);
  z58\1\0 = (6.414u,11.563u);
  z58\1\1 = (6.723u,8.191u);
  z58\1\2 = (6.263u,1.927u);
  z58\1\3 = (3.372u,1.927u);
  z58\1\4c1 = (4.551u,3.770u);
  z58\1\4c2 = (5.525u,2.690u);
  z58\1\4 = (5.520u,5.781u);
  z58\1\5 = (5.520u,9.395u);
  z58\1\6c1 = (5.432u,10.020u);
  z58\1\6c2 = (5.165u,10.696u);
  z58\1\6 = (5.231u,11.322u);
  z58\1\7c1 = (5.387u,12.797u);
  z58\1\7c2 = (7.138u,15.015u);
  fill_or_unfill z58\0\0s
    ..controls z58\0\0c1 and z58\0\0c2..z58\0\0
    ..controls z58\0\1c1 and z58\0\1c2..z58\0\1
    ..controls z58\0\2c1 and z58\0\2c2..z58\0\2
    ..controls z58\0\3c1 and z58\0\3c2..z58\0\3
    ..controls z58\0\4c1 and z58\0\4c2..z58\0\4
    --z58\0\5
    ..controls z58\0\6c1 and z58\0\6c2..z58\0\6
    --z58\0\7
    --z58\0\8
    --z58\0\9
    ..controls z58\0\10c1 and z58\0\10c2..cycle;
  fill_or_unfill z58\1\0s
    --z58\1\0
    --z58\1\1
    --z58\1\2
    --z58\1\3
    ..controls z58\1\4c1 and z58\1\4c2..z58\1\4
    --z58\1\5
    ..controls z58\1\6c1 and z58\1\6c2..z58\1\6
    ..controls z58\1\7c1 and z58\1\7c2..cycle;
  proof_labels (
    58\0\0,
    58\0\1,
    58\0\2,
    58\0\3,
    58\0\4,
    58\0\5,
    58\0\6,
    58\0\7,
    58\0\8,
    58\0\9,
    58\0\10,
    58\1\0,
    58\1\1,
    58\1\2,
    58\1\3,
    58\1\4,
    58\1\5,
    58\1\6,
    58\1\7,
);
endchar;

beginchar (91, 17.586u#, 15.417u#, 0.000u#);
  "D27*";
  z59\0\0s = (10.359u,15.417u);
  z59\0\0c1 = (8.381u,12.653u);
  z59\0\0c2 = (7.709u,13.336u);
  z59\0\0 = (7.709u,9.636u);
  z59\0\1 = (0.000u,12.286u);
  z59\0\2c1 = (0.665u,10.337u);
  z59\0\2c2 = (3.524u,8.222u);
  z59\0\2 = (5.300u,7.236u);
  z59\0\3c1 = (5.867u,6.922u);
  z59\0\3c2 = (6.919u,6.598u);
  z59\0\3 = (7.324u,6.141u);
  z59\0\4c1 = (8.787u,4.488u);
  z59\0\4c2 = (6.720u,2.764u);
  z59\0\4 = (5.300u,2.261u);
  z59\0\5 = (2.891u,1.686u);
  z59\0\6 = (2.891u,0.963u);
  z59\0\7 = (9.390u,1.108u);
  z59\0\8 = (10.118u,5.541u);
  z59\0\9c1 = (10.814u,5.541u);
  z59\0\9c2 = (12.666u,5.621u);
  z59\0\9 = (13.227u,5.397u);
  z59\0\10c1 = (15.063u,4.661u);
  z59\0\10c2 = (14.533u,1.852u);
  z59\0\10 = (17.586u,2.650u);
  z59\0\11c1 = (15.492u,8.922u);
  z59\0\11c2 = (11.894u,6.968u);
  z59\0\11 = (10.601u,9.180u);
  z59\0\12c1 = (8.899u,12.093u);
  z59\0\12c2 = (14.766u,13.313u);
  z59\1\0s = (9.877u,8.913u);
  z59\1\0c1 = (7.082u,9.665u);
  z59\1\0c2 = (8.295u,13.385u);
  z59\1\0 = (10.346u,14.173u);
  z59\1\1c1 = (10.902u,14.386u);
  z59\1\1c2 = (11.278u,14.054u);
  z59\1\1 = (11.143u,13.476u);
  z59\1\2c1 = (10.951u,12.656u);
  z59\1\2c2 = (9.910u,12.050u);
  z59\1\2 = (9.670u,11.183u);
  z59\1\3c1 = (9.519u,10.641u);
  z59\1\3c2 = (9.798u,9.503u);
  z59\2\0s = (1.927u,11.081u);
  z59\2\0 = (14.623u,6.151u);
  z59\2\1 = (16.381u,3.132u);
  z59\2\2c1 = (14.446u,4.654u);
  z59\2\2c2 = (14.901u,6.244u);
  z59\2\2 = (12.045u,6.263u);
  z59\2\3c1 = (8.676u,6.286u);
  z59\2\3c2 = (6.057u,7.165u);
  z59\2\3 = (3.373u,9.257u);
  z59\2\4c1 = (2.725u,9.763u);
  z59\2\4c2 = (2.000u,10.222u);
  z59\3\0s = (9.636u,5.781u);
  z59\3\0c1 = (9.430u,4.685u);
  z59\3\0c2 = (9.406u,1.654u);
  z59\3\0 = (8.177u,1.467u);
  z59\3\1 = (6.022u,1.467u);
  z59\3\2c1 = (6.546u,2.183u);
  z59\3\2c2 = (7.494u,2.461u);
  z59\3\2 = (7.944u,3.209u);
  z59\3\3c1 = (8.640u,4.368u);
  z59\3\3c2 = (7.412u,6.156u);
  fill_or_unfill z59\0\0s
    ..controls z59\0\0c1 and z59\0\0c2..z59\0\0
    --z59\0\1
    ..controls z59\0\2c1 and z59\0\2c2..z59\0\2
    ..controls z59\0\3c1 and z59\0\3c2..z59\0\3
    ..controls z59\0\4c1 and z59\0\4c2..z59\0\4
    --z59\0\5
    --z59\0\6
    --z59\0\7
    --z59\0\8
    ..controls z59\0\9c1 and z59\0\9c2..z59\0\9
    ..controls z59\0\10c1 and z59\0\10c2..z59\0\10
    ..controls z59\0\11c1 and z59\0\11c2..z59\0\11
    ..controls z59\0\12c1 and z59\0\12c2..cycle;
  fill_or_unfill z59\1\0s
    ..controls z59\1\0c1 and z59\1\0c2..z59\1\0
    ..controls z59\1\1c1 and z59\1\1c2..z59\1\1
    ..controls z59\1\2c1 and z59\1\2c2..z59\1\2
    ..controls z59\1\3c1 and z59\1\3c2..cycle;
  fill_or_unfill z59\2\0s
    --z59\2\0
    --z59\2\1
    ..controls z59\2\2c1 and z59\2\2c2..z59\2\2
    ..controls z59\2\3c1 and z59\2\3c2..z59\2\3
    ..controls z59\2\4c1 and z59\2\4c2..cycle;
  fill_or_unfill z59\3\0s
    ..controls z59\3\0c1 and z59\3\0c2..z59\3\0
    --z59\3\1
    ..controls z59\3\2c1 and z59\3\2c2..z59\3\2
    ..controls z59\3\3c1 and z59\3\3c2..cycle;
  proof_labels (
    59\0\0,
    59\0\1,
    59\0\2,
    59\0\3,
    59\0\4,
    59\0\5,
    59\0\6,
    59\0\7,
    59\0\8,
    59\0\9,
    59\0\10,
    59\0\11,
    59\0\12,
    59\1\0,
    59\1\1,
    59\1\2,
    59\1\3,
    59\2\0,
    59\2\1,
    59\2\2,
    59\2\3,
    59\2\4,
    59\3\0,
    59\3\1,
    59\3\2,
    59\3\3,
);
endchar;

beginchar (92, 10.118u#, 17.826u#, 0.000u#);
  "D28";
  z60\0\0s = (7.751u,17.580u);
  z60\0\0c1 = (6.971u,16.585u);
  z60\0\0c2 = (7.720u,9.473u);
  z60\0\0 = (7.751u,7.709u);
  z60\0\1c1 = (7.678u,3.185u);
  z60\0\1c2 = (1.010u,3.531u);
  z60\0\1 = (0.281u,2.288u);
  z60\0\2c1 = (-0.187u,1.488u);
  z60\0\2c2 = (1.290u,1.454u);
  z60\0\2 = (1.686u,1.446u);
  z60\0\3 = (6.504u,1.644u);
  z60\0\4c1 = (7.300u,1.644u);
  z60\0\4c2 = (8.101u,1.357u);
  z60\0\4 = (8.900u,1.481u);
  z60\0\5c1 = (9.305u,1.544u);
  z60\0\5c2 = (9.551u,1.640u);
  z60\0\5 = (9.825u,2.003u);
  z60\0\6c1 = (10.258u,2.797u);
  z60\0\6c2 = (9.878u,4.792u);
  z60\0\6 = (9.825u,5.781u);
  z60\0\7 = (9.692u,17.441u);
  z60\0\8c1 = (9.221u,17.996u);
  z60\0\8c2 = (8.362u,17.798u);
  z60\1\0s = (9.154u,2.168u);
  z60\1\0 = (2.891u,2.168u);
  z60\1\1c1 = (4.247u,3.368u);
  z60\1\1c2 = (6.369u,3.654u);
  z60\1\1 = (7.642u,4.911u);
  z60\1\2c1 = (9.484u,6.730u);
  z60\1\2c2 = (7.655u,14.372u);
  z60\1\2 = (8.431u,17.104u);
  z60\1\3 = (9.074u,16.328u);
  z60\1\4 = (8.913u,9.154u);
  fill_or_unfill z60\0\0s
    ..controls z60\0\0c1 and z60\0\0c2..z60\0\0
    ..controls z60\0\1c1 and z60\0\1c2..z60\0\1
    ..controls z60\0\2c1 and z60\0\2c2..z60\0\2
    --z60\0\3
    ..controls z60\0\4c1 and z60\0\4c2..z60\0\4
    ..controls z60\0\5c1 and z60\0\5c2..z60\0\5
    ..controls z60\0\6c1 and z60\0\6c2..z60\0\6
    --z60\0\7
    ..controls z60\0\8c1 and z60\0\8c2..cycle;
  fill_or_unfill z60\1\0s
    --z60\1\0
    ..controls z60\1\1c1 and z60\1\1c2..z60\1\1
    ..controls z60\1\2c1 and z60\1\2c2..z60\1\2
    --z60\1\3
    --z60\1\4
    --cycle;
  proof_labels (
    60\0\0,
    60\0\1,
    60\0\2,
    60\0\3,
    60\0\4,
    60\0\5,
    60\0\6,
    60\0\7,
    60\0\8,
    60\1\0,
    60\1\1,
    60\1\2,
    60\1\3,
    60\1\4,
    60\1\5,
);
endchar;

beginchar (93, 17.826u#, 17.826u#, 0.000u#);
  "D29";
  z61\0\0s = (9.395u,10.849u);
  z61\0\0 = (5.781u,10.849u);
  z61\0\1c1 = (4.225u,11.028u);
  z61\0\1c2 = (2.407u,12.693u);
  z61\0\1 = (1.204u,10.849u);
  z61\0\2 = (3.613u,10.118u);
  z61\0\3 = (0.000u,10.359u);
  z61\0\4c1 = (1.009u,8.678u);
  z61\0\4c2 = (4.935u,9.649u);
  z61\0\4 = (6.745u,9.637u);
  z61\0\5c1 = (7.341u,9.632u);
  z61\0\5c2 = (8.569u,9.725u);
  z61\0\5 = (9.050u,9.390u);
  z61\0\6c1 = (10.051u,8.691u);
  z61\0\6c2 = (9.400u,6.088u);
  z61\0\6 = (8.637u,5.399u);
  z61\0\7c1 = (7.948u,4.776u);
  z61\0\7c2 = (5.748u,3.815u);
  z61\0\7 = (4.818u,3.477u);
  z61\0\8c1 = (4.293u,3.286u);
  z61\0\8c2 = (2.437u,2.914u);
  z61\0\8 = (2.208u,2.519u);
  z61\0\9c1 = (1.867u,1.932u);
  z61\0\9c2 = (2.695u,1.572u);
  z61\0\9 = (3.136u,1.509u);
  z61\0\10c1 = (4.409u,1.326u);
  z61\0\10c2 = (6.360u,1.699u);
  z61\0\10 = (7.709u,1.748u);
  z61\0\11c1 = (8.550u,1.779u);
  z61\0\11c2 = (10.816u,1.479u);
  z61\0\11 = (11.428u,1.932u);
  z61\0\12c1 = (13.446u,3.426u);
  z61\0\12c2 = (9.576u,9.817u);
  z61\0\12 = (13.512u,9.681u);
  z61\0\13c1 = (15.960u,9.597u);
  z61\0\13c2 = (17.820u,8.495u);
  z61\0\13 = (17.826u,11.563u);
  z61\0\14c1 = (17.828u,12.171u);
  z61\0\14c2 = (17.902u,14.172u);
  z61\0\14 = (17.682u,14.619u);
  z61\0\15c1 = (17.239u,15.523u);
  z61\0\15c2 = (15.561u,15.286u);
  z61\0\15 = (15.184u,14.419u);
  z61\0\16c1 = (14.848u,13.648u);
  z61\0\16c2 = (14.936u,11.961u);
  z61\0\16 = (14.936u,11.081u);
  z61\0\17 = (11.766u,11.081u);
  z61\0\18 = (11.766u,17.069u);
  z61\0\19c1 = (11.422u,18.104u);
  z61\0\19c2 = (9.535u,18.105u);
  z61\0\19 = (9.230u,17.069u);
  z61\1\0s = (10.840u,17.104u);
  z61\1\0c1 = (10.840u,15.723u);
  z61\1\0c2 = (11.403u,11.810u);
  z61\1\0 = (10.359u,11.081u);
  z61\1\1 = (10.118u,17.104u);
  z61\2\0s = (16.863u,14.213u);
  z61\2\0 = (16.863u,10.359u);
  z61\2\1c1 = (15.334u,10.927u);
  z61\2\1c2 = (15.396u,13.699u);
  z61\3\0s = (10.840u,9.636u);
  z61\3\0 = (11.081u,2.409u);
  z61\3\1 = (4.818u,2.409u);
  z61\3\2c1 = (8.901u,5.654u);
  z61\3\2c2 = (10.359u,2.758u);
  z61\3\2 = (10.359u,9.636u);
  fill_or_unfill z61\0\0s
    --z61\0\0
    ..controls z61\0\1c1 and z61\0\1c2..z61\0\1
    --z61\0\2
    --z61\0\3
    ..controls z61\0\4c1 and z61\0\4c2..z61\0\4
    ..controls z61\0\5c1 and z61\0\5c2..z61\0\5
    ..controls z61\0\6c1 and z61\0\6c2..z61\0\6
    ..controls z61\0\7c1 and z61\0\7c2..z61\0\7
    ..controls z61\0\8c1 and z61\0\8c2..z61\0\8
    ..controls z61\0\9c1 and z61\0\9c2..z61\0\9
    ..controls z61\0\10c1 and z61\0\10c2..z61\0\10
    ..controls z61\0\11c1 and z61\0\11c2..z61\0\11
    ..controls z61\0\12c1 and z61\0\12c2..z61\0\12
    ..controls z61\0\13c1 and z61\0\13c2..z61\0\13
    ..controls z61\0\14c1 and z61\0\14c2..z61\0\14
    ..controls z61\0\15c1 and z61\0\15c2..z61\0\15
    ..controls z61\0\16c1 and z61\0\16c2..z61\0\16
    --z61\0\17
    --z61\0\18
    ..controls z61\0\19c1 and z61\0\19c2..z61\0\19
    --cycle;
  fill_or_unfill z61\1\0s
    ..controls z61\1\0c1 and z61\1\0c2..z61\1\0
    --z61\1\1
    --cycle;
  fill_or_unfill z61\2\0s
    --z61\2\0
    ..controls z61\2\1c1 and z61\2\1c2..cycle;
  fill_or_unfill z61\3\0s
    --z61\3\0
    --z61\3\1
    ..controls z61\3\2c1 and z61\3\2c2..z61\3\2
    --cycle;
  proof_labels (
    61\0\0,
    61\0\1,
    61\0\2,
    61\0\3,
    61\0\4,
    61\0\5,
    61\0\6,
    61\0\7,
    61\0\8,
    61\0\9,
    61\0\10,
    61\0\11,
    61\0\12,
    61\0\13,
    61\0\14,
    61\0\15,
    61\0\16,
    61\0\17,
    61\0\18,
    61\0\19,
    61\0\20,
    61\1\0,
    61\1\1,
    61\1\2,
    61\2\0,
    61\2\1,
    61\3\0,
    61\3\1,
    61\3\2,
    61\3\3,
);
endchar;

beginchar (94, 12.527u#, 19.031u#, 0.000u#);
  "D30";
  z62\0\0s = (5.541u,17.345u);
  z62\0\0 = (4.818u,18.067u);
  z62\0\1c1 = (4.738u,15.769u);
  z62\0\1c2 = (4.025u,16.601u);
  z62\0\1 = (2.778u,15.426u);
  z62\0\2 = (1.106u,12.727u);
  z62\0\3c1 = (0.237u,10.521u);
  z62\0\3c2 = (0.533u,8.301u);
  z62\0\3 = (0.462u,6.022u);
  z62\0\4c1 = (0.440u,5.349u);
  z62\0\4c2 = (0.046u,4.786u);
  z62\0\4 = (0.087u,4.095u);
  z62\0\5c1 = (0.156u,2.935u);
  z62\0\5c2 = (0.338u,2.182u);
  z62\0\5 = (0.241u,0.963u);
  z62\0\6 = (1.204u,0.963u);
  z62\0\7 = (0.959u,4.336u);
  z62\0\8 = (1.317u,6.022u);
  z62\0\9 = (1.142u,7.468u);
  z62\0\10c1 = (1.121u,10.516u);
  z62\0\10c2 = (1.885u,14.196u);
  z62\0\10 = (4.818u,15.658u);
  z62\0\11 = (5.059u,14.454u);
  z62\0\12c1 = (6.391u,15.349u);
  z62\0\12c2 = (8.570u,15.151u);
  z62\0\12 = (8.686u,13.209u);
  z62\0\13c1 = (8.788u,11.498u);
  z62\0\13c2 = (9.338u,6.370u);
  z62\0\13 = (8.495u,5.068u);
  z62\0\14c1 = (7.315u,3.247u);
  z62\0\14c2 = (5.049u,2.566u);
  z62\0\14 = (3.132u,1.927u);
  z62\0\15 = (3.132u,1.445u);
  z62\0\16c1 = (3.550u,1.290u);
  z62\0\16c2 = (3.882u,1.164u);
  z62\0\16 = (4.336u,1.146u);
  z62\0\17 = (7.468u,1.444u);
  z62\0\18 = (10.345u,1.321u);
  z62\0\19c1 = (10.666u,1.375u);
  z62\0\19c2 = (10.891u,1.484u);
  z62\0\19 = (11.075u,1.763u);
  z62\0\20 = (10.840u,12.045u);
  z62\0\21c1 = (10.846u,14.759u);
  z62\0\21c2 = (11.521u,13.788u);
  z62\0\21 = (12.284u,15.662u);
  z62\0\22c1 = (12.657u,16.577u);
  z62\0\22c2 = (12.474u,17.714u);
  z62\0\22 = (11.676u,18.352u);
  z62\0\23c1 = (9.680u,19.948u);
  z62\0\23c2 = (7.428u,17.818u);
  z62\1\0s = (5.541u,15.899u);
  z62\1\0 = (5.541u,16.863u);
  z62\1\1c1 = (7.152u,17.033u);
  z62\1\1c2 = (8.490u,18.195u);
  z62\1\1 = (10.118u,18.040u);
  z62\1\2c1 = (12.140u,17.848u);
  z62\1\2c2 = (12.341u,15.582u);
  z62\1\2 = (10.595u,14.910u);
  z62\1\3c1 = (9.379u,14.442u);
  z62\1\3c2 = (6.989u,15.704u);
  z62\2\0s = (10.154u,13.972u);
  z62\2\0 = (10.154u,7.468u);
  z62\2\1 = (10.600u,1.927u);
  z62\2\2 = (6.263u,2.168u);
  z62\2\3 = (9.251u,5.059u);
  z62\2\4 = (9.395u,13.972u);
  fill_or_unfill z62\0\0s
    --z62\0\0
    ..controls z62\0\1c1 and z62\0\1c2..z62\0\1
    --z62\0\2
    ..controls z62\0\3c1 and z62\0\3c2..z62\0\3
    ..controls z62\0\4c1 and z62\0\4c2..z62\0\4
    ..controls z62\0\5c1 and z62\0\5c2..z62\0\5
    --z62\0\6
    --z62\0\7
    --z62\0\8
    --z62\0\9
    ..controls z62\0\10c1 and z62\0\10c2..z62\0\10
    --z62\0\11
    ..controls z62\0\12c1 and z62\0\12c2..z62\0\12
    ..controls z62\0\13c1 and z62\0\13c2..z62\0\13
    ..controls z62\0\14c1 and z62\0\14c2..z62\0\14
    --z62\0\15
    ..controls z62\0\16c1 and z62\0\16c2..z62\0\16
    --z62\0\17
    --z62\0\18
    ..controls z62\0\19c1 and z62\0\19c2..z62\0\19
    --z62\0\20
    ..controls z62\0\21c1 and z62\0\21c2..z62\0\21
    ..controls z62\0\22c1 and z62\0\22c2..z62\0\22
    ..controls z62\0\23c1 and z62\0\23c2..cycle;
  fill_or_unfill z62\1\0s
    --z62\1\0
    ..controls z62\1\1c1 and z62\1\1c2..z62\1\1
    ..controls z62\1\2c1 and z62\1\2c2..z62\1\2
    ..controls z62\1\3c1 and z62\1\3c2..cycle;
  fill_or_unfill z62\2\0s
    --z62\2\0
    --z62\2\1
    --z62\2\2
    --z62\2\3
    --z62\2\4
    --cycle;
  proof_labels (
    62\0\0,
    62\0\1,
    62\0\2,
    62\0\3,
    62\0\4,
    62\0\5,
    62\0\6,
    62\0\7,
    62\0\8,
    62\0\9,
    62\0\10,
    62\0\11,
    62\0\12,
    62\0\13,
    62\0\14,
    62\0\15,
    62\0\16,
    62\0\17,
    62\0\18,
    62\0\19,
    62\0\20,
    62\0\21,
    62\0\22,
    62\0\23,
    62\1\0,
    62\1\1,
    62\1\2,
    62\1\3,
    62\2\0,
    62\2\1,
    62\2\2,
    62\2\3,
    62\2\4,
    62\2\5,
);
endchar;

beginchar (95, 18.067u#, 15.899u#, 0.000u#);
  "D31";
  z63\0\0s = (1.927u,12.768u);
  z63\0\0c1 = (2.323u,11.138u);
  z63\0\0c2 = (2.669u,8.147u);
  z63\0\0 = (0.963u,7.227u);
  z63\0\1c1 = (0.981u,5.883u);
  z63\0\1c2 = (1.644u,4.203u);
  z63\0\1 = (3.352u,4.605u);
  z63\0\2 = (4.839u,5.264u);
  z63\0\3c1 = (5.436u,5.362u);
  z63\0\3c2 = (6.134u,5.300u);
  z63\0\3 = (6.745u,5.264u);
  z63\0\4 = (6.745u,4.577u);
  z63\0\5 = (9.880u,5.265u);
  z63\0\6 = (12.527u,4.623u);
  z63\0\7 = (15.417u,5.781u);
  z63\0\8c1 = (16.085u,1.047u);
  z63\0\8c2 = (18.289u,2.562u);
  z63\0\8 = (17.750u,4.577u);
  z63\0\9c1 = (17.031u,7.264u);
  z63\0\9c2 = (14.446u,6.623u);
  z63\0\9 = (13.777u,8.003u);
  z63\0\10c1 = (13.533u,8.505u);
  z63\0\10c2 = (13.506u,13.310u);
  z63\0\10 = (13.489u,14.213u);
  z63\0\11c1 = (13.474u,15.040u);
  z63\0\11c2 = (13.121u,16.490u);
  z63\0\11 = (11.943u,15.652u);
  z63\0\12c1 = (11.604u,15.411u);
  z63\0\12c2 = (11.463u,14.884u);
  z63\0\12 = (11.183u,14.562u);
  z63\0\13c1 = (10.697u,14.003u);
  z63\0\13c2 = (10.051u,13.779u);
  z63\0\13 = (9.785u,13.005u);
  z63\0\14c1 = (9.354u,11.754u);
  z63\0\14c2 = (10.421u,11.209u);
  z63\0\14 = (11.322u,12.527u);
  z63\0\15 = (11.563u,7.468u);
  z63\0\16c1 = (10.913u,7.459u);
  z63\0\16c2 = (9.734u,7.291u);
  z63\0\16 = (9.208u,7.699u);
  z63\0\17c1 = (8.507u,8.245u);
  z63\0\17c2 = (8.665u,13.101u);
  z63\0\17 = (8.703u,14.213u);
  z63\0\18c1 = (8.733u,15.109u);
  z63\0\18c2 = (8.312u,16.483u);
  z63\0\18 = (7.125u,15.653u);
  z63\0\19c1 = (6.789u,15.417u);
  z63\0\19c2 = (6.654u,14.912u);
  z63\0\19 = (6.365u,14.605u);
  z63\0\20c1 = (5.715u,13.913u);
  z63\0\20c2 = (4.530u,13.540u);
  z63\0\20 = (4.726u,12.318u);
  z63\0\21c1 = (4.958u,10.867u);
  z63\0\21c2 = (6.180u,12.211u);
  z63\0\21 = (6.553u,12.768u);
  z63\0\22c1 = (6.780u,11.849u);
  z63\0\22c2 = (6.976u,8.838u);
  z63\0\22 = (6.553u,7.994u);
  z63\0\23c1 = (6.178u,7.063u);
  z63\0\23c2 = (4.668u,7.017u);
  z63\0\23 = (4.239u,7.994u);
  z63\0\24c1 = (3.994u,8.536u);
  z63\0\24c2 = (3.890u,13.608u);
  z63\0\24 = (3.946u,14.453u);
  z63\0\25c1 = (4.173u,17.878u);
  z63\0\25c2 = (0.531u,13.978u);
  z63\0\25 = (0.182u,13.005u);
  z63\0\26c1 = (-0.508u,11.077u);
  z63\0\26c2 = (1.219u,11.911u);
  z63\1\0s = (3.132u,15.177u);
  z63\1\0 = (3.372u,7.468u);
  z63\1\1 = (2.650u,7.468u);
  z63\2\0s = (7.709u,15.177u);
  z63\2\0c1 = (8.491u,14.114u);
  z63\2\0c2 = (8.566u,8.203u);
  z63\2\0 = (7.468u,7.468u);
  z63\3\0s = (12.527u,15.177u);
  z63\3\0 = (13.009u,7.468u);
  z63\3\1 = (12.286u,7.468u);
  z63\4\0s = (6.022u,13.490u);
  z63\4\0 = (5.300u,12.527u);
  z63\5\0s = (11.081u,13.490u);
  z63\5\0 = (10.118u,12.527u);
  z63\6\0s = (1.086u,13.012u);
  z63\7\0s = (0.963u,12.768u);
  z63\8\0s = (14.213u,6.504u);
  z63\8\0c1 = (13.267u,5.807u);
  z63\8\0c2 = (3.278u,5.764u);
  z63\8\0 = (1.686u,6.022u);
  z63\8\1 = (1.686u,6.504u);
  z63\9\0s = (16.381u,5.541u);
  z63\9\0c1 = (17.014u,4.699u);
  z63\9\0c2 = (17.716u,3.888u);
  z63\9\0 = (16.622u,3.132u);
  fill_or_unfill z63\0\0s
    ..controls z63\0\0c1 and z63\0\0c2..z63\0\0
    ..controls z63\0\1c1 and z63\0\1c2..z63\0\1
    --z63\0\2
    ..controls z63\0\3c1 and z63\0\3c2..z63\0\3
    --z63\0\4
    --z63\0\5
    --z63\0\6
    --z63\0\7
    ..controls z63\0\8c1 and z63\0\8c2..z63\0\8
    ..controls z63\0\9c1 and z63\0\9c2..z63\0\9
    ..controls z63\0\10c1 and z63\0\10c2..z63\0\10
    ..controls z63\0\11c1 and z63\0\11c2..z63\0\11
    ..controls z63\0\12c1 and z63\0\12c2..z63\0\12
    ..controls z63\0\13c1 and z63\0\13c2..z63\0\13
    ..controls z63\0\14c1 and z63\0\14c2..z63\0\14
    --z63\0\15
    ..controls z63\0\16c1 and z63\0\16c2..z63\0\16
    ..controls z63\0\17c1 and z63\0\17c2..z63\0\17
    ..controls z63\0\18c1 and z63\0\18c2..z63\0\18
    ..controls z63\0\19c1 and z63\0\19c2..z63\0\19
    ..controls z63\0\20c1 and z63\0\20c2..z63\0\20
    ..controls z63\0\21c1 and z63\0\21c2..z63\0\21
    ..controls z63\0\22c1 and z63\0\22c2..z63\0\22
    ..controls z63\0\23c1 and z63\0\23c2..z63\0\23
    ..controls z63\0\24c1 and z63\0\24c2..z63\0\24
    ..controls z63\0\25c1 and z63\0\25c2..z63\0\25
    ..controls z63\0\26c1 and z63\0\26c2..cycle;
  fill_or_unfill z63\1\0s
    --z63\1\0
    --z63\1\1
    --cycle;
  fill_or_unfill z63\2\0s
    ..controls z63\2\0c1 and z63\2\0c2..z63\2\0
    --cycle;
  fill_or_unfill z63\3\0s
    --z63\3\0
    --z63\3\1
    --cycle;
  fill_or_unfill z63\4\0s
    --z63\4\0
    --cycle;
  fill_or_unfill z63\5\0s
    --z63\5\0
    --cycle;
  fill_or_unfill z63\6\0s
    --cycle;
  fill_or_unfill z63\7\0s
    --cycle;
  fill_or_unfill z63\8\0s
    ..controls z63\8\0c1 and z63\8\0c2..z63\8\0
    --z63\8\1
    --cycle;
  fill_or_unfill z63\9\0s
    ..controls z63\9\0c1 and z63\9\0c2..z63\9\0
    --cycle;
  proof_labels (
    63\0\0,
    63\0\1,
    63\0\2,
    63\0\3,
    63\0\4,
    63\0\5,
    63\0\6,
    63\0\7,
    63\0\8,
    63\0\9,
    63\0\10,
    63\0\11,
    63\0\12,
    63\0\13,
    63\0\14,
    63\0\15,
    63\0\16,
    63\0\17,
    63\0\18,
    63\0\19,
    63\0\20,
    63\0\21,
    63\0\22,
    63\0\23,
    63\0\24,
    63\0\25,
    63\0\26,
    63\1\0,
    63\1\1,
    63\1\2,
    63\2\0,
    63\2\1,
    63\3\0,
    63\3\1,
    63\3\2,
    63\4\0,
    63\4\1,
    63\5\0,
    63\5\1,
    63\6\0,
    63\7\0,
    63\8\0,
    63\8\1,
    63\8\2,
    63\9\0,
    63\9\1,
);
endchar;

beginchar (96, 16.863u#, 16.140u#, 0.000u#);
  "D32";
  z64\0\0s = (0.723u,7.468u);
  z64\0\0 = (0.000u,7.468u);
  z64\0\1c1 = (0.002u,6.915u);
  z64\0\1c2 = (-0.094u,5.925u);
  z64\0\1 = (0.385u,5.546u);
  z64\0\2c1 = (0.949u,5.100u);
  z64\0\2c2 = (10.585u,5.286u);
  z64\0\2 = (12.045u,5.263u);
  z64\0\3c1 = (12.496u,5.305u);
  z64\0\3c2 = (13.527u,5.411u);
  z64\0\3 = (13.897u,5.263u);
  z64\0\4c1 = (14.794u,4.777u);
  z64\0\4c2 = (14.565u,2.321u);
  z64\0\4 = (16.109u,2.653u);
  z64\0\5c1 = (17.142u,2.875u);
  z64\0\5c2 = (16.802u,4.402u);
  z64\0\5 = (16.485u,5.058u);
  z64\0\6c1 = (15.913u,6.241u);
  z64\0\6c2 = (13.807u,7.505u);
  z64\0\6 = (12.527u,7.709u);
  z64\0\7 = (12.527u,12.768u);
  z64\0\8c1 = (13.485u,11.707u);
  z64\0\8c2 = (15.304u,11.565u);
  z64\0\8 = (14.605u,13.249u);
  z64\0\9c1 = (14.181u,14.273u);
  z64\0\9c2 = (10.452u,18.144u);
  z64\0\9 = (10.569u,14.694u);
  z64\0\10c1 = (10.616u,13.317u);
  z64\0\10c2 = (11.136u,7.892u);
  z64\0\10 = (9.622u,7.548u);
  z64\0\11c1 = (7.089u,6.972u);
  z64\0\11c2 = (7.709u,11.093u);
  z64\0\11 = (7.709u,12.527u);
  z64\0\12c1 = (8.326u,12.092u);
  z64\0\12c2 = (9.831u,11.294u);
  z64\0\12 = (9.787u,12.781u);
  z64\0\13c1 = (9.755u,13.887u);
  z64\0\13c2 = (5.857u,18.466u);
  z64\0\13 = (5.783u,14.454u);
  z64\0\14c1 = (5.741u,12.204u);
  z64\0\14c2 = (6.071u,9.650u);
  z64\0\14 = (5.541u,7.490u);
  z64\0\15 = (3.859u,7.490u);
  z64\0\16c1 = (2.070u,7.741u);
  z64\0\16c2 = (2.650u,11.175u);
  z64\0\16 = (2.650u,12.544u);
  z64\0\17c1 = (3.165u,12.220u);
  z64\0\17c2 = (4.850u,11.270u);
  z64\0\17 = (4.917u,12.544u);
  z64\0\18c1 = (4.976u,13.703u);
  z64\0\18c2 = (3.665u,14.171u);
  z64\0\18 = (3.030u,14.846u);
  z64\0\19c1 = (2.740u,15.153u);
  z64\0\19c2 = (2.607u,15.657u);
  z64\0\19 = (2.270u,15.894u);
  z64\0\20c1 = (1.088u,16.723u);
  z64\0\20c2 = (0.739u,15.288u);
  z64\0\20 = (0.723u,14.454u);
  z64\1\0s = (1.927u,15.177u);
  z64\1\0 = (1.927u,7.709u);
  z64\1\1 = (1.445u,7.709u);
  z64\1\2 = (1.445u,15.177u);
  z64\2\0s = (6.986u,15.177u);
  z64\2\0 = (6.986u,7.709u);
  z64\2\1 = (6.504u,7.709u);
  z64\2\2 = (6.504u,15.177u);
  z64\3\0s = (11.563u,15.177u);
  z64\3\0 = (11.804u,7.709u);
  z64\3\1c1 = (11.024u,8.408u);
  z64\3\1c2 = (11.136u,14.101u);
  z64\4\0s = (3.613u,13.490u);
  z64\4\0 = (4.095u,12.768u);
  z64\5\0s = (8.672u,13.490u);
  z64\5\0 = (9.154u,12.768u);
  z64\6\0s = (13.490u,13.490u);
  z64\6\0 = (13.972u,12.527u);
  z64\7\0s = (13.009u,6.791u);
  z64\7\0 = (12.253u,6.157u);
  z64\7\1 = (9.877u,6.157u);
  z64\7\2 = (0.723u,6.022u);
  z64\7\3 = (2.169u,6.791u);
  z64\8\0s = (15.417u,5.541u);
  z64\8\0 = (16.140u,3.372u);
  z64\8\1c1 = (15.210u,3.931u);
  z64\8\1c2 = (15.030u,4.529u);
  fill_or_unfill z64\0\0s
    --z64\0\0
    ..controls z64\0\1c1 and z64\0\1c2..z64\0\1
    ..controls z64\0\2c1 and z64\0\2c2..z64\0\2
    ..controls z64\0\3c1 and z64\0\3c2..z64\0\3
    ..controls z64\0\4c1 and z64\0\4c2..z64\0\4
    ..controls z64\0\5c1 and z64\0\5c2..z64\0\5
    ..controls z64\0\6c1 and z64\0\6c2..z64\0\6
    --z64\0\7
    ..controls z64\0\8c1 and z64\0\8c2..z64\0\8
    ..controls z64\0\9c1 and z64\0\9c2..z64\0\9
    ..controls z64\0\10c1 and z64\0\10c2..z64\0\10
    ..controls z64\0\11c1 and z64\0\11c2..z64\0\11
    ..controls z64\0\12c1 and z64\0\12c2..z64\0\12
    ..controls z64\0\13c1 and z64\0\13c2..z64\0\13
    ..controls z64\0\14c1 and z64\0\14c2..z64\0\14
    --z64\0\15
    ..controls z64\0\16c1 and z64\0\16c2..z64\0\16
    ..controls z64\0\17c1 and z64\0\17c2..z64\0\17
    ..controls z64\0\18c1 and z64\0\18c2..z64\0\18
    ..controls z64\0\19c1 and z64\0\19c2..z64\0\19
    ..controls z64\0\20c1 and z64\0\20c2..z64\0\20
    --cycle;
  fill_or_unfill z64\1\0s
    --z64\1\0
    --z64\1\1
    --z64\1\2
    --cycle;
  fill_or_unfill z64\2\0s
    --z64\2\0
    --z64\2\1
    --z64\2\2
    --cycle;
  fill_or_unfill z64\3\0s
    --z64\3\0
    ..controls z64\3\1c1 and z64\3\1c2..cycle;
  fill_or_unfill z64\4\0s
    --z64\4\0
    --cycle;
  fill_or_unfill z64\5\0s
    --z64\5\0
    --cycle;
  fill_or_unfill z64\6\0s
    --z64\6\0
    --cycle;
  fill_or_unfill z64\7\0s
    --z64\7\0
    --z64\7\1
    --z64\7\2
    --z64\7\3
    --cycle;
  fill_or_unfill z64\8\0s
    --z64\8\0
    ..controls z64\8\1c1 and z64\8\1c2..cycle;
  proof_labels (
    64\0\0,
    64\0\1,
    64\0\2,
    64\0\3,
    64\0\4,
    64\0\5,
    64\0\6,
    64\0\7,
    64\0\8,
    64\0\9,
    64\0\10,
    64\0\11,
    64\0\12,
    64\0\13,
    64\0\14,
    64\0\15,
    64\0\16,
    64\0\17,
    64\0\18,
    64\0\19,
    64\0\20,
    64\0\21,
    64\1\0,
    64\1\1,
    64\1\2,
    64\1\3,
    64\2\0,
    64\2\1,
    64\2\2,
    64\2\3,
    64\3\0,
    64\3\1,
    64\4\0,
    64\4\1,
    64\5\0,
    64\5\1,
    64\6\0,
    64\6\1,
    64\7\0,
    64\7\1,
    64\7\2,
    64\7\3,
    64\7\4,
    64\8\0,
    64\8\1,
);
endchar;

beginchar (97, 15.658u#, 17.826u#, 0.000u#);
  "D33";
  z65\0\0s = (3.657u,14.936u);
  z65\0\0 = (3.657u,7.503u);
  z65\0\1 = (2.409u,6.745u);
  z65\0\2 = (2.409u,6.022u);
  z65\0\3 = (13.249u,6.022u);
  z65\0\4c1 = (13.263u,1.504u);
  z65\0\4c2 = (15.994u,2.513u);
  z65\0\4 = (15.497u,4.336u);
  z65\0\5c1 = (14.917u,6.465u);
  z65\0\5c2 = (12.856u,6.630u);
  z65\0\5 = (12.291u,7.534u);
  z65\0\6c1 = (11.844u,8.249u);
  z65\0\6c2 = (12.047u,14.161u);
  z65\0\6 = (12.045u,15.417u);
  z65\0\7c1 = (12.044u,15.956u);
  z65\0\7c2 = (12.106u,17.018u);
  z65\0\7 = (11.762u,17.447u);
  z65\0\8c1 = (11.283u,18.043u);
  z65\0\8c2 = (8.156u,17.543u);
  z65\0\8 = (7.714u,16.963u);
  z65\0\9c1 = (7.390u,16.538u);
  z65\0\9c2 = (7.468u,15.467u);
  z65\0\9 = (7.468u,14.936u);
  z65\0\10c1 = (8.442u,15.236u);
  z65\0\10c2 = (10.095u,15.650u);
  z65\0\10 = (10.937u,14.793u);
  z65\0\11c1 = (11.606u,14.111u);
  z65\0\11c2 = (11.322u,8.262u);
  z65\0\11 = (11.322u,6.986u);
  z65\0\12 = (4.577u,6.986u);
  z65\0\13 = (4.337u,12.286u);
  z65\0\14 = (4.095u,17.826u);
  z65\0\15c1 = (3.193u,17.662u);
  z65\0\15c2 = (0.324u,17.527u);
  z65\0\15 = (0.075u,16.571u);
  z65\0\16c1 = (-0.367u,14.877u);
  z65\0\16c2 = (2.556u,15.075u);
  z65\1\0s = (11.081u,17.104u);
  z65\1\0 = (11.322u,15.899u);
  z65\1\1 = (8.191u,16.140u);
  z65\2\0s = (3.613u,16.863u);
  z65\2\0c1 = (3.327u,15.239u);
  z65\2\0c2 = (1.941u,15.783u);
  z65\2\0 = (0.723u,16.140u);
  z65\3\0s = (14.213u,5.059u);
  z65\3\0 = (14.936u,3.613u);
  fill_or_unfill z65\0\0s
    --z65\0\0
    --z65\0\1
    --z65\0\2
    --z65\0\3
    ..controls z65\0\4c1 and z65\0\4c2..z65\0\4
    ..controls z65\0\5c1 and z65\0\5c2..z65\0\5
    ..controls z65\0\6c1 and z65\0\6c2..z65\0\6
    ..controls z65\0\7c1 and z65\0\7c2..z65\0\7
    ..controls z65\0\8c1 and z65\0\8c2..z65\0\8
    ..controls z65\0\9c1 and z65\0\9c2..z65\0\9
    ..controls z65\0\10c1 and z65\0\10c2..z65\0\10
    ..controls z65\0\11c1 and z65\0\11c2..z65\0\11
    --z65\0\12
    --z65\0\13
    --z65\0\14
    ..controls z65\0\15c1 and z65\0\15c2..z65\0\15
    ..controls z65\0\16c1 and z65\0\16c2..cycle;
  fill_or_unfill z65\1\0s
    --z65\1\0
    --z65\1\1
    --cycle;
  fill_or_unfill z65\2\0s
    ..controls z65\2\0c1 and z65\2\0c2..z65\2\0
    --cycle;
  fill_or_unfill z65\3\0s
    --z65\3\0
    --cycle;
  proof_labels (
    65\0\0,
    65\0\1,
    65\0\2,
    65\0\3,
    65\0\4,
    65\0\5,
    65\0\6,
    65\0\7,
    65\0\8,
    65\0\9,
    65\0\10,
    65\0\11,
    65\0\12,
    65\0\13,
    65\0\14,
    65\0\15,
    65\0\16,
    65\1\0,
    65\1\1,
    65\1\2,
    65\2\0,
    65\2\1,
    65\3\0,
    65\3\1,
);
endchar;