Skip to content

Instantly share code, notes, and snippets.

@tkf

tkf/00_mat_mat_mul_dag.md

Last active October 19, 2021 04:17
Show Gist options
  • Save tkf/44a71bfb26f27efafa2edafbc0c87092 to your computer and use it in GitHub Desktop.
Save tkf/44a71bfb26f27efafa2edafbc0c87092 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
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
Display the source blob
Display the rendered blob
Raw
baseline_dag.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Display the source blob
Display the rendered blob
Raw
target_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="914pt" height="1343pt"
viewBox="0.00 0.00 913.68 1343.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 1339)">
<title>DAG</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1339 909.6776,-1339 909.6776,4 -4,4"/>
<!-- 1 -->
<g id="node1" class="node">
<title>1</title>
<polygon fill="none" stroke="#000000" points="259.4287,-1299.0493 263.023,-1299.1479 266.58,-1299.2953 270.0854,-1299.4913 273.5249,-1299.7353 276.8847,-1300.0266 280.1516,-1300.3645 283.3128,-1300.7479 286.3564,-1301.1759 289.2709,-1301.6472 292.046,-1302.1606 294.672,-1302.7147 297.1401,-1303.308 299.4425,-1303.9388 301.5724,-1304.6054 303.5239,-1305.3059 305.2922,-1306.0385 306.8736,-1306.8012 308.2652,-1307.5918 309.4652,-1308.4082 310.4729,-1309.2481 311.2886,-1310.1093 311.9132,-1310.9894 312.3488,-1311.886 312.5984,-1312.7965 312.6656,-1313.7186 312.5547,-1314.6497 312.2709,-1315.5873 311.8199,-1316.5287 311.2079,-1317.4713 310.4416,-1318.4127 309.5281,-1319.3503 308.4748,-1320.2814 307.2894,-1321.2035 305.9798,-1322.114 304.5539,-1323.0106 303.0196,-1323.8907 301.385,-1324.7519 299.6578,-1325.5918 297.8457,-1326.4082 295.9563,-1327.1988 293.9967,-1327.9615 291.9739,-1328.6941 289.8944,-1329.3946 287.7645,-1330.0612 285.5901,-1330.692 283.3765,-1331.2853 281.1287,-1331.8394 278.8515,-1332.3528 276.5489,-1332.8241 274.2249,-1333.2521 271.8827,-1333.6355 269.5255,-1333.9734 267.1559,-1334.2647 264.7765,-1334.5087 262.3893,-1334.7047 259.9963,-1334.8521 257.5994,-1334.9507 255.2,-1335 252.8,-1335 250.4006,-1334.9507 248.0037,-1334.8521 245.6107,-1334.7047 243.2235,-1334.5087 240.8441,-1334.2647 238.4745,-1333.9734 236.1173,-1333.6355 233.7751,-1333.2521 231.4511,-1332.8241 229.1485,-1332.3528 226.8713,-1331.8394 224.6235,-1331.2853 222.4099,-1330.692 220.2355,-1330.0612 218.1056,-1329.3946 216.0261,-1328.6941 214.0033,-1327.9615 212.0437,-1327.1988 210.1543,-1326.4082 208.3422,-1325.5918 206.615,-1324.7519 204.9804,-1323.8907 203.4461,-1323.0106 202.0202,-1322.114 200.7106,-1321.2035 199.5252,-1320.2814 198.4719,-1319.3503 197.5584,-1318.4127 196.7921,-1317.4713 196.1801,-1316.5287 195.7291,-1315.5873 195.4453,-1314.6497 195.3344,-1313.7186 195.4016,-1312.7965 195.6512,-1311.886 196.0868,-1310.9894 196.7114,-1310.1093 197.5271,-1309.2481 198.5348,-1308.4082 199.7348,-1307.5918 201.1264,-1306.8012 202.7078,-1306.0385 204.4761,-1305.3059 206.4276,-1304.6054 208.5575,-1303.9388 210.8599,-1303.308 213.328,-1302.7147 215.954,-1302.1606 218.7291,-1301.6472 221.6436,-1301.1759 224.6872,-1300.7479 227.8484,-1300.3645 231.1153,-1300.0266 234.4751,-1299.7353 237.9146,-1299.4913 241.42,-1299.2953 244.977,-1299.1479 248.5713,-1299.0493 252.1879,-1299 255.8121,-1299 259.4287,-1299.0493"/>
<text text-anchor="middle" x="254" y="-1313.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 2)</text>
</g>
<!-- 3 -->
<g id="node2" class="node">
<title>3</title>
<polygon fill="none" stroke="#000000" points="176,-1211.5 176,-1247.5 230,-1247.5 230,-1211.5 176,-1211.5"/>
<text text-anchor="middle" x="203" y="-1225.8" font-family="Times,serif" font-size="14.00" fill="#000000">85 μs</text>
</g>
<!-- 1&#45;&gt;3 -->
<g id="edge1" class="edge">
<title>1&#45;&gt;3</title>
<path fill="none" stroke="#000000" d="M243.4328,-1298.8699C236.3211,-1286.6685 226.8168,-1270.3622 218.8099,-1256.6248"/>
<polygon fill="#000000" stroke="#000000" points="221.6132,-1254.4839 213.5537,-1247.6068 215.5655,-1258.0089 221.6132,-1254.4839"/>
<text text-anchor="middle" x="241" y="-1269.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 4 -->
<g id="node3" class="node">
<title>4</title>
<polygon fill="none" stroke="#000000" points="335.4287,-1211.5493 339.023,-1211.6479 342.58,-1211.7953 346.0854,-1211.9913 349.5249,-1212.2353 352.8847,-1212.5266 356.1516,-1212.8645 359.3128,-1213.2479 362.3564,-1213.6759 365.2709,-1214.1472 368.046,-1214.6606 370.672,-1215.2147 373.1401,-1215.808 375.4425,-1216.4388 377.5724,-1217.1054 379.5239,-1217.8059 381.2922,-1218.5385 382.8736,-1219.3012 384.2652,-1220.0918 385.4652,-1220.9082 386.4729,-1221.7481 387.2886,-1222.6093 387.9132,-1223.4894 388.3488,-1224.386 388.5984,-1225.2965 388.6656,-1226.2186 388.5547,-1227.1497 388.2709,-1228.0873 387.8199,-1229.0287 387.2079,-1229.9713 386.4416,-1230.9127 385.5281,-1231.8503 384.4748,-1232.7814 383.2894,-1233.7035 381.9798,-1234.614 380.5539,-1235.5106 379.0196,-1236.3907 377.385,-1237.2519 375.6578,-1238.0918 373.8457,-1238.9082 371.9563,-1239.6988 369.9967,-1240.4615 367.9739,-1241.1941 365.8944,-1241.8946 363.7645,-1242.5612 361.5901,-1243.192 359.3765,-1243.7853 357.1287,-1244.3394 354.8515,-1244.8528 352.5489,-1245.3241 350.2249,-1245.7521 347.8827,-1246.1355 345.5255,-1246.4734 343.1559,-1246.7647 340.7765,-1247.0087 338.3893,-1247.2047 335.9963,-1247.3521 333.5994,-1247.4507 331.2,-1247.5 328.8,-1247.5 326.4006,-1247.4507 324.0037,-1247.3521 321.6107,-1247.2047 319.2235,-1247.0087 316.8441,-1246.7647 314.4745,-1246.4734 312.1173,-1246.1355 309.7751,-1245.7521 307.4511,-1245.3241 305.1485,-1244.8528 302.8713,-1244.3394 300.6235,-1243.7853 298.4099,-1243.192 296.2355,-1242.5612 294.1056,-1241.8946 292.0261,-1241.1941 290.0033,-1240.4615 288.0437,-1239.6988 286.1543,-1238.9082 284.3422,-1238.0918 282.615,-1237.2519 280.9804,-1236.3907 279.4461,-1235.5106 278.0202,-1234.614 276.7106,-1233.7035 275.5252,-1232.7814 274.4719,-1231.8503 273.5584,-1230.9127 272.7921,-1229.9713 272.1801,-1229.0287 271.7291,-1228.0873 271.4453,-1227.1497 271.3344,-1226.2186 271.4016,-1225.2965 271.6512,-1224.386 272.0868,-1223.4894 272.7114,-1222.6093 273.5271,-1221.7481 274.5348,-1220.9082 275.7348,-1220.0918 277.1264,-1219.3012 278.7078,-1218.5385 280.4761,-1217.8059 282.4276,-1217.1054 284.5575,-1216.4388 286.8599,-1215.808 289.328,-1215.2147 291.954,-1214.6606 294.7291,-1214.1472 297.6436,-1213.6759 300.6872,-1213.2479 303.8484,-1212.8645 307.1153,-1212.5266 310.4751,-1212.2353 313.9146,-1211.9913 317.42,-1211.7953 320.977,-1211.6479 324.5713,-1211.5493 328.1879,-1211.5 331.8121,-1211.5 335.4287,-1211.5493"/>
<text text-anchor="middle" x="330" y="-1225.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 2)</text>
</g>
<!-- 1&#45;&gt;4 -->
<g id="edge2" class="edge">
<title>1&#45;&gt;4</title>
<path fill="none" stroke="#000000" d="M269.3797,-1299.2931C280.6515,-1286.3157 296.0982,-1268.5316 308.5779,-1254.1637"/>
<polygon fill="#000000" stroke="#000000" points="311.2452,-1256.43 315.1604,-1246.5851 305.9604,-1251.8398 311.2452,-1256.43"/>
<text text-anchor="middle" x="309.5" y="-1269.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 5 -->
<g id="node4" class="node">
<title>5</title>
<polygon fill="none" stroke="#000000" points="151.4287,-1124.0493 155.023,-1124.1479 158.58,-1124.2953 162.0854,-1124.4913 165.5249,-1124.7353 168.8847,-1125.0266 172.1516,-1125.3645 175.3128,-1125.7479 178.3564,-1126.1759 181.2709,-1126.6472 184.046,-1127.1606 186.672,-1127.7147 189.1401,-1128.308 191.4425,-1128.9388 193.5724,-1129.6054 195.5239,-1130.3059 197.2922,-1131.0385 198.8736,-1131.8012 200.2652,-1132.5918 201.4652,-1133.4082 202.4729,-1134.2481 203.2886,-1135.1093 203.9132,-1135.9894 204.3488,-1136.886 204.5984,-1137.7965 204.6656,-1138.7186 204.5547,-1139.6497 204.2709,-1140.5873 203.8199,-1141.5287 203.2079,-1142.4713 202.4416,-1143.4127 201.5281,-1144.3503 200.4748,-1145.2814 199.2894,-1146.2035 197.9798,-1147.114 196.5539,-1148.0106 195.0196,-1148.8907 193.385,-1149.7519 191.6578,-1150.5918 189.8457,-1151.4082 187.9563,-1152.1988 185.9967,-1152.9615 183.9739,-1153.6941 181.8944,-1154.3946 179.7645,-1155.0612 177.5901,-1155.692 175.3765,-1156.2853 173.1287,-1156.8394 170.8515,-1157.3528 168.5489,-1157.8241 166.2249,-1158.2521 163.8827,-1158.6355 161.5255,-1158.9734 159.1559,-1159.2647 156.7765,-1159.5087 154.3893,-1159.7047 151.9963,-1159.8521 149.5994,-1159.9507 147.2,-1160 144.8,-1160 142.4006,-1159.9507 140.0037,-1159.8521 137.6107,-1159.7047 135.2235,-1159.5087 132.8441,-1159.2647 130.4745,-1158.9734 128.1173,-1158.6355 125.7751,-1158.2521 123.4511,-1157.8241 121.1485,-1157.3528 118.8713,-1156.8394 116.6235,-1156.2853 114.4099,-1155.692 112.2355,-1155.0612 110.1056,-1154.3946 108.0261,-1153.6941 106.0033,-1152.9615 104.0437,-1152.1988 102.1543,-1151.4082 100.3422,-1150.5918 98.615,-1149.7519 96.9804,-1148.8907 95.4461,-1148.0106 94.0202,-1147.114 92.7106,-1146.2035 91.5252,-1145.2814 90.4719,-1144.3503 89.5584,-1143.4127 88.7921,-1142.4713 88.1801,-1141.5287 87.7291,-1140.5873 87.4453,-1139.6497 87.3344,-1138.7186 87.4016,-1137.7965 87.6512,-1136.886 88.0868,-1135.9894 88.7114,-1135.1093 89.5271,-1134.2481 90.5348,-1133.4082 91.7348,-1132.5918 93.1264,-1131.8012 94.7078,-1131.0385 96.4761,-1130.3059 98.4276,-1129.6054 100.5575,-1128.9388 102.8599,-1128.308 105.328,-1127.7147 107.954,-1127.1606 110.7291,-1126.6472 113.6436,-1126.1759 116.6872,-1125.7479 119.8484,-1125.3645 123.1153,-1125.0266 126.4751,-1124.7353 129.9146,-1124.4913 133.42,-1124.2953 136.977,-1124.1479 140.5713,-1124.0493 144.1879,-1124 147.8121,-1124 151.4287,-1124.0493"/>
<text text-anchor="middle" x="146" y="-1138.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 6)</text>
</g>
<!-- 3&#45;&gt;5 -->
<g id="edge3" class="edge">
<title>3&#45;&gt;5</title>
<path fill="none" stroke="#000000" d="M191.1896,-1211.3699C183.0578,-1198.8869 172.1271,-1182.1074 163.0531,-1168.178"/>
<polygon fill="#000000" stroke="#000000" points="165.7973,-1165.9783 157.4064,-1159.5097 159.932,-1169.7991 165.7973,-1165.9783"/>
</g>
<!-- 14 -->
<g id="node14" class="node">
<title>14</title>
<polygon fill="none" stroke="#000000" points="335.909,-1124.0493 339.8212,-1124.1479 343.693,-1124.2953 347.5085,-1124.4913 351.2523,-1124.7353 354.9093,-1125.0266 358.4652,-1125.3645 361.9061,-1125.7479 365.2189,-1126.1759 368.3913,-1126.6472 371.4119,-1127.1606 374.2702,-1127.7147 376.9567,-1128.308 379.4628,-1128.9388 381.7811,-1129.6054 383.9052,-1130.3059 385.83,-1131.0385 387.5513,-1131.8012 389.066,-1132.5918 390.3722,-1133.4082 391.4691,-1134.2481 392.3568,-1135.1093 393.0367,-1135.9894 393.5109,-1136.886 393.7826,-1137.7965 393.8556,-1138.7186 393.735,-1139.6497 393.4261,-1140.5873 392.9352,-1141.5287 392.269,-1142.4713 391.4349,-1143.4127 390.4406,-1144.3503 389.2941,-1145.2814 388.0039,-1146.2035 386.5784,-1147.114 385.0264,-1148.0106 383.3564,-1148.8907 381.5771,-1149.7519 379.6971,-1150.5918 377.7247,-1151.4082 375.6681,-1152.1988 373.5352,-1152.9615 371.3334,-1153.6941 369.0699,-1154.3946 366.7516,-1155.0612 364.3848,-1155.692 361.9754,-1156.2853 359.5288,-1156.8394 357.0501,-1157.3528 354.5438,-1157.8241 352.0141,-1158.2521 349.4648,-1158.6355 346.899,-1158.9734 344.3198,-1159.2647 341.7298,-1159.5087 339.1315,-1159.7047 336.5268,-1159.8521 333.9178,-1159.9507 331.3062,-1160 328.6938,-1160 326.0822,-1159.9507 323.4732,-1159.8521 320.8685,-1159.7047 318.2702,-1159.5087 315.6802,-1159.2647 313.101,-1158.9734 310.5352,-1158.6355 307.9859,-1158.2521 305.4562,-1157.8241 302.9499,-1157.3528 300.4712,-1156.8394 298.0246,-1156.2853 295.6152,-1155.692 293.2484,-1155.0612 290.9301,-1154.3946 288.6666,-1153.6941 286.4648,-1152.9615 284.3319,-1152.1988 282.2753,-1151.4082 280.3029,-1150.5918 278.4229,-1149.7519 276.6436,-1148.8907 274.9736,-1148.0106 273.4216,-1147.114 271.9961,-1146.2035 270.7059,-1145.2814 269.5594,-1144.3503 268.5651,-1143.4127 267.731,-1142.4713 267.0648,-1141.5287 266.5739,-1140.5873 266.265,-1139.6497 266.1444,-1138.7186 266.2174,-1137.7965 266.4891,-1136.886 266.9633,-1135.9894 267.6432,-1135.1093 268.5309,-1134.2481 269.6278,-1133.4082 270.934,-1132.5918 272.4487,-1131.8012 274.17,-1131.0385 276.0948,-1130.3059 278.2189,-1129.6054 280.5372,-1128.9388 283.0433,-1128.308 285.7298,-1127.7147 288.5881,-1127.1606 291.6087,-1126.6472 294.7811,-1126.1759 298.0939,-1125.7479 301.5348,-1125.3645 305.0907,-1125.0266 308.7477,-1124.7353 312.4915,-1124.4913 316.307,-1124.2953 320.1788,-1124.1479 324.091,-1124.0493 328.0276,-1124 331.9724,-1124 335.909,-1124.0493"/>
<text text-anchor="middle" x="330" y="-1138.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 16)</text>
</g>
<!-- 4&#45;&gt;14 -->
<g id="edge16" class="edge">
<title>4&#45;&gt;14</title>
<path fill="none" stroke="#000000" d="M330,-1211.3699C330,-1199.5205 330,-1183.7995 330,-1170.3199"/>
<polygon fill="#000000" stroke="#000000" points="333.5001,-1170.1068 330,-1160.1068 326.5001,-1170.1069 333.5001,-1170.1068"/>
<text text-anchor="middle" x="340" y="-1181.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 15 -->
<g id="node15" class="node">
<title>15</title>
<polygon fill="none" stroke="#000000" points="519.4287,-1124.0493 523.023,-1124.1479 526.58,-1124.2953 530.0854,-1124.4913 533.5249,-1124.7353 536.8847,-1125.0266 540.1516,-1125.3645 543.3128,-1125.7479 546.3564,-1126.1759 549.2709,-1126.6472 552.046,-1127.1606 554.672,-1127.7147 557.1401,-1128.308 559.4425,-1128.9388 561.5724,-1129.6054 563.5239,-1130.3059 565.2922,-1131.0385 566.8736,-1131.8012 568.2652,-1132.5918 569.4652,-1133.4082 570.4729,-1134.2481 571.2886,-1135.1093 571.9132,-1135.9894 572.3488,-1136.886 572.5984,-1137.7965 572.6656,-1138.7186 572.5547,-1139.6497 572.2709,-1140.5873 571.8199,-1141.5287 571.2079,-1142.4713 570.4416,-1143.4127 569.5281,-1144.3503 568.4748,-1145.2814 567.2894,-1146.2035 565.9798,-1147.114 564.5539,-1148.0106 563.0196,-1148.8907 561.385,-1149.7519 559.6578,-1150.5918 557.8457,-1151.4082 555.9563,-1152.1988 553.9967,-1152.9615 551.9739,-1153.6941 549.8944,-1154.3946 547.7645,-1155.0612 545.5901,-1155.692 543.3765,-1156.2853 541.1287,-1156.8394 538.8515,-1157.3528 536.5489,-1157.8241 534.2249,-1158.2521 531.8827,-1158.6355 529.5255,-1158.9734 527.1559,-1159.2647 524.7765,-1159.5087 522.3893,-1159.7047 519.9963,-1159.8521 517.5994,-1159.9507 515.2,-1160 512.8,-1160 510.4006,-1159.9507 508.0037,-1159.8521 505.6107,-1159.7047 503.2235,-1159.5087 500.8441,-1159.2647 498.4745,-1158.9734 496.1173,-1158.6355 493.7751,-1158.2521 491.4511,-1157.8241 489.1485,-1157.3528 486.8713,-1156.8394 484.6235,-1156.2853 482.4099,-1155.692 480.2355,-1155.0612 478.1056,-1154.3946 476.0261,-1153.6941 474.0033,-1152.9615 472.0437,-1152.1988 470.1543,-1151.4082 468.3422,-1150.5918 466.615,-1149.7519 464.9804,-1148.8907 463.4461,-1148.0106 462.0202,-1147.114 460.7106,-1146.2035 459.5252,-1145.2814 458.4719,-1144.3503 457.5584,-1143.4127 456.7921,-1142.4713 456.1801,-1141.5287 455.7291,-1140.5873 455.4453,-1139.6497 455.3344,-1138.7186 455.4016,-1137.7965 455.6512,-1136.886 456.0868,-1135.9894 456.7114,-1135.1093 457.5271,-1134.2481 458.5348,-1133.4082 459.7348,-1132.5918 461.1264,-1131.8012 462.7078,-1131.0385 464.4761,-1130.3059 466.4276,-1129.6054 468.5575,-1128.9388 470.8599,-1128.308 473.328,-1127.7147 475.954,-1127.1606 478.7291,-1126.6472 481.6436,-1126.1759 484.6872,-1125.7479 487.8484,-1125.3645 491.1153,-1125.0266 494.4751,-1124.7353 497.9146,-1124.4913 501.42,-1124.2953 504.977,-1124.1479 508.5713,-1124.0493 512.1879,-1124 515.8121,-1124 519.4287,-1124.0493"/>
<text text-anchor="middle" x="514" y="-1138.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 2)</text>
</g>
<!-- 4&#45;&gt;15 -->
<g id="edge17" class="edge">
<title>4&#45;&gt;15</title>
<path fill="none" stroke="#000000" d="M363.321,-1213.6544C394.6145,-1198.773 441.4537,-1176.4989 474.5892,-1160.7415"/>
<polygon fill="#000000" stroke="#000000" points="476.4454,-1163.7345 483.9732,-1156.2791 473.4392,-1157.4129 476.4454,-1163.7345"/>
<text text-anchor="middle" x="446.5" y="-1181.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 7 -->
<g id="node5" class="node">
<title>7</title>
<polygon fill="none" stroke="#000000" points="0,-982.5 0,-1018.5 54,-1018.5 54,-982.5 0,-982.5"/>
<text text-anchor="middle" x="27" y="-996.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 5&#45;&gt;7 -->
<g id="edge4" class="edge">
<title>5&#45;&gt;7</title>
<path fill="none" stroke="#000000" d="M127.2537,-1124.6113C113.0957,-1111.1007 93.5201,-1091.5927 78,-1073 65.9464,-1058.5601 53.777,-1041.382 44.35,-1027.372"/>
<polygon fill="#000000" stroke="#000000" points="47.0279,-1025.0776 38.58,-1018.6836 41.1966,-1028.9502 47.0279,-1025.0776"/>
<text text-anchor="middle" x="117" y="-1094.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 8 -->
<g id="node6" class="node">
<title>8</title>
<polygon fill="none" stroke="#000000" points="151.4287,-1037.0493 155.023,-1037.1479 158.58,-1037.2953 162.0854,-1037.4913 165.5249,-1037.7353 168.8847,-1038.0266 172.1516,-1038.3645 175.3128,-1038.7479 178.3564,-1039.1759 181.2709,-1039.6472 184.046,-1040.1606 186.672,-1040.7147 189.1401,-1041.308 191.4425,-1041.9388 193.5724,-1042.6054 195.5239,-1043.3059 197.2922,-1044.0385 198.8736,-1044.8012 200.2652,-1045.5918 201.4652,-1046.4082 202.4729,-1047.2481 203.2886,-1048.1093 203.9132,-1048.9894 204.3488,-1049.886 204.5984,-1050.7965 204.6656,-1051.7186 204.5547,-1052.6497 204.2709,-1053.5873 203.8199,-1054.5287 203.2079,-1055.4713 202.4416,-1056.4127 201.5281,-1057.3503 200.4748,-1058.2814 199.2894,-1059.2035 197.9798,-1060.114 196.5539,-1061.0106 195.0196,-1061.8907 193.385,-1062.7519 191.6578,-1063.5918 189.8457,-1064.4082 187.9563,-1065.1988 185.9967,-1065.9615 183.9739,-1066.6941 181.8944,-1067.3946 179.7645,-1068.0612 177.5901,-1068.692 175.3765,-1069.2853 173.1287,-1069.8394 170.8515,-1070.3528 168.5489,-1070.8241 166.2249,-1071.2521 163.8827,-1071.6355 161.5255,-1071.9734 159.1559,-1072.2647 156.7765,-1072.5087 154.3893,-1072.7047 151.9963,-1072.8521 149.5994,-1072.9507 147.2,-1073 144.8,-1073 142.4006,-1072.9507 140.0037,-1072.8521 137.6107,-1072.7047 135.2235,-1072.5087 132.8441,-1072.2647 130.4745,-1071.9734 128.1173,-1071.6355 125.7751,-1071.2521 123.4511,-1070.8241 121.1485,-1070.3528 118.8713,-1069.8394 116.6235,-1069.2853 114.4099,-1068.692 112.2355,-1068.0612 110.1056,-1067.3946 108.0261,-1066.6941 106.0033,-1065.9615 104.0437,-1065.1988 102.1543,-1064.4082 100.3422,-1063.5918 98.615,-1062.7519 96.9804,-1061.8907 95.4461,-1061.0106 94.0202,-1060.114 92.7106,-1059.2035 91.5252,-1058.2814 90.4719,-1057.3503 89.5584,-1056.4127 88.7921,-1055.4713 88.1801,-1054.5287 87.7291,-1053.5873 87.4453,-1052.6497 87.3344,-1051.7186 87.4016,-1050.7965 87.6512,-1049.886 88.0868,-1048.9894 88.7114,-1048.1093 89.5271,-1047.2481 90.5348,-1046.4082 91.7348,-1045.5918 93.1264,-1044.8012 94.7078,-1044.0385 96.4761,-1043.3059 98.4276,-1042.6054 100.5575,-1041.9388 102.8599,-1041.308 105.328,-1040.7147 107.954,-1040.1606 110.7291,-1039.6472 113.6436,-1039.1759 116.6872,-1038.7479 119.8484,-1038.3645 123.1153,-1038.0266 126.4751,-1037.7353 129.9146,-1037.4913 133.42,-1037.2953 136.977,-1037.1479 140.5713,-1037.0493 144.1879,-1037 147.8121,-1037 151.4287,-1037.0493"/>
<text text-anchor="middle" x="146" y="-1051.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 6)</text>
</g>
<!-- 5&#45;&gt;8 -->
<g id="edge5" class="edge">
<title>5&#45;&gt;8</title>
<path fill="none" stroke="#000000" d="M146,-1123.9735C146,-1112.1918 146,-1096.5607 146,-1083.1581"/>
<polygon fill="#000000" stroke="#000000" points="149.5001,-1083.0033 146,-1073.0034 142.5001,-1083.0034 149.5001,-1083.0033"/>
<text text-anchor="middle" x="159.5" y="-1094.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<polygon fill="none" stroke="#000000" points="132,-744.5 84.4068,-726.5 132,-708.5 179.5932,-726.5 132,-744.5"/>
<text text-anchor="middle" x="132" y="-722.8" font-family="Times,serif" font-size="14.00" fill="#000000">sync 6</text>
</g>
<!-- 7&#45;&gt;6 -->
<g id="edge6" class="edge">
<title>7&#45;&gt;6</title>
<path fill="none" stroke="#000000" d="M27.802,-982.3854C29.3039,-957.3192 33.5102,-910.8633 45,-873 60.7582,-821.0706 67.3817,-807.8052 98,-763 101.7837,-757.4632 106.3893,-751.9362 110.9735,-746.9198"/>
<polygon fill="#000000" stroke="#000000" points="113.6583,-749.1763 118.0381,-739.5292 108.5982,-744.3394 113.6583,-749.1763"/>
</g>
<!-- 10 -->
<g id="node10" class="node">
<title>10</title>
<polygon fill="none" stroke="#000000" points="50,-873.5 50,-909.5 104,-909.5 104,-873.5 50,-873.5"/>
<text text-anchor="middle" x="77" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 8&#45;&gt;10 -->
<g id="edge9" class="edge">
<title>8&#45;&gt;10</title>
<path fill="none" stroke="#000000" d="M134.4762,-1037.1733C123.3315,-1019.2799 106.6143,-990.624 96,-964 90.317,-949.7452 85.8377,-933.2373 82.6592,-919.5777"/>
<polygon fill="#000000" stroke="#000000" points="86.0666,-918.7764 80.4837,-909.7718 79.2327,-920.2925 86.0666,-918.7764"/>
<text text-anchor="middle" x="132" y="-996.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 11 -->
<g id="node11" class="node">
<title>11</title>
<polygon fill="none" stroke="#000000" points="169.4287,-928.0493 173.023,-928.1479 176.58,-928.2953 180.0854,-928.4913 183.5249,-928.7353 186.8847,-929.0266 190.1516,-929.3645 193.3128,-929.7479 196.3564,-930.1759 199.2709,-930.6472 202.046,-931.1606 204.672,-931.7147 207.1401,-932.308 209.4425,-932.9388 211.5724,-933.6054 213.5239,-934.3059 215.2922,-935.0385 216.8736,-935.8012 218.2652,-936.5918 219.4652,-937.4082 220.4729,-938.2481 221.2886,-939.1093 221.9132,-939.9894 222.3488,-940.886 222.5984,-941.7965 222.6656,-942.7186 222.5547,-943.6497 222.2709,-944.5873 221.8199,-945.5287 221.2079,-946.4713 220.4416,-947.4127 219.5281,-948.3503 218.4748,-949.2814 217.2894,-950.2035 215.9798,-951.114 214.5539,-952.0106 213.0196,-952.8907 211.385,-953.7519 209.6578,-954.5918 207.8457,-955.4082 205.9563,-956.1988 203.9967,-956.9615 201.9739,-957.6941 199.8944,-958.3946 197.7645,-959.0612 195.5901,-959.692 193.3765,-960.2853 191.1287,-960.8394 188.8515,-961.3528 186.5489,-961.8241 184.2249,-962.2521 181.8827,-962.6355 179.5255,-962.9734 177.1559,-963.2647 174.7765,-963.5087 172.3893,-963.7047 169.9963,-963.8521 167.5994,-963.9507 165.2,-964 162.8,-964 160.4006,-963.9507 158.0037,-963.8521 155.6107,-963.7047 153.2235,-963.5087 150.8441,-963.2647 148.4745,-962.9734 146.1173,-962.6355 143.7751,-962.2521 141.4511,-961.8241 139.1485,-961.3528 136.8713,-960.8394 134.6235,-960.2853 132.4099,-959.692 130.2355,-959.0612 128.1056,-958.3946 126.0261,-957.6941 124.0033,-956.9615 122.0437,-956.1988 120.1543,-955.4082 118.3422,-954.5918 116.615,-953.7519 114.9804,-952.8907 113.4461,-952.0106 112.0202,-951.114 110.7106,-950.2035 109.5252,-949.2814 108.4719,-948.3503 107.5584,-947.4127 106.7921,-946.4713 106.1801,-945.5287 105.7291,-944.5873 105.4453,-943.6497 105.3344,-942.7186 105.4016,-941.7965 105.6512,-940.886 106.0868,-939.9894 106.7114,-939.1093 107.5271,-938.2481 108.5348,-937.4082 109.7348,-936.5918 111.1264,-935.8012 112.7078,-935.0385 114.4761,-934.3059 116.4276,-933.6054 118.5575,-932.9388 120.8599,-932.308 123.328,-931.7147 125.954,-931.1606 128.7291,-930.6472 131.6436,-930.1759 134.6872,-929.7479 137.8484,-929.3645 141.1153,-929.0266 144.4751,-928.7353 147.9146,-928.4913 151.42,-928.2953 154.977,-928.1479 158.5713,-928.0493 162.1879,-928 165.8121,-928 169.4287,-928.0493"/>
<text text-anchor="middle" x="164" y="-942.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 6)</text>
</g>
<!-- 8&#45;&gt;11 -->
<g id="edge10" class="edge">
<title>8&#45;&gt;11</title>
<path fill="none" stroke="#000000" d="M148.9723,-1037.0009C151.7994,-1019.8816 156.0949,-993.8698 159.3704,-974.0345"/>
<polygon fill="#000000" stroke="#000000" points="162.8471,-974.4625 161.0233,-964.0259 155.9406,-973.322 162.8471,-974.4625"/>
<text text-anchor="middle" x="170.5" y="-996.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 2 -->
<g id="node8" class="node">
<title>2</title>
<polygon fill="none" stroke="#000000" points="345,-109 297.4068,-91 345,-73 392.5932,-91 345,-109"/>
<text text-anchor="middle" x="345" y="-87.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 2</text>
</g>
<!-- 6&#45;&gt;2 -->
<g id="edge7" class="edge">
<title>6&#45;&gt;2</title>
<path fill="none" stroke="#000000" d="M135.9092,-709.9667C139.0709,-695.1389 143,-672.7409 143,-653 143,-653 143,-653 143,-164 143,-130.6888 241.3888,-108.3174 300.8341,-97.8409"/>
<polygon fill="#000000" stroke="#000000" points="301.4694,-101.2832 310.7335,-96.1423 300.2856,-94.384 301.4694,-101.2832"/>
</g>
<!-- 9 -->
<g id="node9" class="node">
<title>9</title>
<ellipse fill="none" stroke="#000000" cx="345" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="345" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">9</text>
</g>
<!-- 2&#45;&gt;9 -->
<g id="edge8" class="edge">
<title>2&#45;&gt;9</title>
<path fill="none" stroke="#000000" d="M345,-72.9551C345,-64.8828 345,-55.1764 345,-46.1817"/>
<polygon fill="#000000" stroke="#000000" points="348.5001,-46.0903 345,-36.0904 341.5001,-46.0904 348.5001,-46.0903"/>
</g>
<!-- 10&#45;&gt;6 -->
<g id="edge11" class="edge">
<title>10&#45;&gt;6</title>
<path fill="none" stroke="#000000" d="M81.0757,-873.1993C84.5678,-858.2199 89.977,-836.5531 96,-818 103.4271,-795.1217 113.5847,-769.708 121.2169,-751.481"/>
<polygon fill="#000000" stroke="#000000" points="124.489,-752.7294 125.1637,-742.1561 118.0427,-750.0009 124.489,-752.7294"/>
</g>
<!-- 12 -->
<g id="node12" class="node">
<title>12</title>
<polygon fill="none" stroke="#000000" points="105,-818.5 105,-854.5 159,-854.5 159,-818.5 105,-818.5"/>
<text text-anchor="middle" x="132" y="-832.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 11&#45;&gt;12 -->
<g id="edge12" class="edge">
<title>11&#45;&gt;12</title>
<path fill="none" stroke="#000000" d="M147.4712,-928.1636C143.3329,-922.7125 139.3943,-916.4446 137,-910 131.6759,-895.6691 130.2335,-878.697 130.2088,-864.6744"/>
<polygon fill="#000000" stroke="#000000" points="133.7091,-864.6919 130.4253,-854.6188 126.7107,-864.5411 133.7091,-864.6919"/>
<text text-anchor="middle" x="147" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 13 -->
<g id="node13" class="node">
<title>13</title>
<polygon fill="none" stroke="#000000" points="177,-818.5 177,-854.5 231,-854.5 231,-818.5 177,-818.5"/>
<text text-anchor="middle" x="204" y="-832.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 11&#45;&gt;13 -->
<g id="edge13" class="edge">
<title>11&#45;&gt;13</title>
<path fill="none" stroke="#000000" d="M164.9132,-927.9396C166.2132,-912.7498 169.3639,-890.7355 177,-873 178.4144,-869.715 180.1756,-866.4479 182.1162,-863.2954"/>
<polygon fill="#000000" stroke="#000000" points="185.172,-865.0269 187.9218,-854.7951 179.3916,-861.0789 185.172,-865.0269"/>
<text text-anchor="middle" x="190.5" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 12&#45;&gt;6 -->
<g id="edge14" class="edge">
<title>12&#45;&gt;6</title>
<path fill="none" stroke="#000000" d="M132,-818.3357C132,-801.0595 132,-774.809 132,-754.7917"/>
<polygon fill="#000000" stroke="#000000" points="135.5001,-754.6912 132,-744.6912 128.5001,-754.6913 135.5001,-754.6912"/>
</g>
<!-- 13&#45;&gt;6 -->
<g id="edge15" class="edge">
<title>13&#45;&gt;6</title>
<path fill="none" stroke="#000000" d="M192.1107,-818.3357C179.794,-799.5187 160.5089,-770.0553 147.117,-749.5955"/>
<polygon fill="#000000" stroke="#000000" points="150.0057,-747.6178 141.6006,-741.1676 144.1488,-751.4514 150.0057,-747.6178"/>
</g>
<!-- 17 -->
<g id="node16" class="node">
<title>17</title>
<polygon fill="none" stroke="#000000" points="213,-873.5 213,-909.5 267,-909.5 267,-873.5 213,-873.5"/>
<text text-anchor="middle" x="240" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 14&#45;&gt;17 -->
<g id="edge18" class="edge">
<title>14&#45;&gt;17</title>
<path fill="none" stroke="#000000" d="M305.293,-1124.7709C289.5241,-1112.3206 270.1933,-1094.0388 260,-1073 235.8455,-1023.1455 235.3482,-956.7812 237.4657,-919.6774"/>
<polygon fill="#000000" stroke="#000000" points="240.9651,-919.8026 238.149,-909.5889 233.9811,-919.3295 240.9651,-919.8026"/>
<text text-anchor="middle" x="270" y="-1051.3" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 18 -->
<g id="node17" class="node">
<title>18</title>
<polygon fill="none" stroke="#000000" points="358.909,-1037.0493 362.8212,-1037.1479 366.693,-1037.2953 370.5085,-1037.4913 374.2523,-1037.7353 377.9093,-1038.0266 381.4652,-1038.3645 384.9061,-1038.7479 388.2189,-1039.1759 391.3913,-1039.6472 394.4119,-1040.1606 397.2702,-1040.7147 399.9567,-1041.308 402.4628,-1041.9388 404.7811,-1042.6054 406.9052,-1043.3059 408.83,-1044.0385 410.5513,-1044.8012 412.066,-1045.5918 413.3722,-1046.4082 414.4691,-1047.2481 415.3568,-1048.1093 416.0367,-1048.9894 416.5109,-1049.886 416.7826,-1050.7965 416.8556,-1051.7186 416.735,-1052.6497 416.4261,-1053.5873 415.9352,-1054.5287 415.269,-1055.4713 414.4349,-1056.4127 413.4406,-1057.3503 412.2941,-1058.2814 411.0039,-1059.2035 409.5784,-1060.114 408.0264,-1061.0106 406.3564,-1061.8907 404.5771,-1062.7519 402.6971,-1063.5918 400.7247,-1064.4082 398.6681,-1065.1988 396.5352,-1065.9615 394.3334,-1066.6941 392.0699,-1067.3946 389.7516,-1068.0612 387.3848,-1068.692 384.9754,-1069.2853 382.5288,-1069.8394 380.0501,-1070.3528 377.5438,-1070.8241 375.0141,-1071.2521 372.4648,-1071.6355 369.899,-1071.9734 367.3198,-1072.2647 364.7298,-1072.5087 362.1315,-1072.7047 359.5268,-1072.8521 356.9178,-1072.9507 354.3062,-1073 351.6938,-1073 349.0822,-1072.9507 346.4732,-1072.8521 343.8685,-1072.7047 341.2702,-1072.5087 338.6802,-1072.2647 336.101,-1071.9734 333.5352,-1071.6355 330.9859,-1071.2521 328.4562,-1070.8241 325.9499,-1070.3528 323.4712,-1069.8394 321.0246,-1069.2853 318.6152,-1068.692 316.2484,-1068.0612 313.9301,-1067.3946 311.6666,-1066.6941 309.4648,-1065.9615 307.3319,-1065.1988 305.2753,-1064.4082 303.3029,-1063.5918 301.4229,-1062.7519 299.6436,-1061.8907 297.9736,-1061.0106 296.4216,-1060.114 294.9961,-1059.2035 293.7059,-1058.2814 292.5594,-1057.3503 291.5651,-1056.4127 290.731,-1055.4713 290.0648,-1054.5287 289.5739,-1053.5873 289.265,-1052.6497 289.1444,-1051.7186 289.2174,-1050.7965 289.4891,-1049.886 289.9633,-1048.9894 290.6432,-1048.1093 291.5309,-1047.2481 292.6278,-1046.4082 293.934,-1045.5918 295.4487,-1044.8012 297.17,-1044.0385 299.0948,-1043.3059 301.2189,-1042.6054 303.5372,-1041.9388 306.0433,-1041.308 308.7298,-1040.7147 311.5881,-1040.1606 314.6087,-1039.6472 317.7811,-1039.1759 321.0939,-1038.7479 324.5348,-1038.3645 328.0907,-1038.0266 331.7477,-1037.7353 335.4915,-1037.4913 339.307,-1037.2953 343.1788,-1037.1479 347.091,-1037.0493 351.0276,-1037 354.9724,-1037 358.909,-1037.0493"/>
<text text-anchor="middle" x="353" y="-1051.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 16)</text>
</g>
<!-- 14&#45;&gt;18 -->
<g id="edge19" class="edge">
<title>14&#45;&gt;18</title>
<path fill="none" stroke="#000000" d="M334.7656,-1123.9735C337.9112,-1112.0751 342.0946,-1096.2508 345.661,-1082.7606"/>
<polygon fill="#000000" stroke="#000000" points="349.0683,-1083.5658 348.2405,-1073.0034 342.3008,-1081.7766 349.0683,-1083.5658"/>
<text text-anchor="middle" x="355.5" y="-1094.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 31 -->
<g id="node31" class="node">
<title>31</title>
<polygon fill="none" stroke="#000000" points="519.909,-1037.0493 523.8212,-1037.1479 527.693,-1037.2953 531.5085,-1037.4913 535.2523,-1037.7353 538.9093,-1038.0266 542.4652,-1038.3645 545.9061,-1038.7479 549.2189,-1039.1759 552.3913,-1039.6472 555.4119,-1040.1606 558.2702,-1040.7147 560.9567,-1041.308 563.4628,-1041.9388 565.7811,-1042.6054 567.9052,-1043.3059 569.83,-1044.0385 571.5513,-1044.8012 573.066,-1045.5918 574.3722,-1046.4082 575.4691,-1047.2481 576.3568,-1048.1093 577.0367,-1048.9894 577.5109,-1049.886 577.7826,-1050.7965 577.8556,-1051.7186 577.735,-1052.6497 577.4261,-1053.5873 576.9352,-1054.5287 576.269,-1055.4713 575.4349,-1056.4127 574.4406,-1057.3503 573.2941,-1058.2814 572.0039,-1059.2035 570.5784,-1060.114 569.0264,-1061.0106 567.3564,-1061.8907 565.5771,-1062.7519 563.6971,-1063.5918 561.7247,-1064.4082 559.6681,-1065.1988 557.5352,-1065.9615 555.3334,-1066.6941 553.0699,-1067.3946 550.7516,-1068.0612 548.3848,-1068.692 545.9754,-1069.2853 543.5288,-1069.8394 541.0501,-1070.3528 538.5438,-1070.8241 536.0141,-1071.2521 533.4648,-1071.6355 530.899,-1071.9734 528.3198,-1072.2647 525.7298,-1072.5087 523.1315,-1072.7047 520.5268,-1072.8521 517.9178,-1072.9507 515.3062,-1073 512.6938,-1073 510.0822,-1072.9507 507.4732,-1072.8521 504.8685,-1072.7047 502.2702,-1072.5087 499.6802,-1072.2647 497.101,-1071.9734 494.5352,-1071.6355 491.9859,-1071.2521 489.4562,-1070.8241 486.9499,-1070.3528 484.4712,-1069.8394 482.0246,-1069.2853 479.6152,-1068.692 477.2484,-1068.0612 474.9301,-1067.3946 472.6666,-1066.6941 470.4648,-1065.9615 468.3319,-1065.1988 466.2753,-1064.4082 464.3029,-1063.5918 462.4229,-1062.7519 460.6436,-1061.8907 458.9736,-1061.0106 457.4216,-1060.114 455.9961,-1059.2035 454.7059,-1058.2814 453.5594,-1057.3503 452.5651,-1056.4127 451.731,-1055.4713 451.0648,-1054.5287 450.5739,-1053.5873 450.265,-1052.6497 450.1444,-1051.7186 450.2174,-1050.7965 450.4891,-1049.886 450.9633,-1048.9894 451.6432,-1048.1093 452.5309,-1047.2481 453.6278,-1046.4082 454.934,-1045.5918 456.4487,-1044.8012 458.17,-1044.0385 460.0948,-1043.3059 462.2189,-1042.6054 464.5372,-1041.9388 467.0433,-1041.308 469.7298,-1040.7147 472.5881,-1040.1606 475.6087,-1039.6472 478.7811,-1039.1759 482.0939,-1038.7479 485.5348,-1038.3645 489.0907,-1038.0266 492.7477,-1037.7353 496.4915,-1037.4913 500.307,-1037.2953 504.1788,-1037.1479 508.091,-1037.0493 512.0276,-1037 515.9724,-1037 519.909,-1037.0493"/>
<text text-anchor="middle" x="514" y="-1051.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 33)</text>
</g>
<!-- 15&#45;&gt;31 -->
<g id="edge40" class="edge">
<title>15&#45;&gt;31</title>
<path fill="none" stroke="#000000" d="M514,-1123.9735C514,-1112.1918 514,-1096.5607 514,-1083.1581"/>
<polygon fill="#000000" stroke="#000000" points="517.5001,-1083.0033 514,-1073.0034 510.5001,-1083.0034 517.5001,-1083.0033"/>
<text text-anchor="middle" x="524" y="-1094.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 32 -->
<g id="node32" class="node">
<title>32</title>
<polygon fill="none" stroke="#000000" points="693.909,-1037.0493 697.8212,-1037.1479 701.693,-1037.2953 705.5085,-1037.4913 709.2523,-1037.7353 712.9093,-1038.0266 716.4652,-1038.3645 719.9061,-1038.7479 723.2189,-1039.1759 726.3913,-1039.6472 729.4119,-1040.1606 732.2702,-1040.7147 734.9567,-1041.308 737.4628,-1041.9388 739.7811,-1042.6054 741.9052,-1043.3059 743.83,-1044.0385 745.5513,-1044.8012 747.066,-1045.5918 748.3722,-1046.4082 749.4691,-1047.2481 750.3568,-1048.1093 751.0367,-1048.9894 751.5109,-1049.886 751.7826,-1050.7965 751.8556,-1051.7186 751.735,-1052.6497 751.4261,-1053.5873 750.9352,-1054.5287 750.269,-1055.4713 749.4349,-1056.4127 748.4406,-1057.3503 747.2941,-1058.2814 746.0039,-1059.2035 744.5784,-1060.114 743.0264,-1061.0106 741.3564,-1061.8907 739.5771,-1062.7519 737.6971,-1063.5918 735.7247,-1064.4082 733.6681,-1065.1988 731.5352,-1065.9615 729.3334,-1066.6941 727.0699,-1067.3946 724.7516,-1068.0612 722.3848,-1068.692 719.9754,-1069.2853 717.5288,-1069.8394 715.0501,-1070.3528 712.5438,-1070.8241 710.0141,-1071.2521 707.4648,-1071.6355 704.899,-1071.9734 702.3198,-1072.2647 699.7298,-1072.5087 697.1315,-1072.7047 694.5268,-1072.8521 691.9178,-1072.9507 689.3062,-1073 686.6938,-1073 684.0822,-1072.9507 681.4732,-1072.8521 678.8685,-1072.7047 676.2702,-1072.5087 673.6802,-1072.2647 671.101,-1071.9734 668.5352,-1071.6355 665.9859,-1071.2521 663.4562,-1070.8241 660.9499,-1070.3528 658.4712,-1069.8394 656.0246,-1069.2853 653.6152,-1068.692 651.2484,-1068.0612 648.9301,-1067.3946 646.6666,-1066.6941 644.4648,-1065.9615 642.3319,-1065.1988 640.2753,-1064.4082 638.3029,-1063.5918 636.4229,-1062.7519 634.6436,-1061.8907 632.9736,-1061.0106 631.4216,-1060.114 629.9961,-1059.2035 628.7059,-1058.2814 627.5594,-1057.3503 626.5651,-1056.4127 625.731,-1055.4713 625.0648,-1054.5287 624.5739,-1053.5873 624.265,-1052.6497 624.1444,-1051.7186 624.2174,-1050.7965 624.4891,-1049.886 624.9633,-1048.9894 625.6432,-1048.1093 626.5309,-1047.2481 627.6278,-1046.4082 628.934,-1045.5918 630.4487,-1044.8012 632.17,-1044.0385 634.0948,-1043.3059 636.2189,-1042.6054 638.5372,-1041.9388 641.0433,-1041.308 643.7298,-1040.7147 646.5881,-1040.1606 649.6087,-1039.6472 652.7811,-1039.1759 656.0939,-1038.7479 659.5348,-1038.3645 663.0907,-1038.0266 666.7477,-1037.7353 670.4915,-1037.4913 674.307,-1037.2953 678.1788,-1037.1479 682.091,-1037.0493 686.0276,-1037 689.9724,-1037 693.909,-1037.0493"/>
<text text-anchor="middle" x="688" y="-1051.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 48)</text>
</g>
<!-- 15&#45;&gt;32 -->
<g id="edge41" class="edge">
<title>15&#45;&gt;32</title>
<path fill="none" stroke="#000000" d="M545.9143,-1126.0429C574.9886,-1111.5057 618.0061,-1089.9969 649.0863,-1074.4568"/>
<polygon fill="#000000" stroke="#000000" points="650.941,-1077.4427 658.32,-1069.84 647.8104,-1071.1817 650.941,-1077.4427"/>
<text text-anchor="middle" x="624.5" y="-1094.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 16 -->
<g id="node18" class="node">
<title>16</title>
<polygon fill="none" stroke="#000000" points="297,-744.5 242.5385,-726.5 297,-708.5 351.4615,-726.5 297,-744.5"/>
<text text-anchor="middle" x="297" y="-722.8" font-family="Times,serif" font-size="14.00" fill="#000000">sync 16</text>
</g>
<!-- 17&#45;&gt;16 -->
<g id="edge20" class="edge">
<title>17&#45;&gt;16</title>
<path fill="none" stroke="#000000" d="M246.3178,-873.2117C256.4573,-843.8604 276.4001,-786.1313 288.0173,-752.5026"/>
<polygon fill="#000000" stroke="#000000" points="291.3782,-753.4927 291.3353,-742.898 284.7618,-751.207 291.3782,-753.4927"/>
</g>
<!-- 27 -->
<g id="node27" class="node">
<title>27</title>
<polygon fill="none" stroke="#000000" points="272,-873.5 272,-909.5 326,-909.5 326,-873.5 272,-873.5"/>
<text text-anchor="middle" x="299" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 18&#45;&gt;27 -->
<g id="edge33" class="edge">
<title>18&#45;&gt;27</title>
<path fill="none" stroke="#000000" d="M342.9809,-1037.0963C333.3619,-1019.1443 319.1288,-990.4451 311,-964 306.6224,-949.7586 303.7415,-933.4234 301.9029,-919.8682"/>
<polygon fill="#000000" stroke="#000000" points="305.3446,-919.1808 300.643,-909.6863 298.3976,-920.0405 305.3446,-919.1808"/>
<text text-anchor="middle" x="343" y="-996.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 28 -->
<g id="node28" class="node">
<title>28</title>
<polygon fill="none" stroke="#000000" points="389.909,-928.0493 393.8212,-928.1479 397.693,-928.2953 401.5085,-928.4913 405.2523,-928.7353 408.9093,-929.0266 412.4652,-929.3645 415.9061,-929.7479 419.2189,-930.1759 422.3913,-930.6472 425.4119,-931.1606 428.2702,-931.7147 430.9567,-932.308 433.4628,-932.9388 435.7811,-933.6054 437.9052,-934.3059 439.83,-935.0385 441.5513,-935.8012 443.066,-936.5918 444.3722,-937.4082 445.4691,-938.2481 446.3568,-939.1093 447.0367,-939.9894 447.5109,-940.886 447.7826,-941.7965 447.8556,-942.7186 447.735,-943.6497 447.4261,-944.5873 446.9352,-945.5287 446.269,-946.4713 445.4349,-947.4127 444.4406,-948.3503 443.2941,-949.2814 442.0039,-950.2035 440.5784,-951.114 439.0264,-952.0106 437.3564,-952.8907 435.5771,-953.7519 433.6971,-954.5918 431.7247,-955.4082 429.6681,-956.1988 427.5352,-956.9615 425.3334,-957.6941 423.0699,-958.3946 420.7516,-959.0612 418.3848,-959.692 415.9754,-960.2853 413.5288,-960.8394 411.0501,-961.3528 408.5438,-961.8241 406.0141,-962.2521 403.4648,-962.6355 400.899,-962.9734 398.3198,-963.2647 395.7298,-963.5087 393.1315,-963.7047 390.5268,-963.8521 387.9178,-963.9507 385.3062,-964 382.6938,-964 380.0822,-963.9507 377.4732,-963.8521 374.8685,-963.7047 372.2702,-963.5087 369.6802,-963.2647 367.101,-962.9734 364.5352,-962.6355 361.9859,-962.2521 359.4562,-961.8241 356.9499,-961.3528 354.4712,-960.8394 352.0246,-960.2853 349.6152,-959.692 347.2484,-959.0612 344.9301,-958.3946 342.6666,-957.6941 340.4648,-956.9615 338.3319,-956.1988 336.2753,-955.4082 334.3029,-954.5918 332.4229,-953.7519 330.6436,-952.8907 328.9736,-952.0106 327.4216,-951.114 325.9961,-950.2035 324.7059,-949.2814 323.5594,-948.3503 322.5651,-947.4127 321.731,-946.4713 321.0648,-945.5287 320.5739,-944.5873 320.265,-943.6497 320.1444,-942.7186 320.2174,-941.7965 320.4891,-940.886 320.9633,-939.9894 321.6432,-939.1093 322.5309,-938.2481 323.6278,-937.4082 324.934,-936.5918 326.4487,-935.8012 328.17,-935.0385 330.0948,-934.3059 332.2189,-933.6054 334.5372,-932.9388 337.0433,-932.308 339.7298,-931.7147 342.5881,-931.1606 345.6087,-930.6472 348.7811,-930.1759 352.0939,-929.7479 355.5348,-929.3645 359.0907,-929.0266 362.7477,-928.7353 366.4915,-928.4913 370.307,-928.2953 374.1788,-928.1479 378.091,-928.0493 382.0276,-928 385.9724,-928 389.909,-928.0493"/>
<text text-anchor="middle" x="384" y="-942.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 16)</text>
</g>
<!-- 18&#45;&gt;28 -->
<g id="edge34" class="edge">
<title>18&#45;&gt;28</title>
<path fill="none" stroke="#000000" d="M358.119,-1037.0009C363.0102,-1019.8028 370.4539,-993.6299 376.1048,-973.7607"/>
<polygon fill="#000000" stroke="#000000" points="379.5042,-974.6019 378.8734,-964.0259 372.7713,-972.687 379.5042,-974.6019"/>
<text text-anchor="middle" x="386.5" y="-996.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 19 -->
<g id="node19" class="node">
<title>19</title>
<polygon fill="none" stroke="#000000" points="299.909,-635.0493 303.8212,-635.1479 307.693,-635.2953 311.5085,-635.4913 315.2523,-635.7353 318.9093,-636.0266 322.4652,-636.3645 325.9061,-636.7479 329.2189,-637.1759 332.3913,-637.6472 335.4119,-638.1606 338.2702,-638.7147 340.9567,-639.308 343.4628,-639.9388 345.7811,-640.6054 347.9052,-641.3059 349.83,-642.0385 351.5513,-642.8012 353.066,-643.5918 354.3722,-644.4082 355.4691,-645.2481 356.3568,-646.1093 357.0367,-646.9894 357.5109,-647.886 357.7826,-648.7965 357.8556,-649.7186 357.735,-650.6497 357.4261,-651.5873 356.9352,-652.5287 356.269,-653.4713 355.4349,-654.4127 354.4406,-655.3503 353.2941,-656.2814 352.0039,-657.2035 350.5784,-658.114 349.0264,-659.0106 347.3564,-659.8907 345.5771,-660.7519 343.6971,-661.5918 341.7247,-662.4082 339.6681,-663.1988 337.5352,-663.9615 335.3334,-664.6941 333.0699,-665.3946 330.7516,-666.0612 328.3848,-666.692 325.9754,-667.2853 323.5288,-667.8394 321.0501,-668.3528 318.5438,-668.8241 316.0141,-669.2521 313.4648,-669.6355 310.899,-669.9734 308.3198,-670.2647 305.7298,-670.5087 303.1315,-670.7047 300.5268,-670.8521 297.9178,-670.9507 295.3062,-671 292.6938,-671 290.0822,-670.9507 287.4732,-670.8521 284.8685,-670.7047 282.2702,-670.5087 279.6802,-670.2647 277.101,-669.9734 274.5352,-669.6355 271.9859,-669.2521 269.4562,-668.8241 266.9499,-668.3528 264.4712,-667.8394 262.0246,-667.2853 259.6152,-666.692 257.2484,-666.0612 254.9301,-665.3946 252.6666,-664.6941 250.4648,-663.9615 248.3319,-663.1988 246.2753,-662.4082 244.3029,-661.5918 242.4229,-660.7519 240.6436,-659.8907 238.9736,-659.0106 237.4216,-658.114 235.9961,-657.2035 234.7059,-656.2814 233.5594,-655.3503 232.5651,-654.4127 231.731,-653.4713 231.0648,-652.5287 230.5739,-651.5873 230.265,-650.6497 230.1444,-649.7186 230.2174,-648.7965 230.4891,-647.886 230.9633,-646.9894 231.6432,-646.1093 232.5309,-645.2481 233.6278,-644.4082 234.934,-643.5918 236.4487,-642.8012 238.17,-642.0385 240.0948,-641.3059 242.2189,-640.6054 244.5372,-639.9388 247.0433,-639.308 249.7298,-638.7147 252.5881,-638.1606 255.6087,-637.6472 258.7811,-637.1759 262.0939,-636.7479 265.5348,-636.3645 269.0907,-636.0266 272.7477,-635.7353 276.4915,-635.4913 280.307,-635.2953 284.1788,-635.1479 288.091,-635.0493 292.0276,-635 295.9724,-635 299.909,-635.0493"/>
<text text-anchor="middle" x="294" y="-649.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 20)</text>
</g>
<!-- 16&#45;&gt;19 -->
<g id="edge21" class="edge">
<title>16&#45;&gt;19</title>
<path fill="none" stroke="#000000" d="M296.2738,-708.7077C295.9361,-700.435 295.5264,-690.3974 295.1483,-681.1337"/>
<polygon fill="#000000" stroke="#000000" points="298.6454,-680.988 294.7404,-671.1391 291.6512,-681.2735 298.6454,-680.988"/>
</g>
<!-- 21 -->
<g id="node20" class="node">
<title>21</title>
<polygon fill="none" stroke="#000000" points="169,-493.5 169,-529.5 223,-529.5 223,-493.5 169,-493.5"/>
<text text-anchor="middle" x="196" y="-507.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 19&#45;&gt;21 -->
<g id="edge22" class="edge">
<title>19&#45;&gt;21</title>
<path fill="none" stroke="#000000" d="M270.4263,-635.7015C254.5306,-622.9627 234.1381,-604.3711 221,-584 212.2318,-570.4046 206.155,-553.382 202.19,-539.2484"/>
<polygon fill="#000000" stroke="#000000" points="205.5739,-538.3538 199.6679,-529.5579 198.7996,-540.117 205.5739,-538.3538"/>
<text text-anchor="middle" x="258" y="-605.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="299.909,-548.0493 303.8212,-548.1479 307.693,-548.2953 311.5085,-548.4913 315.2523,-548.7353 318.9093,-549.0266 322.4652,-549.3645 325.9061,-549.7479 329.2189,-550.1759 332.3913,-550.6472 335.4119,-551.1606 338.2702,-551.7147 340.9567,-552.308 343.4628,-552.9388 345.7811,-553.6054 347.9052,-554.3059 349.83,-555.0385 351.5513,-555.8012 353.066,-556.5918 354.3722,-557.4082 355.4691,-558.2481 356.3568,-559.1093 357.0367,-559.9894 357.5109,-560.886 357.7826,-561.7965 357.8556,-562.7186 357.735,-563.6497 357.4261,-564.5873 356.9352,-565.5287 356.269,-566.4713 355.4349,-567.4127 354.4406,-568.3503 353.2941,-569.2814 352.0039,-570.2035 350.5784,-571.114 349.0264,-572.0106 347.3564,-572.8907 345.5771,-573.7519 343.6971,-574.5918 341.7247,-575.4082 339.6681,-576.1988 337.5352,-576.9615 335.3334,-577.6941 333.0699,-578.3946 330.7516,-579.0612 328.3848,-579.692 325.9754,-580.2853 323.5288,-580.8394 321.0501,-581.3528 318.5438,-581.8241 316.0141,-582.2521 313.4648,-582.6355 310.899,-582.9734 308.3198,-583.2647 305.7298,-583.5087 303.1315,-583.7047 300.5268,-583.8521 297.9178,-583.9507 295.3062,-584 292.6938,-584 290.0822,-583.9507 287.4732,-583.8521 284.8685,-583.7047 282.2702,-583.5087 279.6802,-583.2647 277.101,-582.9734 274.5352,-582.6355 271.9859,-582.2521 269.4562,-581.8241 266.9499,-581.3528 264.4712,-580.8394 262.0246,-580.2853 259.6152,-579.692 257.2484,-579.0612 254.9301,-578.3946 252.6666,-577.6941 250.4648,-576.9615 248.3319,-576.1988 246.2753,-575.4082 244.3029,-574.5918 242.4229,-573.7519 240.6436,-572.8907 238.9736,-572.0106 237.4216,-571.114 235.9961,-570.2035 234.7059,-569.2814 233.5594,-568.3503 232.5651,-567.4127 231.731,-566.4713 231.0648,-565.5287 230.5739,-564.5873 230.265,-563.6497 230.1444,-562.7186 230.2174,-561.7965 230.4891,-560.886 230.9633,-559.9894 231.6432,-559.1093 232.5309,-558.2481 233.6278,-557.4082 234.934,-556.5918 236.4487,-555.8012 238.17,-555.0385 240.0948,-554.3059 242.2189,-553.6054 244.5372,-552.9388 247.0433,-552.308 249.7298,-551.7147 252.5881,-551.1606 255.6087,-550.6472 258.7811,-550.1759 262.0939,-549.7479 265.5348,-549.3645 269.0907,-549.0266 272.7477,-548.7353 276.4915,-548.4913 280.307,-548.2953 284.1788,-548.1479 288.091,-548.0493 292.0276,-548 295.9724,-548 299.909,-548.0493"/>
<text text-anchor="middle" x="294" y="-562.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 20)</text>
</g>
<!-- 19&#45;&gt;22 -->
<g id="edge23" class="edge">
<title>19&#45;&gt;22</title>
<path fill="none" stroke="#000000" d="M294,-634.9735C294,-623.1918 294,-607.5607 294,-594.1581"/>
<polygon fill="#000000" stroke="#000000" points="297.5001,-594.0033 294,-584.0034 290.5001,-594.0034 297.5001,-594.0033"/>
<text text-anchor="middle" x="307.5" y="-605.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="301,-255.5 246.5385,-237.5 301,-219.5 355.4615,-237.5 301,-255.5"/>
<text text-anchor="middle" x="301" y="-233.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="M196.802,-493.3854C198.3039,-468.3192 202.5102,-421.8633 214,-384 229.7582,-332.0706 236.3817,-318.8052 267,-274 270.7196,-268.557 275.2334,-263.1236 279.7403,-258.1754"/>
<polygon fill="#000000" stroke="#000000" points="282.3387,-260.5221 286.7017,-250.8673 277.2702,-255.694 282.3387,-260.5221"/>
</g>
<!-- 23 -->
<g id="node23" class="node">
<title>23</title>
<polygon fill="none" stroke="#000000" points="219,-384.5 219,-420.5 273,-420.5 273,-384.5 219,-384.5"/>
<text text-anchor="middle" x="246" y="-398.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 22&#45;&gt;23 -->
<g id="edge26" class="edge">
<title>22&#45;&gt;23</title>
<path fill="none" stroke="#000000" d="M287.9432,-547.9562C281.873,-529.6564 272.3931,-500.4794 265,-475 260.7942,-460.5051 256.499,-444.2615 253.0589,-430.8295"/>
<polygon fill="#000000" stroke="#000000" points="256.3528,-429.5797 250.5014,-420.7473 249.5677,-431.3009 256.3528,-429.5797"/>
<text text-anchor="middle" x="291" y="-507.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 24 -->
<g id="node24" class="node">
<title>24</title>
<polygon fill="none" stroke="#000000" points="343.909,-439.0493 347.8212,-439.1479 351.693,-439.2953 355.5085,-439.4913 359.2523,-439.7353 362.9093,-440.0266 366.4652,-440.3645 369.9061,-440.7479 373.2189,-441.1759 376.3913,-441.6472 379.4119,-442.1606 382.2702,-442.7147 384.9567,-443.308 387.4628,-443.9388 389.7811,-444.6054 391.9052,-445.3059 393.83,-446.0385 395.5513,-446.8012 397.066,-447.5918 398.3722,-448.4082 399.4691,-449.2481 400.3568,-450.1093 401.0367,-450.9894 401.5109,-451.886 401.7826,-452.7965 401.8556,-453.7186 401.735,-454.6497 401.4261,-455.5873 400.9352,-456.5287 400.269,-457.4713 399.4349,-458.4127 398.4406,-459.3503 397.2941,-460.2814 396.0039,-461.2035 394.5784,-462.114 393.0264,-463.0106 391.3564,-463.8907 389.5771,-464.7519 387.6971,-465.5918 385.7247,-466.4082 383.6681,-467.1988 381.5352,-467.9615 379.3334,-468.6941 377.0699,-469.3946 374.7516,-470.0612 372.3848,-470.692 369.9754,-471.2853 367.5288,-471.8394 365.0501,-472.3528 362.5438,-472.8241 360.0141,-473.2521 357.4648,-473.6355 354.899,-473.9734 352.3198,-474.2647 349.7298,-474.5087 347.1315,-474.7047 344.5268,-474.8521 341.9178,-474.9507 339.3062,-475 336.6938,-475 334.0822,-474.9507 331.4732,-474.8521 328.8685,-474.7047 326.2702,-474.5087 323.6802,-474.2647 321.101,-473.9734 318.5352,-473.6355 315.9859,-473.2521 313.4562,-472.8241 310.9499,-472.3528 308.4712,-471.8394 306.0246,-471.2853 303.6152,-470.692 301.2484,-470.0612 298.9301,-469.3946 296.6666,-468.6941 294.4648,-467.9615 292.3319,-467.1988 290.2753,-466.4082 288.3029,-465.5918 286.4229,-464.7519 284.6436,-463.8907 282.9736,-463.0106 281.4216,-462.114 279.9961,-461.2035 278.7059,-460.2814 277.5594,-459.3503 276.5651,-458.4127 275.731,-457.4713 275.0648,-456.5287 274.5739,-455.5873 274.265,-454.6497 274.1444,-453.7186 274.2174,-452.7965 274.4891,-451.886 274.9633,-450.9894 275.6432,-450.1093 276.5309,-449.2481 277.6278,-448.4082 278.934,-447.5918 280.4487,-446.8012 282.17,-446.0385 284.0948,-445.3059 286.2189,-444.6054 288.5372,-443.9388 291.0433,-443.308 293.7298,-442.7147 296.5881,-442.1606 299.6087,-441.6472 302.7811,-441.1759 306.0939,-440.7479 309.5348,-440.3645 313.0907,-440.0266 316.7477,-439.7353 320.4915,-439.4913 324.307,-439.2953 328.1788,-439.1479 332.091,-439.0493 336.0276,-439 339.9724,-439 343.909,-439.0493"/>
<text text-anchor="middle" x="338" y="-453.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 20)</text>
</g>
<!-- 22&#45;&gt;24 -->
<g id="edge27" class="edge">
<title>22&#45;&gt;24</title>
<path fill="none" stroke="#000000" d="M301.2657,-548.0009C308.2399,-530.7239 318.8703,-504.3896 326.9041,-484.4877"/>
<polygon fill="#000000" stroke="#000000" points="330.2258,-485.609 330.7235,-475.0259 323.7347,-482.9887 330.2258,-485.609"/>
<text text-anchor="middle" x="335.5" y="-507.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 20&#45;&gt;2 -->
<g id="edge25" class="edge">
<title>20&#45;&gt;2</title>
<path fill="none" stroke="#000000" d="M305.9618,-220.9794C313.5613,-195.6765 328.1496,-147.1041 337.1812,-117.0331"/>
<polygon fill="#000000" stroke="#000000" points="340.599,-117.8209 340.1234,-107.2367 333.8948,-115.8073 340.599,-117.8209"/>
</g>
<!-- 23&#45;&gt;20 -->
<g id="edge28" class="edge">
<title>23&#45;&gt;20</title>
<path fill="none" stroke="#000000" d="M250.0757,-384.1993C253.5678,-369.2199 258.977,-347.5531 265,-329 272.3827,-306.2587 282.4632,-281.0122 290.0795,-262.8092"/>
<polygon fill="#000000" stroke="#000000" points="293.3526,-264.0552 294.0245,-253.4817 286.9055,-261.3285 293.3526,-264.0552"/>
</g>
<!-- 25 -->
<g id="node25" class="node">
<title>25</title>
<polygon fill="none" stroke="#000000" points="274,-329.5 274,-365.5 328,-365.5 328,-329.5 274,-329.5"/>
<text text-anchor="middle" x="301" y="-343.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 24&#45;&gt;25 -->
<g id="edge29" class="edge">
<title>24&#45;&gt;25</title>
<path fill="none" stroke="#000000" d="M331.8902,-438.9183C326.0255,-421.562 317.0864,-395.107 310.3307,-375.1137"/>
<polygon fill="#000000" stroke="#000000" points="313.6359,-373.9619 307.1189,-365.6086 307.0043,-376.2028 313.6359,-373.9619"/>
<text text-anchor="middle" x="334" y="-398.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 26 -->
<g id="node26" class="node">
<title>26</title>
<polygon fill="none" stroke="#000000" points="346,-329.5 346,-365.5 400,-365.5 400,-329.5 346,-329.5"/>
<text text-anchor="middle" x="373" y="-343.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 24&#45;&gt;26 -->
<g id="edge30" class="edge">
<title>24&#45;&gt;26</title>
<path fill="none" stroke="#000000" d="M343.7795,-438.9183C349.3019,-421.6413 357.706,-395.3484 364.086,-375.388"/>
<polygon fill="#000000" stroke="#000000" points="367.501,-376.1995 367.2119,-365.6086 360.8334,-374.0682 367.501,-376.1995"/>
<text text-anchor="middle" x="373.5" y="-398.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 25&#45;&gt;20 -->
<g id="edge31" class="edge">
<title>25&#45;&gt;20</title>
<path fill="none" stroke="#000000" d="M301,-329.3357C301,-312.0595 301,-285.809 301,-265.7917"/>
<polygon fill="#000000" stroke="#000000" points="304.5001,-265.6912 301,-255.6912 297.5001,-265.6913 304.5001,-265.6912"/>
</g>
<!-- 26&#45;&gt;20 -->
<g id="edge32" class="edge">
<title>26&#45;&gt;20</title>
<path fill="none" stroke="#000000" d="M361.1107,-329.3357C348.8636,-310.625 329.7266,-281.3879 316.3446,-260.9431"/>
<polygon fill="#000000" stroke="#000000" points="319.2278,-258.9571 310.8227,-252.5069 313.3709,-262.7908 319.2278,-258.9571"/>
</g>
<!-- 27&#45;&gt;16 -->
<g id="edge35" class="edge">
<title>27&#45;&gt;16</title>
<path fill="none" stroke="#000000" d="M298.7783,-873.2117C298.4305,-844.5169 297.7539,-788.6996 297.343,-754.7947"/>
<polygon fill="#000000" stroke="#000000" points="300.8407,-754.5756 297.2196,-744.6188 293.8412,-754.6605 300.8407,-754.5756"/>
</g>
<!-- 29 -->
<g id="node29" class="node">
<title>29</title>
<polygon fill="none" stroke="#000000" points="325,-818.5 325,-854.5 379,-854.5 379,-818.5 325,-818.5"/>
<text text-anchor="middle" x="352" y="-832.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 28&#45;&gt;29 -->
<g id="edge36" class="edge">
<title>28&#45;&gt;29</title>
<path fill="none" stroke="#000000" d="M375.1236,-927.9693C372.574,-922.3116 369.9571,-915.9802 368,-910 363.1771,-895.2633 359.3861,-878.3855 356.7073,-864.5228"/>
<polygon fill="#000000" stroke="#000000" points="360.1322,-863.7947 354.877,-854.5951 353.2482,-865.0639 360.1322,-863.7947"/>
<text text-anchor="middle" x="378" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 30 -->
<g id="node30" class="node">
<title>30</title>
<polygon fill="none" stroke="#000000" points="397,-818.5 397,-854.5 451,-854.5 451,-818.5 397,-818.5"/>
<text text-anchor="middle" x="424" y="-832.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 28&#45;&gt;30 -->
<g id="edge37" class="edge">
<title>28&#45;&gt;30</title>
<path fill="none" stroke="#000000" d="M390.6052,-927.9183C396.9454,-910.562 406.6093,-884.107 413.9128,-864.1137"/>
<polygon fill="#000000" stroke="#000000" points="417.2413,-865.2024 417.385,-854.6086 410.6662,-862.8005 417.2413,-865.2024"/>
<text text-anchor="middle" x="422.5" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 29&#45;&gt;16 -->
<g id="edge38" class="edge">
<title>29&#45;&gt;16</title>
<path fill="none" stroke="#000000" d="M342.9179,-818.3357C333.7517,-800.0035 319.5333,-771.5665 309.3473,-751.1945"/>
<polygon fill="#000000" stroke="#000000" points="312.45,-749.5736 304.8473,-742.1946 306.189,-752.7041 312.45,-749.5736"/>
</g>
<!-- 30&#45;&gt;16 -->
<g id="edge39" class="edge">
<title>30&#45;&gt;16</title>
<path fill="none" stroke="#000000" d="M403.0285,-818.3357C380.2147,-798.5757 343.8464,-767.0756 320.1947,-746.5899"/>
<polygon fill="#000000" stroke="#000000" points="322.2525,-743.7419 312.4022,-739.8405 317.6696,-749.0331 322.2525,-743.7419"/>
</g>
<!-- 34 -->
<g id="node33" class="node">
<title>34</title>
<polygon fill="none" stroke="#000000" points="440,-763.5 440,-799.5 494,-799.5 494,-763.5 440,-763.5"/>
<text text-anchor="middle" x="467" y="-777.8" font-family="Times,serif" font-size="14.00" fill="#000000">21 μs</text>
</g>
<!-- 31&#45;&gt;34 -->
<g id="edge42" class="edge">
<title>31&#45;&gt;34</title>
<path fill="none" stroke="#000000" d="M509.3596,-1036.9663C504.766,-1018.6745 497.7504,-989.5035 493,-964 482.909,-909.825 474.6301,-845.9639 470.2909,-809.9554"/>
<polygon fill="#000000" stroke="#000000" points="473.7297,-809.2327 469.0731,-799.7161 466.7787,-810.0595 473.7297,-809.2327"/>
<text text-anchor="middle" x="503" y="-942.3" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 35 -->
<g id="node34" class="node">
<title>35</title>
<polygon fill="none" stroke="#000000" points="591.909,-928.0493 595.8212,-928.1479 599.693,-928.2953 603.5085,-928.4913 607.2523,-928.7353 610.9093,-929.0266 614.4652,-929.3645 617.9061,-929.7479 621.2189,-930.1759 624.3913,-930.6472 627.4119,-931.1606 630.2702,-931.7147 632.9567,-932.308 635.4628,-932.9388 637.7811,-933.6054 639.9052,-934.3059 641.83,-935.0385 643.5513,-935.8012 645.066,-936.5918 646.3722,-937.4082 647.4691,-938.2481 648.3568,-939.1093 649.0367,-939.9894 649.5109,-940.886 649.7826,-941.7965 649.8556,-942.7186 649.735,-943.6497 649.4261,-944.5873 648.9352,-945.5287 648.269,-946.4713 647.4349,-947.4127 646.4406,-948.3503 645.2941,-949.2814 644.0039,-950.2035 642.5784,-951.114 641.0264,-952.0106 639.3564,-952.8907 637.5771,-953.7519 635.6971,-954.5918 633.7247,-955.4082 631.6681,-956.1988 629.5352,-956.9615 627.3334,-957.6941 625.0699,-958.3946 622.7516,-959.0612 620.3848,-959.692 617.9754,-960.2853 615.5288,-960.8394 613.0501,-961.3528 610.5438,-961.8241 608.0141,-962.2521 605.4648,-962.6355 602.899,-962.9734 600.3198,-963.2647 597.7298,-963.5087 595.1315,-963.7047 592.5268,-963.8521 589.9178,-963.9507 587.3062,-964 584.6938,-964 582.0822,-963.9507 579.4732,-963.8521 576.8685,-963.7047 574.2702,-963.5087 571.6802,-963.2647 569.101,-962.9734 566.5352,-962.6355 563.9859,-962.2521 561.4562,-961.8241 558.9499,-961.3528 556.4712,-960.8394 554.0246,-960.2853 551.6152,-959.692 549.2484,-959.0612 546.9301,-958.3946 544.6666,-957.6941 542.4648,-956.9615 540.3319,-956.1988 538.2753,-955.4082 536.3029,-954.5918 534.4229,-953.7519 532.6436,-952.8907 530.9736,-952.0106 529.4216,-951.114 527.9961,-950.2035 526.7059,-949.2814 525.5594,-948.3503 524.5651,-947.4127 523.731,-946.4713 523.0648,-945.5287 522.5739,-944.5873 522.265,-943.6497 522.1444,-942.7186 522.2174,-941.7965 522.4891,-940.886 522.9633,-939.9894 523.6432,-939.1093 524.5309,-938.2481 525.6278,-937.4082 526.934,-936.5918 528.4487,-935.8012 530.17,-935.0385 532.0948,-934.3059 534.2189,-933.6054 536.5372,-932.9388 539.0433,-932.308 541.7298,-931.7147 544.5881,-931.1606 547.6087,-930.6472 550.7811,-930.1759 554.0939,-929.7479 557.5348,-929.3645 561.0907,-929.0266 564.7477,-928.7353 568.4915,-928.4913 572.307,-928.2953 576.1788,-928.1479 580.091,-928.0493 584.0276,-928 587.9724,-928 591.909,-928.0493"/>
<text text-anchor="middle" x="586" y="-942.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 33)</text>
</g>
<!-- 31&#45;&gt;35 -->
<g id="edge43" class="edge">
<title>31&#45;&gt;35</title>
<path fill="none" stroke="#000000" d="M525.8893,-1037.0009C537.5797,-1019.303 555.5479,-992.1011 568.7961,-972.0448"/>
<polygon fill="#000000" stroke="#000000" points="571.7406,-973.9373 574.3319,-963.6642 565.8998,-970.0791 571.7406,-973.9373"/>
<text text-anchor="middle" x="573.5" y="-996.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 49 -->
<g id="node48" class="node">
<title>49</title>
<polygon fill="none" stroke="#000000" points="668,-873.5 668,-909.5 722,-909.5 722,-873.5 668,-873.5"/>
<text text-anchor="middle" x="695" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 32&#45;&gt;49 -->
<g id="edge64" class="edge">
<title>32&#45;&gt;49</title>
<path fill="none" stroke="#000000" d="M688.7759,-1036.8779C689.99,-1008.519 692.3487,-953.4258 693.7882,-919.8039"/>
<polygon fill="#000000" stroke="#000000" points="697.2896,-919.8438 694.2207,-909.7032 690.296,-919.5443 697.2896,-919.8438"/>
<text text-anchor="middle" x="701" y="-996.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 50 -->
<g id="node49" class="node">
<title>50</title>
<polygon fill="none" stroke="#000000" points="785.909,-928.0493 789.8212,-928.1479 793.693,-928.2953 797.5085,-928.4913 801.2523,-928.7353 804.9093,-929.0266 808.4652,-929.3645 811.9061,-929.7479 815.2189,-930.1759 818.3913,-930.6472 821.4119,-931.1606 824.2702,-931.7147 826.9567,-932.308 829.4628,-932.9388 831.7811,-933.6054 833.9052,-934.3059 835.83,-935.0385 837.5513,-935.8012 839.066,-936.5918 840.3722,-937.4082 841.4691,-938.2481 842.3568,-939.1093 843.0367,-939.9894 843.5109,-940.886 843.7826,-941.7965 843.8556,-942.7186 843.735,-943.6497 843.4261,-944.5873 842.9352,-945.5287 842.269,-946.4713 841.4349,-947.4127 840.4406,-948.3503 839.2941,-949.2814 838.0039,-950.2035 836.5784,-951.114 835.0264,-952.0106 833.3564,-952.8907 831.5771,-953.7519 829.6971,-954.5918 827.7247,-955.4082 825.6681,-956.1988 823.5352,-956.9615 821.3334,-957.6941 819.0699,-958.3946 816.7516,-959.0612 814.3848,-959.692 811.9754,-960.2853 809.5288,-960.8394 807.0501,-961.3528 804.5438,-961.8241 802.0141,-962.2521 799.4648,-962.6355 796.899,-962.9734 794.3198,-963.2647 791.7298,-963.5087 789.1315,-963.7047 786.5268,-963.8521 783.9178,-963.9507 781.3062,-964 778.6938,-964 776.0822,-963.9507 773.4732,-963.8521 770.8685,-963.7047 768.2702,-963.5087 765.6802,-963.2647 763.101,-962.9734 760.5352,-962.6355 757.9859,-962.2521 755.4562,-961.8241 752.9499,-961.3528 750.4712,-960.8394 748.0246,-960.2853 745.6152,-959.692 743.2484,-959.0612 740.9301,-958.3946 738.6666,-957.6941 736.4648,-956.9615 734.3319,-956.1988 732.2753,-955.4082 730.3029,-954.5918 728.4229,-953.7519 726.6436,-952.8907 724.9736,-952.0106 723.4216,-951.114 721.9961,-950.2035 720.7059,-949.2814 719.5594,-948.3503 718.5651,-947.4127 717.731,-946.4713 717.0648,-945.5287 716.5739,-944.5873 716.265,-943.6497 716.1444,-942.7186 716.2174,-941.7965 716.4891,-940.886 716.9633,-939.9894 717.6432,-939.1093 718.5309,-938.2481 719.6278,-937.4082 720.934,-936.5918 722.4487,-935.8012 724.17,-935.0385 726.0948,-934.3059 728.2189,-933.6054 730.5372,-932.9388 733.0433,-932.308 735.7298,-931.7147 738.5881,-931.1606 741.6087,-930.6472 744.7811,-930.1759 748.0939,-929.7479 751.5348,-929.3645 755.0907,-929.0266 758.7477,-928.7353 762.4915,-928.4913 766.307,-928.2953 770.1788,-928.1479 774.091,-928.0493 778.0276,-928 781.9724,-928 785.909,-928.0493"/>
<text text-anchor="middle" x="780" y="-942.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 48)</text>
</g>
<!-- 32&#45;&gt;50 -->
<g id="edge65" class="edge">
<title>32&#45;&gt;50</title>
<path fill="none" stroke="#000000" d="M703.1919,-1037.0009C718.3533,-1019.0379 741.7784,-991.2843 758.7736,-971.1486"/>
<polygon fill="#000000" stroke="#000000" points="761.6184,-973.2046 765.3937,-963.3052 756.2691,-968.6896 761.6184,-973.2046"/>
<text text-anchor="middle" x="760.5" y="-996.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 33 -->
<g id="node35" class="node">
<title>33</title>
<polygon fill="none" stroke="#000000" points="523,-671 468.5385,-653 523,-635 577.4615,-653 523,-671"/>
<text text-anchor="middle" x="523" y="-649.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 33</text>
</g>
<!-- 34&#45;&gt;33 -->
<g id="edge44" class="edge">
<title>34&#45;&gt;33</title>
<path fill="none" stroke="#000000" d="M474.9047,-763.3616C484.5929,-741.1305 501.0654,-703.3321 511.9898,-678.2644"/>
<polygon fill="#000000" stroke="#000000" points="515.2316,-679.5865 516.0181,-669.0209 508.8144,-676.7899 515.2316,-679.5865"/>
</g>
<!-- 44 -->
<g id="node44" class="node">
<title>44</title>
<polygon fill="none" stroke="#000000" points="499,-763.5 499,-799.5 553,-799.5 553,-763.5 499,-763.5"/>
<text text-anchor="middle" x="526" y="-777.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 35&#45;&gt;44 -->
<g id="edge57" class="edge">
<title>35&#45;&gt;44</title>
<path fill="none" stroke="#000000" d="M576.0848,-928.0098C566.4969,-909.9923 552.1175,-881.2444 543,-855 537.8967,-840.3102 533.8703,-823.4358 531.0197,-809.5633"/>
<polygon fill="#000000" stroke="#000000" points="534.4299,-808.7653 529.0706,-799.6259 527.5608,-810.1126 534.4299,-808.7653"/>
<text text-anchor="middle" x="576" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 45 -->
<g id="node45" class="node">
<title>45</title>
<polygon fill="none" stroke="#000000" points="621.909,-818.5493 625.8212,-818.6479 629.693,-818.7953 633.5085,-818.9913 637.2523,-819.2353 640.9093,-819.5266 644.4652,-819.8645 647.9061,-820.2479 651.2189,-820.6759 654.3913,-821.1472 657.4119,-821.6606 660.2702,-822.2147 662.9567,-822.808 665.4628,-823.4388 667.7811,-824.1054 669.9052,-824.8059 671.83,-825.5385 673.5513,-826.3012 675.066,-827.0918 676.3722,-827.9082 677.4691,-828.7481 678.3568,-829.6093 679.0367,-830.4894 679.5109,-831.386 679.7826,-832.2965 679.8556,-833.2186 679.735,-834.1497 679.4261,-835.0873 678.9352,-836.0287 678.269,-836.9713 677.4349,-837.9127 676.4406,-838.8503 675.2941,-839.7814 674.0039,-840.7035 672.5784,-841.614 671.0264,-842.5106 669.3564,-843.3907 667.5771,-844.2519 665.6971,-845.0918 663.7247,-845.9082 661.6681,-846.6988 659.5352,-847.4615 657.3334,-848.1941 655.0699,-848.8946 652.7516,-849.5612 650.3848,-850.192 647.9754,-850.7853 645.5288,-851.3394 643.0501,-851.8528 640.5438,-852.3241 638.0141,-852.7521 635.4648,-853.1355 632.899,-853.4734 630.3198,-853.7647 627.7298,-854.0087 625.1315,-854.2047 622.5268,-854.3521 619.9178,-854.4507 617.3062,-854.5 614.6938,-854.5 612.0822,-854.4507 609.4732,-854.3521 606.8685,-854.2047 604.2702,-854.0087 601.6802,-853.7647 599.101,-853.4734 596.5352,-853.1355 593.9859,-852.7521 591.4562,-852.3241 588.9499,-851.8528 586.4712,-851.3394 584.0246,-850.7853 581.6152,-850.192 579.2484,-849.5612 576.9301,-848.8946 574.6666,-848.1941 572.4648,-847.4615 570.3319,-846.6988 568.2753,-845.9082 566.3029,-845.0918 564.4229,-844.2519 562.6436,-843.3907 560.9736,-842.5106 559.4216,-841.614 557.9961,-840.7035 556.7059,-839.7814 555.5594,-838.8503 554.5651,-837.9127 553.731,-836.9713 553.0648,-836.0287 552.5739,-835.0873 552.265,-834.1497 552.1444,-833.2186 552.2174,-832.2965 552.4891,-831.386 552.9633,-830.4894 553.6432,-829.6093 554.5309,-828.7481 555.6278,-827.9082 556.934,-827.0918 558.4487,-826.3012 560.17,-825.5385 562.0948,-824.8059 564.2189,-824.1054 566.5372,-823.4388 569.0433,-822.808 571.7298,-822.2147 574.5881,-821.6606 577.6087,-821.1472 580.7811,-820.6759 584.0939,-820.2479 587.5348,-819.8645 591.0907,-819.5266 594.7477,-819.2353 598.4915,-818.9913 602.307,-818.7953 606.1788,-818.6479 610.091,-818.5493 614.0276,-818.5 617.9724,-818.5 621.909,-818.5493"/>
<text text-anchor="middle" x="616" y="-832.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 33)</text>
</g>
<!-- 35&#45;&gt;45 -->
<g id="edge58" class="edge">
<title>35&#45;&gt;45</title>
<path fill="none" stroke="#000000" d="M590.9539,-927.9183C595.6873,-910.6413 602.8909,-884.3484 608.3594,-864.388"/>
<polygon fill="#000000" stroke="#000000" points="611.7719,-865.178 611.0388,-854.6086 605.0207,-863.3283 611.7719,-865.178"/>
<text text-anchor="middle" x="618.5" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 36 -->
<g id="node36" class="node">
<title>36</title>
<polygon fill="none" stroke="#000000" points="528.909,-548.0493 532.8212,-548.1479 536.693,-548.2953 540.5085,-548.4913 544.2523,-548.7353 547.9093,-549.0266 551.4652,-549.3645 554.9061,-549.7479 558.2189,-550.1759 561.3913,-550.6472 564.4119,-551.1606 567.2702,-551.7147 569.9567,-552.308 572.4628,-552.9388 574.7811,-553.6054 576.9052,-554.3059 578.83,-555.0385 580.5513,-555.8012 582.066,-556.5918 583.3722,-557.4082 584.4691,-558.2481 585.3568,-559.1093 586.0367,-559.9894 586.5109,-560.886 586.7826,-561.7965 586.8556,-562.7186 586.735,-563.6497 586.4261,-564.5873 585.9352,-565.5287 585.269,-566.4713 584.4349,-567.4127 583.4406,-568.3503 582.2941,-569.2814 581.0039,-570.2035 579.5784,-571.114 578.0264,-572.0106 576.3564,-572.8907 574.5771,-573.7519 572.6971,-574.5918 570.7247,-575.4082 568.6681,-576.1988 566.5352,-576.9615 564.3334,-577.6941 562.0699,-578.3946 559.7516,-579.0612 557.3848,-579.692 554.9754,-580.2853 552.5288,-580.8394 550.0501,-581.3528 547.5438,-581.8241 545.0141,-582.2521 542.4648,-582.6355 539.899,-582.9734 537.3198,-583.2647 534.7298,-583.5087 532.1315,-583.7047 529.5268,-583.8521 526.9178,-583.9507 524.3062,-584 521.6938,-584 519.0822,-583.9507 516.4732,-583.8521 513.8685,-583.7047 511.2702,-583.5087 508.6802,-583.2647 506.101,-582.9734 503.5352,-582.6355 500.9859,-582.2521 498.4562,-581.8241 495.9499,-581.3528 493.4712,-580.8394 491.0246,-580.2853 488.6152,-579.692 486.2484,-579.0612 483.9301,-578.3946 481.6666,-577.6941 479.4648,-576.9615 477.3319,-576.1988 475.2753,-575.4082 473.3029,-574.5918 471.4229,-573.7519 469.6436,-572.8907 467.9736,-572.0106 466.4216,-571.114 464.9961,-570.2035 463.7059,-569.2814 462.5594,-568.3503 461.5651,-567.4127 460.731,-566.4713 460.0648,-565.5287 459.5739,-564.5873 459.265,-563.6497 459.1444,-562.7186 459.2174,-561.7965 459.4891,-560.886 459.9633,-559.9894 460.6432,-559.1093 461.5309,-558.2481 462.6278,-557.4082 463.934,-556.5918 465.4487,-555.8012 467.17,-555.0385 469.0948,-554.3059 471.2189,-553.6054 473.5372,-552.9388 476.0433,-552.308 478.7298,-551.7147 481.5881,-551.1606 484.6087,-550.6472 487.7811,-550.1759 491.0939,-549.7479 494.5348,-549.3645 498.0907,-549.0266 501.7477,-548.7353 505.4915,-548.4913 509.307,-548.2953 513.1788,-548.1479 517.091,-548.0493 521.0276,-548 524.9724,-548 528.909,-548.0493"/>
<text text-anchor="middle" x="523" y="-562.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 37)</text>
</g>
<!-- 33&#45;&gt;36 -->
<g id="edge45" class="edge">
<title>33&#45;&gt;36</title>
<path fill="none" stroke="#000000" d="M523,-634.9735C523,-623.1918 523,-607.5607 523,-594.1581"/>
<polygon fill="#000000" stroke="#000000" points="526.5001,-594.0033 523,-584.0034 519.5001,-594.0034 526.5001,-594.0033"/>
</g>
<!-- 38 -->
<g id="node37" class="node">
<title>38</title>
<polygon fill="none" stroke="#000000" points="390,-274.5 390,-310.5 444,-310.5 444,-274.5 390,-274.5"/>
<text text-anchor="middle" x="417" y="-288.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 36&#45;&gt;38 -->
<g id="edge46" class="edge">
<title>36&#45;&gt;38</title>
<path fill="none" stroke="#000000" d="M503.3891,-548.5563C485.6652,-531.601 460.3676,-504.1958 447,-475 423.641,-423.9824 418.1935,-357.577 417.0887,-320.5641"/>
<polygon fill="#000000" stroke="#000000" points="420.5867,-320.4291 416.8753,-310.5056 413.5882,-320.5776 420.5867,-320.4291"/>
<text text-anchor="middle" x="457" y="-453.3" 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="545.909,-439.0493 549.8212,-439.1479 553.693,-439.2953 557.5085,-439.4913 561.2523,-439.7353 564.9093,-440.0266 568.4652,-440.3645 571.9061,-440.7479 575.2189,-441.1759 578.3913,-441.6472 581.4119,-442.1606 584.2702,-442.7147 586.9567,-443.308 589.4628,-443.9388 591.7811,-444.6054 593.9052,-445.3059 595.83,-446.0385 597.5513,-446.8012 599.066,-447.5918 600.3722,-448.4082 601.4691,-449.2481 602.3568,-450.1093 603.0367,-450.9894 603.5109,-451.886 603.7826,-452.7965 603.8556,-453.7186 603.735,-454.6497 603.4261,-455.5873 602.9352,-456.5287 602.269,-457.4713 601.4349,-458.4127 600.4406,-459.3503 599.2941,-460.2814 598.0039,-461.2035 596.5784,-462.114 595.0264,-463.0106 593.3564,-463.8907 591.5771,-464.7519 589.6971,-465.5918 587.7247,-466.4082 585.6681,-467.1988 583.5352,-467.9615 581.3334,-468.6941 579.0699,-469.3946 576.7516,-470.0612 574.3848,-470.692 571.9754,-471.2853 569.5288,-471.8394 567.0501,-472.3528 564.5438,-472.8241 562.0141,-473.2521 559.4648,-473.6355 556.899,-473.9734 554.3198,-474.2647 551.7298,-474.5087 549.1315,-474.7047 546.5268,-474.8521 543.9178,-474.9507 541.3062,-475 538.6938,-475 536.0822,-474.9507 533.4732,-474.8521 530.8685,-474.7047 528.2702,-474.5087 525.6802,-474.2647 523.101,-473.9734 520.5352,-473.6355 517.9859,-473.2521 515.4562,-472.8241 512.9499,-472.3528 510.4712,-471.8394 508.0246,-471.2853 505.6152,-470.692 503.2484,-470.0612 500.9301,-469.3946 498.6666,-468.6941 496.4648,-467.9615 494.3319,-467.1988 492.2753,-466.4082 490.3029,-465.5918 488.4229,-464.7519 486.6436,-463.8907 484.9736,-463.0106 483.4216,-462.114 481.9961,-461.2035 480.7059,-460.2814 479.5594,-459.3503 478.5651,-458.4127 477.731,-457.4713 477.0648,-456.5287 476.5739,-455.5873 476.265,-454.6497 476.1444,-453.7186 476.2174,-452.7965 476.4891,-451.886 476.9633,-450.9894 477.6432,-450.1093 478.5309,-449.2481 479.6278,-448.4082 480.934,-447.5918 482.4487,-446.8012 484.17,-446.0385 486.0948,-445.3059 488.2189,-444.6054 490.5372,-443.9388 493.0433,-443.308 495.7298,-442.7147 498.5881,-442.1606 501.6087,-441.6472 504.7811,-441.1759 508.0939,-440.7479 511.5348,-440.3645 515.0907,-440.0266 518.7477,-439.7353 522.4915,-439.4913 526.307,-439.2953 530.1788,-439.1479 534.091,-439.0493 538.0276,-439 541.9724,-439 545.909,-439.0493"/>
<text text-anchor="middle" x="540" y="-453.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 37)</text>
</g>
<!-- 36&#45;&gt;39 -->
<g id="edge47" class="edge">
<title>36&#45;&gt;39</title>
<path fill="none" stroke="#000000" d="M525.8072,-548.0009C528.4772,-530.8816 532.5341,-504.8698 535.6276,-485.0345"/>
<polygon fill="#000000" stroke="#000000" points="539.1057,-485.4458 537.1886,-475.0259 532.1893,-484.367 539.1057,-485.4458"/>
<text text-anchor="middle" x="547.5" y="-507.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="455,-182 400.5385,-164 455,-146 509.4615,-164 455,-182"/>
<text text-anchor="middle" x="455" y="-160.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 37</text>
</g>
<!-- 38&#45;&gt;37 -->
<g id="edge48" class="edge">
<title>38&#45;&gt;37</title>
<path fill="none" stroke="#000000" d="M422.3639,-274.3616C428.873,-252.3505 439.895,-215.0786 447.3077,-190.0123"/>
<polygon fill="#000000" stroke="#000000" points="450.6652,-191.0005 450.1447,-180.4184 443.9526,-189.0153 450.6652,-191.0005"/>
</g>
<!-- 40 -->
<g id="node40" class="node">
<title>40</title>
<polygon fill="none" stroke="#000000" points="449,-274.5 449,-310.5 503,-310.5 503,-274.5 449,-274.5"/>
<text text-anchor="middle" x="476" y="-288.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 39&#45;&gt;40 -->
<g id="edge50" class="edge">
<title>39&#45;&gt;40</title>
<path fill="none" stroke="#000000" d="M529.7219,-439.0188C519.7626,-421.008 504.7696,-392.2652 495,-366 489.5443,-351.3327 485.0622,-334.46 481.8242,-320.5827"/>
<polygon fill="#000000" stroke="#000000" points="485.1981,-319.6327 479.595,-310.6407 478.3677,-321.1643 485.1981,-319.6327"/>
<text text-anchor="middle" x="529" y="-398.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 41 -->
<g id="node41" class="node">
<title>41</title>
<polygon fill="none" stroke="#000000" points="573.909,-329.5493 577.8212,-329.6479 581.693,-329.7953 585.5085,-329.9913 589.2523,-330.2353 592.9093,-330.5266 596.4652,-330.8645 599.9061,-331.2479 603.2189,-331.6759 606.3913,-332.1472 609.4119,-332.6606 612.2702,-333.2147 614.9567,-333.808 617.4628,-334.4388 619.7811,-335.1054 621.9052,-335.8059 623.83,-336.5385 625.5513,-337.3012 627.066,-338.0918 628.3722,-338.9082 629.4691,-339.7481 630.3568,-340.6093 631.0367,-341.4894 631.5109,-342.386 631.7826,-343.2965 631.8556,-344.2186 631.735,-345.1497 631.4261,-346.0873 630.9352,-347.0287 630.269,-347.9713 629.4349,-348.9127 628.4406,-349.8503 627.2941,-350.7814 626.0039,-351.7035 624.5784,-352.614 623.0264,-353.5106 621.3564,-354.3907 619.5771,-355.2519 617.6971,-356.0918 615.7247,-356.9082 613.6681,-357.6988 611.5352,-358.4615 609.3334,-359.1941 607.0699,-359.8946 604.7516,-360.5612 602.3848,-361.192 599.9754,-361.7853 597.5288,-362.3394 595.0501,-362.8528 592.5438,-363.3241 590.0141,-363.7521 587.4648,-364.1355 584.899,-364.4734 582.3198,-364.7647 579.7298,-365.0087 577.1315,-365.2047 574.5268,-365.3521 571.9178,-365.4507 569.3062,-365.5 566.6938,-365.5 564.0822,-365.4507 561.4732,-365.3521 558.8685,-365.2047 556.2702,-365.0087 553.6802,-364.7647 551.101,-364.4734 548.5352,-364.1355 545.9859,-363.7521 543.4562,-363.3241 540.9499,-362.8528 538.4712,-362.3394 536.0246,-361.7853 533.6152,-361.192 531.2484,-360.5612 528.9301,-359.8946 526.6666,-359.1941 524.4648,-358.4615 522.3319,-357.6988 520.2753,-356.9082 518.3029,-356.0918 516.4229,-355.2519 514.6436,-354.3907 512.9736,-353.5106 511.4216,-352.614 509.9961,-351.7035 508.7059,-350.7814 507.5594,-349.8503 506.5651,-348.9127 505.731,-347.9713 505.0648,-347.0287 504.5739,-346.0873 504.265,-345.1497 504.1444,-344.2186 504.2174,-343.2965 504.4891,-342.386 504.9633,-341.4894 505.6432,-340.6093 506.5309,-339.7481 507.6278,-338.9082 508.934,-338.0918 510.4487,-337.3012 512.17,-336.5385 514.0948,-335.8059 516.2189,-335.1054 518.5372,-334.4388 521.0433,-333.808 523.7298,-333.2147 526.5881,-332.6606 529.6087,-332.1472 532.7811,-331.6759 536.0939,-331.2479 539.5348,-330.8645 543.0907,-330.5266 546.7477,-330.2353 550.4915,-329.9913 554.307,-329.7953 558.1788,-329.6479 562.091,-329.5493 566.0276,-329.5 569.9724,-329.5 573.909,-329.5493"/>
<text text-anchor="middle" x="568" y="-343.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 37)</text>
</g>
<!-- 39&#45;&gt;41 -->
<g id="edge51" class="edge">
<title>39&#45;&gt;41</title>
<path fill="none" stroke="#000000" d="M544.6236,-438.9183C549.0415,-421.6413 555.7648,-395.3484 560.8688,-375.388"/>
<polygon fill="#000000" stroke="#000000" points="564.283,-376.1639 563.3695,-365.6086 557.5012,-374.4297 564.283,-376.1639"/>
<text text-anchor="middle" x="571.5" y="-398.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 37&#45;&gt;2 -->
<g id="edge49" class="edge">
<title>37&#45;&gt;2</title>
<path fill="none" stroke="#000000" d="M436.8357,-151.9455C418.8692,-140.0223 391.1969,-121.6579 370.923,-108.2035"/>
<polygon fill="#000000" stroke="#000000" points="372.7315,-105.203 362.464,-102.5897 368.8608,-111.0356 372.7315,-105.203"/>
</g>
<!-- 40&#45;&gt;37 -->
<g id="edge52" class="edge">
<title>40&#45;&gt;37</title>
<path fill="none" stroke="#000000" d="M473.0358,-274.3616C469.4942,-252.6904 463.535,-216.2263 459.4423,-191.1824"/>
<polygon fill="#000000" stroke="#000000" points="462.8821,-190.5294 457.815,-181.2248 455.9737,-191.6584 462.8821,-190.5294"/>
</g>
<!-- 42 -->
<g id="node42" class="node">
<title>42</title>
<polygon fill="none" stroke="#000000" points="483,-219.5 483,-255.5 537,-255.5 537,-219.5 483,-219.5"/>
<text text-anchor="middle" x="510" y="-233.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 41&#45;&gt;42 -->
<g id="edge53" class="edge">
<title>41&#45;&gt;42</title>
<path fill="none" stroke="#000000" d="M557.9439,-329.3523C554.7362,-323.5092 551.1919,-316.9955 548,-311 539.8825,-295.7523 531.0066,-278.6119 523.8758,-264.7211"/>
<polygon fill="#000000" stroke="#000000" points="526.9225,-262.9918 519.2487,-255.6868 520.6921,-266.1828 526.9225,-262.9918"/>
<text text-anchor="middle" x="558" y="-288.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 43 -->
<g id="node43" class="node">
<title>43</title>
<polygon fill="none" stroke="#000000" points="555,-219.5 555,-255.5 609,-255.5 609,-219.5 555,-219.5"/>
<text text-anchor="middle" x="582" y="-233.8" font-family="Times,serif" font-size="14.00" fill="#000000">41 μs</text>
</g>
<!-- 41&#45;&gt;43 -->
<g id="edge54" class="edge">
<title>41&#45;&gt;43</title>
<path fill="none" stroke="#000000" d="M570.3118,-329.3357C572.5106,-312.0595 575.8516,-285.809 578.3992,-265.7917"/>
<polygon fill="#000000" stroke="#000000" points="581.8941,-266.0531 579.6848,-255.6912 574.9501,-265.1693 581.8941,-266.0531"/>
<text text-anchor="middle" x="590.5" y="-288.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 42&#45;&gt;37 -->
<g id="edge55" class="edge">
<title>42&#45;&gt;37</title>
<path fill="none" stroke="#000000" d="M496.4045,-219.3315C489.0483,-209.5009 479.8907,-197.263 472.0596,-186.7978"/>
<polygon fill="#000000" stroke="#000000" points="474.6557,-184.4253 465.8621,-178.5157 469.0512,-188.6193 474.6557,-184.4253"/>
</g>
<!-- 43&#45;&gt;37 -->
<g id="edge56" class="edge">
<title>43&#45;&gt;37</title>
<path fill="none" stroke="#000000" d="M554.7553,-221.7324C533.9309,-209.6805 505.2832,-193.1009 484.0287,-180.8001"/>
<polygon fill="#000000" stroke="#000000" points="485.5361,-177.6286 475.1279,-175.6488 482.0298,-183.6872 485.5361,-177.6286"/>
</g>
<!-- 44&#45;&gt;33 -->
<g id="edge59" class="edge">
<title>44&#45;&gt;33</title>
<path fill="none" stroke="#000000" d="M525.5765,-763.3616C525.0785,-742.0282 524.2457,-706.3595 523.6621,-681.3617"/>
<polygon fill="#000000" stroke="#000000" points="527.1539,-680.9617 523.4213,-671.0461 520.1558,-681.1251 527.1539,-680.9617"/>
</g>
<!-- 46 -->
<g id="node46" class="node">
<title>46</title>
<polygon fill="none" stroke="#000000" points="543,-708.5 543,-744.5 597,-744.5 597,-708.5 543,-708.5"/>
<text text-anchor="middle" x="570" y="-722.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 45&#45;&gt;46 -->
<g id="edge60" class="edge">
<title>45&#45;&gt;46</title>
<path fill="none" stroke="#000000" d="M608.404,-818.3357C601.0795,-800.8206 589.8977,-774.0815 581.4854,-753.9651"/>
<polygon fill="#000000" stroke="#000000" points="584.6944,-752.5667 577.6072,-744.6912 578.2363,-755.2674 584.6944,-752.5667"/>
<text text-anchor="middle" x="609" y="-777.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 47 -->
<g id="node47" class="node">
<title>47</title>
<polygon fill="none" stroke="#000000" points="615,-708.5 615,-744.5 669,-744.5 669,-708.5 615,-708.5"/>
<text text-anchor="middle" x="642" y="-722.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 45&#45;&gt;47 -->
<g id="edge61" class="edge">
<title>45&#45;&gt;47</title>
<path fill="none" stroke="#000000" d="M620.2934,-818.3357C624.3957,-800.9798 630.6387,-774.5669 635.3782,-754.5154"/>
<polygon fill="#000000" stroke="#000000" points="638.8061,-755.2282 637.7003,-744.6912 631.9938,-753.618 638.8061,-755.2282"/>
<text text-anchor="middle" x="645.5" y="-777.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 46&#45;&gt;33 -->
<g id="edge62" class="edge">
<title>46&#45;&gt;33</title>
<path fill="none" stroke="#000000" d="M558.382,-708.3315C552.2428,-698.7307 544.6353,-686.8339 538.0494,-676.5346"/>
<polygon fill="#000000" stroke="#000000" points="540.9233,-674.5322 532.5873,-667.9929 535.0259,-678.3033 540.9233,-674.5322"/>
</g>
<!-- 47&#45;&gt;33 -->
<g id="edge63" class="edge">
<title>47&#45;&gt;33</title>
<path fill="none" stroke="#000000" d="M614.9971,-709.8217C595.8166,-697.975 570.1371,-682.1141 550.7835,-670.1604"/>
<polygon fill="#000000" stroke="#000000" points="552.4625,-667.0837 542.1153,-664.8065 548.784,-673.0393 552.4625,-667.0837"/>
</g>
<!-- 48 -->
<g id="node50" class="node">
<title>48</title>
<polygon fill="none" stroke="#000000" points="747,-671 692.5385,-653 747,-635 801.4615,-653 747,-671"/>
<text text-anchor="middle" x="747" y="-649.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 48</text>
</g>
<!-- 49&#45;&gt;48 -->
<g id="edge66" class="edge">
<title>49&#45;&gt;48</title>
<path fill="none" stroke="#000000" d="M698.7511,-873.1795C703.8813,-848.2332 713.4289,-802.195 722,-763 728.2201,-734.5559 735.6473,-702.0499 740.7817,-679.7932"/>
<polygon fill="#000000" stroke="#000000" points="744.2604,-680.2847 743.1027,-669.7533 737.4402,-678.708 744.2604,-680.2847"/>
</g>
<!-- 59 -->
<g id="node59" class="node">
<title>59</title>
<polygon fill="none" stroke="#000000" points="723,-763.5 723,-799.5 777,-799.5 777,-763.5 723,-763.5"/>
<text text-anchor="middle" x="750" y="-777.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 50&#45;&gt;59 -->
<g id="edge79" class="edge">
<title>50&#45;&gt;59</title>
<path fill="none" stroke="#000000" d="M776.6749,-927.7671C771.4576,-899.1593 761.309,-843.5111 755.1445,-809.709"/>
<polygon fill="#000000" stroke="#000000" points="758.5317,-808.7736 753.2943,-799.5639 751.6453,-810.0296 758.5317,-808.7736"/>
<text text-anchor="middle" x="782" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 60 -->
<g id="node60" class="node">
<title>60</title>
<polygon fill="none" stroke="#000000" points="847.909,-818.5493 851.8212,-818.6479 855.693,-818.7953 859.5085,-818.9913 863.2523,-819.2353 866.9093,-819.5266 870.4652,-819.8645 873.9061,-820.2479 877.2189,-820.6759 880.3913,-821.1472 883.4119,-821.6606 886.2702,-822.2147 888.9567,-822.808 891.4628,-823.4388 893.7811,-824.1054 895.9052,-824.8059 897.83,-825.5385 899.5513,-826.3012 901.066,-827.0918 902.3722,-827.9082 903.4691,-828.7481 904.3568,-829.6093 905.0367,-830.4894 905.5109,-831.386 905.7826,-832.2965 905.8556,-833.2186 905.735,-834.1497 905.4261,-835.0873 904.9352,-836.0287 904.269,-836.9713 903.4349,-837.9127 902.4406,-838.8503 901.2941,-839.7814 900.0039,-840.7035 898.5784,-841.614 897.0264,-842.5106 895.3564,-843.3907 893.5771,-844.2519 891.6971,-845.0918 889.7247,-845.9082 887.6681,-846.6988 885.5352,-847.4615 883.3334,-848.1941 881.0699,-848.8946 878.7516,-849.5612 876.3848,-850.192 873.9754,-850.7853 871.5288,-851.3394 869.0501,-851.8528 866.5438,-852.3241 864.0141,-852.7521 861.4648,-853.1355 858.899,-853.4734 856.3198,-853.7647 853.7298,-854.0087 851.1315,-854.2047 848.5268,-854.3521 845.9178,-854.4507 843.3062,-854.5 840.6938,-854.5 838.0822,-854.4507 835.4732,-854.3521 832.8685,-854.2047 830.2702,-854.0087 827.6802,-853.7647 825.101,-853.4734 822.5352,-853.1355 819.9859,-852.7521 817.4562,-852.3241 814.9499,-851.8528 812.4712,-851.3394 810.0246,-850.7853 807.6152,-850.192 805.2484,-849.5612 802.9301,-848.8946 800.6666,-848.1941 798.4648,-847.4615 796.3319,-846.6988 794.2753,-845.9082 792.3029,-845.0918 790.4229,-844.2519 788.6436,-843.3907 786.9736,-842.5106 785.4216,-841.614 783.9961,-840.7035 782.7059,-839.7814 781.5594,-838.8503 780.5651,-837.9127 779.731,-836.9713 779.0648,-836.0287 778.5739,-835.0873 778.265,-834.1497 778.1444,-833.2186 778.2174,-832.2965 778.4891,-831.386 778.9633,-830.4894 779.6432,-829.6093 780.5309,-828.7481 781.6278,-827.9082 782.934,-827.0918 784.4487,-826.3012 786.17,-825.5385 788.0948,-824.8059 790.2189,-824.1054 792.5372,-823.4388 795.0433,-822.808 797.7298,-822.2147 800.5881,-821.6606 803.6087,-821.1472 806.7811,-820.6759 810.0939,-820.2479 813.5348,-819.8645 817.0907,-819.5266 820.7477,-819.2353 824.4915,-818.9913 828.307,-818.7953 832.1788,-818.6479 836.091,-818.5493 840.0276,-818.5 843.9724,-818.5 847.909,-818.5493"/>
<text text-anchor="middle" x="842" y="-832.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 48)</text>
</g>
<!-- 50&#45;&gt;60 -->
<g id="edge80" class="edge">
<title>50&#45;&gt;60</title>
<path fill="none" stroke="#000000" d="M790.238,-927.9183C800.2145,-910.2987 815.5003,-883.302 826.8776,-863.2081"/>
<polygon fill="#000000" stroke="#000000" points="830.071,-864.6717 831.9525,-854.2452 823.9796,-861.2227 830.071,-864.6717"/>
<text text-anchor="middle" x="833.5" y="-887.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 51 -->
<g id="node51" class="node">
<title>51</title>
<polygon fill="none" stroke="#000000" points="752.909,-548.0493 756.8212,-548.1479 760.693,-548.2953 764.5085,-548.4913 768.2523,-548.7353 771.9093,-549.0266 775.4652,-549.3645 778.9061,-549.7479 782.2189,-550.1759 785.3913,-550.6472 788.4119,-551.1606 791.2702,-551.7147 793.9567,-552.308 796.4628,-552.9388 798.7811,-553.6054 800.9052,-554.3059 802.83,-555.0385 804.5513,-555.8012 806.066,-556.5918 807.3722,-557.4082 808.4691,-558.2481 809.3568,-559.1093 810.0367,-559.9894 810.5109,-560.886 810.7826,-561.7965 810.8556,-562.7186 810.735,-563.6497 810.4261,-564.5873 809.9352,-565.5287 809.269,-566.4713 808.4349,-567.4127 807.4406,-568.3503 806.2941,-569.2814 805.0039,-570.2035 803.5784,-571.114 802.0264,-572.0106 800.3564,-572.8907 798.5771,-573.7519 796.6971,-574.5918 794.7247,-575.4082 792.6681,-576.1988 790.5352,-576.9615 788.3334,-577.6941 786.0699,-578.3946 783.7516,-579.0612 781.3848,-579.692 778.9754,-580.2853 776.5288,-580.8394 774.0501,-581.3528 771.5438,-581.8241 769.0141,-582.2521 766.4648,-582.6355 763.899,-582.9734 761.3198,-583.2647 758.7298,-583.5087 756.1315,-583.7047 753.5268,-583.8521 750.9178,-583.9507 748.3062,-584 745.6938,-584 743.0822,-583.9507 740.4732,-583.8521 737.8685,-583.7047 735.2702,-583.5087 732.6802,-583.2647 730.101,-582.9734 727.5352,-582.6355 724.9859,-582.2521 722.4562,-581.8241 719.9499,-581.3528 717.4712,-580.8394 715.0246,-580.2853 712.6152,-579.692 710.2484,-579.0612 707.9301,-578.3946 705.6666,-577.6941 703.4648,-576.9615 701.3319,-576.1988 699.2753,-575.4082 697.3029,-574.5918 695.4229,-573.7519 693.6436,-572.8907 691.9736,-572.0106 690.4216,-571.114 688.9961,-570.2035 687.7059,-569.2814 686.5594,-568.3503 685.5651,-567.4127 684.731,-566.4713 684.0648,-565.5287 683.5739,-564.5873 683.265,-563.6497 683.1444,-562.7186 683.2174,-561.7965 683.4891,-560.886 683.9633,-559.9894 684.6432,-559.1093 685.5309,-558.2481 686.6278,-557.4082 687.934,-556.5918 689.4487,-555.8012 691.17,-555.0385 693.0948,-554.3059 695.2189,-553.6054 697.5372,-552.9388 700.0433,-552.308 702.7298,-551.7147 705.5881,-551.1606 708.6087,-550.6472 711.7811,-550.1759 715.0939,-549.7479 718.5348,-549.3645 722.0907,-549.0266 725.7477,-548.7353 729.4915,-548.4913 733.307,-548.2953 737.1788,-548.1479 741.091,-548.0493 745.0276,-548 748.9724,-548 752.909,-548.0493"/>
<text text-anchor="middle" x="747" y="-562.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 52)</text>
</g>
<!-- 48&#45;&gt;51 -->
<g id="edge67" class="edge">
<title>48&#45;&gt;51</title>
<path fill="none" stroke="#000000" d="M747,-634.9735C747,-623.1918 747,-607.5607 747,-594.1581"/>
<polygon fill="#000000" stroke="#000000" points="750.5001,-594.0033 747,-584.0034 743.5001,-594.0034 750.5001,-594.0033"/>
</g>
<!-- 53 -->
<g id="node52" class="node">
<title>53</title>
<polygon fill="none" stroke="#000000" points="632,-384.5 632,-420.5 686,-420.5 686,-384.5 632,-384.5"/>
<text text-anchor="middle" x="659" y="-398.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 51&#45;&gt;53 -->
<g id="edge68" class="edge">
<title>51&#45;&gt;53</title>
<path fill="none" stroke="#000000" d="M730.1304,-548.2582C714.4787,-530.8785 691.6104,-502.9946 678,-475 671.2448,-461.1055 666.6686,-444.5038 663.7033,-430.6951"/>
<polygon fill="#000000" stroke="#000000" points="667.1143,-429.9017 661.7403,-420.7709 660.2473,-431.2601 667.1143,-429.9017"/>
<text text-anchor="middle" x="724" y="-507.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 54 -->
<g id="node53" class="node">
<title>54</title>
<polygon fill="none" stroke="#000000" points="756.909,-439.0493 760.8212,-439.1479 764.693,-439.2953 768.5085,-439.4913 772.2523,-439.7353 775.9093,-440.0266 779.4652,-440.3645 782.9061,-440.7479 786.2189,-441.1759 789.3913,-441.6472 792.4119,-442.1606 795.2702,-442.7147 797.9567,-443.308 800.4628,-443.9388 802.7811,-444.6054 804.9052,-445.3059 806.83,-446.0385 808.5513,-446.8012 810.066,-447.5918 811.3722,-448.4082 812.4691,-449.2481 813.3568,-450.1093 814.0367,-450.9894 814.5109,-451.886 814.7826,-452.7965 814.8556,-453.7186 814.735,-454.6497 814.4261,-455.5873 813.9352,-456.5287 813.269,-457.4713 812.4349,-458.4127 811.4406,-459.3503 810.2941,-460.2814 809.0039,-461.2035 807.5784,-462.114 806.0264,-463.0106 804.3564,-463.8907 802.5771,-464.7519 800.6971,-465.5918 798.7247,-466.4082 796.6681,-467.1988 794.5352,-467.9615 792.3334,-468.6941 790.0699,-469.3946 787.7516,-470.0612 785.3848,-470.692 782.9754,-471.2853 780.5288,-471.8394 778.0501,-472.3528 775.5438,-472.8241 773.0141,-473.2521 770.4648,-473.6355 767.899,-473.9734 765.3198,-474.2647 762.7298,-474.5087 760.1315,-474.7047 757.5268,-474.8521 754.9178,-474.9507 752.3062,-475 749.6938,-475 747.0822,-474.9507 744.4732,-474.8521 741.8685,-474.7047 739.2702,-474.5087 736.6802,-474.2647 734.101,-473.9734 731.5352,-473.6355 728.9859,-473.2521 726.4562,-472.8241 723.9499,-472.3528 721.4712,-471.8394 719.0246,-471.2853 716.6152,-470.692 714.2484,-470.0612 711.9301,-469.3946 709.6666,-468.6941 707.4648,-467.9615 705.3319,-467.1988 703.2753,-466.4082 701.3029,-465.5918 699.4229,-464.7519 697.6436,-463.8907 695.9736,-463.0106 694.4216,-462.114 692.9961,-461.2035 691.7059,-460.2814 690.5594,-459.3503 689.5651,-458.4127 688.731,-457.4713 688.0648,-456.5287 687.5739,-455.5873 687.265,-454.6497 687.1444,-453.7186 687.2174,-452.7965 687.4891,-451.886 687.9633,-450.9894 688.6432,-450.1093 689.5309,-449.2481 690.6278,-448.4082 691.934,-447.5918 693.4487,-446.8012 695.17,-446.0385 697.0948,-445.3059 699.2189,-444.6054 701.5372,-443.9388 704.0433,-443.308 706.7298,-442.7147 709.5881,-442.1606 712.6087,-441.6472 715.7811,-441.1759 719.0939,-440.7479 722.5348,-440.3645 726.0907,-440.0266 729.7477,-439.7353 733.4915,-439.4913 737.307,-439.2953 741.1788,-439.1479 745.091,-439.0493 749.0276,-439 752.9724,-439 756.909,-439.0493"/>
<text text-anchor="middle" x="751" y="-453.3" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 52)</text>
</g>
<!-- 51&#45;&gt;54 -->
<g id="edge69" class="edge">
<title>51&#45;&gt;54</title>
<path fill="none" stroke="#000000" d="M747.6785,-547.5096C748.3029,-530.4952 749.2383,-505.0055 749.9575,-485.4076"/>
<polygon fill="#000000" stroke="#000000" points="753.4623,-485.339 750.3315,-475.2173 746.467,-485.0822 753.4623,-485.339"/>
<text text-anchor="middle" x="762.5" y="-507.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 52 -->
<g id="node54" class="node">
<title>52</title>
<polygon fill="none" stroke="#000000" points="698,-182 643.5385,-164 698,-146 752.4615,-164 698,-182"/>
<text text-anchor="middle" x="698" y="-160.3" font-family="Times,serif" font-size="14.00" fill="#000000">sync 52</text>
</g>
<!-- 53&#45;&gt;52 -->
<g id="edge70" class="edge">
<title>53&#45;&gt;52</title>
<path fill="none" stroke="#000000" d="M660.5709,-384.1195C662.8396,-359.1053 667.4871,-312.9903 674,-274 678.7878,-245.337 686.1091,-212.8663 691.4064,-190.6778"/>
<polygon fill="#000000" stroke="#000000" points="694.8772,-191.2153 693.8243,-180.6729 688.0731,-189.5709 694.8772,-191.2153"/>
</g>
<!-- 55 -->
<g id="node55" class="node">
<title>55</title>
<polygon fill="none" stroke="#000000" points="678,-274.5 678,-310.5 732,-310.5 732,-274.5 678,-274.5"/>
<text text-anchor="middle" x="705" y="-288.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 54&#45;&gt;55 -->
<g id="edge72" class="edge">
<title>54&#45;&gt;55</title>
<path fill="none" stroke="#000000" d="M745.9014,-438.7671C737.867,-410.0354 722.2056,-354.0288 712.7658,-320.2712"/>
<polygon fill="#000000" stroke="#000000" points="716.1151,-319.2518 710.0513,-310.5639 709.3737,-321.137 716.1151,-319.2518"/>
<text text-anchor="middle" x="750" y="-398.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 56 -->
<g id="node56" class="node">
<title>56</title>
<polygon fill="none" stroke="#000000" points="806.909,-329.5493 810.8212,-329.6479 814.693,-329.7953 818.5085,-329.9913 822.2523,-330.2353 825.9093,-330.5266 829.4652,-330.8645 832.9061,-331.2479 836.2189,-331.6759 839.3913,-332.1472 842.4119,-332.6606 845.2702,-333.2147 847.9567,-333.808 850.4628,-334.4388 852.7811,-335.1054 854.9052,-335.8059 856.83,-336.5385 858.5513,-337.3012 860.066,-338.0918 861.3722,-338.9082 862.4691,-339.7481 863.3568,-340.6093 864.0367,-341.4894 864.5109,-342.386 864.7826,-343.2965 864.8556,-344.2186 864.735,-345.1497 864.4261,-346.0873 863.9352,-347.0287 863.269,-347.9713 862.4349,-348.9127 861.4406,-349.8503 860.2941,-350.7814 859.0039,-351.7035 857.5784,-352.614 856.0264,-353.5106 854.3564,-354.3907 852.5771,-355.2519 850.6971,-356.0918 848.7247,-356.9082 846.6681,-357.6988 844.5352,-358.4615 842.3334,-359.1941 840.0699,-359.8946 837.7516,-360.5612 835.3848,-361.192 832.9754,-361.7853 830.5288,-362.3394 828.0501,-362.8528 825.5438,-363.3241 823.0141,-363.7521 820.4648,-364.1355 817.899,-364.4734 815.3198,-364.7647 812.7298,-365.0087 810.1315,-365.2047 807.5268,-365.3521 804.9178,-365.4507 802.3062,-365.5 799.6938,-365.5 797.0822,-365.4507 794.4732,-365.3521 791.8685,-365.2047 789.2702,-365.0087 786.6802,-364.7647 784.101,-364.4734 781.5352,-364.1355 778.9859,-363.7521 776.4562,-363.3241 773.9499,-362.8528 771.4712,-362.3394 769.0246,-361.7853 766.6152,-361.192 764.2484,-360.5612 761.9301,-359.8946 759.6666,-359.1941 757.4648,-358.4615 755.3319,-357.6988 753.2753,-356.9082 751.3029,-356.0918 749.4229,-355.2519 747.6436,-354.3907 745.9736,-353.5106 744.4216,-352.614 742.9961,-351.7035 741.7059,-350.7814 740.5594,-349.8503 739.5651,-348.9127 738.731,-347.9713 738.0648,-347.0287 737.5739,-346.0873 737.265,-345.1497 737.1444,-344.2186 737.2174,-343.2965 737.4891,-342.386 737.9633,-341.4894 738.6432,-340.6093 739.5309,-339.7481 740.6278,-338.9082 741.934,-338.0918 743.4487,-337.3012 745.17,-336.5385 747.0948,-335.8059 749.2189,-335.1054 751.5372,-334.4388 754.0433,-333.808 756.7298,-333.2147 759.5881,-332.6606 762.6087,-332.1472 765.7811,-331.6759 769.0939,-331.2479 772.5348,-330.8645 776.0907,-330.5266 779.7477,-330.2353 783.4915,-329.9913 787.307,-329.7953 791.1788,-329.6479 795.091,-329.5493 799.0276,-329.5 802.9724,-329.5 806.909,-329.5493"/>
<text text-anchor="middle" x="801" y="-343.8" font-family="Times,serif" font-size="14.00" fill="#000000">spawn (in 52)</text>
</g>
<!-- 54&#45;&gt;56 -->
<g id="edge73" class="edge">
<title>54&#45;&gt;56</title>
<path fill="none" stroke="#000000" d="M759.2565,-438.9183C767.2179,-421.4828 779.3721,-394.8652 788.5159,-374.8403"/>
<polygon fill="#000000" stroke="#000000" points="791.7613,-376.1589 792.7313,-365.6086 785.3937,-373.2513 791.7613,-376.1589"/>
<text text-anchor="middle" x="796.5" y="-398.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 52&#45;&gt;2 -->
<g id="edge71" class="edge">
<title>52&#45;&gt;2</title>
<path fill="none" stroke="#000000" d="M664.4724,-157.0665C599.3517,-143.5996 455.9937,-113.9534 385.6081,-99.3977"/>
<polygon fill="#000000" stroke="#000000" points="386.2724,-95.9611 375.7708,-97.3634 384.8548,-102.8161 386.2724,-95.9611"/>
</g>
<!-- 55&#45;&gt;52 -->
<g id="edge74" class="edge">
<title>55&#45;&gt;52</title>
<path fill="none" stroke="#000000" d="M704.0119,-274.3616C702.8498,-253.0282 700.9067,-217.3595 699.545,-192.3617"/>
<polygon fill="#000000" stroke="#000000" points="703.0219,-191.8409 698.9831,-182.0461 696.0323,-192.2217 703.0219,-191.8409"/>
</g>
<!-- 57 -->
<g id="node57" class="node">
<title>57</title>
<polygon fill="none" stroke="#000000" points="726,-219.5 726,-255.5 780,-255.5 780,-219.5 726,-219.5"/>
<text text-anchor="middle" x="753" y="-233.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 56&#45;&gt;57 -->
<g id="edge75" class="edge">
<title>56&#45;&gt;57</title>
<path fill="none" stroke="#000000" d="M793.0154,-329.3094C790.4525,-323.4641 787.6037,-316.9599 785,-311 778.3647,-295.8114 770.9775,-278.8477 764.9741,-265.0476"/>
<polygon fill="#000000" stroke="#000000" points="768.0756,-263.4031 760.8778,-255.6287 761.6564,-266.1949 768.0756,-263.4031"/>
<text text-anchor="middle" x="795" y="-288.8" font-family="Times,serif" font-size="14.00" fill="#000000">Det</text>
</g>
<!-- 58 -->
<g id="node58" class="node">
<title>58</title>
<polygon fill="none" stroke="#000000" points="798,-219.5 798,-255.5 852,-255.5 852,-219.5 798,-219.5"/>
<text text-anchor="middle" x="825" y="-233.8" font-family="Times,serif" font-size="14.00" fill="#000000">21 μs</text>
</g>
<!-- 56&#45;&gt;58 -->
<g id="edge76" class="edge">
<title>56&#45;&gt;58</title>
<path fill="none" stroke="#000000" d="M804.9631,-329.3357C808.7499,-311.9798 814.5127,-285.5669 818.8876,-265.5154"/>
<polygon fill="#000000" stroke="#000000" points="822.3188,-266.2075 821.031,-255.6912 815.4797,-264.7153 822.3188,-266.2075"/>
<text text-anchor="middle" x="829.5" y="-288.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 57&#45;&gt;52 -->
<g id="edge77" class="edge">
<title>57&#45;&gt;52</title>
<path fill="none" stroke="#000000" d="M739.4045,-219.3315C732.0483,-209.5009 722.8907,-197.263 715.0596,-186.7978"/>
<polygon fill="#000000" stroke="#000000" points="717.6557,-184.4253 708.8621,-178.5157 712.0512,-188.6193 717.6557,-184.4253"/>
</g>
<!-- 58&#45;&gt;52 -->
<g id="edge78" class="edge">
<title>58&#45;&gt;52</title>
<path fill="none" stroke="#000000" d="M797.7553,-221.7324C776.9309,-209.6805 748.2832,-193.1009 727.0287,-180.8001"/>
<polygon fill="#000000" stroke="#000000" points="728.5361,-177.6286 718.1279,-175.6488 725.0298,-183.6872 728.5361,-177.6286"/>
</g>
<!-- 59&#45;&gt;48 -->
<g id="edge81" class="edge">
<title>59&#45;&gt;48</title>
<path fill="none" stroke="#000000" d="M749.5765,-763.3616C749.0785,-742.0282 748.2457,-706.3595 747.6621,-681.3617"/>
<polygon fill="#000000" stroke="#000000" points="751.1539,-680.9617 747.4213,-671.0461 744.1558,-681.1251 751.1539,-680.9617"/>
</g>
<!-- 61 -->
<g id="node61" class="node">
<title>61</title>
<polygon fill="none" stroke="#000000" points="775,-708.5 775,-744.5 829,-744.5 829,-708.5 775,-708.5"/>
<text text-anchor="middle" x="802" y="-722.8" font-family="Times,serif" font-size="14.00" fill="#000000">23 μs</text>
</g>
<!-- 60&#45;&gt;61 -->
<g id="edge82" class="edge">
<title>60&#45;&gt;61</title>
<path fill="none" stroke="#000000" d="M835.3948,-818.3357C829.0546,-800.9002 819.3907,-774.3244 812.0872,-754.2398"/>
<polygon fill="#000000" stroke="#000000" points="815.3218,-752.8931 808.615,-744.6912 808.7432,-755.2853 815.3218,-752.8931"/>
<text text-anchor="middle" x="837" y="-777.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="847,-708.5 847,-744.5 901,-744.5 901,-708.5 847,-708.5"/>
<text text-anchor="middle" x="874" y="-722.8" font-family="Times,serif" font-size="14.00" fill="#000000">22 μs</text>
</g>
<!-- 60&#45;&gt;62 -->
<g id="edge83" class="edge">
<title>60&#45;&gt;62</title>
<path fill="none" stroke="#000000" d="M847.2841,-818.3357C852.3331,-800.9798 860.0169,-774.5669 865.8501,-754.5154"/>
<polygon fill="#000000" stroke="#000000" points="869.2753,-755.2709 868.708,-744.6912 862.5539,-753.3155 869.2753,-755.2709"/>
<text text-anchor="middle" x="875.5" y="-777.8" font-family="Times,serif" font-size="14.00" fill="#000000">Cont</text>
</g>
<!-- 61&#45;&gt;48 -->
<g id="edge84" class="edge">
<title>61&#45;&gt;48</title>
<path fill="none" stroke="#000000" d="M788.4045,-708.3315C781.0483,-698.5009 771.8907,-686.263 764.0596,-675.7978"/>
<polygon fill="#000000" stroke="#000000" points="766.6557,-673.4253 757.8621,-667.5157 761.0512,-677.6193 766.6557,-673.4253"/>
</g>
<!-- 62&#45;&gt;48 -->
<g id="edge85" class="edge">
<title>62&#45;&gt;48</title>
<path fill="none" stroke="#000000" d="M846.7553,-710.7324C825.9309,-698.6805 797.2832,-682.1009 776.0287,-669.8001"/>
<polygon fill="#000000" stroke="#000000" points="777.5361,-666.6286 767.1279,-664.6488 774.0298,-672.6872 777.5361,-666.6286"/>
</g>
</g>
</svg>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment