1 domain: "{ A[]; B[i] : 0 <= i < 10 }" 2 child: 3 schedule: "[{ A[] -> [0]; B[i] -> [i] }]" 4 child: 5 sequence: 6 - filter: "{ B[i] }" 7 - filter: "{ A[] }" 8
Indexes created Sun Mar 01 05:31:48 UTC 2026
