module Main () where

main :: IO ()
main = return ()