> >>>) "AUX" (A (())) (B (())) (AP .A) (BP .B) (TMP ())) #DECL ((LST A B AP BP TMP VALUE) LIST (N) FIX) > 0> )> > > )> > FIX> > FIX> 2>> >>) (>>)> >>> ) (ELIM-DUP <>) "AUX" (M ()) (B ()) (TMP ()) (IT ()) (N 0)) #DECL ((L M B TMP IT VALUE) LIST (N) FIX (CMPRSN) ) > 2> )> 1>>>>> > > ) (T )>) ( ) (T )>) ( <1 .B>>> >) (T <1 .B>>) (T <1 .B>> 0>)> >>) (T >>)> >) (T >>)>)>>>> )> > > >>