module Main where
import Unification
import Resolution
import Data.Maybe
import ArithmeticsPL
import qualified Data.Set as Set

main = do
    return ()