{-# LANGUAGE Unsafe #-}
module Main ( main ) where

import Check04_1

main = main'