docs: public static final long recodeKeyNum(long keyNum, long[] originalOffsets, int[] originalSizes,
        long[] resultOffsets) {
      long resultKeyNum = 0;
      int numDims = originalOffsets.length;
      for (int j = 0; j < numDims; j++) {
        resultKeyNum += ((keyNum / originalOffsets[j]) % originalSizes[j]) * resultOffsets[j];
      }
      return resultKeyNum;
    }