beginchar (32, 10.600u#, 18.067u#, 0.000u#);
  "B1";
  z0\0\0s = (5.300u,5.781u);
  z0\0\0 = (2.541u,9.045u);
  z0\0\1c1 = (1.475u,9.725u);
  z0\0\1c2 = (0.486u,9.261u);
  z0\0\1 = (0.513u,7.961u);
  z0\0\2c1 = (0.543u,6.502u);
  z0\0\2c2 = (2.081u,4.161u);
  z0\0\2 = (1.840u,2.719u);
  z0\0\3c1 = (1.690u,1.830u);
  z0\0\3c2 = (0.542u,1.235u);
  z0\0\3 = (0.000u,0.482u);
  z0\0\4 = (9.877u,0.482u);
  z0\0\5c1 = (9.683u,0.985u);
  z0\0\5c2 = (9.281u,1.432u);
  z0\0\5 = (9.212u,1.967u);
  z0\0\6 = (9.702u,7.402u);
  z0\0\7 = (10.265u,8.525u);
  z0\0\8 = (10.476u,11.723u);
  z0\0\9c1 = (10.387u,12.849u);
  z0\0\9c2 = (10.488u,14.182u);
  z0\0\9 = (10.199u,15.258u);
  z0\0\10c1 = (9.384u,18.290u);
  z0\0\10c2 = (6.339u,19.376u);
  z0\0\10 = (4.886u,16.072u);
  z0\0\11c1 = (4.668u,15.575u);
  z0\0\11c2 = (4.373u,15.122u);
  z0\0\11 = (4.483u,14.556u);
  z0\0\12c1 = (4.756u,13.151u);
  z0\0\12c2 = (6.097u,13.496u);
  z0\0\12 = (6.357u,12.422u);
  z0\1\0s = (9.877u,9.154u);
  z0\1\0c1 = (8.855u,10.276u);
  z0\1\0c2 = (10.195u,13.030u);
  z0\1\0 = (7.709u,12.286u);
  z0\1\1c1 = (7.709u,13.402u);
  z0\1\1c2 = (8.783u,16.139u);
  z0\1\1 = (6.986u,15.658u);
  z0\1\2 = (6.022u,16.622u);
  z0\1\3 = (6.022u,17.104u);
  z0\1\4c1 = (10.660u,18.448u);
  z0\1\4c2 = (9.877u,12.076u);
  z0\2\0s = (5.781u,15.899u);
  z0\2\0 = (7.468u,14.936u);
  z0\2\1 = (6.986u,13.249u);
  z0\2\2 = (5.059u,14.936u);
  z0\2\3 = (6.263u,15.177u);
  z0\2\4 = (5.541u,15.658u);
  z0\3\0s = (8.913u,10.840u);
  z0\3\0 = (8.913u,5.541u);
  z0\3\1 = (8.431u,0.963u);
  z0\3\2 = (1.445u,0.963u);
  z0\3\3c1 = (3.728u,4.173u);
  z0\3\3c2 = (0.301u,7.458u);
  z0\3\3 = (1.245u,8.402u);
  z0\3\4c1 = (2.229u,9.386u);
  z0\3\4c2 = (4.673u,5.204u);
  z0\3\4 = (5.541u,4.577u);
  z0\3\5 = (6.745u,10.359u);
  z0\3\6 = (7.227u,8.191u);
  z0\3\7 = (8.431u,8.191u);
  z0\4\0s = (7.842u,9.510u);
  fill_or_unfill z0\0\0s
    --z0\0\0
    ..controls z0\0\1c1 and z0\0\1c2..z0\0\1
    ..controls z0\0\2c1 and z0\0\2c2..z0\0\2
    ..controls z0\0\3c1 and z0\0\3c2..z0\0\3
    --z0\0\4
    ..controls z0\0\5c1 and z0\0\5c2..z0\0\5
    --z0\0\6
    --z0\0\7
    --z0\0\8
    ..controls z0\0\9c1 and z0\0\9c2..z0\0\9
    ..controls z0\0\10c1 and z0\0\10c2..z0\0\10
    ..controls z0\0\11c1 and z0\0\11c2..z0\0\11
    ..controls z0\0\12c1 and z0\0\12c2..z0\0\12
    --cycle;
  fill_or_unfill z0\1\0s
    ..controls z0\1\0c1 and z0\1\0c2..z0\1\0
    ..controls z0\1\1c1 and z0\1\1c2..z0\1\1
    --z0\1\2
    --z0\1\3
    ..controls z0\1\4c1 and z0\1\4c2..cycle;
  fill_or_unfill z0\2\0s
    --z0\2\0
    --z0\2\1
    --z0\2\2
    --z0\2\3
    --z0\2\4
    --cycle;
  fill_or_unfill z0\3\0s
    --z0\3\0
    --z0\3\1
    --z0\3\2
    ..controls z0\3\3c1 and z0\3\3c2..z0\3\3
    ..controls z0\3\4c1 and z0\3\4c2..z0\3\4
    --z0\3\5
    --z0\3\6
    --z0\3\7
    --cycle;
  fill_or_unfill z0\4\0s
    --cycle;
  proof_labels (
    0\0\0,
    0\0\1,
    0\0\2,
    0\0\3,
    0\0\4,
    0\0\5,
    0\0\6,
    0\0\7,
    0\0\8,
    0\0\9,
    0\0\10,
    0\0\11,
    0\0\12,
    0\0\13,
    0\1\0,
    0\1\1,
    0\1\2,
    0\1\3,
    0\1\4,
    0\2\0,
    0\2\1,
    0\2\2,
    0\2\3,
    0\2\4,
    0\2\5,
    0\3\0,
    0\3\1,
    0\3\2,
    0\3\3,
    0\3\4,
    0\3\5,
    0\3\6,
    0\3\7,
    0\3\8,
    0\4\0,
);
endchar;

beginchar (33, 12.768u#, 18.308u#, 0.000u#);
  "B2";
  z1\0\0s = (6.022u,13.731u);
  z1\0\0 = (6.022u,13.009u);
  z1\0\1 = (3.945u,12.195u);
  z1\0\2 = (2.972u,8.832u);
  z1\0\3 = (0.241u,3.854u);
  z1\0\4 = (1.401u,4.182u);
  z1\0\5 = (4.359u,10.118u);
  z1\0\6c1 = (6.371u,8.588u);
  z1\0\6c2 = (5.048u,7.789u);
  z1\0\6 = (4.359u,6.216u);
  z1\0\7c1 = (4.173u,5.720u);
  z1\0\7c2 = (4.157u,5.003u);
  z1\0\7 = (3.842u,4.589u);
  z1\0\8 = (1.527u,3.050u);
  z1\0\9c1 = (-0.037u,1.417u);
  z1\0\9c2 = (1.762u,0.261u);
  z1\0\9 = (3.373u,0.242u);
  z1\0\10 = (7.469u,0.481u);
  z1\0\11c1 = (8.872u,0.497u);
  z1\0\11c2 = (11.924u,-0.116u);
  z1\0\11 = (12.768u,0.963u);
  z1\0\12 = (9.888u,2.420u);
  z1\0\13 = (9.636u,9.636u);
  z1\0\14 = (10.118u,9.636u);
  z1\0\15c1 = (11.384u,6.570u);
  z1\0\15c2 = (11.358u,6.617u);
  z1\0\15 = (10.118u,3.613u);
  z1\0\16 = (10.840u,2.650u);
  z1\0\17c1 = (12.683u,3.856u);
  z1\0\17c2 = (11.708u,7.464u);
  z1\0\17 = (11.488u,9.244u);
  z1\0\18 = (11.488u,11.282u);
  z1\0\19 = (10.840u,14.454u);
  z1\0\20 = (11.563u,14.454u);
  z1\0\21 = (10.359u,16.381u);
  z1\0\22 = (11.081u,17.586u);
  z1\0\23c1 = (9.872u,17.912u);
  z1\0\23c2 = (9.957u,17.187u);
  z1\0\23 = (9.231u,17.278u);
  z1\0\24c1 = (8.524u,17.367u);
  z1\0\24c2 = (8.203u,18.243u);
  z1\0\24 = (7.050u,18.162u);
  z1\0\25c1 = (4.522u,17.984u);
  z1\0\25c2 = (2.891u,13.915u);
  z1\1\0s = (10.840u,10.600u);
  z1\1\0 = (8.672u,10.359u);
  z1\1\1 = (8.223u,13.476u);
  z1\1\2 = (8.521u,15.750u);
  z1\1\3 = (6.263u,17.345u);
  z1\1\4c1 = (9.605u,17.313u);
  z1\1\4c2 = (10.704u,13.444u);
  z1\2\0s = (6.504u,16.140u);
  z1\2\0 = (7.950u,15.658u);
  z1\2\1 = (7.538u,13.704u);
  z1\2\2 = (7.733u,10.864u);
  z1\2\3 = (8.672u,8.190u);
  z1\2\4 = (8.672u,1.927u);
  z1\2\5 = (9.877u,1.204u);
  z1\2\6c1 = (8.550u,1.204u);
  z1\2\6c2 = (1.460u,0.208u);
  z1\2\6 = (1.800u,2.102u);
  z1\2\7c1 = (1.967u,3.036u);
  z1\2\7c2 = (3.904u,3.482u);
  z1\2\7 = (4.485u,4.187u);
  z1\2\8c1 = (4.889u,4.676u);
  z1\2\8c2 = (4.748u,5.316u);
  z1\2\8 = (4.966u,5.874u);
  z1\2\9c1 = (5.261u,6.625u);
  z1\2\9c2 = (6.057u,7.151u);
  z1\2\9 = (6.163u,8.006u);
  z1\2\10c1 = (6.294u,9.070u);
  z1\2\10c2 = (4.835u,10.846u);
  z1\2\10 = (4.577u,12.045u);
  z1\2\11c1 = (6.364u,12.459u);
  z1\2\11c2 = (6.872u,12.260u);
  z1\2\11 = (6.745u,14.213u);
  z1\2\12c1 = (5.591u,14.401u);
  z1\2\12c2 = (5.211u,14.416u);
  z1\2\12 = (5.059u,15.658u);
  fill_or_unfill z1\0\0s
    --z1\0\0
    --z1\0\1
    --z1\0\2
    --z1\0\3
    --z1\0\4
    --z1\0\5
    ..controls z1\0\6c1 and z1\0\6c2..z1\0\6
    ..controls z1\0\7c1 and z1\0\7c2..z1\0\7
    --z1\0\8
    ..controls z1\0\9c1 and z1\0\9c2..z1\0\9
    --z1\0\10
    ..controls z1\0\11c1 and z1\0\11c2..z1\0\11
    --z1\0\12
    --z1\0\13
    --z1\0\14
    ..controls z1\0\15c1 and z1\0\15c2..z1\0\15
    --z1\0\16
    ..controls z1\0\17c1 and z1\0\17c2..z1\0\17
    --z1\0\18
    --z1\0\19
    --z1\0\20
    --z1\0\21
    --z1\0\22
    ..controls z1\0\23c1 and z1\0\23c2..z1\0\23
    ..controls z1\0\24c1 and z1\0\24c2..z1\0\24
    ..controls z1\0\25c1 and z1\0\25c2..cycle;
  fill_or_unfill z1\1\0s
    --z1\1\0
    --z1\1\1
    --z1\1\2
    --z1\1\3
    ..controls z1\1\4c1 and z1\1\4c2..cycle;
  fill_or_unfill z1\2\0s
    --z1\2\0
    --z1\2\1
    --z1\2\2
    --z1\2\3
    --z1\2\4
    --z1\2\5
    ..controls z1\2\6c1 and z1\2\6c2..z1\2\6
    ..controls z1\2\7c1 and z1\2\7c2..z1\2\7
    ..controls z1\2\8c1 and z1\2\8c2..z1\2\8
    ..controls z1\2\9c1 and z1\2\9c2..z1\2\9
    ..controls z1\2\10c1 and z1\2\10c2..z1\2\10
    ..controls z1\2\11c1 and z1\2\11c2..z1\2\11
    ..controls z1\2\12c1 and z1\2\12c2..z1\2\12
    --cycle;
  proof_labels (
    1\0\0,
    1\0\1,
    1\0\2,
    1\0\3,
    1\0\4,
    1\0\5,
    1\0\6,
    1\0\7,
    1\0\8,
    1\0\9,
    1\0\10,
    1\0\11,
    1\0\12,
    1\0\13,
    1\0\14,
    1\0\15,
    1\0\16,
    1\0\17,
    1\0\18,
    1\0\19,
    1\0\20,
    1\0\21,
    1\0\22,
    1\0\23,
    1\0\24,
    1\0\25,
    1\1\0,
    1\1\1,
    1\1\2,
    1\1\3,
    1\1\4,
    1\2\0,
    1\2\1,
    1\2\2,
    1\2\3,
    1\2\4,
    1\2\5,
    1\2\6,
    1\2\7,
    1\2\8,
    1\2\9,
    1\2\10,
    1\2\11,
    1\2\12,
    1\2\13,
);
endchar;

beginchar (34, 11.563u#, 18.067u#, 0.000u#);
  "B3";
  z2\0\0s = (4.577u,13.490u);
  z2\0\0c1 = (2.099u,12.527u);
  z2\0\0c2 = (2.099u,10.183u);
  z2\0\0 = (1.259u,8.136u);
  z2\0\1c1 = (0.849u,7.139u);
  z2\0\1c2 = (0.170u,7.086u);
  z2\0\1 = (0.482u,5.781u);
  z2\0\2c1 = (3.432u,7.025u);
  z2\0\2c2 = (1.393u,10.400u);
  z2\0\2 = (4.336u,11.563u);
  z2\0\3c1 = (4.870u,10.550u);
  z2\0\3c2 = (6.540u,7.937u);
  z2\0\3 = (5.137u,6.908u);
  z2\0\4 = (2.421u,5.770u);
  z2\0\5 = (1.325u,4.697u);
  z2\0\6c1 = (0.550u,4.106u);
  z2\0\6c2 = (0.293u,4.543u);
  z2\0\6 = (0.000u,3.372u);
  z2\0\7 = (3.613u,3.372u);
  z2\0\8c1 = (3.311u,1.827u);
  z2\0\8c2 = (4.266u,0.895u);
  z2\0\8 = (5.781u,0.723u);
  z2\0\9 = (5.541u,1.927u);
  z2\0\10c1 = (4.595u,2.043u);
  z2\0\10c2 = (4.309u,2.131u);
  z2\0\10 = (4.577u,3.132u);
  z2\0\11c1 = (5.553u,2.274u);
  z2\0\11c2 = (6.791u,1.412u);
  z2\0\11 = (7.227u,3.372u);
  z2\0\12c1 = (8.884u,2.081u);
  z2\0\12c2 = (6.335u,2.019u);
  z2\0\12 = (6.022u,0.723u);
  z2\0\13c1 = (8.043u,0.827u);
  z2\0\13c2 = (8.998u,1.645u);
  z2\0\13 = (8.431u,3.613u);
  z2\0\14 = (10.840u,3.854u);
  z2\0\15 = (9.587u,4.769u);
  z2\0\16c1 = (9.031u,5.249u);
  z2\0\16c2 = (9.098u,7.021u);
  z2\0\16 = (9.037u,7.790u);
  z2\0\17c1 = (8.997u,8.289u);
  z2\0\17c2 = (9.166u,11.225u);
  z2\0\17 = (10.286u,10.039u);
  z2\0\18c1 = (11.351u,8.911u);
  z2\0\18c2 = (9.638u,6.352u);
  z2\0\18 = (10.118u,4.818u);
  z2\0\19c1 = (10.581u,5.120u);
  z2\0\19c2 = (11.156u,5.429u);
  z2\0\19 = (11.368u,5.967u);
  z2\0\20c1 = (11.614u,6.579u);
  z2\0\20c2 = (11.364u,7.091u);
  z2\0\20 = (11.368u,7.709u);
  z2\0\21 = (11.518u,9.834u);
  z2\0\22c1 = (11.419u,10.632u);
  z2\0\22c2 = (10.966u,11.398u);
  z2\0\22 = (10.714u,12.159u);
  z2\0\23c1 = (10.003u,14.304u);
  z2\0\23c2 = (10.054u,16.143u);
  z2\0\23 = (7.985u,17.621u);
  z2\0\24c1 = (6.389u,18.760u);
  z2\0\24c2 = (4.079u,17.517u);
  z2\0\24 = (3.908u,15.624u);
  z2\0\25c1 = (3.830u,14.766u);
  z2\0\25c2 = (4.299u,14.243u);
  z2\1\0s = (7.950u,16.622u);
  z2\1\0 = (5.541u,17.345u);
  z2\1\1c1 = (6.565u,17.478u);
  z2\1\1c2 = (7.326u,17.603u);
  z2\2\0s = (6.022u,16.140u);
  z2\2\0 = (7.709u,15.899u);
  z2\2\1c1 = (7.119u,14.223u);
  z2\2\1c2 = (6.911u,12.090u);
  z2\2\1 = (7.468u,10.359u);
  z2\2\2 = (7.950u,10.359u);
  z2\2\3 = (8.191u,13.009u);
  z2\2\4c1 = (8.568u,12.912u);
  z2\2\4c2 = (8.906u,12.894u);
  z2\2\4 = (9.033u,12.450u);
  z2\2\5 = (8.431u,7.950u);
  z2\2\6c1 = (8.430u,7.225u);
  z2\2\6c2 = (8.539u,5.644u);
  z2\2\6 = (8.204u,5.045u);
  z2\2\7c1 = (7.638u,4.034u);
  z2\2\7c2 = (3.226u,3.996u);
  z2\2\7 = (2.168u,4.336u);
  z2\2\8c1 = (3.241u,7.054u);
  z2\2\8c2 = (6.447u,4.400u);
  z2\2\8 = (6.254u,8.663u);
  z2\2\9c1 = (6.179u,10.324u);
  z2\2\9c2 = (5.074u,11.368u);
  z2\2\9 = (4.818u,13.009u);
  z2\2\10 = (5.379u,13.169u);
  z2\2\11c1 = (7.091u,13.860u);
  z2\2\11c2 = (5.075u,14.317u);
  z2\2\11 = (4.652u,14.770u);
  z2\2\12c1 = (4.422u,15.016u);
  z2\2\12c2 = (4.398u,15.348u);
  z2\2\12 = (4.336u,15.658u);
  z2\3\0s = (8.913u,15.899u);
  z2\3\0 = (9.636u,13.249u);
  z2\3\1c1 = (7.445u,14.316u);
  z2\3\1c2 = (7.794u,13.742u);
  z2\3\1 = (8.431u,15.899u);
  z2\4\0s = (6.504u,3.613u);
  z2\4\0 = (6.504u,2.891u);
  z2\4\1 = (5.781u,2.891u);
  z2\4\2 = (5.781u,3.613u);
  fill_or_unfill z2\0\0s
    ..controls z2\0\0c1 and z2\0\0c2..z2\0\0
    ..controls z2\0\1c1 and z2\0\1c2..z2\0\1
    ..controls z2\0\2c1 and z2\0\2c2..z2\0\2
    ..controls z2\0\3c1 and z2\0\3c2..z2\0\3
    --z2\0\4
    --z2\0\5
    ..controls z2\0\6c1 and z2\0\6c2..z2\0\6
    --z2\0\7
    ..controls z2\0\8c1 and z2\0\8c2..z2\0\8
    --z2\0\9
    ..controls z2\0\10c1 and z2\0\10c2..z2\0\10
    ..controls z2\0\11c1 and z2\0\11c2..z2\0\11
    ..controls z2\0\12c1 and z2\0\12c2..z2\0\12
    ..controls z2\0\13c1 and z2\0\13c2..z2\0\13
    --z2\0\14
    --z2\0\15
    ..controls z2\0\16c1 and z2\0\16c2..z2\0\16
    ..controls z2\0\17c1 and z2\0\17c2..z2\0\17
    ..controls z2\0\18c1 and z2\0\18c2..z2\0\18
    ..controls z2\0\19c1 and z2\0\19c2..z2\0\19
    ..controls z2\0\20c1 and z2\0\20c2..z2\0\20
    --z2\0\21
    ..controls z2\0\22c1 and z2\0\22c2..z2\0\22
    ..controls z2\0\23c1 and z2\0\23c2..z2\0\23
    ..controls z2\0\24c1 and z2\0\24c2..z2\0\24
    ..controls z2\0\25c1 and z2\0\25c2..cycle;
  fill_or_unfill z2\1\0s
    --z2\1\0
    ..controls z2\1\1c1 and z2\1\1c2..cycle;
  fill_or_unfill z2\2\0s
    --z2\2\0
    ..controls z2\2\1c1 and z2\2\1c2..z2\2\1
    --z2\2\2
    --z2\2\3
    ..controls z2\2\4c1 and z2\2\4c2..z2\2\4
    --z2\2\5
    ..controls z2\2\6c1 and z2\2\6c2..z2\2\6
    ..controls z2\2\7c1 and z2\2\7c2..z2\2\7
    ..controls z2\2\8c1 and z2\2\8c2..z2\2\8
    ..controls z2\2\9c1 and z2\2\9c2..z2\2\9
    --z2\2\10
    ..controls z2\2\11c1 and z2\2\11c2..z2\2\11
    ..controls z2\2\12c1 and z2\2\12c2..z2\2\12
    --cycle;
  fill_or_unfill z2\3\0s
    --z2\3\0
    ..controls z2\3\1c1 and z2\3\1c2..z2\3\1
    --cycle;
  fill_or_unfill z2\4\0s
    --z2\4\0
    --z2\4\1
    --z2\4\2
    --cycle;
  proof_labels (
    2\0\0,
    2\0\1,
    2\0\2,
    2\0\3,
    2\0\4,
    2\0\5,
    2\0\6,
    2\0\7,
    2\0\8,
    2\0\9,
    2\0\10,
    2\0\11,
    2\0\12,
    2\0\13,
    2\0\14,
    2\0\15,
    2\0\16,
    2\0\17,
    2\0\18,
    2\0\19,
    2\0\20,
    2\0\21,
    2\0\22,
    2\0\23,
    2\0\24,
    2\0\25,
    2\1\0,
    2\1\1,
    2\2\0,
    2\2\1,
    2\2\2,
    2\2\3,
    2\2\4,
    2\2\5,
    2\2\6,
    2\2\7,
    2\2\8,
    2\2\9,
    2\2\10,
    2\2\11,
    2\2\12,
    2\2\13,
    2\3\0,
    2\3\1,
    2\3\2,
    2\4\0,
    2\4\1,
    2\4\2,
    2\4\3,
);
endchar;

beginchar (35, 9.636u#, 17.826u#, 0.000u#);
  "B4";
  z3\0\0s = (4.818u,13.972u);
  z3\0\0c1 = (2.649u,12.829u);
  z3\0\0c2 = (3.628u,11.851u);
  z3\0\0 = (2.685u,10.083u);
  z3\0\1c1 = (1.862u,8.539u);
  z3\0\1c2 = (1.449u,9.133u);
  z3\0\1 = (0.613u,8.307u);
  z3\0\2c1 = (0.221u,7.920u);
  z3\0\2c2 = (0.399u,7.544u);
  z3\0\2 = (0.319u,7.068u);
  z3\0\3c1 = (-0.083u,4.682u);
  z3\0\3c2 = (0.755u,4.902u);
  z3\0\3 = (2.891u,4.577u);
  z3\0\4 = (2.530u,1.427u);
  z3\0\5c1 = (2.572u,0.762u);
  z3\0\5c2 = (3.331u,0.632u);
  z3\0\5 = (3.607u,1.138u);
  z3\0\6 = (3.607u,4.577u);
  z3\0\7c1 = (5.202u,4.172u);
  z3\0\7c2 = (4.348u,1.986u);
  z3\0\7 = (4.336u,0.723u);
  z3\0\8c1 = (6.122u,1.008u);
  z3\0\8c2 = (5.025u,3.183u);
  z3\0\8 = (5.300u,4.577u);
  z3\0\9c1 = (6.949u,4.156u);
  z3\0\9c2 = (6.057u,2.154u);
  z3\0\9 = (5.781u,0.963u);
  z3\0\10 = (7.227u,0.963u);
  z3\0\11c1 = (6.226u,5.524u);
  z3\0\11c2 = (6.727u,3.883u);
  z3\0\11 = (9.636u,4.818u);
  z3\0\12 = (9.636u,5.300u);
  z3\0\13 = (8.431u,5.781u);
  z3\0\14c1 = (9.337u,7.598u);
  z3\0\14c2 = (8.581u,7.885u);
  z3\0\14 = (8.979u,9.570u);
  z3\0\15 = (9.585u,10.891u);
  z3\0\16c1 = (9.801u,12.051u);
  z3\0\16c2 = (9.386u,13.290u);
  z3\0\16 = (9.106u,14.406u);
  z3\0\17c1 = (7.490u,20.857u);
  z3\0\17c2 = (2.142u,16.425u);
  z3\1\0s = (8.672u,13.249u);
  z3\1\0 = (6.745u,13.972u);
  z3\1\1c1 = (7.261u,16.814u);
  z3\1\1c2 = (7.181u,15.271u);
  z3\1\1 = (5.300u,16.863u);
  z3\1\2c1 = (7.855u,17.892u);
  z3\1\2c2 = (8.495u,15.244u);
  z3\2\0s = (6.504u,15.417u);
  z3\2\0 = (6.022u,14.213u);
  z3\2\1 = (4.577u,15.417u);
  z3\3\0s = (5.981u,13.972u);
  z3\3\0 = (5.981u,11.102u);
  z3\3\1 = (6.414u,10.028u);
  z3\3\2 = (6.667u,7.890u);
  z3\3\3 = (6.504u,5.551u);
  z3\3\4 = (7.709u,5.551u);
  z3\3\5 = (1.235u,5.551u);
  z3\3\6 = (0.723u,6.504u);
  z3\3\7c1 = (3.370u,7.175u);
  z3\3\7c2 = (5.219u,6.953u);
  z3\3\7 = (5.026u,10.344u);
  z3\3\8c1 = (4.979u,11.173u);
  z3\3\8c2 = (4.087u,12.043u);
  z3\3\8 = (4.507u,12.844u);
  z3\4\0s = (7.668u,12.976u);
  z3\5\0s = (7.709u,11.322u);
  z3\5\0c1 = (7.891u,9.261u);
  z3\5\0c2 = (8.641u,8.526u);
  z3\5\0 = (7.468u,6.504u);
  z3\5\1c1 = (7.090u,7.679u);
  z3\5\1c2 = (6.980u,10.299u);
  z3\6\0s = (4.336u,10.840u);
  z3\6\0c1 = (4.276u,8.138u);
  z3\6\0c2 = (4.240u,8.248u);
  z3\6\0 = (1.927u,7.468u);
  fill_or_unfill z3\0\0s
    ..controls z3\0\0c1 and z3\0\0c2..z3\0\0
    ..controls z3\0\1c1 and z3\0\1c2..z3\0\1
    ..controls z3\0\2c1 and z3\0\2c2..z3\0\2
    ..controls z3\0\3c1 and z3\0\3c2..z3\0\3
    --z3\0\4
    ..controls z3\0\5c1 and z3\0\5c2..z3\0\5
    --z3\0\6
    ..controls z3\0\7c1 and z3\0\7c2..z3\0\7
    ..controls z3\0\8c1 and z3\0\8c2..z3\0\8
    ..controls z3\0\9c1 and z3\0\9c2..z3\0\9
    --z3\0\10
    ..controls z3\0\11c1 and z3\0\11c2..z3\0\11
    --z3\0\12
    --z3\0\13
    ..controls z3\0\14c1 and z3\0\14c2..z3\0\14
    --z3\0\15
    ..controls z3\0\16c1 and z3\0\16c2..z3\0\16
    ..controls z3\0\17c1 and z3\0\17c2..cycle;
  fill_or_unfill z3\1\0s
    --z3\1\0
    ..controls z3\1\1c1 and z3\1\1c2..z3\1\1
    ..controls z3\1\2c1 and z3\1\2c2..cycle;
  fill_or_unfill z3\2\0s
    --z3\2\0
    --z3\2\1
    --cycle;
  fill_or_unfill z3\3\0s
    --z3\3\0
    --z3\3\1
    --z3\3\2
    --z3\3\3
    --z3\3\4
    --z3\3\5
    --z3\3\6
    ..controls z3\3\7c1 and z3\3\7c2..z3\3\7
    ..controls z3\3\8c1 and z3\3\8c2..z3\3\8
    --cycle;
  fill_or_unfill z3\4\0s
    --cycle;
  fill_or_unfill z3\5\0s
    ..controls z3\5\0c1 and z3\5\0c2..z3\5\0
    ..controls z3\5\1c1 and z3\5\1c2..cycle;
  fill_or_unfill z3\6\0s
    ..controls z3\6\0c1 and z3\6\0c2..z3\6\0
    --cycle;
  proof_labels (
    3\0\0,
    3\0\1,
    3\0\2,
    3\0\3,
    3\0\4,
    3\0\5,
    3\0\6,
    3\0\7,
    3\0\8,
    3\0\9,
    3\0\10,
    3\0\11,
    3\0\12,
    3\0\13,
    3\0\14,
    3\0\15,
    3\0\16,
    3\0\17,
    3\1\0,
    3\1\1,
    3\1\2,
    3\2\0,
    3\2\1,
    3\2\2,
    3\3\0,
    3\3\1,
    3\3\2,
    3\3\3,
    3\3\4,
    3\3\5,
    3\3\6,
    3\3\7,
    3\3\8,
    3\3\9,
    3\4\0,
    3\5\0,
    3\5\1,
    3\6\0,
    3\6\1,
);
endchar;

beginchar (36, 13.009u#, 18.308u#, 0.000u#);
  "B5";
  z4\0\0s = (5.059u,13.731u);
  z4\0\0 = (2.633u,13.026u);
  z4\0\1c1 = (1.130u,12.134u);
  z4\0\1c2 = (0.150u,8.632u);
  z4\0\1 = (0.000u,6.986u);
  z4\0\2 = (1.927u,7.227u);
  z4\0\3 = (2.333u,4.634u);
  z4\0\4 = (0.046u,2.166u);
  z4\0\5 = (0.719u,0.960u);
  z4\0\6 = (12.286u,0.723u);
  z4\0\7 = (9.807u,2.562u);
  z4\0\8 = (9.636u,6.986u);
  z4\0\9c1 = (10.280u,6.955u);
  z4\0\9c2 = (12.271u,6.450u);
  z4\0\9 = (12.672u,6.852u);
  z4\0\10c1 = (13.218u,7.398u);
  z4\0\10c2 = (12.412u,9.136u);
  z4\0\10 = (12.195u,9.786u);
  z4\0\11c1 = (11.871u,10.759u);
  z4\0\11c2 = (11.585u,11.560u);
  z4\0\11 = (10.920u,12.365u);
  z4\0\12 = (9.833u,13.447u);
  z4\0\13c1 = (8.996u,14.953u);
  z4\0\13c2 = (9.719u,17.041u);
  z4\0\13 = (7.688u,18.046u);
  z4\0\14c1 = (4.865u,19.443u);
  z4\0\14c2 = (2.034u,14.907u);
  z4\1\0s = (7.709u,10.600u);
  z4\1\0 = (6.745u,10.600u);
  z4\1\1 = (6.966u,14.715u);
  z4\1\2 = (7.370u,16.328u);
  z4\1\3 = (5.300u,16.863u);
  z4\1\4 = (5.300u,17.345u);
  z4\1\5c1 = (7.204u,17.759u);
  z4\1\5c2 = (9.245u,16.774u);
  z4\1\5 = (8.859u,14.501u);
  z4\1\6c1 = (8.716u,13.657u);
  z4\1\6c2 = (8.128u,13.745u);
  z4\1\6 = (7.858u,13.100u);
  z4\1\7c1 = (7.639u,12.574u);
  z4\1\7c2 = (7.709u,11.214u);
  z4\2\0s = (6.504u,15.658u);
  z4\2\0 = (6.022u,10.840u);
  z4\2\1 = (3.132u,12.286u);
  z4\2\2c1 = (3.869u,12.811u);
  z4\2\2c2 = (5.964u,12.665u);
  z4\2\2 = (5.660u,13.898u);
  z4\2\3c1 = (5.445u,14.775u);
  z4\2\3c2 = (4.278u,14.269u);
  z4\2\3 = (4.577u,15.658u);
  z4\2\4 = (5.541u,15.899u);
  z4\3\0s = (10.600u,11.322u);
  z4\3\0c1 = (9.049u,10.949u);
  z4\3\0c2 = (9.193u,9.225u);
  z4\3\0 = (8.672u,7.950u);
  z4\3\1c1 = (7.174u,8.333u);
  z4\3\1c2 = (7.165u,8.557u);
  z4\3\1 = (6.504u,9.877u);
  z4\3\2c1 = (8.850u,9.906u);
  z4\3\2c2 = (8.431u,10.754u);
  z4\3\2 = (8.431u,12.768u);
  z4\3\3c1 = (9.720u,12.701u);
  z4\3\3c2 = (10.203u,12.623u);
  z4\4\0s = (3.132u,11.563u);
  z4\4\0 = (3.372u,10.359u);
  z4\5\0s = (2.168u,10.840u);
  z4\5\0 = (2.650u,10.118u);
  z4\5\1 = (0.963u,7.950u);
  z4\5\2 = (1.686u,10.840u);
  z4\6\0s = (10.600u,10.359u);
  z4\6\0 = (11.563u,7.950u);
  z4\6\1c1 = (9.439u,7.970u);
  z4\6\1c2 = (9.342u,8.461u);
  z4\6\1 = (10.118u,10.359u);
  z4\7\0s = (3.613u,9.877u);
  z4\7\0c1 = (3.909u,9.541u);
  z4\7\0c2 = (4.344u,9.257u);
  z4\7\0 = (4.482u,8.818u);
  z4\7\1c1 = (4.970u,7.268u);
  z4\7\1c2 = (3.733u,5.964u);
  z4\7\1 = (6.022u,5.541u);
  z4\7\2c1 = (3.785u,4.288u);
  z4\7\2c2 = (4.004u,6.550u);
  z4\7\2 = (3.783u,7.878u);
  z4\7\3c1 = (3.642u,8.723u);
  z4\7\3c2 = (3.299u,8.992u);
  z4\8\0s = (5.541u,8.672u);
  z4\8\0 = (5.541u,6.745u);
  z4\8\1c1 = (6.190u,6.804u);
  z4\8\1c2 = (7.830u,7.392u);
  z4\8\1 = (8.283u,7.236u);
  z4\8\2c1 = (8.997u,6.991u);
  z4\8\2c2 = (9.932u,3.128u);
  z4\8\2 = (7.950u,2.650u);
  z4\8\3c1 = (7.943u,3.338u);
  z4\8\3c2 = (7.882u,4.981u);
  z4\8\3 = (7.455u,5.528u);
  z4\8\4c1 = (6.739u,6.447u);
  z4\8\4c2 = (3.819u,6.252u);
  z4\9\0s = (3.132u,7.950u);
  z4\9\0 = (3.132u,5.781u);
  z4\9\1c1 = (2.591u,6.540u);
  z4\9\1c2 = (2.474u,7.227u);
  z4\10\0s = (3.372u,5.541u);
  z4\11\0s = (6.263u,4.336u);
  z4\11\0c1 = (6.173u,0.681u);
  z4\11\0c2 = (2.921u,3.688u);
  z4\11\0 = (1.927u,1.686u);
  z4\11\1 = (5.781u,1.686u);
  z4\11\2c1 = (5.125u,1.426u);
  z4\11\2c2 = (4.555u,1.446u);
  z4\11\2 = (3.854u,1.445u);
  z4\11\3c1 = (3.205u,1.444u);
  z4\11\3c2 = (1.237u,1.296u);
  z4\11\3 = (0.808u,1.752u);
  z4\11\4c1 = (0.050u,2.557u);
  z4\11\4c2 = (2.371u,3.623u);
  z4\11\4 = (2.926u,3.642u);
  z4\11\5c1 = (3.217u,3.652u);
  z4\11\5c2 = (3.579u,3.464u);
  z4\11\5 = (3.854u,3.372u);
  z4\11\6c1 = (4.328u,4.554u);
  z4\11\6c2 = (5.149u,4.333u);
  z4\12\0s = (7.227u,3.132u);
  z4\13\0s = (9.877u,1.686u);
  z4\13\0 = (8.672u,1.445u);
  z4\13\1 = (8.672u,1.927u);
  z4\14\0s = (7.227u,1.686u);
  fill_or_unfill z4\0\0s
    --z4\0\0
    ..controls z4\0\1c1 and z4\0\1c2..z4\0\1
    --z4\0\2
    --z4\0\3
    --z4\0\4
    --z4\0\5
    --z4\0\6
    --z4\0\7
    --z4\0\8
    ..controls z4\0\9c1 and z4\0\9c2..z4\0\9
    ..controls z4\0\10c1 and z4\0\10c2..z4\0\10
    ..controls z4\0\11c1 and z4\0\11c2..z4\0\11
    --z4\0\12
    ..controls z4\0\13c1 and z4\0\13c2..z4\0\13
    ..controls z4\0\14c1 and z4\0\14c2..cycle;
  fill_or_unfill z4\1\0s
    --z4\1\0
    --z4\1\1
    --z4\1\2
    --z4\1\3
    --z4\1\4
    ..controls z4\1\5c1 and z4\1\5c2..z4\1\5
    ..controls z4\1\6c1 and z4\1\6c2..z4\1\6
    ..controls z4\1\7c1 and z4\1\7c2..cycle;
  fill_or_unfill z4\2\0s
    --z4\2\0
    --z4\2\1
    ..controls z4\2\2c1 and z4\2\2c2..z4\2\2
    ..controls z4\2\3c1 and z4\2\3c2..z4\2\3
    --z4\2\4
    --cycle;
  fill_or_unfill z4\3\0s
    ..controls z4\3\0c1 and z4\3\0c2..z4\3\0
    ..controls z4\3\1c1 and z4\3\1c2..z4\3\1
    ..controls z4\3\2c1 and z4\3\2c2..z4\3\2
    ..controls z4\3\3c1 and z4\3\3c2..cycle;
  fill_or_unfill z4\4\0s
    --z4\4\0
    --cycle;
  fill_or_unfill z4\5\0s
    --z4\5\0
    --z4\5\1
    --z4\5\2
    --cycle;
  fill_or_unfill z4\6\0s
    --z4\6\0
    ..controls z4\6\1c1 and z4\6\1c2..z4\6\1
    --cycle;
  fill_or_unfill z4\7\0s
    ..controls z4\7\0c1 and z4\7\0c2..z4\7\0
    ..controls z4\7\1c1 and z4\7\1c2..z4\7\1
    ..controls z4\7\2c1 and z4\7\2c2..z4\7\2
    ..controls z4\7\3c1 and z4\7\3c2..cycle;
  fill_or_unfill z4\8\0s
    --z4\8\0
    ..controls z4\8\1c1 and z4\8\1c2..z4\8\1
    ..controls z4\8\2c1 and z4\8\2c2..z4\8\2
    ..controls z4\8\3c1 and z4\8\3c2..z4\8\3
    ..controls z4\8\4c1 and z4\8\4c2..cycle;
  fill_or_unfill z4\9\0s
    --z4\9\0
    ..controls z4\9\1c1 and z4\9\1c2..cycle;
  fill_or_unfill z4\10\0s
    --cycle;
  fill_or_unfill z4\11\0s
    ..controls z4\11\0c1 and z4\11\0c2..z4\11\0
    --z4\11\1
    ..controls z4\11\2c1 and z4\11\2c2..z4\11\2
    ..controls z4\11\3c1 and z4\11\3c2..z4\11\3
    ..controls z4\11\4c1 and z4\11\4c2..z4\11\4
    ..controls z4\11\5c1 and z4\11\5c2..z4\11\5
    ..controls z4\11\6c1 and z4\11\6c2..cycle;
  fill_or_unfill z4\12\0s
    --cycle;
  fill_or_unfill z4\13\0s
    --z4\13\0
    --z4\13\1
    --cycle;
  fill_or_unfill z4\14\0s
    --cycle;
  proof_labels (
    4\0\0,
    4\0\1,
    4\0\2,
    4\0\3,
    4\0\4,
    4\0\5,
    4\0\6,
    4\0\7,
    4\0\8,
    4\0\9,
    4\0\10,
    4\0\11,
    4\0\12,
    4\0\13,
    4\0\14,
    4\1\0,
    4\1\1,
    4\1\2,
    4\1\3,
    4\1\4,
    4\1\5,
    4\1\6,
    4\1\7,
    4\2\0,
    4\2\1,
    4\2\2,
    4\2\3,
    4\2\4,
    4\2\5,
    4\3\0,
    4\3\1,
    4\3\2,
    4\3\3,
    4\4\0,
    4\4\1,
    4\5\0,
    4\5\1,
    4\5\2,
    4\5\3,
    4\6\0,
    4\6\1,
    4\6\2,
    4\7\0,
    4\7\1,
    4\7\2,
    4\7\3,
    4\8\0,
    4\8\1,
    4\8\2,
    4\8\3,
    4\8\4,
    4\9\0,
    4\9\1,
    4\10\0,
    4\11\0,
    4\11\1,
    4\11\2,
    4\11\3,
    4\11\4,
    4\11\5,
    4\11\6,
    4\12\0,
    4\13\0,
    4\13\1,
    4\13\2,
    4\14\0,
);
endchar;

beginchar (37, 12.286u#, 18.308u#, 0.000u#);
  "B6";
  z5\0\0s = (6.986u,14.213u);
  z5\0\0 = (5.541u,12.045u);
  z5\0\1 = (3.372u,13.009u);
  z5\0\2c1 = (4.504u,14.952u);
  z5\0\2c2 = (1.698u,15.586u);
  z5\0\2 = (0.937u,14.724u);
  z5\0\3c1 = (-0.027u,13.633u);
  z5\0\3c2 = (1.466u,13.028u);
  z5\0\3 = (1.473u,12.319u);
  z5\0\4 = (0.803u,10.056u);
  z5\0\5c1 = (0.763u,9.709u);
  z5\0\5c2 = (1.609u,6.786u);
  z5\0\5 = (1.787u,6.605u);
  z5\0\6c1 = (2.028u,6.361u);
  z5\0\6c2 = (2.336u,6.333u);
  z5\0\6 = (2.650u,6.263u);
  z5\0\7 = (1.604u,2.009u);
  z5\0\8 = (0.000u,1.445u);
  z5\0\9 = (1.687u,0.964u);
  z5\0\10 = (4.161u,1.132u);
  z5\0\11 = (5.059u,5.541u);
  z5\0\12 = (5.300u,0.963u);
  z5\0\13 = (11.081u,0.963u);
  z5\0\14c1 = (11.081u,2.241u);
  z5\0\14c2 = (10.492u,4.904u);
  z5\0\14 = (12.045u,5.300u);
  z5\0\15c1 = (12.107u,6.596u);
  z5\0\15c2 = (13.034u,10.482u);
  z5\0\15 = (10.359u,8.913u);
  z5\0\16 = (10.359u,11.322u);
  z5\0\17c1 = (10.802u,11.327u);
  z5\0\17c2 = (11.678u,11.266u);
  z5\0\17 = (12.060u,11.598u);
  z5\0\18c1 = (12.437u,12.025u);
  z5\0\18c2 = (12.198u,13.028u);
  z5\0\18 = (12.060u,13.555u);
  z5\0\19c1 = (11.888u,14.891u);
  z5\0\19c2 = (11.473u,16.484u);
  z5\0\19 = (10.527u,17.513u);
  z5\0\20c1 = (8.955u,19.223u);
  z5\0\20c2 = (6.907u,17.980u);
  z5\0\20 = (6.490u,16.001u);
  z5\0\21c1 = (6.374u,15.450u);
  z5\0\21c2 = (6.828u,14.747u);
  z5\1\0s = (11.322u,13.731u);
  z5\1\0 = (8.913u,13.972u);
  z5\1\1c1 = (9.357u,16.032u);
  z5\1\1c2 = (10.630u,16.198u);
  z5\1\1 = (7.950u,17.104u);
  z5\1\2c1 = (9.914u,18.891u);
  z5\1\2c2 = (11.250u,15.131u);
  z5\2\0s = (8.672u,16.381u);
  z5\2\0c1 = (9.028u,15.063u);
  z5\2\0c2 = (8.064u,14.584u);
  z5\2\0 = (7.227u,15.658u);
  z5\3\0s = (2.891u,14.213u);
  z5\3\0c1 = (2.352u,11.771u);
  z5\3\0c2 = (0.209u,14.735u);
  z5\4\0s = (8.191u,13.972u);
  z5\4\0 = (8.191u,12.045u);
  z5\4\1 = (7.709u,12.045u);
  z5\4\2c1 = (7.418u,12.959u);
  z5\4\2c2 = (7.348u,13.399u);
  z5\5\0s = (10.118u,13.249u);
  z5\6\0s = (11.563u,13.249u);
  z5\6\0 = (11.322u,12.045u);
  z5\7\0s = (4.336u,9.877u);
  z5\7\0 = (3.372u,9.636u);
  z5\7\1 = (2.409u,12.045u);
  z5\7\2c1 = (3.804u,12.418u);
  z5\7\2c2 = (3.729u,10.867u);
  z5\8\0s = (6.745u,12.286u);
  z5\8\0 = (7.468u,10.840u);
  z5\8\1c1 = (6.540u,11.077u);
  z5\8\1c2 = (6.407u,11.386u);
  z5\9\0s = (4.699u,11.084u);
  z5\10\0s = (2.168u,10.840u);
  z5\10\0c1 = (3.043u,9.089u);
  z5\10\0c2 = (3.379u,8.685u);
  z5\10\0 = (2.891u,6.745u);
  z5\10\1c1 = (2.292u,7.922u);
  z5\10\1c2 = (1.088u,9.654u);
  z5\11\0s = (9.395u,10.600u);
  z5\11\0c1 = (9.518u,9.791u);
  z5\11\0c2 = (9.673u,9.027u);
  z5\11\0 = (9.626u,8.200u);
  z5\11\1c1 = (9.476u,5.580u);
  z5\11\1c2 = (6.700u,8.658u);
  z5\12\0s = (6.745u,10.359u);
  z5\12\0 = (5.300u,9.636u);
  z5\13\0s = (7.227u,8.191u);
  z5\13\0 = (3.854u,8.191u);
  z5\13\1c1 = (4.783u,9.047u);
  z5\13\1c2 = (6.251u,8.894u);
  z5\14\0s = (11.563u,8.672u);
  z5\14\0 = (11.441u,6.385u);
  z5\14\1 = (10.510u,4.907u);
  z5\14\2 = (10.359u,1.686u);
  z5\14\3 = (5.781u,1.686u);
  z5\14\4 = (6.504u,6.022u);
  z5\14\5c1 = (6.286u,4.558u);
  z5\14\5c2 = (6.263u,3.744u);
  z5\14\5 = (7.950u,3.372u);
  z5\14\6c1 = (7.373u,4.863u);
  z5\14\6c2 = (6.796u,4.388u);
  z5\14\6 = (7.468u,6.263u);
  z5\14\7c1 = (8.744u,4.986u);
  z5\14\7c2 = (7.554u,3.868u);
  z5\14\7 = (10.118u,3.613u);
  z5\14\8 = (8.938u,5.077u);
  z5\14\9c1 = (8.370u,6.247u);
  z5\14\9c2 = (9.721u,6.364u);
  z5\14\9 = (10.281u,7.064u);
  z5\14\10c1 = (10.636u,7.508u);
  z5\14\10c2 = (10.831u,8.158u);
  z5\14\10 = (11.081u,8.672u);
  z5\15\0s = (6.745u,7.468u);
  z5\15\0 = (4.435u,6.165u);
  z5\15\1 = (4.095u,3.372u);
  z5\15\2 = (2.891u,3.372u);
  z5\15\3c1 = (3.212u,6.980u);
  z5\15\3c2 = (3.195u,7.468u);
  z5\16\0s = (3.854u,2.650u);
  z5\16\0 = (2.650u,1.686u);
  fill_or_unfill z5\0\0s
    --z5\0\0
    --z5\0\1
    ..controls z5\0\2c1 and z5\0\2c2..z5\0\2
    ..controls z5\0\3c1 and z5\0\3c2..z5\0\3
    --z5\0\4
    ..controls z5\0\5c1 and z5\0\5c2..z5\0\5
    ..controls z5\0\6c1 and z5\0\6c2..z5\0\6
    --z5\0\7
    --z5\0\8
    --z5\0\9
    --z5\0\10
    --z5\0\11
    --z5\0\12
    --z5\0\13
    ..controls z5\0\14c1 and z5\0\14c2..z5\0\14
    ..controls z5\0\15c1 and z5\0\15c2..z5\0\15
    --z5\0\16
    ..controls z5\0\17c1 and z5\0\17c2..z5\0\17
    ..controls z5\0\18c1 and z5\0\18c2..z5\0\18
    ..controls z5\0\19c1 and z5\0\19c2..z5\0\19
    ..controls z5\0\20c1 and z5\0\20c2..z5\0\20
    ..controls z5\0\21c1 and z5\0\21c2..cycle;
  fill_or_unfill z5\1\0s
    --z5\1\0
    ..controls z5\1\1c1 and z5\1\1c2..z5\1\1
    ..controls z5\1\2c1 and z5\1\2c2..cycle;
  fill_or_unfill z5\2\0s
    ..controls z5\2\0c1 and z5\2\0c2..z5\2\0
    --cycle;
  fill_or_unfill z5\3\0s
    ..controls z5\3\0c1 and z5\3\0c2..cycle;
  fill_or_unfill z5\4\0s
    --z5\4\0
    --z5\4\1
    ..controls z5\4\2c1 and z5\4\2c2..cycle;
  fill_or_unfill z5\5\0s
    --cycle;
  fill_or_unfill z5\6\0s
    --z5\6\0
    --cycle;
  fill_or_unfill z5\7\0s
    --z5\7\0
    --z5\7\1
    ..controls z5\7\2c1 and z5\7\2c2..cycle;
  fill_or_unfill z5\8\0s
    --z5\8\0
    ..controls z5\8\1c1 and z5\8\1c2..cycle;
  fill_or_unfill z5\9\0s
    --cycle;
  fill_or_unfill z5\10\0s
    ..controls z5\10\0c1 and z5\10\0c2..z5\10\0
    ..controls z5\10\1c1 and z5\10\1c2..cycle;
  fill_or_unfill z5\11\0s
    ..controls z5\11\0c1 and z5\11\0c2..z5\11\0
    ..controls z5\11\1c1 and z5\11\1c2..cycle;
  fill_or_unfill z5\12\0s
    --z5\12\0
    --cycle;
  fill_or_unfill z5\13\0s
    --z5\13\0
    ..controls z5\13\1c1 and z5\13\1c2..cycle;
  fill_or_unfill z5\14\0s
    --z5\14\0
    --z5\14\1
    --z5\14\2
    --z5\14\3
    --z5\14\4
    ..controls z5\14\5c1 and z5\14\5c2..z5\14\5
    ..controls z5\14\6c1 and z5\14\6c2..z5\14\6
    ..controls z5\14\7c1 and z5\14\7c2..z5\14\7
    --z5\14\8
    ..controls z5\14\9c1 and z5\14\9c2..z5\14\9
    ..controls z5\14\10c1 and z5\14\10c2..z5\14\10
    --cycle;
  fill_or_unfill z5\15\0s
    --z5\15\0
    --z5\15\1
    --z5\15\2
    ..controls z5\15\3c1 and z5\15\3c2..cycle;
  fill_or_unfill z5\16\0s
    --z5\16\0
    --cycle;
  proof_labels (
    5\0\0,
    5\0\1,
    5\0\2,
    5\0\3,
    5\0\4,
    5\0\5,
    5\0\6,
    5\0\7,
    5\0\8,
    5\0\9,
    5\0\10,
    5\0\11,
    5\0\12,
    5\0\13,
    5\0\14,
    5\0\15,
    5\0\16,
    5\0\17,
    5\0\18,
    5\0\19,
    5\0\20,
    5\0\21,
    5\1\0,
    5\1\1,
    5\1\2,
    5\2\0,
    5\2\1,
    5\3\0,
    5\4\0,
    5\4\1,
    5\4\2,
    5\5\0,
    5\6\0,
    5\6\1,
    5\7\0,
    5\7\1,
    5\7\2,
    5\8\0,
    5\8\1,
    5\9\0,
    5\10\0,
    5\10\1,
    5\11\0,
    5\11\1,
    5\12\0,
    5\12\1,
    5\13\0,
    5\13\1,
    5\14\0,
    5\14\1,
    5\14\2,
    5\14\3,
    5\14\4,
    5\14\5,
    5\14\6,
    5\14\7,
    5\14\8,
    5\14\9,
    5\14\10,
    5\14\11,
    5\15\0,
    5\15\1,
    5\15\2,
    5\15\3,
    5\16\0,
    5\16\1,
);
endchar;

beginchar (38, 14.695u#, 18.549u#, 0.000u#);
  "B7";
  z6\0\0s = (9.395u,18.308u);
  z6\0\0 = (9.395u,16.140u);
  z6\0\1 = (9.154u,17.586u);
  z6\0\2 = (7.709u,17.345u);
  z6\0\3 = (8.750u,15.297u);
  z6\0\4 = (9.093u,13.668u);
  z6\0\5 = (10.252u,12.260u);
  z6\0\6 = (9.395u,6.745u);
  z6\0\7c1 = (8.433u,7.173u);
  z6\0\7c2 = (6.112u,9.898u);
  z6\0\7 = (5.259u,10.800u);
  z6\0\8c1 = (4.515u,11.587u);
  z6\0\8c2 = (4.103u,13.955u);
  z6\0\8 = (2.395u,13.021u);
  z6\0\9c1 = (1.140u,12.335u);
  z6\0\9c2 = (1.865u,10.494u);
  z6\0\9 = (0.482u,9.636u);
  z6\0\10c1 = (0.877u,7.803u);
  z6\0\10c2 = (-0.655u,5.392u);
  z6\0\10 = (0.211u,3.824u);
  z6\0\11c1 = (0.715u,2.912u);
  z6\0\11c2 = (1.771u,3.346u);
  z6\0\11 = (2.134u,4.164u);
  z6\0\12c1 = (2.607u,5.428u);
  z6\0\12c2 = (2.453u,7.366u);
  z6\0\12 = (2.134u,8.672u);
  z6\0\13 = (2.891u,8.913u);
  z6\0\14c1 = (2.559u,9.426u);
  z6\0\14c2 = (2.288u,9.764u);
  z6\0\14 = (2.215u,10.399u);
  z6\0\15c1 = (2.150u,10.972u);
  z6\0\15c2 = (2.444u,12.782u);
  z6\0\15 = (3.406u,12.272u);
  z6\0\16c1 = (4.572u,11.654u);
  z6\0\16c2 = (3.849u,10.506u);
  z6\0\16 = (4.094u,9.829u);
  z6\0\17c1 = (4.654u,8.281u);
  z6\0\17c2 = (6.417u,4.632u);
  z6\0\17 = (6.439u,3.114u);
  z6\0\18c1 = (6.451u,2.320u);
  z6\0\18c2 = (5.772u,1.936u);
  z6\0\18 = (5.541u,1.204u);
  z6\0\19 = (13.972u,1.445u);
  z6\0\20 = (13.119u,2.959u);
  z6\0\21 = (13.644u,8.320u);
  z6\0\22c1 = (13.923u,9.109u);
  z6\0\22c2 = (14.563u,8.823u);
  z6\0\22 = (14.672u,10.139u);
  z6\0\23c1 = (14.755u,11.145u);
  z6\0\23c2 = (14.379u,13.799u);
  z6\0\23 = (14.055u,14.778u);
  z6\0\24c1 = (13.397u,16.770u);
  z6\0\24c2 = (12.630u,15.848u);
  z6\0\24 = (13.249u,18.308u);
  z6\1\0s = (12.286u,17.104u);
  z6\1\0 = (10.359u,17.345u);
  z6\1\1c1 = (11.116u,17.884u);
  z6\1\1c2 = (11.818u,18.046u);
  z6\2\0s = (13.972u,9.877u);
  z6\2\0c1 = (14.379u,9.432u);
  z6\2\0c2 = (12.024u,13.681u);
  z6\2\0 = (12.189u,13.105u);
  z6\2\1c1 = (12.063u,13.543u);
  z6\2\1c2 = (12.354u,13.889u);
  z6\2\1 = (12.435u,14.297u);
  z6\2\2c1 = (12.729u,15.766u);
  z6\2\2c2 = (11.422u,15.737u);
  z6\2\2 = (10.359u,15.899u);
  z6\2\3c1 = (10.717u,16.457u);
  z6\2\3c2 = (11.012u,16.626u);
  z6\2\3 = (11.702u,16.501u);
  z6\2\4c1 = (13.789u,16.123u);
  z6\2\4c2 = (13.972u,11.514u);
  z6\3\0s = (11.804u,14.695u);
  z6\3\0 = (11.322u,13.009u);
  z6\3\1c1 = (10.284u,13.381u);
  z6\3\1c2 = (9.860u,13.568u);
  z6\3\1 = (9.636u,14.695u);
  z6\3\2 = (10.840u,14.936u);
  z6\4\0s = (12.527u,11.804u);
  z6\4\0 = (12.696u,4.407u);
  z6\4\1 = (12.045u,1.927u);
  z6\4\2 = (7.227u,1.927u);
  z6\4\3 = (5.541u,8.913u);
  z6\4\4c1 = (6.955u,8.602u);
  z6\4\4c2 = (8.747u,6.164u);
  z6\4\4 = (9.154u,4.818u);
  z6\4\5 = (9.636u,4.818u);
  z6\4\6 = (11.081u,11.563u);
  z6\4\7 = (11.322u,9.154u);
  z6\4\8c1 = (12.760u,9.521u);
  z6\4\8c2 = (12.067u,10.645u);
  z6\5\0s = (1.686u,7.709u);
  z6\5\0 = (1.204u,3.854u);
  z6\5\1c1 = (0.286u,4.862u);
  z6\5\1c2 = (0.941u,6.525u);
  z6\5\1 = (1.204u,7.709u);
  fill_or_unfill z6\0\0s
    --z6\0\0
    --z6\0\1
    --z6\0\2
    --z6\0\3
    --z6\0\4
    --z6\0\5
    --z6\0\6
    ..controls z6\0\7c1 and z6\0\7c2..z6\0\7
    ..controls z6\0\8c1 and z6\0\8c2..z6\0\8
    ..controls z6\0\9c1 and z6\0\9c2..z6\0\9
    ..controls z6\0\10c1 and z6\0\10c2..z6\0\10
    ..controls z6\0\11c1 and z6\0\11c2..z6\0\11
    ..controls z6\0\12c1 and z6\0\12c2..z6\0\12
    --z6\0\13
    ..controls z6\0\14c1 and z6\0\14c2..z6\0\14
    ..controls z6\0\15c1 and z6\0\15c2..z6\0\15
    ..controls z6\0\16c1 and z6\0\16c2..z6\0\16
    ..controls z6\0\17c1 and z6\0\17c2..z6\0\17
    ..controls z6\0\18c1 and z6\0\18c2..z6\0\18
    --z6\0\19
    --z6\0\20
    --z6\0\21
    ..controls z6\0\22c1 and z6\0\22c2..z6\0\22
    ..controls z6\0\23c1 and z6\0\23c2..z6\0\23
    ..controls z6\0\24c1 and z6\0\24c2..z6\0\24
    --cycle;
  fill_or_unfill z6\1\0s
    --z6\1\0
    ..controls z6\1\1c1 and z6\1\1c2..cycle;
  fill_or_unfill z6\2\0s
    ..controls z6\2\0c1 and z6\2\0c2..z6\2\0
    ..controls z6\2\1c1 and z6\2\1c2..z6\2\1
    ..controls z6\2\2c1 and z6\2\2c2..z6\2\2
    ..controls z6\2\3c1 and z6\2\3c2..z6\2\3
    ..controls z6\2\4c1 and z6\2\4c2..cycle;
  fill_or_unfill z6\3\0s
    --z6\3\0
    ..controls z6\3\1c1 and z6\3\1c2..z6\3\1
    --z6\3\2
    --cycle;
  fill_or_unfill z6\4\0s
    --z6\4\0
    --z6\4\1
    --z6\4\2
    --z6\4\3
    ..controls z6\4\4c1 and z6\4\4c2..z6\4\4
    --z6\4\5
    --z6\4\6
    --z6\4\7
    ..controls z6\4\8c1 and z6\4\8c2..cycle;
  fill_or_unfill z6\5\0s
    --z6\5\0
    ..controls z6\5\1c1 and z6\5\1c2..z6\5\1
    --cycle;
  proof_labels (
    6\0\0,
    6\0\1,
    6\0\2,
    6\0\3,
    6\0\4,
    6\0\5,
    6\0\6,
    6\0\7,
    6\0\8,
    6\0\9,
    6\0\10,
    6\0\11,
    6\0\12,
    6\0\13,
    6\0\14,
    6\0\15,
    6\0\16,
    6\0\17,
    6\0\18,
    6\0\19,
    6\0\20,
    6\0\21,
    6\0\22,
    6\0\23,
    6\0\24,
    6\0\25,
    6\1\0,
    6\1\1,
    6\2\0,
    6\2\1,
    6\2\2,
    6\2\3,
    6\2\4,
    6\3\0,
    6\3\1,
    6\3\2,
    6\3\3,
    6\4\0,
    6\4\1,
    6\4\2,
    6\4\3,
    6\4\4,
    6\4\5,
    6\4\6,
    6\4\7,
    6\4\8,
    6\5\0,
    6\5\1,
    6\5\2,
);
endchar;