app app app if true xs ys xs app app app if false xs ys ys app app lt app s x app s y app app lt x y app app lt 0 app s y true app app lt y 0 false app app eq x x true app app eq app s x 0 false app app eq 0 app s x false app app merge xs nil xs app app merge nil ys ys app app merge app app cons x xs app app cons y ys app app app if app app lt x y app app cons x app app merge xs app app cons y ys app app app if app app eq x y app app cons x app app merge xs ys app app cons y app app merge app app cons x xs ys app app map f nil nil app app map f app app cons x xs app app cons app f x app app map f xs app app mult 0 x 0 app app mult app s x y app app plus y app app mult x y app app plus 0 x 0 app app plus app s x y app s app app plus x y list1 app app map app mult app s app s 0 hamming list2 app app map app mult app s app s app s 0 hamming list3 app app map app mult app s app s app s app s app s 0 hamming hamming app app cons app s 0 app app merge list1 app app merge list2 list3 app 2 if 0 true 0 false 0 lt 0 s 0 0 0 eq 0 merge 0 nil 0 cons 0 map 0 mult 0 plus 0 list1 0 hamming 0 list2 0 list3 0 FULL ./TRS/higher-order/Bird/Hamming.trs