beginchar (32, 14.213u#, 8.191u#, 0.000u#);
  "O1";
  z32\0\0s = (0.000u,8.191u);
  z32\0\0 = (0.000u,0.723u);
  z32\0\1 = (4.577u,0.723u);
  z32\0\2 = (4.577u,1.445u);
  z32\0\3 = (0.723u,1.445u);
  z32\0\4 = (0.723u,7.468u);
  z32\0\5 = (13.490u,7.468u);
  z32\0\6 = (13.490u,1.445u);
  z32\0\7 = (9.636u,1.445u);
  z32\0\8 = (9.636u,0.723u);
  z32\0\9 = (14.213u,0.723u);
  z32\0\10 = (14.213u,8.191u);
  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
    --z32\0\9
    --z32\0\10
    --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,
);
endchar;

beginchar (33, 14.454u#, 19.031u#, 0.000u#);
  "O2";
  z33\0\0s = (0.000u,19.031u);
  z33\0\0 = (0.000u,11.804u);
  z33\0\1 = (4.818u,11.804u);
  z33\0\2 = (4.818u,12.527u);
  z33\0\3 = (0.723u,12.527u);
  z33\0\4 = (0.723u,18.308u);
  z33\0\5 = (13.731u,18.308u);
  z33\0\6 = (13.731u,12.527u);
  z33\0\7 = (9.636u,12.527u);
  z33\0\8 = (9.636u,11.804u);
  z33\0\9 = (14.454u,11.804u);
  z33\0\10 = (14.454u,19.031u);
  z33\1\0s = (6.745u,1.445u);
  z33\1\0 = (7.495u,1.445u);
  z33\1\1c1 = (7.468u,4.126u);
  z33\1\1c2 = (7.064u,7.519u);
  z33\1\1 = (7.495u,10.118u);
  z33\1\2c1 = (7.695u,11.100u);
  z33\1\2c2 = (8.462u,11.786u);
  z33\1\2 = (8.617u,12.768u);
  z33\1\3c1 = (8.754u,13.636u);
  z33\1\3c2 = (8.261u,15.277u);
  z33\1\3 = (7.186u,15.271u);
  z33\1\4c1 = (6.134u,15.266u);
  z33\1\4c2 = (5.492u,13.925u);
  z33\1\4 = (5.596u,13.009u);
  z33\1\5c1 = (5.761u,11.548u);
  z33\1\5c2 = (6.717u,11.150u);
  z33\1\5 = (6.745u,9.154u);
  z33\2\0s = (6.745u,11.563u);
  z33\2\0 = (6.281u,12.526u);
  z33\2\1c1 = (5.264u,15.363u);
  z33\2\1c2 = (9.819u,14.098u);
  z33\2\1 = (7.553u,11.947u);
  z33\2\2c1 = (7.297u,11.705u);
  z33\2\2c2 = (7.060u,11.667u);
  fill_or_unfill z33\0\0s
    --z33\0\0
    --z33\0\1
    --z33\0\2
    --z33\0\3
    --z33\0\4
    --z33\0\5
    --z33\0\6
    --z33\0\7
    --z33\0\8
    --z33\0\9
    --z33\0\10
    --cycle;
  fill_or_unfill z33\1\0s
    --z33\1\0
    ..controls z33\1\1c1 and z33\1\1c2..z33\1\1
    ..controls z33\1\2c1 and z33\1\2c2..z33\1\2
    ..controls z33\1\3c1 and z33\1\3c2..z33\1\3
    ..controls z33\1\4c1 and z33\1\4c2..z33\1\4
    ..controls z33\1\5c1 and z33\1\5c2..z33\1\5
    --cycle;
  fill_or_unfill z33\2\0s
    --z33\2\0
    ..controls z33\2\1c1 and z33\2\1c2..z33\2\1
    ..controls z33\2\2c1 and z33\2\2c2..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\1\0,
    33\1\1,
    33\1\2,
    33\1\3,
    33\1\4,
    33\1\5,
    33\1\6,
    33\2\0,
    33\2\1,
    33\2\2,
);
endchar;

beginchar (34, 16.863u#, 18.308u#, 0.000u#);
  "O3";
  z34\0\0s = (0.963u,18.308u);
  z34\0\0 = (0.963u,10.600u);
  z34\0\1 = (5.541u,10.600u);
  z34\0\2 = (5.541u,11.322u);
  z34\0\3 = (1.686u,11.322u);
  z34\0\4 = (1.686u,17.586u);
  z34\0\5 = (14.695u,17.586u);
  z34\0\6 = (14.695u,11.322u);
  z34\0\7 = (10.600u,11.322u);
  z34\0\8 = (10.600u,10.600u);
  z34\0\9 = (15.417u,10.600u);
  z34\0\10 = (15.417u,18.308u);
  z34\1\0s = (7.950u,16.381u);
  z34\1\0c1 = (7.438u,14.579u);
  z34\1\0c2 = (7.712u,12.026u);
  z34\1\0 = (7.709u,10.118u);
  z34\1\1c1 = (7.706u,8.278u);
  z34\1\1c2 = (6.937u,7.242u);
  z34\1\1 = (6.617u,5.541u);
  z34\1\2c1 = (5.686u,0.608u);
  z34\1\2c2 = (9.591u,-0.119u);
  z34\1\2 = (9.854u,3.613u);
  z34\1\3c1 = (10.004u,5.744u);
  z34\1\3c2 = (8.683u,7.482u);
  z34\1\3 = (8.672u,9.636u);
  z34\1\4c1 = (8.662u,11.621u);
  z34\1\4c2 = (8.955u,14.537u);
  z34\1\4 = (8.431u,16.381u);
  z34\2\0s = (1.496u,8.421u);
  z34\2\0c1 = (-0.159u,7.005u);
  z34\2\0c2 = (-0.961u,1.466u);
  z34\2\0 = (1.927u,0.921u);
  z34\2\1c1 = (5.705u,0.210u);
  z34\2\1c2 = (4.700u,9.322u);
  z34\3\0s = (1.976u,7.730u);
  z34\3\0c1 = (3.898u,7.353u);
  z34\3\0c2 = (4.360u,2.124u);
  z34\3\0 = (2.400u,1.776u);
  z34\3\1c1 = (-0.041u,1.342u);
  z34\3\1c2 = (0.446u,6.891u);
  z34\4\0s = (12.286u,8.191u);
  z34\4\0 = (12.286u,7.468u);
  z34\4\1 = (13.972u,7.468u);
  z34\4\2c1 = (13.639u,6.448u);
  z34\4\2c2 = (12.634u,6.055u);
  z34\4\2 = (12.399u,5.055u);
  z34\4\3c1 = (12.265u,4.485u);
  z34\4\3c2 = (12.456u,3.700u);
  z34\4\3 = (12.577u,3.132u);
  z34\4\4c1 = (12.868u,1.767u);
  z34\4\4c2 = (13.027u,0.705u);
  z34\4\4 = (14.694u,0.737u);
  z34\4\5c1 = (15.140u,0.746u);
  z34\4\5c2 = (15.631u,0.815u);
  z34\4\5 = (15.963u,1.141u);
  z34\4\6c1 = (16.360u,1.531u);
  z34\4\6c2 = (16.468u,2.360u);
  z34\4\6 = (16.562u,2.891u);
  z34\4\7c1 = (16.891u,4.760u);
  z34\4\7c2 = (17.248u,6.011u);
  z34\4\7 = (14.936u,6.504u);
  z34\4\8 = (14.936u,7.468u);
  z34\4\9 = (16.622u,7.468u);
  z34\4\10 = (16.622u,8.191u);
  z34\5\0s = (8.176u,7.468u);
  z34\5\0c1 = (8.599u,6.667u);
  z34\5\0c2 = (10.069u,2.060u);
  z34\5\0 = (8.176u,2.073u);
  z34\5\1c1 = (6.079u,2.088u);
  z34\5\1c2 = (7.396u,6.565u);
  z34\6\0s = (14.455u,5.867u);
  z34\6\0c1 = (17.438u,5.556u);
  z34\6\0c2 = (15.686u,1.655u);
  z34\6\0 = (14.691u,1.575u);
  z34\6\1c1 = (13.449u,1.476u);
  z34\6\1c2 = (11.823u,5.349u);
  fill_or_unfill z34\0\0s
    --z34\0\0
    --z34\0\1
    --z34\0\2
    --z34\0\3
    --z34\0\4
    --z34\0\5
    --z34\0\6
    --z34\0\7
    --z34\0\8
    --z34\0\9
    --z34\0\10
    --cycle;
  fill_or_unfill z34\1\0s
    ..controls z34\1\0c1 and z34\1\0c2..z34\1\0
    ..controls z34\1\1c1 and z34\1\1c2..z34\1\1
    ..controls z34\1\2c1 and z34\1\2c2..z34\1\2
    ..controls z34\1\3c1 and z34\1\3c2..z34\1\3
    ..controls z34\1\4c1 and z34\1\4c2..z34\1\4
    --cycle;
  fill_or_unfill z34\2\0s
    ..controls z34\2\0c1 and z34\2\0c2..z34\2\0
    ..controls z34\2\1c1 and z34\2\1c2..cycle;
  fill_or_unfill z34\3\0s
    ..controls z34\3\0c1 and z34\3\0c2..z34\3\0
    ..controls z34\3\1c1 and z34\3\1c2..cycle;
  fill_or_unfill z34\4\0s
    --z34\4\0
    --z34\4\1
    ..controls z34\4\2c1 and z34\4\2c2..z34\4\2
    ..controls z34\4\3c1 and z34\4\3c2..z34\4\3
    ..controls z34\4\4c1 and z34\4\4c2..z34\4\4
    ..controls z34\4\5c1 and z34\4\5c2..z34\4\5
    ..controls z34\4\6c1 and z34\4\6c2..z34\4\6
    ..controls z34\4\7c1 and z34\4\7c2..z34\4\7
    --z34\4\8
    --z34\4\9
    --z34\4\10
    --cycle;
  fill_or_unfill z34\5\0s
    ..controls z34\5\0c1 and z34\5\0c2..z34\5\0
    ..controls z34\5\1c1 and z34\5\1c2..cycle;
  fill_or_unfill z34\6\0s
    ..controls z34\6\0c1 and z34\6\0c2..z34\6\0
    ..controls z34\6\1c1 and z34\6\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\1\0,
    34\1\1,
    34\1\2,
    34\1\3,
    34\1\4,
    34\1\5,
    34\2\0,
    34\2\1,
    34\3\0,
    34\3\1,
    34\4\0,
    34\4\1,
    34\4\2,
    34\4\3,
    34\4\4,
    34\4\5,
    34\4\6,
    34\4\7,
    34\4\8,
    34\4\9,
    34\4\10,
    34\4\11,
    34\5\0,
    34\5\1,
    34\6\0,
    34\6\1,
);
endchar;

beginchar (35, 10.359u#, 8.913u#, 0.000u#);
  "O4";
  z35\0\0s = (0.000u,8.913u);
  z35\0\0 = (0.000u,0.723u);
  z35\0\1 = (0.963u,0.723u);
  z35\0\2 = (0.963u,7.950u);
  z35\0\3 = (9.395u,7.950u);
  z35\0\4 = (9.395u,1.686u);
  z35\0\5 = (5.300u,1.686u);
  z35\0\6 = (5.300u,6.263u);
  z35\0\7 = (4.336u,6.263u);
  z35\0\8 = (4.336u,0.723u);
  z35\0\9 = (10.359u,0.723u);
  z35\0\10 = (10.359u,8.913u);
  fill_or_unfill z35\0\0s
    --z35\0\0
    --z35\0\1
    --z35\0\2
    --z35\0\3
    --z35\0\4
    --z35\0\5
    --z35\0\6
    --z35\0\7
    --z35\0\8
    --z35\0\9
    --z35\0\10
    --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,
);
endchar;

beginchar (36, 12.045u#, 9.877u#, 0.000u#);
  "O5";
  z36\0\0s = (0.000u,9.877u);
  z36\0\0 = (0.000u,0.482u);
  z36\0\1 = (6.263u,0.482u);
  z36\0\2 = (6.263u,8.913u);
  z36\0\3 = (11.081u,8.913u);
  z36\0\4 = (11.081u,0.482u);
  z36\0\5 = (12.045u,0.482u);
  z36\0\6 = (12.045u,9.877u);
  z36\0\7 = (5.300u,9.877u);
  z36\0\8 = (5.300u,1.445u);
  z36\0\9 = (0.963u,1.445u);
  z36\0\10 = (0.963u,9.877u);
  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
    --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,
);
endchar;

