1domain: "{ C[i0, i1] : 2 <= i0 <= 3999 and 0 <= i1 < i0 }"2child:3 schedule: "[{ C[i0, i1] -> [(i0)] }]"4 child:5 schedule: "[{ C[i0, i1] -> [(i1)] }]"6
