MINIMAL MAY-RESOLUTIONS FOR THE MOD 2 HOMOLOGY ALGEBRAS OF E_{6}, E_{7}, AND E_{8}

CHRISTIAN NASSAU

Abstract. We describe minimal May-resolutions of the homology algebras A_{i} = H_{∗}(E_{i}, F_{2}) for i ∈ { 6, 7, 8 }. This might help to compute Ext_{A_{8}}(F_{2}, F_{2}) which is the E_{2}-term of the bar spectral sequence converging to H^{∗}(BE_{8}, F_{2}).

– Preliminary Version –

1. Introduction

For a topological group G we let BG denote the classifying space for principal G-bundles. This defines BG only up to homotopy equivalence, and in some cases it is helpful to know that there are more functorial ways to define BG, for example by using a geometric bar-resolution. The homotopy type of BG is enough, however, to define the cohomology groups H^{∗}(BG, R) for a field R, and this is all that we are interested in here. If G is an abstract (ie. discrete) group then BG is simply the Eilenberg-MacLane space K(G, 1).

For fairly general G there is a spectral sequence for the computation of H^{∗}(BG, R) derived from the construction of BG via a geometric bar resolution [K], § 7. It has the form

E_{2} = Ext_{H_{∗}(G,R)}(R, R) ⇒ H^{∗}(BG, R)

and generalizes the well-known classical case of a discrete group G; in that case H_{∗}(G, R) is the R-based group ring RG of G and the spectral sequence collapses to the isomorphism between the algebraic and the topological definition of group cohomology.

This spectral sequence has been computed for a large number of groups, in particular for all of the exceptional simply connected Lie groups G with coefficients in any prime field R, except in the case G = E_{8} and R = F_{2}. These computations have been summarized in [M_{1}]. In the case (G, R) = (E_{8}, F_{2}) the cohomological computations necessary to understand the E_{2}-term became too complicated to be done by hand. It is the purpose of this paper to describe some partial results that could be obtained by the use of a computer.

For further information on the homotopy theory of Hopf spaces and Lie groups the reader may consult [K] and [M_{2}].

The outline of this paper is as follows: in section 2 we recall from [M_{1}] the structure of the homology algebras of E_{6}, E_{7}, and E_{8}; in section 3 we describe the filtrations we use on these homology algebras in order to use the program of [N_{2}]; and finally, in sections 4 and 5 we describe and partially interpret the results of our computations for E_{6}, E_{7}, and E_{8}.

Before we proceed, however, I want to thank Prof. Mimura for suggesting this problem to me (over the dinner table in Sheffield). I had given up the hope that the program described in [N_{2}] could be of use for anything, and I wouldn’t have tried it out on H_{∗}(E_{8}, F_{2}) without his suggestion.

Date: August 26, 1997.

2. The structure of H_{∗}(E_{i}, F_{2})

For i ∈ { 6, 7, 8 } let A_{i} = H_{∗}(E_{i}, F_{2}). This is a Hopf algebra with structure maps induced from the multiplication E_{i} × E_{i} → E_{i} and the diagonal E_{i} → E_{i} × E_{i}. Its structure is completely determined by its dual Hopf algebra A_{i}^{∗} = H^{∗}(E_{i}, F_{2}) and A_{i}^{∗} is easier to describe. In the case of E_{8}, for example, the algebra A_{8}^{∗} is generated by elements x_{3}, x_{5}, x_{9}, x_{15}, x_{17}, x_{23}, x_{27}, x_{29} of the indicated dimensions and these generators are truncated as follows: (see [M_{1}])

x_{3}^{16} = 0, x_{5}^{8} = 0, x_{9}^{4} = x_{15}^{4} = 0, x_{17}^{2} = x_{23}^{2} = x_{27}^{2} = x_{29}^{2} = 0.

The nontrivial reduced coproducts on the x_{i} are

ϕ̄(x_{15}) = x_{3} ⊗ x_{3}^{4} + x_{5} ⊗ x_{5}^{2} + x_{3}^{2} ⊗ x_{9}, ϕ̄(x_{23}) = x_{3} ⊗ x_{5}^{4} + x_{5} ⊗ x_{9}^{2} + x_{3}^{2} ⊗ x_{17},
ϕ̄(x_{27}) = x_{3} ⊗ x_{3}^{8} + x_{9} ⊗ x_{9}^{2} + x_{5}^{2} ⊗ x_{17}, ϕ̄(x_{29}) = x_{5} ⊗ x_{3}^{8} + x_{9} ⊗ x_{5}^{4} + x_{3}^{4} ⊗ x_{9}^{2}.

We can describe A_{8} as the F_{2}-dual of this: for this we let x^{R} := x_{3}^{r_{1}}x_{5}^{r_{2}} ⋯ x_{29}^{r_{8}} for a finite exponent sequence R = (r_{1}, …, r_{8}). Then the nonzero x^{R} form a basis of A_{8}^{∗} and we let M(R) ∈ A_{8} denote the elements of the dual basis. We abbreviate M(R) as M(r_{1}, …, r_{j}) if r_{j+1} = ⋯ = r_{8} = 0.

There are canonical homomorphisms E_{6} → E_{7} → E_{8} and these induce algebra inclusions A_{6} ⊂ A_{7} ⊂ A_{8}. It turns out that every A_{i} has a basis of the form

{ M(R) | certain restrictions on the r_{i} hold }.

The restrictions are shown in the following table:

r_{1}  r_{2} r_{3} r_{4} r_{5} r_{6} r_{7} r_{8}
A_{6} < 4 < 2 < 2 < 2 < 2 < 2 = 0 = 0
A_{7} < 4 < 4 < 4 < 2 < 2 < 2 < 2 = 0
A_{8} < 16 < 8 < 4 < 4 < 2 < 2 < 2 < 2

3. The filtration

We define the weight of x_{i}^{2^{j}} to be w(x_{i}^{2^{j}}) = i. This is extended to general monomials via

w(M(R)) = w(x^{R}) = 3α(r_{1}) + 5α(r_{2}) + ⋯ + 29α(r_{8})

where α(n) denotes the number of ones in the dyadic expansion of n. We then let F^{k}A_{8}^{∗} = span{ x^{R} | w(x^{R}) ≤ k } and F_{k}A_{8} = span{ M(R) | w(x^{R}) > k }. It follows easily that F^{k}A_{8}^{∗} · F^{l}A_{8}^{∗} ⊂ F^{k+l}A_{8}^{∗} and ϕ(F^{k}A_{8}^{∗}) ⊂ ∑_{p+q=k} F^{p}A_{8}^{∗} ⊗ F^{q}A_{8}^{∗}. It is also easy to see that the associated graded EA_{8}^{∗} is the exterior algebra on the classes of x_{i}^{2^{j}}, denoted x_{i,j}, and that each x_{i,j} is primitive. The dual statements about the filtration of A_{8} immediately imply that its associated graded EA_{8} is the exterior algebra on classes that are dual to the x_{i,j}. We denote these dual classes in EA_{8} by h_{k,l} but we warn the reader that the dual of x_{i,j} will not be h_{i,j}. For example, the dual class of x_{9,1} is not h_{9,1} but h_{3,1} and h_{9,1} is not even defined. See Figure 1 for details about the correspondence between the x_{i,j} and the h_{k,l}. The reason for this artifical notation lies in the technicalities of the program used in [N_{2}].

There is an associated spectral sequence

E_{1} = Ext_{EA_{8}}(F_{2}, F_{2}) ⇒ Ext_{A_{8}}(F_{2}, F_{2}).

Since EA_{8} is the exterior algebra on the h_{k,l} its cohomology is the polynomial algebra on corresponding elements of the same dimension. For simplicity we will denote them by h_{k,l}, too. The spectral sequence then takes the form

E_{1} = P (h_{k,l} | h_{k,l} as in Figure 1 ) ⇒ Ext_{A_{8}}(F_{2}, F_{2}).

There are similar spectral sequences for the cohomology of the other A_{i} obtained by restricting the filtration of A_{8}.

MINIMAL MAY-RESOLUTIONS FOR E_{6}, E_{7}, AND E_{8} 3

I don’t know much about this spectral sequence (beyond its existence). In particular there are the following obvious questions which I will leave for the reader to decide.

Does it have a multiplicative structure? If so, are the differentials derivations? What can be said about the extension problems?

The differentials in this spectral sequence can in principle be deduced from the resolutions of A_{6}, A_{7}, and A_{8} that will be described in the next sections. These resolutions, denoted M_{6}, M_{7}, and M_{8}, were computed with the help of the program described in [N_{2}]. They have the following three properties:

They are free resolutions of F_{2}.

They can be filtered compatibly with the filtration of A_{8} and the associated graded complex is a resolution of EA_{8}. They are minimal with respect to the two properties above.

It follows from the minimality that a basis of these resolutions is given by the set of monomials in the h_{k,l}. The differential in the M_{i} agrees with the Koszul differential in the minimal resolution of an exterior algebra up to terms of higher filtration degree. The spectral sequences above can be set up by filtering the M_{i}.

In the computations of the next section we will not use the spectral sequences described above. Instead we will examine the resolutions M_{i} directly.

Warning. In the computations that follow we will be sloppy about many things, in particular about multiplicative structure and extensions. As a general guideline we will usually pretend that the spectral sequences above don’t have any nontrivial multiplicative extensions, so the formulas we will give have to be interpreted with some care.

In the cases of E_{6} and E_{7} we will obtain results that indicate the correctness of the computations in [M_{1}]; with a little bit more attention to detail these computations could presumably be turned into an independent verification of those results.

The section about E_{8}, however, should only be regarded as a first exploration of that case. Its purpose is to help and inspire more rigorous and extensive computations in the not too distant future.

4. Results for E_{6} and E_{7}

The minimal resolution of the exterior algebra E(h_{i,j}) has generators that are indexed on monomials in the h_{i,j}. In the case of A_{8} a general generator has the form

h^{E} := h_{1,0}^{a}h_{1,1}^{c}h_{1,2}^{f}h_{1,3}^{u}h_{2,0}^{b}h_{2,1}^{e}h_{2,2}^{t}h_{3,0}^{d}h_{3,1}^{s}h_{4,0}^{r}h_{4,1}^{v}h_{5,0}^{y}h_{6,0}^{x}h_{7,0}^{h}h_{8,0}^{g}.

The correspondence between the h_{i,j} and the x_{k}^{2^{l}} is shown in Figure 1. The labeling of the exponents looks arbitrary but we shall stick to it throughout this paper. When we deal with A_{6} or A_{7} we have a similar universal monomial h^{E}. The only difference is that some h_{i,j} are left out.

We let M_{i} denote a minimal May resolution of A_{i}. As noted above, M_{i} has the same generators as the minimal resolution of EA_{i}, which means that the generators can be taken to be the h^{E}. To describe M_{i} we have to say what d(h^{E}) is.

4.1. The case of E_{6}. In M_{6}, d(h^{E}) is the formal product of h^{E} with the sum of the following terms:

M(1) h_{1,0}^{−1} [0]

M(0,1) h_{2,0}^{−1} [0]
M(0,0,1) h_{3,0}^{−1} [0]
M(0,0,0,1) h_{4,0}^{−1} [0]

Figure 1. generators, exponents, h_{i,j}’s and degrees

x_{3} x_{3}^{2} x_{3}^{4} x_{3}^{8} x_{5} x_{5}^{2} x_{5}^{4}
i and j  h_{1,0} h_{1,1} h_{1,2} h_{1,3} h_{2,0} h_{2,1} h_{2,2}
exponent a  c  f  u  b  e  t
degree  4  7 13 25 6 11 21
filtration 3  3  3  3  5  5  5
x_{9} x_{9}^{2} x_{15} x_{15}^{2} x_{17} x_{23} x_{27} x_{29}
i and j  h_{3,0} h_{3,1} h_{4,0} h_{4,1} h_{5,0} h_{6,0} h_{7,0} h_{8,0}
exponent d s r v y x h g
degree  10 19 16 31 18 24 28 30
filtration 9  9 15 15 17 23 27 29

