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