*@x@y#mult@x@y+@x@y#add@x@ycomputeLine@line@m@acccomputeLine#1@line@acc@mcomputeLine#1::@x@xs@acc@mcomputeLine#2@m@acc@x@xscomputeLine#1nil@acc@m@acccomputeLine#2::@l@ls@acc@x@xscomputeLine@xs@lslineMult@x@l@acccomputeLine#2nil@acc@x@xsnillineMult@n@l1@l2lineMult#1@l1@l2@nlineMult#1::@x@xs@l2@nlineMult#2@l2@n@x@xslineMult#1nil@l2@nnillineMult#2::@y@ys@n@x@xs::+*@x@n@ylineMult@n@xs@yslineMult#2nil@n@x@xs::*@x@nlineMult@n@xsnilmatrixMult@m1@m2matrixMult#1@m1@m2matrixMult#1::@l@ls@m2::computeLine@l@m2nilmatrixMult@ls@m2matrixMult#1nil@m2nil#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#natmult2computeLine3computeLine#13matrixMult#12lineMult3::2#mult2+2#succ1lineMult#24#pos1#add2#00#neg1matrixMult2*2#pred1lineMult#13#s1nil0computeLine#24INNERMOSTtct_complexity/raML/clevermmult.raml.trs