put venn in file