module Main where

import ATMSTrun
import JTMSrun

main :: IO ()
main = do
  runATMS1
  -- runJTMS1
  return ()