dump redundancies to file