o.c.o.converter:  add further symbol file sizes.

Make symbol list alphabetical.