#equal@x@y#eq@x@yappendreverse@toreverse@sofarappendreverse#1@toreverse@sofarappendreverse#1::@a@as@sofarappendreverse@as::@a@sofarappendreverse#1nil@sofar@sofarbfs@queue@futurequeue@xbfs#1@queue@futurequeue@xbfs#1::@t@ts@futurequeue@xbfs#3@t@futurequeue@ts@xbfs#1nil@futurequeue@xbfs#2@futurequeue@xbfs#2::@t@ts@xbfsreverse::@t@tsnil@xbfs#2nil@xleafbfs#3leaf@futurequeue@ts@xbfs@ts@futurequeue@xbfs#3node@y@t1@t2@futurequeue@ts@xbfs#4#equal@x@y@futurequeue@t1@t2@ts@x@ybfs#4#false@futurequeue@t1@t2@ts@x@ybfs@ts::@t2::@t1@futurequeue@xbfs#4#true@futurequeue@t1@t2@ts@x@ynode@y@t1@t2bfs2@t@xbfs2#1dobfs@t@x@xbfs2#1@t'@xdobfs@t'@xdfs@queue@xdfs#1@queue@xdfs#1::@t@ts@xdfs#2@t@t@ts@xdfs#1nil@xleafdfs#2leaf@t@ts@xdfs@ts@xdfs#2node@a@t1@t2@t@ts@xdfs#3#equal@a@x@t@t1@t2@ts@xdfs#3#false@t@t1@t2@ts@xdfs::@t1::@t2@ts@xdfs#3#true@t@t1@t2@ts@x@tdobfs@t@xbfs::@tnilnil@xdodfs@t@xdfs::@tnil@xreverse@xsappendreverse@xsnil#and#false#false#false#and#false#true#false#and#true#false#false#and#true#true#true#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_2leaf#false#eq::@x_1@x_2nil#false#eq::@x_1@x_2node@y_1@y_2@y_3#false#eqleaf::@y_1@y_2#false#eqleafleaf#true#eqleafnil#false#eqleafnode@y_1@y_2@y_3#false#eqnil::@y_1@y_2#false#eqnilleaf#false#eqnilnil#true#eqnilnode@y_1@y_2@y_3#false#eqnode@x_1@x_2@x_3::@y_1@y_2#false#eqnode@x_1@x_2@x_3leaf#false#eqnode@x_1@x_2@x_3nil#false#eqnode@x_1@x_2@x_3node@y_1@y_2@y_3#and#eq@x_1@y_1#and#eq@x_2@y_2#eq@x_3@y_3#equal2bfs#47#eq2reverse1appendreverse#12appendreverse2#true0leaf0dfs#12dobfs2#pos1dodfs2bfs2#12node3bfs22bfs3#and2nil0bfs#22#false0::2bfs#13dfs#24bfs#34#00dfs2#neg1#s1dfs#36INNERMOSTtct_complexity/raML/bfs.raml.trs