425426427428429430431432433434435
.appendByte(indexBitLength) .appendShort(numberOfHashes) .appendShort(numberOfOverflows); for (int i = 0; i < numberOfHashes; i++) { out.appendShort(shortHashes[i]); } for (int i = 0; i < numberOfOverflows; i++) { out.appendShort(overflows[i]); }
429430431432433434435436437438439
for (int i = 0; i < numberOfHashes; i++) { out.appendShort(shortHashes[i]); } for (int i = 0; i < numberOfOverflows; i++) { out.appendShort(overflows[i]); } return out.slice(); }