문제
가디언 엔젤 슬라임은 가장 강하고 가장 귀여운 슬라임으로, 슬라임들의 천국이라 불리는 라무라무 계곡에서 등장한다.
가디언 엔젤 슬라임은 $N$마리의 슬라임을 소환한다. 각 슬라임의 크기는 다음과 같이 변화한다.
- $i$번째 슬라임은 크기가 0ドル$인 채로 $T_i$번째 날에 소환된다. 소환되기 전의 크기 역시 0ドル$으로 간주한다.
- $i$번째 슬라임은 소환된 다음날부터 매일 $A_i$씩 크기가 증가한다.
- 만약 $i$번째 슬라임의 크기가 어느 날 $C_i$ 이상이 되었을 경우, 그 다음날부터 크기가 0ドル$ 이하가 될 때까지 크기는 매일 $B_i$씩 감소한다. 0ドル$ 이하가 된 이후의 크기는 0ドル$으로 간주한다.
굉장한 슬라임 애호가인 당신의 목표는 가디언 엔젤 슬라임이 소환한 귀여운 슬라임들을 한 프레임에 담는 것이다. 구체적으로, 크기가 $X$ 이상인 슬라임이 적어도 3ドル$마리 있는 날에 라무라무를 방문해 사진을 찍으려 한다.
사진을 찍을 수 있는 날은 총 며칠인지 구해 보자.
W3sicHJvYmxlbV9pZCI6IjMzNjk0IiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiXHVhYzAwXHViNTE0XHVjNWI4IFx1YzVkNFx1YzgyNCBcdWMyYWNcdWI3N2NcdWM3ODQiLCJkZXNjcmlwdGlvbiI6IjxkaXYgY2xhc3M9XCJjZW50ZXJcIiBzdHlsZT1cInRleHQtYWxpZ246IGNlbnRlcjtcIj5cclxuPHZpZGVvIGF1dG9wbGF5PVwiXCIgY2xhc3M9XCJuTmJTQjVPUlwiIGxvYWRpbmc9XCJsYXp5XCIgbG9vcD1cIlwiIG11dGVkPVwiXCIgcGxheXNpbmxpbmU9XCJcIiBzcmM9XCJodHRwczpcL1wvdXBsb2FkLmFjbWljcGMubmV0XC82NzMwNjcyNC05NmFkLTRkMGItYjVkNC0xZDg2NDEyNzUzZDhcL1wiIHdpZHRoPVwiNTAlXCI+IDxcL3ZpZGVvPlxyXG48XC9kaXY+XHJcblxyXG48cD5cdWFjMDBcdWI1MTRcdWM1YjggXHVjNWQ0XHVjODI0IFx1YzJhY1x1Yjc3Y1x1Yzc4NFx1Yzc0MCBcdWFjMDBcdWM3YTUgXHVhYzE1XHVkNTU4XHVhY2UwIFx1YWMwMFx1YzdhNSBcdWFkYzBcdWM1ZWNcdWM2YjQgXHVjMmFjXHViNzdjXHVjNzg0XHVjNzNjXHViODVjLCBcdWMyYWNcdWI3N2NcdWM3ODRcdWI0ZTRcdWM3NTggXHVjYzljXHVhZDZkXHVjNzc0XHViNzdjIFx1YmQ4OFx1YjlhY1x1YjI5NCBcdWI3N2NcdWJiMzRcdWI3N2NcdWJiMzQgXHVhY2M0XHVhY2UxXHVjNWQwXHVjMTFjIFx1YjRmMVx1YzdhNVx1ZDU1Y1x1YjJlNC48XC9wPlxyXG5cclxuPHA+XHVhYzAwXHViNTE0XHVjNWI4IFx1YzVkNFx1YzgyNCBcdWMyYWNcdWI3N2NcdWM3ODRcdWM3NDAgJE4kXHViOWM4XHViOWFjXHVjNzU4IFx1YzJhY1x1Yjc3Y1x1Yzc4NFx1Yzc0NCBcdWMxOGNcdWQ2NThcdWQ1NWNcdWIyZTQuIFx1YWMwMSBcdWMyYWNcdWI3N2NcdWM3ODRcdWM3NTggXHVkMDZjXHVhZTMwXHViMjk0IFx1YjJlNFx1Yzc0Y1x1YWNmYyBcdWFjMTlcdWM3NzQgXHViY2MwXHVkNjU0XHVkNTVjXHViMmU0LjxcL3A+XHJcblxyXG48dWw+XHJcblx0PGxpPiRpJFx1YmM4OFx1YzlmOCBcdWMyYWNcdWI3N2NcdWM3ODRcdWM3NDAgXHVkMDZjXHVhZTMwXHVhYzAwICQwJFx1Yzc3OCBcdWNjNDRcdWI4NWMgJFRfaSRcdWJjODhcdWM5ZjggXHViMGEwXHVjNWQwIFx1YzE4Y1x1ZDY1OFx1YjQxY1x1YjJlNC4gXHVjMThjXHVkNjU4XHViNDE4XHVhZTMwIFx1YzgwNFx1Yzc1OCBcdWQwNmNcdWFlMzAgXHVjNWVkXHVjMmRjICQwJFx1YzczY1x1Yjg1YyBcdWFjMDRcdWM4ZmNcdWQ1NWNcdWIyZTQuPFwvbGk+XHJcblx0PGxpPiRpJFx1YmM4OFx1YzlmOCBcdWMyYWNcdWI3N2NcdWM3ODRcdWM3NDAgXHVjMThjXHVkNjU4XHViNDFjIFx1YjJlNFx1Yzc0Y1x1YjBhMFx1YmQ4MFx1ZDEzMCBcdWI5ZTRcdWM3N2MgJEFfaSRcdWM1MjkgXHVkMDZjXHVhZTMwXHVhYzAwIFx1Yzk5ZFx1YWMwMFx1ZDU1Y1x1YjJlNC48XC9saT5cclxuXHQ8bGk+XHViOWNjXHVjNTdkICRpJFx1YmM4OFx1YzlmOCBcdWMyYWNcdWI3N2NcdWM3ODRcdWM3NTggXHVkMDZjXHVhZTMwXHVhYzAwIFx1YzViNFx1YjI5MCBcdWIwYTAgJENfaSQgXHVjNzc0XHVjMGMxXHVjNzc0IFx1YjQxOFx1YzVjOFx1Yzc0NCBcdWFjYmRcdWM2YjAsIFx1YWRmOCBcdWIyZTRcdWM3NGNcdWIwYTBcdWJkODBcdWQxMzAgXHVkMDZjXHVhZTMwXHVhYzAwICQwJCBcdWM3NzRcdWQ1NThcdWFjMDAgXHViNDIwIFx1YjU0Y1x1YWU0Y1x1YzljMCBcdWQwNmNcdWFlMzBcdWIyOTQgXHViOWU0XHVjNzdjICRCX2kkXHVjNTI5IFx1YWMxMFx1YzE4Y1x1ZDU1Y1x1YjJlNC4gJDAkIFx1Yzc3NFx1ZDU1OFx1YWMwMCBcdWI0MWMgXHVjNzc0XHVkNmM0XHVjNzU4IFx1ZDA2Y1x1YWUzMFx1YjI5NCAkMCRcdWM3M2NcdWI4NWMgXHVhYzA0XHVjOGZjXHVkNTVjXHViMmU0LjxcL2xpPlxyXG48XC91bD5cclxuXHJcbjxwPlx1YWQ0OVx1YzdhNVx1ZDU1YyBcdWMyYWNcdWI3N2NcdWM3ODQgXHVjNTYwXHVkNjM4XHVhYzAwXHVjNzc4IFx1YjJmOVx1YzJlMFx1Yzc1OCBcdWJhYTlcdWQ0NWNcdWIyOTQgXHVhYzAwXHViNTE0XHVjNWI4IFx1YzVkNFx1YzgyNCBcdWMyYWNcdWI3N2NcdWM3ODRcdWM3NzQgXHVjMThjXHVkNjU4XHVkNTVjIFx1YWRjMFx1YzVlY1x1YzZiNCBcdWMyYWNcdWI3N2NcdWM3ODRcdWI0ZTRcdWM3NDQgXHVkNTVjIFx1ZDUwNFx1YjgwOFx1Yzc4NFx1YzVkMCBcdWIyZjRcdWIyOTQgXHVhYzgzXHVjNzc0XHViMmU0LiBcdWFkNmNcdWNjYjRcdWM4MDFcdWM3M2NcdWI4NWMsIFx1ZDA2Y1x1YWUzMFx1YWMwMCAkWCQgXHVjNzc0XHVjMGMxXHVjNzc4IFx1YzJhY1x1Yjc3Y1x1Yzc4NFx1Yzc3NCA8c3Ryb25nPlx1YzgwMVx1YzViNFx1YjNjNCAkMyRcdWI5YzhcdWI5YWM8XC9zdHJvbmc+IFx1Yzc4OFx1YjI5NCBcdWIwYTBcdWM1ZDAgXHViNzdjXHViYjM0XHViNzdjXHViYjM0XHViOTdjIFx1YmMyOVx1YmIzOFx1ZDU3NCBcdWMwYWNcdWM5YzRcdWM3NDQgXHVjYzBkXHVjNzNjXHViODI0IFx1ZDU1Y1x1YjJlNC48XC9wPlxyXG5cclxuPHA+XHVjMGFjXHVjOWM0XHVjNzQ0IFx1Y2MwZFx1Yzc0NCBcdWMyMTggXHVjNzg4XHViMjk0IFx1YjBhMFx1Yzc0MCBcdWNkMWQgXHViYTcwXHVjZTYwXHVjNzc4XHVjOWMwIFx1YWQ2Y1x1ZDU3NCBcdWJjZjRcdWM3OTAuPFwvcD5cclxuIiwiaW5wdXQiOiI8cD5cdWNjYWJcdWM5ZjggXHVjOTA0XHVjNWQwIFx1YzE4Y1x1ZDY1OFx1YjQxOFx1YjI5NCBcdWMyYWNcdWI3N2NcdWM3ODRcdWM3NTggXHVjMjE4ICROJFx1YWNmYyBcdWMwYWNcdWM5YzRcdWM3NDQgXHVjYzBkXHVhZTMwIFx1YzcwNFx1ZDU1YyBcdWIwYTBcdWM3NTggXHVjODcwXHVhYzc0XHVjNzQ0IFx1Yzc1OFx1YmJmOFx1ZDU1OFx1YjI5NCBcdWM4MTVcdWMyMTggJFgkXHVhYzAwIFx1YWNmNVx1YmMzMVx1YzczY1x1Yjg1YyBcdWFkNmNcdWJkODRcdWI0MThcdWM1YjQgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LiAkKDFcXGxlIE5cXGxlIDUwMFxcLDAwMDsgMVxcbGUgWFxcbGUgMTBeOSkkPFwvcD5cclxuXHJcbjxwPlx1YjQ1OFx1YzlmOCBcdWM5MDRcdWJkODBcdWQxMzAgJE4kXHVhYzFjXHVjNzU4IFx1YzkwNFx1YzVkMCBcdWFjNzhcdWNjZDAgJGkkXHViYzg4XHVjOWY4IFx1YzJhY1x1Yjc3Y1x1Yzc4NFx1Yzc1OCBcdWM4MTVcdWJjZjRcdWI5N2MgXHVjNzU4XHViYmY4XHVkNTU4XHViMjk0IFx1YjEyNCBcdWM4MTVcdWMyMTggJEFfaSQsICRCX2kkLCAkQ19pJCwgJFRfaSRcdWFjMDAgXHVhY2Y1XHViYzMxXHVjNzNjXHViODVjIFx1YWQ2Y1x1YmQ4NFx1YjQxOFx1YzViNCBcdWM4ZmNcdWM1YjRcdWM5YzRcdWIyZTQuICQoMVxcbGUgQV9pLEJfaSxDX2ksVF9pXFxsZSAxMF45KSQ8XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5cdWMwYWNcdWM5YzRcdWM3NDQgXHVjYzBkXHVjNzQ0IFx1YzIxOCBcdWM3ODhcdWIyOTQgXHViMGEwXHVjNzU4IFx1YzIxOFx1Yjk3YyBcdWNkOWNcdWI4MjVcdWQ1NWNcdWIyZTQuPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMSIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiS29yZWFuIn0seyJwcm9ibGVtX2lkIjoiMzM2OTQiLCJwcm9ibGVtX2xhbmciOiIxIiwidGl0bGUiOiJHdWFyZGlhbiBBbmdlbCBTbGltZSIsImRlc2NyaXB0aW9uIjoiPGRpdiBjbGFzcz1cImNlbnRlclwiIHN0eWxlPVwidGV4dC1hbGlnbjogY2VudGVyO1wiPlxyXG48dmlkZW8gYXV0b3BsYXk9XCJcIiBjbGFzcz1cIm5OYlNCNU9SXCIgbG9hZGluZz1cImxhenlcIiBsb29wPVwiXCIgbXV0ZWQ9XCJcIiBwbGF5c2lubGluZT1cIlwiIHNyYz1cImh0dHBzOlwvXC91cGxvYWQuYWNtaWNwYy5uZXRcLzY3MzA2NzI0LTk2YWQtNGQwYi1iNWQ0LTFkODY0MTI3NTNkOFwvXCIgd2lkdGg9XCI1MCVcIj4mbmJzcDs8XC92aWRlbz5cclxuPFwvZGl2PlxyXG5cclxuPHA+VGhlIEd1YXJkaWFuIEFuZ2VsIFNsaW1lIGlzIHRoZSBzdHJvbmdlc3QgYW5kIGN1dGVzdCBzbGltZSBndWFyZGluZyBSYW11cmFtdSBWYWxsZXksIGEgcGFyYWRpc2UgZm9yIHNsaW1lcy48XC9wPlxyXG5cclxuPHA+VGhlIEd1YXJkaWFuIEFuZ2VsIFNsaW1lIHN1bW1vbnMgJE4kIHNsaW1lcywgYW5kIHRoZWlyIHNpemVzIGNoYW5nZSBhY2NvcmRpbmcgdG8gdGhlIGZvbGxvd2luZyBydWxlczo8XC9wPlxyXG5cclxuPHVsPlxyXG5cdDxsaT5UaGUgJGkkLXRoIHNsaW1lIGlzIHN1bW1vbmVkIG9uIGRheSAkVF9pJCB3aXRoIGFuIGluaXRpYWwgc2l6ZSBvZiAkMCQuIEl0cyBzaXplIGJlZm9yZSBzdW1tb25pbmcgaXMgYWxzbyBjb25zaWRlcmVkICQwJC48XC9saT5cclxuXHQ8bGk+RnJvbSB0aGUgbmV4dCBkYXkgYWZ0ZXIgYmVpbmcgc3VtbW9uZWQsIHRoZSAkaSQtdGggc2xpbWUgZ3Jvd3MgYnkgJEFfaSQgcGVyIGRheS48XC9saT5cclxuXHQ8bGk+SWYgdGhlICRpJC10aCBzbGltZSZyc3F1bztzIHNpemUgaXMgZ3JlYXRlciB0aGFuIG9yIGVxdWFsIHRvICRDX2kkIG9uIHNvbWUgZGF5LCBpdCBzdGFydHMgc2hyaW5raW5nIGJ5ICRCX2kkIHBlciBkYXkgZnJvbSB0aGUgbmV4dCBkYXkgb253YXJkIHVudGlsIGl0cyBzaXplIGJlY29tZXMgJDAkIG9yIGxlc3MuIE9uY2UgaXRzIHNpemUgYmVjb21lcyAkMCQmbmJzcDtvciBsZXNzLCBpdCBpcyBjb25zaWRlcmVkIHRvIGJlICQwJC48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5BcyBhIGRldm90ZWQgc2xpbWUgbG92ZXIsIHlvdXIgZ29hbCBpcyB0byBjYXB0dXJlIHRoZSBhZG9yYWJsZSBzbGltZXMgc3VtbW9uZWQgYnkgdGhlIEd1YXJkaWFuIEFuZ2VsIFNsaW1lIGluIGEgc2luZ2xlIGZyYW1lLiBTcGVjaWZpY2FsbHksIHlvdSBwbGFuIHRvIHZpc2l0IFJhbXVyYW11IFZhbGxleSBvbiBkYXlzIHdoZW4gPHN0cm9uZz5hdCBsZWFzdCB0aHJlZSBzbGltZXM8XC9zdHJvbmc+IGhhdmUgYSBzaXplIG9mICRYJCBvciBncmVhdGVyIHRvIHRha2UgYSBwaG90by48XC9wPlxyXG5cclxuPHA+RGV0ZXJtaW5lIHRoZSB0b3RhbCBudW1iZXIgb2YgZGF5cyBvbiB3aGljaCB5b3UgY2FuIHRha2UgYSBwaG90by48XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlRoZSBmaXJzdCBsaW5lIG9mIGlucHV0IGNvbnRhaW5zIHR3byBzcGFjZS1zZXBhcmF0ZWQgaW50ZWdlcnMgJE4kIGFuZCAkWCQsIHJlcHJlc2VudGluZyB0aGUgbnVtYmVyIG9mIHN1bW1vbmVkIHNsaW1lcyBhbmQgdGhlIHNpemUgdGhyZXNob2xkIGZvciB0YWtpbmcgYSBwaG90by4mbmJzcDskKDFcXGxlIE5cXGxlIDUwMFxcLDAwMDsgMVxcbGUgWFxcbGUgMTBeOSkkPFwvcD5cclxuXHJcbjxwPlRoZSAkaSQtdGggbGluZSBvZiB0aGUgZm9sbG93aW5nICROJCBsaW5lcyBjb250YWlucyBmb3VyIHNwYWNlLXNlcGFyYXRlZCBpbnRlZ2VycyAkQV9pJCwgJEJfaSQsICRDX2kkLCAkVF9pJCwgcmVwcmVzZW50aW5nIHRoZSBwcm9wZXJ0aWVzIG9mIHRoZSAkaSQtdGggc2xpbWUuJm5ic3A7JCgxXFxsZSBBX2ksQl9pLENfaSxUX2lcXGxlIDEwXjkpJDxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPlByaW50IHRoZSB0b3RhbCBudW1iZXIgb2YgZGF5cyBvbiB3aGljaCB5b3UgY2FuIHRha2UgYSBwaG90by48XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIwIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJFbmdsaXNoIn1d