この資料をSMS送信: Decision problems for second-order holonomic sequences