"""
Auto-generated Python stub file from main.py
Module: main
"""


from stdint import *
import t, c
import stdio
import vrandom
import testcheck

def main() -> t.CInt: pass