Size = 16
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKCVN interval(3,3,0)
Type = NKCVN interval(6,6,0)
Type = NKCVN interval(7,7,0)
Type = NKIVN interval(10,70,0):Table(NSCSN interval(10,70,0))
Type = NSCSN interval(10,70,0)
Type = NSISN interval(0,6,-24)
Type = NSISN interval(0,7,-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(10,70,0)
Type = NSISN interval(3,inf,-24)
Type = SI interval(0,inf,-24) : {NSISN interval(0,inf,-24)}
