// Description of sigma(W) and f_W for the Coxeter group:
Coxeter group: Finitely presented group on 5 generators
Relations
    s * t = t * s
    s * u * s = u * s * u
    s * v = v * s
    s * w = w * s
    t * u * t = u * t * u
    t * v = v * t
    t * w = w * t
    u * v * u = v * u * v
    u * w = w * u
    v * w * v = w * v * w
    s^2 = Id($)
    t^2 = Id($)
    u^2 = Id($)
    v^2 = Id($)
    w^2 = Id($)


// W has order 1920.


// 171 elements of W do not lie in \sigma(W).
// They are:

c := [ 
s * u * s * t * v * u * s,
t * u * s * t * v * u * t,
s * t * u * v * u * s * t,
u * s * t * u * v * u * s * t,
s * t * u * v * u * s * t * u,
u * s * t * u * v * u * s * t * u,
u * v * u * s * t * u * v,
s * u * s * t * v * u * s * w,
t * u * s * t * v * u * t * w,
s * t * u * v * u * s * t * w,
u * s * t * u * v * u * s * t * w,
s * t * u * v * u * s * t * u * w,
u * s * t * u * v * u * s * t * u * w,
u * v * u * s * t * u * v * w,
s * u * s * t * v * u * s * w * v,
t * u * s * t * v * u * t * w * v,
s * t * u * v * u * s * t * w * v,
u * s * t * u * v * u * s * t * w * v,
s * t * u * v * u * s * t * u * w * v,
u * s * t * u * v * u * s * t * u * w * v,
u * v * u * s * t * u * v * w * v,
s * u * s * t * v * u * s * w * v * u,
t * u * s * t * v * u * t * w * v * u,
s * t * u * v * u * s * t * w * v * u,
u * s * t * u * v * u * s * t * w * v * u,
s * t * u * v * u * s * t * u * w * v * u,
u * s * t * u * v * u * s * t * u * w * v * u,
u * v * u * s * t * u * v * w * v * u,
s * u * s * t * w * v * u * s,
s * u * s * t * v * u * s * w * v * u * s,
t * u * s * t * v * u * t * w * v * u * s,
s * v * u * s * t * w * v * u * s,
s * t * u * v * u * s * t * w * v * u * s,
u * s * v * u * s * t * w * v * u * s,
s * u * s * v * u * s * t * w * v * u * s,
t * u * s * v * u * s * t * w * v * u * s,
s * t * u * s * v * u * s * t * w * v * u * s,
s * u * s * t * v * u * s * t * w * v * u * s,
t * u * s * t * v * u * s * t * w * v * u * s,
s * t * u * s * t * v * u * s * t * w * v * u * s,
u * s * t * u * v * u * s * t * w * v * u * s,
t * u * s * t * u * v * u * s * t * w * v * u * s,
s * t * u * v * u * s * t * u * w * v * u * s,
s * u * s * v * u * s * t * u * w * v * u * s,
s * t * u * s * v * u * s * t * u * w * v * u * s,
s * u * t * v * u * s * t * u * w * v * u * s,
t * u * s * t * v * u * s * t * u * w * v * u * s,
u * s * t * u * v * u * s * t * u * w * v * u * s,
t * u * s * t * u * v * u * s * t * u * w * v * u * s,
u * v * u * s * t * u * v * w * v * u * s,
t * u * s * t * v * u * s * t * u * v * w * v * u * s,
t * u * s * t * w * v * u * t,
s * u * s * t * v * u * s * w * v * u * t,
t * u * s * t * v * u * t * w * v * u * t,
t * v * u * s * t * w * v * u * t,
s * t * u * v * u * s * t * w * v * u * t,
u * t * v * u * s * t * w * v * u * t,
s * u * t * v * u * s * t * w * v * u * t,
t * u * t * v * u * s * t * w * v * u * t,
s * t * u * t * v * u * s * t * w * v * u * t,
s * u * s * t * v * u * s * t * w * v * u * t,
t * u * s * t * v * u * s * t * w * v * u * t,
s * t * u * s * t * v * u * s * t * w * v * u * t,
u * s * t * u * v * u * s * t * w * v * u * t,
s * u * s * t * u * v * u * s * t * w * v * u * t,
s * t * u * v * u * s * t * u * w * v * u * t,
t * u * s * v * u * s * t * u * w * v * u * t,
t * u * t * v * u * s * t * u * w * v * u * t,
s * t * u * t * v * u * s * t * u * w * v * u * t,
s * u * s * t * v * u * s * t * u * w * v * u * t,
u * s * t * u * v * u * s * t * u * w * v * u * t,
s * u * s * t * u * v * u * s * t * u * w * v * u * t,
u * v * u * s * t * u * v * w * v * u * t,
s * u * s * t * v * u * s * t * u * v * w * v * u * t,
s * t * u * w * v * u * s * t,
u * s * t * u * w * v * u * s * t,
s * t * u * v * w * v * u * s * t,
s * t * u * s * t * v * w * v * u * s * t,
u * s * t * u * v * w * v * u * s * t,
s * t * v * u * w * v * u * s * t,
u * s * t * v * u * w * v * u * s * t,
s * u * s * t * v * u * w * v * u * s * t,
t * u * s * t * v * u * w * v * u * s * t,
s * t * u * s * t * v * u * w * v * u * s * t,
s * t * u * s * t * u * v * u * w * v * u * s * t,
s * u * s * t * v * u * s * w * v * u * s * t,
t * u * s * t * v * u * t * w * v * u * s * t,
s * t * u * v * u * s * t * w * v * u * s * t,
s * u * s * t * v * u * s * t * w * v * u * s * t,
t * u * s * t * v * u * s * t * w * v * u * s * t,
u * s * t * u * v * u * s * t * w * v * u * s * t,
v * u * s * t * u * w * v * u * s * t,
u * v * u * s * t * u * w * v * u * s * t,
s * u * v * u * s * t * u * w * v * u * s * t,
t * u * v * u * s * t * u * w * v * u * s * t,
s * t * u * v * u * s * t * u * w * v * u * s * t,
t * u * s * v * u * s * t * u * w * v * u * s * t,
s * u * t * v * u * s * t * u * w * v * u * s * t,
u * s * t * u * v * u * s * t * u * w * v * u * s * t,
v * u * s * t * u * v * w * v * u * s * t,
u * v * u * s * t * u * v * w * v * u * s * t,
s * t * u * v * u * s * t * u * v * w * v * u * s * t,
u * s * t * u * v * u * s * t * u * v * w * v * u * s * t,
s * t * u * w * v * u * s * t * u,
u * s * t * u * w * v * u * s * t * u,
s * t * u * v * w * v * u * s * t * u,
u * s * t * u * v * w * v * u * s * t * u,
s * t * u * s * t * u * v * w * v * u * s * t * u,
s * t * v * u * w * v * u * s * t * u,
u * s * t * v * u * w * v * u * s * t * u,
s * u * s * t * v * u * w * v * u * s * t * u,
t * u * s * t * v * u * w * v * u * s * t * u,
s * t * u * s * t * v * u * w * v * u * s * t * u,
s * t * u * s * t * u * v * u * w * v * u * s * t * u,
s * u * s * t * v * u * s * w * v * u * s * t * u,
t * u * s * t * v * u * t * w * v * u * s * t * u,
s * t * u * v * u * s * t * w * v * u * s * t * u,
u * s * t * u * v * u * s * t * w * v * u * s * t * u,
v * u * s * t * u * w * v * u * s * t * u,
u * v * u * s * t * u * w * v * u * s * t * u,
s * u * v * u * s * t * u * w * v * u * s * t * u,
t * u * v * u * s * t * u * w * v * u * s * t * u,
s * t * u * v * u * s * t * u * w * v * u * s * t * u,
t * u * s * v * u * s * t * u * w * v * u * s * t * u,
s * u * t * v * u * s * t * u * w * v * u * s * t * u,
u * s * t * u * v * u * s * t * u * w * v * u * s * t * u,
v * u * s * t * u * v * w * v * u * s * t * u,
s * t * v * u * s * t * u * v * w * v * u * s * t * u,
u * v * u * s * t * u * v * w * v * u * s * t * u,
s * t * u * v * u * s * t * u * v * w * v * u * s * t * u,
u * s * t * v * u * s * t * u * v * w * v * u * s * t * u,
u * s * t * u * v * u * s * t * u * v * w * v * u * s * t * u,
u * w * v * u * s * t * u * v,
s * t * u * v * w * v * u * s * t * u * v,
u * s * t * u * v * w * v * u * s * t * u * v,
s * t * u * s * t * u * v * w * v * u * s * t * u * v,
v * u * w * v * u * s * t * u * v,
u * v * u * w * v * u * s * t * u * v,
s * u * v * u * w * v * u * s * t * u * v,
t * u * v * u * w * v * u * s * t * u * v,
s * t * u * v * u * w * v * u * s * t * u * v,
u * s * t * u * v * u * w * v * u * s * t * u * v,
s * t * u * s * t * u * v * u * w * v * u * s * t * u * v,
s * u * s * t * v * u * s * w * v * u * s * t * u * v,
t * u * s * t * v * u * t * w * v * u * s * t * u * v,
s * t * u * v * u * s * t * w * v * u * s * t * u * v,
u * s * t * u * v * u * s * t * w * v * u * s * t * u * v,
s * t * u * v * u * s * t * u * w * v * u * s * t * u * v,
u * s * t * u * v * u * s * t * u * w * v * u * s * t * u * v,
v * u * s * t * u * v * w * v * u * s * t * u * v,
s * t * v * u * s * t * u * v * w * v * u * s * t * u * v,
u * v * u * s * t * u * v * w * v * u * s * t * u * v,
s * t * u * v * u * s * t * u * v * w * v * u * s * t * u * v,
u * s * t * v * u * s * t * u * v * w * v * u * s * t * u * v,
u * s * t * u * v * u * s * t * u * v * w * v * u * s * t * u * v,
u * w * v * u * s * t * u * v * w,
v * w * v * u * s * t * u * v * w,
u * v * w * v * u * s * t * u * v * w,
v * u * w * v * u * s * t * u * v * w,
u * v * u * w * v * u * s * t * u * v * w,
s * u * s * t * v * u * s * w * v * u * s * t * u * v * w,
t * u * s * t * v * u * t * w * v * u * s * t * u * v * w,
s * t * u * v * u * s * t * w * v * u * s * t * u * v * w,
u * s * t * u * v * u * s * t * w * v * u * s * t * u * v * w,
s * t * u * v * u * s * t * u * w * v * u * s * t * u * v * w,
u * s * t * u * v * u * s * t * u * w * v * u * s * t * u * v * w,
u * v * u * s * t * u * v * w * v * u * s * t * u * v * w,
s * u * v * u * s * t * u * v * w * v * u * s * t * u * v * w,
t * u * v * u * s * t * u * v * w * v * u * s * t * u * v * w,
u * s * v * u * s * t * u * v * w * v * u * s * t * u * v * w,
u * t * v * u * s * t * u * v * w * v * u * s * t * u * v * w 
 ];


 // The b-basis on the elements not in Sigma(W):
 // (H(w) denotes the KL-basis elt corresponding to w.) 

