00_mat_mat_mul_dag.md

Analysis of parallel matrix-matrix multiplication DAG

Target summary

size(A) = (256, 256)

TaskDAGAnalyzers.summary:
work: 1.6 ms (single-thread run-time T₁)
span: 109 μs (theoretical fastest run-time Tₒₒ)
parallelism (work/span): 14.872990869043585

Baseline summary

size(A) = (256, 256)

TaskDAGAnalyzers.summary:
work: 4.5 ms (single-thread run-time T₁)
span: 80 μs (theoretical fastest run-time Tₒₒ)
parallelism (work/span): 56.691479003345485

DAG

Baseline	Target

baseline_dag.png

baseline_dag.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: DAG Pages: 1 -->
<svg width="795pt" height="2755pt"
 viewBox="0.00 0.00 795.00 2755.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 2751)">
<title>DAG</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-2751 791,-2751 791,4 -4,4"/>
<!-- 1 -->
<g id="node1" class="node">
<title>1</title>
<polygon fill="none" stroke="#000000" points="36,-2710.5 36,-2746.5 90,-2746.5 90,-2710.5 36,-2710.5"/>
<text text-anchor="middle" x="63" y="-2724.8" font-family="Times,serif" font-size="14.00" fill="#000000">1.1 μs</text>
</g>
<!-- 2 -->
<g id="node2" class="node">
<title>2</title>
<polygon fill="none" stroke="#000000" points="68.4287,-2637.0493 72.023,-2637.1479 75.58,-2637.2953 79.0854,-2637.4913 82.5249,-2637.7353 85.8847,-2638.0266 89.1516,-2638.3645 92.3128,-2638.7479 95.3564,-2639.1759 98.2709,-2639.6472 101.046,-2640.1606 103.672,-2640.7147 106.1401,-2641.308 108.4425,-2641.9388 110.5724,-2642.6054 112.5239,-2643.3059 114.2922,-2644.0385 115.8736,-2644.8012 117.2652,-2645.5918 118.4652,-2646.4082 119.4729,-2647.2481 120.2886,-2648.1093 120.9132,-2648.9894 121.3488,-2649.886 121.5984,-2650.7965 121.6656,-2651.7186 121.5547,-2652.6497 121.2709,-2653.5873 120.8199,-2654.5287 120.2079,-2655.4713 119.4416,-2656.4127 118.5281,-2657.3503 117.4748,-2658.2814 116.2894,-2659.2035 114.9798,-2660.114 113.5539,-2661.0106 112.0196,-2661.8907 110.385,-2662.7519 108.6578,-2663.5918 106.8457,-2664.4082 104.9563,-2665.1988 102.9967,-2665.9615 100.9739,-2666.6941 98.8944,-2667.3946 96.7645,-2668.0612 94.5901,-2668.692 92.3765,-2669.2853 90.1287,-2669.8394 87.8515,-2670.3528 85.5489,-2670.8241 83.2249,-2671.2521 80.8827,-2671.6355 78.5255,-2671.9734 76.1559,-2672.2647 73.7765,-2672.5087 71.3893,-2672.7047 68.9963,-2672.8521 66.5994,-2672.9507 64.2,-2673 61.8,-2673 59.4006,-2672.9507 57.0037,-2672.8521 54.6107,-2672.7047 52.2235,-2672.5087 49.8441,-2672.2647 47.4745,-2671.9734 45.1173,-2671.6355 42.7751,-2671.2521 40.4511,-2670.8241 38.1485,-2670.3528 35.8713,-2669.8394 33.6235,-2669.2853 31.4099,-2668.692 29.2355,-2668.0612 27.1056,-2667.3946 25.0261,-2666.6941 23.0033,-2665.9615 21.0437,-2665.1988 19.1543,-2664.4082 17.3422,-2663.5918 15.615,-2662.7519 13.9804,-2661.8907 12.4461,-2661.0106 11.0202,-2660.114 9.7106,-2659.2035 8.5252,-2658.2814 7.4719,-2657.3503 6.5584,-2656.4127 5.7921,-2655.4713 5.1801,-2654.5287 4.7291,-2653.5873 4.4453,-2652.6497 4.3344,-2651.7186 4.4016,-2650.7965 4.6512,-2649.886 5.0868,-2648.9894 5.7114,-2648.1093 6.5271,-2647.2481 7.5348,-2646.4082 8.7348,-2645.5918 10.1264,-2644.8012 11.7078,-2644.0385 13.4761,-2643.3059 15.4276,-2642.6054 17.5575,-2641.9388 19.8599,-2641.308 22.328,-2640.7147 24.954,-2640.1606 27.7291,-2639.6472 30.6436,-2639.1759 33.6872,-2638.7479 36.8484,-2638.3645 40.1153,-2638.0266 43.4751,-2637.7353 46.9146,-2637.4913 50.42,-2637.2953 53.977,-2637.1479 57.5713,-2637.0493 61.1879,-2637 64.8121,-2637 68.4287,-2637.0493"/>
<text text-anchor="middle" x="63" y="-2651.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 3)</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge1" class="edge">
<title>1&#45;&gt;2</title>
<path fill="none" stroke="#000000" d="M63,-2710.3315C63,-2702.204 63,-2692.431 63,-2683.3748"/>
<polygon fill="#000000" stroke="#000000" points="66.5001,-2683.2142 63,-2673.2143 59.5001,-2683.2143 66.5001,-2683.2142"/>
</g>
<!-- 4 -->
<g id="node3" class="node">
<title>4</title>
<polygon fill="none" stroke="#000000" points="0,-2495.5 0,-2531.5 54,-2531.5 54,-2495.5 0,-2495.5"/>
<text text-anchor="middle" x="27" y="-2509.8" font-family="Times,serif" font-size="14.00" fill="#000000">44 μs</text>
</g>
<!-- 2&#45;&gt;4 -->
<g id="edge2" class="edge">
<title>2&#45;&gt;4</title>
<path fill="none" stroke="#000000" d="M58.3673,-2636.791C52.2379,-2612.699 41.3709,-2569.9857 34.1754,-2541.7032"/>
<polygon fill="#000000" stroke="#000000" points="37.4725,-2540.4674 31.6149,-2531.6391 30.6886,-2542.1933 37.4725,-2540.4674"/>
<text text-anchor="middle" x="64" y="-2607.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 5 -->
<g id="node4" class="node">
<title>5</title>
<polygon fill="none" stroke="#000000" points="142.4287,-2550.0493 146.023,-2550.1479 149.58,-2550.2953 153.0854,-2550.4913 156.5249,-2550.7353 159.8847,-2551.0266 163.1516,-2551.3645 166.3128,-2551.7479 169.3564,-2552.1759 172.2709,-2552.6472 175.046,-2553.1606 177.672,-2553.7147 180.1401,-2554.308 182.4425,-2554.9388 184.5724,-2555.6054 186.5239,-2556.3059 188.2922,-2557.0385 189.8736,-2557.8012 191.2652,-2558.5918 192.4652,-2559.4082 193.4729,-2560.2481 194.2886,-2561.1093 194.9132,-2561.9894 195.3488,-2562.886 195.5984,-2563.7965 195.6656,-2564.7186 195.5547,-2565.6497 195.2709,-2566.5873 194.8199,-2567.5287 194.2079,-2568.4713 193.4416,-2569.4127 192.5281,-2570.3503 191.4748,-2571.2814 190.2894,-2572.2035 188.9798,-2573.114 187.5539,-2574.0106 186.0196,-2574.8907 184.385,-2575.7519 182.6578,-2576.5918 180.8457,-2577.4082 178.9563,-2578.1988 176.9967,-2578.9615 174.9739,-2579.6941 172.8944,-2580.3946 170.7645,-2581.0612 168.5901,-2581.692 166.3765,-2582.2853 164.1287,-2582.8394 161.8515,-2583.3528 159.5489,-2583.8241 157.2249,-2584.2521 154.8827,-2584.6355 152.5255,-2584.9734 150.1559,-2585.2647 147.7765,-2585.5087 145.3893,-2585.7047 142.9963,-2585.8521 140.5994,-2585.9507 138.2,-2586 135.8,-2586 133.4006,-2585.9507 131.0037,-2585.8521 128.6107,-2585.7047 126.2235,-2585.5087 123.8441,-2585.2647 121.4745,-2584.9734 119.1173,-2584.6355 116.7751,-2584.2521 114.4511,-2583.8241 112.1485,-2583.3528 109.8713,-2582.8394 107.6235,-2582.2853 105.4099,-2581.692 103.2355,-2581.0612 101.1056,-2580.3946 99.0261,-2579.6941 97.0033,-2578.9615 95.0437,-2578.1988 93.1543,-2577.4082 91.3422,-2576.5918 89.615,-2575.7519 87.9804,-2574.8907 86.4461,-2574.0106 85.0202,-2573.114 83.7106,-2572.2035 82.5252,-2571.2814 81.4719,-2570.3503 80.5584,-2569.4127 79.7921,-2568.4713 79.1801,-2567.5287 78.7291,-2566.5873 78.4453,-2565.6497 78.3344,-2564.7186 78.4016,-2563.7965 78.6512,-2562.886 79.0868,-2561.9894 79.7114,-2561.1093 80.5271,-2560.2481 81.5348,-2559.4082 82.7348,-2558.5918 84.1264,-2557.8012 85.7078,-2557.0385 87.4761,-2556.3059 89.4276,-2555.6054 91.5575,-2554.9388 93.8599,-2554.308 96.328,-2553.7147 98.954,-2553.1606 101.7291,-2552.6472 104.6436,-2552.1759 107.6872,-2551.7479 110.8484,-2551.3645 114.1153,-2551.0266 117.4751,-2550.7353 120.9146,-2550.4913 124.42,-2550.2953 127.977,-2550.1479 131.5713,-2550.0493 135.1879,-2550 138.8121,-2550 142.4287,-2550.0493"/>
<text text-anchor="middle" x="137" y="-2564.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 3)</text>
</g>
<!-- 2&#45;&gt;5 -->
<g id="edge3" class="edge">
<title>2&#45;&gt;5</title>
<path fill="none" stroke="#000000" d="M77.975,-2637.3943C88.7779,-2624.6935 103.5193,-2607.3624 115.5674,-2593.1977"/>
<polygon fill="#000000" stroke="#000000" points="118.4868,-2595.1676 122.2998,-2585.2827 113.1547,-2590.6322 118.4868,-2595.1676"/>
<text text-anchor="middle" x="118.5" y="-2607.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 3 -->
<g id="node5" class="node">
<title>3</title>
<polygon fill="none" stroke="#000000" points="187,-109 139.4068,-91 187,-73 234.5932,-91 187,-109"/>
<text text-anchor="middle" x="187" y="-87.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 3</text>
</g>
<!-- 4&#45;&gt;3 -->
<g id="edge4" class="edge">
<title>4&#45;&gt;3</title>
<path fill="none" stroke="#000000" d="M26.4108,-2495.2557C25.8208,-2475.3935 25,-2442.6933 25,-2414.5 25,-2414.5 25,-2414.5 25,-164 25,-137.2159 99.5378,-113.1799 147.4934,-100.4874"/>
<polygon fill="#000000" stroke="#000000" points="148.4818,-103.847 157.2867,-97.9542 146.7288,-97.07 148.4818,-103.847"/>
</g>
<!-- 7 -->
<g id="node7" class="node">
<title>7</title>
<polygon fill="none" stroke="#000000" points="110,-2440.5 110,-2476.5 164,-2476.5 164,-2440.5 110,-2440.5"/>
<text text-anchor="middle" x="137" y="-2454.8" font-family="Times,serif" font-size="14.00" fill="#000000">35 μs</text>
</g>
<!-- 5&#45;&gt;7 -->
<g id="edge6" class="edge">
<title>5&#45;&gt;7</title>
<path fill="none" stroke="#000000" d="M137,-2549.9183C137,-2532.7206 137,-2506.5894 137,-2486.6631"/>
<polygon fill="#000000" stroke="#000000" points="140.5001,-2486.6085 137,-2476.6086 133.5001,-2486.6086 140.5001,-2486.6085"/>
<text text-anchor="middle" x="147" y="-2509.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 8 -->
<g id="node8" class="node">
<title>8</title>
<polygon fill="none" stroke="#000000" points="294.4287,-2440.5493 298.023,-2440.6479 301.58,-2440.7953 305.0854,-2440.9913 308.5249,-2441.2353 311.8847,-2441.5266 315.1516,-2441.8645 318.3128,-2442.2479 321.3564,-2442.6759 324.2709,-2443.1472 327.046,-2443.6606 329.672,-2444.2147 332.1401,-2444.808 334.4425,-2445.4388 336.5724,-2446.1054 338.5239,-2446.8059 340.2922,-2447.5385 341.8736,-2448.3012 343.2652,-2449.0918 344.4652,-2449.9082 345.4729,-2450.7481 346.2886,-2451.6093 346.9132,-2452.4894 347.3488,-2453.386 347.5984,-2454.2965 347.6656,-2455.2186 347.5547,-2456.1497 347.2709,-2457.0873 346.8199,-2458.0287 346.2079,-2458.9713 345.4416,-2459.9127 344.5281,-2460.8503 343.4748,-2461.7814 342.2894,-2462.7035 340.9798,-2463.614 339.5539,-2464.5106 338.0196,-2465.3907 336.385,-2466.2519 334.6578,-2467.0918 332.8457,-2467.9082 330.9563,-2468.6988 328.9967,-2469.4615 326.9739,-2470.1941 324.8944,-2470.8946 322.7645,-2471.5612 320.5901,-2472.192 318.3765,-2472.7853 316.1287,-2473.3394 313.8515,-2473.8528 311.5489,-2474.3241 309.2249,-2474.7521 306.8827,-2475.1355 304.5255,-2475.4734 302.1559,-2475.7647 299.7765,-2476.0087 297.3893,-2476.2047 294.9963,-2476.3521 292.5994,-2476.4507 290.2,-2476.5 287.8,-2476.5 285.4006,-2476.4507 283.0037,-2476.3521 280.6107,-2476.2047 278.2235,-2476.0087 275.8441,-2475.7647 273.4745,-2475.4734 271.1173,-2475.1355 268.7751,-2474.7521 266.4511,-2474.3241 264.1485,-2473.8528 261.8713,-2473.3394 259.6235,-2472.7853 257.4099,-2472.192 255.2355,-2471.5612 253.1056,-2470.8946 251.0261,-2470.1941 249.0033,-2469.4615 247.0437,-2468.6988 245.1543,-2467.9082 243.3422,-2467.0918 241.615,-2466.2519 239.9804,-2465.3907 238.4461,-2464.5106 237.0202,-2463.614 235.7106,-2462.7035 234.5252,-2461.7814 233.4719,-2460.8503 232.5584,-2459.9127 231.7921,-2458.9713 231.1801,-2458.0287 230.7291,-2457.0873 230.4453,-2456.1497 230.3344,-2455.2186 230.4016,-2454.2965 230.6512,-2453.386 231.0868,-2452.4894 231.7114,-2451.6093 232.5271,-2450.7481 233.5348,-2449.9082 234.7348,-2449.0918 236.1264,-2448.3012 237.7078,-2447.5385 239.4761,-2446.8059 241.4276,-2446.1054 243.5575,-2445.4388 245.8599,-2444.808 248.328,-2444.2147 250.954,-2443.6606 253.7291,-2443.1472 256.6436,-2442.6759 259.6872,-2442.2479 262.8484,-2441.8645 266.1153,-2441.5266 269.4751,-2441.2353 272.9146,-2440.9913 276.42,-2440.7953 279.977,-2440.6479 283.5713,-2440.5493 287.1879,-2440.5 290.8121,-2440.5 294.4287,-2440.5493"/>
<text text-anchor="middle" x="289" y="-2454.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 3)</text>
</g>
<!-- 5&#45;&gt;8 -->
<g id="edge7" class="edge">
<title>5&#45;&gt;8</title>
<path fill="none" stroke="#000000" d="M160.75,-2550.8906C187.0826,-2531.9208 229.6352,-2501.2661 258.4348,-2480.519"/>
<polygon fill="#000000" stroke="#000000" points="260.8299,-2483.1073 266.8979,-2474.4222 256.7382,-2477.4276 260.8299,-2483.1073"/>
<text text-anchor="middle" x="249.5" y="-2509.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 6 -->
<g id="node6" class="node">
<title>6</title>
<ellipse fill="none" stroke="#000000" cx="187" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="187" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">6</text>
</g>
<!-- 3&#45;&gt;6 -->
<g id="edge5" class="edge">
<title>3&#45;&gt;6</title>
<path fill="none" stroke="#000000" d="M187,-72.9551C187,-64.8828 187,-55.1764 187,-46.1817"/>
<polygon fill="#000000" stroke="#000000" points="190.5001,-46.0903 187,-36.0904 183.5001,-46.0904 190.5001,-46.0903"/>
</g>
<!-- 9 -->
<g id="node9" class="node">
<title>9</title>
<polygon fill="none" stroke="#000000" points="142.909,-2352.5493 146.8212,-2352.6479 150.693,-2352.7953 154.5085,-2352.9913 158.2523,-2353.2353 161.9093,-2353.5266 165.4652,-2353.8645 168.9061,-2354.2479 172.2189,-2354.6759 175.3913,-2355.1472 178.4119,-2355.6606 181.2702,-2356.2147 183.9567,-2356.808 186.4628,-2357.4388 188.7811,-2358.1054 190.9052,-2358.8059 192.83,-2359.5385 194.5513,-2360.3012 196.066,-2361.0918 197.3722,-2361.9082 198.4691,-2362.7481 199.3568,-2363.6093 200.0367,-2364.4894 200.5109,-2365.386 200.7826,-2366.2965 200.8556,-2367.2186 200.735,-2368.1497 200.4261,-2369.0873 199.9352,-2370.0287 199.269,-2370.9713 198.4349,-2371.9127 197.4406,-2372.8503 196.2941,-2373.7814 195.0039,-2374.7035 193.5784,-2375.614 192.0264,-2376.5106 190.3564,-2377.3907 188.5771,-2378.2519 186.6971,-2379.0918 184.7247,-2379.9082 182.6681,-2380.6988 180.5352,-2381.4615 178.3334,-2382.1941 176.0699,-2382.8946 173.7516,-2383.5612 171.3848,-2384.192 168.9754,-2384.7853 166.5288,-2385.3394 164.0501,-2385.8528 161.5438,-2386.3241 159.0141,-2386.7521 156.4648,-2387.1355 153.899,-2387.4734 151.3198,-2387.7647 148.7298,-2388.0087 146.1315,-2388.2047 143.5268,-2388.3521 140.9178,-2388.4507 138.3062,-2388.5 135.6938,-2388.5 133.0822,-2388.4507 130.4732,-2388.3521 127.8685,-2388.2047 125.2702,-2388.0087 122.6802,-2387.7647 120.101,-2387.4734 117.5352,-2387.1355 114.9859,-2386.7521 112.4562,-2386.3241 109.9499,-2385.8528 107.4712,-2385.3394 105.0246,-2384.7853 102.6152,-2384.192 100.2484,-2383.5612 97.9301,-2382.8946 95.6666,-2382.1941 93.4648,-2381.4615 91.3319,-2380.6988 89.2753,-2379.9082 87.3029,-2379.0918 85.4229,-2378.2519 83.6436,-2377.3907 81.9736,-2376.5106 80.4216,-2375.614 78.9961,-2374.7035 77.7059,-2373.7814 76.5594,-2372.8503 75.5651,-2371.9127 74.731,-2370.9713 74.0648,-2370.0287 73.5739,-2369.0873 73.265,-2368.1497 73.1444,-2367.2186 73.2174,-2366.2965 73.4891,-2365.386 73.9633,-2364.4894 74.6432,-2363.6093 75.5309,-2362.7481 76.6278,-2361.9082 77.934,-2361.0918 79.4487,-2360.3012 81.17,-2359.5385 83.0948,-2358.8059 85.2189,-2358.1054 87.5372,-2357.4388 90.0433,-2356.808 92.7298,-2356.2147 95.5881,-2355.6606 98.6087,-2355.1472 101.7811,-2354.6759 105.0939,-2354.2479 108.5348,-2353.8645 112.0907,-2353.5266 115.7477,-2353.2353 119.4915,-2352.9913 123.307,-2352.7953 127.1788,-2352.6479 131.091,-2352.5493 135.0276,-2352.5 138.9724,-2352.5 142.909,-2352.5493"/>
<text text-anchor="middle" x="137" y="-2366.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 10)</text>
</g>
<!-- 7&#45;&gt;9 -->
<g id="edge8" class="edge">
<title>7&#45;&gt;9</title>
<path fill="none" stroke="#000000" d="M137,-2440.2663C137,-2428.3492 137,-2412.5384 137,-2398.9817"/>
<polygon fill="#000000" stroke="#000000" points="140.5001,-2398.7103 137,-2388.7103 133.5001,-2398.7103 140.5001,-2398.7103"/>
</g>
<!-- 17 -->
<g id="node17" class="node">
<title>17</title>
<polygon fill="none" stroke="#000000" points="262,-2352.5 262,-2388.5 316,-2388.5 316,-2352.5 262,-2352.5"/>
<text text-anchor="middle" x="289" y="-2366.8" font-family="Times,serif" font-size="14.00" fill="#000000">33 μs</text>
</g>
<!-- 8&#45;&gt;17 -->
<g id="edge19" class="edge">
<title>8&#45;&gt;17</title>
<path fill="none" stroke="#000000" d="M289,-2440.2663C289,-2428.3492 289,-2412.5384 289,-2398.9817"/>
<polygon fill="#000000" stroke="#000000" points="292.5001,-2398.7103 289,-2388.7103 285.5001,-2398.7103 292.5001,-2398.7103"/>
<text text-anchor="middle" x="299" y="-2410.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 18 -->
<g id="node18" class="node">
<title>18</title>
<polygon fill="none" stroke="#000000" points="434.909,-2352.5493 438.8212,-2352.6479 442.693,-2352.7953 446.5085,-2352.9913 450.2523,-2353.2353 453.9093,-2353.5266 457.4652,-2353.8645 460.9061,-2354.2479 464.2189,-2354.6759 467.3913,-2355.1472 470.4119,-2355.6606 473.2702,-2356.2147 475.9567,-2356.808 478.4628,-2357.4388 480.7811,-2358.1054 482.9052,-2358.8059 484.83,-2359.5385 486.5513,-2360.3012 488.066,-2361.0918 489.3722,-2361.9082 490.4691,-2362.7481 491.3568,-2363.6093 492.0367,-2364.4894 492.5109,-2365.386 492.7826,-2366.2965 492.8556,-2367.2186 492.735,-2368.1497 492.4261,-2369.0873 491.9352,-2370.0287 491.269,-2370.9713 490.4349,-2371.9127 489.4406,-2372.8503 488.2941,-2373.7814 487.0039,-2374.7035 485.5784,-2375.614 484.0264,-2376.5106 482.3564,-2377.3907 480.5771,-2378.2519 478.6971,-2379.0918 476.7247,-2379.9082 474.6681,-2380.6988 472.5352,-2381.4615 470.3334,-2382.1941 468.0699,-2382.8946 465.7516,-2383.5612 463.3848,-2384.192 460.9754,-2384.7853 458.5288,-2385.3394 456.0501,-2385.8528 453.5438,-2386.3241 451.0141,-2386.7521 448.4648,-2387.1355 445.899,-2387.4734 443.3198,-2387.7647 440.7298,-2388.0087 438.1315,-2388.2047 435.5268,-2388.3521 432.9178,-2388.4507 430.3062,-2388.5 427.6938,-2388.5 425.0822,-2388.4507 422.4732,-2388.3521 419.8685,-2388.2047 417.2702,-2388.0087 414.6802,-2387.7647 412.101,-2387.4734 409.5352,-2387.1355 406.9859,-2386.7521 404.4562,-2386.3241 401.9499,-2385.8528 399.4712,-2385.3394 397.0246,-2384.7853 394.6152,-2384.192 392.2484,-2383.5612 389.9301,-2382.8946 387.6666,-2382.1941 385.4648,-2381.4615 383.3319,-2380.6988 381.2753,-2379.9082 379.3029,-2379.0918 377.4229,-2378.2519 375.6436,-2377.3907 373.9736,-2376.5106 372.4216,-2375.614 370.9961,-2374.7035 369.7059,-2373.7814 368.5594,-2372.8503 367.5651,-2371.9127 366.731,-2370.9713 366.0648,-2370.0287 365.5739,-2369.0873 365.265,-2368.1497 365.1444,-2367.2186 365.2174,-2366.2965 365.4891,-2365.386 365.9633,-2364.4894 366.6432,-2363.6093 367.5309,-2362.7481 368.6278,-2361.9082 369.934,-2361.0918 371.4487,-2360.3012 373.17,-2359.5385 375.0948,-2358.8059 377.2189,-2358.1054 379.5372,-2357.4388 382.0433,-2356.808 384.7298,-2356.2147 387.5881,-2355.6606 390.6087,-2355.1472 393.7811,-2354.6759 397.0939,-2354.2479 400.5348,-2353.8645 404.0907,-2353.5266 407.7477,-2353.2353 411.4915,-2352.9913 415.307,-2352.7953 419.1788,-2352.6479 423.091,-2352.5493 427.0276,-2352.5 430.9724,-2352.5 434.909,-2352.5493"/>
<text text-anchor="middle" x="429" y="-2366.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 27)</text>
</g>
<!-- 8&#45;&gt;18 -->
<g id="edge20" class="edge">
<title>8&#45;&gt;18</title>
<path fill="none" stroke="#000000" d="M315.6625,-2441.7407C338.273,-2427.5284 370.8292,-2407.0645 395.2528,-2391.7125"/>
<polygon fill="#000000" stroke="#000000" points="397.2458,-2394.5938 403.8496,-2386.3088 393.5206,-2388.6674 397.2458,-2394.5938"/>
<text text-anchor="middle" x="380.5" y="-2410.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 11 -->
<g id="node10" class="node">
<title>11</title>
<polygon fill="none" stroke="#000000" points="51,-2209.5 51,-2245.5 105,-2245.5 105,-2209.5 51,-2209.5"/>
<text text-anchor="middle" x="78" y="-2223.8" font-family="Times,serif" font-size="14.00" fill="#000000">32 μs</text>
</g>
<!-- 9&#45;&gt;11 -->
<g id="edge9" class="edge">
<title>9&#45;&gt;11</title>
<path fill="none" stroke="#000000" d="M127.6995,-2352.4581C124.7992,-2346.6207 121.6645,-2340.0836 119,-2334 107.472,-2307.6797 95.8467,-2277.0002 87.9344,-2255.3482"/>
<polygon fill="#000000" stroke="#000000" points="91.1691,-2254.0014 84.4696,-2245.7936 84.5884,-2256.3878 91.1691,-2254.0014"/>
<text text-anchor="middle" x="129" y="-2322.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 12 -->
<g id="node11" class="node">
<title>12</title>
<polygon fill="none" stroke="#000000" points="123,-2264.5 123,-2300.5 177,-2300.5 177,-2264.5 123,-2264.5"/>
<text text-anchor="middle" x="150" y="-2278.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 9&#45;&gt;12 -->
<g id="edge10" class="edge">
<title>9&#45;&gt;12</title>
<path fill="none" stroke="#000000" d="M139.6936,-2352.2663C141.4541,-2340.3492 143.7898,-2324.5384 145.7925,-2310.9817"/>
<polygon fill="#000000" stroke="#000000" points="149.3108,-2311.1145 147.3098,-2300.7103 142.3859,-2310.0914 149.3108,-2311.1145"/>
<text text-anchor="middle" x="158.5" y="-2322.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 10 -->
<g id="node12" class="node">
<title>10</title>
<polygon fill="none" stroke="#000000" points="154,-1861 99.5385,-1843 154,-1825 208.4615,-1843 154,-1861"/>
<text text-anchor="middle" x="154" y="-1839.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 10</text>
</g>
<!-- 11&#45;&gt;10 -->
<g id="edge11" class="edge">
<title>11&#45;&gt;10</title>
<path fill="none" stroke="#000000" d="M73.9803,-2209.308C69.5371,-2187.5781 63,-2150.073 63,-2117.5 63,-2117.5 63,-2117.5 63,-1952.5 63,-1912.5752 99.2253,-1879.4406 125.9642,-1860.4211"/>
<polygon fill="#000000" stroke="#000000" points="127.976,-1863.2855 134.2544,-1854.7512 124.0243,-1857.5076 127.976,-1863.2855"/>
</g>
<!-- 13 -->
<g id="node13" class="node">
<title>13</title>
<polygon fill="none" stroke="#000000" points="160.909,-2154.5493 164.8212,-2154.6479 168.693,-2154.7953 172.5085,-2154.9913 176.2523,-2155.2353 179.9093,-2155.5266 183.4652,-2155.8645 186.9061,-2156.2479 190.2189,-2156.6759 193.3913,-2157.1472 196.4119,-2157.6606 199.2702,-2158.2147 201.9567,-2158.808 204.4628,-2159.4388 206.7811,-2160.1054 208.9052,-2160.8059 210.83,-2161.5385 212.5513,-2162.3012 214.066,-2163.0918 215.3722,-2163.9082 216.4691,-2164.7481 217.3568,-2165.6093 218.0367,-2166.4894 218.5109,-2167.386 218.7826,-2168.2965 218.8556,-2169.2186 218.735,-2170.1497 218.4261,-2171.0873 217.9352,-2172.0287 217.269,-2172.9713 216.4349,-2173.9127 215.4406,-2174.8503 214.2941,-2175.7814 213.0039,-2176.7035 211.5784,-2177.614 210.0264,-2178.5106 208.3564,-2179.3907 206.5771,-2180.2519 204.6971,-2181.0918 202.7247,-2181.9082 200.6681,-2182.6988 198.5352,-2183.4615 196.3334,-2184.1941 194.0699,-2184.8946 191.7516,-2185.5612 189.3848,-2186.192 186.9754,-2186.7853 184.5288,-2187.3394 182.0501,-2187.8528 179.5438,-2188.3241 177.0141,-2188.7521 174.4648,-2189.1355 171.899,-2189.4734 169.3198,-2189.7647 166.7298,-2190.0087 164.1315,-2190.2047 161.5268,-2190.3521 158.9178,-2190.4507 156.3062,-2190.5 153.6938,-2190.5 151.0822,-2190.4507 148.4732,-2190.3521 145.8685,-2190.2047 143.2702,-2190.0087 140.6802,-2189.7647 138.101,-2189.4734 135.5352,-2189.1355 132.9859,-2188.7521 130.4562,-2188.3241 127.9499,-2187.8528 125.4712,-2187.3394 123.0246,-2186.7853 120.6152,-2186.192 118.2484,-2185.5612 115.9301,-2184.8946 113.6666,-2184.1941 111.4648,-2183.4615 109.3319,-2182.6988 107.2753,-2181.9082 105.3029,-2181.0918 103.4229,-2180.2519 101.6436,-2179.3907 99.9736,-2178.5106 98.4216,-2177.614 96.9961,-2176.7035 95.7059,-2175.7814 94.5594,-2174.8503 93.5651,-2173.9127 92.731,-2172.9713 92.0648,-2172.0287 91.5739,-2171.0873 91.265,-2170.1497 91.1444,-2169.2186 91.2174,-2168.2965 91.4891,-2167.386 91.9633,-2166.4894 92.6432,-2165.6093 93.5309,-2164.7481 94.6278,-2163.9082 95.934,-2163.0918 97.4487,-2162.3012 99.17,-2161.5385 101.0948,-2160.8059 103.2189,-2160.1054 105.5372,-2159.4388 108.0433,-2158.808 110.7298,-2158.2147 113.5881,-2157.6606 116.6087,-2157.1472 119.7811,-2156.6759 123.0939,-2156.2479 126.5348,-2155.8645 130.0907,-2155.5266 133.7477,-2155.2353 137.4915,-2154.9913 141.307,-2154.7953 145.1788,-2154.6479 149.091,-2154.5493 153.0276,-2154.5 156.9724,-2154.5 160.909,-2154.5493"/>
<text text-anchor="middle" x="155" y="-2168.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 14)</text>
</g>
<!-- 12&#45;&gt;13 -->
<g id="edge13" class="edge">
<title>12&#45;&gt;13</title>
<path fill="none" stroke="#000000" d="M150.8256,-2264.3357C151.6109,-2247.0595 152.8041,-2220.809 153.714,-2200.7917"/>
<polygon fill="#000000" stroke="#000000" points="157.2153,-2200.8399 154.1731,-2190.6912 150.2226,-2200.522 157.2153,-2200.8399"/>
</g>
<!-- 10&#45;&gt;3 -->
<g id="edge12" class="edge">
<title>10&#45;&gt;3</title>
<path fill="none" stroke="#000000" d="M155.051,-1825.179C156.2361,-1803.5151 158,-1765.8393 158,-1733.5 158,-1733.5 158,-1733.5 158,-164 158,-146.4935 165.2925,-128.1876 172.5637,-114.2865"/>
<polygon fill="#000000" stroke="#000000" points="175.689,-115.8685 177.5043,-105.4303 169.5759,-112.4581 175.689,-115.8685"/>
</g>
<!-- 15 -->
<g id="node14" class="node">
<title>15</title>
<polygon fill="none" stroke="#000000" points="91,-2044.5 91,-2080.5 145,-2080.5 145,-2044.5 91,-2044.5"/>
<text text-anchor="middle" x="118" y="-2058.8" font-family="Times,serif" font-size="14.00" fill="#000000">21 μs</text>
</g>
<!-- 13&#45;&gt;15 -->
<g id="edge14" class="edge">
<title>13&#45;&gt;15</title>
<path fill="none" stroke="#000000" d="M148.8902,-2154.3357C143.0255,-2136.9002 134.0864,-2110.3244 127.3307,-2090.2398"/>
<polygon fill="#000000" stroke="#000000" points="130.6244,-2089.0536 124.1189,-2080.6912 123.9897,-2091.2853 130.6244,-2089.0536"/>
<text text-anchor="middle" x="152" y="-2113.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 16 -->
<g id="node15" class="node">
<title>16</title>
<polygon fill="none" stroke="#000000" points="163,-2044.5 163,-2080.5 217,-2080.5 217,-2044.5 163,-2044.5"/>
<text text-anchor="middle" x="190" y="-2058.8" font-family="Times,serif" font-size="14.00" fill="#000000">21 μs</text>
</g>
<!-- 13&#45;&gt;16 -->
<g id="edge15" class="edge">
<title>13&#45;&gt;16</title>
<path fill="none" stroke="#000000" d="M160.7795,-2154.3357C166.3272,-2136.9002 174.7832,-2110.3244 181.1737,-2090.2398"/>
<polygon fill="#000000" stroke="#000000" points="184.515,-2091.2817 184.2119,-2080.6912 177.8445,-2089.1593 184.515,-2091.2817"/>
<text text-anchor="middle" x="191.5" y="-2113.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 14 -->
<g id="node16" class="node">
<title>14</title>
<polygon fill="none" stroke="#000000" points="154,-1970.5 99.5385,-1952.5 154,-1934.5 208.4615,-1952.5 154,-1970.5"/>
<text text-anchor="middle" x="154" y="-1948.8" font-family="Times,serif" font-size="14.00" fill="#000000">sync 14</text>
</g>
<!-- 15&#45;&gt;14 -->
<g id="edge16" class="edge">
<title>15&#45;&gt;14</title>
<path fill="none" stroke="#000000" d="M123.9447,-2044.3357C129.8217,-2026.3782 138.8719,-1998.7248 145.5061,-1978.4537"/>
<polygon fill="#000000" stroke="#000000" points="148.8507,-1979.4865 148.6347,-1968.8938 142.1979,-1977.3092 148.8507,-1979.4865"/>
</g>
<!-- 16&#45;&gt;14 -->
<g id="edge18" class="edge">
<title>16&#45;&gt;14</title>
<path fill="none" stroke="#000000" d="M184.0553,-2044.3357C178.1783,-2026.3782 169.1281,-1998.7248 162.4939,-1978.4537"/>
<polygon fill="#000000" stroke="#000000" points="165.8021,-1977.3092 159.3653,-1968.8938 159.1493,-1979.4865 165.8021,-1977.3092"/>
</g>
<!-- 14&#45;&gt;10 -->
<g id="edge17" class="edge">
<title>14&#45;&gt;10</title>
<path fill="none" stroke="#000000" d="M154,-1934.4183C154,-1917.2206 154,-1891.0894 154,-1871.1631"/>
<polygon fill="#000000" stroke="#000000" points="157.5001,-1871.1085 154,-1861.1086 150.5001,-1871.1086 157.5001,-1871.1085"/>
</g>
<!-- 19 -->
<g id="node19" class="node">
<title>19</title>
<polygon fill="none" stroke="#000000" points="294.909,-2264.5493 298.8212,-2264.6479 302.693,-2264.7953 306.5085,-2264.9913 310.2523,-2265.2353 313.9093,-2265.5266 317.4652,-2265.8645 320.9061,-2266.2479 324.2189,-2266.6759 327.3913,-2267.1472 330.4119,-2267.6606 333.2702,-2268.2147 335.9567,-2268.808 338.4628,-2269.4388 340.7811,-2270.1054 342.9052,-2270.8059 344.83,-2271.5385 346.5513,-2272.3012 348.066,-2273.0918 349.3722,-2273.9082 350.4691,-2274.7481 351.3568,-2275.6093 352.0367,-2276.4894 352.5109,-2277.386 352.7826,-2278.2965 352.8556,-2279.2186 352.735,-2280.1497 352.4261,-2281.0873 351.9352,-2282.0287 351.269,-2282.9713 350.4349,-2283.9127 349.4406,-2284.8503 348.2941,-2285.7814 347.0039,-2286.7035 345.5784,-2287.614 344.0264,-2288.5106 342.3564,-2289.3907 340.5771,-2290.2519 338.6971,-2291.0918 336.7247,-2291.9082 334.6681,-2292.6988 332.5352,-2293.4615 330.3334,-2294.1941 328.0699,-2294.8946 325.7516,-2295.5612 323.3848,-2296.192 320.9754,-2296.7853 318.5288,-2297.3394 316.0501,-2297.8528 313.5438,-2298.3241 311.0141,-2298.7521 308.4648,-2299.1355 305.899,-2299.4734 303.3198,-2299.7647 300.7298,-2300.0087 298.1315,-2300.2047 295.5268,-2300.3521 292.9178,-2300.4507 290.3062,-2300.5 287.6938,-2300.5 285.0822,-2300.4507 282.4732,-2300.3521 279.8685,-2300.2047 277.2702,-2300.0087 274.6802,-2299.7647 272.101,-2299.4734 269.5352,-2299.1355 266.9859,-2298.7521 264.4562,-2298.3241 261.9499,-2297.8528 259.4712,-2297.3394 257.0246,-2296.7853 254.6152,-2296.192 252.2484,-2295.5612 249.9301,-2294.8946 247.6666,-2294.1941 245.4648,-2293.4615 243.3319,-2292.6988 241.2753,-2291.9082 239.3029,-2291.0918 237.4229,-2290.2519 235.6436,-2289.3907 233.9736,-2288.5106 232.4216,-2287.614 230.9961,-2286.7035 229.7059,-2285.7814 228.5594,-2284.8503 227.5651,-2283.9127 226.731,-2282.9713 226.0648,-2282.0287 225.5739,-2281.0873 225.265,-2280.1497 225.1444,-2279.2186 225.2174,-2278.2965 225.4891,-2277.386 225.9633,-2276.4894 226.6432,-2275.6093 227.5309,-2274.7481 228.6278,-2273.9082 229.934,-2273.0918 231.4487,-2272.3012 233.17,-2271.5385 235.0948,-2270.8059 237.2189,-2270.1054 239.5372,-2269.4388 242.0433,-2268.808 244.7298,-2268.2147 247.5881,-2267.6606 250.6087,-2267.1472 253.7811,-2266.6759 257.0939,-2266.2479 260.5348,-2265.8645 264.0907,-2265.5266 267.7477,-2265.2353 271.4915,-2264.9913 275.307,-2264.7953 279.1788,-2264.6479 283.091,-2264.5493 287.0276,-2264.5 290.9724,-2264.5 294.909,-2264.5493"/>
<text text-anchor="middle" x="289" y="-2278.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 20)</text>
</g>
<!-- 17&#45;&gt;19 -->
<g id="edge21" class="edge">
<title>17&#45;&gt;19</title>
<path fill="none" stroke="#000000" d="M289,-2352.2663C289,-2340.3492 289,-2324.5384 289,-2310.9817"/>
<polygon fill="#000000" stroke="#000000" points="292.5001,-2310.7103 289,-2300.7103 285.5001,-2310.7103 292.5001,-2310.7103"/>
</g>
<!-- 28 -->
<g id="node27" class="node">
<title>28</title>
<polygon fill="none" stroke="#000000" points="401,-1989.5 401,-2025.5 455,-2025.5 455,-1989.5 401,-1989.5"/>
<text text-anchor="middle" x="428" y="-2003.8" font-family="Times,serif" font-size="14.00" fill="#000000">11 μs</text>
</g>
<!-- 18&#45;&gt;28 -->
<g id="edge32" class="edge">
<title>18&#45;&gt;28</title>
<path fill="none" stroke="#000000" d="M429,-2352.2978C429,-2334.5023 429,-2306.6389 429,-2282.5 429,-2282.5 429,-2282.5 429,-2117.5 429,-2089.7631 428.6781,-2058.0938 428.3996,-2035.8811"/>
<polygon fill="#000000" stroke="#000000" points="431.8983,-2035.7485 428.268,-2025.7951 424.8989,-2035.8399 431.8983,-2035.7485"/>
<text text-anchor="middle" x="439" y="-2223.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 29 -->
<g id="node28" class="node">
<title>29</title>
<polygon fill="none" stroke="#000000" points="526.909,-2264.5493 530.8212,-2264.6479 534.693,-2264.7953 538.5085,-2264.9913 542.2523,-2265.2353 545.9093,-2265.5266 549.4652,-2265.8645 552.9061,-2266.2479 556.2189,-2266.6759 559.3913,-2267.1472 562.4119,-2267.6606 565.2702,-2268.2147 567.9567,-2268.808 570.4628,-2269.4388 572.7811,-2270.1054 574.9052,-2270.8059 576.83,-2271.5385 578.5513,-2272.3012 580.066,-2273.0918 581.3722,-2273.9082 582.4691,-2274.7481 583.3568,-2275.6093 584.0367,-2276.4894 584.5109,-2277.386 584.7826,-2278.2965 584.8556,-2279.2186 584.735,-2280.1497 584.4261,-2281.0873 583.9352,-2282.0287 583.269,-2282.9713 582.4349,-2283.9127 581.4406,-2284.8503 580.2941,-2285.7814 579.0039,-2286.7035 577.5784,-2287.614 576.0264,-2288.5106 574.3564,-2289.3907 572.5771,-2290.2519 570.6971,-2291.0918 568.7247,-2291.9082 566.6681,-2292.6988 564.5352,-2293.4615 562.3334,-2294.1941 560.0699,-2294.8946 557.7516,-2295.5612 555.3848,-2296.192 552.9754,-2296.7853 550.5288,-2297.3394 548.0501,-2297.8528 545.5438,-2298.3241 543.0141,-2298.7521 540.4648,-2299.1355 537.899,-2299.4734 535.3198,-2299.7647 532.7298,-2300.0087 530.1315,-2300.2047 527.5268,-2300.3521 524.9178,-2300.4507 522.3062,-2300.5 519.6938,-2300.5 517.0822,-2300.4507 514.4732,-2300.3521 511.8685,-2300.2047 509.2702,-2300.0087 506.6802,-2299.7647 504.101,-2299.4734 501.5352,-2299.1355 498.9859,-2298.7521 496.4562,-2298.3241 493.9499,-2297.8528 491.4712,-2297.3394 489.0246,-2296.7853 486.6152,-2296.192 484.2484,-2295.5612 481.9301,-2294.8946 479.6666,-2294.1941 477.4648,-2293.4615 475.3319,-2292.6988 473.2753,-2291.9082 471.3029,-2291.0918 469.4229,-2290.2519 467.6436,-2289.3907 465.9736,-2288.5106 464.4216,-2287.614 462.9961,-2286.7035 461.7059,-2285.7814 460.5594,-2284.8503 459.5651,-2283.9127 458.731,-2282.9713 458.0648,-2282.0287 457.5739,-2281.0873 457.265,-2280.1497 457.1444,-2279.2186 457.2174,-2278.2965 457.4891,-2277.386 457.9633,-2276.4894 458.6432,-2275.6093 459.5309,-2274.7481 460.6278,-2273.9082 461.934,-2273.0918 463.4487,-2272.3012 465.17,-2271.5385 467.0948,-2270.8059 469.2189,-2270.1054 471.5372,-2269.4388 474.0433,-2268.808 476.7298,-2268.2147 479.5881,-2267.6606 482.6087,-2267.1472 485.7811,-2266.6759 489.0939,-2266.2479 492.5348,-2265.8645 496.0907,-2265.5266 499.7477,-2265.2353 503.4915,-2264.9913 507.307,-2264.7953 511.1788,-2264.6479 515.091,-2264.5493 519.0276,-2264.5 522.9724,-2264.5 526.909,-2264.5493"/>
<text text-anchor="middle" x="521" y="-2278.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 27)</text>
</g>
<!-- 18&#45;&gt;29 -->
<g id="edge33" class="edge">
<title>18&#45;&gt;29</title>
<path fill="none" stroke="#000000" d="M447.6176,-2352.6919C461.4781,-2339.434 480.5536,-2321.1878 495.7819,-2306.6217"/>
<polygon fill="#000000" stroke="#000000" points="498.5394,-2308.8274 503.3465,-2299.3859 493.7008,-2303.7689 498.5394,-2308.8274"/>
<text text-anchor="middle" x="493.5" y="-2322.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 21 -->
<g id="node20" class="node">
<title>21</title>
<polygon fill="none" stroke="#000000" points="222,-2099.5 222,-2135.5 276,-2135.5 276,-2099.5 222,-2099.5"/>
<text text-anchor="middle" x="249" y="-2113.8" font-family="Times,serif" font-size="14.00" fill="#000000">33 μs</text>
</g>
<!-- 19&#45;&gt;21 -->
<g id="edge22" class="edge">
<title>19&#45;&gt;21</title>
<path fill="none" stroke="#000000" d="M282.6464,-2264.4172C280.7047,-2258.5777 278.6488,-2252.0496 277,-2246 267.6597,-2211.7304 259.3315,-2171.6587 254.2345,-2145.4916"/>
<polygon fill="#000000" stroke="#000000" points="257.6424,-2144.6787 252.3175,-2135.5192 250.7683,-2146.0002 257.6424,-2144.6787"/>
<text text-anchor="middle" x="287" y="-2223.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 22 -->
<g id="node21" class="node">
<title>22</title>
<polygon fill="none" stroke="#000000" points="297,-2154.5 297,-2190.5 351,-2190.5 351,-2154.5 297,-2154.5"/>
<text text-anchor="middle" x="324" y="-2168.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 19&#45;&gt;22 -->
<g id="edge23" class="edge">
<title>19&#45;&gt;22</title>
<path fill="none" stroke="#000000" d="M294.7795,-2264.3357C300.3272,-2246.9002 308.7832,-2220.3244 315.1737,-2200.2398"/>
<polygon fill="#000000" stroke="#000000" points="318.515,-2201.2817 318.2119,-2190.6912 311.8445,-2199.1593 318.515,-2201.2817"/>
<text text-anchor="middle" x="324.5" y="-2223.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 20 -->
<g id="node22" class="node">
<title>20</title>
<polygon fill="none" stroke="#000000" points="245,-1751.5 190.5385,-1733.5 245,-1715.5 299.4615,-1733.5 245,-1751.5"/>
<text text-anchor="middle" x="245" y="-1729.8" font-family="Times,serif" font-size="14.00" fill="#000000">sync 20</text>
</g>
<!-- 21&#45;&gt;20 -->
<g id="edge24" class="edge">
<title>21&#45;&gt;20</title>
<path fill="none" stroke="#000000" d="M247.9281,-2099.2119C246.7432,-2077.3896 245,-2039.7956 245,-2007.5 245,-2007.5 245,-2007.5 245,-1843 245,-1815.3903 245,-1783.8648 245,-1761.7528"/>
<polygon fill="#000000" stroke="#000000" points="248.5001,-1761.7123 245,-1751.7124 241.5001,-1761.7124 248.5001,-1761.7123"/>
</g>
<!-- 23 -->
<g id="node23" class="node">
<title>23</title>
<polygon fill="none" stroke="#000000" points="342.909,-2044.5493 346.8212,-2044.6479 350.693,-2044.7953 354.5085,-2044.9913 358.2523,-2045.2353 361.9093,-2045.5266 365.4652,-2045.8645 368.9061,-2046.2479 372.2189,-2046.6759 375.3913,-2047.1472 378.4119,-2047.6606 381.2702,-2048.2147 383.9567,-2048.808 386.4628,-2049.4388 388.7811,-2050.1054 390.9052,-2050.8059 392.83,-2051.5385 394.5513,-2052.3012 396.066,-2053.0918 397.3722,-2053.9082 398.4691,-2054.7481 399.3568,-2055.6093 400.0367,-2056.4894 400.5109,-2057.386 400.7826,-2058.2965 400.8556,-2059.2186 400.735,-2060.1497 400.4261,-2061.0873 399.9352,-2062.0287 399.269,-2062.9713 398.4349,-2063.9127 397.4406,-2064.8503 396.2941,-2065.7814 395.0039,-2066.7035 393.5784,-2067.614 392.0264,-2068.5106 390.3564,-2069.3907 388.5771,-2070.2519 386.6971,-2071.0918 384.7247,-2071.9082 382.6681,-2072.6988 380.5352,-2073.4615 378.3334,-2074.1941 376.0699,-2074.8946 373.7516,-2075.5612 371.3848,-2076.192 368.9754,-2076.7853 366.5288,-2077.3394 364.0501,-2077.8528 361.5438,-2078.3241 359.0141,-2078.7521 356.4648,-2079.1355 353.899,-2079.4734 351.3198,-2079.7647 348.7298,-2080.0087 346.1315,-2080.2047 343.5268,-2080.3521 340.9178,-2080.4507 338.3062,-2080.5 335.6938,-2080.5 333.0822,-2080.4507 330.4732,-2080.3521 327.8685,-2080.2047 325.2702,-2080.0087 322.6802,-2079.7647 320.101,-2079.4734 317.5352,-2079.1355 314.9859,-2078.7521 312.4562,-2078.3241 309.9499,-2077.8528 307.4712,-2077.3394 305.0246,-2076.7853 302.6152,-2076.192 300.2484,-2075.5612 297.9301,-2074.8946 295.6666,-2074.1941 293.4648,-2073.4615 291.3319,-2072.6988 289.2753,-2071.9082 287.3029,-2071.0918 285.4229,-2070.2519 283.6436,-2069.3907 281.9736,-2068.5106 280.4216,-2067.614 278.9961,-2066.7035 277.7059,-2065.7814 276.5594,-2064.8503 275.5651,-2063.9127 274.731,-2062.9713 274.0648,-2062.0287 273.5739,-2061.0873 273.265,-2060.1497 273.1444,-2059.2186 273.2174,-2058.2965 273.4891,-2057.386 273.9633,-2056.4894 274.6432,-2055.6093 275.5309,-2054.7481 276.6278,-2053.9082 277.934,-2053.0918 279.4487,-2052.3012 281.17,-2051.5385 283.0948,-2050.8059 285.2189,-2050.1054 287.5372,-2049.4388 290.0433,-2048.808 292.7298,-2048.2147 295.5881,-2047.6606 298.6087,-2047.1472 301.7811,-2046.6759 305.0939,-2046.2479 308.5348,-2045.8645 312.0907,-2045.5266 315.7477,-2045.2353 319.4915,-2044.9913 323.307,-2044.7953 327.1788,-2044.6479 331.091,-2044.5493 335.0276,-2044.5 338.9724,-2044.5 342.909,-2044.5493"/>
<text text-anchor="middle" x="337" y="-2058.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 24)</text>
</g>
<!-- 22&#45;&gt;23 -->
<g id="edge26" class="edge">
<title>22&#45;&gt;23</title>
<path fill="none" stroke="#000000" d="M326.1467,-2154.3357C328.1884,-2137.0595 331.2908,-2110.809 333.6564,-2090.7917"/>
<polygon fill="#000000" stroke="#000000" points="337.1522,-2091.0329 334.8501,-2080.6912 330.2006,-2090.2113 337.1522,-2091.0329"/>
</g>
<!-- 20&#45;&gt;3 -->
<g id="edge25" class="edge">
<title>20&#45;&gt;3</title>
<path fill="none" stroke="#000000" d="M235.3434,-1718.6882C226.9073,-1704.3018 216,-1681.5369 216,-1660 216,-1660 216,-1660 216,-164 216,-146.4935 208.7075,-128.1876 201.4363,-114.2865"/>
<polygon fill="#000000" stroke="#000000" points="204.4241,-112.4581 196.4957,-105.4303 198.311,-115.8685 204.4241,-112.4581"/>
</g>
<!-- 25 -->
<g id="node24" class="node">
<title>25</title>
<polygon fill="none" stroke="#000000" points="274,-1934.5 274,-1970.5 328,-1970.5 328,-1934.5 274,-1934.5"/>
<text text-anchor="middle" x="301" y="-1948.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 23&#45;&gt;25 -->
<g id="edge27" class="edge">
<title>23&#45;&gt;25</title>
<path fill="none" stroke="#000000" d="M327.8584,-2044.58C325.1001,-2038.7492 322.2187,-2032.1851 320,-2026 314.7161,-2011.27 310.2464,-1994.3927 306.9723,-1980.5286"/>
<polygon fill="#000000" stroke="#000000" points="310.3438,-1979.5709 304.7079,-1970.5995 303.519,-1981.1274 310.3438,-1979.5709"/>
<text text-anchor="middle" x="330" y="-2003.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 26 -->
<g id="node25" class="node">
<title>26</title>
<polygon fill="none" stroke="#000000" points="346,-1934.5 346,-1970.5 400,-1970.5 400,-1934.5 346,-1934.5"/>
<text text-anchor="middle" x="373" y="-1948.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 23&#45;&gt;26 -->
<g id="edge28" class="edge">
<title>23&#45;&gt;26</title>
<path fill="none" stroke="#000000" d="M342.9447,-2044.3357C348.6508,-2026.9002 357.3484,-2000.3244 363.9215,-1980.2398"/>
<polygon fill="#000000" stroke="#000000" points="367.2624,-1981.2839 367.0465,-1970.6912 360.6096,-1979.1066 367.2624,-1981.2839"/>
<text text-anchor="middle" x="373.5" y="-2003.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 24 -->
<g id="node26" class="node">
<title>24</title>
<polygon fill="none" stroke="#000000" points="327,-1861 272.5385,-1843 327,-1825 381.4615,-1843 327,-1861"/>
<text text-anchor="middle" x="327" y="-1839.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 24</text>
</g>
<!-- 25&#45;&gt;24 -->
<g id="edge29" class="edge">
<title>25&#45;&gt;24</title>
<path fill="none" stroke="#000000" d="M305.2934,-1934.4183C309.4694,-1916.8309 315.8637,-1889.9008 320.6321,-1869.8185"/>
<polygon fill="#000000" stroke="#000000" points="324.0522,-1870.5648 322.9571,-1860.0267 317.2415,-1868.9476 324.0522,-1870.5648"/>
</g>
<!-- 26&#45;&gt;24 -->
<g id="edge31" class="edge">
<title>26&#45;&gt;24</title>
<path fill="none" stroke="#000000" d="M365.404,-1934.4183C357.8164,-1916.3564 346.0892,-1888.4407 337.5897,-1868.2082"/>
<polygon fill="#000000" stroke="#000000" points="340.8087,-1866.8338 333.7088,-1858.9698 334.3551,-1869.545 340.8087,-1866.8338"/>
</g>
<!-- 24&#45;&gt;20 -->
<g id="edge30" class="edge">
<title>24&#45;&gt;20</title>
<path fill="none" stroke="#000000" d="M315.9411,-1828.2323C302.1092,-1809.7616 278.2805,-1777.9417 262.0932,-1756.3256"/>
<polygon fill="#000000" stroke="#000000" points="264.6794,-1753.9401 255.8837,-1748.0337 259.0763,-1758.1361 264.6794,-1753.9401"/>
</g>
<!-- 27 -->
<g id="node29" class="node">
<title>27</title>
<polygon fill="none" stroke="#000000" points="470,-1605 415.5385,-1587 470,-1569 524.4615,-1587 470,-1605"/>
<text text-anchor="middle" x="470" y="-1583.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 27</text>
</g>
<!-- 28&#45;&gt;27 -->
<g id="edge34" class="edge">
<title>28&#45;&gt;27</title>
<path fill="none" stroke="#000000" d="M428,-1989.2045C428,-1967.3751 428,-1929.7743 428,-1897.5 428,-1897.5 428,-1897.5 428,-1660 428,-1640.8687 438.9717,-1622.2238 449.6997,-1608.5658"/>
<polygon fill="#000000" stroke="#000000" points="452.5108,-1610.6604 456.2476,-1600.7465 447.144,-1606.1662 452.5108,-1610.6604"/>
</g>
<!-- 63 -->
<g id="node63" class="node">
<title>63</title>
<polygon fill="none" stroke="#000000" points="443,-1879.5 443,-1915.5 497,-1915.5 497,-1879.5 443,-1879.5"/>
<text text-anchor="middle" x="470" y="-1893.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 29&#45;&gt;63 -->
<g id="edge80" class="edge">
<title>29&#45;&gt;63</title>
<path fill="none" stroke="#000000" d="M506.7937,-2264.6053C491.7032,-2243.7534 470,-2207.6534 470,-2172.5 470,-2172.5 470,-2172.5 470,-2007.5 470,-1979.7643 470,-1948.0948 470,-1925.8818"/>
<polygon fill="#000000" stroke="#000000" points="473.5001,-1925.7955 470,-1915.7955 466.5001,-1925.7956 473.5001,-1925.7955"/>
<text text-anchor="middle" x="480" y="-2113.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 64 -->
<g id="node64" class="node">
<title>64</title>
<polygon fill="none" stroke="#000000" points="567.909,-2154.5493 571.8212,-2154.6479 575.693,-2154.7953 579.5085,-2154.9913 583.2523,-2155.2353 586.9093,-2155.5266 590.4652,-2155.8645 593.9061,-2156.2479 597.2189,-2156.6759 600.3913,-2157.1472 603.4119,-2157.6606 606.2702,-2158.2147 608.9567,-2158.808 611.4628,-2159.4388 613.7811,-2160.1054 615.9052,-2160.8059 617.83,-2161.5385 619.5513,-2162.3012 621.066,-2163.0918 622.3722,-2163.9082 623.4691,-2164.7481 624.3568,-2165.6093 625.0367,-2166.4894 625.5109,-2167.386 625.7826,-2168.2965 625.8556,-2169.2186 625.735,-2170.1497 625.4261,-2171.0873 624.9352,-2172.0287 624.269,-2172.9713 623.4349,-2173.9127 622.4406,-2174.8503 621.2941,-2175.7814 620.0039,-2176.7035 618.5784,-2177.614 617.0264,-2178.5106 615.3564,-2179.3907 613.5771,-2180.2519 611.6971,-2181.0918 609.7247,-2181.9082 607.6681,-2182.6988 605.5352,-2183.4615 603.3334,-2184.1941 601.0699,-2184.8946 598.7516,-2185.5612 596.3848,-2186.192 593.9754,-2186.7853 591.5288,-2187.3394 589.0501,-2187.8528 586.5438,-2188.3241 584.0141,-2188.7521 581.4648,-2189.1355 578.899,-2189.4734 576.3198,-2189.7647 573.7298,-2190.0087 571.1315,-2190.2047 568.5268,-2190.3521 565.9178,-2190.4507 563.3062,-2190.5 560.6938,-2190.5 558.0822,-2190.4507 555.4732,-2190.3521 552.8685,-2190.2047 550.2702,-2190.0087 547.6802,-2189.7647 545.101,-2189.4734 542.5352,-2189.1355 539.9859,-2188.7521 537.4562,-2188.3241 534.9499,-2187.8528 532.4712,-2187.3394 530.0246,-2186.7853 527.6152,-2186.192 525.2484,-2185.5612 522.9301,-2184.8946 520.6666,-2184.1941 518.4648,-2183.4615 516.3319,-2182.6988 514.2753,-2181.9082 512.3029,-2181.0918 510.4229,-2180.2519 508.6436,-2179.3907 506.9736,-2178.5106 505.4216,-2177.614 503.9961,-2176.7035 502.7059,-2175.7814 501.5594,-2174.8503 500.5651,-2173.9127 499.731,-2172.9713 499.0648,-2172.0287 498.5739,-2171.0873 498.265,-2170.1497 498.1444,-2169.2186 498.2174,-2168.2965 498.4891,-2167.386 498.9633,-2166.4894 499.6432,-2165.6093 500.5309,-2164.7481 501.6278,-2163.9082 502.934,-2163.0918 504.4487,-2162.3012 506.17,-2161.5385 508.0948,-2160.8059 510.2189,-2160.1054 512.5372,-2159.4388 515.0433,-2158.808 517.7298,-2158.2147 520.5881,-2157.6606 523.6087,-2157.1472 526.7811,-2156.6759 530.0939,-2156.2479 533.5348,-2155.8645 537.0907,-2155.5266 540.7477,-2155.2353 544.4915,-2154.9913 548.307,-2154.7953 552.1788,-2154.6479 556.091,-2154.5493 560.0276,-2154.5 563.9724,-2154.5 567.909,-2154.5493"/>
<text text-anchor="middle" x="562" y="-2168.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 27)</text>
</g>
<!-- 29&#45;&gt;64 -->
<g id="edge81" class="edge">
<title>29&#45;&gt;64</title>
<path fill="none" stroke="#000000" d="M527.7703,-2264.3357C534.269,-2246.9002 544.1746,-2220.3244 551.6606,-2200.2398"/>
<polygon fill="#000000" stroke="#000000" points="555.0066,-2201.2839 555.2196,-2190.6912 548.4474,-2198.8391 555.0066,-2201.2839"/>
<text text-anchor="middle" x="560.5" y="-2223.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 30 -->
<g id="node30" class="node">
<title>30</title>
<polygon fill="none" stroke="#000000" points="463.909,-1496.0493 467.8212,-1496.1479 471.693,-1496.2953 475.5085,-1496.4913 479.2523,-1496.7353 482.9093,-1497.0266 486.4652,-1497.3645 489.9061,-1497.7479 493.2189,-1498.1759 496.3913,-1498.6472 499.4119,-1499.1606 502.2702,-1499.7147 504.9567,-1500.308 507.4628,-1500.9388 509.7811,-1501.6054 511.9052,-1502.3059 513.83,-1503.0385 515.5513,-1503.8012 517.066,-1504.5918 518.3722,-1505.4082 519.4691,-1506.2481 520.3568,-1507.1093 521.0367,-1507.9894 521.5109,-1508.886 521.7826,-1509.7965 521.8556,-1510.7186 521.735,-1511.6497 521.4261,-1512.5873 520.9352,-1513.5287 520.269,-1514.4713 519.4349,-1515.4127 518.4406,-1516.3503 517.2941,-1517.2814 516.0039,-1518.2035 514.5784,-1519.114 513.0264,-1520.0106 511.3564,-1520.8907 509.5771,-1521.7519 507.6971,-1522.5918 505.7247,-1523.4082 503.6681,-1524.1988 501.5352,-1524.9615 499.3334,-1525.6941 497.0699,-1526.3946 494.7516,-1527.0612 492.3848,-1527.692 489.9754,-1528.2853 487.5288,-1528.8394 485.0501,-1529.3528 482.5438,-1529.8241 480.0141,-1530.2521 477.4648,-1530.6355 474.899,-1530.9734 472.3198,-1531.2647 469.7298,-1531.5087 467.1315,-1531.7047 464.5268,-1531.8521 461.9178,-1531.9507 459.3062,-1532 456.6938,-1532 454.0822,-1531.9507 451.4732,-1531.8521 448.8685,-1531.7047 446.2702,-1531.5087 443.6802,-1531.2647 441.101,-1530.9734 438.5352,-1530.6355 435.9859,-1530.2521 433.4562,-1529.8241 430.9499,-1529.3528 428.4712,-1528.8394 426.0246,-1528.2853 423.6152,-1527.692 421.2484,-1527.0612 418.9301,-1526.3946 416.6666,-1525.6941 414.4648,-1524.9615 412.3319,-1524.1988 410.2753,-1523.4082 408.3029,-1522.5918 406.4229,-1521.7519 404.6436,-1520.8907 402.9736,-1520.0106 401.4216,-1519.114 399.9961,-1518.2035 398.7059,-1517.2814 397.5594,-1516.3503 396.5651,-1515.4127 395.731,-1514.4713 395.0648,-1513.5287 394.5739,-1512.5873 394.265,-1511.6497 394.1444,-1510.7186 394.2174,-1509.7965 394.4891,-1508.886 394.9633,-1507.9894 395.6432,-1507.1093 396.5309,-1506.2481 397.6278,-1505.4082 398.934,-1504.5918 400.4487,-1503.8012 402.17,-1503.0385 404.0948,-1502.3059 406.2189,-1501.6054 408.5372,-1500.9388 411.0433,-1500.308 413.7298,-1499.7147 416.5881,-1499.1606 419.6087,-1498.6472 422.7811,-1498.1759 426.0939,-1497.7479 429.5348,-1497.3645 433.0907,-1497.0266 436.7477,-1496.7353 440.4915,-1496.4913 444.307,-1496.2953 448.1788,-1496.1479 452.091,-1496.0493 456.0276,-1496 459.9724,-1496 463.909,-1496.0493"/>
<text text-anchor="middle" x="458" y="-1510.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 31)</text>
</g>
<!-- 27&#45;&gt;30 -->
<g id="edge35" class="edge">
<title>27&#45;&gt;30</title>
<path fill="none" stroke="#000000" d="M467.1562,-1569.7C465.8066,-1561.4902 464.1592,-1551.4688 462.6358,-1542.201"/>
<polygon fill="#000000" stroke="#000000" points="466.0667,-1541.4943 460.9909,-1532.1945 459.1594,-1542.6298 466.0667,-1541.4943"/>
</g>
<!-- 32 -->
<g id="node31" class="node">
<title>32</title>
<polygon fill="none" stroke="#000000" points="338,-1354.5 338,-1390.5 392,-1390.5 392,-1354.5 338,-1354.5"/>
<text text-anchor="middle" x="365" y="-1368.8" font-family="Times,serif" font-size="14.00" fill="#000000">33 μs</text>
</g>
<!-- 30&#45;&gt;32 -->
<g id="edge36" class="edge">
<title>30&#45;&gt;32</title>
<path fill="none" stroke="#000000" d="M433.6731,-1496.6807C417.6454,-1484.0639 397.4013,-1465.6246 385,-1445 376.9039,-1431.5354 372.0001,-1414.711 369.0762,-1400.6599"/>
<polygon fill="#000000" stroke="#000000" points="372.4679,-1399.753 367.2062,-1390.5571 365.5848,-1401.0272 372.4679,-1399.753"/>
<text text-anchor="middle" x="420" y="-1466.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 33 -->
<g id="node32" class="node">
<title>33</title>
<polygon fill="none" stroke="#000000" points="463.909,-1409.0493 467.8212,-1409.1479 471.693,-1409.2953 475.5085,-1409.4913 479.2523,-1409.7353 482.9093,-1410.0266 486.4652,-1410.3645 489.9061,-1410.7479 493.2189,-1411.1759 496.3913,-1411.6472 499.4119,-1412.1606 502.2702,-1412.7147 504.9567,-1413.308 507.4628,-1413.9388 509.7811,-1414.6054 511.9052,-1415.3059 513.83,-1416.0385 515.5513,-1416.8012 517.066,-1417.5918 518.3722,-1418.4082 519.4691,-1419.2481 520.3568,-1420.1093 521.0367,-1420.9894 521.5109,-1421.886 521.7826,-1422.7965 521.8556,-1423.7186 521.735,-1424.6497 521.4261,-1425.5873 520.9352,-1426.5287 520.269,-1427.4713 519.4349,-1428.4127 518.4406,-1429.3503 517.2941,-1430.2814 516.0039,-1431.2035 514.5784,-1432.114 513.0264,-1433.0106 511.3564,-1433.8907 509.5771,-1434.7519 507.6971,-1435.5918 505.7247,-1436.4082 503.6681,-1437.1988 501.5352,-1437.9615 499.3334,-1438.6941 497.0699,-1439.3946 494.7516,-1440.0612 492.3848,-1440.692 489.9754,-1441.2853 487.5288,-1441.8394 485.0501,-1442.3528 482.5438,-1442.8241 480.0141,-1443.2521 477.4648,-1443.6355 474.899,-1443.9734 472.3198,-1444.2647 469.7298,-1444.5087 467.1315,-1444.7047 464.5268,-1444.8521 461.9178,-1444.9507 459.3062,-1445 456.6938,-1445 454.0822,-1444.9507 451.4732,-1444.8521 448.8685,-1444.7047 446.2702,-1444.5087 443.6802,-1444.2647 441.101,-1443.9734 438.5352,-1443.6355 435.9859,-1443.2521 433.4562,-1442.8241 430.9499,-1442.3528 428.4712,-1441.8394 426.0246,-1441.2853 423.6152,-1440.692 421.2484,-1440.0612 418.9301,-1439.3946 416.6666,-1438.6941 414.4648,-1437.9615 412.3319,-1437.1988 410.2753,-1436.4082 408.3029,-1435.5918 406.4229,-1434.7519 404.6436,-1433.8907 402.9736,-1433.0106 401.4216,-1432.114 399.9961,-1431.2035 398.7059,-1430.2814 397.5594,-1429.3503 396.5651,-1428.4127 395.731,-1427.4713 395.0648,-1426.5287 394.5739,-1425.5873 394.265,-1424.6497 394.1444,-1423.7186 394.2174,-1422.7965 394.4891,-1421.886 394.9633,-1420.9894 395.6432,-1420.1093 396.5309,-1419.2481 397.6278,-1418.4082 398.934,-1417.5918 400.4487,-1416.8012 402.17,-1416.0385 404.0948,-1415.3059 406.2189,-1414.6054 408.5372,-1413.9388 411.0433,-1413.308 413.7298,-1412.7147 416.5881,-1412.1606 419.6087,-1411.6472 422.7811,-1411.1759 426.0939,-1410.7479 429.5348,-1410.3645 433.0907,-1410.0266 436.7477,-1409.7353 440.4915,-1409.4913 444.307,-1409.2953 448.1788,-1409.1479 452.091,-1409.0493 456.0276,-1409 459.9724,-1409 463.909,-1409.0493"/>
<text text-anchor="middle" x="458" y="-1423.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 31)</text>
</g>
<!-- 30&#45;&gt;33 -->
<g id="edge37" class="edge">
<title>30&#45;&gt;33</title>
<path fill="none" stroke="#000000" d="M458,-1495.9735C458,-1484.1918 458,-1468.5607 458,-1455.1581"/>
<polygon fill="#000000" stroke="#000000" points="461.5001,-1455.0033 458,-1445.0034 454.5001,-1455.0034 461.5001,-1455.0033"/>
<text text-anchor="middle" x="471.5" y="-1466.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 31 -->
<g id="node33" class="node">
<title>31</title>
<polygon fill="none" stroke="#000000" points="384,-182 329.5385,-164 384,-146 438.4615,-164 384,-182"/>
<text text-anchor="middle" x="384" y="-160.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 31</text>
</g>
<!-- 32&#45;&gt;31 -->
<g id="edge38" class="edge">
<title>32&#45;&gt;31</title>
<path fill="none" stroke="#000000" d="M344.0149,-1354.3086C326.7126,-1337.1937 305,-1309.8659 305,-1280.5 305,-1280.5 305,-1280.5 305,-237 305,-210.5292 329.2211,-190.9912 350.8403,-178.8244"/>
<polygon fill="#000000" stroke="#000000" points="352.656,-181.8238 359.8681,-174.0626 349.3902,-175.6322 352.656,-181.8238"/>
</g>
<!-- 34 -->
<g id="node34" class="node">
<title>34</title>
<polygon fill="none" stroke="#000000" points="405,-1299.5 405,-1335.5 459,-1335.5 459,-1299.5 405,-1299.5"/>
<text text-anchor="middle" x="432" y="-1313.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 33&#45;&gt;34 -->
<g id="edge40" class="edge">
<title>33&#45;&gt;34</title>
<path fill="none" stroke="#000000" d="M453.3588,-1408.7013C451.9389,-1403.0326 450.3866,-1396.7625 449,-1391 445.3863,-1375.982 441.4941,-1359.2019 438.3471,-1345.4706"/>
<polygon fill="#000000" stroke="#000000" points="441.7416,-1344.6138 436.1027,-1335.6442 434.9173,-1346.1725 441.7416,-1344.6138"/>
<text text-anchor="middle" x="459" y="-1368.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 35 -->
<g id="node35" class="node">
<title>35</title>
<polygon fill="none" stroke="#000000" points="513,-1299.5 513,-1335.5 567,-1335.5 567,-1299.5 513,-1299.5"/>
<text text-anchor="middle" x="540" y="-1313.8" font-family="Times,serif" font-size="14.00" fill="#000000">1.3 μs</text>
</g>
<!-- 33&#45;&gt;35 -->
<g id="edge41" class="edge">
<title>33&#45;&gt;35</title>
<path fill="none" stroke="#000000" d="M471.5406,-1408.9183C484.8348,-1391.1658 505.2573,-1363.8943 520.339,-1343.7546"/>
<polygon fill="#000000" stroke="#000000" points="523.2466,-1345.7109 526.4393,-1335.6086 517.6435,-1341.515 523.2466,-1345.7109"/>
<text text-anchor="middle" x="524.5" y="-1368.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 31&#45;&gt;3 -->
<g id="edge39" class="edge">
<title>31&#45;&gt;3</title>
<path fill="none" stroke="#000000" d="M358.2457,-154.4565C323.1092,-141.4364 260.0695,-118.0765 221.0598,-103.6212"/>
<polygon fill="#000000" stroke="#000000" points="221.8077,-100.1658 211.2147,-99.9729 219.3754,-106.7296 221.8077,-100.1658"/>
</g>
<!-- 36 -->
<g id="node36" class="node">
<title>36</title>
<polygon fill="none" stroke="#000000" points="414.909,-1226.0493 418.8212,-1226.1479 422.693,-1226.2953 426.5085,-1226.4913 430.2523,-1226.7353 433.9093,-1227.0266 437.4652,-1227.3645 440.9061,-1227.7479 444.2189,-1228.1759 447.3913,-1228.6472 450.4119,-1229.1606 453.2702,-1229.7147 455.9567,-1230.308 458.4628,-1230.9388 460.7811,-1231.6054 462.9052,-1232.3059 464.83,-1233.0385 466.5513,-1233.8012 468.066,-1234.5918 469.3722,-1235.4082 470.4691,-1236.2481 471.3568,-1237.1093 472.0367,-1237.9894 472.5109,-1238.886 472.7826,-1239.7965 472.8556,-1240.7186 472.735,-1241.6497 472.4261,-1242.5873 471.9352,-1243.5287 471.269,-1244.4713 470.4349,-1245.4127 469.4406,-1246.3503 468.2941,-1247.2814 467.0039,-1248.2035 465.5784,-1249.114 464.0264,-1250.0106 462.3564,-1250.8907 460.5771,-1251.7519 458.6971,-1252.5918 456.7247,-1253.4082 454.6681,-1254.1988 452.5352,-1254.9615 450.3334,-1255.6941 448.0699,-1256.3946 445.7516,-1257.0612 443.3848,-1257.692 440.9754,-1258.2853 438.5288,-1258.8394 436.0501,-1259.3528 433.5438,-1259.8241 431.0141,-1260.2521 428.4648,-1260.6355 425.899,-1260.9734 423.3198,-1261.2647 420.7298,-1261.5087 418.1315,-1261.7047 415.5268,-1261.8521 412.9178,-1261.9507 410.3062,-1262 407.6938,-1262 405.0822,-1261.9507 402.4732,-1261.8521 399.8685,-1261.7047 397.2702,-1261.5087 394.6802,-1261.2647 392.101,-1260.9734 389.5352,-1260.6355 386.9859,-1260.2521 384.4562,-1259.8241 381.9499,-1259.3528 379.4712,-1258.8394 377.0246,-1258.2853 374.6152,-1257.692 372.2484,-1257.0612 369.9301,-1256.3946 367.6666,-1255.6941 365.4648,-1254.9615 363.3319,-1254.1988 361.2753,-1253.4082 359.3029,-1252.5918 357.4229,-1251.7519 355.6436,-1250.8907 353.9736,-1250.0106 352.4216,-1249.114 350.9961,-1248.2035 349.7059,-1247.2814 348.5594,-1246.3503 347.5651,-1245.4127 346.731,-1244.4713 346.0648,-1243.5287 345.5739,-1242.5873 345.265,-1241.6497 345.1444,-1240.7186 345.2174,-1239.7965 345.4891,-1238.886 345.9633,-1237.9894 346.6432,-1237.1093 347.5309,-1236.2481 348.6278,-1235.4082 349.934,-1234.5918 351.4487,-1233.8012 353.17,-1233.0385 355.0948,-1232.3059 357.2189,-1231.6054 359.5372,-1230.9388 362.0433,-1230.308 364.7298,-1229.7147 367.5881,-1229.1606 370.6087,-1228.6472 373.7811,-1228.1759 377.0939,-1227.7479 380.5348,-1227.3645 384.0907,-1227.0266 387.7477,-1226.7353 391.4915,-1226.4913 395.307,-1226.2953 399.1788,-1226.1479 403.091,-1226.0493 407.0276,-1226 410.9724,-1226 414.909,-1226.0493"/>
<text text-anchor="middle" x="409" y="-1240.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 37)</text>
</g>
<!-- 34&#45;&gt;36 -->
<g id="edge42" class="edge">
<title>34&#45;&gt;36</title>
<path fill="none" stroke="#000000" d="M426.3146,-1299.3315C423.6965,-1290.9648 420.5327,-1280.8545 417.6296,-1271.5773"/>
<polygon fill="#000000" stroke="#000000" points="420.9468,-1270.4579 414.62,-1261.9596 414.2662,-1272.5485 420.9468,-1270.4579"/>
</g>
<!-- 40 -->
<g id="node40" class="node">
<title>40</title>
<polygon fill="none" stroke="#000000" points="559.909,-1226.0493 563.8212,-1226.1479 567.693,-1226.2953 571.5085,-1226.4913 575.2523,-1226.7353 578.9093,-1227.0266 582.4652,-1227.3645 585.9061,-1227.7479 589.2189,-1228.1759 592.3913,-1228.6472 595.4119,-1229.1606 598.2702,-1229.7147 600.9567,-1230.308 603.4628,-1230.9388 605.7811,-1231.6054 607.9052,-1232.3059 609.83,-1233.0385 611.5513,-1233.8012 613.066,-1234.5918 614.3722,-1235.4082 615.4691,-1236.2481 616.3568,-1237.1093 617.0367,-1237.9894 617.5109,-1238.886 617.7826,-1239.7965 617.8556,-1240.7186 617.735,-1241.6497 617.4261,-1242.5873 616.9352,-1243.5287 616.269,-1244.4713 615.4349,-1245.4127 614.4406,-1246.3503 613.2941,-1247.2814 612.0039,-1248.2035 610.5784,-1249.114 609.0264,-1250.0106 607.3564,-1250.8907 605.5771,-1251.7519 603.6971,-1252.5918 601.7247,-1253.4082 599.6681,-1254.1988 597.5352,-1254.9615 595.3334,-1255.6941 593.0699,-1256.3946 590.7516,-1257.0612 588.3848,-1257.692 585.9754,-1258.2853 583.5288,-1258.8394 581.0501,-1259.3528 578.5438,-1259.8241 576.0141,-1260.2521 573.4648,-1260.6355 570.899,-1260.9734 568.3198,-1261.2647 565.7298,-1261.5087 563.1315,-1261.7047 560.5268,-1261.8521 557.9178,-1261.9507 555.3062,-1262 552.6938,-1262 550.0822,-1261.9507 547.4732,-1261.8521 544.8685,-1261.7047 542.2702,-1261.5087 539.6802,-1261.2647 537.101,-1260.9734 534.5352,-1260.6355 531.9859,-1260.2521 529.4562,-1259.8241 526.9499,-1259.3528 524.4712,-1258.8394 522.0246,-1258.2853 519.6152,-1257.692 517.2484,-1257.0612 514.9301,-1256.3946 512.6666,-1255.6941 510.4648,-1254.9615 508.3319,-1254.1988 506.2753,-1253.4082 504.3029,-1252.5918 502.4229,-1251.7519 500.6436,-1250.8907 498.9736,-1250.0106 497.4216,-1249.114 495.9961,-1248.2035 494.7059,-1247.2814 493.5594,-1246.3503 492.5651,-1245.4127 491.731,-1244.4713 491.0648,-1243.5287 490.5739,-1242.5873 490.265,-1241.6497 490.1444,-1240.7186 490.2174,-1239.7965 490.4891,-1238.886 490.9633,-1237.9894 491.6432,-1237.1093 492.5309,-1236.2481 493.6278,-1235.4082 494.934,-1234.5918 496.4487,-1233.8012 498.17,-1233.0385 500.0948,-1232.3059 502.2189,-1231.6054 504.5372,-1230.9388 507.0433,-1230.308 509.7298,-1229.7147 512.5881,-1229.1606 515.6087,-1228.6472 518.7811,-1228.1759 522.0939,-1227.7479 525.5348,-1227.3645 529.0907,-1227.0266 532.7477,-1226.7353 536.4915,-1226.4913 540.307,-1226.2953 544.1788,-1226.1479 548.091,-1226.0493 552.0276,-1226 555.9724,-1226 559.909,-1226.0493"/>
<text text-anchor="middle" x="554" y="-1240.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 31)</text>
</g>
<!-- 35&#45;&gt;40 -->
<g id="edge48" class="edge">
<title>35&#45;&gt;40</title>
<path fill="none" stroke="#000000" d="M543.4607,-1299.3315C545.0256,-1291.1156 546.9108,-1281.2184 548.6515,-1272.0797"/>
<polygon fill="#000000" stroke="#000000" points="552.0976,-1272.6926 550.5306,-1262.2143 545.2212,-1271.3827 552.0976,-1272.6926"/>
</g>
<!-- 38 -->
<g id="node37" class="node">
<title>38</title>
<polygon fill="none" stroke="#000000" points="338,-1138.5 338,-1174.5 392,-1174.5 392,-1138.5 338,-1138.5"/>
<text text-anchor="middle" x="365" y="-1152.8" font-family="Times,serif" font-size="14.00" fill="#000000">21 μs</text>
</g>
<!-- 36&#45;&gt;38 -->
<g id="edge43" class="edge">
<title>36&#45;&gt;38</title>
<path fill="none" stroke="#000000" d="M399.8832,-1225.8699C393.7476,-1213.6685 385.5478,-1197.3622 378.6399,-1183.6248"/>
<polygon fill="#000000" stroke="#000000" points="381.7247,-1181.9685 374.1051,-1174.6068 375.4708,-1185.1133 381.7247,-1181.9685"/>
<text text-anchor="middle" x="399" y="-1196.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 39 -->
<g id="node38" class="node">
<title>39</title>
<polygon fill="none" stroke="#000000" points="410,-1138.5 410,-1174.5 464,-1174.5 464,-1138.5 410,-1138.5"/>
<text text-anchor="middle" x="437" y="-1152.8" font-family="Times,serif" font-size="14.00" fill="#000000">21 μs</text>
</g>
<!-- 36&#45;&gt;39 -->
<g id="edge44" class="edge">
<title>36&#45;&gt;39</title>
<path fill="none" stroke="#000000" d="M414.8016,-1225.8699C418.631,-1213.9031 423.7239,-1197.9878 428.0655,-1184.4202"/>
<polygon fill="#000000" stroke="#000000" points="431.4915,-1185.1978 431.2058,-1174.6068 424.8245,-1183.0643 431.4915,-1185.1978"/>
<text text-anchor="middle" x="437.5" y="-1196.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 37 -->
<g id="node39" class="node">
<title>37</title>
<polygon fill="none" stroke="#000000" points="387,-1087 332.5385,-1069 387,-1051 441.4615,-1069 387,-1087"/>
<text text-anchor="middle" x="387" y="-1065.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 37</text>
</g>
<!-- 38&#45;&gt;37 -->
<g id="edge45" class="edge">
<title>38&#45;&gt;37</title>
<path fill="none" stroke="#000000" d="M369.5584,-1138.3699C372.6675,-1126.0042 376.8366,-1109.4224 380.3192,-1095.5715"/>
<polygon fill="#000000" stroke="#000000" points="383.7754,-1096.1786 382.8195,-1085.627 376.9867,-1094.4717 383.7754,-1096.1786"/>
</g>
<!-- 39&#45;&gt;37 -->
<g id="edge47" class="edge">
<title>39&#45;&gt;37</title>
<path fill="none" stroke="#000000" d="M426.64,-1138.3699C419.1314,-1125.2299 408.9024,-1107.3292 400.7162,-1093.0033"/>
<polygon fill="#000000" stroke="#000000" points="403.6811,-1091.1373 395.6808,-1084.1914 397.6034,-1094.6103 403.6811,-1091.1373"/>
</g>
<!-- 37&#45;&gt;31 -->
<g id="edge46" class="edge">
<title>37&#45;&gt;31</title>
<path fill="none" stroke="#000000" d="M386.2118,-1051.1758C385.3229,-1029.5088 384,-991.8298 384,-959.5 384,-959.5 384,-959.5 384,-237 384,-222.2996 384,-205.934 384,-192.4302"/>
<polygon fill="#000000" stroke="#000000" points="387.5001,-192.3003 384,-182.3003 380.5001,-192.3004 387.5001,-192.3003"/>
</g>
<!-- 41 -->
<g id="node41" class="node">
<title>41</title>
<polygon fill="none" stroke="#000000" points="496,-1138.5 496,-1174.5 550,-1174.5 550,-1138.5 496,-1138.5"/>
<text text-anchor="middle" x="523" y="-1152.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 40&#45;&gt;41 -->
<g id="edge49" class="edge">
<title>40&#45;&gt;41</title>
<path fill="none" stroke="#000000" d="M547.5768,-1225.8699C543.3371,-1213.9031 537.6985,-1197.9878 532.8917,-1184.4202"/>
<polygon fill="#000000" stroke="#000000" points="536.0536,-1182.8639 529.415,-1174.6068 529.4555,-1185.2016 536.0536,-1182.8639"/>
<text text-anchor="middle" x="550" y="-1196.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 42 -->
<g id="node42" class="node">
<title>42</title>
<polygon fill="none" stroke="#000000" points="637.909,-1138.5493 641.8212,-1138.6479 645.693,-1138.7953 649.5085,-1138.9913 653.2523,-1139.2353 656.9093,-1139.5266 660.4652,-1139.8645 663.9061,-1140.2479 667.2189,-1140.6759 670.3913,-1141.1472 673.4119,-1141.6606 676.2702,-1142.2147 678.9567,-1142.808 681.4628,-1143.4388 683.7811,-1144.1054 685.9052,-1144.8059 687.83,-1145.5385 689.5513,-1146.3012 691.066,-1147.0918 692.3722,-1147.9082 693.4691,-1148.7481 694.3568,-1149.6093 695.0367,-1150.4894 695.5109,-1151.386 695.7826,-1152.2965 695.8556,-1153.2186 695.735,-1154.1497 695.4261,-1155.0873 694.9352,-1156.0287 694.269,-1156.9713 693.4349,-1157.9127 692.4406,-1158.8503 691.2941,-1159.7814 690.0039,-1160.7035 688.5784,-1161.614 687.0264,-1162.5106 685.3564,-1163.3907 683.5771,-1164.2519 681.6971,-1165.0918 679.7247,-1165.9082 677.6681,-1166.6988 675.5352,-1167.4615 673.3334,-1168.1941 671.0699,-1168.8946 668.7516,-1169.5612 666.3848,-1170.192 663.9754,-1170.7853 661.5288,-1171.3394 659.0501,-1171.8528 656.5438,-1172.3241 654.0141,-1172.7521 651.4648,-1173.1355 648.899,-1173.4734 646.3198,-1173.7647 643.7298,-1174.0087 641.1315,-1174.2047 638.5268,-1174.3521 635.9178,-1174.4507 633.3062,-1174.5 630.6938,-1174.5 628.0822,-1174.4507 625.4732,-1174.3521 622.8685,-1174.2047 620.2702,-1174.0087 617.6802,-1173.7647 615.101,-1173.4734 612.5352,-1173.1355 609.9859,-1172.7521 607.4562,-1172.3241 604.9499,-1171.8528 602.4712,-1171.3394 600.0246,-1170.7853 597.6152,-1170.192 595.2484,-1169.5612 592.9301,-1168.8946 590.6666,-1168.1941 588.4648,-1167.4615 586.3319,-1166.6988 584.2753,-1165.9082 582.3029,-1165.0918 580.4229,-1164.2519 578.6436,-1163.3907 576.9736,-1162.5106 575.4216,-1161.614 573.9961,-1160.7035 572.7059,-1159.7814 571.5594,-1158.8503 570.5651,-1157.9127 569.731,-1156.9713 569.0648,-1156.0287 568.5739,-1155.0873 568.265,-1154.1497 568.1444,-1153.2186 568.2174,-1152.2965 568.4891,-1151.386 568.9633,-1150.4894 569.6432,-1149.6093 570.5309,-1148.7481 571.6278,-1147.9082 572.934,-1147.0918 574.4487,-1146.3012 576.17,-1145.5385 578.0948,-1144.8059 580.2189,-1144.1054 582.5372,-1143.4388 585.0433,-1142.808 587.7298,-1142.2147 590.5881,-1141.6606 593.6087,-1141.1472 596.7811,-1140.6759 600.0939,-1140.2479 603.5348,-1139.8645 607.0907,-1139.5266 610.7477,-1139.2353 614.4915,-1138.9913 618.307,-1138.7953 622.1788,-1138.6479 626.091,-1138.5493 630.0276,-1138.5 633.9724,-1138.5 637.909,-1138.5493"/>
<text text-anchor="middle" x="632" y="-1152.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 47)</text>
</g>
<!-- 40&#45;&gt;42 -->
<g id="edge50" class="edge">
<title>40&#45;&gt;42</title>
<path fill="none" stroke="#000000" d="M569.7845,-1226.2931C581.2778,-1213.4 597.0004,-1195.7624 609.7642,-1181.444"/>
<polygon fill="#000000" stroke="#000000" points="612.4636,-1183.6757 616.5052,-1173.882 607.2383,-1179.0177 612.4636,-1183.6757"/>
<text text-anchor="middle" x="610.5" y="-1196.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 43 -->
<g id="node43" class="node">
<title>43</title>
<polygon fill="none" stroke="#000000" points="528.909,-1051.0493 532.8212,-1051.1479 536.693,-1051.2953 540.5085,-1051.4913 544.2523,-1051.7353 547.9093,-1052.0266 551.4652,-1052.3645 554.9061,-1052.7479 558.2189,-1053.1759 561.3913,-1053.6472 564.4119,-1054.1606 567.2702,-1054.7147 569.9567,-1055.308 572.4628,-1055.9388 574.7811,-1056.6054 576.9052,-1057.3059 578.83,-1058.0385 580.5513,-1058.8012 582.066,-1059.5918 583.3722,-1060.4082 584.4691,-1061.2481 585.3568,-1062.1093 586.0367,-1062.9894 586.5109,-1063.886 586.7826,-1064.7965 586.8556,-1065.7186 586.735,-1066.6497 586.4261,-1067.5873 585.9352,-1068.5287 585.269,-1069.4713 584.4349,-1070.4127 583.4406,-1071.3503 582.2941,-1072.2814 581.0039,-1073.2035 579.5784,-1074.114 578.0264,-1075.0106 576.3564,-1075.8907 574.5771,-1076.7519 572.6971,-1077.5918 570.7247,-1078.4082 568.6681,-1079.1988 566.5352,-1079.9615 564.3334,-1080.6941 562.0699,-1081.3946 559.7516,-1082.0612 557.3848,-1082.692 554.9754,-1083.2853 552.5288,-1083.8394 550.0501,-1084.3528 547.5438,-1084.8241 545.0141,-1085.2521 542.4648,-1085.6355 539.899,-1085.9734 537.3198,-1086.2647 534.7298,-1086.5087 532.1315,-1086.7047 529.5268,-1086.8521 526.9178,-1086.9507 524.3062,-1087 521.6938,-1087 519.0822,-1086.9507 516.4732,-1086.8521 513.8685,-1086.7047 511.2702,-1086.5087 508.6802,-1086.2647 506.101,-1085.9734 503.5352,-1085.6355 500.9859,-1085.2521 498.4562,-1084.8241 495.9499,-1084.3528 493.4712,-1083.8394 491.0246,-1083.2853 488.6152,-1082.692 486.2484,-1082.0612 483.9301,-1081.3946 481.6666,-1080.6941 479.4648,-1079.9615 477.3319,-1079.1988 475.2753,-1078.4082 473.3029,-1077.5918 471.4229,-1076.7519 469.6436,-1075.8907 467.9736,-1075.0106 466.4216,-1074.114 464.9961,-1073.2035 463.7059,-1072.2814 462.5594,-1071.3503 461.5651,-1070.4127 460.731,-1069.4713 460.0648,-1068.5287 459.5739,-1067.5873 459.265,-1066.6497 459.1444,-1065.7186 459.2174,-1064.7965 459.4891,-1063.886 459.9633,-1062.9894 460.6432,-1062.1093 461.5309,-1061.2481 462.6278,-1060.4082 463.934,-1059.5918 465.4487,-1058.8012 467.17,-1058.0385 469.0948,-1057.3059 471.2189,-1056.6054 473.5372,-1055.9388 476.0433,-1055.308 478.7298,-1054.7147 481.5881,-1054.1606 484.6087,-1053.6472 487.7811,-1053.1759 491.0939,-1052.7479 494.5348,-1052.3645 498.0907,-1052.0266 501.7477,-1051.7353 505.4915,-1051.4913 509.307,-1051.2953 513.1788,-1051.1479 517.091,-1051.0493 521.0276,-1051 524.9724,-1051 528.909,-1051.0493"/>
<text text-anchor="middle" x="523" y="-1065.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 44)</text>
</g>
<!-- 41&#45;&gt;43 -->
<g id="edge51" class="edge">
<title>41&#45;&gt;43</title>
<path fill="none" stroke="#000000" d="M523,-1138.3699C523,-1126.5205 523,-1110.7995 523,-1097.3199"/>
<polygon fill="#000000" stroke="#000000" points="526.5001,-1097.1068 523,-1087.1068 519.5001,-1097.1069 526.5001,-1097.1068"/>
</g>
<!-- 48 -->
<g id="node47" class="node">
<title>48</title>
<polygon fill="none" stroke="#000000" points="578,-996.5 578,-1032.5 632,-1032.5 632,-996.5 578,-996.5"/>
<text text-anchor="middle" x="605" y="-1010.8" font-family="Times,serif" font-size="14.00" fill="#000000">11 μs</text>
</g>
<!-- 42&#45;&gt;48 -->
<g id="edge57" class="edge">
<title>42&#45;&gt;48</title>
<path fill="none" stroke="#000000" d="M628.5804,-1138.5156C624.0004,-1114.4278 615.8238,-1071.4254 610.4054,-1042.9287"/>
<polygon fill="#000000" stroke="#000000" points="613.7835,-1041.9571 608.4771,-1032.7869 606.9067,-1043.2647 613.7835,-1041.9571"/>
<text text-anchor="middle" x="634" y="-1108.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 49 -->
<g id="node48" class="node">
<title>49</title>
<polygon fill="none" stroke="#000000" points="712.909,-1051.0493 716.8212,-1051.1479 720.693,-1051.2953 724.5085,-1051.4913 728.2523,-1051.7353 731.9093,-1052.0266 735.4652,-1052.3645 738.9061,-1052.7479 742.2189,-1053.1759 745.3913,-1053.6472 748.4119,-1054.1606 751.2702,-1054.7147 753.9567,-1055.308 756.4628,-1055.9388 758.7811,-1056.6054 760.9052,-1057.3059 762.83,-1058.0385 764.5513,-1058.8012 766.066,-1059.5918 767.3722,-1060.4082 768.4691,-1061.2481 769.3568,-1062.1093 770.0367,-1062.9894 770.5109,-1063.886 770.7826,-1064.7965 770.8556,-1065.7186 770.735,-1066.6497 770.4261,-1067.5873 769.9352,-1068.5287 769.269,-1069.4713 768.4349,-1070.4127 767.4406,-1071.3503 766.2941,-1072.2814 765.0039,-1073.2035 763.5784,-1074.114 762.0264,-1075.0106 760.3564,-1075.8907 758.5771,-1076.7519 756.6971,-1077.5918 754.7247,-1078.4082 752.6681,-1079.1988 750.5352,-1079.9615 748.3334,-1080.6941 746.0699,-1081.3946 743.7516,-1082.0612 741.3848,-1082.692 738.9754,-1083.2853 736.5288,-1083.8394 734.0501,-1084.3528 731.5438,-1084.8241 729.0141,-1085.2521 726.4648,-1085.6355 723.899,-1085.9734 721.3198,-1086.2647 718.7298,-1086.5087 716.1315,-1086.7047 713.5268,-1086.8521 710.9178,-1086.9507 708.3062,-1087 705.6938,-1087 703.0822,-1086.9507 700.4732,-1086.8521 697.8685,-1086.7047 695.2702,-1086.5087 692.6802,-1086.2647 690.101,-1085.9734 687.5352,-1085.6355 684.9859,-1085.2521 682.4562,-1084.8241 679.9499,-1084.3528 677.4712,-1083.8394 675.0246,-1083.2853 672.6152,-1082.692 670.2484,-1082.0612 667.9301,-1081.3946 665.6666,-1080.6941 663.4648,-1079.9615 661.3319,-1079.1988 659.2753,-1078.4082 657.3029,-1077.5918 655.4229,-1076.7519 653.6436,-1075.8907 651.9736,-1075.0106 650.4216,-1074.114 648.9961,-1073.2035 647.7059,-1072.2814 646.5594,-1071.3503 645.5651,-1070.4127 644.731,-1069.4713 644.0648,-1068.5287 643.5739,-1067.5873 643.265,-1066.6497 643.1444,-1065.7186 643.2174,-1064.7965 643.4891,-1063.886 643.9633,-1062.9894 644.6432,-1062.1093 645.5309,-1061.2481 646.6278,-1060.4082 647.934,-1059.5918 649.4487,-1058.8012 651.17,-1058.0385 653.0948,-1057.3059 655.2189,-1056.6054 657.5372,-1055.9388 660.0433,-1055.308 662.7298,-1054.7147 665.5881,-1054.1606 668.6087,-1053.6472 671.7811,-1053.1759 675.0939,-1052.7479 678.5348,-1052.3645 682.0907,-1052.0266 685.7477,-1051.7353 689.4915,-1051.4913 693.307,-1051.2953 697.1788,-1051.1479 701.091,-1051.0493 705.0276,-1051 708.9724,-1051 712.909,-1051.0493"/>
<text text-anchor="middle" x="707" y="-1065.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 47)</text>
</g>
<!-- 42&#45;&gt;49 -->
<g id="edge58" class="edge">
<title>42&#45;&gt;49</title>
<path fill="none" stroke="#000000" d="M647.1774,-1138.7931C658.1263,-1126.0193 673.0669,-1108.5886 685.2778,-1094.3426"/>
<polygon fill="#000000" stroke="#000000" points="688.2506,-1096.2524 692.1012,-1086.382 682.9358,-1091.6968 688.2506,-1096.2524"/>
<text text-anchor="middle" x="686.5" y="-1108.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 45 -->
<g id="node44" class="node">
<title>45</title>
<polygon fill="none" stroke="#000000" points="433,-941.5 433,-977.5 487,-977.5 487,-941.5 433,-941.5"/>
<text text-anchor="middle" x="460" y="-955.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 43&#45;&gt;45 -->
<g id="edge52" class="edge">
<title>43&#45;&gt;45</title>
<path fill="none" stroke="#000000" d="M512.5004,-1051.0731C509.1355,-1045.3086 505.4008,-1038.8902 502,-1033 493.1634,-1017.6949 483.3613,-1000.551 475.4506,-986.6726"/>
<polygon fill="#000000" stroke="#000000" points="478.3016,-984.6063 470.3112,-977.649 472.219,-988.0707 478.3016,-984.6063"/>
<text text-anchor="middle" x="512" y="-1010.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 46 -->
<g id="node45" class="node">
<title>46</title>
<polygon fill="none" stroke="#000000" points="505,-941.5 505,-977.5 559,-977.5 559,-941.5 505,-941.5"/>
<text text-anchor="middle" x="532" y="-955.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 43&#45;&gt;46 -->
<g id="edge53" class="edge">
<title>43&#45;&gt;46</title>
<path fill="none" stroke="#000000" d="M524.4862,-1050.9183C525.8997,-1033.7206 528.0474,-1007.5894 529.6852,-987.6631"/>
<polygon fill="#000000" stroke="#000000" points="533.1806,-987.8617 530.5116,-977.6086 526.2041,-987.2882 533.1806,-987.8617"/>
<text text-anchor="middle" x="541.5" y="-1010.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 44 -->
<g id="node46" class="node">
<title>44</title>
<polygon fill="none" stroke="#000000" points="466,-868 411.5385,-850 466,-832 520.4615,-850 466,-868"/>
<text text-anchor="middle" x="466" y="-846.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 44</text>
</g>
<!-- 45&#45;&gt;44 -->
<g id="edge54" class="edge">
<title>45&#45;&gt;44</title>
<path fill="none" stroke="#000000" d="M460.9908,-941.4183C461.9388,-924.1176 463.3821,-897.7762 464.4764,-877.8058"/>
<polygon fill="#000000" stroke="#000000" points="467.9752,-877.9218 465.0277,-867.7452 460.9857,-877.5387 467.9752,-877.9218"/>
</g>
<!-- 46&#45;&gt;44 -->
<g id="edge56" class="edge">
<title>46&#45;&gt;44</title>
<path fill="none" stroke="#000000" d="M521.1014,-941.4183C509.9888,-922.9815 492.6879,-894.2776 480.4407,-873.9584"/>
<polygon fill="#000000" stroke="#000000" points="483.3694,-872.0373 475.2096,-865.2795 477.3742,-875.6509 483.3694,-872.0373"/>
</g>
<!-- 44&#45;&gt;31 -->
<g id="edge55" class="edge">
<title>44&#45;&gt;31</title>
<path fill="none" stroke="#000000" d="M459.3993,-833.8557C452.919,-816.524 444,-788.032 444,-762.5 444,-762.5 444,-762.5 444,-237 444,-214.648 427.0041,-195.4103 411.1036,-182.3035"/>
<polygon fill="#000000" stroke="#000000" points="413.036,-179.3733 402.9844,-176.0242 408.7536,-184.9106 413.036,-179.3733"/>
</g>
<!-- 47 -->
<g id="node49" class="node">
<title>47</title>
<polygon fill="none" stroke="#000000" points="631,-707 576.5385,-689 631,-671 685.4615,-689 631,-707"/>
<text text-anchor="middle" x="631" y="-685.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 47</text>
</g>
<!-- 48&#45;&gt;47 -->
<g id="edge59" class="edge">
<title>48&#45;&gt;47</title>
<path fill="none" stroke="#000000" d="M601.7842,-996.2708C598.2297,-974.5053 593,-936.9658 593,-904.5 593,-904.5 593,-904.5 593,-762.5 593,-743.8817 602.7404,-725.2758 612.3583,-711.4421"/>
<polygon fill="#000000" stroke="#000000" points="615.4088,-713.2046 618.5574,-703.0884 609.7875,-709.0332 615.4088,-713.2046"/>
</g>
<!-- 58 -->
<g id="node58" class="node">
<title>58</title>
<polygon fill="none" stroke="#000000" points="624,-886.5 624,-922.5 678,-922.5 678,-886.5 624,-886.5"/>
<text text-anchor="middle" x="651" y="-900.8" font-family="Times,serif" font-size="14.00" fill="#000000">11 μs</text>
</g>
<!-- 49&#45;&gt;58 -->
<g id="edge72" class="edge">
<title>49&#45;&gt;58</title>
<path fill="none" stroke="#000000" d="M696.5892,-1051.0314C693.5668,-1045.3762 690.4296,-1039.0307 688,-1033 674.5039,-999.5011 663.7472,-959.2635 657.3844,-932.8475"/>
<polygon fill="#000000" stroke="#000000" points="660.7099,-931.7 655.0089,-922.7698 653.8966,-933.306 660.7099,-931.7"/>
<text text-anchor="middle" x="698" y="-1010.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 59 -->
<g id="node59" class="node">
<title>59</title>
<polygon fill="none" stroke="#000000" points="695,-941.5 695,-977.5 749,-977.5 749,-941.5 695,-941.5"/>
<text text-anchor="middle" x="722" y="-955.8" font-family="Times,serif" font-size="14.00" fill="#000000">1.1 μs</text>
</g>
<!-- 49&#45;&gt;59 -->
<g id="edge73" class="edge">
<title>49&#45;&gt;59</title>
<path fill="none" stroke="#000000" d="M709.4769,-1050.9183C711.8328,-1033.7206 715.4124,-1007.5894 718.142,-987.6631"/>
<polygon fill="#000000" stroke="#000000" points="721.6297,-987.9911 719.5194,-977.6086 714.6945,-987.041 721.6297,-987.9911"/>
<text text-anchor="middle" x="729.5" y="-1010.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 50 -->
<g id="node50" class="node">
<title>50</title>
<polygon fill="none" stroke="#000000" points="604.909,-598.0493 608.8212,-598.1479 612.693,-598.2953 616.5085,-598.4913 620.2523,-598.7353 623.9093,-599.0266 627.4652,-599.3645 630.9061,-599.7479 634.2189,-600.1759 637.3913,-600.6472 640.4119,-601.1606 643.2702,-601.7147 645.9567,-602.308 648.4628,-602.9388 650.7811,-603.6054 652.9052,-604.3059 654.83,-605.0385 656.5513,-605.8012 658.066,-606.5918 659.3722,-607.4082 660.4691,-608.2481 661.3568,-609.1093 662.0367,-609.9894 662.5109,-610.886 662.7826,-611.7965 662.8556,-612.7186 662.735,-613.6497 662.4261,-614.5873 661.9352,-615.5287 661.269,-616.4713 660.4349,-617.4127 659.4406,-618.3503 658.2941,-619.2814 657.0039,-620.2035 655.5784,-621.114 654.0264,-622.0106 652.3564,-622.8907 650.5771,-623.7519 648.6971,-624.5918 646.7247,-625.4082 644.6681,-626.1988 642.5352,-626.9615 640.3334,-627.6941 638.0699,-628.3946 635.7516,-629.0612 633.3848,-629.692 630.9754,-630.2853 628.5288,-630.8394 626.0501,-631.3528 623.5438,-631.8241 621.0141,-632.2521 618.4648,-632.6355 615.899,-632.9734 613.3198,-633.2647 610.7298,-633.5087 608.1315,-633.7047 605.5268,-633.8521 602.9178,-633.9507 600.3062,-634 597.6938,-634 595.0822,-633.9507 592.4732,-633.8521 589.8685,-633.7047 587.2702,-633.5087 584.6802,-633.2647 582.101,-632.9734 579.5352,-632.6355 576.9859,-632.2521 574.4562,-631.8241 571.9499,-631.3528 569.4712,-630.8394 567.0246,-630.2853 564.6152,-629.692 562.2484,-629.0612 559.9301,-628.3946 557.6666,-627.6941 555.4648,-626.9615 553.3319,-626.1988 551.2753,-625.4082 549.3029,-624.5918 547.4229,-623.7519 545.6436,-622.8907 543.9736,-622.0106 542.4216,-621.114 540.9961,-620.2035 539.7059,-619.2814 538.5594,-618.3503 537.5651,-617.4127 536.731,-616.4713 536.0648,-615.5287 535.5739,-614.5873 535.265,-613.6497 535.1444,-612.7186 535.2174,-611.7965 535.4891,-610.886 535.9633,-609.9894 536.6432,-609.1093 537.5309,-608.2481 538.6278,-607.4082 539.934,-606.5918 541.4487,-605.8012 543.17,-605.0385 545.0948,-604.3059 547.2189,-603.6054 549.5372,-602.9388 552.0433,-602.308 554.7298,-601.7147 557.5881,-601.1606 560.6087,-600.6472 563.7811,-600.1759 567.0939,-599.7479 570.5348,-599.3645 574.0907,-599.0266 577.7477,-598.7353 581.4915,-598.4913 585.307,-598.2953 589.1788,-598.1479 593.091,-598.0493 597.0276,-598 600.9724,-598 604.909,-598.0493"/>
<text text-anchor="middle" x="599" y="-612.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 51)</text>
</g>
<!-- 47&#45;&gt;50 -->
<g id="edge60" class="edge">
<title>47&#45;&gt;50</title>
<path fill="none" stroke="#000000" d="M624.0565,-673.1601C620.2118,-664.3895 615.3269,-653.2458 610.8932,-643.1315"/>
<polygon fill="#000000" stroke="#000000" points="614.0497,-641.6142 606.8294,-633.8607 607.6386,-644.4246 614.0497,-641.6142"/>
</g>
<!-- 52 -->
<g id="node51" class="node">
<title>52</title>
<polygon fill="none" stroke="#000000" points="468,-456.5 468,-492.5 522,-492.5 522,-456.5 468,-456.5"/>
<text text-anchor="middle" x="495" y="-470.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 50&#45;&gt;52 -->
<g id="edge61" class="edge">
<title>50&#45;&gt;52</title>
<path fill="none" stroke="#000000" d="M576.2182,-598.674C560.4858,-585.7864 539.9625,-567.0281 526,-547 516.4875,-533.3551 509.0213,-516.33 503.8018,-502.2075"/>
<polygon fill="#000000" stroke="#000000" points="507.0177,-500.8016 500.4012,-492.5269 500.4133,-503.1217 507.0177,-500.8016"/>
<text text-anchor="middle" x="564" y="-568.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 53 -->
<g id="node52" class="node">
<title>53</title>
<polygon fill="none" stroke="#000000" points="604.909,-511.0493 608.8212,-511.1479 612.693,-511.2953 616.5085,-511.4913 620.2523,-511.7353 623.9093,-512.0266 627.4652,-512.3645 630.9061,-512.7479 634.2189,-513.1759 637.3913,-513.6472 640.4119,-514.1606 643.2702,-514.7147 645.9567,-515.308 648.4628,-515.9388 650.7811,-516.6054 652.9052,-517.3059 654.83,-518.0385 656.5513,-518.8012 658.066,-519.5918 659.3722,-520.4082 660.4691,-521.2481 661.3568,-522.1093 662.0367,-522.9894 662.5109,-523.886 662.7826,-524.7965 662.8556,-525.7186 662.735,-526.6497 662.4261,-527.5873 661.9352,-528.5287 661.269,-529.4713 660.4349,-530.4127 659.4406,-531.3503 658.2941,-532.2814 657.0039,-533.2035 655.5784,-534.114 654.0264,-535.0106 652.3564,-535.8907 650.5771,-536.7519 648.6971,-537.5918 646.7247,-538.4082 644.6681,-539.1988 642.5352,-539.9615 640.3334,-540.6941 638.0699,-541.3946 635.7516,-542.0612 633.3848,-542.692 630.9754,-543.2853 628.5288,-543.8394 626.0501,-544.3528 623.5438,-544.8241 621.0141,-545.2521 618.4648,-545.6355 615.899,-545.9734 613.3198,-546.2647 610.7298,-546.5087 608.1315,-546.7047 605.5268,-546.8521 602.9178,-546.9507 600.3062,-547 597.6938,-547 595.0822,-546.9507 592.4732,-546.8521 589.8685,-546.7047 587.2702,-546.5087 584.6802,-546.2647 582.101,-545.9734 579.5352,-545.6355 576.9859,-545.2521 574.4562,-544.8241 571.9499,-544.3528 569.4712,-543.8394 567.0246,-543.2853 564.6152,-542.692 562.2484,-542.0612 559.9301,-541.3946 557.6666,-540.6941 555.4648,-539.9615 553.3319,-539.1988 551.2753,-538.4082 549.3029,-537.5918 547.4229,-536.7519 545.6436,-535.8907 543.9736,-535.0106 542.4216,-534.114 540.9961,-533.2035 539.7059,-532.2814 538.5594,-531.3503 537.5651,-530.4127 536.731,-529.4713 536.0648,-528.5287 535.5739,-527.5873 535.265,-526.6497 535.1444,-525.7186 535.2174,-524.7965 535.4891,-523.886 535.9633,-522.9894 536.6432,-522.1093 537.5309,-521.2481 538.6278,-520.4082 539.934,-519.5918 541.4487,-518.8012 543.17,-518.0385 545.0948,-517.3059 547.2189,-516.6054 549.5372,-515.9388 552.0433,-515.308 554.7298,-514.7147 557.5881,-514.1606 560.6087,-513.6472 563.7811,-513.1759 567.0939,-512.7479 570.5348,-512.3645 574.0907,-512.0266 577.7477,-511.7353 581.4915,-511.4913 585.307,-511.2953 589.1788,-511.1479 593.091,-511.0493 597.0276,-511 600.9724,-511 604.909,-511.0493"/>
<text text-anchor="middle" x="599" y="-525.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 51)</text>
</g>
<!-- 50&#45;&gt;53 -->
<g id="edge62" class="edge">
<title>50&#45;&gt;53</title>
<path fill="none" stroke="#000000" d="M599,-597.9735C599,-586.1918 599,-570.5607 599,-557.1581"/>
<polygon fill="#000000" stroke="#000000" points="602.5001,-557.0033 599,-547.0034 595.5001,-557.0034 602.5001,-557.0033"/>
<text text-anchor="middle" x="612.5" y="-568.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 51 -->
<g id="node53" class="node">
<title>51</title>
<polygon fill="none" stroke="#000000" points="533,-255 478.5385,-237 533,-219 587.4615,-237 533,-255"/>
<text text-anchor="middle" x="533" y="-233.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 51</text>
</g>
<!-- 52&#45;&gt;51 -->
<g id="edge63" class="edge">
<title>52&#45;&gt;51</title>
<path fill="none" stroke="#000000" d="M496.3941,-456.2601C498.4297,-431.4379 502.675,-385.6788 509,-347 513.6898,-318.3208 521.0269,-285.8528 526.3547,-263.6693"/>
<polygon fill="#000000" stroke="#000000" points="529.8249,-264.211 528.7884,-253.667 523.0234,-262.556 529.8249,-264.211"/>
</g>
<!-- 54 -->
<g id="node54" class="node">
<title>54</title>
<polygon fill="none" stroke="#000000" points="515,-347.5 515,-383.5 569,-383.5 569,-347.5 515,-347.5"/>
<text text-anchor="middle" x="542" y="-361.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 53&#45;&gt;54 -->
<g id="edge65" class="edge">
<title>53&#45;&gt;54</title>
<path fill="none" stroke="#000000" d="M591.6379,-511.0128C584.2711,-492.7572 572.799,-463.6138 564,-438 558.994,-423.4277 553.963,-407.0114 549.9779,-393.4897"/>
<polygon fill="#000000" stroke="#000000" points="553.3101,-392.4139 547.1522,-383.7924 546.5896,-394.3723 553.3101,-392.4139"/>
<text text-anchor="middle" x="594" y="-470.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 55 -->
<g id="node55" class="node">
<title>55</title>
<polygon fill="none" stroke="#000000" points="642.909,-402.0493 646.8212,-402.1479 650.693,-402.2953 654.5085,-402.4913 658.2523,-402.7353 661.9093,-403.0266 665.4652,-403.3645 668.9061,-403.7479 672.2189,-404.1759 675.3913,-404.6472 678.4119,-405.1606 681.2702,-405.7147 683.9567,-406.308 686.4628,-406.9388 688.7811,-407.6054 690.9052,-408.3059 692.83,-409.0385 694.5513,-409.8012 696.066,-410.5918 697.3722,-411.4082 698.4691,-412.2481 699.3568,-413.1093 700.0367,-413.9894 700.5109,-414.886 700.7826,-415.7965 700.8556,-416.7186 700.735,-417.6497 700.4261,-418.5873 699.9352,-419.5287 699.269,-420.4713 698.4349,-421.4127 697.4406,-422.3503 696.2941,-423.2814 695.0039,-424.2035 693.5784,-425.114 692.0264,-426.0106 690.3564,-426.8907 688.5771,-427.7519 686.6971,-428.5918 684.7247,-429.4082 682.6681,-430.1988 680.5352,-430.9615 678.3334,-431.6941 676.0699,-432.3946 673.7516,-433.0612 671.3848,-433.692 668.9754,-434.2853 666.5288,-434.8394 664.0501,-435.3528 661.5438,-435.8241 659.0141,-436.2521 656.4648,-436.6355 653.899,-436.9734 651.3198,-437.2647 648.7298,-437.5087 646.1315,-437.7047 643.5268,-437.8521 640.9178,-437.9507 638.3062,-438 635.6938,-438 633.0822,-437.9507 630.4732,-437.8521 627.8685,-437.7047 625.2702,-437.5087 622.6802,-437.2647 620.101,-436.9734 617.5352,-436.6355 614.9859,-436.2521 612.4562,-435.8241 609.9499,-435.3528 607.4712,-434.8394 605.0246,-434.2853 602.6152,-433.692 600.2484,-433.0612 597.9301,-432.3946 595.6666,-431.6941 593.4648,-430.9615 591.3319,-430.1988 589.2753,-429.4082 587.3029,-428.5918 585.4229,-427.7519 583.6436,-426.8907 581.9736,-426.0106 580.4216,-425.114 578.9961,-424.2035 577.7059,-423.2814 576.5594,-422.3503 575.5651,-421.4127 574.731,-420.4713 574.0648,-419.5287 573.5739,-418.5873 573.265,-417.6497 573.1444,-416.7186 573.2174,-415.7965 573.4891,-414.886 573.9633,-413.9894 574.6432,-413.1093 575.5309,-412.2481 576.6278,-411.4082 577.934,-410.5918 579.4487,-409.8012 581.17,-409.0385 583.0948,-408.3059 585.2189,-407.6054 587.5372,-406.9388 590.0433,-406.308 592.7298,-405.7147 595.5881,-405.1606 598.6087,-404.6472 601.7811,-404.1759 605.0939,-403.7479 608.5348,-403.3645 612.0907,-403.0266 615.7477,-402.7353 619.4915,-402.4913 623.307,-402.2953 627.1788,-402.1479 631.091,-402.0493 635.0276,-402 638.9724,-402 642.909,-402.0493"/>
<text text-anchor="middle" x="637" y="-416.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 51)</text>
</g>
<!-- 53&#45;&gt;55 -->
<g id="edge66" class="edge">
<title>53&#45;&gt;55</title>
<path fill="none" stroke="#000000" d="M605.2749,-511.0009C611.2981,-493.7239 620.4789,-467.3896 627.4171,-447.4877"/>
<polygon fill="#000000" stroke="#000000" points="630.7287,-448.6207 630.7158,-438.0259 624.1188,-446.3163 630.7287,-448.6207"/>
<text text-anchor="middle" x="636.5" y="-470.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 51&#45;&gt;31 -->
<g id="edge64" class="edge">
<title>51&#45;&gt;31</title>
<path fill="none" stroke="#000000" d="M511.0279,-226.1207C496.0862,-218.7323 475.8628,-208.7511 458,-200 444.0625,-193.1719 428.6285,-185.6563 415.4777,-179.2661"/>
<polygon fill="#000000" stroke="#000000" points="416.8839,-176.0581 406.3595,-174.8379 413.8259,-182.3549 416.8839,-176.0581"/>
</g>
<!-- 54&#45;&gt;51 -->
<g id="edge67" class="edge">
<title>54&#45;&gt;51</title>
<path fill="none" stroke="#000000" d="M540.7296,-347.3616C539.227,-325.9077 536.709,-289.956 534.9568,-264.939"/>
<polygon fill="#000000" stroke="#000000" points="538.4253,-264.3646 534.235,-254.6336 531.4424,-264.8538 538.4253,-264.3646"/>
</g>
<!-- 56 -->
<g id="node56" class="node">
<title>56</title>
<polygon fill="none" stroke="#000000" points="561,-292.5 561,-328.5 615,-328.5 615,-292.5 561,-292.5"/>
<text text-anchor="middle" x="588" y="-306.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 55&#45;&gt;56 -->
<g id="edge68" class="edge">
<title>55&#45;&gt;56</title>
<path fill="none" stroke="#000000" d="M628.9086,-401.9183C621.1065,-384.4828 609.1954,-357.8652 600.2345,-337.8403"/>
<polygon fill="#000000" stroke="#000000" points="603.3827,-336.3067 596.1034,-328.6086 596.9933,-339.166 603.3827,-336.3067"/>
<text text-anchor="middle" x="629" y="-361.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 57 -->
<g id="node57" class="node">
<title>57</title>
<polygon fill="none" stroke="#000000" points="633,-292.5 633,-328.5 687,-328.5 687,-292.5 633,-292.5"/>
<text text-anchor="middle" x="660" y="-306.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 55&#45;&gt;57 -->
<g id="edge69" class="edge">
<title>55&#45;&gt;57</title>
<path fill="none" stroke="#000000" d="M640.798,-401.9183C644.4103,-384.7206 649.899,-358.5894 654.0845,-338.6631"/>
<polygon fill="#000000" stroke="#000000" points="657.566,-339.1145 656.1964,-328.6086 650.7154,-337.6755 657.566,-339.1145"/>
<text text-anchor="middle" x="664.5" y="-361.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 56&#45;&gt;51 -->
<g id="edge70" class="edge">
<title>56&#45;&gt;51</title>
<path fill="none" stroke="#000000" d="M574.4045,-292.3315C567.0483,-282.5009 557.8907,-270.263 550.0596,-259.7978"/>
<polygon fill="#000000" stroke="#000000" points="552.6557,-257.4253 543.8621,-251.5157 547.0512,-261.6193 552.6557,-257.4253"/>
</g>
<!-- 57&#45;&gt;51 -->
<g id="edge71" class="edge">
<title>57&#45;&gt;51</title>
<path fill="none" stroke="#000000" d="M632.7553,-294.7324C611.9309,-282.6805 583.2832,-266.1009 562.0287,-253.8001"/>
<polygon fill="#000000" stroke="#000000" points="563.5361,-250.6286 553.1279,-248.6488 560.0298,-256.6872 563.5361,-250.6286"/>
</g>
<!-- 58&#45;&gt;47 -->
<g id="edge74" class="edge">
<title>58&#45;&gt;47</title>
<path fill="none" stroke="#000000" d="M649.3292,-886.4973C645.8339,-848.8356 637.7302,-761.5184 633.5683,-716.6738"/>
<polygon fill="#000000" stroke="#000000" points="637.0333,-716.1327 632.624,-706.499 630.0632,-716.7797 637.0333,-716.1327"/>
</g>
<!-- 60 -->
<g id="node60" class="node">
<title>60</title>
<polygon fill="none" stroke="#000000" points="728.909,-832.0493 732.8212,-832.1479 736.693,-832.2953 740.5085,-832.4913 744.2523,-832.7353 747.9093,-833.0266 751.4652,-833.3645 754.9061,-833.7479 758.2189,-834.1759 761.3913,-834.6472 764.4119,-835.1606 767.2702,-835.7147 769.9567,-836.308 772.4628,-836.9388 774.7811,-837.6054 776.9052,-838.3059 778.83,-839.0385 780.5513,-839.8012 782.066,-840.5918 783.3722,-841.4082 784.4691,-842.2481 785.3568,-843.1093 786.0367,-843.9894 786.5109,-844.886 786.7826,-845.7965 786.8556,-846.7186 786.735,-847.6497 786.4261,-848.5873 785.9352,-849.5287 785.269,-850.4713 784.4349,-851.4127 783.4406,-852.3503 782.2941,-853.2814 781.0039,-854.2035 779.5784,-855.114 778.0264,-856.0106 776.3564,-856.8907 774.5771,-857.7519 772.6971,-858.5918 770.7247,-859.4082 768.6681,-860.1988 766.5352,-860.9615 764.3334,-861.6941 762.0699,-862.3946 759.7516,-863.0612 757.3848,-863.692 754.9754,-864.2853 752.5288,-864.8394 750.0501,-865.3528 747.5438,-865.8241 745.0141,-866.2521 742.4648,-866.6355 739.899,-866.9734 737.3198,-867.2647 734.7298,-867.5087 732.1315,-867.7047 729.5268,-867.8521 726.9178,-867.9507 724.3062,-868 721.6938,-868 719.0822,-867.9507 716.4732,-867.8521 713.8685,-867.7047 711.2702,-867.5087 708.6802,-867.2647 706.101,-866.9734 703.5352,-866.6355 700.9859,-866.2521 698.4562,-865.8241 695.9499,-865.3528 693.4712,-864.8394 691.0246,-864.2853 688.6152,-863.692 686.2484,-863.0612 683.9301,-862.3946 681.6666,-861.6941 679.4648,-860.9615 677.3319,-860.1988 675.2753,-859.4082 673.3029,-858.5918 671.4229,-857.7519 669.6436,-856.8907 667.9736,-856.0106 666.4216,-855.114 664.9961,-854.2035 663.7059,-853.2814 662.5594,-852.3503 661.5651,-851.4127 660.731,-850.4713 660.0648,-849.5287 659.5739,-848.5873 659.265,-847.6497 659.1444,-846.7186 659.2174,-845.7965 659.4891,-844.886 659.9633,-843.9894 660.6432,-843.1093 661.5309,-842.2481 662.6278,-841.4082 663.934,-840.5918 665.4487,-839.8012 667.17,-839.0385 669.0948,-838.3059 671.2189,-837.6054 673.5372,-836.9388 676.0433,-836.308 678.7298,-835.7147 681.5881,-835.1606 684.6087,-834.6472 687.7811,-834.1759 691.0939,-833.7479 694.5348,-833.3645 698.0907,-833.0266 701.7477,-832.7353 705.4915,-832.4913 709.307,-832.2953 713.1788,-832.1479 717.091,-832.0493 721.0276,-832 724.9724,-832 728.909,-832.0493"/>
<text text-anchor="middle" x="723" y="-846.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 47)</text>
</g>
<!-- 59&#45;&gt;60 -->
<g id="edge75" class="edge">
<title>59&#45;&gt;60</title>
<path fill="none" stroke="#000000" d="M722.1651,-941.4183C722.3222,-924.2206 722.5608,-898.0894 722.7428,-878.1631"/>
<polygon fill="#000000" stroke="#000000" points="726.2431,-878.1401 722.8346,-868.1086 719.2434,-878.0761 726.2431,-878.1401"/>
</g>
<!-- 61 -->
<g id="node61" class="node">
<title>61</title>
<polygon fill="none" stroke="#000000" points="659,-744.5 659,-780.5 713,-780.5 713,-744.5 659,-744.5"/>
<text text-anchor="middle" x="686" y="-758.8" font-family="Times,serif" font-size="14.00" fill="#000000">11 μs</text>
</g>
<!-- 60&#45;&gt;61 -->
<g id="edge76" class="edge">
<title>60&#45;&gt;61</title>
<path fill="none" stroke="#000000" d="M715.3336,-831.8699C710.2237,-819.7858 703.4113,-803.6754 697.6378,-790.0218"/>
<polygon fill="#000000" stroke="#000000" points="700.775,-788.4541 693.6566,-780.6068 694.3277,-791.1804 700.775,-788.4541"/>
<text text-anchor="middle" x="716" y="-802.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 62 -->
<g id="node62" class="node">
<title>62</title>
<polygon fill="none" stroke="#000000" points="731,-744.5 731,-780.5 787,-780.5 787,-744.5 731,-744.5"/>
<text text-anchor="middle" x="759" y="-758.8" font-family="Times,serif" font-size="14.00" fill="#000000">10.9 μs</text>
</g>
<!-- 60&#45;&gt;62 -->
<g id="edge77" class="edge">
<title>60&#45;&gt;62</title>
<path fill="none" stroke="#000000" d="M730.4592,-831.8699C735.431,-819.7858 742.0593,-803.6754 747.6767,-790.0218"/>
<polygon fill="#000000" stroke="#000000" points="750.9822,-791.1864 751.5503,-780.6068 744.5087,-788.523 750.9822,-791.1864"/>
<text text-anchor="middle" x="756.5" y="-802.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 61&#45;&gt;47 -->
<g id="edge78" class="edge">
<title>61&#45;&gt;47</title>
<path fill="none" stroke="#000000" d="M672.4045,-744.3315C665.0483,-734.5009 655.8907,-722.263 648.0596,-711.7978"/>
<polygon fill="#000000" stroke="#000000" points="650.6557,-709.4253 641.8621,-703.5157 645.0512,-713.6193 650.6557,-709.4253"/>
</g>
<!-- 62&#45;&gt;47 -->
<g id="edge79" class="edge">
<title>62&#45;&gt;47</title>
<path fill="none" stroke="#000000" d="M730.9099,-746.3701C709.8834,-734.2963 681.211,-717.8321 659.9742,-705.6375"/>
<polygon fill="#000000" stroke="#000000" points="661.4984,-702.4768 651.0836,-700.5324 658.0127,-708.5472 661.4984,-702.4768"/>
</g>
<!-- 63&#45;&gt;27 -->
<g id="edge82" class="edge">
<title>63&#45;&gt;27</title>
<path fill="none" stroke="#000000" d="M470,-1879.3708C470,-1857.7399 470,-1820.4809 470,-1788.5 470,-1788.5 470,-1788.5 470,-1660 470,-1645.2996 470,-1628.934 470,-1615.4302"/>
<polygon fill="#000000" stroke="#000000" points="473.5001,-1615.3003 470,-1605.3003 466.5001,-1615.3004 473.5001,-1615.3003"/>
</g>
<!-- 65 -->
<g id="node65" class="node">
<title>65</title>
<polygon fill="none" stroke="#000000" points="485,-1770.5 485,-1806.5 539,-1806.5 539,-1770.5 485,-1770.5"/>
<text text-anchor="middle" x="512" y="-1784.8" font-family="Times,serif" font-size="14.00" fill="#000000">21 μs</text>
</g>
<!-- 64&#45;&gt;65 -->
<g id="edge83" class="edge">
<title>64&#45;&gt;65</title>
<path fill="none" stroke="#000000" d="M548.0722,-2154.5614C533.2776,-2133.6693 512,-2097.5324 512,-2062.5 512,-2062.5 512,-2062.5 512,-1897.5 512,-1870.1413 512,-1838.92 512,-1816.9245"/>
<polygon fill="#000000" stroke="#000000" points="515.5001,-1816.6292 512,-1806.6292 508.5001,-1816.6292 515.5001,-1816.6292"/>
<text text-anchor="middle" x="522" y="-2003.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 66 -->
<g id="node66" class="node">
<title>66</title>
<polygon fill="none" stroke="#000000" points="609.909,-2044.5493 613.8212,-2044.6479 617.693,-2044.7953 621.5085,-2044.9913 625.2523,-2045.2353 628.9093,-2045.5266 632.4652,-2045.8645 635.9061,-2046.2479 639.2189,-2046.6759 642.3913,-2047.1472 645.4119,-2047.6606 648.2702,-2048.2147 650.9567,-2048.808 653.4628,-2049.4388 655.7811,-2050.1054 657.9052,-2050.8059 659.83,-2051.5385 661.5513,-2052.3012 663.066,-2053.0918 664.3722,-2053.9082 665.4691,-2054.7481 666.3568,-2055.6093 667.0367,-2056.4894 667.5109,-2057.386 667.7826,-2058.2965 667.8556,-2059.2186 667.735,-2060.1497 667.4261,-2061.0873 666.9352,-2062.0287 666.269,-2062.9713 665.4349,-2063.9127 664.4406,-2064.8503 663.2941,-2065.7814 662.0039,-2066.7035 660.5784,-2067.614 659.0264,-2068.5106 657.3564,-2069.3907 655.5771,-2070.2519 653.6971,-2071.0918 651.7247,-2071.9082 649.6681,-2072.6988 647.5352,-2073.4615 645.3334,-2074.1941 643.0699,-2074.8946 640.7516,-2075.5612 638.3848,-2076.192 635.9754,-2076.7853 633.5288,-2077.3394 631.0501,-2077.8528 628.5438,-2078.3241 626.0141,-2078.7521 623.4648,-2079.1355 620.899,-2079.4734 618.3198,-2079.7647 615.7298,-2080.0087 613.1315,-2080.2047 610.5268,-2080.3521 607.9178,-2080.4507 605.3062,-2080.5 602.6938,-2080.5 600.0822,-2080.4507 597.4732,-2080.3521 594.8685,-2080.2047 592.2702,-2080.0087 589.6802,-2079.7647 587.101,-2079.4734 584.5352,-2079.1355 581.9859,-2078.7521 579.4562,-2078.3241 576.9499,-2077.8528 574.4712,-2077.3394 572.0246,-2076.7853 569.6152,-2076.192 567.2484,-2075.5612 564.9301,-2074.8946 562.6666,-2074.1941 560.4648,-2073.4615 558.3319,-2072.6988 556.2753,-2071.9082 554.3029,-2071.0918 552.4229,-2070.2519 550.6436,-2069.3907 548.9736,-2068.5106 547.4216,-2067.614 545.9961,-2066.7035 544.7059,-2065.7814 543.5594,-2064.8503 542.5651,-2063.9127 541.731,-2062.9713 541.0648,-2062.0287 540.5739,-2061.0873 540.265,-2060.1497 540.1444,-2059.2186 540.2174,-2058.2965 540.4891,-2057.386 540.9633,-2056.4894 541.6432,-2055.6093 542.5309,-2054.7481 543.6278,-2053.9082 544.934,-2053.0918 546.4487,-2052.3012 548.17,-2051.5385 550.0948,-2050.8059 552.2189,-2050.1054 554.5372,-2049.4388 557.0433,-2048.808 559.7298,-2048.2147 562.5881,-2047.6606 565.6087,-2047.1472 568.7811,-2046.6759 572.0939,-2046.2479 575.5348,-2045.8645 579.0907,-2045.5266 582.7477,-2045.2353 586.4915,-2044.9913 590.307,-2044.7953 594.1788,-2044.6479 598.091,-2044.5493 602.0276,-2044.5 605.9724,-2044.5 609.909,-2044.5493"/>
<text text-anchor="middle" x="604" y="-2058.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 67)</text>
</g>
<!-- 64&#45;&gt;66 -->
<g id="edge84" class="edge">
<title>64&#45;&gt;66</title>
<path fill="none" stroke="#000000" d="M568.9354,-2154.3357C575.5926,-2136.9002 585.7398,-2110.3244 593.4084,-2090.2398"/>
<polygon fill="#000000" stroke="#000000" points="596.7569,-2091.2819 597.0543,-2080.6912 590.2174,-2088.785 596.7569,-2091.2819"/>
<text text-anchor="middle" x="602.5" y="-2113.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 65&#45;&gt;27 -->
<g id="edge85" class="edge">
<title>65&#45;&gt;27</title>
<path fill="none" stroke="#000000" d="M510.1533,-1770.3604C506.7543,-1739.6254 498.4955,-1675.5303 484,-1623 483.0434,-1619.5335 481.8733,-1615.9396 480.6211,-1612.4238"/>
<polygon fill="#000000" stroke="#000000" points="483.8193,-1610.9876 476.9836,-1602.8929 477.2793,-1613.4836 483.8193,-1610.9876"/>
</g>
<!-- 68 -->
<g id="node67" class="node">
<title>68</title>
<polygon fill="none" stroke="#000000" points="527,-1879.5 527,-1915.5 581,-1915.5 581,-1879.5 527,-1879.5"/>
<text text-anchor="middle" x="554" y="-1893.8" font-family="Times,serif" font-size="14.00" fill="#000000">11 μs</text>
</g>
<!-- 66&#45;&gt;68 -->
<g id="edge86" class="edge">
<title>66&#45;&gt;68</title>
<path fill="none" stroke="#000000" d="M597.7481,-2044.3579C591.4793,-2025.9583 581.6807,-1996.6214 574,-1971 569.5215,-1956.0603 564.9246,-1939.2863 561.269,-1925.5389"/>
<polygon fill="#000000" stroke="#000000" points="564.608,-1924.4742 558.6745,-1915.6967 557.8392,-1926.2585 564.608,-1924.4742"/>
<text text-anchor="middle" x="601" y="-2003.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 69 -->
<g id="node68" class="node">
<title>69</title>
<polygon fill="none" stroke="#000000" points="652.909,-1934.5493 656.8212,-1934.6479 660.693,-1934.7953 664.5085,-1934.9913 668.2523,-1935.2353 671.9093,-1935.5266 675.4652,-1935.8645 678.9061,-1936.2479 682.2189,-1936.6759 685.3913,-1937.1472 688.4119,-1937.6606 691.2702,-1938.2147 693.9567,-1938.808 696.4628,-1939.4388 698.7811,-1940.1054 700.9052,-1940.8059 702.83,-1941.5385 704.5513,-1942.3012 706.066,-1943.0918 707.3722,-1943.9082 708.4691,-1944.7481 709.3568,-1945.6093 710.0367,-1946.4894 710.5109,-1947.386 710.7826,-1948.2965 710.8556,-1949.2186 710.735,-1950.1497 710.4261,-1951.0873 709.9352,-1952.0287 709.269,-1952.9713 708.4349,-1953.9127 707.4406,-1954.8503 706.2941,-1955.7814 705.0039,-1956.7035 703.5784,-1957.614 702.0264,-1958.5106 700.3564,-1959.3907 698.5771,-1960.2519 696.6971,-1961.0918 694.7247,-1961.9082 692.6681,-1962.6988 690.5352,-1963.4615 688.3334,-1964.1941 686.0699,-1964.8946 683.7516,-1965.5612 681.3848,-1966.192 678.9754,-1966.7853 676.5288,-1967.3394 674.0501,-1967.8528 671.5438,-1968.3241 669.0141,-1968.7521 666.4648,-1969.1355 663.899,-1969.4734 661.3198,-1969.7647 658.7298,-1970.0087 656.1315,-1970.2047 653.5268,-1970.3521 650.9178,-1970.4507 648.3062,-1970.5 645.6938,-1970.5 643.0822,-1970.4507 640.4732,-1970.3521 637.8685,-1970.2047 635.2702,-1970.0087 632.6802,-1969.7647 630.101,-1969.4734 627.5352,-1969.1355 624.9859,-1968.7521 622.4562,-1968.3241 619.9499,-1967.8528 617.4712,-1967.3394 615.0246,-1966.7853 612.6152,-1966.192 610.2484,-1965.5612 607.9301,-1964.8946 605.6666,-1964.1941 603.4648,-1963.4615 601.3319,-1962.6988 599.2753,-1961.9082 597.3029,-1961.0918 595.4229,-1960.2519 593.6436,-1959.3907 591.9736,-1958.5106 590.4216,-1957.614 588.9961,-1956.7035 587.7059,-1955.7814 586.5594,-1954.8503 585.5651,-1953.9127 584.731,-1952.9713 584.0648,-1952.0287 583.5739,-1951.0873 583.265,-1950.1497 583.1444,-1949.2186 583.2174,-1948.2965 583.4891,-1947.386 583.9633,-1946.4894 584.6432,-1945.6093 585.5309,-1944.7481 586.6278,-1943.9082 587.934,-1943.0918 589.4487,-1942.3012 591.17,-1941.5385 593.0948,-1940.8059 595.2189,-1940.1054 597.5372,-1939.4388 600.0433,-1938.808 602.7298,-1938.2147 605.5881,-1937.6606 608.6087,-1937.1472 611.7811,-1936.6759 615.0939,-1936.2479 618.5348,-1935.8645 622.0907,-1935.5266 625.7477,-1935.2353 629.4915,-1934.9913 633.307,-1934.7953 637.1788,-1934.6479 641.091,-1934.5493 645.0276,-1934.5 648.9724,-1934.5 652.909,-1934.5493"/>
<text text-anchor="middle" x="647" y="-1948.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 67)</text>
</g>
<!-- 66&#45;&gt;69 -->
<g id="edge87" class="edge">
<title>66&#45;&gt;69</title>
<path fill="none" stroke="#000000" d="M611.1006,-2044.3357C617.9163,-2026.9002 628.305,-2000.3244 636.1562,-1980.2398"/>
<polygon fill="#000000" stroke="#000000" points="639.5078,-1981.2792 639.8889,-1970.6912 632.9882,-1978.7306 639.5078,-1981.2792"/>
<text text-anchor="middle" x="644.5" y="-2003.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 67 -->
<g id="node69" class="node">
<title>67</title>
<polygon fill="none" stroke="#000000" points="592,-1678 537.5385,-1660 592,-1642 646.4615,-1660 592,-1678"/>
<text text-anchor="middle" x="592" y="-1656.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 67</text>
</g>
<!-- 68&#45;&gt;67 -->
<g id="edge88" class="edge">
<title>68&#45;&gt;67</title>
<path fill="none" stroke="#000000" d="M555.3941,-1879.2601C557.4297,-1854.4379 561.675,-1808.6788 568,-1770 572.6898,-1741.3208 580.0269,-1708.8528 585.3547,-1686.6693"/>
<polygon fill="#000000" stroke="#000000" points="588.8249,-1687.211 587.7884,-1676.667 582.0234,-1685.556 588.8249,-1687.211"/>
</g>
<!-- 70 -->
<g id="node70" class="node">
<title>70</title>
<polygon fill="none" stroke="#000000" points="573,-1770.5 573,-1806.5 627,-1806.5 627,-1770.5 573,-1770.5"/>
<text text-anchor="middle" x="600" y="-1784.8" font-family="Times,serif" font-size="14.00" fill="#000000">11 μs</text>
</g>
<!-- 69&#45;&gt;70 -->
<g id="edge90" class="edge">
<title>69&#45;&gt;70</title>
<path fill="none" stroke="#000000" d="M641.7906,-1934.3225C633.6032,-1905.7537 617.664,-1850.1362 608.0111,-1816.4537"/>
<polygon fill="#000000" stroke="#000000" points="611.3523,-1815.4077 605.2327,-1806.7589 604.6232,-1817.3362 611.3523,-1815.4077"/>
<text text-anchor="middle" x="645" y="-1893.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 71 -->
<g id="node71" class="node">
<title>71</title>
<polygon fill="none" stroke="#000000" points="701.909,-1825.0493 705.8212,-1825.1479 709.693,-1825.2953 713.5085,-1825.4913 717.2523,-1825.7353 720.9093,-1826.0266 724.4652,-1826.3645 727.9061,-1826.7479 731.2189,-1827.1759 734.3913,-1827.6472 737.4119,-1828.1606 740.2702,-1828.7147 742.9567,-1829.308 745.4628,-1829.9388 747.7811,-1830.6054 749.9052,-1831.3059 751.83,-1832.0385 753.5513,-1832.8012 755.066,-1833.5918 756.3722,-1834.4082 757.4691,-1835.2481 758.3568,-1836.1093 759.0367,-1836.9894 759.5109,-1837.886 759.7826,-1838.7965 759.8556,-1839.7186 759.735,-1840.6497 759.4261,-1841.5873 758.9352,-1842.5287 758.269,-1843.4713 757.4349,-1844.4127 756.4406,-1845.3503 755.2941,-1846.2814 754.0039,-1847.2035 752.5784,-1848.114 751.0264,-1849.0106 749.3564,-1849.8907 747.5771,-1850.7519 745.6971,-1851.5918 743.7247,-1852.4082 741.6681,-1853.1988 739.5352,-1853.9615 737.3334,-1854.6941 735.0699,-1855.3946 732.7516,-1856.0612 730.3848,-1856.692 727.9754,-1857.2853 725.5288,-1857.8394 723.0501,-1858.3528 720.5438,-1858.8241 718.0141,-1859.2521 715.4648,-1859.6355 712.899,-1859.9734 710.3198,-1860.2647 707.7298,-1860.5087 705.1315,-1860.7047 702.5268,-1860.8521 699.9178,-1860.9507 697.3062,-1861 694.6938,-1861 692.0822,-1860.9507 689.4732,-1860.8521 686.8685,-1860.7047 684.2702,-1860.5087 681.6802,-1860.2647 679.101,-1859.9734 676.5352,-1859.6355 673.9859,-1859.2521 671.4562,-1858.8241 668.9499,-1858.3528 666.4712,-1857.8394 664.0246,-1857.2853 661.6152,-1856.692 659.2484,-1856.0612 656.9301,-1855.3946 654.6666,-1854.6941 652.4648,-1853.9615 650.3319,-1853.1988 648.2753,-1852.4082 646.3029,-1851.5918 644.4229,-1850.7519 642.6436,-1849.8907 640.9736,-1849.0106 639.4216,-1848.114 637.9961,-1847.2035 636.7059,-1846.2814 635.5594,-1845.3503 634.5651,-1844.4127 633.731,-1843.4713 633.0648,-1842.5287 632.5739,-1841.5873 632.265,-1840.6497 632.1444,-1839.7186 632.2174,-1838.7965 632.4891,-1837.886 632.9633,-1836.9894 633.6432,-1836.1093 634.5309,-1835.2481 635.6278,-1834.4082 636.934,-1833.5918 638.4487,-1832.8012 640.17,-1832.0385 642.0948,-1831.3059 644.2189,-1830.6054 646.5372,-1829.9388 649.0433,-1829.308 651.7298,-1828.7147 654.5881,-1828.1606 657.6087,-1827.6472 660.7811,-1827.1759 664.0939,-1826.7479 667.5348,-1826.3645 671.0907,-1826.0266 674.7477,-1825.7353 678.4915,-1825.4913 682.307,-1825.2953 686.1788,-1825.1479 690.091,-1825.0493 694.0276,-1825 697.9724,-1825 701.909,-1825.0493"/>
<text text-anchor="middle" x="696" y="-1839.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 67)</text>
</g>
<!-- 69&#45;&gt;71 -->
<g id="edge91" class="edge">
<title>69&#45;&gt;71</title>
<path fill="none" stroke="#000000" d="M655.0914,-1934.4183C662.8935,-1916.9828 674.8046,-1890.3652 683.7655,-1870.3403"/>
<polygon fill="#000000" stroke="#000000" points="687.0067,-1871.666 687.8966,-1861.1086 680.6173,-1868.8067 687.0067,-1871.666"/>
<text text-anchor="middle" x="691.5" y="-1893.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 67&#45;&gt;27 -->
<g id="edge89" class="edge">
<title>67&#45;&gt;27</title>
<path fill="none" stroke="#000000" d="M572.3986,-1648.2713C552.3889,-1636.2983 521.1266,-1617.5922 498.4058,-1603.9969"/>
<polygon fill="#000000" stroke="#000000" points="499.931,-1600.8309 489.5528,-1598.6996 496.3368,-1606.8377 499.931,-1600.8309"/>
</g>
<!-- 70&#45;&gt;67 -->
<g id="edge92" class="edge">
<title>70&#45;&gt;67</title>
<path fill="none" stroke="#000000" d="M598.8708,-1770.3616C597.5426,-1749.0282 595.322,-1713.3595 593.7657,-1688.3617"/>
<polygon fill="#000000" stroke="#000000" points="597.2382,-1687.8093 593.1235,-1678.0461 590.2517,-1688.2443 597.2382,-1687.8093"/>
</g>
<!-- 72 -->
<g id="node72" class="node">
<title>72</title>
<polygon fill="none" stroke="#000000" points="620,-1715.5 620,-1751.5 674,-1751.5 674,-1715.5 620,-1715.5"/>
<text text-anchor="middle" x="647" y="-1729.8" font-family="Times,serif" font-size="14.00" fill="#000000">11 μs</text>
</g>
<!-- 71&#45;&gt;72 -->
<g id="edge93" class="edge">
<title>71&#45;&gt;72</title>
<path fill="none" stroke="#000000" d="M687.9086,-1824.9183C680.1065,-1807.4828 668.1954,-1780.8652 659.2345,-1760.8403"/>
<polygon fill="#000000" stroke="#000000" points="662.3827,-1759.3067 655.1034,-1751.6086 655.9933,-1762.166 662.3827,-1759.3067"/>
<text text-anchor="middle" x="688" y="-1784.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 73 -->
<g id="node73" class="node">
<title>73</title>
<polygon fill="none" stroke="#000000" points="692,-1715.5 692,-1751.5 746,-1751.5 746,-1715.5 692,-1715.5"/>
<text text-anchor="middle" x="719" y="-1729.8" font-family="Times,serif" font-size="14.00" fill="#000000">11 μs</text>
</g>
<!-- 71&#45;&gt;73 -->
<g id="edge94" class="edge">
<title>71&#45;&gt;73</title>
<path fill="none" stroke="#000000" d="M699.798,-1824.9183C703.4103,-1807.7206 708.899,-1781.5894 713.0845,-1761.6631"/>
<polygon fill="#000000" stroke="#000000" points="716.566,-1762.1145 715.1964,-1751.6086 709.7154,-1760.6755 716.566,-1762.1145"/>
<text text-anchor="middle" x="723.5" y="-1784.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 72&#45;&gt;67 -->
<g id="edge95" class="edge">
<title>72&#45;&gt;67</title>
<path fill="none" stroke="#000000" d="M633.4045,-1715.3315C626.0483,-1705.5009 616.8907,-1693.263 609.0596,-1682.7978"/>
<polygon fill="#000000" stroke="#000000" points="611.6557,-1680.4253 602.8621,-1674.5157 606.0512,-1684.6193 611.6557,-1680.4253"/>
</g>
<!-- 73&#45;&gt;67 -->
<g id="edge96" class="edge">
<title>73&#45;&gt;67</title>
<path fill="none" stroke="#000000" d="M691.7553,-1717.7324C670.9309,-1705.6805 642.2832,-1689.1009 621.0287,-1676.8001"/>
<polygon fill="#000000" stroke="#000000" points="622.5361,-1673.6286 612.1279,-1671.6488 619.0298,-1679.6872 622.5361,-1673.6286"/>
</g>
</g>
</svg>

target_dag.png

target_dag.svg