beginchar (32, 17.826u#, 11.322u#, 0.000u#);
  "K1";
  z32\0\0s = (7.950u,2.168u);
  z32\0\0 = (7.709u,3.372u);
  z32\0\1 = (13.490u,3.132u);
  z32\0\2 = (13.249u,4.577u);
  z32\0\3c1 = (14.478u,4.564u);
  z32\0\3c2 = (16.219u,3.298u);
  z32\0\3 = (16.809u,3.478u);
  z32\0\4c1 = (18.173u,3.893u);
  z32\0\4c2 = (18.199u,8.300u);
  z32\0\4 = (16.596u,8.234u);
  z32\0\5c1 = (16.087u,8.213u);
  z32\0\5c2 = (14.573u,7.254u);
  z32\0\5 = (13.972u,6.986u);
  z32\0\6 = (15.658u,10.840u);
  z32\0\7 = (4.599u,10.984u);
  z32\0\8 = (2.224u,8.314u);
  z32\0\9 = (0.151u,5.770u);
  z32\0\10 = (0.977u,4.649u);
  z32\0\11 = (3.854u,3.824u);
  z32\1\0s = (14.695u,10.118u);
  z32\1\0 = (12.965u,7.622u);
  z32\1\1 = (7.227u,8.879u);
  z32\1\2 = (3.854u,8.879u);
  z32\1\3c1 = (4.404u,10.103u);
  z32\1\3c2 = (4.632u,10.540u);
  z32\1\3 = (6.023u,10.595u);
  z32\1\4 = (11.563u,10.359u);
  z32\1\5c1 = (12.651u,10.354u);
  z32\1\5c2 = (13.628u,10.377u);
  z32\2\0s = (14.213u,6.263u);
  z32\2\0c1 = (13.467u,4.075u);
  z32\2\0c2 = (6.579u,3.849u);
  z32\2\0 = (4.577u,4.336u);
  z32\2\1c1 = (5.328u,6.107u);
  z32\2\1c2 = (6.796u,5.144u);
  z32\2\1 = (8.431u,5.541u);
  z32\2\2 = (4.336u,7.468u);
  z32\2\3c1 = (4.763u,3.555u);
  z32\2\3c2 = (2.912u,5.366u);
  z32\2\3 = (0.963u,5.781u);
  z32\2\4c1 = (3.214u,10.233u);
  z32\2\4c2 = (10.703u,7.612u);
  z32\3\0s = (16.622u,4.095u);
  z32\3\0c1 = (15.190u,4.801u);
  z32\3\0c2 = (14.997u,4.946u);
  z32\3\0 = (14.695u,6.504u);
  z32\3\1c1 = (17.436u,8.357u);
  z32\3\1c2 = (17.583u,6.170u);
  z32\4\0s = (2.650u,6.745u);
  z32\4\0 = (2.650u,6.022u);
  z32\4\1 = (3.372u,6.022u);
  z32\4\2 = (3.372u,6.745u);
  fill_or_unfill z32\0\0s
    --z32\0\0
    --z32\0\1
    --z32\0\2
    ..controls z32\0\3c1 and z32\0\3c2..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
    --z32\0\7
    --z32\0\8
    --z32\0\9
    --z32\0\10
    --z32\0\11
    --cycle;
  fill_or_unfill z32\1\0s
    --z32\1\0
    --z32\1\1
    --z32\1\2
    ..controls z32\1\3c1 and z32\1\3c2..z32\1\3
    --z32\1\4
    ..controls z32\1\5c1 and z32\1\5c2..cycle;
  fill_or_unfill z32\2\0s
    ..controls z32\2\0c1 and z32\2\0c2..z32\2\0
    ..controls z32\2\1c1 and z32\2\1c2..z32\2\1
    --z32\2\2
    ..controls z32\2\3c1 and z32\2\3c2..z32\2\3
    ..controls z32\2\4c1 and z32\2\4c2..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
    --z32\4\1
    --z32\4\2
    --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\1\0,
    32\1\1,
    32\1\2,
    32\1\3,
    32\1\4,
    32\1\5,
    32\2\0,
    32\2\1,
    32\2\2,
    32\2\3,
    32\2\4,
    32\3\0,
    32\3\1,
    32\4\0,
    32\4\1,
    32\4\2,
    32\4\3,
);
endchar;

