0-(3) URG c1>=3 
0-(1) 1<=c1<3 
0-(0) 0<=c1<1 
1-(6 6) URG 0<=c1<7 c2>=6 c2-c1>-1 
1-(1 1) 0<=c1<7 1<=c2<6 -1<c2-c1<6 
1-(0 0) 0<=c1<2 0<=c2<1 -1<c2-c1<1 
3-(7 6) URG 0<=c1<13 c2>=6 c2-c1>-7 
3-(3 2) 0<=c1<13 2<=c2<6 -7<c2-c1<6 
3-(1 0) 0<=c1<9 0<=c2<2 -7<c2-c1<2 
5-(19) URG c1>=19 
5-(3) 0<=c1<19 
6-(3) URG 0<=c1<13 
8-(9 6) URG 0<=c1<19 c2>=6 c2-c1>-13 
8-(4 1) 0<=c1<19 1<=c2<6 -13<c2-c1<6 
8-(3 0) 0<=c1<14 0<=c2<1 -13<c2-c1<1 
33-() URG 
( 0-(3), i(send), 1-(0 0) )
( 0-(1), i(send), 1-(0 0) )
( 0-(1), t, 0-(3) )
( 0-(0), t, 0-(1) )
( 1-(6 6), i(receive), 3-(1 0) )
( 1-(1 1), i(receive), 3-(1 0) )
( 1-(1 1), t, 1-(6 6) )
( 1-(0 0), t, 1-(1 1) )
( 3-(7 6), i(no), 5-(3) )
( 3-(7 6), i(yes), 6-(3) )
( 3-(3 2), i(no), 5-(3) )
( 3-(3 2), i(yes), 6-(3) )
( 3-(3 2), t, 3-(7 6) )
( 3-(1 0), t, 3-(3 2) )
( 5-(19), i(timeout), 33-() )
( 5-(3), t, 5-(19) )
( 6-(3), i(snd_ack), 8-(3 0) )
( 8-(9 6), i(rec_ack), 0-(0) )
( 8-(4 1), i(rec_ack), 0-(0) )
( 8-(4 1), t, 8-(9 6) )
( 8-(3 0), t, 8-(4 1) )
( 33-(), i(send), 1-(0 0) )