docs: @Override
    public void readHeader(RandomAccessFile file) throws IOException {
      super.readHeader(file);
      this.min_fanout = file.readInt();
      this.num_elements = file.readLong();
      this.dimensionality = file.readInt();
      this.max_overlap = file.readFloat();
      this.supernode_offset = file.readLong();
    }