## Infinity

View as PDF

Points: 3
Time limit: 2.0s
Memory limit: 64M

Problem type

The number 63 may be small right now, but four of them together join together to make infinity. How, you may ask? 63 is more commonly known by contest programmers as 3F, and 3F3F3F3F (4 bytes of 3F) is the hexadecimal representation of the decimal number 1061109567, which is commonly used to denote a value of infinity. This is because two of these numbers added together do not exceed the bounds of a 32-bit integer, and so infinity + infinity is still larger than or equal to infinity. Given two hexadecimal numbers less than or equal to our infinity (3F3F3F3F16), in decimal representation, determine whether the sum of these numbers is larger than our infinity.

#### Sample Input 1

3ADE68B1
075BCD15

#### Sample Output 1

Yes

#### Sample Input 2

baa
bad

#### Sample Output 2

No
{"ft_lang_label":"__label__en","ft_lang_prob":0.87103736,"math_prob":0.95119816,"size":844,"snap":"2022-40-2023-06","text_gpt3_token_len":226,"char_repetition_ratio":0.1404762,"word_repetition_ratio":0.0,"special_character_ratio":0.2535545,"punctuation_ratio":0.09815951,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9896097,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-02-06T17:14:19Z\",\"WARC-Record-ID\":\"<urn:uuid:84500a8e-699a-4e65-a4ea-d20155a99cf8>\",\"Content-Length\":\"14132\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:8e06ba80-c515-4132-9d77-baf22fbe3b5b>\",\"WARC-Concurrent-To\":\"<urn:uuid:7f286d98-e6ca-4646-bebc-f875bcdc33a3>\",\"WARC-IP-Address\":\"104.21.53.231\",\"WARC-Target-URI\":\"https://dmoj.ca/problem/infinity\",\"WARC-Payload-Digest\":\"sha1:CE5TKKVCLQ6HHC4ZGJW6NV4TSH7Y6WXS\",\"WARC-Block-Digest\":\"sha1:JXHR5PE3SGH2VEMFOY4TVXBT7GNZO5HI\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-06/CC-MAIN-2023-06_segments_1674764500356.92_warc_CC-MAIN-20230206145603-20230206175603-00015.warc.gz\"}"}