commit 6adcaa7cbafacd045ae01d9f6664da233d4aacdd parent 570f110ede99657137c5b8357c8b924765d80b03 Author: Mikolai Gütschow <mikolai.guetschow@tu-dresden.de> Date: Tue, 12 Aug 2025 12:55:16 +0200 remove stale todo Diffstat:
| M | draft-guetschow-taler-protocol.md | | | 2 | -- |
| M | draft-guetschow-taler-protocol.xml | | | 261 | +++++++++++++++++++++++++++++++++++++++---------------------------------------- |
2 files changed, 128 insertions(+), 135 deletions(-)
diff --git a/draft-guetschow-taler-protocol.md b/draft-guetschow-taler-protocol.md @@ -454,8 +454,6 @@ The wallet derives coins and blinding secrets using `GenerateCoin` from a master This is strictly speaking an implementation detail since the master secret is never revealed to any other party, and might be chosen to be implemented differently. -// todo: discuss with Florian: use reserve.priv as master_secret? - ~~~ GenerateCoin(secret, idx) -> (coin, bks) diff --git a/draft-guetschow-taler-protocol.xml b/draft-guetschow-taler-protocol.xml @@ -489,8 +489,6 @@ msg0 = Sign-Msg(WALLET_RESERVE_WITHDRAW, This is strictly speaking an implementation detail since the master secret is never revealed to any other party, and might be chosen to be implemented differently.</t> -<t>// todo: discuss with Florian: use reserve.priv as master_secret?</t> - <figure><artwork><![CDATA[ GenerateCoin(secret, idx) -> (coin, bks) @@ -739,7 +737,7 @@ msg3 = Sign-Msg(EXCHANGE_CONFIRM_DEPOSIT, -<?line 612?> +<?line 603?> <section anchor="change-log"><name>Change log</name> @@ -757,136 +755,133 @@ Education and Research (BMBF) within the project Concrete Contracts.</t> </back> <!-- ##markdown-source: -H4sIAAAAAAAAA81cW3fbOJJ+569AOy+UR5QlOXEn3rh7HV8Sb2Inx3YmM5vJ -WhAJSRxTpJaX2Oq0+5ft2/6x/aoA8CLLt1x6R8fHIkGgUKh7FUB5nud83hTr -jpOHeaQ2xcrpRImXR+/FqYxUKt6lSZ74SbTiBIkfyyl6BKkc5d64UHnmT5IL -L6eO3sx0dHyZq3GSzjdFGI8Sxwln6abI0yLL+93us27fuUjS83GaFDPqEaiZ -wr84d7I8VXLabDtXc/QONh0hPMHz8JWfzmd5Mk7lbDLnBuXLbMJXMzmfYmTm -OI8+q7hQm84jIVI1SzbFJM9n2eba2jjMO+O4iFXeSdLxWpQFXSDWQfMadY6A -f5ZX3fF8Sfc1x5FFPklS4OZhZiE0cQ7D8ySSoXj5v/+jycPPMHBTnL7fFbup -yrAy8T4OP6s0C/O5SEbiVPmTOImS8Zx7y+EwVZ9pgO3PzUQgBcReqWg6SaL8 -NzR0RK/LD32A2mx095MA+Ox63V5345lpKeKcGPNSpVMZ68nUVIbRpphqvDsl -W/89L7xAg+sEynHiBGNyYE3MON7f6XftRa/72Fw+ebrxzFxu9Ne59dXr3X1g -8fag0+vir/vz2rOfn3rr3sbjvtd7jF7ez2frj9Hx5NVJ2W+j23+6dnRwctrZ -P3h30uk97XqPIUgQpxIHx/E8D5QCDaSfO84/PorTFx/EPz7pB9MwCCJg/Ugc -YMlJUPh5mMSNbi/UhUyVyCcyx78wExDwgmRH4DrLwygSJKleGJNsj0GKTMg4 -EFM5ByXjXIaxUGmapFnHeZ8pATDzpEhFchGLNMzOf6LZj5Jc6pk9MViRQ39l -IEDRBCKGSZWIwlylMiLehvFYDNBjIFRMvAuEzMT2yc7BgfjI9P5EMKT4XQyb -MIAM6VzME5E4SXER5hMxpP6Ril3ZWphUxWM8B/7DObVhCDXTjUVE0tiZDP5T -pYk7b4tFEI2+bfEbunnoTljnSX0SwJ7raQjiMMwz97I1WBtwE102wE7DOJyC -HHExHcL4YDCNWNNoxsoHD2Q6pymg0uAIcYvHFVEeziIl0OiHGdEhjGGGAOOS -5i1wR8tYnG8wHwBRmeUiC8dxOAp9CYg0pyWKBTO4rPgCwsEakHBoOsBCoYc7 -DMfoEoQybtk5ext6tXS93q+uNx5X1/0ntU5PetyLRFD9dxF+hsmjJSZmCb0N -XoPu667363cbj+t3gFq/BVy+bYNw2Uz5pETRnNBMIdPJ1J3XKCOFbozmYqxi -yGeORWfABwRQhqMgkRbHVTEU7jQJxBEgrHFLo6nBXs0mUJlFdU2oy1kSY4Vh -Kbs3c5LwIv0btgVgF1EijkjDdipfEPpwV+E0pMWRA1h8+ApOQuwXMdsC7vAI -ZmfbA63El0fZROLiynH++OMPxzS702zcEt4vYkL+xTmIZ0W+yWYTD+gLyKFJ -TEkwx0wbI/dvxHPR/6+Nnkj8XJE7elvk5WCCxkDMsCAcw+XQ6FF4CVobGITv -GziLLbHet3AIOWdAAFhIiKoJQ6bRdjEwHDNI5InSKxWPO722eEL/NugfUXGj -06cRH42p/tSpyAFZ0eTARY0cJJrfSI5e/8n3ocfG43vTg1ZznR59okef6LFu -6fH4FnowVV0EMWxpA9vcKunk8bMmtb6HAH03ii1I0GlFJ0M8P0nJNCRxkFkT -PgpTwCxHWpN4nb6BGoWxNoxfvhjBudrUxMjVdIb56xLkMPZbgh597G6u9z5p -pOAs6/44mZHpIQsQhKMRGYBRmkwtpDUj6LW5PyKG+EQX2nDDDsCV8Fywo4UC -S8kmHBqSbSN8I9NjjNEOTLuxCa8Ot3fA2clUWo5Si0fEdBGRtoH4Zc5cBSnA -lxkB0Hx5ZfjiNwwP4zAyhkc7Z0PEJp8aAoKZWEAy5acq59tKOmRu/JYdST0J -rUqkAplLjgZSGGvymnpoU46AhjDfhqcLGGn9wmNWL19GfhGxCiyQ3gSCnwyR -XwPbXZXCgfGSF4wuBYVE4PNgdKVlkaYDpBuGCZdGtESR6dl0ahJSPIbbLJd1 -D/LRBKKfHCY0/LSRH/KkDU5AoJKUhWXvksNItgR7lzP6ynI1o0VmxZhUyyyT -8Pi06Qzo2zOjBoRXJgYsJJBOCCf87MUkhBezHQnkYj8I8EC4/qgDpWFZu2p1 -jLhhkJvJKG+Lg9eHbU6k2uINi9zb14dGTDLNQurHLGQxpFiSGljihStFnMSe -ESHt1fWj1r/x4OoTjtA1h9tNPocIcjCpDoQVhx/SBnsgMIwvxXsIe2kcEKzZ -MUgp9UKUDi7KyNFPRkkDQYqeSVSJzHJWxQMUmFAMJspIP4kXsHQRoIkhgm0d -chph1bi1uO8b07OKP41sL6BG7DQWcWGK51ui/+TJKuzelnja2+i2mirz1iz4 -JrgupnxjQLeuWVsafU2RRkkUJReZsZjvjl9j5rqEVbLQ0tbjlTag1v66dc/Y -cmiOEgBJnguQNSlaBMHOre4qDNpWVb3DJEC+JEn7Em1dWYMbZp+V+aqtTXdp -6yB2RRqzohJWbNxJqhDkkwrjPgYvxwjY4tuC+KOaYhA27lFbLOjHcuU4sly9 -GXhDif6/tegeavQn6NHD5L3BzKOayEM68NyGGYDDPiRQGDhlwbGXYUZuOEK+ -MbRCJnW1gsy8duThb6QrOeNrpMH22BJdJ0gEbsKI0X0ujjTul0YPFo0pkmiT -nhkYrbZOUt2jVqtc9RZ3cjlpPWpR/lSVUTDtX7ZEzyoKEv3YexGF4MQJMkkJ -qbfRxF4Aa9J7xr2W9zg+2fb2d1/BI6aZ9EbB5IrbEX0Ws1mS5kTumgelKc0Q -CqfaYlYMwRRWAAxuKoANM02gyG26v6B56Rpyw9EFxCkjTmj55ByryKBBJF6m -m83XhGrKCKblWUZFFHnQDqqNsKslQMAg+Qx66Wk7RyamwJjFmKLkvtVzHfFp -4+IBo6ur6+aS+bklVjRJtsX+6Sz78NOKwwq8ZfmsuWtRaLUqCWg8UYb9eGz7 -VpfKoXVuldiV4KwxYm6wMaqUAFwm00PFHV6xUTwOZSjOprBdjiWFMRB6qFLo -hwnobpgD+M5wLkC/cMR6Z+JjJcap4kol+DadUpCMRBu6JHPENO7YD1pEfD0n -cXBgkWWi9zoNOfI46FLu8DxriBPHt3VxQgcmz5AEmdAhwTGGsZ671BOOHyNy -NnJdJnKE5TKRWxLGfpPIvbBUwNhS4BqtQJ89OHjCWQWwWblLipgJNSliU2CB -NtnGrdoI3Mm6ZZbgX4+dNqFljMAZitCNGtzNQ2tIDQutNV3CQU6OtsQyM+qk -1YNleuGkZwo9UqpzWcOgy12ldXFoNeiCjqs6D1t4XvGVfME1tlKjS+MwKea3 -LM3CcZOlDNp+w5jArlAdk+IOWQVPDf9s4EElmI/6TvOR0y51NyNNv5KTQZOT -wECYb+3liDOMIeyYmdDwEl2WpJVNThG4LT2eCG7QDwxF7WrqJH0fD5cqi2l3 -AfEe6mKXwWOqxfyLqk0RW4WpML0tdW/S+G6JD+PP6IP/Ks24SpUuF3mi2qrQ -/W+U+b9aZ9bkj27Wusg8eqg1WyJ5I0tzdgcY9IP5kKeFalMWQLhQgYLyhPBe -XPnOVgyYWn7cZadcDWeLVldL/XYiiSjFO6G9yTSlWjvFM7r2ogvr5e4wB7e7 -gJLPZzaq3Z5SnOw4+hukSFW1a1Ov41B1Nsm4aq+rl94sge3SGVbmNLky4NYB -DaIgiPKyWI15U7A0eDOZ5uWmFqgq/CJNVezP2w5v+ozIIyOWHpjEE5gUsdnz -AXfFpIiDFBhOwyhCN6iy21Pe09YNMDm6srclZuter2e27/yJpBmpghnStnYZ -yVVQEI59mKhYkZTaKhc9t7vqbT0xwrt0XlGx2vGLxUAynUmqHLvHpJs6OlU1 -Ee963zZbMtATu9VH20TmsUWtNTC18NMQypbL6QwM3h5mSVRQubZsvMZgEKK2 -2SUuJgodaB+tWWp29Mafj1xY+dyWhbTPNOg9+7nrdXv4E93uZrcrdvZOTgfC -pf7vjw7+JtQs8SetDofZnPMi29QZ+6B7ub/wGVS4ZWKFKb3ScZ7/5HnO2hrQ -CJJNMEr555zDK8UbsOAsI+vnzrGKtJR9zYqh6aWo1Zf6VbgjJDLYe94vZpui -llFuR5G1ilkjKKg0DuhDQ7gMJMVESdq+NFvaRjBDdELGTRRwpNlTyHSoUpYd -ELimUFxIFtadqjGUVJHawM2/3D7aNiLsfHx59D6GYyxxFO/0uOyTWx7JkLGs -H7LQl15pNTPTcla1dCb5NIJr4nnTeUfQunl5Xqq0RTX4ZWa9yJt6XYgRc1Vn -YSNIelAiamGJLClSv4FfmHf4+EkHSBhsw3yNDmQswbXECYLzKO73e7auSyTw -DrOxpRxnjMv9m+lR82W2pUlsLIqIvcwnakbBkLrq0o86htGthkws92LIKGeR -gnZbSC408iYITYdGBadlIYb2NMYA0aEEWnnNJpWy9Dt7aQZa6iX8UkT53YyO -zGRIkVhR2el8gBAHqbyQkU63LyjWRU6sk2MxiMUvoksmJ4z18Y2U9rGznB4N -KuqavSUyLSAWAuWxgmHP8zQcFux6tG6ajTEDzYdt4PCP9ucBzZ9gBbVEnMo1 -WsPzJC/1m5C4KLEWIwXy2koqVKeOAu9a1sG1nGmBjJ+Ib4J6pEdYEOAY1LTx -hsQnaeVFYFDHEZciVPrZ1B4osarQMIZoPh0mkRisDmgkKBLn+jyJr1I+78Ke -dapknJlSLlc3YZwUKxwRgc1jubHCZCFqtR1jDX9dbZ4JoKj10h74GHTF8y3x -66p4LuKBUZp62dJw986PJaBzHkMExSrTsIO456YBzX6IgBfqpRDLe35+dyyZ -t8ResIvQ7LWajyHwrbtHGvkWrgHRNlXmu0d+PbaLDV71Ee5QxueIacHvEel9 -7dkvS+Z0s2L4T/jKTStpRHEbT2yWa/me2N7Uc5GSGhONwTdMP5Vkds9Mqrdl -9gLosM3tPKpY24RwnzlXXVKgtk42zcAW5n5pjubs4KnbANuGBrVoJA3sTM5Y -qmt78Mbkdmvmt0fXpZa0nFU9GwGo5Ya63GTBMHTq3cStXYcDA9stFYHLGiVD -oGTs/7rLSPeDJJqEes1aPdF8sEyi+dOUoQZR2/fBtkZLTmzr6/0zdGHV8n+X -vr03SXJezNz6Mu6vEjpCrtlTMpwx+zTa96ocigefHcIFPRCyFhRTCWjQ3ZYF -Hoqrtcav/75DcWCOjD45J7dJ+Oo4/+sgdoYykpSo/II0u5i6hijayf/F0gju -/cxS5f6oL07hff8pjFTq8lqj8FgX18oh3h+yNXWVMHxHIX/e0OXaIprK7H2L -YmkVb1LGFg/LCW8xekZJFupaS8ymnacx2pJvqd3XgbEJpch43hp0Uwey+zbt -+LD95s3e6dnx3sne8V/3zj4cnL7aPd7+0GZauddEjHxCre26nP1euhRgay+r -pVTupXvJDqaSrJawEOwR2O5lt97Eg7qthbtWbWPNxIIB1yuzWoRfVmU1zTLE -u7z9VneYAx3vS+OPbfGWd9KryjnHphQag8Z8KDwN/TyaU8Iuz/noM/pSqjQt -izGBQqAcmRIGVzYaE4R0jJmKPJTCI6HkPUAZz0WCvrpyZSpK03A84UjfZBU6 -5ypno91ze6opovJRmSwFYeYXWabT+/0oSUMZb1LML+qul4SlETT8qkWmEVVY -2Q6DS85SrUSeZ62FYrkJZ8w3cNVsYa4wqfURhuCSVYxbmbjN/JPbhbBbDF5V -m53JMLXlN+rVKMObExm3V+PX++YYus5XfRYCLt3VFWzANZ3bauU5H2fkQwVG -Mok6bbEQga3ot2JqDpFm9ILycNtKm8/qGHPAwRDRlcqxmOLj5nr/U1vQ1Xp/ -8xNsirEaZTD1UuXvimE13GiGS5kXLE+b+U9ZN/J3D5xn2eUU0inUkGyMD/ka -FYq7r+2ciDEECzokp8Lluu451k2akMpzHth2AhnHAn1+U1GsxIk/ScM8R85Z -ZGSBiigkcXQcP5yRMMsoo+1PFfNpG67pOs4CNkJ9zqOOiBkZMP+FhO3zjvd3 -OLl/p1/m+fo8cKpSSgRzkwfa25szwcV+lAnqNl3HX7UieuPYsnxAryLlyZ8Q -310gzjozm88mIen1nz7cX+vXGCB/YcD7jr6yZ8YgCyr+tV3N9C051GJD6dGF -yxh0vmB+PeNVPeX8Fo8eJ2SOH5qQ1/M2hqAt5z3n/HpsFxvKzIXpk6190XQK -g6s1P5LhVNyRwNDHNQugUFoT989OQyZnJD7WdpaiZPSk/ZUYrFhd9QhiVYU1 -5vW+QMtDaVV5n16VGRXwDIGSAQyhMvJvb++fNSSxPl28VZdwrWCsX0bYv44E -lb3RBG7XVvBVAG9f9UPTL7v4Di+SDv3zYh9MvI5VYf5+sG2zYO498HrhouEU -TOXiByU2Jbptjcf3SmyW5Nh1l6gXpedsLRu5nBm3z3n6dvctgtIEoZzyNBg+ -E6UPa3HDr8tH2gSo2qfcEhSWnqhIv8jjlvh8KbWA1Qp+Q09L2xZFoMShTM93 -Q8TWgjInZxUr7DW5u1qLw1ZBht7yqhRSId6rxmCNXucLEY5yOFNLuaoQZkpq -QLXaboO3bWEh3uSN/iRHAiNcitmtjoQ+7o1I/xmORAuRSUwZjU5dREqhYFG4 -fz1Eg93VEF27wIcYjP5dBqP/owyGZiujsNj6ww1GnwW5v2AwrtUp2mLAejXQ -79tRY19nWzdVLyZnNc9ZVk8kbA4dFv+Pk7dHpS61kNUsFjsO9453Xm0fnZ7t -vD06Pd7eOSUPWQ5wGJklxZGdtwdHZ7t7796eHJzawkgNkxsLFoScqViUEmhC -nt+bRWMzqPKM1l/XGxe8sBmzagW9Wf0zwmo7XXtAm6r11GcBY1CPuLGUeO+2 -/364h++3r5vk08lmLccUtawOMV2CxH2u9zpNnYbOGJHNbzVf9FONg4d0woed -ij4dxUdQqOJCxVretpTxXEvVwgGZjvMquaDKCr9y4SdFFJTHrE3XUcH76HnC -r2coelEfRnASzswJGp3/8G6Xsd+OiiVVB8YEx/MlnyUo/AnJ6koRc/CNpytU -Tra7ZKmpCxloVN0xtR1MRjDpQCu9HmJOAJkfrCjTdZDRHPk3O7pU1PgcBgW/ -8BHSjjIftjIsr6fGlsdr90mPF7ZI7e1dqXHVr0qN75tWV9sGZqCO/EUtFyBL -Uhc007HymaUD5vqdLRAsGq7bl17reOv259pQ5v7EszPetVlUC0eqELwRPLcX -tPpqCeLV2tuiaWs1bW5CXFhqWgrV0/Vbl/z1xLqp5/Idp9Jb/5CtJwP84ftO -C8b6O+en5ec7JaqGCg2X3KCrdcs9E30+FPINuxaLc7S+lSANgIt7IA/DmdhP -53sz+tkgOlZ83+E2Jreykyo60UO13PTcI2gPyBeBSlBEdDi0dmTi3sOtWT2r -ggHKri7cBwWg680AtGGrWSjWv38AyvO2ly3gBwWgdU+lF8WSvn57ALp+10bZ -ej382fsbRT8v9yh23D84Prw1ILwe7tWjKxOULaFPbeT1wtKdoeDS/Ed4S6K/ -xb26cpTOThdiQ7vF9oh+LqNI6ReqdugEdmB+jCEzP6K0yz+i9Egc0FHPxR5H -SUw/t0DiMZR8Uk/s6BNtUTKmu22frHekgrH+ta4vm/oEmAq2VkYyytTKVWMe -3oLjX9y54Hfy+b1IHdrxmTRzcE7/sJXYVwH/qtIhv1qaUljp7AWFeT2WPMax -ypTEqoX74vDFvn4luooo6RATrYm2chRdMCMQef0fts9EJi5NAAA= +H4sIAAAAAAAAA81ca1vbSpL+rl/Rh3yRGcvYJuEk3nDOEiCBTTB5gExmNsNi +WWrbGmTJq0vAJ+H8sv22f2zfqu7WxZhbQrLjhwdLre7q6rpXdcuO41ife2Ld +srIgC2VPrJxMpHjT/yBO3FAm4n0SZ7EXhyuWH3uRO0UPP3FHmTPOZZZ6k/jC +yaijM9MdLc/N5DhO5j0RRKPYsoJZ0hNZkqdZt91+0e5aF3FyPk7ifEY9fDmT ++BdlVpol0p3W287lHL39niWEI3gevvKS+SyLx4k7m8y5QXpuOuGrmTufYmRq +WU8+yyiXPeuJEImcxT0xybJZ2ltbGwdZaxzlkcxacTJeC1O/DcRaaF6jziHw +T7OyO54v6b5mWW6eTeIEuDmYWQhFnIPgPA7dQLz53/9R5OFnGNgTJx92xE4i +U6xMfIiCzzJJg2wu4pE4kd4kisN4POfe7nCYyM80wPTnZiKQBGJ7MpxO4jD7 +Aw0t0WnzQw+gerXuXuwDnx2n3WlvvNAteZQRY97IZOpGajI5dYOwJ6YK71bB +1n/PcsdX4Fq+tKwoxpgMWBMzjl5vd9vmotN+qi+fPd94oS83uuvcuvd25zWw +ONxvddr4a/+69uLX5866s/G063Seopfz69n6U3Q83jsu+m20u8/X+vvHJ63X ++++PW53nbecpBAniVOBgWY7jgFKggetllvWPT+Lk1Ufxj1P1YBr4fgisn4h9 +LDn2cy8L4qjW7ZW8cBMpsomb4V+QCgh4TrIjcJ1mQRgKklQniEi2xyBFKtzI +F1N3DkpGmRtEQiZJnKQt60MqBcDM4zwR8UUkkiA9/4Vm78eZq2Z2xGDFHXor +AwGKxhAxTCpFGGQycUPibRCNxQA9BkJGxDtfuKnYOt7e3xefmN6nBMMVX8Ww +DgPIkM5FPBGJkysugmwihtQ/lJHtNhYmldEYz4H/cE5tGELNdGMQcWnszPX/ +UyaxPW+KRRC1vk3xB7o56E5YZ3F1EsCeq2kI4jDIUvuyMVgbcBNd1sBOgyiY +ghxRPh3C+GAwjVhTaEbSAw/cZE5TQKXBEeIWj8vDLJiFUqDRC1KiQxDBDAHG +Jc2b446WsTjfYD4Aom6aiTQYR8Eo8FxApDkNUQyYwWXJFxAO1oCEQ9EBFgo9 +7GEwRhc/cKOGmbOzoVZL1+vd8nrjaXndfVbp9KzDvUgE5X/nwWeYPFpirJfQ +2eA1qL72erd6t/G0egeo1VvA5dsmCJfOpEdKFM4JzQQyHU/teYUyrlCN4VyM +ZQT5zLDoFPiAAFJzFCRS4rgqhsKexr7oA8Iat9SaauxVbAKVWVTXhLycxRFW +GBSyezMnCS/Sv2FTAHYexqJPGrZd+oLAg7sKpgEtjhzA4sM9OAnxOo/YFnCH +JzA7Ww5oJb48SScuLq4s688//7R0sz1Nxw3h/CYm5F+s/WiWZz02m3hAX0AO +TWJKgjlm2mi5fydeiu5/bXRE7GWS3NFhnhWDCRoD0cP8YAyXQ6NHwSVorWEQ +vu/gLDbFetfAIeSsAQFgISGqxgyZRpvFwHDMIJHHUq1UPG11muIZ/dugf0TF +jVaXRnzSpvq0VZIDsqLIgYsKOUg0v5Mcne6zx6HHxtN704NWc50eXaJHl+ix +bujx9BZ6MFVtBDFsaX3T3Cjo5PCzOrUeQ4AejWILEnRS0kkTz4sTMg1x5KfG +hI+CBDCLkcYkXqevL0dBpAzjly9acK56ihiZnM4wf1WCLMZ+U9CjT+3eeudU +IQVnWfXH8YxMD1kAPxiNyACMknhqIK1pQa/M/QkxxCldKMMNOwBXwnPBjuYS +LCWbcKBJtoXwjUyPNkbbMO3aJuwdbG2Ds5OpazhKLQ4R00ZE2gTilxlzFaQA +X2YEQPFlT/PFqxkexmGkDY9yzpqIdT7VBAQzsYCk0ktkxreldLiZ9ltmJPUk +tEqR8t3M5WgggbEmr6mG1uUIaAj9rXm6gJHSLzxm9fLc0MtDVoEF0utA8FQT ++S2w3ZEJHBgvecHoUlBIBD73R1dKFmk6QLphmLBpREPkqZpNpSYBxWO4TTO3 +6kE+6UD01GJCw09r+SFPWuMEBCpOWFh2LzmMZEuwezmjrzSTM1pkmo9JtfQy +CY/TnjWgb0ePGhBeqRiwkEA6IZzwsxeTAF7MdCSQi/0gwANhe6MWlIZl7arR +0uKGQXbqhllT7L89aHIi1RTvWOQO3x5oMUkVC6kfs5DFkGJJamCJF7Yrojhy +tAgpr64eNf6NB5efYISuGdxu/DlAkINJVSAsOfxwTbAHAsP4UryHsJfGAcGK +HYOUUi9E6eCiG1rqySiuIUjRM4kqkdmdlfEABSYUg4ki0o+jBSxtBGhiiGBb +hZxaWBVuDe77Tvcs408t2wuoETu1RVyY4uWm6D57tgq7tymedzbajbrKHOoF +3wTXxpTvNOjGNWtLo68p0igOw/gi1Rbz/dFbzFyVsFIWGsp67CkDauyvXfWM +DYvmKACQ5NkAWZGiRRDs3KquQqNtVNU5iH3kSy5pX6ysK2twzeyzMl81leku +bB3ELk8iVlTCio07SRWCfFJh3Efg5RgBW3RbEN+vKAZhY/ebYkE/litH33D1 +ZuA1Jfr/1qJ7qNFP0KOHyXuNmf2KyEM68NyEGYDDPsSXGDhlwTGXQUpuOES+ +MTRC5qpqBZl55ciDP0hXMsZXS4PpsSnalh8L3AQho/tS9BXul1oPFo0pkmid +nmkYjaZKUu1+o1GsepM72Zy09huUP5VlFEz7l03RMYqCRD9yXoUBOHGMTNKF +1JtoYteHNem84F7Lexwdbzmvd/bgEZPUdUb+5IrbEX3ms1mcZETuigelKfUQ +CqeaYpYPwRRWAAyuK4AJM3WgyG2qv6B56Rpyw9EFxCklTij55BwrT6FBJF66 +m8nXhKzLCKblWUZ5GDrQDqqNsKslQMAg/gx6qWlbfR1TYMxiTFFw3+i5iviU +cXGA0dXVdXPJ/NwUK4okW+L1ySz9+MuKxQq8afisuGtQaDRKCag9kZr9eGz6 +lpfSonVuFtgV4IwxYm6wMSqVAFwm00PFHV6xVjwOZSjOprDdHbsUxkDooUqB +F8Sgu2YO4FvDuQD9ghHrnY6PpRgnkiuV4Nt0SkEyEm3okpshprHHnt8g4qs5 +iYMDgywTvdOqyZHDQZe0h+dpTZw4vq2KEzoweYYkyIQOCY42jNXcpZpw/BiR +M5HrMpEjLJeJ3JIw9rtE7pWhAsYWAldrBfrswcETziqAzcpdUsRMqEgRmwID +tM42blVG4E7WLbME/3rsNAktYwTOUISu1eBuHhpDqllorOkSDnJytCmWmVEr +KR8s0wsrOZPokVCdyxgGVe4qrItFq0EXdFxVedjC85Kv5AuusZUabRqHSTG/ +YWkajOssZdDmG8YEdoXqmBR3uGXwVPPPGh5Ugvmo7hQfOe2SdzNS9ys46dc5 +CQyE/lZejjjDGMKO6Qk1L9FlSVpZ5xSB21TjieAafV9T1KymStIP0XCpsuh2 +GxDvoS5mGTymXMy/qNrkkVGYEtPbUvc6je+W+CD6jD74L5OUq1TJcpEnqq0K +1f9Gmf+rcWZ1/qhmpYvMo4dasyWSNzI0Z3eAQT+YD1mSyyZlAYQLFSgoTwju +xZVHtmLA1PDjLjtlKzibtLpK6rcduohSnGPam0wSqrVTPKNqL6qwXuwOc3C7 +AyjZfGai2q0pxcmWpb5BikSWuzbVOg5VZ+OUq/aqeunMYtgulWGlVp0rA24d +0CAKgigvi+SYNwULgzdzk6zY1AJVhZcniYy8edPiTZ8ReWTE0gOdeAKTPNJ7 +PuCumOSRnwDDaRCG6AZVtjvSed64ASZHV+a2wGzd6XT09p03cWlGqmAGtK1d +RHIlFIRjHycykiSlpspFz82uelNNjPAumZdULHf8IjFwmc4kVZbZY1JNLZWq +6oh3vWuaDRnoidnqo20i/dig1hjoWvhJAGXL3OkMDN4apnGYU7m2aLzGYBCi +stklLiYSHWgfrV5qttTGn4dcWHrclga0zzTovPi17bQ7+BPtdq/dFtu7xycD +YVP/D/39vwk5i71Jo8VhNue8yDZVxj5oX75e+AxK3FKxwpReaVkvf3Eca20N +aPhxD4yS3jnn8FLyBiw4y8h6mXUkQyVl37JiaHohatWlfhPuCIk09o7zm96m +qGSUW2ForGJaCwpKjQP60BAuA7liIl3avtRb2lowA3RCxk0UsFy9p5CqUKUo +OyBwTaC4kCysO5FjKKkktYGbf7PV39IibH160/8QwTEWOIr3alx6ahdHMtzI +rR6yUJdOYTVT3XJWtrQm2TSEa+J5k3lL0Lp5eU4ilUXV+KV6vcibOm2IEXNV +ZWEjSLpfIGpgiTTOE6+GX5C1+PhJC0hobINsjQ5kLMG1wAmC8yTqdjumrksk +cA7SsaEcZ4zL/ZvuUfFlpqVObCyKiL3MJypGwZDa8tILW5rRjZpMLPdiyChn +oYR2G0g2NPImCHWHRgWnZSGG8jTaANGhBFp5xSYVsvSVvTQDLfQSfimk/G5G +R2ZSpEisqOx0PkKI/cS9cEOVbl9QrIucWCXHYhCJ30SbTE4QqeMbCe1jpxk9 +GpTU1XtLZFpALATKYwnDnmVJMMzZ9Sjd1BtjGpoH28DhH+3PA5o3wQoqiTiV +a5SGZ3FW6DchcVFgLUYS5DWVVKhOFQXetayCa1jTHBk/EV8H9UiPsCDA0agp +4w2Jj5PSi8CgjkMuRcjks649UGJVoqEN0Xw6jEMxWB3QSFAkytR5Ek8mfN6F +PetUulGqS7lc3YRxkqxwRAQ2j8XGCpOFqNW0tDX8fbV+JoCi1ktz4GPQFi83 +xe+r4qWIBlppqmVLzd07P4aA1nkEERSrTMMW4p6bBtT7IQJeqJdCLO/5+WoZ +Mm+KXX8HodlbOR9D4Bt3j9TyLWwNoqmrzHeP/HZsFxuc8iPsoRudI6YFv0ek +95Vnvy2Z007z4T/hK3tG0ojiJp7oFWt5TGxv6rlISYWJwuA7pp+6ZHbPdKq3 +qfcC6LDN7TwqWVuHcJ85V21SoKZKNvXABuZ+o4/mbOOpXQPbhAY1aCQNbE3O +WKore/Da5LYr5rdD14WWNKxVNRsBqOSGqtxkwDB06l3HrVmFAwPbLhSByxoF +Q6Bk7P/ay0j3gySahHrNWD1Rf7BMovlTl6EaUZv3wbZCS05sq+v9Gbqwavi/ +Q9/Ouzg+z2d2dRn3VwkVIVfsKRnOiH0a7XuVDsWBzw7ggh4IWQmKrgTU6G7K +Ag/F1Vjjt3/fpjgwQ0Yfn5PbJHxVnP9tEFtDN3QpUfkNaXY+tTVRlJP/i6ER +3PuZocr9UV+cwnn8KbRUqvJarfBYFdfSId4fsjF1pTA8opC/rOlyZRF1ZXa+ +R7GUitcpY4qHxYS3GD2tJAt1rSVm08xTG23It9Tuq8BYh1JkPG8NuqkD2X2T +dnzcevdu9+TsaPd49+ivu2cf90/2do62PjaZVvY1ESOfUGm7LmdfC5cCbM1l +uZTSvbQv2cGUktUQBoI5Atu+bFebeFC7sXDXqGys6VjQ53plWonwi6qsolmK +eJe336oOc6DifVf7Y1O85Z30snLOsSmFxqAxHwpPAi8L55Swu+d89Bl9KVWa +FsUYXyJQDnUJgysbtQkCOsZMRR5K4ZFQ8h6gG81FjL6qcqUrStNgPOFIX2cV +KucqZqPdc3OqKZzrULkWEhjBDPxLTjGNOJ2njYVKt45F9DcmUjRlkjKd1PkD +/5L1g1uZMvXkkduFMPsDTllYnblBYmpn1KtWQ9fHKW4vpa939RlylWx6zEGu +u1W1Y8AFmdsK3RmfReQTAVqsiDpNsRA+rahXWirejGZ0/OJk2kqTD9poXeZI +huhKtVRM8am33j1tCrpa7/ZOYRC0yheR0BuZvc+H5XAt1jalTTAbTbadlDIj ++XbgDFjwOP+jnPe9esfl29OjqUwoP8p0emRub06QFvtRgqTaVHl71TD/xrFF +Vk1v6GTxTwh7LhB+nOk9WR2nd7rPH+7G1Ol+cDbweTvOk+YoVRafy+j3ZjnT +96QWiw2FoxM2Y9D6gvnVjFfVTOx7HF0Uk5V6aJ5aTWcYAsvDfef8dmwXG4qA +numTrn1RdAr8qzUvdIOpuCOup4+tF0ARpiLuz47OJ2ckPsYqFaKk9aT5jRis +GF11CGJZnNSG675Ai7NaZdWb3iAZ5bC5vnR9GF+p5d/c3j+YjiN16HazKuFK +wVi/tLB/GwlKe6MI3Kys4JsA3r7qh2YlZvEtXiSdhefFPph4LaPC/P1g22bA +3Hvg9Xy+5hR0Qv+D4v0C3abC47Hi/SWpZ9UlqkWpORvLRi5nxu1znhzuHPaE +HyNIko4Cw0eF1Bkmbvh9+UiTF5Tbd5uCAr5jGar3W+wCny+FFrBawW+oaama +n/tSHLjJ+U6AkFNQQmGtYoWdOndXKxHOKsjQWV6sQYbAW7gYrNBrfSHCUWqj +SwxXJcJMSQWoUvKs8bYpDMSbvNFPciQwwoWY3epI6GPfiPTPcCRKiHS+xmi0 +qiJSCAWLwv3LBArsjoJomwU+xGB07zIY3R9lMBRbGYXF1h9uMLosyN0Fg3Et +fW+KAevVQL2GRo1dlcfclNRPziqesygquLA5dIb6P44P+4UuIV2+VgM42D3a +3tvqn5xtH/ZPjra2T8hDFgMsRmZJzWD7cL9/trP7/vB4/8TUCyqY3JjHE3I6 +kS8kUIc8X+u1VD2o9IzGX1cbF7ywHrNqBL1eFNPCajpde0B7jdXUZwFjUI+4 +sZR477f+frCL78O3dfKpNK6SvYlK9oaYLkZKPFdbgLp8QUdvyOY36u+/ydp5 +PDr4wk5FHRrikxlUiKAaJu/mudFcSdXCuZGWtRdfUMGB30Tw4jz0i9PHuuso +5+1lpP301oKk99dhBCfBTB8sUfkPbwJp+23JyKW8e0xwHM/lLfbcm5CsruQR +B994ukJVVrN5lOhyiYZGRQ9d8sBkBJPOedJbE/pgjP4dhyIRBhn1SXi90Unl +gs+Bn/N7EAFttPIZJM3yampseLx2n/R4YefQ3N6VGpf9ytT4vml1WU3XA1Xk +Lyq5AFmSqqDpjqXPLBwwl7VMgWDRcN2+9ErHW3cF14Zu5k0cM+NdeyiVcKQM +wWvBc3NBq6+WIF6uvSnqtlbR5ibEhaGmoVA1Xb91yd9OrJt6Lt+IKbz1D9mR +0cAfvh2zYKwfOT8tPo+UqGoq1Fxyja7GLXd09PlQyDcU8xfnaHwvQWoAF7cG +HoYzsZ+Ovab0azp02va+w01MbmQnkXTQhaqkyblD0B6QLwIVPw/pzGTlJMG9 +hxuzelYGA5RdXdgPCkDX6wFozVazUKw/fgDK8zaXLeAHBaBVT6UWxZK+fnsA +un7X/tF6NfzZ/RtFP292KXZ8vX90cGtAeD3cq0ZXOihbQp/KyOuFpTtDwaX5 +j3CWRH+LW1jFKJWdLsSGZufpCf2KRJ7QDzdt08FkX/9GQap/W2iHf1voidin +E5CLPfpxRL9CQOIxdPkAm9hWB73CeEx3Wx5Z71D6Y/UjVl966mCU9DdXRm6Y +ypWr2jy8M8U/RHPBr6rz64IqtOOjWvo8mfq9J/Fa+vxjQwf8xmVCYaW16+f6 +rVHyGEcylS5WLexXB69eqzeFy4iSzvbQmmiTRNIFMwKR1/8B/uo+hUVMAAA= -->