문제
SAT 문제는 아래와 같이 정의된다.
- CNF가 주어졌을 때, 이 CNF가 참이 되도록 논리 변수들에 참과 거짓을 적절히 배정할 수 있는지 판별하는 문제를 SAT 문제라고 한다.
이때, CNF는 아래와 같이 정의된다.
- 하나 이상의 절이 $\wedge$ (Logical AND)로 연결된 논리식을 CNF라고 한다.
이때, 절은 아래와 같이 정의된다.
- 하나 이상의, 논리 변수 또는 논리 변수의 $\neg$ (Logical NOT)이 $\vee$ (Logical OR)로 연결된 논리식을 절이라고 한다.
예를 들면, $(x_1\vee x_2\vee\neg x_3)$와 $(x_2\vee\neg x_4\vee\neg x_2\vee\neg x_4)$은 절이다.
그리고, 위 두 절을 이은 $(x_1\vee x_2\vee\neg x_3)\wedge(x_2\vee\neg x_4\vee\neg x_2\vee\neg x_4)$는 CNF이다.
마지막으로, 이 CNF에 사용된 논리 변수 $x_1,x_2,x_3,x_4$에 참과 거짓을 적절히 배정해서 CNF의 결과를 참으로 만드는 문제는 SAT 문제가 된다.
하지만 이 문제는 SAT 문제가 아니다. 그러니, 이 문제에서는 CNF의 결과를 참으로 만드는 대신, CNF의 결과를 거짓으로 만들어야 한다!
출력
첫째 줄에 CNF의 결과를 거짓으로 만들 수 있다면 YES를, 아니면 NO를 출력한다.
만약 CNF의 결과를 거짓으로 만들 수 있다면, 둘째 줄에 CNF의 값을 거짓으로 만드는 $x_1,x_2,\ldots ,x_N$의 값을 공백으로 구분하여 출력한다. $x_i$가 참이라면 1ドル$을, $x_i$가 거짓이라면 0ドル$을 출력한다.
만약 CNF의 결과를 거짓으로 만들 수 있는 경우가 여러 가지인 경우, 그중 아무거나 하나를 출력한다.
문제로 주어진 CNF는 $(x_1 \vee x_2 \vee \neg x_3) \wedge (x_2 \vee \neg x_4 \vee \neg x_2 \vee \neg x_4)$이다. $x_1, x_2, x_4$를 거짓으로, $x_3$을 참으로 설정하면 CNF가 거짓이 된다.
문제로 주어진 CNF는 $(x_1 \vee \neg x_1)$이다. $x_1$를 어떻게 설정해도 CNF가 참이 되므로 NO를 출력해야 한다.
W3sicHJvYmxlbV9pZCI6IjMwODY2IiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiTk9UIGEgU0FUIHByb2JsZW0iLCJkZXNjcmlwdGlvbiI6IjxwPlNBVCBcdWJiMzhcdWM4MWNcdWIyOTQgXHVjNTQ0XHViNzk4XHVjNjQwIFx1YWMxOVx1Yzc3NCBcdWM4MTVcdWM3NThcdWI0MWNcdWIyZTQuPFwvcD5cclxuXHJcbjx1bD5cclxuXHQ8bGk+Q05GXHVhYzAwIFx1YzhmY1x1YzViNFx1Yzg0Y1x1Yzc0NCBcdWI1NGMsIFx1Yzc3NCBDTkZcdWFjMDAgXHVjYzM4XHVjNzc0IFx1YjQxOFx1YjNjNFx1Yjg1ZCBcdWIxN2NcdWI5YWMgXHViY2MwXHVjMjE4XHViNGU0XHVjNWQwIFx1Y2MzOFx1YWNmYyBcdWFjNzBcdWM5ZDNcdWM3NDQgXHVjODAxXHVjODA4XHVkNzg4IFx1YmMzMFx1YzgxNVx1ZDU2MCBcdWMyMTggXHVjNzg4XHViMjk0XHVjOWMwIFx1ZDMxMFx1YmNjNFx1ZDU1OFx1YjI5NCBcdWJiMzhcdWM4MWNcdWI5N2MgPHN0cm9uZz5TQVQgXHViYjM4XHVjODFjPFwvc3Ryb25nPlx1Yjc3Y1x1YWNlMCBcdWQ1NWNcdWIyZTQuPFwvbGk+XHJcbjxcL3VsPlxyXG5cclxuPHA+XHVjNzc0XHViNTRjLCBDTkZcdWIyOTQgXHVjNTQ0XHViNzk4XHVjNjQwIFx1YWMxOVx1Yzc3NCBcdWM4MTVcdWM3NThcdWI0MWNcdWIyZTQuPFwvcD5cclxuXHJcbjx1bD5cclxuXHQ8bGk+XHVkNTU4XHViMDk4IFx1Yzc3NFx1YzBjMVx1Yzc1OCBcdWM4MDhcdWM3NzQgJFxcd2VkZ2UkIChMb2dpY2FsIEFORClcdWI4NWMgXHVjNWYwXHVhY2IwXHViNDFjIFx1YjE3Y1x1YjlhY1x1YzJkZFx1Yzc0NCA8c3Ryb25nPkNORjxcL3N0cm9uZz5cdWI3N2NcdWFjZTAgXHVkNTVjXHViMmU0LjxcL2xpPlxyXG48XC91bD5cclxuXHJcbjxwPlx1Yzc3NFx1YjU0YywgXHVjODA4XHVjNzQwIFx1YzU0NFx1Yjc5OFx1YzY0MCBcdWFjMTlcdWM3NzQgXHVjODE1XHVjNzU4XHViNDFjXHViMmU0LjxcL3A+XHJcblxyXG48dWw+XHJcblx0PGxpPlx1ZDU1OFx1YjA5OCBcdWM3NzRcdWMwYzFcdWM3NTgsIFx1YjE3Y1x1YjlhYyBcdWJjYzBcdWMyMTggXHViNjEwXHViMjk0IFx1YjE3Y1x1YjlhYyBcdWJjYzBcdWMyMThcdWM3NTggJFxcbmVnJCAoTG9naWNhbCBOT1QpXHVjNzc0ICRcXHZlZSQgKExvZ2ljYWwgT1IpXHViODVjIFx1YzVmMFx1YWNiMFx1YjQxYyBcdWIxN2NcdWI5YWNcdWMyZGRcdWM3NDQgPHN0cm9uZz5cdWM4MDg8XC9zdHJvbmc+XHVjNzc0XHViNzdjXHVhY2UwIFx1ZDU1Y1x1YjJlNC48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5cdWM2MDhcdWI5N2MgXHViNGU0XHViYTc0LCAkKHhfMVxcdmVlIHhfMlxcdmVlXFxuZWcgeF8zKSRcdWM2NDAgJCh4XzJcXHZlZVxcbmVnIHhfNFxcdmVlXFxuZWcgeF8yXFx2ZWVcXG5lZyB4XzQpJFx1Yzc0MCBcdWM4MDhcdWM3NzRcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YWRmOFx1YjlhY1x1YWNlMCwgXHVjNzA0IFx1YjQ1MCBcdWM4MDhcdWM3NDQgXHVjNzc0XHVjNzQwICQoeF8xXFx2ZWUgeF8yXFx2ZWVcXG5lZyB4XzMpXFx3ZWRnZSh4XzJcXHZlZVxcbmVnIHhfNFxcdmVlXFxuZWcgeF8yXFx2ZWVcXG5lZyB4XzQpJFx1YjI5NCBDTkZcdWM3NzRcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YjljOFx1YzljMFx1YjljOVx1YzczY1x1Yjg1YywgXHVjNzc0IENORlx1YzVkMCBcdWMwYWNcdWM2YTlcdWI0MWMgXHViMTdjXHViOWFjIFx1YmNjMFx1YzIxOCAkeF8xLHhfMix4XzMseF80JFx1YzVkMCBcdWNjMzhcdWFjZmMgXHVhYzcwXHVjOWQzXHVjNzQ0IFx1YzgwMVx1YzgwOFx1ZDc4OCBcdWJjMzBcdWM4MTVcdWQ1NzRcdWMxMWMgQ05GXHVjNzU4IFx1YWNiMFx1YWNmY1x1Yjk3YyBcdWNjMzhcdWM3M2NcdWI4NWMgXHViOWNjXHViNGRjXHViMjk0IFx1YmIzOFx1YzgxY1x1YjI5NCBTQVQgXHViYjM4XHVjODFjXHVhYzAwIFx1YjQxY1x1YjJlNC48XC9wPlxyXG5cclxuPHA+XHVkNTU4XHVjOWMwXHViOWNjIFx1Yzc3NCBcdWJiMzhcdWM4MWNcdWIyOTQgU0FUIFx1YmIzOFx1YzgxY1x1YWMwMCBcdWM1NDRcdWIyYzhcdWIyZTQuIFx1YWRmOFx1YjdlY1x1YjJjOCwgXHVjNzc0IFx1YmIzOFx1YzgxY1x1YzVkMFx1YzExY1x1YjI5NCBDTkZcdWM3NTggXHVhY2IwXHVhY2ZjXHViOTdjIFx1Y2MzOFx1YzczY1x1Yjg1YyBcdWI5Y2NcdWI0ZGNcdWIyOTQgXHViMzAwXHVjMmUwLCBDTkZcdWM3NTggXHVhY2IwXHVhY2ZjXHViOTdjIFx1YWM3MFx1YzlkM1x1YzczY1x1Yjg1YyBcdWI5Y2NcdWI0ZTRcdWM1YjRcdWM1N2MgXHVkNTVjXHViMmU0ITxcL3A+XHJcbiIsImlucHV0IjoiPHA+XHVjY2FiXHVjOWY4IFx1YzkwNFx1YzVkMFx1YjI5NCBcdWMwYWNcdWM2YTlcdWI0MThcdWIyOTQgXHViMTdjXHViOWFjIFx1YmNjMFx1YzIxOFx1Yzc1OCBcdWFjMWNcdWMyMTggJE4kXHVhY2ZjIENORlx1YzVkMCBcdWM3ODhcdWIyOTQgXHVjODA4XHVjNzU4IFx1YWMxY1x1YzIxOCAkTSRcdWM3NzQgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LiAkKDFcXGxlIE5cXGxlIDUwMFxcLCAwMDA7JCAkMVxcbGUgTVxcbGUgMjAwXFwsIDAwMCkkPFwvcD5cclxuXHJcbjxwPlx1YjQ1OFx1YzlmOCBcdWM5MDRcdWJkODBcdWQxMzAgJE0kXHVhYzFjXHVjNzU4IFx1YzkwNFx1YzVkMCBcdWFjNzhcdWNjZDBcdWMxMWMsIFx1YzgwOFx1Yzc1OCBcdWM4MTVcdWJjZjRcdWFjMDAgXHViMmU0XHVjNzRjXHVhY2ZjIFx1YWMxOVx1Yzc3NCBcdWFjZjVcdWJjMzFcdWM3M2NcdWI4NWMgXHVhZDZjXHViZDg0XHViNDE4XHVjNWI0IFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC48XC9wPlxyXG5cclxuPHA+XHVhYzAxIFx1YzkwNFx1Yzc1OCBcdWNjYWIgXHViYzg4XHVjOWY4IFx1YzgxNVx1YzIxOFx1YjI5NCBcdWM4MDhcdWM1ZDAgXHVjNzg4XHViMjk0IFx1YjE3Y1x1YjlhYyBcdWJjYzBcdWMyMThcdWM3NTggXHVhYzFjXHVjMjE4ICRrJFx1Yjk3YyBcdWM3NThcdWJiZjhcdWQ1NThcdWJhNzAsIFx1Yzc3NFx1ZDZjNCAkayRcdWFjMWNcdWM3NTggXHVjODE1XHVjMjE4XHVhYzAwIFx1YWNmNVx1YmMzMVx1YzczY1x1Yjg1YyBcdWFkNmNcdWJkODRcdWI0MThcdWM1YjQgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LiBcdWM1ZWNcdWFlMzBcdWMxMWMgXHVjOGZjXHVjNWI0XHVjOWMwXHViMjk0IFx1YzgxNVx1YzIxOCAkYSRcdWIyOTQgXHVjNTkxXHVjMjE4XHVjNzdjIFx1YWNiZFx1YzZiMCAkeF9hJFx1YWMwMCBcdWM4MDhcdWM1ZDAgXHViNGU0XHVjNWI0XHVjNzg4XHVjNzRjXHVjNzQ0LCBcdWM3NGNcdWMyMThcdWM3N2MgXHVhY2JkXHVjNmIwICRcXG5lZyB4X3tcXGx2ZXJ0IGFcXHJ2ZXJ0fSRcdWFjMDAgXHVjODA4XHVjNWQwIFx1YjRlNFx1YzViNFx1Yzc4OFx1Yzc0Y1x1Yzc0NCBcdWM3NThcdWJiZjhcdWQ1NWNcdWIyZTQuICQoMVxcbGUga1xcbGUgMjAwXFwsIDAwMDskICQxXFxsZVxcbHZlcnQgYVxccnZlcnRcXGxlIE4pJDxcL3A+XHJcblxyXG48cD5cdWM3ODVcdWI4MjVcdWM3M2NcdWI4NWMgXHVjOGZjXHVjNWI0XHVjOWMwXHViMjk0ICRrJFx1Yzc1OCBcdWQ1NjlcdWM3NDAgJDUwMFxcLCAwMDAkIFx1Yzc3NFx1ZDU1OFx1Yzc3NFx1YjJlNC48XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5cdWNjYWJcdWM5ZjggXHVjOTA0XHVjNWQwIENORlx1Yzc1OCBcdWFjYjBcdWFjZmNcdWI5N2MgXHVhYzcwXHVjOWQzXHVjNzNjXHViODVjIFx1YjljY1x1YjRlNCBcdWMyMTggXHVjNzg4XHViMmU0XHViYTc0IDxzcGFuIHN0eWxlPVwiY29sb3I6I2U3NGMzYztcIj48Y29kZT5ZRVM8XC9jb2RlPjxcL3NwYW4+XHViOTdjLCBcdWM1NDRcdWIyYzhcdWJhNzQgPHNwYW4gc3R5bGU9XCJjb2xvcjojZTc0YzNjO1wiPjxjb2RlPk5PPFwvY29kZT48XC9zcGFuPlx1Yjk3YyBcdWNkOWNcdWI4MjVcdWQ1NWNcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YjljY1x1YzU3ZCBDTkZcdWM3NTggXHVhY2IwXHVhY2ZjXHViOTdjIFx1YWM3MFx1YzlkM1x1YzczY1x1Yjg1YyBcdWI5Y2NcdWI0ZTQgXHVjMjE4IFx1Yzc4OFx1YjJlNFx1YmE3NCwgXHViNDU4XHVjOWY4IFx1YzkwNFx1YzVkMCBDTkZcdWM3NTggXHVhYzEyXHVjNzQ0IFx1YWM3MFx1YzlkM1x1YzczY1x1Yjg1YyBcdWI5Y2NcdWI0ZGNcdWIyOTQgJHhfMSx4XzIsXFxsZG90cyAseF9OJFx1Yzc1OCBcdWFjMTJcdWM3NDQgXHVhY2Y1XHViYzMxXHVjNzNjXHViODVjIFx1YWQ2Y1x1YmQ4NFx1ZDU1OFx1YzVlYyBcdWNkOWNcdWI4MjVcdWQ1NWNcdWIyZTQuICR4X2kkXHVhYzAwIFx1Y2MzOFx1Yzc3NFx1Yjc3Y1x1YmE3NCAkMSRcdWM3NDQsICR4X2kkXHVhYzAwIFx1YWM3MFx1YzlkM1x1Yzc3NFx1Yjc3Y1x1YmE3NCAkMCRcdWM3NDQgXHVjZDljXHViODI1XHVkNTVjXHViMmU0LjxcL3A+XHJcblxyXG48cD5cdWI5Y2NcdWM1N2QgQ05GXHVjNzU4IFx1YWNiMFx1YWNmY1x1Yjk3YyBcdWFjNzBcdWM5ZDNcdWM3M2NcdWI4NWMgXHViOWNjXHViNGU0IFx1YzIxOCBcdWM3ODhcdWIyOTQgXHVhY2JkXHVjNmIwXHVhYzAwIFx1YzVlY1x1YjdlYyBcdWFjMDBcdWM5YzBcdWM3NzggXHVhY2JkXHVjNmIwLCBcdWFkZjhcdWM5MTEgXHVjNTQ0XHViYjM0XHVhYzcwXHViMDk4IFx1ZDU1OFx1YjA5OFx1Yjk3YyBcdWNkOWNcdWI4MjVcdWQ1NWNcdWIyZTQuPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMSIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiS29yZWFuIiwic2FtcGxlX2V4cGxhaW5fMSI6IjxwPlx1YmIzOFx1YzgxY1x1Yjg1YyBcdWM4ZmNcdWM1YjRcdWM5YzQgQ05GXHViMjk0ICQoeF8xIFxcdmVlIHhfMiBcXHZlZSBcXG5lZyB4XzMpIFxcd2VkZ2UgKHhfMiBcXHZlZSBcXG5lZyB4XzQgXFx2ZWUgXFxuZWcgeF8yIFxcdmVlIFxcbmVnIHhfNCkkXHVjNzc0XHViMmU0LiAkeF8xLCB4XzIsIHhfNCRcdWI5N2MgXHVhYzcwXHVjOWQzXHVjNzNjXHViODVjLCAkeF8zJFx1Yzc0NCBcdWNjMzhcdWM3M2NcdWI4NWMgXHVjMTI0XHVjODE1XHVkNTU4XHViYTc0IENORlx1YWMwMCBcdWFjNzBcdWM5ZDNcdWM3NzQgXHViNDFjXHViMmU0LjxcL3A+XHJcbiIsInNhbXBsZV9leHBsYWluXzIiOiI8cD5cdWJiMzhcdWM4MWNcdWI4NWMgXHVjOGZjXHVjNWI0XHVjOWM0IENORlx1YjI5NCAkKHhfMSBcXHZlZSBcXG5lZyB4XzEpJFx1Yzc3NFx1YjJlNC4gJHhfMSRcdWI5N2MgXHVjNWI0XHViNWJiXHVhYzhjIFx1YzEyNFx1YzgxNVx1ZDU3NFx1YjNjNCBDTkZcdWFjMDAgXHVjYzM4XHVjNzc0IFx1YjQxOFx1YmJjMFx1Yjg1YyA8c3BhbiBzdHlsZT1cImNvbG9yOiNlNzRjM2M7XCI+PGNvZGU+Tk88XC9jb2RlPjxcL3NwYW4+XHViOTdjIFx1Y2Q5Y1x1YjgyNVx1ZDU3NFx1YzU3YyBcdWQ1NWNcdWIyZTQuPFwvcD5cclxuIn0seyJwcm9ibGVtX2lkIjoiMzA4NjYiLCJwcm9ibGVtX2xhbmciOiIxIiwidGl0bGUiOiJOT1QgYSBTQVQgcHJvYmxlbSIsImRlc2NyaXB0aW9uIjoiPHA+U0FUIHByb2JsZW1zIGFyZSBkZWZpbmVkIGFzIGZvbGxvd3MuPFwvcD5cclxuXHJcbjx1bD5cclxuXHQ8bGk+R2l2ZW4gYSBDTkYsIHRoZSBwcm9ibGVtIG9mIGRldGVybWluaW5nIHdoZXRoZXIgaXQgaXMgcG9zc2libGUgdG8gYXNzaWduIHN1aXRhYmxlIHZhbHVlcyB0byBib29sZWFuIHZhcmlhYmxlcyB0byBtYWtlIHRoZSBDTkYgdHJ1ZSBpcyBjYWxsZWQgYSA8c3Ryb25nPlNBVCBwcm9ibGVtPFwvc3Ryb25nPi48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5IZXJlLCBDTkYgaXMgZGVmaW5lZCBhcyBmb2xsb3dzLjxcL3A+XHJcblxyXG48dWw+XHJcblx0PGxpPkEgYm9vbGVhbiBleHByZXNzaW9uIGZvcm1lZCBieSBjb25uZWN0aW5nIG9uZSBvciBtb3JlIENsYXVzZXMgd2l0aCAkXFx3ZWRnZSQgKExvZ2ljYWwgQU5EKSBpcyBjYWxsZWQgYSA8c3Ryb25nPkNORjxcL3N0cm9uZz4uPFwvbGk+XHJcbjxcL3VsPlxyXG5cclxuPHA+SGVyZSwgYSBDbGF1c2UgaXMgZGVmaW5lZCBhcyBmb2xsb3dzLjxcL3A+XHJcblxyXG48dWw+XHJcblx0PGxpPkEgYm9vbGVhbiBleHByZXNzaW9uIGZvcm1lZCBieSBjb25uZWN0aW5nIG9uZSBvciBtb3JlIGxvZ2ljYWwgdmFyaWFibGVzIG9yIHRoZWlyICRcXG5lZyQgKExvZ2ljYWwgTk9UKSB3aXRoICRcXHZlZSQgKExvZ2ljYWwgT1IpIGlzIGNhbGxlZCBhIDxzdHJvbmc+Q2xhdXNlPFwvc3Ryb25nPi48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5Gb3IgZXhhbXBsZSwgJCh4XzFcXHZlZSB4XzJcXHZlZVxcbmVnIHhfMykkIG9yICQoeF8yXFx2ZWVcXG5lZyB4XzRcXHZlZVxcbmVnIHhfMlxcdmVlXFxuZWcgeF80KSQgaXMgYSBDbGF1c2UuPFwvcD5cclxuXHJcbjxwPlRoZSBleHByZXNzaW9uIGZvcm1lZCBieSBjb25uZWN0aW5nIHRoZSB0d28gQ2xhdXNlcyBhYm92ZSBsaWtlICQoeF8xXFx2ZWUgeF8yXFx2ZWVcXG5lZyB4XzMpXFx3ZWRnZSh4XzJcXHZlZVxcbmVnIHhfNFxcdmVlXFxuZWcgeF8yXFx2ZWVcXG5lZyB4XzQpJCBpcyBhIENORi48XC9wPlxyXG5cclxuPHA+RmluYWxseSwgdGhlIHByb2JsZW0gb2YgYXNzaWduaW5nIHN1aXRhYmxlIHZhbHVlcyB0byAkeF8xLHhfMix4XzMseF80JCwgdGhlIGJvb2xlYW4gdmFyaWFibGVzIGluIHRoZSBDTkYsIGluIG9yZGVyIHRvIG1ha2UgdGhlIENORiB0cnVlIGlzIGNhbGxlZCBhIFNBVCBwcm9ibGVtLjxcL3A+XHJcblxyXG48cD5Ib3dldmVyLCB0aGlzIHByb2JsZW0gaXMgbm90IGEgU0FUIHByb2JsZW0uIEluIHRoaXMgcHJvYmxlbSwgaW5zdGVhZCBvZiBtYWtpbmcgdGhlIENORiB0cnVlLCB0aGUgZ29hbCBpcyB0byBtYWtlIHRoZSBDTkYgZmFsc2UhPFwvcD5cclxuIiwiaW5wdXQiOiI8cD5UaGUgZmlyc3QgbGluZSBvZiBpbnB1dCBjb250YWlucyB0d28gc3BhY2Utc2VwYXJhdGVkIGludGVnZXJzICROJCBhbmQgJE0kLCBkZW5vdGluZyB0aGUgbnVtYmVyIG9mIHZhcmlhYmxlcyBhbmQgdGhlIG51bWJlciBvZiBDbGF1c2VzIHVzZWQgaW4gdGhlIENORiwgcmVzcGVjdGl2ZWx5LiAkKDFcXGxlIE5cXGxlIDUwMFxcLCAwMDA7JCAkMVxcbGUgTVxcbGUgMjAwXFwsIDAwMCkkPFwvcD5cclxuXHJcbjxwPkVhY2ggb2YgdGhlIG5leHQgJE0kIGxpbmVzIG9mIGlucHV0IGNvbnRhaW5zIGluZm9ybWF0aW9uIGFib3V0IGVhY2ggQ2xhdXNlIGFzIGZvbGxvd3MuPFwvcD5cclxuXHJcbjxwPlRoZSBmaXJzdCBpbnRlZ2VyIGluIGVhY2ggbGluZSBpcyAkayQsIHdoaWNoIGRlbm90ZXMgdGhlIG51bWJlciBvZiB2YXJpYWJsZXMgaW4gdGhlIENsYXVzZS4gJGskIHNwYWNlLXNlcGFyYXRlZCBpbnRlZ2VycyBmb2xsb3cuIElmIHRoZSBnaXZlbiBpbnRlZ2VyICRhJCBpcyBwb3NpdGl2ZSwgaXQgbWVhbnMgJHhfYSQgaXMgaW5jbHVkZWQgaW4gdGhlIENsYXVzZSwgYW5kIGlmIHRoZSBpbnRlZ2VyIGlzIG5lZ2F0aXZlLCBpdCBtZWFucyAkXFxuZWcgeF97XFxsdmVydCBhXFxydmVydH0kIGlzIGluIHRoZSBDbGF1c2UuICQoMVxcbGUga1xcbGUgMjAwXFwsIDAwMDskICQxXFxsZVxcbHZlcnQgYVxccnZlcnRcXGxlIE4pJDxcL3A+XHJcblxyXG48cD5UaGUgc3VtIG9mIGFsbCAkayQgZ2l2ZW4gaW4gdGhlIGlucHV0IGlzIGxlc3MgdGhhbiBvciBlcXVhbCB0byAkNTAwXFwsIDAwMCQuPFwvcD5cclxuIiwib3V0cHV0IjoiPHA+VGhlIGZpcnN0IGxpbmUgb2Ygb3V0cHV0IHNob3VsZCBjb250YWluIGEgc2luZ2xlIHN0cmluZyBkZW5vdGluZyB3aGV0aGVyIGl0IGlzIHBvc3NpYmxlIHRvIG1ha2UgdGhlIENORiBldmFsdWF0ZSBmYWxzZS4gSWYgaXQgaXMsIHByaW50IDxzcGFuIHN0eWxlPVwiY29sb3I6I2U3NGMzYztcIj48Y29kZT5ZRVM8XC9jb2RlPjxcL3NwYW4+LCBlbHNlIHByaW50IDxzcGFuIHN0eWxlPVwiY29sb3I6I2U3NGMzYztcIj48Y29kZT5OTzxcL2NvZGU+PFwvc3Bhbj4uPFwvcD5cclxuXHJcbjxwPklmIGl0IGlzIHBvc3NpYmxlIHRvIG1ha2UgdGhlIENORiBmYWxzZSwgdGhlIHNlY29uZCBsaW5lIG9mIG91dHB1dCBzaG91bGQgY29udGFpbiBzdWl0YWJsZSB2YWx1ZXMgb2YgJHhfMSx4XzIsXFxsZG90cyAseF9OJCBzZXBhcmF0ZWQgYnkgc3BhY2UuIElmICR4X2kkIGlzIHRydWUgcHJpbnQgJDEkLCBpZiAkeF9pJCBpcyBmYWxzZSBwcmludCAkMCQuPFwvcD5cclxuXHJcbjxwPklmIHRoZXJlIGFyZSBtdWx0aXBsZSB3YXlzIHRvIG1ha2UgdGhlIENORiBmYWxzZSwgcHJpbnQgYW55IG9uZSBvZiB0aGVtLjxcL3A+XHJcbiIsImhpbnQiOiIiLCJvcmlnaW5hbCI6IjAiLCJodG1sX3RpdGxlIjoiMCIsInByb2JsZW1fbGFuZ190Y29kZSI6IkVuZ2xpc2giLCJzYW1wbGVfZXhwbGFpbl8xIjoiPHA+VGhlIGdpdmVuIENORiBpcyAkKHhfMSBcXHZlZSB4XzIgXFx2ZWUgXFxuZWcgeF8zKSBcXHdlZGdlICh4XzIgXFx2ZWUgXFxuZWcgeF80IFxcdmVlIFxcbmVnIHhfMiBcXHZlZSBcXG5lZyB4XzQpJC4gSWYgJHhfMSwgeF8yLCB4XzQkIGFyZSBzZXQgdG8gZmFsc2UgYW5kICR4XzMkIGlzIHNldCB0byB0cnVlLCB0aGUgQ05GIGJlY29tZXMgZmFsc2UuPFwvcD5cclxuIiwic2FtcGxlX2V4cGxhaW5fMiI6IjxwPlRoZSBnaXZlbiBDTkYgaXMgJCh4XzEgXFx2ZWUgXFxuZWcgeF8xKSQuIFNpbmNlIHRoZSBDTkYgYmVjb21lcyB0cnVlIG5vIG1hdHRlciBob3cgJHhfMSQgaXMgc2V0LCA8c3BhbiBzdHlsZT1cImNvbG9yOiNlNzRjM2M7XCI+PGNvZGU+Tk88XC9jb2RlPjxcL3NwYW4+IHNob3VsZCBiZSBwcmludGVkLjxcL3A+XHJcbiJ9XQ==