<snapdata remixID="14847014"><project name="Buggy U2L3 Predicates" app="Snap! 11.0.8, https://snap.berkeley.edu" version="2"><notes></notes><thumbnail>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKAAAAB4CAYAAAB1ovlvAAAQAElEQVR4AexdB3xURRr/J4T0gHIoIiKex6kggg0pihRF70BAiqB0gQMsoBQREBUsgEjR0HsLvYlA6EVzKhwgRUFBkCYEBAVJ2WQ32b35v5eXbHlvG7vJbvbxY/a9nT7f/Pebr8xMwi36P50CRUiBcIT6v3YtgEsXQ50KRTZ+HYAJCcCypCKbgFBvWAdg9QeB5HWhjoMiG78OQJL+xHHgjyt800MhU0AH4C23yiRfNE9+6p+FSoHQBaBC5lbt5LfEcfJT/yxUCugAjIoCypQB6tUHPh1ZqMTXGwN0ABIFHV8G7q0KTJ8IXLvKGD0UEgV0AJLQZYUc+McfQN8BwOgPGKOHQqKADkASun1nYM1yAcCBwMqlwNkzjNVDIVBAB6A1kXNyBAgFF9Q1Ymuq+PVdB6BC3pq1gb27gVf6ArOnKbHF8RlQY9IBqExHzVrA/v8BJSOBFzsCiWOVFP3pRwqE+7Hu4Ko6IgIwm+U+d+oGzNK5oEwM/37qAFSj771VgAdqAKuWqaXqcT6kgA5ALWL27gMsnKOVqh2/51ugcnmgoZApuYxf/l07r56iG6LzMXBTGeDPP/O/ol4DICMdIKAKYp2/MW+H1sCiVcC0uXLeOoKTLsx7l2P0TysK6BxQIcYjNYHvhRKifOfTU1lwzEfA7EVArbrCsyKW8b7CrrjtG2DTeqB9S+DID6xVD1YUKFQAWrUbeK9VhCvu6BHbfnXuDuzcCvx2zjZe69uhA0D9Rrapd90tc0SCucUzwFJ986s1gXQAKtQIL6G82T7pnvNGFrStBfh3MwFmYWdctwbgMv37JfscIfldB6CrafelYbpiJZkbPtMEqPugZ/Klq34GaboOQFcT5w/DdBextFNR6dYeOH3KVQ+KdXrxA+CVy8A3XwNzpsveDJpCrMPURKEUbABOnSwwPLua4pc6A0lu7pjOzXVVm5xORSVR9PH1HvL3EP0MTgAe3F8Arp4CHPdUgGR7o/3tX/Uh7eu7cF59SjMzgHWrgf90AlhuxFD1fNax9z8A3CmWz53brGPV30toyJJquZ96FnhYaN+UCdXSQyAuOAC4VtjVyMWoRRJkg94smJrW7YR54zRwIlUO+44CC1YAwz4AaAaxDwOGAJNnA9uEwZhluAOGdS5ZWFCn2lvrF4FFbnJBh/JOIj4YLSeGKAgDF4DfpggQvSVzNu7V4zQNFNyKoNki0hRgPdsUKFmSqd6FD8cAa7cA67+Qy9OYLL/Zfr4kOOau7fDL6TnKg2xt2kR+hlQID6jR0jRBTvfwfcDI94Fyt8lcbZ7wyRJw9E74o8NcYhUQDO4HdBVc9dxZx5ZokvEHF2RLYz4Hxo4ETEZ+C5kQOAAc8Y5smiDpV6wXHGkH0GcAvxVu2LkHqPOE8OXWcjyk9EJ7IXs6OT1HM8uxn7zrb4U7gO69gQ+GeVc+SEsVPQBXLQXuFcTPzpK5HTndPyoXLTl79QEOnwB+Ep4Ra9ms/O2Q3Gwb1qr3r2UbYLPQsNVTXccOEVyfsugvx1znLSY5ig6A6WmQPAKrhcKwTEzoSCecpSiIHRsnTDmLgH/eI/dT6UPzVsCalco32yc54MHvbeM8/TZ0OMDVwNNyQZq/aADIZapZY0h+U8peDz5S9OSzWNT7MHyULQjbdQB2CXNMerpj/pYvAF/vdIz3JKZbL9n3rKUMeVJXAOR11YXCByAJ2+xp4ONPgZ6vuepf4aXzijYqPWot2oOQewXn+HHH9HsfCYVEAF+tL8UsrnABSO8DZaqFYtmtWy+wSHnuDMAlVKtXBCFvUWD/n3seSNLY41flftkTo1WPO/GNxOpwYJ87OYM+T+ECcNggYMIUWZAPNNL9JswuFe903qs5i+X09cJmePPfgP175e/Wn88LRWTuDOsY795vKw+cEQZ270oHTanCA2C/V2WiNGspPwPtM/UCUL6C617NXQKsF0pT2VsEp/vKMT9NKTRYO6Z4FtO2vTCQayg7zmo6/rMwFY0tCF8Jcxa9Pc7KFGFa4QCQct+PhyFtVS/CwTptmpMU4YYfNzIS+ExwcY5pvnDpqVXaQMi4PYTnRC3N13GUXdkW3YkMvV9G/uk+tsVNGfdVRL6vnP1mfIAE/wPwwm+yGeMj4fIKkEHfcDeotY+eAPx1DTirskzOEn5laso3MtktxFK+PG/JV+swd918/D7w+ENA9RqyDZVuyh3fAW8KUYf2VIb5wovEeAZaHCgGzRQ/ILU6iyDO/wB86w3gI6HxcvuRLwbIXzm3XLmqy9/pbV6EZJT+QmOZbCi4IBWWq39415NKdwEXU9XL0l1J4z1Tj4kfOIHGd1eBc9ChC0CFy1XeQkr3LwAnCy7BgfCmAT59FSh/+aquvHpSc8qBIe+rew/6hieOV887U3BBLsU3ciKOy73Ryjd89EegaUPhpTko5M8DwDsjAE+2f7GnT4ryWzfxLSCC/wDI5SdRTI5yPDEghqvdiblpbcGgnUMlhRyFBuz+GvbMTkIeoxKgUtStqAoVZaM0M5OezYV5ZtC7wKwkSBs1GO9p2LgOaNXW01J+y+8/AA7uBywQ8kdCKb91PiAqfrkn8OVqqJ4f5gk5npTztqM0C9E8NP4TIdcJKwJlONbpbX2i3PItN+P3KBfmJpGvsP77BYCfjzVifblXZBmpsEZSVO1UewCIiQH8cbElAfhGb4CXJu3cfcP0XLsyB3OutcWtfTsVFbUc2vULAJcsMKFU744OjRXLCKGtzrvUDJA2L0x3GOL6x0Zh5Ihsh3iXEZT39u0BqlaTzVfR0S6LOMvwxxULOr6QiQ/HRDnLVuhpPgfgnm9z8ddfFjzZIMLngzEYLGh2YZ7X9absysWET6yEequasgxATHSYVYz7rztqDsO8ysLMNHI4cNn2vO99wztj1HDnALyYakGiWDUI1E8+zMaShSY0fVRowLwupFYd9zsi51T97PSCAe+PjEbNWm7YOlVr8E+kzwG4WHC/Tt1K+qW3C+eYcFfH+l7XPUpwIk5yQth1EIzWFaWeN+O2270D4P21S+HI1QoY1/UkmrRNsK4Wle/RJvHWjTloWDsDdWqk47xonwW/2pGLnp0N+NpQCyM3PoyRArzsM9O8DVx6c80WDBwijOjeVuKnctrU8bLBOdONGPp+lJelnRe7IpaR8hW8A8mGtTkwmSy4nJmA5J1xaNIwwwaEqRcsuN3Luvu9HYVpE40YMCwWaWkWbNuUYzOQZ5pEIHGcMT+O4G/8eAYILNLq1O8J+GRCNOrVjxB9ypH6l2YphXpvP4nyLZ8QImAualfPwOEDefcX5tfk+kVZej8ac2NLuOuWvMvhUwCSw3Tu7h/ux+GlnregbFnvANirqwHvfSRPQr0GJaRJJgh3bJXBknrBjPK3e0cOmuuqViuB7VtyMXJstJC1xHrODueF1/tFYmmSCX/+YUH7VgZ0aZcJgnbn7jg0/neElIugbN00E1tS4sD+MTIl6zGk3lkbqzbE4sNPovD4w+kCoG6eOxYVXP3TgnYtMoW5MCrgll7RPem/dxSXijp+LJ5vQvvO/mPz82Ya4c3yPuVzo3BalMifWPack/zdwXgMeD0LA/tm4fw5C8p7yQFZ3/NtIrB2lUlqo82LJdHmuUxGS6Hh0xH48VAuKpVNQ7Xq4fj1UgKaNJeBxwxbxFJMUG7/Jg51niiQ0ZK/zEGDRnI+ApWcu1t7AyivspyzcOwnM+rXzEDrdiUx+D3/rEjO2nc3zWcA5C84SjCYx58sIKC7nXAnH12fzBcT4zkHJDC6dHf8YVSrEY7//RiPoz+YkZFhQUKC53WzTwxDhNgxd4a8zE6aGY3d3+RK3GrjuhzcUyFNADMCjwoFYOhwWzAsnGvCQPEj2CbA98CDttNx6Ptc1K1XQE/+aFoIoHOlYZtagXNB8H02LRqv9HUct1a5ooi3HfEN9GD+bKNfud+MyUZ07eE5MU8cN+PblFw0byVzEvsh8khx8s5YKbpJw0woQJciPPx4Vsh61GJZjMsul/hxo7Mxe1EsNuyIRVRUGKgQMJ1h7CgjpnxmxFYBvrsruzcV738chfGfZLO4aiD42O6K9bFo1Fh9zKoFiyjSvVG76Bzv9l6WZEL/wZ4DxEXV+clXr4ol8g7PORQF/SF2XCe/0rwXg1gtCY57q4Tj8YcycOqk58I+q3pnRBQmjTdKy+8EYe6pJ0xRHbtGCu4nc7EPhQ2OtjjmfbW7AZvWm0DOV+42x3HRltqitaM8TS79ZMMIrFxqYjU2offLBnR9KVOSb+sJOdcmMUC/+ASAo4Xtyt+sftE8E1q3dZwQZ3Ql91ux2ORSK/9ipQnPPR+BCVOihaIShboChOQkzupWS+OxpmvXLOD1M5cyEjB6QhT69DRIHJj5aYO7r2o42jbPxOlfhbYsOF9cPFMcw6lTZlR9QH16mom+zp9VAED29ZEq6bh2FTiZmpAPeMdaAy9GfYRe9POmMo6/Yi+q0Sxy9rQZ5FCaGVQS3OF+LMbJvkdwP75TOVj+ZaxkprFeLpnmLJAjUe4it71ymVAEqj8oa9ud2xokDZjlb7k1HOlpEFxKXvYZpxZ4QYIWRXsLuW7Xdll7H9wvCy3/lYHPpsZg6RcxalUFdJxPAHhNLI+lS2mR68bHn5UFj3cdaXE/LlM0RCshRXhH7HvI5WuHMJFMmZgtgJgJ2tLs81h/p+w4e5oJe4/ES9yWXI1GZuZhXQOHRqJjG4NUV8quHCROF9oaE52EJKGccPlWy3JEKE38syZP1c3A4YNmnP9L2AyDZMm1H49PALglOSffnmXfgC++L5pvRIcuni2/atyPnOjsaQto5GVIzjNI/1eAMCE+zKarXC43fxWHRs+UwF23pDkYl5k5RZR76N503FY+DBt3xYLLK+NpXGb7fGegLJcigMfANis78Y4w/4F9ubBYLKhYybZPTGP48N1s8ARBf2EATxYKVJStYs0sQRN8AsCTv5hxz30+qUqVcJcuWlDhTvfrt+d+KXlAIafmhCmNkDslCxCmCHCUEyBS4q2fA4dEScbh94dkS8qFkrZiiUlwtAzBzWIwZ7Ht0kebXbZQVHduy5G8HYoZpszf1AGl1Kk8ly4yoVtvR4Xu+M9m0WYmNqw1SUt40xaBr+UqY9J6uj+rWjUUQvx3woxyX56M5k5z5D6UxZiX7xT6E6fH4MutsYyyCQQhI7p3MEh2O77bBxqHvzkQJ0UTTJ2FTDd3hgkHjsXnCfxSks1HGSETN2+cKW1EoDacLDhV0spYAaAMzXaUCqYI08ygd2zZGpUwKhp0F9KeyDqV/MH8DAoAUuBu5aYGrHC/J4UJhLIZl9dfzmsDRZm8ZMEJaT/bu0fb1bVS2NZqPx6BNStM0u6ryipLaUoetw3PoyyBkizAx3bqCTktOa8dLb8ufcb0pFDGYxlyf45jxDvZqHBHOPbvzcUHo13LkCwbDCGPTIHb1dXLTWjwlPtLzeD+WSh7Sxj6vWpAw8bUM3UKqgAADf9JREFUQmMR78TDce6sBeXKh0ucLGlFLN4dJNZODXLQDUYNl/IjTS0EhpL1v18JY7fgeH17GaRlmTIaNWr+IJQ8fBKEq5Nj0bOLrb+YaQz0GXfO86dvEK64yuXTwC1u9FV3/U9Jp1yX5YMtBDwAfxY+zTpW7ihnBKY7bfOGHHB3CTXSt4baLmNqZZPmGtGxq6zg0M1FzjXmI1sQnjtjFktnJrhvLzmPm/F5661hULRpAp5Ldcr+OIx4Jwt/vzscy9bGgu6+WVNlF53SPmXEChXDpDqVOD73/S8XPxzMBZU61vtii0y0F8rXAKFFE/SB7NNl/70JAQ/A82fNUPMUqA2WRwGoGaqlacXRYhcZVZA6Y340qGVyWxVjuaRWvSsdL7wUIQn+jFPCvGUx+Ro1Af9yz0g8XTcTTZqVxOTZ8jL5Sp9ILJpfYDRWynKHy6WLZnQW8mS/V7MkIDeslSElT5pgBG19BN30eTGgVi0lFMOPgAcgJ69DF0eNUG0uxo00oksPmZuppavFHT9qxp2VCshwh9C2BwrO+fJLslJCuTBZyG0El1p5Je6EsAQ8LexyfQZEor+VS5LcjhsoyNHsw9/KhoFLOjXqS+nyRlb6hNnep5/LAFbqL67PAsoH6Ai5OcCd4xD0ndaqWwKcQE+GskrImMoSrJSjw59LuQI+ym1Kmtrz4Pe5gvNl4HNhYFazVyaLZZvczD5w7x/TqguPSbn4NCGHRuDQL/HiKfuO1doKtLgb7U9AA/DCeQtuKeee7Yy7cXzpj64ntOi+Aws2EmgRmsoHOd9CocA89Yz7ypJ1fQRhnSciAn7rlHWfffUe0ABcutCIlzq6XlIPC3fUT0fMaNbSMwBQ6K9yvyMJlM2kPCjkjNApwuTy7wYZWLOpYBezs/xaaadPmfG9MK942n+t+oIp3pH6AdT7LKGMxjkxoShdXS88A72EsK98d/fJncjPv2AL8BPHzeDyS67U87VIyZOhVh/B5+4SrVbeOo4HufoH4IEh6z76690nAKSROGmeo6Z3o53OSLMg2kpD1arvzysWlC7t3lKtVYcS37dXFt79UG60T/9IyZOhpClPX4KPdY4anu3VZluWDfbgEwDeWzUcZ4WtzNfEWJJkwoudXGvANN6+6MZSbd+/zetz8FjtAoGfO1h49njQMBmAdwlbHmVBbrZVyvoafKuWmYTSEQG62JQ2QunpEwBSi+Sv2PoiJ18Q8fIli1sT89c1C2jS8LTN7/cJ7fVZWW7k3r9WTTId3FxdhFdi/myTVLWvwcdKeQi9bQdbMYDxoRJ8AkDa0Wj/eqtPls/oRvtYKWd7DPNastCSnPfuyYMnzh5+VOZ+dKlNnWgE9wDam1zaCc6asisH5IK+kvmUftLYTXmzq4e2S6V8cXj6BIAkBM/DzplhdLnTg3ndCbwFwZ0jmPQVe7ot6bdzZkxNNMKUA8kDwWtdNn0Vq3l2ljtrenQyIFkYpO0B6s5YtPJMHG/EgCHycq+Vp7jH+wyAJBQniFwiRZgn+P1GgiHLglI3uVYsjv1sRvWHZE6m1R6PSHJb1sfvZ6N0ieto8FgGuMOG50CumkqBu1y0ynIso4SSwHRfgo/1zZxkRJt2sgjA76EYfApATpACQspU/ibo9b8sOCNsaNxyRYAxfDAsG8/Wz5A4m+L6eqN3ltSVMDHaE6kJOHJadnvRx6pse5Iy2H3wOCd/UBzTf16NRP/X5Hrssnn1lXfA3HpbOKrVcP7j8aryICokpsS3vSUIKUtRpqJsRReZNy0c/8mM0kIG5J0rBBYDAcDbBRRg3Vsx3WHJ5/Z0AoucTXF97fkhTnLoM/6WW8OQOC4bvV6PdNot3izQWiglBB/HNH5yNGZOMYLnMZwWdDNxc7IJ3H3jZvZim83nACSleJ6CMlWDp0qAlwIRMAQOAUQgOQs85VWhdBponhjzcTa4DZ11MnDb/76j8fk7UFKvJ6DjyyXxRIMS+QB7+90o1G8UAWec7fRJi7RdinWqBSpABN/iNTHCRFLAoT5NjMZbfX3DBSeOM6LfoNCW/0h7vwCQFTPQnpa0St6yROAQQIx3FsqJZenQiXgpy5krCSDnIedi6C28HeRgUuINfCyYY8Rr/SJVa6BW3bppJvoPjkLDp23lM7Z/+XezA9dVrchJJH9cPFweE+Mkk3ZSsUrxKwCtKUXgcAIJJGeh39uR0o5m67K+fKexmWcqtOps2igTNYRS062Xum1u7MQYkEtrlXcnfnNyDp5tagtud8oVxzyFBsBAIR6Xf/4A1PpDmfU+4dVJnK69F69+oxIoLbTzpQtNalW4FUe5uO8AdQ7sVgXFKFNIAZDcj3PHTaJ8WgcFfFzyrePV3nkT1tCB3smCVKoaPBWhVm1IxgU9AKnwbNsoLMpuTJ8a90u7bpHOZpDzuQM+NkOt+MFHSmjeN808WoFKmTsGdq3yxS0+6AHY+F8RcHaUUpkwNe535LAZvA2LHNFd8Cn10fPz3mDPuKDBAMkA3ra9unyp1B1Kz6AHICeLxzB/O+vcKWzP/ejhqPtQOhJnRAtziOfyGDkm9yC+3sN9EE4Ykw1d9uOMFQSPAFhQLLDeuveOxIK5tkcfrXu4cK4JMTFh+ffXpAhXIT0c67fHeXTm2LpOvo8VdsGkeUbs3a19mJ35lLBqqQlNmuvcT6EHn8UCgLwc6NhRM8fjEAg27tKZvUg2uvE7wad4OBwKeBgxaVYMeG+Mq2LcaX3pogX+usLYVfuBml4sANjjlUhwV4w9kY/+aBYKRgZ4XW3528PAK3F9CT6217FrSfx6wiwFftcKy5eY8Oqbni/11vWlXrBIRwQoTgzsk5Xv7+Z363zB9F4sAEiC81iA9Q0E5Dg9OhqwYl0seCvVs09mYMeWHJy+nGDjXmPZGw2de5QEb7RyVk/ip0a07+zZ8rt8sUkC3AvPZUpg48VISUKcYDtlyoZh8uwY/PCrfCch44IxFBsAkgsOeiML3GbVrYMBvLePO40zMiyoXT0dPGCUvDPWq53TNzqx7NPf/xGOu/6uTW7+YMjJRryTjYpl0iTAdRfjWLrAhIdqlsCM+bJL8+hpGXA0pnfuVtJpnTfa78Ior02RwmjdSRt0ValtYqAh9/LvFoeSXGJ5c1WzpzPBe6G5ifTdQVmYNdWE3Yfjwb+X4VDIRxG8HX+B1Z3N9tWuXp5jc0v/vj25Emfj1rG7y8lg41VuVFLGjswG7zHkRtXvDsXj8EkZcC95yD3t+xCo3wMWgCvXx0q7Xuw3MXB3zKNV0yUOQYAqgRyPu2I27ooDwUeC8/6+jbticb/GZd/M415wnou+3XYa5zq2bc7B3BlG0OB9e2kZbL26GqQKI8SK/PVeub/npDtwwjFxpszpho+MQrXqATs9Uv998RHwI7TfxDB+cjS4S0bZ62f95LL0RP2CrVmVVe7v8wXR7OvY/d9c/EO0dfigzNm47axM1HXpR9K+lUHInBGSHHr4RLz0o9r/UzzeHBgJixmoUikdF89bwDSKCKF2PiTgAWg/2YH0XTbpZIJX8b7W3QD+SVT2724h7529kiCBzZBpATc38MIjyWB+zoIBQoPlXTA8RXjuzwTJGE4ZkWVDLegA9GDGeWEkFYWn6shb/mnSKVMmDHOXyMsmLxYiF369f6R0KeasqUbJ+K1wYl75UeXONEkRIuceMSoKN93s+twLivE/HYBOJpd/+4OAq1VNBtz4UdlS7pp1SkjPxatjwQ23vFJXirD7SF6XgybNIqQNrPdUSAdvbyDwCFK7rCH7VQeg1dR/sVK+1b7GP2UlZ1HedSNjJ0VLy+n27+JQqVI45kwzSUc0nV0mRLMKN0B8J+RDmlPoiWGwak5/FRQIaQCeOyt7Fto2lw290ycZBUmAhSvkJXXNpljprAm3X/GP1XDPIH3OB924w4+ck5Xxb9wdd+OSdOYNxODvPoUcAGdPM4L2wdIR11G3RrpEX9oIuTTSZMPlkRdGSgl5Hzxiyj9Wwz9awz9e4+oeF3I/2iJ5lJMXkudVoz9UKFDsAXhwv2waqfVAhmQW4VnfmLgwnBEuuXNXEyQOp2XD4xFMcj0eMeVRU/7RGhUaOkTxhi0a0mkyckjUI2woUCwByO1Xg97MkgDXpZ1s9B07MVqS4yiHkcs50z63C58xgcebT3m0lEdMufPahnIaX7hUp6dZnN62oFE0JKOLBQAzhL+XMpciy20U2ufNN4fhiqEUDgnjLwFHOc7VDNPNR4/KiKHZaN+lJFLTEsCjpa7KWafzlq6v98l/Vck6Xn9Xp0DQApDLI0FHjfW2+DSkX7egZZuSEpdbvDoGPDgUFa0+aOtYKh7DBmVL3JKcL3F6DAigjl2Fn8w6o/7uFwoEFQB5ITgvGKL/lzcXkCKKEXjkuGi447Dftkk2tTyYZ2rhHYG8Hes3IQ9y65Y7nJLt6sE3FAhcANqNjzLZm68YwAuGfr2UgJ/PybtElDv+7LJLX3dslcFGTlnvEVkJeW+IbEyen/dHZpQ/BFP6ptD2SEgEK4KPoAFgrtkCXhg0ang2lC1M5ITOAvMqNB0xOkpanr89ECdpvjUelr0ZSrr+LBoKBA0AaX+jrc6TsPUbGWxUQho1jigaCuutOqVA0ADQ6Sj0xKClgA7AoJ264tFxHYDFYx6DdhQ6AANv6kKqRzoAQ2q6A2+wOgADb05Cqkc6AENqugNvsDoAA29OQqpHOgBDaroDb7A6AANvTkKqRzYADKmR64MNCAroAAyIaQjdTugADN25D4iR6wAMiGkI3U7oAAzduQ+Ikf8fAAD//8sxMvIAAAAGSURBVAMAhbRJNK69e1IAAAAASUVORK5CYII=</thumbnail><scenes select="1"><scene name="Buggy U2L3 Predicates"><notes></notes><hidden></hidden><headers></headers><code></code><blocks><block-definition s="%&apos;a&apos; ≤ %&apos;b&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%s"></input><input type="%s"></input></inputs><script><block s="doReport"><block s="reportVariadicOr"><list><block s="reportVariadicLessThan"><list><block var="a"/><block var="b"/></list></block><block s="reportVariadicEquals"><list><block var="a"/><block var="b"/></list></block></list></block></block></script></block-definition><block-definition s="%&apos;a&apos; ≥ %&apos;b&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%s"></input><input type="%s"></input></inputs><script><block s="doReport"><block s="reportVariadicOr"><list><block s="reportVariadicGreaterThan"><list><block var="a"/><block var="b"/></list></block><block s="reportVariadicEquals"><list><block var="a"/><block var="b"/></list></block></list></block></block></script></block-definition><block-definition s="%&apos;a&apos; ≠ %&apos;b&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%s"></input><input type="%s"></input></inputs><script><block s="doReport"><block s="reportNot"><block s="reportVariadicEquals"><list><block var="a"/><block var="b"/></list></block></block></block></script></block-definition><block-definition s="is %&apos;mid&apos; between %&apos;low&apos; and %&apos;high&apos; ?" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%s"></input><input type="%s"></input><input type="%s"></input></inputs><script><block s="doReport"><block s="reportVariadicAnd"><list><custom-block s="%s ≥ %s"><block var="mid"/><block var="low"/></custom-block><custom-block s="%s ≤ %s"><block var="mid"/><block var="high"/></custom-block></list></block></block></script><scripts><comment x="14.666666666666666" y="88.8" w="304.6666666666667" collapsed="false">As the lab says, it&apos;s okay to use &quot;&gt;&quot; and &quot;&lt;&quot; instead of &quot;≥&quot; and &quot;≤.&quot;</comment></scripts></block-definition><block-definition s="%&apos;p&apos; implies %&apos;q&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%b"></input><input type="%b"></input></inputs><script><block s="doReport"><block s="reportVariadicOr"><list><block s="reportNot"><block var="p"/></block><block var="q"/></list></block></block></script></block-definition><block-definition s="%&apos;p&apos; xor %&apos;q&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%b"></input><input type="%b"></input></inputs><script><block s="doReport"><block s="reportVariadicAnd"><list><block s="reportVariadicOr"><list><block var="p"/><block var="q"/></list></block><block s="reportNot"><block s="reportVariadicAnd"><list><block var="p"/><block var="q"/></list></block></block></list></block></block></script></block-definition></blocks><primitives></primitives><stage name="Stage" width="480" height="360" costume="0" color="255,255,255,1" tempo="60" threadsafe="false" penlog="false" volume="100" pan="0" lines="round" ternary="false" hyperops="true" codify="false" inheritance="true" sublistIDs="false" id="102"><pentrails>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAeAAAAFoCAYAAACPNyggAAAQAElEQVR4AexdB5hcVdl+vzubZMuUTQhkE2oKRaUpKCjdggWwgVho+iuiIFIFKRJ6tyCCDX/pvwrYEFAsgILSVRCkJKEnGxKSabvZJDv3/O+5M/fO3b6zO7M75TvPOfd859xzT3nvzH3vd9p1oEYRUAQUAUVAEVAEJhwBJeAJh1wLVAQUAUVAEVAEgMYmYP0FKAKKgCKgCCgCk4SAEvAkAa/FVgcCBphi5nUs9Bzl6qiV1kIRUAQaAQGnERqpbRwUAY20CCyYdS4EZ3tuwUbnQY0ioAgoAhOEgBLwBAGtxdQAAsbZqwZqqVVUBBSBOkFACbhObqQ2o0QE/ORGVvki/V3M/Dmb0lerCCgCikDFEVACrjjEWkBVI7C26Xus32o6awXG/bwV1CkCioAiUGkElIArjbDmX9UIyKuvrmEFr6HLW0EjdEPn26pHRUARmFQElIAnFX4tvCoQMOgO1WNPM3ejWaGwioqAIqAIVAQBJeCKwKqZ1jACDsT5eA3XX6s+EgJ6XhGoEgScKqmHVkMRqB4EBAdXT2W0JoqAIlCvCCgB1+ud1XaNBwHthh4PenptNSOgdasiBJSAq+hmaFUmCQFH1vUr2dFu6H6IaFARUATKjoBT9hw1Q0Wg1hAQeWRAlbUbegAkGqEI1DwCVdYAJeAquyFanUlAQNY+PUip2g09CCgapQgoAuVDQAm4fFhqTjWKgDz3xmuA+JtxoGAcOM4xBVk9RUARUATKjsAEE3DZ668ZKgLlQmAwLfiLZt70RLkK0HwUAUVAEQgjoAQcRkPlBkbA/e8gjZ8FTDthkHiNUgQUAUVg3AgoAY8bwtFnoCmrGAEji4LaCYofaBAcrztjBciooAgoAmVEQAm4jGBqVjWMQMS9Jai9i2kweKYQTiASObUgq6cIKAKKQNkQUAIuG5Sa0fAIVPdZef71JQHpCtogcndQY2OONvPmbBaEVVAEFAFFoAwIKAGXAUTNok4QcOSuoCWCHOX76aydBnHPs4I6RUARUATKhYAScLmQ1HxqHwEJEbBrPgjjnBZq1OFm3qztQuGSRE2sCCgCikB/BJSA+yOi4cZFYP3Uv7EbussDQLANIr1LKd9Bl7ciF+UFPSoCioAiMH4ElIDHj6HmUCcIyIsv9kBwL3yTcz4BY8Ja8H4cC97dP63+aBHQdIqAIjAYAkrAg6GicY2LgJEHgsaL7CBLlj/J8PV0eSuuasF5JPSoCCgC40RACXicAOrldYfAH4MWidnFk43zDfpr6azd3czr2M8K6hSB0SCgaRSBoRBQAh4KGY1vTASalz3BhnfTgePB88zmM2fLkqUvQ+RqL84eBKoFWxzUKQKKwLgQUAIeF3x6cb0hIE/Dfhv4saBdTVPzWnAudwnjUnTWbmfmdxxuBXWKgCIwHAJ6bjgElICHQ0fPNSoC/yg23H2nleWF15dTI/6OlQvuPDNnTmtBVk8RUAQUgZIRUAIuGTK9oP4RcEIEDI+A821e+236K+is3Qyt7llWUKcIKAKKwGAIjBSnBDwSQnq+8RDoXfdQqNE7mTdjqg3LktUpasE3WNlzBgd5vh4UAUVAERgDAkrAYwBNL6lvBOSllcsgWFJoZSt6Zm9fkAFn3TmU36Czdr6ZO+vDVlCnCCgCikCpCNQ3AZeKhqZXBHwEjIS0YPd9frQsWpWGmB/5YUTkxEBWQRFQBBSBEhBQAi4BLE3aUAg8HbTWcTYMZCuszX0PEDtb2i5V2svMn70T1CgCioAiUCICSsAlAlZDybWq40HA5F4ILjdmTiBTkFdW2j2ib6Po25N8QX1FQBFQBEaLgBLwaJHSdI2FgMiyoMGC2YFcFL5ZFM1BZtOZfUi6eE4lRUARUAQGR0AJeHBcNLbWERhv/SMRq+Xmc+mnAdtIWbzsMQjuszLdFEyLHEtfrSKgCCgCo0ZACXjUUGnChkKgd01RAzYymAYM5ExRCzZypNl6ZqyhMNLGKgKKwLgQUAIeF3x6cb0iUFjz638buM3Mm57o31Z5YfntgHm+EL8BeiOfLciT7Wn5ioAiUAMIKAHXwE3SKk4SAmKKWnBTy+BaMHBlqHbHhmQVFQFFQBEYFgEl4GHh0ZMNjYBIcRw4lxt8klVT7lpiVNiYQ7bUjTmIxmRbLV8RqBEElIBr5EZpNScBAYOiBmzMoBqwPLsyoxtzTMK90SIVgTpAQAm4Dm6iNqFCCIQ1YInMHbIU3ZhjSGj0xIQjoAXWEAJKwDV0s7SqE4yAMauLJZp4Ue4r6cYcffHQkCKgCIwOASXg0eGkqRoRAXGKY8CCmSNAUFySBByoG3OMgJaeVgQqgUCN5akEXGM3TKs7gQgYFCZXsUzXDEvAfTfmMFN1Yw5iplYRUASGRUAJeFh49GRDI2CwMmi/OBsE8lBCznwrOFUDG3OY+R0nm3kdZxfdrK+b+bO2DdqggiKgCFQUgTITcEXrqpkrAhOLQFOIgDG8BmwrJi8s/22tbMxBov0l63wZBAuLTi4C5EkS83KzoONW+icbIAI1ioAiUBEElIArAqtmWhcIuG6xCxoYWQPON7rqN+YgsV4HyMcwtNkIBgfy9GWY3/GE2arjHZTVKgKKQJkRUAIuI6CaVZ0hsKhzFVvk0lk7fVTaYJVvzEHN9io25nA63/6eZHuO5wT2E4uv+ycK/puRw0Nm/uwrzGaJ6YU49RQBRaAMCCgBlwFEzaI+ERCQegB/KZKDBR0zRmppYWOOHwfpInJiIE+iwJcHx8zv+DkMjg5V43pZ3PlBWdJ5tucWdR7E8CzAbMc0l9Jl6ArWfBVTmp8kgX+iEKGeIqAIjBMBJeBxAqiX+wjUrV/shnZGMRHLwrA2x25oWWdFEt5eZv7snTx5Mg/zOy5m8QfT5a3gapLtEflA36MsXv4fWdx5KlyxRHxX8axszPb8wszvuNPMnb15MV4lRUARGAsCSsBjQU2vaSAEpDgTunfEtcAeLvLKSrt+2HbnemEeTqKbNGs22aSFhR9Kl7cGt8iizmPygaGP8sKyl0jEH4KAxG1eC6X8IBzzpJk360Jq1uwoCJ1RURFQBEaNgBLwqKHShA2JgAlNxBpmM45BsKmejTmm9X6F9cvvZS1mKbrM5xgetSVZ34L1PdSG5buhi2IQOQ3zOx41W240LxSvoiKgCIwSASXgUQKlyRoUASekAQtGOxMag2zMYUlwckA0aAsKNnKjLF/eFYRHKcjLqdVs03GIYBde8jSdb98G1/mnmdsxokbtX6C+IqAI5BFQAs7joEdFYHAEwptxGHfwTxIOfiXQd2OOL5qtZ8aGSjph8QZrxlOWPNf5MBZ3bs88LgMK49xAHA6+x7HhO3QLTqhRBEaNgBLwqKHShA2JgEF30G5D/S8IjCxIDW3MMXJriik46Jvj2PApiDjvgMEzxTP4EKY2/VNnSocQUVERGAYBJeBhwNFTikAZELgylMexIbnmRXnutX+jx7EzvC8PNcZu4vELkvBPzGabNcS64VDbVVQESkJACbgkuDSxIlAiAgM35jigxByqOrksXdpNbfhryGFvAC/T5a3B/2DKun+ZLTr2ykfoURFQBPojoATcHxENKwJlRGCQjTkmdUlSGZvWJyt5sfM+rJ+6IwT/GzqxGTvt7+XY8GVmzpzWULyKdYOANmQ8CCgBjwc9vVYRGA0C3sYcWO8lNaiOjTm8ypT3IC+/vFoWdX6eJHwwcw5vaXkymt3HzFYb78B4tYqAIlBAQAm4AIR6ikClEMhvzCG3hvKvSy3Ybx9J+Bas630rw3fS5a1gG+Tch6kN2y0u83F6VARqHIHxVl8JeLwI6vWKwOgQqJ6NOUZX33Glsi8dHBveDy7s+ud0PjMzlf7XSMLfp69WEWh4BJSAG/4noABMBAKyeNlj7Jq9L18WiWhaxBJTPljHR3mh8yo4rtWGHw8180tm3qzjQ2EVFYGGRKC2Cbghb5k2umYRqMaNOSYATHn+9SVY3LkzDG4PihP5llkw68NBWAVFoAERUAJuwJuuTZ4cBKT/xhy5KXW1Lng4VAWk3y7zaabxNWGBkRuoCW/HOLWKQEMioARcu7dda16TCDjXB9U25lOB3ACCtwd1Lrcfu+JfKDQ3Tvkuo582LMChXqMhoATcaHdc2zu5CJgeuzNWYVIStiP57FHxComJBGWE5SBy4gR5cUUn3Nz7WeIKOlrZGGJ+r7tmEQq1DYeAEnDD3fLqbrABHLNFezuJaXMzd6Pt6e/Bbsr9zbyNDjHzOr5s5nd8w3NW9uJm7e+lyafd3LuWeVRrK2XJ6hTrdjNd3jqm4b4iJEtWPM9b9DECsJYO1IK3wZS1vzA7YQrUKAINhIAScAPd7Mloqtlqzkwzf/ZOZsvZB9I/wyzouJhE+n3KN5v5HXeY+bPvN/M7nqR7mS6F+R29iDSvJg2/CMf5N/2/QuR2iHMjBFezDed6zspeHM855q+FtC961zIPmxedzZN5e2XYsm72ys7X4SyzxRbNzGvibcT9QajQj5r5szYKhcsvGskFmYblIHLiBVm89AEYfLlYsrwXqY4rimGVFIH6R0AJuP7vcUVb2IdgF8w+kaR3JUnudvpP0KWRc9nVaB6Fa24FzPl86J5KIv0SZTsh50P0d2MFt6XblC5OJ3TjtTYPm5fNk3kbW4Yt69Ne2Qa2Ducg0vMfM3/2B8ZbWKnXy3Ov/5vtfqBw3TS4+EJBHq1XF+lkSedP2ZCz6PKWhGzYw5EP6FERqH8ElIDr/x6Pu4Vet/CWG+9o5s36Oh+QQxOsMXazia+Q5PZnoXZ2a4x+qZbFwY6RvsIL/wOIJao76f8fyfsHzPsSzxn8wIsD7Dmbhmlhr7HX2jwwCjOfRHgX23SXmTdzq1GkL18Sg6uCzBw5khW2Lw1BVKMIsrjzPN7P74faey5f4D4XCquoCNQtAkrAdXtrx94wu3G+/YqNmT/7DDO/4y52C6+Gm/snRC5irqUSbIbXPEny/B3979GdRfloGPdQGHMAXNkTrrsD/S2Q65mOxZ1NfCgn6Daj204WL9ud/n70P0ON6cuyqPPrnlvS+WUvbnGnPWfTMG2nvSZh8/DycmWLQt57emV5ZeIYCL7FOqxiXXz7AUgTteGOy80mm8zwIyvquy2/Yv7sHeAR2ALzOqihozFNovM4wPwpaLyAQxRzbK9FENVH0IAiUCcIKAHXyY0cTzPMxhtvYObO+jDJ9lK6v6PFXYUI7uVD8XwAH6Cz3bn0BrV9CVbkJDhyECA7I+JsSPKM021P8jyA/rF051H+vix5/SZZsvx38sKyv8kLrz9B/yV5MZkUwMU4jc3Dy+uFZS8V8v6bV5ZXZufVJPCTIOZNJGE7pkzl0yvQTgA6CdN6/2vmdhzDSGbjxVfkIC++2AORnwSZC18MgkBjCfIY1mP9tIN5P54ptHwafwa/MvM23LIQVk8RqEsElIDr8rYO3yiz5UbzzNzZh5r5s35Ewn0KzbmVJM3f8Kqv0b2TxtcwRQAAEABJREFUjg9AHvvaVxn8BSBnMu3QBLto2bfk+WW3UTt9TJ5buhJVamTx8tdlSecxiETeyiryZYPHvN0IDr6HebP/aRZ02G/c5mMrcZTcj0PZftDel1C4oUT7JSUY+QBgXis0fEM4kT+YLTbsKITVyyOgxzpCQAm4jm7mUE2x3aok2lPofk73ClxnMRxzAyBHAngz3WD2aT4MfwxXDoPjzpfFnZvSfZLEekEtEOxgDRosTp577d9s1z58+B/I8y/R5a2YHWBwDwRfzEeU/+ht0QjcFeRsIvZ+BMFGE4Q9FjD4INttx/H588NcviDdYWbNamOcWkWg7hBQAq67W5pvELtQIyTbD1KLu4XdqlaruIRnDqbbhK6/tesx/8HIy+Caj6AnMpOk9BZZvPyLfCjeWCAKnq5fK0uW/RJrHL6MUMMH8gSQb+7svFehY3gyljGfN1tM0tKoCjWv1GxlyfInOTxwGK/jT5hH4G1ok//zJD0oAnWGgBJwnd1QEu5bSLyXYH6HnRF8JzUKdhej/3pXSzC/h+1OzmFvrHFmyOLOd9GdYvcrltdeewMNaGTp0m6r4SOynkSM6wZAIOYLxPaIAfHjiVjSeScvf5HOWna7rrEbVFi5YZ0sWv5bGHNiAIDgAP6uzwnCKigCdYKAEnAd3Eivi3lex9F8SD1EwrXLcU5hs2bTFa3gIVjCdTjmubhzOsn2g5Zs5MXO+yzxQE2AgDz3xmvE57NwzK6MfIquYGVjCtcS5wfNlrN2oTxuK7aj1TXFseAGnowVBpOa8HcY/gFd3hocbScL5gN6VATqA4ESCbg+Gl0PrWD/XN8uZsFVJN939GvbMoYvhWBbWdS5q0e4z7/2Lz70xz3TmPnWvZXnl9sXmlsHNNRgF46NP0ht+Fqz1QaWlAckKSnCwTVMb4cB6MluZquNdqCgVjqP52/X/3DDTDTnTlVQFIF6QkAJuMbuJrWvkbqYe/jQsqTxIeQnTp1K8g1pcTXW4Oqq7n9ZnTV0vj0CuSlPG7tees6cVj+yVF8WL3+d1/yaLm9zzpfyQmMfZRHWwshJIRSONVt0bBEKq6gI1DQCSsAl3L7JSmp2whQzr+NUku+DMBiqi/lhnjsGa5s2JuF+QhZ33kVNt7gH8GRVvp7KNfgFNd83sUm/pPNtnL3I56PFfdrMm/1xP7Jk35WrQtd8xsybngiFG1Zkr82vkN8NDTTNaMKl9NUqAnWBgBJwld9Gs2DOvkjOfopa7cUk2P7jjuEu5l1kSefV8uqr4R2eqrx1tVc9eWHZS3y5OZD3Yx8Y+XeoBZtDzG1mfsc9ZquNS+5CZr5/Y15P0lkbhzP1aCuoIwLinsxj3hp8wiyYZcfm82E9KgI1jIAScJXePLP1rLlmXsftMO4fqGGFdwSapC7mKgVqkqrFXoZ7sWTZW+HiK6yC7UKm59m9kcv9k/fuKlPyV47k514O9mDkQOuVx5meIB8H2wZyjQiyaPmDfOG5JaiucS4PZBUUgRpGQAm4ym6eWTAjzjf8C9ErT/Ohs3+oeqtJxBdoF3MIkUkW2cVv5IXOq3hPbLe0/RDF+kKVhPfuaGrI/6VGbD+fWIgewVvffTUMugupdjILZr+tII/PE9h9uPN5GOyRF2rs2As7s78nX2uzm5k/u+GXa+Wx0GMtI6AEXEV3z8zvOBxmytMwchqrFVq7a35ErerNsnj5mdrFTGQmwQ5XpL0nsrjzZJheq13+PkgrsB92+Abv68A1xUGioiAvp1bDkV8FMcZ8LpDHIcji5XbegK+lb0TN3NZzHDlO/KXyYqddK31lsWRzuVmAwbZMLSZRSRGocgSUgKvgBpl5s3c282fbT+rxQe2tNS3USv5OMn47H6BHyYsrOguR6lUpArJk5XOyuPODgNBhEYrmcLOgIzzJqnhmgBRaEwwcYr9MNSDJWCIEdow5f6WRPfNCjR17InY3N39/8XnA7GNqrAVaXUWgDwJKwH3gmNiA3Wie2sgPIeYRdi+/q1i6tyH9EbJ42W6yZNmjxXiVagEB3rffY1rnW1jX6+ny1m4kMQoSlkWd9/GC5+isnY7m3EetMG7n4i9BHg7eHcijEqojkbdDm8hFQW2MOU035wjQUKEGEVACnqSbRuI9D5HI04CEN/vvIRlfBFnP7ubO4sMbamoNAXka66gNH8GxYPvJw3z1R0nCELk2fwGPIkfyOH4r5q9BJrU6Duw1YJntSVjiiYBuzlEAQr3aREAJeILvm9lkkxaS7y9ht4UEpsM3Br9Dk3mzLFp+uixaZfdq9s+oX8MIyKLOYyAojYR7e3/KJvfSWbt3Ob6LK3UwDmzB8DbngJxs5YKr+OYchXLUUwTKjoAScNkhHTpDs83GG2Ba792AhGZwmuchzvtlSecB8uxyf9s9qKkfBEolYbHj/QZ3BQiI89lAHo8g4XFghGfYjyfXCb+WXfy/gm7OATW1j4BT+02ojRaYeXM2w7qcnWi1e7HG5kdoX/4WWbSUpFyMVan+ECiVhGFM8QMNkM/Zvb/HjYqRfwZ5OLJZINeioJtzTNBd02IqiYAScCXRLeRttpqzDcS9n12RWxeirHcquwWPksfgrx21cerqGIGSSPiF5XcSCrvTGT3MxtxZH7LCuJzrPlG83iwoyrUniW7OUXs3TWs8AAEl4AGQlDfCLOjYC72u1Xw3LeS8lv5nZXGn7mlLIKreikwJ1XHcX5GSUY4JC5ADjB0LzhdfjslYUyLP5zPj0ZWaJmC2ANDNOTwY9FA5BCqdsxJwBRE28zuOgMEfqPnaDRn4PMUqyu8n+V5XwWI16/Ii0FbMzqSK8tilQUl4fsfA34RxQ7Oh8UG7bG3spfJKt/UF/h5J7JSBzcyCBTW9kcWAzTnEfJN6fU23ybszemgYBJSAK3SrSb5267xrmb3/QHgFTc5ufPjadZ6MVlsjCBQJ2EFXuerM30Hf2dHA4WZe3806ZMkKq7HeWyizCU1N49oZSxYtsr0vL3v5CSJwuuei1k14cw6DuTAdX631Jmn9GwcBp6qbWqOVM/Nn/ZBVt7v20KM1eBbG2V2eW/oMQ2prC4EiAbvlI2ALgUfCQHG9t+BoM392eF04e01Ck7GM+ay9blzOMcUdutbnwh/5GFe2k3VxYXOOH4XKr7ltNkN1V7HBEFACLvMNNwtmfwuQ8EP0fkyN7CZLluY1D6ipKQSMiQb1LaMG7OfJ4YgjKBf3j4a5wmzV8Q7G5W1P5NcUVtNZu5WxcwqsNGYnRQIWKc/HHsZclzJdaOSOUE47hWQVFYGqRkAJuIy3hw/HvWHMCcUsza+wtmlfeea1N4pxo5Y0YTUgIKiYBhw0z6z9FMdm/d6RZuTwGzN39ub2vCxdar+OdJOV807GtzOWQWituSnPNpf5ik3ecQ3+BUPUQGOwjZk1q3jPGKVWEahWBJSAy3RnzOYzZ7O/MPSgxIOyePnH5dVX15SpCM1mMhAIE3AFNGDbJFmyOgUjH6Dsf3CjA465y8ybnmAcIPJT+MY1HzObJYo7qPnxo/VzPXZ9cdZLLrKjWTBrV0+u4YP3kiL4r9cE4dh2NLIj1CgCNYCAEnC5blJT0818iM7xshOzFL29H/dkPYwNgWq5ykyABsy2ygvLXiLpWo20h0Fr3wSZ6hGvLFr2OCMeowMErZjSMmYtWF5MJgHcSpe3Ro7KCzV/tBgVGpGrj671QmvUq18ElIDLcG/NvI6zmc3edAUrh8hLK/1NFApx6tUkAhIi4Igp2yzowbCQ55c/BMhxCIx8zCyYfaEXFPml59uDMe+13pidGDtJ0L/8ILNFe7sfqF3fhL4aJjvXbju05o2EgBLwOO+2WdCxN7WShUE2BufIok5/6UgQrUKNIhDWgHvLOwt6MERk8bIfQeSi4Jz95J43M9oJzZZ29hoPaYrdRcqYfxXKiMJprgMtOJLvIcg3Sidi5XHQY5UjoAQ8jhs0yLjvvbKk02rD48hVL60qBMIE3C35sdMKV5BdzqcD5lfFYswVkN6NIXg4H2emwpn2wbw8xqM4xW5ogR1/HmNGVXLZGvwLOhELamoLASXg8dyvgeO+nxlPdnptdSFgQMoTtCJvDJYvtzOS86FKH806u+lGfmIR0AxXfo2i1go48rFxVcHNXcPrXTpr9zRzN5plhapwY6hELU7E4u/LMVtuNM/M7/igWTD7dDN/9plm/qxPmvlzdrOz4M1OCG+DOgZU9JJqR0AJeIx3SMd9xwhcLV02a5YlX/GqbNBNgc9ML1Txgzcz2hWr5XYWCusAQqRr8H6zxRbNGKORF15fzkv/SmetA8c5yQo17qpyIpadzW7mdryDJHsoCfZ8s6DjFjO/4wnM7+iC6ywm5nfy5eoC9nqcB8jPAPd+OOZFJDt6zIJZrzL9g3S3mvmzr6A7w8yddYD9wEutbyUKNVACHsOPgH8GHfcdA241d0mriQZ1FlR0AlZQTkgQOzM6go8wyp8ZvSFlQ2dtHE7Pu60wDlf85jBwrH2ojyOvKrjUTPpELPtSZOZ3fI1E+wP699BfCpmW5JP2IZLsDYCcAYODAGxHN9gLFKMD68DIxjDYhe5AwHyV7nw48lvk3P/CzXZREVhCkr6bz6SrWd7JwZUq1AQCSsAl3iYd9y0RsFpO3hSaAT0JBGyhk+c6Oe4bnhnNbnF7wnMyvqVuizsvh5F/e1mB3dy95mdk9xp+JkzuRCwS4OGI9DxLPC8FvOVde9OfjWGNsasl7iWx/hCQ7/Lu3kb3EMS8BsAfIqA4iBVEmHYu7+H7YPBlAJexDv/IP6MYUlv1CNTwn22SsG1q+iWMhNf76rjvJN2Kihebk+KOSmbiNWC/fd7MaMB+2AN9jJj9+oRLDIh9wDfJp3hZXsMWswO7RU9kuDbtJE3Eoha6H4nPfmvZftFqs0HAs/g+SbK8FTAXQOQwUiu12rXtsnj5HFncuY8sXv4l3ufjZFHnQXS7yqLlm6C90479bwE4u/M63if5BgTfJzn/EXZHM3/SWd8Cd8WUyKPUiEn+fU/URKjBKqkEXMIN55/sciYP7Rwkut6XgNStdSZfAw6wndZplwpZ7SqIotBh5s95F/0x28IHQuyELD8P283tyzXlT/RELDNvzu58JvyNpPg7AmW7lOl5luPr5kJKH4LjzsfizjZZ3Lm9LOr8hCxefqYsWnajvND5sDfOz0RDWXkM6+0whCxe+gCv+7ksXnY+8zhaFi3fV5Z0zoMTbUPEeRNc82ES8lVBPlZBMLjHePvSB7EqVCECSsCjvCl2EgWTFjdJEPm26HpfQlLH1kVVaMAWYXka66gJ/Y+V+zrXjhH3jSo9VPxQiJhDSSonl55F1VxR8YlYZt6s7YjR7yDu39hqaqc85m2KRHgOzNqtSZhnyOLOu+T515cIqO/mz5f1aD8vaV+g5IXlt5OQv8IXgX0gZmlQiDEnsJ5fC8IqVB0C/Qi46upXFRXyNj2I4GesTBOdtY9g0bJ6mDVq2zAMhUUAABAASURBVNLHmQUL4uxSO9tzlPucbLRAWAM2k9cF7cMui5f+nfIP6MJ2/AS8tul7wYPbak/5scQaJeHKTcSixrsZCe06iNju5v1CN2Et474N192aRHj2SJpt6Lqyip5CsD63MwQPhzLWzzOGwKg2UQl4NHckMu0yvtnOLSR9A658gm+1phCuMy97Mf/ACz0HynXWupKaE9aAZWI24RixfhHnG0zzOp1vtzYLOt7iB8biex8MceWH/a7dz3sJ23DD4kzwfgmqMxgJacAoy45YZu5Gs4ztzhX3Obb5cLqwvR7G2YrdyicWlnaFz0247G2Ba5zQF9nKg8GEN6RBClQCDt3owUT+8Q4B5AvwjcjxYpeH+GH16xeBsAaMydeALdDsclxJbfV0KwfOyEcDeYwCNbdzeWl4WdLe3ktYLHIx42vHZnNl2xHLW79r93l3nGfB7lyCMI3Ot3cwbnt2Mx8hS5YWu/D9s5PpT9JktMlscq2WrQQ8zJ0z9pusxlxRTGKu4ZvujcVwHUouitpVWK7Dpo7YpLAGjOogYFtnWbT8J/Tt+CM9a82Yv45krw6cRO3uWvcGYSsI3mG9WnGyfHkXXxzy31YWRDDGTxNa7R8y7VnmtRBAgs6391Pj3YPEu78sWf6kH1lN/kRPRqumttdaXZSAh7hj7F8WOLgJwAZ04B/xBeTW1vGEBqjph0APpoUfvF39Tk9u0Il8NVSBzY33wYZQzBhEO6kHuWa7+9YdocvfbuZ31Np4cPHDDMbsGWrLiKLZeOMN2N4/8/9uiTe8PeeTMNifxLsHNd77R8xo8hMUu+KlNAwmv+qNUwMl4KHu9fyOMwGzW+F0L8n4U4VvqRai1Kt3BB5fu8NUv42Prd12rS9Xgy/Pv/Yv/j4fKNbFnGe2mjOzGB6bJC++2EOS2Z9X/54ubw1qaxzYYHG+4jzK6Otu5s7ZGs25h3hVeIcx2718BDHZXpZ0hl9MmKyarVkXqp2EZBWrCAEl4EFuhtmqw3a7nRU6dW5+R6JQjIp1hcBgjfnAaze2fGXF+TiWbp9Xb6suDdhW2Mjt1iu4jZBzzyvI4/cMLBHl8xG05IVaOZpUqKbFpWShyP6imT/rk3Bc2+b5oXNXskdga1ncWfwUZOhkdYvOm4L6iTwSyCpUFQJKwP1uh7fkyA0vOZIHsLjz/H7JNNgACBiYluvSn8C1dJTXVF2Txbm5X52+NN6NOYL8wltv2rXBm2xSOyTsIPyyNCIBk3z54iJ2maE/5EACN58i8X7V9ggEmNSW8OagurL26UBWoaoQUALufzsGLDnCIey/4ZBw/4QarncEBBKQDuWqI2BZvPQV3oPieCcDgPtD/lj99epezMiHQVL0Xxs8rfcrg6Sqzih3dARcGO/9HSAcboJvFsN1dpHFy3/uR9Sab7baYGPATM/XW1bLc2+8lpf1WG0IKAGH7ohZMPtQ9F1ydJwuOULDGhJZ8LWaqtSA7Z0x+K31Qm5bzO84IRQek+itDTZSnPFvMKImOaaCKnFRWAM2ZtDx69B4b3hDjTvQE9lFXlj6bCWqNWF5mmlF7RdQ7XfCgC+9ICXgAmaFJUffKQTpmWtk0TI7C5qy2gZFIKQBu3ZD/eqDIRLpT8C2jmeyK3pTK4zLGVSd1j+q9rghDVgGvjiwy7nPeG8+T3OBLO7cX1577Y18uHaPD3dvb2eyFxrg/rcgqFeFCCgB86ZQ05EemXILRV1yRBDUBggEBOzCqUoy8mZDC14IapwX4kDuyrzYgMewBtyPgEm+Q4z3Lg93Q9csaDGkt7k58zH7aUKvDc+vW1Db2rzXivo9KAHz3j6z2R5fb5Z1b6dobS9yaNwlRyKFsSNCIdLLYyPbgIAFblUSsHdz+s6G9qIA+YiZ1xHuXkXpxhS1fge1s6dwWAMudJ3X63hv33tq+Dx3b/hJ+lPNR79+Ic5bddy/t3rl/m/1TdM/pOHJRIA3bDKLr46yf5HZ/1N+TV7pnf1deaHzYT/ccL6YjYttdp8vyo0nCRCMAVerBuzdFeOGu6GNF2cPgqvMm8exl7PgdzYbzxns4fm1cIiY4ixoQZspru/dL1T9+hjvDTUohtSpBrKzjbohc9Cay1Yf80lAXKipWgQanoBj6H7XZau/tL1d63niyoWZ7V/6JbuoqvZ+TUTFNikWEnm1KDeeZGACDdip0i5o765MX/5XQFYjbwTFLzdtjnXO6fno0o+yePl/eJW/NelG7L6tDS24NzQG7GKjget7zflSJ+O9vD+etV3PJN+zvAAPAve8DOLa/UwshrOTfa7hCdhg/dH2Jti1nj9OHfKzJOYmbbhxnSkSsGsamoARWobkYE2xOxbVZeQxrGeNijtXCezuTYyiNXKy2XJ2cVMGRpVkBcGe00+t3eYTJV07WYm7JRsUTQ2Ycr/1vcvtF6UYXS/Wdj2b69kar8eGPTePZJC4hGG1VY5AQxMw3xo3AMzH/Xvkwu3/STb/VEP4ZidMgZHZhca6mLFsaUFuVC/QgNdXswZs746YX1mv4LohoFbshabANWP+XT+7fv5DXi483JA98Av8vwSYMKo6bSIyWB0Xo8bX9w4Fdr7rGYU5LLIGWH84tOsZtWAml4AnH6HPoqDl8K3x4W6099vUAI1lVs2ewwbnfxNilhU0K0Y1qjXBg3wKpvDBVs04rPsDa7f2+vRBuDZ98E6AcwEg65A3e5gFsz6fF0s7bvPS/d879Y3Tlx6z4kJclTxiThvSXywth4lN7Y335twH+5V6F+phfW+/RtkglYhtBnY9z8x/DcomUFfVCOQftlVdxcpVjmN8oc+4yfcrV1KN5OxIsfsZ0uDdz/aeOV6XnpXSSFc1AcuiVekzV51y3zErLsCxK87DLi//9q1Ugr5p6+45IxeaMX2sQdaQeC+9Pn2gl41ATqlWLZhj1IOs72W1Xfdz9bC+ly3pZw2f3+Z6Rnq/UwG065lg1JLlDayl6pavrlFk7BdPti7kuDqDnlsL8kR5VVhObpNr0wfjBmpRrFyDE7Dh88x4DzZiYYBNqnYMmPXz7K8zH/iLJ/Dw1Lot98ZU90KKL9FZO+aPNXQh/iNACsMRZk4MmarblvKTrbd999r0J38GwB/vpViwTaidXbwKVR6NF4Od9ex3PYO/T9Gu59EAV0VpGpaA+RYfLFYH3BuAjbJVdF8mpSp7vXLrllZ7Oppa1CeWXV1z+8fGkD45itTZMfrjB/BVS75SyGctICRhVLVZ3DvbEpBXR1Z8b3n6dcDgGC8if/iSmT/nXXmxlKOsYUY/CV0xQbOhzbQY1m7TivQBUSTPiCF5ehuS72vBytBSOeNs6rx80x3d7z3W/nav5Qsk62k/R/gi/bzNSVteqJ9jDOl+Xc/m3Azi2vVcY7e4IQm4DctnAebDxXtlflyUG1f657rt5vmtf2ztdst9uSJ+mTPlA+lkDilcxmwXWj+K9K/avPvMmDHYOOItoctIQKFQlYo9mG613X8VqtccQ/K9sqTzDsD82sZZcvpW8gvXGKDJhktxAglmWRNfjjGXcvVo0poW1vdrUaSupru7DaklUaS7DHr+68D8FpDzDeQC1uPuCKa8yjSreP7+GNIPrHYTn0HB/G3NO9Zv++Kf7nqpd+OphSisMBu0+3J9+MbhPdWu5zq4mbyRddCKEpsgmPYFXlL4g8pfs5hh1zsyqtGtbOcjsKK34+++XAu+C/c9fetpPipoXhpF8p4Ykhy37Ht2pFAvmqwGXEhmNcCCWP1ecfMMRAovmZGv/ij1mbTVEBe+cdKb3tT07LmlNiOD7n/zmhydtdsAnWXSKk0Lyfa4KDKLDORSZm57pt4nwFzKEbqh7HSS0G4G2NVPEHW68IvsAVNeym36lRfXb2onFHqnjl5+8c9sGUwffqnyztXiIaZdz7V42watszNobF1HGvYliiXgQiuNTr7ykLinyUDe4ok8CMyT9GrCRpE6SyAfGKSy/H3L3mzXJXxoWY1hkCSDR03B+tDD2pRbAx680DLEkiEDAqam+iGbpSxe+sovsx/6npWte62349hmrNnCyqN3HV2A+Bv7R2Jo3RHjMkXiFeA7JMeAMFE0OQPYfa7/yKjvC8w1gDwAIIlBTNYtvhN0ua1BCkdyc2wZUZJ8G1LHsazQvQ2S1YQQw0p2PTvf8CtLTLTr2QejBn0+oGqw1uOocitWf5B/xsLDR1ZkEfe658aRZV1cGsXOW/oPJj70XuF4Uo18FcYuFZKjijfB/Eogp7It9zLOpfMs23QYifoqLzCKQw5u6CEta0ZxSVUkWYOEXbfrDx/MakFqF1uxP/S856wp6PV6eohFtAlrSWb2zOidAI/7qUnudhKjHyzBH454vYleF7iQD7P34k38b7Z1ITEvi8S+dEdn0H6kw6Ej1uO5cIECuZbhc8Kuo+n1Jxj2bJt0ez5/EwER87dwViGyhjzb9TyFL5L2Nw8IdNYzatw0HAELIraLC9YI3J8C0gM1RCC3PQ++rSHtN32GfbDmKy5L+aA+hC8Pl2bRvg/HD+0Dt/hNW+BoPnhHRcIuIgEB83dSU78RgdyZxwNgH+7+eVlya9F8BGWXjlbeE0P6cxRKsR6B5y8wwQY2+fBIRzMlyp4Kq4XKAI1Xlhrg+CxiC3j/zuxG/PYMpj0DyFqEDK/dyIW5j2nf4UcL5HTe78/xurPD7m3TnnrYT/PW5qfuQjCLGzTGatvnRJH+cwzpDRhREzYGnfVcEzeqhEo2FAG3oHtTAbxuOYuRYF3JWoC9rh6dgbNDsV1ix/uKwSqVWtHFB6kJLYkxPwSK2moXZi3PIHEYgKvpfHs0H7rX+YGhfCekAZtQnkOlr6743G9D9SkQMNCNtscFEqwNNsDFbSVMVIsg92OByebzlh2pXe+al4c/tiG5bxTpp5jqHMAjP4rWFom3C4krMAzOrVjBe+3exzTBDGzW/8QM4hdhcNNlJ53dkDkQx8Z/8ocsyZ3pj0dfIn43NfmH+HvwlyOiWo2to4F2PVfr/RlrvRqKgCNYfySB8tv8xzQ2auiv/RCLkDUBAQvcmiBgB+6lgPjrPp/N4vlBH8ZZJOxSnICE+dA9vA2rOVZqohjCGEhz6FTNdEHbOrOr9k/0fa19x+bQeG8Ga88zgJ0tzSRmIwfNxJDiKGwS05OABOvlm4CjMIxhuXPbkLqdpG936dqymHT0xGuvacaqzRxMJfliGxvOO+foLiS+nZcHHj+87KdddtKZ/Szfnq/ext+IrGH6K7IkYsANxsN55Xz+Hh6KIvlJyhNhx1CGaTJwbwGM1ysjMI9mdK/nMeBYfZf4ZFR9NSt7jQyfF8XJVwJXJ1/1xTiYAQ1EgvGzvkmqJxTF6r0B95BijdwvATuvL4b7SpaEBcLxs3y8wNmPWtnfWj3NCgOMA8d72BVO1BQBA5IFTPARhSn5F0/kzYYZngu2kyQZ82UkuW/+3MjHXuCHxVTmoHasbi+G89IMmHgb0hc2Yd3TAuy0Gza4AAAQAElEQVSfj/WOq3k835Jg1wgaL9N5thnJeRFELPku8CKAXoHLLufYsP/fe7t3nVVIj1d7Z7HafkjWZDH9WGJgP0GaKsRagv5ZFKnvFsJV5Jmp/J3eBoj//+wBHPbqiAs1NY+AU/MtGGUDYkgewD9d4UMDsiyD9ttHeWndJ4txHEyATfMNtQ+oR6u8Z+DRKYDzg3x97dG5iQ9VO+nKBoZ0GcQ5BmpC12FHwdS/s/0hzQqeMQVtwwsANUbAttYS2g/Z9CHYLrTfLUDwMgLIj4AVMYzCrEGC+RpvrbGBRHvhHBe+jBrv4euQIfGa0xgf6kUwPzJY++YsEt/AMF3NCBnel62a4NzHum5RiLbk86kMpttJV4WooTznLf6ZFW4H6+yH8n4W7T8XiJ2gZjftyEcCx0ariIRn4I14DKnfsHKF5WSUgGv4O+b4uCfX3kFr3AcBp0+ojgMGTjD5ikTMsV/prePmltQ0Pkj9t2sIDMfq9qlqbGLY6kQ2sDBuZ1IunFGv882i3f4Ovsrrc3RsLzYn2f6dxPF+G/YdH86BBiwAH/z+mdrwBWK1Oa/ehl0DUWQCQrItcNFDzOR1KwuweQzTSIw2NLJj+l8UUwm1adPSiuTOMaQf4DmOr5tgpyqB/N2FeTtxP6oLG3UWrxteYn3fzHpT8zWb2JQCZA0iH80iRm3QxozkTGisWPibHpieRPaseCQswRaeTEUSnvzuaLZ/w3VouseEltcJX5qyiPd54WF91dYwAg1BwHG8bsef3le4T24OU3TnqwIY1hPk3mn9vDO1MAP6Y/m62qNzVTfaCvsU2/DILovElQbYjyltlyg9TOfD7Y4oUuyatEGApBwQMOWa04BJLivZCo5z++3JHZ6X8scuzFrONn89H2JKmJNa0fU2Pzycn0HiOwgmM5k5JIs/O5BHiFNom0t5jRgfkUF8t260P4oSTBtW7wi4lnw7CpclQSLqQtSOJWMk04zkPJZdGN+X5bzOX5Y14FLW740s4u8BwiQsP4whXXjBw4SbFnSzN8q9nwWH78fCDBLswRGX8WprE4EBtXYGxNRhhMHUL/jN4h/zzjVofcUPqw+SjQQTsIhHnzWWDFeV5cP+LXzQ265DW68eByaY1WsjRuu6kPiDQN7F30NhQpJdsYPvRpH0xhZ5Lug+pVxzBGxxcCH/a33rxBs3NBGETAbxn/Lu/7kQ5ThYb7XXPmkK5/p5soa4X16MNKEXOPQYyEVTEXszMQ51c2NUJob0bgLnHgAz6axdaeDuw7raDThseETHugXaL+AOqv32z0SAgxnnd0cnDMwdrMuEL1GKI7Wlg/V2/H4r1qdgneOySJxbCKhXRwg0AAGbZgMnWO9okPMesHV0D8vRlOAByn7Zu8uRYaXy4P0LaXLmd2kkVo21LD7UnzFYZ7U2b0wzn498iRqY1Rx97YsvKKhJAu5GnPdSluXbZWa3It1nLNjG92LaF0g+WSsDsm0U6XMwgmnFqv1cwM4s75PSAL/rxVQSb/z0VZB0n5OjCLQhy2EAY/ecLkzsEnZZO3t1YXro/oycUYTtKKaS0NrlYmx/KYP4GwLZj/EpOmvnGyDU1W6jKuv4u9vBhfxNgM0LJa01yB2WRcwOJxSi1KsnBOqegPlA+ShgNrQ3jX+oF7sx/S4rq8sj0IzV9s++mQ1x/DfbjUQVL0EyEfE0OXjGDWl4XsQYDt3YcGkW8T0M3Dv8ywXOfgbmRASmdraiDKrsCZIz3pe+vAAcmP/JS8VjD1peJI5XFmPMV1q99dXFGF+Kchw5iuQfHUTsC8p8P77gr+pC/GDmZ7eOLESN3mPeBwpyv+Z/1O86fpVEtFcWsadHn0s+pUEwYxgCGfWMfpLws4A5Kp+LPZp3x5A81UqVdm32wxlwbLe7P3s7ZWD278KM8EYyla6G5j/BCNQ9AQNiJ93AGhKMnXxlrKwuj0ATnED7NZAHAcmhSk2rp8GZYCZ7t6fhlaOyku3C9P358A3PkI74OQuckkkAVWIEkVA3sOwfR2oG+pkuPLeQUSQfHiEJB732q1I24LkoMhtGsZok7fLlTN7rReYPbwCyAnkzow3pL+bF0o4xrP4s4NpPKXrd/gZ4sRfuXiTEMQ6HFCdg9XqTCkdfnyzaf866hHZLk4+M/uqxpWzDqkP5omBfahL5HGS5Yfu70G7Xc+ej9FiXCNQ1AUeximNBZs/CnVtnxrD/beHaOvCGaoLZI3Rm1ONsoWsmTAxrcHxA3YAyvyzw4Wtf1oIZ0iiaCR8LLBY9Poka5FN8uNv9oW1Gze4gXcfw1k87Ic0Pn4l666z/MzWG9IkkpP8Cjt1xzH8pyTEzErLzJgNzAWXPCuQU9F2+5cUPdyC5f9nA4Vg0mgrpFuWQ26sH7UsK4RI9MxWQYPx0DdaOqgsaISOILASwlg58GXhnDCuC/GxcOR3b/1VBhL9lTAMNy3uJv/M9ujCdLzuMUFvXCNQ1AQNid75C3shvuzBryNmQ+TQNeQxpwKZqCTjuaW5CLTV/jwRhzQ5lM1kEM6SDPEkyP4iGZkgHJ2pGcIMPjvAB/zkObfpEGrSARM3uT+emIALOD6PY9D9su53kFn4B+SPQuwNx+iqvWdGF+I8QmhEdQ8aSF0Zj2pA6AXCDHcp4zTMu1pF8Z7xMeUy2Davt7GWSMEieht3hG2VLzSjD8WBeY8ei6dl8poY2fPGiynKIInUW4F4Ryuw5F1P2SCNR5evwQzVWcVwIOOO6uqovfp1jSXbHGL+SopOvfCgC326+IP5HGHJdWM8u6OBkVQkuYJcIeV2U1LQeyiI2qtmtfiNK8yP9tQ9LWMEM6dLymvzUGayzWy96XcUCzI1i3wMHq5Xrrac26cI5q/VtWZCt97yL3P4k3n2z2CCEvawBTLA7loE5Lob0gI1NbAZhxzSnsS7fKsYZaqrOXt0cky/GjUWKsNfLv06Ypy+X5gvkutAVZSZgI1Gk7VLIc0JlPA44u6/RFRohSOpfrFsCjqH5IN6+6XTWPptFLLzY3sY1vGvDFLuZviUXYmGeADbMUKhCa1oACY0vuoFGhwoYB+7cULamKMuX+OD8JfAK61OMrX7J0wLD45qn9K9zlOO8Dnq/DpAb0MfY2cEnZfHKtt2YEUxUC6fIIn4+Sdh/aWk23niuGfLZEkXqHANzoZ+HAA87EDvhytsYxI8fiy+QgIApj3lNewYxO1lzVaEO82NI71aQx+UlkJwfRfpR4hUsjRSY309F7z58RnkvSeMqQC+uKQScmqptSZU1djzPu4J/RPu26cl6KCJAXMIPlX8Uz1SX1OZN7vG/oiNLM0iEu+3KXlkXxt/6kN2YuMMAIeIxH4shcTcfyOFu2bLXobwZAoL4VQJkkTc7tSEZTKaKInUu4HKc1+tl6P9MuDuDODXVbdflLx3sKK7AsXsr98AzskMMqZM9sd8hhvQljDqLrmDNPVPQ+770OJaTFTLyPBJ7sKsb5TFrwICwLRJ8eIK/gcMxTtOG1HEuYJdUhTbYkFsySHxkFTZIQ03DIdD/z1YXALQiuRP/MO/IN8awiwyj2DsWjWhCBCx28X8VYmBaxJvck68aH6qXYpR7CWOMRmDm+Zc6kGe6kODYs3CsMx/LOuxO90AzVnnLt/Kx1X3MQFbyPxHamENOaUH3JiRKO0HrG6x98EJBvMMvY5+OIrMXzw9rM4g/w+uu9BOxrA/6su+TfP+XuAXaN9PcnkX3/uUln+IMaCA3DgIGX1oQmkFu2KNmvCEQlGiI86ZRpP8swHdMsYdhrUAuzSJ+MCDDvNxATR0j4NRj2xyEZ3TKL/lweKMe2zm+Ntk1tcZ2QXvZ9MINP3S9uGo4tMEubSlqv13epJ/K1sxwnNQvgYTxgpX5oDyKD8xTrVxwWzchcj9JZcTxzkL6SfeaMPXbrESOztr3RbD+Cba18KJqo7DY5Tgv/y92c5KbvRjvkOMYr/0AhhcY8uBijZ2wRSXPJpE924JvDRuJInWTgfmcPVNwN/NektTmdBfCZfBej/Ie+cMH67ow3VtaNdaMiYOdlOjvjjUjhsyAl4qR8o4h+XniTK3XvLuY1vzHIPd25h/+PRVPq9QwCNQdASeQnC5wbXeYdxMFU8KzLL04PQCtSO1gim/jL/dgur8lYxXBM/Har208H+JBFzTZxCNgG88H5qU891nK3hIV+puSVB6IjkJDZNpJt0m0vAiY8McMphcqxS5kfIsvGW/uLozzumj6GtOm8udl6ygWjLgbU5e3ysD8NX8NHAfTSLhmConLapKfKcRb72aWdRjKrPm1YFow/su6P1em/IOZ4bzXR2CUpg3ZjijStxnINbzEX3ttALkwi8TOXZgx5vFpqKkbBOqOgHOQEwyk8Gk1858MWv9eN3erjA2JAOFtCVX77Yutr0UhAgkI2CbJIH4d4Lyfsj9Bhw9X9w8xpEf9cOa1k2JjWLE1IMEYKWgM8JJAds8gcRJChNjtfeBC7Oxp5I2dgFb8WEU+buBRgOCDCQbyoSgyPydxHeqn5Plrs0gcAoiLMpsmyFuKWcq4up/9fATrAgIG5AO8z/4e1RjKsM0fpxLwT74EfLyYxizhw/ZdWcTPAMR/gUPljZZQzQjwN1HN1RtT3dr9qwSO3V0GagZFYL4fKzBP+HL1+JOj/fKh2UQMNqWz1mQQo9ZoxaLLInafQOz4uf9Rj2kkmWv5cA7GN4upq0OKInUMMPVR1uZNdIEV4PYM4oO+gGWRONOEtujkRd9uQ8q+fFAc3LpYazfV8Ml1D+IZfLlKIJdlkKBWPPi14401MP6SOvA3XRYNM4MNnxPAjpOzesbeZ7shCeWBNo6U3Q3sJ4DLXgYT7CXOlFdksX7HNBJVu8yPdVQ7CQjUIwFv5OPooje0XtGPVd8iYOAED2IXeMTGVZNrm4SxX9v+ZiTt92enWJluGWBnw2KAySD+TC9yu/NEMM5oYC6JIs3xUlM1/6sY0htEkbLbPH7PAFHW19oee7CO5PLZGMyQWl0X2u1wDscwbWpEmP7/YkgPOe7d1bcb2ruocDifmJ1SkCvkFSdg5WDKogHbirp9PlWIiI3r79qQfI8L/IvEH95v+xX+Jt7LF5njUbVL/FDXptobVzUPivIBJbP9vATOUqgZAgHzZv+Ei94q2+t4srRfgOrvXB8X9Ot+Rj/TgxkvCzVhuvuLp8wXo0g9HsPKIUmqmLayUgzpd7owj7GUT9L59ml2q+7IgI23y6yiBmlqx4wZ1ErWxbr9SN7+HIHpzPP3rVgxZ7DkLJNk7gQzqgtpvkESsjOtC8FKeU7QBe2iPF3QtqYk1fAs5ZyNK7oVsShS3+FvwO7b7PecEFf5XwfYsQvt/ucei5eopAgUEOBvpCDVjecGDwZRAsZgpgUrN2a8PwFn9RrMfI3hqrFtZdR+27B8VgzpU6JInR12MaRPHqzBgkgwAQswA7qf0c9Qq3sjgxTH0+VXxVOyg8FUknDyNOYxKf+xJA/gAwAAEABJREFUGFLfNDD3C2C/duVXjV2hXW9ntyq1dnOpH0mfBPy6rx0z2Nd2Y8OlDsc/Gbuajt272NzB1DvYtj7XtOH1DpZ5H+PD48xXkXzPt9dV0rUhO4vl0sHWL9sz5r2kMWoTR2rXKKbY3oHjiheJ/YTigV2If55dzv48geJplRSBEAJOSC6/OAk5ChBowE3oZRfiJFSiyot00BRov4DUpfYbQ5Kkm7xH0LyUpHAJgIVhx7jLYkhfx7g+1iAXrAEG3D4TsPok7BPYdE0W8Y8LPFIrdO+aFgO5kGU8SDdh2nArumZHkfqHAU5kFf3/9wqB+/EsEscD+WU/Wdx9G9P47dswimk2PS8Z3PJF4xmm/zTP5uis3ZHdrrZr28poQffGgmkkX4R/W/ZTj1/zElT4IDCB9osyar8Y1JhpUaQvcIG/AxL6vcgvDZy3ZhH7JdQoAqNAwBlFmppJMh2rEgbSZivMP2TXasxIWVldfwQkeEhKfgek/gkmLcwH29cAU+jFkKVdY1j3G0Pqev4OSLqyNxsy5G+cJHx4bAAJO0EXtCBS0hd5Mmg/VSBvldCYugHeznL+GUPlteEoVu/tIGcnWgXru1mXh3OY8rYMpoc0dNAcnOO5YGMOQI4i7i0YxnQhYWc4n+AnETj7sV2XN2P15hGst+Rr949G0RiOh8uaYriSkrt7MXe3zHM/imPLAtkiihQxNqezPKGzdpXAfCGLODXfKDVgG6VOERgZgSEfTiNfWn0petEUaL8GmGztt/oAKtTIQfGB4lZcWygUOirPkACEROAnNiU/wPlwvIr3/jA/B/ouYO6lfy7dOXknt9D3LMmxHwlL0AVtkBuxC9rLJHSwmiLdrnwg2wd0QRtGs6mwNkzyPRtw7mFb5/jVEci3M0jssgatr/pxYZ+E8U2EvmTU5nX9Y1iTReJKlvEDPxHbdVwTInbDimBWff6c+RXTWszzwYofTTDbGnDYxV7OAp09/NwMjF1Cta0fBuQvOUzZMYP2n0CNIlAiAnVFwAbF8V/+CZeWiEXDJDdwghnQfJhWTRd0ngBMgUDEdl9eVspNseTL9EfTeVaAGw165mTRvg/JYCHd2XkXP1ggdnMIL52BObxwLcMm0IB7Ab+LlvGlWHH5QL6IZQylDVM7N1JKjkOlbfW6nNMkXmdhMY3wt+/uk0H8xGLcYJKsYduDsWDxtvw0fAkaLG0xjhgeLUUtvwkwdk5BkECIbRbtHw8iKiy0cCwWEDuxjOO/JhtBrmx7v0eRIdmaYGUFYOfpwSvHAMdnEX8PX3D85WhQowiUgoBTSuJqT2tQnAHNh4JqwEPeMBN0QbuVmgE9ZNlDnTAt4hFA/rzxxlNllN2Xz3NMLvVzXhmQL+WrM0gc1oVZyykPsBnEj2B5AQkzwdExpG6g7/eirO9B+6CaI9OMyrKMZ+gK2nDQFqsNnxJD+qFmdt2OKqMhElHrLXQ5G9vVXkgl97qI7JzFdKv1F+KG9rq8Ln5L2DaNmdM2Ci0YeKzJQB63V/R3FlO2eUI3JeEbQKjXRG5NYnqyf73GHs4dN8i1j/PBuWNXhT8KMki5GlVnCPB3VD8tckIELAC1gPppW7la0lKlM6DzD34TaL9dHjGM3GpLQlFsZDcSOTiU+uosEseEwoOKBaIItio1gN2xiT8dLzm1Gun1pHEdfG14nf0Cjp0x6+XGst7eBOexNqyyZXpxpRyiSJ2Nfl3OvP6cLOL7dKOthJfP0rTgPN5bPgmYEOmxZM+aPxYw9UITcWjH6nbW5SC/LN4wDlv4obH7Lej2PqAAyBdQNGsFYj+gsHMK7f4e0cWzKikCJSLglJi+ypP7D3BbTf+t3srqfAScqpwBXbr2y67XOVFkboRHQghN/pFbsqMgXxSMTSsodkcXoq03xu5neykGHDKY+UwW8Z0EhuOuIE94STYQRG6IIv3jPJFgRMN2z2Z6djljYTGx/a27tpudpFyMHa2Uf9mxedgrzJwYUsdbKexa0RXGe+vQOb5L+CF5W/M4tXo/p9H6vXAOMZBoPr3515oy7DYVG/QDCjA5YE++YJwKiIEaRaAMCNQVAfNfUdCgABemBC2gDEjWSBa84W/3qypVMgO6zev29F+eZMSZz9T+znewnmPX7iF+WwCTEtgPCsTszk3F6FFIfKj2747mVYY9m/TKaj1t+GQH63fjbzVE8OYL6+E8HsfK8JeJBpRstU/Hm+VsxtzlPCBTL8J2j5vQ5xYR6k0wLYPjbS+UTkFuLwP4bdlgCpxbAMNbYc9PhDMhDVXshw/GXGgbsoN9QKGQn7mP5P5wIaCeIlAWBPg8Lks+VZJJcQxYlIAHvScGskvoxKKQPEni6LVfamHU/lJ23+IzAEkgMM5NLqa8OZP/oIAbRJcgZDgmbIA7i5fIXrEBS5SKZ8cjpTHz4Slw2SVdJAwy1ly24QFqX5eTwAb8L1mXb8HT9k3wkgm4Y+hyHrzmTXCv4H8mmz8rO0axep82pI6LImN/I2egD96gkVcF2CuDGX+LYL196ellJIjh22MVws3mH3Yt/SZfNcENfTghnHJkme38uMDt9wGF4nUC5y6oUQTKjMCAP3qZ85/g7IqzoEV3wcJAY6YwLqQ9Of3WhvLsBNvRar9RDFzjyqo+SxJi12vs0G60jXvMX2D6TPoyMP2WKLHEMtkkpieziB9pkLNLpt4oZGsnN50URd+tLGMkNNblhEIaera72GW7p5/NQFmsrQ8gtyIwzl9IsN8BwoSfP0mSfakXLsk3/pyNSfOFgthdYWXreP6wKFJXWbmSrgk4qpj/2CZfxTH4BxTYBl+rZxGyNIPYlRTUKgJlRaCuCJgPDH8GK5qgu2D1/6XEkLHab9zG2wdMBvkHqA1Pjhud9hsdZMKRQL6dxfPbZUc523d07ZMt+qczJGGWXzEy6cKMG0lmHBsOfxBDdjCY4m3ewbKvtnUI1etBt4RZzqHrRhAftS9nMkIie3pxjuTbg/Y+m5Rk0H6y9B1LP5p1rxhu7WWYfNWG5KAfUGA7PkY3zTbWOuJ/KSB9Xs4wtNEzisCoEagbAp6uu2CNeNP5INnXT0SNZdI3iR9J+813Ods1rljo1xvexhH+Gted16O8Zm4xO3NbUUZFyaQH01/iy9AuvCd80KOnUG6zgVxI+ct0niUpXJ9F4p3dKGWWs3fpsAd2v+4VxZZPGmCk5UPP5TBlL1vfwTJkG+z1waxypjk6Ru2dftlt77gmXw39AQXAPZ7/k4sRaP4jz0koe+M0w4ZBoG4IuBe6C9YofrXvC6X5fUieBHF47bfY5WxCXeZS0hrXUhqV16gwI3+NWZNFu13a0o9MUuF1w/mkZTuKyQyylaWfvQFeLBCcHzVuvzWY2ezaNcPhmc2D5f20wdq91qB12A93ZPMz0APcSGZ2k5PvDpbh+OLGNvmKXc5DfEDB/SpfcKj1OvbFK4SF+SFU+8WojSYsCYG6IWCju2ANe+MLBOPPgM41wUyqBjyU9tuG5bOiSHHs0bkHgRbiNa1sE4683Pod1mNKqPtZvPG/gWSCw2JIXtLv0rIGSbL2oweP9s9UALsH8T9ImsEwS/80ow8/OiWGtJ2NPWAmOfO4AF4vA0LG/Fsge3Vho1Htc2xxY/rwy8qxUSTDn0QM5V262DKmyVeDf0CBLzZ38dlxByDnAX1n1QO4gG05l75aRaAiCNQRARdnQENnQA/4sfRC3sPICJ21jyQxPWmFyXGmhQ/oU/yyDcylMaTsQ9r7ehHjj6MrWFkK2AlHibMLERXxHLhB9zMfyh4B24L4AD6GdQ3IxEC+GkO6Yl83iuYnLwXdzqzDKjrf7mqXIUWxOtQr4J8anW+vZXfzvwzMZeg7s/lmF1PeDMDQhmZaAwLYDTZWogTDFwl2R8tfipfID2NIhzTL4plSpVInX7Vh1XbRAR9QMHbZ2kMC2YHu8+iDRX5WPe/9mVCjCIwegZJT1g0BCxA8QCnzoV0yFvV+wQdCDfxjSJ5wsb/2KzC7Gwg1S7HEEv5NVmjC0cAmG7iWfLwTArfPRxgyiH2OpPRv7yTQTJmEbML1LJwan0eSsJOW+mynmUV8QwG+XczZzkp27uELy7eKcSNL1JznMP+b4C1lCn8yEFYL3ieLxCER5I5nTgNIh/fmK7ExvHQIYNcT+ztGJQzMHcxnA5YxZpvvyTF2eMDLoxdgF7EnDnIwwvIuEUQeAWRbFM06QMQAu/Behl82yjqrHmoUgREQKPtDZITyKnm6yc+cf6y0L6ufR8DkNWAvIJC7PWFSDn21Xz4AlwMSPFABuIC5l3U8laRQ9glHzH9QK31e4KzWHU4mrqDXrnXtsbEGeDsJ8FQrl8d5RGG/TdyPfO12mnbzjsSJYC8AQl3DrMMJJBd7DYYzbch2sK7fcryNS/CZYlqrAcrXsnh+xyym38s0PyVBfi10/teACV46DNyfMVzS84Ja8BsC2Y95puisnc96/8IKY3W9o5x81YzkvCjSjxoY29PCsd0+JU5lyFsNQJ/Wu98LiUWZZ9Uza7WKwDAIlPSHGiafqjillRgcAT6ot5IiwaSp0T00eMrKx8aQOoEP8jn5krwH37V5GWAdg68X8eFtZwRj4oy8xS/LRdMAfDKY+YzABOOBBnJWDCvH3RXdjNWb8/48RKI43C+f/oC9rLMkSReRnXnuQTrP2muiSP+C15/sRYQOMaRPiSLJLv3cawYg5pIons53sRLjy4GdclGkbmKaz/rnBXIjX34OFjjBSwfYVRtD5mSUaFgGtUpzVPEy8+4YUiVp78VrrWRG3PmqDanjp0Dsvttvs1cM7WQp2318FrEFWSR4b8s+q37oovWMIkAElIAJQgPY0LdScS8g6zFJxkDCWtiP+OD7rkCOtC4zzNeLJqC6AQGzrKfoBljWj92ZwXrdZoOmkrXCcKZtWHVoE5zHDOBPjgNxsEuNjgmn8+VutC3LIvFOm8aPA8wnSMSXtSF5VxSps62zMuMG69J/DnD2JuEUNi4xU6NI38i8QvcEN/MFjS8Dsj6DOF86JNiAwsD9INOWbLNot1+qCuWDE6JjGMduGWLyVRSZbWNInxpF6ma65cIue2IaG7qiReLt8r5opGt8h8ZKz1QSASXgSqI7oXkPV5i7wD9LLW6Aduefq7QfRfLdLKNAdCY1FXFvbJMP+mus47lJsc1Ys0Xogb2iC9EhZvsKu8eF5ASvKxrUCqNIn40STTtWt/O6Hwsi9vOH/phoL+/NN4nDERjB5NPILeFkArFj/AsZt7AgU/Qs62z40oWzs3h9+yxi93mxMK1tSNolN5/OhwED89Msx4IBMSgYF2vsxyOYh42QPduwfJaVSnXM96u8JtDegchNreiazbhRW44xHeUnNpDXeiHXEMflgPsk634xz9m2bER/MGs3Dvk/YnwKMVjQpcQ7GEYaN8EIKAFPMOCTUZyB8ya/XBeBBudHTaR/bLEwuW4VJF0MT57kYH1ogo78Z9U3vxkAABAASURBVLiakPyoFZrwutajo8hsONw14XNxrHzHejiPA8WuVAO84GD9bhm0nxxOO5ychffRiYUknmHWc8uvDXrmZNFuJ1mdA2y51uY5AybOOt8hcPZHwQjMpV1o/59CMPC6vO8pm78WIhxBc3iGdiF6dJ6Lpo8jGMc2cxz0/hKjMKzrtlGkjmFbw0uZtgbkQMAMRbjsWTCXCuRjLtYRg8R8vgR8hhjb2d9roEYRqAIElICr4CZUvgommOHrovfpypc3sIQWvLEpIAcgMM4PArEMwniyiMANEbAZtPs5nH8GiW8w7M/upQbbexbDI9oYkpe7mPKAFMfjeY1cMwXu29KYWeKXdsQloZxL0vygQL7GjEiwCJyNyyL+sTyB8mzBxpDeYB1SfwGMnXFeiMU5JKYhJ5VJnw8RyJG8tgVjMN3sQgdyh4Qu3ZX1uS4UpmhaGfeuGJKnRZG8NYq0p+HyxPcAGbFcw5cZQW7PLBI7E5tTM4j/uhsb6pfRoKYaEVACrsa7UsY6tWDlxsxuOp21q9dg5rA7GdlElXARRL7EfP11yH+iBvdfhqvCmj5LVMyTI1dK1rnIHVdM53w5ijcKXevF2LAUQ/o6lnMS49iTyiPwhkHusCziRybHuSabJHN5Fgl2MRedjfNKCR3akJ1lYNgFLTv50QJzmr3WDw/mc0yY47fehDmeNoXlTBTHYLOYfq9wjNa/lPWxO2X9PIbUdVEkn4winWbcA8TqQgyh4fJ6O6va0+bR11w9Fbm3ZjDjb32jNaQIVCcCTnVWS2tVLgQcNAXaLyCTov0CphlwgtmrAuEDHVVkTKABC5xhu6BRMN2YcQdFfz01XyyavPFsxg2wUaSuIqnYsWPvnACP9MLdqQsz7AQoL258h5GvbuGLmCBH8kXwomCAE6j52rHTETKwk5TMD4uJ5GMxpE8uhoeXYkjPbEVypyiSB9KdAQh7DdCLojmYdSE+3lpdYlk8YSXi1WX9gssxre1CDi8tWuoitx9fJI5ZjRmWnAtJ1VMEqhsBJeDqvj9lqJ0EBCxwJ0XrbEOaY3/5sTo+PF/KIPa7MjSsTFkYaqQSLCfKoHfELuhiwb0nUM7RWfu+Vqyya16tHLgoyZeBYH0vyeQGaqe79GD6S4yfENuM1ZtH0GTHcTlu6hXJ2+B8qQuJ73ihURxIbucamGC8mRnsx7Z5s64H8a9sQ+r2KJJPxJC0Gu0KB/IoILfSnc98SLYg7hjKPCWQ64XaOeBsx7J+GkpoCbojFP4Z0+zYjRl3huJUVARqAgGnJmqplRwzAg6K2p2L4ScYjbmQES4UyLF+EgfCsV9x/fBk+1Fkt2QdPG3KAC+jBA0qiw1I1u73eb1nHUSuAIzd5MELR/uRLyOvziBB8hEWxdAE2ASS8yNwqPnKvEJx61n44VnEQhpt4cwIngMntH+4sWPIC3nJYO4rAuwPCMlThlkOhBzTDLbF5S8yiB9htfMsonb2cnjcGHkjKx2A7Uh8OovYinycHhWB2kKAv+HaqrDWtjQETGgGNGAmvAu6Fam3s9xd87U27DqMXZOXq+YYdMmyRiRUHkuyTecy+Rt01s6PIn2KFWIc86UfaL6UB2yuwbiKWtZhmxzkryTDzfMFmTUC+UQXEmPq+iYpXs57+at8XqM/UpPN8LonDWB7Pr7H8Omsx25ZxON0dgb5QgSzo0EjR0ULa5rp20la0xkZtn/MYf1b00jYZVzheJUVgZpCQAm4pm7XWCo7uTOgIyHtV+DcmoEMpvFg8oy7nV+2AxnFBCw/dd7P5rWv0Of38D8kje8YGGq6+TQ8Tjj5RrFqW9aBmi/msHxakyEBHkAS/Q0DY7ZZtH+c5Pk1ZnDO0M6cCZiDXJidmXZDarIk2vbtu5A4IIvEsQxfxHr8HZBu0DDu3AjsTHRZyiCtsXVeSIFODqLvWQEygHtcFol912CDV73Ihj8oALWMgFPLlde6D49ACyZ3BnQMZqaBGzxAczBVNvnK4iehCVhmVBOw7FVhl8Vau22m1w1KkpjLc8EMaeFYJglj0J2tmK4itgWpdwARS77+GtlV1ITf24X2UBfy2IsmeQ6Ydc02nl107ReQqG/rRvtjTDuqF64U2lcD4YleA+qXcxGh1jw9vAZ7QCKNUARqCQEl4Fq6WyXW1Zn0GdCZLyBYuykPdiPxCKrPBF3QvRh5DfDg1d8oy3j7JSN6feyDGY5l9ompcKANyfdEYP7EYmbQWfs6kNtrDRIlrjO2l06sI4GfK33WNBv/YxAwwJ1diJbcQzGxLdDSJhqBWi9PCbjW7+Aw9efN5fhrPoFM+Axo47AL0q799SpgqlL7faWFWpe/TWeuG5kxzxIXxC0Bkye85vIgS11v5yeKE2RjSH9EgNuBYOLTUoHslcWMMWn2mATDF5aCdh0/D3B8DZ4ELD+ehOpokYpARRHgM7qi+Wvmk4iAgbNZqPgXQnLFxRgy+wtQmPwjr3chPqptBytesVABrYi9icEIHa0sAjZdQ2GMNn06L2STefSsearb2/nJC1T80IbUoXzJuQWFHge+CbxETXhPEtozqEHTitUf4svR7HzVZVk3HrsrL+tREagfBMZHwPWDQ722xF/3iRzknxPZSJJBsPQIcK8BpAdVZpogQfczqzaGGdC8ijaK1XuT8E6gGLbva0VyhM/hhZOPXY4icxSZ/3rmMIWO1izJwd2L46r+dpmMqy0riByJgiG21wL79BaC6ikCdYNA3RCwwKzz7wrlsObnRzegbwICZnfwsxMFAAnBapbvLZSXyyH3g4JcVZ6BBBOwgLFNwMp/0Sdy02AN45/r1MHiyxlHzfd4wLX4koO9nJ/NoXfPngnc6MMrtYyHNrzewcYEnz6kJh/eiKOMJWlWisDkIsBnxORWoFylG0T+XsxLgqUlxbiyS1We4aoEKzibztqeHiRetMLEODcY+wXM7WuwwSsTU25ppfClJPQ7ccY0wcfxvuhj7LIZFm7HfXOhD07Ige1YswVPVMTGkPw6ierbocyfMojstWaS9vsO1WNcooOpn2MGTXS0cm8aiecpqFUE6g6BuiFggQkeoMbrWjSFsb26u2ejalALIoH2SxLkA2xidp+aARNneeFv2lbh0qMAwnF1QUeROos5FTYZoYTcId2YYTebCPaI7sW6/l3TNuG4Hcs+20AuKmZkHhPIXl2ILi/G1abEdn3WrzmHMnTylQ+G+nWHQN0QcAbxNwxQ0LRMSxTZrerubpXQIA4GhtrvlL/7eYi6rOd4JCAJ5M1TWbT/JS9W23FVQgB/qGJtFlG+pJRSR9MCyFEoGIF8O4vp99ogScOuC7YiBPifGMxML1CmAzXfS5jVQrqClXunIvFu+x8oRNSsF0VmL1be/+2u7kL81wyrVQTqEgGnvlplAi0YyG1fX20rrTUuEHxgADATRsAkH3/PYVvhW+2hGl0MTSHt1zwDSC9KMG1If5G4Bl3PGcTO8C/vQrtdh/uYDfOlMGqQPsbK5XAs938N5BQ/LwP3d1nE9lsFSftxte27weQrtoNj6+LtlkVZrSJQdwjUGQEjvHB/h7q7WyU1SIIuaN5kEkxJF48jsfjaC1zkqnHjDa9txtv60BN5kBLXyZoW6UOChhqvrGFGIWvjgiAJ+PVoEBqjEEP6OoGx46N+Dv9Hsj8QhS0dUeMmgeR0vtR8zG+GiyadfOWDoX5dIsBnc/20S1AkYLaqwQnYDQh4PfAc8ZgQa4CAgJvQO2Hllt644kQ9klpJBBxDZiFgAu23C/Ef9S8/i7tvIxb+2usNY5h6bP80pYSjSF1l+u4vfXMW8UMBCWb/o8aNC+dLgLQibx7rRtvjeVGPikB9IlBXBAxEnijepuIDthjXKJLhfRX7mT2vwWuQm6Au6M42ktkmXqHAujQ29AmoEFVNXnENcA7OqAk4hvQ2JMJgr2cS8Q+B/tovaA7OCRBocAY4mJFjslGSLy8Mvqwk+f2lDwEmZmId+psKhYkrtfl85vwdVd3GLfma6VERKB8CfFCXL7PJzimLKDWu/MNQgE1jSG8w2XWajPKbkbJLX5oLZS8DZqQKckW9VsQC7ZcFLUGJ46qYUGOCNcAupoySgI1j4P6M1Sxga/6dRfx8hge1TXCvJJFk8ydlxxakQjOm87EjHaP9yJfpr85M8P7SLLPithXepiU75Qsy3XwwfT8v61ERqF8E+Duvp8YJtY7ihvoGElrnWU/tHL4tDiTofgZkgrRfwMH6MAHzZQhVadqQ7WDF7HdoIUCmBy2jWiMdRfpMQPyhjR6B8ykMo4UmMT3J88FEtCYgmDWNUZjByDeLBMeTR3FxjSXhbzY0th35VQr260hV2QitlCJQNgScsuVUNRkVZ0IbmH2rploTWJEIzFtDxU0YAQPFCVjU/KqWgAG8hc63o9yC0rSg77KjK6iJjji5rRdgFzUKxhzUjtXthcCwXiORL2DsuC+71ANIdO1vAIUK9YxAHRIwgi/akASOjDVmN7T/hR9qeO5LE/gDDmnezojkNIH16lOUg95dihHFHpNi3ECJvyMSqQkmXmUQO2dgqoExa5B4kATzL3uGPTLRXjhhorHRA1x0kG7netV8bePbkP4o/el01j6XRcx+y9jK6qoNAa1PWRGoOwLOYMV3DeBP/plJtE6lazBb7Ho3iPxjohrP7tygC9ogV+LGFhNVS8CFExqLdUaop3FiSF9ngMOKNTQkY+m37Kh4dqAk1xTjzBeK8kAp2mDkaxGwL8rWt47ytdZXpwg0AgJ1R8DAlmsdyEn+zeOD89hmrLaTkvyoOvfvaTLeVpz5ZvKBFtqcJB9XqSO7/EMEPKVKu6DNNAfuPj4GxOc2X+7vx5DeJorU42zX4f45yc9APtcPj8ZvgnsTy8nm0w49GYtl2W8KB7Odmf7qetZ82T7EkdoSkL2RN72urv3NI6HHakSg7HVyyp5jFWSYQfxXrMYDdLSmuQlyKYWGsFHszAea4XglYIBXiMUbE9HwNm9ikyTyZZlUF6Kdebm6jiS53QwkWqjV82kkFhXkPl4M6YtJvP9EcdIVu/PleuJ5BEo0o5mMFW1AzdfC6EJC+z7jrmr93di6qlMEyo1AXRKwBSkHnGz9vJNPtIxhCUj+2lo79tmCc8K0XwnNgBZIlWq/IIk6oYl5xv9oAnzTiq7ZUaT+QfK1QxeF5UboYZsuGQv5+vn2DjMZi+U1nOabx8XYD6YEs5/5YqSTr/LA6LFBEKgpAi7lnhQmv9ziX8N/+uW+XM++geMvk2EzJdiak4GKWkGEmjc8YzBxO295BZZwMHA/4Cd3IXf6svWjWL23g9yjlENjxObfJN+3kny/zvgx28LvccBkrMYlX6AVqz/EfprZeVBlWTceuysv61ERaAwE6paA7e3rhTkFkB7kzW4xpIN9ZvNR9Xg0AQEL3AkjYMANffwBE7j0afT3kNrtHARdytLTjbXebFu7NCiK1LcB5x4EW0wyJfDtLBJvI/kRUYvDAAAQAElEQVSWaUa39JmMxTIbVPOFZwSR4MMLfGm7FtiHHQVQowg0DAJ1TcA9mP6iAMH3aF2YbwLPT6vNuzvqWoc2HwlvzTnq68eU0ITWAJPEqrILOoLc+4qNMw+0YNq2MaR+moO8wvjj6QpWlgLuPhkkTsQwG22gRNPUbzIWL2+oCVdsb2Db8HoH/5sf9CMiMMG2nX6c+opAvSNQ1wRcuHmX0F9Jx/E/zI1h1oCN8+25enAxpDfgQ23TfFtkTRaPjrDEJp+yTMdgBrSL6pwBze7nD/ttFZhdOSzBsV58li8P/qQse/pBF5Gds4Vv+9qIcrlkv52xQvnW/WznUFs90cFUO/bb5AUg96aRmMjfar5YPSoCk4xA3RNwBnE7C/hqH2cDc3g0P+PUj6ob34S23iTBPDVxXXrGPkiD7wB3I1N2DbjUm9SG5bNiSJ8SQ/LHUaTvjyK1CpCPo2CIVVtBLHjmX8TsdHY5v7MbbcsKkRXwhLwfztZck63T7SXDrewvmz6zn41OvuoPkIYbAoG6J2B7F/mAWyiQ661ccEfzgWzH3wrB+vAEuXcVW2ImbAZ0HCvmstypdOCD9VWgo8vKE+3aSLpRJL9Md4+geSlfti5hfb4AmN1Yl+l0fSwJNyvAtTngnVm0vzWD9ov6JChzIOZt6GFCG3rYAqQql2vZmlXKRZHZi3n7PSaruxD/NcNqFYGGQ6AhCNjeVWrCdv1moAkzrg5JWOzOX2waKQeyxBMm4NCLJv9harv5J0j7NdNiWLtNK9IHRJE6M4qkR7qA8B6L3dhhuN/24wI5heOOm2aQ+Nwab7tIVNS0IX0NXwiCDT1ChfGFIbNhKDyIWG9RbjD5ii27CZBuqFEEGhCB4R5SdQcHNWH7JRk+oIOm1RUJG2CO3zLK/nacflTF/AiagpnXpP6yEXAM6ZmtSO4URfJAujOiSF1Nd3cbUkuiSHcZ9PzXgfktG3Ye8rsphX/PLutyL+B+g8S3L2CeQGCcizOIX5Yfkw0iKyZEkTlHYD7vFyCQGykvprN2A7COVmgEl0CSPREmWI3g6s5XjXDbtY1DIBB+YA2RpL6iByPhGLsGAVMHWMhs/27xgV/BcUy/lLxPgvO6n/MhLC/4w3rTsSpB3LeJIvluEuohUU+LTV1J+fYokk/EkEwz3xUO5FFAbqWz3939MoD3CTCXfr+xVMYABdI1Rxv0zMmifZ8spp/PAWqbh/8FpFwEuT95qSfgEEP6ZFbrrFBRPyf5H+Yid1woji+Cb/j1C0XXn8gbdBQgrcibx7rR9nheHPqoZxSBekXAqdeGDdeubH7SS6AJm/zErMdjWBleyzpcFlV6zg00YIGzFJNjEm3I7kgifT+dnfB2Zgypb0WR+lkU6fuiSD4fQzK7HpEkcf8vIH8moVqN8DwAX6G8PyDbGUgMw5ucAayWb3ez+r5ATjUB6bZ/vwuzgheBHCLvZVY+YT+cQvtqhitu2daj2MbLQgX9NovnvTHgbsy4AzD+iwDr1vTtULq6FQ2c/fzGCcwvfVl9RaAREWhIArY32pKwADdYOe9kB4OpJOHkaXww1iQubE+gATeht6wacCzoDs6wOzi1MIbUN6NI3UhnCfCLeQy94/GC3D9Zl9/TXceY8wxwAv1PAmZPQBYYSL8ZyBjU8AGd4TVPGuB3TPA9yme6kA8Lmt+URbytC4l5WST2pTuaWuWlXSHSZfrACtwPBQHgDyG5YmIUyYMACV7yBPL3LNZ8Bth5PQITsWuPc4Xg+1qxKiCnQlxdec1YswXv4e6FRhEHp26XBBbaWAZPs6hnBGqSaMp1QzJIHC4wlzK/Hjpa02IgF8aQfpCuprTh6ezSZd09YmObulZjRooNGrVle4PxVsonRjFUd7DL7mCcbYATmfkhdFa7DIif4VFZW0fALALkrwB+LsC3GT6T7iAXZmeBbJhBezyL9u1JtAeQZI+lfEE34rdnMO0ZQNZilMZAbB291PzBV5yAo1htJ4HZWfcsziv2abb3gP6zw7OIPQW43/dS8OAgQgz+E+7OZ2z92ClY+2m/NQb4YwZxb32+H6e+ItBoCPgPiEZrd9BePuRP5cP+rQI84kfy4fB2dh3+M4bk5VFktvXjq9nvRVNAgqz/AO03FmiwyQMpD0Owcivb/k22tZTuYCYPbBowdgmU7V69ibh+i2e+wTodyvj3CORNU5BrJ+5REuqWWcT3yiLxqQwSJzJ8Ad1t3Wh/LFOmh3MbVm3PcjdhHaxdlUb8YStUyuXLc34FiPdFKgCLDCLvSSOxivIgtsl+2tCuVbfntoxhs69YoR6dgfOpULvssEMoqKIiMBCBeo9x6r2Bo2kfH/bP0O1KLeV0QNYgb5oN5CTAfTKK9HK6W6JIHR2tUkI2cOfkq22PTjPrOuSEJuNtyVnSeCuITQYkVgO/OxjUguWzDH8AMKE9ju3+ye3bZ5F4H92hGSROon9+FxI3kVz/kkH8mVK1c9uisToHTe9H0bC7XNxisLxSDOmtBE13M9d2OhDnV3rhvrdrmE8zZhFbwZeSC21663jN6fyN1d2ypDas3oG/E74Mwf6Wsl1YZ4cVoEYRaGQElICDuy8utbKLBOvexgdFv48YmI0YdxCTXoWAkJO3RpE8g+7AViR3ilHD5PkJsibCh/Sbokh+sg3JC+nuAORmBMZYja8kDVZgMggRLEnhJIaH6Q5OnNOF+HVdSLBLV14Liq4ygYQWEDDbVLGv7TRj9eYuXGr9ZlYeAlnuwHlvD6a/lA8PfczgZY5vw9+KcQOg96yhU9fqmUig/RoIyZcjDLXaFK23IlAmBIYn4DIVUkvZZDDzmSwSb+PD+muAuQ2Q1zHAWEKWAwE5n+5WB/IoH/QrYkimSYpPtCF1e5RjqHRnl9Mx//+NIfVIFJkM4D7Nsn/Gep5GZycZFR78GNRIiQRLTfVb1FjL2h08aMUqGvl6FBC7CxasySFCDdhK5XVtyHY0wfkT70NhH24kDXr3JYajXBO97ToXuROKtXLs5hxvKYbrQTLB+C+7ILT7uR5uqbZh3Ag4486hLjOw2nD88izaD8oiTmJz7BeGjkF+PeoghAzP8M0+Bsh2AuwPwI7lLaRfNsf8P2eAnQHjjy8y+0HtP5jmTLohNViSQx0Q7KBtDyJbMW0vYtCcjzD/7kbb0rxcvmMcqRmC3J+Z4wI6WsMhDPdjXZgR2viD0SPYbm9ZEvwXhAiQ+84Il9TM6RhW7cH/xOaFCr/RjVf8dhai1FMEGhMBJeCh73twJovYf7JIXJ1F/BN0HiELzGlM8D3jjYmaJxnOMDxhluW+YmDupLsIMOzekweKhZtvZtFe9glNxfxrQ3JgbM+AV1mB83uU3XS2GcjtzPbNdNZSucPhWUy/1wZKd71WC87lr5P3ttbJsiQDx86WzzcL5lZg23WFgHqKQEMjoAQ8httvCZnjxRdnkTi2C4kDsmjfnuG4QDZ0YayGyvFiQw0U5zD7sjmS/BmAs49AZrLczbrQvh/d6Sz/54AbZ1medYEXoYYISPD9XwPXTo5iXLnso1OiaLnZwIQ/gHE07wUJZmxlZLHBU7wyWDvsIHIFYGp8WZJdViX8P7BltAL3JnpqFQFFgAgoAROEcll2667sRvtjfAjfRkcNNHE2SbpsjiR/YRaxe1mOv2wlqLoAW6BgInBGnPhTSDq0V+Nn2DVsu4S3tM0QmCzvQ6iHwMaOz0Wxpd3E5cN+LgL5Gu/5D/3w2H3nPF7r39/5UaRPZ7hmbSs2tS9BG9gGGOClDGb8zcrqFAFFAHAUhNpHIIb0TFPYupFkkyFBN/wGBy6cQ/07S/kelLBxB0YwxNvu8PXJYjLnXGJ+eTE8dokvWCt4daAFU/5yO1a3069JywdMcB8A+T+oUQQUgQAB/j8CWYUaRSAH15/gAgNo97M3Sc0ciYJx4JaqdRWuHOhFkbqK3c6H+2cM5CckzYV+uBx+FvELDOD3YmzUC+fEcuQ78XmsiPGF0E5ILBSd+1lBUE8RUASIgBIwQah1y5sYdD8biP/grvVmjbn+bUh/ETBz8hnI0gwSdp1tPjiOoyVfXn40nWcFcn0X4l/wAmU9yFpmx/F+Hj1rjm9DtsMTa+jQhqn78/cYzVdZnujC9H7r6/Nn9KgINCoCfHY3atPrqt3BvtUCNLgGbFoEcgoKhtrqpSjuboaxmv7ky3yuziB+BP2K2C4kbuJLxL/ymQs1yVyIkPOxFTuWL+Og+1ngqvZbPlw1pzpBQAm4Lm6kTAk1w5/AE4pqHLG/9tuF+Li/uDMY+WaROKbSqBo0nRoq46g4UnZiWSiqesUoMhsKYCdgeZVcj2k6/ushoQdFoIiAEnARC5VqHoHya7+TRb72VnQhejcgf0HeTHFhLs6LNXE8lrX0Xwz/0YOWWumZYbXVKgITg4AS8MTgrKVMAALl1n4nk3x9uEi6X/dlQA5sRertqAEjMIH2y+r+iU6tIqAI9ENACbgfIBosHQE+bO2kIf/CSeomLa/2Ww3kawHtRuIRjgXfZmXrHEjVa8HT2FXOsfddbX3p1gHOlfTV1gICWscJRcCZ0NK0sLpEoBe9fjcp22fewcOE27Z+M5/HM/ZbLeTrg+hArBa8Ph82725Ddt+8XJ1H9jt/xq+ZAf6QRcyubfaj1FcEFIECAk7BV08RGDMCa7CBna1b0IJlyxjSG4w5szFdWD7tl3W3m2wES41YnauzEzDhiuUMadNILOLJYJctQe8lDFezDQiYvSPXV3NFtW6KQAiBCReVgCcc8nosUNYKYEkY1nDcckLHKcuj/b7SEkX6l+w6DTbZYFsmnXxZB88aRC6A90lJG5Qd25AKfeDAxlWHa0FqF9Zkazprk1l032kFdYqAIjAQASXggZhozBgQYFfjw/5lJGP7EPaDFfbHr/1S690ghsTdJLiP+ZUVyPWTrfn6dbF+F6KdgIQ/UWgJeRqqzESAkPaLXwNzuqFGEVAEBkWgqgh40BpqZE0gQAJ+0K8o5Qkj4PFqv81YtRm13gfodvfrD8iPKrnJBsZomuB+i5e+TgcBNqfGbr+4ZYNV4gyHf+XTfmUMXO1+9sFQXxEYBAEl4EFA0ajSEaDm84h/lUAmqAt6fNovNd9tmhC5n/X2u0xJbHJqFvGjGFd1NonpSVbq+3S+PaYNr1fNFpWtSL8PMBvayvEl7JUspt9jZXWKgCIwOAJKwIPjMgmxtV1kGonnASl8hcnMjCPlfQoQFTTj0X6jyOxlYOwnCjctVJHj2PJZar6XFsJV6fHlgF3PINZe9aYLpp7jSVVwcIDQ+Lm5uQqqpFVQBKoaAf5nqrp+WrkaQoCEFmjBOaDCWvDYtV9qvkcA7h8I7Qw6a1cBzvtJvnYGtA1XsZP1xPkrxQrKF1uR3LkYnhxpBkxcYEJfPnKVgCfnVmipNYSAEnAN3axqr6oAD/l1pOxvxOBHDeuXerJtjOt+Sb6nkMCuZXn+BKZXBLJbFrH7GFcTdfPZIQAAEABJREFUtgvtd7OL93d+ZSNwrvDlyfJ7kf6ogbQVyv9nF2Y8UZDVUwQUgSEQcIaI12hFoGQETF8CruCGHGPTfqNI/5DkG15D+2wvcrtT832m5MZO8gU5TP0qq9BDB7bpXW1Ihbp/bezEOhcmKJ8vNKr9Tiz8WlqNIqAEXKM3rhqr7UCCLmiS8Y6A8bXMslaXRHoZ856Tz1SWdo3ii0cxpK7nNV/MXwM72ep+EsVuPZjxMibdlF6BHrS8YCDf9q9kWy603cB+eCL9FqzcGJB3I29ML9bpl4/yWOhRERgWAWfYs3pSESgBAWqSbwDGnyA0rQVvkIRLyGAUSdmFzPFbhD4FaH4IyBoMY6JIXWWAw4pJ5FcZpPbN17cYW2vSNMQuBuQ1eMZsvBaZr3viBB+aMNUuPZJ8seYvazCzUKd8jB4VAUVgcASUgAfHRWPHjIAEG3I0oek9Y85mkAvbkN0BcK8KnfpjFolzQ+EBoiVfRgZbSwrsBhvxjwObDkvavKbq7SpI2sCc7ldUYE5oxpq5fniifNYh2HzDIb6llqvpFYFGRcBp1IZruyuDAAkumHxDrfN95SqlFSvmCHK3m+JEn+ciMJ8cLv/+5Mu0V1PrtRo0xfqwXUhcT8z/XmhNcwTrvluQJ8Rrw6rtWdBb6ditb7qaEP+1ldUpAorAyAgoAY+MkaYoAQEXa+xSHjd/iezZhuWz8vJ4jobEMu1XzMFfs7syAvOhFNpXM25QOxj5UlsOdV0PellNRubgHudXXID925CcwK8lOYH2y5ej31mt3K+L+qNBQNM0MgJKwI189yvQ9i7MWg6YvxaydgTT2N1bCI3RiyL9bXZz+rOqXYPIp0m+iwfPzjgxpO1LQNDtzHRV81EF1qXsthvtjxLzH/kZC+R7DE/xw5X1JSBgF7i+smVp7opAfSHg1FdztDVVgsAvQvU4OCSXLJJMT+JFX6LzLMnllC5E/+QF+h1iWLlNFKnHSdbBkhgmqWvyZfs8a7BuIQW/R2DLGFLHM1xRG8XqfQQo9ErIim7E/1jRAic98/9MbUVy5xiSp/F3dvZgDjDRSa9mDVWg0auqBNzov4AKtN9g7S+ZLRUiHjH2bug2ZN9LMg1vDfkDjuF+0+ba11mtN3mawdTHAdkBBSOwE64SddntXGhi4HVho06294dBBJxti3JlJIETetEx/wfIetS8KZIsifbyGFLXRZH8cxTp16LYtNuBPMKu9gvZzIWDOaa9mPFqFYFRIeCMKpUmUgRKQKCrDN3QCSTnC3J8qMP7jZJcHs4ifkL/asSQ3obuwfxD0bQUzvcIzKUk67qacFVo23De7f5Jvrjs5MuV8Ze2GuCjKJgcUJObb7RixWz+fj7ahuQlJNn7othktVMgWQM5ycDub23XOJs5bGqETq0iUCYEkH+4lS03zUgRKCIw5m5oku/0HOROZjWTztpXclj7MUC8nZ/gGROJIvVdEs0/+ZAM9p0W4BGBvDWD9lO9ZA10yCD2LzY3R2ftNkCnvzWkDZfVRdH6IWbYTmfts2uQCLYhtRHV6fLabRSrvhJF6ma6xQ6mLuVv6FcCOQUwewLSipHNWgFeonuU7i666/nCZ3tmzsmifVLWYo9cZU1RjQg41VgprVPtIzD2bmjTkoP8nAhsRQc+2LoMIgd0Y8OlNmxdM1bbb+HaXbeOZbiZzlqr9Z5OrXdXuprbWtI2YPxOugHz30I+kRhay74RSiFvGMjhvky/KrXf1iG0WyByJetsNw+ZR38Ya4in/FUgl/F3eKQLs3ML4rEsEs0ZJLagezvdh+iO4AvfyYw/G5As1CgCo0SgkQl4lBBpsrEg0DWgG3rqN4bPx7S0IXVcFJlFTBdaP+wc04Xovxnn2TasOrQJzmMMeGtP6dOa/wjWW633IkBcNLAhWXAcPA+AgXlbXirvMYb0BgK83891fVV0P5dDu5XXAXObQE4j2b49i1enZxHfK4P4KRm0X9ON9sdWKMH6t139MiCgBFwGEDWLwREQOHchMM4xUSQH2TijSLwCfIcPQDvWhoK5ig8/u6QI7VjdHkX6x4LIDQA2oLO2lwc7y5nkO7NBtV4iELIGeNQPEs8KfabQ/SLLmErHHgr8fS0S9qXJBifMtfbRblN/jRbGbjFq7dZWNU+4lI4BnO1ItrOyaD+Iv7mLu9FOHLddx3NqFYGKIeBULGfNuLoRmIDa8UF2KSB/QWDkhzGkt84HhyNesd3NC7NIfMWmjWPlO9bDoWZnvmDD1pFoXnCwfjem4cNTem2cOpAQp9jeAVhTKQ2YZPURm3/emWDiVz5ciePrUf5udo8haZf/DDJ2iz0wqrHbwQmXvyG+xMX+AzWKwAQjoAQ8wYBXvjg5MorUOVFkKr4MZTRtEcCuA/Y3zUiQFO6IIX0K67eI5/ppvLKUxHp8FrEFfCie24bls5j2my6mPMC0oT2O5ZopcN+Wxsxg3+nR1KUR0mTQEpqIJW8CTGs528379hbew10KeXLcXYINQApx4/ISSE6PIvnuGNInRfMTpf4bxbQUy/ybgVzIzEcxdstURcsXEudMhDRc/raUcIv4qDSJCCgBTyL45Spa+oxLGduFexbgPhlFenkUyVvpzqA7sBXJnWJI+zOLy1X8sPlQC36D9duPiVJ01s7nw/QSwKunDdMVibcL8R/FkDk2iuQ9gmYSsjmRCZrorH3DIHdYFvEjk5ietBFjdHV8mXSzcX53fCSGTFknYhH/0OQr87s0EqtY3phsFJmNOO7//pin2aZviSK1KAdhfvJn/kYuZ6aWbLehX+pzym5I8j0XZqcsEjtnEbuATjVcAqm2uhAo9YddXbXX2ngIkOTsw2ohILbrFkVjNgLkQLrz6W51II/ywbaCD7x0FMkn+PC7PYrUlVEkK0jQpoUPwg8AWEs3iJWlAvdGAabHkDo7iswi1pEELXszsUPnWQEe6YW7Uxdm3OhF6GFIBARCrc8/7e7lS+P3TUTgBJ91dCH/i1GaFnRv3Ir0/lGkFtL9pg3JlwF3uQC/z2u25iBmNZ9uMNvLyP8i//t2MaQx9xrgkCzim2SROLYb7Ry2GDKxnlAEJh2B4AE36TXRCowLAT5wzuVb/gKBOQUwtwHyOoYwBhIDZDs+/PYHwHFWGYGgLTGW7mLe5gaZQlcz+DLA0gZYM4f1YZ2xMO+HNWO4bMu9AjmVLxm79GD6SwMu14gBCPCFx5+kZs8RQ+uF3BjFVqT35f2Ynb9clnUjfnde7ntsRnJuFJmPk2jPb0PqzijSyyJY/6oDY8eLz2bqD/OeFrawZKivtS9qfIGQa1jWl+mONjB2Il4HZdu70++ZJcvArmlGbpVF+z5dSNzMsO0FgBpFoNoR4O+22quo9Rs9ArImg/bL+CA6KIv4LHDcS2BO4/XfM8Dv+AB7kuEMw8NaM4CgsZAXlOyYD4k1TKhW2zWXAeZe5jcMMYjV5M8x6JnDtuxD8rWTuQyvUTsiAqaZRGd7D7yUDppv8YQyHJjv//jZGLh2NrobQ3qrKJKfjCF9SRSpP0WRfKMJsgRw+RKIMwT4IGBInv6Vffxunn+Q578vkM+7aHpbFvF4Fmv2EmAxIF+gu1p4DuwhofNtL38Mt7vIfTiL2Ka85gx2hT/vn1RfEagVBJSAa+VOjaGefDj9h4R8cZbdcV1IHJBF+/YMx/lA25Ba0s588LHbz5zJrEsiaKYv0RbHeFn+KazHPpZcWY9TmdE5YccXBJ73JmGd3eWtJeZZtaNGoA1dexiIvwPWMyk0kwxHffmQCWMwMwGxPSawhvduvxjSdnLUs4D8zHg9L3gP5RkYxAiQAcR+JesKBy7HkXN22U88g8Q7+Xs4OoP4/07B+hdjSJ0cReti5ncRgP7baT7H38fpBms35e/5w92YQY1ackxXitW0ikDVIKAEXDW3YuIqwofdym60P8YH3210F2RHJug+JMmalhJemEX3VnxgXgHIGhRMF8mV9biUZZ8ddiRoasjFdIXk6o0SAQc5apz5xCS90DrsfNzojmZqK7reSoL9nyiSV5MU/2GQtt3/zaHr32IADmWEYgLRrKL4Z4Gw58J8iv7WvNeJLOJ7ZZE4Po3pN2Qx4z9AnjzbkJ3VhvSFOQiJVy7gi+EsBMbY7uSbAGdvXst82i/qwkadwWkVFIEaRkAJuIZvXqWqzodlf4LuQ5J8EJYSPhfo6KpUXTXfvgiQFAMCdhEZBQG/0tKC1C4k2i9Fkf5xFKlH6acd9NrPOv4EkC8bYFcAQyxnkk6et+WQOJ0De2Hm8aVuA/5G3svf0amUf07/OUCYDH1MM+yWoqnvCnqXULM9jSen0/n2ZZLuWRHATqg6NIvYff4J9ceBgF5aVQgoAVfV7dDKKAJjRyCBHru3sV22AxJaVxfa/tY/tzas2j6G5NdjSF8bRfrfUcTTJDmOw8r3AcMxV6/bd1r/60LhNyif7UIOyGEKyTE+uwuJD5Fwz8wi9ssetL/A88PaKDJviSF1QxMcu4PWsYCEyf1pAxyeRXwB8zsvhXa7pAhqFIF6REAJuB7vqrap4RBIIDk9h54f+w0nQd4L3LK+Fcmd2pA6IYrUr+lWCiL/NpCLOMZ6BAl3ewBNdINZOwnqVp44j+nW0PesAc7LInFON+K/W4PW17zIUR7inqad+g3g/of5HMrLgrIZflggH2Xeb+lC4gbUxbeFoaa6EKi62jhVVyOtkCKgCJSEAIltAcdPHwLk3Sia7aLYd5UDsZ/M+xaj7faR4eVJjPKsy6PduOP/SIAnA+Y9EZgZJEJqoPFPkBip8UoL09DK0i7ES975qg3Z90SR/DMLoqaNDzOjkDV/MYi8twuJXTKIk5xDp1RUBOocAafO26fNUwTqGIEXmmNIf84FLLFtGW6oAJsBEscAI52A3MIu6tMFskcWaxMk2zfRfYYE+E2O2f6l2O1rWpjmFBQMteZLEZpIhxEM6/YRat8PCXJ/Qt+XA9D8lg+fXVnee7oQ/TPDahWBhkOA/4GJa7OWpAgoAuNBwLRGkXx3FJmzo0jfE8X0VSRFuxvVYJqtX9ArFG4mkX6RjkQbn51F/OAM2i8i4d4PbJTl+UFtDBmOz/rruEer/ZopJN3Dokg9xbr9WoB3hDLvZfhGwNk2i8RH0khQaw+dVVERaDAElIAb7IZrc2sJgRUxktn7SbYXkNDujyKzChBqi+5CwOxNudA1jLBZIpDr6D7HrmR2Iyc2I9kdkkH8x3S2qzmcdljZwA1mVLM8ji9LMBY88ELjsI5nRpG2O59dz/NvpitYbynRlb1wF2SQOCyL2FOFE+opAg2NgBLwhN1+LUgRGB6B6ViViCG9P92lJN6Hopi6SoDfk/xO55W70R9qdvJjAvksCW4Lku38DOKfpbuWXcmLed2YbBuWzwJkT+SNa9Dz/bw48BjDym1IvI/xzHl07PrmMW9XG2/CV9M81uurPbqVaB4VPSoCBQSUgAtAqKcITDQCJNqZdN6rTFIAABAASURBVB+LInUF3ePrEbFdyrcbmK9Jvuu2aRR1+m4W8XeScK8rJ8EJpn2cZTt0tOavXZi1nEI/a5wYkqcZTLUfPQh9dUmWc4z5DGrg87sQP70L0UGu7ZeVBhWBBkSg8AdrwJZrkycUAS0MaEXX7CiSB0eRujqK5JMk2hV0vyQ2X6V7K13//6PLuH/SfdcAd9DvpfPtOgrHZpE4DpVZsnMwiuYXRTEvxZDehu5BA7kQMH5XeA+J99IsuqmFt19IDVzX8Obh0qMiMCgC/f/wgybSSEVAESgdgWas3pxdyYdE8ztMPeOgdykgPwfwZUC2xUBjPzJg18NeJpADpiA3I4v4LjaZAPvRL2jEsszBFLut4/dQAdM2oPt5rX1JKJTka73mnwZ4eyHSbvzxqEDemkH7qbrzmY+K+orA8AgoAQ+Pj55VBEaNQALJ+dQKP0t3bRSpxU1wXhTgRsDbYWrrgRnJWsY9AGqRJLMPZLFuRld+Pewp7FL+3Tr0tkSRuQeA1ZDpWWue6EXvrmm02qVHNqLsTtDMFwQ4+YyL3c+xPlovmvPnYbXe0zP5epc0yatwvXqKQMMiUPiTNWz7teGKwJgRKBDSkVGkbqJ7OQdZxC7ln9IdwUzttpD0wtasAeRewDkHMO/JIkYNN7E7tdwzupD4A7BhBgUTxSpqyNNIsma3QhS1TFybRc+7ejDjZT+u/L7tTpYj/XwFzl2sa2Gst7/Wi0ckr/VeBIjtLocaRUARGD0CSsCjx0pTNjgCcaS2jCF5ahTpX9AtI9H+l87uDPUZQjPgA/MCZBn/R8D9hiC3ZxarSbjxfbKInZ1F+18AsV/6QX/ThtWHCZx/8PrNUTC83mqZn6t0924b0l8Eimt/c8j9MYbUQ4ZaOqvST+uN75pBfEStl9epVQQUgUEQUAIeBBSNUgTyCKyIxZD+cBTJ70eRep4q3nMkootJUJ+g68inCR9N2gB3CuRU/rHszGQSbmLfLKafn8GMvwFze8KpB8qmKYbkNQLnegOJIm/eYLn78XpqmfmIyh1Nn52v2MakA+fvrMvOfpkC1Xp9LNRXBMaLAJ8T481Cr1cE6geBVnS9jSR4WtTbaWrqSmq4vwHkSwAW0PW3bzDiNwY40YXZOYu77RguyTJ+aRoJdh/Lep4flY15a2lT/zSQz4cueJ5/0F27kbgzFFcxkW3+Gkl3TqgAu5lGQeuVNQJDLVy13hA+oxA1iSIwNAL8fw99Us8oAvWOQBuys9qw6lBquDdGke500PsYSdAurdmbbZ9KF1hqfxkD3E4iOs0gt0MWiZl0H+1C4tvdaH8MODgXJB614M8qtmtpheO+/oXmrxGYXUjk9pN9fmQFfdMCyFEY1Jh/C9a9LYN2auE61jsoRBqpCIwBASXgMYCml9QyAs9PiyKzN8c6LyTpPibIdQoiNwA4BDCz6Pe3j5Nw2e3s7JPB6xuSbD9MIrq4CzOe6J+w1HCsz6xiS4BeDrab+koS+z4pTNy3cInHF9n+sPbrVUYg17MuJN+ZOtbrIaKHUhDQtMMjoAQ8PD56tg4QsJOnokh+uQ2p38aw0QrAvYekehqb9ja6flbsrk03UcM9zCDSQfLZiYR7Whaxe4Et1/ZLPMagr/X2n1VsvLW0LPOrmNBZxabf2C98c3UG8SMwoXWBGkWgYRBQAm6YW904DZ2JgZOnALlagAPYhRxDX7MOkHtJyKe7aNopi7gl3UO7MOPGrgpsoRjro/WiML6KSV1LG0X6awhmPsM3V2eROMYPqK8IKAKlIjByeiXgkTHSFDWAQHjyVA9GnDzFcVXzA4F8pBnrOI4bZ/dy+0XdaLN7GleotUNpvZjktbRmsLFfJd8K/Qo0W0UgjIAScBgNlWsGgbFMnqKWdzR/8Ftlkdgyi/Yvs3v1tytDm19UqvF5rbc619JGkf4tcQnGfvlSYsd8VfOt1I9B81UEQgjweRQK1ZeorakrBPzJU8mLokiNavKUgVwEFCdPkXS/n0bi+YmDxXaFJy8xsGO9srNfrlTJWlqOidsPPLzXr5cB7uBLCcd8/Rj1FQFFoJIIKAFXEl3Ne1wINGP1FiTbs0gUoclT8nVmOqrJU12In54t6+QpljwK24oVc2JIXxjF1BcM5BReUhjrlapZS8v6ncwXgQ+xbgVr/tKFxP6FgHqKgCIwAQgoAU8AyJNSRI0W2oqVb48idQ7dY01wXmAzziFRTPrkKdZjRNuK5E6s980OppF4jZ1lvUHxoupaS2uQ26JYN0C8PZ+hRhFQBCYQASXgCQRbixoMgaWtrVi1H8cif0T3qoMpDwM4i24QLRfB5KksJmryFGsygo0hfQDrfq8DeZRJPw2YqfR9yy5vcybHnat2La0B7mbX8+V+hdVXBBSBiUHAmZhitBRFoIhAG5bPIml9LorUr2NoW+4g8jvAHEm3cTGVJ/Uw7g+Ae7ZAtiaJBZOnwl8O8lL2PUxAaEWM9T+W7jmO8dqJTHv1LVTuE7gfYZ234tjzBaiytbSsk+3KPwfAOV2IH0hfrSKgCEwwAkrAEwx4oxbXhlXbxZA8PYr03wXNnSSt/yUWH6H25X90gEFrZSXJ9nrAObAZ6zYiUXwgi+nnUEN7zp6dbNfqje/aiWBTbff4d1mfLel8u57C/7lo2jmL+N4ZTCcxM6YqrWSzSJxtHSBZqFEEFIEJR0AJeMIhb5QCzdQ2ZN9DDfE7dIsFkScMhJqgeScGGPNfgblUkNsji9isDOJH0P/lRCwRGlCVISJa0VUY3536ItthtcfQ+C7eYP0vdrFuCxLaZ7rR9tgQ2UxMtJaiCCgCNYGAEnBN3KbaqGQCyenUdD8TRfLnUaReJ6H+iTU/jm4eXdj2wtt9Sk4SrGPXcvubM2g/NYMZ9zPeRRWZGFZ/OIo0x3d7C+O7mBKqHsd38VWOR89l/U/rxoZLQ+dUVAQUAUVgWASUgIeFR0+OhEAMK7aKIX0iSeqeHISkG7kJkIPpEuhjTAowvzDIHRKBYdey3X0q/q0MNqyKruVwVdmeraJInUXH8V3nN6z3IOO78uEsEhzfTVw5+ePR4do3vKwAKAI1g4AScM3cqmqpqN1ScdXuMSQviSL5tMHUZw3MN0lSe7OGTXRhu4SBKwwi7yVZkXTbP9mFGTen0L6a8VVj22Ha2ZYD6X7chtQStudZVu4cutD4rqxjmOO7pjC+G7+dYbWKgCKgCIwZASXgMUPXOBfajxtEkfl4DOnr6C8nof6N46CnAPImDDDyD46HnmGQ256kO5/u+C5E/wx4BIbqMGZKDKv2iCJ1Lt0/epFeCcitdF8QYC76Go7vykUu1s7NIsHx3XYd3+2Lj4aqCQGtS00hoARcU7dr4irb5i0VSp4aRfL3PZj6OuDeRs3wcMDMDNeChJVl+DcC+R+Dno4s4u/KoP1CarpPMr5qbAxpdisnvxxF6jdREi5fIv7Kyn2Dble6CF3Yphn4Ldt0Sn58N356t47vEhK1ioAiUE4ElIDLiWaN59VG0o3CklTyHkHzUmq5FwPyfgDNdCErrwHyYxe5/TPompVF4qMZxH/ahVnLUSWmHasL3crpH7UhWehWlqtZvQ/TxenCNsfAg3TnkXT3yCI+M4vER9imy3R8l6ioVQRqA4Gaq6UScM3dsnJXuLMtitTCKPKkC1iSEjue2/+3YT/Vd66L9e/IIr4J3Re7MeMOYE43qsLYbuX07tGgW9kpdCubIwXSv1sZBuYF8CUCMAc1wbWE+84sEmeRdO1M7PVQowgoAopAhRHo/5CtcHGafTUhQLI6K4pWOwv5bED6k65LcrqX47mn9SK3OclpJ7qF3Zj5CKrAtGDlxtRs3xfzNvfwu5XN31i1YbuVAXO0QLbuQvu8LOJfzKL9tiSmJ3mdWkVAEVAEJhSBshLwhNZcCxsXAjGkT2YG55CQ5tD3rUe6jDvaoGcOyWmfDNov7sGMl/0EE+23FIi2DanjSLY/jiJ9fxSpVRFMeVUgdxtvcw+M0K2c25Nka7Xcj7BN36eWa186JropWp4ioAgoAn0QUALuA0fjBAxMvy0g2SvrdcnKfYDM4hiwnbB0JonvkCiS744hvc10rOq3thdlMyMRrQDfIdl+ATC7sdDpdAOsAditbK5hGnYre+O4hW7lGdSMZf2ACzRCEVAEFIFJREAJuGzg11xG/Wf+kuPMUWzFwpA7j5E3AvJnEvZ/1yOSjCGZjSL5fBTp+6JI/SyG1Lfonz0WF0NygEbL8kYkWuTNakAeYBf5NXRfF69bOcFu5fYjqeWyW1m0WxlqFAFFoJoRUAKu5rtT2bpRYSy9AANpA2QBYPYE8EkDnEB/4VicgQyr0TJPawOiNcDxfBHYN4f1m2SRmJFFfPcM2o+ku0S7lS1U6hQBRaCWEFACrqW7Vca6krzOZnYL6TgOjEGdAN/m+Z8D8lfALKKm2YUhTBmiRyTaLiSu6EL7H9dg5mtlKE+zUAQUAUVgUhFQAp5U+CezcHGzSJxL532SbjA/g8SJjP9UFvG92K27JTXN6BTk2sXbAcu8hxrpoWyBnXU8KIHz3LDxJPQzDMwAjVaJlsipVQQUgbpHQAm47m9xeRu4GjNSGcSfISH/hUR5UxaJ8+mGJPHhzpHQL+yqC422vBhrboqAItAYCCgBN8Z91lYqAoqAIqAIVBkCSsBVdkO0OopArSGg9VUEFIGxIaAEPDbc9CpFQBFQBBQBRWBcCCgBjws+vVgRUAQaGwFtvSIwdgSUgMeOnV6pCCgCioAioAiMGQEl4DFDpxcqAoqAItDYCGjrx4eAEvD48NOrFQFFQBFQBBSBMSGgBDwm2PQiRUARUAQUgcZGYPytVwIeP4aagyKgCCgCioAiUDICSsAlQ6YXKAKKgCKgCCgC40eglgl4/K3XHBQBRUARUAQUgUlCQAl4koDXYhUBRUARUAQaGwEl4Fq9/1pvRUARUAQUgZpGQAm4pm+fVl4RUAQUAUWgVhFQAq7VO9fY9dbWKwKKgCJQ8wgoAdf8LdQGKAKKgCKgCNQiAkrAtXjXtM6NjYC2XhFQBOoCASXguriN2ghFQBFQBBSBWkNACbjW7pjWVxFobAS09YpA3SCgBFw3t1IboggoAoqAIlBLCCgB19Ld0roqAopAYyOgra8rBJSA6+p2amMUAUVAEVAEagUBJeBauVNaT0VAEVAEGhuBumu9EnDd3VJtkCKgCCgCikAtIKAEXAt3SeuoCCgCioAiUHcIlETAddd6bZAioAgoAoqAIjBJCCgBTxLwWqwioAgoAopAYyOgBDzq+68JFQFFQBFQBBSB8iGgBFw+LDUnRUARUAQUAUVg1AgoAY8aqsZOqK1XBBQBRUARKC8CSsDlxVNzUwQUAUVAEVAERoWAEvCoYNJEjY2Atl4RUAQUgfIjoARcfkw1R0VAEVAEFAFFYEQElIBHhEgTKAKNjYC2XhFQBCqDgBJwZXDVXBUBRUARUAQUgWERUAIeFh49qQiGBK8GAAAAwUlEQVQoAo2NgLZeEagcAkrAlcNWc1YEFAFFQBFQBIZEQAl4SGj0hCKgCCgCjY2Atr6yCCgBVxZfzV0RUAQUAUVAERgUASXgQWHRSEVAEVAEFIHGRqDyrVcCrjzGWoIioAgoAoqAIjAAASXgAZBohCKgCCgCioAiUHkEqpmAK996LUERUAQUAUVAEZgkBJSAJwl4LVYRUAQUAUWgsRFQAq7W+6/1UgQUAUVAEahrBJSA6/r2auMUAUVAEVAEqhWB/wcAAP//8s+R2QAAAAZJREFUAwAQCVZlOJNoewAAAABJRU5ErkJggg==</pentrails><costumes><list struct="atomic" id="103"></list></costumes><sounds><list struct="atomic" id="104"></list></sounds><variables></variables><blocks></blocks><scripts></scripts><sprites select="1"><sprite name="Sprite" idx="1" x="-562" y="8" heading="90" scale="1" volume="100" pan="0" rotation="1" draggable="false" costume="0" color="12,0,241,1" pen="tip" id="109"><costumes><list struct="atomic" id="110"></list></costumes><sounds><list struct="atomic" id="111"></list></sounds><blocks></blocks><variables></variables><scripts><comment x="10.333333333333343" y="908" w="401.3333333333333" collapsed="false">TIF A.  i: The and function is TFFF; it reports True only if both inputs are true.&#xD;ii, iii:  The two most meaningful, probably, are shown below. Read their definition to see how operators can be combined to make other operators. </comment><script x="10.333333333333343" y="981.3333333333333"><custom-block s="%b implies %b"><l/><l/><comment w="105.33333333333333" collapsed="true">if P then Q. TFTT</comment></custom-block></script><script x="10.333333333333343" y="1011.6666666666667"><custom-block s="%b xor %b"><l/><l/><comment w="117.33333333333333" collapsed="true">exclusive OR. FTTF</comment></custom-block></script><comment x="10.333333333333343" y="1042" w="402.6666666666667" collapsed="false">TIF iv:  There are sixteen Boolean operators:&#xD;&#xD;TTTT: Constant function, reports True (ignores both inputs)&#xD;TTTF: P OR Q&#xD;TTFT: not-Q implies not-P; P or not-Q&#xD;TTFF: P (ignores second input)&#xD;TFTT: P implies Q&#xD;TFTF: Q (ignores first input)&#xD;TFFT: P = Q (but in the Boolean domain, not general =)&#xD;TFFF: P AND Q&#xD;FTTT: not-(P AND Q), &quot;NAND&quot;&#xD;FTTF: exclusive OR. P ≠ Q&#xD;FTFT: not-Q (ignores first input)&#xD;FTFF: P and not-Q. not(P implies Q)&#xD;FFTT: not-P (ignores second input)&#xD;FFTF: not-P and Q&#xD;FFFT: not-P and not-Q, not(P or Q), &quot;NOR&quot; &#xD;FFFF: Constant function, reports False (ignores both inputs)&#xD;&#xD;That&apos;s all!  No matter how many operators you string together into a complicated expression, it&apos;ll be equivalent to one of these sixteen.  Isn&apos;t that interesting?&#xD;&#xD;If you think of each of the four letters as a binary digit, in the usual convention that True is 1 and False is 0, then these are the four-bit binary numerals (in backwards order; it&apos;s also conventional to start truth tables with True).&#xD;&#xD;Another way to think about this table is to group the four-letter codes by how many Trues they have:&#xD;&#xD;0 or 4: constant function&#xD;1: &quot;and-like&quot; or &quot;nor-like&quot; function (maybe inverting inputs), implication&#xD;3: &quot;or-like&quot;  or &quot;nand-like&quot; function (ditto), nonimplication&#xD;2: function that ignores one input, or =, or ≠.&#xD;&#xD;TIF v:  There are no firm right and wrong answers.  In certain really rare situations, even the constant functions can be useful.  (Think about a higher order function that requires a two-input Boolean operator as its input, and you don&apos;t really want to compute anything with the given inputs...)  But in general, the two constant functions aren&apos;t useful; the four functions that only use one of the two inputs are rarely useful; AND, OR, XOR, and IMPLIES (TFTT) are useful all the time, and the others are useful some of the time.&#xD;&#xD;TIF vi:  For two-input operators, we made four possible sets of inputs.&#xD;For three-input operators, there are eight possible sets (i.e., eight three-bit numerals).&#xD;So a three-input operator is represented as a string of eight letters T or F.&#xD;In other words, each operator is an eight-bit binary numeral.  There are 2^8 = 256 of them.&#xD; </comment><comment x="10.333333333333343" y="1631.333333333334" w="398" collapsed="false">3.1.  (a) Yes, they all work.&#xD;(b)  Clearly the last two, as one-liners, win on shortness.  The third is slightly shorter.&#xD;(c)  This one really depends on how much experience you&apos;ve had.  If your mind goes blank when you see Boolean operators, then the first one will seem clearest.  But the first one takes more thinking about cases to ensure that each of the three branches is giving the correct result.  Don&apos;t impose one correct answer on this part of the problem; let students say what they think, and have them listen to each other when they differ.&#xD;(d)  I guess this one gives the first two versions a moment in the sun.  What (d) really means, I think, is that the first two don&apos;t use composition of functions.  But that&apos;s one of the fundamental ideas of the course, and if students aren&apos;t yet happy reading compositions, make sure they practice until they /are/ happy with it.&#xD;(e)  The last one clearly wins.  Just consider the name of the function: &quot;greater than or equal to.&quot;  That&apos;s exactly what the fourth version says!&#xD;(f)  Of course there&apos;s no wrong answer; whatever each student thinks right now is that student&apos;s answer.  But you can then raise the question, which would you like to find clearest at the end of the course?</comment><comment x="10.333333333333343" y="1860.6666666666674" w="401.3333333333333" collapsed="false">3.2.  If today is Tuesday, it tells you Mary&apos;s is closed; on other days it&apos;s open.  (Mary Chung&apos;s is a Chinese restaurant near MIT with a long history as a hacker favorite.  It&apos;s known for extra spicy food, and especially for Suan La Chow Show (https://en.wikipedia.org/wiki/Suanla_chaoshou).  It is indeed closed Tuesdays.)&#xD;&#xD;3.3  Our solution to 2.5 already uses nested conditionals. </comment><script x="47.33333333333337" y="35.000000000000114"><block s="clear"></block><block s="down"></block><block s="setSize"><l>3</l></block><block s="doIfElse"><block s="reportMouseDown"></block><script><block s="down"></block></script><script><block s="up"></block></script></block><block s="doForever"><script><block s="doIfElse"><block s="reportVariadicGreaterThan"><list><block s="yPosition"></block><l>50</l></list></block><script><block s="setColor"><color>255,35,24,1</color></block></script><script><block s="doIfElse"><custom-block s="is %s between %s and %s ?"><block s="yPosition"></block><l>50</l><l>-50</l></custom-block><script><block s="setColor"><color>99,69,0,1</color></block></script><script><block s="setColor"><color>12,0,241,1</color></block></script></block></script></block><block s="doGotoObject"><l><option>mouse-pointer</option></l></block></script></block></script></scripts></sprite></sprites></stage><variables></variables></scene></scenes></project><media name="Buggy U2L3 Predicates" app="Snap! 11.0.8, https://snap.berkeley.edu" version="2"></media></snapdata>