f4 S x'' S x' x3 x4 S x f2 S x'' x' x3 x4 x f4 S x' 0 x3 x4 S x f3 x' 0 x3 x4 x f2 x1 x2 S x'' S x' S x f5 x1 x2 S x'' x' x f2 x1 x2 S x' 0 S x f3 x1 x2 x' 0 x f4 S x' S x x3 x4 0 0 f4 S x 0 x3 x4 0 0 f2 x1 x2 S x' S x 0 0 f2 x1 x2 S x 0 0 0 f0 x1 S x' x3 S x x5 f1 x' S x' x S x S x f0 x1 S x x3 0 x5 0 f6 x1 x2 x3 x4 S x f0 x1 x2 x4 x3 x f5 x1 x2 x3 x4 S x f6 x2 x1 x3 x4 x f3 x1 x2 x3 x4 S x f4 x1 x2 x4 x3 x f1 x1 x2 x3 x4 S x f2 x2 x1 x3 x4 x f6 x1 x2 x3 x4 0 0 f5 x1 x2 x3 x4 0 0 f4 0 x2 x3 x4 x5 0 f3 x1 x2 x3 x4 0 0 f2 x1 x2 0 x4 x5 0 f1 x1 x2 x3 x4 0 0 f0 x1 0 x3 x4 x5 0 f4 5 S 1 f2 5 0 0 f3 5 f5 5 f0 5 f1 5 f6 5 INNERMOST Frederiksen_Others/boolprog-gm.tml.trs