{-# LANGUAGE Trustworthy #-}
module Main (main) where
import safe Prelude as P