vermas example

Instructions for running the vermas example.