Change solveforall to Solve for All in debug generator copy
Properly format JSON in JSON recognition result