Size = 59
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,-259)
Type = RBEVN interval(-1,1,-259)
Type = RBEVN interval(-140.421,142.421,-399)
Type = RBEVN interval(-140.421,142.421,-399)
Type = RBEVN interval(-141.421,141.421,-399)
Type = RBEVN interval(-15810.4,15812.4,-402)
Type = RBEVN interval(-15810.4,15812.4,-402)
Type = RBEVN interval(-15811.4,15811.4,-402)
Type = RBEVN interval(-2,2,-290)
Type = RBEVN interval(-2.82843,2.82843,-310)
Type = RBEVN interval(-282.843,282.843,-366)
Type = RBEVN interval(-31622.8,31622.8,-369)
Type = RBEVN interval(-inf,inf,-462)
Type = RBEVN interval(0,8,-39)
Type = RBEVN interval(0.00316228,2.82843,-51)
Type = RBEVN interval(0.00327249,62831.9,-129)
Type = RBEVN interval(0.01,100,-39)
Type = RBEVN interval(0.01,100,-42)
Type = RBEVN interval(100,10000,-32)
Type = RBEVN interval(100,10000,-32)
Type = RBEVN interval(1e-05,8,-49)
Type = RBEVN interval(3.16228e-05,282.843,-93)
Type = RKCVN interval(0,0,0)
Type = RKCVN interval(0.001,0.001,-42)
Type = RKCVN interval(0.01,0.01,-39)
Type = RKCVN interval(0.5,0.5,-33)
Type = RKCVN interval(1,1,-32)
Type = RKCVN interval(100,100,-26)
Type = RKCVN interval(1000,1000,-23)
Type = RKCVN interval(10000,10000,-19)
Type = RKCVN interval(192000,192000,-15)
Type = RKCVN interval(1e-05,1e-05,-49)
Type = RKCVN interval(2,2,-31)
Type = RKCVN interval(6.28319,6.28319,-30)
Type = RKCVN interval(8,8,-29)
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(3.27249e-05,6.28319,-97)
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,-314)
Type = RSESN interval(-inf,inf,-423)
Type = RSESN interval(-inf,inf,-423)
Type = RSESN interval(-inf,inf,-423)
Type = RSESN interval(-inf,inf,-423)
Type = RSESN interval(-inf,inf,-426)
Type = RSESN interval(-inf,inf,-426)
Type = RSESN interval(-inf,inf,-885)
Type = RSESN interval(-inf,inf,-888)
Type = RSESN interval(-inf,inf,-888)
Type = RSEVN interval(-1,1,-24)
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)}
