1.52/1.88	muterm: Error (Terms): Symbol GCD has no 3 arguments.
1.60/1.88	EOF