uint static_sequence_wvtree::rankLessThan(uint &symbol, uint pos) {
uint s = am->map(symbol);
- std::cout << "lessthan..." << std::endl;
+// std::cout << "lessthan..." << std::endl;
uint r = root->rankLessThan(s, pos, 0, c);
symbol = am->unmap(s);
return r;