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 inc xs app app map app plus app s 0 xs app double xs app app map app times app s app s 0 xs 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 2.2 app app plus app s x y app app plus x y app double xs app times app s app s 0 app app map f app app cons x xs app app cons app f x app app map f xs app inc xs app app map app plus app s 0 xs app inc xs app plus app s 0 app inc xs app s 0 app app map f app app cons x xs app cons app f x app app times app s x y app times x app double xs app s app s 0 app inc xs app map app plus app s 0 app double xs app map app times app s app s 0 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 app app map f app app cons x xs app app map f xs 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 double xs app s 0 app app map f app app cons x xs app f x app double xs app app map app times app s app s 0 xs app app times app s x y app plus app app times x y true app double xs app app map app times app s app s 0 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 inc xs app app map app plus app s 0 xs true s 0 1 inc 0 1 0 0 0 double 0 32286 times 0 1 nil 0 41063 app 2 1 0 map 0 1 plus 0 1 cons 0 1 app 2 2 0 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 times app s x y app app plus app app times x y y app app map f app app cons x xs app app cons app f x app app map f xs app app plus 0 y y app app times 0 y 0 app inc xs app app map app plus app s 0 xs app app map f nil nil app double xs app app map app times app s app s 0 xs app app plus app s x y app s app app plus x y 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 true s 0 0 inc 0 1 0 0 0 double 0 57798 times 0 0 nil 0 41063 app 2 2 0 map 0 57799 plus 0 0 cons 0 21657 app 2 1 2 0 app double xs app s 0 false app inc xs app plus app s 0 false app inc xs app s 0 false app app map f app app cons x xs app cons app f x false app app map f app app cons x xs app app cons app f x app app map f xs false app app times app s x y app app times x y true Failed! NaTT certifiable-1.6