import LeanGraphics

def main : IO Unit :=
  IO.println s!"{startupMsg}"