[DAT] k=6, check existence of file before exporting instances