S3 = {}