MANUAL AND VERIFICATION REPORT

The manual is available here

The verification report is available here