import ServersEqual

main :: IO ()
main = main1