memberMarked_apptruefalseiflteqforks0nullappzwyxapp(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(lt,x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(if,app(app(lt,w),y)),app(app(member,w),x))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(if,app(app(lt,w),y))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(lt,w),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(lt,w)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(if,app(app(eq,w),y)),true)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(if,app(app(eq,w),y))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(eq,w),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(eq,w)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(if,app(app(lt,w),y)),app(app(member,w),x))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(lt,w),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(eq,w),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)app120null3000s0fork0eq10lt10if0false30true0Marked_app10member10Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(if,app(app(lt,w),y)),app(app(member,w),x))app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(lt,w),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(eq,w),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(lt,w),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(eq,w),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)app110null3000s0fork0eq0lt10if0false20true0Marked_app10member10Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(eq,w),y)app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(lt,w),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(lt,w),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)app10null3000s0fork0eq0lt0if10false0true0Marked_app10member10Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(lt,w),y)app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)app220null30030s0fork0eq0lt0if0false30true0Marked_app30member30Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z))app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)Marked_app2Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),z)Marked_app(app(member,w),app(app(app(fork,x),y),z))Marked_app(app(member,w),x)Marked_app(app(lt,app(s,x)),app(s,y))Marked_app(app(lt,x),y)app(app(lt,app(s,x)),app(s,y))app(app(lt,x),y)app(app(lt,0),app(s,y))trueapp(app(lt,y),0)falseapp(app(eq,x),x)trueapp(app(eq,app(s,x)),0)falseapp(app(eq,0),app(s,x))falseapp(app(member,w),null)falseapp(app(member,w),app(app(app(fork,x),y),z))app(app(app(if,app(app(lt,w),y)),app(app(member,w),x)), app(app(app(if,app(app(eq,w),y)),true),app(app(member,w),z)))