module Main where

import System.Environment

import Prover




main = do 
        s <- getArgs
        mapM_  prove s