Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization