рдУрд▓реНрдб рдбреЛрдорд┐рдирд┐рдпрди рдлреНрд░реЗрдЯ рд▓рд╛рдЗрди, рдЗрдВрдХ. рд╕рдВрдпреБрдХреНрдд рд░рд╛рдЬреНрдп рдЕрдореЗрд░рд┐рдХрд╛ рдФрд░ рдЙрддреНрддрд░реА рдЕрдореЗрд░рд┐рдХрд╛ рдореЗрдВ рдХрдо-рд╕реЗ-рдХрдо-рдЯреНрд░рдХ рд▓реЛрдб (LTL) рдореЛрдЯрд░ рд╡рд╛рд╣рдХ рдХреЗ рд░реВрдк рдореЗрдВ рдХрд╛рдо рдХрд░рддрд╛ рд╣реИред рдпрд╣ рдХреНрд╖реЗрддреНрд░реАрдп, рдЕрдВрддрд░-рдХреНрд╖реЗрддреНрд░реАрдп рдФрд░ рд░рд╛рд╖реНрдЯреНрд░реАрдп LTL рд╕реЗрд╡рд╛рдПрдБ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рддреНрд╡рд░рд┐рдд рдкрд░рд┐рд╡рд╣рди рд╢рд╛рдорд┐рд▓ рд╣реИред рдХрдВрдкрдиреА рдХрдВрдЯреЗрдирд░ рдбреНрд░реЗрдЬ, рдЯреНрд░рдХ рд▓реЛрдб рдмреНрд░реЛрдХрд░реЗрдЬ рдФрд░ рдЖрдкреВрд░реНрддрд┐ рд╢реНрд░реГрдВрдЦрд▓рд╛ рдкрд░рд╛рдорд░реНрд╢ рдЬреИрд╕реА рд╡рд┐рднрд┐рдиреНрди рдореВрд▓реНрдпрд╡рд░реНрдзрд┐рдд рд╕реЗрд╡рд╛рдПрдБ рднреА рдкреНрд░рджрд╛рди рдХрд░рддреА рд╣реИред рдЗрд╕рдХреЗ рдкрд╛рд╕ 9,288 рдЯреНрд░реИрдХреНрдЯрд░ рдФрд░ 42 рд░рдЦрд░рдЦрд╛рд╡ рдХреЗрдВрджреНрд░ рд╣реИрдВред 3 рдЕрдЧрд╕реНрдд, 2021 рддрдХ, рдЗрд╕рдХреЗ рдкрд╛рд╕ 248 рд╕реЗрд╡рд╛ рдХреЗрдВрджреНрд░ рдереЗред рдУрд▓реНрдб рдбреЛрдорд┐рдирд┐рдпрди рдлреНрд░реЗрдЯ рд▓рд╛рдЗрди, рдЗрдВрдХ. рдХреА рд╕реНрдерд╛рдкрдирд╛ 1934 рдореЗрдВ рд╣реБрдИ рдереА рдФрд░ рдпрд╣ рдереЙрдорд╕рд╡рд┐рд▓реЗ, рдЙрддреНрддрд░реА рдХреИрд░реЛрд▓рд┐рдирд╛ рдореЗрдВ рд╕реНрдерд┐рдд рд╣реИред