Size = 68
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(-1,1,-73)
Type = RBEVN interval(-1,inf,-2179)
Type = RBEVN interval(-1,inf,-2289)
Type = RBEVN interval(-2,inf,-2210)
Type = RBEVN interval(-2,inf,-2320)
Type = RBEVN interval(-20,20,-36)
Type = RBEVN interval(-inf,inf,-134)
Type = RBEVN interval(-inf,inf,-134)
Type = RBEVN interval(-inf,inf,-134)
Type = RBEVN interval(-inf,inf,-244)
Type = RBEVN interval(-inf,inf,-244)
Type = RBEVN interval(-inf,inf,-244)
Type = RBEVN interval(-inf,inf,-268)
Type = RBEVN interval(-inf,inf,-268)
Type = RBEVN interval(-inf,inf,-268)
Type = RBEVN interval(-inf,inf,-268)
Type = RBEVN interval(-inf,inf,-362)
Type = RBEVN interval(-inf,inf,-378)
Type = RBEVN interval(-inf,inf,-378)
Type = RBEVN interval(-inf,inf,-378)
Type = RBEVN interval(-inf,inf,-378)
Type = RBEVN interval(0,inf,-2179)
Type = RBEVN interval(0,inf,-2289)
Type = RBEVN interval(0.000327249,62831.9,-134)
Type = RBEVN interval(0.1,10,-110)
Type = RBEVN interval(0.2,20,-141)
Type = RBEVN interval(0.447214,4.47214,-147)
Type = RBEVN interval(20,20000,-36)
Type = RKCVN interval(-1,-1,-32)
Type = RKCVN interval(-1.41421,-1.41421,-32)
Type = RKCVN interval(-20,-20,-28)
Type = RKCVN interval(0,0,0)
Type = RKCVN interval(0.05,0.05,-37)
Type = RKCVN interval(0.1,0.1,-36)
Type = RKCVN interval(1,1,-32)
Type = RKCVN interval(1.41421,1.41421,-32)
Type = RKCVN interval(10,10,-29)
Type = RKCVN interval(1000,1000,-23)
Type = RKCVN interval(192000,192000,-15)
Type = RKCVN interval(2,2,-31)
Type = RKCVN interval(20,20,-28)
Type = RKCVN interval(20000,20000,-18)
Type = RKCVN interval(3.14159,3.14159,-31)
Type = RKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RKIVN interval(1,1.79769e+308,-32)
Type = RKIVN interval(1,192000,-32)
Type = RKIVN interval(1.63625e-05,3.14159,-98)
Type = RSESN interval(-inf,inf,-2234)
Type = RSESN interval(-inf,inf,-2234)
Type = RSESN interval(-inf,inf,-2344)
Type = RSESN interval(-inf,inf,-2344)
Type = RSESN interval(-inf,inf,-2344)
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,-2596)
Type = RSESN interval(-inf,inf,-2596)
Type = RSESN interval(-inf,inf,-2706)
Type = RSESN interval(-inf,inf,-292)
Type = RSESN interval(-inf,inf,-402)
Type = RSESN interval(-inf,inf,-402)
Type = RSEVN interval(-1,1,-24)
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)}
