diff --git a/book/src/derived-query-maybe-changed-after.drawio.svg b/book/src/derived-query-maybe-changed-after.drawio.svg
index 1ddd368f..5f88bd52 100644
--- a/book/src/derived-query-maybe-changed-after.drawio.svg
+++ b/book/src/derived-query-maybe-changed-after.drawio.svg
@@ -1,4 +1,4 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!-- Do not edit this file with editors other than diagrams.net -->
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="826px" height="851px" viewBox="-0.5 -0.5 826 851" content="&lt;mxfile host=&quot;app.diagrams.net&quot; modified=&quot;2022-01-21T20:14:02.229Z&quot; agent=&quot;5.0 (Macintosh)&quot; etag=&quot;vSpyMO1REQcLynctLY-i&quot; version=&quot;16.4.3&quot; type=&quot;github&quot;&gt;&lt;diagram id=&quot;cWgktREh_h1Ou9hSuS4n&quot; name=&quot;Page-1&quot;&gt;7Vxbc9o6EP41zOQ8hPHd+DGQ5HSm7ZlMk5m2TxnFFtiNsTi2IHB+/ZFsCV9kQAkGEZI8tFhYstj99tvVauWeOZou/07BLPyOAhj3DC1Y9szrnmHohmmQ/2jLqmixNLNomKRRwG4qG+6j/yBr1FjrPApgVrsRIxTjaFZv9FGSQB/X2kCaopf6bWMU1586AxMoNNz7IBZbf0YBDovWga2V7V9gNAn5k3WNfTMF/GbWkIUgQC+VJvOmZ45ShHDxabocwZgKj8ul6He74dv1xFKYYJkOINb/PDz+u7z0fz59MdBX9+HGufSsYpgFiOfsF7PZ4hUXQYrmSQDpKFrPHL6EEYb3M+DTb1+I0klbiKcxudLJx3EUxyMUozTva95Y1+7NkLRnzxD7IbuJPROmGC43/hp9LSMCLoimEKcrcgvrYLpMrAxXusnl/FKqyXFYW1hRkcN1Bxg0JuvBS+mRD0yArxCm3SJLJyaPHQbRgnyc0I/f4RTlsyST5PcaGlxGGSbzueI9yAQqnVrGiUGGCyFG44hoh8wtIf/8WJSDB/MUPEVxhKncrvkYT2lz1OazGvqHAbEIdolSHKIJSkB8U7YO6wgp7/mG0Iyp/A/EeMXMG8wxqqOmeCZ90HY4kHmheerDLUpw22GTwhjgaFEfvw0BrOsdihJcgZvWhJvZQBEG6QRi1q0BpPU83o4tRwZb/1BkzVK4iNA8oxyUY408UJNXvjAoMWU+khYCOmyCSuSeLqYIctLVL9q/b/PL32y4/OJ6WbtasauusUgcVg6NLffpG0DLwHep9XVHZ37zrUDmt6DxOIMHgagrA9FvCAQMT49T4jzs4dee/XZuKlGiS/gmlGAGF53IZzghHJoxrWc4Rc9rF0/vXvtrreHWAjgG83xyRSexnT5IbO3A65HwqU5D6zip4vV0o8XrWYdyerqU17uKUwhIDChLOn4Moin1aifML8sI/6p8zrmlb9jssmQXenEActFl2aUSbW5gF8fmYd/psosuesARB8mHdC7y+vf2DIn24wcpt5Crkv7qVeJ/+oVX+wXLFMJTQ7VfGMjo/SGkfiFfv09nMcQl5e90EQlKpyCOVyftI0qacF/FE9y5MHrh7uVYvoUjZSe37AxcvZP3K54UP638mK7TAwJR/zUozVdPmKN8BpLIf36Pcc32sKbEeQ3kfcfchXN6dQdT4scxTBUC2bZ2Idm03BrHXlr7QZuN7NlN6tblMgvHNBIuxoqRDGPkP5OmeYIj2h/hENawzhk9++jO2TGai7aWVOVxnbNhypDe51q905jMNpWrXSLbfxaLp5107xh7ronaydzymjp3G7osPNYWMt80krBtceCEszFQAY0uXf++y15ZFR95J8CQCljv5hndAvpKPXOCUa5IQB32J3m/ibwtWzV5W20LaqXkTQLiCnvrO9j70KG+5Uly/6ZQf99AfqB4i9ASieEHjCHI6MI1T6j3T8Kse4Z5e+uRPxWGPRC1pDpTxpnlNIKwXWbcocXastGapTSDzadZsas7IuS1R9XGKZjCT9sSbUu907QlVjxEmDP6cbqc0Bq2fhZNkqyfgTHEq35IJvm4QDEGE/io13U2o0wO05sFkU/G9VhXhpb/CcpIUEKNmEo78onRgicY36EswhFKyNdPCGM0rdxwFZM5kS8wNe4hYFc+THJPWhZXaVVsdFRp5ZmUIRoJjBbO9ES1moNDqVXcDLy4hkTGcx+j9C+RT5PgihYDlqIPQBaubbOiU9p+BzCRa5K3GJopWKAh8G97ztR9W9K03Ck4oU3ETRRcQYDdYti8bc/YymmWX61XYa9dVzvNdKvV5J4DR2m2uB96gtA9WhWDIR21b2Cp4wDQdpqwaWbpZQHoNbPBwkgHBqB7GknADjHkGJIYcvctDt3LablipdQtiOnqrEX6eUhQl5jg9pvRwTQKgkI5MIv+A0/5eBoPVPKfYw9pBn9LXMDq6Fnn3nqroqqXLbDaGEVofa0RRHRil5eNHofbAhvYKqzkBFZp0ta1iaGPY10DMSS8o7vt52FdBfq21/B5Zs3ALjuyMMtoHfbwFucptrh6VL4rKF9X7KiJo+R94IZq0NfBhISkYFW5gdnARhSZwnaW1TittKuDZ2oNkBVz6BZyIok8pPMz8dDeTg7RDbfOIXueOeAjN4iJR6CHpxBuFdv3yq4hnPXYUSoqkOKwyzvaKOsRc/FGo9tbFVk/YatsXe+iLOvnWO/Jc3TpBUxJL7DpxNFxYjVHzIGc0UrI2bUSag+o9l4JqYrTnNPYmFZhRo6j1IzEDd/ziVYKVG2LVgxzoNcgb3djSPbRDEeqCvM+BHFM3P5ngPLGAEU4NKl+y98R1xk/IJ6n9AS/H4JkAoNHQDFJtAimVCdMlxo93J3RXUL6nVg4oGzPeTRSs+csKNdSfiKWl3x+KrfzpYWnXrmOitjmBI6burIx0d4Jpv3SwN4p6eeIaXpp/ahN03siOZ5Tmn5DlUTlPCQhtRqndXSMjK+5GqMe4a0fUkHsZ4qtUz84UJ5ic9/78RBXtvKpALiyogFxjf+75Ujlu2RLd+cSX7Pd+hJ/zw0Jzo7msdiRZyjOJzcmbTcDtXGgIQievh3tHMxmsN1Z0H28eqmN0YnRGEeLKKTeGPMFLOi5Fvo+TxZOmLfvKqI4pdNtrvJ4YrAlaYLzpLZ2MQWrJ1gmUcRa2Q+XIBGqmdUr0pPxeGVNs0+lTpZ/NdU0KpTVHxffsFt6nNpj4d2jelN5srXH63fkrkc68hFFT/TKuVE/8rxoFiU+vOB5UNHCiangw/lqGjhljBIEc2bV91XbZ00dGLLRrI7V2wzZawGZcTBDFrd167oCYyLwR5944IuPo6hB8yCAZ7Uoyu1GUeSyfD94YYPlW9bNm/8B&lt;/diagram&gt;&lt;/mxfile&gt;" resource="https://app.diagrams.net/#Hnikomatsakis%2Fsalsa%2Fslot-no-more%2Fbook%2Fsrc%2Fderived-query-maybe-changed-after.drawio.svg"><defs/><g><rect x="165" y="200" width="660" height="650" fill="none" stroke="none" pointer-events="all"/><path d="M 165.23 199.73 C 165.23 199.73 165.23 199.73 165.23 199.73 M 165.23 199.73 C 165.23 199.73 165.23 199.73 165.23 199.73 M 164.97 206.13 C 166.34 204.87 168.36 202.14 170.22 200.09 M 164.97 206.13 C 166.25 204.22 167.99 202.51 170.22 200.09 M 164.71 212.53 C 166.67 209.72 171.2 207.23 175.86 199.7 M 164.71 212.53 C 169.48 208.4 172.89 203.86 175.86 199.7 M 165.11 218.17 C 170.63 213.64 172.28 211.29 180.85 200.06 M 165.11 218.17 C 169.6 212.12 174.46 208.15 180.85 200.06 M 164.85 224.57 C 168.58 216.95 173.21 214.4 186.5 199.66 M 164.85 224.57 C 173.43 216.42 179.94 206.46 186.5 199.66 M 165.24 230.21 C 172.79 221.47 179.06 215.28 191.48 200.02 M 165.24 230.21 C 170.7 223.79 177.98 215.82 191.48 200.02 M 164.98 236.61 C 174.47 225.84 185.81 216.71 197.13 199.63 M 164.98 236.61 C 177.08 222.29 190.5 208.49 197.13 199.63 M 164.72 243 C 174.04 234.93 182.74 224.59 202.11 199.99 M 164.72 243 C 176.87 229.26 188.23 216.2 202.11 199.99 M 165.11 248.65 C 183.34 229.09 198.37 209.77 207.1 200.35 M 165.11 248.65 C 176.03 235.95 186.85 223.85 207.1 200.35 M 164.85 255.05 C 173.37 242.36 186.5 232.18 212.74 199.95 M 164.85 255.05 C 176.17 243.72 185.13 231.93 212.74 199.95 M 165.24 260.69 C 186.63 240.48 205.25 214.38 217.73 200.31 M 165.24 260.69 C 184.63 238.9 203.52 216.78 217.73 200.31 M 164.98 267.09 C 182.26 244.59 200.83 223.71 223.37 199.92 M 164.98 267.09 C 177.91 252.73 189.17 239.2 223.37 199.92 M 164.72 273.48 C 186.4 248.2 208.88 222.83 228.36 200.28 M 164.72 273.48 C 189.69 245.87 215.07 217.72 228.36 200.28 M 165.12 279.13 C 188.15 249.66 213.68 221.25 234 199.88 M 165.12 279.13 C 183.06 258.48 198.26 240.93 234 199.88 M 164.85 285.53 C 185.84 261.03 210.18 231.69 238.99 200.24 M 164.85 285.53 C 182.92 265.42 200.32 245.13 238.99 200.24 M 165.25 291.17 C 191.58 258.48 221.47 226.76 244.63 199.85 M 165.25 291.17 C 189.03 263.89 213.61 237.75 244.63 199.85 M 164.99 297.57 C 184.92 277.53 202.78 254.77 249.62 200.21 M 164.99 297.57 C 187.84 272.28 210.49 247.82 249.62 200.21 M 164.73 303.96 C 185.63 284.82 202.01 259.78 255.26 199.81 M 164.73 303.96 C 182.93 284.2 201.53 261.45 255.26 199.81 M 165.12 309.61 C 183.24 289.21 205.82 268.07 260.25 200.17 M 165.12 309.61 C 191.07 281.48 215.64 252.91 260.25 200.17 M 164.86 316 C 191.65 283.79 222.53 249.95 265.89 199.78 M 164.86 316 C 187.2 290.4 208.49 263.13 265.89 199.78 M 165.25 321.65 C 204.16 277.36 243.3 234.88 270.88 200.14 M 165.25 321.65 C 196.09 286.04 225.93 251.65 270.88 200.14 M 164.99 328.05 C 208.47 277.44 250.6 229.71 276.52 199.74 M 164.99 328.05 C 194.67 292.37 225.64 256.73 276.52 199.74 M 164.73 334.44 C 199.54 294.67 234.29 255.99 281.51 200.11 M 164.73 334.44 C 190.05 306.79 215.01 275.77 281.51 200.11 M 165.13 340.09 C 210.53 289.44 252.05 238.71 287.15 199.71 M 165.13 340.09 C 204.15 295.5 243.6 249.96 287.15 199.71 M 164.86 346.48 C 196.93 308.84 226.71 272.21 292.14 200.07 M 164.86 346.48 C 215.07 291.12 264.56 234.83 292.14 200.07 M 165.26 352.13 C 212.28 299.73 257.19 244.5 297.78 199.68 M 165.26 352.13 C 211.99 296.15 258.64 242.7 297.78 199.68 M 165 358.53 C 209.5 308.6 253.42 255.73 302.77 200.04 M 165 358.53 C 213.91 302.5 263.09 245.73 302.77 200.04 M 164.74 364.92 C 210.79 310.37 258.94 253.73 308.41 199.64 M 164.74 364.92 C 197.22 327.79 231.13 289.94 308.41 199.64 M 165.13 370.57 C 204.24 327.86 242.09 281.19 313.4 200 M 165.13 370.57 C 215.98 309.54 269.11 247.62 313.4 200 M 164.87 376.96 C 213.28 317.89 264.65 256.2 318.39 200.36 M 164.87 376.96 C 199.64 336.24 234.3 296.09 318.39 200.36 M 165.26 382.61 C 213.27 329.38 259.27 276.83 324.03 199.97 M 165.26 382.61 C 204.69 339.84 243.74 294.82 324.03 199.97 M 165 389 C 205.95 341.2 246.7 294.78 329.02 200.33 M 165 389 C 210.09 336.68 257.49 281.89 329.02 200.33 M 164.74 395.4 C 212.77 343.13 259.29 288.13 334.66 199.93 M 164.74 395.4 C 219.54 332.54 273.81 269.7 334.66 199.93 M 165.14 401.05 C 206.19 355.03 244.44 309.73 339.65 200.29 M 165.14 401.05 C 230.8 326.83 295.53 252.3 339.65 200.29 M 164.87 407.44 C 227.13 336.42 288.2 265.12 345.29 199.9 M 164.87 407.44 C 224.18 339.43 284.21 270.08 345.29 199.9 M 165.27 413.09 C 214.09 356.09 262.84 299.79 350.28 200.26 M 165.27 413.09 C 224.1 345.93 283.38 278.36 350.28 200.26 M 165.01 419.48 C 216 359.15 267.39 302.36 355.92 199.86 M 165.01 419.48 C 219.84 357.66 273.62 295.7 355.92 199.86 M 164.75 425.88 C 210.86 374.2 256.95 322.31 360.91 200.22 M 164.75 425.88 C 240.18 337.74 315.36 252.18 360.91 200.22 M 165.14 431.52 C 225.23 365.64 283.96 298.12 366.55 199.83 M 165.14 431.52 C 243.43 340.97 323.47 248.61 366.55 199.83 M 164.88 437.92 C 213.28 380.7 261.05 325.79 371.54 200.19 M 164.88 437.92 C 221.61 370.51 278.49 305.82 371.54 200.19 M 165.27 443.57 C 231.46 370.88 296.07 295.64 377.18 199.79 M 165.27 443.57 C 239.98 355.88 315.45 269.17 377.18 199.79 M 165.01 449.96 C 220.41 390.21 271.9 328.79 382.17 200.15 M 165.01 449.96 C 239.83 362.87 315.21 277.29 382.17 200.15 M 164.75 456.36 C 222.4 386.93 281.03 316.92 387.81 199.76 M 164.75 456.36 C 230.34 382.47 295.29 308.74 387.81 199.76 M 165.15 462 C 233.27 383.56 299.33 305.69 392.8 200.12 M 165.15 462 C 252.92 360.05 339.89 258.7 392.8 200.12 M 164.88 468.4 C 250.85 369.59 338.26 267.5 398.44 199.73 M 164.88 468.4 C 248.73 371.07 332.78 274.79 398.44 199.73 M 165.28 474.05 C 229.81 399.37 294.23 323.99 403.43 200.09 M 165.28 474.05 C 222.44 407.29 280.2 341.34 403.43 200.09 M 165.02 480.44 C 237.84 395.81 311.88 313.2 409.07 199.69 M 165.02 480.44 C 257.08 375.44 348.89 269.35 409.07 199.69 M 164.76 486.84 C 242.73 395.52 321.38 307.54 414.06 200.05 M 164.76 486.84 C 262.66 374.17 360.77 261.65 414.06 200.05 M 165.15 492.48 C 253.97 391.39 341.12 290.72 419.7 199.66 M 165.15 492.48 C 265.14 376.08 366.26 260.3 419.7 199.66 M 164.89 498.88 C 220.11 436.84 277.23 373.75 424.69 200.02 M 164.89 498.88 C 260.36 389.94 354.54 282.11 424.69 200.02 M 165.28 504.52 C 244.45 410.79 325.69 318.7 429.68 200.38 M 165.28 504.52 C 249.7 406.68 333.96 310.36 429.68 200.38 M 165.02 510.92 C 225.51 441.76 286.9 370.82 435.32 199.98 M 165.02 510.92 C 253.24 410.82 342.04 308.56 435.32 199.98 M 164.76 517.32 C 274.17 391.17 383.22 265.96 440.31 200.34 M 164.76 517.32 C 243.09 428.47 320.46 338.96 440.31 200.34 M 165.15 522.96 C 239.09 436.25 312.84 350.79 445.95 199.95 M 165.15 522.96 C 248.93 427.99 331.23 332.24 445.95 199.95 M 164.89 529.36 C 255.87 425.11 345.9 321.35 450.94 200.31 M 164.89 529.36 C 244.79 439.07 324.53 347.86 450.94 200.31 M 165.29 535 C 252.17 435.79 336.54 338.54 456.58 199.91 M 165.29 535 C 259.97 426.15 354.85 315.84 456.58 199.91 M 165.03 541.4 C 225.42 471.67 285.28 403.06 461.57 200.27 M 165.03 541.4 C 263.51 429.85 361.14 318.27 461.57 200.27 M 164.77 547.8 C 265.61 432.86 366.73 316.18 467.21 199.88 M 164.77 547.8 C 262.88 436.41 360.79 322.93 467.21 199.88 M 165.16 553.44 C 243.96 463.14 323.46 371.84 472.2 200.24 M 165.16 553.44 C 261.34 442.05 356.93 332.28 472.2 200.24 M 164.9 559.84 C 245.93 466.11 329.3 372.83 477.84 199.84 M 164.9 559.84 C 237.11 477.21 309.72 394.11 477.84 199.84 M 165.29 565.48 C 272.36 440.96 379.67 317.35 482.83 200.2 M 165.29 565.48 C 275.17 439.11 385.13 313.35 482.83 200.2 M 165.03 571.88 C 235.24 490.85 304.62 411.07 488.47 199.81 M 165.03 571.88 C 241.38 482.89 318.01 395.26 488.47 199.81 M 164.77 578.28 C 281.94 442.77 399.77 307.28 493.46 200.17 M 164.77 578.28 C 292.99 430.51 421.27 283.91 493.46 200.17 M 165.16 583.92 C 295.16 437.11 423.53 289.53 499.1 199.78 M 165.16 583.92 C 290.87 441.11 415.78 296.96 499.1 199.78 M 164.9 590.32 C 258.84 480.34 354 371.59 504.09 200.14 M 164.9 590.32 C 247.02 493.92 330.8 397.51 504.09 200.14 M 165.3 595.96 C 239.35 510.11 313.83 425.49 509.73 199.74 M 165.3 595.96 C 275.27 468.24 385.38 341.26 509.73 199.74 M 165.04 602.36 C 283.55 466.54 400.91 329.31 514.72 200.1 M 165.04 602.36 C 293.01 454.31 420.98 307.01 514.72 200.1 M 164.77 608.76 C 239.81 522.61 313.67 437.49 520.36 199.71 M 164.77 608.76 C 304.19 446.59 444.28 285.38 520.36 199.71 M 165.17 614.4 C 237.64 528.04 311.85 443.95 525.35 200.07 M 165.17 614.4 C 253.22 513.72 339.83 413.18 525.35 200.07 M 164.91 620.8 C 286.13 481.26 407.24 342.65 530.99 199.67 M 164.91 620.8 C 296.45 467.34 428.53 314.7 530.99 199.67 M 165.3 626.44 C 246.57 530.9 330.34 434.76 535.98 200.03 M 165.3 626.44 C 244.52 536.96 321.36 448.34 535.98 200.03 M 165.04 632.84 C 313.09 462.43 458.83 294.86 541.62 199.64 M 165.04 632.84 C 250.74 535.18 336.55 436.44 541.62 199.64 M 164.78 639.24 C 311.84 468.88 460.96 298.83 546.61 200 M 164.78 639.24 C 258.29 531.36 351.77 423.87 546.61 200 M 165.17 644.88 C 266.32 527.3 368.49 410.64 551.59 200.36 M 165.17 644.88 C 260.73 536.18 356.01 425.91 551.59 200.36 M 164.91 651.28 C 302.75 495.53 438.8 339.55 557.24 199.96 M 164.91 651.28 C 311.4 480.7 458.64 311.01 557.24 199.96 M 165.31 656.92 C 275.99 530.36 384.52 403.16 562.22 200.32 M 165.31 656.92 C 287.73 514.22 411.61 372.12 562.22 200.32 M 165.05 663.32 C 246.49 567.91 329.58 471.94 567.87 199.93 M 165.05 663.32 C 272.94 540.36 379.63 416.84 567.87 199.93 M 164.78 669.72 C 250.72 569.37 338.07 468.61 572.85 200.29 M 164.78 669.72 C 312.14 499.16 459.64 329.15 572.85 200.29 M 165.18 675.36 C 302.46 518.27 436.69 364.21 578.5 199.89 M 165.18 675.36 C 260.94 565.89 354.91 457.21 578.5 199.89 M 164.92 681.76 C 297.97 530.6 431.05 376.46 583.48 200.25 M 164.92 681.76 C 325.66 496.62 485.23 312.59 583.48 200.25 M 165.31 687.4 C 304.27 526.86 444.08 364.88 589.13 199.86 M 165.31 687.4 C 258.26 580.54 349.94 474.32 589.13 199.86 M 165.05 693.8 C 286.29 551.51 408.62 411.51 594.11 200.22 M 165.05 693.8 C 333.41 498.22 503.26 302.52 594.11 200.22 M 164.79 700.2 C 292.68 554.77 420.45 409.55 599.76 199.82 M 164.79 700.2 C 263.45 585.79 363.9 470.37 599.76 199.82 M 165.18 705.84 C 284.57 569.06 402.32 434.19 604.74 200.19 M 165.18 705.84 C 287.31 566.34 408.44 427.75 604.74 200.19 M 164.92 712.24 C 316.53 537.98 470.2 362.51 610.39 199.79 M 164.92 712.24 C 303.12 554.75 441.44 394.95 610.39 199.79 M 165.32 717.88 C 290.17 573.64 413.9 431.8 615.37 200.15 M 165.32 717.88 C 316.13 546.1 466.57 373.94 615.37 200.15 M 165.06 724.28 C 287.4 582.78 409.89 441.17 621.02 199.76 M 165.06 724.28 C 323.3 544.4 479.97 364.93 621.02 199.76 M 164.79 730.68 C 338.55 532 511.36 334.21 626 200.12 M 164.79 730.68 C 316.98 557.79 468.23 383.62 626 200.12 M 165.19 736.32 C 313.65 568.88 459.76 400.46 631.65 199.72 M 165.19 736.32 C 284 596.61 403.93 458.74 631.65 199.72 M 164.93 742.72 C 301.96 586.69 436.33 431.16 636.63 200.08 M 164.93 742.72 C 290.58 598.97 413.95 456.21 636.63 200.08 M 165.32 748.36 C 348.21 539.15 529.27 330.5 642.28 199.69 M 165.32 748.36 C 275.45 622.94 384.51 498.08 642.28 199.69 M 165.06 754.76 C 352.69 540.27 540.59 322.74 647.26 200.05 M 165.06 754.76 C 349.5 543.26 532.8 332.71 647.26 200.05 M 164.8 761.16 C 275.53 637.31 383.74 512.29 652.91 199.65 M 164.8 761.16 C 296.01 610.42 427.52 458.42 652.91 199.65 M 165.19 766.8 C 323.92 586.09 481.27 404.92 657.89 200.01 M 165.19 766.8 C 346.14 559.31 527.29 351.21 657.89 200.01 M 164.93 773.2 C 291.45 627.03 418.98 481.75 662.88 200.37 M 164.93 773.2 C 287.44 633.32 409.95 492.72 662.88 200.37 M 165.33 778.84 C 348.42 567.74 531.6 356.87 668.52 199.98 M 165.33 778.84 C 350.47 567.48 532.55 357.29 668.52 199.98 M 165.07 785.24 C 341.65 584.71 517.63 382.99 673.51 200.34 M 165.07 785.24 C 295.12 635.04 426.78 483.65 673.51 200.34 M 164.8 791.64 C 307.05 628.95 447.5 468.22 679.15 199.94 M 164.8 791.64 C 341.07 588.77 515.45 388.43 679.15 199.94 M 165.2 797.28 C 277.26 666.14 390.26 535.58 684.14 200.3 M 165.2 797.28 C 300.39 644.24 434.75 488.92 684.14 200.3 M 164.94 803.68 C 297.91 655.53 428.57 505.17 689.78 199.91 M 164.94 803.68 C 331.61 613.13 497.6 421.79 689.78 199.91 M 164.68 810.07 C 299.8 655.2 435.64 500.36 694.77 200.27 M 164.68 810.07 C 288.46 665.01 414.99 520.39 694.77 200.27 M 165.07 815.72 C 351.5 597.84 539.1 381.15 700.41 199.87 M 165.07 815.72 C 356.99 592.34 550.02 370.03 700.41 199.87 M 164.81 822.12 C 321.34 637.6 480.25 455.1 705.4 200.23 M 164.81 822.12 C 288.93 678.82 413.44 535.43 705.4 200.23 M 165.2 827.76 C 327.68 641.25 487.38 456.21 711.04 199.84 M 165.2 827.76 C 372.99 588.7 579.4 350.82 711.04 199.84 M 164.94 834.16 C 290.44 687.64 417.99 542.73 716.03 200.2 M 164.94 834.16 C 339.05 635.54 513.02 435.36 716.03 200.2 M 164.68 840.55 C 307.46 677.94 448.12 517.22 721.67 199.81 M 164.68 840.55 C 341.78 637.61 520.25 431.98 721.67 199.81 M 165.07 846.2 C 285.04 709.3 403.43 574.01 726.66 200.17 M 165.07 846.2 C 286.82 702.73 409.7 560.87 726.66 200.17 M 166.13 851.09 C 310.73 686.59 453.38 522.27 732.3 199.77 M 166.13 851.09 C 382.77 604.04 599.38 354.69 732.3 199.77 M 171.77 850.69 C 307.81 690.15 446.35 530.87 737.29 200.13 M 171.77 850.69 C 346.35 653.01 520.21 452.95 737.29 200.13 M 176.76 851.05 C 388.7 603.58 602.49 357.8 742.93 199.74 M 176.76 851.05 C 291.33 716.32 407.4 582.78 742.93 199.74 M 182.4 850.66 C 401.43 594.35 624.46 339.01 747.92 200.1 M 182.4 850.66 C 404.52 599.04 625.22 345.29 747.92 200.1 M 187.39 851.02 C 396.57 611.23 607.37 368.32 753.56 199.7 M 187.39 851.02 C 341.69 675.88 493.17 501.3 753.56 199.7 M 192.37 851.38 C 402.9 607.95 615.68 364.49 758.55 200.06 M 192.37 851.38 C 372.42 642.59 555.03 433.21 758.55 200.06 M 198.02 850.98 C 330.23 702.38 461.84 551 764.19 199.67 M 198.02 850.98 C 367.67 655.08 538.05 459.77 764.19 199.67 M 203 851.34 C 412.78 614.08 619.52 377.09 769.18 200.03 M 203 851.34 C 317.69 720.26 432.79 587.73 769.18 200.03 M 208.65 850.95 C 326.27 717.34 442.26 583.62 774.82 199.63 M 208.65 850.95 C 363.13 674.15 516.6 497.65 774.82 199.63 M 213.63 851.31 C 436.34 594.74 661.28 338.07 779.81 199.99 M 213.63 851.31 C 422.77 608.01 633.69 365.12 779.81 199.99 M 219.28 850.91 C 339.74 713.78 456.75 578.93 784.8 200.35 M 219.28 850.91 C 441.2 594.86 663.62 338.25 784.8 200.35 M 224.26 851.27 C 422.7 621.08 623.67 390.16 790.44 199.96 M 224.26 851.27 C 348.69 706.54 472.19 563.91 790.44 199.96 M 229.91 850.88 C 343.57 720.22 458.72 588.23 795.43 200.32 M 229.91 850.88 C 414.46 638.71 599.26 426.78 795.43 200.32 M 234.89 851.24 C 455.29 599.45 673.56 347.6 801.07 199.92 M 234.89 851.24 C 442.2 607.78 652.7 366.17 801.07 199.92 M 240.54 850.84 C 358.13 713.03 478.83 576.14 806.06 200.28 M 240.54 850.84 C 453.39 610.58 663.49 368.81 806.06 200.28 M 245.52 851.2 C 406.45 663.8 568.97 477.71 811.7 199.89 M 245.52 851.2 C 417.38 656.74 588.31 460.16 811.7 199.89 M 251.17 850.81 C 428.52 644.87 606.08 440.39 816.69 200.25 M 251.17 850.81 C 406.06 672.2 561.07 494.03 816.69 200.25 M 256.15 851.17 C 435.35 644.24 614.62 437.21 822.33 199.86 M 256.15 851.17 C 440.78 638.2 627.07 424.33 822.33 199.86 M 261.8 850.77 C 400.92 691.1 537.53 531.64 826.66 200.97 M 261.8 850.77 C 387.28 706.63 512.73 562.56 826.66 200.97 M 266.78 851.14 C 482.75 599.53 699.65 349.5 826.4 207.37 M 266.78 851.14 C 384.59 713.63 503.19 576.94 826.4 207.37 M 272.43 850.74 C 487.89 601.01 703.79 350.56 826.14 213.77 M 272.43 850.74 C 408.76 692.22 546.16 534.12 826.14 213.77 M 277.41 851.1 C 426.37 681.17 572.82 511.49 826.53 219.41 M 277.41 851.1 C 471.74 624.96 667.13 400.4 826.53 219.41 M 283.06 850.71 C 394.29 723.34 505.41 594.66 826.27 225.81 M 283.06 850.71 C 407.03 708.89 532.08 565.93 826.27 225.81 M 288.04 851.07 C 493.87 613.06 700.01 375.29 826.67 231.45 M 288.04 851.07 C 402.14 720.67 515.89 590.03 826.67 231.45 M 293.69 850.67 C 500.92 612.43 706.26 376.14 826.41 237.85 M 293.69 850.67 C 446.62 675.26 598.67 500.46 826.41 237.85 M 298.67 851.03 C 409.64 720.29 523 589.76 826.15 244.25 M 298.67 851.03 C 438.18 691.43 579.54 529.02 826.15 244.25 M 303.66 851.39 C 456.84 676.33 610.71 498.57 826.54 249.89 M 303.66 851.39 C 505.77 622.95 704.87 393.26 826.54 249.89 M 309.3 851 C 464.22 674.81 618.59 497.75 826.28 256.29 M 309.3 851 C 444.37 697.22 579.41 542.55 826.28 256.29 M 314.29 851.36 C 492.09 648.78 669.37 443.85 826.67 261.93 M 314.29 851.36 C 480.39 661.5 647.16 470.48 826.67 261.93 M 319.93 850.96 C 436.55 718.47 553.82 583.99 826.41 268.33 M 319.93 850.96 C 508.99 636.39 697.76 419.26 826.41 268.33 M 324.92 851.32 C 431.15 727.06 537.32 604.52 826.15 274.72 M 324.92 851.32 C 506.46 641.18 689.32 430.75 826.15 274.72 M 330.56 850.93 C 458.89 702.66 588.62 554.83 826.54 280.37 M 330.56 850.93 C 440.89 725.04 550.93 597.81 826.54 280.37 M 335.55 851.29 C 448.86 723.97 559.59 596.79 826.28 286.77 M 335.55 851.29 C 435.82 736.66 534.86 623.74 826.28 286.77 M 341.19 850.89 C 480.76 686.77 622.78 523.85 826.68 292.41 M 341.19 850.89 C 476.26 690.9 613.62 533.5 826.68 292.41 M 346.18 851.25 C 523.08 650.88 698.27 448.47 826.42 298.81 M 346.18 851.25 C 522.4 648.77 698.85 445.91 826.42 298.81 M 351.82 850.86 C 490.47 692.71 628.57 533.76 826.15 305.2 M 351.82 850.86 C 473.51 709.45 596.58 566.93 826.15 305.2 M 356.81 851.22 C 484.38 701.86 612.34 554.77 826.55 310.85 M 356.81 851.22 C 473.16 716.5 590.98 580.87 826.55 310.85 M 362.45 850.82 C 491.8 703.93 620.41 556.23 826.29 317.24 M 362.45 850.82 C 506.29 685.09 650.91 519.19 826.29 317.24 M 367.44 851.18 C 482.71 718.72 596.64 588.22 826.68 322.89 M 367.44 851.18 C 495.17 704.89 621.52 559.44 826.68 322.89 M 373.08 850.79 C 519.85 683.17 664.92 514.5 826.42 329.29 M 373.08 850.79 C 479.55 729.52 585.65 607.82 826.42 329.29 M 378.07 851.15 C 485.52 725.93 593.43 602.39 826.16 335.68 M 378.07 851.15 C 518.36 689.89 658.29 528.2 826.16 335.68 M 383.71 850.76 C 543.48 665.5 702.29 482.38 826.55 341.33 M 383.71 850.76 C 502.57 713.22 621.74 575.56 826.55 341.33 M 388.7 851.12 C 504.16 718 619.13 584.9 826.29 347.72 M 388.7 851.12 C 509.78 712.43 629.88 573.55 826.29 347.72 M 394.34 850.72 C 555.65 664.77 717.62 477.96 826.69 353.37 M 394.34 850.72 C 526.97 700.47 658.24 549.35 826.69 353.37 M 399.33 851.08 C 562.24 666.08 723.99 479.84 826.43 359.77 M 399.33 851.08 C 537.63 694.7 674.77 536.76 826.43 359.77 M 404.97 850.69 C 496.57 744.49 587.75 639.92 826.16 366.16 M 404.97 850.69 C 516.77 721.05 630.49 591.16 826.16 366.16 M 409.96 851.05 C 540.53 703.09 669.61 554.34 826.56 371.81 M 409.96 851.05 C 514.49 728.86 620.2 607.99 826.56 371.81 M 415.6 850.65 C 571.56 670.06 726.7 491.98 826.3 378.2 M 415.6 850.65 C 553.84 691.43 691.42 533.51 826.3 378.2 M 420.59 851.01 C 515.63 740.16 611.98 628.79 826.69 383.85 M 420.59 851.01 C 548.36 703.26 675.74 555.85 826.69 383.85 M 425.58 851.37 C 512.81 748.11 600.83 647.29 826.43 390.24 M 425.58 851.37 C 554.29 703.26 682.7 555.36 826.43 390.24 M 431.22 850.98 C 584.7 672.91 740.57 494.57 826.17 396.64 M 431.22 850.98 C 585.6 672.17 741.87 492.4 826.17 396.64 M 436.21 851.34 C 574.63 690.24 713.47 531.43 826.56 402.29 M 436.21 851.34 C 547.42 722.91 659.83 593.59 826.56 402.29 M 441.85 850.94 C 546.05 732.97 648.96 615.73 826.3 408.68 M 441.85 850.94 C 530.66 749.18 618.5 648.63 826.3 408.68 M 446.84 851.3 C 540.14 742.94 635.85 633.25 826.7 414.33 M 446.84 851.3 C 573.93 704.73 702.07 557.73 826.7 414.33 M 452.48 850.91 C 530.64 759.25 607.78 669.48 826.44 420.72 M 452.48 850.91 C 599.94 683.39 745.99 515.11 826.44 420.72 M 457.47 851.27 C 545.17 753.21 630.08 653.14 826.17 427.12 M 457.47 851.27 C 539.19 756.5 620.21 662.71 826.17 427.12 M 463.11 850.87 C 541.97 759.67 622.41 667.2 826.57 432.77 M 463.11 850.87 C 572.26 724.16 682.08 598.53 826.57 432.77 M 468.1 851.23 C 569.76 735.6 670.7 617.71 826.31 439.16 M 468.1 851.23 C 585.56 715.35 703.97 579.31 826.31 439.16 M 473.74 850.84 C 599.18 703.73 727.22 557.54 826.7 444.81 M 473.74 850.84 C 551.91 759.78 631.33 669.12 826.7 444.81 M 478.73 851.2 C 562.47 756.62 644.71 661.05 826.44 451.2 M 478.73 851.2 C 582.92 731.24 687.3 611.01 826.44 451.2 M 484.37 850.81 C 603.76 714.42 723.27 578.02 826.18 457.6 M 484.37 850.81 C 576.66 744.43 668.6 639.09 826.18 457.6 M 489.36 851.17 C 620.77 700.23 752.12 549.66 826.57 463.24 M 489.36 851.17 C 560.64 768.86 631.14 687.57 826.57 463.24 M 495 850.77 C 609.95 716.29 725.25 583.73 826.31 469.64 M 495 850.77 C 621.41 703.84 748.36 558.16 826.31 469.64 M 499.99 851.13 C 594.58 739.99 689.98 630.19 826.71 475.29 M 499.99 851.13 C 626.9 705.39 753.19 560.32 826.71 475.29 M 505.63 850.74 C 631.58 703.36 759.73 556.74 826.45 481.68 M 505.63 850.74 C 623.73 715.04 740.86 580.75 826.45 481.68 M 510.62 851.1 C 619.45 722.09 730.48 595.4 826.18 488.08 M 510.62 851.1 C 634.06 709.6 758.38 567.18 826.18 488.08 M 516.26 850.7 C 633.61 717.02 749.04 583.76 826.58 493.72 M 516.26 850.7 C 594.7 759.68 673.45 669.56 826.58 493.72 M 521.25 851.06 C 592.14 772.6 661.65 693.31 826.32 500.12 M 521.25 851.06 C 593.87 765.49 667.15 681.8 826.32 500.12 M 526.89 850.67 C 592.77 772.12 659.04 696.78 826.71 505.77 M 526.89 850.67 C 624.9 735.9 724.46 621.55 826.71 505.77 M 531.88 851.03 C 602.94 769.27 671.73 687.06 826.45 512.16 M 531.88 851.03 C 645.18 719.69 758.28 589.79 826.45 512.16 M 536.87 851.39 C 633.68 737.72 731.22 625.06 826.19 518.56 M 536.87 851.39 C 631.7 743.68 724.22 636.22 826.19 518.56 M 542.51 850.99 C 646.78 731.69 748.53 613.27 826.58 524.2 M 542.51 850.99 C 635.24 745.35 726.67 640.15 826.58 524.2 M 547.5 851.35 C 650.49 730.68 754.08 611.17 826.32 530.6 M 547.5 851.35 C 602.21 787.09 658.09 723.01 826.32 530.6 M 553.14 850.96 C 617.6 777.1 680.4 703.24 826.72 536.24 M 553.14 850.96 C 661.8 725.36 771.73 598.85 826.72 536.24 M 558.13 851.32 C 625.05 777.52 689.26 703.72 826.45 542.64 M 558.13 851.32 C 659.77 734.49 761.12 618.09 826.45 542.64 M 563.77 850.92 C 648.63 749.12 737.46 650.24 826.19 549.04 M 563.77 850.92 C 667.43 729.95 772.46 609.68 826.19 549.04 M 568.76 851.28 C 648.6 761.78 724.95 672.62 826.59 554.68 M 568.76 851.28 C 649.48 758.85 730.2 665.77 826.59 554.68 M 574.4 850.89 C 624.83 791.48 676.44 731.66 826.33 561.08 M 574.4 850.89 C 664.62 750.08 752.2 648.64 826.33 561.08 M 579.39 851.25 C 674.57 742.91 768.38 633.85 826.72 566.72 M 579.39 851.25 C 652.84 763.15 729.03 676.51 826.72 566.72 M 585.03 850.85 C 644.03 780.42 706.15 709.04 826.46 573.12 M 585.03 850.85 C 663.22 759.6 741.49 667.97 826.46 573.12 M 590.02 851.22 C 674.5 753.78 758.66 655.47 826.2 579.52 M 590.02 851.22 C 661.57 770.04 733.08 687.59 826.2 579.52 M 595.66 850.82 C 675.56 762.58 750.57 673.65 826.59 585.16 M 595.66 850.82 C 654.25 786.17 710.83 721.14 826.59 585.16 M 600.65 851.18 C 685.25 755.93 766.12 663.65 826.33 591.56 M 600.65 851.18 C 666.83 776.93 732.44 701.15 826.33 591.56 M 606.29 850.79 C 686.62 759.55 764.94 670.46 826.73 597.2 M 606.29 850.79 C 665.67 783.07 724.81 713.82 826.73 597.2 M 611.28 851.15 C 696.7 755.08 779.37 658.64 826.46 603.6 M 611.28 851.15 C 676.55 774.83 742.12 699.85 826.46 603.6 M 616.92 850.75 C 680.11 781.04 740.12 709.38 826.2 610 M 616.92 850.75 C 658.29 800.98 700.45 752.03 826.2 610 M 621.91 851.11 C 680 785.69 739.86 718.17 826.6 615.64 M 621.91 851.11 C 667.01 798.19 712.3 746.47 826.6 615.64 M 627.55 850.72 C 700.95 767.7 775.3 684.05 826.34 622.04 M 627.55 850.72 C 684.64 783.95 742.19 716.96 826.34 622.04 M 632.54 851.08 C 698.91 772.01 768.07 692.61 826.73 627.68 M 632.54 851.08 C 701.78 770.42 771.84 688.87 826.73 627.68 M 638.18 850.68 C 686.35 795.13 735.26 738.69 826.47 634.08 M 638.18 850.68 C 681.32 801.72 724.25 752.75 826.47 634.08 M 643.17 851.04 C 708.03 777.22 770.78 703.94 826.21 640.48 M 643.17 851.04 C 694.73 791.39 747.31 729.87 826.21 640.48 M 648.81 850.65 C 704.72 789.26 760.76 723.42 826.6 646.12 M 648.81 850.65 C 711.33 779.84 773.32 708.22 826.6 646.12 M 653.8 851.01 C 704.01 794.89 752.32 734.86 826.34 652.52 M 653.8 851.01 C 689.7 810.75 725.66 769.25 826.34 652.52 M 658.78 851.37 C 709.04 791.2 763.46 730.65 826.74 658.16 M 658.78 851.37 C 698.44 806.08 737.92 760.4 826.74 658.16 M 664.43 850.97 C 703.88 804.19 745.45 757.3 826.47 664.56 M 664.43 850.97 C 723.04 780.57 783.96 711.97 826.47 664.56 M 669.41 851.33 C 718.16 794.05 768.57 740.41 826.21 670.96 M 669.41 851.33 C 718.52 794.93 766.44 739.94 826.21 670.96 M 675.06 850.94 C 730.65 786.2 784.81 722.59 826.61 676.6 M 675.06 850.94 C 718.16 804.88 759.67 755.2 826.61 676.6 M 680.04 851.3 C 711.58 815.15 743.19 778.26 826.35 683 M 680.04 851.3 C 714.52 810.98 748.47 772.52 826.35 683 M 685.69 850.9 C 714.91 819.95 743.57 783.86 826.74 688.64 M 685.69 850.9 C 724.2 809.01 759.48 766.13 826.74 688.64 M 690.67 851.26 C 746.31 786.77 797.13 726.79 826.48 695.04 M 690.67 851.26 C 736.23 799.48 779.53 748.4 826.48 695.04 M 696.32 850.87 C 724.17 817.44 754.66 786.27 826.22 701.44 M 696.32 850.87 C 735.19 805.49 776.15 759.25 826.22 701.44 M 701.31 851.23 C 734.45 813.8 765.63 773.59 826.61 707.08 M 701.31 851.23 C 744.66 803.98 787.35 754.68 826.61 707.08 M 706.95 850.84 C 742.37 807.02 775.46 769.47 826.35 713.48 M 706.95 850.84 C 736.84 818.7 765.59 784.17 826.35 713.48 M 711.94 851.2 C 744.87 811.88 780.04 775.44 826.75 719.12 M 711.94 851.2 C 743.71 816.64 775.52 779.47 826.75 719.12 M 717.58 850.8 C 739.01 826.43 761.33 802.33 826.48 725.52 M 717.58 850.8 C 753.64 807.15 790.78 765.14 826.48 725.52 M 722.57 851.16 C 745.13 825.35 767.3 799.21 826.22 731.92 M 722.57 851.16 C 759.6 807.62 796.65 765.75 826.22 731.92 M 728.21 850.77 C 762.38 813.54 797.5 775.83 826.62 737.56 M 728.21 850.77 C 758.24 815.98 787.21 780.98 826.62 737.56 M 733.2 851.13 C 755.19 828.35 773.6 802.6 826.36 743.96 M 733.2 851.13 C 762.55 819.59 789.94 787.84 826.36 743.96 M 738.84 850.73 C 773.85 812.36 803.74 774.15 826.75 749.6 M 738.84 850.73 C 765.32 820.77 793.4 790.23 826.75 749.6 M 743.83 851.09 C 774.72 818.03 804.55 781.73 826.49 756 M 743.83 851.09 C 761.38 830.59 778.54 810.61 826.49 756 M 749.47 850.7 C 767.3 828.76 782.01 812.47 826.23 762.4 M 749.47 850.7 C 774.66 821.44 800.03 793.59 826.23 762.4 M 754.46 851.06 C 777.33 822.86 801.16 798.49 826.62 768.04 M 754.46 851.06 C 775.31 828.26 795.91 804.99 826.62 768.04 M 760.1 850.66 C 776.58 830.86 796.49 808.91 826.36 774.44 M 760.1 850.66 C 776.03 831.35 791.97 814.43 826.36 774.44 M 765.09 851.02 C 779.4 830.88 795.99 815.46 826.76 780.08 M 765.09 851.02 C 784.87 829.6 803.58 806.87 826.76 780.08 M 770.07 851.38 C 789.14 826.53 810.26 807.04 826.49 786.48 M 770.07 851.38 C 786.79 831.52 804.52 812.32 826.49 786.48 M 775.72 850.99 C 794.93 827.31 815.29 804.97 826.23 792.88 M 775.72 850.99 C 793.29 829.98 811.69 809.63 826.23 792.88 M 780.7 851.35 C 798.26 832.36 813.2 812.78 826.63 798.52 M 780.7 851.35 C 794.09 837.21 807.06 822.48 826.63 798.52 M 786.35 850.95 C 800.6 833.93 817.67 814.71 826.37 804.92 M 786.35 850.95 C 799.16 835.15 813.53 818.44 826.37 804.92 M 791.33 851.31 C 800.91 843 805.96 834.05 826.1 811.31 M 791.33 851.31 C 802.82 837.88 813.82 825.13 826.1 811.31 M 796.98 850.92 C 806.77 836.77 818.37 825.68 826.5 816.96 M 796.98 850.92 C 803.4 842.52 809.43 836.74 826.5 816.96 M 801.96 851.28 C 810.76 842.48 819.61 828.31 826.24 823.36 M 801.96 851.28 C 808.49 843.06 815.87 836.67 826.24 823.36 M 807.61 850.89 C 816.3 842.38 821.28 836.38 826.63 829 M 807.61 850.89 C 813.49 844.16 821.07 836.23 826.63 829 M 812.59 851.25 C 816.73 848.97 817.88 842.36 826.37 835.4 M 812.59 851.25 C 818.87 845.18 823.72 839.29 826.37 835.4 M 818.24 850.85 C 819.95 848.01 822.95 846.13 826.11 841.79 M 818.24 850.85 C 819.48 848.91 821.62 847.49 826.11 841.79 M 823.22 851.21 C 824.17 850.08 825.9 848 826.5 847.44 M 823.22 851.21 C 824.16 850.15 825.35 848.48 826.5 847.44" fill="none" stroke="#e4d7eb" stroke-linejoin="round" stroke-linecap="round" stroke-miterlimit="10" pointer-events="all"/><path d="M 165 200 C 297.58 197.36 429.71 198.01 825 200 M 165 200 C 362.13 199.18 559.12 199.56 825 200 M 825 200 C 824.19 379.8 823.82 558.39 825 850 M 825 200 C 825.45 420.38 824.82 640.28 825 850 M 825 850 C 649.62 852.53 474.18 851.58 165 850 M 825 850 C 692.11 847.26 558.73 847.12 165 850 M 165 850 C 165.03 612.72 165.41 375.7 165 200 M 165 850 C 167.46 663.4 167.39 475.76 165 200" fill="none" stroke="rgb(0, 0, 0)" stroke-linejoin="round" stroke-linecap="round" stroke-miterlimit="10" pointer-events="all"/><path d="M 95 130 L 95 203.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 95 208.88 L 91.5 201.88 L 95 203.63 L 98.5 201.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 170px; margin-left: 95px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><div>Memo with value exists:</div><div>last verified in Rv with durability D<br /></div></div></div></div></foreignObject><text x="95" y="173" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Memo with value exists:...</text></switch></g><path d="M 155 110 L 285 110 L 285 205.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 210.88 L 281.5 203.88 L 285 205.63 L 288.5 203.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 110px; margin-left: 252px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><div>No previous memo, <br /></div><div>or memo has no value<br /></div></div></div></div></foreignObject><text x="252" y="113" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">No previous memo,...</text></switch></g><rect x="35" y="90" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 110px; margin-left: 36px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Load memo_map[K]<br /></div></div></div></div></foreignObject><text x="95" y="114" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Load memo_map[K]&#xa;</text></switch></g><path d="M 345 222 L 475 222 L 475 146.37" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 475 141.12 L 478.5 148.12 L 475 146.37 L 471.5 148.12 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 222px; margin-left: 382px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><div>Already</div><div>claimed<br /></div></div></div></div></foreignObject><text x="382" y="225" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Already...</text></switch></g><path d="M 285 252 L 285 323.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 328.88 L 281.5 321.88 L 285 323.63 L 288.5 321.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 291px; margin-left: 285px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">Claimed</div></div></div></foreignObject><text x="285" y="294" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Claimed</text></switch></g><rect x="225" y="212" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 232px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Claim sync_map[K]<br /></div></div></div></div></foreignObject><text x="285" y="236" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Claim sync_map[K]&#xa;</text></switch></g><path d="M 475 100 L 475 70 L 125 70 L 125 83.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 125 88.88 L 121.5 81.88 L 125 83.63 L 128.5 81.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 80px; margin-left: 475px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><div>Thread completed</div><div>normally<br /></div></div></div></div></foreignObject><text x="475" y="83" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Thread completed...</text></switch></g><path d="M 535 120 L 630.3 120 L 630.3 125.9 L 719.13 125.94" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 724.38 125.94 L 717.38 129.44 L 719.13 125.94 L 717.38 122.44 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 124px; margin-left: 599px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><div>Cycle detected</div><div>or thread panicked<br /></div></div></div></div></foreignObject><text x="599" y="127" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Cycle detected...</text></switch></g><rect x="415" y="100" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 120px; margin-left: 416px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Block until other thread completes</div></div></div></foreignObject><text x="475" y="124" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Block until other th...</text></switch></g><rect x="225" y="410" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 430px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Load memo_map[K]<br /></div></div></div></div></foreignObject><text x="285" y="434" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Load memo_map[K]&#xa;</text></switch></g><path d="M 285 450 L 285 493.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 498.88 L 281.5 491.88 L 285 493.63 L 288.5 491.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 285 370 L 285 403.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 408.88 L 281.5 401.88 L 285 403.63 L 288.5 401.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="225" y="330" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 350px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Push K onto stack<br /></div></div></div></div></foreignObject><text x="285" y="354" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Push K onto stack&#xa;</text></switch></g><path d="M 735 212 L 735 176 L 734.53 146.37" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 734.45 141.12 L 738.06 148.06 L 734.53 146.37 L 731.06 148.17 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="675" y="212" width="120" height="40" rx="6" ry="6" fill="#ff9999" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 232px; margin-left: 676px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Release claim.</div></div></div></foreignObject><text x="735" y="236" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Release claim.</text></switch></g><path d="M 735 330 L 735 258.37" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 735 253.12 L 738.5 260.12 L 735 258.37 L 731.5 260.12 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="675" y="330" width="120" height="40" rx="6" ry="6" fill="#ff9999" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 350px; margin-left: 676px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Pop stack frame.</div></div></div></foreignObject><text x="735" y="354" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Pop stack frame.</text></switch></g><rect x="725.5" y="102" width="19" height="38" fill="none" stroke="none" pointer-events="all" transform="translate(2,3)" opacity="0.25"/><rect x="725.5" y="102" width="19" height="38" fill="none" stroke="none" pointer-events="all"/><path d="M 735.23 102.15 L 725.5 126.03 L 739.11 121.38 L 735.61 134.46 L 733.28 132.64 L 734.48 140 L 739.71 133.84 L 736.47 134.62 L 744.5 117.32 L 729.99 121.82 L 740.46 102 Z" fill="#000000" stroke="none" pointer-events="all" transform="translate(2,3)" opacity="0.25"/><path d="M 735.23 102.15 L 725.5 126.03 L 739.11 121.38 L 735.61 134.46 L 733.28 132.64 L 734.48 140 L 739.71 133.84 L 736.47 134.62 L 744.5 117.32 L 729.99 121.82 L 740.46 102 Z" fill="#000000" stroke="none" pointer-events="all"/><path d="M 345 242 L 675 242" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2" stroke-miterlimit="10" stroke-dasharray="2 6" pointer-events="stroke"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 242px; margin-left: 510px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">(Destructor)</div></div></div></foreignObject><text x="510" y="245" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">(Destructo...</text></switch></g><path d="M 345 350 L 675 350" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2" stroke-miterlimit="10" stroke-dasharray="2 6" pointer-events="stroke"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 350px; margin-left: 510px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">(Destructor)</div></div></div></foreignObject><text x="510" y="353" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">(Destructo...</text></switch></g><path d="M 285 540 L 285 593.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 598.88 L 281.5 591.88 L 285 593.63 L 288.5 591.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 573px; margin-left: 286px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">False</div></div></div></foreignObject><text x="286" y="576" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">False</text></switch></g><path d="M 345 520 L 735 520 L 735 376.37" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 735 371.12 L 738.5 378.12 L 735 376.37 L 731.5 378.12 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 521px; margin-left: 396px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">Panic</div></div></div></foreignObject><text x="396" y="524" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Panic</text></switch></g><path d="M 225 520 L 185 520 L 185 810 L 218.63 810" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 223.88 810 L 216.88 813.5 L 218.63 810 L 216.88 806.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 568px; margin-left: 186px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">True</div></div></div></foreignObject><text x="186" y="571" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">True</text></switch></g><rect x="225" y="500" width="120" height="40" rx="6" ry="6" fill="#99ccff" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 520px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Deep verify memo<br /></div></div></div></div></foreignObject><text x="285" y="524" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Deep verify memo&#xa;</text></switch></g><path d="M 155 232 L 218.63 232" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 223.88 232 L 216.88 235.5 L 218.63 232 L 216.88 228.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 233px; margin-left: 186px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">False</div></div></div></foreignObject><text x="186" y="236" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">False</text></switch></g><path d="M 95 252 L 95 272 L 95 270 L 95 283.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 95 288.88 L 91.5 281.88 L 95 283.63 L 98.5 281.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 269px; margin-left: 96px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">True</div></div></div></foreignObject><text x="96" y="272" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">True</text></switch></g><rect x="35" y="212" width="120" height="40" rx="6" ry="6" fill="#99ccff" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 232px; margin-left: 36px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Shallow verify memo<br /></div></div></div></div></foreignObject><text x="95" y="236" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Shallow verify memo&#xa;</text></switch></g><rect x="35" y="290" width="120" height="40" rx="6" ry="6" fill="#ffcc99" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 310px; margin-left: 36px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Return changed_at &gt; revision  </div></div></div></foreignObject><text x="95" y="314" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Return changed_at &gt;...</text></switch></g><rect x="225" y="790" width="120" height="40" rx="6" ry="6" fill="#ffcc99" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 810px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Return changed_at &gt; revision  </div></div></div></foreignObject><text x="285" y="814" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Return changed_at &gt;...</text></switch></g><path d="M 285 740 L 285 783.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 788.88 L 281.5 781.88 L 285 783.63 L 288.5 781.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 345 720 L 735 720 L 735 376.37" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 735 371.12 L 738.5 378.12 L 735 376.37 L 731.5 378.12 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 721px; margin-left: 396px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">Panic</div></div></div></foreignObject><text x="396" y="724" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Panic</text></switch></g><rect x="225" y="700" width="120" height="40" rx="6" ry="6" fill="#99ccff" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 720px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Deep verify memo<br /></div></div></div></div></foreignObject><text x="285" y="724" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Deep verify memo&#xa;</text></switch></g><path d="M 285 640 L 285 693.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 698.88 L 281.5 691.88 L 285 693.63 L 288.5 691.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 666px; margin-left: 289px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">Yes</div></div></div></foreignObject><text x="289" y="669" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Yes</text></switch></g><path d="M 345 620 L 438.63 620" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 443.88 620 L 436.88 623.5 L 438.63 620 L 436.88 616.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 621px; margin-left: 389px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">No</div></div></div></foreignObject><text x="389" y="624" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">No</text></switch></g><rect x="225" y="600" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 620px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Have old memo?<br /></div></div></div></div></foreignObject><text x="285" y="624" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Have old memo?&#xa;</text></switch></g><rect x="445" y="600" width="120" height="40" rx="6" ry="6" fill="#ffcc99" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 620px; margin-left: 446px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Return true (maybe changed)</div></div></div></foreignObject><text x="505" y="624" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Return true (maybe c...</text></switch></g><path d="M 95 20 L 95 83.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 95 88.88 L 91.5 81.88 L 95 83.63 L 98.5 81.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="0" y="0" width="190" height="20" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 10px; margin-left: 95px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">maybe_changed_since(revision)</div></div></div></foreignObject><text x="95" y="14" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">maybe_changed_since(revision)</text></switch></g><rect x="655" y="820" width="170" height="20" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 830px; margin-left: 740px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">maybe_changed_after_cold()</div></div></div></foreignObject><text x="740" y="834" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">maybe_changed_after_cold()</text></switch></g></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank"><text text-anchor="middle" font-size="10px" x="50%" y="100%">Text is not SVG - cannot display</text></a></switch></svg>
\ No newline at end of file
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="826px" height="851px" viewBox="-0.5 -0.5 826 851" content="&lt;mxfile host=&quot;app.diagrams.net&quot; modified=&quot;2022-01-21T20:14:08.908Z&quot; agent=&quot;5.0 (Macintosh)&quot; etag=&quot;COuILB8VnoPZ5FpVq6-Y&quot; version=&quot;16.4.3&quot; type=&quot;github&quot;&gt;&lt;diagram id=&quot;cWgktREh_h1Ou9hSuS4n&quot; name=&quot;Page-1&quot;&gt;7Vxbc9o6EP41zOQ8hPHd+DEQcjrT9kymyUzbp4xiC+zGWBxbJHB+/ZFsCV9kQAkGEZI8tFhYstj99tvVauWeOZot/07BPPyOAhj3DC1Y9szrnmHohmmQ/2jLqmixNLNomKZRwG4qG+6i/yBr1FjrIgpgVrsRIxTjaF5v9FGSQB/X2kCaopf6bRMU1586B1MoNNz5IBZbf0YBDovWga2V7V9gNA35k3WNfTMD/GbWkIUgQC+VJnPcM0cpQrj4NFuOYEyFx+VS9LvZ8O16YilMsEwHEOt/7h/+XV76Px+/GOirez92Lj2rGOYZxAv2i9ls8YqLIEWLJIB0FK1nDl/CCMO7OfDpty9E6aQtxLOYXOnk4ySK4xGKUZr3NcfWtTsekvbsCWI/ZDexZ8IUw+XGX6OvZUTABdEM4nRFbmEdTJeJleFKN7mcX0o1OQ5rCysqcrjuAIPGdD14KT3ygQnwFcK0W2TpxOSxwyB6Jh+n9ON3OEP5LMkk+b2GBpdRhsl8rngPMoFKp5ZxYpDhQojRJCLaIXNLyD8/nsvBg0UKHqM4wlRu13yMx7Q5avNZDf3DgFgEu0QpDtEUJSAel63DOkLKe74hNGcq/wMxXjHzBguM6qgpnkkftB0OZF5okfpwixLcdtikMAY4eq6P34YA1vUWRQmuwE1rws1soAiDdAox69YA0noeb8eWI4Otfyiy5il8jtAioxyUY408UJNXvjAoMWU+khYCOmyCSuSeLqYIctLVL9q/b/PL32y4/OJ6WbtasauusUgcVg6NLffpG0DLwHep9XVHZ37zrUDmt6DJJIMHgagrA9FvCAQMTw8z4jzs4dee/XZuKlGiS/gmlGAGF53IZzglHJoxrWc4RU9rF0/vXvtrreHWAjgBi3xyRSexnT5IbO3A65HwqU5D6zip4vV0o8XrWYdyerqU17uKUwhIDChLOn4Mohn1aifML8sI/6p8zrmlb9jssmQXenEActFl2aUSbW5gF8fmYd/psosuesARB8mHdC7y+vf2DIn24wcpt5Crkv7qVeJ/+oVX+wXLFMJTQ7VfGMjo/T6kfiFfv8/mMcQl5e90EQlKZyCOVyftI0qacF/FE9y5MHrh7uVYvoUjZSe37AxcvZP3K54UP638mK7TAwJR/zUozVdPmKN8DpLIf3qPcc32sKbEeQ3kfcfchXN6dQtT4scxTBUC2bZ2Idm03BrHXlr7QZuN7NlN6tblMgvHNBIuxoqRDGPkP5GmRYIj2h/hENawzhk9++jO2TGai7aWVOVxnbNhypDe51q905jMNpWrXSLbfxaLp5107xh7ronaydzymjp3G7osPNYWMt80krBtceCEszFQAY0uXf++y15ZFR95J8CQClhvFxndAvpKPXOCUa5IQB32J3m/ibwtWzV5W20LaqXkTQLiCnvrO9j70KG+5Uly/6ZQf99AfqB4i9ASieEHjCHI6MI1T6j3T8Kse4Z5c+ORPxWGPRC1pDpTxpnlNIKwXWbcocXastGapTSDzadZsatbIuS1R9UmKZjBT9sSbUu907QlVjxEmHP6cbac0hq2fhZNk6yfgQnEq35IJvnwjGIMpvBBr+tsTpkcpuNnIp+M67GuDC3/E5SRoIQaMZV25BOjBY8wvkVZhCOUkK8fEcZoVrnhKiZzIl9gatxDwK58mOSetCyu0qrY6KjSyjMpQzQSGC2c6YlqNQeHUqu4GXhxDYmMFz5G6V8inybBFS0GLEUfgCxc22ZFp7T9FmAi1yRvMTRTsEBD4N/2nKn7tqRpuVNwQpuImyi4ggC7xbB5256xldMsv1qvwl67rnaa6VaryT0HjtJscT/0BKF7tCoGQzpq38BSxwGg7TRh08zSywLQa2aDhZEODED3NJKAHWLIMSQx5O5bHLqX03LFSqkbENPVWYv085CgLjHB7Tejg1kUBIVyYBb9Bx7z8TQeqOQ/xx7SDP6WuIDV0bPOvfVWRVUvW2C1MYrQ+lojiOjELi8bPQ63BTawVVjJCazSpK1rE0Mfx7oGYkh4S3fbz8O6CvRtr+HzzJqBXXZkYZbROuzhLc5TbHH1qHxXUL6u2FETR8n7wA3VoK+DCQlJwapyA7OBjSgyhe0sq3FaaVcHz9QaICvm0C3kRBK5Txdn4qG9nRyiG26dQ/Y8c8BHbhATj0APTyHcKrbvlV1DOO+xo1RUIMVhl3e0UdYj5uKNRjc3KrJ+wlbZut5FWdbPsd6T5+jSC5iSXmDTiaPjxGqOmAM5o5WQs2sl1B5Q7b0SUhWnOaexMa3CjBxHqRmJG77nE60UqNoWrRjmQK9B3u7GkOyjGY5UFeZdCOKYuP3PAOWNAYpwaFL9lr8jrjN+QLxI6Ql+PwTJFAYPgGKSaBHMqE6YLjV6uDuju4T0O7FwQNme82ikZs9ZUK6l/EQsL/n8VG7nSwtPvXIdFbHNCRw3dWVjor0TTPulgb1T0s8R0/TS+lGbpvdEcjynNP2GKonKeUhCajVO6+gYGV9zNUY9wls/xCB2vIT+AovrkA8XeQr+a6A8Nea+92MdrmzFUgFMZZv94tr8d8tRyHfJcu7Opblmu/Wl+Z4bCZzVzGOxGs8snE9OS9puBmrjN0MQPH2r2TmYzWC7s6D7b/USGaMTozGOFglIvenlC3im51HoezhZIsu8eVe5rFM6leYqjycGW5IdOE9GaxczsHqEZfJDrHH9cIkNoQpZvSI9GY9X1iL7VOpk2VZTTaOyWP0x7w27nMepGRbeGao3lSdbM7x+t+16pCMfLfREr5wb9QPPZ2ZR4sMLnr8ULZyYCj6cr6aBU8YoQTBnVjVftX3W1IEhG82qVr3NkL0WkBkHM2RxO7auKzAhAn/wiQe++DiKGjQL+D2rRVFuN4oil+V7vQsbLN+Obo7/Bw==&lt;/diagram&gt;&lt;/mxfile&gt;" resource="https://app.diagrams.net/#Hnikomatsakis%2Fsalsa%2Fslot-no-more%2Fbook%2Fsrc%2Fderived-query-maybe-changed-after.drawio.svg"><defs/><g><rect x="165" y="200" width="660" height="650" fill="none" stroke="none" pointer-events="all"/><path d="M 165.23 199.73 C 165.23 199.73 165.23 199.73 165.23 199.73 M 165.23 199.73 C 165.23 199.73 165.23 199.73 165.23 199.73 M 164.97 206.13 C 166.34 204.87 168.36 202.14 170.22 200.09 M 164.97 206.13 C 166.25 204.22 167.99 202.51 170.22 200.09 M 164.71 212.53 C 166.67 209.72 171.2 207.23 175.86 199.7 M 164.71 212.53 C 169.48 208.4 172.89 203.86 175.86 199.7 M 165.11 218.17 C 170.63 213.64 172.28 211.29 180.85 200.06 M 165.11 218.17 C 169.6 212.12 174.46 208.15 180.85 200.06 M 164.85 224.57 C 168.58 216.95 173.21 214.4 186.5 199.66 M 164.85 224.57 C 173.43 216.42 179.94 206.46 186.5 199.66 M 165.24 230.21 C 172.79 221.47 179.06 215.28 191.48 200.02 M 165.24 230.21 C 170.7 223.79 177.98 215.82 191.48 200.02 M 164.98 236.61 C 174.47 225.84 185.81 216.71 197.13 199.63 M 164.98 236.61 C 177.08 222.29 190.5 208.49 197.13 199.63 M 164.72 243 C 174.04 234.93 182.74 224.59 202.11 199.99 M 164.72 243 C 176.87 229.26 188.23 216.2 202.11 199.99 M 165.11 248.65 C 183.34 229.09 198.37 209.77 207.1 200.35 M 165.11 248.65 C 176.03 235.95 186.85 223.85 207.1 200.35 M 164.85 255.05 C 173.37 242.36 186.5 232.18 212.74 199.95 M 164.85 255.05 C 176.17 243.72 185.13 231.93 212.74 199.95 M 165.24 260.69 C 186.63 240.48 205.25 214.38 217.73 200.31 M 165.24 260.69 C 184.63 238.9 203.52 216.78 217.73 200.31 M 164.98 267.09 C 182.26 244.59 200.83 223.71 223.37 199.92 M 164.98 267.09 C 177.91 252.73 189.17 239.2 223.37 199.92 M 164.72 273.48 C 186.4 248.2 208.88 222.83 228.36 200.28 M 164.72 273.48 C 189.69 245.87 215.07 217.72 228.36 200.28 M 165.12 279.13 C 188.15 249.66 213.68 221.25 234 199.88 M 165.12 279.13 C 183.06 258.48 198.26 240.93 234 199.88 M 164.85 285.53 C 185.84 261.03 210.18 231.69 238.99 200.24 M 164.85 285.53 C 182.92 265.42 200.32 245.13 238.99 200.24 M 165.25 291.17 C 191.58 258.48 221.47 226.76 244.63 199.85 M 165.25 291.17 C 189.03 263.89 213.61 237.75 244.63 199.85 M 164.99 297.57 C 184.92 277.53 202.78 254.77 249.62 200.21 M 164.99 297.57 C 187.84 272.28 210.49 247.82 249.62 200.21 M 164.73 303.96 C 185.63 284.82 202.01 259.78 255.26 199.81 M 164.73 303.96 C 182.93 284.2 201.53 261.45 255.26 199.81 M 165.12 309.61 C 183.24 289.21 205.82 268.07 260.25 200.17 M 165.12 309.61 C 191.07 281.48 215.64 252.91 260.25 200.17 M 164.86 316 C 191.65 283.79 222.53 249.95 265.89 199.78 M 164.86 316 C 187.2 290.4 208.49 263.13 265.89 199.78 M 165.25 321.65 C 204.16 277.36 243.3 234.88 270.88 200.14 M 165.25 321.65 C 196.09 286.04 225.93 251.65 270.88 200.14 M 164.99 328.05 C 208.47 277.44 250.6 229.71 276.52 199.74 M 164.99 328.05 C 194.67 292.37 225.64 256.73 276.52 199.74 M 164.73 334.44 C 199.54 294.67 234.29 255.99 281.51 200.11 M 164.73 334.44 C 190.05 306.79 215.01 275.77 281.51 200.11 M 165.13 340.09 C 210.53 289.44 252.05 238.71 287.15 199.71 M 165.13 340.09 C 204.15 295.5 243.6 249.96 287.15 199.71 M 164.86 346.48 C 196.93 308.84 226.71 272.21 292.14 200.07 M 164.86 346.48 C 215.07 291.12 264.56 234.83 292.14 200.07 M 165.26 352.13 C 212.28 299.73 257.19 244.5 297.78 199.68 M 165.26 352.13 C 211.99 296.15 258.64 242.7 297.78 199.68 M 165 358.53 C 209.5 308.6 253.42 255.73 302.77 200.04 M 165 358.53 C 213.91 302.5 263.09 245.73 302.77 200.04 M 164.74 364.92 C 210.79 310.37 258.94 253.73 308.41 199.64 M 164.74 364.92 C 197.22 327.79 231.13 289.94 308.41 199.64 M 165.13 370.57 C 204.24 327.86 242.09 281.19 313.4 200 M 165.13 370.57 C 215.98 309.54 269.11 247.62 313.4 200 M 164.87 376.96 C 213.28 317.89 264.65 256.2 318.39 200.36 M 164.87 376.96 C 199.64 336.24 234.3 296.09 318.39 200.36 M 165.26 382.61 C 213.27 329.38 259.27 276.83 324.03 199.97 M 165.26 382.61 C 204.69 339.84 243.74 294.82 324.03 199.97 M 165 389 C 205.95 341.2 246.7 294.78 329.02 200.33 M 165 389 C 210.09 336.68 257.49 281.89 329.02 200.33 M 164.74 395.4 C 212.77 343.13 259.29 288.13 334.66 199.93 M 164.74 395.4 C 219.54 332.54 273.81 269.7 334.66 199.93 M 165.14 401.05 C 206.19 355.03 244.44 309.73 339.65 200.29 M 165.14 401.05 C 230.8 326.83 295.53 252.3 339.65 200.29 M 164.87 407.44 C 227.13 336.42 288.2 265.12 345.29 199.9 M 164.87 407.44 C 224.18 339.43 284.21 270.08 345.29 199.9 M 165.27 413.09 C 214.09 356.09 262.84 299.79 350.28 200.26 M 165.27 413.09 C 224.1 345.93 283.38 278.36 350.28 200.26 M 165.01 419.48 C 216 359.15 267.39 302.36 355.92 199.86 M 165.01 419.48 C 219.84 357.66 273.62 295.7 355.92 199.86 M 164.75 425.88 C 210.86 374.2 256.95 322.31 360.91 200.22 M 164.75 425.88 C 240.18 337.74 315.36 252.18 360.91 200.22 M 165.14 431.52 C 225.23 365.64 283.96 298.12 366.55 199.83 M 165.14 431.52 C 243.43 340.97 323.47 248.61 366.55 199.83 M 164.88 437.92 C 213.28 380.7 261.05 325.79 371.54 200.19 M 164.88 437.92 C 221.61 370.51 278.49 305.82 371.54 200.19 M 165.27 443.57 C 231.46 370.88 296.07 295.64 377.18 199.79 M 165.27 443.57 C 239.98 355.88 315.45 269.17 377.18 199.79 M 165.01 449.96 C 220.41 390.21 271.9 328.79 382.17 200.15 M 165.01 449.96 C 239.83 362.87 315.21 277.29 382.17 200.15 M 164.75 456.36 C 222.4 386.93 281.03 316.92 387.81 199.76 M 164.75 456.36 C 230.34 382.47 295.29 308.74 387.81 199.76 M 165.15 462 C 233.27 383.56 299.33 305.69 392.8 200.12 M 165.15 462 C 252.92 360.05 339.89 258.7 392.8 200.12 M 164.88 468.4 C 250.85 369.59 338.26 267.5 398.44 199.73 M 164.88 468.4 C 248.73 371.07 332.78 274.79 398.44 199.73 M 165.28 474.05 C 229.81 399.37 294.23 323.99 403.43 200.09 M 165.28 474.05 C 222.44 407.29 280.2 341.34 403.43 200.09 M 165.02 480.44 C 237.84 395.81 311.88 313.2 409.07 199.69 M 165.02 480.44 C 257.08 375.44 348.89 269.35 409.07 199.69 M 164.76 486.84 C 242.73 395.52 321.38 307.54 414.06 200.05 M 164.76 486.84 C 262.66 374.17 360.77 261.65 414.06 200.05 M 165.15 492.48 C 253.97 391.39 341.12 290.72 419.7 199.66 M 165.15 492.48 C 265.14 376.08 366.26 260.3 419.7 199.66 M 164.89 498.88 C 220.11 436.84 277.23 373.75 424.69 200.02 M 164.89 498.88 C 260.36 389.94 354.54 282.11 424.69 200.02 M 165.28 504.52 C 244.45 410.79 325.69 318.7 429.68 200.38 M 165.28 504.52 C 249.7 406.68 333.96 310.36 429.68 200.38 M 165.02 510.92 C 225.51 441.76 286.9 370.82 435.32 199.98 M 165.02 510.92 C 253.24 410.82 342.04 308.56 435.32 199.98 M 164.76 517.32 C 274.17 391.17 383.22 265.96 440.31 200.34 M 164.76 517.32 C 243.09 428.47 320.46 338.96 440.31 200.34 M 165.15 522.96 C 239.09 436.25 312.84 350.79 445.95 199.95 M 165.15 522.96 C 248.93 427.99 331.23 332.24 445.95 199.95 M 164.89 529.36 C 255.87 425.11 345.9 321.35 450.94 200.31 M 164.89 529.36 C 244.79 439.07 324.53 347.86 450.94 200.31 M 165.29 535 C 252.17 435.79 336.54 338.54 456.58 199.91 M 165.29 535 C 259.97 426.15 354.85 315.84 456.58 199.91 M 165.03 541.4 C 225.42 471.67 285.28 403.06 461.57 200.27 M 165.03 541.4 C 263.51 429.85 361.14 318.27 461.57 200.27 M 164.77 547.8 C 265.61 432.86 366.73 316.18 467.21 199.88 M 164.77 547.8 C 262.88 436.41 360.79 322.93 467.21 199.88 M 165.16 553.44 C 243.96 463.14 323.46 371.84 472.2 200.24 M 165.16 553.44 C 261.34 442.05 356.93 332.28 472.2 200.24 M 164.9 559.84 C 245.93 466.11 329.3 372.83 477.84 199.84 M 164.9 559.84 C 237.11 477.21 309.72 394.11 477.84 199.84 M 165.29 565.48 C 272.36 440.96 379.67 317.35 482.83 200.2 M 165.29 565.48 C 275.17 439.11 385.13 313.35 482.83 200.2 M 165.03 571.88 C 235.24 490.85 304.62 411.07 488.47 199.81 M 165.03 571.88 C 241.38 482.89 318.01 395.26 488.47 199.81 M 164.77 578.28 C 281.94 442.77 399.77 307.28 493.46 200.17 M 164.77 578.28 C 292.99 430.51 421.27 283.91 493.46 200.17 M 165.16 583.92 C 295.16 437.11 423.53 289.53 499.1 199.78 M 165.16 583.92 C 290.87 441.11 415.78 296.96 499.1 199.78 M 164.9 590.32 C 258.84 480.34 354 371.59 504.09 200.14 M 164.9 590.32 C 247.02 493.92 330.8 397.51 504.09 200.14 M 165.3 595.96 C 239.35 510.11 313.83 425.49 509.73 199.74 M 165.3 595.96 C 275.27 468.24 385.38 341.26 509.73 199.74 M 165.04 602.36 C 283.55 466.54 400.91 329.31 514.72 200.1 M 165.04 602.36 C 293.01 454.31 420.98 307.01 514.72 200.1 M 164.77 608.76 C 239.81 522.61 313.67 437.49 520.36 199.71 M 164.77 608.76 C 304.19 446.59 444.28 285.38 520.36 199.71 M 165.17 614.4 C 237.64 528.04 311.85 443.95 525.35 200.07 M 165.17 614.4 C 253.22 513.72 339.83 413.18 525.35 200.07 M 164.91 620.8 C 286.13 481.26 407.24 342.65 530.99 199.67 M 164.91 620.8 C 296.45 467.34 428.53 314.7 530.99 199.67 M 165.3 626.44 C 246.57 530.9 330.34 434.76 535.98 200.03 M 165.3 626.44 C 244.52 536.96 321.36 448.34 535.98 200.03 M 165.04 632.84 C 313.09 462.43 458.83 294.86 541.62 199.64 M 165.04 632.84 C 250.74 535.18 336.55 436.44 541.62 199.64 M 164.78 639.24 C 311.84 468.88 460.96 298.83 546.61 200 M 164.78 639.24 C 258.29 531.36 351.77 423.87 546.61 200 M 165.17 644.88 C 266.32 527.3 368.49 410.64 551.59 200.36 M 165.17 644.88 C 260.73 536.18 356.01 425.91 551.59 200.36 M 164.91 651.28 C 302.75 495.53 438.8 339.55 557.24 199.96 M 164.91 651.28 C 311.4 480.7 458.64 311.01 557.24 199.96 M 165.31 656.92 C 275.99 530.36 384.52 403.16 562.22 200.32 M 165.31 656.92 C 287.73 514.22 411.61 372.12 562.22 200.32 M 165.05 663.32 C 246.49 567.91 329.58 471.94 567.87 199.93 M 165.05 663.32 C 272.94 540.36 379.63 416.84 567.87 199.93 M 164.78 669.72 C 250.72 569.37 338.07 468.61 572.85 200.29 M 164.78 669.72 C 312.14 499.16 459.64 329.15 572.85 200.29 M 165.18 675.36 C 302.46 518.27 436.69 364.21 578.5 199.89 M 165.18 675.36 C 260.94 565.89 354.91 457.21 578.5 199.89 M 164.92 681.76 C 297.97 530.6 431.05 376.46 583.48 200.25 M 164.92 681.76 C 325.66 496.62 485.23 312.59 583.48 200.25 M 165.31 687.4 C 304.27 526.86 444.08 364.88 589.13 199.86 M 165.31 687.4 C 258.26 580.54 349.94 474.32 589.13 199.86 M 165.05 693.8 C 286.29 551.51 408.62 411.51 594.11 200.22 M 165.05 693.8 C 333.41 498.22 503.26 302.52 594.11 200.22 M 164.79 700.2 C 292.68 554.77 420.45 409.55 599.76 199.82 M 164.79 700.2 C 263.45 585.79 363.9 470.37 599.76 199.82 M 165.18 705.84 C 284.57 569.06 402.32 434.19 604.74 200.19 M 165.18 705.84 C 287.31 566.34 408.44 427.75 604.74 200.19 M 164.92 712.24 C 316.53 537.98 470.2 362.51 610.39 199.79 M 164.92 712.24 C 303.12 554.75 441.44 394.95 610.39 199.79 M 165.32 717.88 C 290.17 573.64 413.9 431.8 615.37 200.15 M 165.32 717.88 C 316.13 546.1 466.57 373.94 615.37 200.15 M 165.06 724.28 C 287.4 582.78 409.89 441.17 621.02 199.76 M 165.06 724.28 C 323.3 544.4 479.97 364.93 621.02 199.76 M 164.79 730.68 C 338.55 532 511.36 334.21 626 200.12 M 164.79 730.68 C 316.98 557.79 468.23 383.62 626 200.12 M 165.19 736.32 C 313.65 568.88 459.76 400.46 631.65 199.72 M 165.19 736.32 C 284 596.61 403.93 458.74 631.65 199.72 M 164.93 742.72 C 301.96 586.69 436.33 431.16 636.63 200.08 M 164.93 742.72 C 290.58 598.97 413.95 456.21 636.63 200.08 M 165.32 748.36 C 348.21 539.15 529.27 330.5 642.28 199.69 M 165.32 748.36 C 275.45 622.94 384.51 498.08 642.28 199.69 M 165.06 754.76 C 352.69 540.27 540.59 322.74 647.26 200.05 M 165.06 754.76 C 349.5 543.26 532.8 332.71 647.26 200.05 M 164.8 761.16 C 275.53 637.31 383.74 512.29 652.91 199.65 M 164.8 761.16 C 296.01 610.42 427.52 458.42 652.91 199.65 M 165.19 766.8 C 323.92 586.09 481.27 404.92 657.89 200.01 M 165.19 766.8 C 346.14 559.31 527.29 351.21 657.89 200.01 M 164.93 773.2 C 291.45 627.03 418.98 481.75 662.88 200.37 M 164.93 773.2 C 287.44 633.32 409.95 492.72 662.88 200.37 M 165.33 778.84 C 348.42 567.74 531.6 356.87 668.52 199.98 M 165.33 778.84 C 350.47 567.48 532.55 357.29 668.52 199.98 M 165.07 785.24 C 341.65 584.71 517.63 382.99 673.51 200.34 M 165.07 785.24 C 295.12 635.04 426.78 483.65 673.51 200.34 M 164.8 791.64 C 307.05 628.95 447.5 468.22 679.15 199.94 M 164.8 791.64 C 341.07 588.77 515.45 388.43 679.15 199.94 M 165.2 797.28 C 277.26 666.14 390.26 535.58 684.14 200.3 M 165.2 797.28 C 300.39 644.24 434.75 488.92 684.14 200.3 M 164.94 803.68 C 297.91 655.53 428.57 505.17 689.78 199.91 M 164.94 803.68 C 331.61 613.13 497.6 421.79 689.78 199.91 M 164.68 810.07 C 299.8 655.2 435.64 500.36 694.77 200.27 M 164.68 810.07 C 288.46 665.01 414.99 520.39 694.77 200.27 M 165.07 815.72 C 351.5 597.84 539.1 381.15 700.41 199.87 M 165.07 815.72 C 356.99 592.34 550.02 370.03 700.41 199.87 M 164.81 822.12 C 321.34 637.6 480.25 455.1 705.4 200.23 M 164.81 822.12 C 288.93 678.82 413.44 535.43 705.4 200.23 M 165.2 827.76 C 327.68 641.25 487.38 456.21 711.04 199.84 M 165.2 827.76 C 372.99 588.7 579.4 350.82 711.04 199.84 M 164.94 834.16 C 290.44 687.64 417.99 542.73 716.03 200.2 M 164.94 834.16 C 339.05 635.54 513.02 435.36 716.03 200.2 M 164.68 840.55 C 307.46 677.94 448.12 517.22 721.67 199.81 M 164.68 840.55 C 341.78 637.61 520.25 431.98 721.67 199.81 M 165.07 846.2 C 285.04 709.3 403.43 574.01 726.66 200.17 M 165.07 846.2 C 286.82 702.73 409.7 560.87 726.66 200.17 M 166.13 851.09 C 310.73 686.59 453.38 522.27 732.3 199.77 M 166.13 851.09 C 382.77 604.04 599.38 354.69 732.3 199.77 M 171.77 850.69 C 307.81 690.15 446.35 530.87 737.29 200.13 M 171.77 850.69 C 346.35 653.01 520.21 452.95 737.29 200.13 M 176.76 851.05 C 388.7 603.58 602.49 357.8 742.93 199.74 M 176.76 851.05 C 291.33 716.32 407.4 582.78 742.93 199.74 M 182.4 850.66 C 401.43 594.35 624.46 339.01 747.92 200.1 M 182.4 850.66 C 404.52 599.04 625.22 345.29 747.92 200.1 M 187.39 851.02 C 396.57 611.23 607.37 368.32 753.56 199.7 M 187.39 851.02 C 341.69 675.88 493.17 501.3 753.56 199.7 M 192.37 851.38 C 402.9 607.95 615.68 364.49 758.55 200.06 M 192.37 851.38 C 372.42 642.59 555.03 433.21 758.55 200.06 M 198.02 850.98 C 330.23 702.38 461.84 551 764.19 199.67 M 198.02 850.98 C 367.67 655.08 538.05 459.77 764.19 199.67 M 203 851.34 C 412.78 614.08 619.52 377.09 769.18 200.03 M 203 851.34 C 317.69 720.26 432.79 587.73 769.18 200.03 M 208.65 850.95 C 326.27 717.34 442.26 583.62 774.82 199.63 M 208.65 850.95 C 363.13 674.15 516.6 497.65 774.82 199.63 M 213.63 851.31 C 436.34 594.74 661.28 338.07 779.81 199.99 M 213.63 851.31 C 422.77 608.01 633.69 365.12 779.81 199.99 M 219.28 850.91 C 339.74 713.78 456.75 578.93 784.8 200.35 M 219.28 850.91 C 441.2 594.86 663.62 338.25 784.8 200.35 M 224.26 851.27 C 422.7 621.08 623.67 390.16 790.44 199.96 M 224.26 851.27 C 348.69 706.54 472.19 563.91 790.44 199.96 M 229.91 850.88 C 343.57 720.22 458.72 588.23 795.43 200.32 M 229.91 850.88 C 414.46 638.71 599.26 426.78 795.43 200.32 M 234.89 851.24 C 455.29 599.45 673.56 347.6 801.07 199.92 M 234.89 851.24 C 442.2 607.78 652.7 366.17 801.07 199.92 M 240.54 850.84 C 358.13 713.03 478.83 576.14 806.06 200.28 M 240.54 850.84 C 453.39 610.58 663.49 368.81 806.06 200.28 M 245.52 851.2 C 406.45 663.8 568.97 477.71 811.7 199.89 M 245.52 851.2 C 417.38 656.74 588.31 460.16 811.7 199.89 M 251.17 850.81 C 428.52 644.87 606.08 440.39 816.69 200.25 M 251.17 850.81 C 406.06 672.2 561.07 494.03 816.69 200.25 M 256.15 851.17 C 435.35 644.24 614.62 437.21 822.33 199.86 M 256.15 851.17 C 440.78 638.2 627.07 424.33 822.33 199.86 M 261.8 850.77 C 400.92 691.1 537.53 531.64 826.66 200.97 M 261.8 850.77 C 387.28 706.63 512.73 562.56 826.66 200.97 M 266.78 851.14 C 482.75 599.53 699.65 349.5 826.4 207.37 M 266.78 851.14 C 384.59 713.63 503.19 576.94 826.4 207.37 M 272.43 850.74 C 487.89 601.01 703.79 350.56 826.14 213.77 M 272.43 850.74 C 408.76 692.22 546.16 534.12 826.14 213.77 M 277.41 851.1 C 426.37 681.17 572.82 511.49 826.53 219.41 M 277.41 851.1 C 471.74 624.96 667.13 400.4 826.53 219.41 M 283.06 850.71 C 394.29 723.34 505.41 594.66 826.27 225.81 M 283.06 850.71 C 407.03 708.89 532.08 565.93 826.27 225.81 M 288.04 851.07 C 493.87 613.06 700.01 375.29 826.67 231.45 M 288.04 851.07 C 402.14 720.67 515.89 590.03 826.67 231.45 M 293.69 850.67 C 500.92 612.43 706.26 376.14 826.41 237.85 M 293.69 850.67 C 446.62 675.26 598.67 500.46 826.41 237.85 M 298.67 851.03 C 409.64 720.29 523 589.76 826.15 244.25 M 298.67 851.03 C 438.18 691.43 579.54 529.02 826.15 244.25 M 303.66 851.39 C 456.84 676.33 610.71 498.57 826.54 249.89 M 303.66 851.39 C 505.77 622.95 704.87 393.26 826.54 249.89 M 309.3 851 C 464.22 674.81 618.59 497.75 826.28 256.29 M 309.3 851 C 444.37 697.22 579.41 542.55 826.28 256.29 M 314.29 851.36 C 492.09 648.78 669.37 443.85 826.67 261.93 M 314.29 851.36 C 480.39 661.5 647.16 470.48 826.67 261.93 M 319.93 850.96 C 436.55 718.47 553.82 583.99 826.41 268.33 M 319.93 850.96 C 508.99 636.39 697.76 419.26 826.41 268.33 M 324.92 851.32 C 431.15 727.06 537.32 604.52 826.15 274.72 M 324.92 851.32 C 506.46 641.18 689.32 430.75 826.15 274.72 M 330.56 850.93 C 458.89 702.66 588.62 554.83 826.54 280.37 M 330.56 850.93 C 440.89 725.04 550.93 597.81 826.54 280.37 M 335.55 851.29 C 448.86 723.97 559.59 596.79 826.28 286.77 M 335.55 851.29 C 435.82 736.66 534.86 623.74 826.28 286.77 M 341.19 850.89 C 480.76 686.77 622.78 523.85 826.68 292.41 M 341.19 850.89 C 476.26 690.9 613.62 533.5 826.68 292.41 M 346.18 851.25 C 523.08 650.88 698.27 448.47 826.42 298.81 M 346.18 851.25 C 522.4 648.77 698.85 445.91 826.42 298.81 M 351.82 850.86 C 490.47 692.71 628.57 533.76 826.15 305.2 M 351.82 850.86 C 473.51 709.45 596.58 566.93 826.15 305.2 M 356.81 851.22 C 484.38 701.86 612.34 554.77 826.55 310.85 M 356.81 851.22 C 473.16 716.5 590.98 580.87 826.55 310.85 M 362.45 850.82 C 491.8 703.93 620.41 556.23 826.29 317.24 M 362.45 850.82 C 506.29 685.09 650.91 519.19 826.29 317.24 M 367.44 851.18 C 482.71 718.72 596.64 588.22 826.68 322.89 M 367.44 851.18 C 495.17 704.89 621.52 559.44 826.68 322.89 M 373.08 850.79 C 519.85 683.17 664.92 514.5 826.42 329.29 M 373.08 850.79 C 479.55 729.52 585.65 607.82 826.42 329.29 M 378.07 851.15 C 485.52 725.93 593.43 602.39 826.16 335.68 M 378.07 851.15 C 518.36 689.89 658.29 528.2 826.16 335.68 M 383.71 850.76 C 543.48 665.5 702.29 482.38 826.55 341.33 M 383.71 850.76 C 502.57 713.22 621.74 575.56 826.55 341.33 M 388.7 851.12 C 504.16 718 619.13 584.9 826.29 347.72 M 388.7 851.12 C 509.78 712.43 629.88 573.55 826.29 347.72 M 394.34 850.72 C 555.65 664.77 717.62 477.96 826.69 353.37 M 394.34 850.72 C 526.97 700.47 658.24 549.35 826.69 353.37 M 399.33 851.08 C 562.24 666.08 723.99 479.84 826.43 359.77 M 399.33 851.08 C 537.63 694.7 674.77 536.76 826.43 359.77 M 404.97 850.69 C 496.57 744.49 587.75 639.92 826.16 366.16 M 404.97 850.69 C 516.77 721.05 630.49 591.16 826.16 366.16 M 409.96 851.05 C 540.53 703.09 669.61 554.34 826.56 371.81 M 409.96 851.05 C 514.49 728.86 620.2 607.99 826.56 371.81 M 415.6 850.65 C 571.56 670.06 726.7 491.98 826.3 378.2 M 415.6 850.65 C 553.84 691.43 691.42 533.51 826.3 378.2 M 420.59 851.01 C 515.63 740.16 611.98 628.79 826.69 383.85 M 420.59 851.01 C 548.36 703.26 675.74 555.85 826.69 383.85 M 425.58 851.37 C 512.81 748.11 600.83 647.29 826.43 390.24 M 425.58 851.37 C 554.29 703.26 682.7 555.36 826.43 390.24 M 431.22 850.98 C 584.7 672.91 740.57 494.57 826.17 396.64 M 431.22 850.98 C 585.6 672.17 741.87 492.4 826.17 396.64 M 436.21 851.34 C 574.63 690.24 713.47 531.43 826.56 402.29 M 436.21 851.34 C 547.42 722.91 659.83 593.59 826.56 402.29 M 441.85 850.94 C 546.05 732.97 648.96 615.73 826.3 408.68 M 441.85 850.94 C 530.66 749.18 618.5 648.63 826.3 408.68 M 446.84 851.3 C 540.14 742.94 635.85 633.25 826.7 414.33 M 446.84 851.3 C 573.93 704.73 702.07 557.73 826.7 414.33 M 452.48 850.91 C 530.64 759.25 607.78 669.48 826.44 420.72 M 452.48 850.91 C 599.94 683.39 745.99 515.11 826.44 420.72 M 457.47 851.27 C 545.17 753.21 630.08 653.14 826.17 427.12 M 457.47 851.27 C 539.19 756.5 620.21 662.71 826.17 427.12 M 463.11 850.87 C 541.97 759.67 622.41 667.2 826.57 432.77 M 463.11 850.87 C 572.26 724.16 682.08 598.53 826.57 432.77 M 468.1 851.23 C 569.76 735.6 670.7 617.71 826.31 439.16 M 468.1 851.23 C 585.56 715.35 703.97 579.31 826.31 439.16 M 473.74 850.84 C 599.18 703.73 727.22 557.54 826.7 444.81 M 473.74 850.84 C 551.91 759.78 631.33 669.12 826.7 444.81 M 478.73 851.2 C 562.47 756.62 644.71 661.05 826.44 451.2 M 478.73 851.2 C 582.92 731.24 687.3 611.01 826.44 451.2 M 484.37 850.81 C 603.76 714.42 723.27 578.02 826.18 457.6 M 484.37 850.81 C 576.66 744.43 668.6 639.09 826.18 457.6 M 489.36 851.17 C 620.77 700.23 752.12 549.66 826.57 463.24 M 489.36 851.17 C 560.64 768.86 631.14 687.57 826.57 463.24 M 495 850.77 C 609.95 716.29 725.25 583.73 826.31 469.64 M 495 850.77 C 621.41 703.84 748.36 558.16 826.31 469.64 M 499.99 851.13 C 594.58 739.99 689.98 630.19 826.71 475.29 M 499.99 851.13 C 626.9 705.39 753.19 560.32 826.71 475.29 M 505.63 850.74 C 631.58 703.36 759.73 556.74 826.45 481.68 M 505.63 850.74 C 623.73 715.04 740.86 580.75 826.45 481.68 M 510.62 851.1 C 619.45 722.09 730.48 595.4 826.18 488.08 M 510.62 851.1 C 634.06 709.6 758.38 567.18 826.18 488.08 M 516.26 850.7 C 633.61 717.02 749.04 583.76 826.58 493.72 M 516.26 850.7 C 594.7 759.68 673.45 669.56 826.58 493.72 M 521.25 851.06 C 592.14 772.6 661.65 693.31 826.32 500.12 M 521.25 851.06 C 593.87 765.49 667.15 681.8 826.32 500.12 M 526.89 850.67 C 592.77 772.12 659.04 696.78 826.71 505.77 M 526.89 850.67 C 624.9 735.9 724.46 621.55 826.71 505.77 M 531.88 851.03 C 602.94 769.27 671.73 687.06 826.45 512.16 M 531.88 851.03 C 645.18 719.69 758.28 589.79 826.45 512.16 M 536.87 851.39 C 633.68 737.72 731.22 625.06 826.19 518.56 M 536.87 851.39 C 631.7 743.68 724.22 636.22 826.19 518.56 M 542.51 850.99 C 646.78 731.69 748.53 613.27 826.58 524.2 M 542.51 850.99 C 635.24 745.35 726.67 640.15 826.58 524.2 M 547.5 851.35 C 650.49 730.68 754.08 611.17 826.32 530.6 M 547.5 851.35 C 602.21 787.09 658.09 723.01 826.32 530.6 M 553.14 850.96 C 617.6 777.1 680.4 703.24 826.72 536.24 M 553.14 850.96 C 661.8 725.36 771.73 598.85 826.72 536.24 M 558.13 851.32 C 625.05 777.52 689.26 703.72 826.45 542.64 M 558.13 851.32 C 659.77 734.49 761.12 618.09 826.45 542.64 M 563.77 850.92 C 648.63 749.12 737.46 650.24 826.19 549.04 M 563.77 850.92 C 667.43 729.95 772.46 609.68 826.19 549.04 M 568.76 851.28 C 648.6 761.78 724.95 672.62 826.59 554.68 M 568.76 851.28 C 649.48 758.85 730.2 665.77 826.59 554.68 M 574.4 850.89 C 624.83 791.48 676.44 731.66 826.33 561.08 M 574.4 850.89 C 664.62 750.08 752.2 648.64 826.33 561.08 M 579.39 851.25 C 674.57 742.91 768.38 633.85 826.72 566.72 M 579.39 851.25 C 652.84 763.15 729.03 676.51 826.72 566.72 M 585.03 850.85 C 644.03 780.42 706.15 709.04 826.46 573.12 M 585.03 850.85 C 663.22 759.6 741.49 667.97 826.46 573.12 M 590.02 851.22 C 674.5 753.78 758.66 655.47 826.2 579.52 M 590.02 851.22 C 661.57 770.04 733.08 687.59 826.2 579.52 M 595.66 850.82 C 675.56 762.58 750.57 673.65 826.59 585.16 M 595.66 850.82 C 654.25 786.17 710.83 721.14 826.59 585.16 M 600.65 851.18 C 685.25 755.93 766.12 663.65 826.33 591.56 M 600.65 851.18 C 666.83 776.93 732.44 701.15 826.33 591.56 M 606.29 850.79 C 686.62 759.55 764.94 670.46 826.73 597.2 M 606.29 850.79 C 665.67 783.07 724.81 713.82 826.73 597.2 M 611.28 851.15 C 696.7 755.08 779.37 658.64 826.46 603.6 M 611.28 851.15 C 676.55 774.83 742.12 699.85 826.46 603.6 M 616.92 850.75 C 680.11 781.04 740.12 709.38 826.2 610 M 616.92 850.75 C 658.29 800.98 700.45 752.03 826.2 610 M 621.91 851.11 C 680 785.69 739.86 718.17 826.6 615.64 M 621.91 851.11 C 667.01 798.19 712.3 746.47 826.6 615.64 M 627.55 850.72 C 700.95 767.7 775.3 684.05 826.34 622.04 M 627.55 850.72 C 684.64 783.95 742.19 716.96 826.34 622.04 M 632.54 851.08 C 698.91 772.01 768.07 692.61 826.73 627.68 M 632.54 851.08 C 701.78 770.42 771.84 688.87 826.73 627.68 M 638.18 850.68 C 686.35 795.13 735.26 738.69 826.47 634.08 M 638.18 850.68 C 681.32 801.72 724.25 752.75 826.47 634.08 M 643.17 851.04 C 708.03 777.22 770.78 703.94 826.21 640.48 M 643.17 851.04 C 694.73 791.39 747.31 729.87 826.21 640.48 M 648.81 850.65 C 704.72 789.26 760.76 723.42 826.6 646.12 M 648.81 850.65 C 711.33 779.84 773.32 708.22 826.6 646.12 M 653.8 851.01 C 704.01 794.89 752.32 734.86 826.34 652.52 M 653.8 851.01 C 689.7 810.75 725.66 769.25 826.34 652.52 M 658.78 851.37 C 709.04 791.2 763.46 730.65 826.74 658.16 M 658.78 851.37 C 698.44 806.08 737.92 760.4 826.74 658.16 M 664.43 850.97 C 703.88 804.19 745.45 757.3 826.47 664.56 M 664.43 850.97 C 723.04 780.57 783.96 711.97 826.47 664.56 M 669.41 851.33 C 718.16 794.05 768.57 740.41 826.21 670.96 M 669.41 851.33 C 718.52 794.93 766.44 739.94 826.21 670.96 M 675.06 850.94 C 730.65 786.2 784.81 722.59 826.61 676.6 M 675.06 850.94 C 718.16 804.88 759.67 755.2 826.61 676.6 M 680.04 851.3 C 711.58 815.15 743.19 778.26 826.35 683 M 680.04 851.3 C 714.52 810.98 748.47 772.52 826.35 683 M 685.69 850.9 C 714.91 819.95 743.57 783.86 826.74 688.64 M 685.69 850.9 C 724.2 809.01 759.48 766.13 826.74 688.64 M 690.67 851.26 C 746.31 786.77 797.13 726.79 826.48 695.04 M 690.67 851.26 C 736.23 799.48 779.53 748.4 826.48 695.04 M 696.32 850.87 C 724.17 817.44 754.66 786.27 826.22 701.44 M 696.32 850.87 C 735.19 805.49 776.15 759.25 826.22 701.44 M 701.31 851.23 C 734.45 813.8 765.63 773.59 826.61 707.08 M 701.31 851.23 C 744.66 803.98 787.35 754.68 826.61 707.08 M 706.95 850.84 C 742.37 807.02 775.46 769.47 826.35 713.48 M 706.95 850.84 C 736.84 818.7 765.59 784.17 826.35 713.48 M 711.94 851.2 C 744.87 811.88 780.04 775.44 826.75 719.12 M 711.94 851.2 C 743.71 816.64 775.52 779.47 826.75 719.12 M 717.58 850.8 C 739.01 826.43 761.33 802.33 826.48 725.52 M 717.58 850.8 C 753.64 807.15 790.78 765.14 826.48 725.52 M 722.57 851.16 C 745.13 825.35 767.3 799.21 826.22 731.92 M 722.57 851.16 C 759.6 807.62 796.65 765.75 826.22 731.92 M 728.21 850.77 C 762.38 813.54 797.5 775.83 826.62 737.56 M 728.21 850.77 C 758.24 815.98 787.21 780.98 826.62 737.56 M 733.2 851.13 C 755.19 828.35 773.6 802.6 826.36 743.96 M 733.2 851.13 C 762.55 819.59 789.94 787.84 826.36 743.96 M 738.84 850.73 C 773.85 812.36 803.74 774.15 826.75 749.6 M 738.84 850.73 C 765.32 820.77 793.4 790.23 826.75 749.6 M 743.83 851.09 C 774.72 818.03 804.55 781.73 826.49 756 M 743.83 851.09 C 761.38 830.59 778.54 810.61 826.49 756 M 749.47 850.7 C 767.3 828.76 782.01 812.47 826.23 762.4 M 749.47 850.7 C 774.66 821.44 800.03 793.59 826.23 762.4 M 754.46 851.06 C 777.33 822.86 801.16 798.49 826.62 768.04 M 754.46 851.06 C 775.31 828.26 795.91 804.99 826.62 768.04 M 760.1 850.66 C 776.58 830.86 796.49 808.91 826.36 774.44 M 760.1 850.66 C 776.03 831.35 791.97 814.43 826.36 774.44 M 765.09 851.02 C 779.4 830.88 795.99 815.46 826.76 780.08 M 765.09 851.02 C 784.87 829.6 803.58 806.87 826.76 780.08 M 770.07 851.38 C 789.14 826.53 810.26 807.04 826.49 786.48 M 770.07 851.38 C 786.79 831.52 804.52 812.32 826.49 786.48 M 775.72 850.99 C 794.93 827.31 815.29 804.97 826.23 792.88 M 775.72 850.99 C 793.29 829.98 811.69 809.63 826.23 792.88 M 780.7 851.35 C 798.26 832.36 813.2 812.78 826.63 798.52 M 780.7 851.35 C 794.09 837.21 807.06 822.48 826.63 798.52 M 786.35 850.95 C 800.6 833.93 817.67 814.71 826.37 804.92 M 786.35 850.95 C 799.16 835.15 813.53 818.44 826.37 804.92 M 791.33 851.31 C 800.91 843 805.96 834.05 826.1 811.31 M 791.33 851.31 C 802.82 837.88 813.82 825.13 826.1 811.31 M 796.98 850.92 C 806.77 836.77 818.37 825.68 826.5 816.96 M 796.98 850.92 C 803.4 842.52 809.43 836.74 826.5 816.96 M 801.96 851.28 C 810.76 842.48 819.61 828.31 826.24 823.36 M 801.96 851.28 C 808.49 843.06 815.87 836.67 826.24 823.36 M 807.61 850.89 C 816.3 842.38 821.28 836.38 826.63 829 M 807.61 850.89 C 813.49 844.16 821.07 836.23 826.63 829 M 812.59 851.25 C 816.73 848.97 817.88 842.36 826.37 835.4 M 812.59 851.25 C 818.87 845.18 823.72 839.29 826.37 835.4 M 818.24 850.85 C 819.95 848.01 822.95 846.13 826.11 841.79 M 818.24 850.85 C 819.48 848.91 821.62 847.49 826.11 841.79 M 823.22 851.21 C 824.17 850.08 825.9 848 826.5 847.44 M 823.22 851.21 C 824.16 850.15 825.35 848.48 826.5 847.44" fill="none" stroke="#e4d7eb" stroke-linejoin="round" stroke-linecap="round" stroke-miterlimit="10" pointer-events="all"/><path d="M 165 200 C 297.58 197.36 429.71 198.01 825 200 M 165 200 C 362.13 199.18 559.12 199.56 825 200 M 825 200 C 824.19 379.8 823.82 558.39 825 850 M 825 200 C 825.45 420.38 824.82 640.28 825 850 M 825 850 C 649.62 852.53 474.18 851.58 165 850 M 825 850 C 692.11 847.26 558.73 847.12 165 850 M 165 850 C 165.03 612.72 165.41 375.7 165 200 M 165 850 C 167.46 663.4 167.39 475.76 165 200" fill="none" stroke="rgb(0, 0, 0)" stroke-linejoin="round" stroke-linecap="round" stroke-miterlimit="10" pointer-events="all"/><path d="M 95 130 L 95 203.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 95 208.88 L 91.5 201.88 L 95 203.63 L 98.5 201.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 170px; margin-left: 95px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><div>Memo with value exists:</div><div>last verified in Rv with durability D<br /></div></div></div></div></foreignObject><text x="95" y="173" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Memo with value exists:...</text></switch></g><path d="M 155 110 L 285 110 L 285 205.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 210.88 L 281.5 203.88 L 285 205.63 L 288.5 203.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 110px; margin-left: 252px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><div>No previous memo, <br /></div><div>or memo has no value<br /></div></div></div></div></foreignObject><text x="252" y="113" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">No previous memo,...</text></switch></g><rect x="35" y="90" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 110px; margin-left: 36px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Load memo_map[K]<br /></div></div></div></div></foreignObject><text x="95" y="114" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Load memo_map[K]&#xa;</text></switch></g><path d="M 345 222 L 475 222 L 475 146.37" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 475 141.12 L 478.5 148.12 L 475 146.37 L 471.5 148.12 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 222px; margin-left: 382px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><div>Already</div><div>claimed<br /></div></div></div></div></foreignObject><text x="382" y="225" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Already...</text></switch></g><path d="M 285 252 L 285 323.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 328.88 L 281.5 321.88 L 285 323.63 L 288.5 321.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 291px; margin-left: 285px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">Claimed</div></div></div></foreignObject><text x="285" y="294" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Claimed</text></switch></g><rect x="225" y="212" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 232px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Claim sync_map[K]<br /></div></div></div></div></foreignObject><text x="285" y="236" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Claim sync_map[K]&#xa;</text></switch></g><path d="M 475 100 L 475 70 L 125 70 L 125 83.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 125 88.88 L 121.5 81.88 L 125 83.63 L 128.5 81.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 80px; margin-left: 475px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><div>Thread completed</div><div>normally<br /></div></div></div></div></foreignObject><text x="475" y="83" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Thread completed...</text></switch></g><path d="M 535 120 L 630.3 120 L 630.3 125.9 L 719.13 125.94" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 724.38 125.94 L 717.38 129.44 L 719.13 125.94 L 717.38 122.44 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 124px; margin-left: 599px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><div>Cycle detected</div><div>or thread panicked<br /></div></div></div></div></foreignObject><text x="599" y="127" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Cycle detected...</text></switch></g><rect x="415" y="100" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 120px; margin-left: 416px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Block until other thread completes</div></div></div></foreignObject><text x="475" y="124" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Block until other th...</text></switch></g><rect x="225" y="410" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 430px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Load memo_map[K]<br /></div></div></div></div></foreignObject><text x="285" y="434" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Load memo_map[K]&#xa;</text></switch></g><path d="M 285 450 L 285 493.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 498.88 L 281.5 491.88 L 285 493.63 L 288.5 491.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 285 370 L 285 403.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 408.88 L 281.5 401.88 L 285 403.63 L 288.5 401.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="225" y="330" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 350px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Push K onto stack<br /></div></div></div></div></foreignObject><text x="285" y="354" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Push K onto stack&#xa;</text></switch></g><path d="M 735 212 L 735 176 L 734.53 146.37" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 734.45 141.12 L 738.06 148.06 L 734.53 146.37 L 731.06 148.17 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="675" y="212" width="120" height="40" rx="6" ry="6" fill="#ff9999" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 232px; margin-left: 676px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Release claim.</div></div></div></foreignObject><text x="735" y="236" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Release claim.</text></switch></g><path d="M 735 330 L 735 258.37" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 735 253.12 L 738.5 260.12 L 735 258.37 L 731.5 260.12 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="675" y="330" width="120" height="40" rx="6" ry="6" fill="#ff9999" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 350px; margin-left: 676px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Pop stack frame.</div></div></div></foreignObject><text x="735" y="354" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Pop stack frame.</text></switch></g><rect x="725.5" y="102" width="19" height="38" fill="none" stroke="none" pointer-events="all" transform="translate(2,3)" opacity="0.25"/><rect x="725.5" y="102" width="19" height="38" fill="none" stroke="none" pointer-events="all"/><path d="M 735.23 102.15 L 725.5 126.03 L 739.11 121.38 L 735.61 134.46 L 733.28 132.64 L 734.48 140 L 739.71 133.84 L 736.47 134.62 L 744.5 117.32 L 729.99 121.82 L 740.46 102 Z" fill="#000000" stroke="none" pointer-events="all" transform="translate(2,3)" opacity="0.25"/><path d="M 735.23 102.15 L 725.5 126.03 L 739.11 121.38 L 735.61 134.46 L 733.28 132.64 L 734.48 140 L 739.71 133.84 L 736.47 134.62 L 744.5 117.32 L 729.99 121.82 L 740.46 102 Z" fill="#000000" stroke="none" pointer-events="all"/><path d="M 345 242 L 675 242" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2" stroke-miterlimit="10" stroke-dasharray="2 6" pointer-events="stroke"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 242px; margin-left: 510px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">(Destructor)</div></div></div></foreignObject><text x="510" y="245" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">(Destructo...</text></switch></g><path d="M 345 350 L 675 350" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2" stroke-miterlimit="10" stroke-dasharray="2 6" pointer-events="stroke"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 350px; margin-left: 510px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">(Destructor)</div></div></div></foreignObject><text x="510" y="353" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">(Destructo...</text></switch></g><path d="M 285 540 L 285 593.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 598.88 L 281.5 591.88 L 285 593.63 L 288.5 591.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 573px; margin-left: 286px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">False</div></div></div></foreignObject><text x="286" y="576" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">False</text></switch></g><path d="M 345 520 L 735 520 L 735 376.37" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 735 371.12 L 738.5 378.12 L 735 376.37 L 731.5 378.12 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 521px; margin-left: 396px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">Panic</div></div></div></foreignObject><text x="396" y="524" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Panic</text></switch></g><path d="M 225 520 L 185 520 L 185 810 L 218.63 810" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 223.88 810 L 216.88 813.5 L 218.63 810 L 216.88 806.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 568px; margin-left: 186px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">True</div></div></div></foreignObject><text x="186" y="571" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">True</text></switch></g><rect x="225" y="500" width="120" height="40" rx="6" ry="6" fill="#99ccff" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 520px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Deep verify memo<br /></div></div></div></div></foreignObject><text x="285" y="524" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Deep verify memo&#xa;</text></switch></g><path d="M 155 232 L 218.63 232" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 223.88 232 L 216.88 235.5 L 218.63 232 L 216.88 228.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 233px; margin-left: 186px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">False</div></div></div></foreignObject><text x="186" y="236" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">False</text></switch></g><path d="M 95 252 L 95 272 L 95 270 L 95 283.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 95 288.88 L 91.5 281.88 L 95 283.63 L 98.5 281.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 269px; margin-left: 96px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">True</div></div></div></foreignObject><text x="96" y="272" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">True</text></switch></g><rect x="35" y="212" width="120" height="40" rx="6" ry="6" fill="#99ccff" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 232px; margin-left: 36px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Shallow verify memo<br /></div></div></div></div></foreignObject><text x="95" y="236" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Shallow verify memo&#xa;</text></switch></g><rect x="35" y="290" width="120" height="40" rx="6" ry="6" fill="#ffcc99" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 310px; margin-left: 36px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Return changed_at &gt; revision  </div></div></div></foreignObject><text x="95" y="314" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Return changed_at &gt;...</text></switch></g><rect x="225" y="790" width="120" height="40" rx="6" ry="6" fill="#ffcc99" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 810px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Return changed_at &gt; revision  </div></div></div></foreignObject><text x="285" y="814" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Return changed_at &gt;...</text></switch></g><path d="M 285 740 L 285 783.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 788.88 L 281.5 781.88 L 285 783.63 L 288.5 781.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><path d="M 345 720 L 735 720 L 735 376.37" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 735 371.12 L 738.5 378.12 L 735 376.37 L 731.5 378.12 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 721px; margin-left: 396px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">Panic</div></div></div></foreignObject><text x="396" y="724" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Panic</text></switch></g><rect x="225" y="700" width="120" height="40" rx="6" ry="6" fill="#99ccff" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 720px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Execute</div></div></div></foreignObject><text x="285" y="724" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Execute</text></switch></g><path d="M 285 640 L 285 693.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 285 698.88 L 281.5 691.88 L 285 693.63 L 288.5 691.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 666px; margin-left: 289px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">Yes</div></div></div></foreignObject><text x="289" y="669" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">Yes</text></switch></g><path d="M 345 620 L 438.63 620" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 443.88 620 L 436.88 623.5 L 438.63 620 L 436.88 616.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 621px; margin-left: 389px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">No</div></div></div></foreignObject><text x="389" y="624" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="11px" text-anchor="middle">No</text></switch></g><rect x="225" y="600" width="120" height="40" rx="6" ry="6" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 620px; margin-left: 226px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><div>Have old memo?<br /></div></div></div></div></foreignObject><text x="285" y="624" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Have old memo?&#xa;</text></switch></g><rect x="445" y="600" width="120" height="40" rx="6" ry="6" fill="#ffcc99" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 620px; margin-left: 446px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Return true (maybe changed)</div></div></div></foreignObject><text x="505" y="624" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">Return true (maybe c...</text></switch></g><path d="M 95 20 L 95 83.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 95 88.88 L 91.5 81.88 L 95 83.63 L 98.5 81.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="0" y="0" width="190" height="20" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 10px; margin-left: 95px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">maybe_changed_since(revision)</div></div></div></foreignObject><text x="95" y="14" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">maybe_changed_since(revision)</text></switch></g><rect x="655" y="820" width="170" height="20" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 830px; margin-left: 740px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">maybe_changed_after_cold()</div></div></div></foreignObject><text x="740" y="834" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle">maybe_changed_after_cold()</text></switch></g></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank"><text text-anchor="middle" font-size="10px" x="50%" y="100%">Text is not SVG - cannot display</text></a></switch></svg>
\ No newline at end of file