text/0049-parsec/gossip_graph.dot.svg

<?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: GossipGraph Pages: 1 -->
<svg width="1036pt" height="7217pt"
 viewBox="0.00 0.00 1036.00 7217.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 7213)">
<title>GossipGraph</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-7213 1032,-7213 1032,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_Alice</title>
</g>
<g id="clust2" class="cluster">
<title>cluster_Bob</title>
</g>
<g id="clust3" class="cluster">
<title>cluster_Carol</title>
</g>
<g id="clust4" class="cluster">
<title>cluster_Dave</title>
</g>
<!-- Alice -->
<g id="node1" class="node">
<title>Alice</title>
<ellipse fill="none" stroke="#ffffff" cx="116" cy="-18" rx="29.795" ry="18"/>
<text text-anchor="middle" x="116" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">Alice</text>
</g>
<!-- a_0_0 -->
<g id="node2" class="node">
<title>a_0_0</title>
<ellipse fill="#ffc0cb" stroke="#000000" cx="116" cy="-93" rx="27" ry="18"/>
<text text-anchor="middle" x="116" y="-89.3" font-family="Times,serif" font-size="14.00" fill="#000000">a_0</text>
</g>
<!-- Alice&#45;&gt;a_0_0 -->
<!-- a_0_1 -->
<g id="node3" class="node">
<title>a_0_1</title>
<ellipse fill="#00ced1" stroke="#000000" cx="116" cy="-165" rx="27" ry="18"/>
<text text-anchor="middle" x="116" y="-161.3" font-family="Times,serif" font-size="14.00" fill="#000000">a_1</text>
</g>
<!-- a_0_0&#45;&gt;a_0_1 -->
<g id="edge2" class="edge">
<title>a_0_0&#45;&gt;a_0_1</title>
<path fill="none" stroke="#000000" d="M116,-111.1686C116,-118.869 116,-128.0257 116,-136.5834"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-136.5867 116,-146.5867 119.5001,-136.5868 112.5001,-136.5867"/>
</g>
<!-- a_1 -->
<g id="node4" class="node">
<title>a_1</title>
<ellipse fill="none" stroke="#000000" cx="116" cy="-309" rx="27" ry="18"/>
<text text-anchor="middle" x="116" y="-305.3" font-family="Times,serif" font-size="14.00" fill="#000000">a_2</text>
</g>
<!-- a_0_1&#45;&gt;a_1 -->
<g id="edge3" class="edge">
<title>a_0_1&#45;&gt;a_1</title>
<path fill="none" stroke="#000000" d="M116,-183.2377C116,-207.799 116,-251.7526 116,-280.6459"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-280.9103 116,-290.9104 119.5001,-280.9104 112.5001,-280.9103"/>
</g>
<!-- b_1 -->
<g id="node23" class="node">
<title>b_1</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-237" rx="27" ry="18"/>
<text text-anchor="middle" x="372" y="-233.3" font-family="Times,serif" font-size="14.00" fill="#000000">b_2</text>
</g>
<!-- a_0_1&#45;&gt;b_1 -->
<g id="edge58" class="edge">
<title>a_0_1&#45;&gt;b_1</title>
<path fill="none" stroke="#000000" d="M141.0125,-172.0348C186.8949,-184.9392 284.605,-212.4201 337.0329,-227.1655"/>
<polygon fill="#000000" stroke="#000000" points="336.3119,-230.5984 346.886,-229.9367 338.2071,-223.8599 336.3119,-230.5984"/>
</g>
<!-- a_2 -->
<g id="node5" class="node">
<title>a_2</title>
<polygon fill="#f5f5dc" stroke="#000000" points="211,-1186 21,-1186 21,-1088 211,-1088 211,-1186"/>
<text text-anchor="middle" x="116" y="-1170.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_3</text>
<text text-anchor="middle" x="116" y="-1155.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-1140.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-1125.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-1110.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{} &#160;b:{} &#160;c:{} &#160;d:{} ]</text>
<text text-anchor="middle" x="116" y="-1095.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: []</text>
</g>
<!-- a_1&#45;&gt;a_2 -->
<g id="edge4" class="edge">
<title>a_1&#45;&gt;a_2</title>
<path fill="none" stroke="#000000" d="M116,-327.064C116,-426.3829 116,-907.6786 116,-1077.5148"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-1077.7665 116,-1087.7665 119.5001,-1077.7665 112.5001,-1077.7665"/>
</g>
<!-- d_3 -->
<g id="node25" class="node">
<title>d_3</title>
<polygon fill="#f5f5dc" stroke="#000000" points="1001,-792.5 811,-792.5 811,-694.5 1001,-694.5 1001,-792.5"/>
<text text-anchor="middle" x="906" y="-777.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_4</text>
<text text-anchor="middle" x="906" y="-762.3" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="906" y="-747.3" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="906" y="-732.3" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{f} ]</text>
<text text-anchor="middle" x="906" y="-717.3" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{} &#160;b:{} &#160;c:{} &#160;d:{} ]</text>
<text text-anchor="middle" x="906" y="-702.3" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: []</text>
</g>
<!-- a_1&#45;&gt;d_3 -->
<g id="edge114" class="edge">
<title>a_1&#45;&gt;d_3</title>
<path fill="none" stroke="#000000" d="M137.1306,-320.6218C232.0697,-372.8383 622.5963,-587.628 807.7485,-689.4617"/>
<polygon fill="#000000" stroke="#000000" points="806.2289,-692.6203 816.6778,-694.3728 809.6024,-686.4868 806.2289,-692.6203"/>
</g>
<!-- a_3 -->
<g id="node6" class="node">
<title>a_3</title>
<polygon fill="none" stroke="#000000" points="211,-1320 21,-1320 21,-1222 211,-1222 211,-1320"/>
<text text-anchor="middle" x="116" y="-1304.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_4</text>
<text text-anchor="middle" x="116" y="-1289.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-1274.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-1259.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-1244.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{} &#160;c:{t} &#160;d:{} ]</text>
<text text-anchor="middle" x="116" y="-1229.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;c:{t} ]</text>
</g>
<!-- a_2&#45;&gt;a_3 -->
<g id="edge5" class="edge">
<title>a_2&#45;&gt;a_3</title>
<path fill="none" stroke="#000000" d="M116,-1186.1358C116,-1194.4198 116,-1203.097 116,-1211.6082"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-1211.8701 116,-1221.8702 119.5001,-1211.8702 112.5001,-1211.8701"/>
</g>
<!-- b_4 -->
<g id="node43" class="node">
<title>b_4</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-1271" rx="27" ry="18"/>
<text text-anchor="middle" x="372" y="-1267.3" font-family="Times,serif" font-size="14.00" fill="#000000">b_5</text>
</g>
<!-- a_2&#45;&gt;b_4 -->
<g id="edge61" class="edge">
<title>a_2&#45;&gt;b_4</title>
<path fill="none" stroke="#000000" d="M209.8713,-1186.1358C256.368,-1210.4739 309.3465,-1238.2048 341.7254,-1255.1531"/>
<polygon fill="#000000" stroke="#000000" points="340.203,-1258.3067 350.6858,-1259.8433 343.4492,-1252.1049 340.203,-1258.3067"/>
</g>
<!-- a_4 -->
<g id="node7" class="node">
<title>a_4</title>
<polygon fill="none" stroke="#000000" points="214.5,-1454 17.5,-1454 17.5,-1356 214.5,-1356 214.5,-1454"/>
<text text-anchor="middle" x="116" y="-1438.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_5</text>
<text text-anchor="middle" x="116" y="-1423.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-1408.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-1393.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-1378.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-1363.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- a_3&#45;&gt;a_4 -->
<g id="edge6" class="edge">
<title>a_3&#45;&gt;a_4</title>
<path fill="none" stroke="#000000" d="M116,-1320.1358C116,-1328.4198 116,-1337.097 116,-1345.6082"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-1345.8701 116,-1355.8702 119.5001,-1345.8702 112.5001,-1345.8701"/>
</g>
<!-- a_5 -->
<g id="node8" class="node">
<title>a_5</title>
<ellipse fill="none" stroke="#000000" cx="116" cy="-1873" rx="27" ry="18"/>
<text text-anchor="middle" x="116" y="-1869.3" font-family="Times,serif" font-size="14.00" fill="#000000">a_6</text>
</g>
<!-- a_4&#45;&gt;a_5 -->
<g id="edge7" class="edge">
<title>a_4&#45;&gt;a_5</title>
<path fill="none" stroke="#000000" d="M116,-1454.1997C116,-1551.7247 116,-1766.8307 116,-1844.4031"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-1844.8198 116,-1854.8199 119.5001,-1844.8199 112.5001,-1844.8198"/>
</g>
<!-- a_6 -->
<g id="node9" class="node">
<title>a_6</title>
<ellipse fill="none" stroke="#000000" cx="116" cy="-2508.5" rx="27" ry="18"/>
<text text-anchor="middle" x="116" y="-2504.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_7</text>
</g>
<!-- a_5&#45;&gt;a_6 -->
<g id="edge8" class="edge">
<title>a_5&#45;&gt;a_6</title>
<path fill="none" stroke="#000000" d="M116,-1891.3339C116,-1980.7579 116,-2371.2604 116,-2480.1929"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-2480.3963 116,-2490.3963 119.5001,-2480.3964 112.5001,-2480.3963"/>
</g>
<!-- b_6 -->
<g id="node29" class="node">
<title>b_6</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-2817.5" rx="27" ry="18"/>
<text text-anchor="middle" x="372" y="-2813.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_8</text>
</g>
<!-- a_5&#45;&gt;b_6 -->
<g id="edge64" class="edge">
<title>a_5&#45;&gt;b_6</title>
<path fill="none" stroke="#000000" d="M120.8853,-1891.0243C152.3134,-2006.9765 325.9396,-2647.5625 364.4382,-2789.601"/>
<polygon fill="#000000" stroke="#000000" points="361.1728,-2790.9329 367.167,-2799.669 367.929,-2789.1016 361.1728,-2790.9329"/>
</g>
<!-- a_7 -->
<g id="node10" class="node">
<title>a_7</title>
<polygon fill="none" stroke="#000000" points="216,-2874 16,-2874 16,-2761 216,-2761 216,-2874"/>
<text text-anchor="middle" x="116" y="-2858.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_8</text>
<text text-anchor="middle" x="116" y="-2843.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-2828.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-2813.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-2798.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-2783.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-2768.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- a_6&#45;&gt;a_7 -->
<g id="edge9" class="edge">
<title>a_6&#45;&gt;a_7</title>
<path fill="none" stroke="#000000" d="M116,-2526.904C116,-2569.9368 116,-2678.9012 116,-2750.4873"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-2750.7656 116,-2760.7656 119.5001,-2750.7656 112.5001,-2750.7656"/>
</g>
<!-- d_7 -->
<g id="node30" class="node">
<title>d_7</title>
<polygon fill="none" stroke="#000000" points="1005,-2874 815,-2874 815,-2761 1005,-2761 1005,-2874"/>
<text text-anchor="middle" x="910" y="-2858.8" font-family="Times,serif" font-size="14.00" fill="#000000">d_9</text>
<text text-anchor="middle" x="910" y="-2843.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="910" y="-2828.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:1 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="910" y="-2813.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-2798.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-2783.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-2768.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- a_6&#45;&gt;d_7 -->
<g id="edge118" class="edge">
<title>a_6&#45;&gt;d_7</title>
<path fill="none" stroke="#000000" d="M139.3329,-2517.5804C237.2109,-2555.6715 618.2312,-2703.9527 805.26,-2776.7385"/>
<polygon fill="#000000" stroke="#000000" points="804.2486,-2780.1005 814.8372,-2780.4656 806.7874,-2773.5771 804.2486,-2780.1005"/>
</g>
<!-- a_8 -->
<g id="node11" class="node">
<title>a_8</title>
<polygon fill="none" stroke="#000000" points="211,-3023 21,-3023 21,-2910 211,-2910 211,-3023"/>
<text text-anchor="middle" x="116" y="-3007.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_9</text>
<text text-anchor="middle" x="116" y="-2992.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-2977.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:1 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="116" y="-2962.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-2947.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-2932.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-2917.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- a_7&#45;&gt;a_8 -->
<g id="edge10" class="edge">
<title>a_7&#45;&gt;a_8</title>
<path fill="none" stroke="#000000" d="M116,-2874.2556C116,-2882.558 116,-2891.1727 116,-2899.6536"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-2899.9022 116,-2909.9022 119.5001,-2899.9023 112.5001,-2899.9022"/>
</g>
<!-- b_7 -->
<g id="node32" class="node">
<title>b_7</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-2966.5" rx="27" ry="18"/>
<text text-anchor="middle" x="372" y="-2962.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_9</text>
</g>
<!-- a_7&#45;&gt;b_7 -->
<g id="edge65" class="edge">
<title>a_7&#45;&gt;b_7</title>
<path fill="none" stroke="#000000" d="M213.1476,-2874.043C259.3646,-2900.9427 311.2881,-2931.1638 342.8118,-2949.5115"/>
<polygon fill="#000000" stroke="#000000" points="341.1223,-2952.5779 351.5257,-2954.5833 344.6436,-2946.528 341.1223,-2952.5779"/>
</g>
<!-- a_9 -->
<g id="node12" class="node">
<title>a_9</title>
<polygon fill="none" stroke="#000000" points="214.5,-3172 17.5,-3172 17.5,-3059 214.5,-3059 214.5,-3172"/>
<text text-anchor="middle" x="116" y="-3156.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_10</text>
<text text-anchor="middle" x="116" y="-3141.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-3126.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:1 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="116" y="-3111.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-3096.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-3081.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-3066.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- a_8&#45;&gt;a_9 -->
<g id="edge11" class="edge">
<title>a_8&#45;&gt;a_9</title>
<path fill="none" stroke="#000000" d="M116,-3023.2556C116,-3031.558 116,-3040.1727 116,-3048.6536"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-3048.9022 116,-3058.9022 119.5001,-3048.9023 112.5001,-3048.9022"/>
</g>
<!-- b_8 -->
<g id="node33" class="node">
<title>b_8</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-3115.5" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="372" y="-3111.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_10</text>
</g>
<!-- a_8&#45;&gt;b_8 -->
<g id="edge66" class="edge">
<title>a_8&#45;&gt;b_8</title>
<path fill="none" stroke="#000000" d="M211.325,-3021.9821C257.6448,-3048.9417 310.0828,-3079.4622 342.092,-3098.0926"/>
<polygon fill="#000000" stroke="#000000" points="340.5451,-3101.2419 350.9485,-3103.2474 344.0664,-3095.192 340.5451,-3101.2419"/>
</g>
<!-- a_10 -->
<g id="node13" class="node">
<title>a_10</title>
<ellipse fill="none" stroke="#000000" cx="116" cy="-3298" rx="27.8951" ry="18"/>
<text text-anchor="middle" x="116" y="-3294.3" font-family="Times,serif" font-size="14.00" fill="#000000">a_11</text>
</g>
<!-- a_9&#45;&gt;a_10 -->
<g id="edge12" class="edge">
<title>a_9&#45;&gt;a_10</title>
<path fill="none" stroke="#000000" d="M116,-3172.2437C116,-3204.4714 116,-3243.4335 116,-3269.3652"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-3269.6234 116,-3279.6234 119.5001,-3269.6235 112.5001,-3269.6234"/>
</g>
<!-- d_10 -->
<g id="node73" class="node">
<title>d_10</title>
<polygon fill="none" stroke="#000000" points="1007.5,-3465 812.5,-3465 812.5,-3352 1007.5,-3352 1007.5,-3465"/>
<text text-anchor="middle" x="910" y="-3449.8" font-family="Times,serif" font-size="14.00" fill="#000000">d_13</text>
<text text-anchor="middle" x="910" y="-3434.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="910" y="-3419.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:1 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="910" y="-3404.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-3389.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-3374.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-3359.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- a_9&#45;&gt;d_10 -->
<g id="edge122" class="edge">
<title>a_9&#45;&gt;d_10</title>
<path fill="none" stroke="#000000" d="M214.5555,-3151.8687C364.3586,-3207.1487 648.2443,-3311.9075 802.9456,-3368.995"/>
<polygon fill="#000000" stroke="#000000" points="801.897,-3372.3387 812.4903,-3372.5172 804.3204,-3365.7716 801.897,-3372.3387"/>
</g>
<!-- a_11 -->
<g id="node14" class="node">
<title>a_11</title>
<ellipse fill="none" stroke="#000000" cx="116" cy="-3408.5" rx="27.8951" ry="18"/>
<text text-anchor="middle" x="116" y="-3404.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_12</text>
</g>
<!-- a_10&#45;&gt;a_11 -->
<g id="edge13" class="edge">
<title>a_10&#45;&gt;a_11</title>
<path fill="none" stroke="#000000" d="M116,-3316.2468C116,-3333.6016 116,-3359.9714 116,-3380.0797"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-3380.226 116,-3390.2261 119.5001,-3380.2261 112.5001,-3380.226"/>
</g>
<!-- d_11 -->
<g id="node74" class="node">
<title>d_11</title>
<ellipse fill="none" stroke="#000000" cx="910" cy="-3679" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="910" y="-3675.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_14</text>
</g>
<!-- a_10&#45;&gt;d_11 -->
<g id="edge123" class="edge">
<title>a_10&#45;&gt;d_11</title>
<path fill="none" stroke="#000000" d="M138.4839,-3308.7889C250.2624,-3362.4257 746.0099,-3600.3095 877.7569,-3663.5282"/>
<polygon fill="#000000" stroke="#000000" points="876.4223,-3666.7698 886.9523,-3667.9406 879.4507,-3660.4588 876.4223,-3666.7698"/>
</g>
<!-- a_12 -->
<g id="node15" class="node">
<title>a_12</title>
<ellipse fill="none" stroke="#000000" cx="116" cy="-3679" rx="27.8951" ry="18"/>
<text text-anchor="middle" x="116" y="-3675.3" font-family="Times,serif" font-size="14.00" fill="#000000">a_13</text>
</g>
<!-- a_11&#45;&gt;a_12 -->
<g id="edge14" class="edge">
<title>a_11&#45;&gt;a_12</title>
<path fill="none" stroke="#000000" d="M116,-3426.6683C116,-3472.8661 116,-3595.0912 116,-3650.7161"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-3650.9108 116,-3660.9108 119.5001,-3650.9108 112.5001,-3650.9108"/>
</g>
<!-- b_10 -->
<g id="node47" class="node">
<title>b_10</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-3911" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="372" y="-3907.3" font-family="Times,serif" font-size="14.00" fill="#000000">b_13</text>
</g>
<!-- a_11&#45;&gt;b_10 -->
<g id="edge69" class="edge">
<title>a_11&#45;&gt;b_10</title>
<path fill="none" stroke="#000000" d="M124.8121,-3425.7972C162.8155,-3500.3938 312.8313,-3794.8584 358.6427,-3884.7812"/>
<polygon fill="#000000" stroke="#000000" points="355.5669,-3886.454 363.225,-3893.7756 361.8041,-3883.2764 355.5669,-3886.454"/>
</g>
<!-- a_13 -->
<g id="node16" class="node">
<title>a_13</title>
<ellipse fill="none" stroke="#000000" cx="116" cy="-3911" rx="27.8951" ry="18"/>
<text text-anchor="middle" x="116" y="-3907.3" font-family="Times,serif" font-size="14.00" fill="#000000">a_14</text>
</g>
<!-- a_12&#45;&gt;a_13 -->
<g id="edge15" class="edge">
<title>a_12&#45;&gt;a_13</title>
<path fill="none" stroke="#000000" d="M116,-3697.2047C116,-3737.5242 116,-3834.5897 116,-3882.8205"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-3882.8799 116,-3892.8799 119.5001,-3882.88 112.5001,-3882.8799"/>
</g>
<!-- a_14 -->
<g id="node17" class="node">
<title>a_14</title>
<ellipse fill="none" stroke="#000000" cx="116" cy="-4132" rx="27.8951" ry="18"/>
<text text-anchor="middle" x="116" y="-4128.3" font-family="Times,serif" font-size="14.00" fill="#000000">a_15</text>
</g>
<!-- a_13&#45;&gt;a_14 -->
<g id="edge16" class="edge">
<title>a_13&#45;&gt;a_14</title>
<path fill="none" stroke="#000000" d="M116,-3929.0854C116,-3967.5466 116,-4057.7009 116,-4103.7892"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-4103.9747 116,-4113.9747 119.5001,-4103.9747 112.5001,-4103.9747"/>
</g>
<!-- c_5 -->
<g id="node34" class="node">
<title>c_5</title>
<polygon fill="none" stroke="#000000" points="753.5,-4078 558.5,-4078 558.5,-3965 753.5,-3965 753.5,-4078"/>
<text text-anchor="middle" x="656" y="-4062.8" font-family="Times,serif" font-size="14.00" fill="#000000">c_8</text>
<text text-anchor="middle" x="656" y="-4047.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="656" y="-4032.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:1 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="656" y="-4017.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-4002.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-3987.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-3972.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- a_13&#45;&gt;c_5 -->
<g id="edge91" class="edge">
<title>a_13&#45;&gt;c_5</title>
<path fill="none" stroke="#000000" d="M142.7787,-3916.4797C215.6835,-3931.3982 420.7894,-3973.3689 548.5486,-3999.5123"/>
<polygon fill="#000000" stroke="#000000" points="547.8739,-4002.9467 558.3726,-4001.5225 549.2773,-3996.0888 547.8739,-4002.9467"/>
</g>
<!-- a_15 -->
<g id="node18" class="node">
<title>a_15</title>
<ellipse fill="none" stroke="#000000" cx="116" cy="-4314.5" rx="27.8951" ry="18"/>
<text text-anchor="middle" x="116" y="-4310.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_16</text>
</g>
<!-- a_14&#45;&gt;a_15 -->
<g id="edge17" class="edge">
<title>a_14&#45;&gt;a_15</title>
<path fill="none" stroke="#000000" d="M116,-4150.166C116,-4182.0047 116,-4248.101 116,-4286.0517"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-4286.4074 116,-4296.4075 119.5001,-4286.4075 112.5001,-4286.4074"/>
</g>
<!-- d_12 -->
<g id="node35" class="node">
<title>d_12</title>
<ellipse fill="none" stroke="#000000" cx="910" cy="-4204" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="910" y="-4200.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_15</text>
</g>
<!-- a_14&#45;&gt;d_12 -->
<g id="edge124" class="edge">
<title>a_14&#45;&gt;d_12</title>
<path fill="none" stroke="#000000" d="M143.7933,-4134.5203C263.2357,-4145.3513 733.1337,-4187.9617 871.4808,-4200.5071"/>
<polygon fill="#000000" stroke="#000000" points="871.3311,-4204.0078 881.6063,-4201.4253 871.9633,-4197.0364 871.3311,-4204.0078"/>
</g>
<!-- a_16 -->
<g id="node19" class="node">
<title>a_16</title>
<polygon fill="none" stroke="#000000" points="211,-4714.5 21,-4714.5 21,-4601.5 211,-4601.5 211,-4714.5"/>
<text text-anchor="middle" x="116" y="-4699.3" font-family="Times,serif" font-size="14.00" fill="#000000">a_17</text>
<text text-anchor="middle" x="116" y="-4684.3" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-4669.3" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:2 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="116" y="-4654.3" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-4639.3" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-4624.3" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-4609.3" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- a_15&#45;&gt;a_16 -->
<g id="edge18" class="edge">
<title>a_15&#45;&gt;a_16</title>
<path fill="none" stroke="#000000" d="M116,-4332.9681C116,-4380.8769 116,-4510.997 116,-4591.3213"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-4591.3441 116,-4601.3441 119.5001,-4591.3442 112.5001,-4591.3441"/>
</g>
<!-- b_11 -->
<g id="node36" class="node">
<title>b_11</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-4425" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="372" y="-4421.3" font-family="Times,serif" font-size="14.00" fill="#000000">b_14</text>
</g>
<!-- a_15&#45;&gt;b_11 -->
<g id="edge70" class="edge">
<title>a_15&#45;&gt;b_11</title>
<path fill="none" stroke="#000000" d="M139.625,-4324.6975C185.42,-4344.4645 286.3675,-4388.0375 338.8488,-4410.6906"/>
<polygon fill="#000000" stroke="#000000" points="337.4916,-4413.9169 348.0599,-4414.6665 340.2658,-4407.49 337.4916,-4413.9169"/>
</g>
<!-- a_17 -->
<g id="node20" class="node">
<title>a_17</title>
<polygon fill="none" stroke="#000000" points="213.5,-5130 18.5,-5130 18.5,-5017 213.5,-5017 213.5,-5130"/>
<text text-anchor="middle" x="116" y="-5114.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_18</text>
<text text-anchor="middle" x="116" y="-5099.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-5084.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:2 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="116" y="-5069.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-5054.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-5039.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-5024.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- a_16&#45;&gt;a_17 -->
<g id="edge19" class="edge">
<title>a_16&#45;&gt;a_17</title>
<path fill="none" stroke="#000000" d="M116,-4714.9023C116,-4791.0998 116,-4926.0371 116,-5006.8848"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-5006.9527 116,-5016.9527 119.5001,-5006.9528 112.5001,-5006.9527"/>
</g>
<!-- a_18 -->
<g id="node21" class="node">
<title>a_18</title>
<ellipse fill="none" stroke="#000000" cx="116" cy="-5695" rx="27.8951" ry="18"/>
<text text-anchor="middle" x="116" y="-5691.3" font-family="Times,serif" font-size="14.00" fill="#000000">a_19</text>
</g>
<!-- a_17&#45;&gt;a_18 -->
<g id="edge20" class="edge">
<title>a_17&#45;&gt;a_18</title>
<path fill="none" stroke="#000000" d="M116,-5130.0256C116,-5258.9625 116,-5571.0312 116,-5666.6659"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-5666.7357 116,-5676.7358 119.5001,-5666.7358 112.5001,-5666.7357"/>
</g>
<!-- b_13_0 -->
<g id="node49" class="node">
<title>b_13_0</title>
<polygon fill="none" stroke="#000000" points="493,-5492 251,-5492 251,-5166 493,-5166 493,-5492"/>
<text text-anchor="middle" x="372" y="-5476.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_17</text>
<text text-anchor="middle" x="372" y="-5461.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="372" y="-5446.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:2 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="372" y="-5431.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-5416.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-5401.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-5386.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-5355.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_17 can see a_18, b_17 and d_16 which</text>
<text text-anchor="middle" x="372" y="-5340.8" font-family="Times,serif" font-size="14.00" fill="#000000">all carry an estimate for b true at</text>
<text text-anchor="middle" x="372" y="-5325.8" font-family="Times,serif" font-size="14.00" fill="#000000">step 2.</text>
<text text-anchor="middle" x="372" y="-5294.8" font-family="Times,serif" font-size="14.00" fill="#000000">This promotes b true to one of b_17&#39;s</text>
<text text-anchor="middle" x="372" y="-5279.8" font-family="Times,serif" font-size="14.00" fill="#000000">bin_values. Since it&#39;s the first such</text>
<text text-anchor="middle" x="372" y="-5264.8" font-family="Times,serif" font-size="14.00" fill="#000000">promotion, true is b_17&#39;s auxiliary value</text>
<text text-anchor="middle" x="372" y="-5249.8" font-family="Times,serif" font-size="14.00" fill="#000000">for step 2.</text>
<text text-anchor="middle" x="372" y="-5218.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_17 can only see 2 such auxiliary</text>
<text text-anchor="middle" x="372" y="-5203.8" font-family="Times,serif" font-size="14.00" fill="#000000">values, so more gossip is needed to make</text>
<text text-anchor="middle" x="372" y="-5188.8" font-family="Times,serif" font-size="14.00" fill="#000000">it a supermajority, and possibly trigger</text>
<text text-anchor="middle" x="372" y="-5173.8" font-family="Times,serif" font-size="14.00" fill="#000000">a genuine coin flip.</text>
</g>
<!-- a_17&#45;&gt;b_13_0 -->
<g id="edge73" class="edge">
<title>a_17&#45;&gt;b_13_0</title>
<path fill="none" stroke="#000000" d="M172.8147,-5130.2037C193.8636,-5151.2116 218.6783,-5175.9778 243.5173,-5200.7682"/>
<polygon fill="#000000" stroke="#000000" points="241.3196,-5203.5198 250.8701,-5208.1067 246.2646,-5198.5652 241.3196,-5203.5198"/>
</g>
<!-- a_19 -->
<g id="node22" class="node">
<title>a_19</title>
<polygon fill="#00ced1" stroke="#000000" points="216,-5862 16,-5862 16,-5749 216,-5749 216,-5862"/>
<text text-anchor="middle" x="116" y="-5846.8" font-family="Times,serif" font-size="14.00" fill="#000000">a_20</text>
<text text-anchor="middle" x="116" y="-5831.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:1 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="116" y="-5816.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:0 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="116" y="-5801.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-5786.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-5771.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="116" y="-5756.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- a_18&#45;&gt;a_19 -->
<g id="edge21" class="edge">
<title>a_18&#45;&gt;a_19</title>
<path fill="none" stroke="#000000" d="M116,-5713.2468C116,-5720.4495 116,-5729.2049 116,-5738.421"/>
<polygon fill="#000000" stroke="#000000" points="112.5001,-5738.5506 116,-5748.5507 119.5001,-5738.5507 112.5001,-5738.5506"/>
</g>
<!-- b_14 -->
<g id="node50" class="node">
<title>b_14</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-5916" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="372" y="-5912.3" font-family="Times,serif" font-size="14.00" fill="#000000">b_18</text>
</g>
<!-- a_19&#45;&gt;b_14 -->
<g id="edge74" class="edge">
<title>a_19&#45;&gt;b_14</title>
<path fill="none" stroke="#000000" d="M216.0762,-5848.6969C259.6061,-5867.4862 307.6654,-5888.2306 338.7624,-5901.6533"/>
<polygon fill="#000000" stroke="#000000" points="337.6673,-5904.9927 348.2356,-5905.7423 340.4414,-5898.5658 337.6673,-5904.9927"/>
</g>
<!-- b_1&#45;&gt;a_1 -->
<g id="edge22" class="edge">
<title>b_1&#45;&gt;a_1</title>
<path fill="none" stroke="#000000" d="M346.9875,-244.0348C301.1051,-256.9392 203.395,-284.4201 150.9671,-299.1655"/>
<polygon fill="#000000" stroke="#000000" points="149.7929,-295.8599 141.114,-301.9367 151.6881,-302.5984 149.7929,-295.8599"/>
</g>
<!-- b_2 -->
<g id="node42" class="node">
<title>b_2</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-309" rx="27" ry="18"/>
<text text-anchor="middle" x="372" y="-305.3" font-family="Times,serif" font-size="14.00" fill="#000000">b_3</text>
</g>
<!-- b_1&#45;&gt;b_2 -->
<g id="edge41" class="edge">
<title>b_1&#45;&gt;b_2</title>
<path fill="none" stroke="#000000" d="M372,-255.1686C372,-262.869 372,-272.0257 372,-280.5834"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-280.5867 372,-290.5867 375.5001,-280.5868 368.5001,-280.5867"/>
</g>
<!-- c_2 -->
<g id="node53" class="node">
<title>c_2</title>
<ellipse fill="none" stroke="#000000" cx="657" cy="-381" rx="27" ry="18"/>
<text text-anchor="middle" x="657" y="-377.3" font-family="Times,serif" font-size="14.00" fill="#000000">c_3</text>
</g>
<!-- b_1&#45;&gt;c_2 -->
<g id="edge86" class="edge">
<title>b_1&#45;&gt;c_2</title>
<path fill="none" stroke="#000000" d="M393.8902,-248.0603C444.2663,-273.5135 568.5098,-336.2892 626.3984,-365.5382"/>
<polygon fill="#000000" stroke="#000000" points="624.9215,-368.7133 635.4253,-370.0991 628.0783,-362.4655 624.9215,-368.7133"/>
</g>
<!-- b_3 -->
<g id="node24" class="node">
<title>b_3</title>
<polygon fill="#f5f5dc" stroke="#000000" points="474.5,-1052 269.5,-1052 269.5,-435 474.5,-435 474.5,-1052"/>
<text text-anchor="middle" x="372" y="-1036.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_4</text>
<text text-anchor="middle" x="372" y="-1021.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="372" y="-1006.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="372" y="-991.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} b:{f} c:{t} d:{t} ]</text>
<text text-anchor="middle" x="372" y="-976.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{} b:{} c:{} d:{} ]</text>
<text text-anchor="middle" x="372" y="-961.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: []</text>
<text text-anchor="middle" x="372" y="-930.8" font-family="Times,serif" font-size="14.00" fill="#000000">Interesting gossip events are</text>
<text text-anchor="middle" x="372" y="-915.8" font-family="Times,serif" font-size="14.00" fill="#000000">coloured pink or turquoise.</text>
<text text-anchor="middle" x="372" y="-884.8" font-family="Times,serif" font-size="14.00" fill="#000000">For instance, they could be the</text>
<text text-anchor="middle" x="372" y="-869.8" font-family="Times,serif" font-size="14.00" fill="#000000">events that make a block of</text>
<text text-anchor="middle" x="372" y="-854.8" font-family="Times,serif" font-size="14.00" fill="#000000">votes valid.</text>
<text text-anchor="middle" x="372" y="-823.8" font-family="Times,serif" font-size="14.00" fill="#000000">The pink ones could make a block</text>
<text text-anchor="middle" x="372" y="-808.8" font-family="Times,serif" font-size="14.00" fill="#000000">of votes for Live(eric) valid,</text>
<text text-anchor="middle" x="372" y="-793.8" font-family="Times,serif" font-size="14.00" fill="#000000">while the turquoise ones could</text>
<text text-anchor="middle" x="372" y="-778.8" font-family="Times,serif" font-size="14.00" fill="#000000">make Live(fred) valid.</text>
<text text-anchor="middle" x="372" y="-747.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_4 strongly sees a_0, c_0 and</text>
<text text-anchor="middle" x="372" y="-732.8" font-family="Times,serif" font-size="14.00" fill="#000000">d_0.</text>
<text text-anchor="middle" x="372" y="-701.8" font-family="Times,serif" font-size="14.00" fill="#000000">This is a supermajority of</text>
<text text-anchor="middle" x="372" y="-686.8" font-family="Times,serif" font-size="14.00" fill="#000000">interesting gossip events.</text>
<text text-anchor="middle" x="372" y="-655.8" font-family="Times,serif" font-size="14.00" fill="#000000">This makes b_4 an observer.</text>
<text text-anchor="middle" x="372" y="-640.8" font-family="Times,serif" font-size="14.00" fill="#000000">Observers are coloured beige.</text>
<text text-anchor="middle" x="372" y="-609.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_4&#39;s estimates at this stage</text>
<text text-anchor="middle" x="372" y="-594.8" font-family="Times,serif" font-size="14.00" fill="#000000">contain only his meta votes.</text>
<text text-anchor="middle" x="372" y="-563.8" font-family="Times,serif" font-size="14.00" fill="#000000">Meta votes are the answer to</text>
<text text-anchor="middle" x="372" y="-548.8" font-family="Times,serif" font-size="14.00" fill="#000000">the question:</text>
<text text-anchor="middle" x="372" y="-533.8" font-family="Times,serif" font-size="14.00" fill="#000000">Do I strongly see an</text>
<text text-anchor="middle" x="372" y="-518.8" font-family="Times,serif" font-size="14.00" fill="#000000">interesting gossip event from</text>
<text text-anchor="middle" x="372" y="-503.8" font-family="Times,serif" font-size="14.00" fill="#000000">this node?</text>
<text text-anchor="middle" x="372" y="-472.8" font-family="Times,serif" font-size="14.00" fill="#000000">The sets of bin_values are</text>
<text text-anchor="middle" x="372" y="-457.8" font-family="Times,serif" font-size="14.00" fill="#000000">still empty as binary value</text>
<text text-anchor="middle" x="372" y="-442.8" font-family="Times,serif" font-size="14.00" fill="#000000">gossip is only starting now.</text>
</g>
<!-- b_3&#45;&gt;a_2 -->
<g id="edge23" class="edge">
<title>b_3&#45;&gt;a_2</title>
<path fill="none" stroke="#000000" d="M269.3501,-901.2842C228.4927,-964.0865 184.0456,-1032.4065 153.5734,-1079.2456"/>
<polygon fill="#000000" stroke="#000000" points="150.5697,-1077.4444 148.0502,-1087.7353 156.4373,-1081.2617 150.5697,-1077.4444"/>
</g>
<!-- c_3 -->
<g id="node26" class="node">
<title>c_3</title>
<polygon fill="#f5f5dc" stroke="#000000" points="751,-1186 561,-1186 561,-1088 751,-1088 751,-1186"/>
<text text-anchor="middle" x="656" y="-1170.8" font-family="Times,serif" font-size="14.00" fill="#000000">c_4</text>
<text text-anchor="middle" x="656" y="-1155.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="656" y="-1140.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="656" y="-1125.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-1110.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{} &#160;b:{} &#160;c:{} &#160;d:{} ]</text>
<text text-anchor="middle" x="656" y="-1095.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: []</text>
</g>
<!-- b_3&#45;&gt;c_3 -->
<g id="edge87" class="edge">
<title>b_3&#45;&gt;c_3</title>
<path fill="none" stroke="#000000" d="M474.5305,-885.5625C522.8426,-952.502 577.776,-1028.6156 614.4259,-1079.3965"/>
<polygon fill="#000000" stroke="#000000" points="611.6822,-1081.5756 620.3726,-1087.636 617.3583,-1077.4789 611.6822,-1081.5756"/>
</g>
<!-- b_3&#45;&gt;b_4 -->
<g id="edge43" class="edge">
<title>b_3&#45;&gt;b_4</title>
<path fill="none" stroke="#000000" d="M372,-1052.2565C372,-1130.7453 372,-1203.7545 372,-1242.3626"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-1242.7624 372,-1252.7624 375.5001,-1242.7625 368.5001,-1242.7624"/>
</g>
<!-- d_3&#45;&gt;a_3 -->
<g id="edge24" class="edge">
<title>d_3&#45;&gt;a_3</title>
<path fill="none" stroke="#000000" d="M832.3881,-792.6522C684.5517,-891.3658 352.5195,-1113.0708 197.9968,-1216.249"/>
<polygon fill="#000000" stroke="#000000" points="195.7985,-1213.5082 189.4256,-1221.9721 199.6857,-1219.3298 195.7985,-1213.5082"/>
</g>
<!-- d_4 -->
<g id="node66" class="node">
<title>d_4</title>
<polygon fill="none" stroke="#000000" points="1012.5,-1320 807.5,-1320 807.5,-1222 1012.5,-1222 1012.5,-1320"/>
<text text-anchor="middle" x="910" y="-1304.8" font-family="Times,serif" font-size="14.00" fill="#000000">d_5</text>
<text text-anchor="middle" x="910" y="-1289.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="910" y="-1274.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="910" y="-1259.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{f,t} ]</text>
<text text-anchor="middle" x="910" y="-1244.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-1229.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- d_3&#45;&gt;d_4 -->
<g id="edge97" class="edge">
<title>d_3&#45;&gt;d_4</title>
<path fill="none" stroke="#000000" d="M906.3727,-792.6522C907.1104,-889.9288 908.7537,-1106.6421 909.5501,-1211.6684"/>
<polygon fill="#000000" stroke="#000000" points="906.0509,-1211.8072 909.6268,-1221.7803 913.0507,-1211.7541 906.0509,-1211.8072"/>
</g>
<!-- c_3&#45;&gt;a_4 -->
<g id="edge25" class="edge">
<title>c_3&#45;&gt;a_4</title>
<path fill="none" stroke="#000000" d="M560.7019,-1184.2961C466.4519,-1231.072 322.4291,-1302.55 223.9923,-1351.4038"/>
<polygon fill="#000000" stroke="#000000" points="222.3108,-1348.3309 214.9093,-1355.9117 225.4228,-1354.6012 222.3108,-1348.3309"/>
</g>
<!-- c_4 -->
<g id="node54" class="node">
<title>c_4</title>
<polygon fill="none" stroke="#000000" points="753.5,-1454 558.5,-1454 558.5,-1356 753.5,-1356 753.5,-1454"/>
<text text-anchor="middle" x="656" y="-1438.8" font-family="Times,serif" font-size="14.00" fill="#000000">c_5</text>
<text text-anchor="middle" x="656" y="-1423.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="656" y="-1408.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="656" y="-1393.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-1378.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-1363.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- c_3&#45;&gt;c_4 -->
<g id="edge81" class="edge">
<title>c_3&#45;&gt;c_4</title>
<path fill="none" stroke="#000000" d="M656,-1186.1553C656,-1231.0648 656,-1297.5734 656,-1345.4752"/>
<polygon fill="#000000" stroke="#000000" points="652.5001,-1345.7032 656,-1355.7032 659.5001,-1345.7033 652.5001,-1345.7032"/>
</g>
<!-- c_3&#45;&gt;d_4 -->
<g id="edge115" class="edge">
<title>c_3&#45;&gt;d_4</title>
<path fill="none" stroke="#000000" d="M749.1379,-1186.1358C768.2917,-1196.2405 788.5541,-1206.9301 808.002,-1217.19"/>
<polygon fill="#000000" stroke="#000000" points="806.3955,-1220.2997 816.8733,-1221.8702 809.6618,-1214.1084 806.3955,-1220.2997"/>
</g>
<!-- d_5 -->
<g id="node27" class="node">
<title>d_5</title>
<ellipse fill="none" stroke="#000000" cx="910" cy="-1405" rx="27" ry="18"/>
<text text-anchor="middle" x="910" y="-1401.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_6</text>
</g>
<!-- d_5&#45;&gt;a_6 -->
<g id="edge26" class="edge">
<title>d_5&#45;&gt;a_6</title>
<path fill="none" stroke="#000000" d="M898.1597,-1421.4556C808.8836,-1545.5314 241.9863,-2333.4044 133.8193,-2483.7348"/>
<polygon fill="#000000" stroke="#000000" points="130.9081,-2481.7881 127.9086,-2491.9495 136.5902,-2485.8765 130.9081,-2481.7881"/>
</g>
<!-- d_6 -->
<g id="node55" class="node">
<title>d_6</title>
<ellipse fill="none" stroke="#000000" cx="910" cy="-1873" rx="27" ry="18"/>
<text text-anchor="middle" x="910" y="-1869.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_7</text>
</g>
<!-- d_5&#45;&gt;d_6 -->
<g id="edge99" class="edge">
<title>d_5&#45;&gt;d_6</title>
<path fill="none" stroke="#000000" d="M910,-1423.0594C910,-1494.5044 910,-1757.7274 910,-1844.8156"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-1844.9944 910,-1854.9944 913.5001,-1844.9945 906.5001,-1844.9944"/>
</g>
<!-- b_5 -->
<g id="node28" class="node">
<title>b_5</title>
<polygon fill="none" stroke="#000000" points="491.5,-2725 252.5,-2725 252.5,-2292 491.5,-2292 491.5,-2725"/>
<text text-anchor="middle" x="372" y="-2709.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_7</text>
<text text-anchor="middle" x="372" y="-2694.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="372" y="-2679.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:1 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="372" y="-2664.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-2649.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-2634.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-2619.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-2588.8" font-family="Times,serif" font-size="14.00" fill="#000000">Being decided, a, c and d continue to</text>
<text text-anchor="middle" x="372" y="-2573.8" font-family="Times,serif" font-size="14.00" fill="#000000">virtually carry true in their Est, Bin</text>
<text text-anchor="middle" x="372" y="-2558.8" font-family="Times,serif" font-size="14.00" fill="#000000">and Aux sets forever for any subsequent</text>
<text text-anchor="middle" x="372" y="-2543.8" font-family="Times,serif" font-size="14.00" fill="#000000">step. That is to help other nodes</text>
<text text-anchor="middle" x="372" y="-2528.8" font-family="Times,serif" font-size="14.00" fill="#000000">converge if they are still lagging</text>
<text text-anchor="middle" x="372" y="-2513.8" font-family="Times,serif" font-size="14.00" fill="#000000">behind.</text>
<text text-anchor="middle" x="372" y="-2482.8" font-family="Times,serif" font-size="14.00" fill="#000000">A new step begins for b&#39;s meta&#45;election:</text>
<text text-anchor="middle" x="372" y="-2467.8" font-family="Times,serif" font-size="14.00" fill="#000000">step 1, a forced false step.</text>
<text text-anchor="middle" x="372" y="-2436.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_7&#39;s estimate is true since there was no</text>
<text text-anchor="middle" x="372" y="-2421.8" font-family="Times,serif" font-size="14.00" fill="#000000">decisive supermajority at the issue of the</text>
<text text-anchor="middle" x="372" y="-2406.8" font-family="Times,serif" font-size="14.00" fill="#000000">last forced true step.</text>
<text text-anchor="middle" x="372" y="-2375.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_7 cannot see any other estimate for</text>
<text text-anchor="middle" x="372" y="-2360.8" font-family="Times,serif" font-size="14.00" fill="#000000">step 1, so we will need to wait for more</text>
<text text-anchor="middle" x="372" y="-2345.8" font-family="Times,serif" font-size="14.00" fill="#000000">gossip events.</text>
<text text-anchor="middle" x="372" y="-2314.8" font-family="Times,serif" font-size="14.00" fill="#000000">A new sequence of binary value gossip</text>
<text text-anchor="middle" x="372" y="-2299.8" font-family="Times,serif" font-size="14.00" fill="#000000">starts.</text>
</g>
<!-- b_5&#45;&gt;a_7 -->
<g id="edge27" class="edge">
<title>b_5&#45;&gt;a_7</title>
<path fill="none" stroke="#000000" d="M252.2449,-2653.0481C223.2218,-2688.08 193.631,-2723.797 169.4744,-2752.9547"/>
<polygon fill="#000000" stroke="#000000" points="166.4947,-2751.0653 162.8101,-2760.9988 171.8851,-2755.5311 166.4947,-2751.0653"/>
</g>
<!-- b_5&#45;&gt;b_6 -->
<g id="edge46" class="edge">
<title>b_5&#45;&gt;b_6</title>
<path fill="none" stroke="#000000" d="M372,-2725.2084C372,-2750.1645 372,-2772.5209 372,-2788.978"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-2789.3882 372,-2799.3882 375.5001,-2789.3883 368.5001,-2789.3882"/>
</g>
<!-- b_6&#45;&gt;a_8 -->
<g id="edge28" class="edge">
<title>b_6&#45;&gt;a_8</title>
<path fill="none" stroke="#000000" d="M351.4832,-2829.4414C322.8856,-2846.0861 269.0269,-2877.4336 220.0284,-2905.9522"/>
<polygon fill="#000000" stroke="#000000" points="218.1438,-2902.9994 211.2617,-2911.0547 221.665,-2909.0493 218.1438,-2902.9994"/>
</g>
<!-- b_6&#45;&gt;b_7 -->
<g id="edge47" class="edge">
<title>b_6&#45;&gt;b_7</title>
<path fill="none" stroke="#000000" d="M372,-2835.7703C372,-2861.2396 372,-2907.671 372,-2937.7906"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-2938.0802 372,-2948.0802 375.5001,-2938.0803 368.5001,-2938.0802"/>
</g>
<!-- d_7&#45;&gt;a_9 -->
<g id="edge29" class="edge">
<title>d_7&#45;&gt;a_9</title>
<path fill="none" stroke="#000000" d="M814.6197,-2853.2976C666.0969,-2909.0405 380.4402,-3016.2517 224.3493,-3074.8349"/>
<polygon fill="#000000" stroke="#000000" points="222.8503,-3071.659 214.7178,-3078.4497 225.31,-3078.2127 222.8503,-3071.659"/>
</g>
<!-- d_7_0 -->
<g id="node68" class="node">
<title>d_7_0</title>
<ellipse fill="none" stroke="#000000" cx="910" cy="-2966.5" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="910" y="-2962.8" font-family="Times,serif" font-size="14.00" fill="#000000">d_10</text>
</g>
<!-- d_7&#45;&gt;d_7_0 -->
<g id="edge102" class="edge">
<title>d_7&#45;&gt;d_7_0</title>
<path fill="none" stroke="#000000" d="M910,-2874.2556C910,-2896.1522 910,-2920.2202 910,-2938.2801"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-2938.4158 910,-2948.4158 913.5001,-2938.4158 906.5001,-2938.4158"/>
</g>
<!-- d_8 -->
<g id="node31" class="node">
<title>d_8</title>
<ellipse fill="none" stroke="#000000" cx="910" cy="-3226" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="910" y="-3222.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_11</text>
</g>
<!-- d_8&#45;&gt;a_10 -->
<g id="edge30" class="edge">
<title>d_8&#45;&gt;a_10</title>
<path fill="none" stroke="#000000" d="M881.272,-3228.6051C760.1511,-3239.5883 291.0948,-3282.1224 153.8965,-3294.5635"/>
<polygon fill="#000000" stroke="#000000" points="153.5043,-3291.0847 143.8613,-3295.4735 154.1365,-3298.056 153.5043,-3291.0847"/>
</g>
<!-- d_9 -->
<g id="node56" class="node">
<title>d_9</title>
<ellipse fill="none" stroke="#000000" cx="910" cy="-3298" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="910" y="-3294.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_12</text>
</g>
<!-- d_8&#45;&gt;d_9 -->
<g id="edge104" class="edge">
<title>d_8&#45;&gt;d_9</title>
<path fill="none" stroke="#000000" d="M910,-3244.1686C910,-3251.869 910,-3261.0257 910,-3269.5834"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-3269.5867 910,-3279.5867 913.5001,-3269.5868 906.5001,-3269.5867"/>
</g>
<!-- b_7&#45;&gt;a_11 -->
<g id="edge31" class="edge">
<title>b_7&#45;&gt;a_11</title>
<path fill="none" stroke="#000000" d="M362.1214,-2983.5561C322.9254,-3051.2304 178.2072,-3301.0954 130.9993,-3382.6028"/>
<polygon fill="#000000" stroke="#000000" points="127.9706,-3380.8488 125.9873,-3391.2563 134.0279,-3384.3571 127.9706,-3380.8488"/>
</g>
<!-- b_7&#45;&gt;b_8 -->
<g id="edge48" class="edge">
<title>b_7&#45;&gt;b_8</title>
<path fill="none" stroke="#000000" d="M372,-2984.7703C372,-3010.2396 372,-3056.671 372,-3086.7906"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-3087.0802 372,-3097.0802 375.5001,-3087.0803 368.5001,-3087.0802"/>
</g>
<!-- b_8&#45;&gt;a_12 -->
<g id="edge32" class="edge">
<title>b_8&#45;&gt;a_12</title>
<path fill="none" stroke="#000000" d="M364.0577,-3132.9823C327.1779,-3214.1611 172.5511,-3554.5213 128.0371,-3652.5043"/>
<polygon fill="#000000" stroke="#000000" points="124.7994,-3651.1693 123.8497,-3661.7215 131.1725,-3654.0647 124.7994,-3651.1693"/>
</g>
<!-- b_8&#45;&gt;d_8 -->
<g id="edge120" class="edge">
<title>b_8&#45;&gt;d_8</title>
<path fill="none" stroke="#000000" d="M399.4191,-3121.1316C488.6443,-3139.4576 770.8196,-3197.4137 872.7835,-3218.3561"/>
<polygon fill="#000000" stroke="#000000" points="872.1363,-3221.7962 882.6361,-3220.3797 873.5447,-3214.9393 872.1363,-3221.7962"/>
</g>
<!-- b_9 -->
<g id="node45" class="node">
<title>b_9</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-3408.5" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="372" y="-3404.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_11</text>
</g>
<!-- b_8&#45;&gt;b_9 -->
<g id="edge49" class="edge">
<title>b_8&#45;&gt;b_9</title>
<path fill="none" stroke="#000000" d="M372,-3133.8285C372,-3183.3642 372,-3320.197 372,-3379.9556"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-3380.1784 372,-3390.1785 375.5001,-3380.1785 368.5001,-3380.1784"/>
</g>
<!-- b_8&#45;&gt;d_9 -->
<g id="edge121" class="edge">
<title>b_8&#45;&gt;d_9</title>
<path fill="none" stroke="#000000" d="M397.2273,-3124.0576C484.4947,-3153.6604 773.7356,-3251.7765 874.7857,-3286.0546"/>
<polygon fill="#000000" stroke="#000000" points="873.9208,-3289.4571 884.5152,-3289.3551 876.1695,-3282.8281 873.9208,-3289.4571"/>
</g>
<!-- c_5&#45;&gt;a_14 -->
<g id="edge33" class="edge">
<title>c_5&#45;&gt;a_14</title>
<path fill="none" stroke="#000000" d="M558.2101,-4041.5107C436.523,-4066.4115 234.7395,-4107.7024 152.5394,-4124.523"/>
<polygon fill="#000000" stroke="#000000" points="151.7595,-4121.1099 142.6642,-4126.5437 153.1629,-4127.9678 151.7595,-4121.1099"/>
</g>
<!-- d_13 -->
<g id="node58" class="node">
<title>d_13</title>
<polygon fill="none" stroke="#000000" points="1005,-4371 815,-4371 815,-4258 1005,-4258 1005,-4371"/>
<text text-anchor="middle" x="910" y="-4355.8" font-family="Times,serif" font-size="14.00" fill="#000000">d_16</text>
<text text-anchor="middle" x="910" y="-4340.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="910" y="-4325.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:2 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="910" y="-4310.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-4295.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-4280.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-4265.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- c_5&#45;&gt;d_13 -->
<g id="edge125" class="edge">
<title>c_5&#45;&gt;d_13</title>
<path fill="none" stroke="#000000" d="M705.2749,-4078.3408C747.9511,-4127.5696 809.6531,-4198.7455 854.1504,-4250.075"/>
<polygon fill="#000000" stroke="#000000" points="851.6673,-4252.554 860.8622,-4257.8174 856.9565,-4247.9688 851.6673,-4252.554"/>
</g>
<!-- d_12&#45;&gt;a_15 -->
<g id="edge34" class="edge">
<title>d_12&#45;&gt;a_15</title>
<path fill="none" stroke="#000000" d="M881.7411,-4207.9328C761.2558,-4224.7005 290.4022,-4290.2287 153.516,-4309.2789"/>
<polygon fill="#000000" stroke="#000000" points="152.9316,-4305.8265 143.5095,-4310.6715 153.8966,-4312.7596 152.9316,-4305.8265"/>
</g>
<!-- d_12&#45;&gt;d_13 -->
<g id="edge108" class="edge">
<title>d_12&#45;&gt;d_13</title>
<path fill="none" stroke="#000000" d="M910,-4222.2468C910,-4229.4495 910,-4238.2049 910,-4247.421"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-4247.5506 910,-4257.5507 913.5001,-4247.5507 906.5001,-4247.5506"/>
</g>
<!-- b_11&#45;&gt;a_16 -->
<g id="edge35" class="edge">
<title>b_11&#45;&gt;a_16</title>
<path fill="none" stroke="#000000" d="M355.5966,-4439.9296C322.0644,-4470.4492 243.945,-4541.55 185.9713,-4594.3152"/>
<polygon fill="#000000" stroke="#000000" points="183.3299,-4591.9866 178.2903,-4601.3061 188.0416,-4597.1635 183.3299,-4591.9866"/>
</g>
<!-- b_12 -->
<g id="node48" class="node">
<title>b_12</title>
<polygon fill="none" stroke="#000000" points="488.5,-4837 255.5,-4837 255.5,-4479 488.5,-4479 488.5,-4837"/>
<text text-anchor="middle" x="372" y="-4821.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_15</text>
<text text-anchor="middle" x="372" y="-4806.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="372" y="-4791.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:2 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="372" y="-4776.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-4761.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-4746.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-4731.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-4700.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_15 can see a_10, b_12, c_8 and d_13</text>
<text text-anchor="middle" x="372" y="-4685.8" font-family="Times,serif" font-size="14.00" fill="#000000">which all carry a true auxiliary value</text>
<text text-anchor="middle" x="372" y="-4670.8" font-family="Times,serif" font-size="14.00" fill="#000000">for b.</text>
<text text-anchor="middle" x="372" y="-4639.8" font-family="Times,serif" font-size="14.00" fill="#000000">This is a supermajority of true</text>
<text text-anchor="middle" x="372" y="-4624.8" font-family="Times,serif" font-size="14.00" fill="#000000">auxiliary values during step 1: a</text>
<text text-anchor="middle" x="372" y="-4609.8" font-family="Times,serif" font-size="14.00" fill="#000000">forced false step.</text>
<text text-anchor="middle" x="372" y="-4578.8" font-family="Times,serif" font-size="14.00" fill="#000000">This means that the next step begins</text>
<text text-anchor="middle" x="372" y="-4563.8" font-family="Times,serif" font-size="14.00" fill="#000000">and the estimate remains true.</text>
<text text-anchor="middle" x="372" y="-4532.8" font-family="Times,serif" font-size="14.00" fill="#000000">We are now entering step 2: the</text>
<text text-anchor="middle" x="372" y="-4517.8" font-family="Times,serif" font-size="14.00" fill="#000000">genuine coin flip step.</text>
<text text-anchor="middle" x="372" y="-4486.8" font-family="Times,serif" font-size="14.00" fill="#000000">Let binary value gossip begin again.</text>
</g>
<!-- b_11&#45;&gt;b_12 -->
<g id="edge53" class="edge">
<title>b_11&#45;&gt;b_12</title>
<path fill="none" stroke="#000000" d="M372,-4443.2831C372,-4450.2027 372,-4458.7865 372,-4468.5053"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-4468.5828 372,-4478.5828 375.5001,-4468.5829 368.5001,-4468.5828"/>
</g>
<!-- b_13 -->
<g id="node37" class="node">
<title>b_13</title>
<ellipse fill="none" stroke="#000000" cx="372" cy="-4963" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="372" y="-4959.3" font-family="Times,serif" font-size="14.00" fill="#000000">b_16</text>
</g>
<!-- b_13&#45;&gt;a_17 -->
<g id="edge36" class="edge">
<title>b_13&#45;&gt;a_17</title>
<path fill="none" stroke="#000000" d="M348.375,-4973.1975C319.7124,-4985.5695 269.4443,-5007.2672 222.9766,-5027.3245"/>
<polygon fill="#000000" stroke="#000000" points="221.5355,-5024.1344 213.7413,-5031.3109 224.3096,-5030.5613 221.5355,-5024.1344"/>
</g>
<!-- b_13&#45;&gt;b_13_0 -->
<g id="edge55" class="edge">
<title>b_13&#45;&gt;b_13_0</title>
<path fill="none" stroke="#000000" d="M372,-4981.15C372,-5013.8014 372,-5085.5762 372,-5155.4972"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-5155.7951 372,-5165.7951 375.5001,-5155.7951 368.5001,-5155.7951"/>
</g>
<!-- d_15 -->
<g id="node38" class="node">
<title>d_15</title>
<polygon fill="none" stroke="#000000" points="1007.5,-5641 812.5,-5641 812.5,-5528 1007.5,-5528 1007.5,-5641"/>
<text text-anchor="middle" x="910" y="-5625.8" font-family="Times,serif" font-size="14.00" fill="#000000">d_18</text>
<text text-anchor="middle" x="910" y="-5610.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="910" y="-5595.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:2 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="910" y="-5580.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-5565.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-5550.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-5535.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- d_15&#45;&gt;a_18 -->
<g id="edge37" class="edge">
<title>d_15&#45;&gt;a_18</title>
<path fill="none" stroke="#000000" d="M812.2422,-5598.1048C635.6038,-5622.6874 270.6928,-5673.4716 153.2707,-5689.8131"/>
<polygon fill="#000000" stroke="#000000" points="152.7493,-5686.3518 143.3272,-5691.1969 153.7142,-5693.285 152.7493,-5686.3518"/>
</g>
<!-- d_16 -->
<g id="node60" class="node">
<title>d_16</title>
<polygon fill="#00ced1" stroke="#000000" points="1010,-6083 810,-6083 810,-5970 1010,-5970 1010,-6083"/>
<text text-anchor="middle" x="910" y="-6067.8" font-family="Times,serif" font-size="14.00" fill="#000000">d_19</text>
<text text-anchor="middle" x="910" y="-6052.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:1 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="910" y="-6037.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:0 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="910" y="-6022.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-6007.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-5992.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-5977.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- d_15&#45;&gt;d_16 -->
<g id="edge111" class="edge">
<title>d_15&#45;&gt;d_16</title>
<path fill="none" stroke="#000000" d="M910,-5641.3789C910,-5722.9334 910,-5872.7996 910,-5959.5782"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-5959.8394 910,-5969.8394 913.5001,-5959.8394 906.5001,-5959.8394"/>
</g>
<!-- Bob -->
<g id="node39" class="node">
<title>Bob</title>
<ellipse fill="none" stroke="#ffffff" cx="372" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="372" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">Bob</text>
</g>
<!-- b_0_0 -->
<g id="node40" class="node">
<title>b_0_0</title>
<ellipse fill="#00ced1" stroke="#000000" cx="372" cy="-93" rx="27" ry="18"/>
<text text-anchor="middle" x="372" y="-89.3" font-family="Times,serif" font-size="14.00" fill="#000000">b_0</text>
</g>
<!-- Bob&#45;&gt;b_0_0 -->
<!-- b_0_1 -->
<g id="node41" class="node">
<title>b_0_1</title>
<ellipse fill="#ffc0cb" stroke="#000000" cx="372" cy="-165" rx="27" ry="18"/>
<text text-anchor="middle" x="372" y="-161.3" font-family="Times,serif" font-size="14.00" fill="#000000">b_1</text>
</g>
<!-- b_0_0&#45;&gt;b_0_1 -->
<g id="edge39" class="edge">
<title>b_0_0&#45;&gt;b_0_1</title>
<path fill="none" stroke="#000000" d="M372,-111.1686C372,-118.869 372,-128.0257 372,-136.5834"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-136.5867 372,-146.5867 375.5001,-136.5868 368.5001,-136.5867"/>
</g>
<!-- b_0_1&#45;&gt;b_1 -->
<g id="edge40" class="edge">
<title>b_0_1&#45;&gt;b_1</title>
<path fill="none" stroke="#000000" d="M372,-183.1686C372,-190.869 372,-200.0257 372,-208.5834"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-208.5867 372,-218.5867 375.5001,-208.5868 368.5001,-208.5867"/>
</g>
<!-- b_2&#45;&gt;b_3 -->
<g id="edge42" class="edge">
<title>b_2&#45;&gt;b_3</title>
<path fill="none" stroke="#000000" d="M372,-327.1167C372,-347.3386 372,-382.7944 372,-424.769"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-424.9853 372,-434.9854 375.5001,-424.9854 368.5001,-424.9853"/>
</g>
<!-- d_2 -->
<g id="node72" class="node">
<title>d_2</title>
<ellipse fill="none" stroke="#000000" cx="905" cy="-381" rx="27" ry="18"/>
<text text-anchor="middle" x="905" y="-377.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_3</text>
</g>
<!-- b_2&#45;&gt;d_2 -->
<g id="edge113" class="edge">
<title>b_2&#45;&gt;d_2</title>
<path fill="none" stroke="#000000" d="M398.7968,-312.6198C486.8751,-324.5178 767.5608,-362.4341 868.4471,-376.0623"/>
<polygon fill="#000000" stroke="#000000" points="868.0874,-379.5454 878.4659,-377.4157 869.0245,-372.6084 868.0874,-379.5454"/>
</g>
<!-- b_4_0 -->
<g id="node44" class="node">
<title>b_4_0</title>
<polygon fill="none" stroke="#000000" points="494,-2256 250,-2256 250,-1490 494,-1490 494,-2256"/>
<text text-anchor="middle" x="372" y="-2240.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_6</text>
<text text-anchor="middle" x="372" y="-2225.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="372" y="-2210.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="372" y="-2195.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-2180.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-2165.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-2150.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-2119.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_6 can see a_3, b_4, c_4 and d_4,</text>
<text text-anchor="middle" x="372" y="-2104.8" font-family="Times,serif" font-size="14.00" fill="#000000">which together carry a supermajority</text>
<text text-anchor="middle" x="372" y="-2089.8" font-family="Times,serif" font-size="14.00" fill="#000000">of estimates for a, c and d true.</text>
<text text-anchor="middle" x="372" y="-2058.8" font-family="Times,serif" font-size="14.00" fill="#000000">This means that these values can be</text>
<text text-anchor="middle" x="372" y="-2043.8" font-family="Times,serif" font-size="14.00" fill="#000000">promoted to the set of bin_values.</text>
<text text-anchor="middle" x="372" y="-2028.8" font-family="Times,serif" font-size="14.00" fill="#000000">Since they are the first ones, they</text>
<text text-anchor="middle" x="372" y="-2013.8" font-family="Times,serif" font-size="14.00" fill="#000000">also become the auxiliary values for</text>
<text text-anchor="middle" x="372" y="-1998.8" font-family="Times,serif" font-size="14.00" fill="#000000">each of these meta&#45;elections at</text>
<text text-anchor="middle" x="372" y="-1983.8" font-family="Times,serif" font-size="14.00" fill="#000000">round 0, step 0.</text>
<text text-anchor="middle" x="372" y="-1952.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_6 can see a_3 and d_4 which both</text>
<text text-anchor="middle" x="372" y="-1937.8" font-family="Times,serif" font-size="14.00" fill="#000000">carry an estimate for b true, which is</text>
<text text-anchor="middle" x="372" y="-1922.8" font-family="Times,serif" font-size="14.00" fill="#000000">not yet in b_6&#39;s estimates.</text>
<text text-anchor="middle" x="372" y="-1907.8" font-family="Times,serif" font-size="14.00" fill="#000000">This makes b true one more of b&#39;s</text>
<text text-anchor="middle" x="372" y="-1892.8" font-family="Times,serif" font-size="14.00" fill="#000000">estimates.</text>
<text text-anchor="middle" x="372" y="-1861.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_6 can now see 3 estimates for b true</text>
<text text-anchor="middle" x="372" y="-1846.8" font-family="Times,serif" font-size="14.00" fill="#000000">and 3 estimates for b false, so both</text>
<text text-anchor="middle" x="372" y="-1831.8" font-family="Times,serif" font-size="14.00" fill="#000000">estimates are promoted to b&#39;s</text>
<text text-anchor="middle" x="372" y="-1816.8" font-family="Times,serif" font-size="14.00" fill="#000000">bin_values.</text>
<text text-anchor="middle" x="372" y="-1785.8" font-family="Times,serif" font-size="14.00" fill="#000000">Because both binary values entered</text>
<text text-anchor="middle" x="372" y="-1770.8" font-family="Times,serif" font-size="14.00" fill="#000000">bin_values in the same gossip event, </text>
<text text-anchor="middle" x="372" y="-1755.8" font-family="Times,serif" font-size="14.00" fill="#000000">the auxiliary value for b is true by</text>
<text text-anchor="middle" x="372" y="-1740.8" font-family="Times,serif" font-size="14.00" fill="#000000">convention.</text>
<text text-anchor="middle" x="372" y="-1709.8" font-family="Times,serif" font-size="14.00" fill="#000000">At this stage, b_6 can see c_5, d_5</text>
<text text-anchor="middle" x="372" y="-1694.8" font-family="Times,serif" font-size="14.00" fill="#000000">and b_6 itself which together carry a</text>
<text text-anchor="middle" x="372" y="-1679.8" font-family="Times,serif" font-size="14.00" fill="#000000">supermajority of auxiliary values for true.</text>
<text text-anchor="middle" x="372" y="-1648.8" font-family="Times,serif" font-size="14.00" fill="#000000">Because this is still step 0: a forced</text>
<text text-anchor="middle" x="372" y="-1633.8" font-family="Times,serif" font-size="14.00" fill="#000000">true step, seeing a supermajority of</text>
<text text-anchor="middle" x="372" y="-1618.8" font-family="Times,serif" font-size="14.00" fill="#000000">auxiliary values for true means that</text>
<text text-anchor="middle" x="372" y="-1603.8" font-family="Times,serif" font-size="14.00" fill="#000000">these values are decided.</text>
<text text-anchor="middle" x="372" y="-1572.8" font-family="Times,serif" font-size="14.00" fill="#000000">For the meta&#45;vote on b, b_6 can see a</text>
<text text-anchor="middle" x="372" y="-1557.8" font-family="Times,serif" font-size="14.00" fill="#000000">supermajority of auxiliary values, but</text>
<text text-anchor="middle" x="372" y="-1542.8" font-family="Times,serif" font-size="14.00" fill="#000000">no agreeing supermajority.</text>
<text text-anchor="middle" x="372" y="-1527.8" font-family="Times,serif" font-size="14.00" fill="#000000">This means that the next step will start</text>
<text text-anchor="middle" x="372" y="-1512.8" font-family="Times,serif" font-size="14.00" fill="#000000">with the true estimate as this is a</text>
<text text-anchor="middle" x="372" y="-1497.8" font-family="Times,serif" font-size="14.00" fill="#000000">forced true step.</text>
</g>
<!-- b_4&#45;&gt;b_4_0 -->
<g id="edge44" class="edge">
<title>b_4&#45;&gt;b_4_0</title>
<path fill="none" stroke="#000000" d="M372,-1289.0167C372,-1321.7137 372,-1395.2917 372,-1479.5769"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-1479.6369 372,-1489.6369 375.5001,-1479.6369 368.5001,-1479.6369"/>
</g>
<!-- b_4&#45;&gt;d_6 -->
<g id="edge116" class="edge">
<title>b_4&#45;&gt;d_6</title>
<path fill="none" stroke="#000000" d="M385.8396,-1286.4859C459.0278,-1368.3805 800.9333,-1750.9589 889.1758,-1849.6986"/>
<polygon fill="#000000" stroke="#000000" points="886.7316,-1852.2161 896.0049,-1857.3401 891.951,-1847.5515 886.7316,-1852.2161"/>
</g>
<!-- b_4_0&#45;&gt;b_5 -->
<g id="edge45" class="edge">
<title>b_4_0&#45;&gt;b_5</title>
<path fill="none" stroke="#000000" d="M372,-2256.4208C372,-2264.9002 372,-2273.3143 372,-2281.6376"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-2281.7434 372,-2291.7435 375.5001,-2281.7435 368.5001,-2281.7434"/>
</g>
<!-- d_6_0 -->
<g id="node67" class="node">
<title>d_6_0</title>
<polygon fill="none" stroke="#000000" points="1012.5,-2565 807.5,-2565 807.5,-2452 1012.5,-2452 1012.5,-2565"/>
<text text-anchor="middle" x="910" y="-2549.8" font-family="Times,serif" font-size="14.00" fill="#000000">d_8</text>
<text text-anchor="middle" x="910" y="-2534.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="910" y="-2519.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="910" y="-2504.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{f,t} ]</text>
<text text-anchor="middle" x="910" y="-2489.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-2474.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="910" y="-2459.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- b_4_0&#45;&gt;d_6_0 -->
<g id="edge117" class="edge">
<title>b_4_0&#45;&gt;d_6_0</title>
<path fill="none" stroke="#000000" d="M494.0805,-2017.2048C607.4252,-2151.0906 770.9701,-2344.2742 855.2307,-2443.805"/>
<polygon fill="#000000" stroke="#000000" points="852.7667,-2446.3114 861.8993,-2451.6822 858.1093,-2441.7884 852.7667,-2446.3114"/>
</g>
<!-- b_9_0 -->
<g id="node46" class="node">
<title>b_9_0</title>
<polygon fill="none" stroke="#000000" points="486.5,-3857 257.5,-3857 257.5,-3501 486.5,-3501 486.5,-3857"/>
<text text-anchor="middle" x="372" y="-3841.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_12</text>
<text text-anchor="middle" x="372" y="-3826.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="372" y="-3811.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:1 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="372" y="-3796.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-3781.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-3766.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-3751.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-3720.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_12 can see b_12, c_7 and d_9 which</text>
<text text-anchor="middle" x="372" y="-3705.8" font-family="Times,serif" font-size="14.00" fill="#000000">all carry an estimate for b true at</text>
<text text-anchor="middle" x="372" y="-3690.8" font-family="Times,serif" font-size="14.00" fill="#000000">step 1.</text>
<text text-anchor="middle" x="372" y="-3675.8" font-family="Times,serif" font-size="14.00" fill="#000000">This promotes b true to b_12&#39;s</text>
<text text-anchor="middle" x="372" y="-3660.8" font-family="Times,serif" font-size="14.00" fill="#000000">bin_values.</text>
<text text-anchor="middle" x="372" y="-3629.8" font-family="Times,serif" font-size="14.00" fill="#000000">Being the only value in b_12&#39;s</text>
<text text-anchor="middle" x="372" y="-3614.8" font-family="Times,serif" font-size="14.00" fill="#000000">bin_values, true also becomes b_12&#39;s</text>
<text text-anchor="middle" x="372" y="-3599.8" font-family="Times,serif" font-size="14.00" fill="#000000">auxiliary value.</text>
<text text-anchor="middle" x="372" y="-3568.8" font-family="Times,serif" font-size="14.00" fill="#000000">So far, b_12 can only see two</text>
<text text-anchor="middle" x="372" y="-3553.8" font-family="Times,serif" font-size="14.00" fill="#000000">auxiliary values for b for step 1:</text>
<text text-anchor="middle" x="372" y="-3538.8" font-family="Times,serif" font-size="14.00" fill="#000000">the one a_10 carries and his own.</text>
<text text-anchor="middle" x="372" y="-3523.8" font-family="Times,serif" font-size="14.00" fill="#000000">That&#39;s not a supermajority, so more</text>
<text text-anchor="middle" x="372" y="-3508.8" font-family="Times,serif" font-size="14.00" fill="#000000">gossip is neeeded to make progress.</text>
</g>
<!-- b_9&#45;&gt;b_9_0 -->
<g id="edge50" class="edge">
<title>b_9&#45;&gt;b_9_0</title>
<path fill="none" stroke="#000000" d="M372,-3426.6683C372,-3441.6361 372,-3464.5846 372,-3490.663"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-3490.8009 372,-3500.801 375.5001,-3490.801 368.5001,-3490.8009"/>
</g>
<!-- b_9_0&#45;&gt;b_10 -->
<g id="edge51" class="edge">
<title>b_9_0&#45;&gt;b_10</title>
<path fill="none" stroke="#000000" d="M372,-3857.1914C372,-3866.6755 372,-3875.3722 372,-3882.8818"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-3882.9884 372,-3892.9884 375.5001,-3882.9884 368.5001,-3882.9884"/>
</g>
<!-- b_10&#45;&gt;b_11 -->
<g id="edge52" class="edge">
<title>b_10&#45;&gt;b_11</title>
<path fill="none" stroke="#000000" d="M372,-3929.2935C372,-4006.1883 372,-4303.5319 372,-4396.8296"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-4396.9256 372,-4406.9257 375.5001,-4396.9257 368.5001,-4396.9256"/>
</g>
<!-- b_12&#45;&gt;b_13 -->
<g id="edge54" class="edge">
<title>b_12&#45;&gt;b_13</title>
<path fill="none" stroke="#000000" d="M372,-4837.1839C372,-4875.2435 372,-4911.0145 372,-4934.6128"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-4934.8695 372,-4944.8695 375.5001,-4934.8696 368.5001,-4934.8695"/>
</g>
<!-- d_14 -->
<g id="node59" class="node">
<title>d_14</title>
<ellipse fill="none" stroke="#000000" cx="910" cy="-4891" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="910" y="-4887.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_17</text>
</g>
<!-- b_12&#45;&gt;d_14 -->
<g id="edge126" class="edge">
<title>b_12&#45;&gt;d_14</title>
<path fill="none" stroke="#000000" d="M488.738,-4708.5575C612.6631,-4762.2277 800.8731,-4843.7387 876.6577,-4876.5599"/>
<polygon fill="#000000" stroke="#000000" points="875.6021,-4879.9169 886.1695,-4880.6794 878.3841,-4873.4934 875.6021,-4879.9169"/>
</g>
<!-- b_13_0&#45;&gt;d_15 -->
<g id="edge127" class="edge">
<title>b_13_0&#45;&gt;d_15</title>
<path fill="none" stroke="#000000" d="M493.073,-5386.4984C586.2403,-5430.7442 713.7662,-5491.3072 803.166,-5533.7638"/>
<polygon fill="#000000" stroke="#000000" points="801.7044,-5536.9443 812.239,-5538.0726 804.7074,-5530.6211 801.7044,-5536.9443"/>
</g>
<!-- b_13_0&#45;&gt;b_14 -->
<g id="edge56" class="edge">
<title>b_13_0&#45;&gt;b_14</title>
<path fill="none" stroke="#000000" d="M372,-5492.1223C372,-5630.2766 372,-5816.8027 372,-5887.3644"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-5887.6683 372,-5897.6683 375.5001,-5887.6683 368.5001,-5887.6683"/>
</g>
<!-- b_15 -->
<g id="node51" class="node">
<title>b_15</title>
<polygon fill="#00ced1" stroke="#000000" points="503.5,-7193 240.5,-7193 240.5,-6119 503.5,-6119 503.5,-7193"/>
<text text-anchor="middle" x="372" y="-7177.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_19</text>
<text text-anchor="middle" x="372" y="-7162.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:1 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="372" y="-7147.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:0 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="372" y="-7132.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-7117.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-7102.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-7087.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="372" y="-7056.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_19 can see a supermajority of auxiliary</text>
<text text-anchor="middle" x="372" y="-7041.8" font-family="Times,serif" font-size="14.00" fill="#000000">values for b at step 2, coming from a_18,</text>
<text text-anchor="middle" x="372" y="-7026.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_17 and d_18.</text>
<text text-anchor="middle" x="372" y="-6995.8" font-family="Times,serif" font-size="14.00" fill="#000000">It is a supermajority of true values, so</text>
<text text-anchor="middle" x="372" y="-6980.8" font-family="Times,serif" font-size="14.00" fill="#000000">instead of doing a genuine coin flip, the</text>
<text text-anchor="middle" x="372" y="-6965.8" font-family="Times,serif" font-size="14.00" fill="#000000">next round starts with b&#39;s estimate set</text>
<text text-anchor="middle" x="372" y="-6950.8" font-family="Times,serif" font-size="14.00" fill="#000000">to true.</text>
<text text-anchor="middle" x="372" y="-6919.8" font-family="Times,serif" font-size="14.00" fill="#000000">This is step 0 of round 1: a forced true</text>
<text text-anchor="middle" x="372" y="-6904.8" font-family="Times,serif" font-size="14.00" fill="#000000">step.</text>
<text text-anchor="middle" x="372" y="-6873.8" font-family="Times,serif" font-size="14.00" fill="#000000">At this stage, b_19 can see a_20 and d_19</text>
<text text-anchor="middle" x="372" y="-6858.8" font-family="Times,serif" font-size="14.00" fill="#000000">which both carry an estimate of false for</text>
<text text-anchor="middle" x="372" y="-6843.8" font-family="Times,serif" font-size="14.00" fill="#000000">b at round 1, step 0. This makes b false</text>
<text text-anchor="middle" x="372" y="-6828.8" font-family="Times,serif" font-size="14.00" fill="#000000">another of b_19&#39;s estimates.</text>
<text text-anchor="middle" x="372" y="-6797.8" font-family="Times,serif" font-size="14.00" fill="#000000">b_19 can see a_20, b_19 and d_19 which</text>
<text text-anchor="middle" x="372" y="-6782.8" font-family="Times,serif" font-size="14.00" fill="#000000">all carry both estimates true and false.</text>
<text text-anchor="middle" x="372" y="-6751.8" font-family="Times,serif" font-size="14.00" fill="#000000">This makes both values true and false</text>
<text text-anchor="middle" x="372" y="-6736.8" font-family="Times,serif" font-size="14.00" fill="#000000">members of b_19&#39;s bin_values.</text>
<text text-anchor="middle" x="372" y="-6705.8" font-family="Times,serif" font-size="14.00" fill="#000000">By convention, true becomes b_19&#39;s</text>
<text text-anchor="middle" x="372" y="-6690.8" font-family="Times,serif" font-size="14.00" fill="#000000">auxiliary value.</text>
<text text-anchor="middle" x="372" y="-6659.8" font-family="Times,serif" font-size="14.00" fill="#000000">At this stage, b_19 can see a_20, b_19</text>
<text text-anchor="middle" x="372" y="-6644.8" font-family="Times,serif" font-size="14.00" fill="#000000">and d_19 which all carry a true auxiliary</text>
<text text-anchor="middle" x="372" y="-6629.8" font-family="Times,serif" font-size="14.00" fill="#000000">value for round 1, step 0.</text>
<text text-anchor="middle" x="372" y="-6598.8" font-family="Times,serif" font-size="14.00" fill="#000000">Because this is a forced true step, this</text>
<text text-anchor="middle" x="372" y="-6583.8" font-family="Times,serif" font-size="14.00" fill="#000000">supermajority of true auxiliary values is</text>
<text text-anchor="middle" x="372" y="-6568.8" font-family="Times,serif" font-size="14.00" fill="#000000">enough to make true the decided value for</text>
<text text-anchor="middle" x="372" y="-6553.8" font-family="Times,serif" font-size="14.00" fill="#000000">b&#39;s meta&#45;election.</text>
<text text-anchor="middle" x="372" y="-6522.8" font-family="Times,serif" font-size="14.00" fill="#000000">Now, all meta&#45;elections for the oldest</text>
<text text-anchor="middle" x="372" y="-6507.8" font-family="Times,serif" font-size="14.00" fill="#000000">observers: a_3, b_4, c_4 and d_4 are over.</text>
<text text-anchor="middle" x="372" y="-6476.8" font-family="Times,serif" font-size="14.00" fill="#000000">Because all decided values happen to be</text>
<text text-anchor="middle" x="372" y="-6461.8" font-family="Times,serif" font-size="14.00" fill="#000000">true, Bob knows to consider Alice, Bob,</text>
<text text-anchor="middle" x="372" y="-6446.8" font-family="Times,serif" font-size="14.00" fill="#000000">Carol and Dave&#39;s opinion when reaching</text>
<text text-anchor="middle" x="372" y="-6431.8" font-family="Times,serif" font-size="14.00" fill="#000000">agreement on the next interesting event.</text>
<text text-anchor="middle" x="372" y="-6400.8" font-family="Times,serif" font-size="14.00" fill="#000000">Looking back at their history, he can see</text>
<text text-anchor="middle" x="372" y="-6385.8" font-family="Times,serif" font-size="14.00" fill="#000000">no majority for any specific interesting event.</text>
<text text-anchor="middle" x="372" y="-6370.8" font-family="Times,serif" font-size="14.00" fill="#000000">The situation is tied, with two pink</text>
<text text-anchor="middle" x="372" y="-6355.8" font-family="Times,serif" font-size="14.00" fill="#000000">events and two turquoise events.</text>
<text text-anchor="middle" x="372" y="-6324.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bob has to sort the events: pink and</text>
<text text-anchor="middle" x="372" y="-6309.8" font-family="Times,serif" font-size="14.00" fill="#000000">turquoise by some order that all nodes</text>
<text text-anchor="middle" x="372" y="-6294.8" font-family="Times,serif" font-size="14.00" fill="#000000">agree upon.</text>
<text text-anchor="middle" x="372" y="-6263.8" font-family="Times,serif" font-size="14.00" fill="#000000">Turquoise comes on top, so turquoise</text>
<text text-anchor="middle" x="372" y="-6248.8" font-family="Times,serif" font-size="14.00" fill="#000000">becomes the next consensus&#45;ed event.</text>
<text text-anchor="middle" x="372" y="-6217.8" font-family="Times,serif" font-size="14.00" fill="#000000">Now, a_1, b_0, c_1 and d_0 become</text>
<text text-anchor="middle" x="372" y="-6202.8" font-family="Times,serif" font-size="14.00" fill="#000000">uninteresting and the next consensus</text>
<text text-anchor="middle" x="372" y="-6187.8" font-family="Times,serif" font-size="14.00" fill="#000000">decision may start from Bob&#39;s perspective.</text>
<text text-anchor="middle" x="372" y="-6156.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bob knows that all other nodes, if they</text>
<text text-anchor="middle" x="372" y="-6141.8" font-family="Times,serif" font-size="14.00" fill="#000000">haven&#39;t decided yet will decide in</text>
<text text-anchor="middle" x="372" y="-6126.8" font-family="Times,serif" font-size="14.00" fill="#000000">agreement with him, eventually.</text>
</g>
<!-- b_14&#45;&gt;b_15 -->
<g id="edge57" class="edge">
<title>b_14&#45;&gt;b_15</title>
<path fill="none" stroke="#000000" d="M372,-5934.2922C372,-5964.4936 372,-6029.3805 372,-6108.4458"/>
<polygon fill="#000000" stroke="#000000" points="368.5001,-6108.6669 372,-6118.6669 375.5001,-6108.6669 368.5001,-6108.6669"/>
</g>
<!-- b_14&#45;&gt;d_16 -->
<g id="edge128" class="edge">
<title>b_14&#45;&gt;d_16</title>
<path fill="none" stroke="#000000" d="M399.4191,-5921.6316C472.0754,-5936.5545 672.6745,-5977.7556 799.7265,-6003.8509"/>
<polygon fill="#000000" stroke="#000000" points="799.3831,-6007.3534 809.8828,-6005.9369 800.7915,-6000.4965 799.3831,-6007.3534"/>
</g>
<!-- d_1 -->
<g id="node52" class="node">
<title>d_1</title>
<ellipse fill="none" stroke="#000000" cx="904" cy="-237" rx="27" ry="18"/>
<text text-anchor="middle" x="904" y="-233.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_2</text>
</g>
<!-- d_1&#45;&gt;b_2 -->
<g id="edge59" class="edge">
<title>d_1&#45;&gt;b_2</title>
<path fill="none" stroke="#000000" d="M877.2535,-240.6198C789.3404,-252.5178 509.1814,-290.4341 408.4843,-304.0623"/>
<polygon fill="#000000" stroke="#000000" points="407.9245,-300.606 398.4843,-305.4157 408.8634,-307.5428 407.9245,-300.606"/>
</g>
<!-- c_1 -->
<g id="node64" class="node">
<title>c_1</title>
<ellipse fill="none" stroke="#000000" cx="657" cy="-309" rx="27" ry="18"/>
<text text-anchor="middle" x="657" y="-305.3" font-family="Times,serif" font-size="14.00" fill="#000000">c_2</text>
</g>
<!-- d_1&#45;&gt;c_1 -->
<g id="edge85" class="edge">
<title>d_1&#45;&gt;c_1</title>
<path fill="none" stroke="#000000" d="M878.957,-244.3C834.5524,-257.2438 741.959,-284.2346 691.5339,-298.9334"/>
<polygon fill="#000000" stroke="#000000" points="690.3629,-295.629 681.742,-301.7878 692.322,-302.3493 690.3629,-295.629"/>
</g>
<!-- d_1&#45;&gt;d_2 -->
<g id="edge95" class="edge">
<title>d_1&#45;&gt;d_2</title>
<path fill="none" stroke="#000000" d="M904.1267,-255.2377C904.2972,-279.799 904.6024,-323.7526 904.8031,-352.6459"/>
<polygon fill="#000000" stroke="#000000" points="901.3049,-352.935 904.8744,-362.9104 908.3048,-352.8863 901.3049,-352.935"/>
</g>
<!-- c_2&#45;&gt;b_3 -->
<g id="edge60" class="edge">
<title>c_2&#45;&gt;b_3</title>
<path fill="none" stroke="#000000" d="M644.3862,-397.0439C615.8491,-433.341 543.9265,-524.8216 481.1517,-604.6667"/>
<polygon fill="#000000" stroke="#000000" points="478.1477,-602.8247 474.7185,-612.8493 483.6506,-607.1512 478.1477,-602.8247"/>
</g>
<!-- c_2&#45;&gt;c_3 -->
<g id="edge80" class="edge">
<title>c_2&#45;&gt;c_3</title>
<path fill="none" stroke="#000000" d="M656.9758,-399.3132C656.852,-492.9241 656.2874,-919.6995 656.0783,-1077.8314"/>
<polygon fill="#000000" stroke="#000000" points="652.5783,-1077.8477 656.065,-1087.8523 659.5783,-1077.857 652.5783,-1077.8477"/>
</g>
<!-- c_4&#45;&gt;b_4_0 -->
<g id="edge62" class="edge">
<title>c_4&#45;&gt;b_4_0</title>
<path fill="none" stroke="#000000" d="M626.1438,-1454.1997C595.7697,-1504.2527 546.6008,-1585.2775 499.5663,-1662.7852"/>
<polygon fill="#000000" stroke="#000000" points="496.3346,-1661.3641 494.1389,-1671.7289 502.319,-1664.9956 496.3346,-1661.3641"/>
</g>
<!-- c_4_0 -->
<g id="node65" class="node">
<title>c_4_0</title>
<polygon fill="none" stroke="#000000" points="756,-2874 556,-2874 556,-2761 756,-2761 756,-2874"/>
<text text-anchor="middle" x="656" y="-2858.8" font-family="Times,serif" font-size="14.00" fill="#000000">c_6</text>
<text text-anchor="middle" x="656" y="-2843.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="656" y="-2828.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="656" y="-2813.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-2798.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{f,t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-2783.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;b:{f} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-2768.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- c_4&#45;&gt;c_4_0 -->
<g id="edge82" class="edge">
<title>c_4&#45;&gt;c_4_0</title>
<path fill="none" stroke="#000000" d="M656,-1454.0316C656,-1666.3459 656,-2506.6614 656,-2750.7122"/>
<polygon fill="#000000" stroke="#000000" points="652.5001,-2750.8558 656,-2760.8558 659.5001,-2750.8559 652.5001,-2750.8558"/>
</g>
<!-- d_6&#45;&gt;b_5 -->
<g id="edge63" class="edge">
<title>d_6&#45;&gt;b_5</title>
<path fill="none" stroke="#000000" d="M896.701,-1888.7091C842.5846,-1952.6329 635.2881,-2197.497 498.0182,-2359.644"/>
<polygon fill="#000000" stroke="#000000" points="495.3254,-2357.4079 491.5353,-2367.3017 500.668,-2361.9309 495.3254,-2357.4079"/>
</g>
<!-- d_6&#45;&gt;d_6_0 -->
<g id="edge100" class="edge">
<title>d_6&#45;&gt;d_6_0</title>
<path fill="none" stroke="#000000" d="M910,-1891.3339C910,-1972.1898 910,-2299.1927 910,-2441.6386"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-2441.9793 910,-2451.9793 913.5001,-2441.9793 906.5001,-2441.9793"/>
</g>
<!-- d_9&#45;&gt;b_9 -->
<g id="edge67" class="edge">
<title>d_9&#45;&gt;b_9</title>
<path fill="none" stroke="#000000" d="M882.5809,-3303.6316C793.3557,-3321.9576 511.1804,-3379.9137 409.2165,-3400.8561"/>
<polygon fill="#000000" stroke="#000000" points="408.4553,-3397.4393 399.3639,-3402.8797 409.8637,-3404.2962 408.4553,-3397.4393"/>
</g>
<!-- d_9&#45;&gt;d_10 -->
<g id="edge105" class="edge">
<title>d_9&#45;&gt;d_10</title>
<path fill="none" stroke="#000000" d="M910,-3316.2468C910,-3323.4495 910,-3332.2049 910,-3341.421"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-3341.5506 910,-3351.5507 913.5001,-3341.5507 906.5001,-3341.5506"/>
</g>
<!-- c_4_1 -->
<g id="node57" class="node">
<title>c_4_1</title>
<polygon fill="none" stroke="#000000" points="751,-3172 561,-3172 561,-3059 751,-3059 751,-3172"/>
<text text-anchor="middle" x="656" y="-3156.8" font-family="Times,serif" font-size="14.00" fill="#000000">c_7</text>
<text text-anchor="middle" x="656" y="-3141.8" font-family="Times,serif" font-size="14.00" fill="#000000">Round: [ a:0 &#160;b:0 &#160;c:0 &#160;d:0 ]</text>
<text text-anchor="middle" x="656" y="-3126.8" font-family="Times,serif" font-size="14.00" fill="#000000">Step: [ a:1 &#160;b:1 &#160;c:1 &#160;d:1 ]</text>
<text text-anchor="middle" x="656" y="-3111.8" font-family="Times,serif" font-size="14.00" fill="#000000">Est: [ a:{t} &#160;b:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-3096.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bin: [ a:{t} &#160;b:{} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-3081.8" font-family="Times,serif" font-size="14.00" fill="#000000">Aux: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
<text text-anchor="middle" x="656" y="-3066.8" font-family="Times,serif" font-size="14.00" fill="#000000">Dec: [ a:{t} &#160;c:{t} &#160;d:{t} ]</text>
</g>
<!-- c_4_1&#45;&gt;c_5 -->
<g id="edge84" class="edge">
<title>c_4_1&#45;&gt;c_5</title>
<path fill="none" stroke="#000000" d="M656,-3172.1744C656,-3331.6224 656,-3783.5808 656,-3954.7155"/>
<polygon fill="#000000" stroke="#000000" points="652.5001,-3954.847 656,-3964.8471 659.5001,-3954.8471 652.5001,-3954.847"/>
</g>
<!-- c_4_1&#45;&gt;b_9_0 -->
<g id="edge68" class="edge">
<title>c_4_1&#45;&gt;b_9_0</title>
<path fill="none" stroke="#000000" d="M627.4687,-3172.1106C590.0465,-3246.362 522.5372,-3380.3109 466.3127,-3491.869"/>
<polygon fill="#000000" stroke="#000000" points="463.1457,-3490.3763 461.7705,-3500.8815 469.3966,-3493.5268 463.1457,-3490.3763"/>
</g>
<!-- d_13&#45;&gt;b_12 -->
<g id="edge71" class="edge">
<title>d_13&#45;&gt;b_12</title>
<path fill="none" stroke="#000000" d="M821.4616,-4371.0296C733.2082,-4427.3773 596.8576,-4514.4338 497.4713,-4577.8896"/>
<polygon fill="#000000" stroke="#000000" points="495.4226,-4575.0451 488.8775,-4583.3765 499.1896,-4580.945 495.4226,-4575.0451"/>
</g>
<!-- d_13&#45;&gt;d_14 -->
<g id="edge109" class="edge">
<title>d_13&#45;&gt;d_14</title>
<path fill="none" stroke="#000000" d="M910,-4371.0906C910,-4492.1447 910,-4772.534 910,-4862.598"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-4862.8487 910,-4872.8487 913.5001,-4862.8488 906.5001,-4862.8487"/>
</g>
<!-- d_14&#45;&gt;b_13 -->
<g id="edge72" class="edge">
<title>d_14&#45;&gt;b_13</title>
<path fill="none" stroke="#000000" d="M881.8323,-4894.7697C792.055,-4906.7845 512.5599,-4944.189 410.1251,-4957.8978"/>
<polygon fill="#000000" stroke="#000000" points="409.6599,-4954.4287 400.2126,-4959.2243 410.5885,-4961.3669 409.6599,-4954.4287"/>
</g>
<!-- d_14&#45;&gt;d_15 -->
<g id="edge110" class="edge">
<title>d_14&#45;&gt;d_15</title>
<path fill="none" stroke="#000000" d="M910,-4909.193C910,-4995.3684 910,-5364.6741 910,-5517.6899"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-5517.8887 910,-5527.8888 913.5001,-5517.8888 906.5001,-5517.8887"/>
</g>
<!-- d_16&#45;&gt;b_15 -->
<g id="edge75" class="edge">
<title>d_16&#45;&gt;b_15</title>
<path fill="none" stroke="#000000" d="M861.5452,-6083.1958C783.1663,-6174.9048 625.7299,-6359.1172 510.4811,-6493.9668"/>
<polygon fill="#000000" stroke="#000000" points="507.4812,-6492.0898 503.6449,-6501.9657 512.8026,-6496.6377 507.4812,-6492.0898"/>
</g>
<!-- Carol -->
<g id="node61" class="node">
<title>Carol</title>
<ellipse fill="none" stroke="#ffffff" cx="659" cy="-18" rx="30.5947" ry="18"/>
<text text-anchor="middle" x="659" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">Carol</text>
</g>
<!-- c_0_0 -->
<g id="node62" class="node">
<title>c_0_0</title>
<ellipse fill="#ffc0cb" stroke="#000000" cx="659" cy="-93" rx="27" ry="18"/>
<text text-anchor="middle" x="659" y="-89.3" font-family="Times,serif" font-size="14.00" fill="#000000">c_0</text>
</g>
<!-- Carol&#45;&gt;c_0_0 -->
<!-- Dave -->
<g id="node69" class="node">
<title>Dave</title>
<ellipse fill="none" stroke="#ffffff" cx="900" cy="-18" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="900" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">Dave</text>
</g>
<!-- Carol&#45;&gt;Dave -->
<!-- c_0_1 -->
<g id="node63" class="node">
<title>c_0_1</title>
<ellipse fill="#00ced1" stroke="#000000" cx="659" cy="-165" rx="27" ry="18"/>
<text text-anchor="middle" x="659" y="-161.3" font-family="Times,serif" font-size="14.00" fill="#000000">c_1</text>
</g>
<!-- c_0_0&#45;&gt;c_0_1 -->
<g id="edge77" class="edge">
<title>c_0_0&#45;&gt;c_0_1</title>
<path fill="none" stroke="#000000" d="M659,-111.1686C659,-118.869 659,-128.0257 659,-136.5834"/>
<polygon fill="#000000" stroke="#000000" points="655.5001,-136.5867 659,-146.5867 662.5001,-136.5868 655.5001,-136.5867"/>
</g>
<!-- c_0_1&#45;&gt;d_1 -->
<g id="edge112" class="edge">
<title>c_0_1&#45;&gt;d_1</title>
<path fill="none" stroke="#000000" d="M683.8402,-172.3C727.7715,-185.2104 819.2546,-212.0952 869.3572,-226.8192"/>
<polygon fill="#000000" stroke="#000000" points="868.5129,-230.2191 879.0941,-229.6807 870.4867,-223.5031 868.5129,-230.2191"/>
</g>
<!-- c_0_1&#45;&gt;c_1 -->
<g id="edge78" class="edge">
<title>c_0_1&#45;&gt;c_1</title>
<path fill="none" stroke="#000000" d="M658.7467,-183.2377C658.4056,-207.799 657.7951,-251.7526 657.3938,-280.6459"/>
<polygon fill="#000000" stroke="#000000" points="653.8906,-280.8627 657.2512,-290.9104 660.8899,-280.96 653.8906,-280.8627"/>
</g>
<!-- c_1&#45;&gt;c_2 -->
<g id="edge79" class="edge">
<title>c_1&#45;&gt;c_2</title>
<path fill="none" stroke="#000000" d="M657,-327.1686C657,-334.869 657,-344.0257 657,-352.5834"/>
<polygon fill="#000000" stroke="#000000" points="653.5001,-352.5867 657,-362.5867 660.5001,-352.5868 653.5001,-352.5867"/>
</g>
<!-- c_4_0&#45;&gt;c_4_1 -->
<g id="edge83" class="edge">
<title>c_4_0&#45;&gt;c_4_1</title>
<path fill="none" stroke="#000000" d="M656,-2874.253C656,-2923.9644 656,-2996.2613 656,-3048.7395"/>
<polygon fill="#000000" stroke="#000000" points="652.5001,-3048.9583 656,-3058.9583 659.5001,-3048.9584 652.5001,-3048.9583"/>
</g>
<!-- c_4_0&#45;&gt;d_7_0 -->
<g id="edge119" class="edge">
<title>c_4_0&#45;&gt;d_7_0</title>
<path fill="none" stroke="#000000" d="M752.3887,-2874.043C797.8614,-2900.7179 848.9017,-2930.6589 880.2515,-2949.0491"/>
<polygon fill="#000000" stroke="#000000" points="878.539,-2952.1022 888.9354,-2954.1432 882.0809,-2946.0644 878.539,-2952.1022"/>
</g>
<!-- d_4&#45;&gt;d_5 -->
<g id="edge98" class="edge">
<title>d_4&#45;&gt;d_5</title>
<path fill="none" stroke="#000000" d="M910,-1320.1358C910,-1339.2529 910,-1360.4632 910,-1376.8972"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-1376.9368 910,-1386.9369 913.5001,-1376.9369 906.5001,-1376.9368"/>
</g>
<!-- d_4&#45;&gt;c_4 -->
<g id="edge88" class="edge">
<title>d_4&#45;&gt;c_4</title>
<path fill="none" stroke="#000000" d="M816.8621,-1320.1358C797.7083,-1330.2405 777.4459,-1340.9301 757.998,-1351.19"/>
<polygon fill="#000000" stroke="#000000" points="756.3382,-1348.1084 749.1267,-1355.8702 759.6045,-1354.2997 756.3382,-1348.1084"/>
</g>
<!-- d_6_0&#45;&gt;d_7 -->
<g id="edge101" class="edge">
<title>d_6_0&#45;&gt;d_7</title>
<path fill="none" stroke="#000000" d="M910,-2565.1754C910,-2617.5801 910,-2695.4929 910,-2750.8586"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-2750.9229 910,-2760.923 913.5001,-2750.923 906.5001,-2750.9229"/>
</g>
<!-- d_6_0&#45;&gt;c_4_0 -->
<g id="edge89" class="edge">
<title>d_6_0&#45;&gt;c_4_0</title>
<path fill="none" stroke="#000000" d="M863.4125,-2565.1754C819.7992,-2618.2324 754.6929,-2697.4366 709.0888,-2752.9156"/>
<polygon fill="#000000" stroke="#000000" points="706.153,-2750.9753 702.5067,-2760.923 711.5606,-2755.4204 706.153,-2750.9753"/>
</g>
<!-- d_7_0&#45;&gt;d_8 -->
<g id="edge103" class="edge">
<title>d_7_0&#45;&gt;d_8</title>
<path fill="none" stroke="#000000" d="M910,-2984.7475C910,-3029.323 910,-3144.0132 910,-3197.6084"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-3197.7726 910,-3207.7726 913.5001,-3197.7727 906.5001,-3197.7726"/>
</g>
<!-- d_7_0&#45;&gt;c_4_1 -->
<g id="edge90" class="edge">
<title>d_7_0&#45;&gt;c_4_1</title>
<path fill="none" stroke="#000000" d="M888.781,-2978.9474C860.383,-2995.606 808.0322,-3026.3157 760.159,-3054.3989"/>
<polygon fill="#000000" stroke="#000000" points="758.1334,-3051.5293 751.2789,-3059.6081 761.6753,-3057.5671 758.1334,-3051.5293"/>
</g>
<!-- d_0_0 -->
<g id="node70" class="node">
<title>d_0_0</title>
<ellipse fill="#00ced1" stroke="#000000" cx="904" cy="-93" rx="27" ry="18"/>
<text text-anchor="middle" x="904" y="-89.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_0</text>
</g>
<!-- Dave&#45;&gt;d_0_0 -->
<!-- d_0_1 -->
<g id="node71" class="node">
<title>d_0_1</title>
<ellipse fill="#ffc0cb" stroke="#000000" cx="904" cy="-165" rx="27" ry="18"/>
<text text-anchor="middle" x="904" y="-161.3" font-family="Times,serif" font-size="14.00" fill="#000000">d_1</text>
</g>
<!-- d_0_0&#45;&gt;d_0_1 -->
<g id="edge93" class="edge">
<title>d_0_0&#45;&gt;d_0_1</title>
<path fill="none" stroke="#000000" d="M904,-111.1686C904,-118.869 904,-128.0257 904,-136.5834"/>
<polygon fill="#000000" stroke="#000000" points="900.5001,-136.5867 904,-146.5867 907.5001,-136.5868 900.5001,-136.5867"/>
</g>
<!-- d_0_1&#45;&gt;d_1 -->
<g id="edge94" class="edge">
<title>d_0_1&#45;&gt;d_1</title>
<path fill="none" stroke="#000000" d="M904,-183.1686C904,-190.869 904,-200.0257 904,-208.5834"/>
<polygon fill="#000000" stroke="#000000" points="900.5001,-208.5867 904,-218.5867 907.5001,-208.5868 900.5001,-208.5867"/>
</g>
<!-- d_2&#45;&gt;d_3 -->
<g id="edge96" class="edge">
<title>d_2&#45;&gt;d_3</title>
<path fill="none" stroke="#000000" d="M905.051,-399.4748C905.1942,-451.4128 905.6052,-600.383 905.8366,-684.2641"/>
<polygon fill="#000000" stroke="#000000" points="902.3369,-684.4181 905.8646,-694.4084 909.3369,-684.3988 902.3369,-684.4181"/>
</g>
<!-- d_10&#45;&gt;d_11 -->
<g id="edge106" class="edge">
<title>d_10&#45;&gt;d_11</title>
<path fill="none" stroke="#000000" d="M910,-3465.2057C910,-3521.9041 910,-3606.7849 910,-3650.5873"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-3650.7962 910,-3660.7962 913.5001,-3650.7963 906.5001,-3650.7962"/>
</g>
<!-- d_11&#45;&gt;d_12 -->
<g id="edge107" class="edge">
<title>d_11&#45;&gt;d_12</title>
<path fill="none" stroke="#000000" d="M910,-3697.0717C910,-3774.7638 910,-4080.7294 910,-4175.7164"/>
<polygon fill="#000000" stroke="#000000" points="906.5001,-4175.7334 910,-4185.7335 913.5001,-4175.7335 906.5001,-4175.7334"/>
</g>
</g>
</svg>