特种设备出厂时应当提供的文件下列文件有（ ）。