code: private static String encodePath(int dist, IAtom a, IAtom b) {
          return dist + "_" + a.getSymbol() + "_" + b.getSymbol();
      }
docs: Creates the fingerprint name which is used as a key in our hashes
  @param dist
  @param a
  @param b
  @return