printf(" FINDABBREVS: show selection decisions during abbreviation optimization\n (only meaningful with -u)\n");
printf(" FINDABBREVS=2: also show three-letter-block decisions\n");
printf(" FREQ: show how efficient abbreviations were (same as -f)\n (only meaningful with -e)\n");
printf(" FINDABBREVS: show selection decisions during abbreviation optimization\n (only meaningful with -u)\n");
printf(" FINDABBREVS=2: also show three-letter-block decisions\n");
printf(" FREQ: show how efficient abbreviations were (same as -f)\n (only meaningful with -e)\n");