# Excalidraw Data ## Text Elements Three SA operators acting on a beam-search path ^elem0001 commuting_swap ^elem0002 before: ^elem0003 R ^elem0005 U ^elem0007 F ^elem0009 L ^elem0011 D ^elem0013 B ^elem0015 R' ^elem0017 U' ^elem0019 after: ^elem0020 R ^elem0022 F ^elem0024 U ^elem0026 L ^elem0028 D ^elem0030 B ^elem0032 R' ^elem0034 U' ^elem0036 swap two adjacent commuting moves ^elem0037 tail_resolve ^elem0038 before: ^elem0039 R ^elem0041 U ^elem0043 F ^elem0045 L ^elem0047 D ^elem0049 B ^elem0051 R' ^elem0053 U' ^elem0055 after: ^elem0056 R ^elem0058 U ^elem0060 F ^elem0062 L ^elem0064 B' ^elem0066 F ^elem0068 re-search last K=4 moves at wider beam ^elem0069 macro_insert ^elem0070 before: ^elem0071 R ^elem0073 U ^elem0075 F ^elem0077 L ^elem0079 D ^elem0081 B ^elem0083 R' ^elem0085 U' ^elem0087 after: ^elem0088 R ^elem0090 U ^elem0092 F ^elem0094 M₁ ^elem0096 M₂ ^elem0098 R' ^elem0100 U' ^elem0102 insert known short macro; may shorten the path ^elem0103 Yellow: segments the operator targets. Orange: new moves introduced by the operator. ^elem0104 %% ## Drawing ```compressed-json N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBWbQAGGjoghH0EDihmbgBtcDBQMBLoeHF0KCwoVJLIRhZ2LjQ+QvqmVk4AOU4xbgBGAA4AFgA2AHZ++NHh/lLCDmIsbghc FLnIQmYAEXSq4m4AMwIwjYgSFfT9JJv+2tLDwnx8AGVYYJXBD3uBKFI2ADWCAA6iR1NxWnUIMw/oCEG8YB8JF8Lmd/n5JBxwrk0P0zmw4LhsGoYAMbmdrMokagkmdMBCAMzDBKDQb9JnjUbTHjxM6klq8trQ2FAgDCbHwbFIKwAxP0EPL5T8IJoiQDlOjFuLJdKJH9rMxCYFssqKGDJNx4gzBtpBjwGeMGUkxoNxoKoZIEIRlNIIeMEmcwggDrib mG8UKNcI4ABJYg41B5AC6Z0O5Eyce4HCEzzRwkWWOYCezuaFmnzxAAosFMtkE8mzkI4MRcPsBuMO4MAJz9Ua90ajWlCogcAFZnP4M6S7BAkOoY74U5Cw6cKAvQhGCo8SEPVcAMVw+ie/NQ7tKVUwNQkABVJIEEKgXgBBVAEpitqXMVBEqALZSvjhv1QTQQn0ZwwlwURJFQQlwTRShr2qFZb3vR8XzfcgoE/b9sF/Dh/04ICQMPcCQigmDWwtM4Ly gJ8iGUZp0DEbImGVBpf3cOjvUY6ACWVPRslwBYmEzNAS0nIUpW9BYCEQy9kLvBAH2fV9EEw7Cfz/ACiNA0jIOwaDYKooVcCELCACVwg3Co/iEBAp2EgAJL0fSvVB+m0HlCgAXzmYpz3KFYaLYjomghM4Gk6Dgeg4Po0E5YZhh4Lsu1GM4FiWekJFwO50p2PZgyOE57KFC4JCuMMeGVR5ngRaloQlVEhRhf4gVBYhwRaQMRXhd4Kga748wxQsEwjK ECSJEkySHKFKWpGbSiy1BBgWyATy7VbhVahBtSlWVFQVJAzlVGcoyELUJT2vVyA4Q1IKyGozjNDqLVxYYPO3cYey5a1JitNKhU9b1fRaOIzwEJS536MMbh3SAztjeN8hTZd0wQUTUHEoaC2xcdSyhctzqrGsHvrFGoSbFs21xDtxm7Xt+0HBzRzxiSoWnWcisXEqoRXbJ103AZBlTfdD2PS1qKQiQ9H0fQzL/AB9ZgKFwOBlXICg5LciAZblvDlC VlW1cly8uIYlZgkOR6hXY8wCDNnisONoUBKiYTSAxrHJNIaSOFkqWmIMPXFeV1XlVMiyrMFtBbJ50oRwQZzgbcj74h8vyhVgRAgqQiLQs4cKbfz6LegqQdkviHguTh85FmWbKqry3Zgmp+divSucMBrMMGWqp5Xj6z5GoObrtvazreFHuE6v6lER6FdEfRGgZ8UJYlYGmil8PmuluBWvkBh4YXmp63bdXQGV4iv6/lRO9VNWIM+gpuu7jWtqFnon 4Z/Q5Lsxn7FKPB+hdjOEDVy7YAzNUhtNHuZwEZxjJqmNGnsJzY2IMvMSqCywVmrBkUmyNGzNlbIVGmnZvqM02iOMcmD8bxzYDOEhbduYi35tZAYsxlyiyPPgE84NoABxVAgFcgRkDqwQgIkCwiECiJNrReiPFLbv1KLbTi8igp8TOK7ISWIPZzi9uNH2/h/byQkJIqU0jw5mTYJZVg0dUCx2ZonFyIN3KeTTiUXyhR/KQCzv1QIuE5pHSLo0AuXV glRRinFXgbJ4iDAZEyY+UIMr13QLgXuTcCpzgXEuJJncKo3GGH3Wqg9kTD2VC1OE49XqTxPttGeQ9BoL2EEvXGuJV6TQ3qGTagTuCbSWjwYYm0Tz9B4JtCpYpLrnwgHKLskxsCNzLGqM6F0dSylwPEYggxDiHFNOabg1pQHOLcgcqBjDoYww4VCeBSM0ANlRoedGeisFQgfhgzGzzSiE0WLg2sOR8htCKACnxgU9S5yBecPJ3cbjxAgAC7ybRyal EpsQqGtN6Z9gHEzYcCxqHvNoZADmjDslx0gNgIQMIDDbFbLgbg3iCUIGUESGAWtgTkDVjHUgdk2jwo8RnKEvic7yTziExiDJhURNLtwDFMTv4AySXXJaqxCkZJbkS9upVIUZDDDC1M/d6mlMaVCcZII9lhKNT1fV6A57q2aZiVp7l2nr2GeSEy28Kh9IhFabQoxrThidD9E5UJhlOjcVPCZqyJBykOkqY6SyH5P2ugaI0D1dkvTJNocY9oUqzOtK MLsDJ7TjEOcnCBfCgxQxhkkPh1zEH3IzE8/FEBXn2v0Z8nBJM6wEKFMi1u/Q0XkImPEShOLWZTnoZzNAxKWFrjYW9adB5uG8NkSscyYjNYCNXbIh2KxmJVGlMKji9s1ESCPMQYgHxNGrm0SJTV1wCnKikkY/AWsV2WMjrYmynKSUQATkncBuI3Hpy8ZnEF6B/FRDdSFEVhcoSRSaJEioIyHQMkHG6OV8wFUrHWcqLYzcECtynRqy4UKkijCKQPRE s8ylhpNWms1pRjWWoGk1F5tq3ljVKBNJ1m9XVUndbvFodoD64lGTRhNF9gFzIWQTONFZxPTPWZs7ZqaJ6BtKGAlxamIZnMreh+G6JEa1t5sghtbNSjNqLKO7BRMfn4NuQCulwLs6gqFeCsq6B8lJHGLCuoYAeUlERZAHtZz+0M0xcOlmNCzMEvHWq5hLtyVYX0FSqItKAU/oZUyllbLuCx25UBko3iyjOcqGC2Dxd9nivg5KtAg5BypVGEfdKmHs pkZVfhuLOT5i3rDN53VxTKMNJYwxnqVSYMjbqSUq11GmnDXtRxyAXGppdK3nx3pAneBdkSN2XrSRgHOmSkWoUwakihtqXCeTUaDq31k0TeT+pbrJpNE9U17lTtAJSoMeIqVgH9EGY14t/73L+jLdArpvW4EGYQV24zDyUGNos8WD5kAvnEzwZ225gWIDBdRWQsLboIu4tbTFhhWT1W81XALRDlzdzZAXeLNAfDgoSAAKprpfaz5UNFt3SweqxA9d t8A8/QKe89QSoRaPdhjLuWqbhte9r7Yx2s2cUisTY2d9iv2OL/S41OBXAX8tA02hAATINVdCTU8rIqEMQjDMMIdSQUPNcylhvrpV8qqrJ/F3JxHZdJEGORpj1qaNjfo78Sbg2DXDcgIvO1lm2mSTXstt73TINoA9WgAtNO1qHzGafSZ+1Zn9HmTd068aC+RsU1snZL26OoC01II5+zEkMbBynsMLf9PRmh5jpBcPTNoLecTlU7b0d/Ps75xzxX+r BQ2N133d6khdh83UfzYAsc4/bHjjFA5CdWfZrFr3XXSWJcpdStLvmMuMuwMy6orKw4cq5av/XRWBUuaUe0aDmfzcl1ihUOJX0gBMwzuKSqwAe7WBG5O8+5UJGy+/WFG9Uwe52bUr2NcjGU2zG88rGc28eDqieHSzqqea26eG28SNoVaS+n2oy9oAywm7kIaPIYmFeEm0a4unyt2KyV0lQL8T2H+EAn81SXYtoXYK0NwDI32VolcfagOuuIOgYbe5 yYYICkYUONyiYWOaY/e++5mFYQ+yOI+NmHa4+6hhCVMIW2+vYBOzMRO+hhKR+36fMM6dif286YsPCEsmcAie47OXhXO1QwuOsfO+6wSh6Qux6IuJAYu/EV6UuPWNw4BCuT6HO6A3hqu76GuDi2KWIOuKcgGvKwGhuJWxupua2P+42n+Eqf+tufa32jWnIIBiquAcB7ueGkB3u0BHmUK0MgeGBSB5qY8qBNGQeM22BLSuBC2EAS2nSKeq2O8QoS0K GemEAwyomyBO0zB0ykmxe0m7BZecmGxMoVeymteqmnejeJameZx5aMCe2m0NaMODwJm2hMeuhLa+hqOtmGOiYDm4Kb+pWrmvmmwcR/QdwcKCKphKKW+dMA6u+1hzxP6h+XMx+Osp+yW5+aAdKV+WWd+OWj+CA+W+RhWIGRRs+4SYU3+ZJ3QNWp4oy7IYwiUDRWGT4OGHuHW9hHcC+twuUy4eqvRIxE2lSgxaxwxhqOhOBo0jqye5ysx/G8xzeHkf aohBSdMSQyUdB7I72Za+eEaLB12saexd2GxD2r8KaJx1S/oMwDI2aG0wwVp70fCGmKcchpyFa4YEx9xvedajy8JiO8JHxRhRmSKRCvaoWGKVhWRNhjadhSJDhlOGuLhnCdObhS6nhJi6AAAMj4WmRAJmVuuEYESxMEVbqEQEaLhei7DETotLvkt0fiIYjJM+gIrmSZGrlHJ+nZNrk3gBl5ISQbgFEUeBj0mUWHgwMXDbriJXHaKMCtKsfKi7tlAA EIsmtGdbfruYy53ojI9GR7Tainh6Cl15oEWp8l7lNpsbzaSnTHSm8ZzFQhLSDJnErF57bSXZbEl76n3z7E6kKYbLV4qbVIN6OnN7yE6bhg1wekmFenw7RZnlEx6GNr+lj71g/GAnT6Cof4dEbm3C9xgl1Ab7BnmHQlhawkRnwnRmTpQEn4UpompYYnpbBDX636Xj37sqa5P4eIv7Ekz5lbKIVYUlW6VFRKDD1Z/aO5LHJKNGijLmZIxkckwGy7sj bmIH8n7koGHlDEnnR6wVjESn4HcYrY3myl3ncBJQeTxCDJKFTCVyOjZ7LEDAMFakvkHEHQxqLIGmcFTLGm8H/npo9jZpsjTl/xWgjIyFOmQJGoKEwzsiQ7d5qF3Kw71o+mvG4HD6IW/KBlBYEW45EVhlDpwlRZjqk6yWJlOHU6uGLoeH8oCLbBZnaw1V5ncQ7pBFQYln5lllsGkqVk3qcl7Y7GLb1l+yNnZn1UtnpF2KZHsxORdmuI9l+Z8r9l+I m4QalGUmMQ1xwZUlVG4ipSOjQz241wSVYYjVJKsltHInrk1nKo8kDbKWnnGqh6W4ClAgilaWx7saXmEEynrZyloD25DK55MHfkzJSal6fmGlA1HE15CgCHAWAzTUN7XHg57a2UQXxWPFaEFWzY4wpXvGj7pX/KT6/FG6kmoUXVdEwq4UBYQkhkWHhb5V4owXkVMLIlkrUUpY0p0WX4MXYnMW4lsX4nP69mv7E08UVHkn14/7jnuR9rjCO6pTOiMn ZSVjSWe7FU+7yWbk6rXUIFUZ3WjZCn9HTyaVYFik6Urx6VSkuqzRp40gbZjAMjeqOgFJTBy2kbqkOWA1cGbGsGg3LKPxGk8H3TPbQ2vbQzepWgpS9iAJDBuihWlogWum3DVqqEZUQCaGJWY3YHY1I4IV412aQUUxZVQnoqWF5WkWZ10JFUUXtGQCOFU7sLlUM6njLoSBLnwTrrZlt2plyKNW86FktWC6lmRHlkS5dW6I9V/YPoDVK4rBd2zStkfq 5Za5ZFOIXEzXuJzUFELUrCDlm6rXlGjnW7UmjKZo+ojIjCK2pKpEtEyXV3nXAny68y8k7mYHlL63qXCnG02rinm3jRJ5XlW2lA9IkE/WoDDBdg1xPme1TLA3bG+3l4Q2/nHEh116AXw1XGRXhhLGo0aFPEV0vFwVvG52GFIUE11BT5/H8IAmX5k0KXeaU3r7U2EUl103l0M2FUTrM3fqs1Jbs0X7syZY37ZYP780Emb1EmFHcXUNi0W5iqrVS1/a 2mOiuiDKX2rAADiKtbJatmFNZbuT9N1utWl91BtT1vUL9fRptceulf9BBPG1txBttoDQ6zIXmstXm70yUe1SxJ2Z2ht4aXtV2h08DX5XtXlQdfBMNuIDtIw32X2fa70X0bjcdNM4VreoFtwR2VyKdDxtdeD7DWN6CRDMFaV+daNmVZh2VLD4Zk1kWBTB+VdXD069dc6JV9O7hjOLd6A5kAA5LVSun0w1ebH3XugPaor3REWeiPaUJLlWQ/VPYrkN drL02+tYm2UvR2SvTkQMHkeI32U5otSUdMzI2tZLdSbaVaA6LEmcYddlI5Fo2dWucCQkQYzrUNibapbRhPEeRHrda9eeeMR9fY0AzbRnqeEyOqbOWY6+UXu+W5WDR5Wskg1DR/K9mg2vQjZg7cGcTg33hnfU2KdnX6XnV8QUITahZQyTTQ8Ccvgw/hZU8XTCVirU5GYzYiXfdw6iXw5zQI4xcI6xXloLXs8LSSaLYfVFJVvI9SeZZHe9IA5sC1qk jGA86uXJZ0Qpc0a8y9R81tAed8xpRYypdpdY7/Zxv/Z9YZd9cZYzmMNoAyC7V5lmrEqqe7ZqdA/tD7R+X7fdoHW/D5dE3a3miIVfKMnEqlD2Ck8Dmk9ponXtsodk7Fanend6fg7BUS6m6U6S/S5CaQjlaXXvqm0zYRhTqws4bZY4e0ymVVdmSzoMwvOIjW3W9Wz3cM0xM1QLuM62xAO1dEYJLERPS85xtPUsysLW6s+ruNcvbU6vUDnrkLVxehVB hKyORtb/lEpJuIXUeJYq6sAAFIqvslEYa2wzrDa3atv0DEf3+PmN/M6tvUXkW0ANEG3mLR7z/UtDyu6sBMwPXw3xesINhO+umkoOqZCHjD25bYzChsiEMlw1r19rRvQhYuql3E5OekJUpsEsEPptYcGHfIBm5PY5F25ssMkUstkXstNMlUtPuTltcJN1M4CK4BWxMAyL1sd3azMd7psfNsBGKJjNHoTO8TOyj19tzPwmPoNnJGrAsekA8dAML0ZF TvxxTXwe7OeISPb0SC70rUCXi3rVjnUkcjxKNbTlqO4AADSB7OjQJPVQCSlRjOrJjV7Zj57Q0ZtCetj+lMxlrID1rvAqjx2AwG07rkab5fVKoHB/tiDSmKLpQUT9eZxQFlxCdNxQCMVTYPeBd6N+Lw+vpGbJLxhZL5DRNor0jujUK24K+HFeFTDVTTLBbuHRblFKJbN6JqAmJ3NQjOJIjgrNXwrC77+S74tcjenm1USKU8QCU/utltzqSzZJ1K5h 76t6rd6VX8BbnaxD1PzRthrp597gLj7FrDjL7kA/SXqPqSpGpAaj5tubraxr5nr8L3rAdSaET/rb2GaWaKUyjeaBaDokbCHoOGTqp4FaH2XeTGNuH+XuHmbRX2bNNebg6ExVCFHjTxbtOpVDdbTyZlV54G6/TEgm63dARu6/OIRg9bVw9HVOsY91ZlX3JBiiz0nxP89Y17Z36v601c7A3kjO9S1Q5+9K7hnW1qAX024lh+8pUO7uAAAstZxy2q1h aqekme1/SHqY585t6MSa552a3YwZSd0Za+4JpA8F8+RdgcYcP7tgDcCE+DYE9sibilB9+i0DpiyD/aBl4ZoR8m9BYPsU8dIV8heS5fpS6LRV7LgMtV35uCd2sR8DrTWRyp3U8Ps1zXa17w+1514I0xVACxRswLf1xp/s2hUN8ORLVK6L7LVfMjU1tL/Oakl0Ar1Ryt8r9Hxt+r1t5r1+ze459/R53gV55bc+8b2dxCKlMkEOv5dQVnnQaMvd9e49 3qc9wB55UB8Hai3XkId2EqeIVtuIUAlk+ptz86RFZ7yjeD+U2nfk3l8lTnSU8H4R5viRwOm6CjyOoW5Rxj7XXGWW43R02brd0Vg19F5A221igD8epsfMmTyLK8VSArVITj20vRiduqx7FXgsySK+E0iazReniU7JqdZqJfEVoc2WrHNxW+nM5qL1EorR80BSczgAHkW+P/CFHZy1pasu+17bbga1vYD9deQ/fXt52vJG8rWJvevLQSC7bULe37WU Nb0GC29T2MmdytF0d6HBnemreLmiyS7oNUuSNRgioUTa+9b++hGHqlSf4T4SuFLEWuV1s7oCq4MfNfAj2YYNd6aafb/i1x4Zn5aKHXeirn35aF8xGxAwbv8T4KrtJWY3NdluDjZ/wl8UvOcqAVwAAAFZgS11oZrdH6DwZ+rwI14uctenAqxu9SO7AtIAwDJxv53iT+gdsNwWWvtiSizJ5+NwPxtC2cpPclBCLFQevze5+szS6aD7MGx+w9h/sNcZ LlG2B6xsq43vLLtfz94D5Cm8FR/iQ3xrocgyDLV/vjniAf9U+thdwRnzrrxk6OSZCqp02AGc5260nFXCTxgHtsKenbHiMgIrKoDx6dg9gUO2Z4CILhbPXAUp02bTttm3ZDekEL57acBee9CIQfVXZS1hK+aK0sAQb4JCAAiikIz5pDYY+jTIYY3eYXs9W1SHbs9XyEENB+ExKYsdxBaOMwWixdUiFwe7OVYWEXO+C9xi5/kehKXODu7wwae9j+Xe TLnFVwZQ87+hDHGsQ3w6kMLBmnIESEJ+CR81uAeOlnV0ZbEVmWKfVlhw1VYJY2u3gnPnyx64Csv0gQ+agc0XYV9Ru8AwSohhQx9omQMwWbjL1Z7zBTqqotvvkiPgOdMROQ/Vp/T27/Mf6evRbOa2KGrBQWpBNkNoEVIXIVSapSQbwEaH6Cl+LQlfm0IZGAcuhwHLfhPAtK2lrSzoO0lMEB5n90m4wnFlf15G5cTB9/YlosLKZOD6u6wzYcqOHA7D kSew//jjyOFADm2KwBbuZnAEdi/C0AoTrAIE5hEkB1PXtm7HE52C0R/VN4dmU7ElDFOk7H4Snxna651O+osvmBhBG6cTRlAqvuuw7CzJtw9rbdo31WAvAkR99OzhoNrpZD++bonETwNvGzZCRQLQ3qSNO4QB7y/uSkdIPWJA1wu9vRFpXmRau9tBGLdkeMPjalBcWUFWYVnSKaCiFhwopYd8VD7iiqGGFWwatzEIpBZR8fVYYnyR7J8CUn/Jrg2M 5bqiOaPgrmn4O1EBChWgIrThKKNFUCokVzRKEfAVpwjGi14c8U8x6pOgXRUeJzu/XdHXtteBQh9sPyfZfU/OYg0ygkAso3AewIbGyg0MX7NC/xrQ3Yu0J9bJjN+mguvGHT8qfZew3Ye3Pa2GGn9EOiNdvI7lQ6GDlhkPEsQjjLEFcKxWbOUWsNyq1i0enDFgU2LKotiGOXTCAMdS7EccVgYUnxP4SuH90O2gnLtvcNE5ji0BWE1UleMmLDtpOUU1 YPOI54EDZ2q4regaOBFHMaeYQ4XkfVF49grS9rEQptDm6rAPhdopbjZ1YHoD7Wgk3csYxEn3iPR2Qp8fwKJF+jXxJQwMaAz+rfjQuEmWkQBI6FItYuIEyNh71jb2tJhPIvFph35E4czB7korihTD7WCMJ7UtKQWgcFx9C6+EmWoRMVHESthUZMiZoi5bZ9fBWo3mr111H0S1x4faRhQNkYsSohh/agiFS4lYYAAarxKV75IzpnfT0cJMvaiTXO+I 41oUKkkkixpZIu2j6kdpOhnQLtK0m7UjEL8mhnzZfsE3/ahNOhj2d7syM+4/RI6QbIBK6AdJWSxhNxAtOtKTbGCXJAoh/kHz2mp0X+BE6phsNcHbD0eLXAKdjxLZQBK2ePaKZ3UJ7oA56UAltjxAHHxShxiUkcSgJSlPDTpjPV4VgMVk4CJ2+UrZtzyKlij1xxRMgeVL4qPUTmUte1naB4CdgbmMvYEJDKPanTVeHAuGViLUqIy8hAc9zkNJfE+c RBsk8fr9QgZTTqRf42aRTId4wNIaS01kZpnAnszjRXIn3o5Jv58jSxvM8sUhLKYHS0JVLR0VCiZDnTaueEnNsLJcFsM3BEsjPp4JoqUTNRPNfPnzT66x952FcsVhVMr4RDnZ5yafhzNBnZQAAGt7Krmy4a5sMgaVwJ77oFQ5g01GYIJH4ySyhYglxskA7DVDPGPYZ0D4zu4kze+ZM1ygmLX7Pw9JkTUOjEwg7xNwOfaDaB2FzHWTkOELAwdyK5mF yeZO03GgLOf4J9rpIsnyV/1bmNi/+gUmWXLOOHtiieTbcKSzxQUKy1ZTVOKTcISl3CdZDwvWfTwXl+yjZUnDdOgtyns9C+BUlcUQO+lG4dO5A4eQZyqlCUs0/2BqTLwACac8qUWIReHXiMRQkwOV8z6liTkZB3GxlvOkm+dd5Mc8FrZWGRUjYxickGsnMAkXw05tMt3pnN0G2TxCnMowQApgqmDgFpc0luXMYnoTJRmE5XihlrlU165iPUjrdJ/Q kSW5fkjwc9I1GvTu5BfPEnqOKk2zK5f00VADNtyeNfUnE+IY0QABavC2xdDIyGCK3mwiu8QfTXnLyJJh3NGf6NKFgtzKowO1g60zRWlnWZvD9upNJlxjyZq/SmXfOpndCQO1SdkIG0+wht/cMIiNhnLCpsykaTuX+XnIh4FznJJi1ybD3MHDKhZ4Ct/qLObnizPFuw2BdLMx4IK2xqs0dhQo1jnCKF3OWKaM01lD0pmNPWZqlLsUCLMp045XBQoj hfCFxnPVToVLoVBKfpoQh2SwtNHsJwGMwV0L2HM40oICDovhY7knFp0bxro7vrkN77iSCR4cooaNIDGYzQGdWdUq4uNSXZf2V8OabpMaUpiDJ3zENJaMdCWkQSTMnOecVnZFKYx+Y9mZyIgDQSMO/vOYYH2szmL4enkxuQqMa4eKgVv/UtmaIAFVsNlyII2PYgoBsBvwxAAAFZEgHoqAXWPLHwioB9AbARgLkDOECJQ4cAMVRKtwDSrZV2QeVUHE VX/gVVaq3sZgokD8dDl+ZJ2KOOvT6zh8knQatJy1U6rJVMq3dEatlgmrlVqq8IOO3Wb4CLZhAgEfQrK5vKv8js0JVLXtAjBs00wczpoASUnS7Fg7FJTCt77cD+pj4nXpvN9EG9I5b4sfh+Lfbz8y6KiwJi5Rp70jb5iaXFfpMgAJdoYH0L7H5SGBBULJkbbcF/JB4N4GVOXLaUXKAVCi0cyE6/tMtDIUIxZD06BbGX5VCxBV8s6xXqCEj4AFYgQL 4IwCVnQA11G68IBKG3VDMFEQiSNYgK7Z2rdZDqplUz2Nnaw3Y66zdYepp63KzZ1CkNU8rDUvKjpw3C3B8uqyi8gE+2T6KlHM7YAU1KIuWl1NfrpKRymS3NdkqkUFqhBn7fJRtjiGlATwR8K4tqUCaYqLlta+pfWpNKNr+Cr2b+Ha2/h/wd80dSCZABGFA89FihOWoYvzkzCkqxctyWysFlgKp1rDcjlAsWUwKF1rTeBbj0QXCr0AZiERDuuk0WJj 1FsU9YOICKXqCF162CaQpdUSIhE5ieTnOKoXBrfhls55dbMoaML7ZUa/9eNwqDXxwOdMevjEqww6tcMt9VvsCsGTQbLGnzbNeIvXl5rJJ0i9GYivfH9JAuQaCEBhuqWqK4G6i+aUBMWnaLQJbIpjRcnsl/yjFoygPghP5ncayGYoqxZXPc2glfMjgjlTMq5Uzq2Wc6p6RRP4bxwaJ70nUexX7m88CtQ8h2eSohHUkpgboHkEfErjmcaeLm1Worx9 nK93onmo1s52DnQqJFALJDZMRGlFqMZIWz1A7Uu5+pSMlzW7i0A2gXz0VNS6+dpMTFUySND8wyadlKXZpfu+aQtJ/L6W2T3orG4ZextTamLR1nxdlU4ucE1jKtKo5bpjxo4JkxNrYxjtmVtEx5uxRPC1aT2uHFlKew445fav7boCPNdZK5a+lNlBr+aNC3IiZtL5mbNxTC95eEuibgcvsbIT9o1OY4Qa4iSUSbXrQRliKkZfmxDaa2Q3bzZFYLI+ BUuiQ/iYWaiupSnIWlMjmlsND0DoJdI3Ekoz26YdzLGWcaJlIC0Ufsza02DU1+SW0g4sYbfbqxO+Vxaj0E28rM+Xgzub4u66Na6JxfcNVI0jXLsR5246zSZXzSvzcZ5nZQLTp6pa6l5CG7zavOPKs7YV+axbYWuEHFrRB8iiuMIV2y1DDs8/PbdSqi1VqtJKOKLjirO0fcw6fQttX2EGGkZLJ8HPMTG2l3kqB1TkodYAvgl8zWVY6ysWVr43v8/t 9Y6rdR32FLqJNGC0djuuakYLYd2C+HbcJWBJSZmdPOnRF2dUz1Tho1O5ebKM2hrOKaE8zb+tOa7jEMu+e0Evip0y9jIi3VzSwMg2JQGdPUpnRkoD1ZKg9AWjnTIqjlyLS1meCQeFsEz86aRgum+URs0XATEty0rOUjVg4Jt0tbG+XVlur0ExJlxXfLSVKYluY6dFNErRdJWENzyt+u7lQsuN3tzuWVE3ln4t7mfTrd36iNcvvCGO7IhAwKbg6B5B sgDqMvQgJ7tR0XKaoqS7qfDOxGn7fmvulGZfpD0obR+Eeu/fXmtBT9KCIhWfg/sw0T8qll8w7TWrT2vcG152ieDv3qn8KD+UhOlQxqL1IcQe9uWXcWIr0K6R1iE2vR5N13yjvJTehpkJvnVY9RNqy8Tess70SBIBkOiKY4Zh37LyeA+3BUPvwXJT1NXuq6rerIXZknDlCmfe+rn2fqF9VipfRXys0kGJykwKDilGPEJCpVtBtKWMCP3MGg5zOkOe fo4M5LAteS8aeUIHDz9Itkh6LXCzf3C74tou1MQBSS26Kpdv+7BkWM2k3rCWVekuUYf2moS1dx0g/fQzgN1zLpiBvjURLcX3SqtlhmrVnx8XUS3pPcj6c1v8wMTID1i5iavqlRiEBkM3czmOEBUA7ElUKb+FkZEU+aWd+RyRezq4Oc6b95I4MaGLtzhi6NdlXbRIYO2aT4xx2utdwXvkfd0xVpbNFmL/g5iel8dFo49rpVl6Rleh4Az0c+08arpD euZQJtIkt6ZZQOg4bLLsNg7tYs4ptFDozJuH+xcO+AeerwVI6r1KOjI8ksuV3qexWOvATjo/W0Kv1pmhhUTos3264jUtSYGCcdCTzHN2UfAOkfG3pqwVQipgxcf91sGIV/mwo1fqC1oaJpX4omRUa+OO8bedvWLZdid7YAXeX+iEyyPP6xthghYhyS9qAPMrstNepE3ltV0bHCtJx2XOA211VjTD06+ZbOtmNqj5jZuxY9gZWNF8Wt6x4Je1qjWd aRe67FaIqQ7CwiRTqSfQOKc10ZSGDma6bbkdm2B6CjC24kcUaRX+d5J5lGGMpOso/zH9m2T47hpgbVrsVshjPbTKMnAITJgVcySDIl2F7e15pt47Cde3Q9xlu03LfnMnW01G9PpmY8bqlk2G+VuJ0HSFJynbLqqpJrthrJwVayqTURGk+OIyOSmJ9I7CQDlNfXY6JqS4v4evSiMbGYjQvaNV1ur5/Yr4IhVxdTq4BHG2pkGodOcdg3Rr4NCptnT6 LuPX7w90cvg5NI1PP6gacghQQ2agtqDDTGUhLjouOQ/7bJFaqCe0ZgkcaDDOW3oyH0sGHSCDc+V03eg2Een69SfA3e4tQPHGTdHcurfSiWP+LRGX0/A7bsIP8ViDCjR1kfBmADap5qSNgKmahRkWfd/5v3VCr/NpKN5nBgswitVPFnsZEwXGfaVdpnyPj+22sx6x+Op7lB6e7ys2dOz0zvo0dZmfdpS3ap3SmFxlRpuw7dGuNeF0BSifHNomlRvk 6c8stnNp16OgA/E7PR3Uqze97huAZ/kpPeHqTam2k8ry/Po7GTrdQNSybPN3TlxeOjkwTq5NlSOLd5mM4hjdlWjzKDmjDCeLDjvnRt880ixFwzPIyszrB3btcfm23G5Ly24LSWvvJxyIL006ZNBd1NC6NFXV+C0abF2mmT+YEiy9CjB5Wm5dxihEw5YdMq6KGP64ixrpEs4URjjisY84qbnomeVtF9Ay9KDMW7ljTW0M2sZt2Gjbz0Z1hdTlIzUa konC4qwAEdhLsuK0N+chUzapLMpsOcHqath6VtrVy0M6APnuNX5XjU+fHprNOVvjtSmo31fCZNKGj9lW0M/I2GvykmH8k06MLGtVpS91lwdZ0bsvzDcLc1qZbxpcuQKMTfprE23qCm+WQpKzDVeDt2UxSyT/eikwju1kRXfDUV/JJXEwFBHlmNyvKeEfPPGa0rJA/npldiOk7UAPqcyrLVSjWjirIV84PaNoufmAj6IxgzBvevZnPrOtxU/maW1/ WWrvBpaFaEUURbIL2p+QT1dhtxaL4Bpwa4jeGv0bJdZpm4uZR0MdHbLabey0rpHMoSCLg89XZ+dgNCsddG1n7cgfMOV0qbMzbxYGawOHXmLfc062xfOtgjOLTs85sAkHD7YPZxV9VTfRG1uaSL0Keg+CuksrzJLZ+9gzccAu/XUNJRveba3tYO4rt5SiG5pahvJ6dLkXPS42YMtDX6CbS4NpXE6XhsJi6hns57eTqTXdDBNv20TftMEdRzZNpHhO e2s0W2pM52ju3vsMrr0AY7Rm9ctXPqzyToVjm1ufIGnL9Z0VzW1OLivH2hbBm1kxEfZNXmIzv05hTLY32DpIO5nPgsNu0ZlXgV0wN6zXY+t13xLeZxq8bebtFmxBFRk8Chmts/tMVsFpMXIdd5gcIO0wO67vz/0jXZ2GhmycxsTWDKphi932+9sMMk2J1G9lxSgd9MeWRN+92m0KocOpJZOemoky4Z4fcdz7imq2MpttUaJIru5p1VlKY68OEr3w h5dkTFtf3CdUt283yePrTBxCAplI40SEDPXSLoKqq7mZqtwaYH1dgCwIOVOFnVtLQMLWIczzoWk9dZpOb1Yds/kEtI95C+LppVI0pu3trC29qHNmLHL810ruxaWufmZRa1yOwgc2sVbJz/2tqXtYWPJ28+qd3A2GbOvl8LrMtv7HaGEpcgLT5negAY+hSSnjH+R0x7+fMdfWZLSpoCyqZbuR6LuUSvbP6m210E0HPdy3tDaO26WdJQ9mmSPbDpXa fuuaW7QD0xuMaoTFDy0wAetPTXbTIBttMrtJvOXN7rlu6XWIsNsPrDHDkHcFJOHdMd1EO9CX3oOUbmjl25yR2ct5ugqDzLPeR/ctx07N8dEt0qXbKysaPANQwF+ayHM5UBSrZd5ay9fTNV26nUDvW7U4NuWPhpoexB7Y+iS87xC6DwvK/t+Pv6PH9R/FY0e/3Y3vsATmy9hf9vDnQnQdiA9/cGNxFBw5Fkw15O9Pb3WHu1xOwxaxIp2cDqxlR4td yfbGRM9uVkGMBfMy96QwL/fTS8UFa3MzvU2q3iNzMN2rHjTmxwDd23bYNo1QuNgdnqGRjunieyo33ZhuYvaj/xnB4Zc8itmc9v2IYeZdmcwxXF/Zm03BJXugG1njDjZxAtjsk547c57Ewfb8tT6wBAjiAD3vOfBWxHiOm59zd3PRWMpjz94c89n2i359A86I9ye+cy335uMmIeZ1JBivUhNLw2RmuqsyuzH8pixxfoadN2eDoFhYqIZzyOO0XYXV x/bcuxaKvHTRlC9jb7BEv8btD4Jx9rXsUunTVLmxaC7vSNY6XUdvXYy7ctG6WXtWnlvVqYucuTr3Loi7y9HnUkOwiUVUhMF0dYYjAZT/PZA7MaXG8j9dhq43YQfVvb9CxAQxQRn4q8637x+vIOB6cyCwuKege4M+/Lw28VTa17Iob34SFD+0haZ2Q+Q4A4qHG0wJ4OcV1kuGHnphl8j09cIlMTgOmm4c7pvHOIAIR5c8EeEcjMPD7NwfSeh8Mj7H hRC8d4W4ZMC2QBCbkW8lYvM89wzqjr59Lb5fuQBk8tgZMK5PGaA7bLUvffm56o+oT3El6B2W8hdwuI5JthS2IIpE6unH+rlxxi4GcnaRdyDF24l3xe2uwwPqHt+XqXt0Pibg78A8O9eWjvINMwSd3E+jszvtn7l+dwGbZddd0nK7wJZyfXdZ2HdOd6gVyFiZDpCrCrfj3tiPc2exL5brNXKbqsXvvRirqtzvMeMKkVSLxmcm8dQdvu9XWpus1+8I 3GvoAG/eQ+aW9QZiQTGY+0ja49tI1EzGFhez7ZJfOvVngdt1+MfJuof0+wm/Z8DtsMLmcPhJ/DwScI9ts2bV90j5M0jcUfCFNLkhU/bo8SBCTJ5xK8pyY/KOU315tNxx83e/OpgKjEZErdAICeIuIDx5lDKhRchxP0X2u1J9hcVujbCLm92CwfJdPlPOX2UAgDbVJBwNepq3ocE2S4BJTSFjtz4+L01f57Czqa5luWeImzPli50xH3LukYyMuEqd 16f42zvKbaB1l4u8YvBnjrnn9K95+INEG/PUSIBAvwdwDKkzKoR3OF/pOVP2D1T3EX31gcKv4X3BpL3bVGQhjv4txFaAWm3BlGdXWXxyr04Nf9Pv3Gn4jcPe0+tKa+syMNuIUKUAvwPs9mr20fq+wftppLkJ4h4oubOKbO13e55YOe9ejnSC5WVsuJMQAFyzNvsWucvuH0wrZHrm1N78PoCLvsV+b5b4Y+Gak3kR9bzbJvM+efn67AcEAniR521G Anx+6rdalgPEfEwS70z4fGs/L3CX695z4mnKfUHr3rS5Gg+/fYvvWDmBtsn++A+tBun6r7ZImCGe4Txn/t/Q9h/9H4fodml9E4jtIfOVMdxJ83u9d0WMDXcjlyGYJ8fOoDPny658ppjQwkm1oQu4d6rTheKnEL271d8k+xe0/8X9n/cZAu3uTKMwQQ4+5oKW3M8Ivzq0Ewl/5e4bRXj7kB57ggfVDVX3xzX/mdDLIf8J6H7NbM9d+kDpdQ3zvYT9 vLdhx685zNZX9cUiHdRCM9lVm0udPDTc3CtJvTqko8aXB5xkcCPZkwUdXnf4TXcIndRzycC0V0DBMVfanwE96TE72N1rPcF2lNV/FPxzVN/Z8XhVmreT3kUUVHVyhZnHWUHw0S/BpSbMR7HkDMpFiVkGnJzKPtCGBAeKlQe1mNPNDr8BzbXya8UcMAx/8JjKi2mMknQAL3toqTh2XVmcDcT0hyIfAFCAoAVAAs4AAXmGA/VNVW/AjA56CYBgIUCB 3VAgPQIMhUAAwJhBjAswIsDwgKwNQAbA0gDsDDwYbwyxRHG1SE5VNKN1SlpHDHWBEnA6CFcCjA0wPMCzVLwNbAfAkgFsDiIFMwwCXnNk1SscAzO2J9KpKf2lopyFxgvoBLGn1BVyA9WziJZaZPxLcanG7y804HK9we8s/fzhQcTKaGHP96zH71/cb/Zs1aVVSDtUSgZWaYCrRu1MGGxtZaGQMdcujeQLw5yXVr3ice/JlynNaLDQLOIK2PExCl9A IkH+AFYBYDCAEBHdV2DsAfYMOCmAPgmgCu2a1SudxHETjd9aTSIOftu2PYLYADg26EuDffd+399P7QP0s8tvLi261ewFDBEJfUaP39wj3SYDqCT9Utw38ovNn1k9EXFV2Wh32MBmKcE5PDUwdeg7B14DtPCjV/h/4AcFo0n/UH1slJgGYKWcnXFlRdcWvJQMosWHNYON9gAnEzACQpOTT4dBvFYA5DAg24LgCVNCR3CDHVfQjjdsyHkKyDE3Vb2T dWtDbzUcQ/PJymBv4agmIcQvBfwykqgj8xqDKrFfyaDaA3zXqst/JEMe8NsPYzoId3boObcjXPq0OJP9dtyr9n/ZjUzRKQqH2pC7TWkMWC4fEd0icag1a0799fZhw69Hpf01N1XPBrSOsrdLJwzscnCfzydJgfah9Rn3RqQE9mSPN2REfQmEJYM4QuVwNCGA3JXktmnPgx5B1tNp2u5OnSMT+p33X8XF9pDQez6CATM1zGcc0KEX+41DVmSmDcbT X2JcgneD119v/f0NmV//Zl2ZDuvVkO2CcPM5y5DodBTSI8VbFRC8MXfRANp5kAnqkzR+bLTXB1vgpKymMUrN53FtghW2UF55QzjyGBVSRIxQ4IQwKzj9hPNMJXDY/Bn1gc9Qq4zi9cwoo3zCkHSPSExyw+xw4Cm3NT0l8/jbFy09cXEHwpVmjav0dDL+TsN7dGvGkOa8PQlvy9DoDFcPDt+uWJwqY2vG6UZC1AkFxSck7Jdzx8Iw9Oy89cAmMOPC eQFximBEwndgE8pKVMIvF0BN0AzCcjWVxZ8EQ9P239gLf6zNsJ+NVxj0bSOPXLCh0SsKvkawn91xCZfYCNDBzXdpQGFRKKDy7NSHNX3JDwfN/xocYIt0Lgi9fel279S6GuEN1MfdYJN8QAoAPnNzfSTWDdu9QIPXN+Qqnld8kA6b1vC1wyfWPtNwlb23DmPK2UJ9SBQ8IKDsrK6z3gpgcNkrgDvRVAE8cpDUMADINTkCYjRFFiMzVEQxgLk8Cw2t xP90Qxtxmk/wq/3ccbQzx209vHV200NY2eomg9/5F0LmDYIhQNddPQgEKQiGI4Yz9DtI3/3R9HPOd2SdsfTA3wjh/fH1YtiI/IJOYSfGNW60UoFDEdBrmCEOVo6IviTqiYos9xzMcwuFTzCmA5KP2R73afioIn3VKIrDsvfP11JDXdTwAi/3UjQS47/ZQ0kIj+UkMKibiDG3/1VIhr27CcLVexFF1nDCJFk9I6iyHD1AoyNHC+vC31w9IAqyMd85 w+AIXDb7UfRXD6TUUIgFXIxcSlCA/GUKD9NvPAOPCHQe0hmBolIqwX8QjCKJBcoo5f2oDdQ+oOZ94o9iKNC2ghTyF8qzc0MxDS/HU0ld9orFxlAnbRC0r9MbFaSujX/ahzui4PB6PdCGHaqJ5dSaGoNpYYnekMwjAw9DyooXPHH3Zd3PEfx6ivIvqNCUBo+8zJ9/cLbF7A8rCEM0ZJos71lwvoGaJi9sw58IWjXwpaPfC+Da0BS8lSZ0FeMzQoSO 2je7XL37sso/S2GdtPIE0zEKvcEwUjZCJSMdC+zPGyM8+3HsIHcnopYPs9B0N6NUC+/PZ19ctAjvSPscyHdUJNrgi+1G8nfa+wQDQY5cIYj9zNAKG8JQxj3ci1veGLY8fI/qMKCANWMxGRgqP5whD7mHWLG18kFaANjrveEOk87veB1aCudO2nVNKY78JU9ZBWmO4DI0JmPTkfYztz094iNLVuitfYdR19Q48dX5iifcq3iJitBqNR9kPSY30ijf QANwjQw5dzli8DXqOjDfIyfyrj/8WZDloRCef1CikgZVkbjV4/3Bo97wqL0fDz3egJNjrHN8KRcSzRSSXwrKN2UrMHHMBntjRfD912jL/GQzrDTXEZ1OxjJEQlMlO1TsxIdfYyQJhg2QZ0I/9XQlZ0qi6Q/sPWEo4nZzjtY4zDzN9sPX6KXNrfHKVTisFWAJI95wib2ziHI9ARbivfdcLqpoYxRx3DsA/4Iyt2PJGO29WJYBHlsEoCEP3ZH44FTt BW49fyNjP4n60z8e47PzRCqYytRpjbbOmP/CGYseONMJ4kCPIcMEiawh81I+6IXim/MOOXiSI6lh6o4kWz3QjlghzymNiEr1yx8F3DqNx8uowiLyDT4iuN89Bo6gQ2FGsfrVA1yggTys5JExH1sTIvDuLX9oXRoKNYEoxaKSjzY+8iUsnaPGSHQCZdS1ATIbMXydi9orRIK9Do4r3TRjLKOggYY6FmW7N0EjvA7DjErmLkCKohYK0jN4nSMjjxY/ vw0DvosyO4cbfAKwBj04oGOudmE93zSlpE9hOci+kwuL99YYv4NLj+E8uKVjK4p3Rpg2QVKFRdb47kKSBCTbGPFcbEu8J1CptQmNT82Iw0MSjkQ7iNjledVRI0kq1S0PpiCvHKJxcAPVBmB8CogxI7xII+pLnjK9eYLh58LSlxqjBYmxJQiWtNCKI53XLawx9d4nCPaih/WWO6jj4hWJ8SlkvxJViKge3Dpg/sOfwhD5eCJLHd4iSu3xijk2EIaD 241f0STTY5JKRd95NxiPkRkE+TGA7Y3JIgTvaZ2OgTxIt2MkjR7WJmDYEmN+WSZVfGpMJSsEhvxDjzE8dVFjXojpNITmxLDy4dE4hm3Y40FAZPoSxvRhO7ZyPeyNGTleEYCcjDzbplfswjGZOLjpQ1jwWTQRXyND9EMaoUawCAkKK2Tm+fFMg1hKGRLiTyUpoMpTv4s2JpTgE+tzSiLQzKI5TU5W0Lyi3knTynj/cDX2+Suw7mLMTTPCxIQigU6x NYT6o1CKlSoUlqIMi2otxPhT/BAJXlix/TYw3cgQ6qSdA4ke1gHikwpICYFnUuIldA3UuKLm0zkpJIuSa3S0DbsSlJ1hnJmU4SKkMR4k1zxDuU1pVBDx7UNi6Vp7NsMjTXQUVODieYzSL7DGo1EyISnPYcLjj5U7QPeErfINxPtLhGAOI91U4GKYSTlMGNYSIY/OM2UuErAMvM+EleNRTrU/ZC8xEEygwhDkhOtJsS8Y7WwJjSUomObSXw71OpSU QjoMZx2AweMjQuAnENO0JIl5NA4M0fByg41YkYFsoZ7YVP9wOYmD1jTGkjSLwTFgjNISdVg7CP8kvov1xCkuOVjh3UyMuTl5ClNEIIvVBQx4KkcRQi9Oyg5HaZJ+DZk3INvTvIy1N8SH0mmH9x7QJ833dTEJIERF301hKoCv0klMzCyUuRNOT/0pVx/iUQ00MjENhdKM2J7kwpOtC23MNPtCyQ5jW7BZ09SNwTmk5v2DsBjKzziINoOxIhSXozNK cTV0veLhTzdBFK8SuMxWOHlz4lZNfcQVEQKoNQvM512SRPdAWszokmgOOS6A+TK/jFMn1OUzWnK7g6cyCOggns+0vp1EipfQdOgyyNC7S+5gTJsL+47tIVOxtlFOrxjToI0xL+TFAghNyoV01qM+iWQkjPHDTnVVIPSM48b01S7IpcJYSxk2N2YyTnNjK3CueM1OycNxOUKtS8nAZHtY3GYgIxi74s8XEy0pHsEbSsw1iJiSvUmLMAzLk5F2Syug 6mPRcYtNx1bdQ07lPyiI08CLLMrLKCKDjjMmH0TTzM1v2pceqCBhsyxzMWN79dnZzxDDpYtz3zSWLJFKLSQlTzLydrKLkEAJ/Mhfx4kFs5Xmeyws79Jkzf0+VxJjzk40NAYo9KoS8xNXOoTpVeEbnwdi8k7SwKSXYoZwRth097AtdaiK13z0Loj5KUkjE2eMwz54yrNdc8MmrJlTDIhrPjjD7HQIsjT7LvWnCRvNVLayNU4fW1SebKFCWyJkg1J5 zp9N9RNShsuGPNSByRGKPChErcG7BpycQmFNZsrZJDcgsm8JCzZvKUykzGdeHJOS1spHNbSUc8oWfdeEXbLUT9s6oytDsonTJOzw0tmKRp80IzIqymk/5MdMFrFeOBU/4F7KYd7MneIADYU3NJczfstO28Tx/M+JltXQDsGn5wcu+Ihkoc/JCDzYc6TOYiVs4mJbSqUttL39M8VaKEM7QDaOSzcc8BKrD8kqBNrDOUknJgzBCYQmA8VDc6KKzI0v +C9y40pnPwSl0ly1qzs0+rJHDGs36Lw9rfKAJZsHfQZMuDM4kGJPSc4xbMNzIY+jwGy3I+XLmTFc7jK3FeMibKrQHyYqJICkgL2XTzxcolONzj9U3Mizzc/PIAzC88kQpiQEtTPP9C/DaG+9Ds373L9x41BMnjzspQhUjOYn5P0N40x6KXik0gWJTTFs5HxFjqsxxLDyPoiPKlj3EmWOjzMnIiORS483xK8z4jMBkdBT6TZJEzZ5E/NlxUoZbNkz VsilItyC8q3IU8Owb1G7A3QOJGqFKDPhBxyWU6vIJza8sSKgyuUxvPYRvUUZAtN4kGDiuZqc5DhCSbogAoZzfkn3Kqy+8zZwHyYUojI5yN0hOO5zZeQAECCHdQ0KWs2cJnz2skXK6ydUjPIuVl8iQG0LV8mGNNSFckbIPCeM+9Lyc1kjYXegZs1ULvieFIgrvRZkUgoRz5ohRO7iHjXuJ21TwO3NuSYGF/OL9IM2QT+9BgAHy/y3bUaw7yYTQOPr 8504At5izMwFPAKn4kQmDzIU/DOhTw8lgX3jvssMIycuXdzJRSgc48JuttwfgOEypNJIHiUPCpSU/TpXH9LNyKCm/I2y78u2mARvUfND7RTOA/hriK8tgpEiB0wr3rCRnZkD7AUMb+DGAl8EQvbzf8loq7ysMkzN9z17PItZz3skhPZzh8znPACIAWXkAAggi0Kzi/nILJBcoZNsjFwu+yo8lJVAKiD0AU4qvScg3cNjzbC7fPsLjw2JEGRiVA/O 1yRMgFRLtQHHGKszJMtosvz9Q42L8KOfJROLMc/S0BCKfwjKIOyW3A4hdzeCgqJGF3c2yRSg1ixnJkKqosAoDzy7c5FyK7M/IqzTFCrxUjyDrVzILT/s/cMByOtPJ0ShflAtHRjXCrZOTVmiikqzyTcnPLIK88hTMS8ESuSUaxgbelLBsmU1TMrzugvL2DSeArLObUn5OJlRtEmd+VbDqksaxNsHXKkPKjsM0zLDiWc3SLZy10shNACxw36KVTA3 FVMuLrIhhKPSOsu4tPTFs3rOeKIAO0oU437QbMeUN8mwuD9xs6osHBN9RKAdSRMt/N31S7PZOPYW1bwo6LPUygtvzqC+RXAZedJ/L2zfw9Eqdyjs3KNdy9My6PBwW1QkukLjSzYqHd/cqxNXjoYKqBR87Pad2aiHMurIQKvspAp+zaJJksjCT4jAtRSsC2NQdAEwwVwhDnNNW01DOSOssTKr8zorFLFEgIucYgbdu2qFu0vbBYLLQBUuzLIE9LIO j+gkZwdpR0r7Answ2PNEnTdSqeLrKyyoAp7zcMmAvaTdilxP2L108hIVTuc3dPtKt0nQvDdObN0oXysKBMslydlN4o/tOM+ZLvTf7Tj2+VHQe0Fq8eSkTKG1xyyKJ6xoYQ3NfiYk9+LmjYS2S3nLd/MFlYDKYzUx2jpkCDPfyYEodOxL68f3E8gxKJRhvij4M8spV9tLFhQqrymawDtbyuQoDCHytD06SjI8lS2Cfo8yIuCEBVAABAOANgAoBAIZ gEkApQIwNOD/gAAG5lVXABgBUAaStkqsgexE9AKIOCGVSBEYSqMCxKiSqkqZKkSvkq2AJSt2DVK9SoQFNK9QAfAjIajOCC7g0IPozRcxjMbRTC9AAMrRK8Sskq1K0yrkq3gyypUqAqjSsAh7KnSp31fS41PYyrCwMqjC+yiCtVyBgEEidARkTNEjKGiuLk2BEK8EsnLnQacphL5E7Cv8LcK9DTRDBwKvIxVsQ0ivrz/3bLIngi/bQHzQIGdxhESu 1ZYodDwwbkvpVki2QKJKKy2QtaSmo7ePeimQofOfLrSwSt6SuFIIElAKANADCBlAdKi0qHwDCA/A/AqIFIBlAfDGYBtAVAAYEboXarEgEACgE8CvwBYFhBiAIQDEBiAYCFUrIqjaqwhSAbQB3U5q54AkqlqhlFWqnqtSE2r7ESCF2qcgA6qOrKQaRExgzqi6tQArq/4Buq7qh6rWrVId8Beq3qy4r5DnSgUIeD3KiIKYyvSj6oWrvqlatJgka56q lBAanar2rQa46ohqsQc6qSDLq7IDhrbq4MERq/qlGqlA0amXNPM18gMtAqeUcmFWA4AOADeBiEfhmgBPQTIAtgS0OYAYBCAM6oXJlS0eO2QVa+4BRJSAN+BjAqgfQDeBHYjgrYJ1azWu1rFauvO4KScw2oegtajID3BDk0UgtrsgK2p1qIshOw1rLa7Wt1qPU/kntqoAR2vMhKC72sdqGBHCoDrtavcB8shVEOutqTfKFkjr9ALWD44aMwoFjrRa hASfANaiSs9A9VbQljrKwRYDTr/gCgEzrO4SCALq1aslFdqHa7WvzqJK68AYUKwNWuYAzgiUHwBZ5NAGcBxCZIAX4CcWJATUOMaECbrngHhTbqhCPK361fUSOPiRZaowDYADAOrQYACAOyB2Zuwb7AdB9cWOr9rFdP2zVqNQEgBo5W0Pqt3qqgVijPAD64gFl42AJYFzrcATQGCAAdU+vEwisBcglBO4HatVAAACnOjeAaQi/qi0GkASAAASmVBL IZQBzBIIHemUB36jfWoBeAJ0GgaoGv+viBAGtevLq34D2qBAg638E4AVnOE0sg64H2Hwg56rIGvrb6ouOwAiAY6zOA/YKWpNThAKAATgrdEvkmJNAKVSWpmAF4D9g4Ac+svq/YG+qBVVgXCEIBGAa8BnqxTRdxtkwgYIAEaC4OYwMBa6krFpKM+OIKfABGoRpEbWYHyHAANOKUwDUMSeFG8ggAA= ``` %%