img/total-state-diagram.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.44.0 (20200408.0750)
 -->
<!-- Title: p_DispatchQueueLoop Pages: 1 -->
<svg width="576pt" height="40pt"
 viewBox="0.00 0.00 576.00 39.92" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(0.04 0.04) rotate(0) translate(4 896)">
<title>p_DispatchQueueLoop</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-896 12982,-896 12982,4 -4,4"/>
<!-- GT -->
<g id="node1" class="node">
<title>GT</title>
<polygon fill="none" stroke="black" stroke-dasharray="1,5" points="4801,-892 4673,-892 4673,-856 4801,-856 4801,-892"/>
<text text-anchor="middle" x="4737" y="-870.3" font-family="Times,serif" font-size="14.00">DispatchQueueLoop</text>
</g>
<!-- S9 -->
<g id="node2" class="node">
<title>S9</title>
<ellipse fill="none" stroke="black" cx="4737" cy="-801" rx="27" ry="18"/>
<text text-anchor="middle" x="4737" y="-797.3" font-family="Times,serif" font-size="14.00">S9</text>
</g>
<!-- GT&#45;&gt;S9 -->
<g id="edge1" class="edge">
<title>GT&#45;&gt;S9</title>
<path fill="none" stroke="black" d="M4737,-855.81C4737,-847.79 4737,-838.05 4737,-829.07"/>
<polygon fill="black" stroke="black" points="4740.5,-829.03 4737,-819.03 4733.5,-829.03 4740.5,-829.03"/>
</g>
<!-- S2 -->
<g id="node3" class="node">
<title>S2</title>
<ellipse fill="none" stroke="black" cx="4395" cy="-714" rx="27" ry="18"/>
<text text-anchor="middle" x="4395" y="-710.3" font-family="Times,serif" font-size="14.00">S2</text>
</g>
<!-- S9&#45;&gt;S2 -->
<g id="edge2" class="edge">
<title>S9&#45;&gt;S2</title>
<path fill="none" stroke="black" stroke-width="2" d="M4709.91,-799.6C4662.62,-798.18 4562.47,-791.94 4483,-765 4460.96,-757.53 4438.16,-744.4 4421.3,-733.47"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4422.85,-730.3 4412.58,-727.68 4418.97,-736.13 4422.85,-730.3"/>
<text text-anchor="middle" x="4608" y="-753.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelMustPass))</text>
</g>
<!-- S4 -->
<g id="node4" class="node">
<title>S4</title>
<ellipse fill="none" stroke="black" cx="4737" cy="-714" rx="27" ry="18"/>
<text text-anchor="middle" x="4737" y="-710.3" font-family="Times,serif" font-size="14.00">S4</text>
</g>
<!-- S9&#45;&gt;S4 -->
<g id="edge3" class="edge">
<title>S9&#45;&gt;S4</title>
<path fill="none" stroke="black" stroke-width="2" d="M4737,-782.8C4737,-771.16 4737,-755.55 4737,-742.24"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4740.5,-742.18 4737,-732.18 4733.5,-742.18 4740.5,-742.18"/>
<text text-anchor="middle" x="4864.5" y="-753.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelMustPlace))</text>
</g>
<!-- S6 -->
<g id="node5" class="node">
<title>S6</title>
<ellipse fill="none" stroke="black" cx="5084" cy="-714" rx="27" ry="18"/>
<text text-anchor="middle" x="5084" y="-710.3" font-family="Times,serif" font-size="14.00">S6</text>
</g>
<!-- S9&#45;&gt;S6 -->
<g id="edge4" class="edge">
<title>S9&#45;&gt;S6</title>
<path fill="none" stroke="black" stroke-width="2" d="M4764.24,-799.7C4812.3,-798.43 4914.75,-792.42 4996,-765 5018.05,-757.56 5040.85,-744.43 5057.71,-733.49"/>
<polygon fill="black" stroke="black" stroke-width="2" points="5060.04,-736.15 5066.42,-727.69 5056.16,-730.32 5060.04,-736.15"/>
<text text-anchor="middle" x="5157.5" y="-753.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelCompleted))</text>
</g>
<!-- S30 -->
<g id="node6" class="node">
<title>S30</title>
<ellipse fill="none" stroke="black" cx="4737" cy="-627" rx="27" ry="18"/>
<text text-anchor="middle" x="4737" y="-623.3" font-family="Times,serif" font-size="14.00">S30</text>
</g>
<!-- S2&#45;&gt;S30 -->
<g id="edge5" class="edge">
<title>S2&#45;&gt;S30</title>
<path fill="none" stroke="black" stroke-width="2" d="M4387.95,-696.13C4384.68,-685.35 4383.06,-671.79 4391,-663 4411.43,-640.4 4614.78,-631.68 4699.87,-629"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4700.23,-632.49 4710.11,-628.69 4700.01,-625.5 4700.23,-632.49"/>
<text text-anchor="middle" x="4562" y="-666.8" font-family="Times,serif" font-size="14.00">autoBkupGameModelState = AutoBkupGameModelMustPass</text>
</g>
<!-- S4&#45;&gt;S30 -->
<g id="edge125" class="edge">
<title>S4&#45;&gt;S30</title>
<path fill="none" stroke="black" stroke-width="2" d="M4737,-695.8C4737,-684.16 4737,-668.55 4737,-655.24"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4740.5,-655.18 4737,-645.18 4733.5,-655.18 4740.5,-655.18"/>
<text text-anchor="middle" x="4910.5" y="-666.8" font-family="Times,serif" font-size="14.00">autoBkupGameModelState = AutoBkupGameModelMustPlace</text>
</g>
<!-- S6&#45;&gt;S30 -->
<g id="edge126" class="edge">
<title>S6&#45;&gt;S30</title>
<path fill="none" stroke="black" stroke-width="2" d="M5089.67,-696.11C5092.14,-685.32 5092.92,-671.76 5085,-663 5064.42,-640.25 4859.51,-631.61 4774.08,-628.98"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4774.14,-625.48 4764.04,-628.68 4773.93,-632.47 4774.14,-625.48"/>
<text text-anchor="middle" x="5265.5" y="-666.8" font-family="Times,serif" font-size="14.00">autoBkupGameModelState = AutoBkupGameModelCompleted</text>
</g>
<!-- S17 -->
<g id="node7" class="node">
<title>S17</title>
<ellipse fill="none" stroke="black" cx="4319" cy="-540" rx="27" ry="18"/>
<text text-anchor="middle" x="4319" y="-536.3" font-family="Times,serif" font-size="14.00">S17</text>
</g>
<!-- S30&#45;&gt;S17 -->
<g id="edge6" class="edge">
<title>S30&#45;&gt;S17</title>
<path fill="none" stroke="black" stroke-width="2" d="M4711.48,-620.81C4639.83,-606.24 4436.69,-564.93 4354.33,-548.19"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4354.95,-544.74 4344.45,-546.18 4353.55,-551.6 4354.95,-544.74"/>
<text text-anchor="middle" x="4715" y="-579.8" font-family="Times,serif" font-size="14.00">((boardAnimationState==BoardAnimationNotAnimating))</text>
</g>
<!-- S26 -->
<g id="node8" class="node">
<title>S26</title>
<ellipse fill="none" stroke="black" cx="5262" cy="-540" rx="27" ry="18"/>
<text text-anchor="middle" x="5262" y="-536.3" font-family="Times,serif" font-size="14.00">S26</text>
</g>
<!-- S30&#45;&gt;S26 -->
<g id="edge7" class="edge">
<title>S30&#45;&gt;S26</title>
<path fill="none" stroke="black" stroke-width="2" d="M4763.03,-621.78C4849.37,-607.81 5126.42,-562.95 5225.96,-546.83"/>
<polygon fill="black" stroke="black" stroke-width="2" points="5226.81,-550.24 5236.12,-545.19 5225.69,-543.33 5226.81,-550.24"/>
<text text-anchor="middle" x="5319.5" y="-579.8" font-family="Times,serif" font-size="14.00">(((boardAnimationState==BoardAnimationPlacing)||(boardAnimationState==BoardAnimationFlipping)))</text>
</g>
<!-- S12 -->
<g id="node9" class="node">
<title>S12</title>
<ellipse fill="none" stroke="black" cx="3769" cy="-453" rx="27" ry="18"/>
<text text-anchor="middle" x="3769" y="-449.3" font-family="Times,serif" font-size="14.00">S12</text>
</g>
<!-- S17&#45;&gt;S12 -->
<g id="edge8" class="edge">
<title>S17&#45;&gt;S12</title>
<path fill="none" stroke="black" stroke-width="2" d="M4291.89,-538.5C4191.95,-536.45 3847.7,-527.74 3805,-504 3794.94,-498.41 3786.98,-488.68 3781.12,-479.29"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3784.14,-477.5 3776.16,-470.52 3778.04,-480.95 3784.14,-477.5"/>
<text text-anchor="middle" x="3985.5" y="-492.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelMustPass))</text>
</g>
<!-- S14 -->
<g id="node10" class="node">
<title>S14</title>
<ellipse fill="none" stroke="black" cx="4164" cy="-453" rx="27" ry="18"/>
<text text-anchor="middle" x="4164" y="-449.3" font-family="Times,serif" font-size="14.00">S14</text>
</g>
<!-- S17&#45;&gt;S14 -->
<g id="edge9" class="edge">
<title>S17&#45;&gt;S14</title>
<path fill="none" stroke="black" stroke-width="2" d="M4291.82,-539.74C4260.53,-539.09 4209.54,-533.15 4179,-504 4172.66,-497.95 4168.97,-489.34 4166.83,-480.96"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4170.25,-480.21 4164.92,-471.05 4163.38,-481.53 4170.25,-480.21"/>
<text text-anchor="middle" x="4362.5" y="-492.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelMustPlace))</text>
</g>
<!-- S16 -->
<g id="node11" class="node">
<title>S16</title>
<ellipse fill="none" stroke="black" cx="4595" cy="-453" rx="27" ry="18"/>
<text text-anchor="middle" x="4595" y="-449.3" font-family="Times,serif" font-size="14.00">S16</text>
</g>
<!-- S17&#45;&gt;S16 -->
<g id="edge10" class="edge">
<title>S17&#45;&gt;S16</title>
<path fill="none" stroke="black" stroke-width="2" d="M4345.63,-537.01C4397.81,-532.77 4511.41,-521.75 4546,-504 4558.16,-497.76 4569.1,-487.34 4577.54,-477.63"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4580.37,-479.7 4584.01,-469.75 4574.96,-475.26 4580.37,-479.7"/>
<text text-anchor="middle" x="4751.5" y="-492.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelCompleted))</text>
</g>
<!-- S21 -->
<g id="node76" class="node">
<title>S21</title>
<ellipse fill="none" stroke="black" cx="5049" cy="-453" rx="27" ry="18"/>
<text text-anchor="middle" x="5049" y="-449.3" font-family="Times,serif" font-size="14.00">S21</text>
</g>
<!-- S26&#45;&gt;S21 -->
<g id="edge119" class="edge">
<title>S26&#45;&gt;S21</title>
<path fill="none" stroke="black" stroke-width="2" d="M5234.98,-537.51C5187.31,-534.36 5090.97,-525.46 5066,-504 5059.28,-498.22 5055.21,-489.68 5052.75,-481.28"/>
<polygon fill="black" stroke="black" stroke-width="2" points="5056.11,-480.27 5050.47,-471.3 5049.28,-481.83 5056.11,-480.27"/>
<text text-anchor="middle" x="5246.5" y="-492.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelMustPass))</text>
</g>
<!-- S23 -->
<g id="node77" class="node">
<title>S23</title>
<ellipse fill="none" stroke="black" cx="5461" cy="-453" rx="27" ry="18"/>
<text text-anchor="middle" x="5461" y="-449.3" font-family="Times,serif" font-size="14.00">S23</text>
</g>
<!-- S26&#45;&gt;S23 -->
<g id="edge120" class="edge">
<title>S26&#45;&gt;S23</title>
<path fill="none" stroke="black" stroke-width="2" d="M5289.21,-539.82C5324.97,-539.56 5388.24,-534.35 5431,-504 5439.37,-498.06 5445.81,-488.99 5450.54,-480.19"/>
<polygon fill="black" stroke="black" stroke-width="2" points="5453.82,-481.45 5455.02,-470.92 5447.52,-478.41 5453.82,-481.45"/>
<text text-anchor="middle" x="5628.5" y="-492.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelMustPlace))</text>
</g>
<!-- S25 -->
<g id="node78" class="node">
<title>S25</title>
<ellipse fill="none" stroke="black" cx="5879" cy="-453" rx="27" ry="18"/>
<text text-anchor="middle" x="5879" y="-449.3" font-family="Times,serif" font-size="14.00">S25</text>
</g>
<!-- S26&#45;&gt;S25 -->
<g id="edge121" class="edge">
<title>S26&#45;&gt;S25</title>
<path fill="none" stroke="black" stroke-width="2" d="M5289.18,-539.41C5386.68,-540.57 5718.17,-541.6 5816,-504 5831.88,-497.89 5846.92,-486.27 5858.32,-475.76"/>
<polygon fill="black" stroke="black" stroke-width="2" points="5860.83,-478.21 5865.6,-468.75 5855.97,-473.17 5860.83,-478.21"/>
<text text-anchor="middle" x="6024.5" y="-492.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelCompleted))</text>
</g>
<!-- S192 -->
<g id="node12" class="node">
<title>S192</title>
<polygon fill="none" stroke="blue" stroke-width="2" points="4848,-384 4794,-384 4794,-348 4848,-348 4848,-384"/>
<text text-anchor="middle" x="4821" y="-362.3" font-family="Times,serif" font-size="14.00">S192</text>
</g>
<!-- S12&#45;&gt;S192 -->
<g id="edge11" class="edge">
<title>S12&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M3752.79,-438.46C3741.72,-427.64 3730.76,-412.58 3741,-402 3778.02,-363.76 4598.34,-365.82 4783.91,-366.77"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.97,-370.27 4793.99,-366.83 4784.01,-363.27 4783.97,-370.27"/>
<text text-anchor="middle" x="3949" y="-405.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelMustPassNotAnimating</text>
</g>
<!-- S14&#45;&gt;S192 -->
<g id="edge117" class="edge">
<title>S14&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M4160.22,-434.79C4158.92,-423.86 4159.52,-410.26 4168,-402 4190.15,-380.43 4647.48,-370.22 4783.29,-367.66"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.67,-371.16 4793.6,-367.47 4783.54,-364.16 4783.67,-371.16"/>
<text text-anchor="middle" x="4378.5" y="-405.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelMustPlaceNotAnimating</text>
</g>
<!-- S16&#45;&gt;S192 -->
<g id="edge118" class="edge">
<title>S16&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M4591.51,-435.07C4590.33,-424.26 4590.95,-410.69 4599,-402 4623.34,-375.73 4726.93,-369.14 4783.59,-367.51"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.69,-371.01 4793.6,-367.26 4783.51,-364.01 4783.69,-371.01"/>
<text text-anchor="middle" x="4811" y="-405.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelCompletedNotAnimating</text>
</g>
<!-- S65 -->
<g id="node13" class="node">
<title>S65</title>
<ellipse fill="none" stroke="black" cx="1204" cy="-279" rx="27" ry="18"/>
<text text-anchor="middle" x="1204" y="-275.3" font-family="Times,serif" font-size="14.00">S65</text>
</g>
<!-- S192&#45;&gt;S65 -->
<g id="edge12" class="edge">
<title>S192&#45;&gt;S65</title>
<path fill="none" stroke="black" stroke-width="2" d="M4793.6,-364.9C4480.65,-363.7 1588.82,-352.1 1411,-330 1348.77,-322.27 1278.12,-302.83 1237.54,-290.59"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1238.48,-287.22 1227.89,-287.65 1236.43,-293.92 1238.48,-287.22"/>
<text text-anchor="middle" x="1531.5" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?GameModelPlaceWorkItem</text>
</g>
<!-- S101 -->
<g id="node14" class="node">
<title>S101</title>
<ellipse fill="none" stroke="black" cx="3364" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="3364" y="-275.3" font-family="Times,serif" font-size="14.00">S101</text>
</g>
<!-- S192&#45;&gt;S101 -->
<g id="edge13" class="edge">
<title>S192&#45;&gt;S101</title>
<path fill="none" stroke="black" stroke-width="2" d="M4793.76,-365.06C4613.07,-365.35 3590.51,-365.44 3457,-330 3433.16,-323.67 3408.69,-310.18 3390.84,-298.81"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3392.43,-295.67 3382.14,-293.1 3388.58,-301.52 3392.43,-295.67"/>
<text text-anchor="middle" x="3575" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?GameModelPassWorkItem</text>
</g>
<!-- S104 -->
<g id="node15" class="node">
<title>S104</title>
<ellipse fill="none" stroke="black" cx="3981" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="3981" y="-275.3" font-family="Times,serif" font-size="14.00">S104</text>
</g>
<!-- S192&#45;&gt;S104 -->
<g id="edge14" class="edge">
<title>S192&#45;&gt;S104</title>
<path fill="none" stroke="black" stroke-width="2" d="M4793.96,-365.13C4634.91,-365.76 3826.87,-367.11 3791,-330 3786.37,-325.21 3786.62,-320.03 3791,-315 3810,-293.16 3891.66,-302.9 3920,-297 3928.59,-295.21 3937.75,-292.89 3946.29,-290.54"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3947.29,-293.89 3955.96,-287.79 3945.38,-287.15 3947.29,-293.89"/>
<text text-anchor="middle" x="3912" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?GameModelResetWorkItem</text>
</g>
<!-- S109 -->
<g id="node16" class="node">
<title>S109</title>
<ellipse fill="none" stroke="black" cx="4377" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="4377" y="-275.3" font-family="Times,serif" font-size="14.00">S109</text>
</g>
<!-- S192&#45;&gt;S109 -->
<g id="edge15" class="edge">
<title>S192&#45;&gt;S109</title>
<path fill="none" stroke="black" stroke-width="2" d="M4793.93,-364.75C4663.6,-363.44 4106.08,-356.29 4081,-330 4076.4,-325.18 4076.48,-319.9 4081,-315 4097.78,-296.81 4278.54,-300.78 4303,-297 4315.62,-295.05 4329.29,-292.14 4341.4,-289.28"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4342.26,-292.67 4351.15,-286.91 4340.61,-285.87 4342.26,-292.67"/>
<text text-anchor="middle" x="4230" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?AutoBkupGameModelPlaceWorkItem</text>
</g>
<!-- S112 -->
<g id="node17" class="node">
<title>S112</title>
<ellipse fill="none" stroke="black" cx="4821" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="4821" y="-275.3" font-family="Times,serif" font-size="14.00">S112</text>
</g>
<!-- S192&#45;&gt;S112 -->
<g id="edge16" class="edge">
<title>S192&#45;&gt;S112</title>
<path fill="none" stroke="black" stroke-width="2" d="M4793.72,-362.89C4753.37,-359.14 4680.83,-349.77 4665,-330 4632.52,-289.43 4725.88,-281.3 4781.99,-279.97"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4782.39,-283.47 4792.33,-279.79 4782.27,-276.47 4782.39,-283.47"/>
<text text-anchor="middle" x="4811" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?AutoBkupGameModelPassWorkItem</text>
</g>
<!-- S115 -->
<g id="node18" class="node">
<title>S115</title>
<ellipse fill="none" stroke="black" cx="5397" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="5397" y="-275.3" font-family="Times,serif" font-size="14.00">S115</text>
</g>
<!-- S192&#45;&gt;S115 -->
<g id="edge17" class="edge">
<title>S192&#45;&gt;S115</title>
<path fill="none" stroke="black" stroke-width="2" d="M4848.26,-365.3C4911.44,-365.39 5072.42,-362.15 5202,-330 5218.82,-325.83 5221.47,-320.22 5238,-315 5278.86,-302.1 5327.08,-292.21 5359.62,-286.28"/>
<polygon fill="black" stroke="black" stroke-width="2" points="5360.38,-289.7 5369.61,-284.5 5359.15,-282.81 5360.38,-289.7"/>
<text text-anchor="middle" x="5387" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?AutoBkupGameModelResetWorkItem</text>
</g>
<!-- S125 -->
<g id="node19" class="node">
<title>S125</title>
<ellipse fill="none" stroke="black" cx="6198" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="6198" y="-275.3" font-family="Times,serif" font-size="14.00">S125</text>
</g>
<!-- S192&#45;&gt;S125 -->
<g id="edge18" class="edge">
<title>S192&#45;&gt;S125</title>
<path fill="none" stroke="black" stroke-width="2" d="M4848.47,-364.92C4999.94,-364.37 5729.7,-360.15 5825,-330 5836.64,-326.32 5836.49,-319.06 5848,-315 5904.52,-295.08 6080.1,-285.13 6158.96,-281.57"/>
<polygon fill="black" stroke="black" stroke-width="2" points="6159.59,-285.05 6169.42,-281.11 6159.28,-278.06 6159.59,-285.05"/>
<text text-anchor="middle" x="5971" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?GameModelStateWorkItem1</text>
</g>
<!-- S130 -->
<g id="node20" class="node">
<title>S130</title>
<ellipse fill="none" stroke="black" cx="6310" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="6310" y="-275.3" font-family="Times,serif" font-size="14.00">S130</text>
</g>
<!-- S192&#45;&gt;S130 -->
<g id="edge19" class="edge">
<title>S192&#45;&gt;S130</title>
<path fill="none" stroke="black" stroke-width="2" d="M4848.11,-365.14C5021.47,-365.9 5971.33,-368.31 6094,-330 6105.65,-326.36 6105.6,-319.34 6117,-315 6166.99,-295.96 6183.45,-307 6236,-297 6248.32,-294.66 6261.7,-291.71 6273.66,-288.93"/>
<polygon fill="black" stroke="black" stroke-width="2" points="6274.8,-292.25 6283.73,-286.54 6273.19,-285.44 6274.8,-292.25"/>
<text text-anchor="middle" x="6240" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?GameModelStateWorkItem2</text>
</g>
<!-- S132 -->
<g id="node21" class="node">
<title>S132</title>
<ellipse fill="none" stroke="black" cx="6804" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="6804" y="-275.3" font-family="Times,serif" font-size="14.00">S132</text>
</g>
<!-- S192&#45;&gt;S132 -->
<g id="edge20" class="edge">
<title>S192&#45;&gt;S132</title>
<path fill="none" stroke="black" stroke-width="2" d="M4848.32,-365.06C5062.2,-365.48 6464.17,-366.8 6648,-330 6665.8,-326.44 6668.84,-320.92 6686,-315 6713.27,-305.59 6744.6,-296.37 6768.12,-289.76"/>
<polygon fill="black" stroke="black" stroke-width="2" points="6769.32,-293.06 6778.01,-287 6767.44,-286.32 6769.32,-293.06"/>
<text text-anchor="middle" x="6825.5" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?UserDefaultsModelStoreWorkItem</text>
</g>
<!-- S139 -->
<g id="node22" class="node">
<title>S139</title>
<ellipse fill="none" stroke="black" cx="7296" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="7296" y="-275.3" font-family="Times,serif" font-size="14.00">S139</text>
</g>
<!-- S192&#45;&gt;S139 -->
<g id="edge21" class="edge">
<title>S192&#45;&gt;S139</title>
<path fill="none" stroke="black" stroke-width="2" d="M4848.23,-365C5093.79,-364.95 6919.59,-363.47 7029,-330 7040.67,-326.43 7040.47,-319 7052,-315 7136.75,-285.63 7165.73,-317.7 7253,-297 7256.65,-296.13 7260.4,-295.02 7264.1,-293.77"/>
<polygon fill="black" stroke="black" stroke-width="2" points="7265.46,-297 7273.63,-290.25 7263.04,-290.43 7265.46,-297"/>
<text text-anchor="middle" x="7199.5" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?AutoBkupGameModelStateWorkItem</text>
</g>
<!-- S143 -->
<g id="node23" class="node">
<title>S143</title>
<ellipse fill="none" stroke="black" cx="7568" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="7568" y="-275.3" font-family="Times,serif" font-size="14.00">S143</text>
</g>
<!-- S192&#45;&gt;S143 -->
<g id="edge22" class="edge">
<title>S192&#45;&gt;S143</title>
<path fill="none" stroke="black" stroke-width="2" d="M4848.16,-365.06C5114.02,-365.6 7244.89,-368.74 7372,-330 7383.67,-326.44 7383.71,-319.63 7395,-315 7439.26,-296.87 7493.87,-287.84 7529.74,-283.55"/>
<polygon fill="black" stroke="black" stroke-width="2" points="7530.25,-287.01 7539.79,-282.41 7529.46,-280.06 7530.25,-287.01"/>
<text text-anchor="middle" x="7542.5" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?AnimatedGameModelPlaceWorkItem</text>
</g>
<!-- S146 -->
<g id="node24" class="node">
<title>S146</title>
<ellipse fill="none" stroke="black" cx="8187" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="8187" y="-275.3" font-family="Times,serif" font-size="14.00">S146</text>
</g>
<!-- S192&#45;&gt;S146 -->
<g id="edge23" class="edge">
<title>S192&#45;&gt;S146</title>
<path fill="none" stroke="black" stroke-width="2" d="M4848.37,-365C5149.24,-364.95 7832.92,-363.55 7996,-330 8012.98,-326.51 8015.48,-320.26 8032,-315 8071.44,-302.43 8117.89,-292.58 8149.59,-286.57"/>
<polygon fill="black" stroke="black" stroke-width="2" points="8150.55,-289.95 8159.74,-284.68 8149.27,-283.07 8150.55,-289.95"/>
<text text-anchor="middle" x="8177" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?AnimatedGameModelPassWorkItem</text>
</g>
<!-- S149 -->
<g id="node25" class="node">
<title>S149</title>
<ellipse fill="none" stroke="black" cx="8818" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="8818" y="-275.3" font-family="Times,serif" font-size="14.00">S149</text>
</g>
<!-- S192&#45;&gt;S149 -->
<g id="edge24" class="edge">
<title>S192&#45;&gt;S149</title>
<path fill="none" stroke="black" stroke-width="2" d="M4848.16,-365.06C5179.17,-365.73 8427.78,-371.22 8624,-330 8640.56,-326.52 8642.89,-320.18 8659,-315 8699.8,-301.9 8748.03,-292.04 8780.59,-286.18"/>
<polygon fill="black" stroke="black" stroke-width="2" points="8781.34,-289.6 8790.58,-284.42 8780.12,-282.71 8781.34,-289.6"/>
<text text-anchor="middle" x="8807" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?AnimatedGameModelResetWorkItem</text>
</g>
<!-- S166 -->
<g id="node26" class="node">
<title>S166</title>
<ellipse fill="none" stroke="black" cx="9264" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="9264" y="-275.3" font-family="Times,serif" font-size="14.00">S166</text>
</g>
<!-- S192&#45;&gt;S166 -->
<g id="edge25" class="edge">
<title>S192&#45;&gt;S166</title>
<path fill="none" stroke="black" stroke-width="2" d="M4848.18,-365.05C5218.88,-365.73 9258.19,-372.13 9300,-330 9309.24,-320.68 9301.36,-308.81 9290.64,-298.98"/>
<polygon fill="black" stroke="black" stroke-width="2" points="9292.86,-296.27 9282.94,-292.55 9288.37,-301.64 9292.86,-296.27"/>
<text text-anchor="middle" x="9489" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?AnimatedGameModeMarkAnimationAsCompleted</text>
</g>
<!-- S189 -->
<g id="node27" class="node">
<title>S189</title>
<ellipse fill="none" stroke="black" cx="10556" cy="-279" rx="28.7" ry="18"/>
<text text-anchor="middle" x="10556" y="-275.3" font-family="Times,serif" font-size="14.00">S189</text>
</g>
<!-- S192&#45;&gt;S189 -->
<g id="edge26" class="edge">
<title>S192&#45;&gt;S189</title>
<path fill="none" stroke="black" stroke-width="2" d="M4848.26,-365.01C5233.48,-365.16 9580.87,-366.05 10145,-330 10283.45,-321.15 10446.76,-297.22 10518.74,-285.99"/>
<polygon fill="black" stroke="black" stroke-width="2" points="10519.35,-289.43 10528.68,-284.42 10518.26,-282.52 10519.35,-289.43"/>
<text text-anchor="middle" x="10434" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue?BoardAnimationStateWorkItem</text>
</g>
<!-- S33 -->
<g id="node28" class="node">
<title>S33</title>
<ellipse fill="none" stroke="black" cx="1409" cy="-192" rx="27" ry="18"/>
<text text-anchor="middle" x="1409" y="-188.3" font-family="Times,serif" font-size="14.00">S33</text>
</g>
<!-- S65&#45;&gt;S33 -->
<g id="edge27" class="edge">
<title>S65&#45;&gt;S33</title>
<path fill="none" stroke="black" stroke-width="2" d="M1230.84,-276.22C1276.63,-272.67 1367.23,-263.23 1391,-243 1397.79,-237.22 1402.02,-228.67 1404.66,-220.27"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1408.12,-220.85 1407.14,-210.3 1401.33,-219.16 1408.12,-220.85"/>
<text text-anchor="middle" x="1530.5" y="-231.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelCompleted))</text>
</g>
<!-- S35 -->
<g id="node29" class="node">
<title>S35</title>
<ellipse fill="none" stroke="black" cx="1072" cy="-192" rx="27" ry="18"/>
<text text-anchor="middle" x="1072" y="-188.3" font-family="Times,serif" font-size="14.00">S35</text>
</g>
<!-- S65&#45;&gt;S35 -->
<g id="edge28" class="edge">
<title>S65&#45;&gt;S35</title>
<path fill="none" stroke="black" stroke-width="2" d="M1176.89,-277.12C1102.41,-274.41 898.79,-265.03 879,-243 874.55,-238.04 874.57,-232.98 879,-228 901.59,-202.57 998.09,-218.6 1031,-210 1034.38,-209.12 1037.85,-208.01 1041.28,-206.79"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1042.63,-210.02 1050.68,-203.14 1040.09,-203.5 1042.63,-210.02"/>
<text text-anchor="middle" x="1004" y="-231.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelMustPass))</text>
</g>
<!-- S63 -->
<g id="node30" class="node">
<title>S63</title>
<ellipse fill="none" stroke="black" cx="1144" cy="-192" rx="27" ry="18"/>
<text text-anchor="middle" x="1144" y="-188.3" font-family="Times,serif" font-size="14.00">S63</text>
</g>
<!-- S65&#45;&gt;S63 -->
<g id="edge29" class="edge">
<title>S65&#45;&gt;S63</title>
<path fill="none" stroke="black" stroke-width="2" d="M1178.7,-272.08C1163.46,-267.07 1145.27,-258.19 1136,-243 1131.69,-235.93 1131.63,-227.29 1133.29,-219.2"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1136.7,-219.97 1136.1,-209.39 1129.98,-218.04 1136.7,-219.97"/>
<text text-anchor="middle" x="1263.5" y="-231.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelMustPlace))</text>
</g>
<!-- S69 -->
<g id="node41" class="node">
<title>S69</title>
<ellipse fill="none" stroke="black" cx="3479" cy="-192" rx="27" ry="18"/>
<text text-anchor="middle" x="3479" y="-188.3" font-family="Times,serif" font-size="14.00">S69</text>
</g>
<!-- S101&#45;&gt;S69 -->
<g id="edge49" class="edge">
<title>S101&#45;&gt;S69</title>
<path fill="none" stroke="black" stroke-width="2" d="M3335.3,-277.55C3254.36,-275.79 3032.51,-267.37 3070,-228 3098.23,-198.35 3398.06,-218.97 3438,-210 3441.41,-209.23 3444.9,-208.2 3448.34,-207.03"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3449.66,-210.27 3457.75,-203.43 3447.16,-203.73 3449.66,-210.27"/>
<text text-anchor="middle" x="3198.5" y="-231.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelCompleted))</text>
</g>
<!-- S97 -->
<g id="node42" class="node">
<title>S97</title>
<ellipse fill="none" stroke="black" cx="3627" cy="-192" rx="27" ry="18"/>
<text text-anchor="middle" x="3627" y="-188.3" font-family="Times,serif" font-size="14.00">S97</text>
</g>
<!-- S101&#45;&gt;S97 -->
<g id="edge50" class="edge">
<title>S101&#45;&gt;S97</title>
<path fill="none" stroke="black" stroke-width="2" d="M3392.51,-277.25C3448.9,-275.24 3572.11,-268.02 3605,-243 3612.57,-237.24 3617.58,-228.33 3620.88,-219.61"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3624.24,-220.62 3623.93,-210.03 3617.56,-218.5 3624.24,-220.62"/>
<text text-anchor="middle" x="3742" y="-231.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelMustPass))</text>
</g>
<!-- S100 -->
<g id="node43" class="node">
<title>S100</title>
<ellipse fill="none" stroke="black" cx="3553" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="3553" y="-188.3" font-family="Times,serif" font-size="14.00">S100</text>
</g>
<!-- S101&#45;&gt;S100 -->
<g id="edge51" class="edge">
<title>S101&#45;&gt;S100</title>
<path fill="none" stroke="black" stroke-width="2" d="M3352.79,-262.29C3346.55,-251.47 3341.57,-237.4 3350,-228 3374.63,-200.54 3479.4,-219.65 3515,-210 3517.3,-209.38 3519.63,-208.63 3521.95,-207.81"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3523.32,-211.03 3531.32,-204.09 3520.74,-204.53 3523.32,-211.03"/>
<text text-anchor="middle" x="3477.5" y="-231.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelMustPlace))</text>
</g>
<!-- S106 -->
<g id="node54" class="node">
<title>S106</title>
<ellipse fill="none" stroke="black" cx="4502" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="4502" y="-188.3" font-family="Times,serif" font-size="14.00">S106</text>
</g>
<!-- S104&#45;&gt;S106 -->
<g id="edge71" class="edge">
<title>S104&#45;&gt;S106</title>
<path fill="none" stroke="black" stroke-width="2" d="M3979.12,-261.01C3978.92,-249.89 3980.81,-235.98 3990,-228 4009.68,-210.89 4433.48,-215.37 4459,-210 4462.67,-209.23 4466.44,-208.17 4470.14,-206.96"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4471.49,-210.19 4479.68,-203.48 4469.09,-203.62 4471.49,-210.19"/>
<text text-anchor="middle" x="4108" y="-231.8" font-family="Times,serif" font-size="14.00">gameModelState = GameModelMustPlace</text>
</g>
<!-- S109&#45;&gt;S192 -->
<g id="edge73" class="edge">
<title>S109&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M4384.83,-296.47C4391.23,-307.96 4401.44,-322.53 4415,-330 4477.82,-364.6 4695.82,-366.35 4783.77,-365.58"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.87,-369.08 4793.84,-365.47 4783.8,-362.08 4783.87,-369.08"/>
<text text-anchor="middle" x="4535" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelPlaceWorkItem</text>
</g>
<!-- S112&#45;&gt;S192 -->
<g id="edge74" class="edge">
<title>S112&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M4849.68,-280.74C4897.65,-283.03 4986.21,-292.32 4957,-330 4944.97,-345.52 4894.22,-355.37 4858.25,-360.54"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4857.52,-357.1 4848.08,-361.93 4858.47,-364.04 4857.52,-357.1"/>
<text text-anchor="middle" x="5080.5" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelPassWorkItem</text>
</g>
<!-- S115&#45;&gt;S192 -->
<g id="edge75" class="edge">
<title>S115&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M5425.47,-281.15C5475.29,-284.1 5569.87,-294.43 5536,-330 5512.43,-354.75 5001.35,-362.81 4858.05,-364.59"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4857.96,-361.09 4848,-364.71 4858.04,-368.09 4857.96,-361.09"/>
<text text-anchor="middle" x="5663.5" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelResetWorkItem</text>
</g>
<!-- S118 -->
<g id="node55" class="node">
<title>S118</title>
<ellipse fill="none" stroke="black" cx="6417" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="6417" y="-188.3" font-family="Times,serif" font-size="14.00">S118</text>
</g>
<!-- S125&#45;&gt;S118 -->
<g id="edge76" class="edge">
<title>S125&#45;&gt;S118</title>
<path fill="none" stroke="black" stroke-width="2" d="M6224.24,-271.28C6238.33,-267.85 6256.03,-263.81 6272,-261 6304.2,-255.33 6396.34,-267.49 6418,-243 6423.5,-236.78 6424.75,-228.23 6424.16,-219.96"/>
<polygon fill="black" stroke="black" stroke-width="2" points="6427.58,-219.18 6422.61,-209.83 6420.66,-220.24 6427.58,-219.18"/>
<text text-anchor="middle" x="6548" y="-231.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelMustPass))</text>
</g>
<!-- S120 -->
<g id="node56" class="node">
<title>S120</title>
<ellipse fill="none" stroke="black" cx="6762" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="6762" y="-188.3" font-family="Times,serif" font-size="14.00">S120</text>
</g>
<!-- S125&#45;&gt;S120 -->
<g id="edge77" class="edge">
<title>S125&#45;&gt;S120</title>
<path fill="none" stroke="black" stroke-width="2" d="M6223.82,-270.86C6237.94,-267.26 6255.8,-263.2 6272,-261 6361.27,-248.86 6590.62,-268.59 6677,-243 6698.61,-236.6 6720.47,-223.56 6736.61,-212.4"/>
<polygon fill="black" stroke="black" stroke-width="2" points="6738.84,-215.11 6744.95,-206.45 6734.77,-209.41 6738.84,-215.11"/>
<text text-anchor="middle" x="6838.5" y="-231.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelMustPlace))</text>
</g>
<!-- S122 -->
<g id="node57" class="node">
<title>S122</title>
<ellipse fill="none" stroke="black" cx="6105" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="6105" y="-188.3" font-family="Times,serif" font-size="14.00">S122</text>
</g>
<!-- S125&#45;&gt;S122 -->
<g id="edge78" class="edge">
<title>S125&#45;&gt;S122</title>
<path fill="none" stroke="black" stroke-width="2" d="M6182.22,-263.58C6167.44,-250.07 6145.15,-229.7 6128.31,-214.31"/>
<polygon fill="black" stroke="black" stroke-width="2" points="6130.29,-211.37 6120.54,-207.21 6125.56,-216.54 6130.29,-211.37"/>
<text text-anchor="middle" x="6285.5" y="-231.8" font-family="Times,serif" font-size="14.00">((gameModelState==GameModelCompleted))</text>
</g>
<!-- S130&#45;&gt;S192 -->
<g id="edge83" class="edge">
<title>S130&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M6333.12,-289.9C6353.21,-299.81 6377.06,-315.62 6363,-330 6335.85,-357.77 5090.86,-363.95 4858.23,-364.87"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.21,-361.37 4848.22,-364.91 4858.24,-368.37 4858.21,-361.37"/>
<text text-anchor="middle" x="6505.5" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue!UserDefaultsModelStoreWorkItem</text>
</g>
<!-- S132&#45;&gt;S192 -->
<g id="edge84" class="edge">
<title>S132&#45;&gt;S192</title>
<path fill="none" stroke="black" d="M6832.59,-280.2C6888.89,-281.48 7005.33,-289 6965,-330 6926.54,-369.1 5141.16,-365.87 4858.51,-365.11"/>
<polygon fill="black" stroke="black" points="4858.37,-361.61 4848.36,-365.08 4858.35,-368.61 4858.37,-361.61"/>
<text text-anchor="middle" x="6981" y="-318.8" font-family="Times,serif" font-size="14.00">(1)</text>
</g>
<!-- S136 -->
<g id="node59" class="node">
<title>S136</title>
<ellipse fill="none" stroke="black" cx="7008" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="7008" y="-188.3" font-family="Times,serif" font-size="14.00">S136</text>
</g>
<!-- S139&#45;&gt;S136 -->
<g id="edge85" class="edge">
<title>S139&#45;&gt;S136</title>
<path fill="none" stroke="black" stroke-width="2" d="M7273.63,-267.74C7267.11,-265.14 7259.88,-262.62 7253,-261 7207.84,-250.36 7085.49,-265.65 7045,-243 7034.86,-237.33 7026.71,-227.59 7020.66,-218.2"/>
<polygon fill="black" stroke="black" stroke-width="2" points="7023.6,-216.3 7015.52,-209.46 7017.57,-219.85 7023.6,-216.3"/>
<text text-anchor="middle" x="7177.5" y="-231.8" font-family="Times,serif" font-size="14.00">boardAnimationState = BoardAnimationPlacing</text>
</g>
<!-- S138 -->
<g id="node60" class="node">
<title>S138</title>
<ellipse fill="none" stroke="black" cx="7339" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="7339" y="-188.3" font-family="Times,serif" font-size="14.00">S138</text>
</g>
<!-- S139&#45;&gt;S138 -->
<g id="edge86" class="edge">
<title>S139&#45;&gt;S138</title>
<path fill="none" stroke="black" stroke-width="2" d="M7304.29,-261.61C7310.48,-249.38 7319.05,-232.44 7326.12,-218.46"/>
<polygon fill="black" stroke="black" stroke-width="2" points="7329.34,-219.84 7330.73,-209.34 7323.1,-216.68 7329.34,-219.84"/>
<text text-anchor="middle" x="7331" y="-231.8" font-family="Times,serif" font-size="14.00">else</text>
</g>
<!-- S143&#45;&gt;S192 -->
<g id="edge89" class="edge">
<title>S143&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M7596.37,-282.3C7641.12,-286.91 7720.08,-299.55 7690,-330 7663.89,-356.43 5192.99,-364 4858.35,-364.9"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.2,-361.4 4848.21,-364.93 4858.22,-368.4 4858.2,-361.4"/>
<text text-anchor="middle" x="7844" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue!AutoBkupGameModelPlaceWorkItem</text>
</g>
<!-- S146&#45;&gt;S192 -->
<g id="edge90" class="edge">
<title>S146&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M8215.57,-281.5C8264.39,-285 8355.5,-296.17 8322,-330 8289.88,-362.45 5231.36,-364.82 4858.17,-364.99"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.15,-361.49 4848.15,-364.99 4858.16,-368.49 4858.15,-361.49"/>
<text text-anchor="middle" x="8474.5" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue!AutoBkupGameModelPassWorkItem</text>
</g>
<!-- S149&#45;&gt;S192 -->
<g id="edge91" class="edge">
<title>S149&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M8846.6,-281.39C8896.03,-284.73 8989.05,-295.66 8955,-330 8916.84,-368.48 5268.47,-365.5 4858.37,-365.05"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.23,-361.55 4848.23,-365.03 4858.22,-368.55 4858.23,-361.55"/>
<text text-anchor="middle" x="9110.5" y="-318.8" font-family="Times,serif" font-size="14.00">dispatchQueue!AutoBkupGameModelResetWorkItem</text>
</g>
<!-- S152 -->
<g id="node61" class="node">
<title>S152</title>
<ellipse fill="none" stroke="black" cx="9634" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="9634" y="-188.3" font-family="Times,serif" font-size="14.00">S152</text>
</g>
<!-- S166&#45;&gt;S152 -->
<g id="edge92" class="edge">
<title>S166&#45;&gt;S152</title>
<path fill="none" stroke="black" stroke-width="2" d="M9292.3,-276.35C9330.63,-273.34 9400.6,-265.07 9456,-243 9467.34,-238.48 9467.76,-232.75 9479,-228 9517.01,-211.93 9563.52,-202.69 9595.62,-197.78"/>
<polygon fill="black" stroke="black" stroke-width="2" points="9596.53,-201.19 9605.92,-196.28 9595.52,-194.26 9596.53,-201.19"/>
<text text-anchor="middle" x="9640" y="-231.8" font-family="Times,serif" font-size="14.00">((boardAnimationState==BoardAnimationNotAnimating))</text>
</g>
<!-- S154 -->
<g id="node62" class="node">
<title>S154</title>
<ellipse fill="none" stroke="black" cx="8798" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="8798" y="-188.3" font-family="Times,serif" font-size="14.00">S154</text>
</g>
<!-- S166&#45;&gt;S154 -->
<g id="edge93" class="edge">
<title>S166&#45;&gt;S154</title>
<path fill="none" stroke="black" stroke-width="2" d="M9236.05,-274.74C9204.5,-271.13 9151.6,-265.24 9106,-261 9003.9,-251.51 8973.2,-275.65 8876,-243 8856.5,-236.45 8837.01,-223.96 8822.4,-213.11"/>
<polygon fill="black" stroke="black" stroke-width="2" points="8824.45,-210.28 8814.39,-206.96 8820.19,-215.83 8824.45,-210.28"/>
<text text-anchor="middle" x="9017.5" y="-231.8" font-family="Times,serif" font-size="14.00">((boardAnimationState==BoardAnimationPlacing))</text>
</g>
<!-- S164 -->
<g id="node63" class="node">
<title>S164</title>
<ellipse fill="none" stroke="black" cx="9237" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="9237" y="-188.3" font-family="Times,serif" font-size="14.00">S164</text>
</g>
<!-- S166&#45;&gt;S164 -->
<g id="edge94" class="edge">
<title>S166&#45;&gt;S164</title>
<path fill="none" stroke="black" stroke-width="2" d="M9235.36,-276.21C9212.68,-273.11 9182.33,-264.83 9167,-243 9154.68,-225.46 9178.17,-211.87 9201.19,-203.32"/>
<polygon fill="black" stroke="black" stroke-width="2" points="9202.61,-206.53 9210.92,-199.97 9200.33,-199.92 9202.61,-206.53"/>
<text text-anchor="middle" x="9311.5" y="-231.8" font-family="Times,serif" font-size="14.00">((boardAnimationState==BoardAnimationFlipping))</text>
</g>
<!-- S176 -->
<g id="node67" class="node">
<title>S176</title>
<ellipse fill="none" stroke="black" cx="11573" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="11573" y="-188.3" font-family="Times,serif" font-size="14.00">S176</text>
</g>
<!-- S189&#45;&gt;S176 -->
<g id="edge102" class="edge">
<title>S189&#45;&gt;S176</title>
<path fill="none" stroke="black" stroke-width="2" d="M10584.45,-276.83C10668.85,-273.25 10925.1,-261.52 11137,-243 11284.7,-230.09 11459.78,-207.92 11535.27,-198.02"/>
<polygon fill="black" stroke="black" stroke-width="2" points="11535.79,-201.48 11545.25,-196.71 11534.88,-194.54 11535.79,-201.48"/>
<text text-anchor="middle" x="11442" y="-231.8" font-family="Times,serif" font-size="14.00">((boardAnimationState==BoardAnimationNotAnimating))</text>
</g>
<!-- S185 -->
<g id="node68" class="node">
<title>S185</title>
<ellipse fill="none" stroke="black" cx="10556" cy="-192" rx="28.7" ry="18"/>
<text text-anchor="middle" x="10556" y="-188.3" font-family="Times,serif" font-size="14.00">S185</text>
</g>
<!-- S189&#45;&gt;S185 -->
<g id="edge103" class="edge">
<title>S189&#45;&gt;S185</title>
<path fill="none" stroke="black" stroke-width="2" d="M10556,-260.8C10556,-249.16 10556,-233.55 10556,-220.24"/>
<polygon fill="black" stroke="black" stroke-width="2" points="10559.5,-220.18 10556,-210.18 10552.5,-220.18 10559.5,-220.18"/>
<text text-anchor="middle" x="10844.5" y="-231.8" font-family="Times,serif" font-size="14.00">(((boardAnimationState==BoardAnimationPlacing)||(boardAnimationState==BoardAnimationFlipping)))</text>
</g>
<!-- S33&#45;&gt;S192 -->
<g id="edge30" class="edge">
<title>S33&#45;&gt;S192</title>
<path fill="none" stroke="black" d="M1430.28,-203.28C1436.51,-205.89 1443.41,-208.4 1450,-210 1496.16,-221.23 1626.88,-197.15 1663,-228 1687.02,-248.51 1669.27,-267.29 1680,-297 1685.54,-312.33 1682.24,-321.27 1696,-330 1730.28,-351.74 4433.19,-363.43 4783.69,-364.85"/>
<polygon fill="black" stroke="black" points="4783.81,-368.35 4793.83,-364.89 4783.84,-361.35 4783.81,-368.35"/>
<text text-anchor="middle" x="1688" y="-275.3" font-family="Times,serif" font-size="14.00">(1)</text>
</g>
<!-- S35&#45;&gt;S192 -->
<g id="edge31" class="edge">
<title>S35&#45;&gt;S192</title>
<path fill="none" stroke="black" d="M1050.69,-203.16C1044.46,-205.76 1037.57,-208.3 1031,-210 996.57,-218.9 895.69,-201.48 872,-228 867.56,-232.97 867.76,-237.86 872,-243 880.14,-252.86 1255.89,-322.99 1327,-330 1688.31,-365.6 4429.3,-365.22 4783.37,-365.03"/>
<polygon fill="black" stroke="black" points="4783.6,-368.53 4793.6,-365.02 4783.59,-361.53 4783.6,-368.53"/>
<text text-anchor="middle" x="1133" y="-275.3" font-family="Times,serif" font-size="14.00">(1)</text>
</g>
<!-- S44 -->
<g id="node31" class="node">
<title>S44</title>
<ellipse fill="none" stroke="black" cx="580" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="580" y="-101.3" font-family="Times,serif" font-size="14.00">S44</text>
</g>
<!-- S63&#45;&gt;S44 -->
<g id="edge32" class="edge">
<title>S63&#45;&gt;S44</title>
<path fill="none" stroke="black" stroke-width="2" d="M1123.54,-179.81C1118.58,-177.53 1113.2,-175.41 1108,-174 1018.42,-149.81 992.12,-167.17 900,-156 796.52,-143.45 675.12,-122.86 616,-112.45"/>
<polygon fill="black" stroke="black" stroke-width="2" points="616.5,-108.99 606.05,-110.69 615.29,-115.88 616.5,-108.99"/>
<text text-anchor="middle" x="1015.5" y="-144.8" font-family="Times,serif" font-size="14.00">gameModelState = GameModelMustPass</text>
</g>
<!-- S52 -->
<g id="node32" class="node">
<title>S52</title>
<ellipse fill="none" stroke="black" cx="1135" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="1135" y="-101.3" font-family="Times,serif" font-size="14.00">S52</text>
</g>
<!-- S63&#45;&gt;S52 -->
<g id="edge33" class="edge">
<title>S63&#45;&gt;S52</title>
<path fill="none" stroke="black" stroke-width="2" d="M1139.39,-174.03C1138.04,-168.35 1136.73,-161.94 1136,-156 1135.1,-148.7 1134.69,-140.77 1134.54,-133.41"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1138.04,-133.17 1134.48,-123.19 1131.04,-133.21 1138.04,-133.17"/>
<text text-anchor="middle" x="1254" y="-144.8" font-family="Times,serif" font-size="14.00">gameModelState = GameModelMustPlace</text>
</g>
<!-- S60 -->
<g id="node33" class="node">
<title>S60</title>
<ellipse fill="none" stroke="black" cx="1504" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="1504" y="-101.3" font-family="Times,serif" font-size="14.00">S60</text>
</g>
<!-- S63&#45;&gt;S60 -->
<g id="edge34" class="edge">
<title>S63&#45;&gt;S60</title>
<path fill="none" stroke="black" stroke-width="2" d="M1171.12,-190.6C1220.02,-189.19 1325.71,-182.98 1410,-156 1433.69,-148.42 1458.44,-134.99 1476.6,-123.96"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1478.81,-126.71 1485.45,-118.46 1475.11,-120.77 1478.81,-126.71"/>
<text text-anchor="middle" x="1565" y="-144.8" font-family="Times,serif" font-size="14.00">gameModelState = GameModelCompleted</text>
</g>
<!-- S62 -->
<g id="node34" class="node">
<title>S62</title>
<ellipse fill="none" stroke="black" cx="1394" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="1394" y="-101.3" font-family="Times,serif" font-size="14.00">S62</text>
</g>
<!-- S63&#45;&gt;S62 -->
<g id="edge35" class="edge">
<title>S63&#45;&gt;S62</title>
<path fill="none" stroke="black" stroke-width="2" d="M1170.98,-190.05C1224.35,-187.67 1340.94,-179.82 1372,-156 1379.55,-150.21 1384.55,-141.29 1387.86,-132.57"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1391.21,-133.59 1390.91,-123 1384.54,-131.47 1391.21,-133.59"/>
<text text-anchor="middle" x="1395" y="-144.8" font-family="Times,serif" font-size="14.00">else</text>
</g>
<!-- S39 -->
<g id="node35" class="node">
<title>S39</title>
<ellipse fill="none" stroke="black" cx="157" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="157" y="-14.3" font-family="Times,serif" font-size="14.00">S39</text>
</g>
<!-- S44&#45;&gt;S39 -->
<g id="edge36" class="edge">
<title>S44&#45;&gt;S39</title>
<path fill="none" stroke="black" stroke-width="2" d="M553.27,-102.2C504.45,-98.54 397.83,-88.86 310,-69 267.51,-59.39 220.04,-42.95 189.41,-31.55"/>
<polygon fill="black" stroke="black" stroke-width="2" points="190.29,-28.14 179.69,-27.9 187.82,-34.7 190.29,-28.14"/>
<text text-anchor="middle" x="432" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S41 -->
<g id="node36" class="node">
<title>S41</title>
<ellipse fill="none" stroke="black" cx="430" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="430" y="-14.3" font-family="Times,serif" font-size="14.00">S41</text>
</g>
<!-- S44&#45;&gt;S41 -->
<g id="edge37" class="edge">
<title>S44&#45;&gt;S41</title>
<path fill="none" stroke="black" stroke-width="2" d="M576.47,-86.89C573.37,-76.01 567.77,-62.42 558,-54 532.71,-32.19 495.01,-23.86 467.07,-20.73"/>
<polygon fill="black" stroke="black" stroke-width="2" points="467.17,-17.23 456.88,-19.77 466.51,-24.19 467.17,-17.23"/>
<text text-anchor="middle" x="691" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S47 -->
<g id="node37" class="node">
<title>S47</title>
<ellipse fill="none" stroke="black" cx="866" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="866" y="-14.3" font-family="Times,serif" font-size="14.00">S47</text>
</g>
<!-- S52&#45;&gt;S47 -->
<g id="edge40" class="edge">
<title>S52&#45;&gt;S47</title>
<path fill="none" stroke="black" stroke-width="2" d="M1108.13,-101.95C1056.7,-97.67 946.46,-86.69 913,-69 901.15,-62.74 890.64,-52.32 882.58,-42.61"/>
<polygon fill="black" stroke="black" stroke-width="2" points="885.33,-40.45 876.41,-34.73 879.82,-44.76 885.33,-40.45"/>
<text text-anchor="middle" x="1035" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S49 -->
<g id="node38" class="node">
<title>S49</title>
<ellipse fill="none" stroke="black" cx="1282" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="1282" y="-14.3" font-family="Times,serif" font-size="14.00">S49</text>
</g>
<!-- S52&#45;&gt;S49 -->
<g id="edge41" class="edge">
<title>S52&#45;&gt;S49</title>
<path fill="none" stroke="black" stroke-width="2" d="M1144.64,-87.98C1151.99,-77.01 1163.04,-62.89 1176,-54 1196.97,-39.61 1224.29,-30.78 1245.94,-25.58"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1246.77,-28.99 1255.76,-23.38 1245.23,-22.16 1246.77,-28.99"/>
<text text-anchor="middle" x="1298" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S55 -->
<g id="node39" class="node">
<title>S55</title>
<ellipse fill="none" stroke="black" cx="1564" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="1564" y="-14.3" font-family="Times,serif" font-size="14.00">S55</text>
</g>
<!-- S60&#45;&gt;S55 -->
<g id="edge44" class="edge">
<title>S60&#45;&gt;S55</title>
<path fill="none" stroke="black" stroke-width="2" d="M1485.34,-91.74C1472.37,-81.66 1458.92,-66.97 1468,-54 1481.29,-35.01 1506.01,-26.29 1527.04,-22.3"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1527.68,-25.74 1537,-20.7 1526.57,-18.83 1527.68,-25.74"/>
<text text-anchor="middle" x="1590" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S57 -->
<g id="node40" class="node">
<title>S57</title>
<ellipse fill="none" stroke="black" cx="1902" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="1902" y="-14.3" font-family="Times,serif" font-size="14.00">S57</text>
</g>
<!-- S60&#45;&gt;S57 -->
<g id="edge45" class="edge">
<title>S60&#45;&gt;S57</title>
<path fill="none" stroke="black" stroke-width="2" d="M1530.41,-100.34C1570.06,-94.67 1647.2,-82.95 1712,-69 1767.02,-57.16 1830.04,-39.81 1867.89,-28.97"/>
<polygon fill="black" stroke="black" stroke-width="2" points="1869.23,-32.23 1877.88,-26.1 1867.3,-25.5 1869.23,-32.23"/>
<text text-anchor="middle" x="1898" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S62&#45;&gt;S192 -->
<g id="edge48" class="edge">
<title>S62&#45;&gt;S192</title>
<path fill="none" stroke="black" d="M1418.83,-112.65C1433.12,-116.23 1451.46,-120.44 1468,-123 1516.47,-130.51 1643.65,-120.05 1688,-141 1771.79,-180.57 1700.52,-276.25 1776,-330 1808.18,-352.92 4437.53,-363.56 4783.57,-364.86"/>
<polygon fill="black" stroke="black" points="4783.57,-368.36 4793.58,-364.9 4783.6,-361.36 4783.57,-368.36"/>
<text text-anchor="middle" x="1744" y="-231.8" font-family="Times,serif" font-size="14.00">(1)</text>
</g>
<!-- S39&#45;&gt;S192 -->
<g id="edge38" class="edge">
<title>S39&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M130.37,-21.38C85.57,-27.01 0,-45.42 0,-104 0,-280 0,-280 0,-280 0,-413.42 163.09,-318.34 296,-330 768.59,-371.47 4377.81,-365.84 4783.87,-365.07"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.92,-368.57 4793.91,-365.06 4783.91,-361.57 4783.92,-368.57"/>
<text text-anchor="middle" x="122" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S41&#45;&gt;S192 -->
<g id="edge39" class="edge">
<title>S41&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M402.94,-18.41C372.4,-19.26 323.18,-25.43 294,-54 277.51,-70.14 280,-80.92 280,-104 280,-280 280,-280 280,-280 280,-418.23 761.91,-323.82 900,-330 1713.61,-366.39 4431.63,-365.33 4783.38,-365.04"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.55,-368.54 4793.55,-365.03 4783.54,-361.54 4783.55,-368.54"/>
<text text-anchor="middle" x="402" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S47&#45;&gt;S192 -->
<g id="edge42" class="edge">
<title>S47&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M851.84,-33.57C821.67,-66.44 756.59,-148.32 792,-210 891.85,-383.93 1026.83,-317.51 1227,-330 1600.2,-353.28 4425.45,-363.65 4783.69,-364.88"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.78,-368.38 4793.79,-364.91 4783.81,-361.38 4783.78,-368.38"/>
<text text-anchor="middle" x="914" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S49&#45;&gt;S192 -->
<g id="edge43" class="edge">
<title>S49&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M1309.13,-19.29C1339.35,-20.97 1388.15,-27.94 1420,-54 1458.93,-85.85 1436.12,-117.94 1469,-156 1497.04,-188.46 1508.91,-194.74 1549,-210 1605.16,-231.37 1631.51,-197.02 1683,-228 1730.77,-256.74 1706.57,-304.23 1756,-330 1826.51,-366.76 4438.74,-365.38 4783.56,-365.04"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.77,-368.54 4793.77,-365.03 4783.76,-361.54 4783.77,-368.54"/>
<text text-anchor="middle" x="1671" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S55&#45;&gt;S192 -->
<g id="edge46" class="edge">
<title>S55&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M1590.88,-20.27C1680.75,-24.66 1965.82,-39.66 1979,-54 2049.51,-130.71 1746.37,-123.2 1804,-210 1880.02,-324.5 1954.46,-301.93 2089,-330 2227.03,-358.79 4465.96,-364.29 4783.63,-364.93"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.7,-368.43 4793.7,-364.95 4783.71,-361.43 4783.7,-368.43"/>
<text text-anchor="middle" x="1926" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S57&#45;&gt;S192 -->
<g id="edge47" class="edge">
<title>S57&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M1928.99,-20.58C1976.48,-24.98 2070,-41.57 2070,-104 2070,-280 2070,-280 2070,-280 2070,-398.96 2484.21,-323.5 2603,-330 3052.23,-354.58 4528.99,-363.45 4783.49,-364.81"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.67,-368.31 4793.69,-364.86 4783.71,-361.31 4783.67,-368.31"/>
<text text-anchor="middle" x="2192" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S69&#45;&gt;S192 -->
<g id="edge52" class="edge">
<title>S69&#45;&gt;S192</title>
<path fill="none" stroke="black" d="M3457.75,-203.44C3451.53,-206.05 3444.62,-208.52 3438,-210 3396.42,-219.3 3084.41,-197.18 3055,-228 3033.79,-250.23 3040.36,-272.58 3059,-297 3085.61,-331.87 3108.86,-322.11 3152,-330 3317.22,-360.23 4551.82,-364.41 4783.57,-364.93"/>
<polygon fill="black" stroke="black" points="4783.83,-368.43 4793.84,-364.95 4783.84,-361.43 4783.83,-368.43"/>
<text text-anchor="middle" x="3067" y="-275.3" font-family="Times,serif" font-size="14.00">(1)</text>
</g>
<!-- S78 -->
<g id="node44" class="node">
<title>S78</title>
<ellipse fill="none" stroke="black" cx="2742" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="2742" y="-101.3" font-family="Times,serif" font-size="14.00">S78</text>
</g>
<!-- S97&#45;&gt;S78 -->
<g id="edge53" class="edge">
<title>S97&#45;&gt;S78</title>
<path fill="none" stroke="black" stroke-width="2" d="M3606.97,-179.8C3601.9,-177.46 3596.37,-175.31 3591,-174 3483.4,-147.82 3203.3,-165.82 3093,-156 2977.14,-145.68 2841.06,-123.35 2777.75,-112.37"/>
<polygon fill="black" stroke="black" stroke-width="2" points="2778.32,-108.91 2767.87,-110.64 2777.12,-115.81 2778.32,-108.91"/>
<text text-anchor="middle" x="3211" y="-144.8" font-family="Times,serif" font-size="14.00">gameModelState = GameModelMustPlace</text>
</g>
<!-- S86 -->
<g id="node45" class="node">
<title>S86</title>
<ellipse fill="none" stroke="black" cx="3326" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="3326" y="-101.3" font-family="Times,serif" font-size="14.00">S86</text>
</g>
<!-- S97&#45;&gt;S86 -->
<g id="edge54" class="edge">
<title>S97&#45;&gt;S86</title>
<path fill="none" stroke="black" stroke-width="2" d="M3606.93,-179.93C3601.87,-177.59 3596.35,-175.4 3591,-174 3537.56,-159.96 3386.73,-189.78 3343,-156 3335.8,-150.44 3331.63,-141.68 3329.22,-133.04"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3332.62,-132.2 3327.12,-123.15 3325.77,-133.65 3332.62,-132.2"/>
<text text-anchor="middle" x="3462" y="-144.8" font-family="Times,serif" font-size="14.00">gameModelState = GameModelCompleted</text>
</g>
<!-- S94 -->
<g id="node46" class="node">
<title>S94</title>
<ellipse fill="none" stroke="black" cx="3593" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="3593" y="-101.3" font-family="Times,serif" font-size="14.00">S94</text>
</g>
<!-- S97&#45;&gt;S94 -->
<g id="edge55" class="edge">
<title>S97&#45;&gt;S94</title>
<path fill="none" stroke="black" stroke-width="2" d="M3607.8,-179.07C3600.14,-173.17 3592.15,-165.31 3588,-156 3584.82,-148.88 3584.47,-140.64 3585.36,-132.92"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3588.84,-133.35 3587.2,-122.89 3581.96,-132.09 3588.84,-133.35"/>
<text text-anchor="middle" x="3707" y="-144.8" font-family="Times,serif" font-size="14.00">gameModelState = GameModelCompleted</text>
</g>
<!-- S96 -->
<g id="node47" class="node">
<title>S96</title>
<ellipse fill="none" stroke="black" cx="3866" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="3866" y="-101.3" font-family="Times,serif" font-size="14.00">S96</text>
</g>
<!-- S97&#45;&gt;S96 -->
<g id="edge56" class="edge">
<title>S97&#45;&gt;S96</title>
<path fill="none" stroke="black" stroke-width="2" d="M3653.77,-188.64C3701.1,-184.1 3797.26,-173.04 3826,-156 3836.4,-149.84 3845.18,-139.89 3851.84,-130.49"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3854.77,-132.4 3857.35,-122.13 3848.92,-128.55 3854.77,-132.4"/>
<text text-anchor="middle" x="3855" y="-144.8" font-family="Times,serif" font-size="14.00">else</text>
</g>
<!-- S100&#45;&gt;S192 -->
<g id="edge70" class="edge">
<title>S100&#45;&gt;S192</title>
<path fill="none" stroke="black" d="M3531.8,-204.19C3526.45,-206.53 3520.63,-208.68 3515,-210 3490.48,-215.75 3079.45,-209.84 3062,-228 3057.38,-232.81 3057.89,-237.75 3062,-243 3161.96,-370.5 3255.41,-308.52 3416,-330 3691.48,-366.84 4589.34,-365.83 4783.68,-365.16"/>
<polygon fill="black" stroke="black" points="4783.96,-368.66 4793.94,-365.12 4783.93,-361.66 4783.96,-368.66"/>
<text text-anchor="middle" x="3127" y="-275.3" font-family="Times,serif" font-size="14.00">(1)</text>
</g>
<!-- S73 -->
<g id="node48" class="node">
<title>S73</title>
<ellipse fill="none" stroke="black" cx="2499" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="2499" y="-14.3" font-family="Times,serif" font-size="14.00">S73</text>
</g>
<!-- S78&#45;&gt;S73 -->
<g id="edge57" class="edge">
<title>S78&#45;&gt;S73</title>
<path fill="none" stroke="black" stroke-width="2" d="M2738.89,-87.02C2735.95,-75.89 2730.37,-61.99 2720,-54 2691.89,-32.33 2591.32,-23.77 2536.05,-20.64"/>
<polygon fill="black" stroke="black" stroke-width="2" points="2536.13,-17.14 2525.95,-20.1 2535.75,-24.13 2536.13,-17.14"/>
<text text-anchor="middle" x="2854" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S75 -->
<g id="node49" class="node">
<title>S75</title>
<ellipse fill="none" stroke="black" cx="2417" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="2417" y="-14.3" font-family="Times,serif" font-size="14.00">S75</text>
</g>
<!-- S78&#45;&gt;S75 -->
<g id="edge58" class="edge">
<title>S78&#45;&gt;S75</title>
<path fill="none" stroke="black" stroke-width="2" d="M2715.05,-102.56C2655.56,-99.05 2514.9,-88.85 2472,-69 2458.37,-62.7 2445.77,-51.79 2436.08,-41.78"/>
<polygon fill="black" stroke="black" stroke-width="2" points="2438.62,-39.36 2429.27,-34.38 2433.47,-44.11 2438.62,-39.36"/>
<text text-anchor="middle" x="2594" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S81 -->
<g id="node50" class="node">
<title>S81</title>
<ellipse fill="none" stroke="black" cx="3030" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="3030" y="-14.3" font-family="Times,serif" font-size="14.00">S81</text>
</g>
<!-- S86&#45;&gt;S81 -->
<g id="edge61" class="edge">
<title>S86&#45;&gt;S81</title>
<path fill="none" stroke="black" stroke-width="2" d="M3298.86,-102.66C3241.81,-99.46 3111.55,-90.01 3073,-69 3062.07,-63.04 3052.67,-53.13 3045.47,-43.69"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3048.14,-41.41 3039.49,-35.29 3042.44,-45.46 3048.14,-41.41"/>
<text text-anchor="middle" x="3195" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S83 -->
<g id="node51" class="node">
<title>S83</title>
<ellipse fill="none" stroke="black" cx="3540" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="3540" y="-14.3" font-family="Times,serif" font-size="14.00">S83</text>
</g>
<!-- S86&#45;&gt;S83 -->
<g id="edge62" class="edge">
<title>S86&#45;&gt;S83</title>
<path fill="none" stroke="black" stroke-width="2" d="M3321.36,-87.22C3319.47,-76.48 3319.27,-62.92 3327,-54 3332.74,-47.37 3444.05,-31.71 3503.41,-23.78"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3504.06,-27.23 3513.51,-22.44 3503.14,-20.29 3504.06,-27.23"/>
<text text-anchor="middle" x="3449" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S89 -->
<g id="node52" class="node">
<title>S89</title>
<ellipse fill="none" stroke="black" cx="3378" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="3378" y="-14.3" font-family="Times,serif" font-size="14.00">S89</text>
</g>
<!-- S94&#45;&gt;S89 -->
<g id="edge65" class="edge">
<title>S94&#45;&gt;S89</title>
<path fill="none" stroke="black" stroke-width="2" d="M3589.84,-87.09C3586.87,-76 3581.28,-62.11 3571,-54 3558.84,-44.41 3466.55,-30.78 3414.11,-23.69"/>
<polygon fill="black" stroke="black" stroke-width="2" points="3414.57,-20.22 3404.2,-22.36 3413.64,-27.16 3414.57,-20.22"/>
<text text-anchor="middle" x="3705" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S91 -->
<g id="node53" class="node">
<title>S91</title>
<ellipse fill="none" stroke="black" cx="4036" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="4036" y="-14.3" font-family="Times,serif" font-size="14.00">S91</text>
</g>
<!-- S94&#45;&gt;S91 -->
<g id="edge66" class="edge">
<title>S94&#45;&gt;S91</title>
<path fill="none" stroke="black" stroke-width="2" d="M3619.55,-100.92C3663.67,-95.61 3754.76,-83.87 3831,-69 3891.53,-57.19 3961.1,-39.29 4001.65,-28.42"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4002.81,-31.73 4011.55,-25.75 4000.98,-24.97 4002.81,-31.73"/>
<text text-anchor="middle" x="4022" y="-57.8" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S96&#45;&gt;S192 -->
<g id="edge69" class="edge">
<title>S96&#45;&gt;S192</title>
<path fill="none" stroke="black" d="M3872.52,-122.59C3882.25,-150.36 3896.82,-206.75 3871,-243 3856.81,-262.92 3841.35,-251.06 3819,-261 3613.17,-352.53 3675.11,-282.62 3721,-330 3758.74,-368.96 4595.12,-366.34 4783.53,-365.25"/>
<polygon fill="black" stroke="black" points="4783.78,-368.75 4793.76,-365.19 4783.74,-361.75 4783.78,-368.75"/>
<text text-anchor="middle" x="3887" y="-231.8" font-family="Times,serif" font-size="14.00">(1)</text>
</g>
<!-- S73&#45;&gt;S192 -->
<g id="edge59" class="edge">
<title>S73&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M2478.63,-29.97C2464,-39.4 2448.15,-53.86 2456,-69 2462.26,-81.07 2643.89,-203.82 2656,-210 2802.45,-284.79 2844.06,-301.4 3006,-330 3186.72,-361.91 4540.98,-364.73 4783.79,-364.98"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.87,-368.48 4793.87,-364.99 4783.87,-361.48 4783.87,-368.48"/>
<text text-anchor="middle" x="2778" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S75&#45;&gt;S192 -->
<g id="edge60" class="edge">
<title>S75&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M2398.34,-31.3C2378.51,-46.01 2350,-72.62 2350,-104 2350,-280 2350,-280 2350,-280 2350,-343.67 4473.38,-362.34 4783.41,-364.73"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.65,-368.23 4793.67,-364.8 4783.7,-361.23 4783.65,-368.23"/>
<text text-anchor="middle" x="2472" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S81&#45;&gt;S192 -->
<g id="edge63" class="edge">
<title>S81&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M3016.43,-33.87C2987.39,-66.07 2920.95,-141.96 2910,-174 2880.15,-261.31 2960.95,-296.67 3047,-330 3130.76,-362.44 4534.98,-364.82 4783.55,-364.99"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.86,-368.49 4793.86,-364.99 4783.86,-361.49 4783.86,-368.49"/>
<text text-anchor="middle" x="3032" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S83&#45;&gt;S192 -->
<g id="edge64" class="edge">
<title>S83&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M3567,-19.66C3677,-22.45 4086.36,-34.17 4105,-54 4169.34,-122.45 3993.72,-104.06 3931,-174 3908.43,-199.17 3924.08,-220.33 3899,-243 3880.86,-259.4 3868.88,-250.07 3847,-261 3837.41,-265.79 3772.03,-305.53 3767,-315 3763.87,-320.89 3762.36,-325.21 3767,-330 3803.04,-367.26 4600.31,-365.99 4783.64,-365.2"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.88,-368.7 4793.86,-365.15 4783.84,-361.7 4783.88,-368.7"/>
<text text-anchor="middle" x="4053" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S89&#45;&gt;S192 -->
<g id="edge67" class="edge">
<title>S89&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M3351.07,-19.93C3276.55,-22.78 3071.69,-32.51 3051,-54 2956.43,-152.21 3027.28,-135.23 3045,-156 3078.01,-194.69 3124.99,-135.31 3158,-174 3168.39,-186.17 3168.42,-197.86 3158,-210 3123.74,-249.93 3076.45,-189.12 3041,-228 3008.8,-263.31 3030.64,-312.23 3075,-330 3157.03,-362.86 4537.97,-364.9 4783.74,-365"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.94,-368.5 4793.94,-365 4783.94,-361.5 4783.94,-368.5"/>
<text text-anchor="middle" x="3288" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem2</text>
</g>
<!-- S91&#45;&gt;S192 -->
<g id="edge68" class="edge">
<title>S91&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M4062.26,-22.36C4083.82,-26.41 4113.82,-35.2 4133,-54 4194.23,-114.03 4214.94,-170.7 4179,-210 4148.74,-243.09 4021.01,-215.3 3978,-228 3946.44,-237.32 3877.54,-284.75 3847,-297 3780.67,-323.61 3748.12,-292.89 3784,-330 3819.41,-366.63 4602.17,-365.85 4783.66,-365.18"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.79,-368.68 4793.78,-365.14 4783.77,-361.68 4783.79,-368.68"/>
<text text-anchor="middle" x="4319" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S106&#45;&gt;S192 -->
<g id="edge72" class="edge">
<title>S106&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M4479.13,-203.2C4472.72,-205.74 4465.67,-208.23 4459,-210 4357.89,-236.75 4329.59,-228.55 4226,-243 4196.9,-247.06 4118.06,-242.79 4095,-261 4058.73,-289.63 4056.74,-311.91 4074,-330 4098.7,-355.89 4634.95,-363.14 4783.28,-364.66"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4783.64,-368.16 4793.67,-364.76 4783.71,-361.16 4783.64,-368.16"/>
<text text-anchor="middle" x="4217" y="-275.3" font-family="Times,serif" font-size="14.00">dispatchQueue!GameModelStateWorkItem1</text>
</g>
<!-- S127 -->
<g id="node58" class="node">
<title>S127</title>
<ellipse fill="none" stroke="black" cx="6222" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="6222" y="-101.3" font-family="Times,serif" font-size="14.00">S127</text>
</g>
<!-- S118&#45;&gt;S127 -->
<g id="edge79" class="edge">
<title>S118&#45;&gt;S127</title>
<path fill="none" stroke="black" stroke-width="2" d="M6410.66,-174.09C6405.64,-163.01 6397.53,-149.11 6386,-141 6348.94,-114.93 6296.33,-107.62 6260.77,-105.9"/>
<polygon fill="black" stroke="black" stroke-width="2" points="6260.89,-102.4 6250.77,-105.54 6260.63,-109.4 6260.89,-102.4"/>
<text text-anchor="middle" x="6571" y="-144.8" font-family="Times,serif" font-size="14.00">autoBkupGameModelState = AutoBkupGameModelMustPass</text>
</g>
<!-- S120&#45;&gt;S127 -->
<g id="edge81" class="edge">
<title>S120&#45;&gt;S127</title>
<path fill="none" stroke="black" stroke-width="2" d="M6761.25,-173.86C6759.78,-162.67 6755.91,-148.75 6746,-141 6708.05,-111.31 6375.45,-106.79 6260.72,-106.11"/>
<polygon fill="black" stroke="black" stroke-width="2" points="6260.64,-102.61 6250.62,-106.06 6260.6,-109.61 6260.64,-102.61"/>
<text text-anchor="middle" x="6929.5" y="-144.8" font-family="Times,serif" font-size="14.00">autoBkupGameModelState = AutoBkupGameModelMustPlace</text>
</g>
<!-- S122&#45;&gt;S127 -->
<g id="edge82" class="edge">
<title>S122&#45;&gt;S127</title>
<path fill="none" stroke="black" stroke-width="2" d="M6079.48,-183.6C6054.28,-175.01 6021.57,-159.62 6037,-141 6055.22,-119.02 6134.71,-110.74 6183.37,-107.7"/>
<polygon fill="black" stroke="black" stroke-width="2" points="6183.77,-111.18 6193.55,-107.11 6183.37,-104.19 6183.77,-111.18"/>
<text text-anchor="middle" x="6211.5" y="-144.8" font-family="Times,serif" font-size="14.00">autoBkupGameModelState = AutoBkupGameModelCompleted</text>
</g>
<!-- S127&#45;&gt;S192 -->
<g id="edge80" class="edge">
<title>S127&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M6194.09,-109.18C6156.17,-113.92 6086.51,-124.14 6029,-141 5931.66,-169.54 5885.86,-152.61 5818,-228 5786.39,-263.12 5825.32,-301.01 5788,-330 5750.68,-358.99 5031.73,-364.06 4858.38,-364.86"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.2,-361.36 4848.22,-364.91 4858.23,-368.36 4858.2,-361.36"/>
<text text-anchor="middle" x="5979.5" y="-231.8" font-family="Times,serif" font-size="14.00">dispatchQueueMain!AutoBkupGameModelStateWorkItem</text>
</g>
<!-- S136&#45;&gt;S192 -->
<g id="edge87" class="edge">
<title>S136&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M7005.14,-210C7002.92,-223.73 6999.91,-243.56 6998,-261 6997.16,-268.64 6998.59,-324.72 6993,-330 6952.6,-368.19 5143.22,-365.72 4858.53,-365.09"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.32,-361.59 4848.31,-365.07 4858.3,-368.59 4858.32,-361.59"/>
<text text-anchor="middle" x="7128" y="-275.3" font-family="Times,serif" font-size="14.00">dispatchQueue!BoardAnimationStateWorkItem</text>
</g>
<!-- S138&#45;&gt;S192 -->
<g id="edge88" class="edge">
<title>S138&#45;&gt;S192</title>
<path fill="none" stroke="black" d="M7346.85,-209.65C7359.19,-238.55 7378.62,-297.94 7347,-330 7324.15,-353.17 5170.78,-363.47 4858.57,-364.84"/>
<polygon fill="black" stroke="black" points="4858.23,-361.34 4848.24,-364.89 4858.26,-368.34 4858.23,-361.34"/>
<text text-anchor="middle" x="7372" y="-275.3" font-family="Times,serif" font-size="14.00">(1)</text>
</g>
<!-- S152&#45;&gt;S192 -->
<g id="edge95" class="edge">
<title>S152&#45;&gt;S192</title>
<path fill="none" stroke="black" d="M9662.47,-194.76C9705.49,-198.07 9783.87,-206.9 9801,-228 9805.2,-233.17 9804.06,-237.08 9801,-243 9770.22,-302.47 9741.74,-309.48 9678,-330 9556.26,-369.18 5301.52,-365.53 4858.23,-365.04"/>
<polygon fill="black" stroke="black" points="4858.19,-361.54 4848.19,-365.03 4858.19,-368.54 4858.19,-361.54"/>
<text text-anchor="middle" x="9797" y="-275.3" font-family="Times,serif" font-size="14.00">(1)</text>
</g>
<!-- S156 -->
<g id="node64" class="node">
<title>S156</title>
<ellipse fill="none" stroke="black" cx="8656" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="8656" y="-101.3" font-family="Times,serif" font-size="14.00">S156</text>
</g>
<!-- S154&#45;&gt;S156 -->
<g id="edge96" class="edge">
<title>S154&#45;&gt;S156</title>
<path fill="none" stroke="black" stroke-width="2" d="M8777.96,-179C8753.64,-164.45 8712.48,-139.81 8684.78,-123.22"/>
<polygon fill="black" stroke="black" stroke-width="2" points="8686.32,-120.07 8675.94,-117.94 8682.72,-126.08 8686.32,-120.07"/>
<text text-anchor="middle" x="8870" y="-144.8" font-family="Times,serif" font-size="14.00">boardAnimationState = BoardAnimationFlipping</text>
</g>
<!-- S160 -->
<g id="node65" class="node">
<title>S160</title>
<ellipse fill="none" stroke="black" cx="9543" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="9543" y="-101.3" font-family="Times,serif" font-size="14.00">S160</text>
</g>
<!-- S164&#45;&gt;S160 -->
<g id="edge98" class="edge">
<title>S164&#45;&gt;S160</title>
<path fill="none" stroke="black" stroke-width="2" d="M9232.21,-174.1C9230.27,-163.3 9230.05,-149.73 9238,-141 9255.62,-121.63 9425.9,-111.38 9504.1,-107.65"/>
<polygon fill="black" stroke="black" stroke-width="2" points="9504.66,-111.13 9514.49,-107.17 9504.34,-104.14 9504.66,-111.13"/>
<text text-anchor="middle" x="9373" y="-144.8" font-family="Times,serif" font-size="14.00">boardAnimationState = BoardAnimationFlipping</text>
</g>
<!-- S163 -->
<g id="node66" class="node">
<title>S163</title>
<ellipse fill="none" stroke="black" cx="10006" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="10006" y="-101.3" font-family="Times,serif" font-size="14.00">S163</text>
</g>
<!-- S164&#45;&gt;S163 -->
<g id="edge99" class="edge">
<title>S164&#45;&gt;S163</title>
<path fill="none" stroke="black" stroke-width="2" d="M9265.28,-187.87C9382.82,-174.88 9832.82,-125.14 9967.62,-110.24"/>
<polygon fill="black" stroke="black" stroke-width="2" points="9968.31,-113.69 9977.87,-109.11 9967.54,-106.73 9968.31,-113.69"/>
<text text-anchor="middle" x="9818.5" y="-144.8" font-family="Times,serif" font-size="14.00">boardAnimationState = BoardAnimationNotAnimating</text>
</g>
<!-- S156&#45;&gt;S192 -->
<g id="edge97" class="edge">
<title>S156&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M8638.77,-119.48C8607.13,-145.78 8546.15,-204.72 8582,-243 8602.85,-265.27 8825.64,-257.99 8856,-261 8901.4,-265.5 9232.94,-280.69 9263,-315 9267.39,-320.01 9267.7,-325.27 9263,-330 9221.91,-371.42 5285.78,-365.8 4858.5,-365.07"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.24,-361.57 4848.24,-365.05 4858.23,-368.57 4858.24,-361.57"/>
<text text-anchor="middle" x="8712" y="-231.8" font-family="Times,serif" font-size="14.00">dispatchQueue!BoardAnimationStateWorkItem</text>
</g>
<!-- S160&#45;&gt;S192 -->
<g id="edge100" class="edge">
<title>S160&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M9571.5,-107.32C9641.36,-110.83 9816.74,-121.54 9834,-141 9857.3,-167.27 9831.78,-270.28 9809,-297 9780,-331.01 9758.05,-322.41 9714,-330 9587.01,-351.9 5302.44,-363.73 4858.13,-364.9"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.06,-361.4 4848.07,-364.93 4858.08,-368.4 4858.06,-361.4"/>
<text text-anchor="middle" x="9966" y="-231.8" font-family="Times,serif" font-size="14.00">dispatchQueue!BoardAnimationStateWorkItem</text>
</g>
<!-- S163&#45;&gt;S192 -->
<g id="edge101" class="edge">
<title>S163&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M10025.61,-118.24C10062.23,-142.6 10134.33,-198.62 10100,-243 10005.89,-364.68 9917.52,-309.97 9765,-330 9506.99,-363.88 5300.36,-364.98 4858.47,-365"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.17,-361.5 4848.17,-365 4858.17,-368.5 4858.17,-361.5"/>
<text text-anchor="middle" x="10237" y="-231.8" font-family="Times,serif" font-size="14.00">dispatchQueue!BoardAnimationStateWorkItem</text>
</g>
<!-- S171 -->
<g id="node69" class="node">
<title>S171</title>
<ellipse fill="none" stroke="black" cx="11367" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="11367" y="-101.3" font-family="Times,serif" font-size="14.00">S171</text>
</g>
<!-- S176&#45;&gt;S171 -->
<g id="edge104" class="edge">
<title>S176&#45;&gt;S171</title>
<path fill="none" stroke="black" stroke-width="2" d="M11544.56,-188.8C11499.07,-184.77 11412.66,-174.83 11389,-156 11381.75,-150.23 11376.82,-141.57 11373.51,-133.08"/>
<polygon fill="black" stroke="black" stroke-width="2" points="11376.77,-131.77 11370.32,-123.37 11370.12,-133.96 11376.77,-131.77"/>
<text text-anchor="middle" x="11569.5" y="-144.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelMustPass))</text>
</g>
<!-- S173 -->
<g id="node70" class="node">
<title>S173</title>
<ellipse fill="none" stroke="black" cx="11787" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="11787" y="-101.3" font-family="Times,serif" font-size="14.00">S173</text>
</g>
<!-- S176&#45;&gt;S173 -->
<g id="edge105" class="edge">
<title>S176&#45;&gt;S173</title>
<path fill="none" stroke="black" stroke-width="2" d="M11601.67,-191.5C11638.73,-190.85 11703.95,-185.16 11750,-156 11759.68,-149.87 11767.69,-140.23 11773.75,-131.05"/>
<polygon fill="black" stroke="black" stroke-width="2" points="11776.74,-132.87 11778.96,-122.51 11770.77,-129.23 11776.74,-132.87"/>
<text text-anchor="middle" x="11949.5" y="-144.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelMustPlace))</text>
</g>
<!-- S175 -->
<g id="node71" class="node">
<title>S175</title>
<ellipse fill="none" stroke="black" cx="12193" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="12193" y="-101.3" font-family="Times,serif" font-size="14.00">S175</text>
</g>
<!-- S176&#45;&gt;S175 -->
<g id="edge106" class="edge">
<title>S176&#45;&gt;S175</title>
<path fill="none" stroke="black" stroke-width="2" d="M11601.83,-190.31C11709.92,-187.59 12087.43,-176.69 12137,-156 12150.99,-150.16 12163.83,-139.3 12173.68,-129.19"/>
<polygon fill="black" stroke="black" stroke-width="2" points="12176.38,-131.42 12180.59,-121.7 12171.24,-126.67 12176.38,-131.42"/>
<text text-anchor="middle" x="12343.5" y="-144.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelCompleted))</text>
</g>
<!-- S180 -->
<g id="node73" class="node">
<title>S180</title>
<ellipse fill="none" stroke="black" cx="10539" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="10539" y="-101.3" font-family="Times,serif" font-size="14.00">S180</text>
</g>
<!-- S185&#45;&gt;S180 -->
<g id="edge111" class="edge">
<title>S185&#45;&gt;S180</title>
<path fill="none" stroke="black" stroke-width="2" d="M10552.56,-173.8C10550.22,-162.09 10547.07,-146.34 10544.39,-132.97"/>
<polygon fill="black" stroke="black" stroke-width="2" points="10547.77,-132 10542.38,-122.89 10540.91,-133.38 10547.77,-132"/>
<text text-anchor="middle" x="10728.5" y="-144.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelMustPass))</text>
</g>
<!-- S182 -->
<g id="node74" class="node">
<title>S182</title>
<ellipse fill="none" stroke="black" cx="10940" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="10940" y="-101.3" font-family="Times,serif" font-size="14.00">S182</text>
</g>
<!-- S185&#45;&gt;S182 -->
<g id="edge112" class="edge">
<title>S185&#45;&gt;S182</title>
<path fill="none" stroke="black" stroke-width="2" d="M10584.6,-191.57C10659.52,-192.54 10859.39,-191.64 10913,-156 10921.45,-150.38 10927.46,-141.22 10931.64,-132.25"/>
<polygon fill="black" stroke="black" stroke-width="2" points="10934.96,-133.37 10935.48,-122.78 10928.48,-130.74 10934.96,-133.37"/>
<text text-anchor="middle" x="11109.5" y="-144.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelMustPlace))</text>
</g>
<!-- S184 -->
<g id="node75" class="node">
<title>S184</title>
<ellipse fill="none" stroke="black" cx="10129" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="10129" y="-101.3" font-family="Times,serif" font-size="14.00">S184</text>
</g>
<!-- S185&#45;&gt;S184 -->
<g id="edge113" class="edge">
<title>S185&#45;&gt;S184</title>
<path fill="none" stroke="black" stroke-width="2" d="M10527.18,-191.09C10449.05,-190.9 10234.91,-187.46 10173,-156 10161.68,-150.25 10151.97,-140.23 10144.58,-130.66"/>
<polygon fill="black" stroke="black" stroke-width="2" points="10147.38,-128.56 10138.7,-122.49 10141.7,-132.65 10147.38,-128.56"/>
<text text-anchor="middle" x="10357.5" y="-144.8" font-family="Times,serif" font-size="14.00">((autoBkupGameModelState==AutoBkupGameModelCompleted))</text>
</g>
<!-- S191 -->
<g id="node72" class="node">
<title>S191</title>
<ellipse fill="none" stroke="black" cx="11364" cy="-18" rx="28.7" ry="18"/>
<text text-anchor="middle" x="11364" y="-14.3" font-family="Times,serif" font-size="14.00">S191</text>
</g>
<!-- S171&#45;&gt;S191 -->
<g id="edge107" class="edge">
<title>S171&#45;&gt;S191</title>
<path fill="none" stroke="black" stroke-width="2" d="M11365.9,-86.92C11365.56,-81.22 11365.23,-74.84 11365,-69 11364.72,-61.66 11364.51,-53.7 11364.36,-46.34"/>
<polygon fill="black" stroke="black" stroke-width="2" points="11367.86,-46.07 11364.19,-36.13 11360.86,-46.19 11367.86,-46.07"/>
<text text-anchor="middle" x="11573" y="-57.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelMustPassNotAnimating</text>
</g>
<!-- S173&#45;&gt;S191 -->
<g id="edge109" class="edge">
<title>S173&#45;&gt;S191</title>
<path fill="none" stroke="black" stroke-width="2" d="M11789.92,-86.78C11790.71,-75.85 11789.56,-62.26 11781,-54 11754.11,-28.05 11501.07,-21.2 11402.78,-19.52"/>
<polygon fill="black" stroke="black" stroke-width="2" points="11402.73,-16.02 11392.67,-19.35 11402.61,-23.01 11402.73,-16.02"/>
<text text-anchor="middle" x="11998.5" y="-57.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelMustPlaceNotAnimating</text>
</g>
<!-- S175&#45;&gt;S191 -->
<g id="edge110" class="edge">
<title>S175&#45;&gt;S191</title>
<path fill="none" stroke="black" stroke-width="2" d="M12206.83,-88.78C12215.03,-77.92 12222.19,-63.58 12213,-54 12184.61,-24.41 11564.96,-19.82 11402.64,-19.12"/>
<polygon fill="black" stroke="black" stroke-width="2" points="11402.63,-15.62 11392.62,-19.08 11402.61,-22.62 11402.63,-15.62"/>
<text text-anchor="middle" x="12429" y="-57.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelCompletedNotAnimating</text>
</g>
<!-- S191&#45;&gt;S192 -->
<g id="edge108" class="edge">
<title>S191&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M11392.64,-19.11C11576.64,-19.9 12586.91,-25.53 12645,-54 12670.81,-66.65 12686,-75.26 12686,-104 12686,-280 12686,-280 12686,-280 12686,-397.64 10686.63,-328.25 10569,-330 8175.96,-365.54 5222.01,-365.21 4858.28,-365.02"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.05,-361.52 4848.05,-365.02 4858.04,-368.52 4858.05,-361.52"/>
<text text-anchor="middle" x="12832" y="-188.3" font-family="Times,serif" font-size="14.00">dispatchQueue!AnimatedGameModelStateWorkItem</text>
</g>
<!-- S180&#45;&gt;S191 -->
<g id="edge114" class="edge">
<title>S180&#45;&gt;S191</title>
<path fill="none" stroke="black" stroke-width="2" d="M10536.74,-86.58C10536.37,-75.56 10538.07,-61.95 10547,-54 10576.35,-27.87 11166.08,-20.76 11324.9,-19.31"/>
<polygon fill="black" stroke="black" stroke-width="2" points="11325.18,-22.81 11335.15,-19.22 11325.12,-15.81 11325.18,-22.81"/>
<text text-anchor="middle" x="10745" y="-57.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelMustPassAnimating</text>
</g>
<!-- S182&#45;&gt;S191 -->
<g id="edge115" class="edge">
<title>S182&#45;&gt;S191</title>
<path fill="none" stroke="black" stroke-width="2" d="M10941.87,-86.85C10944.05,-75.65 10948.77,-61.72 10959,-54 10987.84,-32.22 11229.78,-22.89 11325.37,-20.03"/>
<polygon fill="black" stroke="black" stroke-width="2" points="11325.59,-23.52 11335.48,-19.73 11325.39,-16.52 11325.59,-23.52"/>
<text text-anchor="middle" x="11159.5" y="-57.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelMustPlaceAnimating</text>
</g>
<!-- S184&#45;&gt;S191 -->
<g id="edge116" class="edge">
<title>S184&#45;&gt;S191</title>
<path fill="none" stroke="black" stroke-width="2" d="M10124.37,-86.82C10122.56,-75.9 10122.6,-62.31 10131,-54 10152.75,-32.5 11118.22,-21.49 11325.2,-19.38"/>
<polygon fill="black" stroke="black" stroke-width="2" points="11325.33,-22.88 11335.3,-19.28 11325.26,-15.88 11325.33,-22.88"/>
<text text-anchor="middle" x="10332.5" y="-57.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelCompletedAnimating</text>
</g>
<!-- S21&#45;&gt;S192 -->
<g id="edge122" class="edge">
<title>S21&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M5044.47,-435C5040.6,-423.88 5033.9,-409.97 5023,-402 4997.39,-383.27 4909.45,-373.65 4858.44,-369.54"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.39,-366.02 4848.15,-368.74 4857.85,-373 4858.39,-366.02"/>
<text text-anchor="middle" x="5234" y="-405.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelMustPassAnimating</text>
</g>
<!-- S23&#45;&gt;S192 -->
<g id="edge123" class="edge">
<title>S23&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M5457.24,-435.11C5453.76,-423.72 5447.35,-409.47 5436,-402 5387.82,-370.3 4984.17,-367.17 4858.32,-366.97"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.04,-363.47 4848.04,-366.96 4858.04,-370.47 4858.04,-363.47"/>
<text text-anchor="middle" x="5649.5" y="-405.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelMustPlaceAnimating</text>
</g>
<!-- S25&#45;&gt;S192 -->
<g id="edge124" class="edge">
<title>S25&#45;&gt;S192</title>
<path fill="none" stroke="black" stroke-width="2" d="M5875.3,-435.03C5871.84,-423.6 5865.44,-409.34 5854,-402 5811.31,-374.61 5038.1,-368.3 4858.19,-367.2"/>
<polygon fill="black" stroke="black" stroke-width="2" points="4858.17,-363.7 4848.15,-367.14 4858.13,-370.7 4858.17,-363.7"/>
<text text-anchor="middle" x="6068.5" y="-405.8" font-family="Times,serif" font-size="14.00">animatedGameModelState = AnimatedGameModelCompletedAnimating</text>
</g>
</g>
</svg>