u22Marked_u21ackinMarked_ackinsackoutu21YXackin(s(X),s(Y))u21(ackin(s(X),Y),X)u21(ackout(X),Y)u22(ackin(Y,X))ackin(s(X),s(Y))u21(ackin(s(X),Y),X)u21(ackout(X),Y)u22(ackin(Y,X))Marked_ackin(s(X),s(Y))Marked_u21(ackin(s(X),Y),X)Marked_ackin(s(X),s(Y))Marked_ackin(s(X),Y)Marked_u21(ackout(X),Y)Marked_ackin(Y,X)ackin(s(X),s(Y))u21(ackin(s(X),Y),X)u21(ackout(X),Y)u22(ackin(Y,X))Marked_ackin(s(X),s(Y))Marked_u21(ackin(s(X),Y),X)Marked_ackin(s(X),s(Y))Marked_ackin(s(X),Y)Marked_u21(ackout(X),Y)Marked_ackin(Y,X)Marked_u212Marked_ackin1Marked_ackin(s(X),s(Y))Marked_u21(ackin(s(X),Y),X)ackin(s(X),s(Y))u21(ackin(s(X),Y),X)u21(ackout(X),Y)u22(ackin(Y,X))Marked_u21(ackout(X),Y)Marked_ackin(Y,X)Marked_ackin(s(X),s(Y))Marked_ackin(s(X),Y)ackin(s(X),s(Y))u21(ackin(s(X),Y),X)u21(ackout(X),Y)u22(ackin(Y,X))Marked_ackin(s(X),s(Y))Marked_ackin(s(X),Y)Marked_ackin2Marked_ackin(s(X),s(Y))Marked_ackin(s(X),Y)ackin(s(X),s(Y))u21(ackin(s(X),Y),X)u21(ackout(X),Y)u22(ackin(Y,X))