Size = 44
Type = NBEVN interval(0,1000,0)
Type = NBEVN interval(0,2000,0)
Type = NBEVN interval(200,3000,0)
Type = NKCVN interval(0,0,-24)
Type = NKCVN interval(1,1,-24)
Type = RBEVN interval(0,1000,-24)
Type = RBEVN interval(0,2000,-24)
Type = RBEVN interval(200,3000,-24)
Type = RKCVN interval(0,0,-24)
Type = RKCVN interval(0.001,0.001,-24)
Type = RKCVN interval(0.999,0.999,-24)
Type = RKCVN interval(1,1,-24)
Type = RKCVN interval(1000,1000,-24)
Type = RKCVN interval(200,200,-24)
Type = RKCVN interval(2000,2000,-24)
Type = RKCVN interval(3000,3000,-24)
Type = RKCVN interval(400,400,-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 = RSEVN interval(-0.001,0.001,-24)
Type = RSEVN interval(-0.001,0.001,-24)
Type = RSEVN interval(-0.001,0.001,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)}
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)}
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)}
