1 1.1 mrg domain: "{ A[]; B[i] : 0 <= i < 10 }" 2 1.1 mrg child: 3 1.1 mrg schedule: "[{ A[] -> [0]; B[i] -> [i] }]" 4
Indexes created Mon Mar 02 05:31:46 UTC 2026