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)Marked_u212Marked_ack_in1Marked_ack_in(s(m),s(n))Marked_u21(ack_in(s(m),n),m)Marked_ack_in(s(m),0)Marked_ack_in(m,s(0))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_u21(ack_out(n),m)Marked_ack_in(m,n)Marked_ack_in(s(m),s(n))Marked_ack_in(s(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)Marked_ack_in2Marked_ack_in(s(m),s(n))Marked_ack_in(s(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)