#include "MAiNGO.h"
#include "bab.h"
#include "exceptions.h"
#include "utilities.h"
#include <limits.h>