Marked_u220u21Marked_ack_insu22Marked_u11ack_inu11Marked_u21ack_outnmack_in(0,n)ack_out(s(n))ack_in(s(m),0)u11(ack_in(m,s(0)))u11(ack_out(n))ack_out(n)ack_in(s(m),s(n))u21(ack_in(s(m),n),m)u21(ack_out(n),m)u22(ack_in(m,n))u22(ack_out(n))ack_out(n)ack_in(0,n)ack_out(s(n))ack_in(s(m),0)u11(ack_in(m,s(0)))u11(ack_out(n))ack_out(n)ack_in(s(m),s(n))u21(ack_in(s(m),n),m)u21(ack_out(n),m)u22(ack_in(m,n))u22(ack_out(n))ack_out(n)Marked_ack_in(s(m),0)Marked_u11(ack_in(m,s(0)))Marked_ack_in(s(m),0)Marked_ack_in(m,s(0))Marked_ack_in(s(m),s(n))Marked_u21(ack_in(s(m),n),m)Marked_ack_in(s(m),s(n))Marked_ack_in(s(m),n)Marked_u21(ack_out(n),m)Marked_u22(ack_in(m,n))Marked_u21(ack_out(n),m)Marked_ack_in(m,n)ack_in(0,n)ack_out(s(n))ack_in(s(m),0)u11(ack_in(m,s(0)))u11(ack_out(n))ack_out(n)ack_in(s(m),s(n))u21(ack_in(s(m),n),m)u21(ack_out(n),m)u22(ack_in(m,n))u22(ack_out(n))ack_out(n)Marked_ack_in(s(m),0)Marked_ack_in(m,s(0))Marked_ack_in(s(m),s(n))Marked_u21(ack_in(s(m),n),m)Marked_ack_in(s(m),s(n))Marked_ack_in(s(m),n)Marked_u21(ack_out(n),m)Marked_ack_in(m,n)ack_out0Marked_u2120u110ack_in0u220s220Marked_ack_in10u21000Marked_ack_in(s(m),0)Marked_ack_in(m,s(0))Marked_ack_in(s(m),s(n))Marked_u21(ack_in(s(m),n),m)ack_in(0,n)ack_out(s(n))ack_in(s(m),0)u11(ack_in(m,s(0)))u11(ack_out(n))ack_out(n)ack_in(s(m),s(n))u21(ack_in(s(m),n),m)u21(ack_out(n),m)u22(ack_in(m,n))u22(ack_out(n))ack_out(n)Marked_ack_in(s(m),s(n))Marked_ack_in(s(m),n)Marked_u21(ack_out(n),m)Marked_ack_in(m,n)ack_in(0,n)ack_out(s(n))ack_in(s(m),0)u11(ack_in(m,s(0)))u11(ack_out(n))ack_out(n)ack_in(s(m),s(n))u21(ack_in(s(m),n),m)u21(ack_out(n),m)u22(ack_in(m,n))u22(ack_out(n))ack_out(n)Marked_ack_in(s(m),s(n))Marked_ack_in(s(m),n)ack_out0u1120ack_in220u220s130Marked_ack_in30u212000