beginchar (32, 19.513u#, 13.490u#, 0.000u#);
  "P1";
  z32\0\0s = (13.249u,13.490u);
  z32\0\0c1 = (14.133u,10.693u);
  z32\0\0c2 = (16.274u,8.129u);
  z32\0\0 = (12.045u,6.986u);
  z32\0\1c1 = (12.302u,7.813u);
  z32\0\1c2 = (13.292u,10.905u);
  z32\0\1 = (11.318u,10.359u);
  z32\0\2c1 = (10.676u,10.182u);
  z32\0\2c2 = (10.195u,9.659u);
  z32\0\2 = (9.636u,9.327u);
  z32\0\3c1 = (8.108u,8.419u);
  z32\0\3c2 = (7.221u,8.977u);
  z32\0\3 = (6.745u,6.745u);
  z32\0\4 = (0.241u,8.672u);
  z32\0\5c1 = (-0.099u,6.644u);
  z32\0\5c2 = (3.070u,6.264u);
  z32\0\5 = (4.577u,5.781u);
  z32\0\6 = (4.336u,3.613u);
  z32\0\7 = (15.658u,3.613u);
  z32\0\8 = (15.658u,5.541u);
  z32\0\9 = (13.731u,5.541u);
  z32\0\10 = (16.863u,7.227u);
  z32\0\11c1 = (17.363u,5.345u);
  z32\0\11c2 = (17.401u,4.400u);
  z32\0\11 = (19.272u,3.372u);
  z32\0\12c1 = (19.717u,5.092u);
  z32\0\12c2 = (18.824u,6.392u);
  z32\0\12 = (17.345u,7.227u);
  z32\0\13 = (17.345u,7.709u);
  z32\0\14 = (19.031u,8.672u);
  z32\0\15 = (18.790u,9.877u);
  z32\0\16c1 = (18.242u,9.819u);
  z32\0\16c2 = (17.083u,9.442u);
  z32\0\16 = (16.647u,9.552u);
  z32\0\17c1 = (14.571u,10.078u);
  z32\0\17c2 = (16.400u,12.776u);
  z32\1\0s = (11.804u,9.877u);
  z32\1\0c1 = (12.026u,8.990u);
  z32\1\0c2 = (11.987u,8.794u);
  z32\1\0 = (11.627u,7.951u);
  z32\1\1c1 = (10.750u,5.898u);
  z32\1\1c2 = (9.429u,6.504u);
  z32\1\1 = (7.468u,6.504u);
  z32\1\2c1 = (7.770u,8.349u);
  z32\1\2c2 = (8.531u,7.987u);
  z32\1\2 = (9.877u,8.704u);
  z32\2\0s = (15.417u,9.395u);
  z32\2\0 = (15.899u,8.672u);
  z32\2\1 = (15.177u,8.431u);
  z32\3\0s = (17.345u,8.672u);
  z32\4\0s = (16.140u,7.950u);
  z32\4\0c1 = (13.297u,5.027u);
  z32\4\0c2 = (9.738u,5.291u);
  z32\4\0 = (6.022u,5.781u);
  z32\4\1 = (10.359u,6.004u);
  z32\5\0s = (5.781u,6.144u);
  z32\6\0s = (18.067u,6.022u);
  z32\6\0 = (18.549u,4.818u);
  z32\7\0s = (14.936u,4.818u);
  z32\7\0 = (14.936u,4.336u);
  z32\7\1 = (5.059u,4.336u);
  z32\7\2 = (5.059u,4.818u);
  fill_or_unfill z32\0\0s
    ..controls z32\0\0c1 and z32\0\0c2..z32\0\0
    ..controls z32\0\1c1 and z32\0\1c2..z32\0\1
    ..controls z32\0\2c1 and z32\0\2c2..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
    --z32\0\7
    --z32\0\8
    --z32\0\9
    --z32\0\10
    ..controls z32\0\11c1 and z32\0\11c2..z32\0\11
    ..controls z32\0\12c1 and z32\0\12c2..z32\0\12
    --z32\0\13
    --z32\0\14
    --z32\0\15
    ..controls z32\0\16c1 and z32\0\16c2..z32\0\16
    ..controls z32\0\17c1 and z32\0\17c2..cycle;
  fill_or_unfill z32\1\0s
    ..controls z32\1\0c1 and z32\1\0c2..z32\1\0
    ..controls z32\1\1c1 and z32\1\1c2..z32\1\1
    ..controls z32\1\2c1 and z32\1\2c2..z32\1\2
    --cycle;
  fill_or_unfill z32\2\0s
    --z32\2\0
    --z32\2\1
    --cycle;
  fill_or_unfill z32\3\0s
    --cycle;
  fill_or_unfill z32\4\0s
    ..controls z32\4\0c1 and z32\4\0c2..z32\4\0
    --z32\4\1
    --cycle;
  fill_or_unfill z32\5\0s
    --cycle;
  fill_or_unfill z32\6\0s
    --z32\6\0
    --cycle;
  fill_or_unfill z32\7\0s
    --z32\7\0
    --z32\7\1
    --z32\7\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\0\13,
    32\0\14,
    32\0\15,
    32\0\16,
    32\0\17,
    32\1\0,
    32\1\1,
    32\1\2,
    32\1\3,
    32\2\0,
    32\2\1,
    32\2\2,
    32\3\0,
    32\4\0,
    32\4\1,
    32\4\2,
    32\5\0,
    32\6\0,
    32\6\1,
    32\7\0,
    32\7\1,
    32\7\2,
    32\7\3,
);
endchar;

