#include "ester-config.h"
#include "star.h"
#include <stdlib.h>
#include <sys/time.h>
#include <string.h>
#include "symbolic.h"