*@x@y#mult@x@ydyade@l1@l2dyade#1@l1@l2dyade#1::@x@xs@l2::mult@x@l2dyade@xs@l2dyade#1nil@l2nilmult@n@lmult#1@l@nmult#1::@x@xs@n::*@n@xmult@n@xsmult#1nil@nnil#add#0@y@y#add#neg#s#0@y#pred@y#add#neg#s#s@x@y#pred#add#pos#s@x@y#add#pos#s#0@y#succ@y#add#pos#s#s@x@y#succ#add#pos#s@x@y#mult#0#0#0#mult#0#neg@y#0#mult#0#pos@y#0#mult#neg@x#0#0#mult#neg@x#neg@y#pos#natmult@x@y#mult#neg@x#pos@y#neg#natmult@x@y#mult#pos@x#0#0#mult#pos@x#neg@y#neg#natmult@x@y#mult#pos@x#pos@y#pos#natmult@x@y#natmult#0@y#0#natmult#s@x@y#add#pos@y#natmult@x@y#pred#0#neg#s#0#pred#neg#s@x#neg#s#s@x#pred#pos#s#0#0#pred#pos#s#s@x#pos#s@x#succ#0#pos#s#0#succ#neg#s#0#0#succ#neg#s#s@x#neg#s@x#succ#pos#s@x#pos#s#s@x#natmult2mult2mult#12::2#mult2#succ1#pos1#add2#00*2#neg1dyade#12#pred1#s1dyade2nil0INNERMOSTtct_complexity/raML/dyade.raml.trs