beginchar (32, 16.863u#, 19.513u#, 0.000u#);
  "R1";
  z32\0\0s = (0.963u,12.768u);
  z32\0\0c1 = (-1.461u,11.908u);
  z32\0\0c2 = (1.487u,10.846u);
  z32\0\0 = (2.650u,10.841u);
  z32\0\1c1 = (3.715u,10.835u);
  z32\0\1c2 = (5.551u,10.980u);
  z32\0\1 = (6.469u,10.462u);
  z32\0\2c1 = (8.440u,9.351u);
  z32\0\2c2 = (6.341u,3.630u);
  z32\0\2 = (6.022u,1.927u);
  z32\0\3 = (10.359u,1.927u);
  z32\0\4c1 = (10.034u,3.658u);
  z32\0\4c2 = (7.316u,9.346u);
  z32\0\4 = (9.891u,10.422u);
  z32\0\5c1 = (10.586u,10.712u);
  z32\0\5c2 = (13.077u,10.588u);
  z32\0\5 = (13.972u,10.600u);
  z32\0\6c1 = (14.953u,10.613u);
  z32\0\6c2 = (17.734u,11.260u);
  z32\0\6 = (15.899u,12.527u);
  z32\0\7c1 = (19.595u,18.685u);
  z32\0\7c2 = (9.183u,19.170u);
  z32\0\7 = (12.527u,12.527u);
  z32\0\8 = (9.395u,12.527u);
  z32\0\9 = (10.012u,14.423u);
  z32\0\10 = (11.081u,16.140u);
  z32\0\11c1 = (9.893u,16.529u);
  z32\0\11c2 = (9.243u,17.628u);
  z32\0\11 = (8.913u,18.790u);
  z32\0\12 = (10.118u,19.031u);
  z32\0\13c1 = (9.091u,19.787u);
  z32\0\13c2 = (7.208u,19.609u);
  z32\0\13 = (6.022u,19.272u);
  z32\0\14 = (7.227u,18.790u);
  z32\0\15 = (5.059u,16.140u);
  z32\0\16 = (5.059u,15.658u);
  z32\0\17c1 = (6.262u,14.669u);
  z32\0\17c2 = (6.302u,14.257u);
  z32\0\17 = (6.504u,12.768u);
  z32\0\18 = (3.854u,12.768u);
  z32\0\19c1 = (4.370u,14.007u);
  z32\0\19c2 = (4.439u,15.290u);
  z32\0\19 = (4.295u,16.622u);
  z32\0\20c1 = (3.653u,22.539u);
  z32\0\20c2 = (-0.994u,17.986u);
  z32\1\0s = (2.434u,18.329u);
  z32\1\0c1 = (3.961u,17.988u);
  z32\1\0c2 = (4.125u,13.377u);
  z32\1\0 = (2.628u,12.980u);
  z32\1\1c1 = (0.630u,12.452u);
  z32\1\1c2 = (0.848u,17.444u);
  z32\2\0s = (8.191u,18.549u);
  z32\3\0s = (9.154u,16.622u);
  z32\3\0 = (6.986u,16.622u);
  z32\3\1c1 = (7.670u,17.642u);
  z32\3\1c2 = (8.373u,17.392u);
  z32\4\0s = (13.735u,16.517u);
  z32\4\0c1 = (16.625u,16.860u);
  z32\4\0c2 = (16.780u,13.435u);
  z32\4\0 = (14.691u,12.946u);
  z32\4\1c1 = (12.712u,12.483u);
  z32\4\1c2 = (11.115u,15.433u);
  z32\5\0s = (9.154u,15.899u);
  z32\5\0c1 = (9.066u,11.989u);
  z32\5\0c2 = (6.834u,11.989u);
  z32\5\0 = (6.745u,15.899u);
  z32\6\0s = (15.658u,12.045u);
  z32\6\0 = (15.658u,11.563u);
  z32\6\1 = (0.963u,11.563u);
  z32\6\2 = (0.963u,12.045u);
  z32\7\0s = (8.191u,10.118u);
  z32\7\0 = (9.395u,2.650u);
  z32\7\1 = (6.986u,2.891u);
  z32\7\2 = (7.909u,7.227u);
  fill_or_unfill z32\0\0s
    ..controls z32\0\0c1 and z32\0\0c2..z32\0\0
    ..controls z32\0\1c1 and z32\0\1c2..z32\0\1
    ..controls z32\0\2c1 and z32\0\2c2..z32\0\2
    --z32\0\3
    ..controls z32\0\4c1 and z32\0\4c2..z32\0\4
    ..controls z32\0\5c1 and z32\0\5c2..z32\0\5
    ..controls z32\0\6c1 and z32\0\6c2..z32\0\6
    ..controls z32\0\7c1 and z32\0\7c2..z32\0\7
    --z32\0\8
    --z32\0\9
    --z32\0\10
    ..controls z32\0\11c1 and z32\0\11c2..z32\0\11
    --z32\0\12
    ..controls z32\0\13c1 and z32\0\13c2..z32\0\13
    --z32\0\14
    --z32\0\15
    --z32\0\16
    ..controls z32\0\17c1 and z32\0\17c2..z32\0\17
    --z32\0\18
    ..controls z32\0\19c1 and z32\0\19c2..z32\0\19
    ..controls z32\0\20c1 and z32\0\20c2..cycle;
  fill_or_unfill z32\1\0s
    ..controls z32\1\0c1 and z32\1\0c2..z32\1\0
    ..controls z32\1\1c1 and z32\1\1c2..cycle;
  fill_or_unfill z32\2\0s
    --cycle;
  fill_or_unfill z32\3\0s
    --z32\3\0
    ..controls z32\3\1c1 and z32\3\1c2..cycle;
  fill_or_unfill z32\4\0s
    ..controls z32\4\0c1 and z32\4\0c2..z32\4\0
    ..controls z32\4\1c1 and z32\4\1c2..cycle;
  fill_or_unfill z32\5\0s
    ..controls z32\5\0c1 and z32\5\0c2..z32\5\0
    --cycle;
  fill_or_unfill z32\6\0s
    --z32\6\0
    --z32\6\1
    --z32\6\2
    --cycle;
  fill_or_unfill z32\7\0s
    --z32\7\0
    --z32\7\1
    --z32\7\2
    --cycle;
  proof_labels (
    32\0\0,
    32\0\1,
    32\0\2,
    32\0\3,
    32\0\4,
    32\0\5,
    32\0\6,
    32\0\7,
    32\0\8,
    32\0\9,
    32\0\10,
    32\0\11,
    32\0\12,
    32\0\13,
    32\0\14,
    32\0\15,
    32\0\16,
    32\0\17,
    32\0\18,
    32\0\19,
    32\0\20,
    32\1\0,
    32\1\1,
    32\2\0,
    32\3\0,
    32\3\1,
    32\4\0,
    32\4\1,
    32\5\0,
    32\5\1,
    32\6\0,
    32\6\1,
    32\6\2,
    32\6\3,
    32\7\0,
    32\7\1,
    32\7\2,
    32\7\3,
);
endchar;

beginchar (33, 16.863u#, 19.272u#, 0.000u#);
  "R2";
  z33\0\0s = (0.723u,19.272u);
  z33\0\0c1 = (0.723u,17.483u);
  z33\0\0c2 = (1.229u,14.085u);
  z33\0\0 = (0.000u,12.768u);
  z33\0\1c1 = (0.918u,10.353u);
  z33\0\1c2 = (5.066u,11.081u);
  z33\0\1 = (7.227u,11.081u);
  z33\0\2 = (7.357u,4.818u);
  z33\0\3 = (6.745u,1.686u);
  z33\0\4 = (10.118u,1.686u);
  z33\0\5 = (9.174u,8.672u);
  z33\0\6 = (9.636u,11.081u);
  z33\0\7c1 = (11.616u,11.081u);
  z33\0\7c2 = (16.435u,10.268u);
  z33\0\7 = (16.863u,12.768u);
  z33\0\8 = (15.417u,12.768u);
  z33\0\9c1 = (15.417u,14.775u);
  z33\0\9c2 = (16.050u,17.973u);
  z33\0\9 = (13.972u,19.031u);
  z33\0\10 = (13.731u,12.768u);
  z33\0\11 = (12.527u,12.768u);
  z33\0\12c1 = (12.527u,14.837u);
  z33\0\12c2 = (13.258u,18.180u);
  z33\0\12 = (10.840u,19.031u);
  z33\0\13 = (10.600u,12.768u);
  z33\0\14 = (9.154u,12.768u);
  z33\0\15c1 = (9.154u,14.797u);
  z33\0\15c2 = (9.924u,18.291u);
  z33\0\15 = (7.468u,19.031u);
  z33\0\16 = (7.468u,12.768u);
  z33\0\17 = (5.781u,12.768u);
  z33\0\18c1 = (5.781u,14.774u);
  z33\0\18c2 = (6.483u,18.307u);
  z33\0\18 = (4.095u,19.031u);
  z33\0\19 = (4.095u,12.768u);
  z33\0\20c1 = (0.340u,13.075u);
  z33\0\20c2 = (4.442u,18.123u);
  z33\1\0s = (4.818u,18.308u);
  z33\1\0 = (5.059u,12.768u);
  z33\1\1 = (4.577u,12.768u);
  z33\2\0s = (1.445u,18.067u);
  z33\2\0 = (1.686u,12.768u);
  z33\2\1 = (1.204u,12.768u);
  z33\3\0s = (8.431u,18.067u);
  z33\3\0 = (8.431u,12.768u);
  z33\3\1 = (7.950u,12.768u);
  z33\3\2 = (7.950u,18.067u);
  z33\4\0s = (11.563u,18.067u);
  z33\4\0 = (11.804u,12.768u);
  z33\4\1 = (11.322u,12.768u);
  z33\5\0s = (14.454u,18.067u);
  z33\5\0 = (14.695u,12.768u);
  z33\5\1 = (14.213u,12.768u);
  z33\6\0s = (15.658u,12.286u);
  z33\6\0 = (15.658u,11.804u);
  z33\6\1 = (1.445u,11.804u);
  z33\6\2 = (1.445u,12.286u);
  z33\7\0s = (9.154u,11.081u);
  z33\7\0c1 = (8.590u,10.565u);
  z33\7\0c2 = (8.440u,10.418u);
  z33\7\0 = (7.950u,11.081u);
  z33\8\0s = (8.672u,9.395u);
  z33\8\0 = (9.395u,2.409u);
  z33\8\1 = (7.468u,2.409u);
  z33\8\2 = (8.191u,9.395u);
  fill_or_unfill z33\0\0s
    ..controls z33\0\0c1 and z33\0\0c2..z33\0\0
    ..controls z33\0\1c1 and z33\0\1c2..z33\0\1
    --z33\0\2
    --z33\0\3
    --z33\0\4
    --z33\0\5
    --z33\0\6
    ..controls z33\0\7c1 and z33\0\7c2..z33\0\7
    --z33\0\8
    ..controls z33\0\9c1 and z33\0\9c2..z33\0\9
    --z33\0\10
    --z33\0\11
    ..controls z33\0\12c1 and z33\0\12c2..z33\0\12
    --z33\0\13
    --z33\0\14
    ..controls z33\0\15c1 and z33\0\15c2..z33\0\15
    --z33\0\16
    --z33\0\17
    ..controls z33\0\18c1 and z33\0\18c2..z33\0\18
    --z33\0\19
    ..controls z33\0\20c1 and z33\0\20c2..cycle;
  fill_or_unfill z33\1\0s
    --z33\1\0
    --z33\1\1
    --cycle;
  fill_or_unfill z33\2\0s
    --z33\2\0
    --z33\2\1
    --cycle;
  fill_or_unfill z33\3\0s
    --z33\3\0
    --z33\3\1
    --z33\3\2
    --cycle;
  fill_or_unfill z33\4\0s
    --z33\4\0
    --z33\4\1
    --cycle;
  fill_or_unfill z33\5\0s
    --z33\5\0
    --z33\5\1
    --cycle;
  fill_or_unfill z33\6\0s
    --z33\6\0
    --z33\6\1
    --z33\6\2
    --cycle;
  fill_or_unfill z33\7\0s
    ..controls z33\7\0c1 and z33\7\0c2..z33\7\0
    --cycle;
  fill_or_unfill z33\8\0s
    --z33\8\0
    --z33\8\1
    --z33\8\2
    --cycle;
  proof_labels (
    33\0\0,
    33\0\1,
    33\0\2,
    33\0\3,
    33\0\4,
    33\0\5,
    33\0\6,
    33\0\7,
    33\0\8,
    33\0\9,
    33\0\10,
    33\0\11,
    33\0\12,
    33\0\13,
    33\0\14,
    33\0\15,
    33\0\16,
    33\0\17,
    33\0\18,
    33\0\19,
    33\0\20,
    33\1\0,
    33\1\1,
    33\1\2,
    33\2\0,
    33\2\1,
    33\2\2,
    33\3\0,
    33\3\1,
    33\3\2,
    33\3\3,
    33\4\0,
    33\4\1,
    33\4\2,
    33\5\0,
    33\5\1,
    33\5\2,
    33\6\0,
    33\6\1,
    33\6\2,
    33\6\3,
    33\7\0,
    33\7\1,
    33\8\0,
    33\8\1,
    33\8\2,
    33\8\3,
);
endchar;

beginchar (34, 17.104u#, 17.586u#, 0.000u#);
  "R3";
  z34\0\0s = (6.263u,17.586u);
  z34\0\0 = (6.263u,16.863u);
  z34\0\1 = (8.191u,16.863u);
  z34\0\2 = (7.013u,13.972u);
  z34\0\3 = (7.709u,8.191u);
  z34\0\4 = (5.781u,8.191u);
  z34\0\5c1 = (7.679u,13.259u);
  z34\0\5c2 = (0.471u,13.359u);
  z34\0\5 = (2.409u,8.191u);
  z34\0\6c1 = (0.427u,7.845u);
  z34\0\6c2 = (0.143u,3.867u);
  z34\0\6 = (0.000u,2.168u);
  z34\0\7 = (0.723u,2.168u);
  z34\0\8c1 = (0.954u,3.885u);
  z34\0\8c2 = (0.904u,4.780u);
  z34\0\8 = (2.891u,4.817u);
  z34\0\9 = (13.490u,4.817u);
  z34\0\10c1 = (17.149u,4.811u);
  z34\0\10c2 = (15.316u,3.373u);
  z34\0\10 = (17.104u,2.168u);
  z34\0\11c1 = (16.746u,3.948u);
  z34\0\11c2 = (16.500u,7.725u);
  z34\0\11 = (14.454u,8.191u);
  z34\0\12c1 = (17.014u,13.716u);
  z34\0\12c2 = (9.620u,15.190u);
  z34\0\12 = (11.322u,8.191u);
  z34\0\13 = (9.395u,8.191u);
  z34\0\14 = (10.051u,14.453u);
  z34\0\15 = (8.913u,16.863u);
  z34\0\16 = (10.840u,16.863u);
  z34\0\17 = (10.840u,17.586u);
  z34\1\0s = (8.913u,8.191u);
  z34\1\0 = (8.191u,8.191u);
  z34\1\1 = (7.581u,13.968u);
  z34\1\2c1 = (7.913u,15.355u);
  z34\1\2c2 = (9.483u,15.487u);
  z34\1\2 = (9.601u,13.730u);
  z34\2\0s = (13.015u,12.319u);
  z34\2\0c1 = (14.615u,11.871u);
  z34\2\0c2 = (15.054u,8.377u);
  z34\2\0 = (13.015u,8.327u);
  z34\2\1c1 = (10.986u,8.277u);
  z34\2\1c2 = (11.279u,11.823u);
  z34\3\0s = (3.623u,11.177u);
  z34\3\0c1 = (6.098u,11.631u);
  z34\3\0c2 = (5.854u,8.848u);
  z34\3\0 = (4.551u,8.379u);
  z34\3\1c1 = (3.106u,7.858u);
  z34\3\1c2 = (1.508u,9.939u);
  z34\4\0s = (7.709u,7.468u);
  z34\4\0 = (7.227u,5.541u);
  z34\4\1 = (1.445u,5.541u);
  z34\4\2 = (1.686u,7.468u);
  z34\5\0s = (8.913u,7.468u);
  z34\5\0 = (9.154u,5.541u);
  z34\5\1 = (7.950u,5.541u);
  z34\5\2 = (8.191u,7.468u);
  z34\6\0s = (15.658u,5.541u);
  z34\6\0 = (10.000u,5.787u);
  z34\6\1 = (9.395u,7.468u);
  z34\6\2 = (15.042u,7.222u);
  fill_or_unfill z34\0\0s
    --z34\0\0
    --z34\0\1
    --z34\0\2
    --z34\0\3
    --z34\0\4
    ..controls z34\0\5c1 and z34\0\5c2..z34\0\5
    ..controls z34\0\6c1 and z34\0\6c2..z34\0\6
    --z34\0\7
    ..controls z34\0\8c1 and z34\0\8c2..z34\0\8
    --z34\0\9
    ..controls z34\0\10c1 and z34\0\10c2..z34\0\10
    ..controls z34\0\11c1 and z34\0\11c2..z34\0\11
    ..controls z34\0\12c1 and z34\0\12c2..z34\0\12
    --z34\0\13
    --z34\0\14
    --z34\0\15
    --z34\0\16
    --z34\0\17
    --cycle;
  fill_or_unfill z34\1\0s
    --z34\1\0
    --z34\1\1
    ..controls z34\1\2c1 and z34\1\2c2..z34\1\2
    --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
    --z34\4\2
    --cycle;
  fill_or_unfill z34\5\0s
    --z34\5\0
    --z34\5\1
    --z34\5\2
    --cycle;
  fill_or_unfill z34\6\0s
    --z34\6\0
    --z34\6\1
    --z34\6\2
    --cycle;
  proof_labels (
    34\0\0,
    34\0\1,
    34\0\2,
    34\0\3,
    34\0\4,
    34\0\5,
    34\0\6,
    34\0\7,
    34\0\8,
    34\0\9,
    34\0\10,
    34\0\11,
    34\0\12,
    34\0\13,
    34\0\14,
    34\0\15,
    34\0\16,
    34\0\17,
    34\0\18,
    34\1\0,
    34\1\1,
    34\1\2,
    34\1\3,
    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\5\0,
    34\5\1,
    34\5\2,
    34\5\3,
    34\6\0,
    34\6\1,
    34\6\2,
    34\6\3,
);
endchar;

beginchar (35, 16.622u#, 8.191u#, 0.000u#);
  "R4";
  z35\0\0s = (6.986u,3.613u);
  z35\0\0 = (0.000u,3.613u);
  z35\0\1 = (0.000u,1.204u);
  z35\0\2 = (16.622u,1.204u);
  z35\0\3 = (16.622u,3.613u);
  z35\0\4 = (9.395u,3.613u);
  z35\0\5c1 = (9.850u,4.699u);
  z35\0\5c2 = (9.880u,7.288u);
  z35\0\5 = (8.576u,7.909u);
  z35\0\6c1 = (7.527u,8.409u);
  z35\0\6c2 = (6.603u,5.790u);
  z35\0\6 = (6.617u,5.059u);
  z35\0\7c1 = (6.626u,4.587u);
  z35\0\7c2 = (6.847u,4.064u);
  z35\1\0s = (8.431u,7.468u);
  z35\1\0 = (9.154u,5.300u);
  z35\1\1 = (7.468u,5.300u);
  z35\2\0s = (8.913u,4.818u);
  z35\2\0c1 = (8.657u,3.366u);
  z35\2\0c2 = (7.870u,3.560u);
  z35\2\0 = (7.468u,4.818u);
  z35\3\0s = (16.140u,3.132u);
  z35\3\0 = (16.140u,1.686u);
  z35\3\1 = (0.482u,1.686u);
  z35\3\2 = (0.482u,3.132u);
  fill_or_unfill z35\0\0s
    --z35\0\0
    --z35\0\1
    --z35\0\2
    --z35\0\3
    --z35\0\4
    ..controls z35\0\5c1 and z35\0\5c2..z35\0\5
    ..controls z35\0\6c1 and z35\0\6c2..z35\0\6
    ..controls z35\0\7c1 and z35\0\7c2..cycle;
  fill_or_unfill z35\1\0s
    --z35\1\0
    --z35\1\1
    --cycle;
  fill_or_unfill z35\2\0s
    ..controls z35\2\0c1 and z35\2\0c2..z35\2\0
    --cycle;
  fill_or_unfill z35\3\0s
    --z35\3\0
    --z35\3\1
    --z35\3\2
    --cycle;
  proof_labels (
    35\0\0,
    35\0\1,
    35\0\2,
    35\0\3,
    35\0\4,
    35\0\5,
    35\0\6,
    35\0\7,
    35\1\0,
    35\1\1,
    35\1\2,
    35\2\0,
    35\2\1,
    35\3\0,
    35\3\1,
    35\3\2,
    35\3\3,
);
endchar;

beginchar (36, 16.622u#, 6.504u#, 0.000u#);
  "R5";
  z36\0\0s = (0.241u,0.723u);
  z36\0\0 = (0.723u,0.723u);
  z36\0\1c1 = (1.073u,1.659u);
  z36\0\1c2 = (1.568u,3.618u);
  z36\0\1 = (2.460u,4.124u);
  z36\0\2 = (7.709u,3.374u);
  z36\0\3c1 = (11.845u,3.470u);
  z36\0\3c2 = (12.015u,4.585u);
  z36\0\3 = (16.622u,3.374u);
  z36\0\4 = (16.622u,6.263u);
  z36\0\5 = (13.490u,5.791u);
  z36\0\6c1 = (9.447u,5.632u);
  z36\0\6c2 = (7.292u,7.346u);
  z36\0\6 = (3.132u,5.414u);
  z36\0\7c1 = (2.279u,5.018u);
  z36\0\7c2 = (1.699u,4.801u);
  z36\0\7 = (1.045u,4.070u);
  z36\0\8c1 = (0.111u,3.027u);
  z36\0\8c2 = (-0.123u,2.048u);
  z36\1\0s = (15.899u,5.541u);
  z36\1\0 = (15.899u,4.336u);
  z36\1\1 = (13.249u,4.807u);
  z36\1\2c1 = (9.917u,4.990u);
  z36\1\2c2 = (7.540u,3.147u);
  z36\1\2 = (4.095u,4.807u);
  z36\1\3c1 = (6.187u,6.770u);
  z36\1\3c2 = (10.211u,5.196u);
  z36\1\3 = (12.768u,5.084u);
  z36\1\4c1 = (13.818u,5.037u);
  z36\1\4c2 = (14.874u,5.348u);
  fill_or_unfill z36\0\0s
    --z36\0\0
    ..controls z36\0\1c1 and z36\0\1c2..z36\0\1
    --z36\0\2
    ..controls z36\0\3c1 and z36\0\3c2..z36\0\3
    --z36\0\4
    --z36\0\5
    ..controls z36\0\6c1 and z36\0\6c2..z36\0\6
    ..controls z36\0\7c1 and z36\0\7c2..z36\0\7
    ..controls z36\0\8c1 and z36\0\8c2..cycle;
  fill_or_unfill z36\1\0s
    --z36\1\0
    --z36\1\1
    ..controls z36\1\2c1 and z36\1\2c2..z36\1\2
    ..controls z36\1\3c1 and z36\1\3c2..z36\1\3
    ..controls z36\1\4c1 and z36\1\4c2..cycle;
  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\1\0,
    36\1\1,
    36\1\2,
    36\1\3,
    36\1\4,
);
endchar;

beginchar (37, 15.899u#, 9.636u#, 0.000u#);
  "R6";
  z37\0\0s = (0.241u,4.818u);
  z37\0\0c1 = (4.374u,5.363u);
  z37\0\0c2 = (4.908u,2.656u);
  z37\0\0 = (7.950u,2.713u);
  z37\0\1c1 = (9.812u,2.748u);
  z37\0\1c2 = (12.497u,4.922u);
  z37\0\1 = (13.218u,4.712u);
  z37\0\2c1 = (14.588u,4.314u);
  z37\0\2c2 = (13.883u,-0.161u);
  z37\0\2 = (15.512u,0.983u);
  z37\0\3c1 = (16.571u,1.727u);
  z37\0\3c2 = (15.047u,5.869u);
  z37\0\3 = (14.188u,6.621u);
  z37\0\4c1 = (12.342u,8.235u);
  z37\0\4c2 = (9.032u,10.201u);
  z37\0\4 = (6.504u,9.483u);
  z37\0\5c1 = (5.238u,9.123u);
  z37\0\5c2 = (4.091u,8.276u);
  z37\0\5 = (2.891u,7.747u);
  z37\0\6c1 = (0.340u,6.623u);
  z37\0\6c2 = (0.208u,8.816u);
  z37\1\0s = (6.745u,8.913u);
  z37\1\0 = (6.986u,3.613u);
  z37\1\1c1 = (5.702u,3.823u);
  z37\1\1c2 = (4.953u,4.303u);
  z37\1\1 = (3.855u,4.957u);
  z37\1\2c1 = (0.650u,6.865u);
  z37\1\2c2 = (4.936u,8.280u);
  z37\2\0s = (7.950u,8.913u);
  z37\2\0 = (7.950u,3.372u);
  z37\2\1 = (7.468u,3.372u);
  z37\2\2 = (7.468u,8.913u);
  z37\3\0s = (8.431u,3.372u);
  z37\3\0 = (8.431u,8.913u);
  z37\3\1c1 = (9.474u,8.750u);
  z37\3\1c2 = (13.181u,7.461u);
  z37\3\1 = (12.829u,6.063u);
  z37\3\2c1 = (12.686u,5.493u);
  z37\3\2c2 = (11.783u,4.966u);
  z37\3\2 = (11.322u,4.645u);
  z37\3\3c1 = (10.228u,3.884u);
  z37\3\3c2 = (9.789u,3.517u);
  z37\4\0s = (1.927u,6.745u);
  z37\4\0 = (0.723u,5.541u);
  z37\4\1 = (0.723u,6.745u);
  z37\5\0s = (13.972u,6.022u);
  z37\5\0 = (14.936u,3.372u);
  z37\6\0s = (15.177u,3.132u);
  z37\6\0 = (15.177u,1.686u);
  fill_or_unfill z37\0\0s
    ..controls z37\0\0c1 and z37\0\0c2..z37\0\0
    ..controls z37\0\1c1 and z37\0\1c2..z37\0\1
    ..controls z37\0\2c1 and z37\0\2c2..z37\0\2
    ..controls z37\0\3c1 and z37\0\3c2..z37\0\3
    ..controls z37\0\4c1 and z37\0\4c2..z37\0\4
    ..controls z37\0\5c1 and z37\0\5c2..z37\0\5
    ..controls z37\0\6c1 and z37\0\6c2..cycle;
  fill_or_unfill z37\1\0s
    --z37\1\0
    ..controls z37\1\1c1 and z37\1\1c2..z37\1\1
    ..controls z37\1\2c1 and z37\1\2c2..cycle;
  fill_or_unfill z37\2\0s
    --z37\2\0
    --z37\2\1
    --z37\2\2
    --cycle;
  fill_or_unfill z37\3\0s
    --z37\3\0
    ..controls z37\3\1c1 and z37\3\1c2..z37\3\1
    ..controls z37\3\2c1 and z37\3\2c2..z37\3\2
    ..controls z37\3\3c1 and z37\3\3c2..cycle;
  fill_or_unfill z37\4\0s
    --z37\4\0
    --z37\4\1
    --cycle;
  fill_or_unfill z37\5\0s
    --z37\5\0
    --cycle;
  fill_or_unfill z37\6\0s
    --z37\6\0
    --cycle;
  proof_labels (
    37\0\0,
    37\0\1,
    37\0\2,
    37\0\3,
    37\0\4,
    37\0\5,
    37\0\6,
    37\1\0,
    37\1\1,
    37\1\2,
    37\2\0,
    37\2\1,
    37\2\2,
    37\2\3,
    37\3\0,
    37\3\1,
    37\3\2,
    37\3\3,
    37\4\0,
    37\4\1,
    37\4\2,
    37\5\0,
    37\5\1,
    37\6\0,
    37\6\1,
);
endchar;

beginchar (38, 7.709u#, 13.249u#, 0.000u#);
  "R7";
  z38\0\0s = (1.204u,13.249u);
  z38\0\0c1 = (1.409u,12.116u);
  z38\0\0c2 = (3.278u,8.187u);
  z38\0\0 = (2.312u,7.473u);
  z38\0\1c1 = (1.888u,7.160u);
  z38\0\1c2 = (0.598u,7.156u);
  z38\0\1 = (0.000u,6.986u);
  z38\0\2 = (0.894u,2.891u);
  z38\0\3c1 = (0.970u,2.310u);
  z38\0\3c2 = (0.894u,1.282u);
  z38\0\3 = (1.141u,0.793u);
  z38\0\4c1 = (1.594u,-0.103u);
  z38\0\4c2 = (5.483u,0.241u);
  z38\0\4 = (6.504u,0.241u);
  z38\0\5 = (7.709u,7.227u);
  z38\0\6c1 = (7.154u,7.229u);
  z38\0\6c2 = (6.328u,7.173u);
  z38\0\6 = (5.848u,7.473u);
  z38\0\7c1 = (4.568u,8.274u);
  z38\0\7c2 = (4.424u,12.563u);
  z38\1\0s = (2.650u,11.563u);
  z38\2\0s = (2.891u,11.322u);
  z38\2\0 = (4.818u,7.468u);
  z38\2\1c1 = (3.115u,7.109u);
  z38\2\1c2 = (2.455u,9.996u);
  z38\3\0s = (6.986u,6.504u);
  z38\3\0 = (5.739u,1.342u);
  z38\3\1c1 = (5.240u,0.711u);
  z38\3\1c2 = (2.223u,0.764u);
  z38\3\1 = (1.827u,1.521u);
  z38\3\2 = (0.723u,6.504u);
  fill_or_unfill z38\0\0s
    ..controls z38\0\0c1 and z38\0\0c2..z38\0\0
    ..controls z38\0\1c1 and z38\0\1c2..z38\0\1
    --z38\0\2
    ..controls z38\0\3c1 and z38\0\3c2..z38\0\3
    ..controls z38\0\4c1 and z38\0\4c2..z38\0\4
    --z38\0\5
    ..controls z38\0\6c1 and z38\0\6c2..z38\0\6
    ..controls z38\0\7c1 and z38\0\7c2..cycle;
  fill_or_unfill z38\1\0s
    --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
    ..controls z38\3\1c1 and z38\3\1c2..z38\3\1
    --z38\3\2
    --cycle;
  proof_labels (
    38\0\0,
    38\0\1,
    38\0\2,
    38\0\3,
    38\0\4,
    38\0\5,
    38\0\6,
    38\0\7,
    38\1\0,
    38\2\0,
    38\2\1,
    38\3\0,
    38\3\1,
    38\3\2,
    38\3\3,
);
endchar;

beginchar (39, 6.745u#, 17.586u#, 0.000u#);
  "R8";
  z39\0\0s = (0.000u,17.104u);
  z39\0\0c1 = (0.000u,16.536u);
  z39\0\0c2 = (-0.102u,15.053u);
  z39\0\0 = (0.239u,14.632u);
  z39\0\1c1 = (1.507u,13.063u);
  z39\0\1c2 = (6.013u,15.579u);
  z39\0\1 = (6.022u,11.081u);
  z39\0\2 = (6.022u,0.482u);
  z39\0\3 = (6.745u,0.482u);
  z39\0\4 = (6.745u,17.586u);
  z39\1\0s = (6.263u,16.863u);
  z39\1\0 = (6.263u,13.972u);
  z39\1\1 = (0.482u,14.936u);
  z39\1\2 = (0.482u,16.622u);
  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
    --cycle;
  fill_or_unfill z39\1\0s
    --z39\1\0
    --z39\1\1
    --z39\1\2
    --cycle;
  proof_labels (
    39\0\0,
    39\0\1,
    39\0\2,
    39\0\3,
    39\0\4,
    39\0\5,
    39\1\0,
    39\1\1,
    39\1\2,
    39\1\3,
);
endchar;

beginchar (40, 7.227u#, 17.345u#, 0.000u#);
  "R9";
  z40\0\0s = (5.059u,13.731u);
  z40\0\0 = (5.059u,6.263u);
  z40\0\1c1 = (4.534u,6.682u);
  z40\0\1c2 = (2.058u,8.928u);
  z40\0\1 = (1.622u,7.451u);
  z40\0\2c1 = (1.291u,6.331u);
  z40\0\2c2 = (3.641u,5.688u);
  z40\0\2 = (4.183u,4.965u);
  z40\0\3c1 = (4.978u,3.905u);
  z40\0\3c2 = (3.378u,1.037u);
  z40\0\3 = (5.544u,0.562u);
  z40\0\4c1 = (7.333u,0.169u);
  z40\0\4c2 = (7.324u,2.195u);
  z40\0\4 = (7.155u,3.372u);
  z40\0\5c1 = (6.919u,5.010u);
  z40\0\5c2 = (6.266u,6.227u);
  z40\0\5 = (6.263u,7.950u);
  z40\0\6 = (6.263u,17.345u);
  z40\0\7 = (0.555u,16.444u);
  z40\0\8c1 = (-0.174u,16.073u);
  z40\0\8c2 = (-0.169u,14.724u);
  z40\0\8 = (0.555u,14.356u);
  z40\1\0s = (5.541u,16.622u);
  z40\1\0 = (5.541u,14.213u);
  z40\1\1 = (0.723u,14.936u);
  z40\1\2 = (0.723u,15.899u);
  z40\2\0s = (5.781u,5.300u);
  z40\2\0c1 = (6.023u,4.825u);
  z40\2\0c2 = (6.253u,4.378u);
  z40\2\0 = (6.376u,3.854u);
  z40\2\1c1 = (7.533u,-1.028u);
  z40\2\1c2 = (3.059u,2.342u);
  fill_or_unfill z40\0\0s
    --z40\0\0
    ..controls z40\0\1c1 and z40\0\1c2..z40\0\1
    ..controls z40\0\2c1 and z40\0\2c2..z40\0\2
    ..controls z40\0\3c1 and z40\0\3c2..z40\0\3
    ..controls z40\0\4c1 and z40\0\4c2..z40\0\4
    ..controls z40\0\5c1 and z40\0\5c2..z40\0\5
    --z40\0\6
    --z40\0\7
    ..controls z40\0\8c1 and z40\0\8c2..z40\0\8
    --cycle;
  fill_or_unfill z40\1\0s
    --z40\1\0
    --z40\1\1
    --z40\1\2
    --cycle;
  fill_or_unfill z40\2\0s
    ..controls z40\2\0c1 and z40\2\0c2..z40\2\0
    ..controls z40\2\1c1 and z40\2\1c2..cycle;
  proof_labels (
    40\0\0,
    40\0\1,
    40\0\2,
    40\0\3,
    40\0\4,
    40\0\5,
    40\0\6,
    40\0\7,
    40\0\8,
    40\0\9,
    40\1\0,
    40\1\1,
    40\1\2,
    40\1\3,
    40\2\0,
    40\2\1,
);
endchar;

beginchar (41, 13.249u#, 19.513u#, 0.000u#);
  "R10";
  z41\0\0s = (6.986u,15.899u);
  z41\0\0 = (6.986u,3.372u);
  z41\0\1c1 = (4.641u,3.454u);
  z41\0\1c2 = (4.620u,5.518u);
  z41\0\1 = (4.577u,7.468u);
  z41\0\2 = (0.963u,7.468u);
  z41\0\3 = (0.000u,2.650u);
  z41\0\4 = (13.238u,2.168u);
  z41\0\5 = (13.238u,5.300u);
  z41\0\6 = (13.238u,6.259u);
  z41\0\7c1 = (13.140u,6.721u);
  z41\0\7c2 = (12.994u,7.141u);
  z41\0\7 = (12.492u,7.279u);
  z41\0\8c1 = (10.950u,7.701u);
  z41\0\8c2 = (10.332u,5.203u);
  z41\0\8 = (9.571u,4.362u);
  z41\0\9c1 = (9.087u,3.828u);
  z41\0\9c2 = (8.613u,3.599u);
  z41\0\9 = (7.950u,3.372u);
  z41\0\10 = (7.950u,19.513u);
  z41\0\11c1 = (6.588u,19.501u);
  z41\0\11c2 = (1.958u,19.376u);
  z41\0\11 = (1.722u,17.814u);
  z41\0\12c1 = (1.383u,15.569u);
  z41\0\12c2 = (5.430u,15.913u);
  z41\1\0s = (7.227u,18.549u);
  z41\1\0 = (7.227u,16.622u);
  z41\1\1 = (2.409u,17.104u);
  z41\1\2c1 = (2.945u,18.640u);
  z41\1\2c2 = (5.800u,18.361u);
  z41\2\0s = (2.754u,6.350u);
  z41\3\0s = (12.768u,2.891u);
  z41\3\0 = (9.395u,2.891u);
  z41\3\1c1 = (11.350u,5.825u);
  z41\3\1c2 = (12.768u,9.076u);
  z41\4\0s = (1.927u,6.022u);
  z41\4\0c1 = (1.917u,4.874u);
  z41\4\0c2 = (2.020u,3.817u);
  z41\4\0 = (0.963u,3.132u);
  z41\4\1 = (1.445u,6.022u);
  z41\5\0s = (3.854u,6.022u);
  z41\5\0 = (4.577u,3.132u);
  z41\5\1c1 = (3.490u,3.570u);
  z41\5\1c2 = (3.349u,5.075u);
  z41\6\0s = (2.891u,5.059u);
  z41\6\0 = (3.132u,3.132u);
  z41\6\1 = (2.168u,3.132u);
  fill_or_unfill z41\0\0s
    --z41\0\0
    ..controls z41\0\1c1 and z41\0\1c2..z41\0\1
    --z41\0\2
    --z41\0\3
    --z41\0\4
    --z41\0\5
    --z41\0\6
    ..controls z41\0\7c1 and z41\0\7c2..z41\0\7
    ..controls z41\0\8c1 and z41\0\8c2..z41\0\8
    ..controls z41\0\9c1 and z41\0\9c2..z41\0\9
    --z41\0\10
    ..controls z41\0\11c1 and z41\0\11c2..z41\0\11
    ..controls z41\0\12c1 and z41\0\12c2..cycle;
  fill_or_unfill z41\1\0s
    --z41\1\0
    --z41\1\1
    ..controls z41\1\2c1 and z41\1\2c2..cycle;
  fill_or_unfill z41\2\0s
    --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
    ..controls z41\4\0c1 and z41\4\0c2..z41\4\0
    --z41\4\1
    --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
    --z41\6\1
    --cycle;
  proof_labels (
    41\0\0,
    41\0\1,
    41\0\2,
    41\0\3,
    41\0\4,
    41\0\5,
    41\0\6,
    41\0\7,
    41\0\8,
    41\0\9,
    41\0\10,
    41\0\11,
    41\0\12,
    41\1\0,
    41\1\1,
    41\1\2,
    41\2\0,
    41\3\0,
    41\3\1,
    41\4\0,
    41\4\1,
    41\4\2,
    41\5\0,
    41\5\1,
    41\6\0,
    41\6\1,
    41\6\2,
);
endchar;

beginchar (42, 7.227u#, 18.549u#, 0.000u#);
  "R11";
  z42\0\0s = (0.241u,18.067u);
  z42\0\0 = (0.241u,17.345u);
  z42\0\1 = (1.686u,16.381u);
  z42\0\2 = (0.241u,16.381u);
  z42\0\3 = (0.241u,15.658u);
  z42\0\4 = (1.686u,14.695u);
  z42\0\5 = (0.241u,14.695u);
  z42\0\6 = (0.241u,13.972u);
  z42\0\7 = (1.686u,13.009u);
  z42\0\8 = (0.000u,13.009u);
  z42\0\9 = (0.000u,12.286u);
  z42\0\10 = (1.445u,12.286u);
  z42\0\11c1 = (1.766u,8.322u);
  z42\0\11c2 = (1.505u,5.338u);
  z42\0\11 = (0.723u,1.445u);
  z42\0\12 = (6.504u,1.445u);
  z42\0\13c1 = (5.741u,5.240u);
  z42\0\13c2 = (5.469u,8.431u);
  z42\0\13 = (5.781u,12.286u);
  z42\0\14 = (7.227u,12.286u);
  z42\0\15 = (7.227u,13.009u);
  z42\0\16 = (5.541u,13.009u);
  z42\0\17 = (7.227u,13.972u);
  z42\0\18 = (7.227u,14.695u);
  z42\0\19 = (5.541u,14.695u);
  z42\0\20 = (7.227u,15.658u);
  z42\0\21 = (7.227u,16.381u);
  z42\0\22 = (5.541u,16.381u);
  z42\0\23 = (7.227u,17.345u);
  z42\0\24 = (7.227u,18.067u);
  z42\0\25 = (3.834u,18.521u);
  z42\1\0s = (5.059u,17.104u);
  z42\1\0 = (5.059u,16.622u);
  z42\1\1c1 = (3.951u,16.307u);
  z42\1\1c2 = (2.928u,16.091u);
  z42\1\1 = (2.168u,17.104u);
  z42\2\0s = (5.059u,15.658u);
  z42\2\0 = (5.059u,14.695u);
  z42\2\1c1 = (3.835u,14.695u);
  z42\2\1c2 = (2.701u,14.334u);
  z42\2\1 = (2.168u,15.658u);
  z42\3\0s = (5.059u,13.972u);
  z42\3\0c1 = (4.582u,12.610u);
  z42\3\0c2 = (2.645u,12.610u);
  z42\3\0 = (2.168u,13.972u);
  z42\4\0s = (5.059u,12.286u);
  z42\4\0 = (4.827u,8.431u);
  z42\4\1 = (5.541u,2.168u);
  z42\4\2 = (1.686u,2.168u);
  z42\4\3 = (2.388u,7.468u);
  z42\4\4 = (2.168u,12.286u);
  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
    ..controls z42\0\11c1 and z42\0\11c2..z42\0\11
    --z42\0\12
    ..controls z42\0\13c1 and z42\0\13c2..z42\0\13
    --z42\0\14
    --z42\0\15
    --z42\0\16
    --z42\0\17
    --z42\0\18
    --z42\0\19
    --z42\0\20
    --z42\0\21
    --z42\0\22
    --z42\0\23
    --z42\0\24
    --z42\0\25
    --cycle;
  fill_or_unfill z42\1\0s
    --z42\1\0
    ..controls z42\1\1c1 and z42\1\1c2..z42\1\1
    --cycle;
  fill_or_unfill z42\2\0s
    --z42\2\0
    ..controls z42\2\1c1 and z42\2\1c2..z42\2\1
    --cycle;
  fill_or_unfill z42\3\0s
    ..controls z42\3\0c1 and z42\3\0c2..z42\3\0
    --cycle;
  fill_or_unfill z42\4\0s
    --z42\4\0
    --z42\4\1
    --z42\4\2
    --z42\4\3
    --z42\4\4
    --cycle;
  proof_labels (
    42\0\0,
    42\0\1,
    42\0\2,
    42\0\3,
    42\0\4,
    42\0\5,
    42\0\6,
    42\0\7,
    42\0\8,
    42\0\9,
    42\0\10,
    42\0\11,
    42\0\12,
    42\0\13,
    42\0\14,
    42\0\15,
    42\0\16,
    42\0\17,
    42\0\18,
    42\0\19,
    42\0\20,
    42\0\21,
    42\0\22,
    42\0\23,
    42\0\24,
    42\0\25,
    42\0\26,
    42\1\0,
    42\1\1,
    42\1\2,
    42\2\0,
    42\2\1,
    42\2\2,
    42\3\0,
    42\3\1,
    42\4\0,
    42\4\1,
    42\4\2,
    42\4\3,
    42\4\4,
    42\4\5,
);
endchar;

beginchar (43, 16.381u#, 13.009u#, 0.000u#);
  "R12";
  z43\0\0s = (0.000u,10.840u);
  z43\0\0 = (1.707u,9.779u);
  z43\0\1c1 = (3.535u,9.092u);
  z43\0\1c2 = (4.134u,10.575u);
  z43\0\1 = (5.538u,10.572u);
  z43\0\2c1 = (6.466u,10.570u);
  z43\0\2c2 = (6.871u,10.055u);
  z43\0\2 = (7.417u,9.390u);
  z43\0\3c1 = (9.765u,6.536u);
  z43\0\3c2 = (9.154u,5.121u);
  z43\0\3 = (9.154u,1.686u);
  z43\0\4 = (10.118u,1.686u);
  z43\0\5 = (10.118u,10.600u);
  z43\0\6 = (16.381u,10.600u);
  z43\0\7 = (16.381u,11.563u);
  z43\0\8 = (5.300u,11.563u);
  z43\0\9 = (3.654u,11.698u);
  z43\0\10 = (1.018u,12.754u);
  z43\1\0s = (2.409u,11.563u);
  z43\1\0 = (0.963u,11.563u);
  z43\1\1 = (0.963u,12.286u);
  z43\2\0s = (3.372u,10.600u);
  z43\2\0 = (1.686u,10.359u);
  z43\3\0s = (9.395u,10.600u);
  z43\3\0 = (9.395u,8.431u);
  z43\3\1 = (7.468u,10.600u);
  fill_or_unfill z43\0\0s
    --z43\0\0
    ..controls z43\0\1c1 and z43\0\1c2..z43\0\1
    ..controls z43\0\2c1 and z43\0\2c2..z43\0\2
    ..controls z43\0\3c1 and z43\0\3c2..z43\0\3
    --z43\0\4
    --z43\0\5
    --z43\0\6
    --z43\0\7
    --z43\0\8
    --z43\0\9
    --z43\0\10
    --cycle;
  fill_or_unfill z43\1\0s
    --z43\1\0
    --z43\1\1
    --cycle;
  fill_or_unfill z43\2\0s
    --z43\2\0
    --cycle;
  fill_or_unfill z43\3\0s
    --z43\3\0
    --z43\3\1
    --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\1\0,
    43\1\1,
    43\1\2,
    43\2\0,
    43\2\1,
    43\3\0,
    43\3\1,
    43\3\2,
);
endchar;

beginchar (44, 12.286u#, 18.308u#, 0.000u#);
  "R13";
  z44\0\0s = (3.613u,10.118u);
  z44\0\0 = (4.095u,12.045u);
  z44\0\1c1 = (2.322u,13.608u);
  z44\0\1c2 = (2.497u,15.056u);
  z44\0\1 = (2.024u,15.470u);
  z44\0\2c1 = (1.158u,16.229u);
  z44\0\2c2 = (-0.063u,15.016u);
  z44\0\2 = (0.160u,13.972u);
  z44\0\3c1 = (0.306u,13.295u);
  z44\0\3c2 = (3.055u,9.820u);
  z44\0\3 = (3.685u,9.465u);
  z44\0\4c1 = (4.286u,9.126u);
  z44\0\4c2 = (5.111u,9.160u);
  z44\0\4 = (5.781u,9.154u);
  z44\0\5 = (5.781u,1.445u);
  z44\0\6 = (6.504u,1.445u);
  z44\0\7c1 = (6.504u,3.028u);
  z44\0\7c2 = (6.233u,3.872u);
  z44\0\7 = (7.468u,5.059u);
  z44\0\8 = (7.468u,9.154u);
  z44\0\9 = (9.154u,9.877u);
  z44\0\10 = (7.950u,11.081u);
  z44\0\11 = (9.395u,11.563u);
  z44\0\12c1 = (9.713u,10.851u);
  z44\0\12c2 = (11.391u,8.066u);
  z44\0\12 = (12.128u,10.171u);
  z44\0\13c1 = (12.459u,11.117u);
  z44\0\13c2 = (11.174u,11.949u);
  z44\0\13 = (10.624u,12.536u);
  z44\0\14c1 = (9.650u,13.576u);
  z44\0\14c2 = (6.490u,19.938u);
  z44\0\14 = (4.732u,17.760u);
  z44\0\15c1 = (3.904u,16.734u);
  z44\0\15c2 = (6.260u,12.802u);
  z44\0\15 = (6.165u,11.327u);
  z44\0\16c1 = (6.074u,9.907u);
  z44\0\16c2 = (4.638u,10.119u);
  z44\1\0s = (9.877u,12.286u);
  z44\1\0c1 = (7.744u,12.437u);
  z44\1\0c2 = (4.659u,14.233u);
  z44\1\0 = (6.263u,16.622u);
  z44\1\1 = (5.300u,16.622u);
  z44\1\2 = (5.300u,17.586u);
  z44\1\3c1 = (7.111u,17.276u);
  z44\1\3c2 = (9.096u,13.886u);
  z44\2\0s = (1.686u,15.177u);
  z44\2\0 = (2.276u,13.259u);
  z44\2\1 = (3.372u,11.322u);
  z44\2\2c1 = (1.662u,11.877u);
  z44\2\2c2 = (0.793u,13.444u);
  z44\2\2 = (1.204u,15.177u);
  z44\3\0s = (6.745u,13.009u);
  z44\4\0s = (6.986u,12.768u);
  z44\4\0 = (7.227u,11.804u);
  z44\5\0s = (7.981u,12.093u);
  z44\6\0s = (10.118u,12.286u);
  z44\7\0s = (9.154u,11.804u);
  z44\8\0s = (7.227u,11.322u);
  z44\8\0 = (7.468u,10.118u);
  z44\8\1 = (6.504u,10.118u);
  z44\9\0s = (11.322u,10.118u);
  z44\9\0 = (10.118u,11.322u);
  z44\10\0s = (6.867u,8.435u);
  z44\11\0s = (6.745u,7.227u);
  z44\11\0 = (6.745u,5.781u);
  fill_or_unfill z44\0\0s
    --z44\0\0
    ..controls z44\0\1c1 and z44\0\1c2..z44\0\1
    ..controls z44\0\2c1 and z44\0\2c2..z44\0\2
    ..controls z44\0\3c1 and z44\0\3c2..z44\0\3
    ..controls z44\0\4c1 and z44\0\4c2..z44\0\4
    --z44\0\5
    --z44\0\6
    ..controls z44\0\7c1 and z44\0\7c2..z44\0\7
    --z44\0\8
    --z44\0\9
    --z44\0\10
    --z44\0\11
    ..controls z44\0\12c1 and z44\0\12c2..z44\0\12
    ..controls z44\0\13c1 and z44\0\13c2..z44\0\13
    ..controls z44\0\14c1 and z44\0\14c2..z44\0\14
    ..controls z44\0\15c1 and z44\0\15c2..z44\0\15
    ..controls z44\0\16c1 and z44\0\16c2..cycle;
  fill_or_unfill z44\1\0s
    ..controls z44\1\0c1 and z44\1\0c2..z44\1\0
    --z44\1\1
    --z44\1\2
    ..controls z44\1\3c1 and z44\1\3c2..cycle;
  fill_or_unfill z44\2\0s
    --z44\2\0
    --z44\2\1
    ..controls z44\2\2c1 and z44\2\2c2..z44\2\2
    --cycle;
  fill_or_unfill z44\3\0s
    --cycle;
  fill_or_unfill z44\4\0s
    --z44\4\0
    --cycle;
  fill_or_unfill z44\5\0s
    --cycle;
  fill_or_unfill z44\6\0s
    --cycle;
  fill_or_unfill z44\7\0s
    --cycle;
  fill_or_unfill z44\8\0s
    --z44\8\0
    --z44\8\1
    --cycle;
  fill_or_unfill z44\9\0s
    --z44\9\0
    --cycle;
  fill_or_unfill z44\10\0s
    --cycle;
  fill_or_unfill z44\11\0s
    --z44\11\0
    --cycle;
  proof_labels (
    44\0\0,
    44\0\1,
    44\0\2,
    44\0\3,
    44\0\4,
    44\0\5,
    44\0\6,
    44\0\7,
    44\0\8,
    44\0\9,
    44\0\10,
    44\0\11,
    44\0\12,
    44\0\13,
    44\0\14,
    44\0\15,
    44\0\16,
    44\1\0,
    44\1\1,
    44\1\2,
    44\1\3,
    44\2\0,
    44\2\1,
    44\2\2,
    44\2\3,
    44\3\0,
    44\4\0,
    44\4\1,
    44\5\0,
    44\6\0,
    44\7\0,
    44\8\0,
    44\8\1,
    44\8\2,
    44\9\0,
    44\9\1,
    44\10\0,
    44\11\0,
    44\11\1,
);
endchar;

beginchar (45, 4.818u#, 18.549u#, 0.000u#);
  "R14";
  z45\0\0s = (0.000u,10.359u);
  z45\0\0c1 = (1.223u,9.048u);
  z45\0\0c2 = (0.723u,3.659u);
  z45\0\0 = (0.723u,1.686u);
  z45\0\1 = (1.686u,1.686u);
  z45\0\2 = (1.686u,10.118u);
  z45\0\3c1 = (2.770u,9.019u);
  z45\0\3c2 = (2.409u,7.225u);
  z45\0\3 = (2.409u,5.781u);
  z45\0\4 = (3.132u,5.781u);
  z45\0\5c1 = (3.132u,7.580u);
  z45\0\5c2 = (2.453u,9.924u);
  z45\0\5 = (4.818u,10.118u);
  z45\0\6c1 = (4.315u,11.561u);
  z45\0\6c2 = (3.654u,11.938u);
  z45\0\6 = (2.168u,12.045u);
  z45\0\7c1 = (2.509u,12.355u);
  z45\0\7c2 = (3.136u,12.841u);
  z45\0\7 = (3.268u,13.290u);
  z45\0\8c1 = (3.455u,13.930u);
  z45\0\8c2 = (2.706u,14.963u);
  z45\0\8 = (2.569u,15.658u);
  z45\0\9c1 = (2.437u,16.325u);
  z45\0\9c2 = (3.291u,19.345u);
  z45\0\9 = (1.235u,18.293u);
  z45\0\10c1 = (-0.896u,17.202u);
  z45\0\10c2 = (1.093u,14.046u);
  z45\0\10 = (1.042u,12.536u);
  z45\0\11c1 = (1.018u,11.817u);
  z45\0\11c2 = (0.280u,11.047u);
  z45\1\0s = (2.168u,17.586u);
  z45\1\0c1 = (1.146u,15.148u);
  z45\1\0c2 = (3.557u,13.671u);
  z45\1\0 = (1.686u,13.009u);
  z45\1\1c1 = (1.296u,14.208u);
  z45\1\1c2 = (0.052u,17.563u);
  z45\2\0s = (3.613u,10.600u);
  z45\2\0 = (0.963u,10.600u);
  z45\2\1c1 = (1.697u,11.821u);
  z45\2\1c2 = (2.880u,11.821u);
  fill_or_unfill z45\0\0s
    ..controls z45\0\0c1 and z45\0\0c2..z45\0\0
    --z45\0\1
    --z45\0\2
    ..controls z45\0\3c1 and z45\0\3c2..z45\0\3
    --z45\0\4
    ..controls z45\0\5c1 and z45\0\5c2..z45\0\5
    ..controls z45\0\6c1 and z45\0\6c2..z45\0\6
    ..controls z45\0\7c1 and z45\0\7c2..z45\0\7
    ..controls z45\0\8c1 and z45\0\8c2..z45\0\8
    ..controls z45\0\9c1 and z45\0\9c2..z45\0\9
    ..controls z45\0\10c1 and z45\0\10c2..z45\0\10
    ..controls z45\0\11c1 and z45\0\11c2..cycle;
  fill_or_unfill z45\1\0s
    ..controls z45\1\0c1 and z45\1\0c2..z45\1\0
    ..controls z45\1\1c1 and z45\1\1c2..cycle;
  fill_or_unfill z45\2\0s
    --z45\2\0
    ..controls z45\2\1c1 and z45\2\1c2..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\1\0,
    45\1\1,
    45\2\0,
    45\2\1,
);
endchar;

beginchar (46, 9.636u#, 18.308u#, 0.000u#);
  "R15";
  z46\0\0s = (4.577u,11.322u);
  z46\0\0 = (2.650u,10.840u);
  z46\0\1c1 = (3.154u,12.856u);
  z46\0\1c2 = (1.283u,13.511u);
  z46\0\1 = (0.496u,12.231u);
  z46\0\2c1 = (0.272u,11.867u);
  z46\0\2c2 = (0.109u,10.823u);
  z46\0\2 = (0.000u,10.359u);
  z46\0\3 = (3.854u,10.359u);
  z46\0\4c1 = (3.552u,8.755u);
  z46\0\4c2 = (2.257u,6.411u);
  z46\0\4 = (4.577u,6.022u);
  z46\0\5 = (4.577u,1.445u);
  z46\0\6 = (5.300u,1.445u);
  z46\0\7 = (5.300u,6.022u);
  z46\0\8c1 = (7.693u,6.423u);
  z46\0\8c2 = (6.270u,8.751u);
  z46\0\8 = (6.022u,10.370u);
  z46\0\9 = (7.227u,10.370u);
  z46\0\10 = (8.418u,10.370u);
  z46\0\11c1 = (11.384u,10.893u);
  z46\0\11c2 = (7.561u,14.785u);
  z46\0\11 = (7.089u,11.794u);
  z46\0\12c1 = (7.034u,11.445u);
  z46\0\12c2 = (7.145u,11.167u);
  z46\0\12 = (7.227u,10.840u);
  z46\0\13 = (5.300u,11.081u);
  z46\0\14c1 = (5.717u,11.274u);
  z46\0\14c2 = (6.241u,11.447u);
  z46\0\14 = (6.477u,11.876u);
  z46\0\15c1 = (6.979u,12.784u);
  z46\0\15c2 = (6.649u,18.328u);
  z46\0\15 = (4.825u,18.117u);
  z46\0\16c1 = (3.319u,17.943u);
  z46\0\16c2 = (2.940u,12.569u);
  z46\0\16 = (3.619u,11.707u);
  z46\0\17c1 = (3.871u,11.387u);
  z46\0\17c2 = (4.215u,11.386u);
  z46\1\0s = (6.022u,11.804u);
  z46\1\0c1 = (5.542u,11.806u);
  z46\1\0c2 = (4.624u,11.745u);
  z46\1\0 = (4.239u,12.050u);
  z46\1\1c1 = (3.671u,12.501u);
  z46\1\1c2 = (4.048u,16.369u);
  z46\1\1 = (4.452u,16.986u);
  z46\1\2c1 = (5.182u,18.101u);
  z46\1\2c2 = (5.737u,16.178u);
  z46\1\2 = (5.827u,15.658u);
  z46\1\3 = (5.827u,13.972u);
  z46\2\0s = (2.168u,12.286u);
  z46\2\0c1 = (1.930u,10.931u);
  z46\2\0c2 = (1.202u,10.931u);
  z46\2\0 = (0.963u,12.286u);
  z46\3\0s = (8.913u,12.286u);
  z46\3\0c1 = (8.509u,11.036u);
  z46\3\0c2 = (7.872u,11.036u);
  z46\3\0 = (7.468u,12.286u);
  z46\4\0s = (4.577u,9.636u);
  z46\4\0 = (4.577u,6.745u);
  z46\4\1 = (3.854u,6.745u);
  z46\5\0s = (5.541u,9.636u);
  z46\5\0 = (6.022u,6.745u);
  z46\5\1 = (5.300u,6.745u);
  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
    --z46\0\3
    ..controls z46\0\4c1 and z46\0\4c2..z46\0\4
    --z46\0\5
    --z46\0\6
    --z46\0\7
    ..controls z46\0\8c1 and z46\0\8c2..z46\0\8
    --z46\0\9
    --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
    --z46\0\13
    ..controls z46\0\14c1 and z46\0\14c2..z46\0\14
    ..controls z46\0\15c1 and z46\0\15c2..z46\0\15
    ..controls z46\0\16c1 and z46\0\16c2..z46\0\16
    ..controls z46\0\17c1 and z46\0\17c2..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
    --z46\1\3
    --cycle;
  fill_or_unfill z46\2\0s
    ..controls z46\2\0c1 and z46\2\0c2..z46\2\0
    --cycle;
  fill_or_unfill z46\3\0s
    ..controls z46\3\0c1 and z46\3\0c2..z46\3\0
    --cycle;
  fill_or_unfill z46\4\0s
    --z46\4\0
    --z46\4\1
    --cycle;
  fill_or_unfill z46\5\0s
    --z46\5\0
    --z46\5\1
    --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\1\0,
    46\1\1,
    46\1\2,
    46\1\3,
    46\1\4,
    46\2\0,
    46\2\1,
    46\3\0,
    46\3\1,
    46\4\0,
    46\4\1,
    46\4\2,
    46\5\0,
    46\5\1,
    46\5\2,
);
endchar;

beginchar (47, 6.022u#, 18.067u#, 0.000u#);
  "R16";
  z47\0\0s = (0.000u,13.490u);
  z47\0\0 = (0.000u,13.009u);
  z47\0\1 = (1.927u,10.600u);
  z47\0\2c1 = (-0.471u,9.771u);
  z47\0\2c2 = (-0.083u,7.279u);
  z47\0\2 = (2.409u,8.913u);
  z47\0\3 = (2.409u,0.963u);
  z47\0\4 = (3.372u,0.963u);
  z47\0\5 = (3.372u,9.154u);
  z47\0\6 = (4.818u,7.468u);
  z47\0\7 = (4.336u,9.395u);
  z47\0\8 = (5.781u,8.431u);
  z47\0\9 = (4.280u,11.323u);
  z47\0\10 = (5.541u,13.490u);
  z47\0\11c1 = (4.196u,14.931u);
  z47\0\11c2 = (5.281u,15.914u);
  z47\0\11 = (4.674u,17.310u);
  z47\0\12c1 = (4.275u,18.226u);
  z47\0\12c2 = (2.277u,18.346u);
  z47\0\12 = (1.623u,17.682u);
  z47\0\13c1 = (0.625u,16.671u);
  z47\0\13c2 = (1.615u,14.948u);
  z47\1\0s = (2.650u,17.586u);
  z47\1\0 = (2.650u,13.972u);
  z47\1\1 = (1.445u,13.972u);
  z47\1\2 = (2.168u,17.586u);
  z47\2\0s = (3.613u,17.586u);
  z47\2\0 = (4.336u,13.972u);
  z47\2\1 = (3.372u,13.972u);
  z47\3\0s = (4.336u,13.249u);
  z47\3\0c1 = (3.564u,10.410u);
  z47\3\0c2 = (2.179u,10.919u);
  z47\3\0 = (1.204u,13.249u);
  z47\4\0s = (1.927u,9.877u);
  z47\4\0 = (0.963u,8.913u);
  fill_or_unfill z47\0\0s
    --z47\0\0
    --z47\0\1
    ..controls z47\0\2c1 and z47\0\2c2..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
    ..controls z47\0\13c1 and z47\0\13c2..cycle;
  fill_or_unfill z47\1\0s
    --z47\1\0
    --z47\1\1
    --z47\1\2
    --cycle;
  fill_or_unfill z47\2\0s
    --z47\2\0
    --z47\2\1
    --cycle;
  fill_or_unfill z47\3\0s
    ..controls z47\3\0c1 and z47\3\0c2..z47\3\0
    --cycle;
  fill_or_unfill z47\4\0s
    --z47\4\0
    --cycle;
  proof_labels (
    47\0\0,
    47\0\1,
    47\0\2,
    47\0\3,
    47\0\4,
    47\0\5,
    47\0\6,
    47\0\7,
    47\0\8,
    47\0\9,
    47\0\10,
    47\0\11,
    47\0\12,
    47\0\13,
    47\1\0,
    47\1\1,
    47\1\2,
    47\1\3,
    47\2\0,
    47\2\1,
    47\2\2,
    47\3\0,
    47\3\1,
    47\4\0,
    47\4\1,
);
endchar;

beginchar (48, 7.950u#, 18.067u#, 0.000u#);
  "R17";
  z48\0\0s = (0.000u,5.059u);
  z48\0\0 = (2.168u,5.059u);
  z48\0\1 = (2.168u,0.963u);
  z48\0\2 = (2.891u,0.963u);
  z48\0\3 = (2.891u,5.059u);
  z48\0\4 = (5.300u,5.059u);
  z48\0\5 = (5.300u,8.431u);
  z48\0\6 = (6.022u,5.781u);
  z48\0\7 = (6.504u,5.781u);
  z48\0\8 = (6.263u,8.431u);
  z48\0\9 = (7.950u,6.263u);
  z48\0\10c1 = (7.876u,7.752u);
  z48\0\10c2 = (7.700u,8.430u);
  z48\0\10 = (6.504u,9.395u);
  z48\0\11c1 = (8.233u,11.467u);
  z48\0\11c2 = (6.785u,12.376u);
  z48\0\11 = (4.818u,11.081u);
  z48\0\12c1 = (4.454u,12.576u);
  z48\0\12c2 = (4.585u,14.129u);
  z48\0\12 = (4.577u,15.658u);
  z48\0\13c1 = (4.559u,19.058u);
  z48\0\13c2 = (1.484u,18.358u);
  z48\0\13 = (0.970u,17.090u);
  z48\0\14c1 = (0.456u,15.821u);
  z48\0\14c2 = (0.570u,13.665u);
  z48\0\14 = (0.460u,12.286u);
  z48\0\15 = (0.000u,9.154u);
  z48\1\0s = (2.168u,17.345u);
  z48\1\0c1 = (2.628u,15.725u);
  z48\1\0c2 = (2.979u,12.826u);
  z48\1\0 = (1.204u,12.045u);
  z48\1\1c1 = (1.204u,13.644u);
  z48\1\1c2 = (0.992u,16.153u);
  z48\2\0s = (3.854u,17.345u);
  z48\2\0 = (4.095u,12.286u);
  z48\2\1 = (2.891u,12.286u);
  z48\2\2c1 = (2.891u,13.698u);
  z48\2\2c2 = (2.249u,16.782u);
  z48\3\0s = (4.095u,10.359u);
  z48\3\0 = (2.891u,10.140u);
  z48\3\1c1 = (-1.067u,9.854u);
  z48\3\1c2 = (3.037u,13.750u);
  z48\4\0s = (6.745u,11.081u);
  z48\4\0 = (5.300u,10.118u);
  z48\5\0s = (4.577u,5.781u);
  z48\5\0 = (0.723u,5.781u);
  z48\5\1 = (0.723u,9.636u);
  z48\5\2c1 = (4.704u,9.636u);
  z48\5\2c2 = (4.577u,9.826u);
  z48\6\0s = (6.263u,8.672u);
  fill_or_unfill z48\0\0s
    --z48\0\0
    --z48\0\1
    --z48\0\2
    --z48\0\3
    --z48\0\4
    --z48\0\5
    --z48\0\6
    --z48\0\7
    --z48\0\8
    --z48\0\9
    ..controls z48\0\10c1 and z48\0\10c2..z48\0\10
    ..controls z48\0\11c1 and z48\0\11c2..z48\0\11
    ..controls z48\0\12c1 and z48\0\12c2..z48\0\12
    ..controls z48\0\13c1 and z48\0\13c2..z48\0\13
    ..controls z48\0\14c1 and z48\0\14c2..z48\0\14
    --z48\0\15
    --cycle;
  fill_or_unfill z48\1\0s
    ..controls z48\1\0c1 and z48\1\0c2..z48\1\0
    ..controls z48\1\1c1 and z48\1\1c2..cycle;
  fill_or_unfill z48\2\0s
    --z48\2\0
    --z48\2\1
    ..controls z48\2\2c1 and z48\2\2c2..cycle;
  fill_or_unfill z48\3\0s
    --z48\3\0
    ..controls z48\3\1c1 and z48\3\1c2..cycle;
  fill_or_unfill z48\4\0s
    --z48\4\0
    --cycle;
  fill_or_unfill z48\5\0s
    --z48\5\0
    --z48\5\1
    ..controls z48\5\2c1 and z48\5\2c2..cycle;
  fill_or_unfill z48\6\0s
    --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\1\0,
    48\1\1,
    48\2\0,
    48\2\1,
    48\2\2,
    48\3\0,
    48\3\1,
    48\4\0,
    48\4\1,
    48\5\0,
    48\5\1,
    48\5\2,
    48\6\0,
);
endchar;

beginchar (49, 10.359u#, 19.031u#, 0.000u#);
  "R18";
  z49\0\0s = (3.132u,13.972u);
  z49\0\0 = (0.482u,13.972u);
  z49\0\1c1 = (1.202u,12.700u);
  z49\0\1c2 = (3.026u,13.019u);
  z49\0\1 = (4.336u,13.009u);
  z49\0\2c1 = (3.566u,12.114u);
  z49\0\2c2 = (2.089u,8.172u);
  z49\0\2 = (3.276u,7.232u);
  z49\0\3c1 = (3.636u,6.947u);
  z49\0\3c2 = (4.376u,6.992u);
  z49\0\3 = (4.818u,6.986u);
  z49\0\4 = (4.818u,4.577u);
  z49\0\5 = (0.000u,4.577u);
  z49\0\6 = (0.723u,3.854u);
  z49\0\7 = (0.000u,2.891u);
  z49\0\8 = (0.000u,2.168u);
  z49\0\9 = (0.723u,2.168u);
  z49\0\10 = (0.000u,0.482u);
  z49\0\11 = (10.359u,0.482u);
  z49\0\12 = (10.359u,1.204u);
  z49\0\13 = (9.395u,1.204u);
  z49\0\14 = (9.395u,2.168u);
  z49\0\15 = (10.359u,2.168u);
  z49\0\16 = (10.359u,2.891u);
  z49\0\17 = (9.395u,2.891u);
  z49\0\18 = (9.395u,3.854u);
  z49\0\19 = (10.359u,3.854u);
  z49\0\20 = (10.359u,4.577u);
  z49\0\21 = (5.541u,4.577u);
  z49\0\22 = (5.541u,6.986u);
  z49\0\23c1 = (6.918u,7.002u);
  z49\0\23c2 = (7.289u,6.938u);
  z49\0\23 = (7.468u,8.431u);
  z49\0\24 = (7.709u,6.986u);
  z49\0\25 = (8.431u,6.986u);
  z49\0\26 = (8.191u,9.154u);
  z49\0\27 = (9.395u,7.950u);
  z49\0\28 = (7.709u,11.081u);
  z49\0\29c1 = (8.619u,11.602u);
  z49\0\29c2 = (8.610u,11.840u);
  z49\0\29 = (8.191u,12.768u);
  z49\0\30 = (9.636u,13.731u);
  z49\0\31c1 = (8.071u,13.665u);
  z49\0\31c2 = (7.410u,13.282u);
  z49\0\31 = (7.188u,15.177u);
  z49\0\32c1 = (7.164u,15.617u);
  z49\0\32c2 = (7.056u,16.147u);
  z49\0\32 = (7.188u,16.581u);
  z49\0\33c1 = (7.298u,17.101u);
  z49\0\33c2 = (7.811u,17.508u);
  z49\0\33 = (7.799u,18.065u);
  z49\0\34c1 = (7.764u,19.701u);
  z49\0\34c2 = (5.865u,18.512u);
  z49\0\34 = (5.300u,18.065u);
  z49\0\35c1 = (4.962u,18.563u);
  z49\0\35c2 = (4.743u,18.894u);
  z49\0\35 = (4.089u,18.963u);
  z49\0\36c1 = (2.056u,19.175u);
  z49\0\36c2 = (3.164u,17.260u);
  z49\0\36 = (3.261u,16.381u);
  z49\1\0s = (4.059u,13.731u);
  z49\1\0 = (4.059u,16.863u);
  z49\1\1 = (3.613u,18.308u);
  z49\1\2c1 = (5.919u,17.574u);
  z49\1\2c2 = (4.904u,15.220u);
  z49\2\0s = (7.227u,18.067u);
  z49\2\0 = (6.504u,14.213u);
  z49\2\1c1 = (5.220u,15.377u);
  z49\2\1c2 = (5.188u,17.943u);
  z49\3\0s = (5.781u,13.972u);
  z49\3\0 = (4.818u,14.213u);
  z49\4\0s = (6.626u,13.975u);
  z49\5\0s = (7.468u,12.768u);
  z49\5\0c1 = (6.761u,12.273u);
  z49\5\0c2 = (6.513u,12.284u);
  z49\5\0 = (6.022u,13.009u);
  z49\6\0s = (6.263u,11.563u);
  z49\6\0 = (4.336u,11.563u);
  z49\6\1 = (4.336u,12.286u);
  z49\7\0s = (7.731u,11.962u);
  z49\8\0s = (6.745u,10.840u);
  z49\8\0 = (6.745u,7.709u);
  z49\8\1 = (3.613u,7.709u);
  z49\8\2 = (3.854u,10.840u);
  z49\9\0s = (3.372u,3.854u);
  z49\9\0 = (3.372u,2.891u);
  z49\9\1 = (1.445u,2.891u);
  z49\9\2 = (1.445u,3.854u);
  z49\10\0s = (6.263u,3.854u);
  z49\10\0 = (6.263u,2.891u);
  z49\10\1 = (4.095u,2.891u);
  z49\10\2 = (4.095u,3.854u);
  z49\11\0s = (8.672u,3.854u);
  z49\11\0 = (8.672u,2.891u);
  z49\11\1 = (6.986u,2.891u);
  z49\11\2 = (6.986u,3.854u);
  z49\12\0s = (3.372u,2.168u);
  z49\12\0 = (3.372u,1.204u);
  z49\12\1 = (1.445u,1.204u);
  z49\12\2 = (1.445u,2.168u);
  z49\13\0s = (6.263u,2.168u);
  z49\13\0 = (6.263u,1.204u);
  z49\13\1 = (4.095u,1.204u);
  z49\13\2 = (4.095u,2.168u);
  z49\14\0s = (8.672u,2.168u);
  z49\14\0 = (8.672u,1.204u);
  z49\14\1 = (6.986u,1.204u);
  z49\14\2 = (6.986u,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
    --z49\0\9
    --z49\0\10
    --z49\0\11
    --z49\0\12
    --z49\0\13
    --z49\0\14
    --z49\0\15
    --z49\0\16
    --z49\0\17
    --z49\0\18
    --z49\0\19
    --z49\0\20
    --z49\0\21
    --z49\0\22
    ..controls z49\0\23c1 and z49\0\23c2..z49\0\23
    --z49\0\24
    --z49\0\25
    --z49\0\26
    --z49\0\27
    --z49\0\28
    ..controls z49\0\29c1 and z49\0\29c2..z49\0\29
    --z49\0\30
    ..controls z49\0\31c1 and z49\0\31c2..z49\0\31
    ..controls z49\0\32c1 and z49\0\32c2..z49\0\32
    ..controls z49\0\33c1 and z49\0\33c2..z49\0\33
    ..controls z49\0\34c1 and z49\0\34c2..z49\0\34
    ..controls z49\0\35c1 and z49\0\35c2..z49\0\35
    ..controls z49\0\36c1 and z49\0\36c2..z49\0\36
    --cycle;
  fill_or_unfill z49\1\0s
    --z49\1\0
    --z49\1\1
    ..controls z49\1\2c1 and z49\1\2c2..cycle;
  fill_or_unfill z49\2\0s
    --z49\2\0
    ..controls z49\2\1c1 and z49\2\1c2..cycle;
  fill_or_unfill z49\3\0s
    --z49\3\0
    --cycle;
  fill_or_unfill z49\4\0s
    --cycle;
  fill_or_unfill z49\5\0s
    ..controls z49\5\0c1 and z49\5\0c2..z49\5\0
    --cycle;
  fill_or_unfill z49\6\0s
    --z49\6\0
    --z49\6\1
    --cycle;
  fill_or_unfill z49\7\0s
    --cycle;
  fill_or_unfill z49\8\0s
    --z49\8\0
    --z49\8\1
    --z49\8\2
    --cycle;
  fill_or_unfill z49\9\0s
    --z49\9\0
    --z49\9\1
    --z49\9\2
    --cycle;
  fill_or_unfill z49\10\0s
    --z49\10\0
    --z49\10\1
    --z49\10\2
    --cycle;
  fill_or_unfill z49\11\0s
    --z49\11\0
    --z49\11\1
    --z49\11\2
    --cycle;
  fill_or_unfill z49\12\0s
    --z49\12\0
    --z49\12\1
    --z49\12\2
    --cycle;
  fill_or_unfill z49\13\0s
    --z49\13\0
    --z49\13\1
    --z49\13\2
    --cycle;
  fill_or_unfill z49\14\0s
    --z49\14\0
    --z49\14\1
    --z49\14\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\0\11,
    49\0\12,
    49\0\13,
    49\0\14,
    49\0\15,
    49\0\16,
    49\0\17,
    49\0\18,
    49\0\19,
    49\0\20,
    49\0\21,
    49\0\22,
    49\0\23,
    49\0\24,
    49\0\25,
    49\0\26,
    49\0\27,
    49\0\28,
    49\0\29,
    49\0\30,
    49\0\31,
    49\0\32,
    49\0\33,
    49\0\34,
    49\0\35,
    49\0\36,
    49\0\37,
    49\1\0,
    49\1\1,
    49\1\2,
    49\2\0,
    49\2\1,
    49\3\0,
    49\3\1,
    49\4\0,
    49\5\0,
    49\5\1,
    49\6\0,
    49\6\1,
    49\6\2,
    49\7\0,
    49\8\0,
    49\8\1,
    49\8\2,
    49\8\3,
    49\9\0,
    49\9\1,
    49\9\2,
    49\9\3,
    49\10\0,
    49\10\1,
    49\10\2,
    49\10\3,
    49\11\0,
    49\11\1,
    49\11\2,
    49\11\3,
    49\12\0,
    49\12\1,
    49\12\2,
    49\12\3,
    49\13\0,
    49\13\1,
    49\13\2,
    49\13\3,
    49\14\0,
    49\14\1,
    49\14\2,
    49\14\3,
);
endchar;

beginchar (50, 7.950u#, 17.345u#, 0.000u#);
  "R19";
  z50\0\0s = (3.132u,14.936u);
  z50\0\0 = (4.336u,17.104u);
  z50\0\1c1 = (1.855u,16.704u);
  z50\0\1c2 = (0.874u,14.343u);
  z50\0\1 = (0.000u,12.286u);
  z50\0\2 = (3.132u,13.972u);
  z50\0\3 = (3.132u,6.022u);
  z50\0\4c1 = (3.120u,4.318u);
  z50\0\4c2 = (1.088u,1.688u);
  z50\0\4 = (2.891u,0.482u);
  z50\0\5c1 = (2.763u,3.960u);
  z50\0\5c2 = (4.566u,4.317u);
  z50\0\5 = (4.095u,0.723u);
  z50\0\6 = (5.024u,1.700u);
  z50\0\7 = (4.133u,4.818u);
  z50\0\8 = (4.133u,10.118u);
  z50\0\9c1 = (5.970u,10.765u);
  z50\0\9c2 = (5.336u,12.740u);
  z50\0\9 = (5.059u,14.213u);
  z50\0\10c1 = (6.623u,13.951u);
  z50\0\10c2 = (7.832u,15.921u);
  z50\0\10 = (7.950u,17.345u);
  z50\1\0s = (6.986u,16.503u);
  z50\2\0s = (6.745u,16.381u);
  z50\3\0s = (6.504u,16.140u);
  z50\3\0 = (5.059u,14.936u);
  z50\4\0s = (4.336u,13.731u);
  z50\4\0 = (4.336u,11.081u);
  fill_or_unfill z50\0\0s
    --z50\0\0
    ..controls z50\0\1c1 and z50\0\1c2..z50\0\1
    --z50\0\2
    --z50\0\3
    ..controls z50\0\4c1 and z50\0\4c2..z50\0\4
    ..controls z50\0\5c1 and z50\0\5c2..z50\0\5
    --z50\0\6
    --z50\0\7
    --z50\0\8
    ..controls z50\0\9c1 and z50\0\9c2..z50\0\9
    ..controls z50\0\10c1 and z50\0\10c2..z50\0\10
    --cycle;
  fill_or_unfill z50\1\0s
    --cycle;
  fill_or_unfill z50\2\0s
    --cycle;
  fill_or_unfill z50\3\0s
    --z50\3\0
    --cycle;
  fill_or_unfill z50\4\0s
    --z50\4\0
    --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\1\0,
    50\2\0,
    50\3\0,
    50\3\1,
    50\4\0,
    50\4\1,
);
endchar;

beginchar (51, 11.322u#, 17.586u#, 0.000u#);
  "R20";
  z51\0\0s = (4.577u,17.586u);
  z51\0\0 = (1.039u,13.971u);
  z51\0\1 = (0.000u,8.913u);
  z51\0\2 = (1.686u,13.005u);
  z51\0\3 = (5.581u,15.776u);
  z51\0\4 = (9.020u,13.706u);
  z51\0\5 = (11.322u,8.913u);
  z51\0\6c1 = (10.958u,10.267u);
  z51\0\6c2 = (10.361u,14.009u);
  z51\0\6 = (9.542u,14.842u);
  z51\0\7c1 = (8.961u,15.433u);
  z51\0\7c2 = (8.150u,15.647u);
  z51\0\7 = (7.502u,16.131u);
  z51\0\8c1 = (5.940u,17.299u);
  z51\0\8c2 = (7.132u,17.576u);
  z51\1\0s = (5.300u,15.417u);
  z51\1\0 = (5.059u,12.768u);
  z51\1\1 = (2.650u,13.972u);
  z51\1\2 = (4.336u,12.045u);
  z51\1\3 = (1.686u,11.081u);
  z51\1\4 = (4.336u,10.840u);
  z51\1\5 = (3.132u,8.431u);
  z51\1\6 = (5.059u,9.877u);
  z51\1\7 = (5.059u,0.482u);
  z51\1\8 = (6.022u,0.482u);
  z51\1\9 = (6.022u,9.877u);
  z51\1\10 = (8.191u,8.191u);
  z51\1\11 = (6.986u,10.840u);
  z51\1\12 = (9.636u,10.840u);
  z51\1\13 = (7.227u,11.804u);
  z51\1\14 = (8.672u,13.731u);
  z51\1\15 = (6.263u,12.527u);
  z51\1\16 = (5.781u,15.417u);
  z51\2\0s = (5.544u,12.066u);
  z51\2\0c1 = (6.074u,11.937u);
  z51\2\0c2 = (6.527u,11.275u);
  z51\2\0 = (5.887u,10.881u);
  z51\2\1c1 = (5.400u,10.580u);
  z51\2\1c2 = (4.502u,11.412u);
  fill_or_unfill z51\0\0s
    --z51\0\0
    --z51\0\1
    --z51\0\2
    --z51\0\3
    --z51\0\4
    --z51\0\5
    ..controls z51\0\6c1 and z51\0\6c2..z51\0\6
    ..controls z51\0\7c1 and z51\0\7c2..z51\0\7
    ..controls z51\0\8c1 and z51\0\8c2..cycle;
  fill_or_unfill z51\1\0s
    --z51\1\0
    --z51\1\1
    --z51\1\2
    --z51\1\3
    --z51\1\4
    --z51\1\5
    --z51\1\6
    --z51\1\7
    --z51\1\8
    --z51\1\9
    --z51\1\10
    --z51\1\11
    --z51\1\12
    --z51\1\13
    --z51\1\14
    --z51\1\15
    --z51\1\16
    --cycle;
  fill_or_unfill z51\2\0s
    ..controls z51\2\0c1 and z51\2\0c2..z51\2\0
    ..controls z51\2\1c1 and z51\2\1c2..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\1\2,
    51\1\3,
    51\1\4,
    51\1\5,
    51\1\6,
    51\1\7,
    51\1\8,
    51\1\9,
    51\1\10,
    51\1\11,
    51\1\12,
    51\1\13,
    51\1\14,
    51\1\15,
    51\1\16,
    51\1\17,
    51\2\0,
    51\2\1,
);
endchar;

beginchar (52, 7.468u#, 17.104u#, 0.000u#);
  "R21";
  z52\0\0s = (0.000u,10.600u);
  z52\0\0 = (3.372u,12.286u);
  z52\0\1 = (3.372u,9.877u);
  z52\0\2 = (1.445u,11.322u);
  z52\0\3 = (2.650u,9.154u);
  z52\0\4 = (0.241u,9.154u);
  z52\0\5 = (0.241u,8.431u);
  z52\0\6 = (2.650u,8.431u);
  z52\0\7 = (1.204u,6.263u);
  z52\0\8 = (3.372u,7.709u);
  z52\0\9 = (3.372u,0.482u);
  z52\0\10 = (4.095u,0.482u);
  z52\0\11 = (4.095u,7.950u);
  z52\0\12 = (6.263u,6.263u);
  z52\0\13 = (4.818u,8.431u);
  z52\0\14 = (7.227u,8.431u);
  z52\0\15 = (7.227u,9.154u);
  z52\0\16 = (4.818u,9.154u);
  z52\0\17 = (6.745u,11.322u);
  z52\0\18 = (7.468u,10.600u);
  z52\0\19c1 = (7.005u,11.952u);
  z52\0\19c2 = (6.460u,12.469u);
  z52\0\19 = (5.059u,12.768u);
  z52\0\20c1 = (5.352u,13.974u);
  z52\0\20c2 = (5.836u,16.774u);
  z52\0\20 = (4.086u,17.011u);
  z52\0\21c1 = (3.665u,17.068u);
  z52\0\21c2 = (3.145u,17.027u);
  z52\0\21 = (2.828u,16.713u);
  z52\0\22c1 = (2.063u,15.958u);
  z52\0\22c2 = (2.667u,14.229u);
  z52\0\22 = (2.265u,13.300u);
  z52\0\23c1 = (1.853u,12.350u);
  z52\0\23c2 = (0.751u,12.497u);
  z52\1\0s = (3.613u,16.381u);
  z52\1\0 = (2.891u,13.249u);
  z52\1\1 = (2.891u,16.381u);
  z52\2\0s = (4.818u,16.381u);
  z52\2\0 = (4.818u,13.490u);
  z52\2\1 = (4.095u,13.490u);
  z52\2\2 = (4.095u,16.381u);
  z52\3\0s = (6.263u,11.804u);
  z52\3\0 = (4.095u,10.118u);
  z52\3\1 = (4.095u,12.286u);
  z52\4\0s = (3.854u,9.395u);
  z52\4\0 = (3.854u,8.431u);
  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
    --z52\0\7
    --z52\0\8
    --z52\0\9
    --z52\0\10
    --z52\0\11
    --z52\0\12
    --z52\0\13
    --z52\0\14
    --z52\0\15
    --z52\0\16
    --z52\0\17
    --z52\0\18
    ..controls z52\0\19c1 and z52\0\19c2..z52\0\19
    ..controls z52\0\20c1 and z52\0\20c2..z52\0\20
    ..controls z52\0\21c1 and z52\0\21c2..z52\0\21
    ..controls z52\0\22c1 and z52\0\22c2..z52\0\22
    ..controls z52\0\23c1 and z52\0\23c2..cycle;
  fill_or_unfill z52\1\0s
    --z52\1\0
    --z52\1\1
    --cycle;
  fill_or_unfill z52\2\0s
    --z52\2\0
    --z52\2\1
    --z52\2\2
    --cycle;
  fill_or_unfill z52\3\0s
    --z52\3\0
    --z52\3\1
    --cycle;
  fill_or_unfill z52\4\0s
    --z52\4\0
    --cycle;
  proof_labels (
    52\0\0,
    52\0\1,
    52\0\2,
    52\0\3,
    52\0\4,
    52\0\5,
    52\0\6,
    52\0\7,
    52\0\8,
    52\0\9,
    52\0\10,
    52\0\11,
    52\0\12,
    52\0\13,
    52\0\14,
    52\0\15,
    52\0\16,
    52\0\17,
    52\0\18,
    52\0\19,
    52\0\20,
    52\0\21,
    52\0\22,
    52\0\23,
    52\1\0,
    52\1\1,
    52\1\2,
    52\2\0,
    52\2\1,
    52\2\2,
    52\2\3,
    52\3\0,
    52\3\1,
    52\3\2,
    52\4\0,
    52\4\1,
);
endchar;

beginchar (53, 16.863u#, 3.372u#, 0.000u#);
  "R22";
  z53\0\0s = (6.986u,0.723u);
  z53\0\0 = (7.227u,3.125u);
  z53\0\1c1 = (5.918u,3.502u);
  z53\0\1c2 = (5.369u,3.240u);
  z53\0\1 = (4.095u,3.125u);
  z53\0\2 = (2.409u,3.125u);
  z53\0\3c1 = (1.828u,3.035u);
  z53\0\3c2 = (-0.245u,2.828u);
  z53\0\3 = (0.281u,1.785u);
  z53\0\4c1 = (0.669u,1.016u);
  z53\0\4c2 = (5.961u,0.732u);
  z53\1\0s = (8.024u,2.860u);
  z53\1\0c1 = (7.002u,1.831u);
  z53\1\0c2 = (7.851u,0.627u);
  z53\1\0 = (8.838u,1.220u);
  z53\1\1c1 = (9.706u,1.741u);
  z53\1\1c2 = (9.366u,3.107u);
  z53\2\0s = (9.636u,3.132u);
  z53\2\0c1 = (9.636u,2.613u);
  z53\2\0c2 = (9.559u,1.516u);
  z53\2\0 = (9.882u,1.108u);
  z53\2\1c1 = (10.450u,0.390u);
  z53\2\1c2 = (16.191u,0.983u);
  z53\2\1 = (16.582u,1.749u);
  z53\2\2c1 = (17.264u,3.086u);
  z53\2\2c2 = (13.832u,2.890u);
  z53\2\2 = (13.249u,2.959u);
  z53\2\3 = (10.840u,3.132u);
  z53\3\0s = (6.263u,2.650u);
  z53\3\0 = (6.263u,1.445u);
  z53\3\1 = (0.723u,1.927u);
  z53\4\0s = (15.899u,2.168u);
  z53\4\0 = (10.600u,1.204u);
  z53\4\1 = (10.359u,2.650u);
  z53\5\0s = (8.913u,2.409u);
  z53\5\0 = (8.191u,1.445u);
  z53\5\1 = (7.950u,2.409u);
  fill_or_unfill z53\0\0s
    --z53\0\0
    ..controls z53\0\1c1 and z53\0\1c2..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..cycle;
  fill_or_unfill z53\1\0s
    ..controls z53\1\0c1 and z53\1\0c2..z53\1\0
    ..controls z53\1\1c1 and z53\1\1c2..cycle;
  fill_or_unfill z53\2\0s
    ..controls z53\2\0c1 and z53\2\0c2..z53\2\0
    ..controls z53\2\1c1 and z53\2\1c2..z53\2\1
    ..controls z53\2\2c1 and z53\2\2c2..z53\2\2
    --z53\2\3
    --cycle;
  fill_or_unfill z53\3\0s
    --z53\3\0
    --z53\3\1
    --cycle;
  fill_or_unfill z53\4\0s
    --z53\4\0
    --z53\4\1
    --cycle;
  fill_or_unfill z53\5\0s
    --z53\5\0
    --z53\5\1
    --cycle;
  proof_labels (
    53\0\0,
    53\0\1,
    53\0\2,
    53\0\3,
    53\0\4,
    53\1\0,
    53\1\1,
    53\2\0,
    53\2\1,
    53\2\2,
    53\2\3,
    53\2\4,
    53\3\0,
    53\3\1,
    53\3\2,
    53\4\0,
    53\4\1,
    53\4\2,
    53\5\0,
    53\5\1,
    53\5\2,
);
endchar;

beginchar (54, 17.345u#, 4.818u#, 0.000u#);
  "R23";
  z54\0\0s = (5.781u,0.241u);
  z54\0\0 = (5.781u,1.445u);
  z54\0\1 = (6.745u,0.241u);
  z54\0\2 = (10.359u,0.241u);
  z54\0\3 = (10.840u,1.445u);
  z54\0\4 = (11.322u,1.445u);
  z54\0\5 = (11.563u,0.482u);
  z54\0\6 = (13.490u,1.343u);
  z54\0\7 = (17.345u,2.168u);
  z54\0\8c1 = (16.625u,4.036u);
  z54\0\8c2 = (14.814u,3.355u);
  z54\0\8 = (13.259u,3.888u);
  z54\0\9 = (11.563u,4.818u);
  z54\0\10 = (10.600u,3.854u);
  z54\0\11 = (10.600u,4.818u);
  z54\0\12 = (9.877u,4.336u);
  z54\0\13 = (6.745u,4.818u);
  z54\0\14 = (6.504u,3.854u);
  z54\0\15 = (6.022u,3.854u);
  z54\0\16 = (5.781u,4.818u);
  z54\0\17 = (3.854u,3.948u);
  z54\0\18 = (0.281u,3.001u);
  z54\0\19 = (0.978u,1.962u);
  z54\0\20 = (3.845u,1.438u);
  z54\1\0s = (8.435u,3.941u);
  z54\1\0c1 = (10.623u,3.751u);
  z54\1\0c2 = (10.038u,1.308u);
  z54\1\0 = (8.669u,1.155u);
  z54\1\1c1 = (7.162u,0.987u);
  z54\1\1c2 = (6.545u,3.296u);
  z54\2\0s = (5.059u,3.613u);
  z54\2\0 = (5.059u,1.686u);
  z54\2\1 = (0.723u,2.650u);
  z54\3\0s = (11.081u,3.372u);
  z54\3\0c1 = (11.484u,2.501u);
  z54\3\0c2 = (11.566u,2.271u);
  z54\3\0 = (10.600u,1.927u);
  z54\4\0s = (16.381u,2.409u);
  z54\4\0 = (12.286u,1.686u);
  z54\4\1 = (12.286u,3.372u);
  z54\5\0s = (6.504u,3.132u);
  z54\5\0 = (6.504u,1.927u);
  z54\5\1 = (6.022u,1.927u);
  z54\5\2 = (5.781u,2.891u);
  z54\5\3 = (6.022u,3.132u);
  fill_or_unfill z54\0\0s
    --z54\0\0
    --z54\0\1
    --z54\0\2
    --z54\0\3
    --z54\0\4
    --z54\0\5
    --z54\0\6
    --z54\0\7
    ..controls z54\0\8c1 and z54\0\8c2..z54\0\8
    --z54\0\9
    --z54\0\10
    --z54\0\11
    --z54\0\12
    --z54\0\13
    --z54\0\14
    --z54\0\15
    --z54\0\16
    --z54\0\17
    --z54\0\18
    --z54\0\19
    --z54\0\20
    --cycle;
  fill_or_unfill z54\1\0s
    ..controls z54\1\0c1 and z54\1\0c2..z54\1\0
    ..controls z54\1\1c1 and z54\1\1c2..cycle;
  fill_or_unfill z54\2\0s
    --z54\2\0
    --z54\2\1
    --cycle;
  fill_or_unfill z54\3\0s
    ..controls z54\3\0c1 and z54\3\0c2..z54\3\0
    --cycle;
  fill_or_unfill z54\4\0s
    --z54\4\0
    --z54\4\1
    --cycle;
  fill_or_unfill z54\5\0s
    --z54\5\0
    --z54\5\1
    --z54\5\2
    --z54\5\3
    --cycle;
  proof_labels (
    54\0\0,
    54\0\1,
    54\0\2,
    54\0\3,
    54\0\4,
    54\0\5,
    54\0\6,
    54\0\7,
    54\0\8,
    54\0\9,
    54\0\10,
    54\0\11,
    54\0\12,
    54\0\13,
    54\0\14,
    54\0\15,
    54\0\16,
    54\0\17,
    54\0\18,
    54\0\19,
    54\0\20,
    54\0\21,
    54\1\0,
    54\1\1,
    54\2\0,
    54\2\1,
    54\2\2,
    54\3\0,
    54\3\1,
    54\4\0,
    54\4\1,
    54\4\2,
    54\5\0,
    54\5\1,
    54\5\2,
    54\5\3,
    54\5\4,
);
endchar;

beginchar (55, 17.104u#, 7.950u#, 0.000u#);
  "R24";
  z55\0\0s = (0.241u,7.950u);
  z55\0\0c1 = (-0.129u,6.363u);
  z55\0\0c2 = (0.165u,5.338u);
  z55\0\0 = (1.686u,4.577u);
  z55\0\1c1 = (0.430u,2.846u);
  z55\0\1c2 = (0.023u,3.035u);
  z55\0\1 = (0.000u,0.723u);
  z55\0\2 = (2.891u,3.854u);
  z55\0\3 = (4.337u,2.410u);
  z55\0\4 = (12.526u,2.250u);
  z55\0\5 = (15.154u,3.295u);
  z55\0\6 = (16.381u,0.482u);
  z55\0\7 = (16.863u,0.482u);
  z55\0\8c1 = (17.290u,2.039u);
  z55\0\8c2 = (16.892u,3.116u);
  z55\0\8 = (15.417u,3.854u);
  z55\0\9c1 = (16.456u,5.326u);
  z55\0\9c2 = (17.396u,5.766u);
  z55\0\9 = (16.863u,7.709u);
  z55\0\10 = (14.454u,4.577u);
  z55\0\11 = (13.005u,6.021u);
  z55\0\12 = (4.578u,6.181u);
  z55\0\13 = (1.977u,5.136u);
  z55\0\14 = (0.723u,7.950u);
  z55\1\0s = (4.350u,5.380u);
  z55\1\0 = (12.973u,5.380u);
  z55\1\1 = (13.651u,4.552u);
  z55\1\2 = (13.174u,3.174u);
  z55\1\3 = (4.587u,3.028u);
  z55\1\4 = (3.511u,4.107u);
  fill_or_unfill z55\0\0s
    ..controls z55\0\0c1 and z55\0\0c2..z55\0\0
    ..controls z55\0\1c1 and z55\0\1c2..z55\0\1
    --z55\0\2
    --z55\0\3
    --z55\0\4
    --z55\0\5
    --z55\0\6
    --z55\0\7
    ..controls z55\0\8c1 and z55\0\8c2..z55\0\8
    ..controls z55\0\9c1 and z55\0\9c2..z55\0\9
    --z55\0\10
    --z55\0\11
    --z55\0\12
    --z55\0\13
    --z55\0\14
    --cycle;
  fill_or_unfill z55\1\0s
    --z55\1\0
    --z55\1\1
    --z55\1\2
    --z55\1\3
    --z55\1\4
    --cycle;
  proof_labels (
    55\0\0,
    55\0\1,
    55\0\2,
    55\0\3,
    55\0\4,
    55\0\5,
    55\0\6,
    55\0\7,
    55\0\8,
    55\0\9,
    55\0\10,
    55\0\11,
    55\0\12,
    55\0\13,
    55\0\14,
    55\0\15,
    55\1\0,
    55\1\1,
    55\1\2,
    55\1\3,
    55\1\4,
    55\1\5,
);
endchar;

beginchar (56, 12.527u#, 17.586u#, 0.000u#);
  "R25";
  z56\0\0s = (0.241u,16.622u);
  z56\0\0 = (2.610u,15.155u);
  z56\0\1 = (1.928u,12.286u);
  z56\0\2 = (2.314u,2.916u);
  z56\0\3 = (0.000u,0.723u);
  z56\0\4c1 = (2.447u,0.235u);
  z56\0\4c2 = (3.591u,1.859u);
  z56\0\4 = (3.613u,4.095u);
  z56\0\5 = (8.913u,4.095u);
  z56\0\6c1 = (8.921u,1.621u);
  z56\0\6c2 = (9.688u,0.516u);
  z56\0\6 = (12.286u,0.241u);
  z56\0\7 = (9.877u,4.095u);
  z56\0\8 = (10.600u,4.095u);
  z56\0\9 = (10.600u,13.731u);
  z56\0\10 = (9.877u,13.731u);
  z56\0\11c1 = (10.082u,15.487u);
  z56\0\11c2 = (10.872u,15.807u);
  z56\0\11 = (12.527u,15.899u);
  z56\0\12 = (12.527u,17.104u);
  z56\0\13c1 = (9.830u,17.079u);
  z56\0\13c2 = (8.923u,16.503u);
  z56\0\13 = (8.913u,13.731u);
  z56\0\14 = (3.854u,13.972u);
  z56\0\15c1 = (4.516u,16.527u);
  z56\0\15c2 = (1.296u,18.442u);
  z56\1\0s = (11.427u,16.517u);
  z56\2\0s = (10.600u,16.262u);
  z56\3\0s = (10.359u,16.140u);
  z56\3\0 = (9.636u,15.417u);
  z56\3\1 = (9.877u,16.140u);
  z56\4\0s = (3.505u,15.051u);
  z56\5\0s = (9.636u,15.417u);
  z56\5\0 = (9.636u,13.731u);
  z56\6\0s = (7.950u,13.249u);
  z56\6\0c1 = (7.270u,12.240u);
  z56\6\0c2 = (3.664u,11.195u);
  z56\6\0 = (2.409u,11.081u);
  z56\6\1 = (2.409u,13.249u);
  z56\7\0s = (10.118u,13.009u);
  z56\7\0 = (10.118u,10.600u);
  z56\7\1 = (4.095u,10.840u);
  z56\8\0s = (8.672u,10.118u);
  z56\8\0 = (2.409u,7.950u);
  z56\8\1 = (2.409u,10.359u);
  z56\9\0s = (10.118u,9.877u);
  z56\9\0 = (10.118u,7.468u);
  z56\9\1 = (3.854u,7.709u);
  z56\10\0s = (8.672u,6.986u);
  z56\10\0 = (2.409u,4.577u);
  z56\10\1 = (2.409u,7.227u);
  z56\11\0s = (10.118u,6.745u);
  z56\11\0 = (10.118u,4.577u);
  z56\11\1 = (4.336u,4.577u);
  z56\11\2 = (4.336u,5.059u);
  z56\12\0s = (3.132u,4.095u);
  z56\12\0 = (2.650u,1.686u);
  z56\13\0s = (9.395u,3.613u);
  z56\13\0 = (10.359u,1.445u);
  z56\13\1c1 = (9.420u,1.961u);
  z56\13\1c2 = (9.047u,2.551u);
  z56\14\0s = (2.032u,1.581u);
  z56\15\0s = (1.686u,1.445u);
  z56\15\0 = (0.723u,0.963u);
  z56\16\0s = (10.600u,1.445u);
  z56\16\0 = (11.322u,1.204u);
  z56\16\1 = (10.359u,1.204u);
  fill_or_unfill z56\0\0s
    --z56\0\0
    --z56\0\1
    --z56\0\2
    --z56\0\3
    ..controls z56\0\4c1 and z56\0\4c2..z56\0\4
    --z56\0\5
    ..controls z56\0\6c1 and z56\0\6c2..z56\0\6
    --z56\0\7
    --z56\0\8
    --z56\0\9
    --z56\0\10
    ..controls z56\0\11c1 and z56\0\11c2..z56\0\11
    --z56\0\12
    ..controls z56\0\13c1 and z56\0\13c2..z56\0\13
    --z56\0\14
    ..controls z56\0\15c1 and z56\0\15c2..cycle;
  fill_or_unfill z56\1\0s
    --cycle;
  fill_or_unfill z56\2\0s
    --cycle;
  fill_or_unfill z56\3\0s
    --z56\3\0
    --z56\3\1
    --cycle;
  fill_or_unfill z56\4\0s
    --cycle;
  fill_or_unfill z56\5\0s
    --z56\5\0
    --cycle;
  fill_or_unfill z56\6\0s
    ..controls z56\6\0c1 and z56\6\0c2..z56\6\0
    --z56\6\1
    --cycle;
  fill_or_unfill z56\7\0s
    --z56\7\0
    --z56\7\1
    --cycle;
  fill_or_unfill z56\8\0s
    --z56\8\0
    --z56\8\1
    --cycle;
  fill_or_unfill z56\9\0s
    --z56\9\0
    --z56\9\1
    --cycle;
  fill_or_unfill z56\10\0s
    --z56\10\0
    --z56\10\1
    --cycle;
  fill_or_unfill z56\11\0s
    --z56\11\0
    --z56\11\1
    --z56\11\2
    --cycle;
  fill_or_unfill z56\12\0s
    --z56\12\0
    --cycle;
  fill_or_unfill z56\13\0s
    --z56\13\0
    ..controls z56\13\1c1 and z56\13\1c2..cycle;
  fill_or_unfill z56\14\0s
    --cycle;
  fill_or_unfill z56\15\0s
    --z56\15\0
    --cycle;
  fill_or_unfill z56\16\0s
    --z56\16\0
    --z56\16\1
    --cycle;
  proof_labels (
    56\0\0,
    56\0\1,
    56\0\2,
    56\0\3,
    56\0\4,
    56\0\5,
    56\0\6,
    56\0\7,
    56\0\8,
    56\0\9,
    56\0\10,
    56\0\11,
    56\0\12,
    56\0\13,
    56\0\14,
    56\0\15,
    56\1\0,
    56\2\0,
    56\3\0,
    56\3\1,
    56\3\2,
    56\4\0,
    56\5\0,
    56\5\1,
    56\6\0,
    56\6\1,
    56\6\2,
    56\7\0,
    56\7\1,
    56\7\2,
    56\8\0,
    56\8\1,
    56\8\2,
    56\9\0,
    56\9\1,
    56\9\2,
    56\10\0,
    56\10\1,
    56\10\2,
    56\11\0,
    56\11\1,
    56\11\2,
    56\11\3,
    56\12\0,
    56\12\1,
    56\13\0,
    56\13\1,
    56\14\0,
    56\15\0,
    56\15\1,
    56\16\0,
    56\16\1,
    56\16\2,
);
endchar;