{ "cells": [ { "cell_type": "markdown", "id": "6681395b", "metadata": { "tags": [ "CSP", "easy", "Intension", "NoOverlap", "symmetry-breaking", "complex" ] }, "source": [ "# Problem *Rectangle Packing*" ] }, { "cell_type": "markdown", "id": "a410c5c9", "metadata": {}, "source": [ "The rectangle packing problem consists of finding a way of putting a given set of boxes (rectangles) in a container (enclosing rectangle) without overlap." ] }, { "attachments": { "rectanglePacking.png": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAEY8AAAotCAIAAADT3etkAAAJMmlDQ1BkZWZhdWx0X3JnYi5pY2MAAEiJlZVnUJNZF8fv8zzphUASQodQQ5EqJYCUEFoo0quoQOidUEVsiLgCK4qINEWQRQEXXJUia0UUC4uCAhZ0gywCyrpxFVFBWXDfGZ33HT+8/5l7z2/+c+bec8/5cAEgiINlwct7YlK6wNvJjhkYFMwE3yiMn5bC8fR0A9/VuxEArcR7ut/P+a4IEZFp/OW4uLxy+SmCdACg7GXWzEpPWeGjy0wPj//CZ1dYsFzgMt9Y4eh/eexLzr8s+pLj681dfhUKABwp+hsO/4b/c++KVDiC9NioyGymT3JUelaYIJKZttIJHpfL9BQkR8UmRH5T8P+V/B2lR2anr0RucsomQWx0TDrzfw41MjA0BF9n8cbrS48hRv9/z2dFX73kegDYcwAg+7564ZUAdO4CQPrRV09tua+UfAA67vAzBJn/eqiVDQ0IgALoQAYoAlWgCXSBETADlsAWOAAX4AF8QRDYAPggBiQCAcgCuWAHKABFYB84CKpALWgATaAVnAad4Dy4Aq6D2+AuGAaPgRBMgpdABN6BBQiCsBAZokEykBKkDulARhAbsoYcIDfIGwqCQqFoKAnKgHKhnVARVApVQXVQE/QLdA66At2EBqGH0Dg0A/0NfYQRmATTYQVYA9aH2TAHdoV94fVwNJwK58D58F64Aq6HT8Id8BX4NjwMC+GX8BwCECLCQJQRXYSNcBEPJBiJQgTIVqQQKUfqkVakG+lD7iFCZBb5gMKgaCgmShdliXJG+aH4qFTUVlQxqgp1AtWB6kXdQ42jRKjPaDJaHq2DtkDz0IHoaHQWugBdjm5Et6OvoYfRk+h3GAyGgWFhzDDOmCBMHGYzphhzGNOGuYwZxExg5rBYrAxWB2uF9cCGYdOxBdhK7EnsJewQdhL7HkfEKeGMcI64YFwSLg9XjmvGXcQN4aZwC3hxvDreAu+Bj8BvwpfgG/Dd+Dv4SfwCQYLAIlgRfAlxhB2ECkIr4RphjPCGSCSqEM2JXsRY4nZiBfEU8QZxnPiBRCVpk7ikEFIGaS/pOOky6SHpDZlM1iDbkoPJ6eS95CbyVfJT8nsxmpieGE8sQmybWLVYh9iQ2CsKnqJO4VA2UHIo5ZQzlDuUWXG8uIY4VzxMfKt4tfg58VHxOQmahKGEh0SiRLFEs8RNiWkqlqpBdaBGUPOpx6hXqRM0hKZK49L4tJ20Bto12iQdQ2fRefQ4ehH9Z/oAXSRJlTSW9JfMlqyWvCApZCAMDQaPkcAoYZxmjDA+SilIcaQipfZItUoNSc1Ly0nbSkdKF0q3SQ9Lf5RhyjjIxMvsl+mUeSKLktWW9ZLNkj0ie012Vo4uZynHlyuUOy33SB6W15b3lt8sf0y+X35OQVHBSSFFoVLhqsKsIkPRVjFOsUzxouKMEk3JWilWqUzpktILpiSTw0xgVjB7mSJleWVn5QzlOuUB5QUVloqfSp5Km8oTVYIqWzVKtUy1R1WkpqTmrpar1qL2SB2vzlaPUT+k3qc+r8HSCNDYrdGpMc2SZvFYOawW1pgmWdNGM1WzXvO+FkaLrRWvdVjrrjasbaIdo12tfUcH1jHVidU5rDO4Cr3KfFXSqvpVo7okXY5upm6L7rgeQ89NL0+vU++Vvpp+sP5+/T79zwYmBgkGDQaPDamGLoZ5ht2GfxtpG/GNqo3uryavdly9bXXX6tfGOsaRxkeMH5jQTNxNdpv0mHwyNTMVmLaazpipmYWa1ZiNsulsT3Yx+4Y52tzOfJv5efMPFqYW6RanLf6y1LWMt2y2nF7DWhO5pmHNhJWKVZhVnZXQmmkdan3UWmijbBNmU2/zzFbVNsK20XaKo8WJ45zkvLIzsBPYtdvNcy24W7iX7RF7J/tC+wEHqoOfQ5XDU0cVx2jHFkeRk4nTZqfLzmhnV+f9zqM8BR6f18QTuZi5bHHpdSW5+rhWuT5z03YTuHW7w+4u7gfcx9aqr01a2+kBPHgeBzyeeLI8Uz1/9cJ4eXpVez33NvTO9e7zofls9Gn2eedr51vi+9hP0y/Dr8ef4h/i3+Q/H2AfUBogDNQP3BJ4O0g2KDaoKxgb7B/cGDy3zmHdwXWTISYhBSEj61nrs9ff3CC7IWHDhY2UjWEbz4SiQwNCm0MXwzzC6sPmwnnhNeEiPpd/iP8ywjaiLGIm0iqyNHIqyiqqNGo62ir6QPRMjE1MecxsLDe2KvZ1nHNcbdx8vEf88filhICEtkRcYmjiuSRqUnxSb7JicnbyYIpOSkGKMNUi9WCqSOAqaEyD0tandaXTlz/F/gzNjF0Z45nWmdWZ77P8s85kS2QnZfdv0t60Z9NUjmPOT5tRm/mbe3KVc3fkjm/hbKnbCm0N39qzTXVb/rbJ7U7bT+wg7Ijf8VueQV5p3tudATu78xXyt+dP7HLa1VIgViAoGN1tubv2B9QPsT8M7Fm9p3LP58KIwltFBkXlRYvF/OJbPxr+WPHj0t6ovQMlpiVH9mH2Je0b2W+z/0SpRGlO6cQB9wMdZcyywrK3BzcevFluXF57iHAo45Cwwq2iq1Ktcl/lYlVM1XC1XXVbjXzNnpr5wxGHh47YHmmtVagtqv14NPbogzqnuo56jfryY5hjmceeN/g39P3E/qmpUbaxqPHT8aTjwhPeJ3qbzJqamuWbS1rgloyWmZMhJ+/+bP9zV6tua10bo63oFDiVcerFL6G/jJx2Pd1zhn2m9az62Zp2WnthB9SxqUPUGdMp7ArqGjzncq6n27K7/Ve9X4+fVz5ffUHyQslFwsX8i0uXci7NXU65PHsl+spEz8aex1cDr97v9eoduOZ67cZ1x+tX+zh9l25Y3Th/0+LmuVvsW523TW939Jv0t/9m8lv7gOlAxx2zO113ze92D64ZvDhkM3Tlnv296/d5928Prx0eHPEbeTAaMip8EPFg+mHCw9ePMh8tPN4+hh4rfCL+pPyp/NP637V+bxOaCi+M24/3P/N59niCP/Hyj7Q/Fifzn5Ofl08pTTVNG02fn3Gcufti3YvJlykvF2YL/pT4s+aV5quzf9n+1S8KFE2+Frxe+rv4jcyb42+N3/bMec49fZf4bmG+8L3M+xMf2B/6PgZ8nFrIWsQuVnzS+tT92fXz2FLi0tI/QiyQvpTNDAsAAAAJcEhZcwAAXEYAAFxGARSUQ0EAAAAddEVYdFNvZnR3YXJlAEdQTCBHaG9zdHNjcmlwdCA5LjI2WJButwAAIABJREFUeJzs3cGJwzAARUFp8TU9u+cUoK3AkCWPlRNmGvA/CpmH5lprAAAAAAAAAAAAAAAAALztZ/cAAAAAAAAAAAAAAAAA4EuolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoHLsH3Necc/cEAAAAAAAAAAAAAAAAbmettXvCfXlbCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGgcuwd8mLXW7gkAAAAAAAAAAAAAAAD8kznn7gkfxttKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEDj2D2A15xz9wIAIHKuDR+dzhIAAADAGGOMteNqYozxdDsBAAAAAAC87bHpTwd/5G0lAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGsfuAbzhXLsXAADXzrl7wQuW4wQAAAB8r3n724mHqwkAAAAAAODC8/Z/OrjmbSUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAACAX/btWAAAAABgkL/1JHaWRzxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAA9FS1iAAAgAElEQVQAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSAAAAAAAAAAAAAAAA8LCVAAAAAAAAAAAAAAAAgIetBAAAAAAAAAAAAAAAADxsJQAAAAAAAAAAAAAAAOBhKwEAAAAAAAAAAAAAAAAPWwkAAAAAAAAAAAAAAAB42EoAAAAAAAAAAAAAAADAw1YCAAAAAAAAAAAAAAAAHrYSEHt3cMIwEARBEMF9lX+gF4CcgjGN15aqIpgEmgEAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgMaaHgAAAAAAAMAj7WN6AQAAAAAAAD3fSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBjTQ8AAAAAAADg7s5regEAAAAAAABf4lsJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgMaaHgAAAAAAAMDd7WN6AQAAAAAA8P/Oa3oBb/GtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTW9AAAAAAAAAAe6bymFwAAAAAAAL9qH9ML+JxvJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAIAXe3eMGjEMQFHQAre5s+6cAyhlijiQZV+Qd5kpXX1cGZmHAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABonLsH8IQ5di8AAAAAAAAAAAAAAACAb+5WAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAACU+2JoAACAASURBVACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpjrbV7w02NMX4+9LoAgJd09WFzHMfh2wYAAADe2OWBwK7TgM+rMR+OJgAAAAAAgF/c6eeCwORR7lYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoHHuHsDfzLF7AcBtzLV7AQAAAAAAAAAAAAAA19ytBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTO3QN4wly7FwD8pzl2LwAAAAAAAAAAAAAA4DHuVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAvti7gxOAYRgIggT8Tf+FpgCniQ2CeKaCewsWAQAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNb0AAAA5lzX9AIAAADgYI/TBAAAAAAAwA/5rQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBjTQ8AAOB7e08vAAAAAM52u04AAAAAAACcwm8lAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVbiZe8OThQGozCKEkizbq0gFbi13MxyNiOj5Mozck4DfstH5PIDAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTW6QEAcALLMr0AAIjs+8zvOicA4Gs4JwCAg0bOifvNMQEAAADAN7hch/6u40XeVgIAAAAAAAAAAAAAAAAacFDZ/gAAIABJREFUaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAa6/QAADixfZ9eAAA8tizTC57gnACAj+WWAAAOOsU5cbm6JwAAAAD4UPfbGT6x8YC3lQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGis0wM4YFumFwAAAAAAAAAAAAAAAMAvbysBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAAjXV6AM/Z9ukFAAAAAAAAAAAAAAAA8A9vKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQWKcH8JxtmV4A8DG2fXoBAAAAAAAAAAAAAAB/87YSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FinB3DAtk8vAHinbZleAAAAAAAAAAAAAADAa7ytBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAPywd8cmDENREAQR/GaVqhClKlduwIExKx7YMxVcA8sBAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBjTQ8AAAAAAAAAAAZc5zY9AQAAAAD4Qb6VAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgMaaHgAAAAAAAAAAPGg/7ukJAAAAAMAf8a0EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQGNNDwAAAAAAAAAAHnSd2/QEAAAAAAjsxz09gY/4VgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaa3oAAAAAAAAAADBgP+7pCQAAAADw3nVu0xP4nm8lAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAEvTPIAAAgAElEQVQAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAAAAAAAAGmolAAAAAAAAAAAAAAAAoKFWAgAAAAAAAAAAAAAAABpqJQAAAAAAAAAAAAAAAKChVgIAAAAAAAAAAAAAAAAaaiUAAAAAAAAAAAAAAACgoVYCAAAAAAAAAIAXe3dswkAMBECQgy/cFTh1uXIBjowW9PAzoaJDgbhkEQAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0FArAQAAAAAAAAAAAAAAAA21EgAAAAAAAAAAAAAAANBQKwEAAAAAAAAAAAAAAAANtRIAAAAAAAAAAAAAAADQUCsBAAAAAAAAAAAAAAAADbUSAAAAAAAAAAAAAAAA0LhOD8CG15yeAODpxksMAOyxTgAAO+wSAMCmz9s+AQAAAAD0/K0EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAY9Zap2e4qZn5PXRdAAAAAAAAAAAAAAAAzyEw+Ze/lQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAIBve3dAAjAQxECQg/q3/DWxcP0yoyAGlgAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA01EoAAAAAAAAAAAAAAABAQ60EAAAAAAAAAAAAAAAANNRKAAAAAAAAAAAAAAAAQEOtBAAAAAAAAAAAAAAAADTUSgAAAAAAAAAAAAAAAEBDrQQAAAAAAAAAAAAAAAA0nu0Bl5mZ7QkAAAAAAAAAAAAAAADwUb6VAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaMw5Z3sDAAAAAAAAAAAAAAAA8Ae+lQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAhloJAAAAAAAAAAAAAAAAaKiVAAAAAAAAAAAAAAAAgIZaCQAAAAAAAAAAAAAAAGiolQAAAAAAAAAAAIebBcYAAAApSURBVAAAAICGWgkAAAAAAAAAAAAAAABoqJUAAAAAAAAAAAAAAACAxgvhN3eundSjXAAAAABJRU5ErkJggg==" } }, "cell_type": "markdown", "id": "6a088b38", "metadata": {}, "source": [ "Here is an example of packing 11 rectangles (boxes) in a container:\n", "\"rectangle" ] }, { "cell_type": "markdown", "id": "45dab2a1", "metadata": {}, "source": [ "To build a CSP (Constraint Satisfaction Problem) model, we need first to import the library PyCSP$^3$:" ] }, { "cell_type": "code", "execution_count": 1, "id": "fdcf88a5", "metadata": {}, "outputs": [], "source": [ "from pycsp3 import *" ] }, { "cell_type": "markdown", "id": "a9cb82f5", "metadata": {}, "source": [ "Then, we need some data. Here, we define the width and height of the container, as well as the list of boxes to be packed in the container (we use named tuples to represent them)." ] }, { "cell_type": "code", "execution_count": 2, "id": "19803a36", "metadata": {}, "outputs": [], "source": [ "Box = namedtuple('Box', 'width height')\n", "\n", "width, height = 8, 7 # size of the container}\n", "boxes = [Box(2, 2), Box(4,2), Box(3,3), Box(5,4), Box(4,3)]\n", "nBoxes= len(boxes)" ] }, { "cell_type": "markdown", "id": "326cf38b", "metadata": {}, "source": [ "We start our CSP model with two arrays $x$ and $y$ of variables; we have two variables per box, one for its position along the x-axis and the other for its position along the y-axis (with respect to the container). " ] }, { "cell_type": "code", "execution_count": 3, "id": "2e88b896", "metadata": {}, "outputs": [], "source": [ "# x[i] is the x-coordinate where is put the ith box\n", "x = VarArray(size=nBoxes, dom=range(width))\n", "\n", "# y[i] is the y-coordinate where is put the ith box\n", "y = VarArray(size=nBoxes, dom=range(height))" ] }, { "cell_type": "markdown", "id": "7bece9e7", "metadata": {}, "source": [ "To control that everything is fine, we can display the structures of the two arrays as well as, for example, the domain of the variables associated with the first box (with index 0)." ] }, { "cell_type": "code", "execution_count": 4, "id": "b13bbeb6", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Array of variables x: [x[0], x[1], x[2], x[3], x[4]]\n", "Array of variables y: [y[0], y[1], y[2], y[3], y[4]]\n", "Domain of x[0]: 0..7\n", "Domain of y[0]: 0..6\n" ] } ], "source": [ "print(\"Array of variables x: \", x)\n", "print(\"Array of variables y: \", y)\n", "print(\"Domain of x[0]: \", x[0].dom)\n", "print(\"Domain of y[0]: \", y[0].dom)" ] }, { "cell_type": "markdown", "id": "353c42c4", "metadata": {}, "source": [ "Concerning the constraints, to start, we need to guarantee that the boxes remain within the perimeter of the container. For this purpose, we introduce two lists of unary constraints: " ] }, { "cell_type": "code", "execution_count": 5, "id": "d98ecfce", "metadata": {}, "outputs": [], "source": [ "satisfy(\n", " # unary constraints on x\n", " [x[i] + boxes[i].width <= width for i in range(nBoxes)],\n", "\n", " # unary constraints on y\n", " [y[i] + boxes[i].height <= height for i in range(nBoxes)]\n", ");" ] }, { "cell_type": "markdown", "id": "f07d5848", "metadata": {}, "source": [ "We can print the intern representation of the constraints that have been posted. Athough a little bit technical, one can see that we have two constraints *Intension* per box (note that 'le' stands for 'less than or equal to')." ] }, { "cell_type": "code", "execution_count": 6, "id": "3c486045", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "intension(function:le(add(x[0],2),8))\n", "intension(function:le(add(x[1],4),8))\n", "intension(function:le(add(x[2],3),8))\n", "intension(function:le(add(x[3],5),8))\n", "intension(function:le(add(x[4],4),8))\n", "intension(function:le(add(y[0],2),7))\n", "intension(function:le(add(y[1],2),7))\n", "intension(function:le(add(y[2],3),7))\n", "intension(function:le(add(y[3],4),7))\n", "intension(function:le(add(y[4],3),7))\n" ] } ], "source": [ "print(posted())" ] }, { "cell_type": "markdown", "id": "c6c2f152", "metadata": {}, "source": [ "We can now post the 2-dimensional form of the constraint *NoOverlap* (which is also sometimes called *diffn* in the litterature). It ensures that, given a set of 2-dimensional boxes; for any pair of such boxes, there exists at least one dimension where one box is after the other, i.e., the boxes do not overlap." ] }, { "cell_type": "code", "execution_count": 7, "id": "1ceac9a7", "metadata": {}, "outputs": [], "source": [ "satisfy(\n", " # no overlap on boxes\n", " NoOverlap(origins=[(x[i],y[i]) for i in range(nBoxes)], lengths=boxes)\n", ");" ] }, { "cell_type": "markdown", "id": "48003042", "metadata": {}, "source": [ "Interestingly, by calling the function *solve()*, we can check that the problem is satisfiable (SAT). We can also display the position of the boxes in the solution that has been found." ] }, { "cell_type": "code", "execution_count": 8, "id": "e5e39466", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "The box 0 is at (0,0)\n", "The box 1 is at (0,5)\n", "The box 2 is at (0,2)\n", "The box 3 is at (3,0)\n", "The box 4 is at (4,4)\n" ] } ], "source": [ "if solve() is SAT:\n", " for i in range(nBoxes):\n", " print(f\"The box {i} is at ({value(x[i])},{value(y[i])})\")" ] }, { "cell_type": "markdown", "id": "4980cf06", "metadata": {}, "source": [ "On this simple problem instance, we can easily count the number of distinct solutions (but note that some of them may be symmetric)." ] }, { "cell_type": "code", "execution_count": 9, "id": "d1c32b26", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Number of solutions: 16\n" ] } ], "source": [ "if solve(sols=ALL) is SAT:\n", " print(\"Number of solutions: \", n_solutions())" ] }, { "cell_type": "markdown", "id": "a9aaceea", "metadata": {}, "source": [ "We can also display all solutions as follows." ] }, { "cell_type": "code", "execution_count": 10, "id": "eae41786", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Solution 1: [0, 0, 0, 3, 4] [0, 5, 2, 0, 4]\n", "Solution 2: [0, 0, 0, 3, 4] [3, 5, 0, 0, 4]\n", "Solution 3: [0, 0, 0, 3, 4] [5, 0, 2, 3, 0]\n", "Solution 4: [0, 0, 0, 3, 4] [2, 0, 4, 3, 0]\n", "Solution 5: [1, 0, 0, 3, 4] [2, 0, 4, 3, 0]\n", "Solution 6: [5, 4, 5, 0, 0] [2, 0, 4, 3, 0]\n", "Solution 7: [6, 4, 5, 0, 0] [2, 0, 4, 3, 0]\n", "Solution 8: [6, 4, 5, 0, 0] [3, 5, 0, 0, 4]\n", "Solution 9: [5, 4, 5, 0, 0] [3, 5, 0, 0, 4]\n", "Solution 10: [5, 4, 5, 0, 0] [0, 5, 2, 0, 4]\n", "Solution 11: [6, 4, 5, 0, 0] [0, 5, 2, 0, 4]\n", "Solution 12: [1, 0, 0, 3, 4] [0, 5, 2, 0, 4]\n", "Solution 13: [1, 0, 0, 3, 4] [5, 0, 2, 3, 0]\n", "Solution 14: [5, 4, 5, 0, 0] [5, 0, 2, 3, 0]\n", "Solution 15: [6, 4, 5, 0, 0] [5, 0, 2, 3, 0]\n", "Solution 16: [1, 0, 0, 3, 4] [3, 5, 0, 0, 4]\n" ] } ], "source": [ "if solve(sols=ALL) is SAT:\n", " for i in range(n_solutions()):\n", " print(f\"Solution {i+1}: {values(x, sol=i)} {values(y, sol=i)}\")" ] }, { "cell_type": "markdown", "id": "0b08cab2", "metadata": {}, "source": [ "Finally, we give below the model in one piece. Here the data is expected to be given by the user (in a command line).Note that when the container is a square, we can post some symmetry-breaking constraints." ] }, { "cell_type": "raw", "id": "2e881a18", "metadata": { "raw_mimetype": "text/x-python" }, "source": [ "from pycsp3 import *\n", "\n", "width, height = data.container\n", "boxes = data.boxes\n", "nBoxes = len(boxes)\n", "\n", "# x[i] is the x-coordinate where is put the ith box (rectangle)\n", "x = VarArray(size=nBoxes, dom=range(width))\n", "\n", "# y[i] is the y-coordinate where is put the ith box (rectangle)\n", "y = VarArray(size=nBoxes, dom=range(height))\n", "\n", "satisfy(\n", " # unary constraints on x\n", " [x[i] + boxes[i].width <= width for i in range(nBoxes)],\n", "\n", " # unary constraints on y\n", " [y[i] + boxes[i].height <= height for i in range(nBoxes)],\n", "\n", " # no overlap on boxes\n", " NoOverlap(origins=[(x[i], y[i]) for i in range(nBoxes)], \n", " lengths=boxes),\n", "\n", " # tag(symmetry-breaking)\n", " [\n", " x[-1] <= math.floor((width - boxes[-1].width) // 2.0),\n", " y[-1] <= x[-1]\n", " ] if width == height else None\n", ")" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (ipykernel)", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.7.12" } }, "nbformat": 4, "nbformat_minor": 5 }