app app plus 0 y y app app plus app s x y app s app app plus x y app app sumwith f nil nil app app sumwith f app app cons x xs app app plus app f x app app sumwith f xs 2.2 app app plus app s x y app app plus x y app app sumwith f app app cons x xs app f x app app sumwith f app app cons x xs app app sumwith f xs app app sumwith f app app cons x xs app plus 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 sumwith f app app cons x xs app app plus app f x app app sumwith f xs true app app sumwith f app app cons x xs app f x app app sumwith f app app cons x xs app app sumwith f xs true s 0 1 0 0 8647 sumwith 0 38139 nil 0 30988 app 2 2 0 plus 0 1143 cons 0 58713 app 2 1 2 57571 app app sumwith f app app cons x xs app app plus app f x app app sumwith f xs false app app sumwith f app app cons x xs app plus app f x false app app plus app s x y app app plus x y true Failed! NaTT certifiable-1.6