app app plus 0 y y app app plus app s x y app s app app plus x y app app times 0 y 0 app app times app s x y app app plus app app times x y y app app app curry g x y app app g x y app app map f nil nil app app map f app app cons x xs app app cons app f x app app map f xs inc app map app app curry plus app s 0 double app map app app curry times app s app s 0 2.2 app app plus app s x y app app plus x y double app curry times app app app curry g x y app app g x y app app map f app app cons x xs app app cons app f x app app map f xs app app map f app app cons x xs app f x app app map f app app cons x xs app app map f xs app app app curry g x y app g x app app times app s x y app plus app app times x y double app s app s 0 app app map f app app cons x xs app cons app f x double app app curry times app s app s 0 app app times app s x y app times x inc app curry plus app app times app s x y app app plus app app times x y y app app times app s x y app app times x y inc app app curry plus app s 0 app app plus app s x y app plus x app app plus app s x y app s app app plus x y double app s 0 inc app map app app curry plus app s 0 double app map app app curry times app s app s 0 inc app s 0 true inc app s 0 false double app map app app curry times app s app s 0 false inc app map app app curry plus app s 0 false double app s 0 false inc app app curry plus app s 0 false app app app curry g x y app g x app app map f app app cons x xs app app map f xs app app map f app app cons x xs app f x app app app curry g x y app app g x y true Failed! NaTT certifiable-1.6