Size = 19
Type = NBIVN interval(-1,2.14748e+09,-24)
Type = NBIVN interval(0,2.14748e+09,-24)
Type = NBIVN interval(0,2.14748e+09,-24)
Type = NKCVN interval(-1,-1,0)
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKCVN interval(2,2,0)
Type = NKCVN interval(3,3,0)
Type = NSISN interval(-1,2.14748e+09,-24)
Type = NSISN interval(0,2.14748e+09,-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 = RSIVN interval(-1,1,-24)
Type = RSIVN interval(-1,1,-24)
Type = RSIVN interval(-1,1,-24)
Type = RSIVN interval(-1,1,-24)
Type = SI interval(0,inf,-24) : {NSISN interval(0,inf,-24)}
