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 max >= x                  algebra 2
         4.OK max >= y                  algebra 1 3
         5.OK max >= x  and  max >= y   andi 3 4
    }"""
    #PREMISES FOR NEXT LINE: 
    # ((max >= x) and (max >= y))
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
         5.OK max >= x  and  max >= y  algebra 1 2  # the checker tolerates this short cut
    }"""
    #PREMISES FOR NEXT LINE: 
    # ((max >= x) and (max >= y))
#PREMISES FOR NEXT LINE: 
# ((max >= x) and (max >= y))

"""{ 1.OK max >= x  and  max >= y   premise  }"""
#PREMISES FOR NEXT LINE: 
# ((max >= x) and (max >= y))