module Main where
import System.Environment (getArgs)
import DFAcomplement (complementDFA)
import JFF

main = do
  [filename] <- getArgs
  jff <- readFile filename
  let Just dfa = readDFA jff
  let dfa1 = complementDFA dfa
  putStrLn (writeDFA dfa1)