#include <cassert>

#include <cassert>

#include <fstream>

#include <fstream>

#include <popt.h>

#include <popt.h>

#include <cassert>

#include <cassert>

#include <fstream>

#include <fstream>

#include <popt.h>

#include <popt.h>

#include <config.h>

#include <config.h>

#include <sstream>

#include <sstream>

#include "defs.h"

#include "defs.h"

#include "AbstractLogger.hh"

#include "AbstractLogger.hh"

#include "ValueConversion.hh"

#include "ValueConversion.hh"

#include <cassert>

#include <cassert>

#include "mathVariantAux.hh"

#include "mathVariantAux.hh"

static MathVariantAttributes vattr[] = {

static MathVariantAttributes vattr[] = {