prime0falseprimes0falseprimessxprime1ssxsxprime1x0falseprime1xs0trueprime1xssyandnotdivpssyxprime1xsydivpxy=remxy0primessxprime1ssxsxprime1xssyprime1xsyprime1xssydivpssyxtrueprimessxprime1ssxsxfalseprime1xssyprime1xsytrueprime122prime1xssydivpssyxfalse