#equal@x@y#eq@x@yand@x@y#and@x@yeq@l1@l2eq#1@l1@l2eq#1::@x@xs@l2eq#3@l2@x@xseq#1nil@l2eq#2@l2eq#2::@y@ys#falseeq#2nil#trueeq#3::@y@ys@x@xsand#equal@x@yeq@xs@yseq#3nil@x@xs#falsenub@lnub#1@lnub#1::@x@xs::@xnubremove@x@xsnub#1nilnilremove@x@lremove#1@l@xremove#1::@y@ys@xremove#2eq@x@y@x@y@ysremove#1nil@xnilremove#2#false@x@y@ys::@yremove@x@ysremove#2#true@x@y@ysremove@x@ys#and#false#false#false#and#false#true#false#and#true#false#false#and#true#true#true#eq#0#0#true#eq#0#neg@y#false#eq#0#pos@y#false#eq#0#s@y#false#eq#neg@x#0#false#eq#neg@x#neg@y#eq@x@y#eq#neg@x#pos@y#false#eq#pos@x#0#false#eq#pos@x#neg@y#false#eq#pos@x#pos@y#eq@x@y#eq#s@x#0#false#eq#s@x#s@y#eq@x@y#eq::@x_1@x_2::@y_1@y_2#and#eq@x_1@y_1#eq@x_2@y_2#eq::@x_1@x_2nil#false#eqnil::@y_1@y_2#false#eqnilnil#trueremove2eq#21#equal2eq2#eq2#true0#false0::2and2remove#12nub1#pos1#00#neg1remove#24eq#12#and2eq#33#s1nub#11nil0INNERMOSTtct_complexity/raML/duplicates.raml.trs