SymClaw Result
Input
Result