module Main where

import Villefort

main :: IO ()
main = villefort def