Lógica matemática - proposições
2 participantes
PiR2 :: Lógica :: Raciocínio Lógico
Página 1 de 1
Lógica matemática - proposições
Eu fiz esse exercício e cheguei na resposta ~q ^ ~p
Porém eu não sei como "inverter" essas proposições, acredito que eu não posso assumir ~q ^ ~p = ~p ^ ~q
![Lógica matemática - proposições RI7AqFlnTO8AAAAASUVORK5CYII=](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAABNcAAAI4CAIAAADGS5geAAAgAElEQVR4Aey972sbV/r3f/9PepQHgUChsA92n7TzhR0wuLkRt7FI8aesvaEiEG8/qMnd7CaipApENV2b7zqhdUlMN1H5rANB3uLNBhWvsjQuQYHgEBQMBqOlxAjm5vyc82tGZyRZka23CdFoNHN+vM51zrmu8+M6/yvCHwiAAAiAAAiAAAiAAAiAAAiAAAiMisD/GlVEiAcEQAAEQAAEQAAEQAAEQAAEQAAEIlihEAIQAAEQAAEQAAEQAAEQAAEQAIHREYAVOjrWiAkEQAAEQAAEQAAEQAAEQAAEQABWKGQABEAABEAABEAABEAABEAABEBgdARghY6ONWICARAAARAAARAAARAAARAAARCAFQoZAAEQAAEQAAEQAAEQAAEQAAEQGB0BWKGjY42YQAAEQAAEQAAEQAAEQAAEQAAEYIVCBkAABEAABEAABEAABEAABEAABEZHAFbo6FgjJhAAARAAARAAARAAARAAARAAAVihkAEQAAEQAAEQAAEQAAEQAAEQAIHREYAVOjrWiAkEQAAEQAAEQAAEQAAEQAAEQABWKGQABEAABEAABEAABEAABEAABEBgdARghY6ONWICARAAARAAARAAARAAARAAARCAFQoZAAEQAAEQAAEQAAEQAAEQAAEQGB0BWKGjY42YQAAEQAAEQAAEQAAEQAAEQAAEYIVCBkAABEAABEAABEAABEAABEAABEZHAFbo6FgjJhAAARAAARAAARAAARAAARAAAVihkAEQAAEQAAEQAAEQAAEQAAEQAIHREYAVOjrWiAkEQAAEQAAEQAAEQAAEQAAEQABWKGQABEAABEAABEAABEAABEAABEBgdARghY6ONWICARAAARAAARAAARAAARAAARCAFQoZAAEQAAEQAAEQAAEQAAEQAAEQGB0BWKG9WbfvFYMgKN5r934UT4AACIDApBHYrgZBENxsDjPfRxGmb/r266UwCILwQg2Nvi8zPDcwgdFrGjsreVJzZ6rNXwZOPQIYVwKjl6txJYF0jSOBI7BCu4ft7drypYXCWdKRk7+pfOF8qfJtvbU/LgjaP6xW/7LV7nqlB3XYC9Nbe6izc69avbfTeWsJQMTZCXR2akvV2k99FdqrenkuDIJw+kJl4xkPYffuXFCq9xVc9sSP4xvt2sekra1u08QxE+5CLW5xX9fIWJrxF04Xzi2W/1JrvjocKE8uizFTG+uI3RWm47EjuNX5oUy6rplqc4LlaXhcm3SIolh7TYJknWm4NNQBi+GlVQ+pV8qddUpWseyDMg5NY5B2Us+M49uLtTky1lKsvXL8iFsZCfRqgbMEx1To/BQXpjBfWLi0XHvc2vdTWY2oHHJlPDHoV+hggxKc5PeHbYXublyZFcZnEE7PFgrnCtPiRliqx1rR26TOehehsfVKydHX4V4pwO8pBLgqwLWclAfx0/gQYHUq+LiPuSbS2YezpcqN0hztpMPz5eq14nQYlh6OR+vydigfbl0LgmBhnSmUPy9PG5OTrJoQs5O0yfzfbNw2F+/u9m+JOizGbG2sg5kjTMdTw7/V2SI2KEzQoZHdXTsXBEGlQRXozsPS8VlY1CvlzjolK9dfdrIitDWNAdrJXpF3d9c+ggnai1KG33u1wJ5Bddv1z+gENRkgoM11XijQQVD+oZ9G2pYrz7T4PgYdzJcUnnMQGKYV2nm2VqT1JTy/XH++f6gM2xzutxr3lms/O1LwNm61Nz4Jg6nFDTo62zMBR16He6YAD6QQ+KW5PBuGs8sDrCmi/Uf2oeuUROGndAKHT5YLYVj4qpm5U92rFYPFDWZvdjute+W5s2EQThdvTfpkePMmUe/ZjFPE1AJVpNkd2+zv7u/cXaTN9tz6bnqhJf/qsBiztbGOoB1hOp4a9q127UIYzi9PujBxrENpGNkcUZXPftJiPSbbW3qlPKlO9SuUtqbRfzvZIw2HzaV8MHOljllQCmr3m0JfQ6Ia5R4tsPZs4hc+7jBzpSaW+ZBHu4ed3Wbtxlqjr4XTtlwlRt/fD0PQwfqLGG+dBALDs0I7zeoMWT+Qv9noKPbnCYB05HX4BDA61lnoNqvhsHe1HWsgSPwxJLCzMh0E5S2mphBbXd/KnqYx7298Qpru/m2Do7AYjyLMY1isbzPJw2kYO/VSEJxb40McT0hby9eNv828+cTdK+VpdconfPMZaBomkRF9p8MN9ghdxth7tMBeobHp9+nln7ye9nwIcuUJCo+9FQJDs0LJvqwgCD5e99xs+VZy21+kqMP9cTs2bz2pmssXj03SkdCxI9D5abVIt8SHc6U1tvH1dWP10hxb/BrOlVYbviuH29+XyFtTc8vbvXco0mZKzDhFZEGsZlWmasx0FF9/PhPXo7AYjyLMTJnCw0NqGIl0SRWfyuGAVmj78WrpPFunGE5fWG7sRVGnVbs2F37Uazq/01xmW8pLNR9FpUfKU+tUH+IDTaMPaEN4Za+2SHTXPraHaJH3aIG1Z5O+aFuRkx7Keh9ylZUYnh8lgWFZoTvLZ8ky9vI/sqyw63Z2N2V3QpwYLVxarb+w9S1aM+nqss6LutTn2PMNe1XtYbtxq7QgtzyF04XzpeV7zXacNLbSRqxeU3h3nm1ULvKNrOHZudKtRrvLHSpoKh175WC3fqtEFgSSvzB/vrT62HapGCc+2ouV0ekVZdMI4/AR36MV5hdYvEq6ki8P2zsP1soizTwZm7smxO4h7bnlHt1wenah9JWHV5L9nY0biwW5M2EqX7hYXtu0dsl7ZqHbaT1YFgoEdVsld9GcKxT+xBdaMp3Yqam42lPWcEv9m7jAIJ5aWKfyulm7sch3+YfThYuxPxvCdL+5WirEuy5oQZL/1KWMURSlB8IKp0/CNPFfNKIoorLHQVPZq+8eGOWu5KvT2hD5CkucG3+aplb4BgunZxcr95q2ykVJ0m2EXVJfYjG+WKlt22JMw6YCvyCEgQqqnUj6ZE+xSbYx9n/eWL60IBwzhPlzi+Vvt9rqSiTfdoPzaG/XKhcl2MLijY2WCTaKejYa3XbtkzAIC5V/pNqQr2vFMFxYae4+uEKlqbh8t0LWHv9pvbnbaT/fKJMFI6GjMeGJVT4OyBwS/zu7rLQXyjPK5f73xXjGiVqhFSJW4i9NY2ZzoaGjxnmWuKM0HW0sFTna6nbbzXuVRVEmREQftMwVNDJM0mhUFkV7ntI87j9v1L4qxfJ5trB4o9bcEwR6fvpUczuQNLB208R6Ewqhs1v/apHXU9r3EWuK/NFukXcHtP7acOxkkGV7Xq0rebVnr5GlYezZ1DSXwuDaFu9+CS6xe9mZi/Sbndb6J6TBDs8vN3Y7nd1GdZ7UygJdh9XT6RGdreJVqvTQ7CTtmHukPK3orcA8pMvRu8lawMLjzpuLfPu3Ekn7e7Idinh17rkSzUtvUYLmlw5hFg+lVvahy3kUtR8rOo+x1/3catxU9pTzX3brNxYcCoBhkfo1gz1aYAEr9TP7XGh/csUS4S8JRL3RmROlekf0hYmyQTtfoXZSBcylXSiKjUd2OED/Jy3ig/YUVoC4MQiBIVmhL9YKpG3nHgi8EtTZWZ6n1V82IlzPCBdWjF05VMQ/Xm98T/YvhWe5aw1hWhRW1e2mrzcWmc+SfGHxWrW6VF48x5QdddeTo9GMos7OCmuPqIV2o7xI/SqFs9XaLcdJLfEm2PxC6Ua1IuY68jcNx4o08Rdq7Vc1vmk2XyjkFTW001q7QDkQRaRSvSHsAS/3GGxDPDPgK9UlJRlL6o47ukeLOSu+WK4uVcsXC4ze3N20rWB0Uwrp8YnJeqNavSFs+1As/GMl7ZmFLtlzRYI7WywvVatLVepUhshNeLZA8n6XoxuOFRpU69tVYmJO5bkvFjFecGVTNJ4v6iQZl+g0/lyJXLN/D2Ms+z+Uqa8Aog6WCTomTkoJEgh9Eo6otRBI2c5z2eYDElOLuvdCKrdhtSlWv5O6MDsdKjZz++EV5tkgFEHxamJtAWIaT3WzWZ0l+yo5ImEYFJYMMY46Py3z6iEqINc+w4Vl3dWtl9gY2hUTpO7+1hd8UICnn7UJ6hRHhnYjirr7W5/z0isQyS9zy8dwC+nTaDCN0x6h0Bu7na+mg7PLO90oerW+wNXdsPidIk4PyLB7ILe26q9r39h6SBaIoRVpz/l9SdKYu4e7D4jM2KeS+Jd45ChNRxuriVwQ5tkIlDQvP9N919Eww5s1YvyTh1ntE0OEs6sEsvrH+yBeT7Wytkcq1RfptV81t14jQ1TU+bC7gBzKWQxhJm6aRF9WrL1mvkm4Yz9Su6kA5LX23JUM79Y1ijx6DY+G0b+pcSW3r3sd2lgZtpasmB6+Wxh8StQ15pI1UWlFr4XlKV0sedoQlVWzOttV0qJ9tLaryj/TLjzcP3rrLVr66ReHMIuHUiv7cOU86jRv0iZ9ao7oJEtELWFu6khHTxr5umhtPeT8oLm+VK1+USSLoc4WK1IBEKoIGRPy7vgEjYE+W7dI7sL55aY9VGoF3L9ckVFv4calhwZLFhqwoR+qClIVheoJ4ediaImpMYE6ExBFsZsl0dRzVTzIf1bXx0qY/HgobIKAZ8bF4/rnYD2FHha+DYHAkKzQRoW07O6e2JlKPqaX/1wXx9d1PlfwvTobQ5u/MAzDheUnyvhlt9Ng7dEn8VwQG+wsGsZV93D3uTo96Gg0uXf+sLimbQpv15kWayxvY34Ug3y1oaSHG2OGr06a+Ply+aMg/1nNmoTpbF0jaoa+mbbT+oaOa3q4FD78eav+XNhUjDQ3d0t12Yoxh5kfr2v9VhQd7rZUKFY50V0xwXTlsZJHMo6+33qhxuibhX2mfxtrtpmzeNXMiKIhWaFhGOavPBBdEs3e7nd0KIDZCTLDVk8vf4mEL3ttpdfeFpXS/LIc/uiTcMSt0DAMpxIET9M2mNxeKV8Lw/mqYxXAz8u0BzOC4uJkHArHNJ5wKjTqoOicwvIPSrmL+lreVCtm1N6kJnqoLivwExsXc3F4XbmuHhzSPdx9LeVNpMOr3Yh2v6EnEVzQJJ93YDPUVqQl7dVodHeW2TSm1jTFkkKuqN3Iljkc/lBm9uP0F2obEXGDLQiK38tM6YEo3zrPyLTw4rU1MUum/Jb1kmnMcrhBrEGYDgO26MM8A0CQ9ihxkSllNISvR5DekmhquciFYf6zDa0t2l2n1VLfDcWs0JD4CtIUsoMGc0Cw+MAA2G4+UBe8EAWSKazawhMnN89q7nw3zRRxKO4xhM+3Yubd/fo1ogmHU2E4c2VDabQ6z1bpETtqFXOkw791JU24T68ROYtVRJ2lqRHvDPjJJTIwba32+jyraj0Qkei7+41vy4vnS8sPWkrr1m/C0opeCdNbunysUCnV8cAEH4DIV3uu28+gtyjp55cOYRYPORSqI5Lz6Cfq/ftsRWtVWb6MwXF/OU8px0zNoMAx0KcYagnCQulW6umGg8hVBkngCMILa3Lqk2TwcL+9J5cXOmSD9ebhhTVN6T3gky6x9JKwmPx4K2zeGU8oiAF6ioQQcXsQAsOxQlmLE9CFhV6pYVq7YQywN5mEaT8xEQ/mvlE6Z/bwL1tU14vnYKkBU1h7kZ4Ku9FkdwJLs4kiXl21TVNsE6wjPc9WyZywZlPxxLuXyuyuEzVZszRoyrutVeLdXp2/Tc+R9mvjC9Irx+vrqD5XsOlpL9lfGBN92tN+yjsLzLa01kExHUIrsiFZoUF4bctSNdiKF31JmMsiohk93PqczMNo9hj9obNJ1lvGY4F9EhZWqDHGwSB3+Sr3uBx5Y510jAQz/1wyHPGRAlW8eZ096zivXGi08T4ZZqdNfxWvdZKCwCw95Sc/sbGZ8wWojsVmMq4oU7vxCz1yIyxbQtCpf0ZKT24f8Gs0qKPCjux340TFVyR502xsgqzlI3/8a/wMG7DrNacaPz+sK6ZpMXVd+9+9ZjtLiTvNFbuN5VsbAkeJRMRHZRAsfKeMcTAJcbWB3ML36W7YjHSP4VHvau4sixQV1jVFIOpdPAjCQxUj9FZrw6d0tPXVVkr8W1frVX7D7DXSrNBsTU1SjJnu82HiIFCXfpAQ5JIB6QApU7iDPMyK3hrZoetKrmzw9dUZpIvJRvpcKM0yPWQl4GYna4GtRViOjGXRW+zXHZaGeCi5smuKHH18MDlniOxxJSa9PgeZOOQ8uQpnawYFjkE/u7sb18j2ZfpHjsV2rWIdSK4ySALvc3Wz38yhJRu8Nxfe7NXnuUat/sTkx1Nhy5BxNdoe1149RY8w8HN/BIZqhWpj4WnpYTpHgl3EJFLV3piI65YDD57ZMPEgKFOgyUyROp1ipsVqNHmdcVpcXAlQ+gaXJcOjoN5Wg2It3ozEEq8P84v0OHQv8RPTYn0mTMQb8adpxe1vkFWA4UL1cVs9Pid+IeGKLC8MyBSuNgamP+yfBZYqq59gZRFWn8ThmumPf3Hu0bVaQGGtOfU2RydkW0QsRmuMI04I9UEahGIJSr+E+VxowkYpq5rwxlo1JuMk8dQ6ZZjYCaRXK9WlWc61YacqbwbFBF4bKYjjZV24snHRR2zsNZzctJD7x+II4isLSPyTGE+N240UW4Vs4AkCuYvMr9FQ4+p5zYgFRELUhXMRN7eIeuHdWvaMzOsBp6ZFDwBY/xNdBa1tAchW4nZpiuKIW2Yy4n2Pzuo5RY4Z5yoTVivn1xXDVGTUX2Nw5loEwz/9q7nxIvuaFoXdNHEIpilFgmIPK2tYRHTt78jibqUDEj8on/6tq/KSdulodXs0jL5NjRZNn1921z/iSrkyKkfD4laNZZ32GVGW11jRs3SZ/wvJzyJdvlZoFEVsxdNMtdGg61/sgWxHPjLpLfb7DmEWD1kKlajsQ5dzhshWHZn0+uhLDjlPrMIZm0GBYzif+y3F7UgQzmpLJKKB5CqDJKT2uTKjpmyk9+bNm1QZiTdmc8XGS2HLknGZvt4XiTLQ+1U8MSCB4VihUcYVucwScMoc6Y3JwXfqijVTxJU8W82furVsrrT6YEdxSiTfs95iao1T4xGKY6wEdFlu50pyF0F8USkSL02iByIRssTHs7UyEVEUMQ5zl8R2xDicauUCsQDjSNXX1OvuYfvnjbUbpYVzdIug0heqvfX+DxW+325qrnRrYyfNRFdCV/cDXKjUHltOibJkgev6hvuEV+vUINAUGkc/IRLl6KcdEw5W+YrXpXSpcFw6NH2BSYW6XSQuoBLdSyqs0Cjqk7Aj8XFaeVMeq+YsX87hGLERMUGG+e41aTYLLSFBwFgvJcSYC7xbhoWEKyMvHmJjM2eqtjYbFpPgV5naDRbg9AWyX9r8x3YCS7BejYaVmpQb0rGQYvbTx/kkklfVTgm/j59Se9mdr+hSbrnPJ2uJO8wVRx10VV6REzsE+454NnErJjmVerV8kexc4jstWXuYPheapZrLJMQXaWAdPVcyBMfDLJbkV+JU+Leu5B2/XsOupDy+1O7SbmriVPZ9xSZkSGlqPUU8tBEE1iqbviPzfjGt6EUgWaTLUdDJtYC5IyJIjF3uImbzM5veYr4t2vm4y1OeyFTZB5JzviJXGzKLok6jQvQua+2Yp5wnlWPWZlAhMsTL/Z83KufpzKha0IPIVRZJSO9zRTbNMk3vzZmcy1Fg55ClCNnan5Ul4zIQ86K/nsIMBd+HQ2BIVijrJKyB/4Q0sjZLWTKqP8et0HtyENwUceVxR/NHlqy/atZuFLljhyCcu2ZsyLTeYm19grJi9g2szVLsPetSqO8koT0Tb72t3EgwEgSAV/Urs7R5mspTV0zVtQeNxuPGGj39TzO0CBTil5KdIUF6rrmydiyyCNL+3H9O/BLTaMju9OJXxG+w+ONFqSTZvIyzIP1nzJYqf6nVH6wJ70T5Kw9lWZOAx8UKZVJhZkj9rnfJ/RBOEQ97oaMlt6IYyGeqDHPVUPEfYEq1GhSfTBZizAVez2z8PMuCeFjcTxUbkVppB4pCj6VFhKN8cmEzBVs8YbQb7KtaWua1ErtHoyGi8fjkwwf2KBLv/l0rdT2CHeiRJE2LBcq6duleLmuJO3Rlh6ymiZwdgn1H5t+Rl87OLeFb7qMS8TLyl1r9caPxtwpZ6ZvQsPPwWESmcKjfkySfBuBIjEyoo3YnQ3A8zAJKfkVGRHyBcN9vvVrXyL/XSCoCdj+Jag/hUdLsfckIkCK5UNN3AwsPNNrIr3e4Az6YVvQi6CzS5SjopCKIouiXRoWMVAfBZ/EKFxGr65OXiyrYxrXZhuuhJMqn04pw5IUHlxhO8itqQqR3ooXy0trGZm2VeyeyvFr6y3lSOfaQZJaRdGhqyge4lj5Q5LDmIHKVQRJ69LkiS2aZGn2xeIx/8uoc97+OzkK+YmqDWTIuA1EuBugplFBwOUQCQ7JC+d4M97pTO7np4ytcgmPvHaaIKwGmiW/UPdzdXi8zA0odRjKU7CiK2KqehG7VbBz5koBU1SROYkrieQ+apFXHYTivpLuUb8xDDsx6q79+uNtc57sODEev+nPGt8P91uYyN2LjkciMWejub1EnHLz3Y2fzWC6SUtLvWpxmE06TCkfgST19qlQYeNSvWQizxLunGRPmQhO6PWZIZJwLTZh7HGwuVGPhFBuHFZqytFuGl6ndYAGmmrUyYOUisdFQnul1yXYTOTaFMtcazq3gvcIc9PckTYuFy/USIVpZJwEcNchRB82GVM2SHYJ9Rz5v5WX/YYkMk82U64Y7XOtJGUZ80W815yGkRMExaj1FMgS7HeMxJL8SZ4Jc+bSumXqNpCLI2NToqeznG2u0gyAwl2LKTaHKjoB+IujvnZSilwFmkS5HQScVAfe8FYZTbs8FMv74IpveEr8nrhLlM4rMjVFyjtrV/CaG48i+iNv4bFG3c1yLYOd/PNFHJzLJeVI5Zm0GjVQO9ytLpBxHHkSuMkgCV/CS1i2KLJpleoRzoVkyLpIXfw7UU8TB4GqYBIZkhUZsx7Dlvi4hqalrzZn6Eu/v8phOFMqTO7pOix61omxRsDQkvoLObQww3VdpT1N3C5hpMOun+nsqB/VB1/UTutPP4ZLByzLkrhd9p69FAoQvR0kjUxba94qh4VhYBKx+Mp3D1fDxrMnY6Vs2Yat8ldAzWKG8sTbXgCmBpV36EWaJd2+5ZMaMonil5UtsFElIbdK+UOc+THObdKrAs94xXQu0xMZe7Nd5SE/HdKZHYE4VNrPdSN+aIoJM+rQbjaQn7fvSaafZnrAds0FguNG2QziCO0maFouKz4VK4clY4g5d2SGraVqmHYJ9R1Ix87Jfu0A0UmvPeY/hRR7eYNWcrzJwjv4whUkqjjS+ZAh2O8YTmPyKJEIuvFrXTL1GUhGkE7OaGi2VfX2RVqjZKXDCb2NTaI9DekQ+01mJp9ino6ATioD5aiIuDw/oYlRtkF0PNP6WWqnjx5KumHyabRp5mudRU8MceeEBDyrn9Kwa7fgrR4ozybnZnsjwUon5dHwypMEvOGQxpDWQXKXmS0+qpYToP/NvZpmmd74J+0I1+ZHRmApblozLQMTFYD2FCAWfwyUwLCtUHJsW9GodWPKZY1XbfxqdliQ77rSfTBFXEDh0HeVXcWm2MvZbzPmBwxtq9EuzSrYcaFs02ZlOurNpEZf5mZL4KHq2SvZjzTj8lJrB2N9Z/2TP3wqnvr2mWG0IdhyuO0a/mCEL1HWTU13T40ls+ETWjsQKdThN6dQ/IyPNxZTDOfSU6998CDPxcPp/ZoKnDsekB8hHgly+i5J95LocljIFQnVlxFzqKY5w44xaPnLjn7QrQ2yMr1EUMQ9P6SvrMrUbB/UrtPRqxvyYlqzkL2aj4eEjlwUmN4UadVOeNHEhdj6cHD35ZfgntRhJEtGzQlSde2crcbs07fUm6VuR7RDsOyK11r5QVi8cWzx4vhJyLcIbrJqbQzYiVOJQgG4eH5EV6te6Mqo2ENG0ar0Ge9jRMGZramIi/V4xd2Ka43calCDsvSn0LZzUkkG6HJabsxbop4PyE0SNI9BcqLPoLfb7zGe7Y8BUuC/WrAhHXniQiRpR8itqYpgh4TKG1acyyTlr6l2aSbZmUE2A6/qw08nkHlINo8PWX8c1dyC5yiAJ/GicdB3VKlPmoN55LHaij1xNfmTeTSs0ypBxGYi4GLCnEMHgc6gEhmeF8rFYsuWw8Kf1puH/pnvYft7YidVBvrjfPDgu5bxQvS8XEAy9fL/xfb21b56msHuXeMBRvHsbb5HA+Ex9WNROhuymnxcaFr/Zic98o2k6fLWzsa2eKGPVT5F0+snNA/MsJrqNc+dBUw1Ie08OxBqDoPQ4pjAky9OkPrH/uFZ/vm82f7vULVDaFFarfre5+4sebbfT+IJsRlFcQfhngepJYXH9hVlAehzR4T/KJANmWezS8+vNEQHXVLmjfGUUVqMmJkzCcnzCqnyanRsU5Mubpnvh/eeNrZ+5x9l+Ccttw8SDsX4W7u7GZ9RhjGaxpOWLJJlrJ0ZQaeeFUh/I2uGNnSfLdINdvvpEKaZOkx7SaJ6/6jov1E9sHNrVYXOJZnm2oq2r7B62t3fEvuFM7YYwA2b0A0jp2sXW460dfqCuX6MhlngtfJdWKUkpyLNYVItabNsjQ07ST7EUM+cF78jpujPt8Cfn071u2kY1e6N7yAvROJEoQ4k71ldn3CrmCsEhISKPVl7Y4LpxWAXJF2sKY9VNhGB8+lVz4yXxlbtv1c98jjqNKncIp/dcyap2Yk+R/IpIAvn0a10ZOo9egwTJZhqdDWOWpkZNpX3NLcx0CedDVNoxVPzwZ1I/Ehy2WZExo4LWqPigJusp7xuWHLrf9JYuR0HbtYC3JNPK0RmiVVxqKk22Ky3cAPDRW+zXxXo3/fjlaLe2OEWJqs1d2pDTgHLOrNB89bG+BNdIbyY559Nrc6vPjFDI4azeHZ/1rn6Da5hTlYahU6mP7W0t39rY2dg98eQAACAASURBVNWN1e5h+3GVdsr6NMkgcpVBEsSG80/WtZM/u/utJ3IzlaNM6dKMwDrtOeW8UE8rlLRLdHivh1amcpXXg/YUMiBcDI/AMK1QYstJX6zEipimB2fF7gqlXUTS321zo4I8tli+UVqYZe6ErF3mvR38SPFlanoQni0ULparS9XKpYXCWepYR1P+nNp8p7nE1IZwenahdKO8eK5AjnSfrTYeVoy5UJJ+2fiKbMaOGeNd19LMEOso7JLrSuMqnJ4l3h3JvzxNs66+WK+KbfpBmCeZLS+eI6/lP6u3NskpqpI269tocSyWl6rVGHX6OdesZQnCfGHhEnE0Wr7Ii9I8+9Q7C6xhYl2W/D88W1i8ttaIz7Yhi8uYp40gCPNMNmjWwtlqc7NqlYXdAjrLl/NzWKEyOurkifjYXGlK2rE2OZXnpUMFQ01Gv4SFeJxbrZO1yhx1+SIRPPI3U94ysHxMok2Z3Otsc92XlZossmDmSv2VzBO5YGku/22L9LKyDnLBC4vfWKe6v+LaBqtccc0KF5Z/Uu0qP7GxtSu1TaAoKG2WIKX6ZGg3oqjbafBKTdjy4uPtjMTo12gwtcbjhBWxKZQUIDkyarfT2W2ufkLHVT5Zt7BqhaJ9kXOqbG2I9lv2L1wt422yIclBEC7etZLmW+IuG3Kkc6Fi/CUIwrNzpRui2SeS2Vw718s7EWXpU82ToB8+qZLhExI7aSpJA0I6nXDx+8Y6qbCK9Ip6p6/mYAHb7RiP0GGcuJLi17r69ho0BtEOOxtG76bGldj4HjuTTBkjjn9Sr3juZq5sPO90Xu/U2PFCFDtZOaU+mnyt1k1lIDX5hfRfPK1Q4sNVDEkkdyKyTdZkw2ond1aIrBkDLhEfI0vv0GlmfPUWV85f10gvFQTBVL5wsUy6ANI8h4WlZp2cayBbVPJustAOKud87pcVvfyf+JhY3ngme6JMcs4HQINweu5SheTr0oYY9yRtCzOze3V8LmLKPaZ4GJSU3+ml7GWCWBuUXjbtJrp/ucqgwVJTnHnBlKlifWg8uucs01ijzp9jGjVXL/Kf1RUPl1TfS1ZsXAqbb4Uy8cqR+gF6CkeYuDUYgSFboSQxxFPocum80KRZm3W+VPl2o2WNXrUfr8ZPMl81L2Q7InPmFHH2q2lvdF7U164tFriiSRSD/LnFyr2mp9DT9AhNPL9QukX9wdIhYa1vYJF3idfZRWog0caQmkzf1vVspiReZjBqb9cqwsajiSaGWf25xSt+g151O60HlUWR3unZxcoD6qmI7vKSVmh0sFv/lhvVrNEO84XFG7VmPDVthMu/trdry7ynYfmbLpwvrW7udmIfufGLvbPwurF6aY40qbHdzpNOQg+1PixiWRPlGMqyoFnTy8ImbEpFnErhizWGw37rtDZuLPLTHabyC9+21FcIwFtylISm/3xp+V4zPgSoX8LqRG7n2UbloihLmV8tHWn5ih88IHkRAxkhkQpT/smzsZbQbTdulebYYA319KD05XGo5Io+KUaLAloo9V0+oxg/6SU2lnYl328/Xovt8CDMny8tPzANJL92gwfZeVFflaNR3FRYrm3Hk9uejcbGJ2EQFqrbdgMl0y471CAIKo3dOneNFoTTH5VWH8eKjfpCynX7+xKpL1Nzyz0iTQlD/BTrN6wN4P+TpuDaWuLpyn4lbu/yHfFcKMmkbF5oj7NwabVB2zeyqz/WlgQN52fPau58i90ksS/wBkSpRNSnwEisUJn9nq2rZ6/B8tWjYfRqalKwRRGb2lL3HSQ+3n68LDu7uUurjX+sEgfIQRA41gwnBNJpLhNvheF0qaarBAnPp9/2tkJJMB7SFbfJMl69neQGmHMLjzzzLL19os24h94iU6BfsM6FdRa0cWbNGvVGo/XgjrzwkOz+mv+Q/IqSBpoAWtHCPBuyF4PCVBSUJTyZ5Ly7r3WCX2xpFD2bQSWZ9uXhk+VCGISfpApet7O7uUbMYKH5EFmdXSh9layt9SdXLH1eGix9lMBcLp0XChtp4sprDamgJpYp1WrERBTzI7Vt94Npio3TCiVp8si4XQrkjmwq++4p3OHibp8EjsAK7TMleO1EE+CnbFtrI+mwRZ06zu05HH4SASU230edWa8u/6gTkRj+YfPmdCiPr0x8bPx+kBOY0qX++KURKTppBI5v68oWQzp87PUuIrlZdAizmr1jwxNjQICtjw2Laz9L+0ekqru/Q51Qqu4MxG/4BAEQGF8CsELHt2xOUsrYcnzTw6HMoT7iK29PwAWsUFch00mGuWvJA8Cul8biHnMQah8pMRaJQyJOJoFj3LrSk8bn7vbaa+0qN+a7Pggc/nJcj+PesSfARk4TThcTDjI9Fz4cexjIAAicEAKwQk9IQY53NtiKi8RlV/sPFsma3KV4N+Z4Z2eIqYMV6oJ52Gk/ry+fD8112q5nx+qe2HgWmku+xyqVSMyJInCMW1eykjMs1a2ZLY/yYS5bgyDUFjx7vIhHjisBtjgzceqbeXO9UOtHmo4rEqQbBI49AVihx74Ij0UGmHZuuJFkKe88W6M+D/LLPx+LrAw3kbBCk3k69gAnPzwWvzB7gPiQdvhbHosUIhEnkMAktq5ynzOWvp9AiXZniZ0pHRpOetmz4niF0kMYoW56uAsC40kAVuh4lsuJS1WnWWVu1qi7xepSlfy7tsg9GIeFyg+T2XnACrVEfb/VfN7e/bm+Ts6qyTu851tvjMGN/dbjRuNemflKDYLFtceNxuOm9GQ/BilEEk4ugQlqXWlFe7yxepFXtenP1huPG4340IiTW8rImeIgfY767SdaxI3SgnDqZ3uRBTMQAIExJwArdMwL6AQljzhk05wnE9fnhrPZE5Rdv6zACrU4PanS4wCoX9nYC5/12Fjd2F2nJ5gxl53yf81p5FilF4k5aQQmpHV1V7QgwDrMkybQCfmhXmTjE8jYEQznFsvm2QQJr+M2CIDAmBGAFTpmBYLkgAAIgAAIgAAIgAAIgAAIgMCJJgAr9EQXLzIHAiAAAiAAAiAAAiAAAiAAAmNGAFbomBUIkgMCIAACIAACIAACIAACIAACJ5oArNATXbzIHAiAAAiAAAiAAAiAAAiAAAiMGQFYoWNWIEgOCIAACIAACIAACIAACIAACJxoArBCT3TxInMgAAIgAAIgAAIgAAIgAAIgMGYEYIWOWYEgOSAAAiAAAiAAAiAAAiAAAiBwognACj3RxYvMgQAIgAAIgAAIgAAIgAAIgMCYEYAVOmYFguSAAAiAAAiAAAiAAAiAAAiAwIkmACv0RBcvMgcCIAACIAACIAACIAACIAACY0YAVuiYFQiSAwIgAAIgAAIgAAIgAAIgAAInmgCs0BNdvMgcCIAACIAACIAACIAACIAACIwZAVihY1YgSA4IgAAIgAAIgAAIgAAIgAAInGgCsEJPdPEicyAAAiAAAiAAAiAAAiAAAiAwZgRghY5ZgSA5IAACIAACIAACIAACIAACIHCiCcAKPdHFi8yBAAiAAAiAAAiAAAiAAAiAwJgRgBU6ZgWC5IAACIAACIAACIAACIAACIDAiSYAK/REFy8yBwIgAAIgAAIgAAIgAAIgAAJjRgBW6JgVCJIDAiAAAiAAAiAAAiAAAiAAAieaAKzQ41687drHQRAUa6/TMnK4XZ0OgiDs8VhaEPjtCAl4FeIRxj+0oNu1CyERtGtbnaGFiYBAYJgEdlbyQRAEM9XmL8MM9ojDalZJoqvNIUdzYlqeIXMZ1+BQXqJk9usl2tUUv2+LW/gEgbElcBQ19yjCfAsAYYUeGfS9xvJ52kzOlWs/77No9h8sBhdq/MtwYvYQxO7O8kwQBPnq9iCmQWfnXrV6b2eQIIaT49GH8mprdWl169XRRexRiEcX+XBD7jSrQxC24aZpjEPr7NSWqrWfsteq7n7jqwXSvkzNle/t7HdpHvc3FoNibW+I+WXGDx+9at8rkiGGJcUUel0jt4IwTRdkz9xU3iIJ7LTuXSmEQRBOF79qtA9pmrs7y2fD6pMhpt8K6sXaHBuPO8LqbEU6hBuwQocAcfRBsCpDqojrr7qdNUWunuLIu6fURI5IzzHS0Nm6Rhq//M1m9qbTCApfx51A51ntyiztKi4sN16xriLa+Wpa64mGkYnmTUctDfOFhUuVtc0W72T7jOgoaq4rzD6T9zZfgxV6RPT3Nz4JwtlSZalcPMts0VLlRqkQBosPhmqERj0FsdO8mQ+C/JWHgw0ZcnVzEmdTedtkqtFDlJyehTjEuI4+qIMGMURnqlAQerLmSurHtayVk4xnhYXSjWr5wjSzRUs3KqXZMPhkY6jty+7auSAIKg1q5XYelsi6i3tKYnmzkLrOwmmF/rQ8HYQL16qVS3O0fZwuXquWz4fB2eUdZlH3ZNfHA93dtY9oUo+ZCRpFEazQPsr77b/CB27OFgrnHP9Wf8qaQkdPcfTdU0oiR6bnaGno/FAOYYJqSE7uFzI0GYTny9UbpbkpMoI4faFcvbYQBtPLmatPD0qsKoV5rarmSaT0b6a81X/nehQ11xFmjxyO5c+wQo+mWA7qpWBufZcG3u20HlSoLRrO3dgabEDFTm0PQTx8Us0H+fIP/dceHuUvzeXZMJxdPlbL2Gxc/dxp/20xDMLFvynKdz/BpLzToxBT3uznpxdrhV5LuPsJVn3noFGdDcMLmY0rNYxJuD58slwIw8JXTT7A65vnDmlf7rL2Jeo826hQWzScq2wNcyI0ivggl1gIuk2WhdpWaBhSQ7JUd7cyLit0Z2U6/HyL5/p1Y5XaouHZ0vqzo5vbOGwu5YOZK/XjZ4LCCvWtGOP2HLNCtSozUBIdPcXRd0/JKR6dnqOk4XWtGIYLKxO5LEvBwC9/2SoHQfZJdTugt3vncOtaEDgH+n9eng7LW2z3RLfduEVt0XC6dLc19K6CWaE2zMNX9QqZjA3iPiszraOouY4wM6drDF6AFToGhTBQEk6IIA7E4Ni/PNJCpIrRJM5pH3sxeQsZIOZucG6N27tPqqGh8VALs3irRpdhh+UfXIqBywp9C1k53lFiLvRYlt8IrNBjyQWJHhaBbatNHlbIowyn2yTZcFqhI0xGkhVKkkAW7wyyM/8odLyjCHOEuEVUsEIFieP6eUIE8bjiH066R1iI3f3aJ73dWQ0nWwjl+BMgHbNcMEztSW2oWFiYnUaF+j8rO9xSiWeOP4y3mANYoW8Rfv9Rwwrtnx3e9CDQXCLtrtYme7w1do88oe4zx9kKZb1Y//7hjkLHO4ow34JoDNkKbW/XKhfzZOo6CMKzhcUbG60DJVfcTc50pWEOmdOFo+peMsp3fp0sgqTrtejmpyCYyi/eqDUtf7DK9A5Z/rrIkhCWtD1SB7v1W6U5ukszCML8+dLqY8cay/2fNyoXC3IteJgvLF5bqz/X1pr5PBMdtncerJUvFnjKWYybu2bOGZ7XzdqNxYJI2/TsYuVes+21PypZEP3DfN1Yu6bGri2LF3tXktWg/Z2Nr0oLvNgDRmxLbCIn+dtvNe4tl87LJ6YLFyu1JxpSRUqsS7+CI68RUVngZUdEhYpft1EJjGG25Ly49tlqmgQbEvuIr7Y20nr4D7JfRd2bt/+8UVPhkEpRa5rLJnsUIs9RSLhtWEsWY+Hvtpv3hPAHIZGiB61OLEWHuw8rC3KTA62k9D99XtSftpH5QQqaLvWsNKKILl/n9TcIpz8qrW7uKllgUVJczDTqtDZuLDI+RnWnbZGofRRdbdtR3ym9hfVXUcRW+4g6mL9YcT5PUkARKQK/ULpV31UbOkGmd0NBM+4YA+4eth8rrUc4XThfWr63E9eZ7mH75w2l2gZhnibD2b50O7ubq3EFnMovXFqtv3A+KpIuPptLYXBNLp2tFQPKSvwaxRZmp/EF0Yemv7Aa9/gZ+Rq58Ksa/BXP0tQiUL9klmqy4S0IwvI/nGuld9c/InnVNib5REGLm6mM+43V0kesc5he/llJK5VDIV1hnld5d5OVgSGrWbMsRlqzSPc3UMujJFq/dGchanxhTiakTD5ora4avA9n9fnU6941lL3eb6SJuXClqof6RF5xlJcRxf5D6jv243VLf2AOzMP05cE0NNoj9OhNRAYy6TkUo5Bt0WS5Wk4Ruvnpgch8hVCjbtXcGXe0wLSuUYto/8l6mestoj9lwe8RhU1qGguXVhuWUupIB+k7WoaypG4YvqI4DelZtfe3V4kjAOvPsEgHbTld2fAoBaWPpopoog6z31wl/lKsP9UizaRA+uu9VtZSmiM+FyoHZJV3/Qj3rrkkSNlBsC6bdxCspjQcNVoekKGqvgmKIgk/E0klj0d6OTwrtLu/9Tn1gE8QlKtLZWEKFmvqPpxXtSJxdqUPmQu/mkpnzMqsWt+uFkJi0LK6KkS5YLh7pa1MWH3CPPGQDcyFc4XpUGxniqLOszUSL7E+F0o3iEsM1hvrPtYOm1/R+kB1vspStXJpgVmGynJwn2eiKKLL3IkHy/zCpUqVBCViXDL3gLUfXqHgiP2mZdNrC5NDuEmz6x1mZ7vKim2OprO6VClRdyEE1bnF8lK1/oJJYIIa9EOFNyFTeZZ4ClbsiSWvMgcndFTiWrW6VC3zcYpUv5pC6v0KjjytZnnxWqV0ng4lzFypN9aJG0+1UUtz9eHgqfdhLDtqBkVaeaErmivZgUmEbnqWkNQqhdZpOSIlLcYPZV6j6OsxN9U9jOhiq5vNKvUjl2duMLi6GYSfyd16nebdanWpUjxLFOjiF6Qs6L/1ptAD/GnLPCsXAxQ0bXyL3zVqn5DWwczCJzW9/aW4wmqTtxu0fZidDmURd9v1z0SV4k5B+AhI/rO6HhRXUDg92m4QMeaPh4Ul08VS56dl6po2bpT44FG4sKy5uvVrKBw6EHEfu044MMmhbQJNj9IKRYc/lNkD+fOlylKVeG5g9rN9AElnZ3metX2kVST/hCkyhL1VqoXZ2aJjMNYgo/qMFBffqkFGB/xLUwavXvQn1YywyjwOkyVeGYryjYLJ+fft9j3RHZ0r5KeUYaBX9SvExTTpOAoXy6QDIkUfLn6/TobSjJF4f4aqDJwvVa4tUhkIC0u1VanHxNnzbXmUN5RLdxbyVx421klccadMdrtSp5SG3szC0ltdHr4vZyU5yZd+NdRXeXDH48yF41FP9cnDCo0irgXNfcPX0bPomMiFSZu3RZpYgj16E/ZCBj3Hu+UUSTE+fREZr5GvaaXgaIGpqvPxeoNU0nB6Vm0zg/xSc//nVdIFCIVHKKVKLXYkgd5i2i/zr0M7X+5bjsRC9NL1J2Jk0KNq7z4k3XeJuPwO5i7J3lwqbENoOR358C0FptJwBV6ykhMtVzbFgOqLOlFCLrFslIROUq0+lNKbQa9QlUDW2fHS8dKlk5uj/SbtQ/PVJ/qgZIa+yaHjOcRSV4S47J0T6sjsqu66j4e59j23koitcUNOCIUxZF6QGUg6iv7Ibg3NCt39hjrAv7C+G8+9iM5sRnN7yFvD2HMJazSNITrGNwyn8uVNZQaj22l9Q/tv3Y5lxXnlWjkMF6r2DCdXj/JVdZi+01ojZxuGpYeiPpCt9kFwttIQSjnDfrjf2pWTVz7P0NcOf94yZlAj3gaV6mr4Py8TfTksrqlzXDKbtk5pioJDuCP/MKn/sSAwFEfmBl2xpkikLiuURRSQMjpUyv1wty2Ykjfb2xtNdWo0irjpe3Z5x8yO/t2z4MgsKDsxQi/ibqe5wkyGIVqh0e5dIurTX1lpJ+dkBEFYbcYo2s0HTX4KBc8ZVxGmV9TXXYUojpTQZl33tsr0HBRlvIZ3sWEY5j/bUGtftLtOq4o+Y+PSY0TSmBWhM7SriV5E6rf+C5o2vuFUGF5Y01ZPvK7T/Aa6RsVwXSlfC8P5qj0IzQ6ENIM6YPWdqBFqT8KajnAqzH+uGahC39X3OvJD6vRGKYram3S8QD2P17OhcOhA4iC8C2vK1GcUHe6395SE/7KzZfiO7/LDWksPhSpDykakWM9dxMF6jQSpRWxe6xYmn4cxWi39GRGCZ9WIMpWmCFz59G9DlJfI5S+sOixqC2roMztfkVnfeGrFPwpa3AvXynNB/so9dZ0CDZe58A2C/OeaEzshiqYJF0WeDPmxFqRGqKIhKpd53LR3y2MAo19Z3QzyNxvqEobOEz52M5AV6s/ZlTLznmcNHSxSh6JppoN891afHD2FIwoxrB8rzUz38PBbzttD394k8tVzRDukqXPOltPFJwsix/sORPIpRwtMVZ0wDHWtrPNslZ1KFU6FCyvNWLy7+/VrdDuCHAaVgWsXbHlFUPxOUWhF0UtXc+INz6qdbDhFA7ecIinqZ0ZBJVrJlQfSniQh7X5HtRLDF7qjFOJoffUKf703Dlu7YoNicjaID9rScUCxJkV7Pkvf5FdzKYcwDMP5ZTk3QKJk5w4ExhEbLExvyIOo4lq+h/xlSFYo67B1y5CmtFP/jCjm+rombuSwXpw53SbuNGPdnVguNTJuGkzf1FRGGqaozMqMEGtlko7EZGaDrsjSkJ6tkqkqOaTNtCW5/MyJ2ucZ54v0Jl2SpC7ip84/TNli73PVodfJLrZwZwmTZce2Buki1nglHkmRbYXyiIxWNTn36i/t9fneuxN9C46MqZPZHodlKBS74c2FRhGzNo1mVAy4OtKg5juKolfrC4Gy1478ahfi4dbndM2A5e6ls3mF1CjpX1TEa64voJHufkMEfEHr9uy4ePr8aRsZSv3qVdBsIYqpDbNw2RJo3bZnjYP7MBimXAYO4yHiCqX2E286zlZt58/kNBS9pHZW6KJTewBCKBNx6Xs2FHbv+zP1gnDW3rWQipn9yKqtqgzx0LRxQB4QMzYsMfaIRnmEZTOOUSibqqlvPqO8blzaVSNjaRrhEaWHjhn1bvztNyNyJF1gN87MkYYiYBmiYMUdGEOuIm7qaMR5Vg1T/gwTTrymf9oMGX8lwfIF1vnq9S5DyyPDiS8yZiHTXGgGznGCkq/8auiAkXKjTizm4notW5LwJzG+kUF9crTebhOL1W5mdvJO0OvAcN4eOnS5yNWbuPFaek6UoeV0BpkBkeN9NyL2oN0Cc1XH0PiVBW4frWmjvVEUsalLtoPMET+7xTQofRJC6gPSA1zi607NIdkKHbjldCQkQykwQQ3Ca7ajADYjp+/scJSCI37llq1XZNF7lYDUS9YckU7f+HPuYclG2K/m8g5ibo2vQIxTx1c/fdGIbwkrSdUGxa8uyOI3/dMmqf9+9N+GY4W6APG0739vHXROTiynR9uHxdqTDbKJwdHkcSEmW8WsPx6dYi7yptN9Vl5KeVDHXPKcdz4xmL8iT4G3oo58nrHfEnfMTpd62Q4C4YdaPMY/WY9eqqvj18YjDgMmU5isJ7ZbQFYZLtSUKU3LCk2PyEqofsNRJ/UHiAJJzyrUWyv+kF5wETlRKggKdtWlY6h0VWysKDstahm5I2FWH8aWIRljK2yrmHOlrgycXjDm2gYDK1LOlp/TqL2/R2d9ldXmXPi15km8YZslDouXPexPWwTu9WllzfkWkzd3L84SphYuC9PWEkjQduOgRshGK9TZwjR6poTbKVHCZsUqB3Q8Gwqr92WqXkFfTadEk3qZLTSGUd+UmBq840eWa7VykXMUyHny8XS9/YwjIHrLqhpZS9MKeDCptlbeEgGje7+Vjj9LFKyAEix/pqm7i56v0NOWs1qZdTNkp7zqQ4riVS7hymLCLC2PCCX+zJoFs0OMQ7JXUWbhrISTeOlVQweNlDcvhlLLvoouIIv65GhOre6J55gtOsvfbDRWyHIrx0CMC01ae+joTVxBOBZaM4xqG668aLScyi/yMgsi+VJ8kYSIPGG1mWLAXakUIiQWjr6Oif7GfE/oq83FS/KTaVCWsseyr3To8gXzwmoeU9a0D9xympHHfatL07D0fN5HOxV4e5DCVQqOBCi3rIpgdtbKs7SUSafUQ5dOMOl/abc2l6lDDW30MCNhK8Fi/iBeUyOl0akI2cOLwgr1hawjEd8cCRM/jehzOFZo+zsyuzN9gWyANP+xBd+qmkKzxt0RkebYOUSXioZ1yaIRl+v+9TkfQZA3EHMlO218j1zc3HSerS8y9y3hdPFGraE7JWIh+jxDnmTuQ26UFuKNWLwvirfBMMFyypxcZdqjebJAZQpT9MT6PlvuaERfJWJZoekRCfwUxX7rcW312iIZCeZL3BmKmLz6OL/2L7gUzUmaJZoEWnmJo7d4uhoLSxMVo6GKTPIgyXbw1fJFsreEb1HQVRD6mBUpY3u2SLb8mf/YTpBYH83YxVpxsYT6045ZWVfdvgpaNr5aGcnA+dajuNbwxtc5PBGxtsjdFIiiDJeaMvQ0enwcREgpR+QaGiDBMaEq1sTqfa+GwtKBWA/t7FdkmtnF4audjW/J/me6B563LeRDwZgeGrMBit8rY01GHD2/MsVIiZG1xqTLlzMGrmdIwB5VI2tpmukdVKrtoSU+AhVLY6YoWHG71LgoYs57AnfR8yYurvU8p4MyZOaBkHA5M+PX8pi0hTcE/yxksEIzcbZS5rzRu4YOHGlq88ITlUV9crTeyVHwJfpk7Yy51szJg9xMDs1psPnpORyjb8tpJy4LIvvtrJlKVA+S4SS+oqSGOzzTrI4oan9H52mUxU38FY+qnWKFDtpyKumWl1lKwSGoMhxHrbf6QfkwufDRK9LVUT9T35EwmY49OmEWxNMMGQk7gDjEKYWDYwzCEaZMrzsvPiRlEKO6GI4VyjKs6EHWpa6m0NyxieAgOLfa0tbisqyn8eWbABWN31GckiArPCtFyg2lD2YSv7kqPPQE4dnisr3RtLvfSn/mVf0Kc182lV+kLnnWHjQajxtrxO+isiKXyZySEZlqcsFTbmke2kMWqIxhSu9EC9eqaw/qtb9w70Th/LJ+LLTVzqZHJBLZ+WmVFb3ACwAAIABJREFU+WUNz86VblSrS6u1zUbj8UblXK8Vuf4Flw7KUbGtvIjUOuaWnR0zt97jtZ2uxXudnVvckc30R9SFzF9q9ceNxt8qZHJWK/SEQlRk1LqMpSJN+B15t+JiefenHbPSrvov6B5WqD1CmZAFmhzWFhk9vUwoY6XaaWn0jHnjdDGTVqjqd6pnQ2EWEMua0kTIpKsX3Xb9T8wpWJgnruCq1W83Go8bjW/oEuK4se0RWjorNcLEa8YkjpE+2G1TPzRi+sXxjG/VSE+hXZpmOgeWarYqO15oba/GzxSFWdxqetMLy26yhsLQqkoshVZzo9yIWx419fQ6axbsqh0HaVbMTJzjYHpdpdfQgSM1c+FKThb1ySovZ/ckYjlk5ycFwZXN1AVV4vnMVqinnsMxJkkOk21dDVOSJG0tRQitS6MJ0l9PKwVHlbTrGg8uOZzEV7SECO9EhVJl9V5949sq905k+s7xrdqSTDwoJuIbtOUU4aifAwqqDIqFo6XZUQr8cV+9goWgqVUyQk9dOq05kqOEcoA7I2G/mpvMwbZ6nMqqzLMN2ZekDGJUF8OxQtkqsiTNz5kX7qNoigyau9aKsDJzT3fwVfiKwCW3DtTJBGmyklpAZ+rIzcP9Vv2rosuVbvyK+xl+IE1Y/Mb0P2FKxhDGbyzh7iPM52vUQxlr2alH8nvNfXNowGpnffZCiG1ihk+C9PrD+SYN/8f4xRVfoJ9QxI51RFZeREhR5Fgl75Qutl+I79plRmmoLbYRnlrKddUskYMLivQ6aFiz/XECrStn8vhTjkbNEhj2qD9tKwHkxiAFLa1Q9xxR0lyoW2vJOELJh8ll16JnTp8pGmBE391QyIzHKhTPrHs2SSTO7RTBEVrq9JpYODf0uVCSzFfUMXVQJEfgMB00zmPkXzWylqYgJD4HlGrpo0isoWVGqbZIJFMUjvookiomEjXlTP5obcv3Z5jaO1utQZaWJ04dv+Jbs9xZ4NVHa6XNDlEJkRV9rFRk4qyE43nprqEDR5rWOIuUpRaQeIh/WuWVYoXyfU9h6N70ZIQsIvA/1MRfzxmg5WTJyoLIka+0UsiiHiSHk6JR6OnZ3yqTzeb8z3m8ln/VTrFCB2059VRnLwWHoMogHbU+qWH01yv60HtlgsSFI2HiJ4laDmFnJOwA4hCnJA6eeqOV2rgp9iepBDKay+FYoekrpB05kVvnD9ioub0ol5VZUP5BcQspArI3ujiKUzwsthcm7EmIH0u42quXyZ5Dt8rL3zGeeVIltrW92dLWM3gnp1kvcTpGsC9U7NENdefGcRriK6ud5bZfQuLpi2y3gGtLkq7fx7GoV6mbSdQHI7ZN1F3ErLGQbQd9j+XFtUCIl4hW3G7p2l0npjt1bcUW6MYTJiSO/doF0tM4BNih51ktVLpgaHnPutzIiouH5k9bj55+G6ygxVovR5WJIsem36QskKSkt0WJ+0KVTeZx9kwJT0XEbC25LzQORbkyGgqX3Zi2s46HlCjtPO+Kvce0N/dWQz7TO+x9oSK73KHOx+vtV3Qnc5yqDFUja2mKyOVnapHJp9IuhLcecnAoW6Abr4Cg72WJIkXJID4tiX7qHhBhOlY8lpqBIe8unUM83DxQmrssLY+NjZwuGwRueTOzQN5map9rzIUPx8RWKF8e727k7ZT0ecesoVkK1xWlu+/Qn0wXcv1ZR9OXEEXsA7JDZ0Q9F+UmhEZTYUivv56TXnYeLWcWRDow+o1lylmzWAvpUg+04RIWaDIcSztypIIcnVK7EAYzVeMUBv3ZDFVb1qDY2BBhpROz+0HxXtpnepj6mw5BlQ84jD1DtMSjGfSK9IbLS5f2mguVjVs6DYuwA4hDnBI4EB6smqTPXghutmBkIKkEMprL4Vih0UH9ChlvUzqzlOQLN+LcfQVbpWD6hGRl5nSxxX+yXYwoPZYWfesW2Z1vnNCgPZH6xVFnrOe1Z5gkaeJCX+AuOtXldkzFcfpZ6dtHbrYwmXS69AAjk3Y763BWbLzDqpnexNNH2DBEum0fRd4Fx7PsmlRniqO2Wc5l2PCEu5xGJpl5LPtz67ssdueBKGpZ8yiEdl5T/LXbLVSn/hmtUd8rTxlwxVdHWyZ+cm36Z3E5Vhl405ahxxcDFrTwketyDbddJbq5Zt3ZuOKUpBywkeYj1+EgjZe76tKATYDrww08alaszp+UxFn9nN3rMJ/ALp+9IhxWE+3GlrcYWnVjYyViKk+EQD+PxEeuEoOcKvmqqh/YyxtwW3NyVA3mldHl39VZmkr0/HIQqeZB0BIh7ogYTMsHXoYo7OJWUswGs+L9tMpPvH7FVmgWhizZLgk/ZJVLa4cztDxKAvllShZY3TEWJSWOuYi+Uu3TM3C2U+Z9R+vKM/RB7gjSGmf5Rgb1ydH0OaPQTwflx4P5eLN3hsZTakhvBj0n+Xgz27u4xKJeZECkvsav7XkL/kNGF/rJcGztyJGMiNrtTmNYeTpL1U4Zxxm45VSSJC4zlIJDUEUoVicoR2OtkTIGXOvRWCgOBTKb3isTo14YdV/9SXQ3ik/KbIQdQBziZFQxNQWDWaFZSKqxjuJ6SFaoaEqCmXJdPxmSbize2olPyHQ0iNYJomR7Aj+MIdCPG5InQOpH0jmKU6XHu7Sw+M2OsdCUePjYFscZPauvb++q516SMA4aFTIXKvxr+zzDxCUs1l4piaDHFdLFMbplwozwcGFZHlhM9qaKY1H1bCrByUuHcPODSf3CZFZo/mbDICMjEBeOdpa7mAoLFfVM1yg6fNXcYctQ2RCUcUwZOaeOkbA1aREb+/QsuCjiR6QG+lmXDCNZkGRYobzBMmeAd2vcN5WmliVZodxbZvGb9XKonPcjcsAGw/I3m+qOHHKwJMu6NkjhKkTezppnsZJp1ueNrZ/jUNOE39Go8UmGuVstkVLx6U9bvBF/DljQLJ1BYB6TtbtxhZyPahxr6cIVJ4WUF7HgzRO30s4LJaNU+mmr4oRD/aBqMYJmnIHmOC/Up6GQvW88T0ibPnKOcRB+sq4dndrdbz3ZpaXOsq/56+MtBhMtLTTe3hq5O6LzQpVCoJf8PGG6/ExJVZaqka00zQSQtR7s2M9ejb/jTXmLjmSF1XVyJraihcjf/aNw1EcZSkQcsBNptw7bfLZG3Q5r+0qyMOSLsczmLv28UOsUaLvlUZIuLlOyMMUaYm2KiVutYVE7Fbm7W/uENtrqoayZipJN0wXlLcdSKpFUzxrqX7giYPUzrXFWnuPjL73VJ0fT54jCHtkXDVd8gqgSu3rpCE3+bEhvJj1HJKB3yymj0y+8EemvsW9sIMZSDxpLbHe9oR44VB0WTDKcxFe01FCxJNUwRSyJYUmE309z4MfnhNfq8fmlIsos/SCfgNX2Gohw1E/vUnAIqgzHYeyxBWJhuR5bCvTxTHrFoLq0yzxmid7fWaOdsjFEmIWwA4hDnIwqJpENPBcaZSKpxnv010OzQqNuR1bp+NTXWbatMjY22JJ3a3EI6yZVvYqVWXnjh2o+CMKzhcLFcuXSAvcyqp8m3GNLPYMoDYxwWp7ZxUOT6hFXhcP8uQXqR6e8eI55dFUS5vNMxDW/IGC+Q3g4+c/qrc2y5p2Ipq2zXRWeRgoLlyrli8KZqrln3SkODuEm/bV/mLx7oJpi/F+YP19afqAecu5uZ9vfL3J9YSrPwDKqfKKDLUEhOvX03KVK9UZpgYhEuLCy0yRHWcaC4cwbuelTcPRlmZIwX1i8RnyHkpTMVJubVZItWcosJn6eRBBM5ZloUee9YWGpWb9pLsB2NBYsEH58FtGuHMe6sjaRSC9xy1S5tFA4S7K+/FOTnEDT0wqNok6DCwZJJDti7lyB1yjrsFx10oCljvzvatSEe+qQ+EwiPpxLG3LnqjftOAp2NWBB03QWbtXJgqWAVcDyIm89gvznW/oQiVvmlSR1mly9EEHxihzkP6vr5xLzIYby37aqM0RKC+cWyzdKC9yTM93arYRLLl/xoQrZKJFiJRK+sPxTPDQgZndTG5OEAiIHWTHfZkE4PUtc4BYYCiEzwqNYEOYXy0tV3mLMXKk/q5P2xRD1bpvr9DJ3HCyphkqKjXz6fWWaqBFj/Ophc4msQyF/6jMZqgbdM+BdmnHM6lXfUi0CofN41MR3zir7N1Ou+igioZ9Cuox2afH7Bj1gWTHhMjGUEhVOF86XKtcWqUSFhaVG/QuzuSPE/VoeLeXyizsL+ep2nTbEShbIK9KPa5hnVY9W1XCWt9tms+ZXlHz5WfrBDF5dOc2VX6QSgHqR2HeoD9FxZx/1SYzOa/2mGQUfCLB2ObEhIWNE2EhGyi5TR2OVTc/xbTmtJPEbfhpmwtuyIQqnZxdKN8qLrCedWqw16A52tXWy9mDLME3U8ofkV+JHSClLaeeNIv0gnjjK3yrTAJmqttBkaF9A8rX8RMbp3w+yXR4euzN8SyGtj3ZYobIdoO48yZkCK9SPvSTmp0Bm0HslJOWCJSy2X5jSJY51CGcrW8IBvnjJn7ADiEOcUjqIweZCY9nzIykyOIrP4VmhNLWdF/VVpm2z6nW2sHBpubbd5hOMrHY5F+522JSjXJKnlNnrxuqlOaZ8h2cLizc2tCkCGq+jOG163XbzXkUYlkRtJN3et/WWPKeAPLDMrZc4/av1F4qq5vMMm8x8UFkUuuz07GLlAfVURPfG2EvRooPWxo1FcYoJ9w9kqMt2hljW6aSx1i3xJ33C7HZaIp1x3WNaNSWgLGN2W6EkrteNtWuLXBcnWBdKX23E9mu33bhVmuNhEuN2lfkcJl4BXMm289mz4MQrnWcblYvcTuOi0nFbYuQNxsdKGN1HqiUsRbqYa9x4qlykhH8qohvQg48b1N4j52cIi4I+qUi7EcLBbv0WM915h1U4X1q+12wrg6kpyXNaoWROo7Fa+ohXqenZypY6AOlN20hpNEhBy8ZXEUgiSlJatMiScSmPMWEQ41bThYuV2rZjeXNMT01/SJ7feKZUfCVkllM6nkIKhXuYUBlShaN3Y+JQ7EQ0hMNy6bzsAKcLF8trDdlURTR3on2JW0XqW0vTqHiA7cerpfO8ajBR1Jo1EW3mzx5WaBT9Qo+GNqxQ2mjIVj21avAUeZZmYvr7lmoWInONGwSOowJllD5RSDmXb9kXarsUyyFbwqCbcL7NC42DirccXpE1i+6L05o7niKPlsdOu3iXdmd8dEZWpYQehFV5MeREa1OD9H20rzStUF6zUvvxKGLbU9U9O46kkvLq1d3L13wKVz6sXMTNi3Iz6bKH+kReczR9ehRi7cNSU+kieIT8UJBrWwntGo3A3ztRH3oOE0KtrOu7RsuZRIfe90CU+D5tA602k22N1trMBEFNM9ETX1FTQxJAu10ygqlbOKQfuaBs0slStbW+IL+w9kyNk/UUYmKDtieOfpAdQq5te9ECMb54lIJDUGUgLis0ijqk0eD99VR+4VuxVkvtl1WVIEmB9NF7ZVL0C5Ywqmkp/9GRu+UH5jpK+apf3+QAotdcGl5KBzGgFUpbzkFVcZnnoV4M2QodXtocZTa8wBESI8B6LMdaNWKo/LxKdnPJpcjHl1lKxT6+mTphKX97ZeToCcaILWkGe66SGqP0IikgkEjAS1NPfDvDD8ylUJrbvAyB4VEQGAYBtnoz/3ldHUFmAR++Yi4wPaYih5ESOwzmaEf63bEfwB0QODoCsEKPju3Yh8wGV+bXHTNEJO0nZSDg7Vk4Yy8BY5PAt1dG42yFUucx08WVbNMFY1OoSAgIqARGZYVS19bEm5QaOa5B4C0S6LIlry63/DRV7unBUSWYOgmb0/ZmjypqxAMCsEInWAaY6p+0eYadgRkUa+ZS+ONG7O1ZOMeN1NtL79sro3G2QqNfOrvb61dmiXP/5i9vr3QQMwgMgcCorFCyVC/PPfAPIdkIAgQGJsBG/BOXvDJ/+2E13tI5cIwZAiD7OMJSPd7vkeFdPAoCgxKAFToowWP8PjsO0fBPyPLTbdc/J25FTkLb9PYsnGMsGyNO+tsro7G2Qlkp0HPVHZvJR1xGiA4EBiIwKit0oETiZRA4CgI7y+SoBd2HP4snPhBhead7FFEjTBAYawKwQse6eI46ccKvLHWXulStkn8V6ROFnBWR4sfgqBM3rPDfnoUzrByc/HDeXhmNrRVKjjvabbeebFTnwyC8YrqwP/kygRyeMAKwQk9YgSI7GQgo7luJY3OqaxH35txJoMP/aobA8SgIHF8CsEKPb9kNJ+WdF3Xi4VY446SugwuL19bqz0/KAo23Z+EMp4QmIZS3V0Zja4Xy0ybIaU/J3nonQTaQxxNCAFboCSlIZKNPAq+bta8Uj/f0IC7tFIk+w8VrIHCMCYytFXqMmSLpIAACIAACIAACIAACIAACIAACSQRghSaRwX0QAAEQAAEQAAEQAAEQAAEQAIHhE4AVOnymCBEEQAAEQAAEQAAEQAAEQAAEQCCJAKzQJDK4DwIgAAIgAAIgAAIgAAIgAAIgMHwCsEKHzxQhggAIgAAIgAAIgAAIgAAIgAAIJBGAFZpEBvdBAARAAARAAARAAARAAARAAASGTwBW6PCZIkQQAAEQAAEQAAEQAAEQAAEQAIEkArBCk8jgPgiAAAiAAAiAAAiAAAiAAAiAwPAJwAodPlOECAIgAAIgAAIgAAIgAAIgAAIgkEQAVmgSGdwHARAAARAAARAAARAAARAAARAYPgFYocNnihBBAARAAARAAARAAARAAARAAASSCMAKTSKD+yAAAiAAAiAAAiAAAiAAAiAAAsMnACt0+EwRIgiAAAiAAAiAAAiAAAiAAAiAQBIBWKFJZHAfBEAABEAABEAABEAABEAABEBg+ARghQ6fKUIEARAAARAAARAAARAAARAAARBIIgArNIkM7oMACIAACIAACIAACIAACIAACAyfAKzQ4TNFiCAAAiAAAiAAAiAAAiAAAiAAAkkEYIUmkcF9EAABEAABEAABEAABEAABEACB4ROAFTp8pggRBEAABEAABEAABEAABEAABEAgicCRWaH79VIYBEFY/L6dFDfugwAIgAAIgAAIgAAIgAAIgAAITBqBI7JCO1vXiA2av9nsGES3q0EQBB/XqG3arn1MLNXqE+MhfAUBEAABEAABEAABEAABEAABEDiZBI7ECu38UA6dJmgURS/WCkEQfNGgODv1UhAExdrrkwkXuQIBEAABEAABEAABEAABEAABEDAIHIEV+rpWDMOFlR1zFpTF/LpWDILgZpN9a96EFWqUCL6CAAiAAAiAAAiAAAiAAAiAwEkmcARWaDquAzL9Wfhmlz3VXAqDoMpN0vQX8SsIgAAIgAAIgAAIgAAIgAAIgMDxJzByKzRqVoOgeI+7LGrfK8IKPf5ShByAAAiAAAiAAAiAAAiAAAiAgC+BIVuh7e1a5WKeOCYKgvBsYfHGRuvASEqzGgblHw7ZXWKFzq/Di67BCF9BAARAAARAAARAAARAAARA4KQSGJ4V2t3f+jxPrc/pwsVydam8yKzRsFh7dVLpIV8gAAIgAAIgAAIgAAIgAAIgAALZCAzNCt39Zo7Mf15Y3+3GKdj/oUwM05nlHeVm/DOuQAAEQAAEQAAEQAAEQAAEQAAEJozAkKzQX7bI2Sxhect0jNupf0aM0/I/+BLcCcOL7IIACIAACIAACIAACIAACIAACGgEhmOFHv5QJmtx+SmgWgT735OTWcIl+MHVsOALCIAACIAACIAACIAACIAACEwmgeFYoe3vFoIgmL5QqS5VzX+XyEpdeUDoZFJGrkEABEAABEAABEAABEAABEAABBiB4VihzZvE0kz7u4m5UIgcCIAACIAACIAACIAACIAACIBANBwrdPebQqCcAgquIAACIAACIAACIAACIAACIAACIOAkMBwrlO8LvbYFH0ROyrgJAiAAAiAAAiAAAiAAAiAAAiDACAzHCo0O6leIj9xi7fXAYLuHnQ6M2YExIgAQAAEQAAEQAAEQAAEQAAEQGEsCQ7JCo4idFxrMlOuvdBuyu996vLVz4Jf77s7yDHGpu/Ddrt8LeAoEQAAEQAAEQAAEQAAEQAAEQOA4ERiaFRp1O42lQkg9FIX5QuEc/Tc7Te94z5G+rpFzXeBT9ziJENIKAiAAAiAAAiAAAiAAAiAAAhkIDM8KpZF2XtRXLy0UzjJrNAjPFhYuLde224ddzzS1Nz4Jg7BQ3e54voDHQAAEQAAEQAAEQAAEQAAEQAAEjhGBIVuhxyjnSCoIgAAIgAAIgAAIgAAIgAAIgMDoCcAKHT1zxAgCIAACIAACIAACIAACIAACk0sAVujklj1yDgIgAAIgAAIgAAIgAAIgAAKjJwArdPTMESMIgAAIgAAIgAAIgAAIgAAITC4BWKGTW/bIOQiAAAiAAAiAAAiAAAiAAAiMngCs0NEzR4wgAAIgAAIgAAIgAAIgAAIgMLkEYIVObtkj5yAAAiAAAiAAAiAAAiAAAiAwegKwQkfPHDGCAAiAAAiAAAiAAAiAAAiAwOQSgBU6uWWPnIMACIAACIAACIAACIAACIDA6AnACh09c8QIAiAAAiAAAiAAAiAAAiAAApNLAFbo5JY9cg4CIAACIAACIAACIAACIAACoycAK3T0zBEjCIAACIAACIAACIAACIAACEwuAVihk1v2yDkIgAAIgAAIgAAIgAAIgAAIjJ4ArNDRM0eMIAACIAACIAACIAACIAACIDC5BGCFTm7ZI+cgAAIgAAIgAAIgAAIgAAIgMHoCsEJHzxwxggAIgAAIgAAIgAAIgAAIgMDkEoAVOrllj5yDAAiAAAiAAAiAAAiAAAiAwOgJwAodPXPECAIgAAIgAAIgAAIgAAIgAAKTSwBW6OSWPXIOAiAAAiAAAiAAAiAAAiAAAqMnACt09MwRIwiAAAiAAAiAAAiAAAiAAAhMLgFYoZNb9sg5CIAACIAACIAACIAACIAACIyeAKzQ0TNHjCAAAiAAAiAAAiAAAiAAAiAwuQRghU5u2SPnIAACIAACIAACIAACIAACIDB6ArBCR88cMYIACIAACIAACIAACIAACIDA5BKAFTq5ZY+cgwAIgAAIgAAIgAAIgAAIgMDoCcAKHT1zxAgCIAACIAACIAACIAACIAACk0sAVujklj1yDgIgAAIgAAIgAAIgAAIgAAKjJwArdPTMESMIgAAIgAAIgAAIgAAIgAAITC4BWKGTW/bIOQiAAAiAAAiAAAiAAAiAAAiMngCs0NEzR4wgAAIgAAIgAAIgAAIgAAIgMLkEYIVObtkj5yAAAiAAAiAAAiAAAiAAAiAwegKwQkfPHDGCAAiAAAiAAAiAAAiAAAiAwOQSgBU6uWWPnIMACIAACIAACIAACIAACIDA6AnACh09c8QIAiAAAiAAAiAAAiAAAiAAApNLAFbo5JY9cg4CIAACIAACIAACIAACIAACoycAK3T0zBEjCIAACIAACIAACIAACIAACEwuAVihk1v2yDkIgAAIgAAIgAAIgAAIgAAIjJ4ArNDRM0eMIAACIAACIAACIAACIAACIDC5BGCFTm7ZI+cgAAIgAAIgAAIgAAIgAAIgMHoCsEJHzxwxggAIgAAIgAAIgAAIgAAIgMDkEoAVOrllj5yDAAiAAAiAAAiAAAiAAAiAwOgJwAodPXPECAIgAAIgAAIgAAIgAAIgAAKTSwBW6OSWPXIOAiAAAiAAAiAAAiAAAiAAAqMnACt09MwRIwiAAAiAAAiAAAiAAAiAAAhMLgFYoZNb9sg5CIAACIAACIAACIAACIAACIyeAKzQ0TNHjCAAAiAAAiAAAiAAAiAAAiAwuQRghU5u2SPnIAACIAACIAACIAACIAACIDB6ArBCR88cMYIACIAACIAACIAACIAACIDA5BKAFTq5ZY+cgwAIgAAIgAAIgAAIgAAIgMDoCcAKHT1zxAgCIAACIAACIAACIAACIAACk0sAVujklj1yDgIgAAIgAAIgAAIgAAIgAAKjJwArdPTMESMIgAAIgAAIgAAIgAAIgAAITC4BWKGTW/bIOQiAAAiAAAiAAAiAAAiAAAiMngCs0NEzR4wgAAIgAAIgAAIgAAIgAAIgMLkEYIVObtkj5yAAAiAAAiAAAiAAAiAAAiAwegKwQkfPHDGCAAiAAAiAAAiAAAiAAAiAwOQSgBU6uWWPnIMACIAACIAACIAACIAACIDA6AnACh09c8QIAiAAAiAAAiAAAiAAAiAAApNLAFbo5JY9cg4CIAACIAACIAACIAACIAACoycAK3T0zBEjCIAACIAACIAACIAACIAACEwuAVihk1v2yDkIgAAIgAAIgAAIgAAIgAAIjJ4ArNDRM0eMIAACIAACIAACIAACIAACIDC5BGCFTm7ZI+cgAAIgAAIgAAIgAAIgAAIgMHoCsEJHzxwxggAIgAAIgAAIgAAIgAAIgMDkEoAVOrllj5yDAAiAAAiAAAiAAAiAAAiAwOgJwAodPXPECAIgAAIgAAIgAAIgAAIgAAKTSwBW6OSWPXIOAiAAAiAAAiAAAiAAAiAAAqMnACt09MwRIwiAAAiAAAiAAAiAAAiAAAhMLgFYoZNb9sg5CIAACIAACIAACIAACIAACIyeAKzQ0TNHjCAAAiAAAiAAAiAAAiAAAiAwuQRghU5u2SPnIAACIAACIAACIAACIAACIDB6ArBCszP/8WqO/ZW3rZe3xW9X7d+sh3EDBDIT2Pvnl/PvncnlcmemL9/+157+/vb107ncuTvGXf0ZfAMBEAABEAABEAABEACBt0wAVmj2AoAVmp0Z3hgKgTd/v3yKD4Gwj1Phf99/2RVh//vL3+RypyoYABFA8AkCIAACIAACIAACIDCWBIZqhUrzTFOU3V+u/jiWPHwSJbOJuVAfXHhmWAS6T7/8NZkEnbl5/9HW/ZWPQ26RvjPzZe3Ro9qXM+/kcrnffPnvYcX2EOuiAAAgAElEQVSHcEAABEAABEAABEAABEDgSAjACs2OFVZodmZ4YwgEduhU56ebb0RYe/+8/sFpbZTn1McbB+JXfIIACIAACIAACIAACIDAeBI4Giv0nffDqTD938q/xhOIR6pghXpAwiNDJ7D31w9zudzVf+oBHzy9X/7w3dO53Ol3P7z5aE+uztWfwjcQAAEQAAEQAAEQAAEQGB8CR2OFOpaqjk+WB04JrNCBESIAEAABEAABEAABEAABEACBiSUAKzR70cMKzc4Mb4AACIAACIAACIAACIAACIAAIwArNLskwArNzgxvgAAIgAAIgAAIgAAIgAAIgAAjMF5W6MHzzdufzoe/fVceR3HqV2H4u8srdzefvpQ+WVxl1z1obd25fmEmpEcpEoctp98Np2aKlTuPnie7a9lvbX59eX4qJNvqyN+pd38bzn96ezPllSiKMlmhByyK98kJj+TvzPtT85e/3mztu3Kh3zt4/ujOn9Xk5RiN2w9bB31t/9su80T0cFDcvkM2IOacJ0/yA1E/vCvOpGxv3ynPS+xn3nMB7O5t371enJWcCYSrd7d7b2KkxbqiiYRfGekk3d+6B62Hty//Lgx/xcXND+/enXMUjlx2TnJ3dX5KFPHpd8PZ4nWf3LFkHbQeUTjvEw+35I8kg4TwyC0kgzPpT+xfblyePpPLnfng0434bBg3WdwFARAAARAAARAAARAAgTQCY2OF7j36clZYalwbNz/OfLrpNCj3/snOqDCfF98/uP3CQtDde3RzJiW+M7Mr287IslihL2t/CHUXpiJJuVzu/T/8z0srWezGm5cPrtJTN5TH9ctTv726KczAhEAct4dohdJDKd+0vp5PYHgqrGyzYYODf60k5uWd+dvPEgYX3rzcKKcVUC53KvzjZm871oGB3OohM+/MrPwrqfiFFXruzl4Uvfl3Su5SAqHJ6iWEuenbmogMzqRXjCli/+iPsQgW/ycJTgJu3AYBEAABEAABEAABEAABhcB4WKH/2b76ntBx3/mg+Mfrt2uPHm092ry7cv2PxQ/4VNWpy1sOi+Xl3Q/lxCmZaZwtXq1cv165fvl3IZ9c+v19U2X+T+v2f8mXTr37v/kr9C0xo5XL5d6Zv68ZAQKbz1zor7+8LxJ25r35yxWSI5KdT+fllFcu9/7VHx05iqLooDbPcbzz/vyn11fubj7aevTo4Z2VT6k3VPbbe18+zTgjOkQrNPfx/ac8g2fe/93l65S5UlhkSu/Dv+69+fHq+yy1tFjZY1cvfBDbrqcvb/5HgNU+D+7/njOgAFfuPOQicfm/4qny95eeai95fXnTuhXLzKlfEXnj6ddK58z8X53FL6zQX3+5/a8v2SiDGsjVCx+IqXUy1pBUxFH35Z1YCHO5d96fuXCVJuOynFadrxmSOxiTgcRe5JqWSTwT7gUcD4EACIAACIAACIAACICARmAsrNCXX3/ADI73/697duvNXmvz642WZXTFRk7u1AeVR/ai3Td7re1nhir/5tEff8Ptm/f+cP+5ZQcePL39e2ElvXedz+ip0Hys0NNnzpwmduztHSP2iJgfMnxjskvG8ubR9d99ufl8742V5Whv8zK32N1muQzDvhimFXr61KlcjkzJtvV4ugePytzwzP36gw9IUs/Mf/3UXEL84v4fxLjDB187jb3ozT+vz9/cbO1ZBRRFe3+/zOM4ffmR43c9Sfq3N/+8Kor//T/UWibh7sHTeIL3/ev/skOX9tiZM+/kcqc/uL5lzUofPL2zKCCcLm44Vl+/2ZaUSAgvrWS82Xu+ba/IHYDJoGLf+rPIUe43X/5bZ4pvIAACIAACIAACIAACIJCFwDhYoW82P2VW4cwdtz2SkKHu0y+FPfbhXe83//0lN0JOf5gYnTJP9cGtlhm9jxVKMpQc/n82L/OVuuHt52bwPb/HM6V/fNTzYfWBYVqhZOet076Kou7TL3/NzXwyG5gwXfnm75f5fPR/3bfMODXVzut4VtA8P9P5uLwZp+1UiszEE+zTt62xD2mF5nK531z9p22m0si6rdvTHMJvbloTtjtfCis6WUhkmn0vUpkMLvbdvUdfX7386dXbttXtm0I8BwIgAAIgAAIgAAIgAAKEwNFYodNFvsSRLdS0/3+gGo0HGx/3Y4W+2RJmjMNUSCrdN4/+L7d9kqbg+JvPb/P52dNXt40JST8r9JT0XuNKy3aZJ+Py3xPMGNdb/F6a96CU16LhWqEO40pEvl2RC57n7ztmAulzbzYvczPt6rZ40f9z7y73oJRpdagqM6oImvHGNuQpy5OTYoXSraHmu+L7mx/FpKspQooQ2mMc4vU+PpOZKDEmzDzz6FLEvo8E4RUQAAEQAAEQAAEQAAEQcBE4Gis0nglLuNIttKdLfHoyaUWuK+VyBjWXwQ6JLZ9k64hHJo0Nyw7xskKtt/Q8JBsM+nPOb91HVxnXVCvIfnWoVuip6/+yY+B3ZO5yH29YK5LlW63bUywb/Vih0T85gwylH8UyY225lKkys2CNJkjByM18m2bJKnPCv/lyRwk/FsIP7xjrmZWn+rlMYhLHOIDY95MgvAMCIAACIAACIAACIAACDgJjYYVG7fsfCl+yp35bXPE6iUTaMFkWtT6/HTLDZ+q2tdDWpCNtY9PY8LJCexgY0k7LYkTJFPLjUnJv0wr9MGUdrcwddaUrk21cSHMuLSjjnfirKIUsALPIzI5Yuf1/jIXbMtk5a5o0Th29io1ezalsFiE0QuzxNYlJlhgTxb5H3PgZBEAABEAABEAABEAABHwJHI0Vqk91+qTFPPHi9Lsflu9sv0hZrSossdzlzZSnjLiFmp77tPdLe3/laz5zRnZkIMZ9EpdMVY/5PWmnpRlR/9lr/Xj/NvX3G06F5J842ZJPMb9NKzQtg165i6Q5l2axv2m3tmu3r1fIuakMguKBlmBIA2iUflw6HjKzd18Uv5FTr2SzmFu3+KCHlkgpPx5CaOaAfs/MJEuMiWLvTApuggAIgAAIgAAIgAAIgEB2AuNihZKUd/ce/bloHLCZODWaaCSkMcimYUvd3bA2k+6TmIdkhbYffamcR8JtTvvjRFuhe1tffmhY3TaBTFZoNplJKsoMVqjTGs8mhLo498ckW4xp4q2nBt9AAARAAARAAARAAARAoC8C42SFsgx0D1oPV4rT4qwUZnjYR55IDz05Y6oqDcNw1PE0NT3JdDFT5bRP2EMv/+cP8kyMHD0vlJ6e+vTl/sEB+7dze4ZhOalWaPflhjzpJJej54Xevr/16NG/X3IC+wdPb3EG2jSjiVn/PiZWqPCrZM6x64k1vw3AZDhibyYI30EABEAABEAABEAABECgTwLjZ4XKjOw/vV/+UFl++f7VH9Wlt9Le81hdKcOUBqTHYshE3V0GYsyRklhkqnrYxolWqHRSmjv14S3rmE2WEWmBn1ArtHWL+yfOnf7w9r/d7o0SAcqydlzI0vGQmUSTVc6F9t6QLPdYaqaylB8PIZSZGIhJlhgTxV4mBRcgAAIgAAIgAAIgAAIgMBiBMbZCWcYOnt6R02K//vJpfGiKPJSytzEQIxqKmxap0w/fCo1P1PhNeVu1ueMsRFF01FaozKDDypWGXJqZ7WciSnNO3xf65pE4TPU3+riDxsAvCu2VKBq2d6J/GuEbX2PvRNp5PNLvkYeLLB7igEyGIvZG5vAVBEAABEAABEAABEAABPolMPZWKNkv2ro9zVagqgZnrOL3PHUjhtPdvsqd8eqWT/yEvHopIrWOJJFG2vCtUD8zSRoVDitRpt9x4XlSy8tv+WJXlw/eo7dCZe5SjTS34x9HprVb8phWbXJSe4R/efk1n4+13PxK4zkXpp/2GQubKrdRlOHcFJGyAZnEKRlA7EVa8AkCIAACIAACIAACIAACAxI4DlZoFDnNp4PaPPdWM327Fc+R9gAi7ZAPvk497FGujD19ddsI/AitUGnjpVkL8eLMrFZo5RQjZp49ozGT5nfu7VihEm9K7uKBiUw+cqPox6scwfTttOKPw7fPfY2t0FxqIG+2LvO4fv3lU43wwf3fc8n9IN2OlW8NzGQIYi8TgwsQAAEQAAEQAAEQAAEQGIzAsbBC32wucutJO7oxXqZ46sO7aTaFhig2Lz/UQlMf6r6881/cgnDYCdIkGP5c6Ms7/4fl1DZ+RPpe3pFnq7qsRPGY6/Pgf4rc+km229/88+pv+ENvyQp9eYdPxdr2v8jUy7sf8uLJ5CNXm1dPk5k4fAcoxQrNndKW2orkkc//bF99j3O0xztiA/V0shCqoQ3OZHCx7+49+vrq5U+v3t7aU5OGaxAAARAAARAAARAAARDISmAcrNC9+/9dXHnY2kvYB/myJnzGWlNPe3+V1siZ+a9dvnz+83L77qZuob7ZrggftO/94c6O5fzm4Ont3wsPve9dd+zOPEIrNHp6U9iA51Za/zFL8+Dft+ffyeVOnznD1hWnzBaar9Lv+/fF9HHu/fKjA2OON4r2Hl4lJ+WcPsVtPEf4crb2yPaFduWO39yH/3/LFIruwdOv58/kcqfeOcMS2XNtrUHizb+ui+J//w93LZkR4VML8v3r/zLjj+JjTukjp8OrDy2r7ODpbTGKkfv11UdWOUbR3n35wDvzTg9Mb15s3/m7kNwhMBlU7KWnpVwueYjEYI2vIAACIAACIAACIAACIOAicDRW6Dvvh1Nh+r+Vf8nkyMmlU+/+dv5y5To9mOTRo4d3ViqX598TBmHO8JHLXn+zXRY2RS6XO/1u+LvL1yvXr1euX70wE/J3LXtJO/Ti1Lv/u3i1snLn4eadP1+/euEDGV/unfn7wgqQaSUXR2mFRu378VTnOx8U/0hPKNm6fztG8f7VH/c2P6UmkMNK1FJqf3m6FOM69asPin8ktDfvrlz/Y/EDfjjn+1d/3LyeaOUevRUaRcrgQu7MdPHq1/cfbT16VLt9/dP599+hGX/v6vbe5mV6mdUKjaJIPQuHQVi5u8khsPBJyGfm/+osfimuVzd/vMponvrVh5cr13kgn6Y4dlYKRJkszeVyp34Vzn9K5PZ65WpxNuTZVCbbh8BkILGXuSZo+mCu5ByXIAACIAACIAACIAACk07gaKxQah6k/3f1R4l+7/7v5frKhJfemVn5lzVpyQN407r7BzKDl/hnWaFkZebB9p9nYoPTevfM7Mp2UoRHaoVG0Zsfrydm552ZlX+T2Tnumye7FRp1Dx5VwkTcnLMwORzhj8IKjaI328mJPDO78pTMLnJPTv1ZRAf/WpmJDU6r+NPkTcDJkeNe9v5OZ4+tAMiNd+ZvP7OnUqXYR9F/Wnf+O7kscjn9QNFhMBlA7OXO0lwul7gOWckcLkEABEAABEAABEAABEAgicA4WKEkbQfPH9358+X5KTELRNX6M++FMxeu39lq2WtHzfy8ebl9d+Xy75TXT78bTs1f/vr+07b5bPz9oPXo7vXibChOJT317m9nipU7j54nGaD01SO2QkkcB63Nry/P//Zdbi6efjecLV6/u70n1tC++TudCHRYiXHmUq4I7fJ8mBw+dwflCH80Vihl8Hzz9qfzIZ+hJbOFRBh+lMtfuZPk/qxQEkH3oLV15/qFGTOKHvImrVDhQerNy0dfX56fep8PatDCWnnoIbS0hN683KaSL16n86Lh7y7frj2VxS2L8mAoTPoT+5cbl6fP5HJnPvh046WQQ5kwXIAACIAACIAACIAACICAP4GhWqH+0eJJEDiuBCwrdCgZebN99de53OnLj1JnT4cSFQIBARAAARAAARAAARAAgbdLAFbo2+WP2I8dgSOxQvfufpjL5WxvuseODhIMAiAAAiAAAiAAAiAAAj0JwArtiQgPgIBK4AisUDYRStbiflD88yN7Ia4aPa5BAARAAARAAARAAARA4LgTgBV63EsQ6R8xgSOwQrsHrR8371SK3CuV83ygEecS0YEACIAACIAACIAACIDAkRGAFXpkaBHwySRwBFaoBPXyDlmYm8sV/yfVP5Z8HhcgAAIgAAIgAAIgAAIgcAwJwAo9hoWGJL9NAkdphUatlf+PWKH9O/59m2QQNwiAAAiAAAiAAAiAAAh4EYAV6oUJD4GAIHBkVmj3zcuHl98nRuhvvvy3iA2fIAACIAACIAACIAACIHDiCMAKPXFFigwdLYEhW6H8aFa6EJf99//au/+XNrbE/+N/1+fnD3z+gvf5ZeBCEAKycuFQruI2CE173+net/XSbKW5YiiS2i8f37WubvCde9H2XizuFLbSEG/F1o8L3axiKUQkW2kIzoeZk8RkMjGTOJnE5CnlmsycOXPmMbLw2vPtP6Jptmvp7DukdgQQQAABBBBAAIGuCpBCu8rPza+egNcp9MH/+V8qff7v/9C+++H/6p+vHgktRgABBBBAAAEEEECgFQFSaCtalEUAAQQQQAABBBBAAAEEELicACn0cn5cjQACCCCAAAIIIIAAAggg0IoAKbQVLcoigAACCCCAAAIIIIAAAghcToAUejk/rkYAAQQQQAABBBBAAAEEEGhFgBTaihZlEUAAAQQQQAABBBBAAAEELidACr2cH1cjgAACCCCAAAIIIIAAAgi0IkAKbUWLsggggAACCCCAAAIIIIAAApcTIIVezo+rEUAAAQQQQAABBBBAAAEEWhEghbaiRVkEEEAAAQQQQAABBBBAAIHLCZBCL+fH1QgggAACCCCAAAIIIIAAAq0IkEJb0aIsAggggAACCCCAAAIIIIDA5QRIoZfz42oEEEAAAQQQQAABBBBAAIFWBDxIof+PHwQQQAABBBBAAAEEEEAAAQRqBRolUw9SaKOqOY4AAggggAACCCCAAAIIIICATYAUagPhKwIIIIAAAggggAACCCCAQAcFSKEdxKVqBBBAAAEEEEAAAQQQQAABmwAp1AbCVwQQQAABBBBAAAEEEEAAgQ4KkEI7iEvVCCCAAAIIIIAAAggggAACNgFSqA2ErwgggAACCCCAAAIIIIAAAh0UIIV2EJeqEUAAAQQQQAABBBBAAAEEbAKkUBsIXxFAAAEEEEAAAQQQQAABBDooQArtIC5VI4AAAggggAACCCCAAAII2ARIoTYQviKAAAIIIIAAAggggAACCHRQgBTaQVyqRgABBBBAAAEEEEAAAQQQsAmQQm0gfEUAAQQQQAABBBBAAAEEEOigACm0g7hUjQACCCCAAAIIIIAAAgggYBMghdpA+IoAAggggAACCCCAAAIIINBBAVJoB3GpGgEEEEAAAQQQQAABBBBAwCZACrWB8BUBBBBAAAEEEEAAAQQQQKCDAqTQDuJSNQIIIIAAAggggAACCCCAgE2AFGoD4SsCCCCAAAIIIIAAAggggEAHBUihHcSlagQQQAABBBBAAAEEEEAAAZsAKdQGwlcEEEAAAQQQQAABBBBAAIEOCpBCO4hL1QgggAACCCCAAAIIIIAAAjYBUqgNhK8IIIAAAggggAACCCCAAAIdFCCFdhCXqhFAAAEEEEAAAQQQQAABBGwCpFAbCF8RQAABBBBAAAEEEEAAAQQ6KEAK7SAuVSOAAAIIIIAAAggggAACCNgESKE2EL4igAACCCCAAAIIIIAAAgh0UIAU2kFcqkYAAQQQQAABBBBAAAEEELAJkEJtIHxFAAEEEEAAAQQQQAABBBDooAAptIO4VI0AAggggAACCCCAAAIIIGATIIXaQPiKAAIIIIAAAggggAACCCDQQQFSaAdxqRoBBBBAAAEEEEAAAQQQQMAmQAq1gfAVAQQQQAABBBBAAAEEEECggwKk0A7iUjUCCCCAAAIIIIAAAggggIBNgBRqA+ErAggggAACCCCAAAIIIIBABwVIoR3EpWoEEEAAAQQQQAABBBBAAAGbACnUBsJXBBBAAAEEEEAAAQQQQACBDgqQQjuIS9UIIIAAAggggAACCCCAAAI2AVKoDYSvCCCAAAIIIIAAAggggAACHRQghXYQl6oRQAABBBBAAAEEEEAAAQRsAqRQGwhfEUAAAQQQQAABBBBAAAEEOihACu0gLlUjgAACCCCAAAIIIIAAAgjYBEihNhC+IoAAAggggAACCCCAAAIIdFCAFNpBXKpGAAEEEEAAAQQQQAABBBCwCZBCbSB8RQABBBBAAAEEEEAAAQQQ6KAAKbSDuFSNAAIIIIAAAggggAACCCBgEyCF2kD4igACCCCAAAIIIIAAAggg0EEBUmgHcakaAQQQQAABBBBAAAEEEEDAJkAKtYHwFQEEEEAAAQQQQAABBBBAoIMC3Uyh6XT60aNHkUjku+++k1KGQqHp6elffvnl8+fPHXxiqkYAAQQQQAABBBBAAAEEEOieQHdSaDqd/uGHH2Tjn2fPnn39+rV7LNwZAQQQQAABBBBAAAEEEECgIwJdSKF//etfVfz84x//uLS09O7du8+fPx8fH//zn/989erV/fv31dlIJPLx48eOPLRhGMWjjcmgdms916kb1NVb2E0Ma2MPd/N1Z7p5wF+H3FpYG76zcdjNJ+beCCCAAAIIIIAAAggg0F0Bv1PoX/7yFxUyl5aWGvV2vnv3LhKJqDG6//rXv7wHKh6lJjQxHM/4nAgPUyFNBGf9vm1DwC445DOzQaGFUgTRhm+FEwgggAACCCCAAAII9LmAryn0b3/7m4qgr169utj13//+95///Gcp5dTU1MUlWz9rBSEhFzvWz3pBk/KbUU1oodWjC8r4dapLDsXs4jXRhf8LwC9W7oMAAggggAACCCCAAAIXC/iXQr9+/RoKhaSUqVTq4japs8fHxxMTE1LKX375xU15l2UK2/GgEMGHuy7Le10stxHRhAilPnldcYv1ddPhfSIoRGA2U2ixzRRHAAEEEEAAAQQQQACBPhDwL4Wur69LKf/rv/7Lvdrr16/VuFz3lzQpqTritMiGf/NB61pkZTC3TTjNJMYj6+4i69FaZOyhu2jXZQcVxYOJ93U4HEAAAQQQQAABBBBAAIF+F/AvhU5NTUkpm47FtYGHw2EpZTqdth1v72vhdVQTQrund7UXLrtyTQghV7JuHsIsHJhz0XNb3E0MCbnsqtKuO3S9AW7oKYMAAggggAACCCCAAAKdEPAphX758kXNCD0+Pm7pMf77v/9bSrm0tNTSVQ0K59ZvCSG0uDeRtsFNXBw+Wg0JIQLuRgXnXoSFCDddzNdlMat1PeBQzMQ1IURk48SFF0UQQAABBBBAAAEEEECgjwR8SqEfP36UUk5MTLRK9+rVKynl7Oxsqxc6lD/ZiAghRFQ/dTjp66GPiyNCiKGEiy5OwzjVo1rTTk6zy9RtH29POBT0u+bLiPzm8zrFvr5nboYAAggggAACCCCAAAL1Aj6l0A8fPkgp//M//7O+BRcfefPmjZRyenr64mJuzhY2o2buuZ7qgQVqM3GzKWMr7jYsyT6TYiieaRyeC+l4wPWqvz3ioDqExf0tN++OMggggAACCCCAAAIIINA3Aj6l0F7oC919GDDH4z7IePry8vvLkYA52TQg765ni4Zxsr/+Uzj4jXmrwERsfc+xry+XmmilJzC3bo7KfdFoSSVrhO2tpoN2S8/dGYdz1KO/P4mMB83xtiWT/P5qVH5TtyzwtjUm12WH8Hn1fEIAAQQQQAABBBBAAIGrLeBTCu2BeaF5NR7X270681uxgBZayeY2Js1UGZgIj2na2IOt7Klh5Lbiw0KIYHzbYS2kzKxZfuSZq8WEDKOg39PEtQbrGWVXpNCirx3u4vS32RGH0o3y+yu3zEQ+9mDrqFAS0DQzkDoMP/6UMmfH9sIAaScmjiGAAAIIIIAAAggggECHBHxKoYZhdHuN3KPUdTP0NJiIqBbLMQu4+dEmN6wuzvMFbLfuq+u06pR7lBwzjzqlR9UhKWZdd8x+XGwQNVVAXTS7YV39dMLBunE+E/+DGTiDs5nz/t+01eEphFb/pKXpqXV9pK6egkIIIIAAAggggAACCCBwVQX8S6Hd3i9UTcUUjRbILeTz+RNX/zbulSeXmr15AWvTy+zit1YKjah0WvprKE19dFoJtnRqItVolG3dH1SDYbdNBuvWVWN0wMG8SSHzIGgSaLWLP6l1mJzDv2qJFt+ubyRHEEAAAQQQQAABBBBAoG8F/EuhX79+DYVCUsr/+Z//ccN5fHw8MTEhpfzll1/clG9Wpkn6anb5+XlzMK1a4iifzfx9P1c0jNLgUlHdEWoYRuaBNRhVOHT3lVJoK0slWXtsysWP5y0xDMNcuMgW/GrO13/pgIPZjhVpxXDb1qblHO4gYDTLw/VN5wgCCCCAAAIIIIAAAgj0gYB/KdQwjL/97W9q19BXr15dbPfvf//7z3/+s5Ryamrq4pKuz3YmfVm3z/9mbQEjRmojYrmDVMS26obLtpFCzahn247F1SYuNqGOOJQGGNv3Yi3NQRXfLjrNf/WsJbYn5CsCCCCAAAIIIIAAAgj0soCvKdQwjL/85S8qiC4tLX39+tWR5t27d5FIREoZCoX+9a9/OZZp/aBnmee8L7TciMys0wI85Q5SUTtMV13UVgo1ci/MtXIri+Havpabc/HvTjgcrYxaPaG2pYaKWzHVQfrQcWNUz1py8QNzFgEEEEAAAQQQQAABBHpKwO8UahjGX//6VxVE//jHPy4tLb179+7z58/Hx8f//Oc/X716df/+fXU2Eol8/Fg7/PRSchevytNC1XUpdDcxZM2IrF2Ax4qI1kTJzfPFeiq3aXl1InXlaSY+JIIq1BV3E8PCNgK2Un/jD51wKOVJMbpSsxfr+4S5N44Q0U2n9XtZnajxS+IMAggggAACCCCAAAJ9LNCFFGoYRjqd/uGHH1TadPzvs2fPGvWUtvsyCvpdMxHZpm62UZs9hR6uWCvh2lbfLYU9cX3lqG44rjll1NqpJeDcSXhRo7LLpYmgappog81bLqihEw6lHG5b8jf7bMQKoZGNE6f2lAgtMMoAACAASURBVPqKG5x1uoJjCCCAAAIIIIAAAggg0AcC3UmhCi6dTj969CgSiXz33Xdq/O309PQvv/zy+fPnTsiq7kftgevNURo0Ir+3nto6X9q2PCm0Jt/mXkTMQbrfhFOHjrXkUhNmQGuwbYzjJeWDuY2IJsIv9tdvCS2ycd6O8vmmvzvgYO0WI4S4v1W5e35vMaTWZmq0AtO2tYnLUMJxtG6lHj4ggAACCCCAAAIIIIBAnwl0M4X6TFnYjJrJr1EoarM1pa5Fs2YttPKxYBQL+y/uBIXQ/hDTG6ZpNYTVtpqR2xbszqmBroHEjttLqst1xOFTysycWsjsmy3mdlfvjKgIKkSj/t7SzNi7utNo3er28hkBBBBAAAEEEEAAAQT6SmCAUqhRmohYu6HlZd9mZVLoRuZpKGBFLy0Yjr3YzzsNxC3dTe2i2XY3oNoW5Vrro3HV7TviYBifthI3giWAGwl91cr89lVzK9yl9N5Ob3ClDj4ggAACCCCAAAIIIIDAFRQYpBRq5NZvmV2W8bR3L0rlyUYL8DS4j+oGbH1hoUp1hd2f46n3bXcidsCh0rTyhyaTQosZazzu+Xq/5ev4jQACCCCAAAIIIIAAAn0uMFAp1LBW9BHaPc9GgZaGlYpQ6pP7PxRz208hZLtdme5v1LCk5w51dypNfG00/rnzDahrEQcQQAABBBBAAAEEEECgNwQGK4Ua1u4mba7q4/DC8hsRaxXYlsbWvk+Ys0bv6g77tzjcojOHPHaoa+SprsbjNpgUaq2wJOSihxvx1DWBAwgggAACCCCAAAIIINCbAgOWQg2jkI4HRHnLzUu+k7weVWvwVK0N26xKK4BpLfWdNquyrfNeOtQ1IP+qBBM7XzS3qpCVw4MPMm0PKa6qi48IIIAAAggggAACCCBwxQQGLoUaRj4zGxSX7IgrTWu0OkIr/3Ex0De/GdWEdvk9S734K/PCwd4ONdi4IlL6EH1dlTeL2cVrQgzHM93sC7a3m+8IIIAAAggggAACCCDgm8AAplDDKB6lJrRLBqHCST5v+1cVtZzf36G5nUlwtmfylxcOtid1YDnJF86XC7airxZqsI2qrTK+IoAAAggggAACCCCAQB8KDGQKNcwgujEZ1CZSR76908JuYlgbe7jbW12A/jrk1sLa8J2NQ9/QuRECCCCAAAIIIIAAAgj0nMCgptCeexE0CAEEEEAAAQQQQAABBBAYCAFS6EC8Zh4SAQQQQAABBBBAAAEEEOgRAVJoj7wImoEAAggggAACCCCAAAIIDIQAKXQgXjMPiQACCCCAAAIIIIAAAgj0iAAptEdeBM1AAAEEEEAAAQQQQAABBAZCgBQ6EK+Zh0QAAQQQQAABBBBAAAEEekSAFNojL4JmIIAAAggggAACCCCAAAIDIUAKHYjXzEMigAACCCCAAAIIIIAAAj0iQArtkRdBMxBAAAEEEEAAAQQQQACBgRAghQ7Ea+YhEUAAAQQQQAABBBBAAIEeESCF9siLoBkIIIAAAggggAACCCCAwEAIkEIH4jXzkAgggAACCCCAAAIIIIBAjwiQQnvkRdAMBBBAAAEEEEAAAQQQQGAgBEihA/GaeUgEEEAAAQQQQAABBBBAoEcESKE98iJoBgIIIIAAAggggAACCCAwEAKk0IF4zTwkAggggAACCCCAAAIIINAjAqTQHnkRNAMBBBBAAAEEEEAAAQQQGAgBUuhAvGYeEgEEEEAAAQQQQAABBBDoEQFSaI+8CJqBAAIIIIAAAggggAACCAyEQNdS6Nu3bx8/fnz79u3R0VEp5fj4+NTU1NLS0t7e3kDA85AIIIAAAggggAACCCCAwEAKdCGF6rr+/fffy8Y/09PTHz58GMjXwUMjgAACCCCAAAIIIIAAAn0u4GsKPTs7SyQSlfgZi8XW1tbS6fTOzs6bN2+SyeTk5GTlbCqV6nN7Hg8BBBBAAAEEEEAAAQQQGDwB/1Lo2dnZ/fv3Vcicm5s7ODhw1H737t3U1JQqtrS05FiGgwgggAACCCCAAAIIIIAAAldUwL8UWukF/fXXX5tiPX36VAXRly9fNi1MAQQQQAABBBBAAAEEEEAAgasi4FMK1XVdpUo3EVTZzc/Pq0sODw+viibtRAABBBBAAAEEEEAAAQQQuFjApxSqliOam5u7uDXVZwuFws2bN6WU8/Pz1ce78flo/U9jie2Cm1sXthNjf1o/clOUMggggAACCCCAAAIIIIDA4An4kULfvn2rejUbzQVtxL65uakuPDk5aVTGl+MF/Z4mbq3nmt8st35LaPd0V4G1eW2UQAABBBBAAAEEEEAAAQT6TcCPFPro0SMpZSwWaxWvWCyq3UR1XW/1Wo/L7yQCIpDYaVary2LNquE8AggggAACCCCAAAIIINCvAn6k0Nu3b0sp19bW2kCcmZmRUi4sLLRxraeXZFeuNe3ktLpMr61kPb0xlSGAAAIIIIAAAggggAAC/STgRwpV/ZnpdLoNuOfPn0spZ2Zm2rjW20vym1FNhFKfGtf6KRUSWnQz37gEZxBAAAEEEEAAAQQQQACBQRfwI4WquZ07O03Hszq8jGQyKaWcnp52ONfKofzeSmRIE0ILXIuuZw2jmN9/EQsHNSGENhSKvdhvnh2Lu4khEZjbbXTb3bmAGErsFhuddzp+sr/+U3jEbJjQguEn23nj81ZiIqDNZpxKcwwBBBBAAAEEEEAAAQQQuPICfqTQ8fFxKeWbN2/a0FpYWJBSxuPxNq49vyS/FRvSQsls7tUdIYQYCoVHNW00vpUtGMXc1mxQCBF8kGm6pFB2WQotqp+eV3z+6VSPakIutzAaN7cZG9GEGL6Tep8zioVsMqQJTTMDqYj81jwUn9+aTwgggAACCCCAAAIIIIDA1RHwI4X++OOPUspkMtkGSzQalVIuLy+3cW3lEjM9ql7KrZgZ8oTQJlJHlU7Lw5Ux85hsPqEz3zBqlgKq6/B49HPY6gANpc43Qz1KXVetu3Dcb+Wp+IAAAggggAACCCCAAAIIXEEBP1Lo0tKSlHJycrJVn+PjYzWat705peXbmeku8NAcSZt9NmLlvMhG9c4v5nxO88dND6TzsNtmg3XLLSn//pQKWX2etX2nBf2u1Y6hRMNRv+UK+I0AAggggAACCCCAAAIIXFEBP1Lo3t6eCpO///57S0yrq6tSyvHx8bOzs5YurC2cz25v7X82DKPc2Xg9dVRdYjtuRUIRWq05XF3k/HN2xRyVW7sEkbVwkYuu1FIt1lK6Zt4M1+xAWsyodjAp9FybTwgggAACCCCAAAIIINB3An6kUMMwpqenpZRTU1PuAQ8ODlR2bW8or8ONTjYiVl/jyLOa2ZvlDlIR23K4qO5Q/XYsbjZxqaqm3AxhC8PvEwGredHNphNUq2rjIwIIIIAAAggggAACCCBwpQR8SqEfPnxQkfLp06dufL58+TI1NSWlvHHjxtevX91c0rxMWvU1BhLvq8uWO0hF7TDd6iK2zzuJgAgkKiv+2r7aCtd/Lc9NtYXho6Q1O9V9M+pr5ggCCCCAAAIIIIAAAggg0PMCPqVQwzBSqZQKovPz84XCRd19BwcHKoJKKbe3t70y3H1o9TVq8UxlXSLDMHLrYasHUruru19aKHVdaJGNnNmy3EZEE7dqhtZe3OCjVTUL1db1mi911H67WNNRe3FdnEUAAQQQQAABBBBAAAEErpqAfynUMAy1TJGU8ubNm5ubm8VidRw05Y6Pj9VcUJVXdV33zvNoZdSKm5GN6rRZzoShlfO1apvfs/Da3JbFXFNXTRN9fVGotlWX/02NC65dCPdUj1qtU6so2S7hKwIIIIAAAggggAACCCDQNwK+plDDMF6+fKkSppRydHR0Zmbm+fPnyWRyYWFBbcqizobD4VaXMmryShxnY35ej1j7pYR/drEuUfUNiruJYRGYy2TmAmI4sWtP09VF6z6bwVUIMXaee4s5/Z65Z6kQWjxdV54DCCCAAAIIIIAAAggggEAfCfidQg3DODw8nJ+fr2RR24fx8fFkMunZXNDyqypsqr5GM+mFktlC0Sj8Y/3OsBDaSGzTGlpbLunyd+6FGskrwi9avbyQeWBmzuDsVr5oFA63EuNqjV5zs5iaLWRcNoViCCCAAAIIIIAAAggggMDVEehCClU4Jycnuq4vLCzMzMxMT0/H4/Hl5eV0On25TVkawlcmhW5sPwkNWanvm2D4p/X96o1DG17tdOJUj2pCaFH91OnsxceK+f3VqLSaoQ3J6Op64prVFWpbNffiSjiLAAIIIIAAAggggAACCFxBga6lUH+tsovfWjHvrt7CDM5mTTx6/eTJ6xaH8jrWyaRQRxYOIoAAAggggAACCCCAQD8KDEYK/ZRS69KGVr0IjZ7/HWyrLWSYFOq5LBUigAACCCCAAAIIIIBAzwkMRAotL0tr2ym0V15G9tmI1VHLpNBeeSO0AwEEEEAAAQQQQAABBDonMAgpNK/fVcv/xLZaWsy2c+rVNRf3n6hJoaMrPdlRW91WPiOAAAIIIIAAAggggAAClxXo8xSama0sP2t1N5r/iXo5N/QS/tamo5VWlT9cM3ch5QcBBBBAAAEEEEAAAQQQ6FeBPk+hxmk+f1L7L+/h+kSX+6so1DZMtbONFXcv1wquRgABBBBAAAEEEEAAAQT8FOj3FOqnJfdCAAEEEEAAAQQQQAABBBBoJkAKbSbEeQQQQAABBBBAAAEEEEAAAe8ESKHeWVITAggggAACCCCAAAIIIIBAMwFSaDMhziOAAAIIIIAAAggggAACCHgnQAr1zpKaEEAAAQQQQAABBBBAAAEEmgmQQpsJcR4BBBBAAAEEEEAAAQQQQMA7AVKod5bUhAACCCCAAAIIIIAAAggg0EyAFNpMiPMIIIAAAggggAACCCCAAALeCZBCvbOkJgQQQAABBBBAAAEEEEAAgWYCpNBmQpxHAAEEEEAAAQQQQAABBBDwToAU6p0lNSGAAAIIIIAAAggggAACCDQTIIU2E+I8AggggAACCCCAAAIIIICAdwKkUO8sqQkBBBBAAAEEEEAAAQQQQKCZACm0mRDnEUAAAQQQQAABBBBAAAEEvBMghXpnSU0IIIAAAggggAACCCCAAALNBEihzYQ4jwACCCCAAAIIIIAAAggg4J0AKdQ7S2pCAAEEEEAAAQQQQAABBBBoJkAKbSbEeQQQQAABBBBAAAEEEEAAAe8ESKHeWVITAggggAACCCCAAAIIIIBAMwFSaDMhziOAAAIIIIAAAggggAACCHgn0LUU+vbt28ePH9++fXt0dFRKOT4+PjU1tbS0tLe3593TURMCCCCAAAIIIIAAAggggEBvCXQhheq6/v3338vGP9PT0x8+fOgtJ1qDAAIIIIAAAggggAACCCDghYCvKfTs7CyRSFTiZywWW1tbS6fTOzs7b968SSaTk5OTlbOpVMqLB6QOBBBAAAEEEEAAAQQQQACBHhLwL4WenZ3dv39fhcy5ubmDgwNHhnfv3k1NTaliS0tLjmU8OFg82pgMarfWcx7U5a6Kwm5iWBt7uJt3V9ynUv465NbC2vCdjUOfHo7bIIAAAggggAACCCCAQA8K+JdCK72gv/76a1OIp0+fqiD68uXLpoVbLlA8Sk1oYjie8TkRHqZCmgjO+n3bhj5dcMhnZoNCC6UIog3fCicQQAABBBBAAAEEEOhzAZ9SqK7rKlW6iaCKfH5+Xl1yeOhtZLGCkJCLH7vwavObUU1oodWjLtzbfssuORSzi9dEF/4vAPvj8x0BBBBAAAEEEEAAAQS6I+BTClXLEc3Nzbl/ykKhcPPmTSnl/Py8+6ualixsx4NCBB/uNi3ZmQK5jYgmRCj1qTPVu661mw7vE0EhArOZguvWUhABBBBAAAEEEEAAAQT6RsCPFPr27VvVq9loLmgjzc3NTXXhyclJozKtHVcdcVpkw7/5oHUNtDLY5ZqQ038Kx15f4hm67KCieDDxvg6HAwgggAACCCCAAAIIINDvAn6k0EePHkkpY7FYq5jFYlHtJqrreqvXOpYvvI5qQmj39K72wmVXrgkh5ErWsY0uDn5clEKIa4vZoovCTkW67tD1BjipcAwBBBBAAAEEEEAAAQT8EPAjhd6+fVtKuba21sYDzczMSCkXFhbauLbuktz6LSGEFk/XnfH3wNFqSAgRaHNUcEG/p4lvNE1o0dftpekecChm4poQIrLhUSe3vy+QuyGAAAIIIIAAAggggED7An6kUNWfmU63E/6eP38upZyZmWn/EStXnmxEhBAiqp9WDnXpw8fFESHEUKKdyam59bDQIr/tm/NL29tppiccCvpd82VEfvN5neIuvXFuiwACCCCAAAIIIIAAAmUBP1Komtu5s7NTvmkLv5PJpJRyenq6hWsaFC1sRs3ccz3VAwvUZuJmU8ZWWl/9d3cuYMbXomHsJAKinamVPeKgOoTF/a0Gr4vDCCCAAAIIIIAAAggg0J8CfqTQ8fFxKeWbN2/aIFxYWJBSxuPxNq61XbL7MGCOx32QsR2/3Nf8/nIkYE42Dci76+ZEzZP99Z/CwW/MWwUmYut7jn19udREWz2Bp3pUE3JZzSg155e2Mce1Mw7nikd/fxIZD5rjbUsm+f3VqPymblngbWtMbnsdwud34xMCCCCAAAIIIIAAAghcMQE/UuiPP/4opUwmk23YRKNRKeXy8nIb19Zeklfjcb3dqzO/FQtooZVsbmPSTJWBifCYpo092MqeGkZuKz4shAjGtx1mb2ZmzfIjz1pbocjsP9SiejnYWruP1qW72seu+9YRh9Jd8vsrt8xEPvZg66hQEtA0M5A6DD/+lDJnx/bCAOk6Iw4ggAACCCCAAAIIIIBA5wT8SKFLS0tSysnJyVYf4/j4WI3mbW9Oae3tjlLXzdDTYCKiWizHLODmR5vcsJKg2RsZmDNnd27dV9dp1Sn3KDlmHr3msBqu6pAUs610zBZ3E0Ol25Uerf5I7TM7feuEg3WffCb+BzNwBmcz5ZhsGGmrw1MIrf5JS9NTW03RTs/EMQQQQAABBBBAAAEEELg6An6k0L29PRUmf//995ZkVldXpZTj4+NnZ2ctXehUWE3FFI0WyC3k8/kTV/827pUnl5q9eQFr08vs4rdWCo2odFq6f2nqo9NKsKVTEyn3m35au5vY93fJLkuzd7SF9ZY64GA+biHzIGgS2Bqj1mFyDv+qJVp82+l1cQwBBBBAAAEEEEAAAQT6VMCPFGoYxvT0tJRyamrKPePBwYHKru0N5a27UZP0VVe+4QFzMK1a4iifzfx9P1c0jNLgUlHdEWoYRuaBNRhVOHT3lVJoC0slNZgFWjNTtGGbq050wMEwjOyKuYWpqO2qNYxyDncQMAzPWlL1dHxEAAEEEEAAAQQQQACBXhfwKYV++PBBRcqnT5+6Ifny5cvU1JSU8saNG1+/fnVzSbMynmWe8xRavmX+N2sLGDGy+LF8yPxd7iAVsa1i9XHzc8sp1FwRN5BwWmb4fNVc+00cv3fEoTTA2L4Xa2kOqvh20Wn+q2ctcXxODiKAAAIIIIAAAggggEBvCviUQg3DSKVSKojOz88XCg4L9lSADg4OVASVUm5vezVe07PMU59CM7NOC/CUO0hF7TBd9ZgtptC8fldruMeMeSMtunk+GbMi6fShEw5HK6NWT6htqaHiVkx1kD503BjVs5Y4PSbHEEAAAQQQQAABBBBAoEcF/EuhhmGoZYqklDdv3tzc3CwW7V2Ex8fHai6oyqu6rnvHdvGqPC3cpy6FmosGmTMiaxfgyb0IWxHMOR+2tjqROd5Vi75uFN0L+j3NcQ0kp6fqhEMpT4rRlZq9WN8nzL1xhIhuOrWc1YmcXg/HEEAAAQQQQAABBBDoewFfU6hhGC9fvlQJU0o5Ojo6MzPz/PnzZDK5sLCgNmVRZ8PhcKtLGTV7VQX9rpmIbFM3m13lcN6eQg9XrJVwbavvlsKeuL5yZM/aZp1mJUIEnDsJ7TdtPua28Xhde11GJxxKOdy25G/22YgVQiMbJ3WtMCqTaRucdbqCYwgggAACCCCAAAIIINAHAn6nUMMwDg8P5+fnK1nU9mF8fDyZTHo0F7TmBanuR+1BK5uj1FRQ+pLfW09tnS9tW54UWpNvcy8i5iDdb8KpQ6cqjFxqwgxoDbaNqb3EWn+oWXg2Q692T3fqc6ytzTA64GB1xgoh7m9VbpbfWwyptZkarcC0bW3iMpRwHK1bqYcPCCCAAAIIIIAAAggg0GcCXUihSvDk5ETX9YWFhZmZmenp6Xg8vry8nE6nvdiUxfkdFTajZvJrFIqcL2p6tNS1aNashVY+FoxiYf/FnaAQ2h9i+udGl6shrLbVjJwLu9yLxXEfF8caO+LwKWVmTi1kbo1azO2u3hlREbRxf29pZuxdV8nZ8UE4iAACCCCAAAIIIIAAAldRoGsptAtYpYmILe2u2bSZlUmhG5mnoYAVvbRgOPZiP+80ELdUndpF0003YNGsPzDnor/QfcmOOBjGp63EjWAJ4EZCX7Uyv33V3IpnKb276g2uXMQHBBBAAAEEEEAAAQQQuPoCg5RCjdz6LbPLMp727r2pPNloAZ4G91HdgK6y5elu6sFi1fjfBjVah3Nbi/Gfd10Myu2AQ127mkwKLWas8bjh9fOhzXVVcAABBBBAAAEEEEAAAQT6UWCgUqhhDVt1O3/SzesuDSsVodQnN8VVmezKNSGENAevdunHc4e65yhNfG00/rnzDahrEQcQQAABBBBAAAEEEECgNwQGK4Uaxd3EsBBaZMObLrj8RsRaBdbN2NrK+36fMGeN3tVd7u9Zuc7LDx471DXtVFfjcRssApzbMBdvkosf6y7kAAIIIIAAAggggAACCPS7wIClUMMopOMBIYLutkhp8vbzelStwVO1NmyTSwwrgGkt9Z02q7Kt81461DUg/6oEEztfNLeqkJXDgw8yLgYPV13FRwQQQAABBBBAAAEEEOgLgYFLoYaRz8wGL9sRV5rWaHWEVv7jYqOU/GZUE1qzbVf8+cvywsHeUjXYuCJS+hB9XZU3i9nFa0IMxzPd7Au2t5vvCCCAAAIIIIAAAggg4JvAAKZQwygepSa0Swahwkk+b/tXFbWc39+huZ1JcLZn8pcXDrYndWA5yRfOlwu2oq8WarCNqq0yviKAAAIIIIAAAggggEAfCgxkCjXMILoxGdQmUke+vdPCbmJYG3u421tdgP465NbC2vCdjUPf0LkRAggggAACCCCAAAII9JzAoKbQnnsRNAgBBBBAAAEEEEAAAQQQGAgBUuhAvGYeEgEEEEAAAQQQQAABBBDoEQFSaI+8CJqBAAIIIIAAAggggAACCAyEACl0IF4zD4kAAggggAACCCCAAAII9IgAKbRHXgTNQAABBBBAAAEEEEAAAQQGQoAUOhCvmYdEAAEEEEAAAQQQQAABBHpEgBTaIy+CZiCAAAIIIIAAAggggAACAyFACh2I18xDIoAAAggggAACCCCAAAI9IkAK7ZEXQTMQQAABBBBAAAEEEEAAgYEQIIUOxGvmIRFAAAEEEEAAAQQQQACBHhEghfbIi6AZCCCAAAIIIIAAAggggMBACJBCB+I185AIIIAAAggggAACCCCAQI8IkEJ75EXQDAQQQAABBBBAAAEEEEBgIARIoQPxmnlIBBBAAAEEEEAAAQQQQKBHBEihPfIiaAYCCCCAAAIIIIAAAgggMBACpNCBeM08JAIIIIAAAggggAACCCDQIwKk0B55ETQDAQQQQAABBBBAAAEEEBgIAVLoQLxmHhIBBBBAAAEEEEAAAQQQ6BEBUmiPvAiagQACCCCAAAIIIIAAAggMhEDXUujbt28fP358+/bt0dFRKeX4+PjU1NTS0tLe3t5AwPOQCCCAAAIIIIAAAggggMBACnQhheq6/v3338vGP9PT0x8+fBjI18FDI4AAAggggAACCCCAAAJ9LuBrCj07O0skEpX4GYvF1tbW0un0zs7Omzdvksnk5ORk5Wwqlepzex4PAQQQQAABBBBAAAEEEBg8Af9S6NnZ2f3791XInJubOzg4cNR+9+7d1NSUKra0tORYhoMIIIAAAggggAACCCCAAAJXVMC/FFrpBf3111+bYj19+lQF0ZcvXzYtTAEEEEAAAQQQQAABBBBAAIGrIuBTCtV1XaVKNxFU2c3Pz6tLDg8Pr4om7UQAAQQQQAABBBBAAAEEELhYwKcUqpYjmpubu7g11WcLhcLNmzellPPz89XHe+fz/nI4vLzfO+2hJQgggAACCCCAAAIIIIBA7wv4kULfvn2rejUbzQVtxLS5uakuPDk5aVSma8fzelQTQovq+a41gRsjgAACCCCAAAIIIIAAAldOwI8U+ujRIyllLBZrVadYLKrdRHVdb/XaTpfPLkuhaZom5HK20/eifgQQQAABBBBAAAEEEECgbwT8SKG3b9+WUq6trbWhNjMzI6VcWFho49oOXlLcTQyJ4MPd3YdBMZTYLXbwVlSNAAIIIIAAAggggAACCPSTgB8pVPVnptPpNuCeP38upZyZmWnj2s5dknsRFiK8njOM3HpYaJHfcp27FzUjgAACCCCAAAIIIIAAAv0k4EcKVXM7d3Z22oBLJpNSyunp6Taurb4kv7cSGTLncQauRdezhlHM77+IhYOaEEIbCsVe7LcyuzO7ck1o9/SCeYOCfk8T11baHJV7sr/+U3jEbJjQguEn23nj81ZiIqDNZqobz2cEEEAAAQQQQAABBBBAoG8E/Eih4+PjUso3b960obawsCCljMfjbVx7fkl+KzakhZLZ3Ks7QggxFAqPatpofCtbMIq5rdmgECL4IGOlyvOLGn0qpOMBIRc/ls9/XJQiEE+7vLp8lWHkNmMjmhDDd1Lvc0axkE2GNHOmqdnAyG+thOLzKvmEAAIIIIAAAggggAACCPS6gB8p9Mcff5RS9AQw9gAAFTdJREFUJpPJNjCi0aiUcnl5uY1rK5eYKwmp2ZtbMTPkCaFNpI4qkzkPV8bMY9Jdh2Zu/ZYQt8zRuOWf+iPlM41/H/0ctjpAQ6nzzVCPUtdV60KpT42v5AwCCCCAAAIIIIAAAgggcJUF/EihS0tLUsrJyclWoY6Pj9Vo3vbmlJZvZ6a7wMNdwzCyz0asnBfZqN755VMqpI666YHMrkihRV/X9HwWXkc1tyHWatSnVMjq86xdX7eg37XaMZQw28oPAggggAACCCCAAAIIINCPAn6k0L29PRUmf//995YMV1dXpZTj4+NnZ2ctXVhbOJ/d3tr/bBhGubPxeuqousR23IqEIrRac7i6SPlzo1mg1TNFy2Ub/rYqMfOmtb5RpVgxo9rBpNAKCR8QQAABBBBAAAEEEECg/wT8SKGGYUxPT0spp6am3AseHByo7NreUF6HG51sRKy+xpFnNWsJlTtIRWzL4aKaQ+aKuCL8omo0bvn0+aq55SMNf5ebIWxh+H0iYDUvulnT0dqwHk4ggAACCCCAAAIIIIAAAldQwKcU+uHDBxUpnz596kbpy5cvU1NTUsobN258/frVzSXNy6RVX2Mg8b66bLmDVNQO060uUv6cfSbFUDxzWv5e/fs0Ex8SsjbfVp8//1yem2oLw0dJa3aqi2acV8UnBBBAAAEEEEAAAQQQQOCqCfiUQg3DSKVSKojOz88XChd19x0cHKgIKqXc3t72inT3odXXqMUzlXWJDLXhp9kFqd3Vm6xLe6qbsz+Xa/pRq9tmroGkRXXHjFpV7mhVzUK1db3mSx213y42vEFVJXxEAAEEEEAAAQQQQAABBK6ogH8p1DAMtUyRlPLmzZubm5vFYnUcNAGPj4/VXFCVV3Vd9471aGXUGvAa2ahOm+VMGFo5X6vW+Z7Nx9w2Hq9bXWP+NzUuuHYh3FM9arVOraJUXZ7PCCCAAAIIIIAAAggggEA/CfiaQg3DePnypUqYUsrR0dGZmZnnz58nk8mFhQW1KYs6Gw6HW13KqMlbcZyN+Xk9Yu2XEv656bpE5vpDgdmL9xQtZGYD4lqzDV/MVXaFEGPnubeY0++Ze5YKocXTTZ6D0wgggAACCCCAAAIIIIDAlRbwO4UahnF4eDg/P1/JorYP4+PjyWTSs7mg5ZdT2FR9jWbSCyWzhaJR+Mf6nWEhtJHYpsNqQ+XrSr/d7sXitI+LrSrDKGQemJkzOLuVLxqFw63EuFqjVwgmhdZhcQABBBBAAAEEEEAAAQT6TKALKVQJnpyc6Lq+sLAwMzMzPT0dj8eXl5fT6fTlNmVp+HYqk0I3tp+EhqzU900w/NP6fvXGoQ2vzq3fEuLWevO0argrWczvr0al1QxtSEZX1xPXrK5Q26q5DdvDCQQQQAABBBBAAAEEEEDgqgp0LYX6C5Zd/NaKeXf1i5ZFatimI/1xfP0fDU/XnPjHevyx3nSAb80lTAqt4eALAggggAACCCCAAAII9LPAYKTQTym1Lm1otbV46NOb31ZbyDAp1CdvboMAAggggAACCCCAAAJdFBiIFFpelta2U2gX2WtunX02YnXUNt+wtOYyviCAAAIIIIAAAggggAACV1BgEFJoXr+rlv+Jbdm3humBN1bcf6ImhY6u9GRHbQ8Q0QQEEEAAAQQQQAABBBDoI4E+T6GZ2crys1Z3o/mfaHtzQz1/6da6u5VWlT803ejF83ZQIQIIIIAAAggggAACCCDgo0Cfp1DjNJ8/qf2Xb2t9ok68kkJtw1Q7TztxJ+pEAAEEEEAAAQQQQAABBHpFoN9TaK840w4EEEAAAQQQQAABBBBAAAFTgBTK3wECCCCAAAIIIIAAAggggIB/AqRQ/6y5EwIIIIAAAggggAACCCCAACmUvwEEEEAAAQQQQAABBBBAAAH/BEih/llzJwQQQAABBBBAAAEEEEAAAVIofwMIIIAAAggggAACCCCAAAL+CZBC/bPmTggggAACCCCAAAIIIIAAAqRQ/gYQQAABBBBAAAEEEEAAAQT8EyCF+mfNnRBAAAEEEEAAAQQQQAABBEih/A0ggAACCCCAAAIIIIAAAgj4J0AK9c+aOyGAAAIIIIAAAggggAACCJBC+RtAAAEEEEAAAQQQQAABBBDwT4AU6p81d0IAAQQQQAABBBBAAAEEECCF8jeAAAIIIIAAAggggAACCCDgnwAp1D9r7oQAAggggAACCCCAAAIIIEAK5W8AAQQQQAABBBBAAAEEEEDAPwFSqH/W3AkBBBBAAAEEEEAAAQQQQIAUyt8AAggggAACCCCAAAIIIICAfwKkUP+suRMCCCCAAAIIIIAAAggggAAplL8BBBBAAAEEEEAAAQQQQAAB/wS6lkLfvn37+PHj27dvj46OSinHx8enpqaWlpb29vb8e3ruhAACCCCAAAIIIIAAAggg4K9AF1Koruvff/+9bPwzPT394cMHfx24GwIIIIAAAggggAACCCCAgB8CvqbQs7OzRCJRiZ+xWGxtbS2dTu/s7Lx58yaZTE5OTlbOplIpPwC4BwIIIIAAAggggAACCCCAgI8C/qXQs7Oz+/fvq5A5Nzd3cHDg+Jjv3r2bmppSxZaWlhzL9N3B/O7DMW04sVvw48kKO4mgNpbYyftxM+6BAAIIIIAAAggggAACCNQK+JdCK72gv/76a20bHL49ffpUBdGXL186nO6rQ/nMbFBoodShf091tBrSRDCeJoj6Z86dEEAAAQQQQAABBBBAQAn4lEJ1XVep0k0EVS2bn59Xlxwe+pjPfP+7sAKhFt30ORDm9buaz9HXd1puiAACCCCAAAIIIIAAAr0o4FMKVcsRzc3NuTcoFAo3b96UUs7Pz7u/6oqV/JQKaUKLbOT8b3duI6IJcT115P+tuSMCCCCAAAIIIIAAAggMsIAfKfTt27eqV7PRXNBG/pubm+rCk5OTRmV8OX60/qexxLarWZuF7cTYn9bdRTurQ1IEE+99eYi6m+w+DAqhRX7rQgSuawsHEEAAAQQQQAABBBBAYFAE/Eihjx49klLGYrFWUYvFotpNVNf1Vq/1tHxBv6eJW+su4lpu/ZbQ7umuAmt2RQohrq1kPW1rC5V1vQEttJWiCCCAAAIIIIAAAggg0CcCfqTQ27dvSynX1tbaMJuZmZFSLiwstHGtl5fsJAIikNhpVqXLYlY1u3MBIURo1V2/abM7t3X+KHVdCBHoVmdsW23mIgQQQAABBBBAAAEEELjaAn6kUNWfmU6n26B6/vy5lHJmZqaNaz29JLtyrWknp9Vl6rZvczcxJIQYWfzoaTNbrCz7bMSMoQ93W7yO4ggggAACCCCAAAIIIIBAmwJ+pFA1t3Nnp2lPosMzJJNJKeX09LTDOX8P5TejmgilPjW+66dUSLhe7fbjopn/RDzTuD4/zqTjZitGV7rYIevHY3IPBBBAAAEEEEAAAQQQ6BkBP1Lo+Pi4lPLNmzdtPPXCwoKUMh6Pt3Ft9SX5vZXIkCaEFrgWXc8aRjG//yIWDmpCCG0oFHux33ynlKLZexmYa9htaI6wHUrsFqtv2/Bz/reIGf8mUi7mmjas5KITn7ae/Gks+I35fOqR83upqNTsA4A/p0JmOyIb3V3+6aIn4RwCCCCAAAIIIIAAAgj0lYAfKfTHH3+UUiaTyTbkotGolHJ5ebmNa88vyW/FhrRQMpt7dcfMXEOh8Kimjca3sgWjmNuaDQohgg8yTZcUyi5LoUX10/OKzz+d6lFNyGW3Kw3tPjQnhYrZTnSF5veXw2bgHo1vHZYfUNPMwO0wBTRjdYZ2eWDwOSOfEEAAAQQQQAABBBBAoN8F/EihS0tLUsrJyclWMY+Pj9Vo3vbmlFZuZ6ZH1Uu5FTOzmBDaROqo0ml5uDJmHpPNF6vNN4yapYDavEe11KjMrHnLBhMyc6kJq5Uu/zP8ZL/yqEY+82DEDJzD8UylMcVM3MqgQotnKk9dukRNTxXxdibtnt+VTwgggAACCCCAAAIIIICASwE/Uuje3p4Kk7///rvLZqliq6urUsrx8fGzs7OWLqwtbK4Eq/KeWozHPgDVnM9p/kR+q+S22gqqvjkPu202WLeqAvVRLU7beIHc03z+xNW//edj1ZNLC9txs2NXaNHX1T272cVv1RNu1D1huSU/d2pocN2zcwABBBBAAAEEEEAAAQQGWsCPFGoYxvT0tJRyamrKPfbBwYHKru0N5a26UT67vbX/2TCMUuIS11M1i/Fsl3oK7XMmq6o4/2jusWlfgshauMhFV+p5LeXsd+ltWo5WQ1Up1FzI1/yxTU8tx2ynB/SsJecPxycEEEAAAQQQQAABBBBAoLGATyn0w4cPKlI+ffq0cWPOz3z58mVqakpKeePGja9fv56fuMynkw1rRSAx8qxm9ma5g1TEttzUXr8di5tNXGw1e5b9alLo+4Q12VRotdNNSyshOe8K41lLbE/IVwQQQAABBBBAAAEEEEDAUcCnFGoYRiqVUkF0fn6+UKgeL2pv2MHBgYqgUsrt7W376ba/p1WfZyDxvrqKUgyzD9OtLmL7vJMIiECisu+M7autsPNXz7JfdQo9SlrzW4WIbtbwbt0vd5A6NMazljjUzSEEEEAAAQQQQAABBBBAoE7AvxRqGIZapkhKefPmzc3NzWLRvlTO8fGxmguq8qqu63UNbv9AaVla2wo9ufWwldG0u3rdnMlG9zKTmxbZsGZS5jYimri13uqsygtXJ2p0X4fj1SlU1SnE2MphdcnS+kPirl6TTUtFWJ2o2orPCCCAAAIIIIAAAggg0HEBX1OoYRgvX75UCVNKOTo6OjMz8/z582QyubCwoDZlUWfD4XCrSxk1ozpaGbXiZqRmhR4rxQkhQrXJrUllhdfmtizmmrpqmmjNUkBNrlWnS8OAa4fOurqytlB1Ci3FbBGv2f7l4+KIem7ntZfUTi22/uHae/ANAQQQQAABBBBAAAEEEPBOwO8UahjG4eHh/Px8JYvaPoyPjyeTSc/mglakypNCa5Ym+rweMbcw0cI/1yxXVLmo4YfibmJYBOYymbmAGE7s2vt0G15XOVGaqzmRarUTtVJD6cPnrdSLfdWLa2VjIURsq9Ke/P7ihNqkJZT6ZL/U/P5ZrQ8c2ThxOssxBBBAAAEEEEAAAQQQQMBrgS6kUPUIJycnuq4vLCzMzMxMT0/H4/Hl5eV0On25TVka8hQ2o1aPoJk5Q8lsoWgU/rF+Z1gIbSS22U4SzL1QI3lF+EU7lxulLsrafsuGzXd54ihlZk7zAQ3DyL1P3fmDiqDWqrmOdaTjJsu3izXrNTmW5CACCCCAAAIIIIAAAggg4IVA11KoF41voY7KpNCN7SehISubfRMM/7S+33Yf4KkeNRNfVD9toRlVRdWEzJHFj1XHLv+xeLQ1Fw5+Y0ZLLRhOvE6p8G1bNbdyHzUwWG2mWjnIBwQQQAABBBBAAAEEEECgcwIDkkKzi99aXaHOK/S0yXv0+smT1y0O5a261e6cua+K0x6eVYUu+bHJpFC1QG7Ver+XvB2XI4AAAggggAACCCCAAALNBAYjhX5Ssx87HPmaWdvPmysbCXHNXOSoQz+5n0NW+G4wKbTzDejQc1EtAggggAACCCCAAAIIXF2BgUihpaWARK+tBGvt8iKCtfuXevi3VNDvWiF0KLHrVOvuw6A5pHjT9Q41TpVwDAEEEEAAAQQQQAABBBBoSWAQUmhev6sW6alaPLYlpM4Vtjppy1uPen2bkw1z5qoQ4v6WQ9VWBNYmUu0PKXaolEMIIIAAAggggAACCCCAQBOBPk+hmdnyIrFWHLP+E9ULTVD8PH20GtK87pDMLptDfe0/96qf20rmWih16Oezci8EEEAAAQQQQAABBBBAwOjzFGqc5vMntf/yvZRBzb/AfGY2KLwNhPVPfZKvfm4r+gbjacbi8j8BCCCAAAIIIIAAAggg4LdAv6dQvz3bu19+9+GYNhzPtLnpS2s3LewkgtpYYocI2pobpRFAAAEEEEAAAQQQQMATAVKoJ4xUggACCCCAAAIIIIAAAggg4EqAFOqKiUIIIIAAAggggAACCCCAAAKeCJBCPWGkEgQQQAABBBBAAAEEEEAAAVcCpFBXTBRCAAEEEEAAAQQQQAABBBDwRIAU6gkjlSCAAAIIIIAAAggggAACCLgSIIW6YqIQAggggAACCCCAAAIIIICAJwKkUE8YqQQBBBBAAAEEEEAAAQQQQMCVACnUFROFEEAAAQQQQAABBBBAAAEEPBEghXrCSCUIIIAAAggggAACCCCAAAKuBEihrpgohAACCCCAAAIIIIAAAggg4IkAKdQTRipBAAEEEEAAAQQQQAABBBBwJUAKdcVEIQQQQAABBBBAAAEEEEAAAU8ESKGeMFIJAggggAACCCCAAAIIIICAKwFSqCsmCiGAAAIIIIAAAggggAACCHgiQAr1hJFKEEAAAQQQQAABBBBAAAEEXAmQQl0xUQgBBBBAAAEEEEAAAQQQQMATAVKoJ4xUggACCCCAAAIIIIAAAggg4EqAFOqKiUIIIIAAAggggAACCCCAAAKeCJBCPWGkEgQQQAABBBBAAAEEEEAAAVcCpFBXTBRCAAEEEEAAAQQQQAABBBDwRIAU6gkjlSCAAAIIIIAAAggggAACCLgSIIW6YqIQAggggAACCCCAAAIIIICAJwKkUE8YqQQBBBBAAAEEEEAAAQQQQMCVACnUFROFEEAAAQQQQAABBBBAAAEEPBEghXrCSCUIIIAAAggggAACCCCAAAKuBEihrpgohAACCCCAAAIIIIAAAggg4IkAKdQTRipBAAEEEEAAAQQQQAABBBBwJUAKdcVEIQQQQAABBBBAAAEEEEAAAU8ESKGeMFIJAggggAACCCCAAAIIIICAKwFSqCsmCiGAAAIIIIAAAggggAACCHgiQAr1hJFKEEAAAQQQQAABBBBAAAEEXAmQQl0xUQgBBBBAAAEEEEAAAQQQQMATAVKoJ4xUggACCCCAAAIIIIAAAggg4EqAFOqKiUIIIIAAAggggAACCCCAAAKeCJBCPWGkEgQQQAABBBBAAAEEEEAAAVcCpFBXTBRCAAEEEEAAAQQQQAABBBDwRIAU6gkjlSCAAAIIIIAAAggggAACCLgSIIW6YqIQAggggAACCCCAAAIIIICAJwKkUE8YqQQBBBBAAAEEEEAAAQQQQMCVACnUFROFEEAAAQQQQAABBBBAAAEEPBEghXrCSCUIIIAAAggggAACCCCAAAKuBP4/rI7AqFlnTO8AAAAASUVORK5CYII=)
Poderiam me ajudar?
Porém eu não sei como "inverter" essas proposições, acredito que eu não posso assumir ~q ^ ~p = ~p ^ ~q
Poderiam me ajudar?
lucas_mj- Iniciante
- Mensagens : 7
Data de inscrição : 31/07/2023
Idade : 18
Localização : Santo André - SP
Re: Lógica matemática - proposições
Não é verdade que, se Felix não é um gato, então Bolinha é [gato]
É falso que, se não q, então p
Falso: ¬q -> p
Sei que a -> b equivale a ¬a ou b, então, é Falso: ¬(¬q) ou p <=> q ou p <=> p ou q.
É falso que, se não q, então p
Falso: ¬q -> p
Sei que a -> b equivale a ¬a ou b, então, é Falso: ¬(¬q) ou p <=> q ou p <=> p ou q.
Lipo_f- Jedi
- Mensagens : 267
Data de inscrição : 16/05/2024
Idade : 19
Localização : Belém, Pará
![-](https://2img.net/i/empty.gif)
» Lógica matemática - proposições verdadeiras ou falsas
» Lógica Matemática
» lógica matemática
» Matematica lógica
» Lógica matemática
» Lógica Matemática
» lógica matemática
» Matematica lógica
» Lógica matemática
PiR2 :: Lógica :: Raciocínio Lógico
Página 1 de 1
Permissões neste sub-fórum
Não podes responder a tópicos
|
|