6 2
b := b *p13 + Db *Db*p14 + Db *Db*b*p3 + Db *Db *p15 + Db *Db*b *p1
t 3x 2x 2x x x
2 2
+ Db *Db*b *p2 + b *p16 + b *b*p4 + b *b *p6 + b *b *p5 + b *p9
x x 5x 4x 3x 3x x 2x
3 3 2 2 4
+ b *b *p8 + b *b *b*p7 + b *p12 + b *b *p10 + b *b *p11
2x 2x x x x x
with symmetries
b := 0 sSYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!