extrapolate-0.3.3: bench/smartcheck/div0-main.hs

-- main function for Div0

main :: IO ()
main = divTest