WhiteSpace Strippers saved 145 bits