2012年12月31日A公司账簿记录有一笔50万元的定期存单，但在2013年2月5日审计时，该存单已提取，为证实该存单在期末存在，注册会计师实施的程序有效的有（）。