import Base
def main() -> Nat:
  0n