M(0,0,0,0,1) h_{5,0}^{−1} [0]
M(0,0,0,0,0,1) h_{6,0}^{−1} [0]
M(2) h_{1,1}^{−1} [0]
(x : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{1,1}^{−1} [3]
(r : \overline{10}) h_{4,0} h_{3,0}^{−1} h_{1,1}^{−1} [3]

Here (w : \overline{01100001}) for example would denote the periodic F_{2}-valued function

ϕ(w) = \begin{cases}1 & if w ≡ 1, 2 or 7 mod 8 \\ 0 & otherwise. \end{cases}

Recall from Figure 1 that r (resp. x) is the exponent of h_{4,0} (resp. h_{6,0}). The numbers in square brackets indicate the shift in the filtration degree and can be ignored. We agree to omit those summands of d(h^{E}) (for a particular E) which contain a negative exponent.

To compute Ext_{A_{6}}(F_{2}, F_{2}) we first have to form the complex Hom_{A_{6}}(M_{6}, F_{2}) which we denote by \overline{M}_{6}. This has the same generators as M_{6} but the differential is transposed and the terms that contain a positive dimensional M(R) ∈ A_{6} are omitted. From this we deduce that in \overline{M}_{6} there are differentials

h_{4,0} ↦ h_{3,0}h_{1,1},  h_{4,0}^{2} ↦ 0,
h_{6,0} ↦ h_{5,0}h_{1,1},  h_{6,0}^{2} ↦ 0.
h_{3,0}h_{6,0} + h_{5,0}h_{4,0} ↦ 0

We conclude that in Ext_{A_{6}}^{1}(F_{2}, F_{2}) there are generators m_{i}, i ∈ { 4, 6, 7, 10, 18 }, corresponding to h_{1,0}, h_{2,0}, h_{1,1}, h_{3,0} and h_{5,0}. In Ext_{A_{6}}^{2}(F_{2}, F_{2}) we have generators m_{34}, m_{32} and m_{48} that correspond to h_{3,0}h_{6,0} + h_{5,0}h_{4,0}, h_{4,0}^{2} and h_{6,0}^{2}. The two nontrivial differentials above give relations m_{7}m_{10} = 0 and m_{7}m_{18} = 0 and from the definition of m_{34} we also get

m_{34}^{2} = h_{3,0}^{2}h_{6,0}^{2} + h_{5,0}^{2}h_{4,0}^{2} = m_{10}^{2}m_{48} + m_{18}^{2}m_{32}.

All of this agrees with the results in Theorem 4.1 of [M_{1}]. With more attention to detail it would be an independent verification of those results.

4.2. The case of E_{7}. The following describes a minimal May-resolution of A_{7}. The conventions are the same as above.

M(1) h_{1,0}^{−1} [0] M(0,1) h_{2,0}^{−1} [0] M(0,0,1) h_{3,0}^{−1} [0] M(0,0,0,1) h_{4,0}^{−1} [0] M(0,0,0,0,1) h_{5,0}^{−1} [0] M(0,0,0,0,0,1) h_{6,0}^{−1} [0] M(0,0,0,0,0,0,1) h_{7,0}^{−1} [0] M(2) h_{1,1}^{−1} [0] M(0,2) h_{2,1}^{−1} [0] M(0,0,2) h_{3,1}^{−1} [0] (x : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{1,1}^{−1} [3] (r : \overline{10}) h_{4,0} h_{3,0}^{−1} h_{1,1}^{−1} [3] (h : \overline{10}) h_{7,0} h_{5,0}^{−1} h_{2,1}^{−1} [5] (r : \overline{10}) h_{4,0} h_{2,1}^{−1} h_{2,0}^{−1} [5] (h : \overline{10}) h_{7,0} h_{3,1}^{−1} h_{3,0}^{−1} [9] (x : \overline{10}) h_{6,0} h_{3,1}^{−1} h_{2,0}^{−1} [9] (r : \overline{10}) M(0,1) h_{4,0} h_{2,1}^{−2} [10] (r : \overline{10}) M(0,0,1) h_{4,0} h_{3,1}^{−1} h_{1,1}^{−1} [12] (x : \overline{10}) M(0,1) h_{6,0} h_{3,1}^{−1} h_{2,1}^{−1} [14] (r : \overline{1100}) h_{4,0}^{2} h_{2,1}^{−3} [15] (r : \overline{1100}) h_{4,0}^{2} h_{3,1}^{−1} h_{1,1}^{−2} [15] (h : \overline{10}) M(0,0,1) h_{7,0} h_{3,1}^{−2} [18] (x : \overline{10})(r : \overline{10}) h_{6,0} h_{4,0} h_{3,1}^{−1} h_{2,1}^{−2} [19] (h : \overline{10})(r : \overline{10}) h_{7,0} h_{4,0} h_{3,1}^{−2} h_{1,1}^{−1} [21] (x : \overline{1100}) h_{6,0}^{2} h_{3,1}^{−2} h_{2,1}^{−1} [23] (h : \overline{1100}) h_{7,0}^{2} h_{3,1}^{−3} [27]

We have generators m_{i}, i ∈ { 4, 6, 10, 18, 7, 11, 19 }, in Ext_{A_{7}}^{1} corresponding to h_{1,0}, h_{2,0}, h_{3,0}, h_{5,0}, h_{1,1}, h_{2,1} and h_{3,1}. In \overline{M}_{7} there are differentials and corresponding relations

h_{4,0} ↦ h_{3,0}h_{1,1} + h_{2,1}h_{2,0}  m_{10}m_{7} + m_{11}m_{6} = 0,
h_{6,0} ↦ h_{5,0}h_{1,1} + h_{3,1}h_{2,0}  m_{18}m_{7} + m_{19}m_{6} = 0,
h_{7,0} ↦ h_{5,0}h_{2,1} + h_{3,1}h_{3,0}  m_{18}m_{11} + m_{19}m_{10} = 0,
h_{4,0}^{2} ↦ h_{2,1}^{3} + h_{3,1}h_{1,1}^{2}  m_{11}^{3} + m_{19}m_{7}^{2} = 0,
h_{6,0}^{2} ↦ h_{3,1}^{2}h_{2,1}  m_{19}^{2}m_{11} = 0,
h_{7,0}^{2} ↦ h_{3,1}^{3}  m_{19}^{3} = 0.

We also find the following elements of Ext_{A_{7}}^{2}, Ext_{A_{7}}^{3} and Ext_{A_{7}}^{4}:

m_{34} = h_{3,0}h_{6,0} + h_{5,0}h_{4,0} + h_{7,0}h_{2,0},
m_{35} = h_{2,1}h_{6,0} + h_{1,1}h_{7,0} + h_{3,1}h_{4,0},
m_{66} = h_{6,0}^{2}h_{5,0} + h_{3,1}^{2}h_{7,0} + h_{3,0}h_{7,0}^{2},
m_{67} = h_{3,1}h_{6,0}^{2} + h_{2,1}h_{7,0}^{2},
m_{64} = h_{4,0}^{4},
m_{96} = h_{6,0}^{4},
m_{112} = h_{7,0}^{4}.

Presumably one can verify from this that the relations of Theorem 4.4 in [M_{1}] are satisfied.

5. Results for E_{8}

The essential part of M_{8} is given in the appendix. Here we merely summarize a few simple consequences of that resolution.

We have elements m_{i} of Ext_{A_{8}}^{1}, i ∈ { 4, 6, 10, 18, 7, 11, 19, 13, 21, 25 }, corresponding to h_{1,0}, h_{2,0}, h_{3,0}, h_{5,0}, h_{1,1}, h_{2,1}, h_{3,1}, h_{1,2}, h_{2,2} and h_{1,3}. There are the following differentials and relations

h_{4,0} ↦ h_{3,0}h_{1,1} + h_{2,1}h_{2,0} + h_{1,2}h_{1,0}  m_{10}m_{7} + m_{11}m_{6} + m_{13}m_{4} = 0
h_{4,1} ↦ h_{3,1}h_{1,2} + h_{2,2}h_{2,1} + h_{1,3}h_{1,1}  m_{19}m_{13} + m_{21}m_{11} + m_{25}m_{7} = 0
h_{6,0} ↦ h_{5,0}h_{1,1} + h_{3,1}h_{2,0} + h_{2,2}h_{1,0}  m_{18}m_{7} + m_{19}m_{6} + m_{21}m_{4} = 0
h_{7,0} ↦ h_{5,0}h_{2,1} + h_{3,1}h_{3,0} + h_{1,3}h_{1,0}  m_{18}m_{11} + m_{19}m_{10} + m_{25}m_{4} = 0
h_{8,0} ↦ h_{5,0}h_{1,2} + h_{2,2}h_{3,0} + h_{1,3}h_{2,0}  m_{18}m_{13} + m_{21}m_{10} + m_{25}m_{6} = 0
h_{4,0}^{2} ↦ h_{1,2}h_{3,0}^{2} + h_{2,1}^{3} + h_{2,2}h_{2,0}^{2}  m_{13}m_{10}^{2} + m_{11}^{3} + m_{21}m_{6}^{2} +
+ h_{3,1}h_{1,1}^{2} + h_{1,2}^{2}h_{1,1} + h_{1,3}h_{1,0}^{2}  +m_{19}m_{7}^{2} + m_{13}^{2}m_{7} + m_{25}m_{4}^{2} = 0
h_{4,1}^{2} ↦ h_{1,3}h_{3,1}^{2} + h_{2,2}^{3} + h_{1,3}^{2}h_{1,2}  m_{25}m_{19}^{2} + m_{21}^{3} + m_{25}^{2}m_{13} = 0
h_{6,0}^{2} ↦ h_{5,0}^{2}h_{1,2} + h_{3,1}^{2}h_{2,1} + h_{2,2}^{2}h_{1,1}  m_{18}^{2}m_{13} + m_{19}^{2}m_{11} + m_{21}^{2}m_{7} = 0
h_{7,0}^{2} ↦ h_{5,0}^{2}h_{2,2} + h_{3,1}^{3} + h_{1,3}^{2}h_{1,1}  m_{18}^{2}m_{21} + m_{19}^{3} + m_{25}^{2}m_{7} = 0
h_{8,0}^{2} ↦ h_{5,0}^{2}h_{1,3} + h_{3,1}h_{2,2}^{2} + h_{1,3}^{2}h_{2,1}  m_{18}^{2}m_{25} + m_{19}m_{21}^{2} + m_{25}^{2}m_{11} = 0
h_{4,0}^{4} ↦ h_{1,3}h_{3,0}^{4} + h_{2,2}h_{2,1}^{4} + h_{1,2}^{5}  m_{25}m_{10}^{4} + m_{21}m_{11}^{4} + m_{13}^{5} = 0
h_{6,0}^{4} ↦ h_{5,0}^{4}h_{1,3} + h_{3,1}^{4}h_{2,2} + h_{2,2}^{4}h_{1,2}  m_{18}^{4}m_{25} + m_{19}^{4}m_{21} + m_{21}^{4}m_{13} = 0
h_{4,1}^{4} ↦ h_{1,3}^{5}  m_{25}^{5} = 0
h_{7,0}^{4} ↦ h_{1,3}^{4}h_{1,2}  m_{25}^{4}m_{13} = 0
h_{8,0}^{4} ↦ h_{2,2}h_{1,3}^{4}  m_{21}m_{25}^{4} = 0
h_{4,0}^{8} ↦ h_{1,3}h_{1,2}^{8}  m_{25}m_{13}^{8} = 0
h_{6,0}^{8} ↦ h_{2,2}^{8}h_{1,3}  m_{21}^{8}m_{25} = 0
h_{7,0}^{8} ↦ h_{1,3}^{9}  m_{25}^{9} = 0

There are also elements m_{i}, i ∈ { 256, 384, 448, 240, 248 }, represented by h_{4,0}^{16}, h_{6,0}^{16}, h_{7,0}^{16}, h_{8,0}^{8} and h_{4,1}^{8}. Less obviously we have m_{i}’s for i ∈ { 34, 35, 37, 41, 49 } given by

m_{34} = h_{5,0}h_{4,0} + h_{3,0}h_{6,0} + h_{2,0}h_{7,0} + h_{1,0}h_{8,0},
m_{35} = h_{3,1}h_{4,0} + h_{1,0}h_{4,1} + h_{2,1}h_{6,0} + h_{1,1}h_{7,0},
m_{37} = h_{2,2}h_{4,0} + h_{2,0}h_{4,1} + h_{1,2}h_{6,0} + h_{1,1}h_{8,0},
m_{41} = h_{1,3}h_{4,0} + h_{3,0}h_{4,1} + h_{1,2}h_{7,0} + h_{2,1}h_{8,0},
m_{49} = h_{5,0}h_{4,1} + h_{1,3}h_{6,0} + h_{2,2}h_{7,0} + h_{3,1}h_{8,0}.

One can check that with these m_{i}’s the description is complete for Ext_{A_{8}}^{k} with k ≤ 2.

Appendix A. Essential part of the May-resolution for E_{8}

The following is the essential part of the May-resolution M_{8}, which means that terms that contain a nontrivial M(R) have been left out. The full resolution is about twice as large and available from [N_{1}]. It took the computer 2 hours, 14 minutes and 32 seconds to compute this.

(x : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{1,1}^{−1} [3] (r : \overline{10}) h_{4,0} h_{3,0}^{−1} h_{1,1}^{−1} [3] (v : \overline{10}) h_{3,1}^{−1} h_{4,1} h_{1,2}^{−1} [3] (h : \overline{10}) h_{7,0} h_{5,0}^{−1} h_{2,1}^{−1} [5] (r : \overline{10}) h_{4,0} h_{2,1}^{−1} h_{2,0}^{−1} [5] (v : \overline{10}) h_{4,1} h_{2,2}^{−1} h_{2,1}^{−1} [5] (g : \overline{10}) h_{8,0} h_{5,0}^{−1} h_{1,2}^{−1} [9] (h : \overline{10}) h_{7,0} h_{3,1}^{−1} h_{3,0}^{−1} [9] (x : \overline{1100}) h_{6,0}^{2} h_{5,0}^{−2} h_{1,2}^{−1} [9] (x : \overline{10}) h_{6,0} h_{3,1}^{−1} h_{2,0}^{−1} [9] (x : \overline{10})(r : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{4,0} h_{1,2}^{−1} h_{3,0}^{−1} [9] (r : \overline{1100}) h_{4,0}^{2} h_{1,2}^{−1} h_{3,0}^{−2} [9] (r : \overline{10}) h_{4,0} h_{1,2}^{−1} h_{1,0}^{−1} [9] (v : \overline{10}) h_{4,1} h_{1,3}^{−1} h_{1,1}^{−1} [9] (v : \overline{1100}) h_{3,1}^{−2} h_{4,1}^{2} h_{1,3}^{−1} [9] (g : \overline{10})(v : \overline{10}) h_{8,0} h_{5,0}^{−1} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−1} [15] (g : \overline{10}) h_{8,0} h_{2,2}^{−1} h_{3,0}^{−1} [15] (h : \overline{10})(r : \overline{10}) h_{7,0} h_{5,0}^{−1} h_{4,0} h_{2,2}^{−1} h_{2,0}^{−1} [15] (h : \overline{1100}) h_{7,0}^{2} h_{5,0}^{−2} h_{2,2}^{−1} [15] (h : \overline{10})(v : \overline{10}) h_{7,0} h_{5,0}^{−1} h_{4,1} h_{2,2}^{−2} [15] (x : \overline{10}) h_{6,0} h_{2,2}^{−1} h_{1,0}^{−1} [15] (x : \overline{1100})(v : \overline{10}) h_{6,0}^{2} h_{5,0}^{−2} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−1} [15] (x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−1} h_{3,0}^{−1} [15] (x : \overline{10})(v : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{4,1} h_{1,3}^{−1} h_{1,2}^{−1} [15] (r : \overline{10})(v : \overline{10}) h_{4,0} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−1} h_{1,0}^{−1} [15] (r : \overline{1100}) h_{4,0}^{2} h_{2,1}^{−3} [15] (r : \overline{10})(v : \overline{10}) h_{4,0} h_{4,1} h_{2,2}^{−2} h_{2,0}^{−1} [15] (r : \overline{1100}) h_{4,0}^{2} h_{2,2}^{−1} h_{2,0}^{−2} [15] (r : \overline{1100}) h_{4,0}^{2} h_{3,1}^{−1} h_{1,1}^{−2} [15] (r : \overline{1100})(v : \overline{10}) h_{4,0}^{2} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−1} h_{3,0}^{−2} [15] (r : \overline{10})(v : \overline{10}) h_{4,0} h_{4,1} h_{1,3}^{−1} h_{1,2}^{−1} h_{3,0}^{−1} [15] (v : \overline{1100}) h_{4,1}^{2} h_{2,2}^{−3} [15] (x : \overline{10})(r : \overline{10}) h_{6,0} h_{4,0} h_{3,1}^{−1} h_{2,1}^{−2} [19] (g : \overline{10})(x : \overline{1100}) h_{8,0} h_{6,0}^{2} h_{5,0}^{−3} h_{1,3}^{−1} [21] (g : \overline{1100}) h_{8,0}^{2} h_{5,0}^{−2} h_{1,3}^{−1} [21] (g : \overline{10})(x : \overline{10})(r : \overline{10}) h_{8,0} h_{6,0} h_{5,0}^{−2} h_{4,0} h_{1,3}^{−1} h_{3,0}^{−1} [21] (g : \overline{10})(r : \overline{10}) h_{8,0} h_{5,0}^{−1} h_{4,0} h_{1,3}^{−1} h_{1,0}^{−1} [21] (g : \overline{10}) h_{8,0} h_{1,3}^{−1} h_{2,0}^{−1} [21] (g : \overline{10})(r : \overline{1100}) h_{8,0} h_{5,0}^{−1} h_{4,0}^{2} h_{1,3}^{−1} h_{3,0}^{−2} [21] (h : \overline{10})(r : \overline{10}) h_{7,0} h_{4,0} h_{3,1}^{−2} h_{1,1}^{−1} [21] (h : \overline{10}) h_{7,0} h_{1,3}^{−1} h_{1,0}^{−1} [21] (x : \overline{1100})(r : \overline{1100}) h_{6,0}^{2} h_{5,0}^{−2} h_{4,0}^{2} h_{1,3}^{−1} h_{3,0}^{−2} [21] (x : \overline{11110000}) h_{6,0}^{4} h_{5,0}^{−4} h_{1,3}^{−1} [21] (x : \overline{1000})(r : \overline{10}) h_{6,0}^{3} h_{5,0}^{−3} h_{4,0} h_{1,3}^{−1} h_{3,0}^{−1} [21] (x : \overline{1100})(r : \overline{10}) h_{6,0}^{2} h_{5,0}^{−2} h_{4,0} h_{1,3}^{−1} h_{1,0}^{−1} [21] (x : \overline{10})(r : \overline{1000}) h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{1,3}^{−1} h_{3,0}^{−3} [21] (r : \overline{1100}) h_{4,0}^{2} h_{1,3}^{−1} h_{1,0}^{−2} [21] (r : \overline{1000}) h_{4,0}^{3} h_{1,3}^{−1} h_{3,0}^{−2} h_{1,0}^{−1} [21] (r : \overline{1100}) h_{4,0}^{2} h_{1,2}^{−2} h_{1,1}^{−1} [21] (r : \overline{11110000}) h_{4,0}^{4} h_{1,3}^{−1} h_{3,0}^{−4} [21] (v : \overline{1100}) h_{4,1}^{2} h_{1,3}^{−2} h_{1,2}^{−1} [21] (x : \overline{1100}) h_{6,0}^{2} h_{3,1}^{−2} h_{2,1}^{−1} [23] (h : \overline{10})(r : \overline{1100}) h_{7,0} h_{5,0}^{−1} h_{4,0}^{2} h_{2,2}^{−1} h_{2,1}^{−2} [25] (r : \overline{1100})(v : \overline{10}) h_{4,0}^{2} h_{4,1} h_{2,2}^{−2} h_{2,1}^{−2} [25] (r : \overline{1000}) h_{4,0}^{3} h_{2,2}^{−1} h_{2,1}^{−2} h_{2,0}^{−1} [25] (g : \overline{10})(r : \overline{10}) h_{8,0} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,1}^{−1} [27] (g : \overline{10})(x : \overline{10})(v : \overline{10}) h_{8,0} h_{6,0} h_{5,0}^{−2} h_{4,1} h_{1,3}^{−2} [27] (g : \overline{10})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{5,0}^{−1} h_{4,0} h_{4,1} h_{1,3}^{−2} h_{3,0}^{−1} [27] (h : \overline{10})(x : \overline{10})(r : \overline{10}) h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{1,2}^{−1} [27] (h : \overline{1100}) h_{7,0}^{2} h_{3,1}^{−3} [27] (x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{6,0}^{2} h_{5,0}^{−2} h_{4,0} h_{4,1} h_{1,3}^{−2} h_{3,0}^{−1} [27] (x : \overline{10})(r : \overline{10}) h_{6,0} h_{4,0} h_{2,2}^{−1} h_{1,2}^{−1} h_{1,1}^{−1} [27] (x : \overline{1000})(v : \overline{10}) h_{6,0}^{3} h_{5,0}^{−3} h_{4,1} h_{1,3}^{−2} [27] (x : \overline{10})(r : \overline{1100}) h_{6,0} h_{5,0}^{−1} h_{4,0}^{2} h_{1,2}^{−3} [27] (x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{4,0} h_{4,1} h_{1,3}^{−2} h_{1,0}^{−1} [27] (x : \overline{10})(r : \overline{1100})(v : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{4,0}^{2} h_{4,1} h_{1,3}^{−2} h_{3,0}^{−2} [27] (r : \overline{1000}) h_{4,0}^{3} h_{1,2}^{−3} h_{3,0}^{−1} [27] (r : \overline{1000})(v : \overline{10}) h_{4,0}^{3} h_{4,1} h_{1,3}^{−2} h_{3,0}^{−3} [27] (v : \overline{1000}) h_{3,1}^{−1} h_{4,1}^{3} h_{1,3}^{−3} [27] (g : \overline{10})(r : \overline{10}) h_{8,0} h_{4,0} h_{1,3}^{−1} h_{2,1}^{−2} [31] (g : \overline{10})(h : \overline{10}) h_{8,0} h_{7,0} h_{3,1}^{−2} h_{2,2}^{−1} [33] (g : \overline{10})(x : \overline{10})(r : \overline{10}) h_{8,0} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,2}^{−1} [33] (g : \overline{10})(v : \overline{1100}) h_{8,0} h_{5,0}^{−1} h_{4,1}^{2} h_{1,3}^{−3} [33] (h : \overline{10})(r : \overline{10}) h_{7,0} h_{4,0} h_{1,3}^{−1} h_{1,2}^{−1} h_{1,1}^{−1} [33] (h : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{1,3}^{−1} h_{1,2}^{−1} [33] (h : \overline{10})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−3} h_{4,1} h_{1,3}^{−1} [33] (h : \overline{10})(x : \overline{1100}) h_{7,0} h_{6,0}^{2} h_{5,0}^{−1} h_{3,1}^{−2} h_{2,2}^{−1} [33] (x : \overline{1100}) h_{6,0}^{2} h_{2,2}^{−2} h_{1,1}^{−1} [33] (x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{6,0} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,1}^{−1} [33] (x : \overline{1100})(v : \overline{10}) h_{6,0}^{2} h_{3,1}^{−2} h_{4,1} h_{2,2}^{−2} [33] (x : \overline{1100})(r : \overline{10}) h_{6,0}^{2} h_{4,0} h_{3,1}^{−2} h_{2,2}^{−1} h_{2,0}^{−1} [33] (x : \overline{10})(r : \overline{10})(v : \overline{1100}) h_{6,0} h_{5,0}^{−1} h_{4,0} h_{4,1}^{2} h_{1,3}^{−3} h_{3,0}^{−1} [33] (x : \overline{1100})(v : \overline{1100}) h_{6,0}^{2} h_{5,0}^{−2} h_{4,1}^{2} h_{1,3}^{−3} [33] (x : \overline{10})(r : \overline{1100})(v : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{4,0}^{2} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−1} h_{1,2}^{−2} [33] (r : \overline{1100})(v : \overline{10}) h_{4,0}^{2} h_{4,1} h_{1,3}^{−1} h_{1,2}^{−3} [33] (r : \overline{10})(v : \overline{1100}) h_{4,0} h_{4,1}^{2} h_{1,3}^{−3} h_{1,0}^{−1} [33] (r : \overline{1000})(v : \overline{10}) h_{4,0}^{3} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−1} h_{1,2}^{−2} h_{3,0}^{−1} [33] (r : \overline{1100})(v : \overline{1100}) h_{4,0}^{2} h_{4,1}^{2} h_{1,3}^{−3} h_{3,0}^{−2} [33] (g : \overline{10})(x : \overline{10}) h_{8,0} h_{6,0} h_{3,1}^{−1} h_{1,3}^{−1} h_{2,1}^{−1} [35] (r : \overline{11110000}) h_{4,0}^{4} h_{2,2}^{−1} h_{2,1}^{−4} [35] (g : \overline{10})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−1} [39] (g : \overline{1100}) h_{8,0}^{2} h_{3,1}^{−1} h_{2,2}^{−2} [39] (g : \overline{10})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,2}^{−1} [39] (g : \overline{10})(h : \overline{10})(x : \overline{10})(r : \overline{10}) h_{8,0} h_{7,0} h_{6,0} h_{5,0}^{−2} h_{4,0} h_{3,1}^{−2} h_{1,3}^{−1} [39] (g : \overline{10})(x : \overline{10})(r : \overline{10}) h_{8,0} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,1}^{−1} [39] (g : \overline{10})(x : \overline{10})(r : \overline{1100}) h_{8,0} h_{6,0} h_{5,0}^{−2} h_{4,0}^{2} h_{1,3}^{−1} h_{1,2}^{−2} [39] (g : \overline{10})(r : \overline{1000}) h_{8,0} h_{5,0}^{−1} h_{4,0}^{3} h_{1,3}^{−1} h_{1,2}^{−2} h_{3,0}^{−1} [39] (h : \overline{10})(x : \overline{10}) h_{7,0} h_{6,0} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,1}^{−1} [39] (h : \overline{10})(x : \overline{10})(r : \overline{10}) h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{1,3}^{−1} h_{1,2}^{−2} [39] (h : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−2} h_{1,1}^{−1} [39] (h : \overline{10})(x : \overline{1000})(r : \overline{10}) h_{7,0} h_{6,0}^{3} h_{5,0}^{−3} h_{4,0} h_{3,1}^{−2} h_{1,3}^{−1} [39] (h : \overline{10})(x : \overline{10})(r : \overline{1000}) h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{3,1}^{−2} h_{1,3}^{−1} h_{3,0}^{−2} [39] (x : \overline{10})(r : \overline{1000}) h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{1,3}^{−1} h_{1,2}^{−2} h_{1,0}^{−1} [39] (x : \overline{10})(r : \overline{1000}) h_{6,0} h_{4,0}^{3} h_{2,2}^{−1} h_{1,3}^{−1} h_{3,0}^{−2} h_{1,1}^{−1} [39] (x : \overline{1000})(r : \overline{1100}) h_{6,0}^{3} h_{5,0}^{−3} h_{4,0}^{2} h_{1,3}^{−1} h_{1,2}^{−2} [39] (x : \overline{1000}) h_{6,0}^{3} h_{5,0}^{−1} h_{2,2}^{−2} h_{1,2}^{−1} [39] (x : \overline{1000})(r : \overline{10}) h_{6,0}^{3} h_{5,0}^{−2} h_{4,0} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,1}^{−1} [39] (x : \overline{1100})(r : \overline{10}) h_{6,0}^{2} h_{4,0} h_{2,2}^{−2} h_{1,2}^{−1} h_{3,0}^{−1} [39] (x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{6,0} h_{4,0} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,2}^{−2} [39] (x : \overline{10})(v : \overline{1000}) h_{6,0} h_{5,0}^{−1} h_{4,1}^{3} h_{1,3}^{−4} [39] (x : \overline{1100})(r : \overline{1000}) h_{6,0}^{2} h_{5,0}^{−2} h_{4,0}^{3} h_{1,3}^{−1} h_{1,2}^{−2} h_{3,0}^{−1} [39] (r : \overline{10})(v : \overline{1000}) h_{4,0} h_{4,1}^{3} h_{1,3}^{−4} h_{3,0}^{−1} [39] (x : \overline{1100})(r : \overline{1100}) h_{6,0}^{2} h_{4,0}^{2} h_{3,1}^{−2} h_{2,2}^{−1} h_{2,1}^{−2} [43] (g : \overline{10})(x : \overline{10})(r : \overline{10}) h_{8,0} h_{6,0} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−1} h_{2,0}^{−1} [45] (g : \overline{10})(h : \overline{10})(x : \overline{10}) h_{8,0} h_{7,0} h_{6,0} h_{5,0}^{−1} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−1} [45] (g : \overline{10})(x : \overline{10})(r : \overline{1000}) h_{8,0} h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−1} h_{3,0}^{−2} [45] (g : \overline{10})(x : \overline{1000})(r : \overline{10}) h_{8,0} h_{6,0}^{3} h_{5,0}^{−3} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−1} [45] (g : \overline{10})(x : \overline{10})(v : \overline{10}) h_{8,0} h_{6,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−1} [45] (g : \overline{10})(h : \overline{10})(r : \overline{10}) h_{8,0} h_{7,0} h_{5,0}^{−1} h_{4,0} h_{1,3}^{−2} h_{1,1}^{−1} [45] (g : \overline{10})(h : \overline{10})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{7,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{1,3}^{−2} [45] (g : \overline{10})(r : \overline{1100})(v : \overline{10}) h_{8,0} h_{5,0}^{−1} h_{4,0}^{2} h_{4,1} h_{1,3}^{−2} h_{1,2}^{−2} [45] (h : \overline{1100}) h_{7,0}^{2} h_{1,3}^{−2} h_{1,1}^{−1} [45] (h : \overline{10})(x : \overline{10})(r : \overline{10}) h_{7,0} h_{6,0} h_{4,0} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,2}^{−1} h_{3,0}^{−1} [45] (h : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{4,0} h_{4,1} h_{1,3}^{−2} h_{1,2}^{−2} [45] (h : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{7,0} h_{4,0}^{3} h_{3,1}^{−2} h_{4,1} h_{1,3}^{−2} h_{3,0}^{−2} [45] (h : \overline{10})(r : \overline{1000}) h_{7,0} h_{4,0}^{3} h_{1,3}^{−2} h_{3,0}^{−2} h_{1,1}^{−1} [45] (h : \overline{10})(x : \overline{1100})(r : \overline{10}) h_{7,0} h_{6,0}^{2} h_{5,0}^{−2} h_{4,0} h_{1,3}^{−2} h_{1,1}^{−1} [45] (h : \overline{10})(x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0}^{2} h_{5,0}^{−2} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{1,3}^{−2} [45] (h : \overline{10})(r : \overline{1000}) h_{7,0} h_{4,0}^{3} h_{3,1}^{−2} h_{1,2}^{−3} [45] (x : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{4,1} h_{1,3}^{−2} h_{1,2}^{−2} h_{3,0}^{−1} [45] (x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{6,0}^{2} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−1} h_{3,0}^{−1} [45] (x : \overline{1100})(v : \overline{10}) h_{6,0}^{2} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−1} [45] (x : \overline{1000})(v : \overline{10}) h_{6,0}^{3} h_{5,0}^{−1} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−1} [45] (x : \overline{1100})(r : \overline{1100})(v : \overline{10}) h_{6,0}^{2} h_{5,0}^{−2} h_{4,0}^{2} h_{4,1} h_{1,3}^{−2} h_{1,2}^{−2} [45] (r : \overline{11110000}) h_{4,0}^{4} h_{1,2}^{−5} [45] (r : \overline{1000})(v : \overline{10}) h_{4,0}^{3} h_{4,1} h_{1,3}^{−2} h_{1,2}^{−2} h_{1,0}^{−1} [45] (v : \overline{11110000}) h_{4,1}^{4} h_{1,3}^{−5} [45] (g : \overline{1100}) h_{8,0}^{2} h_{1,3}^{−2} h_{2,1}^{−1} [47] (g : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{8,0} h_{4,0}^{3} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−2} h_{3,0}^{−2} [51] (g : \overline{10})(x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{6,0}^{2} h_{5,0}^{−2} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−2} [51] (g : \overline{10})(r : \overline{1000}) h_{8,0} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,2}^{−3} [51] (g : \overline{10})(x : \overline{1000}) h_{8,0} h_{6,0}^{3} h_{5,0}^{−2} h_{2,2}^{−2} h_{1,3}^{−1} [51] (g : \overline{10})(x : \overline{1100})(r : \overline{10}) h_{8,0} h_{6,0}^{2} h_{5,0}^{−1} h_{4,0} h_{2,2}^{−2} h_{1,3}^{−1} h_{3,0}^{−1} [51] (h : \overline{10})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−2} h_{3,0}^{−1} [51] (h : \overline{10})(x : \overline{10})(r : \overline{10})(v : \overline{1100}) h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{4,1}^{2} h_{1,3}^{−3} [51] (h : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{7,0} h_{4,0}^{3} h_{3,1}^{−3} h_{4,1} h_{1,3}^{−1} h_{1,2}^{−2} [51] (h : \overline{1100})(x : \overline{10}) h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{1,3}^{−2} h_{1,2}^{−1} [51] (h : \overline{1100})(r : \overline{10}) h_{7,0}^{2} h_{4,0} h_{1,3}^{−2} h_{1,2}^{−1} h_{3,0}^{−1} [51] (h : \overline{10})(x : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−1} [51] (h : \overline{10})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{4,1} h_{1,3}^{−3} h_{1,1}^{−1} [51] (x : \overline{1100})(r : \overline{1000}) h_{6,0}^{2} h_{4,0}^{3} h_{2,2}^{−2} h_{1,3}^{−1} h_{3,0}^{−3} [51] (x : \overline{10})(r : \overline{1000}) h_{6,0} h_{4,0}^{3} h_{2,2}^{−1} h_{1,2}^{−4} [51] (x : \overline{1000})(r : \overline{10}) h_{6,0}^{3} h_{5,0}^{−1} h_{4,0} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,0}^{−1} [51] (x : \overline{11110000}) h_{6,0}^{4} h_{3,1}^{−4} h_{2,2}^{−1} [51] (x : \overline{10})(r : \overline{10})(v : \overline{1100}) h_{6,0} h_{4,0} h_{4,1}^{2} h_{2,2}^{−1} h_{1,3}^{−3} h_{1,1}^{−1} [51] (x : \overline{1000})(r : \overline{1100}) h_{6,0}^{3} h_{5,0}^{−1} h_{4,0}^{2} h_{2,2}^{−2} h_{1,3}^{−1} h_{3,0}^{−2} [51] (x : \overline{10})(r : \overline{1100})(v : \overline{1100}) h_{6,0} h_{5,0}^{−1} h_{4,0}^{2} h_{4,1}^{2} h_{1,3}^{−3} h_{1,2}^{−2} [51] (r : \overline{11110000})(v : \overline{10}) h_{4,0}^{4} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−1} h_{1,2}^{−4} [51] (r : \overline{1000})(v : \overline{1100}) h_{4,0}^{3} h_{4,1}^{2} h_{1,3}^{−3} h_{1,2}^{−2} h_{3,0}^{−1} [51] (g : \overline{10})(x : \overline{10})(r : \overline{1100}) h_{8,0} h_{6,0} h_{4,0}^{2} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−1} h_{2,1}^{−2} [55] (g : \overline{1100})(r : \overline{10}) h_{8,0}^{2} h_{4,0} h_{2,2}^{−1} h_{1,3}^{−2} h_{2,0}^{−1} [57] (g : \overline{1100})(h : \overline{10}) h_{8,0}^{2} h_{7,0} h_{5,0}^{−1} h_{2,2}^{−1} h_{1,3}^{−2} [57] (g : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{8,0} h_{4,0}^{3} h_{3,1}^{−2} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,2}^{−2} [57] (g : \overline{10})(x : \overline{10})(r : \overline{10})(v : \overline{1100}) h_{8,0} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−1} h_{4,1}^{2} h_{2,2}^{−1} h_{1,3}^{−3} [57] (g : \overline{10})(h : \overline{10})(x : \overline{10})(r : \overline{10}) h_{8,0} h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{2,2}^{−1} h_{1,3}^{−2} h_{3,0}^{−1} [57] (g : \overline{10})(h : \overline{10})(r : \overline{1000}) h_{8,0} h_{7,0} h_{5,0}^{−1} h_{4,0}^{3} h_{3,1}^{−2} h_{1,3}^{−1} h_{1,2}^{−2} [57] (g : \overline{10})(x : \overline{1100})(v : \overline{10}) h_{8,0} h_{6,0}^{2} h_{5,0}^{−1} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} [57] (g : \overline{10})(r : \overline{11110000}) h_{8,0} h_{5,0}^{−1} h_{4,0}^{4} h_{1,3}^{−1} h_{1,2}^{−4} [57] (g : \overline{1100})(v : \overline{10}) h_{8,0}^{2} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} [57] (h : \overline{10})(r : \overline{1000}) h_{7,0} h_{4,0}^{3} h_{1,3}^{−1} h_{1,2}^{−4} [57] (h : \overline{10})(r : \overline{10})(v : \overline{1100}) h_{7,0} h_{4,0} h_{4,1}^{2} h_{1,3}^{−4} h_{1,1}^{−1} [57] (h : \overline{10})(x : \overline{10})(r : \overline{1000}) h_{7,0} h_{6,0} h_{4,0}^{3} h_{2,2}^{−1} h_{1,3}^{−2} h_{3,0}^{−3} [57] (h : \overline{10})(x : \overline{1100})(r : \overline{1000}) h_{7,0} h_{6,0}^{2} h_{5,0}^{−2} h_{4,0}^{3} h_{3,1}^{−2} h_{1,3}^{−1} h_{1,2}^{−2} [57] (h : \overline{1100})(x : \overline{10})(v : \overline{10}) h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−3} [57] (h : \overline{10})(x : \overline{1000})(r : \overline{10}) h_{7,0} h_{6,0}^{3} h_{5,0}^{−2} h_{4,0} h_{2,2}^{−1} h_{1,3}^{−2} h_{3,0}^{−1} [57] (h : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{7,0}^{2} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−3} h_{3,0}^{−1} [57] (h : \overline{1100})(v : \overline{10}) h_{7,0}^{2} h_{4,1} h_{1,3}^{−3} h_{1,2}^{−1} [57] (h : \overline{10})(r : \overline{10})(v : \overline{1000}) h_{7,0} h_{4,0} h_{3,1}^{−2} h_{4,1}^{3} h_{1,3}^{−4} [57] (h : \overline{10})(x : \overline{1100})(r : \overline{10}) h_{7,0} h_{6,0}^{2} h_{4,0} h_{3,1}^{−2} h_{2,2}^{−2} h_{1,2}^{−1} [57] (x : \overline{10})(r : \overline{10100000}) h_{6,0} h_{5,0}^{−1} h_{4,0}^{5} h_{1,3}^{−1} h_{1,2}^{−4} h_{3,0}^{−1} [57] (x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{6,0}^{2} h_{4,0} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} h_{1,0}^{−1} [57] (x : \overline{1100})(r : \overline{1100})(v : \overline{10}) h_{6,0}^{2} h_{4,0}^{2} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} h_{3,0}^{−2} [57] (x : \overline{1000})(r : \overline{10})(v : \overline{10}) h_{6,0}^{3} h_{5,0}^{−1} h_{4,0} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} h_{3,0}^{−1} [57] (x : \overline{1100})(r : \overline{11110000}) h_{6,0}^{2} h_{5,0}^{−2} h_{4,0}^{4} h_{1,3}^{−1} h_{1,2}^{−4} [57] (x : \overline{1100})(r : \overline{1100}) h_{6,0}^{2} h_{4,0}^{2} h_{2,2}^{−2} h_{1,2}^{−3} [57] (r : \overline{1100})(v : \overline{1000}) h_{4,0}^{2} h_{4,1}^{3} h_{1,3}^{−4} h_{1,2}^{−2} [57] (r : \overline{11000000}) h_{4,0}^{6} h_{1,3}^{−1} h_{1,2}^{−4} h_{3,0}^{−2} [57] (r : \overline{10100000}) h_{4,0}^{5} h_{1,3}^{−1} h_{1,2}^{−4} h_{1,0}^{−1} [57] (g : \overline{10})(x : \overline{1100})(r : \overline{1000}) h_{8,0} h_{6,0}^{2} h_{5,0}^{−2} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,2}^{−2} [63] (g : \overline{10})(x : \overline{1000}) h_{8,0} h_{6,0}^{3} h_{3,1}^{−3} h_{2,2}^{−1} h_{1,3}^{−1} [63] (g : \overline{10})(r : \overline{10})(v : \overline{1000}) h_{8,0} h_{4,0} h_{3,1}^{−1} h_{4,1}^{3} h_{2,2}^{−1} h_{1,3}^{−4} [63] (g : \overline{10})(x : \overline{1100})(r : \overline{10}) h_{8,0} h_{6,0}^{2} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−3} h_{1,2}^{−1} [63] (g : \overline{10})(h : \overline{1100})(x : \overline{10}) h_{8,0} h_{7,0}^{2} h_{6,0} h_{5,0}^{−2} h_{1,3}^{−3} [63] (g : \overline{10})(h : \overline{10})(x : \overline{10})(v : \overline{10}) h_{8,0} h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−3} [63] (g : \overline{10})(h : \overline{1100})(r : \overline{10}) h_{8,0} h_{7,0}^{2} h_{5,0}^{−1} h_{4,0} h_{1,3}^{−3} h_{3,0}^{−1} [63] (h : \overline{10})(x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0}^{2} h_{4,0} h_{3,1}^{−3} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−1} [63] (h : \overline{1100})(r : \overline{1000}) h_{7,0}^{2} h_{4,0}^{3} h_{1,3}^{−3} h_{3,0}^{−3} [63] (h : \overline{10})(x : \overline{1000})(v : \overline{10}) h_{7,0} h_{6,0}^{3} h_{5,0}^{−2} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−3} [63] (h : \overline{10})(x : \overline{10})(r : \overline{1100})(v : \overline{10}) h_{7,0} h_{6,0} h_{4,0}^{2} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−3} h_{3,0}^{−2} [63] (h : \overline{10})(x : \overline{10})(r : \overline{1000}) h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{1,3}^{−2} h_{1,2}^{−2} h_{1,1}^{−1} [63] (h : \overline{1100})(x : \overline{10})(r : \overline{10}) h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{1,3}^{−3} h_{1,0}^{−1} [63] (h : \overline{10})(x : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{3,1}^{−2} h_{4,1} h_{1,3}^{−2} h_{1,2}^{−2} [63] (h : \overline{1100})(x : \overline{10})(r : \overline{1100}) h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{4,0}^{2} h_{1,3}^{−3} h_{3,0}^{−2} [63] (h : \overline{1100})(x : \overline{1100})(r : \overline{10}) h_{7,0}^{2} h_{6,0}^{2} h_{5,0}^{−2} h_{4,0} h_{1,3}^{−3} h_{3,0}^{−1} [63] (h : \overline{1100})(x : \overline{1000}) h_{7,0}^{2} h_{6,0}^{3} h_{5,0}^{−3} h_{1,3}^{−3} [63] (h : \overline{10})(x : \overline{10})(r : \overline{1100}) h_{7,0} h_{6,0} h_{4,0}^{2} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,2}^{−3} [63] (h : \overline{10})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0} h_{4,0} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−3} h_{1,0}^{−1} [63] (x : \overline{1100})(r : \overline{10})(v : \overline{1100}) h_{6,0}^{2} h_{4,0} h_{4,1}^{2} h_{2,2}^{−2} h_{1,3}^{−3} h_{3,0}^{−1} [63] (x : \overline{1100})(r : \overline{1100})(v : \overline{10}) h_{6,0}^{2} h_{4,0}^{2} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−2} [63] (x : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{6,0} h_{4,0}^{3} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−2} h_{1,1}^{−1} [63] (x : \overline{1000})(r : \overline{10}) h_{6,0}^{3} h_{4,0} h_{2,2}^{−3} h_{1,2}^{−2} [63] (x : \overline{1000})(v : \overline{1100}) h_{6,0}^{3} h_{5,0}^{−1} h_{4,1}^{2} h_{2,2}^{−2} h_{1,3}^{−3} [63] (x : \overline{10})(r : \overline{11110000})(v : \overline{10}) h_{6,0} h_{5,0}^{−1} h_{4,0}^{4} h_{4,1} h_{1,3}^{−2} h_{1,2}^{−4} [63] (r : \overline{10100000})(v : \overline{10}) h_{4,0}^{5} h_{4,1} h_{1,3}^{−2} h_{1,2}^{−4} h_{3,0}^{−1} [63] (g : \overline{1100})(r : \overline{1100}) h_{8,0}^{2} h_{4,0}^{2} h_{2,2}^{−1} h_{1,3}^{−2} h_{2,1}^{−2} [67] (g : \overline{10})(h : \overline{10})(x : \overline{10})(r : \overline{10}) h_{8,0} h_{7,0} h_{6,0} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−1} [69] (g : \overline{10})(x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{6,0}^{2} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{2,2}^{−3} h_{1,3}^{−1} [69] (g : \overline{10})(x : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{8,0} h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−2}

[69]

(g : \overline{10})(h : \overline{1100})(v : \overline{10}) h_{8,0} h_{7,0}^{2} h_{5,0}^{−1} h_{4,1} h_{1,3}^{−4} [69] (g : \overline{10})(h : \overline{10})(x : \overline{1100})(r : \overline{10}) h_{8,0} h_{7,0} h_{6,0}^{2} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{2,2}^{−2} h_{1,3}^{−1} [69] (g : \overline{10})(x : \overline{1100})(r : \overline{1100}) h_{8,0} h_{6,0}^{2} h_{5,0}^{−1} h_{4,0}^{2} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−2} [69] (h : \overline{10})(x : \overline{10})(r : \overline{10})(v : \overline{1100}) h_{7,0} h_{6,0} h_{4,0} h_{4,1}^{2} h_{2,2}^{−1} h_{1,3}^{−4} h_{3,0}^{−1} [69] (h : \overline{10})(x : \overline{1100})(r : \overline{1000}) h_{7,0} h_{6,0}^{2} h_{4,0}^{3} h_{3,1}^{−2} h_{2,2}^{−2} h_{1,3}^{−1} h_{3,0}^{−2} [69] (h : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{7,0} h_{4,0}^{3} h_{4,1} h_{1,3}^{−3} h_{1,2}^{−2} h_{1,1}^{−1} [69] (h : \overline{1100})(r : \overline{1100})(v : \overline{10}) h_{7,0}^{2} h_{4,0}^{2} h_{4,1} h_{1,3}^{−4} h_{3,0}^{−2} [69] (h : \overline{1100})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{4,1} h_{1,3}^{−4} h_{3,0}^{−1} [69] (h : \overline{10})(x : \overline{10})(r : \overline{1100})(v : \overline{10}) h_{7,0} h_{6,0} h_{4,0}^{2} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−2} [69] (h : \overline{1100})(r : \overline{1100}) h_{7,0}^{2} h_{4,0}^{2} h_{1,3}^{−2} h_{1,2}^{−3} [69] (h : \overline{10})(r : \overline{1000})(v : \overline{1100}) h_{7,0} h_{4,0}^{3} h_{3,1}^{−2} h_{4,1}^{2} h_{1,3}^{−3} h_{1,2}^{−2} [69] (h : \overline{10})(x : \overline{1100})(r : \overline{10}) h_{7,0} h_{6,0}^{2} h_{4,0} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−2} [69] (h : \overline{1100})(x : \overline{1100})(v : \overline{10}) h_{7,0}^{2} h_{6,0}^{2} h_{5,0}^{−2} h_{4,1} h_{1,3}^{−4} [69] (h : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{7,0}^{2} h_{4,0} h_{4,1} h_{1,3}^{−4} h_{1,0}^{−1} [69] (h : \overline{1000})(r : \overline{10}) h_{7,0}^{3} h_{4,0} h_{3,1}^{−2} h_{1,3}^{−2} h_{1,2}^{−1} [69] (x : \overline{11110000}) h_{6,0}^{4} h_{2,2}^{−4} h_{1,2}^{−1} [69] (x : \overline{1100})(v : \overline{1000}) h_{6,0}^{2} h_{4,1}^{3} h_{2,2}^{−2} h_{1,3}^{−4} [69] (x : \overline{1100})(r : \overline{1000}) h_{6,0}^{2} h_{4,0}^{3} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−2} h_{1,0}^{−1} [69] (x : \overline{1000})(r : \overline{1000}) h_{6,0}^{3} h_{5,0}^{−1} h_{4,0}^{3} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−2} h_{3,0}^{−1} [69] (r : \overline{11110000})(v : \overline{1100}) h_{4,0}^{4} h_{4,1}^{2} h_{1,3}^{−3} h_{1,2}^{−4} [69] (g : \overline{10})(r : \overline{1000})(v : \overline{1100}) h_{8,0} h_{4,0}^{3} h_{3,1}^{−1} h_{4,1}^{2} h_{2,2}^{−1} h_{1,3}^{−3} h_{1,2}^{−2} [75] (g : \overline{10})(x : \overline{1100})(r : \overline{1000}) h_{8,0} h_{6,0}^{2} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−3} h_{1,3}^{−1} h_{3,0}^{−2} [75] (g : \overline{10})(h : \overline{10})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{7,0} h_{6,0} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} [75] (g : \overline{10})(h : \overline{10})(x : \overline{10})(r : \overline{1100}) h_{8,0} h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0}^{2} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−2} [75] (g : \overline{1100})(x : \overline{1100}) h_{8,0}^{2} h_{6,0}^{2} h_{3,1}^{−2} h_{2,2}^{−1} h_{1,3}^{−2} [75] (g : \overline{10})(h : \overline{1100})(r : \overline{10}) h_{8,0} h_{7,0}^{2} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−1} [75] (h : \overline{1100})(x : \overline{10})(v : \overline{1100}) h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{4,1}^{2} h_{1,3}^{−5} [75] (h : \overline{10})(x : \overline{1000})(r : \overline{10}) h_{7,0} h_{6,0}^{3} h_{5,0}^{−1} h_{4,0} h_{2,2}^{−2} h_{1,3}^{−2} h_{1,1}^{−1} [75] (h : \overline{10})(x : \overline{10})(r : \overline{1000}) h_{7,0} h_{6,0} h_{4,0}^{3} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−2} h_{1,0}^{−1} [75] (h : \overline{1100})(r : \overline{10})(v : \overline{1100}) h_{7,0}^{2} h_{4,0} h_{4,1}^{2} h_{1,3}^{−5} h_{3,0}^{−1} [75] (h : \overline{10})(x : \overline{1000})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0}^{3} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} [75] (h : \overline{10})(x : \overline{1000})(r : \overline{1100}) h_{7,0} h_{6,0}^{3} h_{5,0}^{−2} h_{4,0}^{2} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−2} [75] (h : \overline{1000})(r : \overline{10})(v : \overline{10}) h_{7,0}^{3} h_{4,0} h_{3,1}^{−3} h_{4,1} h_{1,3}^{−3} [75] (h : \overline{10})(x : \overline{10})(v : \overline{1000}) h_{7,0} h_{6,0} h_{4,1}^{3} h_{2,2}^{−1} h_{1,3}^{−5} [75] (h : \overline{10})(x : \overline{10})(r : \overline{10100000}) h_{7,0} h_{6,0} h_{5,0}^{−1} h_{4,0}^{5} h_{3,1}^{−2} h_{1,3}^{−1} h_{1,2}^{−4} [75] (h : \overline{10})(x : \overline{1000}) h_{7,0} h_{6,0}^{3} h_{2,2}^{−3} h_{1,3}^{−1} h_{1,2}^{−1} [75] (h : \overline{1100})(x : \overline{10})(r : \overline{10}) h_{7,0}^{2} h_{6,0} h_{4,0} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−2} [75] (h : \overline{1100})(r : \overline{1100})(v : \overline{10}) h_{7,0}^{2} h_{4,0}^{2} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−3} h_{1,2}^{−2} [75] (x : \overline{11110000})(v : \overline{10}) h_{6,0}^{4} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−4} h_{1,3}^{−1} [75] (x : \overline{1000})(r : \overline{10})(v : \overline{10}) h_{6,0}^{3} h_{4,0} h_{4,1} h_{2,2}^{−3} h_{1,3}^{−2} h_{1,1}^{−1} [75] (x : \overline{10})(r : \overline{10100000}) h_{6,0} h_{4,0}^{5} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,2}^{−4} h_{1,1}^{−1} [75] (x : \overline{1000})(r : \overline{1100})(v : \overline{10}) h_{6,0}^{3} h_{5,0}^{−1} h_{4,0}^{2} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} h_{1,2}^{−2} [75] (x : \overline{1100})(r : \overline{1000})(v : \overline{10}) h_{6,0}^{2} h_{4,0}^{3} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} h_{1,2}^{−2} h_{3,0}^{−1} [75] (x : \overline{10})(r : \overline{11000000}) h_{6,0} h_{5,0}^{−1} h_{4,0}^{6} h_{1,3}^{−1} h_{1,2}^{−6} [75] (r : \overline{10000000}) h_{4,0}^{7} h_{1,3}^{−1} h_{1,2}^{−6} h_{3,0}^{−1} [75] (g : \overline{10})(h : \overline{10})(x : \overline{1000})(r : \overline{10}) h_{8,0} h_{7,0} h_{6,0}^{3} h_{5,0}^{−2} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−2} h_{1,3}^{−2} [81] (g : \overline{10})(x : \overline{10})(r : \overline{10100000}) h_{8,0} h_{6,0} h_{5,0}^{−1} h_{4,0}^{5} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,2}^{−4} [81] (g : \overline{10})(h : \overline{10})(x : \overline{10})(r : \overline{1000}) h_{8,0} h_{7,0} h_{6,0} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−2} h_{1,3}^{−2} h_{3,0}^{−2} [81] (g : \overline{10})(h : \overline{1000})(r : \overline{10}) h_{8,0} h_{7,0}^{3} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{1,3}^{−3} [81] (g : \overline{10})(x : \overline{1000})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{6,0}^{3} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−3} h_{1,3}^{−2} [81] (g : \overline{10})(h : \overline{1100})(r : \overline{1100}) h_{8,0} h_{7,0}^{2} h_{5,0}^{−1} h_{4,0}^{2} h_{1,3}^{−3} h_{1,2}^{−2} [81] (g : \overline{10})(h : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{7,0}^{2} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−3} [81] (g : \overline{10})(x : \overline{11110000}) h_{8,0} h_{6,0}^{4} h_{5,0}^{−1} h_{2,2}^{−4} h_{1,3}^{−1} [81] (h : \overline{10})(x : \overline{1100})(r : \overline{10})(v : \overline{1100}) h_{7,0} h_{6,0}^{2} h_{4,0} h_{3,1}^{−2} h_{4,1}^{2} h_{2,2}^{−2} h_{1,3}^{−3} [81] (h : \overline{10})(x : \overline{1000})(v : \overline{10}) h_{7,0} h_{6,0}^{3} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−3} h_{1,3}^{−2} [81] (h : \overline{1100})(x : \overline{10})(r : \overline{1000}) h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{1,3}^{−3} h_{1,2}^{−2} h_{3,0}^{−1} [81] (h : \overline{1100})(v : \overline{1000}) h_{7,0}^{2} h_{4,1}^{3} h_{1,3}^{−6} [81] (h : \overline{10})(x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0}^{2} h_{4,0} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−3} h_{1,1}^{−1} [81] (h : \overline{1100})(x : \overline{1100})(r : \overline{1100}) h_{7,0}^{2} h_{6,0}^{2} h_{5,0}^{−2} h_{4,0}^{2} h_{1,3}^{−3} h_{1,2}^{−2} [81] (h : \overline{1000})(r : \overline{1000}) h_{7,0}^{3} h_{4,0}^{3} h_{3,1}^{−2} h_{1,3}^{−3} h_{3,0}^{−2} [81] (h : \overline{1100})(x : \overline{1100}) h_{7,0}^{2} h_{6,0}^{2} h_{2,2}^{−2} h_{1,3}^{−2} h_{1,2}^{−1} [81] (h : \overline{10})(r : \overline{10100000}) h_{7,0} h_{4,0}^{5} h_{1,3}^{−2} h_{1,2}^{−4} h_{1,1}^{−1} [81] (h : \overline{10})(r : \overline{10100000})(v : \overline{10}) h_{7,0} h_{4,0}^{5} h_{3,1}^{−2} h_{4,1} h_{1,3}^{−2} h_{1,2}^{−4} [81] (h : \overline{1000})(r : \overline{10}) h_{7,0}^{3} h_{4,0} h_{1,3}^{−3} h_{1,2}^{−2} [81] (h : \overline{10})(x : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{7,0} h_{6,0} h_{4,0}^{3} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−3} h_{1,2}^{−2} h_{3,0}^{−1} [81] (h : \overline{1000})(x : \overline{1100})(r : \overline{10}) h_{7,0}^{3} h_{6,0}^{2} h_{5,0}^{−2} h_{4,0} h_{3,1}^{−2} h_{1,3}^{−3} [81] (h : \overline{1100})(r : \overline{1000}) h_{7,0}^{2} h_{4,0}^{3} h_{1,3}^{−3} h_{1,2}^{−2} h_{1,0}^{−1} [81] (x : \overline{11110000})(r : \overline{1100}) h_{6,0}^{4} h_{4,0}^{2} h_{2,2}^{−4} h_{1,3}^{−1} h_{3,0}^{−2} [81] (x : \overline{11110000})(r : \overline{10}) h_{6,0}^{4} h_{4,0} h_{2,2}^{−4} h_{1,3}^{−1} h_{1,0}^{−1} [81] (x : \overline{1100})(r : \overline{1100})(v : \overline{1100}) h_{6,0}^{2} h_{4,0}^{2} h_{4,1}^{2} h_{2,2}^{−2} h_{1,3}^{−3} h_{1,2}^{−2} [81] (x : \overline{11000000}) h_{6,0}^{6} h_{5,0}^{−2} h_{2,2}^{−4} h_{1,3}^{−1} [81] (x : \overline{10100000})(r : \overline{10}) h_{6,0}^{5} h_{5,0}^{−1} h_{4,0} h_{2,2}^{−4} h_{1,3}^{−1} h_{3,0}^{−1} [81] (r : \overline{11000000})(v : \overline{10}) h_{4,0}^{6} h_{4,1} h_{1,3}^{−2} h_{1,2}^{−6} [81] (g : \overline{10})(r : \overline{10100000})(v : \overline{10}) h_{8,0} h_{4,0}^{5} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−4} [87] (g : \overline{10})(h : \overline{1100})(r : \overline{1000}) h_{8,0} h_{7,0}^{2} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−3} h_{3,0}^{−2} [87] (g : \overline{10})(x : \overline{1100})(r : \overline{10})(v : \overline{1100}) h_{8,0} h_{6,0}^{2} h_{4,0} h_{3,1}^{−1} h_{4,1}^{2} h_{2,2}^{−3} h_{1,3}^{−3} [87] (g : \overline{10})(h : \overline{1100})(x : \overline{1100})(r : \overline{10}) h_{8,0} h_{7,0}^{2} h_{6,0}^{2} h_{5,0}^{−2} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−3}

