如果丁公司某银行账户的银行对账单余额与银行存款日记账余额不符，最有效的审计程序是( )。