Size = 47
Type = BE interval(-inf,inf,-42) : {RBEVN interval(-inf,inf,-42)}
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,0)
Type = NSESN interval(-2.14748e+09,2.14748e+09,0)
Type = NSESN interval(0,1025,0)
Type = NSESN interval(0,1025,0)
Type = NSESN interval(0,2.14748e+09,0)
Type = NSESN interval(0,2.14748e+09,0)
Type = RBESN interval(-inf,inf,-42)
Type = RBEVN interval(-1,1,-42)
Type = RKCVN interval(-1,-1,-32)
Type = RKCVN interval(0,0,0)
Type = RKCVN interval(0.001,0.001,-42)
Type = RKCVN interval(0.005,0.005,-40)
Type = RKCVN interval(0.995,0.995,-33)
Type = RKCVN interval(1,1,-32)
Type = RKCVN interval(100,100,-26)
Type = RSESN interval(-inf,inf,-1)
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,-32)
Type = RSESN interval(-inf,inf,-32)
Type = RSESN interval(-inf,inf,-42)
Type = RSESN interval(-inf,inf,-42)
Type = RSESN interval(-inf,inf,-64)
Type = RSESN interval(-inf,inf,-64)
Type = RSESN interval(-inf,inf,-64)
Type = RSESN interval(-inf,inf,-64)
Type = RSESN interval(-inf,inf,-64)
Type = RSESN interval(-inf,inf,-68)
Type = RSESN interval(-inf,inf,-88)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-96)
Type = RSESN interval(-inf,inf,-97)
Type = RSESN interval(-inf,inf,-97)
Type = RSEVN interval(-0.005,0.005,-64)
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,-64) : {RSESN interval(-inf,inf,-64)}
