    Size = 19
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 = RBEVN interval(0,1,-24)
Type = RBEVN interval(0,4.65661e-10,-24)
Type = RKCVN interval(0,0,-24)
Type = RKCVN interval(0.0697,0.0697,-24)
Type = RKCVN interval(0.1,0.1,-24)
Type = RKCVN interval(1,1,-24)
Type = RKCVN interval(4.65661e-10,4.65661e-10,-24)
Type = RSESN interval(0,inf,-24)
Type = RSISN interval(0,inf,-24)
Type = SI interval(0,inf,-24) : {NSISN interval(0,inf,-24)}
