DXF and SVG in the zipped folder. There are open paths in this file that the proof doesn't show very well.