Example exc-080

Prev: exc-079

Next: exc-081

12 17

<math>
<apply><gcd/>
<cn>12</cn>
<cn>17</cn>
</apply>
</math>