Size = 16
Type = NBEVN interval(-1.79769e+308,1.79769e+308,-24)
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = RBEVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RBEVN interval(-inf,inf,-2101)
Type = RKCVN interval(10,10,-29)
Type = RSESN interval(-inf,inf,-2101)
Type = RSESN interval(-inf,inf,-2101)
Type = RSESN interval(-inf,inf,-2101)
Type = RSESN interval(-inf,inf,-2101)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)}
