Marked_ackack0szyxack(0,y)s(y)ack(s(x),0)ack(x,s(0))ack(s(x),s(y))ack(x,ack(s(x),y))ack(0,y)s(y)ack(s(x),0)ack(x,s(0))ack(s(x),s(y))ack(x,ack(s(x),y))Marked_ack(s(x),0)Marked_ack(x,s(0))Marked_ack(s(x),s(y))Marked_ack(x,ack(s(x),y))Marked_ack(s(x),s(y))Marked_ack(s(x),y)ack(0,y)s(y)ack(s(x),0)ack(x,s(0))ack(s(x),s(y))ack(x,ack(s(x),y))Marked_ack(s(x),0)Marked_ack(x,s(0))Marked_ack(s(x),s(y))Marked_ack(x,ack(s(x),y))Marked_ack(s(x),s(y))Marked_ack(s(x),y)sackMarked_acksacksMarked_ackackMarked_ack