module Main where { main :: IO () main = putStrLn "1" add :: Int -> Int -> Int add = (+) }