@tuprolog/arg2p-core 0.7.0 → 0.7.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (54) hide show
  1. package/2p-core.js +11224 -0
  2. package/2p-core.js.map +1 -0
  3. package/2p-dsl-core.js +15 -0
  4. package/2p-dsl-core.js.map +1 -0
  5. package/2p-dsl-solve.js +15 -0
  6. package/2p-dsl-solve.js.map +1 -0
  7. package/2p-dsl-theory.js +15 -0
  8. package/2p-dsl-theory.js.map +1 -0
  9. package/2p-dsl-unify.js +15 -0
  10. package/2p-dsl-unify.js.map +1 -0
  11. package/2p-parser-core.js +1017 -0
  12. package/2p-parser-core.js.map +1 -0
  13. package/2p-parser-js.js +40 -0
  14. package/2p-parser-js.js.map +1 -0
  15. package/2p-parser-theory.js +156 -0
  16. package/2p-parser-theory.js.map +1 -0
  17. package/2p-solve-classic.js +3048 -0
  18. package/2p-solve-classic.js.map +1 -0
  19. package/2p-solve.js +15692 -0
  20. package/2p-solve.js.map +1 -0
  21. package/2p-theory.js +4905 -0
  22. package/2p-theory.js.map +1 -0
  23. package/2p-unify.js +956 -0
  24. package/2p-unify.js.map +1 -0
  25. package/2p-utils.js +1393 -0
  26. package/2p-utils.js.map +1 -0
  27. package/arg2p-core.js +930 -0
  28. package/arg2p-core.js.map +1 -0
  29. package/kotlin-kotlin-stdlib-js-ir.js +9809 -0
  30. package/kotlin-kotlin-stdlib-js-ir.js.map +1 -0
  31. package/kt-math.js +11709 -0
  32. package/kt-math.js.map +1 -0
  33. package/package.json +22 -20
  34. package/CONTRIBUTORS +0 -3
  35. package/LICENSE +0 -21
  36. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/core.kjsm +0 -0
  37. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/dsl/dsl.kjsm +0 -0
  38. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/basic/basic.kjsm +0 -0
  39. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/extra/extra.kjsm +0 -0
  40. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/builder/builder.kjsm +0 -0
  41. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/extension/extension.kjsm +0 -0
  42. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/graph.kjsm +0 -0
  43. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/labelling/labelling.kjsm +0 -0
  44. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/language/language.kjsm +0 -0
  45. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/libs.kjsm +0 -0
  46. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/sources/sources.kjsm +0 -0
  47. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/structured/structured.kjsm +0 -0
  48. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/utils/utils.kjsm +0 -0
  49. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/meta/meta.kjsm +0 -0
  50. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/mining/mining.kjsm +0 -0
  51. package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/model/model.kjsm +0 -0
  52. package/kotlin/arg2p-core.js +0 -6256
  53. package/kotlin/arg2p-core.js.map +0 -1
  54. package/kotlin/arg2p-core.meta.js +0 -1
