Size = 264
Type = NBEVN interval(0,524287,0)
Type = NBEVN interval(0,524287,0)
Type = NBEVN interval(0,524287,0)
Type = NBEVN interval(0,524287,0)
Type = NBEVN interval(0,524287,0)
Type = NBEVN interval(0,524287,0)
Type = NBEVN interval(0,960000,0)
Type = NBEVN interval(0,960000,0)
Type = NBEVN interval(0,960000,0)
Type = NBEVN interval(0,960000,0)
Type = NBEVN interval(0,960000,0)
Type = NBEVN interval(0,960000,0)
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKCVN interval(524287,524287,0)
Type = NKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,1,-36)
Type = RBEVN interval(0,5,-39)
Type = RBEVN interval(0,5,-39)
Type = RBEVN interval(0,5,-39)
Type = RBEVN interval(0,5,-39)
Type = RBEVN interval(0,5,-39)
Type = RBEVN interval(0,5,-39)
Type = RBEVN interval(0,960000,-71)
Type = RBEVN interval(0,960000,-71)
Type = RBEVN interval(0,960000,-71)
Type = RBEVN interval(0,960000,-71)
Type = RBEVN interval(0,960000,-71)
Type = RBEVN interval(0,960000,-71)
Type = RKCVN interval(0,0,0)
Type = RKCVN interval(0.01,0.01,-39)
Type = RKCVN interval(0.1,0.1,-36)
Type = RKCVN interval(1,1,-32)
Type = RKCVN interval(192000,192000,-15)
Type = RKCVN interval(5,5,-30)
Type = RKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RKIVN interval(1,1.79769e+308,-32)
Type = RKIVN interval(1,192000,-32)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-60)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = RSEVN interval(-1,1,-60)
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)*RSESN interval(-inf,inf,-24)*RSESN interval(-inf,inf,-24)*RSESN interval(-inf,inf,-24)*RSESN interval(-inf,inf,-24)*RSESN interval(-inf,inf,-24)}
