14.1 $E_1 \vert E$

Table 12: Orderings for $E_1 \vert E$

Ordering	Precedence on $\Sigma$
kbo-R	(r 1) $>$ (R 6) $>$ (s 1) $>$ (S 1) $>$ (t 1) $>$ (T 1)
kbo-S	(r 1) $>$ (R 1) $>$ (s 1) $>$ (S 6) $>$ (t 1) $>$ (T 1)
kbo-T	(r 1) $>$ (R 1) $>$ (s 1) $>$ (S 1) $>$ (t 1) $>$ (T 6)
kbo-r	(r 6) $>$ (R 1) $>$ (s 1) $>$ (S 1) $>$ (t 1) $>$ (T 1)
kbo-s	(r 1) $>$ (R 1) $>$ (s 6) $>$ (S 1) $>$ (t 1) $>$ (T 1)
kbo-t	(r 1) $>$ (R 1) $>$ (s 1) $>$ (S 1) $>$ (t 6) $>$ (T 1)
kbo-tsr	(r 6) $>$ (R 1) $>$ (s 12) $>$ (S 1) $>$ (t 18) $>$ (T 1)
ll-TtSsRr	T $>$ t $>$ S $>$ s $>$ R $>$ r
ll-tsrTSR	t $>$ s $>$ r $>$ T $>$ S $>$ R
syl-l-tsrTSR	t $>$ s $>$ r $>$ T $>$ S $>$ R
syl-r-tsrTSR	t $>$ s $>$ r $>$ T $>$ S $>$ R

Table 13: Maximal/Total number of cosets defined - $E_1 \vert E$

Ordering	NONE	P-ALL	P-G	P-R	P-R-2	I-ALL	I-R	I-R-P
kbo-R	146	561	561	538	205	421	96	571
kbo-S	146	504	504	491	205	433	96	545
kbo-T	146	518	518	502	205	427	96	544
kbo-r	146	558	558	553	193	418	89	557
kbo-s	146	542	542	537	193	425	89	533
kbo-t	146	549	549	544	193	431	89	557
kbo-tsr	135	496	496	495	164	312	81	521
ll-TtSsRr	157	572	572	572	223	542	97	572
ll-tsrTSR	157	576	576	576	223	547	97	565
syl-l-tsrTSR	95	360	362	331	86	99	65	370
syl-r-tsrTSR	99	389	388	387	80	114	59	395
Ordering	NONE	P-ALL	P-G	P-R	P-R-2	I-ALL	I-R	I-R-P
kbo-R	146	561	561	538	205	421	96	571
kbo-S	146	504	504	491	205	433	96	545
kbo-T	146	518	518	502	205	427	96	544
kbo-r	146	558	558	553	193	418	89	557
kbo-s	146	542	542	537	193	425	89	533
kbo-t	146	549	549	544	193	431	89	557
kbo-tsr	135	496	496	495	164	312	81	521
ll-TtSsRr	157	572	572	572	223	542	97	572
ll-tsrTSR	157	576	576	576	223	547	97	565
syl-l-tsrTSR	95	360	362	331	86	99	96	370
syl-r-tsrTSR	99	389	388	387	80	114	89	395