beginchar (32, 8.431u#, 14.454u#, 0.000u#);
  "H1";
  z32\0\0s = (0.000u,11.322u);
  z32\0\0 = (5.781u,10.840u);
  z32\0\1c1 = (5.146u,10.065u);
  z32\0\1c2 = (1.715u,6.338u);
  z32\0\1 = (3.658u,5.444u);
  z32\0\2c1 = (4.141u,5.222u);
  z32\0\2c2 = (6.108u,5.300u);
  z32\0\2 = (6.745u,5.300u);
  z32\0\3 = (6.338u,7.468u);
  z32\0\4c1 = (6.362u,9.142u);
  z32\0\4c2 = (8.015u,10.177u);
  z32\0\4 = (8.226u,11.804u);
  z32\0\5c1 = (8.501u,13.937u);
  z32\0\5c2 = (6.623u,14.796u);
  z32\0\5 = (4.818u,14.150u);
  z32\0\6 = (2.891u,13.046u);
  z32\0\7c1 = (1.584u,12.417u);
  z32\0\7c2 = (0.548u,13.043u);
  z32\1\0s = (5.541u,13.731u);
  z32\2\0s = (5.781u,6.263u);
  z32\2\0 = (3.854u,6.022u);
  z32\2\1 = (5.983u,11.046u);
  z32\2\2 = (4.136u,12.188u);
  z32\2\3 = (5.300u,13.490u);
  z32\2\4 = (6.263u,12.768u);
  z32\2\5 = (5.781u,13.731u);
  z32\2\6c1 = (10.062u,13.231u);
  z32\2\6c2 = (5.146u,9.147u);
  fill_or_unfill z32\0\0s
    --z32\0\0
    ..controls z32\0\1c1 and z32\0\1c2..z32\0\1
    ..controls z32\0\2c1 and z32\0\2c2..z32\0\2
    --z32\0\3
    ..controls z32\0\4c1 and z32\0\4c2..z32\0\4
    ..controls z32\0\5c1 and z32\0\5c2..z32\0\5
    --z32\0\6
    ..controls z32\0\7c1 and z32\0\7c2..cycle;
  fill_or_unfill z32\1\0s
    --cycle;
  fill_or_unfill z32\2\0s
    --z32\2\0
    --z32\2\1
    --z32\2\2
    --z32\2\3
    --z32\2\4
    --z32\2\5
    ..controls z32\2\6c1 and z32\2\6c2..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\1\0,
    32\2\0,
    32\2\1,
    32\2\2,
    32\2\3,
    32\2\4,
    32\2\5,
    32\2\6,
);
endchar;

beginchar (33, 17.826u#, 13.972u#, 0.000u#);
  "H2";
  z33\0\0s = (0.000u,11.081u);
  z33\0\0 = (0.000u,10.600u);
  z33\0\1c1 = (1.783u,10.132u);
  z33\0\1c2 = (8.512u,12.206u);
  z33\0\1 = (9.346u,10.324u);
  z33\0\2c1 = (9.959u,8.938u);
  z33\0\2c2 = (6.786u,5.809u);
  z33\0\2 = (6.122u,4.577u);
  z33\0\3c1 = (5.630u,3.664u);
  z33\0\3c2 = (5.563u,2.937u);
  z33\0\3 = (5.541u,1.927u);
  z33\0\4 = (8.431u,1.927u);
  z33\0\5c1 = (8.465u,5.639u);
  z33\0\5c2 = (11.975u,8.127u);
  z33\0\5 = (11.081u,11.804u);
  z33\0\6c1 = (12.422u,11.064u);
  z33\0\6c2 = (16.998u,8.548u);
  z33\0\6 = (17.826u,10.840u);
  z33\0\7 = (12.768u,11.804u);
  z33\0\8c1 = (14.257u,11.960u);
  z33\0\8c2 = (16.988u,11.045u);
  z33\0\8 = (17.586u,12.768u);
  z33\0\9 = (13.972u,12.638u);
  z33\0\10 = (6.986u,13.918u);
  z33\0\11 = (4.095u,12.382u);
  z33\1\0s = (10.600u,10.359u);
  z33\1\0c1 = (9.469u,11.710u);
  z33\1\0c2 = (9.210u,11.787u);
  z33\1\0 = (7.468u,11.804u);
  z33\1\1 = (7.709u,13.249u);
  z33\1\2c1 = (9.826u,13.195u);
  z33\1\2c2 = (10.385u,12.426u);
  z33\2\0s = (6.504u,13.009u);
  z33\2\0 = (6.745u,11.804u);
  z33\2\1 = (5.781u,12.045u);
  z33\3\0s = (8.672u,6.263u);
  z33\4\0s = (8.431u,6.022u);
  z33\4\0c1 = (8.189u,4.664u);
  z33\4\0c2 = (8.021u,2.280u);
  z33\4\0 = (6.263u,2.650u);
  z33\4\1c1 = (6.744u,4.398u);
  z33\4\1c2 = (6.902u,4.902u);
  fill_or_unfill z33\0\0s
    --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
    --z33\0\4
    ..controls z33\0\5c1 and z33\0\5c2..z33\0\5
    ..controls z33\0\6c1 and z33\0\6c2..z33\0\6
    --z33\0\7
    ..controls z33\0\8c1 and z33\0\8c2..z33\0\8
    --z33\0\9
    --z33\0\10
    --z33\0\11
    --cycle;
  fill_or_unfill z33\1\0s
    ..controls z33\1\0c1 and z33\1\0c2..z33\1\0
    --z33\1\1
    ..controls z33\1\2c1 and z33\1\2c2..cycle;
  fill_or_unfill z33\2\0s
    --z33\2\0
    --z33\2\1
    --cycle;
  fill_or_unfill z33\3\0s
    --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;
  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\1\0,
    33\1\1,
    33\1\2,
    33\2\0,
    33\2\1,
    33\2\2,
    33\3\0,
    33\4\0,
    33\4\1,
);
endchar;

