Size = 79
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKCVN interval(2,2,0)
Type = NKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RBEVN interval(-0.5,4.8,-24)
Type = RBEVN interval(-0.5,4.8,-24)
Type = RBEVN interval(-1,inf,-24)
Type = RBEVN interval(-1,inf,-24)
Type = RBEVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RBEVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RBEVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RBEVN interval(-2,inf,-24)
Type = RBEVN interval(-2,inf,-24)
Type = RBEVN interval(-4.8,0.5,-24)
Type = RBEVN interval(-96,10,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(-inf,inf,-24)
Type = RBEVN interval(0,inf,-24)
Type = RBEVN interval(0,inf,-24)
Type = RBEVN interval(0.000327249,15708,-24)
Type = RBEVN interval(0.316228,63095.7,-24)
Type = RBEVN interval(0.316228,63095.7,-24)
Type = RBEVN interval(0.632456,126191,-24)
Type = RBEVN interval(0.632456,126191,-24)
Type = RBEVN interval(0.795271,355.234,-24)
Type = RBEVN interval(0.795271,355.234,-24)
Type = RBEVN interval(20,5000,-24)
Type = RKCVN interval(-0.05,-0.05,-24)
Type = RKCVN interval(-1,-1,-24)
Type = RKCVN interval(-1.41421,-1.41421,-24)
Type = RKCVN interval(-96,-96,-24)
Type = RKCVN interval(0,0,-24)
Type = RKCVN interval(0.05,0.05,-24)
Type = RKCVN interval(0.1,0.1,-24)
Type = RKCVN interval(1,1,-24)
Type = RKCVN interval(1.41421,1.41421,-24)
Type = RKCVN interval(10,10,-24)
Type = RKCVN interval(100,100,-24)
Type = RKCVN interval(192000,192000,-24)
Type = RKCVN interval(2,2,-24)
Type = RKCVN interval(20,20,-24)
Type = RKCVN interval(3.14159,3.14159,-24)
Type = RKCVN interval(5000,5000,-24)
Type = RKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RKIVN interval(1,1.79769e+308,-24)
Type = RKIVN interval(1,192000,-24)
Type = RKIVN interval(1.63625e-05,3.14159,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSEVN interval(-1,1,-24)
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)}