beginchar (33, 17.345u#, 9.877u#, 0.000u#);
  "K2";
  z33\0\0s = (6.745u,2.409u);
  z33\0\0 = (6.745u,3.613u);
  z33\0\1 = (6.986u,3.854u);
  z33\0\2 = (10.840u,3.563u);
  z33\0\3 = (13.731u,2.650u);
  z33\0\4 = (13.972u,2.891u);
  z33\0\5 = (13.731u,3.854u);
  z33\0\6 = (17.345u,2.650u);
  z33\0\7c1 = (16.604u,5.318u);
  z33\0\7c2 = (16.597u,3.690u);
  z33\0\7 = (17.345u,6.263u);
  z33\0\8 = (14.936u,5.653u);
  z33\0\9 = (6.504u,8.431u);
  z33\0\10 = (7.227u,9.877u);
  z33\0\11c1 = (5.988u,9.745u);
  z33\0\11c2 = (-0.275u,7.398u);
  z33\0\11 = (0.337u,5.829u);
  z33\0\12c1 = (0.698u,4.904u);
  z33\0\12c2 = (2.337u,4.820u);
  z33\0\12 = (3.132u,4.381u);
  z33\0\13c1 = (4.497u,3.627u);
  z33\0\13c2 = (5.121u,2.816u);
  z33\1\0s = (5.781u,8.672u);
  z33\1\0c1 = (6.510u,7.425u);
  z33\1\0c2 = (7.473u,7.547u);
  z33\1\0 = (8.672u,7.010u);
  z33\1\1c1 = (11.535u,5.729u);
  z33\1\1c2 = (12.636u,4.957u);
  z33\1\1 = (15.899u,5.059u);
  z33\1\2 = (15.899u,4.336u);
  z33\1\3c1 = (12.044u,4.648u);
  z33\1\3c2 = (7.775u,3.716u);
  z33\1\3 = (4.095u,5.059u);
  z33\1\4 = (4.336u,6.986u);
  z33\1\5c1 = (3.010u,5.673u);
  z33\1\5c2 = (3.271u,4.502u);
  z33\1\5 = (0.963u,6.022u);
  z33\1\6 = (2.409u,6.986u);
  z33\1\7 = (2.168u,6.263u);
  z33\1\8 = (2.409u,6.022u);
  z33\1\9 = (2.891u,6.022u);
  z33\1\10 = (2.409u,7.227u);
  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
    --z33\0\8
    --z33\0\9
    --z33\0\10
    ..controls z33\0\11c1 and z33\0\11c2..z33\0\11
    ..controls z33\0\12c1 and z33\0\12c2..z33\0\12
    ..controls z33\0\13c1 and z33\0\13c2..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..z33\1\1
    --z33\1\2
    ..controls z33\1\3c1 and z33\1\3c2..z33\1\3
    --z33\1\4
    ..controls z33\1\5c1 and z33\1\5c2..z33\1\5
    --z33\1\6
    --z33\1\7
    --z33\1\8
    --z33\1\9
    --z33\1\10
    --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\1\0,
    33\1\1,
    33\1\2,
    33\1\3,
    33\1\4,
    33\1\5,
    33\1\6,
    33\1\7,
    33\1\8,
    33\1\9,
    33\1\10,
    33\1\11,
);
endchar;

