1domain: "[M] -> { S[a, b] : 0 <= a <= 99 and M <= 2b <= 1 + M }" 2child: 3 schedule: "[M] -> [{ S[a, b] -> [(a)] }]" 4 permutable: 1 5 coincident: [ 1 ] 6