beginchar (32, 9.154u#, 17.826u#, 0.000u#);
  "C1";
  z0\0\0s = (3.132u,16.140u);
  z0\0\0 = (1.445u,16.622u);
  z0\0\1c1 = (1.880u,14.640u);
  z0\0\1c2 = (1.428u,13.361u);
  z0\0\1 = (3.854u,14.213u);
  z0\0\2 = (3.277u,12.184u);
  z0\0\3 = (3.514u,10.198u);
  z0\0\4 = (2.650u,8.672u);
  z0\0\5 = (4.336u,10.359u);
  z0\0\6 = (4.818u,10.359u);
  z0\0\7 = (5.059u,10.118u);
  z0\0\8 = (4.577u,5.541u);
  z0\0\9c1 = (3.432u,5.986u);
  z0\0\9c2 = (2.954u,7.173u);
  z0\0\9 = (1.906u,7.687u);
  z0\0\10c1 = (-1.669u,9.443u);
  z0\0\10c2 = (1.540u,3.422u);
  z0\0\10 = (1.641u,2.607u);
  z0\0\11c1 = (1.798u,1.337u);
  z0\0\11c2 = (1.355u,1.256u);
  z0\0\11 = (0.963u,0.241u);
  z0\0\12 = (9.154u,0.482u);
  z0\0\13 = (8.480u,1.976u);
  z0\0\14 = (8.672u,5.781u);
  z0\0\15 = (7.950u,12.768u);
  z0\0\16c1 = (8.245u,12.888u);
  z0\0\16c2 = (8.480u,12.901u);
  z0\0\16 = (8.553u,13.281u);
  z0\0\17c1 = (8.652u,13.796u);
  z0\0\17c2 = (8.082u,14.416u);
  z0\0\17 = (7.895u,14.881u);
  z0\0\18c1 = (7.205u,16.599u);
  z0\0\18c2 = (7.073u,18.461u);
  z0\0\18 = (4.462u,17.701u);
  z0\0\19c1 = (3.612u,17.454u);
  z0\0\19c2 = (3.311u,16.953u);
  z0\1\0s = (4.667u,17.014u);
  z0\1\0c1 = (7.982u,17.476u);
  z0\1\0c2 = (7.210u,13.968u);
  z0\1\0 = (5.128u,14.301u);
  z0\1\1c1 = (3.568u,14.550u);
  z0\1\1c2 = (3.129u,16.332u);
  z0\2\0s = (2.772u,14.939u);
  z0\3\0s = (7.227u,14.213u);
  z0\3\0 = (7.950u,13.009u);
  z0\4\0s = (7.709u,10.600u);
  z0\4\0 = (6.263u,11.081u);
  z0\4\1c1 = (6.656u,12.906u);
  z0\4\1c2 = (6.329u,12.976u);
  z0\4\1 = (4.577u,13.249u);
  z0\4\2c1 = (6.520u,14.630u);
  z0\4\2c2 = (7.566u,12.171u);
  z0\5\0s = (6.022u,12.286u);
  z0\5\0 = (5.781u,10.840u);
  z0\5\1 = (4.095u,11.804u);
  z0\5\2 = (5.059u,12.527u);
  z0\6\0s = (6.986u,9.877u);
  z0\6\0c1 = (8.551u,8.655u);
  z0\6\0c2 = (7.709u,2.936u);
  z0\6\0 = (7.709u,0.963u);
  z0\6\1 = (2.409u,0.723u);
  z0\6\2 = (0.723u,6.986u);
  z0\6\3c1 = (2.710u,7.523u);
  z0\6\3c2 = (3.402u,4.739u);
  z0\6\3 = (5.059u,4.095u);
  z0\6\4 = (5.541u,9.395u);
  z0\6\5 = (6.745u,6.986u);
  fill_or_unfill z0\0\0s
    --z0\0\0
    ..controls z0\0\1c1 and z0\0\1c2..z0\0\1
    --z0\0\2
    --z0\0\3
    --z0\0\4
    --z0\0\5
    --z0\0\6
    --z0\0\7
    --z0\0\8
    ..controls z0\0\9c1 and z0\0\9c2..z0\0\9
    ..controls z0\0\10c1 and z0\0\10c2..z0\0\10
    ..controls z0\0\11c1 and z0\0\11c2..z0\0\11
    --z0\0\12
    --z0\0\13
    --z0\0\14
    --z0\0\15
    ..controls z0\0\16c1 and z0\0\16c2..z0\0\16
    ..controls z0\0\17c1 and z0\0\17c2..z0\0\17
    ..controls z0\0\18c1 and z0\0\18c2..z0\0\18
    ..controls z0\0\19c1 and z0\0\19c2..cycle;
  fill_or_unfill z0\1\0s
    ..controls z0\1\0c1 and z0\1\0c2..z0\1\0
    ..controls z0\1\1c1 and z0\1\1c2..cycle;
  fill_or_unfill z0\2\0s
    --cycle;
  fill_or_unfill z0\3\0s
    --z0\3\0
    --cycle;
  fill_or_unfill z0\4\0s
    --z0\4\0
    ..controls z0\4\1c1 and z0\4\1c2..z0\4\1
    ..controls z0\4\2c1 and z0\4\2c2..cycle;
  fill_or_unfill z0\5\0s
    --z0\5\0
    --z0\5\1
    --z0\5\2
    --cycle;
  fill_or_unfill z0\6\0s
    ..controls z0\6\0c1 and z0\6\0c2..z0\6\0
    --z0\6\1
    --z0\6\2
    ..controls z0\6\3c1 and z0\6\3c2..z0\6\3
    --z0\6\4
    --z0\6\5
    --cycle;
  proof_labels (
    0\0\0,
    0\0\1,
    0\0\2,
    0\0\3,
    0\0\4,
    0\0\5,
    0\0\6,
    0\0\7,
    0\0\8,
    0\0\9,
    0\0\10,
    0\0\11,
    0\0\12,
    0\0\13,
    0\0\14,
    0\0\15,
    0\0\16,
    0\0\17,
    0\0\18,
    0\0\19,
    0\1\0,
    0\1\1,
    0\2\0,
    0\3\0,
    0\3\1,
    0\4\0,
    0\4\1,
    0\4\2,
    0\5\0,
    0\5\1,
    0\5\2,
    0\5\3,
    0\6\0,
    0\6\1,
    0\6\2,
    0\6\3,
    0\6\4,
    0\6\5,
    0\6\6,
);
endchar;

beginchar (33, 11.081u#, 18.308u#, 0.000u#);
  "C2";
  z1\0\0s = (6.022u,13.972u);
  z1\0\0 = (4.818u,12.527u);
  z1\0\1 = (5.059u,12.286u);
  z1\0\2c1 = (7.804u,12.582u);
  z1\0\2c2 = (6.509u,7.985u);
  z1\0\2 = (6.504u,6.504u);
  z1\0\3 = (2.796u,10.551u);
  z1\0\4 = (3.854u,11.322u);
  z1\0\5 = (3.854u,11.804u);
  z1\0\6 = (3.613u,12.045u);
  z1\0\7 = (2.409u,11.804u);
  z1\0\8c1 = (2.397u,15.642u);
  z1\0\8c2 = (-0.083u,14.560u);
  z1\0\8 = (0.100u,13.065u);
  z1\0\9c1 = (0.194u,12.302u);
  z1\0\9c2 = (0.926u,11.798u);
  z1\0\9 = (1.204u,11.081u);
  z1\0\10 = (0.000u,10.600u);
  z1\0\11 = (1.927u,10.359u);
  z1\0\12 = (3.570u,2.892u);
  z1\0\13 = (2.891u,0.723u);
  z1\0\14 = (11.081u,0.723u);
  z1\0\15 = (10.248u,2.458u);
  z1\0\16 = (10.559u,4.617u);
  z1\0\17c1 = (10.783u,6.709u);
  z1\0\17c2 = (10.985u,8.706u);
  z1\0\17 = (10.819u,10.819u);
  z1\0\18c1 = (10.714u,12.161u);
  z1\0\18c2 = (9.737u,12.983u);
  z1\0\18 = (9.565u,14.054u);
  z1\0\19c1 = (9.429u,14.895u);
  z1\0\19c2 = (10.370u,15.301u);
  z1\0\19 = (9.896u,16.643u);
  z1\0\20c1 = (9.063u,19.006u);
  z1\0\20c2 = (5.874u,18.592u);
  z1\0\20 = (5.585u,16.338u);
  z1\0\21c1 = (5.458u,15.339u);
  z1\0\21c2 = (5.830u,14.882u);
  z1\1\0s = (7.313u,17.252u);
  z1\1\0c1 = (9.926u,17.518u);
  z1\1\0c2 = (9.359u,14.832u);
  z1\1\0 = (8.110u,14.553u);
  z1\1\1c1 = (6.388u,14.168u);
  z1\1\1c2 = (5.584u,16.493u);
  z1\2\0s = (1.445u,13.731u);
  z1\2\0 = (1.927u,12.286u);
  z1\2\1 = (1.686u,12.045u);
  z1\2\2 = (1.204u,12.045u);
  z1\2\3 = (0.723u,13.490u);
  z1\2\4 = (0.963u,13.731u);
  z1\3\0s = (7.709u,11.322u);
  z1\3\0 = (6.263u,13.490u);
  z1\3\1 = (7.468u,12.768u);
  z1\3\2 = (6.986u,13.490u);
  z1\3\3c1 = (8.769u,14.108u);
  z1\3\3c2 = (7.941u,12.124u);
  z1\4\0s = (9.154u,12.768u);
  z1\4\0 = (9.877u,11.081u);
  z1\4\1 = (8.672u,11.081u);
  z1\5\0s = (9.636u,1.445u);
  z1\5\0 = (4.095u,1.445u);
  z1\5\1c1 = (4.674u,3.247u);
  z1\5\1c2 = (3.900u,4.816u);
  z1\5\1 = (3.406u,6.532u);
  z1\5\2c1 = (3.298u,6.905u);
  z1\5\2c2 = (3.140u,7.780u);
  z1\5\2 = (3.811u,7.727u);
  z1\5\3c1 = (4.458u,7.675u);
  z1\5\3c2 = (5.966u,5.031u);
  z1\5\3 = (6.986u,4.577u);
  z1\5\4 = (7.468u,9.877u);
  z1\5\5 = (7.950u,9.877u);
  z1\5\6 = (7.950u,7.227u);
  z1\5\7c1 = (9.340u,7.582u);
  z1\5\7c2 = (8.913u,9.179u);
  z1\5\7 = (8.913u,10.359u);
  z1\5\8c1 = (11.427u,9.717u);
  z1\5\8c2 = (8.586u,3.248u);
  fill_or_unfill z1\0\0s
    --z1\0\0
    --z1\0\1
    ..controls z1\0\2c1 and z1\0\2c2..z1\0\2
    --z1\0\3
    --z1\0\4
    --z1\0\5
    --z1\0\6
    --z1\0\7
    ..controls z1\0\8c1 and z1\0\8c2..z1\0\8
    ..controls z1\0\9c1 and z1\0\9c2..z1\0\9
    --z1\0\10
    --z1\0\11
    --z1\0\12
    --z1\0\13
    --z1\0\14
    --z1\0\15
    --z1\0\16
    ..controls z1\0\17c1 and z1\0\17c2..z1\0\17
    ..controls z1\0\18c1 and z1\0\18c2..z1\0\18
    ..controls z1\0\19c1 and z1\0\19c2..z1\0\19
    ..controls z1\0\20c1 and z1\0\20c2..z1\0\20
    ..controls z1\0\21c1 and z1\0\21c2..cycle;
  fill_or_unfill z1\1\0s
    ..controls z1\1\0c1 and z1\1\0c2..z1\1\0
    ..controls z1\1\1c1 and z1\1\1c2..cycle;
  fill_or_unfill z1\2\0s
    --z1\2\0
    --z1\2\1
    --z1\2\2
    --z1\2\3
    --z1\2\4
    --cycle;
  fill_or_unfill z1\3\0s
    --z1\3\0
    --z1\3\1
    --z1\3\2
    ..controls z1\3\3c1 and z1\3\3c2..cycle;
  fill_or_unfill z1\4\0s
    --z1\4\0
    --z1\4\1
    --cycle;
  fill_or_unfill z1\5\0s
    --z1\5\0
    ..controls z1\5\1c1 and z1\5\1c2..z1\5\1
    ..controls z1\5\2c1 and z1\5\2c2..z1\5\2
    ..controls z1\5\3c1 and z1\5\3c2..z1\5\3
    --z1\5\4
    --z1\5\5
    --z1\5\6
    ..controls z1\5\7c1 and z1\5\7c2..z1\5\7
    ..controls z1\5\8c1 and z1\5\8c2..cycle;
  proof_labels (
    1\0\0,
    1\0\1,
    1\0\2,
    1\0\3,
    1\0\4,
    1\0\5,
    1\0\6,
    1\0\7,
    1\0\8,
    1\0\9,
    1\0\10,
    1\0\11,
    1\0\12,
    1\0\13,
    1\0\14,
    1\0\15,
    1\0\16,
    1\0\17,
    1\0\18,
    1\0\19,
    1\0\20,
    1\0\21,
    1\1\0,
    1\1\1,
    1\2\0,
    1\2\1,
    1\2\2,
    1\2\3,
    1\2\4,
    1\2\5,
    1\3\0,
    1\3\1,
    1\3\2,
    1\3\3,
    1\4\0,
    1\4\1,
    1\4\2,
    1\5\0,
    1\5\1,
    1\5\2,
    1\5\3,
    1\5\4,
    1\5\5,
    1\5\6,
    1\5\7,
    1\5\8,
);
endchar;

beginchar (34, 8.913u#, 18.067u#, 0.000u#);
  "C3";
  z2\0\0s = (0.482u,13.009u);
  z2\0\0c1 = (1.945u,13.665u);
  z2\0\0c2 = (1.587u,16.094u);
  z2\0\0 = (4.818u,15.417u);
  z2\0\1 = (4.241u,12.228u);
  z2\0\2 = (4.753u,10.336u);
  z2\0\3 = (4.336u,5.781u);
  z2\0\4 = (2.578u,7.637u);
  z2\0\5c1 = (1.884u,8.230u);
  z2\0\5c2 = (0.149u,8.528u);
  z2\0\5 = (0.093u,7.222u);
  z2\0\6 = (1.423u,2.870u);
  z2\0\7c1 = (1.517u,1.431u);
  z2\0\7c2 = (1.073u,1.604u);
  z2\0\7 = (0.723u,0.482u);
  z2\0\8 = (8.672u,0.482u);
  z2\0\9 = (7.813u,1.772u);
  z2\0\10c1 = (7.398u,3.296u);
  z2\0\10c2 = (10.321u,11.418u);
  z2\0\10 = (8.143u,16.093u);
  z2\0\11c1 = (6.847u,18.875u);
  z2\0\11c2 = (4.996u,17.925u);
  z2\0\11 = (3.197u,16.556u);
  z2\0\12c1 = (1.529u,15.287u);
  z2\0\12c2 = (0.610u,15.638u);
  z2\1\0s = (5.781u,17.104u);
  z2\1\0c1 = (6.813u,15.972u);
  z2\1\0c2 = (5.767u,14.727u);
  z2\1\0 = (5.541u,13.490u);
  z2\1\1 = (4.336u,16.622u);
  z2\1\2 = (4.577u,16.863u);
  z2\1\3 = (5.541u,16.381u);
  z2\2\0s = (7.227u,16.381u);
  z2\2\0 = (8.191u,11.081u);
  z2\2\1 = (6.197u,12.212u);
  z2\3\0s = (5.300u,13.490u);
  z2\3\0 = (5.300u,11.563u);
  z2\4\0s = (6.986u,11.081u);
  z2\4\0c1 = (8.418u,9.194u);
  z2\4\0c2 = (7.344u,3.635u);
  z2\4\0 = (7.227u,1.204u);
  z2\4\1 = (1.927u,1.204u);
  z2\4\2 = (0.963u,7.709u);
  z2\4\3 = (5.059u,4.336u);
  z2\4\4 = (5.300u,9.154u);
  z2\4\5 = (5.781u,9.154u);
  z2\4\6 = (5.781u,7.468u);
  z2\4\7c1 = (7.355u,7.869u);
  z2\4\7c2 = (6.491u,9.835u);
  fill_or_unfill z2\0\0s
    ..controls z2\0\0c1 and z2\0\0c2..z2\0\0
    --z2\0\1
    --z2\0\2
    --z2\0\3
    --z2\0\4
    ..controls z2\0\5c1 and z2\0\5c2..z2\0\5
    --z2\0\6
    ..controls z2\0\7c1 and z2\0\7c2..z2\0\7
    --z2\0\8
    --z2\0\9
    ..controls z2\0\10c1 and z2\0\10c2..z2\0\10
    ..controls z2\0\11c1 and z2\0\11c2..z2\0\11
    ..controls z2\0\12c1 and z2\0\12c2..cycle;
  fill_or_unfill z2\1\0s
    ..controls z2\1\0c1 and z2\1\0c2..z2\1\0
    --z2\1\1
    --z2\1\2
    --z2\1\3
    --cycle;
  fill_or_unfill z2\2\0s
    --z2\2\0
    --z2\2\1
    --cycle;
  fill_or_unfill z2\3\0s
    --z2\3\0
    --cycle;
  fill_or_unfill z2\4\0s
    ..controls z2\4\0c1 and z2\4\0c2..z2\4\0
    --z2\4\1
    --z2\4\2
    --z2\4\3
    --z2\4\4
    --z2\4\5
    --z2\4\6
    ..controls z2\4\7c1 and z2\4\7c2..cycle;
  proof_labels (
    2\0\0,
    2\0\1,
    2\0\2,
    2\0\3,
    2\0\4,
    2\0\5,
    2\0\6,
    2\0\7,
    2\0\8,
    2\0\9,
    2\0\10,
    2\0\11,
    2\0\12,
    2\1\0,
    2\1\1,
    2\1\2,
    2\1\3,
    2\1\4,
    2\2\0,
    2\2\1,
    2\2\2,
    2\3\0,
    2\3\1,
    2\4\0,
    2\4\1,
    2\4\2,
    2\4\3,
    2\4\4,
    2\4\5,
    2\4\6,
    2\4\7,
);
endchar;

beginchar (35, 14.695u#, 18.067u#, 0.000u#);
  "C4";
  z3\0\0s = (0.241u,18.067u);
  z3\0\0c1 = (-0.391u,15.712u);
  z3\0\0c2 = (2.787u,17.129u);
  z3\0\0 = (3.794u,17.025u);
  z3\0\1 = (6.263u,16.622u);
  z3\0\2c1 = (5.513u,15.971u);
  z3\0\2c2 = (3.373u,14.670u);
  z3\0\2 = (3.542u,13.572u);
  z3\0\3 = (4.095u,12.286u);
  z3\0\4 = (7.227u,13.249u);
  z3\0\5 = (6.263u,6.263u);
  z3\0\6c1 = (5.044u,6.737u);
  z3\0\6c2 = (4.430u,8.230u);
  z3\0\6 = (3.250u,8.543u);
  z3\0\7c1 = (0.166u,9.363u);
  z3\0\7c2 = (3.037u,4.785u);
  z3\0\7 = (3.108u,3.833u);
  z3\0\8c1 = (3.266u,1.741u);
  z3\0\8c2 = (2.372u,2.127u);
  z3\0\8 = (1.927u,0.723u);
  z3\0\9 = (12.286u,0.963u);
  z3\0\10 = (10.359u,2.409u);
  z3\0\11 = (10.840u,8.913u);
  z3\0\12c1 = (12.986u,9.179u);
  z3\0\12c2 = (12.059u,13.438u);
  z3\0\12 = (11.117u,14.730u);
  z3\0\13 = (8.913u,16.841u);
  z3\0\14 = (11.600u,16.841u);
  z3\0\15c1 = (13.027u,16.927u);
  z3\0\15c2 = (14.442u,15.961u);
  z3\0\15 = (14.695u,18.067u);
  z3\0\16 = (9.174u,17.764u);
  z3\0\17 = (5.067u,17.434u);
  z3\0\18 = (3.593u,17.799u);
  z3\0\19 = (1.463u,17.505u);
  z3\1\0s = (11.322u,9.636u);
  z3\1\0c1 = (10.209u,10.854u);
  z3\1\0c2 = (11.469u,12.098u);
  z3\1\0 = (9.154u,12.527u);
  z3\1\1 = (9.154u,14.454u);
  z3\1\2 = (4.095u,13.731u);
  z3\1\3c1 = (5.222u,16.584u);
  z3\1\3c2 = (9.261u,16.751u);
  z3\1\3 = (10.714u,14.086u);
  z3\1\4c1 = (11.426u,12.780u);
  z3\1\4c2 = (11.322u,11.069u);
  z3\2\0s = (8.431u,13.249u);
  z3\2\0 = (8.672u,8.913u);
  z3\2\1 = (9.154u,8.913u);
  z3\2\2 = (9.636u,11.804u);
  z3\2\3 = (10.049u,4.886u);
  z3\2\4 = (9.621u,2.240u);
  z3\2\5 = (10.118u,1.445u);
  z3\2\6 = (3.372u,1.445u);
  z3\2\7c1 = (4.768u,4.356u);
  z3\2\7c2 = (2.649u,5.310u);
  z3\2\7 = (2.409u,7.950u);
  z3\2\8 = (6.263u,5.238u);
  z3\2\9 = (7.026u,7.186u);
  fill_or_unfill z3\0\0s
    ..controls z3\0\0c1 and z3\0\0c2..z3\0\0
    --z3\0\1
    ..controls z3\0\2c1 and z3\0\2c2..z3\0\2
    --z3\0\3
    --z3\0\4
    --z3\0\5
    ..controls z3\0\6c1 and z3\0\6c2..z3\0\6
    ..controls z3\0\7c1 and z3\0\7c2..z3\0\7
    ..controls z3\0\8c1 and z3\0\8c2..z3\0\8
    --z3\0\9
    --z3\0\10
    --z3\0\11
    ..controls z3\0\12c1 and z3\0\12c2..z3\0\12
    --z3\0\13
    --z3\0\14
    ..controls z3\0\15c1 and z3\0\15c2..z3\0\15
    --z3\0\16
    --z3\0\17
    --z3\0\18
    --z3\0\19
    --cycle;
  fill_or_unfill z3\1\0s
    ..controls z3\1\0c1 and z3\1\0c2..z3\1\0
    --z3\1\1
    --z3\1\2
    ..controls z3\1\3c1 and z3\1\3c2..z3\1\3
    ..controls z3\1\4c1 and z3\1\4c2..cycle;
  fill_or_unfill z3\2\0s
    --z3\2\0
    --z3\2\1
    --z3\2\2
    --z3\2\3
    --z3\2\4
    --z3\2\5
    --z3\2\6
    ..controls z3\2\7c1 and z3\2\7c2..z3\2\7
    --z3\2\8
    --z3\2\9
    --cycle;
  proof_labels (
    3\0\0,
    3\0\1,
    3\0\2,
    3\0\3,
    3\0\4,
    3\0\5,
    3\0\6,
    3\0\7,
    3\0\8,
    3\0\9,
    3\0\10,
    3\0\11,
    3\0\12,
    3\0\13,
    3\0\14,
    3\0\15,
    3\0\16,
    3\0\17,
    3\0\18,
    3\0\19,
    3\0\20,
    3\1\0,
    3\1\1,
    3\1\2,
    3\1\3,
    3\1\4,
    3\2\0,
    3\2\1,
    3\2\2,
    3\2\3,
    3\2\4,
    3\2\5,
    3\2\6,
    3\2\7,
    3\2\8,
    3\2\9,
    3\2\10,
);
endchar;

beginchar (36, 14.936u#, 18.549u#, 0.000u#);
  "C5";
  z4\0\0s = (0.241u,18.549u);
  z4\0\0c1 = (-0.445u,16.010u);
  z4\0\0c2 = (2.495u,17.375u);
  z4\0\0 = (3.553u,17.266u);
  z4\0\1 = (5.781u,16.863u);
  z4\0\2c1 = (4.997u,15.775u);
  z4\0\2c2 = (2.953u,15.045u);
  z4\0\2 = (3.820u,13.454u);
  z4\0\3c1 = (3.955u,13.208u);
  z4\0\3c2 = (4.203u,12.818u);
  z4\0\3 = (4.474u,12.712u);
  z4\0\4c1 = (5.060u,12.484u);
  z4\0\4c2 = (5.368u,13.236u);
  z4\0\4 = (5.877u,13.443u);
  z4\0\5c1 = (6.229u,13.506u);
  z4\0\5c2 = (6.848u,13.487u);
  z4\0\5 = (7.227u,13.443u);
  z4\0\6 = (6.263u,6.504u);
  z4\0\7 = (2.168u,11.081u);
  z4\0\8 = (3.372u,11.563u);
  z4\0\9 = (3.372u,12.045u);
  z4\0\10 = (3.132u,12.286u);
  z4\0\11 = (1.927u,12.045u);
  z4\0\12c1 = (1.871u,14.346u);
  z4\0\12c2 = (0.361u,14.289u);
  z4\0\12 = (0.100u,13.169u);
  z4\0\13c1 = (-0.093u,12.343u);
  z4\0\13c2 = (0.686u,11.795u);
  z4\0\13 = (0.963u,11.081u);
  z4\0\14 = (0.000u,10.840u);
  z4\0\15 = (0.000u,10.359u);
  z4\0\16 = (1.445u,10.600u);
  z4\0\17 = (1.686u,10.359u);
  z4\0\18 = (1.686u,9.877u);
  z4\0\19 = (0.963u,9.877u);
  z4\0\20 = (3.079u,3.177u);
  z4\0\21 = (1.927u,0.963u);
  z4\0\22 = (12.045u,0.963u);
  z4\0\23c1 = (11.726u,2.290u);
  z4\0\23c2 = (10.731u,2.047u);
  z4\0\23 = (10.652u,3.142u);
  z4\0\24 = (10.840u,6.986u);
  z4\0\25c1 = (10.841u,7.446u);
  z4\0\25c2 = (10.796u,8.349u);
  z4\0\25 = (11.008u,8.745u);
  z4\0\26c1 = (11.553u,9.760u);
  z4\0\26c2 = (12.033u,8.621u);
  z4\0\26 = (12.045u,11.081u);
  z4\0\27c1 = (12.059u,14.084u);
  z4\0\27c2 = (11.713u,15.461u);
  z4\0\27 = (8.913u,16.863u);
  z4\0\28c1 = (10.474u,17.471u);
  z4\0\28c2 = (15.436u,15.839u);
  z4\0\28 = (14.695u,18.549u);
  z4\0\29 = (9.383u,18.278u);
  z4\0\30 = (7.736u,18.010u);
  z4\0\31 = (3.545u,18.462u);
  z4\0\32 = (1.463u,17.941u);
  z4\0\33 = (0.723u,18.549u);
  z4\1\0s = (11.322u,10.118u);
  z4\1\0 = (10.840u,10.118u);
  z4\1\1c1 = (10.837u,14.455u);
  z4\1\1c2 = (8.630u,11.417u);
  z4\1\1 = (9.395u,14.936u);
  z4\1\2 = (7.860u,14.303u);
  z4\1\3 = (4.336u,13.972u);
  z4\1\4c1 = (4.568u,14.705u);
  z4\1\4c2 = (4.927u,14.972u);
  z4\1\4 = (5.485u,15.473u);
  z4\1\5c1 = (8.426u,18.121u);
  z4\1\5c2 = (11.283u,14.941u);
  z4\1\5 = (11.322u,11.803u);
  z4\2\0s = (8.431u,13.490u);
  z4\2\0 = (8.672u,9.395u);
  z4\2\1 = (10.118u,12.045u);
  z4\2\2 = (9.754u,2.484u);
  z4\2\3 = (10.359u,1.927u);
  z4\2\4 = (3.372u,1.686u);
  z4\2\5c1 = (4.501u,5.572u);
  z4\2\5c2 = (2.724u,5.247u);
  z4\2\5 = (2.409u,8.431u);
  z4\2\6 = (6.263u,5.479u);
  z4\2\7 = (7.125u,7.329u);
  z4\3\0s = (1.204u,13.249u);
  z4\3\0 = (1.204u,12.045u);
  z4\3\1 = (0.723u,13.249u);
  fill_or_unfill z4\0\0s
    ..controls z4\0\0c1 and z4\0\0c2..z4\0\0
    --z4\0\1
    ..controls z4\0\2c1 and z4\0\2c2..z4\0\2
    ..controls z4\0\3c1 and z4\0\3c2..z4\0\3
    ..controls z4\0\4c1 and z4\0\4c2..z4\0\4
    ..controls z4\0\5c1 and z4\0\5c2..z4\0\5
    --z4\0\6
    --z4\0\7
    --z4\0\8
    --z4\0\9
    --z4\0\10
    --z4\0\11
    ..controls z4\0\12c1 and z4\0\12c2..z4\0\12
    ..controls z4\0\13c1 and z4\0\13c2..z4\0\13
    --z4\0\14
    --z4\0\15
    --z4\0\16
    --z4\0\17
    --z4\0\18
    --z4\0\19
    --z4\0\20
    --z4\0\21
    --z4\0\22
    ..controls z4\0\23c1 and z4\0\23c2..z4\0\23
    --z4\0\24
    ..controls z4\0\25c1 and z4\0\25c2..z4\0\25
    ..controls z4\0\26c1 and z4\0\26c2..z4\0\26
    ..controls z4\0\27c1 and z4\0\27c2..z4\0\27
    ..controls z4\0\28c1 and z4\0\28c2..z4\0\28
    --z4\0\29
    --z4\0\30
    --z4\0\31
    --z4\0\32
    --z4\0\33
    --cycle;
  fill_or_unfill z4\1\0s
    --z4\1\0
    ..controls z4\1\1c1 and z4\1\1c2..z4\1\1
    --z4\1\2
    --z4\1\3
    ..controls z4\1\4c1 and z4\1\4c2..z4\1\4
    ..controls z4\1\5c1 and z4\1\5c2..z4\1\5
    --cycle;
  fill_or_unfill z4\2\0s
    --z4\2\0
    --z4\2\1
    --z4\2\2
    --z4\2\3
    --z4\2\4
    ..controls z4\2\5c1 and z4\2\5c2..z4\2\5
    --z4\2\6
    --z4\2\7
    --cycle;
  fill_or_unfill z4\3\0s
    --z4\3\0
    --z4\3\1
    --cycle;
  proof_labels (
    4\0\0,
    4\0\1,
    4\0\2,
    4\0\3,
    4\0\4,
    4\0\5,
    4\0\6,
    4\0\7,
    4\0\8,
    4\0\9,
    4\0\10,
    4\0\11,
    4\0\12,
    4\0\13,
    4\0\14,
    4\0\15,
    4\0\16,
    4\0\17,
    4\0\18,
    4\0\19,
    4\0\20,
    4\0\21,
    4\0\22,
    4\0\23,
    4\0\24,
    4\0\25,
    4\0\26,
    4\0\27,
    4\0\28,
    4\0\29,
    4\0\30,
    4\0\31,
    4\0\32,
    4\0\33,
    4\0\34,
    4\1\0,
    4\1\1,
    4\1\2,
    4\1\3,
    4\1\4,
    4\1\5,
    4\1\6,
    4\2\0,
    4\2\1,
    4\2\2,
    4\2\3,
    4\2\4,
    4\2\5,
    4\2\6,
    4\2\7,
    4\2\8,
    4\3\0,
    4\3\1,
    4\3\2,
);
endchar;

beginchar (37, 8.913u#, 18.308u#, 0.000u#);
  "C6";
  z5\0\0s = (4.577u,18.308u);
  z5\0\0c1 = (4.576u,14.731u);
  z5\0\0c2 = (4.368u,14.294u);
  z5\0\0 = (0.723u,13.972u);
  z5\0\1c1 = (1.313u,10.955u);
  z5\0\1c2 = (4.683u,14.087u);
  z5\0\1 = (4.912u,11.017u);
  z5\0\2 = (4.095u,6.022u);
  z5\0\3c1 = (3.211u,6.660u);
  z5\0\3c2 = (1.632u,8.991u);
  z5\0\3 = (0.411u,8.259u);
  z5\0\4c1 = (-0.159u,7.916u);
  z5\0\4c2 = (0.065u,6.991u);
  z5\0\4 = (0.214u,6.477u);
  z5\0\5c1 = (0.999u,3.772u);
  z5\0\5c2 = (1.319u,3.550u);
  z5\0\5 = (0.723u,0.723u);
  z5\0\6 = (8.672u,0.963u);
  z5\0\7c1 = (7.112u,3.186u);
  z5\0\7c2 = (8.579u,5.817u);
  z5\0\7 = (8.795u,8.228u);
  z5\0\8 = (8.651u,10.578u);
  z5\0\9 = (7.516u,14.261u);
  z5\0\10c1 = (7.272u,15.765u);
  z5\0\10c2 = (7.674u,17.221u);
  z5\0\10 = (6.263u,18.308u);
  z5\0\11 = (5.781u,17.345u);
  z5\0\12 = (5.300u,18.308u);
  z5\1\0s = (6.745u,15.899u);
  z5\1\0 = (5.781u,12.045u);
  z5\1\1c1 = (4.219u,13.203u);
  z5\1\1c2 = (4.544u,13.243u);
  z5\1\1 = (2.409u,13.249u);
  z5\1\2 = (5.059u,13.490u);
  z5\2\0s = (7.227u,12.768u);
  z5\2\0 = (7.709u,11.322u);
  z5\2\1c1 = (6.773u,11.560u);
  z5\2\1c2 = (6.536u,12.008u);
  z5\3\0s = (6.986u,10.600u);
  z5\3\0c1 = (8.416u,9.293u);
  z5\3\0c2 = (7.227u,3.535u);
  z5\3\0 = (7.227u,1.445u);
  z5\3\1 = (1.686u,1.445u);
  z5\3\2 = (0.723u,7.709u);
  z5\3\3c1 = (2.166u,7.442u);
  z5\3\3c2 = (3.574u,5.682u);
  z5\3\3 = (4.095u,4.336u);
  z5\3\4 = (4.577u,4.336u);
  z5\3\5 = (5.541u,10.118u);
  z5\3\6 = (5.781u,7.709u);
  z5\3\7c1 = (7.255u,8.085u);
  z5\3\7c2 = (6.521u,9.428u);
  fill_or_unfill z5\0\0s
    ..controls z5\0\0c1 and z5\0\0c2..z5\0\0
    ..controls z5\0\1c1 and z5\0\1c2..z5\0\1
    --z5\0\2
    ..controls z5\0\3c1 and z5\0\3c2..z5\0\3
    ..controls z5\0\4c1 and z5\0\4c2..z5\0\4
    ..controls z5\0\5c1 and z5\0\5c2..z5\0\5
    --z5\0\6
    ..controls z5\0\7c1 and z5\0\7c2..z5\0\7
    --z5\0\8
    --z5\0\9
    ..controls z5\0\10c1 and z5\0\10c2..z5\0\10
    --z5\0\11
    --z5\0\12
    --cycle;
  fill_or_unfill z5\1\0s
    --z5\1\0
    ..controls z5\1\1c1 and z5\1\1c2..z5\1\1
    --z5\1\2
    --cycle;
  fill_or_unfill z5\2\0s
    --z5\2\0
    ..controls z5\2\1c1 and z5\2\1c2..cycle;
  fill_or_unfill z5\3\0s
    ..controls z5\3\0c1 and z5\3\0c2..z5\3\0
    --z5\3\1
    --z5\3\2
    ..controls z5\3\3c1 and z5\3\3c2..z5\3\3
    --z5\3\4
    --z5\3\5
    --z5\3\6
    ..controls z5\3\7c1 and z5\3\7c2..cycle;
  proof_labels (
    5\0\0,
    5\0\1,
    5\0\2,
    5\0\3,
    5\0\4,
    5\0\5,
    5\0\6,
    5\0\7,
    5\0\8,
    5\0\9,
    5\0\10,
    5\0\11,
    5\0\12,
    5\0\13,
    5\1\0,
    5\1\1,
    5\1\2,
    5\1\3,
    5\2\0,
    5\2\1,
    5\3\0,
    5\3\1,
    5\3\2,
    5\3\3,
    5\3\4,
    5\3\5,
    5\3\6,
    5\3\7,
);
endchar;

beginchar (38, 8.672u#, 18.790u#, 0.000u#);
  "C7";
  z6\0\0s = (4.095u,18.549u);
  z6\0\0 = (4.523u,15.935u);
  z6\0\1 = (1.204u,11.322u);
  z6\0\2c1 = (2.451u,11.351u);
  z6\0\2c2 = (3.397u,12.134u);
  z6\0\2 = (4.095u,12.129u);
  z6\0\3c1 = (5.619u,12.119u);
  z6\0\3c2 = (4.347u,7.433u);
  z6\0\3 = (4.336u,6.263u);
  z6\0\4 = (2.830u,7.889u);
  z6\0\5c1 = (1.947u,8.732u);
  z6\0\5c2 = (-0.112u,9.600u);
  z6\0\5 = (0.054u,7.502u);
  z6\0\6 = (1.299u,3.548u);
  z6\0\7c1 = (1.364u,2.739u);
  z6\0\7c2 = (1.066u,1.920u);
  z6\0\7 = (0.723u,1.204u);
  z6\0\8 = (8.672u,1.204u);
  z6\0\9c1 = (8.336u,1.677u);
  z6\0\9c2 = (7.891u,2.106u);
  z6\0\9 = (7.808u,2.707u);
  z6\0\10c1 = (7.555u,4.544u);
  z6\0\10c2 = (8.408u,6.989u);
  z6\0\10 = (8.430u,8.914u);
  z6\0\11 = (7.227u,16.381u);
  z6\0\12c1 = (7.225u,17.424u);
  z6\0\12c2 = (7.346u,19.204u);
  z6\0\12 = (5.781u,18.067u);
  z6\1\0s = (6.504u,16.140u);
  z6\1\0 = (5.781u,12.286u);
  z6\1\1 = (2.650u,12.527u);
  z6\1\2c1 = (3.310u,13.437u);
  z6\1\2c2 = (3.497u,13.460u);
  z6\1\2 = (4.577u,13.249u);
  z6\1\3 = (4.818u,13.490u);
  z6\1\4 = (4.577u,14.213u);
  z6\1\5 = (6.022u,14.454u);
  z6\2\0s = (6.986u,13.009u);
  z6\2\0 = (7.468u,11.563u);
  z6\2\1c1 = (6.607u,11.865u);
  z6\2\1c2 = (6.298u,12.252u);
  z6\3\0s = (6.986u,11.081u);
  z6\3\0 = (7.227u,1.686u);
  z6\3\1 = (1.914u,1.686u);
  z6\3\2 = (1.914u,4.317u);
  z6\3\3 = (0.963u,8.191u);
  z6\3\4c1 = (2.581u,7.701u);
  z6\3\4c2 = (3.616u,6.016u);
  z6\3\4 = (4.336u,4.577u);
  z6\3\5 = (4.818u,4.577u);
  z6\3\6 = (5.541u,10.359u);
  z6\3\7 = (6.022u,7.950u);
  z6\3\8 = (6.263u,10.840u);
  fill_or_unfill z6\0\0s
    --z6\0\0
    --z6\0\1
    ..controls z6\0\2c1 and z6\0\2c2..z6\0\2
    ..controls z6\0\3c1 and z6\0\3c2..z6\0\3
    --z6\0\4
    ..controls z6\0\5c1 and z6\0\5c2..z6\0\5
    --z6\0\6
    ..controls z6\0\7c1 and z6\0\7c2..z6\0\7
    --z6\0\8
    ..controls z6\0\9c1 and z6\0\9c2..z6\0\9
    ..controls z6\0\10c1 and z6\0\10c2..z6\0\10
    --z6\0\11
    ..controls z6\0\12c1 and z6\0\12c2..z6\0\12
    --cycle;
  fill_or_unfill z6\1\0s
    --z6\1\0
    --z6\1\1
    ..controls z6\1\2c1 and z6\1\2c2..z6\1\2
    --z6\1\3
    --z6\1\4
    --z6\1\5
    --cycle;
  fill_or_unfill z6\2\0s
    --z6\2\0
    ..controls z6\2\1c1 and z6\2\1c2..cycle;
  fill_or_unfill z6\3\0s
    --z6\3\0
    --z6\3\1
    --z6\3\2
    --z6\3\3
    ..controls z6\3\4c1 and z6\3\4c2..z6\3\4
    --z6\3\5
    --z6\3\6
    --z6\3\7
    --z6\3\8
    --cycle;
  proof_labels (
    6\0\0,
    6\0\1,
    6\0\2,
    6\0\3,
    6\0\4,
    6\0\5,
    6\0\6,
    6\0\7,
    6\0\8,
    6\0\9,
    6\0\10,
    6\0\11,
    6\0\12,
    6\0\13,
    6\1\0,
    6\1\1,
    6\1\2,
    6\1\3,
    6\1\4,
    6\1\5,
    6\1\6,
    6\2\0,
    6\2\1,
    6\3\0,
    6\3\1,
    6\3\2,
    6\3\3,
    6\3\4,
    6\3\5,
    6\3\6,
    6\3\7,
    6\3\8,
    6\3\9,
);
endchar;

beginchar (39, 9.877u#, 18.308u#, 0.000u#);
  "C8";
  z7\0\0s = (3.372u,18.308u);
  z7\0\0 = (0.723u,11.804u);
  z7\0\1 = (1.927u,9.395u);
  z7\0\2 = (0.482u,9.395u);
  z7\0\3 = (1.728u,8.473u);
  z7\0\4 = (2.143u,3.156u);
  z7\0\5 = (0.000u,1.204u);
  z7\0\6 = (4.818u,1.204u);
  z7\0\7 = (4.818u,9.877u);
  z7\0\8c1 = (4.837u,12.818u);
  z7\0\8c2 = (6.142u,11.128u);
  z7\0\8 = (6.815u,12.216u);
  z7\0\9 = (7.227u,14.213u);
  z7\0\10 = (7.709u,14.213u);
  z7\0\11 = (8.760u,12.152u);
  z7\0\12 = (9.728u,12.908u);
  z7\0\13 = (7.227u,17.826u);
  z7\0\14 = (6.745u,17.826u);
  z7\0\15 = (5.300u,13.490u);
  z7\0\16 = (6.745u,16.381u);
  z7\0\17 = (6.263u,12.527u);
  z7\0\18 = (4.577u,12.527u);
  z7\0\19 = (4.228u,14.846u);
  z7\0\20 = (5.059u,17.826u);
  z7\0\21 = (4.336u,17.345u);
  z7\0\22 = (3.854u,18.308u);
  z7\1\0s = (3.854u,15.899u);
  z7\1\0 = (3.613u,14.936u);
  z7\1\1 = (3.132u,14.936u);
  z7\1\2 = (2.891u,15.899u);
  z7\2\0s = (3.132u,14.335u);
  z7\3\0s = (8.672u,13.972u);
  z7\3\0 = (9.154u,12.768u);
  z7\4\0s = (2.891u,6.022u);
  z7\4\0 = (2.368u,9.835u);
  z7\4\1 = (1.987u,11.345u);
  z7\4\2 = (1.987u,13.731u);
  z7\4\3c1 = (4.447u,13.088u);
  z7\4\3c2 = (3.050u,7.813u);
  z7\5\0s = (4.095u,13.490u);
  z7\5\0 = (4.095u,12.286u);
  z7\5\1 = (3.372u,12.527u);
  z7\5\2 = (3.613u,13.490u);
  z7\6\0s = (4.095u,8.913u);
  z7\6\0 = (4.336u,2.409u);
  z7\6\1 = (3.627u,2.823u);
  z7\7\0s = (4.095u,1.927u);
  z7\7\0 = (1.204u,1.445u);
  z7\7\1 = (1.204u,1.927u);
  fill_or_unfill z7\0\0s
    --z7\0\0
    --z7\0\1
    --z7\0\2
    --z7\0\3
    --z7\0\4
    --z7\0\5
    --z7\0\6
    --z7\0\7
    ..controls z7\0\8c1 and z7\0\8c2..z7\0\8
    --z7\0\9
    --z7\0\10
    --z7\0\11
    --z7\0\12
    --z7\0\13
    --z7\0\14
    --z7\0\15
    --z7\0\16
    --z7\0\17
    --z7\0\18
    --z7\0\19
    --z7\0\20
    --z7\0\21
    --z7\0\22
    --cycle;
  fill_or_unfill z7\1\0s
    --z7\1\0
    --z7\1\1
    --z7\1\2
    --cycle;
  fill_or_unfill z7\2\0s
    --cycle;
  fill_or_unfill z7\3\0s
    --z7\3\0
    --cycle;
  fill_or_unfill z7\4\0s
    --z7\4\0
    --z7\4\1
    --z7\4\2
    ..controls z7\4\3c1 and z7\4\3c2..cycle;
  fill_or_unfill z7\5\0s
    --z7\5\0
    --z7\5\1
    --z7\5\2
    --cycle;
  fill_or_unfill z7\6\0s
    --z7\6\0
    --z7\6\1
    --cycle;
  fill_or_unfill z7\7\0s
    --z7\7\0
    --z7\7\1
    --cycle;
  proof_labels (
    7\0\0,
    7\0\1,
    7\0\2,
    7\0\3,
    7\0\4,
    7\0\5,
    7\0\6,
    7\0\7,
    7\0\8,
    7\0\9,
    7\0\10,
    7\0\11,
    7\0\12,
    7\0\13,
    7\0\14,
    7\0\15,
    7\0\16,
    7\0\17,
    7\0\18,
    7\0\19,
    7\0\20,
    7\0\21,
    7\0\22,
    7\0\23,
    7\1\0,
    7\1\1,
    7\1\2,
    7\1\3,
    7\2\0,
    7\3\0,
    7\3\1,
    7\4\0,
    7\4\1,
    7\4\2,
    7\4\3,
    7\5\0,
    7\5\1,
    7\5\2,
    7\5\3,
    7\6\0,
    7\6\1,
    7\6\2,
    7\7\0,
    7\7\1,
    7\7\2,
);
endchar;

beginchar (40, 8.913u#, 18.067u#, 0.000u#);
  "C9";
  z8\0\0s = (2.168u,17.826u);
  z8\0\0 = (4.818u,13.731u);
  z8\0\1 = (4.136u,12.405u);
  z8\0\2 = (3.500u,10.629u);
  z8\0\3 = (5.227u,8.682u);
  z8\0\4 = (4.095u,4.336u);
  z8\0\5 = (3.613u,4.336u);
  z8\0\6c1 = (3.341u,4.853u);
  z8\0\6c2 = (0.685u,8.755u);
  z8\0\6 = (0.139u,6.687u);
  z8\0\7c1 = (-0.132u,5.660u);
  z8\0\7c2 = (1.568u,3.120u);
  z8\0\7 = (1.237u,2.093u);
  z8\0\8c1 = (1.052u,1.521u);
  z8\0\8c2 = (0.362u,0.984u);
  z8\0\8 = (0.000u,0.482u);
  z8\0\9 = (6.986u,0.241u);
  z8\0\10c1 = (6.778u,1.392u);
  z8\0\10c2 = (6.489u,5.087u);
  z8\0\10 = (7.302u,5.947u);
  z8\0\11c1 = (7.595u,6.256u);
  z8\0\11c2 = (8.043u,6.233u);
  z8\0\11 = (8.431u,6.263u);
  z8\0\12 = (7.976u,10.385u);
  z8\0\13 = (7.131u,12.190u);
  z8\0\14 = (6.504u,13.731u);
  z8\0\15 = (8.913u,18.067u);
  z8\0\16 = (6.745u,16.381u);
  z8\0\17c1 = (5.271u,18.670u);
  z8\0\17c2 = (4.624u,14.605u);
  z8\0\17 = (2.891u,18.067u);
  z8\1\0s = (5.373u,16.505u);
  z8\1\0c1 = (7.043u,16.535u);
  z8\1\0c2 = (6.984u,14.834u);
  z8\1\0 = (6.168u,14.556u);
  z8\1\1c1 = (4.771u,14.080u);
  z8\1\1c2 = (4.027u,15.823u);
  z8\2\0s = (6.745u,11.322u);
  z8\2\0 = (4.818u,12.286u);
  z8\2\1c1 = (5.862u,12.276u);
  z8\2\1c2 = (6.451u,12.474u);
  z8\3\0s = (6.986u,11.322u);
  z8\3\0 = (7.950u,6.986u);
  z8\3\1 = (6.986u,6.745u);
  z8\4\0s = (6.275u,10.840u);
  z8\4\0 = (6.275u,7.251u);
  z8\4\1 = (6.714u,5.311u);
  z8\4\2 = (6.022u,0.963u);
  z8\4\3 = (1.204u,0.963u);
  z8\4\4c1 = (2.436u,2.970u);
  z8\4\4c2 = (0.916u,4.624u);
  z8\4\4 = (0.723u,6.745u);
  z8\4\5 = (3.854u,3.132u);
  z8\4\6 = (4.336u,3.132u);
  z8\4\7 = (5.547u,9.643u);
  z8\4\8 = (4.095u,10.600u);
  z8\4\9 = (4.818u,11.081u);
  fill_or_unfill z8\0\0s
    --z8\0\0
    --z8\0\1
    --z8\0\2
    --z8\0\3
    --z8\0\4
    --z8\0\5
    ..controls z8\0\6c1 and z8\0\6c2..z8\0\6
    ..controls z8\0\7c1 and z8\0\7c2..z8\0\7
    ..controls z8\0\8c1 and z8\0\8c2..z8\0\8
    --z8\0\9
    ..controls z8\0\10c1 and z8\0\10c2..z8\0\10
    ..controls z8\0\11c1 and z8\0\11c2..z8\0\11
    --z8\0\12
    --z8\0\13
    --z8\0\14
    --z8\0\15
    --z8\0\16
    ..controls z8\0\17c1 and z8\0\17c2..z8\0\17
    --cycle;
  fill_or_unfill z8\1\0s
    ..controls z8\1\0c1 and z8\1\0c2..z8\1\0
    ..controls z8\1\1c1 and z8\1\1c2..cycle;
  fill_or_unfill z8\2\0s
    --z8\2\0
    ..controls z8\2\1c1 and z8\2\1c2..cycle;
  fill_or_unfill z8\3\0s
    --z8\3\0
    --z8\3\1
    --cycle;
  fill_or_unfill z8\4\0s
    --z8\4\0
    --z8\4\1
    --z8\4\2
    --z8\4\3
    ..controls z8\4\4c1 and z8\4\4c2..z8\4\4
    --z8\4\5
    --z8\4\6
    --z8\4\7
    --z8\4\8
    --z8\4\9
    --cycle;
  proof_labels (
    8\0\0,
    8\0\1,
    8\0\2,
    8\0\3,
    8\0\4,
    8\0\5,
    8\0\6,
    8\0\7,
    8\0\8,
    8\0\9,
    8\0\10,
    8\0\11,
    8\0\12,
    8\0\13,
    8\0\14,
    8\0\15,
    8\0\16,
    8\0\17,
    8\0\18,
    8\1\0,
    8\1\1,
    8\2\0,
    8\2\1,
    8\3\0,
    8\3\1,
    8\3\2,
    8\4\0,
    8\4\1,
    8\4\2,
    8\4\3,
    8\4\4,
    8\4\5,
    8\4\6,
    8\4\7,
    8\4\8,
    8\4\9,
    8\4\10,
);
endchar;

beginchar (41, 8.431u#, 18.067u#, 0.000u#);
  "C10";
  z9\0\0s = (3.854u,4.818u);
  z9\0\0c1 = (2.642u,5.297u);
  z9\0\0c2 = (2.342u,6.727u);
  z9\0\0 = (1.348u,7.164u);
  z9\0\1c1 = (-1.173u,8.362u);
  z9\0\1c2 = (1.271u,3.059u);
  z9\0\1 = (1.348u,2.348u);
  z9\0\2c1 = (1.317u,1.680u);
  z9\0\2c2 = (0.647u,1.180u);
  z9\0\2 = (0.482u,0.482u);
  z9\0\3 = (7.468u,0.482u);
  z9\0\4 = (6.670u,2.253u);
  z9\0\5 = (6.986u,6.504u);
  z9\0\6c1 = (8.388u,6.862u);
  z9\0\6c2 = (7.837u,7.956u);
  z9\0\6 = (7.994u,9.110u);
  z9\0\7 = (8.316u,10.572u);
  z9\0\8c1 = (8.278u,11.758u);
  z9\0\8c2 = (7.629u,11.614u);
  z9\0\8 = (7.950u,13.249u);
  z9\0\9 = (7.709u,13.490u);
  z9\0\10 = (6.022u,13.490u);
  z9\0\11 = (7.386u,17.085u);
  z9\0\12c1 = (7.328u,18.168u);
  z9\0\12c2 = (6.043u,18.070u);
  z9\0\12 = (5.470u,17.415u);
  z9\0\13c1 = (4.690u,16.522u);
  z9\0\13c2 = (4.824u,15.222u);
  z9\0\13 = (4.315u,14.234u);
  z9\0\14c1 = (3.816u,13.264u);
  z9\0\14c2 = (2.574u,12.470u);
  z9\0\14 = (2.390u,11.254u);
  z9\0\15c1 = (2.188u,9.913u);
  z9\0\15c2 = (3.965u,9.901u);
  z9\0\15 = (4.235u,9.060u);
  z9\1\0s = (6.504u,17.104u);
  z9\2\0s = (6.263u,16.863u);
  z9\3\0s = (5.781u,15.899u);
  z9\3\0 = (5.300u,14.695u);
  z9\4\0s = (5.781u,13.009u);
  z9\4\0 = (4.336u,12.768u);
  z9\5\0s = (4.818u,11.804u);
  z9\5\0 = (6.010u,8.408u);
  z9\5\1 = (6.010u,1.445u);
  z9\5\2 = (1.872u,1.204u);
  z9\5\3 = (1.872u,3.502u);
  z9\5\4 = (0.963u,6.504u);
  z9\5\5 = (4.336u,3.372u);
  z9\5\6 = (4.964u,9.541u);
  z9\5\7 = (3.372u,11.563u);
  z9\6\0s = (6.745u,11.804u);
  z9\6\0 = (6.986u,8.913u);
  z9\6\1 = (5.781u,11.804u);
  z9\7\0s = (7.227u,7.950u);
  fill_or_unfill z9\0\0s
    ..controls z9\0\0c1 and z9\0\0c2..z9\0\0
    ..controls z9\0\1c1 and z9\0\1c2..z9\0\1
    ..controls z9\0\2c1 and z9\0\2c2..z9\0\2
    --z9\0\3
    --z9\0\4
    --z9\0\5
    ..controls z9\0\6c1 and z9\0\6c2..z9\0\6
    --z9\0\7
    ..controls z9\0\8c1 and z9\0\8c2..z9\0\8
    --z9\0\9
    --z9\0\10
    --z9\0\11
    ..controls z9\0\12c1 and z9\0\12c2..z9\0\12
    ..controls z9\0\13c1 and z9\0\13c2..z9\0\13
    ..controls z9\0\14c1 and z9\0\14c2..z9\0\14
    ..controls z9\0\15c1 and z9\0\15c2..z9\0\15
    --cycle;
  fill_or_unfill z9\1\0s
    --cycle;
  fill_or_unfill z9\2\0s
    --cycle;
  fill_or_unfill z9\3\0s
    --z9\3\0
    --cycle;
  fill_or_unfill z9\4\0s
    --z9\4\0
    --cycle;
  fill_or_unfill z9\5\0s
    --z9\5\0
    --z9\5\1
    --z9\5\2
    --z9\5\3
    --z9\5\4
    --z9\5\5
    --z9\5\6
    --z9\5\7
    --cycle;
  fill_or_unfill z9\6\0s
    --z9\6\0
    --z9\6\1
    --cycle;
  fill_or_unfill z9\7\0s
    --cycle;
  proof_labels (
    9\0\0,
    9\0\1,
    9\0\2,
    9\0\3,
    9\0\4,
    9\0\5,
    9\0\6,
    9\0\7,
    9\0\8,
    9\0\9,
    9\0\10,
    9\0\11,
    9\0\12,
    9\0\13,
    9\0\14,
    9\0\15,
    9\0\16,
    9\1\0,
    9\2\0,
    9\3\0,
    9\3\1,
    9\4\0,
    9\4\1,
    9\5\0,
    9\5\1,
    9\5\2,
    9\5\3,
    9\5\4,
    9\5\5,
    9\5\6,
    9\5\7,
    9\5\8,
    9\6\0,
    9\6\1,
    9\6\2,
    9\7\0,
);
endchar;

beginchar (42, 13.972u#, 17.826u#, 0.000u#);
  "C11";
  z10\0\0s = (4.782u,10.840u);
  z10\0\0 = (2.409u,10.840u);
  z10\0\1 = (1.625u,15.857u);
  z10\0\2 = (0.241u,16.622u);
  z10\0\3 = (1.814u,10.245u);
  z10\0\4 = (3.854u,9.877u);
  z10\0\5 = (3.613u,9.154u);
  z10\0\6 = (5.023u,9.477u);
  z10\0\7c1 = (6.038u,9.316u);
  z10\0\7c2 = (5.781u,6.061u);
  z10\0\7 = (5.781u,5.300u);
  z10\0\8c1 = (4.576u,5.768u);
  z10\0\8c2 = (3.793u,7.468u);
  z10\0\8 = (2.594u,7.608u);
  z10\0\9c1 = (0.231u,7.883u);
  z10\0\9c2 = (2.730u,3.514u);
  z10\0\9 = (1.776u,2.077u);
  z10\0\10c1 = (1.366u,1.459u);
  z10\0\10c2 = (0.638u,1.274u);
  z10\0\10 = (0.000u,0.963u);
  z10\0\11 = (0.987u,0.507u);
  z10\0\12 = (3.855u,0.722u);
  z10\0\13 = (7.505u,0.919u);
  z10\0\14 = (10.136u,0.544u);
  z10\0\15 = (11.081u,0.723u);
  z10\0\16c1 = (9.787u,2.402u);
  z10\0\16c2 = (8.919u,0.746u);
  z10\0\16 = (8.913u,3.854u);
  z10\0\17c1 = (8.911u,5.131u);
  z10\0\17c2 = (8.738u,8.081u);
  z10\0\17 = (9.424u,9.125u);
  z10\0\18c1 = (10.114u,10.175u);
  z10\0\18c2 = (12.268u,9.345u);
  z10\0\18 = (12.861u,10.747u);
  z10\0\19c1 = (13.196u,11.539u);
  z10\0\19c2 = (13.144u,12.574u);
  z10\0\19 = (13.326u,13.413u);
  z10\0\20c1 = (13.548u,14.435u);
  z10\0\20c2 = (13.946u,15.015u);
  z10\0\20 = (13.972u,16.140u);
  z10\0\21c1 = (13.036u,15.794u);
  z10\0\21c2 = (12.297u,15.426u);
  z10\0\21 = (12.398u,14.305u);
  z10\0\22c1 = (12.660u,11.386u);
  z10\0\22c2 = (11.719u,10.436u);
  z10\0\22 = (8.913u,10.840u);
  z10\0\23c1 = (8.913u,11.607u);
  z10\0\23c2 = (9.016u,13.048u);
  z10\0\23 = (8.646u,13.705u);
  z10\0\24c1 = (8.368u,14.198u);
  z10\0\24c2 = (7.961u,14.240u);
  z10\0\24 = (7.592u,14.578u);
  z10\0\25c1 = (6.344u,15.719u);
  z10\0\25c2 = (7.508u,16.786u);
  z10\0\25 = (7.950u,17.826u);
  z10\0\26 = (6.780u,17.551u);
  z10\0\27 = (6.347u,14.834u);
  z10\0\28 = (4.782u,12.640u);
  z10\1\0s = (7.468u,10.600u);
  z10\1\0c1 = (7.466u,12.428u);
  z10\1\0c2 = (7.685u,12.578u);
  z10\1\0 = (6.263u,13.731u);
  z10\1\1c1 = (8.722u,14.500u);
  z10\1\1c2 = (9.319u,11.338u);
  z10\2\0s = (6.504u,13.009u);
  z10\2\0 = (6.745u,11.563u);
  z10\2\1 = (5.781u,11.804u);
  z10\3\0s = (6.745u,10.600u);
  z10\3\0 = (6.745u,8.913u);
  z10\3\1 = (8.913u,10.118u);
  z10\3\2c1 = (8.870u,8.196u);
  z10\3\2c2 = (8.486u,5.550u);
  z10\3\2 = (6.459u,4.818u);
  z10\3\3 = (6.459u,7.901u);
  z10\3\4 = (5.781u,10.359u);
  z10\4\0s = (2.409u,6.777u);
  z10\5\0s = (5.300u,4.095u);
  z10\5\0 = (3.372u,3.372u);
  z10\5\1c1 = (2.037u,7.462u);
  z10\5\1c2 = (4.607u,6.385u);
  z10\6\0s = (8.191u,5.059u);
  z10\6\0c1 = (9.327u,1.522u);
  z10\6\0c2 = (5.690u,0.987u);
  z10\6\0 = (3.372u,2.409u);
  z10\6\1 = (3.132u,1.204u);
  z10\6\2 = (2.168u,1.445u);
  fill_or_unfill z10\0\0s
    --z10\0\0
    --z10\0\1
    --z10\0\2
    --z10\0\3
    --z10\0\4
    --z10\0\5
    --z10\0\6
    ..controls z10\0\7c1 and z10\0\7c2..z10\0\7
    ..controls z10\0\8c1 and z10\0\8c2..z10\0\8
    ..controls z10\0\9c1 and z10\0\9c2..z10\0\9
    ..controls z10\0\10c1 and z10\0\10c2..z10\0\10
    --z10\0\11
    --z10\0\12
    --z10\0\13
    --z10\0\14
    --z10\0\15
    ..controls z10\0\16c1 and z10\0\16c2..z10\0\16
    ..controls z10\0\17c1 and z10\0\17c2..z10\0\17
    ..controls z10\0\18c1 and z10\0\18c2..z10\0\18
    ..controls z10\0\19c1 and z10\0\19c2..z10\0\19
    ..controls z10\0\20c1 and z10\0\20c2..z10\0\20
    ..controls z10\0\21c1 and z10\0\21c2..z10\0\21
    ..controls z10\0\22c1 and z10\0\22c2..z10\0\22
    ..controls z10\0\23c1 and z10\0\23c2..z10\0\23
    ..controls z10\0\24c1 and z10\0\24c2..z10\0\24
    ..controls z10\0\25c1 and z10\0\25c2..z10\0\25
    --z10\0\26
    --z10\0\27
    --z10\0\28
    --cycle;
  fill_or_unfill z10\1\0s
    ..controls z10\1\0c1 and z10\1\0c2..z10\1\0
    ..controls z10\1\1c1 and z10\1\1c2..cycle;
  fill_or_unfill z10\2\0s
    --z10\2\0
    --z10\2\1
    --cycle;
  fill_or_unfill z10\3\0s
    --z10\3\0
    --z10\3\1
    ..controls z10\3\2c1 and z10\3\2c2..z10\3\2
    --z10\3\3
    --z10\3\4
    --cycle;
  fill_or_unfill z10\4\0s
    --cycle;
  fill_or_unfill z10\5\0s
    --z10\5\0
    ..controls z10\5\1c1 and z10\5\1c2..cycle;
  fill_or_unfill z10\6\0s
    ..controls z10\6\0c1 and z10\6\0c2..z10\6\0
    --z10\6\1
    --z10\6\2
    --cycle;
  proof_labels (
    10\0\0,
    10\0\1,
    10\0\2,
    10\0\3,
    10\0\4,
    10\0\5,
    10\0\6,
    10\0\7,
    10\0\8,
    10\0\9,
    10\0\10,
    10\0\11,
    10\0\12,
    10\0\13,
    10\0\14,
    10\0\15,
    10\0\16,
    10\0\17,
    10\0\18,
    10\0\19,
    10\0\20,
    10\0\21,
    10\0\22,
    10\0\23,
    10\0\24,
    10\0\25,
    10\0\26,
    10\0\27,
    10\0\28,
    10\0\29,
    10\1\0,
    10\1\1,
    10\2\0,
    10\2\1,
    10\2\2,
    10\3\0,
    10\3\1,
    10\3\2,
    10\3\3,
    10\3\4,
    10\3\5,
    10\4\0,
    10\5\0,
    10\5\1,
    10\6\0,
    10\6\1,
    10\6\2,
    10\6\3,
);
endchar;

beginchar (43, 8.913u#, 18.067u#, 0.000u#);
  "C12";
  z11\0\0s = (3.372u,8.431u);
  z11\0\0 = (5.300u,9.395u);
  z11\0\1 = (4.095u,5.300u);
  z11\0\2 = (1.687u,9.878u);
  z11\0\3 = (1.849u,14.216u);
  z11\0\4 = (1.665u,15.581u);
  z11\0\5 = (2.168u,16.622u);
  z11\0\6c1 = (0.787u,16.087u);
  z11\0\6c2 = (0.398u,15.334u);
  z11\0\6 = (0.000u,13.972u);
  z11\0\7 = (1.204u,14.454u);
  z11\0\8c1 = (1.204u,13.151u);
  z11\0\8c2 = (1.672u,9.264u);
  z11\0\8 = (0.482u,8.672u);
  z11\0\9 = (0.834u,5.652u);
  z11\0\10 = (1.546u,2.808u);
  z11\0\11 = (0.723u,0.723u);
  z11\0\12 = (8.913u,0.723u);
  z11\0\13 = (8.625u,9.877u);
  z11\0\14 = (8.625u,11.469u);
  z11\0\15 = (8.050u,12.731u);
  z11\0\16 = (8.672u,17.861u);
  z11\0\17c1 = (8.234u,17.836u);
  z11\0\17c2 = (6.954u,18.015u);
  z11\0\17 = (6.633u,17.861u);
  z11\0\18c1 = (5.589u,17.507u);
  z11\0\18c2 = (3.835u,11.539u);
  z11\0\18 = (3.999u,10.461u);
  z11\0\19c1 = (4.049u,10.131u);
  z11\0\19c2 = (4.238u,9.847u);
  z11\0\19 = (4.143u,9.500u);
  z11\0\20c1 = (4.060u,9.192u);
  z11\0\20c2 = (3.577u,8.716u);
  z11\1\0s = (6.986u,16.622u);
  z11\1\0 = (5.541u,13.490u);
  z11\1\1 = (6.504u,16.622u);
  z11\2\0s = (8.191u,16.622u);
  z11\2\0 = (6.745u,13.249u);
  z11\2\1 = (7.709u,16.622u);
  z11\3\0s = (7.227u,12.286u);
  z11\3\0 = (6.745u,10.600u);
  z11\3\1 = (6.198u,11.739u);
  z11\3\2 = (5.059u,12.768u);
  z11\4\0s = (5.781u,11.322u);
  z11\4\0 = (6.745u,9.877u);
  z11\4\1 = (6.022u,9.395u);
  z11\4\2 = (4.577u,10.840u);
  z11\5\0s = (7.950u,11.081u);
  z11\5\0 = (8.191u,1.927u);
  z11\5\1 = (7.522u,3.764u);
  z11\6\0s = (6.986u,8.672u);
  z11\6\0 = (7.227u,1.445u);
  z11\6\1 = (2.091u,1.445u);
  z11\6\2c1 = (2.168u,2.212u);
  z11\6\2c2 = (2.204u,2.992u);
  z11\6\2 = (2.091u,3.749u);
  z11\6\3c1 = (1.964u,4.274u);
  z11\6\3c2 = (0.489u,7.508u);
  z11\6\3 = (2.091u,7.054u);
  z11\6\4c1 = (3.257u,6.700u);
  z11\6\4c2 = (3.594u,4.194u);
  z11\6\4 = (4.818u,3.613u);
  z11\6\5c1 = (5.049u,5.134u);
  z11\6\5c2 = (5.129u,8.371u);
  fill_or_unfill z11\0\0s
    --z11\0\0
    --z11\0\1
    --z11\0\2
    --z11\0\3
    --z11\0\4
    --z11\0\5
    ..controls z11\0\6c1 and z11\0\6c2..z11\0\6
    --z11\0\7
    ..controls z11\0\8c1 and z11\0\8c2..z11\0\8
    --z11\0\9
    --z11\0\10
    --z11\0\11
    --z11\0\12
    --z11\0\13
    --z11\0\14
    --z11\0\15
    --z11\0\16
    ..controls z11\0\17c1 and z11\0\17c2..z11\0\17
    ..controls z11\0\18c1 and z11\0\18c2..z11\0\18
    ..controls z11\0\19c1 and z11\0\19c2..z11\0\19
    ..controls z11\0\20c1 and z11\0\20c2..cycle;
  fill_or_unfill z11\1\0s
    --z11\1\0
    --z11\1\1
    --cycle;
  fill_or_unfill z11\2\0s
    --z11\2\0
    --z11\2\1
    --cycle;
  fill_or_unfill z11\3\0s
    --z11\3\0
    --z11\3\1
    --z11\3\2
    --cycle;
  fill_or_unfill z11\4\0s
    --z11\4\0
    --z11\4\1
    --z11\4\2
    --cycle;
  fill_or_unfill z11\5\0s
    --z11\5\0
    --z11\5\1
    --cycle;
  fill_or_unfill z11\6\0s
    --z11\6\0
    --z11\6\1
    ..controls z11\6\2c1 and z11\6\2c2..z11\6\2
    ..controls z11\6\3c1 and z11\6\3c2..z11\6\3
    ..controls z11\6\4c1 and z11\6\4c2..z11\6\4
    ..controls z11\6\5c1 and z11\6\5c2..cycle;
  proof_labels (
    11\0\0,
    11\0\1,
    11\0\2,
    11\0\3,
    11\0\4,
    11\0\5,
    11\0\6,
    11\0\7,
    11\0\8,
    11\0\9,
    11\0\10,
    11\0\11,
    11\0\12,
    11\0\13,
    11\0\14,
    11\0\15,
    11\0\16,
    11\0\17,
    11\0\18,
    11\0\19,
    11\0\20,
    11\1\0,
    11\1\1,
    11\1\2,
    11\2\0,
    11\2\1,
    11\2\2,
    11\3\0,
    11\3\1,
    11\3\2,
    11\3\3,
    11\4\0,
    11\4\1,
    11\4\2,
    11\4\3,
    11\5\0,
    11\5\1,
    11\5\2,
    11\6\0,
    11\6\1,
    11\6\2,
    11\6\3,
    11\6\4,
    11\6\5,
);
endchar;

beginchar (44, 9.877u#, 18.067u#, 0.000u#);
  "C17";
  z12\0\0s = (3.854u,11.322u);
  z12\0\0c1 = (5.569u,10.261u);
  z12\0\0c2 = (5.059u,7.777u);
  z12\0\0 = (5.059u,6.022u);
  z12\0\1 = (4.577u,6.022u);
  z12\0\2 = (2.409u,10.359u);
  z12\0\3 = (3.132u,11.322u);
  z12\0\4c1 = (1.954u,11.761u);
  z12\0\4c2 = (2.503u,12.303u);
  z12\0\4 = (1.830u,12.911u);
  z12\0\5c1 = (1.041u,13.623u);
  z12\0\5c2 = (-0.056u,12.919u);
  z12\0\5 = (0.148u,11.908u);
  z12\0\6 = (0.545u,10.841u);
  z12\0\7c1 = (0.544u,10.572u);
  z12\0\7c2 = (0.368u,10.340u);
  z12\0\7 = (0.241u,10.118u);
  z12\0\8 = (1.927u,9.154u);
  z12\0\9 = (1.204u,8.913u);
  z12\0\10 = (2.584u,2.433u);
  z12\0\11 = (1.927u,0.723u);
  z12\0\12 = (9.877u,0.963u);
  z12\0\13c1 = (8.476u,2.728u);
  z12\0\13c2 = (9.240u,6.288u);
  z12\0\13 = (9.373u,8.452u);
  z12\0\14c1 = (9.474u,10.103u);
  z12\0\14c2 = (8.452u,11.417u);
  z12\0\14 = (8.450u,13.009u);
  z12\0\15c1 = (8.448u,14.348u);
  z12\0\15c2 = (8.888u,15.660u);
  z12\0\15 = (8.594u,17.026u);
  z12\0\16c1 = (8.354u,18.143u);
  z12\0\16c2 = (6.267u,18.324u);
  z12\0\16 = (5.638u,17.723u);
  z12\0\17c1 = (5.168u,17.275u);
  z12\0\17c2 = (4.983u,15.394u);
  z12\0\17 = (4.818u,14.695u);
  z12\1\0s = (7.950u,16.863u);
  z12\1\0 = (7.950u,13.972u);
  z12\1\1c1 = (6.891u,14.654u);
  z12\1\1c2 = (7.153u,16.066u);
  z12\2\0s = (6.263u,16.622u);
  z12\2\0 = (6.263u,14.695u);
  z12\2\1 = (5.781u,14.695u);
  z12\3\0s = (6.986u,13.972u);
  z12\3\0 = (6.263u,13.249u);
  z12\4\0s = (1.204u,12.527u);
  z12\4\0 = (1.686u,11.322u);
  z12\4\1c1 = (0.993u,11.598u);
  z12\4\1c2 = (0.604u,11.860u);
  z12\5\0s = (6.504u,12.527u);
  z12\5\0c1 = (6.824u,11.457u);
  z12\5\0c2 = (6.571u,11.000u);
  z12\5\0 = (5.541u,10.600u);
  z12\5\1 = (5.059u,11.804u);
  z12\5\2 = (6.022u,12.527u);
  z12\6\0s = (7.709u,12.045u);
  z12\6\0 = (8.593u,9.335u);
  z12\6\1 = (8.249u,7.729u);
  z12\6\2 = (8.249u,1.445u);
  z12\6\3 = (3.372u,1.445u);
  z12\6\4 = (2.409u,7.950u);
  z12\6\5 = (5.541u,3.854u);
  z12\6\6 = (6.112u,9.305u);
  z12\6\7 = (7.119u,10.707u);
  fill_or_unfill z12\0\0s
    ..controls z12\0\0c1 and z12\0\0c2..z12\0\0
    --z12\0\1
    --z12\0\2
    --z12\0\3
    ..controls z12\0\4c1 and z12\0\4c2..z12\0\4
    ..controls z12\0\5c1 and z12\0\5c2..z12\0\5
    --z12\0\6
    ..controls z12\0\7c1 and z12\0\7c2..z12\0\7
    --z12\0\8
    --z12\0\9
    --z12\0\10
    --z12\0\11
    --z12\0\12
    ..controls z12\0\13c1 and z12\0\13c2..z12\0\13
    ..controls z12\0\14c1 and z12\0\14c2..z12\0\14
    ..controls z12\0\15c1 and z12\0\15c2..z12\0\15
    ..controls z12\0\16c1 and z12\0\16c2..z12\0\16
    ..controls z12\0\17c1 and z12\0\17c2..z12\0\17
    --cycle;
  fill_or_unfill z12\1\0s
    --z12\1\0
    ..controls z12\1\1c1 and z12\1\1c2..cycle;
  fill_or_unfill z12\2\0s
    --z12\2\0
    --z12\2\1
    --cycle;
  fill_or_unfill z12\3\0s
    --z12\3\0
    --cycle;
  fill_or_unfill z12\4\0s
    --z12\4\0
    ..controls z12\4\1c1 and z12\4\1c2..cycle;
  fill_or_unfill z12\5\0s
    ..controls z12\5\0c1 and z12\5\0c2..z12\5\0
    --z12\5\1
    --z12\5\2
    --cycle;
  fill_or_unfill z12\6\0s
    --z12\6\0
    --z12\6\1
    --z12\6\2
    --z12\6\3
    --z12\6\4
    --z12\6\5
    --z12\6\6
    --z12\6\7
    --cycle;
  proof_labels (
    12\0\0,
    12\0\1,
    12\0\2,
    12\0\3,
    12\0\4,
    12\0\5,
    12\0\6,
    12\0\7,
    12\0\8,
    12\0\9,
    12\0\10,
    12\0\11,
    12\0\12,
    12\0\13,
    12\0\14,
    12\0\15,
    12\0\16,
    12\0\17,
    12\0\18,
    12\1\0,
    12\1\1,
    12\2\0,
    12\2\1,
    12\2\2,
    12\3\0,
    12\3\1,
    12\4\0,
    12\4\1,
    12\5\0,
    12\5\1,
    12\5\2,
    12\5\3,
    12\6\0,
    12\6\1,
    12\6\2,
    12\6\3,
    12\6\4,
    12\6\5,
    12\6\6,
    12\6\7,
    12\6\8,
);
endchar;

beginchar (45, 10.600u#, 18.308u#, 0.000u#);
  "C18";
  z13\0\0s = (2.650u,13.731u);
  z13\0\0c1 = (3.009u,12.241u);
  z13\0\0c2 = (4.088u,12.677u);
  z13\0\0 = (5.300u,12.286u);
  z13\0\1 = (4.206u,10.292u);
  z13\0\2 = (4.421u,8.914u);
  z13\0\3 = (3.854u,7.468u);
  z13\0\4 = (5.541u,8.191u);
  z13\0\5 = (4.845u,4.309u);
  z13\0\6 = (0.151u,2.501u);
  z13\0\7 = (0.413u,1.135u);
  z13\0\8 = (10.600u,0.963u);
  z13\0\9c1 = (10.139u,2.203u);
  z13\0\9c2 = (8.776u,1.844u);
  z13\0\9 = (8.497u,2.957u);
  z13\0\10c1 = (8.055u,4.721u);
  z13\0\10c2 = (9.145u,5.296u);
  z13\0\10 = (9.276u,6.542u);
  z13\0\11c1 = (9.525u,8.911u);
  z13\0\11c2 = (8.715u,10.454u);
  z13\0\11 = (7.950u,12.527u);
  z13\0\12c1 = (9.252u,12.531u);
  z13\0\12c2 = (9.786u,12.368u);
  z13\0\12 = (10.600u,13.431u);
  z13\0\13c1 = (9.884u,13.646u);
  z13\0\13c2 = (9.471u,13.241u);
  z13\0\13 = (8.988u,13.431u);
  z13\0\14c1 = (7.577u,13.752u);
  z13\0\14c2 = (8.379u,17.127u);
  z13\0\14 = (8.431u,18.067u);
  z13\0\15 = (6.263u,17.560u);
  z13\0\16c1 = (5.865u,18.209u);
  z13\0\16c2 = (4.897u,18.467u);
  z13\0\16 = (4.716u,17.560u);
  z13\0\17c1 = (4.644u,17.161u);
  z13\0\17c2 = (4.907u,16.728u);
  z13\0\17 = (4.940u,16.344u);
  z13\0\18c1 = (5.118u,14.309u);
  z13\0\18c2 = (4.706u,13.140u);
  z13\1\0s = (5.914u,15.774u);
  z13\2\0s = (7.199u,15.613u);
  z13\3\0s = (6.745u,14.454u);
  z13\3\0 = (6.986u,14.213u);
  z13\3\1 = (6.263u,13.731u);
  z13\4\0s = (8.431u,8.913u);
  z13\4\0 = (7.227u,8.913u);
  z13\4\1c1 = (7.362u,10.449u);
  z13\4\1c2 = (7.904u,10.864u);
  z13\4\1 = (6.263u,11.563u);
  z13\4\2c1 = (7.898u,12.138u);
  z13\4\2c2 = (8.369u,10.131u);
  z13\5\0s = (6.504u,10.600u);
  z13\5\0 = (6.263u,9.154u);
  z13\5\1 = (5.059u,10.359u);
  z13\6\0s = (7.709u,7.950u);
  z13\6\0 = (7.909u,5.541u);
  z13\6\1 = (7.909u,1.686u);
  z13\6\2 = (0.723u,1.686u);
  z13\6\3c1 = (1.556u,3.543u);
  z13\6\3c2 = (4.840u,2.559u);
  z13\6\3 = (5.547u,3.607u);
  z13\6\4c1 = (5.829u,4.025u);
  z13\6\4c2 = (6.009u,6.170u);
  z13\6\4 = (6.022u,6.745u);
  z13\6\5 = (7.227u,5.781u);
  z13\6\6 = (7.227u,7.950u);
  fill_or_unfill z13\0\0s
    ..controls z13\0\0c1 and z13\0\0c2..z13\0\0
    --z13\0\1
    --z13\0\2
    --z13\0\3
    --z13\0\4
    --z13\0\5
    --z13\0\6
    --z13\0\7
    --z13\0\8
    ..controls z13\0\9c1 and z13\0\9c2..z13\0\9
    ..controls z13\0\10c1 and z13\0\10c2..z13\0\10
    ..controls z13\0\11c1 and z13\0\11c2..z13\0\11
    ..controls z13\0\12c1 and z13\0\12c2..z13\0\12
    ..controls z13\0\13c1 and z13\0\13c2..z13\0\13
    ..controls z13\0\14c1 and z13\0\14c2..z13\0\14
    --z13\0\15
    ..controls z13\0\16c1 and z13\0\16c2..z13\0\16
    ..controls z13\0\17c1 and z13\0\17c2..z13\0\17
    ..controls z13\0\18c1 and z13\0\18c2..cycle;
  fill_or_unfill z13\1\0s
    --cycle;
  fill_or_unfill z13\2\0s
    --cycle;
  fill_or_unfill z13\3\0s
    --z13\3\0
    --z13\3\1
    --cycle;
  fill_or_unfill z13\4\0s
    --z13\4\0
    ..controls z13\4\1c1 and z13\4\1c2..z13\4\1
    ..controls z13\4\2c1 and z13\4\2c2..cycle;
  fill_or_unfill z13\5\0s
    --z13\5\0
    --z13\5\1
    --cycle;
  fill_or_unfill z13\6\0s
    --z13\6\0
    --z13\6\1
    --z13\6\2
    ..controls z13\6\3c1 and z13\6\3c2..z13\6\3
    ..controls z13\6\4c1 and z13\6\4c2..z13\6\4
    --z13\6\5
    --z13\6\6
    --cycle;
  proof_labels (
    13\0\0,
    13\0\1,
    13\0\2,
    13\0\3,
    13\0\4,
    13\0\5,
    13\0\6,
    13\0\7,
    13\0\8,
    13\0\9,
    13\0\10,
    13\0\11,
    13\0\12,
    13\0\13,
    13\0\14,
    13\0\15,
    13\0\16,
    13\0\17,
    13\0\18,
    13\1\0,
    13\2\0,
    13\3\0,
    13\3\1,
    13\3\2,
    13\4\0,
    13\4\1,
    13\4\2,
    13\5\0,
    13\5\1,
    13\5\2,
    13\6\0,
    13\6\1,
    13\6\2,
    13\6\3,
    13\6\4,
    13\6\5,
    13\6\6,
    13\6\7,
);
endchar;

beginchar (46, 6.263u#, 18.549u#, 0.000u#);
  "C19";
  z14\0\0s = (1.927u,12.286u);
  z14\0\0 = (1.927u,16.622u);
  z14\0\1c1 = (0.621u,16.334u);
  z14\0\1c2 = (0.441u,15.682u);
  z14\0\1 = (0.241u,14.454u);
  z14\0\2 = (0.941u,14.936u);
  z14\0\3 = (0.941u,11.704u);
  z14\0\4 = (1.204u,9.154u);
  z14\0\5 = (1.445u,2.168u);
  z14\0\6 = (0.000u,0.963u);
  z14\0\7 = (3.854u,0.963u);
  z14\0\8 = (5.841u,1.367u);
  z14\0\9 = (5.572u,3.385u);
  z14\0\10 = (5.749u,5.782u);
  z14\0\11 = (5.749u,10.386u);
  z14\0\12 = (6.083u,14.355u);
  z14\0\13 = (5.300u,15.899u);
  z14\0\14c1 = (6.656u,18.205u);
  z14\0\14c2 = (4.339u,19.135u);
  z14\0\14 = (3.135u,18.064u);
  z14\0\15c1 = (1.016u,16.178u);
  z14\0\15c2 = (4.602u,12.931u);
  z14\1\0s = (5.059u,17.586u);
  z14\1\0 = (4.818u,16.140u);
  z14\1\1 = (4.095u,17.586u);
  z14\2\0s = (4.095u,16.622u);
  z14\2\0c1 = (3.791u,15.859u);
  z14\2\0c2 = (3.351u,15.418u);
  z14\2\0 = (2.891u,16.381u);
  z14\3\0s = (5.541u,14.695u);
  z14\3\0 = (3.854u,13.490u);
  z14\3\1c1 = (4.115u,14.570u);
  z14\3\1c2 = (4.503u,14.592u);
  z14\4\0s = (5.300u,13.009u);
  z14\4\0c1 = (5.295u,11.359u);
  z14\4\0c2 = (5.180u,3.163u);
  z14\4\0 = (4.336u,2.409u);
  z14\4\1c1 = (4.811u,4.586u);
  z14\4\1c2 = (4.327u,6.751u);
  z14\4\1 = (3.832u,8.891u);
  z14\4\2c1 = (3.627u,9.776u);
  z14\4\2c2 = (3.148u,10.647u);
  z14\4\2 = (3.253u,11.584u);
  z14\4\3c1 = (3.390u,12.816u);
  z14\4\3c2 = (4.275u,12.849u);
  z14\5\0s = (2.650u,10.600u);
  z14\5\0c1 = (3.189u,8.472u);
  z14\5\0c2 = (5.395u,3.537u);
  z14\5\0 = (2.409u,2.650u);
  z14\5\1c1 = (2.157u,5.197u);
  z14\5\1c2 = (1.346u,8.041u);
  z14\5\1 = (2.168u,10.600u);
  fill_or_unfill z14\0\0s
    --z14\0\0
    ..controls z14\0\1c1 and z14\0\1c2..z14\0\1
    --z14\0\2
    --z14\0\3
    --z14\0\4
    --z14\0\5
    --z14\0\6
    --z14\0\7
    --z14\0\8
    --z14\0\9
    --z14\0\10
    --z14\0\11
    --z14\0\12
    --z14\0\13
    ..controls z14\0\14c1 and z14\0\14c2..z14\0\14
    ..controls z14\0\15c1 and z14\0\15c2..cycle;
  fill_or_unfill z14\1\0s
    --z14\1\0
    --z14\1\1
    --cycle;
  fill_or_unfill z14\2\0s
    ..controls z14\2\0c1 and z14\2\0c2..z14\2\0
    --cycle;
  fill_or_unfill z14\3\0s
    --z14\3\0
    ..controls z14\3\1c1 and z14\3\1c2..cycle;
  fill_or_unfill z14\4\0s
    ..controls z14\4\0c1 and z14\4\0c2..z14\4\0
    ..controls z14\4\1c1 and z14\4\1c2..z14\4\1
    ..controls z14\4\2c1 and z14\4\2c2..z14\4\2
    ..controls z14\4\3c1 and z14\4\3c2..cycle;
  fill_or_unfill z14\5\0s
    ..controls z14\5\0c1 and z14\5\0c2..z14\5\0
    ..controls z14\5\1c1 and z14\5\1c2..z14\5\1
    --cycle;
  proof_labels (
    14\0\0,
    14\0\1,
    14\0\2,
    14\0\3,
    14\0\4,
    14\0\5,
    14\0\6,
    14\0\7,
    14\0\8,
    14\0\9,
    14\0\10,
    14\0\11,
    14\0\12,
    14\0\13,
    14\0\14,
    14\0\15,
    14\1\0,
    14\1\1,
    14\1\2,
    14\2\0,
    14\2\1,
    14\3\0,
    14\3\1,
    14\4\0,
    14\4\1,
    14\4\2,
    14\4\3,
    14\5\0,
    14\5\1,
    14\5\2,
);
endchar;

beginchar (47, 7.950u#, 18.549u#, 0.000u#);
  "C20";
  z15\0\0s = (0.000u,16.863u);
  z15\0\0 = (0.251u,12.777u);
  z15\0\1 = (0.723u,9.636u);
  z15\0\2 = (0.241u,1.204u);
  z15\0\3 = (7.950u,1.204u);
  z15\0\4 = (7.950u,15.899u);
  z15\0\5c1 = (7.949u,16.464u);
  z15\0\5c2 = (8.031u,17.542u);
  z15\0\5 = (7.608u,17.966u);
  z15\0\6c1 = (6.973u,18.601u);
  z15\0\6c2 = (2.814u,18.659u);
  z15\0\6 = (1.937u,18.299u);
  z15\1\0s = (3.854u,17.826u);
  z15\1\0 = (3.242u,16.073u);
  z15\1\1c1 = (2.970u,14.552u);
  z15\1\1c2 = (4.306u,13.532u);
  z15\1\1 = (2.650u,12.286u);
  z15\1\2 = (2.839u,14.409u);
  z15\1\3 = (2.168u,17.586u);
  z15\2\0s = (1.927u,17.345u);
  z15\3\0s = (6.745u,17.345u);
  z15\3\0 = (7.227u,15.177u);
  z15\3\1 = (6.263u,15.417u);
  z15\4\0s = (1.686u,17.104u);
  z15\5\0s = (5.300u,17.104u);
  z15\5\0 = (5.781u,16.381u);
  z15\6\0s = (4.425u,15.730u);
  z15\7\0s = (4.940u,15.180u);
  z15\8\0s = (6.263u,14.454u);
  z15\8\0 = (4.818u,13.731u);
  z15\9\0s = (1.674u,13.004u);
  z15\10\0s = (6.263u,13.009u);
  z15\10\0 = (5.781u,4.336u);
  z15\10\1 = (4.817u,8.672u);
  z15\10\2 = (3.929u,11.390u);
  z15\10\3 = (4.069u,12.553u);
  z15\11\0s = (7.227u,13.009u);
  z15\11\0 = (7.227u,2.409u);
  z15\11\1 = (6.558u,3.179u);
  z15\11\2 = (6.745u,5.782u);
  z15\11\3 = (6.745u,13.009u);
  z15\12\0s = (1.686u,12.045u);
  z15\13\0s = (1.686u,11.563u);
  z15\13\0 = (2.167u,5.541u);
  z15\13\1 = (1.927u,1.927u);
  z15\13\2c1 = (1.137u,2.795u);
  z15\13\2c2 = (1.198u,10.333u);
  z15\14\0s = (3.132u,11.081u);
  z15\14\0c1 = (3.842u,9.924u);
  z15\14\0c2 = (6.334u,2.467u);
  z15\14\0 = (3.417u,2.979u);
  z15\14\1c1 = (2.223u,3.189u);
  z15\14\1c2 = (2.406u,10.285u);
  z15\15\0s = (5.591u,2.848u);
  fill_or_unfill z15\0\0s
    --z15\0\0
    --z15\0\1
    --z15\0\2
    --z15\0\3
    --z15\0\4
    ..controls z15\0\5c1 and z15\0\5c2..z15\0\5
    ..controls z15\0\6c1 and z15\0\6c2..z15\0\6
    --cycle;
  fill_or_unfill z15\1\0s
    --z15\1\0
    ..controls z15\1\1c1 and z15\1\1c2..z15\1\1
    --z15\1\2
    --z15\1\3
    --cycle;
  fill_or_unfill z15\2\0s
    --cycle;
  fill_or_unfill z15\3\0s
    --z15\3\0
    --z15\3\1
    --cycle;
  fill_or_unfill z15\4\0s
    --cycle;
  fill_or_unfill z15\5\0s
    --z15\5\0
    --cycle;
  fill_or_unfill z15\6\0s
    --cycle;
  fill_or_unfill z15\7\0s
    --cycle;
  fill_or_unfill z15\8\0s
    --z15\8\0
    --cycle;
  fill_or_unfill z15\9\0s
    --cycle;
  fill_or_unfill z15\10\0s
    --z15\10\0
    --z15\10\1
    --z15\10\2
    --z15\10\3
    --cycle;
  fill_or_unfill z15\11\0s
    --z15\11\0
    --z15\11\1
    --z15\11\2
    --z15\11\3
    --cycle;
  fill_or_unfill z15\12\0s
    --cycle;
  fill_or_unfill z15\13\0s
    --z15\13\0
    --z15\13\1
    ..controls z15\13\2c1 and z15\13\2c2..cycle;
  fill_or_unfill z15\14\0s
    ..controls z15\14\0c1 and z15\14\0c2..z15\14\0
    ..controls z15\14\1c1 and z15\14\1c2..cycle;
  fill_or_unfill z15\15\0s
    --cycle;
  proof_labels (
    15\0\0,
    15\0\1,
    15\0\2,
    15\0\3,
    15\0\4,
    15\0\5,
    15\0\6,
    15\0\7,
    15\1\0,
    15\1\1,
    15\1\2,
    15\1\3,
    15\1\4,
    15\2\0,
    15\3\0,
    15\3\1,
    15\3\2,
    15\4\0,
    15\5\0,
    15\5\1,
    15\6\0,
    15\7\0,
    15\8\0,
    15\8\1,
    15\9\0,
    15\10\0,
    15\10\1,
    15\10\2,
    15\10\3,
    15\10\4,
    15\11\0,
    15\11\1,
    15\11\2,
    15\11\3,
    15\11\4,
    15\12\0,
    15\13\0,
    15\13\1,
    15\13\2,
    15\14\0,
    15\14\1,
    15\15\0,
);
endchar;