рдпреВрдирд┐рд╡рд░реНрд╕рд▓ рдПрд╕рдПрдордЯреА рдорд╢реАрди рдкрд╛рд░реНрдЯ | рдпреВрдирд┐рд╡рд░реНрд╕рд▓ рдПрд╕рдПрдордЯреА рдлреАрдбрд░ рд░рд┐рдкреЗрдпрд░ рдХрд┐рдЯ | рдпреВрдирд┐рд╡рд░реНрд╕рд▓ рдПрд╕рдПрдордЯреА рдорд╢реАрди рдкрд╛рд░реНрдЯ
рдлреАрдбрд░ рдорд░рдореНрдордд рдХрд┐рдЯ рд╕реБрдЪрд╛рд░реВ рдШрдЯрдХ рдлреАрдбрд┐рдВрдЧ рдФрд░ рджреАрд░реНрдШрдХрд╛рд▓рд┐рдХ рдПрд╕рдПрдордЯреА рдорд╢реАрди рд╕реНрдерд┐рд░рддрд╛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рддрд╛ рд╣реИ
рдпреВрдирд┐рд╡рд░реНрд╕рд▓ рдПрдХреНрд╕реЗрд╕рд░реАрдЬрд╝ рдлреАрдбрд░ рд░рд┐рдкреЗрдпрд░ рдХрд┐рдЯ рдпреВрдирд┐рд╡рд░реНрд╕рд▓ рдЗрдВрд╕рд░реНрд╢рди рдорд╢реАрдиреЛрдВ рдХреЗ рд▓рд┐рдП рдПрдХ рдореВрд▓ рд╕реНрдкреЗрдпрд░ рдкрд╛рд░реНрдЯ рд╣реИред рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдлреАрдбрд░ рдХреЗ рдЖрдВрддрд░рд┐рдХ рдШрдЯрдХреЛрдВ рдХреА рдорд░рдореНрдордд рдФрд░ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрди рдХреЗ рд▓рд┐рдП рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬрд┐рд╕рд╕реЗ SMT рдЙрддреНрдкрд╛рджрди рд▓рд╛рдЗрдиреЛрдВ рдкрд░ рд╕реБрдЪрд╛рд░реВ рдФрд░ рд╕реНрдерд┐рд░ рд╕рдВрдЪрд╛рд▓рди рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рд╣реЛрддрд╛ рд╣реИред