[87]

(g : \overline{10})(h : \overline{10})(x : \overline{1000}) h_{8,0} h_{7,0} h_{6,0}^{3} h_{5,0}^{−1} h_{2,2}^{−3} h_{1,3}^{−2} [87] (g : \overline{1000})(x : \overline{10}) h_{8,0}^{3} h_{6,0} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−3} [87] (h : \overline{1000})(x : \overline{10})(r : \overline{10}) h_{7,0}^{3} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{1,3}^{−4} h_{1,1}^{−1} [87] (h : \overline{10})(x : \overline{10})(r : \overline{1100})(v : \overline{1100}) h_{7,0} h_{6,0} h_{4,0}^{2} h_{4,1}^{2} h_{2,2}^{−1} h_{1,3}^{−4} h_{1,2}^{−2} [87] (h : \overline{10})(x : \overline{1000})(r : \overline{1000}) h_{7,0} h_{6,0}^{3} h_{5,0}^{−1} h_{4,0}^{3} h_{3,1}^{−2} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−2} [87] (h : \overline{10})(x : \overline{1000})(r : \overline{1100}) h_{7,0} h_{6,0}^{3} h_{4,0}^{2} h_{2,2}^{−3} h_{1,3}^{−2} h_{3,0}^{−2} [87] (h : \overline{1100})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0}^{2} h_{6,0} h_{4,0} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−4} h_{1,1}^{−1} [87] (h : \overline{1100})(r : \overline{1000})(v : \overline{10}) h_{7,0}^{2} h_{4,0}^{3} h_{4,1} h_{1,3}^{−4} h_{1,2}^{−2} h_{3,0}^{−1} [87] (h : \overline{1100})(x : \overline{10})(r : \overline{1100})(v : \overline{10}) h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{4,0}^{2} h_{4,1} h_{1,3}^{−4} h_{1,2}^{−2} [87] (h : \overline{10})(x : \overline{1000})(r : \overline{10}) h_{7,0} h_{6,0}^{3} h_{4,0} h_{2,2}^{−3} h_{1,3}^{−2} h_{1,0}^{−1} [87] (h : \overline{1000})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0}^{3} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{1,3}^{−4} [87] (h : \overline{1100})(x : \overline{1100})(v : \overline{10}) h_{7,0}^{2} h_{6,0}^{2} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−3} [87] (h : \overline{1000})(x : \overline{10}) h_{7,0}^{3} h_{6,0} h_{2,2}^{−1} h_{1,3}^{−3} h_{1,2}^{−1} [87] (x : \overline{11110000})(r : \overline{10})(v : \overline{10}) h_{6,0}^{4} h_{4,0} h_{4,1} h_{2,2}^{−4} h_{1,3}^{−2} h_{3,0}^{−1} [87] (x : \overline{10100000})(v : \overline{10}) h_{6,0}^{5} h_{5,0}^{−1} h_{4,1} h_{2,2}^{−4} h_{1,3}^{−2} [87] (x : \overline{1100})(r : \overline{10100000}) h_{6,0}^{2} h_{4,0}^{5} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−4} h_{3,0}^{−1} [87] (x : \overline{1000})(r : \overline{11110000}) h_{6,0}^{3} h_{5,0}^{−1} h_{4,0}^{4} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−4} [87] (x : \overline{1000})(r : \overline{1000}) h_{6,0}^{3} h_{4,0}^{3} h_{2,2}^{−3} h_{1,3}^{−1} h_{1,2}^{−2} h_{1,1}^{−1} [87] (g : \overline{10})(h : \overline{1100})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−4} [93] (g : \overline{10})(h : \overline{1100})(x : \overline{1100}) h_{8,0} h_{7,0}^{2} h_{6,0}^{2} h_{5,0}^{−1} h_{2,2}^{−2} h_{1,3}^{−3} [93] (g : \overline{10})(h : \overline{10})(x : \overline{10})(r : \overline{10})(v : \overline{1100}) h_{8,0} h_{7,0} h_{6,0} h_{4,0} h_{3,1}^{−1} h_{4,1}^{2} h_{2,2}^{−2} h_{1,3}^{−4} [93] (g : \overline{10})(x : \overline{1000})(r : \overline{1000}) h_{8,0} h_{6,0}^{3} h_{5,0}^{−1} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−3} h_{1,3}^{−1} h_{1,2}^{−2} [93] (h : \overline{10})(x : \overline{1100})(r : \overline{1000})(v : \overline{10}) h_{7,0} h_{6,0}^{2} h_{4,0}^{3} h_{3,1}^{−2} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} h_{1,2}^{−2}

