bitset compressing when save to file