module Main where

import FOL.Optimize.Optimize

main :: IO ()
main = interact optimize
module Main where

import FOL.Optimize.Optimize

main :: IO ()
main = interact optimize >> putChar '\n'
Print newline at the end of the output.
Print newline at the end of the output.
