Size = 104
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKCVN interval(1.10352e+09,1.10352e+09,0)
Type = NKCVN interval(12345,12345,0)
Type = NKCVN interval(524289,524289,0)
Type = NKCVN interval(65536,65536,0)
Type = NKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,inf,-24)
Type = NSES? interval(0,inf,-24)
Type = NSES? interval(0,inf,-24)
Type = NSES? interval(0,inf,-24)
Type = NSESN interval(-2.14748e+09,2.14748e+09,0)
Type = NSESN interval(0,2.14748e+09,0)
Type = NSESN interval(0,2.14748e+09,0)
Type = NSESN interval(0,2.14748e+09,0)
Type = NSESN interval(0,524289,0)
Type = NSESN interval(0,524289,0)
Type = NSISN interval(0,0,0)
Type = NSISN interval(0,inf,-24)
Type = NSISN interval(0,inf,-24)
Type = NSISN interval(0,inf,-24)
Type = NSISN interval(0,inf,-24)
Type = NSISN interval(12345,inf,-24)
Type = RBEVN interval(0,1,-39)
Type = RBEVN interval(0.005,960000,-107)
Type = RBEVN interval(1,1000,-32)
Type = RBEVN interval(10,10000,-32)
Type = RBEVN interval(5.20833e-06,1000,-142)
Type = RKCVN interval(0,0,0)
Type = RKCVN interval(0.0001,0.0001,-46)
Type = RKCVN interval(0.0005,0.0005,-43)
Type = RKCVN interval(0.01,0.01,-39)
Type = RKCVN interval(0.2,0.2,-35)
Type = RKCVN interval(0.5,0.5,-33)
Type = RKCVN interval(1,1,-32)
Type = RKCVN interval(10,10,-29)
Type = RKCVN interval(100,100,-26)
Type = RKCVN interval(1000,1000,-23)
Type = RKCVN interval(10000,10000,-19)
Type = RKCVN interval(192000,192000,-15)
Type = RKCVN interval(3.14159,3.14159,-31)
Type = RKCVN interval(4.65661e-10,4.65661e-10,-63)
Type = RKCVN interval(65536,65536,-16)
Type = RKIVN interval(-1,1,-205):Table(RSISN interval(-1,1,-205))
Type = RKIVN interval(-1,1,-205):Table(RSISN interval(-1,1,-205))
Type = RKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RKIVN interval(0.0005,96,-75)
Type = RKIVN interval(0.00520833,1000,-90)
Type = RKIVN interval(1,1.79769e+308,-32)
Type = RKIVN interval(1,192000,-32)
Type = RSES? interval(-inf,inf,-396)
Type = RSES? interval(-inf,inf,-80)
Type = RSES? interval(0,inf,-24)
Type = RSESN interval(-1,1,-111)
Type = RSESN interval(-1,1,-111)
Type = RSESN interval(-1,1,-316)
Type = RSESN interval(-1,1,-316)
Type = RSESN interval(-2,2,-316)
Type = RSESN interval(-inf,1,-32)
Type = RSESN interval(-inf,inf,-1)
Type = RSESN interval(-inf,inf,-142)
Type = RSESN interval(-inf,inf,-142)
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,-48)
Type = RSESN interval(-inf,inf,-55)
Type = RSESN interval(-inf,inf,-56)
Type = RSESN interval(-inf,inf,-56)
Type = RSESN interval(0,inf,-1)
Type = RSESN interval(0,inf,-194)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0.005,inf,-194)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSISN interval(-1,1,-141)
Type = RSISN interval(-1,1,-141)
Type = RSISN interval(-1,1,-205)
Type = RSISN interval(-1,1,-205)
Type = RSISN interval(0,0,-1)
Type = RSISN interval(0,0,-24)
Type = RSISN interval(0,0,-24)
Type = RSISN interval(0,0,-24)
Type = RSISN interval(0,0,-24)
Type = RSISN interval(0,0,-40)
Type = RSISN interval(0,inf,-24)
Type = RSISN interval(0,inf,-87)
Type = RSISN interval(0.5,inf,-120)
Type = RSISN interval(1,inf,-87)
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)}
Type = SE interval(0,inf,-24) : {NSES? interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SI interval(0,0,-24) : {RSISN interval(0,0,-24)}
Type = SI interval(0,inf,-24) : {NSISN interval(0,inf,-24)}
