Synchronization from insertions and deletions under a non-binary, non-uniform source.