beginchar (33, 19.513u#, 12.045u#, 0.000u#);
  "(P1)";
  z33\0\0s = (0.482u,12.045u);
  z33\0\0c1 = (-0.451u,9.793u);
  z33\0\0c2 = (1.314u,9.225u);
  z33\0\0 = (2.168u,7.468u);
  z33\0\1c1 = (1.031u,7.006u);
  z33\0\1c2 = (0.756u,6.788u);
  z33\0\1 = (0.963u,5.541u);
  z33\0\2 = (3.372u,6.263u);
  z33\0\3 = (4.742u,2.596u);
  z33\0\4 = (5.541u,2.409u);
  z33\0\5 = (6.263u,1.927u);
  z33\0\6c1 = (5.442u,4.742u);
  z33\0\6c2 = (3.218u,7.376u);
  z33\0\6 = (7.709u,8.431u);
  z33\0\7c1 = (7.375u,7.620u);
  z33\0\7c2 = (6.897u,6.956u);
  z33\0\7 = (7.044u,6.027u);
  z33\0\8c1 = (7.405u,3.751u);
  z33\0\8c2 = (9.242u,5.736u);
  z33\0\8 = (10.127u,6.162u);
  z33\0\9c1 = (10.738u,6.456u);
  z33\0\9c2 = (11.437u,6.495u);
  z33\0\9 = (11.992u,6.919u);
  z33\0\10c1 = (12.551u,7.348u);
  z33\0\10c2 = (12.804u,8.271u);
  z33\0\10 = (13.522u,8.405u);
  z33\0\11c1 = (14.819u,8.646u);
  z33\0\11c2 = (17.756u,6.843u);
  z33\0\11 = (19.513u,6.745u);
  z33\0\12c1 = (19.347u,8.740u);
  z33\0\12c2 = (16.564u,9.092u);
  z33\0\12 = (14.936u,9.636u);
  z33\0\13 = (15.417u,11.804u);
  z33\0\14 = (3.854u,11.804u);
  z33\0\15 = (3.854u,9.877u);
  z33\0\16 = (5.781u,9.877u);
  z33\0\17 = (2.650u,8.191u);
  z33\0\18c1 = (2.320u,9.934u);
  z33\0\18c2 = (2.083u,11.043u);
  z33\1\0s = (14.454u,11.081u);
  z33\1\0 = (14.454u,10.600u);
  z33\1\1 = (4.577u,10.600u);
  z33\1\2 = (4.577u,11.081u);
  z33\2\0s = (1.204u,10.276u);
  z33\3\0s = (1.686u,9.877u);
  z33\4\0s = (14.454u,9.154u);
  z33\4\0 = (10.359u,9.546u);
  z33\4\1 = (3.372u,7.227u);
  z33\4\2c1 = (5.146u,10.299u);
  z33\4\2c2 = (11.567u,10.487u);
  z33\5\0s = (8.945u,8.810u);
  z33\5\0c1 = (9.613u,8.917u);
  z33\5\0c2 = (13.458u,9.054u);
  z33\5\0 = (11.487u,7.432u);
  z33\5\1c1 = (11.045u,7.068u);
  z33\5\1c2 = (10.381u,6.982u);
  z33\5\1 = (9.877u,6.714u);
  z33\5\2c1 = (9.395u,6.457u);
  z33\5\2c2 = (8.956u,5.994u);
  z33\5\2 = (8.445u,5.818u);
  z33\5\3c1 = (6.691u,5.214u);
  z33\5\3c2 = (8.071u,8.358u);
  z33\6\0s = (2.409u,6.867u);
  z33\7\0s = (4.577u,6.986u);
  z33\7\0 = (4.577u,5.781u);
  z33\7\1 = (4.095u,6.986u);
  fill_or_unfill z33\0\0s
    ..controls z33\0\0c1 and z33\0\0c2..z33\0\0
    ..controls z33\0\1c1 and z33\0\1c2..z33\0\1
    --z33\0\2
    --z33\0\3
    --z33\0\4
    --z33\0\5
    ..controls z33\0\6c1 and z33\0\6c2..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
    ..controls z33\0\10c1 and z33\0\10c2..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
    --z33\0\13
    --z33\0\14
    --z33\0\15
    --z33\0\16
    --z33\0\17
    ..controls z33\0\18c1 and z33\0\18c2..cycle;
  fill_or_unfill z33\1\0s
    --z33\1\0
    --z33\1\1
    --z33\1\2
    --cycle;
  fill_or_unfill z33\2\0s
    --cycle;
  fill_or_unfill z33\3\0s
    --cycle;
  fill_or_unfill z33\4\0s
    --z33\4\0
    --z33\4\1
    ..controls z33\4\2c1 and z33\4\2c2..cycle;
  fill_or_unfill z33\5\0s
    ..controls z33\5\0c1 and z33\5\0c2..z33\5\0
    ..controls z33\5\1c1 and z33\5\1c2..z33\5\1
    ..controls z33\5\2c1 and z33\5\2c2..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
    --z33\7\1
    --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\1\0,
    33\1\1,
    33\1\2,
    33\1\3,
    33\2\0,
    33\3\0,
    33\4\0,
    33\4\1,
    33\4\2,
    33\5\0,
    33\5\1,
    33\5\2,
    33\5\3,
    33\6\0,
    33\7\0,
    33\7\1,
    33\7\2,
);
endchar;

