{"id":292442,"date":"2019-07-23T15:00:14","date_gmt":"2019-07-23T15:00:14","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=292442"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=292442","title":{"rendered":"\u041c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0440\u0430\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0435, \u043a\u0430\u043a \u043f\u043e\u0434\u0434\u0435\u043b\u044b\u0432\u0430\u043b\u0438 \u0432\u044b\u0431\u043e\u0440\u044b \u0433\u0443\u0431\u0435\u0440\u043d\u0430\u0442\u043e\u0440\u0430 \u0432 \u041f\u0440\u0438\u043c\u043e\u0440\u044c\u0435 16 \u0441\u0435\u043d\u0442\u044f\u0431\u0440\u044f 2018 \u0433\u043e\u0434\u0430"},"content":{"rendered":"\n<div class=\"post__text post__text-html js-mediator-article\">\u0412\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u0442\u0443\u0440\u0435 \u0432\u044b\u0431\u043e\u0440\u043e\u0432 \u0433\u0443\u0431\u0435\u0440\u043d\u0430\u0442\u043e\u0440\u0430 \u041f\u0440\u0438\u043c\u043e\u0440\u0441\u043a\u043e\u0433\u043e \u043a\u0440\u0430\u044f 16 \u0441\u0435\u043d\u0442\u044f\u0431\u0440\u044f 2018 \u0433\u043e\u0434\u0430 \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u043b\u0438\u0441\u044c \u0434\u0435\u0439\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0439 \u0438.\u043e. \u0433\u0443\u0431\u0435\u0440\u043d\u0430\u0442\u043e\u0440\u0430 \u0410\u043d\u0434\u0440\u0435\u0439 \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e \u0438 \u0437\u0430\u043d\u044f\u0432\u0448\u0438\u0439 \u0432\u0442\u043e\u0440\u043e\u0435 \u043c\u0435\u0441\u0442\u043e \u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u0442\u0443\u0440\u0435 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442 \u0410\u043d\u0434\u0440\u0435\u0439 \u0418\u0449\u0435\u043d\u043a\u043e. \u0412 \u0445\u043e\u0434\u0435 \u043f\u043e\u0434\u0441\u0447\u0435\u0442\u0430 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u043d\u0430 \u0441\u0430\u0439\u0442\u0435 \u0426\u0418\u041a \u0420\u0424 \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u043b\u0430\u0441\u044c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u043f\u0430\u043d\u0435\u043b\u044c \u0441 \u0440\u0430\u0441\u0442\u0443\u0449\u0438\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u0437\u0430 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432. <\/p>\n<p>  \u041f\u0443\u0431\u043b\u0438\u043a\u0430\u0446\u0438\u044f \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u043f\u043e \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u043c \u043d\u0430 \u043e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u043e\u043c \u0441\u0430\u0439\u0442\u0435 \u0426\u0418\u041a <a href=\"http:\/\/www.izbirkom.ru\">www.izbirkom.ru<\/a> \u0437\u0430\u043c\u0435\u0440\u043b\u0430 \u043f\u043e\u0441\u043b\u0435 \u0432\u0432\u043e\u0434\u0430 1484 (95.74%) \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438 \u043d\u0435 \u0432\u043e\u0437\u043e\u0431\u043d\u043e\u0432\u043b\u044f\u043b\u0430\u0441\u044c \u0434\u043e \u0441\u0430\u043c\u043e\u0433\u043e \u043a\u043e\u043d\u0446\u0430. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043a\u043e\u0433\u0434\u0430 \u0432 \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u0438 \u043b\u0438\u0434\u0435\u0440 \u0433\u043e\u043b\u043e\u0441\u043e\u0432\u0430\u043d\u0438\u044f \u0432\u0434\u0440\u0443\u0433 \u043f\u043e\u043c\u0435\u043d\u044f\u043b\u0441\u044f \u0441 \u0418\u0449\u0435\u043d\u043a\u043e \u043d\u0430 \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e, \u0431\u044b\u043b\u043e \u043d\u0435\u044f\u0441\u043d\u043e, \u043a\u0430\u043a \u0438\u043c\u0435\u043d\u043d\u043e \u044d\u0442\u043e \u043c\u043e\u0433\u043b\u043e \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0442\u0438. \u0412 \u0421\u041c\u0418 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0438\u0441\u0430\u043b\u0438 \u00ab\u043f\u043e\u0441\u043b\u0435 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438 99,03% \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 <a href=\"https:\/\/www.vedomosti.ru\/politics\/articles\/2018\/09\/19\/781313-tsik\">\u043b\u0438\u0434\u0435\u0440 \u0441\u043c\u0435\u043d\u0438\u043b\u0441\u044f<\/a>\u00bb.<\/p>\n<p>  \u041e\u0434\u043d\u0430\u043a\u043e, \u0440\u0430\u0441\u043f\u043e\u043b\u0430\u0433\u0430\u044f \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u043c\u0438 \u0441\u0443\u043c\u043c\u0430\u0440\u043d\u044b\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u043c\u0438 \u0438\u0437 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u043f\u0430\u043d\u0435\u043b\u0438, \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438 \u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u044c, \u0447\u0442\u043e \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u043b\u043e \u0441 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430\u043c\u0438 \u0432 \u043d\u043e\u0447\u044c \u043f\u043e\u0441\u043b\u0435 \u0432\u044b\u0431\u043e\u0440\u043e\u0432. \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c Python, Colab \u043e\u0442 Google \u0438 <a href=\"https:\/\/github.com\/Z3Prover\/z3\/\">Z3 theorem prover<\/a> \u043e\u0442 Microsoft Research. \u041d\u0443 \u0438 \u0434\u043e\u0431\u044c\u0451\u043c \u0432\u0441\u0451 \u043e\u0431\u044b\u0447\u043d\u043e\u0439 \u0434\u0435\u0434\u0443\u043a\u0446\u0438\u0435\u0439.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/o2\/w5\/58\/o2w558wfmeawcjnk8ijpcgynlhk.png\"><br \/>  <a name=\"habracut\"><\/a>  <\/p>\n<h2>\u041f\u0440\u0435\u0434\u043f\u043e\u0441\u044b\u043b\u043a\u0438 \u0440\u0430\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u044f \u0438 \u043f\u0440\u0435\u0434\u0432\u0430\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043e\u0446\u0435\u043d\u043a\u0438<\/h2>\n<p>  <\/p>\n<h4>\u0427\u0438\u0441\u043b\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u2014 \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0439 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 <\/h4>\n<p>  \u0412 \u0421\u041c\u0418 \u0447\u0430\u0441\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0432\u0438\u0434\u0435\u0442\u044c &#171;<i>\u0422\u0430\u043a\u043e\u0432\u044b \u0434\u0430\u043d\u043d\u044b\u0435 \u0426\u0418\u041a \u043f\u043e\u0441\u043b\u0435 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438 90 \u043f\u0440\u043e\u0446\u0435\u043d\u0442\u043e\u0432 \u0438\u0437\u0431\u0438\u0440\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0431\u044e\u043b\u043b\u0435\u0442\u0435\u043d\u0435\u0439, \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u0442 \u0430\u0433\u0435\u043d\u0442\u0441\u0442\u0432\u043e \u00ab\u0418\u043d\u0442\u0435\u0440\u0444\u0430\u043a\u0441\u00bb<\/i>&#187; \u0438\u043b\u0438 &#171;<i>\u041e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043e 0,45 \u043f\u0440\u043e\u0446\u0435\u043d\u0442\u043e\u0432 \u0431\u044e\u043b\u043b\u0435\u0442\u0435\u043d\u0435\u0439 \u0432 \u041f\u0440\u0438\u043c\u043e\u0440\u044c\u0435: \u043b\u0438\u0434\u0438\u0440\u0443\u0435\u0442 \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e<\/i>&#171;. \u041a\u043e\u043d\u0435\u0447\u043d\u043e, \u0436\u0443\u0440\u043d\u0430\u043b\u0438\u0441\u0442\u043e\u0432 \u0441\u0431\u0438\u0432\u0430\u0435\u0442 \u0441 \u0442\u043e\u043b\u043a\u0443 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u0440\u043e\u0433\u0440\u0435\u0441\u0441\u0430 \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u043e\u0433\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u0432 \u0432\u0438\u0434\u0435 \u043f\u0440\u043e\u0446\u0435\u043d\u0442\u043e\u0432, \u0438 \u0432\u043c\u0435\u0441\u0442\u043e &#171;<i>\u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043e 0.45% \u0431\u044e\u043b\u043b\u0435\u0442\u0435\u043d\u0435\u0439<\/i>&#187; (\u043d\u0438\u043a\u0442\u043e \u0434\u043e \u043a\u043e\u043d\u0446\u0430 \u043f\u043e\u0434\u0441\u0447\u0451\u0442\u0430 \u043d\u0435 \u0437\u043d\u0430\u0435\u0442, \u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0436\u0435 \u0432\u0441\u0435\u0433\u043e \u0431\u044e\u043b\u043b\u0435\u0442\u0435\u043d\u0435\u0439), \u043d\u0443\u0436\u043d\u043e \u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u043e \u0438 \u044f\u0441\u043d\u043e \u2014 \u0432 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0432\u0432\u0435\u043b\u0438 7 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438\u0437 1550.<\/p>\n<h4>\u0414\u043e\u0441\u0442\u0443\u043f\u043d\u044b\u0435 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435<\/h4>\n<p>  <\/p>\n<ol>\n<li>\u041d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0434\u0435\u0441\u044f\u0442\u043a\u043e\u0432 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u043f\u043e\u043a\u0430\u0437\u0430\u043b\u0438 \u043d\u0435\u0430\u0434\u0435\u043a\u0432\u0430\u0442\u043d\u0443\u044e \u044f\u0432\u043a\u0443 \u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 2 \u0447\u0430\u0441\u0430 \u0432\u044b\u0431\u043e\u0440\u043e\u0432, \u0447\u0442\u043e \u0441\u0442\u0430\u0442\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043c\u0430\u043b\u043e\u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e, \u044d\u0442\u043e \u0441\u0440\u0430\u0437\u0443 \u0436\u0435 \u043f\u0440\u0438\u0432\u043b\u0435\u043a\u043b\u043e \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u0438 \u0431\u044b\u043b \u0441\u043e\u0437\u0434\u0430\u043d <a href=\"https:\/\/primorie.krutika.ru\">\u0441\u0430\u0439\u0442 \u0441\u043e \u0441\u043f\u0438\u0441\u043a\u043e\u043c<\/a> \u044d\u0442\u0438\u0445 \u043f\u043e\u0434\u043e\u0437\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043a\u043e\u043c\u0438\u0441\u0441\u0438\u0439.<br \/>   <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/iv\/gp\/do\/ivgpdotmlsq3s04xy48v2vgwzx8.png\"><br \/>   <em>\u0420\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0447\u0438\u0441\u043b\u0430 \u0433\u043e\u043b\u043e\u0441\u0443\u044e\u0449\u0438\u0445 \u043f\u043e \u0447\u0430\u0441\u0430\u043c, \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a \u2014 \u0413\u0410\u0421 \u0412\u044b\u0431\u043e\u0440\u044b<\/em>  <\/li>\n<li>\u0418\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u043a\u0430\u043a \u0438\u0437\u043c\u0435\u043d\u044f\u043b\u0438\u0441\u044c \u0447\u0438\u0441\u043b\u0430 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u0437\u0430 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432 \u0438 \u043f\u0440\u043e\u0446\u0435\u043d\u0442 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u0432 \u0442\u043e\u043c \u0447\u0438\u0441\u043b\u0435 \u0432 \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043a\u0435, \u043a\u043e\u0433\u0434\u0430 \u0441\u0430\u0439\u0442 \u0426\u0418\u041a \u0441 \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u043c\u0438 \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043b \u043e\u0431\u043d\u043e\u0432\u043b\u044f\u0442\u044c\u0441\u044f, \u0430 \u0438\u043c\u0435\u043d\u043d\u043e \u0441 95.74% \u0434\u043e \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0445 99.16%, \u0434\u0430\u043d\u043d\u044b\u0435 \u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043b\u0438\u0441\u044c \u0432 \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u0438 \u0426\u0418\u041a \u0438 \u043f\u0435\u0440\u0435\u043f\u0435\u0447\u0430\u0442\u044b\u0432\u0430\u043b\u0438\u0441\u044c \u0432 \u0421\u041c\u0418<\/li>\n<li>\u041e\u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043d\u043e \u043a\u0430\u043a \u043c\u0438\u043d\u0438\u043c\u0443\u043c 29 \u0431\u0443\u043c\u0430\u0436\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u043e\u0442 \u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0442\u0435\u043b\u0435\u0439 \u0441 \u0434\u0430\u043d\u043d\u044b\u043c\u0438, \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0449\u0438\u043c\u0438\u0441\u044f \u043e\u0442 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u043d\u0430 \u0441\u0430\u0439\u0442\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b <abbr title=\"\u0413\u043e\u0441\u0443\u0434\u0430\u0440\u0441\u0442\u0432\u0435\u043d\u043d\u0430\u044f \u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0430\u044f \u0421\u0438\u0441\u0442\u0435\u043c\u0430\">\u0413\u0410\u0421<\/abbr> \u0412\u044b\u0431\u043e\u0440\u044b.<\/li>\n<li>\u0412 \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u0413\u0410\u0421 \u0412\u044b\u0431\u043e\u0440\u044b \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0430\u043c \u0432\u0438\u0434\u0430 <i>&#8230;&amp;version=1<\/i> \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u044b \u043f\u0435\u0440\u0432\u043e\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u044b\u0435 \u0432\u0435\u0440\u0441\u0438\u0438 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0434\u043b\u044f 19 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432. \u042d\u0442\u043e\u0442 \u043f\u0435\u0440\u0435\u0447\u0435\u043d\u044c \u0447\u0430\u0441\u0442\u0438\u0447\u043d\u043e \u043f\u0435\u0440\u0435\u0441\u0435\u043a\u0430\u0435\u0442\u0441\u044f \u0441 \u0443\u043f\u043e\u043c\u044f\u043d\u0443\u0442\u044b\u043c \u0432\u044b\u0448\u0435 \u0441\u043f\u0438\u0441\u043a\u043e\u043c \u0438\u0437 29 \u0431\u0443\u043c\u0430\u0436\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432: \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0442\u0441\u044f 13 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0431\u044b\u043b\u0438 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u044b \u0438 \u0432 \u0413\u0410\u0421. \u0422\u043e \u0435\u0441\u0442\u044c \u0432\u0441\u0435\u0433\u043e \u0432\u043e\u0432\u043b\u0435\u0447\u0451\u043d\u043d\u044b\u0445 \u0432 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u2014 <i>29 + 19 \u2014 13 = 35<\/i> \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432<\/li>\n<li>\u0412 \u0413\u0410\u0421 \u0442\u0430\u043a\u0436\u0435 \u043d\u0430\u0439\u0434\u0435\u043d\u044b \u0441\u043a\u0440\u044b\u0442\u044b\u043c\u0438 13 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u043f\u043e \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u043c, \u0433\u0434\u0435 \u043e\u0442\u043c\u0435\u043d\u0438\u043b\u0438 \u0432\u044b\u0431\u043e\u0440\u044b \u0438\u0437-\u0437\u0430 \u0432\u0438\u0437\u0438\u0442\u0430 \u043f\u043e\u0436\u0430\u0440\u043d\u044b\u0445 \u0432 \u0442\u0435\u0440\u0440\u0438\u0442\u043e\u0440\u0438\u0430\u043b\u044c\u043d\u0443\u044e \u0438\u0437\u0431\u0438\u0440\u0430\u0442\u0435\u043b\u044c\u043d\u0443\u044e \u043a\u043e\u043c\u0438\u0441\u0441\u0438\u044e \u0421\u043e\u0432\u0435\u0442\u0441\u043a\u043e\u0433\u043e \u0440\u0430\u0439\u043e\u043d\u0430 \u0412\u043b\u0430\u0434\u0438\u0432\u043e\u0441\u0442\u043e\u043a\u0430.<\/li>\n<li>\u041f\u0435\u0440\u0435\u0434 \u043e\u0442\u043c\u0435\u043d\u043e\u0439 \u0432\u044b\u0431\u043e\u0440\u043e\u0432 \u0441\u0441\u044b\u043b\u043a\u0438 \u043d\u0430 \u043f\u0435\u0440\u0432\u0438\u0447\u043d\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0431\u044b\u043b\u0438 \u043f\u0440\u0438\u043a\u0440\u044b\u0442\u044b \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0441\u0435\u0440\u0432\u0435\u0440\u0430, \u0442\u0435\u043f\u0435\u0440\u044c \u043f\u043e \u0441\u0441\u044b\u043b\u043a\u0435, \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0449\u0435\u0439 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 version, \u0432\u0441\u0435\u0433\u0434\u0430 \u0432\u0438\u0434\u043d\u0430 \u043e\u0448\u0438\u0431\u043a\u0430 \u0441\u0435\u0440\u0432\u0435\u0440\u0430<a href=\"http:\/\/www.primorsk.vybory.izbirkom.ru\/region\/primorsk?action=show&amp;root=254008002&amp;tvd=22520001509564&amp;vrn=22520001508349&amp;prver=0&amp;pronetvd=null&amp;region=25&amp;sub_region=25&amp;type=234&amp;vibid=22520001509564&amp;version=1\">(\u043f\u0440\u0438\u043c\u0435\u0440)<\/a>, \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u0432\u044b\u0431\u043e\u0440\u043e\u0432, \u043d\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b \u0432\u0441\u0451 \u0440\u0430\u0432\u043d\u043e \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u044b \u043f\u043e \u0441\u043b\u0435\u0433\u043a\u0430 \u043c\u043e\u0434\u0438\u0444\u0438\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0439 \u0441\u0441\u044b\u043b\u043a\u0435 \u0441 \u0437\u0430\u043c\u0435\u043d\u043e\u0439 <i>v<\/i> \u043d\u0430 <i>%76<\/i> <a href=\"http:\/\/www.primorsk.vybory.izbirkom.ru\/region\/primorsk?action=show&amp;root=254008002&amp;tvd=22520001509564&amp;vrn=22520001508349&amp;prver=0&amp;pronetvd=null&amp;region=25&amp;sub_region=25&amp;type=234&amp;vibid=22520001509564&amp;%76ersion=1\">(\u043f\u0440\u0438\u043c\u0435\u0440)<\/a><\/li>\n<li>\u0412 07:46 \u043f\u043e\u043d\u0435\u0434\u0435\u043b\u044c\u043d\u0438\u043a\u0430 17 \u0441\u0435\u043d\u0442\u044f\u0431\u0440\u044f (\u0432\u0435\u0437\u0434\u0435 \u0432 \u0441\u0442\u0430\u0442\u044c\u0435 \u0432\u0440\u0435\u043c\u044f \u043c\u0435\u0441\u0442\u043d\u043e\u0435, GMT+10) \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0441\u0442 \u043f\u043e \u044d\u043b\u0435\u043a\u0442\u043e\u0440\u0430\u043b\u044c\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u0438\u0441\u0442\u0438\u043a\u0435 \u0421. \u0428\u043f\u0438\u043b\u044c\u043a\u0438\u043d \u043d\u0430\u0447\u0430\u043b \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442\u044c <a href=\"https:\/\/drive.google.com\/drive\/folders\/18D3Tir7IG6svFJwa08E4_LJUliRyTbmA?usp=sharing\">\u0434\u0430\u043d\u043d\u044b\u0435 \u0441 \u0441\u0430\u0439\u0442\u0430 \u0426\u0418\u041a \u043a\u0430\u0436\u0434\u044b\u0435 5 \u043c\u0438\u043d\u0443\u0442<\/a>, \u0438 \u0432 \u044d\u0442\u0438\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u0432\u0438\u0434\u043d\u043e, \u043a\u0430\u043a \u0432 13:45 \u0431\u044b\u043b\u0438 \u0432\u044b\u0433\u0440\u0443\u0436\u0435\u043d\u044b \u0435\u0434\u0438\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 53 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430<\/li>\n<\/ol>\n<p>  <\/p>\n<h4>\u0427\u0442\u043e \u043c\u043e\u0436\u043d\u043e \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u0432 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445<\/h4>\n<p>  \u0421\u043c\u0435\u043d\u0438\u043c \u0437\u0430\u043f\u0443\u0442\u044b\u0432\u0430\u044e\u0449\u0438\u0435 \u043f\u0440\u043e\u0446\u0435\u043d\u0442\u044b \u043d\u0430 \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u043e\u0435 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438 \u0432\u0437\u0433\u043b\u044f\u043d\u0435\u043c \u043d\u0430 \u0442\u0430\u0431\u043b\u0438\u0446\u0443 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0443\u0431\u043b\u0438\u043a\u043e\u0432\u0430\u043b\u0438\u0441\u044c \u043d\u0430 \u0441\u0430\u0439\u0442\u0435 \u0438 \u0432 \u0432\u0438\u0434\u0435\u043e-\u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u0438 \u0426\u0418\u041a.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/pn\/f2\/pr\/pnf2pre0ks3gyjnpylz6qayyq5g.png\"><br \/>  <em> \u041e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 (\u0441 \u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f\u043c\u0438)<\/em><\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0421\u0430\u043c\u043e\u0435 \u043f\u0440\u043e\u0441\u0442\u043e\u0435, \u0447\u0442\u043e \u0432\u0438\u0434\u043d\u043e &#8212; \u043d\u0430 \u043a\u0430\u043a\u0438\u0445 \u044d\u0442\u0430\u043f\u0430\u0445 \u0447\u0442\u043e \u0431\u044b\u043b\u043e \u0441 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430\u043c\u0438, \u0431\u0443\u043c\u0430\u0436\u043d\u044b\u0435 \u0432\u0435\u0440\u0441\u0438\u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0442\u0441\u044f \u043e\u0442 \u043e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0445<\/b><\/p>\n<div class=\"spoiler_text\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/6k\/2j\/lm\/6k2jlmpiebwfeevqruwue9kgsv0.png\"><\/p>\n<p>  \u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043d\u043e\u043c\u0435\u0440\u0430 \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0449\u0438\u0445\u0441\u044f \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b, \u0442\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0432 \u043d\u0430 \u0434\u0430\u043d\u043d\u044b\u0435 \u043d\u0430 \u043e\u0442\u043c\u0435\u0442\u043a\u0430\u0445 95.74% \u0438 99.16%, \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u043d\u044f\u0442\u044c, \u0447\u0442\u043e \u0441\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c \u0441 \u043a\u0430\u0436\u0434\u044b\u043c \u0438\u0437 29 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0449\u0438\u0445\u0441\u044f \u043e\u0442 \u0413\u0410\u0421. \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e 16 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0432\u043d\u0435\u0441\u043b\u0438 \u0432 \u0413\u0410\u0421 \u0441\u0440\u0430\u0437\u0443 \u0441 \u043d\u0435\u0432\u0435\u0440\u043d\u044b\u043c\u0438 \u0446\u0438\u0444\u0440\u0430\u043c\u0438 \u0438 \u043f\u043e\u0442\u043e\u043c \u043d\u0435 \u0442\u0440\u043e\u0433\u0430\u043b\u0438, \u0430 13 \u0432\u043d\u0435\u0441\u043b\u0438 \u0432\u0435\u0440\u043d\u043e, \u0438 \u043b\u0438\u0448\u044c \u0437\u0430\u0442\u0435\u043c \u043e\u0442\u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043b\u0438. \u0418\u0437 19 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0445 \u0432 \u0413\u0410\u0421 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0434\u043b\u044f 13 \u0432 \u043f\u0430\u0431\u043b\u0438\u043a\u0435 \u0435\u0441\u0442\u044c \u0441\u043a\u0430\u043d\u044b \u0431\u0443\u043c\u0430\u0436\u043d\u044b\u0445 \u0432\u0435\u0440\u0441\u0438\u0439, \u0442\u0430\u043a \u0447\u0442\u043e \u043c\u044b \u0438\u043c\u0435\u0435\u043c \u0434\u0432\u043e\u0439\u043d\u043e\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432. \u041e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 6 \u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0439 \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u0413\u0410\u0421.  <\/div>\n<\/div>\n<p>  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0412\u0438\u0434\u043d\u043e, \u043a\u0442\u043e \u043f\u043e\u0431\u0435\u0434\u0438\u043b \u043d\u0430 \u0432\u044b\u0431\u043e\u0440\u0430\u0445<\/b><\/p>\n<div class=\"spoiler_text\"><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/eg\/sb\/vw\/egsbvwn-vzlid6yfk2qvbhogzh8.png\"><br \/>  <em>\u041e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u043e \u043f\u043e\u0431\u0435\u0434\u0438\u043b \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e. \u0412 \u0413\u0410\u0421 \u0438 \u0432 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430\u0445 \u2014 \u0418\u0449\u0435\u043d\u043a\u043e. <a href=\"https:\/\/plot.ly\/~ishukshin\/9\/\">plot.ly<\/a><\/em><\/p>\n<p>  \u0421 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c 249 845 (51.1%) \u043f\u0440\u043e\u0442\u0438\u0432 226 637(46.4%) \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u043f\u043e\u0431\u0435\u0434\u0438\u043b \u0418\u0449\u0435\u043d\u043a\u043e. \u041f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u043d\u0438\u0435\u043c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0433\u043e\u043b\u043e\u0441\u0430 <abbr title=\"\u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442 \u0418\u0449\u0435\u043d\u043a\u043e\">\u0418\u0449\u0435\u043d\u043a\u043e<\/abbr> \u0443\u043c\u0435\u043d\u044c\u0448\u0438\u043b\u0438 \u043d\u0430 402, \u0433\u043e\u043b\u043e\u0441\u0430 <abbr title=\"\u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441 \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e\">\u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e<\/abbr> \u0443\u0432\u0435\u043b\u0438\u0447\u0438\u043b\u0438 \u043d\u0430 15 077. \u041f\u0440\u0430\u0432\u043a\u0430\u043c\u0438 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0432 \u0413\u0410\u0421 \u0433\u043e\u043b\u043e\u0441\u0430 \u0418. \u0443\u043c\u0435\u043d\u044c\u0448\u0438\u043b\u0438 \u043d\u0430 954, \u0422. \u2014 \u0443\u0432\u0435\u043b\u0438\u0447\u0438\u043b\u0438 \u043d\u0430 14 894. \u041e\u0431\u0449\u0435\u0435 \u0432\u043b\u0438\u044f\u043d\u0438\u0435 \u0434\u0432\u0443\u0445 \u0442\u0438\u043f\u043e\u0432 \u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0439 \u043d\u0430 \u0440\u0430\u0437\u043d\u0438\u0446\u0443 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u2014 31 327. \u0412\u043b\u0438\u044f\u043d\u0438\u0435 \u0441\u043e\u043a\u0440\u044b\u0442\u0438\u044f 13 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0412\u043b\u0430\u0434\u0438\u0432\u043e\u0441\u0442\u043e\u043a\u0430 \u043d\u0430 \u0441\u0443\u043c\u043c\u0443 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u0441\u043e\u0432\u0441\u0435\u043c \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0435, \u0432 \u044d\u0442\u0438\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430\u0445 \u0438\u0445 \u0441\u0443\u043c\u043c\u0430\u0440\u043d\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0431\u043b\u0438\u0437\u043a\u0438 \u2014 2 939 \u0443 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430 \u043f\u0440\u043e\u0442\u0438\u0432 3 408 \u0443 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0430.<\/p>\n<p>  \u0415\u0441\u043b\u0438 \u0441\u0447\u0438\u0442\u0430\u0442\u044c \u043f\u043e \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u043c, \u043d\u0430 908 \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u0445 \u0438\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u043f\u043e\u0431\u0435\u0434\u0438\u043b \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442, \u043d\u0430 628 \u2014 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441 \u0438 \u043d\u0430 14 \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u0445 \u043d\u0438\u0447\u044c\u044f. \u0422\u043e \u0435\u0441\u0442\u044c \u043f\u043e \u0447\u0438\u0441\u043b\u0443 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442 \u043f\u043e\u0431\u0435\u0434\u0438\u043b \u0437\u043d\u0430\u0447\u0438\u0442\u0435\u043b\u044c\u043d\u043e. \u0418\u0437 35 \u043e\u0442\u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445-\u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 \u043d\u0430 9 \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u0445 \u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u0440\u0438\u0432\u0435\u043b\u043e \u043a \u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043f\u043e\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u044c \u0441\u043c\u0435\u043d\u0438\u043b\u0441\u044f \u043d\u0430 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0430, \u0432 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0445 26 \u0438 \u0431\u0435\u0437 \u0442\u043e\u0433\u043e \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441 \u043f\u043e\u0431\u0435\u0436\u0434\u0430\u043b. \u0422\u043e \u0435\u0441\u0442\u044c \u0444\u0435\u0439\u043a\u043e\u0432\u0430\u044f \u043f\u043e\u0431\u0435\u0434\u0430 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0430 \u0431\u044b\u043b\u0430 \u043e\u0434\u0435\u0440\u0436\u0430\u043d\u0430 \u043d\u0430 637 \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u0445 \u043f\u0440\u043e\u0442\u0438\u0432 899 \u0443 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430.<\/p>\n<p>  \u0422\u0430\u043a\u0436\u0435 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u0437\u0430\u043c\u0435\u0442\u0438\u0442\u044c, \u0447\u0442\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043b\u0438 \u0432 \u0413\u0410\u0421, \u0438\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0431\u044b\u043b\u0438 \u0432\u0432\u0435\u0434\u0435\u043d\u044b \u0432 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0438 \u0441 \u0431\u0443\u043c\u0430\u0436\u043d\u044b\u043c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u043c. \u0412\u043f\u0440\u043e\u0447\u0435\u043c, \u0441\u0443\u0434\u044f \u043f\u043e \u0430\u043d\u043e\u043c\u0430\u043b\u044c\u043d\u044b\u043c \u0446\u0438\u0444\u0440\u0430\u043c (\u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e \u0434\u043b\u044f \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 <b>2812<\/b> \u0438 <b>2863<\/b>), \u043f\u043e\u0447\u0442\u0438 \u0432\u0441\u0435 \u043a\u043e\u043c\u0438\u0441\u0441\u0438\u0438 \u0423\u0441\u0441\u0443\u0440\u0438\u0439\u0441\u043a\u0430, \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043f\u0440\u0430\u0432\u0438\u043b\u0438 \u0432 \u0413\u0410\u0421, \u0438\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0442\u043e\u0436\u0435 \u0432\u044b\u0434\u0430\u043b\u0438 \u0441\u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b, \u043f\u0440\u043e\u0441\u0442\u043e \u044d\u0442\u043e \u043d\u0435 \u0437\u0430\u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d\u043e. \u042d\u0442\u043e \u043b\u043e\u0433\u0438\u0447\u043d\u043e, \u043d\u0430 \u0432\u0442\u043e\u0440\u043e\u0435 \u043f\u0440\u0435\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0435 \u043e\u0431\u044b\u0447\u043d\u043e \u0438\u0434\u0443\u0442 \u0442\u0435, \u043a\u0442\u043e \u0438 \u0441 \u043f\u0435\u0440\u0432\u044b\u043c \u0441\u043f\u0440\u0430\u0432\u0438\u043b\u0441\u044f. \u041d\u043e \u0443\u0447\u0451\u0442 \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0445 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0438 \u043f\u043e\u043f\u044b\u0442\u043a\u0430 \u0441\u0442\u0430\u0442\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0435\u0449\u0451 \u0442\u043e\u0447\u043d\u0435\u0435 \u043e\u0446\u0435\u043d\u0438\u0442\u044c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432 \u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u043d\u0435 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0430, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u0434\u0430\u0436\u0435 \u0441\u0442\u0440\u043e\u0433\u0438\u0435 \u043c\u0435\u0442\u043e\u0434\u044b \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0442 \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u043f\u043e\u0431\u0435\u0434\u0443 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430, \u0430 \u0441\u0442\u0430\u0442\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043e\u0446\u0435\u043d\u043a\u0438 \u0445\u043e\u0442\u044f \u0438 \u0443\u0432\u0435\u043b\u0438\u0447\u0430\u0442 \u043e\u0442\u0440\u044b\u0432 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430, \u043c\u0435\u043d\u0435\u0435 \u0443\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u044b \u0432\u0432\u0438\u0434\u0443 \u0438\u0445 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e\u0441\u0442\u043d\u043e\u0433\u043e \u0445\u0430\u0440\u0430\u043a\u0442\u0435\u0440\u0430.  <\/div>\n<\/div>\n<p>  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u041a\u0430\u043a \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u043d\u0438\u0435 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u0438 \u043f\u0440\u0430\u0432\u043a\u0430 \u0435\u0433\u043e \u0432 \u0413\u0410\u0421<\/b><\/p>\n<div class=\"spoiler_text\">\u041f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u043d\u0438\u0435 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u043e \u043e\u0442\u043b\u0438\u0447\u0438\u044e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0442\u0435\u043b\u044f \u043e\u0442 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u0432 \u0413\u0410\u0421.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/td\/qv\/gy\/tdqvgyubok3qp_pcbpdkiudi7do.png\"><\/p>\n<p>  \u0410 \u043f\u0440\u0430\u0432\u043a\u0430 \u0432\u0438\u0434\u043d\u0430 \u043f\u0440\u043e\u0441\u0442\u043e \u043a\u0430\u043a 2 \u0432\u0435\u0440\u0441\u0438\u0438 \u0432 \u0413\u0410\u0421 \u0441 \u0440\u0430\u0437\u043d\u044b\u043c\u0438 \u0446\u0438\u0444\u0440\u0430\u043c\u0438. <br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/c0\/vd\/yr\/c0vdyrla8r7xqyjqkmjr1xczau8.gif\"><br \/>  <em>\u0418\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e, \u0447\u0442\u043e \u043f\u0440\u043e\u0446\u0435\u043d\u0442 \u0437\u0430 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430 \u0440\u0430\u0441\u0441\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043e\u0442 \u0447\u0438\u0441\u043b\u0430 \u0433\u043e\u043b\u043e\u0441\u043e\u0432\u0430\u0432\u0448\u0438\u0445 \u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0439 \u0432\u0435\u0440\u0441\u0438\u0438 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430<\/em>  <\/div>\n<\/div>\n<p>  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0423\u0447\u0430\u0441\u0442\u043a\u0438 \u0441\u043e 100% \u0437\u0430 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432<\/b><\/p>\n<div class=\"spoiler_text\">\u0422\u0430\u043a\u0436\u0435 \u0438\u0437 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u0432\u0438\u0434\u043d\u043e, \u0447\u0442\u043e \u0438\u043c\u0435\u0435\u0442\u0441\u044f 8 \u043c\u0435\u043b\u043a\u0438\u0445 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0441 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c 100% \u0437\u0430 \u0418\u0449\u0435\u043d\u043a\u043e \u0438 45 \u0441\u043e 100% \u0437\u0430 \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e, 42 \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043a\u043e\u0440\u0430\u0431\u0435\u043b\u044c\u043d\u044b\u0435, \u0430 3 \u2014 \u0441\u0451\u043b\u0430 \u043f\u043e\u0434 \u0423\u0441\u0441\u0443\u0440\u0438\u0439\u0441\u043a\u043e\u043c.<br \/>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/8b\/4q\/ft\/8b4qftx-zxztrfrdcoj7ljm5a-8.png\"><br \/>  <em>\u0423\u0447\u0430\u0441\u0442\u043a\u0438 \u0441\u043e 100% \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432: 122 \u0433\u043e\u043b\u043e\u0441\u0430 \u0437\u0430 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430 \u0438 1874 \u0437\u0430 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0430. \u00ab\u0418\u0433\u0440\u0430 \u0432 \u043e\u0434\u043d\u0438 \u0432\u043e\u0440\u043e\u0442\u0430\u00bb<\/em>  <\/div>\n<\/div>\n<p>  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0421\u0442\u0430\u0442\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043e\u043f\u0430\u0441\u0435\u043d\u0438\u044f \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u044e\u0442\u0441\u044f \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u044b<\/b><\/p>\n<div class=\"spoiler_text\">\u0410\u0431\u0441\u043e\u043b\u044e\u0442\u043d\u043e \u0432\u0441\u0435 \u0443\u0447\u0430\u0441\u0442\u043a\u0438, \u043f\u043e\u0434\u043e\u0437\u0440\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043f\u043e \u0441\u0442\u0430\u0442\u0438\u0441\u0442\u0438\u043a\u0435 (\u043d\u0435\u043f\u0440\u0430\u0432\u0434\u043e\u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0435 \u0446\u0438\u0444\u0440\u044b \u044f\u0432\u043a\u0438 \u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 2 \u0447\u0430\u0441\u0430), \u0432\u043f\u043e\u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0438 \u043e\u043a\u0430\u0437\u0430\u043b\u0438\u0441\u044c \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u043c\u0438; \u0442\u0430\u043a\u0436\u0435 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u043d\u0430\u0448\u043b\u043e\u0441\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432. \u041d\u0438 \u043e\u0434\u043d\u043e\u0433\u043e \u043b\u043e\u0436\u043d\u043e-\u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430 \u0432 \u0434\u0435\u0442\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438 \u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u043e\u0432 \u0441\u0442\u0430\u0442\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438 \u043c\u0435\u0442\u043e\u0434\u0430\u043c\u0438 \u043d\u0435 \u0431\u044b\u043b\u043e. \u041f\u0440\u0430\u0432\u0434\u0430 \u043f\u043e \u0423\u0418\u041a 2809 \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u043e\u043c \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043d\u0435 \u0441\u0430\u043c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b, \u0430 \u0437\u0430\u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u0432 \u043f\u043e\u043b\u0438\u0446\u0438\u044e \u043e\u0431 \u043e\u0442\u043a\u0430\u0437\u0435 \u0432\u044b\u0434\u0430\u0442\u044c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b.  <\/div>\n<\/div>\n<p>  <\/p>\n<h2>\u0420\u0430\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0435<\/h2>\n<p>  \u041c\u0435\u043d\u044f \u0437\u0430\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043e\u0432\u0430\u043b\u043e \u0442\u043e, \u0447\u0442\u043e \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0438\u0437 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u0445 \u0432\u044b\u0448\u0435 \u043c\u0435\u0442\u043e\u0434\u043e\u0432 \u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0439 \u2014 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u043d\u0438\u044f \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438 \u043f\u0440\u0430\u0432\u043a\u0438 \u0432 \u0413\u0410\u0421 \u2014 \u0431\u044b\u043b\u043e \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043f\u043e \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u0434\u043b\u044f \u0432\u043e\u0440\u043e\u0432\u0441\u0442\u0432\u0430 \u043f\u043e\u0431\u0435\u0434\u044b. \u042f \u0437\u0430\u0434\u0430\u043b\u0441\u044f \u0432\u043e\u043f\u0440\u043e\u0441\u043e\u043c \u2014 \u043a\u0430\u043a \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u043b\u0438\u0441\u044c \u043c\u0435\u0442\u043e\u0434\u044b, <b>\u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u0438\u043b\u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e<\/b>? \u0414\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0438\u0439 \u0442\u0435\u043a\u0441\u0442 \u043f\u043e\u0441\u0432\u044f\u0449\u0451\u043d \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e\u043c\u0443 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u044e \u044d\u0442\u043e\u0433\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u0430.<\/p>\n<p>  \u0421\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u0438\u0434\u0435\u044f \u0442\u0430\u043a\u043e\u0432\u0430 \u2014 \u0435\u0441\u0442\u044c \u043d\u0430\u0431\u043e\u0440 \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 (\u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u0437\u0430 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432 \u043d\u0430 \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u0445) \u0438 \u0438\u0445 \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0445 \u0441\u0443\u043c\u043c (\u0434\u0430\u043d\u043d\u044b\u0435 \u0441 \u0438\u043d\u0444\u043e\u043f\u0430\u043d\u0435\u043b\u0438 \u0426\u0418\u041a). \u042d\u0442\u043e \u0434\u0430\u0451\u0442 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u044b\u043c \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0442\u043e\u0440\u043d\u044b\u043c \u043f\u0435\u0440\u0435\u0431\u043e\u0440\u043e\u043c \u0432\u0441\u0435\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432 \u0432\u044b\u044f\u0441\u043d\u0438\u0442\u044c, \u043a\u0430\u043a\u0438\u0435 \u0436\u0435 \u0438\u043c\u0435\u043d\u043d\u043e \u0443\u0447\u0430\u0441\u0442\u043a\u0438 \u0431\u044b\u043b\u0438 \u0432\u0432\u0435\u0434\u0435\u043d\u044b \u0438\u043b\u0438 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u044b \u0432 \u043a\u0430\u043a\u043e\u0439 \u043c\u043e\u043c\u0435\u043d\u0442. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0432\u0432\u0435\u0434\u0451\u043d 1 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b, \u0447\u0438\u0441\u043b\u043e \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430 \u0443\u0432\u0435\u043b\u0438\u0447\u0438\u043b\u043e\u0441\u044c \u043d\u0430 X, \u0447\u0438\u0441\u043b\u043e \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0430 \u2014 \u043d\u0430 Y. \u041f\u0435\u0440\u0435\u0431\u0438\u0440\u0430\u0435\u043c \u0432\u0441\u0435 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b \u0438 \u0438\u0449\u0435\u043c, \u0433\u0434\u0435 \u0436\u0435 \u0443 \u043d\u0430\u0441 1 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u0441 X \u0437\u0430 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430, \u0430 Y \u0437\u0430 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0430. \u041a\u043e\u043d\u0435\u0447\u043d\u043e \u0436\u0435, \u043f\u0440\u043e\u0441\u0442\u043e\u0433\u043e \u043f\u0435\u0440\u0435\u0431\u043e\u0440\u0430 \u043f\u043e \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c \u0446\u0438\u0444\u0440\u0430\u043c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u043d\u0435 \u0445\u0432\u0430\u0442\u0438\u0442, \u043c\u044b \u043d\u0435 \u0441\u043c\u043e\u0436\u0435\u043c \u043d\u0430\u0439\u0442\u0438 \u0442\u0430\u043a\u0438\u0435 4 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0431\u044b \u0443\u043c\u0435\u043d\u044c\u0448\u0438\u043b\u0438 \u0433\u043e\u043b\u043e\u0441\u0430 \u0437\u0430 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430 \u043d\u0430 5, \u0442\u0430\u043a \u0447\u0442\u043e \u043d\u0443\u0436\u043d\u043e \u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u043d\u0430 \u0432\u0441\u0435 \u0432\u0435\u0440\u0441\u0438\u0438 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0432 <abbr title=\"\u0438\u043c\u0435\u0435\u0442\u0441\u044f \u0432\u0432\u0438\u0434\u0443 \u0413\u0410\u0421 \u0412\u044b\u0431\u043e\u0440\u044b\">\u0413\u0410\u0421<\/abbr>, \u0442.\u043a. \u0438\u0445 \u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043b\u0438.<\/p>\n<h2>\u041f\u043e\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 SAT-\u0437\u0430\u0434\u0430\u0447\u0438<\/h2>\n<p>  \u0423 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u043a\u0440\u0430\u0439\u043d\u0438\u0435 \u0442\u043e\u0447\u043a\u0438 \u0441 \u0434\u0435\u0442\u0430\u043b\u044c\u043d\u044b\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u043c\u0438, 4 \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0435 \u0438 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0434\u0435\u0441\u044f\u0442\u043a\u043e\u0432 \u0431\u0443\u043b\u0435\u0432\u044b\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0443\u0436\u043d\u043e \u043f\u043e\u0434\u043e\u0431\u0440\u0430\u0442\u044c \u043f\u043e\u0434 \u044d\u0442\u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u044f. \u042d\u0442\u043e \u0442\u0438\u043f\u0438\u0447\u043d\u0430\u044f <a href=\"https:\/\/ru.wikipedia.org\/wiki\/%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B0_%D0%B2%D1%8B%D0%BF%D0%BE%D0%BB%D0%BD%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D0%B8_%D0%B1%D1%83%D0%BB%D0%B5%D0%B2%D1%8B%D1%85_%D1%84%D0%BE%D1%80%D0%BC%D1%83%D0%BB\">SAT-\u0437\u0430\u0434\u0430\u0447\u0430<\/a>, \u043e \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0414\u043e\u043d\u0430\u043b\u044c\u0434 \u041a\u043d\u0443\u0442 <a href=\"https:\/\/ru.wikipedia.org\/wiki\/%D0%98%D1%81%D0%BA%D1%83%D1%81%D1%81%D1%82%D0%B2%D0%BE_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F\">\u0432 \u043e\u0434\u043d\u043e\u0439 \u0438\u0437 \u043b\u0443\u0447\u0448\u0438\u0445 \u043c\u043e\u043d\u043e\u0433\u0440\u0430\u0444\u0438\u0439 \u043f\u0440\u043e\u0448\u043b\u043e\u0433\u043e \u0441\u0442\u043e\u043b\u0435\u0442\u0438\u044f<\/a> \u043f\u0438\u0441\u0430\u043b:   <\/p>\n<blockquote><p>The SAT problem is evidently a killer app, because it is key to the solution of so many other problems<\/p><\/blockquote>\n<p>  <\/p>\n<h3>\u0421\u0442\u0430\u0434\u0438\u0438 \u0432\u0432\u043e\u0434\u0430 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432<\/h3>\n<p>  \u0421\u0440\u0430\u0437\u0443 \u043e\u0433\u043e\u0432\u043e\u0440\u044e\u0441\u044c, \u0447\u0442\u043e 13 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0421\u043e\u0432\u0435\u0442\u0441\u043a\u043e\u0433\u043e \u0440\u0430\u0439\u043e\u043d\u0430 \u0412\u043b\u0430\u0434\u0438\u0432\u043e\u0441\u0442\u043e\u043a\u0430, \u0433\u0434\u0435 \u0432\u044b\u0431\u043e\u0440\u044b \u043f\u043e\u0437\u0434\u043d\u0435\u0435 \u0431\u044b\u043b\u0438 \u043f\u0440\u0438\u0437\u043d\u0430\u043d\u044b \u043d\u0435\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u043c\u0438, \u043c\u044b \u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u043e\u0442\u043b\u043e\u0436\u0438\u043c \u0432 \u0441\u0442\u043e\u0440\u043e\u043d\u0443. \u042d\u0442\u0438 \u0443\u0447\u0430\u0441\u0442\u043a\u0438 \u0432 \u043f\u043e\u0434\u0441\u0447\u0451\u0442\u0435 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u043d\u0435 \u0443\u0447\u0430\u0441\u0442\u0432\u043e\u0432\u0430\u043b\u0438, \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432 \u0432\u044b\u0431\u043e\u0440\u043e\u0432 \u043e\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043b\u043e\u0441\u044c \u043d\u0430 \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0445 1537 \u0438\u0437 1550 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u0438\u0445 \u043c\u044b \u0438 \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c. \u0418\u0442\u0430\u043a, \u0432 4 \u0443\u0442\u0440\u0430 (\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u0430\u044f \u0442\u043e\u0447\u043a\u0430 \u043d\u0430\u0448\u0435\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430) \u043e\u0441\u0442\u0430\u0432\u0430\u043b\u043e\u0441\u044c \u0432\u0432\u0435\u0441\u0442\u0438 53 \u0443\u0447\u0430\u0441\u0442\u043a\u0430, \u0438 \u043e\u043d\u0438 \u0432\u0432\u043e\u0434\u0438\u043b\u0438\u0441\u044c \u043f\u0430\u0440\u0442\u0438\u044f\u043c\u0438: \u0432\u043d\u0430\u0447\u0430\u043b\u0435 33 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430, \u0437\u0430\u0442\u0435\u043c 14, 4, 1 \u0438 1 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439. \u0414\u043b\u044f \u0443\u0434\u043e\u0431\u0441\u0442\u0432\u0430 \u043f\u0440\u0438\u0434\u0443\u043c\u0430\u0435\u043c \u044d\u0442\u0438\u043c \u043a\u043e\u043d\u0442\u0440\u043e\u043b\u044c\u043d\u044b\u043c \u0442\u043e\u0447\u043a\u0430\u043c \u0438\u043c\u0435\u043d\u0430. \u042d\u0442\u0438\u043c\u0438 \u0436\u0435 \u0438\u043c\u0435\u043d\u0430\u043c\u0438 \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u0438 \u0441\u0442\u0430\u0434\u0438\u0438, \u043f\u043e\u0441\u043b\u0435 \u043a\u043e\u043d\u0442\u0440\u043e\u043b\u044c\u043d\u044b\u0445 \u0442\u043e\u0447\u0435\u043a: <i>silence<\/i> (33 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u0434\u043e 4 \u0443\u0442\u0440\u0430), <i>prepare<\/i> (14), <i>fantastic<\/i>(4), <i>kill<\/i>(1) \u0438 <i>final<\/i>(1).<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/gu\/rh\/db\/gurhdb2pwl6wh21gz--18v8_s0k.png\"><\/p>\n<p>  \u0413\u0440\u0430\u043d\u0438\u0447\u043d\u044b\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u044f: \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u0447\u0442\u043e \u0432 \u0442\u043e\u0447\u043a\u0430\u0445 95.74% \u0438 99.16% \u0432\u0441\u0435 \u0432\u0435\u0440\u0441\u0438\u0438 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u043f\u0435\u0440\u0432\u044b\u0435 \u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e. \u0418\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u0447\u0442\u043e \u0438\u0437 19 \u0438\u0437\u043c\u0435\u043d\u0451\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 16 \u0443\u0436\u0435 \u0431\u044b\u043b\u0438 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u044b \u0432 \u0413\u0410\u0421 \u0434\u043e \u0442\u043e\u0447\u043a\u0438 95.74% (<i>old<\/i>), \u0430 3 \u0431\u044b\u043b\u0438 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u044b \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439 (<i>new<\/i>). \u0422\u0430\u043a\u0436\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b \u0441\u0443\u043c\u043c\u044b \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u0432 \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0445 \u0442\u043e\u0447\u043a\u0430\u0445. \u0414\u0430\u043d\u043d\u044b\u0435 \u043d\u0430 \u0442\u043e\u0447\u043a\u0443 \u0441 \u043f\u0440\u043e\u0446\u0435\u043d\u0442\u043e\u043c \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, 95.74% \u0431\u0443\u0434\u0435\u043c \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0442\u044c <i>r<sub>9574<\/sub><\/i>. <\/p>\n<p>  \u0420\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c \u0432\u0441\u0435 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u043b\u0438 \u0432\u043d\u043e\u0441\u0438\u043b\u0438, \u0438\u043b\u0438 \u0438\u0437\u043c\u0435\u043d\u044f\u043b\u0438 \u043d\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u043c \u044d\u0442\u0430\u043f\u0435, \u043d\u0430 3 \u043c\u0430\u0441\u0441\u0438\u0432\u0430: <i>old<\/i>, <i>new<\/i> \u0438 <i>common<\/i>. 19 \u043e\u0442\u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0432 \u0413\u0410\u0421 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u2014 \u044d\u0442\u043e 16 <i>old<\/i> (\u044d\u0442\u043e \u0442\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0431\u044b\u043b\u0438 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u044b \u0434\u043e \u0441\u043a\u0440\u044b\u0442\u043e\u0439 \u0444\u0430\u0437\u0435 \u0438 \u0437\u0430\u0442\u0435\u043c \u0432 \u0441\u043a\u0440\u044b\u0442\u043e\u0439 \u0444\u0430\u0437\u0435 \u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043b\u0438) \u0438 3 <i>new<\/i> (\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0432\u043d\u0435\u0441\u043b\u0438 \u0443\u0436\u0435 \u043f\u043e\u0441\u043b\u0435 \u0442\u043e\u0447\u043a\u0438 95.74% \u0438 \u0432 \u0441\u043a\u0440\u044b\u0442\u043e\u0439 \u0444\u0430\u0437\u0435 \u043e\u0442\u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043b\u0438). \u0414\u043b\u044f \u0432\u0441\u0435\u0445 19 \u043d\u0430\u043c \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u043d\u0430 \u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0441\u043c\u0435\u043d\u0430 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u043c\u0435\u043d\u044f\u0435\u0442 \u0447\u0438\u0441\u043b\u043e \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u0437\u0430 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430, \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0438\u043c \u044d\u0442\u0438 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0435 \u0432\u0435\u043b\u0438\u0447\u0438\u043d\u044b \u043a\u0430\u043a <i>increase<\/i>. \u0427\u0438\u0441\u043b\u043e \u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u043c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0435 \u043d\u0430\u0437\u043e\u0432\u0451\u043c <i>last<\/i>, \u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u2014 <i>first<\/i>, \u0438\u043d\u0434\u0435\u043a\u0441 \u0434\u043b\u044f \u0447\u0438\u0441\u043b\u0430 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u0437\u0430 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430 \u0418\u0449\u0435\u043d\u043a\u043e \u2014 <i>com<\/i>, \u0437\u0430 \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e \u2014 <i>er<\/i>. \u041e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 50 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0445 \u043d\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u043c \u044d\u0442\u0430\u043f\u0435 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0441\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0442 \u043c\u0430\u0441\u0441\u0438\u0432 <i>common<\/i>.<\/p>\n<h3>\u0411\u0443\u043b\u0435\u0432\u044b \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435<\/h3>\n<p>  \u0414\u043b\u044f \u0432\u0435\u0440\u0441\u0438\u0439 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c 19 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 <i>v_%d_%s<\/i>, \u0433\u0434\u0435 <i>%d<\/i> \u2014 \u0447\u0438\u0441\u043b\u043e \u043e\u0442 0 \u0434\u043e 18, \u043f\u0435\u0440\u0432\u044b\u0435 16 \u0434\u043b\u044f \u0432\u0435\u0440\u0441\u0438\u0439 \u0441\u0442\u0430\u0440\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 3 \u2014 \u0434\u043b\u044f \u0432\u043d\u0435\u0441\u0451\u043d\u043d\u044b\u0445 \u0438 \u0437\u0430\u0442\u0435\u043c \u0438\u0437\u043c\u0435\u043d\u0451\u043d\u043d\u044b\u0445, <i>%s<\/i> \u2014 \u044d\u0442\u043e \u0441\u0442\u0430\u0434\u0438\u044f, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u043c \u0432\u0435\u0440\u0441\u0438\u044e, \u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 True \u0434\u043b\u044f \u043f\u0435\u0440\u0432\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438 \u0438 False \u0434\u043b\u044f \u043f\u043e\u0434\u043c\u0435\u043d\u0451\u043d\u043d\u043e\u0439. <\/p>\n<p>  \u0414\u043b\u044f \u043d\u0430\u043b\u0438\u0447\u0438\u044f \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u0432 \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c \u0431\u0443\u043b\u0435\u0432\u044b \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043d\u044b\u0435 <i>a_%d_%s<\/i>, \u0433\u0434\u0435 <i>%d<\/i> \u2014 \u0447\u0438\u0441\u043b\u043e \u043e\u0442 0 \u0434\u043e 52, \u043f\u0435\u0440\u0432\u044b\u0435 3 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u043e\u0442\u043d\u043e\u0441\u044f\u0442\u0441\u044f \u043a \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0438 \u0432 \u0441\u043a\u0440\u044b\u0442\u043e\u0439 \u0444\u0430\u0437\u0435 \u0432 \u0413\u0410\u0421, \u0438 \u0437\u0430\u0442\u0435\u043c \u043f\u043e\u043c\u0435\u043d\u044f\u043b\u0438, \u0430 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 50 \u2014 \u043a \u0442\u0435\u043c, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u043b\u0438 \u0432 \u0441\u043a\u0440\u044b\u0442\u043e\u0439 \u0444\u0430\u0437\u0435, \u0430 \u0432 \u0413\u0410\u0421 \u043d\u0435 \u043c\u0435\u043d\u044f\u043b\u0438 (\u0432\u043f\u0440\u043e\u0447\u0435\u043c, \u0441\u0440\u0435\u0434\u0438 \u043d\u0438\u0445 14 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 \u043a\u043e\u043c\u0438\u0441\u0441\u0438\u044f\u043c\u0438 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432). \u042d\u0442\u0438 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0438\u043c\u0435\u044e\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 <i>True<\/i>, \u0435\u0441\u043b\u0438 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u0435\u0441\u0442\u044c \u0432 \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u043d\u0430 \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u0439 \u0441\u0442\u0430\u0434\u0438\u0438 <i>%s<\/i>, <i>False<\/i> \u2014 \u0435\u0441\u043b\u0438 \u0435\u0449\u0451 \u043d\u0435\u0442.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/w2\/wp\/tj\/w2wptjfa-xl6isickslovfyt-9g.png\"><br \/>  <em>\u0421\u0445\u0435\u043c\u0430 \u043f\u0435\u0440\u0435\u0441\u0435\u0447\u0435\u043d\u0438\u044f \u0441\u043f\u0438\u0441\u043a\u043e\u0432 \u043e\u0442\u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0432 \u0441\u043a\u0440\u044b\u0442\u043e\u0439 \u0444\u0430\u0437\u0435 \u0438 \u0432\u043d\u0435\u0441\u0451\u043d\u043d\u044b\u0445<\/em><\/p>\n<h2>\u0420\u0435\u0448\u0435\u043d\u0438\u0435 SAT-\u0437\u0430\u0434\u0430\u0447\u0438<\/h2>\n<p>  \u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043d\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445 \u0441\u0442\u0430\u0434\u0438\u044f\u0445 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u043d\u0435\u0432\u0435\u043b\u0438\u043a\u043e, SAT-\u0437\u0430\u0434\u0430\u0447\u0443 \u0443\u0434\u043e\u0431\u043d\u043e \u0440\u0435\u0448\u0430\u0442\u044c \u0441 \u043a\u043e\u043d\u0446\u0430 \u2014 \u043e\u0442 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u043a \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u043c\u0443. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0434\u043b\u044f \u0441\u0430\u043c\u043e\u0439 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0439 \u0441\u0442\u0430\u0434\u0438\u0438 SAT-\u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u0434\u043b\u044f \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u043e\u0439 \u0442\u043e\u0447\u043a\u0438 99.10% \u0431\u0443\u0434\u0435\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c:<\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/b14\/8fc\/163\/b148fc163b813807512bfe2a724db266.svg\" alt=\"$r_{9916}^{com} = r_{9910}^{com} + \\Sigma_{i = 0}^{18}(v^{kill}_i ? increase_i^{com} : 0) + \\Sigma_{i = 0}^{52}(a^{kill}_i ? 0 : first_i^{com}) $\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/b91\/114\/1b0\/b911141b0247361326d4c9a8da58b68d.svg\" alt=\"$r_{9916}^{er} = r_{9910}^{er} + \\Sigma_{i = 0}^{18}(v^{kill}_i ? increase_i^{er} : 0) + \\Sigma_{i = 0}^{52}(a^{kill}_i ? 0 : first_i^{er}) $\" data-tex=\"display\"><\/math><\/p>\n<p>  \u0423\u0441\u043b\u043e\u0432\u0438\u0435, \u0447\u0442\u043e \u043f\u043e\u043c\u0435\u043d\u044f\u043b\u0441\u044f \u043b\u0438\u0448\u044c 1 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u0437\u0430 \u0441\u0442\u0430\u0434\u0438\u044e \u2014 \u044d\u0442\u043e \u0443\u0441\u043b\u043e\u0432\u0438\u0435, \u0447\u0442\u043e \u043d\u0430 \u043c\u043e\u043c\u0435\u043d\u0442 <i>final<\/i> \u0447\u0438\u0441\u043b\u043e <i>False<\/i> \u0432\u0435\u0440\u0441\u0438\u0439 = 1.<\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/cb2\/a92\/eb0\/cb2a92eb08a182f0c635127405dba9c2.svg\" alt=\"$\\Sigma_{i = 0}^{52}(a^{final}_i ? 0 : 1) = 1 $\" data-tex=\"display\"><\/math><\/p>\n<p>  \u0422\u0430\u043a\u0436\u0435 \u0437\u0430\u0434\u0430\u0451\u043c \u0443\u0441\u043b\u043e\u0432\u0438\u0435, \u0447\u0442\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u043d\u0435\u043b\u044c\u0437\u044f \u00ab\u0440\u043e\u0434\u0438\u0442\u044c \u043e\u0431\u0440\u0430\u0442\u043d\u043e\u00bb, \u0442\u043e \u0435\u0441\u0442\u044c \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0439 \u043d\u0430 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u0441\u0442\u0430\u0434\u0438\u0438 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u0432 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0441\u0442\u0430\u0434\u0438\u0438 \u043d\u0435\u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u043c, \u0438 \u0443\u0441\u043b\u043e\u0432\u0438\u0435, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u0432\u0432\u0435\u043b\u0438 \u0432\u0442\u043e\u0440\u0443\u044e \u0432\u0435\u0440\u0441\u0438\u044e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430, \u0435\u0451 \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u043e \u043d\u0435\u043b\u044c\u0437\u044f \u043f\u0440\u043e\u0441\u0442\u043e \u0443\u0434\u0430\u043b\u0438\u0442\u044c, \u043e\u0441\u0442\u0430\u0432\u0438\u0432 \u043f\u0435\u0440\u0432\u0443\u044e. \u0418\u043c\u0435\u043d\u043d\u043e \u0437\u0430\u0442\u0435\u043c \u0438 \u0441\u0434\u0435\u043b\u0430\u043d\u044b \u0432 \u0413\u0410\u0421 \u0432\u0435\u0440\u0441\u0438\u0438, \u0447\u0442\u043e\u0431\u044b \u043e\u0448\u0438\u0431\u043e\u0447\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0437\u0430\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e \u043c\u0435\u043d\u044f\u0442\u044c, \u0430 \u043d\u0435 \u0443\u0434\u0430\u043b\u044f\u0442\u044c.<\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/043\/ed0\/155\/043ed01553d5df2b12326d8d3a36218b.svg\" alt=\"$ \\forall i \\in [0; 53) a^{final}_i \\geq a^{kill}_i $\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7e0\/f15\/321\/7e0f15321d768c04460621af5113fe4c.svg\" alt=\"$ \\forall j \\in [0; 19) v^{final}_j \\leq v^{kill}_j $\" data-tex=\"display\"><\/math><\/p>\n<p>  \u041f\u0435\u0440\u0435\u0432\u043e\u0434\u0438\u043c \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u0437\u0430\u043f\u0438\u0441\u044c \u0432 \u043a\u043e\u0434 python \u0434\u043b\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u0441 z3, \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f \u0447\u0442\u043e-\u0442\u043e \u0432\u0440\u043e\u0434\u0435:<\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0427\u0430\u0441\u0442\u044c \u043a\u043e\u0434\u0430 \u043d\u0430 python<\/b><\/p>\n<div class=\"spoiler_text\">\n<pre><code class=\"python\"># constraints on communist's or zhulik's votes def findVariants(s, aim, cnt, suffix):     s.add((r9916['com'] - aim['com'] == \\       Sum([If(Bool('v_%d_%s' % (i, suffix)), rewritten_pecs[i]['increase']['com'], 0) for i in range(19)]) + \\       Sum([If(Bool('a_%d_%s' % (k, suffix)), 0, approved_pecs[k]['first']['com']) for k in range(53)])))      s.add((r9916['er'] - aim['er'] == \\       Sum([If(Bool('v_%d_%s' % (i, suffix)), rewritten_pecs[i]['increase']['er'], 0) for i in range(19)]) + \\       Sum([If(Bool('a_%d_%s' % (k, suffix)), 0, approved_pecs[k]['first']['er']) for k in range(53)]))) <\/code><\/pre>\n<p>  <\/div>\n<\/div>\n<p>  <\/p>\n<h2>\u0420\u0435\u0448\u0435\u043d\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438<\/h2>\n<p>  \u0420\u0435\u0448\u0430\u0435\u043c \u0437\u0430\u0434\u0430\u0447\u0443 \u0441 \u043a\u043e\u043d\u0446\u0430, \u043f\u043e-\u0441\u0442\u0430\u0434\u0438\u0439\u043d\u043e, \u0432\u043d\u0430\u0447\u0430\u043b\u0435 \u043d\u0430\u0445\u043e\u0434\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0434\u043b\u044f <i>final<\/i>, \u0437\u0430\u0442\u0435\u043c \u0434\u043b\u044f <i>kill<\/i>, \u0437\u0430\u0442\u0435\u043c \u0434\u043b\u044f <i>fantastic<\/i>, \u0437\u0430\u0442\u0435\u043c \u0434\u043b\u044f <i>prepare<\/i>. \u0415\u0441\u043b\u0438 \u0432 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u0438\u0437 \u0431\u043e\u043b\u0435\u0435 \u0440\u0430\u043d\u043d\u0438\u0445 \u0441\u0442\u0430\u0434\u0438\u0439 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u043d\u0430\u0439\u0434\u0435\u043d\u043e, \u0437\u043d\u0430\u0447\u0438\u0442 \u0432\u0441\u044f \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u0430\u044f \u0440\u0430\u043d\u0435\u0435 \u0432\u0435\u0442\u043a\u0430 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0434\u043b\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0445 \u0441\u0442\u0430\u0434\u0438\u0439 \u0431\u0443\u0434\u0435\u0442 \u043e\u0442\u043c\u0435\u043d\u0435\u043d\u0430. \u0412\u043f\u0440\u043e\u0447\u0435\u043c, \u0442\u0430\u043a\u043e\u0433\u043e \u043d\u0435 \u0441\u043b\u0443\u0447\u0438\u043b\u043e\u0441\u044c. \u0412\u0435\u0441\u044c python-\u043a\u043e\u0434 <a href=\"https:\/\/colab.research.google.com\/drive\/1Fk4Vncc3Q9Ghxu1Of9Y8KUtlHPqPYymV\">\u0432 \u0432\u0438\u0434\u0435 Colab-\u043d\u043e\u0443\u0442\u0431\u0443\u043a\u0430 \u0441 \u0440\u0430\u0441\u0447\u0451\u0442\u043e\u043c \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445 \u0442\u0440\u0451\u0445 \u0441\u0442\u0430\u0434\u0438\u0439<\/a>.<\/p>\n<h4>\u041f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b, \u0441\u0442\u0430\u0434\u0438\u044f final<\/h4>\n<p>  \u0417\u0430\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u0432 Colab \u043f\u0435\u0440\u0432\u044b\u0439 \u043f\u043e\u0434\u0441\u0447\u0451\u0442:<\/p>\n<pre> final  get_models final max=10  final 1. solution found:  final  enabled: 648 with 0 of fake paper  final  changed:  delta increased by 0 (0 protocols)<\/pre>\n<p>  \u0420\u0435\u0448\u0435\u043d\u0438\u0435 SAT-\u0437\u0430\u0434\u0430\u0447\u0438 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u043d\u043e, \u0438 \u043e\u043d\u043e \u0433\u043b\u0430\u0441\u0438\u0442, \u0447\u0442\u043e \u043d\u0438 \u043e\u0434\u0438\u043d \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u0432 \u0413\u0410\u0421 \u043d\u0435 \u0431\u044b\u043b \u0438\u0437\u043c\u0435\u043d\u0451\u043d, \u0430 \u0431\u044b\u043b \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u0443\u0447\u0430\u0441\u0442\u043a\u0430 <b>648<\/b>. \u041e\u0431\u044b\u0447\u043d\u044b\u0439 \u0447\u0435\u0441\u0442\u043d\u044b\u0439 \u0443\u0447\u0430\u0441\u0442\u043e\u043a, \u043f\u0440\u044f\u043c\u043e \u043a\u0430\u043a \u043f\u043e\u0434\u043b\u0438\u043d\u043d\u0430\u044f \u043a\u0443\u043f\u044e\u0440\u0430 \u043d\u0430 \u043f\u0430\u0447\u043a\u0435 \u0438\u0437 \u0444\u0430\u043b\u044c\u0448\u0438\u0432\u044b\u0445.<\/p>\n<h4>\u041f\u0440\u0435\u0434\u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b, \u0441\u0442\u0430\u0434\u0438\u044f kill<\/h4>\n<p>  \u0423 SAT-\u0437\u0430\u0434\u0430\u0447\u0438 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f 4 \u0440\u0435\u0448\u0435\u043d\u0438\u044f. <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0412\u044b\u0432\u043e\u0434 \u0441\u043a\u0440\u0438\u043f\u0442\u0430<\/b><\/p>\n<div class=\"spoiler_text\">\n<pre> final  get_models final max=10  final 1. solution found:  final  enabled: 648 with 0 of fake paper  final  changed:  delta increased by 0(0 protocols)  final  --- dive deeper to kill  --- at 2019-03-13 13:56:40.543990    kill  get_models kill max=10    kill 1. solution found:    kill  enabled: P2829 with 1 of fake paper    kill  changed: 303, 304, 318, 328, 2812, 2826 delta increased by 3751(6 protocols)    kill 2. solution found:    kill  enabled: P2829 with 1 of fake paper    kill  changed: 303, 304, 318, 328, 347, 354, 2812 delta increased by 3751(7 protocols)    kill 3. solution found:    kill  enabled: P2829 with 1 of fake paper    kill  changed: 304, 318, 328, 347, 2812, 2826 delta increased by 3751(6 protocols)    kill 4. solution found:    kill  enabled: P2829 with 1 of fake paper    kill  changed: 304, 318, 328, 354, 2812, 2826 delta increased by 3751(6 protocols)    kill  end kill at 2019-03-13 13:56:42.284371  final  end final at 2019-03-13 13:56:42.415697<\/pre>\n<p>  <\/div>\n<\/div>\n<p>  \u041e\u0431\u0449\u0435\u0435 \u0443 \u0432\u0441\u0435\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u0439 \u0442\u043e, \u0447\u0442\u043e \u0431\u044b\u043b \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u0443\u0447\u0430\u0441\u0442\u043a\u0430 <b>2829<\/b>, \u043f\u0440\u0438\u0447\u0451\u043c \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0449\u0438\u0439\u0441\u044f \u043e\u0442 \u0431\u0443\u043c\u0430\u0436\u043d\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438: \u0443 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430 \u043d\u0430 291 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u043c\u0435\u043d\u044c\u0448\u0435, \u0443 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0430 \u043d\u0430 1184 \u0431\u043e\u043b\u044c\u0448\u0435, \u0442\u043e \u0435\u0441\u0442\u044c \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0443 \u0431\u044b\u043b\u043e \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u043e 1475 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u0430. \u041a\u0440\u043e\u043c\u0435 \u0442\u043e\u0433\u043e, \u0432 \u0413\u0410\u0421 <b>\u0438\u0437\u043c\u0435\u043d\u0435\u043d\u044b \u043c\u0438\u043d\u0438\u043c\u0443\u043c 6 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432<\/b>. \u0417\u0430\u0432\u0435\u0434\u043e\u043c\u043e \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u044b \u0443\u0447\u0430\u0441\u0442\u043a\u0438 304, 318, 328, 2812 \u043f\u043b\u044e\u0441 4 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0430 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439 \u0438\u0437 2 \u0438\u043b\u0438 3 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432: (347, 2826) | (303, 2826) | (354, 2826) | 303, 347, 354).<\/p>\n<p>  \u0418\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u0432 \u0413\u0410\u0421 \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0438 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0443 \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e 3751 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u0430, \u0442\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u0434\u0432\u0443\u043c\u044f \u0432\u0438\u0434\u0430\u043c\u0438 \u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0439 \u043f\u0440\u0438 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0438 \u043f\u0440\u0435\u0434\u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0433\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0443 \u043f\u043e\u0434\u0430\u0440\u0438\u043b\u0438 5226 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u043f\u0435\u0440\u0435\u0432\u0435\u0441\u0430. \u0421\u043e\u0433\u043b\u0430\u0441\u0438\u0442\u0435\u0441\u044c, \u044d\u0442\u043e \u043e\u0431\u044a\u044f\u0441\u043d\u0435\u043d\u0438\u0435 \u043a\u0443\u0434\u0430 \u043f\u043e\u043d\u044f\u0442\u043d\u0435\u0435 \u0438 \u043f\u0440\u043e\u0437\u0440\u0430\u0447\u043d\u0435\u0435, \u0447\u0435\u043c \u0441\u043b\u043e\u0432\u0430 <i>\u2026 \u0438 \u0441\u0442\u0430\u043b \u043d\u0435\u0434\u043e\u0441\u044f\u0433\u0430\u0435\u043c \u043f\u043e\u0441\u043b\u0435 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438 99.10% \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432<\/i>. \u0418\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e, \u0447\u0442\u043e \u0438\u043c\u0435\u043d\u043d\u043e \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u0432\u043e\u0434\u0430 \u044d\u0442\u043e\u0433\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u043d\u0430\u0431\u043b\u044e\u0434\u0430\u043b\u0430\u0441\u044c \u0441\u0430\u043c\u0430\u044f \u0431\u043e\u043b\u044c\u0448\u0430\u044f \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u043d\u0430\u044f \u0443 \u043f\u0440\u043e\u0446\u0435\u043d\u0442\u0430 \u0437\u0430 \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e. \u042d\u0442\u043e \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u0432\u0435\u0434\u044c \u0432 \u0435\u0433\u043e \u043f\u043e\u043b\u044c\u0437\u0443 \u043f\u0435\u0440\u0435\u0440\u0438\u0441\u043e\u0432\u0430\u043b\u0438 \u0432 7 \u0440\u0430\u0437 \u0431\u043e\u043b\u044c\u0448\u0435, \u0447\u0435\u043c \u0432\u0432\u0435\u043b\u0438.<\/p>\n<h4>\u0420\u0435\u0448\u0430\u044e\u0449\u0430\u044f \u0447\u0435\u0442\u0432\u0451\u0440\u043a\u0430 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u0441\u0442\u0430\u0434\u0438\u044f fantastic four<\/h4>\n<p>  \u0412\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u0432\u043e\u0434\u0430 4 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u043d\u0430 \u0441\u0442\u0430\u0434\u0438\u0438 <em>fantastic four<\/em> \u043f\u043e\u043c\u0435\u043d\u044f\u043b\u0441\u044f \u043b\u0438\u0434\u0435\u0440 \u0433\u043e\u043b\u043e\u0441\u043e\u0432\u0430\u043d\u0438\u044f, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0431\u044b\u043b\u043e \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e \u043b\u044e\u0431\u043e\u043f\u044b\u0442\u043d\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u043d\u0430 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u044e\u044e \u043a\u0443\u0445\u043d\u044e. \u0414\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0438\u0437 \u0447\u0435\u0442\u044b\u0440\u0451\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u0439 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0439 \u0441\u0442\u0430\u0434\u0438\u0438 \u043d\u0430\u0445\u043e\u0434\u0438\u043c \u0440\u0435\u0448\u0435\u043d\u0438\u0435 SAT-\u0437\u0430\u0434\u0430\u0447\u0438 \u0442\u0430\u043a\u0438\u043c \u0436\u0435 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0442\u043e\u0440\u043d\u044b\u043c \u043f\u043e\u0438\u0441\u043a\u043e\u043c. \u041f\u0435\u0440\u0435\u0431\u043e\u0440\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e 7 \u043c\u0438\u043b\u043b\u0438\u0430\u0440\u0434\u043e\u0432 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439 \u043d\u0430\u0445\u043e\u0434\u0438\u043c 14 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u0439 (\u0430 \u0438\u043c\u0435\u043d\u043d\u043e 4+4+2+4 \u0432\u0435\u0442\u0432\u0435\u0439 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0434\u043b\u044f \u0447\u0435\u0442\u044b\u0440\u0451\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u0439 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0439 \u0441\u0442\u0430\u0434\u0438\u0438). <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0414\u043b\u0438\u043d\u043d\u044b\u0439 \u0432\u044b\u0432\u043e\u0434 \u0441\u043a\u0440\u0438\u043f\u0442\u0430: 14 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u0439, \u043a\u0430\u0436\u0434\u043e\u0435 \u0438\u0437 4 \u0440\u0435\u0448\u0435\u043d\u0438\u0439 kill \u0440\u0430\u0437\u0432\u0435\u0442\u0432\u043b\u044f\u0435\u0442\u0441\u044f<\/b><\/p>\n<div class=\"spoiler_text\">\n<pre> final  get_models final max=10  final 1. solution found:  final  enabled: 648 with 0 of fake paper  final  changed:  delta increased by 0(0 protocols)  final  --- dive deeper to kill  --- at 2019-03-13 13:56:42.669368    kill  get_models kill max=10    kill 1. solution found:    kill  enabled: P2829 with 1 of fake paper    kill  changed: 303, 304, 318, 328, 347, 354, 2812 delta increased by 3751(7 protocols)    kill  --- dive deeper to fantastic  --- at 2019-03-13 13:56:43.153626        fantastic  get_models fantastic max=10        fantastic 1. solution found:        fantastic  enabled: 2802, P2828, 2840, 2866 with 1 of fake paper        fantastic  changed: 2801, 2805, 2818, 2820, 2826, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 12097(12 protocols)        fantastic 2. solution found:        fantastic  enabled: 1912, 1916, P2838, P2847 with 2 of fake paper        fantastic  changed: 2801, 2820, 2826, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 10707(10 protocols)        fantastic  end fantastic at 2019-03-13 14:47:16.016131    kill 2. solution found:    kill  enabled: P2829 with 1 of fake paper    kill  changed: 304, 318, 328, 347, 2812, 2826 delta increased by 3751(6 protocols)    kill  --- dive deeper to fantastic  --- at 2019-03-13 14:47:24.146367        fantastic  get_models fantastic max=10        fantastic 1. solution found:        fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper        fantastic  changed: 303, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)        fantastic 2. solution found:        fantastic  enabled: 2802, P2828, 2840, 2866 with 1 of fake paper        fantastic  changed: 303, 354, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 12097(13 protocols)        fantastic 3. solution found:        fantastic  enabled: 1912, 1916, P2838, P2847 with 2 of fake paper        fantastic  changed: 303, 354, 2801, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 10707(11 protocols)        fantastic 4. solution found:        fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper        fantastic  changed: 354, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)        fantastic  end fantastic at 2019-03-13 16:06:58.112487    kill 3. solution found:    kill  enabled: P2829 with 1 of fake paper    kill  changed: 303, 304, 318, 328, 2812, 2826 delta increased by 3751(6 protocols)    kill  --- dive deeper to fantastic  --- at 2019-03-13 16:06:59.007196        fantastic  get_models fantastic max=10        fantastic 1. solution found:        fantastic  enabled: 1912, 1916, P2838, P2847 with 2 of fake paper        fantastic  changed: 347, 354, 2801, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 10707(11 protocols)        fantastic 2. solution found:        fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper        fantastic  changed: 354, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)        fantastic 3. solution found:        fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper        fantastic  changed: 347, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)        fantastic 4. solution found:        fantastic  enabled: 2802, P2828, 2840, 2866 with 1 of fake paper        fantastic  changed: 347, 354, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 12097(13 protocols)        fantastic  end fantastic at 2019-03-13 16:55:17.161744    kill 4. solution found:    kill  enabled: P2829 with 1 of fake paper    kill  changed: 304, 318, 328, 354, 2812, 2826 delta increased by 3751(6 protocols)    kill  --- dive deeper to fantastic  --- at 2019-03-13 16:55:18.475100        fantastic  get_models fantastic max=10        fantastic 1. solution found:        fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper        fantastic  changed: 303, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)        fantastic 2. solution found:        fantastic  enabled: 1912, 1916, P2838, P2847 with 2 of fake paper        fantastic  changed: 303, 347, 2801, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 10707(11 protocols)        fantastic 3. solution found:        fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper        fantastic  changed: 347, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)        fantastic 4. solution found:        fantastic  enabled: 2802, P2828, 2840, 2866 with 1 of fake paper        fantastic  changed: 303, 347, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 12097(13 protocols)        fantastic  end fantastic at 2019-03-13 17:58:13.976612    kill  end kill at 2019-03-13 17:58:17.370820  final  end final at 2019-03-13 17:58:17.511852 Changed before fantastic stage 0 [] Enabled before fantastic stage 39 ['2856', '2863', '201', '202', '204', '205', '206', '207', '208', '209', '211', '212', '213', '214', '216', '217', '218', '219', '220', '221', '222', 'P1904', 'P1915', '1918', '1919', 'P1923', 'P1944', '1947', '1961', 'P1966', 'P1968', '2809', '2813', '2823', 'P2846', '2849', 'P2858', '2859', 'P2862']<\/pre>\n<p>  <\/div>\n<\/div>\n<p>  \u0420\u0435\u0448\u0435\u043d\u0438\u044f \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:<\/p>\n<p>  \u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u044b \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432: (1917, 1932, 2812, P2819) \u0438\u043b\u0438 (2802, P2828, 2840, 2866) \u0438\u043b\u0438 (1912, 1916, P2838, P2847), \u0442\u043e \u0435\u0441\u0442\u044c 1 \u0438\u043b\u0438 2 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u044b \u0441 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u043d\u0438\u0435\u043c \u0434\u0430\u043d\u043d\u044b\u0445.<br \/>  \u0418\u0437\u043c\u0435\u043d\u0435\u043d\u044b \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432: <b>2801, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867<\/b> \u0438 \u0435\u0449\u0451 14 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439 \u0438\u0437 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0445 1-4 \u0438\u0437\u043c\u0435\u043d\u0451\u043d\u043d\u044b\u0445. <b>\u0418\u0437\u043c\u0435\u043d\u0435\u043d\u043e \u043c\u0438\u043d\u0438\u043c\u0443\u043c 10 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432<\/b> \u0432 \u0413\u0410\u0421 (\u0430 \u0438\u043c\u0435\u043d\u043d\u043e \u043e\u0442 10 \u0434\u043e 13). \u0415\u0441\u043b\u0438 \u043f\u0440\u043e\u0441\u0443\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 3 \u0441\u0442\u0430\u0434\u0438\u0438, \u0432\u044b\u0445\u043e\u0434\u0438\u0442, \u0447\u0442\u043e \u0437\u0430 \u0432\u0440\u0435\u043c\u044f \u0432\u0432\u043e\u0434\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445 6 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0431\u044b\u043b\u043e \u043e\u0442\u0440\u0435\u0434\u0430\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043e \u0432 \u0413\u0410\u0421 \u043e\u0442 17 \u0434\u043e 19 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 (\u0438\u0437 19 \u0432\u0441\u0435\u0433\u043e), \u0430 \u0438\u0437 \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0445 \u0437\u0430 \u044d\u0442\u0438 3 \u0441\u0442\u0430\u0434\u0438\u0438 6 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u043c\u0438 \u0431\u044b\u043b\u0438 \u0432\u0441\u0435\u0433\u043e 2 \u0438\u043b\u0438 3 (\u0438\u0437 \u043e\u0431\u0449\u0435\u0433\u043e \u0447\u0438\u0441\u043b\u0430 \u0432 18 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445).<\/p>\n<h4>\u041f\u0435\u0440\u0432\u044b\u0435 47 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u0441\u0442\u0430\u0434\u0438\u0438 silence \u0438 prepare<\/h4>\n<p>  \u0414\u043b\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0439 \u0441\u0442\u0430\u0434\u0438\u0438 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0432\u0430\u0436\u043d\u043e \u043d\u0435 \u043d\u0430\u0439\u0442\u0438 \u0432\u0441\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f, \u0430 \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u044c \u043d\u0430\u043b\u0438\u0447\u0438\u0435 \u0445\u043e\u0442\u044f \u0431\u044b \u043e\u0434\u043d\u043e\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0434\u0438\u0442\u044c \u0434\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0443\u044e \u0432\u0435\u0442\u043a\u0443 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432, \u0438\u043b\u0438 \u0436\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 (\u043f\u0435\u0440\u0435\u0431\u0440\u0430\u0432 \u0432\u0441\u0435), \u0447\u0442\u043e\u0431\u044b \u043e\u0442\u0441\u0435\u0447\u044c \u043f\u043e\u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0443\u044e \u0432\u0435\u0442\u043a\u0443.<\/p>\n<p>  \u041f\u043e\u0434\u043e\u0431\u0440\u0430\u0442\u044c 14 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438\u0437 \u043e\u0441\u0442\u0430\u0432\u0448\u0438\u0445\u0441\u044f 47 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0438\u0437 14 \u0440\u0435\u0448\u0435\u043d\u0438\u0439 \u0441\u0442\u0430\u0434\u0438\u0438 <i>fantastic<\/i> \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u0442\u0440\u0443\u0434\u043e\u0451\u043c\u043a\u043e. \u042d\u0442\u043e \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u043f\u0435\u0440\u0435\u0431\u043e\u0440\u0430 ~11 \u0442\u0440\u0438\u043b\u043b\u0438\u043e\u043d\u043e\u0432 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439, \u0442\u043e \u0435\u0441\u0442\u044c \u043d\u0430 3 \u043f\u043e\u0440\u044f\u0434\u043a\u0430 \u0441\u043b\u043e\u0436\u043d\u0435\u0435, \u0447\u0435\u043c \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0430\u044f \u0441\u0442\u0430\u0434\u0438\u044f. \u0415\u0441\u043b\u0438 3 \u0441\u0442\u0430\u0434\u0438\u0438 \u0441\u0447\u0438\u0442\u0430\u044e\u0442\u0441\u044f 4 \u0447\u0430\u0441\u0430 \u043d\u0430 \u043e\u0434\u043d\u043e\u043c \u044f\u0434\u0440\u0435, \u0442\u043e \u044d\u0442\u043e \u0443\u0436\u0435 \u0437\u0430\u0439\u043c\u0451\u0442 \u043f\u043e\u0447\u0442\u0438 2 \u043c\u0435\u0441\u044f\u0446\u0430 \u043d\u0430 \u043c\u043e\u0438\u0445 4 \u044f\u0434\u0440\u0430\u0445. \u042f \u0447\u0435\u0440\u0435\u0437 <a href=\"https:\/\/docs.python.org\/3\/library\/multiprocessing.html\">multiprocessing.Pool<\/a> \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u043b \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u0441 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435\u043c \u043f\u043e\u0438\u0441\u043a\u043e\u043c \u043b\u0438\u0448\u044c 1 \u0440\u0435\u0448\u0435\u043d\u0438\u044f, \u0438 \u0434\u043b\u044f \u0432\u0441\u0435\u0445 14 \u0438\u0437 14 \u0440\u0435\u0448\u0435\u043d\u0438\u0439 \u0441\u0442\u0430\u0434\u0438\u0438 <i>fantastic<\/i> \u0431\u044b\u043b\u043e \u043f\u043e\u043a\u0430\u0437\u0430\u043d\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0435 \u043a\u0430\u043a \u043c\u0438\u043d\u0438\u043c\u0443\u043c 1 \u0434\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0435\u0433\u043e \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0434\u043b\u044f <i>prepare<\/i>, \u0442\u043e \u0435\u0441\u0442\u044c \u0432\u0441\u0435 \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u044b\u0435 \u0440\u0430\u043d\u0435\u0435 \u0432\u0435\u0442\u043a\u0438 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0437\u0430\u0434\u0430\u0447\u0438 \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0434\u0438\u043b\u0438\u0441\u044c. \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0432 \u0442\u043e\u0447\u043a\u0435 <i>prepare<\/i> \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0440\u0435\u0448\u0430\u0435\u0442 \u0432\u0441\u044e \u0437\u0430\u0434\u0430\u0447\u0443, \u0442\u0430\u043a \u043a\u0430\u043a \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u0432 \u0442\u043e\u0447\u043a\u0435 <i>silence<\/i> \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u0438 \u0435\u0441\u043b\u0438 \u0438\u0437 47 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0432\u044b\u0431\u0440\u0430\u0442\u044c 14, \u044d\u0442\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u043c \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u0438 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 33 \u0443\u0447\u0430\u0441\u0442\u043a\u0430, \u0432\u043d\u0435\u0441\u0451\u043d\u043d\u044b\u0435 \u0432 \u0441\u0442\u0430\u0434\u0438\u0438 <i>silence<\/i>. \u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432\u0441\u0435\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432 \u0440\u0435\u0448\u0435\u043d\u0438\u0439, \u043a\u0430\u043a \u0438\u043c\u0435\u043d\u043d\u043e \u0432\u0432\u043e\u0434\u0438\u043b\u0438\u0441\u044c \u043f\u0435\u0440\u0432\u044b\u0435 47 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u0438\u0441\u043a\u0430\u0442\u044c \u043d\u0435 \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f, \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u043e\u0431\u0449\u0438\u0435 \u0447\u0430\u0441\u0442\u0438 \u0432\u0441\u0435\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u0439.<\/p>\n<h2>\u041a\u0430\u043a \u0432\u0441\u0451 \u0431\u044b\u043b\u043e<\/h2>\n<p>  \u0414\u0430\u0436\u0435 \u043d\u0435 \u0437\u043d\u0430\u044f \u0442\u043e\u0447\u043d\u043e, \u043a\u0430\u043a\u043e\u0439 \u0438\u0437 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0445 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432 \u0432\u0432\u043e\u0434\u0430 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438\u043c\u0435\u043b \u043c\u0435\u0441\u0442\u043e \u0432 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438, \u043c\u044b \u043e\u0434\u043d\u0430\u043a\u043e, \u043c\u043e\u0436\u0435\u043c \u0442\u043e\u0447\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u0433\u0440\u0430\u043d\u0438\u0446\u044b, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043b\u0435\u0436\u0438\u0442. \u041f\u0440\u043e\u0441\u0442\u043e \u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043a\u043e\u043d\u044a\u044e\u043d\u043a\u0446\u0438\u044e \u0432\u0441\u0435\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u0439 \u2014 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u043e\u0434\u043d\u043e\u0437\u043d\u0430\u0447\u043d\u0443\u044e \u0447\u0430\u0441\u0442\u044c. \u0421\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043e\u0441\u0442\u0430\u0432\u0448\u0435\u0435\u0441\u044f \u2014 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0433\u0440\u0430\u043d\u0438\u0446\u044b.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/qr\/bl\/qm\/qrblqm1n7_noog9m8tkabskjndm.png\"><\/p>\n<h2>\u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0430\u043d\u0430\u043b\u0438\u0437\u0430<\/h2>\n<p>  <\/p>\n<h3>1. \u0414\u0432\u0430 \u0440\u0430\u0437\u043d\u044b\u0445 \u043c\u0435\u0442\u043e\u0434\u0430 \u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0439 \u2014 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u044b<\/h3>\n<p>  \u041f\u0440\u043e\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u044f \u0441\u043f\u0435\u043a\u0442\u0440 \u0440\u0435\u0448\u0435\u043d\u0438\u0439, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0432\u044b\u0432\u043e\u0434 \u2014 \u0432 \u0441\u043a\u0440\u044b\u0442\u043e\u0439 \u0444\u0430\u0437\u0435 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u0432\u043e\u0434\u0430 \u043f\u0435\u0440\u0432\u044b\u0445 47 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0431\u044b\u043b\u043e \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u043e \u0432 \u0413\u0410\u0421 \u043e\u0442 0 \u0434\u043e 2 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438 \u0432\u0432\u0435\u0434\u0435\u043d\u043e \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 11 \u0438\u043b\u0438 12 (\u0442.\u043a. \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 \u0432\u043e \u0432\u0440\u0435\u043c\u044f final+kill+fantastic \u0432\u0432\u0435\u0434\u0435\u043d\u043e 2 \u0438\u043b\u0438 3, \u0430 \u0432\u0441\u0435\u0433\u043e \u0432\u0432\u0435\u0434\u0435\u043d\u043e 16). \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0434\u043e 07:03 \u0443\u0442\u0440\u0430 (98.77% \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0445) \u0431\u044b\u043b\u043e \u0432\u0432\u0435\u0434\u0435\u043d\u043e \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u043e \u0438\u0437 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 (13-14 \u0438\u0437 16), \u0430 \u043f\u043e\u0441\u043b\u0435, \u043d\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445 6 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430\u0445, \u0431\u044b\u043b\u043e \u0441\u0434\u0435\u043b\u0430\u043d\u043e \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u043e \u0438\u0437 \u043f\u0440\u0430\u0432\u043e\u043a \u0432 \u0413\u0410\u0421 (17-19 \u0438\u0437 19). <\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/1u\/kl\/x5\/1uklx5ffizr_rpier9yibj0fdq4.png\"><br \/>  <em>\u0420\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0434\u0432\u0443\u0445 \u0442\u0438\u043f\u043e\u0432 \u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u043f\u043e \u0441\u0442\u0430\u0434\u0438\u044f\u043c \u0432\u0432\u043e\u0434\u0430<\/em><\/p>\n<p>  \u041e\u0442\u0432\u0435\u0442 \u043d\u0430 \u0433\u043b\u0430\u0432\u043d\u044b\u0439 \u0432\u043e\u043f\u0440\u043e\u0441 \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u044f \u043f\u043e\u043b\u0443\u0447\u0435\u043d \u2014 <b>\u043c\u0435\u0442\u043e\u0434\u044b \u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u043b\u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u0430 \u043d\u0435 \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u044c\u043d\u043e<\/b>. \u0418 \u043b\u043e\u0433\u0438\u043a\u0430 \u043f\u043e\u0434\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442, \u0447\u0442\u043e \u043f\u0440\u0430\u0432\u0438\u0442\u044c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b \u0432 \u0413\u0410\u0421 \u043d\u0430\u0447\u0430\u043b\u0438 \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043e\u0434\u043d\u043e\u0433\u043e \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u043d\u0438\u044f \u043f\u0440\u043e\u0441\u0442\u043e \u043d\u0435 \u0445\u0432\u0430\u0442\u0438\u043b\u043e, \u0447\u0442\u043e\u0431\u044b \u0441\u043c\u0435\u043d\u0438\u0442\u044c \u043b\u0438\u0434\u0435\u0440\u0430. <\/p>\n<h3>2. \u0412\u043e\u0441\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043c \u043d\u0435\u0438\u0441\u043a\u0430\u0436\u0451\u043d\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0445\u043e\u0434\u0430 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432<\/h3>\n<p>  \u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u0434\u043b\u044f \u0442\u0440\u0451\u0445 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445 \u0442\u043e\u0447\u0435\u043a \u043c\u044b \u0442\u043e\u0447\u043d\u043e \u0437\u043d\u0430\u0435\u043c, \u0447\u0442\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u043b\u043e, \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u043b\u043e\u0436\u0438\u0442\u044c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u043f\u0435\u0440\u0432\u0438\u0447\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u043f\u043e \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u044b\u043c \u0432\u044b\u0448\u0435 \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u043c, \u0438 \u043c\u044b \u0442\u043e\u0447\u043d\u043e \u0443\u0437\u043d\u0430\u0435\u043c \u0434\u0430\u043d\u043d\u044b\u0435, \u043a\u0430\u043a\u0438\u0435 \u0431\u044b\u043b\u0438 \u0431\u044b \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0435 \u0438 \u0438\u0442\u043e\u0433\u043e\u0432\u044b\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b, \u0435\u0441\u043b\u0438 \u0431\u044b \u043d\u0435 \u0431\u044b\u043b\u043e \u0443\u043f\u043e\u043c\u044f\u043d\u0443\u0442\u044b\u0445 \u0434\u0432\u0443\u0445 \u0442\u0438\u043f\u043e\u0432 \u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0439. 13 \u0430\u043d\u043d\u0443\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0412\u043b\u0430\u0434\u0438\u0432\u043e\u0441\u0442\u043e\u043a\u0430 \u043f\u043e\u043c\u0435\u0441\u0442\u0438\u043c \u0432 \u043a\u043e\u043d\u0435\u0446, \u0447\u0442\u043e\u0431\u044b \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u0442\u044c \u043e\u0442\u043a\u043b\u043e\u043d\u0435\u043d\u0438\u0435 \u0440\u0435\u0430\u043b\u044c\u043d\u044b\u0445 \u043a\u0440\u0438\u0432\u044b\u0445 \u043e\u0442 \u043e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0445 \u043d\u0430 \u0443\u0447\u0430\u0441\u0442\u043a\u0435 \u0434\u043e \u043e\u0442\u043c\u0435\u0442\u043a\u0438 99.16% (\u043a \u0442\u043e\u043c\u0443 \u0436\u0435 \u0438\u0445 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u043b\u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u043c\u0438).<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/o2\/w5\/58\/o2w558wfmeawcjnk8ijpcgynlhk.png\"><br \/>  <em>\u0421\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 \u043e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u0432\u0432\u043e\u0434\u0430 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0433\u043e, <a href=\"https:\/\/plot.ly\/~ishukshin\/5\/\">\u0441\u0434\u0435\u043b\u0430\u043d\u043e \u0432 plot.ly<\/a><\/em><\/p>\n<p>  \u041d\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445 \u044d\u0442\u0430\u043f\u0430\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043d\u0430\u0439\u0434\u0435\u043d\u044b \u043e\u0434\u043d\u043e\u0437\u043d\u0430\u0447\u043d\u044b\u0435, \u0442\u0430\u043a \u0447\u0442\u043e \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 3 \u0442\u043e\u0447\u043a\u0438 \u043d\u0430 \u0433\u0440\u0430\u0444\u0438\u043a\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u044b \u0442\u043e\u0447\u043d\u043e. \u0423 \u0447\u0435\u0442\u0432\u0451\u0440\u0442\u043e\u0439 \u0442\u043e\u0447\u043a\u0438 (\u044d\u0442\u0430\u043f <i>fantastic<\/i>) 3 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0430 \u0440\u0435\u0448\u0435\u043d\u0438\u044f, \u0443 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430 \u0440\u0430\u0437\u0431\u0440\u043e\u0441 \u0446\u0438\u0444\u0440 \u043e\u0442 51.22% \u0438 \u0434\u043e 51.28%, \u0442\u043e \u0435\u0441\u0442\u044c \u0440\u0430\u0437\u0431\u0440\u043e\u0441 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0435\u0439 \u0434\u0430\u0436\u0435 \u043c\u0435\u043d\u044c\u0448\u0435 \u0440\u0430\u0437\u043c\u0435\u0440\u043e\u0432 \u0442\u043e\u0447\u043a\u0438. \u041f\u044f\u0442\u0443\u044e \u0442\u043e\u0447\u043a\u0443 \u044f \u0432\u0437\u044f\u043b \u0434\u043b\u044f \u043f\u0440\u0438\u043c\u0435\u0440\u0430 \u0438\u0437 \u043e\u0434\u043d\u043e\u0433\u043e \u0438\u0437 \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u044b\u0445 \u0440\u0435\u0448\u0435\u043d\u0438\u0439, \u043e\u043d\u0430 \u0441\u043e\u0432\u0435\u0440\u0448\u0435\u043d\u043d\u043e \u043d\u0435 \u043a\u043b\u044e\u0447\u0435\u0432\u0430\u044f, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0434\u043b\u044f \u0438\u043b\u043b\u044e\u0441\u0442\u0440\u0430\u0446\u0438\u0438 \u043f\u043e\u0434\u043e\u0439\u0434\u0451\u0442.<\/p>\n<h2>\u041f\u043e\u0434\u0440\u043e\u0431\u043d\u043e\u0441\u0442\u0438 \u0440\u0430\u0441\u0447\u0435\u0442\u0430 \u0438 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u0437\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u044f<\/h2>\n<p>  <\/p>\n<h4>\u041e\u0431\u044a\u0451\u043c \u043f\u0435\u0440\u0435\u0431\u043e\u0440\u0430<\/h4>\n<p>  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u041f\u0440\u043e\u0441\u0442\u043e\u0439 \u0440\u0430\u0441\u0447\u0451\u0442, \u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u0435\u0440\u0435\u0431\u0438\u0440\u0430\u0435\u0442\u0441\u044f \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439<\/b><\/p>\n<div class=\"spoiler_text\">19 \u0423\u0418\u041a\u043e\u0432 \u0432 \u0413\u0410\u0421 \u0438\u043c\u0435\u044e\u0442 \u043f\u043e 2 \u0432\u0435\u0440\u0441\u0438\u0438 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430, \u0437\u043d\u0430\u0447\u0438\u0442 \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0434\u043e\u0431\u0440\u0430\u0442\u044c, \u0441\u043a\u0430\u0436\u0435\u043c, \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439 \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0439, \u043f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043b\u043e\u0441\u044c \u043f\u0435\u0440\u0435\u0431\u0440\u0430\u0442\u044c 53*2^19 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439, \u0442\u043e \u0435\u0441\u0442\u044c 28 \u043c\u043b\u043d. \u042d\u0442\u043e\u0442 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u043e\u043a\u0430\u0437\u0430\u043b\u0441\u044f \u043e\u0431\u044b\u0447\u043d\u044b\u043c (\u043d\u0435 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u043c), \u0437\u043d\u0430\u0447\u0438\u0442, \u0447\u0442\u043e\u0431\u044b \u0432\u044b\u044f\u0441\u043d\u0438\u0442\u044c \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0439 \u043f\u0440\u0435\u0434\u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u043c, \u043f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043b\u0441\u044f \u043f\u0435\u0440\u0435\u0431\u043e\u0440 52*2^19 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439, \u0442\u043e \u0435\u0441\u0442\u044c 27\u043c\u043b\u043d. \u0414\u043b\u044f \u043f\u043e\u0434\u0431\u043e\u0440\u0430 \u043f\u0440\u0435\u0434\u0448\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0435\u0439 \u043f\u0440\u0435\u0434\u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u043c\u0443 \u0447\u0435\u0442\u0432\u0451\u0440\u043a\u0438 \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u043f\u043e\u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043b\u0441\u044f \u043f\u0435\u0440\u0435\u0431\u043e\u0440 \u0447\u0438\u0441\u043b\u0430 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439, \u0440\u0430\u0441\u0441\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u043c\u043e\u0433\u043e \u043f\u043e \u0444\u043e\u0440\u043c\u0443\u043b\u0435<\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/7d9\/b38\/f63\/7d9b38f63331299444a6cb5d92a8c62f.svg\" alt=\"$C^{4}_{51} \\cdot (2^{12} + 2^{13} + 2^{13} + 2^{13}) = C^{4}_{51} \\cdot 2^{12} \\cdot 7 = \\frac{51! \\cdot 2^{12}}{4! (51-4)!} \\cdot 7 \\approx 7 \\space \u043c\u0438\u043b\u043b\u0438\u0430\u0440\u0434\u043e\u0432 $\" data-tex=\"display\"><\/math><\/p>\n<p>  \u041f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0439 \u0448\u0430\u0433 \u043f\u0435\u0440\u0435\u0431\u043e\u0440\u0430 \u2014 \u044d\u0442\u043e \u0432\u044b\u0431\u043e\u0440\u043a\u0430 14 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438\u0437 \u043e\u0441\u0442\u0430\u0432\u0448\u0438\u0445\u0441\u044f 47; \u0447\u0430\u0441\u0442\u044c \u0438\u0437 \u044d\u0442\u0438\u0445 14 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u043b\u0430 \u0442\u0430\u043a\u0436\u0435 \u043f\u0435\u0440\u0435\u0431\u043e\u0440 \u0432\u0435\u0440\u0441\u0438\u0439 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432. \u041b\u0435\u0433\u043a\u043e \u043f\u043e\u0434\u0441\u0447\u0438\u0442\u0430\u0442\u044c, \u0447\u0442\u043e \u0434\u043b\u044f \u043f\u043e\u043b\u043d\u043e\u0433\u043e \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f \u043f\u0435\u0440\u0435\u0431\u0440\u0430\u0442\u044c \u043f\u043e\u0440\u044f\u0434\u043a\u0430 11 \u0442\u0440\u0438\u043b\u043b\u0438\u043e\u043d\u043e\u0432 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0439:<\/p>\n<p><math><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/formulas\/44a\/6af\/a8b\/44a6afa8b259ed37b27f6c1c3182a8df.svg\" alt=\"$C^{14}_{47} \\cdot 32 = \\frac{47!}{14! (47-14)!} \\cdot 32 \\approx 11 \\space \u0442\u0440\u0438\u043b\u043b\u0438\u043e\u043d\u043e\u0432$\" data-tex=\"display\"><\/math><\/p>\n<p>  <\/div>\n<\/div>\n<p>  <\/p>\n<h4>\u0423\u0447\u0430\u0441\u0442\u043a\u0438 \u0410\u0440\u0441\u0435\u043d\u044c\u0435\u0432\u0430<\/h4>\n<p>  \u0423\u0447\u0438\u0442\u044b\u0432\u0430\u044f, \u0447\u0442\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u0442\u0435\u043b\u044c \u0426\u0418\u041a \u0428\u0435\u0432\u0447\u0435\u043d\u043a\u043e <a href=\"https:\/\/primamedia.ru\/news\/735537\/\">\u0437\u0430\u044f\u0432\u043b\u044f\u043b<\/a>, \u0447\u0442\u043e \u0441\u043c\u0435\u043d\u0430 \u043b\u0438\u0434\u0435\u0440\u0430 \u0433\u043e\u043b\u043e\u0441\u043e\u0432\u0430\u043d\u0438\u044f \u0431\u044b\u043b\u0430 \u043e\u0431\u0443\u0441\u043b\u043e\u0432\u043b\u0435\u043d\u0430 \u0432\u0432\u043e\u0434\u043e\u043c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438\u0437 \u0434\u0430\u043b\u0451\u043a\u043e\u0433\u043e \u0410\u0440\u0441\u0435\u043d\u044c\u0435\u0432\u0430, \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u043e\u0442\u043c\u0435\u0442\u0438\u0442\u044c, \u0447\u0442\u043e \u043d\u0438 \u043e\u0434\u043d\u043e\u0433\u043e \u0438\u0437 19 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0410\u0440\u0441\u0435\u043d\u044c\u0435\u0432\u0430, \u0432\u0432\u043e\u0434\u0438\u043c\u044b\u0445 \u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0435 \u0447\u0430\u0441\u044b, \u043d\u0435\u0442 \u0432 \u0447\u0438\u0441\u043b\u0435 \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0439 \u0448\u0435\u0441\u0442\u0451\u0440\u043a\u0438. \u0422\u043e \u0435\u0441\u0442\u044c \u0432\u0432\u043e\u0434\u0438\u043b\u0438\u0441\u044c \u043e\u043d\u0438 \u043d\u0430 \u043f\u0435\u0440\u0432\u044b\u0445 \u0441\u043a\u0440\u044b\u0442\u044b\u0445 \u044d\u0442\u0430\u043f\u0430\u0445, \u0432 \u0447\u0438\u0441\u043b\u0435 47 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432. \u0411\u043e\u043b\u0435\u0435 \u0442\u043e\u0433\u043e \u2014 \u043d\u0430 \u043a\u0430\u0436\u0434\u043e\u043c \u0438\u0437 \u044d\u0442\u0438\u0445 19 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u043f\u043e\u0431\u0435\u0434\u0438\u043b \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442, \u0442\u0430\u043a \u0447\u0442\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0438\u0437 \u0410\u0440\u0441\u0435\u043d\u044c\u0435\u0432\u0430 \u043d\u0438\u043a\u0430\u043a \u043d\u0435 \u043c\u043e\u0433\u043b\u0438 \u043f\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u043a \u0441\u043c\u0435\u043d\u0435 \u043b\u0438\u0434\u0435\u0440\u0430. \u0412 \u043e\u0431\u0449\u0435\u043c, \u044d\u0442\u043e \u0431\u044b\u043b\u0438 \u0441\u043b\u043e\u0432\u0430 \u0434\u043b\u044f \u0442\u0435\u043b\u0435\u0437\u0440\u0438\u0442\u0435\u043b\u0435\u0439.<\/p>\n<h4>\u0424\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0430\u044f \u043e\u0442\u043c\u0435\u043d\u0430 \u0432\u044b\u0431\u043e\u0440\u043e\u0432 \u043d\u0430 13 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0412\u043b\u0430\u0434\u0438\u0432\u043e\u0441\u0442\u043e\u043a\u0430<\/h4>\n<p>  \u041d\u0430 \u0441\u0430\u043c\u043e\u043c \u0434\u0435\u043b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u0432\u0441\u0435\u0445 13 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0421\u043e\u0432\u0435\u0442\u0441\u043a\u043e\u0433\u043e \u0440\u0430\u0439\u043e\u043d\u0430 \u0431\u044b\u043b\u0438 \u0432\u0432\u0435\u0434\u0435\u043d\u044b \u0432 \u0413\u0410\u0421 \u0412\u044b\u0431\u043e\u0440\u044b \u0443\u0436\u0435 <a href=\"https:\/\/www.facebook.com\/roman.udot\/posts\/2370261749670582?__tn__=K-R\">\u0432 04:30 \u0443\u0442\u0440\u0430<\/a>, \u0447\u0442\u043e \u043f\u043e\u0434\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u043c \u0432\u0432\u043e\u0434\u0430 \u0434\u0430\u043d\u043d\u044b\u0445. \u0422\u0430\u043a\u0436\u0435 \u0435\u0441\u0442\u044c \u0432\u0438\u0434\u0435\u043e\u0441\u044a\u0451\u043c\u043a\u0430 \u0438\u0437 \u0422\u0418\u041a, \u0433\u0434\u0435 <a href=\"https:\/\/www.youtube.com\/watch?v=g-BKvCFwJZM&amp;feature=youtu.be&amp;t=859\">\u0434\u0430\u043d\u043d\u044b\u0435 \u044d\u0442\u0438\u0445 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0443\u0436\u0435 \u0432\u043d\u0435\u0441\u0435\u043d\u044b \u0432 \u0441\u0432\u043e\u0434\u043d\u0443\u044e \u0442\u0430\u0431\u043b\u0438\u0446\u0443 \u043d\u0430 \u0441\u0442\u0435\u043d\u0435<\/a>, \u0438 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442 \u0418\u0449\u0435\u043d\u043a\u043e \u0440\u0443\u0433\u0430\u0435\u0442\u0441\u044f \u043f\u043e \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u0443 \u0441 \u043f\u0440\u0435\u0434\u0441\u0435\u0434\u0430\u0442\u0435\u043b\u0435\u043c, \u0447\u0442\u043e \u0442\u043e\u0442 \u043d\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u0435\u0442 \u0434\u0430\u043d\u043d\u044b\u0435. \u0417\u0430\u0442\u0435\u043c \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u041c\u0427\u0421. \u0417\u0430\u0442\u0435\u043c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u043f\u043e\u0432\u0442\u043e\u0440\u043d\u043e\u0433\u043e \u0432\u0432\u043e\u0434\u0430. \u0422\u0443\u0442 \u0432\u0441\u0451 \u043f\u0440\u043e\u0441\u0442\u043e, \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u0430\u0440\u0438\u0441\u0442\u043e\u0442\u0435\u043b\u0435\u0432\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u0438. \u0414\u043e 4:30 \u0443\u0442\u0440\u0430 \u0432\u0441\u0435 13 \u0432\u0432\u0435\u043b\u0438 (<a href=\"http:\/\/www.primorsk.vybory.izbirkom.ru\/region\/primorsk?action=show&amp;root=254008013&amp;tvd=22520001509529&amp;vrn=22520001508349&amp;prver=0&amp;pronetvd=null&amp;region=25&amp;sub_region=25&amp;type=234&amp;vibid=22520001509529&amp;%76ersion=1\">\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, 813<\/a>), \u043d\u043e \u043d\u0435 \u043f\u043e\u043c\u0435\u043d\u044f\u043b\u0438 \u0441\u0442\u0430\u0442\u0443\u0441 \u043d\u0430 \u00ab\u043e\u0434\u043e\u0431\u0440\u0435\u043d\u043e\u00bb. \u0417\u0430\u0442\u0435\u043c \u0447\u0435\u0440\u0435\u0437 \u0434\u0435\u043d\u044c \u0432\u0432\u0435\u043b\u0438 \u0434\u043b\u044f \u043d\u0438\u0445 <a href=\"http:\/\/www.primorsk.vybory.izbirkom.ru\/region\/primorsk?action=show&amp;root=254008013&amp;tvd=22520001509529&amp;vrn=22520001508349&amp;prver=0&amp;pronetvd=null&amp;region=25&amp;sub_region=25&amp;type=234&amp;vibid=22520001509529&amp;%76ersion=0\">\u0432\u0442\u043e\u0440\u043e\u0439 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b, \u043f\u0443\u0441\u0442\u043e\u0439<\/a>, \u0438 \u0442\u043e\u0433\u0434\u0430 \u0441\u0440\u0430\u0437\u0443 \u0443 \u0432\u0441\u0435\u0445 13 \u043e\u0434\u043e\u0431\u0440\u0438\u043b\u0438 \u0441\u0442\u0430\u0442\u0443\u0441, \u0432\u044b\u0433\u0440\u0443\u0437\u0438\u0432 \u0442\u0435\u043c \u0441\u0430\u043c\u044b\u043c \u0432 \u043f\u0430\u0431\u043b\u0438\u043a \u043f\u0443\u0441\u0442\u043e\u0439 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b. <\/p>\n<h4>\u041a\u0442\u043e \u043f\u0440\u0438\u043a\u0440\u044b\u0432\u0430\u043b<\/h4>\n<p>  \u041e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u043e \u043e\u0431\u044a\u044f\u0432\u043b\u0435\u043d\u043e \u0438 \u0426\u0418\u041a, \u0438 \u041a\u0440\u0430\u0439\u0438\u0437\u0431\u0438\u0440\u043a\u043e\u043c\u043e\u043c, \u0447\u0442\u043e \u043f\u0440\u0438\u0447\u0438\u043d\u0430 \u043e\u0442\u043c\u0435\u043d\u044b \u0432\u044b\u0431\u043e\u0440\u043e\u0432 \u2014 \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u044c \u0432\u043e\u043b\u044e \u0438\u0437\u0431\u0438\u0440\u0430\u0442\u0435\u043b\u0435\u0439 \u043d\u0430 13 \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u0445 \u0421\u043e\u0432\u0435\u0442\u0441\u043a\u043e\u0433\u043e \u0440\u0430\u0439\u043e\u043d\u0430 \u0412\u043b\u0430\u0434\u0438\u0432\u043e\u0441\u0442\u043e\u043a\u0430, \u0445\u043e\u0442\u044f \u044d\u0442\u0430 \u0432\u043e\u043b\u044f \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u0430 \u0438 \u0434\u0430\u0436\u0435 \u0432\u043d\u0435\u0441\u0435\u043d\u0430 \u0432 \u0413\u0410\u0421 \u0412\u044b\u0431\u043e\u0440\u044b. \u0417\u0430 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0447\u0430\u0441\u043e\u0432 \u0434\u043e \u043e\u0442\u043c\u0435\u043d\u044b \u0432\u044b\u0431\u043e\u0440\u043e\u0432 \u0441 \u0441\u0430\u0439\u0442\u0430 \u0426\u0418\u041a \u0431\u044b\u043b\u0430 \u043f\u0435\u0440\u0435\u043a\u0440\u044b\u0442\u0430 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c \u043f\u0435\u0440\u0432\u0438\u0447\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 (\u043f\u043e \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u043c \u0441\u0441\u044b\u043b\u043a\u0430\u043c) \u0432 \u0442\u043e\u043c \u0447\u0438\u0441\u043b\u0435 \u043f\u043e \u044d\u0442\u0438\u043c 13 \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u043c (\u0441\u0441\u044b\u043b\u043a\u0438 \u0432\u044b\u0434\u0430\u044e\u0442 \u043e\u0448\u0438\u0431\u043a\u0443 404). \u041f\u043e \u0437\u0430\u043a\u043e\u043d\u0443 \u0413\u0410\u0421 \u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0441\u044f \u0438\u043c\u0435\u043d\u043d\u043e \u043a \u0426\u0418\u041a \u0438 <a href=\"http:\/\/www.cikrf.ru\/about\/organizations\/fci.php\">\u0424\u0426\u0418 \u043f\u0440\u0438 \u043d\u0451\u043c<\/a>, \u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e, \u0438\u043c\u0435\u043d\u043d\u043e <a href=\"https:\/\/www.youtube.com\/watch?v=D0Llb9i5jq0\">\u0426\u0418\u041a \u0438 \u043f\u0440\u0438\u043a\u0440\u044b\u043b\u0430 \u0434\u043e\u0441\u0442\u0443\u043f<\/a>. <\/p>\n<h2>\u0413\u043b\u0430\u0432\u043d\u044b\u0435 \u0432\u044b\u0432\u043e\u0434\u044b<\/h2>\n<p>  <\/p>\n<ol>\n<li>\u041f\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430\u043c \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u044f \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0438\u0442\u044c, \u0447\u0442\u043e \u0432 \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u0413\u0410\u0421 \u0412\u044b\u0431\u043e\u0440\u044b \u0443 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 <b>\u043c\u0438\u043d\u0438\u043c\u0443\u043c 3 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f<\/b>. \u042d\u0442\u043e \u043f\u0435\u0440\u0432\u0438\u0447\u043d\u044b\u0439 \u0432\u0432\u043e\u0434 (\u043f\u0443\u0431\u043b\u0438\u0447\u043d\u043e \u043d\u0435 \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u0435\u0442\u0441\u044f \u043d\u0438\u0433\u0434\u0435, \u0442\u0430\u043a \u0441\u0435\u0431\u044f \u0432\u0435\u043b\u0438 13 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 \u0412\u043b\u0430\u0434\u0438\u0432\u043e\u0441\u0442\u043e\u043a\u0430 \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u0441\u043b\u0435 \u0438\u0445 \u0432\u0432\u043e\u0434\u0430 \u0432 \u0413\u0410\u0421), \u043e\u0434\u043e\u0431\u0440\u0435\u043d\u043d\u044b\u0439 \u0432\u0432\u043e\u0434 (\u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u0435\u0442\u0441\u044f \u043a\u0430\u043a \u0441\u0443\u043c\u043c\u0430\u0440\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u0432 \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u0438 \u0426\u0418\u041a), \u0438 \u0435\u0441\u0442\u044c \u0444\u0438\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u043e\u0434\u043e\u0431\u0440\u0435\u043d\u0438\u0435, \u043f\u043e\u0441\u043b\u0435 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u0435\u0442\u0441\u044f \u043d\u0430 \u0441\u0430\u0439\u0442\u0435 izbirkom.ru.<\/li>\n<li>\u0412\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u0432\u043e\u0434\u0430 4 \u043a\u043b\u044e\u0447\u0435\u0432\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u043f\u043e\u043c\u0435\u043d\u044f\u0432\u0448\u0438\u0445 \u043b\u0438\u0434\u0435\u0440\u0430, \u0432 \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u0413\u0410\u0421 \u0412\u044b\u0431\u043e\u0440\u044b \u0431\u044b\u043b\u043e \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u044b \u0434\u0430\u043d\u043d\u044b\u0435 \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 <b>: 2801, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867<\/b> \u0438 \u0435\u0449\u0451 1-4 \u0443\u0436\u0435 \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u0430 \u0438\u0437 4 \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0445 1 \u0438\u043b\u0438 2 \u0431\u044b\u043b\u0438 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u043c\u0438. \u041f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u043d\u0438\u0435\u043c \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0443 \u043e\u0442 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u043e\u0432 \u0443\u0431\u0430\u0432\u0438\u043b\u0438 \u0431\u043e\u043b\u044c\u0448\u0435 \u0433\u043e\u043b\u043e\u0441\u043e\u0432, \u0447\u0435\u043c \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u0438 \u0432\u0432\u043e\u0434\u043e\u043c 4 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043d\u0430 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0434\u0438\u0438 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u0418\u0449\u0435\u043d\u043a\u043e \u0443\u043c\u0435\u043d\u044c\u0448\u0438\u043b\u043e\u0441\u044c \u043d\u0430 <b>5<\/b> \u0433\u043e\u043b\u043e\u0441\u043e\u0432 (\u0447\u0442\u043e \u0432\u044b\u0437\u0432\u0430\u043b\u043e \u0440\u0435\u0437\u043a\u0438\u0439 \u043e\u0442\u043a\u043b\u0438\u043a \u043e\u0431\u0449\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0441\u0442\u0438).<\/li>\n<li>\u041f\u0440\u0435\u0434\u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u043c \u0431\u044b\u043b \u0432\u0432\u0435\u0434\u0451\u043d \u0423\u0418\u041a <b>2829<\/b> \u0441 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u043d\u0438\u0435\u043c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u0432 \u043f\u043e\u043b\u044c\u0437\u0443 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0430.<\/li>\n<li>\u041e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u0441 \u0432\u0432\u043e\u0434\u043e\u043c \u044d\u0442\u043e\u0433\u043e \u043f\u0440\u0435\u0434\u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0433\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430 \u0431\u044b\u043b\u0438 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u044b 6 \u0438\u043b\u0438 7 \u0440\u0430\u043d\u0435\u0435 \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0445 \u0432 \u0413\u0410\u0421 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u0430 \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u0432 <b>304, 318, 328, 2812<\/b> \u0438 \u0435\u0449\u0451 2 \u0438\u043b\u0438 3 \u0434\u0440\u0443\u0433\u0438\u0445.<\/li>\n<li>\u041f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u043c \u043e\u0434\u043e\u0431\u0440\u0435\u043d\u043d\u044b\u043c \u0443\u0447\u0430\u0441\u0442\u043a\u043e\u043c \u0441\u0442\u0430\u043b \u0423\u0418\u041a <b>648<\/b>. \u041e\u0431\u044b\u0447\u043d\u044b\u0439 \u0443\u0447\u0430\u0441\u0442\u043e\u043a \u0441 \u043d\u0435\u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u043c \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u043c.<\/li>\n<li>\u041d\u0430 \u043c\u043e\u043c\u0435\u043d\u0442 \u0432\u0432\u043e\u0434\u0430 \u0432 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 98.77% \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 (\u0442.\u0435. \u0432\u0441\u0435\u0445, \u043a\u0440\u043e\u043c\u0435 6 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445) \u0431\u044b\u043b\u043e \u0432\u0432\u0435\u0434\u0435\u043d\u043e \u043c\u0438\u043d\u0438\u043c\u0443\u043c 15 \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438\u0437 18 \u0438 \u043d\u0435 \u0431\u043e\u043b\u0435\u0435 2 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0431\u044b\u043b\u0438 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u044b \u0432 \u0413\u0410\u0421.<\/li>\n<li>\u0412\u043e \u0432\u0440\u0435\u043c\u044f \u0432\u0432\u043e\u0434\u0430 \u0432 \u0413\u0410\u0421 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445 6 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0431\u044b\u043b\u043e \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u043e \u043d\u0435 \u043c\u0435\u043d\u0435\u0435 17 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432, \u0442\u043e \u0435\u0441\u0442\u044c \u0434\u043e \u044d\u0442\u043e\u0433\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043b\u0438 \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u043d\u0438\u0435, \u0430 \u043f\u043e\u0441\u043b\u0435 \u2014 \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u0443\u0436\u0435 \u0432\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0445. <b>\u041f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u043d\u0438\u044f \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u043d\u0435 \u0445\u0432\u0430\u0442\u0438\u043b\u043e, \u0447\u0442\u043e\u0431\u044b \u0441\u043c\u0435\u043d\u0438\u0442\u044c \u043f\u043e\u0431\u0435\u0434\u0438\u0442\u0435\u043b\u044f, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u043d\u0430\u0447\u0430\u043b\u0438 \u043f\u0440\u0430\u0432\u0438\u0442\u044c \u0432 \u0413\u0410\u0421<\/b>.<\/li>\n<li>\u0412 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043d\u0430 \u0432\u044b\u0431\u043e\u0440\u0430\u0445 \u043f\u043e\u0431\u0435\u0434\u0438\u043b \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442 \u0441 \u0437\u0430\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u043c 51% \u043f\u0440\u043e\u0442\u0438\u0432 46%<\/li>\n<\/ol>\n<p>  <\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u041f\u0440\u043e\u0447\u0438\u0435 \u0432\u044b\u0432\u043e\u0434\u044b<\/b><\/p>\n<div class=\"spoiler_text\">\n<h2>\u041f\u0440\u043e\u0447\u0438\u0435 \u0432\u044b\u0432\u043e\u0434\u044b<\/h2>\n<p>  <\/p>\n<ol>\n<li>\u041e\u0442\u043c\u0435\u043d\u0430 \u0432\u044b\u0431\u043e\u0440\u043e\u0432 \u0431\u044b\u043b\u0430 \u0442\u043e\u0436\u0435 \u0441\u0444\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u0430 (\u0438\u043d\u043d\u043e\u0432\u0430\u0446\u0438\u044f).<\/li>\n<li>\u0414\u0435\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435 \u043d\u0430 \u0441\u0430\u0439\u0442\u0435 \u0426\u0418\u041a \u043d\u0435 \u043e\u0431\u043d\u043e\u0432\u043b\u044f\u043b\u0438\u0441\u044c \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u0432 \u043c\u043e\u043c\u0435\u043d\u0442 \u0432\u0432\u043e\u0434\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0438\u0445 53 (3.5%) \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438\u0437\u0431\u0438\u0440\u043a\u043e\u043c\u044b \u043f\u044b\u0442\u0430\u043b\u0438\u0441\u044c \u0441\u043a\u0440\u044b\u0442\u044c \u043e\u0442 \u043f\u043e\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0438\u0445 \u0433\u043b\u0430\u0437 \u0441\u0432\u043e\u0438 \u043f\u0440\u0435\u0441\u0442\u0443\u043f\u043d\u044b\u0435 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u044f.<\/li>\n<\/ol>\n<p>  \u041a\u0442\u043e \u0438\u043c\u0435\u043d\u043d\u043e \u044d\u0442\u043e \u0432\u0441\u0451 \u0434\u0435\u043b\u0430\u043b \u2014 \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442 \u0441\u0443\u0434, \u0441\u043f\u0438\u0441\u043e\u043a \u0443\u0447\u0430\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0445 \u043a\u043e\u043c\u0438\u0441\u0441\u0438\u0439 \u0443\u0436\u0435 \u0434\u0430\u0432\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d, \u043e\u0442 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0432\u0440\u0430\u0447\u0435\u0439-\u0443\u0447\u0438\u0442\u0435\u043b\u0435\u0439 \u0434\u043e \u041f\u0430\u043c\u0444\u0438\u043b\u043e\u0432\u043e\u0439, \u0441\u043f\u0438\u0441\u043e\u043a \u043f\u043e\u0434\u0441\u0443\u0434\u0438\u043c\u044b\u0445 \u0441\u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0431\u0443\u0434\u0435\u0442 \u043b\u0435\u0433\u043a\u043e, \u043d\u0443\u0436\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u0437\u044f\u0442\u044c \u0441\u043e\u0441\u0442\u0430\u0432\u044b 54 \u043a\u043e\u043c\u0438\u0441\u0441\u0438\u0439 (48 \u0423\u0418\u041a, 4 \u0422\u0418\u041a, 1 \u041a\u0418\u041a, 1 \u0426\u0418\u041a) \u0438 \u0432\u044b\u0447\u0435\u0440\u043a\u043d\u0443\u0442\u044c \u0438\u043c\u0435\u043d\u0430 \u043d\u0435\u0432\u0438\u043d\u043e\u0432\u043d\u044b\u0445. \u041d\u043e \u044d\u0442\u043e \u0443\u0436\u0435 \u0442\u0435\u043c\u0430 \u043d\u0435 \u0434\u043b\u044f \u0445\u0430\u0431\u0440\u0430.  <\/div>\n<\/div>\n<p>  <\/p>\n<h4>\u0421\u043f\u0430\u0441\u0438\u0431\u043e \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0435<\/h4>\n<p>  \u0422\u043e, \u0447\u0442\u043e \u0432 \u0420\u043e\u0441\u0441\u0438\u0438 \u0432\u044b\u0431\u043e\u0440\u044b \u043f\u043e\u0434\u0434\u0435\u043b\u044b\u0432\u0430\u044e\u0442 \u043c\u0430\u0441\u0441\u043e\u0432\u043e, \u0438 \u044d\u0442\u043e \u043b\u0435\u0433\u043a\u043e \u0432\u0438\u0434\u0435\u0442\u044c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043f\u0440\u043e\u0441\u0442\u0435\u0439\u0448\u0435\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438, \u0441 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u0441\u043f\u0440\u0430\u0432\u0438\u0442\u0441\u044f \u0434\u0430\u0436\u0435 \u0448\u043a\u043e\u043b\u044c\u043d\u0438\u043a, \u0443\u0436\u0435 \u0434\u0430\u0432\u043d\u043e \u043d\u0435 \u043d\u043e\u0432\u043e\u0441\u0442\u044c. \u0424\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u044b \u043f\u0440\u0438 \u044d\u0442\u043e\u043c \u043e\u0442\u043b\u0438\u0447\u043d\u043e \u0443\u043c\u0435\u044e\u0442 \u0434\u0435\u043b\u0430\u0442\u044c \u00ab\u043c\u043d\u043e\u0433\u043e\u0445\u043e\u0434\u043e\u0432\u043e\u0447\u043a\u0438\u00bb, \u043a\u043e\u0433\u0434\u0430 \u043f\u0440\u0435\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442\u0441\u044f \u0432 2-3 \u0448\u0430\u0433\u0430, \u044d\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442 \u043d\u0435\u043e\u0447\u0435\u0432\u0438\u0434\u043d\u044b\u043c \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u0434\u043b\u044f \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u043b\u044e\u0434\u0435\u0439, \u0447\u0442\u043e \u0432\u044b\u0431\u043e\u0440\u044b \u043f\u043e\u0434\u0434\u0435\u043b\u0430\u043d\u044b. <\/p>\n<p>  \u0424\u0430\u043b\u044c\u0441\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u043b\u0435\u0433\u043a\u043e \u0432\u0438\u0434\u043d\u044b \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d\u043d\u044b\u043c \u043b\u044e\u0434\u044f\u043c, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0443 \u043f\u0440\u0435\u0441\u0442\u0443\u043f\u043d\u0438\u043a\u043e\u0432 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u0441\u043e \u0437\u043d\u0430\u043d\u0438\u044f\u043c\u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438 \u0438 \u0441 \u043a\u043e\u043e\u0440\u0434\u0438\u043d\u0430\u0446\u0438\u0435\u0439 \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0439 \u0438\u0445 \u0430\u0440\u043c\u0438\u0438, \u0442\u0430\u043a \u0447\u0442\u043e \u043e\u043d\u0438 \u043f\u043e\u0441\u0442\u043e\u044f\u043d\u043d\u043e \u0441\u043e\u0432\u0435\u0440\u0448\u0430\u044e\u0442 \u0433\u043b\u0443\u043f\u044b\u0435 \u043e\u0448\u0438\u0431\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u0438\u043e\u0442\u043a\u0440\u044b\u0432\u0430\u044e\u0442 \u043e\u043a\u043d\u043e \u0432 \u044d\u0442\u043e\u0442 \u0443\u0434\u0438\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u0440\u0435\u0441\u0442\u0443\u043f\u043d\u044b\u0439 \u043c\u0438\u0440, \u0440\u043e\u0436\u0434\u0430\u044f \u043f\u043e\u0442\u043e\u043a\u0438 \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0437\u0430\u0442\u0435\u043c \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u043e \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u044c \u0443\u0447\u0451\u043d\u044b\u043c \u0438 \u043f\u0440\u043e\u0441\u0442\u044b\u043c \u0438\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044f\u043c \ud83d\ude42 \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0430\u044f \u043c\u043e\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u0442\u043e\u0436\u0435 \u043a\u0430\u0441\u0430\u043b\u0430\u0441\u044c <a href=\"https:\/\/habr.com\/ru\/post\/358790\/\">\u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u0441 \u0432\u044b\u0431\u043e\u0440\u043e\u0432<\/a>.<\/p>\n<div class=\"spoiler\"><b class=\"spoiler_title\">\u0418\u0441\u0442\u043e\u0447\u043d\u0438\u043a\u0438 \u0434\u0430\u043d\u043d\u044b\u0445, \u043f\u0440\u0443\u0444\u043b\u0438\u043d\u043a\u0438 \u043d\u0430 \u0434\u0430\u043d\u043d\u044b\u0435<\/b><\/p>\n<div class=\"spoiler_text\">\u0421\u043a\u0440\u0438\u043d\u0448\u043e\u0442\u044b \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 <a href=\"https:\/\/kireev.livejournal.com\/1488305.html\">kireev.livejournal.com<\/a><br \/>  \u041e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043e 97.87% \u0431\u044b\u043b\u043e \u0432 04:10 <a href=\"https:\/\/newdaynews.ru\/election\/645181.html\">newdaynews.ru<\/a><br \/>  \u041e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043e 98.77% \u0431\u044b\u043b\u043e \u0432 07:03 <a href=\"https:\/\/twitter.com\/Artem_Prokofiev\/status\/1041432497693835264\">\u0442\u0432\u0438\u0442\u0442\u0435\u0440<\/a><br \/>  \u041e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043e 99.03% \u0431\u044b\u043b\u043e \u0432 07:07 <a href=\"https:\/\/twitter.com\/StaPetrov\/status\/1041433400740114432\">\u0442\u0432\u0438\u0442\u0442\u0435\u0440<\/a><br \/>  \u041e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043e 99.10% \u0431\u044b\u043b\u043e \u0432 07:14 <a href=\"https:\/\/meduza.io\/news\/2018\/09\/17\/kandidat-ot-kprf-vyigryval-vybory-posle-obrabotki-95-golosov-s-raznitsey-v-pyat-protsentov-a-posle-obrabotki-99-proigryvaet\">Meduza<\/a>, \u0443 <a href=\"https:\/\/theins.ru\/news\/117431\">The Insider<\/a> \u2014 \u0432\u0440\u0435\u043c\u044f 07:20.<br \/>  \u041e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043e 99.16% \u0431\u044b\u043b\u043e \u0432 12:05 <a href=\"https:\/\/www.vedomosti.ru\/politics\/articles\/2018\/09\/17\/781004-primore\">\u0412\u0435\u0434\u043e\u043c\u043e\u0441\u0442\u0438<\/a>, \u0431\u044b\u043b\u043e \u043b\u0438 \u0440\u0430\u043d\u0435\u0435 12:05 \u043e\u0431\u044a\u044f\u0432\u043b\u0435\u043d\u043e \u043e\u0431 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0435 99.16%, \u043c\u043d\u0435 \u043d\u0435\u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e. <br \/>  \u041a\u0430\u043d\u0430\u043b \u0428\u043f\u0438\u043b\u044c\u043a\u0438\u043d\u0430 \u2014 <a href=\"https:\/\/t.me\/RuElectionData\">@RuElectionData<\/a>, \u043e\u043d \u043d\u0430\u0447\u0430\u043b \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442\u044c \u0434\u0430\u043d\u043d\u044b\u0445 \u0441 \u0441\u0430\u0439\u0442\u0430 \u0426\u0418\u041a \u0443\u0436\u0435 \u043f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u0432\u0441\u0451 \u0431\u044b\u043b\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043e, \u043d\u043e \u0434\u043e \u0442\u043e\u0433\u043e, \u043a\u0430\u043a 53 \u0443\u0447\u0430\u0441\u0442\u043a\u0430 \u0431\u044b\u043b\u0438 \u0432\u044b\u0433\u0440\u0443\u0436\u0435\u043d\u044b, \u0438\u043c\u0435\u043d\u043d\u043e \u044d\u0442\u043e \u043f\u043e\u043c\u043e\u0433\u043b\u043e \u0440\u0430\u0441\u043f\u0443\u0442\u0430\u0442\u044c \u043a\u043b\u0443\u0431\u043e\u043a, \u0437\u0430 \u0447\u0442\u043e \u0431\u043e\u043b\u044c\u0448\u043e\u0435 \u0441\u043f\u0430\u0441\u0438\u0431\u043e.<br \/>  \u041f\u0435\u0440\u0432\u0430\u044f \u0432\u0435\u0440\u0441\u0438\u044f \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u043f\u043e \u0423\u0418\u041a\u0430\u043c 2801 2805 2812 2818 2820 2834 2844 2850 2863 2867 \u0435\u0441\u0442\u044c <a href=\"https:\/\/www.newsvl.ru\/vlad\/2018\/09\/19\/173828\/#gallery16\">\u0437\u0434\u0435\u0441\u044c<\/a>.<br \/>  \u041f\u043e \u0423\u0418\u041a\u0430\u043c 318 328 1915 1923 1926 1944 1966 2801 2805 2812 2818 2819 2820 2826 2828 2829 2834 2838 2844 2845 2846 2847 2850 2858 2862 2863 2867 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u044b \u2014 \u043d\u0430 \u0441\u0430\u0439\u0442\u0435 <a href=\"https:\/\/www.golosinfo.org\/ru\/articles\/142886?utm_source=primorie.krutika.ru&amp;amp;utm_medium=social&amp;amp;utm_campaign=krutika\">\u0413\u043e\u043b\u043e\u0441\u0430<\/a>.<br \/>  \u0415\u0449\u0451 \u0438\u0441\u0442\u043e\u0447\u043d\u0438\u043a \u0443\u0441\u0441\u0443\u0440\u0438\u0439\u0441\u043a\u0438\u0445 \u2014 <a href=\"https:\/\/www.facebook.com\/artem.samsonov.73\/posts\/2360263910680463\">\u0442\u0443\u0442<\/a>  <\/div>\n<\/div>\n<p>  <b>P.S.<\/b> \u041f\u043e\u043d\u044f\u0442\u043d\u043e, \u0447\u0442\u043e \u0431\u044b\u043b\u043e \u0435\u0449\u0451 \u043c\u043d\u043e\u0433\u043e \u043d\u0435\u0437\u0430\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u0441\u043b\u0443\u0447\u0430\u0435\u0432 \u043f\u043e\u0434\u0434\u0435\u043b\u043a\u0438 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432 \u0432 \u043f\u043e\u043b\u044c\u0437\u0443 \u0430\u0434\u043c\u0438\u043d\u0438\u0441\u0442\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u0433\u043e \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0423\u0418\u041a 3801 \u0441 540 \u0433\u043e\u043b\u043e\u0441\u0430\u043c\u0438 \u0437\u0430 \u0435\u0434\u0438\u043d\u043e\u0440\u043e\u0441\u0441\u0430 \u0438 0 \u0437\u0430 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442\u0430, \u0438\u043b\u0438 \u0443\u0447\u0430\u0441\u0442\u043a\u0438 2809, 2823, \u043d\u043e \u043f\u0440\u0435\u043b\u0435\u0441\u0442\u044c \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u0438 \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e \u0432\u0441\u0451 \u044f\u0441\u043d\u043e \u0434\u0430\u0436\u0435 \u0438\u0437 \u0437\u0430\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445, \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445. <br \/>  <b>P.P.S.<\/b> \u041e\u0433\u0440\u043e\u043c\u043d\u043e\u0435 \u0441\u043f\u0430\u0441\u0438\u0431\u043e \u0421. \u0428\u043f\u0438\u043b\u044c\u043a\u0438\u043d\u0443 \u0437\u0430 \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0434\u0430\u043d\u043d\u044b\u0435 \u0438 \u0437\u0430 \u043f\u043e\u043c\u043e\u0449\u044c \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e\u0431\u044b \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u044d\u0442\u043e\u0442 \u0442\u0435\u043a\u0441\u0442 \u043f\u043e\u043d\u044f\u0442\u043d\u0435\u0435 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044e.<\/div>\n<p>               <script class=\"js-mediator-script\">!function(e){function t(t,n){if(!(n in e)){for(var r,a=e.document,i=a.scripts,o=i.length;o--;)if(-1!==i[o].src.indexOf(t)){r=i[o];break}if(!r){r=a.createElement(\"script\"),r.type=\"text\/javascript\",r.async=!0,r.defer=!0,r.src=t,r.charset=\"UTF-8\";var d=function(){var e=a.getElementsByTagName(\"script\")[0];e.parentNode.insertBefore(r,e)};\"[object Opera]\"==e.opera?a.addEventListener?a.addEventListener(\"DOMContentLoaded\",d,!1):e.attachEvent(\"onload\",d):d()}}}t(\"\/\/mediator.mail.ru\/script\/2820404\/\",\"_mediator\")}(window);<\/script>     <br \/> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/post\/440092\/\"> https:\/\/habr.com\/ru\/post\/440092\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"\n<div class=\"post__text post__text-html js-mediator-article\">\u0412\u043e \u0432\u0442\u043e\u0440\u043e\u043c \u0442\u0443\u0440\u0435 \u0432\u044b\u0431\u043e\u0440\u043e\u0432 \u0433\u0443\u0431\u0435\u0440\u043d\u0430\u0442\u043e\u0440\u0430 \u041f\u0440\u0438\u043c\u043e\u0440\u0441\u043a\u043e\u0433\u043e \u043a\u0440\u0430\u044f 16 \u0441\u0435\u043d\u0442\u044f\u0431\u0440\u044f 2018 \u0433\u043e\u0434\u0430 \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u043b\u0438\u0441\u044c \u0434\u0435\u0439\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0439 \u0438.\u043e. \u0433\u0443\u0431\u0435\u0440\u043d\u0430\u0442\u043e\u0440\u0430 \u0410\u043d\u0434\u0440\u0435\u0439 \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e \u0438 \u0437\u0430\u043d\u044f\u0432\u0448\u0438\u0439 \u0432\u0442\u043e\u0440\u043e\u0435 \u043c\u0435\u0441\u0442\u043e \u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u0442\u0443\u0440\u0435 \u043a\u043e\u043c\u043c\u0443\u043d\u0438\u0441\u0442 \u0410\u043d\u0434\u0440\u0435\u0439 \u0418\u0449\u0435\u043d\u043a\u043e. \u0412 \u0445\u043e\u0434\u0435 \u043f\u043e\u0434\u0441\u0447\u0435\u0442\u0430 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u043d\u0430 \u0441\u0430\u0439\u0442\u0435 \u0426\u0418\u041a \u0420\u0424 \u043e\u0442\u043e\u0431\u0440\u0430\u0436\u0430\u043b\u0430\u0441\u044c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u043f\u0430\u043d\u0435\u043b\u044c \u0441 \u0440\u0430\u0441\u0442\u0443\u0449\u0438\u043c \u0447\u0438\u0441\u043b\u043e\u043c \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438 \u0433\u043e\u043b\u043e\u0441\u043e\u0432 \u0437\u0430 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u043e\u0432. <\/p>\n<p>  \u041f\u0443\u0431\u043b\u0438\u043a\u0430\u0446\u0438\u044f \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 \u043f\u043e \u0443\u0447\u0430\u0441\u0442\u043a\u0430\u043c \u043d\u0430 \u043e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u043e\u043c \u0441\u0430\u0439\u0442\u0435 \u0426\u0418\u041a <a href=\"http:\/\/www.izbirkom.ru\">www.izbirkom.ru<\/a> \u0437\u0430\u043c\u0435\u0440\u043b\u0430 \u043f\u043e\u0441\u043b\u0435 \u0432\u0432\u043e\u0434\u0430 1484 (95.74%) \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 \u0438 \u043d\u0435 \u0432\u043e\u0437\u043e\u0431\u043d\u043e\u0432\u043b\u044f\u043b\u0430\u0441\u044c \u0434\u043e \u0441\u0430\u043c\u043e\u0433\u043e \u043a\u043e\u043d\u0446\u0430. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043a\u043e\u0433\u0434\u0430 \u0432 \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u0438 \u043b\u0438\u0434\u0435\u0440 \u0433\u043e\u043b\u043e\u0441\u043e\u0432\u0430\u043d\u0438\u044f \u0432\u0434\u0440\u0443\u0433 \u043f\u043e\u043c\u0435\u043d\u044f\u043b\u0441\u044f \u0441 \u0418\u0449\u0435\u043d\u043a\u043e \u043d\u0430 \u0422\u0430\u0440\u0430\u0441\u0435\u043d\u043a\u043e, \u0431\u044b\u043b\u043e \u043d\u0435\u044f\u0441\u043d\u043e, \u043a\u0430\u043a \u0438\u043c\u0435\u043d\u043d\u043e \u044d\u0442\u043e \u043c\u043e\u0433\u043b\u043e \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0442\u0438. \u0412 \u0421\u041c\u0418 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0438\u0441\u0430\u043b\u0438 \u00ab\u043f\u043e\u0441\u043b\u0435 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0438 99,03% \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u043e\u0432 <a href=\"https:\/\/www.vedomosti.ru\/politics\/articles\/2018\/09\/19\/781313-tsik\">\u043b\u0438\u0434\u0435\u0440 \u0441\u043c\u0435\u043d\u0438\u043b\u0441\u044f<\/a>\u00bb.<\/p>\n<p>  \u041e\u0434\u043d\u0430\u043a\u043e, \u0440\u0430\u0441\u043f\u043e\u043b\u0430\u0433\u0430\u044f \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u043c\u0438 \u0441\u0443\u043c\u043c\u0430\u0440\u043d\u044b\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u043c\u0438 \u0438\u0437 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u043f\u0430\u043d\u0435\u043b\u0438, \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438 \u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u044c, \u0447\u0442\u043e \u0438\u043c\u0435\u043d\u043d\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u043b\u043e \u0441 \u043f\u0440\u043e\u0442\u043e\u043a\u043e\u043b\u0430\u043c\u0438 \u0432 \u043d\u043e\u0447\u044c \u043f\u043e\u0441\u043b\u0435 \u0432\u044b\u0431\u043e\u0440\u043e\u0432. \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c Python, Colab \u043e\u0442 Google \u0438 <a href=\"https:\/\/github.com\/Z3Prover\/z3\/\">Z3 theorem prover<\/a> \u043e\u0442 Microsoft Research. \u041d\u0443 \u0438 \u0434\u043e\u0431\u044c\u0451\u043c \u0432\u0441\u0451 \u043e\u0431\u044b\u0447\u043d\u043e\u0439 \u0434\u0435\u0434\u0443\u043a\u0446\u0438\u0435\u0439.<\/p>\n<p>  <img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/o2\/w5\/58\/o2w558wfmeawcjnk8ijpcgynlhk.png\">  <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-292442","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/292442","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=292442"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/292442\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=292442"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=292442"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=292442"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}