YES 2.2 plus x plus y z plus plus x y z plus x y plus y x plus x plus y z plus x y plus x y plus y x plus x plus y z plus plus x y z L plus T y x L plus x y T plus T y x plus T plus x y T y T plus T y x plus x y T plus T y x T plus x y L plus T y x plus x y L plus T y x plus L plus x y L y L T x L x L plus T y x L y plus plus x x _1 plus x _1 plus plus T x x _1 plus T x _1 plus plus x 0 _1 plus x _1 plus plus T plus x y x _1 plus T plus x y _1 T plus T y x T plus x y true 2 1 T 1 0 0 1 0 1 0 0 L 1 0 0 T 1 1 1 1 1 1 1 1 plus 2 0 0 0 0 1 1 L 1 0 0 plus 2 1 2 1 1 T plus T y x T plus x y plus T plus x y x T plus x y T plus T y x plus T plus x y T y plus x 0 x plus T x x T x plus x y plus y x T T x T x plus x plus y z plus plus x y z plus x x x T plus T y x plus T plus x y T y false T plus T y x plus x y false L plus T y x L y L T x L x L plus T y x L plus x y true 2 1 T 1 0 0 1 0 1 0 0 L 1 0 0 1 1 1 0 0 T 1 1 1 1 1 1 1 1 plus 2 0 0 0 0 1 1 L 1 0 0 plus 2 1 2 1 1 L plus T y x L plus x y L T x L x L plus T y x L y plus T plus x y x T plus x y T plus T y x plus T plus x y T y plus x 0 x plus T x x T x plus x y plus y x T T x T x plus x plus y z plus plus x y z plus x x x L plus T y x plus L plus x y L y false L plus T y x plus x y false plus x plus y z plus x y plus x plus y z plus plus x y z plus x y plus y x true plus plus T plus x y x _1 plus T plus x y _1 plus x plus y z plus x y plus x y plus y x plus plus x x _1 plus x _1 plus plus T x x _1 plus T x _1 plus x plus y z plus plus x y z plus plus x 0 _1 plus x _1 true 1 T 1 0 L 1 0 T 1 0 plus 2 1 2 0 0 0 1 L 1 0 plus 2 1 2 0 plus plus x 0 _1 plus x _1 plus T plus x y x T plus x y T plus T y x plus T plus x y T y plus x 0 x plus T x x T x plus x y plus y x T T x T x plus x plus y z plus plus x y z plus x x x plus plus T plus x y x _1 plus T plus x y _1 plus plus T x x _1 plus T x _1 plus x y plus y x plus x plus y z plus x y plus x plus y z plus plus x y z plus plus x x _1 plus x _1 true 2 1 T 1 0 0 1 0 1 0 0 L 1 0 0 1 1 1 0 0 T 1 1 1 1 1 1 1 1 plus 2 1 2 0 0 0 0 1 1 L 1 0 0 plus 2 1 2 1 1 plus plus x x _1 plus x _1 plus x plus y z plus x y plus plus T x x _1 plus T x _1 plus plus T plus x y x _1 plus T plus x y _1 plus T plus x y x T plus x y T plus T y x plus T plus x y T y plus x 0 x plus T x x T x plus x y plus y x T T x T x plus x plus y z plus plus x y z plus x x x plus x y plus y x plus x plus y z plus plus x y z true NaTT 1.7