beginchar (32, 11.322u#, 19.272u#, 0.000u#);
  "L1";
  z32\0\0s = (3.854u,19.272u);
  z32\0\0c1 = (3.589u,18.221u);
  z32\0\0c2 = (-1.921u,11.613u);
  z32\0\0 = (2.409u,12.527u);
  z32\0\1 = (0.000u,7.468u);
  z32\0\2 = (2.168u,8.672u);
  z32\0\3c1 = (1.806u,7.254u);
  z32\0\3c2 = (0.356u,2.679u);
  z32\0\3 = (3.132u,2.650u);
  z32\0\4 = (2.409u,6.263u);
  z32\0\5c1 = (5.417u,4.305u);
  z32\0\5c2 = (5.513u,4.272u);
  z32\0\5 = (8.672u,6.022u);
  z32\0\6 = (8.431u,2.409u);
  z32\0\7c1 = (9.693u,2.860u);
  z32\0\7c2 = (10.006u,5.538u);
  z32\0\7 = (9.768u,6.724u);
  z32\0\8c1 = (9.586u,7.633u);
  z32\0\8c2 = (9.186u,8.143u);
  z32\0\8 = (9.154u,9.154u);
  z32\0\9 = (11.081u,6.986u);
  z32\0\10c1 = (11.181u,8.606u);
  z32\0\10c2 = (10.365u,9.897u);
  z32\0\10 = (8.913u,10.600u);
  z32\0\11 = (9.154u,12.045u);
  z32\0\12c1 = (11.903u,12.528u);
  z32\0\12c2 = (8.641u,17.382u);
  z32\0\12 = (7.950u,18.790u);
  z32\0\13c1 = (5.804u,18.036u);
  z32\0\13c2 = (8.970u,14.931u);
  z32\0\13 = (9.395u,13.490u);
  z32\0\14c1 = (7.491u,14.642u);
  z32\0\14c2 = (8.256u,15.462u);
  z32\0\14 = (7.192u,16.144u);
  z32\0\15c1 = (4.298u,18.000u);
  z32\0\15c2 = (3.935u,14.730u);
  z32\0\15 = (1.927u,13.731u);
  z32\0\16c1 = (2.583u,15.067u);
  z32\0\16c2 = (6.343u,18.400u);
  z32\1\0s = (7.227u,14.213u);
  z32\1\0 = (4.336u,14.454u);
  z32\1\1c1 = (4.797u,16.545u);
  z32\1\1c2 = (7.074u,16.136u);
  z32\2\0s = (4.109u,13.759u);
  z32\2\0c1 = (9.194u,14.105u);
  z32\2\0c2 = (9.508u,10.795u);
  z32\2\0 = (6.263u,10.301u);
  z32\2\1c1 = (4.488u,10.031u);
  z32\2\1c2 = (1.510u,12.447u);
  z32\3\0s = (5.300u,5.541u);
  z32\3\0c1 = (2.795u,6.433u);
  z32\3\0c2 = (2.098u,8.110u);
  z32\3\0 = (3.132u,10.600u);
  z32\3\1c1 = (6.053u,9.904u);
  z32\3\1c2 = (5.300u,7.982u);
  z32\4\0s = (6.022u,5.781u);
  z32\4\0 = (6.022u,7.227u);
  z32\4\1c1 = (6.024u,8.374u);
  z32\4\1c2 = (5.926u,9.801u);
  z32\4\1 = (7.458u,9.955u);
  z32\4\2c1 = (7.742u,9.983u);
  z32\4\2c2 = (7.989u,9.952u);
  z32\4\2 = (8.185u,9.723u);
  z32\4\3c1 = (8.436u,9.430u);
  z32\4\3c2 = (8.428u,8.799u);
  z32\4\3 = (8.429u,8.431u);
  z32\4\4c1 = (8.438u,6.559u);
  z32\4\4c2 = (7.807u,6.117u);
  fill_or_unfill z32\0\0s
    ..controls z32\0\0c1 and z32\0\0c2..z32\0\0
    --z32\0\1
    --z32\0\2
    ..controls z32\0\3c1 and z32\0\3c2..z32\0\3
    --z32\0\4
    ..controls z32\0\5c1 and z32\0\5c2..z32\0\5
    --z32\0\6
    ..controls z32\0\7c1 and z32\0\7c2..z32\0\7
    ..controls z32\0\8c1 and z32\0\8c2..z32\0\8
    --z32\0\9
    ..controls z32\0\10c1 and z32\0\10c2..z32\0\10
    --z32\0\11
    ..controls z32\0\12c1 and z32\0\12c2..z32\0\12
    ..controls z32\0\13c1 and z32\0\13c2..z32\0\13
    ..controls z32\0\14c1 and z32\0\14c2..z32\0\14
    ..controls z32\0\15c1 and z32\0\15c2..z32\0\15
    ..controls z32\0\16c1 and z32\0\16c2..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
    ..controls z32\2\0c1 and z32\2\0c2..z32\2\0
    ..controls z32\2\1c1 and z32\2\1c2..cycle;
  fill_or_unfill z32\3\0s
    ..controls z32\3\0c1 and z32\3\0c2..z32\3\0
    ..controls z32\3\1c1 and z32\3\1c2..cycle;
  fill_or_unfill z32\4\0s
    --z32\4\0
    ..controls z32\4\1c1 and z32\4\1c2..z32\4\1
    ..controls z32\4\2c1 and z32\4\2c2..z32\4\2
    ..controls z32\4\3c1 and z32\4\3c2..z32\4\3
    ..controls z32\4\4c1 and z32\4\4c2..cycle;
  proof_labels (
    32\0\0,
    32\0\1,
    32\0\2,
    32\0\3,
    32\0\4,
    32\0\5,
    32\0\6,
    32\0\7,
    32\0\8,
    32\0\9,
    32\0\10,
    32\0\11,
    32\0\12,
    32\0\13,
    32\0\14,
    32\0\15,
    32\0\16,
    32\1\0,
    32\1\1,
    32\2\0,
    32\2\1,
    32\3\0,
    32\3\1,
    32\4\0,
    32\4\1,
    32\4\2,
    32\4\3,
    32\4\4,
);
endchar;

beginchar (33, 17.104u#, 19.272u#, 0.000u#);
  "L2";
  z33\0\0s = (3.613u,7.709u);
  z33\0\0 = (1.686u,14.213u);
  z33\0\1 = (2.650u,9.395u);
  z33\0\2 = (0.000u,13.972u);
  z33\0\3 = (2.032u,8.431u);
  z33\0\4 = (2.544u,5.573u);
  z33\0\5 = (3.372u,4.818u);
  z33\0\6 = (3.601u,6.022u);
  z33\0\7c1 = (4.605u,5.130u);
  z33\0\7c2 = (5.223u,3.463u);
  z33\0\7 = (3.601u,2.794u);
  z33\0\8c1 = (3.076u,2.584u);
  z33\0\8c2 = (1.801u,2.650u);
  z33\0\8 = (1.204u,2.650u);
  z33\0\9c1 = (2.009u,1.495u);
  z33\0\9c2 = (6.460u,1.927u);
  z33\0\9 = (7.950u,1.927u);
  z33\0\10 = (8.672u,5.541u);
  z33\0\11 = (13.972u,1.927u);
  z33\0\12 = (12.768u,3.372u);
  z33\0\13 = (14.936u,2.891u);
  z33\0\14 = (14.454u,1.686u);
  z33\0\15c1 = (17.681u,1.954u);
  z33\0\15c2 = (15.284u,5.430u);
  z33\0\15 = (13.931u,6.522u);
  z33\0\16c1 = (12.988u,7.283u);
  z33\0\16c2 = (11.965u,7.574u);
  z33\0\16 = (10.840u,7.950u);
  z33\0\17 = (16.826u,15.645u);
  z33\0\18c1 = (17.258u,16.874u);
  z33\0\18c2 = (15.549u,16.565u);
  z33\0\18 = (14.936u,16.355u);
  z33\0\19c1 = (13.020u,15.702u);
  z33\0\19c2 = (11.495u,14.152u);
  z33\0\19 = (9.877u,13.009u);
  z33\0\20 = (10.359u,19.272u);
  z33\0\21c1 = (7.214u,18.603u);
  z33\0\21c2 = (5.910u,14.356u);
  z33\0\21 = (5.411u,11.563u);
  z33\0\22c1 = (5.262u,10.728u);
  z33\0\22c2 = (5.357u,9.719u);
  z33\0\22 = (4.955u,8.957u);
  z33\0\23c1 = (4.648u,8.374u);
  z33\0\23c2 = (4.135u,8.073u);
  z33\1\0s = (9.877u,18.308u);
  z33\1\0c1 = (9.595u,14.860u);
  z33\1\0c2 = (9.320u,10.591u);
  z33\1\0 = (5.781u,8.913u);
  z33\1\1c1 = (5.807u,11.741u);
  z33\1\1c2 = (6.926u,17.213u);
  z33\2\0s = (16.140u,15.899u);
  z33\2\0 = (10.819u,9.422u);
  z33\2\1 = (7.468u,9.154u);
  z33\2\2c1 = (8.646u,11.646u);
  z33\2\2c2 = (13.340u,15.460u);
  z33\3\0s = (10.118u,8.672u);
  z33\3\0 = (10.118u,7.950u);
  z33\3\1 = (8.191u,8.431u);
  z33\4\0s = (5.314u,7.805u);
  z33\4\0c1 = (9.044u,8.621u);
  z33\4\0c2 = (9.255u,6.254u);
  z33\4\0 = (7.223u,5.679u);
  z33\4\1c1 = (5.739u,5.258u);
  z33\4\1c2 = (3.159u,6.469u);
  z33\5\0s = (15.177u,3.613u);
  z33\5\0 = (12.379u,4.338u);
  z33\5\1 = (9.877u,6.263u);
  z33\5\2 = (10.118u,7.468u);
  z33\5\3c1 = (12.254u,6.844u);
  z33\5\3c2 = (14.652u,6.079u);
  z33\6\0s = (3.132u,7.227u);
  z33\7\0s = (11.081u,4.818u);
  z33\7\0 = (10.118u,5.541u);
  z33\8\0s = (5.781u,4.336u);
  z33\8\0 = (5.059u,2.891u);
  z33\9\0s = (6.986u,4.336u);
  z33\9\0 = (6.504u,2.891u);
  fill_or_unfill z33\0\0s
    --z33\0\0
    --z33\0\1
    --z33\0\2
    --z33\0\3
    --z33\0\4
    --z33\0\5
    --z33\0\6
    ..controls z33\0\7c1 and z33\0\7c2..z33\0\7
    ..controls z33\0\8c1 and z33\0\8c2..z33\0\8
    ..controls z33\0\9c1 and z33\0\9c2..z33\0\9
    --z33\0\10
    --z33\0\11
    --z33\0\12
    --z33\0\13
    --z33\0\14
    ..controls z33\0\15c1 and z33\0\15c2..z33\0\15
    ..controls z33\0\16c1 and z33\0\16c2..z33\0\16
    --z33\0\17
    ..controls z33\0\18c1 and z33\0\18c2..z33\0\18
    ..controls z33\0\19c1 and z33\0\19c2..z33\0\19
    --z33\0\20
    ..controls z33\0\21c1 and z33\0\21c2..z33\0\21
    ..controls z33\0\22c1 and z33\0\22c2..z33\0\22
    ..controls z33\0\23c1 and z33\0\23c2..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
    --z33\2\1
    ..controls z33\2\2c1 and z33\2\2c2..cycle;
  fill_or_unfill z33\3\0s
    --z33\3\0
    --z33\3\1
    --cycle;
  fill_or_unfill z33\4\0s
    ..controls z33\4\0c1 and z33\4\0c2..z33\4\0
    ..controls z33\4\1c1 and z33\4\1c2..cycle;
  fill_or_unfill z33\5\0s
    --z33\5\0
    --z33\5\1
    --z33\5\2
    ..controls z33\5\3c1 and z33\5\3c2..cycle;
  fill_or_unfill z33\6\0s
    --cycle;
  fill_or_unfill z33\7\0s
    --z33\7\0
    --cycle;
  fill_or_unfill z33\8\0s
    --z33\8\0
    --cycle;
  fill_or_unfill z33\9\0s
    --z33\9\0
    --cycle;
  proof_labels (
    33\0\0,
    33\0\1,
    33\0\2,
    33\0\3,
    33\0\4,
    33\0\5,
    33\0\6,
    33\0\7,
    33\0\8,
    33\0\9,
    33\0\10,
    33\0\11,
    33\0\12,
    33\0\13,
    33\0\14,
    33\0\15,
    33\0\16,
    33\0\17,
    33\0\18,
    33\0\19,
    33\0\20,
    33\0\21,
    33\0\22,
    33\0\23,
    33\1\0,
    33\1\1,
    33\2\0,
    33\2\1,
    33\2\2,
    33\3\0,
    33\3\1,
    33\3\2,
    33\4\0,
    33\4\1,
    33\5\0,
    33\5\1,
    33\5\2,
    33\5\3,
    33\6\0,
    33\7\0,
    33\7\1,
    33\8\0,
    33\8\1,
    33\9\0,
    33\9\1,
);
endchar;

beginchar (34, 13.009u#, 18.790u#, 0.000u#);
  "L3";
  z34\0\0s = (6.504u,13.490u);
  z34\0\0c1 = (5.640u,15.553u);
  z34\0\0c2 = (5.034u,19.533u);
  z34\0\0 = (1.690u,18.714u);
  z34\0\1c1 = (0.786u,18.492u);
  z34\0\1c2 = (0.327u,17.720u);
  z34\0\1 = (0.129u,16.863u);
  z34\0\2c1 = (-0.338u,14.847u);
  z34\0\2c2 = (2.746u,8.499u);
  z34\0\2 = (3.280u,6.022u);
  z34\0\3c1 = (3.564u,4.704u);
  z34\0\3c2 = (2.944u,3.047u);
  z34\0\3 = (4.130u,2.083u);
  z34\0\4c1 = (5.197u,1.217u);
  z34\0\4c2 = (7.394u,1.173u);
  z34\0\4 = (8.356u,2.222u);
  z34\0\5c1 = (9.114u,3.049u);
  z34\0\5c2 = (8.920u,4.880u);
  z34\0\5 = (9.322u,6.022u);
  z34\0\6c1 = (10.263u,8.692u);
  z34\0\6c2 = (14.353u,15.264u);
  z34\0\6 = (12.553u,17.795u);
  z34\0\7c1 = (11.039u,19.924u);
  z34\0\7c2 = (8.579u,17.950u);
  z34\0\7 = (7.615u,16.378u);
  z34\0\8c1 = (7.086u,15.515u);
  z34\0\8c2 = (6.823u,14.446u);
  z34\1\0s = (6.022u,12.045u);
  z34\1\0c1 = (7.870u,13.083u);
  z34\1\0c2 = (7.119u,17.506u);
  z34\1\0 = (10.599u,18.130u);
  z34\1\1c1 = (15.337u,18.979u);
  z34\1\1c2 = (9.792u,7.138u);
  z34\1\1 = (8.431u,6.263u);
  z34\1\2c1 = (8.247u,7.573u);
  z34\1\2c2 = (7.172u,11.637u);
  z34\1\2 = (5.215u,9.340u);
  z34\1\3c1 = (4.554u,8.564u);
  z34\1\3c2 = (4.422u,7.382u);
  z34\1\3 = (3.854u,6.504u);
  z34\1\4c1 = (3.128u,7.922u);
  z34\1\4c2 = (0.474u,15.064u);
  z34\1\4 = (0.575u,16.381u);
  z34\1\5c1 = (0.843u,19.877u);
  z34\1\5c2 = (5.475u,18.790u);
  z34\2\0s = (6.332u,9.420u);
  z34\3\0s = (7.468u,8.672u);
  z34\3\0 = (5.300u,8.431u);
  z34\4\0s = (7.686u,7.709u);
  z34\4\0 = (7.686u,4.598u);
  z34\4\1 = (6.263u,2.168u);
  z34\4\2c1 = (4.764u,4.427u);
  z34\4\2c2 = (4.719u,4.164u);
  z34\4\2 = (5.300u,6.745u);
  z34\4\3 = (5.541u,4.095u);
  z34\4\4 = (6.022u,7.227u);
  z34\4\5 = (4.818u,7.950u);
  z34\5\0s = (6.504u,6.986u);
  z34\5\0 = (7.227u,4.095u);
  z34\5\1 = (6.986u,6.986u);
  z34\6\0s = (4.458u,5.785u);
  z34\7\0s = (8.072u,5.785u);
  z34\8\0s = (4.222u,5.217u);
  z34\9\0s = (8.317u,4.976u);
  z34\10\0s = (4.095u,4.095u);
  z34\10\0 = (5.541u,2.168u);
  z34\10\1c1 = (4.278u,2.316u);
  z34\10\1c2 = (3.576u,2.729u);
  z34\11\0s = (8.672u,3.613u);
  z34\11\0 = (6.986u,1.927u);
  z34\11\1c1 = (6.826u,3.220u);
  z34\11\1c2 = (7.407u,3.704u);
  fill_or_unfill z34\0\0s
    ..controls z34\0\0c1 and z34\0\0c2..z34\0\0
    ..controls z34\0\1c1 and z34\0\1c2..z34\0\1
    ..controls z34\0\2c1 and z34\0\2c2..z34\0\2
    ..controls z34\0\3c1 and z34\0\3c2..z34\0\3
    ..controls z34\0\4c1 and z34\0\4c2..z34\0\4
    ..controls z34\0\5c1 and z34\0\5c2..z34\0\5
    ..controls z34\0\6c1 and z34\0\6c2..z34\0\6
    ..controls z34\0\7c1 and z34\0\7c2..z34\0\7
    ..controls z34\0\8c1 and z34\0\8c2..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..z34\1\1
    ..controls z34\1\2c1 and z34\1\2c2..z34\1\2
    ..controls z34\1\3c1 and z34\1\3c2..z34\1\3
    ..controls z34\1\4c1 and z34\1\4c2..z34\1\4
    ..controls z34\1\5c1 and z34\1\5c2..cycle;
  fill_or_unfill z34\2\0s
    --cycle;
  fill_or_unfill z34\3\0s
    --z34\3\0
    --cycle;
  fill_or_unfill z34\4\0s
    --z34\4\0
    --z34\4\1
    ..controls z34\4\2c1 and z34\4\2c2..z34\4\2
    --z34\4\3
    --z34\4\4
    --z34\4\5
    --cycle;
  fill_or_unfill z34\5\0s
    --z34\5\0
    --z34\5\1
    --cycle;
  fill_or_unfill z34\6\0s
    --cycle;
  fill_or_unfill z34\7\0s
    --cycle;
  fill_or_unfill z34\8\0s
    --cycle;
  fill_or_unfill z34\9\0s
    --cycle;
  fill_or_unfill z34\10\0s
    --z34\10\0
    ..controls z34\10\1c1 and z34\10\1c2..cycle;
  fill_or_unfill z34\11\0s
    --z34\11\0
    ..controls z34\11\1c1 and z34\11\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\0\8,
    34\1\0,
    34\1\1,
    34\1\2,
    34\1\3,
    34\1\4,
    34\1\5,
    34\2\0,
    34\3\0,
    34\3\1,
    34\4\0,
    34\4\1,
    34\4\2,
    34\4\3,
    34\4\4,
    34\4\5,
    34\4\6,
    34\5\0,
    34\5\1,
    34\5\2,
    34\6\0,
    34\7\0,
    34\8\0,
    34\9\0,
    34\10\0,
    34\10\1,
    34\11\0,
    34\11\1,
);
endchar;

beginchar (35, 21.199u#, 13.009u#, 0.000u#);
  "L4";
  z35\0\0s = (1.204u,13.009u);
  z35\0\0 = (1.204u,10.840u);
  z35\0\1 = (0.482u,12.768u);
  z35\0\2 = (0.813u,8.913u);
  z35\0\3 = (0.241u,6.022u);
  z35\0\4c1 = (1.189u,5.905u);
  z35\0\4c2 = (2.079u,6.637u);
  z35\0\4 = (2.595u,6.458u);
  z35\0\5c1 = (4.186u,5.905u);
  z35\0\5c2 = (2.667u,4.092u);
  z35\0\5 = (1.927u,3.613u);
  z35\0\6 = (8.191u,3.132u);
  z35\0\7c1 = (8.192u,4.714u);
  z35\0\7c2 = (8.761u,6.858u);
  z35\0\7 = (10.719u,4.936u);
  z35\0\8c1 = (11.327u,4.339u);
  z35\0\8c2 = (11.302u,3.492u);
  z35\0\8 = (12.126u,2.911u);
  z35\0\9c1 = (12.833u,2.414u);
  z35\0\9c2 = (14.530u,2.285u);
  z35\0\9 = (15.417u,2.168u);
  z35\0\10 = (11.804u,4.577u);
  z35\0\11c1 = (13.944u,4.596u);
  z35\0\11c2 = (18.655u,1.072u);
  z35\0\11 = (17.104u,5.541u);
  z35\0\12c1 = (18.334u,5.821u);
  z35\0\12c2 = (23.220u,6.583u);
  z35\0\12 = (19.513u,7.950u);
  z35\0\13c1 = (21.447u,9.374u);
  z35\0\13c2 = (19.406u,9.792u);
  z35\0\13 = (18.067u,10.043u);
  z35\0\14c1 = (15.655u,10.496u);
  z35\0\14c2 = (13.207u,10.263u);
  z35\0\14 = (10.840u,9.636u);
  z35\0\15 = (10.604u,10.840u);
  z35\0\16 = (10.604u,11.790u);
  z35\0\17c1 = (10.105u,14.302u);
  z35\0\17c2 = (8.006u,10.020u);
  z35\0\17 = (7.307u,9.792u);
  z35\0\18 = (5.059u,9.792u);
  z35\0\19c1 = (4.051u,9.718u);
  z35\0\19c2 = (3.139u,9.188u);
  z35\0\19 = (2.168u,8.913u);
  z35\0\20 = (1.686u,13.009u);
  z35\1\0s = (9.877u,11.563u);
  z35\1\0c1 = (10.153u,9.988u);
  z35\1\0c2 = (10.247u,9.367u);
  z35\1\0 = (8.431u,9.154u);
  z35\2\0s = (19.272u,9.154u);
  z35\2\0c1 = (18.411u,7.918u);
  z35\2\0c2 = (12.896u,8.666u);
  z35\2\0 = (11.322u,8.913u);
  z35\2\1c1 = (13.795u,10.053u);
  z35\2\1c2 = (16.700u,9.622u);
  z35\3\0s = (6.986u,8.913u);
  z35\3\0 = (7.227u,7.468u);
  z35\3\1 = (7.950u,8.431u);
  z35\3\2c1 = (10.566u,5.765u);
  z35\3\2c2 = (5.654u,5.892u);
  z35\3\2 = (4.100u,6.678u);
  z35\3\3c1 = (2.147u,7.666u);
  z35\3\3c2 = (3.430u,9.009u);
  z35\3\3 = (5.059u,9.131u);
  z35\3\4c1 = (5.732u,9.181u);
  z35\3\4c2 = (6.337u,9.071u);
  z35\4\0s = (1.927u,8.431u);
  z35\4\0 = (1.204u,6.986u);
  z35\5\0s = (19.513u,6.986u);
  z35\5\0c1 = (16.176u,5.565u);
  z35\5\0c2 = (16.400u,5.865u);
  z35\5\0 = (13.249u,7.119u);
  z35\5\1c1 = (12.464u,7.431u);
  z35\5\1c2 = (11.855u,7.495u);
  z35\5\1 = (11.322u,8.191u);
  z35\5\2c1 = (13.207u,8.190u);
  z35\5\2c2 = (18.047u,7.979u);
  z35\6\0s = (10.600u,6.022u);
  z35\6\0c1 = (9.439u,6.335u);
  z35\6\0c2 = (9.189u,6.478u);
  z35\6\0 = (9.395u,7.709u);
  z35\6\1c1 = (10.462u,7.368u);
  z35\6\1c2 = (10.511u,7.100u);
  z35\7\0s = (11.563u,7.227u);
  z35\7\0c1 = (13.358u,6.463u);
  z35\7\0c2 = (16.107u,5.869u);
  z35\7\0 = (16.863u,3.854u);
  z35\7\1c1 = (15.387u,4.200u);
  z35\7\1c2 = (10.930u,5.225u);
  z35\8\0s = (4.336u,5.781u);
  z35\8\0 = (4.095u,3.854u);
  z35\9\0s = (5.300u,5.541u);
  z35\9\0 = (5.300u,3.854u);
  z35\10\0s = (6.504u,5.300u);
  z35\10\0 = (6.022u,3.854u);
  z35\11\0s = (7.468u,5.300u);
  z35\11\0 = (7.468u,4.095u);
  fill_or_unfill z35\0\0s
    --z35\0\0
    --z35\0\1
    --z35\0\2
    --z35\0\3
    ..controls z35\0\4c1 and z35\0\4c2..z35\0\4
    ..controls z35\0\5c1 and z35\0\5c2..z35\0\5
    --z35\0\6
    ..controls z35\0\7c1 and z35\0\7c2..z35\0\7
    ..controls z35\0\8c1 and z35\0\8c2..z35\0\8
    ..controls z35\0\9c1 and z35\0\9c2..z35\0\9
    --z35\0\10
    ..controls z35\0\11c1 and z35\0\11c2..z35\0\11
    ..controls z35\0\12c1 and z35\0\12c2..z35\0\12
    ..controls z35\0\13c1 and z35\0\13c2..z35\0\13
    ..controls z35\0\14c1 and z35\0\14c2..z35\0\14
    --z35\0\15
    --z35\0\16
    ..controls z35\0\17c1 and z35\0\17c2..z35\0\17
    --z35\0\18
    ..controls z35\0\19c1 and z35\0\19c2..z35\0\19
    --z35\0\20
    --cycle;
  fill_or_unfill z35\1\0s
    ..controls z35\1\0c1 and z35\1\0c2..z35\1\0
    --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..cycle;
  fill_or_unfill z35\3\0s
    --z35\3\0
    --z35\3\1
    ..controls z35\3\2c1 and z35\3\2c2..z35\3\2
    ..controls z35\3\3c1 and z35\3\3c2..z35\3\3
    ..controls z35\3\4c1 and z35\3\4c2..cycle;
  fill_or_unfill z35\4\0s
    --z35\4\0
    --cycle;
  fill_or_unfill z35\5\0s
    ..controls z35\5\0c1 and z35\5\0c2..z35\5\0
    ..controls z35\5\1c1 and z35\5\1c2..z35\5\1
    ..controls z35\5\2c1 and z35\5\2c2..cycle;
  fill_or_unfill z35\6\0s
    ..controls z35\6\0c1 and z35\6\0c2..z35\6\0
    ..controls z35\6\1c1 and z35\6\1c2..cycle;
  fill_or_unfill z35\7\0s
    ..controls z35\7\0c1 and z35\7\0c2..z35\7\0
    ..controls z35\7\1c1 and z35\7\1c2..cycle;
  fill_or_unfill z35\8\0s
    --z35\8\0
    --cycle;
  fill_or_unfill z35\9\0s
    --z35\9\0
    --cycle;
  fill_or_unfill z35\10\0s
    --z35\10\0
    --cycle;
  fill_or_unfill z35\11\0s
    --z35\11\0
    --cycle;
  proof_labels (
    35\0\0,
    35\0\1,
    35\0\2,
    35\0\3,
    35\0\4,
    35\0\5,
    35\0\6,
    35\0\7,
    35\0\8,
    35\0\9,
    35\0\10,
    35\0\11,
    35\0\12,
    35\0\13,
    35\0\14,
    35\0\15,
    35\0\16,
    35\0\17,
    35\0\18,
    35\0\19,
    35\0\20,
    35\0\21,
    35\1\0,
    35\1\1,
    35\2\0,
    35\2\1,
    35\3\0,
    35\3\1,
    35\3\2,
    35\3\3,
    35\3\4,
    35\4\0,
    35\4\1,
    35\5\0,
    35\5\1,
    35\5\2,
    35\6\0,
    35\6\1,
    35\7\0,
    35\7\1,
    35\8\0,
    35\8\1,
    35\9\0,
    35\9\1,
    35\10\0,
    35\10\1,
    35\11\0,
    35\11\1,
);
endchar;

beginchar (36, 17.345u#, 6.504u#, 0.000u#);
  "L5";
  z36\0\0s = (8.913u,6.504u);
  z36\0\0 = (7.709u,5.059u);
  z36\0\1 = (7.709u,6.263u);
  z36\0\2 = (6.263u,6.022u);
  z36\0\3 = (5.300u,4.818u);
  z36\0\4 = (5.541u,6.022u);
  z36\0\5 = (4.336u,4.577u);
  z36\0\6 = (4.095u,6.022u);
  z36\0\7c1 = (1.288u,3.749u);
  z36\0\7c2 = (2.427u,4.874u);
  z36\0\7 = (0.241u,6.263u);
  z36\0\8 = (0.829u,3.876u);
  z36\0\9 = (0.000u,1.927u);
  z36\0\10c1 = (2.944u,3.443u);
  z36\0\10c2 = (1.372u,3.058u);
  z36\0\10 = (4.095u,1.686u);
  z36\0\11 = (3.854u,2.650u);
  z36\0\12 = (5.541u,1.686u);
  z36\0\13 = (5.541u,2.891u);
  z36\0\14 = (7.227u,1.927u);
  z36\0\15 = (6.745u,3.132u);
  z36\0\16 = (8.672u,2.168u);
  z36\0\17 = (8.431u,3.372u);
  z36\0\18 = (10.118u,2.168u);
  z36\0\19 = (9.877u,3.372u);
  z36\0\20 = (11.322u,1.927u);
  z36\0\21 = (11.081u,3.132u);
  z36\0\22c1 = (11.875u,2.445u);
  z36\0\22c2 = (12.145u,1.624u);
  z36\0\22 = (13.009u,2.650u);
  z36\0\23 = (14.213u,1.445u);
  z36\0\24 = (13.972u,2.409u);
  z36\0\25 = (14.936u,0.963u);
  z36\0\26 = (15.658u,1.927u);
  z36\0\27 = (16.863u,0.482u);
  z36\0\28 = (16.622u,2.891u);
  z36\0\29 = (17.345u,4.336u);
  z36\0\30 = (16.140u,4.095u);
  z36\0\31 = (16.381u,5.300u);
  z36\0\32 = (14.695u,4.336u);
  z36\0\33 = (14.936u,5.541u);
  z36\0\34 = (13.249u,4.577u);
  z36\0\35 = (13.731u,5.781u);
  z36\0\36 = (12.045u,4.818u);
  z36\0\37 = (12.045u,6.263u);
  z36\0\38 = (10.600u,5.059u);
  z36\0\39 = (10.600u,6.504u);
  z36\0\40 = (9.154u,5.300u);
  z36\0\41 = (9.395u,6.504u);
  z36\1\0s = (6.986u,5.541u);
  z36\2\0s = (15.658u,3.372u);
  z36\2\0 = (9.636u,4.017u);
  z36\2\1 = (2.891u,3.372u);
  z36\2\2 = (2.891u,3.854u);
  z36\2\3 = (9.154u,4.478u);
  z36\3\0s = (12.768u,2.891u);
  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
    ..controls z36\0\7c1 and z36\0\7c2..z36\0\7
    --z36\0\8
    --z36\0\9
    ..controls z36\0\10c1 and z36\0\10c2..z36\0\10
    --z36\0\11
    --z36\0\12
    --z36\0\13
    --z36\0\14
    --z36\0\15
    --z36\0\16
    --z36\0\17
    --z36\0\18
    --z36\0\19
    --z36\0\20
    --z36\0\21
    ..controls z36\0\22c1 and z36\0\22c2..z36\0\22
    --z36\0\23
    --z36\0\24
    --z36\0\25
    --z36\0\26
    --z36\0\27
    --z36\0\28
    --z36\0\29
    --z36\0\30
    --z36\0\31
    --z36\0\32
    --z36\0\33
    --z36\0\34
    --z36\0\35
    --z36\0\36
    --z36\0\37
    --z36\0\38
    --z36\0\39
    --z36\0\40
    --z36\0\41
    --cycle;
  fill_or_unfill z36\1\0s
    --cycle;
  fill_or_unfill z36\2\0s
    --z36\2\0
    --z36\2\1
    --z36\2\2
    --z36\2\3
    --cycle;
  fill_or_unfill z36\3\0s
    --cycle;
  proof_labels (
    36\0\0,
    36\0\1,
    36\0\2,
    36\0\3,
    36\0\4,
    36\0\5,
    36\0\6,
    36\0\7,
    36\0\8,
    36\0\9,
    36\0\10,
    36\0\11,
    36\0\12,
    36\0\13,
    36\0\14,
    36\0\15,
    36\0\16,
    36\0\17,
    36\0\18,
    36\0\19,
    36\0\20,
    36\0\21,
    36\0\22,
    36\0\23,
    36\0\24,
    36\0\25,
    36\0\26,
    36\0\27,
    36\0\28,
    36\0\29,
    36\0\30,
    36\0\31,
    36\0\32,
    36\0\33,
    36\0\34,
    36\0\35,
    36\0\36,
    36\0\37,
    36\0\38,
    36\0\39,
    36\0\40,
    36\0\41,
    36\0\42,
    36\1\0,
    36\2\0,
    36\2\1,
    36\2\2,
    36\2\3,
    36\2\4,
    36\3\0,
);
endchar;

beginchar (37, 8.672u#, 8.431u#, 0.000u#);
  "L6";
  z37\0\0s = (0.000u,8.431u);
  z37\0\0c1 = (0.333u,4.738u);
  z37\0\0c2 = (4.626u,-0.655u);
  z37\0\0 = (8.672u,0.482u);
  z37\0\1 = (5.625u,6.515u);
  z37\0\2 = (2.650u,7.343u);
  z37\1\0s = (1.445u,6.986u);
  z37\1\0 = (4.764u,5.900u);
  z37\1\1 = (7.227u,1.204u);
  z37\1\2c1 = (5.149u,1.439u);
  z37\1\2c2 = (0.871u,4.669u);
  fill_or_unfill z37\0\0s
    ..controls z37\0\0c1 and z37\0\0c2..z37\0\0
    --z37\0\1
    --z37\0\2
    --cycle;
  fill_or_unfill z37\1\0s
    --z37\1\0
    --z37\1\1
    ..controls z37\1\2c1 and z37\1\2c2..cycle;
  proof_labels (
    37\0\0,
    37\0\1,
    37\0\2,
    37\0\3,
    37\1\0,
    37\1\1,
    37\1\2,
);
endchar;

beginchar (38, 12.045u#, 18.067u#, 0.000u#);
  "L7";
  z38\0\0s = (2.891u,11.563u);
  z38\0\0 = (3.490u,5.781u);
  z38\0\1 = (4.522u,2.894u);
  z38\0\2 = (3.613u,0.482u);
  z38\0\3 = (6.022u,1.927u);
  z38\0\4 = (7.709u,0.482u);
  z38\0\5 = (7.065u,2.650u);
  z38\0\6 = (8.246u,6.263u);
  z38\0\7 = (8.913u,11.563u);
  z38\0\8c1 = (14.954u,9.303u);
  z38\0\8c2 = (10.407u,15.887u);
  z38\0\8 = (8.651u,17.188u);
  z38\0\9c1 = (8.021u,17.655u);
  z38\0\9c2 = (7.498u,17.746u);
  z38\0\9 = (6.745u,17.826u);
  z38\0\10c1 = (7.107u,15.663u);
  z38\0\10c2 = (7.614u,16.481u);
  z38\0\10 = (8.835u,15.343u);
  z38\0\11c1 = (9.571u,14.656u);
  z38\0\11c2 = (10.297u,13.243u);
  z38\0\11 = (10.600u,12.286u);
  z38\0\12c1 = (8.486u,12.790u);
  z38\0\12c2 = (7.080u,14.632u);
  z38\0\12 = (4.586u,14.066u);
  z38\0\13c1 = (3.499u,13.820u);
  z38\0\13c2 = (3.322u,12.839u);
  z38\0\13 = (1.445u,12.527u);
  z38\0\14 = (3.043u,15.364u);
  z38\0\15 = (4.818u,17.345u);
  z38\0\16 = (5.541u,17.104u);
  z38\0\17 = (5.781u,17.345u);
  z38\0\18 = (5.781u,17.826u);
  z38\0\19c1 = (2.577u,18.580u);
  z38\0\19c2 = (-0.871u,12.180u);
  z38\0\19 = (0.558u,11.405u);
  z38\0\20c1 = (1.095u,11.114u);
  z38\0\20c2 = (2.296u,11.451u);
  z38\1\0s = (4.609u,13.046u);
  z38\1\0c1 = (5.098u,13.161u);
  z38\1\0c2 = (7.250u,13.229u);
  z38\1\0 = (7.605u,13.046u);
  z38\1\1c1 = (9.120u,12.019u);
  z38\1\1c2 = (7.302u,3.672u);
  z38\1\1 = (5.969u,3.212u);
  z38\1\2c1 = (5.053u,2.897u);
  z38\1\2c2 = (4.577u,4.951u);
  z38\1\2 = (4.408u,5.541u);
  z38\1\3c1 = (3.884u,7.363u);
  z38\1\3c2 = (2.708u,11.888u);
  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
    ..controls z38\0\8c1 and z38\0\8c2..z38\0\8
    ..controls z38\0\9c1 and z38\0\9c2..z38\0\9
    ..controls z38\0\10c1 and z38\0\10c2..z38\0\10
    ..controls z38\0\11c1 and z38\0\11c2..z38\0\11
    ..controls z38\0\12c1 and z38\0\12c2..z38\0\12
    ..controls z38\0\13c1 and z38\0\13c2..z38\0\13
    --z38\0\14
    --z38\0\15
    --z38\0\16
    --z38\0\17
    --z38\0\18
    ..controls z38\0\19c1 and z38\0\19c2..z38\0\19
    ..controls z38\0\20c1 and z38\0\20c2..cycle;
  fill_or_unfill z38\1\0s
    ..controls z38\1\0c1 and z38\1\0c2..z38\1\0
    ..controls z38\1\1c1 and z38\1\1c2..z38\1\1
    ..controls z38\1\2c1 and z38\1\2c2..z38\1\2
    ..controls z38\1\3c1 and z38\1\3c2..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,
    38\0\20,
    38\1\0,
    38\1\1,
    38\1\2,
    38\1\3,
);
endchar;