Merge pull request #11 from jupacaza/master

Quadruples generation finished, new file for VM