Empty Example (try your own!)

Input and verify a new example of your own

// Type your example here, and hit the "play" button to run the verifier for feedback