[93]

(h : \overline{1100})(x : \overline{1100})(r : \overline{10}) h_{7,0}^{2} h_{6,0}^{2} h_{4,0} h_{2,2}^{−2} h_{1,3}^{−3} h_{1,0}^{−1} [93] (h : \overline{1000})(r : \overline{10})(v : \overline{1100}) h_{7,0}^{3} h_{4,0} h_{3,1}^{−2} h_{4,1}^{2} h_{1,3}^{−5} [93] (h : \overline{1100})(r : \overline{1100})(v : \overline{1100}) h_{7,0}^{2} h_{4,0}^{2} h_{4,1}^{2} h_{1,3}^{−5} h_{1,2}^{−2} [93] (h : \overline{1100})(x : \overline{1000})(r : \overline{10}) h_{7,0}^{2} h_{6,0}^{3} h_{5,0}^{−1} h_{4,0} h_{2,2}^{−2} h_{1,3}^{−3} h_{3,0}^{−1} [93] (h : \overline{10})(x : \overline{10})(r : \overline{10100000}) h_{7,0} h_{6,0} h_{4,0}^{5} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−4} h_{3,0}^{−1} [93] (h : \overline{10})(r : \overline{10000000}) h_{7,0} h_{4,0}^{7} h_{3,1}^{−2} h_{1,3}^{−1} h_{1,2}^{−6} [93] (h : \overline{1100})(x : \overline{1100})(r : \overline{1100}) h_{7,0}^{2} h_{6,0}^{2} h_{4,0}^{2} h_{2,2}^{−2} h_{1,3}^{−3} h_{3,0}^{−2} [93] (h : \overline{1000})(x : \overline{10})(v : \overline{10}) h_{7,0}^{3} h_{6,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−4} [93] (h : \overline{11110000}) h_{7,0}^{4} h_{1,3}^{−4} h_{1,2}^{−1} [93] (h : \overline{1000})(r : \overline{10})(v : \overline{10}) h_{7,0}^{3} h_{4,0} h_{4,1} h_{1,3}^{−5} h_{1,1}^{−1} [93] (h : \overline{10})(x : \overline{1000})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0}^{3} h_{4,0} h_{4,1} h_{2,2}^{−3} h_{1,3}^{−3} h_{3,0}^{−1} [93] (h : \overline{10})(x : \overline{1100})(r : \overline{1000}) h_{7,0} h_{6,0}^{2} h_{4,0}^{3} h_{2,2}^{−2} h_{1,3}^{−2} h_{1,2}^{−2} h_{1,1}^{−1} [93] (x : \overline{11110000})(v : \overline{1100}) h_{6,0}^{4} h_{4,1}^{2} h_{2,2}^{−4} h_{1,3}^{−3} [93] (x : \overline{1100})(r : \overline{11110000})(v : \overline{10}) h_{6,0}^{2} h_{4,0}^{4} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−2} h_{1,2}^{−4} [93] (r : \overline{1111111100000000}) h_{4,0}^{8} h_{1,3}^{−1} h_{1,2}^{−8} [93] (g : \overline{10})(x : \overline{1100})(r : \overline{1000})(v : \overline{10}) h_{8,0} h_{6,0}^{2} h_{4,0}^{3} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−3} h_{1,3}^{−2} h_{1,2}^{−2}

