ack_in0nack_outsnack_insm0u11ack_inms0u11ack_outnack_outnack_insmsnu21ack_insmnmu21ack_outnmu22ack_inmnu22ack_outnack_outnack_in200ack_out1s1u111u212u221FULL./TRS/Cime/ack_prolog.trs