#include "groebner.h"
#include "groebner_defs.h"
#include <functional>
#include <algorithm>
#include <vector>
#include <map>
#include <set>
#include <utility>
#include <boost/shared_ptr.hpp>
#include <queue>
#include <polybori.h>
#include "pairs.h"
#include <boost/dynamic_bitset.hpp>
#include <iostream>
#include <ext/hash_map>