beginchar (34, 17.345u#, 15.417u#, 0.000u#);
  "P2";
  z34\0\0s = (9.395u,15.417u);
  z34\0\0 = (9.395u,14.213u);
  z34\0\1c1 = (7.985u,14.209u);
  z34\0\1c2 = (5.383u,14.291u);
  z34\0\1 = (4.577u,13.009u);
  z34\0\2c1 = (7.108u,12.101u);
  z34\0\2c2 = (6.361u,8.903u);
  z34\0\2 = (5.257u,8.577u);
  z34\0\3c1 = (4.129u,8.244u);
  z34\0\3c2 = (4.286u,10.256u);
  z34\0\3 = (3.118u,10.062u);
  z34\0\4c1 = (2.773u,10.004u);
  z34\0\4c2 = (2.018u,9.532u);
  z34\0\4 = (1.687u,9.341u);
  z34\0\5c1 = (-1.164u,7.697u);
  z34\0\5c2 = (0.303u,5.519u);
  z34\0\5 = (2.409u,4.095u);
  z34\0\6 = (0.963u,3.372u);
  z34\0\7 = (0.963u,1.445u);
  z34\0\8 = (16.622u,1.445u);
  z34\0\9 = (16.622u,3.372u);
  z34\0\10 = (13.490u,3.372u);
  z34\0\11c1 = (16.391u,5.017u);
  z34\0\11c2 = (18.246u,5.133u);
  z34\0\11 = (17.104u,9.154u);
  z34\0\12 = (16.622u,9.154u);
  z34\0\13c1 = (16.253u,8.431u);
  z34\0\13c2 = (15.972u,7.167u);
  z34\0\13 = (15.484u,6.607u);
  z34\0\14c1 = (14.608u,5.601u);
  z34\0\14c2 = (11.201u,5.071u);
  z34\0\14 = (9.877u,5.059u);
  z34\0\15c1 = (9.894u,9.527u);
  z34\0\15c2 = (13.590u,6.078u);
  z34\0\15 = (15.417u,8.431u);
  z34\0\16 = (13.972u,8.191u);
  z34\0\17 = (13.731u,8.431u);
  z34\0\18c1 = (14.741u,10.737u);
  z34\0\18c2 = (14.438u,10.932u);
  z34\0\18 = (13.972u,13.249u);
  z34\0\19 = (15.417u,13.249u);
  z34\0\20 = (9.877u,14.213u);
  z34\0\21 = (9.877u,15.417u);
  z34\1\0s = (9.395u,13.490u);
  z34\1\0c1 = (9.395u,10.577u);
  z34\1\0c2 = (10.553u,6.972u);
  z34\1\0 = (6.263u,8.191u);
  z34\1\1c1 = (6.970u,10.816u);
  z34\1\1c2 = (7.341u,10.535u);
  z34\1\1 = (6.263u,13.249u);
  z34\2\0s = (9.877u,13.490u);
  z34\2\0 = (11.081u,13.490u);
  z34\2\1c1 = (13.686u,13.441u);
  z34\2\1c2 = (14.603u,10.609u);
  z34\2\1 = (13.081u,8.727u);
  z34\2\2c1 = (11.966u,7.347u);
  z34\2\2c2 = (9.916u,7.598u);
  z34\2\2 = (9.877u,9.636u);
  z34\3\0s = (3.613u,9.154u);
  z34\3\0 = (2.409u,8.672u);
  z34\4\0s = (3.372u,5.541u);
  z34\4\0c1 = (3.028u,5.643u);
  z34\4\0c2 = (2.742u,5.696u);
  z34\4\0 = (2.444u,5.925u);
  z34\4\1c1 = (-0.055u,7.838u);
  z34\4\1c2 = (4.859u,9.118u);
  z34\5\0s = (9.395u,5.059u);
  z34\5\0 = (8.191u,4.896u);
  z34\5\1c1 = (7.608u,4.851u);
  z34\5\1c2 = (7.079u,4.963u);
  z34\5\1 = (6.504u,5.018u);
  z34\5\2c1 = (6.077u,5.059u);
  z34\5\2c2 = (5.254u,5.023u);
  z34\5\2 = (4.894u,5.203u);
  z34\5\3c1 = (3.882u,5.710u);
  z34\5\3c2 = (4.824u,7.098u);
  z34\5\3 = (5.551u,7.394u);
  z34\5\4c1 = (6.131u,7.630u);
  z34\5\4c2 = (8.745u,7.557u);
  z34\5\4 = (9.156u,7.049u);
  z34\5\5c1 = (9.475u,6.654u);
  z34\5\5c2 = (9.395u,5.564u);
  z34\6\0s = (16.863u,7.468u);
  z34\6\0c1 = (16.188u,2.819u);
  z34\6\0c2 = (8.016u,3.080u);
  z34\6\0 = (4.577u,3.854u);
  z34\6\1 = (4.818u,4.577u);
  z34\6\2c1 = (7.278u,3.979u);
  z34\6\2c2 = (13.601u,4.382u);
  z34\6\2 = (15.624u,5.949u);
  z34\6\3c1 = (16.143u,6.351u);
  z34\6\3c2 = (16.441u,6.973u);
  z34\7\0s = (3.372u,3.854u);
  z34\8\0s = (15.899u,2.650u);
  z34\8\0 = (15.899u,2.168u);
  z34\8\1 = (1.686u,2.168u);
  z34\8\2 = (1.686u,2.650u);
  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
    --z34\0\6
    --z34\0\7
    --z34\0\8
    --z34\0\9
    --z34\0\10
    ..controls z34\0\11c1 and z34\0\11c2..z34\0\11
    --z34\0\12
    ..controls z34\0\13c1 and z34\0\13c2..z34\0\13
    ..controls z34\0\14c1 and z34\0\14c2..z34\0\14
    ..controls z34\0\15c1 and z34\0\15c2..z34\0\15
    --z34\0\16
    --z34\0\17
    ..controls z34\0\18c1 and z34\0\18c2..z34\0\18
    --z34\0\19
    --z34\0\20
    --z34\0\21
    --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
    --cycle;
  fill_or_unfill z34\2\0s
    --z34\2\0
    ..controls z34\2\1c1 and z34\2\1c2..z34\2\1
    ..controls z34\2\2c1 and z34\2\2c2..z34\2\2
    --cycle;
  fill_or_unfill z34\3\0s
    --z34\3\0
    --cycle;
  fill_or_unfill z34\4\0s
    ..controls z34\4\0c1 and z34\4\0c2..z34\4\0
    ..controls z34\4\1c1 and z34\4\1c2..cycle;
  fill_or_unfill z34\5\0s
    --z34\5\0
    ..controls z34\5\1c1 and z34\5\1c2..z34\5\1
    ..controls z34\5\2c1 and z34\5\2c2..z34\5\2
    ..controls z34\5\3c1 and z34\5\3c2..z34\5\3
    ..controls z34\5\4c1 and z34\5\4c2..z34\5\4
    ..controls z34\5\5c1 and z34\5\5c2..cycle;
  fill_or_unfill z34\6\0s
    ..controls z34\6\0c1 and z34\6\0c2..z34\6\0
    --z34\6\1
    ..controls z34\6\2c1 and z34\6\2c2..z34\6\2
    ..controls z34\6\3c1 and z34\6\3c2..cycle;
  fill_or_unfill z34\7\0s
    --cycle;
  fill_or_unfill z34\8\0s
    --z34\8\0
    --z34\8\1
    --z34\8\2
    --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\0\15,
    34\0\16,
    34\0\17,
    34\0\18,
    34\0\19,
    34\0\20,
    34\0\21,
    34\0\22,
    34\1\0,
    34\1\1,
    34\1\2,
    34\2\0,
    34\2\1,
    34\2\2,
    34\2\3,
    34\3\0,
    34\3\1,
    34\4\0,
    34\4\1,
    34\5\0,
    34\5\1,
    34\5\2,
    34\5\3,
    34\5\4,
    34\5\5,
    34\6\0,
    34\6\1,
    34\6\2,
    34\6\3,
    34\7\0,
    34\8\0,
    34\8\1,
    34\8\2,
    34\8\3,
);
endchar;

