-x0x-sxsy-xy<=0ytrue<=sx0false<=sxsy<=xyiftruexyxiffalsexyyperfectp0falseperfectpsxfxs0sxsxf0y0utruef0yszufalsefsx0zufxu-zsxufsxsyzuif<=xyfsx-yxzufxuzu-sxsy-xy<=sxsy<=xyperfectpsxfxs0sxsxfsx0zu-zsxfsx0zufxu-zsxufsxsyzufxuzufsxsyzu-yxfsxsyzufsx-yxzufsxsyzu<=xyfsxsyzuif<=xyfsx-yxzufxuzutrueperfectpsxfxs0sxsxfalsefsxsyzufsx-yxzufsx0zufxu-zsxufsxsyzufxuzutruef41fsxsyzufsx-yxzuf41s12-2000000-21s11f42-x0x-sxsy-xyfsxsyzuif<=xyfsx-yxzufxuzufalsefsxsyzu<=xyfalse<=sxsy<=xytrue<=22fsxsyzu-yxfalsefsx0zu-zsxfalse-sxsy-xytrue-22