この資料をSMS送信: Abstraction by symbolic indexing transformations