module Main where {# import Types #} main :: IO () main = putStrLn "OK"