Figure: Exporting a match forest (animated SVG image)