import Prelude main = return ()