added timing information
added code to remove a symmitry in enumeration
added logging the output and grammars
further reduction of symmetries