app app plus 0 y y app app plus app s x y app s app app plus x y app app app curry f x y app app f x y add app curry plus 2.2 app app plus app s x y app app plus x y add app curry plus app app app curry f x y app f x app app plus app s x y app plus x app app plus app s x y app s app app plus x y app app app curry f x y app app f x y true add app curry plus false app app app curry f x y app app f x y app app app curry f x y app f x true s 0 1 curry 0 51851 0 0 10803 app 2 1 0 plus 0 41141 add 0 0 add 0 0 app 2 1 2 22248 app app plus 0 y y app app app curry f x y app app f x y app app plus app s x y app s app app plus x y app app plus app s x y app app plus x y true s 0 1 curry 0 1 0 0 16203 app 2 1 0 plus 0 1 add 0 0 add 0 0 app 2 1 2 29483 app app plus 0 y y app app app curry f x y app app f x y app app plus app s x y app s app app plus x y app app plus app s x y app s app app plus x y false app app plus app s x y app plus x false NaTT certifiable-1.6