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