Previous Work Review#
- we continue to understand the code of the ServiceNow model
- last week we briefly understand the whole pipeline of the model
- this week we need to know how the model generate the PDDL domain and problem file.
emnlp 2023 call for papers#
- direct paper submission deadline June 23, 2023
- maybe we can try to get this work done and come up with one paper for emnlp2023
Revise and resubmit Language Reward Shaping paper#
- Shall we submit it to NeurIPS 2023?
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/G3LtXjZ2DV98FWXTX9rYA6yqvYFypTnAozyRodTgJ6XJ632eaBg0AYilHlCmk/mHahGC1h9F2VUKNNNuge3ARsMeMoDqUqzYyaYqUNAcjzNljDlcZWJJ6SSahuiVIW/wy24aAuXbMnJ0mKGI20FHDlasdhEGX3zEyAIvOXsKRBLbVZq2yAXC+Ic6EZwH64BHaQCt3oIOtEe537IUgz11aOoiIxLefiFICbwi9Aa/ypWghLsVJgElAy8mojV2YpXauh3pDlXdD0zzZIks6KXomOmB3YH8AC0dosbSCKPJCVNpcIjxgAvfGnqMaTr/uQ5qQxpgoNzbCsL4Sgc4BFN/HRH2ptUWsIrLdDWcGANwD9/eIEp/c9G+vY2LGQ3tq1nhg8sN7pUxpZPVEwmqGgDz39JM8IMucsWO5cGdDhdXLIUFWfat1AYi7xSdWahvDlR8ccac8TRwap6R1MZfXQJsK5B84awcK29B7yw3K7gKDUIGAvz36OIf6w8i6VEeVXvqHZLv1MBI30xdC+2AKk8g3ktlfwKnsfOdyxlec35iBggI1jpORWQz+G9VIMYfq6vyWmJlL925DOdFnBcEqPzSvmm2VV0EaO4ajeH1uUGHSSxBwsmKhqvFYdprA8DPW/9cCsGW240w3BaPmFtTRoHNG4R32rxM6oCFBzP9Wfl7IhvJCwfNIIePUFKdqruUpSBtYAf/LrJjMzJuqTt+OF8NV2xYyoS6f9dufvDiqRUxlRA7D9EXvIrr/+v9SZ8iowsEMYSs6f+o2QLRBwhn5hVc5r0IMdG3NfWe/8LussVREBLp0t52VFI9Y638C9oGTKKJYygYyVOHRi3W30TjPWYqFLufO6vqzTur9DK6hvCu/QndnCx/Ts/Rt4oxOWflRbwdX2DqJyWU0tXh21wkefZ/sGh0lJ56qidLDQNd+KMKP2mLHAuw/Beeq1hKEAncZ8vJ3bgIqCn+AM4iPj7E/fwzqwG6fVBgZ21Ivx9W5OKUUkM/kFq2P2G1cDTfgTK9O1m1CI/CVXsiKuK/GT3QNVHJU+PciMUb2oaAxIZIi+OfvDn4/MUTBXHH8aj6DsQK4UbtHIWSPdm4QAknP6jSYUpnVHK6HxMVuz7wNZ2pxd4O4rb3suXLOkfqK85DaM98v1LSg3tjc1HBYXpJC1umD0aVOL0zq9abD7Xe/tByaDuCGdMKXN/ZYwy6EdiTJ/+DykPSpafY8iP6OkRp1NHY8KAvC7MO2qTGRLDV8L8WV8SQL7i55X3aftVZ6er/Rlt2vmOYRo4kBdiX3HoduY8k8DY2BD51SBi0WF84h5leWUqHdgqTv6mlFdnab50Ci95s6ZsSFnX5c8lcPIjF7wpud2OQmnMf7us2B8Ujyc7QbvjZbaxNjtYyoZ7WEhKus6MxJAiHX+bW9gxU/OFtayyacQuIBaNt4XDv+TV0c/FJGzxUAQGgzrLoNbJPekd1IxV4Rw8CbCIkftrrRkj/ITh5OHO7NcvY6WaDjTeijs4Tc6syob8Wq80xxNMf0paVSyx2PfXjhlWmivOeL6ery8wH1EXSc6coJFMLLi66AQA3TDZjOoBl+tJEE1EVxbCOkz7saV59+d0xPmB69oF8DBVw/nAylWFI6YQcJaEZpTt1LmbEpz702t0glLMa2elk3SbWEgpfWFFf12+rHLfD6cyuFqoshjsQcRUTV39HvOOKOrfZE5Y1UNe3NqiinMKZ+EMTBf3BmR3BOjqROMSH5+fUM3aZaclLNDH4foHZJ3dfwEsgcCsRtJokWveEwnY9KPy3w/NVYfWIQtzd91+SCz8Ecg5F7hZ9y77Ukffq1gavNKavYbxmzwNu3HtWkZUq4ieAF0mdfMS4yHektOTLixkHUX43nrPaenGQHGf+f4i9fw/3o4g464b22D8JLdvYO3b/q0m7qSnR3cXqMPjH38qR/kzJv+G27KN/0mE0F6BG8uMfW50Fpw++l/Xo5ha3bWujpAihUPMM/byisxz/8ok0wpPHedxHIn8VNYrVZAoJL6eKg8nloDmR0B25brpAG3OJjaMMnBZjVWqpQZE9rX7C62CMu2VOcb+cU2bPl7/BUNGN7TFQ+Q/uyUeaEj0MfjEdTgFg52XBL5ozSD1vEwFVQznRrQ1t7E2qjNefiwgyc1yMpz3RoyXfkQjKMwYGtairzrdPYJlrEH5dUF+INHN7ttnwDbwfo273MZPvm5JnCyqUxGJLNM6l+d+D5hqFtaR1+SnQ7lFqImjpmdL+pUUGxQTZ0jFdSch/JyJoq8Sj9g+C+B2t/N5g/lM36+SdFcMF1wGq1189IlFp098B90xnUg/CLVfWUOMy0hyNsakUZIVonde7tRxtWVbaStGdpqXfAFMjBqeV0iWZvNGiifib+/afWUE3UobW3BgNhHSLTOxYZxYcYebEolMsLlF3VvoChYqsSfTMZEUrm0zg5IWtqf5/seUOp6u1cVEPO7WnE8Wurjcckh1GjXb2qN3B2wguENPhWpTQ/lsQJUPclL/KNtPZX7bblsRMxBn+CcitP0mDuzaNj+eh8eWKnuv/Tia9Z5ww0m4oaevXvhNVL+eXInxEBZLch67+32hdrn5OgULKQu+fD+wU0UZ4S2b1sLR/LG23sq/nRH0he59tSRmYFDjPJVKuXIJrE9TwOi4+jz5Of3xD+oC8uLAIWtrfYKLJ+X+leJXFd3ogJkRWn1h0490LxCmCTz2/ugrGsOOSbgv6+nLVDrL2xj/ESz/21jDK8A6VAgnCaaXKzd9Jp+6z7D9wBfqCnmHu+pS0PbXAQMZP2wN3VLx1LaiZYKqE+bKM/ID0+zskJEa2dlaXW09+WK2Zq2iX9vXwe9WjPTk1DPFs0c4BXlt/Mu1W0Ku1/DTeZAwh5y8X4escvZUItFGXXA1Zrxa6wqsvMPdxu7cJQB0Q02EtcraUyawfxBjHvwzSmNOjlYpzr4a+EmHxg75W8nzLU6pxjWyiOoBqS31xMKELG+KSvy3rtTGBTQ9LL5AKXjAGN4JPz+hJnMm+7pk0o26hRc38yDRy9cd75XW/cVnE8OepEnwFiXc5twcd5bWP2UgBurQa01tfymJrbTwCX3CTQ7gQf/vg1Y7uOEpNaekrFAKIl+m2/gmaQSrmVVDFegd+6N+jg0oSfcogz3DMJRyRdHGWf0m6PjaMMM9/1JWSNhjSOQanCFsrrL4TZhPEXut0ZbrnXZww6u2ZqINYmB43C0y1eSdM0XZkkIUVZA63GFyeNfiF3OC2o2MgXO0ANVIRSbbYIB/Lce9ZXEChWUPwagouFfNlmqOiJWqPVMYcO21+px46Jx89LVpzzcji41Yfx6bKxVV7Mddvl2cyKqGqCEDCZWrcFXGetpj65dkC5Nz7cDIUSVJ1if2/LHoUhG0DnOnlQ30AktcW/jrBRNyKiaJsQ560t+673FdO8cusN/m7DVII2njxBMvH38pQFpVMOSPOoFsO97SpNOOsMyeycqJVptYYU0WtUfmqrC2TQROUOFfLtdVf6gsX2t3pjZrQws9QWGUmVqz+UXjTFGtL776nO85nok2AUxhnCkybP9il5CmeNXp3zwL/noUCXvBZu8SeN88tK2OipG987VjntBKdWmRPV2HXCGjTZ0abE13nbLa5BF/pgw6duGp0vmhjn7qpBFm3O35IeKwx64fuWhaZI9Yq33Hi7iJ0Bku1FXezmaOfWKyFJztLW4v5yi144e3Xv542ZeTVpJNHpbyjHWQJlYFQlI3PL9UVkgg1dOS0ENYqtizvL9aWDB5I90UJ2krwhlZ4CEUEoSB1f/inoYU7QLKcfEIta2DX4gupaoAqurFp4MhjZDoWDc/03UlzwKF5o5MkWi+Bz/SenBI7bOe1r95W0GNXyMXMxlJj/PijooedTwW1Sd0ZAxpDcnf34GLgtBMLHF90PHCza42FqtBQoxo6NlMjWBeXgsDKCj5JQHan4bNwcm8Ozrvvi9281RW1WWOVX46AXHkuhiXqob9U8BRgExVVqCegwHPEDKs3kGlnn4tpixCAeqAqYxMYax2FDED0SvvKhowc5ldWxq1mk+/O1HDajXcC6Yif1x/3X6HMwY2FZpLioA6gYOpWSawtn3gwoIpXXGa64/MUWn/rtUHjM5FaqJx6/kI7L0j4KPgtOV8cNhbQF8fFX4SDYhMySnp7p5klwtvMO+GEL5SDvq7SCsfwH3WKQyM14BGrKEmz4GFwEyWdI3TVNO+SgugDWm30Anqpv7Qd+nX+fQe5WlP4mniuvJeSa6wo40CJpF17wF2DLxmXFL1anZ0F+RBI6htcsG3Teoj4L1Le1VTtOO7f5usqJysAX5ghrJA8hIyqJ/qLvIDvAVpDph9jxRVh7Bwf1keucQFFmx1CWQolExXCZBYwQfuRqj3wXE9rgpzmn5jCRtjVub6pWg1fGowSlfTDx3cdPR+zyXO7ugeNAgINCsgllo2vg+85qroZKokFCuIyOaA/W2SKFV12EygrQWwOjOw9u2CQKjbyHNsOyPw8ceWG/ulJTgN5Yh9Rs/iiCB8jR2Xp83LFLUJMHVH9EVSeP9Bzo73qv1Nk/QQ+v+EsDeh8cJnOicMuMeWrEa9vXRHUbiizKfmO07gs+DlC00Q8NPQFzhgp7+HZS2kPHW6Ssm9sa3hne0Do22ytQL3lkVgLIWrW7Rl2a/F8ABHL+IsQikBSN63rgLZY8i03eapo0tICqbnxQHTAZTOgWM0P5O7/Mseo7+YFLgyLqGwZW4g8N4doj7so1v/maGLXIhExhFnSCCSfGUPueYz5N5F9NdkpIXF/VDSMsmYbEZfG6OYoBze3/iwzAL2XHn9ykU+RVZbvjxxRu/C+xrE0nlL1S2jIVJPnYUsV+dxmOkvfcIg4Xeu5ZbW5v5cHXaA9c0QNPZZSApXvBrZ6dpLBFoLfc9UwjJrXBcuJ9lfAeNJ4E7E26yOLnqs2epnFAxmkiDoNgfNL/s0tx0fu17BcjtcJ0nE9cQrSjcFgwN99Ob51CU3UZqUjClu2b7Pa7W1YqCrvSdzRXejkC79igHPhOdsn0l6/Q/CaG4hv+WJpBEd/Ome7re93SMPpKOQ8UOKWR8Lshcy2Wr25VVJ7RoTMOQVa+8LKrGCzZ7Ahj/XdOs2vOv4z2g56P624bWE4Vms2Ikzc/WsllJxMgfjl8j0s/SDA6YiCIli20p4i+N86RER7oEfq842TG53/N0H6rnB+1hF1YDyeWdYAf+1Gai+mvlVD+FDteN0SEi19BIoYHRdLq61QRkv217ogsvZeLcslJSO6odu7mPVrDR+HK1JwPcgE5Fo+cqS9jLahk2wiySwRE5NqpHMRYyHFMN/Q5ohv7BaQToFrU2Vo77zaBNMIWlFbv8bBp3fgPfni22BTXz6sN08LAsQJUZ89p0+gjeRVm8fuZUhSzEbkIHG0KC7/8krfkcRVxnWlTzVu48IhWM6RUHjDD9L+H7tPNZwuGXGkkAFnaHiFfIPR+OFe+4f1qYqXqlrgnIpUsEnI1PtM6lsW1R8xOFlsbxpcemZ7iRVgVYjcJ4KcktajttOwgjzImFMeLuzVnSJ321nmMd2/IGJxSMXbhm9nF9FHyQck29q3nLq/7gOtR/oiGO5V8y3hTSEycmY3G8sUcGLARM7d+2aPQpL1KyojszYeOXGt0K/YXcIBYDagGmnjJ1d9b96PUGT1cHOmWYmfd1a81ktw6cI1/BWOhy+vVMwXIaCyWC8/OXKRnwB6mBjiu4ndiuJA+RD3WbvyHixVqZSLOsaI9nCbt3KLsDCvPf8wqf16NwfMy14xOR5397nHCSx7BMKjt2EL+nxILtAyJUsY4zCMlVqG5iPRmBKxrshse9534cFR01b1rKvW/Ak85Qyn4bKujyQ+XocfX70fY6rtA+2DvezDNB0e+mfjNvGgLfPNOzekFnEKRK/X69hy8MsFbvdetH5+OYzCvOj+WG4g711bwF0W9Io7pmqtt7LgtBZJx3hzbR4MwUXa/qe2RZBjcN5Mz80HffDUiwMGTj/YjniJ6ttMTUlW3ROQ7H+l1fabkUpow7rL+bVrtRM/40SR8ONKXuiMW45C4p9FeuEwXlxTopqCJPjiAA00N9yiw1vlloZ7uepLQNpyPwn4XJJiOz3oqGAJJlMWbUAHSk+WoPIMTbqlNk9bWfTJdUUvsyWeZiz4p7TJg67TrNPZ6Kf19TIrvWI4E7MtG6CtRzFScVX7mAwV+reJllzp9FpM9rdyL2M813ZSA6Zj5L2S/NBMqqHqEGEdb7lcJjB3Fagnm4Sn1kuk1q15l4AL9i7qKls7XBUux30R0VMPvY6JqnHjp+k/Bw++wYFV80ysS3sTDtv6iksMnHW4vX7OWoc2c5IeS7tNx+lPBzvpotSj8rjqM52Ih9RMzUQudB1eVrLfkaBxCQVykBO/BKynj44OqvbnxMQqMiy2sBo7epti5Fgs+d4d7XkQr3AW0YBqrNFdScKWwc7R+T01KOxqXccZ4KpLOl5h6Ra9BN3TyEm+3eiPnqHCOwNQzwI6n5tP8wsSRscNYOcj0ZJqutwIkkwzZd6vuLUobzcxkxE/9e3IPf7ypWFVXdJcI2qzuqdEKm+qXU5dklBY2VHrkxppAkU4coj1iKbWFc/jhGrJgO5lCpQIt9hJiTzFYkNLMLdWl93t5dkrKjUzIxnTED43PUv1OKYxR5DC38gwcerk9vuaVNUeQNhaFAq5YKEgXEfFZccamAfhroSP9TfM9xqXyUsIq3xilzC6ySLOmopKbPVxbFr+5xM2aWc4i9fzUyYiFMBY4djPFInzpNZE0QDCVGZGZdhGwizvsuTWVB0X3NnoXEdXRZ67R/trEEphN/hfcxP3RTPcbYUIvL0PADE5s43P7lD193sAxX3/rPzRxA06vX9UnJXIAVeYUS1Y8pawPpkWZLPvG6KSR598+jcQGaMgJm2J+bexOfxHO2B79wvGIHjRJJSPBjPaHxTGCGxtchr8m4SJN1VfJeUG1PztEWzIwDIxgh3P7mHOUJ5ZW4lV7tqt6k9XeVK/tHa3LZ71GGP2FXahlMlj5Cg8UBvYCj3AA+6zTLz0NlBWzjj5GoTaxvwtatn/HJVBVd6VcU9Kh48Hl7mF8mpm+uRTtMTd4vXmeXDhQfoG6x+0tlgDgubJITqkiyJvchMezp6VrddOegfLq37jP3zDx2FebyvptPhg+zRrlw4XmYszwIMuUvw74MuRe42LbZ0nAhPwg9YHQT61u/aGQQmjX+dUC7S0IXRZFCi57vZAgPnbTQ4fh2GxiNqkJO16un3tNBSRYv3w0sDAlLbYoMVR7Ay8Hw+qWLWXXf5/C2ZHBJiEK9D6DoAJGdj12jYIpmxan9vZQceWBTIZVCmXDzxzL/lz3XX4lMT22G4qg1YSNXSxeflmnZXEp/YASLQ6pbsteaL8nu+OjxFaX4PAWyti8/aYhyh3dWtFYtseyaSsyUBq7OOafFCtfuHjW2ZEG2lMXXTLyE0yZtYws3zn5grf/jUCJkKUqs43NBKIQx171Uf382wPNfiS6IERz4hHjcWqUz5eaMphJ6KAAo5ch8GgyQWZ9CBLh0ikaqGYT1rSuRmmlfqz7JdxVuZiws8Jg74tlEQ9r9qi4aw+uBNz8wQn9QXJiiRUeZg9Z7bB2DIa33NIv+JbbAh5QJBi1xZuoK3R7SkUciZDHiGv7w8TwXcgtH38Mby0KlcWsyjIvuZwFptgdOGe6G1+aDhuUWcP3/gJEaYucKZ9JWvXCBugBTbWESbi6No95tY4cIFX26vRoMZgxFmLDKrBKy/il0Y1ayzQbsVm1G2S0YPHgzZHGh3/RBrcgXmWmTSYivNTeLlnltrT/Ddsdgkc74VTRCWlOJ2VxsrflhIg5HoLMqGBtLpjO5psfKyW1yJCgYhZ8C3Sn7FJIjKfK46e6BJrdnJu4fkdriFAXctJLYRsDpz7oiSU5/abSFSj89wEOiIQQPOv/P+t7boO3eAfoaHYpQcvDcu1TvH7noP+w92Ccw9riawPHcDw3g2qo7j5TOO3glgcuOw7OoMPqktwUOpBiHViRpZcbjLtGsHW1BnMOMwJLGWVqqoJHo70dsCSwhFjckJgC9Jk7EIOXDSeKeWMbZJsZGPcKYNCTVKHoQ0drr6fIWczSzKUCdk31FicMwUpImF0u6cZOKN2ZDQhastf515Xutf6imWyyKD4LtDL/ylpyiaFw5ugPIKoc/xvZT0kWnHG3JXpr1ft77TMmsCz1O3GN2E7LiIsCPl4fmwSmnwn5eQh6FdfeGHkCydSXHV9jkOXCT77JE2ybSuYaVAvX7iCGDSaQf0nO5ex0gfflK6FX+rj9JRQrQf0nEd9f9b7PG8ACI7jlR2eSUihChdhjBmYJJeDg6XJWn2okkFRaUinW+bpa5IiaetMADqxJw0NS1r7FsTZccdqdKpgZViOBgimHMlljqAYPiXIUwnE+pVQufDOpOpJy7CMrGtOehXCEBDxmsJQlHIKcXpPMzdq5vJAxcPhKSoxFKqfHH4I5FRsWbZ2yYGUKoDCo4EH83+0/ORRG/Mr1dhd0PVRTr7zIWfsf5pg97MLqCBBWp9UrHEKIuonLsHYuq5NsCi5rttfcNpGhOYGVTQEwU/OFC/tJFI+SB5yXEsAJWCTxkYZiXtuO18ZoSoaCPMsUU9iM9KjsIVrpBZC3VRBqeqnKcdkqqZmVV6nPW2q+lRBv6Qi//mOmtKyuUaI3zEHv2jrbu59EAaOQH8rSB7EORiC/9KqeWEU79Y2bgy1/SHXf/T1XX9hW5v0OFEoXXzaBR3Dx01tk7I00nvYN3vAbYsx1og+Jz93gn3tSTK42v038i2wjvGUe1O1Y2rEyhE7gbrRYrSwGH+vfA9TundoKq6QZBWI13DSe0uosJAlykbPsH/7sN1/LrCxjrt6j9CY6XeG5HsARaMlXq70doyNPePNqkKh9cd0qVhKmsn0YJvShQxj3ocaE6bNVTHPjWNLkfMvCGltGV0djsWNKvadna0vAhwHQkPJ3Vy9MFWcGKnoUsJ8N12J7+cvx7p429ZDhR9DWWmsA1yw30bkuYNS9kNyuATKzh0/bxpyVwy9vGLlJ+W/Jt9ZfbfiutKmghjjZK0CKhdEDWg9sJMN7LkhK3jiG/NfsqloM2CGwvPF6YuJ2kQn0KQH/8Ay7tpYsu5jtwsBZWp7TVywQP68bhIzPCgUIRPZ4rr+M4782Vv5As/bzBllsHb7L/VGE1MqpHSpRb32l9/AsfFoQKEIKqP18N3AqkpQogLCHiEEpDUSYfuSk/LlonQqsK1wWjZne33faEUVRLgouJ8P9UfXerXp0OmZ2l5ZSFYMyQlYAnzImJ7LDt7kHpTfcPTOBbChmGZBQMn2x1gv0c8sLEFF9tbftFEHg2e9FCzL+92Z5dJqsFCqD4P8tyoxDyUccLKmb23pEBQnxGqOCjDygyRiLdmuDrppSGXe3T54ThEVwuNMRiZ0JArcwoY9bzgIg3u5ppgJZVBKlDTlw1bu19g1fke3UIKg1HIAhteJrkixGXV4B0Z23XUA8SJFojJDwYjbumja/lw5nU4M3Q+ur3tykpBAoUBrAVSzdwrvEw47iPS18lsD9bJEFQ842VWAFMBCp7HkpzDezZMpchcjvjkAvgHwdzJ1jO6iEnVgk5ld2fHVomaWDhyLcfma4s1sdzWHBJNmWbDRNiJpJ0K3G06PGMwnsAe/gUE1og1MCmCENGF7qHlvUlvBcE8uJe30CI+rQrjLvhPJy2hJlQONhoX01t29CL2viKbmay83vWhTGBVn0N7YBikWPVhrCKN8shCsZGH8mr7d16LSMO5sYeF40GJEf75c6uykGOqMXa7AvXSaDnfoNK1xR++E4V3FR8IJvmcHsmymqS8PpzZ01+T1HXLHiHXtUPfKYIGXabYrsfg6q4q/oWccP4ebDCQSI+6otIGOM4Ee19MGWkGJ/zGa6zGHKjbnDkBkeAjh63uXcvE9cln4EuZTbY/ARsn/gvMsdpLuuBPutuAIcszWsuClSWSkRx8z2xlsTRm+4Pnrje1qkDTN1NbaGEOyEwNlSlvhIHmr5c2n1uaLThf9ppQWEHqJcvI33JDobl22OyyHMpNjAQNqSeJXyyRRX53iso/EnicPy365VtCnXGk/ECj6JZHGmHMlltNbDtYmS/aKx4XUMLCu7/vl3Q//3h+2uNipyoJMdOr/qaOwUJPIsD5WtVViv79/L5LHmryuUcmeRoSZ+M1zgo6MeVyXi42Sk4eW66T66DWox/5IAlrksP7g0dvUcZcWAemUqQ/ZiCcuUCoNPQwpJoZiQre6pxrs0l+IlNu4aa2LaqKQWVVjerHe+jyb5FGNqKN+7031FVJzHSNnjkiEIxYFDlRXaEHhml5Ma5PS/ZaAOc36Vw/DfCkEM33oqyVZAnPY/6ddzSk8whbv1oR1NlxoNrVXHr89ppmqGJuRLlPosV3A5suktotnfl/jcA9DbHCdr8wt/w5+2H6K8K+ruIycdkaRTyDH0Vd3eSB5bN9Gzn90WlSDNB4kMYTbm6b5YTROYGmetM6YcazImszc83ZeCjpCgCHdBqs9q7ICr3vjf0PuDOMbeeHJfga7J+ldiIXKxiyRu6PapITSiuggedRWairdu+0SNRo2cats3i8OWXJEwb/5k9nAF9yxta9wujPfqAOx0BNlc1FukJ8suroPGyy85ksLEiWsj5rZsfRPDVX+d07g5+mP3mPyo6VYQeYExkxXjG7m9fg9/Fxo8b8S6ZtA2jO3XQDguT8yP4QYFFsVzBB5OmOUvKf2BYgq2XWcGI7stNQXeg7p8dIIu5SE3+syybYaDtaON2NKqYjNvOrZQl2qrdx3B/aPq81SDNiwbiwEI8kpprzQRbBUw8zDNT6H5Fy04F9UFPZkzPsqeKG3efCYe+gFjEL0vogPiI8TNax50b8X6SDDNB1tk00kVgRHyOpWlbCz7Cutw9oQObFCdxGDnAd6l8rUhBNPv3tibkzpSFcmxfDL9hZegU1XT5XxMqNH1CIlfn6GaEXi5PUONVLPRU5hXz3OrDMS6HFpQidDU/BkvZMSkiuCwDDkpJjC37JLlROAUk6fuBOGXLxM1frtMG0yyD26weMd/BJB/K+mk6Z8Ai2eAEhoib73kyUtgaAkfMCgt7a9r+HkYpINfWeWw+nZpIX4Qach4gTpaGzuFe9hUglJ/oIguCXGYWWY4sfKQJg2FRsPUWw0E6I8PnLrt6NoTrLTnttfVOLKT1MZQ+P/dRY8wKpZNx3epvVPQYuw6DTzHhbYLGPmqqXsGX5XkpVacRT3o2zpPaZNoee8z/Qtmin3gk1GQ6kC0Vv+ZB8A/rb6eQVsy0o3no8qUm5p0rRzuBmvHxtACR3/u68fOD6wI6m+XgvWI21KQg9Fb4WrwhBWzZrlb44hSXAVlDDtgUWi0tdjmw9yGD0myKeqkh0i10MnYZXtzP5AR8/CFEFsTY46icu646DvdWpnh+npC9skDmvIGw2ctIUAKIzI2KXDCCUnCUKgkaZyEgSiRt49HdoDd7MgQQZ76BqpszFAzXbk6zsD5tM2kVAD+477rTTGpw3hSh7RjZzNYXCPXcIWIxoW65RA9NtOoaFqjWDTssxlCsV4PaiMNbnUDTkO8V1a53sdi2exnTiwaY6K7LBM1kX05twNDXuo7cIoIJuq/9pIebP/s3ZtJ+HL9/LJS5JRBmwmadO70OMYwXPqwAfIOwLr+G8bnB+ADEBxDWeG86uGU6omdGfASmA6NomiS96Mc8OhVHNYTNthXTEkojW1oYxgkTbljSyqgZrULsPkST59NuBpcoZDxhnyVeHULg7WMp6IR7yI1YFGYBZuGdQMYW+7zzl/VE0r57E7YURh+Hv/1UtpJJZhuwyGh0GKdILi3KZmwkdNZLgmr78vgqKGBVTH1dyE0Gge6U/12csRRJP8ESnC8sGe9hSrbfGf7H7wGj6ai+UU85t8hd+sv3CYDbhvrfcUDoU2AjrA38H9iS9EmVhBqX2KjsWxasoyjoTkwJ+fnnpDyHWgYtDXcl8iOCA6ECs0RwHJY+5C4HO/+IklQS3DvyIVuFMtuCHlFk8ySQWT5Xb9mEkQTziaTbAxSlRAa7dV0FrMa/ckQ5qJZTsmXezydKOQ5b7H6dPdK+NBG71OzTr0YLh20JchxqNBRGPUo9BS0Z7KMWP5ezdasMjPSRp7nZT4TtkQChm7+htDJhqE01wUZF+qCsCfUIxkMbS0e3sD+qSNxeJfMQ9YG1YXL8OqOEUw7hWF7qqbg/g+lTUKz+Lph9a8+Ru+X1FxnpVebdEEhpqpU8MX674LKZh1YKPUwYubmwPeXxVts8sEZwTS9ziSIeCzvUMl5n74BgW2wwu7kuRr8kJwxoApqC+Cyax8XfXrK4rSEMpLYeo6oESUa2wQRQPwkXsM5jCFNJvh44OCrNsvx9x/hh85JJJNT0NJbu3+RaS8ZQd7a5YfU4mcMnpRXmVEBLHV0/mcAoTEh1amTsnGrMIv+Sf1KzkepspB9e3+2ORZXDg6rN6XIQfWVAcNCrki1BXtA1Wf7jFssAF90KTsYzneK+z1xLBuwAyT6o0xBhP0HY6Nod8jx6rkKAl9yRJAddZJP7bVPrLpQLO+EDUxOUdNanjyMKMg/alPOROo9/ge5bAPbzCp0WUr8iTq1oB5Jwy6N/Uvihf7bqSiE6TJGrZzDarn2wFti572EhTffBAhXeP1i3Ttp7JiovdwDDEHPQifmuZW3Otz9pB9A7cJvujaIEn+rqd4mhGtkmTQwRtzVcPMy2XmxhxKw4jIgH1/2QePnARRnJUkbeOb77Kkz9SjvsT/+a1KXsZRshjq8mmksBeAZQbz/XpXulTH7/ltWNaxOUt45BCgVktLv9L1At4KnzyBrDNYxGvhu1CZwp60LQgI36N7/5TqnFGg6DKn+fkxcFKcSoBwSI63a1wOKxJ7y/JEkX+N8gMkuAQQWQN8yVU9lJF79IgtLhd2fAY7o4J5LIRdDZHNO93t9XqJrM77YffSE/UfIAmAjcj549GDecd85+lpa5weLHGcZ83Bqg4pP0Ii65xvPSQG9yGFXwnLrN5JHlw9tlRCC8nQVKscEcItrnIQiWnDW6DT6T+j0iyT5+Lh7MStVw4hdJYInvfu6AQxgzYcthtjxwnN+K4FG/fVb0s2Uag9VgI+7u2/1Js786IdD9z9kbbrHymwRPnr9utaUGjZFCxW+5bGyixaX6TFCtbPeyeaCDoItNCizexH/9XdTwd1c8CTP7qhkf/bs+BRbx3k8UsYw0XnoIIJ68K3v8R6eQEIYEVqJVukSu+w3haHf3/mR9YVF2Rij95aqFqxrPXWh56vDbH/faphKiQv3BHzB6QTnUhgQgqOmeCQqNTgZm9DRTyS8Koow6n1yqEwmajw7cMi0x+PB9Pho3H/gpk7/aYvArf6h4FScqJLFS8lLzrSbncejIm+6zMdZlEuFiOyEMeXWbh0oWfOM70omu6/2U29LRxdQ0ZMZXGu40mlpPuOWn/42R3Owy8PUh39w4UGd5Npy3JVipgg53nfXHHBI8LrM33kHZN71yqn/VC+YLKCDVkRTJG8SBitRuS4/oubmAOGGTeGonKXeGfyfHSCdwJ9fR3hWLFDf6fBEWXu9vH0w6g0r+/KjpqVjS6PykDRUQFo1hYno4RnZFwoVDgdWAqCm7PfYaNO+Z+rKWkUqaPrlrDt+YrYCz1Y/eFwvEhS14FJGoyaPXnGHlwAug7Midy3bpeZK80qUjoq577wU481kMmByWeXunHs0FlOhIrJlJxI2TeG2HhATT+ZBuTpDmDJZz4/wY0zEyrjpz2UJT5knUIPdliroRMwnoMeKHYtBnslt2DoFGlqqunRRfujbr048071yib/VyAivMz7VKzjwhmCcCrwigdxDag1dGhfETjZRsNm1ofIK77syFiQU+GSezq/n+PMTmbdXXOIMPnUdBgg22WOSdyILcdI0X7pHOOT28xKA7s6+YF1n2DcwEFxaLZU1qRHbx8YsJMGsORQ8hXYhZtAxjk6L64bzhOf5/l8M3grD8zTy6SD/UkHctBx7N6zsTNEIYgt4mo8NrQbw/pIrSyGA+oOZQm4m0Bvjbhu4qQmvp9p5PtloJWeLibyGm9IoxvMQgntZIvT3NkPTF1TFX/FOksGzOrBDHSG1iDXxUceLmDCaKhBUMvmId6BMA7wWTkGBic4KNZJcrEzJCtIdXxnTAi33bwJVbg2cUTHntZ50XpSI3VqWxRtNX1B0aijvtIgNB10F8Emy7OPK8c97+qnVqKat5aUheacER0D+UYXBxTYPBW5UxL/nsaj1Z3fFQHqq2YxSf5ZNGVYETldxRYPsWogaWt2NbYffAh6RlEp1NewEgb72Mk/LcGt2lMh6khcc5RMMEmoNIeSDXie3uDaOfF/fejJJnTUulsFhs53Z5mkLToWZOYNIyu3G0jpT7/IxS++n97eZ72BeBaFGjCekRE0KtF5uiVdoXYARdx+9BkwFRo5FG1+xHcWJ0i2RWsdfeiESB021gaZ/WIqEEHHl6jMq8aRC3V6TmbFIutupxQbdY/ib5T1U/NCZOtpgqFo0QYVs0NMHW31PDiXDSwARF3mj1AeASED3ZcnkT8pEkDBZglKNCsosxhobZa96XfNNWQvOC7RMxbkISY3iisAPq1KyiParVUufI1n5/wFCGZVYnKQUMkT871JoxCpEiQRh4JVi2MACrj1NRVMGX2I1bArPn2SysN/rHaqOdl9077jVTROWRid3tVDwL6URWxIzNy40hFJAs0n2LHKVNhMtSP2cBMwzSCuuTB2yRgVjImeFkepdv0yQqWONTxSzuId84HZtt9ist+QDkEIewCys0EKoPxD4TH/+ZGVv6mt5+Ov7U3GVGyL9f6S52vXgl4VeVg1PUX7gfECwN6p3CMotGlARhHD1qP/zxq4yU26PbjVv7KYTpC448oUl4AJSzC8dmQh+LLq1JnNLnKDSF7G83U/Sn0p+BBeuwVQVS1gYYzwqHU5MTuNAf8rsRL78wvif8IJECDoHgU4soR5cFR8y5ChdGsh4q1Zt6sOoxeRc42mjrKf2m4Sv4KxHzwy1/YjwBH+QW9Y8rlMHZW1pCGnBfty6wMKKS+DyLnhAV3V27/Nn5XiH4QO2vtsjpTFMX9l69fQxhxf+dcjs/wGgN7wFjUXhJHtiSkcyT0QSR+16l7ANW89SEnia9zmxcKINgHTIAdPnaSZ9SG/mpw7jj8AY5rhdpmtx9fIT3IBzjmy+1qtQftNPYrbzlHVsvGIrC+BiCDwgapC7J358Ux4FL9NPZzszyqzAZ3ndiac6UAlYz5Wya4La8d1mORKWXNDB8fay5bJatY8/5LolO+acFnmZRx81F8eU3rJhekDzj+UY1SinzgiX09iTIg0P6NGem1zIP5Cg/rgT4vdhpIubR9xH4rJ8WfVm/XVan/2/78RBQSc1G8V6hkrz/hG2rkjamDos8Es9o3ojdZ9D8PGdURNCrTswTENL5ndr3CJD4xMzZe/SRwlsNa3SkHvDErDQ0jhfo1ZB2vzc5VqkWzh2dRF22BWK9iR4sU1qI1D4Kfm7Wjt9ES2QVf8Nh4UW1tRZ2EeyUvVp0e95be/ckWSsKHq4BOAhnQRI5n7YQ+SWi4hDA0dLzF9+7DiOXg/GM7D5YfHI3oyWRAnj2fDBjDoddnLL4+3KVzanrzsdtE9JbBXXIUj/XfT3x1I7te3Bj+kM3YtLpF2v1AhB/4p0Cwone6p/GJQZyj/p2vTMGDd7utfVIUN3FrW+bxrBAJz5M5bf0zPsi1es/zIKa7/HGqO+/eq2aqURDv0BJ6Lq4usRukFbNZpYy2H1Ri1zYVef//EHzBZbs63WYLpcWmBVfxtoD9wdo2bxQYNc5H2PBLPoRiWfjrzujLdaiQ3j2dMuq2LipkynfC2P6kGefbVNGbirK0Z6fxEO/RMCfJm5NPmt15tqwWWcvmNn36HjjXAlY7EN99YuuYSmaLb7M30OyNllkWgd5RDN7DyIrYyQ9VOgtvYpebp1JbxjmFgvAkwWt01PL7SulPO9EpqBseMLstndyqF5IFevju7g8lHlyV89Oatup+P0Uw1JvQlsInkbndpC0dpd8IhIcllivHP5o31jhB/JORQWacVVWUM/Hg9nAGp+ukKX33iSTJuHIXqLO2xRppaiILRb/5GY0f1s8paugKClEtmdnvaYG2rcRn+ioiIkC7gTOdK4E0XD7mKGqc4fhhaEd69KVpCC1QE0vB3bEy+Mrjnn7Y4PJryFCmNR0o64nNDCXBTUzPCl3zRorrPScBBu8hBQtYLAT3et92wi7+ncY3Un+HJc0mGaIIqHVn9XrFzbc/Krv/Rj0wNUO2lXyBIEYS