Added new full proof MSet file