4 context: '[n] -> { : n >= 0 and n <= 2147483647 }'
7 extent: '[n] -> { t[] }'
11 - context: '[n] -> { : n >= 0 }'
12 extent: '[n] -> { A[i0, i1] : i1 >= 0 and i0 >= 0 and i1 <= -1 + n }'
15 - context: '[n] -> { : n >= 0 }'
16 extent: '[n] -> { B[i0, i1] : i1 >= 0 and i0 >= 0 and i1 <= -1 + n }'
21 domain: '[n] -> { S_0[i, j] : i >= 0 and i <= -1 + n and j <= -1 + n and j >= 0
23 schedule: '[n] -> { S_0[i, j] -> [0, i, j, 0, 0] }'
31 relation: '[n] -> { S_0[i, j] -> t[] }'
32 index: '[n] -> { S_0[i, j] -> t[] }'
33 reference: __pet_ref_0
37 domain: '[n] -> { S_1[i, j] : i >= 0 and i <= -1 + n and j <= -1 + n and j >= 0
39 schedule: '[n] -> { S_1[i, j] -> [0, i, j, 0, 1] }'
47 index: '[n] -> { S_1[i, j] -> t[] }'
48 reference: __pet_ref_1
55 index: '[n] -> { S_1[i, j] -> [(i)] }'
56 reference: __pet_ref_2
60 index: '[n] -> { S_1[i, j] -> [(j)] }'
61 reference: __pet_ref_3
65 domain: '[n] -> { S_3[i, j] : i >= 0 and i <= -1 + n and j <= -1 + n and j >= 0
67 schedule: '[n] -> { S_3[i, j] -> [0, i, j, 1] }'
75 index: '[n] -> { [S_3[i, j] -> [i2]] -> B[(i), ((i2) : i2 >= 0)] }'
76 reference: __pet_ref_5
81 index: '[n] -> { S_3[i, j] -> A[(i), (j)] }'
82 reference: __pet_ref_4
86 index: '[n] -> { S_3[i, j] -> t[] }'
87 reference: __pet_ref_6
91 domain: '[n] -> { S_2[i, j] : i >= 0 and i <= -1 + n and j <= -1 + n and j >= 0
93 schedule: '[n] -> { S_2[i, j] -> [0, i, j, 2] }'
101 relation: '[n] -> { S_2[i, j] -> t[] }'
102 index: '[n] -> { S_2[i, j] -> t[] }'
103 reference: __pet_ref_7
107 - filter: '[n] -> { S_2[i, j] -> S_2[i, j''] : j'' >= 1 + j; S_0[i, j] -> S_1[i, j'']
108 : j'' >= 1 + j; S_2[i, j] -> S_1[i, j''] : j'' >= 1 + j; S_3[i, j] -> S_1[i, j'']
109 : j'' >= 1 + j; S_0[i, j] -> S_2[i, j''] : j'' >= 1 + j; S_3[i, j] -> S_2[i, j'']
110 : j'' >= 1 + j; S_1[i, j] -> S_0[i, j''] : j'' >= 1 + j; S_2[i, j] -> S_0[i, j'']
111 : j'' >= 1 + j; S_0[i, j] -> S_0[i, j''] : j'' >= 1 + j; S_0[i, j] -> S_3[i, j'']
112 : j'' >= 1 + j; S_3[i, j] -> S_0[i, j''] : j'' >= 1 + j; S_1[i, j] -> S_2[i, j'']
113 : j'' >= 1 + j; S_3[i, j] -> S_3[i, j''] : j'' >= 1 + j; S_1[i, j] -> S_3[i, j'']
114 : j'' >= 1 + j; S_1[i, j] -> S_1[i, j''] : j'' >= 1 + j; S_2[i, j] -> S_3[i, j'']