{"result":{"text":"R equals open curly brackets open parentheses a comma b close parentheses colon a plus 4 b equals 15 for all a comma b element of N close curly brackets"},"status":"ok"}