#abs#0#0#abs#neg@x#pos@x#abs#pos@x#pos@x#abs#s@x#pos#s@x#equal@x@y#eq@x@y#greater@x@y#ckgt#compare@x@y+@x@y#add@x@yfirstline@lfirstline#1@lfirstline#1::@x@xs::#abs#0firstline@xsfirstline#1nilnillcs@l1@l2lcs#1lcstable@l1@l2lcs#1@mlcs#2@mlcs#2::@l1@_@2lcs#3@l1lcs#2nil#abs#0lcs#3::@len@_@1@lenlcs#3nil#abs#0lcstable@l1@l2lcstable#1@l1@l2lcstable#1::@x@xs@l2lcstable#2lcstable@xs@l2@l2@xlcstable#1nil@l2::firstline@l2nillcstable#2@m@l2@xlcstable#3@m@l2@xlcstable#3::@l@ls@l2@x::newline@x@l@l2::@l@lslcstable#3nil@l2@xnilmax@a@bmax#1#greater@a@b@a@bmax#1#false@a@b@bmax#1#true@a@b@anewline@y@lastline@lnewline#1@l@lastline@ynewline#1::@x@xs@lastline@ynewline#2@lastline@x@xs@ynewline#1nil@lastline@ynilnewline#2::@belowVal@lastline'@x@xs@ynewline#3newline@y@lastline'@xs@belowVal@lastline'@x@ynewline#2nil@x@xs@ynilnewline#3@nl@belowVal@lastline'@x@ynewline#4right@nl@belowVal@lastline'@nl@x@ynewline#4@rightVal@belowVal@lastline'@nl@x@ynewline#5right@lastline'@belowVal@nl@rightVal@x@ynewline#5@diagVal@belowVal@nl@rightVal@x@ynewline#6newline#7#equal@x@y@belowVal@diagVal@rightVal@nlnewline#6@elem@nl::@elem@nlnewline#7#false@belowVal@diagVal@rightValmax@belowVal@rightValnewline#7#true@belowVal@diagVal@rightVal+@diagVal#pos#s#0right@lright#1@lright#1::@x@xs@xright#1nil#abs#0#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#and#false#false#false#and#false#true#false#and#true#false#false#and#true#true#true#ckgt#EQ#false#ckgt#GT#true#ckgt#LT#false#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#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#true#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@xfirstline#11#equal2#eq2lcs#31lcs#11lcstable2lcstable#33newline#74#true0lcs#21lcs2newline#56right#11newline#24firstline1#ckgt1#add2#pos1#EQ0#and2#compare2lcstable#12nil0#greater2newline3newline#46max2right1#false0::2#LT0max#13+2#succ1newline#35#00#neg1#abs1lcstable#23#pred1newline#62newline#13#s1#GT0INNERMOSTtct_complexity/raML/longestCommonSubsequence.raml.trs