typedef int integer;
typedef std::map<std::string, std::vector<int> > NameToNumbersMap;
typedef float FLOAT
typedef int FLOAT