![Extracting programs from proofs – minicourse on construction, realisability, double negation – by Ingo Blechschmidt](data:image/webp;base64,UklGRpQYAQBXRUJQVlA4WAoAAAAQAAAA0AUAGwQAQUxQSK8AAAABFyAQSPDyB5lhjYiIAzNt21RFVv7ods0R/Z+AXPzKf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf/zHf187AFZQOCC+FwEAsG4GnQEq0QUcBD7tcLFUKaY+tSNy6pvQHYlnbvv58xlbFb5rOAf/20Pth+mXf/9l6Wv9v1l+B/63nZdJfo32g/8D9ffdz+gvYE/YHp0fvD6gf3P9Yn/q+rL/D+lH6ZXqqf5b1HfOU9YX+3b//0f/aX/L/5H9q/7t8jvlP8T/tf8L+3n+U9afyf7D/Wf3r/Nf8X/GfMX+c/4v+T9DvYP/v/2/qp/MfwJ+0/wP+m/ZD5mf2n/M/zH5N+p/zc/1/9L+VHyEfl/9L/0/94/yv7IetHu1eH/6H/v9Q72z+2/+L/Lf6f2Jfo//F/nPWv7If+b/G/6P5Af6J/cP/J/jPcv/xeIv+T/6XsC/1D/W+rx/rf/n/h+mb9a/4f7g/Ap+xnXjIj4HU+DkmP2AfpHm+KZ6T8r5bQwv7N/6IJANnqqlG9SYNAlj0ETOYOl7SI3omjhfPfAXg8PCNzfoEfyupoIqiKoiqIqiKoiqIqiKoiqIqiKoiqIqiKbLPr3xvC9gOJMcsOPMx35XUxag0yLuMZ1a7oJh0F7i6wJko3Th5aJoGeS4dyjrZRqUxqkL7JRi0hw1KY1SF8vAlWPmq+ywzDRQJQ2C96mckhqWPyyTlnty57BVXUg0ZYJ4TUhR06wdQqv0YS18HR44fKX/+fBgzlwtQIYorj49hV7vapWRIhNvB/ofPsD/617+A5M3xQ+B2NyjdTZRupsoaA+/OZEiYu56x1V6I0HDvptdr0blkHSizQYBpAji/h5zvk/I9QJW2XrkFIZBkNqIn6zEVO9TbE46mvixsrxF0Wg7nPFr7Sjli9c7VioN5KYKUTBE8nc5ogOkcwWmRDVJam20aUcFI1k4AUz2Lur4HRal/RybpupB9zqx5zDS4LIkaeLueyg963e4CJOXsZ0iIJtOwCCzQJpqCmyjdTZRupso3U2UANxyLIGyFtHsr+Dtyxh6QBgMGj9ehzkDEqSEKzPugranOelkOXJVF9vAWGRekGd2YpiL/Gw+5pTjLshBSFIf+zO09F0/bhk3OUZAvhR3EN0o+G31jy1HZUArbcyFEytP86xj13/1kh+64LueuLH//uff/1BGsr819XfFQiLptLNxVyWX/jXIk5kNq3hnpRuFBLLWesVDCU/cfaQRIkLpYGYxBKdqt7LhSbPte/ZrS7K1bNX76fhFzbabXePfTlbdxYN8XzOCCBrp4O4kUyZRupso3JIowFIpFiJnL3FPXtCEJF86wB9wm8zmrhQeguy0tpgIX6OILQezOJ3ryIqEpZWxF0ljgZZfraZ/KTz1dlCP+UX2fhmGxJUqFyKlZ8SqoxJCdPxbhIjyRjluZ/fVYqS0UV/K5+ySJQ6bUAq0in8aObiAcxX9f8d/eMq6O8/uZNjSFgDe1hk9m4gMs9RoRjc97sbHY0/bfAL9ZCmOd65wSbjfgvxwsv5cFsibRJf3pU/7O2YAWRUczamyUuAQDCauuG3EzPtSgTPzwY+xlSq8pTWD9FMmUbqbKNyRl1lPD0+oGECcYwkora7/mSOa3S7Lf0I4DZZAjvgOkAVLBHLKkttTSQlyFwClEgBQru+RTKluAsjb6h6T8mXw9ErHSulrm5ixsAc8Co5bFK1+RB+vMpbx5sugghX6xF8jsDNj1Ig8EmY7Q2JcY7JSvw0qSLG4c7+p4Wqmg3sKahOlCuByAavlvfMJzVk9S0icGuubsPTS+4wMNMySTcFUmV4BB40CK6FTJpOcNP/cphuDC/7+ZfF9mOc7gY9/cnBZIhhrG/M1+axuUbqaA/pBUgDumJYLwVStxQE26lcWFSsctcKjRwjlrg38QGLkpci0O0Q3006MyMeJ+wRbzP6wcAwKN48VMXabfWLyyMtGdDphYH9aEP1vcBV/w88oET1vav+wNql00zK5TklFyknNxoQ6hFhqD2hktqCLZESDw3O+q3iHUOOwVXkbyrRozuggfGrXZKhzqiwRTdWc5JyWQQB2O0CjQhv8SPq8Aj1UwBeQ6bwmGWWjG7KTwSEZ00M6NQdPhTuh/gwa9PpDwvkfQYLa4F6+A+tbsrpgmDikWIjx6lSgtAsQM1DPEQACAk8Wg5ITpH3JnixudlOxobDdhzHsdKUM850ej1+s4gGFlgqq6MwP3ZDiRRM+zUyCGhU6QuzScOOO+dLvRJO8Ctgc1UXGrbELw2G6KiA4JksPZ3MrhtWJoZCBMt7dMksHo3LjjFf3w8vBtm+HOPeag8SkU2UuqZvtBk+z/9S+VFiKRg3jDj37Uh8xh096xKQE9/c5Nh35pYBoTIMEC7swwHfgUDflhQthwY1rxVoTaj6FUQEBJ7sHSNEDBLh6sYY8cwcfuyeOl6LFCDqPZf3A7kpkzNaAbkxSnr9Bu+ngcCVOUbpG0iEyx0oT/FXXQ2na+eZQt3yYSWmbJmULpWqC31eDoj23mWaheAdeyDCIlHS9L3MKVw8M66jI7GcsQl65pjLwrm88UVP346G99mvKuez8wVMTYXmJxLE0IK46H4JcYWaWRa3Ce3PsnAZlZ6blo80z0KxrHWzN+euxnY3JiPbeXnPahugqwh6gje22VQVWSv6rzmx6isuKY3PH6lpAOeOUOybcMgzHRltVVSUNo2v2oojVUBMpaAxi3kP2u0ngMqcUCWsQPFbrziplV2D/A7G1BKNzzlOe4y0Ot9NT0KY9RclkCYZPEGJSX7WHP0z++yyFctwADWNyjdTVkxGL/fJj/cJ/7s9khLE5BM/l/fe5a5hubBR2abzUEuokQDqMpS1tabjMqb4VdPRusjrjBonOwcm9XnaxvE+lCNU/mTa6qhEx0brorCvdjcp3LariMJYIXEFIxD0aTNXVKapna4RVePAkstOVQWghHghXyzikRlPYQeNSB8tac8uvnrLCySoe7/VqZ+1UMgsLvqtnV3HzUut56OeebIdzNHpnHIDrYy0m5AefBbvmjKCX45tZQyj3BJW6RxbV2NYNMiUHnfQf2woLTqWbQmQ4SrzYz9wwlUmaT0gi0D005Pcv3JY0fbwAONVOXK8m2VPyUk663U2kZ2qygqxKuRkTUzFuCv1sz0e/+O3AT33KfVHygvJ5QHkgFaPymShum9fIgNGUOwjlrP+DVmYpx8yznblhUzEoCmE41+jvoY+MZj9dLTVfG4A3MyAQh8ZeEIzASuNy7zqUCpmmW2q2kjJnJV+gNjc24oMP2KMlrXvUUHSW0/HLHOHd+SmeZkCOVCDMPiROKfuFyLkxlPBsOCuKrTLp0N2N4yZrP0DYVIe4JVS+43uOly1EHII/e5mjLNv4hzH8erk0HlSzdKF+Hw47/DJLEQIJjm+VLGDWPEJqdBKN4a1J8WMFhfn+VJIQ/XUko0ioN0xZJwUgNFfSsKnu/MgPeFSqacIPW0+rzSFjnt5p7q0+nkVqgIPtJSBamWc2C/wUN498CUQr8cVhl13M+6e8Gxd2frdkjNeFzBRLI2uq08IKVVYB9WIYO9nJ8LsFBiHPbCipa9Zsx4VM5RYMsaSzf2jmIs9vyOPHSr/oHd7kUL/TLzR7jwYhqEqYGHrNsQCxNsT6FNc05s4MN9EMdNwiejceK6sd/BrLMZwUUEM50/NbrDfmt0i/n+XUKeWy87Ig+OQODjDr9OE5HMyznbK2+saqMAeg7IK6gJNYOP66HEu5i/EUfS0NuDb0rV9gHYxB8HfQxhN6lVm/ub9nQMhPyTR5nNAPYjJgLHQyFc/x6ShWEJQsUt4WRQt4uzIZDt88P7K5k0CVm1k54nMItPBMGauMmvQmcJCwqSmirvxGngdl9/jS+YkdY9VFM4rd0qYmZ0oYx8FceUF8c5fQHtctCW05NEP4Cj8cDSgdBsDKMdSpuT4gnMFJO02KOCSZR8Ts9zoPnOHXPFEZbVqZ4DnoGpbo5bSpSB/D1rfSQ9mvkxtCfFMISPusSe4O7FZ8uCw92y2fD9VtdowCq4sqdV5wBITOMzQGMD1apnNQqfaW4CJZZa+bod1r36h26eWTiv/BRNV7b7lFn+PF/L9ggOk/+FNxkp0vjkYEwcN+absf6F/Yde7HW34LPsEMt/j5kmawVhW5v3jcBF2eCz5W9FMeObpea9ZzVSYKmWVidROUsvvcgzpzRdsbuKHMmgsKa3tOYW3p0c81o4Wpc3Lyh8DsmwV7N7+gWQ9xge3F5FWjwIeQjIJE1xeKhl8fpX2g/aHe63m61ETVicFIfUR3ZH7wvkAClHdT+/80Fpu+U5XwcWTKMftFxDlPE9cY1EYBmVJP8YthKf3HFeTMkttD2KwSU2eRXJPquTusHhL6MlE9Cl76+iJKmroENhwmdr2kHLriR7NPkFjn3Cf7LmD7VbM0hraoevmf/M8/Yy8q8wJF1McO8SRlHXAnb63t1V93LWfHO/+cp62dZCJ3UlWh/cUDHodQfGIcEOhhed9nvCbTHC5p3SQmBJhBrAiwpUU4Oc1pPD5LgDXwp4T9YekYApyFg5Sg708UbAWVxfQnR8rkkUMocKoZKyHviI9DJlnvvp1/6suAN11/9ieOoPwamUHmG1z/Y9kZXrBYqR0EKoX8cUXkqgdjsT4iV9x0I6Y53sQP5iVFqHcabO3mlHV9UaRvMLlZD00pXtOOFDUzsH3cqQsMLRf9hWAgXd0pwsm85CeF9xXzu9pstJIoaJlC/WmykDRl83ctwbHQiQ5fpwB9Vm5YmCaHMXwH1kRwL6Z/RnPyUNQNxahM4RE0eoETIGOByzVT5gBy7gf2KQMQ8s2vHh42GPXhCSDdghKe44yyFywpNDySYLgrjc1YnNLGweEJ8ZjhT4THSPf8eKM2kKvkmK9zoYOvc976HjGP4UKd8nItcs+3dHPI0lYgdWU6jp/j1D/dkRfmVGp1O5gbfDFG6msy2nWB/NDggWWCn0tY5Rsg7LF8tEP9L1BhlH1Itz0VLV4Pxf47YNlYkQ6dstC4NXyZV2EMFauWZqJF8dH7soseZeqaqaGNyZAdo2cD2cmvNsBj5hyaSIoxQQr/e1xShw+cLKq2uYoLPQEtEZaShFWXw9YGBivnvFQK19w+oWjOLiOkXLqCw8t3TvMY0pl7qdcgrQp/0k3Fe+wYoFm0ifFIfQV2N0mzmhPbM6t/niqbwjVIx3F67lKKByhK7jVgjuVxgSYLyytG4CCnpsw70qH8qBUnDqmoKkRlA57OfObTyt8WGN83sYTHiC+3l3jkSKhHSGCe2TRhhDEw3ZY1sBtwCV2fm/kUTGVXUvp/PgrqvrXjKBvW6Stb7ztUkrO3CsNGpWGdlNzBsNnWfMLYvdfRaGXEe3Xvx8gVwPZILXtuysAhLUBZbzjOq5zs55CfV678eAVZml66j5loOxEUd7Dd7ANZi/6MyUxiFKpg+u2oL91dUiAQu15kvwVSsh8byrFkgiADtvQpsEn7eoYIK19WzYe7gIC8l1zc++hDQS0C6J3SRRFwERRjRa+6MUSiDL2PfO1PZSSIU0I7UsLIL8jJedlmDmb4puSbIS1nS2XtMu7d0g5vI8ehBz/U0GNr17usLQUVGNC6k/qszYk7Y6LHWn/iY+WNSCQ7zbEYupV4OklDEWNnT1Pc55sz+CsW52aycLlAG2ahfJcEEzjsMSbzsePFnODriK1ygKhMDcDOms1mAo0DIKUxIQCz+9GuWkopEJ3X2yiYZaLGsjGLpp7pf15Deuq4mdrQnla0eP2gyOE0LbRWqDbNvwHWg6pso619PVGzqmqCUuNSOlJbxFvYe6KH3zv/YJKP/P5lIZZGztL9luF0L7cNORc6O2AwvW+ZAN/obKq+kmYtX13adZEz9ADVDicBGGUyO71Xd+e9HyHoDnSsAcyLLGvO4JOkXQYaWol37Q0hjfWORAlRqm0GAbC7zJn/BmzmqzXKOYTupZfhVTILkz6pQWEkkPVN5v9ZLbRaWG6myjdTu1eUrm7ProIVjSyWN3z51p5Am4/682MweoJXpXw/34m0Oi57NH69ij3FxZ/XU15isnqQ0E2jWQM1vyksKXfaT3Z0GQoIrEe/8U5W7t3EbYz6watPD3XC91nwlFpbaPfybTh5Bxe42cvMBkQp5yu23OtibRUtqJ0hqgHUbgs+ooL7tPc8KTF626uWBiCV7SejFYL2USuzGHquUUJWsKOpZ8V+W74dYX9aQhr7XTWcnC+d4+M5U5ep4YWT5cLAEAV/EKgmHqzjK2nSGD40YIRB/0DbPZe7EjgR5Y8e4SIvjJJWTvSXBjBqUhMc8qShoTb+uoGW6V4Fnq7JGQXCU/3Uun8dKjNmbUKg64+Gc7G+xd08wPwf3jo7YZNBB/+YGjqWnPS4pDAjMO1yTXmdEqUd+lB9ezSEnkfOLNHsbwsVkJH+nDXJ/PVQsWHmcYYG4nTTCr2Yo/yS9lzV6ygI6wQsPFdnJqN7qwBBkIF3dJPbQtu+2vANeqC2TndgPNV7z4aasmEXG4/eYirO9coTBXGJGSqwx9+NdBnI2vsdnfNbOoWF76JQgrd7CVwqVL6OduJLy5ot6LI8gxssWZfQsqO1nv1qiFj4jM/7AdbMl38YJa2Vi7DO+u2QBTeML8rDBiIxvx3JZN7rN7Sz3bOHkQUYIl4o1Edch91WJHHKNmLtN6nNSgsadyjNmAnLO/hLn0bsx3/XAyzHNXCtdi4jsGH/+5K8TXadyycxXceCNFeN/weijQH4Utlb9HunqBc6Zq2LcRKYVjQiHpfnP7ZgzVsPzjR2O5tJ87aekHAx3HjuHacAaL+G8Asp9en1oDKHHzTj0IdQOvrJ+MyP+All43RiyByZuo8cirZnKdd7oibpywpNdONEyhWN6HvBpzJSVHRSKR7eA1JE5Dbl7ZufpRA028dgdsqeWDU+dcCcxdGYR2ilZOabjqwtOuVzo006BU5KT5CXomb4G26/0dxtFGcfLfh/x8JO+CWH8qGpc20WXwmJZ8kxjJmPpJlgWFkddkVL0sczH7qcdn7ZHgsTLSNSxsdHEI4ycoxl9DxNbCmt7eQAdGFFiFJMl0eAFHST4KIvyl98YWoar3r05AlyCctJnHK1VXE8DvKpNQBAzw41i+ap8Hcu3kzVIufMHBDQcp9Lp/EQNKCYaiiWFQRQeAxBdQaCbJTVvVLY2toUK+I0lOhaIpF053Z/TazIQ99QDp7PGKiJS4uR7bNkT2IxbBldWErO0iwVaumqgcq6IlndLe1fVVlZUbCdCEUQ9gF3spBRYQgxssDyIrJA1QNNmzZB/whoDTJ/mVQFWhnicyiPOYXbt2TJvDLw0WnhXGE0qqELF8iUqm9lJvijH6nqnctpgqQ6H1kEHQcFWw1JC/K9yjqKp6T95DwBR6k11RcC3lJxyW6WaxbuCoNkCl6jYrDU5Dvt7xPv95Mj6LO72cLQ/mWHG9I5zXiNXnG8+DW+FxfzWljCJXCysKfftkYRU2pkdQ/Dz+H443xQ+B2ODJzlJ6lHGT6A7ir3Y5c42cfLgLlvxATMekPuBPSCM32ENz+SzWwbNlawr+NyzyoGSiCoS9/A+mEBItYfyCPp/OufKseTKL/tOwmX1l/PJxvdrduCCcDj5LkFeSdl4jpMpjqqkDUMHiQIyWJP4kYgD7T37YIFkNxphJ29AN3rcLy8bJjqwHuCBEQAhwe7U+lB/JmJdqmkwwF7waqDKwY3w9iFQWpquu4H8RtAkDg7GeYMqw3zHlec8dcRY1KYD9QtqYbSj7yohEaBlEgtG1y2m/zDq89aWCnGGavjyuckr/s1Z16e1jvZq4sZBcCq+qNJXfsHo1m3XJAH/A2wNgoUeiAVg0yxiEFBzcM4PjZZiNpNuAdLRPKPl5Gz0hWNY3SOOGBiEJ6PNZhRA8LhdleKrf4PAuvRKEzvjRejBgw//YmwEAfFcn4R6NKUu7/FkzaDM0mLZZWbBc7uqow/pXctFS9YmeEH3GjxZtL5PqbmaYHqBXmMvmu+x5gnPZID7cdncfJurQgdT60uujiAjORicbN5Zk65o3rxYjL8o22nF5ISmz2aJiH8s9wQBoUZ/384CAngHkcSQCWNA+76L5XEzlEb5ooLtI+lK8Ag+cVuNG57ZMOWtAT2ZaI6/z3RQP1JplwVZrdvgfJw1XacGx+SrCq4rKynhTetcazPoEqsti0qXVy5A4eC0Xt/tNhFoFNcPUjs75brBurN+YUSl1RlAIGR4rxNYTiQrvfRDRg1BPSBmfGzkSnlPnFs8xzEBPJBEVd8uTiwN9dnpTi5tqezhWSTXITQ2t/JLNbWA3kiL9SthnqnSfIuYCHoPsm6907EXWQ8SiMN1ZDgMV6V+dmZjn0mIvvs1g1ZWNTxAwPdQ1Ji74ho0sbl8fT8V9v5iQTAQJi+BJncEaLYWdXEAZEXBEIYC4bJOYQK6jRE4OPIgYrM3OZNEnpAesj6Q1f0CFaipwVboKZoq/jqUOla92/QZZ3K1q1Gn7x/559WKWPBBL4wPF61bz4UWmw6Bqy2QsLPos24aefSM17EgYktaFVVKwi6+/9xMbfXKIf2CiDaEZPEcbyQPY0lCGrHF9FTT0+r5oGjrBJis+i9coe/Risqe53dJrQC/el6tSoqclhmsEgFUrFxbt3soLCGaLNa5HcFlNvYhARaIoSIzwe2XDwPRXEeKIFvtUklU7hvocLU2bIahn666nveCR75eaLji2ksIgRDRm4rDBAYBUUfBFbHyFNoSny6GntY75NZbu/3V1ZtgrB/LGYg9AMtd/XMTMdw15pA+n+Ne7ck2N4vuUOA07Ahq9ZByzF21ZrI4G54AXfc7C51FlRBeNctt+s5LoK+8VEEwoumxvxoh8I/0x+g7fCFSycFaBzOtwuvsSbOb+HXzHDLmdlMNgBgiIHeUe8V6a/taidn/zE9HpguHgjosUQnv99n4b+dAaUCwA08Jq0NzYn4kuNOjX3K8qhy1aGoZoYuarqkL0slj/7DubEXpZlvhMEKpRv2ouYjO8Xu42BcjnKIFMjHUjnF1qDv6aIzeOBC0bogMee8g8kJSr5ukO3FCFzQYEnZ2LvcIGz7dLtufB0CVzq0F66TqwTAfnLJI+iUp0nLm9iZ+sYYrHvHD5SsdgviVPWcPxZJ4T9w7323PxcYXz73jUDJWcZgw7tDHrQ4eYJQU25Y4PgQ0zBHO/5svMgJdMWl3tLNS4MtdWAV2eIWPOIx1HhOGF+j0qFBsk9YUPhYp2SZ2Vm6SB6w7LjaMPQPNBAgB/T64wym8VpccyD6TeBmeDvlxdgITfFtophKVnSQAhCmAc/lW1GpnIi07GTir0fmnnTqaPr0vNd1PgjQIbm6kMQ0HXW2Bm/XaeLBqt3rv3PXbZr0YVU4XZxuOHgZkMTwzvxicjsd1fnMfwnlusQaD6Fiyz8WB6xdB6T2ts6y2w3GbqJ0JUJMiwE2x5c/k85jXGZjzNwrQpdQlp/Lok416DARTOoQarsjXxMf6wncFAYfA7G663XsFRWTw6mynWTlkD2AOM2RJgGipPjxqoJOaHb2fDDET/PHTyTYIzHaqej3VQjAwkcnKNS7mlxUsty1gXRY36Bh/8Dsm/GYfA7G5R1sks2aQhejMlug1cAnqTmVo0U3WViHmm1nNtXCgaNx859Y1xD+Gf2FaHqx6lkjIG2MHh56g6rYalG+XHvHM3t4H3XJwCbJQxSJgY9EUQVSCM7G5Rupso3VijuX5g2bG5R1sKdMn5viK4sHbSVvB2Aw+gUEkkYls0zggtji0ewn1ylVduSz3QDWIeFoQF6mJSEKtOLWioxYnceEFgNc22tLdu3IDQHVSubl0VWsTETWNygUDCO96my+O9lhyt/Z42hU57cIK/cMjqA44WNyhwW6apkzrNhQcjdsXdg9cBXDG2gy8l9Psh7kUV5BWLW2wYFvCMxUJvQBThzRcAgvoA72Xo4b9PAzGYmBvohpbtT8IO0eSYJoCj1j+PWPK69pYmm3v+0kGjJ5SSIJkKfsfAfyNB8FaLnMa4C3B1b9OziGlWaam+M4WzcrRglnwfvpUXSV6kSl9LHnNRSRHp2eDXK7pmM/DNTxJPS1mUquL0g+SwefWeWeSzYU8C+Y2vYRlbq5vm4aNX88gKW7BeK463NMdC/S4krrNofugvv7iAdNex4V08pHiTnCBsXfNYmac43ulkeE9QceAPDndTadncCz9n9YrIKeRafP6jZX+jYOU5ebgpmT5pfnoF1y2n5RuJ0kjPCs6j9e3u+7w2Ud8TehRlC4YtSmcr8qiN98uplyD3Wu0O3pts1LxHjFEC3qE+awa5eLrOCevD1R2LflsqFF7pyf3cw7zp7Tp6JVrUOR0i9NMl1H4muNLZPqbYpXpbAkEesi0Chj34G48K5lW1EU1n0GQmgUFYXEt3XTxRXz00eLEMrPNC1f2tVCaI+mUGoq1LyqzhuaURW2SLG9+lUV0tMtAI6C0LLbjuCOmGeNi8qJMBhSsk5Px5vb5Zgn3DMrAgZ8uqUclyGZBO7BuiuDF6nUVEXgvHrBTkBCttJZ3zTVP7k9dX+uh6shNUrwyr7oBYZPw8hA+COLSOoHKg+5HuXsDqvlfHeNRcLt408/iKW0hsUOQUP2xpUqWswrmsgJAC0X5IAlSVwpuvXl8djoWDhH09B8GqNUueNJOvW8QoOkw81UjGIBZvRNjUYmmk0seQbeQPWs2mrJnE5gORx5nGsO1qst8PAUs7LReeIXcerTHY2kii6l7QKaMHMEHUIdBtXO+OrwqduA7yxiMKG8GlkYbNlhT0vIs72cuAZCaGI3rb1nvBB2+zATAWW56iSQxN4S3EdBIYTyVAgHnOkQSlwOzKErbuxlXcYEW6KgN0YHFBbaZwQaihvsVkIRFqe2wgX7uUbrdSjleuCmdmv69xLD6l7HzdUBLZoO4ZRBxsAUwDwOOusayXzs7ckxtc5T69WYd7q13PYr/pDpiYdiWLkTfQEiJzLcTKrJfMCEUiMNR73A6CnfMU2AzQdCi04F+9un56vQvhgZZtqjV4GMpdxa2iiEwndKJUv2iwCFXnzdvCMT2ip1SNHe/ka72Wx+G+zS0rCXsWbRte2YwrYJGATy4gxRLUJT1kDZz9IJRdojSHvsqQ/NQx9IzpJFaIgMwq1qPrIfNKk2nuffWMDgZg3a86UNnOpsgNKvIa0CZjTO3TfmkaO7iog583vCMPI/5UxT5O8px49yRp8s46URSPKAPZfvwydTvfj4eRe0LkgkntbEHBcMBI8zRuN6LF4Hrf2//ZZ4MutVtm/FOG0SowCyFmcd5WBGilORns3Um7q5gkDmNNOJ+nTDvTfbhnXkQzUsjbDAVXlkjgqhD1lgeXZ6RPRQiexh99ISBLgy0Ik82bm4A4nc6E7GtCJiuOG29Xo5vD7x75fl5E81YnVZ8SzRxvWMw+PW7K98nHsWEk52y8s1+OOY9onObepwlXvKJdpGSGSMKD5vxTD6urRoSni6ldun39OmEOI8PsnYcZ94lXqQ6HuI6I+AsWcsJrvD09lX78podEgF6nw+wyZI1sIVf3j11zAG8038wSB/YL2ZnNpD04bIVqQZfyk3mtniqQ4TLTLN2v7oXfYZppZrMTRiOWDZtiGnuuTSZcxjeDInPrLSxRikes+8CVBkqWbRMxHPv6Cf3TCszBaqLearu/lgJ1sjljdO/YDQ4S9zrT2zuEVefwG1ecwfqb1dIwxg/Di31tJbtApj+FlHX3Uf+LRsk5Mo4jL+tqfyewg6bkqyFexNgtmdO21FQ/KzhNXDGLGLJnNWc7rDBnSlkJ0pLbr+HM6Tf9+9yeN+p6Pzt2cIjXuWNnrP9TV+u6pDivFqS4PZ/pQj4D4JJsB9FYrt2VNTEXs1OufGoxbV/wlgXBLC7lmBteUlXKDCI3vucF8JzwZHcRLkb0OUfqrw7ME3PK7cAUNW4Q0u5eJRFSyJPH2GgU5xBEP3NAzlPA3KH8pk9/8ltY3KqyupLrHjosjvWIShZF5K9uLorIvG9ygqW3SFcw1yv6YKN6uZ0B2Fj6AM88wNXE8qLjmHZrYVIvY6L5XcUfTzMQIo7VvpRQUeZpe/YC43N1K6rPOYDVCSj0CgnJ3TUX6jtGMVS3imVhnmjS/90ouNlIfjDfZKjJEFvn8ZoqNjcpK6C8C4GR3gTpAeOLOOk4yHGUasu6j16LlpKzShtfyC/fdzNegkQayJ4LJydNEoSTA1n+A7gBLb614mMvYdQxPQfD8KAyDhOqsWcWO/ooO8e9MZHpWkJew7ZkltWfVkYcckpZPrwDvP+KEOtlB4Zr/zjmdbAi8MhCmq5OvoJGdjcpCQt+zlkvsM2LWvJkofbwUBpMIb9ZXKD79vVGza8ISQdNYB13xGbVIZ0MrsCvm69Mpw2Wj/2NbedzAXsVbbCiJlLkXI4xNu0vKnbRD4mwhXr9Lu13mpbOjEC/zkfJjf8hCBLrFw2JVOU3N1NlVYaFzkTxZ9LQIT6Si8vJFKjut3/UJG/EyHcVz4SNujgkrdQqbwEnsDPNYHHulV/LWWpKYnoWk9RTh9wIy9501XTLAupys2y7WEWdgQdosQ+sNKXe6tM/n3IxASxd47MzirKE64PlA5rBw+KKouCbpPMMUrfZaBuA3D3nWzTaZ3N2lx6/PUzmOrWV/UdWkAsbCZxLQ5BiqmTapmqcnF8i+Vop1drqwq4e+4KA3vbb2PYapSAZ9KVyqYwueHxeud61qNXJR9ULPtzQPWZ6tOCGqoymo5wtbLGBmk7x7fZE7njWWKSlS56/8e4NT8nyb3vUyF445DbqFWcV33LhbeLV9NOI7nXZMAHF3oV+8rXM5ocjtVUOGaxamdC6dh0bATYe61upkF06osZVNamYy6/eqnnUZblRqiJpZupX20ocaFx/3PnXcsAU5kv5wx2p7n9hHrLUwFMMjJ0qTa2K6HobNL4KvebqYlBwYFufXrMyEkp4i8OCetIuO1ncvZ3fGQSF0Z+FElaF8s9cV5jl+OInR5TIUymCXjJSuTkkOXv1SSzMIw32HSs0yVBIJ17AEJfKUMSq6qCPUZiTyVc1rOVhRDkryVUPEPabw3oueNKkjFofRTKcIJ5M5SYmaFqum7fNUmDP+DjllUj71hJiERkTJ462cVFpm/RKYyCCyE9TZpUxJ1Scv1qsn30UY+coOv2apnG3t6e6HlbeQ4SDytvpLSjhWHz3d7XxzAOw0Osqvk4GcrOt7S162tSPOg5E5uGs2BX+WHzjJkNnCEXJGHuxDuH/JbIvIg4YVJ9xG4LqEupD+O1ihb2oaTtQDHVUIihG72aGW67rOU/RwrElYil4woEXAzApnZ4L+9vQNRn5WfrsuhnNiLjcAn2S3Hld9rVWFQr4veRAWifHfJqvh5Si7F47NCH4okPwOgSxc+pfiiIL8JWJ9jfFJkXXz7QTcGqcPNF1+Mm+Ta/MN5t6Cp2GETG/rOVmEjFRgy1L6VNL6LY2uoyQbopKhrDA4C/Ijk3dLm6+ZHci0RMHRpyRM8YENMzVFLP0CA6R3JCk5zQHetJbW99Ohy95bc8a7s7CgAl9P7e2Sr4627vBWxEFHqHnzIx7Ix4NYeA0QUZAnCUSKoXWIUYwX9jP90ZmSCUane46I0xZwDNG4dLoiSmPbvm6EFWwHXx9tDGWOibiCnOfS+3DbAoJj/1R6IzWOcKkbxs1tvt51HtWS6QQ7aRSf9y6uNLFaLX4FKCMG1zActGhGTzcl6mftP1zpIWbLxmiyA0Iw+uxb93dU2l2n1rK3Ver+dtS9vd8Gi5FnfK7V6YH7YXbnctYFoRMgIV+c97zUHY6TmWYeKJp1yw8bVi+m/06H7dfWwcytAYcNLV9TzXVv/Vm+FxLnN40UBb0YsEJHfleTAJmlyFMVqbXEcAcAsNHK5TFpp0MTSRmJtbUI1EtBIMuvs0FJhG+kpR6gnIGfV/XstnZKOPU+QkpmhmzLPxi0gFXV9URUyJLhWpr4LQr2mYuGjcZCFxzcPWmRAdYKfwBUFwaMU6Vwxh/xXG6FB3OCQN1XeXGVs++2Wa7tdgiLMrLPsEoJ8wdr45G6G7i7daTciKm3B/kiYhNr7+2HECjPPDmWkg5W2pAvL5DBSLjTd8AnNGZMwUmxzW2YDdGCXjzN2EkSAwS69J0xlTauwJmvj4Gp5YZPWlfhAc8IOAsD6NccHP+yeKRY3yOA80jTlPi600ScrNUzo0z+eyU/qyXUKcFR5FIIum5oGLXH7f1D/Tshx36cMElaUmdxuM91jRU7BupuXLaavJvjNuqvyxMXrRaZK9ag+ArRjhrb6XgEJFAF49bV1hxqnEsz6CXFCgkkRPJHULf9ZfCM5yCyyVZ49I6sWGBqmgFO/mOIaC6wU9Z5BRk6l1j7k/zxH/LEKDXxWBYFyIdV1xuW8v99XBhUn/+h9KsdQ/rVewdyNUa4yXA12WrDW5qVOCTcMScO1idL9eVoEfCBB+OCoZgxpjmrFZ+uEUuDud5XrustArOw7TLDYxJDeyAW084kF5I7uzIZWsTViL/yR4/G3cFEOb5++AEc4eZXUPjCpy0VOaykfbTOLAURPaNyqi5e9SKkYv8yxN2eE+wjdnqXJSvIKM5Dv1CvkC1XPAHMJeEipDvl2JiCMWNvCSDs0LaQEBcgaEn3/2XE5FVvxT5CaFJuMH4pKPaFiFu1meKX1WNymLJElvEhzBkiNW8qYDUaWeHEyPioxfnDk/B+9MkbkCU58RqkJI4Wl8Wd7pf33LtO2vWmKY92rBHCuUiMwp8jQXM/YeaQZlh0N6pInkuQ4EHC/tZE/VSKySe/m3tsDLIO8EgI3nsHCshkjTJnYw6TZqpV0076/6RK/R2lcri/KTBtWeL+h6uSLYA8ncACYrDlvT2QHMKGid94PxfJ7g9f9XXo4crTRHufiMNoCFUX+G0o9d75mAhue7r8BTrD8B2JGtyQIo5HBwHZ72r9r5EJIhKeN6qhZ5VDvXBK1LpUNiQc1ENsUKkjyfmsJiyoBOQ/YhYyzpuaNcZTGletG+YxV+1vNgxe3/rwMwE43o0Wlm9+uaFLYVVZj9gGMN3/yIGguvrCM8pjSbs8CyxuyxK9A9PP9X55HeCIeFwheDPEb1/C/gyCla0WZTms0rbAWx46QCtzt7fY2uOHsHcD9Xb4TRmx4roSXpLS4YR1iRes968HSnVN990rnKE1oty+YVgNEXyc0fxisFMO94ZlPs976sqN/oM40R132KAX+ahGpmlMu4zOVP/Y5RrD3URSsC1YvGQk1t1FNXap61x/gSRJGRQQacu5VXO1v9ZkmUZpp3RgqdhCKW2YvYhWSp7N3JerEp54yKBQuqgLWhA1ccPI+c/wSB+pYP9R6HbVXawrwhlWDu2tBLgro/Smgp+ZDpY8X255M7yiIj4r7+95M3jW8HIbDFW8U7HuVHEArU30me15QlWgQPxMEjehXsL0qy66oJk2LVJg1VkWNuSpqc9pUZ+cHL5j3lxpiiEc+Yn9zn58uCByR1EvlZmJpk5CuxO9XDF2W1VgQL58SZhndH4JyLRWWlowujYTgVCKkhD3b0AJ6pfjvAeF9piuBJZfXAPZE3xMbGw7PKTQRauK7lJ/UdM1/4/9Iz/GsytRC30rnhu4zBsB8l26RJySOcjUYyYde5WxF/62aYOgBsznx32TKyIYc4TEDG5nIQaELDJUn68hZNG8UcTJpIxRiKtxk8Xw3LcaJgWeIlP/M5PlEG+lnwTxP1GnqSwXJChjlUSzkkTahhvqNWTl2y3xEOYS1B2VaKpsE+jikKQgcI5BJ/WLywy2AXlRuWehMcDBuLBRM80VFVGdQcKH/t0DFhWgPJcDuysH5kat+Z0PtrRHuv5MOtEdl9hujVqqdgtLJOIo/pUe7+IWlgmwm0FmBPiE0/15k17M7GvjLTS/7P9dEXfIBqc4+Ylb+lRbBbpTY2thh/Uvhmv9Y4O0PEunu+EmQvdZsdbm4MEbVALbH3R97Ha29S7i9y3363ckSjEvugx2HC1Fuoa0SMNgKJO+oE4ua5VdlOM6vyWDShx7RNFSs5wEh5SITnBFAyXUDcfJIYiSB++vFhBouEjjuIRCCsK829OFV3WFrBn5Ly1yiX8QQDpv99MMSKCZ/yuE75iPbGVcKc+Gqyzaile355RSyjnpiF23kFlqw1/9LAG+HJLRu4j3Uc13xaT3O3s4p8SiCyRU29ZP474fHl+JICV1a05IxbBOqTS4Eao50PJhSDgzvrvwYsM1zxHQxIGD/xqwbjF//Cp36KXbWBLgmsdM1czZkbM2a+glx+MLmNjcaNV69bPMoEonpPPB0tqsWu8mPLWMEknrMigeoBw3NCo7ITxNMhC1NPYuyRdd5P3S80OGuZuVM881TRVShIh9bbG6dlXDaFZSY9EYpnKRiuvHafjMzBRoSXDWu9T4DlEBtAexTNCKmL4xU0Te41Ja4Zk5Lc6qpokrQ08ZEhBjkMj56Wdor14XnEbPXAux3BLEgIXRZdcxl9wJA5eAI8rE+Paop8SXCBAKH1LFMI0t8YZIWXYnsyQoz81N8ufNfFAGWbVlbaUjgMMNmmQTl3tcAqVOPUbe0sqPUinCIyX6dh8uRDaht7CY+Vrk4IZmD6ObgTstG58W1g7xXXwgvGq6o53Zsl7pTShfssGY+Z7BsF0e5IKFVZv3ualobuAsNNKtHSC9bHpGc2PAXhpQ9mF81gfwvYDJG6i9hKqsmHDxpCN622Ds+G0ft1SrWX4H3cQxvaLGHBiwCtNNnipIPJwLQkbD85nC+6f7dno8/XwOBKw6jakvnkm0yijKBYhuNpApW8eyd7gefJQe0Qoa6jIJuPfUZEJNcCY6xRVKojHqjlgCZ0LTYLp6T2Ygfaycs8KlhXMf0YCdEKNTiyFrDsFYKW4d3AxztVax+TW/DHUfBYPa8P2hIzBMVciAT5Zl09ZejrWg49f7nmCFz/t44JhnSwJ8I7KOSk7j54RdLyNG+tHNJ4qQs+VFSQdpbdFnD/C73watus2ibq73k6ulzAMZnKF4WhBMOuyawFqWc1BoRfUiJ3E9oeRiOMGBAAwrbQcL6wDnB/IQhJiMxSLDRC8thzSx96umPl75bj0jdgw7rsDgqPFHiQbyZMPUP6Hq2xK9Epy+xdl/Uoe0UuFjJsDrU0F3hTwu1WTvqUc5t4qXaNCPKfruCm6AJRcL/DnCLrbaDNs7wY/WLNi4LvEZ5MlKpH5csWfxUOoQ3CXsYpK0ThlbQHJcu+T0bo/4KMZtZmeq1wSp9W2iHe/YXXSPvEzBt7azsfDLGYfBYcqwymTVFwrBRe46eYuAXdR7l32S2Mnrpzqi7IJHCF8WulJSO+MqNYqa2o+HXBcxCcsmTMA2VzDBU1LRhZWghIY/3Xh9WV76DCLiss1HQKiXfH0EnTKS43csPwWnd3ihO3EnzcZYJ/u5PQmVeS6gkPBVg7G5Rup4XZvDsbp0q0EZ8hs9chr/7N3LU5P+6SBsHjBF89sl3VQLoodRDiR9sUEZEQ4YLgcGtvjByxfqRVw/njAB87p2dAmFQ2hcv7gZSOqGX4/cSHsuwLzHNWjRD19r1S+p9ru3fmG/2YldJqZT3vXqKJFt3IIV+x2rc0jOdI5uuJK/MhKj6zC2VeKFwJjiHiiDpQDLNP/cpGOMY8MNMKHAyX2vqN3KUAP7wLh/wzCFPfIRfUsCHbqJNF9HvQJAUpNzz5tr3wguFqCkE4sBnQJ3/ydOeIWTQ4IWuYFLEYrjc4pMvvHMQR4h0LHuVxoLL64y2gLCufox3gTnJMDMVCvsdg0XhdjujcYcphtD6JQjKeCpyLPF9Hwj+VaK5arno2cnEYO01SLtBMYJg4CM4C7SFcGXxQQN3ZqEgpt0pRb5owu5sF8BJKbmItnW9IgmgufJ2KgOtpgu7SkvXj/pucJCZTWsCArP2rt4ZOvrAgKz9q7eGTr6wICs/au3hk6+sCArP2rt4ZOvrAgKz9q7eGTr6wICs/au3hk6+sCArP2ruGpQUplIqHDFtWeNhbRg6prI4MT9ew7y4aVSbeW/QKVam/OOweyKSEUhE5M44rsmdZCz/bLqsriiYbE0v95XOG25a5IvpleodaFPvWRLpNbw/iQfHY6wC40IG4HzGuFi6aHDOak3WSOt+MNFWgAAAAAAAAASl7379uxMsqNCCqp0XXaybbBN4Yl9g+onIMtXECLbqs7+mwz6MIofLl8fLwAE5z1xU9r9mQ6iJU5DT94QTmHeT70GLMvlfaplMYdJcHsFQ/2/E4YaEj1maCiHxaadLwbDRDsHy8FRv0L9G2UFAtt6EsVIFsJljBNRrzgqWv3jrwSA9hThbSRv6+L5r614+otBKHt93ZcNIhoTFhyVk0aYSC2PLhrk612lSaanz+lAD6NDNFoRLHcp73O/QXtb88725Rv30bhsBM1Mnq6XCpqHkKkgkdl1L9UXDk4BbvIsdTMiMbuvsSoBquRqZPRW1LMVguwhxEmGuRTVcGYDuAzlM0T+MZ0FSTVQ2dNn1bvyGkl41gbB0x4j3TYZ5fSKlAYuYJuARX0AFgtogXJnwiVeLjDn1ivs40AAAAAAE2W0j4Etd2PwCixr7XA1rjKWeM/cjdv718jCnIpkPbdmTjqBWBOpP3w0KjGRv5VgupQT0krLobjeezUlU7pguf+sERYWq6be5odf1eyeZSDIWygeHnocaDVLgfJqvcRJo5luQTzrBsOL51vJubjXvouZXjmNS43HRlew1p2D+eyaM5Cwis1o1j8Onx78GGXIu3/oswag1pHVJ2NU/OINIUqiPy074qF2K5BtN97Q4+E0oSesbzSGWMHXCGIy1fHdyaZQbz3+A2h3bxLt07wnCk3WCkV/xxadSi0KpRcJgfC7KySBa8tmcOCJkUKDe5H4etaSXQO8mh5eNfW+x02LdI+STxh7CFVrxM9ghvgu3hYKvpnNul+jXLkHx5kWrA2nRyIbLtdQwr65tvWHDLPbFChTUv8t05sPHaQ2yN2UO4wRVCzHL4mSizO1wBOEdjOeJJ9eh9AvAjRyQP29fycplpIpwNRfKwISBmW/ufhiCUIeQd0ldrnjtAzHsjNh28axSo9FURLeQLLpn2XzW7ur936t1guiLBYVcewhGxuyuV0p4GDiPTlCy9o+AC8eWcY24F2xHW/2oHl0ld/ZwjKkc/lgqxHFx0nKKqk3Ux41rBHHmcOKLXBWKCBsJiKh6sUdooyfqvF1eeoo+HlBqBJ1jRr98gzI/Mm4/ROypimhKKCYdbeAHYr50dz2Fd/qE8KwzACAUPtHOOinkQVNXwp7dp4buxvdKzq/4g/CiCKU/FuBns5z94bdMR92W/XjKMkDfqq3j4R59ZlrKeIvTkFxPUKta42dlcz9Oz9T7WhaCiEYFYqWtIzPw86sAMrf+1RpwFpmOiJC1POZsNafZjLWoPn2swOzkE9FbbMbbAVP4+kOATlu+7RiIitxyfoVsThraCb4wGhgS24u9jOGyZmfBa1avbSSBDqPlLDeekdGbKb6cvgMLKB6W4//UKxX012Frl4WyIxoCQf63G5DWXb4nLgBtHaKuuz5OCVz12aHZiqXmT1GHe3fPwX+ywEwCwhb1sqRsWm7OYnwxOefM/PqMbfArYbFlFOZAiUZHqZZu2EdDWyA3R4jBerrurwiGr1AaflANWUnIsIB0cYW+eO0AsnuwAAAADWYCz5qcLYU2WdP73Y6RC42bjgh+rfB1Nn9xR9vz+KiqzDdj/5LdvnuqXDGhtAJ4Lwl+hca3ChSiv/Fcm+awr4ByEdIyZz27IgrRMsi9UAvsO1sTEhxeMpI/UmuN2J0pMWzUk+VsZENoeFAVL/4zL1Olwf6DPBiTr8HOoqj/V8ZcDslHgUMNN4DxgwFifA7S0GmQ15B2g6/b+gRNt3uVt1j0vhoMjUK5QnaJfTc6su3Ze0TXTCL72eJJbOlnACoMw8Xv0jdsDNYPtKWG5trzYUYe5DOQqXzAvgwUijGHAhNp78OfJjFJSKKAsfunvN8WwHfgZrhOicsN7f/nn8G9OkMKDsRoJ6uBHdaj8w74B/226dhnS85iEnHlg1EKEGLzXZiKtyeee+B20F9hXrDfP5Q1FK8kN5KbMx+eyaWGFjlbENS77yi7VZe+jqL6SUzP/O8zw0Nq3Wr/RvTPykM94fVUgJELr2PXa9A+9seyvGIZq20tuYirg94wONYcHYPzAS9bJYwfyf3aO7IMHQAwbTXEGQ8pWXs7drPC1v3YfH7HuYiaviZFT3LyCVj8l1mSLMuNCw9HPaVQpw/FHQoMgkf7kySN7YTFhmTi0eRNlvz++3yEt7dfj//qnyRYAGVvOl4zBZ1i1jULZNO+h5m+1/bPJIlvk5t2t4c7/bx4EkObp9ItYjT/iVnrtO1ZEU4C0arwSIg7Sm+wQYyzu4sWMlN1cITh/qOcE3VUGOooF1rksT8CTaQgeVg8i5La5s65HqUSi5qlrAomGEBDui9gZqep8LTFDHnbMIFuDAu5IhW++FzW3ErkJ8TOS99bH/Qdxp2CDX7+4E7XcxQt4pjldNVHNTcnDxZsSJOGY9I/dXrPH1q5LgjHatkwIpBN8sIAia4vgoR328PHcNmCIb/LP3V0WeOOcZJ02rrUnsE5Ju5VpZ2CgZg6RJf6j6RJFkTWPhoEBWokaC4PGOJHD8wwH+GpjLtnF8uvpOBGcGi22b8w5gZf59a8+d64pI1EgNjhS9gpnyOTWdyt7zCAKR5Y+gWhkEsy62kg8bAL9VsIsGprW7HRnIt6o7ow0Y6VI54AgANg6zDBIbW1MbqmDj6QZqliB2ah0pSAegF8SGDGGeHfZvqAAwOCbU4oTO62az8RXhd3ABcQCeU25QlydM5wI4nppKkYwJQk5IlGJqojzDiBJfccRq7jLWgykCK8VoCbrbbNwvb7qIt4zxYoxX5FrXCDNvDnpz6Rp5vl3wyJwRKD/HWbuLS/uE8uIcSVkvDdOIzsLcpSFaonDkzOBgpY2w9vZdGrRJdzgXOaVPYS7LKLAIAUCftWwH/dxP8AAAABCiscCQ0HWISMJIfVvdoIm9nzN2iC7QcPboE4/DlcPR1CU9Dh4JmB24CpijPJEy7gdtLMPX6H1Iby5wvpno8mzTxVNsPbhoi+qpvIbQXcLsQqOKvuasorcq3ED9im9hAGu6GHuQOTgQimVSDFP5AArNUr1vJg5GzkGJv49ALi10S/z//hNV60qli67a1/PtRc1O4/8coCW/nBL9o1VeepzwgF1JCUCJUAS5IBH6jz5RVNoCAffx42uB3JZuM/m6bT5wFEYHj/RFg+nNiey6QFRQoOEcWMANEHmtitbJJlTSRggAB8JPCDPIe3Xg/xu8dxYlDFwrcT+Kc6k/sIUU6+gmdguLh1H1evY4BA5t4BcxEs/yH3IfaH3AOU0YZLA0V5bzF2yFXI9UuPA8XAv01+TQjx0T+uvjAeiKi0sKS+41qU6/786cJU75a0jBL0ReCCdwVKhJYBET6kr2ZHiGLu2+TAuT5RJPO/2yp9CICophkYsvPDG8VQBgbp9MGPNqtqgPsuV75+8LX4SaWnfiLujIhU/ZsBtg0YVGV8y1mDz59BvEbR4TZyqD7nbPHmpttzl2N0OIkvYhl0VDVSGYlbdPkQKjzk333RIhojFALfmO7t5NkAbUohNtLk4ihaPqsHop3eVdjO7xp8wYwfzJAZI1B5gOr2Le5fcYJhfm7zwA8g5sg/byEuKqjQCz4WTdtQ/cacHGvpz9FGqC+WE4LZrDHDAUNL9bX9SYzGOS4s7KGp7gPa/rhebHk0nN6neQ8u5cO/x4Y64w24HxHsD7lqgpneVi/Kv1LQBrr3cuzgtIBsD0ar0BGrpcqTi8641iOYSmTh2Y/+fsVMtMet02pTQfM8z2P0glTkNp8WnxmK4tj7gEQYYqMdTOwVdDNtjbAeR3no3o5FTyyGVW2t4FKQYL84jIUlB13AQApyzaavcRrlNGjR8GjI381txUFy4yP3vNyV14EHb5+9+ivKEeYXVTrv5I93EjS65CIn4IKvSEg2VXXDUVL7fdT/x9CAku9mcej5dusKKFoEDAxRWN35+5R/hLwPaRRFx5fwfNrpI8CRVfHQdc/71uOgX2vW1bMdCN7zQOBrv5DyF+1G1/RbQXjbxWQuH7jD0p7H24HnUt4hx9/piFPzNz/U+KewPX/YpDszVP9F5p3Yw+FNBjPXErja9sQpc3gVtVenuyPltsHN1vgIxeaCmAJmmtxqEQMGzcnnN/12uFSksyNU7UkF2QGUvuGaq0mtdihLUA6cL42IRJS9kqzkXucFdlIhebmLFqMtQCtCj7VMgaEZjzpXVneeEs3DT24x7uO2UaSYkkGCBfdoHoyukijaKH4/TmpxSdb/J/dNEaN20a1vyJ/OQuhd9o6xqmBwkn2hGfE5hF0j4c27Jg3P3ycW+q0KdVqQGYnL9+Ia+lLo4bLmokZZFL/XZEhZNuWnA/yeREBY6miOEsnCQKmRYLLIA2FMDE8IEFu6oS/sO1irrNAumbDZrgAAAAgqKXQVzL1ifay+b/3Rq0xmJPZ5glc+YfO36pwS9JRmbG8+vT0lSij98m7h0Cvc4rOhpROw/xIuMV8V6WFWBWl+jpcDYDW3GPtEaZY5/HzlaDre75bZMrz1McPDaMWawghZjaFwAu7TfVr9cUR8T3DJzptlTLeFwF52S/u2IBp3WznOoq58i28CrUNqOKjvyNlxqsdLrzw040fF9tQWOkxxWeZHVfZUV0TGjVNeNctZoHQ/P4yySLiUUwgDB/wQ5L9s3H3z389nhbALKZZn8Yitx6SQoISc2XtJy+W61dck08DNJP89Yg9nRhFNv7r9pDoJFQh0DuONP7qMDepiAPduw/bVdzgnPbCl+TpIS5uIWpRwaf8grb/BazaD18BqQRkjxveDQMSQ3XiDJ0vhsdm765oOw0xuMN5mjvnvdCPf+cKwbDSipT0frW4XH5QSZnnTwu7S3+AlS7DulKRlhgQEURQaFASnf4lmL0NwPF568hKqccklaynJgj7a6SDXsdU/wM3JW2FS73sodJ7n/JZdc1qQco/wKgqWeLmtH/M1vN+8Czyqx1sSHEOurOZdmXbbD3wCcrSAoehJ0nZsG43toYGig3C4umAjWUkyioIb2cjt9SvB2HH4BOFcrFyNLxEnnY47vi7WmtBeaQ7W5dSpoo1ZnnFqV3SVjgvhPqD7r/4pkzXYT7gWuHDq/E0/51TptiJJMsT/iZDSpLRLzQW/8ePtiBNlV3ObPAkC9vOuowpmE1E5AtgSSrdG1dkSpWofMo7Yr8zuH5iOxqhUMuvQA8xLTia1axzzWvQIn7K3Phn4ca03Dq778RhNqdBo+QAtkPPm5URHQUp3rtUZ4v9TfPbboQDnjGY7UWYNCcKh8DWsr8TYUvMYQF0eBBSEB/4e+VAylEtFc09X4hhP6+aakhuRVVM22jhN3OcmFuRf3pGksM0AEZ9lH2Oj+9C5NLnY0ccc+3Kc4JAYdp08ztiYbIhGtN232to4KmY7GxlNcyA6w1SfCxUM65OAAxpQB+Oy6QJxyeUWZZnSWNhTCqqPELg2+AAjy4sJiQQS6u9J8+n966Y8v04r/KDTYh+H+YBH4c4qLKmR2lYrbDgfzXKYZ6Yq2+fyEKZ6GdHpKdZdivDfN6wrZEFn1rux4C8J1UwkRemMaJ5X+59B7J2sayWViL3iEHRJsdGrTs5ZWq8kFGKrbqVyqPSGLmIZFESlj4C0RLVgbjCrgSl14UIbYs0wcZvzRtOpTU78GfsQjtIAMeQ0SAALRmL7arA9V7uxV2GrFnmVRrRN2Dkf8v/OfV9r4oXAn2hsMhszv6OO+n1NdIWye0X4Ll0X2v2zErjmMkAxG/JKWIi5vlGIRcVz/0AyTl5Dgipa6F3Aia+fJ7k/lmkAZ7xr010qZgTR4FJS3Vk+Y/B5ucJ8G1lgwYUcOBDlDXXf2cj+/ukEFEtC+SFhwv9CYprQCEkvmAanZj+7TmVo8E3To5Ch9iZN+Y91BQHMyzXtl+h6T3VfwVGWTKIH1LiiTWNeTPa1FWsfw8jvuNYQWlHhuC8hawGV+36/VJRSpJ6tmxXckh9SxvlrLszif5JAw9v2snVd8f1yx+/tuVwoUHsuEMfNd9Nk3GXuCOe0Ab0feSwgFABxk7naJ3IcC9VxcjMgcwc5vQjV7V9eUzkSCMYkJEbDeMO6r/9FdhCyp/cKveGAb8c4tZ9B11QFF4ZeHzS0/KkwL7KVeUJLlsfMcnIw2ZR3jtcM2s+2Y8Ox5a9zsQLUmGQYgq0C46X2vGAefvn26JYSX9oiOL5Gl3y33NeYA8X7HaNQD3NX6CJs1o2bio3mxp4qjj8CxvHWPqZut8nY7IAkycYwWmFHm1BspnnmEL7F0V37NeT9sPdGLFyv8KurdLx3E8SPFT9Wy6Fszs9sxr7YeDnp2apk+cR/yJhjZ4uWF9DM4lQ+VvW0pOzhlMY7DMvnVwwABRusccap+xtuzL+6hKYJS3aDg/CW5o2s3uhBx+FENXQOFGQoqBt9l5x0Tu8CNeD3Iuyl/WhctTdy5KktDAklOYCtGD6fOEmxyoUa/8Zuq4M7+bhuTJBHOcRpTYA3HSiHC64klO7uXA7cXWeGgXwqcifge4Pa+7XTksJlhmwLRUlKOsUZXeXVs48nqfl5fMMl0TY15NlbhfkKc5Cvg2oP0dJYUm2CbNOGiKgAGsNHcAedA3pBdr3gXRzbuGUme24qtNe7mtuZXRUxEuBCM+RiiRQE2IZBEZlBCLIf6z1pVoDFdVSJ7fEB4nCoed3skfY9Q6lORb9PIe9BNfX5T0sE0qkacZ22Mm2IFbdRv7FAy8FwrxuL/lNaI86qR0G1zGckIGhv+3ce638nwfCL2XZANSHUNYV4/j0MlPKvXh9DE6fLdT9TbON3hKP7Dy6cOusMvXLrAmK8Une2fa0wa5eSWSyu97NetJuZ+xx+bEH5gDXYpnGnWqBKlhpx50htKaTJRPh3n3FQRLcI3WJn3CkYB8rH3F/0HlOly6CRViREGfLthZV81CYd1DPUd5LDsuBmTK424kYSTfZCnOrjLx2f41pZvWtq834yLCr9/Atw8zqBrHVlnbB6KuYq9r/7/FnYBLN8L5EsSWEH+wD1nSr0RgsZ9WxGtSmPrtaTSYc2x3OkHPc6dP+yVG0ZbkZwQ3nzGtTAGePnBnCUKjXa4zkvgf995khgeiVD6TmloOF/uVE1QSz5qoGDAABsGuv8B6TH3J0u8KD+sKj76Ug9u1eDg9jadVz97pQgXc0mcDZP+TrZZcVEi1fjvIlUG1gZgI1OBPWT9/UShS3MN0cKBRLEp+rPP4V9c4gZt5O9ghjzIWN65npSosxDIAIlHs1UMcsmAMjJmf9xBxgKBvwFGKHTYCv64x2Ok8lp0XYl8kRbmOejPx3lxNy8FQ+ccM32M+8z2Hl28Y0kY1HFONAfAWPWWRAkNjSBeCwzZXrB9gRnjrDqYCNrwXHwRCz0t9qxn57tJdOkLUNOBiwOhOJzp1fEAy7qRtk0VHo9lAMVfn1xjZJCduBVgDySGnwnxiO7jby4N76G/19I3qch/9PZ5fZ7+P6bqCWASTEyN7MD/XlWHic03aGhSSmh4I6N9hW68gzBiRKUncUPJ4DZlazyzydGGhmXVTA7mxOyXl+viH3KJeP1JhQjsItkVWkRFABRoJNzhBbTs1DXjK5YR3HP7I0iwzSosR7ObqUNABtbKkO1xWacVKxWiFcTb3f3TC9M365+vc4ddIxlVA4zJTU9r5SNoXeXe3sjq6qPLb4nt4ZKvU2YsllywNNtUkWVuU8JGig1RRZcQpT23xdLxGCoPRPTTFFk2j73RlFajT91J2zVOBSWtxQl6GlRxvlT067SCYkkfEAmfLatpXAByKnqPnj2K0BxcjtLpAiNCEDMFpWSrFGAnW2rjWrRyUKBmhDYE17SlxMk06WJyD0JpIYk/DnTM58l5Ha3bT3WGhFaQioYcu70w2HJmfZMDO1zZ0ddSNdOeMW/vzwm6ahHO7lBbWizdU34U78iTWqXC9TayD/4XE3258nBRTcpV1Xu02jhHgoMAhFfW4OrGfzpxlTlFS7oMiVbya/js/WPb7YxWOFXHop9c+pnB7eEYwxIKbNc9BHpAKBlvXC8d00IdASIHs60ZTEbhe1BDnU92hRwUICP+xkgdXkQpkcvMHpOhh0dyLWvU1TzqGTaah92SsowQFxk57Gjvx9hd49uzi5GXbE9ZnDhJSleKOu/xlXdmcdF/STBH0upA2qpSfVlJfE1ayqh1WNNyvX3DQ4+H6D4MjHNaYviVRtOYHPQk5b8wU8H2BPmQWakI/upFGqbo5v/P0w5okBL9Kro/R5dUcmJ4Ope7Vt21Ncj0aJdfMesoMUu4Ny3CdgOvrpflp7JIdZxJpEeVZ78EExzpaUXMC7pYWHtJzgQ09JLbA3eCsHvHwq7C/K6AK+PmwRKz19yztkaJUKSENydCUdQKJjjyPu2CXwjJzUpOczFB4gjDQOMGoc7zlyE8nUwNQ0u62qlH04r72kbpLc/VEtANTTLSFx53pqBNQFjQjsUYALWVCLR+pxvr11zedPvFnbsoFGjzOwXAUylQCFWHL0WRUzyh4g4AUbLTUSdjpLHjEJY+Jh1jKNK5n9z+IsjJio7Xrd7qyD21BFInnTjpY8EhxlpwqWmW+VmZgRNdiys0+VDqpS0xZSNxHTizEHDLxGtD49eOr83jvqIL092Fbc005V3w3NptFnI9m5VFVesgb45aGS9LjL3oiIQ566xvqOf34xkC0sYqBSoy+DOD4jQUK7lmJRVlpZbfEmtsVPCM3cYJ3WaWhyw+p8dXskmy5HRoKczAa4ruS1TmGp/AT6KGg9Ex+PGMOi+fGpM1+shtmNwFnCzL5SNpOM9WoCR+4aWI3ioAF6IfU/SZMj3VYmk0NE7qSsxlCzmbkVv2T7MATxigdsBAr+/HqnO1LavIrJjrzVFkeUnq5VIhvpgVLvn2/PAGE10ipP39Jh5K1auyirwTqP5IOJRsbUI6peiaTz0/wTLRPjKMsBgJ9va8nYG/sOl49/cuIsfD0Td/GCfXLS1zNdkBK6m2ZhxM26eV8BWbzfGDMaxHUkcFP8HSPIuL7hmomYV2LOgAVT/HTEP1ef3JgxnYewLxW7vBIiCE5SLTfCBVz59IOLlgG0nRYugCVp7OkiUWjDet5PzkHzhgN0vbVgw/BifaAp57gMyeU1EqyU7BjVXcXEYosReFw/AAAACo/0c4MQEHHDczjwsz7LntEVHjQWPmrpvGa687YjSPS0eD/2HIlKSKcZ1uhl79lrEhgPVPic6BBcIUJ3kLDG3vdewiFgfeYGSare0+3fDEAEZIn8B5vh8CAPr+4BVSVhPbz31bTbZxo0EqPD7gAeWHtkIv+99OlGUdZ+mxTgrldlUP08UwQE6yW1dXSBwgrJWAAjoQAABm2S6UlS/l8w99nck0YvqFsnYeIgtbnQjnnBqIWG3yC24txhQObyRJppVSn0Os6CnxyPaN9Lj+DVrFFW2DsnpWdvfPEJEIfSAABFZDXX2dTL4ibFqSo5VGQigWygL6JKg1lMwmJz/secpd+JSlh1samf+CdM5i9nmVutmCqwgmgf49b/QwAwj5cCrz9HQz+RHyraZ02psJWG05IcZUGV2I+MAnlPoxyezUWq5PgCQgv05sai0/qGhL7z1EKIflHYpmkrl87mRmYb9PzixddjvYKmnUG1xIDbu5FalCZxy1BR39nD9G4q0LibdrsByZJex4nRVKzgo2vzUtS/Ol+TQCc1GIiQpKxhY8gDCglVTryfQO0hAqI42kWAYpVT877D65CgNgAp1D/OqKker+ls0AWZY1rapJsuU19BvmwIBWJNF1TgS54DIy0wicbZZZeI6opyv+OwmYBlqdRem+7ydifjq5YhVsNHVDg6OYiUlJdpddNlE6Kzw4PBxSpFwkrdmTExXqEAlHnoGebUFSyjERFtqxepWWcHxE22zpZOcNPMve3BUXVOzVwMhoXTo42BEKBoLPvfPDBbmWcACQ+vXd97T8kpoWtKEvX/vGpW9szR995pPgyjGom3QE4P4/b/b7LNekek9sUJUXH3iUVH610RZUFkg8FZOy/haoxJEMgGaHcw/QD2+R1YI49n39raj+8Q6xZ5Uchyk5yI4nCnAn5px4vaorQfItLhIpg/OShpmScCPoL9l5xLdoGCMhyJc1wXgYdcAAADrixIOYEu8KuEsEV/bnyxBzqKc/SJ/KGgQaucbD6d+YfM6p4qufWnBQSlkQcetVXt1wrfhQL5MwB3Cf3akfgqpFWKapQMWNOf7E0HrzT/R29VX8kfycXJrGdkB41d9YUTP8ofkf0nfrhvGur9ukrq64HznqHw2paEhhX/j5yWQUmv6u2xrTEJSHZ1+fOCA6Zq6TunvumWvk6QTUdWZPXBwufYY968jYsim4jLZeC2EvHD2mm+u/+Op3j8Y/KoNnNS8sV5eWtmZeOGlXMnFB83tfUeudOcSLtpA1CaxOsMO92R02Qkvvu47mHE+Pedg5gLDlIJ5tSoyUXOvt86Yv6D4Ql+NoNTDESnhgW2jOSKYpjWCrw6VUH44lC3XmNWsyl++udIELtSXxz0upE1UmuikfIsgKX2XhRNgPhcGFrlUszRhlhzsdwfkPjkpP+jswQXFZqAtu4emZm91S0ThHlBpLrqQyrvNHsLVPleMOgxvykdyiBFizWSI5EGwzKvnVDIPa//aWVS40enfd9ly9ciQS2uqzJxA1VmJPAuILMeJFLWxHZmKh9fKB6kboNt9EVUMsM+3tEMQBueyDI5HVkEvNTU7hX4EimkMZDIb82kDwltpFMC6JJM20DC0EcG8Kao3UMjBCJiaVh7BNWzrRy5enuo0BBQLLnJNe+iqf1w2Ou6tXglU73tZAp+DCJBI1CI8UcUjslYrJJOF98uUsaWvOqb5PHxv37IFDjIkrogLc5FTrEv2leZe1dKE3/C9DcyAd57ak4t1Lx3TVxFbbvfuOklR39oLXsgn+1UNLaTFp7zcdiFRn8BaIMB3yrEzzKoyoaQugYk8Y9vOvvHzpruNsIvgUPK3/aEYyu9NHnLRhsLyhKiQ3OMdBOIJbz4kfieVqCbTErNDrI/IbgGo43WdxOVRLqBG4LijhLJJK5nzBO8fA41fFGevc+8SAVzS24gXtKuHVLlEa6EmfsxpMCA9kztaudw/G5Lz1QL3xvh81ixPp6Gh7bcP02A336+TcTCIdZPRxP3jHrPrx/GU2BVMefc4cWI0NWSTFu1IiugdfqYYa/Csrig82g44/VyXPxq+CB4+BhQdZ0p45f+h4g+jJyoDmogXwPuqkjFzAEOJLqnsbLiZFi0WGJkZItBHEwv7JceYMtGYw1ZRvlqVZ8DJ+KyWnVwzoeaQV5pGXI1GEaYuQ63swbulJFGMaFX1Ds8CIZEjhXjQ90Ak3r3azSUkBTb+xee+JxPz5onF1HB+Gal5UN3TSey3H67IRAdkBJP1/F35Z7a7qExOo6w9aYRQkjBTp61VZQqHFWum1/ZqG2CPM7mydWXvLuxTbY9zXanStrQWfd2mQ33Y3+rBgfvbMEXY46UosID+xyrdJyRNdQrpU1DowBe2zYxQFj+lHHy4xi6xXM5oy8sU26nGLQhhotDyUq6Sqp3faK/uagTreJH/xaVJIUBTfGEHrj9byZ4uk65V094d8ySrcxa/BO63JCkRw2TH1y5nJO3W/EhjtcjodClUj5EMKvsE/PFubDDyD+kfT5lpEjXqQdOnFxLTf8ORSCFQXEVif4SeI+UylyMlD//hVpZzbDz22UfnYGBJ4o2cL7c2ynWuozSKGhc0fHo8qWrOqMZ8OQUagMhOS9Ei6vGw3dTUcLZ3Q1KY6SGSm9IsEQrrX3fDxd/mP5ocuCNLWsOW8W28Jn6ybMHPbTvoQzuKQvkE+CCeFMG7NkswIELyBhNna2wxRcUt78ULatNH8JhMKuasTs2oFlrIaQmPkeWpF9nxUip+Y5XDXvHHD2XQAMvJPmIMB1A283BwEVodfzovmV59tFskggoP2OZ8NH+jLKMTRhYuxwCpFBfpjeyRwb5Sk4weRBbEXd1isz6c0HettkUYtBiza9dqiKi9KilF09vC5qXVjFnXG5hvKNFNI2Y7cShglMEc46+Wr+GdpNpA//QZDN5EyCzJKuFHVcXrvje6j1kKmuSIWkq4KAES+aqjtGZlAKI+pwGfTquVY1H5lluGfWY9Aa+Eiapd5+IYDedk0gQwTW/zJZIxLMN61Q0+hypQh1ARdI3IO3xfbdYDtIG8DK6HAxZdl+7WQddqjFSoDjqhyOt71cpz2Kue0K5eMUeneg0835CI98VVxgM3HKzAo84gBO6Z40iIJYGuvUt7NI0ksTDh+XJvxLOHeH1H9G0WnwEZauUzKC9OwZhNAFlcFA3MgeWm6nV8xESNQsvYdLC8USN33ajTq8frGbqt76sR3yKGU64RAmPagqgGHcJlElWcH1f6D9ivmbvSxZF1ly7wJh9dlc4qR+CrTDR7Jv4Je+5Oy7FyukLZPwrrcXTmugHaiimHZ80MvyPEwMRmJNBa0vsJUz1J58mtKrL3sUYeU7gvdwQicR2kcOzVjGXFwfoAkTc3sna7QYk70rBnvheVLdDJ02dG584dWMhHREHkT8ev0F4DZ1KukqsTN4o6f75G312SAaHsK9EmWY5Eb/9SGkYpoGsPFS7Zy/ufDE4f5sn61nEWXCqyy3XB5oW2a30kdfc0CDiZFW6FpCGSWE49YVo/eUs7LmnkhwcsEmMIwWsJTdyJBVzW0blYTl7LS6V0U+B6Un9kHOQgSBWR3driMB7uMbfaPH5lJ1i0scvEuSVjedEctRp9W5ZOFvfxpCfXyhh+VoL8sJM9rZkkj9FkbFBlvs0r2iFOVDiswfE4BbnzRhh3/7Nu3a3zmvwmaOKkjqTN5eTE0cztnFTcQ/T9KF7DTRdV+m08LIGyBikEYC1qSmV0MJZ9XvsUFBl/NL9ymC3dLkWfoRvONAl3liHI07WuGrGwCKG8WlXubxGnTvhMU9699u4YY+4lFmd1Ue0SMtPUspbByYOApAAgc5HD9VhX4DMjrKco2gdB759u9p3iz0XXPjAEFMepEhINog/g0gJQ2vdJb9NYAtzowjWhCVp/o1TMm6I0j9MI0tepEMRJMDJdkWnWliceoNdYWt2cibOpowSI2u/6kHRcPIfckOQSgPNdjhfybknk5mKdpf02qVUZ8T72AScaDXcnlU7pkv/CAu+p4tEkJ1nHc+QE/MzKdcfHoEQMkdOTGJFvMCIQ2PKk/zgx44w+cLa3CbQQyxLGi62cI1AYLV0grsE3lVx+uXtJWzypV0hmIOQSBk7GMDbr9xWBHyxl/Y/Q4Jbvw4bgrvTqHag0hiPRm5GXv5j3BLGjFxw6sxL+2N5EwthZaTyArDm7wbTMN4ghy+bUaMSWHkWPv5fRwJgtYjySeZY37kXbrORWoKUNWYucD6XGxEPzxqSGIU5SN0GLn+CymMXHi9Z+Nt0boXjh7oW+7YrcqxFP+4HP44PmDhovQYtxG03GGGXiDc7IFtjbariResAuOm1NqfLh3utwCglda/aw+DpYRii3e9fCnROR/VS6MWqLSbLEOS0gd7Pvf+eqgir5N+pR9tIbyafFUUhcuzSZtnXoRBVjVgSm1osqukeISowJjf/Sb0PEAs4QLWRzi460ffGSk5aHfZkHqotRM18cUMtDVo0lzojaOx51cM/IyHP8Yi1QzvoX5Z74NsbPpwsC74DTXXKIanmqr+DGXLRGMfeeLcM6R6pHZchE3xfk+c3dbaFqPM3E1LVxcz3mxUCHrZ9q76+0IheJL6Cd8UfCpIAir56kt7R7gPrxCgTMzvtD1VVnZdLeueq+ArV9H4yDETdjI3Qqr6XwXIowHKnqUQaC0WZGPbKPqfbljlzKUx2ejRtlr5FspkXD61tTnUfghIVqbjFJLjlfxkxsHwSaTkr3h6PwYoulJZ/1re8G0cttl8vJ1btf8QkgFsrR7XSjLlNBcED8t+JboYxFh6kViRtp3g3/V3r2gbIZd4zA+zDY9Qm4cZzQYJR4zvpLv42ozEigW24Mm+zE6piZbkTZGhNN5UVIiB+5rVCZXCY/acBVgde6jYhPnOD/O6C63c46QPBW0een46i/NXTg82BAnQEgVuu7ZtwlhUs8/3YjiP/1Z9r3Vt+H/oWZu+oF6Fzuvz0KF/VB8KniTkDZNpR/2nZU5absUDoy55l0TXY7gEXZOKZsqcjnLAWQ5PbPbEIqAKkEI4bbUD1awyTUBwJwvc6+NLKp+eNAv4jV/AFizyrSB+hceSbEbmlVoc0bRe8rdC0kCgQJXcpdptIYkvEXxjUPiJGz0T5vWninZzomtQH7rK/5kMFCoRU9B8+ux3Mthm+ZsuPXOhm8W6phoutAqdSMfnVgrLcEM6BsRudct1QUGYSfHh1TOUl/5b4rZslCpzES1MIZ9tzPidZpUMvQhAvjvNUHk1rFpQ0fayjvcpBuFZOJLrWXTlZTujQ5VHegQamckSn6DMl/dyOay2GPnBVMyEdDamm5BlV7b2V+N2tSiYXpMQCVMwWgn8fyOECpH3b2PheOCl8ioRuDpkT3PLQJDTit/NUjbBAt/GDQHWt5KM7weOXwGSHuo8sU7F0l07lsZDQ0g60NjwLXoSw481Ryg9pyAGqBGtvbFlQoTnzfgjfRjTPirY7fIwa6PuxCBwIq6K0BA5kT6JtH5tgFT5Kq1TcB5lwSP5RwR3PBCeLNNLgsLIVrHsCFI2nwHS7r0+57rHvz4FZqZXZcurRt9qWN3KEZBOXoDBUWTJS1vBmJupqLyRxdQn1RzW7E8rIegOLsMwEeQV6frbUCC/Mxx0x3yT4ZzT9UyBJ7gWG+exgNzBOqU664FNlZ0sQFMEUw+cZkVCMK+ib2HeugMgSo816SDfAekXTgwsOztjWsPLtB5msmFVH8ExNjd6fqXdoTSaSTH2Vrd9G+wyEWG4ZpsIMblZhnUl/yvdI0ikzS5Fdecbg9dRqAnF+OglwjGhWGJCA6frnDACyvBIqf/Iu8M8U4kd1sP/pTPaBfQK6tHTRMOiO9tcPMkW2nXLUfKlfdryq9Q9XeSkgy0qLpDwJYWNacSYXpormSRXMk0mabGIkIXVeY9oiHZFcDUHUtgBflM8l/eJ5U27wWyN0UiGjLAJ/mRc09RzUbmWk1bucJCOltrf9ZY6Du0HUNCGlwOUCJ8LsiAxgZh0GlC7BmriC0+9l7M6niiZndB/s4pYYxIFG70ffN7qyj+osJKCQFUcNa8KOxNQTND3+c3VQZZJOa0P09SpNQgiKZjcqEUqPcn63KOnFbLvoxo51q6gZolPa+1/DT/wEFwBZkVmQ82kX6i49hw35ooPDlqEXwWq2mPIGI33zJCxiw24qHW1ztdgBzEjqcc/MaHoChZupNzrjkLQZrgh+M/Ayn/Z8bwKd/pH1JCr7d5UnzVFmL4pAXhdw0lkgGvZs1Ikv5wPbAyRa4JRx/VfbI+N4FHnHnE+yGuEEbQu7g8g9bKmyCIWbN7k6iE+sQ/3/hKMcQFaK4n765IJ+Z/nIZj0ii1AmuKOpA1XmkHL8g3IacIb7SX4SGLD1J03hzbny/uo4Gd3uAMwBdIEiHabk1G9U0atwYGf0sRSWtdhC/kA2R7zaepHq8ylJieZdIn6quEEPZDCgAgLMs7FBLD4QlxJcUh3gyfz2J0qDSh5tLGU/5nyuDFVM4KAqHpPfqQUQZsQlxImXKKlHVEzLZRvNHJaxpJ43dxEClE5/IY6EQb3+tuyLH01vV2edsw6XrCHnRHf6yKpw/ZXG1bdBWCdSUKkq31dud2QUYG7RVxp973/L1VT73RZ7HCKCmVPgzjXWKogTzsXaBtHOBK7+lsdM3uKPkT/z1kp59XwukdYcgpMQT7WNfK5ARkrxfCTm8Mb5wvI7JWRh4mCmLBVwMCAAW8lai2DvDr92Ub8B3ySEp9qlGz7dqOMdy8CCFY9h/pfeg27E7kWJbixWpeeQVz9mBnIke7LTr3gBGA6qegcA1R9vCtSWOTnQJ82U4YFC1gJF9SbEAK919piPzUpsVGbTqOlo1uNdPW9xm0soM3evxem8CuLLF7wfnkgiEOP5CV459NFWrSM3U5OLJsgESXO0toQO2DuIjz3Nv+05uO8rox+UxkcrGBQ+otcqKp01GPJi85CnheKypFGPk/bFMft40n6sblJLJJZ+agcPBxCY58ggruhx52QISef4Yxj8oomd+AlAf5a38TV/zle9mex+ybT4Jk3xfl3K9ovrZtDvdvV+wjiRo5V/EJ39kGo0/PIBO2dm8Iy+B1pCcnmU537hEDhbvD2aFnfebJni5UFBkJrsVEkLPojIEhRlbMrVZ+MvkqhCOf26VCIII4zv/VV8EmuNdd0xyAPLw//9+rkAEnfBkEMjodXZ4n0a4ZqkkaMIjsBkesGnFeGApWeCAIYsdf8H4q4hisUUsyQJSJPTR4L67xrbtWsLUjXswfzl6pX060rll4qZbtCGV0tivU0Y5EQZeryWxKBanOWhasNGnAlSSmbX943JeKOOGDF3+Gc1G9Ybbbkn0C5BK47If3jn4tegFvdG6jp6In/qz9i6sbIS2hj9vPVcQFxWItkr60OHl/IlauzZyt/TGzAHXJbg/OQgorrs1+C/g9I3wWxQ1RwowLz0zwfkRGGN7br5Q6oVGZnVF+LVxpa08JkfOS9GB/LRgYDYNFKXe2868IRWZ06HjDgK/K1KMNlX3+KPiy9a2oepSKnpOcQzHjBkf8xDAw6VcF+YvgxeymDgYnHS+o9wU+AsAy9QKa8VpWERHotTft7Oa/iY0zG7KNf1F38F3h88MkI2gaSiXTiRO+4wHWW1mWzq31my9jXmpcTa2IPCPrqfq70arhaI3Z4vAa4vx1F9QhWzdv2ZDImbLsSig+O1a0iHJnhmEtu+xmgoNWRduC3DrBqK4pHJtuxSdmVBlhLt7n6w9VfJOnvirSeWDmlcPYirQAdRFFVXj/0jUf8PiZEegVSpE4zsZQkOluPMCXYZr19d4GGw0j5G14gU5jOxFuwFjTs4+qhpr3eq1l08gqgLuGMmVfadjb4BDArlTzr2vXlqW6gBa9Y8cmn0cVnjENDLDTT3oZnGZhpHQhsbMNmY/4BZsUuEHmV3JmndnPVNWcl2TE9U7Wa8FxQ6kt7OArBmmMqIivTzO0gBXHTPdQc+Q6hQpkpx5I4+NZMi6+So8abE/8jZDWbms9Opast/2BdZ38Vi02sYKoXLvNROyvOWXpFNsZIKx/sHbGdaVZRPwZ7sJubpoxSDcbbgAl5vmwWO8TTjhsQnaEdYT0+gii/FEWl7pMZWDvIb4KAaUfGJQWdSGiyP/c4zbdQWGBYIa2UqK8ehIBxTVRbTf3LiSth9MofvAoFAwVygyTec1VoKtn9Si0v2syqNeIh0ONvIABT+mNCmAwluNvy0BtjqaWddRQRCWGwDHH2leHUiW5SYEPJZvSd8X2nb6GYMAkksDos0E/F4d1SK7jaVpw+BLeR0eisuWUIhbZ8AwB9kOKU1UlW6QSo+V5q9/w6w7eDlNcB7yiKjmfUaq2+d3Cvg6l5NJ1Qu5iRd2PTBLpZnvBpXGP4+lF4dKbIxyM4CnixjSxFzJ8tBuuGa4iM4oS/FJ2/utIkqfLu/zWQRVtiEU+3fpKV5cSpBSDuBCOcsSs/4RCvsst2It6AWEOhm+9s/vUpmen01KTmuDa1Pq83AjRyU8WSKHNyhPe7IbSgZ7Pk6wBweEvKG9mmgpFZlwH7Bzt/Xdm8pH+KhNoowrqAtbSwdiW61X7sRKqNsdFMOe51S/UI4V7+BA1CYhWNs3+XTxZ2zyzdazxoZV4GwNpM+WCEOipVFZjwB0i0QBQbszRDF2CpRnqH1gJHNcjUI5SD85/VM4XCcq1Aem6bOPwUmqn4IXt26D5dZ47L7xe1aRfM74ua03tQJ3grGVugpZnY0AmDjkItdKGVrx/eh/dTUMPR2F4F2T2CpuUsIN/N8yzOqzNitBN95smB4lsB/1O4roM4GAf6CKPQaZTIHoH9t5dYEpzaB49sGBIcY/F9CPKSc/STwdP08c7BeEM8chXnMdCSKcYZ3VG+fqWyWpQPw8xGHO4R9JpVzNjKrzNhG6TL/06mRJWkcadIPLYX1o/EqblDSiyi6VhVx2mltUUaa4FNT3gTk1YRNmYTESYoX8BRuRk8hu8H6wa1PfyjpUAPxtnOZDT3oemIc6n0qCAWc7B8wTYL0oi2YQwEUlxoqgD3oYIRF4XHpaXPEFannd0aN0eBrhTDCvCKhyfVjGnz/FA7X1tDjyfJ87YxnrzvihM/cbNXRjGS8vRpZ39j6HsSXFl/ivpqR8z+anSQoqj97P50vf5INdIWOF7Rx8HZS8u8aH/OMSeHbb3q7H3OIdA0cU+MwMVEOr6AdOKMuNSwZmSfyNEga5jCZEfb7pq+jG6auTQbkkWzRDNVJnR/QYwHWzJ9sMLe3isWmtylP7xoDhRrjENDTTnbOFHaHk4z4rHbtm3zveMqI6kVt012Nyl3usy4ZdspK1UsvwqLtlRehCW3S6Hu/m2rmjjqdtDGUFA2aKbroLYCkKXynmSVD3UvPFwJnfA7ftg31HguL5UZ5QoZOyJ/ru1r065KLx828nfgx5SZCOK0WIuz5oA48ZDkTt/H115SqSh2caRSTRCvNMrcqF++tGhgNdnAmIbw3GJ1KJBSeJXjLNcFd9OHHMbmfNYBG79z3dpe8H2je+MresW01jET1CJ0nVkB1jcIoiUfEJ37og0fJaVr2pemyxaeW021BsgRqv1uhDxnWoZutj1SVe30YPqyuAVCIwrHHSsH9XcB1xb67kxXnVq4fQ3l5Y+7CchkyBQbLRSJrfwlwk39PZ16z2RwFViXed20sveZK60kfnOjVQ7+ZIt4GXjsHzPvKtERoj5SY4EVReHCn3Ax57QhoXfjD8AA+KLGUgMqov5d/zVtbgOsNdv/7csUFcFuT5yFZVGenGqXco8NcIMrkivwO9FIPxVqpw7rq/eX/WtSF58Y8k9a94Q8XRJz1/5SbFVShjYZ4UdinFr3exTtZvraG3uDlAvY+GoSzFf8ANz58hkT1SYHQQZt7B2ikYAx/+K07c3nE4WsAO89qgr7/u3XZI9X4LPEgJlUl8OK6K22wyFw0o4vE31TFCwqTRHT+LxJaUYPFyMGKAsQpc8MpjMVauMLx20qWUfeZ7vBm92iPc9dp9MN7Uzgt1G7s0kGxfYr5AhAJEdEO2Udr2Q99mE3rm4kMks45TXruNIdn5s8cVnuHYKrdq6rSwffqGTYXBqmnyp92Dm1w9Q67A+R9ZwlIe4YZ5swp+HFlzfuqlynRYb8HWPoA2U+D+uhdLYK7BWPLZCUiKaJ4U7b9RuyNLTZ6Sigf4G491QLv9NDf5PBKffz9cVOLVEZLYMvTlxyp8qplTb65dmEmWWPSHSIZbTG7k+4VTX6qC4tMep7EQr8DdUlzu8aRLxWzDETSqLLbOlpsXy1lIXdJ5DdkGmctp7fIfRi1SfR+bS3YC+ERsP3AhZ4aqg2lMyxfFdiTSrjFchQGXdqtj5DYpQD7WRDKmsCdWPHuNhofxWzUPiX1KHA6lJtibWMSnXdoMGW04wQwwDtINFDw2cOdFx/iAr6iXvJQ1SjPlr8AiIl1GEbkD1pGOMe6RZHhtLEw9gc599DUE/yBIZlCw1vtAVbi6/PnuuaE7tEIN/5ZYQaU/UJOMs5m40Na3Xcckyzf3dAIa/zYz4rNNxRYgWrBoMrCgUnHfwOf4yHo+ylCRwelDc/pnBX99FmGn2JT7mWbi5ynpUlnYA9EHEwK29O8JpeqiBJ8RdrE0j4Lhpz6Up+S89l0SBdXpL+fKSJswAtuYG4avFFzbnHsr1mi9FxGJLHGO+EVM/A8chWevQ8fAoKWffyX4Dl/wJiTrf+tb9i7SugZE0ChBKLx2305wsH4BzNoYXeev2tLkfZ3rt7Zg15Sbvcxp1uC6nQxN4geXi7BXwvc1aqvOYyLndtsalViTQlNxgZf4zh0PQpaDQj9tpZEFP0Oo1ET4fodfsgSqUDdM8Z5UhH/aaWL4vRCy7ffM4cROKGgplMJGlWmxuUrW2bi8qvJYnUiiQ7ce5S1Lq0+1DO6ciGBKKd0W3YEGJgyGk+zlp7z7VZoYE7+Da2eQpJh00khOa/A+qM3JaF0oRoFL5D07tGZ5Aw7DJwAgDlQwQ/7GjdQ7MTok4bxtaMR4KhCV6alrndj8KYvPuf4QHteTP2TVmbCnzM9b6Uc27Aa5+ajQPpsuJw7wtft/BYEAMTFbujrG4nktWndmUOMDXF4ZjULDe82yLKuZLgyzYE2wLK8jTOgfm/S63XAF3ZYMPW7PuSrJcK6u6IqjzZ7pESaK1t3TQnoDc/OQ6saJg9igEFu3ZaCZBdOBpufLNuxq/gVTpECuzAdHELNwhxjN4XL3Qf3TEIY0E6YMkIfJ16krpv5Wm1WwPZAx7gNuD/Qm/EbFgYSaWhu2MoZPhE0rppg9m+RcIcssz/o3vjF0jApwiywIHAnZ3eoi4qJLTbfu6LohXtb8ubiX7GXG2CNrPwpHKmzPPBem5AMkhrlkFOVI4x7ZALV6wEuOwPG+JaphVF3sPzuflIIMVLa3nLWxdgJv6oUlzJJAcrQKXWVV3itXHr3F1AgR7nBYgsJsDlpivwXxjj55KPn3AwY05glprHukJ60xHZtMrXEzL/98F0br5Bgd8DqTszMrKF8By3ZSejIjXcoBNCCBDtLsOGty1YF0PBYysbKGR8+EkNzgRsh6gyKMBpZ8WZxvLiW1tl/VpnyHtx4xe7pDoHdo1o4pNB8UUWJJ89/96NryskRGmRXOl+I8Vl/5KGQGK5Ap0Dt+iSrP+Ws6nzCY9Wg2BnrqHOdgvC5y9gxZ3hy8aeipBHl8xX39XAt0jq/ZbDfGhTCueil5b+Je7pzkE/aunvMJYpbxqyZuijkXJl06DmrH1dU+Asi7LDBVqWnYp7gnYk+Baq3afNzRZCANMx44sCLz1TCC+4i7Q7+ivKFC/HVZlGMqhu2icW3JDYPbR7FSUw+9Kcaw4JlFFtf+z1v/6FBfVYhiKcnDxCLVgjDrdSjfe4O9Br2AXgvJNyoPppccvzj1W4AOYLmFFWzrk6pPB5RkEqo12h59h3JepCnUhN9v28oyqwM4KwC1apPeggWxBwLx9BYICf8/3TnLdZSUpsLoPFtBpvuyH9MMNVznshK2ISyCsBj1iKntE9K+/kKy3JwZ+v+FatYKzLqzJbUFeKyWUSlwqf4lKyBYK8cQTGfEe0c8C2+Emcin9SkzPl985pbM4z5t0p3U/WHyaOBWD+qigrFTaLgUIrdBZpMlDtqUR0sqgU+X7Us4ZIeX4L1PQc3oUy/pSyN8E8m4uOjMV7FiZCW5SrYOMSI3SIPoJBeLWFZiglbJeXFXJCoMY5Y4XuPwA1ZILXe771UeAnvvV9qh8D7eX/GWBTaRxwhU6eWw+U6f5uINTwrCJoRZY3UzVQ4Cf4E2lPsp/ZY+aBhrOSPwIYZmY77/BPFj27MXQMfOiHvPro6bgJx7XfbN52Q+CL/s2A6AvD+z9ViJmz0wLQPyjIu4lZ7TWAD9PPrqiqoTlXf26qA2ASWat99xqH5oerDMb2SJOaQWgvTxNHZgdMwX1Ju1pMbw77cW50/+VZCSasJ0sAzU+GPRKj4MS0WjTUD0CFCM2Y9Udl/1z2rvTteU7lp46LK0NrMFXsaZ9YzZvK77MdIjhsZsxAQ1lhsNry/eoV+O6ucCNH7tnHBsKxaDgFEnrGPpOBffhgIm+1LP4vaiQRK20g674XSC82Vun2XjT/zsW8GDVzF0Mozvj4+LbwZ0k/uOCv2uH/hBRQaGvIvQLgGHCwLyBE1vn2WLWxrMwp1DZYh84Q6REbAzMNnSbmQFCYYmXO/62ZQYAW7eP/XMiZCJzZrYwBj5ElBtKuZzqR0LaULylmRIgV+SCF5CgPzB/iCLb/Yjp5ujKvzV/60ixfRh+/7lZf+oc/1RByQDhrWJaqIpXeFrSXzvuPDiNbx9x5ZvPVolM5kIGaF1V/93E+YT6bzIPmff4Cgx/BTQ4+oJ3su2ex18DRiAsaFpE39uY+LX18AyPb/MtLvqUOjrvIW12q8GlqnsdOLL6+ZFezW0VXIKsyXlKahEdAC0aacedRqK7GocdODNpPns548O7ikH/rG5ioMCCtHyQw1ZpvEqiWG/nuXwX9EMvm7vNPDZec4XM4G0qKC5zwKkEPDAOZ1sriPu+q75ByjLeCBi2Ehf2GgtMyYyFhq9Epnip+W7dt8wcQPfW+fs7vUjH1MRrdHAQubD4E9uVKmRfxNVQ1nLJIn/Jv6D98UKpuk4NoiEl9O6TdKSC9dL9Cw7oprzkQLVR0k/ubI9NpcXIQUhcGGqgLCWhYw1/1oAUF1ZcFE0OgzypvcnTsAALUuSqb1aMR+WrxDIGFjSaCrPTL/M1gFLcuxjW81vCqy1r2nhuDdfV47XBGLcZyYueAKcLvGfurO/3uXYsHaveCxdFoU9giVP94KFC9FPe/cgWnXBef2GX0Exebqnc8cHfzHTZM/2VwlqhvAfG8SZkBUolFY0SFjqDFCKwrZKGd6ODm0c5Ufj3ZHbGU0xfY4IEvDYb1e117JAJt+aDy/HalWCTYfyizua5+OQM04JhZf9OyhXCoQU6/pSFWMjKUvueG19bIwuMIRcjts4lohEwT2Uk5Wrm08szE5o0lsAFYo6YdCExUqQkMdpxUo2n0g8DK2+wQgWKmR5UzAjza0GQxdKyawJ8t9CFn+oGyUAWFYF9EtPZNKOiSh8Inc2jpZd6l0tNO47f49WXlKtZWCdv3ZT0E4HXLQ6OGqRYBHjIYIZw8x0Fhc/QR3WGQxDyJ5CU4geT0fceGp+SxMeZH9Q1DINnf/eIAbsCn9e/5rIigIhWJZzZTKJytb3hMwFhBovx25CTOmhaG8bxLnxWSsVujUA0YQZxGa2G57zwBk88A+MzDtdpmlY4ZO/pf6EQNxQlpE94T20rwhy/6U+0aLXm18TO8lc0Tj7akTmN2t5SO7ll0cTMwycYrlt7LGgsAA7rBrxhQSuemDdbp5gWpw9u4zyc5b2ZPqMxAyrhP3dcOpl8AClQf8shX5Hky+Qg/vMlXH6kEwdOHUhxAj8kaTroL80aVbwaNK0YDxbGWgXzBGwGqd1U1DO0fs5kvAgeOb8IAx1gn9KeQz08+QPrhpa2Fq4RD7E9pjc+T1CF+0QVR/7U6BzmQjF3xz5c05JUDwypctMjItBUzhD6+UuzFmBznGTmNo0lxxcxyHu2GA09SM0GQeFDnjeStgk2UkoAlfMIFLNyEKJN4/KI7fjMt/izFV1tKzr+lY+v5uW1jl927qUK542XHYuGPVUoHYmtHlfhxRk8arbuvWP60SrMBND39jBWEaotirhAwH5ycPlCfsruxpp/phNFGPzz/U6bwpVCI1DyWOSh/rx2Zbk6JFgn/B3jFUOXsvTbls3d5MbR3y07D7fVaRivXm7OXaAagMFABxf4w/cSszNSjzE3YTIEGil8OyX6g4gub5hY4Z8qhdJZi3P8mEUVgB89YUb+qBW7KioXuZGT/4tFtEuhHo1F7/90/KaYSCkx8aUK59JbrnDkcRnNh21jJjrjo+E1T0Bg177SEfB/V1GSgAPkFeA/+KglfXyEhlXl+ysZ3tdlR/9GnzUccZIQ6947LTD/6gQMKJLTHtxLuD3N0CpOBp7/qe5a1Drv49pTQN3c+m4l1tcOQGQFqidld0vmNSHXZKdsmoHJUI1vmrvQo6DkSx+YS15zw0gZOexLxsuHC87wuQzUq7HClQcFEQ4ppqGezrkd9Skb3Z1AVKEtKFD7rCz8y52eEV4XnyXUUILsVSGrg+MXRtH8NmuRjRTx1vVgqS/2c2RTrXzMfyGnK0xeaR6sF7xVRoL+Ipxs21+t6FmwBnQaArnSu4YHyDiXdm4la6N1JmMVM0jk+k8V5Gdq+pHBRHRm3DxGpNwQKhGdAT4tyxccHu4TQJAXxj4lc6OEuRYsXXTWDRe9QGO4RXaW+gJPLPGyWnr9qDnHhldyo2xU+SmSdHQSaN3pT3FVW2ijzdzPYsxm9paGWfpIUB6AKwSxGaSRkW3cCbu0mV2wJgkjjFN5XxoKx8wGTsEfvAYHaq7U0Ib9L/6DjlBJ2wLofi1yiQ5WeAbGwuFMXBUSCamYZe1KhpLVVFuoaDAwj0pwD7XQRyNxkYeoo/jjCayDsPaolnbeUS0b3lwAEN0lBR3fblZHkwqR/gr2lJsDhTZgfi4vEc2tiu08EMWylN+rHZZFxVtSRIZzWE5GLYkaKXilbAGkGgDpvIMOsBGiiR1GFLIq4qWLC56cQBIgDujWKBba9/u7bzVq6m/aGQ1UgwHSGGCJ74BP7Qo2dseJYEjP9DUIcyh2mjKomQTbeLIbXrI7QcRxYd/nmdox+eXIrSXmZ/TvUEBWBiEuYM96/WiR7fViH/50ZjZr0q+7ENjE//eIRuqaqzsp6HdqUPhDjd8rXFKroDCI+Oc1bvTZunr4HI2lsXAnmXlWZo/jDDO6RDePPtqmKEZKNCq638JMcfmxhhwrcuhefnpef9SDERra57lDKNJtVpJWEqaPU49FQMR+TXKD0JgjaJTj1nZ0f+ahWUXpNgD0T3C6MUxWII8zHeRmuedhLl3sStIoHPnbasdXh5Rq9tXnORuEhlGFMMIC5NSHHmc856u1ZgkKb2w8eF8GcsdyuCPNJABZ+zgwD95cfzpxEWN8x2p4MUs+zk7tp04LRNuMrGgpm8KIUf9U8s10rbp0Eoe9Lwi2ovn5Ci20I1/AzxeWXC+zKVeqSARyCfW2f7Kp0a/lOgpEftS39LNwDbBlCESD1SkZBdqgEnLM8P5obtPjp/UPpf01aB4+4IFWbw1JGjFYzRT0Zr36mNhHe3XiYjYPUH8XrdfgQWU9xcOIDLY/jCjRIfrTcX3dp+vAPye+W/yKtHk8RC+RLAmb/NODvPpvVsRnkmXflT56r5amBw4flgld48aw1K2+l4Ah3mcqBScqIuwFgkq7voX1FC9efsa/5k8J4xMZanpSJj/qAg2Lk7Ck6el2ZraqQOOgQwAVt00hRXC14Nw9RZCcuzEW0imoQrIJKFa6BxqZkqQJXcTdirJWBMAATARvlQuFMOnLy/KfKrKJ5FtXIMcyXI4E55UXF0QbgJcUYIEt+kMdjPLuHhKxvVCifkj5yZxmm9rR+0C3bPj+vyH8QNoxl8KYoyNGBSGQfAZT12tcwi+QVLEOmxQiHb/6ss4yhJAA5tKZupGT9oBquYNC63PP/JpDRkV0HsXGhaCs5P0B5atrF7iwjYznifPQHMcNq0k9ETfL3m99JHDHbjglrzaMIfcmqKFskzDGk7OOb5t3B90/ba7S1iSsnZhxGMZSSx+0fF0HZaWiZsaWI3o9KKQyrcYRzzb1BEWWLZNvGpb8TSoRbccZ+/lYru7c19wGX02joXo/QVqXt3pxRVWPI7TCJHKbgUSMVcZNSVO6ag5wbZEoaL6gKzKSfyR6T8GEegjDzWeFqB8gTfJw4mgkcBxAT3Dt2S1EGstPjgvB6KOjmoNA6WMNP6XLyU7l1ojPbUuG0wJupWpvcctwZsLiV7niZoGLDzkpltvEfUCj3WvLjlAQ+f4N9KuiELNXLzGl6FhkZu/5JXnXAXlJDV9+yzz2gSebK+/DMWQPnDChbYbQX/Qwq7DjC1qKPQ0+C87OVVJfKBg1yQ2bY4yeHcWpsoll/r0w3OOleHnTs2CYKSZiwZ07VewxyjO7RL399MqpCOYru7ds0wDTU6so9dD475+Z75m0nxitM8tSOEjoW4I6yDIM3JoTDoK7L/ybOVH3bftksb6Cu4OvCB9QD4JjyMD+7hCG6hZHBRbBe1wwhDd3fAZ/ysgCoyDcDUKCoDsvlwF+T+aX3FG4IHW/bM79JPAHbn5yJd2nsDEjo3pQcUp6yZd58nl8Q9nlZ2fBiClahz/X6yNefqN5cQwAKuVlr95637vEqHsgfIsi8gSCvaOwZUddhe5ye3GYrWnmIeJi/ymFCMF2+qVdOyNM5NYJyhK86iTDnXZbhikDKIIXg7cPsRvQhoeEVVPDU15Jq+WjBbNBPqbGED9DOWVRxNUdE3xYtSkDcs31YmeyciBNFaFQ/vPcMcVnIzpGVjZY32VR+gZzzTn3Y9PHKNtpB0sFtG+D4H9T7zjMHouQbgutrCtzoOMjj4wnf1ldLoqdYCAxnWjy7Dum00NEh/7ASxGz/nCyFYt12GIUedcBJT0q7hKZNQlpmR4if4qUCgNKqOspJqqdVWGJ+IBWkpYDEZQH9B6Hiwthwy1Rw39Fv7nO/Wyp6Bdz9MNywuu0vYUK+Nqp7bzLltYYijW5fUMsqxfNgxmHhn/Qt3PupkpaG6yFP1yhnF3oiwqqTiumwzr5yAXp5dlNd90Xs1+eILAAoJyr1TsZnChe3dSX4d8irkUAOMWPlp8WBGW1XEjynz896fhCWb+/eznA9U6vgV6JRjuW7LFyTykKMZrcondisyzXJXeREEmZC4Utj1MX6KUQzj1jvIhgNw69ihjOuMQxi+bGnrLc4Xn7F0lDot/13uWdN3TV3UC4+iLgQPqxS6wXpEmpjvgQ6Lm/PGopyeu1aDF77615i8Yd8/ByhIpBup/GlxjYMBBc9qrztwWcOAyawoJahebSXCE2TCuf7EAAAAnwAPHT+CJ4FA6bq5Iw73odnLoE3f1H1ukjPaIFwDGm1IoZiR759updfLi3aG11bS+2wDYzksMb8iJ2s25qTV+Z2oo8qVT30BiFgN0hjORwiy6pGDc//JJFmKQ4whs44u8zlqaoXDHVt42pKQtLG/mnIkTeXAblNQmfEcVWKIBcxQJ4Pz+lUAhjeyY4Y9eZ6boGIUnhCf4jOoqsPgM2P3Yk0aVFALhq/y0ApRmV6aRAOjsuosiJDkfzjFtBcMu4lntWtV9WEex6LWlbOjmX3+ROGpmN0cEHblfgZ6A6sUSpLosl8bGxG3U7ToR+JmC0gQgPskq9k56eoGUrtC/9xzoxI9IVp4wFES5ILewiHF4S5rf/rYc7gt5SPr4ctA7fKqRKspW5CEvTKYEuFzp9dzbwzOOJHAcb8dUOz/EeZN3K3XN0CtJF80O/mYCpDbEhlTeAD2uEkh5e9xS0NYUD/T9JjADNGIHTbwbASGsbMsmB8Qpic1xDOOV4QJvudkfRmvvqjc8Nu9Dl+9khWVcKnhbBvpgzQsqBRa/3tKJZw5VdEq2zJy8Q1zlLhmprXn8sckgExtFs5Kqo4pfbuNr2U0YzREwNWGYi256Rsqa0Dr1pvT869ZgnCwj2rooGoVtCvPKWFSi/WXrcaHJvQDKPkKloFES273O1OKJujQi9Fo0VvoP+REVZeH2UfZzSt8eI1fAZdxYWT5+9mostyuA2DdO7TavVxGm7Pt1j3GmXxN6z5rQOiuZhS+pCyWK6+iKYRnHsyp2/Z7d8lwLbu7VNxIOMdm6YLuQoOEdjb/vOSUKt3pxFwp5lQ/rv5W+8hAFxVs8IesdV5yz0Xbkyd9+iFoORJrTFJe9Ay/uhgLFpIYfBxCPxRmuwzyC6HalO2IR+D4G/yzrf2wIjQ+kyQ9Cp0jAtrHntUDPkvjg/MOZvBpCjGovSoRINU3B6dOxFxik70KVgVAxoF0tsIWPJ0CjXIJnb1TTbfR763CD0Ga/0Z7sM05+IjVdPfum1dApKvaPjQRjlXisM7z6Lbb6lM5sk+kg2XuKA2nBz8NLbAR88BY5hgW+HMqXbDkj/ogJOrQ285jyXxrHQE3wt0+ZBKFtlMhD6Xt4jYr+/I41DDywAAAEUvR7TTIaVHKRLNlpMzvlOBIjbnpM4H39ZPlcXYbq3ELlz2A5OIM1zWpuRrT6kr4i4vCaCcZijPS6FcOy7tTkEi1NrQJq5P1JFip28xl0qSP+RlQtAIs9oMCDwGqzpFyVNdx/VJ5N43dqbxYGseSaVcMtfKnap07ccoiyZEy8ikihzzlq8bF1naNBulL1MjcDnkAsjHVEw1fABfX1E7uTJzsmBNckVleFGuDgDhD7m9RSe/eHBljlnESnpeli42qtPlm0mfCHBVEifHO3H1hodP6yjOXLvZvtSP9Vdgu8WBUb3SJQ5IVGAH/1CNbjTSbXscZtiRdMvb1XU4EzkjbQ46qgzD2pNXI4X7sY5n4aw+zXJaUnI1u0JVnleC371uCwA04FlCfN7sQPPuUVerI6QKox3HqpD61p4pFEhQzvij1Dla/fSEZmJptF90slxaZkHzWHR03E0JcJlez0vqlUkKF5gzRf1Xvvxnb0aJDuWZMFb4BfZbi9ck5VbMwYz5nXYdEqUk6DNIK2G2MgtEj4n2SejKaq2mRp03aoFQM0QN8Vhb5Ix7nF8jYyCbFIWLXxdxsOwqsVD2oZHdrju12UUQLqum53gngL2KOm3150vKuHQ6laILjTjQvy1cAqESJN8JhpzDZkngqC23ZdIdrF/3heP8J/9SFpRzdBoSHks3Z6YH3Gj+D50kKDyi5Lox1JVCpJnqmMbyk0KWFd9sWromjRai6IFLPpwqWRRRJSSjLvgnDMdWg4YnTmS620v1A1ObsTmmR39w0NcnpXqkBwUou2cpUtH/mkdOHwTgoDzxwPGYx5ZNu1nE+htvoZ1WvhWXjrlfWUtSWWl3+/VZhneG4VpSTrPxjtE5zyQ8H0V8chLGypkuXZiLJdGm9EJ4s0RdKS0JI1uvp48AuhlCUevBbZOddF9J5mFW5XrtuBd/zkm7ojqaNMVqRC+5Ka9BOvM+Ply0C+mk+I0OOevwZIZAew8+1UTvx2MS6v5bQXCNkx5+FaaJ51rCQKJdWoVSz9yTEmrW3gtIXSe52Nf8RH9zbBmwLIy369Ju3psJdD9XmTrBLW3L4c9hqXY3c4rSZQ6+Yi3QHaxXvLey6OvFUItvsFKgkfOlBCrhnHluMe/OMMbjW+f86gmsgtsIIXmsLctaturUtt0M9f5ToexybrIvqYYttCY6Rttm1uHO9ILVgBy1W/kCc32Msc3jwZX9yB/0AQNWK2FvM62vugkYllUvC2Xxm22XnOWVblP+u1p5N+O3S3ZPXMzs8g7GuT0TeDYzpVnra2qcxuTh0OAvZwj2kJgkfLZm0rGV5IDVCoDM2yo++111hKY6JbYZTulRNu/uAAAA/vxvcqvnhagmXjZn4OE2TYIogz3Bb6LBdp+IYAkzKwB95AAAA5OBHFZoCnDyCkBey6r37JBAJ7g0mdPbE2o+rq5c0DfmecJxZCFAFC4jkGgl91Va+w24zHHEqaFsXntd1Q8QjDxasR51DmtAhT1eWgxiCe1PvoYuAAj3aoOUARUQnCjja4OHADpOge9SV0w6w9OzVpCsv2TH182CWLpdEK4c6X3u6fAtFSHpxp7sfA5rj+LbeHInnL5F52sNcvd2do2XdWY32WsgA5MUQnJBQ1UPzBZ/q5CMFNamLQ7mLYJI1ShUaQ/UXzMFdh8X73Ui1egLE02Xg3a87AV3YU7+ucua74dHUkSEZdfK1A0QZIfIm5W2MK9woAUWIH/75ELud5A9tlW+f/uJvgTE8QcIEhboABsAI6AAAAF+AAAAAAC/ZCtYteTRgJSRhkfmy+4fg24vF8XNf02xqkWiKTCS2NpXhLBjpl+cFpsaJoGwiTarGF+obgQGMsFjJQbs1B3W+iGlmzhHgidKgIq8uqS2oSJ5RenTqsXhBEJpInlTIeX4uDmIAlws7z5o5y9U+pWJGV9E945HrU5mCRiL0l26z7trINrD/oGHPHuVPTlwciGSur9fPlCOnFg3chpKCJtWv0e3gyEDWTWg4fubXCjGmP5ltYePdpucBch2ks+9RjvFjksnULT9sCrwp9JPRYng3UGC5ZFakQK9MOAAF1cTMNC4S2b7o1VZV18qF1n/PB3KxPiwp71jb6sr1u/Xv2ShsWqmtal8ZMblK0/vkcGWktzFWQAwVt5vHVVrAJQoRkuOgeP6JTKGVu6uuaCfYVkjbPFFYR77VFIRvPL2a53tbnw1fXGG0+0kiGn1FbKEDttD+bjunYkh/qFUdLh2du78gh9stGweKdLEYr9VbtcY7T+85t35XqrxUld0SXmh5jo/v+PI7nXxQ6e73k5K7jjLgcAC5FedUOKWvlBSgXEVuetjDKAF+JAnIEY773ducXO8HNUcKLzt8pa1jSpEL05B1am7Vmioj3wYoSM4kXUlPc4td9tr2m5U+Zmi9LDjcvmwRxs4S9Vn3y34mn939BX7ecrDViFDx9BecCCjqQMROgsGfPiGsGsW2dQ84OwOGbFNWInVPjJSnl1YR1riVfZ0QBdwXgQsRcy6+0nkCibd/XNJNF3bti30gPChr5/AkAWd698yRD9DxNBRns8ch1zuOI4WT6a7J+a73e6jrnDJ2rNBNYEHkw61jFm+GxKcMdMYSPbzXMK8MT7j4yBN2fha4Pb+UjqfpEYfUyPuCUfKKrvmd1dILmwPXP5WrBuBCOSUj7A0DPGqj4Ty5odULHR36uMKJwz3DqterUydc5sFuuW1jwjSlgj6nG4aYRBZyImjZYRiP5wMumq6/RASVEpnNXIFkkdqfzDwqp0nhOV1QH+Z2OE+6i2t/RCwwnPgnjj+42f/T5RldqhO7LT4nAqYSANjR9Lnj/iZ3uaN56e5khpMIpo6BxYd7jlenMrVo6bCXYyzBZr6akEXpfo/0sCHX/2PGYhMipA7D0234cOSKM45HQsW11pasy3UWm3J4fsy9dp0jRZi5NJHV6rn8mD60VmFTilZjzwjyBgVo0F2MOYJtxkgm6645WOeDmUQYPTr5Pb+C2wjuf4NqeHu8SUHb5Va7L3jgws9AXlq6WkxUARHeRbGr8FDS9zkaxSu1eQ2mK9/bgyjkCgohjjJ+iUi41s8mdGOoTiYDcSUxRX0pKlN/0o1ipWeE/jq0NiWhGs8QvLY9x/duU/zeO5uv0NuaEPEwLMq2FtqlMPqt12xAvgkr1GlNP+6Ssk8P/1xAX9VnFv3DniRAz46TD52us1VW2Vm+e3q3leUf6dA1+RIRmXiUJdU0X2zlnY4OGcYvksz1FAJpVDqm8J2ZBPYbAqzxau9NXAn9oRpX7YKFtzb3h64haMMDj5Mw70O+onzNlBSczJ2zRkyvp0wAxQ8LHlVqd5vn3gsUew829X9uoq70XCFiPh/uCY1B+dd+Xboz955aL5fJ/C5MMT2KosvaiQdMlBOEX9uUh9feDQHA9q/ourcqnV6Tgc7FEb0vMtAoQsWNZGV0l9+WUs0tC/E1Ooss/li7x5jFom/FX1GWVE4HT5QYQXsABlgUmB1Ju8UwZCEKSzhBPd3DCTaiBbX0bySQEcapLu/ia50VGIdnFAPDNq//0yYSKHqhKF19Q7bnOmxWoK08mfxZ2AHuUoP7mYYLutNZMBUweWwwh3V5c+hfJ0UifxdJEM+92OFIdOOT096kSBNMCRkgVJ3VPVAYg2ia4oFn2M/0aaYiqOPJL2JRKuh7+PK8dukE8ArOCSgniAkuNZFaXkJ5OvJEdro2d1DlhpKUCFzIXa9JUbPaMoilYA7mJtYR5l5N8XwMo+6gZLKsDohTsAzXP97bvkiHQkJjVLtMoy/dt97VExsfCsE9riN1EO0/Dw/t53iDygnlTYZvpNT+ZquWfwzKgbkVr8oEIC1VhBlbX49qGhKEG/eDlCbcgFwYzkVvtqMtl4rVK3YaPKOj6hsX6BJCRbJZ2FEo52HQf+nT1j2Fhq9pZKfKzu8fZknOsIRDpD0iSYPpjmG9gMEQp2Kr1UyP5lri8/aHdrYRbNwPE3PZFJZLan7tZQzzv6Cpm2neN8M7xaoH4oRQ0Z2wNWbtgSlGhqgZ9zFjNvEKZBrCcSNwNkgvtzyiRDhm+L4+SEYZY2AL3M772XxfBqiu6rGyvg0aFXQrw6ZahpTQqfIMvzxr2Up7t1BaejSVPHHZcgo3/51e+TtlZwjUf+eiHMCr4uQLl7SUj5Bc6oJ1Rt2rPTNr2gzvfRUPhS3+Heh1o9ocgNcJ2Yy2BZoqXLLu/qj2m2GRdicVvHlSlmg4hXubm0YErASYczikiGrIxyT/rMtfaYFAZJ9Dt/Awki30sMFcro6GT1/rOjGvSaP/rgK5D6MVSjlHn2KeUGJdHX9jBG4ufePtYDhu+nvE45nnnwUSo9Sjv2Qhx3zE+A2K8Kg4fJmHMCtwZRknAe0vR0aIMr4MugeYFiFaAadakz7n4o7khcY3rPKicyqgaiQ9vyNx17RnF601SyHJcha9c+/y0qJej13zN4s6PpdFi1NNHJ81lZMKnTcdeMPP5scMGyPpXaxlrkRB8U5X6seg2HtG/vk56qI7XMqjkisfzx7d8cMsMBYR41ILXWTcT0lqsNHrZ9Gqj7psGZvedureILCaV9VBsKyYKXNDsYfzwrV+KFP7tSzdBp1hb8KUZYYKB5Rh/RKnwwQHQD8CLMPAPfWogS92Pgz//J92oL5Xr6AcMtQrBMU26KIAKiNVVhFSoJgWXoIGS7RfjefPFnO5mA04m3rDP+hCkdGMxbPKmpylX4/1zSqRMgi7Z9vujD1Ulm0hAjGD60/qPT6QoRNICgtijGC8V3T99M8VF7Ns7wcKzd5PfrVE61ud02FX980eRzuavVAaPs5FYjn00hdlIwMtTld/xW0MkQAAnzuw5JtoHNiy6fCGCSJzA6omLG5arTRxr1jwd1fq+391vAxVgx1NOl9Nt2zpLryvP8knroNmdudBZ5CZgH3PN7SRNjhzHWN7BgnSZYNwnjbs9oiFMutrBll93CrZPMeoA/p3oTX1mc9U1X9+s5b0CtLQgjbI1ffnhLUl/wloYx1EB0Evq+I1N5La4cXgxlpX5Iy5/8ZqfmatyauPc2g8yzDTah5KeBy/chtu+BkCSt3Xd+P+k/po8yvZz2ep4Y9CK74IvDJdmGwgb3Zo/A9viYcs3HZBAglEwW7OX3sIwQkZkYtONQ/iGTVvcRGMX6zSp+qmRDh4YFPWGsAtWIGChnaF0eUWj1i4SIxVNS7n4qs4uL5UUgx8iANS9rWlmuFNFqG1a4nqmSm06BkbQGH09ihFqY1px0O4W4SGcYZZhg/8NVq+PU79ouCc48pQsv4bJ5Hs320WZeZrtMenSvW8PNuzRlwIz3iJc0jhdqQIY1DzUKXuPy4qyXej/CZq2X8WJB61h18bTViGU4RX6/DSoe134ywsKT+og2wo7k51HodgpoV0iTMp7Tj2j53p5w8Y9gEfqjyRJoWV0AaKDKTu54+EPrQT4OuuRivNnuZ0DdbzB7W89LeQv4kCNgYCawiNKwGnE/Sjpo1ayfPQ1NYmlhnK04t/PGgRQjGDSGyAX+XY3e4P8Lxaw+iPJODvMTE/t3Z287dYUawBc9gH7wGgn9gJCXxYcNW48mEvM1a3c8zZkzYtKpsPtKMP4VsgisJcYifze/QirRgrS6n0vSwR9inqGqds8099cDDveB1Cem7SFvfLvrwLmde8VIAMwa6Qca9fcgUej1oJ7uNI4BSMRvknICKN1IdRD2lEDAz/5tU6aTKWF/F+DsyKjgIJR7pLegQstTQFiPhaUGOllo9OsOuPYEJAMMYADWMf63Id9PrdU3bGzWx4lGMCesS4MoKLP/YWLNYn1+yN30nYyp3ektph/mURhQfY+yqnIe1us9Q0uL9GEiZhFOlTMaYVgTUH4aFbD+SjdVs/DZDWIFougutYrHsL+iOQEbYSenPrpWlX3JwDwqxsSKa5nLw9H5jHGBH06q3iM5CuQTgGHO5TbaT0jnotIYePSxzWv7fP75k1vlrfCDgZUfqfmDIHnYGoSKho3Y8XCcYmCA38NTWYDne1kKZTqvF94ea9DejoF8EoQnXKjya1VMQZYjJGuYmj96qE9880xsLyHx6F2/ZLdUOLctCnIK4iNCzkIoybJa8ZQlYTBVlGW6221Zti9fskw+ZdOQPlsU1BROCD6VD/j+AU5GmWe8Qjv8u3Wgm6yKJxc4QCOc+IUBc72szZEgrtPUTmhb9YuQtt++6pF6AdbuuRiGyWnKciylfbMBftskekSeqmKMP7fiU3S+uwVZWQBgMDy3PWES5v2wa5y7LI7cA9DAh8M6lbaZ+UJtwcETrHGQHgadhvKiECi8h2gqGqMd9Crzlh9pZz/s4dJrABq9miZWxouFJa07N8FZ7enMh2rQzIFKXxPSNHQBML8zUsZXp4D/4I3R2HOmA8/kdUIgSFK/Io7R1VFca2Tm3yWdNIRcXP+LYHfBpilBNiOD1+k8voO37z9iBVJT9WB33OIeoDLSrJpLQmwiirc+UFQ70R1uo9oQjGbU1s8GNigHBuYVZr9AC73SjabEzNSTqeDCpy6Zdz8jvOCIX3EwJk2JVOg0dDeQ8BvWQnoil570hN8SuFL2BGXSnWbKeQDHg9BBkYNprZ5glU6pf3oSzQzogcPJlZuZL0670/f4lZf+Nt53Qcus+q5MGVNctqG3M90016M3YT3sHVPu5NzmfpHfCX+AXxWcGxk9BJIbwMacB9q0jQmhraNeIHeF7QBXKXQNQE2h3cKriJypIwec94MB05ktZ26DhOYvmW7sTC70VldiPaSSnSz2IZxdCNtr+njzzfuyFMXGveqQj4BBUdwbl1ls5FYg+nalq6c7VWIrgIKRSYisszKzcvQ4zlhhPx6qV0ZdPXtxgI60L7UZEa+Z05iNKYFKZPl+CaAH/9LU/kgASPS5Is1fVK9qNJvV9RJbpJKUc7YvlM3tIZVonWtf2+f3zdX6FsC5B8Rwa0dYH/hH3E8pTH8X25di+slEgq/iBXUa0R20OxzmS8kKRDDd8+kmsyWN15YeTKfcb17zRG0HUUNFDJQ8sSWaUyAEfkA/LBfbFTv874+eMyGTjWfiHgamqwsI9yd11ceRA0TqLC3GQdD01IjinXUkcUkBXzMxsxXCOfSUjQ8eeCNaYe5FL4/P3Yg1JgpbDDF2CafKz3q2BiRB725bFng9R/E519tmFRX295+8CFITaT8w1vZo6mnr0mrh3YJcjEzFhRP8QpJV/bOc3MkCx9UNLxwc/nZBl3gmeAtW0iVmW1ZnyQNA0Lg0/uVuCDp+Bfa5qfhcnpaRmD9SdwzvTEWfTyjoP4bAThdPPRmf1D3w6369t+0srWMhIRTidFiXPj4dzMVC2ShWXE8pEPbe1GFzLUx/fq4zEjqiI8COIfEYaH8XlXUQVh9rQgrDg0aa6iQBALwl6g9XS7Qn/EL2RHTqa68TYIir55vbpPH4kKcriFC2devbzqNkWPll4Lvu5KRLNkvaKOBlIQ/Av3ye0v332kcYl8v56yDLnV5Rc3B5a4Ua6o3r06mJHqgCH6Dhy2fL4+ft7J8h1+fkIEQSe3XxP8QwwqHAX9QDNZCbFFAi0MUM5b+PGu+7O6ggwHrU5oGXVJiu0D7AoX683LfsM5Uy41fYJTKEAIR2opLbyOG2dRjINTjl7D+gzBCuyO7LqhycFD91Y07YInLD26Rpv6YrSi3ZUwRIdFnzQETa4dFTWguoeH8AtCWY4/UH9NeIAwMm6Y7FRq/kdtB27jGqPPoZxtZSLypVS2vgnOrBkq1aI6Z9I/hbyarC0lRswlR8LGbJhZ4LY6RDb3iphX4Q8s662bj/8uZoInFWo/UknVi3rXR31CjEGbXD+5ws7a3g4aWXwj4ImDGqym/JcYRcC4IygsGz8uSTB0CwL/CUxoM0pA/5Kp7zh/OiiswGQMG4UVmyJr5BykAfKSFkrMVq+XGk6fSVz7tJkJUMU6ClPMNR9PW4s2EcdiRVJ8ihEoBSU3HeoJda6/RL3JCKtDh2PVPOHyAU72A+3BNN/stK3NuOOVhLlVC/T60OmJi7xQMDQV+Y7BiHatwIRWYhBJShnmj0yU+w6tKr6uPVkA0xTZldH3hW774nss8ADEsEQ8fCjfH7M94qYr3W3oqwaRYvta/OOftDfgKiqZ/np+rgeRwcGr0rr39LhQmgO7upW/7KmJT9c2kYbzibLgXJuYvJeKZU1nyEvgHmufXbVeW/4lFvMAa/c7nKo9i9bzuhBdeJLFEx+sk0epk7R3WAOXStT8Hkrg87I8/jE+tr0CtOJrLf5up8tbjqPh9apnpLSGGRH8n3sDNlmicBu9T6OhJ1VhhrCbXdeYzHL1qRQYYTOHMNQTKDl9EJX5KjPaDZLA3Tt9VuBmOPtL+cBLyXzy2I4GszD0zpkFveBTfsALzn2tXYAACvkF7KsuRhDHUfBCud0Zs0R5iJL/EOT/iwBeOuRCFmz6SBhrG8VN1WQPg7WkQrVL2MwGdZcqiIeWC0m9QLJpvnbmKUaq9BvtmliVbP8hNE6CYDMHlafey69j7V0bkJ+rzGmOasV9Ezih/6eZ6JhLL2e91UiTHKNiekN+rYpDUVAq0wTIxwylnbHU+T6tBQkyq13s2/pB3RI42mUmWfI3TCOOUbsfEZ2+4aqWP8Xka1TzEWG8QerWJ/p6bVVPKWLwcWczI7XvZEK/rvOckUNpRcsdPhb1Iid40QpmufTWNsKd66D2ePb0RMTKNXrfGx1HAAF7LnE2brAgjEAZ8TGvCqe1KG4dYnQyRiMMATiIpoIFnWUK9buX7tqn4KzdoKDlkEEpRvhbvUpkBGH6NvkN7zbcNvyAANM3WAZdi2IHOdEySJ6thtDKzYx/lf9tuMmf3redrubGT04qor7Uh2G0HNVlesn7oGjG08SqZKj1BH1W0trbCk++Qsg3W16fNRi/EzkwXVI79Gtu8ZGyuCRnUCmpFy11CfK8M+OIcly91mrhvXJQyBCO/kcMn0BxXOuh1UoztAZZ/ffEUd9M4BK0Yir0PUkb3gvD9ZHIPCwLesHewrBTHL8elQajLqbY/7jve7EZeyNJSCKwCBo8zL2iCZTXNwmn585VApyuEFYRHUiC+StUWPCXxQvIyir6JiyCDjkJydmXFORTDzIBdcTuYROy7H8BhYgABpS3nW+FtRK3ThiMPX1Q6WoSVzEzJnNLjsPH0j762SduhentZJ4kQGpeolBc08OyyhUuLj/VIySd2SXbgme7k2yKAkCt7ZZvZzdzJlKKEA44EkeH3UcG6x8BPm22pXA9R+OcVDIvap8SWFgmG1aMaDWxZVMr5krf7tFINMCXWkyMXHxq813Vi9GnWt2ZSWrylEAc5B1Zr7G+vJOI6LpPJho5+P6w8IzQjmNTjK/b71CtLzg6U50x+wW8OU/GZbqWgga1ZDFZ4sHFHY9pEmS35+JTtdxZbbOKRP1qnkDJsqG4CTJTq8pK00+RKCVnONeZzBX++iCXHMYS4dv8+TDWpyg5ix0yIkgGDHAHgwNQMoN+WwSkpA/wzPw+6lpcS96ImhzzN9uMIVHMtpygureq9/c/kjaYgSXe+3uOk5FU9/uFq5zKlKWSjvNlUbLt4BdWM7ooVQU00PUN30pbMYr/Uikm+5lZo4xBgs4vk50rr2E9YM2XxjBmnZ34jQ3U4HsidDrwv7CsVEmmnYW2t88NsZqI+E+KyvSVBmZTg9FiH82zYqon6Ye8iB0+/i16Dm7GS8bojWn1uvaL07zkPB1Lv4xBUSABqFrjSE+yJDG8oXiBFFxvzvy/dHHJme33APefQbHvTvekbC/Ied6P/WscQz5Rw8hAhci/kDzLctBhb8kUkQBD0HsfD6RUfFSwBWff8WgkmosuUDr4Vmw+/ivDNdxEa8SafjS4I6j5U/6qjU7HGZLfAE72brpgCfZJHY5o0CPsKdwSYoNrN2Ov6/UY0P4z4u5U4qVowp9vZGzzNsLrxKYxwjyxhXkSz/+ybPNt0OLI03rFN6LtdvCYFed+wKGDciLbWmKaa4mOnyzmg8Ph+dizKjB4dj+TqkV+/CCsNfoMggJjKJGC9cJ8jkjqu0ZOZBYxc4T+tcT5JwvFB5Hbv///qbZfVMTnu2MtRsNASHty06FvY1bip062Ge8lu/XfGz5pXY1io5ebu6PqQ66tR9cdgqmkqOpz7Exbox6pRPBDUt7e+h4rKQKVsmWM04a3Vcklm0eyAFVJByJaCG7vmfGtlbBqE2zeeDkjviqx7gwr7ni/aWniVmUHJO5EZsJpangdkdnS2BXoqbI3DvhWLYRW+AktyPIrN1C81OBHwYABdUBoqCQCLOVuE+dtI4U3BBRGmi/l1bszScpN7FnXtB6WBSbb7esrBoPNt8y5CdShk/48J9cdTJFQgYGyG3Gtsa5T/H5AtKlKvhtVkBW103trPhpivP9BI9LELGOnj6l9CelTF0Lw/Ghe0PImEBIPGBRrOBm8AzHFpohZYoH36FfQhQlGaBfeIRPByLAIewFDxMZJaJsB5yVubR3IA4mM/2JsgA8GkNki73Ou6gOOZ+/+bbmQzGzdas5HiYOjfqyAwbEGu5Mquu/D+w23FQIcBcYBwIhzxjF+VHCUzkdqAJN8332NHTtdk2dCmTR12G1xeieIl1qmv34N+Ow+L2hn2g0rREludapoTF7P6xLFE9EWO5HFp/2R7F3UE4NwgACUvS1WIUvdahREPSIst141rnHLH0VJWkp6CPZMqeVtTEtuqglCaUAw4l2rjW0w2JvRcanizYOfwr970B7t6WLllhtwZlTqOSCaP7vnT6tgJII4gtqKy/0J3/ZC1o+wWseKBIcTDMnfIn0C8vAN7QidTg5q9yIGyTRVX8r28ZBeed8gRIAErqnmABnAvcCDCXAAJZMGzK1JQD4J/omDlBeqkImx12cqjnFFaaaP3lMlUNfR/XuCR005pypsF4acmgbGSBdZpsohI5udGcal5fPEriw8ZLYBb21UahC0vawAqvXjq7b4v+jzZwgY1CfYxMkQkatQGpxyMX1UAM4DzRJsACOq+NyhvDN+7UIOtToy1givnCXV4BikCU54BCTTYLJNnW/2c1IOpihrO3ptAUppRUilTpjWWNpBQ9UDkdtCjlqqoDo2xh9QiIB3Lu7mRacao2DvB6+cU29YoSB5wCKqa4/3Ta5jOZBhUo6HCPT8jSRLh6VBeJ5gpwj4CXBdUjrS3nRjEYmefYEr1bFsAAId9biEUajw7Izg45uD5+m8aRJu6h1x2n0elBcukVPT32o6G47XcrjdhjanwAx47pnh1i61ep70I0UIN469s7a+MmIRFMUK4+b/pOQ5IYKea7Do8WgXuSXejngGV6Et0Cr8BIn7PbZ+hoGiXXQc7QZWqgZTb1bn5JFgkmjbB7vR+cCS8IONdeQoVG+cY4fgkTspyAUZnmer6p0l4jvM1MqwBpuz1kKqjwQmUA17nxSiaV58wT9SI1lbtbwnidBHFNzZmUnCD549d9NczEA2OQOdZb0QotkvTUppH9EpSLoHAj30jvmIa/gMvsoDR65lrH79O9aMQWEWub0+VZS3LlcvaO5lfo4V0o8p13u8WOqyErJNrLGvM5jqgYPouX2BJ8irnNqNIUtJ+VtY27DiCrDl+soAEp8Q2tl/S2IC1Afqv/ntvkPU3V3OXU+YNySYZsOA2U65PLt6IxcmW+giptXcP6plT4hJCEvxb7ZLeTGHN6QdApRg5f21HjyL7wR0NpaGxPBubKpPLNrvxkIhiEGwNR5bOeERsr05Em6qbegtMwaVUSzhRAY8RYuawLZWEWZGKaUglDLoPkSEOFFzGaM3nztMKp4w08ej0wD+y700zOHJYf1XHevCBrsEymCKAF0X8STLzvQLerg1r596D+SFQQeFLt+HGgWQ/ji/iTtYpPfuXptmflpsIOotMJJVT5bs3xsov/pqmjzE/lYLKLu8x550RUdIa4STqPdLkr6wGvMKZCbTJxubg662bytZIOYlL4MiKm0WGpNrERBZk+xwUG9NORM2h2smlj8USs2oIXzbkBA0cD/OEOBMIzfDvJovElcII56q4nUMpL18f/y9OmBCGs30AVQLhy1HX8TZUmb1CJnw4+dYoYZ/nOy5wq/WWXhUHuvi3kIr8whpGftSN38pF1X+fkq4oxRfDS98TgSQGXNRDMGsKWP6d+vhycwZW6Ncq3GxlgxRNTKbaM4epCs7y5VOggH38CSE95lubliDS26OLJA0/GiSQNyPsIz2IcY5j4TN/gDc7rVtm+qW1bXvHENJtA+z4bWerL2HQretTdRldCLTbv2uhtuuiBUz9mYcJ6zXHC/BffzUWKtwmcrmNVhU1Vc7To/m2AocD6W4R+IjbiMJLSW03mobdlYUV++eSVw1miwlkZM9spT1LZCZHvI1kXnDJy6Xba3cKnc561XzZAsrIE5P2cCEPf96ySv9ArMQJAbNkPh0cKLqjMj3XcpgFUWd+eGfSKgMlpYfIspHTkKJdjp8djztl6WB9pnnubqWChngjRFJozS6jogo9ueza2SNAMvqdSjd1ysS3nD7wEY+4XNxcnOQedKngVnK3DmJDxKqAim9aVh+PDqKi4XkFGVe5JotGXI/p6/mFuZQZxJ6N34r3LtNpq7Zb8IY6q/ddvNBRNOiyqFDDCZYWaCMvdfrWEadnj0Jjs2WxlGQPMbN2PQF59Zbb5lsr1wmHj/PyLlzdjQ7yEWEuJrYDAmWCJ1v94RkfLN5onfJ7jEntVDP4Ithvuz1PDORaipmsCC0u61apDKjyWXRuXMASdbN7FAc3ytjkkwuNxx9CXjVvhUC7x10mGGNIZE+L5i3Z5eYLu9qrESWPYR88dNcHQVIAJxjtvK77OkjF2w/ZnrqGV1JaS5PlvCRa94djisN3pEWMeP56D3cGyZLYAPlB/lhhdyAn23aJBS2uV5It6TtT7g5L8nkmN0QyzwXU+5iohTJY1b52VvJFOJR50ok9jT0sqyNS+9kMv9F1gNIwLg2pK8tV+cBDnhuxhBdxst7+Mnun70aH90CqsDfsuG/COM9S1fz3Rt8vQuCSEaWdMfKRA+d6SkfE7ZyC+rbLtRheNRkqPWerUlsG1AKSzKnMchOneAzYcaE+SGZhMsFydRRdXRvrGRtfpfCD9POHkSnOMCttULJvU10K1mIVR51/fIZQroTFWOPl0Hy0/+MTkutGkbJ6GO5KBZ6f30IUW+ILiWmHVjMKW49cHb2POqebcJ8NStErobMWRmRFYuZT9dPgWwRYnmgTtuN3Y0F8JtZ4dFNN4vH4aPE1lQ8kkJEXBS8g3OWAAaIvJ2B9Y9IXkmVMCvcx44WFhE0LBYtB1TN4shm30RNFwW7mvzM1AmezhRapfm/LtG2YqDwBgJgh8uhXRA2v8LABHV7hWIliZJqTuuikUSjHlZfcFbbdamdxkP9sffK4NcCTOqsxwQ+DtRYWYVxMOYnqiZcFpb9iIOSIFkzzKvNTa3+hrO3XrI/egojigffDnhsuY5LSL5o7b1QrcU5ZCaW43cFuPnh0jVqfmBHxQ2uZmzt6DUrW+9xGfnTarXXSrjACF20cV/NsBQ7V4TS8oDaXXeVP7jcKbJ5s/7OVOGI67uw/KR3rTXyurHic+VwJXm5elxtcM2thk1+MPgcKDUs2AJVTatUHsg0erHh0kkBAzXNPXgtJadkSOPC3qDtaUAdxN+FCo+sSyl74Vqon/JOVWTCVbfgrTP5c0b+nfDT7S9hFPUSnIuFaC//khMdR725s0iIV8u45V3eS380UANjOIF1J5nxngJpy0WKnqAqgYHoHUUpiloikTkmf/3qsCWH0gBaeFTY+xDdpguG5e6eOqZ1FxCTN1S1IXu6ynVPrQUYybx24jlcCNz5ud1AN/+O/jV4+7vSGHRT7IwyCKZhQwtnV2cmSX5JtBtRslEAnZScpE/kBlejjbBbLW3odZhItSNc09eBnN3LjSvsGwqU70AKkkHH2Tg+zQVOhfiBw6/G9vsVqfV1HhJosTa1AEMfLxo6pXpG5BMVu4bfpY39uhsBCqbCPqId3XXb6cUyV2NLo8T0YM2jQNC3n+2PcjaxaAkXkOS5KCOSmhHyi1vonyfaRF5cUu0IT+sMbYJKqUBy9zEbcEFkbST5aSF1RW0bhvaiOM5GOz3jGoU4u2a2TJUm0Pj3Q2/zkjPrQEo+CF45VM+N0qk74GviuwzDtxSUUipQP9F1a/PscJDitSGckt5XQNP+yBbaDyzcTKLqL59oGkVAaCEOLBElH4AfKMlW7NPWHQ9NL/+UG58veF9hf+Cp0qtqtW2iC5V0azE7JoRnV30yzGUSfEb6tksUSSO7mufM+ds3kTI9Py2UQh1N2orSAkiYTz1i1xsr39gHfIov5U8CX5B02FXdgV4c6bxZEUgJS2AOj8fyUBcHyBC0HcD7eG/9BOOMpfHDCqyEVGHtrWFax90VgoXEdSqoiaFOHdhY9st0dd7DVUAkPQw6pnVwS1oY1c8FreJ23DhcKAASKb+nj+3HPO5mw6q0+l1fUTSgZZNd8GAqC2v8HNAqC6j2aV12tDFvDojSGYynUZtJFOo7xRQwV7SwjJ3duOkuvlxdRn4wD5Xu7bDFhkoKhXdDt2UXtwUlXijRLvHgnKP/ywxF/20riPpuXoPdJ0hYPSKO/IeaKwmfUCyh0nMouARRnkguwPUbmTSSmGQjhg50vCxnXdH/jyqPjIDlB67ZkO0BuVoJnOcWej8kPwFjiRh0tE3RNTiVpn7F72u54mwB4X80S8cx6qVwsFjCYnv7QTs2zj5ZlfPRplB/6AT+WbIc0ED/oBbXC8N/oGhzJJ57KHkhzJHDn6yL2dYsoZyuOY6x8+YCawtySuMEVC9sZTzmQxSFRBcq8jtbhprhcu88q9+dVfuIy6m272mkU9vy94jN98Ql4lw1dLDFSntbf1MIUX+VXjyubHxf2gY6i2mbVfDyXFYDeu3kgGI3sggHqLCL8w6TAvd+kZYDmDnXAUmrJwymfCGcLjlKm5IMlzZSvggdkYwH5iLPhZpXzY+sRyAnmCo6XYyo+DqIoELMagZXOjcaW+4BeaY2ejBniYRqE8v7FZ3Yo44wS21OIpL4J4VABzAxr5voW5HiZfB75++BWuMuJEfMIJz+U4HXLCr6IDHscrmjPTyq6Fqlj3Dr3COT9KxUvQSXMFvWMifsE8dkN5EDXKDMukelb2k8viOt+bFsWHcxaGCHZZRNhKcApup386Qf7GGw4FsDhcA8PJTEBXbiAo1h7FAGYgaaYuam8xkwMIaiTvFVgexBgEaglKKIkhngxIwzCY+bpgPmUTRbILsKObRMmv3wTUGTVWfBNh2ZfNG5IdQJbsd9vyFStaAUdzB1y1l1S6zA8Q+V+22AuEA0XBwDuFZJZWOTE9jeGBaLB3JkJJu5Fyvb6FgU2Wtq8GLVgynM3L5kok5ntWTFqrEsnOTBHvasAsioujPA+wjSrXWsBw7c0HfXisEzNU6LdnzcZcJXEUH+NynKQGTGVgvof+eACl2VjHCrHYyNJyhVnD+1BrTSWkJ4e467ksTyvPuLN/tkXiUEGE+sCmMiW5B4whxKLlNmCqGaLXu1nsBb8k8huz4Rkcvjp+lkCo6qq/MS8ttQfnE2wVwX1p0FUSSaeZb16DXdoSfb1NCMWLqrkK8LU2pzp8aK8H1coy4I/JIukKju3lBUMH13FPpHjNbXVhefoou+tG0vRlO9y1DRQWBRKO3OVTwXnXK/H9CWhbt0vzjyRlcNPuCMUuSIVZBYRKcDbReFx5fhfXQcTZImuvuBmVT4wGuFA8K7XYTj217clKcrECo0c+FTSmRQjEQ4KbOsxOQNrTYssVo0796ivCihKd3i3a4p6y5t/JVh1Ak6I+d6qKQNrL8bWba/cWw5WrMnM4oetIba2JdvlEgXtEUA6z00lp9yd5r291TRci86l0ENw4VVpdJxzpyu07EewhYA6T/VheRI1hoRWxdaOmCIv9YirCdlWouqDJVaFhmWGwm4D7hZbufnCa2rjh82U3AmP3XLghT5SHkdpGe7zbOKu2+weyFInmtLGoiwQ2y8hcnCuZYsEXUcmhZfHBmAQaIdhm51OfCNPN+N+QxC1TKra8Y3q56GpB1xsOSkr1Y+MOSzlxBJCsnN4D0n2CGOnPAZGplmhj3ZzwEln7g23OKmW6sk7tL4H2rVbzkv25pJZtXbQtWUsu0z6iSdCT1BLxVjxCVNlNZKQQMHAqMtQF1KpMxC4jZPoxeDFnJflUZMT7W4UrRRgDS+asCyUywKYQV2xa2oLU63tUVDS9VHmSitAicr2UNKY+6XOjYMFgvkkGnaQV9O1MUWmyqM8J8FE1HX67GdYY3dLkx6bVKjdSK6Gelv7Lxcm20J84Q2zC1nhp8daTlDeFRDFhFWCyAckoooxCsAf+ImiqKsCdpGO2+BlqgdXgU5CK5NZsXcdwVfGQ2bEW3EC2UEhWprG5r2V/oXIES9PaKI9Uwekq2vP0NqOAWyxwAAvOKwT6EJF8+NYnWFGl+3n3Rpf48aoXMo8HbNtCkPNOsaVXVrENEW9EFK7CgJxTlcDzTaLPhbq6ErtDyLCceQnp45woTWQzVFEby6yTauSCMUzjm36v559ND8DJKgebgkGHHESuPgyjxOHFyfRdWjqRqrBXeArAIcUbcDn+jm5B0VktE0OezhERZb3vrOnGXj7WSiOaDcpy4YdHiee6+54tgINopxL16vBG1ypD34NNtaEFqNwhmXSVd2tHVuDOhKVd+PpxubW/mdMy15bonGNDl9P+XH9skoj/Z9Cs2OnRInIbfB/3rmHJX1etjsp5lpf0GUpiNSmnyhaXYp6cxS2vp7+xrx9/xT+8Te0Hx4Uvx0RE3CZhHPu28P13/hgHFYfp4j3BRtfr8nyrUz/tmp1FMrLMzR6cIa8NnA4ChqZxKwrCmKzxKeE3WODPbNnQKY2aHg8CQoJ+er6l2sCt2Wer20cj7GP9lTp/OaNgwJGvuySYmO+Bi3TZWfZI2D62BXs86XNI03tK4xbvLrsW5ILgRY+BKGMUSPFHALZkw9pPJENFkv6ZXVFDdIhF4Jlzi4gfF3G9D7mz1wzKEaMXTrKoOxofcgslFSXZFPfM9TA3ka5Jm9BW57W9WH1lmtn2P/c2+kNYsWpDPXyvN6meTdv6wtXu69dbY1WjxpfDeD5AnxC8nOHll6Cgbjee5TE9u2qIrpy4+j4bQtdCaGIlLgPnYyI3pTb0SHQsmjVV+vUPXM6aJgsHjJ0VzYFI4r4Yudv0d55wL6KmpTdTm4aTDiHCdQs5Oqh74vGUiWuYMfZsx0pRdUSHEfxmApxuQwUTz5Hp5JJRwpXTPFCvt5lF5TabWJyv9zJqJsxbtyqXHdrQ//dCxgWX13CWQNxwxCAzr60xzW0Yb127pAXrmLWAFypu3b0F17tMPTUVjxG8RVTRbi3FLExWHSSU6xsYYO1o7JlFxC8o1kGWIP9INqAobHoftBscYBkBxqUjBJ0kDOfrwDNxaV/hU55DitbkR8WgulktkOZaYbzM30CHH8N7xsrnJJeJk/gvS1buMVCPzcwGFWF4ZRlYJQctVwJ2vGD2M7kvOeQuiZko2h6hyF+oJ5EwozhEm64S5/yqvAmFETJ4Z25QSDmREJ8GjKgObgFQOE7dx5u6aNJh/xEC7IZb2eGfcQuuzfCmeoMI6mIGY7SFmfMextTpDMrx6crzRo4Zb95wwvE86yOZXwUirtR/N0/C4UMbwXNWhlGIALRDtl/LdIyltdh2KyEouSxGepYTyIb0wCM17ZvjEtl+s6y0u04VPlErAKVkSteGI/eNWNPMUwkJc9NmxXC8xK/R6DU6aPWvoXTTiRSZg/MMJeyCzwfgK+CIAgcrxt/0PS2M2DXLKVZ77M5aFMSoZz6oiM9etZYCvnQhj61C8zniRPf2HBA0XpfA3TDROSDNxTG/SIJd2EiQgcimj2oXLDfoGXeVmfrBUYPtqSzAjQHvzpFVv1Zbo5EBCQdKlhime0L5egkEFNrn+BHkIxoHMcICvfz5iMyCCpzwjSqxkpn5hFAmvG16eqDcHZSoy9zmIUb1EP+l7Df9rdMNitFT9dHvSx5rRw2cinpv5Xx4Q0vhfNz9cuoAfGsMtd1euNL89voX0O9wyl6OEXDCV0PXWzo8Fo7TOWTy88P1lBeQqU4UmyLIuC710V3LjPkqphTp2SbFQeCVBAeCpsOjUPhpxb999EUxAfDCH0oWodLZ7jHZeLoRx2LWf5/+nQn+1uOxV6kYbA9YOesK0cu16pdzMLRrcz8m4K79sed7C6xdQlrM23fLhbkV1pnWOgPoaaPyzXXqNyK5PiYI+oKwqPcX7UyHEMqD5eGG21GtpEvJifySFfEK9MwPOG+fKGbxDZSjvd0NrOo9eyh0hdw6D+u6FPeF/JMNMML9LblZsiGjQMXgCG5Qnpi2L1GvBZZxHWN8c4sgw7QuOReJNeYZrZO0NDEuXk0mKRfYRTqN0DC0+1mV6br44bwO9S+XxUL4YGMgMNEsYZOCToAh7jvAVEqao/RkTXxl0Up6+usdk05SRa/qC/LPao83sYxtvDqdtTd+G2UjXA+SFwsT6M8JKF3Zv7/iZUvJNAGvaulgU4vakSW4U51hiwCQFLTXf2xcsu4AHnRDwU/ZqsgcgcN0AsdcCHwOOpoKB+m7xUQtSRRr5aniIAt4iNCvuUEwrSNF2lC1JrJ8D0OpP6LB0JThLOcVqXRvGFGtzudQpwjbTIZ619d3+O+iM4aOEmUVyjUJ8QPFJPTdL9qSKTfNLZkMyrEdfFTLfKWEACR0An2ioeSSZ+1N1UsXjnGbg1vOcEM84qYvF/Rd95VY7KH47rqtdNCsmiFovtOYQWXqiLXWgKvGnoRSK3nhn6Uc+W4nMRMv69I+rUkOe/BsT5YpHgOx6o2kc79u6M05tejkFxJfFvBvozXoOgKfV5z7dx0d1MaIcI6T32kwcIT2CzHWoMh/jgxMgTcEMh96guNKF/9TwSVt4njAFg+kphjdJUdA9GzplUS17CcOWuS+K9jHiE1a1AoYbNKDI9LlYQbCNEArVVNmTgaGIFAa87YkIw9xtVM9o+Bt86WksZ8Wc1qdKOxdZ4z+isn2UgrBTOtdYRi+7G2BtV2L6Q1cv0+M/msUrY9xX2bZ2fqWxvKP/LxrqFfbrj36bdy3jntBJCt317VAa26Xb4k+rldlgLwuUBj4ULpSBlmmEJ2qYSRwfKqVNKrm0Az3uKv1LEGyk+m0zvCqYlUTQhxigfqIYU2ixNBsL1dCiFnF5w7I5nKRE4EZZXhgAn5q4U/E1cQDL2cviMxrsV8T1vQ7FO/dNsmM1thgAqw7UwS/rmJTigibER7UT42K7fxdJDvaUfvHSr91u63PODNTZ277Lj270yykxtVIlNCJuIVXNFhAOGbo9lRqMuopJyvl61u0q+T7bMwL/xUBlwLcR/OYt/WAfPdwOjE86OF+cb7ugSDYq/hVkhWYUSdU9FOFslV4Y+4FziSIfCoEYnDpJUMSpZvLtf4QsGocVraP/COvYjbWi+nIxu0lNhBZ0WWBSqjvXGpQ1G05YBwsCqc/xF5FAGECMF+u0EP8uVK+HRw0eCH0kIp2XgrEe371jOE52xZEE4svWN51Rj9kP4FVMsjSAIg7JWptJX2Uvp3bz87cn3Av1DhZU/MPU8yhNiOQjwLHM0qia4z4EXZrkV9kzYAiCrxkQ5Ql6jA/BVn6FyMALIjy0VB+cKLizIO1LI/I20RLxkNH4kSuDLU+HPQWGeDadOT+DwdRiyZHCse91NgjWO/+bB4hBNX3x8J4o9gNrdWWadO/pRfenF2h2nlDD70urtgSlbI5pvhjJ356J9IAFZGJO7WtZKg3jCOstUgk3S0ZD0VDlKOfIzdPPKPS7rOljt6lDRbvfLrnCG1AJ4VKdGtnw0bJlepcsGzx/7pQZ2Y9QDdquZQHGCIGHth33B/hITn5iYrx++v+m2bE079n+a15jnSTadoZjVn9p2TSPTgftm/H435dnj6uoHDs7+sQb7yJa1pWOhIIa7DOtbs9rvRNOWEHTDMb/eUOvYVf1EnN7yZBS29c4cnqDB2IZGdGflm8NonwUKH22QlWR8bnhBd/o20RXuMqJIt4jm0oC8/XmFL09+BXmrtuQJrUk4uo3azTQtjQiWHSDbquUGk0XcLaFFHvC+aaSjHCCxdBUmlsT29B79aQn4mobcbdoKjYaCWz/0XgA7Pcusdg5VxMNlNq68BDCDg/Haf+IJWGG2M/dPNwknuYKzNe9y3oYVtx89NnpYB+ulqLAnYjLCxZtaXndHyvXmzYR5dUMRsHnDj+W4kZ4cFm8RhZ6PRBFHiPIxZAPNEl302XryC9uttodinOTbV2UBtlKU1HwpNJS06j+iR28LBnrOSchlmk9JzYwHV2bNkdpm8eY9fO5qCxh+HL8loUIPQllvYvQHQAR9e/KkJfAC7xtQdFocjmGO77tN2rdBRmT0a5ztzfY1BB8W8hrvyAt/4xBd89TR1N9J3MfjY4K7Di+GUJfwMCgctnHmkN4HgkfxEtwYWxGVeHF66lQ4L8GoRVdd5WLt16MJeHJigh0f9pvAluxs4Vbya0/w1TqoiKqENOt7ZyO8UhnzRYsLNvCcQYw/JFsIHY4WGIWy3yIH8DYR+g8IkpHCQ8TLxVtKtVU/HP1gHWJi9erqNSCB7OJqfZaA6H/TPufohUJWa0wzLBw4/X0UdEI0aKqs2cbHsHsZDVIID0UMnItfvjWwyjAGw4mwtClshHDJW41nTevX2nsx6HWzb6oS/7N8lk6qAi1KWWr/zsOPshbU4UdsE8MfTGQAJPwKToRZfQXXREJGCkOU8/RGzYuM1D1xfApJKnGG/ueF5/mjmF6+9ioSJQ37QYxMiBGVHmkGvmJWOFAGhKQR6NxZFASRl+ZmuAySi91ykdmXJouZpRB7MFJFpKBb3Bz0stFSKaiiPOQJ7bjOdU3mJOGW7rWfGGLQ/+h7ustFYj8j/NDtP1T7N8FZdCTEUgkiBsPK3gUqpi8cUDnn03qU6IipA5edp0sIcfP0fpO8b+wGlAD4lxtUJOEyLoZwf3PuXYyKXvwrF9pJui/6BRGNf3Rxb6SG1lqDqI7OxalnHZTPoH4eEZSbTkotVIS8rnw0UK2LRGXLEHgGMkphnaAT+0jZX+JOYj2ds8ypWnierTsk+Am6zG7bOHt68f7/iy9gyUoRT/wAD00FbcivGQ0qcpSEZFiYyuqjDks2TtDJIAOnqbs3ATRNSQUSiReyAAqB5r0sgJ+602WNL1Py/qhO32IkcAt4Y9bY9Nf8im9Z0hLqRXAudOCQyGB3EUTArLuiD7xgHlnqGZQLJYtZTrGlvDUhdYk7wU2AaIkwON+MnMjEBfJbQt/n2r2qr/yfYI/dvmuEKsh/TXqJjk+BXr11o+Wav2QfgBaHbPtqt71jZdy72RIdZ4pHtRSWqcGYQMm/E8RbHCGS3FqV+eb1/gr7omdY9DUzoKK1MWrHm6hT15vimCpJbwHYOWfE7nL9HyEn0McTF6qJds93T4zIRIxh/WaQcbpGcWoSqY+nsk3LjHim1/JxKVs5NdtmSSh3O9medwwmXjYg5qWaehb9GEPTSUtFfZLT+OnmloZgknuTeaJm7TEgdrN2ykziW5vVq3yoPxMpb2x760ywHq88/1ojnCQXevBqP+YXhHCRpS4TVRdao3amF+vujLX8Fq+hDp6t7X+8n5yAWCTvoqXE/I0of0B9mroY6pWhpN2VvI30+ij/GhWsGMHpWZN6CxpSDd2PTzsmEvVhjfFANNa/K4hK3zUBnz2EzKimcHUFHOJXpjfPHkH4A4PWHuAZ7ahroiSzWwrsbpozLXCRsCmw6qDriKDTKHxx4Zo9if3YfDSu9lhop/vzhDFmRYJy62NsI3/SJ8nA9LI34n8TXV6yTiMdnu5D3auPa5fsODqaXpfY50RgZtbcbB7Az2GGpABrk6c1QNL3KQCMwRG3LEyOYMFzpjHjJ9CvChNjpkv7pCiBZ8m+VKpwKgFw1W6ByFus6/ZjLwJbV2kB+zSVrkQH4dqdpx63K0FhFhyk9Ojq+8Q4wR4jd0pojrgJ2JfPo45Fxzu4QsI/pGOEuUJpbp4N1A83vEVZhnz++u/ABeI3d3D4y6Wdu8G6koRxSEFAz4sOuUvmgiQ2AVYjTaxwYMPgpsDXA4AQnOeA+OvNrQA4cNjhbJN+URnO3OLjkRSkF5/U3fm/ZfV/Ips4x27uvNeek+vSoLUSI9COZH2hT11TZcyneN5lZn3y6mRpTvea2Wqxa96JL327Di+IoCY5ORzqnwhQXDmCbbzMXdGkuSWtlw0o8/raK/eE/hRpSYaH8on3pUsTXxc7MHaifBudpwl0iXJhJJ/jGrfL59iVn1X2345Uy9pyZVbGDSwY9qJ0xWqXlRaLsZ3B+wl+MfOQ8eyYMzIfakM+uEZl/T+YUgIevg+/lGgOr8w9bqptOmZOJGnTu851755WOUrDEG+2V+8MCRz6Q0Xrx4btJmdJOBdavnoahZN64KQ7C1Bh8pmM/GWijjckPLj4HS9qGQWYLJH+ug4ckaQ5AVavs1m58kDSL2DjGogvVncjHWAkC/RSqexog0AA2I1WnbmcY6Omv3MTvcxxwGinKr6IDKRSXOEjukyFTJh0GE1Yw7LeIHfJcE8ZsQ7Aemq0ydcMFy79pZodDicbMGVOUJf5SxxAj50bC65j6+qv9ckkzyI/IlzrvYlyCGg5pLA0ScL1KtS3XdjaP5Pfh5ZBvXFJPrH8WKlEXfNV76dPturaYKKI9JFZikJCj8FyfFHEVqSs8K2XsYHr39uke6dZxOwIbXNSfEA3pM48afaecW1ACArUWmun5gyZqUOPFNOzn9+ctPG4cqEWyVO6jZdKlxMMpXiy/3632Tgl1h8bHOHI/PGSmcz2kGg8oKNMmfwYq1O0BeDkPk7bnRgszYjt3RUFT64QSxEztmOD5jRoMrxhjoRfvpxnjA1RPSVxcTBCYZsUz0tyj+RrL63myjnFzPU87pjjZxe90xirZkX8vSQs6EXhtPwt1rehoOgrOA7VrslPqBEGiExMu+RdLgdvKU6vAIepcjTfac5Ci2G3agn+YWmWYB/+W//tM6oHDEopPiUGb3R1a++IW5RRMv8zqnWQlScpolIxeqctglYs8Ms1jJjffLwjV48rHUw2qP6HATZLv0J+Hsk+adROKL14GFHKmUogbYDZuvr94MHOWxZhE8FCMctsXs53wZ7LjvZh3kg7yDxnkV1/mIXBa04xWGCBJrshuZVbWY/RNuZbhtzpt41lFWuUu1NzvWT9kVTyh8AFgL93jazXxU6xFq3qSoGwsJJbzDt2RBTRPK4fytsMtCa21rEcR24p7P/+qCzwft6KccY2Cdb8IgdcWaov4iil41lY+AR9yAfzd/Rq4svP+rvezsKx73sxZJEkyElR1rqEKrKXl2Fv3q0RCVt43ZBazGSlymq46+38CVSc4h8n/w7jsStrwrkwlBucsVsD8o8Zd0Hqufp3zSnPgsW+7Q9F78ulJjsEW/iNvN5JiPmK46tP08ifypTCA7RcF6g/HlX0NIMUYcmgKQhSCM+01b8MhsCS4etfjbnYquhKtpTZ/77EBHn26np9Vt+x7Ytu48JW+uyJ1cEkcfwJTZ9siTjlVY2enLpTpboJoUBbPs7wxsTtRYhPwVQLCS2i3tGmpvngLiS38GsPeolK0gTiUsfIytDxphSFijJpaQCYpHocp/xXt+4ea4JHc5rv0wb4cmSAhfx4TTgLlQyYBjNzA2ULPVzSk+1qjZgARLpqbkMWoZwYJr9xv8OLf7QFaTq4K1YtB6Vwo3wxTpB25sVCsAgxF3e1nwkKc/CyBQ/BNbRfwjitPeP9KHSyt8BDNADLI3LaOcZwDs9tjyxSl+8IJzCHBOMSiEEWkgCD47ibuk89NaI04k3HOTOeF/8LG8wQYkEtCsJ1wIoT/PHihAodGfW8C98MXEpKK6DE5nULuUownHHrW4ehvCXICvFFROMbF68CDrB7GT8uX4l0zsbV7FNJ9uLaDSKAcXLSbdfe2UI94D3u1KJq4MSOuVT2Nh3fZj34wj/62CsBpX+MW6z+dlj3BctYArTad6P8ZE5MGJibVNAE0Ts7j+ntUdle7RfK3c+wwYDmQ07D53cyzD295MjC54C6XjzOOeuRkOJxJyl6z9PvHNzEw7xusiDGNe3n01J+pN+mBT3Rob5aahDsr9Zjd+7msnoMt7iAlC6OSzQIUIVMESWBtLVxbHUG7IInv82uKPZPq+kCixumsl+0A/sYE2KEEaODRGzQEbYl3tn+N2zAU78hz2PVMfWq7LbE4j9qj4dLKFrwOFDWhx/gN/rTd29U7tIN1JrEQX5SUYKmO/wRtUcZAmZDWxVgP0O/lKhwLhXnGMjeJ7PSU/I5XJiDgeMVlDraCviSxM4m6wROjNpc0ZDFegcvGVBc+lqNXwbpuwZZp88UB5+u3x+taioXMnFEMoIWRreelH7feD69l5wwojpXcjEmPcto+Nm9Lqy384sql0Qv1CvryaiOhP036sTWBCJ2818nJRaXc9yABQy7UV4LwGW4SY777zS1q1OwQB8Y5XkdqW4e5gQmYzFlPQ9AE/aQL2ROT7FXsJP8i2x8eN2IeByznc5lnjIPn/sucjpfclmMf5PyJFCqrlhOHjf07q8eCaf2u/YhDvk97kLddYrIFmLIgZZW+95xmeo6w6DNivxXOqPNuUD6RdnYJQ8D6tDCt1g4dmAVmrVRiBMV86pAaO64FGAPgBvJ8rc50U5Zb+eF1ggthzYC/RzUzpcrwZDu2TTfw19ntX4ROFVva2C0KNZD0Xy+VZXqS3tK42SunrTTwdqJSVwivLcH/kaTe7x4AyivPe7OiWnU1i7wGNMkLcIhnJ29QhtJLxafQTFs+lIo3lzc7n9iFGh+zYrK1fJiQqeg/nPWwFeVpk9/nMp26ziJQhHLmZEHIKorXxopbjMJdKhoWKEXG7hlI90wE5cBVo4C4isryo7xAJzvdG5jKxGim7QByKAy4CofTJAzcYMq3e/WT0uj/4kJdFxifQsA6bKZO9yhxKeDqSNYNS1BzxPOOs82IywnhLvGTavq6VmbrnxXMg6PkpJg2h13xj9yeDiGU520DJ4yXqZ529mprM9/UVMnqWRhKuzlSUTCfHOrI74OJa8/D2U64s9W+/i6IIm+DTX6dJEOYemD50rbJGJCjoJW6lwX0NJCplZb0GYlpSpbcpxIQHONqLwqjxDOrzq0FH5aRjOFojRg8czm8+cViU663SLz4Yh+PM/x6ceo22nFGObtVZLdJx0e6jMoQRuMsn8Upuz6l+DVSJpZN+MDgd4Jti0GdLgRsllegAu7NSxzuc8Vy4T/W3WnYc6K07Qf6GGKT8677uTViEED+7h7+J+T4GEIqiJt7uK3NPI6tkZ4MrR8mrXzqaTg5xVRdtVpPvwEFobVOeOESBP53okKpF1t0UMB/RomNHkuLY3GcMGCxTzhbEie34IToTnruwG5mXxN990aEbYRzpG/ldWX4SdLNoS2XQj6HUrTi6QYAp55hHIW8FZuzgNe8YBGD5BXAQByPqi6y9ArFvnGjFUI1RSSklxZd2TYtwsJK7Omqa2MZAPua7UIZ7TXWyyKpOZFE8ivJ8c+1hag9K8sKq5erq1AY4Qqlro6ZcyNVJmcMzvG5uegk6uRdlf2+E2+DJmCzNrwLlx9djVTiH67yG2nyBRpfuvGd4s4aeq136O9O0FtuMQsV5f7ko9qmoKL2/hJCmpBmimyhn2KZgRym77V/M08GsDk2vUBdVC0hMd85PhxkwhCUm80BEg/HFlWwzcbyRVrvOKDs4DEEnO4bMRjQOqeiHFYLg4R9Z+En0JygguxtMZmMDQ8urumQYLz9JkCTeXOcHSiNbopYAishqkXVkkTvBnkf5zoryRHl8+FEXmwrS5cxeDGkusWBMehuVcQhOWMb7cCMrn2D8bKXCWsNctWD7AKCVSPGl2Fsab1hGnd5VzB4u0Y1R1xKm6M63iyBVNN4yq9juRd/Mx2U60WtpM0cG+hOG7MZ+Iiq3RGAxpLrNqSl0kclw9aG6V6lYByvu5IQBPvQIk/dbrZcEZUQPt0uGRq36ywkmZ9zQsiBrpBvoThiGAx1trclNFEIXmPZFkGlX9qWO5BtMfe0YjOyZ9Zue3mjjvEcZBozlfEwoAY+K6Z7FR2RD/5t6QAdkEaqtIYs6/RRNLhG2fS2ff4zcyP7o5RlckU/gSZRZhT9V8E4/WO6Yl8KrAUer2f6TZTz/7EmRY6Cao1Uv24965lH5cTq4/F8+9yo5dKSO6S+qVz3zV6K57UZ46nHPKFH2QQB2HHcBnmCV/+mHnRUv1tK0lQxXn00nEWe6gAosjSYJIxgP75AJKVPfsV9c5DnPhxgpl9/5QuyO7dNnYF4DEXAXb4G+cqkVGvU2/yOtPJTaIRsd0z350jECYr5uKVXGAQWsgUahK8nzeiZHhP8LzDWSV70v/fD3G6m9DyKc6ZwKLEPQ0FjLQcecf/ExJMh5Ma7Tmu19kfhxdxhhLBX1ljUrBN9RDN2cdVNkVnRCo8Rrb4/kpT4c9NppyRhbGc99mMN5nL7wy40zTbqq1UF7AWqVrh3FuD8nMXjn7jDsFEPp3OEnIYLOtXHVsVCWUyHw5+BDy+TO8ORDaOPrc/IN8pfvXTBB5ID6mcjLOknlX2PY34Ia2E7QhBzpJq+E9CzTyMAJFYDtREmnsFPpnemMhYoQ3httIYpl79veToY7bCoDZ1+6xibkeXls5ymoHc9WJk87pDiE9DjvWVaWPdM75FvcNbjHWd7vm5iDQtbf2Z8aXBbnS2NxZXczBj7EEZiKacAOPjIDVtnFeu76rchRsd7n/QUP+2IK9//5fa5toSc+1qV7aMDmLKZhbTyIGg+cbzFGavMy5CooA0cKDnycfHuZhveas6wT092AACAPm0n2PeIu2tWogmhrkEeIu2GyAkQ/AgyExi77Tiejk+CSEkqkoiIlivDo+qPZyOnFllAHNDk8Il82lzmbNONTrXTeAdjh9WLcQo+CzInejMXcJ9QsCsTREQ/xRgP9oNa1/UCR+689DxYtsGSqnwMXYOfu9EDZHVPD0qIOH06IGdEJbs17wqOC1TZrPQiOujbwU2+aKjWkmciSHJ/PJUM9Y6n6Q/08veAlxAcup4bLbQpr+T3irwPqnT/LMXpLnArsrJhQowzRbbbOaQPblSzSZgB8gYxiU4FS4joLV6u5xruf4He446yx4XyzTHyYOqKAU0DZNLE01xD4mKqOlVEk2Iz6GUWV3ybYLAnP9eGTqjggqRyXvsuf3/RVJCxsXGMkZp/J69rS3N/X9hCcJWvqMK3hNn5ygLL7eBY5VF+oO5JNjf1f2PfsvZUkZqbct4au18hXejiHr7/31dcr6cRuo7u3ki0HNaS60cclfVwLNbkWKn/wrkjiAwt9EPQZlT/LMOVKrC+30NoHHF9Wf4NC12UioYAHfidjJRpmAd0gPeYPTDbqv8l9y0/wA4uVLiNOMxd++p6l1R45TRN1QMUHvd+5Ao/rLiQXYlZSbV7ZTguC5TXopqAC2oZipbRP5YhZ3YSyeJDOLHGYH5v/D/Rlb474wMnxK+SDcoyvfuy+sTaHxNsobpefM1B003wQegpXMHvNyYi+Zc9ssp+9CI1ejhET+ZBAByhWoUJd2ixE0p8j1QVQLvSMJbAs7DcmrKa9H8++Ku0+M3PPne1Z1YDoAkodhFmJUKn+65eR7PMWcZ02Y7e9LS2cUr9TrbGTapFtG3U/Q76kwl1u8uidhwCFVsTIQ80TwTA2vjVWECbrS6Vr45c432enr7Llw0eUHte/8vcIZiu1i9rY4Gsgi9TJQeCM55Kg0CL25LmGBza3ZM5tRoeFEd4+cxoisyqtu/8ewkmP3LbEJ8ji7u+SAz4o5Y9LCd5vT1DN0tZw9Yrx9ugAr6dT8rbAFDEl+3YCvfcAECZEBU35A4+HbUK7w7FWMlPUpmw2NOcUCIAyjySGD+MDyIvB+DyJ7ahvjs5/0v4godCT2tu/ObaWWEJbmY4Umglaq47PHTRSRDmk8TBhWVK0pkFPoP5rVfTKXgaRJFxjRw7wkBaYkc40yeIQql42v1btS6jViM9LRbY8/tIXM61oJgLPVsFr2i/OgkbxVr1EsdiyWjxs9Mg/B4y1mjU5MX7MkMN6bsFo2ssodFhJBG1gr2417z2T+nnZ1pw0BjnUiedyGYlZ5PKaRSqg5IzyXZ3fT9RRB2xuRUAhq7Na4u3jmyQe98W0b/2BIHMle3C25O9uU8i/0KxkhaBsmbFpA2Pxqm5/e0g/UrSBzgNeAU9a9KYCSUQR00aR4azjdQ76uaVY3RCD8zhIbcZOYZH1T8hc2EdQCWBQTXB1tmGZ/u9dB9L0VB7chX+nuTOLEcib3v7P5M1x6H3T4A5jO59wK7QOqLGZRz5FzLe5WOP606jAWvwMu8sfbGnvAkvGe2v5GAg+Yoa2r9pZGWAM57R03QnkUqrm2uHnYccvgRTb6bKSZY/mQ3lo3TG9WCl9mqQW9qx141eRxb0sXunC6TlKbZvRFg3Lxj4n2C2Wi6PnfCpUbFckFO+gWibyjX522kEssJGxRG3RioLGPk7XEcW08YNiu+DOGw+4WsdAtxri0YY/uj3lfClW2BAdLQxq6jX+N7767eJBktL4Pddy7ZeuU7wKF+iGepr4nSJeUKP+oqWs7dsYaYmZ6xvcLCu7/OIRr1Z8UDUtA16t0RhLXusJgDkdacT7etu9B0GWUZ0UkHgIf6WqNp7S8RTERsbes4dxvhKyujG+RBvTgrcyLAC1o8rpzefE/cIA42Cfse6/Nja8hojHDIdIBdh0OhcV1aGP/Rc7wPdBvBJfOI5TKY5jY4JjJaAqERVDmoKwX8MadL15dL2iUjZaNObV3G3vehQWxLfCh4Cr9Zw2tv9GC1EnykI1eFvSH9c5VKYxfprgfOB/bSkW+hG0fhCKt4udcuQpgVjkU4bfv87C4uDhCdRYuZalUbMWwuZWvP0ajO7pKWlTVCOEVxpfTxmvR+AErOzC6m4oeHIGI90jOR/7BU1ubS63Mt9tCNh2gdN+Vh1gIwXzpIiliT4HGDPisbhOgWocmcGJfLeqsL29RIpSBPpI7YDoPnyZ2GcKrfp+3p9tUubGsboSUERQHN8yoee3TXDzAVfNRakHE7znB0KcPQd7OvHQoUZ+6pNZ6wSOnWXszETgmYAh3ZIlGzGRguDqk2Mh5wdNVOK/8Q2+qqHRImtUAQc/JAi7E7d9SW9JbawtZwp3+OGDvKMvN/lNV+f1Wn/cwGWhODpHdFyL8YYqo4d0B/1BZsHy+5rze8M1N7ZcuvhmQJrtbyuhV7wTk/xa+Wt2WD1Rkqdc8SxhSIaT9v9caYeyIULjLLrLFxnh9ub3hU9exKS3cHsE+lCUgLwobC+DGd93pHrsgtd8fm7tn20Cg4npkp7qWDhl+p1owwLalhaHxtn0s3cxUDXCMHjlO9Ay4gW0uKo/aVmLi/6HmeHl5on48yrI/Ovmh5XETet8fONiz6+ybBYMlImp1ex2hPZnrdsv58cqSZpHfj/3yV8P3cpkjmkKyuPHZ4CXfj9ct52UwTdEgWpbbN6jEKJlC1kUfLasK6EebPtuXaUgJAkKN2K239aLAGFjg/y2rAf5INHFqqP5mY6r07/JdNyMGSaVWiwYD0fZc9sBakpI5wsf5yOGvveqdOMHS8so76sMg9CeHzAOq90kSBjMX1/bOxtnCQ131JFzDupTEp6Nx3P2r1NfrwxjLVbQQNzFuUwyRUUm3gZkMKhOXm9sp+RflCmBSTLkdnkT3JuYbkBHc2Ejl0ipIyoe2K3839ICIu6p36aiM7YYmR3aEODEYTVKIOGXJNtyxno4sw1xyv1nfU7KA/Fvg4qKosOk0kEzJdjw/FL1SkRAltkNENvW95ll8exxPAfT8w6kMhabAANP3EV3PcJTULbuk8VZYD6f5e5tiGMYhSEwxkaAqKNVMqRv8ny++/FtZVQhAthWdPPDsR5mvuG0WoKOQZ+EBNtG3umEG/0LY7XshAI/E9Ho5HST/TfSjmvmOdbOPZ6UubyTRK1L5WmlYSpLIsY0mWDt19+MHww1XkeYxJBIpB8cCnNm1bOkJyRppmz2MSC/RhwfQhXBq7Kucr6U7baWljkGJn7IEqyQx6X0P7jlXqH0Kvbwhzgyu58jpzu+U1W++eOI5llFhltFqTTchJE9c2uALyHJynBl2u/QAN4eLRF1sQAuspCha7jCHq8zp24GTLiFqIC3fYAjbi67O5FkFBsP+RknbZg9vvj6UYPfvSZa0tPUctun8munrIaolePcn5qxeBAcpFu8ykoStw7joAUI/9L3ZxopWlt8+ppt1fFKv2uRxx7aTsSJxdaZs27XlU9NhrSYyDSD2j1FG+s/xyVJ5b0LOf99C8zYlCefjt7yI6J968TjE5qpYjvi1lPJTIHcIYVBAeTVe+n9kAiiXgd7TFjoDrd3TDzKdBf3aNuXCYaDxkt347rYnZ2gMROVeohX+7PFb34Z2GlFF8SbYpXrxoPA4uRnYt5ttAnPNa9x+iKcYGSy7wWnRyyisYM7Z1K7/Ew1kbU2rpxKmiIhyQ0kmdApTxik2QFx42dsmKQWRYvUy3e5zCmcgv6j9gfAYTHMcRC1CM/vucc+7lYq9NT3w42iSePM5SsTjed6TLYky9qDaa2fqIaVo02+fLpC/DqR5wwFO92Ry/cGUXVn9CquCdb5RIUL8o5ptOBm0tEL/GuutvN2qrQegzKtkB1m4gNhOuHoJw1A9ymJBBFtMH4ER8h+5pM5ee0yNRoxproL+w1ZRkbuRtRx/7hPotFxOcS0XqNxSUdFEJlZ5Adr1HYcHC36UVVW+guHYEUAFBk02u0zr68DaTwJhAQOF1SeIw3mhfuaWYPeIiJTIotYMS9W6AURmhsuRlqqchQxgtaaPdG71cVvD/oD5akuAn2rH+hQEo4sxnNIq/sf6brDABlxIFzcs26GFROgiE0OKJO4pDJzcYf0DPmYR3dUNOajLaoMxKOrncTsjyRtFVhB/u49k8Y2TgMusNqRnoB+7dznz9GrJD2fjImAf59T2Mb/N2S1EftiDnP9pQUXlkVWKT54GPnZVGS6fJpwE/WSjrDdWaMEV3ln+mckxghH4voq2W2n8z4XEriyJ1XQOneqDWUcmqpZK5wUtG3fw4IQM+dcwUbmbbsGqiX/PMu/cJjNfhmAcxC3zHV+tdSnNue/97C9qpaeOewo0iieropazEH1+AJaIwwoLMYW684H5/OsAOgDKeVsv6RfBwNvGNPxMmfilQ+f+9bSIVsxeaMyu6Run5zHoh2mhehDVXL3uvHWQHpkihdmTQ2nCiIq8Nyp8ez4OCRiAleF+Uta06jii8bBJoael7iXZns+B/IY0EhWuDrI6GPvgqbdtYRTtDwHkhCIqt4gWfWXE740hYeJQ54+9kNJTmGZWMaznT/3/w88V1SGUr9O+6Z5c59Fs39suMdxKvLGmQLm4uN6zzH9c41E/v4qEcie/Z1sKw6JX/fuPGPQZlPF+cQp+8ivk+q5EhS55lzMESvdoyOgbhqRgG+CQuNmPCgvTsOWphWYmNaDiNcIa9YZ21RTu1vdZzkwd+DVh1LqEiydTuoRAbHWTJ5W4ZXezvVckkJr6Tn//uNncpnA27YKqeWQzsOe9BqWhgOSjLtqK57MUppp7Q5KKSFpONK34nZQPUrJZeDPSyzAqPjzI3vKcZ7JYdrkCRHXXrIaSPCp8x4BfKe6mNGRGU+XPoDf3wQm/qHYuvzX0nqR7xfC+SvigxvrQi5m109OHfMU3n1tslhWaV6EfkSGmh7Zb9yhcQjOXtzRo4sTx3TCkTwqiEfZ11mqAQQ3pz30xnayy0PLIFh4oHtrOwdh3QQi86tPZtEiBdtuMAbTVLFRTh2kbutVt6QlkD57riT3Oae+pXehc6NDErKBosdkQgvbZ3A5I241EUW5z2yC+RfZt1z0f+1+7voQStkErZGe4NN0o47dHdB4bRE94LBy0jqjCk7SDeYpZoZS89dr8KZgCM06KyqV6S9/YpSaoHVOEtZShKQmrCPEqIZJIYSbzP9DEiklwDmkjLWx2vf7+DN3ekx9AAeZh/ZtCMvLstLHP8UkdiGKQflwD1lQ3EgbwButxiPW4TjVW4p0TtbtJadMOznCb1WSsm+Plky8CnmS0P5dz9w2C60a5zPH+O4KR27foZzWY9E/YOKSF+oODEiwKqNODQcdvuXesuhQRFlLC99eTtSBnBhTZX3KpOsn4ASGLVqIfVQDgXuSv45C7438TAzJfKWfUyyYYWVVlaWiQf/VtHxlVYXCw7sqsb1UxJKgwn9dpgL+iF8uKHn6i4SEYzS/ZkLC1Wy6vhBFHyP3nDkFbAy3D6bjtw5+LGntGa//XxKdiI66xBcL7FtekOMXyPP1z6U9FvE0P83MKyWjB2DCvrAqlZROHTQhZBrr/WWguS8sdh9kvHyXQZo3wrg+JBvGrZ/2nm1FQ4JqkiT3eqjhwu2CHxEGbMa1ArMiMPKteEHjnuH0UAiK2b8MPGDUEo4LWvpDV9zs3mw81GdeSqj5fCnseG3KIoQJyQTJr8/ALtxoDp9DG/yVxKPyYbgnuTXB+aRH9Tgk+uRSWUQFZ66Jr0HEIySGhFp+4YvC77ggFYiw8I/XtZ69YujnwxnLYzhDy5l7sF0yInWaW51aDAg1nsnnEv5306L/LIEv+b+cGP+P4AhwNsMZfjqhU8H0vCnyIF5lsBeVhU1wXLQYjM78N91m3C7lYJdUC9rG7sruRbnNPRlYkVdhVcWUzCLK8+Jq0TNecg71jSihNBbVOsm4jLzhjsd7ORJ3tcQFRRIQ7x6+T0CW4OsVdUQAjJYnyvqgxgv2uQCsqU7BJcN3wVKtah1HJzyU3Z63z69QJ1iFoZ+/cTic4uFAeGiyh8ti7yXWSXMKnzCak8vAoa31lbeIq3tZUeiq/WOXIV6Ln8uBIlyvofISMlcg0+3lX/PPLlUrtAMZw7d42QqlVot8e1ALDSqcsna2rvCiigvQryDyOCjNqZPQLHF6z00/yyASHZFtIi/5Ce1K0hKY/WjtrOj6R+uGBW0+/dOwQA6iZdn1yuKKj9KuTi5k5J/ZAEcm3VGPTS8+wIwXKFXe81/jHMWCr11kciZLLQ9HywXrEHRaURSqM1lpRO82nyQHa8zGsWUKjxtpNOuqtCOwrk8ppq7b8yYPbpoz4ErwtXMHNsZJr8G298VeujMmM6ytBDoC6fqtekEyTvrvoiZbvk/Bq/a8cvk+z4KB0ZuKW8aZcXG78lNLige8qRYoq9UcVaZTquxRLVvoa1p/95E6XDdg3a/hWoBMDB/jH+84GwcI1zYp6QTt0cDn3dU8hpmtHxlUpc65HyfyHUWV4pDZ0F/nSIByKRrXGnanLyl7O6Em8XvEbcUb4E7R/feohFegNkbceJpsIAoidvYgKWnNfqv9blBJurPj/lxKjLVonMaartHdSQvm4RT9H87cw5Ed4iE+g45EyVC6ogSgFJ06CgO8LXYxaIjtU8ZeaKRFti/CsZ5i2XN3I6xcNcf8hSXEcbQ0o/q8QmgyEjNxEK/B5h0bkrTBEADh5GC/0gWPFrHfRhSXX5F/4YrGsnkfrw74SyOPoam2XfnWfRxZ82AxUsVUA34HUJK2bVpLj2Ce3PL+POt6dHJcyMQee2GyBzCtMJTEV0vK1kpid3VeZKQUnx1Odn1+fn2FlkAM1g5EVlU+i11Id+UlPgr3FQhX+ItMczYSQ/w1Jlu1N3ma2DfZpLgdgJ01mqu0hrfSX8CI0GqJDe/yDICPYFghtD544dFo1tIB/D2t+YMq+GJBuW0/K4dUqZVh8Ba+u3NNaUySbC1yu0tT5JylsTPMAyGWepabqp/+4nu+AkvODsz2piU9qWwpjIHPsAHtAfSEOUKr+xhU/08cKbdPCtQr6kPm5vjtPHVz8RmuKjc4X0z2+0gFuHpa5qCMJmk9STLCcffTmxOePP4BeRZJtXdRntZvzeSoMlkVyP4TwHtpUdYl3R5mWH6KGUZxw+yv5o+KI+WwG2/PXEqyjms/kY4EBC/M1RmMPqcTNuzzrIBVp+kWn88o54nSjyxYOEiKhyta+Yg4S2jrPpITTKSegnvlFthEBDf19gCC86hnGNRqG8fLJc4Nh8JGCc2um3L1dAgF/Mz7Tkfp7a0TBypS5lEDpuW3HHeSmwUR9PWYh45fyAS6IGFWMVw8M8YOO6koPY1R8c8E3H0I56K0sq/TT/trElBRFaGu0k86xWcD63o7RPUeiZx281hAMqtcGn4DIR2jqtnLIBN03y2nJf+KsAwJjxaId8DtYuaAPd/C45FkIH+p+R7E3Pm3sLV8Os/9UdUZqAXjfQJcC/+VYAfQt7fKFaedp98x9xgnSTzHHsVBpgNGYP8V+/PiaD/xWRd5EoODozyR3t5V+/T+385Y/Qlpk8E21vZsC9oqRTR8TU0E6S0ZQVgB5dtX3JOgJASczk4mf6kmgUEg4TFuSkRHJvsvH6eSE/yLxtxL5C5C9FvFURm3oC/7AyWdrg52Kz53ef7iuOg4Rn5xnnIVFzOKg7UVpt/X5t5wnhQQBLC9rMO8d33BxSIxewrMTx4dsMvpgzEYb4NuzBwiP3y+CjdkBltPIGCU2rnSwdhZ0g8yBJWoxx1O71cv5qXkT8lwKF3FYpSWYBNa8N91DeSsZrXSSVgvicbCDyj3u/MoYPbN0P1QqW79EgfCArRYPhr1XmLnXHJDlA2l7a0f+gtON77ZLqUYuPCJw0iYj2nWAgi99gCtfSIYKFRjI4GQXQ0c1g9iRJgGzeiwe7BzoDeKGSXKscMkrdM2d+kdTq4tyLJ1TvUEG2eJsZ7CD2xVl6k+vTmgJHf4SrEyJJ37wzAIakJjZupOfnbgSHxRpSQKSBOjA8Gg2asVjnKzcJJsMOJ4EmOO+jYe/GNXYcFN/YCC0stE1Mu0iCJGrtAHjg4asvQHkE3kSIYxGKkKnPRCBbHYQ6ek3wmRw5DgmUbFCR6GhIa3z+2iX7mQBVYjY/PLK9uBKTMalPmIGyqyw6jbqqQKEi/YD06L4uCB5oB0jKTKCRTb94irByg8aI3i/9o4705cofTHrtoa0QchRoH5Ke9FQiOMTzKcFbm6hbI7Aj8dZFl39MWIgVNOdYwi1b8FsZmKPksBc8gNy75dXBIzgNmvBG/yiJ0xM1e9S6Sqp4a2HYsReficWvDjtfkx96GgSgEm1nHV268ZhotxgUNegnkgtTUEwTpJBX5WLZHFcxfG4Yq81xyoIXQkxNqXj+KOPp2r/aZwDC945PhJX+d+vK7md4WmC5fKEfRnvtcm7qOKaNNmW6BTgVNRULpkA3yjghDGOQM1wJFteu8terXgiUensz/VESXpQXkyQmFtZgXy1AwZjaUXCzYp5StRqwLJrU6rhigWSOzkuG9x2JIAtAxbF+XkLrfnz3e9FVkEt6/ne0nsJmaxIe3AU61WJh98mDUa8VVraGZsXPFpT17pQtrvpVFhymc4liTfYbQuzG8zAoOpcYZTQQTvsbIjkekWbMhQebe5ZOF89xiTb7Qo5jGfpCLeWhU2EuDRIZg6XT5Y36wlTO8RkfM4oX6rnGKRC9kl9vbxQtFeHwFTBrjeWzGMLYFJjFru6Kh03S9eBGDxaYy3EG7WwK65FWmyHHr7B76nPlgDnIJlhybxLZe0sX3tzDCrIgyBsj/Niqenhaks5oIvghn6FRXfdT8gCqinL4IKFQkNe6CobDp2vzj/+8A0WKF9jWJDmMj9+0AB+QqskRNgnfPWCySqdpkIHreKwJPdNtXArrKRjUe3cuaO6aQdqYyUYyepijV3mP+WmlqYoc0hXXl3lKVBBkFl849tb6SAdlE+WenVJPlHC78pJ9fz6akdPJ/wYpT+3Xd6Fc2bP/qUFfIVxZIMtVxsuZ6nhUaKd5Dkjpws6P5j8UCBPP/5hfeFPjpAM+a8Tz36OnpN+GIxpIUg6EStP7Pm4DCEnXu2CNjcNpWaWLXeVsdn69upIStejnya7bsNDTiDbz3bS4sAqHe+txOrQNrFGaYxcM0moLUPNCtt0/H/CpGQRDi0KxpH5rNEJ0RulrKF75k/EF1qoeOEX1vw1fLDDCuxXKEOsGmRplUdfy5hFyEEL5LqIT9RfMb9NkDi+qYmsf6ah35UmzGm+0SkfTP+xLIllCVBuS9KQIgw68DtvxWS0igQLBmSQJ13ay4hzL/Z0YUux3+N4bHnFBNDN+QredcKt5uZMQA55ZFc9xBSB99b5lbsraH+i5Jouqk3chDrNnbKJYAuTcLmg2oKlvxWDGt07GZFv79tfHK/yB13D0Hoiy/OUrUcem0jcbbS0iMQcjSwS9R7/ahUoOM4n3FUW6zuzbVBdtSUr/bUvBXf+Tnw+iWnN+8Z1rj8WcXNp+jkustF8v3OHCKrCbtVJeMwK+EofIm0I48VS3Bg3b1e8tyfJjS3I83/Xo6+MpGjdtp7+vcI2G2n+ttB1hN3u7VuyG6eX1r1e8ab4+c5Ek496PywaFt+1tt2FLrs+XQiF7bnrdMZ0eEymmt4ReKhVDTyvv7qOt7v1IUnuZA00eqB6XnLL0jhjjGSNDoWRJyYKKwXtxmtk5hp2I/P4Dwl6P7FdST/vrOTDQyqVoo9NkSO8Y94kGJGA9qrOTj5hjmeGue03d8LLU3FUmQvPSsNmUrk6p/p7pGARymAeW6AsAUf+rETrukuZFMlu9KDuC8CFbqpOizi3PfynE8KidxVRI0pILriLEpL3iYpAIRWyzh9+XZn/pqzZU38pr4jD31J3jZ7kstNA6soqSIowmem+4KzG4JAcntT+1X9XSxtwfdSki7Wvis4r13boDg5Q3S03bc7yJnD8FmFTk2gSu5OdZLkKiFvPwdJ6yuPlcRKfnE2z85V4SxGzp1mH175hCW0UNGkBJ2wLocPtxj2HPi6jePY6a6oiggGxAUvEVL2UaDVS31RNoO0h8vDhtcg+8n/Yu3+GVwOM9qO5Fsa++37T5BsDd/PWi3Es6CRXobJkDa/13HEpvAgqx2EwhQxuReFe6f9Wwo40jvO5+Cxrxaqr/lv/qHpEMnfhxdfiEc5Y9v+7pzrDOHdKLrvBdJLpMSKw5c8+If/FJOGzUu5JAFz3mCqiM9ONHrNHmMLzen7eq31vKMYzcyeiWuqSobGjWaHpk2G0xSed+ZcrJrDnCRz+LuC6I9J0U/tuVwy6jz+0Y90jc3qLsA9KhENcoJyY8nrnJ0GvLCwWjelvVMa3t/xeYIqGsfQV3gt3wXd/JMQWdPifXOgzO36SBDyYx4alnVUGQXhJZ5+9lg6usaCS+dbFHpwhn6EuVGpmSGkfY0fBkRMYCNq6GSCzRxsoduljgZql3ks9ggfSF/wfxiHhMXbKV+P8r+KxMFfOHsfK6oQqZPVU4whmXRXnfHhYkI3gNGKJYHuqQMDRnt4lGNlaWjfjRy4+dnej+oVT/E/HIVsRnklOVLyyH0kQS0Sb7Ip2nQRSMhoyehoO9826KvW2M5bMW70tteLHH6K5YpqPTiXMhAnPC4aGCyGozAN8MmkFerJEPPeLRjONQ/ovNFJZKoh8L2i2gnamwTjOuh9PhPlB7GZxx8nnL0inDxQwAnpwHVdeQazt3ZtdTFAFruDGKd9PELBd2WCP+0CtUdhjn5/X+9gMQe8Z+NkIJzrCc1/y/rqusK90zAq4+CAIZGhGvOoezH9fY1PA0mPqW4tDpEw4NWAyxmFQn9K1Av5i4I/laUTJo/cGTsR15XYDAcOgt1gd2arwa6aL6G4EqwZu2EQi0fqY3xO0C2h5yzIgSyI/YJBwdQjVcOfmJekRwA3ne3tu+hODfqqcQjX53c3lx4Jhpv56XwKWpfPjp8udPO84X1CA1F+P4t/4hiT+twiAp14urAHPkTDDdOp+kQXAJMeK300YKlZlR/vMD4Li894UJnCpskmf9SrMCMNoSMIC8/CURn6F1pVUtEb1nlRVO9uKT6fuy9C38ukD+ZrSmFv6BwaJikBqiolDSYNo1q87o2FQ1vOutR79SWaFEvxkuqBZjPnR8ohSDip3blQGer1EZegapRjzoZDUwdBBveg4zA6YunGWLyjNT0+esAiBVVAtb6igGH3Y/ft0VE1EcFx3OI4EoNPGE9Hn05GEQFwl36LO2fOkZt90p0NwhYA+0inFnboeqLPQtIqvvA8DaZ+b8z2LWT4xcWcBfoypniCsj33vnlsnhcWRQxRas15mvpf+TBWVdd8Ms61MdU7XutnlJmNaN7FN9X3DzbIJu5lv/vdOp6/UQxm1zr3fHegd/Jxch7b5U3vKmjXW/pyFf1pxVuCADvjI5nfvAcyp+5vIWDCdnqyhtzDBLJyJ48R+ILQko1D/TEEdjX85R2GORy5KOJP+dQzc7+TQdli+95FiiCZA9K3TVTssjtaV++0LsUavh6AWiBYAq2lScEG+RJoMhhjtvAz9xw2/aBuxTAXK3fV+Q55IiTTRTGGhj7qoSpHK68i4+MrumubCIYKKFR3mJCy4nmRhkrao0TMJB+8h2mZ2A/I/aQ7JPynnn5KqAqeJ7CmU5Vpafd+hMUux/OVKdbNYWd6CKhL23+LraCX5lwLYYAsW8R4DPK4Y5Ex5ljuL9kAGPwcDKLYVnGAtMYZFco8PoMu4Nsf87/tDbHS/LWxPZF0TnntC0ZEv503kS+EQPGwGjwMkanCVKctu4wJuYeL6bhpHrn6HP6QM2PRsUn54JiM504BQKNs56quhp6WNTAgHUZofiixFWAexOvZqKtoXG7PwBFXEuYu92Xq11iPPI/9pauab+He+U8p8EfSrLDXPpc17le/skwxP+RrN96eHzeKh135gp2II/B9k9mAyMzPLDJebPsMdj3xRFWmHyqm6mKbAvOGAndR+kVZv9urB/nTMC+poVgawHTwljg7yL0vbfaQOIJjVQoKqEsl7C9T9iisflCsGIMv5d7p5LdXx3z6tnWNcKhzQTAU+/f+wCp7FVxqM//zMNB2KESvlmHO5wf4VdszTOlR+5fp6daQSwPD9WqhGAfV2hvfntnO8+revrc4Gj2a6s87cF+oRSI5hdn/r3SlgoNrnLqhCDiEbMsEqRxYP8Dq0KX2eGygTycOpHgjFS/ayze8GsEC8l9ztFUp1nxYo3CiUY2mAxcSm7VWN2cX3AFZ5TxRbr7Do9sr5TmjxUQL4ov44Ee/APoAqCxUezRfsF9auHwpwYcCsrNrDGMefWuQ9WQF2Vvmno4FZPD4a5ezh4D6q8bA6tJJeCBdKTf2K7DLwrvG9QkryisnRsNqtdvMj/8/BBgomjb16O/RLw1P1OOl18S999StzuCUeDpS2QW+n0T7GEqvBZbK0S8DtOyVVjNkeQkYHz3G5lgom4ExF1sEcKAwtnlp79j/wa9nIjwn98LddFXbi6Jci3JcRQWLiv/xnzObpAAczzww/P5SbJ5EvHcfUsOpS8mrkjH6UbXpCIQAyygvPwrgnpZ5mFa22YOU7gAoH59xtVq69hGA3RuOhuJSAYXnHTscxhLoO7t5dD2JU4igzYyacXgObgWDaPfwNno0IP4UU5KQPSX//0jP6kNNe4hhCBNRMH1xNQhPYjSVfo09xuZE0p9b5rOyoIt8XipNqjzBR0vuXIMmLMxgO92tJV/QOshllwbyOUzRQw39EGjp42xxgaLwHIruTLc4SbE6gqlp5aHAt30SBnF7NTfDHgSj5uu0MVIgtJynvW9lsXvXerqFIer2eegJiNYFhCY5jAG+UiNaKQlMRiGahZngc8ZvH8+8MproaNUQVNDQQYwxE7ETeiRorQQq+VfM2mk/ZOj4KuM9bUrUjCoi8iclnOOcJCpUOJwI3IR2XTbp0lKgWKMkBN/vt7ocozfE5N7WrSTMexhDZkhq7oaLBbtQ2ppPildXlD/fKEqW+qOcdWfe6tZx1hx13tjh2AOUj8bsEyVdPPJDWDqXEu2s0sOrb82MFP+UawrcLp7QDAvbRbA8eT0mCW/2PlvdO3KXlExoZRDs/wpuOb87pBJ3ZRfpKyK0M0B1ROpZk392zDKVYHWFFe9mJA/QFbAQO+u4SOrPoPxksRF98jwA5E4dl1SjiKw79iFjWWSXFbqLypWrmd/j7E7LJeUNK698lYCY8dluqzV6kjwm7UWRwPwNhKFcLjROEV+Xx+Xbwxe/QJ/Wd/UBuxJRrvqBUX76ZwkNdf0M0zXlo2lHup6DIrwQTSH4sta3eihiw5OMZOAroeCgiGxyxsH/9KSvtqJyV6NiEX9h8iKxrtQFOyCoXvPLm1HGcxMiMhydFFg/eD4Nr9Pk/YNNcHjkYovbu6Rj6MmCgjbSnkiI0fWbZBKNSATqlJ1sM8J2J+4d+COIEzzUOj+asDBSrSSxlzStrkqBai8KMb5HxhH2yvptdXz8svslD04tRkKHrXrJuixYlXsFrUXcXyP+P3Yh7yzYmXbrYOaKCw+or9v807oKqsIzqlrW6qc7BE6D7E4VI0n+L0i2D9gkH4Q3KJ8D1YBgeedZIkW7yESegP1ydYSPO4Gw3ahbjOvAAzpjbuSQYB8DXO14cDhNqHRPjEKg/AjvE2J0m0Bx9tfCbrwXJkT5b9FWM/b56LYHHJe+Mk0gmObD9BCnhN8lu0ovfJA4tiSCxchOZaS2lMBmwQCboz1ov/Ldlt/eMN19ln74tOa7QkUgKaVELGzVoryyytwOh0ZvAFyQFV0yh7Rfb7no7vPJil8gX28bAEXQ+chNN2JySBvVkvSUKClGwBKnRi+dUiNgd9Em4n9tKOPXu5VAMv5GQArBLeDyDVH6C8kwvRcvLJISDJcm/uQ/D/uOnfUquO83sdCc5F1svSgY6kxUBNk4IL226b+xKmz4EA2s3KeRzUbZay0pRqJ8IDRMBUC5WeXUa2wF/f0KdrBck9AGggeQqYArF7wAVY2a43Hbo4dRpRGTzooJSDVNupb+SaJvgkmbCWwLhMoZrGv9pIhJFJdDBnC+FwPztuJvWq6G2Z+uwXn7guB2kNit5Sm72tAcbI0xwSim7QN1nWDKxJ8RDOPlEhfuYBujvMOYyhMC7qXpv2lNjC5rNXIb4ZTUI4fF2vWwEQHsoeQqi91L+zUPFlmI+KAh+QeoE6E+u/HIUmqrsuGolJAQeiY++jC+Ug8FuWh4ExRdPk2oCBu/7YnQ+GCuouKAyN94V5jrLPt3Wq56wZhPoO9a89EglPDVu4CKfD0xBWb3m/CrtHCG6XCvgTJqa/GrZYoEILIjZ7KvhfPfpezKXDpl+2S1aBFaDrH5oy9SXgsS6+GpQVNyxnlypQNipJmVlIS4TjbXBXhsGCbCsbFhuLXCfmb2RunITg+Y1JQ54Eu3MMPSfiFdRwKyj1d9K+YMbfqbHjxd2ftGCZtrzOLGJ1T2JU3l+BX2DVAFsp02eicPMNO9oQt9YhojS+bu34fZybHRlGipwhGY2Oi2VTK9FCYdMMSFZtLXlpsyLXowYUvdBJ1WMqXEE99wwlX1QIcoLmkERorrgEJBSxeVCKinO0wNAqkBWgVRO2RUq5X9LYzMF6WNlVzLOSr2CmJtOXrKupd9fTyj9ZsmUJLJwhWFI7VKWklQKn0PrWHhIHVPYzIKhSJaRH/sfqN6z+5tbW//phbe+j+YkHUX8JoNtgsUKibttxy4Ywq+Sxv/DDIKMogFcp4bwbel8LebX1VxTNUuENtbWl609QSW5BW5oVO+klPNZreM0JhLBrss4Wu3AvwrMZXCEPHT8Am5WyvVF9uVZY6Ld3FeNXPVuKw9Wsd51y9NhfkS7jsZoFAZOHbYKhvzs+ZH7dTDwLZHKeq0fXpDXi4yBkjLDdkwMOn9rsdDnI81Q6t1ozMx6TyTEGz79kDuYENteJhuYmuTebp+Jq382XKolwe3s0Lic60D8tlAvB2y54NR1lEHnZtE2UVr3AEMsIkVSimx5/lag++T80OQdTuYR/QgL0sthaZG6GqgfQShFohyGg1CUNBk1OmQeVWKVHiV37+bV3aZBE+/KmJLmO2A4bWr7Rccfu9VnHpjvTRXxZSM3dQm5PPaKA2L7OitYIdN5hrWh5BgOYEfF631lqlsdMih13NyG4rjqsyLqIRSwSw01e3c0YorQ8UbosxiOkRbaUttG4RmyQJUxD6kXKql8R8mVLa9j54isyD5EkOVsKbqTfgh58gcUp76AwXf8SdKkGRTf2BkaMcoJeHHl6aEcdNDLszZzbydZyD/3P5Vm2Sv0+/2jl6ibJ1jdGGy3n42GFHsnEfLUOckVOYsv5T1Jt5QiBqQrblqfU21c7jNG1u6d1JARSYSeWjB38AVwgsKYBJB67J57gF3Y58G0PY/zfuXyvplSVMD5v284at5m/mlwTxyXEvMDzD0obAXWd+rXml6BVCJ0NZPfAFnMkx1SFiy8O/wZ73lvzSmRjYoRJnDqKMNfFRfI2e4UPETUwDnDWyfe95WOLtkgN9ojGvX7LqDbcRetBJ0F/7nI/D+nrTXkEj9dslZ3TZ4B/+HdV2Z7/pE4jtIBujxi1CfkG4I81b64eSlDZblbhUcZ410mIz+Z5cDHa3ilBGf8V68NladmdaOvT9gTaOWRdJABhkB3BlM5Bz3cnYw7OHrYPdnaU43pYLLnKenZHBzbvNJ4h6p5FCapnvPM8p1ydWRzuwUgYla8EmFLH0wbSaBBqaxfbQ+eDVeY2QgwAM6srFB8r/V0F+/fvJttRtjIXgoOdisQvUWFkR1OiaKtVZwqaxTwn4+7Y//h872VP+FiR7eVbKzhG2GnTy8O/wa/lVP34RHZwHdMOHm5DAe+Bm2ajIlH9p1if4bXD5qpn1zuyu3Q3vnP6wEAhAjcq8O7uTS/ZTVUnW15yk0pg7dhT4+bFX7PBR4x5KGcUidXMMAgdRdOCiWTwpa8/6A4FJUv8Rkmif0P1/qjK/j1wc5lQxwAf3jnmKkJ/D7XBnqERO+R4riXcm5juvydTVWJkz+QmksdeLbaiYM2LK2aT4KrutB/liQyTXjWZ1x6t92HhD/xkmAp5NzMfQ97nWX14eMvbXqSCwEa3StKGMI/19RGyjPUQgszxnVimffKLOCyPUQepvcEjQAcoGOg8dRK32kk1msr4jHEI6cE/enZNJte/oc80sP3ZLbf8fzSkeUsUdFtvu/4/mlNzENfSo33/y3dIdAmfognC0QlE80O56aANWjQMrbyGvJhSRP6HaPuI4vvh0M60p1fcXoDfGVjj0HL4kKbZzXMO/zxC8U0my3xnkWx8asfgwTXL9EfRqkab9S8ZglnsuWzRbrTGmG2GydAiKQxu8jDUPVW5ILPxgl+StJnP9147sMzu8wrI4nWQZsm2rZaMocLQKaoRe2V1wNYsZDr0Jr3sdoiucoQ2pYJvADZZdp7a0jJ73NUwZ+THgRUUd14p1TXAchyY1z3qEgzgVmm8ZkRoW3H+fljvpanw2jguN+3uh32Bw99w+tY86gG2hqyvsK0xZi5abPhcPVGdPOgFPZN1IDQqBX5mihXjRqK7ZsWKDpUEieq4BQh+XfdRCytf69o37KL5uuFkClOWB6yC1bVlTE0OG+qhjtyIPE+2Hq3/eyCcLCMEZcAHNWp9Mb7ckUiKvIUaBpwlTc5w8Ca9dr/jGCs5Cu0bVRuFa1Ktd95EInkNgVK9tVzm+Z1v020xsm9Ktv5lQYFyVEPG8kCsqBeHsT8RyTkagHRwMuxPTABdp7aX+sAmhCoH+kvzE49INvHiKP+XFkIisCVnr4spsP1kXdRy5NIXMDT/IIArclnrNIALykqx1TQqPzKP3a2AAJykLFg3wg5nkdYOxNMmatUvRSzROlnSc+I5ngpRVagfm8TFCl7POhurL6B8ru74zTfBbNfhyJL50uYWtURuWmmwlUyxzzyiGZssB2fnhSlidcZ6/aGlgl1wkNDpblvgAAQ/Jtlt/1OasyGQnqijKlrOENmUz1RxwC1o2UOUwtwyajoqWG0OO6eWDDe4xocKi5uotTo+nuOxRYGAMBfcMRygjvMfttDizpPtr4LJ6QbIwb32aT/5oQnFcMSRLsffnkfsHgafQDeMxfF7II5ddrmCegmMnN0fU0VoCX7QQoZy/6IbVSRNPgaPu77BLzpMuCZczMfRsr0Imx2M0Z/wdu2yB4WQWce9O7Z1OcE9xRs4FQROlxhtCh+h05YkYTpZhMQ8F1k6sePe46Frs4pqd325bHimwJ0+o37zB4y4XGDbA3Wb7gde6kEfMGgAEQSq+EyWlcw58CnC7Xigp/H5Ar2PSo3zdaq2fS7amHzGETdGTiicvraRPxsfg80W1y28L4Ha6hK29gPWHmKEMxUmWndp+dTSYWP9EW/PURYjJmdyX7+uOZw0eMxq4xbiK+vw5YnLNpDLg5YIHgipTW1aX02/0bIoZQoCg0fCLe1mt/32FfuErV6OrRbTqw/zuTn93SX6xNoXYo1Je28pN+XhyTMM54JHjlLwbEoi1baWEC2q94Hw7WtSm58i/jQ2Uhi4zuluFwKBWK4H1AkDMzhovVyNk82V7j04sQLyraxXRp5feumpOO+L9dE+nHevOWgYT7Kd3HeBez6gQmJVlh6nO4sUk/RE91pXPkSSxI8DIJBtphJdaMsegl8GNgvuk/hGmmUQRlKIvxe7ptufRA74MfQOMjvQsiy15bptx2rkEa1zakjDLHjRLbStX3igwK9+9XOKe0vx8iZmleMXvHMYVDB5HfdeRD+YzjNRcGWQmbOBt6RDHJFcKl2Fu6d7+/zUTfsMDZEiQWhusGAgRNkz5GovDSR4mInb6YtMtfyTpNwKXv5hn18xu6q067wErPf+5IC1Ojvm3k9C2FbaYtmRNzbVPl2gThgJasBLIjw2cd19mcTQNewGTaknq4N1D2GkQu4tHzW68XiJY3OMDL5tYe0qgCRHvaTJj1fcYI63uhV4LBdlG9oeQ5oF9FMRb0FeCi0MuYnAZ0h+i5OB9m1ptJRZZDp91VUU9qLOvyB4N0LbUbDFREQacKvxiyZ9ow2dTCjer81bdwwl2hFpaifiaw0baF9wtEuFXHACm+0+uI94EcEqSdaFn+CF8RHFO6bDZipgiSipgFSzzS50hogleJaD64DCoUxUw+fx4JOFcECql8vGqYtJc6rgzXqrTFMWL75y8Ux17ckmllLbij+sn4FxoMU6BrA0DhZqr2Q3p3AwyNA8q3oAyWShdst6cvSIPlykt0w8XoMn8kI6SdYb/dcv/QsW9YgQN5WyqhSw1rVDcY5rjPBx/Gzq5y74tU65QDbvSYC/MaTSX9sHbwLsdhSDcORl1osIfng6VEu7sKXUmt4jOnpL1VsqnraHEkXS5DBsttQn3eoTFihP0Ir+cZx+FO1xXL8jF8BtrMpssFaH55I816LGBDe2QgKVaBlc1lUjfmBBj17f9E+MuvBcAbn6hIv3QzpovofE+VyEaowK6WgsKRHpl4/9aIRPtinC0VNSNcxK+rSDBOpZGGrb1v2wtlnVxC5PcO2Tqn6I875+zUdaaEEPo+0sC3kFYYOJeeUMmrpX98AWRAyPlpolhwoQzqDauvPRvDaruO/Dz34vdjpwjFd7zCO1wyUlrlVD2/VPlghfYwJlsXxzPKfhYVGQBeu43LbAj6xcSKRhEU6B+VtOl16WFX+d9m1tg39M/RPkLPOdVXEnjsNMW3poxD/h8hFo0ZvLhdlWPdvjjbNNxk8fUh8g6mtbbUKs84NKli5+SZtgw6cjooHveKyaZSh5JgJsK3z/G1N6lJYw7jURplHPnEVdvd8r1N1ThGMSOuCYe0L8ype8dRm92//g4m5OMX6+asbu4zXZe8XCzZ5cFSDZlmIRV5RQ4kGp+dWpAIFgqFZ4KrvaArURw45wR90Zg3RQdTDl8MlI4rQeXBRNu/rhiBuPbxRk+Wkysw0my/wJW4ubbcHltgI/mlcgxfguICzgdogNn7ekShGu+sNsQhwEmGN25EnoFQpOJe9YIovspzdgPsNb0nTrvXZncD64B/DERaBWe4voS0Q75ASL63iR00XaT66VEA2QmdgRiG+d0eRLhq3D5hb8XNnmJRwoTN5pKMu5jhekM6jvmP6cy2PvJBPsXCi4EPYQ35cr/1mAeLhXcMi9mZ3Xc73iFzyOBsHdPHj9XKaq/adu1Tt2xBezzQmDSpNSdeZ+YxizC0rARfTZirlBZ0u3GWS7GMLi7qEQ3v7mu2Un8+IwOn9gL477VHOtnHcvs/11sKJpLZeoCBDHEeHyDchWZSnSncvBsHo9HQ8+CUH6CX6adEvjJ+z0KCqe/HkRUvAro9SXOe6tEvEoiUMAH1XQ/je5f3o60deBi/sgfaT+kdg1pcvjxRDvdpSHbvincPRo68dWQmc9p7O4M/bGvddTLD2h9IQ2/O/kTEgSNCRGwCCwst5VbEu0DdyZJ0460IBIJhpbt4lOJbwZpXmtSIPpeHybRBIUEeifh0uAW3JVTuAyjk+jOdjxk/b+KmB60XnPLzORw5cWEmoaDW9akUxVEzZ1dEQN/62lAoB2VqD9KD4h15Ii8w5itG70yoR3uDbqODL1LCcoiG4lzzokfXfvVFAnsCFPIokQCcMV97K353caF+2qcps/NvrxaMwkOBUe9n3ipcgGFOPxfkibATQRlml/0ROzInETScOg+/kNd+J/6dVk21az9dUfPn0XxRlKpTmbOscP7QGMMbqupk5vLtaGM00/ZRCxJ29W4sAZREBCj/ta5MTYWNhFiP6usq0eHraeJu7UkmJxcpHL8k0ptcjZUzlDwR9OwOPoW006Iq7GB7YcB5AaDEUtHaIEfEhdwnkrziWrDQKpkv/jx/rcqWmiNuwzgEanpA5h/aZdgHYXA8jNU8SOOkONdExcaB+KtJY9c4zugPAp70GglrMkab1g+UyLYlo5kw3eQPpr2uy/IQz35z+HIeHoOBvXVlC5OYYpebIZlPRNT184BKxriH2BlFBYvpJhDi14dsvot0lbfszIDsU30db7R8bfabq0JPveTN5ZkoqUQSfEwtw9dkruG6MZvqXqZ+bpdM567epy9Eaxl/CboVM3OIZmSXruRV5QcYPe92kGlZzbICGNfTB+uSyOzUE8hj7Iv04yg4L2sE9axg1cQ+u4Ieju6PjCUAhcLiqVym08e+HpTFjk7LHAykYRp0mSlKZIU+O6kP2j0SfOAN49JerI0Jxxg6R9naaSNdMKWrT4TIUSNPFWEQmheBhaNMGBfyalaLFO3SeVTibe5A3g62T1YhqKJNse+z2nF/AmQ/n1wv6/x9HjLtFHVEOu20O9tLES5RTuShhtz1hjpzz8hGJTuEMwfako1l5z0f3TQs4mnqJ+dF7p4BE6YhzSn2mXf52Ly77AoC5peY2cuyiVwYI1KR0HX1mVtQ9JdmPDbl2GhxmHcYgZN73lwXG46bfRKpi0KHTUqkr417BcqUh9AQb8rNgy9nVSqqtrkRg+mWrEL/6IB0yTMzRgWN8pGCQZCD8X0JqA45AX1pdoqi5lFsKzQW2SbBPtDtuInLc7n4b/ZblOxmcifyuQz0SND125QJlRqwn1wdwBKH7IbjErp/PVIVtHAYvJL2HFnP70ox1Hl5xfKmn6L7hSp0eLw9cGgOY18VF2RuyvDrIRwQQKwHKJpDyzUc4JVbFwD64OWevdPas77JLjNmBvXf7SkK52BKCNhOHEa2OktAUZk+sD9Y4XajKmjngJboJNJeU4BTKdgeBLfI7eAZ1WH5yLlPsQt41o0orOD360JlmmtUSSR6fz7y9ATzotq/eqne4wwDVb4qpXt3g8+A+ZEJvwBCkbWqh4y4sk9rVTs8cBCJm8tdFK7V/pqcegzAfJy8CfkQaeLgGv69ilJE9RsTEl5bMPcvYZEKs0IBQqD5t+o8vUZNbeSdJJqD7L+cqa16EoaKjLFY6073CDV2uC8ji7D7pa6cbL7mWGZLOf6pcICYzEKZWp/xFaEiHDNT9g1N4koN/jSwZFBpgR8gDFTroTVC98LCoDXhWPhcAUg/aSZ44hHq2q8GcgLWswTNBKvlw1IVXdKhtdt1Du53UTYJpMhAeIiEQUiOoPxXquimHb7PWVVS2FvvWNfKPIqvrfCi9yYSyQPUlO3rYz0L6HaYeDdRf51xSLT1YeePaidnRhhb9AjvhBc6RPXm37JXYQpeT4yePtXJsIecVsXvgY79K3CceCnXmh5c/s2J7T5H1XUTUqIzEVgsj0QefWnn0ubcR2FWkK5f3CqEP4rjcOBx8z0lH5UN8VuYf4DwUjZJ2IghNCa7ZObNF06SJoE89YHEdFDLtcbdOo5i5vQxoqHAwQTHch5Fqtn4SmyCcY/rXyRymvt1aMvfd/W2BEuz2zz12TejRdB5AV+DOALOx8Pqs4woEKI05hCTIyaCui10fdyAUR/U9kpSsLjyvVzt4D1csW95dWxabRknp8izfKWm1c5/7SKe4spy4WKjgH57yEMltnD2s95Fh/fiMKYt8bCrz3I7W3648i4CYjiQoC+LLrp+gdzwqIPBgo+SCAiPxqJz5lR96Ac1goypScGi9Ex9En9jbg9XsvsKTCJ3eyfHk5TbySLByMjcyRtMImVkBTwWR9rPdnlsX2I0lbvIH7h4xVBJYMILL3ozpdDVAedSs9M9h2xMI4/EGU35RSNxni9gk5Os4NDlqVaH1eFOTqV+zH0g8a4hf3WaQGGzjxvYCgLzg5DVkl8+nWodw5rqucFoO6ZaAja72GGn1ENUnyFOgr4Gt1eCQE+e5DXlK51cCG4Lz0h5llxFSICi21fM1pAddLAsPDKce/xhfiprtDZ7pauN1Ts8THU+/rGjRsggJgqtRsoBcfHxQm0Pn6y8wCj5IcPBegYAJva7+td5chJHWhnRmE8IgYfg0JJe0TJnPqaq5/lIaKQ5CLMlt5RIt6awFepm/kb3amMyLPwGKnp5AWNU6XtcwHLEGls9u89U5UyiKbUk/DoDMBCZblteZ8fBYbd9O3XdGSYVmpNMO/wjjy5uvek2L6fFesOGSApv7C2t+r1Fw8HyrX/vK81+pn1tj0I30RnBNkWbU45Q+uI3xzBw+74WylM2Nas4JTO0w2thMBsFqHTI1lpIt6Cqr0q6IOKuSxYZBkhIS6wQal1YnrQaGqVo5h6nvK9atKfJfcO78kzv6sktM9uqCQWcQMCgZv6tgABS4IrLYVvVNomPSSItX/pkAwHVJ1wTMjmH3MumbivAa+jGksrBGRuqHAvoAe7cSe0IO7pMnBtdibrNMRNyaAErrCS5Rehrqase03xczw7AEsmM++0k+YaKpwHEVe5ORcca3/cEG/YsT5LOr9dD8Xcrt6N1jL4IkStoO9WG/hmgDQxGi1V7SfOzqM0GMlVt+puhTmFve0TtKvL66uxnRhnwB1wKVNyL8eOhAHVJFED4WkTH/CsNg6Etss68E6/6nfCPGij1XGpJ4sf7kyfcTqXBPw3PBLvU1G+Lp/1nk7xzpy3pQu/4FBhSL77+AjgVt5aI+5tzDbdrLIgH+3274Bf5iS2wHzK54IAINIdAHNgDS6SO8XTQTdwxbqZHcAF6AAAAA==)
๐ Schedule
Tuesday, 11th June 2024:
Lecture, 10:30โ12:00
Tutorial, 12:15โ13:30
Bonus, 14:30โ15:30
Aula D
Wednesday, 12th June 2024:
Lecture, 11:30โ13:30, Aula F
Bonus, 15:00โ16:15, Aula I
Tutorial, 16:30โ18:30, Aula I
Sala riunioni secondo piano
Thursday, 13th June 2024:
Bonus, 11:00โ12:30, Aula H
Lecture, 13:30โ15:00
Tutorial, 15:15โ16:30
Aula L
If there is interest, we can schedule informal additional tutorial or
lecture sessions. The times are given in Verona local time (MEST).
๐ Location
All lectures and tutorials take place at the Dipartimento di Informatica:
Universitร di Verona, Cร Vignal 1โ2, Strada le Grazie 15, Verona.
๐ Remote participation
There was the option to participate in the minicourse remotely.
๐ Registration
No registration is required, but for organizational purposes, we kindly
request an informal notification of your intent to attend via mail. If you indicate in your mail
your scientific background, I will try to tailor the course to your
interests.
๐ก Syllabus
- Construction—a flavor of mathematics centered
around informative constructions
proof by contradiction and proof of contradiction • law of excluded
middle • constructive reading of logical connectives • decidability
• Brouwerian counterexamples • geometric interpretation
raw transcript •
notes (Section I) •
transcript of the first Agda session
- Realizability—extracting programs from
constructive proofs
connection between constructive and computable mathematics • basic
definitions and examples • realizers of negated statements •
soundness theorem • induction by recursion • cut by composition
• Markov's principle • a counterexample to the axiom of choice
• automatic continuity • infinite time Turing machines
raw transcript •
slides on infinite time Turing machines •
notes on toposes
- Double negation—turning classical proofs into
constructive proofs
a classical logic fairy tale • sarcastic interpretation of
classical logic • embedding classical into constructive mathematics
• infinite pigeonhole principle • well quasi-orders • escaping
the continuation monad • Barr's theorem
raw transcript •
Agda code for Dickson's lemma
All material will be accompanied by matching exercises and, for those
interested in that, a tutorial on Agda—the programming
and proof language—for exploring program extraction practically.
๐บ Recordings
Recordings are available
on YouTube
and also for direct download.
๐ References
- Andrej Bauer. Five stages of accepting constructive mathematics (video), 2013.
- Andrej Bauer. Realizability as the connection between computable and constructive mathematics (pdf), 2005.
- Andrej Bauer. Intuitionistic mathematics and realizability in the physical world (pdf), 2012.
- Ingo Blechschmidt. The curious world of constructive mathematics (pdf), 2022.
- Ingo Blechschmidt. Extraction of programs from proofs (pdf), 2022.
- Liron Cohen, Sofia Faro and Ross Tate. The effects of effects on constructivism (pdf), 2019.
- Thierry Coquand. Computational content of classical logic (pdf), 2009.
- Laura Fontanella. Realizability and the axiom of choice (pdf), 2020.
- Ariel Kellison. A machine-checked direct proof of the SteinerโLehmus theorem (pdf), 2021.
- Alexandre Miquel. An introduction to Kleene realizability (pdf), 2016.
- Jaap van Oosten. Realizability: a historical essay (web), 2000.
- Jaap van Oosten. Realizability: an introduction to its categorical side (web), 2008.
- Thomas Streicher. Realizability (pdf), 2018.
- References for Agda
- References for synthetic computability theory: slides of
Andrej Bauer,
Andrej Bauer again,
Yannick Forster,
Dominik Kirst
๐ฌ Contact
mail: iblech@speicherleck.de
phone: +49 176 95110311 (also Telegram)
This minicourse was organized by Peter Schuster with support from
Alexander Mai, whose work I greatly acknowledge.