store number of bits instead of bitset in querymanager
update libraries