Size = 64
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(2,2,0)
Type = NKCVN interval(3,3,0)
Type = NSEV? interval(0,1,0)
Type = NSEV? interval(0,1,0)
Type = NSEV? interval(0,1,0)
Type = NSEV? interval(0,2,0)
Type = NSEV? interval(0,2,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,0.1,-36)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0,1,0)
Type = RKCVN interval(0,0,0)
Type = RKCVN interval(0.00440879,0.00440879,-40)
Type = RKCVN interval(0.049922,0.049922,-37)
Type = RKCVN interval(0.0506127,0.0506127,-37)
Type = RKCVN interval(0.0959935,0.0959935,-36)
Type = RKCVN interval(0.1,0.1,-36)
Type = RKCVN interval(0.522189,0.522189,-33)
Type = RKCVN interval(2.01727,2.01727,-31)
Type = RKCVN interval(2.49496,2.49496,-31)
Type = RKCVN interval(4.65661e-10,4.65661e-10,-63)
Type = RSES? interval(-inf,inf,-100)
Type = RSES? interval(-inf,inf,-100)
Type = RSESN interval(-inf,inf,-100)
Type = RSEV? interval(0,2,0)
Type = RSEV? interval(0,2,0)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(0,1,-24)
Type = RSEVN interval(0,1,-24)
Type = RSEVN interval(0,1,-24)
Type = RSISN interval(-inf,inf,-24)
Type = RSISN interval(-inf,inf,-24)
Type = RSISN interval(-inf,inf,-24)
Type = RSISN interval(-inf,inf,-24)
Type = RSISN interval(-inf,inf,-24)
Type = RSISN interval(-inf,inf,-55)
Type = RSISN interval(-inf,inf,-55)
Type = RSISN interval(-inf,inf,-57)
Type = RSISN interval(-inf,inf,-60)
Type = RSISN interval(-inf,inf,-61)
Type = RSISN interval(-inf,inf,-61)
Type = RSISN interval(-inf,inf,-61)
Type = RSISN interval(-inf,inf,-64)
Type = RSISN interval(-inf,inf,-64)
Type = RSISN interval(-inf,inf,-64)
Type = RSISN interval(-inf,inf,-87)
Type = RSISN interval(-inf,inf,-87)
Type = RSISN interval(-inf,inf,-87)
Type = RSISN interval(0,inf,-24)
Type = RSISN interval(0,inf,-87)
Type = SI interval(-inf,inf,-24) : {RSISN interval(-inf,inf,-24)}
Type = SI interval(0,inf,-24) : {NSISN interval(0,inf,-24)}
