| 1234567891011121314151617181920 |
- <?xml version="1.0" encoding="UTF-8" standalone="no"?>
- <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
- "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
- <!-- Generated by graphviz version 2.40.1 (20161225.0304)
- -->
- <!-- Title: G Pages: 1 -->
- <svg width="217pt" height="44pt"
- viewBox="0.00 0.00 217.00 44.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
- <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 40)">
- <title>G</title>
- <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-40 213,-40 213,4 -4,4"/>
- <!-- a -->
- <g id="node1" class="node">
- <title>a</title>
- <polygon fill="none" stroke="#000000" points="209,-36 0,-36 0,0 209,0 209,-36"/>
- <text text-anchor="middle" x="104.5" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">merge [1,1,2,3] [0,4,10,14]</text>
- </g>
- </g>
- </svg>
|
