import sys
from typing import Callable, Any, TypeVar, NamedTuple
from math import floor
from itertools import count

import PythonModule1.module_ as module_
import _dafny as _dafny
import System_ as System_
import PythonModule1.DafnyModule1 as DafnyModule1

# Module: PythonModule1.module_

