a__from X cons mark X from s X a__2ndspos 0 Z rnil a__2ndspos s N cons X Z a__2ndspos s mark N cons2 X mark Z a__2ndspos s N cons2 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 Z a__2ndsneg s mark N cons2 X mark Z a__2ndsneg s N cons2 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 cons2 X1 X2 cons2 X1 mark 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 cons2 2 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/ExAppendixB_AEL03_GM.trs