beginchar (32, 17.345u#, 4.577u#, 0.000u#);
  "Y1";
  z32\0\0s = (5.300u,4.336u);
  z32\0\0 = (6.504u,2.650u);
  z32\0\1 = (0.000u,2.650u);
  z32\0\2 = (0.000u,0.241u);
  z32\0\3 = (17.345u,0.241u);
  z32\0\4 = (17.345u,2.650u);
  z32\0\5 = (10.600u,2.650u);
  z32\0\6 = (11.804u,4.336u);
  z32\0\7 = (9.877u,3.721u);
  z32\0\8 = (7.468u,3.721u);
  z32\1\0s = (9.154u,3.132u);
  z32\1\0 = (9.154u,2.650u);
  z32\1\1 = (8.191u,2.650u);
  z32\1\2 = (8.191u,3.132u);
  z32\2\0s = (16.863u,1.927u);
  z32\2\0 = (16.863u,0.963u);
  z32\2\1 = (0.723u,0.963u);
  z32\2\2 = (0.723u,1.927u);
  fill_or_unfill z32\0\0s
    --z32\0\0
    --z32\0\1
    --z32\0\2
    --z32\0\3
    --z32\0\4
    --z32\0\5
    --z32\0\6
    --z32\0\7
    --z32\0\8
    --cycle;
  fill_or_unfill z32\1\0s
    --z32\1\0
    --z32\1\1
    --z32\1\2
    --cycle;
  fill_or_unfill z32\2\0s
    --z32\2\0
    --z32\2\1
    --z32\2\2
    --cycle;
  proof_labels (
    32\0\0,
    32\0\1,
    32\0\2,
    32\0\3,
    32\0\4,
    32\0\5,
    32\0\6,
    32\0\7,
    32\0\8,
    32\0\9,
    32\1\0,
    32\1\1,
    32\1\2,
    32\1\3,
    32\2\0,
    32\2\1,
    32\2\2,
    32\2\3,
);
endchar;

beginchar (33, 17.586u#, 4.577u#, 0.000u#);
  "Y2";
  z33\0\0s = (0.000u,3.132u);
  z33\0\0 = (0.000u,0.482u);
  z33\0\1 = (17.586u,0.482u);
  z33\0\2 = (17.586u,3.169u);
  z33\0\3 = (11.331u,3.169u);
  z33\0\4 = (9.151u,4.463u);
  z33\0\5 = (5.300u,3.132u);
  z33\1\0s = (9.636u,3.132u);
  z33\1\0 = (7.950u,3.132u);
  z33\1\1c1 = (8.518u,3.978u);
  z33\1\1c2 = (9.067u,3.978u);
  z33\2\0s = (16.863u,2.409u);
  z33\2\0 = (16.863u,1.204u);
  z33\2\1 = (0.723u,1.204u);
  z33\2\2 = (0.723u,2.409u);
  fill_or_unfill z33\0\0s
    --z33\0\0
    --z33\0\1
    --z33\0\2
    --z33\0\3
    --z33\0\4
    --z33\0\5
    --cycle;
  fill_or_unfill z33\1\0s
    --z33\1\0
    ..controls z33\1\1c1 and z33\1\1c2..cycle;
  fill_or_unfill z33\2\0s
    --z33\2\0
    --z33\2\1
    --z33\2\2
    --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\1\0,
    33\1\1,
    33\2\0,
    33\2\1,
    33\2\2,
    33\2\3,
);
endchar;

beginchar (34, 13.972u#, 18.549u#, 0.000u#);
  "Y3";
  z34\0\0s = (2.409u,9.636u);
  z34\0\0 = (0.000u,9.636u);
  z34\0\1 = (0.000u,0.482u);
  z34\0\2 = (5.781u,0.482u);
  z34\0\3 = (5.781u,9.636u);
  z34\0\4 = (3.132u,9.636u);
  z34\0\5 = (3.132u,14.454u);
  z34\0\6c1 = (3.166u,16.952u);
  z34\0\6c2 = (5.514u,19.367u);
  z34\0\6 = (7.262u,16.612u);
  z34\0\7c1 = (7.807u,15.753u);
  z34\0\7c2 = (7.978u,9.418u);
  z34\0\7 = (7.565u,8.467u);
  z34\0\8c1 = (7.330u,7.926u);
  z34\0\8c2 = (7.009u,7.870u);
  z34\0\8 = (6.504u,7.709u);
  z34\0\9c1 = (6.694u,6.273u);
  z34\0\9c2 = (6.533u,3.896u);
  z34\0\9 = (8.669u,4.160u);
  z34\0\10c1 = (9.162u,4.221u);
  z34\0\10c2 = (9.573u,4.440u);
  z34\0\10 = (9.835u,4.872u);
  z34\0\11c1 = (10.862u,6.570u);
  z34\0\11c2 = (8.244u,8.240u);
  z34\0\11 = (11.804u,9.636u);
  z34\0\12 = (11.804u,0.723u);
  z34\0\13 = (12.527u,0.723u);
  z34\0\14 = (12.527u,8.431u);
  z34\0\15c1 = (12.554u,9.876u);
  z34\0\15c2 = (13.386u,10.523u);
  z34\0\15 = (13.382u,11.322u);
  z34\0\16c1 = (13.377u,12.232u);
  z34\0\16c2 = (12.455u,12.620u);
  z34\0\16 = (12.460u,13.485u);
  z34\0\17c1 = (12.466u,14.307u);
  z34\0\17c2 = (13.900u,15.822u);
  z34\0\17 = (13.831u,16.832u);
  z34\0\18c1 = (13.712u,18.593u);
  z34\0\18c2 = (11.154u,18.473u);
  z34\0\18 = (10.321u,17.239u);
  z34\0\19c1 = (9.502u,16.024u);
  z34\0\19c2 = (12.429u,14.454u);
  z34\0\19 = (11.554u,12.812u);
  z34\0\20c1 = (11.290u,12.315u);
  z34\0\20c2 = (9.022u,10.466u);
  z34\0\20 = (8.431u,9.877u);
  z34\0\21c1 = (8.431u,11.768u);
  z34\0\21c2 = (8.724u,15.510u);
  z34\0\21 = (7.844u,17.094u);
  z34\0\22c1 = (6.703u,19.144u);
  z34\0\22c2 = (3.785u,18.849u);
  z34\0\22 = (2.759u,16.859u);
  z34\0\23c1 = (2.365u,16.094u);
  z34\0\23c2 = (2.410u,15.286u);
  z34\0\23 = (2.409u,14.454u);
  z34\1\0s = (12.063u,17.334u);
  z34\2\0s = (11.081u,16.744u);
  z34\3\0s = (13.249u,16.863u);
  z34\4\0s = (13.009u,16.622u);
  z34\5\0s = (11.804u,15.899u);
  z34\5\0 = (12.768u,15.899u);
  z34\5\1 = (12.527u,14.936u);
  z34\6\0s = (11.804u,11.563u);
  z34\6\0 = (8.672u,7.950u);
  z34\6\1c1 = (8.495u,9.529u);
  z34\6\1c2 = (10.419u,11.169u);
  z34\7\0s = (12.649u,11.325u);
  z34\8\0s = (5.059u,8.913u);
  z34\8\0 = (5.059u,1.204u);
  z34\8\1 = (0.723u,1.204u);
  z34\8\2 = (0.723u,8.913u);
  z34\9\0s = (2.244u,8.184u);
  z34\9\0c1 = (0.768u,6.580u);
  z34\9\0c2 = (3.432u,5.682u);
  z34\9\0 = (3.892u,7.039u);
  z34\9\1c1 = (4.290u,8.214u);
  z34\9\1c2 = (3.084u,8.474u);
  z34\10\0s = (3.132u,7.950u);
  z34\10\0 = (3.372u,6.986u);
  z34\10\1 = (2.409u,7.227u);
  z34\10\2 = (2.409u,7.709u);
  z34\10\3 = (2.650u,7.950u);
  z34\11\0s = (8.018u,7.069u);
  z34\11\0c1 = (9.519u,7.187u);
  z34\11\0c2 = (9.720u,5.348u);
  z34\11\0 = (8.838u,4.886u);
  z34\11\1c1 = (7.709u,4.294u);
  z34\11\1c2 = (6.669u,6.042u);
  z34\12\0s = (2.272u,5.052u);
  z34\12\0c1 = (1.195u,3.824u);
  z34\12\0c2 = (2.482u,2.722u);
  z34\12\0 = (3.537u,3.416u);
  z34\12\1c1 = (4.480u,4.036u);
  z34\12\1c2 = (3.870u,5.626u);
  fill_or_unfill z34\0\0s
    --z34\0\0
    --z34\0\1
    --z34\0\2
    --z34\0\3
    --z34\0\4
    --z34\0\5
    ..controls z34\0\6c1 and z34\0\6c2..z34\0\6
    ..controls z34\0\7c1 and z34\0\7c2..z34\0\7
    ..controls z34\0\8c1 and z34\0\8c2..z34\0\8
    ..controls z34\0\9c1 and z34\0\9c2..z34\0\9
    ..controls z34\0\10c1 and z34\0\10c2..z34\0\10
    ..controls z34\0\11c1 and z34\0\11c2..z34\0\11
    --z34\0\12
    --z34\0\13
    --z34\0\14
    ..controls z34\0\15c1 and z34\0\15c2..z34\0\15
    ..controls z34\0\16c1 and z34\0\16c2..z34\0\16
    ..controls z34\0\17c1 and z34\0\17c2..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
    ..controls z34\0\21c1 and z34\0\21c2..z34\0\21
    ..controls z34\0\22c1 and z34\0\22c2..z34\0\22
    ..controls z34\0\23c1 and z34\0\23c2..z34\0\23
    --cycle;
  fill_or_unfill z34\1\0s
    --cycle;
  fill_or_unfill z34\2\0s
    --cycle;
  fill_or_unfill z34\3\0s
    --cycle;
  fill_or_unfill z34\4\0s
    --cycle;
  fill_or_unfill z34\5\0s
    --z34\5\0
    --z34\5\1
    --cycle;
  fill_or_unfill z34\6\0s
    --z34\6\0
    ..controls z34\6\1c1 and z34\6\1c2..cycle;
  fill_or_unfill z34\7\0s
    --cycle;
  fill_or_unfill z34\8\0s
    --z34\8\0
    --z34\8\1
    --z34\8\2
    --cycle;
  fill_or_unfill z34\9\0s
    ..controls z34\9\0c1 and z34\9\0c2..z34\9\0
    ..controls z34\9\1c1 and z34\9\1c2..cycle;
  fill_or_unfill z34\10\0s
    --z34\10\0
    --z34\10\1
    --z34\10\2
    --z34\10\3
    --cycle;
  fill_or_unfill z34\11\0s
    ..controls z34\11\0c1 and z34\11\0c2..z34\11\0
    ..controls z34\11\1c1 and z34\11\1c2..cycle;
  fill_or_unfill z34\12\0s
    ..controls z34\12\0c1 and z34\12\0c2..z34\12\0
    ..controls z34\12\1c1 and z34\12\1c2..cycle;
  proof_labels (
    34\0\0,
    34\0\1,
    34\0\2,
    34\0\3,
    34\0\4,
    34\0\5,
    34\0\6,
    34\0\7,
    34\0\8,
    34\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\1\0,
    34\2\0,
    34\3\0,
    34\4\0,
    34\5\0,
    34\5\1,
    34\5\2,
    34\6\0,
    34\6\1,
    34\7\0,
    34\8\0,
    34\8\1,
    34\8\2,
    34\8\3,
    34\9\0,
    34\9\1,
    34\10\0,
    34\10\1,
    34\10\2,
    34\10\3,
    34\10\4,
    34\11\0,
    34\11\1,
    34\12\0,
    34\12\1,
);
endchar;

beginchar (35, 14.695u#, 17.826u#, 0.000u#);
  "Y4";
  z35\0\0s = (6.264u,9.154u);
  z35\0\0c1 = (5.599u,9.897u);
  z35\0\0c2 = (2.969u,11.814u);
  z35\0\0 = (2.807u,12.311u);
  z35\0\1c1 = (2.317u,13.813u);
  z35\0\1c2 = (5.090u,15.390u);
  z35\0\1 = (3.959u,16.651u);
  z35\0\2c1 = (2.973u,17.750u);
  z35\0\2c2 = (0.796u,17.670u);
  z35\0\2 = (0.321u,16.090u);
  z35\0\3c1 = (0.041u,15.163u);
  z35\0\3c2 = (1.746u,14.038u);
  z35\0\3 = (1.860u,12.764u);
  z35\0\4c1 = (1.954u,11.709u);
  z35\0\4c2 = (1.167u,11.181u);
  z35\0\4 = (1.239u,10.380u);
  z35\0\5c1 = (1.323u,9.457u);
  z35\0\5c2 = (1.919u,8.839u);
  z35\0\5 = (1.927u,7.709u);
  z35\0\6 = (1.927u,0.241u);
  z35\0\7 = (2.650u,0.241u);
  z35\0\8 = (2.650u,8.913u);
  z35\0\9c1 = (6.409u,7.982u);
  z35\0\9c2 = (3.859u,5.342u);
  z35\0\9 = (5.403u,4.032u);
  z35\0\10c1 = (6.505u,3.097u);
  z35\0\10c2 = (8.067u,3.852u);
  z35\0\10 = (8.159u,5.301u);
  z35\0\11 = (8.159u,7.227u);
  z35\0\12c1 = (7.692u,7.483u);
  z35\0\12c2 = (7.353u,7.646u);
  z35\0\12 = (7.130u,8.204u);
  z35\0\13c1 = (6.749u,9.158u);
  z35\0\13c2 = (6.859u,15.315u);
  z35\0\13 = (7.441u,16.086u);
  z35\0\14c1 = (8.972u,18.113u);
  z35\0\14c2 = (11.290u,16.470u);
  z35\0\14 = (11.322u,14.213u);
  z35\0\15 = (11.322u,9.395u);
  z35\0\16 = (9.154u,9.395u);
  z35\0\17 = (9.154u,0.482u);
  z35\0\18 = (14.695u,0.482u);
  z35\0\19 = (14.695u,9.395u);
  z35\0\20 = (12.045u,9.395u);
  z35\0\21c1 = (12.045u,10.844u);
  z35\0\21c2 = (12.241u,15.014u);
  z35\0\21 = (11.750u,16.131u);
  z35\0\22c1 = (10.616u,18.706u);
  z35\0\22c2 = (6.314u,18.305u);
  z35\0\22 = (6.264u,14.213u);
  z35\1\0s = (2.409u,17.104u);
  z35\1\0 = (2.409u,15.899u);
  z35\2\0s = (1.204u,16.140u);
  z35\2\0 = (1.686u,15.177u);
  z35\3\0s = (3.854u,16.140u);
  z35\3\0 = (3.132u,15.417u);
  z35\4\0s = (3.132u,15.417u);
  z35\5\0s = (1.927u,15.177u);
  z35\5\0 = (2.650u,14.213u);
  z35\6\0s = (2.891u,14.936u);
  z35\7\0s = (6.263u,7.468u);
  z35\7\0c1 = (5.207u,8.032u);
  z35\7\0c2 = (2.851u,9.681u);
  z35\7\0 = (2.650u,10.840u);
  z35\7\1c1 = (4.646u,10.422u);
  z35\7\1c2 = (5.493u,9.242u);
  z35\8\0s = (13.972u,8.672u);
  z35\8\0 = (13.972u,1.204u);
  z35\8\1 = (9.877u,1.204u);
  z35\8\2 = (9.877u,8.672u);
  z35\9\0s = (11.825u,8.002u);
  z35\9\0c1 = (10.201u,7.402u);
  z35\9\0c2 = (11.153u,5.805u);
  z35\9\0 = (12.252u,6.180u);
  z35\9\1c1 = (13.340u,6.552u);
  z35\9\1c2 = (13.074u,7.859u);
  z35\10\0s = (12.527u,6.504u);
  z35\10\0 = (11.322u,6.745u);
  z35\10\1c1 = (11.906u,7.731u);
  z35\10\1c2 = (12.339u,7.581u);
  z35\11\0s = (7.227u,6.707u);
  z35\11\0 = (7.473u,5.544u);
  z35\11\1c1 = (7.651u,2.424u);
  z35\11\1c2 = (3.633u,5.883u);
  z35\11\1 = (6.298u,6.707u);
  z35\11\2c1 = (6.591u,6.756u);
  z35\11\2c2 = (6.926u,6.734u);
  z35\12\0s = (11.617u,4.867u);
  z35\12\0c1 = (10.230u,3.906u);
  z35\12\0c2 = (11.379u,2.581u);
  z35\12\0 = (12.432u,3.033u);
  z35\12\1c1 = (13.382u,3.442u);
  z35\12\1c2 = (13.193u,5.034u);
  fill_or_unfill z35\0\0s
    ..controls z35\0\0c1 and z35\0\0c2..z35\0\0
    ..controls z35\0\1c1 and z35\0\1c2..z35\0\1
    ..controls z35\0\2c1 and z35\0\2c2..z35\0\2
    ..controls z35\0\3c1 and z35\0\3c2..z35\0\3
    ..controls z35\0\4c1 and z35\0\4c2..z35\0\4
    ..controls z35\0\5c1 and z35\0\5c2..z35\0\5
    --z35\0\6
    --z35\0\7
    --z35\0\8
    ..controls z35\0\9c1 and z35\0\9c2..z35\0\9
    ..controls z35\0\10c1 and z35\0\10c2..z35\0\10
    --z35\0\11
    ..controls z35\0\12c1 and z35\0\12c2..z35\0\12
    ..controls z35\0\13c1 and z35\0\13c2..z35\0\13
    ..controls z35\0\14c1 and z35\0\14c2..z35\0\14
    --z35\0\15
    --z35\0\16
    --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
    --cycle;
  fill_or_unfill z35\1\0s
    --z35\1\0
    --cycle;
  fill_or_unfill z35\2\0s
    --z35\2\0
    --cycle;
  fill_or_unfill z35\3\0s
    --z35\3\0
    --cycle;
  fill_or_unfill z35\4\0s
    --cycle;
  fill_or_unfill z35\5\0s
    --z35\5\0
    --cycle;
  fill_or_unfill z35\6\0s
    --cycle;
  fill_or_unfill z35\7\0s
    ..controls z35\7\0c1 and z35\7\0c2..z35\7\0
    ..controls z35\7\1c1 and z35\7\1c2..cycle;
  fill_or_unfill z35\8\0s
    --z35\8\0
    --z35\8\1
    --z35\8\2
    --cycle;
  fill_or_unfill z35\9\0s
    ..controls z35\9\0c1 and z35\9\0c2..z35\9\0
    ..controls z35\9\1c1 and z35\9\1c2..cycle;
  fill_or_unfill z35\10\0s
    --z35\10\0
    ..controls z35\10\1c1 and z35\10\1c2..cycle;
  fill_or_unfill z35\11\0s
    --z35\11\0
    ..controls z35\11\1c1 and z35\11\1c2..z35\11\1
    ..controls z35\11\2c1 and z35\11\2c2..cycle;
  fill_or_unfill z35\12\0s
    ..controls z35\12\0c1 and z35\12\0c2..z35\12\0
    ..controls z35\12\1c1 and z35\12\1c2..cycle;
  proof_labels (
    35\0\0,
    35\0\1,
    35\0\2,
    35\0\3,
    35\0\4,
    35\0\5,
    35\0\6,
    35\0\7,
    35\0\8,
    35\0\9,
    35\0\10,
    35\0\11,
    35\0\12,
    35\0\13,
    35\0\14,
    35\0\15,
    35\0\16,
    35\0\17,
    35\0\18,
    35\0\19,
    35\0\20,
    35\0\21,
    35\0\22,
    35\0\23,
    35\1\0,
    35\1\1,
    35\2\0,
    35\2\1,
    35\3\0,
    35\3\1,
    35\4\0,
    35\5\0,
    35\5\1,
    35\6\0,
    35\7\0,
    35\7\1,
    35\8\0,
    35\8\1,
    35\8\2,
    35\8\3,
    35\9\0,
    35\9\1,
    35\10\0,
    35\10\1,
    35\11\0,
    35\11\1,
    35\11\2,
    35\12\0,
    35\12\1,
);
endchar;

beginchar (36, 17.104u#, 6.263u#, 0.000u#);
  "Y5";
  z36\0\0s = (0.963u,6.263u);
  z36\0\0 = (0.963u,5.059u);
  z36\0\1 = (0.000u,5.059u);
  z36\0\2 = (0.000u,0.241u);
  z36\0\3 = (17.104u,0.241u);
  z36\0\4 = (17.104u,5.059u);
  z36\0\5 = (15.899u,5.059u);
  z36\0\6 = (15.899u,6.263u);
  z36\0\7 = (15.177u,6.263u);
  z36\0\8 = (15.177u,5.059u);
  z36\0\9 = (13.731u,5.059u);
  z36\0\10 = (13.731u,6.263u);
  z36\0\11 = (13.009u,6.263u);
  z36\0\12 = (13.009u,5.059u);
  z36\0\13 = (11.322u,5.059u);
  z36\0\14 = (11.322u,6.263u);
  z36\0\15 = (10.600u,6.263u);
  z36\0\16 = (10.600u,5.059u);
  z36\0\17 = (8.913u,5.059u);
  z36\0\18 = (8.913u,6.263u);
  z36\0\19 = (8.191u,6.263u);
  z36\0\20 = (8.191u,5.059u);
  z36\0\21 = (6.263u,5.059u);
  z36\0\22 = (6.263u,6.263u);
  z36\0\23 = (5.541u,6.263u);
  z36\0\24 = (5.541u,5.059u);
  z36\0\25 = (3.854u,5.059u);
  z36\0\26 = (3.854u,6.263u);
  z36\0\27 = (3.132u,6.263u);
  z36\0\28 = (3.132u,5.059u);
  z36\0\29 = (1.686u,5.059u);
  z36\0\30 = (1.686u,6.263u);
  z36\1\0s = (16.381u,4.336u);
  z36\1\0 = (16.381u,0.963u);
  z36\1\1 = (0.723u,0.963u);
  z36\1\2 = (0.723u,4.336u);
  fill_or_unfill z36\0\0s
    --z36\0\0
    --z36\0\1
    --z36\0\2
    --z36\0\3
    --z36\0\4
    --z36\0\5
    --z36\0\6
    --z36\0\7
    --z36\0\8
    --z36\0\9
    --z36\0\10
    --z36\0\11
    --z36\0\12
    --z36\0\13
    --z36\0\14
    --z36\0\15
    --z36\0\16
    --z36\0\17
    --z36\0\18
    --z36\0\19
    --z36\0\20
    --z36\0\21
    --z36\0\22
    --z36\0\23
    --z36\0\24
    --z36\0\25
    --z36\0\26
    --z36\0\27
    --z36\0\28
    --z36\0\29
    --z36\0\30
    --cycle;
  fill_or_unfill z36\1\0s
    --z36\1\0
    --z36\1\1
    --z36\1\2
    --cycle;
  proof_labels (
    36\0\0,
    36\0\1,
    36\0\2,
    36\0\3,
    36\0\4,
    36\0\5,
    36\0\6,
    36\0\7,
    36\0\8,
    36\0\9,
    36\0\10,
    36\0\11,
    36\0\12,
    36\0\13,
    36\0\14,
    36\0\15,
    36\0\16,
    36\0\17,
    36\0\18,
    36\0\19,
    36\0\20,
    36\0\21,
    36\0\22,
    36\0\23,
    36\0\24,
    36\0\25,
    36\0\26,
    36\0\27,
    36\0\28,
    36\0\29,
    36\0\30,
    36\0\31,
    36\1\0,
    36\1\1,
    36\1\2,
    36\1\3,
);
endchar;

beginchar (37, 5.781u#, 11.322u#, 0.000u#);
  "Y6";
  z37\0\0s = (0.000u,0.482u);
  z37\0\0 = (5.781u,0.482u);
  z37\0\1 = (5.298u,7.950u);
  z37\0\2 = (2.694u,11.000u);
  z37\0\3 = (1.710u,9.676u);
  z37\0\4 = (0.397u,7.708u);
  z37\1\0s = (2.891u,10.118u);
  z37\1\0 = (4.604u,7.709u);
  z37\1\1 = (5.059u,1.204u);
  z37\1\2 = (0.723u,1.204u);
  z37\1\3 = (1.206u,7.699u);
  fill_or_unfill z37\0\0s
    --z37\0\0
    --z37\0\1
    --z37\0\2
    --z37\0\3
    --z37\0\4
    --cycle;
  fill_or_unfill z37\1\0s
    --z37\1\0
    --z37\1\1
    --z37\1\2
    --z37\1\3
    --cycle;
  proof_labels (
    37\0\0,
    37\0\1,
    37\0\2,
    37\0\3,
    37\0\4,
    37\0\5,
    37\1\0,
    37\1\1,
    37\1\2,
    37\1\3,
    37\1\4,
);
endchar;

beginchar (38, 8.431u#, 18.067u#, 0.000u#);
  "Y7";
  z38\0\0s = (1.445u,18.067u);
  z38\0\0c1 = (0.891u,17.036u);
  z38\0\0c2 = (-0.856u,16.045u);
  z38\0\0 = (1.445u,15.658u);
  z38\0\1 = (1.445u,5.781u);
  z38\0\2 = (0.482u,2.891u);
  z38\0\3c1 = (1.176u,2.474u);
  z38\0\3c2 = (3.028u,1.202u);
  z38\0\3 = (3.804u,1.399u);
  z38\0\4c1 = (5.353u,1.793u);
  z38\0\4c2 = (8.830u,12.823u);
  z38\0\4 = (8.294u,14.695u);
  z38\0\5c1 = (7.892u,16.099u);
  z38\0\5c2 = (6.436u,16.564u);
  z38\0\5 = (5.541u,17.586u);
  z38\0\6 = (4.336u,17.345u);
  z38\0\7 = (4.095u,18.067u);
  z38\0\8 = (3.372u,17.345u);
  z38\0\9 = (3.132u,18.067u);
  z38\0\10 = (2.409u,17.586u);
  z38\1\0s = (2.650u,15.658u);
  z38\1\0 = (2.409u,5.300u);
  z38\1\1 = (2.168u,15.658u);
  z38\2\0s = (3.854u,15.658u);
  z38\2\0 = (3.613u,6.986u);
  z38\2\1 = (3.372u,15.658u);
  z38\3\0s = (4.818u,9.154u);
  z38\3\0 = (4.577u,15.658u);
  z38\3\1c1 = (8.610u,15.022u);
  z38\3\1c2 = (6.019u,11.305u);
  z38\4\0s = (7.468u,15.417u);
  z38\4\0c1 = (7.703u,14.589u);
  z38\4\0c2 = (7.751u,13.866u);
  z38\4\0 = (7.639u,13.009u);
  z38\4\1c1 = (7.435u,11.430u);
  z38\4\1c2 = (4.883u,3.040u);
  z38\4\1 = (3.754u,2.439u);
  z38\4\2c1 = (3.179u,2.133u);
  z38\4\2c2 = (2.234u,2.660u);
  z38\4\2 = (1.686u,2.891u);
  z38\4\3 = (6.442u,10.840u);
  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
    ..controls z38\0\4c1 and z38\0\4c2..z38\0\4
    ..controls z38\0\5c1 and z38\0\5c2..z38\0\5
    --z38\0\6
    --z38\0\7
    --z38\0\8
    --z38\0\9
    --z38\0\10
    --cycle;
  fill_or_unfill z38\1\0s
    --z38\1\0
    --z38\1\1
    --cycle;
  fill_or_unfill z38\2\0s
    --z38\2\0
    --z38\2\1
    --cycle;
  fill_or_unfill z38\3\0s
    --z38\3\0
    ..controls z38\3\1c1 and z38\3\1c2..cycle;
  fill_or_unfill z38\4\0s
    ..controls z38\4\0c1 and z38\4\0c2..z38\4\0
    ..controls z38\4\1c1 and z38\4\1c2..z38\4\1
    ..controls z38\4\2c1 and z38\4\2c2..z38\4\2
    --z38\4\3
    --cycle;
  proof_labels (
    38\0\0,
    38\0\1,
    38\0\2,
    38\0\3,
    38\0\4,
    38\0\5,
    38\0\6,
    38\0\7,
    38\0\8,
    38\0\9,
    38\0\10,
    38\0\11,
    38\1\0,
    38\1\1,
    38\1\2,
    38\2\0,
    38\2\1,
    38\2\2,
    38\3\0,
    38\3\1,
    38\4\0,
    38\4\1,
    38\4\2,
    38\4\3,
    38\4\4,
);
endchar;

beginchar (39, 9.154u#, 18.790u#, 0.000u#);
  "Y8";
  z39\0\0s = (0.482u,12.527u);
  z39\0\0 = (3.849u,8.892u);
  z39\0\1 = (4.095u,1.204u);
  z39\0\2 = (5.300u,1.204u);
  z39\0\3 = (5.546u,8.892u);
  z39\0\4 = (8.913u,12.510u);
  z39\0\5 = (7.951u,12.510u);
  z39\0\6c1 = (4.364u,12.621u);
  z39\0\6c2 = (11.217u,16.801u);
  z39\0\6 = (8.597u,18.532u);
  z39\0\7c1 = (7.943u,18.931u);
  z39\0\7c2 = (6.356u,18.560u);
  z39\0\7 = (5.541u,18.532u);
  z39\0\8c1 = (4.728u,18.541u);
  z39\0\8c2 = (1.195u,18.785u);
  z39\0\8 = (0.777u,18.532u);
  z39\0\9c1 = (-2.350u,16.712u);
  z39\0\9c2 = (6.077u,12.146u);
  z39\1\0s = (1.204u,17.826u);
  z39\2\0s = (1.808u,17.589u);
  z39\3\0s = (6.022u,17.826u);
  z39\3\0 = (5.541u,13.249u);
  z39\3\1 = (3.854u,13.249u);
  z39\3\2 = (3.372u,17.826u);
  z39\4\0s = (7.590u,17.589u);
  z39\5\0s = (8.431u,17.826u);
  z39\6\0s = (8.672u,17.586u);
  z39\7\0s = (8.312u,16.866u);
  z39\8\0s = (1.204u,16.863u);
  z39\9\0s = (2.891u,16.863u);
  z39\9\0 = (2.891u,14.454u);
  z39\9\1 = (1.204u,16.622u);
  z39\10\0s = (8.191u,16.622u);
  z39\10\0 = (6.263u,14.695u);
  z39\10\1 = (6.504u,16.863u);
  z39\11\0s = (6.263u,12.286u);
  z39\11\0 = (5.300u,12.286u);
  z39\11\1 = (5.059u,12.045u);
  z39\11\2 = (5.059u,11.563u);
  z39\11\3 = (6.504u,12.045u);
  z39\11\4 = (5.541u,10.359u);
  z39\11\5c1 = (4.972u,11.205u);
  z39\11\5c2 = (4.423u,11.205u);
  z39\11\5 = (3.854u,10.359u);
  z39\11\6 = (2.891u,12.045u);
  z39\11\7 = (4.577u,11.563u);
  z39\11\8 = (4.577u,12.045u);
  z39\11\9 = (4.336u,12.286u);
  z39\11\10 = (3.132u,12.045u);
  z39\11\11c1 = (4.304u,12.878u);
  z39\11\11c2 = (4.973u,12.819u);
  z39\12\0s = (5.541u,10.359u);
  z39\12\0 = (3.854u,10.118u);
  fill_or_unfill z39\0\0s
    --z39\0\0
    --z39\0\1
    --z39\0\2
    --z39\0\3
    --z39\0\4
    --z39\0\5
    ..controls z39\0\6c1 and z39\0\6c2..z39\0\6
    ..controls z39\0\7c1 and z39\0\7c2..z39\0\7
    ..controls z39\0\8c1 and z39\0\8c2..z39\0\8
    ..controls z39\0\9c1 and z39\0\9c2..cycle;
  fill_or_unfill z39\1\0s
    --cycle;
  fill_or_unfill z39\2\0s
    --cycle;
  fill_or_unfill z39\3\0s
    --z39\3\0
    --z39\3\1
    --z39\3\2
    --cycle;
  fill_or_unfill z39\4\0s
    --cycle;
  fill_or_unfill z39\5\0s
    --cycle;
  fill_or_unfill z39\6\0s
    --cycle;
  fill_or_unfill z39\7\0s
    --cycle;
  fill_or_unfill z39\8\0s
    --cycle;
  fill_or_unfill z39\9\0s
    --z39\9\0
    --z39\9\1
    --cycle;
  fill_or_unfill z39\10\0s
    --z39\10\0
    --z39\10\1
    --cycle;
  fill_or_unfill z39\11\0s
    --z39\11\0
    --z39\11\1
    --z39\11\2
    --z39\11\3
    --z39\11\4
    ..controls z39\11\5c1 and z39\11\5c2..z39\11\5
    --z39\11\6
    --z39\11\7
    --z39\11\8
    --z39\11\9
    --z39\11\10
    ..controls z39\11\11c1 and z39\11\11c2..cycle;
  fill_or_unfill z39\12\0s
    --z39\12\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\1\0,
    39\2\0,
    39\3\0,
    39\3\1,
    39\3\2,
    39\3\3,
    39\4\0,
    39\5\0,
    39\6\0,
    39\7\0,
    39\8\0,
    39\9\0,
    39\9\1,
    39\9\2,
    39\10\0,
    39\10\1,
    39\10\2,
    39\11\0,
    39\11\1,
    39\11\2,
    39\11\3,
    39\11\4,
    39\11\5,
    39\11\6,
    39\11\7,
    39\11\8,
    39\11\9,
    39\11\10,
    39\11\11,
    39\12\0,
    39\12\1,
);
endchar;

beginchar (40, 4.336u#, 18.549u#, 0.000u#);
  "Y1*";
  z40\0\0s = (1.927u,18.549u);
  z40\0\0 = (1.927u,11.804u);
  z40\0\1 = (0.241u,13.009u);
  z40\0\2 = (0.856u,11.081u);
  z40\0\3 = (0.856u,8.672u);
  z40\0\4 = (0.241u,6.504u);
  z40\0\5 = (1.927u,7.709u);
  z40\0\6 = (1.927u,1.204u);
  z40\0\7 = (4.336u,1.204u);
  z40\0\8 = (4.336u,18.549u);
  z40\1\0s = (3.613u,18.067u);
  z40\1\0 = (3.613u,1.927u);
  z40\1\1 = (2.650u,1.927u);
  z40\1\2 = (2.650u,18.067u);
  z40\2\0s = (1.927u,10.359u);
  z40\2\0 = (1.927u,9.395u);
  z40\2\1 = (1.445u,9.395u);
  z40\2\2 = (1.445u,10.359u);
  fill_or_unfill z40\0\0s
    --z40\0\0
    --z40\0\1
    --z40\0\2
    --z40\0\3
    --z40\0\4
    --z40\0\5
    --z40\0\6
    --z40\0\7
    --z40\0\8
    --cycle;
  fill_or_unfill z40\1\0s
    --z40\1\0
    --z40\1\1
    --z40\1\2
    --cycle;
  fill_or_unfill z40\2\0s
    --z40\2\0
    --z40\2\1
    --z40\2\2
    --cycle;
  proof_labels (
    40\0\0,
    40\0\1,
    40\0\2,
    40\0\3,
    40\0\4,
    40\0\5,
    40\0\6,
    40\0\7,
    40\0\8,
    40\0\9,
    40\1\0,
    40\1\1,
    40\1\2,
    40\1\3,
    40\2\0,
    40\2\1,
    40\2\2,
    40\2\3,
);
endchar;