beginchar (32, 17.826u#, 15.658u#, 0.000u#);
  "E1";
  z32\0\0s = (0.000u,14.936u);
  z32\0\0c1 = (0.665u,14.186u);
  z32\0\0c2 = (1.686u,13.420u);
  z32\0\0 = (1.997u,12.400u);
  z32\0\1c1 = (2.356u,11.222u);
  z32\0\1c2 = (0.300u,10.415u);
  z32\0\1 = (0.931u,9.115u);
  z32\0\2c1 = (1.547u,7.846u);
  z32\0\2c2 = (2.976u,9.385u);
  z32\0\2 = (3.905u,8.922u);
  z32\0\3c1 = (4.290u,8.730u);
  z32\0\3c2 = (4.483u,8.160u);
  z32\0\3 = (4.660u,7.791u);
  z32\0\4c1 = (5.579u,5.877u);
  z32\0\4c2 = (5.706u,3.463u);
  z32\0\4 = (3.613u,2.168u);
  z32\0\5 = (3.613u,1.686u);
  z32\0\6c1 = (5.631u,1.142u);
  z32\0\6c2 = (5.838u,4.207u);
  z32\0\6 = (6.504u,5.541u);
  z32\0\7c1 = (7.927u,4.444u);
  z32\0\7c2 = (7.657u,3.167u);
  z32\0\7 = (7.227u,1.686u);
  z32\0\8c1 = (9.537u,1.963u);
  z32\0\8c2 = (8.184u,4.250u);
  z32\0\8 = (7.950u,5.838u);
  z32\0\9 = (10.070u,5.838u);
  z32\0\10 = (11.275u,5.635u);
  z32\0\11 = (13.731u,6.022u);
  z32\0\12 = (12.527u,1.686u);
  z32\0\13c1 = (14.824u,2.111u);
  z32\0\13c2 = (13.684u,3.713u);
  z32\0\13 = (14.824u,4.687u);
  z32\0\14c1 = (16.083u,5.763u);
  z32\0\14c2 = (16.313u,3.950u);
  z32\0\14 = (16.159u,3.111u);
  z32\0\15 = (15.899u,1.686u);
  z32\0\16c1 = (17.348u,2.231u);
  z32\0\16c2 = (17.061u,2.788u);
  z32\0\16 = (16.863u,4.095u);
  z32\0\17 = (17.826u,4.095u);
  z32\0\18c1 = (17.826u,12.675u);
  z32\0\18c2 = (17.949u,10.928u);
  z32\0\18 = (10.599u,10.841u);
  z32\0\19c1 = (7.152u,10.801u);
  z32\0\19c2 = (6.835u,12.270u);
  z32\0\19 = (4.577u,12.527u);
  z32\0\20 = (6.504u,15.417u);
  z32\0\21c1 = (4.313u,16.009u);
  z32\0\21c2 = (5.121u,13.070u);
  z32\0\21 = (3.318u,12.870u);
  z32\0\22c1 = (1.609u,12.680u);
  z32\0\22c2 = (2.116u,15.507u);
  z32\1\0s = (3.854u,12.045u);
  z32\1\0c1 = (4.260u,10.214u);
  z32\1\0c2 = (4.889u,11.388u);
  z32\1\0 = (5.956u,11.211u);
  z32\1\1 = (8.769u,10.233u);
  z32\1\2 = (12.527u,10.359u);
  z32\1\3c1 = (13.257u,10.360u);
  z32\1\3c2 = (15.594u,10.809u);
  z32\1\3 = (15.968u,10.188u);
  z32\1\4c1 = (16.253u,9.712u);
  z32\1\4c2 = (15.666u,7.300u);
  z32\1\4 = (15.658u,6.504u);
  z32\1\5 = (12.527u,9.395u);
  z32\1\6 = (13.972u,6.745u);
  z32\1\7 = (11.143u,6.406u);
  z32\1\8 = (6.986u,6.745u);
  z32\1\9 = (7.709u,9.877u);
  z32\1\10c1 = (6.472u,9.388u);
  z32\1\10c2 = (6.322u,8.188u);
  z32\1\10 = (6.263u,6.986u);
  z32\1\11c1 = (3.567u,8.051u);
  z32\1\11c2 = (6.956u,9.881u);
  z32\1\11 = (1.445u,9.395u);
  z32\1\12c1 = (1.920u,10.522u);
  z32\1\12c2 = (2.556u,11.837u);
  z32\2\0s = (2.888u,10.722u);
  z32\3\0s = (17.104u,9.154u);
  z32\3\0 = (17.104u,4.336u);
  z32\3\1c1 = (15.785u,6.978u);
  z32\3\1c2 = (16.388u,6.585u);
  z32\3\1 = (16.622u,9.154u);
  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
    ..controls z32\0\4c1 and z32\0\4c2..z32\0\4
    --z32\0\5
    ..controls z32\0\6c1 and z32\0\6c2..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
    --z32\0\10
    --z32\0\11
    --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
    --z32\0\15
    ..controls z32\0\16c1 and z32\0\16c2..z32\0\16
    --z32\0\17
    ..controls z32\0\18c1 and z32\0\18c2..z32\0\18
    ..controls z32\0\19c1 and z32\0\19c2..z32\0\19
    --z32\0\20
    ..controls z32\0\21c1 and z32\0\21c2..z32\0\21
    ..controls z32\0\22c1 and z32\0\22c2..cycle;
  fill_or_unfill z32\1\0s
    ..controls z32\1\0c1 and z32\1\0c2..z32\1\0
    --z32\1\1
    --z32\1\2
    ..controls z32\1\3c1 and z32\1\3c2..z32\1\3
    ..controls z32\1\4c1 and z32\1\4c2..z32\1\4
    --z32\1\5
    --z32\1\6
    --z32\1\7
    --z32\1\8
    --z32\1\9
    ..controls z32\1\10c1 and z32\1\10c2..z32\1\10
    ..controls z32\1\11c1 and z32\1\11c2..z32\1\11
    ..controls z32\1\12c1 and z32\1\12c2..cycle;
  fill_or_unfill z32\2\0s
    --cycle;
  fill_or_unfill z32\3\0s
    --z32\3\0
    ..controls z32\3\1c1 and z32\3\1c2..z32\3\1
    --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\0\18,
    32\0\19,
    32\0\20,
    32\0\21,
    32\0\22,
    32\1\0,
    32\1\1,
    32\1\2,
    32\1\3,
    32\1\4,
    32\1\5,
    32\1\6,
    32\1\7,
    32\1\8,
    32\1\9,
    32\1\10,
    32\1\11,
    32\1\12,
    32\2\0,
    32\3\0,
    32\3\1,
    32\3\2,
);
endchar;

beginchar (33, 18.308u#, 13.490u#, 0.000u#);
  "E2";
  z33\0\0s = (3.132u,13.490u);
  z33\0\0c1 = (3.694u,10.393u);
  z33\0\0c2 = (3.010u,9.721u);
  z33\0\0 = (0.000u,10.600u);
  z33\0\1 = (0.000u,9.636u);
  z33\0\2c1 = (3.145u,9.124u);
  z33\0\2c2 = (1.563u,7.725u);
  z33\0\2 = (2.903u,6.758u);
  z33\0\3c1 = (3.930u,6.017u);
  z33\0\3c2 = (4.686u,7.312u);
  z33\0\3 = (5.333u,6.972u);
  z33\0\4c1 = (7.678u,5.743u);
  z33\0\4c2 = (3.875u,1.774u);
  z33\0\4 = (3.372u,0.482u);
  z33\0\5 = (3.613u,0.241u);
  z33\0\6 = (5.300u,0.963u);
  z33\0\7 = (7.227u,5.059u);
  z33\0\8c1 = (9.672u,4.435u);
  z33\0\8c2 = (7.458u,1.402u);
  z33\0\8 = (7.709u,0.241u);
  z33\0\9c1 = (10.981u,1.634u);
  z33\0\9c2 = (7.563u,4.015u);
  z33\0\9 = (10.359u,5.300u);
  z33\0\10 = (10.600u,4.577u);
  z33\0\11 = (13.731u,5.541u);
  z33\0\12c1 = (13.659u,2.328u);
  z33\0\12c2 = (12.397u,2.627u);
  z33\0\12 = (11.563u,0.482u);
  z33\0\13 = (11.804u,0.241u);
  z33\0\14c1 = (13.874u,0.867u);
  z33\0\14c2 = (14.137u,2.390u);
  z33\0\14 = (14.454u,4.336u);
  z33\0\15 = (16.140u,4.577u);
  z33\0\16c1 = (17.001u,2.190u);
  z33\0\16c2 = (16.156u,2.389u);
  z33\0\16 = (15.417u,0.482u);
  z33\0\17c1 = (17.468u,0.233u);
  z33\0\17c2 = (17.164u,2.008u);
  z33\0\17 = (17.345u,3.372u);
  z33\0\18 = (18.068u,2.891u);
  z33\0\19c1 = (18.543u,4.372u);
  z33\0\19c2 = (18.086u,5.509u);
  z33\0\19 = (18.068u,6.987u);
  z33\0\20c1 = (17.997u,12.992u);
  z33\0\20c2 = (16.180u,11.029u);
  z33\0\20 = (11.795u,10.850u);
  z33\0\21c1 = (10.227u,10.786u);
  z33\0\21c2 = (9.053u,11.394u);
  z33\0\21 = (7.570u,11.647u);
  z33\0\22 = (4.336u,11.804u);
  z33\1\0s = (16.140u,6.022u);
  z33\1\0 = (13.490u,8.431u);
  z33\1\1 = (14.454u,6.504u);
  z33\1\2 = (10.192u,5.898u);
  z33\1\3 = (8.913u,6.745u);
  z33\1\4 = (8.672u,5.541u);
  z33\1\5c1 = (5.914u,8.721u);
  z33\1\5c2 = (8.326u,8.610u);
  z33\1\5 = (7.950u,10.359u);
  z33\1\6c1 = (6.473u,9.355u);
  z33\1\6c2 = (6.745u,8.378u);
  z33\1\6 = (6.745u,6.745u);
  z33\1\7c1 = (4.747u,8.185u);
  z33\1\7c2 = (5.724u,8.094u);
  z33\1\7 = (3.393u,7.227u);
  z33\1\8c1 = (3.040u,7.862u);
  z33\1\8c2 = (1.995u,9.786u);
  z33\1\8 = (3.393u,9.979u);
  z33\1\9 = (4.536u,9.774u);
  z33\1\10c1 = (5.308u,9.872u);
  z33\1\10c2 = (5.106u,10.780u);
  z33\1\10 = (6.589u,10.954u);
  z33\1\11c1 = (8.033u,11.125u);
  z33\1\11c2 = (9.566u,10.137u);
  z33\1\11 = (11.082u,10.123u);
  z33\1\12c1 = (12.213u,10.105u);
  z33\1\12c2 = (15.782u,10.950u);
  z33\1\12 = (16.391u,10.123u);
  z33\1\13c1 = (17.208u,9.025u);
  z33\1\13c2 = (16.204u,7.267u);
  z33\2\0s = (2.891u,9.154u);
  z33\2\0 = (3.613u,8.672u);
  z33\2\1 = (3.613u,9.395u);
  z33\3\0s = (17.104u,6.986u);
  z33\3\0 = (17.345u,4.577u);
  z33\3\1c1 = (16.533u,5.318u);
  z33\3\1c2 = (16.469u,6.094u);
  fill_or_unfill z33\0\0s
    ..controls z33\0\0c1 and z33\0\0c2..z33\0\0
    --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
    ..controls z33\0\4c1 and z33\0\4c2..z33\0\4
    --z33\0\5
    --z33\0\6
    --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
    ..controls z33\0\12c1 and z33\0\12c2..z33\0\12
    --z33\0\13
    ..controls z33\0\14c1 and z33\0\14c2..z33\0\14
    --z33\0\15
    ..controls z33\0\16c1 and z33\0\16c2..z33\0\16
    ..controls z33\0\17c1 and z33\0\17c2..z33\0\17
    --z33\0\18
    ..controls z33\0\19c1 and z33\0\19c2..z33\0\19
    ..controls z33\0\20c1 and z33\0\20c2..z33\0\20
    ..controls z33\0\21c1 and z33\0\21c2..z33\0\21
    --z33\0\22
    --cycle;
  fill_or_unfill z33\1\0s
    --z33\1\0
    --z33\1\1
    --z33\1\2
    --z33\1\3
    --z33\1\4
    ..controls z33\1\5c1 and z33\1\5c2..z33\1\5
    ..controls z33\1\6c1 and z33\1\6c2..z33\1\6
    ..controls z33\1\7c1 and z33\1\7c2..z33\1\7
    ..controls z33\1\8c1 and z33\1\8c2..z33\1\8
    --z33\1\9
    ..controls z33\1\10c1 and z33\1\10c2..z33\1\10
    ..controls z33\1\11c1 and z33\1\11c2..z33\1\11
    ..controls z33\1\12c1 and z33\1\12c2..z33\1\12
    ..controls z33\1\13c1 and z33\1\13c2..cycle;
  fill_or_unfill z33\2\0s
    --z33\2\0
    --z33\2\1
    --cycle;
  fill_or_unfill z33\3\0s
    --z33\3\0
    ..controls z33\3\1c1 and z33\3\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\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\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,
    33\1\12,
    33\1\13,
    33\2\0,
    33\2\1,
    33\2\2,
    33\3\0,
    33\3\1,
);
endchar;

beginchar (34, 17.586u#, 13.972u#, 0.000u#);
  "E3";
  z34\0\0s = (2.409u,0.723u);
  z34\0\0 = (2.650u,0.482u);
  z34\0\1c1 = (4.343u,0.994u);
  z34\0\1c2 = (5.295u,3.210u);
  z34\0\1 = (5.781u,4.818u);
  z34\0\2 = (6.263u,4.818u);
  z34\0\3c1 = (7.219u,2.481u);
  z34\0\3c2 = (6.917u,2.642u);
  z34\0\3 = (6.263u,0.482u);
  z34\0\4c1 = (8.856u,0.777u);
  z34\0\4c2 = (7.508u,4.099u);
  z34\0\4 = (7.709u,6.022u);
  z34\0\5 = (10.080u,5.659u);
  z34\0\6 = (12.527u,6.022u);
  z34\0\7 = (11.481u,2.972u);
  z34\0\8 = (10.118u,0.723u);
  z34\0\9c1 = (10.756u,0.769u);
  z34\0\9c2 = (11.240u,0.800u);
  z34\0\9 = (11.695u,1.313u);
  z34\0\10c1 = (12.322u,2.021u);
  z34\0\10c2 = (12.915u,4.575u);
  z34\0\10 = (13.857u,4.885u);
  z34\0\11c1 = (14.780u,5.190u);
  z34\0\11c2 = (15.132u,4.028u);
  z34\0\11 = (15.167u,3.363u);
  z34\0\12c1 = (15.248u,1.811u);
  z34\0\12c2 = (14.927u,1.950u);
  z34\0\12 = (14.454u,0.723u);
  z34\0\13 = (14.695u,0.482u);
  z34\0\14c1 = (16.215u,1.082u);
  z34\0\14c2 = (15.960u,2.032u);
  z34\0\14 = (15.899u,3.372u);
  z34\0\15 = (17.104u,2.891u);
  z34\0\16c1 = (17.251u,3.859u);
  z34\0\16c2 = (17.413u,4.752u);
  z34\0\16 = (17.304u,5.741u);
  z34\0\17 = (17.003u,7.465u);
  z34\0\18c1 = (17.020u,8.561u);
  z34\0\18c2 = (17.924u,9.412u);
  z34\0\18 = (17.323u,10.578u);
  z34\0\19c1 = (16.387u,12.397u);
  z34\0\19c2 = (11.371u,10.977u);
  z34\0\19 = (9.657u,11.103u);
  z34\0\20c1 = (7.888u,11.232u);
  z34\0\20c2 = (6.440u,11.688u);
  z34\0\20 = (4.818u,12.286u);
  z34\0\21 = (5.300u,13.972u);
  z34\0\22 = (3.819u,13.701u);
  z34\0\23 = (2.650u,13.925u);
  z34\0\24c1 = (1.611u,13.915u);
  z34\0\24c2 = (0.399u,12.129u);
  z34\0\24 = (0.169u,11.201u);
  z34\0\25c1 = (-0.272u,9.429u);
  z34\0\25c2 = (1.966u,9.994u);
  z34\0\25 = (2.682u,9.425u);
  z34\0\26 = (4.907u,5.772u);
  z34\0\27c1 = (5.066u,3.666u);
  z34\0\27c2 = (3.042u,2.352u);
  z34\1\0s = (3.132u,12.045u);
  z34\1\0 = (6.423u,11.000u);
  z34\1\1 = (12.870u,10.738u);
  z34\1\2 = (15.728u,10.428u);
  z34\1\3 = (14.936u,5.781u);
  z34\1\4 = (12.527u,8.672u);
  z34\1\5 = (13.249u,6.504u);
  z34\1\6c1 = (11.719u,6.996u);
  z34\1\6c2 = (8.429u,5.777u);
  z34\1\6 = (7.709u,7.227u);
  z34\1\7 = (7.227u,7.227u);
  z34\1\8 = (6.986u,5.059u);
  z34\1\9c1 = (5.139u,7.424u);
  z34\1\9c2 = (5.596u,7.867u);
  z34\1\9 = (6.022u,10.600u);
  z34\1\10c1 = (4.804u,10.003u);
  z34\1\10c2 = (5.059u,8.141u);
  z34\1\10 = (5.059u,6.986u);
  z34\1\11 = (2.926u,9.912u);
  z34\1\12 = (0.918u,10.748u);
  z34\1\13 = (1.445u,12.527u);
  z34\1\14 = (2.409u,11.804u);
  z34\1\15 = (1.686u,12.527u);
  z34\1\16 = (2.168u,13.490u);
  z34\1\17c1 = (3.144u,13.241u);
  z34\1\17c2 = (3.076u,12.994u);
  z34\2\0s = (16.622u,10.359u);
  z34\2\0 = (16.140u,6.745u);
  z34\3\0s = (15.781u,6.266u);
  fill_or_unfill z34\0\0s
    --z34\0\0
    ..controls z34\0\1c1 and z34\0\1c2..z34\0\1
    --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
    --z34\0\5
    --z34\0\6
    --z34\0\7
    --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..z34\0\14
    --z34\0\15
    ..controls z34\0\16c1 and z34\0\16c2..z34\0\16
    --z34\0\17
    ..controls z34\0\18c1 and z34\0\18c2..z34\0\18
    ..controls z34\0\19c1 and z34\0\19c2..z34\0\19
    ..controls z34\0\20c1 and z34\0\20c2..z34\0\20
    --z34\0\21
    --z34\0\22
    --z34\0\23
    ..controls z34\0\24c1 and z34\0\24c2..z34\0\24
    ..controls z34\0\25c1 and z34\0\25c2..z34\0\25
    --z34\0\26
    ..controls z34\0\27c1 and z34\0\27c2..cycle;
  fill_or_unfill z34\1\0s
    --z34\1\0
    --z34\1\1
    --z34\1\2
    --z34\1\3
    --z34\1\4
    --z34\1\5
    ..controls z34\1\6c1 and z34\1\6c2..z34\1\6
    --z34\1\7
    --z34\1\8
    ..controls z34\1\9c1 and z34\1\9c2..z34\1\9
    ..controls z34\1\10c1 and z34\1\10c2..z34\1\10
    --z34\1\11
    --z34\1\12
    --z34\1\13
    --z34\1\14
    --z34\1\15
    --z34\1\16
    ..controls z34\1\17c1 and z34\1\17c2..cycle;
  fill_or_unfill z34\2\0s
    --z34\2\0
    --cycle;
  fill_or_unfill z34\3\0s
    --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\0\23,
    34\0\24,
    34\0\25,
    34\0\26,
    34\0\27,
    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\1\10,
    34\1\11,
    34\1\12,
    34\1\13,
    34\1\14,
    34\1\15,
    34\1\16,
    34\1\17,
    34\2\0,
    34\2\1,
    34\3\0,
);
endchar;

beginchar (35, 18.790u#, 18.549u#, 0.000u#);
  "E4";
  z35\0\0s = (2.168u,12.527u);
  z35\0\0c1 = (1.420u,13.577u);
  z35\0\0c2 = (1.906u,16.792u);
  z35\0\0 = (0.000u,16.381u);
  z35\0\1 = (0.776u,15.230u);
  z35\0\2 = (1.362u,12.203u);
  z35\0\3 = (1.974u,10.696u);
  z35\0\4 = (0.649u,8.201u);
  z35\0\5 = (2.063u,5.385u);
  z35\0\6 = (0.723u,3.372u);
  z35\0\7c1 = (2.748u,2.811u);
  z35\0\7c2 = (3.775u,6.249u);
  z35\0\7 = (5.541u,2.891u);
  z35\0\8c1 = (3.358u,2.891u);
  z35\0\8c2 = (1.953u,3.631u);
  z35\0\8 = (1.927u,0.963u);
  z35\0\9 = (18.790u,0.963u);
  z35\0\10c1 = (18.790u,1.842u);
  z35\0\10c2 = (18.867u,2.793u);
  z35\0\10 = (18.570u,3.634u);
  z35\0\11c1 = (17.509u,6.634u);
  z35\0\11c2 = (12.573u,7.230u);
  z35\0\11 = (9.877u,7.468u);
  z35\0\12 = (12.286u,11.804u);
  z35\0\13 = (12.768u,11.804u);
  z35\0\14 = (15.417u,7.227u);
  z35\0\15c1 = (19.825u,8.040u);
  z35\0\15c2 = (14.190u,12.332u);
  z35\0\15 = (13.009u,13.972u);
  z35\0\16 = (8.841u,8.176u);
  z35\0\17 = (6.263u,9.395u);
  z35\0\18 = (6.986u,10.840u);
  z35\0\19 = (6.263u,10.840u);
  z35\0\20 = (8.913u,14.454u);
  z35\0\21c1 = (7.026u,14.357u);
  z35\0\21c2 = (6.830u,13.582u);
  z35\0\21 = (6.022u,12.045u);
  z35\0\22c1 = (4.945u,13.970u);
  z35\0\22c2 = (7.520u,16.157u);
  z35\0\22 = (7.354u,17.038u);
  z35\0\23c1 = (7.225u,17.723u);
  z35\0\23c2 = (4.507u,18.631u);
  z35\0\23 = (4.011u,18.135u);
  z35\0\24c1 = (3.482u,17.606u);
  z35\0\24c2 = (3.895u,16.703u);
  z35\0\24 = (3.727u,16.020u);
  z35\1\0s = (5.059u,17.586u);
  z35\1\0c1 = (5.194u,16.538u);
  z35\1\0c2 = (4.777u,14.799u);
  z35\1\0 = (3.854u,14.213u);
  z35\1\1 = (4.450u,16.020u);
  z35\1\2 = (4.577u,17.586u);
  z35\2\0s = (6.745u,17.104u);
  z35\2\0 = (5.300u,13.972u);
  z35\2\1c1 = (4.924u,15.036u);
  z35\2\1c2 = (5.628u,16.825u);
  z35\3\0s = (3.699u,13.385u);
  z35\3\0c1 = (5.473u,13.495u);
  z35\3\0c2 = (5.248u,11.597u);
  z35\3\0 = (4.193u,11.313u);
  z35\3\1c1 = (3.118u,11.023u);
  z35\3\1c2 = (2.367u,12.690u);
  z35\4\0s = (13.731u,12.045u);
  z35\5\0s = (13.972u,11.804u);
  z35\5\0 = (16.622u,8.431u);
  z35\5\1 = (15.658u,8.191u);
  z35\6\0s = (4.577u,10.359u);
  z35\6\0 = (4.095u,9.636u);
  z35\6\1 = (5.781u,8.913u);
  z35\6\2c1 = (4.881u,5.939u);
  z35\6\2c2 = (3.530u,7.901u);
  z35\6\2 = (1.445u,7.950u);
  z35\6\3c1 = (1.593u,9.252u);
  z35\6\3c2 = (1.850u,9.519u);
  z35\6\3 = (3.132u,9.395u);
  z35\6\4 = (2.650u,10.359u);
  z35\7\0s = (18.067u,1.686u);
  z35\7\0 = (2.650u,1.686u);
  z35\7\1 = (2.650u,2.168u);
  z35\7\2 = (6.745u,2.168u);
  z35\7\3c1 = (6.463u,3.450u);
  z35\7\3c2 = (4.654u,4.726u);
  z35\7\3 = (4.930u,6.196u);
  z35\7\4c1 = (4.993u,6.531u);
  z35\7\4c2 = (6.265u,8.131u);
  z35\7\4 = (6.577u,8.205u);
  z35\7\5 = (9.756u,6.865u);
  z35\7\6c1 = (13.056u,5.881u);
  z35\7\6c2 = (18.023u,6.494u);
  z35\8\0s = (3.132u,6.777u);
  z35\9\0s = (3.153u,5.353u);
  fill_or_unfill z35\0\0s
    ..controls z35\0\0c1 and z35\0\0c2..z35\0\0
    --z35\0\1
    --z35\0\2
    --z35\0\3
    --z35\0\4
    --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
    --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
    ..controls z35\0\15c1 and z35\0\15c2..z35\0\15
    --z35\0\16
    --z35\0\17
    --z35\0\18
    --z35\0\19
    --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
    ..controls z35\0\23c1 and z35\0\23c2..z35\0\23
    ..controls z35\0\24c1 and z35\0\24c2..z35\0\24
    --cycle;
  fill_or_unfill z35\1\0s
    ..controls z35\1\0c1 and z35\1\0c2..z35\1\0
    --z35\1\1
    --z35\1\2
    --cycle;
  fill_or_unfill z35\2\0s
    --z35\2\0
    ..controls z35\2\1c1 and z35\2\1c2..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
    --cycle;
  fill_or_unfill z35\5\0s
    --z35\5\0
    --z35\5\1
    --cycle;
  fill_or_unfill z35\6\0s
    --z35\6\0
    --z35\6\1
    ..controls z35\6\2c1 and z35\6\2c2..z35\6\2
    ..controls z35\6\3c1 and z35\6\3c2..z35\6\3
    --z35\6\4
    --cycle;
  fill_or_unfill z35\7\0s
    --z35\7\0
    --z35\7\1
    --z35\7\2
    ..controls z35\7\3c1 and z35\7\3c2..z35\7\3
    ..controls z35\7\4c1 and z35\7\4c2..z35\7\4
    --z35\7\5
    ..controls z35\7\6c1 and z35\7\6c2..cycle;
  fill_or_unfill z35\8\0s
    --cycle;
  fill_or_unfill z35\9\0s
    --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\0\24,
    35\0\25,
    35\1\0,
    35\1\1,
    35\1\2,
    35\1\3,
    35\2\0,
    35\2\1,
    35\3\0,
    35\3\1,
    35\4\0,
    35\5\0,
    35\5\1,
    35\5\2,
    35\6\0,
    35\6\1,
    35\6\2,
    35\6\3,
    35\6\4,
    35\6\5,
    35\7\0,
    35\7\1,
    35\7\2,
    35\7\3,
    35\7\4,
    35\7\5,
    35\7\6,
    35\8\0,
    35\9\0,
);
endchar;

