Size = 1321
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NBEV? interval(0,1,0)
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKCVN interval(2,2,0)
Type = NKCVN interval(65535,65535,0)
Type = NKCVN interval(65536,65536,0)
Type = NKCVN interval(65537,65537,0)
Type = NKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = NKIVN interval(0,1024,0)
Type = NKIVN interval(0,1024,0)
Type = NKIVN interval(0,1024,0)
Type = NKIVN interval(0,16384,0)
Type = NKIVN interval(0,16384,0)
Type = NKIVN interval(0,16384,0)
Type = NKIVN interval(0,2048,0)
Type = NKIVN interval(0,2048,0)
Type = NKIVN interval(0,2048,0)
Type = NKIVN interval(0,2048,0)
Type = NKIVN interval(0,2048,0)
Type = NKIVN interval(0,3840,0)
Type = NKIVN interval(0,8192,0)
Type = NKIVN interval(0,8192,0)
Type = NKIVN interval(0,8192,0)
Type = NKIVN interval(0,8192,0)
Type = NKIVN interval(0,8192,0)
Type = NSES? interval(0,0,0)
Type = NSES? interval(0,0,0)
Type = NSES? interval(0,0,0)
Type = NSES? interval(0,0,0)
Type = NSES? interval(0,0,0)
Type = NSES? interval(0,0,0)
Type = NSES? interval(0,0,0)
Type = NSES? interval(0,0,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = NSES? interval(0,1,0)
Type = NSESN interval(-2.14748e+09,2.14748e+09,0)
Type = NSESN interval(-2.14748e+09,2.14748e+09,0)
Type = NSESN interval(-2.14748e+09,2.14748e+09,0)
Type = NSESN interval(-2.14748e+09,65535,0)
Type = NSESN interval(-2.14748e+09,65536,0)
Type = NSESN interval(-2.14748e+09,65536,0)
Type = NSESN interval(0,65535,0)
Type = NSESN interval(0,65536,0)
Type = NSESN interval(0,65536,0)
Type = RBEV? interval(0,1,0)
Type = RBEV? interval(0,1,0)
Type = RBEV? interval(0,1,0)
Type = RBEV? interval(0,1,0)
Type = RBEVN interval(-1,1,-2394309)
Type = RBEVN interval(-1,1,-2448622)
Type = RBEVN interval(-1,1,-2932561)
Type = RBEVN interval(-1,1,-3345543)
Type = RBEVN interval(-1,1,-3682087)
Type = RBEVN interval(-1,1,-4028199)
Type = RBEVN interval(-1,1,-4211868)
Type = RBEVN interval(-1,1,-4917944)
Type = RBEVN interval(-1,inf,-3986659)
Type = RBEVN interval(-1,inf,-4077181)
Type = RBEVN interval(-1,inf,-4792808)
Type = RBEVN interval(-1,inf,-4883746)
Type = RBEVN interval(-1,inf,-4901434)
Type = RBEVN interval(-1,inf,-5572049)
Type = RBEVN interval(-1,inf,-5869312)
Type = RBEVN interval(-1,inf,-6132956)
Type = RBEVN interval(-1,inf,-6695276)
Type = RBEVN interval(-1,inf,-6709809)
Type = RBEVN interval(-1,inf,-7015924)
Type = RBEVN interval(-1,inf,-7368364)
Type = RBEVN interval(-1,inf,-8060588)
Type = RBEVN interval(-1,inf,-8192718)
Type = RBEVN interval(-1,inf,-8427926)
Type = RBEVN interval(-1,inf,-9840078)
Type = RBEVN interval(-1.10524e+06,0,-172)
Type = RBEVN interval(-1.13034e+06,0,-172)
Type = RBEVN interval(-1.35397e+06,0,-172)
Type = RBEVN interval(-1.5448e+06,0,-172)
Type = RBEVN interval(-1.65786e+06,0,-172)
Type = RBEVN interval(-1.69551e+06,0,-172)
Type = RBEVN interval(-1.70032e+06,0,-172)
Type = RBEVN interval(-1.86026e+06,0,-172)
Type = RBEVN interval(-1.94513e+06,0,-172)
Type = RBEVN interval(-2.03095e+06,0,-172)
Type = RBEVN interval(-2.27141e+06,0,-172)
Type = RBEVN interval(-2.31721e+06,0,-172)
Type = RBEVN interval(-2.55048e+06,0,-172)
Type = RBEVN interval(-2.79039e+06,0,-172)
Type = RBEVN interval(-2.9177e+06,0,-172)
Type = RBEVN interval(-3.40711e+06,0,-172)
Type = RBEVN interval(-inf,1,-4788449)
Type = RBEVN interval(-inf,1,-4897075)
Type = RBEVN interval(-inf,1,-5864953)
Type = RBEVN interval(-inf,1,-6690917)
Type = RBEVN interval(-inf,1,-7364005)
Type = RBEVN interval(-inf,1,-8056229)
Type = RBEVN interval(-inf,1,-8423567)
Type = RBEVN interval(-inf,1,-9835719)
Type = RBEVN interval(-inf,inf,-10034112)
Type = RBEVN interval(-inf,inf,-11043744)
Type = RBEVN interval(-inf,inf,-12082080)
Type = RBEVN interval(-inf,inf,-12633087)
Type = RBEVN interval(-inf,inf,-14751315)
Type = RBEVN interval(-inf,inf,-4788449)
Type = RBEVN interval(-inf,inf,-4788449)
Type = RBEVN interval(-inf,inf,-4897075)
Type = RBEVN interval(-inf,inf,-4897075)
Type = RBEVN interval(-inf,inf,-5864953)
Type = RBEVN interval(-inf,inf,-5864953)
Type = RBEVN interval(-inf,inf,-6690917)
Type = RBEVN interval(-inf,inf,-6690917)
Type = RBEVN interval(-inf,inf,-7180410)
Type = RBEVN interval(-inf,inf,-7343349)
Type = RBEVN interval(-inf,inf,-7364005)
Type = RBEVN interval(-inf,inf,-7364005)
Type = RBEVN interval(-inf,inf,-8056229)
Type = RBEVN interval(-inf,inf,-8056229)
Type = RBEVN interval(-inf,inf,-8423567)
Type = RBEVN interval(-inf,inf,-8423567)
Type = RBEVN interval(-inf,inf,-8795166)
Type = RBEVN interval(-inf,inf,-9835719)
Type = RBEVN interval(-inf,inf,-9835719)
Type = RBEVN interval(0,0.001,-2260)
Type = RBEVN interval(0,0.333333,-133)
Type = RBEVN interval(0,0.333333,-133)
Type = RBEVN interval(0,0.333333,-133)
Type = RBEVN interval(0,0.333333,-133)
Type = RBEVN interval(0,1,-1594698)
Type = RBEVN interval(0,1,-1630907)
Type = RBEVN interval(0,1,-1953533)
Type = RBEVN interval(0,1,-2218)
Type = RBEVN interval(0,1,-2228854)
Type = RBEVN interval(0,1,-2391961)
Type = RBEVN interval(0,1,-2394140)
Type = RBEVN interval(0,1,-2394140)
Type = RBEVN interval(0,1,-2396319)
Type = RBEVN interval(0,1,-2446274)
Type = RBEVN interval(0,1,-2448453)
Type = RBEVN interval(0,1,-2448453)
Type = RBEVN interval(0,1,-2450632)
Type = RBEVN interval(0,1,-2453217)
Type = RBEVN interval(0,1,-2683958)
Type = RBEVN interval(0,1,-2806404)
Type = RBEVN interval(0,1,-2930213)
Type = RBEVN interval(0,1,-2932392)
Type = RBEVN interval(0,1,-2932392)
Type = RBEVN interval(0,1,-2934571)
Type = RBEVN interval(0,1,-32)
Type = RBEVN interval(0,1,-32)
Type = RBEVN interval(0,1,-32)
Type = RBEVN interval(0,1,-32)
Type = RBEVN interval(0,1,-3277122)
Type = RBEVN interval(0,1,-3343195)
Type = RBEVN interval(0,1,-3345374)
Type = RBEVN interval(0,1,-3345374)
Type = RBEVN interval(0,1,-3347553)
Type = RBEVN interval(0,1,-3679739)
Type = RBEVN interval(0,1,-3681918)
Type = RBEVN interval(0,1,-3681918)
Type = RBEVN interval(0,1,-3684097)
Type = RBEVN interval(0,1,-39)
Type = RBEVN interval(0,1,-4025851)
Type = RBEVN interval(0,1,-4028030)
Type = RBEVN interval(0,1,-4028030)
Type = RBEVN interval(0,1,-4030209)
Type = RBEVN interval(0,1,-4209520)
Type = RBEVN interval(0,1,-4211699)
Type = RBEVN interval(0,1,-4211699)
Type = RBEVN interval(0,1,-4213878)
Type = RBEVN interval(0,1,-4915596)
Type = RBEVN interval(0,1,-4917775)
Type = RBEVN interval(0,1,-4917775)
Type = RBEVN interval(0,1,-4919954)
Type = RBEVN interval(0,1.10524e+06,-140)
Type = RBEVN interval(0,1.13034e+06,-140)
Type = RBEVN interval(0,1.35397e+06,-140)
Type = RBEVN interval(0,1.5448e+06,-140)
Type = RBEVN interval(0,1.65786e+06,-140)
Type = RBEVN interval(0,1.69551e+06,-140)
Type = RBEVN interval(0,1.70032e+06,-140)
Type = RBEVN interval(0,1.86026e+06,-140)
Type = RBEVN interval(0,1.94513e+06,-140)
Type = RBEVN interval(0,2,-2394309)
Type = RBEVN interval(0,2,-2448622)
Type = RBEVN interval(0,2,-2932561)
Type = RBEVN interval(0,2,-3345543)
Type = RBEVN interval(0,2,-3682087)
Type = RBEVN interval(0,2,-4028199)
Type = RBEVN interval(0,2,-4211868)
Type = RBEVN interval(0,2,-4917944)
Type = RBEVN interval(0,2.03095e+06,-140)
Type = RBEVN interval(0,2.27141e+06,-140)
Type = RBEVN interval(0,2.31721e+06,-140)
Type = RBEVN interval(0,2.55048e+06,-140)
Type = RBEVN interval(0,2.79039e+06,-140)
Type = RBEVN interval(0,2.9177e+06,-140)
Type = RBEVN interval(0,3.40711e+06,-140)
Type = RBEVN interval(0,4,-2396489)
Type = RBEVN interval(0,4,-2450802)
Type = RBEVN interval(0,4,-2934741)
Type = RBEVN interval(0,4,-3347723)
Type = RBEVN interval(0,4,-3684267)
Type = RBEVN interval(0,4,-4030379)
Type = RBEVN interval(0,4,-4214048)
Type = RBEVN interval(0,4,-4920124)
Type = RBEVN interval(0,inf,-3986659)
Type = RBEVN interval(0,inf,-4077181)
Type = RBEVN interval(0,inf,-4788449)
Type = RBEVN interval(0,inf,-4792808)
Type = RBEVN interval(0,inf,-4792808)
Type = RBEVN interval(0,inf,-4883746)
Type = RBEVN interval(0,inf,-4897075)
Type = RBEVN interval(0,inf,-4901434)
Type = RBEVN interval(0,inf,-4901434)
Type = RBEVN interval(0,inf,-5572049)
Type = RBEVN interval(0,inf,-5864953)
Type = RBEVN interval(0,inf,-5869312)
Type = RBEVN interval(0,inf,-5869312)
Type = RBEVN interval(0,inf,-6132956)
Type = RBEVN interval(0,inf,-6690917)
Type = RBEVN interval(0,inf,-6695276)
Type = RBEVN interval(0,inf,-6695276)
Type = RBEVN interval(0,inf,-6709809)
Type = RBEVN interval(0,inf,-7015924)
Type = RBEVN interval(0,inf,-7364005)
Type = RBEVN interval(0,inf,-7368364)
Type = RBEVN interval(0,inf,-7368364)
Type = RBEVN interval(0,inf,-8056229)
Type = RBEVN interval(0,inf,-8060588)
Type = RBEVN interval(0,inf,-8060588)
Type = RBEVN interval(0,inf,-8192718)
Type = RBEVN interval(0,inf,-8423567)
Type = RBEVN interval(0,inf,-8427926)
Type = RBEVN interval(0,inf,-8427926)
Type = RBEVN interval(0,inf,-9835719)
Type = RBEVN interval(0,inf,-9840078)
Type = RBEVN interval(0,inf,-9840078)
Type = RBEVN interval(0,inf,0)
Type = RBEVN interval(0,inf,0)
Type = RBEVN interval(0,inf,0)
Type = RBEVN interval(0,inf,0)
Type = RBEVN interval(0,inf,0)
Type = RBEVN interval(0,inf,0)
Type = RBEVN interval(0,inf,0)
Type = RBEVN interval(0,inf,0)
Type = RBEVN interval(0.00075,0.004,-81)
Type = RBEVN interval(0.05,1,-39)
Type = RBEVN interval(0.05,2,-39)
Type = RBEVN interval(0.05,2,-39)
Type = RBEVN interval(0.05,2,-39)
Type = RBEVN interval(0.1,1.2,-78)
Type = RBEVN interval(0.75,4,-39)
Type = RBEVN interval(0.9,1.7,-78)
Type = RBEVN interval(100,1200,-36)
Type = RBEVN interval(5e-05,0.001,-81)
Type = RBEVN interval(900,1700,-36)
Type = RKCVN interval(-1,-1,-32)
Type = RKCVN interval(0,0,0)
Type = RKCVN interval(0.0008,0.0008,-43)
Type = RKCVN interval(0.001,0.001,-42)
Type = RKCVN interval(0.01,0.01,-39)
Type = RKCVN interval(0.013458,0.013458,-39)
Type = RKCVN interval(0.019123,0.019123,-38)
Type = RKCVN interval(0.02,0.02,-38)
Type = RKCVN interval(0.020346,0.020346,-38)
Type = RKCVN interval(0.022904,0.022904,-38)
Type = RKCVN interval(0.024421,0.024421,-38)
Type = RKCVN interval(0.027333,0.027333,-38)
Type = RKCVN interval(0.029291,0.029291,-38)
Type = RKCVN interval(0.031604,0.031604,-37)
Type = RKCVN interval(0.05,0.05,-37)
Type = RKCVN interval(0.1,0.1,-36)
Type = RKCVN interval(0.125,0.125,-35)
Type = RKCVN interval(0.127837,0.127837,-35)
Type = RKCVN interval(0.153129,0.153129,-35)
Type = RKCVN interval(0.174713,0.174713,-35)
Type = RKCVN interval(0.18,0.18,-35)
Type = RKCVN interval(0.192303,0.192303,-35)
Type = RKCVN interval(0.210389,0.210389,-35)
Type = RKCVN interval(0.219991,0.219991,-35)
Type = RKCVN interval(0.25,0.25,-34)
Type = RKCVN interval(0.256891,0.256891,-34)
Type = RKCVN interval(0.333333,0.333333,-34)
Type = RKCVN interval(0.353553,0.353553,-34)
Type = RKCVN interval(0.37,0.37,-34)
Type = RKCVN interval(0.5,0.5,-33)
Type = RKCVN interval(0.6,0.6,-33)
Type = RKCVN interval(0.75,0.75,-33)
Type = RKCVN interval(0.999,0.999,-33)
Type = RKCVN interval(1,1,-32)
Type = RKCVN interval(1.5708,1.5708,-32)
Type = RKCVN interval(100,100,-26)
Type = RKCVN interval(1024,1024,-22)
Type = RKCVN interval(1200,1200,-22)
Type = RKCVN interval(16384,16384,-18)
Type = RKCVN interval(1700,1700,-22)
Type = RKCVN interval(192000,192000,-15)
Type = RKCVN interval(1e-20,1e-20,-99)
Type = RKCVN interval(2,2,-31)
Type = RKCVN interval(2.30259,2.30259,-31)
Type = RKCVN interval(2048,2048,-21)
Type = RKCVN interval(3,3,-31)
Type = RKCVN interval(3.14159,3.14159,-31)
Type = RKCVN interval(3.45388,3.45388,-31)
Type = RKCVN interval(330,330,-24)
Type = RKCVN interval(37699.1,37699.1,-17)
Type = RKCVN interval(4,4,-30)
Type = RKCVN interval(628.319,628.319,-23)
Type = RKCVN interval(6283.19,6283.19,-20)
Type = RKCVN interval(65536,65536,-16)
Type = RKCVN interval(8192,8192,-19)
Type = RKCVN interval(900,900,-23)
Type = RKIVN interval(-1,1,-169)
Type = RKIVN interval(-1,1,-205):Table(RSISN interval(-1,1,-205))
Type = RKIVN interval(-1,1,-205):Table(RSISN interval(-1,1,-205))
Type = RKIVN interval(-1,2583,-32)
Type = RKIVN interval(-1,3671,-32)
Type = RKIVN interval(-1,3905,-32)
Type = RKIVN interval(-1,4397,-32)
Type = RKIVN interval(-1,4688,-32)
Type = RKIVN interval(-1,5247,-32)
Type = RKIVN interval(-1,5623,-32)
Type = RKIVN interval(-1,6067,-32)
Type = RKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RKIVN interval(-2584,24000,-1)
Type = RKIVN interval(-3672,42238,-1)
Type = RKIVN interval(-3906,29401,-1)
Type = RKIVN interval(-4398,33545,-1)
Type = RKIVN interval(-4689,40395,-1)
Type = RKIVN interval(-5248,49323,-1)
Type = RKIVN interval(-5624,36922,-1)
Type = RKIVN interval(-6068,24545,-1)
Type = RKIVN interval(-inf,inf,-181)
Type = RKIVN interval(-inf,inf,-181)
Type = RKIVN interval(-inf,inf,-181)
Type = RKIVN interval(-inf,inf,-184)
Type = RKIVN interval(-inf,inf,-184)
Type = RKIVN interval(-inf,inf,-184)
Type = RKIVN interval(-inf,inf,-275)
Type = RKIVN interval(-inf,inf,-278)
Type = RKIVN interval(-inf,inf,-87)
Type = RKIVN interval(-inf,inf,-90)
Type = RKIVN interval(0,101547,-99)
Type = RKIVN interval(0,1024,-32)
Type = RKIVN interval(0,1024,-32)
Type = RKIVN interval(0,1024,-32)
Type = RKIVN interval(0,113570,-99)
Type = RKIVN interval(0,115860,-99)
Type = RKIVN interval(0,127524,-99)
Type = RKIVN interval(0,139519,-99)
Type = RKIVN interval(0,145885,-99)
Type = RKIVN interval(0,16384,-18)
Type = RKIVN interval(0,16384,-18)
Type = RKIVN interval(0,16384,-18)
Type = RKIVN interval(0,170356,-99)
Type = RKIVN interval(0,2048,-32)
Type = RKIVN interval(0,2048,-32)
Type = RKIVN interval(0,2048,-32)
Type = RKIVN interval(0,2048,-32)
Type = RKIVN interval(0,2048,-32)
Type = RKIVN interval(0,24000,-1)
Type = RKIVN interval(0,24000,-1)
Type = RKIVN interval(0,24000,-68)
Type = RKIVN interval(0,24545,-1)
Type = RKIVN interval(0,24545,-1)
Type = RKIVN interval(0,24545,-68)
Type = RKIVN interval(0,2583,-32)
Type = RKIVN interval(0,2584,-1)
Type = RKIVN interval(0,29401,-1)
Type = RKIVN interval(0,29401,-1)
Type = RKIVN interval(0,29401,-68)
Type = RKIVN interval(0,33545,-1)
Type = RKIVN interval(0,33545,-1)
Type = RKIVN interval(0,33545,-68)
Type = RKIVN interval(0,3671,-32)
Type = RKIVN interval(0,3672,-1)
Type = RKIVN interval(0,36922,-1)
Type = RKIVN interval(0,36922,-1)
Type = RKIVN interval(0,36922,-68)
Type = RKIVN interval(0,3905,-32)
Type = RKIVN interval(0,3906,-1)
Type = RKIVN interval(0,40395,-1)
Type = RKIVN interval(0,40395,-1)
Type = RKIVN interval(0,40395,-68)
Type = RKIVN interval(0,42238,-1)
Type = RKIVN interval(0,42238,-1)
Type = RKIVN interval(0,42238,-68)
Type = RKIVN interval(0,4397,-32)
Type = RKIVN interval(0,4398,-1)
Type = RKIVN interval(0,4688,-32)
Type = RKIVN interval(0,4689,-1)
Type = RKIVN interval(0,49323,-1)
Type = RKIVN interval(0,49323,-1)
Type = RKIVN interval(0,49323,-68)
Type = RKIVN interval(0,5247,-32)
Type = RKIVN interval(0,5248,-1)
Type = RKIVN interval(0,55262,-99)
Type = RKIVN interval(0,5623,-32)
Type = RKIVN interval(0,5624,-1)
Type = RKIVN interval(0,56517,-99)
Type = RKIVN interval(0,6067,-32)
Type = RKIVN interval(0,6068,-1)
Type = RKIVN interval(0,67698.3,-99)
Type = RKIVN interval(0,77240.2,-99)
Type = RKIVN interval(0,8192,-19)
Type = RKIVN interval(0,8192,-19)
Type = RKIVN interval(0,8192,-19)
Type = RKIVN interval(0,8192,-19)
Type = RKIVN interval(0,8192,-19)
Type = RKIVN interval(0,82893.1,-99)
Type = RKIVN interval(0,84775.4,-99)
Type = RKIVN interval(0,85016,-99)
Type = RKIVN interval(0,93012.9,-99)
Type = RKIVN interval(0,97256.6,-99)
Type = RKIVN interval(0.00327249,628.319,-90)
Type = RKIVN interval(0.013458,2583.94,-71)
Type = RKIVN interval(0.019123,3671.62,-70)
Type = RKIVN interval(0.02,3840,-70)
Type = RKIVN interval(0.02,3840,-70)
Type = RKIVN interval(0.02,3840,-70)
Type = RKIVN interval(0.020346,3906.43,-70)
Type = RKIVN interval(0.022904,4397.57,-70)
Type = RKIVN interval(0.024421,4688.83,-70)
Type = RKIVN interval(0.027333,5247.94,-70)
Type = RKIVN interval(0.029291,5623.87,-70)
Type = RKIVN interval(0.031604,6067.97,-69)
Type = RKIVN interval(0.0327249,6283.19,-87)
Type = RKIVN interval(0.125,24000,-67)
Type = RKIVN interval(0.127837,24544.7,-67)
Type = RKIVN interval(0.153129,29400.8,-67)
Type = RKIVN interval(0.174713,33544.9,-67)
Type = RKIVN interval(0.192303,36922.2,-67)
Type = RKIVN interval(0.19635,37699.1,-84)
Type = RKIVN interval(0.210389,40394.7,-67)
Type = RKIVN interval(0.219991,42238.3,-67)
Type = RKIVN interval(0.256891,49323.1,-66)
Type = RKIVN interval(0.513458,2584.44,-71)
Type = RKIVN interval(0.519123,3672.12,-70)
Type = RKIVN interval(0.520346,3906.93,-70)
Type = RKIVN interval(0.522904,4398.07,-70)
Type = RKIVN interval(0.524421,4689.33,-70)
Type = RKIVN interval(0.527333,5248.44,-70)
Type = RKIVN interval(0.529291,5624.37,-70)
Type = RKIVN interval(0.531604,6068.47,-69)
Type = RKIVN interval(0.625,24000.5,-67)
Type = RKIVN interval(0.627837,24545.2,-67)
Type = RKIVN interval(0.653129,29401.3,-67)
Type = RKIVN interval(0.674713,33545.4,-67)
Type = RKIVN interval(0.692303,36922.7,-67)
Type = RKIVN interval(0.710389,40395.2,-67)
Type = RKIVN interval(0.719991,42238.8,-67)
Type = RKIVN interval(0.756891,49323.6,-66)
Type = RKIVN interval(1,1.79769e+308,-32)
Type = RKIVN interval(1,192000,-32)
Type = RKIVN interval(1.73611e-06,0.333333,-101)
Type = RKIVN interval(2,384000,-63)
Type = RKIVN interval(2.60417e-06,0.5,-100)
Type = RKIVN interval(3,576000,-63)
Type = RKIVN interval(5.20833e-06,1,-99)
Type = RSES? interval(-1,1,-1503)
Type = RSES? interval(-1,1,-1503)
Type = RSES? interval(-1,1,-187115)
Type = RSES? interval(-1,1,-187115)
Type = RSES? interval(-1,1,-2021)
Type = RSES? interval(-1,1,-2021)
Type = RSES? interval(-1,1,-25751)
Type = RSES? interval(-1,1,-25751)
Type = RSES? interval(-inf,inf,-1010)
Type = RSES? interval(-inf,inf,-10151)
Type = RSES? interval(-inf,inf,-10151)
Type = RSES? interval(-inf,inf,-101629)
Type = RSES? interval(-inf,inf,-101629)
Type = RSES? interval(-inf,inf,-1069473)
Type = RSES? interval(-inf,inf,-1069473)
Type = RSES? interval(-inf,inf,-1069473)
Type = RSES? interval(-inf,inf,-1069473)
Type = RSES? interval(-inf,inf,-109581)
Type = RSES? interval(-inf,inf,-109581)
Type = RSES? interval(-inf,inf,-11189)
Type = RSES? interval(-inf,inf,-11189)
Type = RSES? interval(-inf,inf,-11255)
Type = RSES? interval(-inf,inf,-11255)
Type = RSES? interval(-inf,inf,-11321)
Type = RSES? interval(-inf,inf,-11321)
Type = RSES? interval(-inf,inf,-11321)
Type = RSES? interval(-inf,inf,-11321)
Type = RSES? interval(-inf,inf,-117533)
Type = RSES? interval(-inf,inf,-117533)
Type = RSES? interval(-inf,inf,-117533)
Type = RSES? interval(-inf,inf,-117533)
Type = RSES? interval(-inf,inf,-119428)
Type = RSES? interval(-inf,inf,-119428)
Type = RSES? interval(-inf,inf,-12040)
Type = RSES? interval(-inf,inf,-12040)
Type = RSES? interval(-inf,inf,-12172)
Type = RSES? interval(-inf,inf,-12172)
Type = RSES? interval(-inf,inf,-12172)
Type = RSES? interval(-inf,inf,-12172)
Type = RSES? interval(-inf,inf,-12328)
Type = RSES? interval(-inf,inf,-12328)
Type = RSES? interval(-inf,inf,-12328)
Type = RSES? interval(-inf,inf,-12328)
Type = RSES? interval(-inf,inf,-12484)
Type = RSES? interval(-inf,inf,-1256588)
Type = RSES? interval(-inf,inf,-1256588)
Type = RSES? interval(-inf,inf,-1256588)
Type = RSES? interval(-inf,inf,-1256588)
Type = RSES? interval(-inf,inf,-12626)
Type = RSES? interval(-inf,inf,-12626)
Type = RSES? interval(-inf,inf,-12692)
Type = RSES? interval(-inf,inf,-12692)
Type = RSES? interval(-inf,inf,-127380)
Type = RSES? interval(-inf,inf,-127380)
Type = RSES? interval(-inf,inf,-12824)
Type = RSES? interval(-inf,inf,-12824)
Type = RSES? interval(-inf,inf,-12824)
Type = RSES? interval(-inf,inf,-12824)
Type = RSES? interval(-inf,inf,-12843)
Type = RSES? interval(-inf,inf,-12875)
Type = RSES? interval(-inf,inf,-137227)
Type = RSES? interval(-inf,inf,-137227)
Type = RSES? interval(-inf,inf,-137227)
Type = RSES? interval(-inf,inf,-137227)
Type = RSES? interval(-inf,inf,-13929)
Type = RSES? interval(-inf,inf,-13929)
Type = RSES? interval(-inf,inf,-14061)
Type = RSES? interval(-inf,inf,-14061)
Type = RSES? interval(-inf,inf,-14063)
Type = RSES? interval(-inf,inf,-14063)
Type = RSES? interval(-inf,inf,-14063)
Type = RSES? interval(-inf,inf,-14063)
Type = RSES? interval(-inf,inf,-14129)
Type = RSES? interval(-inf,inf,-14129)
Type = RSES? interval(-inf,inf,-14193)
Type = RSES? interval(-inf,inf,-14193)
Type = RSES? interval(-inf,inf,-14193)
Type = RSES? interval(-inf,inf,-14193)
Type = RSES? interval(-inf,inf,-14327)
Type = RSES? interval(-inf,inf,-14327)
Type = RSES? interval(-inf,inf,-14327)
Type = RSES? interval(-inf,inf,-14327)
Type = RSES? interval(-inf,inf,-143284)
Type = RSES? interval(-inf,inf,-143284)
Type = RSES? interval(-inf,inf,-143284)
Type = RSES? interval(-inf,inf,-143284)
Type = RSES? interval(-inf,inf,-1443703)
Type = RSES? interval(-inf,inf,-1443703)
Type = RSES? interval(-inf,inf,-1443703)
Type = RSES? interval(-inf,inf,-1443703)
Type = RSES? interval(-inf,inf,-145179)
Type = RSES? interval(-inf,inf,-145179)
Type = RSES? interval(-inf,inf,-15566)
Type = RSES? interval(-inf,inf,-15566)
Type = RSES? interval(-inf,inf,-15566)
Type = RSES? interval(-inf,inf,-15566)
Type = RSES? interval(-inf,inf,-15818)
Type = RSES? interval(-inf,inf,-15818)
Type = RSES? interval(-inf,inf,-15830)
Type = RSES? interval(-inf,inf,-15830)
Type = RSES? interval(-inf,inf,-15830)
Type = RSES? interval(-inf,inf,-15830)
Type = RSES? interval(-inf,inf,-15950)
Type = RSES? interval(-inf,inf,-15950)
Type = RSES? interval(-inf,inf,-15955642)
Type = RSES? interval(-inf,inf,-15955642)
Type = RSES? interval(-inf,inf,-15955675)
Type = RSES? interval(-inf,inf,-15955675)
Type = RSES? interval(-inf,inf,-15955675)
Type = RSES? interval(-inf,inf,-15955675)
Type = RSES? interval(-inf,inf,-16214)
Type = RSES? interval(-inf,inf,-16214)
Type = RSES? interval(-inf,inf,-16214)
Type = RSES? interval(-inf,inf,-16214)
Type = RSES? interval(-inf,inf,-162978)
Type = RSES? interval(-inf,inf,-162978)
Type = RSES? interval(-inf,inf,-162978)
Type = RSES? interval(-inf,inf,-162978)
Type = RSES? interval(-inf,inf,-16317729)
Type = RSES? interval(-inf,inf,-16317729)
Type = RSES? interval(-inf,inf,-16317762)
Type = RSES? interval(-inf,inf,-16317762)
Type = RSES? interval(-inf,inf,-16317762)
Type = RSES? interval(-inf,inf,-16317762)
Type = RSES? interval(-inf,inf,-16317762)
Type = RSES? interval(-inf,inf,-169035)
Type = RSES? interval(-inf,inf,-169035)
Type = RSES? interval(-inf,inf,-169035)
Type = RSES? interval(-inf,inf,-169035)
Type = RSES? interval(-inf,inf,-17333)
Type = RSES? interval(-inf,inf,-17333)
Type = RSES? interval(-inf,inf,-17333)
Type = RSES? interval(-inf,inf,-17333)
Type = RSES? interval(-inf,inf,-17707)
Type = RSES? interval(-inf,inf,-17707)
Type = RSES? interval(-inf,inf,-17707)
Type = RSES? interval(-inf,inf,-17707)
Type = RSES? interval(-inf,inf,-17839)
Type = RSES? interval(-inf,inf,-17839)
Type = RSES? interval(-inf,inf,-18235)
Type = RSES? interval(-inf,inf,-18235)
Type = RSES? interval(-inf,inf,-18235)
Type = RSES? interval(-inf,inf,-18235)
Type = RSES? interval(-inf,inf,-194786)
Type = RSES? interval(-inf,inf,-194786)
Type = RSES? interval(-inf,inf,-194786)
Type = RSES? interval(-inf,inf,-194786)
Type = RSES? interval(-inf,inf,-19543989)
Type = RSES? interval(-inf,inf,-19543989)
Type = RSES? interval(-inf,inf,-19544022)
Type = RSES? interval(-inf,inf,-19544022)
Type = RSES? interval(-inf,inf,-19544022)
Type = RSES? interval(-inf,inf,-19544022)
Type = RSES? interval(-inf,inf,-19544022)
Type = RSES? interval(-inf,inf,-1967)
Type = RSES? interval(-inf,inf,-1967)
Type = RSES? interval(-inf,inf,-19728)
Type = RSES? interval(-inf,inf,-19728)
Type = RSES? interval(-inf,inf,-19728)
Type = RSES? interval(-inf,inf,-19728)
Type = RSES? interval(-inf,inf,-20256)
Type = RSES? interval(-inf,inf,-20256)
Type = RSES? interval(-inf,inf,-20256)
Type = RSES? interval(-inf,inf,-20256)
Type = RSES? interval(-inf,inf,-220537)
Type = RSES? interval(-inf,inf,-220537)
Type = RSES? interval(-inf,inf,-220537)
Type = RSES? interval(-inf,inf,-220537)
Type = RSES? interval(-inf,inf,-221560)
Type = RSES? interval(-inf,inf,-221560)
Type = RSES? interval(-inf,inf,-221560)
Type = RSES? interval(-inf,inf,-221741)
Type = RSES? interval(-inf,inf,-22277)
Type = RSES? interval(-inf,inf,-22277)
Type = RSES? interval(-inf,inf,-22277)
Type = RSES? interval(-inf,inf,-22277)
Type = RSES? interval(-inf,inf,-22297202)
Type = RSES? interval(-inf,inf,-22297202)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-22297235)
Type = RSES? interval(-inf,inf,-223919)
Type = RSES? interval(-inf,inf,-224099)
Type = RSES? interval(-inf,inf,-224099)
Type = RSES? interval(-inf,inf,-224099)
Type = RSES? interval(-inf,inf,-224132)
Type = RSES? interval(-inf,inf,-224134)
Type = RSES? interval(-inf,inf,-24540829)
Type = RSES? interval(-inf,inf,-24540829)
Type = RSES? interval(-inf,inf,-24540862)
Type = RSES? interval(-inf,inf,-24540862)
Type = RSES? interval(-inf,inf,-24540894)
Type = RSES? interval(-inf,inf,-24540894)
Type = RSES? interval(-inf,inf,-24540894)
Type = RSES? interval(-inf,inf,-24540894)
Type = RSES? interval(-inf,inf,-24540894)
Type = RSES? interval(-inf,inf,-24540894)
Type = RSES? interval(-inf,inf,-2485)
Type = RSES? interval(-inf,inf,-2485)
Type = RSES? interval(-inf,inf,-26848242)
Type = RSES? interval(-inf,inf,-26848242)
Type = RSES? interval(-inf,inf,-26848275)
Type = RSES? interval(-inf,inf,-26848275)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-26848307)
Type = RSES? interval(-inf,inf,-279053)
Type = RSES? interval(-inf,inf,-279053)
Type = RSES? interval(-inf,inf,-28072702)
Type = RSES? interval(-inf,inf,-28072702)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-28072735)
Type = RSES? interval(-inf,inf,-321013)
Type = RSES? interval(-inf,inf,-321013)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779876)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779909)
Type = RSES? interval(-inf,inf,-32779910)
Type = RSES? interval(-inf,inf,-32779910)
Type = RSES? interval(-inf,inf,-32779910)
Type = RSES? interval(-inf,inf,-32779910)
Type = RSES? interval(-inf,inf,-32780090)
Type = RSES? interval(-inf,inf,-32780090)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780153)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780337)
Type = RSES? interval(-inf,inf,-32780615)
Type = RSES? interval(-inf,inf,-32780615)
Type = RSES? interval(-inf,inf,-32780615)
Type = RSES? interval(-inf,inf,-32780615)
Type = RSES? interval(-inf,inf,-32780615)
Type = RSES? interval(-inf,inf,-32780615)
Type = RSES? interval(-inf,inf,-32780615)
Type = RSES? interval(-inf,inf,-32780615)
Type = RSES? interval(-inf,inf,-32780647)
Type = RSES? interval(-inf,inf,-32780647)
Type = RSES? interval(-inf,inf,-32780647)
Type = RSES? interval(-inf,inf,-32780647)
Type = RSES? interval(-inf,inf,-32780647)
Type = RSES? interval(-inf,inf,-32780647)
Type = RSES? interval(-inf,inf,-32780647)
Type = RSES? interval(-inf,inf,-32780647)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-359)
Type = RSES? interval(-inf,inf,-36766812)
Type = RSES? interval(-inf,inf,-36766812)
Type = RSES? interval(-inf,inf,-36857334)
Type = RSES? interval(-inf,inf,-36857334)
Type = RSES? interval(-inf,inf,-37663899)
Type = RSES? interval(-inf,inf,-37663899)
Type = RSES? interval(-inf,inf,-38079)
Type = RSES? interval(-inf,inf,-38079)
Type = RSES? interval(-inf,inf,-38352202)
Type = RSES? interval(-inf,inf,-38352202)
Type = RSES? interval(-inf,inf,-38913109)
Type = RSES? interval(-inf,inf,-38913109)
Type = RSES? interval(-inf,inf,-39489962)
Type = RSES? interval(-inf,inf,-39489962)
Type = RSES? interval(-inf,inf,-39796077)
Type = RSES? interval(-inf,inf,-39796077)
Type = RSES? interval(-inf,inf,-39960253)
Type = RSES? interval(-inf,inf,-39960253)
Type = RSES? interval(-inf,inf,-39960253)
Type = RSES? interval(-inf,inf,-39960287)
Type = RSES? interval(-inf,inf,-39960287)
Type = RSES? interval(-inf,inf,-39960287)
Type = RSES? interval(-inf,inf,-39960287)
Type = RSES? interval(-inf,inf,-39960287)
Type = RSES? interval(-inf,inf,-39960320)
Type = RSES? interval(-inf,inf,-40123192)
Type = RSES? interval(-inf,inf,-40123192)
Type = RSES? interval(-inf,inf,-40123192)
Type = RSES? interval(-inf,inf,-40123226)
Type = RSES? interval(-inf,inf,-40123226)
Type = RSES? interval(-inf,inf,-40123226)
Type = RSES? interval(-inf,inf,-40123226)
Type = RSES? interval(-inf,inf,-40123226)
Type = RSES? interval(-inf,inf,-40123259)
Type = RSES? interval(-inf,inf,-40972871)
Type = RSES? interval(-inf,inf,-40972871)
Type = RSES? interval(-inf,inf,-41575009)
Type = RSES? interval(-inf,inf,-41575009)
Type = RSES? interval(-inf,inf,-41575009)
Type = RSES? interval(-inf,inf,-41575043)
Type = RSES? interval(-inf,inf,-41575043)
Type = RSES? interval(-inf,inf,-41575043)
Type = RSES? interval(-inf,inf,-41575043)
Type = RSES? interval(-inf,inf,-41575043)
Type = RSES? interval(-inf,inf,-41575043)
Type = RSES? interval(-inf,inf,-41575076)
Type = RSES? interval(-inf,inf,-420896)
Type = RSES? interval(-inf,inf,-420896)
Type = RSES? interval(-inf,inf,-42813955)
Type = RSES? interval(-inf,inf,-42813955)
Type = RSES? interval(-inf,inf,-42813955)
Type = RSES? interval(-inf,inf,-42813989)
Type = RSES? interval(-inf,inf,-42813989)
Type = RSES? interval(-inf,inf,-42813989)
Type = RSES? interval(-inf,inf,-42813989)
Type = RSES? interval(-inf,inf,-42813989)
Type = RSES? interval(-inf,inf,-42813989)
Type = RSES? interval(-inf,inf,-42814022)
Type = RSES? interval(-inf,inf,-43823587)
Type = RSES? interval(-inf,inf,-43823587)
Type = RSES? interval(-inf,inf,-43823587)
Type = RSES? interval(-inf,inf,-43823621)
Type = RSES? interval(-inf,inf,-43823621)
Type = RSES? interval(-inf,inf,-43823621)
Type = RSES? interval(-inf,inf,-43823621)
Type = RSES? interval(-inf,inf,-43823621)
Type = RSES? interval(-inf,inf,-43823654)
Type = RSES? interval(-inf,inf,-43823686)
Type = RSES? interval(-inf,inf,-43947222)
Type = RSES? interval(-inf,inf,-44200683)
Type = RSES? interval(-inf,inf,-44748702)
Type = RSES? interval(-inf,inf,-44748702)
Type = RSES? interval(-inf,inf,-44861923)
Type = RSES? interval(-inf,inf,-44861923)
Type = RSES? interval(-inf,inf,-44861923)
Type = RSES? interval(-inf,inf,-44861957)
Type = RSES? interval(-inf,inf,-44861957)
Type = RSES? interval(-inf,inf,-44861957)
Type = RSES? interval(-inf,inf,-44861957)
Type = RSES? interval(-inf,inf,-44861957)
Type = RSES? interval(-inf,inf,-44861990)
Type = RSES? interval(-inf,inf,-44862022)
Type = RSES? interval(-inf,inf,-45020267)
Type = RSES? interval(-inf,inf,-45020267)
Type = RSES? interval(-inf,inf,-45412930)
Type = RSES? interval(-inf,inf,-45412930)
Type = RSES? interval(-inf,inf,-45412930)
Type = RSES? interval(-inf,inf,-45412964)
Type = RSES? interval(-inf,inf,-45412964)
Type = RSES? interval(-inf,inf,-45412964)
Type = RSES? interval(-inf,inf,-45412964)
Type = RSES? interval(-inf,inf,-45412964)
Type = RSES? interval(-inf,inf,-45412964)
Type = RSES? interval(-inf,inf,-45412964)
Type = RSES? interval(-inf,inf,-45412997)
Type = RSES? interval(-inf,inf,-46459065)
Type = RSES? interval(-inf,inf,-47439962)
Type = RSES? interval(-inf,inf,-47439962)
Type = RSES? interval(-inf,inf,-47531158)
Type = RSES? interval(-inf,inf,-47531158)
Type = RSES? interval(-inf,inf,-47531158)
Type = RSES? interval(-inf,inf,-47531192)
Type = RSES? interval(-inf,inf,-47531192)
Type = RSES? interval(-inf,inf,-47531192)
Type = RSES? interval(-inf,inf,-47531192)
Type = RSES? interval(-inf,inf,-47531192)
Type = RSES? interval(-inf,inf,-47531192)
Type = RSES? interval(-inf,inf,-47531192)
Type = RSES? interval(-inf,inf,-47531225)
Type = RSES? interval(-inf,inf,-48386314)
Type = RSES? interval(-inf,inf,-49504872)
Type = RSES? interval(-inf,inf,-49504872)
Type = RSES? interval(-inf,inf,-49956853)
Type = RSES? interval(-inf,inf,-508128)
Type = RSES? interval(-inf,inf,-508128)
Type = RSES? interval(-inf,inf,-508128)
Type = RSES? interval(-inf,inf,-508128)
Type = RSES? interval(-inf,inf,-508284)
Type = RSES? interval(-inf,inf,-508284)
Type = RSES? interval(-inf,inf,-508284)
Type = RSES? interval(-inf,inf,-508284)
Type = RSES? interval(-inf,inf,-508284)
Type = RSES? interval(-inf,inf,-508284)
Type = RSES? interval(-inf,inf,-508284)
Type = RSES? interval(-inf,inf,-508559)
Type = RSES? interval(-inf,inf,-508591)
Type = RSES? interval(-inf,inf,-51187592)
Type = RSES? interval(-inf,inf,-51187592)
Type = RSES? interval(-inf,inf,-515)
Type = RSES? interval(-inf,inf,-51572042)
Type = RSES? interval(-inf,inf,-520779)
Type = RSES? interval(-inf,inf,-520779)
Type = RSES? interval(-inf,inf,-52429164)
Type = RSES? interval(-inf,inf,-52918152)
Type = RSES? interval(-inf,inf,-52918152)
Type = RSES? interval(-inf,inf,-53836497)
Type = RSES? interval(-inf,inf,-53836497)
Type = RSES? interval(-inf,inf,-55724186)
Type = RSES? interval(-inf,inf,-57366877)
Type = RSES? interval(-inf,inf,-57366877)
Type = RSES? interval(-inf,inf,-608011)
Type = RSES? interval(-inf,inf,-608011)
Type = RSES? interval(-inf,inf,-620662)
Type = RSES? interval(-inf,inf,-620662)
Type = RSES? interval(-inf,inf,-66031)
Type = RSES? interval(-inf,inf,-66031)
Type = RSES? interval(-inf,inf,-695243)
Type = RSES? interval(-inf,inf,-695243)
Type = RSES? interval(-inf,inf,-695243)
Type = RSES? interval(-inf,inf,-695243)
Type = RSES? interval(-inf,inf,-707894)
Type = RSES? interval(-inf,inf,-707894)
Type = RSES? interval(-inf,inf,-720)
Type = RSES? interval(-inf,inf,-720545)
Type = RSES? interval(-inf,inf,-720545)
Type = RSES? interval(-inf,inf,-720545)
Type = RSES? interval(-inf,inf,-720545)
Type = RSES? interval(-inf,inf,-751)
Type = RSES? interval(-inf,inf,-807777)
Type = RSES? interval(-inf,inf,-807777)
Type = RSES? interval(-inf,inf,-8315)
Type = RSES? interval(-inf,inf,-8315)
Type = RSES? interval(-inf,inf,-83830)
Type = RSES? interval(-inf,inf,-83830)
Type = RSES? interval(-inf,inf,-882358)
Type = RSES? interval(-inf,inf,-882358)
Type = RSES? interval(-inf,inf,-882358)
Type = RSES? interval(-inf,inf,-882358)
Type = RSES? interval(-inf,inf,-907660)
Type = RSES? interval(-inf,inf,-907660)
Type = RSES? interval(-inf,inf,-907660)
Type = RSES? interval(-inf,inf,-907660)
Type = RSES? interval(-inf,inf,-91782)
Type = RSES? interval(-inf,inf,-91782)
Type = RSES? interval(-inf,inf,-91782)
Type = RSES? interval(-inf,inf,-91782)
Type = RSES? interval(-inf,inf,-91938)
Type = RSES? interval(-inf,inf,-91938)
Type = RSES? interval(-inf,inf,-92094)
Type = RSES? interval(-inf,inf,-93526)
Type = RSES? interval(-inf,inf,-93557)
Type = RSES? interval(-inf,inf,-9752)
Type = RSES? interval(-inf,inf,-9752)
Type = RSES? interval(-inf,inf,-979)
Type = RSES? interval(-inf,inf,-9818)
Type = RSES? interval(-inf,inf,-9818)
Type = RSES? interval(-inf,inf,-9818)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-196)
Type = RSES? interval(0,inf,-93011)
Type = RSES? interval(0,inf,-93167)
Type = RSESN interval(-1,1,-205)
Type = RSESN interval(-1,1,-205)
Type = RSESN interval(-1,1,-205)
Type = RSESN interval(-2,2,-205)
Type = RSESN interval(-inf,1,-163)
Type = RSESN interval(-inf,1,-163)
Type = RSESN interval(-inf,1,-163)
Type = RSESN interval(-inf,1,-163)
Type = RSESN interval(-inf,inf,-1)
Type = RSESN interval(-inf,inf,-1)
Type = RSESN interval(-inf,inf,-1)
Type = RSESN interval(-inf,inf,-243)
Type = RSESN interval(-inf,inf,-243)
Type = RSESN interval(-inf,inf,-243)
Type = RSESN interval(-inf,inf,-243)
Type = RSESN interval(-inf,inf,-243)
Type = RSESN interval(-inf,inf,-243)
Type = RSESN interval(-inf,inf,-259)
Type = RSESN interval(-inf,inf,-259)
Type = RSESN interval(-inf,inf,-259)
Type = RSESN interval(-inf,inf,-276)
Type = RSESN interval(-inf,inf,-276)
Type = RSESN interval(-inf,inf,-276)
Type = RSESN interval(-inf,inf,-276)
Type = RSESN interval(-inf,inf,-361)
Type = RSESN interval(-inf,inf,-464)
Type = RSESN interval(-inf,inf,-464)
Type = RSESN interval(-inf,inf,-620)
Type = RSESN interval(-inf,inf,-620)
Type = RSESN interval(0,0.95,-180)
Type = RSESN interval(0,1,-180)
Type = RSESN interval(0,384000,-63)
Type = RSESN interval(0,384000,-63)
Type = RSESN interval(0,384000,-63)
Type = RSESN interval(0,384000,-63)
Type = RSESN interval(0,4,-180)
Type = RSESN interval(0,576000,-63)
Type = RSESN interval(0,576000,-63)
Type = RSESN interval(0,576000,-63)
Type = RSESN interval(0,576000,-63)
Type = RSESN interval(0,inf,-163)
Type = RSESN interval(0,inf,-163)
Type = RSESN interval(0,inf,-163)
Type = RSESN interval(0,inf,-163)
Type = RSESN interval(0,inf,-177)
Type = RSESN interval(0,inf,-177)
Type = RSESN interval(0,inf,-177)
Type = RSESN interval(0,inf,-177)
Type = RSESN interval(0,inf,-177)
Type = RSESN interval(0,inf,-177)
Type = RSESN interval(0,inf,-180)
Type = RSESN interval(0,inf,-180)
Type = RSESN interval(0,inf,-180)
Type = RSESN interval(0,inf,-180)
Type = RSESN interval(0,inf,-180)
Type = RSESN interval(0,inf,-180)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-196)
Type = RSESN interval(0,inf,-210)
Type = RSESN interval(0,inf,-210)
Type = RSESN interval(0,inf,-213)
Type = RSESN interval(0,inf,-213)
Type = RSESN interval(0,inf,-2359)
Type = RSESN interval(0,inf,-2359)
Type = RSESN interval(0,inf,-2359)
Type = RSESN interval(0,inf,-2392)
Type = RSESN interval(0,inf,-2392)
Type = RSESN interval(0,inf,-276)
Type = RSESN interval(0,inf,-276)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0,inf,-63)
Type = RSESN interval(0.00075,inf,-213)
Type = RSESN interval(0.05,1,-180)
Type = RSESN interval(0.1,inf,-210)
Type = RSESN interval(0.75,4,-180)
Type = RSESN interval(0.9,inf,-210)
Type = RSESN interval(1,384000,-63)
Type = RSESN interval(1,384000,-63)
Type = RSESN interval(1,384000,-63)
Type = RSESN interval(1,384000,-63)
Type = RSESN interval(1,576000,-63)
Type = RSESN interval(1,576000,-63)
Type = RSESN interval(1,576000,-63)
Type = RSESN interval(1,576000,-63)
Type = RSESN interval(1,inf,-63)
Type = RSESN interval(1,inf,-63)
Type = RSESN interval(1,inf,-63)
Type = RSESN interval(1,inf,-63)
Type = RSESN interval(1,inf,-63)
Type = RSESN interval(1,inf,-63)
Type = RSESN interval(1,inf,-63)
Type = RSESN interval(1,inf,-63)
Type = RSESN interval(5e-05,inf,-213)
Type = RSISN interval(-1,1,-141)
Type = RSISN interval(-inf,1,-156)
Type = RSISN interval(0,inf,-156)
Type = RSISN interval(0,inf,-156)
Type = RSISN interval(0,inf,-156)
Type = RSISN interval(0,inf,-189)
Type = RSISN interval(0.0008,inf,-189)
Type = SE interval(-inf,inf,-10151) : {RSES? interval(-inf,inf,-10151)}
Type = SE interval(-inf,inf,-101629) : {RSES? interval(-inf,inf,-101629)}
Type = SE interval(-inf,inf,-11189) : {RSES? interval(-inf,inf,-11189)}
Type = SE interval(-inf,inf,-119428) : {RSES? interval(-inf,inf,-119428)}
Type = SE interval(-inf,inf,-12040) : {RSES? interval(-inf,inf,-12040)}
Type = SE interval(-inf,inf,-12626) : {RSES? interval(-inf,inf,-12626)}
Type = SE interval(-inf,inf,-137227) : {RSES? interval(-inf,inf,-137227)}
Type = SE interval(-inf,inf,-137227) : {RSES? interval(-inf,inf,-137227)}
Type = SE interval(-inf,inf,-13929) : {RSES? interval(-inf,inf,-13929)}
Type = SE interval(-inf,inf,-14063) : {RSES? interval(-inf,inf,-14063)}
Type = SE interval(-inf,inf,-14063) : {RSES? interval(-inf,inf,-14063)}
Type = SE interval(-inf,inf,-15818) : {RSES? interval(-inf,inf,-15818)}
Type = SE interval(-inf,inf,-15955675) : {RSES? interval(-inf,inf,-15955642)*RSES? interval(-inf,inf,-15955675)}
Type = SE interval(-inf,inf,-16317762) : {RSES? interval(-inf,inf,-16317729)*RSES? interval(-inf,inf,-16317762)}
Type = SE interval(-inf,inf,-17707) : {RSES? interval(-inf,inf,-17707)}
Type = SE interval(-inf,inf,-17707) : {RSES? interval(-inf,inf,-17707)}
Type = SE interval(-inf,inf,-19544022) : {RSES? interval(-inf,inf,-19543989)*RSES? interval(-inf,inf,-19544022)}
Type = SE interval(-inf,inf,-221560) : {RSES? interval(-inf,inf,-221560)}
Type = SE interval(-inf,inf,-22297235) : {RSES? interval(-inf,inf,-22297202)*RSES? interval(-inf,inf,-22297235)}
Type = SE interval(-inf,inf,-243) : {RSESN interval(-inf,inf,-243)}
Type = SE interval(-inf,inf,-243) : {RSESN interval(-inf,inf,-243)}
Type = SE interval(-inf,inf,-24540894) : {RSES? interval(-inf,inf,-24540829)*RSES? interval(-inf,inf,-24540894)}
Type = SE interval(-inf,inf,-26848307) : {RSES? interval(-inf,inf,-26848242)*RSES? interval(-inf,inf,-26848307)}
Type = SE interval(-inf,inf,-28072735) : {RSES? interval(-inf,inf,-28072702)*RSES? interval(-inf,inf,-28072735)}
Type = SE interval(-inf,inf,-321013) : {RSES? interval(-inf,inf,-321013)}
Type = SE interval(-inf,inf,-32779876) : {RSES? interval(-inf,inf,-32779876)*RSES? interval(-inf,inf,-32779876)*RSES? interval(-inf,inf,-32779876)*RSES? interval(-inf,inf,-32779876)*RSES? interval(-inf,inf,-32779876)*RSES? interval(-inf,inf,-32779876)*RSES? interval(-inf,inf,-32779876)*RSES? interval(-inf,inf,-32779876)}
Type = SE interval(-inf,inf,-32779909) : {RSES? interval(-inf,inf,-32779876)*RSES? interval(-inf,inf,-32779909)}
Type = SE interval(-inf,inf,-32780153) : {RSES? interval(-inf,inf,-32780153)}
Type = SE interval(-inf,inf,-32780153) : {RSES? interval(-inf,inf,-32780153)}
Type = SE interval(-inf,inf,-32780153) : {RSES? interval(-inf,inf,-32780153)}
Type = SE interval(-inf,inf,-32780153) : {RSES? interval(-inf,inf,-32780153)}
Type = SE interval(-inf,inf,-32780153) : {RSES? interval(-inf,inf,-32780153)}
Type = SE interval(-inf,inf,-32780153) : {RSES? interval(-inf,inf,-32780153)}
Type = SE interval(-inf,inf,-32780153) : {RSES? interval(-inf,inf,-32780153)}
Type = SE interval(-inf,inf,-32780153) : {RSES? interval(-inf,inf,-32780153)}
Type = SE interval(-inf,inf,-39960253) : {RSES? interval(-inf,inf,-39960253)}
Type = SE interval(-inf,inf,-40123192) : {RSES? interval(-inf,inf,-40123192)}
Type = SE interval(-inf,inf,-41575009) : {RSES? interval(-inf,inf,-41575009)}
Type = SE interval(-inf,inf,-420896) : {RSES? interval(-inf,inf,-420896)}
Type = SE interval(-inf,inf,-42813955) : {RSES? interval(-inf,inf,-42813955)}
Type = SE interval(-inf,inf,-43823587) : {RSES? interval(-inf,inf,-43823587)}
Type = SE interval(-inf,inf,-44861923) : {RSES? interval(-inf,inf,-44861923)}
Type = SE interval(-inf,inf,-45412930) : {RSES? interval(-inf,inf,-45412930)}
Type = SE interval(-inf,inf,-47531158) : {RSES? interval(-inf,inf,-47531158)}
Type = SE interval(-inf,inf,-520779) : {RSES? interval(-inf,inf,-520779)}
Type = SE interval(-inf,inf,-620662) : {RSES? interval(-inf,inf,-620662)}
Type = SE interval(-inf,inf,-66031) : {RSES? interval(-inf,inf,-66031)}
Type = SE interval(-inf,inf,-720545) : {RSES? interval(-inf,inf,-720545)}
Type = SE interval(-inf,inf,-720545) : {RSES? interval(-inf,inf,-720545)}
Type = SE interval(-inf,inf,-8315) : {RSES? interval(-inf,inf,-8315)}
Type = SE interval(-inf,inf,-83830) : {RSES? interval(-inf,inf,-83830)}
Type = SE interval(-inf,inf,-9752) : {RSES? interval(-inf,inf,-9752)}
Type = SE interval(0,inf,-177) : {RSESN interval(0,inf,-177)}
Type = SE interval(0,inf,-177) : {RSESN interval(0,inf,-177)}
Type = SE interval(0,inf,-180) : {RSESN interval(0,inf,-180)}
Type = SE interval(0,inf,-180) : {RSESN interval(0,inf,-180)}
Type = SE interval(0,inf,-196) : {RSES? interval(0,inf,-196)}
Type = SE interval(0,inf,-196) : {RSES? interval(0,inf,-196)}
Type = SE interval(0,inf,-196) : {RSES? interval(0,inf,-196)}
Type = SE interval(0,inf,-196) : {RSES? interval(0,inf,-196)}
Type = SE interval(0,inf,-2359) : {RSESN interval(0,inf,-2359)}
Type = SE interval(0,inf,-63) : {RSESN interval(0,inf,-63)}
Type = SE interval(0,inf,-63) : {RSESN interval(0,inf,-63)}
Type = SE interval(0,inf,-63) : {RSESN interval(0,inf,-63)}
Type = SE interval(0,inf,-63) : {RSESN interval(0,inf,-63)}
Type = SE interval(0,inf,-63) : {RSESN interval(0,inf,-63)}
Type = SE interval(0,inf,-63) : {RSESN interval(0,inf,-63)}
Type = SE interval(0,inf,-63) : {RSESN interval(0,inf,-63)}
Type = SE interval(0,inf,-63) : {RSESN interval(0,inf,-63)}
Type = SI interval(0,inf,-156) : {RSISN interval(0,inf,-156)}
