Size = 23
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = NSCS? interval(0,1,0)
Type = NSCS? interval(0,1,0)
Type = RKCVN interval(0,0,0)
Type = RKCVN interval(1,1,-32)
Type = RKCVN interval(192000,192000,-15)
Type = RKCVN interval(700,700,-23)
Type = RKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RKIVN interval(0.00364583,700,-90)
Type = RKIVN interval(1,1.79769e+308,-32)
Type = RKIVN interval(1,192000,-32)
Type = RSCSN interval(0,1,-32)
Type = RSCSN interval(0.1,0.9,-36)
Type = RSISN interval(-inf,inf,-1)
Type = RSISN interval(-inf,inf,-24)
Type = RSISN interval(-inf,inf,-24)
Type = RSISN interval(-inf,inf,-24)
Type = RSISN interval(-inf,inf,-90)
Type = RSISN interval(-inf,inf,-90)
Type = RSISN interval(-inf,inf,-90)
Type = SI interval(-inf,inf,-24) : {RSISN interval(-inf,inf,-24)}
