*@x@y#mult@x@y+@x@y#add@x@yappendreverse@toreverse@sofarappendreverse#1@toreverse@sofarappendreverse#1::@a@as@sofarappendreverse@as::@a@sofarappendreverse#1nil@sofar@sofarbftMult@t@accbftMult'tuple#2::@tnilnil@accbftMult'@queue@accbftMult'#1bftMult'#2@queue@accbftMult'#1tuple#2@elem@queue@accbftMult'#3@elem@acc@queuebftMult'#2tuple#2@dequeue@1@dequeue@2dequeue@dequeue@1@dequeue@2bftMult'#3::@t@_@3@acc@queuebftMult'#4@t@acc@queuebftMult'#3nil@acc@queue@accbftMult'#4leaf@acc@queuebftMult'@queue@accbftMult'#4node@y@t1@t2@acc@queuebftMult'#5enqueue@t2enqueue@t1@queue@acc@ybftMult'#5@queue'@acc@ybftMult'@queue'matrixMult@acc@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@xsnildequeue@outq@inqdequeue#1@outq@inqdequeue#1::@t@ts@inqtuple#2::@tniltuple#2@ts@inqdequeue#1nil@inqdequeue#2reverse@inqdequeue#2::@t@tstuple#2::@tniltuple#2@tsnildequeue#2niltuple#2niltuple#2nilnilenqueue@t@queueenqueue#1@queue@tenqueue#1tuple#2@outq@inq@ttuple#2@outq::@t@inqlineMult@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@m2nilreverse@xsappendreverse@xsnil#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@xbftMult'#21#natmult2reverse1bftMult'#53appendreverse#12computeLine#13bftMult'#33appendreverse2matrixMult#12leaf0bftMult2lineMult3lineMult#24#pos1#add2node3dequeue2bftMult'#12tuple#22nil0bftMult'2computeLine3bftMult'#43dequeue#12::2#mult2+2#succ1#00enqueue#12#neg1matrixMult2*2enqueue2dequeue#21#pred1lineMult#13#s1computeLine#24INNERMOSTtct_complexity/raML/bft_mmult.raml.trs