x= readInt()
#PREMISES FOR ATTACHED PROOF, IF ANY: 
# True
#PREMISES FOR NEXT LINE: 
y = readInt()
#PREMISES FOR ATTACHED PROOF, IF ANY: 
# True
#PREMISES FOR NEXT LINE: 
z  = readInt()
#PREMISES FOR ATTACHED PROOF, IF ANY: 
# True
#PREMISES FOR NEXT LINE: 
assert x >= 0
#PREMISES FOR NEXT LINE: 
# (x >= 0)
assert x != 0
#PREMISES FOR NEXT LINE: 
# (x != 0)
# (x >= 0)
assert (z == 2)  # UNABLE TO VERIFY
"""{ 1.OK  x >= 0  premise
  2.OK  x != 0   premise
  3.OK  x > 0   algebra 2 1
  5.??  z == 2  algebra
}"""
#PREMISES FOR NEXT LINE: 
# (z == 2)