b(1) := p3*b(2)
t x
2
b(2) := b(1) *p1 + b(1) *p2
t 2x
with symmetries
2
b(1) := b(1) *q3 + b(1) *q4
s 2x
b(2) := b(2)*b(1)*q1 + b(2) *q2
s 2x
SYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!