LevelDB: store big set