5,
9, 7, 8, 12, 3, 3, 8, 8,
8, 8, 8, 8, 8, 8, 9, 9,
9, 10, 11, 11, 11, 11, 12, 12,
13, 13, 13, 14, 14, 15, 19, 20,
3, 6, 6, 6, 6, 6,
(* E7 *)
7, 7, 7, 8, 8, 8, 8, 8,
8, 8, 9, 9, 9, 10, 10, 10,
11, 11, 11, 11, 11, 11, 11, 11,
11, 11, 11, 12, 12, 12, 12, 12,
12, 12, 12, 12, 12, 13, 13, 13,
13, 13, 13, 13, 13, 14, 14, 14,
14, 14, 15, 15, 15, 16, 16, 16,
16, 19, 3, 15, 3, 8, 10, 6,
6, 8, 8, 8, 9, 9, 9, 9,
9, 9, 9, 9, 10, 10, 10, 10,
10, 10, 10, 10, 10, 11, 12, 12,
12, 12, 12, 12, 12, 12,
(* E8 *)
12, 12, 13, 13, 13, 13, 13, 14,
14, 15, 15, 15, 15, 15, 15, 15,
16, 17, 17, 17, 18, 20, 20, 13,
13, 14, 7, 7, 7, 7, 7, 8,
8, 8, 8, 8, 8, 8, 8, 8,
8, 8, 8, 8, 9, 9, 9, 9,
9, 9, 9, 9, 9, 9, 9, 9,
9, 9, 9, 9, 9, 9, 9, 10,
10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10,
10, 10, 11, 11, 11, 11, 11, 11,
11, 12, 12, 12, 12, 12,
(* E9 *)
12, 12, 12, 12, 12, 12, 12, 13,
13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 13, 13, 13, 13, 13, 13,
13, 13, 14, 14, 14, 14, 14, 14,
14, 14, 14, 14, 14, 14, 14, 15,
15, 15, 15, 15, 15, 15, 15, 16,
16, 16, 16, 16, 16, 16, 16, 16,
16, 16, 17, 17, 17, 17, 18, 13,
14, 8, 9, 9, 9, 11, 11, 11,
12, 12, 14, 16, 7, 8, 9, 9,
9, 9, 9, 9, 9, 9, 9, 10,
10, 10, 10, 11, 12, 12,
(* EA *)
12, 12, 13, 15, 16, 10, 5, 8,
11, 12, 12, 13, 13, 13, 14, 14,
8, 9, 12, 16, 16, 17, 4, 6,
6, 7, 8, 8, 8, 8, 8, 8,
8, 9, 9, 9, 9, 9, 9, 10,
10, 10, 10, 10, 10, 11, 11, 12,
13, 13, 14, 14, 16, 18, 18, 20,
21, 9, 9, 9, 9, 10, 10, 10,
10, 11, 11, 11, 12, 12, 14, 9,
10, 11, 12, 13, 14, 15, 15, 9,
13, 6, 8, 9, 11, 11, 12, 12,
12, 13, 14, 10, 11, 12,
(* EB *)
14, 17, 10, 10, 12, 12, 12, 13,
15, 16, 16, 22, 5, 6, 7, 7,
9, 10, 10, 11, 13, 4, 11, 13,
12, 13, 15, 9, 15, 6, 7, 7,
7, 8, 8, 8, 8, 8, 8, 8,
8, 9, 9, 9, 9, 9, 9, 9,
9, 9, 9, 9, 9, 9, 10, 10,
10, 10, 10, 10, 10, 10, 10, 11,
11, 11, 11, 11, 11, 12, 12, 12,
12, 12, 12, 12, 13, 13, 13, 13,
13, 13, 13, 13, 14, 14, 14, 15,
15, 16, 17, 17, 17, 17,

(* EC *)
    17, 16, 7, 11, 12, 13, 13, 16,
    9, 9, 12, 13, 16, 16, 4, 13,
    13, 17, 12, 15, 16, 8, 10, 10,
    10, 11, 11, 13, 14, 7, 8, 8,
    8, 9, 9, 9, 9, 9, 10, 10,
    11, 11, 11, 12, 12, 13, 13, 13,
    13, 13, 13, 13, 13, 14, 15, 15,
    15, 15, 16, 16, 16, 18, 21, 30,
    4, 11, 13, 16, 8, 8, 9, 11,
    12, 4, 7, 8, 8, 9, 9, 9,
    9, 9, 9, 9, 10, 10, 12, 12,
    13, 14, 16, 21, 7, 7,
    (* ED *)
    9, 10, 10, 10, 10, 10, 10, 11,
    13, 13, 14, 16, 16, 17, 17, 24,
    4, 6, 8, 9, 12, 7, 8, 8,
    9, 9, 9, 9, 9, 9, 9, 10,
    10, 10, 10, 10, 10, 10, 10, 10,
    10, 11, 11, 11, 11, 11, 11, 11,
    11, 12, 13, 13, 13, 13, 13, 14,
    14, 14, 14, 14, 15, 15, 15, 16,
    16, 17, 17, 18, 19, 18, 21, 11,
    12, 17, 19, 8, 9, 9, 9, 9,
    9, 10, 10, 10, 11, 11, 11, 11,
    12, 12, 12,