n-v-j-r-p-x-q := head.
n-v-j-r-p-q := n-v-j-r-p-x-q.
n-j-r-p-x-q := n-v-j-r-p-x-q.
n-v-r-p-x-q := n-v-j-r-p-x-q.
v-j-r-p-x-q := n-v-j-r-p-x-q.
n-v-j-r-x-q := n-v-j-r-p-x-q.
n-v-j-p-x-q := n-v-j-r-p-x-q.
n-v-j-r-p-x := n-v-j-r-p-x-q.
n-j-p-x-q := n-j-r-p-x-q & n-v-j-p-x-q.
n-j-r-p-x := n-j-r-p-x-q & n-v-j-r-p-x.
n-j-r-p-q := n-v-j-r-p-q & n-j-r-p-x-q.
n-v-j-r-q := n-v-j-r-p-q & n-v-j-r-x-q.
n-v-r-p-q := n-v-j-r-p-q & n-v-r-p-x-q.
v-j-p-x-q := v-j-r-p-x-q & n-v-j-p-x-q.
v-j-r-p-x := v-j-r-p-x-q & n-v-j-r-p-x.
n-j-r-x-q := n-v-j-r-x-q & n-j-r-p-x-q.
n-v-j-p-x := n-v-j-p-x-q & n-v-j-r-p-x.
n-v-j-p-q := n-v-j-r-p-q & n-v-j-p-x-q.
v-r-p-x-q := v-j-r-p-x-q & n-v-r-p-x-q.
v-j-r-x-q := n-v-j-r-x-q & v-j-r-p-x-q.
n-v-j-r-x := n-v-j-r-x-q & n-v-j-r-p-x.
n-v-p-x-q := n-v-j-p-x-q & n-v-r-p-x-q.
n-v-r-p-x := n-v-r-p-x-q & n-v-j-r-p-x.
n-v-j-x-q := n-v-j-r-x-q & n-v-j-p-x-q.
n-r-p-x-q := n-j-r-p-x-q & n-v-r-p-x-q.
v-j-r-p-q := n-v-j-r-p-q & v-j-r-p-x-q.
n-v-j-r-p := n-v-j-r-p-q & n-v-j-r-p-x.
j-r-p-x-q := n-j-r-p-x-q & v-j-r-p-x-q.
n-v-r-x-q := n-v-j-r-x-q & n-v-r-p-x-q.
v-r-p-q := v-r-p-x-q & v-j-r-p-q & n-v-r-p-q.
v-j-r-p := v-j-r-p-x & v-j-r-p-q & n-v-j-r-p.
n-v-j-r := n-v-j-r-p & n-v-j-r-x & n-v-j-r-q.
v-j-p-x := v-j-p-x-q & v-j-r-p-x & n-v-j-p-x.
n-v-j-x := n-v-j-r-x & n-v-j-p-x & n-v-j-x-q.
j-p-x-q := n-j-p-x-q & j-r-p-x-q & v-j-p-x-q.
n-v-r-x := n-v-j-r-x & n-v-r-p-x & n-v-r-x-q.
v-j-p-q := v-j-p-x-q & v-j-r-p-q & n-v-j-p-q.
n-v-p-q := n-v-j-p-q & n-v-p-x-q & n-v-r-p-q.
n-r-x-q := n-r-p-x-q & n-j-r-x-q & n-v-r-x-q.
n-j-r-p := n-j-r-p-x & n-j-r-p-q & n-v-j-r-p.
n-v-r-q := n-v-r-x-q & n-v-j-r-q & n-v-r-p-q.
n-v-j-q := n-v-j-x-q & n-v-j-r-q & n-v-j-p-q & [ AGR agr ].
v-p-x-q := v-j-p-x-q & n-v-p-x-q & v-r-p-x-q.
n-v-x-q := n-v-r-x-q & n-v-p-x-q & n-v-j-x-q.
n-j-x-q := n-j-p-x-q & n-j-r-x-q & n-v-j-x-q.
v-j-r-q := v-j-r-p-q & v-j-r-x-q & n-v-j-r-q.
v-r-x-q := v-r-p-x-q & v-j-r-x-q & n-v-r-x-q.
j-r-x-q := n-j-r-x-q & v-j-r-x-q & j-r-p-x-q.
n-v-r-p := n-v-j-r-p & n-v-r-p-x & n-v-r-p-q.
v-j-x-q := v-j-p-x-q & v-j-r-x-q & n-v-j-x-q.
n-j-p-x := n-j-p-x-q & n-j-r-p-x & n-v-j-p-x.
v-j-r-x := v-j-r-p-x & v-j-r-x-q & n-v-j-r-x.
j-r-p-x := n-j-r-p-x & v-j-r-p-x & j-r-p-x-q.
n-v-j-p := n-v-j-r-p & n-v-j-p-x & n-v-j-p-q.
n-r-p-x := n-r-p-x-q & n-j-r-p-x & n-v-r-p-x.
v-r-p-x := v-r-p-x-q & v-j-r-p-x & n-v-r-p-x.
j-r-p-q := v-j-r-p-q & n-j-r-p-q & j-r-p-x-q.
n-r-p-q := n-r-p-x-q & n-j-r-p-q & n-v-r-p-q.
n-p-x-q := n-j-p-x-q & n-v-p-x-q & n-r-p-x-q.
n-j-r-x := n-j-r-p-x & n-j-r-x-q & n-v-j-r-x.
n-j-p-q := n-j-p-x-q & n-j-r-p-q & n-v-j-p-q.
n-j-r-q := n-j-r-p-q & n-j-r-x-q & n-v-j-r-q.
n-v-p-x := n-v-r-p-x & n-v-p-x-q & n-v-j-p-x.
r-p-x-q := v-r-p-x-q & j-r-p-x-q & n-r-p-x-q.
n-j-p := n-j-p-q & n-j-p-x & n-j-r-p & n-v-j-p.
j-r-p := v-j-r-p & j-r-p-q & n-j-r-p & j-r-p-x.
n-j-q := n-j-x-q & n-j-p-q & n-j-r-q & n-v-j-q.
j-r-q := j-r-p-q & v-j-r-q & j-r-x-q & n-j-r-q.
n-j-r := n-j-r-q & n-j-r-p & n-v-j-r & n-j-r-x.
n-r-x := n-r-x-q & n-r-p-x & n-j-r-x & n-v-r-x.
n-p-q := n-r-p-q & n-j-p-q & n-p-x-q & n-v-p-q.
v-j-x := v-j-x-q & v-j-p-x & v-j-r-x & n-v-j-x.
v-p-x := v-j-p-x & v-p-x-q & n-v-p-x & v-r-p-x.
v-r-p := v-r-p-q & v-r-p-x & v-j-r-p & n-v-r-p.
v-x-q := v-r-x-q & v-j-x-q & v-p-x-q & n-v-x-q.
r-p-x := n-r-p-x & j-r-p-x & r-p-x-q & v-r-p-x.
v-r-q := v-r-p-q & v-r-x-q & v-j-r-q & n-v-r-q.
n-v-p := n-v-j-p & n-v-p-q & n-v-p-x & n-v-r-p.
j-p-q := v-j-p-q & n-j-p-q & j-r-p-q & j-p-x-q.
n-p-x := n-j-p-x & n-p-x-q & n-v-p-x & n-r-p-x.
n-v-q := n-v-x-q & n-v-p-q & n-v-j-q & n-v-r-q.
n-j-x := n-j-x-q & n-j-p-x & n-j-r-x & n-v-j-x.
n-x-q := n-r-x-q & n-j-x-q & n-p-x-q & n-v-x-q.
n-v-r := n-v-r-p & n-v-j-r & n-v-r-q & n-v-r-x.
j-r-x := v-j-r-x & j-r-x-q & j-r-p-x & n-j-r-x.
r-x-q := n-r-x-q & v-r-x-q & j-r-x-q & r-p-x-q.
n-r-p := n-r-p-q & n-r-p-x & n-j-r-p & n-v-r-p.
n-r-q := n-r-x-q & n-r-p-q & n-j-r-q & n-v-r-q.
j-x-q := n-j-x-q & v-j-x-q & j-r-x-q & j-p-x-q.
v-j-p := v-j-p-q & v-j-p-x & v-j-r-p & n-v-j-p.
v-p-q := v-r-p-q & v-j-p-q & v-p-x-q & n-v-p-q.
j-p-x := v-j-p-x & j-r-p-x & j-p-x-q & n-j-p-x.
v-j-q := v-j-p-q & v-j-x-q & v-j-r-q & n-v-j-q.
n-v-j := n-v-j-p & n-v-j-r & n-v-j-q & n-v-j-x.
p-x-q := r-p-x-q & v-p-x-q & n-p-x-q & j-p-x-q.
n-v-x := n-v-r-x & n-v-x-q & n-v-p-x & n-v-j-x.
r-p-q := v-r-p-q & n-r-p-q & j-r-p-q & r-p-x-q.
v-j-r := v-j-r-x & v-j-r-q & v-j-r-p & n-v-j-r.
v-r-x := v-r-x-q & v-r-p-x & v-j-r-x & n-v-r-x.
j-q := v-j-q & j-r-q & j-p-q & n-j-q & j-x-q.
v-r := n-v-r & v-r-x & v-j-r & v-r-q & v-r-p.
x-q := p-x-q & n-x-q & j-x-q & r-x-q & v-x-q.
j-p := j-r-p & j-p-q & j-p-x & v-j-p & n-j-p.
v-q := v-j-q & n-v-q & v-p-q & v-r-q & v-x-q.
n-v := n-v-r & n-v-q & n-v-p & n-v-x & n-v-j.
n-x := n-p-x & n-v-x & n-j-x & n-r-x & n-x-q.
r-q := j-r-q & r-p-q & r-x-q & v-r-q & n-r-q.
v-j := n-v-j & v-j-r & v-j-p & v-j-x & v-j-q.
r-p := j-r-p & r-p-q & r-p-x & n-r-p & v-r-p.
v-p := v-p-x & n-v-p & v-j-p & v-r-p & v-p-q.
p-x := v-p-x & n-p-x & r-p-x & j-p-x & p-x-q.
n-j := n-j-x & n-v-j & n-j-r & n-j-q & n-j-p.
r-x := j-r-x & r-x-q & r-p-x & v-r-x & n-r-x.
v-x := v-p-x & n-v-x & v-r-x & v-j-x & v-x-q.
n-r := n-v-r & n-j-r & n-r-p & n-r-x & n-r-q.
p-q := r-p-q & p-x-q & v-p-q & j-p-q & n-p-q.
j-x := j-r-x & j-x-q & j-p-x & n-j-x & v-j-x.
n-q := n-r-q & n-v-q & n-x-q & n-j-q & n-p-q.
j-r := v-j-r & j-r-q & j-r-p & n-j-r & j-r-x.
n-p := n-p-x & n-v-p & n-r-p & n-j-p & n-p-q.