beginchar (32, 8.913u#, 5.059u#, 0.000u#);
  "X1";
  z32\0\0s = (0.000u,0.241u);
  z32\0\0 = (8.913u,0.241u);
  z32\0\1c1 = (8.613u,6.666u);
  z32\0\1c2 = (0.300u,6.666u);
  z32\1\0s = (8.191u,0.963u);
  z32\1\0 = (0.723u,0.963u);
  z32\1\1c1 = (1.785u,5.198u);
  z32\1\1c2 = (7.128u,5.198u);
  fill_or_unfill z32\0\0s
    --z32\0\0
    ..controls z32\0\1c1 and z32\0\1c2..cycle;
  fill_or_unfill z32\1\0s
    --z32\1\0
    ..controls z32\1\1c1 and z32\1\1c2..cycle;
  proof_labels (
    32\0\0,
    32\0\1,
    32\1\0,
    32\1\1,
);
endchar;

beginchar (33, 5.781u#, 9.395u#, 0.000u#);
  "X2";
  z33\0\0s = (2.193u,9.148u);
  z33\0\0c1 = (1.230u,8.390u);
  z33\0\0c2 = (-0.007u,4.844u);
  z33\0\0 = (0.144u,3.613u);
  z33\0\1c1 = (0.356u,1.882u);
  z33\0\1c2 = (2.211u,-0.110u);
  z33\0\1 = (4.045u,0.969u);
  z33\0\2c1 = (4.647u,1.323u);
  z33\0\2c2 = (5.553u,2.924u);
  z33\0\2 = (5.638u,3.613u);
  z33\0\3c1 = (5.719u,4.276u);
  z33\0\3c2 = (5.343u,5.137u);
  z33\0\3 = (5.162u,5.781u);
  z33\0\4c1 = (4.714u,7.371u);
  z33\0\4c2 = (4.527u,9.879u);
  z33\1\0s = (4.818u,3.854u);
  z33\1\0 = (0.963u,3.854u);
  z33\1\1c1 = (1.053u,4.726u);
  z33\1\1c2 = (1.811u,8.531u);
  z33\1\1 = (2.891u,8.531u);
  z33\1\2c1 = (3.970u,8.531u);
  z33\1\2c2 = (4.728u,4.726u);
  z33\2\0s = (4.577u,3.372u);
  z33\2\0c1 = (3.983u,0.752u);
  z33\2\0c2 = (1.798u,0.752u);
  z33\2\0 = (1.204u,3.372u);
  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
    ..controls z33\0\4c1 and z33\0\4c2..cycle;
  fill_or_unfill z33\1\0s
    --z33\1\0
    ..controls z33\1\1c1 and z33\1\1c2..z33\1\1
    ..controls z33\1\2c1 and z33\1\2c2..cycle;
  fill_or_unfill z33\2\0s
    ..controls z33\2\0c1 and z33\2\0c2..z33\2\0
    --cycle;
  proof_labels (
    33\0\0,
    33\0\1,
    33\0\2,
    33\0\3,
    33\0\4,
    33\1\0,
    33\1\1,
    33\1\2,
    33\2\0,
    33\2\1,
);
endchar;

beginchar (34, 4.818u#, 9.636u#, 0.000u#);
  "X3";
  z34\0\0s = (1.715u,9.389u);
  z34\0\0c1 = (0.247u,8.059u);
  z34\0\0c2 = (-0.865u,1.877u);
  z34\0\0 = (1.715u,0.940u);
  z34\0\1c1 = (2.321u,0.709u);
  z34\0\1c2 = (3.028u,0.800u);
  z34\0\1 = (3.588u,1.169u);
  z34\0\2c1 = (4.175u,1.557u);
  z34\0\2c2 = (4.545u,2.209u);
  z34\0\2 = (4.681u,2.891u);
  z34\0\3c1 = (4.890u,3.942u);
  z34\0\3c2 = (4.071u,8.586u);
  z34\0\3 = (3.272u,9.251u);
  z34\0\4c1 = (2.736u,9.697u);
  z34\0\4c2 = (2.329u,9.582u);
  z34\1\0s = (2.409u,8.625u);
  z34\1\0c1 = (3.618u,8.100u);
  z34\1\0c2 = (5.167u,1.554u);
  z34\1\0 = (2.409u,1.554u);
  z34\1\1c1 = (-0.349u,1.554u);
  z34\1\1c2 = (1.200u,8.100u);
  fill_or_unfill z34\0\0s
    ..controls z34\0\0c1 and z34\0\0c2..z34\0\0
    ..controls z34\0\1c1 and z34\0\1c2..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..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\1\0,
    34\1\1,
);
endchar;

beginchar (35, 17.345u#, 5.300u#, 0.000u#);
  "X4";
  z35\0\0s = (1.446u,5.122u);
  z35\0\0c1 = (-0.224u,4.219u);
  z35\0\0c2 = (-0.679u,1.992u);
  z35\0\0 = (1.209u,1.006u);
  z35\0\1c1 = (1.857u,0.667u);
  z35\0\1c2 = (2.662u,0.724u);
  z35\0\1 = (3.372u,0.723u);
  z35\0\2 = (13.972u,0.723u);
  z35\0\3c1 = (18.591u,0.730u);
  z35\0\3c2 = (18.591u,5.292u);
  z35\0\3 = (13.972u,5.300u);
  z35\1\0s = (7.950u,4.577u);
  z35\1\0c1 = (7.123u,2.555u);
  z35\1\0c2 = (7.110u,3.445u);
  z35\1\0 = (7.950u,1.445u);
  z35\1\1c1 = (6.860u,1.445u);
  z35\1\1c2 = (2.428u,1.316u);
  z35\1\1 = (1.712u,1.623u);
  z35\1\2c1 = (0.598u,2.101u);
  z35\1\2c2 = (0.461u,3.659u);
  z35\1\2 = (1.500u,4.294u);
  z35\1\3c1 = (2.014u,4.609u);
  z35\1\3c2 = (2.787u,4.574u);
  z35\1\3 = (3.372u,4.577u);
  z35\2\0s = (9.395u,1.445u);
  z35\2\0c1 = (10.222u,3.468u);
  z35\2\0c2 = (10.235u,2.577u);
  z35\2\0 = (9.395u,4.577u);
  z35\2\1c1 = (10.485u,4.577u);
  z35\2\1c2 = (14.917u,4.707u);
  z35\2\1 = (15.633u,4.399u);
  z35\2\2c1 = (16.746u,3.921u);
  z35\2\2c2 = (16.884u,2.363u);
  z35\2\2 = (15.845u,1.728u);
  z35\2\3c1 = (15.330u,1.414u);
  z35\2\3c2 = (14.558u,1.449u);
  z35\2\3 = (13.972u,1.445u);
  z35\3\0s = (8.672u,3.566u);
  z35\3\0c1 = (9.273u,3.285u);
  z35\3\0c2 = (9.423u,2.456u);
  z35\3\0 = (8.672u,2.456u);
  z35\3\1c1 = (7.922u,2.456u);
  z35\3\1c2 = (8.072u,3.285u);
  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
    --z35\0\2
    ..controls z35\0\3c1 and z35\0\3c2..z35\0\3
    --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..z35\1\1
    ..controls z35\1\2c1 and z35\1\2c2..z35\1\2
    ..controls z35\1\3c1 and z35\1\3c2..z35\1\3
    --cycle;
  fill_or_unfill z35\2\0s
    ..controls z35\2\0c1 and z35\2\0c2..z35\2\0
    ..controls z35\2\1c1 and z35\2\1c2..z35\2\1
    ..controls z35\2\2c1 and z35\2\2c2..z35\2\2
    ..controls z35\2\3c1 and z35\2\3c2..z35\2\3
    --cycle;
  fill_or_unfill z35\3\0s
    ..controls z35\3\0c1 and z35\3\0c2..z35\3\0
    ..controls z35\3\1c1 and z35\3\1c2..cycle;
  proof_labels (
    35\0\0,
    35\0\1,
    35\0\2,
    35\0\3,
    35\0\4,
    35\1\0,
    35\1\1,
    35\1\2,
    35\1\3,
    35\1\4,
    35\2\0,
    35\2\1,
    35\2\2,
    35\2\3,
    35\2\4,
    35\3\0,
    35\3\1,
);
endchar;

beginchar (36, 17.826u#, 3.854u#, 0.000u#);
  "(N18)";
  z36\0\0s = (0.977u,3.608u);
  z36\0\0c1 = (-1.327u,1.808u);
  z36\0\0c2 = (1.050u,0.726u);
  z36\0\0 = (2.891u,0.723u);
  z36\0\1 = (14.936u,0.723u);
  z36\0\2c1 = (16.045u,0.725u);
  z36\0\2c2 = (18.177u,0.924u);
  z36\0\2 = (17.669u,2.645u);
  z36\0\3c1 = (17.302u,3.889u);
  z36\0\3c2 = (15.973u,3.852u);
  z36\0\3 = (14.936u,3.854u);
  z36\0\4c1 = (12.591u,3.859u);
  z36\0\4c2 = (2.458u,4.117u);
  z36\1\0s = (1.241u,2.988u);
  z36\1\0 = (15.417u,3.130u);
  z36\1\1c1 = (15.995u,3.120u);
  z36\1\1c2 = (17.556u,3.008u);
  z36\1\1 = (17.063u,1.998u);
  z36\1\2c1 = (16.679u,1.211u);
  z36\1\2c2 = (14.282u,1.445u);
  z36\1\2 = (13.490u,1.446u);
  z36\1\3 = (2.409u,1.446u);
  z36\1\4c1 = (1.405u,1.465u);
  z36\1\4c2 = (-0.233u,1.918u);
  fill_or_unfill z36\0\0s
    ..controls z36\0\0c1 and z36\0\0c2..z36\0\0
    --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
    ..controls z36\0\4c1 and z36\0\4c2..cycle;
  fill_or_unfill z36\1\0s
    --z36\1\0
    ..controls z36\1\1c1 and z36\1\1c2..z36\1\1
    ..controls z36\1\2c1 and z36\1\2c2..z36\1\2
    --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\1\0,
    36\1\1,
    36\1\2,
    36\1\3,
    36\1\4,
);
endchar;

beginchar (37, 19.513u#, 5.300u#, 0.000u#);
  "X5";
  z37\0\0s = (1.204u,5.300u);
  z37\0\0 = (1.927u,3.372u);
  z37\0\1 = (0.000u,4.336u);
  z37\0\2c1 = (0.362u,3.631u);
  z37\0\2c2 = (0.851u,3.246u);
  z37\0\2 = (1.316u,2.628u);
  z37\0\3c1 = (2.467u,1.102u);
  z37\0\3c2 = (2.184u,0.737u);
  z37\0\3 = (4.336u,0.723u);
  z37\0\4 = (16.622u,0.723u);
  z37\0\5c1 = (17.659u,0.725u);
  z37\0\5c2 = (18.988u,0.688u);
  z37\0\5 = (19.355u,1.932u);
  z37\0\6c1 = (19.782u,3.380u);
  z37\0\6c2 = (18.172u,3.833u);
  z37\0\6 = (17.104u,3.854u);
  z37\0\7 = (5.059u,3.854u);
  z37\0\8c1 = (2.694u,3.870u);
  z37\0\8c2 = (3.081u,4.750u);
  z37\1\0s = (2.927u,2.988u);
  z37\1\0 = (17.104u,3.130u);
  z37\1\1c1 = (17.682u,3.120u);
  z37\1\1c2 = (19.243u,3.008u);
  z37\1\1 = (18.750u,1.998u);
  z37\1\2c1 = (18.365u,1.211u);
  z37\1\2c2 = (15.969u,1.445u);
  z37\1\2 = (15.177u,1.446u);
  z37\1\3 = (4.095u,1.446u);
  z37\1\4c1 = (3.091u,1.465u);
  z37\1\4c2 = (1.453u,1.918u);
  fill_or_unfill z37\0\0s
    --z37\0\0
    --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
    --z37\0\4
    ..controls z37\0\5c1 and z37\0\5c2..z37\0\5
    ..controls z37\0\6c1 and z37\0\6c2..z37\0\6
    --z37\0\7
    ..controls z37\0\8c1 and z37\0\8c2..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..z37\1\2
    --z37\1\3
    ..controls z37\1\4c1 and z37\1\4c2..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\1\0,
    37\1\1,
    37\1\2,
    37\1\3,
    37\1\4,
);
endchar;

beginchar (38, 10.840u#, 9.395u#, 0.000u#);
  "X6";
  z38\0\0s = (4.577u,9.292u);
  z38\0\0c1 = (-2.684u,8.081u);
  z38\0\0c2 = (-0.846u,-0.345u);
  z38\0\0 = (7.227u,0.768u);
  z38\0\1c1 = (12.544u,1.500u);
  z38\0\1c2 = (11.956u,10.202u);
  z38\1\0s = (7.227u,1.927u);
  z38\1\0 = (7.227u,4.818u);
  z38\1\1 = (3.854u,4.818u);
  z38\1\2 = (3.854u,1.927u);
  z38\1\3c1 = (0.141u,2.346u);
  z38\1\3c2 = (0.179u,6.979u);
  z38\1\3 = (3.133u,8.189u);
  z38\1\4c1 = (3.923u,8.513u);
  z38\1\4c2 = (4.938u,8.440u);
  z38\1\4 = (5.781u,8.430u);
  z38\1\5c1 = (10.852u,8.371u);
  z38\1\5c2 = (11.632u,2.424u);
  z38\2\0s = (6.504u,4.095u);
  z38\2\0 = (6.504u,1.445u);
  z38\2\1 = (4.577u,1.445u);
  z38\2\2 = (4.577u,4.095u);
  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..cycle;
  fill_or_unfill z38\1\0s
    --z38\1\0
    --z38\1\1
    --z38\1\2
    ..controls z38\1\3c1 and z38\1\3c2..z38\1\3
    ..controls z38\1\4c1 and z38\1\4c2..z38\1\4
    ..controls z38\1\5c1 and z38\1\5c2..cycle;
  fill_or_unfill z38\2\0s
    --z38\2\0
    --z38\2\1
    --z38\2\2
    --cycle;
  proof_labels (
    38\0\0,
    38\0\1,
    38\1\0,
    38\1\1,
    38\1\2,
    38\1\3,
    38\1\4,
    38\1\5,
    38\2\0,
    38\2\1,
    38\2\2,
    38\2\3,
);
endchar;

beginchar (39, 5.300u#, 8.431u#, 0.000u#);
  "X7";
  z39\0\0s = (0.000u,0.241u);
  z39\0\0 = (5.300u,0.241u);
  z39\0\1c1 = (5.300u,1.459u);
  z39\0\1c2 = (6.007u,8.953u);
  z39\0\1 = (3.879u,8.113u);
  z39\0\2c1 = (3.176u,7.836u);
  z39\0\2c2 = (2.877u,6.913u);
  z39\0\2 = (2.651u,6.263u);
  z39\0\3 = (1.957u,4.336u);
  z39\0\4c1 = (1.271u,2.766u);
  z39\0\4c2 = (0.062u,2.016u);
  z39\1\0s = (4.577u,7.468u);
  z39\1\0 = (4.577u,0.963u);
  z39\1\1 = (0.963u,0.963u);
  z39\1\2 = (2.488u,3.613u);
  z39\1\3 = (3.854u,7.468u);
  fill_or_unfill z39\0\0s
    --z39\0\0
    ..controls z39\0\1c1 and z39\0\1c2..z39\0\1
    ..controls z39\0\2c1 and z39\0\2c2..z39\0\2
    --z39\0\3
    ..controls z39\0\4c1 and z39\0\4c2..cycle;
  fill_or_unfill z39\1\0s
    --z39\1\0
    --z39\1\1
    --z39\1\2
    --z39\1\3
    --cycle;
  proof_labels (
    39\0\0,
    39\0\1,
    39\0\2,
    39\0\3,
    39\0\4,
    39\1\0,
    39\1\1,
    39\1\2,
    39\1\3,
    39\1\4,
);
endchar;

beginchar (40, 7.950u#, 16.140u#, 0.000u#);
  "X8";
  z40\0\0s = (3.372u,16.140u);
  z40\0\0 = (2.195u,11.081u);
  z40\0\1 = (0.000u,0.241u);
  z40\0\2 = (7.950u,0.241u);
  z40\0\3c1 = (7.832u,2.800u);
  z40\0\3c2 = (4.924u,13.699u);
  z40\0\3 = (3.854u,16.140u);
  z40\1\0s = (3.854u,14.213u);
  z40\1\0 = (6.353u,4.818u);
  z40\1\1 = (7.227u,0.963u);
  z40\1\2 = (5.715u,1.203u);
  z40\1\3 = (4.095u,6.504u);
  z40\1\4 = (3.613u,6.504u);
  z40\1\5 = (2.409u,0.963u);
  z40\1\6 = (0.723u,0.963u);
  z40\2\0s = (4.095u,4.336u);
  z40\2\0 = (4.818u,0.963u);
  z40\2\1 = (2.891u,0.963u);
  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
    --cycle;
  fill_or_unfill z40\1\0s
    --z40\1\0
    --z40\1\1
    --z40\1\2
    --z40\1\3
    --z40\1\4
    --z40\1\5
    --z40\1\6
    --cycle;
  fill_or_unfill z40\2\0s
    --z40\2\0
    --z40\2\1
    --cycle;
  proof_labels (
    40\0\0,
    40\0\1,
    40\0\2,
    40\0\3,
    40\0\4,
    40\1\0,
    40\1\1,
    40\1\2,
    40\1\3,
    40\1\4,
    40\1\5,
    40\1\6,
    40\1\7,
    40\2\0,
    40\2\1,
    40\2\2,
);
endchar;