1{
2   "context" : "[N, p] -> {  : N >= -9223372036854775808 and N <= 9223372036854775807 and p >= -9223372036854775808 and p <= 9223372036854775807 and (p % 127) = 0}",
3   "name" : "for.cond => for.end",
4   "statements" : [
5      {
6         "accesses" : [
7            {
8               "kind" : "read",
9               "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_A[i0 % 127] }"
10            },
11            {
12               "kind" : "read",
13               "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_B[floor(i0 / 127)] }"
14            },
15            {
16               "kind" : "read",
17               "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_A[p % 127] }"
18            },
19            {
20               "kind" : "read",
21               "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_B[p / 127] }"
22            },
23            {
24               "kind" : "read",
25               "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_C[i0] }"
26            },
27            {
28               "kind" : "write",
29               "relation" : "[N, p] -> { Stmt_for_body[i0] -> MemRef_C[i0] }"
30            }
31         ],
32         "domain" : "[N, p] -> { Stmt_for_body[i0] : i0 >= 0 and N >= 1 and i0 <= -1 + N }",
33         "name" : "Stmt_for_body",
34         "schedule" : "[N, p] -> { Stmt_for_body[i0] -> [i0] }"
35      }
36   ]
37}
38