beginchar (34, 17.345u#, 8.913u#, 0.000u#);
  "K3";
  z34\0\0s = (16.863u,1.927u);
  z34\0\0 = (15.177u,4.095u);
  z34\0\1 = (17.345u,5.541u);
  z34\0\2 = (13.009u,5.541u);
  z34\0\3 = (13.249u,6.263u);
  z34\0\4 = (9.877u,6.745u);
  z34\0\5 = (10.600u,8.191u);
  z34\0\6c1 = (9.412u,8.180u);
  z34\0\6c2 = (8.143u,7.806u);
  z34\0\6 = (6.986u,7.966u);
  z34\0\7c1 = (5.173u,8.216u);
  z34\0\7c2 = (3.586u,9.012u);
  z34\0\7 = (1.686u,8.903u);
  z34\0\8c1 = (-1.904u,8.696u);
  z34\0\8c2 = (1.549u,6.424u);
  z34\0\8 = (2.384u,5.691u);
  z34\0\9c1 = (2.911u,5.228u);
  z34\0\9c2 = (3.292u,4.482u);
  z34\0\9 = (3.901u,4.141u);
  z34\0\10c1 = (4.598u,3.751u);
  z34\0\10c2 = (5.469u,4.186u);
  z34\0\10 = (6.267u,3.999u);
  z34\0\11c1 = (6.876u,3.857u);
  z34\0\11c2 = (7.639u,3.670u);
  z34\0\11 = (8.191u,3.378u);
  z34\0\12c1 = (8.737u,3.088u);
  z34\0\12c2 = (9.289u,2.479u);
  z34\0\12 = (9.877u,2.346u);
  z34\0\13 = (13.351u,2.835u);
  z34\0\14c1 = (14.494u,2.971u);
  z34\0\14c2 = (15.652u,2.055u);
  z34\1\0s = (2.650u,8.191u);
  z34\1\0 = (2.409u,7.227u);
  z34\1\1 = (3.132u,7.227u);
  z34\1\2 = (2.891u,8.191u);
  z34\1\3c1 = (4.739u,8.035u);
  z34\1\3c2 = (12.704u,5.622u);
  z34\1\3 = (13.249u,4.095u);
  z34\1\4c1 = (11.225u,4.188u);
  z34\1\4c2 = (5.921u,4.067u);
  z34\1\4 = (4.818u,5.781u);
  z34\1\5c1 = (5.980u,5.606u);
  z34\1\5c2 = (6.741u,5.088u);
  z34\1\5 = (7.468u,6.263u);
  z34\1\6 = (4.577u,7.468u);
  z34\1\7c1 = (4.329u,4.499u);
  z34\1\7c2 = (1.923u,6.885u);
  z34\1\7 = (1.204u,8.191u);
  z34\2\0s = (14.454u,4.577u);
  z34\2\0 = (14.454u,3.613u);
  z34\3\0s = (10.840u,3.613u);
  z34\3\0 = (9.636u,3.613u);
  fill_or_unfill z34\0\0s
    --z34\0\0
    --z34\0\1
    --z34\0\2
    --z34\0\3
    --z34\0\4
    --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..z34\0\9
    ..controls z34\0\10c1 and z34\0\10c2..z34\0\10
    ..controls z34\0\11c1 and z34\0\11c2..z34\0\11
    ..controls z34\0\12c1 and z34\0\12c2..z34\0\12
    --z34\0\13
    ..controls z34\0\14c1 and z34\0\14c2..cycle;
  fill_or_unfill z34\1\0s
    --z34\1\0
    --z34\1\1
    --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..z34\1\5
    --z34\1\6
    ..controls z34\1\7c1 and z34\1\7c2..z34\1\7
    --cycle;
  fill_or_unfill z34\2\0s
    --z34\2\0
    --cycle;
  fill_or_unfill z34\3\0s
    --z34\3\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\0\10,
    34\0\11,
    34\0\12,
    34\0\13,
    34\0\14,
    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\2\0,
    34\2\1,
    34\3\0,
    34\3\1,
);
endchar;

