1domain: "[M, N] -> { S5[i0, i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N; S8[]; S2[]; S7[i0, i1, i2, i3] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N and i3 >= 0 and i3 <= -1 + N and i3 >= 32i2 and i3 <= 31 + 32i2; S4[i0, i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N; S1[]; S3[] : M >= 79; S6[i0, i1, i2, i3] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N and i3 >= 0 and i3 <= -1 + N and i3 >= 32i2 and i3 <= 31 + 32i2 }" 2child: 3 context: "[M, N] -> { [] : M <= 3 and N >= 100 }" 4 child: 5 sequence: 6 - filter: "[M, N] -> { S1[] }" 7 - filter: "[M, N] -> { S2[] }" 8 - filter: "[M, N] -> { S3[] }" 9 - filter: "[M, N] -> { S5[i0, i1]; S4[i0, i1] }" 10 child: 11 schedule: "[M, N] -> [{ S5[i0, i1] -> [(i0)]; S4[i0, i1] -> [(i0)] }]" 12 options: "[M, N] -> { separate[i0] }" 13 child: 14 schedule: "[M, N] -> [{ S5[i0, i1] -> [(i1)]; S4[i0, i1] -> [(i1)] }]" 15 options: "[M, N] -> { separate[i0] }" 16 child: 17 sequence: 18 - filter: "[M, N] -> { S4[i0, i1] }" 19 - filter: "[M, N] -> { S5[i0, i1] }" 20 - filter: "[M, N] -> { S7[i0, i1, i2, i3]; S6[i0, i1, i2, i3] }" 21 child: 22 schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i0)]; S6[i0, i1, i2, i3] -> [(i0)] }]" 23 options: "[M, N] -> { separate[i0] }" 24 child: 25 schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i1)]; S6[i0, i1, i2, i3] -> [(i1)] }]" 26 options: "[M, N] -> { separate[i0] }" 27 child: 28 schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i2)]; S6[i0, i1, i2, i3] -> [(i2)] }]" 29 options: "[M, N] -> { separate[i0] }" 30 child: 31 schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i3)]; S6[i0, i1, i2, i3] -> [(1 + i3)] }]" 32 options: "[M, N] -> { separate[i0] }" 33 child: 34 sequence: 35 - filter: "[M, N] -> { S6[i0, i1, i2, i3] }" 36 - filter: "[M, N] -> { S7[i0, i1, i2, i3] }" 37 - filter: "[M, N] -> { S8[] }" 38