name venn
runfiles
 texmf-dist/metapost/venn/venn.mp