world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpTrue,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpTrue,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpTrue,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpTrue,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foTrue,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loTrue,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foTrue,bpFalse,loTrue,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpTrue,loFalse,doFalse,hbFalse).
world(foTrue,bpFalse,loTrue,doTrue,hbFalse).
world(foFalse,bpFalse,loFalse,doTrue,hbTrue).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).
world(foFalse,bpFalse,loFalse,doFalse,hbFalse).