domain: "[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 }"
child:
  context: "[M, N] -> { [] : M <= 3 and N >= 100 }"
  child:
    sequence:
    - filter: "[M, N] -> { S1[] }"
    - filter: "[M, N] -> { S2[] }"
    - filter: "[M, N] -> { S3[] }"
    - filter: "[M, N] -> { S5[i0, i1]; S4[i0, i1] }"
      child:
        schedule: "[M, N] -> [{ S5[i0, i1] -> [(i0)]; S4[i0, i1] -> [(i0)] }]"
        options: "[M, N] -> { separate[i0] }"
        child:
          schedule: "[M, N] -> [{ S5[i0, i1] -> [(i1)]; S4[i0, i1] -> [(i1)] }]"
          options: "[M, N] -> { separate[i0] }"
          child:
            sequence:
            - filter: "[M, N] -> { S4[i0, i1] }"
            - filter: "[M, N] -> { S5[i0, i1] }"
    - filter: "[M, N] -> { S7[i0, i1, i2, i3]; S6[i0, i1, i2, i3] }"
      child:
        schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i0)]; S6[i0, i1, i2, i3] -> [(i0)] }]"
        options: "[M, N] -> { separate[i0] }"
        child:
          schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i1)]; S6[i0, i1, i2, i3] -> [(i1)] }]"
          options: "[M, N] -> { separate[i0] }"
          child:
            schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i2)]; S6[i0, i1, i2, i3] -> [(i2)] }]"
            options: "[M, N] -> { separate[i0] }"
            child:
              schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i3)]; S6[i0, i1, i2, i3] -> [(1 + i3)] }]"
              options: "[M, N] -> { separate[i0] }"
              child:
                sequence:
                - filter: "[M, N] -> { S6[i0, i1, i2, i3] }"
                - filter: "[M, N] -> { S7[i0, i1, i2, i3] }"
    - filter: "[M, N] -> { S8[] }"