fxyzg<=xyxyzgtruexyzzgfalsexyzffpxyzfpyzxfpzxyp00psxxfxyzg<=xyxyzgfalsexyzpzgfalsexyzfpzxygfalsexyzpygfalsexyzfpyzxgfalsexyzpxgfalsexyzfpxyzgfalsexyzffpxyzfpyzxfpzxytruegfalsexyzffpxyzfpyzxfpzxyfalsegfalsexyzfpxyzfalsegfalsexyzfpyzxfalsegfalsexyzfpzxyfalsefxyzg<=xyxyzfalsegfalsexyzpxfalsegfalsexyzpyfalsegfalsexyzpzfalse