module Main where

import P2Prc (runP2Prc)


main :: IO ()
main =
  runP2Prc