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