* Minor adjusts to prove, update reference output