beginchar (32, 8.431u#, 8.672u#, 0.000u#);
  "Aa1";
  z32\0\0s = (3.372u,8.544u);
  z32\0\0c1 = (-1.364u,7.076u);
  z32\0\0c2 = (-0.923u,0.882u);
  z32\0\0 = (3.854u,0.295u);
  z32\0\1c1 = (9.458u,-0.393u);
  z32\0\1c2 = (10.217u,9.521u);
  z32\1\0s = (6.756u,6.988u);
  z32\1\0 = (1.927u,6.986u);
  z32\1\1c1 = (3.277u,8.405u);
  z32\1\1c2 = (5.437u,8.111u);
  z32\2\0s = (1.462u,6.310u);
  z32\2\0 = (7.202u,6.310u);
  z32\2\1c1 = (7.468u,5.812u);
  z32\2\1c2 = (7.468u,5.721u);
  z32\2\1 = (7.487u,5.526u);
  z32\2\2c1 = (5.842u,5.541u);
  z32\2\2c2 = (4.215u,5.541u);
  z32\2\2 = (2.589u,5.541u);
  z32\2\3 = (0.963u,5.541u);
  z32\2\4c1 = (1.266u,6.043u);
  z32\2\4c2 = (1.248u,6.079u);
  z32\3\0s = (7.612u,4.920u);
  z32\3\0 = (7.612u,4.153u);
  z32\3\1 = (0.784u,4.189u);
  z32\3\2 = (0.784u,4.938u);
  z32\4\0s = (7.468u,3.372u);
  z32\4\0c1 = (7.398u,3.084u);
  z32\4\0c2 = (7.273u,2.763u);
  z32\4\0 = (6.952u,2.531u);
  z32\4\1 = (1.658u,2.567u);
  z32\4\2c1 = (1.480u,2.656u);
  z32\4\2c2 = (1.087u,3.066u);
  z32\4\2 = (0.998u,3.387u);
  z32\5\0s = (6.239u,1.783u);
  z32\5\0c1 = (4.956u,0.801u);
  z32\5\0c2 = (3.822u,0.858u);
  z32\5\0 = (2.282u,1.800u);
  fill_or_unfill z32\0\0s
    ..controls z32\0\0c1 and z32\0\0c2..z32\0\0
    ..controls z32\0\1c1 and z32\0\1c2..cycle;
  fill_or_unfill z32\1\0s
    --z32\1\0
    ..controls z32\1\1c1 and z32\1\1c2..cycle;
  fill_or_unfill z32\2\0s
    --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
    --z32\2\3
    ..controls z32\2\4c1 and z32\2\4c2..cycle;
  fill_or_unfill z32\3\0s
    --z32\3\0
    --z32\3\1
    --z32\3\2
    --cycle;
  fill_or_unfill z32\4\0s
    ..controls z32\4\0c1 and z32\4\0c2..z32\4\0
    --z32\4\1
    ..controls z32\4\2c1 and z32\4\2c2..z32\4\2
    --cycle;
  fill_or_unfill z32\5\0s
    ..controls z32\5\0c1 and z32\5\0c2..z32\5\0
    --cycle;
  proof_labels (
    32\0\0,
    32\0\1,
    32\1\0,
    32\1\1,
    32\2\0,
    32\2\1,
    32\2\2,
    32\2\3,
    32\2\4,
    32\3\0,
    32\3\1,
    32\3\2,
    32\3\3,
    32\4\0,
    32\4\1,
    32\4\2,
    32\4\3,
    32\5\0,
    32\5\1,
);
endchar;

beginchar (33, 8.913u#, 9.636u#, 0.000u#);
  "Aa2";
  z33\0\0s = (1.217u,9.458u);
  z33\0\0c1 = (-0.733u,8.295u);
  z33\0\0c2 = (0.196u,6.749u);
  z33\0\0 = (0.534u,5.059u);
  z33\0\1c1 = (0.733u,4.058u);
  z33\0\1c2 = (0.444u,3.066u);
  z33\0\1 = (1.279u,2.244u);
  z33\0\2c1 = (1.805u,1.725u);
  z33\0\2c2 = (6.645u,0.380u);
  z33\0\2 = (7.458u,0.639u);
  z33\0\3c1 = (9.925u,1.427u);
  z33\0\3c2 = (8.565u,4.199u);
  z33\0\3 = (8.210u,5.781u);
  z33\0\4c1 = (8.010u,6.676u);
  z33\0\4c2 = (8.272u,7.332u);
  z33\0\4 = (7.586u,8.136u);
  z33\0\5c1 = (6.777u,9.083u);
  z33\0\5c2 = (2.473u,9.769u);
  z33\1\0s = (1.712u,8.810u);
  z33\1\0c1 = (6.318u,9.528u);
  z33\1\0c2 = (10.410u,2.069u);
  z33\1\0 = (6.982u,1.284u);
  z33\1\1c1 = (3.984u,0.597u);
  z33\1\1c2 = (-1.474u,7.284u);
  z33\2\0s = (7.468u,6.745u);
  z33\2\0 = (6.022u,8.191u);
  z33\2\1c1 = (7.075u,7.953u);
  z33\2\1c2 = (7.230u,7.797u);
  z33\3\0s = (1.445u,3.854u);
  z33\3\0 = (2.612u,2.631u);
  z33\3\1c1 = (1.578u,2.837u);
  z33\3\1c2 = (1.447u,2.988u);
  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
    ..controls z33\0\2c1 and z33\0\2c2..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..cycle;
  fill_or_unfill z33\1\0s
    ..controls z33\1\0c1 and z33\1\0c2..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..cycle;
  fill_or_unfill z33\3\0s
    --z33\3\0
    ..controls z33\3\1c1 and z33\3\1c2..cycle;
  proof_labels (
    33\0\0,
    33\0\1,
    33\0\2,
    33\0\3,
    33\0\4,
    33\0\5,
    33\1\0,
    33\1\1,
    33\2\0,
    33\2\1,
    33\3\0,
    33\3\1,
);
endchar;

beginchar (34, 12.768u#, 9.877u#, 0.000u#);
  "Aa3";
  z34\0\0s = (0.000u,3.613u);
  z34\0\0 = (3.613u,8.431u);
  z34\0\1c1 = (3.635u,7.464u);
  z34\0\1c2 = (4.661u,2.576u);
  z34\0\1 = (5.196u,2.031u);
  z34\0\2c1 = (5.863u,1.351u);
  z34\0\2c2 = (6.629u,1.520u);
  z34\0\2 = (7.468u,1.355u);
  z34\0\3c1 = (9.495u,0.957u);
  z34\0\3c2 = (13.251u,-0.225u);
  z34\0\3 = (12.685u,3.613u);
  z34\0\4 = (11.626u,7.896u);
  z34\0\5c1 = (10.933u,8.819u);
  z34\0\5c2 = (9.883u,8.679u);
  z34\0\5 = (8.913u,8.970u);
  z34\0\6c1 = (7.620u,9.359u);
  z34\0\6c2 = (7.350u,9.976u);
  z34\0\6 = (5.781u,9.851u);
  z34\0\7c1 = (2.199u,9.567u);
  z34\0\7c2 = (0.162u,7.081u);
  z34\1\0s = (5.313u,9.009u);
  z34\1\0c1 = (9.199u,9.769u);
  z34\1\0c2 = (14.069u,2.821u);
  z34\1\0 = (11.055u,1.590u);
  z34\1\1c1 = (7.940u,0.316u);
  z34\1\1c2 = (2.162u,7.080u);
  z34\2\0s = (11.322u,6.504u);
  z34\2\0c1 = (11.527u,7.234u);
  z34\2\0c2 = (10.918u,8.029u);
  z34\2\0 = (9.990u,7.844u);
  z34\3\0s = (5.541u,3.613u);
  z34\3\0 = (6.745u,2.168u);
  z34\3\1c1 = (5.851u,2.370u);
  z34\3\1c2 = (5.291u,2.589u);
  fill_or_unfill z34\0\0s
    --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
    ..controls z34\0\3c1 and z34\0\3c2..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..cycle;
  fill_or_unfill z34\1\0s
    ..controls z34\1\0c1 and z34\1\0c2..z34\1\0
    ..controls z34\1\1c1 and z34\1\1c2..cycle;
  fill_or_unfill z34\2\0s
    ..controls z34\2\0c1 and z34\2\0c2..z34\2\0
    --cycle;
  fill_or_unfill z34\3\0s
    --z34\3\0
    ..controls z34\3\1c1 and z34\3\1c2..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\1\0,
    34\1\1,
    34\2\0,
    34\2\1,
    34\3\0,
    34\3\1,
);
endchar;

beginchar (35, 15.177u#, 15.899u#, 0.000u#);
  "Aa4";
  z35\0\0s = (7.468u,15.899u);
  z35\0\0c1 = (6.589u,14.975u);
  z35\0\0c2 = (2.332u,9.623u);
  z35\0\0 = (2.136u,8.672u);
  z35\0\1c1 = (1.931u,7.674u);
  z35\0\1c2 = (2.973u,7.271u);
  z35\0\1 = (2.676u,6.436u);
  z35\0\2c1 = (2.324u,5.444u);
  z35\0\2c2 = (0.259u,3.630u);
  z35\0\2 = (0.285u,2.650u);
  z35\0\3c1 = (0.314u,1.533u);
  z35\0\3c2 = (1.650u,0.830u);
  z35\0\3 = (2.507u,1.726u);
  z35\0\4c1 = (3.700u,2.973u);
  z35\0\4c2 = (6.534u,6.885u);
  z35\0\4 = (7.227u,8.431u);
  z35\0\5 = (7.709u,8.431u);
  z35\0\6c1 = (8.295u,7.292u);
  z35\0\6c2 = (12.325u,1.855u);
  z35\0\6 = (13.290u,1.486u);
  z35\0\7c1 = (14.178u,1.146u);
  z35\0\7c2 = (15.184u,2.271u);
  z35\0\7 = (14.896u,3.132u);
  z35\0\8c1 = (14.612u,3.982u);
  z35\0\8c2 = (12.854u,5.490u);
  z35\0\8 = (12.463u,6.504u);
  z35\0\9c1 = (12.082u,7.490u);
  z35\0\9c2 = (12.976u,7.888u);
  z35\0\9 = (12.667u,8.913u);
  z35\0\10c1 = (12.392u,9.828u);
  z35\0\10c2 = (8.308u,15.242u);
  z35\1\0s = (7.709u,14.695u);
  z35\1\0 = (11.435u,9.636u);
  z35\1\1c1 = (11.719u,9.210u);
  z35\1\1c2 = (12.390u,7.531u);
  z35\1\1 = (11.141u,8.046u);
  z35\1\2c1 = (10.336u,8.377u);
  z35\1\2c2 = (8.141u,11.645u);
  z35\1\2 = (7.709u,12.527u);
  z35\1\3 = (7.227u,12.527u);
  z35\1\4c1 = (6.517u,11.148u);
  z35\1\4c2 = (5.391u,9.642u);
  z35\1\4 = (4.394u,8.446u);
  z35\1\5c1 = (4.087u,8.078u);
  z35\1\5c2 = (3.033u,7.188u);
  z35\1\5 = (2.897u,8.230u);
  z35\1\6c1 = (2.783u,9.092u);
  z35\1\6c2 = (6.535u,13.661u);
  z35\1\6 = (7.227u,14.695u);
  z35\2\0s = (1.686u,1.927u);
  z35\2\0c1 = (1.394u,2.257u);
  z35\2\0c2 = (1.164u,2.395u);
  z35\2\0 = (1.243u,2.901u);
  z35\2\1c1 = (1.370u,3.705u);
  z35\2\1c2 = (6.598u,10.805u);
  z35\2\1 = (7.259u,11.000u);
  z35\2\2c1 = (8.101u,11.249u);
  z35\2\2c2 = (12.277u,5.562u);
  z35\2\2 = (13.055u,4.577u);
  z35\2\3c1 = (13.339u,4.218u);
  z35\2\3c2 = (14.486u,2.882u);
  z35\2\3 = (13.818u,2.449u);
  z35\2\4c1 = (13.194u,2.044u);
  z35\2\4c2 = (12.215u,3.463u);
  z35\2\4 = (11.900u,3.854u);
  z35\2\5c1 = (11.232u,4.685u);
  z35\2\5c2 = (8.411u,8.664u);
  z35\2\5 = (7.703u,8.866u);
  z35\2\6c1 = (6.673u,9.159u);
  z35\2\6c2 = (2.661u,2.998u);
  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
    ..controls z35\0\2c1 and z35\0\2c2..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..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
    ..controls z35\0\10c1 and z35\0\10c2..cycle;
  fill_or_unfill z35\1\0s
    --z35\1\0
    ..controls z35\1\1c1 and z35\1\1c2..z35\1\1
    ..controls z35\1\2c1 and z35\1\2c2..z35\1\2
    --z35\1\3
    ..controls z35\1\4c1 and z35\1\4c2..z35\1\4
    ..controls z35\1\5c1 and z35\1\5c2..z35\1\5
    ..controls z35\1\6c1 and z35\1\6c2..z35\1\6
    --cycle;
  fill_or_unfill z35\2\0s
    ..controls z35\2\0c1 and z35\2\0c2..z35\2\0
    ..controls z35\2\1c1 and z35\2\1c2..z35\2\1
    ..controls z35\2\2c1 and z35\2\2c2..z35\2\2
    ..controls z35\2\3c1 and z35\2\3c2..z35\2\3
    ..controls z35\2\4c1 and z35\2\4c2..z35\2\4
    ..controls z35\2\5c1 and z35\2\5c2..z35\2\5
    ..controls z35\2\6c1 and z35\2\6c2..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\1\0,
    35\1\1,
    35\1\2,
    35\1\3,
    35\1\4,
    35\1\5,
    35\1\6,
    35\1\7,
    35\2\0,
    35\2\1,
    35\2\2,
    35\2\3,
    35\2\4,
    35\2\5,
    35\2\6,
);
endchar;

beginchar (36, 17.345u#, 9.154u#, 0.000u#);
  "Aa5";
  z36\0\0s = (2.409u,1.445u);
  z36\0\0 = (3.613u,8.191u);
  z36\0\1 = (7.565u,3.613u);
  z36\0\2 = (7.709u,1.204u);
  z36\0\3 = (9.861u,1.204u);
  z36\0\4 = (9.861u,3.613u);
  z36\0\5 = (13.490u,8.191u);
  z36\0\6 = (14.123u,5.300u);
  z36\0\7 = (14.556u,3.613u);
  z36\0\8c1 = (14.845u,2.582u);
  z36\0\8c2 = (15.012u,1.535u);
  z36\0\8 = (16.370u,1.745u);
  z36\0\9c1 = (16.711u,1.798u);
  z36\0\9c2 = (17.051u,1.921u);
  z36\0\9 = (17.182u,2.272u);
  z36\0\10c1 = (17.494u,3.108u);
  z36\0\10c2 = (14.771u,8.707u);
  z36\0\10 = (13.925u,8.996u);
  z36\0\11c1 = (12.190u,9.589u);
  z36\0\11c2 = (10.033u,4.195u);
  z36\0\11 = (8.432u,4.624u);
  z36\0\12c1 = (7.000u,5.008u);
  z36\0\12c2 = (4.742u,9.493u);
  z36\0\12 = (3.194u,8.984u);
  z36\0\13c1 = (2.502u,8.757u);
  z36\0\13c2 = (-0.090u,2.668u);
  z36\0\13 = (0.271u,2.062u);
  z36\0\14c1 = (0.608u,1.496u);
  z36\0\14c2 = (1.827u,1.473u);
  z36\1\0s = (2.650u,6.263u);
  z36\1\0c1 = (2.477u,4.981u);
  z36\1\0c2 = (2.474u,2.178u);
  z36\1\0 = (0.723u,2.409u);
  z36\2\0s = (14.936u,6.263u);
  z36\2\0 = (16.622u,2.650u);
  z36\2\1 = (15.417u,2.409u);
  z36\3\0s = (8.672u,3.372u);
  z36\3\0 = (9.154u,1.686u);
  z36\3\1 = (8.431u,1.686u);
  fill_or_unfill z36\0\0s
    --z36\0\0
    --z36\0\1
    --z36\0\2
    --z36\0\3
    --z36\0\4
    --z36\0\5
    --z36\0\6
    --z36\0\7
    ..controls z36\0\8c1 and z36\0\8c2..z36\0\8
    ..controls z36\0\9c1 and z36\0\9c2..z36\0\9
    ..controls z36\0\10c1 and z36\0\10c2..z36\0\10
    ..controls z36\0\11c1 and z36\0\11c2..z36\0\11
    ..controls z36\0\12c1 and z36\0\12c2..z36\0\12
    ..controls z36\0\13c1 and z36\0\13c2..z36\0\13
    ..controls z36\0\14c1 and z36\0\14c2..cycle;
  fill_or_unfill z36\1\0s
    ..controls z36\1\0c1 and z36\1\0c2..z36\1\0
    --cycle;
  fill_or_unfill z36\2\0s
    --z36\2\0
    --z36\2\1
    --cycle;
  fill_or_unfill z36\3\0s
    --z36\3\0
    --z36\3\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\0\9,
    36\0\10,
    36\0\11,
    36\0\12,
    36\0\13,
    36\0\14,
    36\1\0,
    36\1\1,
    36\2\0,
    36\2\1,
    36\2\2,
    36\3\0,
    36\3\1,
    36\3\2,
);
endchar;

beginchar (37, 16.622u#, 9.877u#, 0.000u#);
  "Aa6";
  z37\0\0s = (0.000u,2.650u);
  z37\0\0 = (13.731u,2.650u);
  z37\0\1c1 = (13.868u,3.664u);
  z37\0\1c2 = (14.055u,4.878u);
  z37\0\1 = (14.554u,5.780u);
  z37\0\2c1 = (15.234u,7.010u);
  z37\0\2c2 = (16.832u,7.287u);
  z37\0\2 = (16.589u,8.873u);
  z37\0\3c1 = (16.356u,10.423u);
  z37\0\3c2 = (14.450u,9.490u);
  z37\0\3 = (13.756u,8.873u);
  z37\0\4c1 = (11.746u,7.032u);
  z37\0\4c2 = (12.896u,5.306u);
  z37\0\4 = (9.636u,5.300u);
  z37\0\5c1 = (6.848u,5.294u);
  z37\0\5c2 = (0.433u,6.381u);
  z37\1\0s = (15.658u,8.913u);
  z37\1\0 = (15.899u,8.672u);
  z37\1\1 = (14.307u,6.736u);
  z37\1\2 = (13.009u,3.372u);
  z37\1\3 = (0.963u,3.372u);
  z37\1\4c1 = (2.240u,5.266u);
  z37\1\4c2 = (7.873u,4.547u);
  z37\1\4 = (10.118u,4.578u);
  z37\1\5c1 = (13.836u,4.629u);
  z37\1\5c2 = (12.172u,7.999u);
  fill_or_unfill z37\0\0s
    --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..cycle;
  fill_or_unfill z37\1\0s
    --z37\1\0
    --z37\1\1
    --z37\1\2
    --z37\1\3
    ..controls z37\1\4c1 and z37\1\4c2..z37\1\4
    ..controls z37\1\5c1 and z37\1\5c2..cycle;
  proof_labels (
    37\0\0,
    37\0\1,
    37\0\2,
    37\0\3,
    37\0\4,
    37\0\5,
    37\1\0,
    37\1\1,
    37\1\2,
    37\1\3,
    37\1\4,
    37\1\5,
);
endchar;

beginchar (38, 17.104u#, 6.263u#, 0.000u#);
  "Aa7";
  z38\0\0s = (0.000u,6.263u);
  z38\0\0 = (0.000u,2.650u);
  z38\0\1 = (0.723u,2.650u);
  z38\0\2 = (0.723u,4.095u);
  z38\0\3 = (8.191u,4.095u);
  z38\0\4 = (8.191u,2.650u);
  z38\0\5 = (8.913u,2.650u);
  z38\0\6 = (8.913u,4.095u);
  z38\0\7 = (16.381u,4.095u);
  z38\0\8 = (16.381u,2.650u);
  z38\0\9 = (17.104u,2.650u);
  z38\0\10 = (17.104u,6.263u);
  z38\0\11 = (16.381u,6.263u);
  z38\0\12 = (16.381u,4.818u);
  z38\0\13 = (8.913u,4.818u);
  z38\0\14 = (8.913u,6.263u);
  z38\0\15 = (8.191u,6.263u);
  z38\0\16 = (8.191u,4.818u);
  z38\0\17 = (0.723u,4.818u);
  z38\0\18 = (0.723u,6.263u);
  fill_or_unfill z38\0\0s
    --z38\0\0
    --z38\0\1
    --z38\0\2
    --z38\0\3
    --z38\0\4
    --z38\0\5
    --z38\0\6
    --z38\0\7
    --z38\0\8
    --z38\0\9
    --z38\0\10
    --z38\0\11
    --z38\0\12
    --z38\0\13
    --z38\0\14
    --z38\0\15
    --z38\0\16
    --z38\0\17
    --z38\0\18
    --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\0\9,
    38\0\10,
    38\0\11,
    38\0\12,
    38\0\13,
    38\0\14,
    38\0\15,
    38\0\16,
    38\0\17,
    38\0\18,
    38\0\19,
);
endchar;

beginchar (39, 16.622u#, 5.541u#, 0.000u#);
  "Aa8";
  z39\0\0s = (2.168u,5.541u);
  z39\0\0 = (2.168u,4.095u);
  z39\0\1 = (0.723u,4.095u);
  z39\0\2 = (0.723u,5.300u);
  z39\0\3 = (0.000u,5.300u);
  z39\0\4 = (0.000u,2.409u);
  z39\0\5 = (0.723u,2.409u);
  z39\0\6 = (0.723u,3.613u);
  z39\0\7 = (2.168u,3.613u);
  z39\0\8 = (2.168u,2.168u);
  z39\0\9 = (14.454u,2.168u);
  z39\0\10 = (14.454u,3.613u);
  z39\0\11 = (15.899u,3.613u);
  z39\0\12 = (15.899u,2.409u);
  z39\0\13 = (16.622u,2.409u);
  z39\0\14 = (16.622u,5.300u);
  z39\0\15 = (15.899u,5.300u);
  z39\0\16 = (15.899u,4.095u);
  z39\0\17 = (14.454u,4.095u);
  z39\0\18 = (14.454u,5.541u);
  z39\1\0s = (13.731u,4.818u);
  z39\1\0 = (13.731u,2.891u);
  z39\1\1 = (2.891u,2.891u);
  z39\1\2 = (2.891u,4.818u);
  fill_or_unfill z39\0\0s
    --z39\0\0
    --z39\0\1
    --z39\0\2
    --z39\0\3
    --z39\0\4
    --z39\0\5
    --z39\0\6
    --z39\0\7
    --z39\0\8
    --z39\0\9
    --z39\0\10
    --z39\0\11
    --z39\0\12
    --z39\0\13
    --z39\0\14
    --z39\0\15
    --z39\0\16
    --z39\0\17
    --z39\0\18
    --cycle;
  fill_or_unfill z39\1\0s
    --z39\1\0
    --z39\1\1
    --z39\1\2
    --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\0\11,
    39\0\12,
    39\0\13,
    39\0\14,
    39\0\15,
    39\0\16,
    39\0\17,
    39\0\18,
    39\0\19,
    39\1\0,
    39\1\1,
    39\1\2,
    39\1\3,
);
endchar;

beginchar (40, 17.104u#, 5.781u#, 0.000u#);
  "Aa9";
  z40\0\0s = (0.520u,5.781u);
  z40\0\0c1 = (0.202u,5.102u);
  z40\0\0c2 = (-0.227u,4.151u);
  z40\0\0 = (0.520u,3.619u);
  z40\0\1 = (17.104u,2.409u);
  z40\0\2 = (17.104u,3.132u);
  z40\1\0s = (9.154u,3.854u);
  z40\1\0 = (0.723u,4.095u);
  z40\1\1 = (0.723u,5.059u);
  fill_or_unfill z40\0\0s
    ..controls z40\0\0c1 and z40\0\0c2..z40\0\0
    --z40\0\1
    --z40\0\2
    --cycle;
  fill_or_unfill z40\1\0s
    --z40\1\0
    --z40\1\1
    --cycle;
  proof_labels (
    40\0\0,
    40\0\1,
    40\0\2,
    40\0\3,
    40\1\0,
    40\1\1,
    40\1\2,
);
endchar;

beginchar (41, 17.345u#, 6.504u#, 0.000u#);
  "Aa10";
  z41\0\0s = (0.000u,3.372u);
  z41\0\0 = (17.345u,3.372u);
  z41\0\1 = (17.345u,6.504u);
  z41\0\2 = (4.336u,6.504u);
  z41\0\3c1 = (2.477u,6.478u);
  z41\0\3c2 = (0.542u,5.201u);
  z41\1\0s = (16.381u,5.541u);
  z41\1\0 = (16.381u,4.336u);
  z41\1\1 = (1.445u,4.336u);
  z41\1\2c1 = (2.422u,5.473u);
  z41\1\2c2 = (2.889u,5.531u);
  z41\1\2 = (4.336u,5.541u);
  fill_or_unfill z41\0\0s
    --z41\0\0
    --z41\0\1
    --z41\0\2
    ..controls z41\0\3c1 and z41\0\3c2..cycle;
  fill_or_unfill z41\1\0s
    --z41\1\0
    --z41\1\1
    ..controls z41\1\2c1 and z41\1\2c2..z41\1\2
    --cycle;
  proof_labels (
    41\0\0,
    41\0\1,
    41\0\2,
    41\0\3,
    41\1\0,
    41\1\1,
    41\1\2,
    41\1\3,
);
endchar;

beginchar (42, 15.177u#, 2.650u#, 0.000u#);
  "Aa11";
  z42\0\0s = (0.000u,2.650u);
  z42\0\0 = (0.000u,0.241u);
  z42\0\1 = (15.177u,0.241u);
  z42\0\2 = (15.177u,2.650u);
  z42\1\0s = (14.454u,1.927u);
  z42\1\0 = (14.454u,0.963u);
  z42\1\1 = (0.723u,0.963u);
  z42\1\2 = (0.723u,1.927u);
  fill_or_unfill z42\0\0s
    --z42\0\0
    --z42\0\1
    --z42\0\2
    --cycle;
  fill_or_unfill z42\1\0s
    --z42\1\0
    --z42\1\1
    --z42\1\2
    --cycle;
  proof_labels (
    42\0\0,
    42\0\1,
    42\0\2,
    42\0\3,
    42\1\0,
    42\1\1,
    42\1\2,
    42\1\3,
);
endchar;

beginchar (43, 16.863u#, 5.059u#, 0.000u#);
  "Aa12";
  z43\0\0s = (0.000u,1.204u);
  z43\0\0 = (16.863u,1.204u);
  z43\0\1 = (16.863u,1.927u);
  z43\0\2 = (1.686u,1.927u);
  z43\0\3c1 = (5.409u,5.312u);
  z43\0\3c2 = (7.195u,4.102u);
  z43\0\3 = (11.563u,4.095u);
  z43\0\4 = (16.863u,4.095u);
  z43\0\5 = (16.863u,4.818u);
  z43\0\6 = (13.490u,4.818u);
  z43\0\7c1 = (8.800u,4.825u);
  z43\0\7c2 = (2.823u,6.348u);
  fill_or_unfill z43\0\0s
    --z43\0\0
    --z43\0\1
    --z43\0\2
    ..controls z43\0\3c1 and z43\0\3c2..z43\0\3
    --z43\0\4
    --z43\0\5
    --z43\0\6
    ..controls z43\0\7c1 and z43\0\7c2..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,
);
endchar;

beginchar (44, 17.104u#, 5.781u#, 0.000u#);
  "Aa13";
  z44\0\0s = (16.863u,1.204u);
  z44\0\0c1 = (16.105u,2.256u);
  z44\0\0c2 = (14.363u,1.558u);
  z44\0\0 = (13.249u,1.433u);
  z44\0\1 = (9.154u,1.007u);
  z44\0\2 = (2.650u,1.686u);
  z44\0\3 = (9.636u,2.237u);
  z44\0\4 = (17.104u,5.059u);
  z44\0\5 = (17.104u,5.541u);
  z44\0\6 = (16.863u,5.781u);
  z44\0\7 = (10.840u,3.382u);
  z44\0\8c1 = (8.336u,2.655u);
  z44\0\8c2 = (5.712u,2.654u);
  z44\0\8 = (3.132u,2.650u);
  z44\0\9c1 = (2.458u,2.649u);
  z44\0\9c2 = (0.154u,2.737u);
  z44\0\9 = (0.146u,1.706u);
  z44\0\10c1 = (0.144u,1.432u);
  z44\0\10c2 = (0.326u,1.257u);
  z44\0\10 = (0.553u,1.141u);
  z44\0\11c1 = (1.048u,0.889u);
  z44\0\11c2 = (2.276u,0.970u);
  z44\0\11 = (2.891u,0.895u);
  z44\0\12 = (8.672u,0.244u);
  z44\0\13c1 = (11.314u,0.193u);
  z44\0\13c2 = (14.262u,0.731u);
  fill_or_unfill z44\0\0s
    ..controls z44\0\0c1 and z44\0\0c2..z44\0\0
    --z44\0\1
    --z44\0\2
    --z44\0\3
    --z44\0\4
    --z44\0\5
    --z44\0\6
    --z44\0\7
    ..controls z44\0\8c1 and z44\0\8c2..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
    ..controls z44\0\11c1 and z44\0\11c2..z44\0\11
    --z44\0\12
    ..controls z44\0\13c1 and z44\0\13c2..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,
);
endchar;

beginchar (45, 16.622u#, 5.059u#, 0.000u#);
  "Aa14";
  z45\0\0s = (16.622u,0.482u);
  z45\0\0 = (16.622u,1.204u);
  z45\0\1 = (0.723u,1.204u);
  z45\0\2c1 = (1.371u,3.231u);
  z45\0\2c2 = (2.741u,4.067u);
  z45\0\2 = (4.818u,4.094u);
  z45\0\3 = (16.622u,4.336u);
  z45\0\4 = (16.622u,5.059u);
  z45\0\5 = (4.818u,4.817u);
  z45\0\6c1 = (1.205u,4.773u);
  z45\0\6c2 = (-2.411u,0.491u);
  z45\0\6 = (2.168u,0.482u);
  fill_or_unfill z45\0\0s
    --z45\0\0
    --z45\0\1
    ..controls z45\0\2c1 and z45\0\2c2..z45\0\2
    --z45\0\3
    --z45\0\4
    --z45\0\5
    ..controls z45\0\6c1 and z45\0\6c2..z45\0\6
    --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,
);
endchar;

beginchar (46, 10.359u#, 6.263u#, 0.000u#);
  "Aa15";
  z46\0\0s = (0.000u,1.204u);
  z46\0\0 = (10.359u,1.445u);
  z46\0\1 = (10.359u,1.927u);
  z46\0\2 = (1.204u,1.927u);
  z46\0\3c1 = (3.839u,6.076u);
  z46\0\3c2 = (6.069u,5.059u);
  z46\0\3 = (10.359u,5.059u);
  z46\0\4 = (10.359u,6.263u);
  z46\0\5c1 = (6.340u,6.263u);
  z46\0\5c2 = (0.609u,6.608u);
  fill_or_unfill z46\0\0s
    --z46\0\0
    --z46\0\1
    --z46\0\2
    ..controls z46\0\3c1 and z46\0\3c2..z46\0\3
    --z46\0\4
    ..controls z46\0\5c1 and z46\0\5c2..cycle;
  proof_labels (
    46\0\0,
    46\0\1,
    46\0\2,
    46\0\3,
    46\0\4,
    46\0\5,
);
endchar;

beginchar (47, 10.118u#, 11.804u#, 0.000u#);
  "Aa16";
  z47\0\0s = (0.000u,5.300u);
  z47\0\0 = (0.000u,2.409u);
  z47\0\1 = (10.118u,2.409u);
  z47\0\2 = (10.118u,5.300u);
  z47\0\3 = (5.059u,5.300u);
  z47\0\4 = (6.626u,7.709u);
  z47\0\5c1 = (6.971u,8.206u);
  z47\0\5c2 = (7.329u,8.674u);
  z47\0\5 = (7.747u,9.114u);
  z47\0\6c1 = (8.175u,9.564u);
  z47\0\6c2 = (9.536u,10.656u);
  z47\0\6 = (8.760u,11.413u);
  z47\0\7c1 = (8.545u,11.554u);
  z47\0\7c2 = (8.251u,11.568u);
  z47\0\7 = (7.990u,11.413u);
  z47\0\8c1 = (6.471u,10.876u);
  z47\0\8c2 = (5.786u,5.363u);
  z47\0\8 = (2.409u,5.300u);
  z47\1\0s = (9.395u,4.577u);
  z47\1\0 = (9.395u,3.132u);
  z47\1\1 = (0.723u,3.132u);
  z47\1\2 = (0.723u,4.577u);
  fill_or_unfill z47\0\0s
    --z47\0\0
    --z47\0\1
    --z47\0\2
    --z47\0\3
    --z47\0\4
    ..controls z47\0\5c1 and z47\0\5c2..z47\0\5
    ..controls z47\0\6c1 and z47\0\6c2..z47\0\6
    ..controls z47\0\7c1 and z47\0\7c2..z47\0\7
    ..controls z47\0\8c1 and z47\0\8c2..z47\0\8
    --cycle;
  fill_or_unfill z47\1\0s
    --z47\1\0
    --z47\1\1
    --z47\1\2
    --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\1\0,
    47\1\1,
    47\1\2,
    47\1\3,
);
endchar;

beginchar (48, 11.322u#, 13.731u#, 0.000u#);
  "Aa17";
  z48\0\0s = (0.000u,8.672u);
  z48\0\0 = (0.000u,2.650u);
  z48\0\1 = (1.445u,2.650u);
  z48\0\2 = (1.445u,0.241u);
  z48\0\3 = (10.118u,0.241u);
  z48\0\4 = (10.118u,2.650u);
  z48\0\5 = (11.322u,2.650u);
  z48\0\6 = (11.322u,8.672u);
  z48\0\7 = (6.022u,8.672u);
  z48\0\8c1 = (6.528u,9.473u);
  z48\0\8c2 = (6.975u,9.982u);
  z48\0\8 = (7.690u,10.600u);
  z48\0\9c1 = (9.669u,12.308u);
  z48\0\9c2 = (8.818u,14.346u);
  z48\0\9 = (7.277u,13.447u);
  z48\0\10c1 = (5.207u,12.241u);
  z48\0\10c2 = (7.496u,8.700u);
  z48\0\10 = (3.372u,8.672u);
  z48\1\0s = (8.191u,13.249u);
  z48\1\0c1 = (8.348u,12.016u);
  z48\1\0c2 = (8.088u,11.635u);
  z48\1\0 = (6.986u,11.081u);
  z48\1\1c1 = (7.055u,12.249u);
  z48\1\1c2 = (7.113u,12.673u);
  z48\2\0s = (10.600u,7.950u);
  z48\2\0 = (10.600u,3.372u);
  z48\2\1 = (10.118u,3.372u);
  z48\2\2 = (10.118u,6.986u);
  z48\2\3 = (1.445u,6.986u);
  z48\2\4 = (1.445u,3.372u);
  z48\2\5 = (0.723u,3.372u);
  z48\2\6 = (0.723u,7.950u);
  z48\3\0s = (9.395u,6.504u);
  z48\3\0 = (9.395u,0.963u);
  z48\3\1 = (2.168u,0.963u);
  z48\3\2 = (2.168u,6.504u);
  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
    ..controls z48\0\8c1 and z48\0\8c2..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
    --cycle;
  fill_or_unfill z48\1\0s
    ..controls z48\1\0c1 and z48\1\0c2..z48\1\0
    ..controls z48\1\1c1 and z48\1\1c2..cycle;
  fill_or_unfill z48\2\0s
    --z48\2\0
    --z48\2\1
    --z48\2\2
    --z48\2\3
    --z48\2\4
    --z48\2\5
    --z48\2\6
    --cycle;
  fill_or_unfill z48\3\0s
    --z48\3\0
    --z48\3\1
    --z48\3\2
    --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\1\0,
    48\1\1,
    48\2\0,
    48\2\1,
    48\2\2,
    48\2\3,
    48\2\4,
    48\2\5,
    48\2\6,
    48\2\7,
    48\3\0,
    48\3\1,
    48\3\2,
    48\3\3,
);
endchar;

beginchar (49, 10.600u#, 12.527u#, 0.000u#);
  "Aa18";
  z49\0\0s = (0.928u,0.482u);
  z49\0\0 = (1.686u,0.482u);
  z49\0\1c1 = (1.686u,2.559u);
  z49\0\1c2 = (1.256u,8.631u);
  z49\0\1 = (2.324u,10.108u);
  z49\0\2c1 = (4.853u,13.605u);
  z49\0\2c2 = (8.907u,11.216u);
  z49\0\2 = (8.913u,7.227u);
  z49\0\3 = (8.913u,0.482u);
  z49\0\4 = (9.672u,0.482u);
  z49\0\5c1 = (9.636u,1.726u);
  z49\0\5c2 = (9.434u,3.372u);
  z49\0\5 = (9.672u,4.568u);
  z49\0\6c1 = (9.867u,5.262u);
  z49\0\6c2 = (10.491u,5.791u);
  z49\0\6 = (10.491u,6.513u);
  z49\0\7 = (9.230u,10.118u);
  z49\0\8c1 = (7.967u,12.620u);
  z49\0\8c2 = (4.241u,13.212u);
  z49\0\8 = (2.213u,11.269u);
  z49\0\9c1 = (1.612u,10.693u);
  z49\0\9c2 = (0.250u,7.566u);
  z49\0\9 = (0.128u,6.749u);
  z49\0\10c1 = (-0.001u,5.877u);
  z49\0\10c2 = (0.709u,5.366u);
  z49\0\10 = (0.928u,4.568u);
  z49\0\11c1 = (1.165u,3.372u);
  z49\0\11c2 = (0.963u,1.726u);
  fill_or_unfill z49\0\0s
    --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
    --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
    --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..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,
);
endchar;

beginchar (50, 4.818u#, 18.067u#, 0.000u#);
  "Aa19";
  z50\0\0s = (0.000u,18.067u);
  z50\0\0 = (1.322u,15.177u);
  z50\0\1 = (0.707u,13.490u);
  z50\0\2 = (0.241u,10.118u);
  z50\0\3 = (0.000u,1.204u);
  z50\0\4 = (4.818u,1.204u);
  z50\0\5 = (4.576u,10.359u);
  z50\0\6 = (4.111u,13.490u);
  z50\0\7 = (3.496u,15.177u);
  z50\0\8 = (4.818u,18.067u);
  z50\0\9c1 = (3.466u,17.838u);
  z50\0\9c2 = (3.115u,17.113u);
  z50\0\9 = (2.650u,15.899u);
  z50\0\10 = (2.168u,15.899u);
  z50\0\11c1 = (1.703u,17.113u);
  z50\0\11c2 = (1.352u,17.838u);
  z50\1\0s = (3.854u,10.118u);
  z50\1\0 = (0.963u,10.118u);
  z50\1\1c1 = (1.088u,15.806u);
  z50\1\1c2 = (3.730u,15.806u);
  z50\2\0s = (3.854u,9.395u);
  z50\2\0 = (3.854u,8.672u);
  z50\2\1 = (0.963u,8.672u);
  z50\2\2 = (0.963u,9.395u);
  z50\3\0s = (3.854u,7.950u);
  z50\3\0 = (4.095u,1.927u);
  z50\3\1 = (0.723u,1.927u);
  z50\3\2 = (0.963u,7.950u);
  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
    ..controls z50\0\9c1 and z50\0\9c2..z50\0\9
    --z50\0\10
    ..controls z50\0\11c1 and z50\0\11c2..cycle;
  fill_or_unfill z50\1\0s
    --z50\1\0
    ..controls z50\1\1c1 and z50\1\1c2..cycle;
  fill_or_unfill z50\2\0s
    --z50\2\0
    --z50\2\1
    --z50\2\2
    --cycle;
  fill_or_unfill z50\3\0s
    --z50\3\0
    --z50\3\1
    --z50\3\2
    --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\1\0,
    50\1\1,
    50\2\0,
    50\2\1,
    50\2\2,
    50\2\3,
    50\3\0,
    50\3\1,
    50\3\2,
    50\3\3,
);
endchar;

beginchar (51, 6.745u#, 18.308u#, 0.000u#);
  "Aa20";
  z51\0\0s = (2.590u,18.308u);
  z51\0\0 = (2.590u,8.191u);
  z51\0\1c1 = (2.174u,6.889u);
  z51\0\1c2 = (1.357u,5.765u);
  z51\0\1 = (0.000u,5.541u);
  z51\0\2 = (0.000u,0.963u);
  z51\0\3c1 = (1.113u,1.342u);
  z51\0\3c2 = (1.671u,2.096u);
  z51\0\3 = (2.650u,2.629u);
  z51\0\4c1 = (4.015u,3.374u);
  z51\0\4c2 = (5.379u,1.428u);
  z51\0\4 = (6.745u,0.963u);
  z51\0\5 = (6.745u,5.541u);
  z51\0\6c1 = (4.931u,5.841u);
  z51\0\6c2 = (4.125u,7.703u);
  z51\0\6 = (4.096u,9.395u);
  z51\0\7 = (4.096u,18.308u);
  z51\1\0s = (4.577u,5.781u);
  z51\1\0 = (2.168u,5.781u);
  z51\1\1c1 = (3.144u,7.539u);
  z51\1\1c2 = (3.601u,7.539u);
  z51\2\0s = (6.022u,4.818u);
  z51\2\0 = (6.022u,2.409u);
  z51\2\1 = (2.891u,3.679u);
  z51\2\2 = (0.723u,2.409u);
  z51\2\3 = (0.723u,4.818u);
  fill_or_unfill z51\0\0s
    --z51\0\0
    ..controls z51\0\1c1 and z51\0\1c2..z51\0\1
    --z51\0\2
    ..controls z51\0\3c1 and z51\0\3c2..z51\0\3
    ..controls z51\0\4c1 and z51\0\4c2..z51\0\4
    --z51\0\5
    ..controls z51\0\6c1 and z51\0\6c2..z51\0\6
    --z51\0\7
    --cycle;
  fill_or_unfill z51\1\0s
    --z51\1\0
    ..controls z51\1\1c1 and z51\1\1c2..cycle;
  fill_or_unfill z51\2\0s
    --z51\2\0
    --z51\2\1
    --z51\2\2
    --z51\2\3
    --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\1\0,
    51\1\1,
    51\2\0,
    51\2\1,
    51\2\2,
    51\2\3,
    51\2\4,
);
endchar;

beginchar (52, 18.067u#, 18.308u#, 0.000u#);
  "Aa21";
  z52\0\0s = (8.672u,18.308u);
  z52\0\0 = (8.672u,11.814u);
  z52\0\1 = (5.781u,11.814u);
  z52\0\2c1 = (4.361u,12.011u);
  z52\0\2c2 = (2.317u,13.401u);
  z52\0\2 = (1.204u,11.814u);
  z52\0\3 = (3.854u,11.563u);
  z52\0\4 = (0.000u,11.322u);
  z52\0\5c1 = (1.075u,9.532u);
  z52\0\5c2 = (3.887u,10.599u);
  z52\0\5 = (5.541u,10.818u);
  z52\0\6 = (8.672u,10.818u);
  z52\0\7c1 = (8.672u,8.778u);
  z52\0\7c2 = (8.612u,5.969u);
  z52\0\7 = (6.022u,5.541u);
  z52\0\8 = (6.022u,0.963u);
  z52\0\9 = (9.395u,2.862u);
  z52\0\10 = (12.768u,0.963u);
  z52\0\11 = (12.768u,5.541u);
  z52\0\12c1 = (10.288u,5.951u);
  z52\0\12c2 = (10.118u,8.586u);
  z52\0\12 = (10.118u,10.600u);
  z52\0\13 = (18.067u,10.600u);
  z52\0\14 = (18.067u,15.899u);
  z52\0\15 = (15.417u,15.899u);
  z52\0\16c1 = (15.417u,10.834u);
  z52\0\16c2 = (14.693u,11.804u);
  z52\0\16 = (10.118u,11.804u);
  z52\0\17 = (10.118u,18.308u);
  z52\1\0s = (17.345u,15.177u);
  z52\1\0 = (17.345u,11.081u);
  z52\1\1c1 = (15.299u,11.704u);
  z52\1\1c2 = (15.899u,13.384u);
  z52\1\1 = (15.899u,15.177u);
  z52\2\0s = (10.600u,5.781u);
  z52\2\0 = (8.191u,5.781u);
  z52\2\1c1 = (9.167u,7.539u);
  z52\2\1c2 = (9.623u,7.539u);
  z52\3\0s = (12.045u,4.818u);
  z52\3\0 = (12.045u,2.409u);
  z52\3\1 = (9.877u,3.679u);
  z52\3\2 = (6.745u,2.409u);
  z52\3\3 = (6.745u,4.818u);
  fill_or_unfill z52\0\0s
    --z52\0\0
    --z52\0\1
    ..controls z52\0\2c1 and z52\0\2c2..z52\0\2
    --z52\0\3
    --z52\0\4
    ..controls z52\0\5c1 and z52\0\5c2..z52\0\5
    --z52\0\6
    ..controls z52\0\7c1 and z52\0\7c2..z52\0\7
    --z52\0\8
    --z52\0\9
    --z52\0\10
    --z52\0\11
    ..controls z52\0\12c1 and z52\0\12c2..z52\0\12
    --z52\0\13
    --z52\0\14
    --z52\0\15
    ..controls z52\0\16c1 and z52\0\16c2..z52\0\16
    --z52\0\17
    --cycle;
  fill_or_unfill z52\1\0s
    --z52\1\0
    ..controls z52\1\1c1 and z52\1\1c2..z52\1\1
    --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
    --z52\3\3
    --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\0\16,
    52\0\17,
    52\0\18,
    52\1\0,
    52\1\1,
    52\1\2,
    52\2\0,
    52\2\1,
    52\3\0,
    52\3\1,
    52\3\2,
    52\3\3,
    52\3\4,
);
endchar;

beginchar (53, 12.527u#, 18.308u#, 0.000u#);
  "Aa22";
  z53\0\0s = (4.818u,18.308u);
  z53\0\0 = (5.146u,11.617u);
  z53\0\1c1 = (4.646u,10.353u);
  z53\0\1c2 = (0.948u,10.935u);
  z53\0\1 = (0.000u,7.709u);
  z53\0\2c1 = (1.393u,7.927u);
  z53\0\2c2 = (2.706u,8.745u);
  z53\0\2 = (4.094u,8.828u);
  z53\0\3c1 = (6.322u,8.959u);
  z53\0\3c2 = (5.551u,3.347u);
  z53\0\3 = (6.022u,1.686u);
  z53\0\4 = (6.504u,1.686u);
  z53\0\5c1 = (6.976u,3.347u);
  z53\0\5c2 = (6.205u,8.959u);
  z53\0\5 = (8.433u,8.828u);
  z53\0\6c1 = (9.821u,8.745u);
  z53\0\6c2 = (11.133u,7.927u);
  z53\0\6 = (12.527u,7.709u);
  z53\0\7c1 = (11.579u,10.935u);
  z53\0\7c2 = (7.881u,10.353u);
  z53\0\7 = (7.380u,11.617u);
  z53\0\8 = (7.709u,18.308u);
  z53\1\0s = (6.986u,17.826u);
  z53\1\0 = (6.504u,7.227u);
  z53\1\1 = (6.022u,7.227u);
  z53\1\2 = (5.541u,17.826u);
  z53\2\0s = (5.300u,10.359u);
  z53\2\0c1 = (4.835u,9.169u);
  z53\2\0c2 = (3.281u,9.354u);
  z53\2\0 = (2.168u,9.154u);
  z53\3\0s = (10.359u,9.395u);
  z53\3\0c1 = (9.304u,9.171u);
  z53\3\0c2 = (7.664u,9.238u);
  z53\3\0 = (7.227u,10.359u);
  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
    --z53\0\4
    ..controls z53\0\5c1 and z53\0\5c2..z53\0\5
    ..controls z53\0\6c1 and z53\0\6c2..z53\0\6
    ..controls z53\0\7c1 and z53\0\7c2..z53\0\7
    --z53\0\8
    --cycle;
  fill_or_unfill z53\1\0s
    --z53\1\0
    --z53\1\1
    --z53\1\2
    --cycle;
  fill_or_unfill z53\2\0s
    ..controls z53\2\0c1 and z53\2\0c2..z53\2\0
    --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\1\0,
    53\1\1,
    53\1\2,
    53\1\3,
    53\2\0,
    53\2\1,
    53\3\0,
    53\3\1,
);
endchar;

beginchar (54, 6.022u#, 19.031u#, 0.000u#);
  "Aa25";
  z54\0\0s = (0.000u,19.031u);
  z54\0\0c1 = (0.000u,17.867u);
  z54\0\0c2 = (-0.122u,16.555u);
  z54\0\0 = (0.124u,15.417u);
  z54\0\1c1 = (0.921u,11.748u);
  z54\0\1c2 = (3.636u,11.894u);
  z54\0\1 = (4.331u,10.775u);
  z54\0\2c1 = (4.630u,10.292u);
  z54\0\2c2 = (4.576u,9.470u);
  z54\0\2 = (4.577u,8.913u);
  z54\0\3 = (4.577u,1.927u);
  z54\0\4 = (6.022u,1.927u);
  z54\0\5 = (6.022u,19.031u);
  z54\0\6 = (4.577u,19.031u);
  z54\0\7 = (4.577u,12.768u);
  z54\0\8c1 = (0.016u,13.637u);
  z54\0\8c2 = (1.960u,18.344u);
  z54\1\0s = (5.541u,18.308u);
  z54\1\0 = (5.541u,2.409u);
  z54\1\1 = (5.059u,2.409u);
  z54\1\2 = (5.059u,18.308u);
  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
    --z54\0\3
    --z54\0\4
    --z54\0\5
    --z54\0\6
    --z54\0\7
    ..controls z54\0\8c1 and z54\0\8c2..cycle;
  fill_or_unfill z54\1\0s
    --z54\1\0
    --z54\1\1
    --z54\1\2
    --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\1\0,
    54\1\1,
    54\1\2,
    54\1\3,
);
endchar;

beginchar (55, 7.468u#, 19.754u#, 0.000u#);
  "Aa26";
  z55\0\0s = (2.168u,19.754u);
  z55\0\0 = (2.409u,16.381u);
  z55\0\1 = (0.000u,16.863u);
  z55\0\2 = (0.000u,14.454u);
  z55\0\3 = (2.409u,14.936u);
  z55\0\4 = (3.132u,11.563u);
  z55\0\5 = (3.132u,1.927u);
  z55\0\6 = (4.337u,1.927u);
  z55\0\7 = (4.337u,11.804u);
  z55\0\8 = (5.059u,14.936u);
  z55\0\9 = (7.468u,14.454u);
  z55\0\10 = (7.468u,16.863u);
  z55\0\11 = (5.059u,16.381u);
  z55\0\12 = (5.300u,19.754u);
  z55\1\0s = (4.336u,19.031u);
  z55\1\0c1 = (3.974u,18.001u);
  z55\1\0c2 = (3.493u,18.001u);
  z55\1\0 = (3.132u,19.031u);
  z55\2\0s = (4.095u,13.972u);
  z55\2\0 = (3.372u,13.972u);
  z55\2\1c1 = (1.879u,17.815u);
  z55\2\1c2 = (5.367u,17.905u);
  z55\3\0s = (1.927u,15.899u);
  z55\3\0 = (1.927u,15.417u);
  z55\3\1 = (0.723u,15.417u);
  z55\3\2 = (0.723u,15.899u);
  z55\4\0s = (6.745u,15.899u);
  z55\4\0 = (6.745u,15.417u);
  z55\4\1 = (5.541u,15.417u);
  z55\4\2 = (5.541u,15.899u);
  fill_or_unfill z55\0\0s
    --z55\0\0
    --z55\0\1
    --z55\0\2
    --z55\0\3
    --z55\0\4
    --z55\0\5
    --z55\0\6
    --z55\0\7
    --z55\0\8
    --z55\0\9
    --z55\0\10
    --z55\0\11
    --z55\0\12
    --cycle;
  fill_or_unfill z55\1\0s
    ..controls z55\1\0c1 and z55\1\0c2..z55\1\0
    --cycle;
  fill_or_unfill z55\2\0s
    --z55\2\0
    ..controls z55\2\1c1 and z55\2\1c2..cycle;
  fill_or_unfill z55\3\0s
    --z55\3\0
    --z55\3\1
    --z55\3\2
    --cycle;
  fill_or_unfill z55\4\0s
    --z55\4\0
    --z55\4\1
    --z55\4\2
    --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\0\8,
    55\0\9,
    55\0\10,
    55\0\11,
    55\0\12,
    55\0\13,
    55\1\0,
    55\1\1,
    55\2\0,
    55\2\1,
    55\3\0,
    55\3\1,
    55\3\2,
    55\3\3,
    55\4\0,
    55\4\1,
    55\4\2,
    55\4\3,
);
endchar;

beginchar (56, 3.613u#, 19.754u#, 0.000u#);
  "Aa27";
  z56\0\0s = (1.445u,19.754u);
  z56\0\0 = (1.445u,13.009u);
  z56\0\1 = (0.000u,13.009u);
  z56\0\2 = (1.445u,8.672u);
  z56\0\3 = (1.445u,2.650u);
  z56\0\4 = (3.613u,2.650u);
  z56\0\5 = (3.613u,19.754u);
  z56\1\0s = (2.891u,19.031u);
  z56\1\0 = (2.891u,3.372u);
  z56\1\1 = (2.118u,3.372u);
  z56\1\2 = (2.118u,9.877u);
  z56\1\3 = (0.723u,12.527u);
  z56\1\4 = (2.168u,12.527u);
  z56\1\5 = (2.168u,19.031u);
  fill_or_unfill z56\0\0s
    --z56\0\0
    --z56\0\1
    --z56\0\2
    --z56\0\3
    --z56\0\4
    --z56\0\5
    --cycle;
  fill_or_unfill z56\1\0s
    --z56\1\0
    --z56\1\1
    --z56\1\2
    --z56\1\3
    --z56\1\4
    --z56\1\5
    --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\1\0,
    56\1\1,
    56\1\2,
    56\1\3,
    56\1\4,
    56\1\5,
    56\1\6,
);
endchar;

beginchar (57, 3.132u#, 19.513u#, 0.000u#);
  "Aa28";
  z57\0\0s = (1.167u,19.513u);
  z57\0\0 = (1.167u,12.768u);
  z57\0\1 = (0.202u,10.841u);
  z57\0\2 = (1.167u,8.410u);
  z57\0\3 = (1.167u,2.650u);
  z57\0\4 = (3.132u,2.650u);
  z57\0\5 = (3.132u,19.513u);
  z57\1\0s = (2.409u,19.031u);
  z57\1\0 = (2.409u,3.132u);
  z57\1\1 = (1.927u,3.132u);
  z57\1\2 = (1.927u,19.031u);
  fill_or_unfill z57\0\0s
    --z57\0\0
    --z57\0\1
    --z57\0\2
    --z57\0\3
    --z57\0\4
    --z57\0\5
    --cycle;
  fill_or_unfill z57\1\0s
    --z57\1\0
    --z57\1\1
    --z57\1\2
    --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\1\0,
    57\1\1,
    57\1\2,
    57\1\3,
);
endchar;

beginchar (58, 4.336u#, 19.754u#, 0.000u#);
  "Aa29";
  z58\0\0s = (1.927u,19.754u);
  z58\0\0c1 = (0.932u,17.810u);
  z58\0\0c2 = (0.053u,14.236u);
  z58\0\0 = (0.003u,12.045u);
  z58\0\1 = (0.742u,5.541u);
  z58\0\2c1 = (0.819u,4.765u);
  z58\0\2c2 = (0.187u,3.807u);
  z58\0\2 = (0.410u,3.211u);
  z58\0\3c1 = (0.628u,2.627u);
  z58\0\3c2 = (3.553u,2.665u);
  z58\0\3 = (3.839u,3.044u);
  z58\0\4c1 = (4.243u,3.580u);
  z58\0\4c2 = (3.573u,4.647u);
  z58\0\4 = (3.575u,5.300u);
  z58\0\5 = (3.807u,7.468u);
  z58\0\6 = (4.333u,12.045u);
  z58\0\7c1 = (4.283u,14.236u);
  z58\0\7c2 = (3.404u,17.810u);
  z58\0\7 = (2.409u,19.754u);
  z58\1\0s = (2.168u,18.067u);
  z58\1\0c1 = (3.113u,16.522u);
  z58\1\0c2 = (4.076u,10.784u);
  z58\1\0 = (3.056u,9.230u);
  z58\1\1c1 = (2.844u,8.907u);
  z58\1\1c2 = (2.558u,8.743u);
  z58\1\1 = (2.168u,8.743u);
  z58\1\2c1 = (0.894u,8.743u);
  z58\1\2c2 = (0.788u,10.888u);
  z58\1\2 = (0.846u,11.804u);
  z58\1\3c1 = (0.964u,13.667u);
  z58\1\3c2 = (1.191u,16.469u);
  z58\2\0s = (1.762u,7.560u);
  z58\2\0c1 = (3.363u,7.819u);
  z58\2\0c2 = (3.213u,6.424u);
  z58\2\0 = (2.378u,6.202u);
  z58\2\1c1 = (1.526u,5.975u);
  z58\2\1c2 = (0.996u,6.890u);
  z58\3\0s = (3.132u,3.613u);
  z58\3\0 = (1.204u,3.613u);
  z58\3\1c1 = (1.703u,5.505u);
  z58\3\1c2 = (2.633u,5.505u);
  fill_or_unfill z58\0\0s
    ..controls z58\0\0c1 and z58\0\0c2..z58\0\0
    --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
    --z58\0\6
    ..controls z58\0\7c1 and z58\0\7c2..z58\0\7
    --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..z58\1\1
    ..controls z58\1\2c1 and z58\1\2c2..z58\1\2
    ..controls z58\1\3c1 and z58\1\3c2..cycle;
  fill_or_unfill z58\2\0s
    ..controls z58\2\0c1 and z58\2\0c2..z58\2\0
    ..controls z58\2\1c1 and z58\2\1c2..cycle;
  fill_or_unfill z58\3\0s
    --z58\3\0
    ..controls z58\3\1c1 and z58\3\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\1\0,
    58\1\1,
    58\1\2,
    58\1\3,
    58\2\0,
    58\2\1,
    58\3\0,
    58\3\1,
);
endchar;

beginchar (59, 7.709u#, 20.235u#, 0.000u#);
  "Aa30";
  z59\0\0s = (1.445u,4.818u);
  z59\0\0 = (0.963u,3.132u);
  z59\0\1 = (6.986u,3.132u);
  z59\0\2 = (6.504u,4.577u);
  z59\0\3c1 = (6.879u,5.356u);
  z59\0\3c2 = (7.425u,6.140u);
  z59\0\3 = (7.615u,6.986u);
  z59\0\4c1 = (8.177u,9.497u);
  z59\0\4c2 = (6.787u,14.219u);
  z59\0\4 = (5.883u,16.622u);
  z59\0\5c1 = (5.571u,17.454u);
  z59\0\5c2 = (4.831u,20.369u);
  z59\0\5 = (3.635u,20.056u);
  z59\0\6c1 = (2.114u,19.659u);
  z59\0\6c2 = (0.042u,10.623u);
  z59\0\6 = (0.043u,8.913u);
  z59\0\7c1 = (0.043u,7.471u);
  z59\0\7c2 = (0.357u,5.804u);
  z59\1\0s = (4.095u,19.272u);
  z59\1\0c1 = (5.296u,16.956u);
  z59\1\0c2 = (6.688u,12.962u);
  z59\1\0 = (6.745u,10.359u);
  z59\1\1c1 = (5.697u,10.947u);
  z59\1\1c2 = (1.939u,13.087u);
  z59\1\1 = (1.840u,14.222u);
  z59\1\2c1 = (1.793u,14.761u);
  z59\1\2c2 = (2.375u,16.280u);
  z59\1\2 = (2.569u,16.863u);
  z59\1\3c1 = (2.942u,17.979u);
  z59\1\3c2 = (3.001u,18.671u);
  z59\2\0s = (7.227u,8.672u);
  z59\2\0c1 = (5.629u,9.007u);
  z59\2\0c2 = (2.217u,11.473u);
  z59\2\0 = (1.204u,12.768u);
  z59\2\1c1 = (2.766u,12.893u);
  z59\2\1c2 = (6.676u,10.143u);
  z59\3\0s = (1.000u,11.563u);
  z59\3\0c1 = (2.348u,11.224u);
  z59\3\0c2 = (3.434u,10.313u);
  z59\3\0 = (4.577u,9.496u);
  z59\3\1c1 = (5.228u,9.031u);
  z59\3\1c2 = (6.586u,8.211u);
  z59\3\1 = (6.829u,7.446u);
  z59\3\2c1 = (7.616u,4.965u);
  z59\3\2c2 = (2.240u,2.707u);
  z59\3\2 = (1.000u,6.745u);
  z59\3\3c1 = (0.520u,8.479u);
  z59\3\3c2 = (0.884u,9.838u);
  z59\4\0s = (6.263u,4.095u);
  z59\4\0 = (6.263u,3.613u);
  z59\4\1 = (1.686u,3.613u);
  z59\4\2 = (1.686u,4.095u);
  fill_or_unfill z59\0\0s
    --z59\0\0
    --z59\0\1
    --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
    ..controls z59\0\5c1 and z59\0\5c2..z59\0\5
    ..controls z59\0\6c1 and z59\0\6c2..z59\0\6
    ..controls z59\0\7c1 and z59\0\7c2..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
    ..controls z59\2\0c1 and z59\2\0c2..z59\2\0
    ..controls z59\2\1c1 and z59\2\1c2..cycle;
  fill_or_unfill z59\3\0s
    ..controls z59\3\0c1 and z59\3\0c2..z59\3\0
    ..controls z59\3\1c1 and z59\3\1c2..z59\3\1
    ..controls z59\3\2c1 and z59\3\2c2..z59\3\2
    ..controls z59\3\3c1 and z59\3\3c2..cycle;
  fill_or_unfill z59\4\0s
    --z59\4\0
    --z59\4\1
    --z59\4\2
    --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\1\0,
    59\1\1,
    59\1\2,
    59\1\3,
    59\2\0,
    59\2\1,
    59\3\0,
    59\3\1,
    59\3\2,
    59\3\3,
    59\4\0,
    59\4\1,
    59\4\2,
    59\4\3,
);
endchar;