8 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 100 }'
13 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 100 }'
17 extent: '{ a[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= 99 and i1 <= 99 }'
23 schedule: '{ S_0[] -> [0] }'
29 relation: '{ S_0[] -> N[] }'
30 index: '{ S_0[] -> N[] }'
31 reference: __pet_ref_0
38 schedule: '{ S_1[] -> [1] }'
44 relation: '{ S_1[] -> M[] }'
45 index: '{ S_1[] -> M[] }'
46 reference: __pet_ref_1
52 domain: '{ [S_2[i, j] -> [N, M]] : i >= 0 and j >= 0 and N >= 1 + i and M >= 1 +
54 schedule: '{ S_2[i, j] -> [2, i, j] }'
60 relation: '{ S_2[i, j] -> a[i, j] }'
61 index: '{ S_2[i, j] -> a[(i), (j)] }'
62 reference: __pet_ref_4
69 relation: '{ S_2[i, j] -> [i] }'
70 index: '{ S_2[i, j] -> [(i)] }'
71 reference: __pet_ref_5
75 relation: '{ S_2[i, j] -> [j] }'
76 index: '{ S_2[i, j] -> [(j)] }'
77 reference: __pet_ref_6
82 relation: '{ S_2[i, j] -> N[] }'
83 index: '{ S_2[i, j] -> N[] }'
84 reference: __pet_ref_2
88 relation: '{ S_2[i, j] -> M[] }'
89 index: '{ S_2[i, j] -> M[] }'
90 reference: __pet_ref_3
94 domain: '{ [S_3[i, j] -> [N, M]] : i >= 0 and j >= 0 and N >= 1 + i and M >= 1 +
96 schedule: '{ S_3[i, j] -> [3, i, j] }'
102 relation: '{ S_3[i, j] -> [i] }'
103 index: '{ S_3[i, j] -> [(i)] }'
104 reference: __pet_ref_9
108 relation: '{ S_3[i, j] -> [j] }'
109 index: '{ S_3[i, j] -> [(j)] }'
110 reference: __pet_ref_10
114 relation: '{ S_3[i, j] -> a[i, j] }'
115 index: '{ S_3[i, j] -> a[(i), (j)] }'
116 reference: __pet_ref_11
121 relation: '{ S_3[i, j] -> N[] }'
122 index: '{ S_3[i, j] -> N[] }'
123 reference: __pet_ref_7
127 relation: '{ S_3[i, j] -> M[] }'
128 index: '{ S_3[i, j] -> M[] }'
129 reference: __pet_ref_8