Título : |
Universal Algebra and Applications in Theoretical Computer Science |
Tipo de documento: |
texto impreso |
Autores: |
Klaus Denecke, Autor ; Shelly L. Wismath, Autor ; Shelly L. Wismath, Autor ; Shelly L. Wismath, Autor |
Mención de edición: |
1a ed. |
Editorial: |
Chapman and Hall |
Fecha de publicación: |
2002 |
Número de páginas: |
xii, 383 p. |
Il.: |
gráfs.; tbls. |
Dimensiones: |
23 cm. |
ISBN/ISSN/DL: |
978-1-58488-254-1 |
Nota general: |
Incluye bibliography and index |
Idioma : |
Inglés (eng) |
Clasificación: |
604.245 Dibujo y comunicación gráfica |
Nota de contenido: |
Basic Concepts -- Galois Connections and Closures -- Homomorphisms and Isomorphisms -- Direct and Subdirect Products -- Terms Trees and Polynomials -- Identities and Varieties -- Term Rewriting Systems -- Algebraic Machines -- Clones and Completeness -- Tame Congruence Theory -- Term Condition and Commutator -- Complete Sublattices -- GClones and MSolid Varieties |
Link: |
https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=94357 |
Universal Algebra and Applications in Theoretical Computer Science [texto impreso] / Klaus Denecke, Autor ; Shelly L. Wismath, Autor ; Shelly L. Wismath, Autor ; Shelly L. Wismath, Autor . - 1a ed. . - Chapman and Hall, 2002 . - xii, 383 p. : gráfs.; tbls. ; 23 cm. ISBN : 978-1-58488-254-1 Incluye bibliography and index Idioma : Inglés ( eng)
Clasificación: |
604.245 Dibujo y comunicación gráfica |
Nota de contenido: |
Basic Concepts -- Galois Connections and Closures -- Homomorphisms and Isomorphisms -- Direct and Subdirect Products -- Terms Trees and Polynomials -- Identities and Varieties -- Term Rewriting Systems -- Algebraic Machines -- Clones and Completeness -- Tame Congruence Theory -- Term Condition and Commutator -- Complete Sublattices -- GClones and MSolid Varieties |
Link: |
https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=94357 |
Universal Algebra and Applications in Theoretical Computer Science
Denecke, KlausWismath, Shelly L. ; Wismath, Shelly L. ; Wismath, Shelly L. - -
USA : Chapman and Hall - 2002
Incluye bibliography and index
Basic Concepts -- Galois Connections and Closures -- Homomorphisms and Isomorphisms -- Direct and Subdirect Products -- Terms Trees and Polynomials -- Identities and Varieties -- Term Rewriting Systems -- Algebraic Machines -- Clones and Completeness -- Tame Congruence Theory -- Term Condition and Commutator -- Complete Sublattices -- GClones and MSolid Varieties
|
| ![Universal Algebra and Applications in Theoretical Computer Science vignette](data:image/jpeg;base64,/9j/4AAQSkZJRgABAQAAAQABAAD/2wCEAAkGBxMTEBUSExMWFhUVFxcVFxUXGBcWFhUaGhgXFhgYFhUYHighGBolIBcaITEhJSkrLi4uGB8zODMtNyguLisBCgoKDg0OGxAQGy0mICUtMi8rLS01MC01LS0uMC8vLSstLS0tLS0tMi0tLy0tLS0tLS0tLS0tLS0tLS0tLS0tLf/AABEIARQAtwMBEQACEQEDEQH/xAAbAAEAAwEBAQEAAAAAAAAAAAAAAgMEAQUGB//EAEUQAAIBAgMEBgcFBgQGAwEAAAECAwARBBIhBRMxQQYiUWFxkQcyUoGSodEUI7HS8EJDk8HT4VRictQVRFOCovEkJcIW/8QAGQEBAQEBAQEAAAAAAAAAAAAAAAIBAwQF/8QAMxEAAgIBAgQEBAYCAgMAAAAAAAECEQMSIQQxQVETFGGhInGR0TJSgbHB8OHxI2IFFTT/2gAMAwEAAhEDEQA/APz2vpHhFAKAUAoaKAUAoBQwUAoBWgUArAKAUNFAKAUAoYKAUAoBQCgFAfS+j7YMWNxu4mLhN273QgNdSgGpB06xrnlk4xtFwinKmfpTeiXAe3iPjT8lebzEzv4EStvRTgfbxHxp+Sp81Iry8CpvRbgvan+NPyVPm5ehS4aDKm9GOC9qf41/JU+bn6FrhIepS3o1wftT/Gv5Kx8ZPsilwkPUrb0c4T2pvjX8lT53J2Rq4OHqVN6PcJ7U3xL+Ws89k7IryOPuypugOF9qX4l/LWeeydkV5DH3ZU3QXDe1L8S/louPydkb5DH3ZQ/QrDD9qX4l/LVrjcj6Ih8Dj7sofohhxzk+Jfy1a4ufoS+Dh6lL9FYO2T4h+WrXEzIfCQ9Sl+jUPa/mPpVriJkvholD9H4hzfzH0qvGkR5eBU2xI+1vMfSq8VkvDBFLbJj7W8x9K1ZGT4SKW2ana3mPpVamY8aKmwK99VqJ0IqbCr31tmUY6o5igFAe90J24cHi9+BGTu3S0jOq9YqeKI5vp2eVRkhqVFQlUrPvW9Kz/wDTwn8bE/7avP5dHoWais+lJ/8Ap4X+Nif9tTyy7v2+5vjkG9Jzf9PC/wAXEf7ep8su79ivMfIrPpKb2MN/FxH+3qXwvq/Y3zPy9ytvSM3sYf8Aiz/0Knya7v6L7mri66L3K29ITexh/wCJP/QrPJL1+i+5XnPRe5W3T8+xB/En/o1nkl6/Rfc1cb8vq/sVt07PswfxJv6NZ5Fev0X3K88/T6v7FTdNz7MPxzf0aLgV6/Rfc3z79Pq/sVN0yJ/Zh+OX+lVrgvn9EQ+NfZfV/YpbpYT+zF8cv9KrXC11fsS+MfZfV/YqbpQfZi+OT+nVeWXqQ+Kb6L3+xU3SMnlH8Un9OqWAzzD7L3Km28eyP4n/ACVSwox5ypttdyeb/krViRHjFTbV7l82/LVeGZ4pW20e5fNvy1ukzxCpsb3DzP0rUidRW2J8Pn9KozUZa0gUAoDZsjCrLMkTEqHIW6gEgnQaHlUZZuEHJdDpigpzUX1NUmBgVsQC8toDbRUu9nWI89NTfwrn4k3ppLct44LVbexrx3R9IcQI3kcxvG0iSKq65VLMCCe62naKiGeU4akladP9TpPh4wmot7NWv0IwbHgKYZjJIPtLFB1VshVghub6i5HuNY8005Kl8Ijhg1F2/iIf8JhDyKzygpOkA6q9YsWGbjpbKx8CK3xpUmkuVk+FFNpt86O4vZECTGLeS3WZIicqAHOD1l11sbXB5GkMs5R1UuV/Q2eKEZ6bfOvqNtbBWJHeN2bdTbhgwAJOUMGUjiNQLWpiz6mtXVXsMvDqCbi+Tr9SnbWy0gzIHcyRtGrggBWzoXzJbWwtbWrxZHPfoycuJQtdUdxeyFjbDBmbLOgLEAXVixUgA+zdQfA+FZHK5KVc0JYVFwvlIzbbwSwzvCrM2Q5SWAFzxNgOVXhm5w1PqRmgoTcV0J7L2ZvYsRJe25jDge0b3PuCg+YqcmVQlGPc3Fi1xk+yJvs6MYMYjM+YybrJZcua2Ym972sPOniS8V46Rvhx8JZLYi2dGuHWeZnAkZljSMLmIXRnJbSwOludHkk5uMUtuYWOMYKc293tRoj2NDbEkyuRhwrXVVtIr2ykXOh1qXmncVXMpYYfFb5HYNkYcrMxkltDuj6q3IkyjUX0ZSSCO6sllmnFUt7NjhxtSdvaiZ2BGjYpJJHvhgHugWzqQDwY6Nrw+dZ5iUlBxX4jfLxTmpN/CY8dsYx4sYfPcMUs9rdVrHMVvpYXuL8q6Qzasev5+xznh05dHy+jMu18HuZ5IvYcgX4kcVJ9xFdMU9cFLuRlhom49jJV0cxSgKAUAoDfsKULioWY2AkQkngBmGprlnV45L0OuF1ki/U27ZwEqPi80bDeSFU0PXLS7wZPa0XlXPFNNQ+W/psdMsWtfz29dz2ZJMwxeHlBDwGeeEkEEqVcOBflZr+/urhppwnHlKk/mejVanCXONtfQ8rakMi4DBtlYZWmNyCLEuCh7r2uK7Y2nmmu9HDIpLDB9mzVt1g+Kg3d237RYkgC5uwjQC3du2P/AHVGG445aulovNUskdPWmbttwSyYhgYSFixMZRlQjelzGNTbrkBWObkBXLC4xhz5pnXMpTyP4eUkWdKMMZlcBSu5xN5VAIzxyBQJrc7C4zcNG7Knh5KG/eO3zXQviYue3Kpb/LuUY7CPiY0SaMiePELhw+Ugyx8WbvAXrX4ad9XBrFJuL2cbfo+xEoyyxSkt1Kl6ruV4tTiMPFIkDIYsWUK9diBI2djqLjr2BHKtj8E2pPnG/wDBkv8AkhFxVVKv8mLpTs19/ip2VlQOoQkWDsxXQE8QFDHTsFdOHyrTCN70cuJxPVOVbX7m3oqm7MCNCx+077r3YBUIC2y2swOQG54Br8658R8Vyv8ADR04ZaaTX4r/AEM7bInOz0hETlxi2Fsp5IVzHsW/PhVLLHxnK1+EmWGXgKNP8RfjsMrw4bIu9TDyyYeVRmvq9g3UIIBAvftIqYScZSbdWk19ipwuEEldNp/cvgwZhbaKww3VFjVFKtKrWN9Q18xsb28Kmctax63vbb6FQXhvJoW1JLqcw0cqLjZVhLOwgl3bIWAZpDIUy8yFINuIpNwk4Rb7qxBTipyS506/g0DD5MRj2SMyjdxsyEM92JDvGTzNtbcrjsqW9WPGntu/9lpacmRrfZf6MG1sAy4qfElGlhMRkU3YBhIBFlzrquUM3DgFFdcc08ax3Tujlkg1keSrVWv76GHppETLHPkKieGN9b6MBYrc8wAvnXXhXUXDszlxauSn3R89XqPIKAUAoBQCtBY0zG12Y5fVuxOX/Trp7qhQiuSKcpPmzhla98xva17m9jcEX7LE6d9aopbUY5N9TrSsRYsxGmhJI7tKaYrejdTe1nA5B4m40GpuO4UaVGW7RsTCYkyGILKZF1KAsWXTmAdOPzrm5Y0r2o6KOVypXZIbPxRcru5s4W5FmvlP/wCT5VmvFVtoLHluqYGBxRbJkmLIo6tnJVTwsOSm3LSmrFV7UxoyuXJ2Qw+HxDsyoJWZb5guYka2NwOGtbKUFu6MjHI9lYiwWIkLKEkcobMOscp4WN+BrXOEd7oKE57VZXEkxYoN5mUMSt2BUKLtccrAVrcFv3C18uxfh8HinUOiTMpvZlzkaGx1HhUSnjTqVWVGOVq43QXZ+KTMwjmUAHOwDLa2pzEePOteTHKk2mYseSO6TRWmDxAi3oWQR+tmGYDvbw/zUcsd1tYUMtWro6cPiBk0lG89T1uvw9X2tLfKt1Y9/QacirnudhwOJztGqS51szKMwIvwJHIn51OrHV7V0GjJqaSZl3rjq5mHG4uRrz0rpUXvRGqS2si8rHixPiSfxrUkuRjbfMhWmCgFAKAUAoBQHux9HgVRt+tmSZyQpYAxBSQpB6463HT1TXmfEU2tPVe56lw1pPV0fsb9j7G3GNjYyXUSxojBL7wvHvNQT1BYgX11Irjkza8TSW9b+m51xYdGVNva9vXY8HZ8OfEgG1s7McxAFlu7ZieAsp1r1TdY79DywV5K9X/J9Wyf/b4WW4O+RXLKQVLbt0bKRoR1RXiX/wA0ovo/5Pc//phJdV/BXsjGq2IwUSnM0S4jOw4DOrEICeNgBflWyg1CUu7X+zITTnCKfK/9Edi4xWlwsatmaHCzK7C9rsuYKCeIWwHZTLjcYSk1zaMx5FLJGKfJM8noQpGJRraFJQD3iMkj5j5V34z8Feq/c8/Br479H+xzaAy7NwarwcyyNbmwIUE94GlMa1Zp302+puT4cEK67/Q9Hoq7NimmkKrvCsbZ2C5t6pbqX9ZjZTbjY1z4lLw9K+e3odeGvW5P5b+pl2TmX7XC37nCYmMDlo9yfeT+FVkSahLu0RjbWuPZMjh5jJgcUWOpkwqk9uWyXN+dlBrZR05Y12YhLVik33R6ruV22EA6lhDl5bvc3y27L61xVPhb68/c7NtcXXTl+lGfDQLNhmwQ9dRJNhzzJWaZSt+8KPMnlWtuE1l6bKX0REYqeN4uu7j9WT2eVmfEwO+7kln3kTngzxN6h8NNP82mtMlwUZpWknfyZWOpylBum3a+aPlMYGErhxZs7ZhyDZje3vr3wrSq7I8Er1O+7Ka0kUAoBQCgFAKAGhp9HP0oDC32dR1ZF0cgASIsbAC1hounZ+Pk8rTvV26dnZ6nxW1ae/XvsF6VHMCYFOVonQF26rxrkzXA1uoAt3U8p/2NXFv8p5WE2giPKxiB3iulg5XIH9bKTck8ta7SxuSSvkcI5FGTdcz0MH0kWP7P9wC2GDBGMh1zDrZhbhroOVcpcM5avi58zrHiVDStP4eRl2btdIcQZ1iB45ULmy5gQ2trtxNr9tXPC541BsjHnUcjml/epzZW1lglaVYr3BVVLmyAix1t1vfW5MTnHTZmLMsctSRpwXSBImRkw6gRq6qu8Yi7+uzG1ySLD3eUT4dzTTlz9EdIZ1BpqPLbmzNFtVNzuHizxK5eMbwq0d+K5wNVPh33q3iblqTp8n6nNZFo0SVrmvQnNtpWyncgFZt9dXI7AFtbRQqqB4d9SsDTe/Sv7+pTz3vXW/7+heOkSb2aU4dSZ1KON4wFmFmtYaE2BqfLtxjHVy9CvMLVKWnn6mTD7URcNJBuriQhi2c3BXVLAC2nzro8VzU75HOOWsbhXM1f/wBGcyy7sHELHuxNmNuBUOY7auASL358Kjy+2m/hu6L8zb1V8VVf8mQbVymBo0yPBaz5i2frFzcEcyze42q3iTUlJ2mR41OLiqaL4ttrnZ2hDfftiU65UoxINiQOsvVXTT1ax4XSSdbUasyttq97PLnmLuztxZix8Sbn8a7RjpSRyk3KTbK60kUAoBQCgFAKAUBu2TDmMl494FhlbjlyWXSTvt2d9csrqt63R1xRtva9mSxuxZokzyIALhT1lJBZcwDAG4uKQzwm6Rs8E4q2e1sbaBOGnChRuMOuQlEJz5iWa5BvxtY6WArz5ca8SO/OR3xZP+OW3KJcZpMRg5HiyKxxOl90mVd2rlQz20z62vw7tKj4ceRKV1XqXcsmJuNXfp2PQLt9vMVkt9lzZcqZc+UNmva3Hn/KuW3g6v8At68rO1vx9P8A19OdHmwxuN9JMEaXDYZSCAhXPIWZGIUZWKg2vqNL12k1socpP9jjFNW51cY/uT2bIZEwmIaxlGJ+zSMQPvEYFhm01IGl+NMnwynBcqszF8UYTfO6I9JbxrEzACf7RKyEKt9yHIUNYWPEWB1tWYPibS5V7m5/hSb56vY0dIZ3w8zuVQxb1N0gEdwRGWN7C4BPEHjx8ZwKM4qKu69Ss8pQk26q/TsY9r7UZMPhz1by4bMWCRg7wMCr6DTha3Cx4V0xY1Kclb2fcjLlcYRdLddjftKMfacTKVUjDYdGjTKuUO63DFbWNiCde0dlc8cnojG/xS3/AEOmSK1ylX4Y7fNnzJxDYloY31kzlWfKMzIxQi+UdYjr/KvZpWLVLoeLU8umL5n0JS21oSFsmIRGKMo0BjIylSNLFB4V5FK+Gk75M9jVcTFVs0fI42QtK7HUljyA524DhXvgqijwTdyZRVECgFAKAUAoBQCgFAehsXEojSFyQGhkjFlzauuUX1Gg41yzQckqXU7YpqLdvoeltjasMkMiIzZm+z2uth90hRrm/O9x4VxxYJxkm139ztmzQlFpPt7GbYmLhSHEJIzBpk3YypmC2ucxOYczw7qvLCcpxcVydnLFOEYSUnzVHFxMJwO4LsHM299S6jq5LXza6a/LvrdM1l1pbVXM3VB4dDe93yPVO2cL9qM2eSxg3Nt2L3y5c183C2tefwcvh6a63zO/jYvE1X0rkY8FtSCJdzd3jkheKV8oVgSeoVXMdFAGl+ZrpPFOT1PZ3aRzhlhFaVuqps7hNpwxjDxB2McMpndwhBd+CqqE3AA0ufKksU56pVu1SViGWEdMb2Ttuv4J47aeGlQxs7jJM0sUm7ucsjF3jZc3InQ+FTDFkg7S5qmr9yp5cc1TfJ2nXsV7c2jBI2IkR3LTbuyMgAXLkuxbMbmykDT9o1WHHkioxaW3qRnyY5OUk3v6FO2cTBLHh0SR/uk3TEx2uOJZRm8dPnVYozjKTa5uzMssc4wSfJVyN+L29C2IlILmHERCJxlAdCoyq6i9m56aca5RwTUF3TtHWWeDyPs1TMOEmw0YAErlgsp3gjt13QRplBa4CjMfFq6zjllzX6WcoyxpbPvvXU3YPbUF8JJI8hkw4fP1M2fNewzFuV+J765SwTanFLaR1jnxrRJvePM8faMsO7CxMzM0jSOzKE04Iqi54Zm869GNTu5LY8+Rwqo772ebXY4igFAKAUAoBQChp9DtHB4eCX7M6XYR3ebOwIkKFhlX1cgNhYi5vxryQnknHWn15eh6pwhjlokum79ScOz4I3w0EsZZsQis75mBj3hIjCAG2nO4N71jyTkpTi9lyXeudmrHCLhCS3fN9r5UQk2Oi4XE3X77DyFcwLWZAyXOW9uDj3UWZvJHs177meClCfeL9tjamysOs+EhMWbfId42eQHMLqSoDWGqnzqHlm4TlfJ7HRYceuEa5rclhNjYZ5MMd2Qs5mjZM79UxZrOhvfXLqDfjWSzZEpb8q9zY4cblHb8V+x5OBOGIdpIQAsi8JJPVKytl1bUndhQf89d8nibU967ddjhj8N3a69+m5qxsOFSOJtxYywiUXkkIDZxdOPArfXtqIyyuUkpbJ9jpKOKMYvTzXdktu4OCCSVBhzlRogjl5bOWUOynX2c2o4W76YZznG76O9kM0IQk1XJqt3uW9ItjQImIKKUMEsaKczMJA6qxBDE9YZidOQqcGablG97Tv0N4jDBRk1tTVep5+xMAjQTTtHvd0YxkuwsrE536pBNgNOXE8q65sjUowurXM5YcacZTaumtiTYOGKA4gpvd5M8cKlmC5EJu5KkEngPnTVOc9C2pW/mNEIQ1ve20vkW4fC4Zo8W6xZhEsbx3d/2x6rZSL5T76yUsilBN8+eyKjHG4zkly5bsnjcJAsUbjDm0mHMrMHltGxuq87EZiose3uqYTm5NXydVsVOEFFOuau99mWS7Jh/+LMsd4pSkcsed/u3fKQQ178G56aDtrI5Z3OD5816h4oJQmls9muzMT4aKLDpO8QczyPu4y7hUjQ2Oqm5YkgAk1alOc3FOqXP1IcIQgpNXb5ehpiwWHMOIkSEymOVFj68l3VzoDkPEdoqZTyKUU3Vrf8AQqMMbhJpXT237nh7SVBM4QFVDEBSSSLaEXPHW9eqF6VZ5p1qdGaqIFAKAUAoDqtYgjiNaxq0zU6Z9PtiKPEYn7UHTcsodwXUOrKtjFkvmzGwAt215MTljhoa3T2+57MqjknrT2a3+fYmWWeTCYneIBEsaz3ZVMZiOa+Um7BuVgamnjjOHV3XrZrrJKE+iq/Si6DaMe8Mzsm7n+1l0zqWAZUaMMoNwSIvM251MsclHSuca/yXHJFy1Pk7/wAfsdwki73ASNND92rb372LqElm162t83KsmvhyRrnyEfxY5Xy5nnbP2iU2hE00gKRMygqVZFRgwBBTS3WBJ48b612njTwvSt3u/mcYZHHMnJ7LZfIw7Qwe5RkLxsXkVhkcOMqhwGJHq3ziwOuhrpinqd9l7nPLDTtfN+xt27EGTCKskTFYhG1pYzka9+sc2g7+GnhfnhdOba5uzpmjaxpPkqZ6HSR99JN9/E8V4mhG/TR7KjWGbqrYuTfsFccC0xXw79duh2zNzk/i26b9TT0lxEeJE0e+iJV1mw53iWYZAskd76Ne5APG/ZU4IvG1KulP+CuIksicb3TtHj9FZmjKyRyIpElpVd1QNCQvWIYi+UhuGoLV6OJipKpLps/U8/CycXqi+u69C/HSR4jD7qEqGhnlZEZlQPFIzG6ZiBpppyFRBPHPVPql9UXNrJDTDo39GRwcMaQ4yNZYuskKId6g3joM0hXMeFybcq2cm5QbXJkwilDIk+aRqxUl4YIt/Fuhh8syb5PWU7wAKG1e4UAjvqIr4pS073tsdZNuMY6tq33I7FxKxTiCV42imSHVXR1SWNEsSVJynMtr/wCk8BW5YOcdcea/Zk4pqEtEns0vqjC5GJwcEaMglgZ1Ks6pdHIYOpYgECwBq1/xZG3ya90RL/lxxiuafs+ptwMgiw+JWCeNXMkW7O+RC+SwdhmYdUnMdeIPZUTWqcXJdHfpfIuD045KD3tV61zPntrooncKysLgllN1LFQXKnszE2r14vwrY8mWtb3MddDmKAUAoBQCgFaBQCgFAKwCtAoDqresBKSMqbEW/XI86WCFAK0CgFAKwCtAoBWAUAoBQCgFAKAUAoBQCgFAdAoC2EC+oB46a2GndxpYEep05a25fLvoCZFtCe0aai47+BHLnWAhMBcWFtB4E2468D8q0FRFAcoBQCgFAKAUAoBQCgFAKAUAoBQCgFAdC0B0ns/90BONbHXv058D5UoFsa3vyHHu7R465ayzSDLY2Gq349vfblQw7ihdjby+nbRApDcj/cVoBXny/XGgI0AoBQCgFAKAUAoBQCgFAKAUAoCdrcfL60AsTx4fL3UB1T2eZ/WlAI7XHP8ACgNKP1AzcurfnbsH65VhpBdNUJ9m/A66cOWhPlxrTCqVgTfhfy4dlYgcPf5/351oOWtqP14igOaHu/D+1AcIoDlAKAUAoBQCgFAKAUAoBQE4mINwbGx4eBoCy4sDoSeRHD3jU0B1FBuSOWlj4cuNqMFbIeeg8hRAIRcW11Gvv5CgLWP3Y77nyJH4XrDSEXD3FveNB+u+tMIuddewa+4caAKp5ajzHv7KAmVAsQCNOZtrc8OGlAARqdAQL2A48ufCgIzsTlv7Plq2lYCqtAoBQCgFAKAUAoBQCgFATiW5tcDQ8b9h7KAk6Gw9/wCrUBFV437P5igDHQd1/drQHI/WHiPxoC0twtyIA8Ln6igIubH36eA4UByQda1AdVrAgHlqe3UfKgIkcLdn8zQHVQ6/rmOVYDs62y636v8ANtKAqrQKAUAoBQCgFAKAUAoBQHRQE2k0AIGn17RQEopLXtcaa66WuOVGCMoFhY9unZrQCDjfs/8AX68KAnFwPvHnaw+XyoDmIXUWN/2fG3dWICY/zB93LytWgjEBrc8vPUaUYOySXte5001sLXPKiBxZLXsBqPG2o4X4UBFraeGvmaAjQCgFAKAUAoBQCgFAKAUB1fr+FAdbgKALz8KA4eVASGgHjfy/RoC23HxzeRsB8zQHZ9Mw4G7G3Z2gfPytWArcasO8nyJ/XurQVjnQA8v1zoAvP9cxQEn5eH8zQEKAUAoBQCgFAKAUAoBQCgJI5BuDb++hoCwkEDhfmCLW94oDqKNdDw5G9tRxFAVsp0HlQHG42HgPwoC1uJ/1W92ooBICCAeK6Efry91YCLmznxPvFaCIU3IH61FATdBYaHhxJsOJ4cKALbW9uGnPs0ueFAVu5PE8NB3DsHnQEaAUAoBQCgFAKAUAoBQCgFAKAkvA+78b/wAqAtRSQO69gT4eqDx4391YCpeZ7B/b9eFaDTpmbLpx053vYa8+NYAwsxB4cQOY1+XMfyNAUS9o7x5f2tWgsysBcc1sQDra44jkNBQFJ4D3/wAjQEaAUAoBQCgFAKAUAoBQCgFAKAUAoCyKS1xbjbXmLX4edASKaXvzv395HbwFAdaTMLW1435mwt5d1YDpFmb328b3H4fOtBGMk951+dAdD5b6A3N+/wB3YNffpWIHAtxe/Ejx53Ph31oOSSaW99+Z9/ZQFVAKAUAoBQCgFAKAUAoBQCgFAKAUAoCStb9fMUB1l7Pl+I+lAaDqfAsfw/RFYaHNrn2m89b38LjhQFGXW58f7nurTDjN+u3+3dQEKAUAoBQCgFAKAUAoBQCgFAKAUAoBQCgFAdVv1+udAbC4JOXXW/efdyNvde3Oso0St1utrre/M6+tbv42pQMsjam3C/vPea0whQCgFAKAUAoBQCgFAKAUAoBQCgFAKAlGhYgAXJ0AHEmjaW7NSb2RqbZU4veGQWIB6jaE8ARbieQqPFh0Zfhz7GaaJkYqwsykgg8QRoQapSTVohpp0yFaYX4XCSSX3aM2XU5QTYdptwFTKajzKjGUuRDEI6sQ4YNxIYENrzIOtapJq0Y006ZXWmCgLcRh3QgOpUkBgCLEg8Db3VkZKXIpxkuaKq0wUMFAKAUAoBQCgFAKAUAoBQCgJRoWIUC5JsBWS5GrmfZ9IoEkmzxMMyTh3TMv3itkyzJrqABlPZY+/wCfglKMakujrblz2Po54qUri+qvfny3IYvZ8ROIlYRsTMzqd5c5ROoa4uAAUYmwvca3GgpHJJKKV7Lt6fcyWOLcm63ff1+xJ9lYcOoKR+viB1XDEKXUQOUz9ZQCTbsB7NSzTa68l/k14sae9c3/AIPL2DCN9igMuXc4iNTmAUliAiqWOt7aeFd828Y33X7HDAqnKuz/AHPQijikjhjkyyzwwMcm8VQbyKRGXJtmVM2l9L9tcblFuUdk2dahJKMt2l/dyDbPwxh9REvEHLCQsykTWIBzWb7s34d9PEyKWzb/ANDw8bjyr/ZKfZ0IeTLDEWjtljadcssZZryAhhlIXLxN+fGtWSbSTfPn9DHjgm2ly5fUtmwUTrhs5j0XDpNcjOiZbdVs3DNdW5i44ampjOUXKr61/fkVKEZKN1tSf9+Z81tqMLLlCCOygFQ6yC+oJuugvocvKvZhbcLs8eZJTpKjBXU5CgFAKAUAoBQCgFAKAUAoC7CRB5EQsFDuqljwUMwBPuvUzlpi2VFXJJnuS7AQSSxWlV0ikdVYpZsrBUbPYDKwYHusRevL5huKltV7/r0PU+HqTjvaX7df1PLbZEwz5ozaIneercZQGa2vWsCDpfiK9HjQ2358jh4E99uXM9TaHRwAusOZnWfdAMUF1EIlJ5XOvkDXDHxLbWqqq/ejtk4VK9Kd3XtZ5uy9mh8RFDJoJctirKTZhdWuLjhY2767ZMr8Nzj0OOPEvEUJdTJi0USMq3srFRexNgba2A/Cri7jb6nOSp0uh6my9lxywh2L3EyRuAVAVHBIkF15W+VccmWUJ0u1o74sMZwt96ZbiNixqJhllLx74ixQgLGwVHcEA2Y5uGvV76mOdvS9unuXLAlqW9q/YxrsDEFioi1W1+sllJbIATmsDe4txro+Ix9zkuHyfl/Yidh4jMqbo3fNYXW3VYI1zey2JA1tqQOdas+NpuzHgmmk0bdl9HSzxb3qrIZVsrLnBjBOoPeCNAbW1tcVyycSknp6V7nXHwztaut+x5GLwjxMFkXKSoYaggg6ggqSCK9EZqStHnnCUXTKaokUAoBQCgFAKAUAoBQCgLcJMEdWKhgDqp4MOBBPK4NZJWqKi6dnqHbn3e7yMVEMsALSAuBIwYktk1tlAAtYAc+Xn8De762d/HVVW1Uv1Lcf0hEqurREBnLjLKVy3RUYGy9cWUEX4HtGlZHh9L2l0NnxGpbrqXw7aMs11URtvxiszSDKCkYUp6g0KqefE1Lw6Y777V78ylm1y223u/4PLw+0wmK+0ZL5Xzql8oAGiKTY6AWHurvLHePQ2cI5Usmujsu0IyrAQetvDdnzEO5Uq4so0UAgL/mNZHHJV8XKvY2WSLuo879ynB49o45owLiZAh7rMDcd9sw/7qqeNScX2ZMcjipR7o2Pt0tLLI8dzJDubBrAAhczeqbkkX5cTXPwPhUU+Ts6eP8AE5Nc1Rok6S3zXiJLCNSxcZyEl3q5myda2i3OthqSany3r39y/Nenb2A6SLmDGC5VpXF5ODSSLISOpyy2HcTzp5Z1Wr+pDzKu9P8AWzi9IlDo+5N45J5B95od9csD1OV9DTy7qr7exnmFd6eTfueXtDGCTd2Uru4ki1bNcJex4Cx1rtjhovfm7OOSeutuSoyV0OYoBQCgFAKAkq0ZpasHfWG0WLhB21lm6S1dng/tHyrNRSxlq7KB/aPkKzWb4SLV2Ip/bPkKnxSlhXcuXo+p/eHyFY8z7FeXXctXoyp/eN5CofEPsUuFXcuTomh/et8IqfNNdCvKJ9S5OhiH983wj61D4x9i1wS7lydBYz++f4V+tQ+Of5SlwEfzF6+j+M/v3+FfrUP/AMhL8pX/AK6P5ixfR1H/AIiT4V+tb/7CX5TH/wCPj+YtX0axH/mJPgX61vn5flJ8hH8zLV9GEX+Jk+BfrTzz/KZ5FdyxfRZF/iZPgT61XnX2JfBLuWL6KIj/AM1J8CfWq84+xPlF3LV9EcP+Kl+BPrW+bfYl8L6li+h6H/Fy/An1qvNN9CXw67nl9LfRnHhMFLiVxDuY8tlKqAczqmpH+qukM7k6oiWJRVn5tXoOQoYKAmGoaTWbw+dZQssGJ8PnSitRauNP+X/yrNJussXaRHsf+X0qXA3xC1drEex5P9KzwyllLV24Rzj8pPpU+FZXj0rLV6Qkc4vKX6VPgWb5ii5ekzdsXlL9Kny6L8y/QtTpWw5w+U35ah8L8ylxXyLk6YMOcPlP+WpfBr1LXGv09y1emzdsHw4j8tR5FevsauPfp7lq9Om7cP8ADiPy08ivX2D45+nuWL0+btw/w4n8lb5JevsT51+hYvpDftw3w4n8lUuD+ZPm/kWr6Rn7cN8OK/JW+U+ZnmvkTX0lP24X4cX+St8r8yXxPyLV9Jz9uF+HF/krfLfMzzBYPSk/tYT4cZ+Sq8uT455nSn0gPisHJhy2Hs+XRFxIbR1bQyIF5czVww6XZEstqj88r0HEUAoBQCgFAKAUoF+BwpllSJbAuwUE8Bc8TUTkoRcn0Lxw1yUV1PuMF0RlglRo3ilTTeJKltOeXRteNuHDnXzZ8XHLFp2n0o+nHgp45Jqmut/1m6DYIjGLZ0iIcu8dlBKLlOmq9X3VylxDlopv1OseG0a20t+R+fQ4IEKA/XKGTLYBbBWYdcsNTl7La8a+tLJTfY+RHHqS71Zq/wCBMLEtZSxXNluNIzJcEsFPBl9YcO+o8dF+AyX/AAIlwqyo2YoOqCxAaNpCxUagALp23vWeOqujfAd1ZkxGzXRM57BdQNVbNlKHv1B7/catZE3RDxtKyzE7IZZHjuCVVXvooYFlXQsbftHny8sWVOKkbLE1JxO4vZDxoXJ0G85EXySLHx781/dSOVSdfL3MlicVb9fYg2zwucu5Co5juFzEkEDRSw7b8eVUp3VB46u2Sn2YEAZ5LKVRrhLm75rC2a1uq2pIOnCpWW3VGvEkrb9jzq7HIUMFBQoBQCgFAKAUAoBQCgJRuVIYEggggjQgjUEHto1ao1OnZ7uE28XlR8VNMyxm4SMKA3PrWKi2muhvXlngSi1jStnphnbknkbpHoYPpXGv2rMJSJmYxjQ5QVIsbtpx5VxnwknprodocZFa768j5ZcU4TJmOUAi3cb3Hh1jp3mvc4RcrPCpPTQOKc36x1XIe9fZ8KaIjXLuRM7WIubMFDDtCjKoPgNK3Shqe/qSbFOb3dtbX145Tdb+B/GijHsHJvqJsW7m7MSSAuvYDmA8Li9YoRXJBzk+bJjHSXY5zd7Zr2Oa2gvfsvWeHHsb4k+jO/8AEJc2bOb2Ivprcgm4trqAfcKeHGqoeJO7s4mPkHBz+Ps8j/pXyrdEew1y7maqIFAKAUAoBQCgFAKAUAoBQCgFAKAUAoBQCgFAKAUAoBQCgFAKAUAoBQCgFAKAUAoBQCgFAKAUAoBQCgFAKAUAoBQCgFAKAUB//9k=) |