module Main where import Runner main :: IO () main = run