MSV File: q-0.2404.msv
(Click on a heap to see details)
Q = <a | a2=1>
P = {a}
Phi = 1 1 a 1 a 1 a 1 a 1 a