beginchar (32, 16.622u#, 6.263u#, 0.000u#);
  "T1";
  z32\0\0s = (1.204u,6.263u);
  z32\0\0c1 = (0.717u,5.204u);
  z32\0\0c2 = (-0.801u,3.770u);
  z32\0\0 = (0.963u,3.132u);
  z32\0\1 = (0.963u,1.927u);
  z32\0\2 = (6.986u,3.613u);
  z32\0\3 = (16.622u,2.891u);
  z32\0\4 = (16.622u,5.300u);
  z32\0\5 = (6.504u,4.577u);
  z32\1\0s = (4.095u,3.854u);
  z32\1\0 = (1.686u,2.891u);
  z32\1\1 = (1.686u,5.059u);
  fill_or_unfill z32\0\0s
    ..controls z32\0\0c1 and z32\0\0c2..z32\0\0
    --z32\0\1
    --z32\0\2
    --z32\0\3
    --z32\0\4
    --z32\0\5
    --cycle;
  fill_or_unfill z32\1\0s
    --z32\1\0
    --z32\1\1
    --cycle;
  proof_labels (
    32\0\0,
    32\0\1,
    32\0\2,
    32\0\3,
    32\0\4,
    32\0\5,
    32\0\6,
    32\1\0,
    32\1\1,
    32\1\2,
);
endchar;

beginchar (33, 17.104u#, 10.840u#, 0.000u#);
  "T2";
  z33\0\0s = (17.104u,1.204u);
  z33\0\0c1 = (16.691u,3.624u);
  z33\0\0c2 = (8.503u,5.300u);
  z33\0\0 = (6.623u,7.320u);
  z33\0\1c1 = (5.363u,8.675u);
  z33\0\1c2 = (5.462u,10.952u);
  z33\0\1 = (2.891u,10.811u);
  z33\0\2c1 = (1.035u,10.710u);
  z33\0\2c2 = (-0.280u,10.409u);
  z33\0\2 = (0.522u,8.431u);
  z33\0\3c1 = (1.171u,6.832u);
  z33\0\3c2 = (1.708u,6.074u);
  z33\0\3 = (3.613u,6.065u);
  z33\0\4 = (6.022u,6.335u);
  z33\0\5c1 = (7.020u,6.231u);
  z33\0\5c2 = (9.334u,4.790u);
  z33\0\5 = (10.359u,4.277u);
  z33\0\6c1 = (12.238u,3.335u);
  z33\0\6c2 = (15.109u,1.417u);
  z33\1\0s = (5.541u,6.986u);
  z33\1\0c1 = (4.897u,6.871u);
  z33\1\0c2 = (4.271u,6.748u);
  z33\1\0 = (3.613u,6.752u);
  z33\1\1c1 = (-0.624u,6.777u);
  z33\1\1c2 = (1.810u,11.728u);
  z33\1\1 = (4.292u,9.754u);
  z33\1\2c1 = (5.218u,9.017u);
  z33\1\2c2 = (5.476u,8.106u);
  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
    ..controls z33\0\2c1 and z33\0\2c2..z33\0\2
    ..controls z33\0\3c1 and z33\0\3c2..z33\0\3
    --z33\0\4
    ..controls z33\0\5c1 and z33\0\5c2..z33\0\5
    ..controls z33\0\6c1 and z33\0\6c2..cycle;
  fill_or_unfill z33\1\0s
    ..controls z33\1\0c1 and z33\1\0c2..z33\1\0
    ..controls z33\1\1c1 and z33\1\1c2..z33\1\1
    ..controls z33\1\2c1 and z33\1\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\1\0,
    33\1\1,
    33\1\2,
);
endchar;

beginchar (34, 4.095u#, 18.790u#, 0.000u#);
  "T3";
  z34\0\0s = (1.686u,1.204u);
  z34\0\0 = (2.409u,1.204u);
  z34\0\1 = (2.409u,11.322u);
  z34\0\2c1 = (2.423u,14.081u);
  z34\0\2c2 = (3.557u,13.793u);
  z34\0\2 = (3.952u,15.658u);
  z34\0\3c1 = (4.150u,16.593u);
  z34\0\3c2 = (3.231u,18.649u);
  z34\0\3 = (2.159u,18.640u);
  z34\0\4c1 = (1.146u,18.631u);
  z34\0\4c2 = (0.063u,16.831u);
  z34\0\4 = (0.125u,15.899u);
  z34\0\5c1 = (0.238u,14.222u);
  z34\0\5c2 = (1.682u,13.952u);
  z34\0\5 = (1.686u,11.081u);
  z34\1\0s = (1.711u,17.231u);
  z34\1\0c1 = (4.121u,17.352u);
  z34\1\0c2 = (3.253u,14.694u);
  z34\1\0 = (2.326u,14.253u);
  z34\1\1c1 = (1.435u,13.830u);
  z34\1\1c2 = (-0.236u,16.340u);
  fill_or_unfill z34\0\0s
    --z34\0\0
    --z34\0\1
    ..controls z34\0\2c1 and z34\0\2c2..z34\0\2
    ..controls z34\0\3c1 and z34\0\3c2..z34\0\3
    ..controls z34\0\4c1 and z34\0\4c2..z34\0\4
    ..controls z34\0\5c1 and z34\0\5c2..z34\0\5
    --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..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\1\0,
    34\1\1,
);
endchar;

beginchar (35, 6.986u#, 18.790u#, 0.000u#);
  "T4";
  z35\0\0s = (3.132u,10.359u);
  z35\0\0c1 = (1.801u,10.590u);
  z35\0\0c2 = (1.612u,10.126u);
  z35\0\0 = (1.927u,8.913u);
  z35\0\1c1 = (-0.759u,7.304u);
  z35\0\1c2 = (-0.344u,3.153u);
  z35\0\1 = (1.633u,3.817u);
  z35\0\2c1 = (2.594u,4.140u);
  z35\0\2c2 = (2.757u,7.192u);
  z35\0\2 = (3.132u,8.191u);
  z35\0\3 = (3.132u,1.204u);
  z35\0\4 = (4.336u,1.204u);
  z35\0\5 = (4.095u,8.191u);
  z35\0\6 = (6.022u,4.336u);
  z35\0\7 = (5.300u,7.950u);
  z35\0\8 = (6.986u,5.541u);
  z35\0\9c1 = (6.897u,7.146u);
  z35\0\9c2 = (6.494u,8.097u);
  z35\0\9 = (5.059u,8.913u);
  z35\0\10c1 = (5.268u,9.915u);
  z35\0\10c2 = (5.185u,10.291u);
  z35\0\10 = (4.095u,10.359u);
  z35\0\11c1 = (3.201u,14.039u);
  z35\0\11c2 = (5.759u,13.764u);
  z35\0\11 = (5.731u,16.140u);
  z35\0\12c1 = (5.703u,18.501u);
  z35\0\12c2 = (2.855u,19.776u);
  z35\0\12 = (1.830u,16.863u);
  z35\0\13c1 = (0.955u,14.377u);
  z35\0\13c2 = (4.041u,14.100u);
  z35\1\0s = (3.376u,17.456u);
  z35\1\0c1 = (5.541u,17.397u);
  z35\1\0c2 = (5.295u,14.808u);
  z35\1\0 = (4.020u,14.253u);
  z35\1\1c1 = (3.018u,13.817u);
  z35\1\1c2 = (0.986u,16.548u);
  z35\2\0s = (2.650u,9.877u);
  z35\2\0 = (3.372u,9.154u);
  z35\3\0s = (4.336u,9.618u);
  z35\4\0s = (2.409u,8.431u);
  z35\4\0c1 = (2.218u,6.988u);
  z35\4\0c2 = (2.366u,5.119u);
  z35\4\0 = (0.963u,4.336u);
  z35\4\1c1 = (0.273u,6.090u);
  z35\4\1c2 = (0.762u,7.495u);
  fill_or_unfill z35\0\0s
    ..controls z35\0\0c1 and z35\0\0c2..z35\0\0
    ..controls z35\0\1c1 and z35\0\1c2..z35\0\1
    ..controls z35\0\2c1 and z35\0\2c2..z35\0\2
    --z35\0\3
    --z35\0\4
    --z35\0\5
    --z35\0\6
    --z35\0\7
    --z35\0\8
    ..controls z35\0\9c1 and z35\0\9c2..z35\0\9
    ..controls z35\0\10c1 and z35\0\10c2..z35\0\10
    ..controls z35\0\11c1 and z35\0\11c2..z35\0\11
    ..controls z35\0\12c1 and z35\0\12c2..z35\0\12
    ..controls z35\0\13c1 and z35\0\13c2..cycle;
  fill_or_unfill z35\1\0s
    ..controls z35\1\0c1 and z35\1\0c2..z35\1\0
    ..controls z35\1\1c1 and z35\1\1c2..cycle;
  fill_or_unfill z35\2\0s
    --z35\2\0
    --cycle;
  fill_or_unfill z35\3\0s
    --cycle;
  fill_or_unfill z35\4\0s
    ..controls z35\4\0c1 and z35\4\0c2..z35\4\0
    ..controls z35\4\1c1 and z35\4\1c2..cycle;
  proof_labels (
    35\0\0,
    35\0\1,
    35\0\2,
    35\0\3,
    35\0\4,
    35\0\5,
    35\0\6,
    35\0\7,
    35\0\8,
    35\0\9,
    35\0\10,
    35\0\11,
    35\0\12,
    35\0\13,
    35\1\0,
    35\1\1,
    35\2\0,
    35\2\1,
    35\3\0,
    35\4\0,
    35\4\1,
);
endchar;

beginchar (36, 14.695u#, 18.549u#, 0.000u#);
  "T5";
  z36\0\0s = (7.227u,18.549u);
  z36\0\0c1 = (5.673u,15.450u);
  z36\0\0c2 = (5.336u,16.396u);
  z36\0\0 = (7.227u,13.009u);
  z36\0\1c1 = (0.276u,11.758u);
  z36\0\1c2 = (5.305u,15.260u);
  z36\0\1 = (2.164u,15.532u);
  z36\0\2c1 = (0.435u,15.682u);
  z36\0\2c2 = (-1.279u,13.814u);
  z36\0\2 = (1.927u,13.731u);
  z36\0\3c1 = (1.525u,10.045u);
  z36\0\3c2 = (4.670u,11.322u);
  z36\0\3 = (7.227u,11.322u);
  z36\0\4 = (7.227u,0.963u);
  z36\0\5 = (7.950u,0.963u);
  z36\0\6 = (7.950u,9.154u);
  z36\0\7c1 = (8.010u,12.395u);
  z36\0\7c2 = (11.836u,10.902u);
  z36\0\7 = (12.726u,9.154u);
  z36\0\8c1 = (13.650u,7.336u);
  z36\0\8c2 = (11.656u,1.933u);
  z36\0\8 = (14.454u,0.963u);
  z36\0\9c1 = (14.152u,2.112u);
  z36\0\9c2 = (13.701u,3.118u);
  z36\0\9 = (13.756u,4.336u);
  z36\0\10 = (14.644u,8.431u);
  z36\0\11c1 = (15.113u,12.122u);
  z36\0\11c2 = (11.216u,13.006u);
  z36\0\11 = (8.431u,13.009u);
  z36\0\12c1 = (10.198u,16.377u);
  z36\0\12c2 = (10.203u,15.126u);
  z36\0\12 = (8.672u,18.549u);
  z36\1\0s = (7.950u,13.731u);
  z36\1\0c1 = (3.396u,17.745u);
  z36\1\0c2 = (12.059u,18.809u);
  z36\2\0s = (2.409u,14.936u);
  z36\2\0 = (2.409u,14.213u);
  z36\2\1 = (0.963u,14.454u);
  z36\3\0s = (13.972u,8.431u);
  z36\3\0c1 = (12.125u,11.365u);
  z36\3\0c2 = (11.617u,11.526u);
  z36\3\0 = (8.191u,11.804u);
  z36\3\1c1 = (9.401u,13.611u);
  z36\3\1c2 = (13.787u,11.740u);
  z36\4\0s = (6.986u,12.286u);
  fill_or_unfill z36\0\0s
    ..controls z36\0\0c1 and z36\0\0c2..z36\0\0
    ..controls z36\0\1c1 and z36\0\1c2..z36\0\1
    ..controls z36\0\2c1 and z36\0\2c2..z36\0\2
    ..controls z36\0\3c1 and z36\0\3c2..z36\0\3
    --z36\0\4
    --z36\0\5
    --z36\0\6
    ..controls z36\0\7c1 and z36\0\7c2..z36\0\7
    ..controls z36\0\8c1 and z36\0\8c2..z36\0\8
    ..controls z36\0\9c1 and z36\0\9c2..z36\0\9
    --z36\0\10
    ..controls z36\0\11c1 and z36\0\11c2..z36\0\11
    ..controls z36\0\12c1 and z36\0\12c2..z36\0\12
    --cycle;
  fill_or_unfill z36\1\0s
    ..controls z36\1\0c1 and z36\1\0c2..cycle;
  fill_or_unfill z36\2\0s
    --z36\2\0
    --z36\2\1
    --cycle;
  fill_or_unfill z36\3\0s
    ..controls z36\3\0c1 and z36\3\0c2..z36\3\0
    ..controls z36\3\1c1 and z36\3\1c2..cycle;
  fill_or_unfill z36\4\0s
    --cycle;
  proof_labels (
    36\0\0,
    36\0\1,
    36\0\2,
    36\0\3,
    36\0\4,
    36\0\5,
    36\0\6,
    36\0\7,
    36\0\8,
    36\0\9,
    36\0\10,
    36\0\11,
    36\0\12,
    36\0\13,
    36\1\0,
    36\2\0,
    36\2\1,
    36\2\2,
    36\3\0,
    36\3\1,
    36\4\0,
);
endchar;

beginchar (37, 15.899u#, 18.790u#, 0.000u#);
  "T6";
  z37\0\0s = (7.227u,12.961u);
  z37\0\0c1 = (6.439u,13.001u);
  z37\0\0c2 = (4.477u,12.659u);
  z37\0\0 = (3.893u,12.961u);
  z37\0\1c1 = (2.911u,13.339u);
  z37\0\1c2 = (3.557u,14.357u);
  z37\0\1 = (3.086u,15.073u);
  z37\0\2c1 = (2.248u,16.348u);
  z37\0\2c2 = (0.377u,15.359u);
  z37\0\2 = (0.000u,14.213u);
  z37\0\3 = (2.168u,13.972u);
  z37\0\4c1 = (2.180u,10.132u);
  z37\0\4c2 = (4.434u,11.435u);
  z37\0\4 = (7.227u,11.563u);
  z37\0\5 = (7.227u,8.624u);
  z37\0\6c1 = (6.400u,8.665u);
  z37\0\6c2 = (4.538u,8.303u);
  z37\0\6 = (3.889u,8.624u);
  z37\0\7c1 = (2.831u,9.023u);
  z37\0\7c2 = (3.231u,12.574u);
  z37\0\7 = (0.793u,10.663u);
  z37\0\8c1 = (0.498u,10.431u);
  z37\0\8c2 = (0.408u,10.190u);
  z37\0\8 = (0.241u,9.877u);
  z37\0\9 = (2.168u,9.395u);
  z37\0\10c1 = (2.213u,5.904u);
  z37\0\10c2 = (4.814u,7.116u);
  z37\0\10 = (7.227u,7.227u);
  z37\0\11 = (7.227u,0.963u);
  z37\0\12 = (8.191u,0.963u);
  z37\0\13 = (8.191u,7.227u);
  z37\0\14c1 = (12.597u,6.756u);
  z37\0\14c2 = (11.448u,1.838u);
  z37\0\14 = (14.213u,0.963u);
  z37\0\15c1 = (12.306u,4.595u);
  z37\0\15c2 = (13.866u,8.620u);
  z37\0\15 = (8.191u,8.672u);
  z37\0\16 = (8.191u,11.563u);
  z37\0\17c1 = (16.088u,11.389u);
  z37\0\17c2 = (11.921u,4.031u);
  z37\0\17 = (15.899u,1.927u);
  z37\0\18c1 = (15.502u,3.617u);
  z37\0\18c2 = (14.938u,4.688u);
  z37\0\18 = (14.936u,6.504u);
  z37\0\19c1 = (14.927u,12.016u);
  z37\0\19c2 = (13.482u,12.583u);
  z37\0\19 = (8.431u,13.249u);
  z37\0\20c1 = (8.904u,14.021u);
  z37\0\20c2 = (9.670u,15.001u);
  z37\0\20 = (9.807u,15.899u);
  z37\0\21c1 = (10.238u,18.739u);
  z37\0\21c2 = (6.021u,19.558u);
  z37\0\21 = (6.061u,16.140u);
  z37\0\22c1 = (6.072u,15.176u);
  z37\0\22c2 = (6.839u,13.909u);
  z37\1\0s = (7.950u,13.731u);
  z37\1\0c1 = (3.296u,17.487u);
  z37\1\0c2 = (11.222u,19.138u);
  z37\1\0 = (8.799u,14.936u);
  z37\2\0s = (2.650u,14.213u);
  z37\2\0 = (0.963u,14.454u);
  z37\2\1c1 = (1.630u,15.307u);
  z37\2\1c2 = (2.282u,15.251u);
  z37\3\0s = (14.213u,8.191u);
  z37\3\0c1 = (13.662u,8.948u);
  z37\3\0c2 = (13.361u,9.848u);
  z37\3\0 = (12.689u,10.521u);
  z37\3\1c1 = (9.796u,13.413u);
  z37\3\1c2 = (6.118u,11.128u);
  z37\3\1 = (2.891u,12.045u);
  z37\3\2c1 = (3.718u,12.305u);
  z37\3\2c2 = (4.670u,12.223u);
  z37\3\2 = (5.541u,12.323u);
  z37\3\3c1 = (9.181u,12.741u);
  z37\3\3c2 = (14.087u,13.238u);
  z37\4\0s = (2.650u,10.600u);
  z37\4\0 = (2.650u,9.877u);
  z37\4\1 = (1.204u,9.877u);
  z37\5\0s = (12.286u,5.059u);
  z37\5\0c1 = (9.939u,7.747u);
  z37\5\0c2 = (9.759u,7.749u);
  z37\5\0 = (6.263u,7.708u);
  z37\5\1c1 = (5.068u,7.694u);
  z37\5\1c2 = (4.082u,7.430u);
  z37\5\1 = (2.891u,7.708u);
  z37\5\2c1 = (3.739u,8.004u);
  z37\5\2c2 = (4.651u,7.898u);
  z37\5\2 = (5.541u,7.990u);
  z37\5\3c1 = (8.258u,8.267u);
  z37\5\3c2 = (11.887u,8.786u);
  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
    --z37\0\3
    ..controls z37\0\4c1 and z37\0\4c2..z37\0\4
    --z37\0\5
    ..controls z37\0\6c1 and z37\0\6c2..z37\0\6
    ..controls z37\0\7c1 and z37\0\7c2..z37\0\7
    ..controls z37\0\8c1 and z37\0\8c2..z37\0\8
    --z37\0\9
    ..controls z37\0\10c1 and z37\0\10c2..z37\0\10
    --z37\0\11
    --z37\0\12
    --z37\0\13
    ..controls z37\0\14c1 and z37\0\14c2..z37\0\14
    ..controls z37\0\15c1 and z37\0\15c2..z37\0\15
    --z37\0\16
    ..controls z37\0\17c1 and z37\0\17c2..z37\0\17
    ..controls z37\0\18c1 and z37\0\18c2..z37\0\18
    ..controls z37\0\19c1 and z37\0\19c2..z37\0\19
    ..controls z37\0\20c1 and z37\0\20c2..z37\0\20
    ..controls z37\0\21c1 and z37\0\21c2..z37\0\21
    ..controls z37\0\22c1 and z37\0\22c2..cycle;
  fill_or_unfill z37\1\0s
    ..controls z37\1\0c1 and z37\1\0c2..z37\1\0
    --cycle;
  fill_or_unfill z37\2\0s
    --z37\2\0
    ..controls z37\2\1c1 and z37\2\1c2..cycle;
  fill_or_unfill z37\3\0s
    ..controls z37\3\0c1 and z37\3\0c2..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
    ..controls z37\5\0c1 and z37\5\0c2..z37\5\0
    ..controls z37\5\1c1 and z37\5\1c2..z37\5\1
    ..controls z37\5\2c1 and z37\5\2c2..z37\5\2
    ..controls z37\5\3c1 and z37\5\3c2..cycle;
  proof_labels (
    37\0\0,
    37\0\1,
    37\0\2,
    37\0\3,
    37\0\4,
    37\0\5,
    37\0\6,
    37\0\7,
    37\0\8,
    37\0\9,
    37\0\10,
    37\0\11,
    37\0\12,
    37\0\13,
    37\0\14,
    37\0\15,
    37\0\16,
    37\0\17,
    37\0\18,
    37\0\19,
    37\0\20,
    37\0\21,
    37\0\22,
    37\1\0,
    37\1\1,
    37\2\0,
    37\2\1,
    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\5\2,
    37\5\3,
);
endchar;

beginchar (38, 17.345u#, 6.504u#, 0.000u#);
  "T7";
  z38\0\0s = (0.000u,6.504u);
  z38\0\0 = (0.000u,5.300u);
  z38\0\1c1 = (2.556u,5.088u);
  z38\0\1c2 = (1.175u,2.880u);
  z38\0\1 = (3.382u,2.463u);
  z38\0\2c1 = (6.618u,1.852u);
  z38\0\2c2 = (6.330u,4.521u);
  z38\0\2 = (7.502u,4.845u);
  z38\0\3c1 = (9.290u,5.341u);
  z38\0\3c2 = (15.248u,2.367u);
  z38\0\3 = (17.104u,1.686u);
  z38\0\4c1 = (17.492u,4.701u);
  z38\0\4c2 = (6.277u,6.500u);
  z38\0\4 = (3.854u,6.504u);
  z38\1\0s = (2.168u,5.781u);
  z38\1\0 = (3.854u,5.781u);
  z38\1\1c1 = (9.911u,5.772u);
  z38\1\1c2 = (2.314u,-0.643u);
  fill_or_unfill z38\0\0s
    --z38\0\0
    ..controls z38\0\1c1 and z38\0\1c2..z38\0\1
    ..controls z38\0\2c1 and z38\0\2c2..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
    --cycle;
  fill_or_unfill z38\1\0s
    --z38\1\0
    ..controls z38\1\1c1 and z38\1\1c2..cycle;
  proof_labels (
    38\0\0,
    38\0\1,
    38\0\2,
    38\0\3,
    38\0\4,
    38\0\5,
    38\1\0,
    38\1\1,
);
endchar;

beginchar (39, 8.913u#, 18.067u#, 0.000u#);
  "T7*";
  z39\0\0s = (0.963u,12.286u);
  z39\0\0c1 = (2.714u,13.210u);
  z39\0\0c2 = (6.453u,14.882u);
  z39\0\0 = (7.565u,12.035u);
  z39\0\1c1 = (7.801u,11.429u);
  z39\0\1c2 = (7.709u,8.545u);
  z39\0\1 = (7.709u,7.709u);
  z39\0\2 = (7.468u,0.723u);
  z39\0\3 = (8.913u,0.723u);
  z39\0\4 = (8.431u,18.067u);
  z39\0\5c1 = (6.641u,17.502u);
  z39\0\5c2 = (6.461u,16.777u);
  z39\0\5 = (4.336u,16.873u);
  z39\0\6c1 = (3.255u,16.921u);
  z39\0\6c2 = (1.935u,17.765u);
  z39\0\6 = (1.230u,17.698u);
  z39\0\7c1 = (-0.861u,17.498u);
  z39\0\7c2 = (0.246u,13.339u);
  z39\1\0s = (7.950u,16.863u);
  z39\1\0 = (7.950u,13.249u);
  z39\1\1c1 = (6.164u,13.754u);
  z39\1\1c2 = (5.115u,14.606u);
  z39\1\1 = (3.132u,14.021u);
  z39\1\2 = (0.963u,13.249u);
  z39\1\3 = (0.963u,17.104u);
  z39\1\4 = (5.541u,16.191u);
  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
    ..controls z39\0\5c1 and z39\0\5c2..z39\0\5
    ..controls z39\0\6c1 and z39\0\6c2..z39\0\6
    ..controls z39\0\7c1 and z39\0\7c2..cycle;
  fill_or_unfill z39\1\0s
    --z39\1\0
    ..controls z39\1\1c1 and z39\1\1c2..z39\1\1
    --z39\1\2
    --z39\1\3
    --z39\1\4
    --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\1\0,
    39\1\1,
    39\1\2,
    39\1\3,
    39\1\4,
    39\1\5,
);
endchar;

beginchar (40, 4.095u#, 18.067u#, 0.000u#);
  "T8";
  z40\0\0s = (0.000u,15.899u);
  z40\0\0 = (1.445u,14.936u);
  z40\0\1 = (0.482u,14.936u);
  z40\0\2 = (0.964u,2.891u);
  z40\0\3c1 = (1.003u,0.055u);
  z40\0\3c2 = (3.115u,0.031u);
  z40\0\3 = (3.132u,3.132u);
  z40\0\4 = (3.542u,14.392u);
  z40\0\5c1 = (3.431u,14.834u);
  z40\0\5c2 = (3.095u,15.248u);
  z40\0\5 = (2.891u,15.658u);
  z40\0\6 = (4.095u,15.658u);
  z40\0\7c1 = (3.911u,18.779u);
  z40\0\7c2 = (0.817u,18.606u);
  z40\1\0s = (3.613u,16.140u);
  z40\1\0 = (0.482u,16.140u);
  z40\1\1c1 = (1.524u,17.427u);
  z40\1\1c2 = (2.718u,17.814u);
  z40\2\0s = (2.891u,14.213u);
  z40\2\0 = (2.649u,3.132u);
  z40\2\1c1 = (2.630u,2.141u);
  z40\2\1c2 = (2.678u,1.793u);
  z40\2\1 = (1.686u,1.445u);
  z40\2\2 = (1.445u,7.468u);
  z40\2\3 = (1.204u,14.213u);
  fill_or_unfill z40\0\0s
    --z40\0\0
    --z40\0\1
    --z40\0\2
    ..controls z40\0\3c1 and z40\0\3c2..z40\0\3
    --z40\0\4
    ..controls z40\0\5c1 and z40\0\5c2..z40\0\5
    --z40\0\6
    ..controls z40\0\7c1 and z40\0\7c2..cycle;
  fill_or_unfill z40\1\0s
    --z40\1\0
    ..controls z40\1\1c1 and z40\1\1c2..cycle;
  fill_or_unfill z40\2\0s
    --z40\2\0
    ..controls z40\2\1c1 and z40\2\1c2..z40\2\1
    --z40\2\2
    --z40\2\3
    --cycle;
  proof_labels (
    40\0\0,
    40\0\1,
    40\0\2,
    40\0\3,
    40\0\4,
    40\0\5,
    40\0\6,
    40\0\7,
    40\1\0,
    40\1\1,
    40\2\0,
    40\2\1,
    40\2\2,
    40\2\3,
    40\2\4,
);
endchar;

beginchar (41, 5.300u#, 17.826u#, 0.000u#);
  "T8*";
  z41\0\0s = (0.000u,16.381u);
  z41\0\0 = (1.686u,16.381u);
  z41\0\1 = (1.392u,14.216u);
  z41\0\2 = (0.563u,12.486u);
  z41\0\3 = (1.172u,8.913u);
  z41\0\4 = (1.446u,3.132u);
  z41\0\5 = (2.168u,0.241u);
  z41\0\6 = (2.650u,0.241u);
  z41\0\7 = (3.502u,2.650u);
  z41\0\8 = (3.654u,6.263u);
  z41\0\9 = (4.118u,9.877u);
  z41\0\10 = (4.536u,12.286u);
  z41\0\11 = (3.769u,14.454u);
  z41\0\12 = (3.613u,16.381u);
  z41\0\13 = (5.300u,16.381u);
  z41\0\14c1 = (4.173u,18.331u);
  z41\0\14c2 = (1.108u,18.340u);
  z41\1\0s = (3.132u,16.381u);
  z41\1\0 = (3.372u,13.249u);
  z41\1\1 = (1.927u,13.249u);
  z41\1\2 = (2.168u,16.381u);
  z41\2\0s = (3.854u,12.768u);
  z41\2\0 = (3.133u,6.263u);
  z41\2\1 = (2.759u,2.201u);
  z41\2\2 = (2.168u,1.445u);
  z41\2\3 = (1.887u,7.227u);
  z41\2\4 = (1.460u,12.383u);
  fill_or_unfill z41\0\0s
    --z41\0\0
    --z41\0\1
    --z41\0\2
    --z41\0\3
    --z41\0\4
    --z41\0\5
    --z41\0\6
    --z41\0\7
    --z41\0\8
    --z41\0\9
    --z41\0\10
    --z41\0\11
    --z41\0\12
    --z41\0\13
    ..controls z41\0\14c1 and z41\0\14c2..cycle;
  fill_or_unfill z41\1\0s
    --z41\1\0
    --z41\1\1
    --z41\1\2
    --cycle;
  fill_or_unfill z41\2\0s
    --z41\2\0
    --z41\2\1
    --z41\2\2
    --z41\2\3
    --z41\2\4
    --cycle;
  proof_labels (
    41\0\0,
    41\0\1,
    41\0\2,
    41\0\3,
    41\0\4,
    41\0\5,
    41\0\6,
    41\0\7,
    41\0\8,
    41\0\9,
    41\0\10,
    41\0\11,
    41\0\12,
    41\0\13,
    41\0\14,
    41\1\0,
    41\1\1,
    41\1\2,
    41\1\3,
    41\2\0,
    41\2\1,
    41\2\2,
    41\2\3,
    41\2\4,
    41\2\5,
);
endchar;

beginchar (42, 17.104u#, 3.854u#, 0.000u#);
  "T9";
  z42\0\0s = (3.132u,3.854u);
  z42\0\0c1 = (3.096u,1.119u);
  z42\0\0c2 = (1.158u,1.217u);
  z42\0\0 = (0.963u,3.613u);
  z42\0\1 = (0.000u,3.613u);
  z42\0\2c1 = (0.027u,2.539u);
  z42\0\2c2 = (0.100u,1.434u);
  z42\0\2 = (1.229u,0.946u);
  z42\0\3 = (11.322u,0.946u);
  z42\0\4c1 = (12.458u,0.962u);
  z42\0\4c2 = (15.091u,0.309u);
  z42\0\4 = (15.887u,0.729u);
  z42\0\5c1 = (16.999u,1.316u);
  z42\0\5c2 = (17.079u,2.510u);
  z42\0\5 = (17.104u,3.613u);
  z42\0\6 = (16.140u,3.613u);
  z42\0\7c1 = (15.947u,1.223u);
  z42\0\7c2 = (14.225u,0.873u);
  z42\0\7 = (14.213u,3.854u);
  z42\1\0s = (13.490u,3.132u);
  z42\1\0 = (13.490u,1.686u);
  z42\1\1 = (3.613u,1.686u);
  z42\1\2 = (3.613u,3.132u);
  fill_or_unfill z42\0\0s
    ..controls z42\0\0c1 and z42\0\0c2..z42\0\0
    --z42\0\1
    ..controls z42\0\2c1 and z42\0\2c2..z42\0\2
    --z42\0\3
    ..controls z42\0\4c1 and z42\0\4c2..z42\0\4
    ..controls z42\0\5c1 and z42\0\5c2..z42\0\5
    --z42\0\6
    ..controls z42\0\7c1 and z42\0\7c2..z42\0\7
    --cycle;
  fill_or_unfill z42\1\0s
    --z42\1\0
    --z42\1\1
    --z42\1\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\1\0,
    42\1\1,
    42\1\2,
    42\1\3,
);
endchar;

beginchar (43, 17.345u#, 4.336u#, 0.000u#);
  "T9*";
  z43\0\0s = (4.818u,4.150u);
  z43\0\0c1 = (4.213u,3.917u);
  z43\0\0c2 = (3.551u,3.494u);
  z43\0\0 = (2.891u,3.452u);
  z43\0\1c1 = (2.178u,3.406u);
  z43\0\1c2 = (1.345u,4.004u);
  z43\0\1 = (0.759u,3.784u);
  z43\0\2c1 = (-1.086u,3.091u);
  z43\0\2c2 = (1.489u,1.592u);
  z43\0\2 = (2.409u,1.494u);
  z43\0\3c1 = (3.570u,1.369u);
  z43\0\3c2 = (4.249u,1.888u);
  z43\0\3 = (5.300u,2.118u);
  z43\0\4c1 = (5.993u,2.258u);
  z43\0\4c2 = (6.761u,2.170u);
  z43\0\4 = (7.468u,2.118u);
  z43\0\5c1 = (8.756u,2.164u);
  z43\0\5c2 = (10.312u,2.341u);
  z43\0\5 = (11.563u,2.118u);
  z43\0\6c1 = (12.569u,1.861u);
  z43\0\6c2 = (13.390u,1.286u);
  z43\0\6 = (14.454u,1.230u);
  z43\0\7c1 = (15.279u,1.187u);
  z43\0\7c2 = (17.655u,1.803u);
  z43\0\7 = (17.063u,3.057u);
  z43\0\8c1 = (16.585u,4.070u);
  z43\0\8c2 = (14.834u,3.044u);
  z43\0\8 = (13.972u,3.208u);
  z43\0\9 = (11.563u,4.150u);
  z43\0\10c1 = (10.312u,4.437u);
  z43\0\10c2 = (6.073u,4.449u);
  z43\1\0s = (10.840u,3.613u);
  z43\1\0 = (10.840u,2.891u);
  z43\1\1 = (6.022u,2.891u);
  z43\1\2 = (6.022u,3.613u);
  z43\2\0s = (4.818u,2.891u);
  z43\2\0c1 = (3.718u,1.878u);
  z43\2\0c2 = (1.299u,1.733u);
  z43\2\0 = (0.723u,3.372u);
  z43\3\0s = (12.527u,3.132u);
  z43\3\0 = (16.622u,2.891u);
  z43\3\1c1 = (15.750u,1.932u);
  z43\3\1c2 = (12.555u,1.221u);
  fill_or_unfill z43\0\0s
    ..controls z43\0\0c1 and z43\0\0c2..z43\0\0
    ..controls z43\0\1c1 and z43\0\1c2..z43\0\1
    ..controls z43\0\2c1 and z43\0\2c2..z43\0\2
    ..controls z43\0\3c1 and z43\0\3c2..z43\0\3
    ..controls z43\0\4c1 and z43\0\4c2..z43\0\4
    ..controls z43\0\5c1 and z43\0\5c2..z43\0\5
    ..controls z43\0\6c1 and z43\0\6c2..z43\0\6
    ..controls z43\0\7c1 and z43\0\7c2..z43\0\7
    ..controls z43\0\8c1 and z43\0\8c2..z43\0\8
    --z43\0\9
    ..controls z43\0\10c1 and z43\0\10c2..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
    --cycle;
  fill_or_unfill z43\3\0s
    --z43\3\0
    ..controls z43\3\1c1 and z43\3\1c2..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\1\0,
    43\1\1,
    43\1\2,
    43\1\3,
    43\2\0,
    43\2\1,
    43\3\0,
    43\3\1,
);
endchar;

beginchar (44, 17.345u#, 2.891u#, 0.000u#);
  "T10";
  z44\0\0s = (0.000u,2.891u);
  z44\0\0c1 = (0.330u,-1.291u);
  z44\0\0c2 = (6.558u,1.064u);
  z44\0\0 = (8.913u,0.954u);
  z44\0\1c1 = (11.119u,0.851u);
  z44\0\1c2 = (12.537u,-0.299u);
  z44\0\1 = (14.936u,0.507u);
  z44\0\2c1 = (16.355u,0.984u);
  z44\0\2c2 = (18.764u,2.832u);
  z44\0\2 = (15.658u,2.890u);
  z44\0\3 = (11.081u,2.890u);
  z44\0\4 = (6.504u,2.890u);
  z44\1\0s = (6.745u,2.168u);
  z44\1\0 = (6.745u,1.686u);
  z44\1\1c1 = (4.660u,0.813u);
  z44\1\1c2 = (2.357u,0.561u);
  z44\1\1 = (0.723u,2.409u);
  z44\2\0s = (7.595u,2.085u);
  z44\3\0s = (8.672u,2.199u);
  z44\4\0s = (9.763u,2.085u);
  z44\5\0s = (16.140u,2.409u);
  z44\5\0c1 = (14.353u,-0.967u);
  z44\5\0c2 = (7.868u,2.326u);
  z44\5\0 = (12.286u,2.409u);
  z44\5\1 = (13.972u,2.409u);
  fill_or_unfill z44\0\0s
    ..controls z44\0\0c1 and z44\0\0c2..z44\0\0
    ..controls z44\0\1c1 and z44\0\1c2..z44\0\1
    ..controls z44\0\2c1 and z44\0\2c2..z44\0\2
    --z44\0\3
    --z44\0\4
    --cycle;
  fill_or_unfill z44\1\0s
    --z44\1\0
    ..controls z44\1\1c1 and z44\1\1c2..z44\1\1
    --cycle;
  fill_or_unfill z44\2\0s
    --cycle;
  fill_or_unfill z44\3\0s
    --cycle;
  fill_or_unfill z44\4\0s
    --cycle;
  fill_or_unfill z44\5\0s
    ..controls z44\5\0c1 and z44\5\0c2..z44\5\0
    --z44\5\1
    --cycle;
  proof_labels (
    44\0\0,
    44\0\1,
    44\0\2,
    44\0\3,
    44\0\4,
    44\0\5,
    44\1\0,
    44\1\1,
    44\1\2,
    44\2\0,
    44\3\0,
    44\4\0,
    44\5\0,
    44\5\1,
    44\5\2,
);
endchar;

beginchar (45, 4.336u#, 18.790u#, 0.000u#);
  "(Aa32)";
  z45\0\0s = (2.168u,4.336u);
  z45\0\0 = (2.881u,8.913u);
  z45\0\1 = (2.427u,13.490u);
  z45\0\2c1 = (2.160u,16.601u);
  z45\0\2c2 = (3.839u,15.062u);
  z45\0\2 = (4.056u,16.873u);
  z45\0\3c1 = (4.339u,19.242u);
  z45\0\3c2 = (0.295u,20.102u);
  z45\0\3 = (0.022u,15.658u);
  z45\0\4c1 = (-0.091u,13.804u);
  z45\0\4c2 = (0.545u,11.752u);
  z45\0\4 = (0.679u,9.877u);
  z45\0\5c1 = (0.826u,7.799u);
  z45\0\5c2 = (-1.548u,0.902u);
  z45\0\5 = (2.649u,1.481u);
  z45\0\6c1 = (4.560u,1.745u);
  z45\0\6c2 = (4.986u,4.238u);
  z45\1\0s = (3.132u,16.381u);
  z45\1\0 = (2.650u,16.381u);
  z45\1\1 = (2.409u,17.104u);
  z45\1\2 = (1.927u,17.104u);
  z45\1\3 = (2.165u,9.154u);
  z45\1\4 = (1.686u,3.132u);
  z45\1\5 = (3.372u,3.613u);
  z45\1\6c1 = (3.188u,1.396u);
  z45\1\6c2 = (1.301u,1.681u);
  z45\1\6 = (0.851u,3.613u);
  z45\1\7c1 = (0.564u,4.847u);
  z45\1\7c2 = (1.261u,7.281u);
  z45\1\7 = (1.367u,8.672u);
  z45\1\8 = (0.736u,15.417u);
  z45\1\9c1 = (0.695u,18.253u);
  z45\1\9c2 = (3.603u,18.619u);
  fill_or_unfill z45\0\0s
    --z45\0\0
    --z45\0\1
    ..controls z45\0\2c1 and z45\0\2c2..z45\0\2
    ..controls z45\0\3c1 and z45\0\3c2..z45\0\3
    ..controls z45\0\4c1 and z45\0\4c2..z45\0\4
    ..controls z45\0\5c1 and z45\0\5c2..z45\0\5
    ..controls z45\0\6c1 and z45\0\6c2..cycle;
  fill_or_unfill z45\1\0s
    --z45\1\0
    --z45\1\1
    --z45\1\2
    --z45\1\3
    --z45\1\4
    --z45\1\5
    ..controls z45\1\6c1 and z45\1\6c2..z45\1\6
    ..controls z45\1\7c1 and z45\1\7c2..z45\1\7
    --z45\1\8
    ..controls z45\1\9c1 and z45\1\9c2..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\1\0,
    45\1\1,
    45\1\2,
    45\1\3,
    45\1\4,
    45\1\5,
    45\1\6,
    45\1\7,
    45\1\8,
    45\1\9,
);
endchar;

beginchar (46, 17.345u#, 4.818u#, 0.000u#);
  "T11";
  z46\0\0s = (0.000u,4.095u);
  z46\0\0c1 = (0.364u,1.960u);
  z46\0\0c2 = (2.363u,3.111u);
  z46\0\0 = (3.854u,3.095u);
  z46\0\1c1 = (5.853u,3.157u);
  z46\0\1c2 = (8.689u,3.481u);
  z46\0\1 = (10.600u,3.095u);
  z46\0\2c1 = (11.830u,2.788u);
  z46\0\2c2 = (12.164u,2.006u);
  z46\0\2 = (13.731u,1.938u);
  z46\0\3c1 = (15.100u,1.879u);
  z46\0\3c2 = (16.003u,2.677u);
  z46\0\3 = (17.345u,2.650u);
  z46\0\4 = (16.622u,3.613u);
  z46\0\5 = (17.345u,4.336u);
  z46\0\6 = (14.213u,4.804u);
  z46\0\7 = (9.395u,4.095u);
  z46\0\8 = (4.095u,4.095u);
  z46\1\0s = (15.177u,4.336u);
  z46\1\0 = (13.009u,4.095u);
  z46\2\0s = (15.177u,3.132u);
  z46\2\0c1 = (14.503u,2.165u);
  z46\2\0c2 = (13.231u,2.226u);
  z46\2\0 = (12.527u,3.132u);
  fill_or_unfill z46\0\0s
    ..controls z46\0\0c1 and z46\0\0c2..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
    --z46\0\4
    --z46\0\5
    --z46\0\6
    --z46\0\7
    --z46\0\8
    --cycle;
  fill_or_unfill z46\1\0s
    --z46\1\0
    --cycle;
  fill_or_unfill z46\2\0s
    ..controls z46\2\0c1 and z46\2\0c2..z46\2\0
    --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\1\0,
    46\1\1,
    46\2\0,
    46\2\1,
);
endchar;

beginchar (47, 11.804u#, 14.213u#, 0.000u#);
  "T12";
  z47\0\0s = (4.095u,10.118u);
  z47\0\0c1 = (3.178u,8.237u);
  z47\0\0c2 = (1.583u,6.348u);
  z47\0\0 = (1.982u,4.095u);
  z47\0\1c1 = (2.415u,1.644u);
  z47\0\1c2 = (5.448u,1.246u);
  z47\0\1 = (6.863u,3.142u);
  z47\0\2c1 = (9.839u,7.129u);
  z47\0\2c2 = (2.188u,9.861u);
  z47\0\2 = (8.431u,12.527u);
  z47\0\3c1 = (7.988u,9.919u);
  z47\0\3c2 = (8.738u,9.370u);
  z47\0\3 = (9.848u,7.227u);
  z47\0\4c1 = (10.513u,5.943u);
  z47\0\4c2 = (10.160u,5.090u);
  z47\0\4 = (11.804u,4.577u);
  z47\0\5 = (10.952u,7.468u);
  z47\0\6c1 = (10.648u,9.140u);
  z47\0\6c2 = (10.503u,14.848u);
  z47\0\6 = (7.227u,13.056u);
  z47\0\7c1 = (6.143u,12.463u);
  z47\0\7c2 = (5.397u,11.676u);
  z47\0\7 = (4.818u,10.600u);
  z47\0\8c1 = (3.677u,11.479u);
  z47\0\8c2 = (3.471u,12.975u);
  z47\0\8 = (2.364u,13.677u);
  z47\0\9c1 = (0.656u,14.760u);
  z47\0\9c2 = (-0.747u,13.409u);
  z47\0\9 = (0.777u,11.857u);
  z47\0\10c1 = (1.462u,11.160u);
  z47\0\10c2 = (3.160u,10.520u);
  z47\1\0s = (2.650u,11.804u);
  z47\1\0c1 = (1.452u,12.187u);
  z47\1\0c2 = (0.942u,12.441u);
  z47\1\0 = (0.723u,13.731u);
  z47\1\1c1 = (2.055u,13.514u);
  z47\1\1c2 = (2.373u,13.101u);
  z47\2\0s = (9.395u,11.322u);
  z47\2\0 = (10.118u,8.672u);
  z47\2\1c1 = (9.321u,9.482u);
  z47\2\1c2 = (8.970u,10.214u);
  z47\3\0s = (5.059u,9.154u);
  z47\3\0c1 = (9.434u,1.974u);
  z47\3\0c2 = (2.685u,1.435u);
  z47\3\0 = (2.720u,4.818u);
  z47\3\1c1 = (2.734u,6.187u);
  z47\3\1c2 = (3.888u,8.005u);
  z47\3\1 = (4.577u,9.154u);
  fill_or_unfill z47\0\0s
    ..controls z47\0\0c1 and z47\0\0c2..z47\0\0
    ..controls z47\0\1c1 and z47\0\1c2..z47\0\1
    ..controls z47\0\2c1 and z47\0\2c2..z47\0\2
    ..controls z47\0\3c1 and z47\0\3c2..z47\0\3
    ..controls z47\0\4c1 and z47\0\4c2..z47\0\4
    --z47\0\5
    ..controls z47\0\6c1 and z47\0\6c2..z47\0\6
    ..controls z47\0\7c1 and z47\0\7c2..z47\0\7
    ..controls z47\0\8c1 and z47\0\8c2..z47\0\8
    ..controls z47\0\9c1 and z47\0\9c2..z47\0\9
    ..controls z47\0\10c1 and z47\0\10c2..cycle;
  fill_or_unfill z47\1\0s
    ..controls z47\1\0c1 and z47\1\0c2..z47\1\0
    ..controls z47\1\1c1 and z47\1\1c2..cycle;
  fill_or_unfill z47\2\0s
    --z47\2\0
    ..controls z47\2\1c1 and z47\2\1c2..cycle;
  fill_or_unfill z47\3\0s
    ..controls z47\3\0c1 and z47\3\0c2..z47\3\0
    ..controls z47\3\1c1 and z47\3\1c2..z47\3\1
    --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\1\0,
    47\1\1,
    47\2\0,
    47\2\1,
    47\3\0,
    47\3\1,
    47\3\2,
);
endchar;

beginchar (48, 6.986u#, 18.790u#, 0.000u#);
  "T13";
  z48\0\0s = (2.650u,1.204u);
  z48\0\0 = (4.818u,1.204u);
  z48\0\1 = (4.818u,7.468u);
  z48\0\2 = (6.022u,7.468u);
  z48\0\3 = (5.820u,12.758u);
  z48\0\4c1 = (5.922u,13.539u);
  z48\0\4c2 = (6.979u,14.432u);
  z48\0\4 = (6.685u,15.102u);
  z48\0\5c1 = (6.260u,16.073u);
  z48\0\5c2 = (4.904u,15.250u);
  z48\0\5 = (4.336u,14.936u);
  z48\0\6c1 = (3.797u,16.040u);
  z48\0\6c2 = (2.514u,19.188u);
  z48\0\6 = (0.977u,18.430u);
  z48\0\7c1 = (0.628u,18.257u);
  z48\0\7c2 = (0.299u,17.967u);
  z48\0\7 = (0.244u,17.561u);
  z48\0\8c1 = (0.127u,16.688u);
  z48\0\8c2 = (2.062u,14.507u);
  z48\0\8 = (2.447u,13.490u);
  z48\0\9c1 = (2.682u,12.872u);
  z48\0\9c2 = (2.648u,12.212u);
  z48\0\9 = (2.650u,11.563u);
  z48\1\0s = (3.854u,14.454u);
  z48\1\0 = (2.891u,14.213u);
  z48\1\1 = (0.963u,17.586u);
  z48\1\2 = (1.204u,17.826u);
  z48\2\0s = (6.022u,14.936u);
  z48\2\0 = (5.300u,14.213u);
  z48\2\1 = (5.541u,14.936u);
  z48\3\0s = (3.854u,13.612u);
  z48\4\0s = (4.818u,13.731u);
  z48\4\0 = (5.300u,8.191u);
  z48\4\1 = (4.818u,8.191u);
  z48\5\0s = (4.095u,12.768u);
  z48\5\0 = (4.095u,1.927u);
  z48\5\1 = (3.372u,1.927u);
  z48\5\2 = (3.372u,12.768u);
  fill_or_unfill z48\0\0s
    --z48\0\0
    --z48\0\1
    --z48\0\2
    --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
    ..controls z48\0\6c1 and z48\0\6c2..z48\0\6
    ..controls z48\0\7c1 and z48\0\7c2..z48\0\7
    ..controls z48\0\8c1 and z48\0\8c2..z48\0\8
    ..controls z48\0\9c1 and z48\0\9c2..z48\0\9
    --cycle;
  fill_or_unfill z48\1\0s
    --z48\1\0
    --z48\1\1
    --z48\1\2
    --cycle;
  fill_or_unfill z48\2\0s
    --z48\2\0
    --z48\2\1
    --cycle;
  fill_or_unfill z48\3\0s
    --cycle;
  fill_or_unfill z48\4\0s
    --z48\4\0
    --z48\4\1
    --cycle;
  fill_or_unfill z48\5\0s
    --z48\5\0
    --z48\5\1
    --z48\5\2
    --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\1\0,
    48\1\1,
    48\1\2,
    48\1\3,
    48\2\0,
    48\2\1,
    48\2\2,
    48\3\0,
    48\4\0,
    48\4\1,
    48\4\2,
    48\5\0,
    48\5\1,
    48\5\2,
    48\5\3,
);
endchar;

beginchar (49, 4.818u#, 18.308u#, 0.000u#);
  "T14";
  z49\0\0s = (0.000u,18.067u);
  z49\0\0c1 = (1.276u,15.588u);
  z49\0\0c2 = (3.848u,14.008u);
  z49\0\0 = (3.854u,11.081u);
  z49\0\1 = (3.854u,1.204u);
  z49\0\2 = (4.817u,1.204u);
  z49\0\3 = (4.817u,11.804u);
  z49\0\4c1 = (4.783u,13.620u);
  z49\0\4c2 = (3.367u,14.999u);
  z49\0\4 = (2.308u,16.381u);
  z49\0\5c1 = (1.597u,17.309u);
  z49\0\5c2 = (1.287u,18.234u);
  fill_or_unfill z49\0\0s
    ..controls z49\0\0c1 and z49\0\0c2..z49\0\0
    --z49\0\1
    --z49\0\2
    --z49\0\3
    ..controls z49\0\4c1 and z49\0\4c2..z49\0\4
    ..controls z49\0\5c1 and z49\0\5c2..cycle;
  proof_labels (
    49\0\0,
    49\0\1,
    49\0\2,
    49\0\3,
    49\0\4,
    49\0\5,
);
endchar;

beginchar (50, 3.613u#, 18.549u#, 0.000u#);
  "T15";
  z50\0\0s = (0.482u,18.549u);
  z50\0\0c1 = (-0.128u,16.330u);
  z50\0\0c2 = (1.715u,13.873u);
  z50\0\0 = (1.901u,11.563u);
  z50\0\1c1 = (2.104u,9.054u);
  z50\0\1c2 = (0.844u,6.023u);
  z50\0\1 = (0.222u,3.613u);
  z50\0\2c1 = (-0.097u,2.378u);
  z50\0\2c2 = (-0.268u,1.464u);
  z50\0\2 = (1.204u,1.204u);
  z50\0\3 = (3.560u,11.563u);
  z50\0\4 = (2.066u,15.899u);
  fill_or_unfill z50\0\0s
    ..controls z50\0\0c1 and z50\0\0c2..z50\0\0
    ..controls z50\0\1c1 and z50\0\1c2..z50\0\1
    ..controls z50\0\2c1 and z50\0\2c2..z50\0\2
    --z50\0\3
    --z50\0\4
    --cycle;
  proof_labels (
    50\0\0,
    50\0\1,
    50\0\2,
    50\0\3,
    50\0\4,
    50\0\5,
);
endchar;

beginchar (51, 17.345u#, 6.745u#, 0.000u#);
  "T16";
  z51\0\0s = (0.000u,6.745u);
  z51\0\0c1 = (0.042u,4.824u);
  z51\0\0c2 = (0.513u,3.780u);
  z51\0\0 = (1.937u,2.434u);
  z51\0\1c1 = (3.754u,0.718u);
  z51\0\1c2 = (6.916u,0.807u);
  z51\0\1 = (8.904u,2.193u);
  z51\0\2c1 = (9.604u,2.681u);
  z51\0\2c2 = (10.127u,3.636u);
  z51\0\2 = (10.884u,3.951u);
  z51\0\3c1 = (11.372u,4.154u);
  z51\0\3c2 = (12.454u,4.098u);
  z51\0\3 = (13.009u,4.095u);
  z51\0\4 = (17.345u,3.854u);
  z51\0\5 = (17.345u,6.263u);
  z51\0\6 = (11.322u,5.781u);
  z51\0\7c1 = (9.173u,5.766u);
  z51\0\7c2 = (9.798u,5.331u);
  z51\0\7 = (8.187u,4.463u);
  z51\0\8c1 = (5.108u,2.805u);
  z51\0\8c2 = (2.459u,3.773u);
  z51\0\8 = (0.723u,6.745u);
  z51\1\0s = (16.622u,5.781u);
  z51\1\0 = (16.622u,4.336u);
  z51\1\1 = (12.286u,4.577u);
  z51\1\2c1 = (9.124u,4.571u);
  z51\1\2c2 = (10.176u,3.423u);
  z51\1\2 = (7.949u,2.302u);
  z51\1\3c1 = (4.944u,0.788u);
  z51\1\3c2 = (1.755u,2.063u);
  z51\1\3 = (0.723u,5.300u);
  z51\1\4c1 = (7.228u,0.169u);
  z51\1\4c2 = (7.172u,5.290u);
  z51\1\4 = (12.045u,5.300u);
  z51\1\5c1 = (13.645u,5.303u);
  z51\1\5c2 = (15.051u,5.495u);
  fill_or_unfill z51\0\0s
    ..controls z51\0\0c1 and z51\0\0c2..z51\0\0
    ..controls z51\0\1c1 and z51\0\1c2..z51\0\1
    ..controls z51\0\2c1 and z51\0\2c2..z51\0\2
    ..controls z51\0\3c1 and z51\0\3c2..z51\0\3
    --z51\0\4
    --z51\0\5
    --z51\0\6
    ..controls z51\0\7c1 and z51\0\7c2..z51\0\7
    ..controls z51\0\8c1 and z51\0\8c2..z51\0\8
    --cycle;
  fill_or_unfill z51\1\0s
    --z51\1\0
    --z51\1\1
    ..controls z51\1\2c1 and z51\1\2c2..z51\1\2
    ..controls z51\1\3c1 and z51\1\3c2..z51\1\3
    ..controls z51\1\4c1 and z51\1\4c2..z51\1\4
    ..controls z51\1\5c1 and z51\1\5c2..cycle;
  proof_labels (
    51\0\0,
    51\0\1,
    51\0\2,
    51\0\3,
    51\0\4,
    51\0\5,
    51\0\6,
    51\0\7,
    51\0\8,
    51\0\9,
    51\1\0,
    51\1\1,
    51\1\2,
    51\1\3,
    51\1\4,
    51\1\5,
);
endchar;

beginchar (52, 17.826u#, 12.768u#, 0.000u#);
  "T17";
  z52\0\0s = (10.118u,6.022u);
  z52\0\0 = (2.650u,9.636u);
  z52\0\1c1 = (4.029u,11.805u);
  z52\0\1c2 = (2.304u,11.563u);
  z52\0\1 = (0.723u,11.563u);
  z52\0\2c1 = (1.120u,10.440u);
  z52\0\2c2 = (1.621u,10.717u);
  z52\0\2 = (2.650u,10.840u);
  z52\0\3 = (1.445u,8.431u);
  z52\0\4 = (0.000u,9.877u);
  z52\0\5c1 = (0.315u,8.725u);
  z52\0\5c2 = (1.404u,6.621u);
  z52\0\5 = (2.168u,8.913u);
  z52\0\6c1 = (3.328u,8.582u);
  z52\0\6c2 = (8.620u,6.004u);
  z52\0\6 = (9.615u,5.308u);
  z52\0\7c1 = (11.200u,4.200u);
  z52\0\7c2 = (12.682u,1.143u);
  z52\0\7 = (14.454u,0.993u);
  z52\0\8c1 = (16.164u,0.847u);
  z52\0\8c2 = (17.653u,2.046u);
  z52\0\8 = (17.445u,3.854u);
  z52\0\9c1 = (17.374u,4.471u);
  z52\0\9c2 = (17.020u,4.876u);
  z52\0\9 = (17.182u,5.541u);
  z52\0\10c1 = (17.360u,7.065u);
  z52\0\10c2 = (18.569u,8.257u);
  z52\0\10 = (17.182u,9.845u);
  z52\0\11c1 = (16.007u,11.322u);
  z52\0\11c2 = (14.694u,10.474u);
  z52\0\11 = (13.249u,11.060u);
  z52\0\12c1 = (12.586u,11.329u);
  z52\0\12c2 = (10.228u,13.198u);
  z52\0\12 = (9.667u,12.372u);
  z52\0\13c1 = (9.084u,11.514u);
  z52\0\13c2 = (11.214u,9.799u);
  z52\0\13 = (11.403u,8.913u);
  z52\0\14c1 = (11.571u,8.121u);
  z52\0\14c2 = (10.494u,6.758u);
  z52\1\0s = (10.600u,11.804u);
  z52\1\0 = (11.562u,11.282u);
  z52\1\1c1 = (14.632u,9.497u);
  z52\1\1c2 = (10.796u,8.860u);
  z52\2\0s = (16.381u,5.781u);
  z52\2\0 = (14.454u,10.118u);
  z52\2\1c1 = (17.672u,10.076u);
  z52\2\1c2 = (17.671u,8.113u);
  z52\3\0s = (13.972u,9.636u);
  z52\3\0 = (15.417u,6.022u);
  z52\3\1c1 = (13.874u,6.278u);
  z52\3\1c2 = (11.716u,8.796u);
  z52\4\0s = (12.768u,7.709u);
  z52\4\0c1 = (13.618u,6.445u);
  z52\4\0c2 = (14.042u,5.947u);
  z52\4\0 = (12.527u,5.059u);
  z52\5\0s = (12.045u,7.468u);
  z52\5\0 = (11.804u,4.095u);
  z52\5\1c1 = (10.268u,5.416u);
  z52\5\1c2 = (10.541u,6.279u);
  z52\6\0s = (14.454u,5.300u);
  z52\6\0c1 = (14.553u,3.779u);
  z52\6\0c2 = (14.125u,3.870u);
  z52\6\0 = (12.768u,3.854u);
  z52\7\0s = (15.899u,4.818u);
  z52\7\0 = (15.658u,4.577u);
  z52\7\1 = (15.177u,5.300u);
  z52\8\0s = (16.229u,4.167u);
  z52\9\0s = (14.213u,3.372u);
  z52\9\0 = (14.454u,1.686u);
  z52\9\1c1 = (13.292u,1.876u);
  z52\9\1c2 = (12.855u,2.132u);
  z52\9\1 = (13.009u,3.372u);
  z52\10\0s = (16.863u,3.132u);
  z52\10\0 = (14.936u,1.686u);
  z52\10\1c1 = (15.114u,3.179u);
  z52\10\1c2 = (15.486u,3.116u);
  fill_or_unfill z52\0\0s
    --z52\0\0
    ..controls z52\0\1c1 and z52\0\1c2..z52\0\1
    ..controls z52\0\2c1 and z52\0\2c2..z52\0\2
    --z52\0\3
    --z52\0\4
    ..controls z52\0\5c1 and z52\0\5c2..z52\0\5
    ..controls z52\0\6c1 and z52\0\6c2..z52\0\6
    ..controls z52\0\7c1 and z52\0\7c2..z52\0\7
    ..controls z52\0\8c1 and z52\0\8c2..z52\0\8
    ..controls z52\0\9c1 and z52\0\9c2..z52\0\9
    ..controls z52\0\10c1 and z52\0\10c2..z52\0\10
    ..controls z52\0\11c1 and z52\0\11c2..z52\0\11
    ..controls z52\0\12c1 and z52\0\12c2..z52\0\12
    ..controls z52\0\13c1 and z52\0\13c2..z52\0\13
    ..controls z52\0\14c1 and z52\0\14c2..cycle;
  fill_or_unfill z52\1\0s
    --z52\1\0
    ..controls z52\1\1c1 and z52\1\1c2..cycle;
  fill_or_unfill z52\2\0s
    --z52\2\0
    ..controls z52\2\1c1 and z52\2\1c2..cycle;
  fill_or_unfill z52\3\0s
    --z52\3\0
    ..controls z52\3\1c1 and z52\3\1c2..cycle;
  fill_or_unfill z52\4\0s
    ..controls z52\4\0c1 and z52\4\0c2..z52\4\0
    --cycle;
  fill_or_unfill z52\5\0s
    --z52\5\0
    ..controls z52\5\1c1 and z52\5\1c2..cycle;
  fill_or_unfill z52\6\0s
    ..controls z52\6\0c1 and z52\6\0c2..z52\6\0
    --cycle;
  fill_or_unfill z52\7\0s
    --z52\7\0
    --z52\7\1
    --cycle;
  fill_or_unfill z52\8\0s
    --cycle;
  fill_or_unfill z52\9\0s
    --z52\9\0
    ..controls z52\9\1c1 and z52\9\1c2..z52\9\1
    --cycle;
  fill_or_unfill z52\10\0s
    --z52\10\0
    ..controls z52\10\1c1 and z52\10\1c2..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\1\0,
    52\1\1,
    52\2\0,
    52\2\1,
    52\3\0,
    52\3\1,
    52\4\0,
    52\4\1,
    52\5\0,
    52\5\1,
    52\6\0,
    52\6\1,
    52\7\0,
    52\7\1,
    52\7\2,
    52\8\0,
    52\9\0,
    52\9\1,
    52\9\2,
    52\10\0,
    52\10\1,
);
endchar;

beginchar (53, 4.818u#, 18.308u#, 0.000u#);
  "T18";
  z53\0\0s = (0.723u,17.345u);
  z53\0\0c1 = (4.515u,17.342u);
  z53\0\0c2 = (4.095u,15.971u);
  z53\0\0 = (4.095u,12.768u);
  z53\0\1 = (0.241u,15.658u);
  z53\0\2 = (0.000u,15.417u);
  z53\0\3 = (3.132u,12.045u);
  z53\0\4 = (0.963u,12.045u);
  z53\0\5 = (0.963u,6.263u);
  z53\0\6 = (2.409u,6.263u);
  z53\0\7 = (1.445u,4.095u);
  z53\0\8 = (3.854u,6.022u);
  z53\0\9 = (3.854u,1.204u);
  z53\0\10 = (4.818u,1.204u);
  z53\0\11 = (4.818u,14.936u);
  z53\0\12c1 = (4.817u,15.597u);
  z53\0\12c2 = (4.875u,16.472u);
  z53\0\12 = (4.535u,17.059u);
  z53\0\13c1 = (3.857u,18.228u);
  z53\0\13c2 = (1.283u,18.895u);
  z53\1\0s = (4.095u,11.563u);
  z53\1\0 = (4.095u,9.877u);
  z53\1\1 = (2.409u,11.322u);
  z53\2\0s = (3.132u,9.636u);
  z53\2\0 = (1.445u,9.636u);
  z53\2\1 = (1.686u,10.840u);
  z53\3\0s = (4.095u,8.913u);
  z53\3\0 = (4.095u,7.468u);
  z53\3\1 = (2.409u,8.913u);
  z53\4\0s = (1.927u,8.191u);
  z53\4\0 = (3.372u,6.745u);
  z53\4\1 = (1.686u,6.745u);
  fill_or_unfill z53\0\0s
    ..controls z53\0\0c1 and z53\0\0c2..z53\0\0
    --z53\0\1
    --z53\0\2
    --z53\0\3
    --z53\0\4
    --z53\0\5
    --z53\0\6
    --z53\0\7
    --z53\0\8
    --z53\0\9
    --z53\0\10
    --z53\0\11
    ..controls z53\0\12c1 and z53\0\12c2..z53\0\12
    ..controls z53\0\13c1 and z53\0\13c2..cycle;
  fill_or_unfill z53\1\0s
    --z53\1\0
    --z53\1\1
    --cycle;
  fill_or_unfill z53\2\0s
    --z53\2\0
    --z53\2\1
    --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;
  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\1\0,
    53\1\1,
    53\1\2,
    53\2\0,
    53\2\1,
    53\2\2,
    53\3\0,
    53\3\1,
    53\3\2,
    53\4\0,
    53\4\1,
    53\4\2,
);
endchar;

beginchar (54, 5.300u#, 17.826u#, 0.000u#);
  "T19";
  z54\0\0s = (4.095u,17.826u);
  z54\0\0 = (4.095u,16.863u);
  z54\0\1 = (0.723u,16.863u);
  z54\0\2 = (0.723u,16.140u);
  z54\0\3c1 = (4.720u,16.140u);
  z54\0\3c2 = (4.720u,14.936u);
  z54\0\3 = (0.723u,14.936u);
  z54\0\4 = (0.723u,14.213u);
  z54\0\5 = (4.095u,14.213u);
  z54\0\6 = (4.095u,5.541u);
  z54\0\7c1 = (3.344u,6.276u);
  z54\0\7c2 = (1.201u,7.967u);
  z54\0\7 = (0.962u,8.915u);
  z54\0\8c1 = (0.722u,9.871u);
  z54\0\8c2 = (1.523u,10.436u);
  z54\0\8 = (2.168u,9.395u);
  z54\0\9 = (1.204u,9.395u);
  z54\0\10c1 = (1.705u,8.644u);
  z54\0\10c2 = (2.567u,8.575u);
  z54\0\10 = (2.713u,9.632u);
  z54\0\11c1 = (2.904u,11.015u);
  z54\0\11c2 = (0.489u,11.268u);
  z54\0\11 = (0.162u,9.632u);
  z54\0\12c1 = (-0.213u,7.746u);
  z54\0\12c2 = (3.494u,5.585u);
  z54\0\12 = (4.336u,3.613u);
  z54\0\13 = (2.409u,5.059u);
  z54\0\14 = (4.336u,1.204u);
  z54\0\15 = (5.059u,1.204u);
  z54\0\16 = (5.300u,17.826u);
  fill_or_unfill z54\0\0s
    --z54\0\0
    --z54\0\1
    --z54\0\2
    ..controls z54\0\3c1 and z54\0\3c2..z54\0\3
    --z54\0\4
    --z54\0\5
    --z54\0\6
    ..controls z54\0\7c1 and z54\0\7c2..z54\0\7
    ..controls z54\0\8c1 and z54\0\8c2..z54\0\8
    --z54\0\9
    ..controls z54\0\10c1 and z54\0\10c2..z54\0\10
    ..controls z54\0\11c1 and z54\0\11c2..z54\0\11
    ..controls z54\0\12c1 and z54\0\12c2..z54\0\12
    --z54\0\13
    --z54\0\14
    --z54\0\15
    --z54\0\16
    --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,
);
endchar;

beginchar (55, 3.132u#, 17.104u#, 0.000u#);
  "T20";
  z55\0\0s = (1.927u,17.104u);
  z55\0\0 = (1.927u,16.381u);
  z55\0\1 = (0.482u,16.381u);
  z55\0\2 = (0.482u,15.658u);
  z55\0\3 = (2.168u,15.658u);
  z55\0\4 = (2.168u,10.118u);
  z55\0\5 = (0.000u,12.045u);
  z55\0\6 = (2.168u,6.986u);
  z55\0\7 = (0.241u,7.950u);
  z55\0\8 = (1.632u,5.541u);
  z55\0\9 = (2.168u,1.204u);
  z55\0\10 = (2.891u,1.204u);
  z55\0\11 = (3.132u,17.104u);
  fill_or_unfill z55\0\0s
    --z55\0\0
    --z55\0\1
    --z55\0\2
    --z55\0\3
    --z55\0\4
    --z55\0\5
    --z55\0\6
    --z55\0\7
    --z55\0\8
    --z55\0\9
    --z55\0\10
    --z55\0\11
    --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,
);
endchar;

beginchar (56, 16.381u#, 7.950u#, 0.000u#);
  "T21";
  z56\0\0s = (4.095u,4.336u);
  z56\0\0 = (4.095u,3.372u);
  z56\0\1 = (0.000u,3.613u);
  z56\0\2c1 = (0.198u,2.395u);
  z56\0\2c2 = (0.498u,2.040u);
  z56\0\2 = (1.686u,1.686u);
  z56\0\3 = (1.204u,2.891u);
  z56\0\4 = (4.095u,2.891u);
  z56\0\5 = (4.095u,1.927u);
  z56\0\6 = (10.600u,1.927u);
  z56\0\7 = (10.600u,2.891u);
  z56\0\8 = (16.381u,2.650u);
  z56\0\9c1 = (15.887u,3.838u);
  z56\0\9c2 = (11.869u,3.372u);
  z56\0\9 = (10.600u,3.372u);
  z56\0\10 = (10.600u,4.336u);
  z56\0\11 = (7.950u,4.336u);
  z56\0\12 = (9.636u,5.623u);
  z56\0\13c1 = (9.940u,5.815u);
  z56\0\13c2 = (12.862u,7.157u);
  z56\0\13 = (11.244u,7.792u);
  z56\0\14c1 = (10.255u,8.180u);
  z56\0\14c2 = (9.272u,6.398u);
  z56\0\14 = (8.662u,5.823u);
  z56\0\15c1 = (6.931u,4.191u);
  z56\0\15c2 = (6.294u,4.336u);
  z56\1\0s = (11.081u,7.468u);
  z56\1\0 = (10.359u,6.745u);
  z56\1\1 = (10.600u,7.468u);
  z56\2\0s = (9.877u,3.854u);
  z56\2\0 = (9.877u,2.409u);
  z56\2\1 = (4.818u,2.409u);
  z56\2\2 = (4.818u,3.854u);
  fill_or_unfill z56\0\0s
    --z56\0\0
    --z56\0\1
    ..controls z56\0\2c1 and z56\0\2c2..z56\0\2
    --z56\0\3
    --z56\0\4
    --z56\0\5
    --z56\0\6
    --z56\0\7
    --z56\0\8
    ..controls z56\0\9c1 and z56\0\9c2..z56\0\9
    --z56\0\10
    --z56\0\11
    --z56\0\12
    ..controls z56\0\13c1 and z56\0\13c2..z56\0\13
    ..controls z56\0\14c1 and z56\0\14c2..z56\0\14
    ..controls z56\0\15c1 and z56\0\15c2..cycle;
  fill_or_unfill z56\1\0s
    --z56\1\0
    --z56\1\1
    --cycle;
  fill_or_unfill z56\2\0s
    --z56\2\0
    --z56\2\1
    --z56\2\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\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\1\1,
    56\1\2,
    56\2\0,
    56\2\1,
    56\2\2,
    56\2\3,
);
endchar;

beginchar (57, 5.781u#, 17.345u#, 0.000u#);
  "T22";
  z57\0\0s = (1.686u,17.345u);
  z57\0\0 = (1.927u,12.045u);
  z57\0\1 = (2.168u,6.504u);
  z57\0\2 = (0.000u,7.227u);
  z57\0\3 = (2.309u,0.969u);
  z57\0\4 = (3.854u,0.723u);
  z57\0\5 = (5.781u,7.227u);
  z57\0\6 = (3.854u,6.504u);
  z57\0\7 = (4.336u,17.345u);
  z57\1\0s = (3.613u,16.622u);
  z57\1\0 = (3.372u,5.300u);
  z57\1\1 = (4.577u,5.781u);
  z57\1\2 = (3.132u,1.204u);
  z57\1\3 = (2.650u,1.204u);
  z57\1\4 = (1.445u,5.781u);
  z57\1\5 = (2.650u,5.300u);
  z57\1\6 = (2.409u,16.622u);
  fill_or_unfill z57\0\0s
    --z57\0\0
    --z57\0\1
    --z57\0\2
    --z57\0\3
    --z57\0\4
    --z57\0\5
    --z57\0\6
    --z57\0\7
    --cycle;
  fill_or_unfill z57\1\0s
    --z57\1\0
    --z57\1\1
    --z57\1\2
    --z57\1\3
    --z57\1\4
    --z57\1\5
    --z57\1\6
    --cycle;
  proof_labels (
    57\0\0,
    57\0\1,
    57\0\2,
    57\0\3,
    57\0\4,
    57\0\5,
    57\0\6,
    57\0\7,
    57\0\8,
    57\1\0,
    57\1\1,
    57\1\2,
    57\1\3,
    57\1\4,
    57\1\5,
    57\1\6,
    57\1\7,
);
endchar;

beginchar (58, 5.059u#, 17.104u#, 0.000u#);
  "T23";
  z58\0\0s = (1.686u,17.104u);
  z58\0\0 = (1.686u,8.672u);
  z58\0\1 = (0.000u,9.636u);
  z58\0\2 = (1.122u,7.687u);
  z58\0\3 = (1.429u,1.927u);
  z58\0\4 = (1.204u,0.482u);
  z58\0\5 = (3.613u,0.482u);
  z58\0\6 = (3.346u,2.168u);
  z58\0\7 = (3.786u,4.336u);
  z58\0\8 = (3.786u,7.446u);
  z58\0\9 = (5.059u,9.636u);
  z58\0\10 = (3.132u,8.913u);
  z58\0\11 = (3.132u,17.104u);
  z58\1\0s = (2.650u,16.381u);
  z58\1\0 = (2.650u,9.395u);
  z58\1\1 = (3.347u,5.300u);
  z58\1\2 = (1.927u,1.204u);
  z58\1\3 = (1.489u,5.300u);
  z58\1\4 = (2.168u,9.395u);
  z58\1\5 = (2.168u,16.381u);
  fill_or_unfill z58\0\0s
    --z58\0\0
    --z58\0\1
    --z58\0\2
    --z58\0\3
    --z58\0\4
    --z58\0\5
    --z58\0\6
    --z58\0\7
    --z58\0\8
    --z58\0\9
    --z58\0\10
    --z58\0\11
    --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
    --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\1\0,
    58\1\1,
    58\1\2,
    58\1\3,
    58\1\4,
    58\1\5,
    58\1\6,
);
endchar;

beginchar (59, 13.731u#, 11.804u#, 0.000u#);
  "T24";
  z59\0\0s = (3.613u,9.395u);
  z59\0\0 = (1.686u,10.118u);
  z59\0\1 = (2.650u,8.431u);
  z59\0\2c1 = (0.784u,8.349u);
  z59\0\2c2 = (-0.295u,7.758u);
  z59\0\2 = (2.168u,6.745u);
  z59\0\3c1 = (1.671u,6.559u);
  z59\0\3c2 = (0.530u,6.390u);
  z59\0\3 = (0.281u,5.932u);
  z59\0\4c1 = (-0.251u,4.953u);
  z59\0\4c2 = (1.732u,5.061u);
  z59\0\4 = (2.168u,5.059u);
  z59\0\5 = (2.168u,4.577u);
  z59\0\6 = (0.241u,3.613u);
  z59\0\7 = (2.650u,3.613u);
  z59\0\8 = (1.686u,1.204u);
  z59\0\9 = (3.613u,2.168u);
  z59\0\10c1 = (2.884u,0.161u);
  z59\0\10c2 = (4.054u,-0.357u);
  z59\0\10 = (4.818u,1.445u);
  z59\0\11c1 = (5.481u,1.284u);
  z59\0\11c2 = (6.062u,1.214u);
  z59\0\11 = (6.745u,1.205u);
  z59\0\12c1 = (7.769u,1.193u);
  z59\0\12c2 = (8.645u,1.229u);
  z59\0\12 = (9.636u,0.909u);
  z59\0\13c1 = (10.429u,0.652u);
  z59\0\13c2 = (11.686u,0.147u);
  z59\0\13 = (12.513u,0.354u);
  z59\0\14c1 = (13.453u,0.588u);
  z59\0\14c2 = (13.784u,1.793u);
  z59\0\14 = (12.905u,2.289u);
  z59\0\15c1 = (11.385u,3.146u);
  z59\0\15c2 = (8.654u,1.000u);
  z59\0\15 = (6.095u,3.454u);
  z59\0\16c1 = (5.499u,4.026u);
  z59\0\16c2 = (5.075u,4.700u);
  z59\0\16 = (5.042u,5.541u);
  z59\0\17c1 = (4.965u,7.553u);
  z59\0\17c2 = (7.156u,9.682u);
  z59\0\17 = (9.154u,9.619u);
  z59\0\18c1 = (9.988u,9.593u);
  z59\0\18c2 = (10.719u,9.047u);
  z59\0\18 = (11.563u,8.962u);
  z59\0\19c1 = (12.295u,8.888u);
  z59\0\19c2 = (13.919u,9.225u);
  z59\0\19 = (13.450u,10.309u);
  z59\0\20c1 = (13.237u,10.801u);
  z59\0\20c2 = (12.540u,11.083u);
  z59\0\20 = (12.045u,11.153u);
  z59\0\21c1 = (11.046u,11.297u);
  z59\0\21c2 = (10.119u,10.784u);
  z59\0\21 = (9.154u,10.649u);
  z59\0\22 = (4.818u,10.359u);
  z59\0\23c1 = (4.015u,12.624u);
  z59\0\23c2 = (3.068u,11.523u);
  z59\1\0s = (13.009u,10.118u);
  z59\1\0c1 = (12.021u,9.391u);
  z59\1\0c2 = (11.214u,9.515u);
  z59\1\0 = (10.359u,10.359u);
  z59\2\0s = (6.986u,9.877u);
  z59\2\0c1 = (4.207u,7.081u);
  z59\2\0c2 = (2.870u,4.951u);
  z59\2\0 = (6.745u,2.168u);
  z59\2\1c1 = (2.556u,0.560u);
  z59\2\1c2 = (0.114u,9.556u);
  z59\3\0s = (12.768u,1.686u);
  z59\3\0 = (12.768u,1.204u);
  z59\3\1 = (10.359u,1.204u);
  z59\3\2c1 = (11.001u,2.126u);
  z59\3\2c2 = (11.788u,1.961u);
  fill_or_unfill z59\0\0s
    --z59\0\0
    --z59\0\1
    ..controls z59\0\2c1 and z59\0\2c2..z59\0\2
    ..controls z59\0\3c1 and z59\0\3c2..z59\0\3
    ..controls z59\0\4c1 and z59\0\4c2..z59\0\4
    --z59\0\5
    --z59\0\6
    --z59\0\7
    --z59\0\8
    --z59\0\9
    ..controls z59\0\10c1 and z59\0\10c2..z59\0\10
    ..controls z59\0\11c1 and z59\0\11c2..z59\0\11
    ..controls z59\0\12c1 and z59\0\12c2..z59\0\12
    ..controls z59\0\13c1 and z59\0\13c2..z59\0\13
    ..controls z59\0\14c1 and z59\0\14c2..z59\0\14
    ..controls z59\0\15c1 and z59\0\15c2..z59\0\15
    ..controls z59\0\16c1 and z59\0\16c2..z59\0\16
    ..controls z59\0\17c1 and z59\0\17c2..z59\0\17
    ..controls z59\0\18c1 and z59\0\18c2..z59\0\18
    ..controls z59\0\19c1 and z59\0\19c2..z59\0\19
    ..controls z59\0\20c1 and z59\0\20c2..z59\0\20
    ..controls z59\0\21c1 and z59\0\21c2..z59\0\21
    --z59\0\22
    ..controls z59\0\23c1 and z59\0\23c2..cycle;
  fill_or_unfill z59\1\0s
    ..controls z59\1\0c1 and z59\1\0c2..z59\1\0
    --cycle;
  fill_or_unfill z59\2\0s
    ..controls z59\2\0c1 and z59\2\0c2..z59\2\0
    ..controls z59\2\1c1 and z59\2\1c2..cycle;
  fill_or_unfill z59\3\0s
    --z59\3\0
    --z59\3\1
    ..controls z59\3\2c1 and z59\3\2c2..cycle;
  proof_labels (
    59\0\0,
    59\0\1,
    59\0\2,
    59\0\3,
    59\0\4,
    59\0\5,
    59\0\6,
    59\0\7,
    59\0\8,
    59\0\9,
    59\0\10,
    59\0\11,
    59\0\12,
    59\0\13,
    59\0\14,
    59\0\15,
    59\0\16,
    59\0\17,
    59\0\18,
    59\0\19,
    59\0\20,
    59\0\21,
    59\0\22,
    59\0\23,
    59\1\0,
    59\1\1,
    59\2\0,
    59\2\1,
    59\3\0,
    59\3\1,
    59\3\2,
);
endchar;

beginchar (60, 9.154u#, 17.345u#, 0.000u#);
  "T25";
  z60\0\0s = (2.650u,17.345u);
  z60\0\0 = (3.372u,14.695u);
  z60\0\1 = (0.241u,15.658u);
  z60\0\2c1 = (0.483u,14.254u);
  z60\0\2c2 = (2.147u,14.190u);
  z60\0\2 = (3.372u,13.972u);
  z60\0\3 = (1.566u,9.154u);
  z60\0\4 = (0.876u,3.613u);
  z60\0\5 = (0.000u,0.482u);
  z60\0\6 = (2.891u,0.482u);
  z60\0\7 = (2.409u,2.650u);
  z60\0\8 = (6.986u,2.650u);
  z60\0\9 = (6.504u,0.482u);
  z60\0\10 = (9.154u,0.482u);
  z60\0\11 = (8.522u,3.372u);
  z60\0\12 = (7.122u,9.877u);
  z60\0\13 = (5.497u,13.972u);
  z60\0\14 = (6.022u,17.345u);
  z60\1\0s = (5.300u,16.622u);
  z60\1\0 = (4.818u,14.695u);
  z60\1\1 = (3.372u,16.622u);
  z60\2\0s = (7.709u,4.095u);
  z60\2\0c1 = (5.951u,5.589u);
  z60\2\0c2 = (4.689u,9.755u);
  z60\2\0 = (4.577u,12.045u);
  z60\2\1 = (4.095u,12.045u);
  z60\2\2c1 = (4.079u,10.238u);
  z60\2\2c2 = (3.132u,5.416u);
  z60\2\2 = (1.686u,4.336u);
  z60\2\3c1 = (1.689u,8.041u);
  z60\2\3c2 = (2.538u,10.430u);
  z60\2\3 = (4.095u,13.731u);
  z60\2\4c1 = (6.107u,12.667u);
  z60\2\4c2 = (7.659u,6.354u);
  z60\3\0s = (4.577u,8.913u);
  z60\3\0 = (5.758u,5.781u);
  z60\3\1 = (6.986u,3.372u);
  z60\3\2 = (2.168u,3.613u);
  z60\4\0s = (1.686u,2.891u);
  z60\4\0 = (2.168u,0.963u);
  z60\4\1 = (0.723u,0.963u);
  z60\5\0s = (7.950u,2.650u);
  z60\5\0 = (8.431u,0.963u);
  z60\5\1 = (7.227u,0.963u);
  fill_or_unfill z60\0\0s
    --z60\0\0
    --z60\0\1
    ..controls z60\0\2c1 and z60\0\2c2..z60\0\2
    --z60\0\3
    --z60\0\4
    --z60\0\5
    --z60\0\6
    --z60\0\7
    --z60\0\8
    --z60\0\9
    --z60\0\10
    --z60\0\11
    --z60\0\12
    --z60\0\13
    --z60\0\14
    --cycle;
  fill_or_unfill z60\1\0s
    --z60\1\0
    --z60\1\1
    --cycle;
  fill_or_unfill z60\2\0s
    ..controls z60\2\0c1 and z60\2\0c2..z60\2\0
    --z60\2\1
    ..controls z60\2\2c1 and z60\2\2c2..z60\2\2
    ..controls z60\2\3c1 and z60\2\3c2..z60\2\3
    ..controls z60\2\4c1 and z60\2\4c2..cycle;
  fill_or_unfill z60\3\0s
    --z60\3\0
    --z60\3\1
    --z60\3\2
    --cycle;
  fill_or_unfill z60\4\0s
    --z60\4\0
    --z60\4\1
    --cycle;
  fill_or_unfill z60\5\0s
    --z60\5\0
    --z60\5\1
    --cycle;
  proof_labels (
    60\0\0,
    60\0\1,
    60\0\2,
    60\0\3,
    60\0\4,
    60\0\5,
    60\0\6,
    60\0\7,
    60\0\8,
    60\0\9,
    60\0\10,
    60\0\11,
    60\0\12,
    60\0\13,
    60\0\14,
    60\0\15,
    60\1\0,
    60\1\1,
    60\1\2,
    60\2\0,
    60\2\1,
    60\2\2,
    60\2\3,
    60\2\4,
    60\3\0,
    60\3\1,
    60\3\2,
    60\3\3,
    60\4\0,
    60\4\1,
    60\4\2,
    60\5\0,
    60\5\1,
    60\5\2,
);
endchar;

beginchar (61, 17.345u#, 13.249u#, 0.000u#);
  "T26";
  z61\0\0s = (13.009u,13.249u);
  z61\0\0c1 = (13.009u,12.411u);
  z61\0\0c2 = (13.178u,10.625u);
  z61\0\0 = (12.623u,9.999u);
  z61\0\1c1 = (11.608u,8.852u);
  z61\0\1c2 = (6.997u,8.158u);
  z61\0\1 = (5.301u,6.973u);
  z61\0\2c1 = (3.548u,5.749u);
  z61\0\2c2 = (3.777u,4.139u);
  z61\0\2 = (1.445u,4.096u);
  z61\0\3 = (0.000u,4.096u);
  z61\0\4 = (0.000u,1.445u);
  z61\0\5 = (17.345u,1.445u);
  z61\0\6 = (17.345u,4.095u);
  z61\0\7 = (15.658u,4.095u);
  z61\0\8 = (15.658u,7.709u);
  z61\0\9 = (17.345u,7.468u);
  z61\0\10 = (15.658u,8.191u);
  z61\0\11 = (15.658u,9.877u);
  z61\0\12 = (17.104u,9.877u);
  z61\0\13 = (17.104u,10.359u);
  z61\0\14c1 = (15.321u,10.657u);
  z61\0\14c2 = (15.659u,11.779u);
  z61\0\14 = (15.658u,13.249u);
  z61\1\0s = (14.936u,12.527u);
  z61\1\0 = (14.936u,4.095u);
  z61\1\1 = (13.731u,4.095u);
  z61\1\2 = (13.731u,12.527u);
  z61\2\0s = (13.009u,9.154u);
  z61\2\0 = (12.045u,8.672u);
  z61\3\0s = (13.009u,7.950u);
  z61\3\0 = (13.009u,4.095u);
  z61\3\1 = (6.263u,4.095u);
  z61\3\2c1 = (7.607u,7.524u);
  z61\3\2c2 = (9.785u,7.950u);
  z61\4\0s = (7.709u,7.227u);
  z61\4\0c1 = (6.782u,5.765u);
  z61\4\0c2 = (5.963u,4.155u);
  z61\4\0 = (4.095u,4.095u);
  z61\4\1c1 = (4.497u,5.982u);
  z61\4\1c2 = (5.896u,6.887u);
  z61\5\0s = (16.622u,3.372u);
  z61\5\0 = (16.622u,2.168u);
  z61\5\1 = (0.723u,2.168u);
  z61\5\2 = (0.723u,3.372u);
  fill_or_unfill z61\0\0s
    ..controls z61\0\0c1 and z61\0\0c2..z61\0\0
    ..controls z61\0\1c1 and z61\0\1c2..z61\0\1
    ..controls z61\0\2c1 and z61\0\2c2..z61\0\2
    --z61\0\3
    --z61\0\4
    --z61\0\5
    --z61\0\6
    --z61\0\7
    --z61\0\8
    --z61\0\9
    --z61\0\10
    --z61\0\11
    --z61\0\12
    --z61\0\13
    ..controls z61\0\14c1 and z61\0\14c2..z61\0\14
    --cycle;
  fill_or_unfill z61\1\0s
    --z61\1\0
    --z61\1\1
    --z61\1\2
    --cycle;
  fill_or_unfill z61\2\0s
    --z61\2\0
    --cycle;
  fill_or_unfill z61\3\0s
    --z61\3\0
    --z61\3\1
    ..controls z61\3\2c1 and z61\3\2c2..cycle;
  fill_or_unfill z61\4\0s
    ..controls z61\4\0c1 and z61\4\0c2..z61\4\0
    ..controls z61\4\1c1 and z61\4\1c2..cycle;
  fill_or_unfill z61\5\0s
    --z61\5\0
    --z61\5\1
    --z61\5\2
    --cycle;
  proof_labels (
    61\0\0,
    61\0\1,
    61\0\2,
    61\0\3,
    61\0\4,
    61\0\5,
    61\0\6,
    61\0\7,
    61\0\8,
    61\0\9,
    61\0\10,
    61\0\11,
    61\0\12,
    61\0\13,
    61\0\14,
    61\0\15,
    61\1\0,
    61\1\1,
    61\1\2,
    61\1\3,
    61\2\0,
    61\2\1,
    61\3\0,
    61\3\1,
    61\3\2,
    61\4\0,
    61\4\1,
    61\5\0,
    61\5\1,
    61\5\2,
    61\5\3,
);
endchar;

beginchar (62, 19.031u#, 8.913u#, 0.000u#);
  "T27";
  z62\0\0s = (2.168u,2.409u);
  z62\0\0 = (0.000u,2.409u);
  z62\0\1 = (0.000u,1.445u);
  z62\0\2 = (17.586u,1.445u);
  z62\0\3 = (19.031u,8.913u);
  z62\0\4c1 = (18.076u,8.689u);
  z62\0\4c2 = (17.391u,8.438u);
  z62\0\4 = (16.381u,8.431u);
  z62\0\5c1 = (14.866u,8.422u);
  z62\0\5c2 = (11.396u,8.609u);
  z62\0\5 = (10.118u,8.242u);
  z62\0\6c1 = (7.731u,7.555u);
  z62\0\6c2 = (7.768u,6.132u);
  z62\0\6 = (6.701u,5.685u);
  z62\0\7c1 = (6.237u,5.491u);
  z62\0\7c2 = (5.564u,5.564u);
  z62\0\7 = (5.059u,5.496u);
  z62\0\8c1 = (3.232u,5.249u);
  z62\0\8c2 = (2.487u,4.110u);
  z62\1\0s = (18.067u,7.709u);
  z62\1\0 = (17.411u,5.780u);
  z62\1\1 = (7.950u,5.541u);
  z62\1\2c1 = (9.468u,8.720u);
  z62\1\2c2 = (15.058u,7.709u);
  z62\2\0s = (6.986u,4.818u);
  z62\2\0 = (6.745u,2.409u);
  z62\2\1 = (2.891u,2.409u);
  z62\2\2c1 = (3.288u,4.863u);
  z62\2\2c2 = (4.985u,4.818u);
  z62\3\0s = (16.863u,2.409u);
  z62\3\0 = (7.227u,2.409u);
  z62\3\1c1 = (7.519u,4.030u);
  z62\3\1c2 = (7.226u,4.781u);
  z62\3\1 = (9.154u,4.817u);
  z62\3\2c1 = (10.324u,4.839u);
  z62\3\2c2 = (16.868u,5.135u);
  z62\3\2 = (17.156u,4.260u);
  z62\3\3c1 = (17.290u,3.858u);
  z62\3\3c2 = (16.962u,2.852u);
  fill_or_unfill z62\0\0s
    --z62\0\0
    --z62\0\1
    --z62\0\2
    --z62\0\3
    ..controls z62\0\4c1 and z62\0\4c2..z62\0\4
    ..controls z62\0\5c1 and z62\0\5c2..z62\0\5
    ..controls z62\0\6c1 and z62\0\6c2..z62\0\6
    ..controls z62\0\7c1 and z62\0\7c2..z62\0\7
    ..controls z62\0\8c1 and z62\0\8c2..cycle;
  fill_or_unfill z62\1\0s
    --z62\1\0
    --z62\1\1
    ..controls z62\1\2c1 and z62\1\2c2..cycle;
  fill_or_unfill z62\2\0s
    --z62\2\0
    --z62\2\1
    ..controls z62\2\2c1 and z62\2\2c2..cycle;
  fill_or_unfill z62\3\0s
    --z62\3\0
    ..controls z62\3\1c1 and z62\3\1c2..z62\3\1
    ..controls z62\3\2c1 and z62\3\2c2..z62\3\2
    ..controls z62\3\3c1 and z62\3\3c2..cycle;
  proof_labels (
    62\0\0,
    62\0\1,
    62\0\2,
    62\0\3,
    62\0\4,
    62\0\5,
    62\0\6,
    62\0\7,
    62\0\8,
    62\1\0,
    62\1\1,
    62\1\2,
    62\2\0,
    62\2\1,
    62\2\2,
    62\3\0,
    62\3\1,
    62\3\2,
    62\3\3,
);
endchar;

beginchar (63, 8.672u#, 10.118u#, 0.000u#);
  "T28";
  z63\0\0s = (1.445u,10.118u);
  z63\0\0 = (0.000u,1.927u);
  z63\0\1 = (8.672u,1.927u);
  z63\0\2 = (6.986u,10.118u);
  z63\1\0s = (5.781u,9.636u);
  z63\1\0 = (4.893u,7.227u);
  z63\1\1 = (5.541u,2.650u);
  z63\1\2 = (2.891u,2.650u);
  z63\1\3 = (3.846u,7.468u);
  z63\1\4 = (2.891u,9.636u);
  z63\2\0s = (2.168u,9.154u);
  z63\2\0 = (3.367u,7.467u);
  z63\2\1 = (2.045u,2.896u);
  z63\2\2 = (0.482u,2.650u);
  z63\3\0s = (6.504u,8.913u);
  z63\3\0 = (7.950u,2.650u);
  z63\3\1 = (6.438u,2.889u);
  z63\3\2 = (5.413u,7.467u);
  fill_or_unfill z63\0\0s
    --z63\0\0
    --z63\0\1
    --z63\0\2
    --cycle;
  fill_or_unfill z63\1\0s
    --z63\1\0
    --z63\1\1
    --z63\1\2
    --z63\1\3
    --z63\1\4
    --cycle;
  fill_or_unfill z63\2\0s
    --z63\2\0
    --z63\2\1
    --z63\2\2
    --cycle;
  fill_or_unfill z63\3\0s
    --z63\3\0
    --z63\3\1
    --z63\3\2
    --cycle;
  proof_labels (
    63\0\0,
    63\0\1,
    63\0\2,
    63\0\3,
    63\1\0,
    63\1\1,
    63\1\2,
    63\1\3,
    63\1\4,
    63\1\5,
    63\2\0,
    63\2\1,
    63\2\2,
    63\2\3,
    63\3\0,
    63\3\1,
    63\3\2,
    63\3\3,
);
endchar;

beginchar (64, 17.826u#, 15.658u#, 0.000u#);
  "T29";
  z64\0\0s = (0.241u,15.658u);
  z64\0\0c1 = (0.023u,12.613u);
  z64\0\0c2 = (5.507u,11.343u);
  z64\0\0 = (5.800u,10.067u);
  z64\0\1 = (3.613u,1.445u);
  z64\0\2 = (13.731u,1.445u);
  z64\0\3 = (12.122u,9.344u);
  z64\0\4c1 = (12.441u,9.910u);
  z64\0\4c2 = (14.619u,9.680u);
  z64\0\4 = (15.133u,9.344u);
  z64\0\5c1 = (15.754u,9.038u);
  z64\0\5c2 = (16.078u,8.256u);
  z64\0\5 = (16.662u,7.969u);
  z64\0\6c1 = (17.436u,7.588u);
  z64\0\6c2 = (17.820u,8.195u);
  z64\0\6 = (17.657u,8.918u);
  z64\0\7c1 = (17.453u,9.822u);
  z64\0\7c2 = (16.667u,10.761u);
  z64\0\7 = (15.890u,11.235u);
  z64\1\0s = (15.899u,10.118u);
  z64\1\0c1 = (10.663u,11.056u);
  z64\1\0c2 = (5.350u,9.255u);
  z64\1\0 = (1.445u,14.454u);
  z64\1\1 = (14.925u,10.945u);
  z64\2\0s = (10.600u,9.636u);
  z64\2\0 = (9.573u,7.227u);
  z64\2\1 = (10.600u,2.168u);
  z64\2\2 = (6.745u,2.409u);
  z64\2\3 = (8.173u,7.468u);
  z64\2\4 = (7.227u,10.118u);
  z64\3\0s = (16.140u,10.118u);
  z64\4\0s = (6.745u,9.395u);
  z64\4\0 = (7.538u,7.468u);
  z64\4\1 = (5.715u,2.416u);
  z64\4\2 = (4.336u,2.416u);
  z64\5\0s = (11.322u,8.913u);
  z64\5\0 = (13.009u,2.168u);
  z64\5\1 = (11.667u,2.553u);
  z64\5\2 = (10.212u,6.986u);
  z64\5\3 = (10.840u,8.913u);
  fill_or_unfill z64\0\0s
    ..controls z64\0\0c1 and z64\0\0c2..z64\0\0
    --z64\0\1
    --z64\0\2
    --z64\0\3
    ..controls z64\0\4c1 and z64\0\4c2..z64\0\4
    ..controls z64\0\5c1 and z64\0\5c2..z64\0\5
    ..controls z64\0\6c1 and z64\0\6c2..z64\0\6
    ..controls z64\0\7c1 and z64\0\7c2..z64\0\7
    --cycle;
  fill_or_unfill z64\1\0s
    ..controls z64\1\0c1 and z64\1\0c2..z64\1\0
    --z64\1\1
    --cycle;
  fill_or_unfill z64\2\0s
    --z64\2\0
    --z64\2\1
    --z64\2\2
    --z64\2\3
    --z64\2\4
    --cycle;
  fill_or_unfill z64\3\0s
    --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
    --z64\5\3
    --cycle;
  proof_labels (
    64\0\0,
    64\0\1,
    64\0\2,
    64\0\3,
    64\0\4,
    64\0\5,
    64\0\6,
    64\0\7,
    64\0\8,
    64\1\0,
    64\1\1,
    64\1\2,
    64\2\0,
    64\2\1,
    64\2\2,
    64\2\3,
    64\2\4,
    64\2\5,
    64\3\0,
    64\4\0,
    64\4\1,
    64\4\2,
    64\4\3,
    64\5\0,
    64\5\1,
    64\5\2,
    64\5\3,
    64\5\4,
);
endchar;

beginchar (65, 17.104u#, 9.395u#, 0.000u#);
  "T30";
  z65\0\0s = (0.000u,9.395u);
  z65\0\0c1 = (0.525u,6.148u);
  z65\0\0c2 = (6.645u,3.748u);
  z65\0\0 = (9.636u,3.864u);
  z65\0\1c1 = (10.657u,3.903u);
  z65\0\1c2 = (11.757u,4.267u);
  z65\0\1 = (12.767u,3.992u);
  z65\0\2c1 = (15.229u,3.320u);
  z65\0\2c2 = (13.945u,0.560u);
  z65\0\2 = (17.104u,1.445u);
  z65\0\3c1 = (16.734u,2.682u);
  z65\0\3c2 = (16.417u,3.844u);
  z65\0\3 = (15.393u,4.724u);
  z65\0\4c1 = (14.091u,5.842u);
  z65\0\4c2 = (2.084u,9.207u);
  z65\1\0s = (1.445u,8.431u);
  z65\1\0 = (13.490u,5.059u);
  z65\1\1c1 = (10.626u,3.910u);
  z65\1\1c2 = (2.333u,5.107u);
  z65\2\0s = (13.731u,4.699u);
  z65\3\0s = (14.213u,4.577u);
  z65\3\0c1 = (15.490u,3.856u);
  z65\3\0c2 = (15.795u,3.383u);
  z65\3\0 = (15.899u,1.927u);
  fill_or_unfill z65\0\0s
    ..controls z65\0\0c1 and z65\0\0c2..z65\0\0
    ..controls z65\0\1c1 and z65\0\1c2..z65\0\1
    ..controls z65\0\2c1 and z65\0\2c2..z65\0\2
    ..controls z65\0\3c1 and z65\0\3c2..z65\0\3
    ..controls z65\0\4c1 and z65\0\4c2..cycle;
  fill_or_unfill z65\1\0s
    --z65\1\0
    ..controls z65\1\1c1 and z65\1\1c2..cycle;
  fill_or_unfill z65\2\0s
    --cycle;
  fill_or_unfill z65\3\0s
    ..controls z65\3\0c1 and z65\3\0c2..z65\3\0
    --cycle;
  proof_labels (
    65\0\0,
    65\0\1,
    65\0\2,
    65\0\3,
    65\0\4,
    65\1\0,
    65\1\1,
    65\2\0,
    65\3\0,
    65\3\1,
);
endchar;

beginchar (66, 16.381u#, 10.118u#, 0.000u#);
  "T31";
  z66\0\0s = (0.000u,10.118u);
  z66\0\0c1 = (1.473u,7.374u);
  z66\0\0c2 = (6.872u,3.172u);
  z66\0\0 = (10.118u,3.133u);
  z66\0\1c1 = (11.365u,3.117u);
  z66\0\1c2 = (12.498u,3.210u);
  z66\0\1 = (13.731u,3.372u);
  z66\0\2c1 = (13.898u,2.499u);
  z66\0\2c2 = (14.220u,1.423u);
  z66\0\2 = (15.182u,1.122u);
  z66\0\3c1 = (17.172u,0.498u);
  z66\0\3c2 = (16.018u,3.336u);
  z66\0\3 = (15.339u,4.016u);
  z66\0\4c1 = (14.122u,5.235u);
  z66\0\4c2 = (1.880u,10.026u);
  z66\1\0s = (1.927u,9.154u);
  z66\2\0s = (13.490u,4.336u);
  z66\2\0c1 = (10.310u,2.239u);
  z66\2\0c2 = (6.547u,4.747u);
  z66\2\0 = (4.095u,6.765u);
  z66\2\1c1 = (3.294u,7.425u);
  z66\2\1c2 = (2.443u,8.002u);
  z66\2\1 = (1.927u,8.913u);
  z66\3\0s = (14.454u,3.854u);
  z66\3\0 = (15.658u,1.686u);
  z66\3\1c1 = (14.748u,2.168u);
  z66\3\1c2 = (14.188u,2.780u);
  fill_or_unfill z66\0\0s
    ..controls z66\0\0c1 and z66\0\0c2..z66\0\0
    ..controls z66\0\1c1 and z66\0\1c2..z66\0\1
    ..controls z66\0\2c1 and z66\0\2c2..z66\0\2
    ..controls z66\0\3c1 and z66\0\3c2..z66\0\3
    ..controls z66\0\4c1 and z66\0\4c2..cycle;
  fill_or_unfill z66\1\0s
    --cycle;
  fill_or_unfill z66\2\0s
    ..controls z66\2\0c1 and z66\2\0c2..z66\2\0
    ..controls z66\2\1c1 and z66\2\1c2..z66\2\1
    --cycle;
  fill_or_unfill z66\3\0s
    --z66\3\0
    ..controls z66\3\1c1 and z66\3\1c2..cycle;
  proof_labels (
    66\0\0,
    66\0\1,
    66\0\2,
    66\0\3,
    66\0\4,
    66\1\0,
    66\2\0,
    66\2\1,
    66\2\2,
    66\3\0,
    66\3\1,
);
endchar;

beginchar (67, 16.140u#, 16.381u#, 0.000u#);
  "T32";
  z67\0\0s = (0.000u,16.381u);
  z67\0\0c1 = (0.603u,14.617u);
  z67\0\0c2 = (3.739u,12.333u);
  z67\0\0 = (5.300u,11.216u);
  z67\0\1c1 = (5.859u,10.815u);
  z67\0\1c2 = (7.128u,10.087u);
  z67\0\1 = (7.462u,9.546u);
  z67\0\2c1 = (7.744u,9.092u);
  z67\0\2c2 = (7.705u,8.465u);
  z67\0\2 = (7.709u,7.950u);
  z67\0\3c1 = (7.730u,4.820u);
  z67\0\3c2 = (7.819u,3.457u);
  z67\0\3 = (4.095u,3.372u);
  z67\0\4c1 = (5.049u,1.948u);
  z67\0\4c2 = (9.927u,2.816u);
  z67\0\4 = (11.563u,2.891u);
  z67\0\5 = (11.081u,9.372u);
  z67\0\6c1 = (11.606u,9.406u);
  z67\0\6c2 = (12.753u,9.564u);
  z67\0\6 = (13.184u,9.372u);
  z67\0\7c1 = (13.966u,8.959u);
  z67\0\7c2 = (14.395u,7.078u);
  z67\0\7 = (15.588u,7.440u);
  z67\0\8c1 = (17.570u,8.041u);
  z67\0\8c2 = (14.453u,10.753u);
  z67\0\8 = (13.731u,11.133u);
  z67\0\9c1 = (11.730u,12.187u);
  z67\0\9c2 = (1.890u,16.210u);
  z67\1\0s = (2.168u,15.177u);
  z67\1\0 = (13.249u,10.600u);
  z67\1\1c1 = (10.257u,8.304u);
  z67\1\1c2 = (6.144u,11.135u);
  z67\1\1 = (3.854u,13.074u);
  z67\1\2c1 = (3.192u,13.636u);
  z67\1\2c2 = (2.181u,14.251u);
  z67\2\0s = (14.454u,10.118u);
  z67\2\0 = (15.417u,7.950u);
  z67\2\1c1 = (14.445u,8.470u);
  z67\2\1c2 = (14.060u,9.026u);
  z67\3\0s = (9.636u,9.395u);
  z67\3\0c1 = (10.011u,7.530u);
  z67\3\0c2 = (11.886u,2.958u);
  z67\3\0 = (8.191u,3.613u);
  z67\3\1 = (9.154u,9.395u);
  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
    --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..cycle;
  fill_or_unfill z67\1\0s
    --z67\1\0
    ..controls z67\1\1c1 and z67\1\1c2..z67\1\1
    ..controls z67\1\2c1 and z67\1\2c2..cycle;
  fill_or_unfill z67\2\0s
    --z67\2\0
    ..controls z67\2\1c1 and z67\2\1c2..cycle;
  fill_or_unfill z67\3\0s
    ..controls z67\3\0c1 and z67\3\0c2..z67\3\0
    --z67\3\1
    --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\1\0,
    67\1\1,
    67\1\2,
    67\2\0,
    67\2\1,
    67\3\0,
    67\3\1,
    67\3\2,
);
endchar;

beginchar (68, 17.345u#, 9.154u#, 0.000u#);
  "T33";
  z68\0\0s = (0.000u,8.672u);
  z68\0\0c1 = (1.209u,5.217u);
  z68\0\0c2 = (11.060u,4.884u);
  z68\0\0 = (14.213u,5.300u);
  z68\0\1c1 = (13.971u,4.381u);
  z68\0\1c2 = (13.495u,3.371u);
  z68\0\1 = (13.557u,2.409u);
  z68\0\2c1 = (13.729u,-0.254u);
  z68\0\2c2 = (16.941u,-0.235u);
  z68\0\2 = (17.191u,2.650u);
  z68\0\3c1 = (17.289u,3.785u);
  z68\0\3c2 = (16.671u,4.945u);
  z68\0\3 = (16.381u,6.022u);
  z68\0\4 = (17.231u,7.705u);
  z68\0\5 = (16.130u,8.951u);
  z68\0\6 = (13.477u,7.503u);
  z68\0\7 = (10.118u,7.227u);
  z68\0\8 = (4.336u,8.006u);
  z68\1\0s = (13.731u,6.022u);
  z68\1\0 = (15.177u,6.986u);
  z68\1\1 = (15.417u,8.431u);
  z68\1\2c1 = (18.165u,7.371u);
  z68\1\2c2 = (15.224u,6.060u);
  z68\2\0s = (1.927u,7.950u);
  z68\3\0s = (2.650u,7.709u);
  z68\4\0s = (3.372u,7.349u);
  z68\5\0s = (4.095u,7.227u);
  z68\5\0 = (9.154u,6.526u);
  z68\5\1 = (12.286u,6.263u);
  z68\5\2c1 = (10.734u,5.121u);
  z68\5\2c2 = (5.640u,6.406u);
  z68\5\2 = (3.854u,6.986u);
  z68\6\0s = (15.658u,5.300u);
  z68\6\0c1 = (18.001u,0.470u);
  z68\6\0c2 = (12.614u,-0.282u);
  z68\6\0 = (15.177u,5.300u);
  fill_or_unfill z68\0\0s
    ..controls z68\0\0c1 and z68\0\0c2..z68\0\0
    ..controls z68\0\1c1 and z68\0\1c2..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
    --z68\0\4
    --z68\0\5
    --z68\0\6
    --z68\0\7
    --z68\0\8
    --cycle;
  fill_or_unfill z68\1\0s
    --z68\1\0
    --z68\1\1
    ..controls z68\1\2c1 and z68\1\2c2..cycle;
  fill_or_unfill z68\2\0s
    --cycle;
  fill_or_unfill z68\3\0s
    --cycle;
  fill_or_unfill z68\4\0s
    --cycle;
  fill_or_unfill z68\5\0s
    --z68\5\0
    --z68\5\1
    ..controls z68\5\2c1 and z68\5\2c2..z68\5\2
    --cycle;
  fill_or_unfill z68\6\0s
    ..controls z68\6\0c1 and z68\6\0c2..z68\6\0
    --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\1\0,
    68\1\1,
    68\1\2,
    68\2\0,
    68\3\0,
    68\4\0,
    68\5\0,
    68\5\1,
    68\5\2,
    68\5\3,
    68\6\0,
    68\6\1,
);
endchar;

beginchar (69, 4.577u#, 17.345u#, 0.000u#);
  "T34";
  z69\0\0s = (0.000u,3.854u);
  z69\0\0c1 = (0.439u,-1.018u);
  z69\0\0c2 = (4.049u,-1.239u);
  z69\0\0 = (4.577u,3.854u);
  z69\0\1 = (2.891u,3.854u);
  z69\0\2 = (2.891u,17.345u);
  z69\0\3c1 = (1.507u,17.035u);
  z69\0\3c2 = (1.080u,16.251u);
  z69\0\3 = (0.704u,14.936u);
  z69\0\4c1 = (-0.611u,10.335u);
  z69\0\4c2 = (1.993u,6.143u);
  z69\0\4 = (1.502u,4.612u);
  z69\0\5c1 = (1.275u,3.906u);
  z69\0\5c2 = (0.614u,3.905u);
  z69\1\0s = (2.168u,16.140u);
  z69\1\0 = (2.168u,6.022u);
  z69\1\1c1 = (0.849u,8.588u);
  z69\1\1c2 = (-0.012u,13.858u);
  z69\2\0s = (3.854u,3.132u);
  z69\2\0c1 = (3.130u,-0.029u);
  z69\2\0c2 = (1.190u,0.353u);
  z69\2\0 = (0.723u,3.372u);
  fill_or_unfill z69\0\0s
    ..controls z69\0\0c1 and z69\0\0c2..z69\0\0
    --z69\0\1
    --z69\0\2
    ..controls z69\0\3c1 and z69\0\3c2..z69\0\3
    ..controls z69\0\4c1 and z69\0\4c2..z69\0\4
    ..controls z69\0\5c1 and z69\0\5c2..cycle;
  fill_or_unfill z69\1\0s
    --z69\1\0
    ..controls z69\1\1c1 and z69\1\1c2..cycle;
  fill_or_unfill z69\2\0s
    ..controls z69\2\0c1 and z69\2\0c2..z69\2\0
    --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\2\0,
    69\2\1,
);
endchar;

beginchar (70, 2.891u#, 17.345u#, 0.000u#);
  "T35";
  z70\0\0s = (0.953u,0.241u);
  z70\0\0 = (2.891u,0.241u);
  z70\0\1 = (2.891u,17.345u);
  z70\0\2c1 = (1.609u,17.224u);
  z70\0\2c2 = (0.791u,16.952u);
  z70\0\2 = (0.276u,15.657u);
  z70\0\3c1 = (-0.454u,13.822u);
  z70\0\3c2 = (0.767u,8.715u);
  z70\0\3 = (0.953u,6.504u);
  z70\1\0s = (2.409u,16.622u);
  z70\1\0 = (2.409u,0.723u);
  z70\1\1 = (1.445u,0.723u);
  z70\1\2 = (1.664u,3.854u);
  z70\1\3 = (0.724u,14.213u);
  z70\1\4c1 = (0.743u,15.645u);
  z70\1\4c2 = (0.857u,16.364u);
  fill_or_unfill z70\0\0s
    --z70\0\0
    --z70\0\1
    ..controls z70\0\2c1 and z70\0\2c2..z70\0\2
    ..controls z70\0\3c1 and z70\0\3c2..z70\0\3
    --cycle;
  fill_or_unfill z70\1\0s
    --z70\1\0
    --z70\1\1
    --z70\1\2
    --z70\1\3
    ..controls z70\1\4c1 and z70\1\4c2..cycle;
  proof_labels (
    70\0\0,
    70\0\1,
    70\0\2,
    70\0\3,
    70\0\4,
    70\1\0,
    70\1\1,
    70\1\2,
    70\1\3,
    70\1\4,
);
endchar;