Table 4
First level reachable set and prior set.