beginchar (35, 19.272u#, 10.600u#, 0.000u#);
  "K4";
  z35\0\0s = (0.000u,6.986u);
  z35\0\0 = (2.650u,7.141u);
  z35\0\1 = (6.263u,5.059u);
  z35\0\2c1 = (7.953u,6.527u);
  z35\0\2c2 = (11.148u,4.109u);
  z35\0\2 = (12.768u,3.372u);
  z35\0\3 = (12.768u,4.577u);
  z35\0\4 = (15.658u,3.440u);
  z35\0\5 = (18.308u,1.686u);
  z35\0\6 = (17.826u,3.854u);
  z35\0\7 = (19.272u,5.059u);
  z35\0\8 = (14.213u,6.504u);
  z35\0\9c1 = (15.608u,10.287u);
  z35\0\9c2 = (1.928u,12.642u);
  z35\1\0s = (7.709u,9.877u);
  z35\1\0c1 = (9.677u,9.518u);
  z35\1\0c2 = (12.401u,9.114u);
  z35\1\0 = (13.490u,7.227u);
  z35\1\1 = (7.468u,9.636u);
  z35\2\0s = (4.095u,9.395u);
  z35\2\0 = (4.818u,7.950u);
  z35\2\1 = (1.204u,7.709u);
  z35\2\2c1 = (1.876u,8.978u);
  z35\2\2c2 = (2.776u,9.126u);
  z35\3\0s = (17.586u,4.577u);
  z35\3\0 = (17.345u,3.132u);
  z35\3\1 = (14.454u,4.638u);
  z35\3\2 = (5.484u,7.108u);
  z35\3\3 = (5.059u,9.395u);
  z35\3\4c1 = (10.828u,8.928u);
  z35\3\4c2 = (14.170u,4.962u);
  fill_or_unfill z35\0\0s
    --z35\0\0
    --z35\0\1
    ..controls z35\0\2c1 and z35\0\2c2..z35\0\2
    --z35\0\3
    --z35\0\4
    --z35\0\5
    --z35\0\6
    --z35\0\7
    --z35\0\8
    ..controls z35\0\9c1 and z35\0\9c2..cycle;
  fill_or_unfill z35\1\0s
    ..controls z35\1\0c1 and z35\1\0c2..z35\1\0
    --z35\1\1
    --cycle;
  fill_or_unfill z35\2\0s
    --z35\2\0
    --z35\2\1
    ..controls z35\2\2c1 and z35\2\2c2..cycle;
  fill_or_unfill z35\3\0s
    --z35\3\0
    --z35\3\1
    --z35\3\2
    --z35\3\3
    ..controls z35\3\4c1 and z35\3\4c2..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\1\0,
    35\1\1,
    35\1\2,
    35\2\0,
    35\2\1,
    35\2\2,
    35\3\0,
    35\3\1,
    35\3\2,
    35\3\3,
    35\3\4,
);
endchar;

beginchar (36, 17.586u#, 6.504u#, 0.000u#);
  "K5";
  z36\0\0s = (6.504u,1.487u);
  z36\0\0 = (9.636u,1.487u);
  z36\0\1 = (12.768u,1.204u);
  z36\0\2 = (12.527u,2.409u);
  z36\0\3 = (17.345u,1.445u);
  z36\0\4 = (17.586u,4.818u);
  z36\0\5 = (17.345u,5.059u);
  z36\0\6 = (11.563u,4.818u);
  z36\0\7 = (12.045u,6.022u);
  z36\0\8c1 = (9.988u,6.410u);
  z36\0\8c2 = (7.378u,6.873u);
  z36\0\8 = (5.300u,6.410u);
  z36\0\9 = (2.650u,5.392u);
  z36\0\10c1 = (1.882u,5.172u);
  z36\0\10c2 = (0.039u,4.780u);
  z36\0\10 = (0.358u,3.620u);
  z36\0\11c1 = (0.666u,2.505u);
  z36\0\11c2 = (2.280u,2.410u);
  z36\0\11 = (3.132u,1.947u);
  z36\0\12c1 = (4.149u,1.393u);
  z36\0\12c2 = (5.825u,-0.486u);
  z36\1\0s = (10.600u,5.781u);
  z36\1\0 = (10.600u,5.300u);
  z36\1\1 = (7.950u,5.781u);
  z36\2\0s = (15.899u,3.854u);
  z36\2\0 = (15.899u,2.650u);
  z36\2\1c1 = (12.133u,4.062u);
  z36\2\1c2 = (8.133u,0.891u);
  z36\2\1 = (4.336u,2.650u);
  z36\2\2 = (7.227u,3.132u);
  z36\2\3 = (3.372u,4.336u);
  z36\2\4 = (3.613u,2.891u);
  z36\2\5 = (0.963u,3.372u);
  z36\2\6c1 = (1.402u,4.697u);
  z36\2\6c2 = (1.922u,4.620u);
  z36\2\6 = (2.891u,3.854u);
  z36\2\7 = (2.409u,4.577u);
  z36\2\8c1 = (5.598u,6.203u);
  z36\2\8c2 = (9.093u,4.683u);
  z36\2\8 = (12.286u,4.049u);
  z36\2\9c1 = (13.490u,3.810u);
  z36\2\9c2 = (14.679u,3.854u);
  fill_or_unfill z36\0\0s
    --z36\0\0
    --z36\0\1
    --z36\0\2
    --z36\0\3
    --z36\0\4
    --z36\0\5
    --z36\0\6
    --z36\0\7
    ..controls z36\0\8c1 and z36\0\8c2..z36\0\8
    --z36\0\9
    ..controls z36\0\10c1 and z36\0\10c2..z36\0\10
    ..controls z36\0\11c1 and z36\0\11c2..z36\0\11
    ..controls z36\0\12c1 and z36\0\12c2..cycle;
  fill_or_unfill z36\1\0s
    --z36\1\0
    --z36\1\1
    --cycle;
  fill_or_unfill z36\2\0s
    --z36\2\0
    ..controls z36\2\1c1 and z36\2\1c2..z36\2\1
    --z36\2\2
    --z36\2\3
    --z36\2\4
    --z36\2\5
    ..controls z36\2\6c1 and z36\2\6c2..z36\2\6
    --z36\2\7
    ..controls z36\2\8c1 and z36\2\8c2..z36\2\8
    ..controls z36\2\9c1 and z36\2\9c2..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\1\0,
    36\1\1,
    36\1\2,
    36\2\0,
    36\2\1,
    36\2\2,
    36\2\3,
    36\2\4,
    36\2\5,
    36\2\6,
    36\2\7,
    36\2\8,
    36\2\9,
);
endchar;

