Size = 16
Type = NKCVN interval(0,0,-24)
Type = NKCVN interval(1,1,-24)
Type = NKCVN interval(3,3,-24)
Type = NKCVN interval(6,6,-24)
Type = NKCVN interval(7,7,-24)
Type = NSISN interval(0,6,-24)
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(3,inf,-24)
Type = RKIVN interval(1.1,7.7,-24):Table(RSCSN interval(1.1,7.7,-24))
Type = RSCSN interval(1.1,7.7,-24)
Type = RSISN interval(1.1,7.7,-24)
Type = SI interval(0,inf,-24) : {NSISN interval(0,inf,-24)}