[99]

(g : \overline{10})(h : \overline{1000})(x : \overline{10}) h_{8,0} h_{7,0}^{3} h_{6,0} h_{5,0}^{−1} h_{2,2}^{−1} h_{1,3}^{−4} [99] (g : \overline{10})(r : \overline{10000000}) h_{8,0} h_{4,0}^{7} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−1} h_{1,2}^{−6} [99] (g : \overline{11110000}) h_{8,0}^{4} h_{2,2}^{−1} h_{1,3}^{−4} [99] (g : \overline{10})(h : \overline{1100})(r : \overline{10})(v : \overline{1100}) h_{8,0} h_{7,0}^{2} h_{4,0} h_{3,1}^{−1} h_{4,1}^{2} h_{2,2}^{−1} h_{1,3}^{−5} [99] (h : \overline{1000})(x : \overline{10})(r : \overline{1100}) h_{7,0}^{3} h_{6,0} h_{4,0}^{2} h_{2,2}^{−1} h_{1,3}^{−4} h_{3,0}^{−2} [99] (h : \overline{10})(x : \overline{1000})(v : \overline{1100}) h_{7,0} h_{6,0}^{3} h_{4,1}^{2} h_{2,2}^{−3} h_{1,3}^{−4} [99] (h : \overline{1100})(x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{7,0}^{2} h_{6,0}^{2} h_{4,0} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−4} h_{3,0}^{−1} [99] (h : \overline{11110000})(v : \overline{10}) h_{7,0}^{4} h_{3,1}^{−1} h_{4,1} h_{1,3}^{−5} [99] (h : \overline{1000})(x : \overline{10})(r : \overline{10}) h_{7,0}^{3} h_{6,0} h_{4,0} h_{2,2}^{−1} h_{1,3}^{−4} h_{1,0}^{−1} [99] (h : \overline{1000})(x : \overline{1000}) h_{7,0}^{3} h_{6,0}^{3} h_{5,0}^{−2} h_{2,2}^{−1} h_{1,3}^{−4} [99] (h : \overline{1000})(x : \overline{10})(r : \overline{1000}) h_{7,0}^{3} h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{3,1}^{−2} h_{1,3}^{−3} h_{1,2}^{−2} [99] (h : \overline{1100})(x : \overline{10})(r : \overline{11110000}) h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{4,0}^{4} h_{1,3}^{−3} h_{1,2}^{−4} [99] (h : \overline{1100})(r : \overline{10100000}) h_{7,0}^{2} h_{4,0}^{5} h_{1,3}^{−3} h_{1,2}^{−4} h_{3,0}^{−1} [99] (h : \overline{1100})(x : \overline{10})(r : \overline{1000}) h_{7,0}^{2} h_{6,0} h_{4,0}^{3} h_{2,2}^{−1} h_{1,3}^{−3} h_{1,2}^{−2} h_{1,1}^{−1} [99] (h : \overline{1100})(x : \overline{1000})(v : \overline{10}) h_{7,0}^{2} h_{6,0}^{3} h_{5,0}^{−1} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−4} [99] (h : \overline{10})(x : \overline{10})(r : \overline{11110000})(v : \overline{10}) h_{7,0} h_{6,0} h_{4,0}^{4} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−3} h_{1,2}^{−4} [99] (h : \overline{10})(x : \overline{10100000})(r : \overline{10}) h_{7,0} h_{6,0}^{5} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{2,2}^{−4} h_{1,3}^{−1} [99] (x : \overline{11110000})(r : \overline{1000}) h_{6,0}^{4} h_{4,0}^{3} h_{2,2}^{−4} h_{1,3}^{−1} h_{1,2}^{−2} h_{3,0}^{−1} [99] (x : \overline{10100000})(r : \overline{10}) h_{6,0}^{5} h_{4,0} h_{2,2}^{−5} h_{1,3}^{−1} h_{1,1}^{−1} [99] (x : \overline{10100000})(r : \overline{1100}) h_{6,0}^{5} h_{5,0}^{−1} h_{4,0}^{2} h_{2,2}^{−4} h_{1,3}^{−1} h_{1,2}^{−2} [99] (g : \overline{10})(h : \overline{10})(x : \overline{10})(r : \overline{1000})(v : \overline{10}) h_{8,0} h_{7,0} h_{6,0} h_{4,0}^{3} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−3} h_{1,2}^{−2} [105] (g : \overline{10})(h : \overline{1100})(x : \overline{10})(r : \overline{1000}) h_{8,0} h_{7,0}^{2} h_{6,0} h_{5,0}^{−1} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−3} h_{1,2}^{−2} [105] (g : \overline{10})(h : \overline{11110000}) h_{8,0} h_{7,0}^{4} h_{5,0}^{−1} h_{1,3}^{−5} [105] (g : \overline{10})(x : \overline{10100000})(r : \overline{10}) h_{8,0} h_{6,0}^{5} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−5} h_{1,3}^{−1} [105] (h : \overline{1100})(r : \overline{11110000})(v : \overline{10}) h_{7,0}^{2} h_{4,0}^{4} h_{4,1} h_{1,3}^{−4} h_{1,2}^{−4} [105] (h : \overline{10})(x : \overline{11110000})(r : \overline{10})(v : \overline{10}) h_{7,0} h_{6,0}^{4} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{2,2}^{−4} h_{1,3}^{−2}

