State-space reduction in the model of Access Control Lists in IP routers. (9th February 2007)