<?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 width="425pt" height="98pt"
 viewBox="0.00 0.00 425.32 98.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 94)">
<title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-94 421.317,-94 421.317,4 -4,4"/>
<!-- map; decrement -->
<g id="node1" class="node"><title>map; decrement</title>
<ellipse fill="white" stroke="black" cx="177.037" cy="-72" rx="68.4888" ry="18"/>
<text text-anchor="start" x="132.537" y="-68.3" font-family="Times,serif" font-size="14.00">map; decrement</text>
</g>
<!-- Sink; print -->
<g id="node2" class="node"><title>Sink; print</title>
<path fill="white" stroke="black" d="M377.033,-90C377.033,-90 321.565,-90 321.565,-90 315.565,-90 305.857,-85.2831 302.149,-80.5662 302.149,-80.5662 288.68,-63.4338 288.68,-63.4338 284.972,-58.7169 287.264,-54 293.264,-54 293.264,-54 405.334,-54 405.334,-54 411.334,-54 413.626,-58.7169 409.918,-63.4338 409.918,-63.4338 396.449,-80.5662 396.449,-80.5662 392.741,-85.2831 383.033,-90 377.033,-90"/>
<text text-anchor="start" x="320.299" y="-68.3" font-family="Times,serif" font-size="14.00">Sink; print</text>
</g>
<!-- map; decrement&#45;&gt;Sink; print -->
<g id="edge1" class="edge"><title>map; decrement&#45;&gt;Sink; print</title>
<path fill="none" stroke="black" d="M245.329,-72C258.458,-72 272.179,-72 285.167,-72"/>
<polygon fill="black" stroke="black" points="285.401,-75.5001 295.401,-72 285.401,-68.5001 285.401,-75.5001"/>
</g>
<!-- Stream -->
<g id="node3" class="node"><title>Stream</title>
<ellipse fill="white" stroke="black" cx="36.3968" cy="-45" rx="36.2938" ry="18"/>
<text text-anchor="start" x="16.3968" y="-41.3" font-family="Times,serif" font-size="14.00">Stream</text>
</g>
<!-- Stream&#45;&gt;map; decrement -->
<g id="edge2" class="edge"><title>Stream&#45;&gt;map; decrement</title>
<path fill="none" stroke="black" d="M70.6047,-51.4672C82.917,-53.865 97.3381,-56.6734 111.492,-59.43"/>
<polygon fill="black" stroke="black" points="111.233,-62.9452 121.718,-61.4214 112.571,-56.0742 111.233,-62.9452"/>
</g>
<!-- map; increment -->
<g id="node4" class="node"><title>map; increment</title>
<ellipse fill="white" stroke="black" cx="177.037" cy="-18" rx="66.8882" ry="18"/>
<text text-anchor="start" x="133.537" y="-14.3" font-family="Times,serif" font-size="14.00">map; increment</text>
</g>
<!-- Stream&#45;&gt;map; increment -->
<g id="edge3" class="edge"><title>Stream&#45;&gt;map; increment</title>
<path fill="none" stroke="black" d="M70.6047,-38.5328C83.1667,-36.0864 97.9239,-33.2125 112.353,-30.4024"/>
<polygon fill="black" stroke="black" points="113.113,-33.8203 122.259,-28.4732 111.775,-26.9494 113.113,-33.8203"/>
</g>
<!-- &lt;Sink; print&gt;&#45;1 -->
<g id="node5" class="node"><title>&lt;Sink; print&gt;&#45;1</title>
<path fill="white" stroke="black" d="M377.033,-36C377.033,-36 321.565,-36 321.565,-36 315.565,-36 305.857,-31.2831 302.149,-26.5662 302.149,-26.5662 288.68,-9.43381 288.68,-9.43381 284.972,-4.7169 287.264,-1.01882e-14 293.264,-9.7182e-15 293.264,-9.7182e-15 405.334,-9.39937e-16 405.334,-9.39937e-16 411.334,-4.69968e-16 413.626,-4.7169 409.918,-9.43381 409.918,-9.43381 396.449,-26.5662 396.449,-26.5662 392.741,-31.2831 383.033,-36 377.033,-36"/>
<text text-anchor="start" x="320.299" y="-14.3" font-family="Times,serif" font-size="14.00">Sink; print</text>
</g>
<!-- map; increment&#45;&gt;&lt;Sink; print&gt;&#45;1 -->
<g id="edge4" class="edge"><title>map; increment&#45;&gt;&lt;Sink; print&gt;&#45;1</title>
<path fill="none" stroke="black" d="M244.353,-18C257.82,-18 271.949,-18 285.298,-18"/>
<polygon fill="black" stroke="black" points="285.33,-21.5001 295.33,-18 285.33,-14.5001 285.33,-21.5001"/>
</g>
</g>
</svg>