Size = 53
Type = NKCVN interval(1,1,0)
Type = NKCVN interval(10,10,0)
Type = NKCVN interval(100,100,0)
Type = NKCVN interval(2,2,0)
Type = NKCVN interval(20,20,0)
Type = NKCVN interval(200,200,0)
Type = NSEVN interval(-12345,12345,0)
Type = NSEVN interval(-12345,12345,0)
Type = NSEVN interval(-12345,12345,0)
Type = NSEVN interval(-12345,12345,0)
Type = NSEVN interval(-12345,12345,0)
Type = NSEVN interval(-12345,12345,0)
Type = NSEVN interval(-67895,67895,0)
Type = NSEVN interval(-67895,67895,0)
Type = NSEVN interval(-67895,67895,0)
Type = NSEVN interval(-67895,67895,0)
Type = NSEVN interval(-67895,67895,0)
Type = NSEVN interval(-67895,67895,0)
Type = NSEVN interval(-67895,80191,0)
Type = NSEVN interval(-67895,80191,0)
Type = NSEVN interval(-80192,67895,0)
Type = NSEVN interval(-80192,67895,0)
Type = NSEVN interval(-80192,80191,0)
Type = NSEVN interval(-80192,80191,0)
Type = NSEVN interval(1,2,0)
Type = NSEVN interval(10,20,0)
Type = NSEVN interval(100,200,0)
Type = RKCVN interval(12345,12345,-19)
Type = RKCVN interval(67895,67895,-16)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-12345,12345,-43)
Type = RSEVN interval(-12345,12345,-43)
Type = RSEVN interval(-12345,12345,-43)
Type = RSEVN interval(-12345,12345,-43)
Type = RSEVN interval(-12345,12345,-43)
Type = RSEVN interval(-12345,12345,-43)
Type = RSEVN interval(-67895,67895,-40)
Type = RSEVN interval(-67895,67895,-40)
Type = RSEVN interval(-67895,67895,-40)
Type = RSEVN interval(-67895,67895,-40)
Type = RSEVN interval(-67895,67895,-40)
Type = RSEVN interval(-67895,67895,-40)
