Size = 47
Type = BE interval(-inf,inf,-24) : {RBEVN interval(-inf,inf,-24)}
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKCVN interval(100,100,0)
Type = NKCVN interval(1025,1025,0)
Type = NSESN interval(-2.14748e+09,2.14748e+09,-24)
Type = NSESN interval(-2.14748e+09,2.14748e+09,0)
Type = NSESN interval(0,1025,-24)
Type = NSESN interval(0,1025,-24)
Type = NSESN interval(0,2.14748e+09,-24)
Type = NSESN interval(0,2.14748e+09,-24)
Type = RBESN interval(-inf,inf,-24)
Type = RBEVN interval(-1,1,-24)
Type = RKCVN interval(-1,-1,-24)
Type = RKCVN interval(0,0,-24)
Type = RKCVN interval(0.001,0.001,-24)
Type = RKCVN interval(0.005,0.005,-24)
Type = RKCVN interval(0.995,0.995,-24)
Type = RKCVN interval(1,1,-24)
Type = RKCVN interval(100,100,-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,-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.005,0.005,-24)
Type = RSEVN interval(-1,1,-24)
Type = SE interval(-inf,inf,-24) : {RSESN 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)}
