#abs#0#0#abs#neg@x#pos@x#abs#pos@x#pos@x#abs#s@x#pos#s@x*@x@y#mult@x@y+@x@y#add@x@yattach@line@mattach#1@line@mattach#1::@x@xs@mattach#2@m@x@xsattach#1nil@mnilattach#2::@l@ls@x@xs::::@x@lattach@xs@lsattach#2nil@x@xsnillineMult@l@m2lineMult#1@m2@llineMult#1::@x@xs@l::mult@l@xlineMult@l@xslineMult#1nil@lnilm1@x::::#abs#pos#s#0::#abs#pos#s#s#0::#abs#pos#s#s#s#0nil::::#abs#pos#s#s#0::#abs#pos#s#s#s#0::#abs#pos#s#s#s#s#0nilnilm2@x::::#abs#pos#s#0::#abs#pos#s#s#0nil::::#abs#pos#s#s#0::#abs#pos#s#s#s#0nil::::#abs#pos#s#s#s#s#0::#abs#pos#s#s#s#s#s#0nilnilm3@x::::#abs#pos#s#0::#abs#pos#s#s#0::#abs#pos#s#s#s#0::#abs#pos#s#s#s#s#s#0nil::::#abs#pos#s#s#0::#abs#pos#s#s#s#0::#abs#pos#s#s#s#s#0::#abs#pos#s#s#s#s#s#0nilnilm4@x::::#abs#pos#s#0nil::::#abs#pos#s#s#0nil::::#abs#pos#s#s#s#0nil::::#abs#pos#s#s#s#s#0nilnilmakeBase@mmakeBase#1@mmakeBase#1::@l@m'mkBase@lmakeBase#1nilnilmatrixMult@m1@m2matrixMult'@m1transAcc@m2makeBase@m2matrixMult'@m1@m2matrixMult'#1@m1@m2matrixMult'#1::@l@ls@m2::lineMult@l@m2matrixMult'@ls@m2matrixMult'#1nil@m2nilmatrixMult3@m1@m2@m3matrixMultmatrixMult@m1@m2@m3matrixMultList@acc@mmmatrixMultList#1@mm@accmatrixMultList#1::@m@ms@accmatrixMultListmatrixMult@acc@m@msmatrixMultList#1nil@acc@accmatrixMultOld@m1@m2matrixMult'@m1transpose@m2mkBase@mmkBase#1@mmkBase#1::@l@m'::nilmkBase@m'mkBase#1nilnilmult@l1@l2mult#1@l1@l2mult#1::@x@xs@l2mult#2@l2@x@xsmult#1nil@l2#abs#0mult#2::@y@ys@x@xs+*@x@ymult@xs@ysmult#2nil@x@xs#abs#0split@msplit#1@msplit#1::@l@lssplit#2@l@lssplit#1niltuple#2nilnilsplit#2::@x@xs@lssplit#3split@ls@x@xssplit#2nil@lstuple#2nilnilsplit#3tuple#2@ys@m'@x@xstuple#2::@x@ys::@xs@m'transAcc@m@basetransAcc#1@m@basetransAcc#1::@l@m'@baseattach@ltransAcc@m'@basetransAcc#1nil@base@basetranspose@mtranspose#1@m@mtranspose#1::@xs@xss@mtranspose#2split@mtranspose#1nil@mniltranspose#2tuple#2@l@m'transpose#3@m'@ltranspose#3::@y@ys@l::@ltranspose::@y@ystranspose#3nil@lniltranspose'@mtransAcc@mmakeBase@m#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@xm11matrixMultList2m41attach2split1matrixMult33#add2mult#23transpose'1nil0split#11transpose1m21matrixMult'2transAcc2mult2+2transAcc#12matrixMultList#12#neg1*2mkBase#11transpose#32attach#12transpose#21matrixMult'#12#natmult2matrixMultOld2split#22#pos1tuple#22mkBase1makeBase1mult#12::2lineMult#12#mult2attach#23#succ1#00makeBase#11m31matrixMult2#abs1lineMult2transpose#12split#33#pred1#s1INNERMOSTtct_complexity/raML/matrix.raml.trs