nutmegredundancysolver
