module Main (main) where
import Test.QuickCheck