Ops a:0 i:0 b:1 h:1 g:1 j:2 f:4
Automaton autowrite
States q0 q1 q2 q3 q4
Final States q0 q2 q4

Transitions
a -> q0
i -> q3
b(q0) -> q2
b(q3) -> q1
h(q0) -> q3
h(q3) -> q3
g(q0) -> q3
g(q3) -> q3
j(q0,q0) -> q0
j(q0,q3) -> q3
j(q3,q0) -> q0
j(q3,q3) -> q3
f(q0,q0,q0,q0) -> q3
f(q0,q0,q0,q3) -> q3
f(q0,q0,q3,q0) -> q3
f(q0,q0,q3,q3) -> q3
f(q0,q3,q0,q0) -> q3
f(q0,q3,q0,q3) -> q3
f(q0,q3,q3,q0) -> q3
f(q0,q3,q3,q3) -> q3
f(q3,q0,q0,q0) -> q3
f(q3,q0,q0,q3) -> q3
f(q3,q0,q3,q0) -> q3
f(q3,q0,q3,q3) -> q3
f(q3,q3,q0,q0) -> q3
f(q3,q3,q0,q3) -> q3
f(q3,q3,q3,q0) -> q3
f(q3,q3,q3,q3) -> q3
b(q1) -> q1
b(q2) -> q2
h(q1) -> q4
h(q2) -> q4
g(q1) -> q3
g(q2) -> q3
j(q0,q1) -> q2
j(q0,q2) -> q2
j(q3,q1) -> q2
j(q3,q2) -> q2
j(q1,q0) -> q0
j(q1,q3) -> q3
j(q1,q1) -> q2
j(q1,q2) -> q2
j(q2,q0) -> q0
j(q2,q3) -> q3
j(q2,q1) -> q2
j(q2,q2) -> q2
f(q0,q0,q0,q1) -> q3
f(q0,q0,q0,q2) -> q3
f(q0,q0,q3,q1) -> q3
f(q0,q0,q3,q2) -> q3
f(q0,q0,q1,q0) -> q3
f(q0,q0,q1,q3) -> q3
f(q0,q0,q1,q1) -> q3
f(q0,q0,q1,q2) -> q3
f(q0,q0,q2,q0) -> q3
f(q0,q0,q2,q3) -> q3
f(q0,q0,q2,q1) -> q3
f(q0,q0,q2,q2) -> q3
f(q0,q3,q0,q1) -> q3
f(q0,q3,q0,q2) -> q3
f(q0,q3,q3,q1) -> q3
f(q0,q3,q3,q2) -> q3
f(q0,q3,q1,q0) -> q3
f(q0,q3,q1,q3) -> q3
f(q0,q3,q1,q1) -> q3
f(q0,q3,q1,q2) -> q3
f(q0,q3,q2,q0) -> q3
f(q0,q3,q2,q3) -> q3
f(q0,q3,q2,q1) -> q3
f(q0,q3,q2,q2) -> q3
f(q0,q1,q0,q0) -> q3
f(q0,q1,q0,q3) -> q3
f(q0,q1,q0,q1) -> q3
f(q0,q1,q0,q2) -> q3
f(q0,q1,q3,q0) -> q3
f(q0,q1,q3,q3) -> q3
f(q0,q1,q3,q1) -> q3
f(q0,q1,q3,q2) -> q3
f(q0,q1,q1,q0) -> q3
f(q0,q1,q1,q3) -> q3
f(q0,q1,q1,q1) -> q3
f(q0,q1,q1,q2) -> q3
f(q0,q1,q2,q0) -> q3
f(q0,q1,q2,q3) -> q3
f(q0,q1,q2,q1) -> q3
f(q0,q1,q2,q2) -> q3
f(q0,q2,q0,q0) -> q3
f(q0,q2,q0,q3) -> q3
f(q0,q2,q0,q1) -> q3
f(q0,q2,q0,q2) -> q3
f(q0,q2,q3,q0) -> q3
f(q0,q2,q3,q3) -> q3
f(q0,q2,q3,q1) -> q3
f(q0,q2,q3,q2) -> q3
f(q0,q2,q1,q0) -> q3
f(q0,q2,q1,q3) -> q3
f(q0,q2,q1,q1) -> q3
f(q0,q2,q1,q2) -> q3
f(q0,q2,q2,q0) -> q3
f(q0,q2,q2,q3) -> q3
f(q0,q2,q2,q1) -> q3
f(q0,q2,q2,q2) -> q3
f(q3,q0,q0,q1) -> q3
f(q3,q0,q0,q2) -> q3
f(q3,q0,q3,q1) -> q3
f(q3,q0,q3,q2) -> q3
f(q3,q0,q1,q0) -> q3
f(q3,q0,q1,q3) -> q3
f(q3,q0,q1,q1) -> q3
f(q3,q0,q1,q2) -> q3
f(q3,q0,q2,q0) -> q3
f(q3,q0,q2,q3) -> q3
f(q3,q0,q2,q1) -> q3
f(q3,q0,q2,q2) -> q3
f(q3,q3,q0,q1) -> q3
f(q3,q3,q0,q2) -> q3
f(q3,q3,q3,q1) -> q3
f(q3,q3,q3,q2) -> q3
f(q3,q3,q1,q0) -> q3
f(q3,q3,q1,q3) -> q3
f(q3,q3,q1,q1) -> q3
f(q3,q3,q1,q2) -> q3
f(q3,q3,q2,q0) -> q3
f(q3,q3,q2,q3) -> q3
f(q3,q3,q2,q1) -> q3
f(q3,q3,q2,q2) -> q3
f(q3,q1,q0,q0) -> q3
f(q3,q1,q0,q3) -> q3
f(q3,q1,q0,q1) -> q3
f(q3,q1,q0,q2) -> q3
f(q3,q1,q3,q0) -> q3
f(q3,q1,q3,q3) -> q3
f(q3,q1,q3,q1) -> q3
f(q3,q1,q3,q2) -> q3
f(q3,q1,q1,q0) -> q3
f(q3,q1,q1,q3) -> q3
f(q3,q1,q1,q1) -> q3
f(q3,q1,q1,q2) -> q3
f(q3,q1,q2,q0) -> q3
f(q3,q1,q2,q3) -> q3
f(q3,q1,q2,q1) -> q3
f(q3,q1,q2,q2) -> q3
f(q3,q2,q0,q0) -> q3
f(q3,q2,q0,q3) -> q3
f(q3,q2,q0,q1) -> q3
f(q3,q2,q0,q2) -> q3
f(q3,q2,q3,q0) -> q3
f(q3,q2,q3,q3) -> q3
f(q3,q2,q3,q1) -> q3
f(q3,q2,q3,q2) -> q3
f(q3,q2,q1,q0) -> q3
f(q3,q2,q1,q3) -> q3
f(q3,q2,q1,q1) -> q3
f(q3,q2,q1,q2) -> q3
f(q3,q2,q2,q0) -> q3
f(q3,q2,q2,q3) -> q3
f(q3,q2,q2,q1) -> q3
f(q3,q2,q2,q2) -> q3
f(q1,q0,q0,q0) -> q3
f(q1,q0,q0,q3) -> q3
f(q1,q0,q0,q1) -> q3
f(q1,q0,q0,q2) -> q3
f(q1,q0,q3,q0) -> q3
f(q1,q0,q3,q3) -> q3
f(q1,q0,q3,q1) -> q3
f(q1,q0,q3,q2) -> q3
f(q1,q0,q1,q0) -> q3
f(q1,q0,q1,q3) -> q3
f(q1,q0,q1,q1) -> q3
f(q1,q0,q1,q2) -> q3
f(q1,q0,q2,q0) -> q3
f(q1,q0,q2,q3) -> q3
f(q1,q0,q2,q1) -> q3
f(q1,q0,q2,q2) -> q3
f(q1,q3,q0,q0) -> q3
f(q1,q3,q0,q3) -> q3
f(q1,q3,q0,q1) -> q3
f(q1,q3,q0,q2) -> q3
f(q1,q3,q3,q0) -> q3
f(q1,q3,q3,q3) -> q3
f(q1,q3,q3,q1) -> q3
f(q1,q3,q3,q2) -> q3
f(q1,q3,q1,q0) -> q3
f(q1,q3,q1,q3) -> q3
f(q1,q3,q1,q1) -> q3
f(q1,q3,q1,q2) -> q3
f(q1,q3,q2,q0) -> q3
f(q1,q3,q2,q3) -> q3
f(q1,q3,q2,q1) -> q3
f(q1,q3,q2,q2) -> q3
f(q1,q1,q0,q0) -> q3
f(q1,q1,q0,q3) -> q3
f(q1,q1,q0,q1) -> q3
f(q1,q1,q0,q2) -> q3
f(q1,q1,q3,q0) -> q3
f(q1,q1,q3,q3) -> q3
f(q1,q1,q3,q1) -> q3
f(q1,q1,q3,q2) -> q3
f(q1,q1,q1,q0) -> q3
f(q1,q1,q1,q3) -> q3
f(q1,q1,q1,q1) -> q3
f(q1,q1,q1,q2) -> q3
f(q1,q1,q2,q0) -> q3
f(q1,q1,q2,q3) -> q3
f(q1,q1,q2,q1) -> q3
f(q1,q1,q2,q2) -> q3
f(q1,q2,q0,q0) -> q3
f(q1,q2,q0,q3) -> q3
f(q1,q2,q0,q1) -> q3
f(q1,q2,q0,q2) -> q3
f(q1,q2,q3,q0) -> q3
f(q1,q2,q3,q3) -> q3
f(q1,q2,q3,q1) -> q3
f(q1,q2,q3,q2) -> q3
f(q1,q2,q1,q0) -> q3
f(q1,q2,q1,q3) -> q3
f(q1,q2,q1,q1) -> q3
f(q1,q2,q1,q2) -> q3
f(q1,q2,q2,q0) -> q3
f(q1,q2,q2,q3) -> q3
f(q1,q2,q2,q1) -> q3
f(q1,q2,q2,q2) -> q3
f(q2,q0,q0,q0) -> q3
f(q2,q0,q0,q3) -> q3
f(q2,q0,q0,q1) -> q3
f(q2,q0,q0,q2) -> q3
f(q2,q0,q3,q0) -> q3
f(q2,q0,q3,q3) -> q3
f(q2,q0,q3,q1) -> q3
f(q2,q0,q3,q2) -> q3
f(q2,q0,q1,q0) -> q3
f(q2,q0,q1,q3) -> q3
f(q2,q0,q1,q1) -> q3
f(q2,q0,q1,q2) -> q3
f(q2,q0,q2,q0) -> q3
f(q2,q0,q2,q3) -> q3
f(q2,q0,q2,q1) -> q3
f(q2,q0,q2,q2) -> q3
f(q2,q3,q0,q0) -> q3
f(q2,q3,q0,q3) -> q3
f(q2,q3,q0,q1) -> q3
f(q2,q3,q0,q2) -> q3
f(q2,q3,q3,q0) -> q3
f(q2,q3,q3,q3) -> q3
f(q2,q3,q3,q1) -> q3
f(q2,q3,q3,q2) -> q3
f(q2,q3,q1,q0) -> q3
f(q2,q3,q1,q3) -> q3
f(q2,q3,q1,q1) -> q3
f(q2,q3,q1,q2) -> q3
f(q2,q3,q2,q0) -> q3
f(q2,q3,q2,q3) -> q3
f(q2,q3,q2,q1) -> q3
f(q2,q3,q2,q2) -> q3
f(q2,q1,q0,q0) -> q3
f(q2,q1,q0,q3) -> q3
f(q2,q1,q0,q1) -> q3
f(q2,q1,q0,q2) -> q3
f(q2,q1,q3,q0) -> q3
f(q2,q1,q3,q3) -> q3
f(q2,q1,q3,q1) -> q3
f(q2,q1,q3,q2) -> q3
f(q2,q1,q1,q0) -> q3
f(q2,q1,q1,q3) -> q3
f(q2,q1,q1,q1) -> q3
f(q2,q1,q1,q2) -> q3
f(q2,q1,q2,q0) -> q3
f(q2,q1,q2,q3) -> q3
f(q2,q1,q2,q1) -> q3
f(q2,q1,q2,q2) -> q3
f(q2,q2,q0,q0) -> q3
f(q2,q2,q0,q3) -> q3
f(q2,q2,q0,q1) -> q3
f(q2,q2,q0,q2) -> q3
f(q2,q2,q3,q0) -> q3
f(q2,q2,q3,q3) -> q3
f(q2,q2,q3,q1) -> q3
f(q2,q2,q3,q2) -> q3
f(q2,q2,q1,q0) -> q3
f(q2,q2,q1,q3) -> q3
f(q2,q2,q1,q1) -> q3
f(q2,q2,q1,q2) -> q3
f(q2,q2,q2,q0) -> q3
f(q2,q2,q2,q3) -> q3
f(q2,q2,q2,q1) -> q3
f(q2,q2,q2,q2) -> q3
b(q4) -> q2
h(q4) -> q4
g(q4) -> q3
j(q0,q4) -> q4
j(q3,q4) -> q4
j(q1,q4) -> q4
j(q2,q4) -> q4
j(q4,q0) -> q0
j(q4,q3) -> q3
j(q4,q1) -> q2
j(q4,q2) -> q2
j(q4,q4) -> q4
f(q0,q0,q0,q4) -> q3
f(q0,q0,q3,q4) -> q3
f(q0,q0,q1,q4) -> q3
f(q0,q0,q2,q4) -> q3
f(q0,q0,q4,q0) -> q3
f(q0,q0,q4,q3) -> q3
f(q0,q0,q4,q1) -> q3
f(q0,q0,q4,q2) -> q3
f(q0,q0,q4,q4) -> q3
f(q0,q3,q0,q4) -> q3
f(q0,q3,q3,q4) -> q3
f(q0,q3,q1,q4) -> q3
f(q0,q3,q2,q4) -> q3
f(q0,q3,q4,q0) -> q3
f(q0,q3,q4,q3) -> q3
f(q0,q3,q4,q1) -> q3
f(q0,q3,q4,q2) -> q3
f(q0,q3,q4,q4) -> q3
f(q0,q1,q0,q4) -> q3
f(q0,q1,q3,q4) -> q3
f(q0,q1,q1,q4) -> q3
f(q0,q1,q2,q4) -> q3
f(q0,q1,q4,q0) -> q3
f(q0,q1,q4,q3) -> q3
f(q0,q1,q4,q1) -> q3
f(q0,q1,q4,q2) -> q3
f(q0,q1,q4,q4) -> q3
f(q0,q2,q0,q4) -> q3
f(q0,q2,q3,q4) -> q3
f(q0,q2,q1,q4) -> q3
f(q0,q2,q2,q4) -> q3
f(q0,q2,q4,q0) -> q3
f(q0,q2,q4,q3) -> q3
f(q0,q2,q4,q1) -> q3
f(q0,q2,q4,q2) -> q3
f(q0,q2,q4,q4) -> q3
f(q0,q4,q0,q0) -> q3
f(q0,q4,q0,q3) -> q3
f(q0,q4,q0,q1) -> q3
f(q0,q4,q0,q2) -> q3
f(q0,q4,q0,q4) -> q3
f(q0,q4,q3,q0) -> q3
f(q0,q4,q3,q3) -> q3
f(q0,q4,q3,q1) -> q3
f(q0,q4,q3,q2) -> q3
f(q0,q4,q3,q4) -> q3
f(q0,q4,q1,q0) -> q3
f(q0,q4,q1,q3) -> q3
f(q0,q4,q1,q1) -> q3
f(q0,q4,q1,q2) -> q3
f(q0,q4,q1,q4) -> q3
f(q0,q4,q2,q0) -> q3
f(q0,q4,q2,q3) -> q3
f(q0,q4,q2,q1) -> q3
f(q0,q4,q2,q2) -> q3
f(q0,q4,q2,q4) -> q3
f(q0,q4,q4,q0) -> q3
f(q0,q4,q4,q3) -> q3
f(q0,q4,q4,q1) -> q3
f(q0,q4,q4,q2) -> q3
f(q0,q4,q4,q4) -> q3
f(q3,q0,q0,q4) -> q3
f(q3,q0,q3,q4) -> q3
f(q3,q0,q1,q4) -> q3
f(q3,q0,q2,q4) -> q3
f(q3,q0,q4,q0) -> q3
f(q3,q0,q4,q3) -> q3
f(q3,q0,q4,q1) -> q3
f(q3,q0,q4,q2) -> q3
f(q3,q0,q4,q4) -> q3
f(q3,q3,q0,q4) -> q3
f(q3,q3,q3,q4) -> q3
f(q3,q3,q1,q4) -> q3
f(q3,q3,q2,q4) -> q3
f(q3,q3,q4,q0) -> q3
f(q3,q3,q4,q3) -> q3
f(q3,q3,q4,q1) -> q3
f(q3,q3,q4,q2) -> q3
f(q3,q3,q4,q4) -> q3
f(q3,q1,q0,q4) -> q3
f(q3,q1,q3,q4) -> q3
f(q3,q1,q1,q4) -> q3
f(q3,q1,q2,q4) -> q3
f(q3,q1,q4,q0) -> q3
f(q3,q1,q4,q3) -> q3
f(q3,q1,q4,q1) -> q3
f(q3,q1,q4,q2) -> q3
f(q3,q1,q4,q4) -> q3
f(q3,q2,q0,q4) -> q3
f(q3,q2,q3,q4) -> q3
f(q3,q2,q1,q4) -> q3
f(q3,q2,q2,q4) -> q3
f(q3,q2,q4,q0) -> q3
f(q3,q2,q4,q3) -> q3
f(q3,q2,q4,q1) -> q3
f(q3,q2,q4,q2) -> q3
f(q3,q2,q4,q4) -> q3
f(q3,q4,q0,q0) -> q3
f(q3,q4,q0,q3) -> q3
f(q3,q4,q0,q1) -> q3
f(q3,q4,q0,q2) -> q3
f(q3,q4,q0,q4) -> q3
f(q3,q4,q3,q0) -> q3
f(q3,q4,q3,q3) -> q3
f(q3,q4,q3,q1) -> q3
f(q3,q4,q3,q2) -> q3
f(q3,q4,q3,q4) -> q3
f(q3,q4,q1,q0) -> q3
f(q3,q4,q1,q3) -> q3
f(q3,q4,q1,q1) -> q3
f(q3,q4,q1,q2) -> q3
f(q3,q4,q1,q4) -> q3
f(q3,q4,q2,q0) -> q3
f(q3,q4,q2,q3) -> q3
f(q3,q4,q2,q1) -> q3
f(q3,q4,q2,q2) -> q3
f(q3,q4,q2,q4) -> q3
f(q3,q4,q4,q0) -> q3
f(q3,q4,q4,q3) -> q3
f(q3,q4,q4,q1) -> q3
f(q3,q4,q4,q2) -> q3
f(q3,q4,q4,q4) -> q3
f(q1,q0,q0,q4) -> q3
f(q1,q0,q3,q4) -> q3
f(q1,q0,q1,q4) -> q3
f(q1,q0,q2,q4) -> q3
f(q1,q0,q4,q0) -> q3
f(q1,q0,q4,q3) -> q3
f(q1,q0,q4,q1) -> q3
f(q1,q0,q4,q2) -> q3
f(q1,q0,q4,q4) -> q3
f(q1,q3,q0,q4) -> q3
f(q1,q3,q3,q4) -> q3
f(q1,q3,q1,q4) -> q3
f(q1,q3,q2,q4) -> q3
f(q1,q3,q4,q0) -> q3
f(q1,q3,q4,q3) -> q3
f(q1,q3,q4,q1) -> q3
f(q1,q3,q4,q2) -> q3
f(q1,q3,q4,q4) -> q3
f(q1,q1,q0,q4) -> q3
f(q1,q1,q3,q4) -> q3
f(q1,q1,q1,q4) -> q3
f(q1,q1,q2,q4) -> q3
f(q1,q1,q4,q0) -> q3
f(q1,q1,q4,q3) -> q3
f(q1,q1,q4,q1) -> q3
f(q1,q1,q4,q2) -> q3
f(q1,q1,q4,q4) -> q3
f(q1,q2,q0,q4) -> q3
f(q1,q2,q3,q4) -> q3
f(q1,q2,q1,q4) -> q3
f(q1,q2,q2,q4) -> q3
f(q1,q2,q4,q0) -> q3
f(q1,q2,q4,q3) -> q3
f(q1,q2,q4,q1) -> q3
f(q1,q2,q4,q2) -> q3
f(q1,q2,q4,q4) -> q3
f(q1,q4,q0,q0) -> q3
f(q1,q4,q0,q3) -> q3
f(q1,q4,q0,q1) -> q3
f(q1,q4,q0,q2) -> q3
f(q1,q4,q0,q4) -> q3
f(q1,q4,q3,q0) -> q3
f(q1,q4,q3,q3) -> q3
f(q1,q4,q3,q1) -> q3
f(q1,q4,q3,q2) -> q3
f(q1,q4,q3,q4) -> q3
f(q1,q4,q1,q0) -> q3
f(q1,q4,q1,q3) -> q3
f(q1,q4,q1,q1) -> q3
f(q1,q4,q1,q2) -> q3
f(q1,q4,q1,q4) -> q3
f(q1,q4,q2,q0) -> q3
f(q1,q4,q2,q3) -> q3
f(q1,q4,q2,q1) -> q3
f(q1,q4,q2,q2) -> q3
f(q1,q4,q2,q4) -> q3
f(q1,q4,q4,q0) -> q3
f(q1,q4,q4,q3) -> q3
f(q1,q4,q4,q1) -> q3
f(q1,q4,q4,q2) -> q3
f(q1,q4,q4,q4) -> q3
f(q2,q0,q0,q4) -> q3
f(q2,q0,q3,q4) -> q3
f(q2,q0,q1,q4) -> q3
f(q2,q0,q2,q4) -> q3
f(q2,q0,q4,q0) -> q3
f(q2,q0,q4,q3) -> q3
f(q2,q0,q4,q1) -> q3
f(q2,q0,q4,q2) -> q3
f(q2,q0,q4,q4) -> q3
f(q2,q3,q0,q4) -> q3
f(q2,q3,q3,q4) -> q3
f(q2,q3,q1,q4) -> q3
f(q2,q3,q2,q4) -> q3
f(q2,q3,q4,q0) -> q3
f(q2,q3,q4,q3) -> q3
f(q2,q3,q4,q1) -> q3
f(q2,q3,q4,q2) -> q3
f(q2,q3,q4,q4) -> q3
f(q2,q1,q0,q4) -> q3
f(q2,q1,q3,q4) -> q3
f(q2,q1,q1,q4) -> q3
f(q2,q1,q2,q4) -> q3
f(q2,q1,q4,q0) -> q3
f(q2,q1,q4,q3) -> q3
f(q2,q1,q4,q1) -> q3
f(q2,q1,q4,q2) -> q3
f(q2,q1,q4,q4) -> q3
f(q2,q2,q0,q4) -> q3
f(q2,q2,q3,q4) -> q3
f(q2,q2,q1,q4) -> q3
f(q2,q2,q2,q4) -> q3
f(q2,q2,q4,q0) -> q3
f(q2,q2,q4,q3) -> q3
f(q2,q2,q4,q1) -> q3
f(q2,q2,q4,q2) -> q3
f(q2,q2,q4,q4) -> q3
f(q2,q4,q0,q0) -> q3
f(q2,q4,q0,q3) -> q3
f(q2,q4,q0,q1) -> q3
f(q2,q4,q0,q2) -> q3
f(q2,q4,q0,q4) -> q3
f(q2,q4,q3,q0) -> q3
f(q2,q4,q3,q3) -> q3
f(q2,q4,q3,q1) -> q3
f(q2,q4,q3,q2) -> q3
f(q2,q4,q3,q4) -> q3
f(q2,q4,q1,q0) -> q3
f(q2,q4,q1,q3) -> q3
f(q2,q4,q1,q1) -> q3
f(q2,q4,q1,q2) -> q3
f(q2,q4,q1,q4) -> q3
f(q2,q4,q2,q0) -> q3
f(q2,q4,q2,q3) -> q3
f(q2,q4,q2,q1) -> q3
f(q2,q4,q2,q2) -> q3
f(q2,q4,q2,q4) -> q3
f(q2,q4,q4,q0) -> q3
f(q2,q4,q4,q3) -> q3
f(q2,q4,q4,q1) -> q3
f(q2,q4,q4,q2) -> q3
f(q2,q4,q4,q4) -> q3
f(q4,q0,q0,q0) -> q3
f(q4,q0,q0,q3) -> q3
f(q4,q0,q0,q1) -> q3
f(q4,q0,q0,q2) -> q3
f(q4,q0,q0,q4) -> q3
f(q4,q0,q3,q0) -> q3
f(q4,q0,q3,q3) -> q3
f(q4,q0,q3,q1) -> q3
f(q4,q0,q3,q2) -> q3
f(q4,q0,q3,q4) -> q3
f(q4,q0,q1,q0) -> q3
f(q4,q0,q1,q3) -> q3
f(q4,q0,q1,q1) -> q3
f(q4,q0,q1,q2) -> q3
f(q4,q0,q1,q4) -> q3
f(q4,q0,q2,q0) -> q3
f(q4,q0,q2,q3) -> q3
f(q4,q0,q2,q1) -> q3
f(q4,q0,q2,q2) -> q3
f(q4,q0,q2,q4) -> q3
f(q4,q0,q4,q0) -> q3
f(q4,q0,q4,q3) -> q3
f(q4,q0,q4,q1) -> q3
f(q4,q0,q4,q2) -> q3
f(q4,q0,q4,q4) -> q3
f(q4,q3,q0,q0) -> q3
f(q4,q3,q0,q3) -> q3
f(q4,q3,q0,q1) -> q3
f(q4,q3,q0,q2) -> q3
f(q4,q3,q0,q4) -> q3
f(q4,q3,q3,q0) -> q3
f(q4,q3,q3,q3) -> q3
f(q4,q3,q3,q1) -> q3
f(q4,q3,q3,q2) -> q3
f(q4,q3,q3,q4) -> q3
f(q4,q3,q1,q0) -> q3
f(q4,q3,q1,q3) -> q3
f(q4,q3,q1,q1) -> q3
f(q4,q3,q1,q2) -> q3
f(q4,q3,q1,q4) -> q3
f(q4,q3,q2,q0) -> q3
f(q4,q3,q2,q3) -> q3
f(q4,q3,q2,q1) -> q3
f(q4,q3,q2,q2) -> q3
f(q4,q3,q2,q4) -> q3
f(q4,q3,q4,q0) -> q3
f(q4,q3,q4,q3) -> q3
f(q4,q3,q4,q1) -> q3
f(q4,q3,q4,q2) -> q3
f(q4,q3,q4,q4) -> q3
f(q4,q1,q0,q0) -> q3
f(q4,q1,q0,q3) -> q3
f(q4,q1,q0,q1) -> q3
f(q4,q1,q0,q2) -> q3
f(q4,q1,q0,q4) -> q3
f(q4,q1,q3,q0) -> q3
f(q4,q1,q3,q3) -> q3
f(q4,q1,q3,q1) -> q3
f(q4,q1,q3,q2) -> q3
f(q4,q1,q3,q4) -> q3
f(q4,q1,q1,q0) -> q3
f(q4,q1,q1,q3) -> q3
f(q4,q1,q1,q1) -> q3
f(q4,q1,q1,q2) -> q3
f(q4,q1,q1,q4) -> q3
f(q4,q1,q2,q0) -> q3
f(q4,q1,q2,q3) -> q3
f(q4,q1,q2,q1) -> q3
f(q4,q1,q2,q2) -> q3
f(q4,q1,q2,q4) -> q3
f(q4,q1,q4,q0) -> q3
f(q4,q1,q4,q3) -> q3
f(q4,q1,q4,q1) -> q3
f(q4,q1,q4,q2) -> q3
f(q4,q1,q4,q4) -> q3
f(q4,q2,q0,q0) -> q3
f(q4,q2,q0,q3) -> q3
f(q4,q2,q0,q1) -> q3
f(q4,q2,q0,q2) -> q3
f(q4,q2,q0,q4) -> q3
f(q4,q2,q3,q0) -> q3
f(q4,q2,q3,q3) -> q3
f(q4,q2,q3,q1) -> q3
f(q4,q2,q3,q2) -> q3
f(q4,q2,q3,q4) -> q3
f(q4,q2,q1,q0) -> q3
f(q4,q2,q1,q3) -> q3
f(q4,q2,q1,q1) -> q3
f(q4,q2,q1,q2) -> q3
f(q4,q2,q1,q4) -> q3
f(q4,q2,q2,q0) -> q3
f(q4,q2,q2,q3) -> q3
f(q4,q2,q2,q1) -> q3
f(q4,q2,q2,q2) -> q3
f(q4,q2,q2,q4) -> q3
f(q4,q2,q4,q0) -> q3
f(q4,q2,q4,q3) -> q3
f(q4,q2,q4,q1) -> q3
f(q4,q2,q4,q2) -> q3
f(q4,q2,q4,q4) -> q3
f(q4,q4,q0,q0) -> q3
f(q4,q4,q0,q3) -> q3
f(q4,q4,q0,q1) -> q3
f(q4,q4,q0,q2) -> q3
f(q4,q4,q0,q4) -> q3
f(q4,q4,q3,q0) -> q3
f(q4,q4,q3,q3) -> q3
f(q4,q4,q3,q1) -> q3
f(q4,q4,q3,q2) -> q3
f(q4,q4,q3,q4) -> q3
f(q4,q4,q1,q0) -> q3
f(q4,q4,q1,q3) -> q3
f(q4,q4,q1,q1) -> q3
f(q4,q4,q1,q2) -> q3
f(q4,q4,q1,q4) -> q3
f(q4,q4,q2,q0) -> q3
f(q4,q4,q2,q3) -> q3
f(q4,q4,q2,q1) -> q3
f(q4,q4,q2,q2) -> q3
f(q4,q4,q2,q4) -> q3
f(q4,q4,q4,q0) -> q3
f(q4,q4,q4,q3) -> q3
f(q4,q4,q4,q1) -> q3
f(q4,q4,q4,q2) -> q3
f(q4,q4,q4,q4) -> q3

