1domain: "{ S_3[i0, i1, i2, i3, i4, i5, i6] : 0 <= i0 <= 223 and 0 <= i1 <= 223 and 0 <= i2 <= 15 and 0 <= i3 <= 3 and 0 <= i4 <= 6 and 0 <= i5 <= 6 and 0 <= i6 <= 15; group0[i0, i1, i2, i3] : 0 <= i0 <= 3 and 0 <= i1 <= 223 and 0 <= i2 <= 223 and 0 <= i3 <= 15 }"
2child:
3  sequence:
4  - filter: "{ group0[i0, i1, i2, i3] }"
5    child:
6      schedule: "[{ group0[i0, i1, i2, i3] -> [(i0)] }, { group0[i0, i1, i2, i3] -> [(i1)] }, { group0[i0, i1, i2, i3] -> [(i2)] }, { group0[i0, i1, i2, i3] -> [(i3)] }]"
7      permutable: 1
8      coincident: [ 1, 1, 1, 1 ]
9  - filter: "{ S_3[i0, i1, i2, i3, i4, i5, i6] }"
10    child:
11      schedule: "[{ S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i0)] }, { S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i1)] }, { S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i2)] }, { S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i3)] }]"
12      permutable: 1
13      coincident: [ 1, 1, 1, 1 ]
14      child:
15        schedule: "[{ S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i4)] }]"
16        permutable: 1
17        coincident: [ 1 ]
18        child:
19          schedule: "[{ S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i5)] }]"
20          permutable: 1
21          coincident: [ 1 ]
22          child:
23            schedule: "[{ S_3[i0, i1, i2, i3, i4, i5, i6] -> [(i6)] }]"
24            permutable: 1
25            coincident: [ 1 ]
26