WORST_CASE(?, O(n^3)) #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::2nil0leaf0node3#false0#true0#00#neg1#pos1#s1#equal2appendreverse2appendreverse#12bfs3bfs#13bfs#22bfs#34bfs#47bfs22bfs2#12dfs2dfs#12dfs#24dfs#36dobfs2dodfs2reverse1#and2#eq232.1#equalz0z1#eqz0z1#equalz0z1c32#eqz0z1appendreversez0z1appendreverse#1z0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2appendreversez1::z0z2appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0z0appendreverse#1nilz0c35bfsz0z1z2bfs#1z0z1z2bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1bfs#2z0z1bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2bfsreverse::z0z1nilz2bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0leafbfs#2nilz0c40bfs#3leafz0z1z2bfsz1z0z2bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5nodez5z1z2bfs#4#truez0z1z2z3z4z5c44bfs2z0z1bfs2#1dobfsz0z1z1bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1dfs#1z0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2dfs#2z0z0z1z2dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0leafdfs#1nilz0c49dfs#2leafz0z1z2dfsz1z2dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5dfs#3#equalz0z5z3z1z2z4z5dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4dfs::z1::z2z3z4dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4z0dfs#3#truez0z1z2z3z4c53dobfsz0z1bfs::z0nilnilz1dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1dfs::z0nilz1dodfsz0z1c55dfs::z0nilz1reversez0appendreversez0nilreversez0c56appendreversez0nil#and#false#false#false#and#false#falsec#and#false#true#false#and#false#truec1#and#true#false#false#and#true#falsec2#and#true#true#true#and#true#truec3#eq#0#0#true#eq#0#0c4#eq#0#negz0#false#eq#0#negz0c5#eq#0#posz0#false#eq#0#posz0c6#eq#0#sz0#false#eq#0#sz0c7#eq#negz0#0#false#eq#negz0#0c8#eq#negz0#negz1#eqz0z1#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1#false#eq#negz0#posz1c10#eq#posz0#0#false#eq#posz0#0c11#eq#posz0#negz1#false#eq#posz0#negz1c12#eq#posz0#posz1#eqz0z1#eq#posz0#posz1c13#eqz0z1#eq#sz0#0#false#eq#sz0#0c14#eq#sz0#sz1#eqz0z1#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3#and#eqz0z2#eqz1z3#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leaf#false#eq::z0z1leafc17#eq::z0z1nil#false#eq::z0z1nilc18#eq::z0z1nodez2z3z4#false#eq::z0z1nodez2z3z4c19#eqleaf::z0z1#false#eqleaf::z0z1c20#eqleafleaf#true#eqleafleafc21#eqleafnil#false#eqleafnilc22#eqleafnodez0z1z2#false#eqleafnodez0z1z2c23#eqnil::z0z1#false#eqnil::z0z1c24#eqnilleaf#false#eqnilleafc25#eqnilnil#true#eqnilnilc26#eqnilnodez0z1z2#false#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4#false#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leaf#false#eqnodez0z1z2leafc29#eqnodez0z1z2nil#false#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5#and#eqz0z3#and#eqz1z4#eqz2z5#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#and#false#false#and#false#true#and#true#false#and#true#true#eq#0#0#eq#0#negz0#eq#0#posz0#eq#0#sz0#eq#negz0#0#eq#negz0#negz1#eq#negz0#posz1#eq#posz0#0#eq#posz0#negz1#eq#posz0#posz1#eq#sz0#0#eq#sz0#sz1#eq::z0z1::z2z3#eq::z0z1leaf#eq::z0z1nil#eq::z0z1nodez2z3z4#eqleaf::z0z1#eqleafleaf#eqleafnil#eqleafnodez0z1z2#eqnil::z0z1#eqnilleaf#eqnilnil#eqnilnodez0z1z2#eqnodez0z1z2::z3z4#eqnodez0z1z2leaf#eqnodez0z1z2nil#eqnodez0z1z2nodez3z4z5#equalz0z1appendreversez0z1appendreverse#1::z0z1z2appendreverse#1nilz0bfsz0z1z2bfs#1::z0z1z2z3bfs#1nilz0z1bfs#2::z0z1z2bfs#2nilz0bfs#3leafz0z1z2bfs#3nodez0z1z2z3z4z5bfs#4#falsez0z1z2z3z4z5bfs#4#truez0z1z2z3z4z5bfs2z0z1bfs2#1z0z1dfsz0z1dfs#1::z0z1z2dfs#1nilz0dfs#2leafz0z1z2dfs#2nodez0z1z2z3z4z5dfs#3#falsez0z1z2z3z4dfs#3#truez0z1z2z3z4dobfsz0z1dodfsz0z1reversez0bfs2z0z1bfs2#1dobfsz0z1z1bfs2#1z0z1dobfsz0z1dfsz0z1dfs#1z0z1dfs#1::z0z1z2dfs#2z0z0z1z2dfs#1nilz0leafdfs#2leafz0z1z2dfsz1z2dfs#2nodez0z1z2z3z4z5dfs#3#equalz0z5z3z1z2z4z5dfs#3#falsez0z1z2z3z4dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4z0dodfsz0z1dfs::z0nilz11c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq21#and21reverse1111appendreverse211112appendreverse#1211112#equal211012dobfs211112bfs311113bfs#131111213bfs#341121314bfs#471121314151617bfs#2211112#and20#eq20#equal20appendreverse20appendreverse#120bfs30bfs#130bfs#220bfs#340bfs#470bfs22112bfs2#12112dfs211012dfs#1211012dfs#241101314dfs#36130141516dobfs20dodfs211012reverse10#001#true00#neg1111#false00#pos1111#s1111::211012leaf01nil00node31101213bfs2#1z0z1c46dobfsz0z1dfs#2leafz0z1z2c50dfsz1z2#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nil1c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq21#and21reverse1111appendreverse2112appendreverse#12112#equal211012dobfs211112bfs311113bfs#131111213bfs#341121314bfs#471121314151617bfs#2211112#and20#eq20#equal20appendreverse2120appendreverse#12120bfs30bfs#130bfs#220bfs#340bfs#470bfs22112bfs2#12120dfs2120dfs#12120dfs#24140dfs#36160dobfs20dodfs2120reverse10#001#true00#neg1111#false00#pos1111#s1111::20leaf01nil00node31101213bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nil1c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq21#and21reverse1111appendreverse211112appendreverse#1211112#equal211012dobfs211112bfs311113bfs#131111213bfs#341121314bfs#471121314151617bfs#2211112#and20#eq20#equal20appendreverse20appendreverse#120bfs30bfs#130bfs#220bfs#340bfs#470bfs22112bfs2#12112dfs211112dfs#1211112dfs#241101314dfs#36113141516dobfs20dodfs211112reverse10#001#true00#neg1111#false00#pos1111#s1111::211012leaf01nil00node31111213dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#3#truez0z1z2z3z4c53#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nil1c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq21#and21reverse1111appendreverse2112appendreverse#12112#equal211012dobfs211112bfs311113bfs#131111213bfs#341121314bfs#471121314151617bfs#2211112#and20#eq20#equal20appendreverse2120appendreverse#12120bfs30bfs#130bfs#220bfs#340bfs#470bfs22112bfs2#12112dfs2120dfs#12120dfs#24140dfs#36160dobfs20dodfs2112reverse10#001#true01#neg1111#false00#pos1111#s1111::20leaf00nil00node31101213dodfsz0z1c55dfs::z0nilz1#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nil1c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq21#and21reverse1111appendreverse211112appendreverse#1211112#equal211012dobfs211112bfs311113bfs#131111213bfs#341121314bfs#471121314151617bfs#2211112#and20#eq20#equal20appendreverse20appendreverse#120bfs30bfs#130bfs#220bfs#340bfs#470bfs22112bfs2#12112dfs211012dfs#1211012dfs#241101314dfs#36130141516dobfs20dodfs211012reverse10#001#true01#neg1111#false00#pos1111#s1111::211012leaf00nil00node31111213dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nil1c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq21#and21reverse1111appendreverse211112appendreverse#1211112#equal211012dobfs211112bfs311113bfs#131111213bfs#341121314bfs#471121314151617bfs#2211112#and20#eq20#equal20appendreverse20appendreverse#120bfs30bfs#130bfs#220bfs#340bfs#470bfs22112bfs2#12112dfs211012dfs#1211012dfs#241101314dfs#36113141516dobfs20dodfs211012reverse10#001#true00#neg1111#false00#pos1111#s1111::211012leaf00nil00node31111213dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nil1c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq20#and20reverse10appendreverse233132appendreverse#12332#equal20dobfs233132bfs3333bfs#1333233bfs#343323334bfs#473323334353637bfs#22332#and20#eq20#equal20appendreverse20appendreverse#120bfs30bfs#130bfs#220bfs#340bfs#470bfs2221112bfs2#12112dfs20dfs#120dfs#240dfs#360dobfs21dodfs2131reverse10#003#true00#neg1311#false00#pos1311#s1311::20leaf00nil00node31101213dobfsz0z1c54bfs::z0nilnilz1#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nil1c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq21#and21reverse1111appendreverse211112appendreverse#1211112#equal211012dobfs211112bfs311113bfs#131111213bfs#341121314bfs#471121314151617bfs#2211112#and20#eq20#equal20appendreverse20appendreverse#120bfs30bfs#130bfs#220bfs#340bfs#470bfs22112bfs2#12112dfs211112dfs#1211012dfs#241101314dfs#36113141516dobfs20dodfs211112reverse10#001#true00#neg1111#false00#pos1111#s1111::211012leaf01nil00node31111213dfsz0z1c47dfs#1z0z1#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nil1c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq20#and20reverse1110appendreverse211012appendreverse#1211012#equal20dobfs212112bfs31212213bfs#131212213bfs#34121222314bfs#471222324251617bfs#2212112#and20#eq20#equal20appendreverse20appendreverse#120bfs311012bfs#1311012bfs#22110bfs#341101213bfs#47120131415bfs2213112bfs2#12110dfs20dfs#120dfs#240dfs#360dobfs2110dodfs2112reverse10#003#true00#neg1311#false00#pos1311#s1311::211012leaf01nil00node31101213bfs#3leafz0z1z2c41bfsz1z0z2#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z11c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq20#and20reverse11appendreverse2120appendreverse#12120#equal20dobfs223132bfs3333bfs#1333233bfs#343323334bfs#473323334353637bfs#22332#and20#eq20#equal20appendreverse20appendreverse#120bfs3110bfs#13110bfs#221bfs#34130bfs#47150bfs2231112bfs2#12212dfs20dfs#120dfs#240dfs#360dobfs21dodfs212112reverse10#003#true00#neg1311#false00#pos1311#s1311::2120leaf00nil01node31101213bfs#2nilz0c40#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilappendreversez0z1appendreverse#1z0z1appendreverse#1nilz0z0appendreverse#1::z0z1z2appendreversez1::z0z21c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq20#and20reverse1110appendreverse211012appendreverse#1211012#equal20dobfs2210bfs321022bfs#1321022bfs#342102223bfs#4712223242517bfs#22210#and20#eq20#equal20appendreverse20appendreverse#120bfs311012bfs#1311012bfs#22110bfs#341101213bfs#47120131415bfs2213112bfs2#1211112dfs2210dfs#12210dfs#2421023dfs#362302425dobfs2110dodfs213132reverse10#003#true00#neg1311#false00#pos1311#s1311::211012leaf00nil00node31111213bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z11c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq20#and20reverse1110appendreverse211012appendreverse#1211012#equal20dobfs2111bfs311012bfs#1311012bfs#341101213bfs#47112131415bfs#22110#and20#eq20#equal21appendreverse20appendreverse#120bfs311012bfs#1311012bfs#22110bfs#341101213bfs#47120131415bfs2213112bfs2#1211012dfs2210dfs#12210dfs#2421023dfs#362302425dobfs2110dodfs213112reverse10#003#true00#neg1311#false00#pos1311#s1311::211012leaf00nil00node311213#equalz0z1c32#eqz0z1#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z11c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq20#and20reverse1110appendreverse211012appendreverse#1211012#equal20dobfs221012bfs321022bfs#1321022bfs#342102223bfs#4712223242517bfs#22210#and20#eq20#equal20appendreverse20appendreverse#120bfs311012bfs#1311012bfs#22110bfs#341101213bfs#47112131415bfs2213112bfs2#12111dfs20dfs#120dfs#240dfs#360dobfs2110dodfs211012reverse10#003#true00#neg1311#false00#pos1311#s1311::211012leaf00nil00node31111213bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z11c00c100c200c300c400c500c600c700c800c91110c1000c1100c1200c131110c1400c151110c1631101213c1700c1800c1900c2000c2100c2200c2300c2400c2500c2600c2700c2800c2900c3000c31511012131415c321110c331110c341110c3500c361110c371110c381110c39211012c4000c411110c42211012c431110c4400c45211012c461110c471110c481110c4900c501110c51211012c521110c5300c541110c551110c561110#eq21#and2110reverse1110appendreverse211012appendreverse#1211012#equal21dobfs2111bfs311012bfs#1311012bfs#341111213bfs#4731213141517bfs#22110#and20#eq20#equal20appendreverse20appendreverse#120bfs311012bfs#1311012bfs#22110bfs#341101213bfs#4721012131415bfs2233112bfs2#1211112dfs20dfs#120dfs#240dfs#360dobfs2111dodfs20reverse10#000#true01#neg1110#false01#pos1110#s1110::211112leaf00nil00node33111213bfs#1::z0z1z2z3c37bfs#3z0z2z1z3#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2#eq::z0z1::z2z3#and#eqz0z2#eqz1z3#eq#0#negz0#false#eq#negz0#0#false#eq#0#posz0#false#eq#posz0#0#falsedobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3#eq#negz0#posz1#false#eq#posz0#negz1#false#and#true#true#trueappendreversez0z1appendreverse#1z0z1#eq#0#sz0#false#eq#sz0#0#falsebfsz0z1z2bfs#1z0z1z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0#eq#sz0#sz1#eqz0z1#eqnodez0z1z2nodez3z4z5#and#eqz0z3#and#eqz1z4#eqz2z5bfs#2nilz0leaf#eqleafnil#false#eqnilleaf#falsebfs#1nilz0z1bfs#2z0z1reversez0appendreversez0nil#eqnilnil#true#eq::z0z1nodez2z3z4#false#eqnodez0z1z2::z3z4#falseappendreverse#1nilz0z0#eq#0#0#true#and#false#true#false#and#true#false#false#eq#posz0#posz1#eqz0z1bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4#eq::z0z1nil#false#eqnil::z0z1#falsebfs#3leafz0z1z2bfsz1z0z2#equalz0z1#eqz0z1#eqleafleaf#true#eqnilnodez0z1z2#false#eqnodez0z1z2nil#false#eq::z0z1leaf#false#eqleaf::z0z1#false#eqleafnodez0z1z2#false#eqnodez0z1z2leaf#false#eq#negz0#negz1#eqz0z1#and#false#false#false21111appendreverse200000000100002reverse1000000001#and200000000100002dfs#240000000010000200003110004c2100000c500000c1630000110001110002110003c1700000c600000c5120000110001110002c2000000c3410000110001c4520000110001110002c5210000110001c47100001100111c32100001100111c3310000110001c1800000c46100001100111c700000#equal200000000100002c4000000c2300000c00000c44031000c800000c1400000dfs#3600000000100002000030000400005110006c5610000110001bfs#340000002101110210200210300004#eq200000000100002appendreverse#12041000000100002c3710000110001c35004100dodfs241110000410111041112c2800000dfs#12000000001110002c4900000c300000bfs311000002101110210200003c2500000c3810000110001c100000c1200000c42211000110001110002c3000000dobfs21100000210100002c200000c910000110001c1310000110001c5510000110001dfs2000000001110002c2400000bfs#130000002101110210200003c2600000c3920000110001110002c1100000c5410000110001c1900000c5300000bfs#220000110210100002bfs224141000041011104102bfs2#1211000002101110002c3150000110001110002110003110004110005c1000000c2700000c4110000110001c4810000110001c4310000110001c5010000110001c400000bfs#47310000000111021020021030021040021050000600007c2900000c36100001100111c2200000c1510000110001#000000#eq200000000100002bfs30110000011100011200003leaf001100#equal200000000100002bfs#4702100000010001120001130001140001150000600007appendreverse2000011001111100112#neg1000000001dobfs20110011001110011112bfs#130110000011100011200003#and200000000100002nil00000#false00000reverse100001100111appendreverse#12000011001111100112::2110000001111100112bfs#220110000011100002#pos1000000001#s1000000001#true00000node30210000001000112000113bfs#34000000011100011200011300004bfsz0z1z2c36bfs#1z0z1z2#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z121111appendreverse200000000100002reverse1000000001#and200000000100002dfs#240000000010000200003110004c2100000c500000c1630000110001110002110003c1700000c600000c5120000110001110002c2000000c3410000110001c452041001102101110002c5210000110001c47100001100111c32100001100111c33100001100111c1800000c461011001100111c700000#equal200000000100002c40011000c2300000c00000c44031000c800000c1400000dfs#3600000000100002000030000400005110006c5610000110001bfs#3411000002101110210200210300004#eq200000000100002appendreverse#1200000000100002c3710000110001c3500000dodfs24141001103111111011112c2800000dfs#12000000001110002c4900000c300000bfs311000002101110210200003c2500000c3810000110001c100000c1200000c4220000110001110002c3000000dobfs21100000210100002c200000c910000110001c1310000110001c5510000110001dfs2000000001110002c2400000bfs#1311000002101110210200003c2600000c3920000110001110002c1100000c5410000110001c1900000c5300000bfs#2211000110210100002bfs224141000041011101102bfs2#12111100002101110002c3150000110001110002110003110004110005c1000000c2700000c4110000110001c4810000110001c4310000110001c5010000110001c400000bfs#47310000000111021020021030021040021050000600007c2900000c36100001100111c2200000c1510000110001#000000#eq200000000100002bfs3000000011100011200003leaf00000#equal200000000100002bfs#4701100000010001120001130001140001150000600007appendreverse21100031001112100112#neg1000000001dobfs200000001114102102bfs#13000000011100011200003#and200000000100002nil00000#false00000reverse1210004100111appendreverse#12000031001112100112::2110000001111100112bfs#22000000011100002#pos1000000001#s1000000001#true00000node30110000001000112000113bfs#34000000011100011200011300004bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z121111appendreverse200000000100002reverse1000000001#and200000000100002dfs#240000000010000200003110004c2100000c500000c1630000110001110002110003c1700000c600000c5120000110001110002c2000000c3410000110001c452041001100111110002c5210000110001c4710000110001c32100001100111c33100001100111c1800000c46100001100111c700000#equal200000000100002c4000000c2300000c00000c44031000c800000c1400000dfs#3600000000100002000030000400005110006c5610000110001bfs#3411000002101110210200210300004#eq200000000100002appendreverse#1200000000100002c3710000110001c3500000dodfs241110000410111041112c2800000dfs#120410000001110002c49004100c300000bfs311000002101110210200003c2500000c38102100110001c100000c1200000c4220000110001110002c3000000dobfs21100000210100002c200000c910000110001c1310000110001c5510000110001dfs2000000001110002c2400000bfs#13112100002101110210200003c2600000c3920000110001110002c1100000c5410000110001c1900000c5300000bfs#220000110210100002bfs224141000041011104102bfs2#1211000002101110002c3150000110001110002110003110004110005c1000000c2700000c41111000110001c4810000110001c4310000110001c5010000110001c400000bfs#47310000000111021020021030021040021050000600007c2900000c3610000110001c2200000c1510000110001#000000#eq200000000100002bfs30110000011100011200003leaf001100#equal200000000100002bfs#4701100000010001120001130001140001150000600007appendreverse2000041001111100112#neg1000000001dobfs20110000011100002bfs#130110000011100011200003#and200000000100002nil00000#false00000reverse1000041041111appendreverse#12000041001111100112::2110000001111100112bfs#220110000011100002#pos1000000001#s1000000001#true00000node30110000001000112000113bfs#340110000011100011200011300004bfs#1nilz0z1c38bfs#2z0z1#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z121111appendreverse200000000100002reverse111110000001#and200000000100002dfs#2404100000010000200003110004c2100000c500000c1630000110001110002110003c1700000c600000c51202100110001110002c2000000c3410000110001c452041001100111110002c5210000110001c4710000110001c3210000110001c33100001100111c1800000c46100001100111c700000#equal2021000000100002c4000000c2300000c00000c44041000c800000c1400000dfs#3600000000100002000030000400005110006c56101100110001bfs#340000002101110210200210300004#eq200000000100002appendreverse#1200000000100002c3710000110001c3500000dodfs2311100110310111011112c2800000dfs#120110000001110002c49001100c300000bfs30000002101110210200003c2500000c3810000110001c100000c1200000c42200001100011102102c3000000dobfs2000000210100002c200000c910000110001c1310000110001c5510000110001dfs2000000001110002c2400000bfs#130000002101110210200003c2600000c39200001100011101102c1100000c5410000110001c1900000c5300000bfs#220000110210100002bfs2241410000411111104102bfs2#120000002101110002c3150000110001110002110003110004110005c1000000c2700000c4110000110001c4810000110001c4310000110001c5010000110001c400000bfs#47410000000111021020021030021040021050000600007c2900000c36100001100111c2200000c1510000110001#000000#eq200000000100002bfs3000000011100011200003leaf00000#equal200000000100002bfs#4704100000010001120001130001140001150000600007appendreverse2000021001111100112#neg1000000001dobfs2210000001112104102bfs#13000000011100011200003#and200000000100002nil00000#false00000reverse1000021011111appendreverse#12000021001111100112::2210000001111100112bfs#22000000011100002#pos1000000001#s1000000001#true00000node30410000001000112000113bfs#34000000011100011200011300004reversez0c56appendreversez0nil#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z121111appendreverse2110000000100002reverse11100000001#and200000000100002dfs#2402100000010000200003110004c2100000c500000c1630000110001110002110003c1700000c600000c5120000110001110002c2000000c3410000110001c45204100110001110002c5210000110001c4710000110001c32100001100111c33100001100111c1800000c46100001100111c700000#equal200000000100002c4000000c2300000c00000c44041000c800000c1400000dfs#3600000000100002000030000400005110006c5610000110001bfs#3404100002101110210200210300004#eq200000000100002appendreverse#12110000000100002c3710000110001c3500000dodfs221110000111111103102c2800000dfs#120410000001110002c49004100c300000bfs30000002101110210200003c2500000c38102100110001c100000c1200000c42204100110001110002c3000000dobfs2000000210100002c200000c910000110001c1310000110001c5510000110001dfs2000000001110002c2400000bfs#1302100002101110210200003c2600000c3920000110001110002c1100000c5410000110001c1900000c5300000bfs#220000110210100002bfs2211410000410111041112bfs2#120000002101110002c3150000110001110002110003110004110005c1000000c2700000c4110000110001c4810000110001c4310000110001c5010000110001c400000bfs#47410000000111021020021030021040021050000600007c2900000c3610000110001c2200000c1510000110001#000000#eq200000000100002bfs3000000011100011200003leaf00000#equal20000000014102102bfs#4702100000010001120001130001140001150000600007appendreverse2000041001114100112#neg1000000001dobfs20000110011100002bfs#13000000011100011200003#and2021000000100002nil00000#false00000reverse100004100111appendreverse#12000041001114100112::2210000001111100112bfs#22000000011100002#pos1000000001#s1000000001#true00000node30210000001000112000113bfs#34000000011100011200011300004appendreverse#1nilz0c35#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z121111appendreverse2000011000100002reverse10000110001#and200000000100002dfs#24000000410100002004103110004c2100000c500000c1630000110001110002110003c1700000c600000c5120000110001110002c2000000c3410000110001c4520000110001110002c52100001100111c47101100110001c321011001100111c33100001100111c1800000c46100001100111c700000#equal2011000000100002c4000000c2300000c00000c440211100c800000c1400000dfs#360410000001000112004103004104004105110006c5610000110001bfs#3404100002101110210200210300004#eq200000000100002appendreverse#12000011000100002c3710000110001c3500000dodfs23141000041011101102c2800000dfs#1204100004101110002c49004100c300000bfs30000002101110210200003c2500000c3810000110001c100000c1200000c422000011041011102102c3000000dobfs2000000210100002c200000c910000110001c1310000110001c5510000110001dfs202100004101110002c2400000bfs#130000002101110210200003c2600000c3920000110001110002c1100000c5410000110001c1900000c53004100bfs#220000110210100002bfs224131000041011104102bfs2#120000002101110002c3150000110001110002110003110004110005c1000000c2700000c41102100110001c48102100110001c43101100110001c5010000110001c400000bfs#472111000000111021020021030021040021050000600007c2900000c36100001100111c2200000c1510000110001#000000#eq200000000100002bfs3000000011100011200003leaf00000#equal200000000100002bfs#47041000000100011200011300011400011500006000117appendreverse2000021001112100112#neg1000000001dobfs20000000111110002bfs#13000000011100011200003#and200000000100002nil00000#false00000reverse1000031011111appendreverse#12000021001112100112::2110000001111100112bfs#22000000011100002#pos1000000001#s1000000001#true00000node304100000111000112000113bfs#34000000011100011200011300004appendreverse#1::z0z1z2c34appendreversez1::z0z2#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z131111appendreverse21100000000000000110010000000002reverse1110000000000000011001#and200000000000000000010000000002dfs#24000000000000000000100001100002000000000311000000004c210000000000c50000000000c163000000000110000000011100000000211000000003c1700110000000c60000000000c5120000000001100000000111000000002c2000011000000c34100000000011000000001c45200310000001100000000111000000002c52100000000011000000001c4710000000001100000021111c32100000000011000000001c3310000000001100000021111c1800110000000c4610000000001100000021111c70000000000#equal200000000000000000010000000002c400000000000c230000000000c0000000000c4403100000000c80000000000c140000000000dfs#36000000000000000000100001100210200000000030000000004000000000511000000006c561000000000110000000111bfs#34000000000000110000011100110011002000110000030000000004#eq20000000000000000110100000000112appendreverse#12000000000000000110010000000002c3710210000000110000000111c350000000000dodfs2111131000000000110011110111001100111102c2800011000000dfs#120110000000000000000111000000002c4900110000000c30000000000bfs30000000000001100000111001100110020000000003c250000000000c381000000000110000000111c10000000000c120000000000c4220000000001100000000111000000002c300000000000dobfs2000000000000110000010000000002c20000000000c9100000000011000000001c13100000000011000000001c5510031000000110000000111dfs2000000000000000000111000000002c2400011000000bfs#13031000000000011000110111001100110020000000003c260000000000c3920000000001100000000111000000002c110000000000c54100000000011000000001c1900110000000c530000000000bfs#2200000000011001100110010000000002bfs221111310000001100310011110111003100111102bfs2#120000000000002100000111000000002c3150000000001100000000111000000002110000000031100000000411000000005c100000000000c270000000000c411000000000110000000111c481000000000110000000111c43100000000011000000001c501000000000110000000111c40000000000bfs#4731000000000000000001110011001100200011000003000110000040001100000500000000060000000007c290000000000c3610000000001100000021111c220000000000c15100000000011000000001#00000000000#eq200000000000000000010000000002bfs3000000000000011000010000110000200001100003leaf0000000000#equal200000000000000000010000000002bfs#4703100000000000000001000011000020000110021030000110000400001100005000011000060000000007appendreverse200000000000001101102111100011000212#neg10000000000000000001dobfs200000000000001100001000011000212bfs#13000000000000011000010000110000200001100003#and200000000000000000010000000002nil0000000000#false0000000000reverse10000000000000110110211appendreverse#1200000000000001101102111100011000212::21101100000000001100001000011000112bfs#220000000000000110000100001100002#pos10000000000000000001#s10000000000000000001#true0000000000node30310000000000000000100001100210200001100003bfs#3400000000000001100001000011000020000110000300001100004appendreversez0z1c33appendreverse#1z0z1#and#false#falsec#and#false#truec1#and#true#falsec2#and#true#truec3#eq#0#0c4#eq#0#negz0c5#eq#0#posz0c6#eq#0#sz0c7#eq#negz0#0c8#eq#negz0#negz1c9#eqz0z1#eq#negz0#posz1c10#eq#posz0#0c11#eq#posz0#negz1c12#eq#posz0#posz1c13#eqz0z1#eq#sz0#0c14#eq#sz0#sz1c15#eqz0z1#eq::z0z1::z2z3c16#and#eqz0z2#eqz1z3#eqz0z2#eqz1z3#eq::z0z1leafc17#eq::z0z1nilc18#eq::z0z1nodez2z3z4c19#eqleaf::z0z1c20#eqleafleafc21#eqleafnilc22#eqleafnodez0z1z2c23#eqnil::z0z1c24#eqnilleafc25#eqnilnilc26#eqnilnodez0z1z2c27#eqnodez0z1z2::z3z4c28#eqnodez0z1z2leafc29#eqnodez0z1z2nilc30#eqnodez0z1z2nodez3z4z5c31#and#eqz0z3#and#eqz1z4#eqz2z5#eqz0z3#and#eqz1z4#eqz2z5#eqz1z4#eqz2z5#equalz0z1c32#eqz0z1appendreversez0z1c33appendreverse#1z0z1appendreverse#1::z0z1z2c34appendreversez1::z0z2appendreverse#1nilz0c35bfsz0z1z2c36bfs#1z0z1z2bfs#1::z0z1z2z3c37bfs#3z0z2z1z3bfs#1nilz0z1c38bfs#2z0z1bfs#2::z0z1z2c39bfsreverse::z0z1nilz2reverse::z0z1bfs#2nilz0c40bfs#3leafz0z1z2c41bfsz1z0z2bfs#3nodez0z1z2z3z4z5c42bfs#4#equalz5z0z3z1z2z4z5z0#equalz5z0bfs#4#falsez0z1z2z3z4z5c43bfsz3::z2::z1z0z4bfs#4#truez0z1z2z3z4z5c44bfs2z0z1c45bfs2#1dobfsz0z1z1dobfsz0z1bfs2#1z0z1c46dobfsz0z1dfsz0z1c47dfs#1z0z1dfs#1::z0z1z2c48dfs#2z0z0z1z2dfs#1nilz0c49dfs#2leafz0z1z2c50dfsz1z2dfs#2nodez0z1z2z3z4z5c51dfs#3#equalz0z5z3z1z2z4z5#equalz0z5dfs#3#falsez0z1z2z3z4c52dfs::z1::z2z3z4dfs#3#truez0z1z2z3z4c53dobfsz0z1c54bfs::z0nilnilz1dodfsz0z1c55dfs::z0nilz1reversez0c56appendreversez0nilreversez0appendreversez0nilbfs#4#truez0z1z2z3z4z5nodez5z1z2appendreverse#1nilz0z0dobfsz0z1bfs::z0nilnilz1bfs#1::z0z1z2z3bfs#3z0z2z1z3bfs#2::z0z1z2bfsreverse::z0z1nilz2appendreverse#1::z0z1z2appendreversez1::z0z2bfs#4#falsez0z1z2z3z4z5bfsz3::z2::z1z0z4appendreversez0z1appendreverse#1z0z1bfsz0z1z2bfs#1z0z1z2bfs#3leafz0z1z2bfsz1z0z2bfs#3nodez0z1z2z3z4z5bfs#4#equalz5z0z3z1z2z4z5z0bfs#2nilz0leafbfs#1nilz0z1bfs#2z0z1AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (24 real / 0 unknown / 0 assumptions / 24 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe