Size = 14
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 = 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 = RKCVN interval(4.65661e-10,4.65661e-10,-63)
Type = RSISN interval(0,inf,-24)
Type = RSISN interval(0,inf,-87)
Type = RSISN interval(0,inf,-87)
Type = SI interval(0,inf,-24) : {NSISN interval(0,inf,-24)}
