at revicvektl tis notcomuptrovedel 66 has seoo(recvoht) abcesis twice in the recelvers FSM. bccurs. The event rdt_rcv(rcvpkt) \& \& notcorrupt(rcvpkt) && has_seqO(recvpkt) appears twice in the receiver's FSM. Explain the differences between the two occurrences such as the state transition that is made and the differences in the the actions the receiver takes depending on the state of the receiver at which the event occurs. rdt_rcv(rcvpkt) \&\& notcorrupt(revpkt) \( \frac{\& \& \text { has_seq0(rcvpkt) }}{\text { extract(rcvpkt,data) }} \) deliver_data(data) sndpkt = make_pkt(ACK, chksum )