PAUSE
RESET
ENGINE STATUS
STEP:
IDLE
LEAN:
PENDING
RETRIES:
0
STATE:
WAITING
Syntax Err
`sorry` found
ROOT THEOREM
PROOF SKETCH
SUBGOAL 1
SUBGOAL 2
SUBGOAL 3
SYNTAX FIX
REPLACE SORRY