time period used to bin results
bits used per dimension - note all precisions must sum to less than 64
Gets ranges
Gets ranges
sequence of bounding boxes, in the form of (xmin, ymin, xmax, ymax)
sequence of time bounds, in the form of (tmin, tmax)
precision of the zvalues to consider, up to 64 bits
rough upper bound on the number of ranges to return
Z3 space filling curve