beginchar (32, 9.395u#, 17.104u#, 0.000u#);
  "W1";
  z32\0\0s = (1.204u,17.104u);
  z32\0\0 = (2.650u,15.177u);
  z32\0\1 = (0.000u,14.936u);
  z32\0\2 = (0.000u,14.454u);
  z32\0\3 = (1.082u,13.459u);
  z32\0\4 = (2.650u,4.336u);
  z32\0\5 = (2.409u,0.241u);
  z32\0\6 = (5.540u,0.241u);
  z32\0\7 = (7.062u,0.798u);
  z32\0\8 = (6.767u,3.613u);
  z32\0\9 = (8.431u,14.213u);
  z32\0\10 = (9.395u,15.177u);
  z32\0\11 = (6.745u,15.177u);
  z32\0\12 = (8.191u,17.104u);
  z32\0\13 = (6.022u,16.299u);
  z32\0\14 = (3.132u,16.299u);
  z32\1\0s = (5.541u,15.417u);
  z32\1\0 = (4.095u,15.177u);
  z32\2\0s = (7.709u,14.213u);
  z32\2\0c1 = (7.627u,13.637u);
  z32\2\0c2 = (7.336u,11.868u);
  z32\2\0 = (6.990u,11.463u);
  z32\2\1c1 = (6.501u,10.900u);
  z32\2\1c2 = (2.922u,10.875u);
  z32\2\1 = (2.450u,11.463u);
  z32\2\2c1 = (2.080u,11.920u);
  z32\2\2c2 = (1.955u,13.597u);
  z32\2\2 = (1.927u,14.213u);
  z32\3\0s = (6.986u,10.359u);
  z32\3\0 = (6.044u,4.577u);
  z32\3\1 = (6.263u,0.963u);
  z32\3\2 = (3.372u,0.963u);
  z32\3\3 = (3.592u,4.095u);
  z32\3\4 = (2.650u,10.359u);
  fill_or_unfill z32\0\0s
    --z32\0\0
    --z32\0\1
    --z32\0\2
    --z32\0\3
    --z32\0\4
    --z32\0\5
    --z32\0\6
    --z32\0\7
    --z32\0\8
    --z32\0\9
    --z32\0\10
    --z32\0\11
    --z32\0\12
    --z32\0\13
    --z32\0\14
    --cycle;
  fill_or_unfill z32\1\0s
    --z32\1\0
    --cycle;
  fill_or_unfill z32\2\0s
    ..controls z32\2\0c1 and z32\2\0c2..z32\2\0
    ..controls z32\2\1c1 and z32\2\1c2..z32\2\1
    ..controls z32\2\2c1 and z32\2\2c2..z32\2\2
    --cycle;
  fill_or_unfill z32\3\0s
    --z32\3\0
    --z32\3\1
    --z32\3\2
    --z32\3\3
    --z32\3\4
    --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\1\0,
    32\1\1,
    32\2\0,
    32\2\1,
    32\2\2,
    32\2\3,
    32\3\0,
    32\3\1,
    32\3\2,
    32\3\3,
    32\3\4,
    32\3\5,
);
endchar;

beginchar (33, 10.359u#, 17.586u#, 0.000u#);
  "W2";
  z33\0\0s = (2.154u,0.482u);
  z33\0\0c1 = (3.482u,0.108u);
  z33\0\0c2 = (4.905u,0.232u);
  z33\0\0 = (6.263u,0.241u);
  z33\0\1c1 = (7.253u,0.248u);
  z33\0\1c2 = (8.194u,0.132u);
  z33\0\1 = (7.997u,1.450u);
  z33\0\2 = (7.477u,4.577u);
  z33\0\3c1 = (7.405u,6.281u);
  z33\0\3c2 = (8.299u,13.395u);
  z33\0\3 = (9.187u,14.619u);
  z33\0\4c1 = (9.518u,15.076u);
  z33\0\4c2 = (9.850u,15.089u);
  z33\0\4 = (10.359u,15.177u);
  z33\0\5c1 = (9.788u,16.806u);
  z33\0\5c2 = (8.491u,15.784u);
  z33\0\5 = (7.277u,16.283u);
  z33\0\6c1 = (6.577u,16.572u);
  z33\0\6c2 = (6.390u,17.281u);
  z33\0\6 = (5.530u,17.472u);
  z33\0\7c1 = (4.347u,17.734u);
  z33\0\7c2 = (3.952u,16.829u);
  z33\0\7 = (3.091u,16.383u);
  z33\0\8c1 = (2.514u,16.084u);
  z33\0\8c2 = (-0.273u,16.361u);
  z33\0\8 = (0.280u,15.293u);
  z33\0\9c1 = (0.492u,14.884u);
  z33\0\9c2 = (1.053u,14.844u);
  z33\0\9 = (1.448u,13.959u);
  z33\0\10c1 = (1.842u,13.071u);
  z33\0\10c2 = (1.932u,12.024u);
  z33\0\10 = (2.154u,11.081u);
  z33\0\11c1 = (2.988u,7.228u);
  z33\0\11c2 = (3.032u,4.306u);
  z33\1\0s = (6.022u,16.140u);
  z33\1\0 = (4.336u,16.140u);
  z33\1\1c1 = (4.905u,16.987u);
  z33\1\1c2 = (5.454u,16.987u);
  z33\2\0s = (4.818u,15.177u);
  z33\2\0 = (4.818u,13.490u);
  z33\2\1c1 = (3.098u,13.491u);
  z33\2\1c2 = (2.240u,13.119u);
  z33\2\1 = (2.168u,15.177u);
  z33\3\0s = (8.191u,15.177u);
  z33\3\0c1 = (8.118u,13.119u);
  z33\3\0c2 = (7.261u,13.491u);
  z33\3\0 = (5.541u,13.490u);
  z33\3\1 = (5.541u,15.177u);
  z33\4\0s = (7.709u,12.768u);
  z33\4\0 = (6.746u,5.059u);
  z33\4\1 = (7.227u,0.963u);
  z33\4\2 = (3.132u,0.963u);
  z33\4\3c1 = (3.956u,5.063u);
  z33\4\3c2 = (3.476u,8.745u);
  z33\4\3 = (2.409u,12.768u);
  fill_or_unfill z33\0\0s
    ..controls z33\0\0c1 and z33\0\0c2..z33\0\0
    ..controls z33\0\1c1 and z33\0\1c2..z33\0\1
    --z33\0\2
    ..controls z33\0\3c1 and z33\0\3c2..z33\0\3
    ..controls z33\0\4c1 and z33\0\4c2..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..cycle;
  fill_or_unfill z33\1\0s
    --z33\1\0
    ..controls z33\1\1c1 and z33\1\1c2..cycle;
  fill_or_unfill z33\2\0s
    --z33\2\0
    ..controls z33\2\1c1 and z33\2\1c2..z33\2\1
    --cycle;
  fill_or_unfill z33\3\0s
    ..controls z33\3\0c1 and z33\3\0c2..z33\3\0
    --z33\3\1
    --cycle;
  fill_or_unfill z33\4\0s
    --z33\4\0
    --z33\4\1
    --z33\4\2
    ..controls z33\4\3c1 and z33\4\3c2..z33\4\3
    --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\1\0,
    33\1\1,
    33\2\0,
    33\2\1,
    33\2\2,
    33\3\0,
    33\3\1,
    33\3\2,
    33\4\0,
    33\4\1,
    33\4\2,
    33\4\3,
    33\4\4,
);
endchar;

