beginchar (32, 8.431u#, 18.549u#, 0.000u#);
  "Q1";
  z32\0\0s = (5.781u,18.549u);
  z32\0\0 = (5.781u,12.286u);
  z32\0\1 = (3.372u,12.286u);
  z32\0\2 = (3.372u,2.891u);
  z32\0\3 = (0.000u,2.891u);
  z32\0\4 = (0.000u,0.963u);
  z32\0\5 = (8.431u,0.963u);
  z32\0\6 = (8.431u,18.549u);
  z32\1\0s = (7.709u,17.586u);
  z32\1\0 = (7.709u,1.686u);
  z32\1\1 = (0.723u,1.686u);
  z32\1\2 = (0.723u,2.168u);
  z32\1\3 = (4.095u,2.168u);
  z32\1\4 = (4.095u,11.563u);
  z32\1\5 = (6.504u,11.563u);
  z32\1\6 = (6.504u,17.586u);
  fill_or_unfill z32\0\0s
    --z32\0\0
    --z32\0\1
    --z32\0\2
    --z32\0\3
    --z32\0\4
    --z32\0\5
    --z32\0\6
    --cycle;
  fill_or_unfill z32\1\0s
    --z32\1\0
    --z32\1\1
    --z32\1\2
    --z32\1\3
    --z32\1\4
    --z32\1\5
    --z32\1\6
    --cycle;
  proof_labels (
    32\0\0,
    32\0\1,
    32\0\2,
    32\0\3,
    32\0\4,
    32\0\5,
    32\0\6,
    32\0\7,
    32\1\0,
    32\1\1,
    32\1\2,
    32\1\3,
    32\1\4,
    32\1\5,
    32\1\6,
    32\1\7,
);
endchar;

beginchar (33, 16.381u#, 12.527u#, 0.000u#);
  "Q2";
  z33\0\0s = (0.000u,4.818u);
  z33\0\0 = (0.000u,3.854u);
  z33\0\1 = (2.168u,3.854u);
  z33\0\2 = (2.168u,1.686u);
  z33\0\3 = (3.132u,1.686u);
  z33\0\4 = (3.132u,3.854u);
  z33\0\5 = (13.009u,3.854u);
  z33\0\6 = (13.009u,1.686u);
  z33\0\7 = (13.972u,1.686u);
  z33\0\8 = (13.972u,3.854u);
  z33\0\9 = (16.381u,3.854u);
  z33\0\10 = (16.381u,4.577u);
  z33\0\11 = (13.972u,4.577u);
  z33\0\12 = (13.972u,6.263u);
  z33\0\13 = (15.177u,6.263u);
  z33\0\14c1 = (15.177u,8.120u);
  z33\0\14c2 = (15.856u,12.330u);
  z33\0\14 = (13.249u,12.512u);
  z33\0\15c1 = (12.425u,12.569u);
  z33\0\15c2 = (11.757u,12.406u);
  z33\0\15 = (11.091u,11.908u);
  z33\0\16c1 = (9.947u,11.053u);
  z33\0\16c2 = (9.354u,9.678u);
  z33\0\16 = (8.187u,8.825u);
  z33\0\17c1 = (6.629u,7.687u);
  z33\0\17c2 = (4.570u,7.837u);
  z33\0\17 = (3.145u,6.818u);
  z33\0\18c1 = (1.505u,5.646u);
  z33\0\18c2 = (2.627u,4.852u);
  z33\1\0s = (14.454u,6.986u);
  z33\1\0 = (13.249u,6.986u);
  z33\1\1 = (13.249u,4.818u);
  z33\1\2 = (2.650u,4.818u);
  z33\1\3c1 = (3.373u,7.255u);
  z33\1\3c2 = (6.532u,6.872u);
  z33\1\3 = (8.430u,8.170u);
  z33\1\4c1 = (9.793u,9.101u);
  z33\1\4c2 = (11.063u,11.619u);
  z33\1\4 = (12.527u,11.931u);
  z33\1\5c1 = (15.052u,12.469u);
  z33\1\5c2 = (14.454u,8.432u);
  fill_or_unfill z33\0\0s
    --z33\0\0
    --z33\0\1
    --z33\0\2
    --z33\0\3
    --z33\0\4
    --z33\0\5
    --z33\0\6
    --z33\0\7
    --z33\0\8
    --z33\0\9
    --z33\0\10
    --z33\0\11
    --z33\0\12
    --z33\0\13
    ..controls z33\0\14c1 and z33\0\14c2..z33\0\14
    ..controls z33\0\15c1 and z33\0\15c2..z33\0\15
    ..controls z33\0\16c1 and z33\0\16c2..z33\0\16
    ..controls z33\0\17c1 and z33\0\17c2..z33\0\17
    ..controls z33\0\18c1 and z33\0\18c2..cycle;
  fill_or_unfill z33\1\0s
    --z33\1\0
    --z33\1\1
    --z33\1\2
    ..controls z33\1\3c1 and z33\1\3c2..z33\1\3
    ..controls z33\1\4c1 and z33\1\4c2..z33\1\4
    ..controls z33\1\5c1 and z33\1\5c2..cycle;
  proof_labels (
    33\0\0,
    33\0\1,
    33\0\2,
    33\0\3,
    33\0\4,
    33\0\5,
    33\0\6,
    33\0\7,
    33\0\8,
    33\0\9,
    33\0\10,
    33\0\11,
    33\0\12,
    33\0\13,
    33\0\14,
    33\0\15,
    33\0\16,
    33\0\17,
    33\0\18,
    33\1\0,
    33\1\1,
    33\1\2,
    33\1\3,
    33\1\4,
    33\1\5,
);
endchar;

beginchar (34, 5.300u#, 7.709u#, 0.000u#);
  "Q3";
  z34\0\0s = (0.000u,7.709u);
  z34\0\0 = (0.000u,0.723u);
  z34\0\1 = (5.300u,0.723u);
  z34\0\2 = (5.300u,7.709u);
  z34\1\0s = (4.577u,6.986u);
  z34\1\0 = (4.577u,1.445u);
  z34\1\1 = (0.723u,1.445u);
  z34\1\2 = (0.723u,6.986u);
  fill_or_unfill z34\0\0s
    --z34\0\0
    --z34\0\1
    --z34\0\2
    --cycle;
  fill_or_unfill z34\1\0s
    --z34\1\0
    --z34\1\1
    --z34\1\2
    --cycle;
  proof_labels (
    34\0\0,
    34\0\1,
    34\0\2,
    34\0\3,
    34\1\0,
    34\1\1,
    34\1\2,
    34\1\3,
);
endchar;

beginchar (35, 14.213u#, 9.154u#, 0.000u#);
  "Q4";
  z35\0\0s = (1.927u,9.154u);
  z35\0\0c1 = (2.822u,7.558u);
  z35\0\0c2 = (4.852u,7.479u);
  z35\0\0 = (5.845u,6.000u);
  z35\0\1c1 = (8.213u,2.473u);
  z35\0\1c2 = (1.916u,1.806u);
  z35\0\1 = (0.000u,1.445u);
  z35\0\2 = (0.000u,0.482u);
  z35\0\3 = (14.213u,0.482u);
  z35\0\4c1 = (13.539u,2.348u);
  z35\0\4c2 = (6.678u,1.315u);
  z35\0\4 = (8.131u,5.296u);
  z35\0\5c1 = (8.855u,7.282u);
  z35\0\5c2 = (11.892u,7.342u);
  z35\0\5 = (12.527u,9.154u);
  z35\0\6 = (5.781u,8.232u);
  z35\1\0s = (8.672u,7.468u);
  z35\1\0c1 = (6.807u,4.741u);
  z35\1\0c2 = (6.697u,3.283u);
  z35\1\0 = (9.877u,1.445u);
  z35\1\1 = (4.336u,1.204u);
  z35\1\2c1 = (6.281u,3.214u);
  z35\1\2c2 = (8.450u,4.516u);
  z35\1\2 = (5.541u,7.227u);
  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
    --z35\0\3
    ..controls z35\0\4c1 and z35\0\4c2..z35\0\4
    ..controls z35\0\5c1 and z35\0\5c2..z35\0\5
    --z35\0\6
    --cycle;
  fill_or_unfill z35\1\0s
    ..controls z35\1\0c1 and z35\1\0c2..z35\1\0
    --z35\1\1
    ..controls z35\1\2c1 and z35\1\2c2..z35\1\2
    --cycle;
  proof_labels (
    35\0\0,
    35\0\1,
    35\0\2,
    35\0\3,
    35\0\4,
    35\0\5,
    35\0\6,
    35\0\7,
    35\1\0,
    35\1\1,
    35\1\2,
    35\1\3,
);
endchar;

beginchar (36, 17.345u#, 7.950u#, 0.000u#);
  "Q5";
  z36\0\0s = (0.000u,7.950u);
  z36\0\0 = (0.000u,1.204u);
  z36\0\1 = (2.168u,1.204u);
  z36\0\2 = (2.168u,2.891u);
  z36\0\3 = (15.417u,2.891u);
  z36\0\4 = (15.417u,0.963u);
  z36\0\5 = (17.345u,0.963u);
  z36\0\6 = (17.345u,7.950u);
  z36\1\0s = (16.622u,7.227u);
  z36\1\0 = (16.622u,1.686u);
  z36\1\1 = (16.140u,1.686u);
  z36\1\2 = (16.140u,3.613u);
  z36\1\3 = (1.686u,3.613u);
  z36\1\4 = (1.686u,1.927u);
  z36\1\5 = (0.723u,1.927u);
  z36\1\6 = (0.723u,7.227u);
  fill_or_unfill z36\0\0s
    --z36\0\0
    --z36\0\1
    --z36\0\2
    --z36\0\3
    --z36\0\4
    --z36\0\5
    --z36\0\6
    --cycle;
  fill_or_unfill z36\1\0s
    --z36\1\0
    --z36\1\1
    --z36\1\2
    --z36\1\3
    --z36\1\4
    --z36\1\5
    --z36\1\6
    --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\1\0,
    36\1\1,
    36\1\2,
    36\1\3,
    36\1\4,
    36\1\5,
    36\1\6,
    36\1\7,
);
endchar;

beginchar (37, 17.104u#, 11.322u#, 0.000u#);
  "Q6";
  z37\0\0s = (0.723u,8.672u);
  z37\0\0 = (0.723u,11.081u);
  z37\0\1 = (0.000u,11.081u);
  z37\0\2 = (0.000u,0.482u);
  z37\0\3 = (0.723u,0.482u);
  z37\0\4 = (0.723u,2.409u);
  z37\0\5 = (16.381u,2.409u);
  z37\0\6 = (16.381u,0.482u);
  z37\0\7 = (17.104u,0.482u);
  z37\0\8 = (17.104u,11.081u);
  z37\0\9 = (16.381u,11.081u);
  z37\0\10 = (16.381u,8.431u);
  z37\0\11c1 = (12.063u,10.641u);
  z37\0\11c2 = (8.746u,12.344u);
  z37\0\11 = (3.854u,10.336u);
  z37\1\0s = (14.936u,8.191u);
  z37\1\0 = (2.168u,8.191u);
  z37\1\1c1 = (4.048u,11.420u);
  z37\1\1c2 = (12.641u,10.786u);
  z37\2\0s = (16.381u,7.468u);
  z37\2\0 = (16.381u,3.132u);
  z37\2\1 = (0.723u,3.132u);
  z37\2\2 = (0.723u,7.468u);
  fill_or_unfill z37\0\0s
    --z37\0\0
    --z37\0\1
    --z37\0\2
    --z37\0\3
    --z37\0\4
    --z37\0\5
    --z37\0\6
    --z37\0\7
    --z37\0\8
    --z37\0\9
    --z37\0\10
    ..controls z37\0\11c1 and z37\0\11c2..z37\0\11
    --cycle;
  fill_or_unfill z37\1\0s
    --z37\1\0
    ..controls z37\1\1c1 and z37\1\1c2..cycle;
  fill_or_unfill z37\2\0s
    --z37\2\0
    --z37\2\1
    --z37\2\2
    --cycle;
  proof_labels (
    37\0\0,
    37\0\1,
    37\0\2,
    37\0\3,
    37\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\1\0,
    37\1\1,
    37\2\0,
    37\2\1,
    37\2\2,
    37\2\3,
);
endchar;

beginchar (38, 8.431u#, 17.104u#, 0.000u#);
  "Q7";
  z38\0\0s = (0.000u,0.241u);
  z38\0\0 = (0.723u,0.241u);
  z38\0\1 = (0.963u,6.986u);
  z38\0\2 = (0.662u,13.490u);
  z38\0\3c1 = (0.716u,14.492u);
  z38\0\3c2 = (0.963u,15.599u);
  z38\0\3 = (1.950u,16.094u);
  z38\0\4c1 = (3.124u,16.682u);
  z38\0\4c2 = (4.088u,15.518u);
  z38\0\4 = (4.282u,14.454u);
  z38\0\5c1 = (4.486u,13.331u);
  z38\0\5c2 = (4.194u,12.196u);
  z38\0\5 = (4.117u,11.081u);
  z38\0\6 = (3.613u,4.336u);
  z38\0\7 = (1.686u,4.577u);
  z38\0\8 = (1.686u,2.168u);
  z38\0\9c1 = (4.051u,2.579u);
  z38\0\9c2 = (3.956u,2.660u);
  z38\0\9 = (3.854u,0.241u);
  z38\0\10 = (6.263u,0.241u);
  z38\0\11c1 = (6.041u,2.802u);
  z38\0\11c2 = (5.901u,2.386u);
  z38\0\11 = (8.431u,2.168u);
  z38\0\12 = (8.431u,4.577u);
  z38\0\13 = (6.263u,4.336u);
  z38\0\14c1 = (6.257u,6.539u);
  z38\0\14c2 = (5.881u,14.535u);
  z38\0\14 = (4.925u,16.126u);
  z38\0\15c1 = (3.982u,17.696u);
  z38\0\15c2 = (1.445u,17.281u);
  z38\0\15 = (0.536u,15.874u);
  z38\0\16c1 = (-0.043u,14.978u);
  z38\0\16c2 = (0.001u,14.025u);
  z38\0\16 = (0.000u,13.009u);
  z38\0\17 = (0.358u,6.504u);
  z38\1\0s = (5.059u,12.527u);
  z38\1\0 = (5.541u,4.818u);
  z38\1\1 = (4.336u,4.818u);
  z38\2\0s = (5.040u,4.129u);
  z38\2\0c1 = (5.720u,3.905u);
  z38\2\0c2 = (6.035u,3.126u);
  z38\2\0 = (5.228u,2.807u);
  z38\2\1c1 = (4.364u,2.466u);
  z38\2\1c2 = (3.613u,3.697u);
  z38\3\0s = (3.372u,3.132u);
  z38\3\0 = (2.168u,2.891u);
  z38\3\1 = (2.168u,3.854u);
  z38\4\0s = (7.709u,3.854u);
  z38\4\0 = (7.709u,3.132u);
  z38\4\1 = (6.504u,3.132u);
  z38\5\0s = (5.300u,1.927u);
  z38\5\0 = (5.541u,0.963u);
  z38\5\1 = (4.336u,0.963u);
  z38\5\2 = (4.577u,1.927u);
  fill_or_unfill z38\0\0s
    --z38\0\0
    --z38\0\1
    --z38\0\2
    ..controls z38\0\3c1 and z38\0\3c2..z38\0\3
    ..controls z38\0\4c1 and z38\0\4c2..z38\0\4
    ..controls z38\0\5c1 and z38\0\5c2..z38\0\5
    --z38\0\6
    --z38\0\7
    --z38\0\8
    ..controls z38\0\9c1 and z38\0\9c2..z38\0\9
    --z38\0\10
    ..controls z38\0\11c1 and z38\0\11c2..z38\0\11
    --z38\0\12
    --z38\0\13
    ..controls z38\0\14c1 and z38\0\14c2..z38\0\14
    ..controls z38\0\15c1 and z38\0\15c2..z38\0\15
    ..controls z38\0\16c1 and z38\0\16c2..z38\0\16
    --z38\0\17
    --cycle;
  fill_or_unfill z38\1\0s
    --z38\1\0
    --z38\1\1
    --cycle;
  fill_or_unfill z38\2\0s
    ..controls z38\2\0c1 and z38\2\0c2..z38\2\0
    ..controls z38\2\1c1 and z38\2\1c2..cycle;
  fill_or_unfill z38\3\0s
    --z38\3\0
    --z38\3\1
    --cycle;
  fill_or_unfill z38\4\0s
    --z38\4\0
    --z38\4\1
    --cycle;
  fill_or_unfill z38\5\0s
    --z38\5\0
    --z38\5\1
    --z38\5\2
    --cycle;
  proof_labels (
    38\0\0,
    38\0\1,
    38\0\2,
    38\0\3,
    38\0\4,
    38\0\5,
    38\0\6,
    38\0\7,
    38\0\8,
    38\0\9,
    38\0\10,
    38\0\11,
    38\0\12,
    38\0\13,
    38\0\14,
    38\0\15,
    38\0\16,
    38\0\17,
    38\0\18,
    38\1\0,
    38\1\1,
    38\1\2,
    38\2\0,
    38\2\1,
    38\3\0,
    38\3\1,
    38\3\2,
    38\4\0,
    38\4\1,
    38\4\2,
    38\5\0,
    38\5\1,
    38\5\2,
    38\5\3,
);
endchar;