In previous version similar keys in DoubleVectorMap were searched in the DoubleUtil.DOUBLE_EQUALITY_THRESHOLD neighbourhood of a current key, which lead to incorrect reports of graphs with the same vector invariant (e.g., the same A-spectrum). This is now corrected to slightly less than half the threshold, i.e., to DoubleUtil.DOUBLE_EQUALITY_THRESHOLD/2.05.