plusx0xplusxsysplusxytimes0y0timesx00timessxyplustimesxyypssxspsxps00facsxtimesfacpsxsxplusxsyplusxytimessxytimesxytimessxyplustimesxyypssxpsxfacsxpsxfacsxfacpsxfacsxtimesfacpsxsxtruefacsxfacpsxtruefacsxtimesfacpsxsxfalsetimessxytimesxytruetimessxyplustimesxyyfalseplusxsyplusxytruefacsxpsxfalsepssxpsxtrue