Marked_startmatchfoundtopMarked_activecheckproperMarked_matchactiveMarked_topstartokMarked_checkfMarked_fcXMarked_propermarkyxactive(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_top(active(c))Marked_top(mark(c))Marked_top(mark(x))Marked_top(check(x))Marked_top(mark(x))Marked_check(x)Marked_check(f(x))Marked_f(check(x))Marked_check(f(x))Marked_check(x)Marked_check(x)Marked_start(match(f(X),x))Marked_check(x)Marked_match(f(X),x)Marked_check(x)Marked_f(X)Marked_match(f(x),f(y))Marked_f(match(x,y))Marked_match(f(x),f(y))Marked_match(x,y)Marked_match(X,x)Marked_proper(x)Marked_proper(f(x))Marked_f(proper(x))Marked_proper(f(x))Marked_proper(x)Marked_f(ok(x))Marked_f(x)Marked_f(found(x))Marked_f(x)Marked_top(found(x))Marked_top(active(x))Marked_top(found(x))Marked_active(x)Marked_active(f(x))Marked_f(active(x))Marked_active(f(x))Marked_active(x)Marked_f(mark(x))Marked_f(x)active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_top(active(c))Marked_top(mark(c))Marked_top(mark(x))Marked_top(check(x))Marked_top(found(x))Marked_top(active(x))mark0X30c20f0ok10start10Marked_top20active10proper20check0top0found10match30Marked_top(active(c))Marked_top(mark(c))active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_top(mark(x))Marked_top(check(x))Marked_top(found(x))Marked_top(active(x))active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_top(mark(x))Marked_top(check(x))Marked_top(found(x))Marked_top(active(x))mark120X0c0f120ok10start120Marked_top20active20proper10check120top0found120match10Marked_top(found(x))Marked_top(active(x))active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_top(mark(x))Marked_top(check(x))active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_top(mark(x))Marked_top(check(x))mark330X0c0f230ok0start0Marked_top20active30proper10check20top0found0match10active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_check(f(x))Marked_check(x)mark10X0c0f130Marked_check30ok0start0active30proper10check10top0found0match10active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_match(f(x),f(y))Marked_match(x,y)mark10X0c0f110ok10start30active10Marked_match10proper10check330top0found30match2110active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_proper(f(x))Marked_proper(x)mark10Marked_proper30X0c30f230ok110start0active30proper30check20top0found0match130active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_active(f(x))Marked_active(x)mark10X0c0f330ok0start0active30proper20check20Marked_active30top0found0match30active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_f(ok(x))Marked_f(x)Marked_f(found(x))Marked_f(x)Marked_f(mark(x))Marked_f(x)mark10X0c20Marked_f30f220ok10start110active10proper20check330top0found110match230Marked_f(found(x))Marked_f(x)active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_f(ok(x))Marked_f(x)Marked_f(mark(x))Marked_f(x)active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_f(ok(x))Marked_f(x)Marked_f(mark(x))Marked_f(x)mark210X0c20Marked_f30f220ok10start10active220proper20check130top0found10match2120Marked_f(mark(x))Marked_f(x)active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_f(ok(x))Marked_f(x)active(f(x))mark(x)top(active(c))top(mark(c))top(mark(x))top(check(x))check(f(x))f(check(x))check(x)start(match(f(X),x))match(f(x),f(y))f(match(x,y))match(X,x)proper(x)proper(c)ok(c)proper(f(x))f(proper(x))f(ok(x))ok(f(x))start(ok(x))found(x)f(found(x))found(f(x))top(found(x))top(active(x))active(f(x))f(active(x))f(mark(x))mark(f(x))Marked_f(ok(x))Marked_f(x)mark310X10c0Marked_f30f230ok110start0active30proper120check20top0found0match220