beginchar (37, 14.454u#, 14.213u#, 0.000u#);
  "K7";
  z37\0\0s = (9.395u,1.204u);
  z37\0\0 = (8.672u,3.372u);
  z37\0\1c1 = (10.488u,2.753u);
  z37\0\1c2 = (11.291u,0.639u);
  z37\0\1 = (12.767u,0.451u);
  z37\0\2c1 = (14.650u,0.211u);
  z37\0\2c2 = (15.712u,3.045u);
  z37\0\2 = (11.563u,4.577u);
  z37\0\3c1 = (12.508u,6.882u);
  z37\0\3c2 = (10.973u,6.446u);
  z37\0\3 = (10.097u,8.194u);
  z37\0\4c1 = (9.613u,9.160u);
  z37\0\4c2 = (9.405u,10.181u);
  z37\0\4 = (8.760u,11.081u);
  z37\0\5c1 = (7.634u,12.654u);
  z37\0\5c2 = (3.614u,14.974u);
  z37\0\5 = (1.758u,13.676u);
  z37\0\6c1 = (1.165u,13.261u);
  z37\0\6c2 = (1.007u,12.447u);
  z37\0\6 = (0.768u,11.804u);
  z37\0\7c1 = (-0.131u,9.379u);
  z37\0\7c2 = (-0.401u,7.539u);
  z37\0\7 = (1.708u,5.591u);
  z37\0\8c1 = (2.860u,4.528u);
  z37\0\8c2 = (4.147u,4.382u);
  z37\0\8 = (5.516u,3.823u);
  z37\0\9c1 = (7.091u,3.178u);
  z37\0\9c2 = (6.677u,1.517u);
  z37\1\0s = (11.322u,5.781u);
  z37\1\0 = (10.600u,5.541u);
  z37\1\1c1 = (10.694u,5.091u);
  z37\1\1c2 = (10.903u,4.449u);
  z37\1\1 = (10.452u,4.110u);
  z37\1\2c1 = (9.865u,3.668u);
  z37\1\2c2 = (4.449u,4.820u);
  z37\1\2 = (3.613u,5.187u);
  z37\1\3c1 = (2.933u,5.485u);
  z37\1\3c2 = (2.238u,5.975u);
  z37\1\3 = (1.740u,6.526u);
  z37\1\4c1 = (-0.702u,9.226u);
  z37\1\4c2 = (1.792u,10.658u);
  z37\1\4 = (2.168u,13.009u);
  z37\1\5c1 = (9.898u,12.975u);
  z37\1\5c2 = (7.147u,9.477u);
  z37\2\0s = (11.399u,3.659u);
  z37\2\0c1 = (13.579u,3.626u);
  z37\2\0c2 = (14.522u,1.215u);
  z37\2\0 = (12.983u,1.094u);
  z37\2\1c1 = (11.925u,1.010u);
  z37\2\1c2 = (10.315u,2.838u);
  z37\3\0s = (8.191u,2.409u);
  z37\3\0 = (6.986u,3.613u);
  fill_or_unfill z37\0\0s
    --z37\0\0
    ..controls z37\0\1c1 and z37\0\1c2..z37\0\1
    ..controls z37\0\2c1 and z37\0\2c2..z37\0\2
    ..controls z37\0\3c1 and z37\0\3c2..z37\0\3
    ..controls z37\0\4c1 and z37\0\4c2..z37\0\4
    ..controls z37\0\5c1 and z37\0\5c2..z37\0\5
    ..controls z37\0\6c1 and z37\0\6c2..z37\0\6
    ..controls z37\0\7c1 and z37\0\7c2..z37\0\7
    ..controls z37\0\8c1 and z37\0\8c2..z37\0\8
    ..controls z37\0\9c1 and z37\0\9c2..cycle;
  fill_or_unfill z37\1\0s
    --z37\1\0
    ..controls z37\1\1c1 and z37\1\1c2..z37\1\1
    ..controls z37\1\2c1 and z37\1\2c2..z37\1\2
    ..controls z37\1\3c1 and z37\1\3c2..z37\1\3
    ..controls z37\1\4c1 and z37\1\4c2..z37\1\4
    ..controls z37\1\5c1 and z37\1\5c2..cycle;
  fill_or_unfill z37\2\0s
    ..controls z37\2\0c1 and z37\2\0c2..z37\2\0
    ..controls z37\2\1c1 and z37\2\1c2..cycle;
  fill_or_unfill z37\3\0s
    --z37\3\0
    --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\0\8,
    37\0\9,
    37\1\0,
    37\1\1,
    37\1\2,
    37\1\3,
    37\1\4,
    37\1\5,
    37\2\0,
    37\2\1,
    37\3\0,
    37\3\1,
);
endchar;