[105]

(h : \overline{11110000})(r : \overline{10}) h_{7,0}^{4} h_{4,0} h_{1,3}^{−5} h_{1,0}^{−1} [105] (h : \overline{10})(x : \overline{1100})(r : \overline{10100000}) h_{7,0} h_{6,0}^{2} h_{4,0}^{5} h_{3,1}^{−2} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−4} [105] (h : \overline{11110000})(x : \overline{10})(r : \overline{10}) h_{7,0}^{4} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{1,3}^{−5} h_{3,0}^{−1} [105] (h : \overline{1000})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{7,0}^{3} h_{6,0} h_{4,0} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−5} h_{3,0}^{−1} [105] (h : \overline{1000})(r : \overline{1000}) h_{7,0}^{3} h_{4,0}^{3} h_{1,3}^{−4} h_{1,2}^{−2} h_{1,1}^{−1} [105] (h : \overline{10})(x : \overline{11110000})(r : \overline{10}) h_{7,0} h_{6,0}^{4} h_{4,0} h_{2,2}^{−4} h_{1,3}^{−2} h_{1,1}^{−1} [105] (h : \overline{10})(x : \overline{1000})(r : \overline{1000}) h_{7,0} h_{6,0}^{3} h_{4,0}^{3} h_{2,2}^{−3} h_{1,3}^{−2} h_{1,2}^{−2} h_{3,0}^{−1} [105] (h : \overline{1000})(r : \overline{1000})(v : \overline{10}) h_{7,0}^{3} h_{4,0}^{3} h_{3,1}^{−2} h_{4,1} h_{1,3}^{−4} h_{1,2}^{−2} [105] (h : \overline{11110000})(x : \overline{1100}) h_{7,0}^{4} h_{6,0}^{2} h_{5,0}^{−2} h_{1,3}^{−5} [105] (h : \overline{11110000})(r : \overline{1100}) h_{7,0}^{4} h_{4,0}^{2} h_{1,3}^{−5} h_{3,0}^{−2} [105] (h : \overline{1100})(x : \overline{1100})(v : \overline{1100}) h_{7,0}^{2} h_{6,0}^{2} h_{4,1}^{2} h_{2,2}^{−2} h_{1,3}^{−5} [105] (x : \overline{11110000})(r : \overline{1100})(v : \overline{10}) h_{6,0}^{4} h_{4,0}^{2} h_{4,1} h_{2,2}^{−4} h_{1,3}^{−2} h_{1,2}^{−2} [105] (x : \overline{1100})(r : \overline{11000000}) h_{6,0}^{2} h_{4,0}^{6} h_{2,2}^{−2} h_{1,3}^{−1} h_{1,2}^{−6} [105] (g : \overline{10})(x : \overline{11110000})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{6,0}^{4} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−5} h_{1,3}^{−2}