beginchar (35, 17.345u#, 12.527u#, 0.000u#);
  "P3";
  z35\0\0s = (12.286u,12.527u);
  z35\0\0c1 = (12.286u,10.416u);
  z35\0\0c2 = (11.953u,9.178u);
  z35\0\0 = (14.213u,8.191u);
  z35\0\1 = (14.213u,7.468u);
  z35\0\2c1 = (12.069u,7.430u);
  z35\0\2c2 = (11.809u,9.380u);
  z35\0\2 = (11.804u,11.081u);
  z35\0\3 = (11.322u,10.359u);
  z35\0\4 = (10.359u,10.840u);
  z35\0\5c1 = (10.598u,9.266u);
  z35\0\5c2 = (12.716u,6.498u);
  z35\0\5 = (9.877u,6.022u);
  z35\0\6 = (9.877u,7.468u);
  z35\0\7c1 = (9.876u,8.066u);
  z35\0\7c2 = (9.928u,8.835u);
  z35\0\7 = (9.631u,9.370u);
  z35\0\8c1 = (8.906u,10.675u);
  z35\0\8c2 = (6.520u,11.298u);
  z35\0\8 = (5.498u,9.990u);
  z35\0\9c1 = (4.626u,8.872u);
  z35\0\9c2 = (5.791u,7.217u);
  z35\0\9 = (4.915u,6.418u);
  z35\0\10c1 = (4.394u,5.943u);
  z35\0\10c2 = (3.637u,6.320u);
  z35\0\10 = (3.133u,6.620u);
  z35\0\11c1 = (0.335u,8.288u);
  z35\0\11c2 = (2.641u,11.177u);
  z35\0\11 = (0.000u,12.045u);
  z35\0\12 = (0.239u,5.909u);
  z35\0\13 = (2.650u,4.577u);
  z35\0\14 = (2.168u,1.445u);
  z35\0\15 = (13.249u,1.445u);
  z35\0\16 = (13.249u,4.095u);
  z35\0\17 = (12.045u,4.095u);
  z35\0\18 = (13.490u,4.818u);
  z35\0\19c1 = (14.769u,0.871u);
  z35\0\19c2 = (17.691u,3.139u);
  z35\0\19 = (14.695u,5.541u);
  z35\0\20c1 = (15.305u,6.101u);
  z35\0\20c2 = (16.789u,7.221u);
  z35\0\20 = (17.063u,7.937u);
  z35\0\21c1 = (17.454u,8.958u);
  z35\0\21c2 = (15.597u,9.031u);
  z35\0\21 = (14.948u,9.532u);
  z35\0\22c1 = (13.753u,10.456u);
  z35\0\22c2 = (13.894u,11.191u);
  z35\0\22 = (13.972u,12.527u);
  z35\1\0s = (13.131u,11.325u);
  z35\2\0s = (13.249u,10.600u);
  z35\2\0 = (16.381u,8.191u);
  z35\2\1c1 = (15.548u,6.571u);
  z35\2\1c2 = (12.598u,4.794u);
  z35\2\1 = (10.840u,4.318u);
  z35\2\2c1 = (8.417u,3.662u);
  z35\2\2c2 = (2.421u,4.006u);
  z35\2\2 = (0.910u,6.307u);
  z35\2\3c1 = (0.453u,7.002u);
  z35\2\3c2 = (0.720u,8.538u);
  z35\2\3 = (0.723u,9.395u);
  z35\2\4c1 = (1.112u,8.486u);
  z35\2\4c2 = (1.054u,7.823u);
  z35\2\4 = (1.753u,6.996u);
  z35\2\5c1 = (3.837u,4.530u);
  z35\2\5c2 = (9.031u,4.808u);
  z35\2\5 = (11.804u,5.803u);
  z35\2\6c1 = (13.103u,6.269u);
  z35\2\6c2 = (14.223u,7.041u);
  z35\2\6 = (15.417u,7.709u);
  z35\2\7c1 = (14.461u,8.495u);
  z35\2\7c2 = (12.727u,9.164u);
  z35\3\0s = (6.996u,9.993u);
  z35\3\0c1 = (10.025u,9.776u);
  z35\3\0c2 = (10.366u,5.669u);
  z35\3\0 = (7.709u,5.552u);
  z35\3\1c1 = (4.924u,5.430u);
  z35\3\1c2 = (5.240u,9.565u);
  z35\4\0s = (12.045u,7.709u);
  z35\4\0 = (12.527u,6.504u);
  z35\5\0s = (14.454u,5.059u);
  z35\5\0 = (15.417u,3.372u);
  z35\5\1c1 = (14.445u,3.683u);
  z35\5\1c2 = (14.094u,4.030u);
  z35\6\0s = (12.527u,3.372u);
  z35\6\0 = (12.527u,2.168u);
  z35\6\1 = (2.891u,2.168u);
  z35\6\2 = (2.891u,3.372u);
  fill_or_unfill z35\0\0s
    ..controls z35\0\0c1 and z35\0\0c2..z35\0\0
    --z35\0\1
    ..controls z35\0\2c1 and z35\0\2c2..z35\0\2
    --z35\0\3
    --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
    ..controls z35\0\10c1 and z35\0\10c2..z35\0\10
    ..controls z35\0\11c1 and z35\0\11c2..z35\0\11
    --z35\0\12
    --z35\0\13
    --z35\0\14
    --z35\0\15
    --z35\0\16
    --z35\0\17
    --z35\0\18
    ..controls z35\0\19c1 and z35\0\19c2..z35\0\19
    ..controls z35\0\20c1 and z35\0\20c2..z35\0\20
    ..controls z35\0\21c1 and z35\0\21c2..z35\0\21
    ..controls z35\0\22c1 and z35\0\22c2..z35\0\22
    --cycle;
  fill_or_unfill z35\1\0s
    --cycle;
  fill_or_unfill z35\2\0s
    --z35\2\0
    ..controls z35\2\1c1 and z35\2\1c2..z35\2\1
    ..controls z35\2\2c1 and z35\2\2c2..z35\2\2
    ..controls z35\2\3c1 and z35\2\3c2..z35\2\3
    ..controls z35\2\4c1 and z35\2\4c2..z35\2\4
    ..controls z35\2\5c1 and z35\2\5c2..z35\2\5
    ..controls z35\2\6c1 and z35\2\6c2..z35\2\6
    ..controls z35\2\7c1 and z35\2\7c2..cycle;
  fill_or_unfill z35\3\0s
    ..controls z35\3\0c1 and z35\3\0c2..z35\3\0
    ..controls z35\3\1c1 and z35\3\1c2..cycle;
  fill_or_unfill z35\4\0s
    --z35\4\0
    --cycle;
  fill_or_unfill z35\5\0s
    --z35\5\0
    ..controls z35\5\1c1 and z35\5\1c2..cycle;
  fill_or_unfill z35\6\0s
    --z35\6\0
    --z35\6\1
    --z35\6\2
    --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\0\22,
    35\0\23,
    35\1\0,
    35\2\0,
    35\2\1,
    35\2\2,
    35\2\3,
    35\2\4,
    35\2\5,
    35\2\6,
    35\2\7,
    35\3\0,
    35\3\1,
    35\4\0,
    35\4\1,
    35\5\0,
    35\5\1,
    35\6\0,
    35\6\1,
    35\6\2,
    35\6\3,
);
endchar;

