Marked_match_5Marked_match_1match_1match_3Marked_partmatch_0quickMarked_match_2NilPairMarked_quicktestmatch_5Marked_testConsmatch_2Marked_match_4Falsematch_4Marked_match_3appendMarked_match_0partMarked_appendTruex_0yl1_2l2_1l1l2l_3a_4ll'xal_5test(x_0,y)Truetest(x_0,y)Falseappend(l1_2,l2_1)match_0(l1_2,l2_1,l1_2)match_0(l1_2,l2_1,Nil)l2_1match_0(l1_2,l2_1,Cons(x,l))Cons(x,append(l,l2_1))part(a_4,l_3)match_1(a_4,l_3,l_3)match_1(a_4,l_3,Nil)Pair(Nil,Nil)match_1(a_4,l_3,Cons(x,l'))match_2(x,l',a_4,l_3,part(a_4,l'))match_2(x,l',a_4,l_3,Pair(l1,l2))match_3(l1,l2,x,l',a_4,l_3,test(a_4,x))match_3(l1,l2,x,l',a_4,l_3,False)Pair(Cons(x,l1),l2)match_3(l1,l2,x,l',a_4,l_3,True)Pair(l1,Cons(x,l2))quick(l_5)match_4(l_5,l_5)match_4(l_5,Nil)Nilmatch_4(l_5,Cons(a,l'))match_5(a,l',l_5,part(a,l'))match_5(a,l',l_5,Pair(l1,l2))append(quick(l1),Cons(a,quick(l2)))test(x_0,y)Truetest(x_0,y)Falseappend(l1_2,l2_1)match_0(l1_2,l2_1,l1_2)match_0(l1_2,l2_1,Nil)l2_1match_0(l1_2,l2_1,Cons(x,l))Cons(x,append(l,l2_1))part(a_4,l_3)match_1(a_4,l_3,l_3)match_1(a_4,l_3,Nil)Pair(Nil,Nil)match_1(a_4,l_3,Cons(x,l'))match_2(x,l',a_4,l_3,part(a_4,l'))match_2(x,l',a_4,l_3,Pair(l1,l2))match_3(l1,l2,x,l',a_4,l_3,test(a_4,x))match_3(l1,l2,x,l',a_4,l_3,False)Pair(Cons(x,l1),l2)match_3(l1,l2,x,l',a_4,l_3,True)Pair(l1,Cons(x,l2))quick(l_5)match_4(l_5,l_5)match_4(l_5,Nil)Nilmatch_4(l_5,Cons(a,l'))match_5(a,l',l_5,part(a,l'))match_5(a,l',l_5,Pair(l1,l2))append(quick(l1),Cons(a,quick(l2)))Marked_append(l1_2,l2_1)Marked_match_0(l1_2,l2_1,l1_2)Marked_match_0(l1_2,l2_1,Cons(x,l))Marked_append(l,l2_1)Marked_part(a_4,l_3)Marked_match_1(a_4,l_3,l_3)Marked_match_1(a_4,l_3,Cons(x,l'))Marked_match_2(x,l',a_4,l_3,part(a_4,l'))Marked_match_1(a_4,l_3,Cons(x,l'))Marked_part(a_4,l')Marked_match_2(x,l',a_4,l_3,Pair(l1,l2))Marked_match_3(l1,l2,x,l',a_4,l_3,test(a_4,x))Marked_match_2(x,l',a_4,l_3,Pair(l1,l2))Marked_test(a_4,x)Marked_quick(l_5)Marked_match_4(l_5,l_5)Marked_match_4(l_5,Cons(a,l'))Marked_match_5(a,l',l_5,part(a,l'))Marked_match_4(l_5,Cons(a,l'))Marked_part(a,l')Marked_match_5(a,l',l_5,Pair(l1,l2))Marked_append(quick(l1),Cons(a,quick(l2)))Marked_match_5(a,l',l_5,Pair(l1,l2))Marked_quick(l1)Marked_match_5(a,l',l_5,Pair(l1,l2))Marked_quick(l2)test(x_0,y)Truetest(x_0,y)Falseappend(l1_2,l2_1)match_0(l1_2,l2_1,l1_2)match_0(l1_2,l2_1,Nil)l2_1match_0(l1_2,l2_1,Cons(x,l))Cons(x,append(l,l2_1))part(a_4,l_3)match_1(a_4,l_3,l_3)match_1(a_4,l_3,Nil)Pair(Nil,Nil)match_1(a_4,l_3,Cons(x,l'))match_2(x,l',a_4,l_3,part(a_4,l'))match_2(x,l',a_4,l_3,Pair(l1,l2))match_3(l1,l2,x,l',a_4,l_3,test(a_4,x))match_3(l1,l2,x,l',a_4,l_3,False)Pair(Cons(x,l1),l2)match_3(l1,l2,x,l',a_4,l_3,True)Pair(l1,Cons(x,l2))quick(l_5)match_4(l_5,l_5)match_4(l_5,Nil)Nilmatch_4(l_5,Cons(a,l'))match_5(a,l',l_5,part(a,l'))match_5(a,l',l_5,Pair(l1,l2))append(quick(l1),Cons(a,quick(l2)))Marked_quick(l_5)Marked_match_4(l_5,l_5)Marked_match_4(l_5,Cons(a,l'))Marked_match_5(a,l',l_5,part(a,l'))Marked_match_5(a,l',l_5,Pair(l1,l2))Marked_quick(l1)Marked_match_5(a,l',l_5,Pair(l1,l2))Marked_quick(l2)True0part10append110match_410False0Marked_match_420match_22210Cons2210match_52210test320Marked_quick20Pair110Nil0quick10match_0110match_321120match_110Marked_match_520Marked_match_4(l_5,Cons(a,l'))Marked_match_5(a,l',l_5,part(a,l'))test(x_0,y)Truetest(x_0,y)Falseappend(l1_2,l2_1)match_0(l1_2,l2_1,l1_2)match_0(l1_2,l2_1,Nil)l2_1match_0(l1_2,l2_1,Cons(x,l))Cons(x,append(l,l2_1))part(a_4,l_3)match_1(a_4,l_3,l_3)match_1(a_4,l_3,Nil)Pair(Nil,Nil)match_1(a_4,l_3,Cons(x,l'))match_2(x,l',a_4,l_3,part(a_4,l'))match_2(x,l',a_4,l_3,Pair(l1,l2))match_3(l1,l2,x,l',a_4,l_3,test(a_4,x))match_3(l1,l2,x,l',a_4,l_3,False)Pair(Cons(x,l1),l2)match_3(l1,l2,x,l',a_4,l_3,True)Pair(l1,Cons(x,l2))quick(l_5)match_4(l_5,l_5)match_4(l_5,Nil)Nilmatch_4(l_5,Cons(a,l'))match_5(a,l',l_5,part(a,l'))match_5(a,l',l_5,Pair(l1,l2))append(quick(l1),Cons(a,quick(l2)))Marked_quick(l_5)Marked_match_4(l_5,l_5)Marked_match_5(a,l',l_5,Pair(l1,l2))Marked_quick(l1)Marked_match_5(a,l',l_5,Pair(l1,l2))Marked_quick(l2)test(x_0,y)Truetest(x_0,y)Falseappend(l1_2,l2_1)match_0(l1_2,l2_1,l1_2)match_0(l1_2,l2_1,Nil)l2_1match_0(l1_2,l2_1,Cons(x,l))Cons(x,append(l,l2_1))part(a_4,l_3)match_1(a_4,l_3,l_3)match_1(a_4,l_3,Nil)Pair(Nil,Nil)match_1(a_4,l_3,Cons(x,l'))match_2(x,l',a_4,l_3,part(a_4,l'))match_2(x,l',a_4,l_3,Pair(l1,l2))match_3(l1,l2,x,l',a_4,l_3,test(a_4,x))match_3(l1,l2,x,l',a_4,l_3,False)Pair(Cons(x,l1),l2)match_3(l1,l2,x,l',a_4,l_3,True)Pair(l1,Cons(x,l2))quick(l_5)match_4(l_5,l_5)match_4(l_5,Nil)Nilmatch_4(l_5,Cons(a,l'))match_5(a,l',l_5,part(a,l'))match_5(a,l',l_5,Pair(l1,l2))append(quick(l1),Cons(a,quick(l2)))Marked_append(l1_2,l2_1)Marked_match_0(l1_2,l2_1,l1_2)Marked_match_0(l1_2,l2_1,Cons(x,l))Marked_append(l,l2_1)Marked_match_03Marked_append1Marked_match_0(l1_2,l2_1,Cons(x,l))Marked_append(l,l2_1)test(x_0,y)Truetest(x_0,y)Falseappend(l1_2,l2_1)match_0(l1_2,l2_1,l1_2)match_0(l1_2,l2_1,Nil)l2_1match_0(l1_2,l2_1,Cons(x,l))Cons(x,append(l,l2_1))part(a_4,l_3)match_1(a_4,l_3,l_3)match_1(a_4,l_3,Nil)Pair(Nil,Nil)match_1(a_4,l_3,Cons(x,l'))match_2(x,l',a_4,l_3,part(a_4,l'))match_2(x,l',a_4,l_3,Pair(l1,l2))match_3(l1,l2,x,l',a_4,l_3,test(a_4,x))match_3(l1,l2,x,l',a_4,l_3,False)Pair(Cons(x,l1),l2)match_3(l1,l2,x,l',a_4,l_3,True)Pair(l1,Cons(x,l2))quick(l_5)match_4(l_5,l_5)match_4(l_5,Nil)Nilmatch_4(l_5,Cons(a,l'))match_5(a,l',l_5,part(a,l'))match_5(a,l',l_5,Pair(l1,l2))append(quick(l1),Cons(a,quick(l2)))Marked_append(l1_2,l2_1)Marked_match_0(l1_2,l2_1,l1_2)test(x_0,y)Truetest(x_0,y)Falseappend(l1_2,l2_1)match_0(l1_2,l2_1,l1_2)match_0(l1_2,l2_1,Nil)l2_1match_0(l1_2,l2_1,Cons(x,l))Cons(x,append(l,l2_1))part(a_4,l_3)match_1(a_4,l_3,l_3)match_1(a_4,l_3,Nil)Pair(Nil,Nil)match_1(a_4,l_3,Cons(x,l'))match_2(x,l',a_4,l_3,part(a_4,l'))match_2(x,l',a_4,l_3,Pair(l1,l2))match_3(l1,l2,x,l',a_4,l_3,test(a_4,x))match_3(l1,l2,x,l',a_4,l_3,False)Pair(Cons(x,l1),l2)match_3(l1,l2,x,l',a_4,l_3,True)Pair(l1,Cons(x,l2))quick(l_5)match_4(l_5,l_5)match_4(l_5,Nil)Nilmatch_4(l_5,Cons(a,l'))match_5(a,l',l_5,part(a,l'))match_5(a,l',l_5,Pair(l1,l2))append(quick(l1),Cons(a,quick(l2)))Marked_part(a_4,l_3)Marked_match_1(a_4,l_3,l_3)Marked_match_1(a_4,l_3,Cons(x,l'))Marked_part(a_4,l')Marked_match_13Marked_part2Marked_match_1(a_4,l_3,Cons(x,l'))Marked_part(a_4,l')test(x_0,y)Truetest(x_0,y)Falseappend(l1_2,l2_1)match_0(l1_2,l2_1,l1_2)match_0(l1_2,l2_1,Nil)l2_1match_0(l1_2,l2_1,Cons(x,l))Cons(x,append(l,l2_1))part(a_4,l_3)match_1(a_4,l_3,l_3)match_1(a_4,l_3,Nil)Pair(Nil,Nil)match_1(a_4,l_3,Cons(x,l'))match_2(x,l',a_4,l_3,part(a_4,l'))match_2(x,l',a_4,l_3,Pair(l1,l2))match_3(l1,l2,x,l',a_4,l_3,test(a_4,x))match_3(l1,l2,x,l',a_4,l_3,False)Pair(Cons(x,l1),l2)match_3(l1,l2,x,l',a_4,l_3,True)Pair(l1,Cons(x,l2))quick(l_5)match_4(l_5,l_5)match_4(l_5,Nil)Nilmatch_4(l_5,Cons(a,l'))match_5(a,l',l_5,part(a,l'))match_5(a,l',l_5,Pair(l1,l2))append(quick(l1),Cons(a,quick(l2)))Marked_part(a_4,l_3)Marked_match_1(a_4,l_3,l_3)