b(1) := p2*b(1)
t x
b(2) := p1*b(2)
t x
with symmetries
b(1) := Db(2)*Db(1)*q9 + b(2) *q10 + b(2) *b(1)*q7 + b(1) *b(2)*q8
s 3x x x
3
b(2) := b(1) *q4 + Db(1) *Db(1)*q5 + b(2) *b(2)*q2 + b(1) *q6 + b(1) *b(1)*q1
s x x 4x 2x
2
+ b(1) *q3
x
SYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!