java logs benchmarks index bit-vector succinct string-matching fm-index wavelet-tree burrows-wheeler-transform string-processing succinct-data-structure system-logs rank-queries string-indexing bitvector-library log-processing string-index fm-index-java wavelet-tree-java