module Main (main) where



main :: IO ()
main = 
  putStrLn "Tests are not implemented yet"