0 | { S,