-- main entry of program:
main = do 
  putStrLn (printDOT lts)
--  putStrLn (printALD lts)
