The saved state and commands can be used for analysis, such as by processing {HEAD ~ only a subset} of {TAIL ~ the commands} or processing a modified set of the commands 
of
The saved state and commands can be used for analysis , such as by processing { HEAD ~ only a subset } of { TAIL ~ the commands } or processing a modified set of the commands
OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH