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: if x > y : #PREMISES FOR THEN-ARM: # (x > y) """{ 1.OK x > y premise }""" #PREMISES FOR NEXT LINE: # (x > y) max = x #PREMISES FOR ATTACHED PROOF, IF ANY: # (max == x) # (x > y) """{ 1.OK x > y premise 2.OK max == x premise 3.OK (x > y and max == x) andi 1 2 }""" #PREMISES FOR NEXT LINE: # ((x > y) and (max == x)) else : #PREMISES FOR ELSE-ARM: # not (x > y) """{ 1.OK not(x > y) premise 2.OK y >= x algebra 1 }""" #PREMISES FOR NEXT LINE: # (y >= x) max = y #PREMISES FOR ATTACHED PROOF, IF ANY: # (max == y) # (y >= x) """{ 1.OK max == y premise 2.OK y >= x premise 3.OK y >= x and max == y andi 2 1 }""" #PREMISES FOR NEXT LINE: # ((y >= x) and (max == y)) #PREMISES FOR NEXT LINE: # (((x > y) and (max == x)) or ((y >= x) and (max == y))) """{ 1.OK (x > y and max == x) or (y >= x and max == y) premise 2.OK max >= x and max >= y ore 1 }""" #PREMISES FOR NEXT LINE: # ((max >= x) and (max >= y))