This contract was automatically generated from the verify rust initiative

It is not feasible to generate the original files
