Cleanup on superIncreasingSolver: follow psuedocode from CAGE book