tlMarked_appnilconsinitcomposehdMarked_initreverse2Marked_lastreverselastappxslxgfapp(app(app(compose,f),g),x)app(g,app(f,x))app(reverse,l)app(app(reverse2,l),nil)app(app(reverse2,nil),l)lapp(app(reverse2,app(app(cons,x),xs)),l)app(app(reverse2,xs),app(app(cons,x),l))app(hd,app(app(cons,x),xs))xapp(tl,app(app(cons,x),xs))xslastapp(app(compose,hd),reverse)initapp(app(compose,reverse),app(app(compose,tl),reverse))app(app(app(compose,f),g),x)app(g,app(f,x))app(reverse,l)app(app(reverse2,l),nil)app(app(reverse2,nil),l)lapp(app(reverse2,app(app(cons,x),xs)),l)app(app(reverse2,xs),app(app(cons,x),l))app(hd,app(app(cons,x),xs))xapp(tl,app(app(cons,x),xs))xslastapp(app(compose,hd),reverse)initapp(app(compose,reverse),app(app(compose,tl),reverse))Marked_app(app(app(compose,f),g),x)Marked_app(g,app(f,x))Marked_app(app(app(compose,f),g),x)Marked_app(f,x)Marked_app(reverse,l)Marked_app(app(reverse2,l),nil)Marked_app(reverse,l)Marked_app(reverse2,l)Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(reverse2,xs),app(app(cons,x),l))Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(reverse2,xs)Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(cons,x),l)Marked_lastMarked_app(app(compose,hd),reverse)Marked_lastMarked_app(compose,hd)Marked_initMarked_app(app(compose,reverse),app(app(compose,tl),reverse))Marked_initMarked_app(compose,reverse)Marked_initMarked_app(app(compose,tl),reverse)Marked_initMarked_app(compose,tl)app(app(app(compose,f),g),x)app(g,app(f,x))app(reverse,l)app(app(reverse2,l),nil)app(app(reverse2,nil),l)lapp(app(reverse2,app(app(cons,x),xs)),l)app(app(reverse2,xs),app(app(cons,x),l))app(hd,app(app(cons,x),xs))xapp(tl,app(app(cons,x),xs))xslastapp(app(compose,hd),reverse)initapp(app(compose,reverse),app(app(compose,tl),reverse))Marked_app(app(app(compose,f),g),x)Marked_app(g,app(f,x))Marked_app(app(app(compose,f),g),x)Marked_app(f,x)Marked_app(reverse,l)Marked_app(app(reverse2,l),nil)Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(reverse2,xs),app(app(cons,x),l))Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(cons,x),l)app110last30reverse10reverse20hd10compose0init30cons0nil0Marked_app220tl0Marked_app(reverse,l)Marked_app(app(reverse2,l),nil)app(app(app(compose,f),g),x)app(g,app(f,x))app(reverse,l)app(app(reverse2,l),nil)app(app(reverse2,nil),l)lapp(app(reverse2,app(app(cons,x),xs)),l)app(app(reverse2,xs),app(app(cons,x),l))app(hd,app(app(cons,x),xs))xapp(tl,app(app(cons,x),xs))xslastapp(app(compose,hd),reverse)initapp(app(compose,reverse),app(app(compose,tl),reverse))Marked_app(app(app(compose,f),g),x)Marked_app(g,app(f,x))Marked_app(app(app(compose,f),g),x)Marked_app(f,x)Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(reverse2,xs),app(app(cons,x),l))Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(cons,x),l)app(app(app(compose,f),g),x)app(g,app(f,x))app(reverse,l)app(app(reverse2,l),nil)app(app(reverse2,nil),l)lapp(app(reverse2,app(app(cons,x),xs)),l)app(app(reverse2,xs),app(app(cons,x),l))app(hd,app(app(cons,x),xs))xapp(tl,app(app(cons,x),xs))xslastapp(app(compose,hd),reverse)initapp(app(compose,reverse),app(app(compose,tl),reverse))Marked_app(app(app(compose,f),g),x)Marked_app(g,app(f,x))Marked_app(app(app(compose,f),g),x)Marked_app(f,x)Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(reverse2,xs),app(app(cons,x),l))Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(cons,x),l)app110last10reverse0reverse20hd0compose0init10cons20nil0Marked_app10tl0Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(reverse2,xs),app(app(cons,x),l))app(app(app(compose,f),g),x)app(g,app(f,x))app(reverse,l)app(app(reverse2,l),nil)app(app(reverse2,nil),l)lapp(app(reverse2,app(app(cons,x),xs)),l)app(app(reverse2,xs),app(app(cons,x),l))app(hd,app(app(cons,x),xs))xapp(tl,app(app(cons,x),xs))xslastapp(app(compose,hd),reverse)initapp(app(compose,reverse),app(app(compose,tl),reverse))Marked_app(app(app(compose,f),g),x)Marked_app(g,app(f,x))Marked_app(app(app(compose,f),g),x)Marked_app(f,x)Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(cons,x),l)app(app(app(compose,f),g),x)app(g,app(f,x))app(reverse,l)app(app(reverse2,l),nil)app(app(reverse2,nil),l)lapp(app(reverse2,app(app(cons,x),xs)),l)app(app(reverse2,xs),app(app(cons,x),l))app(hd,app(app(cons,x),xs))xapp(tl,app(app(cons,x),xs))xslastapp(app(compose,hd),reverse)initapp(app(compose,reverse),app(app(compose,tl),reverse))Marked_app(app(app(compose,f),g),x)Marked_app(g,app(f,x))Marked_app(app(app(compose,f),g),x)Marked_app(f,x)Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(cons,x),l)app110last30reverse10reverse210hd0compose0init30cons20nil0Marked_app320tl0Marked_app(app(reverse2,app(app(cons,x),xs)),l)Marked_app(app(cons,x),l)app(app(app(compose,f),g),x)app(g,app(f,x))app(reverse,l)app(app(reverse2,l),nil)app(app(reverse2,nil),l)lapp(app(reverse2,app(app(cons,x),xs)),l)app(app(reverse2,xs),app(app(cons,x),l))app(hd,app(app(cons,x),xs))xapp(tl,app(app(cons,x),xs))xslastapp(app(compose,hd),reverse)initapp(app(compose,reverse),app(app(compose,tl),reverse))Marked_app(app(app(compose,f),g),x)Marked_app(g,app(f,x))Marked_app(app(app(compose,f),g),x)Marked_app(f,x)app(app(app(compose,f),g),x)app(g,app(f,x))app(reverse,l)app(app(reverse2,l),nil)app(app(reverse2,nil),l)lapp(app(reverse2,app(app(cons,x),xs)),l)app(app(reverse2,xs),app(app(cons,x),l))app(hd,app(app(cons,x),xs))xapp(tl,app(app(cons,x),xs))xslastapp(app(compose,hd),reverse)initapp(app(compose,reverse),app(app(compose,tl),reverse))Marked_app(app(app(compose,f),g),x)Marked_app(g,app(f,x))Marked_app(app(app(compose,f),g),x)Marked_app(f,x)app110last30reverse0reverse20hd0compose10init30cons30nil0Marked_app330tl0