[111]

(g : \overline{10})(h : \overline{1100})(r : \overline{1000})(v : \overline{10}) h_{8,0} h_{7,0}^{2} h_{4,0}^{3} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−4} h_{1,2}^{−2}

[111]

(g : \overline{10})(x : \overline{1100})(r : \overline{10100000}) h_{8,0} h_{6,0}^{2} h_{4,0}^{5} h_{3,1}^{−1} h_{2,2}^{−3} h_{1,3}^{−1} h_{1,2}^{−4} [111] (h : \overline{1100})(x : \overline{1000})(r : \overline{1100}) h_{7,0}^{2} h_{6,0}^{3} h_{5,0}^{−1} h_{4,0}^{2} h_{2,2}^{−2} h_{1,3}^{−3} h_{1,2}^{−2} [111] (h : \overline{11110000})(r : \overline{10})(v : \overline{10}) h_{7,0}^{4} h_{4,0} h_{4,1} h_{1,3}^{−6} h_{3,0}^{−1} [111] (h : \overline{1100})(x : \overline{1100})(r : \overline{1000}) h_{7,0}^{2} h_{6,0}^{2} h_{4,0}^{3} h_{2,2}^{−2} h_{1,3}^{−3} h_{1,2}^{−2} h_{3,0}^{−1} [111] (h : \overline{1000})(x : \overline{1000})(r : \overline{10}) h_{7,0}^{3} h_{6,0}^{3} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{2,2}^{−2} h_{1,3}^{−3} [111] (h : \overline{1100})(x : \overline{1000})(r : \overline{10}) h_{7,0}^{2} h_{6,0}^{3} h_{4,0} h_{2,2}^{−3} h_{1,3}^{−3} h_{1,1}^{−1} [111] (h : \overline{10})(x : \overline{10})(r : \overline{11000000}) h_{7,0} h_{6,0} h_{4,0}^{6} h_{2,2}^{−1} h_{1,3}^{−2} h_{1,2}^{−6} [111] (h : \overline{11110000})(x : \overline{10})(v : \overline{10}) h_{7,0}^{4} h_{6,0} h_{5,0}^{−1} h_{4,1} h_{1,3}^{−6} [111] (h : \overline{10})(x : \overline{1000})(r : \overline{1100})(v : \overline{10}) h_{7,0} h_{6,0}^{3} h_{4,0}^{2} h_{4,1} h_{2,2}^{−3} h_{1,3}^{−3} h_{1,2}^{−2} [111] (h : \overline{1000})(x : \overline{10})(v : \overline{1100}) h_{7,0}^{3} h_{6,0} h_{4,1}^{2} h_{2,2}^{−1} h_{1,3}^{−6} [111] (x : \overline{10000000}) h_{6,0}^{7} h_{5,0}^{−1} h_{2,2}^{−6} h_{1,3}^{−1} [111] (x : \overline{11000000})(r : \overline{10}) h_{6,0}^{6} h_{4,0} h_{2,2}^{−6} h_{1,3}^{−1} h_{3,0}^{−1} [111] (g : \overline{10})(h : \overline{10})(x : \overline{1000})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{7,0} h_{6,0}^{3} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−4} h_{1,3}^{−3} [117] (g : \overline{10})(h : \overline{10})(x : \overline{10})(r : \overline{10100000}) h_{8,0} h_{7,0} h_{6,0} h_{4,0}^{5} h_{3,1}^{−1} h_{2,2}^{−2} h_{1,3}^{−2} h_{1,2}^{−4}

[117]

(g : \overline{10})(h : \overline{1100})(x : \overline{1000})(r : \overline{10}) h_{8,0} h_{7,0}^{2} h_{6,0}^{3} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−3} h_{1,3}^{−3}

[117]

(h : \overline{1100})(x : \overline{1100})(r : \overline{1100})(v : \overline{10}) h_{7,0}^{2} h_{6,0}^{2} h_{4,0}^{2} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−4} h_{1,2}^{−2}

[117]

(h : \overline{1000})(x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{7,0}^{3} h_{6,0}^{2} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−4} [117] (h : \overline{1100})(r : \overline{11000000}) h_{7,0}^{2} h_{4,0}^{6} h_{1,3}^{−3} h_{1,2}^{−6} [117] (h : \overline{10})(x : \overline{11110000})(r : \overline{1000}) h_{7,0} h_{6,0}^{4} h_{4,0}^{3} h_{3,1}^{−2} h_{2,2}^{−4} h_{1,3}^{−1} h_{1,2}^{−2} [117] (h : \overline{11110000})(v : \overline{1100}) h_{7,0}^{4} h_{4,1}^{2} h_{1,3}^{−7} [117] (h : \overline{1000})(r : \overline{10100000}) h_{7,0}^{3} h_{4,0}^{5} h_{3,1}^{−2} h_{1,3}^{−3} h_{1,2}^{−4} [117] (h : \overline{10})(x : \overline{10100000})(r : \overline{10}) h_{7,0} h_{6,0}^{5} h_{4,0} h_{2,2}^{−5} h_{1,3}^{−2} h_{3,0}^{−1} [117] (h : \overline{1000})(x : \overline{10})(r : \overline{1000}) h_{7,0}^{3} h_{6,0} h_{4,0}^{3} h_{2,2}^{−1} h_{1,3}^{−4} h_{1,2}^{−2} h_{3,0}^{−1} [117] (h : \overline{1000})(x : \overline{1100})(r : \overline{10}) h_{7,0}^{3} h_{6,0}^{2} h_{4,0} h_{2,2}^{−2} h_{1,3}^{−4} h_{1,1}^{−1} [117] (x : \overline{11000000})(v : \overline{10}) h_{6,0}^{6} h_{4,1} h_{2,2}^{−6} h_{1,3}^{−2} [117] (x : \overline{11110000})(r : \overline{11110000}) h_{6,0}^{4} h_{4,0}^{4} h_{2,2}^{−4} h_{1,3}^{−1} h_{1,2}^{−4} [117] (g : \overline{10})(h : \overline{1100})(r : \overline{10100000}) h_{8,0} h_{7,0}^{2} h_{4,0}^{5} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−3} h_{1,2}^{−4} [123] (g : \overline{10})(h : \overline{1100})(x : \overline{1100})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{7,0}^{2} h_{6,0}^{2} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−3} h_{1,3}^{−4} [123] (g : \overline{10})(x : \overline{11110000})(r : \overline{1000}) h_{8,0} h_{6,0}^{4} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−5} h_{1,3}^{−1} h_{1,2}^{−2} [123] (h : \overline{1100})(x : \overline{10100000}) h_{7,0}^{2} h_{6,0}^{5} h_{5,0}^{−1} h_{2,2}^{−4} h_{1,3}^{−3} [123] (h : \overline{10})(x : \overline{1000})(r : \overline{11110000}) h_{7,0} h_{6,0}^{3} h_{4,0}^{4} h_{2,2}^{−3} h_{1,3}^{−2} h_{1,2}^{−4} [123] (h : \overline{11110000})(x : \overline{10})(r : \overline{10}) h_{7,0}^{4} h_{6,0} h_{4,0} h_{2,2}^{−1} h_{1,3}^{−5} h_{1,1}^{−1} [123] (h : \overline{10100000})(x : \overline{10})(r : \overline{10}) h_{7,0}^{5} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−2} h_{1,3}^{−5} [123] (h : \overline{11110000})(r : \overline{1000}) h_{7,0}^{4} h_{4,0}^{3} h_{1,3}^{−5} h_{1,2}^{−2} h_{3,0}^{−1} [123] (h : \overline{1000})(x : \overline{10})(r : \overline{1100})(v : \overline{10}) h_{7,0}^{3} h_{6,0} h_{4,0}^{2} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−5} h_{1,2}^{−2} [123] (h : \overline{1100})(x : \overline{11110000})(r : \overline{10}) h_{7,0}^{2} h_{6,0}^{4} h_{4,0} h_{2,2}^{−4} h_{1,3}^{−3} h_{3,0}^{−1} [123] (h : \overline{11110000})(x : \overline{10})(r : \overline{1100}) h_{7,0}^{4} h_{6,0} h_{5,0}^{−1} h_{4,0}^{2} h_{1,3}^{−5} h_{1,2}^{−2} [123] (h : \overline{10})(x : \overline{10100000})(v : \overline{10}) h_{7,0} h_{6,0}^{5} h_{4,1} h_{2,2}^{−5} h_{1,3}^{−3} [123] (g : \overline{10})(h : \overline{10})(x : \overline{1000})(r : \overline{1000}) h_{8,0} h_{7,0} h_{6,0}^{3} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−4} h_{1,3}^{−2} h_{1,2}^{−2}

