Empty Example (Try your own!)

Input and verify a new example of your own.

from typing import cast, List, Dict, Set, Optional, Union from nagini_contracts.contracts import * # Your space