factlist S : input {
