See Measures and metrics for networks
How can we measure the "similarity" of two nodes (or edges, etc.)? Two main approaches. Two nodes may be:
- structurally equivalent: if they share many of the same network neighbours.
- regularly equivalent: have neighbours who are themselves similar.
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAhQAAAEpCAYAAADLdrsLAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsMAAA7DAcdvqGQAADroSURBVHhe7ZsL0vQmsm09Mw/NQ/PQ+p51uvc9u9MJkkrvqr0iCAnyQQIJoj7//uNfIYQQQgg7yYUihBBCCLvJhSKEEEIIu8mFIoQQQgi7yYUihBBCCLvJhSKEEEIIu8mFIoQQQgi7yYUihBBCCLvJhSKEEEIIu8mFIoQQQgi7yYUihBBCCLvJhSKEEEIIu8mFIoQQQgi7yYUihBBCCLvJhSKEEEIIu8mFIoQQQgi7yYUihBBCCLvJhSKEEEIIu8mFIoQQQgi7yYUihBBCCLvJhSKEEMJX8+eff/7nLZxJLhQhhBC+mr/++us/b+FMcqEIIYTwtfz999+5UFxELhQhhBC+llwmriMXihBCCF9L/v3EdeRCEUJ4JfwpO4Ql8heK68iF4kfI4Ru+jfy38bBEcuRacqH4EdhUuVSEb4OcTl6HEblMXEsuFD9ENlf4Rv74I8dY6MmZdy3ZiT9ENlf4RvJn7TAi/yDzWnKh+CFy6IZvhdxOfodKcuJacqH4IbK5wjfz9Pz+xb+k3PnvW5jr/Puaa8mF4ofIn//Ct/PUDzZ77xc/bneux69d3p5ALhQ/RDZY+Hae9lcAYvnVizxjv/svFOFacqH4IbLBwi/wlP/rg/32y/8Hyp3nDX3nvLueXCh+iGyw8Avwq/ju/7zwq/+Jw7nzLzOcdU+f/2+8bOZC8UPkQhF+hbt+ofIRe8PH7AruPG+eftYpT76NXChO4KmHSQ668Cvc8WGnv2/8SHwC837nWfP0f7fyrXmSC8UJPPVguXuTh3A1V+xD9hT9ZG/9H3eef/ynhKevxRO/D0eQC8UJPDlZvjWRQ+gg38/M+bP9v5U7/33A0/9twjfnTC4UB5M/tYXwLM7ak+ylu/f7Gf0fcUbcdc7wl4k3XCi+lVwoDubpyfLNyfwJzEf+VP39HJn3+HpC3pwVw965IqYj53sLd/W7ljvn5gpyoTiQp/91Ar45mT8h8/EbsM5HfHzZ40/IGWI4M449Z9md8/P0M5gcPOMS+BRyoTiIow6ss3nDpecq3rJm4Rj2fOjIkzs/lA6xnP1n/T1jvfOMecoajfj28zcXioN4eiKLt8R5Bblc/R7+IWYvUGaXSmTkyZMunlfl7adnxV1nzNJa3s3T4zuCXCgO4On/CMi5a7M/kczFb8J+7UqXD0/MkatiYk62MprHs/D1u7rvrTw9viPIhWIn3DjflCTfntBrYXOH34P8Z+35lU+hrja1S4/ytF+UxHQVjH3r+K/aV3XNVKg/cd3e9p34lJyqOyBJdAC9hV9I6iV+ZXOH/0YfHJ6sv4rq5IU+Uk/7IIFivJIt59tV+4o+dHFQ8TV94hpumcc38+oLxd0JQ/K+CebLN96TNtyV/MrmPhJ9LN6aM8RdP0IUckFj0vjQeyJ35K3WfQ1r9fZQ1xH0TvHz7Sn7fMscvp3XXyjuWqg3JQmxsrm0EXmqTkH+KzDWXxrv0ZA/b5w/4vaPzaxI70nc+XFkLtas+RUx+vqoUCc+b6Nwtj0BYvkVvuI/edyROG9KEl0ctNFAT8l+hV/a3Gfxxjmsue+l7g+9PwXFdSdr+r8ixm6t1O5teqfcjWL8Bb5ipLqdXvnL6QmJugbmhITubvC66SP/laS/85feN6Ecegv+q7b+wq1F8qfwhFiW9o3Ol7Pp1m7U9oR1ZF6u/C7dzVd9Ra5avLuTdAu+sWrRIUDRrf6b+bXNfTbMJbn1Bsht7QPP+6484UMkFNMTmMVxVYyz84zia/yEM+3u/q/m636WKrHO+nDoMHoL+uuENhpP0LvG8wt/pdDYw7GQP5Sz9twRaA/oI6P90JWn7APF8xRmsVwVp9ZHc+PFzzPK3euonPslvvYLouQ6GhL1LWhTaYNRfMNR/GB9ykF6Boz7jHwI/wc59OQ5Jte1H4jTc19F8ifwxI/RKKYr54w1qmvX1e+eP+L4Nb76J6k+nkdBIr/to1Q3n955an5c9q1889iexNF77miIbbQn1H4likFF58tT85UYKx73FdBXXUPlHW13rCPU3H/qGp7JV18oBAm2F0+UN8HYFbvmQW16+vu38s1jexrKp4ravdy1LjWOO2Lp5kPlrnlZg2LzeK9mNneUq+liePIansX1M38D3Bz33hbfmhzEzdgpmgfaeK+3eurfiMYbrsXnXTlGmxcdvnesj/rneTWaj1HRfn0axKQYfQ3viJf+6N9z68oY1L/moyvIf4mfuFAIFveTBX7q5l4Lic0YNA7mgHc9vznxNd5wD8oxygjp3LHHyP0rYYz62CyV2ZzdwWydNK679todc1XXa1Seto5n8lMXCtAHZnR4IVORzl2b5EhIaiW3xqeEH83Fm9C6apwaK89wH6zLmgMVvTvW6uo+PT/XliewZn2kc8d5uSbHjmTrOjI3v8DPnrYkvS+yEkQfW/84fUMy1LGp0P52NI5Z+ZUN/TSUZ2tgv129TuTGVTC2mpdrytr5O5Mt60jMV3N1n74+a8rVF567+NkLBWiDaNE70BnJ3sLsMJjJ3oLWb6mE69ky73fk4pV5wdg8H9eWJ+xP4ljLFt2juHKOPl3HX+A3RjmBhV66Pd7xy+lIiH+04fSr6a0wNt+0s/IrvxKexJY5J0ev/niSF1fx6Yfo6jnpII613LGOV+7tT9fxF/jpC4U+pmsuC29NCMa2tNmQP+HQ2orWb0tZs9bhOLZ8XLboHgU5cRWMrebjmnL1nHQQx1o4T67eZ7lQPIOfvlAoMdbw1o/umrj1YX7b+D7Z2G9cwzfDfK897Fmfq7m6T8/FteUJl2DWce3eIearubLPT37IUH6B3xjlgC23Wn283sSWw3yL7lOoG3ZNWXsohuMgr5Y+iujckX/kxJUwxpqTS+UJsH5r1od471jHq/usa7RUfuXc+ekLxZZLAgn7pqTQLXrLrxvGuEX/brR+W0ouFNejXOzm3tfwDq7uV3OxptzxYZ5BPKOYGNedZ+TVc7VlHSlvOlf3kAvF/yz2GtbqPYUtYxPY3HUgfILGuKW8aXzfRrceXu7gzn6XyhMZxXZ3zHfsa415qfzSmfPMrL0I3TKXbo/SIzHectMk3k/41O4OPrlQ3Pkr6tdh7zD3XrSfeL/6VyaQE1ejsVJqflJof/I5Q/w1Zo2J9ztivyN3Ruvn5Y647uSnLxSChR9tAtqRs2H8IHj6hqd8wh7bq2DuiVEbVpt3qfjmxp46zyev5S9xx74iL65EeatxKpdV3p6LjMH32VVc3SfrpD61htQp37KWn5ALxf/AwuuDo2RQoZ2no2RSQj2NvYfk1YfsWnzetSZauzVlhK93uA+tJc+rmOXF0Wh8384dZ+OVe/eOPH0L35/dGyBB/ONCoW20OZCTWNJ7Aop7D0f4OBKtgV8kHNpYh1HZMhaNnZID43pm++0MyI+roK9fySnW8MqxXpkzV4/tTeRCsYKlQ+eTD9dZHHVAHuVnL2vm1mOV/pLNGo7wEbZz5bzT1xUwnl/KJcZ61dzClet45bjeRmZmBSTR0g1Yv6zuvL0qhiO4+xauOV/6uBw55g78K5ZZHOE4mPOrDu0r+tF47txPd3DlnjnzDHB+cR23kAvFStZuDpIN3aUP4RkcuYE1jqtRv5Q1G/fKDa7YmOOr1/bXYH6vWFv6OJu1ufyNXLU/zz6rGMMdZ/rbyIViJZ8klA7FK5KQPo7eVPi74sAFzdWWwxfdK+a2w/Phrhi+HeXEmZzpXzly9sfuyVz1IT57jq8YwzeQC8UGPj3g9GE+KyG1add+iNdyxWGgOd3aB/pPOaiZJ11uzpyrX+TsdT7bd/LhvPNJ4PfMec46ricXio3sOeCwZWMdfYidmfB7xjtDfilbD5qzD6jwLM7Mb/LoDJTb4d/o7Dtrz54112edf99KLhQfsPcQwv7Ig+ysQ1Ec7V/j//QjIfvwO5y13m+7qLwZ5vqM+T7LL2Qdt5HZ+oAjEhh7knWvryNiWeKoPvChMX8Kv3Dyi+H3YM3PyPMzPhhnxfoNMN9n/JXijDMBnzlrtpELxYcctTH0kSVxP/F3xoHYsacfH+Nejpr38D7In6M/1Ed/MIgvH6Ex7N2jzyx8Zh2fQS4UH3J0EssfZe0Hk6Q/+oAdsbUvxoC+LhJrxzQDP1eNNzwPcoh8OjIHjvy4Kb4wh/U78uyEI3OC2FjHI86sXyPZv4MzPnAkMX7X+L466dcelsSN7pFzk8M6iCPz/sgP29X78c3oo30EOjOP4Ehfv0hO6J2c9ZHTR3nkH/mRH+w1rOlzFvMe7hhveCbkwVE5dqSf5Oc2jpyzo/xkHfdxztfwh1jzl4Q94Jskr7986PfqX0Oj27vaz9qM+Md3COKo/O/yeSvK/av349sZnW1b0fmzF+I5ws8vk1N6J/rYnXmpAB1a9HNn4tOvxqqN7G1ngP8c1sHRvtubF/jYg/ZA+Iyj5m+vj6Py6dfJheIgrkhG/PPhpq+7PrLaePRPOfMiAeorhAq5uDc39thrL9yxD78JnSWfwvzvPYfoP+u4n1woDoKE3nu4rUH96GJx9gfd0QFOv5Sz0Riz0cMI8nHPvtuTx/Sb3DyGvXO5JwewvfIc/WZyoTiQsw8YfNcPrF8szuobv4zNx3f2JtRYQ1hiTy5i+wnaD+EYtN8/OcOw+XT96TPreBw5sQ9EH/ezmPmnnXL0R37kl/rRfTln+w/fA3nyae5/mmP0F45lz57/dO2zjseS2TwYbruf3LLXsJT89KtfTntj0GbjOfKF/Iyx4jMbPWzh04/DVhvl5icfsLDMJ3PLmnxik3U8npzaB3PWx5DEX5v8xMClgjh434LiX3Mp2RLTFs68lIXvhVwkd7awVT8foXPR+bNljrHZuiY5Y84hF4oTILmPvlR84k8H7JoNqpi3brSjx0nfWw/5EAS5s+XjsiXXtvoOn8O5svYc2npmoLtFP6wnF4qT0Mf5CDjE9hxk2nCUukl1keC5dgM72B25ObccJCF0bMkhdNdwdJ6HOTqz1rL2fNzqN2wjF4oTWXtYLXGUH10e5M/f93BUfPhZezCEMEJ5voa1+XZUjof1rD0P0Nmyjmt1w3ayS06ExN17Gz76Rk1MbCqVIyC+vX9VUFx7/YQA5OSaD8eaPYCvI/dgWAdnwdozas364CvreC65UJzM3o8kG+Cojyy+iIeDFp/6iK85eGfga89G3XJwhLAG5dRSXi7J9+Z22Adn05o1WjrD8JEz5nwywyez50Bas5nWoM002nS06/Al3k/AdmlTj9hjG8KMpZxGPkL74tM9EY6BNZpdBpYuFMhm6xyOIxeKC/jkg8km2XOYaZPNLhIV9bl0CHd8Gi/62ezhLJbycpR7n+ZzOAedSx2zM0TrGK4hM30BnyQ1G2TrJQS0uT61B8W71Qe6o409Iod2OBvticqsnbz8dP+EcxidR6zXaK1yvlxLLhQXQcJvOaC2XkAA/0cehPhSWcsW3a1zEsKnjPbFqC15+Uy682W0XlnH68mF4iL0q2cNWzeCfI8OzT3gj18GlDU3/S2xE29+PYQrIM/qXyO6Pdm1heegs8hhzeqZo3XkGa4jO+dCSPo1Sb72QMOPNtjaj/inbOlrTfzo1IMhhDMh38g77cNa1u5PQDcfq3tgHZl71sDX0tdEOktkHY8lF4qLIYFnH1JtkhlsAHys3TRHQn/Epw3csTQG4sY+hCshd8m7bt+Qr9pTa8D+6r0X/o2vI+umddAaSrYGtw/7yal+AyS7DiQS2svsQys55QmbQPHwrGgcGhdFY1672UM4klGuOvpIzVA+h3vQ+TmCtXnKGflr5EJxA0r4UelYkt9JF9dsjDmMw9WQc2vzjhxdYo1OOB6dK0ssrbf8ZB2PJbN5A9ywu1u2fr1TBG0k/dKt/G6IT3Fqs9YNTb2OL4QrIPdqPo5Ys9eSw/ewZR2XLgu5TBxPZvRi9NGdoY+udJ98kaiw2Zc2KmNaeyiEcARbPh5LHy18JX/vYcs6Lp2dW3yFdWRGL2TNx1as0cPf0y4bay5AyNccylvmK4QZW/KIvBvlpnI33MOR6ziShc/JzriQLb/M3/orfu2Gn232EI5mS77NLsX4IMeXLs3heHSZWzv3S+uYNTyeXCgu5KjbNbAZ2DBPYinmymw+tvoKYcba/YJe8vIZsBbMtX5caQ3XzP/SOm45i8N6MqsXsiWJl3SfeLAR85aYZmN84vjCuyHflvaVcji5dw/Mu9ZptFZLawhLa5j1PYfllQmHoc2yhiW9pQ1zF1vGt7Th+ZURwlHoV2v3p3DyjXb9FQO52sK5MM+aa837DF+nypp1U3/heHKhuBAdaPUwqyBfOsiW5HdBXGvGtzQPay8mIayFfNPHhPyqZfSRIafzAToOrYHKJ2CnNVNhndTWnS2SPfXs/AZyal8MCU1ijz6maz628NRNsRS/5MzDjGz6cDR7coq8HX2owhjmy/f80r7finyqaJ3CPeRCcQPaYBxwvhmor7lMSPdpaBx1fNS10ddcJuQnhKNQHu5FuXmEr2+Fual7/yroizMm3ENm/kbYcCS/CvW1bNG9Ao3F8bGpwFLsyJ82vvBujs6n5Og/0R5/wrxkbe4hF4ob+aakn42l/kJZGvcT//oS3gv5dsavZPx+0x7ey5V/iVgiZ8g95EJxI9+Q9Bwinxyq9ZDX+6f+Qhhxdj7hv+ZzuBfWIutxPblQ3MjbP5xciPZsWr9Q6SKRQyAcyZWXdvI3v4yfw9vP1zeSC8WNvDnhj/r4Z9OHMyA39W92roacTl7fT9bgenKhuImjPshXo4P6qNjfOg/h2dz9lwJyWheL5Pd95FJxLblQ3MRbE/2MuLPpw5GQT0/KqeT3fdz1V6pfJbN9E2/8b63EfMavLQ7c/IoLR/G0D7j+WpEcv55c5q4lF4qbeFuin30BysYPR/Dkizo5/sYfEm8nZ8t15EJxE29JcuK8IlZ+vR35bzPC70HuvCF/dLFIrl9DLhTXkQvFDZDgbzn4rt6M2fzhU972659cz18szoezNufKNeRCcQNvSO47/5e7ELby5n98l384eD45V64hmXwDT09u4rvzLyjZ/GEL/Mp/c87kP32cT86Ua8iF4gae/GfOJ/y3XfrPIRvWko9FWEP+jdb55EJxA088AImJ8pQNl49EWEP+DULYQi4U55ILxcU86aMtiOeJH/B8LMKM5EfYSnLmXHKhuJin/QOsJ15wBLHlLxWhg5zNr82wlaf+ePoWcqG4EBI5/6J7G5mv0JG8CJ+SC8V5ZFdeSBL5M/JnyuBkH4XwTHKhuJAchJ+RP1MGQR4kF0J4JrlQhBBeQy4TITyXXChCCCGEsJtcKEIIIYSwm1woQgghhLCbXChCCCGEsJtcKEIIIYSwm1woQgghhLCbXChCCCGEsJtcKEIIIYSwm1woQgghhLCbXChCCCGEsJtcKEIIIYSwm1woQgghhLCbXChCCCGEsJtcKEIIIYSwm1woQgghhLCbXChCCCGEsJtcKEIIIYSwm1woQgghhLCbXChCCCGEsJtcKEIIIYSwm1woQgghhLCbXChCCCGEsJtcKEIIIYSwm1woQgghhLCbXChCCCGEsJtcKEIIIYSwm1woQgghhLCbn75Q/Pnnn/95GzPTQfbXX3/9b9H72/j777//9ccf16QBfe2ZI8XKM4Q1kG/ky2gfI5vlk/a3l7OQ/2/Lb8bzjeMK/+RnLxRrE3ykp83vqM7zjI/0WR/+Ky8Uew+VOuchjPDL5yzHZz8asHc572ful+5ceQJ7x4x99u73c82X5IFs2SDdRphtfNrPOHTOOsjO8nsGb4o13Efdg7O8WdqvLpPuaO/vBb9n+b6TM+csPIefPZ3rrxJtZBK//oruDht08dH94tavGHSQy7fa9atHtp0v2UifIp8q2ACyWte7dPVOu3wK6h3y60/BOwV/rqMiHbfjXXGBy0a6NVbaHdl0fuWjs6G4b7ep+uF9eD6Aclzr6znF+2wP1NyquvJJcdTmfUHVc3n1s+TDdR30OzuQT6fqba07yKqcOetiHfk5qj1cS7+LvpzZhupk9XAS6CFjs/iG4emHjvT07k9BXTHU/qRbD7JZXXEBflWE91H9CG/H1sfg8buvKsOH16udYuLpMo+1jkt4Xzylx3sdn/S8T6C99l11wvvwnAHlgNZ7JK+gq3yQvTPKR2/nXT54et/U3efMh3JSPtBzHaFYwf2rf5AtT7XLv9cp6Chm6nXu3KeKfAufX/n3dz1lR/F+1EaRjmLRu3yG+/jvzPgRlJiOkrKTrUlUJTdg75tBfh31J9RvpyvcJ8zqnQ/377rVj6AdXRXmwccpar8UIR9Qx0Zdc1vn2HXdv+vV+KjLTrbgdfclkOFXehpneC91nWvdcwKUSx3KB+WXUK7Il949d0FtID+i0/U6oCPfqtfxOC7DRvVq433xVIygduG2vj94up2gzX1gr3qNQ3XkbuN1dGo/xOFUv+F6fnYFRolbNwJ0idptIt8YbtP5pO4+vD7aGLV9Vu/68zbXXdsfECPtHrtv7K4fr/s7yLbORfUhvN0PNqfae70bU9UP76euc62z3p47NU+F8l3vs1x30JO86ngs+HS568uHdNTuMXUgkw1PUW3cp55iZku75sHnQ3F1Pr1d717A38HlNXYY+Qn3Mc7KL8cT1JOxS8wumbvkdR8j/6K2aXPovaO2z+pV1vUnqq6YtY98df143d+Beu2n8yFmfYnOXvXaF4z8hPdS13lNfZQDNZfctvoRM19uQ911vT7TG/ULI1ltd5/Vv79DtVXd9UY6wLt0q57oYnAbl8HIT7iPn12RerOmTvHbt6iJDNJT0ruObupKePctpOM+1K9kapcdcrV7XXaSoV911ea6tCF3O4e6ZCrAU77k18FGMn/nqX5FZ6829efx6V2orgLYqk+gXXX3QZGO+lMJ74b1dGqeaN1BOdGBrsukK//KG3C/s/5kL5nHqjaoPtTOE5n7dJDLJzqyo42iNsUAbsN79U/dkY4jf9i5b9BYoMrUD23e7nXsFZ9A5nF6vOEe+l30A5B8axKQJE6izqkHSwh3w55dm5f1Q9YxOwNk7zpqU6mxoCv9+o6+4F0ytdd6h/xIV7h/nu5DdXTcXu0U4X6E24DeZVtl3uZ6Qm1C8lGbfIf7+OkvQb3xVpToYc7SPIZwB/Xj01E/WkfQ9Uv9aWdJF2cIe8hPy7ALDiR+feVgCk9k6SN+xkcen37JfuqH+6lxhfeSC0UIIZzAkz/Yii0XinAkuVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTe5UIQQQghhN7lQhBBCCGE3uVCEEEIIYTf/uFD89ddf/1v+/vvv/y2qU0Bt4d/43HwjjI01v5Mj5/fusVzBE/PxF+Y9hF+n/QvFn3/++a8//vjj/38sKdRB7086IBRTLbRXiBsZY6R8ivyr4Kv21/V/JGf615hG83gVWsu9+Ya9xvOtaHxPGqP229vmXXO5N+/YO28cPzD2pfGv1WEeVByX7WVNLEdCX1etK/NDTq7h6nlw2tkg+DpRRyz4WWiyeaqMFpp2TfanH5jOPz5pB8lVPwNiX5tgn6Jx3JWc4qh51Hi+Gcb3tDEy72fn6tEcmftvzDvGvXbN0Fuap9kcfJob+HSo17Yz8TP/CtbmEHEdkbef0EY4W/wn0i3qaKF9XBrn1qRYMz+f+N3Cmhj28un8PJUr5uxuGN/TxvgL8z7jjePfuufX6DMHnd7WvsSv5dQbxttGWDeALzi3SWR+A6KNIju9S1Z9UZccP7KvuvJDm7dX6m3M/TvyJX2PhTaXzZCd4qtUOT7VBmqn+JhV5+nIVnqAXvXvtjzV5nXJ5QtbdOTfx48ubbIZIT2K+nMk93jVruJ1+fBxyUY+FCtFbUJytwO1O7KnvfqQvfurSFb9uo3H0KG+qq7a9V5jFC7rYnE0Hgrv6KpP2hQH70I26ErmNiqqV3vea0yy6XRV9/cOH0un5zJ0FTOoTUhPyLd0JJeO5KpD1wbUuzWRrscBapOcUhnJRjFspYtXvmu80OlXsGW9HfkUoz6k4+2jGCu0jdo7PJ4ZI/uzWDPHcHVcThshE0rw2uw+EIKl7kG7XPqSV3ug7otGP7JRux808uE2I9CZ6eFHvtUv7924ZsjWi2wl41nnQfF5n7yLWlesoCd2tLsM3JZn51ttik3xAW3IReejoliE68tefajuVP9d3W3ko+oI2jWuqidbIR1/r3WNrfYrOU/wfnxdePf56ZCcp/oH9Sl/kqtPxVBjch8d8oNdLS5XP/6OjmzBfUEXg2wEOrS5rvzLH0905LciW5B/6SKTPdTxVH3V5U/21afXgbp88q4+q57aHHSxlV/5ka77cjlIRuFdyE4+kX8C9u4X5FcxVSRfotqqH/mWD/mj8K7x6FnbpEddeJv0vZ2nZGqXPU/3VUEmfyNG/QN1FckpjmLo7Eegu6Q36pN4sZUP+ZH+Gt+ttBrSkVCnwoMA3l3eBeH6UAcG6KidQt3j6EBe/VSkQ/+KbcnvDPdDgTonIJ1K1fM6750NaF4ct1UMrqNxV9ClHbn3Rxv12fyoD3TlQ30i6/w51GkXbg9dDO5XsVc0fpfV/lXnqXf367ogXb27XPFVn4yl+unAvurKlyPf0PmmXtsqI7/485h5r7qjOk9BfWbjeF8w03Wwo2j9vU/3B1pLrRFUHbcH+aw69Clc5nR67pv3WpevpVjx6/1KT31IpvonYOt9VDr5ko2o8eu92jMuzSHtdU6gjq/66ORQ2xUTxfuo/VWW5tft8e1joO45Au6Pd8UrlvoT1a7icVWfNUYVwfssjlYyM6Iz7xSYGNq0MC7rfFFfCrLqrEH9r4U+ar9r6PrwMWiOXM/lTo3B7WTj8ykYa5eQslUMruNy4X5qjKpXGwe52zhVVv0Ddfdf67LpcopnnQO1oe9jA9mJWnc0f96v+tR7Zyuf0ltC/aBf45HMcd+8U2qM1aZS5wWwoQ3f7g+kj6zaKmbFBLUuHeFjxpfrV90Rbqci3B+ovzpP1YYikFUdtend/VH3ORrZgfqiXWUpNtV59/kXyCWTT/exhc6W+NRexwedTYfWAnhq3F3s8sdTNk5tcxv8dvOk/n08FOqSUdxXh+yXkB+Kx6s2R3KP0XH7EZ3fimJXP06dM/RG69LRRojBKPhOpg4VqHcofQrv6PLuk0W9DqTT8/dKNzmg/iuKRch+1ofw8QnNAahP9z+Kgza1Kwb3X/2Izp/rSl59eR28DVv3KR+zOZnp0O7+peu4HKj7eOXD0TxVW/C2Kq/9q159QNUF19Vcdba0d2vW4f3UPrfG4PMyA7saHzajmGnHt/pxFKNsVfcY1CZ4ly/JlD9Vd8RMj3YfS6frOt28yYano7bOv3SRzfrnnaIxV6rMfVdfosZQGbV3dGvtfSKr8q5thOJ0/Zk97d2Ya1v10dlorWdo/DO92lcHOaB1VL+qd/bqT7oj+Qxs1EcHcs9Nf4faRxfnjH9EiEMv3aBUhLd5Ed6Gv5F81lcnd5B1cvXnzNo6HxWPR3bVn9rU3vUJrtfF4P4pouu36lZ5rYPrVbnqHk+H27n+UjzQyb2/rg3UXlG7F6F4HOl4rKB6jUV11696bqsyQrpehGQOdfnrbFVmIK8xyZfa63stksmuFkc6oupSqr8lpCc7qD5qcTo5RYzikF7t19tHcqfqiM7e65JXf6N2ULv7XKL68Xrnq+rPUKwObaP4On1Y8tHFCbN2p+tTdPYVt0e/1qsPl/Pu8mo/ovqsVL/VZ62v7Ves15zALYeOVah3gXU3J2/r5PL5Kfh0vzN/W/qRn5E/tat/1/V4XAadjtqkA7Ib+Rq9exuoDjObGTNdtUmn5oXbQtX34nRtILtqX+uiax/pqo7c6yqi63uE647eKaKra/+pThn1OfIL1PHl/kD7mTaeKkJ2POsYah14ou8yyb2+BDqKRfYg/7QrLo8X0JG89ksZ2XVtQBtFfcsvqE4R8kOpumoTIx0V4T4p0le76mtwv0CfFHxRPD6o+jPko4IPyVSIWeNVXXib9BQjqE2+1M7T23kHnvLl7R0e6wjs1Q9PbORTMvoS8gk8vQ/5kHwENjOqX94VA0+PQdQ4qtxZnwUDug4UWAgOeZK8eBfsZR2C4m37W3mngzMsw5ytnS/06jfgSXSxEXM3vi3jXsNeX1vt167DJ37X+D7kQuE3rVoPQZAbuVC8C+1np2t7Msm7z1i7xm/KhW+Gby65fieH7DINRCWXidDhORLeAx8MPsism55vQvHnw7edpbM8Z/1zeMK+zLU9hBBCeDFP+aGWC0UIIYQQdpMLRQghhBB2kwtFCCGEEHbzcxcK/+9MT/hXsVfwhH84lX+8FUII383PXCh0efD/fUz/+vuJHzuPcw91zGfDnNb5pI041swzOtK/i6vn7Jtg7tb+3xSsNfN851o/EeZlzV6B2Xzj4+m5THyKczTmNXOBjvxQHLXV9jegcZ3JaN46pDtiU6adnZhXJL73wcQ8dbMdGddRvtYkXaezxsbpfFzNU/PiyaxdN9fJPP8T5mfLvMx0t/q6GuUCMY5yZ+0YRj5oG/neyizOM7hq7ehnTV9La7Ep2rMHd8XkeR9Lk/MtHDXGT/xgs7QBq1/0r9y0Hb+QF0fDmi39mqr5cPdfo57Kll+ls1xlbp+Yy4zP41rKHeRLeTLKpSXfI7Cp/j719SlX9rXmL4vdnDhtpmFAoQMNiLoOAzn1gkztCqzWhdqwkUw+eFK8D8F79a1+eXq7/FN3pAeyF9QpQr6qD0c2nR514qhy1UWV8+zkXZtwnRqHjxE6Xa9XmdB8IhtR7bCZ6YPikx5P+fF3R+2SuS4FZvbCbVzHx9rZj+yANj1dNtJ31CdIX0hW7dXuukC7ysgXhXeo9Y7OTmjOZtR80NrDqG/1ueQbRrHJR8X1qnzW50wmZr4FOp2fke+u3eewyunX5U9B57igPhqzWBoH9p3Op+Nn7kbr9m0wzromn/CPmWbyfRL9vS4MdSXCTM8DRc8TR3ZdMiBzv+A6yKjLZ42j89nZKx7qXaKP0NiF+/J36OoOfXvsVd7pC4+RPmrMbots1A8yjYniMmyoK04fi6Dd/cum9ulIh6fbuY3iEv5ex4svj83HUPE+sdE7yI/a3Y/r8a7+XVfttPF0m1FM0pW9fHRtwus8qYN8qU3F+0ZWY5F9BzL1BbzTD/D0GDvUv2KCGp/LgHf1gazG6yAX9V3+sZc/1SUb1aUPHh/vLnNGvhzZUyTj3fsAtelJkW/o+kEXVOcpW4pAr9rylMxteQfepe++1iK/jnyqH49DqM8Z1U7jE/JBP5ojnt6/9HlXXX5cDmqj+JhoV0EmvK86BxX5HSFfmi+Nx/uUvPMjvZmOsybmf0hlxJPiVGfSq7ieBi1mAVXZUgzIRv6UAFW+ZF/lWqQK7ei6nHFi0/lF5rpVLjvR2bu8W/ylMSOrdsgUF/I6HvdV/Xbgw+PExusd1W/1AdKZycDlmo8RyOq6iBpTnX+BbdVdqnuMFdq3+hM1lq6fKqeu8VPv5gLk2+U11tFcOuh7THVeefe6+4dq71Rd4TFV+2ozi8ffgXf0R8x8d76kX/1Sr2Nwat19y6/b41s2vNc1c33X9TZRbdfg8Ynaht/ZuEYgr/GD/Hm87h8714WuP2+rcr3jp7a7TLhOB3HMdEZ9AGPzeo2pm1uPbUS1q7RSnGNYg6rOqlzUNrerPpwqw8/MF7LOhjbZVfkae9nqOUL98Fzyu1T3fqGT1z6EZJJXW9VdT6X22fkV/j4Cm5nPjuq3+gDp0M57LY7qS/2C+3D96rPG5DZV1+uS1+K+nCV/UOuyqbbUaz+dL+lUmVN9C2+b2QvvD2Y+eXaljkm4TkXxV/uqi8zlXpd9LSOqzH3xlL2/SyY9kI6Qnqh1t+fZydVWZeD2nZy2rn0t7l/gr2tzOrsO9+XP6s/rne+ltupPzOJGNrKruN0S6LnfWQydX/RrW8eSzj9G5gbckPzWUoMcBeF6Sz6cKsN3jcd1kFWbLfXqD7xP77vS2YouLuYAGzHrFzrfaqtxVd1RHbvZLRS5x7gmpkpn4/WO6rf6AB/Dkj/N9ZKeQA+bWZ56v8hma7lUn0EfW/zxPorbYxbVF3LZV11Hcfm4wf1p3meg7/1g43XeVVefW8AGn7IjHo+79l/9I/MxUJd+tV2i8y17vXfzRZuvqerod3O81E8nV1uVgdvX9QHFgy2lG8MM9y+obxnXDOw0T9LnSbt8qIhah1Gb4qzxia4fCvjcdWvpIJ+BT3Tk3/VrbB6Dv4tq39HZVf4xIx6ILwhoonxCuw5oR0f27pOgPXCfUPmTT57SVbv7qnWQDxjJheQeA9DWtVeITX2BxkzBXjLVHfePXvVV9UHxuh64rnQcr1d7xQA1huoLuet3YOM+an8dNd7qA6TTzWUF27WxOtiIWUwu6+Lp6rWvEeit8Sfcd43FYxbVFzBuH3uHfLu/6n/NnFcfNR7s6zos+RQ1FqgxLvVf9b1eZUvMfPMczTnjrf3M+l3qp8q9X96rb9o05zXGuhbe1xaqX+9TVJ0tfTFmt8eOtlEudb6X2vBX5TBqB++f+EZ6UNfNwY+Pr9arrceNbiev811xHyP+EbGMOmMCUdsaPYq/C9VH7U7V07v7lQxqf3qv+iN76No65IPFqckhH7Sjp6fw/r3O02VuA12SoUe7fLld9SPfo5g9qTpb76cifcn1jp18dNCn/Co+vQufP2SKv45BIF8CO9l7f6pThOKCGq9ik06NSe2yQd4hXxobuD/kID8gv+ggr3FRlx24raBe20YoFopiBOoexwjpyQfvHpPGIB+qu34Hsi62zl4xqs4TZOdjUJvq7kulg3bpVl+yUV9qB3R5r3GN+nWZ4B0fPkbvR/EA78hrjAKZy3m63P2ht5aqix8K/avIr/C+lpAPhz7dh8s7fcDG2xUj8HS5+63tkmEvkM/GszRe9aHivpE50hGyxb9k1abi9iPWZ8APsWbitsJizZIjHMsZa/itMFfJzW0cOV9LvlgfFX0A9EHYwqwf+R/httKt+lvmZGTftQv/YC6Bry4e70Pyrk2o3d+rnrc7Xbu31b6catfhOhqDj0V1l1NE1anyytKFA3KhKGjij2bLZgj7OGP9vpnM17PpDvJPLhRPY8uPrC264RzW5FsuFAZJ223eI/iGA+DpaO0yz+tJXj6feiaxXmedU1ezZhzJz/thDdasw3dk5UEwYWfcgrUYaxYkfA7zu/TfHcO/0VwlJ58P+ay1UvkW1uzV7Od7Uf6tIReKEEIIIbRsudDlQhFCCCGE3eRCEUIIIYTd5EIRQgghhN185YVC/3Dp03/Mg923/eOnyp752Yvmd03/37gOjHs29jvX5gq+eWwh/DJf+xeKvR+iJ37IiOeo/13sqn/hT7z1Xwir76UPC3L01v4L48qV/2sdfa35UKIzm3ut8RVrczW+nmvm6mqW1uZNHDUGcvHKfeR7nfX4NE9Ga3nX2hKPcr9jJjuLM/rMhWLAHQt8JXvnR7BRlg4cPxSW+q2HwJ44Pz2MPmFLX0tj+rYLRc0P1vjKtdnCnnx7EkeNAT9HXSjwNVv3Kt+bJ/jzeeB975lOPHtims3lUfO8haP7bL0xYVoMnzy1gy+U63u74zLXGfUFand98DhEta92s36oewH0lHyyc9tar7hNBRvZun2tQ7VXXT7kx9vcR9cGsnVmunpWmWxmuA26M/3aB3Vfh9q/6PyOdGcxq33WF+1VNtLt+qHN26stm1zyri8xahedfMlmDVt91ENrNrd3U9fm12EujvroLPnZ+7GvnLGWe33O5uCoed7C0X223jRhbHpfZOoEgFztVUdyBx3aqq2/gw+Odh06bkub4nDQRy54V139691tacdW9tKDGpvLqq7Av9u5nvrmCeoXZOe6vCtWyWvs0hfuT325H+G2rgv44F22ikvvNQbqkjuSeUy8y5/6E64vG9qk7+9CPkH2/q4+eMo3T+kJ+aF9TV/ShdoXIKeuflXAfetdfgE9l1PnKSTDt+zVN+/S11N6/t4hv/IhOp9q5102isGRrXTVJhvJ3Vby6le6aped9HlShNqqH6Bt1q53xQ7el8ckG/elNrV3uD89RZXpXe3EJWgf1dHnnSL/asOP6rKhUBfVt3TVTl1t8qf4aHM0htoOtd37Ab2rvfMP0qMv9QfVn3B9dMDH0+nXdvctH8JlFJ/LimSu71RftU3vQu2SdYz6XOprxHh0/6FOQK3XDpBXHdH5qraquy5tna1T46h1Z41ujY33GlPHyJc/RdWd2QKyWq/6tS6qrtd5zvx2Mbit61ZcF5b0O/na2MDlM1kHstqX16s/6vJX/c78UJ/pu1+QvdpcF9xf1XWZqHXh7TUG71M+XV7rzixemMXLu+z17rrVt9f9vfr0etXbq9u1d1Rfo3hhpgt76vXd67UvfwfVpTfSlQy9Ojbo2mvbzD909Zk9sloHb3MfslcRo3eY9V+pct5lz9N9eV121GXv7+DvjmwpspFfqHa1XmmlfhNZckhdN7YuIMdtpeu2fkvsdJ1alw9R6xoTT2xnukCdeITsFJ/LHNp9TBTFWm0kF7UOPk73Jaq8onErJsG76vhQnaIxgOqO9KGTO1VOXbYd6GqOwfsC9+drqYJM+j43UH1XsOtsRO3LY+Ndvnm6XfUre8fl7leorbOlLnt/F8SieZmNH5DLh/dTfVJ3X+j6mEWdC6h1t+Xd+8V+NrZZnXf81jHPbGr/vHu8Lqu+ZSub2q9T5wUb4qBdPpwa42wMUOsej/oYMeprFlcdDyBTn1BjcjpZ7a/OKTaSd7F1bbN45dv7qD5q3WMAfKpe44WlORj1XX25DHxcUPsZ9Vvb8enz4v3y9D47/tELHbjDpcCo+0BnuC2BzWxpJ446caLGUfW8ztPHRN37rXVwe0Gf0h3F3dkB+ltiFt2cOZojcFv1pzirb69Xn5Uqd7883W+l61e2Hb5OgL63Yev1WexVttQ38m6sgN2sL2Jy31qXGj+o3XHfvHdy/He2IHtkXZyyQ1bjAc2rxlBjqD4lV/GxV2p/3g9gLx2eFPcteK9xVN9VLhtKHZsXUesgn1279FXUB+/qV/YO8jpOCnT63oZe1VmqY6O5Uj+CmNV/9e113kcxy4eDrq9zjclB5rrg/qH6UyxQdaFr87FUmfD58D7A7dDDX50TxdiNd2kOHO9r1g+4LTLqrlvnTnTxoCtkq/cl/uFNgQDP2mGte4dLdL5GtlrUEZ0v1+dddX/HL32OdAX1LrbaT2VkB7MYoav7OGsdNJ7aXnVnY+7sBTp1POjKtpM7Vc57l9gCuXxDtdd4BbGM/FXZUt/0VefB67O+PCZAb6RLPz5GqP3UOZC8i9H9dfIaR5WD+wB03K7a1HUagY/O1n3jR/NX43Bor75mdffjftHZsjZqq+2jOai+O9tuXkTnt45rNm7ofNNGvzW+ma33xbvWqdLJZmOooLs0b/h3HZ+nqgtd29JY8O/t1Uet48/rTjfe2RxUmfc1swOXY9ONrWPWp5BObe/4R5QKRgG5E3XWLTydYtPJqa+1FWr34pPkcvcvmQoyiutSfHy8U2hXm+s78jsDX9jKt3zwlF/J3JfLkYF0kblfp2tzX7yrP39XXbrUqx7F/bsu76B6RbYU+UNP/XRIh6fsvS/1j4x3r8sWZMsTpOe+HNqQuQ3M+lI7T/nmXXaqu676cV3wfnmv/ThuW+XI1LegTr/Q+QPa5JfiPlTnKT88a4yUDukBT6+D+tL8jPxqbKrzlJ1A7n6E6/Gkjj3v8gdqd6ov4X7A/fEU6HTQLpnHof6oq3j/qo/k0MXb6QFt6r/q1Lp0BXKgrY7T5wZUd3tBu+tCbcPebd0/7R6b6tVnHUvXp4+jjoF3ivqp+jU+yWhH1/uvVJn6AvclvK9qW8fmuk61o4+qq7hHPpzx6G6mDhS6tqvxRdqLJ0z4LrS2FPJW5Ui2+FvT/ye5uHZcW33L78xuJFO7fHTxoVNltKlUOh/gfmTnbSM7MdJzH1DlkqlPr+ud4iCTviMbIdvOV22Tz9oGqgvpSV7x9urTi1Bddm7Du+r+rlL1KdShtrkMJBOq13ao7Z0OeCyi9i25Cu1uJz3wdpWONTrqZw29h5sh+Hobg9GAr2TtxK5hy0KF9zBa1yfkb3gnv5A7d42Rvbrm17fodGkbneVbfC8xOltGrNVf0lnb52OztF4oGFB3ybgSYjgyOfB195jC8ZAndQM+IX/De/mFC0XOw2dSz7IZj81S3fj03DKoo9HH4MgYtHk4KO4cWzgH5YuXED6Fc4Iz49v5hTG+Bc4sfafW8v3X3hBCeDG5lIY7+CTncqEIIYQQwm5yoQghhBDCbnKhCCGEEMJuFi8U+keRZ7D2v9FUvTNjOhpiPeofGh3lZytvmesQQgj3sepCccb/sqRLgf8L0npxALWpHbuj/4+Ls1CsR1wEGO/V/0eI5v2OudbcHQ1+j1iPEEII/017U6j/i9IZFwpRPxr1sK/yMz4ya9AHfStHXSjg6o/7lXNNXz425uyssda+Qggh7Gd4oXDOvFDMfHPoXxnLjC6WNRz54bpy7MR95Uf36rHdlUchhPCt/ONU1WHrHxQdvpLVX676NSn57Bc5OthT3Jf7ENL19hobqI6u+lYd5AO8n9rGkyJ9+QLqGpu3C9rkkyIUE20jv14q7tfHISSjyG+NxfurjPSo0x9U+87G24S3SY+ndHhXu9ZVuJ4jf50uRf7A210fan8hhBD20f5M47B16uHrHzYObX14RLUXVQ8f3kbd+8F3F4s+GpJ73f0hU6zIan+8yz8y96U6yC91+apIF7wP7xM7+RD+jp58S7fWHdcHyb1/8D6cmT/eKdh29jWeWndfPBUTvtCTX4psvc6z+pcP6etd7aCY5UP4O6i/EEIIx/DfX5T/4Ac51DoHsQ5jnjrEVao+jA5w15W9qB8LqPryq+LyzpY2/Mq39GXvdH2NQIYOfh31J9CpcYHaFUOn43KeNR7VpSfdjk5OXf0u2QP9aWyu29l6rDVuoK3a+BxUG+l27dhpfet6COmFEEI4hn+e7P9DPaS7Q1sHur/PwEc9wOuhXn3po+B4LOjW2JxuHNh0H5naN2zpC5/SqXbVr8ak8Unuul1fVVd1FY2rxlLnEGTjYKd+O3nFdVyX9xqby7uxjcYrOjnQXvvRPPCOXEXtILsQQgjH0J7SHLZOrevgBv8ILdH59Y+G+wXe68fQfSCn7h8KB9v6Ean+RO0bur5GeD/eR43Bx1T79Do6tT/qks/mvc5Hp4efOhfYyb/HMsNjErPYoJMRi/upPniv44JqJ6puHU8XdwghhM9pT30dtjpw6wdg6XD2dwc9+apPqH5rHVwf3Ce4ftUF2jqdpb6Qdf7EqN/OputT/pfqjsud2tbpQPWHnnT9fcYohlE71H6Bti4ewXtnN2t3ah0btfGs8hBCCNv450n8P+iXqp4q+tXn7bXuepVqV21m9U5fdO1dG8iv/7L1vjq/MNIB2uTP5W4jXIciO9U7XXTcF+8ge4p/ID0W168gk50KeF9qGzHSwQe+KYoHPDaPS/rIAbl0pUddbegKb+ep+NWmItSXkH4IIYTPaS8UIXwzumiEEEI4jlwowk/BXyP0F48QQgjHkQtF+ClymQghhHPIhSKEEEIIu8mFIoQQQgi7yYUihBBCCLvJhSKEEEIIu8mFIoQQQgg7+de//h/HQjiJX1ZIKgAAAABJRU5ErkJggg==)
Mathematical implementations of these ideas:
Structural equivalence:
Regular equivalence:
- σ=αAσA (+I). Same as weighted sum over even paths that connect i and j
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAL4AAAElCAIAAADVwM/+AAAAA3NCSVQICAjb4U/gAAAAEHRFWHRTb2Z0d2FyZQBTaHV0dGVyY4LQCQAAIABJREFUeNrtfXdAE0n//gZC7yJFASnSFMWCiKKAvYJiRfSwAZbzsOud9dQXuUMsIIqgqIigIKgoFlABBZEmoEiCUkILLYQkBBJCQrK/P+b97ZtvghFsB9w8f2VnJ7Mzs8/OfGbmmc/gUBRFICB6DylYBRCQOhCQOhCQOhCQOhAQkDoQkDoQkDoQkDoQkDoQEJA6EJA6EJA6EJA6EJA6EBCQOhCQOhCQOhCQOhAQkDoQkDoQkDoQkDoQkDoQEJA6EJA6EJA6PxFlZWVv3ryBb/q7Awf3nEPAVqd7REZGwtcMWx0I2OpAQOr0ZfD5fBKJBN8xpE6vIRAIqFQqfMeQOr2GjIzMxIkTB0BB0tLSIHV+HphM5k9rcng83q1bt35c+qampnCE9fNQX1/PZrP7ZqX3CmVlZVQqdfLkyZA6Pwnp6emOjo7QIoEdVq8xbNgw+HYhdb4GRkZG/b0IHA4nPj6+z2ZvYHZYHz58GDZsmJqaWr8uBYqiAoFAWloatjo/D4MGDZKVle3vpbh582af5c3ApA6bzX779q2CgsLPf3RMTMx3TG3t2rV9uZ4HYIeFoiiPx/tHWh0ul/u9npudnT1p0qS+XM/4AcYbFoslEAhUVFT+kad/R74OGjSoj1f1QGt1qqqqOByOpaUlHDxD6kBAM/mnoC9oAr8xD/1F1ghbHYh/otVhMpnl5eV9pzBPnjzpCwKd6urqV69efd1/CwsL+wt1vmmEhcPh8Pg+NEZbsGBBX8iGoaGhoaHhV74PfL8Z88IOC+JfbyYXFRX16/wzmcz79+9D6vwDEAgEfSo/HR0dXC635/FVVVWXLFkCqYO0trZmZGT8zJKMHTu2T9UskUhsamrqYeSysrJPnz71r2/1R9k6XV1dLBbrp8keCASClZVV/20yOzo6UBRVVFSErQ6Cx+MBbxgMxoMHD350MTgcTr/mjZyc3A/lDYvF6n+2jrq6+uLFi3/0U2xsbPovdV6/ft3W1vZDH5GUlAQH592gsrJyyJAh8vLycMCM4ePHjz96DXggjLDa29v72vAKw+3bt3k8ngSLsKur63s9i8fjYakxmcz+aib/TN4UFRXZ29v3x8x/+PBBWlp65MiR35hOS0tLVVUVDodTUVExMzPr32ZyT9DZ2RkbG/uNicjJyf20yvo6SFgJLyws/BbetLe319fXIwiirKxsbGw8fvz4n1kVfaLVQVG0q6tLRkbm615MH9fw8vl8HA4nJSUl3ltJS0vjcLivZqSzszOFQvmndG19gjpdXV337t1buXLlgLRYc3JyNDU1xbcwJyYmTps27Z/SwkJbp3/g25vGxsZGVVXVPjVn2L9HWH12YCUCcd70RAooXLqWlpa+Nu3Zp6nzRcHUD3VN8n3x5s0b4dVQCY1QZ2dndna2SOmsrKz62h6JPt1hVVdXGxoatrS0yMrKYjZBXV1dY2Mj+K2mptZf3KBkZWXh8XhgLGtoaJiYmHyua1u9enVjY6O+vn5fLxLa5/Hp06e6ujrwm0KhCK+QGxoavn//vu8XISAgwNraGsu2iYkJgUAQiXPz5k20XwHpR3mtqKgQnwXR0NDIz8/vy9kuLS0VbxoHDx5cWFhYVVVVU1Pz4MEDGo3G5/P7F3X6k5mcm5tLJBJFAul0+k9Ymf8WxMXFiYv/qVTq48ePVVRUlJWVFy1apKGhIT7x08cxEDYOP336dOfOnRoaGuDy2rVrwvsKDh48OGTIEMyszsrKwm7t3r3b2NgYu9y7d29nZyf4PWjQoOPHj2O3jhw5wmAwwG9FRUV/f3/s1smTJzHbS0pKKigoCLt15syZqqqqkJCQz+W87+8O7t+2Dobbt293W4SDBw8KBAIsWmdnZ4cQhDsCLpf7uVsoinb8X/TwFofDkXzrc37pfH190f6M/tTqzJgxY/z48QUFBcKB0tLSurq6wtP5EnwGyMjISFjukCDbkHBLTk5O8q1du3bl5eV1dHT8n9Yej9fU1OzfrX3/YvqlS5dE8r99+/a+n+2pU6eKZHvv3r1oP0efo05ZWdnt27ednZ25XK74XT6ff/36dTc3NxMTEzc3Nz8/Px6P1/drub29PTw8fPLkycrKym5ubqdOnfpcth88eLB48WJIna8BmUw2Nzffvn275MGqt7d3v/tMy8rKFixYIDlOUFCQuro6HJx/DfT09FRVVS0sLPrdYPWL4HK5X9QEEgiEpUuX9ovi9LnXQyKRBALB5+bp+zXa29tFjGVxJCcnz5s3D87rfA1evHghEAjmzZvX3t5Oo9EQBNHX1x94LVC3aG1ttba2dnBwgK3O1wz3sKnhuLg4W1vbGzdu8Pn8gcGMiRMnSlb0XbhwgcPh6Orqwlbna/DkyZPnz58XFRV1dnYSCITBgwcPmEYlNzf348ePn7vb2dlZUlIivEoKqdO7FhtBkIqKCi8vr7Kysq9TK/ff3io6OrqysrK/ZLhvdVj79u0bN25cfn5+dXX1wCOHoqKihKnnR48eTZ06tR8dTtCHqMNgMGpra9etW7d//34DA4Pi4uIBRh15eXkJiyQPHz50dHTEFnEhdXqB0tLS5OTkHTt2mJqaOjs7nzp1qri4OCUlZcBQ5/379587xpbL5XZ2drLZ7IiICGjr9BpPnz7Ffs+ZM2fp0qX6+voBAQEDhjqWlpYGBgbd3iKRSBUVFa2trUePHoXU6TU8PT09PDzAb1dX1/Ly8qFDhw6kDktOTu5zhr+lpWV6erqsrGw/6rD6EHVEhNwDckJZAvrLdE4fHWENbOTl5fU7r2+QOn0Ctra2FhYWkDoQvUZBQUFZWRmkDkSvMWbMmOHDh0PqQPQa0tLSA0kCAKkDAanT50Gn09vb2yF1IHqN/6rBIXUgYIcFAVsdSJ2+DQaD8SMc7kPqDHwYGxv3u4UqSJ0+gcLCQjibDPE1sLGxMTc3h9SB6DXgyjnEVwKunENAQOr8XAgfOgSpA9ELtLW1fdFdAaQORDdgsViQOhBfA21t7X604QFSp2+1Ov36ZGRInX8MHR0dmF9mSB2IXmDQoEH99+A0SJ1/uNURPtcIUgeip+BwOJA6EF8DNTU1JSUlSB2IXqOzs5PH40HqQPQaXC4XUufn4cWLF48fPx4Yda2kpKSgoNDz+ImJiampqZA6Xwkikfju3buBQZ3eLn8WFhaWlJT02eL09UONtm/fPmBa+K6url75gO7jHr76dKsTExMTGBg4YIQK8vLyPXfne/369YsXL0LqfCU0NDR27do1YEzLhoYGcHRBT3Dy5Mk+vuDVp6mTnJy8evXqAeN428LC4nNuKLtFH3el2Kepk5WVZWdnh8fjBwZ1ei5rLygoUFZWNjMzg9T5GiQkJLDZbHd39wFjJvdc1v78+fNBgwZNmDABUudrQKfTBQKBlpbWgKFOD1sdFot19+5dzA8wpE6vkZ6efvnyZWQAoYetDpfLzcvL6/unYvVd6kRFRf3999/dOvovKiqiUqmFhYX9aPBFJpOrq6u5XG5hYaHk6YaamhptbW0Jp0n0FfTlc6kbGhpEAikUytatW7HzXdatW1dUVNT3T1itr68XPugqODhYQuTly5fv378fnjj8nTFr1iwR6uvp6fX9g4ZF+ikcDmdiYvK5A5ft7e1jY2PhicPfE8+fP8/NzRUJpFAo4eHhfTnbcXFxItYxoIjIITS+vr5NTU3Pnj1zcXFZuXJl338d/WnKpKWlhclkigTyeLwrV64sX75cXV0dhLDZ7AMHDmAR/vjjjyFDhoDfAoFg165d2K2dO3caGxtjl/v378dk51u2bBkxYgR26+jRo+CEQARB1q9fP27cOOyWn59fU1MT+L1q1arJkydjt86ePVtdXd3tegKXy62rqxMOGT58+Pnz54cPH75s2bJ+8ToGwmxbR0eHQCAQ/qZtbGzAZrkhQ4aIrDiOHDkSQRApKSkDAwMRcxX4w1ZUVNTS0hIxwJ2dnWk0Go1Gy8nJERGJuri41NXV1dXVlZWViSwdLFq06OPHj6GhoT1Z9Vy1ahWPx+sH1nHfN5NRFOVwODQa7c2bN58+fUJR9NGjR+J6F2lp6aCgoL5cikOHDnXzyeLxISEhaH9G36XOnTt3KBRKfn6+cOCMGTNE3oGPj08fr+Li4mIjIyORbO/Zswft5+hD1KFSqeXl5a9evSKRSCiKstls8Tjt7e3Xrl2zt7fHeoS3b9/2/VouLS1duXIlWIyztrb29/dnMBgEAqFfUwf3j7hjZTAYSkpKYEm8vLycQqHY29u3tra2t7fr6el98e9NTU0fPnxAEMTBwUHCGb59DWlpaXw+39TU1MjIqKOjo7GxUdhI73f4Z6iTk5NjamqqqamJQPRb/Ix5nZKSEjabHRkZiYXY2dlB3kDqdAM2m83hcBISEsBcCB6Px+Fwa9eu/e4PotPp8BUOEOo8fPgQQZDq6moymezq6qqmpoYgiJmZWa82kfQcr1+/HhivobS0tC9vfvhRtk5RUZG1tXVcXNzChQu5XC42q/sT0NjYiMPhdHR0+jt1wFyivLz8AG91sNUAYL6AmdwVK1YoKir+TN5gU5oDoNWRl5fvX7z5ylYnISHB1dUVdvb/cuDQAXTMDsRAG5xDQOpA/DxUV1cTiURInR8IBoMBZgQGGLS0tHq13w/aOhCww/qJyMrKamtrG6hviEwm982eayC0Os3Nzerq6gNma7oI2Gw2j8cD8/KQOhCww4KA1IGA+JdSZ4CdPi8Br169qq6uhrbOd0NxcTGPxxPeHgUBqQMBOywISB0IiAFFnba2tvv37/8LXyGZTIbU+SaoqKgsWbLkX0id0tJSaCZDwA7rH8KTJ0+oVCp8qbDVgYCtDgSkDgTEgKVOWVlZUVERfK/Q1uk1eDyeQCDoR55TIHUgYIfV//HgwQP4XmGr8zVobW3tg0peSB0ICDg4h4DUgYDUgYDUgYDUgYCA1IGA1IGA1IGA1IGA1IGAgNSBgNSBgNSBgNSBgIDUgYDUgYDUgYDUgYDUgYCA1IGA1IGA1IGA1IGA1IGAgNSB+KHUaWpqqqqqqqqqqqmpwUJbW1tBII1G+4pEWSzWD3WrefLkyY6Oju+YIJfLraqqcnFxKSwslBDt1q1bBAKhn75pCoVCp9PFwzkcTmlp6bJly3r7yqRevXrl5eU1e/bs+Ph4LLSkpMTX19fMzOzt27dfkcukpCR7e/sfVAXJycn379+vr6//jmkymczo6Ohnz551W7kA7e3tly9ffvXqVT+ljre3t4uLi3gBKRTKrVu3ampq8Hh871JEUTQmJkZNTe3hw4eoEM6dOxcSEoL2DGVlZVpaWq2treAyMzPT09MT/TFoa2tjMBg/ImVlZeWUlJTP3eXz+U1NTV1dXWj/RE1NTVhYWLf5Dw0NnT59ektLS68SlEIQxM3NTVVVlUKhCFMqIyNj0aJFGL0YDEa3zGMwGAKBgM/nNzc3Y54P7O3tw8PDRWLy+fzW1lbhEBqNJhLCYDBYLJZITsTTUVFR+dxdBoPxuaxSKBQWiyUezmazm5qaevKN8Xg8Cd4dPpc+yJWwMdATM0C8FFwut66uTjiEx+O1t7cL/8DQ1dVVV1fX0tKChRgYGGzatElaWlqkKW1ubl67du1XNGP/baOcnZ3379/v6ekJLt+8eYOiqJ6eHoIgISEhFAoFRVEcDufi4mJjY3P58uX6+vqxY8e2tLRcuXIlNTUV/Ovvv//W1dW1srJ6/fq1mprarl27QPirV6/S0tLYbHZWVpa3tzfIaHBwMHBUi8PhXF1dx44dW1dXt2jRorCwsE2bNi1atOjIkSMi5UQQ5MaNG1euXHnw4IGmpqa4gRUQEJCYmIggiIuLi4+Pj4qKip+fH7hMTEwMDQ2dOHEiaLfBX5qami5dulRUVJSRkbFt2zYul/u5aiorK7t8+fLp06crKyuNjIxE7t6/f//9+/ehoaF2dnbAu8+jR4/evn2ro6OzdetWX1/fjIyM5OTkDx8+pKWljRgx4o8//vDw8Ni5c2e3z7pz5w6RSExMTHRxcZk8efLcuXO7urp8fX2dnZ1BzWzatGno0KHHjx9vbGy0srKi0+mNjY0VFRXe3t7Lli1DEIRAIMTFxSEIkpiYuGbNmt27d585cwYcj7pz5051dXUEQSorK2/cuJGVlfXx40cPD4+0tLS6urpBgwb1rsNCUfTt27dDhgzx8/NDUZTL5W7cuDErK6urq2vXrl1eXl5kMrmtrc3Nze23334DkYcNG2Zubu7q6mpkZJSSkrJixQoEQebMmbNhwwYGg3H58mUDAwOQ8vPnz8eNG1dUVEQmk69cueLs7Mzlcrdv375161YWi9XW1rZ06dLdu3ejKOrk5OTv74+lz+VyxRvJvLw8BEGoVKr4rU2bNgUHB2OHrH769InP55PJZDMzsxkzZpDJZDKZfPLkSUVFxXfv3oEGfNasWTdu3AC3zp49Ky0t/bkOq6Oj4927dz4+PqDhEUZOTs7UqVNBIqtWrdq/fz+KonQ6PSAgAI/Hz549e+HChZs2bSIQCOPHj3/58iWKovX19dOnTw8MDBR/UHBw8KxZs0Bqhw4d2rVrV0tLy7JlywICArhcLo1G++uvv2bMmIGiKJlMHjt2rL29fVVVFci/srLy69evURQ9cuRITEwMeJCHhweKog0NDbt370YQpKqqCkXR8vLyKVOm3Lt3Dzzozz///IoOC8F+LV261MfHp6uri8FgLF68mMlkgub3zZs3TCaTzWYnJydjVNu6dev69etRFH3//j2Px/v48SNoY8Hd+Ph4jDrOzs5HjhzBnlJQUACa4jdv3jQ1NTU1NSUmJsrIyKAoOmbMmDNnzjQ1NXG53Hfv3vH5fPHslpeXKykpdVvIgoICFEU7OzvLysoAdUD4yJEjIyIiMHsFQZC8vDwURQMDAy9evNhzW+fPP/88ePCgeDiVSq2urmaxWE1NTatXr968eTMILykpMTU1vXLlCrjctWuXq6trU1MTi8Vqbm52cnLy9fUVSaq9vd3Z2ZlMJoNLLpdbVFSUnp4uJyeHxbl+/bqmpubTp09RFJ04cWJwcDB2S0lJKTU1FUVRfX392NjYpqYmBoMBqgXYowsWLGAymXw+//Dhw3fu3MH+yGazFRQUCASCQCBoEkK3Xy+G/xnV8+fP9/b23rlzZ05OjqmpqYqKCpvNBn2Etra2lJQUj8c7ePCgSKNlbW3dqw5y3LhxwL6JjIzEmsfff/8dZGDPnj179uzZunWrnp7eqFGjuk3h8OHD3bar5ubmJ0+e5PP5nZ2dM2bMePLkibm5uYSc7NmzJyMjo+c5f//+/ciRI8XDNTU1MzMzCwoKeDwegUCYNGkSCM/MzFRQUPDy8sJilpaWBgUFzZ0799WrV1OmTBEfhAYGBnZ2dgI7AUEQGRmZ0aNHHzhwQDjO+vXrg4ODq6qqJGT1yZMnixcvrqysHDFixJYtW8AJcy9evHjy5AmNRuPxeL6+vuADwzBmzJjBgwfz+XwdHR0sMDs7287O7gsdFoqira2tpqamERERCxcuBJ81aHXy8vKYTKZwH9Ha2urs7Cz8gfa81UFR9Pz588KtAgYOhwM6YJDdbim/YsWKv/76SzycQqEsXbr07NmzDQ0NDAZDQ0MjMzNTcqsjLS3t5OQkXAR5eXkJrc7GjRtpNJp4eEREhL29PagfT09P4VZn0aJFWLRdu3atWrVKchcQHR2toaHx6NEj4cB79+4Jtzooio4fP/7SpUsSWh0CgdDQ0FBZWblkyRIdHZ1z586hKJqammpsbNzY2Ahs5+XLl2N/fPv2rYGBAYlEEggElULgcDhfGGEBqKqqbty4cf369SNGjMA+awUFhRs3bqioqGhqanZ1dYFZAS6X2/Mj6RUUFOLj44XnG9euXSsvL89kMoFZCrpIBEEiIiKMjIzWrl376NEjJyen7qehpKScnJzEBzKFhYXJyck6OjqampqdnZ10Ol1RUVFyxjZt2kShUDo7OxEEaWtru3z58ujRoy0sLLqNXFBQkJ+fr6GhIX7L39//l19+0dTUBI00hszMzMrKSuF6ePPmTW5uLjZO5HA4IkmtXr1aVVVV5JiLwYMHgz4FXD579kxBQWH27NkSihYYGKirq2tkZBQTE+Pk5AQit7S0qKmp4fF4ZWXl1atXNzY2gvpnMpmnTp1SVVWVkZHB4XBGQpDsQ1j62LFjwoO9d+/eHT16VFdXFzSYysrKERERPB4vMzMzLi4uLCzMw8Pj/PnzV69eJRAIeDweNIYCgeDly5d0Ov3jx48sFuvWrVsfPnyQkpIaM2aMi4vLvXv3QkNDOzo6MjMzyWSyjY2NvLz8ihUrysvLSSTS7du3r1+/bmlp6evrS6fTlZWVz58/39LS4uHhISX1f9ZJSkpKzpw5k5ubKy8vP2bMGOFbw4cPz8vLy8rKysrK4nK5dDr9ypUr06ZNi4yMTElJ4fF46urqw4cPR1H0xIkT8vLyurq6Y8aMiYiIePPmTW1t7f79+3fs2BEUFESj0bS1tfX19cWp2dTUtHTp0m4HX8ePH5eXly8pKWloaCgqKpKRkRk7duzff/9dUlIiEAgYDIa5ufnMmTNfv3598uRJHA6XmZn5+vVrgUBgYmIikhqRSPTz85OVlc3MzMzMzOzs7DQ0NExKSoqLi3NxcUlPT798+bKfn5+VlVVAQEBKSkpHR4eqqqqZmRmCIH5+flJSUtra2rdv3+ZyuWw2+/jx43Jyct7e3iEhIadOndLS0mIymTo6OmZmZsHBwQQCoaKiYu/evdbW1lQqVUtLq1fmh6gbyqamJuHejk6nU6nUiIgIGRmZNWvWaGtrq6mp1dTUgI9VVlbW0NAQxGxubmYwGHg8XkVFBZuyNDY2xuPxLS0tNBrt0qVLOjo6a9as0dfXB8l2dnYmJCS4ubnp6OgIBILm5ubIyEgdHZ25c+dqaWmBMaQw2traGhsbNTU1u7V16uvrQWukq6vb1dVFpVK1tbWxKSI1NTVtbW1gaCMIAtKvra0Fn76MjIyRkVF5eTmKot2mf+7cOSMjo27P2+ro6ABT+MOGDWMwGEwmU05ObtiwYZgxoaKiAj5FkP+7d+/OmzdPTU3N2Ni42zWcsrKypKQkNpvt4eGhrq6upaXV2NjY1tZ2/fp1Gxsba2trAwMDeXl58fSx/NPpdDqdTiQSJ0+ePHToUCUlJRKJBDprUD8qKipVVVU8Hg9BEHl5eT09vYqKCnl5eQMDg6+nDkS3MDQ0DA4OxuZIIeDKeU8xd+5cyJvuZ5MhPgcikRgZGbl161ZYFbDV6R3q6+stLS0lTxH9OwFtHQjY6kBA6kD0C/yfKcFvREVFRXx8vJSU1JAhQ350vtvb2yMiIpqbm01NTb8lnczMzPLycpEpFhKJFBcXh8PhelWQ+Pj4169fs9lsbK6rV0hOTk5NTW1sbBSxq+7cuZOdnT1+/PhvrLHk5GQ6nY4tkH0Rly9frqys7HbZ7vu3OhoaGuHh4UlJST2JvHTpUgcHh94+YuvWrREREQiCyMjI5OTkhISEfEuGU1NTt2/fLl6b6urq165de/LkSa9Sk5OTO3DgQHR09FfX3ubNm5WUlETCOzs7t23bBn7z+XxbW9uSkpKvSH/w4MFbtmxpaGgQv1VWVmZrawsmSxEEYbPZ586dGzt2rGR58fekzqBBg1RVVXsYedmyZR4eHr19xLx588BkuZyc3NChQ78xwxcvXrx+/br4utWgQYO+4kQtFxeXbqebewigIBPXkQmH4HC4DRs2iMvcegIbG5slS5Zcv35d/FZ1dfWGDRuwFbpDhw4pKipOnDjx77//lpDgPzavs2bNmq/41+LFi79XBq5fv15aWtpb0ciPg4qKyhdLJyUl9euvv371Iw4cOGBiYmJhYQHEhBhmzZo1a9Ys7PLVq1eWlpY9MpMpFMrjx4+9vb2XLFmSlpbW2tpKpVKLi4v/+OOPlpaWBw8egJ6FzWYXFxd7e3t7eHhcuHABG9UTCAQgfNy+fbuIQhaAQqE8evQIpJ+Xl8fn84uLi+/evTtjxgwEQVgsVnFxcXBw8Pv37/fv329vb79u3TrQ19rb29vb25NIJJAOkUjcuHFjZGSk+CPa2try8vKWLFlib29/8+ZNEFhbWxsYGHjixImqqip7e3sRhcpff/0FdEIYiETi8ePHFy1a9NtvvwkXBOR/3rx59vb2WBve3t5++vRpb2/vNWvWiAixU1NT7e3t9+3bh3UBHA6nuLj4119/9fb2XrRoEdCoALx7987V1dXd3f3y5cuSj54E9X/x4kXw9+Li4qSkpPj4+PDwcFBR2OMQBKmqqrp8+bK3t7ebmxu2kCctLT106FCRTTMsFqugoMDe3r6iogJBEBqN1tHRUV9fX1xcLKIFEEVra+ukSZOuXbuGomhubu6gQYNiYmLevn3722+/SUtLOzo6rly5Eo/Hoyi6e/fulStXoija1NQ0ZcqUyMhIIM2xs7O7ceNGenp6YGCgmZkZUKkK4/jx49evXwfpr1y5ksPhBAYGDh48eMOGDSiK1tXVnTlzBkGQ9evXBwYGBgYGjh8/fvv27efOnQsMDHRwcLCwsCgrK0NRNCQkxMzMDNPrHD582MXFBfz28PDYtm1bbm7u1q1b1dTUQCB4E2vWrPnzzz/BSxLOlbS0NJBgY7IYOzu7mpqajIyMwMBACwuL//znP0DPb2dnFxERkZiYuGDBgtmzZ2N61ujoaJD/KVOmgEBPT89Ro0b5+/sHBgauWrVq9OjRIJxIJC5evLizsxNF0f3795uampaUlKAoevDgQT8/v6ysLBKJ5OvriyBIZWWlSO1hKsH6+vqzZ88iCPL27VsURYOCgoYNG+bk5AQqysnJydzcvLS0FAgmx4wZk5OTA+REdnZ2mJQqKSlJQ0NDOH0ymRwQEIAgSFFREZB96unprVy5MjAwsKGhQZLAFNhN1dXV4HrVqlU7d+6bbLUvAAAgAElEQVREUfTly5fy8vIsFovH47FYrNDQUBsbG0yZCwSmdDp9zpw5dDodS27mzJki1KHT6TY2NpicMTw8HPxITk7G3jFYhwdFRVF0woQJtra24FmdnZ1ycnKvXr0Ct2bMmNEtddhsNohfW1trY2Nz4MABFEUFAoG/v/+kSZNAEUQUq8LUKSkpwePxwnK2OXPmAOoIBALsv1wu18jI6O7duyiKmpqa+vj4iBTK09PT09MTRE5LS9PS0gIbkqZPn37mzBmssGpqasnJyYWFhatXr8Z2tzAYjDFjxkigDpCqTZw4EVAHSL3OnDkjEAhAsoqKikDqpaWllZiYCOLU1tYiCFJXV/c56mBiIEAdFEXHjRsXGhr6RW0yPiAgYNCgQYcPHwa6nq6urvT0dMwoA4IpPB7P5/Orq6uxpZzy8nI7Ozsymfzs2TNZWVkJrZq6uvqGDRu2bdt24cIFBEFOnjzJZDJVVVVjYmJWrVolHFM4nfXr14MdZbKysjgc7ov9Lp/PP3ToENiiVVNTA5YqcTicrKzsunXr8Hi85P1pKIp2dXV1WxAcDsdms1+9enXv3j0EQahUKlAvHD16dPv27e/fv0cQZOPGjf8zHvF4IDOaNm2apaWlsrJya2tra2vrnTt3sJGRnp6eoqJiXFwci8XCdn0IBILW1tbIyMijR49KyKfIHjysfoQrisfjhYSEgEaXy+Wam5uL7y35duDLysrMzc2DgoK6lcCJmPpXrlwRDikuLu7JM7Zt24bH49va2lJTUx0cHGJiYtzc3NauXbtw4cLQ0NDvUgwfHx95eXmQvZUrV969exfTCEdFRW3ZsuWrU25tbV28eLGnpydI/Pnz5yDcw8NDQ0Pj48ePlZWVGzduVFVVFR9eqaqqGhsbk8lkGo3m4+MD9iRgePr0qfAlj8erqqqSvCUKh8ONHj26J9neuXPnnDlzfuxsclBQUHZ2dk8EozQaDVhSwlVjZma2fft2cFlTUyO+F66xsfHkyZObN2/eu3fv/fv3semyvLy8zw3OJ0yY0NtiPH/+HNRUY2MjlUoVHkH88ssvPUwE7NQB9nVjYyNmRb558wYkTiQSMW3r9u3bnZ2d9+7dGxQU5OHhMW/ePPEEeTxeW1ublZWVvr7+u3fvgLQKw+jRo1+8eAH2mQg/XXLr2JPZpgkTJmAv5QdSR1lZ2djYeO3atfHx8SQSKTU1NS8vj8Fg1NfXCwQCEokEdne7uLhoaWk5OzuTSCRg012/fn3YsGFr1qx58uTJmjVrTp06de3aNRkZGRqNJkwgFEWvXr2an59PIpHq6upmzpzp4OBAIpHa2tpu3LgBUgMaXjKZzGQySSQSjUY7f/489vIQBKmvr2cwGFVVVR0dHSD9hoYGOp3OYrGqq6vBfNexY8eWL19+4cIFPp9/9epVJpP58ePHkJCQ8PBwYY0whl27dgGrE0GQYcOGgbGSu7t7QEBAeHg4KEhjY6O0tLS6uvrJkycDAgKSk5OlpKSam5sRBMnOzo6JiQE1VlxcrKCgAHarMZlMbI8mn8+vq6ujUCj79+9/8ODBoUOHQHl9fHwIBMKqVassLS2PHz8eFBS0du3apqamxYsXnzx5Uni3Q2tra319PYqiJBKJyWQCqXldXR1Ih8PhUKlU4c2yQNW/a9cuCoVy4cIFEomUn5+/YsUKbC/p2bNnsa2VAB0dHSL139nZSaVSQTElLUScOnVqx44dLBaroaGBQCDIyMjMnTv3/fv3hYWF06ZNIxAIVCp1zJgxampqCxYsAENxAoEAJhikpKSmTZsmEAiA9Hrfvn2DBg3q7Oxks9kjRozA2tiurq6Kigrwx4MHD6qqqoJ34+TkBAJLSkpmzpxJoVA0NTUfPHigq6s7duxYPp8PpuTl5ORoNJqqqmpycrKpqamCggKbzQaKSRMTk8rKSjs7u1mzZklJSS1btmzjxo3q6up8Pl9TU/PRo0fjxo0bOXJkSUnJlClTREquo6OTlJQEppdkZWVdXFxwONzgwYMFAsHevXs1NTW5XC6LxZo4ceKUKVNaW1tdXV2dnZ0VFRU7OzsnT57M5/NBjTU0NOzfv19HRycuLk5FRUVHR6exsRFItsFolMfjubi42Nra0mg0UN4jR46A+cxNmzapqKhQKJRJkyYtWbKkrq5OQ0OjrKxs8uTJIJNFRUUFBQXgRWhqaj58+HDmzJnNzc0gnVGjRuHxeB6PB2Y1ZWVlaTSaiorK9OnThw0bRqFQgPp4xYoV2LTnjRs39u3bN3jwYGG2xcXFzZw5E4h3Hzx4YG1tjcPh+Hw+kDx/tvf8N4sufHx8Ro8evWnTpn9DYTkczrZt23R0dMBm6u/QYf2b1379/PxIJJJwzziAUVlZyWKxjhw58t1snX8zdVRUVJycnLKysv4NhX3//v2mTZsUFBS+V4JQJQgBWx0ISB0ISB2IgQzRlR3g4E1eXv6L2/17CLDpGkEQZWVlyatdAw9dXV1dXV3y8vI/+bksFktcbSj+RpSUlCQ7JOhdqxMWFjZlyhQJK3C9RXt7u7+/v5GR0aNHj/5t3+XZs2dFVv1+AtLS0iRvOORwOP7+/sOHDwcLut9EncrKyj179oDr33///fsK51RVVf39/b9Cr9kfQSAQDh8+jF1WV1eLO8340SgtLR0+fLiECIqKiv7+/l+nUhXtsKKiovqvJ+k+hXPnzgmrOy5evPjz87B58+Z/xtbBUFtbC7xgrl27VnjJA1sytLKymjt3blpaGvBw7ujoOGHCBMwL05IlS8SdgOTm5r5+/VpWVva3337DAiMiIoAzWOBCBUGQ6OhosICqqam5bt26oKAgIJHZtm0b6JtDQkKAcxPxLQTh4eEcDsfOzi4jI2P+/PkjRoyoq6uLjY1FEERXV3f16tUg2osXL4qKisBvHx8fGRmZly9fslgse3t7IPxWUVHx9vbGkiWRSAkJCQiCDBs2bPny5SCQy+UCEZKUlFS37khv3bo1YsSIcePGxcTEgFVkNTU1T0/P0tJS0H1v2bIF2JRhYWFgTd7T01OkhSaTyXfv3t2xY0dkZCSVSrW2tsZ0xM3NzZia1snJycbGBkGQ9PT01tZWzEvrvXv3wHqqoqKiuPgkPz8fOBEfO3Ys0Pv2AsHBwTY2Nvr6+l5eXl5eXhQKZeXKlW5ublu2bJk6daqJicnMmTOB0JDJZHp7ex84cIBIJB4+fFhdXb2goKCxsXHUqFFGRkZAYvfp06d58+ZlZma2tbUJK8r09fVnzZq1ZMmSsLAwbW1t4KkUyB+Tk5OJRGJISIimpmZsbCyKoq9evRoyZIirq2tFRQVw1bZixQoikdjV1fXixYt58+YVFBQQicQtW7Z4e3sLP+Xx48fjxo1TU1OLjo4ePXp0VFQUmUyeM2fO1atXiUTismXLRowYgaJoQkLC2bNniUQikUhcs2YNm8329/cfNWrUzJkz9+/fP3Xq1KlTp2ppaf3++++dnZ0cDmffvn1Hjx4F8U1NTc+fP4+i6M2bN5cvXw4CXV1dT5w4cezYMQsLC0tLSy8vr5cvX27atElLSwtErqqqWrdu3YIFC4ALnNbW1unTp58+fZrH4zU2NlpaWr5+/ZpIJJ4+fXr58uXA1TDAs2fPnJ2dpaSkvLy8vL29f//9d3V19eLiYuCU1NnZ+eLFi8BTrra2dnt7e0BAgLW1Nebs7dmzZ3PmzAGZ3Lp1q6WlpYeHx44dO1AUHT58uIGBwdKlS8PCwuzt7TU0NMRd9H3Zg+mJEyfmzp2LBa1cuXLevHlAzUokEvX09IByecuWLb/88sv/9IV4PHDlevPmTVNTU6Dv/Pjx4/Llyzs6OkQeo6+vD3SZKIo+ffp05MiRQEtAJBKBPpXH440ePfry5csgjo+Pj4eHB1Bqvn79Grh7FRGY5uXljRw5EvPQiVUW0K02NDRUVFScOnUKuN1DUTQ7OxuHw6EoamNjExQUBHwV5uTkgJzv2rXLzs4O5ApF0du3byMI4ufnBxQUtbW1IPzYsWPq6uooipqZmd2+fRsEvn79Ojs7W8SXIIqidnZ2gDpAVmBkZEQgEMBDHRwcQPiJEydcXV1ZLBa4NDQ0FPYtKi4wXbdu3a+//gpUrdbW1iCcRqPNnDkzKCgIPAijjrOz8+PHj8FvsFQHnN8C6mACWWGBKY/H6/j/6NaJbDceTIVhZWUFms0RI0Zg3rWys7PfvXs3ceJEbIwXHx/v5ORkYWHBZrMDAwP37t174MCBLVu2SB6OTp48mUgktrW1DRkyZMSIEdHR0TQajcFgCO8uO3/+vIyMzNatWydPnkwikYAuvbS0tLa29s2bN8HBwQiCPH78mM1my8jIdPsUXV1dFou1f/9+Y2NjoLHCdDDTp0/fsWPHrVu3QP+Ibaw0NjbGtnvOmTNnwoQJ2IrP9evXQT0AcUx+fv7YsWMxgay4okMcgMSNjY0jR46srq7GrOns7GyBQHD16lVwyWQyJQ1qpKQmTZoERm2pqalUKhVURWNjY0pKipubm7hFnJqaCtQyqampEyZMEHZ0j0k7hMfta9asuXPnDpY3CR5Me7cP68iRI5iDyMLCQmDJ29razp49u7q6uqmpydzcvCe6xtmzZ2tra7PZ7EmTJllZWR04cEBTU/Pu3bvCcYyNjY8fP56UlJSfnw+0m+AR8+fPB3lwcnJSVVUV3/MmIj48c+YMyKeTkxPYpnPixAkPD48tW7ZER0dXVVXV1dWJ71XjcDjV1dXu7u7AzJo0aRLwk+fk5PTrr78WFBSkpqY+efIEvJUe4ujRo8ePH58xY0ZWVtbx48excCMjI6xWX758OWzYMMnpACPS3Nw8Ly8P+6Obm5uVlZVIzK1bt65YsUJOTm7MmDHx8fGJiYmS/bHjcLhDhw4dOnQIXErelN0L6uBwuNTU1GPHjol4h0QQ5MCBA5aWlqNGjRLeCfY5REZGvnjxgkKh6Onpffjw4fbt21ZWVkDWL5Lm2bNno6OjFy9erKysDAg3YcIEHR2d0aNHf07rHhkZ+ejRI/AtgjxnZ2eLqIbv3Lmzbt26N2/eIAiyfft27JAb0A6DlIFSDvuLhYWF8Bu1srI6ceJEb098AjJTT09PNzc37OvH4XA5OTl+fn5f1IZjADIxfX19eXn5UaNGib8ODMB9qYmJibq6usiX+blX3POpGSlsPBUaGpqTkyMh6r1792g0mqOjI2i0L1++jCld1NTUrK2tU1NTu6XO27dvhXfErV27dubMmdra2uAyNjY2NDT05MmTImdnbNiwQVlZOSQkRLg7cHR0PHTo0NmzZ2tqanJzc0WU4QiCGBoaYsMoJSWl58+fp6amhoaGZmRkxMXFARV9QkICmIxoaWn58OFDWFgYlpPdu3eHhoaGhoaGhIQ8evRIR0dHUVHRxsZmwYIFYK97dHQ0EGg7Ojp6enqGhobSaDThk46IRGJoaGi3kx3u7u42NjYEAkG4RGFhYYWFhWFhYZWVlQUFBaGhoSICcHFkZmYiCGJpadnY2Lh69erQ0FDwUEz7XFFRAfbQJCQkPH36lMfjkUgkUC5hEfo3HtAkfezYMXNz8xcvXrx7927jxo1//fVXeXk5jUarr68HJUxLS/v48WNXV5ejo6Ozs3N0dHR+fn5SUpKzs7Oenh5YW1BWVq6oqFBXVxfvrRgMxrNnzxgMRnl5OR6PHzFiBI/Hu3TpUltb2/Tp0xUVFRMSEqytrd3c3EgkUklJCZfLxRzbGhsbW1lZjR07Vrh7FggE9+/fz8/Pf/HihYuLi7AziidPnvD5/CdPnuTm5trZ2SkrK5uYmACf0/n5+WQyedmyZUOHDn306FFycnJKSkpBQcGuXbv09fVxOFxycrKqqqpAIHj27BmCIL6+vmDvgby8vLOzs46OzqVLl3Jzc0kk0uLFixUUFGbMmDF//nxfX1+QE2A2jR49Ojo6mkqlrlq1avfu3eDgDzabDfSmCIIMHz7cxMQEsxdB+q6urmFhYZmZmc+fP583bx4Q0YK7z58/T0tLGzly5P3798ePH6+qqmpoaPj27dvBgwc7ODi4uLiUl5ffvXs3Pz9fS0trypQpzc3NV65cWbJkyYMHDxYuXCgvL//s2bOC/4/Hjx/fvn1bT0/vzJkzS5cu1dTUrK6utrKykpaWVlZWvnfvnra29he7y//hex23tGfPnh90TNXPQU+8qfc7LFu2DBx3gnll19DQiIuL+y6Jf5+V80+fPuno6PTczQXEzwGTycQcrCAIYmNjY2lpKT6w+M6zyT1EfX09lUq9cePGnj17erJNsy+DwWC0t7cDk3xgoLm5OTExcfny5QoKClVVVXl5eRMmTPiKbW49WjnvLfz9/T09PceOHfvt3m7+QTQ2Nqqrq7e2tl66dGkgtTrx8fECgaCqqurixYuvXr0aOXIkONvlu+BbtcnAqv/cvFx/gUAgwGYH+ntZPveavnu5oKwd4h/qsCD+1dQpLi7+3FG53xGdnZ23b9/u1u3X9wKBQJCQPpVK/eJsG0BNTU237hr7FCoqKsRnRH8qNmzYYGxsjLlm+kEoKioCS0tAR/Ej0t+4caOJiQmJRBK/y+Vyvby87O3tsZM4P4empiYvLy9ra+ukpKS+PGFz8+ZNBwcHbOX8H4GoV68fh+bm5mnTpgm7APu+AMsj3VIHwNra+nPUuXTpUnp6OnapoaHRK+rExsYmJCT8hLcVFxeHaVeERRf/CH6erZOfnz9p0iTxA9J+GmxsbD7na+fWrVs9cW/zuX4wJCQEc9n04wA8Es2dO7eP9Jh44emjjo4OBEE0NTUx1SaTycRcs8jKyoLT3sCxkUpKSjwej8vl6uvrA48hIJqamlq3IvawsDDgqqO2ttbb2zs8PFxc8t3S0oJZXQYGBjgcjkajtbe34/F4BQUFbOlOT08P83BGoVA4HM7Nmzcl6x8ePnxYU1MjQUhEp9Nramq0tbXl5eUVFBTweDx2XqmqqirG+Lq6OiDDkJOTAzKMrq4ugUDg7u7e0NCgoqIiPqOIpaOoqAikukA4pqamJiMjc+7cuW3btqmrq4P6f/TokbOzs4qKivhC+rBhw2xtbVtaWphMJrZyR6PRnj17pqWlZWZmpq+vD1bR2Ww2lUpNS0ubOHGiqqqqnp5eR0cH8JczaNCg2trapKSk1atX6+joYO9XWVlZsh7js9Q5ffr069evlyxZcvbs2Xnz5gGNHJfLXbFihbm5uba2dm5ubn5+/oMHD2xtbcPDw48cOWJtbd3S0lJXV8disYKDg9PS0qZMmUKn09+9e5eYmCi+D0hRUXH27Nlnzpxpb2+fMmWK+L55MpkcHh4uLS3d0NBw6dKlO3furFixIjc318XFBbgPmzVrFovFCgwMpFKpQNBfUlJy584dUF+SHTHX1NR8znPZ8ePHq6qqMjIyfH19U1JSZsyYYWhomJCQUFJS4uTkFBUVtWrVKiCvefnyZXp6Og6He/36NZfLTUtLA1WXkZGxc+fOmpqakydPCp9OjSDIo0ePgHY7KSmJwWAkJiaamJjExMSEhYUZGBhoaWnFxcXxeDx3d3d3d/clS5YsXLhwwYIFCxcu9Pf3F8nnuXPnMjIyDA0Nx48fn5+fD77h8+fPA3+awcHBN2/eBM2qt7e3jIyMl5fX06dPo6OjAwICDAwMgNPdBQsWqKioWFlZzZ8/f+HChVJSUng8/u7du46Ojr2eLQStxY4dO5qamoAuWE9P788//wSKUi8vL6C/ZLFYq1evVlFRAVbnunXr3NzcGhoaAgMDORyOo6NjQEAAkHVeu3ZNXJjY2Ni4cOHC0tLS//znP+LyU4BPnz4BCwOkv379ehB+4cKF4cOHNzQ08Pl8Ho/322+/rVu3DohTbW1tc3NzQTTgNfhztk5wcLCwNSOSNzs7u2PHjjU0NAD/tBoaGrdv3wby6oMHDyopKQEPoLGxsY2NjeAse3Nzc2B2NDc3u7u7P3v2rKGhAdOJYggNDQVpMplMRUVF7DDs2bNnW1palpaWlpSU3Lp1y9fX98aNG+BWVVWVoqKieEFKS0sdHBwaGhqADDw8PHzEiBHgiTwez9vb293dHUXR4uJiU1NTTHc7f/78Y8eOgb+DXg/U//DhwydPnsxkMkENKCgoEInEr7F1du/eDQQ0jo6OU6ZMaW9v//DhQ1JS0oYNG8DuEEVFxZ07d4IPV0ZGRlFRUUFBQVdXd8eOHXJycqqqqteuXXNxcSESid161SsoKADKBKAE6JbE5ubmdnZ2DQ0NJ0+exA51Bv0FHo/X1dUFn4iSkhLIxq1bt3R1dW1tbbFoEuZSQ0NDPxdBR0dHVlYWHL6K7U/V0NAAXc+2bdtYLJZAIEAQZMGCBQKBIDAwcOfOnY2NjWBXBp1OLywsVFRU1NXVFd8yu3nz5paWlqKiot27d4PDoTH88ssvZmZmlpaW7u7uISEh169fb2hoaGho4HA43WaVyWQWFBTo6upiW6jAi0AQBFQLCLxx4waLxcJSU1RUBAUBaWppaYH69/DwUFNTA4ozVVXVjo6Orq4uPp/vIoRPnz71yNYRAei2Y2Nj7e3tv9h0Xb9+/fz58wQCYebMmcBsEt5/A+Dm5mZpablv374XL150m0hYWNjly5cXLly4efNmCoUCDK/vtc7w7RvNWCzW4sWLR40a5e3tvXPnzpcvX4JwMzOzyZMnYxahMJqamsLCwhISEjZs2HDlypWYmBgJ6Wtra4MVNHl5+W5nlXR0dDA3e5Khrq6+du1akJqfn1+3RwjSaLRuvaVi0iIEQSTsPu6GOsD/4KxZs4yMjETOEkcQRFz9ii0fnjhxgs1mHz58GNumJIzi4uLFixfPmjUrKyuroaGh28OCLl265O7uLuJ8XzIoFAqFQsEEhxKwbt26Hta7BOqkpqZevXpVXLTA5/OzsrIWLlwoTp0///yzrq6uJ2vDo0ePFt45Kg4ZGRkFBYXi4uJRo0ZJiGZhYZGXl2dkZHTixAkJ0YCPZnd3d+FAaWlpyf/qZiEiKCiISqVSqdStW7dOnToV7F5TUlJ6/PgxkUhEEKSjo+PSpUv79u1DEITBYHR0dHA4HMz989mzZzs6OhQVFVVUVFRVVcXVF8AEU1VVraysfPz48f3798Xd5CopKcXGxlKp1KKiopcvX3I4HB6P197e3tbWBs4tB70GmJjmcrnu7u5kMnndunVUKjUzMxN4JabRaMD3uwgppaWlJR83xGKxqFQq8AkqEAhEZqXb29uBA3IajQZGiBQKRTgOcB0qkqa0tLS8vPyNGzfodPqdO3c4HE5rayubzW5paQE+LqlUKujFtm/f7u/vf+XKFfAW7t69K+yXFKOOjIzM6dOnwYPa29tBtWCrkJ2dnXQ63dPTs6ysbOPGjSCpioqKxMRELpcLlNSgfthsNpPJbG9vF15FoNPpoAvuIaSBRVxdXb1lyxYURW1tbbH953PnzqVQKKdPn6bRaOnp6aampoBSV69eFQgE6urq5eXlwLM1kUgMCAioqanJy8v79ddfxc/f4nK5kydP1tbWnjNnTkpKiomJiXDDCDBnzpxbt241Nze3tLQsXbqUxWJZWFjk5OQQCAQrK6usrCwHBwc8Ht/V1dXR0WFsbGxpaTlv3jwKhRIQEKChoXHkyBFgOw8ZMgQMmzHU1tYymcw1a9YIbyURyV5MTExNTY2Wlta1a9dsbW3ZbPbUqVMRBAEvhsPhTJkyxd7e/tdff+3s7Dxz5oyMjAyVSp0+fToYn6elpZHJZHAp3AdZW1tXVFSUlpZ6eXkJBIKamhrgpx1Mc2RlZRkaGg4ePHjq1KkGBgYRERG//fZbWVnZpEmThGW1AAoKCsrKyunp6ZWVlTNnznz48KGFhUVWVta0adOkpKS6urrYbPbHjx/t7e1nz55dWlq6cuXKhIQEWVlZsN80MjJy6tSpBAJh6NChFRUVDAZj2LBhAoEAdGc8Hq+8vHzw4ME9F8/8d+WczWY3Nzd3e3wcmUzmcrmqqqri5otw1YPzToYMGfIt3uqam5u1tLR6+y86na6ioiLZlf8X0dLSoqGhIWF3geQctra2ysvLf4vPEVAQOp2ura0tQW7GZDLl5OS++CAej1dbW6ukpCTyFX1HQNEFxDesnENAQOpAQOpAQOpAQOpAQHwDdfh8PpAc9Av0r9wOZOrcuXPHyclJsnfM74iSkhLJiz7d4ubNm2AJva6ubtKkSdj0JsQ/SR1ra+uerBZ9L5SVlQUGBvb2X1evXi0oKEAQBMxhvnjxAvOBAvF90YsZWEtLSwkTyt8dixYt+go1alRUFFjDUlFR2b59e3Jycr/eltoPqAO2uYwZM0bYf0daWlp5ebmOjg44wFcEGRkZVlZW9fX1o0aNAuf8tra2Ojg4gLtPnz4lk8mGhoaY25Tnz58Dl2wzZswQd+xLIBCAryRLS0ssEeFl1Ozs7PHjx3M4nNjYWGNjY+DIJyoqCofDiegDsX9FRUW9f/++vr4eY096evqnT59cXV2FFxMyMjIcHByys7PZbHavvXj+m0GlUp2dnVNSUlJSUsaPH08mk8GeklWrVkVFReXk5CxYsAAc1o2iqLe3N+Y0VFdXd9GiRcC5aWVl5fjx4/ft2wdOcnd1dY2Pj8/JyXF0dATnyMfExEydOjUnJyciIsLR0VFEb1ZRUTF+/Pj4+Pjs7Oxx48YRCISoqKhly5ZNmjQJRdE3b954eHjo6upu3rz5wIEDY8aMGTx4cFRUFDh6XVNT8/jx452dnUwm08vLa/To0cANKoqiq1evXr16NRDFxcbG/vLLL7NmzdLX1583b15zczOKon5+fgsWLHB2dt64ceOoUaMGnpOUH76Z5vDhw+DCz8+voqKCzWbb29tjjj8zMzPxeLw4dTw8PKysrDCN5rFjxzgcDoqif/zxB+aDExzkKeLBVMRjLYqimFdOFEXDwsKAZvTatWujRo3CjrBHEGT8+PE1NTUoigIdOE0yB4wAAANbSURBVIgWFRWFCHkYNTIyEqbOtGnTgCzh/fv3gC4fPnwwMDDAPgYfHx9bW9uoqKiMjIw+vveqrwEfGRkJHNkNGTJk//79UlJSTCbzzZs3Li4uwAUaGLCIw9vbe/ny5cHBwT4+Pk+ePAFnVZBIpFOnTgUFBYH/vnv3Trj7A1L+kJAQ8dQ+fvwI/uLp6fk5ZyvPnz8Hqv3p06c/fPgQSEtFdA4iGDNmDJBjWltbNzc3g0eILI9bWFhIlsRDdG/r7Ny5k06nh4eHS0lJXbhwYcKECUAnZmhoCHyDmZmZzZ8/X/yfDg4OU6dOBWdap6SkYAp+gUBgbGwMLFwzMzPg2e/evXuBgYGnTp1qbm4eN24ccLqG4eDBg3fu3Dl16lRDQ8OVK1eAYLubvH6trEIgEISEhJBIJHD++c8/KmZgUkdWVvavv/7666+/Ojo6VqxYgWl4y8rKRNSH4jh+/Pjo0aPnz5/v4OCgp6eHhVdXV4uoLUkkEhDpXbt2LSws7MGDB4sXL8buFhYWHj58+PDhw8+fP79y5crVq1dPnz79HQvJ4/F8fHzevXsHJLMDyfnSPzmv4+Xl9f79ewRBFBQUgN9JGRmZcePG3b59G5yc3tzcDLZliUNNTc3c3Nzb29vR0RGEGBkZ7d69OyIiAsymkMlkcHJOSkoKiLBgwQI1NTWRXRPY3VmzZqmqqrq6unb7OMkOVrvFx48fMd1nTk4OiqIBAQHV1dXdRq6qqpo/fz4Q1EJ8EdK2traxsbHJycnx8fFGRkabNm0yMDCYP3/+06dPX758GRcXl5ycLCcn19XV5efnV1pa2tLSUltbCzw9q6mpAZ0iZivgcDjgAT87O/vFixf37t3T0dGxtbW9evVqSkpKYmLivXv3pk+fjg2/ATIzM2NjYxMTExMTEwUCwbp16+Lj4+Pi4tra2vLz89XV1YH2OS8vz97ePj09PSoqis1mFxYWOjk5CQSChISE0tJSTU1NX19fCoVSV1eHx+Nv3br1/v372tra9vb2mTNnAt/9+fn5GzZsALufeDze06dPs7KyWlpasrKyFBQU6uvrb9++bWBgAM7pgJCM/6oESSQSj8cDG3uF2/n09HSwPwYConvqQED02taBVQABqQMBqQMBqQMBqQMBIYr/B3bpIWl69ZUNAAAAAElFTkSuQmCC)
- "Katz similarity". σ=αAσ+I. Weighted sum over all paths between i and j. Katz centrality of i is sum over the Katz similarity of i and all other nodes.
Fig Katz Sim
- Other variants:
- Variant of Katz similarity that divides by the degree of node ki in Fig Katz Sim. This is similar to the relation between PageRank and Katz centrality
- The last term, instead of being just +I, it is a general matrix, so we include prior similarities. Related to areas of machine learning and info retrieval that try to find similarities between things given some initial similarity data and some network or other data.
Another kind is automorphic equivalence See page 23 in here, as well as discussion of automorphism in Graph theory.