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