game1FO'_goodbad_scs_right2.qrhl

# Autogenerated file (by replacing game0FO -> game0FO', game1FO -> game1FO', etc. etc. in game1FO_goodbad_scs_right2.qrhl)

include "variables.qrhl".

program game1FO'_goodbad_scs_right2 := {
  z' <$ keygenT undefined;
  b <$ bernoulli (correctness_pksk enc dec msg_space () (fst z') (snd z'));
}.