[129]

(g : \overline{10})(h : \overline{11110000})(x : \overline{10})(r : \overline{10}) h_{8,0} h_{7,0}^{4} h_{6,0} h_{5,0}^{−1} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−5}

[129]

(g : \overline{10})(h : \overline{1000})(x : \overline{10})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{7,0}^{3} h_{6,0} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−5} [129] (h : \overline{10})(x : \overline{11000000})(r : \overline{10}) h_{7,0} h_{6,0}^{6} h_{4,0} h_{3,1}^{−2} h_{2,2}^{−6} h_{1,3}^{−1} [129] (h : \overline{1100})(x : \overline{11110000})(v : \overline{10}) h_{7,0}^{2} h_{6,0}^{4} h_{4,1} h_{2,2}^{−4} h_{1,3}^{−4} [129] (h : \overline{10100000})(r : \overline{10})(v : \overline{10}) h_{7,0}^{5} h_{4,0} h_{3,1}^{−2} h_{4,1} h_{1,3}^{−6} [129] (h : \overline{1000})(x : \overline{1100})(r : \overline{1000}) h_{7,0}^{3} h_{6,0}^{2} h_{4,0}^{3} h_{3,1}^{−2} h_{2,2}^{−2} h_{1,3}^{−3} h_{1,2}^{−2} [129] (h : \overline{10100000})(r : \overline{10}) h_{7,0}^{5} h_{4,0} h_{1,3}^{−6} h_{1,1}^{−1} [129] (h : \overline{11110000})(r : \overline{1100})(v : \overline{10}) h_{7,0}^{4} h_{4,0}^{2} h_{4,1} h_{1,3}^{−6} h_{1,2}^{−2} [129] (h : \overline{1000})(x : \overline{1000})(r : \overline{10}) h_{7,0}^{3} h_{6,0}^{3} h_{4,0} h_{2,2}^{−3} h_{1,3}^{−4} h_{3,0}^{−1} [129] (h : \overline{1100})(x : \overline{1100})(r : \overline{11110000}) h_{7,0}^{2} h_{6,0}^{2} h_{4,0}^{4} h_{2,2}^{−2} h_{1,3}^{−3} h_{1,2}^{−4} [129] (x : \overline{11000000})(r : \overline{1100}) h_{6,0}^{6} h_{4,0}^{2} h_{2,2}^{−6} h_{1,3}^{−1} h_{1,2}^{−2} [129] (g : \overline{10})(h : \overline{1100})(x : \overline{1100})(r : \overline{1000}) h_{8,0} h_{7,0}^{2} h_{6,0}^{2} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−3} h_{1,3}^{−3} h_{1,2}^{−2}

[135]

(g : \overline{10})(h : \overline{11110000})(r : \overline{10})(v : \overline{10}) h_{8,0} h_{7,0}^{4} h_{4,0} h_{3,1}^{−1} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−6}

[135]

(g : \overline{10})(x : \overline{11000000})(r : \overline{10}) h_{8,0} h_{6,0}^{6} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−7} h_{1,3}^{−1} [135] (h : \overline{11110000})(x : \overline{1100})(r : \overline{10}) h_{7,0}^{4} h_{6,0}^{2} h_{4,0} h_{2,2}^{−2} h_{1,3}^{−5} h_{3,0}^{−1} [135] (h : \overline{1000})(x : \overline{1000})(v : \overline{10}) h_{7,0}^{3} h_{6,0}^{3} h_{4,1} h_{2,2}^{−3} h_{1,3}^{−5} [135] (h : \overline{11110000})(x : \overline{1000}) h_{7,0}^{4} h_{6,0}^{3} h_{5,0}^{−1} h_{2,2}^{−2} h_{1,3}^{−5} [135] (h : \overline{10})(x : \overline{10100000})(r : \overline{1100}) h_{7,0} h_{6,0}^{5} h_{4,0}^{2} h_{2,2}^{−5} h_{1,3}^{−2} h_{1,2}^{−2} [135] (h : \overline{1000})(x : \overline{10})(r : \overline{11110000}) h_{7,0}^{3} h_{6,0} h_{4,0}^{4} h_{2,2}^{−1} h_{1,3}^{−4} h_{1,2}^{−4} [135] (g : \overline{10})(h : \overline{10})(x : \overline{10100000})(r : \overline{10}) h_{8,0} h_{7,0} h_{6,0}^{5} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−6} h_{1,3}^{−2}

[141]

(g : \overline{10})(h : \overline{1000})(x : \overline{10})(r : \overline{1000}) h_{8,0} h_{7,0}^{3} h_{6,0} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−2} h_{1,3}^{−4} h_{1,2}^{−2}

[141]

(h : \overline{10100000})(r : \overline{1000}) h_{7,0}^{5} h_{4,0}^{3} h_{3,1}^{−2} h_{1,3}^{−5} h_{1,2}^{−2} [141] (h : \overline{10100000})(x : \overline{10})(r : \overline{10}) h_{7,0}^{5} h_{6,0} h_{4,0} h_{2,2}^{−1} h_{1,3}^{−6} h_{3,0}^{−1} [141] (h : \overline{1000})(x : \overline{11110000})(r : \overline{10}) h_{7,0}^{3} h_{6,0}^{4} h_{4,0} h_{3,1}^{−2} h_{2,2}^{−4} h_{1,3}^{−3} [141] (h : \overline{1100})(x : \overline{11110000})(r : \overline{1100}) h_{7,0}^{2} h_{6,0}^{4} h_{4,0}^{2} h_{2,2}^{−4} h_{1,3}^{−3} h_{1,2}^{−2} [141] (h : \overline{11110000})(x : \overline{1100})(v : \overline{10}) h_{7,0}^{4} h_{6,0}^{2} h_{4,1} h_{2,2}^{−2} h_{1,3}^{−6} [141] (h : \overline{11110000})(r : \overline{11110000}) h_{7,0}^{4} h_{4,0}^{4} h_{1,3}^{−5} h_{1,2}^{−4} [141] (x : \overline{1111111100000000}) h_{6,0}^{8} h_{2,2}^{−8} h_{1,3}^{−1} [141] (g : \overline{10})(h : \overline{11110000})(r : \overline{1000}) h_{8,0} h_{7,0}^{4} h_{4,0}^{3} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−5} h_{1,2}^{−2} [147] (g : \overline{10})(h : \overline{1100})(x : \overline{11110000})(r : \overline{10}) h_{8,0} h_{7,0}^{2} h_{6,0}^{4} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−5} h_{1,3}^{−3}

[147]

(h : \overline{11000000})(x : \overline{10}) h_{7,0}^{6} h_{6,0} h_{5,0}^{−1} h_{1,3}^{−7} [147] (h : \overline{11000000})(r : \overline{10}) h_{7,0}^{6} h_{4,0} h_{1,3}^{−7} h_{3,0}^{−1} [147] (h : \overline{1000})(x : \overline{1000})(r : \overline{1100}) h_{7,0}^{3} h_{6,0}^{3} h_{4,0}^{2} h_{2,2}^{−3} h_{1,3}^{−4} h_{1,2}^{−2} [147] (h : \overline{10})(x : \overline{10000000}) h_{7,0} h_{6,0}^{7} h_{2,2}^{−7} h_{1,3}^{−2} [147] (h : \overline{10100000})(x : \overline{10})(v : \overline{10}) h_{7,0}^{5} h_{6,0} h_{4,1} h_{2,2}^{−1} h_{1,3}^{−7} [147] (g : \overline{10})(h : \overline{1000})(x : \overline{1000})(r : \overline{10}) h_{8,0} h_{7,0}^{3} h_{6,0}^{3} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−4} h_{1,3}^{−4} [153] (h : \overline{11110000})(x : \overline{1100})(r : \overline{1100}) h_{7,0}^{4} h_{6,0}^{2} h_{4,0}^{2} h_{2,2}^{−2} h_{1,3}^{−5} h_{1,2}^{−2} [153] (h : \overline{10100000})(x : \overline{1100})(r : \overline{10}) h_{7,0}^{5} h_{6,0}^{2} h_{4,0} h_{3,1}^{−2} h_{2,2}^{−2} h_{1,3}^{−5} [153] (h : \overline{11000000})(v : \overline{10}) h_{7,0}^{6} h_{4,1} h_{1,3}^{−8} [153] (h : \overline{1100})(x : \overline{11000000}) h_{7,0}^{2} h_{6,0}^{6} h_{2,2}^{−6} h_{1,3}^{−3} [153] (g : \overline{10})(h : \overline{11110000})(x : \overline{1100})(r : \overline{10}) h_{8,0} h_{7,0}^{4} h_{6,0}^{2} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−3} h_{1,3}^{−5}

[159]

(h : \overline{10100000})(x : \overline{10})(r : \overline{1100}) h_{7,0}^{5} h_{6,0} h_{4,0}^{2} h_{2,2}^{−1} h_{1,3}^{−6} h_{1,2}^{−2} [159] (h : \overline{1000})(x : \overline{10100000}) h_{7,0}^{3} h_{6,0}^{5} h_{2,2}^{−5} h_{1,3}^{−4} [159] (g : \overline{10})(h : \overline{10100000})(x : \overline{10})(r : \overline{10}) h_{8,0} h_{7,0}^{5} h_{6,0} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−2} h_{1,3}^{−6}

[165]

(h : \overline{11110000})(x : \overline{11110000}) h_{7,0}^{4} h_{6,0}^{4} h_{2,2}^{−4} h_{1,3}^{−5} [165] (h : \overline{11000000})(r : \overline{1100}) h_{7,0}^{6} h_{4,0}^{2} h_{1,3}^{−7} h_{1,2}^{−2} [165] (h : \overline{10000000})(r : \overline{10}) h_{7,0}^{7} h_{4,0} h_{3,1}^{−2} h_{1,3}^{−7} [165] (g : \overline{10})(h : \overline{11000000})(r : \overline{10}) h_{8,0} h_{7,0}^{6} h_{4,0} h_{3,1}^{−1} h_{2,2}^{−1} h_{1,3}^{−7} [171] (h : \overline{10100000})(x : \overline{1000}) h_{7,0}^{5} h_{6,0}^{3} h_{2,2}^{−3} h_{1,3}^{−6} [171] (h : \overline{11000000})(x : \overline{1100}) h_{7,0}^{6} h_{6,0}^{2} h_{2,2}^{−2} h_{1,3}^{−7} [177] (h : \overline{10000000})(x : \overline{10}) h_{7,0}^{7} h_{6,0} h_{2,2}^{−1} h_{1,3}^{−8} [183] (h : \overline{1111111100000000}) h_{7,0}^{8} h_{1,3}^{−9} [189]

References

[K] R. M. Kane, The Homology of Hopf Spaces, North-Holland Mathematical Library, Vol. 40,

Amsterdam 1988 [M_{1}] M. Mimura, The characteristic classes for the exceptional Lie groups, London Math. Soc.

Lecture Note Series vol. 175 (1992), 103-130 [M_{2}] M. Mimura, Homotopy Theory of Lie Groups, Ch. 19 in: Handbook of Algebraic Topology

(ed. I. M. James), Elsevier Science B.V., Amsterdam 1995 [N_{1}] C. Nassau, Internet BE_{8} page at http://www.math.uni-frankfurt.de/~nassau/BE8 [N_{2}] C. Nassau, Computing May - Resolutions, manuscript (1996), available from [N_{1}]

C. Nassau, FB Mathematik (12), Johann Wolfgang Goethe - Universitt, D-60054 Frankfurt, Germany

E-mail address: nassau@math.uni-frankfurt.de