注册会计师为验证被审计单位在资产负债表日所列示的可供出售金融资产确实归被审计单位所有，应当实施的最主要审计程序是（）