beginchar (38, 8.913u#, 14.213u#, 0.000u#);
  "K6";
  z38\0\0s = (3.372u,14.213u);
  z38\0\0c1 = (3.369u,10.277u);
  z38\0\0c2 = (2.134u,10.448u);
  z38\0\0 = (0.000u,7.709u);
  z38\0\1c1 = (1.386u,6.723u);
  z38\0\1c2 = (2.381u,6.002u);
  z38\0\1 = (2.997u,4.336u);
  z38\0\2c1 = (3.235u,3.693u);
  z38\0\2c2 = (3.283u,1.837u);
  z38\0\2 = (3.930u,1.634u);
  z38\0\3c1 = (4.460u,1.468u);
  z38\0\3c2 = (5.342u,1.961u);
  z38\0\3 = (5.781u,2.233u);
  z38\0\4c1 = (10.873u,5.386u);
  z38\0\4c2 = (9.550u,14.055u);
  z38\1\0s = (4.336u,2.409u);
  z38\1\0 = (3.285u,5.541u);
  z38\1\1 = (1.445u,8.191u);
  z38\1\2c1 = (3.523u,9.800u);
  z38\1\2c2 = (3.703u,10.869u);
  z38\1\2 = (4.336u,13.249u);
  z38\1\3c1 = (9.721u,11.532u);
  z38\1\3c2 = (9.224u,4.593u);
  fill_or_unfill z38\0\0s
    ..controls z38\0\0c1 and z38\0\0c2..z38\0\0
    ..controls z38\0\1c1 and z38\0\1c2..z38\0\1
    ..controls z38\0\2c1 and z38\0\2c2..z38\0\2
    ..controls z38\0\3c1 and z38\0\3c2..z38\0\3
    ..controls z38\0\4c1 and z38\0\4c2..cycle;
  fill_or_unfill z38\1\0s
    --z38\1\0
    --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\1\0,
    38\1\1,
    38\1\2,
    38\1\3,
);
endchar;