beginchar (32, 0.723u#, 7.468u#, 0.000u#);
  "Z1";
  z32\0\0s = (0.000u,7.468u);
  z32\0\0 = (0.000u,0.241u);
  z32\0\1 = (0.723u,0.241u);
  z32\0\2 = (0.723u,7.468u);
  fill_or_unfill z32\0\0s
    --z32\0\0
    --z32\0\1
    --z32\0\2
    --cycle;
  proof_labels (
    32\0\0,
    32\0\1,
    32\0\2,
    32\0\3,
);
endchar;

beginchar (33, 17.345u#, 5.541u#, 0.000u#);
  "Z2";
  z33\0\0s = (0.000u,5.541u);
  z33\0\0 = (0.000u,0.241u);
  z33\0\1 = (0.963u,0.241u);
  z33\0\2 = (0.963u,5.541u);
  z33\1\0s = (8.191u,5.541u);
  z33\1\0 = (8.191u,0.241u);
  z33\1\1 = (9.154u,0.241u);
  z33\1\2 = (9.154u,5.541u);
  z33\2\0s = (16.381u,5.541u);
  z33\2\0 = (16.381u,0.241u);
  z33\2\1 = (17.345u,0.241u);
  z33\2\2 = (17.345u,5.541u);
  fill_or_unfill z33\0\0s
    --z33\0\0
    --z33\0\1
    --z33\0\2
    --cycle;
  fill_or_unfill z33\1\0s
    --z33\1\0
    --z33\1\1
    --z33\1\2
    --cycle;
  fill_or_unfill z33\2\0s
    --z33\2\0
    --z33\2\1
    --z33\2\2
    --cycle;
  proof_labels (
    33\0\0,
    33\0\1,
    33\0\2,
    33\0\3,
    33\1\0,
    33\1\1,
    33\1\2,
    33\1\3,
    33\2\0,
    33\2\1,
    33\2\2,
    33\2\3,
);
endchar;

beginchar (34, 0.963u#, 17.826u#, 0.000u#);
  "Z3";
  z34\0\0s = (0.000u,17.826u);
  z34\0\0 = (0.000u,12.768u);
  z34\0\1 = (0.963u,12.768u);
  z34\0\2 = (0.963u,17.826u);
  z34\1\0s = (0.000u,11.322u);
  z34\1\0 = (0.000u,6.504u);
  z34\1\1 = (0.963u,6.504u);
  z34\1\2 = (0.963u,11.322u);
  z34\2\0s = (0.000u,5.300u);
  z34\2\0 = (0.000u,0.482u);
  z34\2\1 = (0.963u,0.482u);
  z34\2\2 = (0.963u,5.300u);
  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;
  fill_or_unfill z34\2\0s
    --z34\2\0
    --z34\2\1
    --z34\2\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,
    34\2\0,
    34\2\1,
    34\2\2,
    34\2\3,
);
endchar;

beginchar (35, 5.300u#, 18.067u#, 0.000u#);
  "Z3A";
  z35\0\0s = (0.000u,18.067u);
  z35\0\0 = (0.000u,17.104u);
  z35\0\1 = (5.300u,17.104u);
  z35\0\2 = (5.300u,18.067u);
  z35\1\0s = (0.000u,9.636u);
  z35\1\0 = (0.000u,8.672u);
  z35\1\1 = (5.300u,8.672u);
  z35\1\2 = (5.300u,9.636u);
  z35\2\0s = (0.000u,1.204u);
  z35\2\0 = (0.000u,0.241u);
  z35\2\1 = (5.300u,0.241u);
  z35\2\2 = (5.300u,1.204u);
  fill_or_unfill z35\0\0s
    --z35\0\0
    --z35\0\1
    --z35\0\2
    --cycle;
  fill_or_unfill z35\1\0s
    --z35\1\0
    --z35\1\1
    --z35\1\2
    --cycle;
  fill_or_unfill z35\2\0s
    --z35\2\0
    --z35\2\1
    --z35\2\2
    --cycle;
  proof_labels (
    35\0\0,
    35\0\1,
    35\0\2,
    35\0\3,
    35\1\0,
    35\1\1,
    35\1\2,
    35\1\3,
    35\2\0,
    35\2\1,
    35\2\2,
    35\2\3,
);
endchar;

beginchar (36, 20.958u#, 3.854u#, 0.000u#);
  "(N33)";
  z36\0\0s = (1.455u,3.673u);
  z36\0\0c1 = (-0.217u,2.973u);
  z36\0\0c2 = (-0.372u,0.839u);
  z36\0\0 = (1.455u,0.422u);
  z36\0\1c1 = (3.729u,-0.097u);
  z36\0\1c2 = (4.486u,3.829u);
  z36\1\0s = (10.369u,3.673u);
  z36\1\0c1 = (8.696u,2.973u);
  z36\1\0c2 = (8.541u,0.839u);
  z36\1\0 = (10.369u,0.422u);
  z36\1\1c1 = (12.642u,-0.097u);
  z36\1\1c2 = (13.400u,3.829u);
  z36\2\0s = (18.800u,3.673u);
  z36\2\0c1 = (17.128u,2.973u);
  z36\2\0c2 = (16.972u,0.839u);
  z36\2\0 = (18.800u,0.422u);
  z36\2\1c1 = (21.073u,-0.097u);
  z36\2\1c2 = (21.831u,3.829u);
  z36\3\0s = (1.479u,2.974u);
  z36\3\0c1 = (3.111u,3.091u);
  z36\3\0c2 = (3.119u,1.458u);
  z36\3\0 = (2.134u,1.122u);
  z36\3\1c1 = (1.058u,0.754u);
  z36\3\1c2 = (0.201u,2.117u);
  z36\4\0s = (10.393u,2.974u);
  z36\4\0c1 = (12.024u,3.091u);
  z36\4\0c2 = (12.032u,1.458u);
  z36\4\0 = (11.047u,1.122u);
  z36\4\1c1 = (9.971u,0.754u);
  z36\4\1c2 = (9.114u,2.117u);
  z36\5\0s = (18.824u,2.974u);
  z36\5\0c1 = (20.456u,3.091u);
  z36\5\0c2 = (20.464u,1.458u);
  z36\5\0 = (19.479u,1.122u);
  z36\5\1c1 = (18.403u,0.754u);
  z36\5\1c2 = (17.546u,2.117u);
  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..cycle;
  fill_or_unfill z36\1\0s
    ..controls z36\1\0c1 and z36\1\0c2..z36\1\0
    ..controls z36\1\1c1 and z36\1\1c2..cycle;
  fill_or_unfill z36\2\0s
    ..controls z36\2\0c1 and z36\2\0c2..z36\2\0
    ..controls z36\2\1c1 and z36\2\1c2..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
    ..controls z36\4\0c1 and z36\4\0c2..z36\4\0
    ..controls z36\4\1c1 and z36\4\1c2..cycle;
  fill_or_unfill z36\5\0s
    ..controls z36\5\0c1 and z36\5\0c2..z36\5\0
    ..controls z36\5\1c1 and z36\5\1c2..cycle;
  proof_labels (
    36\0\0,
    36\0\1,
    36\1\0,
    36\1\1,
    36\2\0,
    36\2\1,
    36\3\0,
    36\3\1,
    36\4\0,
    36\4\1,
    36\5\0,
    36\5\1,
);
endchar;

beginchar (37, 7.468u#, 6.022u#, 0.000u#);
  "Z4";
  z37\0\0s = (0.000u,6.022u);
  z37\0\0c1 = (0.338u,4.641u);
  z37\0\0c2 = (2.774u,0.674u);
  z37\0\0 = (4.095u,0.241u);
  z37\0\1c1 = (3.875u,1.822u);
  z37\0\1c2 = (1.620u,5.745u);
  z37\1\0s = (3.132u,6.022u);
  z37\1\0 = (6.595u,0.498u);
  z37\1\1 = (7.468u,0.498u);
  z37\1\2c1 = (6.619u,2.062u);
  z37\1\2c2 = (4.845u,5.490u);
  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..cycle;
  fill_or_unfill z37\1\0s
    --z37\1\0
    --z37\1\1
    ..controls z37\1\2c1 and z37\1\2c2..cycle;
  proof_labels (
    37\0\0,
    37\0\1,
    37\1\0,
    37\1\1,
    37\1\2,
);
endchar;

beginchar (38, 7.950u#, 8.431u#, 0.000u#);
  "Z5";
  z38\0\0s = (0.000u,8.431u);
  z38\0\0 = (0.239u,7.620u);
  z38\0\1 = (2.508u,5.759u);
  z38\0\2 = (6.032u,1.300u);
  z38\0\3 = (7.950u,0.723u);
  z38\0\4c1 = (7.577u,1.861u);
  z38\0\4c2 = (6.851u,2.048u);
  z38\0\4 = (6.100u,2.901u);
  z38\0\5c1 = (4.260u,4.992u);
  z38\0\5c2 = (3.130u,7.996u);
  fill_or_unfill z38\0\0s
    --z38\0\0
    --z38\0\1
    --z38\0\2
    --z38\0\3
    ..controls z38\0\4c1 and z38\0\4c2..z38\0\4
    ..controls z38\0\5c1 and z38\0\5c2..cycle;
  proof_labels (
    38\0\0,
    38\0\1,
    38\0\2,
    38\0\3,
    38\0\4,
    38\0\5,
);
endchar;

beginchar (39, 17.104u#, 9.395u#, 0.000u#);
  "Z6";
  z39\0\0s = (0.241u,9.395u);
  z39\0\0 = (0.000u,8.191u);
  z39\0\1 = (13.968u,4.230u);
  z39\0\2 = (17.104u,0.241u);
  z39\0\3 = (16.296u,3.613u);
  z39\0\4c1 = (16.215u,4.509u);
  z39\0\4c2 = (16.799u,5.096u);
  z39\0\4 = (16.734u,5.745u);
  z39\0\5c1 = (16.578u,7.316u);
  z39\0\5c2 = (15.373u,5.474u);
  z39\0\5 = (15.177u,5.059u);
  fill_or_unfill z39\0\0s
    --z39\0\0
    --z39\0\1
    --z39\0\2
    --z39\0\3
    ..controls z39\0\4c1 and z39\0\4c2..z39\0\4
    ..controls z39\0\5c1 and z39\0\5c2..z39\0\5
    --cycle;
  proof_labels (
    39\0\0,
    39\0\1,
    39\0\2,
    39\0\3,
    39\0\4,
    39\0\5,
    39\0\6,
);
endchar;

beginchar (40, 6.022u#, 9.636u#, 0.000u#);
  "Z7";
  z40\0\0s = (4.818u,0.241u);
  z40\0\0 = (5.059u,0.482u);
  z40\0\1 = (5.059u,0.963u);
  z40\0\2c1 = (3.135u,2.166u);
  z40\0\2c2 = (-1.320u,6.472u);
  z40\0\2 = (2.419u,8.388u);
  z40\0\3c1 = (3.571u,8.979u);
  z40\0\3c2 = (5.372u,7.750u);
  z40\0\3 = (4.987u,6.510u);
  z40\0\4c1 = (4.849u,6.066u);
  z40\0\4c2 = (4.087u,5.306u);
  z40\0\4 = (3.684u,5.892u);
  z40\0\5c1 = (3.543u,6.096u);
  z40\0\5c2 = (3.442u,6.935u);
  z40\0\5 = (3.372u,7.227u);
  z40\0\6c1 = (2.186u,6.437u);
  z40\0\6c2 = (1.978u,5.009u);
  z40\0\6 = (3.617u,4.657u);
  z40\0\7c1 = (6.820u,3.970u);
  z40\0\7c2 = (6.717u,9.940u);
  z40\0\7 = (2.891u,9.559u);
  z40\0\8c1 = (2.047u,9.475u);
  z40\0\8c2 = (1.356u,8.857u);
  z40\0\8 = (0.890u,8.187u);
  z40\0\9c1 = (-1.239u,5.123u);
  z40\0\9c2 = (1.736u,1.150u);
  fill_or_unfill z40\0\0s
    --z40\0\0
    --z40\0\1
    ..controls z40\0\2c1 and z40\0\2c2..z40\0\2
    ..controls z40\0\3c1 and z40\0\3c2..z40\0\3
    ..controls z40\0\4c1 and z40\0\4c2..z40\0\4
    ..controls z40\0\5c1 and z40\0\5c2..z40\0\5
    ..controls z40\0\6c1 and z40\0\6c2..z40\0\6
    ..controls z40\0\7c1 and z40\0\7c2..z40\0\7
    ..controls z40\0\8c1 and z40\0\8c2..z40\0\8
    ..controls z40\0\9c1 and z40\0\9c2..cycle;
  proof_labels (
    40\0\0,
    40\0\1,
    40\0\2,
    40\0\3,
    40\0\4,
    40\0\5,
    40\0\6,
    40\0\7,
    40\0\8,
    40\0\9,
);
endchar;

beginchar (41, 13.009u#, 5.300u#, 0.000u#);
  "Z8";
  z41\0\0s = (1.928u,5.172u);
  z41\0\0c1 = (-0.172u,4.483u);
  z41\0\0c2 = (-0.891u,1.646u);
  z41\0\0 = (1.215u,0.524u);
  z41\0\1c1 = (2.158u,0.021u);
  z41\0\1c2 = (8.166u,0.238u);
  z41\0\1 = (9.636u,0.241u);
  z41\0\2c1 = (10.336u,0.242u);
  z41\0\2c2 = (11.159u,0.185u);
  z41\0\2 = (11.788u,0.524u);
  z41\0\3c1 = (13.427u,1.394u);
  z41\0\3c2 = (13.425u,4.064u);
  z41\0\3 = (11.788u,4.922u);
  z41\0\4c1 = (10.646u,5.514u);
  z41\0\4c2 = (3.416u,5.418u);
  z41\1\0s = (2.172u,4.495u);
  z41\1\0c1 = (3.487u,4.651u);
  z41\1\0c2 = (10.651u,4.770u);
  z41\1\0 = (11.509u,4.260u);
  z41\1\1c1 = (12.158u,3.874u);
  z41\1\1c2 = (12.338u,3.122u);
  z41\1\1 = (12.228u,2.412u);
  z41\1\2c1 = (12.134u,1.812u);
  z41\1\2c2 = (11.867u,1.386u);
  z41\1\2 = (11.296u,1.141u);
  z41\1\3c1 = (10.636u,0.858u);
  z41\1\3c2 = (2.372u,0.858u);
  z41\1\3 = (1.712u,1.141u);
  z41\1\4c1 = (0.076u,1.843u);
  z41\1\4c2 = (0.579u,4.004u);
  fill_or_unfill z41\0\0s
    ..controls z41\0\0c1 and z41\0\0c2..z41\0\0
    ..controls z41\0\1c1 and z41\0\1c2..z41\0\1
    ..controls z41\0\2c1 and z41\0\2c2..z41\0\2
    ..controls z41\0\3c1 and z41\0\3c2..z41\0\3
    ..controls z41\0\4c1 and z41\0\4c2..cycle;
  fill_or_unfill z41\1\0s
    ..controls z41\1\0c1 and z41\1\0c2..z41\1\0
    ..controls z41\1\1c1 and z41\1\1c2..z41\1\1
    ..controls z41\1\2c1 and z41\1\2c2..z41\1\2
    ..controls z41\1\3c1 and z41\1\3c2..z41\1\3
    ..controls z41\1\4c1 and z41\1\4c2..cycle;
  proof_labels (
    41\0\0,
    41\0\1,
    41\0\2,
    41\0\3,
    41\0\4,
    41\1\0,
    41\1\1,
    41\1\2,
    41\1\3,
    41\1\4,
);
endchar;

beginchar (42, 5.059u#, 6.022u#, 0.000u#);
  "(N33a)";
  z42\0\0s = (2.168u,5.872u);
  z42\0\0c1 = (-0.710u,5.046u);
  z42\0\0c2 = (-0.521u,1.548u);
  z42\0\0 = (2.168u,1.114u);
  z42\0\1c1 = (5.486u,0.577u);
  z42\0\1c2 = (6.251u,6.025u);
  z42\1\0s = (2.172u,5.186u);
  z42\1\0c1 = (4.771u,5.309u);
  z42\1\0c2 = (4.879u,2.234u);
  z42\1\0 = (2.887u,1.800u);
  z42\1\1c1 = (0.940u,1.376u);
  z42\1\1c2 = (-0.289u,4.209u);
  fill_or_unfill z42\0\0s
    ..controls z42\0\0c1 and z42\0\0c2..z42\0\0
    ..controls z42\0\1c1 and z42\0\1c2..cycle;
  fill_or_unfill z42\1\0s
    ..controls z42\1\0c1 and z42\1\0c2..z42\1\0
    ..controls z42\1\1c1 and z42\1\1c2..cycle;
  proof_labels (
    42\0\0,
    42\0\1,
    42\1\0,
    42\1\1,
);
endchar;

beginchar (43, 5.300u#, 17.826u#, 0.000u#);
  "(M44)";
  z43\0\0s = (2.409u,17.826u);
  z43\0\0 = (1.137u,9.636u);
  z43\0\1 = (0.000u,0.241u);
  z43\0\2 = (5.300u,0.241u);
  z43\0\3 = (4.163u,9.636u);
  z43\0\4 = (2.891u,17.826u);
  z43\1\0s = (2.891u,12.768u);
  z43\1\0 = (4.095u,1.204u);
  z43\1\1 = (1.204u,1.204u);
  z43\1\2 = (2.409u,12.768u);
  fill_or_unfill z43\0\0s
    --z43\0\0
    --z43\0\1
    --z43\0\2
    --z43\0\3
    --z43\0\4
    --cycle;
  fill_or_unfill z43\1\0s
    --z43\1\0
    --z43\1\1
    --z43\1\2
    --cycle;
  proof_labels (
    43\0\0,
    43\0\1,
    43\0\2,
    43\0\3,
    43\0\4,
    43\0\5,
    43\1\0,
    43\1\1,
    43\1\2,
    43\1\3,
);
endchar;

beginchar (44, 6.504u#, 7.227u#, 0.000u#);
  "Z9";
  z44\0\0s = (0.723u,7.227u);
  z44\0\0c1 = (0.182u,5.748u);
  z44\0\0c2 = (1.546u,4.886u);
  z44\0\0 = (2.650u,4.095u);
  z44\0\1c1 = (1.649u,3.094u);
  z44\0\1c2 = (-0.079u,2.016u);
  z44\0\1 = (0.482u,0.482u);
  z44\0\2c1 = (3.521u,2.658u);
  z44\0\2c2 = (2.623u,3.881u);
  z44\0\2 = (5.781u,0.723u);
  z44\0\3c1 = (6.893u,1.995u);
  z44\0\3c2 = (5.103u,3.133u);
  z44\0\3 = (4.095u,3.854u);
  z44\0\4c1 = (5.067u,4.826u);
  z44\0\4c2 = (6.566u,5.739u);
  z44\0\4 = (6.022u,7.227u);
  z44\0\5c1 = (2.443u,4.664u);
  z44\0\5c2 = (4.302u,4.664u);
  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
    ..controls z44\0\3c1 and z44\0\3c2..z44\0\3
    ..controls z44\0\4c1 and z44\0\4c2..z44\0\4
    ..controls z44\0\5c1 and z44\0\5c2..cycle;
  proof_labels (
    44\0\0,
    44\0\1,
    44\0\2,
    44\0\3,
    44\0\4,
    44\0\5,
);
endchar;

beginchar (45, 11.563u#, 7.709u#, 0.000u#);
  "Z10";
  z45\0\0s = (0.000u,6.263u);
  z45\0\0 = (3.613u,4.577u);
  z45\0\1 = (3.613u,4.095u);
  z45\0\2 = (0.000u,2.650u);
  z45\0\3c1 = (0.197u,1.755u);
  z45\0\3c2 = (0.378u,1.192u);
  z45\0\3 = (1.449u,1.436u);
  z45\0\4c1 = (2.709u,1.723u);
  z45\0\4c2 = (4.697u,3.137u);
  z45\0\4 = (5.781u,3.152u);
  z45\0\5c1 = (7.200u,3.172u);
  z45\0\5c2 = (8.979u,1.545u);
  z45\0\5 = (10.354u,1.386u);
  z45\0\6c1 = (10.713u,1.345u);
  z45\0\6c2 = (11.102u,1.402u);
  z45\0\6 = (11.282u,1.762u);
  z45\0\7c1 = (11.716u,2.630u);
  z45\0\7c2 = (10.190u,3.228u);
  z45\0\7 = (9.636u,3.515u);
  z45\0\8c1 = (9.020u,3.833u);
  z45\0\8c2 = (8.500u,4.156u);
  z45\0\8 = (7.950u,4.577u);
  z45\0\9c1 = (8.570u,4.754u);
  z45\0\9c2 = (10.768u,5.641u);
  z45\0\9 = (11.183u,6.039u);
  z45\0\10c1 = (11.666u,6.503u);
  z45\0\10c2 = (11.512u,7.255u);
  z45\0\10 = (10.805u,7.342u);
  z45\0\11c1 = (9.575u,7.494u);
  z45\0\11c2 = (7.097u,5.508u);
  z45\0\11 = (5.781u,5.580u);
  z45\0\12c1 = (4.592u,5.644u);
  z45\0\12c2 = (2.292u,7.346u);
  z45\0\12 = (1.215u,7.415u);
  z45\0\13c1 = (0.402u,7.468u);
  z45\0\13c2 = (0.227u,6.899u);
  z45\1\0s = (10.600u,6.986u);
  z45\1\0 = (10.840u,6.745u);
  z45\1\1 = (7.227u,5.059u);
  z45\2\0s = (1.514u,6.495u);
  z45\3\0s = (2.168u,6.263u);
  z45\3\0 = (6.986u,4.095u);
  z45\3\1 = (1.927u,6.022u);
  z45\4\0s = (4.818u,3.854u);
  z45\4\0 = (0.963u,1.927u);
  z45\5\0s = (7.950u,3.613u);
  z45\5\0 = (6.986u,3.613u);
  z45\6\0s = (8.191u,3.372u);
  z45\6\0 = (10.840u,2.168u);
  z45\6\1 = (7.950u,3.132u);
  fill_or_unfill z45\0\0s
    --z45\0\0
    --z45\0\1
    --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..z45\0\6
    ..controls z45\0\7c1 and z45\0\7c2..z45\0\7
    ..controls z45\0\8c1 and z45\0\8c2..z45\0\8
    ..controls z45\0\9c1 and z45\0\9c2..z45\0\9
    ..controls z45\0\10c1 and z45\0\10c2..z45\0\10
    ..controls z45\0\11c1 and z45\0\11c2..z45\0\11
    ..controls z45\0\12c1 and z45\0\12c2..z45\0\12
    ..controls z45\0\13c1 and z45\0\13c2..cycle;
  fill_or_unfill z45\1\0s
    --z45\1\0
    --z45\1\1
    --cycle;
  fill_or_unfill z45\2\0s
    --cycle;
  fill_or_unfill z45\3\0s
    --z45\3\0
    --z45\3\1
    --cycle;
  fill_or_unfill z45\4\0s
    --z45\4\0
    --cycle;
  fill_or_unfill z45\5\0s
    --z45\5\0
    --cycle;
  fill_or_unfill z45\6\0s
    --z45\6\0
    --z45\6\1
    --cycle;
  proof_labels (
    45\0\0,
    45\0\1,
    45\0\2,
    45\0\3,
    45\0\4,
    45\0\5,
    45\0\6,
    45\0\7,
    45\0\8,
    45\0\9,
    45\0\10,
    45\0\11,
    45\0\12,
    45\0\13,
    45\1\0,
    45\1\1,
    45\1\2,
    45\2\0,
    45\3\0,
    45\3\1,
    45\3\2,
    45\4\0,
    45\4\1,
    45\5\0,
    45\5\1,
    45\6\0,
    45\6\1,
    45\6\2,
);
endchar;

beginchar (46, 10.600u#, 17.826u#, 0.000u#);
  "Z11";
  z46\0\0s = (4.336u,17.826u);
  z46\0\0 = (4.336u,10.118u);
  z46\0\1 = (0.000u,10.118u);
  z46\0\2 = (0.000u,7.950u);
  z46\0\3 = (4.336u,7.950u);
  z46\0\4 = (4.336u,0.723u);
  z46\0\5 = (6.263u,0.723u);
  z46\0\6 = (6.263u,7.950u);
  z46\0\7 = (10.600u,7.950u);
  z46\0\8 = (10.600u,10.118u);
  z46\0\9 = (6.263u,10.118u);
  z46\0\10 = (6.263u,17.826u);
  z46\1\0s = (5.541u,16.863u);
  z46\1\0 = (5.541u,1.445u);
  z46\1\1 = (5.059u,1.445u);
  z46\1\2 = (5.059u,16.863u);
  z46\2\0s = (4.336u,9.395u);
  z46\2\0 = (4.336u,8.672u);
  z46\2\1 = (0.723u,8.672u);
  z46\2\2 = (0.723u,9.395u);
  z46\3\0s = (9.877u,9.395u);
  z46\3\0 = (9.877u,8.672u);
  z46\3\1 = (6.263u,8.672u);
  z46\3\2 = (6.263u,9.395u);
  fill_or_unfill z46\0\0s
    --z46\0\0
    --z46\0\1
    --z46\0\2
    --z46\0\3
    --z46\0\4
    --z46\0\5
    --z46\0\6
    --z46\0\7
    --z46\0\8
    --z46\0\9
    --z46\0\10
    --cycle;
  fill_or_unfill z46\1\0s
    --z46\1\0
    --z46\1\1
    --z46\1\2
    --cycle;
  fill_or_unfill z46\2\0s
    --z46\2\0
    --z46\2\1
    --z46\2\2
    --cycle;
  fill_or_unfill z46\3\0s
    --z46\3\0
    --z46\3\1
    --z46\3\2
    --cycle;
  proof_labels (
    46\0\0,
    46\0\1,
    46\0\2,
    46\0\3,
    46\0\4,
    46\0\5,
    46\0\6,
    46\0\7,
    46\0\8,
    46\0\9,
    46\0\10,
    46\0\11,
    46\1\0,
    46\1\1,
    46\1\2,
    46\1\3,
    46\2\0,
    46\2\1,
    46\2\2,
    46\2\3,
    46\3\0,
    46\3\1,
    46\3\2,
    46\3\3,
);
endchar;