beginchar (36, 17.826u#, 13.009u#, 0.000u#);
  "E5";
  z36\0\0s = (0.241u,0.963u);
  z36\0\0c1 = (2.345u,0.350u);
  z36\0\0c2 = (2.245u,3.718u);
  z36\0\0 = (2.891u,5.059u);
  z36\0\1c1 = (4.094u,3.785u);
  z36\0\1c2 = (3.432u,2.386u);
  z36\0\1 = (3.132u,0.963u);
  z36\0\2c1 = (5.245u,0.609u);
  z36\0\2c2 = (4.786u,3.122u);
  z36\0\2 = (4.818u,4.577u);
  z36\0\3 = (6.263u,4.095u);
  z36\0\4c1 = (6.015u,2.955u);
  z36\0\4c2 = (6.027u,1.549u);
  z36\0\4 = (7.227u,0.963u);
  z36\0\5 = (7.950u,2.891u);
  z36\0\6 = (9.154u,0.963u);
  z36\0\7c1 = (8.856u,1.811u);
  z36\0\7c2 = (8.194u,3.106u);
  z36\0\7 = (9.518u,3.461u);
  z36\0\8c1 = (9.792u,3.562u);
  z36\0\8c2 = (10.176u,3.587u);
  z36\0\8 = (10.431u,3.461u);
  z36\0\9c1 = (11.053u,3.078u);
  z36\0\9c2 = (10.541u,2.433u);
  z36\0\9 = (11.563u,1.927u);
  z36\0\10 = (11.322u,0.963u);
  z36\0\11c1 = (13.437u,1.082u);
  z36\0\11c2 = (13.514u,2.883u);
  z36\0\11 = (14.213u,4.577u);
  z36\0\12c1 = (15.832u,3.410u);
  z36\0\12c2 = (15.525u,2.638u);
  z36\0\12 = (14.936u,0.963u);
  z36\0\13 = (15.177u,0.723u);
  z36\0\14c1 = (16.285u,1.062u);
  z36\0\14c2 = (16.316u,1.281u);
  z36\0\14 = (16.381u,2.409u);
  z36\0\15c1 = (18.691u,2.784u);
  z36\0\15c2 = (17.364u,5.529u);
  z36\0\15 = (17.363u,6.986u);
  z36\0\16c1 = (17.363u,8.488u);
  z36\0\16c2 = (17.968u,10.417u);
  z36\0\16 = (16.743u,11.685u);
  z36\0\17c1 = (16.236u,12.210u);
  z36\0\17c2 = (14.583u,12.521u);
  z36\0\17 = (13.851u,12.604u);
  z36\0\18 = (8.913u,12.604u);
  z36\0\19c1 = (6.821u,12.530u);
  z36\0\19c2 = (3.933u,13.594u);
  z36\0\19 = (2.012u,12.604u);
  z36\0\20c1 = (0.504u,11.967u);
  z36\0\20c2 = (-0.062u,10.237u);
  z36\0\20 = (0.010u,8.682u);
  z36\0\21c1 = (0.142u,5.819u);
  z36\0\21c2 = (3.432u,7.037u);
  z36\1\0s = (14.936u,4.818u);
  z36\1\0 = (11.804u,8.913u);
  z36\1\1 = (13.009u,6.263u);
  z36\1\2 = (11.507u,7.152u);
  z36\1\3 = (9.326u,6.815u);
  z36\1\4 = (6.504u,6.986u);
  z36\1\5 = (6.504u,7.468u);
  z36\1\6 = (9.395u,8.191u);
  z36\1\7 = (9.154u,8.913u);
  z36\1\8c1 = (8.309u,8.628u);
  z36\1\8c2 = (5.923u,7.507u);
  z36\1\8 = (5.451u,8.582u);
  z36\1\9c1 = (4.963u,9.692u);
  z36\1\9c2 = (6.162u,10.896u);
  z36\1\9 = (4.818u,11.563u);
  z36\1\10c1 = (4.975u,10.651u);
  z36\1\10c2 = (5.077u,9.797u);
  z36\1\10 = (4.095u,9.395u);
  z36\1\11 = (4.336u,10.600u);
  z36\1\12c1 = (3.387u,10.149u);
  z36\1\12c2 = (3.161u,8.265u);
  z36\1\12 = (4.046u,7.745u);
  z36\1\13c1 = (4.192u,7.659u);
  z36\1\13c2 = (6.333u,7.884u);
  z36\1\13 = (5.392u,7.109u);
  z36\1\14 = (5.059u,6.986u);
  z36\1\15 = (5.300u,6.263u);
  z36\1\16 = (5.781u,6.745u);
  z36\1\17 = (6.745u,4.818u);
  z36\1\18c1 = (5.715u,4.920u);
  z36\1\18c2 = (1.340u,6.784u);
  z36\1\18 = (0.832u,7.577u);
  z36\1\19c1 = (-0.659u,9.902u);
  z36\1\19c2 = (1.935u,12.651u);
  z36\1\19 = (4.316u,12.504u);
  z36\1\20 = (9.396u,11.805u);
  z36\1\21c1 = (10.936u,11.787u);
  z36\1\21c2 = (14.817u,12.653u);
  z36\1\21 = (15.637u,11.060u);
  z36\1\22c1 = (16.396u,9.584u);
  z36\1\22c2 = (14.952u,6.607u);
  z36\2\0s = (16.863u,10.118u);
  z36\2\0 = (16.381u,4.336u);
  z36\2\1c1 = (14.878u,5.692u);
  z36\2\1c2 = (15.979u,8.595u);
  z36\3\0s = (9.636u,6.263u);
  z36\3\0c1 = (8.978u,4.792u);
  z36\3\0c2 = (7.624u,4.765u);
  z36\3\0 = (6.986u,6.263u);
  z36\4\0s = (11.322u,6.022u);
  z36\4\0c1 = (9.292u,4.163u);
  z36\4\0c2 = (10.233u,4.516u);
  z36\4\0 = (7.468u,3.613u);
  z36\4\1 = (10.600u,6.263u);
  z36\5\0s = (12.527u,2.891u);
  z36\5\0 = (11.081u,4.577u);
  z36\5\1c1 = (11.807u,6.386u);
  z36\5\1c2 = (13.278u,5.231u);
  z36\6\0s = (13.477u,5.295u);
  z36\7\0s = (11.449u,3.531u);
  z36\8\0s = (12.023u,2.221u);
  fill_or_unfill z36\0\0s
    ..controls z36\0\0c1 and z36\0\0c2..z36\0\0
    ..controls z36\0\1c1 and z36\0\1c2..z36\0\1
    ..controls z36\0\2c1 and z36\0\2c2..z36\0\2
    --z36\0\3
    ..controls z36\0\4c1 and z36\0\4c2..z36\0\4
    --z36\0\5
    --z36\0\6
    ..controls z36\0\7c1 and z36\0\7c2..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
    --z36\0\10
    ..controls z36\0\11c1 and z36\0\11c2..z36\0\11
    ..controls z36\0\12c1 and z36\0\12c2..z36\0\12
    --z36\0\13
    ..controls z36\0\14c1 and z36\0\14c2..z36\0\14
    ..controls z36\0\15c1 and z36\0\15c2..z36\0\15
    ..controls z36\0\16c1 and z36\0\16c2..z36\0\16
    ..controls z36\0\17c1 and z36\0\17c2..z36\0\17
    --z36\0\18
    ..controls z36\0\19c1 and z36\0\19c2..z36\0\19
    ..controls z36\0\20c1 and z36\0\20c2..z36\0\20
    ..controls z36\0\21c1 and z36\0\21c2..cycle;
  fill_or_unfill z36\1\0s
    --z36\1\0
    --z36\1\1
    --z36\1\2
    --z36\1\3
    --z36\1\4
    --z36\1\5
    --z36\1\6
    --z36\1\7
    ..controls z36\1\8c1 and z36\1\8c2..z36\1\8
    ..controls z36\1\9c1 and z36\1\9c2..z36\1\9
    ..controls z36\1\10c1 and z36\1\10c2..z36\1\10
    --z36\1\11
    ..controls z36\1\12c1 and z36\1\12c2..z36\1\12
    ..controls z36\1\13c1 and z36\1\13c2..z36\1\13
    --z36\1\14
    --z36\1\15
    --z36\1\16
    --z36\1\17
    ..controls z36\1\18c1 and z36\1\18c2..z36\1\18
    ..controls z36\1\19c1 and z36\1\19c2..z36\1\19
    --z36\1\20
    ..controls z36\1\21c1 and z36\1\21c2..z36\1\21
    ..controls z36\1\22c1 and z36\1\22c2..cycle;
  fill_or_unfill z36\2\0s
    --z36\2\0
    ..controls z36\2\1c1 and z36\2\1c2..cycle;
  fill_or_unfill z36\3\0s
    ..controls z36\3\0c1 and z36\3\0c2..z36\3\0
    --cycle;
  fill_or_unfill z36\4\0s
    ..controls z36\4\0c1 and z36\4\0c2..z36\4\0
    --z36\4\1
    --cycle;
  fill_or_unfill z36\5\0s
    --z36\5\0
    ..controls z36\5\1c1 and z36\5\1c2..cycle;
  fill_or_unfill z36\6\0s
    --cycle;
  fill_or_unfill z36\7\0s
    --cycle;
  fill_or_unfill z36\8\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\1\0,
    36\1\1,
    36\1\2,
    36\1\3,
    36\1\4,
    36\1\5,
    36\1\6,
    36\1\7,
    36\1\8,
    36\1\9,
    36\1\10,
    36\1\11,
    36\1\12,
    36\1\13,
    36\1\14,
    36\1\15,
    36\1\16,
    36\1\17,
    36\1\18,
    36\1\19,
    36\1\20,
    36\1\21,
    36\1\22,
    36\2\0,
    36\2\1,
    36\3\0,
    36\3\1,
    36\4\0,
    36\4\1,
    36\4\2,
    36\5\0,
    36\5\1,
    36\6\0,
    36\7\0,
    36\8\0,
);
endchar;

beginchar (37, 16.622u#, 18.067u#, 0.000u#);
  "E6";
  z37\0\0s = (2.891u,18.067u);
  z37\0\0 = (3.372u,16.622u);
  z37\0\1c1 = (2.300u,15.138u);
  z37\0\1c2 = (1.741u,15.969u);
  z37\0\1 = (1.686u,13.731u);
  z37\0\2 = (3.372u,13.972u);
  z37\0\3 = (2.900u,11.072u);
  z37\0\4 = (3.202u,8.317u);
  z37\0\5 = (1.794u,6.637u);
  z37\0\6 = (0.000u,1.445u);
  z37\0\7 = (0.863u,1.787u);
  z37\0\8 = (2.650u,6.263u);
  z37\0\9 = (2.168u,1.445u);
  z37\0\10c1 = (3.965u,2.252u);
  z37\0\10c2 = (3.104u,5.085u);
  z37\0\10 = (4.545u,6.296u);
  z37\0\11 = (6.344u,7.369u);
  z37\0\12c1 = (7.335u,7.592u);
  z37\0\12c2 = (11.434u,6.865u);
  z37\0\12 = (11.210u,5.365u);
  z37\0\13c1 = (11.071u,4.433u);
  z37\0\13c2 = (9.005u,2.619u);
  z37\0\13 = (8.431u,1.686u);
  z37\0\14c1 = (10.113u,1.226u);
  z37\0\14c2 = (11.972u,4.849u);
  z37\0\14 = (12.045u,6.263u);
  z37\0\15 = (13.304u,5.402u);
  z37\0\16 = (11.322u,1.688u);
  z37\0\17 = (12.302u,1.688u);
  z37\0\18 = (14.250u,5.347u);
  z37\0\19 = (13.898u,7.104u);
  z37\0\20 = (15.177u,11.322u);
  z37\0\21c1 = (16.540u,10.447u);
  z37\0\21c2 = (15.122u,8.657u);
  z37\0\21 = (14.977u,7.427u);
  z37\0\22c1 = (14.849u,6.334u);
  z37\0\22c2 = (15.050u,5.356u);
  z37\0\22 = (15.417u,4.336u);
  z37\0\23c1 = (16.146u,5.135u);
  z37\0\23c2 = (15.821u,6.184u);
  z37\0\23 = (15.941u,7.186u);
  z37\0\24 = (16.578u,9.914u);
  z37\0\25c1 = (16.750u,11.942u);
  z37\0\25c2 = (15.831u,11.988u);
  z37\0\25 = (14.297u,12.172u);
  z37\0\26c1 = (13.724u,12.240u);
  z37\0\26c2 = (13.220u,12.492u);
  z37\0\26 = (12.629u,12.382u);
  z37\0\27c1 = (11.123u,12.101u);
  z37\0\27c2 = (9.514u,10.555u);
  z37\0\27 = (7.899u,11.271u);
  z37\0\28c1 = (6.980u,11.679u);
  z37\0\28c2 = (7.236u,13.141u);
  z37\0\28 = (7.226u,13.971u);
  z37\0\29c1 = (7.180u,17.809u);
  z37\0\29c2 = (5.606u,17.085u);
  z37\1\0s = (13.009u,6.504u);
  z37\1\0c1 = (11.152u,7.483u);
  z37\1\0c2 = (11.529u,8.549u);
  z37\1\0 = (11.804u,10.359u);
  z37\1\1 = (10.600u,7.468u);
  z37\1\2 = (7.289u,8.012u);
  z37\1\3 = (5.541u,8.672u);
  z37\1\4 = (5.059u,7.227u);
  z37\1\5c1 = (4.506u,8.307u);
  z37\1\5c2 = (3.457u,9.099u);
  z37\1\5 = (3.404u,10.371u);
  z37\1\6c1 = (3.283u,13.245u);
  z37\1\6c2 = (5.328u,14.657u);
  z37\1\6 = (5.427u,15.242u);
  z37\1\7c1 = (5.520u,15.794u);
  z37\1\7c2 = (5.235u,15.934u);
  z37\1\7 = (4.818u,16.140u);
  z37\1\8c1 = (4.656u,14.830u);
  z37\1\8c2 = (3.577u,14.700u);
  z37\1\8 = (2.409u,14.454u);
  z37\1\9 = (4.095u,15.177u);
  z37\1\10 = (4.336u,15.417u);
  z37\1\11 = (4.095u,16.381u);
  z37\1\12c1 = (8.111u,17.660u);
  z37\1\12c2 = (5.496u,12.071u);
  z37\1\12 = (6.583u,11.160u);
  z37\1\13c1 = (7.165u,10.672u);
  z37\1\13c2 = (8.370u,10.334u);
  z37\1\13 = (9.116u,10.403u);
  z37\1\14c1 = (10.414u,10.524u);
  z37\1\14c2 = (13.531u,12.777u);
  z37\1\14 = (14.271u,10.932u);
  z37\1\15c1 = (14.524u,10.407u);
  z37\1\15c2 = (14.460u,9.643u);
  z37\1\15 = (14.271u,9.129u);
  fill_or_unfill z37\0\0s
    --z37\0\0
    ..controls z37\0\1c1 and z37\0\1c2..z37\0\1
    --z37\0\2
    --z37\0\3
    --z37\0\4
    --z37\0\5
    --z37\0\6
    --z37\0\7
    --z37\0\8
    --z37\0\9
    ..controls z37\0\10c1 and z37\0\10c2..z37\0\10
    --z37\0\11
    ..controls z37\0\12c1 and z37\0\12c2..z37\0\12
    ..controls z37\0\13c1 and z37\0\13c2..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
    ..controls z37\0\21c1 and z37\0\21c2..z37\0\21
    ..controls z37\0\22c1 and z37\0\22c2..z37\0\22
    ..controls z37\0\23c1 and z37\0\23c2..z37\0\23
    --z37\0\24
    ..controls z37\0\25c1 and z37\0\25c2..z37\0\25
    ..controls z37\0\26c1 and z37\0\26c2..z37\0\26
    ..controls z37\0\27c1 and z37\0\27c2..z37\0\27
    ..controls z37\0\28c1 and z37\0\28c2..z37\0\28
    ..controls z37\0\29c1 and z37\0\29c2..cycle;
  fill_or_unfill z37\1\0s
    ..controls z37\1\0c1 and z37\1\0c2..z37\1\0
    --z37\1\1
    --z37\1\2
    --z37\1\3
    --z37\1\4
    ..controls z37\1\5c1 and z37\1\5c2..z37\1\5
    ..controls z37\1\6c1 and z37\1\6c2..z37\1\6
    ..controls z37\1\7c1 and z37\1\7c2..z37\1\7
    ..controls z37\1\8c1 and z37\1\8c2..z37\1\8
    --z37\1\9
    --z37\1\10
    --z37\1\11
    ..controls z37\1\12c1 and z37\1\12c2..z37\1\12
    ..controls z37\1\13c1 and z37\1\13c2..z37\1\13
    ..controls z37\1\14c1 and z37\1\14c2..z37\1\14
    ..controls z37\1\15c1 and z37\1\15c2..z37\1\15
    --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\0\24,
    37\0\25,
    37\0\26,
    37\0\27,
    37\0\28,
    37\0\29,
    37\1\0,
    37\1\1,
    37\1\2,
    37\1\3,
    37\1\4,
    37\1\5,
    37\1\6,
    37\1\7,
    37\1\8,
    37\1\9,
    37\1\10,
    37\1\11,
    37\1\12,
    37\1\13,
    37\1\14,
    37\1\15,
    37\1\16,
);
endchar;

beginchar (38, 15.658u#, 16.381u#, 0.000u#);
  "E7";
  z38\0\0s = (2.891u,2.168u);
  z38\0\0c1 = (4.918u,2.324u);
  z38\0\0c2 = (5.245u,4.948u);
  z38\0\0 = (6.022u,6.504u);
  z38\0\1 = (7.057u,3.259u);
  z38\0\2 = (6.263u,1.927u);
  z38\0\3c1 = (8.850u,2.077u);
  z38\0\3c2 = (7.469u,5.144u);
  z38\0\3 = (7.468u,6.986u);
  z38\0\4 = (11.563u,6.745u);
  z38\0\5c1 = (11.507u,4.246u);
  z38\0\5c2 = (11.130u,4.092u);
  z38\0\5 = (9.877u,2.168u);
  z38\0\6c1 = (12.483u,1.735u);
  z38\0\6c2 = (11.049u,5.675u);
  z38\0\6 = (13.490u,6.263u);
  z38\0\7c1 = (14.444u,3.792u);
  z38\0\7c2 = (14.559u,4.320u);
  z38\0\7 = (13.009u,2.168u);
  z38\0\8c1 = (15.323u,1.543u);
  z38\0\8c2 = (13.911u,4.131u);
  z38\0\8 = (15.658u,4.577u);
  z38\0\9c1 = (15.658u,15.451u);
  z38\0\9c2 = (10.525u,7.987u);
  z38\0\9 = (4.818u,12.045u);
  z38\0\10 = (7.709u,15.658u);
  z38\0\11 = (6.022u,15.417u);
  z38\0\12 = (6.022u,16.381u);
  z38\0\13c1 = (5.154u,16.194u);
  z38\0\13c2 = (4.361u,15.681u);
  z38\0\13 = (3.684u,15.106u);
  z38\0\14c1 = (2.868u,14.414u);
  z38\0\14c2 = (-0.431u,10.328u);
  z38\0\14 = (0.208u,9.357u);
  z38\0\15c1 = (1.061u,8.062u);
  z38\0\15c2 = (2.362u,10.519u);
  z38\0\15 = (3.234u,10.173u);
  z38\0\16c1 = (3.692u,9.992u);
  z38\0\16c2 = (4.002u,9.191u);
  z38\0\16 = (4.197u,8.774u);
  z38\0\17c1 = (4.412u,8.315u);
  z38\0\17c2 = (4.852u,7.869u);
  z38\0\17 = (4.960u,7.387u);
  z38\0\18c1 = (5.360u,5.604u);
  z38\0\18c2 = (3.846u,3.494u);
  z38\1\0s = (4.577u,14.936u);
  z38\1\0 = (3.613u,13.972u);
  z38\2\0s = (6.263u,14.695u);
  z38\2\0 = (3.854u,12.527u);
  z38\2\1 = (3.854u,12.045u);
  z38\2\2c1 = (6.278u,10.767u);
  z38\2\2c2 = (5.908u,10.543u);
  z38\2\2 = (5.541u,8.191u);
  z38\2\3 = (3.372u,11.322u);
  z38\2\4 = (0.723u,9.636u);
  z38\2\5 = (1.204u,11.322u);
  z38\2\6 = (2.409u,11.322u);
  z38\2\7 = (1.927u,11.804u);
  z38\3\0s = (3.613u,13.972u);
  z38\4\0s = (13.731u,6.986u);
  z38\4\0 = (11.563u,9.154u);
  z38\4\1 = (12.045u,7.709u);
  z38\4\2c1 = (9.974u,6.862u);
  z38\4\2c2 = (8.307u,7.721u);
  z38\4\2 = (6.263u,7.950u);
  z38\4\3c1 = (6.270u,8.634u);
  z38\4\3c2 = (6.201u,9.581u);
  z38\4\3 = (6.802u,10.061u);
  z38\4\4c1 = (7.291u,10.453u);
  z38\4\4c2 = (13.593u,10.190u);
  z38\4\4 = (13.921u,9.627u);
  z38\4\5c1 = (14.192u,9.161u);
  z38\4\5c2 = (13.784u,7.587u);
  z38\5\0s = (14.936u,8.431u);
  z38\5\0 = (15.177u,5.300u);
  z38\5\1c1 = (13.928u,6.074u);
  z38\5\1c2 = (14.268u,7.204u);
  z38\5\1 = (14.454u,8.431u);
  fill_or_unfill z38\0\0s
    ..controls z38\0\0c1 and z38\0\0c2..z38\0\0
    --z38\0\1
    --z38\0\2
    ..controls z38\0\3c1 and z38\0\3c2..z38\0\3
    --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
    ..controls z38\0\8c1 and z38\0\8c2..z38\0\8
    ..controls z38\0\9c1 and z38\0\9c2..z38\0\9
    --z38\0\10
    --z38\0\11
    --z38\0\12
    ..controls z38\0\13c1 and z38\0\13c2..z38\0\13
    ..controls z38\0\14c1 and z38\0\14c2..z38\0\14
    ..controls z38\0\15c1 and z38\0\15c2..z38\0\15
    ..controls z38\0\16c1 and z38\0\16c2..z38\0\16
    ..controls z38\0\17c1 and z38\0\17c2..z38\0\17
    ..controls z38\0\18c1 and z38\0\18c2..cycle;
  fill_or_unfill z38\1\0s
    --z38\1\0
    --cycle;
  fill_or_unfill z38\2\0s
    --z38\2\0
    --z38\2\1
    ..controls z38\2\2c1 and z38\2\2c2..z38\2\2
    --z38\2\3
    --z38\2\4
    --z38\2\5
    --z38\2\6
    --z38\2\7
    --cycle;
  fill_or_unfill z38\3\0s
    --cycle;
  fill_or_unfill z38\4\0s
    --z38\4\0
    --z38\4\1
    ..controls z38\4\2c1 and z38\4\2c2..z38\4\2
    ..controls z38\4\3c1 and z38\4\3c2..z38\4\3
    ..controls z38\4\4c1 and z38\4\4c2..z38\4\4
    ..controls z38\4\5c1 and z38\4\5c2..cycle;
  fill_or_unfill z38\5\0s
    --z38\5\0
    ..controls z38\5\1c1 and z38\5\1c2..z38\5\1
    --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\1\0,
    38\1\1,
    38\2\0,
    38\2\1,
    38\2\2,
    38\2\3,
    38\2\4,
    38\2\5,
    38\2\6,
    38\2\7,
    38\2\8,
    38\3\0,
    38\4\0,
    38\4\1,
    38\4\2,
    38\4\3,
    38\4\4,
    38\4\5,
    38\5\0,
    38\5\1,
    38\5\2,
);
endchar;

beginchar (39, 17.826u#, 17.104u#, 0.000u#);
  "E8";
  z39\0\0s = (2.891u,2.650u);
  z39\0\0c1 = (6.093u,1.688u);
  z39\0\0c2 = (6.413u,11.205u);
  z39\0\0 = (8.281u,5.872u);
  z39\0\1 = (8.729u,4.641u);
  z39\0\2c1 = (8.950u,3.878u);
  z39\0\2c2 = (8.586u,3.381u);
  z39\0\2 = (8.431u,2.650u);
  z39\0\3c1 = (12.486u,3.066u);
  z39\0\3c2 = (7.728u,7.210u);
  z39\0\3 = (9.557u,8.250u);
  z39\0\4c1 = (10.033u,8.521u);
  z39\0\4c2 = (10.739u,7.996u);
  z39\0\4 = (11.302u,8.017u);
  z39\0\5 = (13.490u,8.672u);
  z39\0\6 = (13.088u,4.979u);
  z39\0\7 = (12.045u,2.891u);
  z39\0\8c1 = (14.355u,2.948u);
  z39\0\8c2 = (13.875u,3.811u);
  z39\0\8 = (14.429u,5.566u);
  z39\0\9 = (15.177u,7.709u);
  z39\0\10c1 = (17.275u,6.880u);
  z39\0\10c2 = (16.222u,4.351u);
  z39\0\10 = (15.658u,2.891u);
  z39\0\11c1 = (17.856u,2.297u);
  z39\0\11c2 = (17.957u,5.930u);
  z39\0\11 = (17.645u,7.326u);
  z39\0\12c1 = (17.437u,8.261u);
  z39\0\12c2 = (16.697u,8.362u);
  z39\0\12 = (16.667u,9.397u);
  z39\0\13 = (17.282u,13.027u);
  z39\0\14c1 = (17.298u,13.918u);
  z39\0\14c2 = (16.968u,14.427u);
  z39\0\14 = (16.140u,14.695u);
  z39\0\15 = (16.622u,13.249u);
  z39\0\16c1 = (15.344u,13.444u);
  z39\0\16c2 = (14.106u,13.586u);
  z39\0\16 = (12.808u,13.450u);
  z39\0\17c1 = (11.266u,13.287u);
  z39\0\17c2 = (9.561u,12.861u);
  z39\0\17 = (8.018u,13.077u);
  z39\0\18c1 = (7.108u,13.205u);
  z39\0\18c2 = (4.890u,13.649u);
  z39\0\18 = (4.690u,14.761u);
  z39\0\19c1 = (4.551u,15.532u);
  z39\0\19c2 = (5.849u,16.420u);
  z39\0\19 = (5.097u,16.838u);
  z39\0\20c1 = (4.618u,17.104u);
  z39\0\20c2 = (3.826u,16.547u);
  z39\0\20 = (3.399u,16.355u);
  z39\0\21 = (1.795u,15.790u);
  z39\0\22c1 = (1.242u,15.433u);
  z39\0\22c2 = (-0.006u,13.210u);
  z39\0\22 = (0.073u,12.556u);
  z39\0\23c1 = (0.254u,11.079u);
  z39\0\23c2 = (1.875u,12.835u);
  z39\0\23 = (2.964u,11.877u);
  z39\0\24c1 = (3.356u,11.531u);
  z39\0\24c2 = (5.298u,8.993u);
  z39\0\24 = (5.374u,8.587u);
  z39\0\25c1 = (5.460u,8.128u);
  z39\0\25c2 = (4.466u,4.934u);
  z39\0\25 = (4.209u,4.463u);
  z39\1\0s = (3.372u,15.417u);
  z39\1\0c1 = (4.975u,9.812u);
  z39\1\0c2 = (15.005u,14.050u);
  z39\1\0 = (16.175u,12.321u);
  z39\1\1c1 = (16.558u,11.756u);
  z39\1\1c2 = (15.907u,9.320u);
  z39\1\1 = (15.899u,8.431u);
  z39\1\2 = (13.009u,10.118u);
  z39\1\3c1 = (12.552u,8.225u);
  z39\1\3c2 = (9.628u,8.840u);
  z39\1\3 = (8.191u,9.154u);
  z39\1\4 = (8.431u,7.468u);
  z39\1\5c1 = (6.631u,8.765u);
  z39\1\5c2 = (6.506u,9.676u);
  z39\1\5 = (6.504u,11.804u);
  z39\1\6c1 = (5.510u,11.310u);
  z39\1\6c2 = (5.729u,10.308u);
  z39\1\6 = (6.022u,9.395u);
  z39\1\7c1 = (4.697u,9.919u);
  z39\1\7c2 = (3.405u,12.345u);
  z39\1\7 = (3.372u,13.731u);
  z39\1\8 = (0.963u,12.527u);
  z39\1\9 = (0.723u,12.768u);
  z39\1\10 = (2.650u,14.454u);
  z39\1\11 = (2.168u,15.417u);
  z39\2\0s = (14.454u,8.672u);
  z39\2\0 = (14.213u,6.986u);
  fill_or_unfill z39\0\0s
    ..controls z39\0\0c1 and z39\0\0c2..z39\0\0
    --z39\0\1
    ..controls z39\0\2c1 and z39\0\2c2..z39\0\2
    ..controls z39\0\3c1 and z39\0\3c2..z39\0\3
    ..controls z39\0\4c1 and z39\0\4c2..z39\0\4
    --z39\0\5
    --z39\0\6
    --z39\0\7
    ..controls z39\0\8c1 and z39\0\8c2..z39\0\8
    --z39\0\9
    ..controls z39\0\10c1 and z39\0\10c2..z39\0\10
    ..controls z39\0\11c1 and z39\0\11c2..z39\0\11
    ..controls z39\0\12c1 and z39\0\12c2..z39\0\12
    --z39\0\13
    ..controls z39\0\14c1 and z39\0\14c2..z39\0\14
    --z39\0\15
    ..controls z39\0\16c1 and z39\0\16c2..z39\0\16
    ..controls z39\0\17c1 and z39\0\17c2..z39\0\17
    ..controls z39\0\18c1 and z39\0\18c2..z39\0\18
    ..controls z39\0\19c1 and z39\0\19c2..z39\0\19
    ..controls z39\0\20c1 and z39\0\20c2..z39\0\20
    --z39\0\21
    ..controls z39\0\22c1 and z39\0\22c2..z39\0\22
    ..controls z39\0\23c1 and z39\0\23c2..z39\0\23
    ..controls z39\0\24c1 and z39\0\24c2..z39\0\24
    ..controls z39\0\25c1 and z39\0\25c2..z39\0\25
    --cycle;
  fill_or_unfill z39\1\0s
    ..controls z39\1\0c1 and z39\1\0c2..z39\1\0
    ..controls z39\1\1c1 and z39\1\1c2..z39\1\1
    --z39\1\2
    ..controls z39\1\3c1 and z39\1\3c2..z39\1\3
    --z39\1\4
    ..controls z39\1\5c1 and z39\1\5c2..z39\1\5
    ..controls z39\1\6c1 and z39\1\6c2..z39\1\6
    ..controls z39\1\7c1 and z39\1\7c2..z39\1\7
    --z39\1\8
    --z39\1\9
    --z39\1\10
    --z39\1\11
    --cycle;
  fill_or_unfill z39\2\0s
    --z39\2\0
    --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\0\22,
    39\0\23,
    39\0\24,
    39\0\25,
    39\0\26,
    39\1\0,
    39\1\1,
    39\1\2,
    39\1\3,
    39\1\4,
    39\1\5,
    39\1\6,
    39\1\7,
    39\1\8,
    39\1\9,
    39\1\10,
    39\1\11,
    39\1\12,
    39\2\0,
    39\2\1,
);
endchar;

