#include <tagcoll/CardinalityStore.h>
#include <tagcoll/Patches.h>
#include <tagcoll/stringf.h>
#include <iterator>
#include <algorithm>
#include <vector>
#include <string>