この資料をSMS送信: Tractable constraints closed under a binary operation