WhiteSpace Strippers saved 719 bits