<?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.43.0 (0)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="225pt" height="332pt"
 viewBox="0.00 0.00 225.08 332.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 328)">
<title>%3</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-328 221.08,-328 221.08,4 -4,4"/>
<!-- idris2&#45;dep&#45;graph -->
<g id="node1" class="node">
<title>idris2&#45;dep&#45;graph</title>
<ellipse fill="linen" stroke="black" cx="108.54" cy="-234" rx="87.99" ry="18"/>
<text text-anchor="middle" x="108.54" y="-230.3" font-family="Times,serif" font-size="14.00">idris2&#45;dep&#45;graph</text>
</g>
<!-- idris2 -->
<g id="node3" class="node">
<title>idris2</title>
<ellipse fill="none" stroke="black" cx="108.54" cy="-162" rx="37.89" ry="18"/>
<text text-anchor="middle" x="108.54" y="-158.3" font-family="Times,serif" font-size="14.00">idris2</text>
</g>
<!-- idris2&#45;dep&#45;graph&#45;&gt;idris2 -->
<g id="edge1" class="edge">
<title>idris2&#45;dep&#45;graph&#45;&gt;idris2</title>
<path fill="none" stroke="black" d="M108.54,-215.7C108.54,-207.98 108.54,-198.71 108.54,-190.11"/>
<polygon fill="black" stroke="black" points="112.04,-190.1 108.54,-180.1 105.04,-190.1 112.04,-190.1"/>
</g>
<!-- idris2&#45;dep&#45;graph&#45;test -->
<g id="node2" class="node">
<title>idris2&#45;dep&#45;graph&#45;test</title>
<ellipse fill="linen" stroke="black" cx="108.54" cy="-306" rx="108.58" ry="18"/>
<text text-anchor="middle" x="108.54" y="-302.3" font-family="Times,serif" font-size="14.00">idris2&#45;dep&#45;graph&#45;test</text>
</g>
<!-- idris2&#45;dep&#45;graph&#45;test&#45;&gt;idris2&#45;dep&#45;graph -->
<g id="edge2" class="edge">
<title>idris2&#45;dep&#45;graph&#45;test&#45;&gt;idris2&#45;dep&#45;graph</title>
<path fill="none" stroke="black" d="M108.54,-287.7C108.54,-279.98 108.54,-270.71 108.54,-262.11"/>
<polygon fill="black" stroke="black" points="112.04,-262.1 108.54,-252.1 105.04,-262.1 112.04,-262.1"/>
</g>
<!-- network -->
<g id="node5" class="node">
<title>network</title>
<ellipse fill="none" stroke="black" cx="108.54" cy="-90" rx="48.99" ry="18"/>
<text text-anchor="middle" x="108.54" y="-86.3" font-family="Times,serif" font-size="14.00">network</text>
</g>
<!-- idris2&#45;&gt;network -->
<g id="edge3" class="edge">
<title>idris2&#45;&gt;network</title>
<path fill="none" stroke="black" d="M108.54,-143.7C108.54,-135.98 108.54,-126.71 108.54,-118.11"/>
<polygon fill="black" stroke="black" points="112.04,-118.1 108.54,-108.1 105.04,-118.1 112.04,-118.1"/>
</g>
<!-- linear -->
<g id="node4" class="node">
<title>linear</title>
<ellipse fill="none" stroke="black" cx="108.54" cy="-18" rx="37.89" ry="18"/>
<text text-anchor="middle" x="108.54" y="-14.3" font-family="Times,serif" font-size="14.00">linear</text>
</g>
<!-- network&#45;&gt;linear -->
<g id="edge4" class="edge">
<title>network&#45;&gt;linear</title>
<path fill="none" stroke="black" d="M108.54,-71.7C108.54,-63.98 108.54,-54.71 108.54,-46.11"/>
<polygon fill="black" stroke="black" points="112.04,-46.1 108.54,-36.1 105.04,-46.1 112.04,-46.1"/>
</g>
</g>
</svg>