ABC有限责任公司属于外商投资企业，经批准由甲公司和乙公司共同出资组建，其中，甲公司为中方，乙公司为外方，根据经批准的公司章程，ABC有限责任公司注册资本为人民币5000万元，于2009年6月30日前一次缴足，其中，甲公司应出资3000万元，具体包括：货币500万元，厂房1500万元，土地使用权1000万元；乙公司应出资2000万元，具体包括：货币800万元，机器设备1200万元。
2009年5月25日，甲公司以货币出资500万元，厂房账面价值1 500万元，经评估价值为1600万元，土地使用权账面价值400万元，评估价值为1050万元。厂房和土地使用权的评估价值得到投资双方的确认。
2009年5月27日，乙公司以美元97万元出资，机器设备经商检部门检查鉴定价值为 146万美元(当日汇率为1美元兑换8.3元人民币)。
假设：(1)经双方同意，并报经批准，双方实际出资额超出认缴部分的作为资本公积处理。
(2)ABC有限责任公司于2009年7月5日委托XYZ会计师事务所进行验资，注册会计师X、Y于7月10日完成了外勤工作。
要求：
请说明注册会计师X、Y对甲公司所出厂房应主要实施的审验程序(须列出不少于三项审验程序)。__________
说明对厂房的审验程序：
注册会计师在对甲公司所出厂房进行审验时应主要执行的审验程序包括：
第一，观察厂房，确定其是否存在；
第二，验证厂房的产权是否归甲公司所有，并验证甲公司是否同ABC有限责任公司办理产权转移手续，若未办理，不得确认出资；
第三，验证厂房出资的价值是否按评估确认价值为依据等。
代注册会计师X、Y草拟一份验资报告。 __________
说明对厂房的审验程序：
注册会计师在对甲公司所出厂房进行审验时应主要执行的审验程序包括：
第一，观察厂房，确定其是否存在；
第二，验证厂房的产权是否归甲公司所有，并验证甲公司是否同ABC有限责任公司办理产权转移手续，若未办理，不得确认出资；
第三，验证厂房出资的价值是否按评估确认价值为依据等。