package/kotlin/arg2p-core.meta.js DELETED
@@ -1 +0,0 @@
1
- // Kotlin.kotlin_module_metadata(393729, "@tuprolog/arg2p-core", "H4sIAAAAAAAAAM19CZhcR3Gw5n7Tc/XOXrOzp1bWSlpJq92RLMvyqdW1GmRJXsm27ITfzO6+3R1rdmaZw7L48/8/p7kPG3xwY8Dmvi9DICQkMZCQBBIwCYFAICcQAiQBEshRVV395s28N3sZfvj0abu6q7q6ul93VfU5mwx/8md+8Tav8OarIlAr5mdKwqjWlsulQmlBxHLlhdqSWazmqvlSUfhnS2VTRA6VFzLLZ0uFO82yCB8uLS3niogNXihVC/mi8B0qXhKhOXM+VytUhahg5tmT+ZmKiMyWCgVzFnlVhHGiapZzMwVT+AuIFMAWqMq58iURmbtUzC1xLm9pXoRmS8WqeVeVqA4zHCyUcnMoA+ZUoKxnBEZ5syLCpWUoploqQ/GnGTxrVkXCkosJY9VSZrkeDVSwgiJUYJFC07ViNb9kJl/kEV65SfiNTdIDfz3SC3+90gd/fdIvgoZfBlKbIAzIIIReGQI4JI0U5gnJCMTCMkoxv4xBLCLjRB+RSQ47COsFbn4jIbsgTcpuTkvD36TshbR22ZfalPY9aPiHbzXu9qWCGe+4Mek1vNkRGU57xwOZONCLtJH0J73j0XFB8UQ9nh2WkuiiDVRRO83wbcZ8KjBEvA96gtm47Kwjp0ayhuwCFm1TXYBJNWF6ANMx1TUdlm0Axc4/4gewHcA4gI8am+41vGJT8sNF8brhdXQ/31ylILrPEMUt+erioQaaYHXRLMHn2nyytJCfBaqFcm5pKV9cODsLHQHpzyEBfmH/bK5QEMGz1XJtttrYewMlYFMWvS1KObG0XBCdriVQJeYvCXETBPlZ7G3Cc0j4bs6VhfeOighmK6dyS9Dni/jXMyk8h4XniPAcFZ5jwnNceKaE54TwZIXnScJzUnhuEJ5TwnNaeM4Iz43CMy08Z4XnnPDcJDw3C88twnNeeG4VntuE53Yhc9XbzeLc7aX52yvVsplbEv5D1dJSffBEz9ZmKtV8tUZN5ZutwXgyl5arlyYLpdkLQhytw2FKP5mvVEX4qAX653P5ggicK9eqi8K/mIPx7S1CG5bNZTMHlHfC2MEh3TTUfTfklqmhoZVEKDdTKuQriyKcL85xCxmcNiHCuWKpeGmpVIOmyi0vQ3VAPZjz0DnK+YXFKhZVQbUSUsi9wgd9RASAlXmXMGZBGZVqkMfQPUf4AdoLvCoVswzZZwu5WgWGtYpPaCAHORRgJT1NJz1tQgRyhXyuItqaG3gC2GMLB/DvBJQCwel5EbgzV6iZQmD09tnFHOiegAoi9aSMxpfmUN2oIFJPyliRIjSSCMzny/AFghUTEuZE1Ibby5QFs7gA3yXIYdSWmFGy5WehdhRCnWZyC6BZjSp86UKuCl1yoZQrCB8kiyDh9orQjFm9aJrQV5ZwaCzl7hLBYm1pBsaGwSgkwh6D1VZdJwB6fQlqdKhczl0S/nMQA21qVoGirvNjlGBFwxXzqTWzOAtNYJxlkGmsaADH6wR8ZAhUJg1NIK46uygCZrkM3SmKHT5frLFKINxeIIdmp7aFoQ8g6hOAhZUMjXRYdQ9jvlakvivCxxiaEJ1H76qaxQrAOu3cJRjw/kUzB510pjQHRkJ1rwwISQBUOVhR+iWs+yZ0ExCvAij/YRwc/iqOqbBKI9OJIPZxX61cwD5NsQmCgBayhCZLpYKZKwpDDzgcbwqJigaYLV+6HT8DcKe/mAA11ckZaKJauQzj4/b5AnzvmD0GHVNHS8tCLJfNWXOOvkC4smzOglqDzx+iFoK2jtRp94p2HVEKXDEXR0zkAV1sToSWzEolt2CKm4+YleV81RxyybEnM5SvDOWGwEIX53LluSHITprC3DV00Ryq1BYWzEp1qFYBdTJkl3wPjBlQRYXcLGl6EZm2RUJ5aP9yFRwN8y5gWMEPKTpcis+I8Fy+jLoL7H/4iAVGrFTs6/i9J0TclqbcHuV/CIOBCdSZ8Pn9x/BvEGHIHVYh5ZgH3YWGyGBgLwx1cGyQGANUPuV89RL3yVIZVN4C+C8G/LmZ1EyoupivTJswuqAS4OEAbahszqP2FeEnndFpwYUyqcaQCkHP5YuzhRqMAIOBCRGxVDIKecLSz74ToEk7bEilyzE1ni/mq3nQj09Toy3RGJ9A3YxVDgGxuQA9xz95CZRNmFIJ9J8sgVlQCQQGzi7ChxKCUhRsLIPGNLG8QDk3l79LxHTCNEV9JbACoYXZfK5aLQnvBWjwpRx8dDGZX9AFJ1SR9QRoAAUYDEADXKjarB39FZyETqMP/xgXqojATgAdGDRd6EL1LKk3cGQhg4F/j5XBLPgLOYhLHbe0nZVi6bZgQXEMqxA7RlyBViaOW1n86P2KAP6FRl5S+g8H94QKMqKtNAvd+/CiOXvhaBF5zIl2osPxcNrCieCSSSrdj9XBIYqxDPA0ywuohW1Ow0RjNAMMkaiJoW9poSba4E9zejE3j57PPHS+Yq5aK4O9CYK9By0GCRROAFEJmh7+QD3A1mCjUKD6yrSJeY6UaqT0CMGRwDEaNYLSFGwQjL1GsaDeFToFjkEZhmjwlLJkKoe9nwGCes4R0HZLUF5CCeCSYHUlZRUnRFQBbPVj9limjiRbH7PHMjDNWYZuDEoUXJxcAaodUaGqSpgEo9pLlW4TB4Z7tYz6xWBgQgiGULNE6jCoo3INp1zT+DeIMPbjCrmuBthbpbLDGsrAPMlsVOentOZuQqxLa2v+oLFlE58MOQsltJwY7NUzsSAFE2hQceImQioEu6gsLI4/8PXAh9JxHEVSR6xxFNUpNLotvDWuDOjgt5NXF5wx53HGEcjNV3GaqRGXi7h9EOCnAk8xv1BEhxMM+plcviy6Gkms4pvS695NdbFcuojzFwhgfFTRx0a9CbMh9ZHOISAEx7FyCYYt5jrB4hrG2QjYa2R0kwJFm5Vm5asnWTnbaR7TPIBxpPppmIKPi1yNi4vwhXElIHARpkxQDzUNChZySzNzOeGHUmE4X0QLHLgIhgxQFMBAh34Cbmnx0iG0SmjkFo8+FT13AjIMnTKfCpMChjLkO6E73GFvxsPaMbK8oCeZl0S3GwkiYnVfCe1njxudQvnm8neSiEcg9IIkPpTBgDbKFSrnSvDdi5eO6kjCzuc4GIrIAoxUaOJzi+CqxYH0uC3eaUOeLltMUo1kNow3Pyd8+TlQFHnoDEB2Yp7KPzEPLh9OgsLg4BTy5tzkJXD9Id2KJe0xJg6CycNKhRGnQEi6s3RBDRAy7hTz5iuqtAoYp9JFlh4LOGnF2i2ETd4uO4ktPQBTCZjdGYC+gSBfERrWX8SW9RWhkv4i1jIO9sDeXm1Af6oxKQokdSESiqCeEAEbYpUaJ2w97gWvBqt1GvrzcgGkCEHkDAK+ZRyGGIPQVwaLiJFpCH2V2jJFzkLory7CvAhznUMggGtDqlbnCPKCHyLQDp+euQM9MRwvUK6hGhegYLVEUyP8AucU6IcxdyetINyJs0NaZsPRlPyYf8U1J1xJClgrTogJ0FoTrjwZvPLkpbUpIQWtSeEqVJRWoTCXWn8KyQRTSlpxaqNUIdspNSo7aM2pk1MzHO7j8AoOr+TwKs51PcTS8hClRuUkY+/i+NM4/r8pTMv/w7n+nwgZm+XTPRANAfrFCojKl2rgZRr1oE55vQberYH3a5qPaOC3EAgA6g89EN8lP6cRf6rz/JlO+XOd8hca+EsNfA0Bn/ymB1jtk9/C4HL5Nxjsl3+LjK+Qf6do0/I7Gvgnzfg7Gni5l/m9QgP3exn1Kp3yagVcIV+nUe/TqD/UKX+qgC75ZZ3yDU3zTQDSe9Kj8n2+tHdq2zB2oG2ZlHyJJ91OS3VB/Du1bfyyew2vsfVRY9ODRmB42JinxcRwtpMWEiOj3vFYJihjuIo3dT8u3Q3/9JixKRUHIiRMwP+2yU3ZIXkYyYH0CJE+4LnXiBodScPoSvoNY/vRbEoeA0zSgTmWHZfHOe9UWhV3gsOsK68nQY6TnOMGpjzF4WnXHGdAvhs5x7QrxVmgOLcixU1AcfOKFLcAxQRTnHeluBUobmOK21wpfg0ofh0wnUDxZAj7HBS/nt0u/5edB4S3u/J6ClDmmihnXClnoUXnmNJkyvkVv8EC8F5s4p13pbwDanSBKS+4UhSg9CWmKDKvEofLrjmeCjnKnKPClFUOa6457szukhcB059JyktpkQwaHhgDg+MDw/DXQf0brtQxonbyvpgdYeooUKuF8MHxIQfd/81uc6EbJroY0IWBLgB0z/BkN6vRpxvCQfJMT3ZYPsuzIs2zPdl98jkNNJmQvNvDwHM9rrme54G6P1/lCskXaOoXulO/yJPdQqNhi121JOhvjFXL1P2e7E4iQo73aI73unN8uSd7UL7CQyzDSO1PeSBjO9K7fTZ73ldgq5zigu5z538/1u8BxI1oaQYBeCUBDuoHnNQxTe3k/SpsjVfrtnuNO9Frkeh1iNsGRG/wKKXoayR6yEnU5yB6HQr3Rl3cm7Rwb3Yv92FPdlQ+ortDF4+WJ7vSvsWTvVy+VXN+m+b8dg28w72Id3qyT5bval3EuLE9KYz3eIj4vZ7kkPE+T7LXiEx2GzuSIeMD8G2NKFB8UFE80sT+Q9ihP4zsR1fobc1CfdiTPSAfVblC8qPqg6+pOz3qyV5Rz8nt20oh2DN+DPvhb+p2OOLaVh/HynwCaXauozKfwH7xSZWL+2PEQfTJBqI3uX+r3/ZkM/J3tIyt1a49z6ewXr+r89RcaX4Pu847dNe5r7HHAPD77uI85slulZ9Woz3Zust/GiX4DI0Z0A6fVfSxTET+gScdhN7jG989db8Pqv9HjcPCUd4fYxv9ySpD9fOouL6AuDHuz4O6Bs7e8gUHcZ8m3uMg/iLW40sr6+/HkebLSDPOo2jCQfMVB42zrC87aDIOmq86aPY6aP7KQdPnoPk6NkIjDTTCN9wb4a8dDA84aP4eaf5h5S73jx4wwN/2KIs6tWP8SnJ2dzjovo10363THWxB911P9ir5PQc/UBr/bCkNSIaxP+XM/D3M/H1HIWvL/H1P9mr5A6ztVQ0ZtKbJRGCK9kru9Y7cP/Bkr5Q/VLldvBwYMP+isjo77w892b06a4MTs1Kmf22RaXilTP/myY7JH7UU0kH/oxb0rXTvjz3gmf7IpSYOyp+0oHQ6ZP+OyuI/VlEWP0Vr/DNtsv9TOxb/5a4tfoZqshU1AP9NKEe2p3uhkGd4WZJnelmp/sBdpGch9bORqAuInqOBuwlw+oteEKkVdWuRnouFPE8TrVbv53nBpraizoShe7co5vleUAQv8K6oMV+INC/SNO7K4kVI8+KVaV6CNC9duayXIc093hW1870WzdVMc42D5j4HzbVOL9RRllOZPuigcWr5V1o01zHN9Q6aexx8nJbgNQ4+TkvwWke9DjloXu8oy2kA3uCFyVBtxc/1kBc82zfqz9Uwf3XQvglp37w22odxQDyiB9uaveC3YK3euvJXf6uDxvnV3+agcbby2x00zlZ+B9K8U1d52lXmdyHNu1emeY8XPNb3Is3kOjzW93qzh+T7VS7tsa7TD3+/F6aEH/C6L2MlGpaxHHk/gN/7g7piK896PuSF6cuHW9M2TF8+4l1t+vJBb9N0wgse90c1+7V53B/D7/KbK2uijyPNJzSN+2zjt7wwCfqk7srUcfug8X/bu2rjf3LVnK0s8e9gfZtzxjBna5v8qVXzXOnI87ur5nFa9N/zZo/K39dtdhsP6Me8adtKFiR8WhtYInVW8TPe7HH5WWXNdso/8Ka7kklokziV28elH4b2aUpxMPosqhpm1IOMOpKS2SQtNs7m+txasjlr/0de8Gf+WLfY3e5q7E+wW30eiXp4FDiN8ue94Jx9AWmOrMmZ+0IL+lZd6M+84KIx/crO3BdbUDor/yX8Zo8j5dEn9s0ex8ZnRuv4Zn++lmxOsf8C3SypnOoWfpZ9rVFm97embu3MfQV7xl/qntFi7vxV7BlfQ6Kknuk6aL7mzablXxGNcyKJhuTriDsGmvyvvazJj9Hf4600+dfRCnyr0Qo05m1tBb6F1fqbVar1t3h6+u+IqGHX44FA05TUmz0pjzfPDketODvmUyvM+exf6jiU+g/2Uk+4lvqPKN23V6f7jjd7rfyudwXxolAvHXN2z+96s9t45XFUOem6uZqWYv4JCb/ndSFs4vjPSPj9NRD+AKv4QyQca/wATSX/C9L96+pN8W9I96PVP+iPvdkdeu1pcOVK/wRZ/vvqLP8D6X66Ot3PkO4/V6/KfyHdf5MXtSK/p/vAFtrokkC3mpJ9hg94P9O3Ku9nIW8b3Vp4Pxt5P8e3ajvc7cteJZ+r6fpWWW5t+ijPw0Kev3ohL0C6F65O9yKke/HqdC9Bupe60DXJ9zKku8e36ke+F+levjrdK5DuvtXlux/pHlid7kGke+XqdK9CulevTvcapHvt6u3yOqR7/er83oB0D63O741I96bV+b0Z6R5ene4RpHvL6uW+1QcK7m1Id3TUS6vXb/e5MnxHA2Ffa8J3+rID8l2IQ33kHFbvRsnes3oN3uubTsskGuEDXecRaTc8ScB1t8B1Ay7VApcCXE8LXA/g0i1wacD1tsD1Aq6vBa4PcP0tcP2AG2iBGwDcYAvcIOCGWuCGALe5BW4z4IZb4IYBt6UFbgvgLmuBuwxwW1vgtgJupAVuBHDbWuC2AW57C9x2wO1ogdsBuNEWuFHA7WyB2wm4XS1wuwC3uwVuN+DGWuDGALenBW4P4MYJd7MDNz4doWMYnYC7PwCEe3F+5MJkLxBebifcD5FuF8L9gDsAuJQL7gDgDuIkyQV3EAq4ul5ARF5jj1xbj4zI69L26UZyvNeF3XXWxbkvGeKHvnVcnKtfszxsu0ypr1w23n9T9530la3ITK5iUiY8gN98MVJzCCPVsUJuoeVFTwPKqyCFSKhreqetu5mtrmmqu2tY7Dxxtt31xGtwx+sXTcPWeWMRpPtXFdFxMve0S9O5i+oan66AdKQkVLNB+jl1ezCqEjim7xQGOW6gAFQhkZ+D/OpYbdeZcn4pj1dB8NDs2fwCnXA3US5OF+EzdbBSJ6jTJm7Cm7S2r4LXHKAEHcX7B8lvrHwBtfEwIIYhOvJn0GHAMKUZMsJH/WLwNyLjdBhPHf8zZBvE4nwZNcDH/9Rl1DbZCWlJ2cW4Hg4HORxi2i0Q65aXcepWDrcRNiK3Q6xX7uDLrjsZu4vCuBxTl1oDwxE+hhbC82Z5iIToTJpB9io21ZXtAuskk9GkwD1f2veV44mprumwFEAh1H3TKBIj2A1TYQc1IiKyA2jacRDS0TYst0OXezlE5Ci2dXoU27qXZQA7dWAT3XJFq6Tuu4INOuCZGsFso8ZIqhN5wP+uyU0gx2YtUpRsRwqLe7YXaTuhiB5mO6KYYXIXJKchuQ8yozbuV5dmKb0LySGdOHH6JKQPjBokqSo4tEpbDVJb7caa2C/kPjYgHoisW68EYPTnZ0XgcG520RQRCg6pS5ctR0Z9DLBSsQ0FrY9cbwbaxlSALqILY9qsLIO2MfEyBFBVQHVMMyCP3mXOWqe76SIsiTetb01QDE9s2xVikw5MqyYYa2iBsVlVW7t+fGKKUd1yKIvYDbUqoviafUhL3nZE3SvjClRA6A570lkT2Ztzjal0er9Uq4qkPXWynCvOLjam8SdrbyxGtVPCnojN1dWUcAJv4ULZdhvT595ujI3xNTmupuBa431hunMmikDFyHiF68bxGJfO5iBxaKZCcmIng6a3a9uQST3A5OsIwaXSHN5/CWnSdgZOFE+ZF7XktqcNyCi2MlE2k9TwNEKva835zQKHAUwcLS7ki3ijzSzP5/ACRlPCJHQip6VyN3EDrkXnLd5R6o2TtXyBpIZeVNNSa2OnO6BlA4EX3oC7484lEc7euXRW3cIJwxArX7oBL9Jat1LbcrVq6Rx0LhiRlTxpih4lEI6l2Sq1azU/ky/gvcb4Qjm3vEiyEJtOLfTJ3IxZABWwQMldeN3HdKa3lcpQB4jB1y7O5vGKTFInUUHUviKiPnnlDN4KTFCR1nXeCt6MXQLtAcwncIhqeNyGyNjgvTZ4nw2+3Abvt8FX2OADNvhKvpgbnKVbDSKoLpbo5weMxVxl8TBW0qiWlBpKftO3BuPvR+MPxjRIpl+/PoFGNswGOkKn7qPkGMToxD26ADF2AQTdAEjwDQDJroCkdykwXydz7eKwm7mn+FR/mrn0QywlB/hM/xCd8N/MtMPMSzkJQXYSBuQIh9s43M7hDg5HOdzJ4S4OdzPfMb5JMMGyZJj/5RSOyv0UJvi+QpTvK4zSfQUMr+bwGsZfa3N/MvI6SNsrr+ey1K0GP99qCMqjHB5j/BTHsxQeJJ7I6yTErpY3cLuchti18gyXN63cn+DwPuNuf8pAQz+5KdsnI7yb0TYez0RlO8fax5OWwxMB/0Xl6thQrs715rqJPLKugz6jG30cSQsC3efvP/IqQ03nIzSd7yHParoH5uGNHkgfTHAIFaYpc//5Z5IjQ8IMbqgKQxvKtXlDuYY3lGvLhnJdtqFcWzeUa2S9uZ7uSQ1gP4D/2w4aozu279o9snObS4fYs+YO0QnzejUV3kF/+8e3Q+eAQnEWv+P8M+MA7mPwUcMzfMp4xJ/aCQLsAsFTNE3fnQnSlLwbQupd4KKvrUqPcEOMZYLjO6e946Mr8HQ235715urEt3vGQfYJersnKK8DzL7hUmp06Bpu1ssP+vdfc9XVk0ZScdjvaNrD6xxr+1Vz4jmBfefvhzb0Dvcbj3lTV0BpB1AO4HecFkLUrMg3fDPMaA6wPFe6fNwT65CAiwW+/uHLsPpXWdXvlE8C5DV8mefgVAj38q4bflPAuNtIHaQWmTjouWbyjqQBihSv81xP0FkLOmdBN6GABN1sQbdY0HkLutWCbiMIn0n6Ne4a3eO92TjlPwgyEZ9smC7nXD/1mC+bkE+uE2JCmK7lXK/A2+vgUzCnAnN1cKYOztbBuTpoarBCx5MOZqxaZ6xaZ6xaZ6xaZ6xaZ6xaZ6xaZ6xaZ6xaZ5pqPfWYB/riAq6aZdvplg+wl3naH5uYetwHrXITtwqVmO2A3BiPNrRdWN6B43TqcQ9kuI0zUIEQv5Xjt3L8PMfPc/wcx6lyEL+R4zdy/BaO38Kf5QK11uMe6GJU9/N3o6KgRlLgTTo1YRdS4W6r57i1Dp6vg+fqfG6sg7cwwaMGLtSJTfV/yZ8Y4o3+9U+kYe5RzonEDWY1R87/ctnE6+f2uWl9BUrPUnm2rGerI64TgCVgOTZbLlUqd9Qq4L2bv4CVPfuSmLiBnO7D+AjBepbB4jDTOIxTCT0n0bNgPW10zugb/PsQR0RiCWZQN9gwrqsJa1hCiNRrUhGD7o2LFOqploi9SDXlXGGZMvnNtSzoNfv0gQaf3u7RY94EeZaSfPo29sbbye/t4Fyd7Jt2sxeaotu9PeyF9nLYz+Eg89hCHr3y2dvZZ0+zz55mXz3IvnqQfXSBPrryac+jjUGnUfm1qPDVA3IRsIlS20S2KDGwKHFIiWuLkmyyKG3j0lq0W0bOSeDawS/goS3qAt0wwJYXN3oioJw287iPjMspb1bSElpE00FKn/X6Xe94D9Bvs/REH8gYpI2tTvQ5qC79a6zL6Nrr4hk+iJwHMsoBivBxoDYuYbcqAaAxC8INksGpLsh7r+En1fNRQ3x8/XsDAZoXi6heSaEJtrTH3BchmrWPXVW5L1A4FFi/65jKcdG/zB0Iu0LrPOS6NrHSHkT8eOPyhopbaw+i66zrukbyYxtRCkFSCl4p6JHJCA91fc0/lqpf90deSfgbt6kFP+TBxybbGib0evLbIdOQ1smqIciqIcgT+iBP6MFB1YO93xrs7FDibVZhjdg5cChx6ETgfxT+x8BhpnX1cUEDKEEL5noASciPr0hKPYA6mwZQO20DknuJjmkXj6VjKER3poNGkQB6NZrFeHK8nUfUgCoSoEGG4qAtLDoaV4pP6onzmUY+PZm0nYMLtzhws+Vcg2zpJyyb1h1vDYgfrOc92AbdEZrhRcWehhcz64MAUP0tUb8w9eK+eq9E/tXQLck3rH3A+3HA29b1Qg4foHm4Y6hf92inV2U7aEWvk+16N23rpWzbenrYd9Jbs136rdmQGtaWzYNhSZauYViH9ZCG/3Ea1v2WXZQNdrEN8uPRlDY9rLuahnUHb8zBsE6r+abf1lU/HxMfCm60q4ZNSwmnDlWrudkL4ADSAjUkTeWKcwXoq32tML+wrrqzdVcdK5sztWq5LsuvSN8VycllnK7QUNYt1+VMozYbXqF+NEGZWRZ9R8x5M1fJg2hnygCWyWXXnIdWwlIZEyuUsVzPMjZnMRJbjptFfBZuxZK3rYGIBLhy3QKMLSjWIqU2SVxK72uFoSJ3r7FI1XnWdorgl6puqKQBDgc53MzhMIeXcbiVw20cbv9VUldKiBSw73ERwktC9KxZiKENCeFTQuCJgl4XIfwkRO+ahdiyISECSog+YN/vIkSQhOhfsxAjGxKC+wSuWQ+6CGGQEINrFmLHhoQI32t02BeLrEWjL3aKh8IbNmkFPYcQicl8EXS/NanQ1kG9/xjB9x9vKeMj2mWX1RT1mjE/3awe9OtW/JpmK+tdl7p8BSVlyT5mbfWOzVChP88DFhu1b7iXXDCrplXvLmfaerbor1hTS8wsq9d6zblZLkuIyWVLhngdprL3rJOpaJtcPpMr43u9Fs9ORxKx3r9O1suKh5COhutwbbaVzFedv9UK8jiXU2fbnLIOtlZ79DQzOb1czS/lnwao/pYoKmht31MXNFay+IbrQ7TvTK5SObcINAuLzoG2klPjNnaWq6LNyaXTkUTij62PefIx7wbdB6QK01KDIPdBLVKErZVLP61ZKidCnUfAnJJdhTYOk+SA1F8kRH4pWp5QzkQ7uRHd7EYEaLHCD/wGaZ1yqMmJ2NJwULHBiaBwlMOdHO7mcIzDcQ4nONzL4T4O93N4BYdXcnhQOynbjE+hk6J/PiNCZilB5/njo97xhOWuzKLlkmCT2uB/kif3eLSwgywT/rhGh2WZusAy4fm/Lm2Z0k2WqUcdQ0TLhAsEvVyIw0bjofUOa3lS22gUYYDE2LSCECMbEoK3I9EKD7kI4SMhhtYsxI4NCeFXQuDxgGEXIQIkxPCahdi1ISF4HQ3PDVzmIkSIhLhszULs2ZAQhhICDxSMuAgRJiFG1ixEZkNCCCXENmC/3UWICAmxfc1CXL4hIaJqrO5YdazG1FgdXeNYPbAhaWKqSdTJB2eTxKlJdq25Sa7akBCJe40hN1e2wa19SIrPrH+lxijkigs1/L2ItkOOM4W2Q7PsZVonEFfYc2NHVC/PBw/dlS8tWT/3ZNuljN+ErucZK2cSz4iWatWz4BcenZ8HH7Pi4jl3o4dSq5qHCgX7j+1U3HceG3+Qh/chrU1H/skX5Yb7JpcrIgHF3GmWcc3qpmq+UOGDqVDmUqmIh2atHdLAfKmMvyuwpFx862dMMq08ZP3TJ/TzSuv4FaXwUmmOnOSKdUY0UV8emaZtWGgm2sZR6xcn5irguJJjP20W+Dda+GdtDGjvpXwF8vScaXliVCDXM/gePnjAddjd+7ad4m3p6a9/kc79bO+ykmntsxXHZMQ+6Yhi1c6V+LtEVEtQgyZfsJFToAHeHAqTvyXY79L+V5y3byT7YW20OZSkzaH2lP38Z9zyuLrJ/6pvEmn/C/OkKezm7aJOa7togMNBLneIw63Mc0TUT392kgeGvHfA381yFNKG2QsLsvcVlHu4ROWFjbCUQevk514O96XsJ0F3kjeGC04HILabfbIA+mQUXsXh1UQVp3esM3zis+Gkp9rsOqg2u+K8B6N2mA1W+lFr9wWtRJSghFpOQH/rAOaNsUVJ8k7vkOzi/Zmu8Y5RjUtlguqU1VSHlTO9kZy/gTlxuaeP8py09sUhTwavqDjy0VEhPDsmMgNgZeo7WEPjgxRuob894/3ZProGiC+G4G71UCM/S+7LNiL39coP0dhtlHP7yjkhnGhqs+0bKZu+8Y6NfeN+7QzsZDuN1wyjlk9NhwB3WZ8jSAcHx4bzYL53DuGhvD0ZfB+LDr9dQTb8iCoFbDjeJ4xaNvxa4I0nCPdqGz7ZZMON8UFtw/G17jF2+qlh9z3hhr18Aw2rd3PeERb3rP/QQqhSqpXRrDYeW2i4zyiUnqWz9NoD6GvYhWy+fZF07lGCD9K8FyS8k8u4IKOXBnChSMN6lQPXWHQaL6wIw0IGjpgztQURB5NpW9cXnfWNBnuyYRXUpqH6AkXEThm+0bqXQSaSXKcCXYVIOk8ciPazNbBB+RIeX7KMcoB8jORX138Swe22IeKiHMY41EYnYTM+GLZxmOSwnUOt2vXhpa5U/RAThikOezhMc6jPLPQ1nV0Y0Oo7pc8qqF2CoLpBiL2aMBEnxqMwUSfGqzAxJ8anMHEnxq8wCScmoDDSiWGp25yYkMIknRhDYdqdmLDCdDgxQmE6nZiIwnQ5MVGF6XZiYgqTcmLiCtPjxCQUJu3ESIXpdWLaFKbPiUkqTL8T036vsX21mYw1o/leUDy8gevX6veGamUcw4eWZvILtTz/5iaOw5/LnMY+9s9axVE82Rh3d5k34A+7H4m01fXntVG9oaMVGzpLtXZ32amxAk3HLAOkqfTP96rFyQ7SRujyDtCO56BtFzQlN0NaDy5QPnH38qDSRht3W1BfJdhtaW9wW3B5AXVWfUUSXZMtlmvS3eCapCA/ns3q1K5Jv8M16dauCR7XTCvXRLsHn02IBzdw2KNGE+XEIfq92Lq1dE74Vz2WvOKV5I3dQ9ZexlSusuiYFLutOLRcX2haSrAvHejJdVhd7j1UIAdE/2SWhujdB+WNhCloccLl530Ia46K/KXv8J123hld6Vhn22nHtVNXH6rbJZEadshdY9ap2f0SYQooj3sDUgdPPr72DRmt4xBv0IsPdh1ntLgWihSSp9ptHLZzjka/LMx+WYf1o+V+0nDKK+tynCBtXBII8pKAPlkatbZnmt+TGEmp9yrqywIo8W6IXcaLAwFaHPBDmRMQ22YtCeilgAMcXsnhQQ6v5vAarX/3a/9QkN7skwbPaiRdJEta09s2OiQeQQ1qzararTlRJ8+qUtah8rg1J2rLqMPlem6UUrOq/donWmfJ+7XHtJF8vevP59g0woP1A45NI9rRgf+byVLgdb4BshT4htGAZSm2Q358nWiLthS7mizFyPhWbSnwBaDtvGl0TM3Q1UnYAWuFYmB8q9q3gCIvV0UCtJ+huLwibdGh2fMpPqNPnI9jdd7eKH5rdX5tjXLVhhqFhdgN7MdchFCbWGNrFuLaDQmxqflq1I9D4n3rcp7xZKBINt2JwqcbWvqSLU6geO+AtGzlVG7JxJ+ihb9h/WPfbr9abzP/9R8Fj9Gy+DHrN8Jb2RfLt6i08DMcLwu5/MS3Zi4MzVtITWal2ByWNo20OS6N7wrQkkh0MVepC6Jipap6O6T+8AA9wlF/feBz63l6CDEhgb9DWF8MaLynJMDIoIKPc8z+8FCIHx4K0S5/G685K/e4na4paPMSkj1kVtJMgc51iqf6go1LBxsVwXeVBO7pq2eG/t6L4yOoZ4PZITrplQYtjEfle+mhv6gRSxpGQr3+ZqPAkSQdFFuy7bQNl84YcitdmOzD36MZoqFky+ZpzLYNKLavSLE9G6bB14+/phWmd9giAE6n+QCbfi2snkNMj0jJV6klK+6EC50EHl3kmjtxXcAj1cCj25VHip/263HB9dZfFwqIh734i65qkNcHaMPYUz+9vXb9EFiC3logJ5Bw1o8GN98cpA7t1AExvCh4yJIplKOVPtweJEBECM+JfNguoFYFw4hSYJBOylSE5KM1c5Y4AolOKqwBTp76JfrQWQWJKKLP6uQgxHC03Y2jzUOjzQt91iN9NIL8NNoCNNqC5NKF6IyNQWMhTGNN0FgINBzR3cTjbJNMkFMnG5w3gxfRDF40M/jMTAiGwYu96V1yExu38Lh3VF2ZUzPGEH7pOHzpNvWgJHzp9EHran2ikRo8CBuf5rydmHeEOqJcqYyUKqPHusy/jjJ6Vd4+y49ZR94B+oHMdtWR39cjPhJYfxcNQZ84gb+z3rhAjT9rXKjRZQRtqdTkzT5JoZXcE/W4/gnZere37XZ6S/PCX6UTnGXahXUZYKFqaZl+CRysJk6kCkKoE2pQPsyZ55r2cZNz9nPvap+2HX/jvnnDV8yZldlyfpnMltXdI/ykEBVtf3LnF/HKDr+sw5bPMqeOp3VIISSxnaZN8Coq1lezrJ6lBAylFajh1U63v3pp2YSpMKWfQ9iLk2+lDYR1bs5NI1gqxlICNp1o5Cw9RkxEgPKLEDc7/gg6bkHw77gby/prhLmx1c+VK3Cu7l7o2XLy2+sx5N6m0/+C51b6fmHMNsuLWqkJ3iyWNjMurfWwbt5S1uf7d3C4yzZvw3Avh2rTNmUdBLyCQ71tew2H13J4PfM/Cmb+llEh9w7DiEYbD/A1NrjbBsdscMSCu+SRYaURguAjWxC6Dnv5hUIDHGa83RsDhzkmw+ngePgO71Potb+YjHI0wu/09eNWHy6aGXzTD681xkEB4SHy2PBD9NJFfAiX1IyDHjl5tyeJ53SiMAdhRuNtSQFKkmMA6xKTySR8hpSNFqZplNbTlB/T0i5pvc3l4DVR9Utj4NQMNmLxXYqYHNKCqOhmLQtG28GRaRBGJW5x8kGPySVxqzMxIkf4p88+5cve5yGnKp5B4ZsaKROFNKuZKGY1VMaloTIuDZVxaaiMS0NlbA2FL2e0kyfXAQ7gKCUa+GKGQR5bJ0wV1cZ4jC9xhymFOtC07WPC3KupZHp0pTFF3ZgNHzgGuKb68OOXYXynQjYLPO3oU9NRcGtV946Pt9OlBqoOvhRj6244mX+hF/toF/XhsWSQJnrxpNoMjiclNEUmLSBv+A7g8JRu6kX7iFsc3FZ0q+PqeZMhDbZBv7HlUN95WGXByFX0mbvoDAKVRhCVl3GUl7GV1/JjhPljPO5x+QpcJWhdZjPNlZuONxaFiw7X4YDusQb0OA3oFHgS+7k509gX5QFrHxxjuql7x9uG76HmTNWH/GgyKg9a36It2ZA52ZA5m4D2tCjVkzRDdWKVsLlOjwlXUmOm6MUXWzEUt0uJ8X571tWbMsxN+bhnuqEK0w1VmE7Y2wb7Z0OdcNHiYQ+2SZpatQO61lXUtYS8mvthn70j1ZVQH0Y380QLuwjlo7F/dZ1kY12CWE3bRMAlnK+QnLiyFZwcBvmiLmpZ0NtCeCijA0QdbNSXWnKhRoQ6mgngHqpEP4kedVViImOxXVeVGkzU/Y0mCqLqASpae3wLdcwBqty+hspJecimPQRZpDVUtx2q25Ct0WZwGwzrNjisFp+a2gDVb1Pp/z/axVFle0vdR92gl7qrhO46yRoRT9i00nn9VLteknbS0mmHFXpjXZQyT3PxzheJ0jznSBuZ5d00QU7HAJqrFHarhah0hKM4YyEqmNrMX0qHAKKkMABMKgFUBx7tKcR19yxMCir52XS8ToPZ/wdib5m+bpYAAA==");