import Data.Int (Int64) import Text.Printf (printf) main :: IO () main = do c <- readLn :: IO Int64 let a = 1 :: Int64 printf "%d %d\n" a c