double fmax = si.getMaximumFrequency(); int lmax = si.getMaximumLength(); long nbytes = si.getTableBytes(); trace("lmax="+lmax+" fmax="+fmax+" emax="+emax+" nbytes="+nbytes);
double fmax = si.getMaximumFrequency(); int lmax = si.getMaximumLength(); long nbytes = si.getTableBytes(); trace("lmax="+lmax+" fmax="+fmax+" emax="+emax+" nbytes="+nbytes);