Calculate number of symbols, make proof verification optional.
Insert comparison plot, describe exact base replacement rules.
Add Fine & wilf illustration as well as plot source.