(1)C(s * u * s) + (1)C(s * u * s * t * v * u * s).
(1)C(t * u * t) + (1)C(t * u * s * t * v * u * t).
(1)C(s * t * v) + (1)C(s * t * u * v * u * s * t).
(1)C(u * s * t * v) + (1)C(u * s * t * u * v * u * s * t).
(1)C(s * t * v * u) + (1)C(s * t * u * v * u * s * t * u).
(1)C(u * s * t * v * u) + (1)C(u * s * t * u * v * u * s * t * u).
(1)C(u * v * u) + (1)C(u * v * u * s * t * u * v).
(1)C(s * u * s * w) + (1)C(s * u * s * t * v * u * s * w).
(1)C(t * u * t * w) + (1)C(t * u * s * t * v * u * t * w).
(1)C(s * t * v * w) + (1)C(s * t * u * v * u * s * t * w).
(1)C(u * s * t * v * w) + (1)C(u * s * t * u * v * u * s * t * w).
(1)C(s * t * v * u * w) + (1)C(s * t * u * v * u * s * t * u * w).
(1)C(u * s * t * v * u * w) + (1)C(u * s * t * u * v * u * s * t * u * w).
(1)C(u * v * u * w) + (1)C(u * v * u * s * t * u * v * w).
(1)C(s * u * s * w * v) + (1)C(s * u * s * t * v * u * s * w * v).
(1)C(t * u * t * w * v) + (1)C(t * u * s * t * v * u * t * w * v).
(1)C(s * t * v * w * v) + (1)C(s * t * u * v * u * s * t * w * v).
(1)C(u * s * t * v * w * v) + (1)C(u * s * t * u * v * u * s * t * w * v).
(1)C(s * t * v * u * w * v) + (1)C(s * t * u * v * u * s * t * u * w * v).
(1)C(u * s * t * v * u * w * v) + (1)C(u * s * t * u * v * u * s * t * u * w * v).
(1)C(u * v * u * w * v) + (1)C(u * v * u * s * t * u * v * w * v).
(1)C(s * u * s * v * u * s) + (1)C(s * u * s * w * v * u) + (1)C(s * u * s * t * v * u * s * w * v * u).
(1)C(t * u * t * v * u * t) + (1)C(t * u * t * w * v * u) + (1)C(t * u * s * t * v * u * t * w * v * u).
(1)C(s * t * v * w * v * u) + (1)C(s * t * u * v * u * s * t * w * v * u).
(1)C(u * s * t * v * w * v * u) + (1)C(u * s * t * u * v * u * s * t * w * v * u).
(1)C(s * t * v * u * w * v * u) + (1)C(s * t * u * v * u * s * t * u * w * v * u).
(1)C(u * s * t * v * u * w * v * u) + (1)C(u * s * t * u * v * u * s * t * u * w * v * u).
(1)C(u * v * u * w * v * u) + (1)C(u * v * u * s * t * u * v * w * v * u).
(1)C(s * u * s * w) + (1)C(s * u * s * t * w * v * u * s).
(1)C(s * u * s * w * v * u * s) + (1)C(s * u * s * t * v * u * s * w * v * u * s).
(1)C(t * u * t * v * u * s * t) + (1)C(t * u * t * w * v * u * s) + (1)C(t * u * s * t * v * u * t * w * v * u * s).
(1)C(s * v * u * s * w) + (1)C(s * v * u * s * t * w * v * u * s).
(1)C(s * t * v * w * v * u * s) + (1)C(s * t * u * v * u * s * t * w * v * u * s).
(1)C(s * u * s * v * u * s) + (1)C(u * s * v * u * s * w) + (1)C(u * s * v * u * s * t * w * v * u * s).
(1)C(s * u * s * v * u * s * w) + (1)C(s * u * s * v * u * s * t * w * v * u * s).
(1)C(s * t * u * s * v * u * s) + (1)C(t * u * s * v * u * s * w) + (1)C(t * u * s * v * u * s * t * w * v * u * s).
(1)C(s * t * u * s * v * u * s * w) + (1)C(s * t * u * s * v * u * s * t * w * v * u * s).
(1)C(s * u * s * v * u * s) + (1)C(s * u * s * t * v * u * s * t * w * v * u * s).
(1)C(t * u * s * t * u * v * u * s) + (1)C(t * u * t * v * u * s * t * u) + (1)C(t * u * s * t * v * u * s * t * w * v * u * s).
(1)C(s * t * u * s * v * u * s) + (1)C(s * t * u * s * t * v * u * s * t * w * v * u * s).
(1)C(u * s * t * v * w * v * u * s) + (1)C(u * s * t * u * v * u * s * t * w * v * u * s).
(1)C(t * u * s * t * u * v * u * s * w) + (1)C(t * u * s * t * u * v * u * s * t * w * v * u * s).
(1)C(s * t * v * u * w * v * u * s) + (1)C(s * t * u * v * u * s * t * u * w * v * u * s).
(1)C(s * u * s * v * u * s) + (1)C(s * u * s * v * u * s * t * u * w * v * u * s).
(1)C(s * t * u * s * v * u * s) + (1)C(s * t * u * s * v * u * s * t * u * w * v * u * s).
(1)C(s * u * s * v * u * s) + (1)C(s * u * t * v * u * s * t * u * w * v * u * s).
(1)C(t * u * t * v * u * s * t * u * v) + (1)C(t * u * s * t * v * u * s * t * u * w * v * u * s).
(1)C(u * s * t * v * u * w * v * u * s) + (1)C(u * s * t * u * v * u * s * t * u * w * v * u * s).
(1)C(t * u * s * t * u * v * u * s) + (1)C(t * u * s * t * u * v * u * s * t * u * w * v * u * s).
(1)C(u * v * u * w * v * u * s) + (1)C(u * v * u * s * t * u * v * w * v * u * s).
(1)C(t * u * t * v * u * s * t * u * v * w) + (1)C(t * u * s * t * v * u * s * t * u * v * w * v * u * s).
(1)C(t * u * t * w) + (1)C(t * u * s * t * w * v * u * t).
(1)C(s * u * s * v * u * s * t) + (1)C(s * u * s * w * v * u * t) + (1)C(s * u * s * t * v * u * s * w * v * u * t).
(1)C(t * u * t * w * v * u * t) + (1)C(t * u * s * t * v * u * t * w * v * u * t).
(1)C(t * v * u * t * w) + (1)C(t * v * u * s * t * w * v * u * t).
(1)C(s * t * v * w * v * u * t) + (1)C(s * t * u * v * u * s * t * w * v * u * t).
(1)C(t * u * t * v * u * t) + (1)C(u * t * v * u * t * w) + (1)C(u * t * v * u * s * t * w * v * u * t).
(1)C(s * t * u * t * v * u * t) + (1)C(s * u * t * v * u * t * w) + (1)C(s * u * t * v * u * s * t * w * v * u * t).
(1)C(t * u * t * v * u * t * w) + (1)C(t * u * t * v * u * s * t * w * v * u * t).
(1)C(s * t * u * t * v * u * t * w) + (1)C(s * t * u * t * v * u * s * t * w * v * u * t).
(1)C(s * u * s * t * u * v * u * t) + (1)C(s * u * s * v * u * s * t * u) + (1)C(s * u * s * t * v * u * s * t * w * v * u * t).
(1)C(t * u * t * v * u * t) + (1)C(t * u * s * t * v * u * s * t * w * v * u * t).
(1)C(s * t * u * t * v * u * t) + (1)C(s * t * u * s * t * v * u * s * t * w * v * u * t).
(1)C(u * s * t * v * w * v * u * t) + (1)C(u * s * t * u * v * u * s * t * w * v * u * t).
(1)C(s * u * s * t * u * v * u * t * w) + (1)C(s * u * s * t * u * v * u * s * t * w * v * u * t).
(1)C(s * t * v * u * w * v * u * t) + (1)C(s * t * u * v * u * s * t * u * w * v * u * t).
(1)C(t * u * t * v * u * t) + (1)C(t * u * s * v * u * s * t * u * w * v * u * t).
(1)C(t * u * t * v * u * t) + (1)C(t * u * t * v * u * s * t * u * w * v * u * t).
(1)C(s * t * u * t * v * u * t) + (1)C(s * t * u * t * v * u * s * t * u * w * v * u * t).
(1)C(s * u * s * v * u * s * t * u * v) + (1)C(s * u * s * t * v * u * s * t * u * w * v * u * t).
(1)C(u * s * t * v * u * w * v * u * t) + (1)C(u * s * t * u * v * u * s * t * u * w * v * u * t).
(1)C(s * u * s * t * u * v * u * t) + (1)C(s * u * s * t * u * v * u * s * t * u * w * v * u * t).
(1)C(u * v * u * w * v * u * t) + (1)C(u * v * u * s * t * u * v * w * v * u * t).
(1)C(s * u * s * v * u * s * t * u * v * w) + (1)C(s * u * s * t * v * u * s * t * u * v * w * v * u * t).
(1)C(s * t * w * v) + (1)C(s * t * u * w * v * u * s * t).
(1)C(u * s * t * w * v) + (1)C(u * s * t * u * w * v * u * s * t).
(1)C(s * t * w) + (1)C(s * t * v * w * v) + (1)C(s * t * u * v * w * v * u * s * t).
(1)C(s * t * u * s * t * u * w) + (1)C(s * t * u * s * t * v * w * v * u * s * t).
(1)C(u * s * t * w) + (1)C(u * s * t * v * w * v) + (1)C(u * s * t * u * v * w * v * u * s * t).
(1)C(s * t * v * w * v) + (1)C(s * t * v * u * w * v * u * s * t).
(1)C(u * s * t * v * w * v) + (1)C(u * s * t * v * u * w * v * u * s * t).
(1)C(s * u * s * t * v * w * v) + (1)C(s * u * s * t * v * u * w * v * u * s * t).
(1)C(t * u * s * t * v * w * v) + (1)C(t * u * s * t * v * u * w * v * u * s * t).
(1)C(s * t * u * s * t * u * w * v) + (1)C(s * t * u * s * t * v * w * v) + (1)C(s * t * u * s * t * v * u * w * v * u * s * t).
(1)C(s * t * u * s * t * u * v * w * v) + (1)C(s * t * u * s * t * u * v * u * w * v * u * s * t).
(1)C(s * u * s * w * v * u * s * t) + (1)C(s * u * s * t * v * u * s * w * v * u * s * t).
(1)C(t * u * t * w * v * u * s * t) + (1)C(t * u * s * t * v * u * t * w * v * u * s * t).
(1)C(s * t * v * u * s * t * u * w) + (1)C(s * t * v * w * v * u * s * t) + (1)C(s * t * u * v * u * s * t * w * v * u * s * t).
(1)C(s * u * s * v * u * s * t) + (1)C(s * u * s * t * v * u * s * t * w * v * u * s * t).
(1)C(t * u * t * v * u * s * t) + (1)C(t * u * s * t * v * u * s * t * w * v * u * s * t).
(1)C(s * t * u * s * t * u * w) + (1)C(u * s * t * v * u * s * t * u * w) + (1)C(u * s * t * v * w * v * u * s * t) + (1)C(u * s * t * u * v * u * s * t * w * v * u * s * t).
(1)C(v * u * s * t * w * v) + (1)C(v * u * s * t * u * w * v * u * s * t).
(1)C(u * v * u * s * t * w * v) + (1)C(u * v * u * s * t * u * w * v * u * s * t).
(1)C(s * u * v * u * s * t * w * v) + (1)C(s * u * v * u * s * t * u * w * v * u * s * t).
(1)C(t * u * v * u * s * t * w * v) + (1)C(t * u * v * u * s * t * u * w * v * u * s * t).
(1)C(s * t * v * w * v) + (1)C(s * t * u * v * u * s * t * w * v) + (1)C(s * t * v * u * s * t * u * w * v) + (1)C(s * t * v * u * w * v * u * s * t) + (1)C(s * t * u * v * u * s * t * u * w * v * u * s * t).
(1)C(t * u * t * v * u * s * t) + (1)C(t * u * s * v * u * s * t * u * w * v * u * s * t).
(1)C(s * u * s * v * u * s * t) + (1)C(s * u * t * v * u * s * t * u * w * v * u * s * t).
(1)C(s * t * u * s * t * u * w * v) + (1)C(u * s * t * v * w * v) + (1)C(u * s * t * u * v * u * s * t * w * v) + (1)C(u * s * t * v * u * s * t * u * w * v) + (1)C(u * s * t * v * u * w * v * u * s * t) + (1)C(u * s * t * u * v * u * s * t * u * w * v * u * s * t).
(1)C(v * u * s * t * w) + (1)C(s * t * v * w * v) + (1)C(u * v * u * s * t * w * v) + (1)C(v * u * s * t * u * v * w * v * u * s * t).
(1)C(u * v * u * w * v * u * s * t) + (1)C(u * v * u * s * t * u * v * w * v * u * s * t).
(1)C(s * t * v * u * s * t * u * v * w * v) + (1)C(s * t * u * v * u * s * t * u * v * w * v * u * s * t).
(1)C(u * s * t * v * u * s * t * u * v * w * v) + (1)C(u * s * t * u * v * u * s * t * u * v * w * v * u * s * t).
(1)C(s * t * w * v * u) + (1)C(s * t * u * w * v * u * s * t * u).
(1)C(u * s * t * w * v * u) + (1)C(u * s * t * u * w * v * u * s * t * u).
(1)C(s * t * u * w) + (1)C(s * t * v * w * v * u) + (1)C(s * t * u * v * w * v * u * s * t * u).
(1)C(u * s * t * u * w) + (1)C(s * t * u * s * t * u * w) + (1)C(u * s * t * v * w * v * u) + (1)C(u * s * t * u * v * w * v * u * s * t * u).
(1)C(s * t * u * s * t * u * w) + (1)C(s * t * u * s * t * u * v * w * v * u * s * t * u).
(1)C(s * t * v * w * v * u) + (1)C(s * t * v * u * w * v * u * s * t * u).
(1)C(u * s * t * v * w * v * u) + (1)C(u * s * t * v * u * w * v * u * s * t * u).
(1)C(s * u * s * t * v * w * v * u) + (1)C(s * u * s * t * v * u * w * v * u * s * t * u).
(1)C(t * u * s * t * v * w * v * u) + (1)C(t * u * s * t * v * u * w * v * u * s * t * u).
(1)C(s * t * u * s * t * u * w) + (1)C(s * t * u * s * t * u * w * v * u) + (1)C(s * t * u * s * t * v * w * v * u) + (1)C(s * t * u * s * t * v * u * w * v * u * s * t * u).
(1)C(s * t * u * s * t * u * v * w * v * u) + (1)C(s * t * u * s * t * u * v * u * w * v * u * s * t * u).
(1)C(s * u * s * w * v * u * s * t * u) + (1)C(s * u * s * t * v * u * s * w * v * u * s * t * u).
(1)C(t * u * t * w * v * u * s * t * u) + (1)C(t * u * s * t * v * u * t * w * v * u * s * t * u).
(1)C(s * t * v * w * v * u * s * t * u) + (1)C(s * t * u * v * u * s * t * w * v * u * s * t * u).
(1)C(u * s * t * v * w * v * u * s * t * u) + (1)C(u * s * t * u * v * u * s * t * w * v * u * s * t * u).
(1)C(v * u * s * t * w * v * u) + (1)C(v * u * s * t * u * w * v * u * s * t * u).
(1)C(u * v * u * s * t * w * v * u) + (1)C(u * v * u * s * t * u * w * v * u * s * t * u).
(1)C(s * u * v * u * s * t * w * v * u) + (1)C(s * u * v * u * s * t * u * w * v * u * s * t * u).
(1)C(t * u * v * u * s * t * w * v * u) + (1)C(t * u * v * u * s * t * u * w * v * u * s * t * u).
(1)C(s * t * v * u * s * t * u * w) + (1)C(s * t * v * w * v * u) + (1)C(s * t * u * v * u * s * t * w * v * u) + (1)C(s * t * v * u * s * t * u * w * v * u) + (1)C(s * t * v * u * w * v * u * s * t * u) + (1)C(s * t * u * v * u * s * t * u * w * v * u * s * t * u).
(1)C(t * u * t * v * u * s * t * u) + (1)C(t * u * s * v * u * s * t * u * w * v * u * s * t * u).
(1)C(s * u * s * v * u * s * t * u) + (1)C(s * u * t * v * u * s * t * u * w * v * u * s * t * u).
(1)C(s * t * u * s * t * u * w) + (1)C(u * s * t * v * u * s * t * u * w) + (1)C(s * t * u * s * t * u * w * v * u) + (1)C(u * s * t * v * w * v * u) + (1)C(u * s * t * u * v * u * s * t * w * v * u) + (1)C(u * s * t * v * u * s * t * u * w * v * u) + (1)C(u * s * t * v * u * w * v * u * s * t * u) + (1)C(u * s * t * u * v * u * s * t * u * w * v * u * s * t * u).
(1)C(v * u * s * t * u * w) + (1)C(s * t * v * u * s * t * u * w) + (1)C(s * t * v * w * v * u) + (1)C(u * v * u * s * t * w * v * u) + (1)C(v * u * s * t * u * v * w * v * u * s * t * u).
(1)C(s * t * v * u * s * t * u * w) + (1)C(s * t * v * u * s * t * u * v * w * v * u * s * t * u).
(1)C(u * v * u * w * v * u * s * t * u) + (1)C(u * v * u * s * t * u * v * w * v * u * s * t * u).
(1)C(s * t * v * u * s * t * u * v * w * v * u) + (1)C(s * t * u * v * u * s * t * u * v * w * v * u * s * t * u).
(1)C(u * s * t * v * u * s * t * u * w) + (1)C(u * s * t * v * u * s * t * u * v * w * v * u * s * t * u).
(1)C(u * s * t * v * u * s * t * u * v * w * v * u) + (1)C(u * s * t * u * v * u * s * t * u * v * w * v * u * s * t * u).
(1)C(u * w * v * u) + (1)C(u * w * v * u * s * t * u * v).
(1)C(s * t * u * w * v) + (1)C(s * t * v * w * v) + (1)C(s * t * v * u * w * v * u) + (1)C(s * t * u * v * w * v * u * s * t * u * v).
(1)C(u * s * t * u * w * v) + (1)C(s * t * u * s * t * u * w * v) + (1)C(u * s * t * v * w * v) + (1)C(u * s * t * v * u * w * v * u) + (1)C(u * s * t * u * v * w * v * u * s * t * u * v).
(1)C(s * t * u * s * t * u * w * v) + (1)C(s * t * u * s * t * u * v * w * v * u * s * t * u * v).
(1)C(v * u * w * v * u) + (1)C(v * u * w * v * u * s * t * u * v).
(1)C(u * v * u * w * v * u) + (1)C(u * v * u * w * v * u * s * t * u * v).
(1)C(s * u * v * u * w * v * u) + (1)C(s * u * v * u * w * v * u * s * t * u * v).
(1)C(t * u * v * u * w * v * u) + (1)C(t * u * v * u * w * v * u * s * t * u * v).
(1)C(s * t * u * v * u * w * v * u) + (1)C(s * t * u * v * u * w * v * u * s * t * u * v).
(1)C(u * s * t * u * v * u * w * v * u) + (1)C(u * s * t * u * v * u * w * v * u * s * t * u * v).
(1)C(s * t * u * s * t * u * w * v * u) + (1)C(s * t * u * s * t * u * v * u * w * v * u * s * t * u * v).
(1)C(s * u * s * w * v * u * s * t * u * v) + (1)C(s * u * s * t * v * u * s * w * v * u * s * t * u * v).
(1)C(t * u * t * w * v * u * s * t * u * v) + (1)C(t * u * s * t * v * u * t * w * v * u * s * t * u * v).
(1)C(s * t * v * w * v * u * s * t * u * v) + (1)C(s * t * u * v * u * s * t * w * v * u * s * t * u * v).
(1)C(u * s * t * v * w * v * u * s * t * u * v) + (1)C(u * s * t * u * v * u * s * t * w * v * u * s * t * u * v).
(1)C(s * t * v * u * w * v * u * s * t * u * v) + (1)C(s * t * u * v * u * s * t * u * w * v * u * s * t * u * v).
(1)C(u * s * t * v * u * w * v * u * s * t * u * v) + (1)C(u * s * t * u * v * u * s * t * u * w * v * u * s * t * u * v).
(1)C(s * t * v * w * v) + (1)C(u * v * u * s * t * w * v) + (1)C(v * u * s * t * u * w * v) + (1)C(s * t * v * u * s * t * u * w * v) + (1)C(s * t * v * u * w * v * u) + (1)C(u * v * u * s * t * u * w * v * u) + (1)C(v * u * s * t * u * v * w * v * u * s * t * u * v).
(1)C(s * t * v * u * s * t * u * w * v) + (1)C(s * t * v * u * s * t * u * v * w * v * u * s * t * u * v).
(1)C(u * v * u * w * v * u) + (1)C(u * v * u * s * t * u * v * w * v * u) + (1)C(s * u * s * v * u * s * w * v * u * s) + (1)C(t * u * t * v * u * t * w * v * u * t) + (1)C(u * v * u * w * v * u * s * t * u * v) + (1)C(u * v * u * s * t * u * v * w * v * u * s * t * u * v).
(1)C(s * t * v * u * s * t * u * w * v * u) + (1)C(s * t * u * v * u * s * t * u * v * w * v * u * s * t * u * v).
(1)C(u * s * t * v * u * s * t * u * w * v) + (1)C(u * s * t * v * u * s * t * u * v * w * v * u * s * t * u * v).
(1)C(u * s * t * v * u * s * t * u * w * v * u) + (1)C(u * s * t * u * v * u * s * t * u * v * w * v * u * s * t * u * v).
(1)C(u * v * w * v * u) + (1)C(u * w * v * u * s * t * u * v * w).
(1)C(v * w * v) + (1)C(s * t * v * w * v) + (1)C(v * w * v * u * s * t * u * v * w).
(1)C(u * v * w * v) + (1)C(u * v * u * w * v * u) + (1)C(u * v * w * v * u * s * t * u * v * w).
(1)C(v * w * v * u) + (1)C(u * v * u * w * v * u) + (1)C(v * u * w * v * u * s * t * u * v * w).
(v^-1 + v)C(u * v * u * w * v * u) + (1)C(u * v * u * w * v * u * s * t * u * v * w).
(1)C(s * u * s * w * v * u * s * t * u * v * w) + (1)C(s * u * s * t * v * u * s * w * v * u * s * t * u * v * w).
(1)C(t * u * t * w * v * u * s * t * u * v * w) + (1)C(t * u * s * t * v * u * t * w * v * u * s * t * u * v * w).
(1)C(s * t * v * w * v * u * s * t * u * v * w) + (1)C(s * t * u * v * u * s * t * w * v * u * s * t * u * v * w).
(1)C(u * s * t * v * w * v * u * s * t * u * v * w) + (1)C(u * s * t * u * v * u * s * t * w * v * u * s * t * u * v * w).
(1)C(s * t * v * u * w * v * u * s * t * u * v * w) + (1)C(s * t * u * v * u * s * t * u * w * v * u * s * t * u * v * w).
(1)C(u * s * t * v * u * w * v * u * s * t * u * v * w) + (1)C(u * s * t * u * v * u * s * t * u * w * v * u * s * t * u * v * w).
(1)C(u * v * u * w * v * u * s * t * u * v * w) + (1)C(u * v * u * s * t * u * v * w * v * u * s * t * u * v * w).
(1)C(s * u * s * v * u * s * w * v * u * s) + (1)C(s * u * v * u * s * t * u * v * w * v * u * s * t * u * v * w).
(1)C(t * u * t * v * u * t * w * v * u * t) + (1)C(t * u * v * u * s * t * u * v * w * v * u * s * t * u * v * w).
(1)C(s * u * s * v * u * s * w * v * u * s) + (1)C(u * s * v * u * s * t * u * v * w * v * u * s * t * u * v * w).
(1)C(t * u * t * v * u * t * w * v * u * t) + (1)C(u * t * v * u * s * t * u * v * w * v * u * s * t * u * v * w).