beginchar (40, 14.454u#, 19.031u#, 0.000u#);
  "E8*";
  z40\0\0s = (5.059u,12.527u);
  z40\0\0 = (2.958u,13.138u);
  z40\0\1 = (0.000u,9.636u);
  z40\0\2 = (3.854u,12.045u);
  z40\0\3 = (2.770u,10.961u);
  z40\0\4 = (0.963u,7.468u);
  z40\0\5c1 = (3.159u,7.951u);
  z40\0\5c2 = (2.559u,9.458u);
  z40\0\5 = (3.259u,10.224u);
  z40\0\6c1 = (4.299u,11.362u);
  z40\0\6c2 = (8.610u,7.991u);
  z40\0\6 = (9.877u,7.468u);
  z40\0\7 = (10.305u,4.370u);
  z40\0\8 = (8.913u,1.445u);
  z40\0\9c1 = (10.523u,1.800u);
  z40\0\9c2 = (11.138u,3.620u);
  z40\0\9 = (11.563u,5.059u);
  z40\0\10c1 = (13.908u,4.147u);
  z40\0\10c2 = (11.736u,2.633u);
  z40\0\10 = (12.045u,1.204u);
  z40\0\11c1 = (14.783u,3.184u);
  z40\0\11c2 = (12.892u,4.489u);
  z40\0\11 = (13.096u,5.954u);
  z40\0\12c1 = (13.253u,7.079u);
  z40\0\12c2 = (14.135u,7.858u);
  z40\0\12 = (14.454u,8.913u);
  z40\0\13 = (11.697u,11.215u);
  z40\0\14 = (8.652u,12.748u);
  z40\0\15 = (7.950u,16.140u);
  z40\0\16c1 = (9.252u,16.259u);
  z40\0\16c2 = (10.052u,16.436u);
  z40\0\16 = (10.359u,17.826u);
  z40\0\17c1 = (9.574u,18.138u);
  z40\0\17c2 = (9.588u,18.870u);
  z40\0\17 = (8.884u,18.957u);
  z40\0\18c1 = (7.920u,19.078u);
  z40\0\18c2 = (7.576u,18.195u);
  z40\0\18 = (6.429u,18.246u);
  z40\0\19c1 = (5.505u,18.288u);
  z40\0\19c2 = (3.314u,16.899u);
  z40\0\19 = (3.246u,15.882u);
  z40\0\20c1 = (3.123u,14.045u);
  z40\0\20c2 = (6.415u,16.288u);
  z40\1\0s = (10.600u,6.022u);
  z40\1\0 = (10.600u,8.672u);
  z40\1\1c1 = (9.147u,8.368u);
  z40\1\1c2 = (7.176u,9.252u);
  z40\1\1 = (6.986u,10.840u);
  z40\1\2 = (6.022u,10.840u);
  z40\1\3 = (6.504u,15.658u);
  z40\1\4 = (4.095u,15.658u);
  z40\1\5c1 = (4.796u,16.566u);
  z40\1\5c2 = (5.939u,15.857u);
  z40\1\5 = (5.541u,17.345u);
  z40\1\6c1 = (6.611u,17.262u);
  z40\1\6c2 = (6.843u,17.136u);
  z40\1\6 = (7.170u,16.083u);
  z40\1\7c1 = (7.540u,14.893u);
  z40\1\7c2 = (7.258u,13.374u);
  z40\1\7 = (8.026u,12.363u);
  z40\1\8c1 = (9.132u,10.906u);
  z40\1\8c2 = (12.901u,10.624u);
  z40\1\8 = (13.047u,8.385u);
  z40\1\9c1 = (13.108u,7.447u);
  z40\1\9c2 = (11.291u,6.514u);
  z40\2\0s = (12.286u,6.263u);
  fill_or_unfill z40\0\0s
    --z40\0\0
    --z40\0\1
    --z40\0\2
    --z40\0\3
    --z40\0\4
    ..controls z40\0\5c1 and z40\0\5c2..z40\0\5
    ..controls z40\0\6c1 and z40\0\6c2..z40\0\6
    --z40\0\7
    --z40\0\8
    ..controls z40\0\9c1 and z40\0\9c2..z40\0\9
    ..controls z40\0\10c1 and z40\0\10c2..z40\0\10
    ..controls z40\0\11c1 and z40\0\11c2..z40\0\11
    ..controls z40\0\12c1 and z40\0\12c2..z40\0\12
    --z40\0\13
    --z40\0\14
    --z40\0\15
    ..controls z40\0\16c1 and z40\0\16c2..z40\0\16
    ..controls z40\0\17c1 and z40\0\17c2..z40\0\17
    ..controls z40\0\18c1 and z40\0\18c2..z40\0\18
    ..controls z40\0\19c1 and z40\0\19c2..z40\0\19
    ..controls z40\0\20c1 and z40\0\20c2..cycle;
  fill_or_unfill z40\1\0s
    --z40\1\0
    ..controls z40\1\1c1 and z40\1\1c2..z40\1\1
    --z40\1\2
    --z40\1\3
    --z40\1\4
    ..controls z40\1\5c1 and z40\1\5c2..z40\1\5
    ..controls z40\1\6c1 and z40\1\6c2..z40\1\6
    ..controls z40\1\7c1 and z40\1\7c2..z40\1\7
    ..controls z40\1\8c1 and z40\1\8c2..z40\1\8
    ..controls z40\1\9c1 and z40\1\9c2..cycle;
  fill_or_unfill z40\2\0s
    --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\0\8,
    40\0\9,
    40\0\10,
    40\0\11,
    40\0\12,
    40\0\13,
    40\0\14,
    40\0\15,
    40\0\16,
    40\0\17,
    40\0\18,
    40\0\19,
    40\0\20,
    40\1\0,
    40\1\1,
    40\1\2,
    40\1\3,
    40\1\4,
    40\1\5,
    40\1\6,
    40\1\7,
    40\1\8,
    40\1\9,
    40\2\0,
);
endchar;

beginchar (41, 18.067u#, 14.936u#, 0.000u#);
  "E9";
  z41\0\0s = (1.204u,14.936u);
  z41\0\0 = (0.963u,14.695u);
  z41\0\1c1 = (1.812u,11.771u);
  z41\0\1c2 = (-0.082u,10.927u);
  z41\0\1 = (0.067u,8.695u);
  z41\0\2c1 = (0.145u,7.526u);
  z41\0\2c2 = (1.259u,7.349u);
  z41\0\2 = (1.956u,8.161u);
  z41\0\3c1 = (2.285u,8.543u);
  z41\0\3c2 = (2.458u,9.170u);
  z41\0\3 = (2.650u,9.636u);
  z41\0\4 = (4.577u,7.709u);
  z41\0\5 = (1.774u,6.898u);
  z41\0\6 = (1.620u,5.468u);
  z41\0\7 = (8.431u,5.300u);
  z41\0\8 = (8.431u,6.263u);
  z41\0\9 = (9.154u,6.022u);
  z41\0\10 = (8.913u,4.818u);
  z41\0\11 = (9.877u,5.541u);
  z41\0\12 = (16.622u,5.541u);
  z41\0\13 = (17.104u,1.686u);
  z41\0\14c1 = (17.424u,1.768u);
  z41\0\14c2 = (17.706u,1.782u);
  z41\0\14 = (17.895u,2.099u);
  z41\0\15c1 = (18.241u,2.672u);
  z41\0\15c2 = (17.986u,3.999u);
  z41\0\15 = (17.895u,4.645u);
  z41\0\16c1 = (17.356u,8.487u);
  z41\0\16c2 = (15.674u,10.580u);
  z41\0\16 = (11.563u,10.599u);
  z41\0\17c1 = (10.760u,10.603u);
  z41\0\17c2 = (6.051u,10.632u);
  z41\0\17 = (5.675u,10.968u);
  z41\0\18c1 = (4.789u,11.761u);
  z41\0\18c2 = (7.374u,13.116u);
  z41\0\18 = (7.709u,14.213u);
  z41\0\19 = (7.468u,14.454u);
  z41\0\20 = (4.095u,13.249u);
  z41\0\21 = (4.336u,14.695u);
  z41\0\22c1 = (1.782u,13.753u);
  z41\0\22c2 = (3.331u,14.099u);
  z41\1\0s = (3.372u,13.249u);
  z41\1\0c1 = (3.691u,11.499u);
  z41\1\0c2 = (4.591u,10.495u);
  z41\1\0 = (6.263u,9.877u);
  z41\1\1c1 = (5.870u,7.750u);
  z41\1\1c2 = (4.140u,8.738u);
  z41\1\1 = (3.616u,10.041u);
  z41\1\2c1 = (3.489u,10.360u);
  z41\1\2c2 = (3.591u,10.973u);
  z41\1\2 = (3.616u,11.322u);
  z41\1\3 = (1.204u,8.431u);
  z41\1\4c1 = (0.621u,10.256u);
  z41\1\4c2 = (2.170u,10.857u);
  z41\1\4 = (2.209u,11.358u);
  z41\1\5 = (2.209u,13.249u);
  z41\2\0s = (5.300u,12.768u);
  z41\2\0 = (4.336u,12.045u);
  z41\3\0s = (13.490u,9.636u);
  z41\3\0c1 = (11.244u,8.493u);
  z41\3\0c2 = (12.338u,8.477u);
  z41\3\0 = (13.009u,6.745u);
  z41\3\1 = (7.709u,7.145u);
  z41\3\2 = (5.452u,6.352u);
  z41\3\3 = (2.168u,6.022u);
  z41\3\4c1 = (3.333u,7.837u);
  z41\3\4c2 = (6.343u,5.866u);
  z41\3\4 = (7.227u,9.877u);
  z41\4\0s = (16.622u,6.504u);
  z41\4\0 = (14.936u,7.950u);
  z41\4\1c1 = (13.928u,7.363u);
  z41\4\1c2 = (13.302u,7.453u);
  z41\4\1 = (13.009u,8.672u);
  z41\4\2c1 = (15.111u,8.493u);
  z41\4\2c2 = (15.898u,8.895u);
  fill_or_unfill z41\0\0s
    --z41\0\0
    ..controls z41\0\1c1 and z41\0\1c2..z41\0\1
    ..controls z41\0\2c1 and z41\0\2c2..z41\0\2
    ..controls z41\0\3c1 and z41\0\3c2..z41\0\3
    --z41\0\4
    --z41\0\5
    --z41\0\6
    --z41\0\7
    --z41\0\8
    --z41\0\9
    --z41\0\10
    --z41\0\11
    --z41\0\12
    --z41\0\13
    ..controls z41\0\14c1 and z41\0\14c2..z41\0\14
    ..controls z41\0\15c1 and z41\0\15c2..z41\0\15
    ..controls z41\0\16c1 and z41\0\16c2..z41\0\16
    ..controls z41\0\17c1 and z41\0\17c2..z41\0\17
    ..controls z41\0\18c1 and z41\0\18c2..z41\0\18
    --z41\0\19
    --z41\0\20
    --z41\0\21
    ..controls z41\0\22c1 and z41\0\22c2..cycle;
  fill_or_unfill z41\1\0s
    ..controls z41\1\0c1 and z41\1\0c2..z41\1\0
    ..controls z41\1\1c1 and z41\1\1c2..z41\1\1
    ..controls z41\1\2c1 and z41\1\2c2..z41\1\2
    --z41\1\3
    ..controls z41\1\4c1 and z41\1\4c2..z41\1\4
    --z41\1\5
    --cycle;
  fill_or_unfill z41\2\0s
    --z41\2\0
    --cycle;
  fill_or_unfill z41\3\0s
    ..controls z41\3\0c1 and z41\3\0c2..z41\3\0
    --z41\3\1
    --z41\3\2
    --z41\3\3
    ..controls z41\3\4c1 and z41\3\4c2..z41\3\4
    --cycle;
  fill_or_unfill z41\4\0s
    --z41\4\0
    ..controls z41\4\1c1 and z41\4\1c2..z41\4\1
    ..controls z41\4\2c1 and z41\4\2c2..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\0\13,
    41\0\14,
    41\0\15,
    41\0\16,
    41\0\17,
    41\0\18,
    41\0\19,
    41\0\20,
    41\0\21,
    41\0\22,
    41\1\0,
    41\1\1,
    41\1\2,
    41\1\3,
    41\1\4,
    41\1\5,
    41\1\6,
    41\2\0,
    41\2\1,
    41\3\0,
    41\3\1,
    41\3\2,
    41\3\3,
    41\3\4,
    41\3\5,
    41\4\0,
    41\4\1,
    41\4\2,
);
endchar;

beginchar (42, 17.345u#, 13.009u#, 0.000u#);
  "E10";
  z42\0\0s = (0.241u,13.009u);
  z42\0\0 = (0.000u,12.768u);
  z42\0\1 = (0.000u,12.286u);
  z42\0\2 = (4.336u,12.045u);
  z42\0\3c1 = (3.679u,10.984u);
  z42\0\3c2 = (0.622u,10.079u);
  z42\0\3 = (2.891u,8.672u);
  z42\0\4 = (2.650u,8.191u);
  z42\0\5 = (2.891u,7.950u);
  z42\0\6 = (4.818u,8.672u);
  z42\0\7c1 = (5.191u,6.276u);
  z42\0\7c2 = (7.353u,2.590u);
  z42\0\7 = (4.336u,0.963u);
  z42\0\8 = (4.336u,0.482u);
  z42\0\9c1 = (6.357u,-0.073u);
  z42\0\9c2 = (6.651u,2.459u);
  z42\0\9 = (7.227u,3.854u);
  z42\0\10c1 = (8.210u,2.474u);
  z42\0\10c2 = (7.383u,1.640u);
  z42\0\10 = (7.227u,0.241u);
  z42\0\11c1 = (10.235u,0.583u);
  z42\0\11c2 = (7.783u,2.929u);
  z42\0\11 = (8.988u,4.261u);
  z42\0\12c1 = (9.678u,5.025u);
  z42\0\12c2 = (10.719u,4.445u);
  z42\0\12 = (11.511u,4.532u);
  z42\0\13c1 = (11.968u,4.582u);
  z42\0\13c2 = (12.505u,5.022u);
  z42\0\13 = (12.954u,4.916u);
  z42\0\14c1 = (13.188u,4.861u);
  z42\0\14c2 = (13.307u,4.726u);
  z42\0\14 = (13.371u,4.499u);
  z42\0\15c1 = (13.763u,3.114u);
  z42\0\15c2 = (12.069u,1.442u);
  z42\0\15 = (11.804u,0.241u);
  z42\0\16c1 = (14.464u,0.395u);
  z42\0\16c2 = (13.627u,3.280u);
  z42\0\16 = (15.034u,3.708u);
  z42\0\17c1 = (16.117u,4.039u);
  z42\0\17c2 = (16.547u,1.995u);
  z42\0\17 = (15.417u,0.963u);
  z42\0\18c1 = (17.730u,-2.013u);
  z42\0\18c2 = (17.589u,7.019u);
  z42\0\18 = (16.621u,8.189u);
  z42\0\19c1 = (14.736u,10.467u);
  z42\0\19c2 = (10.123u,6.689u);
  z42\0\19 = (6.263u,12.045u);
  z42\0\20c1 = (7.425u,11.872u);
  z42\0\20c2 = (10.272u,11.726u);
  z42\0\20 = (10.600u,13.009u);
  z42\0\21c1 = (8.456u,12.702u);
  z42\0\21c2 = (2.146u,12.373u);
  z42\1\0s = (6.022u,11.081u);
  z42\1\0 = (5.059u,10.600u);
  z42\2\0s = (5.059u,10.118u);
  z42\2\0 = (5.059u,9.636u);
  z42\2\1 = (4.818u,9.395u);
  z42\2\2 = (2.891u,9.636u);
  z42\2\3c1 = (3.402u,10.777u);
  z42\2\3c2 = (4.083u,10.515u);
  z42\3\0s = (6.745u,10.359u);
  z42\3\0c1 = (8.072u,7.393u);
  z42\3\0c2 = (14.432u,8.667u);
  z42\3\0 = (15.212u,8.208u);
  z42\3\1c1 = (15.694u,7.924u);
  z42\3\1c2 = (15.649u,7.228u);
  z42\3\1 = (15.658u,6.744u);
  z42\3\2 = (15.658u,5.059u);
  z42\3\3 = (13.009u,7.227u);
  z42\3\4 = (13.731u,5.781u);
  z42\3\5c1 = (12.455u,5.720u);
  z42\3\5c2 = (7.487u,4.801u);
  z42\3\5 = (7.153u,6.589u);
  z42\3\6c1 = (7.021u,7.291u);
  z42\3\6c2 = (7.512u,8.237u);
  z42\3\6 = (7.709u,8.913u);
  z42\3\7c1 = (6.443u,8.608u);
  z42\3\7c2 = (6.442u,7.647u);
  z42\3\7 = (6.263u,6.504u);
  z42\3\8 = (5.541u,9.877u);
  z42\4\0s = (14.335u,4.821u);
  fill_or_unfill z42\0\0s
    --z42\0\0
    --z42\0\1
    --z42\0\2
    ..controls z42\0\3c1 and z42\0\3c2..z42\0\3
    --z42\0\4
    --z42\0\5
    --z42\0\6
    ..controls z42\0\7c1 and z42\0\7c2..z42\0\7
    --z42\0\8
    ..controls z42\0\9c1 and z42\0\9c2..z42\0\9
    ..controls z42\0\10c1 and z42\0\10c2..z42\0\10
    ..controls z42\0\11c1 and z42\0\11c2..z42\0\11
    ..controls z42\0\12c1 and z42\0\12c2..z42\0\12
    ..controls z42\0\13c1 and z42\0\13c2..z42\0\13
    ..controls z42\0\14c1 and z42\0\14c2..z42\0\14
    ..controls z42\0\15c1 and z42\0\15c2..z42\0\15
    ..controls z42\0\16c1 and z42\0\16c2..z42\0\16
    ..controls z42\0\17c1 and z42\0\17c2..z42\0\17
    ..controls z42\0\18c1 and z42\0\18c2..z42\0\18
    ..controls z42\0\19c1 and z42\0\19c2..z42\0\19
    ..controls z42\0\20c1 and z42\0\20c2..z42\0\20
    ..controls z42\0\21c1 and z42\0\21c2..cycle;
  fill_or_unfill z42\1\0s
    --z42\1\0
    --cycle;
  fill_or_unfill z42\2\0s
    --z42\2\0
    --z42\2\1
    --z42\2\2
    ..controls z42\2\3c1 and z42\2\3c2..cycle;
  fill_or_unfill z42\3\0s
    ..controls z42\3\0c1 and z42\3\0c2..z42\3\0
    ..controls z42\3\1c1 and z42\3\1c2..z42\3\1
    --z42\3\2
    --z42\3\3
    --z42\3\4
    ..controls z42\3\5c1 and z42\3\5c2..z42\3\5
    ..controls z42\3\6c1 and z42\3\6c2..z42\3\6
    ..controls z42\3\7c1 and z42\3\7c2..z42\3\7
    --z42\3\8
    --cycle;
  fill_or_unfill z42\4\0s
    --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\0\9,
    42\0\10,
    42\0\11,
    42\0\12,
    42\0\13,
    42\0\14,
    42\0\15,
    42\0\16,
    42\0\17,
    42\0\18,
    42\0\19,
    42\0\20,
    42\0\21,
    42\1\0,
    42\1\1,
    42\2\0,
    42\2\1,
    42\2\2,
    42\2\3,
    42\3\0,
    42\3\1,
    42\3\2,
    42\3\3,
    42\3\4,
    42\3\5,
    42\3\6,
    42\3\7,
    42\3\8,
    42\3\9,
    42\4\0,
);
endchar;

