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 xwith symmetries
b := 0 sSYSTEM & SYMMETRY DO NOT SATISFY MINIMAL REQUIREMENTS!