beginchar (36, 17.104u#, 10.118u#, 0.000u#);
  "P4";
  z36\0\0s = (4.336u,3.854u);
  z36\0\0 = (1.686u,3.613u);
  z36\0\1 = (1.686u,1.204u);
  z36\0\2 = (16.140u,1.204u);
  z36\0\3 = (16.140u,3.613u);
  z36\0\4 = (13.731u,3.613u);
  z36\0\5c1 = (14.606u,4.067u);
  z36\0\5c2 = (15.638u,4.403u);
  z36\0\5 = (16.346u,5.110u);
  z36\0\6c1 = (18.615u,7.376u);
  z36\0\6c2 = (16.256u,9.409u);
  z36\0\6 = (13.972u,9.877u);
  z36\0\7 = (15.177u,6.745u);
  z36\0\8c1 = (12.537u,8.382u);
  z36\0\8c2 = (9.334u,8.866u);
  z36\0\8 = (6.263u,8.354u);
  z36\0\9c1 = (5.486u,8.224u);
  z36\0\9c2 = (2.776u,6.853u);
  z36\0\9 = (2.388u,7.358u);
  z36\0\10c1 = (1.664u,8.299u);
  z36\0\10c2 = (4.181u,7.927u);
  z36\0\10 = (3.613u,10.118u);
  z36\0\11c1 = (-2.299u,8.925u);
  z36\0\11c2 = (-0.234u,4.712u);
  z36\1\0s = (2.650u,9.154u);
  z36\1\0c1 = (2.233u,8.652u);
  z36\1\0c2 = (1.451u,7.969u);
  z36\1\0 = (1.624u,7.251u);
  z36\1\1c1 = (2.228u,4.757u);
  z36\1\1c2 = (17.734u,3.055u);
  z36\1\1 = (15.417u,8.672u);
  z36\1\2c1 = (17.984u,7.300u);
  z36\1\2c2 = (15.815u,5.044u);
  z36\1\2 = (13.972u,4.358u);
  z36\1\3c1 = (11.632u,3.488u);
  z36\1\3c2 = (5.693u,3.650u);
  z36\1\3 = (3.372u,4.599u);
  z36\1\4c1 = (1.005u,5.569u);
  z36\1\4c2 = (-1.223u,8.413u);
  z36\2\0s = (15.417u,8.913u);
  z36\3\0s = (14.454u,6.504u);
  z36\3\0c1 = (12.377u,4.740u);
  z36\3\0c2 = (6.120u,5.599u);
  z36\3\0 = (3.613u,6.263u);
  z36\3\1 = (3.613u,6.745u);
  z36\3\2c1 = (6.895u,8.534u);
  z36\3\2c2 = (11.234u,8.286u);
  z36\4\0s = (15.417u,2.891u);
  z36\4\0 = (15.417u,1.927u);
  z36\4\1 = (2.409u,1.927u);
  z36\4\2 = (2.409u,2.891u);
  fill_or_unfill z36\0\0s
    --z36\0\0
    --z36\0\1
    --z36\0\2
    --z36\0\3
    --z36\0\4
    ..controls z36\0\5c1 and z36\0\5c2..z36\0\5
    ..controls z36\0\6c1 and z36\0\6c2..z36\0\6
    --z36\0\7
    ..controls z36\0\8c1 and z36\0\8c2..z36\0\8
    ..controls z36\0\9c1 and z36\0\9c2..z36\0\9
    ..controls z36\0\10c1 and z36\0\10c2..z36\0\10
    ..controls z36\0\11c1 and z36\0\11c2..cycle;
  fill_or_unfill z36\1\0s
    ..controls z36\1\0c1 and z36\1\0c2..z36\1\0
    ..controls z36\1\1c1 and z36\1\1c2..z36\1\1
    ..controls z36\1\2c1 and z36\1\2c2..z36\1\2
    ..controls z36\1\3c1 and z36\1\3c2..z36\1\3
    ..controls z36\1\4c1 and z36\1\4c2..cycle;
  fill_or_unfill z36\2\0s
    --cycle;
  fill_or_unfill z36\3\0s
    ..controls z36\3\0c1 and z36\3\0c2..z36\3\0
    --z36\3\1
    ..controls z36\3\2c1 and z36\3\2c2..cycle;
  fill_or_unfill z36\4\0s
    --z36\4\0
    --z36\4\1
    --z36\4\2
    --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\1\0,
    36\1\1,
    36\1\2,
    36\1\3,
    36\1\4,
    36\2\0,
    36\3\0,
    36\3\1,
    36\3\2,
    36\4\0,
    36\4\1,
    36\4\2,
    36\4\3,
);
endchar;

beginchar (37, 16.863u#, 18.549u#, 0.000u#);
  "P5";
  z37\0\0s = (6.986u,18.549u);
  z37\0\0 = (6.986u,16.381u);
  z37\0\1 = (1.204u,16.381u);
  z37\0\2 = (1.204u,15.658u);
  z37\0\3c1 = (4.340u,15.405u);
  z37\0\3c2 = (3.957u,11.349u);
  z37\0\3 = (1.918u,11.064u);
  z37\0\4 = (0.000u,11.064u);
  z37\0\5c1 = (1.452u,9.631u);
  z37\0\5c2 = (4.769u,9.990u);
  z37\0\5 = (6.745u,9.636u);
  z37\0\6c1 = (5.665u,6.977u);
  z37\0\6c2 = (7.624u,7.501u);
  z37\0\6 = (8.153u,5.540u);
  z37\0\7 = (8.153u,1.445u);
  z37\0\8 = (9.154u,1.445u);
  z37\0\9c1 = (9.154u,2.293u);
  z37\0\9c2 = (9.060u,4.893u);
  z37\0\9 = (9.298u,5.541u);
  z37\0\10c1 = (10.044u,7.568u);
  z37\0\10c2 = (11.348u,6.739u);
  z37\0\10 = (10.840u,9.636u);
  z37\0\11 = (16.622u,9.877u);
  z37\0\12 = (16.622u,10.600u);
  z37\0\13 = (15.177u,10.359u);
  z37\0\14c1 = (15.802u,12.764u);
  z37\0\14c2 = (15.802u,13.012u);
  z37\0\14 = (15.177u,15.417u);
  z37\0\15 = (16.863u,15.177u);
  z37\0\16 = (16.863u,15.899u);
  z37\0\17 = (10.359u,16.381u);
  z37\0\18 = (10.359u,18.549u);
  z37\0\19 = (9.636u,18.549u);
  z37\0\20 = (9.636u,16.381u);
  z37\0\21 = (7.709u,16.381u);
  z37\0\22 = (7.709u,18.549u);
  z37\1\0s = (3.372u,10.840u);
  z37\1\0c1 = (4.385u,13.061u);
  z37\1\0c2 = (4.207u,13.377u);
  z37\1\0 = (3.613u,15.658u);
  z37\1\1 = (6.022u,15.855u);
  z37\1\2 = (11.804u,15.658u);
  z37\1\3c1 = (12.458u,15.657u);
  z37\1\3c2 = (13.344u,15.716u);
  z37\1\3 = (13.934u,15.376u);
  z37\1\4c1 = (15.518u,14.433u);
  z37\1\4c2 = (15.490u,11.565u);
  z37\1\4 = (13.934u,10.584u);
  z37\1\5c1 = (12.393u,9.596u);
  z37\1\5c2 = (5.199u,10.238u);
  z37\2\0s = (10.359u,8.913u);
  z37\2\0 = (7.227u,8.913u);
  z37\2\1 = (7.227u,9.636u);
  z37\2\2c1 = (8.340u,9.636u);
  z37\2\2c2 = (9.672u,9.939u);
  z37\3\0s = (10.359u,8.191u);
  z37\3\0c1 = (9.280u,6.000u);
  z37\3\0c2 = (8.240u,6.461u);
  z37\3\0 = (6.986u,8.191u);
  fill_or_unfill z37\0\0s
    --z37\0\0
    --z37\0\1
    --z37\0\2
    ..controls z37\0\3c1 and z37\0\3c2..z37\0\3
    --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
    --z37\0\7
    --z37\0\8
    ..controls z37\0\9c1 and z37\0\9c2..z37\0\9
    ..controls z37\0\10c1 and z37\0\10c2..z37\0\10
    --z37\0\11
    --z37\0\12
    --z37\0\13
    ..controls z37\0\14c1 and z37\0\14c2..z37\0\14
    --z37\0\15
    --z37\0\16
    --z37\0\17
    --z37\0\18
    --z37\0\19
    --z37\0\20
    --z37\0\21
    --z37\0\22
    --cycle;
  fill_or_unfill z37\1\0s
    ..controls z37\1\0c1 and z37\1\0c2..z37\1\0
    --z37\1\1
    --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
    --z37\2\0
    --z37\2\1
    ..controls z37\2\2c1 and z37\2\2c2..cycle;
  fill_or_unfill z37\3\0s
    ..controls z37\3\0c1 and z37\3\0c2..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\0\10,
    37\0\11,
    37\0\12,
    37\0\13,
    37\0\14,
    37\0\15,
    37\0\16,
    37\0\17,
    37\0\18,
    37\0\19,
    37\0\20,
    37\0\21,
    37\0\22,
    37\0\23,
    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\2\2,
    37\3\0,
    37\3\1,
);
endchar;

