//-*-c++-*-
#ifndef _TABLEARITY_H
#define _TABLEARITY_H

double arityValC1[9]=
{.0,.0,.3333333333,.4213509470,.4593575835,.4781197991,.4879848690,.4933449741,.4963059706};

double arityValC2[9]=
{.0,.0,.2357022604,.2823725343,.3077073153,.3235738780,.3339586039,.3408457480,.3454088129};

double arityValinf10C15p100[90]=
{
  0,0,0,0,0,2,2,2,2,3,
  0,0,0,0,0,2,2,2,2,3,
  0,0,0,0,0,2,2,2,2,3,
  0,0,0,0,0,2,2,2,3,3,
  0,0,0,0,0,2,2,2,3,3,
  0,0,0,0,0,2,2,2,3,3,
  0,0,0,0,0,2,2,2,3,3,
  0,0,0,0,0,2,2,2,3,3,
  0,0,0,0,0,2,2,2,3,3
};

double arityValinf10C25p100[90]=
{
  1,2,3,4,5,3,4,4,4,5,
  1,2,3,4,5,3,4,4,4,5,
  1,2,3,4,5,3,4,4,4,5,
  1,2,3,4,5,4,4,5,5,6,
  1,2,3,4,5,4,5,5,6,6,
  1,2,3,4,5,4,5,5,6,7,
  1,2,3,4,5,4,5,5,6,7,
  1,2,3,4,5,4,5,6,6,7,
  1,2,3,4,5,4,5,6,6,7
};
//==========================
double arityValinf10C110p100[90]=
{
  0,0,0,0,0,2,2,2,3,3,
  0,0,0,0,0,2,2,2,3,3,
  0,0,0,0,0,2,2,2,3,3,
  0,0,0,0,2,2,2,3,3,3,
  0,0,0,0,2,2,2,3,3,4,
  0,0,0,0,2,2,2,3,3,4,
  0,0,0,0,2,2,2,3,3,4,
  0,0,0,0,2,2,2,3,3,4,
  0,0,0,0,2,2,2,3,3,4
};

double arityValinf10C210p100[90]=
{
  1,2,3,4,5,3,3,4,4,5,
  1,2,3,4,5,3,3,4,4,5,
  1,2,3,4,5,3,3,4,4,5,
  1,2,3,4,3,4,4,5,5,6,
  1,2,3,4,3,4,4,5,5,6,
  1,2,3,4,3,4,5,5,6,6,
  1,2,3,4,3,4,5,5,6,6,
  1,2,3,4,3,4,5,5,6,6,
  1,2,3,4,3,4,5,5,6,6           
};
//===========================
double arityValinf10C120p100[90]=
{
  0,0,0,0,2,2,2,3,3,3,
  0,0,0,0,2,2,2,3,3,3,
  0,0,0,0,2,2,2,3,3,3,
  0,0,0,0,2,2,3,3,3,4,
  0,0,0,0,2,2,3,3,4,4,
  0,0,0,0,2,2,3,3,4,4,
  0,0,0,0,2,2,3,3,4,4,
  0,0,0,0,2,2,3,3,4,4,
  0,0,0,0,2,2,3,3,4,4
};

double arityValinf10C220p100[90]=
{
  1,2,3,4,3,3,3,4,4,4,
  1,2,3,4,3,3,3,4,4,4,
  1,2,3,4,3,3,3,4,4,4,
  1,2,3,4,3,3,4,4,5,5,
  1,2,3,4,3,4,4,5,5,6,
  1,2,3,4,3,4,4,5,5,6,
  1,2,3,4,3,4,4,5,5,6,
  1,2,3,4,3,4,4,5,5,6,
  1,2,3,4,3,4,4,5,5,6,            
};

#endif