Output: [ x in {998} ]