1{
2	"name": "do.body => do.end",
3	"context": "{ [] }",
4	"statements": [{
5		"name": "Stmt_do_body",
6		"domain": "{ Stmt_do_body[i0] : i0 >= 0 and i0 <= 2147483646 }",
7		"schedule": "{ Stmt_do_body[i0] -> [0, o1, i0, o3, 0] : 64o3 = o1 and o1 <= i0 and o1 >= -63 + i0 }",
8		"accesses": [{
9			"kind": "write",
10			"relation": "{ Stmt_do_body[i0] -> MemRef_A[0] }"
11		}]
12	}]
13}