Skip to content

Instantly share code, notes, and snippets.

@fabienhinault
Last active April 8, 2021 06:32
Show Gist options
  • Save fabienhinault/94e4ca62d512ffb34baf19c0ed1f87c5 to your computer and use it in GitHub Desktop.
Save fabienhinault/94e4ca62d512ffb34baf19c0ed1f87c5 to your computer and use it in GitHub Desktop.
Display the source blob
Display the rendered blob
Raw
<?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 xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="824pt" height="260pt" viewBox="0.00 0.00 824.25 260.00">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 256)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-256 820.2545,-256 820.2545,4 -4,4"/>
<!-- 5 -->
<g id="node1" class="node">
<title>5</title>
<ellipse fill="none" stroke="#000000" cx="40.2545" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="40.2545" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- 10 -->
<g id="node2" class="node">
<title>10</title>
<ellipse fill="none" stroke="#000000" cx="40.2545" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="40.2545" y="-157.8" font-family="Times,serif" font-size="14.00" fill="#000000">10</text>
</g>
<!-- 5&#45;&gt;10 -->
<g id="edge1" class="edge">
<title>5-&gt;10</title>
<path fill="none" stroke="#000000" d="M40.2545,-215.8314C40.2545,-208.131 40.2545,-198.9743 40.2545,-190.4166"/>
<polygon fill="#000000" stroke="#000000" points="43.7546,-190.4132 40.2545,-180.4133 36.7546,-190.4133 43.7546,-190.4132"/>
</g>
<!-- 15 -->
<g id="node10" class="node">
<title>15</title>
<ellipse fill="none" stroke="#000000" cx="260.2545" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="260.2545" y="-157.8" font-family="Times,serif" font-size="14.00" fill="#000000">15</text>
</g>
<!-- 5&#45;&gt;15 -->
<g id="edge14" class="edge">
<title>5-&gt;15</title>
<path fill="none" stroke="#000000" d="M66.0341,-227.9799C102.069,-219.2193 169.2586,-201.6196 224.2545,-180 226.1079,-179.2714 227.9948,-178.4819 229.8848,-177.6542"/>
<polygon fill="#000000" stroke="#000000" points="231.6359,-180.6995 239.2196,-173.301 228.6774,-174.3554 231.6359,-180.6995"/>
</g>
<!-- 20 -->
<g id="node17" class="node">
<title>20</title>
<ellipse fill="none" stroke="#000000" cx="59.2545" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="59.2545" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">20</text>
</g>
<!-- 5&#45;&gt;20 -->
<g id="edge24" class="edge">
<title>5-&gt;20</title>
<path fill="none" stroke="#000000" d="M26.1315,-218.2844C18.001,-208.1468 8.5644,-194.2347 4.2545,-180 -.3821,-164.6865 -1.9362,-158.7538 4.2545,-144 9.9894,-130.3322 21.0582,-118.3826 31.7715,-109.223"/>
<polygon fill="#000000" stroke="#000000" points="34.1915,-111.7687 39.8004,-102.7803 29.8105,-106.3091 34.1915,-111.7687"/>
</g>
<!-- 10&#45;&gt;20 -->
<g id="edge25" class="edge">
<title>10-&gt;20</title>
<path fill="none" stroke="#000000" d="M44.9511,-144.2022C47.0521,-136.2406 49.5784,-126.6671 51.9195,-117.7957"/>
<polygon fill="#000000" stroke="#000000" points="55.3786,-118.4046 54.546,-107.8425 48.6103,-116.6185 55.3786,-118.4046"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<ellipse fill="none" stroke="#000000" cx="252.2545" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="252.2545" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
</g>
<!-- 2&#45;&gt;10 -->
<g id="edge2" class="edge">
<title>2-&gt;10</title>
<path fill="none" stroke="#000000" d="M227.3327,-227.0457C193.782,-217.4765 132.3939,-199.2364 81.2545,-180 78.1985,-178.8505 75.0417,-177.5937 71.8994,-176.2957"/>
<polygon fill="#000000" stroke="#000000" points="73.2029,-173.0466 62.6314,-172.3444 70.4576,-179.4859 73.2029,-173.0466"/>
</g>
<!-- 4 -->
<g id="node4" class="node">
<title>4</title>
<ellipse fill="none" stroke="#000000" cx="188.2545" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="188.2545" y="-157.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
</g>
<!-- 2&#45;&gt;4 -->
<g id="edge3" class="edge">
<title>2-&gt;4</title>
<path fill="none" stroke="#000000" d="M238.3674,-218.3771C229.7292,-208.659 218.4652,-195.987 208.8048,-185.1191"/>
<polygon fill="#000000" stroke="#000000" points="211.374,-182.7413 202.1144,-177.5924 206.1421,-187.3918 211.374,-182.7413"/>
</g>
<!-- 6 -->
<g id="node5" class="node">
<title>6</title>
<ellipse fill="none" stroke="#000000" cx="408.2545" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="408.2545" y="-157.8" font-family="Times,serif" font-size="14.00" fill="#000000">6</text>
</g>
<!-- 2&#45;&gt;6 -->
<g id="edge4" class="edge">
<title>2-&gt;6</title>
<path fill="none" stroke="#000000" d="M274.6055,-223.6842C301.365,-211.3336 346.358,-190.5676 376.6633,-176.5805"/>
<polygon fill="#000000" stroke="#000000" points="378.3321,-179.6652 385.9449,-172.2967 375.3986,-173.3095 378.3321,-179.6652"/>
</g>
<!-- 8 -->
<g id="node6" class="node">
<title>8</title>
<ellipse fill="none" stroke="#000000" cx="234.2545" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="234.2545" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">8</text>
</g>
<!-- 2&#45;&gt;8 -->
<g id="edge5" class="edge">
<title>2-&gt;8</title>
<path fill="none" stroke="#000000" d="M269.0074,-219.299C279.0213,-209.3467 290.8221,-195.2671 296.2545,-180 301.6182,-164.9258 302.8826,-158.5626 296.2545,-144 289.4321,-129.0107 276.1661,-116.5641 263.6501,-107.4127"/>
<polygon fill="#000000" stroke="#000000" points="265.42,-104.3825 255.1935,-101.6129 261.4608,-110.1553 265.42,-104.3825"/>
</g>
<!-- 12 -->
<g id="node9" class="node">
<title>12</title>
<ellipse fill="none" stroke="#000000" cx="390.2545" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="390.2545" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">12</text>
</g>
<!-- 2&#45;&gt;12 -->
<g id="edge11" class="edge">
<title>2-&gt;12</title>
<path fill="none" stroke="#000000" d="M269.0597,-219.8613C281.3792,-209.2639 298.3153,-194.2027 312.2545,-180 333.2288,-158.6293 355.4342,-132.6356 370.7657,-114.0886"/>
<polygon fill="#000000" stroke="#000000" points="373.656,-116.0839 377.297,-106.1343 368.2461,-111.6417 373.656,-116.0839"/>
</g>
<!-- 16 -->
<g id="node11" class="node">
<title>16</title>
<ellipse fill="none" stroke="#000000" cx="179.2545" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="179.2545" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">16</text>
</g>
<!-- 2&#45;&gt;16 -->
<g id="edge17" class="edge">
<title>2-&gt;16</title>
<path fill="none" stroke="#000000" d="M226.5317,-228.0889C202.5735,-221.068 168.2244,-206.7733 152.2545,-180 126.8626,-137.4309 148.4064,-77.9737 164.8503,-44.1941"/>
<polygon fill="#000000" stroke="#000000" points="168.1203,-45.4842 169.5208,-34.9823 161.8769,-42.3187 168.1203,-45.4842"/>
</g>
<!-- 18 -->
<g id="node12" class="node">
<title>18</title>
<ellipse fill="none" stroke="#000000" cx="481.2545" cy="-90" rx="27" ry="18"/>
<text text-anchor="middle" x="481.2545" y="-85.8" font-family="Times,serif" font-size="14.00" fill="#000000">18</text>
</g>
<!-- 2&#45;&gt;18 -->
<g id="edge20" class="edge">
<title>2-&gt;18</title>
<path fill="none" stroke="#000000" d="M278.6922,-229.5111C325.3302,-221.1253 419.6214,-201.932 444.2545,-180 462.1979,-164.0241 471.6237,-138.0244 476.458,-118.0676"/>
<polygon fill="#000000" stroke="#000000" points="479.8842,-118.7827 478.5882,-108.2675 473.0439,-117.2958 479.8842,-118.7827"/>
</g>
<!-- 2&#45;&gt;20 -->
<g id="edge22" class="edge">
<title>2-&gt;20</title>
<path fill="none" stroke="#000000" d="M226.384,-228.3657C197.717,-221.0911 151.3111,-206.1484 119.2545,-180 98.2453,-162.863 81.8496,-136.4302 71.5458,-116.6372"/>
<polygon fill="#000000" stroke="#000000" points="74.5898,-114.8991 66.9835,-107.5239 68.3304,-118.0327 74.5898,-114.8991"/>
</g>
<!-- 4&#45;&gt;8 -->
<g id="edge7" class="edge">
<title>4-&gt;8</title>
<path fill="none" stroke="#000000" d="M198.9234,-145.3008C204.6131,-136.3952 211.7321,-125.2524 218.0861,-115.307"/>
<polygon fill="#000000" stroke="#000000" points="221.2089,-116.92 223.6434,-106.6087 215.31,-113.1513 221.2089,-116.92"/>
</g>
<!-- 4&#45;&gt;12 -->
<g id="edge10" class="edge">
<title>4-&gt;12</title>
<path fill="none" stroke="#000000" d="M209.7147,-150.6168C214.4436,-148.293 219.47,-145.9615 224.2545,-144 268.4715,-125.8721 321.199,-109.5882 355.176,-99.7545"/>
<polygon fill="#000000" stroke="#000000" points="356.439,-103.0336 365.0884,-96.9149 354.5112,-96.3043 356.439,-103.0336"/>
</g>
<!-- 4&#45;&gt;16 -->
<g id="edge16" class="edge">
<title>4-&gt;16</title>
<path fill="none" stroke="#000000" d="M187.1146,-143.7623C185.5795,-119.201 182.8324,-75.2474 181.0266,-46.3541"/>
<polygon fill="#000000" stroke="#000000" points="184.5021,-45.8518 180.3851,-36.0896 177.5158,-46.2885 184.5021,-45.8518"/>
</g>
<!-- 4&#45;&gt;20 -->
<g id="edge23" class="edge">
<title>4-&gt;20</title>
<path fill="none" stroke="#000000" d="M167.5284,-150.432C146.4024,-138.6407 113.4137,-120.2284 89.3983,-106.8244"/>
<polygon fill="#000000" stroke="#000000" points="90.7955,-103.596 80.3577,-101.7785 87.3839,-109.7084 90.7955,-103.596"/>
</g>
<!-- 6&#45;&gt;12 -->
<g id="edge12" class="edge">
<title>6-&gt;12</title>
<path fill="none" stroke="#000000" d="M403.805,-144.2022C401.8146,-136.2406 399.4213,-126.6671 397.2034,-117.7957"/>
<polygon fill="#000000" stroke="#000000" points="400.536,-116.6951 394.7151,-107.8425 393.745,-118.3929 400.536,-116.6951"/>
</g>
<!-- 6&#45;&gt;18 -->
<g id="edge21" class="edge">
<title>6-&gt;18</title>
<path fill="none" stroke="#000000" d="M423.3801,-147.0816C433.589,-137.0125 447.2423,-123.5463 458.7237,-112.2221"/>
<polygon fill="#000000" stroke="#000000" points="461.2351,-114.6611 465.8971,-105.147 456.3196,-109.6773 461.2351,-114.6611"/>
</g>
<!-- 8&#45;&gt;16 -->
<g id="edge15" class="edge">
<title>8-&gt;16</title>
<path fill="none" stroke="#000000" d="M221.7741,-73.6621C214.742,-64.4564 205.8198,-52.7764 197.9662,-42.4953"/>
<polygon fill="#000000" stroke="#000000" points="200.5372,-40.0953 191.6854,-34.2733 194.9745,-44.3446 200.5372,-40.0953"/>
</g>
<!-- 3 -->
<g id="node7" class="node">
<title>3</title>
<ellipse fill="none" stroke="#000000" cx="501.2545" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="501.2545" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
</g>
<!-- 3&#45;&gt;6 -->
<g id="edge6" class="edge">
<title>3-&gt;6</title>
<path fill="none" stroke="#000000" d="M483.3231,-220.1177C469.4281,-209.3602 449.9764,-194.3009 434.3554,-182.2072"/>
<polygon fill="#000000" stroke="#000000" points="436.1806,-179.1939 426.1308,-175.8397 431.8954,-184.729 436.1806,-179.1939"/>
</g>
<!-- 9 -->
<g id="node8" class="node">
<title>9</title>
<ellipse fill="none" stroke="#000000" cx="594.2545" cy="-162" rx="27" ry="18"/>
<text text-anchor="middle" x="594.2545" y="-157.8" font-family="Times,serif" font-size="14.00" fill="#000000">9</text>
</g>
<!-- 3&#45;&gt;9 -->
<g id="edge8" class="edge">
<title>3-&gt;9</title>
<path fill="none" stroke="#000000" d="M519.1858,-220.1177C533.0808,-209.3602 552.5325,-194.3009 568.1536,-182.2072"/>
<polygon fill="#000000" stroke="#000000" points="570.6135,-184.729 576.3782,-175.8397 566.3283,-179.1939 570.6135,-184.729"/>
</g>
<!-- 3&#45;&gt;12 -->
<g id="edge9" class="edge">
<title>3-&gt;12</title>
<path fill="none" stroke="#000000" d="M491.9965,-216.9997C481.4907,-198.326 463.324,-167.8251 444.2545,-144 435.233,-132.7288 424.1162,-121.2761 414.3187,-111.8355"/>
<polygon fill="#000000" stroke="#000000" points="416.4811,-109.0633 406.8095,-104.7377 411.6726,-114.1505 416.4811,-109.0633"/>
</g>
<!-- 3&#45;&gt;15 -->
<g id="edge13" class="edge">
<title>3-&gt;15</title>
<path fill="none" stroke="#000000" d="M476.371,-226.5659C433.1441,-213.6517 344.1006,-187.0495 294.8723,-172.3422"/>
<polygon fill="#000000" stroke="#000000" points="295.5861,-168.9027 285.0026,-169.3936 293.5823,-175.6098 295.5861,-168.9027"/>
</g>
<!-- 3&#45;&gt;18 -->
<g id="edge19" class="edge">
<title>3-&gt;18</title>
<path fill="none" stroke="#000000" d="M508.404,-216.4633C514.8644,-198.1154 522.3575,-168.6125 515.2545,-144 512.2134,-133.4623 506.4396,-122.9991 500.5015,-114.1287"/>
<polygon fill="#000000" stroke="#000000" points="503.2551,-111.9615 494.6038,-105.8454 497.5528,-116.0216 503.2551,-111.9615"/>
</g>
<!-- 9&#45;&gt;18 -->
<g id="edge18" class="edge">
<title>9-&gt;18</title>
<path fill="none" stroke="#000000" d="M574.5714,-149.4586C556.6147,-138.0171 529.8702,-120.9764 509.6101,-108.0673"/>
<polygon fill="#000000" stroke="#000000" points="511.4055,-105.0612 501.0912,-102.6393 507.6439,-110.9647 511.4055,-105.0612"/>
</g>
<!-- 11 -->
<g id="node13" class="node">
<title>11</title>
<ellipse fill="none" stroke="#000000" cx="573.2545" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="573.2545" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">11</text>
</g>
<!-- 13 -->
<g id="node14" class="node">
<title>13</title>
<ellipse fill="none" stroke="#000000" cx="645.2545" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="645.2545" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">13</text>
</g>
<!-- 17 -->
<g id="node15" class="node">
<title>17</title>
<ellipse fill="none" stroke="#000000" cx="717.2545" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="717.2545" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">17</text>
</g>
<!-- 19 -->
<g id="node16" class="node">
<title>19</title>
<ellipse fill="none" stroke="#000000" cx="789.2545" cy="-234" rx="27" ry="18"/>
<text text-anchor="middle" x="789.2545" y="-229.8" font-family="Times,serif" font-size="14.00" fill="#000000">19</text>
</g>
</g>
</svg>
digraph G {
5 -> 10
2 -> 10
2 -> 4
2 -> 6
2 -> 8
3 -> 6
4 -> 8
3 -> 9
3 -> 12
4 -> 12
2 -> 12
6 -> 12
3 -> 15
5 -> 15
8 -> 16
4 -> 16
2 -> 16
9 -> 18
3 -> 18
2 -> 18
6 -> 18
11
13
17
19
2 -> 20
4 -> 20
5 -> 20
10 -> 20
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment