times x plus y 1 plus times x plus y times 1 0 x times x 1 x plus x 0 x times x 0 0 times 2 plus 2 1 0 0 0 FULL ./TRS/AG01/#3.21.trs