시간 제한메모리 제한제출정답맞힌 사람정답 비율
1 초 128 MB73639734055.829%

문제

시험기간이 되면, 평소에 하지 않는 일을 하는 사람들이 많이 생긴다. 상근이는 이번 시험기간에 환상적인 압축 알고리즘을 만들었다. 

상근이의 알고리즘을 이용해서 파일 N개를 압축하면, 압축 후의 비트가 최대 b가 된다. 이런 압축 알고리즘이 존재한다는 것이 믿기 힘들지만, 이론적으로 이러한 알고리즘이 가능한지 알아내는 프로그램을 작성하시오.

압축하려고 하는 파일은 N개이며, 각 파일은 1000 비트로 이루어져 있다. 두 파일이 같은 경우는 없다.

입력

첫째 줄에 N과 b가 주어진다. (1 ≤ N ≤ 1015, 0 ≤ b ≤ 50)

출력

파일 N개를 압축해서 각 파일의 비트길이를 최대 b로 만들 수 있으면 "yes", 없으면 "no"를 출력한다.

예제 입력 1

13 3

예제 출력 1

yes

예제 입력 2

1 0

예제 출력 2

yes

예제 입력 3

31415926535897 40

예제 출력 3

no
W3sicHJvYmxlbV9pZCI6IjUwNDMiLCJwcm9ibGVtX2xhbmciOiIwIiwidGl0bGUiOiJcdWM4MTVcdWI5ZDAgXHVjODhiXHVjNzQwIFx1YzU1NVx1Y2Q5NSIsImRlc2NyaXB0aW9uIjoiPHA+XHVjMmRjXHVkNWQ4XHVhZTMwXHVhYzA0XHVjNzc0IFx1YjQxOFx1YmE3NCwgXHVkM2M5XHVjMThjXHVjNWQwIFx1ZDU1OFx1YzljMCBcdWM1NGFcdWIyOTQgXHVjNzdjXHVjNzQ0IFx1ZDU1OFx1YjI5NCBcdWMwYWNcdWI3OGNcdWI0ZTRcdWM3NzQgXHViOWNlXHVjNzc0IFx1YzBkZFx1YWUzNFx1YjJlNC4gXHVjMGMxXHVhZGZjXHVjNzc0XHViMjk0IFx1Yzc3NFx1YmM4OCBcdWMyZGNcdWQ1ZDhcdWFlMzBcdWFjMDRcdWM1ZDAgXHVkNjU4XHVjMGMxXHVjODAxXHVjNzc4IFx1YzU1NVx1Y2Q5NSBcdWM1NGNcdWFjZTBcdWI5YWNcdWM5OThcdWM3NDQgXHViOWNjXHViNGU0XHVjNWM4XHViMmU0LiZuYnNwOzxcL3A+XHJcblxyXG48cD5cdWMwYzFcdWFkZmNcdWM3NzRcdWM3NTggXHVjNTRjXHVhY2UwXHViOWFjXHVjOTk4XHVjNzQ0IFx1Yzc3NFx1YzZhOVx1ZDU3NFx1YzExYyBcdWQzMGNcdWM3N2MgTlx1YWMxY1x1Yjk3YyBcdWM1NTVcdWNkOTVcdWQ1NThcdWJhNzQsIFx1YzU1NVx1Y2Q5NSBcdWQ2YzRcdWM3NTggXHViZTQ0XHVkMmI4XHVhYzAwIFx1Y2Q1Y1x1YjMwMCBiXHVhYzAwIFx1YjQxY1x1YjJlNC4gXHVjNzc0XHViN2YwIFx1YzU1NVx1Y2Q5NSBcdWM1NGNcdWFjZTBcdWI5YWNcdWM5OThcdWM3NzQgXHVjODc0XHVjN2FjXHVkNTVjXHViMmU0XHViMjk0IFx1YWM4M1x1Yzc3NCBcdWJiZmZcdWFlMzAgXHVkNzk4XHViNGU0XHVjOWMwXHViOWNjLCBcdWM3NzRcdWI4NjBcdWM4MDFcdWM3M2NcdWI4NWMgXHVjNzc0XHViN2VjXHVkNTVjIFx1YzU0Y1x1YWNlMFx1YjlhY1x1Yzk5OFx1Yzc3NCBcdWFjMDBcdWIyYTVcdWQ1NWNcdWM5YzAgXHVjNTRjXHVjNTQ0XHViMGI0XHViMjk0IFx1ZDUwNFx1Yjg1Y1x1YWRmOFx1YjdhOFx1Yzc0NCBcdWM3OTFcdWMxMzFcdWQ1NThcdWMyZGNcdWM2MjQuPFwvcD5cclxuXHJcbjxwPlx1YzU1NVx1Y2Q5NVx1ZDU1OFx1YjgyNFx1YWNlMCBcdWQ1NThcdWIyOTQgXHVkMzBjXHVjNzdjXHVjNzQwIE5cdWFjMWNcdWM3NzRcdWJhNzAsIFx1YWMwMSBcdWQzMGNcdWM3N2NcdWM3NDAgMTAwMCBcdWJlNDRcdWQyYjhcdWI4NWMgXHVjNzc0XHViOGU4XHVjNWI0XHVjODM4IFx1Yzc4OFx1YjJlNC4gXHViNDUwIFx1ZDMwY1x1Yzc3Y1x1Yzc3NCBcdWFjMTlcdWM3NDAgXHVhY2JkXHVjNmIwXHViMjk0IFx1YzVjNlx1YjJlNC48XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlx1Y2NhYlx1YzlmOCBcdWM5MDRcdWM1ZDAgTlx1YWNmYyBiXHVhYzAwIFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC4gKDEgJmxlOyBOICZsZTsgMTA8c3VwPjE1PFwvc3VwPiwgMCAmbGU7IGIgJmxlOyA1MCk8XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5cdWQzMGNcdWM3N2MgTlx1YWMxY1x1Yjk3YyBcdWM1NTVcdWNkOTVcdWQ1NzRcdWMxMWMgXHVhYzAxIFx1ZDMwY1x1Yzc3Y1x1Yzc1OCBcdWJlNDRcdWQyYjhcdWFlMzhcdWM3NzRcdWI5N2MgXHVjZDVjXHViMzAwIGJcdWI4NWMgXHViOWNjXHViNGU0IFx1YzIxOCBcdWM3ODhcdWM3M2NcdWJhNzQgJnF1b3Q7eWVzJnF1b3Q7LCBcdWM1YzZcdWM3M2NcdWJhNzQgJnF1b3Q7bm8mcXVvdDtcdWI5N2MgXHVjZDljXHViODI1XHVkNTVjXHViMmU0LjxcL3A+XHJcbiIsImhpbnQiOiIiLCJvcmlnaW5hbCI6IjAiLCJodG1sX3RpdGxlIjoiMCIsInByb2JsZW1fbGFuZ190Y29kZSI6IktvcmVhbiJ9LHsicHJvYmxlbV9pZCI6IjUwNDMiLCJwcm9ibGVtX2xhbmciOiIxIiwidGl0bGUiOiJCZXN0IENvbXByZXNzaW9uIEV2ZXIiLCJkZXNjcmlwdGlvbiI6IjxwPkJlaW5nIGVkdWNhdGVkIGluIENvbXB1dGVyIFNjaWVuY2UgYW5kIE1hdGhlbWF0aWNzIGlzIG5vdCBhbHdheXMgZWFzeS4gRXNwZWNpYWxseSBub3QgaWYgeW91IGhhdmUgJnF1b3Q7ZnJpZW5kcyZxdW90OyB3aG8gcmVwZWF0ZWRseSBpbnNpc3Qgb24gc2hvd2luZyB5b3UgdGhlaXIgbmV3ICZxdW90O3Byb29mcyZxdW90OyB0aGF0IFAgZXF1YWxzIE5QLCB0aGF0IHRoZSBSaWVtYW5uIEh5cG90aGVzaXMgaXMgdHJ1ZSwgYW5kIHNvIG9uLjxcL3A+XHJcblxyXG48cD5PbmUgb2YgeW91ciBmcmllbmRzIHJlY2VudGx5IGNsYWltcyB0byBoYXZlIGZvdW5kIGEgZmFudGFzdGljIG5ldyBjb21wcmVzc2lvbiBhbGdvcml0aG0uIEFzIGFuIGV4YW1wbGUgb2YgaXRzIGFtYXppbmcgcGVyZm9ybWFuY2UsIHlvdXIgZnJpZW5kIGhhcyB0b2xkIHlvdSB0aGF0IGV2ZXJ5IGZpbGUgaW4geW91ciBwcmVjaW91cyBjb2xsZWN0aW9uIG9mIHJhbmRvbSBiaXQgc3RyaW5ncyBhZnRlciBjb21wcmVzc2lvbiB3b3VsZCBiZSBhdCBtb3N0IGIgYml0cyBsb25nISBOYXR1cmFsbHksIHlvdSBmaW5kIHRoaXMgYSBiaXQgaGFyZCB0byBiZWxpZXZlLCBzbyB5b3Ugd2FudCB0byBkZXRlcm1pbmUgd2hldGhlciBpdCBpcyBldmVuIHRoZW9yZXRpY2FsbHkgcG9zc2libGUgZm9yIHRoaXMgdG8gYmUgdHJ1ZS48XC9wPlxyXG5cclxuPHA+WW91ciBjb2xsZWN0aW9uIG9mIHJhbmRvbSBiaXQgc3RyaW5ncyBjb25zaXN0cyBvZiBOIGZpbGVzLCBubyB0d28gb2Ygd2hpY2ggYXJlIGlkZW50aWNhbCwgYW5kIGVhY2ggb2Ygd2hpY2ggaXMgZXhhY3RseSAxMDAwIGJpdHMgbG9uZy48XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlRoZSBpbnB1dCBjb25zaXN0cyBvZiB0d28gaW50ZWdlcnMgTiAoMSAmbGU7IE4gJmxlOyAxMDxzdXA+MTU8XC9zdXA+KSBhbmQgYiAoMCAmbGU7IGIgJmxlOyA1MCksIGdpdmluZyB0aGUgbnVtYmVyIG9mIGZpbGVzIGluIHlvdXIgY29sbGVjdGlvbiBhbmQgdGhlIG1heGltdW0gbnVtYmVyIG9mIGJpdHMgYSBjb21wcmVzc2VkIGZpbGUgaXMgYWxsb3dlZCB0byBoYXZlLjxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPk91dHB1dCBhIGxpbmUgY29udGFpbmluZyBlaXRoZXIgJnF1b3Q7eWVzJnF1b3Q7IGlmIGl0IGlzIHBvc3NpYmxlIHRvIGNvbXByZXNzIGFsbCB0aGUgTiBmaWxlcyBpbiB5b3VyIGNvbGxlY3Rpb24gaW50byBmaWxlcyBvZiBzaXplIGF0IG1vc3QgYiBiaXRzLCBvciAmcXVvdDtubyZxdW90OyBvdGhlcndpc2UuPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMSIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiRW5nbGlzaCJ9XQ==