beginchar (37, 6.745u#, 17.345u#, 0.000u#);
  "O6";
  z37\0\0s = (0.000u,17.345u);
  z37\0\0 = (0.000u,0.241u);
  z37\0\1 = (6.745u,0.241u);
  z37\0\2 = (6.745u,17.345u);
  z37\1\0s = (6.022u,16.622u);
  z37\1\0 = (6.022u,7.468u);
  z37\1\1 = (2.650u,7.468u);
  z37\1\2 = (2.650u,0.963u);
  z37\1\3 = (0.723u,0.963u);
  z37\1\4 = (0.723u,16.622u);
  z37\2\0s = (6.022u,6.986u);
  z37\2\0 = (6.022u,0.963u);
  z37\2\1 = (3.372u,0.963u);
  z37\2\2 = (3.372u,6.986u);
  fill_or_unfill z37\0\0s
    --z37\0\0
    --z37\0\1
    --z37\0\2
    --cycle;
  fill_or_unfill z37\1\0s
    --z37\1\0
    --z37\1\1
    --z37\1\2
    --z37\1\3
    --z37\1\4
    --cycle;
  fill_or_unfill z37\2\0s
    --z37\2\0
    --z37\2\1
    --z37\2\2
    --cycle;
  proof_labels (
    37\0\0,
    37\0\1,
    37\0\2,
    37\0\3,
    37\1\0,
    37\1\1,
    37\1\2,
    37\1\3,
    37\1\4,
    37\1\5,
    37\2\0,
    37\2\1,
    37\2\2,
    37\2\3,
);
endchar;

beginchar (38, 6.745u#, 17.345u#, 0.000u#);
  "O7";
  z38\0\0s = (0.000u,17.345u);
  z38\0\0 = (0.000u,0.241u);
  z38\0\1 = (6.745u,0.241u);
  z38\0\2 = (6.745u,17.345u);
  z38\1\0s = (6.022u,16.622u);
  z38\1\0 = (6.022u,13.731u);
  z38\1\1c1 = (3.043u,15.546u);
  z38\1\1c2 = (3.667u,14.900u);
  z38\1\1 = (0.723u,13.972u);
  z38\1\2 = (0.723u,16.622u);
  z38\2\0s = (5.300u,13.009u);
  z38\2\0 = (1.445u,13.009u);
  z38\2\1c1 = (2.380u,14.843u);
  z38\2\1c2 = (4.365u,14.843u);
  z38\3\0s = (6.022u,12.286u);
  z38\3\0 = (6.022u,7.468u);
  z38\3\1 = (2.650u,7.468u);
  z38\3\2 = (2.650u,0.963u);
  z38\3\3 = (0.723u,0.963u);
  z38\3\4 = (0.723u,12.286u);
  z38\4\0s = (6.022u,6.745u);
  z38\4\0 = (6.022u,0.963u);
  z38\4\1 = (3.372u,0.963u);
  z38\4\2 = (3.372u,6.745u);
  fill_or_unfill z38\0\0s
    --z38\0\0
    --z38\0\1
    --z38\0\2
    --cycle;
  fill_or_unfill z38\1\0s
    --z38\1\0
    ..controls z38\1\1c1 and z38\1\1c2..z38\1\1
    --z38\1\2
    --cycle;
  fill_or_unfill z38\2\0s
    --z38\2\0
    ..controls z38\2\1c1 and z38\2\1c2..cycle;
  fill_or_unfill z38\3\0s
    --z38\3\0
    --z38\3\1
    --z38\3\2
    --z38\3\3
    --z38\3\4
    --cycle;
  fill_or_unfill z38\4\0s
    --z38\4\0
    --z38\4\1
    --z38\4\2
    --cycle;
  proof_labels (
    38\0\0,
    38\0\1,
    38\0\2,
    38\0\3,
    38\1\0,
    38\1\1,
    38\1\2,
    38\1\3,
    38\2\0,
    38\2\1,
    38\3\0,
    38\3\1,
    38\3\2,
    38\3\3,
    38\3\4,
    38\3\5,
    38\4\0,
    38\4\1,
    38\4\2,
    38\4\3,
);
endchar;

beginchar (39, 17.826u#, 17.826u#, 0.000u#);
  "O8";
  z39\0\0s = (5.541u,17.826u);
  z39\0\0c1 = (5.541u,16.782u);
  z39\0\0c2 = (5.856u,11.222u);
  z39\0\0 = (4.983u,10.949u);
  z39\0\1c1 = (4.323u,10.743u);
  z39\0\1c2 = (3.742u,11.660u);
  z39\0\1 = (2.891u,11.505u);
  z39\0\2 = (0.000u,10.118u);
  z39\0\3 = (3.372u,8.264u);
  z39\0\4 = (5.300u,9.154u);
  z39\0\5 = (5.300u,0.723u);
  z39\0\6 = (12.527u,0.723u);
  z39\0\7 = (12.527u,8.672u);
  z39\0\8c1 = (13.492u,8.672u);
  z39\0\8c2 = (15.803u,8.566u);
  z39\0\8 = (16.618u,8.809u);
  z39\0\9c1 = (17.815u,9.168u);
  z39\0\9c2 = (18.152u,10.251u);
  z39\0\9 = (16.849u,10.777u);
  z39\0\10c1 = (15.754u,11.219u);
  z39\0\10c2 = (13.741u,11.081u);
  z39\0\10 = (12.527u,11.081u);
  z39\0\11 = (12.527u,17.826u);
  z39\1\0s = (11.563u,16.863u);
  z39\1\0 = (11.563u,11.081u);
  z39\1\1 = (6.504u,10.600u);
  z39\1\2 = (6.263u,16.863u);
  z39\2\0s = (6.986u,12.768u);
  z39\2\0 = (11.081u,12.768u);
  z39\2\1c1 = (10.637u,15.506u);
  z39\2\1c2 = (7.228u,15.753u);
  z39\3\0s = (4.095u,10.118u);
  z39\3\0c1 = (3.362u,9.285u);
  z39\3\0c2 = (3.203u,9.239u);
  z39\3\0 = (2.168u,9.636u);
  z39\3\1 = (2.168u,10.118u);
  z39\4\0s = (11.563u,10.359u);
  z39\4\0 = (11.563u,9.395u);
  z39\4\1 = (8.191u,9.877u);
  z39\5\0s = (16.863u,9.877u);
  z39\5\0 = (12.527u,9.395u);
  z39\5\1 = (12.527u,10.359u);
  z39\6\0s = (11.563u,8.672u);
  z39\6\0 = (11.563u,7.468u);
  z39\6\1 = (7.950u,7.468u);
  z39\6\2 = (7.950u,1.686u);
  z39\6\3 = (6.263u,1.686u);
  z39\6\4 = (6.263u,9.154u);
  z39\7\0s = (11.563u,6.745u);
  z39\7\0 = (11.563u,1.686u);
  z39\7\1 = (8.672u,1.686u);
  z39\7\2 = (8.672u,6.745u);
  fill_or_unfill z39\0\0s
    ..controls z39\0\0c1 and z39\0\0c2..z39\0\0
    ..controls z39\0\1c1 and z39\0\1c2..z39\0\1
    --z39\0\2
    --z39\0\3
    --z39\0\4
    --z39\0\5
    --z39\0\6
    --z39\0\7
    ..controls z39\0\8c1 and z39\0\8c2..z39\0\8
    ..controls z39\0\9c1 and z39\0\9c2..z39\0\9
    ..controls z39\0\10c1 and z39\0\10c2..z39\0\10
    --z39\0\11
    --cycle;
  fill_or_unfill z39\1\0s
    --z39\1\0
    --z39\1\1
    --z39\1\2
    --cycle;
  fill_or_unfill z39\2\0s
    --z39\2\0
    ..controls z39\2\1c1 and z39\2\1c2..cycle;
  fill_or_unfill z39\3\0s
    ..controls z39\3\0c1 and z39\3\0c2..z39\3\0
    --z39\3\1
    --cycle;
  fill_or_unfill z39\4\0s
    --z39\4\0
    --z39\4\1
    --cycle;
  fill_or_unfill z39\5\0s
    --z39\5\0
    --z39\5\1
    --cycle;
  fill_or_unfill z39\6\0s
    --z39\6\0
    --z39\6\1
    --z39\6\2
    --z39\6\3
    --z39\6\4
    --cycle;
  fill_or_unfill z39\7\0s
    --z39\7\0
    --z39\7\1
    --z39\7\2
    --cycle;
  proof_labels (
    39\0\0,
    39\0\1,
    39\0\2,
    39\0\3,
    39\0\4,
    39\0\5,
    39\0\6,
    39\0\7,
    39\0\8,
    39\0\9,
    39\0\10,
    39\0\11,
    39\0\12,
    39\1\0,
    39\1\1,
    39\1\2,
    39\1\3,
    39\2\0,
    39\2\1,
    39\3\0,
    39\3\1,
    39\3\2,
    39\4\0,
    39\4\1,
    39\4\2,
    39\5\0,
    39\5\1,
    39\5\2,
    39\6\0,
    39\6\1,
    39\6\2,
    39\6\3,
    39\6\4,
    39\6\5,
    39\7\0,
    39\7\1,
    39\7\2,
    39\7\3,
);
endchar;

beginchar (40, 16.863u#, 17.826u#, 0.000u#);
  "O9";
  z40\0\0s = (0.000u,17.826u);
  z40\0\0c1 = (0.401u,14.065u);
  z40\0\0c2 = (4.324u,13.531u);
  z40\0\0 = (5.053u,12.427u);
  z40\0\1c1 = (5.356u,11.969u);
  z40\0\1c2 = (5.299u,11.136u);
  z40\0\1 = (5.300u,10.600u);
  z40\0\2 = (5.300u,0.482u);
  z40\0\3 = (11.564u,0.482u);
  z40\0\4 = (11.564u,10.600u);
  z40\0\5c1 = (11.613u,14.151u);
  z40\0\5c2 = (16.713u,13.410u);
  z40\0\5 = (16.863u,17.826u);
  z40\1\0s = (15.658u,16.863u);
  z40\1\0c1 = (13.116u,11.490u);
  z40\1\0c2 = (4.029u,12.070u);
  z40\1\0 = (1.204u,16.863u);
  z40\2\0s = (10.840u,12.286u);
  z40\2\0 = (10.840u,10.118u);
  z40\2\1c1 = (8.607u,11.585u);
  z40\2\1c2 = (8.622u,11.654u);
  z40\2\1 = (6.263u,10.359u);
  z40\2\2 = (6.263u,12.286u);
  z40\3\0s = (10.840u,9.154u);
  z40\3\0 = (10.840u,7.227u);
  z40\3\1 = (7.709u,7.227u);
  z40\3\2 = (7.709u,1.445u);
  z40\3\3 = (6.263u,1.445u);
  z40\3\4 = (6.263u,9.154u);
  z40\4\0s = (10.840u,6.263u);
  z40\4\0 = (10.840u,1.445u);
  z40\4\1 = (8.672u,1.445u);
  z40\4\2 = (8.672u,6.263u);
  fill_or_unfill z40\0\0s
    ..controls z40\0\0c1 and z40\0\0c2..z40\0\0
    ..controls z40\0\1c1 and z40\0\1c2..z40\0\1
    --z40\0\2
    --z40\0\3
    --z40\0\4
    ..controls z40\0\5c1 and z40\0\5c2..z40\0\5
    --cycle;
  fill_or_unfill z40\1\0s
    ..controls z40\1\0c1 and z40\1\0c2..z40\1\0
    --cycle;
  fill_or_unfill z40\2\0s
    --z40\2\0
    ..controls z40\2\1c1 and z40\2\1c2..z40\2\1
    --z40\2\2
    --cycle;
  fill_or_unfill z40\3\0s
    --z40\3\0
    --z40\3\1
    --z40\3\2
    --z40\3\3
    --z40\3\4
    --cycle;
  fill_or_unfill z40\4\0s
    --z40\4\0
    --z40\4\1
    --z40\4\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\1\0,
    40\1\1,
    40\2\0,
    40\2\1,
    40\2\2,
    40\2\3,
    40\3\0,
    40\3\1,
    40\3\2,
    40\3\3,
    40\3\4,
    40\3\5,
    40\4\0,
    40\4\1,
    40\4\2,
    40\4\3,
);
endchar;

beginchar (41, 17.345u#, 17.586u#, 0.000u#);
  "O10";
  z41\0\0s = (0.000u,17.586u);
  z41\0\0 = (0.000u,0.241u);
  z41\0\1 = (17.345u,0.241u);
  z41\0\2 = (17.345u,17.586u);
  z41\1\0s = (12.045u,16.863u);
  z41\1\0 = (12.045u,12.527u);
  z41\1\1 = (16.381u,12.527u);
  z41\1\2 = (16.381u,1.445u);
  z41\1\3 = (14.213u,1.445u);
  z41\1\4c1 = (15.032u,2.713u);
  z41\1\4c2 = (15.212u,2.729u);
  z41\1\4 = (14.454u,4.095u);
  z41\1\5 = (15.899u,3.854u);
  z41\1\6 = (7.851u,13.592u);
  z41\1\7c1 = (7.393u,14.219u);
  z41\1\7c2 = (7.410u,15.004u);
  z41\1\7 = (6.883u,15.605u);
  z41\1\8c1 = (6.482u,16.061u);
  z41\1\8c2 = (5.899u,16.368u);
  z41\1\8 = (5.300u,16.453u);
  z41\1\9c1 = (3.783u,16.670u);
  z41\1\9c2 = (2.593u,15.885u);
  z41\1\9 = (2.168u,14.454u);
  z41\1\10 = (3.132u,14.695u);
  z41\1\11c1 = (3.627u,13.510u);
  z41\1\11c2 = (3.482u,12.695u);
  z41\1\11 = (3.778u,11.563u);
  z41\1\12c1 = (4.214u,9.892u);
  z41\1\12c2 = (6.819u,5.178u);
  z41\1\12 = (5.156u,3.550u);
  z41\1\13c1 = (4.140u,2.557u);
  z41\1\13c2 = (2.978u,3.990u);
  z41\1\13 = (1.445u,2.168u);
  z41\1\14 = (10.600u,2.168u);
  z41\1\15c1 = (9.545u,3.518u);
  z41\1\15c2 = (9.258u,3.251u);
  z41\1\15 = (7.709u,3.132u);
  z41\1\16 = (7.709u,4.336u);
  z41\1\17 = (9.154u,3.854u);
  z41\1\18 = (9.636u,5.781u);
  z41\1\19 = (13.009u,1.445u);
  z41\1\20 = (0.963u,1.445u);
  z41\1\21 = (0.963u,16.863u);
  z41\2\0s = (16.622u,16.863u);
  z41\2\0 = (16.622u,13.249u);
  z41\2\1 = (12.768u,13.249u);
  z41\2\2 = (12.768u,16.863u);
  z41\3\0s = (5.781u,14.695u);
  z41\3\0 = (4.336u,13.731u);
  z41\3\1c1 = (3.309u,15.957u);
  z41\3\1c2 = (4.960u,16.529u);
  z41\4\0s = (6.745u,14.454u);
  z41\4\0 = (13.009u,6.022u);
  z41\4\1c1 = (9.757u,6.686u);
  z41\4\1c2 = (5.019u,8.693u);
  z41\4\1 = (4.336u,12.286u);
  z41\4\2 = (7.227u,12.286u);
  z41\4\3 = (4.577u,13.731u);
  z41\4\4 = (6.263u,14.454u);
  z41\5\0s = (6.986u,7.709u);
  z41\5\0 = (7.924u,7.196u);
  z41\5\1c1 = (10.749u,5.153u);
  z41\5\1c2 = (6.269u,4.101u);
  z41\6\0s = (6.504u,6.263u);
  z41\6\0 = (6.745u,5.300u);
  z41\7\0s = (14.454u,3.132u);
  z41\7\0 = (14.454u,2.650u);
  z41\7\1c1 = (12.881u,2.519u);
  z41\7\1c2 = (11.977u,4.300u);
  z41\7\1 = (11.322u,5.541u);
  z41\8\0s = (6.504u,4.336u);
  z41\8\0 = (6.986u,3.132u);
  fill_or_unfill z41\0\0s
    --z41\0\0
    --z41\0\1
    --z41\0\2
    --cycle;
  fill_or_unfill z41\1\0s
    --z41\1\0
    --z41\1\1
    --z41\1\2
    --z41\1\3
    ..controls z41\1\4c1 and z41\1\4c2..z41\1\4
    --z41\1\5
    --z41\1\6
    ..controls z41\1\7c1 and z41\1\7c2..z41\1\7
    ..controls z41\1\8c1 and z41\1\8c2..z41\1\8
    ..controls z41\1\9c1 and z41\1\9c2..z41\1\9
    --z41\1\10
    ..controls z41\1\11c1 and z41\1\11c2..z41\1\11
    ..controls z41\1\12c1 and z41\1\12c2..z41\1\12
    ..controls z41\1\13c1 and z41\1\13c2..z41\1\13
    --z41\1\14
    ..controls z41\1\15c1 and z41\1\15c2..z41\1\15
    --z41\1\16
    --z41\1\17
    --z41\1\18
    --z41\1\19
    --z41\1\20
    --z41\1\21
    --cycle;
  fill_or_unfill z41\2\0s
    --z41\2\0
    --z41\2\1
    --z41\2\2
    --cycle;
  fill_or_unfill z41\3\0s
    --z41\3\0
    ..controls z41\3\1c1 and z41\3\1c2..cycle;
  fill_or_unfill z41\4\0s
    --z41\4\0
    ..controls z41\4\1c1 and z41\4\1c2..z41\4\1
    --z41\4\2
    --z41\4\3
    --z41\4\4
    --cycle;
  fill_or_unfill z41\5\0s
    --z41\5\0
    ..controls z41\5\1c1 and z41\5\1c2..cycle;
  fill_or_unfill z41\6\0s
    --z41\6\0
    --cycle;
  fill_or_unfill z41\7\0s
    --z41\7\0
    ..controls z41\7\1c1 and z41\7\1c2..z41\7\1
    --cycle;
  fill_or_unfill z41\8\0s
    --z41\8\0
    --cycle;
  proof_labels (
    41\0\0,
    41\0\1,
    41\0\2,
    41\0\3,
    41\1\0,
    41\1\1,
    41\1\2,
    41\1\3,
    41\1\4,
    41\1\5,
    41\1\6,
    41\1\7,
    41\1\8,
    41\1\9,
    41\1\10,
    41\1\11,
    41\1\12,
    41\1\13,
    41\1\14,
    41\1\15,
    41\1\16,
    41\1\17,
    41\1\18,
    41\1\19,
    41\1\20,
    41\1\21,
    41\1\22,
    41\2\0,
    41\2\1,
    41\2\2,
    41\2\3,
    41\3\0,
    41\3\1,
    41\4\0,
    41\4\1,
    41\4\2,
    41\4\3,
    41\4\4,
    41\4\5,
    41\5\0,
    41\5\1,
    41\6\0,
    41\6\1,
    41\7\0,
    41\7\1,
    41\7\2,
    41\8\0,
    41\8\1,
);
endchar;

beginchar (42, 5.059u#, 17.345u#, 0.000u#);
  "O11";
  z42\0\0s = (0.482u,17.345u);
  z42\0\0 = (0.000u,9.877u);
  z42\0\1 = (0.000u,0.241u);
  z42\0\2 = (5.059u,0.241u);
  z42\0\3 = (5.059u,12.286u);
  z42\0\4 = (4.818u,17.104u);
  z42\0\5 = (4.095u,16.381u);
  z42\0\6 = (3.854u,17.104u);
  z42\0\7 = (3.132u,17.104u);
  z42\0\8 = (3.132u,16.381u);
  z42\0\9 = (2.409u,17.345u);
  z42\0\10 = (1.927u,17.345u);
  z42\0\11 = (1.686u,16.622u);
  z42\0\12 = (1.204u,16.622u);
  z42\0\13 = (0.963u,17.345u);
  z42\1\0s = (4.577u,13.972u);
  z42\1\0 = (0.963u,13.731u);
  z42\2\0s = (3.854u,13.009u);
  z42\2\0 = (0.963u,8.913u);
  z42\2\1 = (0.963u,13.009u);
  z42\3\0s = (4.336u,12.045u);
  z42\3\0 = (4.336u,7.468u);
  z42\3\1 = (1.445u,7.468u);
  z42\4\0s = (4.336u,6.745u);
  z42\4\0 = (4.336u,6.263u);
  z42\4\1 = (0.723u,6.263u);
  z42\4\2 = (0.723u,6.745u);
  z42\5\0s = (4.336u,5.300u);
  z42\5\0 = (4.336u,0.963u);
  z42\5\1 = (0.723u,0.963u);
  z42\5\2 = (0.723u,5.300u);
  fill_or_unfill z42\0\0s
    --z42\0\0
    --z42\0\1
    --z42\0\2
    --z42\0\3
    --z42\0\4
    --z42\0\5
    --z42\0\6
    --z42\0\7
    --z42\0\8
    --z42\0\9
    --z42\0\10
    --z42\0\11
    --z42\0\12
    --z42\0\13
    --cycle;
  fill_or_unfill z42\1\0s
    --z42\1\0
    --cycle;
  fill_or_unfill z42\2\0s
    --z42\2\0
    --z42\2\1
    --cycle;
  fill_or_unfill z42\3\0s
    --z42\3\0
    --z42\3\1
    --cycle;
  fill_or_unfill z42\4\0s
    --z42\4\0
    --z42\4\1
    --z42\4\2
    --cycle;
  fill_or_unfill z42\5\0s
    --z42\5\0
    --z42\5\1
    --z42\5\2
    --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\1\0,
    42\1\1,
    42\2\0,
    42\2\1,
    42\2\2,
    42\3\0,
    42\3\1,
    42\3\2,
    42\4\0,
    42\4\1,
    42\4\2,
    42\4\3,
    42\5\0,
    42\5\1,
    42\5\2,
    42\5\3,
);
endchar;

beginchar (43, 17.345u#, 18.067u#, 0.000u#);
  "O12";
  z43\0\0s = (6.022u,10.118u);
  z43\0\0 = (1.204u,11.081u);
  z43\0\1 = (1.204u,10.118u);
  z43\0\2 = (4.577u,9.877u);
  z43\0\3 = (0.000u,10.118u);
  z43\0\4c1 = (0.357u,8.048u);
  z43\0\4c2 = (4.290u,8.778u);
  z43\0\4 = (5.781u,9.154u);
  z43\0\5 = (6.022u,0.482u);
  z43\0\6 = (10.840u,0.482u);
  z43\0\7 = (10.840u,9.154u);
  z43\0\8 = (15.895u,8.952u);
  z43\0\9c1 = (17.566u,9.179u);
  z43\0\9c2 = (17.585u,13.641u);
  z43\0\9 = (16.588u,13.892u);
  z43\0\10c1 = (14.399u,14.443u);
  z43\0\10c2 = (15.584u,11.017u);
  z43\0\10 = (13.940u,10.295u);
  z43\0\11c1 = (13.337u,10.030u);
  z43\0\11c2 = (11.572u,10.118u);
  z43\0\11 = (10.840u,10.118u);
  z43\0\12 = (10.600u,18.067u);
  z43\0\13 = (7.468u,17.618u);
  z43\0\14 = (6.407u,17.618u);
  z43\1\0s = (10.118u,15.177u);
  z43\1\0 = (10.118u,14.454u);
  z43\1\1 = (6.745u,14.454u);
  z43\1\2 = (6.745u,15.177u);
  z43\2\0s = (9.877u,13.731u);
  z43\2\0c1 = (9.227u,12.399u);
  z43\2\0c2 = (8.330u,10.383u);
  z43\2\0 = (6.745u,10.118u);
  z43\2\1 = (6.745u,13.731u);
  z43\3\0s = (16.140u,13.249u);
  z43\3\0c1 = (16.771u,12.237u);
  z43\3\0c2 = (16.658u,10.070u);
  z43\3\0 = (15.417u,9.636u);
  z43\4\0s = (10.118u,12.527u);
  z43\4\0 = (10.118u,10.118u);
  z43\4\1 = (8.672u,10.118u);
  z43\5\0s = (10.118u,9.154u);
  z43\5\0 = (10.118u,8.191u);
  z43\5\1 = (6.745u,8.191u);
  z43\5\2 = (6.745u,9.154u);
  z43\6\0s = (10.118u,7.468u);
  z43\6\0 = (10.118u,6.745u);
  z43\6\1 = (6.745u,6.745u);
  z43\6\2 = (6.745u,7.468u);
  z43\7\0s = (10.118u,5.781u);
  z43\7\0 = (10.118u,1.686u);
  z43\7\1 = (6.745u,1.686u);
  z43\7\2 = (6.745u,5.781u);
  fill_or_unfill z43\0\0s
    --z43\0\0
    --z43\0\1
    --z43\0\2
    --z43\0\3
    ..controls z43\0\4c1 and z43\0\4c2..z43\0\4
    --z43\0\5
    --z43\0\6
    --z43\0\7
    --z43\0\8
    ..controls z43\0\9c1 and z43\0\9c2..z43\0\9
    ..controls z43\0\10c1 and z43\0\10c2..z43\0\10
    ..controls z43\0\11c1 and z43\0\11c2..z43\0\11
    --z43\0\12
    --z43\0\13
    --z43\0\14
    --cycle;
  fill_or_unfill z43\1\0s
    --z43\1\0
    --z43\1\1
    --z43\1\2
    --cycle;
  fill_or_unfill z43\2\0s
    ..controls z43\2\0c1 and z43\2\0c2..z43\2\0
    --z43\2\1
    --cycle;
  fill_or_unfill z43\3\0s
    ..controls z43\3\0c1 and z43\3\0c2..z43\3\0
    --cycle;
  fill_or_unfill z43\4\0s
    --z43\4\0
    --z43\4\1
    --cycle;
  fill_or_unfill z43\5\0s
    --z43\5\0
    --z43\5\1
    --z43\5\2
    --cycle;
  fill_or_unfill z43\6\0s
    --z43\6\0
    --z43\6\1
    --z43\6\2
    --cycle;
  fill_or_unfill z43\7\0s
    --z43\7\0
    --z43\7\1
    --z43\7\2
    --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\1\0,
    43\1\1,
    43\1\2,
    43\1\3,
    43\2\0,
    43\2\1,
    43\2\2,
    43\3\0,
    43\3\1,
    43\4\0,
    43\4\1,
    43\4\2,
    43\5\0,
    43\5\1,
    43\5\2,
    43\5\3,
    43\6\0,
    43\6\1,
    43\6\2,
    43\6\3,
    43\7\0,
    43\7\1,
    43\7\2,
    43\7\3,
);
endchar;

beginchar (44, 17.826u#, 18.067u#, 0.000u#);
  "O13";
  z44\0\0s = (3.613u,18.067u);
  z44\0\0c1 = (2.544u,15.760u);
  z44\0\0c2 = (3.788u,15.187u);
  z44\0\0 = (0.482u,15.177u);
  z44\0\1 = (2.650u,14.454u);
  z44\0\2 = (2.650u,13.731u);
  z44\0\3 = (0.241u,13.490u);
  z44\0\4 = (2.650u,12.768u);
  z44\0\5 = (2.650u,12.045u);
  z44\0\6c1 = (1.604u,12.035u);
  z44\0\6c2 = (0.677u,12.199u);
  z44\0\6 = (0.241u,11.081u);
  z44\0\7 = (2.650u,11.081u);
  z44\0\8 = (0.241u,10.118u);
  z44\0\9 = (2.650u,9.395u);
  z44\0\10 = (2.650u,8.672u);
  z44\0\11 = (0.241u,8.431u);
  z44\0\12 = (2.650u,7.468u);
  z44\0\13 = (2.650u,6.986u);
  z44\0\14 = (0.241u,6.022u);
  z44\0\15 = (2.650u,5.781u);
  z44\0\16 = (0.241u,4.818u);
  z44\0\17 = (2.409u,4.336u);
  z44\0\18 = (2.650u,4.095u);
  z44\0\19 = (2.650u,3.613u);
  z44\0\20 = (0.000u,3.132u);
  z44\0\21 = (2.650u,1.927u);
  z44\0\22 = (0.241u,1.686u);
  z44\0\23c1 = (0.725u,0.305u);
  z44\0\23c2 = (2.390u,0.723u);
  z44\0\23 = (3.613u,0.723u);
  z44\0\24 = (3.613u,14.695u);
  z44\0\25 = (16.863u,14.695u);
  z44\0\26 = (16.863u,1.445u);
  z44\0\27 = (10.600u,1.445u);
  z44\0\28 = (10.600u,12.286u);
  z44\0\29 = (7.709u,12.045u);
  z44\0\30 = (7.709u,11.563u);
  z44\0\31 = (9.877u,11.322u);
  z44\0\32 = (9.877u,10.840u);
  z44\0\33 = (7.709u,10.600u);
  z44\0\34 = (7.709u,9.877u);
  z44\0\35 = (9.877u,9.877u);
  z44\0\36 = (9.877u,9.154u);
  z44\0\37 = (7.709u,8.913u);
  z44\0\38 = (7.709u,8.431u);
  z44\0\39 = (9.877u,8.191u);
  z44\0\40 = (9.877u,7.709u);
  z44\0\41 = (7.709u,7.709u);
  z44\0\42c1 = (8.119u,6.536u);
  z44\0\42c2 = (8.785u,6.749u);
  z44\0\42 = (9.877u,6.745u);
  z44\0\43 = (9.877u,6.263u);
  z44\0\44c1 = (8.785u,6.259u);
  z44\0\44c2 = (8.119u,6.472u);
  z44\0\44 = (7.709u,5.300u);
  z44\0\45 = (9.877u,4.577u);
  z44\0\46 = (7.468u,4.336u);
  z44\0\47 = (7.468u,3.854u);
  z44\0\48 = (9.877u,3.613u);
  z44\0\49 = (9.877u,3.132u);
  z44\0\50 = (7.468u,2.409u);
  z44\0\51 = (9.877u,2.168u);
  z44\0\52 = (9.877u,1.686u);
  z44\0\53 = (7.468u,1.204u);
  z44\0\54c1 = (8.720u,-0.031u);
  z44\0\54c2 = (15.746u,0.482u);
  z44\0\54 = (17.826u,0.482u);
  z44\0\55 = (17.445u,17.270u);
  z44\0\56 = (16.622u,17.826u);
  z44\0\57 = (15.899u,15.417u);
  z44\0\58 = (15.658u,18.067u);
  z44\0\59 = (14.695u,15.417u);
  z44\0\60c1 = (14.376u,16.536u);
  z44\0\60c2 = (14.731u,17.392u);
  z44\0\60 = (13.490u,17.826u);
  z44\0\61 = (13.249u,15.417u);
  z44\0\62 = (12.768u,15.417u);
  z44\0\63c1 = (12.767u,16.548u);
  z44\0\63c2 = (13.039u,17.394u);
  z44\0\63 = (11.804u,17.826u);
  z44\0\64 = (11.563u,15.417u);
  z44\0\65 = (11.081u,15.417u);
  z44\0\66 = (10.840u,15.658u);
  z44\0\67c1 = (11.152u,16.771u);
  z44\0\67c2 = (11.198u,17.216u);
  z44\0\67 = (10.359u,18.067u);
  z44\0\68 = (9.877u,15.417u);
  z44\0\69 = (9.395u,15.417u);
  z44\0\70 = (9.154u,18.067u);
  z44\0\71 = (8.672u,18.067u);
  z44\0\72 = (7.468u,15.658u);
  z44\0\73 = (7.227u,18.067u);
  z44\0\74 = (6.745u,18.067u);
  z44\0\75 = (6.504u,15.417u);
  z44\0\76 = (6.022u,17.586u);
  z44\0\77c1 = (4.544u,17.782u);
  z44\0\77c2 = (4.846u,16.522u);
  z44\0\77 = (4.577u,15.417u);
  fill_or_unfill z44\0\0s
    ..controls z44\0\0c1 and z44\0\0c2..z44\0\0
    --z44\0\1
    --z44\0\2
    --z44\0\3
    --z44\0\4
    --z44\0\5
    ..controls z44\0\6c1 and z44\0\6c2..z44\0\6
    --z44\0\7
    --z44\0\8
    --z44\0\9
    --z44\0\10
    --z44\0\11
    --z44\0\12
    --z44\0\13
    --z44\0\14
    --z44\0\15
    --z44\0\16
    --z44\0\17
    --z44\0\18
    --z44\0\19
    --z44\0\20
    --z44\0\21
    --z44\0\22
    ..controls z44\0\23c1 and z44\0\23c2..z44\0\23
    --z44\0\24
    --z44\0\25
    --z44\0\26
    --z44\0\27
    --z44\0\28
    --z44\0\29
    --z44\0\30
    --z44\0\31
    --z44\0\32
    --z44\0\33
    --z44\0\34
    --z44\0\35
    --z44\0\36
    --z44\0\37
    --z44\0\38
    --z44\0\39
    --z44\0\40
    --z44\0\41
    ..controls z44\0\42c1 and z44\0\42c2..z44\0\42
    --z44\0\43
    ..controls z44\0\44c1 and z44\0\44c2..z44\0\44
    --z44\0\45
    --z44\0\46
    --z44\0\47
    --z44\0\48
    --z44\0\49
    --z44\0\50
    --z44\0\51
    --z44\0\52
    --z44\0\53
    ..controls z44\0\54c1 and z44\0\54c2..z44\0\54
    --z44\0\55
    --z44\0\56
    --z44\0\57
    --z44\0\58
    --z44\0\59
    ..controls z44\0\60c1 and z44\0\60c2..z44\0\60
    --z44\0\61
    --z44\0\62
    ..controls z44\0\63c1 and z44\0\63c2..z44\0\63
    --z44\0\64
    --z44\0\65
    --z44\0\66
    ..controls z44\0\67c1 and z44\0\67c2..z44\0\67
    --z44\0\68
    --z44\0\69
    --z44\0\70
    --z44\0\71
    --z44\0\72
    --z44\0\73
    --z44\0\74
    --z44\0\75
    --z44\0\76
    ..controls z44\0\77c1 and z44\0\77c2..z44\0\77
    --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\0\20,
    44\0\21,
    44\0\22,
    44\0\23,
    44\0\24,
    44\0\25,
    44\0\26,
    44\0\27,
    44\0\28,
    44\0\29,
    44\0\30,
    44\0\31,
    44\0\32,
    44\0\33,
    44\0\34,
    44\0\35,
    44\0\36,
    44\0\37,
    44\0\38,
    44\0\39,
    44\0\40,
    44\0\41,
    44\0\42,
    44\0\43,
    44\0\44,
    44\0\45,
    44\0\46,
    44\0\47,
    44\0\48,
    44\0\49,
    44\0\50,
    44\0\51,
    44\0\52,
    44\0\53,
    44\0\54,
    44\0\55,
    44\0\56,
    44\0\57,
    44\0\58,
    44\0\59,
    44\0\60,
    44\0\61,
    44\0\62,
    44\0\63,
    44\0\64,
    44\0\65,
    44\0\66,
    44\0\67,
    44\0\68,
    44\0\69,
    44\0\70,
    44\0\71,
    44\0\72,
    44\0\73,
    44\0\74,
    44\0\75,
    44\0\76,
    44\0\77,
    44\0\78,
);
endchar;

beginchar (45, 15.177u#, 14.454u#, 0.000u#);
  "O14";
  z45\0\0s = (3.372u,14.454u);
  z45\0\0 = (3.132u,12.286u);
  z45\0\1 = (0.241u,11.322u);
  z45\0\2 = (2.409u,10.840u);
  z45\0\3 = (2.409u,10.118u);
  z45\0\4 = (0.241u,9.395u);
  z45\0\5 = (2.409u,9.395u);
  z45\0\6 = (2.409u,8.431u);
  z45\0\7 = (0.000u,7.950u);
  z45\0\8 = (2.409u,7.468u);
  z45\0\9 = (2.409u,6.745u);
  z45\0\10 = (0.241u,6.022u);
  z45\0\11 = (2.409u,6.022u);
  z45\0\12 = (2.409u,5.059u);
  z45\0\13 = (0.000u,4.336u);
  z45\0\14 = (2.409u,4.336u);
  z45\0\15 = (2.409u,3.372u);
  z45\0\16 = (0.000u,2.650u);
  z45\0\17 = (2.409u,2.409u);
  z45\0\18 = (2.409u,1.686u);
  z45\0\19 = (0.000u,1.445u);
  z45\0\20 = (3.132u,0.241u);
  z45\0\21 = (3.132u,11.563u);
  z45\0\22 = (15.177u,11.563u);
  z45\0\23 = (15.177u,12.286u);
  z45\0\24 = (13.972u,12.286u);
  z45\0\25 = (13.731u,14.454u);
  z45\0\26 = (13.009u,12.286u);
  z45\0\27 = (12.527u,12.286u);
  z45\0\28 = (12.286u,14.454u);
  z45\0\29 = (11.563u,12.286u);
  z45\0\30 = (10.600u,12.286u);
  z45\0\31 = (10.600u,14.454u);
  z45\0\32 = (9.395u,13.490u);
  z45\0\33 = (9.877u,12.286u);
  z45\0\34 = (8.913u,14.454u);
  z45\0\35 = (8.431u,14.454u);
  z45\0\36 = (7.227u,12.286u);
  z45\0\37 = (6.986u,14.454u);
  z45\0\38 = (5.541u,12.286u);
  z45\0\39 = (5.541u,14.454u);
  z45\0\40 = (5.059u,14.454u);
  z45\0\41 = (4.818u,12.286u);
  z45\0\42 = (4.095u,12.286u);
  z45\0\43 = (3.854u,14.454u);
  fill_or_unfill z45\0\0s
    --z45\0\0
    --z45\0\1
    --z45\0\2
    --z45\0\3
    --z45\0\4
    --z45\0\5
    --z45\0\6
    --z45\0\7
    --z45\0\8
    --z45\0\9
    --z45\0\10
    --z45\0\11
    --z45\0\12
    --z45\0\13
    --z45\0\14
    --z45\0\15
    --z45\0\16
    --z45\0\17
    --z45\0\18
    --z45\0\19
    --z45\0\20
    --z45\0\21
    --z45\0\22
    --z45\0\23
    --z45\0\24
    --z45\0\25
    --z45\0\26
    --z45\0\27
    --z45\0\28
    --z45\0\29
    --z45\0\30
    --z45\0\31
    --z45\0\32
    --z45\0\33
    --z45\0\34
    --z45\0\35
    --z45\0\36
    --z45\0\37
    --z45\0\38
    --z45\0\39
    --z45\0\40
    --z45\0\41
    --z45\0\42
    --z45\0\43
    --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\0\24,
    45\0\25,
    45\0\26,
    45\0\27,
    45\0\28,
    45\0\29,
    45\0\30,
    45\0\31,
    45\0\32,
    45\0\33,
    45\0\34,
    45\0\35,
    45\0\36,
    45\0\37,
    45\0\38,
    45\0\39,
    45\0\40,
    45\0\41,
    45\0\42,
    45\0\43,
    45\0\44,
);
endchar;

beginchar (46, 17.586u#, 19.513u#, 0.000u#);
  "O15";
  z46\0\0s = (0.241u,1.445u);
  z46\0\0 = (4.577u,2.135u);
  z46\0\1c1 = (5.912u,2.171u);
  z46\0\1c2 = (7.599u,2.364u);
  z46\0\1 = (8.892u,2.135u);
  z46\0\2c1 = (9.563u,1.967u);
  z46\0\2c2 = (10.121u,1.466u);
  z46\0\2 = (10.830u,1.506u);
  z46\0\3c1 = (11.913u,1.567u);
  z46\0\3c2 = (11.887u,2.792u);
  z46\0\3 = (11.751u,3.604u);
  z46\0\4c1 = (11.585u,4.586u);
  z46\0\4c2 = (11.100u,5.184u);
  z46\0\4 = (11.082u,6.263u);
  z46\0\5 = (11.082u,12.045u);
  z46\0\6c1 = (11.080u,12.700u);
  z46\0\6c2 = (11.174u,14.543u);
  z46\0\6 = (9.948u,14.055u);
  z46\0\7c1 = (8.584u,13.511u);
  z46\0\7c2 = (10.144u,5.132u);
  z46\0\7 = (9.010u,3.998u);
  z46\0\8c1 = (8.616u,3.605u);
  z46\0\8c2 = (7.983u,3.624u);
  z46\0\8 = (7.468u,3.615u);
  z46\0\9c1 = (6.549u,3.598u);
  z46\0\9c2 = (3.333u,3.476u);
  z46\0\9 = (2.685u,3.860u);
  z46\0\10c1 = (1.434u,4.600u);
  z46\0\10c2 = (1.925u,12.043u);
  z46\0\10 = (1.927u,13.731u);
  z46\0\11c1 = (1.928u,14.581u);
  z46\0\11c2 = (1.878u,16.096u);
  z46\0\11 = (2.544u,16.719u);
  z46\0\12c1 = (3.292u,17.418u);
  z46\0\12c2 = (11.456u,17.107u);
  z46\0\12 = (13.009u,17.104u);
  z46\0\13c1 = (14.983u,17.100u);
  z46\0\13c2 = (15.403u,17.038u);
  z46\0\13 = (15.417u,14.936u);
  z46\0\14 = (15.417u,6.745u);
  z46\0\15 = (14.936u,1.445u);
  z46\0\16 = (17.586u,1.445u);
  z46\0\17 = (17.104u,6.263u);
  z46\0\18 = (17.104u,14.213u);
  z46\0\19 = (17.586u,19.272u);
  z46\0\20 = (13.249u,18.790u);
  z46\0\21 = (4.577u,18.790u);
  z46\0\22 = (0.246u,19.128u);
  z46\0\23 = (0.723u,13.972u);
  z46\0\24 = (0.723u,6.986u);
  z46\1\0s = (3.854u,15.658u);
  z46\1\0c1 = (3.854u,14.914u);
  z46\1\0c2 = (3.759u,11.885u);
  z46\1\0 = (3.998u,11.398u);
  z46\1\1c1 = (4.380u,10.620u);
  z46\1\1c2 = (6.947u,10.627u);
  z46\1\1 = (7.473u,11.225u);
  z46\1\2c1 = (7.985u,11.808u);
  z46\1\2c2 = (8.600u,14.803u);
  z46\1\2 = (8.672u,15.658u);
  z46\2\0s = (7.709u,14.936u);
  z46\2\0c1 = (7.574u,12.021u);
  z46\2\0c2 = (7.471u,11.563u);
  z46\2\0 = (4.577u,11.563u);
  z46\2\1 = (4.577u,14.936u);
  z46\3\0s = (5.301u,6.567u);
  z46\3\0c1 = (1.217u,4.361u);
  z46\3\0c2 = (6.799u,3.437u);
  z46\3\0 = (8.351u,4.239u);
  z46\3\1c1 = (9.365u,4.763u);
  z46\3\1c2 = (8.088u,7.234u);
  z46\4\0s = (7.950u,5.059u);
  z46\4\0 = (4.818u,4.818u);
  z46\4\1c1 = (5.383u,6.520u);
  z46\4\1c2 = (6.933u,6.127u);
  fill_or_unfill z46\0\0s
    --z46\0\0
    ..controls z46\0\1c1 and z46\0\1c2..z46\0\1
    ..controls z46\0\2c1 and z46\0\2c2..z46\0\2
    ..controls z46\0\3c1 and z46\0\3c2..z46\0\3
    ..controls z46\0\4c1 and z46\0\4c2..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
    ..controls z46\0\8c1 and z46\0\8c2..z46\0\8
    ..controls z46\0\9c1 and z46\0\9c2..z46\0\9
    ..controls z46\0\10c1 and z46\0\10c2..z46\0\10
    ..controls z46\0\11c1 and z46\0\11c2..z46\0\11
    ..controls z46\0\12c1 and z46\0\12c2..z46\0\12
    ..controls z46\0\13c1 and z46\0\13c2..z46\0\13
    --z46\0\14
    --z46\0\15
    --z46\0\16
    --z46\0\17
    --z46\0\18
    --z46\0\19
    --z46\0\20
    --z46\0\21
    --z46\0\22
    --z46\0\23
    --z46\0\24
    --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
    ..controls z46\1\2c1 and z46\1\2c2..z46\1\2
    --cycle;
  fill_or_unfill z46\2\0s
    ..controls z46\2\0c1 and z46\2\0c2..z46\2\0
    --z46\2\1
    --cycle;
  fill_or_unfill z46\3\0s
    ..controls z46\3\0c1 and z46\3\0c2..z46\3\0
    ..controls z46\3\1c1 and z46\3\1c2..cycle;
  fill_or_unfill z46\4\0s
    --z46\4\0
    ..controls z46\4\1c1 and z46\4\1c2..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\1\0,
    46\1\1,
    46\1\2,
    46\1\3,
    46\2\0,
    46\2\1,
    46\2\2,
    46\3\0,
    46\3\1,
    46\4\0,
    46\4\1,
);
endchar;

beginchar (47, 17.345u#, 13.009u#, 0.000u#);
  "O16";
  z47\0\0s = (0.482u,13.009u);
  z47\0\0 = (1.204u,9.395u);
  z47\0\1 = (0.000u,9.395u);
  z47\0\2 = (0.000u,2.891u);
  z47\0\3 = (1.204u,2.891u);
  z47\0\4 = (1.204u,1.204u);
  z47\0\5 = (15.899u,1.204u);
  z47\0\6 = (15.899u,3.132u);
  z47\0\7 = (17.345u,3.132u);
  z47\0\8 = (17.345u,9.395u);
  z47\0\9 = (16.381u,9.395u);
  z47\0\10 = (17.129u,12.231u);
  z47\0\11c1 = (16.929u,13.064u);
  z47\0\11c2 = (15.781u,12.493u);
  z47\0\11 = (15.457u,11.991u);
  z47\0\12c1 = (15.107u,11.302u);
  z47\0\12c2 = (15.383u,10.166u);
  z47\0\12 = (15.457u,9.395u);
  z47\0\13 = (13.731u,9.395u);
  z47\0\14 = (14.936u,12.768u);
  z47\0\15c1 = (12.439u,13.332u);
  z47\0\15c2 = (12.768u,11.077u);
  z47\0\15 = (12.768u,9.395u);
  z47\0\16 = (11.322u,9.395u);
  z47\0\17 = (12.286u,12.768u);
  z47\0\18c1 = (9.863u,13.177u);
  z47\0\18c2 = (10.291u,10.962u);
  z47\0\18 = (10.359u,9.395u);
  z47\0\19 = (8.913u,9.395u);
  z47\0\20 = (9.877u,13.009u);
  z47\0\21c1 = (7.530u,12.734u);
  z47\0\21c2 = (8.189u,11.198u);
  z47\0\21 = (8.191u,9.395u);
  z47\0\22 = (6.504u,9.636u);
  z47\0\23c1 = (6.970u,11.247u);
  z47\0\23c2 = (7.479u,12.651u);
  z47\0\23 = (5.300u,13.009u);
  z47\0\24 = (5.541u,9.395u);
  z47\0\25c1 = (2.752u,9.864u);
  z47\0\25c2 = (6.166u,13.451u);
  z47\0\25 = (2.891u,12.768u);
  z47\0\26 = (3.372u,9.395u);
  z47\0\27c1 = (0.505u,9.877u);
  z47\0\27c2 = (3.842u,12.285u);
  z47\1\0s = (16.622u,8.672u);
  z47\1\0 = (16.622u,4.095u);
  z47\1\1 = (15.899u,4.095u);
  z47\1\2 = (15.899u,8.191u);
  z47\1\3 = (1.204u,8.191u);
  z47\1\4 = (1.204u,4.095u);
  z47\1\5 = (0.482u,4.095u);
  z47\1\6 = (0.482u,8.672u);
  z47\2\0s = (15.177u,7.468u);
  z47\2\0 = (15.177u,2.168u);
  z47\2\1 = (1.686u,2.168u);
  z47\2\2 = (1.686u,7.468u);
  fill_or_unfill z47\0\0s
    --z47\0\0
    --z47\0\1
    --z47\0\2
    --z47\0\3
    --z47\0\4
    --z47\0\5
    --z47\0\6
    --z47\0\7
    --z47\0\8
    --z47\0\9
    --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
    --z47\0\13
    --z47\0\14
    ..controls z47\0\15c1 and z47\0\15c2..z47\0\15
    --z47\0\16
    --z47\0\17
    ..controls z47\0\18c1 and z47\0\18c2..z47\0\18
    --z47\0\19
    --z47\0\20
    ..controls z47\0\21c1 and z47\0\21c2..z47\0\21
    --z47\0\22
    ..controls z47\0\23c1 and z47\0\23c2..z47\0\23
    --z47\0\24
    ..controls z47\0\25c1 and z47\0\25c2..z47\0\25
    --z47\0\26
    ..controls z47\0\27c1 and z47\0\27c2..cycle;
  fill_or_unfill z47\1\0s
    --z47\1\0
    --z47\1\1
    --z47\1\2
    --z47\1\3
    --z47\1\4
    --z47\1\5
    --z47\1\6
    --cycle;
  fill_or_unfill z47\2\0s
    --z47\2\0
    --z47\2\1
    --z47\2\2
    --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\0\15,
    47\0\16,
    47\0\17,
    47\0\18,
    47\0\19,
    47\0\20,
    47\0\21,
    47\0\22,
    47\0\23,
    47\0\24,
    47\0\25,
    47\0\26,
    47\0\27,
    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\2\0,
    47\2\1,
    47\2\2,
    47\2\3,
);
endchar;

beginchar (48, 14.454u#, 12.768u#, 0.000u#);
  "O17";
  z48\0\0s = (0.723u,12.768u);
  z48\0\0 = (0.723u,10.118u);
  z48\0\1 = (0.000u,10.118u);
  z48\0\2 = (0.000u,1.204u);
  z48\0\3c1 = (0.713u,1.204u);
  z48\0\3c2 = (3.545u,1.113u);
  z48\0\3 = (4.005u,1.349u);
  z48\0\4c1 = (4.628u,1.652u);
  z48\0\4c2 = (4.576u,2.458u);
  z48\0\4 = (4.005u,2.753u);
  z48\0\5c1 = (3.594u,2.953u);
  z48\0\5c2 = (2.190u,2.891u);
  z48\0\5 = (1.686u,2.891u);
  z48\0\6 = (1.686u,8.191u);
  z48\0\7 = (12.768u,8.191u);
  z48\0\8 = (12.768u,2.891u);
  z48\0\9c1 = (12.243u,2.891u);
  z48\0\9c2 = (10.855u,2.953u);
  z48\0\9 = (10.434u,2.747u);
  z48\0\10c1 = (9.776u,2.423u);
  z48\0\10c2 = (9.776u,1.431u);
  z48\0\10 = (10.434u,1.108u);
  z48\0\11c1 = (10.904u,0.876u);
  z48\0\11c2 = (13.743u,0.963u);
  z48\0\11 = (14.416u,0.963u);
  z48\0\12 = (14.416u,9.561u);
  z48\0\13 = (13.724u,10.118u);
  z48\0\14 = (13.724u,11.768u);
  z48\0\15 = (12.506u,11.974u);
  z48\0\16 = (12.506u,10.118u);
  z48\0\17 = (11.804u,10.118u);
  z48\0\18c1 = (11.955u,11.540u);
  z48\0\18c2 = (11.930u,12.658u);
  z48\0\18 = (10.118u,12.286u);
  z48\0\19 = (10.600u,10.118u);
  z48\0\20 = (9.636u,10.118u);
  z48\0\21c1 = (9.948u,11.457u);
  z48\0\21c2 = (9.938u,12.651u);
  z48\0\21 = (8.191u,12.286u);
  z48\0\22 = (8.672u,10.118u);
  z48\0\23 = (7.709u,10.118u);
  z48\0\24c1 = (7.985u,11.692u);
  z48\0\24c2 = (8.079u,12.314u);
  z48\0\24 = (6.263u,12.527u);
  z48\0\25c1 = (6.537u,11.356u);
  z48\0\25c2 = (7.073u,10.848u);
  z48\0\25 = (5.781u,10.118u);
  z48\0\26c1 = (6.153u,11.670u);
  z48\0\26c2 = (6.095u,12.383u);
  z48\0\26 = (4.336u,12.527u);
  z48\0\27 = (4.577u,10.118u);
  z48\0\28 = (3.854u,10.118u);
  z48\0\29c1 = (3.853u,11.570u);
  z48\0\29c2 = (4.143u,12.382u);
  z48\0\29 = (2.409u,12.527u);
  z48\0\30 = (2.891u,11.804u);
  z48\0\31 = (2.650u,10.118u);
  z48\0\32 = (1.927u,10.118u);
  z48\0\33c1 = (1.926u,11.467u);
  z48\0\33c2 = (2.174u,12.229u);
  z48\1\0s = (13.731u,9.395u);
  z48\1\0 = (13.731u,1.686u);
  z48\1\1 = (10.600u,1.686u);
  z48\1\2 = (10.600u,2.168u);
  z48\1\3 = (12.864u,2.553u);
  z48\1\4 = (13.249u,8.913u);
  z48\1\5 = (0.963u,8.913u);
  z48\1\6 = (0.963u,2.409u);
  z48\1\7 = (3.854u,2.168u);
  z48\1\8 = (0.482u,1.686u);
  z48\1\9 = (0.482u,9.395u);
  fill_or_unfill z48\0\0s
    --z48\0\0
    --z48\0\1
    --z48\0\2
    ..controls z48\0\3c1 and z48\0\3c2..z48\0\3
    ..controls z48\0\4c1 and z48\0\4c2..z48\0\4
    ..controls z48\0\5c1 and z48\0\5c2..z48\0\5
    --z48\0\6
    --z48\0\7
    --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
    --z48\0\12
    --z48\0\13
    --z48\0\14
    --z48\0\15
    --z48\0\16
    --z48\0\17
    ..controls z48\0\18c1 and z48\0\18c2..z48\0\18
    --z48\0\19
    --z48\0\20
    ..controls z48\0\21c1 and z48\0\21c2..z48\0\21
    --z48\0\22
    --z48\0\23
    ..controls z48\0\24c1 and z48\0\24c2..z48\0\24
    ..controls z48\0\25c1 and z48\0\25c2..z48\0\25
    ..controls z48\0\26c1 and z48\0\26c2..z48\0\26
    --z48\0\27
    --z48\0\28
    ..controls z48\0\29c1 and z48\0\29c2..z48\0\29
    --z48\0\30
    --z48\0\31
    --z48\0\32
    ..controls z48\0\33c1 and z48\0\33c2..cycle;
  fill_or_unfill z48\1\0s
    --z48\1\0
    --z48\1\1
    --z48\1\2
    --z48\1\3
    --z48\1\4
    --z48\1\5
    --z48\1\6
    --z48\1\7
    --z48\1\8
    --z48\1\9
    --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\0\16,
    48\0\17,
    48\0\18,
    48\0\19,
    48\0\20,
    48\0\21,
    48\0\22,
    48\0\23,
    48\0\24,
    48\0\25,
    48\0\26,
    48\0\27,
    48\0\28,
    48\0\29,
    48\0\30,
    48\0\31,
    48\0\32,
    48\0\33,
    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\1\9,
    48\1\10,
);
endchar;

beginchar (49, 15.417u#, 18.308u#, 0.000u#);
  "O18";
  z49\0\0s = (0.723u,15.177u);
  z49\0\0 = (0.723u,14.695u);
  z49\0\1c1 = (1.934u,13.397u);
  z49\0\1c2 = (1.482u,6.644u);
  z49\0\1 = (1.444u,4.577u);
  z49\0\2c1 = (1.417u,3.090u);
  z49\0\2c2 = (-0.006u,1.917u);
  z49\0\2 = (0.179u,1.279u);
  z49\0\3c1 = (0.376u,0.600u);
  z49\0\3c2 = (1.624u,0.724u);
  z49\0\3 = (2.168u,0.723u);
  z49\0\4 = (15.417u,0.723u);
  z49\0\5 = (13.972u,4.818u);
  z49\0\6 = (14.116u,13.678u);
  z49\0\7 = (14.936u,14.454u);
  z49\0\8 = (14.936u,14.936u);
  z49\0\9c1 = (12.670u,16.524u);
  z49\0\9c2 = (5.556u,19.342u);
  z49\0\9 = (2.895u,17.992u);
  z49\0\10c1 = (1.734u,17.403u);
  z49\0\10c2 = (1.607u,16.066u);
  z49\1\0s = (12.286u,15.658u);
  z49\1\0 = (2.168u,15.417u);
  z49\1\1c1 = (2.297u,16.189u);
  z49\1\1c2 = (2.420u,16.876u);
  z49\1\1 = (3.163u,17.303u);
  z49\1\2c1 = (4.713u,18.194u);
  z49\1\2c2 = (10.619u,16.367u);
  z49\2\0s = (13.249u,14.213u);
  z49\2\0 = (2.168u,13.972u);
  z49\2\1 = (2.168u,14.454u);
  z49\3\0s = (13.009u,12.768u);
  z49\3\0 = (13.009u,2.891u);
  z49\3\1 = (2.409u,2.891u);
  z49\3\2 = (2.409u,12.768u);
  z49\4\0s = (14.213u,1.445u);
  z49\4\0 = (0.963u,1.445u);
  z49\4\1 = (2.891u,2.168u);
  z49\4\2 = (12.286u,2.168u);
  fill_or_unfill z49\0\0s
    --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
    ..controls z49\0\3c1 and z49\0\3c2..z49\0\3
    --z49\0\4
    --z49\0\5
    --z49\0\6
    --z49\0\7
    --z49\0\8
    ..controls z49\0\9c1 and z49\0\9c2..z49\0\9
    ..controls z49\0\10c1 and z49\0\10c2..cycle;
  fill_or_unfill z49\1\0s
    --z49\1\0
    ..controls z49\1\1c1 and z49\1\1c2..z49\1\1
    ..controls z49\1\2c1 and z49\1\2c2..cycle;
  fill_or_unfill z49\2\0s
    --z49\2\0
    --z49\2\1
    --cycle;
  fill_or_unfill z49\3\0s
    --z49\3\0
    --z49\3\1
    --z49\3\2
    --cycle;
  fill_or_unfill z49\4\0s
    --z49\4\0
    --z49\4\1
    --z49\4\2
    --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\1\0,
    49\1\1,
    49\1\2,
    49\2\0,
    49\2\1,
    49\2\2,
    49\3\0,
    49\3\1,
    49\3\2,
    49\3\3,
    49\4\0,
    49\4\1,
    49\4\2,
    49\4\3,
);
endchar;

beginchar (50, 16.622u#, 18.308u#, 0.000u#);
  "O19";
  z50\0\0s = (2.168u,18.308u);
  z50\0\0 = (2.168u,13.972u);
  z50\0\1 = (0.482u,14.454u);
  z50\0\2 = (0.241u,13.490u);
  z50\0\3 = (2.168u,12.768u);
  z50\0\4 = (0.241u,13.009u);
  z50\0\5 = (2.168u,10.840u);
  z50\0\6 = (0.241u,11.563u);
  z50\0\7 = (0.482u,10.359u);
  z50\0\8 = (0.000u,10.359u);
  z50\0\9 = (1.922u,8.381u);
  z50\0\10 = (2.168u,2.891u);
  z50\0\11c1 = (0.982u,2.541u);
  z50\0\11c2 = (0.590u,2.150u);
  z50\0\11 = (0.241u,0.963u);
  z50\0\12 = (14.454u,0.963u);
  z50\0\13c1 = (17.090u,0.969u);
  z50\0\13c2 = (17.351u,2.791u);
  z50\0\13 = (15.417u,3.132u);
  z50\0\14 = (15.899u,13.009u);
  z50\0\15c1 = (13.569u,14.298u);
  z50\0\15c2 = (9.847u,15.716u);
  z50\0\15 = (7.227u,14.706u);
  z50\0\16c1 = (6.233u,14.323u);
  z50\0\16c2 = (5.442u,13.606u);
  z50\0\16 = (4.577u,13.009u);
  z50\0\17 = (4.336u,18.308u);
  z50\0\18 = (3.854u,18.308u);
  z50\0\19 = (3.613u,13.249u);
  z50\0\20 = (3.132u,13.249u);
  z50\0\21c1 = (3.132u,14.662u);
  z50\0\21c2 = (3.774u,17.746u);
  z50\1\0s = (12.286u,13.490u);
  z50\1\0 = (6.504u,13.249u);
  z50\1\1c1 = (8.674u,14.676u);
  z50\1\1c2 = (9.987u,14.242u);
  z50\2\0s = (3.372u,12.076u);
  z50\3\0s = (14.454u,3.132u);
  z50\3\0 = (5.781u,3.132u);
  z50\3\1 = (5.781u,12.286u);
  z50\3\2c1 = (16.307u,12.286u);
  z50\3\2c2 = (14.454u,13.725u);
  z50\4\0s = (4.787u,11.782u);
  z50\5\0s = (3.372u,11.081u);
  z50\5\0 = (3.613u,10.359u);
  z50\5\1 = (2.891u,10.840u);
  z50\6\0s = (4.699u,10.362u);
  z50\7\0s = (1.204u,10.359u);
  z50\8\0s = (1.686u,9.999u);
  z50\9\0s = (3.341u,9.373u);
  z50\10\0s = (4.818u,9.154u);
  z50\11\0s = (3.372u,8.431u);
  z50\11\0 = (3.613u,2.891u);
  z50\11\1c1 = (2.508u,3.631u);
  z50\11\1c2 = (2.625u,7.416u);
  z50\12\0s = (4.818u,7.950u);
  z50\12\0 = (5.059u,2.891u);
  z50\12\1 = (4.577u,2.891u);
  z50\13\0s = (15.417u,2.168u);
  z50\13\0 = (15.417u,1.686u);
  z50\13\1 = (1.686u,1.686u);
  z50\13\2 = (1.686u,2.168u);
  fill_or_unfill z50\0\0s
    --z50\0\0
    --z50\0\1
    --z50\0\2
    --z50\0\3
    --z50\0\4
    --z50\0\5
    --z50\0\6
    --z50\0\7
    --z50\0\8
    --z50\0\9
    --z50\0\10
    ..controls z50\0\11c1 and z50\0\11c2..z50\0\11
    --z50\0\12
    ..controls z50\0\13c1 and z50\0\13c2..z50\0\13
    --z50\0\14
    ..controls z50\0\15c1 and z50\0\15c2..z50\0\15
    ..controls z50\0\16c1 and z50\0\16c2..z50\0\16
    --z50\0\17
    --z50\0\18
    --z50\0\19
    --z50\0\20
    ..controls z50\0\21c1 and z50\0\21c2..cycle;
  fill_or_unfill z50\1\0s
    --z50\1\0
    ..controls z50\1\1c1 and z50\1\1c2..cycle;
  fill_or_unfill z50\2\0s
    --cycle;
  fill_or_unfill z50\3\0s
    --z50\3\0
    --z50\3\1
    ..controls z50\3\2c1 and z50\3\2c2..cycle;
  fill_or_unfill z50\4\0s
    --cycle;
  fill_or_unfill z50\5\0s
    --z50\5\0
    --z50\5\1
    --cycle;
  fill_or_unfill z50\6\0s
    --cycle;
  fill_or_unfill z50\7\0s
    --cycle;
  fill_or_unfill z50\8\0s
    --cycle;
  fill_or_unfill z50\9\0s
    --cycle;
  fill_or_unfill z50\10\0s
    --cycle;
  fill_or_unfill z50\11\0s
    --z50\11\0
    ..controls z50\11\1c1 and z50\11\1c2..cycle;
  fill_or_unfill z50\12\0s
    --z50\12\0
    --z50\12\1
    --cycle;
  fill_or_unfill z50\13\0s
    --z50\13\0
    --z50\13\1
    --z50\13\2
    --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\0\17,
    50\0\18,
    50\0\19,
    50\0\20,
    50\0\21,
    50\1\0,
    50\1\1,
    50\2\0,
    50\3\0,
    50\3\1,
    50\3\2,
    50\4\0,
    50\5\0,
    50\5\1,
    50\5\2,
    50\6\0,
    50\7\0,
    50\8\0,
    50\9\0,
    50\10\0,
    50\11\0,
    50\11\1,
    50\12\0,
    50\12\1,
    50\12\2,
    50\13\0,
    50\13\1,
    50\13\2,
    50\13\3,
);
endchar;

beginchar (51, 10.840u#, 18.308u#, 0.000u#);
  "O20";
  z51\0\0s = (0.000u,0.723u);
  z51\0\0 = (10.840u,0.723u);
  z51\0\1 = (9.877u,1.686u);
  z51\0\2 = (9.877u,18.308u);
  z51\0\3c1 = (8.869u,17.955u);
  z51\0\3c2 = (8.948u,17.616u);
  z51\0\3 = (8.913u,16.622u);
  z51\0\4c1 = (6.187u,18.239u);
  z51\0\4c2 = (4.527u,18.364u);
  z51\0\4 = (1.927u,16.381u);
  z51\0\5 = (1.927u,18.308u);
  z51\0\6c1 = (0.378u,17.766u);
  z51\0\6c2 = (0.963u,15.088u);
  z51\0\6 = (0.963u,13.731u);
  z51\0\7 = (0.963u,3.373u);
  z51\0\8c1 = (0.931u,1.643u);
  z51\0\8c2 = (0.437u,2.046u);
  z51\1\0s = (8.191u,15.899u);
  z51\1\0 = (2.650u,15.899u);
  z51\1\1c1 = (4.184u,17.505u);
  z51\1\1c2 = (6.693u,17.592u);
  z51\2\0s = (8.913u,15.177u);
  z51\2\0 = (8.913u,13.009u);
  z51\2\1 = (1.927u,13.009u);
  z51\2\2 = (1.927u,15.177u);
  z51\3\0s = (3.854u,12.527u);
  z51\3\0 = (3.854u,1.686u);
  z51\3\1 = (1.927u,1.686u);
  z51\3\2 = (1.927u,12.527u);
  z51\4\0s = (6.263u,12.527u);
  z51\4\0 = (6.263u,1.686u);
  z51\4\1 = (4.577u,1.686u);
  z51\4\2 = (4.577u,12.527u);
  z51\5\0s = (8.913u,12.527u);
  z51\5\0 = (8.913u,1.686u);
  z51\5\1 = (6.986u,1.686u);
  z51\5\2 = (6.986u,12.527u);
  fill_or_unfill z51\0\0s
    --z51\0\0
    --z51\0\1
    --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
    --z51\0\5
    ..controls z51\0\6c1 and z51\0\6c2..z51\0\6
    --z51\0\7
    ..controls z51\0\8c1 and z51\0\8c2..cycle;
  fill_or_unfill z51\1\0s
    --z51\1\0
    ..controls z51\1\1c1 and z51\1\1c2..cycle;
  fill_or_unfill z51\2\0s
    --z51\2\0
    --z51\2\1
    --z51\2\2
    --cycle;
  fill_or_unfill z51\3\0s
    --z51\3\0
    --z51\3\1
    --z51\3\2
    --cycle;
  fill_or_unfill z51\4\0s
    --z51\4\0
    --z51\4\1
    --z51\4\2
    --cycle;
  fill_or_unfill z51\5\0s
    --z51\5\0
    --z51\5\1
    --z51\5\2
    --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\1\0,
    51\1\1,
    51\2\0,
    51\2\1,
    51\2\2,
    51\2\3,
    51\3\0,
    51\3\1,
    51\3\2,
    51\3\3,
    51\4\0,
    51\4\1,
    51\4\2,
    51\4\3,
    51\5\0,
    51\5\1,
    51\5\2,
    51\5\3,
);
endchar;

beginchar (52, 10.118u#, 17.826u#, 0.000u#);
  "O21";
  z52\0\0s = (0.241u,17.826u);
  z52\0\0 = (1.445u,14.453u);
  z52\0\1 = (1.445u,4.095u);
  z52\0\2 = (0.000u,0.723u);
  z52\0\3 = (9.877u,0.482u);
  z52\0\4 = (8.672u,4.336u);
  z52\0\5 = (8.672u,14.454u);
  z52\0\6 = (10.118u,17.826u);
  z52\1\0s = (7.950u,16.863u);
  z52\1\0 = (7.366u,16.088u);
  z52\1\1 = (2.587u,16.088u);
  z52\1\2 = (2.168u,17.104u);
  z52\2\0s = (7.950u,2.409u);
  z52\2\0 = (6.745u,2.409u);
  z52\2\1 = (6.745u,9.877u);
  z52\2\2 = (3.372u,9.877u);
  z52\2\3 = (3.372u,2.409u);
  z52\2\4 = (2.168u,2.409u);
  z52\2\5 = (2.168u,15.176u);
  z52\2\6 = (6.263u,15.176u);
  z52\2\7c1 = (7.909u,15.145u);
  z52\2\7c2 = (7.939u,14.789u);
  z52\2\7 = (7.950u,13.249u);
  z52\3\0s = (6.022u,9.154u);
  z52\3\0 = (6.022u,2.409u);
  z52\3\1 = (4.095u,2.409u);
  z52\3\2 = (4.095u,9.154u);
  z52\4\0s = (8.431u,1.686u);
  z52\4\0 = (8.431u,1.204u);
  z52\4\1 = (1.445u,1.204u);
  z52\4\2 = (1.445u,1.686u);
  fill_or_unfill z52\0\0s
    --z52\0\0
    --z52\0\1
    --z52\0\2
    --z52\0\3
    --z52\0\4
    --z52\0\5
    --z52\0\6
    --cycle;
  fill_or_unfill z52\1\0s
    --z52\1\0
    --z52\1\1
    --z52\1\2
    --cycle;
  fill_or_unfill z52\2\0s
    --z52\2\0
    --z52\2\1
    --z52\2\2
    --z52\2\3
    --z52\2\4
    --z52\2\5
    --z52\2\6
    ..controls z52\2\7c1 and z52\2\7c2..z52\2\7
    --cycle;
  fill_or_unfill z52\3\0s
    --z52\3\0
    --z52\3\1
    --z52\3\2
    --cycle;
  fill_or_unfill z52\4\0s
    --z52\4\0
    --z52\4\1
    --z52\4\2
    --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\1\0,
    52\1\1,
    52\1\2,
    52\1\3,
    52\2\0,
    52\2\1,
    52\2\2,
    52\2\3,
    52\2\4,
    52\2\5,
    52\2\6,
    52\2\7,
    52\2\8,
    52\3\0,
    52\3\1,
    52\3\2,
    52\3\3,
    52\4\0,
    52\4\1,
    52\4\2,
    52\4\3,
);
endchar;

beginchar (53, 17.586u#, 14.213u#, 0.000u#);
  "O22";
  z53\0\0s = (6.745u,12.286u);
  z53\0\0 = (8.183u,10.105u);
  z53\0\1 = (7.710u,5.781u);
  z53\0\2 = (8.191u,0.723u);
  z53\0\3c1 = (11.069u,1.678u);
  z53\0\3c2 = (9.434u,7.438u);
  z53\0\3 = (9.647u,9.635u);
  z53\0\4c1 = (9.735u,10.548u);
  z53\0\4c2 = (10.559u,11.156u);
  z53\0\4 = (10.840u,12.045u);
  z53\0\5 = (15.899u,10.840u);
  z53\0\6 = (15.899u,0.482u);
  z53\0\7c1 = (17.333u,0.567u);
  z53\0\7c2 = (17.560u,0.708u);
  z53\0\7 = (17.585u,2.169u);
  z53\0\8c1 = (17.611u,3.744u);
  z53\0\8c2 = (17.919u,11.061u);
  z53\0\8 = (17.201u,11.952u);
  z53\0\9c1 = (16.334u,13.024u);
  z53\0\9c2 = (13.392u,13.581u);
  z53\0\9 = (12.045u,13.824u);
  z53\0\10c1 = (9.430u,14.296u);
  z53\0\10c2 = (2.202u,14.423u);
  z53\0\10 = (0.385u,12.192u);
  z53\0\11c1 = (-0.080u,11.621u);
  z53\0\11c2 = (0.001u,10.808u);
  z53\0\11 = (0.000u,10.118u);
  z53\0\12 = (0.000u,2.891u);
  z53\0\13c1 = (0.001u,2.304u);
  z53\0\13c2 = (-0.135u,1.185u);
  z53\0\13 = (0.548u,0.926u);
  z53\0\14c1 = (1.588u,0.533u);
  z53\0\14c2 = (1.674u,1.745u);
  z53\0\14 = (1.685u,2.410u);
  z53\0\15c1 = (1.708u,3.764u);
  z53\0\15c2 = (1.456u,9.755u);
  z53\0\15 = (1.932u,10.546u);
  z53\0\16c1 = (2.627u,11.700u);
  z53\0\16c2 = (5.504u,11.980u);
  z53\1\0s = (16.381u,1.204u);
  z53\1\0 = (16.381u,8.913u);
  z53\1\1c1 = (16.380u,9.607u);
  z53\1\1c2 = (16.460u,10.413u);
  z53\1\1 = (15.996u,10.988u);
  z53\1\2c1 = (14.131u,13.299u);
  z53\1\2c2 = (3.455u,13.449u);
  z53\1\2 = (1.623u,11.222u);
  z53\1\3c1 = (1.124u,10.616u);
  z53\1\3c2 = (1.206u,9.653u);
  z53\1\3 = (1.204u,8.913u);
  z53\1\4c1 = (1.201u,6.936u);
  z53\1\4c2 = (1.461u,3.195u);
  z53\1\4 = (0.963u,1.445u);
  z53\1\5c1 = (0.539u,2.515u);
  z53\1\5c2 = (0.723u,5.232u);
  z53\1\5 = (0.723u,6.504u);
  z53\1\6 = (0.723u,9.877u);
  z53\1\7c1 = (0.724u,10.532u);
  z53\1\7c2 = (0.635u,11.367u);
  z53\1\7 = (1.108u,11.889u);
  z53\1\8c1 = (3.234u,14.241u);
  z53\1\8c2 = (14.769u,13.984u);
  z53\1\8 = (16.719u,11.498u);
  z53\1\9c1 = (17.179u,10.911u);
  z53\1\9c2 = (17.102u,10.096u);
  z53\1\9 = (17.104u,9.395u);
  z53\1\10c1 = (17.108u,7.527u);
  z53\1\10c2 = (17.582u,2.422u);
  z53\2\0s = (9.636u,11.563u);
  z53\2\0 = (9.154u,10.600u);
  z53\2\1 = (8.672u,10.600u);
  z53\2\2 = (7.709u,12.045u);
  z53\3\0s = (9.877u,11.685u);
  z53\4\0s = (8.913u,9.154u);
  z53\4\0c1 = (9.589u,6.775u);
  z53\4\0c2 = (9.334u,4.534u);
  z53\4\0 = (8.913u,2.168u);
  z53\4\1 = (8.431u,2.168u);
  z53\4\2c1 = (8.327u,4.436u);
  z53\4\2c2 = (7.825u,7.021u);
  fill_or_unfill z53\0\0s
    --z53\0\0
    --z53\0\1
    --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
    ..controls z53\0\7c1 and z53\0\7c2..z53\0\7
    ..controls z53\0\8c1 and z53\0\8c2..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
    ..controls z53\0\11c1 and z53\0\11c2..z53\0\11
    --z53\0\12
    ..controls z53\0\13c1 and z53\0\13c2..z53\0\13
    ..controls z53\0\14c1 and z53\0\14c2..z53\0\14
    ..controls z53\0\15c1 and z53\0\15c2..z53\0\15
    ..controls z53\0\16c1 and z53\0\16c2..cycle;
  fill_or_unfill z53\1\0s
    --z53\1\0
    ..controls z53\1\1c1 and z53\1\1c2..z53\1\1
    ..controls z53\1\2c1 and z53\1\2c2..z53\1\2
    ..controls z53\1\3c1 and z53\1\3c2..z53\1\3
    ..controls z53\1\4c1 and z53\1\4c2..z53\1\4
    ..controls z53\1\5c1 and z53\1\5c2..z53\1\5
    --z53\1\6
    ..controls z53\1\7c1 and z53\1\7c2..z53\1\7
    ..controls z53\1\8c1 and z53\1\8c2..z53\1\8
    ..controls z53\1\9c1 and z53\1\9c2..z53\1\9
    ..controls z53\1\10c1 and z53\1\10c2..cycle;
  fill_or_unfill z53\2\0s
    --z53\2\0
    --z53\2\1
    --z53\2\2
    --cycle;
  fill_or_unfill z53\3\0s
    --cycle;
  fill_or_unfill z53\4\0s
    ..controls z53\4\0c1 and z53\4\0c2..z53\4\0
    --z53\4\1
    ..controls z53\4\2c1 and z53\4\2c2..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\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\1\10,
    53\2\0,
    53\2\1,
    53\2\2,
    53\2\3,
    53\3\0,
    53\4\0,
    53\4\1,
    53\4\2,
);
endchar;

beginchar (54, 18.790u#, 17.826u#, 0.000u#);
  "O23";
  z54\0\0s = (0.241u,16.622u);
  z54\0\0c1 = (1.420u,13.887u);
  z54\0\0c2 = (0.983u,8.203u);
  z54\0\0 = (0.963u,5.059u);
  z54\0\1c1 = (0.953u,3.486u);
  z54\0\1c2 = (0.159u,2.459u);
  z54\0\1 = (0.000u,0.963u);
  z54\0\2 = (18.790u,0.963u);
  z54\0\3c1 = (18.594u,2.280u);
  z54\0\3c2 = (18.070u,3.172u);
  z54\0\3 = (18.067u,4.577u);
  z54\0\4c1 = (18.060u,8.267u);
  z54\0\4c2 = (17.532u,12.945u);
  z54\0\4 = (18.790u,16.381u);
  z54\0\5c1 = (16.771u,17.098u);
  z54\0\5c2 = (15.485u,17.965u);
  z54\0\5 = (13.249u,17.403u);
  z54\0\6c1 = (12.200u,17.139u);
  z54\0\6c2 = (11.222u,16.722u);
  z54\0\6 = (10.118u,16.729u);
  z54\0\7c1 = (8.003u,16.742u);
  z54\0\7c2 = (6.171u,17.956u);
  z54\0\7 = (4.095u,17.803u);
  z54\0\8c1 = (2.887u,17.715u);
  z54\0\8c2 = (1.430u,16.990u);
  z54\1\0s = (8.191u,16.140u);
  z54\1\0 = (8.046u,3.689u);
  z54\1\1 = (6.973u,3.132u);
  z54\1\2c1 = (6.987u,4.257u);
  z54\1\2c2 = (7.993u,6.975u);
  z54\1\2 = (6.973u,7.427u);
  z54\1\3c1 = (6.378u,7.683u);
  z54\1\3c2 = (3.931u,5.125u);
  z54\1\3 = (3.578u,4.567u);
  z54\1\4c1 = (3.291u,4.112u);
  z54\1\4c2 = (3.218u,3.648u);
  z54\1\4 = (3.132u,3.132u);
  z54\1\5 = (1.686u,3.132u);
  z54\1\6c1 = (1.686u,5.147u);
  z54\1\6c2 = (1.267u,15.388u);
  z54\1\6 = (2.305u,16.383u);
  z54\1\7c1 = (3.670u,17.691u);
  z54\1\7c2 = (6.646u,16.646u);
  z54\2\0s = (17.345u,3.132u);
  z54\2\0c1 = (16.882u,3.137u);
  z54\2\0c2 = (16.185u,3.091u);
  z54\2\0 = (15.798u,3.378u);
  z54\2\1c1 = (15.044u,3.937u);
  z54\2\1c2 = (12.956u,7.725u);
  z54\2\1 = (11.838u,7.387u);
  z54\2\2c1 = (9.833u,6.780u);
  z54\2\2c2 = (13.201u,3.958u);
  z54\2\2 = (10.840u,3.132u);
  z54\2\3 = (10.840u,13.009u);
  z54\2\4 = (10.840u,15.899u);
  z54\2\5c1 = (12.233u,16.509u);
  z54\2\5c2 = (15.457u,17.564u);
  z54\2\5 = (16.686u,16.225u);
  z54\2\6c1 = (17.749u,15.066u);
  z54\2\6c2 = (17.345u,5.254u);
  z54\3\0s = (9.925u,15.899u);
  z54\3\0 = (9.925u,3.689u);
  z54\3\1 = (8.913u,3.132u);
  z54\3\2 = (9.154u,15.899u);
  z54\4\0s = (6.745u,6.986u);
  z54\4\0 = (6.263u,3.132u);
  z54\4\1 = (3.854u,3.132u);
  z54\4\2c1 = (3.978u,4.653u);
  z54\4\2c2 = (5.634u,5.980u);
  z54\5\0s = (12.045u,6.986u);
  z54\5\0 = (14.936u,3.372u);
  z54\5\1c1 = (12.710u,2.741u);
  z54\5\1c2 = (12.564u,3.090u);
  z54\5\1 = (12.258u,5.059u);
  z54\5\2c1 = (12.132u,5.865u);
  z54\5\2c2 = (11.798u,6.145u);
  z54\6\0s = (17.826u,2.168u);
  z54\6\0 = (0.723u,1.927u);
  z54\6\1 = (2.891u,2.409u);
  fill_or_unfill z54\0\0s
    ..controls z54\0\0c1 and z54\0\0c2..z54\0\0
    ..controls z54\0\1c1 and z54\0\1c2..z54\0\1
    --z54\0\2
    ..controls z54\0\3c1 and z54\0\3c2..z54\0\3
    ..controls z54\0\4c1 and z54\0\4c2..z54\0\4
    ..controls z54\0\5c1 and z54\0\5c2..z54\0\5
    ..controls z54\0\6c1 and z54\0\6c2..z54\0\6
    ..controls z54\0\7c1 and z54\0\7c2..z54\0\7
    ..controls z54\0\8c1 and z54\0\8c2..cycle;
  fill_or_unfill z54\1\0s
    --z54\1\0
    --z54\1\1
    ..controls z54\1\2c1 and z54\1\2c2..z54\1\2
    ..controls z54\1\3c1 and z54\1\3c2..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..z54\1\6
    ..controls z54\1\7c1 and z54\1\7c2..cycle;
  fill_or_unfill z54\2\0s
    ..controls z54\2\0c1 and z54\2\0c2..z54\2\0
    ..controls z54\2\1c1 and z54\2\1c2..z54\2\1
    ..controls z54\2\2c1 and z54\2\2c2..z54\2\2
    --z54\2\3
    --z54\2\4
    ..controls z54\2\5c1 and z54\2\5c2..z54\2\5
    ..controls z54\2\6c1 and z54\2\6c2..cycle;
  fill_or_unfill z54\3\0s
    --z54\3\0
    --z54\3\1
    --z54\3\2
    --cycle;
  fill_or_unfill z54\4\0s
    --z54\4\0
    --z54\4\1
    ..controls z54\4\2c1 and z54\4\2c2..cycle;
  fill_or_unfill z54\5\0s
    --z54\5\0
    ..controls z54\5\1c1 and z54\5\1c2..z54\5\1
    ..controls z54\5\2c1 and z54\5\2c2..cycle;
  fill_or_unfill z54\6\0s
    --z54\6\0
    --z54\6\1
    --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\1\0,
    54\1\1,
    54\1\2,
    54\1\3,
    54\1\4,
    54\1\5,
    54\1\6,
    54\1\7,
    54\2\0,
    54\2\1,
    54\2\2,
    54\2\3,
    54\2\4,
    54\2\5,
    54\2\6,
    54\3\0,
    54\3\1,
    54\3\2,
    54\3\3,
    54\4\0,
    54\4\1,
    54\4\2,
    54\5\0,
    54\5\1,
    54\5\2,
    54\6\0,
    54\6\1,
    54\6\2,
);
endchar;

beginchar (55, 9.877u#, 17.104u#, 0.000u#);
  "O24";
  z55\0\0s = (5.319u,17.187u);
  z55\0\0 = (0.731u,2.992u);
  z55\0\1 = (0.033u,3.025u);
  z55\0\2 = (0.000u,0.723u);
  z55\0\3 = (9.674u,0.731u);
  z55\0\4 = (9.641u,3.025u);
  z55\0\5 = (8.876u,2.992u);
  z55\1\0s = (5.300u,15.177u);
  z55\1\0 = (7.950u,2.891u);
  z55\1\1 = (1.927u,2.891u);
  z55\1\2c1 = (1.964u,4.511u);
  z55\1\2c2 = (4.820u,13.896u);
  z55\2\0s = (9.154u,2.168u);
  z55\2\0 = (9.154u,1.445u);
  z55\2\1 = (0.723u,1.445u);
  z55\2\2 = (0.723u,2.168u);
  fill_or_unfill z55\0\0s
    --z55\0\0
    --z55\0\1
    --z55\0\2
    --z55\0\3
    --z55\0\4
    --z55\0\5
    --cycle;
  fill_or_unfill z55\1\0s
    --z55\1\0
    --z55\1\1
    ..controls z55\1\2c1 and z55\1\2c2..cycle;
  fill_or_unfill z55\2\0s
    --z55\2\0
    --z55\2\1
    --z55\2\2
    --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\1\0,
    55\1\1,
    55\1\2,
    55\2\0,
    55\2\1,
    55\2\2,
    55\2\3,
);
endchar;

beginchar (56, 5.541u#, 17.345u#, 0.000u#);
  "O25";
  z56\0\0s = (0.964u,2.168u);
  z56\0\0 = (0.000u,2.168u);
  z56\0\1 = (0.000u,0.241u);
  z56\0\2 = (5.541u,0.241u);
  z56\0\3 = (5.541u,2.168u);
  z56\0\4 = (4.818u,2.168u);
  z56\0\5c1 = (4.818u,4.719u);
  z56\0\5c2 = (5.510u,15.909u);
  z56\0\5 = (3.264u,17.063u);
  z56\0\6c1 = (1.899u,17.764u);
  z56\0\6c2 = (0.968u,13.399u);
  z56\0\6 = (0.964u,12.527u);
  z56\1\0s = (3.132u,16.140u);
  z56\1\0 = (3.613u,14.454u);
  z56\1\1 = (2.168u,14.454u);
  z56\1\2 = (2.650u,16.140u);
  z56\2\0s = (4.095u,13.731u);
  z56\2\0 = (4.095u,2.168u);
  z56\2\1 = (1.686u,2.168u);
  z56\2\2 = (1.686u,13.731u);
  z56\3\0s = (4.818u,1.445u);
  z56\3\0 = (4.818u,0.963u);
  z56\3\1 = (0.482u,0.963u);
  z56\3\2 = (0.482u,1.445u);
  fill_or_unfill z56\0\0s
    --z56\0\0
    --z56\0\1
    --z56\0\2
    --z56\0\3
    --z56\0\4
    ..controls z56\0\5c1 and z56\0\5c2..z56\0\5
    ..controls z56\0\6c1 and z56\0\6c2..z56\0\6
    --cycle;
  fill_or_unfill z56\1\0s
    --z56\1\0
    --z56\1\1
    --z56\1\2
    --cycle;
  fill_or_unfill z56\2\0s
    --z56\2\0
    --z56\2\1
    --z56\2\2
    --cycle;
  fill_or_unfill z56\3\0s
    --z56\3\0
    --z56\3\1
    --z56\3\2
    --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\1\0,
    56\1\1,
    56\1\2,
    56\1\3,
    56\2\0,
    56\2\1,
    56\2\2,
    56\2\3,
    56\3\0,
    56\3\1,
    56\3\2,
    56\3\3,
);
endchar;

beginchar (57, 13.249u#, 17.345u#, 0.000u#);
  "O26";
  z57\0\0s = (2.409u,2.650u);
  z57\0\0 = (0.000u,2.650u);
  z57\0\1 = (0.000u,0.482u);
  z57\0\2 = (13.249u,0.482u);
  z57\0\3 = (13.249u,2.650u);
  z57\0\4 = (10.840u,2.650u);
  z57\0\5 = (10.840u,12.768u);
  z57\0\6c1 = (10.832u,17.253u);
  z57\0\6c2 = (5.509u,18.960u);
  z57\0\6 = (3.124u,15.408u);
  z57\0\7c1 = (1.875u,13.548u);
  z57\0\7c2 = (2.409u,5.293u);
  z57\1\0s = (10.359u,2.650u);
  z57\1\0 = (2.891u,2.650u);
  z57\1\1c1 = (2.891u,5.082u);
  z57\1\1c2 = (2.459u,13.226u);
  z57\1\1 = (3.500u,14.919u);
  z57\1\2c1 = (4.862u,17.120u);
  z57\1\2c2 = (8.498u,17.178u);
  z57\1\2 = (9.856u,14.919u);
  z57\1\3c1 = (10.390u,14.040u);
  z57\1\3c2 = (10.357u,13.038u);
  z57\1\3 = (10.359u,12.045u);
  z57\2\0s = (12.527u,1.927u);
  z57\2\0 = (12.527u,1.204u);
  z57\2\1 = (0.723u,1.204u);
  z57\2\2 = (0.723u,1.927u);
  fill_or_unfill z57\0\0s
    --z57\0\0
    --z57\0\1
    --z57\0\2
    --z57\0\3
    --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..cycle;
  fill_or_unfill z57\1\0s
    --z57\1\0
    ..controls z57\1\1c1 and z57\1\1c2..z57\1\1
    ..controls z57\1\2c1 and z57\1\2c2..z57\1\2
    ..controls z57\1\3c1 and z57\1\3c2..z57\1\3
    --cycle;
  fill_or_unfill z57\2\0s
    --z57\2\0
    --z57\2\1
    --z57\2\2
    --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\1\0,
    57\1\1,
    57\1\2,
    57\1\3,
    57\1\4,
    57\2\0,
    57\2\1,
    57\2\2,
    57\2\3,
);
endchar;

beginchar (58, 17.104u#, 16.381u#, 0.000u#);
  "O27";
  z58\0\0s = (0.000u,16.381u);
  z58\0\0 = (0.000u,1.686u);
  z58\0\1 = (1.927u,1.686u);
  z58\0\2 = (1.927u,14.213u);
  z58\0\3 = (5.300u,14.213u);
  z58\0\4 = (5.300u,12.286u);
  z58\0\5 = (4.336u,12.768u);
  z58\0\6c1 = (4.336u,9.167u);
  z58\0\6c2 = (4.935u,5.057u);
  z58\0\6 = (3.613u,1.686u);
  z58\0\7 = (7.950u,1.686u);
  z58\0\8 = (6.987u,4.336u);
  z58\0\9 = (6.987u,12.768u);
  z58\0\10 = (6.022u,12.286u);
  z58\0\11 = (6.022u,14.213u);
  z58\0\12 = (11.322u,14.213u);
  z58\0\13 = (11.322u,12.286u);
  z58\0\14 = (10.359u,12.768u);
  z58\0\15c1 = (9.403u,9.403u);
  z58\0\15c2 = (11.115u,5.031u);
  z58\0\15 = (9.395u,1.927u);
  z58\0\16 = (13.490u,1.686u);
  z58\0\17 = (12.768u,12.768u);
  z58\0\18 = (12.045u,12.286u);
  z58\0\19 = (12.045u,14.213u);
  z58\0\20 = (15.177u,14.213u);
  z58\0\21 = (15.177u,1.686u);
  z58\0\22 = (17.104u,1.686u);
  z58\0\23 = (17.104u,16.381u);
  z58\1\0s = (16.381u,15.658u);
  z58\1\0 = (16.381u,2.409u);
  z58\1\1 = (15.899u,2.409u);
  z58\1\2 = (15.899u,14.936u);
  z58\1\3 = (1.204u,14.936u);
  z58\1\4 = (1.204u,2.168u);
  z58\1\5 = (0.723u,2.168u);
  z58\1\6 = (0.723u,15.658u);
  z58\2\0s = (5.059u,11.563u);
  z58\2\0 = (6.504u,11.563u);
  z58\2\1 = (6.504u,8.191u);
  z58\2\2 = (4.818u,8.191u);
  z58\3\0s = (10.840u,11.322u);
  z58\3\0 = (12.527u,11.322u);
  z58\3\1 = (12.527u,8.191u);
  z58\3\2 = (10.600u,8.191u);
  z58\4\0s = (6.504u,7.468u);
  z58\4\0 = (6.504u,2.409u);
  z58\4\1 = (4.818u,2.409u);
  z58\4\2 = (4.818u,7.468u);
  z58\5\0s = (12.527u,7.468u);
  z58\5\0 = (12.142u,2.655u);
  z58\5\1 = (10.600u,2.409u);
  z58\5\2 = (10.600u,7.468u);
  fill_or_unfill z58\0\0s
    --z58\0\0
    --z58\0\1
    --z58\0\2
    --z58\0\3
    --z58\0\4
    --z58\0\5
    ..controls z58\0\6c1 and z58\0\6c2..z58\0\6
    --z58\0\7
    --z58\0\8
    --z58\0\9
    --z58\0\10
    --z58\0\11
    --z58\0\12
    --z58\0\13
    --z58\0\14
    ..controls z58\0\15c1 and z58\0\15c2..z58\0\15
    --z58\0\16
    --z58\0\17
    --z58\0\18
    --z58\0\19
    --z58\0\20
    --z58\0\21
    --z58\0\22
    --z58\0\23
    --cycle;
  fill_or_unfill z58\1\0s
    --z58\1\0
    --z58\1\1
    --z58\1\2
    --z58\1\3
    --z58\1\4
    --z58\1\5
    --z58\1\6
    --cycle;
  fill_or_unfill z58\2\0s
    --z58\2\0
    --z58\2\1
    --z58\2\2
    --cycle;
  fill_or_unfill z58\3\0s
    --z58\3\0
    --z58\3\1
    --z58\3\2
    --cycle;
  fill_or_unfill z58\4\0s
    --z58\4\0
    --z58\4\1
    --z58\4\2
    --cycle;
  fill_or_unfill z58\5\0s
    --z58\5\0
    --z58\5\1
    --z58\5\2
    --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\0\19,
    58\0\20,
    58\0\21,
    58\0\22,
    58\0\23,
    58\0\24,
    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\2\0,
    58\2\1,
    58\2\2,
    58\2\3,
    58\3\0,
    58\3\1,
    58\3\2,
    58\3\3,
    58\4\0,
    58\4\1,
    58\4\2,
    58\4\3,
    58\5\0,
    58\5\1,
    58\5\2,
    58\5\3,
);
endchar;

beginchar (59, 4.336u#, 17.826u#, 0.000u#);
  "O28";
  z59\0\0s = (2.168u,17.826u);
  z59\0\0 = (1.927u,14.213u);
  z59\0\1 = (0.241u,15.177u);
  z59\0\2 = (0.000u,0.241u);
  z59\0\3 = (4.336u,0.241u);
  z59\0\4 = (4.095u,15.177u);
  z59\0\5 = (2.650u,14.454u);
  z59\1\0s = (0.963u,13.972u);
  z59\1\0 = (3.613u,13.972u);
  z59\1\1 = (3.613u,5.781u);
  z59\1\2 = (0.723u,5.781u);
  z59\2\0s = (3.854u,5.059u);
  z59\2\0 = (3.854u,0.963u);
  z59\2\1 = (0.723u,0.963u);
  z59\2\2 = (0.723u,5.059u);
  fill_or_unfill z59\0\0s
    --z59\0\0
    --z59\0\1
    --z59\0\2
    --z59\0\3
    --z59\0\4
    --z59\0\5
    --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
    --z59\2\2
    --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\1\0,
    59\1\1,
    59\1\2,
    59\1\3,
    59\2\0,
    59\2\1,
    59\2\2,
    59\2\3,
);
endchar;

beginchar (60, 17.345u#, 4.336u#, 0.000u#);
  "O29";
  z60\0\0s = (0.000u,2.891u);
  z60\0\0 = (0.000u,2.168u);
  z60\0\1c1 = (1.310u,1.968u);
  z60\0\1c2 = (1.831u,1.172u);
  z60\0\1 = (2.650u,1.023u);
  z60\0\2c1 = (3.428u,0.881u);
  z60\0\2c2 = (4.096u,1.733u);
  z60\0\2 = (5.059u,1.753u);
  z60\0\3 = (13.009u,0.967u);
  z60\0\4c1 = (14.131u,0.941u);
  z60\0\4c2 = (17.199u,0.925u);
  z60\0\4 = (17.199u,2.548u);
  z60\0\5c1 = (17.199u,3.964u);
  z60\0\5c2 = (14.742u,4.069u);
  z60\0\5 = (13.731u,4.092u);
  z60\0\6 = (5.059u,3.305u);
  z60\0\7c1 = (4.096u,3.325u);
  z60\0\7c2 = (3.428u,4.178u);
  z60\0\7 = (2.650u,4.036u);
  z60\0\8c1 = (1.831u,3.887u);
  z60\0\8c2 = (1.310u,3.091u);
  z60\1\0s = (3.854u,2.650u);
  z60\1\0c1 = (3.001u,1.742u);
  z60\1\0c2 = (2.730u,1.782u);
  z60\1\0 = (1.686u,2.409u);
  z60\1\1c1 = (2.539u,3.316u);
  z60\1\1c2 = (2.810u,3.277u);
  z60\2\0s = (7.468u,2.409u);
  z60\2\0c1 = (8.592u,2.982u);
  z60\2\0c2 = (15.408u,3.908u);
  z60\2\0 = (16.100u,2.764u);
  z60\2\1c1 = (16.608u,1.923u);
  z60\2\1c2 = (14.639u,1.733u);
  z60\2\1 = (14.213u,1.708u);
  z60\2\2c1 = (12.095u,1.584u);
  z60\2\2c2 = (9.585u,2.130u);
  fill_or_unfill z60\0\0s
    --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
    --z60\0\6
    ..controls z60\0\7c1 and z60\0\7c2..z60\0\7
    ..controls z60\0\8c1 and z60\0\8c2..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..cycle;
  fill_or_unfill z60\2\0s
    ..controls z60\2\0c1 and z60\2\0c2..z60\2\0
    ..controls z60\2\1c1 and z60\2\1c2..z60\2\1
    ..controls z60\2\2c1 and z60\2\2c2..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\1\0,
    60\1\1,
    60\2\0,
    60\2\1,
    60\2\2,
);
endchar;

beginchar (61, 4.336u#, 18.790u#, 0.000u#);
  "O30";
  z61\0\0s = (0.241u,18.790u);
  z61\0\0 = (1.420u,15.177u);
  z61\0\1 = (1.686u,12.768u);
  z61\0\2 = (1.686u,0.963u);
  z61\0\3 = (2.409u,0.963u);
  z61\0\4 = (2.409u,12.527u);
  z61\0\5 = (4.336u,18.549u);
  z61\0\6 = (2.409u,15.658u);
  z61\0\7 = (1.927u,15.658u);
  fill_or_unfill z61\0\0s
    --z61\0\0
    --z61\0\1
    --z61\0\2
    --z61\0\3
    --z61\0\4
    --z61\0\5
    --z61\0\6
    --z61\0\7
    --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,
);
endchar;

beginchar (62, 17.345u#, 4.577u#, 0.000u#);
  "O31";
  z62\0\0s = (0.000u,4.577u);
  z62\0\0 = (1.686u,0.482u);
  z62\0\1 = (15.899u,0.482u);
  z62\0\2c1 = (15.905u,1.871u);
  z62\0\2c2 = (15.746u,2.623u);
  z62\0\2 = (17.345u,2.891u);
  z62\0\3 = (17.345u,4.577u);
  z62\1\0s = (16.622u,3.854u);
  z62\1\0 = (16.622u,3.372u);
  z62\1\1c1 = (15.367u,2.975u);
  z62\1\1c2 = (15.292u,2.432u);
  z62\1\1 = (15.177u,1.205u);
  z62\1\2 = (3.854u,1.205u);
  z62\1\3c1 = (2.005u,1.240u);
  z62\1\3c2 = (1.896u,2.435u);
  z62\1\3 = (0.963u,3.854u);
  fill_or_unfill z62\0\0s
    --z62\0\0
    --z62\0\1
    ..controls z62\0\2c1 and z62\0\2c2..z62\0\2
    --z62\0\3
    --cycle;
  fill_or_unfill z62\1\0s
    --z62\1\0
    ..controls z62\1\1c1 and z62\1\1c2..z62\1\1
    --z62\1\2
    ..controls z62\1\3c1 and z62\1\3c2..z62\1\3
    --cycle;
  proof_labels (
    62\0\0,
    62\0\1,
    62\0\2,
    62\0\3,
    62\0\4,
    62\1\0,
    62\1\1,
    62\1\2,
    62\1\3,
    62\1\4,
);
endchar;

beginchar (63, 11.322u#, 17.826u#, 0.000u#);
  "O32";
  z63\0\0s = (0.000u,17.826u);
  z63\0\0 = (0.000u,9.395u);
  z63\0\1 = (1.204u,9.395u);
  z63\0\2 = (1.204u,0.482u);
  z63\0\3 = (5.059u,0.482u);
  z63\0\4 = (5.059u,2.409u);
  z63\0\5 = (3.613u,2.409u);
  z63\0\6 = (3.613u,13.972u);
  z63\0\7 = (7.709u,13.972u);
  z63\0\8 = (7.709u,2.409u);
  z63\0\9 = (6.263u,2.409u);
  z63\0\10 = (6.263u,0.482u);
  z63\0\11 = (9.877u,0.482u);
  z63\0\12 = (9.877u,9.395u);
  z63\0\13 = (11.322u,9.395u);
  z63\0\14 = (11.322u,17.826u);
  z63\1\0s = (10.600u,17.104u);
  z63\1\0 = (10.600u,10.118u);
  z63\1\1 = (9.877u,10.118u);
  z63\1\2 = (9.877u,16.140u);
  z63\1\3 = (1.445u,16.140u);
  z63\1\4 = (1.445u,10.118u);
  z63\1\5 = (0.723u,10.118u);
  z63\1\6 = (0.723u,17.104u);
  z63\2\0s = (9.154u,15.658u);
  z63\2\0 = (9.154u,1.204u);
  z63\2\1 = (6.986u,1.204u);
  z63\2\2 = (6.986u,1.927u);
  z63\2\3 = (8.431u,1.927u);
  z63\2\4 = (8.431u,14.454u);
  z63\2\5 = (2.891u,14.454u);
  z63\2\6 = (2.891u,1.927u);
  z63\2\7 = (4.577u,1.927u);
  z63\2\8 = (4.577u,1.204u);
  z63\2\9 = (2.168u,1.204u);
  z63\2\10 = (2.168u,15.658u);
  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
    --z63\0\9
    --z63\0\10
    --z63\0\11
    --z63\0\12
    --z63\0\13
    --z63\0\14
    --cycle;
  fill_or_unfill z63\1\0s
    --z63\1\0
    --z63\1\1
    --z63\1\2
    --z63\1\3
    --z63\1\4
    --z63\1\5
    --z63\1\6
    --cycle;
  fill_or_unfill z63\2\0s
    --z63\2\0
    --z63\2\1
    --z63\2\2
    --z63\2\3
    --z63\2\4
    --z63\2\5
    --z63\2\6
    --z63\2\7
    --z63\2\8
    --z63\2\9
    --z63\2\10
    --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\1\0,
    63\1\1,
    63\1\2,
    63\1\3,
    63\1\4,
    63\1\5,
    63\1\6,
    63\1\7,
    63\2\0,
    63\2\1,
    63\2\2,
    63\2\3,
    63\2\4,
    63\2\5,
    63\2\6,
    63\2\7,
    63\2\8,
    63\2\9,
    63\2\10,
    63\2\11,
);
endchar;

beginchar (64, 13.731u#, 17.826u#, 0.000u#);
  "O33";
  z64\0\0s = (0.241u,17.586u);
  z64\0\0 = (0.241u,17.104u);
  z64\0\1 = (13.731u,17.104u);
  z64\0\2 = (13.731u,17.586u);
  z64\1\0s = (0.241u,15.658u);
  z64\1\0 = (0.241u,14.695u);
  z64\1\1 = (13.731u,14.695u);
  z64\1\2 = (13.731u,15.658u);
  z64\2\0s = (0.000u,13.972u);
  z64\2\0 = (0.000u,0.723u);
  z64\2\1 = (0.723u,0.723u);
  z64\2\2 = (0.723u,10.118u);
  z64\2\3 = (2.168u,10.118u);
  z64\2\4 = (2.168u,0.723u);
  z64\2\5 = (2.891u,0.723u);
  z64\2\6 = (2.891u,10.118u);
  z64\2\7 = (4.095u,10.118u);
  z64\2\8 = (4.095u,0.723u);
  z64\2\9 = (4.818u,0.723u);
  z64\2\10 = (4.818u,10.118u);
  z64\2\11 = (6.504u,10.118u);
  z64\2\12 = (6.504u,0.723u);
  z64\2\13 = (7.227u,0.723u);
  z64\2\14 = (7.227u,10.118u);
  z64\2\15 = (8.672u,10.118u);
  z64\2\16 = (8.672u,0.723u);
  z64\2\17 = (9.395u,0.723u);
  z64\2\18 = (9.395u,10.118u);
  z64\2\19 = (10.840u,10.118u);
  z64\2\20 = (10.840u,0.723u);
  z64\2\21 = (11.563u,0.723u);
  z64\2\22 = (11.563u,10.118u);
  z64\2\23 = (13.009u,10.118u);
  z64\2\24 = (13.009u,0.723u);
  z64\2\25 = (13.731u,0.723u);
  z64\2\26 = (13.731u,13.731u);
  z64\2\27 = (13.009u,13.009u);
  z64\2\28 = (9.395u,13.009u);
  z64\2\29 = (9.395u,13.972u);
  z64\2\30 = (8.672u,13.972u);
  z64\2\31 = (8.672u,13.009u);
  z64\2\32 = (4.818u,13.009u);
  z64\2\33 = (4.818u,13.972u);
  z64\2\34 = (4.095u,13.972u);
  z64\2\35 = (4.095u,13.009u);
  z64\2\36 = (0.723u,13.009u);
  z64\2\37 = (0.723u,13.972u);
  z64\3\0s = (4.095u,12.286u);
  z64\3\0 = (4.095u,10.840u);
  z64\3\1 = (0.723u,10.840u);
  z64\3\2 = (0.723u,12.286u);
  z64\4\0s = (8.672u,12.286u);
  z64\4\0 = (8.672u,10.840u);
  z64\4\1 = (4.818u,10.840u);
  z64\4\2 = (4.818u,12.286u);
  z64\5\0s = (13.009u,12.286u);
  z64\5\0 = (13.009u,10.840u);
  z64\5\1 = (9.395u,10.840u);
  z64\5\2 = (9.395u,12.286u);
  fill_or_unfill z64\0\0s
    --z64\0\0
    --z64\0\1
    --z64\0\2
    --cycle;
  fill_or_unfill z64\1\0s
    --z64\1\0
    --z64\1\1
    --z64\1\2
    --cycle;
  fill_or_unfill z64\2\0s
    --z64\2\0
    --z64\2\1
    --z64\2\2
    --z64\2\3
    --z64\2\4
    --z64\2\5
    --z64\2\6
    --z64\2\7
    --z64\2\8
    --z64\2\9
    --z64\2\10
    --z64\2\11
    --z64\2\12
    --z64\2\13
    --z64\2\14
    --z64\2\15
    --z64\2\16
    --z64\2\17
    --z64\2\18
    --z64\2\19
    --z64\2\20
    --z64\2\21
    --z64\2\22
    --z64\2\23
    --z64\2\24
    --z64\2\25
    --z64\2\26
    --z64\2\27
    --z64\2\28
    --z64\2\29
    --z64\2\30
    --z64\2\31
    --z64\2\32
    --z64\2\33
    --z64\2\34
    --z64\2\35
    --z64\2\36
    --z64\2\37
    --cycle;
  fill_or_unfill z64\3\0s
    --z64\3\0
    --z64\3\1
    --z64\3\2
    --cycle;
  fill_or_unfill z64\4\0s
    --z64\4\0
    --z64\4\1
    --z64\4\2
    --cycle;
  fill_or_unfill z64\5\0s
    --z64\5\0
    --z64\5\1
    --z64\5\2
    --cycle;
  proof_labels (
    64\0\0,
    64\0\1,
    64\0\2,
    64\0\3,
    64\1\0,
    64\1\1,
    64\1\2,
    64\1\3,
    64\2\0,
    64\2\1,
    64\2\2,
    64\2\3,
    64\2\4,
    64\2\5,
    64\2\6,
    64\2\7,
    64\2\8,
    64\2\9,
    64\2\10,
    64\2\11,
    64\2\12,
    64\2\13,
    64\2\14,
    64\2\15,
    64\2\16,
    64\2\17,
    64\2\18,
    64\2\19,
    64\2\20,
    64\2\21,
    64\2\22,
    64\2\23,
    64\2\24,
    64\2\25,
    64\2\26,
    64\2\27,
    64\2\28,
    64\2\29,
    64\2\30,
    64\2\31,
    64\2\32,
    64\2\33,
    64\2\34,
    64\2\35,
    64\2\36,
    64\2\37,
    64\2\38,
    64\3\0,
    64\3\1,
    64\3\2,
    64\3\3,
    64\4\0,
    64\4\1,
    64\4\2,
    64\4\3,
    64\5\0,
    64\5\1,
    64\5\2,
    64\5\3,
);
endchar;

beginchar (65, 16.863u#, 3.372u#, 0.000u#);
  "O34";
  z65\0\0s = (0.000u,2.409u);
  z65\0\0 = (0.000u,1.653u);
  z65\0\1 = (5.300u,1.653u);
  z65\0\2 = (7.950u,0.736u);
  z65\0\3 = (11.563u,1.653u);
  z65\0\4 = (16.863u,1.653u);
  z65\0\5 = (16.863u,2.425u);
  z65\0\6 = (11.322u,2.425u);
  z65\0\7 = (7.950u,3.278u);
  z65\0\8 = (4.577u,2.409u);
  z65\1\0s = (7.950u,2.650u);
  z65\1\0 = (7.950u,1.445u);
  z65\1\1 = (6.745u,1.686u);
  z65\2\0s = (9.877u,2.168u);
  z65\2\0 = (9.877u,1.686u);
  z65\2\1 = (8.672u,1.445u);
  z65\2\2 = (8.672u,2.409u);
  fill_or_unfill z65\0\0s
    --z65\0\0
    --z65\0\1
    --z65\0\2
    --z65\0\3
    --z65\0\4
    --z65\0\5
    --z65\0\6
    --z65\0\7
    --z65\0\8
    --cycle;
  fill_or_unfill z65\1\0s
    --z65\1\0
    --z65\1\1
    --cycle;
  fill_or_unfill z65\2\0s
    --z65\2\0
    --z65\2\1
    --z65\2\2
    --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\1\0,
    65\1\1,
    65\1\2,
    65\2\0,
    65\2\1,
    65\2\2,
    65\2\3,
);
endchar;

beginchar (66, 17.586u#, 11.804u#, 0.000u#);
  "O35";
  z66\0\0s = (0.000u,10.841u);
  z66\0\0 = (0.000u,9.877u);
  z66\0\1 = (7.950u,9.877u);
  z66\0\2 = (4.045u,2.531u);
  z66\0\3 = (0.482u,0.723u);
  z66\0\4 = (5.059u,0.963u);
  z66\0\5 = (9.395u,8.431u);
  z66\0\6c1 = (9.676u,6.875u);
  z66\0\6c2 = (11.450u,3.321u);
  z66\0\6 = (9.842u,2.219u);
  z66\0\7c1 = (8.921u,1.588u);
  z66\0\7c2 = (7.874u,1.703u);
  z66\0\7 = (7.227u,0.723u);
  z66\0\8c1 = (7.795u,0.724u);
  z66\0\8c2 = (11.165u,0.780u);
  z66\0\8 = (11.419u,0.972u);
  z66\0\9c1 = (12.655u,1.910u);
  z66\0\9c2 = (10.249u,9.038u);
  z66\0\9 = (10.568u,9.492u);
  z66\0\10c1 = (10.896u,9.959u);
  z66\0\10c2 = (12.014u,9.876u);
  z66\0\10 = (12.527u,9.877u);
  z66\0\11 = (17.586u,9.877u);
  z66\0\12 = (17.586u,10.873u);
  z66\0\13 = (11.804u,10.873u);
  z66\0\14 = (9.154u,11.769u);
  z66\0\15 = (5.541u,10.841u);
  z66\1\0s = (8.484u,10.745u);
  z66\2\0s = (9.636u,11.081u);
  z66\2\0 = (9.395u,10.118u);
  fill_or_unfill z66\0\0s
    --z66\0\0
    --z66\0\1
    --z66\0\2
    --z66\0\3
    --z66\0\4
    --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
    ..controls z66\0\8c1 and z66\0\8c2..z66\0\8
    ..controls z66\0\9c1 and z66\0\9c2..z66\0\9
    ..controls z66\0\10c1 and z66\0\10c2..z66\0\10
    --z66\0\11
    --z66\0\12
    --z66\0\13
    --z66\0\14
    --z66\0\15
    --cycle;
  fill_or_unfill z66\1\0s
    --cycle;
  fill_or_unfill z66\2\0s
    --z66\2\0
    --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\1\0,
    66\2\0,
    66\2\1,
);
endchar;

beginchar (67, 6.986u#, 18.790u#, 0.000u#);
  "O36";
  z67\0\0s = (0.241u,18.790u);
  z67\0\0c1 = (-0.026u,16.763u);
  z67\0\0c2 = (0.735u,15.469u);
  z67\0\0 = (0.722u,13.490u);
  z67\0\1c1 = (0.714u,12.124u);
  z67\0\1c2 = (0.004u,11.198u);
  z67\0\1 = (0.002u,9.878u);
  z67\0\2c1 = (0.000u,8.622u);
  z67\0\2c2 = (0.699u,7.770u);
  z67\0\2 = (0.687u,6.504u);
  z67\0\3c1 = (0.733u,5.887u);
  z67\0\3c2 = (0.777u,5.181u);
  z67\0\3 = (0.687u,4.577u);
  z67\0\4c1 = (0.437u,3.540u);
  z67\0\4c2 = (-0.304u,2.667u);
  z67\0\4 = (0.117u,1.526u);
  z67\0\5c1 = (0.642u,0.099u);
  z67\0\5c2 = (2.403u,1.022u);
  z67\0\5 = (3.372u,1.070u);
  z67\0\6c1 = (4.371u,1.120u);
  z67\0\6c2 = (5.977u,0.132u);
  z67\0\6 = (6.740u,1.280u);
  z67\0\7c1 = (7.540u,2.485u);
  z67\0\7c2 = (6.047u,4.184u);
  z67\0\7 = (6.024u,5.541u);
  z67\0\8c1 = (6.013u,6.122u);
  z67\0\8c2 = (5.970u,6.898u);
  z67\0\8 = (6.162u,7.446u);
  z67\0\9c1 = (6.577u,8.635u);
  z67\0\9c2 = (7.087u,8.582u);
  z67\0\9 = (6.972u,10.114u);
  z67\0\10c1 = (6.920u,10.816u);
  z67\0\10c2 = (6.591u,11.211u);
  z67\0\10 = (6.394u,11.845u);
  z67\0\11c1 = (6.190u,12.499u);
  z67\0\11c2 = (6.259u,13.292u);
  z67\0\11 = (6.263u,13.972u);
  z67\0\12c1 = (6.280u,16.435u);
  z67\0\12c2 = (7.290u,15.747u);
  z67\0\12 = (6.745u,18.790u);
  z67\0\13 = (3.864u,18.510u);
  z67\1\0s = (5.300u,17.345u);
  z67\1\0 = (5.300u,2.168u);
  z67\1\1 = (1.686u,2.168u);
  z67\1\2 = (1.686u,17.345u);
  fill_or_unfill z67\0\0s
    ..controls z67\0\0c1 and z67\0\0c2..z67\0\0
    ..controls z67\0\1c1 and z67\0\1c2..z67\0\1
    ..controls z67\0\2c1 and z67\0\2c2..z67\0\2
    ..controls z67\0\3c1 and z67\0\3c2..z67\0\3
    ..controls z67\0\4c1 and z67\0\4c2..z67\0\4
    ..controls z67\0\5c1 and z67\0\5c2..z67\0\5
    ..controls z67\0\6c1 and z67\0\6c2..z67\0\6
    ..controls z67\0\7c1 and z67\0\7c2..z67\0\7
    ..controls z67\0\8c1 and z67\0\8c2..z67\0\8
    ..controls z67\0\9c1 and z67\0\9c2..z67\0\9
    ..controls z67\0\10c1 and z67\0\10c2..z67\0\10
    ..controls z67\0\11c1 and z67\0\11c2..z67\0\11
    ..controls z67\0\12c1 and z67\0\12c2..z67\0\12
    --z67\0\13
    --cycle;
  fill_or_unfill z67\1\0s
    --z67\1\0
    --z67\1\1
    --z67\1\2
    --cycle;
  proof_labels (
    67\0\0,
    67\0\1,
    67\0\2,
    67\0\3,
    67\0\4,
    67\0\5,
    67\0\6,
    67\0\7,
    67\0\8,
    67\0\9,
    67\0\10,
    67\0\11,
    67\0\12,
    67\0\13,
    67\0\14,
    67\1\0,
    67\1\1,
    67\1\2,
    67\1\3,
);
endchar;

beginchar (68, 18.790u#, 13.731u#, 0.000u#);
  "O37";
  z68\0\0s = (13.972u,3.372u);
  z68\0\0c1 = (14.210u,1.988u);
  z68\0\0c2 = (15.384u,1.815u);
  z68\0\0 = (16.622u,1.686u);
  z68\0\1 = (17.189u,3.613u);
  z68\0\2c1 = (17.223u,4.074u);
  z68\0\2c2 = (17.037u,4.551u);
  z68\0\2 = (17.189u,4.997u);
  z68\0\3c1 = (17.496u,5.776u);
  z68\0\3c2 = (19.124u,6.758u);
  z68\0\3 = (18.519u,7.828u);
  z68\0\4c1 = (17.940u,8.853u);
  z68\0\4c2 = (15.714u,8.381u);
  z68\0\4 = (14.695u,8.751u);
  z68\0\5c1 = (13.033u,9.354u);
  z68\0\5c2 = (11.528u,10.963u);
  z68\0\5 = (9.880u,11.214u);
  z68\0\6c1 = (9.181u,11.258u);
  z68\0\6c2 = (8.642u,11.038u);
  z68\0\6 = (7.928u,11.214u);
  z68\0\7c1 = (7.199u,11.481u);
  z68\0\7c2 = (6.237u,11.785u);
  z68\0\7 = (5.571u,12.144u);
  z68\0\8c1 = (4.592u,12.672u);
  z68\0\8c2 = (4.089u,13.844u);
  z68\0\8 = (2.684u,13.614u);
  z68\0\9c1 = (1.409u,13.405u);
  z68\0\9c2 = (1.751u,11.464u);
  z68\0\9 = (1.405u,10.640u);
  z68\0\10c1 = (1.010u,9.700u);
  z68\0\10c2 = (-0.734u,8.257u);
  z68\0\10 = (0.761u,7.293u);
  z68\0\11c1 = (1.856u,6.587u);
  z68\0\11c2 = (3.137u,7.100u);
  z68\0\11 = (4.336u,6.740u);
  z68\0\12c1 = (5.858u,6.283u);
  z68\0\12c2 = (6.447u,5.376u);
  z68\0\12 = (7.721u,4.770u);
  z68\0\13c1 = (8.936u,4.192u);
  z68\0\13c2 = (9.683u,4.587u);
  z68\0\13 = (10.840u,4.373u);
  z68\1\0s = (16.863u,7.227u);
  z68\1\0 = (15.658u,3.613u);
  z68\1\1 = (2.480u,8.324u);
  z68\1\2c1 = (1.510u,8.980u);
  z68\1\2c2 = (2.432u,11.599u);
  z68\1\2 = (3.404u,11.823u);
  fill_or_unfill z68\0\0s
    ..controls z68\0\0c1 and z68\0\0c2..z68\0\0
    --z68\0\1
    ..controls z68\0\2c1 and z68\0\2c2..z68\0\2
    ..controls z68\0\3c1 and z68\0\3c2..z68\0\3
    ..controls z68\0\4c1 and z68\0\4c2..z68\0\4
    ..controls z68\0\5c1 and z68\0\5c2..z68\0\5
    ..controls z68\0\6c1 and z68\0\6c2..z68\0\6
    ..controls z68\0\7c1 and z68\0\7c2..z68\0\7
    ..controls z68\0\8c1 and z68\0\8c2..z68\0\8
    ..controls z68\0\9c1 and z68\0\9c2..z68\0\9
    ..controls z68\0\10c1 and z68\0\10c2..z68\0\10
    ..controls z68\0\11c1 and z68\0\11c2..z68\0\11
    ..controls z68\0\12c1 and z68\0\12c2..z68\0\12
    ..controls z68\0\13c1 and z68\0\13c2..z68\0\13
    --cycle;
  fill_or_unfill z68\1\0s
    --z68\1\0
    --z68\1\1
    ..controls z68\1\2c1 and z68\1\2c2..z68\1\2
    --cycle;
  proof_labels (
    68\0\0,
    68\0\1,
    68\0\2,
    68\0\3,
    68\0\4,
    68\0\5,
    68\0\6,
    68\0\7,
    68\0\8,
    68\0\9,
    68\0\10,
    68\0\11,
    68\0\12,
    68\0\13,
    68\0\14,
    68\1\0,
    68\1\1,
    68\1\2,
    68\1\3,
);
endchar;

beginchar (69, 12.286u#, 13.249u#, 0.000u#);
  "O38";
  z69\0\0s = (0.000u,13.249u);
  z69\0\0 = (0.000u,1.204u);
  z69\0\1 = (3.132u,1.204u);
  z69\0\2 = (3.132u,10.118u);
  z69\0\3 = (12.286u,10.118u);
  z69\0\4 = (12.286u,13.249u);
  z69\1\0s = (11.563u,12.527u);
  z69\1\0 = (11.563u,10.840u);
  z69\1\1c1 = (0.825u,10.840u);
  z69\1\1c2 = (2.409u,12.630u);
  z69\1\1 = (2.409u,1.927u);
  z69\1\2 = (0.723u,1.927u);
  z69\1\3 = (0.723u,12.527u);
  fill_or_unfill z69\0\0s
    --z69\0\0
    --z69\0\1
    --z69\0\2
    --z69\0\3
    --z69\0\4
    --cycle;
  fill_or_unfill z69\1\0s
    --z69\1\0
    ..controls z69\1\1c1 and z69\1\1c2..z69\1\1
    --z69\1\2
    --z69\1\3
    --cycle;
  proof_labels (
    69\0\0,
    69\0\1,
    69\0\2,
    69\0\3,
    69\0\4,
    69\0\5,
    69\1\0,
    69\1\1,
    69\1\2,
    69\1\3,
    69\1\4,
);
endchar;

beginchar (70, 10.840u#, 5.300u#, 0.000u#);
  "O39";
  z70\0\0s = (0.000u,5.300u);
  z70\0\0 = (0.000u,0.723u);
  z70\0\1 = (10.840u,0.723u);
  z70\0\2 = (10.840u,5.300u);
  z70\1\0s = (10.118u,4.577u);
  z70\1\0 = (10.118u,1.445u);
  z70\1\1 = (0.723u,1.445u);
  z70\1\2 = (0.723u,4.577u);
  fill_or_unfill z70\0\0s
    --z70\0\0
    --z70\0\1
    --z70\0\2
    --cycle;
  fill_or_unfill z70\1\0s
    --z70\1\0
    --z70\1\1
    --z70\1\2
    --cycle;
  proof_labels (
    70\0\0,
    70\0\1,
    70\0\2,
    70\0\3,
    70\1\0,
    70\1\1,
    70\1\2,
    70\1\3,
);
endchar;

beginchar (71, 13.972u#, 13.249u#, 0.000u#);
  "O40";
  z71\0\0s = (9.877u,13.249u);
  z71\0\0 = (9.877u,10.359u);
  z71\0\1 = (6.986u,10.359u);
  z71\0\2 = (6.986u,7.227u);
  z71\0\3 = (3.372u,7.227u);
  z71\0\4 = (3.372u,4.095u);
  z71\0\5 = (0.000u,4.095u);
  z71\0\6 = (0.000u,0.723u);
  z71\0\7 = (13.972u,0.723u);
  z71\0\8 = (13.972u,13.249u);
  z71\1\0s = (13.249u,12.286u);
  z71\1\0 = (13.249u,1.445u);
  z71\1\1 = (0.723u,1.445u);
  z71\1\2 = (0.723u,3.372u);
  z71\1\3 = (4.095u,3.372u);
  z71\1\4 = (4.095u,6.504u);
  z71\1\5 = (7.709u,6.504u);
  z71\1\6 = (7.709u,9.636u);
  z71\1\7 = (10.600u,9.636u);
  z71\1\8 = (10.600u,12.286u);
  fill_or_unfill z71\0\0s
    --z71\0\0
    --z71\0\1
    --z71\0\2
    --z71\0\3
    --z71\0\4
    --z71\0\5
    --z71\0\6
    --z71\0\7
    --z71\0\8
    --cycle;
  fill_or_unfill z71\1\0s
    --z71\1\0
    --z71\1\1
    --z71\1\2
    --z71\1\3
    --z71\1\4
    --z71\1\5
    --z71\1\6
    --z71\1\7
    --z71\1\8
    --cycle;
  proof_labels (
    71\0\0,
    71\0\1,
    71\0\2,
    71\0\3,
    71\0\4,
    71\0\5,
    71\0\6,
    71\0\7,
    71\0\8,
    71\0\9,
    71\1\0,
    71\1\1,
    71\1\2,
    71\1\3,
    71\1\4,
    71\1\5,
    71\1\6,
    71\1\7,
    71\1\8,
    71\1\9,
);
endchar;

beginchar (72, 17.586u#, 9.154u#, 0.000u#);
  "O41";
  z72\0\0s = (7.227u,9.154u);
  z72\0\0 = (7.227u,7.227u);
  z72\0\1 = (5.059u,7.227u);
  z72\0\2 = (5.059u,5.300u);
  z72\0\3 = (2.650u,5.300u);
  z72\0\4 = (2.650u,3.132u);
  z72\0\5 = (0.000u,3.132u);
  z72\0\6 = (0.000u,0.241u);
  z72\0\7 = (17.586u,0.241u);
  z72\0\8 = (17.586u,2.891u);
  z72\0\9 = (14.936u,2.891u);
  z72\0\10 = (14.936u,5.059u);
  z72\0\11 = (12.527u,5.059u);
  z72\0\12 = (12.527u,7.227u);
  z72\0\13 = (10.359u,7.227u);
  z72\0\14 = (10.359u,9.154u);
  z72\1\0s = (9.877u,8.672u);
  z72\1\0 = (9.877u,6.504u);
  z72\1\1 = (12.045u,6.504u);
  z72\1\2 = (12.045u,4.336u);
  z72\1\3 = (14.213u,4.336u);
  z72\1\4 = (14.213u,2.168u);
  z72\1\5 = (16.863u,2.168u);
  z72\1\6 = (16.863u,0.963u);
  z72\1\7 = (0.723u,0.963u);
  z72\1\8 = (0.723u,2.409u);
  z72\1\9 = (3.372u,2.409u);
  z72\1\10 = (3.372u,4.577u);
  z72\1\11 = (5.541u,4.577u);
  z72\1\12 = (5.541u,6.504u);
  z72\1\13 = (7.709u,6.504u);
  z72\1\14 = (7.709u,8.672u);
  fill_or_unfill z72\0\0s
    --z72\0\0
    --z72\0\1
    --z72\0\2
    --z72\0\3
    --z72\0\4
    --z72\0\5
    --z72\0\6
    --z72\0\7
    --z72\0\8
    --z72\0\9
    --z72\0\10
    --z72\0\11
    --z72\0\12
    --z72\0\13
    --z72\0\14
    --cycle;
  fill_or_unfill z72\1\0s
    --z72\1\0
    --z72\1\1
    --z72\1\2
    --z72\1\3
    --z72\1\4
    --z72\1\5
    --z72\1\6
    --z72\1\7
    --z72\1\8
    --z72\1\9
    --z72\1\10
    --z72\1\11
    --z72\1\12
    --z72\1\13
    --z72\1\14
    --cycle;
  proof_labels (
    72\0\0,
    72\0\1,
    72\0\2,
    72\0\3,
    72\0\4,
    72\0\5,
    72\0\6,
    72\0\7,
    72\0\8,
    72\0\9,
    72\0\10,
    72\0\11,
    72\0\12,
    72\0\13,
    72\0\14,
    72\0\15,
    72\1\0,
    72\1\1,
    72\1\2,
    72\1\3,
    72\1\4,
    72\1\5,
    72\1\6,
    72\1\7,
    72\1\8,
    72\1\9,
    72\1\10,
    72\1\11,
    72\1\12,
    72\1\13,
    72\1\14,
    72\1\15,
);
endchar;

beginchar (73, 16.863u#, 9.154u#, 0.000u#);
  "O42";
  z73\0\0s = (2.168u,6.745u);
  z73\0\0 = (4.095u,6.745u);
  z73\0\1c1 = (4.241u,3.901u);
  z73\0\1c2 = (0.390u,3.696u);
  z73\0\1 = (0.000u,0.241u);
  z73\0\2 = (15.899u,0.241u);
  z73\0\3 = (15.899u,0.963u);
  z73\0\4 = (13.009u,0.963u);
  z73\0\5 = (14.315u,5.230u);
  z73\0\6 = (16.863u,7.227u);
  z73\0\7 = (15.417u,7.227u);
  z73\0\8c1 = (15.163u,10.334u);
  z73\0\8c2 = (13.646u,7.460u);
  z73\0\8 = (12.286u,7.227u);
  z73\0\9c1 = (12.024u,10.424u);
  z73\0\9c2 = (10.448u,7.340u);
  z73\0\9 = (8.913u,7.468u);
  z73\0\10c1 = (9.107u,10.082u);
  z73\0\10c2 = (7.164u,7.762u);
  z73\0\10 = (6.263u,7.468u);
  z73\0\11c1 = (6.159u,10.421u);
  z73\0\11c2 = (4.974u,8.311u);
  z73\0\11 = (4.005u,7.714u);
  z73\0\12c1 = (3.181u,7.206u);
  z73\0\12c2 = (2.845u,7.757u);
  z73\1\0s = (5.781u,8.191u);
  z73\1\0 = (5.059u,7.468u);
  z73\1\1 = (5.300u,8.191u);
  z73\2\0s = (8.243u,7.854u);
  z73\3\0s = (11.322u,7.691u);
  z73\4\0s = (14.454u,7.590u);
  z73\5\0s = (4.940u,6.507u);
  z73\6\0s = (6.986u,6.745u);
  z73\6\0 = (6.022u,0.963u);
  z73\6\1 = (3.613u,1.204u);
  z73\6\2c1 = (4.194u,3.194u);
  z73\6\2c2 = (4.549u,6.332u);
  z73\7\0s = (10.118u,6.504u);
  z73\7\0c1 = (10.272u,5.306u);
  z73\7\0c2 = (10.062u,1.709u);
  z73\7\0 = (8.813u,1.101u);
  z73\7\1c1 = (8.399u,0.900u);
  z73\7\1c2 = (7.021u,0.963u);
  z73\7\1 = (6.504u,0.963u);
  z73\7\2c1 = (6.998u,3.071u);
  z73\7\2c2 = (7.503u,6.420u);
  z73\8\0s = (11.081u,6.504u);
  z73\9\0s = (13.249u,6.504u);
  z73\9\0c1 = (13.249u,5.386u);
  z73\9\0c2 = (13.095u,1.874u);
  z73\9\0 = (12.163u,1.210u);
  z73\9\1c1 = (11.690u,0.873u);
  z73\9\1c2 = (10.465u,0.964u);
  z73\9\1 = (9.877u,0.963u);
  z73\9\2c1 = (10.070u,3.107u);
  z73\9\2c2 = (10.667u,6.421u);
  z73\10\0s = (14.213u,6.504u);
  z73\11\0s = (3.613u,3.854u);
  z73\11\0c1 = (3.490u,1.335u);
  z73\11\0c2 = (3.152u,0.966u);
  z73\11\0 = (0.723u,0.963u);
  z73\11\1c1 = (1.297u,2.430u);
  z73\11\1c2 = (2.147u,3.280u);
  fill_or_unfill z73\0\0s
    --z73\0\0
    ..controls z73\0\1c1 and z73\0\1c2..z73\0\1
    --z73\0\2
    --z73\0\3
    --z73\0\4
    --z73\0\5
    --z73\0\6
    --z73\0\7
    ..controls z73\0\8c1 and z73\0\8c2..z73\0\8
    ..controls z73\0\9c1 and z73\0\9c2..z73\0\9
    ..controls z73\0\10c1 and z73\0\10c2..z73\0\10
    ..controls z73\0\11c1 and z73\0\11c2..z73\0\11
    ..controls z73\0\12c1 and z73\0\12c2..cycle;
  fill_or_unfill z73\1\0s
    --z73\1\0
    --z73\1\1
    --cycle;
  fill_or_unfill z73\2\0s
    --cycle;
  fill_or_unfill z73\3\0s
    --cycle;
  fill_or_unfill z73\4\0s
    --cycle;
  fill_or_unfill z73\5\0s
    --cycle;
  fill_or_unfill z73\6\0s
    --z73\6\0
    --z73\6\1
    ..controls z73\6\2c1 and z73\6\2c2..cycle;
  fill_or_unfill z73\7\0s
    ..controls z73\7\0c1 and z73\7\0c2..z73\7\0
    ..controls z73\7\1c1 and z73\7\1c2..z73\7\1
    ..controls z73\7\2c1 and z73\7\2c2..cycle;
  fill_or_unfill z73\8\0s
    --cycle;
  fill_or_unfill z73\9\0s
    ..controls z73\9\0c1 and z73\9\0c2..z73\9\0
    ..controls z73\9\1c1 and z73\9\1c2..z73\9\1
    ..controls z73\9\2c1 and z73\9\2c2..cycle;
  fill_or_unfill z73\10\0s
    --cycle;
  fill_or_unfill z73\11\0s
    ..controls z73\11\0c1 and z73\11\0c2..z73\11\0
    ..controls z73\11\1c1 and z73\11\1c2..cycle;
  proof_labels (
    73\0\0,
    73\0\1,
    73\0\2,
    73\0\3,
    73\0\4,
    73\0\5,
    73\0\6,
    73\0\7,
    73\0\8,
    73\0\9,
    73\0\10,
    73\0\11,
    73\0\12,
    73\1\0,
    73\1\1,
    73\1\2,
    73\2\0,
    73\3\0,
    73\4\0,
    73\5\0,
    73\6\0,
    73\6\1,
    73\6\2,
    73\7\0,
    73\7\1,
    73\7\2,
    73\8\0,
    73\9\0,
    73\9\1,
    73\9\2,
    73\10\0,
    73\11\0,
    73\11\1,
);
endchar;

beginchar (74, 17.586u#, 5.300u#, 0.000u#);
  "O43";
  z74\0\0s = (2.650u,4.095u);
  z74\0\0 = (0.482u,4.095u);
  z74\0\1 = (0.482u,3.372u);
  z74\0\2c1 = (2.642u,3.364u);
  z74\0\2c2 = (2.869u,3.153u);
  z74\0\2 = (2.891u,0.963u);
  z74\0\3c1 = (1.798u,0.963u);
  z74\0\3c2 = (0.672u,1.245u);
  z74\0\3 = (0.000u,0.241u);
  z74\0\4 = (17.586u,0.241u);
  z74\0\5 = (17.586u,0.963u);
  z74\0\6 = (14.936u,0.963u);
  z74\0\7c1 = (15.005u,2.209u);
  z74\0\7c2 = (15.091u,2.948u);
  z74\0\7 = (16.381u,3.372u);
  z74\0\8c1 = (16.165u,3.968u);
  z74\0\8c2 = (15.751u,4.541u);
  z74\0\8 = (15.107u,4.754u);
  z74\0\9c1 = (14.326u,5.012u);
  z74\0\9c2 = (13.964u,4.372u);
  z74\0\9 = (13.290u,4.374u);
  z74\0\10c1 = (12.613u,4.377u);
  z74\0\10c2 = (12.484u,5.011u);
  z74\0\10 = (11.560u,4.839u);
  z74\0\11c1 = (9.616u,4.345u);
  z74\0\11c2 = (10.529u,4.853u);
  z74\0\11 = (9.154u,4.839u);
  z74\0\12c1 = (8.575u,4.894u);
  z74\0\12c2 = (8.234u,4.374u);
  z74\0\12 = (7.709u,4.427u);
  z74\0\13c1 = (6.297u,4.376u);
  z74\0\13c2 = (7.377u,5.276u);
  z74\0\13 = (5.235u,4.427u);
  z74\0\14c1 = (4.008u,4.024u);
  z74\0\14c2 = (3.326u,6.189u);
  z74\1\0s = (3.613u,4.336u);
  z74\1\0 = (3.613u,3.372u);
  z74\1\1 = (3.132u,3.372u);
  z74\1\2 = (3.132u,4.336u);
  z74\2\0s = (6.504u,4.336u);
  z74\2\0 = (6.022u,3.372u);
  z74\3\0s = (9.154u,4.336u);
  z74\3\0 = (9.154u,3.372u);
  z74\4\0s = (12.045u,4.336u);
  z74\4\0 = (12.045u,3.132u);
  z74\5\0s = (14.695u,4.336u);
  z74\5\0 = (14.936u,3.132u);
  z74\5\1 = (14.454u,3.132u);
  z74\6\0s = (6.022u,0.963u);
  z74\6\0 = (3.613u,0.963u);
  z74\6\1c1 = (3.645u,4.204u);
  z74\6\1c2 = (5.867u,4.138u);
  z74\7\0s = (8.672u,0.963u);
  z74\7\0 = (6.504u,0.963u);
  z74\7\1c1 = (6.542u,4.087u);
  z74\7\1c2 = (8.641u,4.167u);
  z74\8\0s = (11.563u,0.963u);
  z74\8\0 = (9.395u,0.963u);
  z74\8\1c1 = (9.433u,4.087u);
  z74\8\1c2 = (11.531u,4.167u);
  z74\9\0s = (14.454u,0.963u);
  z74\9\0 = (12.286u,0.963u);
  z74\9\1c1 = (12.318u,4.191u);
  z74\9\1c2 = (14.190u,3.865u);
  fill_or_unfill z74\0\0s
    --z74\0\0
    --z74\0\1
    ..controls z74\0\2c1 and z74\0\2c2..z74\0\2
    ..controls z74\0\3c1 and z74\0\3c2..z74\0\3
    --z74\0\4
    --z74\0\5
    --z74\0\6
    ..controls z74\0\7c1 and z74\0\7c2..z74\0\7
    ..controls z74\0\8c1 and z74\0\8c2..z74\0\8
    ..controls z74\0\9c1 and z74\0\9c2..z74\0\9
    ..controls z74\0\10c1 and z74\0\10c2..z74\0\10
    ..controls z74\0\11c1 and z74\0\11c2..z74\0\11
    ..controls z74\0\12c1 and z74\0\12c2..z74\0\12
    ..controls z74\0\13c1 and z74\0\13c2..z74\0\13
    ..controls z74\0\14c1 and z74\0\14c2..cycle;
  fill_or_unfill z74\1\0s
    --z74\1\0
    --z74\1\1
    --z74\1\2
    --cycle;
  fill_or_unfill z74\2\0s
    --z74\2\0
    --cycle;
  fill_or_unfill z74\3\0s
    --z74\3\0
    --cycle;
  fill_or_unfill z74\4\0s
    --z74\4\0
    --cycle;
  fill_or_unfill z74\5\0s
    --z74\5\0
    --z74\5\1
    --cycle;
  fill_or_unfill z74\6\0s
    --z74\6\0
    ..controls z74\6\1c1 and z74\6\1c2..cycle;
  fill_or_unfill z74\7\0s
    --z74\7\0
    ..controls z74\7\1c1 and z74\7\1c2..cycle;
  fill_or_unfill z74\8\0s
    --z74\8\0
    ..controls z74\8\1c1 and z74\8\1c2..cycle;
  fill_or_unfill z74\9\0s
    --z74\9\0
    ..controls z74\9\1c1 and z74\9\1c2..cycle;
  proof_labels (
    74\0\0,
    74\0\1,
    74\0\2,
    74\0\3,
    74\0\4,
    74\0\5,
    74\0\6,
    74\0\7,
    74\0\8,
    74\0\9,
    74\0\10,
    74\0\11,
    74\0\12,
    74\0\13,
    74\0\14,
    74\1\0,
    74\1\1,
    74\1\2,
    74\1\3,
    74\2\0,
    74\2\1,
    74\3\0,
    74\3\1,
    74\4\0,
    74\4\1,
    74\5\0,
    74\5\1,
    74\5\2,
    74\6\0,
    74\6\1,
    74\7\0,
    74\7\1,
    74\8\0,
    74\8\1,
    74\9\0,
    74\9\1,
);
endchar;

beginchar (75, 9.877u#, 16.863u#, 0.000u#);
  "O44";
  z75\0\0s = (0.000u,16.622u);
  z75\0\0 = (0.000u,16.140u);
  z75\0\1c1 = (1.506u,14.954u);
  z75\0\1c2 = (2.085u,13.094u);
  z75\0\1 = (2.721u,11.343u);
  z75\0\2c1 = (3.020u,10.521u);
  z75\0\2c2 = (3.721u,9.988u);
  z75\0\2 = (3.972u,9.153u);
  z75\0\3 = (4.095u,0.241u);
  z75\0\4 = (5.059u,0.241u);
  z75\0\5 = (5.237u,9.623u);
  z75\0\6 = (6.263u,10.600u);
  z75\0\7 = (6.263u,11.563u);
  z75\0\8 = (8.672u,7.950u);
  z75\0\9 = (9.154u,7.950u);
  z75\0\10 = (9.395u,8.191u);
  z75\0\11c1 = (8.765u,10.846u);
  z75\0\11c2 = (6.593u,11.325u);
  z75\0\11 = (7.942u,13.972u);
  z75\0\12c1 = (8.512u,15.092u);
  z75\0\12c2 = (8.837u,15.452u);
  z75\0\12 = (9.877u,16.140u);
  z75\0\13 = (9.877u,16.622u);
  z75\0\14c1 = (6.586u,16.723u);
  z75\0\14c2 = (8.223u,12.479u);
  z75\0\14 = (4.818u,13.249u);
  z75\0\15c1 = (7.026u,14.414u);
  z75\0\15c2 = (6.182u,16.277u);
  z75\0\15 = (4.578u,16.011u);
  z75\0\16c1 = (2.824u,15.719u);
  z75\0\16c2 = (2.360u,13.127u);
  z75\0\16 = (5.300u,12.527u);
  z75\0\17c1 = (1.860u,11.796u);
  z75\0\17c2 = (2.797u,16.827u);
  z75\1\0s = (5.541u,14.213u);
  z75\1\0 = (4.095u,14.695u);
  z75\1\1 = (4.336u,13.731u);
  z75\1\2c1 = (3.377u,15.119u);
  z75\1\2c2 = (5.197u,16.164u);
  z75\2\0s = (5.059u,11.322u);
  z75\2\0 = (4.818u,10.359u);
  z75\2\1 = (4.336u,10.359u);
  z75\2\2 = (4.095u,11.322u);
  fill_or_unfill z75\0\0s
    --z75\0\0
    ..controls z75\0\1c1 and z75\0\1c2..z75\0\1
    ..controls z75\0\2c1 and z75\0\2c2..z75\0\2
    --z75\0\3
    --z75\0\4
    --z75\0\5
    --z75\0\6
    --z75\0\7
    --z75\0\8
    --z75\0\9
    --z75\0\10
    ..controls z75\0\11c1 and z75\0\11c2..z75\0\11
    ..controls z75\0\12c1 and z75\0\12c2..z75\0\12
    --z75\0\13
    ..controls z75\0\14c1 and z75\0\14c2..z75\0\14
    ..controls z75\0\15c1 and z75\0\15c2..z75\0\15
    ..controls z75\0\16c1 and z75\0\16c2..z75\0\16
    ..controls z75\0\17c1 and z75\0\17c2..cycle;
  fill_or_unfill z75\1\0s
    --z75\1\0
    --z75\1\1
    ..controls z75\1\2c1 and z75\1\2c2..cycle;
  fill_or_unfill z75\2\0s
    --z75\2\0
    --z75\2\1
    --z75\2\2
    --cycle;
  proof_labels (
    75\0\0,
    75\0\1,
    75\0\2,
    75\0\3,
    75\0\4,
    75\0\5,
    75\0\6,
    75\0\7,
    75\0\8,
    75\0\9,
    75\0\10,
    75\0\11,
    75\0\12,
    75\0\13,
    75\0\14,
    75\0\15,
    75\0\16,
    75\0\17,
    75\1\0,
    75\1\1,
    75\1\2,
    75\2\0,
    75\2\1,
    75\2\2,
    75\2\3,
);
endchar;

beginchar (76, 8.672u#, 9.636u#, 0.000u#);
  "O45";
  z76\0\0s = (0.000u,1.204u);
  z76\0\0 = (8.672u,1.204u);
  z76\0\1 = (8.672u,9.636u);
  z76\0\2c1 = (3.394u,9.635u);
  z76\0\2c2 = (0.117u,6.551u);
  z76\1\0s = (7.950u,8.913u);
  z76\1\0c1 = (7.950u,8.374u);
  z76\1\0c2 = (8.013u,7.016u);
  z76\1\0 = (7.805u,6.576u);
  z76\1\1c1 = (7.321u,5.550u);
  z76\1\1c2 = (4.018u,5.515u);
  z76\1\1 = (3.613u,1.927u);
  z76\1\2 = (0.723u,1.927u);
  z76\1\3c1 = (0.813u,5.937u);
  z76\1\3c2 = (4.008u,8.824u);
  z76\2\0s = (7.950u,5.541u);
  z76\2\0 = (7.950u,1.927u);
  z76\2\1 = (4.336u,1.927u);
  z76\2\2c1 = (4.465u,4.149u);
  z76\2\2c2 = (5.836u,5.194u);
  fill_or_unfill z76\0\0s
    --z76\0\0
    --z76\0\1
    ..controls z76\0\2c1 and z76\0\2c2..cycle;
  fill_or_unfill z76\1\0s
    ..controls z76\1\0c1 and z76\1\0c2..z76\1\0
    ..controls z76\1\1c1 and z76\1\1c2..z76\1\1
    --z76\1\2
    ..controls z76\1\3c1 and z76\1\3c2..cycle;
  fill_or_unfill z76\2\0s
    --z76\2\0
    --z76\2\1
    ..controls z76\2\2c1 and z76\2\2c2..cycle;
  proof_labels (
    76\0\0,
    76\0\1,
    76\0\2,
    76\1\0,
    76\1\1,
    76\1\2,
    76\1\3,
    76\2\0,
    76\2\1,
    76\2\2,
);
endchar;

beginchar (77, 8.431u#, 12.045u#, 0.000u#);
  "O46";
  z77\0\0s = (0.000u,0.963u);
  z77\0\0 = (8.431u,0.963u);
  z77\0\1 = (8.431u,7.709u);
  z77\0\2c1 = (8.430u,8.581u);
  z77\0\2c2 = (8.483u,9.315u);
  z77\0\2 = (8.053u,10.114u);
  z77\0\3c1 = (6.727u,12.585u);
  z77\0\3c2 = (2.570u,12.792u);
  z77\0\3 = (0.879u,10.575u);
  z77\0\4c1 = (-0.408u,8.887u);
  z77\0\4c2 = (0.000u,3.223u);
  z77\1\0s = (4.336u,1.927u);
  z77\1\0 = (0.723u,1.927u);
  z77\1\1c1 = (0.723u,3.743u);
  z77\1\1c2 = (0.452u,8.774u);
  z77\1\1 = (1.549u,10.086u);
  z77\1\2c1 = (3.035u,11.864u);
  z77\1\2c2 = (7.208u,11.526u);
  z77\1\2 = (7.600u,8.917u);
  z77\1\3c1 = (7.854u,7.229u);
  z77\1\3c2 = (5.860u,8.109u);
  z77\1\3 = (4.783u,6.479u);
  z77\1\4c1 = (4.137u,5.502u);
  z77\1\4c2 = (4.336u,3.131u);
  z77\2\0s = (7.709u,6.986u);
  z77\2\0 = (7.709u,1.927u);
  z77\2\1 = (5.300u,1.927u);
  z77\2\2c1 = (5.300u,4.387u);
  z77\2\2c2 = (4.441u,6.902u);
  fill_or_unfill z77\0\0s
    --z77\0\0
    --z77\0\1
    ..controls z77\0\2c1 and z77\0\2c2..z77\0\2
    ..controls z77\0\3c1 and z77\0\3c2..z77\0\3
    ..controls z77\0\4c1 and z77\0\4c2..cycle;
  fill_or_unfill z77\1\0s
    --z77\1\0
    ..controls z77\1\1c1 and z77\1\1c2..z77\1\1
    ..controls z77\1\2c1 and z77\1\2c2..z77\1\2
    ..controls z77\1\3c1 and z77\1\3c2..z77\1\3
    ..controls z77\1\4c1 and z77\1\4c2..cycle;
  fill_or_unfill z77\2\0s
    --z77\2\0
    --z77\2\1
    ..controls z77\2\2c1 and z77\2\2c2..cycle;
  proof_labels (
    77\0\0,
    77\0\1,
    77\0\2,
    77\0\3,
    77\0\4,
    77\1\0,
    77\1\1,
    77\1\2,
    77\1\3,
    77\1\4,
    77\2\0,
    77\2\1,
    77\2\2,
);
endchar;

beginchar (78, 11.563u#, 5.541u#, 0.000u#);
  "O47";
  z78\0\0s = (1.455u,5.363u);
  z78\0\0c1 = (0.719u,4.938u);
  z78\0\0c2 = (0.258u,4.498u);
  z78\0\0 = (0.104u,3.613u);
  z78\0\1c1 = (-0.523u,-0.015u);
  z78\0\1c2 = (6.308u,0.960u);
  z78\0\1 = (8.431u,0.963u);
  z78\0\2c1 = (13.047u,0.971u);
  z78\0\2c2 = (12.211u,5.479u);
  z78\0\2 = (8.913u,5.539u);
  z78\0\3c1 = (6.990u,5.575u);
  z78\0\3c2 = (3.181u,5.787u);
  z78\1\0s = (1.712u,4.657u);
  z78\1\0c1 = (2.683u,4.890u);
  z78\1\0c2 = (9.326u,4.975u);
  z78\1\0 = (10.067u,4.657u);
  z78\1\1c1 = (11.002u,4.216u);
  z78\1\1c2 = (11.382u,2.610u);
  z78\1\1 = (10.483u,1.969u);
  z78\1\2c1 = (10.000u,1.625u);
  z78\1\2c2 = (9.012u,1.687u);
  z78\1\2 = (8.431u,1.686u);
  z78\1\3c1 = (6.836u,1.684u);
  z78\1\3c2 = (1.254u,1.050u);
  z78\1\3 = (0.837u,2.901u);
  z78\1\4c1 = (0.642u,3.767u);
  z78\1\4c2 = (1.039u,4.245u);
  z78\2\0s = (4.095u,4.095u);
  z78\2\0 = (5.300u,2.168u);
  z78\3\0s = (6.504u,4.095u);
  z78\3\0 = (7.468u,2.168u);
  fill_or_unfill z78\0\0s
    ..controls z78\0\0c1 and z78\0\0c2..z78\0\0
    ..controls z78\0\1c1 and z78\0\1c2..z78\0\1
    ..controls z78\0\2c1 and z78\0\2c2..z78\0\2
    ..controls z78\0\3c1 and z78\0\3c2..cycle;
  fill_or_unfill z78\1\0s
    ..controls z78\1\0c1 and z78\1\0c2..z78\1\0
    ..controls z78\1\1c1 and z78\1\1c2..z78\1\1
    ..controls z78\1\2c1 and z78\1\2c2..z78\1\2
    ..controls z78\1\3c1 and z78\1\3c2..z78\1\3
    ..controls z78\1\4c1 and z78\1\4c2..cycle;
  fill_or_unfill z78\2\0s
    --z78\2\0
    --cycle;
  fill_or_unfill z78\3\0s
    --z78\3\0
    --cycle;
  proof_labels (
    78\0\0,
    78\0\1,
    78\0\2,
    78\0\3,
    78\1\0,
    78\1\1,
    78\1\2,
    78\1\3,
    78\1\4,
    78\2\0,
    78\2\1,
    78\3\0,
    78\3\1,
);
endchar;

beginchar (79, 8.672u#, 9.395u#, 0.000u#);
  "O48";
  z79\0\0s = (3.132u,9.242u);
  z79\0\0c1 = (-2.539u,7.101u);
  z79\0\0c2 = (0.479u,-0.517u);
  z79\0\0 = (5.781u,1.037u);
  z79\0\1c1 = (10.250u,2.346u);
  z79\0\1c2 = (9.695u,10.559u);
  z79\1\0s = (3.854u,8.825u);
  z79\1\0c1 = (9.141u,9.021u);
  z79\1\0c2 = (9.295u,2.051u);
  z79\1\0 = (4.577u,1.579u);
  z79\1\1c1 = (0.497u,1.171u);
  z79\1\1c2 = (-1.060u,7.679u);
  z79\2\0s = (3.372u,7.468u);
  z79\2\0 = (3.372u,2.891u);
  z79\2\1c1 = (4.067u,3.964u);
  z79\2\1c2 = (4.137u,6.430u);
  z79\3\0s = (5.059u,7.468u);
  z79\3\0 = (5.300u,2.891u);
  z79\3\1c1 = (6.080u,3.950u);
  z79\3\1c2 = (5.891u,6.236u);
  z79\3\1 = (5.541u,7.468u);
  fill_or_unfill z79\0\0s
    ..controls z79\0\0c1 and z79\0\0c2..z79\0\0
    ..controls z79\0\1c1 and z79\0\1c2..cycle;
  fill_or_unfill z79\1\0s
    ..controls z79\1\0c1 and z79\1\0c2..z79\1\0
    ..controls z79\1\1c1 and z79\1\1c2..cycle;
  fill_or_unfill z79\2\0s
    --z79\2\0
    ..controls z79\2\1c1 and z79\2\1c2..cycle;
  fill_or_unfill z79\3\0s
    --z79\3\0
    ..controls z79\3\1c1 and z79\3\1c2..z79\3\1
    --cycle;
  proof_labels (
    79\0\0,
    79\0\1,
    79\1\0,
    79\1\1,
    79\2\0,
    79\2\1,
    79\3\0,
    79\3\1,
    79\3\2,
);
endchar;

beginchar (80, 8.431u#, 9.154u#, 0.000u#);
  "O49";
  z80\0\0s = (3.854u,9.039u);
  z80\0\0c1 = (-1.626u,8.065u);
  z80\0\0c2 = (-1.004u,1.061u);
  z80\0\0 = (3.854u,0.563u);
  z80\0\1c1 = (9.656u,-0.032u);
  z80\0\1c2 = (10.114u,9.379u);
  z80\1\0s = (5.541u,7.950u);
  z80\1\0 = (5.541u,7.468u);
  z80\1\1c1 = (4.271u,6.728u);
  z80\1\1c2 = (3.616u,6.601u);
  z80\1\1 = (3.132u,8.191u);
  z80\2\0s = (6.986u,6.986u);
  z80\2\0c1 = (4.685u,3.767u);
  z80\2\0c2 = (5.254u,5.570u);
  z80\2\0 = (6.745u,2.409u);
  z80\2\1 = (6.504u,2.168u);
  z80\2\2 = (3.613u,3.467u);
  z80\2\3 = (1.686u,2.409u);
  z80\2\4 = (2.913u,5.300u);
  z80\2\5 = (1.686u,7.227u);
  z80\2\6 = (1.927u,7.468u);
  z80\2\7 = (4.067u,5.917u);
  z80\3\0s = (1.445u,6.263u);
  z80\3\0c1 = (2.431u,4.920u);
  z80\3\0c2 = (2.549u,4.498u);
  z80\3\0 = (0.963u,3.613u);
  z80\4\0s = (7.468u,6.022u);
  z80\4\0 = (7.227u,3.372u);
  z80\4\1c1 = (5.792u,4.495u);
  z80\4\1c2 = (5.908u,5.154u);
  z80\5\0s = (5.300u,1.686u);
  z80\5\0 = (2.891u,1.686u);
  z80\5\1c1 = (3.834u,2.882u);
  z80\5\1c2 = (4.425u,3.037u);
  fill_or_unfill z80\0\0s
    ..controls z80\0\0c1 and z80\0\0c2..z80\0\0
    ..controls z80\0\1c1 and z80\0\1c2..cycle;
  fill_or_unfill z80\1\0s
    --z80\1\0
    ..controls z80\1\1c1 and z80\1\1c2..z80\1\1
    --cycle;
  fill_or_unfill z80\2\0s
    ..controls z80\2\0c1 and z80\2\0c2..z80\2\0
    --z80\2\1
    --z80\2\2
    --z80\2\3
    --z80\2\4
    --z80\2\5
    --z80\2\6
    --z80\2\7
    --cycle;
  fill_or_unfill z80\3\0s
    ..controls z80\3\0c1 and z80\3\0c2..z80\3\0
    --cycle;
  fill_or_unfill z80\4\0s
    --z80\4\0
    ..controls z80\4\1c1 and z80\4\1c2..cycle;
  fill_or_unfill z80\5\0s
    --z80\5\0
    ..controls z80\5\1c1 and z80\5\1c2..cycle;
  proof_labels (
    80\0\0,
    80\0\1,
    80\1\0,
    80\1\1,
    80\1\2,
    80\2\0,
    80\2\1,
    80\2\2,
    80\2\3,
    80\2\4,
    80\2\5,
    80\2\6,
    80\2\7,
    80\2\8,
    80\3\0,
    80\3\1,
    80\4\0,
    80\4\1,
    80\5\0,
    80\5\1,
);
endchar;

beginchar (81, 8.431u#, 8.913u#, 0.000u#);
  "O50";
  z81\0\0s = (3.132u,8.779u);
  z81\0\0c1 = (-2.240u,6.902u);
  z81\0\0c2 = (0.264u,-0.644u);
  z81\0\0 = (5.300u,0.652u);
  z81\0\1c1 = (10.292u,1.938u);
  z81\0\1c2 = (9.296u,9.856u);
  z81\1\0s = (3.372u,8.090u);
  z81\1\0c1 = (8.723u,8.867u);
  z81\1\0c2 = (8.942u,2.392u);
  z81\1\0 = (5.059u,1.361u);
  z81\1\1c1 = (1.260u,0.352u);
  z81\1\1c2 = (-1.344u,6.428u);
  z81\2\0s = (4.546u,6.952u);
  z81\2\0c1 = (5.615u,7.683u);
  z81\2\0c2 = (3.672u,7.433u);
  z81\2\0 = (4.546u,6.970u);
  z81\3\0s = (2.585u,6.524u);
  z81\3\0c1 = (3.797u,6.916u);
  z81\3\0c2 = (2.246u,7.309u);
  z81\3\0 = (2.585u,6.596u);
  z81\4\0s = (5.541u,7.227u);
  z81\4\0 = (5.541u,6.504u);
  z81\4\1 = (6.263u,6.745u);
  z81\5\0s = (2.014u,5.187u);
  z81\5\0c1 = (2.906u,5.972u);
  z81\5\0c2 = (1.426u,6.061u);
  z81\5\0 = (1.907u,5.276u);
  z81\6\0s = (4.818u,6.022u);
  z81\6\0 = (4.577u,5.300u);
  z81\6\1 = (5.300u,5.781u);
  z81\7\0s = (3.779u,5.669u);
  z81\7\0 = (3.708u,5.686u);
  z81\7\1c1 = (3.048u,6.168u);
  z81\7\1c2 = (2.335u,3.940u);
  z81\8\0s = (6.756u,6.061u);
  z81\8\0c1 = (5.811u,5.508u);
  z81\8\0c2 = (6.916u,5.366u);
  z81\8\0 = (7.006u,5.366u);
  z81\9\0s = (3.854u,4.577u);
  z81\9\0 = (4.095u,4.336u);
  z81\9\1 = (4.577u,5.059u);
  z81\10\0s = (5.508u,5.045u);
  z81\10\0 = (5.045u,5.027u);
  z81\10\1c1 = (5.597u,4.171u);
  z81\10\1c2 = (5.793u,4.243u);
  z81\11\0s = (1.872u,3.547u);
  z81\11\0c1 = (2.745u,4.278u);
  z81\11\0c2 = (1.444u,4.171u);
  z81\11\0 = (1.462u,4.029u);
  z81\12\0s = (2.870u,4.439u);
  z81\12\0 = (3.088u,4.138u);
  z81\12\1c1 = (3.797u,4.350u);
  z81\12\1c2 = (3.423u,4.920u);
  z81\13\0s = (6.263u,3.613u);
  z81\13\0 = (6.504u,3.372u);
  z81\13\1 = (6.986u,4.095u);
  z81\14\0s = (4.956u,3.601u);
  z81\14\0c1 = (4.207u,3.975u);
  z81\14\0c2 = (4.047u,3.868u);
  z81\14\0 = (4.492u,3.262u);
  z81\15\0s = (2.409u,2.891u);
  z81\15\0 = (2.650u,2.168u);
  z81\15\1 = (3.132u,2.891u);
  z81\16\0s = (5.615u,3.351u);
  z81\16\0 = (5.170u,2.817u);
  z81\16\1c1 = (5.276u,2.603u);
  z81\16\1c2 = (6.257u,2.674u);
  z81\17\0s = (4.095u,2.650u);
  z81\17\0 = (3.854u,1.927u);
  z81\17\1 = (4.577u,1.927u);
  fill_or_unfill z81\0\0s
    ..controls z81\0\0c1 and z81\0\0c2..z81\0\0
    ..controls z81\0\1c1 and z81\0\1c2..cycle;
  fill_or_unfill z81\1\0s
    ..controls z81\1\0c1 and z81\1\0c2..z81\1\0
    ..controls z81\1\1c1 and z81\1\1c2..cycle;
  fill_or_unfill z81\2\0s
    ..controls z81\2\0c1 and z81\2\0c2..z81\2\0
    --cycle;
  fill_or_unfill z81\3\0s
    ..controls z81\3\0c1 and z81\3\0c2..z81\3\0
    --cycle;
  fill_or_unfill z81\4\0s
    --z81\4\0
    --z81\4\1
    --cycle;
  fill_or_unfill z81\5\0s
    ..controls z81\5\0c1 and z81\5\0c2..z81\5\0
    --cycle;
  fill_or_unfill z81\6\0s
    --z81\6\0
    --z81\6\1
    --cycle;
  fill_or_unfill z81\7\0s
    --z81\7\0
    ..controls z81\7\1c1 and z81\7\1c2..cycle;
  fill_or_unfill z81\8\0s
    ..controls z81\8\0c1 and z81\8\0c2..z81\8\0
    --cycle;
  fill_or_unfill z81\9\0s
    --z81\9\0
    --z81\9\1
    --cycle;
  fill_or_unfill z81\10\0s
    --z81\10\0
    ..controls z81\10\1c1 and z81\10\1c2..cycle;
  fill_or_unfill z81\11\0s
    ..controls z81\11\0c1 and z81\11\0c2..z81\11\0
    --cycle;
  fill_or_unfill z81\12\0s
    --z81\12\0
    ..controls z81\12\1c1 and z81\12\1c2..cycle;
  fill_or_unfill z81\13\0s
    --z81\13\0
    --z81\13\1
    --cycle;
  fill_or_unfill z81\14\0s
    ..controls z81\14\0c1 and z81\14\0c2..z81\14\0
    --cycle;
  fill_or_unfill z81\15\0s
    --z81\15\0
    --z81\15\1
    --cycle;
  fill_or_unfill z81\16\0s
    --z81\16\0
    ..controls z81\16\1c1 and z81\16\1c2..cycle;
  fill_or_unfill z81\17\0s
    --z81\17\0
    --z81\17\1
    --cycle;
  proof_labels (
    81\0\0,
    81\0\1,
    81\1\0,
    81\1\1,
    81\2\0,
    81\2\1,
    81\3\0,
    81\3\1,
    81\4\0,
    81\4\1,
    81\4\2,
    81\5\0,
    81\5\1,
    81\6\0,
    81\6\1,
    81\6\2,
    81\7\0,
    81\7\1,
    81\8\0,
    81\8\1,
    81\9\0,
    81\9\1,
    81\9\2,
    81\10\0,
    81\10\1,
    81\11\0,
    81\11\1,
    81\12\0,
    81\12\1,
    81\13\0,
    81\13\1,
    81\13\2,
    81\14\0,
    81\14\1,
    81\15\0,
    81\15\1,
    81\15\2,
    81\16\0,
    81\16\1,
    81\17\0,
    81\17\1,
    81\17\2,
);
endchar;

beginchar (82, 16.863u#, 13.490u#, 0.000u#);
  "O51";
  z82\0\0s = (2.891u,2.409u);
  z82\0\0c1 = (-0.232u,7.331u);
  z82\0\0c2 = (0.000u,3.114u);
  z82\0\0 = (0.000u,0.241u);
  z82\0\1 = (16.863u,0.241u);
  z82\0\2c1 = (16.863u,1.016u);
  z82\0\2c2 = (17.322u,5.111u);
  z82\0\2 = (15.896u,4.536u);
  z82\0\3c1 = (15.098u,4.215u);
  z82\0\3c2 = (14.585u,3.020u);
  z82\0\3 = (13.972u,2.409u);
  z82\0\4 = (12.290u,12.933u);
  z82\0\5 = (10.600u,13.490u);
  z82\0\6 = (6.986u,13.490u);
  z82\0\7 = (5.100u,13.111u);
  z82\1\0s = (13.249u,2.409u);
  z82\1\0 = (3.854u,2.409u);
  z82\1\1 = (5.958u,12.288u);
  z82\1\2 = (9.636u,12.527u);
  z82\1\3 = (11.559u,12.142u);
  z82\2\0s = (7.709u,9.877u);
  z82\2\0c1 = (8.974u,10.255u);
  z82\2\0c2 = (9.725u,10.605u);
  z82\2\0 = (9.395u,12.045u);
  z82\2\1c1 = (8.208u,11.639u);
  z82\2\1c2 = (7.543u,11.223u);
  z82\3\0s = (7.227u,7.709u);
  z82\3\0c1 = (8.735u,7.333u);
  z82\3\0c2 = (9.393u,7.897u);
  z82\3\0 = (9.636u,9.395u);
  z82\3\1c1 = (8.261u,9.296u);
  z82\3\1c2 = (7.708u,9.050u);
  z82\4\0s = (7.468u,5.059u);
  z82\4\0c1 = (11.566u,5.632u);
  z82\4\0c2 = (8.064u,8.712u);
  z82\5\0s = (7.468u,2.891u);
  z82\5\0c1 = (8.789u,2.668u);
  z82\5\0c2 = (9.212u,3.126u);
  z82\5\0 = (9.636u,4.336u);
  z82\5\1c1 = (8.349u,4.522u);
  z82\5\1c2 = (7.891u,4.069u);
  z82\6\0s = (1.204u,3.854u);
  z82\6\0c1 = (1.551u,3.264u);
  z82\6\0c2 = (1.874u,2.290u);
  z82\6\0 = (2.463u,1.932u);
  z82\6\1c1 = (3.228u,1.469u);
  z82\6\1c2 = (11.498u,1.676u);
  z82\6\1 = (13.009u,1.686u);
  z82\6\2c1 = (15.379u,1.702u);
  z82\6\2c2 = (14.647u,2.279u);
  z82\6\2 = (16.140u,3.613u);
  z82\6\3 = (16.140u,0.963u);
  z82\6\4 = (0.723u,0.963u);
  fill_or_unfill z82\0\0s
    ..controls z82\0\0c1 and z82\0\0c2..z82\0\0
    --z82\0\1
    ..controls z82\0\2c1 and z82\0\2c2..z82\0\2
    ..controls z82\0\3c1 and z82\0\3c2..z82\0\3
    --z82\0\4
    --z82\0\5
    --z82\0\6
    --z82\0\7
    --cycle;
  fill_or_unfill z82\1\0s
    --z82\1\0
    --z82\1\1
    --z82\1\2
    --z82\1\3
    --cycle;
  fill_or_unfill z82\2\0s
    ..controls z82\2\0c1 and z82\2\0c2..z82\2\0
    ..controls z82\2\1c1 and z82\2\1c2..cycle;
  fill_or_unfill z82\3\0s
    ..controls z82\3\0c1 and z82\3\0c2..z82\3\0
    ..controls z82\3\1c1 and z82\3\1c2..cycle;
  fill_or_unfill z82\4\0s
    ..controls z82\4\0c1 and z82\4\0c2..cycle;
  fill_or_unfill z82\5\0s
    ..controls z82\5\0c1 and z82\5\0c2..z82\5\0
    ..controls z82\5\1c1 and z82\5\1c2..cycle;
  fill_or_unfill z82\6\0s
    ..controls z82\6\0c1 and z82\6\0c2..z82\6\0
    ..controls z82\6\1c1 and z82\6\1c2..z82\6\1
    ..controls z82\6\2c1 and z82\6\2c2..z82\6\2
    --z82\6\3
    --z82\6\4
    --cycle;
  proof_labels (
    82\0\0,
    82\0\1,
    82\0\2,
    82\0\3,
    82\0\4,
    82\0\5,
    82\0\6,
    82\0\7,
    82\0\8,
    82\1\0,
    82\1\1,
    82\1\2,
    82\1\3,
    82\1\4,
    82\2\0,
    82\2\1,
    82\3\0,
    82\3\1,
    82\4\0,
    82\5\0,
    82\5\1,
    82\6\0,
    82\6\1,
    82\6\2,
    82\6\3,
    82\6\4,
    82\6\5,
);
endchar;

beginchar (83, 3.372u#, 17.345u#, 0.000u#);
  "O29*";
  z83\0\0s = (1.445u,17.345u);
  z83\0\0c1 = (1.245u,16.035u);
  z83\0\0c2 = (0.449u,15.514u);
  z83\0\0 = (0.300u,14.695u);
  z83\0\1c1 = (0.158u,13.916u);
  z83\0\1c2 = (1.011u,13.249u);
  z83\0\1 = (1.031u,12.286u);
  z83\0\2 = (0.244u,4.336u);
  z83\0\3c1 = (0.220u,3.278u);
  z83\0\3c2 = (0.162u,0.311u);
  z83\0\3 = (1.686u,0.311u);
  z83\0\4c1 = (3.051u,0.311u);
  z83\0\4c2 = (3.106u,2.631u);
  z83\0\4 = (3.128u,3.613u);
  z83\0\5 = (2.342u,12.286u);
  z83\0\6c1 = (2.362u,13.249u);
  z83\0\6c2 = (3.214u,13.916u);
  z83\0\6 = (3.072u,14.695u);
  z83\0\7c1 = (2.923u,15.514u);
  z83\0\7c2 = (2.127u,16.035u);
  z83\0\7 = (1.927u,17.345u);
  z83\1\0s = (1.927u,15.417u);
  z83\1\0 = (1.927u,13.731u);
  z83\1\1 = (1.445u,13.731u);
  z83\1\2 = (1.445u,15.417u);
  z83\2\0s = (1.927u,8.913u);
  z83\2\0 = (1.927u,0.963u);
  z83\2\1 = (1.445u,0.963u);
  z83\2\2 = (1.445u,8.913u);
  fill_or_unfill z83\0\0s
    ..controls z83\0\0c1 and z83\0\0c2..z83\0\0
    ..controls z83\0\1c1 and z83\0\1c2..z83\0\1
    --z83\0\2
    ..controls z83\0\3c1 and z83\0\3c2..z83\0\3
    ..controls z83\0\4c1 and z83\0\4c2..z83\0\4
    --z83\0\5
    ..controls z83\0\6c1 and z83\0\6c2..z83\0\6
    ..controls z83\0\7c1 and z83\0\7c2..z83\0\7
    --cycle;
  fill_or_unfill z83\1\0s
    --z83\1\0
    --z83\1\1
    --z83\1\2
    --cycle;
  fill_or_unfill z83\2\0s
    --z83\2\0
    --z83\2\1
    --z83\2\2
    --cycle;
  proof_labels (
    83\0\0,
    83\0\1,
    83\0\2,
    83\0\3,
    83\0\4,
    83\0\5,
    83\0\6,
    83\0\7,
    83\0\8,
    83\1\0,
    83\1\1,
    83\1\2,
    83\1\3,
    83\2\0,
    83\2\1,
    83\2\2,
    83\2\3,
);
endchar;