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