9420.md

```
% pandoc --embed-resources
![](command/9420.svg)
^D
<p><svg id="svg_e1815ef374a63cf552e4" width="504pt" height="360pt" viewBox="0 0 504 360">
<defs>
<clipPath id="svg_e1815ef374a63cf552e4_clip1-c3ce354c">
  <path />
</clipPath>
</defs>
<g clip-path="url(#svg_e1815ef374a63cf552e4_clip1-c3ce354c)" clip-rule="nonzero"></g>
</svg></p>
```