Search Results

The awk script pair:
awk '{printf("%02d%02d%s\n", substr($0,1,2), length($0)-2, substr($0,3))|"sort"}' list |
awk '{printf("%02d%s\n", substr($0,1,2), substr($0,5))}'
seems to do what you want,...