VERA 2022.1 Documentation