app app add 0 y y app app add app s x y app s app app add x y app app mult 0 y 0 app app mult app s x y app app add app app mult x y y app app app rec f x 0 x app app app rec f x app s y app app f app s y app app app rec f x y fact app app rec mult app s 0 2.2 app app add app s x y app app add x y app app app rec f x app s y app app app rec f x y app app mult app s x y app mult x fact app s 0 app app mult app s x y app add app app mult x y app app mult app s x y app app mult x y fact app app rec mult app s 0 app app mult app s x y app app add app app mult x y y app app app rec f x app s y app f app s y app app add app s x y app add x app app add app s x y app s app app add x y fact app rec mult app app app rec f x app s y app app f app s y app app app rec f x y true fact app rec mult false fact app s 0 false app app app rec f x app s y app app f app s y app app app rec f x y app app app rec f x app s y app app app rec f x y app app app rec f x app s y app f app s y true Failed! NaTT certifiable-1.6