s * s=r ^ S3”