Marked_appreverseMarked_shufflenilMarked_reverseaddshuffleappnyxapp(nil,y)yapp(add(n,x),y)add(n,app(x,y))reverse(nil)nilreverse(add(n,x))app(reverse(x),add(n,nil))shuffle(nil)nilshuffle(add(n,x))add(n,shuffle(reverse(x)))app(nil,y)yapp(add(n,x),y)add(n,app(x,y))reverse(nil)nilreverse(add(n,x))app(reverse(x),add(n,nil))shuffle(nil)nilshuffle(add(n,x))add(n,shuffle(reverse(x)))Marked_app(add(n,x),y)Marked_app(x,y)Marked_reverse(add(n,x))Marked_app(reverse(x),add(n,nil))Marked_reverse(add(n,x))Marked_reverse(x)Marked_shuffle(add(n,x))Marked_shuffle(reverse(x))Marked_shuffle(add(n,x))Marked_reverse(x)app(nil,y)yapp(add(n,x),y)add(n,app(x,y))reverse(nil)nilreverse(add(n,x))app(reverse(x),add(n,nil))shuffle(nil)nilshuffle(add(n,x))add(n,shuffle(reverse(x)))Marked_shuffle(add(n,x))Marked_shuffle(reverse(x))app110shuffle20add110nil0Marked_shuffle10reverse10app(nil,y)yapp(add(n,x),y)add(n,app(x,y))reverse(nil)nilreverse(add(n,x))app(reverse(x),add(n,nil))shuffle(nil)nilshuffle(add(n,x))add(n,shuffle(reverse(x)))Marked_reverse(add(n,x))Marked_reverse(x)app110shuffle20add210Marked_reverse30nil0reverse10app(nil,y)yapp(add(n,x),y)add(n,app(x,y))reverse(nil)nilreverse(add(n,x))app(reverse(x),add(n,nil))shuffle(nil)nilshuffle(add(n,x))add(n,shuffle(reverse(x)))Marked_app(add(n,x),y)Marked_app(x,y)app110shuffle20add110nil0reverse10Marked_app30