Initial provenance file