domain: "{ S[a, b] : b <= 9 - a and b <= 0 and 10b >= -a }"
child:
schedule: "[{ S[a, b] -> [(a)] }]"
permutable: 1
coincident: [ 1 ]
domain: "{ S[a, b] : b <= 9 - a and b <= 0 and 10b >= -a }"
child:
schedule: "[{ S[a, b] -> [(a)] }]"
permutable: 1
coincident: [ 1 ]