game1FO'_goodbad_scs_right3.qrhl

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

include "variables.qrhl".

program game1FO'_goodbad_scs_right3 := {
  b <$ bernoulli (correctness params keygen enc dec msg_space);
}.