filterMarked_nonzero0sconsappnilnonzeroneqMarked_apptruefiltersubfalseysfxyapp(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))app(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))Marked_app(app(neq,app(s,x)),app(s,y))Marked_app(app(neq,x),y)Marked_app(app(neq,app(s,x)),app(s,y))Marked_app(neq,x)Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(filtersub,app(f,y)),f)Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(filtersub,app(f,y))Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(f,y)Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(cons,y),app(app(filter,f),ys))Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(filter,f)Marked_app(app(app(filtersub,false),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(app(filtersub,false),f),app(app(cons,y),ys))Marked_app(filter,f)Marked_nonzeroMarked_app(filter,app(neq,0))Marked_nonzeroMarked_app(neq,0)app(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))Marked_app(app(neq,app(s,x)),app(s,y))Marked_app(app(neq,x),y)Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(filtersub,app(f,y)),f)Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(f,y)Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(cons,y),app(app(filter,f),ys))Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(app(filtersub,false),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)false0filtersub0true0Marked_app10neq0nonzero20nil0app110cons0s2000filter10Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(f,y)app(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))Marked_app(app(neq,app(s,x)),app(s,y))Marked_app(app(neq,x),y)Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(filtersub,app(f,y)),f)Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(cons,y),app(app(filter,f),ys))Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(app(filtersub,false),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)app(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))Marked_app(app(neq,app(s,x)),app(s,y))Marked_app(app(neq,x),y)Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(filtersub,app(f,y)),f)Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(cons,y),app(app(filter,f),ys))Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(app(filtersub,false),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)false0filtersub20true0Marked_app20neq0nonzero30nil0app10cons0s000filter20Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(cons,y),app(app(filter,f),ys))app(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))Marked_app(app(neq,app(s,x)),app(s,y))Marked_app(app(neq,x),y)Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(filtersub,app(f,y)),f)Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(app(filtersub,false),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)app(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))Marked_app(app(neq,app(s,x)),app(s,y))Marked_app(app(neq,x),y)Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(filtersub,app(f,y)),f)Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(app(filtersub,false),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)false0filtersub10true0Marked_app10neq0nonzero30nil0app110cons0s000filter20Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(filtersub,app(f,y)),f)app(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))Marked_app(app(neq,app(s,x)),app(s,y))Marked_app(app(neq,x),y)Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(app(filtersub,false),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)app(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))Marked_app(app(neq,app(s,x)),app(s,y))Marked_app(app(neq,x),y)Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(app(filtersub,false),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app2Marked_app(app(app(filtersub,false),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(app(filtersub,true),f),app(app(cons,y),ys))Marked_app(app(filter,f),ys)Marked_app(app(neq,app(s,x)),app(s,y))Marked_app(app(neq,x),y)app(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(neq,0),0)falseapp(app(neq,0),app(s,y))trueapp(app(neq,app(s,x)),0)trueapp(app(neq,app(s,x)),app(s,y))app(app(neq,x),y)app(app(filter,f),nil)nilapp(app(filter,f),app(app(cons,y),ys))app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))app(app(app(filtersub,true),f),app(app(cons,y),ys))app(app(cons,y),app(app(filter,f),ys))app(app(app(filtersub,false),f),app(app(cons,y),ys))app(app(filter,f),ys)nonzeroapp(filter,app(neq,0))Marked_app(app(filter,f),app(app(cons,y),ys))Marked_app(app(app(filtersub,app(f,y)),f),app(app(cons,y),ys))false000000000000000000filtersub000000000000000000true000000000000000000Marked_app000000000000000100000000000000000000neq000000000000000000nonzero101010100000000000nil000000000000000000app000000000001000000000000000000000000cons000000000000000000s0000000000000000000000000000000000000filter100000000000000000