发送短信 : O prover︠i︡a︠i︡ushchikh testakh dl︠i︡a logicheskikh skhem /