YES 2.2 times x y times y x times x times y z times times x y z times x times y z times x y times x times y z times times x y z times x y times y x fac s x times s x fac p s x fac s x fac p s x fac s x p s x fac s x fac p s x true 2 1 s 1 0 1 1 1 1 1 2 fac 1 0 1 1 1 1 0 0 p 1 0 0 p 1 0 1 1 0 1 0 0 0 0 0 0 times 2 0 0 fac 1 0 0 fac s x fac p s x p s x x fac s x p s x false fac s x times s x fac p s x false times x y times y x times x times y z times x y times x times y z times times x y z true times x times y z times times x y z times x times y z times x y times x y times y x true NaTT 1.7