module Main where

import PA
import Grid
import Output

main :: IO ()
main = do
    writeFile "example.dot" (dotShow example)
    writeFile "example.pa" (denseShow example)
    writeFile "grid1.dot" (dotShow firstPA)
    writeFile "grid1.pa" (denseShow firstPA)
    writeFile "grid2.dot" (dotShow secondPA)
    writeFile "grid2.pa" (denseShow secondPA)