Correction to SNARK code, added Prover9 input