append@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2subtrees@tsubtrees#1@tsubtrees#1leafnilsubtrees#1node@x@t1@t2subtrees#2subtrees@t1@t1@t2@xsubtrees#2@l1@t1@t2@xsubtrees#3subtrees@t2@l1@t1@t2@xsubtrees#3@l2@l1@t1@t2@x::node@x@t1@t2append@l1@l2::2leaf0nil0node3append2append#12subtrees1subtrees#11subtrees#24subtrees#3522.211::200112append201112append#1201112leaf08nil08node30011213subtrees1011subtrees#11011subtrees#24011021304subtrees#3501112030405append#1nil@l2@l2append@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2subtrees@tsubtrees#1@tsubtrees#1leafnilsubtrees#1node@x@t1@t2subtrees#2subtrees@t1@t1@t2@xsubtrees#2@l1@t1@t2@xsubtrees#3subtrees@t2@l1@t1@t2@xsubtrees#3@l2@l1@t1@t2@x::node@x@t1@t2append@l1@l211::220112append201112append#1201112leaf00nil00node312111213subtrees1821subtrees#11021subtrees#241511022324subtrees#3541112030405subtrees@tsubtrees#1@tsubtrees#1node@x@t1@t2subtrees#2subtrees@t1@t1@t2@xsubtrees#2@l1@t1@t2@xsubtrees#3subtrees@t2@l1@t1@t2@xsubtrees#3@l2@l1@t1@t2@x::node@x@t1@t2append@l1@l2append@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2subtrees@tsubtrees#1@tsubtrees#1leafnilsubtrees#1node@x@t1@t2subtrees#2subtrees@t1@t1@t2@xsubtrees#2@l1@t1@t2@xsubtrees#3subtrees@t2@l1@t1@t2@xsubtrees#3@l2@l1@t1@t2@x::node@x@t1@t2append@l1@l211::200112append200112append#1200112leaf04nil09node30011213subtrees1041subtrees#11041subtrees#24011024304subtrees#3501112030405subtrees#1leafnilappend@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2subtrees@tsubtrees#1@tsubtrees#1leafnilsubtrees#1node@x@t1@t2subtrees#2subtrees@t1@t1@t2@xsubtrees#2@l1@t1@t2@xsubtrees#3subtrees@t2@l1@t1@t2@xsubtrees#3@l2@l1@t1@t2@x::node@x@t1@t2append@l1@l221::2010000110012append2000061110012append#12000061110012leaf014nil000node304007111061210513subtrees10010011subtrees#110010011subtrees#240410611000021011300104subtrees#35011001100612000030010400005append#1::@x@xs@l2::@xappend@xs@l2append@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2subtrees@tsubtrees#1@tsubtrees#1leafnilsubtrees#1node@x@t1@t2subtrees#2subtrees@t1@t1@t2@xsubtrees#2@l1@t1@t2@xsubtrees#3subtrees@t2@l1@t1@t2@xsubtrees#3@l2@l1@t1@t2@x::node@x@t1@t2append@l1@l221::2010000110012append2100011110012append#12000011110012leaf007nil000node314100111021210013subtrees10010021subtrees#110010021subtrees#241310111000021002310024subtrees#35111001100112000030000400015append@l1@l2append#1@l1@l2append@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2subtrees@tsubtrees#1@tsubtrees#1leafnilsubtrees#1node@x@t1@t2subtrees#2subtrees@t1@t1@t2@xsubtrees#2@l1@t1@t2@xsubtrees#3subtrees@t2@l1@t1@t2@xsubtrees#3@l2@l1@t1@t2@x::node@x@t1@t2append@l1@l2TcT3.0.0