Size = 61
Type = NBEVN interval(0,510,0)
Type = NBEVN interval(0,510,0)
Type = NKCVN interval(0,0,-24)
Type = NKCVN interval(1,1,-24)
Type = NKCVN interval(1.10352e+09,1.10352e+09,-24)
Type = NKCVN interval(12345,12345,-24)
Type = NKCVN interval(2,2,-24)
Type = NKCVN interval(4095,4095,-24)
Type = NSES? interval(0,1,-24)
Type = NSES? interval(0,1,-24)
Type = NSEV? interval(0,1,-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(12345,inf,-24)
Type = RBEVN interval(0,0.5,-24)
Type = RBEVN interval(0,1,-24)
Type = RBEVN interval(0,1,-24)
Type = RBEVN interval(0,1,-24)
Type = RBEVN interval(0,1,-24)
Type = RBEVN interval(0,4.65661e-10,-24)
Type = RBEVN interval(0.00195312,0.5,-24)
Type = RBEVN interval(0.5,510.5,-24)
Type = RBEVN interval(2,512,-24)
Type = RBEVN interval(2,512,-24)
Type = RKCVN interval(-1.5,-1.5,-24)
Type = RKCVN interval(0,0,-24)
Type = RKCVN interval(0.01,0.01,-24)
Type = RKCVN interval(0.5,0.5,-24)
Type = RKCVN interval(1,1,-24)
Type = RKCVN interval(2,2,-24)
Type = RKCVN interval(271.994,271.994,-24)
Type = RKCVN interval(327.023,327.023,-24)
Type = RKCVN interval(4.65661e-10,4.65661e-10,-24)
Type = RKCVN interval(512,512,-24)
Type = RSES? interval(-inf,inf,-24)
Type = RSES? interval(-inf,inf,-24)
Type = RSES? interval(-inf,inf,-24)
Type = RSES? interval(-inf,inf,-24)
Type = RSES? interval(-inf,inf,-24)
Type = RSES? interval(0,0.5,-24)
Type = RSES? interval(0,1,-24)
Type = RSES? interval(0,1,-24)
Type = RSES? interval(0,inf,-24)
Type = RSES? interval(0,inf,-24)
Type = RSES? interval(0,inf,-24)
Type = RSES? interval(0,inf,-24)
Type = RSES? interval(0,inf,-24)
Type = RSES? interval(0,inf,-24)
Type = RSES? interval(0,inf,-24)
Type = RSES? interval(0,inf,-24)
Type = RSES? interval(0,inf,-24)
Type = RSES? interval(0,inf,-24)
Type = RSEV? interval(0,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(0,1,-24)
Type = RSISN interval(0,inf,-24)
Type = SE interval(-inf,inf,-24) : {RSES? interval(-inf,inf,-24)}
Type = SE interval(0,inf,-24) : {RSES? interval(0,inf,-24)}
Type = SI interval(0,inf,-24) : {NSISN interval(0,inf,-24)}
