Last Week’s Work Review#
- do not restrict what people annotate, do not limit the vocabulary… we can use modern BERT model to interpret natural language utterances.
- before we dive into the conversion from natural language utterances into logical forms, we can try to use general NLP models to give a end to end trial first…
You need password to access to the content, go to Slack *#phdsukai to find more.
Part of this article is encrypted with password:
2KL193ngiqg12yJiDH4bw+D2Nlm45qLF/v/qafJrxuBWcpeaKoACuOYOWAlIK5SiIofGzwRhcZOhHR3LtmKaM/j9J0y2vO9Z69ZqP4Ko3UkGLexL1+U7O0+yKZZB9Dw0NBdkewbMFlw00vKHbhtiw37xANvtixAYOeEERG9wDEZPCufYK0nH6DvqP7pzJh28eiAW5I5gKKaMPGGAslvygAU14z7zdpsqrXwajbgmt8F+Z/ivDwgux9KSFtt1azUe/oHzzeh34NbofhgAscXmAXz3rvUgBtVSJa/b5xq/OSZ2G2XO6EsJnis7E7kb7/4Ki6QsgqcQ8EWNJy8f1V/mkiLHnDZFdBIZV5EF/Td+IrlTBN8ySkEjrbnEeADeRsIvysQiIcbzMYSzQYicEqDxR2yL8wBrqP9ESAFKIhkQC7MCgCrvmxpoYAJhIbhPMfVhpgaEC41LyctHT9BOzdbIbZg/blSPvZZaVjuJY/836TG9LgHvhdedFc1hiy9JjXJqY89Naw9UIqd7jaxCZOb/C5oOuGh8Z82WKn7vcL+PhsscWHRRS4iVvstnI07426m9qhJHktClOZjuLdpZkKkLm8wvlK7IhUEfo4iLr2AssHddDdIAdJO8dHG03IvgFlUp5b41wZLXxEk/Sn4c/fvlA+LIK399pj18qKTYJyXH9mNBFBkUUuHULaKqOab3H9TZ9W6LDP3fkqX+Iqa389BV9wF5sLqVp2F70eURYL8m9AI6WfyKcMEiwPZc3J1PlE6pCMGNFFtYFx6ADdShmX7hdER+Vw1/+oXu9QjxoQ3AcoKCrEtP36/2yXfF7EkYwobYj3yoiWq1ESvRMsP44n0zYhcx4tw0kLPkD4UQXzY9hTOQawmAn+0i0CaUSXkXckSwbqc1H0IZDhbIuFnqJs8c2N2yN01iynjQKtVU/5q+tx7QJMX8hkvjkSdIpcGiKDvBXclNYkCXmx5K4LtUcg4grxYoodKqK/KaM4+msf3C19yp+EHVRfs6Oha7iR5KcnzgInyrL6pOwH+dk7piMJGd2q2SnX5bJIblcfZ9GfuXARMax3vsNX1FTgEB2Z1iT4fPVws3RogbnOiIlLFCPECrHBbOa/MSzLnhSuShYdb+1c1RC7ZYQMRGK3nucrVwzYSXMgRNVdk4yyE5rL+0wEi2yG284IGJ7jx89myMrZHT2ZbLt8HxB97ZGNmJTZD7CpfGHqfWFHQju9DBHAAdKqA+Warsf9MPyfJvL05S8hGIwnanqSosDxnC4qmlXcMSzO+jJRp1ggXDZwoTOuLun5UCdFm/N1eVoJawoNGpyEPCHsxFzZINeY2OP+Eaz/wHKWLOON/DRA44HGUyFqWMMe04FSjRN5doJK28WUFfOiHrstwYBl9zOk5o1uThTIgkvAQMZTS92NiUUOLF2WsOFhJBx0kvYz87bXWchoPMOhVZ/h1bnS4N6J7C1gSNC4qBWdaDFMLIRBqVBwDFh6sHSLG6LCx9mmebmg+j2RSybCsNbrG1tra8tRz0eTCtXb9T4HolvPbqCD7CPlMluc5Kq8eNHfgkrIXQ8d2iGEgsFWcQDevqbcBuT5FSvol2gdeyqQdUbaZ2EJDFLvsDEMmlY2qVmk3rndweBocwfwIgo4QY7UN88KupQRiyQCCw3gwYrkXMoMW7Y/d4OtGS7nHp/PpwxPFKoDtHuaYtkVmk/pvOoC39IF+WvpgFzM4JUMR1kzJhcK2H/31yYFxvLy56e1nMjYWQ5v8kPI8Tspe3DTIsqPpbyVl2htI5t+fFF8apl/hhZbId/Up+9vuKrUnsBP4OBqBCvoow7Kkq74c0S88BO4mZcsHGnwMRaSYJl3hcSl7U2wZn+MUnOa4Si4i965ToQzKTWAcbG0xFN+9yB4WHC5ISuRl3BlYcTGaRFDzf1HJAYZYqRSsH5mDpPhdWawtiUHGg9RlRl403Vr7pDaWTi9YotNutAp5cHSj3PoxPP0/izmQ5crZmuYE34XoQ6ilRVINsV6AFGLvOD+rZaWWQ7ROWAFHlGxbCaZm4rdYRMooCx59fs6C8ZC0hlIvY5J/b7zNClj4XktWBlBbY9qcCYI2aWS3D6dAy9RPri6R/NBy/aMgFefB78BMpoDRoIGMO7KrWLsJUk4gcYBu39fLQQ95IOTASx+dFSkz6vTPxskQ28rWsXOPq5mG5FUTC814uoIt3GSFGfdNbaXhu1VElcQmu6+6MrpGstkLi4CxsLkWB81OdBT9iZINOCJy5b9Bsbblycz9F3chatWjrmgV//e+M0ogw8TBRjGajSn6hwp+uSStKjTSztXvLVq3u6VabwHKevQEs8KiSX+G7FzhvG2RuCdfReZ67y7niYlh6W83B2CNFcRzHieCU8qSkADNaWuhkzXXr6WRUjaPk20S0dOI+GfPJGzvgBJL8WQpFRO7Cvjm7y6ckUCLoB807ee37/ErGIcNz/FlHy2WH7Z+u7Ezkwmf12SQhAUIcUBX3SvR0SrI7iweL886Rla3s76UBZtLRDG7E3d6paTDTzShrdRPH8txCeHlDRXwu60AJKLPm6CEOYydTbW+IROZfgtNUROZ2uFlTcta4NqYCs1nqTfj1yTkk1c2ruFr/gdakIcHBrF4+ntL1KH+ZaMZViM4L7QqsVtyKeZeCBryimQ4rsZjjRyTT2a5QTtFwazrWpFqjDNpwslipuwhphqllToZ7sRNL1hmRw58kuoyTQ3i7v7fvYfmNqTU+RQ0NtQLhwltHsux60k86PJqA6R0KCuO+ShiuOZ0HNNiHhcvkKumA1ryS8otP6AmllQRA4YreB6C0LOKfEul/ZFI+z9YPoi9VDSYpiEKju6GznzAKz8w8c53o/uEr7V5nRQU1blfCAzOlC3XXEqQSfkRAfy3kFwVcoFOPtqHLxVNR94rJp7OSZyAmzmKSNyu642A4LytpypcojXEZyPB+iG0s+GDLx5poCK2eLMETRHg+USNvzhRFWYco1Ma7tajAFgshn0kLnSixDjvxN5yAwTsWnk7j9AMrmeSNKQ6tvhn3o2nDFs1wZfTyR9jJRAeda1gbztdb1eEM2ofVqiHExDv6UjC7Lf9XVkKoeZSdPxjguuGRPpspKK4U9guC6N1rXoVJBF2j9an/hbPbsZCBy3ul7yQdGv3nH+xE5ztWVmGe1TbifWM1FrXHbSJWy1BTQAnXq5xh+BZJr62YL4qnLgH4MJWJQ4Jg7/hCBmwlblxJuwUvbxHaSeQvPseEXm03yOm6DsfzS/RXuUNQWTKlbk9cVJ2im97/ecUuFtXaKUYWiAqDNvVe9FwBy4frl7tb6w53HSlXa/doGxdLWY2rIfsWCKJv9U/p95WzqvEbYgOx0XL2oz+3r5ac1Y+kI1s+0R2UP8kRknlqUm/bUrkYbyOU3/W1SwdiN0g5CExgyJUQ93ubYqinFTluDAaIlLf3M0M5ogQDUWm3zaD0l0cE0Q3R09x9Nt2kE1MjGpRAUnBD6jVKqEoXyyTcJ3mwnVPILIx46ADuRqc+vFP3CRsPvRQg4YB0VjwimT+Tf84UfU5wtWuVCzxTl7aLRVN2yqH+8OR745IWi1SmpwM3Km9LDTRLDW2FMZqe0tTtHcNMgeSirUi0mYUGBO1mgE+ufwfbZXECuE2ZEZYtHF03Jzx8letK9017UWQO8RNmwh2ci9yqbBIZo2JyKbk33qzkBNLemdimO4EF5cu3OPgxCblk+Ts0dOuUu+HnKMiinGZ3WFGH3oJeYM81Qei5wuiiEy9OsLncIjeA6M5nNZALWKQDLj6o1mLz8UA9IzrDBTySBgk9n8t+4flWk5wDHoZ2GFR40tdAHEWF+COFIDe1F7Rp6fQMl291WW8SI+T6HbVvodTBBHZxuiD+J9F6B2zs3pOGv/CdZv6tMVmvl8jEp1NXsgMTIl4ti69XXQsCengfORzDnk7ELRydLEw4ORF23a36D7KBveTOwdxx/4wS/0Uh9sh/M8iTa0JTN33FJau1FF9YEEEE1QqiRw/IDqaYvAfoA3cBV/f5xNIDZNelwJfOwtdrXDk6qR2fgO1LY8cORJ07DExu4WW1A/vM9WiHD29RHioCJJ1hlK4/O+BYTz2xxQGg0x9nvYKuwJhuTM9+WPiQCPDAflCVrcCjRGpbXrrvMnnO9+rgQGj8wkxbLsvZ6lZIdPvg1VtBd2fml4hhguI3AVkFYlpoBEdPQY7SByQXyd/9e9RbgMIC29vu1y5tjDuq5p3RPesRXYiMv/AHvc+oOvra86N+ApuY8GAaURGmiQ2+T23stWjgNXVsYrKMC6v5NMQk7Kn24FQy05gz+25L0JKNQIdQ9mrGV5yvLPm3e9u3JCaSrwTYWP9kCOK1BeAWtEL8KCa1TYVQVKpRlPefNXPTnHKBcktjJNUOvadCpSdu8n7uwlpE7c2FW8KXUtPecjmRUB8biG3a8Xu3Kr95x+bR8yQPBv8/HOmblcQ0S/WtVNp2UnRU/YLlKTGqkVIGmcT8kKUaXY8ZnGwNzwBgDuTWMRzZx4ektstI54NpwH2WJhlxBqwfgg948TS8ckHJViT6j+xAsOuxSz4bl+7iHsyrrSmh56OdtsOaAh6QqWZSE4d0loTRDJ6JEGxda2CyUHoO4C9qZDZ13qmp4PipwTGevUGXWSM5rQGP39SKUiOOYW3GH5090KD2MesxgncR+q4k7wFkUkmBCKrOazivlwuyRtDKerPb9VgnO1YXo3uwogDnW9wSI5Kl2ksEUVfilejz3TQrepyzSVPmUOPLUFKg4IRIFIvWfsSBbU+PpKmyaz+3EACJt7h/pXdGEcjVPgQPN5QOGz6jXD0RgEfZ0wZzbLr+SdlPxw0O7jrTeur1zKdiFo1DL9hslvZ9KMxkf5aBKtjMH6OMUKx2c46QY88Am0DPyd/KWXdgpvUnj4TanxGWW4wbm3/4MiAvMf7Q2O3tHCV8YBDV4ko9ZqFi0P1WPaDaMVmt7nzOkNDY10EZ+vyf3fnIEkANDIQ1N0kLiJz8fU3ssypZu5sfbzPt4E6JvHyQOb4EnXwtcrdAQ85WanNmxIIPIaS79XuGTruRL1Rcld78ywi130DIGJ1nDJpHStJ58nmYleZhnrZ/jfc0AZvgl8d+dqCCQngjodDyV5CgcSp43UGncmhz7LQ5wa1Ub0TTYYGmPxdz8LBugnOyWYp0h311ermu+FmYXA3rLnCyAowpVe30RgXJbKAafZGTQwlPBQaD6Gsj7PBNKhQmMPeerv4dp+UKDCzvybE325gniVdF9Hd+yCwkOxm7dAkfKhxVHYWR/mMBAmR+blY28pRPF9oaBxK7Bo/cNOHJUBNX9YEMunPCvtEDOgI7oPRqqpXrM5xP7RsiCQek73sW8mI5nEzgBbrkFQYckpotENLZFyX/kCUmb//lpDZvztvS5CnJyvwadHdLte/X8i62HI+OS67YwtizjizqUWXmkJuiQDS244EjQTcXiranZcYm8MlTyKOn5XBlwwVU+HvUMfBUhd82oMZUaN63CttmqhJ811b2ZMA4RMf/O7t8bxfcVRqvwj0/kA3zEawpKqx4nwyy+XV4X7OkKY8+Wzof5T+mkB2JF0LwtElS6txVdgtmvfCq3UpqhE2I2IPAWNowENaK0SJSq+jXsKsM35CDj9bf6fgUGYK7BchkjaDLryDQgqSUd1Ykm1DT3UNRcT0Q/XfMZkmbuk+8t4B3X8tN2rA2yVIwVMG5044M7YSNpaQ6CdBacI+EZ+bBm/NbAZlWibTIQA7vQeOCEnKb5cJHg8xknhGVecFUGFu7AcTRBM4C4MMbyL1iZ7r+NqymIIqSSCTlKjyD0yr0CBn6XdjiO+e5AJgx81QPgH4mxIedqb6Q7j0E720iKzz2kY5JftfIjL/ElVo9GK/pTQpT3Bylgn0sC5gKJ9+YO/TujgOpEUvy7nDtlFm5jfrU7xPIOfAlQwV4aj7jdtXszMADJJiWpkACBnUNS2xpjoohyx/gU8e9ciKChofMVVPYx0+RrYEmzlsgd+K3pm9SUPTbkNRTM9//OFPQaOPlA56ugm1+qJsLhACsj4Q80HrfQE8nfdwAtGH+hiUgGnGSoYqcGQcqGRSb5wkXZpwwF1Q8BCW+inslYpEPy5P5GYbjInCNj+SXdy23wUBcBsgCQINe4QHg2O9Tgg/ayhIm1vEWTnRM2nsZvR8FGkCBRBYOKtu4OkkFNxv+yX6vXnX1ysh1Ph+XXUuD3ohWFS3X/idmayrimHqbNPFer5ojR+Q/FSkwu67rLAAWVHjg+syMn7JjNiLDlHn4r0e/6p7xypjaifa6IIfDUx5QX5qme/OoI6kzVVKXi5VG/KxD9ivBdW2KTmUu1+pIpyaFlZwn4c51VDqUuIQ97X9YReZgJeS6ySYh28KHiVHFOZmzYD+MANa70QqUzNoCI/yxBCacZ8bQ7WdFYP41P9vo45i9f8bK9nSAlfc5F0J70hi5jIv989imAI2XjmV8HmdeT8svpjMzT6+VD34NuSJfFopdjEv9RSbSBZBFsmP+VKL0EqrvWYESOrKzz5h+50qwoMRxd+eIi6YFrKQnsTyO3g9OnWGQQm5hEFMTlFswNCheepq18FJ8yrgeVJOpXRFsVrYx9AuVSgckAoDI/E3SOlbkUqv9C4h3A+ZYenmvVfhyAK2jPFgpXhb2WnfZxFJQAZwtXPI4x1SQ63N5YKHStRmSuvcPFdkjv0E/LmtV5LVRQcrzNPZHgERI1d7dowW836ByLfw5WNj4ZyE2BuyCC1TZCYtJXHJhuG0HEUvsFIzZFRNgDTco8IVUI/n3AWzmze5h/tGfjHOgvXyI5WCQ9mPKCYQLvX9qORbbfqYkZYOFK0yhYdVYPB2yPsbehL3ldbGyXn2x60q5LmXIR9pV/In33LyBY78yKnKCuz+EBiF5oSFh2CouV7T2yBv2Os4mecTVPJCnxrmjeAoD+7K2iV5kEJ4AsE6wMfRHRfHAzew5XvY6rPhev1b1YCxfE9nAZjtxoOXw6fq0ycgNUdp5aF9LTCheWS+rTk6nItdhfTiyXy7sbf5xiuuFuY3JQdGyabKkg3fTmSwAFPkhTjk6NUUm41KnegEPBNqNKeY10FtsF4ye6Putrha1NtyYgy1O2ir8sGdG0xGvIs0mJ7Yqpd+Can78grRDF1VCqXzDzPtV9ggjE92SRxCrcRYO83PyuMn+FJWX/GV1tblLduBRvHQyelEqHt6g1fVxYITKm99A7uXeF6royHbBVThKEuPhm7bmH69LR06z1+yQl+q6wFy0eK7doOSOjbXs8fd8Tq6TVU/EThQ6QYuZir+BxEUtC49Kicw2LU1TBKw/C53s6aZv5eksFWmk/v4kubdZx52Hbcd1+FV4uk3Z/fmd3Jcw9n2dtESUMJgN1eE0ay5r8hlx9GPyKpF364AMTKAwTvlvCukXwoxX9SJpf7FNwQ5k9bzsn86QCFhGfqBatlrTtJISzENu+sDmYth9JPqXvpIYGHhx/SpVlFrkwdJR+iLcFFf/rjQ13N2ppQ8+1oSIeGzabtkQMYfeUKZpZZAVKTA4nRap5yqQcozOoerJ0vk5rLUUMT8PK14XCN9IWFr4VtfIhBb0flAckc4oFrtVZiFycy9EC1cA+GCTDCeM1aDOWH8gD0hKfz0v+dt8VDSrmKi7PFjPd1O0u0HzbX4rdliftnm6cHvzjFFeJBlIxq0Ufeh+ZPT7Vdo5vyPKBVAjARlZqCyO8zTFHTev6/0yjPu0Q8gZqnqqNmPUtmruKWgQGcVqghGmkBT34dlNHm/71x3kzS37xbzkEd7RYtM9wyUNyH6osEDqbe3XUpqif2obaV24xe+qKkdjGI6ZgsR2stpyqOf6xH8DKGAFa28XAvREGkF9s9FTe0R8j25OoQTY3TrYIr/lRYaZRjGk2gbqvwC0pk8MOT9tcNwgpq3A4it7U32sIwnVaLepMMgqSxySRZdD70sVcWBKQGgBkl9wBVmXfi83eS3W2kqHqMStfiIqjjsIlHLbpplyE7TtVBnwasNIAAX8udUhGRrLRxwHROD15OpEDj3U3zA4rWUgjRdlUFdgrSl+oJWR2TuTMqoetEkCyk76XxpE7dIJjT1k8pNxmNw6pcn7lg+9ePUxNSi9R/Hpf0nS3VVij8hnXJW1UkLFp3y6PbLh3jy3BQeuISE1D6BJxZepWiu6oGviBm566TnCHmvxoc0tDCYOgXqmTrFSRVX623tJouX2FmwVmIPlTbziI/0EFcmG+rzPWN9ZjH0gAZ8iSfjvMN/pDgZqHenEDXsj0ixdPHKuL1vl11kbVxeV9j+pzFZbxpeJ/sOrYnVPbwAd0ANHQjh3+cV5wcUnFEIpE2pmnjeD41/oG6q3ByytEvUA7Kv5whCZ2U8xvcaJj+Kh+00kvqKt+whzUMPZJuWB0yn17UCNsE8DHcqVJE1u7cCqQPq2CQ4eWwglRhEzqTwoL89O1jLFIE2wjl6NgYB5HbckDQfUUOlOgLHBXTHfJq7Ixyn72ii2vThaxy9DOkJCOzTrLoXwuJNT0m3sPmiPYJOKy9BFmkg6T3fd5noeqcW/OzALP1bfDwhmamq53PtUr8nUD8AptnHc+WRXhlmd8oC+s84etFb4JenTfRFgK5nwuPi0BCU2VRX5TOmRB2/Ke7Z5NtmKzuIWVuJe97PYVb/5ZKYSZlKQnQQ8sz0SjqdL5IEwDv7aq82YvwAnD7RLGmy15pN0LXKozatlek08/k7BCvVsyqz+gZHKXVsRxFMbbfZ9oaFVh1OCd7AyaG/1zPHPAHtSuWV0ovrZyf5FeBz7/0EzB1g4S3WdwTfd3rhxsMVIrp7Yx1P3GqoHpIOdoBs7tr9yL5Dh0Zu5En0Hx+51tmid087inTy627bbxw4IxU6NGARKxpY5uM+JqmkI8vmaFQ/bkG4lUEqqHXFPy0awonjn23Fs5TgmaF+W7gdYlTrkSuBvEydjIjrEkvZkLzkqdXgscwTgUE5EIEPFI+v4cnrJIlaSNdrE03OhMYX5l2PFE1b1fpjB0RuQoKJoGWj//uI/f0owd3Ugx7PES7uSQQazwkD5lsltvY+XWnlhfYt+dics7ql6G8TZ9LKI/+ggFTgdc8RKS6VyjXEpz4YmUEELBIt7RrTrRHyST3BGobsqiI7b718fQ9uok5uttRk8pqbtCdobepINrMb9vJdKxozCLB7KPelLWHBmaVjrJ4KT57etfirkAH5WaKK6/QbVSG1NMfN9Kjp7A4e/VsBMTARFFeiqu+uIyjFT4fl/WFhsE8X4ANYzBlBTNBgKj+c6Oz4+HB4ANj/cPfgxkf+ibGga+a49+bB5kbKlSCbDxZCIFPt2kq1N8t9iTfyKdZzXLTxAOKB9+VYD0Qardfs6gj9NWNxBTmMYyBdlK7r3MfLPVYzjWeQVC6vp1b9phYgImcWeTfSKj8Jb9iQGt+vOG+Eb85AWnfItXXN39iriSrudEOTpV8uNvNfA2fsRwl/q7KvU2b1RImQGaGcOhx45egw/Dc/za8sjTs8ID7Jf4LCf2whmxRcaXVj9wUnmAtGN3A7ec+fe2yNVEngn2/3cv9p4mRmj6CyoqpIhGf19Es5vXI07BOFvLWnp1lCUaInpWVKI/XuGSDRNpEb9xDyyWNAvwbCqxgl3lS8hO0VyRmAVQnEBxRBe1oSao8e+dDgfYW2tHH6I9aPqp5J9G6hJx9/ZqarccYq8Lt7IJsadY1IEw3MS07HuIw4kFmp2Y82hGdYJeRD69jRThAsCqug+8dIC+GQ7WqXPjgd2a0yfn6bCC4QqmXMQUZS0wjerg5CickSj8RB3CRdEsFz0bfdqe6ylIqU854PqKNuiRRCfSYZni17n1B8/fL579OWW4foxSzbUkwlO5dDeSBGl1bkcapFO9DAMWfPQxu1E6Oa2MkpH1T1U0DVyMN0rJj0Er6EMO6xf8YGRW2HtpgOexWUkooMFUafRRXa0gDzSpsQOpmj2qCODfG0q8vPveeodAH6h322dunU4tKYaS7sNrIbmhsWaNpT6Fm6EC371M3Gf+4FNOSquO8oJKJ2uN8gdhm3+p9gijK282PiDcFcMEylQZqKTVPTo8dGxPo84ZzfKSP1D3I8SKLgE883ThbmbRek33jUVMnXZBBwg7fW4qvA6aVX5MVHeYvqU59qW+JJaeAAUgNuTtyBioc9bLGYmxQJ46B5ukNZJ6IyKNDv7TPUsawkNaZp/neSi99FNIIVvtNqgtU6rIXCdEhsrvW0HzpRDuaVvoIbJ95oq8bIhskHFU/fC1e0OWd+ZCzvvrtft3IJPf4FBvqvzEzqeQLtqK0UchZGjxiKPahkakt5Oc4W1gtXD0J9pg0PZAS84kvtD8xrk7M6XSrFrO/xNWHjJBY0Q819qeGrKoMWjKQ25eKk7yTYWvDGGt9nmXPrI/stywH46W+2Ht+P1lWooDQh9t+wWJkZu2bkPfZy68vCb35ZbVepIwT0HEkEqBdch24WmCHf2uN8sN+75cfqJm3yh4WYhymKfiFiW+4w3OtA9+ZRgepyjFV9jjcGuO5dxkBqgOx1hKuBuSvKfzv2FPVhfQVZGjINW4ZYrVAQGELbyROp8/4oSSztv3Zl9LFhHQ0hTft+BhUfO9/4oAbEfp9jv17e/zdBqBxCKaPAOaVYCMH4ySxM833dz2H5KWGCs3IP+SddUnaTXaTZ/2dja4ymCXTFwBAx9QtqFjSCoPgcrqC2xhPjDgyc7cU4itL5uQflypx8NPAXBIhwAv8YHEmaEHXxM4XJ3fXM8mSjZtUXG64XQwL9Pc++hRUy/t6cLXmulrrXA1+e+cKk8xZMbEGVWv428rDCjINXCKRz7pWHQMBe53899w5kLvFBiCIljhc1dEcnFz+xRyC7uxqIZa+Qqe3DhpDUBL9ZiJuTYazlcYKSA8kQ4+ZfsrlEPy/5FBttynBfNCjE2z7ghgiHkBdeHAmzDzXEf0gO8s2Qy3LI6eNpXa2V2qptdLg6v5Qxqli68OECZoeRsgX6TyNCTeOupLmnCEYCf7bFXu3kUmyWzRdbkOiC2NxkIDjXWgnsLe0ZMDa8mo+OvQhpvjiLg0EUM4UGK1kc4PsYoOtP/gzs69BsjdyYicLCkIHt+YpMwd4BMI7ZUdoHyzVqPTY7FuOzg5y+JvkbMSBJxqzBmGO/uDRQGikli8bsbZeP3/Vu7P27a7U3/irjZTCRpk6idiuu1Bt4eg3aoe6deUx2YKM1FAdlkbr7/54voXppSV8ooBvYX6ws9E+0R+q4IUDzLfjHO6UQO4bbyXK1AlSukL9H+sphpl/GERgn8r507cUBxyLdD+lMZP6PDxjXJmzSr0cFVCzUf6MsQWXWtVCSu3xEi22EL+r7AE88y88CSbc9j/BKKSug3nDW0Rl4mh8522qxrHCHOujPfbwl0P6+v2rujtIwD6geWSyyt0zSp1EZpi8LbkyRUby8zQd7vfmVhwJ6cjNi+6T7WJgieAQJclZNnGycNWaOojz/WAWPz8srxf+r9jSv4b1jkRYGVzSOIyjbLSOH/4AF9Bs2Jp5348fcT7kUDWWVKvs8jK6W6I1pO5qiDb/QD4lxhQJixAat8aqrOQIIG586PviL9KkdPMoYffcXOpC1V8GApv3RzLyGpeG40jOzF29mTUS4WUV0drcmyaPuXM7D9koBNiK+5huIoi/eNhhdJc/DIvSXa/u5UlOpDk3kR2EsMAXaDMh5fGC0VTfDfYolf3c63m3kBMd8gEYHnN8IexDC9fRe08Tg0PS1XwnCsnhZAp0cTiV5MlbtuBtphisGpcY2VH1TbXQaGua7UoeEdwa+rxdPDQ/YB92lG5AzmUnzeQd+i3EyxkXdRtNktJnUvhJfAeBgwU/ui8fLrjIk1n+YOraaFJTZaUp4nFA8Al0ioiTa/