#
# Program 1
#
# 0: c1 := 0
# 1: if c2 == 1 then goto 5
# 2: if turn == 1 then goto 1 
# 3: c1 := 1
# 4: if turn == 2 then goto 4 else goto 0
# 5: turn,c1 = 2,1; goto 0
#
# Program 1
#
# 0: c2 := 0
# 1: if c1 == 1 then goto 5
# 2: if turn == 2 then goto 1 
# 3: c2 := 1
# 4: if turn == 1 then goto 4 else goto 0
# 5: turn,c2 = 1,1; goto 0


# starting state:  pc=0

{[i]: 1 <= i <= 5};
