plusx0xplusxsysplusxytimes0y0timesx00timessxyplustimesxyypssxspsxps00facsxtimesfacpsxsxplusxsyplusxytimessxyplustimesxyytimessxytimesxypssxpsxfacsxtimesfacpsxsxfacsxfacpsxfacsxpsxtruefacsxfacpsxtrue1234561fac1211p1-111s1211002pssxspsxps00facsxtimesfacpsxsxfalse124timessxytimesxytrue131times211s1111timessxyplustimesxyyfalse2plusxsyplusxytrue21plus212s1111facsxpsxfalsepssxpsxtrue1p111s1111