beginchar (43, 16.863u#, 13.009u#, 0.000u#);
  "E11";
  z43\0\0s = (0.000u,12.768u);
  z43\0\0c1 = (0.572u,11.879u);
  z43\0\0c2 = (3.034u,12.055u);
  z43\0\0 = (4.095u,12.045u);
  z43\0\1c1 = (3.496u,11.574u);
  z43\0\1c2 = (2.085u,10.747u);
  z43\0\1 = (1.859u,9.993u);
  z43\0\2c1 = (1.456u,8.654u);
  z43\0\2c2 = (3.523u,9.226u);
  z43\0\2 = (4.064u,8.641u);
  z43\0\3c1 = (4.343u,8.339u);
  z43\0\3c2 = (4.382u,7.583u);
  z43\0\3 = (4.516u,7.166u);
  z43\0\4c1 = (5.129u,5.271u);
  z43\0\4c2 = (6.079u,2.174u);
  z43\0\4 = (3.854u,0.963u);
  z43\0\5 = (3.854u,0.482u);
  z43\0\6c1 = (6.523u,-0.038u);
  z43\0\6c2 = (5.241u,2.773u);
  z43\0\6 = (6.986u,3.854u);
  z43\0\7 = (6.504u,0.482u);
  z43\0\8c1 = (8.572u,0.717u);
  z43\0\8c2 = (8.045u,2.932u);
  z43\0\8 = (8.191u,4.577u);
  z43\0\9 = (10.794u,4.297u);
  z43\0\10 = (12.768u,4.818u);
  z43\0\11c1 = (12.760u,2.395u);
  z43\0\11c2 = (12.402u,2.259u);
  z43\0\11 = (11.081u,0.482u);
  z43\0\12c1 = (12.866u,-0.052u);
  z43\0\12c2 = (13.562u,2.226u);
  z43\0\12 = (13.972u,3.613u);
  z43\0\13c1 = (16.165u,3.120u);
  z43\0\13c2 = (15.743u,1.936u);
  z43\0\13 = (14.695u,0.482u);
  z43\0\14c1 = (16.788u,-0.083u);
  z43\0\14c2 = (16.260u,1.713u);
  z43\0\14 = (16.431u,2.843u);
  z43\0\15 = (16.792u,4.122u);
  z43\0\16 = (16.114u,7.923u);
  z43\0\17c1 = (15.004u,9.892u);
  z43\0\17c2 = (7.615u,7.934u);
  z43\0\17 = (6.022u,12.045u);
  z43\0\18c1 = (7.018u,11.728u);
  z43\0\18c2 = (9.620u,11.764u);
  z43\0\18 = (10.118u,12.819u);
  z43\0\19 = (8.194u,12.819u);
  z43\0\20 = (6.782u,12.646u);
  z43\1\0s = (5.300u,11.322u);
  z43\1\0 = (4.577u,10.840u);
  z43\1\1 = (4.577u,11.563u);
  z43\2\0s = (4.818u,10.359u);
  z43\2\0 = (4.818u,9.877u);
  z43\2\1 = (2.650u,9.636u);
  z43\2\2c1 = (3.011u,11.268u);
  z43\2\2c2 = (3.674u,10.956u);
  z43\3\0s = (15.123u,4.577u);
  z43\3\0 = (12.527u,6.986u);
  z43\3\1 = (13.249u,5.541u);
  z43\3\2c1 = (11.839u,5.416u);
  z43\3\2c2 = (7.281u,4.794u);
  z43\3\2 = (6.733u,6.476u);
  z43\3\3c1 = (6.502u,7.183u);
  z43\3\3c2 = (6.871u,7.963u);
  z43\3\3 = (6.986u,8.672u);
  z43\3\4c1 = (5.103u,7.827u);
  z43\3\4c2 = (6.624u,5.911u);
  z43\3\4 = (6.263u,4.577u);
  z43\3\5 = (4.898u,8.851u);
  z43\3\6 = (5.859u,10.184u);
  z43\3\7 = (9.797u,8.593u);
  z43\3\8 = (12.286u,8.431u);
  z43\3\9 = (15.123u,7.861u);
  z43\4\0s = (13.718u,4.813u);
  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
    ..controls z43\0\4c1 and z43\0\4c2..z43\0\4
    --z43\0\5
    ..controls z43\0\6c1 and z43\0\6c2..z43\0\6
    --z43\0\7
    ..controls z43\0\8c1 and z43\0\8c2..z43\0\8
    --z43\0\9
    --z43\0\10
    ..controls z43\0\11c1 and z43\0\11c2..z43\0\11
    ..controls z43\0\12c1 and z43\0\12c2..z43\0\12
    ..controls z43\0\13c1 and z43\0\13c2..z43\0\13
    ..controls z43\0\14c1 and z43\0\14c2..z43\0\14
    --z43\0\15
    --z43\0\16
    ..controls z43\0\17c1 and z43\0\17c2..z43\0\17
    ..controls z43\0\18c1 and z43\0\18c2..z43\0\18
    --z43\0\19
    --z43\0\20
    --cycle;
  fill_or_unfill z43\1\0s
    --z43\1\0
    --z43\1\1
    --cycle;
  fill_or_unfill z43\2\0s
    --z43\2\0
    --z43\2\1
    ..controls z43\2\2c1 and z43\2\2c2..cycle;
  fill_or_unfill z43\3\0s
    --z43\3\0
    --z43\3\1
    ..controls z43\3\2c1 and z43\3\2c2..z43\3\2
    ..controls z43\3\3c1 and z43\3\3c2..z43\3\3
    ..controls z43\3\4c1 and z43\3\4c2..z43\3\4
    --z43\3\5
    --z43\3\6
    --z43\3\7
    --z43\3\8
    --z43\3\9
    --cycle;
  fill_or_unfill z43\4\0s
    --cycle;
  proof_labels (
    43\0\0,
    43\0\1,
    43\0\2,
    43\0\3,
    43\0\4,
    43\0\5,
    43\0\6,
    43\0\7,
    43\0\8,
    43\0\9,
    43\0\10,
    43\0\11,
    43\0\12,
    43\0\13,
    43\0\14,
    43\0\15,
    43\0\16,
    43\0\17,
    43\0\18,
    43\0\19,
    43\0\20,
    43\0\21,
    43\1\0,
    43\1\1,
    43\1\2,
    43\2\0,
    43\2\1,
    43\2\2,
    43\3\0,
    43\3\1,
    43\3\2,
    43\3\3,
    43\3\4,
    43\3\5,
    43\3\6,
    43\3\7,
    43\3\8,
    43\3\9,
    43\3\10,
    43\4\0,
);
endchar;

beginchar (44, 17.586u#, 10.600u#, 0.000u#);
  "E12";
  z44\0\0s = (3.132u,10.600u);
  z44\0\0c1 = (3.024u,8.765u);
  z44\0\0c2 = (1.568u,8.748u);
  z44\0\0 = (0.000u,8.672u);
  z44\0\1c1 = (0.011u,8.231u);
  z44\0\1c2 = (-0.025u,7.610u);
  z44\0\1 = (0.254u,7.241u);
  z44\0\2c1 = (0.926u,6.355u);
  z44\0\2c2 = (6.104u,6.060u);
  z44\0\2 = (5.711u,3.200u);
  z44\0\3c1 = (5.449u,1.290u);
  z44\0\3c2 = (4.842u,1.766u);
  z44\0\3 = (4.336u,0.482u);
  z44\0\4c1 = (7.157u,0.640u);
  z44\0\4c2 = (5.563u,2.331u);
  z44\0\4 = (7.227u,3.613u);
  z44\0\5 = (8.191u,1.204u);
  z44\0\6 = (7.227u,0.723u);
  z44\0\7c1 = (10.105u,-0.389u);
  z44\0\7c2 = (7.925u,3.394u);
  z44\0\7 = (8.844u,3.889u);
  z44\0\8 = (13.009u,3.889u);
  z44\0\9 = (11.563u,0.482u);
  z44\0\10c1 = (13.554u,0.708u);
  z44\0\10c2 = (13.347u,2.084u);
  z44\0\10 = (13.972u,3.613u);
  z44\0\11c1 = (16.655u,2.801u);
  z44\0\11c2 = (15.147u,1.921u);
  z44\0\11 = (14.695u,0.482u);
  z44\0\12c1 = (17.177u,1.028u);
  z44\0\12c2 = (16.217u,2.944u);
  z44\0\12 = (15.923u,4.626u);
  z44\0\13c1 = (15.839u,5.304u);
  z44\0\13c2 = (15.899u,6.057u);
  z44\0\13 = (15.923u,6.745u);
  z44\0\14 = (16.622u,5.541u);
  z44\0\15 = (17.104u,5.541u);
  z44\0\16 = (17.425u,8.531u);
  z44\0\17c1 = (16.883u,9.895u);
  z44\0\17c2 = (15.728u,8.886u);
  z44\0\17 = (15.658u,7.709u);
  z44\0\18c1 = (11.966u,10.311u);
  z44\0\18c2 = (10.141u,8.894u);
  z44\0\18 = (6.266u,9.638u);
  z44\0\19c1 = (4.794u,9.921u);
  z44\0\19c2 = (5.057u,10.552u);
  z44\1\0s = (4.336u,9.877u);
  z44\1\0c1 = (7.230u,7.368u);
  z44\1\0c2 = (13.464u,9.902u);
  z44\1\0 = (15.048u,7.100u);
  z44\1\1c1 = (15.537u,6.234u);
  z44\1\1c2 = (15.070u,4.935u);
  z44\1\1 = (15.417u,3.854u);
  z44\1\2 = (14.123u,4.487u);
  z44\1\3 = (8.619u,4.667u);
  z44\1\4 = (7.562u,4.527u);
  z44\1\5 = (4.095u,6.263u);
  z44\1\6 = (0.723u,7.709u);
  z44\2\0s = (16.622u,8.222u);
  z44\3\0s = (2.891u,8.431u);
  z44\3\0 = (4.095u,7.950u);
  fill_or_unfill z44\0\0s
    ..controls z44\0\0c1 and z44\0\0c2..z44\0\0
    ..controls z44\0\1c1 and z44\0\1c2..z44\0\1
    ..controls z44\0\2c1 and z44\0\2c2..z44\0\2
    ..controls z44\0\3c1 and z44\0\3c2..z44\0\3
    ..controls z44\0\4c1 and z44\0\4c2..z44\0\4
    --z44\0\5
    --z44\0\6
    ..controls z44\0\7c1 and z44\0\7c2..z44\0\7
    --z44\0\8
    --z44\0\9
    ..controls z44\0\10c1 and z44\0\10c2..z44\0\10
    ..controls z44\0\11c1 and z44\0\11c2..z44\0\11
    ..controls z44\0\12c1 and z44\0\12c2..z44\0\12
    ..controls z44\0\13c1 and z44\0\13c2..z44\0\13
    --z44\0\14
    --z44\0\15
    --z44\0\16
    ..controls z44\0\17c1 and z44\0\17c2..z44\0\17
    ..controls z44\0\18c1 and z44\0\18c2..z44\0\18
    ..controls z44\0\19c1 and z44\0\19c2..cycle;
  fill_or_unfill z44\1\0s
    ..controls z44\1\0c1 and z44\1\0c2..z44\1\0
    ..controls z44\1\1c1 and z44\1\1c2..z44\1\1
    --z44\1\2
    --z44\1\3
    --z44\1\4
    --z44\1\5
    --z44\1\6
    --cycle;
  fill_or_unfill z44\2\0s
    --cycle;
  fill_or_unfill z44\3\0s
    --z44\3\0
    --cycle;
  proof_labels (
    44\0\0,
    44\0\1,
    44\0\2,
    44\0\3,
    44\0\4,
    44\0\5,
    44\0\6,
    44\0\7,
    44\0\8,
    44\0\9,
    44\0\10,
    44\0\11,
    44\0\12,
    44\0\13,
    44\0\14,
    44\0\15,
    44\0\16,
    44\0\17,
    44\0\18,
    44\0\19,
    44\1\0,
    44\1\1,
    44\1\2,
    44\1\3,
    44\1\4,
    44\1\5,
    44\1\6,
    44\1\7,
    44\2\0,
    44\3\0,
    44\3\1,
);
endchar;

beginchar (45, 12.527u#, 18.067u#, 0.000u#);
  "E13";
  z45\0\0s = (3.854u,18.067u);
  z45\0\0 = (3.613u,17.104u);
  z45\0\1 = (2.432u,17.826u);
  z45\0\2 = (2.432u,16.920u);
  z45\0\3c1 = (2.337u,16.265u);
  z45\0\3c2 = (-1.980u,14.083u);
  z45\0\3 = (0.909u,12.712u);
  z45\0\4 = (2.168u,12.286u);
  z45\0\5c1 = (1.842u,9.827u);
  z45\0\5c2 = (4.058u,3.370u);
  z45\0\5 = (1.846u,1.768u);
  z45\0\6c1 = (1.350u,1.409u);
  z45\0\6c2 = (0.583u,1.395u);
  z45\0\6 = (0.000u,1.204u);
  z45\0\7 = (0.000u,0.723u);
  z45\0\8 = (0.241u,0.482u);
  z45\0\9 = (3.613u,0.723u);
  z45\0\10 = (4.166u,2.375u);
  z45\0\11 = (4.818u,5.541u);
  z45\0\12c1 = (7.794u,4.661u);
  z45\0\12c2 = (7.452u,4.101u);
  z45\0\12 = (8.431u,1.445u);
  z45\0\13 = (5.541u,0.963u);
  z45\0\14c1 = (6.910u,0.523u);
  z45\0\14c2 = (8.677u,0.705u);
  z45\0\14 = (10.117u,0.724u);
  z45\0\15c1 = (14.473u,0.780u);
  z45\0\15c2 = (11.732u,5.453u);
  z45\0\15 = (11.507u,7.515u);
  z45\0\16 = (11.507u,10.359u);
  z45\0\17 = (10.840u,10.359u);
  z45\0\18 = (10.840u,8.431u);
  z45\0\19 = (6.713u,10.808u);
  z45\0\20 = (5.770u,12.515u);
  z45\0\21 = (4.907u,13.820u);
  z45\0\22 = (4.336u,18.067u);
  z45\1\0s = (4.095u,16.381u);
  z45\1\0c1 = (3.879u,14.604u);
  z45\1\0c2 = (5.351u,11.480u);
  z45\1\0 = (6.658u,10.271u);
  z45\1\1c1 = (7.467u,9.522u);
  z45\1\1c2 = (10.472u,8.514u);
  z45\1\1 = (10.245u,7.293u);
  z45\1\2c1 = (9.995u,5.949u);
  z45\1\2c2 = (8.688u,7.269u);
  z45\1\2 = (8.047u,6.641u);
  z45\1\3c1 = (7.742u,6.341u);
  z45\1\3c2 = (7.613u,5.488u);
  z45\1\3 = (7.468u,5.059u);
  z45\1\4 = (4.336u,6.986u);
  z45\1\5 = (4.095u,5.541u);
  z45\1\6c1 = (3.297u,6.916u);
  z45\1\6c2 = (2.660u,8.847u);
  z45\1\6 = (2.481u,10.424u);
  z45\1\7c1 = (2.402u,11.114u);
  z45\1\7c2 = (2.651u,11.828u);
  z45\1\7 = (2.358u,12.481u);
  z45\1\8c1 = (1.872u,13.565u);
  z45\1\8c2 = (0.212u,13.023u);
  z45\1\8 = (0.640u,14.315u);
  z45\1\9c1 = (1.015u,15.447u);
  z45\1\9c2 = (3.054u,15.997u);
  z45\2\0s = (1.445u,14.454u);
  z45\2\0 = (2.650u,15.177u);
  z45\2\1 = (2.409u,15.417u);
  z45\3\0s = (11.322u,6.745u);
  z45\3\0c1 = (13.662u,-1.306u);
  z45\3\0c2 = (8.234u,1.240u);
  z45\3\0 = (8.191u,4.578u);
  z45\3\1 = (8.191u,6.263u);
  z45\3\2 = (10.359u,5.300u);
  z45\3\3 = (10.600u,6.745u);
  z45\4\0s = (3.613u,2.891u);
  z45\4\0 = (2.409u,1.204u);
  z45\4\1 = (3.132u,2.891u);
  fill_or_unfill z45\0\0s
    --z45\0\0
    --z45\0\1
    --z45\0\2
    ..controls z45\0\3c1 and z45\0\3c2..z45\0\3
    --z45\0\4
    ..controls z45\0\5c1 and z45\0\5c2..z45\0\5
    ..controls z45\0\6c1 and z45\0\6c2..z45\0\6
    --z45\0\7
    --z45\0\8
    --z45\0\9
    --z45\0\10
    --z45\0\11
    ..controls z45\0\12c1 and z45\0\12c2..z45\0\12
    --z45\0\13
    ..controls z45\0\14c1 and z45\0\14c2..z45\0\14
    ..controls z45\0\15c1 and z45\0\15c2..z45\0\15
    --z45\0\16
    --z45\0\17
    --z45\0\18
    --z45\0\19
    --z45\0\20
    --z45\0\21
    --z45\0\22
    --cycle;
  fill_or_unfill z45\1\0s
    ..controls z45\1\0c1 and z45\1\0c2..z45\1\0
    ..controls z45\1\1c1 and z45\1\1c2..z45\1\1
    ..controls z45\1\2c1 and z45\1\2c2..z45\1\2
    ..controls z45\1\3c1 and z45\1\3c2..z45\1\3
    --z45\1\4
    --z45\1\5
    ..controls z45\1\6c1 and z45\1\6c2..z45\1\6
    ..controls z45\1\7c1 and z45\1\7c2..z45\1\7
    ..controls z45\1\8c1 and z45\1\8c2..z45\1\8
    ..controls z45\1\9c1 and z45\1\9c2..cycle;
  fill_or_unfill z45\2\0s
    --z45\2\0
    --z45\2\1
    --cycle;
  fill_or_unfill z45\3\0s
    ..controls z45\3\0c1 and z45\3\0c2..z45\3\0
    --z45\3\1
    --z45\3\2
    --z45\3\3
    --cycle;
  fill_or_unfill z45\4\0s
    --z45\4\0
    --z45\4\1
    --cycle;
  proof_labels (
    45\0\0,
    45\0\1,
    45\0\2,
    45\0\3,
    45\0\4,
    45\0\5,
    45\0\6,
    45\0\7,
    45\0\8,
    45\0\9,
    45\0\10,
    45\0\11,
    45\0\12,
    45\0\13,
    45\0\14,
    45\0\15,
    45\0\16,
    45\0\17,
    45\0\18,
    45\0\19,
    45\0\20,
    45\0\21,
    45\0\22,
    45\0\23,
    45\1\0,
    45\1\1,
    45\1\2,
    45\1\3,
    45\1\4,
    45\1\5,
    45\1\6,
    45\1\7,
    45\1\8,
    45\1\9,
    45\2\0,
    45\2\1,
    45\2\2,
    45\3\0,
    45\3\1,
    45\3\2,
    45\3\3,
    45\3\4,
    45\4\0,
    45\4\1,
    45\4\2,
);
endchar;

beginchar (46, 16.622u#, 14.213u#, 0.000u#);
  "E14";
  z46\0\0s = (2.168u,14.213u);
  z46\0\0 = (0.175u,10.195u);
  z46\0\1 = (2.761u,9.265u);
  z46\0\2 = (3.487u,7.342u);
  z46\0\3 = (4.238u,5.702u);
  z46\0\4 = (3.310u,1.749u);
  z46\0\5 = (1.927u,0.963u);
  z46\0\6c1 = (3.922u,-0.852u);
  z46\0\6c2 = (4.824u,3.529u);
  z46\0\6 = (5.059u,4.818u);
  z46\0\7c1 = (6.385u,4.188u);
  z46\0\7c2 = (6.680u,1.718u);
  z46\0\7 = (5.300u,0.963u);
  z46\0\8 = (5.300u,0.482u);
  z46\0\9 = (5.541u,0.241u);
  z46\0\10c1 = (8.062u,0.888u);
  z46\0\10c2 = (6.548u,4.056u);
  z46\0\10 = (6.504u,6.022u);
  z46\0\11 = (12.251u,6.951u);
  z46\0\12 = (12.548u,5.321u);
  z46\0\13 = (12.248u,2.206u);
  z46\0\14 = (10.600u,0.482u);
  z46\0\15 = (12.313u,0.695u);
  z46\0\16 = (13.972u,4.336u);
  z46\0\17c1 = (15.246u,3.586u);
  z46\0\17c2 = (15.173u,2.797u);
  z46\0\17 = (15.177u,1.445u);
  z46\0\18 = (13.972u,0.482u);
  z46\0\19c1 = (18.302u,-0.425u);
  z46\0\19c2 = (15.127u,5.557u);
  z46\0\19 = (15.301u,7.386u);
  z46\0\20c1 = (15.436u,8.808u);
  z46\0\20c2 = (16.644u,9.505u);
  z46\0\20 = (16.551u,10.573u);
  z46\0\21c1 = (16.484u,11.338u);
  z46\0\21c2 = (15.774u,11.881u);
  z46\0\21 = (15.016u,11.704u);
  z46\0\22c1 = (13.969u,11.460u);
  z46\0\22c2 = (14.088u,10.395u);
  z46\0\22 = (15.177u,10.118u);
  z46\0\23 = (15.177u,11.081u);
  z46\0\24c1 = (15.978u,10.570u);
  z46\0\24c2 = (15.910u,9.656u);
  z46\0\24 = (14.895u,9.571u);
  z46\0\25 = (13.017u,9.571u);
  z46\0\26c1 = (10.877u,9.553u);
  z46\0\26c2 = (7.643u,9.047u);
  z46\0\26 = (5.614u,9.951u);
  z46\0\27c1 = (3.185u,11.033u);
  z46\0\27c2 = (5.346u,14.134u);
  z46\1\0s = (3.372u,12.527u);
  z46\1\0c1 = (4.234u,7.816u);
  z46\1\0c2 = (9.189u,8.671u);
  z46\1\0 = (12.788u,8.891u);
  z46\1\1c1 = (15.639u,9.065u);
  z46\1\1c2 = (14.687u,6.191u);
  z46\1\1 = (13.249u,5.300u);
  z46\1\2 = (13.249u,8.191u);
  z46\1\3c1 = (10.898u,7.527u);
  z46\1\3c2 = (7.942u,6.621u);
  z46\1\3 = (5.541u,6.986u);
  z46\1\4 = (5.781u,5.781u);
  z46\1\5c1 = (2.996u,6.632u);
  z46\1\5c2 = (4.765u,11.096u);
  z46\1\5 = (0.963u,9.877u);
  z46\1\6c1 = (0.760u,10.823u);
  z46\1\6c2 = (1.349u,11.244u);
  z46\1\6 = (2.168u,11.563u);
  z46\1\7 = (2.168u,10.840u);
  z46\1\8 = (2.650u,11.081u);
  z46\1\9 = (2.168u,11.804u);
  z46\2\0s = (14.936u,5.300u);
  fill_or_unfill z46\0\0s
    --z46\0\0
    --z46\0\1
    --z46\0\2
    --z46\0\3
    --z46\0\4
    --z46\0\5
    ..controls z46\0\6c1 and z46\0\6c2..z46\0\6
    ..controls z46\0\7c1 and z46\0\7c2..z46\0\7
    --z46\0\8
    --z46\0\9
    ..controls z46\0\10c1 and z46\0\10c2..z46\0\10
    --z46\0\11
    --z46\0\12
    --z46\0\13
    --z46\0\14
    --z46\0\15
    --z46\0\16
    ..controls z46\0\17c1 and z46\0\17c2..z46\0\17
    --z46\0\18
    ..controls z46\0\19c1 and z46\0\19c2..z46\0\19
    ..controls z46\0\20c1 and z46\0\20c2..z46\0\20
    ..controls z46\0\21c1 and z46\0\21c2..z46\0\21
    ..controls z46\0\22c1 and z46\0\22c2..z46\0\22
    --z46\0\23
    ..controls z46\0\24c1 and z46\0\24c2..z46\0\24
    --z46\0\25
    ..controls z46\0\26c1 and z46\0\26c2..z46\0\26
    ..controls z46\0\27c1 and z46\0\27c2..cycle;
  fill_or_unfill z46\1\0s
    ..controls z46\1\0c1 and z46\1\0c2..z46\1\0
    ..controls z46\1\1c1 and z46\1\1c2..z46\1\1
    --z46\1\2
    ..controls z46\1\3c1 and z46\1\3c2..z46\1\3
    --z46\1\4
    ..controls z46\1\5c1 and z46\1\5c2..z46\1\5
    ..controls z46\1\6c1 and z46\1\6c2..z46\1\6
    --z46\1\7
    --z46\1\8
    --z46\1\9
    --cycle;
  fill_or_unfill z46\2\0s
    --cycle;
  proof_labels (
    46\0\0,
    46\0\1,
    46\0\2,
    46\0\3,
    46\0\4,
    46\0\5,
    46\0\6,
    46\0\7,
    46\0\8,
    46\0\9,
    46\0\10,
    46\0\11,
    46\0\12,
    46\0\13,
    46\0\14,
    46\0\15,
    46\0\16,
    46\0\17,
    46\0\18,
    46\0\19,
    46\0\20,
    46\0\21,
    46\0\22,
    46\0\23,
    46\0\24,
    46\0\25,
    46\0\26,
    46\0\27,
    46\1\0,
    46\1\1,
    46\1\2,
    46\1\3,
    46\1\4,
    46\1\5,
    46\1\6,
    46\1\7,
    46\1\8,
    46\1\9,
    46\1\10,
    46\2\0,
);
endchar;

beginchar (47, 18.067u#, 15.417u#, 0.000u#);
  "E15";
  z47\0\0s = (0.482u,10.600u);
  z47\0\0c1 = (1.562u,10.456u);
  z47\0\0c2 = (3.206u,10.624u);
  z47\0\0 = (4.186u,10.209u);
  z47\0\1c1 = (4.665u,10.006u);
  z47\0\1c2 = (4.948u,9.444u);
  z47\0\1 = (5.062u,8.961u);
  z47\0\2c1 = (5.681u,6.337u);
  z47\0\2c2 = (1.516u,6.263u);
  z47\0\2 = (0.000u,6.263u);
  z47\0\3c1 = (0.380u,4.773u);
  z47\0\3c2 = (3.492u,5.119u);
  z47\0\3 = (4.740u,5.378u);
  z47\0\4 = (6.043u,5.846u);
  z47\0\5 = (7.666u,5.846u);
  z47\0\6 = (9.395u,6.263u);
  z47\0\7c1 = (10.044u,4.513u);
  z47\0\7c2 = (12.962u,5.879u);
  z47\0\7 = (14.295u,5.141u);
  z47\0\8c1 = (15.927u,4.237u);
  z47\0\8c2 = (15.033u,0.341u);
  z47\0\8 = (18.067u,0.241u);
  z47\0\9c1 = (17.914u,1.926u);
  z47\0\9c2 = (16.749u,4.523u);
  z47\0\9 = (15.852u,5.975u);
  z47\0\10c1 = (15.341u,6.802u);
  z47\0\10c2 = (14.919u,8.022u);
  z47\0\10 = (14.224u,8.683u);
  z47\0\11c1 = (12.343u,10.471u);
  z47\0\11c2 = (9.388u,8.478u);
  z47\0\11 = (7.192u,10.082u);
  z47\0\12c1 = (4.779u,11.845u);
  z47\0\12c2 = (6.657u,15.148u);
  z47\0\12 = (5.020u,15.276u);
  z47\0\13c1 = (4.154u,15.344u);
  z47\0\13c2 = (4.428u,13.773u);
  z47\0\13 = (4.105u,13.239u);
  z47\0\14c1 = (3.404u,12.081u);
  z47\0\14c2 = (0.890u,12.232u);
  z47\1\0s = (5.300u,14.213u);
  z47\1\0 = (5.043u,11.876u);
  z47\1\1 = (5.830u,10.648u);
  z47\1\2c1 = (8.276u,7.010u);
  z47\1\2c2 = (12.126u,9.863u);
  z47\1\2 = (13.560u,8.279u);
  z47\1\3c1 = (13.868u,7.939u);
  z47\1\3c2 = (13.930u,6.511u);
  z47\1\3 = (13.972u,6.022u);
  z47\1\4 = (12.045u,8.431u);
  z47\1\5 = (12.045u,7.468u);
  z47\1\6 = (7.878u,6.576u);
  z47\1\7 = (4.577u,6.022u);
  z47\1\8 = (5.591u,8.134u);
  z47\1\9c1 = (6.422u,10.469u);
  z47\1\9c2 = (3.575u,10.774u);
  z47\1\9 = (2.168u,11.081u);
  z47\1\10 = (4.344u,12.519u);
  z47\2\0s = (15.781u,4.339u);
  z47\3\0s = (16.140u,4.095u);
  z47\3\0 = (17.104u,1.445u);
  fill_or_unfill z47\0\0s
    ..controls z47\0\0c1 and z47\0\0c2..z47\0\0
    ..controls z47\0\1c1 and z47\0\1c2..z47\0\1
    ..controls z47\0\2c1 and z47\0\2c2..z47\0\2
    ..controls z47\0\3c1 and z47\0\3c2..z47\0\3
    --z47\0\4
    --z47\0\5
    --z47\0\6
    ..controls z47\0\7c1 and z47\0\7c2..z47\0\7
    ..controls z47\0\8c1 and z47\0\8c2..z47\0\8
    ..controls z47\0\9c1 and z47\0\9c2..z47\0\9
    ..controls z47\0\10c1 and z47\0\10c2..z47\0\10
    ..controls z47\0\11c1 and z47\0\11c2..z47\0\11
    ..controls z47\0\12c1 and z47\0\12c2..z47\0\12
    ..controls z47\0\13c1 and z47\0\13c2..z47\0\13
    ..controls z47\0\14c1 and z47\0\14c2..cycle;
  fill_or_unfill z47\1\0s
    --z47\1\0
    --z47\1\1
    ..controls z47\1\2c1 and z47\1\2c2..z47\1\2
    ..controls z47\1\3c1 and z47\1\3c2..z47\1\3
    --z47\1\4
    --z47\1\5
    --z47\1\6
    --z47\1\7
    --z47\1\8
    ..controls z47\1\9c1 and z47\1\9c2..z47\1\9
    --z47\1\10
    --cycle;
  fill_or_unfill z47\2\0s
    --cycle;
  fill_or_unfill z47\3\0s
    --z47\3\0
    --cycle;
  proof_labels (
    47\0\0,
    47\0\1,
    47\0\2,
    47\0\3,
    47\0\4,
    47\0\5,
    47\0\6,
    47\0\7,
    47\0\8,
    47\0\9,
    47\0\10,
    47\0\11,
    47\0\12,
    47\0\13,
    47\0\14,
    47\1\0,
    47\1\1,
    47\1\2,
    47\1\3,
    47\1\4,
    47\1\5,
    47\1\6,
    47\1\7,
    47\1\8,
    47\1\9,
    47\1\10,
    47\1\11,
    47\2\0,
    47\3\0,
    47\3\1,
);
endchar;

beginchar (48, 18.067u#, 18.067u#, 0.000u#);
  "E16";
  z48\0\0s = (0.241u,8.913u);
  z48\0\0 = (1.204u,5.781u);
  z48\0\1 = (1.419u,1.419u);
  z48\0\2 = (11.804u,0.963u);
  z48\0\3 = (13.896u,1.280u);
  z48\0\4 = (14.213u,7.227u);
  z48\0\5 = (14.695u,7.227u);
  z48\0\6c1 = (14.871u,6.536u);
  z48\0\6c2 = (16.607u,1.260u);
  z48\0\6 = (17.801u,2.454u);
  z48\0\7c1 = (18.880u,3.532u);
  z48\0\7c2 = (15.056u,10.650u);
  z48\0\7 = (13.929u,11.520u);
  z48\0\8c1 = (13.250u,12.045u);
  z48\0\8c2 = (12.395u,12.068u);
  z48\0\8 = (11.572u,12.036u);
  z48\0\9c1 = (10.128u,11.979u);
  z48\0\9c2 = (8.389u,11.731u);
  z48\0\9 = (7.150u,12.691u);
  z48\0\10c1 = (4.856u,14.468u);
  z48\0\10c2 = (6.505u,17.188u);
  z48\0\10 = (5.116u,17.796u);
  z48\0\11c1 = (4.642u,18.004u);
  z48\0\11c2 = (4.419u,17.500u);
  z48\0\11 = (4.299u,17.141u);
  z48\0\12c1 = (4.100u,16.549u);
  z48\0\12c2 = (4.138u,15.835u);
  z48\0\12 = (3.642u,15.389u);
  z48\0\13c1 = (3.071u,14.876u);
  z48\0\13c2 = (0.208u,14.196u);
  z48\0\13 = (0.494u,13.406u);
  z48\0\14c1 = (0.918u,12.237u);
  z48\0\14c2 = (4.445u,13.683u);
  z48\0\14 = (4.911u,11.460u);
  z48\0\15c1 = (5.393u,9.160u);
  z48\0\15c2 = (1.824u,8.409u);
  z48\1\0s = (5.059u,16.140u);
  z48\1\0c1 = (4.901u,8.858u);
  z48\1\0c2 = (11.715u,12.244u);
  z48\1\0 = (13.277u,10.868u);
  z48\1\1c1 = (13.766u,10.438u);
  z48\1\1c2 = (13.876u,9.300u);
  z48\1\1 = (13.972u,8.672u);
  z48\1\2 = (11.804u,10.840u);
  z48\1\3 = (11.804u,9.877u);
  z48\1\4 = (7.601u,9.028u);
  z48\1\5 = (4.577u,8.672u);
  z48\1\6 = (5.591u,10.543u);
  z48\1\7c1 = (6.438u,12.860u);
  z48\1\7c2 = (3.807u,13.275u);
  z48\1\7 = (2.409u,13.731u);
  z48\2\0s = (3.854u,7.950u);
  z48\2\0 = (3.854u,7.468u);
  z48\2\1 = (1.927u,7.468u);
  z48\3\0s = (8.431u,7.709u);
  z48\3\0 = (4.095u,7.468u);
  z48\3\1c1 = (5.123u,8.405u);
  z48\3\1c2 = (7.156u,7.821u);
  z48\4\0s = (8.794u,7.712u);
  z48\5\0s = (12.045u,7.950u);
  z48\5\0 = (12.045u,7.468u);
  z48\5\1 = (9.154u,7.468u);
  z48\5\2 = (9.154u,7.950u);
  z48\6\0s = (13.249u,7.950u);
  z48\6\0 = (12.286u,7.709u);
  z48\7\0s = (13.249u,6.745u);
  z48\7\0 = (13.249u,1.686u);
  z48\7\1c1 = (9.184u,1.686u);
  z48\7\1c2 = (9.154u,0.883u);
  z48\7\1 = (9.154u,5.059u);
  z48\7\2c1 = (5.251u,5.059u);
  z48\7\2c2 = (6.022u,5.298u);
  z48\7\2 = (6.022u,1.686u);
  z48\7\3c1 = (0.819u,1.686u);
  z48\7\3c2 = (1.927u,1.618u);
  z48\7\3 = (1.927u,6.745u);
  z48\8\0s = (8.431u,4.336u);
  z48\8\0 = (8.431u,1.686u);
  z48\8\1c1 = (6.107u,1.708u);
  z48\8\1c2 = (6.504u,2.272u);
  z48\8\1 = (6.504u,4.336u);
  fill_or_unfill z48\0\0s
    --z48\0\0
    --z48\0\1
    --z48\0\2
    --z48\0\3
    --z48\0\4
    --z48\0\5
    ..controls z48\0\6c1 and z48\0\6c2..z48\0\6
    ..controls z48\0\7c1 and z48\0\7c2..z48\0\7
    ..controls z48\0\8c1 and z48\0\8c2..z48\0\8
    ..controls z48\0\9c1 and z48\0\9c2..z48\0\9
    ..controls z48\0\10c1 and z48\0\10c2..z48\0\10
    ..controls z48\0\11c1 and z48\0\11c2..z48\0\11
    ..controls z48\0\12c1 and z48\0\12c2..z48\0\12
    ..controls z48\0\13c1 and z48\0\13c2..z48\0\13
    ..controls z48\0\14c1 and z48\0\14c2..z48\0\14
    ..controls z48\0\15c1 and z48\0\15c2..cycle;
  fill_or_unfill z48\1\0s
    ..controls z48\1\0c1 and z48\1\0c2..z48\1\0
    ..controls z48\1\1c1 and z48\1\1c2..z48\1\1
    --z48\1\2
    --z48\1\3
    --z48\1\4
    --z48\1\5
    --z48\1\6
    ..controls z48\1\7c1 and z48\1\7c2..z48\1\7
    --cycle;
  fill_or_unfill z48\2\0s
    --z48\2\0
    --z48\2\1
    --cycle;
  fill_or_unfill z48\3\0s
    --z48\3\0
    ..controls z48\3\1c1 and z48\3\1c2..cycle;
  fill_or_unfill z48\4\0s
    --cycle;
  fill_or_unfill z48\5\0s
    --z48\5\0
    --z48\5\1
    --z48\5\2
    --cycle;
  fill_or_unfill z48\6\0s
    --z48\6\0
    --cycle;
  fill_or_unfill z48\7\0s
    --z48\7\0
    ..controls z48\7\1c1 and z48\7\1c2..z48\7\1
    ..controls z48\7\2c1 and z48\7\2c2..z48\7\2
    ..controls z48\7\3c1 and z48\7\3c2..z48\7\3
    --cycle;
  fill_or_unfill z48\8\0s
    --z48\8\0
    ..controls z48\8\1c1 and z48\8\1c2..z48\8\1
    --cycle;
  proof_labels (
    48\0\0,
    48\0\1,
    48\0\2,
    48\0\3,
    48\0\4,
    48\0\5,
    48\0\6,
    48\0\7,
    48\0\8,
    48\0\9,
    48\0\10,
    48\0\11,
    48\0\12,
    48\0\13,
    48\0\14,
    48\0\15,
    48\1\0,
    48\1\1,
    48\1\2,
    48\1\3,
    48\1\4,
    48\1\5,
    48\1\6,
    48\1\7,
    48\1\8,
    48\2\0,
    48\2\1,
    48\2\2,
    48\3\0,
    48\3\1,
    48\4\0,
    48\5\0,
    48\5\1,
    48\5\2,
    48\5\3,
    48\6\0,
    48\6\1,
    48\7\0,
    48\7\1,
    48\7\2,
    48\7\3,
    48\7\4,
    48\8\0,
    48\8\1,
    48\8\2,
);
endchar;

beginchar (49, 20.476u#, 18.067u#, 0.000u#);
  "E17";
  z49\0\0s = (3.372u,18.067u);
  z49\0\0c1 = (2.931u,15.164u);
  z49\0\0c2 = (3.408u,14.618u);
  z49\0\0 = (0.000u,14.454u);
  z49\0\1c1 = (0.298u,12.019u);
  z49\0\1c2 = (2.711u,13.715u);
  z49\0\1 = (3.933u,12.606u);
  z49\0\2c1 = (4.467u,12.121u);
  z49\0\2c2 = (4.611u,11.061u);
  z49\0\2 = (4.854u,10.394u);
  z49\0\3 = (5.930u,8.105u);
  z49\0\4c1 = (6.065u,7.507u);
  z49\0\4c2 = (4.987u,2.837u);
  z49\0\4 = (4.614u,2.388u);
  z49\0\5c1 = (4.326u,2.041u);
  z49\0\5c2 = (3.558u,1.886u);
  z49\0\5 = (3.132u,1.686u);
  z49\0\6 = (3.132u,1.204u);
  z49\0\7c1 = (5.823u,-0.080u);
  z49\0\7c2 = (6.443u,4.365u);
  z49\0\7 = (7.227u,6.263u);
  z49\0\8 = (8.191u,2.168u);
  z49\0\9 = (6.986u,0.723u);
  z49\0\10 = (8.707u,0.928u);
  z49\0\11 = (8.951u,7.437u);
  z49\0\12 = (12.768u,8.672u);
  z49\0\13c1 = (12.756u,7.378u);
  z49\0\13c2 = (12.171u,3.520u);
  z49\0\13 = (11.509u,2.463u);
  z49\0\14c1 = (11.074u,1.769u);
  z49\0\14c2 = (10.326u,2.032u);
  z49\0\14 = (10.072u,1.539u);
  z49\0\15c1 = (9.659u,0.735u);
  z49\0\15c2 = (11.382u,0.431u);
  z49\0\15 = (12.074u,1.176u);
  z49\0\16 = (14.695u,6.745u);
  z49\0\17c1 = (16.164u,5.442u);
  z49\0\17c2 = (16.815u,4.069u);
  z49\0\17 = (17.104u,2.168u);
  z49\0\18 = (15.899u,0.963u);
  z49\0\19c1 = (18.248u,0.970u);
  z49\0\19c2 = (18.066u,1.106u);
  z49\0\19 = (18.067u,3.372u);
  z49\0\20c1 = (18.561u,2.740u);
  z49\0\20c2 = (18.816u,1.916u);
  z49\0\20 = (19.452u,1.401u);
  z49\0\21c1 = (20.244u,0.761u);
  z49\0\21c2 = (20.486u,1.685u);
  z49\0\21 = (20.401u,2.342u);
  z49\0\22c1 = (20.211u,3.809u);
  z49\0\22c2 = (16.917u,9.817u);
  z49\0\22 = (15.781u,10.723u);
  z49\0\23c1 = (15.068u,11.292u);
  z49\0\23c2 = (14.132u,11.349u);
  z49\0\23 = (13.259u,11.313u);
  z49\0\24c1 = (10.483u,11.199u);
  z49\0\24c2 = (8.197u,9.669u);
  z49\0\24 = (6.340u,12.845u);
  z49\0\25c1 = (6.044u,13.352u);
  z49\0\25c2 = (5.564u,13.955u);
  z49\0\25 = (5.464u,14.538u);
  z49\0\26c1 = (5.260u,15.736u);
  z49\0\26c2 = (5.467u,16.816u);
  z49\0\26 = (5.059u,18.067u);
  z49\0\27 = (4.336u,17.586u);
  z49\1\0s = (4.577u,15.417u);
  z49\1\0c1 = (4.614u,13.819u);
  z49\1\0c2 = (5.013u,13.386u);
  z49\1\0 = (5.829u,12.092u);
  z49\1\1c1 = (9.414u,6.410u);
  z49\1\1c2 = (15.412u,14.479u);
  z49\1\1 = (15.417u,7.709u);
  z49\1\2 = (13.846u,9.269u);
  z49\1\3 = (9.528u,8.517u);
  z49\1\4 = (8.052u,8.517u);
  z49\1\5 = (7.709u,7.950u);
  z49\1\6c1 = (4.162u,9.328u);
  z49\1\6c2 = (7.020u,13.716u);
  z49\1\6 = (1.927u,13.731u);
  z49\2\0s = (13.972u,8.431u);
  z49\2\0c1 = (14.218u,7.535u);
  z49\2\0c2 = (14.050u,7.001u);
  z49\2\0 = (13.249u,6.504u);
  z49\3\0s = (16.622u,8.191u);
  z49\3\0 = (17.345u,5.541u);
  z49\4\0s = (18.912u,3.858u);
  z49\5\0s = (19.153u,3.376u);
  fill_or_unfill z49\0\0s
    ..controls z49\0\0c1 and z49\0\0c2..z49\0\0
    ..controls z49\0\1c1 and z49\0\1c2..z49\0\1
    ..controls z49\0\2c1 and z49\0\2c2..z49\0\2
    --z49\0\3
    ..controls z49\0\4c1 and z49\0\4c2..z49\0\4
    ..controls z49\0\5c1 and z49\0\5c2..z49\0\5
    --z49\0\6
    ..controls z49\0\7c1 and z49\0\7c2..z49\0\7
    --z49\0\8
    --z49\0\9
    --z49\0\10
    --z49\0\11
    --z49\0\12
    ..controls z49\0\13c1 and z49\0\13c2..z49\0\13
    ..controls z49\0\14c1 and z49\0\14c2..z49\0\14
    ..controls z49\0\15c1 and z49\0\15c2..z49\0\15
    --z49\0\16
    ..controls z49\0\17c1 and z49\0\17c2..z49\0\17
    --z49\0\18
    ..controls z49\0\19c1 and z49\0\19c2..z49\0\19
    ..controls z49\0\20c1 and z49\0\20c2..z49\0\20
    ..controls z49\0\21c1 and z49\0\21c2..z49\0\21
    ..controls z49\0\22c1 and z49\0\22c2..z49\0\22
    ..controls z49\0\23c1 and z49\0\23c2..z49\0\23
    ..controls z49\0\24c1 and z49\0\24c2..z49\0\24
    ..controls z49\0\25c1 and z49\0\25c2..z49\0\25
    ..controls z49\0\26c1 and z49\0\26c2..z49\0\26
    --z49\0\27
    --cycle;
  fill_or_unfill z49\1\0s
    ..controls z49\1\0c1 and z49\1\0c2..z49\1\0
    ..controls z49\1\1c1 and z49\1\1c2..z49\1\1
    --z49\1\2
    --z49\1\3
    --z49\1\4
    --z49\1\5
    ..controls z49\1\6c1 and z49\1\6c2..z49\1\6
    --cycle;
  fill_or_unfill z49\2\0s
    ..controls z49\2\0c1 and z49\2\0c2..z49\2\0
    --cycle;
  fill_or_unfill z49\3\0s
    --z49\3\0
    --cycle;
  fill_or_unfill z49\4\0s
    --cycle;
  fill_or_unfill z49\5\0s
    --cycle;
  proof_labels (
    49\0\0,
    49\0\1,
    49\0\2,
    49\0\3,
    49\0\4,
    49\0\5,
    49\0\6,
    49\0\7,
    49\0\8,
    49\0\9,
    49\0\10,
    49\0\11,
    49\0\12,
    49\0\13,
    49\0\14,
    49\0\15,
    49\0\16,
    49\0\17,
    49\0\18,
    49\0\19,
    49\0\20,
    49\0\21,
    49\0\22,
    49\0\23,
    49\0\24,
    49\0\25,
    49\0\26,
    49\0\27,
    49\0\28,
    49\1\0,
    49\1\1,
    49\1\2,
    49\1\3,
    49\1\4,
    49\1\5,
    49\1\6,
    49\1\7,
    49\2\0,
    49\2\1,
    49\3\0,
    49\3\1,
    49\4\0,
    49\5\0,
);
endchar;

beginchar (50, 17.586u#, 17.586u#, 0.000u#);
  "E18";
  z50\0\0s = (3.132u,17.586u);
  z50\0\0c1 = (2.414u,15.361u);
  z50\0\0c2 = (2.667u,15.173u);
  z50\0\0 = (0.000u,14.936u);
  z50\0\1c1 = (0.436u,13.126u);
  z50\0\1c2 = (1.917u,14.184u);
  z50\0\1 = (3.059u,13.176u);
  z50\0\2c1 = (4.680u,11.746u);
  z50\0\2c2 = (4.627u,6.885u);
  z50\0\2 = (2.409u,6.022u);
  z50\0\3c1 = (2.565u,7.793u);
  z50\0\3c2 = (3.190u,9.620u);
  z50\0\3 = (0.482u,9.154u);
  z50\0\4 = (1.314u,5.651u);
  z50\0\5c1 = (1.957u,4.699u);
  z50\0\5c2 = (6.912u,5.059u);
  z50\0\5 = (8.191u,5.059u);
  z50\0\6 = (8.191u,1.204u);
  z50\0\7 = (9.877u,0.963u);
  z50\0\8 = (10.048u,4.646u);
  z50\0\9 = (15.268u,4.909u);
  z50\0\10 = (16.140u,3.854u);
  z50\0\11 = (17.586u,5.059u);
  z50\0\12 = (17.586u,5.781u);
  z50\0\13c1 = (15.764u,6.138u);
  z50\0\13c2 = (15.064u,10.086u);
  z50\0\13 = (13.420u,11.493u);
  z50\0\14c1 = (9.368u,14.959u);
  z50\0\14c2 = (6.634u,10.103u);
  z50\0\14 = (4.321u,14.680u);
  z50\0\15c1 = (3.885u,15.543u);
  z50\0\15c2 = (4.081u,16.610u);
  z50\0\15 = (3.613u,17.586u);
  z50\1\0s = (3.372u,15.177u);
  z50\1\0c1 = (5.330u,8.709u);
  z50\1\0c2 = (11.630u,14.533u);
  z50\1\0 = (12.045u,10.359u);
  z50\1\1 = (10.418u,11.620u);
  z50\1\2 = (4.818u,11.081u);
  z50\2\0s = (2.168u,14.576u);
  z50\3\0s = (13.009u,6.745u);
  z50\3\0 = (11.710u,5.829u);
  z50\3\1 = (4.577u,5.829u);
  z50\3\2 = (5.781u,10.840u);
  z50\3\3c1 = (6.775u,10.565u);
  z50\3\3c2 = (8.095u,10.853u);
  z50\3\3 = (9.153u,10.840u);
  z50\3\4c1 = (11.203u,10.813u);
  z50\3\4c2 = (12.348u,8.536u);
  z50\4\0s = (2.168u,8.191u);
  z50\4\0 = (1.686u,7.227u);
  z50\4\1 = (1.686u,8.191u);
  z50\5\0s = (14.213u,6.986u);
  z50\5\0 = (14.936u,6.022u);
  z50\5\1 = (14.213u,5.781u);
  fill_or_unfill z50\0\0s
    ..controls z50\0\0c1 and z50\0\0c2..z50\0\0
    ..controls z50\0\1c1 and z50\0\1c2..z50\0\1
    ..controls z50\0\2c1 and z50\0\2c2..z50\0\2
    ..controls z50\0\3c1 and z50\0\3c2..z50\0\3
    --z50\0\4
    ..controls z50\0\5c1 and z50\0\5c2..z50\0\5
    --z50\0\6
    --z50\0\7
    --z50\0\8
    --z50\0\9
    --z50\0\10
    --z50\0\11
    --z50\0\12
    ..controls z50\0\13c1 and z50\0\13c2..z50\0\13
    ..controls z50\0\14c1 and z50\0\14c2..z50\0\14
    ..controls z50\0\15c1 and z50\0\15c2..z50\0\15
    --cycle;
  fill_or_unfill z50\1\0s
    ..controls z50\1\0c1 and z50\1\0c2..z50\1\0
    --z50\1\1
    --z50\1\2
    --cycle;
  fill_or_unfill z50\2\0s
    --cycle;
  fill_or_unfill z50\3\0s
    --z50\3\0
    --z50\3\1
    --z50\3\2
    ..controls z50\3\3c1 and z50\3\3c2..z50\3\3
    ..controls z50\3\4c1 and z50\3\4c2..cycle;
  fill_or_unfill z50\4\0s
    --z50\4\0
    --z50\4\1
    --cycle;
  fill_or_unfill z50\5\0s
    --z50\5\0
    --z50\5\1
    --cycle;
  proof_labels (
    50\0\0,
    50\0\1,
    50\0\2,
    50\0\3,
    50\0\4,
    50\0\5,
    50\0\6,
    50\0\7,
    50\0\8,
    50\0\9,
    50\0\10,
    50\0\11,
    50\0\12,
    50\0\13,
    50\0\14,
    50\0\15,
    50\0\16,
    50\1\0,
    50\1\1,
    50\1\2,
    50\1\3,
    50\2\0,
    50\3\0,
    50\3\1,
    50\3\2,
    50\3\3,
    50\3\4,
    50\4\0,
    50\4\1,
    50\4\2,
    50\5\0,
    50\5\1,
    50\5\2,
);
endchar;

beginchar (51, 14.936u#, 18.790u#, 0.000u#);
  "E19";
  z51\0\0s = (3.132u,18.790u);
  z51\0\0c1 = (3.076u,17.109u);
  z51\0\0c2 = (2.544u,17.007u);
  z51\0\0 = (0.963u,16.863u);
  z51\0\1c1 = (1.865u,15.048u);
  z51\0\1c2 = (3.110u,17.874u);
  z51\0\1 = (3.854u,13.009u);
  z51\0\2c1 = (-0.951u,16.425u);
  z51\0\2c2 = (-0.784u,9.936u);
  z51\0\2 = (1.498u,8.725u);
  z51\0\3c1 = (2.880u,7.992u);
  z51\0\3c2 = (4.749u,8.191u);
  z51\0\3 = (6.311u,8.191u);
  z51\0\4c1 = (6.269u,7.611u);
  z51\0\4c2 = (6.505u,6.101u);
  z51\0\4 = (6.311u,5.668u);
  z51\0\5c1 = (5.632u,3.521u);
  z51\0\5c2 = (3.738u,7.082u);
  z51\0\5 = (1.927u,4.577u);
  z51\0\6c1 = (3.944u,3.521u);
  z51\0\6c2 = (4.150u,4.254u);
  z51\0\6 = (6.263u,4.577u);
  z51\0\7c1 = (6.433u,2.951u);
  z51\0\7c2 = (5.508u,1.093u);
  z51\0\7 = (7.709u,0.963u);
  z51\0\8 = (8.123u,4.322u);
  z51\0\9 = (10.600u,5.059u);
  z51\0\10 = (7.709u,5.059u);
  z51\0\11 = (7.709u,8.191u);
  z51\0\12c1 = (16.172u,8.191u);
  z51\0\12c2 = (11.126u,6.501u);
  z51\0\12 = (14.695u,4.577u);
  z51\0\13 = (14.936u,8.431u);
  z51\0\14 = (13.079u,9.947u);
  z51\0\15 = (9.449u,14.507u);
  z51\0\16 = (4.899u,15.017u);
  z51\1\0s = (3.132u,16.863u);
  z51\1\0 = (3.613u,16.140u);
  z51\2\0s = (9.154u,13.972u);
  z51\2\0 = (4.336u,13.490u);
  z51\2\1 = (4.095u,14.695u);
  z51\3\0s = (2.891u,8.913u);
  z51\3\0c1 = (-0.426u,9.290u);
  z51\3\0c2 = (-0.235u,14.339u);
  z51\3\0 = (2.463u,13.302u);
  z51\3\1c1 = (2.866u,13.147u);
  z51\3\1c2 = (3.173u,12.878u);
  z51\3\1 = (3.273u,12.447u);
  z51\3\2c1 = (3.553u,11.240u);
  z51\3\2c2 = (2.276u,10.842u);
  z51\4\0s = (11.081u,9.395u);
  z51\4\0 = (9.788u,8.761u);
  z51\4\1 = (5.227u,9.088u);
  z51\4\2 = (5.059u,12.958u);
  z51\4\3 = (9.301u,12.958u);
  z51\4\4 = (10.118u,11.323u);
  z51\5\0s = (3.976u,12.771u);
  z51\6\0s = (4.336u,12.286u);
  z51\6\0c1 = (4.336u,10.940u);
  z51\6\0c2 = (4.698u,9.878u);
  z51\6\0 = (3.372u,9.154u);
  z51\6\1 = (3.854u,12.286u);
  z51\7\0s = (12.045u,9.877u);
  z51\7\0 = (12.286u,8.913u);
  z51\8\0s = (4.095u,5.059u);
  z51\8\0c1 = (3.704u,4.259u);
  z51\8\0c2 = (3.282u,4.259u);
  z51\8\0 = (2.891u,5.059u);
  fill_or_unfill z51\0\0s
    ..controls z51\0\0c1 and z51\0\0c2..z51\0\0
    ..controls z51\0\1c1 and z51\0\1c2..z51\0\1
    ..controls z51\0\2c1 and z51\0\2c2..z51\0\2
    ..controls z51\0\3c1 and z51\0\3c2..z51\0\3
    ..controls z51\0\4c1 and z51\0\4c2..z51\0\4
    ..controls z51\0\5c1 and z51\0\5c2..z51\0\5
    ..controls z51\0\6c1 and z51\0\6c2..z51\0\6
    ..controls z51\0\7c1 and z51\0\7c2..z51\0\7
    --z51\0\8
    --z51\0\9
    --z51\0\10
    --z51\0\11
    ..controls z51\0\12c1 and z51\0\12c2..z51\0\12
    --z51\0\13
    --z51\0\14
    --z51\0\15
    --z51\0\16
    --cycle;
  fill_or_unfill z51\1\0s
    --z51\1\0
    --cycle;
  fill_or_unfill z51\2\0s
    --z51\2\0
    --z51\2\1
    --cycle;
  fill_or_unfill z51\3\0s
    ..controls z51\3\0c1 and z51\3\0c2..z51\3\0
    ..controls z51\3\1c1 and z51\3\1c2..z51\3\1
    ..controls z51\3\2c1 and z51\3\2c2..cycle;
  fill_or_unfill z51\4\0s
    --z51\4\0
    --z51\4\1
    --z51\4\2
    --z51\4\3
    --z51\4\4
    --cycle;
  fill_or_unfill z51\5\0s
    --cycle;
  fill_or_unfill z51\6\0s
    ..controls z51\6\0c1 and z51\6\0c2..z51\6\0
    --z51\6\1
    --cycle;
  fill_or_unfill z51\7\0s
    --z51\7\0
    --cycle;
  fill_or_unfill z51\8\0s
    ..controls z51\8\0c1 and z51\8\0c2..z51\8\0
    --cycle;
  proof_labels (
    51\0\0,
    51\0\1,
    51\0\2,
    51\0\3,
    51\0\4,
    51\0\5,
    51\0\6,
    51\0\7,
    51\0\8,
    51\0\9,
    51\0\10,
    51\0\11,
    51\0\12,
    51\0\13,
    51\0\14,
    51\0\15,
    51\0\16,
    51\0\17,
    51\1\0,
    51\1\1,
    51\2\0,
    51\2\1,
    51\2\2,
    51\3\0,
    51\3\1,
    51\3\2,
    51\4\0,
    51\4\1,
    51\4\2,
    51\4\3,
    51\4\4,
    51\4\5,
    51\5\0,
    51\6\0,
    51\6\1,
    51\6\2,
    51\7\0,
    51\7\1,
    51\8\0,
    51\8\1,
);
endchar;

beginchar (52, 18.308u#, 18.549u#, 0.000u#);
  "E20";
  z52\0\0s = (4.095u,12.045u);
  z52\0\0c1 = (5.231u,9.711u);
  z52\0\0c2 = (5.451u,5.085u);
  z52\0\0 = (4.259u,2.727u);
  z52\0\1c1 = (3.894u,2.007u);
  z52\0\1c2 = (2.775u,2.205u);
  z52\0\1 = (2.868u,1.523u);
  z52\0\2c1 = (3.006u,0.461u);
  z52\0\2c2 = (4.525u,0.998u);
  z52\0\2 = (4.957u,1.523u);
  z52\0\3c1 = (5.802u,2.621u);
  z52\0\3c2 = (5.938u,4.881u);
  z52\0\3 = (6.504u,6.263u);
  z52\0\4c1 = (9.116u,5.473u);
  z52\0\4c2 = (9.839u,4.740u);
  z52\0\4 = (10.600u,2.168u);
  z52\0\5c1 = (9.287u,1.970u);
  z52\0\5c2 = (7.305u,2.602u);
  z52\0\5 = (6.745u,1.204u);
  z52\0\6 = (11.804u,0.963u);
  z52\0\7 = (13.706u,1.229u);
  z52\0\8 = (16.974u,9.043u);
  z52\0\9 = (18.031u,10.636u);
  z52\0\10 = (18.308u,12.527u);
  z52\0\11 = (17.586u,12.286u);
  z52\0\12 = (16.622u,13.009u);
  z52\0\13c1 = (16.464u,11.596u);
  z52\0\13c2 = (14.572u,4.625u);
  z52\0\13 = (13.490u,4.095u);
  z52\0\14c1 = (12.867u,6.990u);
  z52\0\14c2 = (9.355u,8.412u);
  z52\0\14 = (7.813u,10.704u);
  z52\0\15 = (6.383u,14.191u);
  z52\0\16c1 = (6.383u,15.337u);
  z52\0\16c2 = (7.093u,16.507u);
  z52\0\16 = (6.646u,17.728u);
  z52\0\17c1 = (6.423u,18.340u);
  z52\0\17c2 = (4.594u,18.727u);
  z52\0\17 = (4.305u,18.155u);
  z52\0\18 = (4.305u,15.909u);
  z52\0\19c1 = (4.302u,15.490u);
  z52\0\19c2 = (4.287u,15.134u);
  z52\0\19 = (3.946u,14.844u);
  z52\0\20c1 = (2.979u,14.022u);
  z52\0\20c2 = (1.667u,13.489u);
  z52\0\20 = (0.824u,12.426u);
  z52\0\21c1 = (-0.910u,10.240u);
  z52\0\21c2 = (0.954u,10.605u);
  z52\0\21 = (2.409u,11.322u);
  z52\1\0s = (5.781u,15.177u);
  z52\1\0c1 = (5.656u,14.817u);
  z52\1\0c2 = (5.409u,14.386u);
  z52\1\0 = (5.427u,14.002u);
  z52\1\1c1 = (5.476u,12.956u);
  z52\1\1c2 = (7.515u,9.861u);
  z52\1\1 = (8.261u,8.984u);
  z52\1\2c1 = (9.285u,7.778u);
  z52\1\2c2 = (16.641u,2.481u);
  z52\1\2 = (11.322u,1.686u);
  z52\1\3 = (10.359u,5.059u);
  z52\1\4 = (11.804u,4.095u);
  z52\1\5 = (10.969u,5.891u);
  z52\1\6 = (8.913u,6.030u);
  z52\1\7 = (5.781u,7.950u);
  z52\1\8c1 = (5.744u,9.629u);
  z52\1\8c2 = (5.650u,12.070u);
  z52\1\8 = (3.854u,12.768u);
  z52\2\0s = (3.613u,13.009u);
  z52\2\0 = (2.168u,12.286u);
  z52\3\0s = (2.168u,12.286u);
  fill_or_unfill z52\0\0s
    ..controls z52\0\0c1 and z52\0\0c2..z52\0\0
    ..controls z52\0\1c1 and z52\0\1c2..z52\0\1
    ..controls z52\0\2c1 and z52\0\2c2..z52\0\2
    ..controls z52\0\3c1 and z52\0\3c2..z52\0\3
    ..controls z52\0\4c1 and z52\0\4c2..z52\0\4
    ..controls z52\0\5c1 and z52\0\5c2..z52\0\5
    --z52\0\6
    --z52\0\7
    --z52\0\8
    --z52\0\9
    --z52\0\10
    --z52\0\11
    --z52\0\12
    ..controls z52\0\13c1 and z52\0\13c2..z52\0\13
    ..controls z52\0\14c1 and z52\0\14c2..z52\0\14
    --z52\0\15
    ..controls z52\0\16c1 and z52\0\16c2..z52\0\16
    ..controls z52\0\17c1 and z52\0\17c2..z52\0\17
    --z52\0\18
    ..controls z52\0\19c1 and z52\0\19c2..z52\0\19
    ..controls z52\0\20c1 and z52\0\20c2..z52\0\20
    ..controls z52\0\21c1 and z52\0\21c2..z52\0\21
    --cycle;
  fill_or_unfill z52\1\0s
    ..controls z52\1\0c1 and z52\1\0c2..z52\1\0
    ..controls z52\1\1c1 and z52\1\1c2..z52\1\1
    ..controls z52\1\2c1 and z52\1\2c2..z52\1\2
    --z52\1\3
    --z52\1\4
    --z52\1\5
    --z52\1\6
    --z52\1\7
    ..controls z52\1\8c1 and z52\1\8c2..z52\1\8
    --cycle;
  fill_or_unfill z52\2\0s
    --z52\2\0
    --cycle;
  fill_or_unfill z52\3\0s
    --cycle;
  proof_labels (
    52\0\0,
    52\0\1,
    52\0\2,
    52\0\3,
    52\0\4,
    52\0\5,
    52\0\6,
    52\0\7,
    52\0\8,
    52\0\9,
    52\0\10,
    52\0\11,
    52\0\12,
    52\0\13,
    52\0\14,
    52\0\15,
    52\0\16,
    52\0\17,
    52\0\18,
    52\0\19,
    52\0\20,
    52\0\21,
    52\0\22,
    52\1\0,
    52\1\1,
    52\1\2,
    52\1\3,
    52\1\4,
    52\1\5,
    52\1\6,
    52\1\7,
    52\1\8,
    52\1\9,
    52\2\0,
    52\2\1,
    52\3\0,
);
endchar;

beginchar (53, 19.272u#, 11.563u#, 0.000u#);
  "E21";
  z53\0\0s = (2.891u,11.322u);
  z53\0\0 = (3.927u,8.684u);
  z53\0\1 = (0.963u,4.336u);
  z53\0\2c1 = (2.567u,4.419u);
  z53\0\2c2 = (2.622u,4.955u);
  z53\0\2 = (3.866u,5.510u);
  z53\0\3c1 = (5.327u,6.162u);
  z53\0\3c2 = (5.278u,4.060u);
  z53\0\3 = (4.709u,3.240u);
  z53\0\4c1 = (3.508u,1.512u);
  z53\0\4c2 = (0.553u,3.497u);
  z53\0\4 = (0.000u,1.204u);
  z53\0\5 = (3.854u,1.204u);
  z53\0\6 = (6.840u,2.314u);
  z53\0\7 = (12.478u,3.242u);
  z53\0\8 = (13.249u,2.409u);
  z53\0\9c1 = (12.037u,2.351u);
  z53\0\9c2 = (10.143u,2.711u);
  z53\0\9 = (9.636u,1.445u);
  z53\0\10c1 = (11.520u,0.840u);
  z53\0\10c2 = (14.855u,1.044u);
  z53\0\10 = (16.622u,1.927u);
  z53\0\11 = (15.793u,3.945u);
  z53\0\12 = (17.465u,8.070u);
  z53\0\13 = (19.272u,9.154u);
  z53\0\14 = (18.067u,9.154u);
  z53\0\15 = (18.067u,10.359u);
  z53\0\16 = (17.104u,9.636u);
  z53\0\17 = (16.324u,9.877u);
  z53\0\18 = (16.324u,7.816u);
  z53\0\19 = (15.177u,4.818u);
  z53\0\20c1 = (14.229u,5.027u);
  z53\0\20c2 = (13.636u,5.961u);
  z53\0\20 = (12.645u,5.821u);
  z53\0\21c1 = (11.024u,5.593u);
  z53\0\21c2 = (8.917u,4.733u);
  z53\0\21 = (7.408u,5.962u);
  z53\0\22c1 = (7.069u,6.238u);
  z53\0\22c2 = (6.864u,6.763u);
  z53\0\22 = (6.663u,7.145u);
  z53\0\23c1 = (6.452u,7.547u);
  z53\0\23c2 = (6.128u,7.967u);
  z53\0\23 = (6.115u,8.436u);
  z53\0\24c1 = (6.085u,9.559u);
  z53\0\24c2 = (8.245u,11.063u);
  z53\0\24 = (6.263u,11.563u);
  z53\0\25 = (5.300u,9.395u);
  z53\0\26 = (4.818u,9.395u);
  z53\0\27c1 = (4.488u,10.512u);
  z53\0\27c2 = (4.218u,11.479u);
  z53\1\0s = (5.300u,8.191u);
  z53\1\0c1 = (6.764u,4.222u);
  z53\1\0c2 = (8.542u,4.488u);
  z53\1\0 = (12.286u,4.818u);
  z53\1\1 = (12.286u,3.854u);
  z53\1\2 = (9.085u,3.201u);
  z53\1\3 = (6.665u,2.970u);
  z53\1\4 = (4.577u,1.927u);
  z53\1\5c1 = (5.979u,3.899u);
  z53\1\5c2 = (6.864u,7.104u);
  z53\1\5 = (3.132u,6.022u);
  z53\1\6 = (3.372u,7.227u);
  z53\1\7 = (4.577u,6.986u);
  z53\1\8 = (4.818u,8.191u);
  z53\2\0s = (3.132u,6.022u);
  z53\3\0s = (13.249u,5.059u);
  z53\3\0c1 = (14.417u,4.228u);
  z53\3\0c2 = (15.337u,3.659u);
  z53\3\0 = (15.658u,2.168u);
  z53\3\1c1 = (14.378u,2.030u);
  z53\3\1c2 = (12.804u,3.797u);
  fill_or_unfill z53\0\0s
    --z53\0\0
    --z53\0\1
    ..controls z53\0\2c1 and z53\0\2c2..z53\0\2
    ..controls z53\0\3c1 and z53\0\3c2..z53\0\3
    ..controls z53\0\4c1 and z53\0\4c2..z53\0\4
    --z53\0\5
    --z53\0\6
    --z53\0\7
    --z53\0\8
    ..controls z53\0\9c1 and z53\0\9c2..z53\0\9
    ..controls z53\0\10c1 and z53\0\10c2..z53\0\10
    --z53\0\11
    --z53\0\12
    --z53\0\13
    --z53\0\14
    --z53\0\15
    --z53\0\16
    --z53\0\17
    --z53\0\18
    --z53\0\19
    ..controls z53\0\20c1 and z53\0\20c2..z53\0\20
    ..controls z53\0\21c1 and z53\0\21c2..z53\0\21
    ..controls z53\0\22c1 and z53\0\22c2..z53\0\22
    ..controls z53\0\23c1 and z53\0\23c2..z53\0\23
    ..controls z53\0\24c1 and z53\0\24c2..z53\0\24
    --z53\0\25
    --z53\0\26
    ..controls z53\0\27c1 and z53\0\27c2..cycle;
  fill_or_unfill z53\1\0s
    ..controls z53\1\0c1 and z53\1\0c2..z53\1\0
    --z53\1\1
    --z53\1\2
    --z53\1\3
    --z53\1\4
    ..controls z53\1\5c1 and z53\1\5c2..z53\1\5
    --z53\1\6
    --z53\1\7
    --z53\1\8
    --cycle;
  fill_or_unfill z53\2\0s
    --cycle;
  fill_or_unfill z53\3\0s
    ..controls z53\3\0c1 and z53\3\0c2..z53\3\0
    ..controls z53\3\1c1 and z53\3\1c2..cycle;
  proof_labels (
    53\0\0,
    53\0\1,
    53\0\2,
    53\0\3,
    53\0\4,
    53\0\5,
    53\0\6,
    53\0\7,
    53\0\8,
    53\0\9,
    53\0\10,
    53\0\11,
    53\0\12,
    53\0\13,
    53\0\14,
    53\0\15,
    53\0\16,
    53\0\17,
    53\0\18,
    53\0\19,
    53\0\20,
    53\0\21,
    53\0\22,
    53\0\23,
    53\0\24,
    53\0\25,
    53\0\26,
    53\0\27,
    53\1\0,
    53\1\1,
    53\1\2,
    53\1\3,
    53\1\4,
    53\1\5,
    53\1\6,
    53\1\7,
    53\1\8,
    53\1\9,
    53\2\0,
    53\3\0,
    53\3\1,
);
endchar;

beginchar (54, 17.345u#, 11.081u#, 0.000u#);
  "E22";
  z54\0\0s = (2.650u,6.745u);
  z54\0\0c1 = (3.156u,4.746u);
  z54\0\0c2 = (3.095u,3.066u);
  z54\0\0 = (0.963u,2.168u);
  z54\0\1 = (0.963u,1.686u);
  z54\0\2c1 = (2.895u,1.150u);
  z54\0\2c2 = (3.354u,2.684u);
  z54\0\2 = (4.095u,4.095u);
  z54\0\3 = (4.577u,4.095u);
  z54\0\4 = (4.336u,1.445u);
  z54\0\5c1 = (8.623u,1.670u);
  z54\0\5c2 = (2.370u,5.103u);
  z54\0\5 = (10.359u,4.577u);
  z54\0\6 = (10.118u,2.409u);
  z54\0\7 = (8.913u,1.445u);
  z54\0\8c1 = (11.022u,1.471u);
  z54\0\8c2 = (11.087u,2.216u);
  z54\0\8 = (11.563u,4.095u);
  z54\0\9 = (13.249u,2.409u);
  z54\0\10 = (12.286u,1.686u);
  z54\0\11 = (14.213u,1.445u);
  z54\0\12 = (13.490u,5.541u);
  z54\0\13c1 = (15.151u,4.752u);
  z54\0\13c2 = (14.699u,0.895u);
  z54\0\13 = (17.345u,1.686u);
  z54\0\14 = (17.345u,2.168u);
  z54\0\15c1 = (16.885u,2.358u);
  z54\0\15c2 = (16.246u,2.528u);
  z54\0\15 = (15.891u,2.883u);
  z54\0\16c1 = (15.506u,3.268u);
  z54\0\16c2 = (15.333u,4.033u);
  z54\0\16 = (15.141u,4.542u);
  z54\0\17c1 = (14.328u,6.701u);
  z54\0\17c2 = (13.350u,8.400u);
  z54\0\17 = (10.839u,8.431u);
  z54\0\18 = (8.191u,8.431u);
  z54\0\19c1 = (7.708u,8.432u);
  z54\0\19c2 = (6.853u,8.388u);
  z54\0\19 = (6.425u,8.593u);
  z54\0\20c1 = (5.341u,9.113u);
  z54\0\20c2 = (5.022u,11.587u);
  z54\0\20 = (2.775u,10.955u);
  z54\0\21c1 = (2.083u,10.760u);
  z54\0\21c2 = (0.112u,8.951u);
  z54\0\21 = (0.168u,8.202u);
  z54\0\22c1 = (0.202u,7.745u);
  z54\0\22c2 = (0.680u,7.523u);
  z54\0\22 = (0.976u,7.240u);
  z54\0\23c1 = (1.711u,6.537u);
  z54\0\23c2 = (1.602u,6.541u);
  z54\1\0s = (3.854u,10.359u);
  z54\1\0 = (3.132u,9.154u);
  z54\1\1 = (3.854u,8.913u);
  z54\1\2c1 = (3.487u,7.815u);
  z54\1\2c2 = (2.739u,7.538u);
  z54\1\2 = (1.686u,7.227u);
  z54\1\3 = (1.308u,7.806u);
  z54\1\4c1 = (0.539u,9.005u);
  z54\1\4c2 = (2.245u,8.551u);
  z54\1\4 = (2.650u,9.395u);
  z54\1\5 = (1.686u,9.395u);
  z54\1\6c1 = (2.301u,10.245u);
  z54\1\6c2 = (2.777u,10.654u);
  z54\2\0s = (4.818u,9.877u);
  z54\2\0 = (5.362u,8.673u);
  z54\2\1 = (3.854u,5.059u);
  z54\2\2 = (3.132u,7.227u);
  z54\2\3c1 = (4.292u,7.858u);
  z54\2\3c2 = (4.338u,8.402u);
  z54\2\3 = (4.095u,9.636u);
  z54\2\4 = (4.336u,9.877u);
  z54\3\0s = (13.009u,4.095u);
  z54\3\0 = (10.359u,7.468u);
  z54\3\1 = (11.081u,5.541u);
  z54\3\2c1 = (9.293u,4.966u);
  z54\3\2c2 = (6.891u,4.876u);
  z54\3\2 = (5.300u,5.781u);
  z54\3\3 = (5.300u,4.336u);
  z54\3\4c1 = (4.577u,4.899u);
  z54\3\4c2 = (4.607u,5.139u);
  z54\3\4 = (4.847u,5.995u);
  z54\3\5c1 = (4.994u,6.514u);
  z54\3\5c2 = (5.168u,7.531u);
  z54\3\5 = (5.694u,7.748u);
  z54\3\6c1 = (6.104u,7.970u);
  z54\3\6c2 = (6.997u,7.738u);
  z54\3\6 = (7.477u,7.748u);
  z54\3\7c1 = (8.775u,7.666u);
  z54\3\7c2 = (11.817u,8.428u);
  z54\3\7 = (12.713u,7.173u);
  z54\3\8c1 = (13.134u,6.583u);
  z54\3\8c2 = (13.009u,4.844u);
  z54\4\0s = (10.962u,4.339u);
  fill_or_unfill z54\0\0s
    ..controls z54\0\0c1 and z54\0\0c2..z54\0\0
    --z54\0\1
    ..controls z54\0\2c1 and z54\0\2c2..z54\0\2
    --z54\0\3
    --z54\0\4
    ..controls z54\0\5c1 and z54\0\5c2..z54\0\5
    --z54\0\6
    --z54\0\7
    ..controls z54\0\8c1 and z54\0\8c2..z54\0\8
    --z54\0\9
    --z54\0\10
    --z54\0\11
    --z54\0\12
    ..controls z54\0\13c1 and z54\0\13c2..z54\0\13
    --z54\0\14
    ..controls z54\0\15c1 and z54\0\15c2..z54\0\15
    ..controls z54\0\16c1 and z54\0\16c2..z54\0\16
    ..controls z54\0\17c1 and z54\0\17c2..z54\0\17
    --z54\0\18
    ..controls z54\0\19c1 and z54\0\19c2..z54\0\19
    ..controls z54\0\20c1 and z54\0\20c2..z54\0\20
    ..controls z54\0\21c1 and z54\0\21c2..z54\0\21
    ..controls z54\0\22c1 and z54\0\22c2..z54\0\22
    ..controls z54\0\23c1 and z54\0\23c2..cycle;
  fill_or_unfill z54\1\0s
    --z54\1\0
    --z54\1\1
    ..controls z54\1\2c1 and z54\1\2c2..z54\1\2
    --z54\1\3
    ..controls z54\1\4c1 and z54\1\4c2..z54\1\4
    --z54\1\5
    ..controls z54\1\6c1 and z54\1\6c2..cycle;
  fill_or_unfill z54\2\0s
    --z54\2\0
    --z54\2\1
    --z54\2\2
    ..controls z54\2\3c1 and z54\2\3c2..z54\2\3
    --z54\2\4
    --cycle;
  fill_or_unfill z54\3\0s
    --z54\3\0
    --z54\3\1
    ..controls z54\3\2c1 and z54\3\2c2..z54\3\2
    --z54\3\3
    ..controls z54\3\4c1 and z54\3\4c2..z54\3\4
    ..controls z54\3\5c1 and z54\3\5c2..z54\3\5
    ..controls z54\3\6c1 and z54\3\6c2..z54\3\6
    ..controls z54\3\7c1 and z54\3\7c2..z54\3\7
    ..controls z54\3\8c1 and z54\3\8c2..cycle;
  fill_or_unfill z54\4\0s
    --cycle;
  proof_labels (
    54\0\0,
    54\0\1,
    54\0\2,
    54\0\3,
    54\0\4,
    54\0\5,
    54\0\6,
    54\0\7,
    54\0\8,
    54\0\9,
    54\0\10,
    54\0\11,
    54\0\12,
    54\0\13,
    54\0\14,
    54\0\15,
    54\0\16,
    54\0\17,
    54\0\18,
    54\0\19,
    54\0\20,
    54\0\21,
    54\0\22,
    54\0\23,
    54\1\0,
    54\1\1,
    54\1\2,
    54\1\3,
    54\1\4,
    54\1\5,
    54\1\6,
    54\2\0,
    54\2\1,
    54\2\2,
    54\2\3,
    54\2\4,
    54\2\5,
    54\3\0,
    54\3\1,
    54\3\2,
    54\3\3,
    54\3\4,
    54\3\5,
    54\3\6,
    54\3\7,
    54\3\8,
    54\4\0,
);
endchar;

beginchar (55, 17.345u#, 9.395u#, 0.000u#);
  "E23";
  z55\0\0s = (4.577u,5.059u);
  z55\0\0c1 = (4.426u,2.446u);
  z55\0\0c2 = (1.837u,3.722u);
  z55\0\0 = (0.000u,3.132u);
  z55\0\1 = (0.000u,2.670u);
  z55\0\2 = (5.502u,2.670u);
  z55\0\3 = (6.766u,3.214u);
  z55\0\4 = (10.840u,3.372u);
  z55\0\5 = (10.600u,2.615u);
  z55\0\6c1 = (11.421u,2.386u);
  z55\0\6c2 = (16.303u,2.201u);
  z55\0\6 = (16.931u,2.615u);
  z55\0\7c1 = (18.276u,3.389u);
  z55\0\7c2 = (15.533u,5.938u);
  z55\0\7 = (14.695u,6.263u);
  z55\0\8 = (15.417u,7.468u);
  z55\0\9c1 = (12.738u,7.442u);
  z55\0\9c2 = (13.048u,5.922u);
  z55\0\9 = (9.955u,6.583u);
  z55\0\10c1 = (8.491u,6.895u);
  z55\0\10c2 = (8.068u,9.806u);
  z55\0\10 = (5.347u,9.341u);
  z55\0\11c1 = (4.792u,9.246u);
  z55\0\11c2 = (2.583u,7.100u);
  z55\0\11 = (2.632u,6.548u);
  z55\0\12c1 = (2.693u,5.865u);
  z55\0\12c2 = (4.009u,5.184u);
  z55\1\0s = (5.781u,8.913u);
  z55\1\0 = (6.504u,8.672u);
  z55\2\0s = (8.191u,6.745u);
  z55\2\0 = (6.745u,6.263u);
  z55\2\1 = (6.504u,8.431u);
  z55\2\2c1 = (7.553u,8.200u);
  z55\2\2c2 = (7.959u,7.794u);
  z55\3\0s = (5.300u,7.950u);
  z55\3\0c1 = (6.216u,7.358u);
  z55\3\0c2 = (6.597u,6.491u);
  z55\3\0 = (5.161u,6.206u);
  z55\3\1c1 = (4.665u,6.107u);
  z55\3\1c2 = (4.103u,6.402u);
  z55\3\1 = (3.613u,6.504u);
  z55\3\2 = (3.854u,7.227u);
  z55\3\3 = (5.300u,7.227u);
  z55\4\0s = (12.768u,4.818u);
  z55\4\0 = (7.135u,3.983u);
  z55\4\1 = (5.059u,3.372u);
  z55\4\2c1 = (6.022u,4.710u);
  z55\4\2c2 = (7.345u,6.156u);
  z55\4\2 = (9.114u,5.981u);
  z55\4\3 = (11.460u,5.642u);
  z55\4\4c1 = (12.325u,5.677u);
  z55\4\4c2 = (12.366u,5.554u);
  z55\5\0s = (16.622u,3.372u);
  z55\5\0c1 = (15.199u,3.604u);
  z55\5\0c2 = (13.442u,4.176u);
  z55\5\0 = (13.249u,5.781u);
  z55\5\1c1 = (15.022u,5.620u);
  z55\5\1c2 = (15.814u,4.910u);
  z55\6\0s = (13.972u,3.613u);
  z55\6\0 = (11.563u,3.613u);
  fill_or_unfill z55\0\0s
    ..controls z55\0\0c1 and z55\0\0c2..z55\0\0
    --z55\0\1
    --z55\0\2
    --z55\0\3
    --z55\0\4
    --z55\0\5
    ..controls z55\0\6c1 and z55\0\6c2..z55\0\6
    ..controls z55\0\7c1 and z55\0\7c2..z55\0\7
    --z55\0\8
    ..controls z55\0\9c1 and z55\0\9c2..z55\0\9
    ..controls z55\0\10c1 and z55\0\10c2..z55\0\10
    ..controls z55\0\11c1 and z55\0\11c2..z55\0\11
    ..controls z55\0\12c1 and z55\0\12c2..cycle;
  fill_or_unfill z55\1\0s
    --z55\1\0
    --cycle;
  fill_or_unfill z55\2\0s
    --z55\2\0
    --z55\2\1
    ..controls z55\2\2c1 and z55\2\2c2..cycle;
  fill_or_unfill z55\3\0s
    ..controls z55\3\0c1 and z55\3\0c2..z55\3\0
    ..controls z55\3\1c1 and z55\3\1c2..z55\3\1
    --z55\3\2
    --z55\3\3
    --cycle;
  fill_or_unfill z55\4\0s
    --z55\4\0
    --z55\4\1
    ..controls z55\4\2c1 and z55\4\2c2..z55\4\2
    --z55\4\3
    ..controls z55\4\4c1 and z55\4\4c2..cycle;
  fill_or_unfill z55\5\0s
    ..controls z55\5\0c1 and z55\5\0c2..z55\5\0
    ..controls z55\5\1c1 and z55\5\1c2..cycle;
  fill_or_unfill z55\6\0s
    --z55\6\0
    --cycle;
  proof_labels (
    55\0\0,
    55\0\1,
    55\0\2,
    55\0\3,
    55\0\4,
    55\0\5,
    55\0\6,
    55\0\7,
    55\0\8,
    55\0\9,
    55\0\10,
    55\0\11,
    55\0\12,
    55\1\0,
    55\1\1,
    55\2\0,
    55\2\1,
    55\2\2,
    55\3\0,
    55\3\1,
    55\3\2,
    55\3\3,
    55\3\4,
    55\4\0,
    55\4\1,
    55\4\2,
    55\4\3,
    55\4\4,
    55\5\0,
    55\5\1,
    55\6\0,
    55\6\1,
);
endchar;

beginchar (56, 22.885u#, 10.840u#, 0.000u#);
  "E24";
  z56\0\0s = (5.300u,6.263u);
  z56\0\0c1 = (5.076u,5.383u);
  z56\0\0c2 = (4.712u,4.225u);
  z56\0\0 = (4.284u,3.425u);
  z56\0\1c1 = (4.028u,2.948u);
  z56\0\1c2 = (3.271u,2.670u);
  z56\0\1 = (3.249u,2.153u);
  z56\0\2c1 = (3.212u,1.254u);
  z56\0\2c2 = (4.421u,1.474u);
  z56\0\2 = (4.867u,1.878u);
  z56\0\3c1 = (5.349u,2.315u);
  z56\0\3c2 = (6.144u,4.339u);
  z56\0\3 = (6.504u,5.059u);
  z56\0\4 = (6.986u,5.059u);
  z56\0\5 = (7.227u,1.686u);
  z56\0\6 = (9.395u,1.686u);
  z56\0\7 = (8.431u,5.781u);
  z56\0\8 = (13.249u,6.263u);
  z56\0\9c1 = (13.177u,5.469u);
  z56\0\9c2 = (12.670u,3.625u);
  z56\0\9 = (12.159u,3.017u);
  z56\0\10c1 = (11.882u,2.687u);
  z56\0\10c2 = (10.973u,2.409u);
  z56\0\10 = (11.277u,1.834u);
  z56\0\11c1 = (11.423u,1.558u);
  z56\0\11c2 = (11.765u,1.500u);
  z56\0\11 = (12.047u,1.492u);
  z56\0\12c1 = (14.147u,1.430u);
  z56\0\12c2 = (13.831u,5.069u);
  z56\0\12 = (15.340u,4.884u);
  z56\0\13c1 = (15.717u,4.838u);
  z56\0\13c2 = (16.052u,4.516u);
  z56\0\13 = (16.343u,4.298u);
  z56\0\14c1 = (18.353u,2.784u);
  z56\0\14c2 = (15.967u,2.921u);
  z56\0\14 = (16.566u,1.845u);
  z56\0\15c1 = (16.942u,1.167u);
  z56\0\15c2 = (18.273u,1.512u);
  z56\0\15 = (18.567u,2.131u);
  z56\0\16c1 = (18.891u,2.742u);
  z56\0\16c2 = (18.607u,3.675u);
  z56\0\16 = (18.567u,4.336u);
  z56\0\17c1 = (19.308u,3.789u);
  z56\0\17c2 = (19.751u,3.054u);
  z56\0\17 = (20.758u,2.938u);
  z56\0\18c1 = (22.120u,2.782u);
  z56\0\18c2 = (23.074u,3.381u);
  z56\0\18 = (22.644u,4.818u);
  z56\0\19 = (22.163u,4.818u);
  z56\0\20c1 = (21.582u,3.676u);
  z56\0\20c2 = (20.756u,3.134u);
  z56\0\20 = (19.720u,4.302u);
  z56\0\21c1 = (18.137u,6.088u);
  z56\0\21c2 = (17.394u,8.700u);
  z56\0\21 = (15.453u,10.154u);
  z56\0\22c1 = (13.770u,11.415u);
  z56\0\22c2 = (8.616u,10.742u);
  z56\0\22 = (6.433u,10.707u);
  z56\0\23c1 = (5.530u,10.692u);
  z56\0\23c2 = (1.841u,9.068u);
  z56\0\23 = (1.196u,8.440u);
  z56\0\24c1 = (0.239u,7.509u);
  z56\0\24c2 = (-0.350u,6.099u);
  z56\0\24 = (0.899u,5.237u);
  z56\0\25c1 = (1.202u,5.028u);
  z56\0\25c2 = (1.417u,4.879u);
  z56\0\25 = (1.802u,4.990u);
  z56\0\26c1 = (3.076u,5.359u);
  z56\0\26c2 = (3.744u,6.690u);
  z56\1\0s = (16.863u,4.818u);
  z56\1\0 = (13.905u,6.678u);
  z56\1\1 = (7.709u,6.986u);
  z56\1\2 = (8.191u,4.336u);
  z56\1\3 = (6.514u,6.755u);
  z56\1\4 = (0.723u,6.263u);
  z56\1\5 = (1.204u,7.227u);
  z56\1\6 = (2.409u,6.986u);
  z56\1\7 = (1.686u,7.950u);
  z56\1\8 = (3.613u,7.950u);
  z56\1\9c1 = (3.664u,8.374u);
  z56\1\9c2 = (3.657u,8.703u);
  z56\1\9 = (3.982u,9.026u);
  z56\1\10c1 = (5.182u,10.221u);
  z56\1\10c2 = (13.316u,10.687u);
  z56\1\10 = (14.573u,9.755u);
  z56\1\11c1 = (15.309u,9.210u);
  z56\1\11c2 = (16.488u,5.833u);
  z56\2\0s = (16.863u,7.468u);
  z56\2\0 = (18.308u,4.818u);
  z56\2\1c1 = (17.353u,5.243u);
  z56\2\1c2 = (16.493u,6.420u);
  z56\3\0s = (14.213u,5.781u);
  z56\3\0 = (13.972u,4.818u);
  z56\4\0s = (18.549u,4.577u);
  fill_or_unfill z56\0\0s
    ..controls z56\0\0c1 and z56\0\0c2..z56\0\0
    ..controls z56\0\1c1 and z56\0\1c2..z56\0\1
    ..controls z56\0\2c1 and z56\0\2c2..z56\0\2
    ..controls z56\0\3c1 and z56\0\3c2..z56\0\3
    --z56\0\4
    --z56\0\5
    --z56\0\6
    --z56\0\7
    --z56\0\8
    ..controls z56\0\9c1 and z56\0\9c2..z56\0\9
    ..controls z56\0\10c1 and z56\0\10c2..z56\0\10
    ..controls z56\0\11c1 and z56\0\11c2..z56\0\11
    ..controls z56\0\12c1 and z56\0\12c2..z56\0\12
    ..controls z56\0\13c1 and z56\0\13c2..z56\0\13
    ..controls z56\0\14c1 and z56\0\14c2..z56\0\14
    ..controls z56\0\15c1 and z56\0\15c2..z56\0\15
    ..controls z56\0\16c1 and z56\0\16c2..z56\0\16
    ..controls z56\0\17c1 and z56\0\17c2..z56\0\17
    ..controls z56\0\18c1 and z56\0\18c2..z56\0\18
    --z56\0\19
    ..controls z56\0\20c1 and z56\0\20c2..z56\0\20
    ..controls z56\0\21c1 and z56\0\21c2..z56\0\21
    ..controls z56\0\22c1 and z56\0\22c2..z56\0\22
    ..controls z56\0\23c1 and z56\0\23c2..z56\0\23
    ..controls z56\0\24c1 and z56\0\24c2..z56\0\24
    ..controls z56\0\25c1 and z56\0\25c2..z56\0\25
    ..controls z56\0\26c1 and z56\0\26c2..cycle;
  fill_or_unfill z56\1\0s
    --z56\1\0
    --z56\1\1
    --z56\1\2
    --z56\1\3
    --z56\1\4
    --z56\1\5
    --z56\1\6
    --z56\1\7
    --z56\1\8
    ..controls z56\1\9c1 and z56\1\9c2..z56\1\9
    ..controls z56\1\10c1 and z56\1\10c2..z56\1\10
    ..controls z56\1\11c1 and z56\1\11c2..cycle;
  fill_or_unfill z56\2\0s
    --z56\2\0
    ..controls z56\2\1c1 and z56\2\1c2..cycle;
  fill_or_unfill z56\3\0s
    --z56\3\0
    --cycle;
  fill_or_unfill z56\4\0s
    --cycle;
  proof_labels (
    56\0\0,
    56\0\1,
    56\0\2,
    56\0\3,
    56\0\4,
    56\0\5,
    56\0\6,
    56\0\7,
    56\0\8,
    56\0\9,
    56\0\10,
    56\0\11,
    56\0\12,
    56\0\13,
    56\0\14,
    56\0\15,
    56\0\16,
    56\0\17,
    56\0\18,
    56\0\19,
    56\0\20,
    56\0\21,
    56\0\22,
    56\0\23,
    56\0\24,
    56\0\25,
    56\0\26,
    56\1\0,
    56\1\1,
    56\1\2,
    56\1\3,
    56\1\4,
    56\1\5,
    56\1\6,
    56\1\7,
    56\1\8,
    56\1\9,
    56\1\10,
    56\1\11,
    56\2\0,
    56\2\1,
    56\3\0,
    56\3\1,
    56\4\0,
);
endchar;

beginchar (57, 17.826u#, 10.600u#, 0.000u#);
  "E25";
  z57\0\0s = (4.577u,0.963u);
  z57\0\0c1 = (7.023u,0.278u);
  z57\0\0c2 = (6.267u,1.480u);
  z57\0\0 = (7.709u,2.409u);
  z57\0\1 = (7.468u,0.723u);
  z57\0\2c1 = (11.519u,0.738u);
  z57\0\2c2 = (7.857u,2.646u);
  z57\0\2 = (12.286u,2.650u);
  z57\0\3 = (11.804u,0.963u);
  z57\0\4c1 = (15.083u,0.460u);
  z57\0\4c2 = (13.042u,2.855u);
  z57\0\4 = (15.417u,2.650u);
  z57\0\5 = (14.695u,0.963u);
  z57\0\6c1 = (18.008u,0.966u);
  z57\0\6c2 = (17.171u,2.301u);
  z57\0\6 = (16.381u,4.818u);
  z57\0\7c1 = (19.388u,5.336u);
  z57\0\7c2 = (16.724u,8.698u);
  z57\0\7 = (15.177u,9.490u);
  z57\0\8c1 = (12.069u,11.081u);
  z57\0\8c2 = (10.243u,10.614u);
  z57\0\8 = (6.986u,10.185u);
  z57\0\9c1 = (5.981u,10.053u);
  z57\0\9c2 = (4.533u,9.968u);
  z57\0\9 = (3.636u,9.499u);
  z57\0\10c1 = (2.902u,9.115u);
  z57\0\10c2 = (2.662u,8.578u);
  z57\0\10 = (2.094u,8.048u);
  z57\0\11c1 = (1.764u,7.741u);
  z57\0\11c2 = (1.250u,7.495u);
  z57\0\11 = (1.014u,7.115u);
  z57\0\12c1 = (0.731u,6.660u);
  z57\0\12c2 = (0.837u,6.051u);
  z57\0\12 = (0.734u,5.541u);
  z57\0\13c1 = (0.594u,4.843u);
  z57\0\13c2 = (0.062u,4.080u);
  z57\0\13 = (0.185u,3.373u);
  z57\0\14c1 = (0.282u,2.822u);
  z57\0\14c2 = (0.767u,2.207u);
  z57\0\14 = (1.246u,1.932u);
  z57\0\15c1 = (3.655u,0.544u);
  z57\0\15c2 = (3.636u,3.057u);
  z57\0\15 = (4.783u,3.479u);
  z57\0\16c1 = (5.943u,3.905u);
  z57\0\16c2 = (5.210u,2.234u);
  z57\0\16 = (5.035u,1.918u);
  z57\1\0s = (16.863u,7.227u);
  z57\1\0c1 = (14.653u,5.748u);
  z57\1\0c2 = (17.377u,2.401u);
  z57\1\0 = (15.658u,1.686u);
  z57\1\1c1 = (15.808u,3.156u);
  z57\1\1c2 = (15.055u,4.347u);
  z57\1\1 = (13.972u,5.300u);
  z57\1\2 = (14.454u,3.613u);
  z57\1\3c1 = (13.027u,3.267u);
  z57\1\3c2 = (10.279u,2.729u);
  z57\1\3 = (9.395u,4.095u);
  z57\1\4c1 = (7.435u,3.333u);
  z57\1\4c2 = (7.871u,4.422u);
  z57\1\4 = (6.745u,5.541u);
  z57\1\5 = (6.986u,3.372u);
  z57\1\6 = (4.818u,5.781u);
  z57\1\7c1 = (4.698u,4.294u);
  z57\1\7c2 = (4.219u,3.586u);
  z57\1\7 = (2.650u,3.613u);
  z57\1\8c1 = (2.150u,1.408u);
  z57\1\8c2 = (1.453u,2.712u);
  z57\1\8 = (0.723u,3.613u);
  z57\1\9c1 = (1.297u,5.633u);
  z57\1\9c2 = (1.877u,7.440u);
  z57\1\9 = (3.663u,8.737u);
  z57\1\10c1 = (4.400u,9.271u);
  z57\1\10c2 = (6.516u,9.517u);
  z57\1\10 = (7.468u,9.624u);
  z57\1\11c1 = (11.035u,10.024u);
  z57\1\11c2 = (14.393u,10.591u);
  z57\2\0s = (1.686u,4.818u);
  z57\2\0c1 = (4.404u,4.844u);
  z57\2\0c2 = (2.840u,7.865u);
  z57\2\0 = (1.959u,5.755u);
  z57\3\0s = (6.504u,2.650u);
  z57\3\0 = (5.541u,1.445u);
  z57\4\0s = (13.490u,2.650u);
  z57\4\0 = (12.768u,1.445u);
  z57\4\1 = (13.009u,2.650u);
  z57\5\0s = (8.672u,1.909u);
  fill_or_unfill z57\0\0s
    ..controls z57\0\0c1 and z57\0\0c2..z57\0\0
    --z57\0\1
    ..controls z57\0\2c1 and z57\0\2c2..z57\0\2
    --z57\0\3
    ..controls z57\0\4c1 and z57\0\4c2..z57\0\4
    --z57\0\5
    ..controls z57\0\6c1 and z57\0\6c2..z57\0\6
    ..controls z57\0\7c1 and z57\0\7c2..z57\0\7
    ..controls z57\0\8c1 and z57\0\8c2..z57\0\8
    ..controls z57\0\9c1 and z57\0\9c2..z57\0\9
    ..controls z57\0\10c1 and z57\0\10c2..z57\0\10
    ..controls z57\0\11c1 and z57\0\11c2..z57\0\11
    ..controls z57\0\12c1 and z57\0\12c2..z57\0\12
    ..controls z57\0\13c1 and z57\0\13c2..z57\0\13
    ..controls z57\0\14c1 and z57\0\14c2..z57\0\14
    ..controls z57\0\15c1 and z57\0\15c2..z57\0\15
    ..controls z57\0\16c1 and z57\0\16c2..z57\0\16
    --cycle;
  fill_or_unfill z57\1\0s
    ..controls z57\1\0c1 and z57\1\0c2..z57\1\0
    ..controls z57\1\1c1 and z57\1\1c2..z57\1\1
    --z57\1\2
    ..controls z57\1\3c1 and z57\1\3c2..z57\1\3
    ..controls z57\1\4c1 and z57\1\4c2..z57\1\4
    --z57\1\5
    --z57\1\6
    ..controls z57\1\7c1 and z57\1\7c2..z57\1\7
    ..controls z57\1\8c1 and z57\1\8c2..z57\1\8
    ..controls z57\1\9c1 and z57\1\9c2..z57\1\9
    ..controls z57\1\10c1 and z57\1\10c2..z57\1\10
    ..controls z57\1\11c1 and z57\1\11c2..cycle;
  fill_or_unfill z57\2\0s
    ..controls z57\2\0c1 and z57\2\0c2..z57\2\0
    --cycle;
  fill_or_unfill z57\3\0s
    --z57\3\0
    --cycle;
  fill_or_unfill z57\4\0s
    --z57\4\0
    --z57\4\1
    --cycle;
  fill_or_unfill z57\5\0s
    --cycle;
  proof_labels (
    57\0\0,
    57\0\1,
    57\0\2,
    57\0\3,
    57\0\4,
    57\0\5,
    57\0\6,
    57\0\7,
    57\0\8,
    57\0\9,
    57\0\10,
    57\0\11,
    57\0\12,
    57\0\13,
    57\0\14,
    57\0\15,
    57\0\16,
    57\0\17,
    57\1\0,
    57\1\1,
    57\1\2,
    57\1\3,
    57\1\4,
    57\1\5,
    57\1\6,
    57\1\7,
    57\1\8,
    57\1\9,
    57\1\10,
    57\1\11,
    57\2\0,
    57\2\1,
    57\3\0,
    57\3\1,
    57\4\0,
    57\4\1,
    57\4\2,
    57\5\0,
);
endchar;

beginchar (58, 17.345u#, 13.972u#, 0.000u#);
  "E26";
  z58\0\0s = (0.000u,13.490u);
  z58\0\0 = (1.191u,11.301u);
  z58\0\1 = (0.963u,6.986u);
  z58\0\2c1 = (3.127u,7.367u);
  z58\0\2c2 = (1.518u,9.712u);
  z58\0\2 = (2.920u,9.968u);
  z58\0\3c1 = (3.502u,10.075u);
  z58\0\3c2 = (4.297u,8.623u);
  z58\0\3 = (4.592u,8.191u);
  z58\0\4c1 = (4.857u,7.802u);
  z58\0\4c2 = (5.120u,7.482u);
  z58\0\4 = (5.130u,6.986u);
  z58\0\5 = (2.168u,0.482u);
  z58\0\6c1 = (4.887u,0.064u);
  z58\0\6c2 = (4.613u,2.758u);
  z58\0\6 = (6.504u,4.336u);
  z58\0\7c1 = (6.503u,2.486u);
  z58\0\7c2 = (5.274u,0.568u);
  z58\0\7 = (7.709u,0.482u);
  z58\0\8 = (8.431u,5.781u);
  z58\0\9c1 = (13.515u,4.526u);
  z58\0\9c2 = (9.312u,2.966u);
  z58\0\9 = (8.913u,0.482u);
  z58\0\10c1 = (11.482u,0.515u);
  z58\0\10c2 = (12.727u,2.774u);
  z58\0\10 = (13.249u,5.059u);
  z58\0\11c1 = (15.666u,3.238u);
  z58\0\11c2 = (14.646u,2.799u);
  z58\0\11 = (14.213u,0.482u);
  z58\0\12c1 = (17.851u,0.529u);
  z58\0\12c2 = (15.994u,3.742u);
  z58\0\12 = (16.381u,6.022u);
  z58\0\13 = (17.345u,5.781u);
  z58\0\14c1 = (17.345u,7.107u);
  z58\0\14c2 = (17.598u,9.023u);
  z58\0\14 = (16.759u,10.107u);
  z58\0\15c1 = (14.823u,12.610u);
  z58\0\15c2 = (11.276u,11.932u);
  z58\0\15 = (8.672u,12.680u);
  z58\0\16c1 = (7.571u,12.996u);
  z58\0\16c2 = (6.714u,13.786u);
  z58\0\16 = (5.541u,13.926u);
  z58\0\17c1 = (3.967u,14.114u);
  z58\0\17c2 = (3.529u,13.300u);
  z58\0\17 = (2.409u,13.199u);
  z58\0\18c1 = (1.538u,13.120u);
  z58\0\18c2 = (1.319u,13.707u);
  z58\1\0s = (5.059u,13.490u);
  z58\1\0c1 = (5.309u,12.610u);
  z58\1\0c2 = (5.156u,10.037u);
  z58\1\0 = (5.901u,9.615u);
  z58\1\1c1 = (6.808u,9.101u);
  z58\1\1c2 = (7.486u,11.163u);
  z58\1\1 = (8.068u,11.558u);
  z58\1\2c1 = (8.539u,11.877u);
  z58\1\2c2 = (9.553u,11.810u);
  z58\1\2 = (10.118u,11.803u);
  z58\1\3c1 = (11.546u,11.787u);
  z58\1\3c2 = (12.870u,11.471u);
  z58\1\3 = (14.213u,10.998u);
  z58\1\4c1 = (18.043u,9.649u);
  z58\1\4c2 = (15.557u,6.952u);
  z58\1\4 = (15.417u,4.095u);
  z58\1\5 = (11.804u,8.913u);
  z58\1\6 = (12.527u,6.745u);
  z58\1\7c1 = (9.872u,5.507u);
  z58\1\7c2 = (9.606u,6.305u);
  z58\1\7 = (7.468u,7.468u);
  z58\1\8 = (7.468u,2.168u);
  z58\1\9 = (6.504u,8.431u);
  z58\1\10c1 = (4.720u,8.099u);
  z58\1\10c2 = (4.846u,9.188u);
  z58\1\10 = (3.942u,10.337u);
  z58\1\11c1 = (3.497u,10.902u);
  z58\1\11c2 = (3.017u,11.205u);
  z58\1\11 = (2.409u,11.563u);
  z58\1\12 = (3.372u,12.527u);
  z58\1\13 = (4.095u,12.045u);
  z58\1\14 = (3.613u,13.009u);
  z58\2\0s = (6.504u,10.118u);
  z58\2\0 = (6.022u,10.118u);
  z58\2\1 = (5.781u,13.249u);
  z58\2\2c1 = (7.695u,12.573u);
  z58\2\2c2 = (7.247u,11.594u);
  z58\3\0s = (6.263u,6.504u);
  z58\3\0 = (4.577u,3.613u);
  z58\4\0s = (12.768u,6.022u);
  z58\4\0 = (11.563u,2.650u);
  z58\4\1c1 = (11.202u,3.922u);
  z58\4\1c2 = (11.438u,5.529u);
  z58\5\0s = (15.658u,4.095u);
  z58\6\0s = (4.577u,3.613u);
  z58\7\0s = (15.781u,2.653u);
  z58\8\0s = (3.613u,1.686u);
  fill_or_unfill z58\0\0s
    --z58\0\0
    --z58\0\1
    ..controls z58\0\2c1 and z58\0\2c2..z58\0\2
    ..controls z58\0\3c1 and z58\0\3c2..z58\0\3
    ..controls z58\0\4c1 and z58\0\4c2..z58\0\4
    --z58\0\5
    ..controls z58\0\6c1 and z58\0\6c2..z58\0\6
    ..controls z58\0\7c1 and z58\0\7c2..z58\0\7
    --z58\0\8
    ..controls z58\0\9c1 and z58\0\9c2..z58\0\9
    ..controls z58\0\10c1 and z58\0\10c2..z58\0\10
    ..controls z58\0\11c1 and z58\0\11c2..z58\0\11
    ..controls z58\0\12c1 and z58\0\12c2..z58\0\12
    --z58\0\13
    ..controls z58\0\14c1 and z58\0\14c2..z58\0\14
    ..controls z58\0\15c1 and z58\0\15c2..z58\0\15
    ..controls z58\0\16c1 and z58\0\16c2..z58\0\16
    ..controls z58\0\17c1 and z58\0\17c2..z58\0\17
    ..controls z58\0\18c1 and z58\0\18c2..cycle;
  fill_or_unfill z58\1\0s
    ..controls z58\1\0c1 and z58\1\0c2..z58\1\0
    ..controls z58\1\1c1 and z58\1\1c2..z58\1\1
    ..controls z58\1\2c1 and z58\1\2c2..z58\1\2
    ..controls z58\1\3c1 and z58\1\3c2..z58\1\3
    ..controls z58\1\4c1 and z58\1\4c2..z58\1\4
    --z58\1\5
    --z58\1\6
    ..controls z58\1\7c1 and z58\1\7c2..z58\1\7
    --z58\1\8
    --z58\1\9
    ..controls z58\1\10c1 and z58\1\10c2..z58\1\10
    ..controls z58\1\11c1 and z58\1\11c2..z58\1\11
    --z58\1\12
    --z58\1\13
    --z58\1\14
    --cycle;
  fill_or_unfill z58\2\0s
    --z58\2\0
    --z58\2\1
    ..controls z58\2\2c1 and z58\2\2c2..cycle;
  fill_or_unfill z58\3\0s
    --z58\3\0
    --cycle;
  fill_or_unfill z58\4\0s
    --z58\4\0
    ..controls z58\4\1c1 and z58\4\1c2..cycle;
  fill_or_unfill z58\5\0s
    --cycle;
  fill_or_unfill z58\6\0s
    --cycle;
  fill_or_unfill z58\7\0s
    --cycle;
  fill_or_unfill z58\8\0s
    --cycle;
  proof_labels (
    58\0\0,
    58\0\1,
    58\0\2,
    58\0\3,
    58\0\4,
    58\0\5,
    58\0\6,
    58\0\7,
    58\0\8,
    58\0\9,
    58\0\10,
    58\0\11,
    58\0\12,
    58\0\13,
    58\0\14,
    58\0\15,
    58\0\16,
    58\0\17,
    58\0\18,
    58\1\0,
    58\1\1,
    58\1\2,
    58\1\3,
    58\1\4,
    58\1\5,
    58\1\6,
    58\1\7,
    58\1\8,
    58\1\9,
    58\1\10,
    58\1\11,
    58\1\12,
    58\1\13,
    58\1\14,
    58\1\15,
    58\2\0,
    58\2\1,
    58\2\2,
    58\3\0,
    58\3\1,
    58\4\0,
    58\4\1,
    58\5\0,
    58\6\0,
    58\7\0,
    58\8\0,
);
endchar;

beginchar (59, 10.118u#, 18.067u#, 0.000u#);
  "E27";
  z59\0\0s = (1.445u,18.067u);
  z59\0\0 = (0.000u,13.731u);
  z59\0\1 = (2.409u,14.213u);
  z59\0\2c1 = (2.409u,10.437u);
  z59\0\2c2 = (3.040u,6.574u);
  z59\0\2 = (1.942u,2.891u);
  z59\0\3 = (0.963u,0.723u);
  z59\0\4 = (1.204u,0.482u);
  z59\0\5 = (3.315u,0.754u);
  z59\0\6 = (4.336u,6.263u);
  z59\0\7c1 = (5.949u,4.632u);
  z59\0\7c2 = (8.432u,3.502u);
  z59\0\7 = (5.781u,0.963u);
  z59\0\8c1 = (6.372u,0.540u);
  z59\0\8c2 = (6.729u,0.488u);
  z59\0\8 = (7.464u,0.530u);
  z59\0\9c1 = (9.898u,0.670u);
  z59\0\9c2 = (8.309u,3.905u);
  z59\0\9 = (8.913u,5.541u);
  z59\0\10 = (9.395u,3.372u);
  z59\0\11 = (9.877u,3.372u);
  z59\0\12c1 = (10.211u,5.043u);
  z59\0\12c2 = (9.382u,6.970u);
  z59\0\12 = (7.940u,7.899u);
  z59\0\13c1 = (7.225u,8.359u);
  z59\0\13c2 = (6.455u,8.585u);
  z59\0\13 = (5.832u,9.205u);
  z59\0\14c1 = (4.594u,10.439u);
  z59\0\14c2 = (3.637u,13.953u);
  z59\0\14 = (4.035u,15.658u);
  z59\0\15c1 = (4.167u,16.228u);
  z59\0\15c2 = (4.581u,16.802u);
  z59\0\15 = (4.818u,17.345u);
  z59\0\16 = (3.132u,17.104u);
  z59\0\17 = (3.132u,17.826u);
  z59\0\18 = (2.168u,17.345u);
  z59\0\19 = (1.927u,18.067u);
  z59\1\0s = (2.409u,16.381u);
  z59\1\0 = (2.650u,16.140u);
  z59\1\1 = (0.963u,14.695u);
  z59\1\2 = (1.927u,16.381u);
  z59\2\0s = (3.372u,13.249u);
  z59\2\0 = (4.336u,9.877u);
  z59\2\1 = (3.372u,9.395u);
  z59\3\0s = (4.577u,9.636u);
  z59\3\0c1 = (6.273u,7.505u);
  z59\3\0c2 = (8.320u,8.096u);
  z59\3\0 = (7.950u,5.059u);
  z59\3\1 = (6.504u,6.504u);
  z59\3\2c1 = (5.971u,5.328u);
  z59\3\2c2 = (4.416u,7.091u);
  z59\3\2 = (3.613u,7.468u);
  z59\4\0s = (3.132u,4.336u);
  z59\4\0 = (2.650u,1.204u);
  z59\5\0s = (7.709u,3.854u);
  z59\5\0c1 = (8.402u,2.781u);
  z59\5\0c2 = (8.173u,2.081u);
  z59\5\0 = (7.709u,0.963u);
  fill_or_unfill z59\0\0s
    --z59\0\0
    --z59\0\1
    ..controls z59\0\2c1 and z59\0\2c2..z59\0\2
    --z59\0\3
    --z59\0\4
    --z59\0\5
    --z59\0\6
    ..controls z59\0\7c1 and z59\0\7c2..z59\0\7
    ..controls z59\0\8c1 and z59\0\8c2..z59\0\8
    ..controls z59\0\9c1 and z59\0\9c2..z59\0\9
    --z59\0\10
    --z59\0\11
    ..controls z59\0\12c1 and z59\0\12c2..z59\0\12
    ..controls z59\0\13c1 and z59\0\13c2..z59\0\13
    ..controls z59\0\14c1 and z59\0\14c2..z59\0\14
    ..controls z59\0\15c1 and z59\0\15c2..z59\0\15
    --z59\0\16
    --z59\0\17
    --z59\0\18
    --z59\0\19
    --cycle;
  fill_or_unfill z59\1\0s
    --z59\1\0
    --z59\1\1
    --z59\1\2
    --cycle;
  fill_or_unfill z59\2\0s
    --z59\2\0
    --z59\2\1
    --cycle;
  fill_or_unfill z59\3\0s
    ..controls z59\3\0c1 and z59\3\0c2..z59\3\0
    --z59\3\1
    ..controls z59\3\2c1 and z59\3\2c2..z59\3\2
    --cycle;
  fill_or_unfill z59\4\0s
    --z59\4\0
    --cycle;
  fill_or_unfill z59\5\0s
    ..controls z59\5\0c1 and z59\5\0c2..z59\5\0
    --cycle;
  proof_labels (
    59\0\0,
    59\0\1,
    59\0\2,
    59\0\3,
    59\0\4,
    59\0\5,
    59\0\6,
    59\0\7,
    59\0\8,
    59\0\9,
    59\0\10,
    59\0\11,
    59\0\12,
    59\0\13,
    59\0\14,
    59\0\15,
    59\0\16,
    59\0\17,
    59\0\18,
    59\0\19,
    59\0\20,
    59\1\0,
    59\1\1,
    59\1\2,
    59\1\3,
    59\2\0,
    59\2\1,
    59\2\2,
    59\3\0,
    59\3\1,
    59\3\2,
    59\3\3,
    59\4\0,
    59\4\1,
    59\5\0,
    59\5\1,
);
endchar;

beginchar (60, 16.622u#, 18.308u#, 0.000u#);
  "E28";
  z60\0\0s = (2.409u,0.963u);
  z60\0\0c1 = (4.478u,0.815u);
  z60\0\0c2 = (4.908u,3.837u);
  z60\0\0 = (6.022u,5.300u);
  z60\0\1c1 = (6.655u,3.254u);
  z60\0\1c2 = (7.585u,3.154u);
  z60\0\1 = (6.504u,0.963u);
  z60\0\2c1 = (9.158u,0.410u);
  z60\0\2c2 = (7.500u,4.093u);
  z60\0\2 = (7.468u,5.541u);
  z60\0\3 = (11.804u,6.022u);
  z60\0\4c1 = (12.383u,3.550u);
  z60\0\4c2 = (11.261u,2.979u);
  z60\0\4 = (10.359u,0.963u);
  z60\0\5c1 = (12.872u,0.885u);
  z60\0\5c2 = (11.889u,3.870u);
  z60\0\5 = (13.305u,4.536u);
  z60\0\6c1 = (14.450u,5.076u);
  z60\0\6c2 = (14.501u,3.035u);
  z60\0\6 = (14.323u,2.409u);
  z60\0\7 = (13.731u,0.963u);
  z60\0\8c1 = (15.875u,0.516u);
  z60\0\8c2 = (15.154u,2.520u);
  z60\0\8 = (15.417u,3.854u);
  z60\0\9 = (16.140u,3.613u);
  z60\0\10 = (16.544u,6.022u);
  z60\0\11 = (15.336u,9.480u);
  z60\0\12 = (5.346u,11.156u);
  z60\0\13 = (6.022u,13.249u);
  z60\0\14 = (4.336u,13.009u);
  z60\0\15c1 = (5.556u,14.711u);
  z60\0\15c2 = (7.247u,16.011u);
  z60\0\15 = (9.154u,16.863u);
  z60\0\16 = (8.913u,17.826u);
  z60\0\17 = (3.613u,13.490u);
  z60\0\18 = (7.709u,18.308u);
  z60\0\19c1 = (6.986u,18.129u);
  z60\0\19c2 = (6.617u,17.977u);
  z60\0\19 = (6.022u,17.503u);
  z60\0\20c1 = (4.884u,16.597u);
  z60\0\20c2 = (-0.304u,10.564u);
  z60\0\20 = (0.170u,9.231u);
  z60\0\21c1 = (0.526u,8.229u);
  z60\0\21c2 = (1.782u,9.421u);
  z60\0\21 = (2.866u,8.587u);
  z60\0\22c1 = (6.013u,6.164u);
  z60\0\22c2 = (3.910u,3.437u);
  z60\1\0s = (2.891u,12.045u);
  z60\1\0c1 = (5.426u,8.012u);
  z60\1\0c2 = (13.116u,10.207u);
  z60\1\0 = (14.261u,9.010u);
  z60\1\1c1 = (15.014u,8.304u);
  z60\1\1c2 = (14.483u,6.600u);
  z60\1\1 = (14.261u,5.781u);
  z60\1\2 = (11.804u,8.191u);
  z60\1\3 = (12.286u,6.745u);
  z60\1\4 = (7.227u,6.263u);
  z60\1\5 = (6.504u,7.227u);
  z60\1\6 = (6.504u,6.022u);
  z60\1\7 = (6.263u,9.154u);
  z60\1\8 = (5.300u,7.227u);
  z60\1\9c1 = (3.160u,8.355u);
  z60\1\9c2 = (4.004u,10.369u);
  z60\1\9 = (0.963u,9.395u);
  z60\1\10 = (1.445u,10.840u);
  z60\1\11 = (2.409u,10.600u);
  z60\1\12 = (1.927u,11.081u);
  z60\2\0s = (15.417u,6.745u);
  z60\2\0 = (15.417u,4.818u);
  fill_or_unfill z60\0\0s
    ..controls z60\0\0c1 and z60\0\0c2..z60\0\0
    ..controls z60\0\1c1 and z60\0\1c2..z60\0\1
    ..controls z60\0\2c1 and z60\0\2c2..z60\0\2
    --z60\0\3
    ..controls z60\0\4c1 and z60\0\4c2..z60\0\4
    ..controls z60\0\5c1 and z60\0\5c2..z60\0\5
    ..controls z60\0\6c1 and z60\0\6c2..z60\0\6
    --z60\0\7
    ..controls z60\0\8c1 and z60\0\8c2..z60\0\8
    --z60\0\9
    --z60\0\10
    --z60\0\11
    --z60\0\12
    --z60\0\13
    --z60\0\14
    ..controls z60\0\15c1 and z60\0\15c2..z60\0\15
    --z60\0\16
    --z60\0\17
    --z60\0\18
    ..controls z60\0\19c1 and z60\0\19c2..z60\0\19
    ..controls z60\0\20c1 and z60\0\20c2..z60\0\20
    ..controls z60\0\21c1 and z60\0\21c2..z60\0\21
    ..controls z60\0\22c1 and z60\0\22c2..cycle;
  fill_or_unfill z60\1\0s
    ..controls z60\1\0c1 and z60\1\0c2..z60\1\0
    ..controls z60\1\1c1 and z60\1\1c2..z60\1\1
    --z60\1\2
    --z60\1\3
    --z60\1\4
    --z60\1\5
    --z60\1\6
    --z60\1\7
    --z60\1\8
    ..controls z60\1\9c1 and z60\1\9c2..z60\1\9
    --z60\1\10
    --z60\1\11
    --z60\1\12
    --cycle;
  fill_or_unfill z60\2\0s
    --z60\2\0
    --cycle;
  proof_labels (
    60\0\0,
    60\0\1,
    60\0\2,
    60\0\3,
    60\0\4,
    60\0\5,
    60\0\6,
    60\0\7,
    60\0\8,
    60\0\9,
    60\0\10,
    60\0\11,
    60\0\12,
    60\0\13,
    60\0\14,
    60\0\15,
    60\0\16,
    60\0\17,
    60\0\18,
    60\0\19,
    60\0\20,
    60\0\21,
    60\0\22,
    60\1\0,
    60\1\1,
    60\1\2,
    60\1\3,
    60\1\4,
    60\1\5,
    60\1\6,
    60\1\7,
    60\1\8,
    60\1\9,
    60\1\10,
    60\1\11,
    60\1\12,
    60\1\13,
    60\2\0,
    60\2\1,
);
endchar;

beginchar (61, 14.695u#, 18.067u#, 0.000u#);
  "E29";
  z61\0\0s = (4.577u,18.067u);
  z61\0\0c1 = (4.214u,16.834u);
  z61\0\0c2 = (-3.550u,8.751u);
  z61\0\0 = (2.409u,10.600u);
  z61\0\1c1 = (2.736u,8.885u);
  z61\0\1c2 = (3.868u,8.176u);
  z61\0\1 = (4.333u,6.745u);
  z61\0\2c1 = (4.999u,4.698u);
  z61\0\2c2 = (2.233u,2.439u);
  z61\0\2 = (1.686u,0.723u);
  z61\0\3c1 = (4.484u,0.820u);
  z61\0\3c2 = (4.473u,3.634u);
  z61\0\3 = (6.022u,5.541u);
  z61\0\4c1 = (6.657u,2.760u);
  z61\0\4c2 = (6.895u,3.563u);
  z61\0\4 = (6.263u,0.723u);
  z61\0\5c1 = (9.454u,0.987u);
  z61\0\5c2 = (6.863u,4.098u);
  z61\0\5 = (7.805u,5.564u);
  z61\0\6c1 = (8.159u,6.114u);
  z61\0\6c2 = (10.613u,6.071u);
  z61\0\6 = (10.834u,5.261u);
  z61\0\7c1 = (11.231u,3.807u);
  z61\0\7c2 = (9.689u,2.126u);
  z61\0\7 = (9.395u,0.723u);
  z61\0\8c1 = (11.670u,0.908u);
  z61\0\8c2 = (11.933u,3.429u);
  z61\0\8 = (12.286u,5.300u);
  z61\0\9c1 = (14.404u,3.626u);
  z61\0\9c2 = (13.657u,2.840u);
  z61\0\9 = (13.009u,0.723u);
  z61\0\10c1 = (16.243u,0.827u);
  z61\0\10c2 = (14.321u,5.119u);
  z61\0\10 = (13.490u,6.745u);
  z61\0\11 = (13.731u,6.986u);
  z61\0\12 = (14.695u,6.745u);
  z61\0\13c1 = (14.532u,13.268u);
  z61\0\13c2 = (4.941u,9.049u);
  z61\0\13 = (4.348u,12.049u);
  z61\0\14c1 = (4.135u,13.126u);
  z61\0\14c2 = (5.126u,14.084u);
  z61\0\14 = (5.300u,15.177u);
  z61\0\15 = (3.372u,14.213u);
  z61\0\16c1 = (3.963u,15.225u);
  z61\0\16c2 = (6.645u,17.334u);
  z61\1\0s = (2.650u,13.009u);
  z61\2\0s = (2.891u,12.768u);
  z61\2\0 = (5.063u,10.021u);
  z61\2\1 = (13.194u,8.618u);
  z61\2\2 = (12.768u,6.504u);
  z61\2\3 = (12.286u,6.504u);
  z61\2\4 = (10.600u,9.154u);
  z61\2\5 = (11.081u,6.986u);
  z61\2\6c1 = (9.259u,6.469u);
  z61\2\6c2 = (8.391u,6.725u);
  z61\2\6 = (6.745u,7.468u);
  z61\2\7 = (6.745u,6.022u);
  z61\2\8 = (5.059u,9.636u);
  z61\2\9 = (5.059u,7.709u);
  z61\2\10c1 = (3.158u,8.894u);
  z61\2\10c2 = (3.718u,11.607u);
  z61\2\10 = (1.204u,11.081u);
  fill_or_unfill z61\0\0s
    ..controls z61\0\0c1 and z61\0\0c2..z61\0\0
    ..controls z61\0\1c1 and z61\0\1c2..z61\0\1
    ..controls z61\0\2c1 and z61\0\2c2..z61\0\2
    ..controls z61\0\3c1 and z61\0\3c2..z61\0\3
    ..controls z61\0\4c1 and z61\0\4c2..z61\0\4
    ..controls z61\0\5c1 and z61\0\5c2..z61\0\5
    ..controls z61\0\6c1 and z61\0\6c2..z61\0\6
    ..controls z61\0\7c1 and z61\0\7c2..z61\0\7
    ..controls z61\0\8c1 and z61\0\8c2..z61\0\8
    ..controls z61\0\9c1 and z61\0\9c2..z61\0\9
    ..controls z61\0\10c1 and z61\0\10c2..z61\0\10
    --z61\0\11
    --z61\0\12
    ..controls z61\0\13c1 and z61\0\13c2..z61\0\13
    ..controls z61\0\14c1 and z61\0\14c2..z61\0\14
    --z61\0\15
    ..controls z61\0\16c1 and z61\0\16c2..cycle;
  fill_or_unfill z61\1\0s
    --cycle;
  fill_or_unfill z61\2\0s
    --z61\2\0
    --z61\2\1
    --z61\2\2
    --z61\2\3
    --z61\2\4
    --z61\2\5
    ..controls z61\2\6c1 and z61\2\6c2..z61\2\6
    --z61\2\7
    --z61\2\8
    --z61\2\9
    ..controls z61\2\10c1 and z61\2\10c2..z61\2\10
    --cycle;
  proof_labels (
    61\0\0,
    61\0\1,
    61\0\2,
    61\0\3,
    61\0\4,
    61\0\5,
    61\0\6,
    61\0\7,
    61\0\8,
    61\0\9,
    61\0\10,
    61\0\11,
    61\0\12,
    61\0\13,
    61\0\14,
    61\0\15,
    61\0\16,
    61\1\0,
    61\2\0,
    61\2\1,
    61\2\2,
    61\2\3,
    61\2\4,
    61\2\5,
    61\2\6,
    61\2\7,
    61\2\8,
    61\2\9,
    61\2\10,
    61\2\11,
);
endchar;

beginchar (62, 15.899u#, 18.308u#, 0.000u#);
  "E30";
  z62\0\0s = (1.204u,8.191u);
  z62\0\0 = (1.927u,9.636u);
  z62\0\1 = (2.409u,9.636u);
  z62\0\2c1 = (3.260u,7.182u);
  z62\0\2c2 = (4.650u,6.214u);
  z62\0\2 = (3.360u,3.613u);
  z62\0\3c1 = (2.892u,2.671u);
  z62\0\3c2 = (2.226u,1.993u);
  z62\0\3 = (1.927u,0.963u);
  z62\0\4c1 = (4.881u,1.529u);
  z62\0\4c2 = (3.722u,3.813u);
  z62\0\4 = (5.389u,4.880u);
  z62\0\5c1 = (6.499u,5.590u);
  z62\0\5c2 = (6.888u,3.329u);
  z62\0\5 = (6.798u,2.650u);
  z62\0\6c1 = (6.731u,2.146u);
  z62\0\6c2 = (6.469u,1.663u);
  z62\0\6 = (6.263u,1.204u);
  z62\0\7c1 = (9.330u,0.682u);
  z62\0\7c2 = (6.852u,3.973u);
  z62\0\7 = (8.035u,4.812u);
  z62\0\8 = (11.804u,5.541u);
  z62\0\9 = (9.395u,0.963u);
  z62\0\10c1 = (11.492u,1.037u);
  z62\0\10c2 = (12.319u,3.220u);
  z62\0\10 = (12.768u,5.059u);
  z62\0\11c1 = (14.950u,3.937u);
  z62\0\11c2 = (13.447u,2.598u);
  z62\0\11 = (13.009u,0.963u);
  z62\0\12c1 = (15.753u,1.187u);
  z62\0\12c2 = (15.139u,4.868u);
  z62\0\12 = (14.454u,6.745u);
  z62\0\13 = (14.695u,6.986u);
  z62\0\14 = (15.899u,6.745u);
  z62\0\15c1 = (14.931u,13.571u);
  z62\0\15c2 = (5.388u,7.486u);
  z62\0\15 = (4.976u,11.736u);
  z62\0\16c1 = (4.932u,12.183u);
  z62\0\16c2 = (5.621u,13.178u);
  z62\0\16 = (5.781u,13.731u);
  z62\0\17 = (3.854u,13.249u);
  z62\0\18c1 = (3.877u,15.495u);
  z62\0\18c2 = (5.494u,17.354u);
  z62\0\18 = (6.022u,14.213u);
  z62\0\19 = (6.745u,14.213u);
  z62\0\20c1 = (6.692u,16.288u);
  z62\0\20c2 = (5.992u,17.121u);
  z62\0\20 = (3.854u,16.622u);
  z62\0\21c1 = (6.554u,18.340u);
  z62\0\21c2 = (6.226u,15.551u);
  z62\0\21 = (7.950u,14.936u);
  z62\0\22c1 = (7.698u,17.707u);
  z62\0\22c2 = (4.865u,19.633u);
  z62\0\22 = (2.950u,17.075u);
  z62\0\23c1 = (1.876u,15.639u);
  z62\0\23c2 = (2.440u,14.648u);
  z62\0\23 = (1.935u,13.249u);
  z62\0\24c1 = (0.805u,10.124u);
  z62\0\24c2 = (-0.925u,11.871u);
  z62\1\0s = (3.854u,16.622u);
  z62\2\0s = (3.613u,16.381u);
  z62\3\0s = (3.132u,12.768u);
  z62\3\0 = (3.132u,11.804u);
  z62\3\1 = (2.409u,12.045u);
  z62\3\2 = (2.650u,12.768u);
  z62\4\0s = (5.541u,9.636u);
  z62\4\0 = (5.541u,6.263u);
  z62\4\1c1 = (3.317u,7.000u);
  z62\4\1c2 = (3.489u,9.231u);
  z62\4\1 = (3.613u,11.081u);
  z62\4\2 = (1.204u,10.359u);
  z62\4\3c1 = (2.673u,12.748u);
  z62\4\3c2 = (4.312u,10.674u);
  z62\5\0s = (13.728u,6.022u);
  z62\5\0 = (12.286u,7.709u);
  z62\5\1 = (11.322u,7.468u);
  z62\5\2 = (11.804u,6.504u);
  z62\5\3 = (7.468u,6.022u);
  z62\5\4 = (7.227u,6.986u);
  z62\5\5 = (6.263u,6.504u);
  z62\5\6 = (5.781u,9.154u);
  z62\5\7 = (13.728u,8.810u);
  fill_or_unfill z62\0\0s
    --z62\0\0
    --z62\0\1
    ..controls z62\0\2c1 and z62\0\2c2..z62\0\2
    ..controls z62\0\3c1 and z62\0\3c2..z62\0\3
    ..controls z62\0\4c1 and z62\0\4c2..z62\0\4
    ..controls z62\0\5c1 and z62\0\5c2..z62\0\5
    ..controls z62\0\6c1 and z62\0\6c2..z62\0\6
    ..controls z62\0\7c1 and z62\0\7c2..z62\0\7
    --z62\0\8
    --z62\0\9
    ..controls z62\0\10c1 and z62\0\10c2..z62\0\10
    ..controls z62\0\11c1 and z62\0\11c2..z62\0\11
    ..controls z62\0\12c1 and z62\0\12c2..z62\0\12
    --z62\0\13
    --z62\0\14
    ..controls z62\0\15c1 and z62\0\15c2..z62\0\15
    ..controls z62\0\16c1 and z62\0\16c2..z62\0\16
    --z62\0\17
    ..controls z62\0\18c1 and z62\0\18c2..z62\0\18
    --z62\0\19
    ..controls z62\0\20c1 and z62\0\20c2..z62\0\20
    ..controls z62\0\21c1 and z62\0\21c2..z62\0\21
    ..controls z62\0\22c1 and z62\0\22c2..z62\0\22
    ..controls z62\0\23c1 and z62\0\23c2..z62\0\23
    ..controls z62\0\24c1 and z62\0\24c2..cycle;
  fill_or_unfill z62\1\0s
    --cycle;
  fill_or_unfill z62\2\0s
    --cycle;
  fill_or_unfill z62\3\0s
    --z62\3\0
    --z62\3\1
    --z62\3\2
    --cycle;
  fill_or_unfill z62\4\0s
    --z62\4\0
    ..controls z62\4\1c1 and z62\4\1c2..z62\4\1
    --z62\4\2
    ..controls z62\4\3c1 and z62\4\3c2..cycle;
  fill_or_unfill z62\5\0s
    --z62\5\0
    --z62\5\1
    --z62\5\2
    --z62\5\3
    --z62\5\4
    --z62\5\5
    --z62\5\6
    --z62\5\7
    --cycle;
  proof_labels (
    62\0\0,
    62\0\1,
    62\0\2,
    62\0\3,
    62\0\4,
    62\0\5,
    62\0\6,
    62\0\7,
    62\0\8,
    62\0\9,
    62\0\10,
    62\0\11,
    62\0\12,
    62\0\13,
    62\0\14,
    62\0\15,
    62\0\16,
    62\0\17,
    62\0\18,
    62\0\19,
    62\0\20,
    62\0\21,
    62\0\22,
    62\0\23,
    62\0\24,
    62\1\0,
    62\2\0,
    62\3\0,
    62\3\1,
    62\3\2,
    62\3\3,
    62\4\0,
    62\4\1,
    62\4\2,
    62\4\3,
    62\5\0,
    62\5\1,
    62\5\2,
    62\5\3,
    62\5\4,
    62\5\5,
    62\5\6,
    62\5\7,
    62\5\8,
);
endchar;

beginchar (63, 16.381u#, 17.345u#, 0.000u#);
  "E31";
  z63\0\0s = (6.504u,17.345u);
  z63\0\0 = (3.417u,15.265u);
  z63\0\1 = (0.244u,10.118u);
  z63\0\2 = (0.482u,7.950u);
  z63\0\3 = (2.891u,9.877u);
  z63\0\4 = (1.927u,8.913u);
  z63\0\5 = (2.409u,8.191u);
  z63\0\6 = (1.445u,6.745u);
  z63\0\7 = (2.409u,6.263u);
  z63\0\8 = (4.336u,7.950u);
  z63\0\9c1 = (5.297u,4.769u);
  z63\0\9c2 = (3.610u,3.766u);
  z63\0\9 = (2.409u,1.204u);
  z63\0\10c1 = (4.846u,0.648u);
  z63\0\10c2 = (5.402u,3.680u);
  z63\0\10 = (5.781u,5.541u);
  z63\0\11 = (6.263u,5.541u);
  z63\0\12 = (6.880u,2.891u);
  z63\0\13 = (6.504u,0.963u);
  z63\0\14c1 = (9.194u,1.177u);
  z63\0\14c2 = (7.791u,4.236u);
  z63\0\14 = (7.709u,6.022u);
  z63\0\15 = (11.322u,6.022u);
  z63\0\16c1 = (10.807u,3.197u);
  z63\0\16c2 = (10.735u,3.725u);
  z63\0\16 = (9.154u,1.445u);
  z63\0\17c1 = (11.489u,0.842u);
  z63\0\17c2 = (12.258u,3.676u);
  z63\0\17 = (12.527u,5.541u);
  z63\0\18c1 = (14.547u,4.394u);
  z63\0\18c2 = (13.520u,2.778u);
  z63\0\18 = (12.768u,1.204u);
  z63\0\19c1 = (16.146u,0.636u);
  z63\0\19c2 = (14.548u,5.419u);
  z63\0\19 = (14.799u,7.227u);
  z63\0\20c1 = (14.976u,8.506u);
  z63\0\20c2 = (15.690u,9.020u);
  z63\0\20 = (16.045u,10.112u);
  z63\0\21c1 = (16.352u,11.044u);
  z63\0\21c2 = (15.184u,11.517u);
  z63\0\21 = (14.695u,10.112u);
  z63\0\22 = (8.672u,10.470u);
  z63\0\23 = (4.577u,12.045u);
  z63\0\24 = (5.541u,13.731u);
  z63\0\25 = (4.336u,13.490u);
  z63\0\26 = (8.191u,15.899u);
  z63\0\27 = (7.950u,16.863u);
  z63\0\28 = (6.022u,15.658u);
  z63\1\0s = (6.022u,15.658u);
  z63\2\0s = (5.541u,15.417u);
  z63\3\0s = (4.818u,15.177u);
  z63\4\0s = (4.336u,14.817u);
  z63\5\0s = (4.336u,10.118u);
  z63\5\0 = (3.854u,10.118u);
  z63\5\1 = (3.372u,11.563u);
  z63\5\2 = (2.891u,11.563u);
  z63\5\3 = (0.963u,9.877u);
  z63\5\4 = (2.650u,11.322u);
  z63\5\5 = (2.168u,12.527u);
  z63\5\6c1 = (3.565u,12.460u);
  z63\5\6c2 = (4.640u,11.579u);
  z63\6\0s = (5.781u,10.600u);
  z63\6\0 = (5.300u,7.709u);
  z63\6\1c1 = (4.407u,8.889u);
  z63\6\1c2 = (4.636u,9.373u);
  z63\6\1 = (5.300u,10.600u);
  z63\7\0s = (13.731u,6.263u);
  z63\7\0 = (11.322u,6.923u);
  z63\7\1 = (8.913u,6.788u);
  z63\7\2 = (6.263u,7.227u);
  z63\7\3 = (6.263u,10.118u);
  z63\7\4 = (8.672u,9.677u);
  z63\7\5 = (13.957u,9.051u);
  z63\8\0s = (4.095u,8.191u);
  fill_or_unfill z63\0\0s
    --z63\0\0
    --z63\0\1
    --z63\0\2
    --z63\0\3
    --z63\0\4
    --z63\0\5
    --z63\0\6
    --z63\0\7
    --z63\0\8
    ..controls z63\0\9c1 and z63\0\9c2..z63\0\9
    ..controls z63\0\10c1 and z63\0\10c2..z63\0\10
    --z63\0\11
    --z63\0\12
    --z63\0\13
    ..controls z63\0\14c1 and z63\0\14c2..z63\0\14
    --z63\0\15
    ..controls z63\0\16c1 and z63\0\16c2..z63\0\16
    ..controls z63\0\17c1 and z63\0\17c2..z63\0\17
    ..controls z63\0\18c1 and z63\0\18c2..z63\0\18
    ..controls z63\0\19c1 and z63\0\19c2..z63\0\19
    ..controls z63\0\20c1 and z63\0\20c2..z63\0\20
    ..controls z63\0\21c1 and z63\0\21c2..z63\0\21
    --z63\0\22
    --z63\0\23
    --z63\0\24
    --z63\0\25
    --z63\0\26
    --z63\0\27
    --z63\0\28
    --cycle;
  fill_or_unfill z63\1\0s
    --cycle;
  fill_or_unfill z63\2\0s
    --cycle;
  fill_or_unfill z63\3\0s
    --cycle;
  fill_or_unfill z63\4\0s
    --cycle;
  fill_or_unfill z63\5\0s
    --z63\5\0
    --z63\5\1
    --z63\5\2
    --z63\5\3
    --z63\5\4
    --z63\5\5
    ..controls z63\5\6c1 and z63\5\6c2..cycle;
  fill_or_unfill z63\6\0s
    --z63\6\0
    ..controls z63\6\1c1 and z63\6\1c2..z63\6\1
    --cycle;
  fill_or_unfill z63\7\0s
    --z63\7\0
    --z63\7\1
    --z63\7\2
    --z63\7\3
    --z63\7\4
    --z63\7\5
    --cycle;
  fill_or_unfill z63\8\0s
    --cycle;
  proof_labels (
    63\0\0,
    63\0\1,
    63\0\2,
    63\0\3,
    63\0\4,
    63\0\5,
    63\0\6,
    63\0\7,
    63\0\8,
    63\0\9,
    63\0\10,
    63\0\11,
    63\0\12,
    63\0\13,
    63\0\14,
    63\0\15,
    63\0\16,
    63\0\17,
    63\0\18,
    63\0\19,
    63\0\20,
    63\0\21,
    63\0\22,
    63\0\23,
    63\0\24,
    63\0\25,
    63\0\26,
    63\0\27,
    63\0\28,
    63\0\29,
    63\1\0,
    63\2\0,
    63\3\0,
    63\4\0,
    63\5\0,
    63\5\1,
    63\5\2,
    63\5\3,
    63\5\4,
    63\5\5,
    63\5\6,
    63\6\0,
    63\6\1,
    63\6\2,
    63\7\0,
    63\7\1,
    63\7\2,
    63\7\3,
    63\7\4,
    63\7\5,
    63\7\6,
    63\8\0,
);
endchar;

beginchar (64, 14.695u#, 12.527u#, 0.000u#);
  "E32";
  z64\0\0s = (0.482u,10.359u);
  z64\0\0c1 = (0.907u,9.077u);
  z64\0\0c2 = (1.463u,9.213u);
  z64\0\0 = (2.650u,9.395u);
  z64\0\1 = (2.168u,5.781u);
  z64\0\2 = (3.132u,5.541u);
  z64\0\3 = (1.593u,2.536u);
  z64\0\4 = (0.000u,0.963u);
  z64\0\5c1 = (2.606u,1.093u);
  z64\0\5c2 = (2.571u,2.769u);
  z64\0\5 = (4.095u,4.577u);
  z64\0\6c1 = (4.822u,0.684u);
  z64\0\6c2 = (4.667u,3.303u);
  z64\0\6 = (3.132u,0.963u);
  z64\0\7c1 = (7.181u,1.004u);
  z64\0\7c2 = (4.283u,3.737u);
  z64\0\7 = (5.685u,5.122u);
  z64\0\8c1 = (5.998u,5.431u);
  z64\0\8c2 = (9.265u,6.169u);
  z64\0\8 = (9.877u,6.263u);
  z64\0\9 = (8.436u,2.663u);
  z64\0\10 = (6.745u,0.963u);
  z64\0\11c1 = (9.494u,1.100u);
  z64\0\11c2 = (9.098u,2.487u);
  z64\0\11 = (10.600u,4.336u);
  z64\0\12c1 = (11.842u,1.507u);
  z64\0\12c2 = (11.052u,2.810u);
  z64\0\12 = (9.877u,0.963u);
  z64\0\13c1 = (13.258u,1.132u);
  z64\0\13c2 = (11.848u,2.375u);
  z64\0\13 = (11.741u,4.336u);
  z64\0\14c1 = (11.687u,5.316u);
  z64\0\14c2 = (13.150u,8.450u);
  z64\0\14 = (13.972u,8.913u);
  z64\0\15c1 = (13.907u,7.580u);
  z64\0\15c2 = (12.901u,5.696u);
  z64\0\15 = (14.261u,4.818u);
  z64\0\16 = (14.261u,9.205u);
  z64\0\17 = (10.359u,9.205u);
  z64\0\18 = (3.373u,12.447u);
  z64\1\0s = (11.563u,6.263u);
  z64\1\0 = (10.334u,7.102u);
  z64\1\1 = (8.191u,6.542u);
  z64\1\2 = (2.891u,6.263u);
  z64\1\3c1 = (3.215u,7.987u);
  z64\1\3c2 = (4.094u,9.594u);
  z64\1\3 = (1.686u,9.877u);
  z64\1\4 = (3.143u,11.736u);
  z64\1\5 = (9.154u,8.514u);
  z64\1\6 = (12.042u,8.244u);
  z64\2\0s = (2.891u,11.322u);
  z64\2\0 = (2.650u,11.081u);
  z64\2\1 = (2.891u,10.600u);
  z64\2\2 = (3.372u,10.840u);
  fill_or_unfill z64\0\0s
    ..controls z64\0\0c1 and z64\0\0c2..z64\0\0
    --z64\0\1
    --z64\0\2
    --z64\0\3
    --z64\0\4
    ..controls z64\0\5c1 and z64\0\5c2..z64\0\5
    ..controls z64\0\6c1 and z64\0\6c2..z64\0\6
    ..controls z64\0\7c1 and z64\0\7c2..z64\0\7
    ..controls z64\0\8c1 and z64\0\8c2..z64\0\8
    --z64\0\9
    --z64\0\10
    ..controls z64\0\11c1 and z64\0\11c2..z64\0\11
    ..controls z64\0\12c1 and z64\0\12c2..z64\0\12
    ..controls z64\0\13c1 and z64\0\13c2..z64\0\13
    ..controls z64\0\14c1 and z64\0\14c2..z64\0\14
    ..controls z64\0\15c1 and z64\0\15c2..z64\0\15
    --z64\0\16
    --z64\0\17
    --z64\0\18
    --cycle;
  fill_or_unfill z64\1\0s
    --z64\1\0
    --z64\1\1
    --z64\1\2
    ..controls z64\1\3c1 and z64\1\3c2..z64\1\3
    --z64\1\4
    --z64\1\5
    --z64\1\6
    --cycle;
  fill_or_unfill z64\2\0s
    --z64\2\0
    --z64\2\1
    --z64\2\2
    --cycle;
  proof_labels (
    64\0\0,
    64\0\1,
    64\0\2,
    64\0\3,
    64\0\4,
    64\0\5,
    64\0\6,
    64\0\7,
    64\0\8,
    64\0\9,
    64\0\10,
    64\0\11,
    64\0\12,
    64\0\13,
    64\0\14,
    64\0\15,
    64\0\16,
    64\0\17,
    64\0\18,
    64\0\19,
    64\1\0,
    64\1\1,
    64\1\2,
    64\1\3,
    64\1\4,
    64\1\5,
    64\1\6,
    64\1\7,
    64\2\0,
    64\2\1,
    64\2\2,
    64\2\3,
);
endchar;

beginchar (65, 14.454u#, 12.045u#, 0.000u#);
  "E33";
  z65\0\0s = (6.504u,11.081u);
  z65\0\0c1 = (8.513u,9.602u);
  z65\0\0c2 = (12.942u,13.033u);
  z65\0\0 = (13.533u,10.119u);
  z65\0\1c1 = (13.821u,8.696u);
  z65\0\1c2 = (11.621u,9.108u);
  z65\0\1 = (10.840u,9.195u);
  z65\0\2c1 = (9.403u,9.356u);
  z65\0\2c2 = (1.691u,10.301u);
  z65\0\2 = (0.928u,9.492u);
  z65\0\3c1 = (0.378u,8.908u);
  z65\0\3c2 = (0.432u,6.978u);
  z65\0\3 = (1.104u,6.520u);
  z65\0\4c1 = (1.928u,5.959u);
  z65\0\4c2 = (3.594u,7.367u);
  z65\0\4 = (3.566u,4.818u);
  z65\0\5c1 = (3.532u,1.727u);
  z65\0\5c2 = (0.928u,2.368u);
  z65\0\5 = (0.000u,0.963u);
  z65\0\6 = (4.793u,1.108u);
  z65\0\7c1 = (8.254u,2.503u);
  z65\0\7c2 = (3.357u,6.137u);
  z65\0\7 = (10.600u,6.745u);
  z65\0\8 = (9.060u,4.536u);
  z65\0\9 = (8.255u,2.243u);
  z65\0\10 = (6.504u,0.963u);
  z65\0\11c1 = (10.421u,0.967u);
  z65\0\11c2 = (8.400u,2.785u);
  z65\0\11 = (11.081u,4.818u);
  z65\0\12c1 = (11.400u,1.800u);
  z65\0\12c2 = (11.900u,3.554u);
  z65\0\12 = (10.359u,0.963u);
  z65\0\13c1 = (11.113u,0.966u);
  z65\0\13c2 = (12.088u,0.870u);
  z65\0\13 = (12.626u,1.521u);
  z65\0\14c1 = (13.523u,2.619u);
  z65\0\14c2 = (12.002u,3.603u);
  z65\0\14 = (12.626u,5.059u);
  z65\0\15 = (13.780u,7.227u);
  z65\0\16c1 = (15.853u,12.753u);
  z65\0\16c2 = (12.483u,12.195u);
  z65\0\16 = (8.672u,11.369u);
  z65\1\0s = (13.249u,8.431u);
  z65\1\0 = (12.286u,5.781u);
  z65\1\1c1 = (10.799u,8.649u);
  z65\1\1c2 = (7.967u,6.638u);
  z65\1\1 = (5.541u,6.263u);
  z65\1\2 = (5.541u,5.059u);
  z65\1\3c1 = (3.703u,6.386u);
  z65\1\3c2 = (3.933u,7.569u);
  z65\1\3 = (1.445u,6.986u);
  z65\1\4 = (1.590u,8.983u);
  z65\1\5 = (3.613u,8.983u);
  z65\1\6 = (7.468u,9.153u);
  z65\2\0s = (5.059u,4.577u);
  z65\2\0c1 = (5.372u,2.791u);
  z65\2\0c2 = (5.273u,2.182u);
  z65\2\0 = (3.372u,1.686u);
  z65\2\1 = (4.577u,4.577u);
  fill_or_unfill z65\0\0s
    ..controls z65\0\0c1 and z65\0\0c2..z65\0\0
    ..controls z65\0\1c1 and z65\0\1c2..z65\0\1
    ..controls z65\0\2c1 and z65\0\2c2..z65\0\2
    ..controls z65\0\3c1 and z65\0\3c2..z65\0\3
    ..controls z65\0\4c1 and z65\0\4c2..z65\0\4
    ..controls z65\0\5c1 and z65\0\5c2..z65\0\5
    --z65\0\6
    ..controls z65\0\7c1 and z65\0\7c2..z65\0\7
    --z65\0\8
    --z65\0\9
    --z65\0\10
    ..controls z65\0\11c1 and z65\0\11c2..z65\0\11
    ..controls z65\0\12c1 and z65\0\12c2..z65\0\12
    ..controls z65\0\13c1 and z65\0\13c2..z65\0\13
    ..controls z65\0\14c1 and z65\0\14c2..z65\0\14
    --z65\0\15
    ..controls z65\0\16c1 and z65\0\16c2..z65\0\16
    --cycle;
  fill_or_unfill z65\1\0s
    --z65\1\0
    ..controls z65\1\1c1 and z65\1\1c2..z65\1\1
    --z65\1\2
    ..controls z65\1\3c1 and z65\1\3c2..z65\1\3
    --z65\1\4
    --z65\1\5
    --z65\1\6
    --cycle;
  fill_or_unfill z65\2\0s
    ..controls z65\2\0c1 and z65\2\0c2..z65\2\0
    --z65\2\1
    --cycle;
  proof_labels (
    65\0\0,
    65\0\1,
    65\0\2,
    65\0\3,
    65\0\4,
    65\0\5,
    65\0\6,
    65\0\7,
    65\0\8,
    65\0\9,
    65\0\10,
    65\0\11,
    65\0\12,
    65\0\13,
    65\0\14,
    65\0\15,
    65\0\16,
    65\0\17,
    65\1\0,
    65\1\1,
    65\1\2,
    65\1\3,
    65\1\4,
    65\1\5,
    65\1\6,
    65\1\7,
    65\2\0,
    65\2\1,
    65\2\2,
);
endchar;

beginchar (66, 17.826u#, 11.804u#, 0.000u#);
  "E34";
  z66\0\0s = (0.000u,5.966u);
  z66\0\0 = (2.650u,2.891u);
  z66\0\1 = (3.132u,2.891u);
  z66\0\2 = (3.613u,3.854u);
  z66\0\3 = (4.818u,2.168u);
  z66\0\4c1 = (3.364u,2.156u);
  z66\0\4c2 = (1.346u,2.554u);
  z66\0\4 = (0.482u,1.204u);
  z66\0\5c1 = (1.660u,0.768u);
  z66\0\5c2 = (5.195u,0.829u);
  z66\0\5 = (6.504u,1.041u);
  z66\0\6c1 = (7.151u,1.146u);
  z66\0\6c2 = (7.768u,1.403u);
  z66\0\6 = (8.431u,1.410u);
  z66\0\7c1 = (9.311u,1.420u);
  z66\0\7c2 = (9.998u,0.924u);
  z66\0\7 = (10.840u,0.825u);
  z66\0\8 = (13.249u,0.963u);
  z66\0\9c1 = (15.475u,0.989u);
  z66\0\9c2 = (18.502u,0.594u);
  z66\0\9 = (17.586u,3.854u);
  z66\0\10 = (17.104u,3.854u);
  z66\0\11 = (16.863u,2.891u);
  z66\0\12c1 = (16.068u,3.581u);
  z66\0\12c2 = (15.427u,4.377u);
  z66\0\12 = (14.454u,4.838u);
  z66\0\13c1 = (11.689u,6.147u);
  z66\0\13c2 = (8.805u,3.515u);
  z66\0\13 = (6.745u,5.541u);
  z66\0\14c1 = (10.037u,5.808u);
  z66\0\14c2 = (12.948u,7.041u);
  z66\0\14 = (15.658u,8.913u);
  z66\0\15c1 = (14.699u,9.855u);
  z66\0\15c2 = (14.231u,9.555u);
  z66\0\15 = (13.009u,9.395u);
  z66\0\16 = (14.936u,11.563u);
  z66\0\17 = (11.804u,11.092u);
  z66\0\18 = (6.745u,9.749u);
  z66\0\19 = (4.536u,7.848u);
  z66\0\20 = (2.892u,6.913u);
  z66\0\21 = (1.547u,5.966u);
  z66\1\0s = (13.009u,10.600u);
  z66\1\0c1 = (11.645u,8.849u);
  z66\1\0c2 = (10.054u,9.494u);
  z66\1\0 = (8.191u,8.702u);
  z66\1\1 = (5.300u,6.986u);
  z66\1\2 = (8.191u,8.272u);
  z66\1\3 = (12.768u,8.431u);
  z66\1\4 = (12.768u,7.950u);
  z66\1\5 = (9.877u,6.635u);
  z66\1\6 = (5.781u,5.781u);
  z66\1\7c1 = (8.088u,1.420u);
  z66\1\7c2 = (15.412u,8.134u);
  z66\1\7 = (15.417u,1.445u);
  z66\1\8 = (14.454u,1.445u);
  z66\1\9 = (12.768u,4.095u);
  z66\1\10 = (12.768u,2.650u);
  z66\1\11 = (9.154u,2.168u);
  z66\1\12 = (7.057u,2.336u);
  z66\1\13 = (6.504u,1.927u);
  z66\1\14 = (4.095u,4.818u);
  z66\1\15 = (1.927u,4.577u);
  z66\1\16 = (2.650u,6.022u);
  z66\1\17 = (3.854u,5.541u);
  z66\1\18 = (3.132u,6.022u);
  z66\1\19c1 = (3.692u,6.961u);
  z66\1\19c2 = (3.986u,6.760u);
  z66\1\19 = (4.749u,7.361u);
  z66\1\20 = (6.267u,8.758u);
  z66\1\21c1 = (7.881u,9.912u);
  z66\1\21c2 = (11.034u,10.509u);
  fill_or_unfill z66\0\0s
    --z66\0\0
    --z66\0\1
    --z66\0\2
    --z66\0\3
    ..controls z66\0\4c1 and z66\0\4c2..z66\0\4
    ..controls z66\0\5c1 and z66\0\5c2..z66\0\5
    ..controls z66\0\6c1 and z66\0\6c2..z66\0\6
    ..controls z66\0\7c1 and z66\0\7c2..z66\0\7
    --z66\0\8
    ..controls z66\0\9c1 and z66\0\9c2..z66\0\9
    --z66\0\10
    --z66\0\11
    ..controls z66\0\12c1 and z66\0\12c2..z66\0\12
    ..controls z66\0\13c1 and z66\0\13c2..z66\0\13
    ..controls z66\0\14c1 and z66\0\14c2..z66\0\14
    ..controls z66\0\15c1 and z66\0\15c2..z66\0\15
    --z66\0\16
    --z66\0\17
    --z66\0\18
    --z66\0\19
    --z66\0\20
    --z66\0\21
    --cycle;
  fill_or_unfill z66\1\0s
    ..controls z66\1\0c1 and z66\1\0c2..z66\1\0
    --z66\1\1
    --z66\1\2
    --z66\1\3
    --z66\1\4
    --z66\1\5
    --z66\1\6
    ..controls z66\1\7c1 and z66\1\7c2..z66\1\7
    --z66\1\8
    --z66\1\9
    --z66\1\10
    --z66\1\11
    --z66\1\12
    --z66\1\13
    --z66\1\14
    --z66\1\15
    --z66\1\16
    --z66\1\17
    --z66\1\18
    ..controls z66\1\19c1 and z66\1\19c2..z66\1\19
    --z66\1\20
    ..controls z66\1\21c1 and z66\1\21c2..cycle;
  proof_labels (
    66\0\0,
    66\0\1,
    66\0\2,
    66\0\3,
    66\0\4,
    66\0\5,
    66\0\6,
    66\0\7,
    66\0\8,
    66\0\9,
    66\0\10,
    66\0\11,
    66\0\12,
    66\0\13,
    66\0\14,
    66\0\15,
    66\0\16,
    66\0\17,
    66\0\18,
    66\0\19,
    66\0\20,
    66\0\21,
    66\0\22,
    66\1\0,
    66\1\1,
    66\1\2,
    66\1\3,
    66\1\4,
    66\1\5,
    66\1\6,
    66\1\7,
    66\1\8,
    66\1\9,
    66\1\10,
    66\1\11,
    66\1\12,
    66\1\13,
    66\1\14,
    66\1\15,
    66\1\16,
    66\1\17,
    66\1\18,
    66\1\19,
    66\1\20,
    66\1\21,
);
endchar;