) (Y <3 .T2>) (AR1 AC>) M1 M2 (AR2 AC>) AC (VAL <>)) #DECL ((T1 T2) TRANS (X Y) (R1 R2) DATUM (AC) AC (M1 M2) FIX) ) (ELSE )>> <7 .Y>> > >) (ELSE >)>) ( <6 .Y>> > ) (ELSE )>)> <1 .Y>> >> > > >>) (>> )> >> >>> <4 .Y> <5 .X> <5 .Y>>> <4 .X> <5 .Y> <5 .X>>> <0? >> > ) ( <0? >> > )> > .R2> > >)> > .R1> > >)>)> >> >>> <3 .Y>>>>>> AC> .R2> > '(`SUB `SUBI )) (ELSE '(`ADD `ADDI ))> > >) (ELSE .R1> > '(`ADD `ADDI )) (ELSE '(`SUB `SUBI ))> > >)>)> .VAL> <==? .A 2>> .C) (ELSE 1)> <==? .B 4>> .D) (ELSE 1)>>> > AC> .R1> >>>) (ELSE .R2> >>>)>) (ELSE AC> .R1> >>>) (ELSE .R2> >>>)>)>> AC> .R1> >>>) (ELSE .R2> > 262143>>)>>