beginchar (38, 5.059u#, 18.790u#, 0.000u#);
  "P6";
  z38\0\0s = (4.614u,11.388u);
  z38\0\0 = (0.915u,11.314u);
  z38\0\1 = (0.732u,9.996u);
  z38\0\2 = (4.614u,9.923u);
  z38\1\0s = (0.879u,14.244u);
  z38\1\0 = (0.952u,12.925u);
  z38\1\1 = (4.504u,12.962u);
  z38\1\2 = (4.394u,14.244u);
  z38\2\0s = (1.062u,17.210u);
  z38\2\0 = (1.062u,15.818u);
  z38\2\1 = (4.321u,15.818u);
  z38\2\2 = (4.247u,17.210u);
  z38\3\0s = (0.696u,18.747u);
  z38\3\0 = (0.037u,10.033u);
  z38\3\1c1 = (-0.366u,6.298u);
  z38\3\1c2 = (1.428u,7.799u);
  z38\3\1 = (1.977u,5.932u);
  z38\3\2 = (2.014u,0.769u);
  z38\3\3 = (3.186u,0.769u);
  z38\3\4 = (3.222u,5.968u);
  z38\3\5c1 = (3.821u,7.892u);
  z38\3\5c2 = (5.492u,6.188u);
  z38\3\5 = (5.236u,9.996u);
  z38\3\6 = (4.577u,18.790u);
  z38\3\7 = (3.854u,18.790u);
  z38\3\8 = (4.101u,9.484u);
  z38\3\9c1 = (4.284u,7.396u);
  z38\3\9c2 = (1.098u,7.689u);
  z38\3\9 = (1.245u,9.447u);
  z38\3\10 = (1.538u,18.784u);
  fill_or_unfill z38\0\0s
    --z38\0\0
    --z38\0\1
    --z38\0\2
    --cycle;
  fill_or_unfill z38\1\0s
    --z38\1\0
    --z38\1\1
    --z38\1\2
    --cycle;
  fill_or_unfill z38\2\0s
    --z38\2\0
    --z38\2\1
    --z38\2\2
    --cycle;
  fill_or_unfill z38\3\0s
    --z38\3\0
    ..controls z38\3\1c1 and z38\3\1c2..z38\3\1
    --z38\3\2
    --z38\3\3
    --z38\3\4
    ..controls z38\3\5c1 and z38\3\5c2..z38\3\5
    --z38\3\6
    --z38\3\7
    --z38\3\8
    ..controls z38\3\9c1 and z38\3\9c2..z38\3\9
    --z38\3\10
    --cycle;
  proof_labels (
    38\0\0,
    38\0\1,
    38\0\2,
    38\0\3,
    38\1\0,
    38\1\1,
    38\1\2,
    38\1\3,
    38\2\0,
    38\2\1,
    38\2\2,
    38\2\3,
    38\3\0,
    38\3\1,
    38\3\2,
    38\3\3,
    38\3\4,
    38\3\5,
    38\3\6,
    38\3\7,
    38\3\8,
    38\3\9,
    38\3\10,
    38\3\11,
);
endchar;

beginchar (39, 17.345u#, 18.308u#, 0.000u#);
  "P7";
  z39\0\0s = (6.504u,18.308u);
  z39\0\0 = (5.926u,7.749u);
  z39\0\1 = (7.950u,5.325u);
  z39\0\2 = (5.059u,5.325u);
  z39\0\3 = (0.723u,5.781u);
  z39\0\4 = (0.963u,5.059u);
  z39\0\5 = (3.613u,4.818u);
  z39\0\6 = (0.000u,4.818u);
  z39\0\7c1 = (0.926u,2.174u);
  z39\0\7c2 = (6.458u,5.647u);
  z39\0\7 = (7.703u,3.779u);
  z39\0\8c1 = (8.061u,3.242u);
  z39\0\8c2 = (7.950u,1.424u);
  z39\0\8 = (7.950u,0.723u);
  z39\0\9 = (8.913u,0.723u);
  z39\0\10 = (8.913u,4.095u);
  z39\0\11 = (17.345u,3.854u);
  z39\0\12 = (17.345u,9.636u);
  z39\0\13c1 = (14.208u,9.633u);
  z39\0\13c2 = (14.695u,8.237u);
  z39\0\13 = (14.695u,5.541u);
  z39\0\14 = (8.913u,5.541u);
  z39\0\15c1 = (10.047u,6.675u);
  z39\0\15c2 = (11.174u,7.405u);
  z39\0\15 = (11.040u,9.154u);
  z39\0\16 = (10.359u,18.308u);
  z39\0\17 = (9.636u,18.308u);
  z39\0\18 = (9.636u,16.622u);
  z39\0\19 = (7.227u,16.622u);
  z39\0\20 = (7.227u,18.308u);
  z39\1\0s = (9.877u,14.213u);
  z39\1\0 = (6.986u,14.213u);
  z39\1\1c1 = (7.073u,16.675u);
  z39\1\1c2 = (9.384u,16.485u);
  z39\2\0s = (9.877u,13.490u);
  z39\2\0 = (9.877u,11.563u);
  z39\2\1 = (6.745u,11.563u);
  z39\2\2 = (6.986u,13.490u);
  z39\3\0s = (10.118u,10.840u);
  z39\3\0 = (10.118u,9.395u);
  z39\3\1 = (6.745u,9.395u);
  z39\3\2 = (6.745u,10.840u);
  z39\4\0s = (10.359u,8.672u);
  z39\4\0c1 = (9.502u,6.181u);
  z39\4\0c2 = (7.271u,6.084u);
  z39\4\0 = (6.504u,8.672u);
  z39\5\0s = (16.622u,8.672u);
  z39\5\0 = (16.622u,5.059u);
  z39\5\1 = (15.417u,5.059u);
  z39\5\2 = (15.658u,8.672u);
  fill_or_unfill z39\0\0s
    --z39\0\0
    --z39\0\1
    --z39\0\2
    --z39\0\3
    --z39\0\4
    --z39\0\5
    --z39\0\6
    ..controls z39\0\7c1 and z39\0\7c2..z39\0\7
    ..controls z39\0\8c1 and z39\0\8c2..z39\0\8
    --z39\0\9
    --z39\0\10
    --z39\0\11
    --z39\0\12
    ..controls z39\0\13c1 and z39\0\13c2..z39\0\13
    --z39\0\14
    ..controls z39\0\15c1 and z39\0\15c2..z39\0\15
    --z39\0\16
    --z39\0\17
    --z39\0\18
    --z39\0\19
    --z39\0\20
    --cycle;
  fill_or_unfill z39\1\0s
    --z39\1\0
    ..controls z39\1\1c1 and z39\1\1c2..cycle;
  fill_or_unfill z39\2\0s
    --z39\2\0
    --z39\2\1
    --z39\2\2
    --cycle;
  fill_or_unfill z39\3\0s
    --z39\3\0
    --z39\3\1
    --z39\3\2
    --cycle;
  fill_or_unfill z39\4\0s
    ..controls z39\4\0c1 and z39\4\0c2..z39\4\0
    --cycle;
  fill_or_unfill z39\5\0s
    --z39\5\0
    --z39\5\1
    --z39\5\2
    --cycle;
  proof_labels (
    39\0\0,
    39\0\1,
    39\0\2,
    39\0\3,
    39\0\4,
    39\0\5,
    39\0\6,
    39\0\7,
    39\0\8,
    39\0\9,
    39\0\10,
    39\0\11,
    39\0\12,
    39\0\13,
    39\0\14,
    39\0\15,
    39\0\16,
    39\0\17,
    39\0\18,
    39\0\19,
    39\0\20,
    39\0\21,
    39\1\0,
    39\1\1,
    39\2\0,
    39\2\1,
    39\2\2,
    39\2\3,
    39\3\0,
    39\3\1,
    39\3\2,
    39\3\3,
    39\4\0,
    39\4\1,
    39\5\0,
    39\5\1,
    39\5\2,
    39\5\3,
);
endchar;

beginchar (40, 2.891u#, 18.308u#, 0.000u#);
  "P8";
  z40\0\0s = (1.204u,0.723u);
  z40\0\0 = (1.686u,0.723u);
  z40\0\1c1 = (2.460u,2.137u);
  z40\0\1c2 = (3.153u,4.172u);
  z40\0\1 = (2.701u,5.781u);
  z40\0\2c1 = (2.494u,6.520u);
  z40\0\2c2 = (2.086u,7.180u);
  z40\0\2 = (1.979u,7.950u);
  z40\0\3c1 = (1.821u,9.080u);
  z40\0\3c2 = (2.166u,10.394u);
  z40\0\3 = (2.168u,11.563u);
  z40\0\4c1 = (2.170u,12.780u);
  z40\0\4c2 = (2.750u,17.943u);
  z40\0\4 = (1.635u,18.234u);
  z40\0\5c1 = (-0.402u,18.765u);
  z40\0\5c2 = (0.469u,15.454u);
  z40\0\5 = (0.481u,14.454u);
  z40\0\6 = (0.700u,8.672u);
  z40\0\7c1 = (0.902u,5.095u);
  z40\0\7c2 = (-1.277u,5.206u);
  z40\1\0s = (1.686u,6.986u);
  z40\1\0c1 = (2.390u,5.109u);
  z40\1\0c2 = (2.297u,3.810u);
  z40\1\0 = (1.686u,1.927u);
  z40\1\1 = (1.204u,1.927u);
  z40\1\2c1 = (0.557u,3.923u);
  z40\1\2c2 = (0.557u,4.990u);
  z40\1\2 = (1.204u,6.986u);
  fill_or_unfill z40\0\0s
    --z40\0\0
    ..controls z40\0\1c1 and z40\0\1c2..z40\0\1
    ..controls z40\0\2c1 and z40\0\2c2..z40\0\2
    ..controls z40\0\3c1 and z40\0\3c2..z40\0\3
    ..controls z40\0\4c1 and z40\0\4c2..z40\0\4
    ..controls z40\0\5c1 and z40\0\5c2..z40\0\5
    --z40\0\6
    ..controls z40\0\7c1 and z40\0\7c2..cycle;
  fill_or_unfill z40\1\0s
    ..controls z40\1\0c1 and z40\1\0c2..z40\1\0
    --z40\1\1
    ..controls z40\1\2c1 and z40\1\2c2..z40\1\2
    --cycle;
  proof_labels (
    40\0\0,
    40\0\1,
    40\0\2,
    40\0\3,
    40\0\4,
    40\0\5,
    40\0\6,
    40\0\7,
    40\1\0,
    40\1\1,
    40\1\2,
    40\1\3,
);
endchar;

beginchar (41, 14.213u#, 17.826u#, 0.000u#);
  "P9";
  z41\0\0s = (6.986u,17.826u);
  z41\0\0 = (6.986u,10.359u);
  z41\0\1c1 = (4.375u,10.300u);
  z41\0\1c2 = (3.172u,8.875u);
  z41\0\1 = (3.372u,12.527u);
  z41\0\2 = (1.686u,11.322u);
  z41\0\3c1 = (0.621u,13.143u);
  z41\0\3c2 = (-0.584u,12.080u);
  z41\0\3 = (0.963u,11.081u);
  z41\0\4c1 = (0.375u,9.528u);
  z41\0\4c2 = (1.382u,9.937u);
  z41\0\4 = (2.388u,9.531u);
  z41\0\5c1 = (4.449u,8.700u);
  z41\0\5c2 = (4.663u,8.497u);
  z41\0\5 = (6.986u,8.913u);
  z41\0\6c1 = (6.979u,6.525u);
  z41\0\6c2 = (5.949u,5.340u);
  z41\0\6 = (6.595u,2.891u);
  z41\0\7c1 = (7.308u,0.188u);
  z41\0\7c2 = (8.294u,1.577u);
  z41\0\7 = (8.699u,3.372u);
  z41\0\8c1 = (9.119u,5.230u);
  z41\0\8c2 = (8.208u,6.798u);
  z41\0\8 = (8.191u,8.672u);
  z41\0\9 = (14.213u,8.431u);
  z41\0\10c1 = (13.459u,10.584u);
  z41\0\10c2 = (8.268u,8.160u);
  z41\0\10 = (8.191u,12.286u);
  z41\0\11 = (8.191u,17.826u);
  z41\1\0s = (1.927u,10.481u);
  z41\2\0s = (9.395u,9.395u);
  z41\2\0 = (5.300u,9.395u);
  z41\2\1c1 = (6.561u,10.128u);
  z41\2\1c2 = (8.109u,9.991u);
  z41\3\0s = (7.709u,6.504u);
  z41\3\0c1 = (8.487u,5.027u);
  z41\3\0c2 = (8.200u,3.923u);
  z41\3\0 = (7.709u,2.409u);
  z41\3\1c1 = (6.844u,3.625u);
  z41\3\1c2 = (6.603u,5.384u);
  fill_or_unfill z41\0\0s
    --z41\0\0
    ..controls z41\0\1c1 and z41\0\1c2..z41\0\1
    --z41\0\2
    ..controls z41\0\3c1 and z41\0\3c2..z41\0\3
    ..controls z41\0\4c1 and z41\0\4c2..z41\0\4
    ..controls z41\0\5c1 and z41\0\5c2..z41\0\5
    ..controls z41\0\6c1 and z41\0\6c2..z41\0\6
    ..controls z41\0\7c1 and z41\0\7c2..z41\0\7
    ..controls z41\0\8c1 and z41\0\8c2..z41\0\8
    --z41\0\9
    ..controls z41\0\10c1 and z41\0\10c2..z41\0\10
    --z41\0\11
    --cycle;
  fill_or_unfill z41\1\0s
    --cycle;
  fill_or_unfill z41\2\0s
    --z41\2\0
    ..controls z41\2\1c1 and z41\2\1c2..cycle;
  fill_or_unfill z41\3\0s
    ..controls z41\3\0c1 and z41\3\0c2..z41\3\0
    ..controls z41\3\1c1 and z41\3\1c2..cycle;
  proof_labels (
    41\0\0,
    41\0\1,
    41\0\2,
    41\0\3,
    41\0\4,
    41\0\5,
    41\0\6,
    41\0\7,
    41\0\8,
    41\0\9,
    41\0\10,
    41\0\11,
    41\0\12,
    41\1\0,
    41\2\0,
    41\2\1,
    41\3\0,
    41\3\1,
);
endchar;

beginchar (42, 16.863u#, 17.586u#, 0.000u#);
  "P10";
  z42\0\0s = (0.000u,17.586u);
  z42\0\0c1 = (0.343u,15.467u);
  z42\0\0c2 = (2.075u,15.115u);
  z42\0\0 = (2.947u,13.490u);
  z42\0\1c1 = (3.711u,12.067u);
  z42\0\1c2 = (1.817u,5.575u);
  z42\0\1 = (5.059u,5.541u);
  z42\0\2c1 = (3.962u,8.090u);
  z42\0\2c2 = (3.294u,9.509u);
  z42\0\2 = (4.336u,12.286u);
  z42\0\3c1 = (5.875u,10.738u);
  z42\0\3c2 = (8.083u,8.908u);
  z42\0\3 = (9.314u,7.158u);
  z42\0\4c1 = (9.811u,6.451u);
  z42\0\4c2 = (9.979u,5.589u);
  z42\0\4 = (10.354u,4.818u);
  z42\0\5c1 = (11.963u,1.509u);
  z42\0\5c2 = (13.175u,0.241u);
  z42\0\5 = (16.863u,0.241u);
  z42\0\6c1 = (16.850u,1.639u);
  z42\0\6c2 = (16.679u,3.173u);
  z42\0\6 = (15.780u,4.314u);
  z42\0\7c1 = (14.284u,6.212u);
  z42\0\7c2 = (11.703u,6.682u);
  z42\0\7 = (9.945u,8.103u);
  z42\0\8c1 = (7.640u,9.966u);
  z42\0\8c2 = (2.372u,17.201u);
  z42\1\0s = (16.140u,0.963u);
  z42\1\0c1 = (12.926u,0.995u);
  z42\1\0c2 = (10.915u,4.019u);
  z42\1\0 = (10.359u,6.986u);
  z42\1\1c1 = (13.238u,6.549u);
  z42\1\1c2 = (16.074u,3.890u);
  fill_or_unfill z42\0\0s
    ..controls z42\0\0c1 and z42\0\0c2..z42\0\0
    ..controls z42\0\1c1 and z42\0\1c2..z42\0\1
    ..controls z42\0\2c1 and z42\0\2c2..z42\0\2
    ..controls z42\0\3c1 and z42\0\3c2..z42\0\3
    ..controls z42\0\4c1 and z42\0\4c2..z42\0\4
    ..controls z42\0\5c1 and z42\0\5c2..z42\0\5
    ..controls z42\0\6c1 and z42\0\6c2..z42\0\6
    ..controls z42\0\7c1 and z42\0\7c2..z42\0\7
    ..controls z42\0\8c1 and z42\0\8c2..cycle;
  fill_or_unfill z42\1\0s
    ..controls z42\1\0c1 and z42\1\0c2..z42\1\0
    ..controls z42\1\1c1 and z42\1\1c2..cycle;
  proof_labels (
    42\0\0,
    42\0\1,
    42\0\2,
    42\0\3,
    42\0\4,
    42\0\5,
    42\0\6,
    42\0\7,
    42\0\8,
    42\1\0,
    42\1\1,
);
endchar;

beginchar (43, 3.613u#, 17.586u#, 0.000u#);
  "P11";
  z43\0\0s = (0.963u,17.586u);
  z43\0\0c1 = (0.961u,16.929u);
  z43\0\0c2 = (0.990u,16.287u);
  z43\0\0 = (0.762u,15.658u);
  z43\0\1c1 = (0.492u,14.910u);
  z43\0\1c2 = (0.107u,14.610u);
  z43\0\1 = (0.100u,13.731u);
  z43\0\2c1 = (0.088u,12.235u);
  z43\0\2c2 = (2.017u,0.912u);
  z43\0\2 = (2.740u,0.522u);
  z43\0\3c1 = (3.976u,-0.144u);
  z43\0\3c2 = (3.613u,3.782u);
  z43\0\3 = (3.613u,4.336u);
  z43\0\4 = (3.613u,17.586u);
  z43\1\0s = (2.891u,17.104u);
  z43\1\0 = (2.891u,3.372u);
  z43\1\1 = (0.689u,13.249u);
  z43\1\2 = (1.686u,17.104u);
  fill_or_unfill z43\0\0s
    ..controls z43\0\0c1 and z43\0\0c2..z43\0\0
    ..controls z43\0\1c1 and z43\0\1c2..z43\0\1
    ..controls z43\0\2c1 and z43\0\2c2..z43\0\2
    ..controls z43\0\3c1 and z43\0\3c2..z43\0\3
    --z43\0\4
    --cycle;
  fill_or_unfill z43\1\0s
    --z43\1\0
    --z43\1\1
    --z43\1\2
    --cycle;
  proof_labels (
    43\0\0,
    43\0\1,
    43\0\2,
    43\0\3,
    43\0\4,
    43\0\5,
    43\1\0,
    43\1\1,
    43\1\2,
    43\1\3,
);
endchar;