この資料をSMS送信: Efficient coverability analysis by proof minimization