Gal <0> USES (visit <0>) (<1> gals in; <0> boys waiting; <0> gals waiting)
Gal <1> USES (visit <0>) (<2> gals in; <0> boys waiting; <0> gals waiting)
Gal <2> wait (visit <0>)
gals_waiting=1
Boy <1> wait (visit <0>). Boys waiting = 1.
Boy <0> wait (visit <0>). Boys waiting = 2.
Boy <2> wait (visit <0>). Boys waiting = 3.
Gal <3> wait (visit <0>)
gals_waiting=2
Boy <3> wait (visit <0>). Boys waiting = 4.
Gal <1> done (visit <0>)
Gal <0> done (visit <0>)
Gal <2> USES (visit <0>) (<3> gals in; <4> boys waiting; <1> gals waiting)
Gal <0> wait (visit <1>)
gals_waiting=2
Gal <1> USES (visit <1>) (<2> gals in; <4> boys waiting; <2> gals waiting)
Gal <2> done (visit <0>)
Gal <2> USES (visit <1>) (<2> gals in; <4> boys waiting; <2> gals waiting)
Gal <1> done (visit <1>)
Gal <1> finished
Gal <3> USES (visit <0>) (<2> gals in; <4> boys waiting; <1> gals waiting)
Gal <0> USES (visit <1>) (<3> gals in; <4> boys waiting; <0> gals waiting)
Gal <2> done (visit <1>)
Gal <2> finished
Gal <3> done (visit <0>)
Gal <3> USES (visit <1>) (<2> gals in; <4> boys waiting; <0> gals waiting)
Gal <0> done (visit <1>)
Gal <0> finished
Gal <3> done (visit <1>)
Gal <3> finished
Boy <1> USES (visit <0>) (<1> boys in; <0> gals waiting; <3> boys waiting)
Boy <0> USES (visit <0>) (<2> boys in; <0> gals waiting; <2> boys waiting)
Boy <2> USES (visit <0>) (<3> boys in; <0> gals waiting; <1> boys waiting)
Boy <3> USES (visit <0>) (<4> boys in; <0> gals waiting; <0> boys waiting)
Boy <1> done (visit <0>)
Boy <1> USES (visit <1>) (<4> boys in; <0> gals waiting; <0> boys waiting)
Boy <0> done (visit <0>)
Boy <0> USES (visit <1>) (<4> boys in; <0> gals waiting; <0> boys waiting)
Boy <2> done (visit <0>)
Boy <2> USES (visit <1>) (<4> boys in; <0> gals waiting; <0> boys waiting)
Boy <3> done (visit <0>)
Boy <3> USES (visit <1>) (<4> boys in; <0> gals waiting; <0> boys waiting)
Boy <3> done (visit <1>)
Boy <3> finished.
Boy <1> done (visit <1>)
Boy <1> finished.
Boy <2> done (visit <1>)
Boy <2> finished.
Boy <0> done (visit <1>)
Boy <0> finished.