2018年3月，某审计组对甲公司2017年度财务收支情况进行了审计。有关销售与收款业务循环审计的情况和资料如下： 1.审计人员在对销售与收款业务循环内部控制调查中了解到：销售人员接到客户订货单并调查客户信用后，编制一式多联的销货单报本部门负责人审批，经同意后与客户签订销售合同；销货单、销售发票、发运凭证事先按顺序编号使用；该公司很少编制和寄发客户对账单与客户进行对账；销售人员负责登记销售收入明细账。 2.审计人员对应收账款采取了以下审计程序： (1)抽查有关文件资料，检查不兼容职责的划分情况； (2)检查按期编制账龄分析表的情况； (3)函证了金额较大的应收账款，以确定其真实性； (4)检查坏账核销有无经过正式的授权批准。 3.审计人员对应收账款及其坏账进行审查时，发现甲公司核销了丁公司100万元应收账款，甲公司相关人员解释说丁公司已经不存在。经进一步审查，审计人员发现丁公司于2015年12月经有关部门批准变更了企业名称，目前经营状况良好，且始终保持着与甲公司 的业务往来。 4.审计人员在对2017年各月主营业务收入的波动情况分析时了解到，甲公司账面反映 A产品各月的生产数量、存货数量和销售数量基本持平，但2017年1月生产部门统计报表反映A产品的主要原材料成本比其他月份高出10%。 (二)要求：根据上述资料，为下列问题从备选答案中选出正确答案 3.“资料3”中，为查明核销丁公司100万元应收账款的事实，审计人员可以采取的审计程序为()。