game1FO'_goodbad_o2h_left.qrhl

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

include "Adv_O2H_Game1FO'.qrhl".
include "queryG.qrhl".
include "Count.qrhl".

# game1FO'_goodbad_o2h_left is the "second" game, which ..._right is
# the "first" game in our sequence of games to make sure that the find
# game uses the S-indenpendent G=Ggood

program game1FO'_goodbad_o2h_left := {
  count <- 0;
  (S,G,G',z') <$ goodbad_o2h_distr;
  call Adv_O2H_Game1FO'(Count(queryG));
}.