private DistinctPair decode(long encoded) {
    boolean ordered = encoded < 0;
    encoded = Math.abs(encoded);
    return new DistinctPair(low(encoded), high(encoded), ordered, myState.getEqClasses());
  }
private DistinctPair decode(long encoded)