module Main where

import OpenlabTools qualified

main :: IO ()
main = OpenlabTools.main