beginchar (34, 8.913u#, 13.490u#, 0.000u#);
  "H3";
  z34\0\0s = (5.300u,2.409u);
  z34\0\0 = (8.431u,2.168u);
  z34\0\1c1 = (8.211u,3.398u);
  z34\0\1c2 = (8.177u,4.535u);
  z34\0\1 = (8.191u,5.781u);
  z34\0\2c1 = (8.209u,7.314u);
  z34\0\2c2 = (9.225u,10.907u);
  z34\0\2 = (8.630u,12.034u);
  z34\0\3c1 = (8.293u,12.673u);
  z34\0\3c2 = (7.683u,13.088u);
  z34\0\3 = (6.986u,13.241u);
  z34\0\4c1 = (4.429u,13.802u);
  z34\0\4c2 = (3.684u,10.953u);
  z34\0\4 = (2.487u,9.395u);
  z34\0\5c1 = (1.798u,8.500u);
  z34\0\5c2 = (0.332u,7.103u);
  z34\0\5 = (0.113u,6.023u);
  z34\0\6c1 = (-0.188u,4.536u);
  z34\0\6c2 = (1.159u,4.287u);
  z34\0\6 = (2.117u,5.134u);
  z34\0\7c1 = (3.129u,6.029u);
  z34\0\7c2 = (3.413u,7.803u);
  z34\0\7 = (4.602u,8.858u);
  z34\0\8c1 = (5.237u,9.421u);
  z34\0\8c2 = (6.253u,9.760u);
  z34\0\8 = (6.557u,8.658u);
  z34\0\9c1 = (6.689u,8.181u);
  z34\0\9c2 = (5.517u,3.229u);
  z34\1\0s = (7.709u,2.891u);
  z34\1\0 = (6.022u,2.891u);
  z34\1\1c1 = (6.473u,4.448u);
  z34\1\1c2 = (8.054u,8.839u);
  z34\1\1 = (6.462u,9.890u);
  z34\1\2c1 = (5.983u,10.198u);
  z34\1\2c2 = (5.503u,10.178u);
  z34\1\2 = (5.018u,9.890u);
  z34\1\3c1 = (2.984u,8.707u);
  z34\1\3c2 = (2.790u,5.805u);
  z34\1\3 = (0.723u,5.059u);
  z34\1\4 = (0.482u,5.300u);
  z34\1\5c1 = (0.975u,6.972u);
  z34\1\5c2 = (2.255u,8.020u);
  z34\1\5 = (3.255u,9.395u);
  z34\1\6c1 = (4.214u,10.714u);
  z34\1\6c2 = (4.886u,13.088u);
  z34\1\6 = (6.976u,12.531u);
  z34\1\7c1 = (7.441u,12.408u);
  z34\1\7c2 = (7.805u,12.202u);
  z34\1\7 = (8.013u,11.750u);
  z34\1\8c1 = (8.429u,10.840u);
  z34\1\8c2 = (7.502u,6.896u);
  z34\1\8 = (7.471u,5.541u);
  z34\1\9c1 = (7.450u,4.621u);
  z34\1\9c2 = (7.547u,3.793u);
  z34\2\0s = (6.022u,11.081u);
  z34\2\0 = (6.745u,12.045u);
  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
    ..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..z34\0\8
    ..controls z34\0\9c1 and z34\0\9c2..cycle;
  fill_or_unfill z34\1\0s
    --z34\1\0
    ..controls z34\1\1c1 and z34\1\1c2..z34\1\1
    ..controls z34\1\2c1 and z34\1\2c2..z34\1\2
    ..controls z34\1\3c1 and z34\1\3c2..z34\1\3
    --z34\1\4
    ..controls z34\1\5c1 and z34\1\5c2..z34\1\5
    ..controls z34\1\6c1 and z34\1\6c2..z34\1\6
    ..controls z34\1\7c1 and z34\1\7c2..z34\1\7
    ..controls z34\1\8c1 and z34\1\8c2..z34\1\8
    ..controls z34\1\9c1 and z34\1\9c2..cycle;
  fill_or_unfill z34\2\0s
    --z34\2\0
    --cycle;
  proof_labels (
    34\0\0,
    34\0\1,
    34\0\2,
    34\0\3,
    34\0\4,
    34\0\5,
    34\0\6,
    34\0\7,
    34\0\8,
    34\0\9,
    34\1\0,
    34\1\1,
    34\1\2,
    34\1\3,
    34\1\4,
    34\1\5,
    34\1\6,
    34\1\7,
    34\1\8,
    34\1\9,
    34\2\0,
    34\2\1,
);
endchar;

beginchar (35, 6.022u#, 13.490u#, 0.000u#);
  "H4";
  z35\0\0s = (0.241u,10.600u);
  z35\0\0 = (3.372u,10.600u);
  z35\0\1c1 = (2.601u,9.688u);
  z35\0\1c2 = (1.442u,8.702u);
  z35\0\1 = (1.262u,7.468u);
  z35\0\2c1 = (1.145u,6.665u);
  z35\0\2c2 = (1.410u,5.925u);
  z35\0\2 = (1.981u,5.354u);
  z35\0\3c1 = (4.516u,2.820u);
  z35\0\3c2 = (7.623u,7.379u);
  z35\0\3 = (3.854u,8.191u);
  z35\0\4c1 = (4.447u,8.789u);
  z35\0\4c2 = (5.122u,9.397u);
  z35\0\4 = (5.567u,10.118u);
  z35\0\5c1 = (8.115u,14.241u);
  z35\0\5c2 = (-0.527u,14.762u);
  z35\1\0s = (3.613u,13.009u);
  z35\1\0 = (3.132u,12.045u);
  z35\1\1 = (3.854u,12.768u);
  z35\1\2c1 = (8.316u,11.760u);
  z35\1\2c2 = (0.766u,8.023u);
  z35\1\2 = (3.613u,6.263u);
  z35\1\3 = (3.372u,7.227u);
  z35\1\4c1 = (5.446u,7.654u);
  z35\1\4c2 = (5.267u,5.688u);
  z35\1\4 = (3.850u,5.380u);
  z35\1\5c1 = (2.276u,5.037u);
  z35\1\5c2 = (1.634u,6.700u);
  z35\1\5 = (2.133u,7.950u);
  z35\1\6c1 = (2.401u,8.620u);
  z35\1\6c2 = (2.915u,9.093u);
  z35\1\6 = (3.364u,9.636u);
  z35\1\7c1 = (3.641u,9.972u);
  z35\1\7c2 = (4.145u,10.470u);
  z35\1\7 = (3.875u,10.946u);
  z35\1\8c1 = (3.581u,11.467u);
  z35\1\8c2 = (1.641u,11.651u);
  z35\1\8 = (0.963u,12.045u);
  fill_or_unfill z35\0\0s
    --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
    ..controls z35\0\5c1 and z35\0\5c2..cycle;
  fill_or_unfill z35\1\0s
    --z35\1\0
    --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
    ..controls z35\1\7c1 and z35\1\7c2..z35\1\7
    ..controls z35\1\8c1 and z35\1\8c2..z35\1\8
    --cycle;
  proof_labels (
    35\0\0,
    35\0\1,
    35\0\2,
    35\0\3,
    35\0\4,
    35\0\5,
    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\1\8,
    35\1\9,
);
endchar;

beginchar (36, 17.345u#, 6.504u#, 0.000u#);
  "H5";
  z36\0\0s = (0.241u,1.927u);
  z36\0\0 = (0.723u,1.927u);
  z36\0\1 = (0.963u,3.613u);
  z36\0\2 = (1.445u,3.613u);
  z36\0\3 = (1.445u,1.927u);
  z36\0\4 = (2.168u,1.927u);
  z36\0\5 = (2.168u,3.613u);
  z36\0\6 = (2.891u,1.927u);
  z36\0\7 = (3.613u,1.927u);
  z36\0\8 = (3.613u,3.613u);
  z36\0\9 = (4.095u,3.613u);
  z36\0\10 = (4.818u,1.927u);
  z36\0\11 = (5.541u,3.613u);
  z36\0\12 = (5.541u,1.927u);
  z36\0\13 = (6.263u,1.927u);
  z36\0\14 = (6.263u,3.854u);
  z36\0\15 = (6.745u,3.854u);
  z36\0\16 = (6.986u,1.686u);
  z36\0\17 = (7.468u,3.854u);
  z36\0\18c1 = (9.041u,1.997u);
  z36\0\18c2 = (9.732u,1.409u);
  z36\0\18 = (12.286u,1.686u);
  z36\0\19 = (12.286u,2.409u);
  z36\0\20 = (10.600u,3.613u);
  z36\0\21 = (14.454u,2.409u);
  z36\0\22 = (13.249u,3.372u);
  z36\0\23c1 = (14.493u,3.562u);
  z36\0\23c2 = (15.342u,2.950u);
  z36\0\23 = (15.899u,4.336u);
  z36\0\24 = (12.286u,5.059u);
  z36\0\25c1 = (14.120u,5.426u);
  z36\0\25c2 = (16.168u,3.705u);
  z36\0\25 = (17.345u,5.541u);
  z36\0\26c1 = (12.392u,6.992u);
  z36\0\26c2 = (7.236u,6.273u);
  z36\0\26 = (2.168u,6.263u);
  z36\0\27c1 = (1.691u,6.262u);
  z36\0\27c2 = (0.766u,6.321u);
  z36\0\27 = (0.385u,6.017u);
  z36\0\28c1 = (-0.156u,5.585u);
  z36\0\28c2 = (0.054u,2.606u);
  z36\1\0s = (8.913u,5.781u);
  z36\1\0c1 = (7.593u,3.791u);
  z36\1\0c2 = (2.743u,4.080u);
  z36\1\0 = (0.723u,4.818u);
  z36\1\1 = (0.723u,5.300u);
  z36\1\2 = (5.300u,5.541u);
  z36\2\0s = (12.045u,4.336u);
  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
    --z36\0\8
    --z36\0\9
    --z36\0\10
    --z36\0\11
    --z36\0\12
    --z36\0\13
    --z36\0\14
    --z36\0\15
    --z36\0\16
    --z36\0\17
    ..controls z36\0\18c1 and z36\0\18c2..z36\0\18
    --z36\0\19
    --z36\0\20
    --z36\0\21
    --z36\0\22
    ..controls z36\0\23c1 and z36\0\23c2..z36\0\23
    --z36\0\24
    ..controls z36\0\25c1 and z36\0\25c2..z36\0\25
    ..controls z36\0\26c1 and z36\0\26c2..z36\0\26
    ..controls z36\0\27c1 and z36\0\27c2..z36\0\27
    ..controls z36\0\28c1 and z36\0\28c2..cycle;
  fill_or_unfill z36\1\0s
    ..controls z36\1\0c1 and z36\1\0c2..z36\1\0
    --z36\1\1
    --z36\1\2
    --cycle;
  fill_or_unfill z36\2\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\1\0,
    36\1\1,
    36\1\2,
    36\1\3,
    36\2\0,
);
endchar;

beginchar (37, 5.541u#, 19.031u#, 0.000u#);
  "H6";
  z37\0\0s = (0.000u,1.204u);
  z37\0\0c1 = (2.667u,1.427u);
  z37\0\0c2 = (0.731u,4.018u);
  z37\0\0 = (1.677u,5.549u);
  z37\0\1c1 = (2.709u,7.222u);
  z37\0\1c2 = (4.823u,6.278u);
  z37\0\1 = (4.669u,8.432u);
  z37\0\2 = (4.315u,13.009u);
  z37\0\3c1 = (4.280u,13.525u);
  z37\0\3c2 = (4.097u,14.170u);
  z37\0\3 = (4.192u,14.674u);
  z37\0\4c1 = (4.354u,15.530u);
  z37\0\4c2 = (5.223u,15.904u);
  z37\0\4 = (5.427u,16.864u);
  z37\0\5c1 = (5.870u,18.958u);
  z37\0\5c2 = (3.159u,19.507u);
  z37\0\5 = (1.876u,18.195u);
  z37\0\6c1 = (0.624u,16.915u);
  z37\0\6c2 = (0.504u,13.101u);
  z37\0\6 = (0.483u,11.322u);
  z37\1\0s = (0.963u,6.263u);
  z37\1\0 = (0.963u,8.672u);
  z37\1\1 = (1.204u,12.286u);
  z37\1\2c1 = (1.219u,13.559u);
  z37\1\2c2 = (1.228u,16.278u);
  z37\1\2 = (1.962u,17.294u);
  z37\1\3c1 = (2.513u,18.056u);
  z37\1\3c2 = (4.222u,18.742u);
  z37\1\3 = (4.660u,17.519u);
  z37\1\4c1 = (5.012u,16.535u);
  z37\1\4c2 = (3.670u,15.914u);
  z37\1\4 = (3.550u,14.926u);
  z37\1\5c1 = (3.394u,13.635u);
  z37\1\5c2 = (4.336u,8.533u);
  z37\1\5 = (3.855u,7.877u);
  fill_or_unfill z37\0\0s
    ..controls z37\0\0c1 and z37\0\0c2..z37\0\0
    ..controls z37\0\1c1 and z37\0\1c2..z37\0\1
    --z37\0\2
    ..controls z37\0\3c1 and z37\0\3c2..z37\0\3
    ..controls z37\0\4c1 and z37\0\4c2..z37\0\4
    ..controls z37\0\5c1 and z37\0\5c2..z37\0\5
    ..controls z37\0\6c1 and z37\0\6c2..z37\0\6
    --cycle;
  fill_or_unfill z37\1\0s
    --z37\1\0
    --z37\1\1
    ..controls z37\1\2c1 and z37\1\2c2..z37\1\2
    ..controls z37\1\3c1 and z37\1\3c2..z37\1\3
    ..controls z37\1\4c1 and z37\1\4c2..z37\1\4
    ..controls z37\1\5c1 and z37\1\5c2..z37\1\5
    --cycle;
  proof_labels (
    37\0\0,
    37\0\1,
    37\0\2,
    37\0\3,
    37\0\4,
    37\0\5,
    37\0\6,
    37\0\7,
    37\1\0,
    37\1\1,
    37\1\2,
    37\1\3,
    37\1\4,
    37\1\5,
    37\1\6,
);
endchar;

beginchar (38, 7.950u#, 18.549u#, 0.000u#);
  "H6*";
  z38\0\0s = (2.891u,10.600u);
  z38\0\0 = (0.723u,12.286u);
  z38\0\1 = (2.650u,8.913u);
  z38\0\2 = (0.000u,10.359u);
  z38\0\3c1 = (0.657u,9.001u);
  z38\0\3c2 = (1.231u,9.076u);
  z38\0\3 = (2.092u,8.113u);
  z38\0\4c1 = (2.927u,7.179u);
  z38\0\4c2 = (2.406u,4.243u);
  z38\0\4 = (2.409u,2.891u);
  z38\0\5c1 = (2.410u,2.352u);
  z38\0\5c2 = (2.822u,-0.514u);
  z38\0\5 = (3.710u,1.484u);
  z38\0\6c1 = (4.214u,2.616u);
  z38\0\6c2 = (3.443u,4.140u);
  z38\0\6 = (4.239u,5.275u);
  z38\0\7c1 = (5.076u,6.468u);
  z38\0\7c2 = (6.727u,6.361u);
  z38\0\7 = (7.062u,7.281u);
  z38\0\8 = (6.608u,13.972u);
  z38\0\9c1 = (6.648u,15.135u);
  z38\0\9c2 = (7.615u,15.580u);
  z38\0\9 = (7.836u,16.621u);
  z38\0\10c1 = (8.267u,18.660u);
  z38\0\10c2 = (5.421u,19.110u);
  z38\0\10 = (4.238u,17.746u);
  z38\0\11c1 = (2.888u,16.188u);
  z38\0\11c2 = (2.892u,12.641u);
  z38\1\0s = (6.504u,7.227u);
  z38\1\0 = (3.132u,5.781u);
  z38\1\1c1 = (3.557u,9.010u);
  z38\1\1c2 = (3.082u,12.805u);
  z38\1\1 = (3.973u,15.899u);
  z38\1\2c1 = (4.325u,17.121u);
  z38\1\2c2 = (6.476u,18.927u);
  z38\1\2 = (7.057u,17.072u);
  z38\1\3c1 = (7.355u,16.123u);
  z38\1\3c2 = (6.055u,15.468u);
  z38\1\3 = (5.925u,14.453u);
  z38\1\4c1 = (5.641u,12.224u);
  z38\1\4c2 = (6.454u,9.509u);
  fill_or_unfill z38\0\0s
    --z38\0\0
    --z38\0\1
    --z38\0\2
    ..controls z38\0\3c1 and z38\0\3c2..z38\0\3
    ..controls z38\0\4c1 and z38\0\4c2..z38\0\4
    ..controls z38\0\5c1 and z38\0\5c2..z38\0\5
    ..controls z38\0\6c1 and z38\0\6c2..z38\0\6
    ..controls z38\0\7c1 and z38\0\7c2..z38\0\7
    --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..cycle;
  fill_or_unfill z38\1\0s
    --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..z38\1\3
    ..controls z38\1\4c1 and z38\1\4c2..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\1\0,
    38\1\1,
    38\1\2,
    38\1\3,
    38\1\4,
);
endchar;

beginchar (39, 15.658u#, 16.622u#, 0.000u#);
  "H7";
  z39\0\0s = (8.431u,16.622u);
  z39\0\0 = (8.431u,7.468u);
  z39\0\1c1 = (8.419u,1.120u);
  z39\0\1c2 = (0.709u,8.994u);
  z39\0\1 = (0.000u,2.891u);
  z39\0\2 = (1.931u,3.921u);
  z39\0\3 = (7.950u,4.336u);
  z39\0\4c1 = (5.711u,2.207u);
  z39\0\4c2 = (3.091u,5.127u);
  z39\0\4 = (2.168u,2.168u);
  z39\0\5c1 = (4.759u,3.042u);
  z39\0\5c2 = (7.063u,1.201u);
  z39\0\5 = (8.913u,4.336u);
  z39\0\6 = (12.527u,3.462u);
  z39\0\7 = (15.658u,2.168u);
  z39\0\8c1 = (14.900u,6.857u);
  z39\0\8c2 = (10.471u,2.803u);
  z39\0\8 = (9.560u,5.783u);
  z39\0\9 = (9.877u,16.622u);
  fill_or_unfill z39\0\0s
    --z39\0\0
    ..controls z39\0\1c1 and z39\0\1c2..z39\0\1
    --z39\0\2
    --z39\0\3
    ..controls z39\0\4c1 and z39\0\4c2..z39\0\4
    ..controls z39\0\5c1 and z39\0\5c2..z39\0\5
    --z39\0\6
    --z39\0\7
    ..controls z39\0\8c1 and z39\0\8c2..z39\0\8
    --z39\0\9
    --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,
);
endchar;

beginchar (40, 6.504u#, 9.154u#, 0.000u#);
  "H8";
  z40\0\0s = (1.230u,8.976u);
  z40\0\0c1 = (-1.841u,7.034u);
  z40\0\0c2 = (2.810u,-0.876u);
  z40\0\0 = (5.515u,0.496u);
  z40\0\1c1 = (7.948u,1.732u);
  z40\0\1c2 = (5.260u,9.953u);
  z40\1\0s = (2.173u,8.465u);
  z40\1\0c1 = (5.218u,7.724u);
  z40\1\0c2 = (6.705u,1.155u);
  z40\1\0 = (4.567u,1.367u);
  z40\1\1c1 = (2.534u,1.569u);
  z40\1\1c2 = (-0.753u,7.702u);
  fill_or_unfill z40\0\0s
    ..controls z40\0\0c1 and z40\0\0c2..z40\0\0
    ..controls z40\0\1c1 and z40\0\1c2..cycle;
  fill_or_unfill z40\1\0s
    ..controls z40\1\0c1 and z40\1\0c2..z40\1\0
    ..controls z40\1\1c1 and z40\1\1c2..cycle;
  proof_labels (
    40\0\0,
    40\0\1,
    40\1\0,
    40\1\1,
);
endchar;