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)