a__from X cons mark X from s X a__2ndspos 0 Z rnil a__2ndspos s N cons X cons Y Z rcons posrecip mark Y a__2ndsneg mark N mark Z a__2ndsneg 0 Z rnil a__2ndsneg s N cons X cons Y Z rcons negrecip mark Y a__2ndspos mark N mark Z a__pi X a__2ndspos mark X a__from 0 a__plus 0 Y mark Y a__plus s X Y s a__plus mark X mark Y a__times 0 Y 0 a__times s X Y a__plus mark Y a__times mark X mark Y a__square X a__times mark X mark X mark from X a__from mark X mark 2ndspos X1 X2 a__2ndspos mark X1 mark X2 mark 2ndsneg X1 X2 a__2ndsneg mark X1 mark X2 mark pi X a__pi mark X mark plus X1 X2 a__plus mark X1 mark X2 mark times X1 X2 a__times mark X1 mark X2 mark square X a__square mark X mark 0 0 mark s X s mark X mark posrecip X posrecip mark X mark negrecip X negrecip mark X mark nil nil mark cons X1 X2 cons mark X1 X2 mark rnil rnil mark rcons X1 X2 rcons mark X1 mark X2 a__from X from X a__2ndspos X1 X2 2ndspos X1 X2 a__2ndsneg X1 X2 2ndsneg X1 X2 a__pi X pi X a__plus X1 X2 plus X1 X2 a__times X1 X2 times X1 X2 a__square X square X a__from 1 cons 2 mark 1 from 1 s 1 a__2ndspos 2 0 0 rnil 0 rcons 2 posrecip 1 a__2ndsneg 2 negrecip 1 a__pi 1 a__plus 2 a__times 2 a__square 1 2ndspos 2 2ndsneg 2 pi 1 plus 2 times 2 square 1 nil 0 INNERMOST ./TRS/TRCSR/inn/Ex1_2_AEL03_GM.trs