These files were taken directly from https://www.cs.cmu.edu/~dst/VCRPlus+/
They have been posted here for preservcation purposes only.
The only addition made has been the creation of this README.md file simply so that github can index it properly.
MA 2023