Illustrate the HOA example with automata in SVG.