psxxfact0s0factsx*sxfactpsx*0y0*sxy+*xyy+x0x+xsys+xyfactsxpsxfactsxfactpsxfactsx*sxfactpsx*sxy*xy*sxy+*xyy+xsy+xytruefactsxfactpsxtrue1fact1118p1110s1111factsxfactpsxpsxxfactsxfactpsxfalsefactsxpsxfalsefactsx*sxfactpsxfalse*sxy*xytrue*21*sxy+*xyyfalse+xsy+xytrue+22