From 44cbd516885ce9e80f70945c8670067452788114 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Wed, 31 Mar 2021 18:17:34 +0200
Subject: update reducer state engine

---
 anastasis_reducer_backup.svg | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 anastasis_reducer_backup.svg

(limited to 'anastasis_reducer_backup.svg')

diff --git a/anastasis_reducer_backup.svg b/anastasis_reducer_backup.svg
new file mode 100644
index 00000000..e3855322
--- /dev/null
+++ b/anastasis_reducer_backup.svg
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!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="1201px" height="390px" viewBox="-0.5 -0.5 1201 390" content="&lt;mxfile host=&quot;app.diagrams.net&quot; modified=&quot;2021-03-31T16:05:21.860Z&quot; agent=&quot;5.0 (X11)&quot; etag=&quot;Tyfb3DPdoDuWkH0FtVrD&quot; version=&quot;14.5.3&quot; type=&quot;device&quot;&gt;&lt;diagram id=&quot;PpkpfZO7TL7CUlFfbbxv&quot; name=&quot;Seite-1&quot;&gt;7Z1de5o8GMc/jYflIgmvh9a61a1zfapd1yMvqlS5SqVD7Ms+/RMqIEkQUgkIrj3YJECAO8kv/9y5Ax3Ue3z96ltPix/ezHY7UJ69dtBZB0IIVBn/F6a8bVJUGW0S5r4z2ySBbcLI+WtHidF587Uzs1fEgYHnuYHzRCZOveXSngZEmuX73gt52L3nkld9suY2kzCaWi6beuPMgkWUCjRzu+PcduaL6NIG1Dc7Hq344OhJVgtr5r2kklC/g3q+5wWbX4+vPdsNjRfbZXPelx17kxvz7WXAc8L925/h5aCrjq17NBmugOEuVidRLs+Wu44euPdzOB4M+8PxZNS/6Pfw76/R/QdvsVF8b72c2WG+oINOXxZOYI+erGm49wVXA5y2CB7daDcumcBylraPt2W8zd53fBO2H9ivqaToOb7a3qMd+G/4kHivujkjqlNQVyUYJb2kCkkFkpn+i0pmkSouVZWiE62oosyTq21tiX9E5vyAaWGGaa+H46vbBhsWAYM0mdICQyPG0Nej/tWkOx5fDU6vx/1RB2ouvo3TOx//moe/Jr2fF00tAw1C0potKAKFKYLu9fgcQ2TQ644HP4dZRdA/GzTS/mZM8EZbXGUsfvnzYtAb9EeTq/6vQf+miaYFCmkyQyMsrZh6Ay2t7bb0Zfe2iWbWY9FVYFcAMwwJJb0qS+qMJRnT2ctZN1RteGvqWquVMyWtZb86we/U79vQauHDbTbPXiMrvm+8xRtLfPe/0xvp08Lt7XnvW29FZbHy1v7ULtZVgeXP7aBYJNgzQoVyCx9oMqUalz1RqPLuEo2udek5+BmTC4X1QMloc9GFEQR0e9uYJMomLUOpnBUEcyWGodA5b4zI5PxeBRMTldBpJlMtV7aLxxKTsGnilhldlqimuLwurDs81iFqp+U682VYdfE5YYM+DdusgwcT3WjHozObhXmc+vbK+WvdvecX1rSn8Onen1c97ahnXFzIbWM0LJIRUnTRTnoQklXVTmQJyHqkrXzbtQLnmRwT8dcmgzzBu79f2ZWUpSGOMDJBGJ2TMIAkjF4dYSAnYUBDCYOMpMuOoYJkpu9pLVWQzFTF9bLFXIlbVmmu4G7XMMjSietoScrAULoQ8rIu7LA9yNEKG17soE/sHAQ7rEMvgc56GYv4diAnblUCkAM0gyz0uB6XRM4JQJJuZuZcPXUA28UcrdpBnNhp6njq2LEDmap4Z00fWgSbpDGJGDjJBkREiYgROCeaZNYGF7Yj+Thc9pUne4mh6uGiNBQuhirnzBiUAY1hGhS2DsAWdn7nHROT9Qr/YwWB79ytA3vVJtjscunuIW22rGkTXdj+4mili8JJl6aOmI6cLuzUZduUS9yWhLh8oVqJbwbrKyk2dQ14YbuMvfFSj0NmO2VYD2zUT9h8ADa4olhvqcOitrvzKQBQ6UuZYdPKvUHmJAUouSckY5Y9j1cjGbJtfJvnFMtXdtJ3ab+2yfOdwESAWEMQUcElQugKZSSpZMY1uqHYHnRv2Naj5UTBVuWE7ee4sUrYJlNtMdaQmY9B6nik6wVcBnrJE4AmGTpB/4pgy85/t03MxjARImZ1HZJQFDTRiDRJQZk514BbgVFUKT17myZsgbZNEfY2vXMHbqdr/zmJhtuftrzStqm0NRUy2rFEDJVpIjI6i3yEVMCqaGEryyjTXNVijQ12tWazibUOFrgWYUAFjrdsE+REBmkhGZLFnwjWkpQDkkFVogqhJjJwa6sbb1O7CqEGCaiBT6hxQU1XioUeL9aAjAVpbWN0GmWUrKsIZWw0+cx27cBuMc2EhYaFNAMmFagRK8LSDkjJJMtbkYzaxshQZKiGBLHJt4AL55txj5JHOQJW4Z5L23fwMxUvOuAdAzcOTCcwjklIvF3q3sNZAHOXxSmmJiF8j8lfNcQyqdE62e0rah3ePDbSMVRiT57rTNsUWgZFRnsAE9CDQU0Ms6AU51QDokQEfLRRgvF68ZpKOg3Dh7iUhqhKw405BRZlVQvKVLOGQaXCdsmREmsfzYSFk4QKTKe8l3EcblmY6VIckJ8IsLg7qYFu7IzwqN+76o8buwwZK2FKZBx4caz2zXf/3MPF7cyY3/6whw+Th0HG+yNOu73v15eTL4PhYHTeP2ucXenl3Qe3649n9/efUfB98V93fPPdePX+e9Ey7FqiM26RkxdydsawoZ0x0sjJJahojC+WP8pbK8xLUH+MKDRT75Ip3QNn1nHI1PF2rI/LbbD/oks30yBVLfbnxNdH2FUCVxmh43n9ZCGvOIFUsh6okKSUplCg40WUqlNz7yaVkSA+qTIV6qTJufdl5h9fDc/YOYxNnPrKnvr2QVjGyS5h01GyBAyN7LTKTrlXDyoRi3d3hH3uHVTeMp4YlOpR95U8+/JEVF3IWFL5ZB3EFcDZdIWtkQ1lhwGotguF1I4a1sdmF6bAQRQZBV7VQjTIuwakbTLBKOBD1c2aHWq0pGsWuVIMGAokikFM8z6hqYFqa+ACl3lQXhLuKQv9EFMWGqsS8o47OpzUNOrQzezrVDqKyAinb7YEEbc+4n32QSXlQjwZ0dzxA2CjEwXJjOa9/Yd3rvRohcyhxyds+NihVlPx0iFuHSJWT5lK9iKnsgoGUfEbSIoVYw34EBnP/3EFQ6ydKpIvXODI81d8gqNiyUI7PjX6owAFjlXq+IokTnOWKfFSTKCLVNYUtfGaRuAbDZv+fo6sOZxSAWD/CJqETQOzPtem00DgmwkZp6ugJYpVxI1OXgYWnI6mvx4G56vzHzff5hrK+PpG/K2HmfMcf+xhfHU9Pt++L3+zH18udQhT3gIChTIKiCHEzrJhnJZxV0m8Qv+DUSO8QUGZphb6wsdD+bsofHKVSD1E1WRydKHSBclLVE1D+RkJEnsaFSIo2j+VXQnZWZWD+qe4IUzWtJwG1l7/VPZDQXHU+Pg0WHFzJyVaXh/D5+8+FD50aiilQmoihBcf9OdbcEYSoPISp8my6wzbqx9PI4eFjby9E+HZT8x6DevRDeS6wx3uas6hHQ9I+MJmDqYvaEG5r77QqcDgqvSFTr0pR1Pr0BesP/R40LOjg6pQXySrSSSN8p0jQ9KU8gjCm9tvmG4O334JFvX/Bw==&lt;/diagram&gt;&lt;/mxfile&gt;"><defs/><g><rect x="52" y="35.25" width="152" height="55.5" rx="8.32" ry="8.32" fill="#ffffff" stroke="#000000" 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: 150px; height: 1px; padding-top: 63px; margin-left: 53px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">CONTINENT_SELECTING</div></div></div></foreignObject><text x="128" y="67" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">CONTINENT_SELECTING</text></switch></g><rect x="356" y="35.25" width="152" height="55.5" rx="8.32" ry="8.32" fill="#ffffff" stroke="#000000" 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: 150px; height: 1px; padding-top: 63px; margin-left: 357px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">COUNTRY_SELECTING</div></div></div></foreignObject><text x="432" y="67" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">COUNTRY_SELECTING</text></switch></g><rect x="660" y="35.25" width="152" height="55.5" rx="8.32" ry="8.32" fill="#ffffff" stroke="#000000" 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: 150px; height: 1px; padding-top: 63px; margin-left: 661px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">USER_ATTRIBUTES<br />_COLLECTING</div></div></div></foreignObject><text x="736" y="67" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">USER_ATTRIBUTES...</text></switch></g><rect x="964" y="35.25" width="152" height="55.5" rx="8.32" ry="8.32" fill="#ffffff" stroke="#000000" 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: 150px; height: 1px; padding-top: 63px; margin-left: 965px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">AUTHENTICATIONS<br />_EDITING</div></div></div></foreignObject><text x="1040" y="67" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">AUTHENTICATIONS...</text></switch></g><rect x="52" y="257.25" width="152" height="55.5" rx="8.32" ry="8.32" fill="#ffffff" stroke="#000000" 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: 150px; height: 1px; padding-top: 285px; margin-left: 53px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">POLICIES_REVIEWING</div></div></div></foreignObject><text x="128" y="289" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">POLICIES_REVIEWING</text></switch></g><rect x="787" y="257.25" width="112" height="52.75" rx="7.91" ry="7.91" fill="#ffffff" stroke="#000000" 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: 110px; height: 1px; padding-top: 284px; margin-left: 788px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">POLICIES_PAYING</div></div></div></foreignObject><text x="843" y="287" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">POLICIES_PAYING</text></switch></g><path d="M 204 49.13 L 349.63 49.13" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 354.88 49.13 L 347.88 52.63 L 349.63 49.13 L 347.88 45.63 Z" fill="#000000" stroke="#000000" 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: 49px; margin-left: 280px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">select_continent</div></div></div></foreignObject><text x="280" y="53" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">select_continent</text></switch></g><path d="M 356 76.88 L 210.37 76.88" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 205.12 76.88 L 212.12 73.38 L 210.37 76.88 L 212.12 80.38 Z" fill="#000000" stroke="#000000" 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: 76px; margin-left: 281px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">unselect_continent</div></div></div></foreignObject><text x="281" y="80" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">unselect_continent</text></switch></g><path d="M 508 49.13 L 653.63 49.13" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 658.88 49.13 L 651.88 52.63 L 653.63 49.13 L 651.88 45.63 Z" fill="#000000" stroke="#000000" 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: 49px; margin-left: 584px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">select_country</div></div></div></foreignObject><text x="584" y="53" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">select_country</text></switch></g><path d="M 660 76.88 L 514.37 76.88" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 509.12 76.88 L 516.12 73.38 L 514.37 76.88 L 516.12 80.38 Z" fill="#000000" stroke="#000000" 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: 78px; margin-left: 584px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">back</div></div></div></foreignObject><text x="584" y="82" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">back</text></switch></g><path d="M 812 49.13 L 957.63 49.13" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 962.88 49.13 L 955.88 52.63 L 957.63 49.13 L 955.88 45.63 Z" fill="#000000" stroke="#000000" 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: 49px; margin-left: 888px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">enter_user_attributes</div></div></div></foreignObject><text x="888" y="53" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">enter_user_attributes</text></switch></g><path d="M 964 76.88 L 818.37 76.88" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 813.12 76.88 L 820.12 73.38 L 818.37 76.88 L 820.12 80.38 Z" fill="#000000" stroke="#000000" 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: 76px; margin-left: 888px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">back</div></div></div></foreignObject><text x="888" y="80" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">back</text></switch></g><path d="M 1116 49.13 L 1192 49.13 L 1192 174 L 27 174 L 27 271 L 45.63 271.09" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 50.88 271.12 L 43.86 274.58 L 45.63 271.09 L 43.9 267.58 Z" fill="#000000" stroke="#000000" 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: 174px; margin-left: 612px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">next</div></div></div></foreignObject><text x="612" y="178" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">next</text></switch></g><path d="M 52 298.88 L 7 299 L 7 137 L 1154 137 L 1154 76.88 L 1122.37 76.88" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1117.12 76.88 L 1124.12 73.38 L 1122.37 76.88 L 1124.12 80.38 Z" fill="#000000" stroke="#000000" 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: 137px; margin-left: 634px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">back</div></div></div></foreignObject><text x="634" y="141" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">back</text></switch></g><path d="M 1002 35.25 Q 1040 -11 1073.96 30.33" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1077.29 34.39 L 1070.14 31.2 L 1073.96 30.33 L 1075.55 26.76 Z" fill="#000000" stroke="#000000" 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: 11px; margin-left: 1041px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">add_authentication</div></div></div></foreignObject><text x="1041" y="15" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">add_authentication</text></switch></g><path d="M 1078 90.75 Q 1040 137 1006.04 95.67" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 1002.71 91.61 L 1009.86 94.8 L 1006.04 95.67 L 1004.45 99.24 Z" fill="#000000" stroke="#000000" 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: 118px; margin-left: 1040px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">delete_authentication</div></div></div></foreignObject><text x="1040" y="122" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">delete_authentication</text></switch></g><path d="M 85.14 256.31 Q 128 211 161.91 251.45" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 165.28 255.47 L 158.1 252.35 L 161.91 251.45 L 163.47 247.86 Z" fill="#000000" stroke="#000000" 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: 232px; margin-left: 129px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">add_policy</div></div></div></foreignObject><text x="129" y="235" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">add_policy</text></switch></g><path d="M 166 312.75 Q 128 359 94.04 317.67" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 90.71 313.61 L 97.86 316.8 L 94.04 317.67 L 92.45 321.24 Z" fill="#000000" stroke="#000000" 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: 341px; margin-left: 127px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">delete_policy</div></div></div></foreignObject><text x="127" y="344" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">delete_policy</text></switch></g><rect x="356" y="257.25" width="152" height="55.5" rx="8.32" ry="8.32" fill="#ffffff" stroke="#000000" 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: 150px; height: 1px; padding-top: 285px; margin-left: 357px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">SECRET_EDITING</div></div></div></foreignObject><text x="432" y="289" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">SECRET_EDITING</text></switch></g><rect x="964" y="257.25" width="152" height="55.5" rx="8.32" ry="8.32" fill="#ffffff" stroke="#000000" 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: 150px; height: 1px; padding-top: 285px; margin-left: 965px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">BACKUP_FINISHED</div></div></div></foreignObject><text x="1040" y="289" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">BACKUP_FINISHED</text></switch></g><path d="M 394 35.25 Q 435 -20 466.59 29.87" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 469.4 34.31 L 462.7 30.27 L 466.59 29.87 L 468.61 26.52 Z" fill="#000000" stroke="#000000" 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: 6px; margin-left: 435px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">select_continent</div></div></div></foreignObject><text x="435" y="9" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">select_continent</text></switch></g><path d="M 508 257.25 L 530.86 227.89 Q 537 220 547 220 L 927 220 Q 937 220 942.87 228.1 L 960.26 252.09" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 963.34 256.34 L 956.4 252.73 L 960.26 252.09 L 962.07 248.62 Z" fill="#000000" stroke="#000000" 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: 221px; margin-left: 783px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">enter_secret</div></div></div></foreignObject><text x="783" y="225" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">enter_secret</text></switch></g><path d="M 897 285 L 957.63 285" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 962.88 285 L 955.88 288.5 L 957.63 285 L 955.88 281.5 Z" fill="#000000" stroke="#000000" 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: 285px; margin-left: 927px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">pay</div></div></div></foreignObject><text x="927" y="289" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">pay</text></switch></g><path d="M 508 285 L 610.63 285" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 615.88 285 L 608.88 288.5 L 610.63 285 L 608.88 281.5 Z" fill="#000000" stroke="#000000" 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: 280px; margin-left: 557px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">enter_secret</div></div></div></foreignObject><text x="557" y="284" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">enter_secret</text></switch></g><path d="M 815 310 Q 827 350 866.29 314.28" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 870.17 310.75 L 867.35 318.05 L 866.29 314.28 L 862.64 312.87 Z" fill="#000000" stroke="#000000" 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: 336px; margin-left: 841px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">pay</div></div></div></foreignObject><text x="841" y="339" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">pay</text></switch></g><path d="M 204 271.13 L 349.63 271.13" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 354.88 271.13 L 347.88 274.63 L 349.63 271.13 L 347.88 267.63 Z" fill="#000000" stroke="#000000" 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: 270px; margin-left: 278px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">next</div></div></div></foreignObject><text x="278" y="274" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">next</text></switch></g><path d="M 964 312.75 L 940.73 370.72 Q 937 380 927 380 L 547 380 Q 537 380 533.04 370.82 L 510.52 318.6" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 508.44 313.78 L 514.43 318.82 L 510.52 318.6 L 508 321.59 Z" fill="#000000" stroke="#000000" 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: 380px; margin-left: 719px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">back</div></div></div></foreignObject><text x="719" y="384" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">back</text></switch></g><path d="M 356 298.88 L 210.37 298.88" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 205.12 298.88 L 212.12 295.38 L 210.37 298.88 L 212.12 302.38 Z" fill="#000000" stroke="#000000" 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: 300px; margin-left: 278px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">back</div></div></div></foreignObject><text x="278" y="304" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">back</text></switch></g><rect x="617" y="260" width="110" height="50" rx="7.5" ry="7.5" fill="#ffffff" stroke="#000000" 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: 108px; height: 1px; padding-top: 285px; margin-left: 618px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; "><div>TRUTHS_PAYING</div></div></div></div></foreignObject><text x="672" y="289" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">TRUTHS_PAYING</text></switch></g><path d="M 644 310 Q 656 350 695.29 314.28" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 699.17 310.75 L 696.35 318.05 L 695.29 314.28 L 691.64 312.87 Z" fill="#000000" stroke="#000000" 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: 336px; margin-left: 670px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">pay</div></div></div></foreignObject><text x="670" y="339" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">pay</text></switch></g><path d="M 727 285 L 780.63 284.36" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 785.88 284.3 L 778.92 287.88 L 780.63 284.36 L 778.84 280.89 Z" fill="#000000" stroke="#000000" 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: 285px; margin-left: 755px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">pay</div></div></div></foreignObject><text x="755" y="288" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">pay</text></switch></g><path d="M 717 310 Q 767 410 958.45 302" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 963.03 299.42 L 958.65 305.91 L 958.45 302 L 955.21 299.82 Z" fill="#000000" stroke="#000000" 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: 358px; margin-left: 811px;"><div style="box-sizing: border-box; font-size: 0; text-align: center; "><div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">pay</div></div></div></foreignObject><text x="811" y="362" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">pay</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%">Viewer does not support full SVG 1.1</text></a></switch></svg>
\ No newline at end of file
-- 
cgit v1.2.3