16 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
22 schedule: '{ S_0[] -> [0, 0] }'
28 relation: '{ S_0[] -> b[] }'
33 schedule: '{ S_1[] -> [0, 1] }'
39 relation: '{ S_1[] -> b[] }'
43 relation: '{ S_1[] -> [1] }'
48 schedule: '{ S_2[] -> [1, 0] }'
54 relation: '{ S_2[] -> c[] }'
59 schedule: '{ S_3[] -> [1, 1] }'
65 relation: '{ S_3[] -> c[] }'
69 relation: '{ S_3[] -> b[] }'
74 schedule: '{ S_4[] -> [2] }'
80 relation: '{ S_4[] -> b[] }'
84 relation: '{ S_4[] -> [2] }'
89 schedule: '{ S_5[] -> [3] }'
95 relation: '{ S_5[] -> a[1] }'
99 relation: '{ S_5[] -> [5] }'