116 lines · plain
1domain: "[M, N, O, P, Q, R, S, T, U] -> { S8[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M; S12[i0, i1, i2] : i0 >= R and i0 <= -1 + O and i1 >= Q and i1 <= -1 + N and i2 >= P and i2 <= -1 + M; S5[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M; S10[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M; S6[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M; S1[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= M; S3[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= M; S4[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M; S15[i0, i1, i2] : i0 >= R and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M; S11[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M; S2[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= M; S7[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M; S9[i0, i1, i2] : i0 >= 1 and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M; S14[i0, i1, i2] : i0 >= R and i0 <= -1 + O and i1 >= 1 and i1 <= -1 + N and i2 >= P and i2 <= -1 + M; S13[i0, i1, i2] : i0 >= R and i0 <= -1 + O and i1 >= Q and i1 <= -1 + N and i2 >= 1 and i2 <= -1 + M }"2child:3 context: "[M, N, O, P, Q, R, S, T, U] -> { [] }"4 child:5 sequence:6 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S10[i0, i1, i2]; S6[i0, i1, i2]; S3[i0, i1, i2]; S1[i0, i1, i2]; S11[i0, i1, i2]; S7[i0, i1, i2] }"7 child:8 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S11[i0, i1, i2] -> [(i0)]; S1[i0, i1, i2] -> [(i0)]; S6[i0, i1, i2] -> [(i0)]; S10[i0, i1, i2] -> [(i0)]; S3[i0, i1, i2] -> [(i0)]; S7[i0, i1, i2] -> [(i0)] }]"9 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"10 child:11 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S11[i0, i1, i2] -> [(2i1)]; S1[i0, i1, i2] -> [(-3 + 2i1)]; S6[i0, i1, i2] -> [(-2 + 2i1)]; S10[i0, i1, i2] -> [(1 + 2i1)]; S3[i0, i1, i2] -> [(-1 + 2i1)]; S7[i0, i1, i2] -> [(-2 + 2i1)] }]"12 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"13 child:14 sequence:15 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S10[i0, i1, i2] }"16 child:17 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S10[i0, i1, i2] -> [(i2)] }]"18 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"19 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S3[i0, i1, i2] }"20 child:21 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S3[i0, i1, i2] -> [(i2)] }]"22 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"23 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S6[i0, i1, i2]; S1[i0, i1, i2]; S7[i0, i1, i2] }"24 child:25 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S1[i0, i1, i2] -> [(i2)]; S6[i0, i1, i2] -> [(i2)]; S7[i0, i1, i2] -> [(i2)] }]"26 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"27 child:28 sequence:29 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S6[i0, i1, i2]; S1[i0, i1, i2] }"30 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S7[i0, i1, i2] }"31 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S11[i0, i1, i2] }"32 child:33 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S11[i0, i1, i2] -> [(i2)] }]"34 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"35 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S2[i0, i1, i2]; S9[i0, i1, i2]; S8[i0, i1, i2] }"36 child:37 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S2[i0, i1, i2] -> [(i0)]; S8[i0, i1, i2] -> [(i0)]; S9[i0, i1, i2] -> [(i0)] }]"38 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"39 child:40 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S2[i0, i1, i2] -> [(2i1)]; S8[i0, i1, i2] -> [(2i1)]; S9[i0, i1, i2] -> [(1 + 2i1)] }]"41 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"42 child:43 sequence:44 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S2[i0, i1, i2] }"45 child:46 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S2[i0, i1, i2] -> [(i2)] }]"47 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"48 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S8[i0, i1, i2] }"49 child:50 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S8[i0, i1, i2] -> [(i2)] }]"51 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"52 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S9[i0, i1, i2] }"53 child:54 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S9[i0, i1, i2] -> [(i2)] }]"55 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"56 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S4[i0, i1, i2] }"57 child:58 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S4[i0, i1, i2] -> [(i0)] }]"59 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"60 child:61 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S4[i0, i1, i2] -> [(i1)] }]"62 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"63 child:64 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S4[i0, i1, i2] -> [(i2)] }]"65 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"66 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S5[i0, i1, i2] }"67 child:68 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S5[i0, i1, i2] -> [(i0)] }]"69 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"70 child:71 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S5[i0, i1, i2] -> [(i1)] }]"72 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"73 child:74 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S5[i0, i1, i2] -> [(i2)] }]"75 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"76 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S12[i0, i1, i2] }"77 child:78 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S12[i0, i1, i2] -> [(i0)] }]"79 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"80 child:81 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S12[i0, i1, i2] -> [(i1)] }]"82 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"83 child:84 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S12[i0, i1, i2] -> [(i2)] }]"85 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"86 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S13[i0, i1, i2] }"87 child:88 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S13[i0, i1, i2] -> [(i0)] }]"89 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"90 child:91 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S13[i0, i1, i2] -> [(i1)] }]"92 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"93 child:94 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S13[i0, i1, i2] -> [(i2)] }]"95 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"96 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S14[i0, i1, i2] }"97 child:98 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S14[i0, i1, i2] -> [(i0)] }]"99 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"100 child:101 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S14[i0, i1, i2] -> [(i1)] }]"102 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"103 child:104 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S14[i0, i1, i2] -> [(i2)] }]"105 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"106 - filter: "[M, N, O, P, Q, R, S, T, U] -> { S15[i0, i1, i2] }"107 child:108 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S15[i0, i1, i2] -> [(i0)] }]"109 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"110 child:111 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S15[i0, i1, i2] -> [(i1)] }]"112 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"113 child:114 schedule: "[M, N, O, P, Q, R, S, T, U] -> [{ S15[i0, i1, i2] -> [(i2)] }]"115 options: "[M, N, O, P, Q, R, S, T, U] -> { separate[i0] }"116