swim.st 22 KB
domain: "[M, N, O, P, Q, R] -> { S40[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S106[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S99[i0] : M = 1 and i0 >= 2 and i0 <= P; S83[i0] : M = 1 and i0 >= 2 and i0 <= P; S86[i0] : M = 1 and i0 >= 2 and i0 <= P; S56[i0] : M = 1 and i0 >= 2 and i0 <= P; S124[i0] : M = 1 and i0 >= 2 and i0 <= P; S66[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S46[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S64[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S22[] : M = 1; S15[] : M = 1; S30[i0, i1] : M = 1 and i0 >= 1 and i0 <= N and i1 >= 1 and i1 <= N; S14[] : M = 1; S12[] : M = 1; S87[i0] : M = 1 and i0 >= 2 and i0 <= P; S110[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S73[i0] : M = 1 and i0 >= 2 and i0 <= P; S44[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S31[i0] : M = 1 and i0 >= 1 and i0 <= N; S118[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S8[] : M = 1; S125[i0] : M = 1 and i0 >= 2 and i0 <= P; S63[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S25[] : M = 1; S51[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S91[i0] : M = 1 and i0 >= 2 and i0 <= P; S84[i0] : M = 1 and i0 >= 2 and i0 <= P; S35[] : M = 1 and O <= 1; S97[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= N and i2 >= 1 and i2 <= N; S75[i0] : M = 1 and i0 >= 2 and i0 <= P; S19[] : M = 1; S50[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S114[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S13[] : M = 1; S72[i0] : M = 1 and i0 >= 2 and i0 <= P; S78[i0] : M = 1 and i0 >= 2 and i0 <= P; S39[i0] : M = 1 and i0 >= 2 and i0 <= P; S102[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S107[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S68[i0] : M = 1 and i0 >= 2 and i0 <= P; S32[] : M = 1; S41[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S69[i0] : M = 1 and i0 >= 2 and i0 <= P; S3[] : M = 1; S100[i0] : M = 1 and i0 >= 2 and i0 <= P; S11[] : M = 1; S76[i0] : M = 1 and i0 >= 2 and i0 <= P; S88[i0] : M = 1 and i0 >= 2 and i0 <= P; S49[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S45[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S10[] : M = 1; S80[i0] : M = 1 and i0 >= 2 and i0 <= P; S61[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S67[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S70[i0] : M = 1 and i0 >= 2 and i0 <= P; S29[i0, i1] : M = 1 and i0 >= 1 and i0 <= N and i1 >= 1 and i1 <= N; S60[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S21[] : M = 1; S92[i0] : M = 1 and i0 >= 2 and i0 <= P; S47[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S24[] : M = 1; S16[] : M = 1; S105[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S18[] : M = 1; S48[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S5[] : M = 1; S113[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S7[] : M = 1; S38[i0] : M = 1 and i0 >= 2 and i0 <= P; S54[i0] : M = 1 and i0 >= 2 and i0 <= P; S109[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S23[] : M = 1; S82[i0] : M = 1 and i0 >= 2 and i0 <= P; S59[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S77[i0] : M = 1 and i0 >= 2 and i0 <= P; S101[i0] : M = 1 and i0 >= 2 and i0 <= P; S37[] : M = 1; S71[i0] : M = 1 and i0 >= 2 and i0 <= P; S121[i0] : M = 1 and i0 >= 2 and i0 <= P; S115[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S104[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S94[i0] : M = 1 and i0 >= 2 and i0 <= P; S6[] : M = 1; S43[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S1[] : M = 1; S98[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= N; S55[i0] : M = 1 and i0 >= 2 and i0 <= P; S58[i0] : M = 1 and i0 >= 2 and i0 <= P; S42[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S89[i0] : M = 1 and i0 >= 2 and i0 <= P; S53[i0] : M = 1 and i0 >= 2 and i0 <= P; S111[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S52[i0] : M = 1 and i0 >= 2 and i0 <= P; S85[i0] : M = 1 and i0 >= 2 and i0 <= P; S26[] : M = 1; S79[i0] : M = 1 and i0 >= 2 and i0 <= P; S81[i0] : M = 1 and i0 >= 2 and i0 <= P; S57[i0] : M = 1 and i0 >= 2 and i0 <= P; S4[] : M = 1; S123[i0] : M = 1 and i0 >= 2 and i0 <= P; S36[] : M = 1; S65[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S34[] : M = 1; S119[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S9[] : M = 1; S28[i0, i1] : M = 1 and i0 >= 1 and i0 <= N and i1 >= 1 and i1 <= N; S20[] : M = 1; S117[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S112[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S103[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S17[] : M = 1; S96[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= N and i2 >= 1 and i2 <= N; S95[i0, i1, i2] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= N and i2 >= 1 and i2 <= N; S62[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S90[i0] : M = 1 and i0 >= 2 and i0 <= P; S120[i0] : M = 1 and i0 >= 2 and i0 <= P; S116[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= R; S108[i0, i1] : M = 1 and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q; S74[i0] : M = 1 and i0 >= 2 and i0 <= P; S93[i0] : M = 1 and i0 >= 2 and i0 <= P; S2[] : M = 1; S27[] : M = 1; S122[i0] : M = 1 and i0 >= 2 and i0 <= P; S33[] : M = 1 }"
child:
  context: "[M, N, O, P, Q, R] -> { [] }"
  child:
    sequence:
    - filter: "[M, N, O, P, Q, R] -> { S1[] }"
    - filter: "[M, N, O, P, Q, R] -> { S2[] }"
    - filter: "[M, N, O, P, Q, R] -> { S3[] }"
    - filter: "[M, N, O, P, Q, R] -> { S4[] }"
    - filter: "[M, N, O, P, Q, R] -> { S5[] }"
    - filter: "[M, N, O, P, Q, R] -> { S6[] }"
    - filter: "[M, N, O, P, Q, R] -> { S7[] }"
    - filter: "[M, N, O, P, Q, R] -> { S8[] }"
    - filter: "[M, N, O, P, Q, R] -> { S9[] }"
    - filter: "[M, N, O, P, Q, R] -> { S10[] }"
    - filter: "[M, N, O, P, Q, R] -> { S11[] }"
    - filter: "[M, N, O, P, Q, R] -> { S12[] }"
    - filter: "[M, N, O, P, Q, R] -> { S13[] }"
    - filter: "[M, N, O, P, Q, R] -> { S14[] }"
    - filter: "[M, N, O, P, Q, R] -> { S15[] }"
    - filter: "[M, N, O, P, Q, R] -> { S16[] }"
    - filter: "[M, N, O, P, Q, R] -> { S17[] }"
    - filter: "[M, N, O, P, Q, R] -> { S18[] }"
    - filter: "[M, N, O, P, Q, R] -> { S19[] }"
    - filter: "[M, N, O, P, Q, R] -> { S20[] }"
    - filter: "[M, N, O, P, Q, R] -> { S21[] }"
    - filter: "[M, N, O, P, Q, R] -> { S22[] }"
    - filter: "[M, N, O, P, Q, R] -> { S23[] }"
    - filter: "[M, N, O, P, Q, R] -> { S24[] }"
    - filter: "[M, N, O, P, Q, R] -> { S25[] }"
    - filter: "[M, N, O, P, Q, R] -> { S26[] }"
    - filter: "[M, N, O, P, Q, R] -> { S27[] }"
    - filter: "[M, N, O, P, Q, R] -> { S30[i0, i1]; S28[i0, i1]; S31[i0]; S29[i0, i1] }"
      child:
        schedule: "[M, N, O, P, Q, R] -> [{ S31[i0] -> [(i0)]; S29[i0, i1] -> [(i0)]; S30[i0, i1] -> [(i0)]; S28[i0, i1] -> [(i0)] }]"
        options: "[M, N, O, P, Q, R] -> { separate[i0] }"
        child:
          sequence:
          - filter: "[M, N, O, P, Q, R] -> { S30[i0, i1]; S28[i0, i1]; S29[i0, i1] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S29[i0, i1] -> [(i1)]; S30[i0, i1] -> [(i1)]; S28[i0, i1] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                sequence:
                - filter: "[M, N, O, P, Q, R] -> { S28[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S29[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S30[i0, i1] }"
          - filter: "[M, N, O, P, Q, R] -> { S31[i0] }"
    - filter: "[M, N, O, P, Q, R] -> { S32[] }"
    - filter: "[M, N, O, P, Q, R] -> { S33[] }"
    - filter: "[M, N, O, P, Q, R] -> { S34[] }"
    - filter: "[M, N, O, P, Q, R] -> { S35[] }"
    - filter: "[M, N, O, P, Q, R] -> { S36[] }"
    - filter: "[M, N, O, P, Q, R] -> { S37[] }"
    - filter: "[M, N, O, P, Q, R] -> { S58[i0]; S116[i0, i1]; S120[i0]; S106[i0, i1, i2]; S102[i0, i1, i2]; S114[i0, i1]; S113[i0, i1]; S122[i0]; S83[i0]; S103[i0, i1, i2]; S71[i0]; S50[i0, i1]; S98[i0, i1]; S65[i0, i1]; S82[i0]; S109[i0, i1]; S51[i0, i1]; S60[i0, i1, i2]; S91[i0]; S78[i0]; S101[i0]; S123[i0]; S111[i0, i1]; S97[i0, i1, i2]; S67[i0, i1]; S117[i0, i1]; S88[i0]; S79[i0]; S46[i0, i1]; S56[i0]; S45[i0, i1]; S74[i0]; S49[i0, i1]; S75[i0]; S115[i0, i1]; S119[i0, i1]; S42[i0, i1, i2]; S57[i0]; S62[i0, i1]; S99[i0]; S107[i0, i1, i2]; S100[i0]; S104[i0, i1, i2]; S70[i0]; S89[i0]; S125[i0]; S44[i0, i1]; S93[i0]; S90[i0]; S84[i0]; S105[i0, i1, i2]; S95[i0, i1, i2]; S66[i0, i1]; S77[i0]; S38[i0]; S41[i0, i1, i2]; S92[i0]; S87[i0]; S47[i0, i1]; S108[i0, i1]; S54[i0]; S76[i0]; S112[i0, i1]; S80[i0]; S55[i0]; S39[i0]; S59[i0, i1, i2]; S121[i0]; S86[i0]; S110[i0, i1]; S48[i0, i1]; S68[i0]; S53[i0]; S72[i0]; S85[i0]; S52[i0]; S69[i0]; S61[i0, i1, i2]; S43[i0, i1, i2]; S124[i0]; S73[i0]; S81[i0]; S63[i0, i1]; S118[i0, i1]; S96[i0, i1, i2]; S40[i0, i1, i2]; S94[i0]; S64[i0, i1] }"
      child:
        schedule: "[M, N, O, P, Q, R] -> [{ S99[i0] -> [(i0)]; S97[i0, i1, i2] -> [(i0)]; S53[i0] -> [(i0)]; S101[i0] -> [(i0)]; S60[i0, i1, i2] -> [(i0)]; S40[i0, i1, i2] -> [(i0)]; S103[i0, i1, i2] -> [(i0)]; S55[i0] -> [(i0)]; S89[i0] -> [(i0)]; S56[i0] -> [(i0)]; S87[i0] -> [(i0)]; S115[i0, i1] -> [(i0)]; S123[i0] -> [(i0)]; S88[i0] -> [(i0)]; S70[i0] -> [(i0)]; S59[i0, i1, i2] -> [(i0)]; S52[i0] -> [(i0)]; S54[i0] -> [(i0)]; S63[i0, i1] -> [(i0)]; S92[i0] -> [(i0)]; S93[i0] -> [(i0)]; S119[i0, i1] -> [(i0)]; S76[i0] -> [(i0)]; S57[i0] -> [(i0)]; S44[i0, i1] -> [(i0)]; S79[i0] -> [(i0)]; S61[i0, i1, i2] -> [(i0)]; S69[i0] -> [(i0)]; S117[i0, i1] -> [(i0)]; S121[i0] -> [(i0)]; S84[i0] -> [(i0)]; S83[i0] -> [(i0)]; S43[i0, i1, i2] -> [(i0)]; S98[i0, i1] -> [(i0)]; S78[i0] -> [(i0)]; S114[i0, i1] -> [(i0)]; S66[i0, i1] -> [(i0)]; S77[i0] -> [(i0)]; S109[i0, i1] -> [(i0)]; S42[i0, i1, i2] -> [(i0)]; S58[i0] -> [(i0)]; S71[i0] -> [(i0)]; S68[i0] -> [(i0)]; S116[i0, i1] -> [(i0)]; S81[i0] -> [(i0)]; S125[i0] -> [(i0)]; S80[i0] -> [(i0)]; S73[i0] -> [(i0)]; S110[i0, i1] -> [(i0)]; S72[i0] -> [(i0)]; S51[i0, i1] -> [(i0)]; S122[i0] -> [(i0)]; S38[i0] -> [(i0)]; S39[i0] -> [(i0)]; S90[i0] -> [(i0)]; S113[i0, i1] -> [(i0)]; S46[i0, i1] -> [(i0)]; S47[i0, i1] -> [(i0)]; S96[i0, i1, i2] -> [(i0)]; S45[i0, i1] -> [(i0)]; S49[i0, i1] -> [(i0)]; S118[i0, i1] -> [(i0)]; S50[i0, i1] -> [(i0)]; S102[i0, i1, i2] -> [(i0)]; S112[i0, i1] -> [(i0)]; S86[i0] -> [(i0)]; S124[i0] -> [(i0)]; S41[i0, i1, i2] -> [(i0)]; S100[i0] -> [(i0)]; S104[i0, i1, i2] -> [(i0)]; S75[i0] -> [(i0)]; S62[i0, i1] -> [(i0)]; S85[i0] -> [(i0)]; S105[i0, i1, i2] -> [(i0)]; S82[i0] -> [(i0)]; S111[i0, i1] -> [(i0)]; S48[i0, i1] -> [(i0)]; S65[i0, i1] -> [(i0)]; S120[i0] -> [(i0)]; S107[i0, i1, i2] -> [(i0)]; S106[i0, i1, i2] -> [(i0)]; S95[i0, i1, i2] -> [(i0)]; S108[i0, i1] -> [(i0)]; S91[i0] -> [(i0)]; S67[i0, i1] -> [(i0)]; S74[i0] -> [(i0)]; S64[i0, i1] -> [(i0)]; S94[i0] -> [(i0)] }]"
        options: "[M, N, O, P, Q, R] -> { separate[i0] }"
        child:
          sequence:
          - filter: "[M, N, O, P, Q, R] -> { S38[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S39[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S40[i0, i1, i2]; S41[i0, i1, i2]; S43[i0, i1, i2]; S42[i0, i1, i2] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S43[i0, i1, i2] -> [(i1)]; S41[i0, i1, i2] -> [(i1)]; S40[i0, i1, i2] -> [(i1)]; S42[i0, i1, i2] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                schedule: "[M, N, O, P, Q, R] -> [{ S43[i0, i1, i2] -> [(i2)]; S41[i0, i1, i2] -> [(i2)]; S40[i0, i1, i2] -> [(i2)]; S42[i0, i1, i2] -> [(i2)] }]"
                options: "[M, N, O, P, Q, R] -> { separate[i0] }"
                child:
                  sequence:
                  - filter: "[M, N, O, P, Q, R] -> { S40[i0, i1, i2] }"
                  - filter: "[M, N, O, P, Q, R] -> { S41[i0, i1, i2] }"
                  - filter: "[M, N, O, P, Q, R] -> { S42[i0, i1, i2] }"
                  - filter: "[M, N, O, P, Q, R] -> { S43[i0, i1, i2] }"
          - filter: "[M, N, O, P, Q, R] -> { S46[i0, i1]; S45[i0, i1]; S44[i0, i1]; S47[i0, i1] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S47[i0, i1] -> [(i1)]; S46[i0, i1] -> [(i1)]; S44[i0, i1] -> [(i1)]; S45[i0, i1] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                sequence:
                - filter: "[M, N, O, P, Q, R] -> { S44[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S45[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S46[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S47[i0, i1] }"
          - filter: "[M, N, O, P, Q, R] -> { S51[i0, i1]; S49[i0, i1]; S50[i0, i1]; S48[i0, i1] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S51[i0, i1] -> [(i1)]; S49[i0, i1] -> [(i1)]; S48[i0, i1] -> [(i1)]; S50[i0, i1] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                sequence:
                - filter: "[M, N, O, P, Q, R] -> { S48[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S49[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S50[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S51[i0, i1] }"
          - filter: "[M, N, O, P, Q, R] -> { S52[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S53[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S54[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S55[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S56[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S57[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S58[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S60[i0, i1, i2]; S59[i0, i1, i2]; S61[i0, i1, i2] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S61[i0, i1, i2] -> [(i1)]; S59[i0, i1, i2] -> [(i1)]; S60[i0, i1, i2] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                schedule: "[M, N, O, P, Q, R] -> [{ S61[i0, i1, i2] -> [(i2)]; S59[i0, i1, i2] -> [(i2)]; S60[i0, i1, i2] -> [(i2)] }]"
                options: "[M, N, O, P, Q, R] -> { separate[i0] }"
                child:
                  sequence:
                  - filter: "[M, N, O, P, Q, R] -> { S59[i0, i1, i2] }"
                  - filter: "[M, N, O, P, Q, R] -> { S60[i0, i1, i2] }"
                  - filter: "[M, N, O, P, Q, R] -> { S61[i0, i1, i2] }"
          - filter: "[M, N, O, P, Q, R] -> { S62[i0, i1]; S63[i0, i1]; S64[i0, i1] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S64[i0, i1] -> [(i1)]; S62[i0, i1] -> [(i1)]; S63[i0, i1] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                sequence:
                - filter: "[M, N, O, P, Q, R] -> { S62[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S63[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S64[i0, i1] }"
          - filter: "[M, N, O, P, Q, R] -> { S65[i0, i1]; S66[i0, i1]; S67[i0, i1] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S66[i0, i1] -> [(i1)]; S65[i0, i1] -> [(i1)]; S67[i0, i1] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                sequence:
                - filter: "[M, N, O, P, Q, R] -> { S65[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S66[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S67[i0, i1] }"
          - filter: "[M, N, O, P, Q, R] -> { S68[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S69[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S70[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S71[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S72[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S73[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S74[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S75[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S76[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S77[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S78[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S79[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S80[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S81[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S82[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S83[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S84[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S85[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S86[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S87[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S88[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S89[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S90[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S91[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S92[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S93[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S94[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S96[i0, i1, i2]; S98[i0, i1]; S97[i0, i1, i2]; S95[i0, i1, i2] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S98[i0, i1] -> [(i1)]; S95[i0, i1, i2] -> [(i1)]; S96[i0, i1, i2] -> [(i1)]; S97[i0, i1, i2] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                sequence:
                - filter: "[M, N, O, P, Q, R] -> { S96[i0, i1, i2]; S97[i0, i1, i2]; S95[i0, i1, i2] }"
                  child:
                    schedule: "[M, N, O, P, Q, R] -> [{ S95[i0, i1, i2] -> [(i2)]; S96[i0, i1, i2] -> [(i2)]; S97[i0, i1, i2] -> [(i2)] }]"
                    options: "[M, N, O, P, Q, R] -> { separate[i0] }"
                    child:
                      sequence:
                      - filter: "[M, N, O, P, Q, R] -> { S95[i0, i1, i2] }"
                      - filter: "[M, N, O, P, Q, R] -> { S96[i0, i1, i2] }"
                      - filter: "[M, N, O, P, Q, R] -> { S97[i0, i1, i2] }"
                - filter: "[M, N, O, P, Q, R] -> { S98[i0, i1] }"
          - filter: "[M, N, O, P, Q, R] -> { S99[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S100[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S101[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S107[i0, i1, i2]; S105[i0, i1, i2]; S102[i0, i1, i2]; S104[i0, i1, i2]; S106[i0, i1, i2]; S103[i0, i1, i2] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S102[i0, i1, i2] -> [(i1)]; S103[i0, i1, i2] -> [(i1)]; S104[i0, i1, i2] -> [(i1)]; S107[i0, i1, i2] -> [(i1)]; S106[i0, i1, i2] -> [(i1)]; S105[i0, i1, i2] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                schedule: "[M, N, O, P, Q, R] -> [{ S102[i0, i1, i2] -> [(i2)]; S103[i0, i1, i2] -> [(i2)]; S104[i0, i1, i2] -> [(i2)]; S107[i0, i1, i2] -> [(i2)]; S106[i0, i1, i2] -> [(i2)]; S105[i0, i1, i2] -> [(i2)] }]"
                options: "[M, N, O, P, Q, R] -> { separate[i0] }"
                child:
                  sequence:
                  - filter: "[M, N, O, P, Q, R] -> { S102[i0, i1, i2] }"
                  - filter: "[M, N, O, P, Q, R] -> { S103[i0, i1, i2] }"
                  - filter: "[M, N, O, P, Q, R] -> { S104[i0, i1, i2] }"
                  - filter: "[M, N, O, P, Q, R] -> { S105[i0, i1, i2] }"
                  - filter: "[M, N, O, P, Q, R] -> { S106[i0, i1, i2] }"
                  - filter: "[M, N, O, P, Q, R] -> { S107[i0, i1, i2] }"
          - filter: "[M, N, O, P, Q, R] -> { S113[i0, i1]; S112[i0, i1]; S108[i0, i1]; S111[i0, i1]; S110[i0, i1]; S109[i0, i1] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S110[i0, i1] -> [(i1)]; S112[i0, i1] -> [(i1)]; S111[i0, i1] -> [(i1)]; S113[i0, i1] -> [(i1)]; S109[i0, i1] -> [(i1)]; S108[i0, i1] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                sequence:
                - filter: "[M, N, O, P, Q, R] -> { S108[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S109[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S110[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S111[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S112[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S113[i0, i1] }"
          - filter: "[M, N, O, P, Q, R] -> { S119[i0, i1]; S114[i0, i1]; S117[i0, i1]; S115[i0, i1]; S118[i0, i1]; S116[i0, i1] }"
            child:
              schedule: "[M, N, O, P, Q, R] -> [{ S115[i0, i1] -> [(i1)]; S116[i0, i1] -> [(i1)]; S118[i0, i1] -> [(i1)]; S117[i0, i1] -> [(i1)]; S119[i0, i1] -> [(i1)]; S114[i0, i1] -> [(i1)] }]"
              options: "[M, N, O, P, Q, R] -> { separate[i0] }"
              child:
                sequence:
                - filter: "[M, N, O, P, Q, R] -> { S114[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S115[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S116[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S117[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S118[i0, i1] }"
                - filter: "[M, N, O, P, Q, R] -> { S119[i0, i1] }"
          - filter: "[M, N, O, P, Q, R] -> { S120[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S121[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S122[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S123[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S124[i0] }"
          - filter: "[M, N, O, P, Q, R] -> { S125[i0] }"