ΠΡΠΈΡΡΠΈΡΠ΅Π»Ρ ΠΈΠ½ΠΆΠ΅ΠΊΡΠΎΡΠΎΠ² ΠΈ ΡΠΈΡΡΠ΅ΠΌΡ ΠΏΠΈΡΠ°Π½ΠΈΡ Π±Π΅Π½Π·ΠΈΠ½ΠΎΠ²ΡΡ Π΄Π²ΠΈΠ³Π°ΡΠ΅Π»Π΅ΠΉ, Ρ SMT2. Π‘ΠΎΠ΄Π΅ΡΠΆΠΈΡ ΡΠΈΠ½ΡΠ΅ΡΠΈΡΠ΅ΡΠΊΠΈΠΉ ΠΊΠΎΠ½Π΄ΠΈΡΠΈΠΎΠ½Π΅Ρ ΠΌΠ΅ΡΠ°Π»Π»Π° Π²ΡΠΎΡΠΎΠ³ΠΎ ΠΏΠΎΠΊΠΎΠ»Π΅Π½ΠΈΡ SMT2, ΡΠΌΠ΅Π½ΡΡΠ°ΡΡΠΈΠΉ ΡΡΠ΅Π½ΠΈΠ΅ ΠΈ ΠΈΠ·Π½Π°ΡΠΈΠ²Π°Π½ΠΈΠ΅ Π΄Π΅ΡΠ°Π»Π΅ΠΉ ΡΠΈΠ»ΠΈΠ½Π΄ΡΠΎ-ΠΏΠΎΡΡΠ½Π΅Π²ΠΎΠΉ Π³ΡΡΠΏΠΏΡ Π΄Π²ΠΈΠ³Π°ΡΠ΅Π»Ρ. ΠΠ΅ΡΠ½ΡΠΉ Π±Π°ΡΠΎΠΊ, ΠΈΠΌΠ΅ΡΡΠΈΠΉ Π³ΡΠ°Π΄Π°ΡΠΈΡ Π² Π»ΠΈΡΡΠ°Ρ ΠΎΠ±ΡΠ°Π±Π°ΡΡΠ²Π°Π΅ΠΌΠΎΠ³ΠΎ ΡΠΎΠΏΠ»ΠΈΠ²Π°, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ Π±ΡΡΡΡΠΎ ΠΎΡΠΌΠ΅ΡΠΈΡΡ Π½ΡΠΆΠ½ΠΎΠ΅ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎ ΠΏΡΠΈΡΠ°Π΄ΠΊΠΈ. Π Π΅ΠΊΠΎΠΌΠ΅Π½Π΄ΡΠ΅ΡΡΡ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡ ΡΠ΅ΡΠ΅Π· ΠΊΠ°ΠΆΠ΄ΡΠ΅ 1500 ΠΊΠΌ ΠΈΠ»ΠΈ ΡΠ°ΡΠ΅ β ΠΏΡΠΈ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠΈ Π±Π΅Π½Π·ΠΈΠ½Π° Π½Π΅Π²ΡΡΠΎΠΊΠΎΠ³ΠΎ ΠΊΠ°ΡΠ΅ΡΡΠ²Π°.
ΠΠΎΠ±Π°Π²ΠΈΡΡ ΠΎΡΠ·ΡΠ²