File size: 79 Bytes
d8c8ff5
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
{
  "PHASE2ID": {
    "INIT": 0,
    "LOC": 1,
    "INC": 2,
    "SUP": 3
  }
}