beginchar (34, 17.104u#, 7.709u#, 0.000u#);
  "W3";
  z34\0\0s = (0.000u,7.709u);
  z34\0\0c1 = (0.680u,0.232u);
  z34\0\0c2 = (11.534u,-1.503u);
  z34\0\0 = (15.716u,4.095u);
  z34\0\1c1 = (16.683u,5.389u);
  z34\0\1c2 = (17.063u,6.089u);
  z34\0\1 = (17.104u,7.709u);
  z34\1\0s = (8.191u,6.986u);
  z34\1\0 = (7.001u,4.577u);
  z34\1\1 = (7.950u,1.204u);
  z34\1\2c1 = (5.016u,1.984u);
  z34\1\2c2 = (1.173u,3.420u);
  z34\1\2 = (0.963u,6.986u);
  z34\2\0s = (16.381u,6.986u);
  z34\2\0c1 = (15.754u,3.697u);
  z34\2\0c2 = (12.649u,2.013u);
  z34\2\0 = (9.636u,1.445u);
  z34\2\1 = (10.493u,5.059u);
  z34\2\2 = (9.395u,6.986u);
  z34\3\0s = (9.154u,2.168u);
  z34\3\0c1 = (6.786u,3.314u);
  z34\3\0c2 = (7.275u,4.348u);
  z34\3\0 = (8.191u,6.263u);
  z34\3\1c1 = (10.641u,5.527u);
  z34\3\1c2 = (10.136u,3.903u);
  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
    --cycle;
  fill_or_unfill z34\1\0s
    --z34\1\0
    --z34\1\1
    ..controls z34\1\2c1 and z34\1\2c2..z34\1\2
    --cycle;
  fill_or_unfill z34\2\0s
    ..controls z34\2\0c1 and z34\2\0c2..z34\2\0
    --z34\2\1
    --z34\2\2
    --cycle;
  fill_or_unfill z34\3\0s
    ..controls z34\3\0c1 and z34\3\0c2..z34\3\0
    ..controls z34\3\1c1 and z34\3\1c2..cycle;
  proof_labels (
    34\0\0,
    34\0\1,
    34\0\2,
    34\1\0,
    34\1\1,
    34\1\2,
    34\1\3,
    34\2\0,
    34\2\1,
    34\2\2,
    34\2\3,
    34\3\0,
    34\3\1,
);
endchar;

beginchar (35, 16.622u#, 18.308u#, 0.000u#);
  "W4";
  z35\0\0s = (6.022u,18.206u);
  z35\0\0c1 = (4.786u,18.018u);
  z35\0\0c2 = (0.903u,17.065u);
  z35\0\0 = (0.246u,16.046u);
  z35\0\1c1 = (-0.056u,15.577u);
  z35\0\1c2 = (0.001u,14.758u);
  z35\0\1 = (0.000u,14.213u);
  z35\0\2 = (0.000u,7.227u);
  z35\0\3c1 = (0.061u,3.680u);
  z35\0\3c2 = (4.623u,1.761u);
  z35\0\3 = (7.709u,1.690u);
  z35\0\4c1 = (11.426u,1.604u);
  z35\0\4c2 = (16.615u,3.699u);
  z35\0\4 = (16.622u,7.950u);
  z35\0\5 = (16.622u,14.213u);
  z35\0\6c1 = (16.621u,14.739u);
  z35\0\6c2 = (16.680u,15.577u);
  z35\0\6 = (16.376u,16.021u);
  z35\0\7c1 = (14.945u,18.108u);
  z35\0\7c2 = (8.359u,18.491u);
  z35\1\0s = (9.154u,17.345u);
  z35\1\0 = (8.672u,16.140u);
  z35\1\1 = (7.468u,17.345u);
  z35\2\0s = (5.541u,17.345u);
  z35\2\0 = (7.462u,15.624u);
  z35\2\1 = (7.709u,6.504u);
  z35\2\2 = (0.963u,6.504u);
  z35\2\3 = (1.349u,15.732u);
  z35\3\0s = (8.672u,6.504u);
  z35\3\0 = (8.989u,15.627u);
  z35\3\1 = (10.840u,17.345u);
  z35\3\2 = (15.273u,15.732u);
  z35\3\3 = (15.657u,8.191u);
  z35\3\4 = (15.273u,6.750u);
  z35\4\0s = (7.468u,5.541u);
  z35\4\0c1 = (6.542u,3.814u);
  z35\4\0c2 = (6.788u,4.189u);
  z35\4\0 = (7.227u,2.409u);
  z35\4\1c1 = (4.923u,2.844u);
  z35\4\1c2 = (2.884u,3.581u);
  z35\4\1 = (1.445u,5.541u);
  z35\5\0s = (14.936u,5.541u);
  z35\5\0c1 = (13.557u,3.708u);
  z35\5\0c2 = (11.380u,2.753u);
  z35\5\0 = (9.154u,2.409u);
  z35\5\1c1 = (9.787u,3.887u);
  z35\5\1c2 = (10.318u,4.080u);
  z35\5\1 = (8.913u,5.300u);
  z35\6\0s = (9.395u,4.095u);
  z35\6\0c1 = (8.077u,2.425u);
  z35\6\0c2 = (6.978u,3.249u);
  z35\6\0 = (7.950u,5.059u);
  fill_or_unfill z35\0\0s
    ..controls z35\0\0c1 and z35\0\0c2..z35\0\0
    ..controls z35\0\1c1 and z35\0\1c2..z35\0\1
    --z35\0\2
    ..controls z35\0\3c1 and z35\0\3c2..z35\0\3
    ..controls z35\0\4c1 and z35\0\4c2..z35\0\4
    --z35\0\5
    ..controls z35\0\6c1 and z35\0\6c2..z35\0\6
    ..controls z35\0\7c1 and z35\0\7c2..cycle;
  fill_or_unfill z35\1\0s
    --z35\1\0
    --z35\1\1
    --cycle;
  fill_or_unfill z35\2\0s
    --z35\2\0
    --z35\2\1
    --z35\2\2
    --z35\2\3
    --cycle;
  fill_or_unfill z35\3\0s
    --z35\3\0
    --z35\3\1
    --z35\3\2
    --z35\3\3
    --z35\3\4
    --cycle;
  fill_or_unfill z35\4\0s
    ..controls z35\4\0c1 and z35\4\0c2..z35\4\0
    ..controls z35\4\1c1 and z35\4\1c2..z35\4\1
    --cycle;
  fill_or_unfill z35\5\0s
    ..controls z35\5\0c1 and z35\5\0c2..z35\5\0
    ..controls z35\5\1c1 and z35\5\1c2..z35\5\1
    --cycle;
  fill_or_unfill z35\6\0s
    ..controls z35\6\0c1 and z35\6\0c2..z35\6\0
    --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\1\0,
    35\1\1,
    35\1\2,
    35\2\0,
    35\2\1,
    35\2\2,
    35\2\3,
    35\2\4,
    35\3\0,
    35\3\1,
    35\3\2,
    35\3\3,
    35\3\4,
    35\3\5,
    35\4\0,
    35\4\1,
    35\4\2,
    35\5\0,
    35\5\1,
    35\5\2,
    35\6\0,
    35\6\1,
);
endchar;

beginchar (36, 17.104u#, 17.345u#, 0.000u#);
  "W5";
  z36\0\0s = (3.613u,8.672u);
  z36\0\0 = (0.000u,8.672u);
  z36\0\1c1 = (0.089u,7.138u);
  z36\0\1c2 = (0.720u,6.193u);
  z36\0\1 = (1.730u,5.061u);
  z36\0\2c1 = (5.300u,1.053u);
  z36\0\2c2 = (11.790u,1.193u);
  z36\0\2 = (15.393u,5.061u);
  z36\0\3c1 = (16.441u,6.189u);
  z36\0\3c2 = (17.051u,7.119u);
  z36\0\3 = (17.104u,8.672u);
  z36\0\4 = (13.731u,8.672u);
  z36\0\5 = (11.440u,17.098u);
  z36\0\6 = (7.227u,17.344u);
  z36\0\7 = (5.715u,17.105u);
  z36\1\0s = (10.359u,16.622u);
  z36\1\0 = (9.066u,14.695u);
  z36\1\1 = (10.118u,8.672u);
  z36\1\2 = (6.986u,8.672u);
  z36\1\3 = (8.092u,14.454u);
  z36\1\4 = (6.986u,16.622u);
  z36\2\0s = (6.263u,16.140u);
  z36\2\0 = (7.324u,14.454u);
  z36\2\1 = (6.087u,8.911u);
  z36\2\2 = (4.336u,8.672u);
  z36\3\0s = (11.081u,16.140u);
  z36\3\0 = (13.009u,8.672u);
  z36\3\1 = (10.840u,8.672u);
  z36\3\2c1 = (10.463u,11.353u);
  z36\3\2c2 = (8.533u,14.126u);
  z36\4\0s = (7.468u,7.468u);
  z36\4\0c1 = (5.927u,4.448u);
  z36\4\0c2 = (6.514u,5.710u);
  z36\4\0 = (7.709u,2.891u);
  z36\4\1c1 = (4.622u,3.150u);
  z36\4\1c2 = (2.339u,4.665u);
  z36\4\1 = (0.963u,7.468u);
  z36\5\0s = (8.913u,7.468u);
  z36\5\0c1 = (10.389u,5.057u);
  z36\5\0c2 = (10.273u,5.513u);
  z36\5\0 = (8.913u,3.132u);
  z36\5\1 = (8.431u,3.132u);
  z36\5\2c1 = (7.173u,4.911u);
  z36\5\2c2 = (6.448u,6.187u);
  z36\6\0s = (16.140u,7.468u);
  z36\6\0c1 = (14.573u,4.741u);
  z36\6\0c2 = (12.769u,3.375u);
  z36\6\0 = (9.636u,2.891u);
  z36\6\1c1 = (10.797u,5.925u);
  z36\6\1c2 = (11.096u,4.268u);
  z36\6\1 = (9.877u,7.468u);
  fill_or_unfill z36\0\0s
    --z36\0\0
    ..controls z36\0\1c1 and z36\0\1c2..z36\0\1
    ..controls z36\0\2c1 and z36\0\2c2..z36\0\2
    ..controls z36\0\3c1 and z36\0\3c2..z36\0\3
    --z36\0\4
    --z36\0\5
    --z36\0\6
    --z36\0\7
    --cycle;
  fill_or_unfill z36\1\0s
    --z36\1\0
    --z36\1\1
    --z36\1\2
    --z36\1\3
    --z36\1\4
    --cycle;
  fill_or_unfill z36\2\0s
    --z36\2\0
    --z36\2\1
    --z36\2\2
    --cycle;
  fill_or_unfill z36\3\0s
    --z36\3\0
    --z36\3\1
    ..controls z36\3\2c1 and z36\3\2c2..cycle;
  fill_or_unfill z36\4\0s
    ..controls z36\4\0c1 and z36\4\0c2..z36\4\0
    ..controls z36\4\1c1 and z36\4\1c2..z36\4\1
    --cycle;
  fill_or_unfill z36\5\0s
    ..controls z36\5\0c1 and z36\5\0c2..z36\5\0
    --z36\5\1
    ..controls z36\5\2c1 and z36\5\2c2..cycle;
  fill_or_unfill z36\6\0s
    ..controls z36\6\0c1 and z36\6\0c2..z36\6\0
    ..controls z36\6\1c1 and z36\6\1c2..z36\6\1
    --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\1\0,
    36\1\1,
    36\1\2,
    36\1\3,
    36\1\4,
    36\1\5,
    36\2\0,
    36\2\1,
    36\2\2,
    36\2\3,
    36\3\0,
    36\3\1,
    36\3\2,
    36\4\0,
    36\4\1,
    36\4\2,
    36\5\0,
    36\5\1,
    36\5\2,
    36\6\0,
    36\6\1,
    36\6\2,
);
endchar;

beginchar (37, 10.118u#, 7.468u#, 0.000u#);
  "W6";
  z37\0\0s = (1.927u,7.468u);
  z37\0\0c1 = (1.616u,5.607u);
  z37\0\0c2 = (0.209u,6.121u);
  z37\0\0 = (0.179u,5.042u);
  z37\0\1c1 = (0.160u,4.364u);
  z37\0\1c2 = (1.140u,3.655u);
  z37\0\1 = (1.533u,3.122u);
  z37\0\2c1 = (1.917u,2.603u);
  z37\0\2c2 = (2.288u,1.539u);
  z37\0\2 = (2.769u,1.210u);
  z37\0\3c1 = (3.316u,0.835u);
  z37\0\3c2 = (6.801u,0.835u);
  z37\0\3 = (7.349u,1.210u);
  z37\0\4c1 = (7.813u,1.528u);
  z37\0\4c2 = (8.230u,2.601u);
  z37\0\4 = (8.620u,3.107u);
  z37\0\5c1 = (9.457u,4.192u);
  z37\0\5c2 = (11.434u,5.777u);
  z37\0\5 = (8.431u,6.022u);
  z37\0\6 = (8.046u,7.222u);
  z37\1\0s = (7.227u,1.686u);
  z37\1\0c1 = (4.663u,1.686u);
  z37\1\0c2 = (3.045u,0.995u);
  z37\1\0 = (1.945u,3.854u);
  z37\1\1c1 = (1.731u,4.411u);
  z37\1\1c2 = (1.665u,4.971u);
  z37\1\1 = (2.072u,5.465u);
  z37\1\2c1 = (2.813u,6.364u);
  z37\1\2c2 = (7.836u,6.416u);
  z37\1\2 = (8.265u,5.045u);
  z37\1\3c1 = (8.561u,4.100u);
  z37\1\3c2 = (7.521u,2.619u);
  fill_or_unfill z37\0\0s
    ..controls z37\0\0c1 and z37\0\0c2..z37\0\0
    ..controls z37\0\1c1 and z37\0\1c2..z37\0\1
    ..controls z37\0\2c1 and z37\0\2c2..z37\0\2
    ..controls z37\0\3c1 and z37\0\3c2..z37\0\3
    ..controls z37\0\4c1 and z37\0\4c2..z37\0\4
    ..controls z37\0\5c1 and z37\0\5c2..z37\0\5
    --z37\0\6
    --cycle;
  fill_or_unfill z37\1\0s
    ..controls z37\1\0c1 and z37\1\0c2..z37\1\0
    ..controls z37\1\1c1 and z37\1\1c2..z37\1\1
    ..controls z37\1\2c1 and z37\1\2c2..z37\1\2
    ..controls z37\1\3c1 and z37\1\3c2..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\1\0,
    37\1\1,
    37\1\2,
    37\1\3,
);
endchar;

beginchar (38, 11.804u#, 10.840u#, 0.000u#);
  "W7";
  z38\0\0s = (0.000u,7.227u);
  z38\0\0 = (1.469u,5.707u);
  z38\0\1 = (3.854u,2.409u);
  z38\0\2 = (3.132u,1.686u);
  z38\0\3c1 = (4.272u,0.561u);
  z38\0\3c2 = (7.552u,0.728u);
  z38\0\3 = (8.913u,1.445u);
  z38\0\4c1 = (8.210u,3.196u);
  z38\0\4c2 = (10.097u,5.757u);
  z38\0\4 = (11.804u,6.263u);
  z38\0\5 = (11.804u,7.227u);
  z38\0\6c1 = (8.482u,8.838u);
  z38\0\6c2 = (11.490u,10.783u);
  z38\0\6 = (8.431u,10.839u);
  z38\0\7c1 = (7.594u,10.855u);
  z38\0\7c2 = (3.201u,10.938u);
  z38\0\7 = (2.729u,10.696u);
  z38\0\8c1 = (1.685u,10.162u);
  z38\0\8c2 = (3.437u,8.343u);
  z38\1\0s = (3.879u,9.492u);
  z38\1\0c1 = (8.213u,10.455u);
  z38\1\0c2 = (12.100u,8.860u);
  z38\1\0 = (8.694u,4.095u);
  z38\1\1c1 = (8.260u,3.487u);
  z38\1\1c2 = (7.677u,2.595u);
  z38\1\1 = (6.965u,2.312u);
  z38\1\2c1 = (4.239u,1.231u);
  z38\1\2c2 = (-0.211u,6.983u);
  fill_or_unfill z38\0\0s
    --z38\0\0
    --z38\0\1
    --z38\0\2
    ..controls z38\0\3c1 and z38\0\3c2..z38\0\3
    ..controls z38\0\4c1 and z38\0\4c2..z38\0\4
    --z38\0\5
    ..controls z38\0\6c1 and z38\0\6c2..z38\0\6
    ..controls z38\0\7c1 and z38\0\7c2..z38\0\7
    ..controls z38\0\8c1 and z38\0\8c2..cycle;
  fill_or_unfill z38\1\0s
    ..controls z38\1\0c1 and z38\1\0c2..z38\1\0
    ..controls z38\1\1c1 and z38\1\1c2..z38\1\1
    ..controls z38\1\2c1 and z38\1\2c2..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,
);
endchar;

beginchar (39, 17.345u#, 6.745u#, 0.000u#);
  "W8";
  z39\0\0s = (0.241u,6.263u);
  z39\0\0c1 = (-0.014u,5.367u);
  z39\0\0c2 = (-0.016u,4.541u);
  z39\0\0 = (0.001u,3.614u);
  z39\0\1c1 = (0.055u,0.684u);
  z39\0\1c2 = (2.508u,2.750u);
  z39\0\1 = (4.336u,2.671u);
  z39\0\2c1 = (5.479u,2.621u);
  z39\0\2c2 = (6.542u,1.540u);
  z39\0\2 = (8.191u,1.456u);
  z39\0\3c1 = (9.175u,1.405u);
  z39\0\3c2 = (10.404u,1.558u);
  z39\0\3 = (11.322u,1.922u);
  z39\0\4c1 = (11.888u,2.146u);
  z39\0\4c2 = (12.405u,2.537u);
  z39\0\4 = (13.009u,2.654u);
  z39\0\5c1 = (13.935u,2.834u);
  z39\0\5c2 = (16.107u,2.152u);
  z39\0\5 = (17.104u,1.927u);
  z39\0\6 = (17.345u,6.263u);
  z39\0\7 = (13.009u,5.463u);
  z39\0\8 = (8.672u,6.742u);
  z39\0\9 = (4.577u,5.441u);
  z39\1\0s = (16.622u,5.300u);
  z39\1\0 = (16.622u,3.132u);
  z39\1\1 = (13.009u,3.551u);
  z39\1\2 = (9.154u,2.295u);
  z39\1\3 = (4.577u,3.558u);
  z39\1\4 = (0.963u,2.891u);
  z39\1\5 = (0.963u,5.300u);
  z39\1\6c1 = (6.930u,3.956u);
  z39\1\6c2 = (4.281u,5.629u);
  z39\1\6 = (8.431u,5.978u);
  z39\1\7c1 = (10.513u,6.152u);
  z39\1\7c2 = (11.180u,4.937u);
  z39\1\7 = (12.768u,4.658u);
  z39\1\8c1 = (13.960u,4.449u);
  z39\1\8c2 = (15.373u,5.231u);
  fill_or_unfill z39\0\0s
    ..controls z39\0\0c1 and z39\0\0c2..z39\0\0
    ..controls z39\0\1c1 and z39\0\1c2..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
    --z39\0\6
    --z39\0\7
    --z39\0\8
    --z39\0\9
    --cycle;
  fill_or_unfill z39\1\0s
    --z39\1\0
    --z39\1\1
    --z39\1\2
    --z39\1\3
    --z39\1\4
    --z39\1\5
    ..controls z39\1\6c1 and z39\1\6c2..z39\1\6
    ..controls z39\1\7c1 and z39\1\7c2..z39\1\7
    ..controls z39\1\8c1 and z39\1\8c2..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\0\8,
    39\0\9,
    39\0\10,
    39\1\0,
    39\1\1,
    39\1\2,
    39\1\3,
    39\1\4,
    39\1\5,
    39\1\6,
    39\1\7,
    39\1\8,
);
endchar;

beginchar (40, 7.468u#, 12.527u#, 0.000u#);
  "W9";
  z40\0\0s = (5.059u,8.672u);
  z40\0\0 = (6.263u,12.526u);
  z40\0\1 = (2.409u,12.526u);
  z40\0\2c1 = (-0.335u,12.475u);
  z40\0\2c2 = (-0.333u,9.245u);
  z40\0\2 = (0.414u,7.248u);
  z40\0\3 = (1.312u,5.531u);
  z40\0\4c1 = (1.573u,4.692u);
  z40\0\4c2 = (1.688u,2.434u);
  z40\0\4 = (2.342u,1.925u);
  z40\0\5c1 = (2.744u,1.613u);
  z40\0\5c2 = (3.828u,1.678u);
  z40\0\5 = (4.336u,1.687u);
  z40\0\6c1 = (4.844u,1.697u);
  z40\0\6c2 = (5.437u,1.669u);
  z40\0\6 = (5.817u,2.071u);
  z40\0\7c1 = (6.379u,2.668u);
  z40\0\7c2 = (6.171u,3.822u);
  z40\0\7 = (6.437u,4.577u);
  z40\0\8c1 = (6.696u,5.311u);
  z40\0\8c2 = (7.524u,6.120u);
  z40\0\8 = (7.264u,6.935u);
  z40\0\9c1 = (7.059u,7.580u);
  z40\0\9c2 = (5.657u,8.385u);
  z40\1\0s = (2.168u,11.804u);
  z40\1\0c1 = (2.431u,8.889u);
  z40\1\0c2 = (3.189u,9.835u);
  z40\1\0 = (1.445u,6.986u);
  z40\1\1c1 = (0.443u,8.238u);
  z40\1\1c2 = (0.153u,11.458u);
  z40\2\0s = (4.818u,11.804u);
  z40\2\0c1 = (4.782u,11.022u);
  z40\2\0c2 = (4.398u,9.593u);
  z40\2\0 = (4.546u,8.935u);
  z40\2\1c1 = (4.675u,8.358u);
  z40\2\1c2 = (5.168u,7.959u);
  z40\2\1 = (5.432u,7.446u);
  z40\2\2c1 = (5.918u,6.504u);
  z40\2\2c2 = (5.834u,4.879u);
  z40\2\2 = (5.632u,3.855u);
  z40\2\3c1 = (5.188u,1.603u);
  z40\2\3c2 = (2.827u,1.942u);
  z40\2\3 = (2.367u,4.095u);
  z40\2\4c1 = (2.052u,5.285u);
  z40\2\4c2 = (1.795u,6.343u);
  z40\2\4 = (2.367u,7.468u);
  z40\2\5c1 = (2.666u,7.946u);
  z40\2\5c2 = (3.053u,8.364u);
  z40\2\5 = (3.160u,8.913u);
  z40\2\6c1 = (3.292u,9.593u);
  z40\2\6c2 = (2.811u,10.849u);
  z40\2\6 = (2.650u,11.563u);
  z40\3\0s = (6.745u,6.745u);
  fill_or_unfill z40\0\0s
    --z40\0\0
    --z40\0\1
    ..controls z40\0\2c1 and z40\0\2c2..z40\0\2
    --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
    ..controls z40\0\7c1 and z40\0\7c2..z40\0\7
    ..controls z40\0\8c1 and z40\0\8c2..z40\0\8
    ..controls z40\0\9c1 and z40\0\9c2..cycle;
  fill_or_unfill z40\1\0s
    ..controls z40\1\0c1 and z40\1\0c2..z40\1\0
    ..controls z40\1\1c1 and z40\1\1c2..cycle;
  fill_or_unfill z40\2\0s
    ..controls z40\2\0c1 and z40\2\0c2..z40\2\0
    ..controls z40\2\1c1 and z40\2\1c2..z40\2\1
    ..controls z40\2\2c1 and z40\2\2c2..z40\2\2
    ..controls z40\2\3c1 and z40\2\3c2..z40\2\3
    ..controls z40\2\4c1 and z40\2\4c2..z40\2\4
    ..controls z40\2\5c1 and z40\2\5c2..z40\2\5
    ..controls z40\2\6c1 and z40\2\6c2..z40\2\6
    --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\0\8,
    40\0\9,
    40\1\0,
    40\1\1,
    40\2\0,
    40\2\1,
    40\2\2,
    40\2\3,
    40\2\4,
    40\2\5,
    40\2\6,
    40\2\7,
    40\3\0,
);
endchar;

beginchar (41, 9.636u#, 7.709u#, 0.000u#);
  "W10";
  z41\0\0s = (0.000u,7.709u);
  z41\0\0 = (2.503u,1.830u);
  z41\0\1 = (4.336u,1.445u);
  z41\0\2 = (7.312u,1.830u);
  z41\0\3 = (9.636u,7.709u);
  z41\1\0s = (8.672u,6.986u);
  z41\1\0c1 = (8.454u,6.216u);
  z41\1\0c2 = (7.317u,2.993u);
  z41\1\0 = (6.830u,2.553u);
  z41\1\1c1 = (6.392u,2.157u);
  z41\1\1c2 = (5.851u,2.179u);
  z41\1\1 = (5.300u,2.169u);
  z41\1\2c1 = (4.812u,2.160u);
  z41\1\2c2 = (3.635u,2.115u);
  z41\1\2 = (3.225u,2.306u);
  z41\1\3c1 = (2.222u,2.773u);
  z41\1\3c2 = (1.315u,5.918u);
  z41\1\3 = (1.204u,6.986u);
  fill_or_unfill z41\0\0s
    --z41\0\0
    --z41\0\1
    --z41\0\2
    --z41\0\3
    --cycle;
  fill_or_unfill z41\1\0s
    ..controls z41\1\0c1 and z41\1\0c2..z41\1\0
    ..controls z41\1\1c1 and z41\1\1c2..z41\1\1
    ..controls z41\1\2c1 and z41\1\2c2..z41\1\2
    ..controls z41\1\3c1 and z41\1\3c2..z41\1\3
    --cycle;
  proof_labels (
    41\0\0,
    41\0\1,
    41\0\2,
    41\0\3,
    41\0\4,
    41\1\0,
    41\1\1,
    41\1\2,
    41\1\3,
    41\1\4,
);
endchar;

beginchar (42, 6.986u#, 8.913u#, 0.000u#);
  "W10*";
  z42\0\0s = (0.389u,8.639u);
  z42\0\0c1 = (-0.256u,7.732u);
  z42\0\0c2 = (1.224u,6.794u);
  z42\0\0 = (1.558u,5.781u);
  z42\0\1c1 = (2.096u,4.153u);
  z42\0\1c2 = (1.596u,1.998u);
  z42\0\1 = (3.854u,1.932u);
  z42\0\2c1 = (4.255u,1.921u);
  z42\0\2c2 = (4.882u,1.936u);
  z42\0\2 = (5.246u,2.105u);
  z42\0\3c1 = (6.033u,2.470u);
  z42\0\3c2 = (7.060u,6.600u);
  z42\0\3 = (6.798u,7.392u);
  z42\0\4c1 = (6.570u,8.081u);
  z42\0\4c2 = (5.392u,7.948u);
  z42\0\4 = (4.818u,7.983u);
  z42\0\5c1 = (4.120u,7.951u);
  z42\0\5c2 = (3.334u,7.879u);
  z42\0\5 = (2.650u,7.983u);
  z42\0\6c1 = (1.795u,8.186u);
  z42\0\6c2 = (1.284u,8.782u);
  z42\1\0s = (6.022u,7.227u);
  z42\1\0c1 = (5.734u,1.045u);
  z42\1\0c2 = (2.460u,0.967u);
  z42\1\0 = (2.168u,7.227u);
  fill_or_unfill z42\0\0s
    ..controls z42\0\0c1 and z42\0\0c2..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
    ..controls z42\0\3c1 and z42\0\3c2..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
    ..controls z42\0\6c1 and z42\0\6c2..cycle;
  fill_or_unfill z42\1\0s
    ..controls z42\1\0c1 and z42\1\0c2..z42\1\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\1\0,
    42\1\1,
);
endchar;

beginchar (43, 12.768u#, 8.431u#, 0.000u#);
  "Aa4";
  z43\0\0s = (2.168u,8.431u);
  z43\0\0 = (3.132u,6.745u);
  z43\0\1 = (0.241u,7.950u);
  z43\0\2 = (0.000u,7.227u);
  z43\0\3 = (2.865u,5.869u);
  z43\0\4 = (5.541u,0.241u);
  z43\0\5c1 = (6.366u,0.241u);
  z43\0\5c2 = (9.521u,0.146u);
  z43\0\5 = (10.086u,0.385u);
  z43\0\6c1 = (11.120u,0.822u);
  z43\0\6c2 = (12.581u,5.555u);
  z43\0\6 = (12.768u,6.745u);
  z43\0\7 = (4.586u,6.886u);
  z43\0\8 = (2.891u,8.431u);
  z43\1\0s = (12.045u,6.022u);
  z43\1\0 = (10.101u,1.342u);
  z43\1\1 = (8.671u,0.964u);
  z43\1\2 = (6.555u,1.108u);
  z43\1\3 = (4.095u,6.022u);
  fill_or_unfill z43\0\0s
    --z43\0\0
    --z43\0\1
    --z43\0\2
    --z43\0\3
    --z43\0\4
    ..controls z43\0\5c1 and z43\0\5c2..z43\0\5
    ..controls z43\0\6c1 and z43\0\6c2..z43\0\6
    --z43\0\7
    --z43\0\8
    --cycle;
  fill_or_unfill z43\1\0s
    --z43\1\0
    --z43\1\1
    --z43\1\2
    --z43\1\3
    --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\1\0,
    43\1\1,
    43\1\2,
    43\1\3,
    43\1\4,
);
endchar;

beginchar (44, 9.395u#, 8.431u#, 0.000u#);
  "W11";
  z44\0\0s = (0.241u,8.431u);
  z44\0\0 = (0.962u,6.724u);
  z44\0\1 = (0.000u,1.204u);
  z44\0\2c1 = (3.882u,0.424u);
  z44\0\2c2 = (5.559u,-0.413u);
  z44\0\2 = (9.395u,1.686u);
  z44\0\3 = (7.709u,7.468u);
  z44\0\4 = (8.431u,8.431u);
  z44\1\0s = (6.986u,7.468u);
  z44\1\0 = (8.306u,2.440u);
  z44\1\1c1 = (8.056u,0.397u);
  z44\1\1c2 = (1.984u,1.315u);
  z44\1\1 = (0.723u,1.927u);
  z44\1\2c1 = (2.720u,8.032u);
  z44\1\2c2 = (-0.184u,7.468u);
  z44\2\0s = (4.336u,6.263u);
  z44\2\0c1 = (4.085u,5.582u);
  z44\2\0c2 = (3.297u,3.098u);
  z44\2\0 = (3.538u,2.484u);
  z44\2\1c1 = (3.856u,1.677u);
  z44\2\1c2 = (5.776u,1.760u);
  z44\2\1 = (5.907u,2.704u);
  z44\2\2c1 = (5.968u,3.141u);
  z44\2\2c2 = (5.042u,5.729u);
  z44\2\2 = (4.818u,6.263u);
  z44\3\0s = (5.059u,4.336u);
  z44\3\0 = (5.300u,2.650u);
  z44\3\1 = (4.095u,2.650u);
  z44\3\2 = (4.577u,4.336u);
  fill_or_unfill z44\0\0s
    --z44\0\0
    --z44\0\1
    ..controls z44\0\2c1 and z44\0\2c2..z44\0\2
    --z44\0\3
    --z44\0\4
    --cycle;
  fill_or_unfill z44\1\0s
    --z44\1\0
    ..controls z44\1\1c1 and z44\1\1c2..z44\1\1
    ..controls z44\1\2c1 and z44\1\2c2..cycle;
  fill_or_unfill z44\2\0s
    ..controls z44\2\0c1 and z44\2\0c2..z44\2\0
    ..controls z44\2\1c1 and z44\2\1c2..z44\2\1
    ..controls z44\2\2c1 and z44\2\2c2..z44\2\2
    --cycle;
  fill_or_unfill z44\3\0s
    --z44\3\0
    --z44\3\1
    --z44\3\2
    --cycle;
  proof_labels (
    44\0\0,
    44\0\1,
    44\0\2,
    44\0\3,
    44\0\4,
    44\0\5,
    44\1\0,
    44\1\1,
    44\1\2,
    44\2\0,
    44\2\1,
    44\2\2,
    44\2\3,
    44\3\0,
    44\3\1,
    44\3\2,
    44\3\3,
);
endchar;

beginchar (45, 9.395u#, 8.672u#, 0.000u#);
  "W12";
  z45\0\0s = (0.723u,8.672u);
  z45\0\0c1 = (0.737u,7.358u);
  z45\0\0c2 = (1.467u,6.284u);
  z45\0\0 = (1.394u,5.059u);
  z45\0\1c1 = (1.312u,3.676u);
  z45\0\1c2 = (0.023u,2.218u);
  z45\0\1 = (0.110u,1.480u);
  z45\0\2c1 = (0.252u,0.287u);
  z45\0\2c2 = (6.287u,0.715u);
  z45\0\2 = (7.468u,0.723u);
  z45\0\3c1 = (8.036u,0.727u);
  z45\0\3c2 = (8.974u,0.637u);
  z45\0\3 = (9.240u,1.279u);
  z45\0\4c1 = (9.586u,2.112u);
  z45\0\4c2 = (8.304u,3.403u);
  z45\0\4 = (8.078u,4.336u);
  z45\0\5c1 = (7.713u,5.840u);
  z45\0\5c2 = (8.415u,7.183u);
  z45\0\5 = (8.431u,8.672u);
  z45\1\0s = (7.468u,7.950u);
  z45\1\0 = (1.927u,7.709u);
  z45\2\0s = (7.227u,6.986u);
  z45\2\0 = (7.709u,2.650u);
  z45\2\1c1 = (5.666u,2.676u);
  z45\2\1c2 = (5.398u,3.423u);
  z45\2\1 = (4.818u,5.300u);
  z45\2\2 = (4.336u,5.300u);
  z45\2\3c1 = (3.795u,3.292u);
  z45\2\3c2 = (3.691u,2.438u);
  z45\2\3 = (1.445u,2.409u);
  z45\2\4 = (1.927u,6.986u);
  z45\3\0s = (4.818u,3.854u);
  z45\3\0 = (5.300u,2.409u);
  z45\3\1 = (4.095u,2.409u);
  z45\4\0s = (8.431u,1.927u);
  z45\4\0 = (8.431u,1.445u);
  z45\4\1 = (0.963u,1.445u);
  z45\4\2 = (0.963u,1.927u);
  fill_or_unfill z45\0\0s
    ..controls z45\0\0c1 and z45\0\0c2..z45\0\0
    ..controls z45\0\1c1 and z45\0\1c2..z45\0\1
    ..controls z45\0\2c1 and z45\0\2c2..z45\0\2
    ..controls z45\0\3c1 and z45\0\3c2..z45\0\3
    ..controls z45\0\4c1 and z45\0\4c2..z45\0\4
    ..controls z45\0\5c1 and z45\0\5c2..z45\0\5
    --cycle;
  fill_or_unfill z45\1\0s
    --z45\1\0
    --cycle;
  fill_or_unfill z45\2\0s
    --z45\2\0
    ..controls z45\2\1c1 and z45\2\1c2..z45\2\1
    --z45\2\2
    ..controls z45\2\3c1 and z45\2\3c2..z45\2\3
    --z45\2\4
    --cycle;
  fill_or_unfill z45\3\0s
    --z45\3\0
    --z45\3\1
    --cycle;
  fill_or_unfill z45\4\0s
    --z45\4\0
    --z45\4\1
    --z45\4\2
    --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\1\0,
    45\1\1,
    45\2\0,
    45\2\1,
    45\2\2,
    45\2\3,
    45\2\4,
    45\2\5,
    45\3\0,
    45\3\1,
    45\3\2,
    45\4\0,
    45\4\1,
    45\4\2,
    45\4\3,
);
endchar;

beginchar (46, 9.636u#, 9.636u#, 0.000u#);
  "W13";
  z46\0\0s = (1.445u,9.636u);
  z46\0\0c1 = (1.445u,8.368u);
  z46\0\0c2 = (1.605u,6.751u);
  z46\0\0 = (1.256u,5.541u);
  z46\0\1c1 = (1.045u,4.812u);
  z46\0\1c2 = (0.126u,3.516u);
  z46\0\1 = (0.142u,2.941u);
  z46\0\2c1 = (0.159u,2.383u);
  z46\0\2c2 = (0.778u,2.039u);
  z46\0\2 = (1.208u,1.805u);
  z46\0\3c1 = (4.000u,0.283u);
  z46\0\3c2 = (7.117u,1.012u);
  z46\0\3 = (9.636u,2.650u);
  z46\0\4 = (8.380u,5.541u);
  z46\0\5 = (8.191u,9.636u);
  z46\1\0s = (7.507u,8.913u);
  z46\1\0c1 = (7.468u,7.902u);
  z46\1\0c2 = (7.369u,6.775u);
  z46\1\0 = (7.507u,5.781u);
  z46\1\1c1 = (7.681u,5.031u);
  z46\1\1c2 = (8.508u,3.715u);
  z46\1\1 = (8.428u,3.163u);
  z46\1\2c1 = (8.344u,2.578u);
  z46\1\2c2 = (7.708u,2.349u);
  z46\1\2 = (7.226u,2.178u);
  z46\1\3c1 = (4.697u,1.283u);
  z46\1\3c2 = (3.345u,1.703u);
  z46\1\3 = (0.963u,2.650u);
  z46\1\4 = (2.040u,5.541u);
  z46\1\5 = (2.168u,8.913u);
  fill_or_unfill z46\0\0s
    ..controls z46\0\0c1 and z46\0\0c2..z46\0\0
    ..controls z46\0\1c1 and z46\0\1c2..z46\0\1
    ..controls z46\0\2c1 and z46\0\2c2..z46\0\2
    ..controls z46\0\3c1 and z46\0\3c2..z46\0\3
    --z46\0\4
    --z46\0\5
    --cycle;
  fill_or_unfill z46\1\0s
    ..controls z46\1\0c1 and z46\1\0c2..z46\1\0
    ..controls z46\1\1c1 and z46\1\1c2..z46\1\1
    ..controls z46\1\2c1 and z46\1\2c2..z46\1\2
    ..controls z46\1\3c1 and z46\1\3c2..z46\1\3
    --z46\1\4
    --z46\1\5
    --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\1\0,
    46\1\1,
    46\1\2,
    46\1\3,
    46\1\4,
    46\1\5,
    46\1\6,
);
endchar;

beginchar (47, 5.059u#, 18.790u#, 0.000u#);
  "W14";
  z47\0\0s = (0.000u,18.549u);
  z47\0\0 = (0.000u,18.067u);
  z47\0\1 = (1.948u,17.316u);
  z47\0\2 = (0.724u,15.393u);
  z47\0\3 = (0.485u,13.249u);
  z47\0\4 = (1.781u,6.504u);
  z47\0\5 = (0.963u,1.686u);
  z47\0\6 = (4.818u,1.686u);
  z47\0\7 = (3.876u,7.227u);
  z47\0\8 = (5.005u,13.972u);
  z47\0\9 = (3.179u,17.331u);
  z47\0\10 = (5.059u,18.067u);
  z47\0\11 = (5.059u,18.790u);
  z47\1\0s = (3.854u,2.409u);
  z47\1\0 = (1.927u,2.409u);
  z47\1\1c1 = (2.281u,4.397u);
  z47\1\1c2 = (2.623u,6.143u);
  z47\1\1 = (2.303u,8.191u);
  z47\1\2c1 = (2.047u,9.833u);
  z47\1\2c2 = (1.004u,12.973u);
  z47\1\2 = (1.260u,14.453u);
  z47\1\3c1 = (1.589u,16.357u);
  z47\1\3c2 = (4.232u,16.743u);
  z47\1\3 = (4.086u,13.009u);
  z47\1\4c1 = (3.929u,9.005u);
  z47\1\4c2 = (2.189u,6.603u);
  fill_or_unfill z47\0\0s
    --z47\0\0
    --z47\0\1
    --z47\0\2
    --z47\0\3
    --z47\0\4
    --z47\0\5
    --z47\0\6
    --z47\0\7
    --z47\0\8
    --z47\0\9
    --z47\0\10
    --z47\0\11
    --cycle;
  fill_or_unfill z47\1\0s
    --z47\1\0
    ..controls z47\1\1c1 and z47\1\1c2..z47\1\1
    ..controls z47\1\2c1 and z47\1\2c2..z47\1\2
    ..controls z47\1\3c1 and z47\1\3c2..z47\1\3
    ..controls z47\1\4c1 and z47\1\4c2..cycle;
  proof_labels (
    47\0\0,
    47\0\1,
    47\0\2,
    47\0\3,
    47\0\4,
    47\0\5,
    47\0\6,
    47\0\7,
    47\0\8,
    47\0\9,
    47\0\10,
    47\0\11,
    47\0\12,
    47\1\0,
    47\1\1,
    47\1\2,
    47\1\3,
    47\1\4,
);
endchar;

beginchar (48, 9.154u#, 18.790u#, 0.000u#);
  "W15";
  z48\0\0s = (6.504u,17.826u);
  z48\0\0 = (4.658u,13.972u);
  z48\0\1 = (5.984u,6.745u);
  z48\0\2 = (5.300u,1.445u);
  z48\0\3 = (9.154u,1.445u);
  z48\0\4 = (7.972u,5.781u);
  z48\0\5 = (9.103u,14.213u);
  z48\0\6 = (7.227u,17.826u);
  z48\0\7 = (9.154u,18.067u);
  z48\0\8 = (9.154u,18.549u);
  z48\0\9c1 = (6.874u,19.092u);
  z48\0\9c2 = (3.580u,18.649u);
  z48\0\9 = (2.182u,16.619u);
  z48\0\10c1 = (1.085u,15.025u);
  z48\0\10c2 = (1.986u,14.969u);
  z48\0\10 = (1.796u,13.981u);
  z48\0\11c1 = (1.685u,13.410u);
  z48\0\11c2 = (1.143u,13.104u);
  z48\0\11 = (1.098u,12.487u);
  z48\0\12c1 = (1.066u,12.048u);
  z48\0\12c2 = (1.376u,11.631u);
  z48\0\12 = (1.287u,11.193u);
  z48\0\13c1 = (1.186u,10.692u);
  z48\0\13c2 = (0.661u,10.460u);
  z48\0\13 = (0.616u,9.836u);
  z48\0\14c1 = (0.585u,9.390u);
  z48\0\14c2 = (0.885u,8.984u);
  z48\0\14 = (0.824u,8.534u);
  z48\0\15c1 = (0.751u,7.999u);
  z48\0\15c2 = (0.254u,7.650u);
  z48\0\15 = (0.255u,6.985u);
  z48\0\16 = (0.579u,5.541u);
  z48\0\17c1 = (0.644u,4.681u);
  z48\0\17c2 = (-0.459u,2.271u);
  z48\0\17 = (0.579u,1.727u);
  z48\0\18c1 = (1.681u,1.113u);
  z48\0\18c2 = (1.222u,3.456u);
  z48\0\18 = (1.264u,3.854u);
  z48\0\19 = (1.674u,5.541u);
  z48\0\20 = (1.415u,6.986u);
  z48\0\21 = (1.826u,8.430u);
  z48\0\22 = (1.826u,9.775u);
  z48\0\23 = (2.376u,10.850u);
  z48\0\24c1 = (2.575u,11.448u);
  z48\0\24c2 = (2.315u,11.756u);
  z48\0\24 = (2.376u,12.286u);
  z48\0\25c1 = (2.433u,12.824u);
  z48\0\25c2 = (2.808u,13.220u);
  z48\0\25 = (2.938u,13.731u);
  z48\0\26c1 = (3.120u,14.586u);
  z48\0\26c2 = (2.521u,14.988u);
  z48\0\26 = (2.938u,15.899u);
  z48\0\27c1 = (3.684u,17.454u);
  z48\0\27c2 = (4.948u,17.811u);
  z48\1\0s = (7.950u,2.168u);
  z48\1\0 = (6.209u,2.168u);
  z48\1\1c1 = (6.725u,5.170u);
  z48\1\1c2 = (6.771u,7.104u);
  z48\1\1 = (6.209u,10.118u);
  z48\1\2 = (5.585u,12.527u);
  z48\1\3c1 = (5.142u,16.220u);
  z48\1\3c2 = (7.583u,16.414u);
  z48\1\3 = (8.087u,14.684u);
  z48\1\4c1 = (8.716u,12.526u);
  z48\1\4c2 = (7.285u,8.892u);
  z48\1\4 = (7.230u,6.504u);
  z48\1\5c1 = (7.194u,4.897u);
  z48\1\5c2 = (7.676u,3.702u);
  fill_or_unfill z48\0\0s
    --z48\0\0
    --z48\0\1
    --z48\0\2
    --z48\0\3
    --z48\0\4
    --z48\0\5
    --z48\0\6
    --z48\0\7
    --z48\0\8
    ..controls z48\0\9c1 and z48\0\9c2..z48\0\9
    ..controls z48\0\10c1 and z48\0\10c2..z48\0\10
    ..controls z48\0\11c1 and z48\0\11c2..z48\0\11
    ..controls z48\0\12c1 and z48\0\12c2..z48\0\12
    ..controls z48\0\13c1 and z48\0\13c2..z48\0\13
    ..controls z48\0\14c1 and z48\0\14c2..z48\0\14
    ..controls z48\0\15c1 and z48\0\15c2..z48\0\15
    --z48\0\16
    ..controls z48\0\17c1 and z48\0\17c2..z48\0\17
    ..controls z48\0\18c1 and z48\0\18c2..z48\0\18
    --z48\0\19
    --z48\0\20
    --z48\0\21
    --z48\0\22
    --z48\0\23
    ..controls z48\0\24c1 and z48\0\24c2..z48\0\24
    ..controls z48\0\25c1 and z48\0\25c2..z48\0\25
    ..controls z48\0\26c1 and z48\0\26c2..z48\0\26
    ..controls z48\0\27c1 and z48\0\27c2..cycle;
  fill_or_unfill z48\1\0s
    --z48\1\0
    ..controls z48\1\1c1 and z48\1\1c2..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..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\0\13,
    48\0\14,
    48\0\15,
    48\0\16,
    48\0\17,
    48\0\18,
    48\0\19,
    48\0\20,
    48\0\21,
    48\0\22,
    48\0\23,
    48\0\24,
    48\0\25,
    48\0\26,
    48\0\27,
    48\1\0,
    48\1\1,
    48\1\2,
    48\1\3,
    48\1\4,
    48\1\5,
);
endchar;

beginchar (49, 13.249u#, 19.272u#, 0.000u#);
  "W16";
  z49\0\0s = (1.739u,11.804u);
  z49\0\0c1 = (1.298u,11.381u);
  z49\0\0c2 = (0.803u,10.938u);
  z49\0\0 = (0.657u,10.359u);
  z49\0\1c1 = (0.499u,9.732u);
  z49\0\1c2 = (0.894u,9.294u);
  z49\0\1 = (0.824u,8.774u);
  z49\0\2c1 = (0.760u,8.304u);
  z49\0\2c2 = (0.353u,7.941u);
  z49\0\2 = (0.278u,7.465u);
  z49\0\3c1 = (0.172u,6.799u);
  z49\0\3c2 = (0.634u,6.477u);
  z49\0\3 = (0.587u,5.920u);
  z49\0\4 = (0.065u,4.336u);
  z49\0\5c1 = (0.000u,3.879u);
  z49\0\5c2 = (-0.054u,2.485u);
  z49\0\5 = (0.374u,2.208u);
  z49\0\6c1 = (0.865u,1.890u);
  z49\0\6c2 = (1.109u,2.549u);
  z49\0\6 = (1.169u,2.905u);
  z49\0\7c1 = (1.346u,3.953u);
  z49\0\7c2 = (1.823u,6.159u);
  z49\0\7 = (0.963u,6.745u);
  z49\0\8c1 = (1.230u,7.353u);
  z49\0\8c2 = (1.730u,8.014u);
  z49\0\8 = (1.787u,8.672u);
  z49\0\9c1 = (1.859u,9.164u);
  z49\0\9c2 = (1.647u,9.618u);
  z49\0\9 = (1.787u,10.118u);
  z49\0\10c1 = (1.898u,10.631u);
  z49\0\10c2 = (2.297u,11.029u);
  z49\0\10 = (2.331u,11.563u);
  z49\0\11c1 = (2.447u,12.055u);
  z49\0\11c2 = (2.182u,12.514u);
  z49\0\11 = (2.331u,13.009u);
  z49\0\12c1 = (2.397u,13.531u);
  z49\0\12c2 = (2.841u,13.920u);
  z49\0\12 = (2.873u,14.454u);
  z49\0\13c1 = (3.023u,15.190u);
  z49\0\13c2 = (2.419u,15.562u);
  z49\0\13 = (2.873u,16.381u);
  z49\0\14c1 = (3.123u,16.973u);
  z49\0\14c2 = (4.184u,17.910u);
  z49\0\14 = (4.818u,18.126u);
  z49\0\15c1 = (5.395u,18.324u);
  z49\0\15c2 = (6.404u,18.201u);
  z49\0\15 = (6.047u,17.352u);
  z49\0\16c1 = (5.776u,16.709u);
  z49\0\16c2 = (5.003u,16.400u);
  z49\0\16 = (4.700u,15.414u);
  z49\0\17c1 = (4.041u,13.270u);
  z49\0\17c2 = (5.590u,9.346u);
  z49\0\17 = (5.781u,6.986u);
  z49\0\18c1 = (4.240u,6.476u);
  z49\0\18c2 = (3.639u,3.422u);
  z49\0\18 = (3.372u,1.927u);
  z49\0\19 = (10.600u,1.927u);
  z49\0\20c1 = (10.585u,3.473u);
  z49\0\20c2 = (10.212u,6.674u);
  z49\0\20 = (8.431u,6.986u);
  z49\0\21c1 = (8.483u,9.324u);
  z49\0\21c2 = (9.402u,14.816u);
  z49\0\21 = (10.789u,16.609u);
  z49\0\22c1 = (11.518u,17.551u);
  z49\0\22c2 = (12.639u,17.609u);
  z49\0\22 = (13.249u,18.549u);
  z49\0\23c1 = (11.085u,18.495u);
  z49\0\23c2 = (10.111u,17.843u);
  z49\0\23 = (9.154u,15.899u);
  z49\0\24 = (7.468u,18.308u);
  z49\0\25 = (9.154u,18.549u);
  z49\0\26 = (9.154u,19.031u);
  z49\0\27 = (8.913u,19.272u);
  z49\0\28c1 = (6.472u,18.886u);
  z49\0\28c2 = (2.542u,19.609u);
  z49\0\28 = (1.603u,16.381u);
  z49\0\29c1 = (1.377u,15.603u);
  z49\0\29c2 = (1.923u,15.092u);
  z49\0\29 = (1.739u,14.495u);
  z49\0\30c1 = (1.538u,13.333u);
  z49\0\30c2 = (0.113u,13.353u);
  z49\1\0s = (7.227u,6.986u);
  z49\1\0 = (6.745u,6.986u);
  z49\1\1c1 = (6.415u,8.066u);
  z49\1\1c2 = (5.216u,13.843u);
  z49\1\1 = (5.383u,14.694u);
  z49\1\2c1 = (5.758u,16.613u);
  z49\1\2c2 = (7.945u,16.904u);
  z49\1\2 = (8.365u,14.932u);
  z49\1\3c1 = (8.704u,13.338u);
  z49\1\3c2 = (7.760u,8.601u);
  z49\2\0s = (6.022u,6.263u);
  z49\2\0c1 = (5.965u,5.040u);
  z49\2\0c2 = (5.888u,3.122u);
  z49\2\0 = (4.577u,2.650u);
  z49\2\1 = (5.300u,6.263u);
  z49\3\0s = (7.468u,6.263u);
  z49\3\0 = (7.950u,2.891u);
  z49\3\1c1 = (5.488u,2.269u);
  z49\3\1c2 = (6.625u,4.786u);
  z49\3\1 = (6.745u,6.263u);
  z49\4\0s = (8.431u,6.263u);
  z49\4\0 = (9.636u,2.891u);
  z49\4\1c1 = (8.301u,3.346u);
  z49\4\1c2 = (7.950u,5.036u);
  fill_or_unfill z49\0\0s
    ..controls z49\0\0c1 and z49\0\0c2..z49\0\0
    ..controls z49\0\1c1 and z49\0\1c2..z49\0\1
    ..controls z49\0\2c1 and z49\0\2c2..z49\0\2
    ..controls z49\0\3c1 and z49\0\3c2..z49\0\3
    --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
    ..controls z49\0\7c1 and z49\0\7c2..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
    ..controls z49\0\11c1 and z49\0\11c2..z49\0\11
    ..controls z49\0\12c1 and z49\0\12c2..z49\0\12
    ..controls z49\0\13c1 and z49\0\13c2..z49\0\13
    ..controls z49\0\14c1 and z49\0\14c2..z49\0\14
    ..controls z49\0\15c1 and z49\0\15c2..z49\0\15
    ..controls z49\0\16c1 and z49\0\16c2..z49\0\16
    ..controls z49\0\17c1 and z49\0\17c2..z49\0\17
    ..controls z49\0\18c1 and z49\0\18c2..z49\0\18
    --z49\0\19
    ..controls z49\0\20c1 and z49\0\20c2..z49\0\20
    ..controls z49\0\21c1 and z49\0\21c2..z49\0\21
    ..controls z49\0\22c1 and z49\0\22c2..z49\0\22
    ..controls z49\0\23c1 and z49\0\23c2..z49\0\23
    --z49\0\24
    --z49\0\25
    --z49\0\26
    --z49\0\27
    ..controls z49\0\28c1 and z49\0\28c2..z49\0\28
    ..controls z49\0\29c1 and z49\0\29c2..z49\0\29
    ..controls z49\0\30c1 and z49\0\30c2..cycle;
  fill_or_unfill z49\1\0s
    --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..cycle;
  fill_or_unfill z49\2\0s
    ..controls z49\2\0c1 and z49\2\0c2..z49\2\0
    --z49\2\1
    --cycle;
  fill_or_unfill z49\3\0s
    --z49\3\0
    ..controls z49\3\1c1 and z49\3\1c2..z49\3\1
    --cycle;
  fill_or_unfill z49\4\0s
    --z49\4\0
    ..controls z49\4\1c1 and z49\4\1c2..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\0\12,
    49\0\13,
    49\0\14,
    49\0\15,
    49\0\16,
    49\0\17,
    49\0\18,
    49\0\19,
    49\0\20,
    49\0\21,
    49\0\22,
    49\0\23,
    49\0\24,
    49\0\25,
    49\0\26,
    49\0\27,
    49\0\28,
    49\0\29,
    49\0\30,
    49\1\0,
    49\1\1,
    49\1\2,
    49\1\3,
    49\2\0,
    49\2\1,
    49\2\2,
    49\3\0,
    49\3\1,
    49\3\2,
    49\4\0,
    49\4\1,
);
endchar;

beginchar (50, 16.381u#, 19.272u#, 0.000u#);
  "W17";
  z50\0\0s = (2.650u,17.104u);
  z50\0\0 = (4.095u,16.863u);
  z50\0\1 = (0.418u,13.946u);
  z50\0\2 = (0.000u,2.650u);
  z50\0\3 = (0.723u,2.650u);
  z50\0\4 = (1.006u,13.224u);
  z50\0\5 = (2.650u,14.213u);
  z50\0\6 = (3.607u,6.022u);
  z50\0\7 = (2.891u,2.409u);
  z50\0\8 = (5.781u,2.409u);
  z50\0\9 = (5.307u,5.781u);
  z50\0\10 = (6.263u,11.563u);
  z50\0\11 = (7.202u,4.818u);
  z50\0\12 = (6.745u,2.409u);
  z50\0\13 = (9.636u,2.409u);
  z50\0\14 = (9.163u,6.504u);
  z50\0\15 = (9.877u,11.563u);
  z50\0\16 = (10.359u,11.563u);
  z50\0\17 = (11.184u,5.541u);
  z50\0\18 = (10.600u,2.409u);
  z50\0\19 = (13.249u,2.409u);
  z50\0\20 = (13.009u,6.263u);
  z50\0\21 = (13.972u,14.213u);
  z50\0\22 = (15.481u,12.998u);
  z50\0\23 = (15.658u,2.650u);
  z50\0\24 = (16.381u,2.650u);
  z50\0\25c1 = (16.381u,4.632u);
  z50\0\25c2 = (16.760u,12.707u);
  z50\0\25 = (15.935u,13.946u);
  z50\0\26c1 = (15.220u,15.019u);
  z50\0\26c2 = (14.088u,14.912u);
  z50\0\26 = (13.298u,15.724u);
  z50\0\27c1 = (12.548u,16.495u);
  z50\0\27c2 = (12.910u,16.831u);
  z50\0\27 = (13.731u,17.104u);
  z50\0\28c1 = (11.882u,22.590u);
  z50\0\28c2 = (10.043u,15.214u);
  z50\0\28 = (9.154u,19.272u);
  z50\0\29 = (6.986u,19.272u);
  z50\0\30 = (6.504u,17.586u);
  z50\0\31c1 = (4.605u,19.174u);
  z50\0\31c2 = (4.049u,20.635u);
  z50\1\0s = (4.818u,18.549u);
  z50\1\0 = (5.059u,17.586u);
  z50\1\1 = (3.854u,17.586u);
  z50\1\2 = (4.095u,18.549u);
  z50\2\0s = (8.672u,17.586u);
  z50\2\0 = (7.468u,17.586u);
  z50\2\1 = (7.709u,18.549u);
  z50\3\0s = (12.286u,18.549u);
  z50\3\0 = (12.286u,17.586u);
  z50\3\1 = (11.563u,17.586u);
  z50\3\2 = (11.563u,18.549u);
  z50\4\0s = (9.877u,14.695u);
  z50\4\0 = (8.672u,16.863u);
  z50\4\1c1 = (10.879u,16.964u);
  z50\4\1c2 = (12.961u,17.172u);
  z50\5\0s = (7.709u,16.863u);
  z50\5\0 = (6.504u,14.936u);
  z50\5\1 = (5.059u,16.863u);
  z50\6\0s = (4.599u,3.132u);
  z50\6\0 = (4.095u,3.132u);
  z50\6\1 = (3.854u,3.372u);
  z50\6\2c1 = (5.009u,7.811u);
  z50\6\2c2 = (3.465u,8.763u);
  z50\6\2 = (3.376u,12.768u);
  z50\6\3c1 = (3.295u,16.403u);
  z50\6\3c2 = (5.944u,15.806u);
  z50\6\3 = (5.704u,12.768u);
  z50\6\4 = (4.599u,7.468u);
  z50\6\5c1 = (4.447u,6.021u);
  z50\6\5c2 = (4.907u,4.519u);
  z50\7\0s = (8.672u,3.132u);
  z50\7\0 = (7.709u,3.132u);
  z50\7\1c1 = (7.833u,4.666u);
  z50\7\1c2 = (8.098u,6.161u);
  z50\7\1 = (7.878u,7.709u);
  z50\7\2c1 = (7.599u,9.664u);
  z50\7\2c2 = (6.882u,11.748u);
  z50\7\2 = (6.997u,13.731u);
  z50\7\3c1 = (7.132u,16.088u);
  z50\7\3c2 = (9.204u,15.725u);
  z50\7\3 = (9.372u,13.490u);
  z50\7\4c1 = (9.511u,11.636u);
  z50\7\4c2 = (8.729u,9.566u);
  z50\7\4 = (8.500u,7.709u);
  z50\7\5c1 = (8.308u,6.145u);
  z50\7\5c2 = (8.547u,4.679u);
  z50\8\0s = (12.527u,3.372u);
  z50\8\0 = (12.286u,3.132u);
  z50\8\1 = (11.804u,3.132u);
  z50\8\2 = (11.563u,3.372u);
  z50\8\3c1 = (11.814u,4.771u);
  z50\8\3c2 = (11.934u,6.293u);
  z50\8\3 = (11.732u,7.709u);
  z50\8\4c1 = (11.472u,9.534u);
  z50\8\4c2 = (10.686u,11.917u);
  z50\8\4 = (10.867u,13.731u);
  z50\8\5c1 = (11.074u,15.804u);
  z50\8\5c2 = (13.048u,15.857u);
  z50\8\5 = (13.226u,13.490u);
  z50\8\6c1 = (13.355u,11.770u);
  z50\8\6c2 = (12.657u,9.891u);
  z50\8\6 = (12.391u,8.191u);
  z50\8\7c1 = (12.147u,6.627u);
  z50\8\7c2 = (12.249u,4.922u);
  fill_or_unfill z50\0\0s
    --z50\0\0
    --z50\0\1
    --z50\0\2
    --z50\0\3
    --z50\0\4
    --z50\0\5
    --z50\0\6
    --z50\0\7
    --z50\0\8
    --z50\0\9
    --z50\0\10
    --z50\0\11
    --z50\0\12
    --z50\0\13
    --z50\0\14
    --z50\0\15
    --z50\0\16
    --z50\0\17
    --z50\0\18
    --z50\0\19
    --z50\0\20
    --z50\0\21
    --z50\0\22
    --z50\0\23
    --z50\0\24
    ..controls z50\0\25c1 and z50\0\25c2..z50\0\25
    ..controls z50\0\26c1 and z50\0\26c2..z50\0\26
    ..controls z50\0\27c1 and z50\0\27c2..z50\0\27
    ..controls z50\0\28c1 and z50\0\28c2..z50\0\28
    --z50\0\29
    --z50\0\30
    ..controls z50\0\31c1 and z50\0\31c2..cycle;
  fill_or_unfill z50\1\0s
    --z50\1\0
    --z50\1\1
    --z50\1\2
    --cycle;
  fill_or_unfill z50\2\0s
    --z50\2\0
    --z50\2\1
    --cycle;
  fill_or_unfill z50\3\0s
    --z50\3\0
    --z50\3\1
    --z50\3\2
    --cycle;
  fill_or_unfill z50\4\0s
    --z50\4\0
    ..controls z50\4\1c1 and z50\4\1c2..cycle;
  fill_or_unfill z50\5\0s
    --z50\5\0
    --z50\5\1
    --cycle;
  fill_or_unfill z50\6\0s
    --z50\6\0
    --z50\6\1
    ..controls z50\6\2c1 and z50\6\2c2..z50\6\2
    ..controls z50\6\3c1 and z50\6\3c2..z50\6\3
    --z50\6\4
    ..controls z50\6\5c1 and z50\6\5c2..cycle;
  fill_or_unfill z50\7\0s
    --z50\7\0
    ..controls z50\7\1c1 and z50\7\1c2..z50\7\1
    ..controls z50\7\2c1 and z50\7\2c2..z50\7\2
    ..controls z50\7\3c1 and z50\7\3c2..z50\7\3
    ..controls z50\7\4c1 and z50\7\4c2..z50\7\4
    ..controls z50\7\5c1 and z50\7\5c2..cycle;
  fill_or_unfill z50\8\0s
    --z50\8\0
    --z50\8\1
    --z50\8\2
    ..controls z50\8\3c1 and z50\8\3c2..z50\8\3
    ..controls z50\8\4c1 and z50\8\4c2..z50\8\4
    ..controls z50\8\5c1 and z50\8\5c2..z50\8\5
    ..controls z50\8\6c1 and z50\8\6c2..z50\8\6
    ..controls z50\8\7c1 and z50\8\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\0\8,
    50\0\9,
    50\0\10,
    50\0\11,
    50\0\12,
    50\0\13,
    50\0\14,
    50\0\15,
    50\0\16,
    50\0\17,
    50\0\18,
    50\0\19,
    50\0\20,
    50\0\21,
    50\0\22,
    50\0\23,
    50\0\24,
    50\0\25,
    50\0\26,
    50\0\27,
    50\0\28,
    50\0\29,
    50\0\30,
    50\0\31,
    50\1\0,
    50\1\1,
    50\1\2,
    50\1\3,
    50\2\0,
    50\2\1,
    50\2\2,
    50\3\0,
    50\3\1,
    50\3\2,
    50\3\3,
    50\4\0,
    50\4\1,
    50\5\0,
    50\5\1,
    50\5\2,
    50\6\0,
    50\6\1,
    50\6\2,
    50\6\3,
    50\6\4,
    50\6\5,
    50\7\0,
    50\7\1,
    50\7\2,
    50\7\3,
    50\7\4,
    50\7\5,
    50\8\0,
    50\8\1,
    50\8\2,
    50\8\3,
    50\8\4,
    50\8\5,
    50\8\6,
    50\8\7,
);
endchar;

beginchar (51, 19.995u#, 19.513u#, 0.000u#);
  "W18";
  z51\0\0s = (3.372u,19.513u);
  z51\0\0 = (2.168u,17.345u);
  z51\0\1 = (3.854u,17.345u);
  z51\0\2c1 = (2.767u,15.067u);
  z51\0\2c2 = (1.394u,15.834u);
  z51\0\2 = (0.418u,14.428u);
  z51\0\3c1 = (-0.301u,13.392u);
  z51\0\3c2 = (-0.171u,4.099u);
  z51\0\3 = (0.241u,2.650u);
  z51\0\4 = (0.723u,2.650u);
  z51\0\5 = (1.108u,13.477u);
  z51\0\6 = (2.409u,14.695u);
  z51\0\7 = (3.716u,6.263u);
  z51\0\8 = (2.891u,2.650u);
  z51\0\9 = (6.022u,2.650u);
  z51\0\10 = (5.309u,6.022u);
  z51\0\11 = (6.022u,11.804u);
  z51\0\12c1 = (6.808u,10.515u);
  z51\0\12c2 = (7.558u,7.297u);
  z51\0\12 = (7.395u,5.781u);
  z51\0\13 = (6.745u,2.650u);
  z51\0\14 = (9.636u,2.650u);
  z51\0\15 = (8.956u,6.745u);
  z51\0\16 = (9.877u,12.527u);
  z51\0\17 = (11.241u,5.781u);
  z51\0\18 = (10.359u,2.650u);
  z51\0\19 = (13.731u,2.650u);
  z51\0\20 = (12.809u,6.022u);
  z51\0\21 = (13.731u,12.286u);
  z51\0\22 = (14.932u,6.022u);
  z51\0\23 = (14.213u,2.650u);
  z51\0\24 = (17.345u,2.650u);
  z51\0\25 = (16.631u,7.468u);
  z51\0\26 = (17.586u,14.695u);
  z51\0\27 = (18.825u,13.480u);
  z51\0\28 = (19.272u,2.891u);
  z51\0\29 = (19.754u,2.891u);
  z51\0\30c1 = (20.200u,4.460u);
  z51\0\30c2 = (20.308u,13.223u);
  z51\0\30 = (19.511u,14.429u);
  z51\0\31c1 = (18.547u,15.888u);
  z51\0\31c2 = (17.167u,15.261u);
  z51\0\31 = (16.140u,17.345u);
  z51\0\32 = (17.586u,17.586u);
  z51\0\33 = (16.622u,19.513u);
  z51\0\34 = (14.454u,19.513u);
  z51\0\35c1 = (13.777u,17.313u);
  z51\0\35c2 = (13.248u,18.995u);
  z51\0\35 = (12.428u,19.375u);
  z51\0\36c1 = (12.047u,19.551u);
  z51\0\36c2 = (11.270u,19.511u);
  z51\0\36 = (10.840u,19.513u);
  z51\0\37c1 = (10.099u,17.086u);
  z51\0\37c2 = (9.416u,18.983u);
  z51\0\37 = (8.573u,19.375u);
  z51\0\38c1 = (8.195u,19.551u);
  z51\0\38c2 = (7.414u,19.511u);
  z51\0\38 = (6.986u,19.513u);
  z51\0\39 = (6.826u,19.049u);
  z51\0\40c1 = (6.021u,17.632u);
  z51\0\40c2 = (5.722u,19.036u);
  z51\0\40 = (4.988u,19.369u);
  z51\0\41c1 = (4.591u,19.549u);
  z51\0\41c2 = (3.817u,19.511u);
  z51\1\0s = (4.818u,19.031u);
  z51\1\0 = (5.059u,17.826u);
  z51\1\1 = (3.613u,17.826u);
  z51\2\0s = (8.431u,19.031u);
  z51\2\0 = (8.672u,17.826u);
  z51\2\1 = (7.227u,17.826u);
  z51\3\0s = (12.286u,19.031u);
  z51\3\0 = (12.527u,17.826u);
  z51\3\1 = (11.322u,17.826u);
  z51\3\2 = (11.563u,19.031u);
  z51\4\0s = (16.140u,18.067u);
  z51\4\0 = (14.936u,18.067u);
  z51\4\1 = (15.177u,19.031u);
  z51\5\0s = (7.468u,17.345u);
  z51\5\0 = (6.504u,15.417u);
  z51\5\1 = (4.818u,16.622u);
  z51\5\2 = (4.818u,17.104u);
  z51\6\0s = (11.563u,17.104u);
  z51\6\0 = (10.118u,15.177u);
  z51\6\1 = (8.431u,17.345u);
  z51\7\0s = (15.177u,17.345u);
  z51\7\0 = (13.972u,15.417u);
  z51\7\1 = (13.490u,15.417u);
  z51\7\2 = (12.286u,17.104u);
  z51\8\0s = (9.395u,14.213u);
  z51\8\0 = (6.745u,14.213u);
  z51\8\1c1 = (7.033u,16.674u);
  z51\8\1c2 = (8.819u,16.406u);
  z51\9\0s = (13.249u,14.213u);
  z51\9\0 = (10.600u,14.213u);
  z51\9\1c1 = (10.886u,16.661u);
  z51\9\1c2 = (12.676u,16.601u);
  z51\10\0s = (16.863u,14.213u);
  z51\10\0 = (14.213u,14.213u);
  z51\10\1c1 = (14.738u,16.644u);
  z51\10\1c2 = (16.580u,16.632u);
  z51\11\0s = (5.541u,14.213u);
  z51\11\0 = (3.132u,14.213u);
  z51\11\1c1 = (3.444u,16.420u);
  z51\11\1c2 = (5.279u,16.444u);
  z51\12\0s = (5.781u,13.249u);
  z51\12\0c1 = (4.874u,9.825u);
  z51\12\0c2 = (4.776u,6.865u);
  z51\12\0 = (5.059u,3.372u);
  z51\12\1 = (3.854u,3.372u);
  z51\12\2 = (4.314u,6.022u);
  z51\12\3 = (3.132u,13.249u);
  z51\13\0s = (9.395u,13.249u);
  z51\13\0 = (8.441u,6.022u);
  z51\13\1 = (8.913u,3.372u);
  z51\13\2 = (7.468u,3.372u);
  z51\13\3c1 = (8.492u,8.467u);
  z51\13\3c2 = (7.396u,8.632u);
  z51\13\3 = (6.745u,13.249u);
  z51\14\0s = (13.249u,13.249u);
  z51\14\0c1 = (12.893u,8.889u);
  z51\14\0c2 = (11.920u,8.140u);
  z51\14\0 = (12.768u,3.372u);
  z51\14\1 = (11.322u,3.372u);
  z51\14\2c1 = (12.071u,7.586u);
  z51\14\2c2 = (11.418u,9.177u);
  z51\14\2 = (10.600u,13.249u);
  z51\15\0s = (16.863u,13.249u);
  z51\15\0 = (15.900u,6.986u);
  z51\15\1 = (16.381u,3.372u);
  z51\15\2 = (15.177u,3.372u);
  z51\15\3 = (15.368u,8.191u);
  z51\15\4 = (14.454u,13.249u);
  fill_or_unfill z51\0\0s
    --z51\0\0
    --z51\0\1
    ..controls z51\0\2c1 and z51\0\2c2..z51\0\2
    ..controls z51\0\3c1 and z51\0\3c2..z51\0\3
    --z51\0\4
    --z51\0\5
    --z51\0\6
    --z51\0\7
    --z51\0\8
    --z51\0\9
    --z51\0\10
    --z51\0\11
    ..controls z51\0\12c1 and z51\0\12c2..z51\0\12
    --z51\0\13
    --z51\0\14
    --z51\0\15
    --z51\0\16
    --z51\0\17
    --z51\0\18
    --z51\0\19
    --z51\0\20
    --z51\0\21
    --z51\0\22
    --z51\0\23
    --z51\0\24
    --z51\0\25
    --z51\0\26
    --z51\0\27
    --z51\0\28
    --z51\0\29
    ..controls z51\0\30c1 and z51\0\30c2..z51\0\30
    ..controls z51\0\31c1 and z51\0\31c2..z51\0\31
    --z51\0\32
    --z51\0\33
    --z51\0\34
    ..controls z51\0\35c1 and z51\0\35c2..z51\0\35
    ..controls z51\0\36c1 and z51\0\36c2..z51\0\36
    ..controls z51\0\37c1 and z51\0\37c2..z51\0\37
    ..controls z51\0\38c1 and z51\0\38c2..z51\0\38
    --z51\0\39
    ..controls z51\0\40c1 and z51\0\40c2..z51\0\40
    ..controls z51\0\41c1 and z51\0\41c2..cycle;
  fill_or_unfill z51\1\0s
    --z51\1\0
    --z51\1\1
    --cycle;
  fill_or_unfill z51\2\0s
    --z51\2\0
    --z51\2\1
    --cycle;
  fill_or_unfill z51\3\0s
    --z51\3\0
    --z51\3\1
    --z51\3\2
    --cycle;
  fill_or_unfill z51\4\0s
    --z51\4\0
    --z51\4\1
    --cycle;
  fill_or_unfill z51\5\0s
    --z51\5\0
    --z51\5\1
    --z51\5\2
    --cycle;
  fill_or_unfill z51\6\0s
    --z51\6\0
    --z51\6\1
    --cycle;
  fill_or_unfill z51\7\0s
    --z51\7\0
    --z51\7\1
    --z51\7\2
    --cycle;
  fill_or_unfill z51\8\0s
    --z51\8\0
    ..controls z51\8\1c1 and z51\8\1c2..cycle;
  fill_or_unfill z51\9\0s
    --z51\9\0
    ..controls z51\9\1c1 and z51\9\1c2..cycle;
  fill_or_unfill z51\10\0s
    --z51\10\0
    ..controls z51\10\1c1 and z51\10\1c2..cycle;
  fill_or_unfill z51\11\0s
    --z51\11\0
    ..controls z51\11\1c1 and z51\11\1c2..cycle;
  fill_or_unfill z51\12\0s
    ..controls z51\12\0c1 and z51\12\0c2..z51\12\0
    --z51\12\1
    --z51\12\2
    --z51\12\3
    --cycle;
  fill_or_unfill z51\13\0s
    --z51\13\0
    --z51\13\1
    --z51\13\2
    ..controls z51\13\3c1 and z51\13\3c2..z51\13\3
    --cycle;
  fill_or_unfill z51\14\0s
    ..controls z51\14\0c1 and z51\14\0c2..z51\14\0
    --z51\14\1
    ..controls z51\14\2c1 and z51\14\2c2..z51\14\2
    --cycle;
  fill_or_unfill z51\15\0s
    --z51\15\0
    --z51\15\1
    --z51\15\2
    --z51\15\3
    --z51\15\4
    --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\0\8,
    51\0\9,
    51\0\10,
    51\0\11,
    51\0\12,
    51\0\13,
    51\0\14,
    51\0\15,
    51\0\16,
    51\0\17,
    51\0\18,
    51\0\19,
    51\0\20,
    51\0\21,
    51\0\22,
    51\0\23,
    51\0\24,
    51\0\25,
    51\0\26,
    51\0\27,
    51\0\28,
    51\0\29,
    51\0\30,
    51\0\31,
    51\0\32,
    51\0\33,
    51\0\34,
    51\0\35,
    51\0\36,
    51\0\37,
    51\0\38,
    51\0\39,
    51\0\40,
    51\0\41,
    51\1\0,
    51\1\1,
    51\1\2,
    51\2\0,
    51\2\1,
    51\2\2,
    51\3\0,
    51\3\1,
    51\3\2,
    51\3\3,
    51\4\0,
    51\4\1,
    51\4\2,
    51\5\0,
    51\5\1,
    51\5\2,
    51\5\3,
    51\6\0,
    51\6\1,
    51\6\2,
    51\7\0,
    51\7\1,
    51\7\2,
    51\7\3,
    51\8\0,
    51\8\1,
    51\9\0,
    51\9\1,
    51\10\0,
    51\10\1,
    51\11\0,
    51\11\1,
    51\12\0,
    51\12\1,
    51\12\2,
    51\12\3,
    51\12\4,
    51\13\0,
    51\13\1,
    51\13\2,
    51\13\3,
    51\13\4,
    51\14\0,
    51\14\1,
    51\14\2,
    51\14\3,
    51\15\0,
    51\15\1,
    51\15\2,
    51\15\3,
    51\15\4,
    51\15\5,
);
endchar;

beginchar (52, 7.227u#, 17.826u#, 0.000u#);
  "W19";
  z52\0\0s = (3.132u,5.781u);
  z52\0\0 = (1.927u,5.781u);
  z52\0\1c1 = (1.574u,4.593u);
  z52\0\1c2 = (1.219u,4.293u);
  z52\0\1 = (0.000u,4.095u);
  z52\0\2 = (0.000u,3.372u);
  z52\0\3 = (0.963u,3.372u);
  z52\0\4 = (0.963u,2.409u);
  z52\0\5 = (0.000u,2.409u);
  z52\0\6 = (0.000u,1.686u);
  z52\0\7 = (4.577u,0.345u);
  z52\0\8 = (7.227u,1.686u);
  z52\0\9 = (6.504u,2.409u);
  z52\0\10 = (7.227u,3.372u);
  z52\0\11 = (7.227u,4.095u);
  z52\0\12 = (4.336u,5.781u);
  z52\0\13c1 = (4.795u,8.349u);
  z52\0\13c2 = (5.991u,10.849u);
  z52\0\13 = (6.022u,13.490u);
  z52\0\14c1 = (6.087u,19.076u);
  z52\0\14c2 = (1.261u,18.960u);
  z52\0\14 = (1.455u,13.972u);
  z52\0\15c1 = (1.564u,11.160u);
  z52\0\15c2 = (2.408u,8.468u);
  z52\1\0s = (3.613u,6.986u);
  z52\1\0c1 = (2.918u,8.623u);
  z52\1\0c2 = (0.972u,15.960u);
  z52\1\0 = (3.386u,16.705u);
  z52\1\1c1 = (7.005u,17.822u);
  z52\1\1c2 = (4.483u,8.267u);
  z52\2\0s = (5.300u,4.095u);
  z52\2\0 = (2.409u,4.095u);
  z52\2\1c1 = (3.141u,5.393u);
  z52\2\1c2 = (4.546u,5.351u);
  z52\3\0s = (5.781u,3.372u);
  z52\3\0 = (5.781u,2.409u);
  z52\3\1 = (1.686u,2.409u);
  z52\3\2 = (1.686u,3.372u);
  z52\4\0s = (5.300u,1.686u);
  z52\4\0c1 = (4.303u,0.769u);
  z52\4\0c2 = (3.387u,0.722u);
  z52\4\0 = (2.409u,1.686u);
  fill_or_unfill z52\0\0s
    --z52\0\0
    ..controls z52\0\1c1 and z52\0\1c2..z52\0\1
    --z52\0\2
    --z52\0\3
    --z52\0\4
    --z52\0\5
    --z52\0\6
    --z52\0\7
    --z52\0\8
    --z52\0\9
    --z52\0\10
    --z52\0\11
    --z52\0\12
    ..controls z52\0\13c1 and z52\0\13c2..z52\0\13
    ..controls z52\0\14c1 and z52\0\14c2..z52\0\14
    ..controls z52\0\15c1 and z52\0\15c2..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..cycle;
  fill_or_unfill z52\2\0s
    --z52\2\0
    ..controls z52\2\1c1 and z52\2\1c2..cycle;
  fill_or_unfill z52\3\0s
    --z52\3\0
    --z52\3\1
    --z52\3\2
    --cycle;
  fill_or_unfill z52\4\0s
    ..controls z52\4\0c1 and z52\4\0c2..z52\4\0
    --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\0\7,
    52\0\8,
    52\0\9,
    52\0\10,
    52\0\11,
    52\0\12,
    52\0\13,
    52\0\14,
    52\0\15,
    52\1\0,
    52\1\1,
    52\2\0,
    52\2\1,
    52\3\0,
    52\3\1,
    52\3\2,
    52\3\3,
    52\4\0,
    52\4\1,
);
endchar;

beginchar (53, 7.950u#, 17.586u#, 0.000u#);
  "W20";
  z53\0\0s = (1.927u,16.622u);
  z53\0\0c1 = (4.079u,16.261u);
  z53\0\0c2 = (3.372u,13.233u);
  z53\0\0 = (3.372u,11.563u);
  z53\0\1 = (1.686u,11.563u);
  z53\0\2 = (1.686u,10.840u);
  z53\0\3 = (2.650u,10.840u);
  z53\0\4c1 = (2.427u,9.500u);
  z53\0\4c2 = (1.384u,7.940u);
  z53\0\4 = (0.000u,7.709u);
  z53\0\5 = (0.000u,6.986u);
  z53\0\6c1 = (1.067u,6.645u);
  z53\0\6c2 = (1.116u,6.377u);
  z53\0\6 = (1.204u,5.300u);
  z53\0\7 = (0.241u,5.300u);
  z53\0\8 = (0.241u,4.577u);
  z53\0\9c1 = (2.674u,4.169u);
  z53\0\9c2 = (1.455u,1.602u);
  z53\0\9 = (2.991u,0.861u);
  z53\0\10c1 = (3.408u,0.659u);
  z53\0\10c2 = (4.781u,0.723u);
  z53\0\10 = (5.300u,0.723u);
  z53\0\11 = (6.504u,4.577u);
  z53\0\12 = (7.709u,4.577u);
  z53\0\13 = (7.709u,5.300u);
  z53\0\14 = (6.745u,5.300u);
  z53\0\15c1 = (6.833u,6.377u);
  z53\0\15c2 = (6.882u,6.645u);
  z53\0\15 = (7.950u,6.986u);
  z53\0\16 = (7.950u,7.709u);
  z53\0\17 = (6.504u,7.709u);
  z53\0\18 = (5.059u,10.840u);
  z53\0\19 = (6.022u,10.840u);
  z53\0\20 = (6.022u,11.563u);
  z53\0\21 = (4.336u,11.563u);
  z53\0\22c1 = (4.336u,12.527u);
  z53\0\22c2 = (4.449u,15.656u);
  z53\0\22 = (4.158u,16.371u);
  z53\0\23c1 = (3.699u,17.500u);
  z53\0\23c2 = (2.416u,18.014u);
  z53\1\0s = (4.336u,10.840u);
  z53\1\0 = (5.781u,7.709u);
  z53\1\1 = (2.168u,7.709u);
  z53\2\0s = (1.927u,5.300u);
  z53\2\0c1 = (2.025u,8.086u);
  z53\2\0c2 = (5.661u,6.944u);
  z53\2\0 = (5.864u,6.433u);
  z53\2\1c1 = (6.276u,5.401u);
  z53\2\1c2 = (4.978u,5.313u);
  z53\2\1 = (4.336u,5.300u);
  z53\3\0s = (5.781u,4.577u);
  z53\3\0c1 = (4.862u,0.545u);
  z53\3\0c2 = (2.624u,0.191u);
  z53\3\0 = (2.409u,4.577u);
  fill_or_unfill z53\0\0s
    ..controls z53\0\0c1 and z53\0\0c2..z53\0\0
    --z53\0\1
    --z53\0\2
    --z53\0\3
    ..controls z53\0\4c1 and z53\0\4c2..z53\0\4
    --z53\0\5
    ..controls z53\0\6c1 and z53\0\6c2..z53\0\6
    --z53\0\7
    --z53\0\8
    ..controls z53\0\9c1 and z53\0\9c2..z53\0\9
    ..controls z53\0\10c1 and z53\0\10c2..z53\0\10
    --z53\0\11
    --z53\0\12
    --z53\0\13
    --z53\0\14
    ..controls z53\0\15c1 and z53\0\15c2..z53\0\15
    --z53\0\16
    --z53\0\17
    --z53\0\18
    --z53\0\19
    --z53\0\20
    --z53\0\21
    ..controls z53\0\22c1 and z53\0\22c2..z53\0\22
    ..controls z53\0\23c1 and z53\0\23c2..cycle;
  fill_or_unfill z53\1\0s
    --z53\1\0
    --z53\1\1
    --cycle;
  fill_or_unfill z53\2\0s
    ..controls z53\2\0c1 and z53\2\0c2..z53\2\0
    ..controls z53\2\1c1 and z53\2\1c2..z53\2\1
    --cycle;
  fill_or_unfill z53\3\0s
    ..controls z53\3\0c1 and z53\3\0c2..z53\3\0
    --cycle;
  proof_labels (
    53\0\0,
    53\0\1,
    53\0\2,
    53\0\3,
    53\0\4,
    53\0\5,
    53\0\6,
    53\0\7,
    53\0\8,
    53\0\9,
    53\0\10,
    53\0\11,
    53\0\12,
    53\0\13,
    53\0\14,
    53\0\15,
    53\0\16,
    53\0\17,
    53\0\18,
    53\0\19,
    53\0\20,
    53\0\21,
    53\0\22,
    53\0\23,
    53\1\0,
    53\1\1,
    53\1\2,
    53\2\0,
    53\2\1,
    53\2\2,
    53\3\0,
    53\3\1,
);
endchar;

beginchar (54, 9.154u#, 9.636u#, 0.000u#);
  "W21";
  z54\0\0s = (2.650u,9.636u);
  z54\0\0c1 = (1.833u,8.143u);
  z54\0\0c2 = (1.782u,5.855u);
  z54\0\0 = (0.000u,5.300u);
  z54\0\1 = (0.000u,4.577u);
  z54\0\2 = (0.963u,4.577u);
  z54\0\3 = (0.000u,3.613u);
  z54\0\4 = (0.000u,2.891u);
  z54\0\5c1 = (1.483u,2.005u);
  z54\0\5c2 = (1.993u,-1.367u);
  z54\0\5 = (4.336u,1.445u);
  z54\0\6c1 = (7.571u,-1.101u);
  z54\0\6c2 = (7.108u,2.239u);
  z54\0\6 = (9.154u,2.891u);
  z54\0\7 = (9.154u,3.613u);
  z54\0\8 = (7.950u,4.577u);
  z54\0\9 = (9.154u,4.577u);
  z54\0\10 = (9.154u,5.300u);
  z54\0\11c1 = (7.023u,5.550u);
  z54\0\11c2 = (7.012u,7.937u);
  z54\0\11 = (6.263u,9.636u);
  z54\0\12 = (4.095u,5.781u);
  z54\0\13 = (3.132u,9.636u);
  z54\1\0s = (6.022u,7.950u);
  z54\1\0 = (6.745u,5.300u);
  z54\1\1 = (5.300u,5.300u);
  z54\2\0s = (2.891u,7.709u);
  z54\2\0 = (3.613u,5.300u);
  z54\2\1 = (1.927u,5.541u);
  z54\3\0s = (3.854u,4.577u);
  z54\3\0 = (3.854u,3.613u);
  z54\3\1 = (1.686u,3.613u);
  z54\3\2 = (1.686u,4.577u);
  z54\4\0s = (7.227u,4.577u);
  z54\4\0c1 = (6.789u,3.325u);
  z54\4\0c2 = (5.911u,3.545u);
  z54\4\0 = (4.818u,3.854u);
  z54\4\1 = (4.818u,4.336u);
  z54\5\0s = (3.854u,2.891u);
  z54\5\0c1 = (3.677u,0.719u);
  z54\5\0c2 = (1.864u,0.719u);
  z54\5\0 = (1.686u,2.891u);
  z54\6\0s = (7.227u,2.891u);
  z54\6\0c1 = (6.815u,1.003u);
  z54\6\0c2 = (5.588u,0.862u);
  z54\6\0 = (4.818u,2.650u);
  fill_or_unfill z54\0\0s
    ..controls z54\0\0c1 and z54\0\0c2..z54\0\0
    --z54\0\1
    --z54\0\2
    --z54\0\3
    --z54\0\4
    ..controls z54\0\5c1 and z54\0\5c2..z54\0\5
    ..controls z54\0\6c1 and z54\0\6c2..z54\0\6
    --z54\0\7
    --z54\0\8
    --z54\0\9
    --z54\0\10
    ..controls z54\0\11c1 and z54\0\11c2..z54\0\11
    --z54\0\12
    --z54\0\13
    --cycle;
  fill_or_unfill z54\1\0s
    --z54\1\0
    --z54\1\1
    --cycle;
  fill_or_unfill z54\2\0s
    --z54\2\0
    --z54\2\1
    --cycle;
  fill_or_unfill z54\3\0s
    --z54\3\0
    --z54\3\1
    --z54\3\2
    --cycle;
  fill_or_unfill z54\4\0s
    ..controls z54\4\0c1 and z54\4\0c2..z54\4\0
    --z54\4\1
    --cycle;
  fill_or_unfill z54\5\0s
    ..controls z54\5\0c1 and z54\5\0c2..z54\5\0
    --cycle;
  fill_or_unfill z54\6\0s
    ..controls z54\6\0c1 and z54\6\0c2..z54\6\0
    --cycle;
  proof_labels (
    54\0\0,
    54\0\1,
    54\0\2,
    54\0\3,
    54\0\4,
    54\0\5,
    54\0\6,
    54\0\7,
    54\0\8,
    54\0\9,
    54\0\10,
    54\0\11,
    54\0\12,
    54\0\13,
    54\0\14,
    54\1\0,
    54\1\1,
    54\1\2,
    54\2\0,
    54\2\1,
    54\2\2,
    54\3\0,
    54\3\1,
    54\3\2,
    54\3\3,
    54\4\0,
    54\4\1,
    54\4\2,
    54\5\0,
    54\5\1,
    54\6\0,
    54\6\1,
);
endchar;

beginchar (55, 5.541u#, 9.395u#, 0.000u#);
  "W22";
  z55\0\0s = (0.482u,9.395u);
  z55\0\0c1 = (2.032u,6.688u);
  z55\0\0c2 = (0.322u,7.744u);
  z55\0\0 = (0.048u,5.300u);
  z55\0\1c1 = (-0.186u,3.208u);
  z55\0\1c2 = (0.783u,0.642u);
  z55\0\1 = (3.132u,0.727u);
  z55\0\2c1 = (3.865u,0.754u);
  z55\0\2c2 = (4.332u,0.814u);
  z55\0\2 = (4.752u,1.480u);
  z55\0\3c1 = (6.899u,4.895u);
  z55\0\3c2 = (4.145u,7.720u);
  z55\0\3 = (4.365u,8.345u);
  z55\0\4 = (5.059u,9.395u);
  z55\1\0s = (3.372u,8.672u);
  z55\1\0 = (4.577u,6.022u);
  z55\1\1 = (1.204u,6.022u);
  z55\1\2 = (2.168u,8.672u);
  z55\2\0s = (4.818u,5.300u);
  z55\2\0c1 = (4.801u,-0.358u);
  z55\2\0c2 = (0.988u,-0.123u);
  z55\2\0 = (0.723u,5.300u);
  fill_or_unfill z55\0\0s
    ..controls z55\0\0c1 and z55\0\0c2..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
    --z55\0\4
    --cycle;
  fill_or_unfill z55\1\0s
    --z55\1\0
    --z55\1\1
    --z55\1\2
    --cycle;
  fill_or_unfill z55\2\0s
    ..controls z55\2\0c1 and z55\2\0c2..z55\2\0
    --cycle;
  proof_labels (
    55\0\0,
    55\0\1,
    55\0\2,
    55\0\3,
    55\0\4,
    55\0\5,
    55\1\0,
    55\1\1,
    55\1\2,
    55\1\3,
    55\2\0,
    55\2\1,
);
endchar;

beginchar (56, 8.672u#, 9.877u#, 0.000u#);
  "W23";
  z56\0\0s = (1.927u,9.877u);
  z56\0\0 = (1.927u,8.913u);
  z56\0\1 = (2.891u,8.913u);
  z56\0\2c1 = (2.207u,7.559u);
  z56\0\2c2 = (1.509u,7.039u);
  z56\0\2 = (0.000u,6.986u);
  z56\0\3 = (0.000u,6.022u);
  z56\0\4c1 = (2.473u,4.750u);
  z56\0\4c2 = (0.183u,0.990u);
  z56\0\4 = (4.095u,0.964u);
  z56\0\5c1 = (4.907u,0.958u);
  z56\0\5c2 = (6.151u,0.776u);
  z56\0\5 = (6.679u,1.521u);
  z56\0\6c1 = (7.777u,3.071u);
  z56\0\6c2 = (6.748u,5.033u);
  z56\0\6 = (8.672u,6.022u);
  z56\0\7 = (8.672u,6.986u);
  z56\0\8c1 = (7.133u,7.040u);
  z56\0\8c2 = (6.464u,7.523u);
  z56\0\8 = (5.781u,8.913u);
  z56\0\9 = (6.504u,9.877u);
  z56\1\0s = (4.120u,8.734u);
  z56\1\0c1 = (6.493u,8.632u);
  z56\1\0c2 = (8.728u,1.498u);
  z56\1\0 = (4.120u,1.691u);
  z56\1\1c1 = (2.059u,1.775u);
  z56\1\1c2 = (1.413u,4.816u);
  z56\1\1 = (2.105u,6.464u);
  z56\1\2c1 = (2.372u,7.099u);
  z56\1\2c2 = (3.559u,8.370u);
  fill_or_unfill z56\0\0s
    --z56\0\0
    --z56\0\1
    ..controls z56\0\2c1 and z56\0\2c2..z56\0\2
    --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
    --z56\0\7
    ..controls z56\0\8c1 and z56\0\8c2..z56\0\8
    --z56\0\9
    --cycle;
  fill_or_unfill z56\1\0s
    ..controls z56\1\0c1 and z56\1\0c2..z56\1\0
    ..controls z56\1\1c1 and z56\1\1c2..z56\1\1
    ..controls z56\1\2c1 and z56\1\2c2..cycle;
  proof_labels (
    56\0\0,
    56\0\1,
    56\0\2,
    56\0\3,
    56\0\4,
    56\0\5,
    56\0\6,
    56\0\7,
    56\0\8,
    56\0\9,
    56\0\10,
    56\1\0,
    56\1\1,
    56\1\2,
);
endchar;

beginchar (57, 7.468u#, 8.913u#, 0.000u#);
  "W24";
  z57\0\0s = (1.445u,8.913u);
  z57\0\0c1 = (1.323u,7.383u);
  z57\0\0c2 = (0.153u,6.540u);
  z57\0\0 = (0.026u,5.059u);
  z57\0\1c1 = (-0.377u,0.374u);
  z57\0\1c2 = (6.809u,-0.086u);
  z57\0\1 = (7.416u,4.095u);
  z57\0\2c1 = (7.709u,6.116u);
  z57\0\2c2 = (6.171u,7.055u);
  z57\0\2 = (6.022u,8.913u);
  z57\1\0s = (5.059u,8.191u);
  z57\1\0 = (2.409u,7.950u);
  z57\2\0s = (2.650u,7.133u);
  z57\2\0c1 = (8.552u,7.936u);
  z57\2\0c2 = (7.503u,1.569u);
  z57\2\0 = (3.372u,1.954u);
  z57\2\1c1 = (0.427u,2.227u);
  z57\2\1c2 = (-0.402u,6.136u);
  fill_or_unfill z57\0\0s
    ..controls z57\0\0c1 and z57\0\0c2..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
    --cycle;
  fill_or_unfill z57\1\0s
    --z57\1\0
    --cycle;
  fill_or_unfill z57\2\0s
    ..controls z57\2\0c1 and z57\2\0c2..z57\2\0
    ..controls z57\2\1c1 and z57\2\1c2..cycle;
  proof_labels (
    57\0\0,
    57\0\1,
    57\0\2,
    57\0\3,
    57\1\0,
    57\1\1,
    57\2\0,
    57\2\1,
);
endchar;

beginchar (58, 7.709u#, 19.031u#, 0.000u#);
  "W25";
  z58\0\0s = (2.891u,19.031u);
  z58\0\0 = (2.486u,16.384u);
  z58\0\1 = (3.854u,12.768u);
  z58\0\2 = (2.685u,3.423u);
  z58\0\3 = (0.000u,2.168u);
  z58\0\4 = (0.000u,1.445u);
  z58\0\5 = (3.469u,1.932u);
  z58\0\6 = (5.059u,13.731u);
  z58\0\7 = (6.564u,3.626u);
  z58\0\8 = (4.095u,1.445u);
  z58\0\9c1 = (5.706u,1.481u);
  z58\0\9c2 = (7.832u,1.242u);
  z58\0\9 = (7.667u,3.373u);
  z58\0\10 = (6.918u,10.359u);
  z58\0\11 = (6.209u,13.951u);
  z58\0\12c1 = (6.271u,14.750u);
  z58\0\12c2 = (7.062u,15.171u);
  z58\0\12 = (7.323u,15.903u);
  z58\0\13c1 = (7.662u,16.854u);
  z58\0\13c2 = (7.087u,18.052u);
  z58\0\13 = (6.986u,19.031u);
  z58\1\0s = (4.587u,17.960u);
  z58\1\0c1 = (7.081u,18.208u);
  z58\1\0c2 = (7.215u,15.738u);
  z58\1\0 = (5.530u,15.281u);
  z58\1\1c1 = (3.592u,14.755u);
  z58\1\1c2 = (2.491u,17.054u);
  fill_or_unfill z58\0\0s
    --z58\0\0
    --z58\0\1
    --z58\0\2
    --z58\0\3
    --z58\0\4
    --z58\0\5
    --z58\0\6
    --z58\0\7
    --z58\0\8
    ..controls z58\0\9c1 and z58\0\9c2..z58\0\9
    --z58\0\10
    --z58\0\11
    ..controls z58\0\12c1 and z58\0\12c2..z58\0\12
    ..controls z58\0\13c1 and z58\0\13c2..z58\0\13
    --cycle;
  fill_or_unfill z58\1\0s
    ..controls z58\1\0c1 and z58\1\0c2..z58\1\0
    ..controls z58\1\1c1 and z58\1\1c2..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\0\11,
    58\0\12,
    58\0\13,
    58\0\14,
    58\1\0,
    58\1\1,
);
endchar;