# Excalidraw Data ## Text Elements 4-way symmetry-augmented inference ^elem0001 Scramble σ ^elem0003 g₁·σ ^elem0005 m05 + beam ^elem0007 g₁⁻¹ ^elem0009 g₂·σ ^elem0013 m05 + beam ^elem0015 g₂⁻¹ ^elem0017 g₃·σ ^elem0021 m05 + beam ^elem0023 g₃⁻¹ ^elem0025 g₄·σ ^elem0029 m05 + beam ^elem0031 g₄⁻¹ ^elem0033 min-merge ^elem0037 shortest path ^elem0039 Same single m05 V-heuristic shared across all four branches ^elem0049 %% ## Drawing ```compressed-json N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBWbQAGGjoghH0EDihmbgBtcDBQMBLoeHF0KCwoVJLIRhZ2LjQ+QvqmVk4AOU4xbgBmABYeJOH4gHZWuohCDmIsbghcFP5S wmYAEXSq4m4AMwIw1cgSRfT9JMuARlrSvcJ8fABlWGDFwQ9bgShSNgBrBAAdRI6m4U1KzB+/wQLxgbwkH1Oxwgvz8kg44VyaCuyLYcFw2DUMG4V0uyOsynhqCSyMwAwAHABObSDemXRnjJLxeKDfrxcGQYkteLIyG/AEAYTY+DYpEWAGIrgglUqvhBNAS/spUXMpTK5RIftZmPjAtk1RQQZIBoy4kl+oy2fF6UyrjxGQA2QbIyQIQjKaRg8YJUUI BC7bGXKM4toQbXCOAASWIWNQeQAusi9uRMsnuBwhI9kTriBjmKmC0XY5phHMAKLBTLZVMZ5FCODEXA7EnjXuuj1XeKkxnIogcP75wv4UdsbAAiOoA74I6xvacKBPQhGCo8AUQNfZABiuH0DyFqBFsaqmBqEkGzgouBgqGYMH0mR+MGcuD8TZ2qFmPYmCyPpi0oAAVapFnvR9n1fd8EE/b9fyyf9AOAjhQKvaoAEEiGUZp0DEbImDVBooHMAg8P9Q joDxNU9GyXBZiYPM0EradY1lf1ZgISCb2gh8nxfN8P1IL8f2UP9wwAjggLNLDph/KA2AAJXCLcKh+IQEFHFiAAk/QDW9UCubQeHiQoAF9VmKUpYEQM5HkIOQkGRBpOkIvcPKaHpMIqF0eE5cYrhdZFZnmOkJFwG5ws2bZw32Q5dNjU4JHOKMeDVe5HlhKkIERXZRShAFgWIUEWmK8UYVeCoCulJFY1RAMy1TGNpjxAkiRJMlYwpKkaVjKLUDZZFz x4QZBumMVoT1WUFSuDkrmwLLkQ1Od4yEXVpXmiR5QQcY9niPY9gtK0SUmn0jMDNBOVDRLIyjJI902pMU3yTNVxzBA2NQDji1rUtMUnKtphrLbiAbDJUJbNoijhyAHLq68amONYFwwRso36CA4astpPumdtO27bFe3GftB2HPTxxBzjphlOcHsXZLkWwIRIQMDYu1wbg7NKYJlAJGB+KgQFyDgbhtIQNp8ZKGzCn5spHMNKD3I6JoBnVxpul6CpFs delnXpHh6XCuYFmi1bUvi4JSZZ5cUumNL0Ayy4cazB5nlq94GqK2MZtK87KoDkqarhOrCrVZr0WB7FcXxQlYB6qbSn6ipU8gYbSUSIL3cGcZGXdouPTGsEPX6bRxkvaaw7mg10EVZVm7VdatRLevFiNDgTVwM1UdjS1yutNAmRZeJGUZfpRgNnhQrN2NfX9G7eDiGuITDBdSSe/pkVe5MW0Ju5vt+/6msB1q6bWwGob/Q+2w7LtmaucnKaHO7YzH Cd2KnGcmYXJcK5pgHg3JpEkC9gHrmPKefA5516IyghIJ42AcyaGCKgQAw8DRwgog9AyDUHoKwciFG1ECKLGIlUOU2sKLuFIbRU8xBiBvDZuuZiGJSC/UxhkTKapuL+D4rgiA+CTxoIQJgtUyk1IaW3FLUgOkaYIEMsvEyZkLLWVslecoixAjYCiBwSkblYw+U4GCbWnk/J9GxEMAuHpGRXEuqlC2w0lgextlsO2zNAFO3Rk5bhlxBjZS9nlSOfs1 SByBMHXgVVoTBN9p8AGaJL7xy4onbqj1yT6IGrSMERcy6RngQVOuO0G4QEVEtFardNSbW2vqBUuB4jEHpCdM6w9uC5MXtdEy8RM4FU3inKM3pYz73emgVsX0Tw/QXGfaYJYkl/V/tWG+jYYb5DhvzeyWjVYCTRicDGbsuS4zqGAOWJQj6QGJk/Ler87EDiHEkEcn9Zjf3maDAWs55xJUdmzDmKl9DcyiHzOGEBBbC1FuLXAks0DS1luoxWmiVaVD VkYjWJi0C72RTrDgFj9ZDC9P0cY/QJrm0iosXAAS4ruMQp41mqU9lY0uPEQJuUfYIlCdEoOrSQ612qrE1l8Tz6JLjqZBOXVk7pL6pkjO2S0W7hZO6QYCqrhentL2PJpkRjsoQJ3PaKoW5rSqR3YpXdyA91NKhFpFVeCJHsVcW1SqQq2kGBPK6yiwQ9LCM/J6XI96ojevfcZuYpkLJmRfIV0zSjg3rMs5sH0H4k2ftcpVVMQo02eeGyAjMPloC8Vm dcm4ZHYlLquKBJ4zzcAKSjRYyhACBBAAdqIU1HBAkJA1vrWqEh+FaIUNItQyi+A6GLAYUwwx0xGJRBYhwulfjRi8NIDxDgAjm3oFbQ2pSQgVLqVYAW1A0sFFKOMiScyll5YaOmEjbRCBdHpzIiiryZjfJ6x7OMD0HpJgTUGc7JxpLGUUoSgAmlzsp0XEuB6Jl3sI5xMaty6EZVLV7nCby9AUcEktSFe1UonUk7nm3hkgx3AenDUGKSNVOdNXasbp yVkCB6SVI2oa2pe1iBJE0CdU6yIh6WqVT0peB60DdPulvL1RbpjDP9cAk+QbXmQFmWG4NEalnQxjaMtZCNlbIyRUc3ZvjgNJHGIcuoJywBnIgBc+2L8+w3Kpvc1NV9P7vOpV82M7NOZ/J5oCo5wKEBC2wCLao4LIU7rkTLAzsKShK3PVsge0xjGEXRdF292KSSm36A6FL8RhNrC/dFUDv6PH/sc4B7TUY9Oe2ZRBvlUGIRh1gyPKJoceUsqQ2ygV qHywkhFVhlOuGslDW4AqwY2gjYelGLyXcFkeBxdKNhjV9XZpGp1c3VU+q6OA3I9AE1vd+4Wtq0Xcy9JC62r5DyRkPICk8ZXjN6afTHrFZ9QmA+saA2TNsyGiGcz03qgU3fR7RNH5mcTbcl+e4v4vbef/T5QC7h5rAYW3NR5S2wPLcQwRFx4ioAANSoE0CEfQ2CKCi0HVyDHWOcfttwp28hqEe0YpoVRCnEgh3MKc6widnD9k5a4nO/h+ACcM6J5j 7HJ4JHrqkVurSQW92dMPWok9cKz2bPQDovReH72orq/FzFiXbqLR1464llt0C4BK24v9EPvFafSvSpINHSvgfysh2bHK4OasQ/Vflr3WttQ62k0yvUlKSvw9K1Aw2enYe9Y7rV83G6LRChU5b7dVtR9KfUxpzT2ORPadMc7XT3XXd909CBpRRM/ePhM0+cnpOhraz/KTn2Ia3xWcpo56zEYK+gBpjzLsuE6cZPp+WBM42XKfRTSzdyHkMyeaDjN9 n8uQ8gM535/zeZoHWZ57zvmbz+dkTpGFsuwvwvU9sjFnktbH4ff5EkQxnQV1tRlk4WXDc25N3ls34UgNRl77b13DvoNO9q/BsOb/ZrD3WOavYVFJUVMPHpa9NAAjbgCuAbYbd0AlKeQuF0SbQUJLd1IpBjaPRbEdCNA1RPXA9bY0M1c0dPTlXgJIKuRkSafkN0SaCbXkQvSAbPN1ATfpdkO7dsB7UZYzbMMvSTemUoGTMAj7SNSGaNHIEvc5P7BN CzJNd+YHSfGvEQ6fcHbNADKHbIfNfWO/fcEtGBOBZHJdOMatQAbwIABOvHXnZdSwmw0wqAAdCQbtKhGnPtFw9ARnAg+fFndhNnK3J/DqLnXiHnQRGtaw4XDdaRcXeRR5DEfdFeVRY9Y5U9DZBFJYUgX4KgVXO9M/XWC/W6POfkeIQlfXZxXAT/Z/KlWfc3GYd/JIUkMDIA93KraqGrUxCPVoyrSvQVMA9DSATDH3HDCVPDWAoPfoUaWMbDaeMjJP JuXVWjBPCGNbbuTbc1Sgy1OYjpV1CYgOPPbea4HpYvfgrMCTKfFEKvCsCvOvKNRTGQs42MUzBQkfJQ6mBItNW4zNBzOfQpPuKAAAIQilmGUEuKyGIGBLmFBMuPwFCCgClHfDUB2AAAU2BZgTIPtIQAScJsi2AKBfRcBhDkQITcScjCSMY+4ci1Q4B0SlM0w4YChNNM4Sgkg4YzkwAmSjkdjmT2SCZQt4Z5dMiqT8Sb1MUuiNdzFH0rFxhBhJ4PRu QDCIoDclgcI1R1hKV7Yc1aUismjYpVwglGs3dejCkOjIkACGtysms2i+jPd2sIDOtxV/dxjqQg8JhQ9L9sDqo1tFi9VqwiDVik91jyCotSgONaseTSh2D9irtPVoxBi4xfU+C0wBCLi1CEk5h3tbjJCG96Sxlft40rlFDAdrNPjYSZ9X9Q4ASoTHB9FwS5gayYT0zP54TETTwZBww0SMTLjsTSBnC8SCSQhiTYxSSByKTSUByaS6THiGSjkuS6gW SwA2SjkOT5yShIyFy+S6h0wBTws28ldr08iJTSgYstdTJ6QlUnU6CellTKjAT1TbZajKzCtLc/E3QWijSf92iYNzSXdPzgDRDhA7TkkOpUkxV89uspVesWhM8psSQTt5iSCylY9rYwYAyaldpG4U8mk2NB4M9uMpc+Nc84zrgXokyRkUzzihDLixCbja8czpDYZm9VMItEUj9NMGjdSrgcY8YB9nj5Ciy3iSzx8BZVCXl1DgUKytCCtSgF8uY3MV 8gUQUfMwUJZt9gt+899BSMjD9Qz2hxS0U8izyBxTZ7QX0byH8lgJQHzNTfj6iu83ZuKPyrTjT/Zf8IkqCLSYl/ybSrj+ivcHSRi/c04A8YzShhpCU4heQ0sZ5Jp8Vxg1U54vS5skLdUlt/SVtAySDgy+5Ni8LPLrUUt3Q7EHUJpnVdjeNqDOCbsmiMDEz7sKL8zS9A0aLrjLiGKHixNSgXjBK34gcbNmyGYpKHY/iQE9CSQDCQFoEy0+MnCq1AAg gjbTAnxwiMWtXXsnJxokpxIncI11p37Xp28JIGHQYn8NYkaPfNxFCIXXCLMOUDWuiNFxh0C3iIn0SMItMiPV3IPwvSvQDyPK5RPIS2lNMn6AHD5BfVYJmEstwA2BstN2kr+IcvpXsWcvtwAu+DNM8r/Jcq/NtNAICtAsgK6zGJ62mEI2IxmPgoKXCR9Mo3pGo2WOqWIB9KYxYzT3ys42GxdUqv4wOJIqaI/SL3Iq6sgEEJasGsAre1k3oq+0b1nL qBbzUy7g7xfNdhRsZV4u3MH3+2LKsxEozTEo+x+LqO+RcyX3cwZi81BT8zUqhSC13zSLlx0pVvYqBoMtQDqtPJBsHEdGnk5Eu0yxJWijrHhpf0Rvsoup/QNLK3Rt8vCU6MBsxu8txoxr8uAvAKJsdIgtJqgvJr6wVUG3SxG0ivGzqvGkpvcp9LSt8PVHQpZqDI2xDO2zaRoNNgO24u5DlNOx5ou2IsE2jAKVOMoqe3L1r1ovarlrzOMx6uHz6smA GvEr/izRGvqLGueqVThygGmsR1muwjMNR2J0F1x2WrsIgEPoF1JycK8IgDcLFP2pvp8NOqYlZwuvJU53nUXRMnPv5xJyF3JBF03Wet3QSMUQ+pSO+qFLqgPP+oKPyMlPP0sVQGGH6HsSCgXscWDsN0PDDqfIjrfy4o52AUNNTvjuq1/O6J8pNJjjmQTOGPAtGOdLJvCvgOCswOxAQoj2rvKVQsIMyowpKXlGwo5umHDNbt7pz2qvz2uAMOHqarFr TKXoFUzJloko6u+yb0VpYrb0rR2U4tfOAxfj72OT4oLKHzJj1rH0XuNuGu1NHR+XkoBUUo82Uo3zFjtpeo0pMa0r3MyN0bgdPwQcKKQbdAniaImlNgqNJQAHFcGtTtCLd1a3zjdiHY6QkyGsbndKHSHqGgKCb7Ss6groDQrXToLg8hhtBhsPQXQmj9tDZy6wRK7vzJQFia6mb6NMLSDTVcqKDOb/8aCKYPQJtPQJpnohgpiJGOD+aB7rgEqhkRbZ D9xFGPsJ7JbIB1H5b5GTMBK57R9+qyy1nJLNDV6t7xrYdi14djCkd97v77qojT7Vr7mbmb677e1aFDrz7jqmdR0zrJ1CHZ1P7brbn5qnm10Yixd1LJc9jPqZcnb98oGJzqSAb1d3apSiiLwUCi5InMGVTcB9I4m7KCGDHrhgi7gSG46TSE6KH3Kei3KpaM66GwKoDILA8ympiPSWhA7k6WnUr8D2niDOmcqtstiIyCLoX+6uDQoeC/VFnxbntDnV mlGwYp6ZytnZ6LGhL9brHvjbGEn/i+zGy6zDmITDWwTDm4TIQ2zkTOzpyeyog+yyT8TxzjW5hHXByiTEXRTkRaSMSmK6g1ylydllztbGSEYNzWStzTlIGXbopJzkXvJgb0WnUnVZTIaonopEwCXTadTiWmjqjUm7d0nKXyHsbsmKW6X8baHvcGG2GlgSm4C+MP5phxouXTSUrOnfT0q0L+GG7sqm6em9KIAxG0UxXKqJWarFppXkytm5Wx6JLFWJ CVXRbtnCzdn3jSy3qvja8TbnyqtqyQSjWlXSgTWD2zWj2M1WyDB2zUTbXDnez+zyShz6ziA3XnXDc43YwfW8zQ3mSg32S0YA3w2lzI2jNo3W9MiYGVcAmk6GBE2Qmp4UtX0iM9xbzSUAApLN3dxJ7vS4EYNGotitttv/Y87l8Oct6OPJqtwKmt4pl0ht3gWC9h3gI2RCjtmPZaXh9Z+un04R3C0R/CyZoiqRo456E4hZp48TaihVtqw5jZ795iji 1i9vN2tWnD56G4LW05HW14vqjd0S2mc13VmS+fBx1zJx1AVfVx1SiFdSx2hWeFmNtiwdmLQJ1FxBnFU2fbbijBz9LBpYAAaUw/wZzaSeAznnw8g0I6pdLZpaocI5obQ2reZdztZfzplSipSz5FipVTmebYGFrdptab5fj2ZrWP7eFb6bBEKsJUnhfkWjKoNqkA+tbY9RmfU6ncatTKk/Pb8pUfEOzKXcWfVdMgB2TRUIM5653eC8gV0I3smqMJmo vDmpbUAGCCJaxtFau6tb9ahBG8F5qnXa92h+j5p+lhF+gIxovDq6wFs+5Qbbx6oB7dEBt6sB6FiBnxn6iQSD75tztXBNzXEGoYYqlLT0dNw3AAGSC5OZC7U93Ai4qyi5Laydi5yfi8o8S+o+S6YbzpYbQCIw5eY5ppwI7fpsZpK46cEbZtYxbsLVHZXj5tjLa93A6+XdneHNez67orUcG80Yc4Rciy+B8VzYm2McMxnp2Y1d08a5B0M+ObsdktM4 tucatvX2s4C2hRCw+/56c7FJP0MrgbPPsVlNGFxShtQ+igAFkof5fsO3YRev84uwkkf/8cbyOUN8mQKMMmWSbsfUvcfkHC6hsS6xt+QGmR3kqeW2PiuMqViBHjUyCB2afUBdt267FO7jse6Kq+7hOnoJsWfZXlnbiF2Bv69GKhuJeRvLH9nN3yy5e9X17t1N6Lnt6EcTCbnCc0dL7/6Nuz6L6/6T7nmPnXmPD3mtqGcvna6x02FzrdS4frvude/f 7j6HvYjIXQGkiVEvqtfHOURL1lcfv9K9eUXD/3PuBOQJhhwvQwelguhre9Xka/EJp4frTi3MmXey2COKP/KCmvfianSQq6OQeEPIlRY5cNWmPDflllQ7a8ck+jHJrtCwZ4bwBaRKeZg1VZ6F9x6MnHrnJ1VYqZFOOjVWkL1C64dNaRyMXtp16p7M9OhtCbjYzr7Gdb6ivBShZyUrW0VKttGzvbR3ya84W2lcDrpV16ax9eQTLFD7Ry48BbEKA3zr iwADyd/BgQ/zC7R0C2tLJ3m/xI5EcyOn/d3lR0KY0cWWYVLOPAQqZVMamoUNAvSDD6e0CuxPQRm03J4CsSkQrPKvx08oDN6QQzB0EMyYLjMoa0ZKqtMy4IWR8+EnZqvKx67F9ZapfTquX1XaS89mPnfTluwkpTdoeM3UBI33m6XNFuFaCIit1BaiEm0tzfIY4UH5j8iIB3e+p4RO4T9n646C7rP3fohEbueQgoZAEkSPc4i9RMcK90qrvdeBvjOq CKVyLQdj+sHAHuizxSyl3QV/HFpURRLyCkal3IhmSzSaRc1BP5GLs0y0HrCdBGPPQVjwAHMMjBaKaYnlzRRNNSO1daPt21j69tBW5XFwWGUiQbl4BY7HPplFkbicR6knCWhEKwGLtohGjH4d1Qr7mZNWVjA5pNyM5/F72prZ9vCPNaXskSHZYgF2XNB3t7WD7J1k+xdYvsxyuI99ki0/bTk/WJQANouWDZacf23JSkSBx3Lb9+BnrEYSII0He10W psXcB4PpBC178fnXAAAEVFhkdWfik1WGFtdhEeROmMIQyO89hAxJLj7yOE48ThGLAnqgwj6R5eWSxBwVAKcGPDemrg7YnTxMjjtpGz0XLsLTQEF9uuKzAESX3uLAi1WYI0bpCJr6y8V6NvfVkCVPYIjfRSIy1le2tZojb2PXe9q+0JEfZRyj7D1rG2JHTAv2uAucgjDpErkAOYbVMduX5KMjlaX3PfoeVGH/c0WITN0HPEmBlEUOMNVSMKKJbEDn opLMWuS20FSjqW2w1QfKMJq/9s6jDZUX71VHuh1R1cVjnYIgG6i4+e0GASK3EZZ9JGgQmqtixEzfCZ2GA+dvaKiGOjNmeAjzEp38YcVFBuHXvJpyMwUC12wlbVtuxhH1E5KZnZfCwJcZsC3GW+LgV4xOT2c+BuYnXsiy9pwcKgFMOUkyH8TX9cATwGsTDzt75txR7YlsVsNI5QSQCugrsUUwMGlM0untWVNFSy5EY4qqqKmmijgGFdtRfpW4aV0b oJ8KuRo//NV2Kp1dHU5VLPM1zNEid3QIQkEQo1tFF81x3PIEZs3F5xDK+EIl+HVRl7Qj6Bo1aHJkK3o702+Z6CIoABCCdbjMiKFVp5JO3ZTs4SH6VC3mdOcoZ80YQH9b6vzQIo/wbEQA+EYRW7ipJX4QtnxULPoVvwGGfdFc+Y2BqyJg7sikGk0OxE6iKpATwIoE1Tm7GnjP9XKGw4jjB1lGo8v+DLRUf/3aH1sg8+PNVPiiJ7ekFipPEyW3BIlI UqeIjZ4VQS4yCcLwjEneGJ2tGhC2Jfwu0dLX67ripCMQ3nnwJ367jO8jRVBqL1Magi+J4IqXueJSGXizai+ZgZZwfFq9bOPAt8YMNdrOdb0rnE/sEwqB8gJB7oRaEqRhoABVfyUQLU5tSHekUzVNKK8oAg4J9LD3pnUQn6CUuhgiAIRkD7F0FUpdUPklPwm2CFoNwvhncLK5kSnhkAYdsnzbp1NDsXdE7E6kKktdDiO8BMnIy66VSOJ1UrntfG4n T0Tx8Q94gSl6nL1CWzfM5qZCyEt8rme9GSQfSX5X0e+KOYmd30JnqSdJw/PatUJ0mndmc53GfrmyCnz9zJZMzvv3ysnAMJc6/cBvZImmOTd+f1KDq5LGHuSKgtoe5ASmqa8joa/IgAGqbTbe9KQlMFLxqaCDprvZsfBP2HnTDhcUwAWU2AG4TPaQ4sAalVHEx8sp0AhpDhVgEmjy0xU7GGRTKmsSlm7EzAXDMnqIykxWjfAX40IEqy/EKWdqSGzM a60BJ1A4FEbR1aiSrxTA8zsNNV4cD1eDtcaekSZEC8vxRlEGnPCwkIcpBQdXFoCGVn6M6xoc3aW72gnI82xcolrKdMZZ/8c6vvK6cNAQKVMkg1TNkOYPqZPTNR1wnUdbIp7x9um5EvKXBncGeCRmPglgqDOdnuw6qUMqijDK9mc8fZG4pGfxS6mujBJ6MuzPHNOZzdJJrfa5pTOUltCUQSkltLJMvkdpqZmkkftpLITj89Jk/Qya1M46mTrqX9C+ aULBZPUnuvMl7hv2lypFBZ2vLIvGN+7wMYFhve0KyG5CDhVp/IgABplz9xCC9WWnWi61zYJ9c3WQqMx5KjDZxw66QyAJ6TQB5RXIecRJHmGgDRg7X6a8P8ELyEFLE5cZ7NXHezZOPPd2cN26lUDpesci8YfKrIGt/RPXE9tCUPbG1kR17G1t2UxE4kCRsYqRa61UWUkP2CY0kasmTG/sUx/7GkXUCA5UjQOWYnMUp2GGCC/uuc9FvtmGy1dWQQEg AJoYLWpygyCQQu2FayP+kowhZ2KGLe9YpdbI2ahPdJqoqFw416bQvek2z9RX0w0RPNFaFS2FfIDhdDPCFVT15vC32cuwEW7zo5wkugZ6L1ZwjJFUYhshUu+LyLgx6IzErcXDGaLn2EYtRVAq9YkjfWei/1imL/ZpjjF65TMVGwsUOTIF33Wui5zck/j4KIPZ9JIKAkAAtdxbqTBrYKMmmw7YtrP8UnSEJQS5uT2NIUqjyFt0V4RXRSnttBG2AW0L gB4C8wxx9wwRidFwD0hnlSfAqTOIuhpKvhbszhavO4U5LsBfCtckrR3FBzy520vTEeN4nmN+JPUqESUsxn2NzaQ01gSnM3weMNemlUZU1NVrjCj+34iYSE2fRMFGCQEu5TUXiYKDWpYoxsWsIR6hSPKeCzQcdMrZ6y9l3Y2tjARQn+9n0zIa3MNhSwmxbUXcxKgSirjnLI+dgt6Vxx7afSx530odpEgvKDYgoU8CbBMAphshGu/g2VDTXBnYxLRk AZeaPXZ5S0AVgIzeaq2hWRz56QkkRX1LEXpDsZUrZvlJLPkbUD6swZwJkFIDKBa65ATbt/VPAuAfVfqsnHtw0k7Uqho/F+UdTfl1Dp+fzFmSsKGI/ygWg6L1aGtrodDV+NkvmW9wFmZyPxmMIgK5BsWwK5pog9Fsgt7BKojYlY/kZoGWUsyTJOUCUfSv2mtj8Fe0hubstMnBKW5vYtuW0lOVVdqFSFHgHsEZAIAFUkA8cY3E0CTqeAmgJtVOLJiO zboaSqGsat+FZLYZ5qh0XVKdFbjIFzUgKarMPFkCOpchHeVXyKX2qMZ2bJFYNKTmoqba6KzgZ4zs5FrQVKnPFUIM9p2KSxFMFLMmwsr8jsAzaiuRBNpXtqX+iPdQeFMALeLWVRCg4SQtCVkLhoJ2OIBINJAFwwahKC8nuHGhirzZVdGhURLiX0LKgjCt5RZBZC9gi4/IAlLyHI1Rlmua8D4cXAyUry91a8oGDVK4mWr8lLoqvmjPhVxzSlDAhvvr ChpTVT5BMj1d/WYCSBZQVQSEKgHxCggHmZhVTepvCBQAtNXYa0NfUjWUJo1z8+hLULO71DmZFckyWZJupn19NfZQzcZp019RAGuazxrZOSKFrnaWcokR0rFlFjT+2IOUkh0ngOJpBlRQjhqQRppCtpbsSaGstf4bL3+KPauQEr7H9r9lnK+KWU13AE8goEqrUVH1iUyqPppE+VUkp+mRIm2HGt7iDLnHmiYtVo3gp1z41zsMygm+GYsjyWxCYVgi 9dsItoFSbEVe7CRTIrPaVLIS1S7drUtRH1K7WKimMaasgDRicRbS6xd610UNSKRfS8OT0s0zpLDF/S/RdyXgQlBnA9iVItSMu11BGtdQW7U6npEkl8ANYCgMzExUQKd+u2wsUBrk3DMeRumFBbi1roJbw6SW4OcBiIxpaENGWjQRFOy07KhUPSehgbMw1HLhoxW0VWVsHlUaqt8S0eRsTq2KqqCz2t4fTz1UC0iMvGk1a1R4WArBt5UldsNsKVjb khj6rDt6MRHqL5tM22EktpvZKKwxWI1pRtowAaL1tzIqcl0oO29Lztx28kWG2u3AcLtJ2q7TsmcDcgjFj2koM9pu166Vy16zGF9p+3pzsVQW9pSyJgVsjplo8CsayHfRAS+OawR8pSqWG6lhgCOhlb4qy06y0dYBDHQOoOXY7ctuO1tqRoJ2Uau21GxwaTubprrUAVO/wWdsZ5cFhgDO3dT1uUZ9aN5R6nicjNhVCL95Q1R1VNp9FC68R/OuRYGJ RGi6MR4utbdtql1bb3WWi6BZAETFkjOSSu3kprtV2nb1dZi1cmrp2R8h9dWup7YuSn2m6Vd5u/Epbu4HW7i1AO0LUDvLQX89S5ROYaSjBK5Y8GMO8FSltcQqCUNmsrtcysv0JcQ9MUwdYcsj1gho9QYWPYRPj3E6aNXTMnUwoa0br1UtOtrryBz1hC89HPAvbkpE1DabVZeyTaIuk2wisRde24tItrKzaalDehRSGLF1YkJdzSvEZLrl17aFdCtY fUciGXHiBlYADPRQen3kGTF6u0JvQf72aYjdYAZgwvoe3HtPty+hcL9p/Vt4N99uqZYSv1j2gjYz0IcODsqKmaKVk22Hf4iaFeKe17lAPXXNUPB7Uwoe/LbRyw3wE4BsxcdRVqJ111ZVNW3/Un3a1sFwG3IbjSNlAMVT+N/yyAyzugNs6Cld6rnbX0QP1FylNegXSgcW1YG6loYvA63s70tKCDwWu3T3v21kHWDFBo7dwYYMlAuWEbIfYkbqDpGO DJulXVkZKDWGSgg4e7eYpSNL7vt/Bq3X9pt3CHK1DusQ9wB5FEZTsiQvkbi0IBQa1OTqP3Z2pgk37NDqG7Qw/vD1cr6OtiErS1xekLZKtZh6rX20SV/6qC1h6nSZAVL2GWti4n5ZkvANmrXDFqovVvIjk6c4D7okSb4eKj7sAjc2oIykJF2KLm94Rh1tEbm1EG4xIW0oL3u6WpHA2yulIwUbAA5Gx96YzTDkYVIsGA2RRsAOCa4NUHpgQQC3VUdX 01H192ikQ+LMd3nlp4w2QZuBtxYAArLoylpTX7gmx2y0juoe7Wo6hjuWzHRhrGNADDDAwS4ZoMJ2f65jJOhhYsasMAHghrWkToMG+Wdb0BXC3rVmVqm5krVJekbWePgMOqLj4i6vegb9HXHMDCJIMctrCONL8Dsuwg9Edt3y75OM+1kskbhPGnATlB8faCcXLOBYW/xyEzabtNlGzTm23g5UbGlr6rFaJ+o6IeLEVABwrIIZsgqAkTgj9XukUbmw Li9Ga5mWjQ9SfTqnSdDHKvQzjoMOUKbBqUj/bXUynf7nB5O36Ssf8G2ogDWew1fVWFM2i/lYp1RgjPcP8KxNUc7wx6IUN86FtElNA02Um73GcDjx7UxEbfavH9TdRiAF8cV0GLB9+RgNkCYhMIwcjt2wcDOc0xQn5zpRhkeUYRN8GPTKJr093v/W2KDePtCmCFCVQ3IgJ+AIk/SlZDRm1D1+lHUHppOe92VSEy6dytVEASQB7+kw+yZzOJ6uTtWp Y5akLMfU2Fzi1ARWbZ1s8mdB6iU2Xw8MNm4VZxhFU+qr23GSSVS1U8EfVON6HjDS2vE0t1MC63jMRw037J+OWmQTRyKE2PuzGemCBf6yZRicaPYhukFkN0GDqAkD9nYnuls5grlLXmfFt55DYMYTN9q6TIShk2yy5AshCUXoXsFyF0wXlIl3NC2R225BqXPFX+387Ru5Mp7eQhVAuKMGdCOg2NZ2cBvSHFUbHGuO6sA1LsiHCbDjUp7eRzq8Pl6w cCpp1RvQKQKb8ZS3dvkggmQvhQS6CQ+grOcC+gRA6wGhC+EkC5ViAqAAkL8HLDxXHgi4YQKQCxwmpsAvoXILpu/pPAArrASVKgBCthWEAEVyEOYGiuxX4rKCNgElYID4BUrIgDK9YCyvhBw1VM2NbfUfm0yY1tEFSJLFs2JrdjqaloWYXyuZBArRVkq+FbnQVXsAVVwIHFYSt1XmAyVxq2uGauaBMr2V7mUAter6deh/m2FnLEJhLA4AcAF4E/Et rQBfQmQRYPhEDCrAGAhABABQEBLccFirGans9fZjZFUIiYKoPoBeCZmvzBBRgf9eyCA2MgH18wwsf/O3AIb/caG/oEPBkmO1hQJGwDaBsg2kdgNLG1DZxtCXUdBNqACjdUjo80NJnSG2TaBsyCw9wVUmyjcPALdd6vlhXjTeZviSdwqcJm0DdFg31ggewUMnzYyBXXnjBF8NKLf0B1gZdbe4g5jb+vI2gbbrcCPuUBiI3mAtVx4OgrQC67K4g4Qu K+llL4p2umNrW78EeBuLsQ3FRjbKRChg6+Qz6SbBACMBsADAlteoAQB0iHob8diAUtLYpvM7eudLRMiQGxmB0w7xAF4AgACzrwo7FvNgPMFlu4BREyFqO+RiViAlpQGMX1RqAAAUZY6gLwBfjF2i71IBIAAEo1Q6kZQIWD7jaJlABdibDSF4BzE27rdmgvEGrsB2lbqEXGwCHpsUROA/WsIepAthzpD2SsLIKneCBImrxpatftMAXT3W81HUddD0 K3PPW7A+JvfswCeALo4Aid5OwujTu7slguiQgIwHAju3zzyvG3WEGCCX2TEA0gwGrYRRIXedFrZwpfevu326Y1kcAPZ1JPBBUwwAfGFZCAA= ``` %%