irma-prover, first version