fxyzg<=xyxyzgfalsexyzffpxyzfpyzxfpzxygtruexyzzp00psxx00<=2false0s1true0f3g4p112.2fxyzg<=xyxyzfxyzc1g<=xyxyzgfalsexyzffpxyzfpyzxfpzxygfalsexyzc2ffpxyzfpyzxfpzxyfpxyzpxfpyzxpyfpzxypzgtruexyzzgtruexyzc3p00p0c4psxxpsxc5fxyzgfalsexyzgtruexyzp0psxgfalsexyzffpxyzfpyzxfpzxygtruexyzz11000<=201112f30010203false01g4341020314p1001s1211true01f30010203g4121211021344p1111c11001c27721128314151647c303c400c502gfalsexyzc2ffpxyzfpyzxfpzxyfpxyzpxfpyzxpyfpzxypzgtruexyzc3p0c4psxc5fxyzc1g<=xyxyzgfalsexyzc2ffpxyzfpyzxfpzxyfpxyzpxfpyzxpyfpzxypzgtruexyzc3p0c4psxc511004<=221102f310113283false07g4001028304p1041s1211true00f31010213g4152114210384p1001c11001c27011824314851617c300c400c500fxyzc1g<=xyxyzfxyzg<=xyxyzfxyzc1g<=xyxyzgfalsexyzc2ffpxyzfpyzxfpzxyfpxyzpxfpyzxpyfpzxypzgtruexyzc3p0c4psxc5TcT3.0.0