module Main where

main :: IO ()
main = putStrLn "No demo yet"