imported renderer for Folding Atomata v1.5.3