module Main (main) where

import Inspection ()

main :: IO ()
main  = return ()