Size = 395
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RBEVN interval(-1,0,-24)
Type = RBEVN interval(-1,0,-24)
Type = RBEVN interval(-1,0,-24)
Type = RBEVN interval(-1,0,-24)
Type = RBEVN interval(-1,0,-24)
Type = RBEVN interval(-1,0,-24)
Type = RBEVN interval(-1,0,-24)
Type = RBEVN interval(-1,0,-24)
Type = RBEVN interval(-180,0,-24)
Type = RBEVN interval(-180,0,-24)
Type = RBEVN interval(-180,0,-24)
Type = RBEVN interval(-180,0,-24)
Type = RBEVN interval(-180,0,-24)
Type = RBEVN interval(-180,0,-24)
Type = RBEVN interval(-180,0,-24)
Type = RBEVN interval(-180,0,-24)
Type = RBEVN interval(-3.5,0.2,-24)
Type = RBEVN interval(-3.5,0.2,-24)
Type = RBEVN interval(-3.5,0.2,-24)
Type = RBEVN interval(-3.5,0.2,-24)
Type = RBEVN interval(-3.5,0.2,-24)
Type = RBEVN interval(-3.5,0.2,-24)
Type = RBEVN interval(-3.5,0.2,-24)
Type = RBEVN interval(-3.5,0.2,-24)
Type = RBEVN interval(-3.5,0.2,-24)
Type = RBEVN interval(-70,4,-24)
Type = RBEVN interval(-70,4,-24)
Type = RBEVN interval(-70,4,-24)
Type = RBEVN interval(-70,4,-24)
Type = RBEVN interval(-70,4,-24)
Type = RBEVN interval(-70,4,-24)
Type = RBEVN interval(-70,4,-24)
Type = RBEVN interval(-70,4,-24)
Type = RBEVN interval(-70,4,-24)
Type = RBEVN interval(-90,90,-24)
Type = RBEVN interval(-90,90,-24)
Type = RBEVN interval(-90,90,-24)
Type = RBEVN interval(-90,90,-24)
Type = RBEVN interval(-90,90,-24)
Type = RBEVN interval(-90,90,-24)
Type = RBEVN interval(-90,90,-24)
Type = RBEVN interval(-90,90,-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,1,-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,1,-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,1,-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,1,-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,1,-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,1,-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,1,-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,1,-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,1,-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,1,-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,1,-24)
Type = RBEVN interval(0,1,-24)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0,1,0)
Type = RBEVN interval(0.000316228,1.58489,-24)
Type = RBEVN interval(0.000316228,1.58489,-24)
Type = RBEVN interval(0.000316228,1.58489,-24)
Type = RBEVN interval(0.000316228,1.58489,-24)
Type = RBEVN interval(0.000316228,1.58489,-24)
Type = RBEVN interval(0.000316228,1.58489,-24)
Type = RBEVN interval(0.000316228,1.58489,-24)
Type = RBEVN interval(0.000316228,1.58489,-24)
Type = RBEVN interval(0.000316228,1.58489,-24)
Type = RBEVN interval(3.16228e-07,0.00158489,-24)
Type = RBEVN interval(3.16228e-07,0.00158489,-24)
Type = RBEVN interval(3.16228e-07,0.00158489,-24)
Type = RBEVN interval(3.16228e-07,0.00158489,-24)
Type = RBEVN interval(3.16228e-07,0.00158489,-24)
Type = RBEVN interval(3.16228e-07,0.00158489,-24)
Type = RBEVN interval(3.16228e-07,0.00158489,-24)
Type = RBEVN interval(3.16228e-07,0.00158489,-24)
Type = RBEVN interval(3.16228e-07,0.00158489,-24)
Type = RKCVN interval(-0.00555556,-0.00555556,-24)
Type = RKCVN interval(-1,-1,-24)
Type = RKCVN interval(-70,-70,-24)
Type = RKCVN interval(-90,-90,-24)
Type = RKCVN interval(0,0,-24)
Type = RKCVN interval(0.000316228,0.000316228,-24)
Type = RKCVN interval(0.001,0.001,-24)
Type = RKCVN interval(0.00555556,0.00555556,-24)
Type = RKCVN interval(0.05,0.05,-24)
Type = RKCVN interval(0.1,0.1,-24)
Type = RKCVN interval(0.999,0.999,-24)
Type = RKCVN interval(1,1,-24)
Type = RKCVN interval(10,10,-24)
Type = RKCVN interval(192000,192000,-24)
Type = RKCVN interval(20,20,-24)
Type = RKCVN interval(4,4,-24)
Type = RKCVN interval(5,5,-24)
Type = RKCVN interval(90,90,-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(5.20833e-06,1,-24)
Type = RSESN interval(-1,inf,-24)
Type = RSESN interval(-1,inf,-24)
Type = RSESN interval(-1,inf,-24)
Type = RSESN interval(-1,inf,-24)
Type = RSESN interval(-1,inf,-24)
Type = RSESN interval(-1,inf,-24)
Type = RSESN interval(-1,inf,-24)
Type = RSESN interval(-1,inf,-24)
Type = RSESN interval(-1,inf,-24)
Type = RSESN interval(-1,inf,-24)
Type = RSESN interval(-3.5,inf,-24)
Type = RSESN interval(-3.5,inf,-24)
Type = RSESN interval(-3.5,inf,-24)
Type = RSESN interval(-3.5,inf,-24)
Type = RSESN interval(-3.5,inf,-24)
Type = RSESN interval(-3.5,inf,-24)
Type = RSESN interval(-3.5,inf,-24)
Type = RSESN interval(-3.5,inf,-24)
Type = RSESN interval(-3.5,inf,-24)
Type = RSESN interval(-3.5,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,inf,-24)
Type = RSESN interval(-70,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 = 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 = 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 = 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 = 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 = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0,inf,-24)
Type = RSESN interval(0.000316228,inf,-24)
Type = RSESN interval(0.000316228,inf,-24)
Type = RSESN interval(0.000316228,inf,-24)
Type = RSESN interval(0.000316228,inf,-24)
Type = RSESN interval(0.000316228,inf,-24)
Type = RSESN interval(0.000316228,inf,-24)
Type = RSESN interval(0.000316228,inf,-24)
Type = RSESN interval(0.000316228,inf,-24)
Type = RSESN interval(0.000316228,inf,-24)
Type = RSESN interval(0.000316228,inf,-24)
Type = RSESN interval(3.16228e-07,inf,-24)
Type = RSESN interval(3.16228e-07,inf,-24)
Type = RSESN interval(3.16228e-07,inf,-24)
Type = RSESN interval(3.16228e-07,inf,-24)
Type = RSESN interval(3.16228e-07,inf,-24)
Type = RSESN interval(3.16228e-07,inf,-24)
Type = RSESN interval(3.16228e-07,inf,-24)
Type = RSESN interval(3.16228e-07,inf,-24)
Type = RSESN interval(3.16228e-07,inf,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
Type = SE interval(0,inf,-24) : {RSESN interval(0,inf,-24)}
