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,-24)
Type = NSEV? interval(0,1,-24)
Type = NSEV? interval(0,1,-24)
Type = NSEV? interval(0,2,-24)
Type = NSEV? interval(0,2,-24)
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,-24)
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,-24)
Type = RKCVN interval(0.00440879,0.00440879,-24)
Type = RKCVN interval(0.049922,0.049922,-24)
Type = RKCVN interval(0.0506127,0.0506127,-24)
Type = RKCVN interval(0.0959935,0.0959935,-24)
Type = RKCVN interval(0.1,0.1,-24)
Type = RKCVN interval(0.522189,0.522189,-24)
Type = RKCVN interval(2.01727,2.01727,-24)
Type = RKCVN interval(2.49496,2.49496,-24)
Type = RKCVN interval(4.65661e-10,4.65661e-10,-24)
Type = RSES? interval(-inf,inf,-24)
Type = RSES? interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSEV? interval(0,2,-24)
Type = RSEV? interval(0,2,-24)
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,-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,-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,-24)
Type = RSISN interval(0,inf,-24)
Type = RSISN interval(0,inf,-24)
Type = SI interval(-inf,inf,-24) : {RSISN interval(-inf,inf,-24)}
Type = SI interval(0,inf,-24) : {NSISN interval(0,inf,-24)}
