<?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.38.0 (20140413.2041) --> <!-- Title: %3 Pages: 1 --> <svg viewBox="0.00 0.00 1000.00 700.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> <g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 156)"> <title>%3</title> <polygon fill="white" stroke="none" points="-4,4 -4,-156 174,-156 174,4 -4,4"/> <!-- table0 --> <g id="node1" class="node"><title>table0</title> <polyline fill="none" stroke="black" points="8,-128 162,-128 "/> <text text-anchor="start" x="70.6069" y="-133.8" font-family="Times,serif" font-size="14.00">Cons</text> <polygon fill="none" stroke="black" points="8,-4 8,-128 31,-128 31,-4 8,-4"/> <text text-anchor="start" x="10.5552" y="-61.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="black" points="31,-4 31,-128 162,-128 162,-4 31,-4"/> <polyline fill="none" stroke="black" points="34,-105 159,-105 "/> <text text-anchor="start" x="82.1069" y="-110.8" font-family="Times,serif" font-size="14.00">Cons</text> <polygon fill="none" stroke="black" points="34,-7 34,-105 57,-105 57,-7 34,-7"/> <text text-anchor="start" x="36.5552" y="-51.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="black" points="57,-7 57,-105 159,-105 159,-7 57,-7"/> <polyline fill="none" stroke="black" points="60,-82 156,-82 "/> <text text-anchor="start" x="93.6069" y="-87.8" font-family="Times,serif" font-size="14.00">Cons</text> <polygon fill="none" stroke="black" points="60,-10 60,-82 83,-82 83,-10 60,-10"/> <text text-anchor="start" x="62.5552" y="-41.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="black" points="83,-10 83,-82 156,-82 156,-10 83,-10"/> <polyline fill="none" stroke="black" points="86,-59 153,-59 "/> <text text-anchor="start" x="105.107" y="-64.8" font-family="Times,serif" font-size="14.00">Cons</text> <polygon fill="none" stroke="black" points="86,-13 86,-59 109,-59 109,-13 86,-13"/> <text text-anchor="start" x="88.5552" y="-31.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="black" points="109,-13 109,-59 153,-59 153,-13 109,-13"/> <polyline fill="none" stroke="black" points="112,-36 150,-36 "/> <text text-anchor="start" x="116.607" y="-41.8" font-family="Times,serif" font-size="14.00">Cons</text> <polygon fill="none" stroke="black" points="112,-16 112,-36 135,-36 135,-16 112,-16"/> <text text-anchor="start" x="114.555" y="-21.8" font-family="Times,serif" font-size="14.00">i32</text> <polygon fill="none" stroke="black" points="135,-16 135,-36 150,-36 150,-16 135,-16"/> <text text-anchor="start" x="137.51" y="-21.8" font-family="Times,serif" font-size="14.00">∞</text> </g> </g> </svg>