14.7 $(8, 7 \vert 2, 3) \vert <a^2, a^{-1}b>$

Table 24: Orderings for $(8, 7 \vert 2, 3) \vert <a^2, a^{-1}b>$

Ordering	Precedence on $\Sigma$
kbo-A	(a 1) $>$ (b 1) $>$ (A 6) $>$ (B 1)
kbo-B	(a 1) $>$ (b 1) $>$ (A 1) $>$ (B 6)
kbo-a	(a 6) $>$ (b 1) $>$ (A 1) $>$ (B 1)
kbo-b	(a 1) $>$ (b 6) $>$ (A 1) $>$ (B 1)
ll-BbAa	B $>$ b $>$ A $>$ a
syl-l-abAB	a $>$ b $>$ A $>$ B
syl-r-abAB	a $>$ b $>$ A $>$ B

Table 25: Maximal/Total number of cosets defined - $(8, 7 \vert 2, 3) \vert <a^2, a^{-1}b>$

Ordering	NONE	P-ALL	P-G	P-R	I-ALL	I-R	I-R-P
kbo-A	766	1883	1402	1290	766	1092	1885
kbo-B	1211	1871	1823	1800	1211	1211	1871
kbo-a	901	1839	1634	991	901	901	1839
kbo-b	1211	1804	979	828	1211	1126	1807
ll-BbAa	973	1862	1759	1325	1213	1166	1860
syl-l-abAB	808	1552	907	852	808	837	1552
syl-r-abAB	1096	1566	946	914	1096	946	1566
Ordering	NONE	P-ALL	P-G	P-R	I-ALL	I-R	I-R-P
kbo-A	773	1997	1468	1402	773	1094	2000
kbo-B	1213	2006	1956	1932	1213	1213	2006
kbo-a	903	1921	1699	1040	903	903	1921
kbo-b	1213	1890	1022	848	1213	1130	1889
ll-BbAa	975	1936	1834	1389	1304	1167	1933
syl-l-abAB	932	1690	964	945	932	964	1690
syl-r-abAB	1198	1676	965	960	1198	1023	1676