Size = 15
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKCVN interval(8,8,0)
Type = NSISN interval(0,8,-24)
Type = NSISN interval(0,inf,-24)
Type = NSISN interval(0,inf,-24)
Type = NSISN interval(0,inf,-24)
Type = NSISN interval(1,inf,-24)
Type = RKIVN interval(-1,1,-33):Table(RSCSN interval(-1,1,-33))
Type = RSCSN interval(-1,1,-33)
Type = RSCSN interval(-11,11,-29)
Type = RSISN interval(-1,1,-33)
Type = RSISN interval(-11,11,-33)
Type = RSISN interval(-11,11,-33):Table(RSCSN interval(-1,1,-33))
Type = SI interval(0,inf,-24) : {NSISN interval(0,inf,-24)}
