<snapdata remixID="12026189"><project name="U2L3pp1-3-Predicates-Solution" app="Snap! 7, https://snap.berkeley.edu" version="2"><notes></notes><thumbnail>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKAAAAB4CAYAAAB1ovlvAAAAAXNSR0IArs4c6QAADcdJREFUeF7tnXtwVNUdx79LTEIkQajpGMZHeY2iiNTR2rFCRzuIVQcsLa2dcWLFAIoCWkCJEU2wCCJER1BBGh4KFJgqaBHrq/VRqQxWEdEqGkunPhKpGiFJySaE7ZxNbtws9+753XN/d3fv7m//8XHP+Z3f+f4+53ce9+wmFIlEIpCPKJAiBUICYIqUl2ajCgiAAkJKFRAAUyq/NC4ACgMpVUAATKn80rgAKAykVAEBMKXyS+MCoDCQUgUEwJTKL40LgFwMLF8KtLZ2WlMvl0LdLU+fydVSRtkRALnCObgfMH2WPYBLFgO1dVwtZZQdAZArnApAJ8gSPeNqP6B2BECuwAmARkoKgEay2VQSAI2UFACNZIurtP1V4OEHgPVP2FuTKdhRZQGQA8Al1R1WnHa6AqAAyMGZow0B0Fhe3gyYrSNdHbNEM6B1DBMXj2zVhYAlH4DNzcDwwdl53iUZkICafRE+AGdOBYYNB66ZZOxMYCtKBjQOHR+Ag0qAj+uNHQl0RcmAxuHjAzCb1zkCoABorABHRQHQWEXJgMbSxVSUNaCxinwAyhpQDqINMOQDUNaA/gE4qB+AmB+wCMXcNVQ/bKH+O6DXvQRAg1F7VBW/p2Dd4A7w7CMAZgKAOkA5+uiTDQGQQ1i/d8E6wHTPOfrokw0BkEPYKIAR/94F6wCTKRiATiSOQKerDd17cK/a6Orrnqerbqy/jhVgEVji4+eNaJ22uucsHfTHiEzBXLoKgEZKCoBGstlUEgCNlBQAjWSzqaSuow0+FZgy/aiHE0eHUPO8h19C1k2xuudcffTBjgDIJWqCw2jPAOp2uQJglu+CFcQJzgI9A6gDTPeca5D5YEcyIJeofgIoGZAQpQCPQkLv9EX8nIKVtrtrgV697P0IsPaSAfVo0Ur4mQF3vQlMmQDseEcAdIxGgEchjTBNKT8BVE37eczDIoCZEb4MqFunmPkXnFopBNDzJieFKvMBKBmwI4w2P8/BAsj3TwWeexU4oYT/nFEATKECXE37nQFXPQL8qxaYt0gAtIsZyyjngiEFdv665i7kRkIYOeEO/wBxmGWCrD3bFBxkETh4/dPauVEzY0srjzJXOfksTCpfh5MGnuWtKQHQWT8B0BnA9UtvRL9TTsdPrpgqAMYpIBnQGxJdtRNlwJ0vbcRb27fg+jmbPLXmNMiDPPgFQE9IfFs5EYANX36GeVN/gOqNn3tqbdq4vpi38n0c953uO2EBEECQRfBERWflRACqIhz6vLjlAdT95wOU3rSsm8uvPlODN17ZhJkLX+DoipEN1X+79a/OmGRAnULE58kAMBHIHIATu2pbzLR9AdCL6jF1dQCWXRzCyhc8XErtbCtd14ECIBNIpmZ0AJoGKN4fJzupnoYnXhxCjcEAkwxoSlxcvVQDyLXONJXDdIAJgKaKpyGAzz9ejc2r52D5tkNMvaKbEQDpWvlS8oPdL2Pr2rm4ZfFLtvbnTz8fPy9bgCHDL/TUvi7Q6nn5fa9h8JkXeGrHbWWdX072JAO6Vdqh/Jf1/8aiWy7CwrX7bEu8sm0F9u5+CZMrNnhqkRJoShlPTthUNm1TAGSMRKIgtLcfxnWX5qHm+SOeWnz0/sk4sf9QjBp3k6MdNRjKrx7g7augLr3MGgC3bZiP9sNtLuUBLr2yHLl5+a7ruamgC4LuOaWtb776HHdMHIqlWxoSFq+6bjhCoR6oXL6LYtZzmdi+tbWG0SMnBzk5x2jtBioDdmSRXIwtrdJ2LLbA3t0v47ThFxqd1LtpSAeY7jm1LaodVe6ex/ahuKQ/1bRRuQNf12NO2enRQfHMhgXYvKoCY6+uIukdKACpwserqDsiMVLdYB1k6n98U27suClrqkPNwlKc2P9MXHrl7OgrRytBUF7NCYCmqgcEwNp3t+OeGSN8XQ/GQi4A2oCRzRlQyeF3FrTegny4529Yt/QGnDtyfDQKkgE7YUwWgGWjQ1iZ4EeIuEBQ/dn19ydRuYy2weBq126yULarN9ZFr4hZOlvlMg5AXYCdZtNkAagLtO65m9WAG1tuyrrxIT67phRArtseiQQwFTITAayefXF04f/rKfdrmTHVTWu4c3qPLRd7QpFxGdBUyEwEUAWdOuhNddMBuGXNHXh6/byua2axGxBZA8aol6kAzvhVCYaddxkmzFqVkBU/AHx/119QPXsU1B9qsu45qgFxxdXfntFKBkzyJkQXaN1zXcZx2gSMGndzwqmYq92ta+/CU2s7vnZacvKQ6CZoyuUFXfcAbxxbhEt+OavLTQEwCwC0puJzRv4CN9z5uC3DXADq7PzhwWkoPK5YAIyPQqZOwVY/1bvX2aX9cbCh3vbAWQcONfPq7GT8LjjIxzB73ngWGx6ahvlrPqLG23W5jct+i/2f12L677Z2q6sDh9qQzo4aCOrz5033RP8pU3AaTcG64FEh0JWL3xl//d9Po99Jvm9Tna6q9jm1D25mHHkXrJWdXiBRgKjBo7dmXzK+ndeeW4OP9ryCCbNWezVNfqUnAMZJ7UYQL1FygkxlofLSAVjxrPt7jG79ifdhyCkN2PTUsRh+tve7kNRB5EbvjM+AU65tQesnBVi+rSVlF1J79/gaDW29SRc03QIXX37RrIswprSy67snRaGDaIz09mo2Wj+tAeTsqJNaVAGs+oP6NeKL+giamAKgi+KFZ1yLl//Z/VBY6VJbV4gTSnroqrM8XzC3YyNwW2VHxuOMC9VWvA+JOsaWAaNC1xehdPz/8Ppr7V1tqt8CCHX8NV2MGZeLDZsLjIWmCqAauOWmFixb0po0+OyCrfx97I8FGDc+17jPbivGBv/wYaBvLl8GpOqfdAArK8K4b0EY+T2B1RsKMOZn9oJTO+AkOrV+OAwU9+QTngpBrH/q30dffgyeePpYanWWcrHBnzqpBQMH98CM2Xkstqn6Jx3AwtDBaJbTrTXUlPhQTQF+ern+yyp2ilEEmFh6CJvWtWl9YYlInBHLP9XPwsIQdn9U6EczCW3GBp+ilxsHVZwpy5mkA6g6qj46AL2uSXSCqufH9Qnh04YiN7qylVXtnz8iBzt3tOObNp6Fv1vn/ARQp7/l6/zOdWhF5zrU9zVgqgG0st67+wrxvf7JWezbiUqdCdxC5aZ8OgCY1hlQjY4FVWFStowXPn4Eqo7OrwrjlP498N6+5E93Ov/cgMNV1gr+pBvzMLhfI2smpmbAlACodrmU9YES+r132/HDYc148tljMeoS+nrQDsAZ5fnI937G6jn+J/VtxIFvIkYDy3PjMQas4C+cF0ZtXRGKi9XqnOeT1gBS14CWFOqIYPTIZryxo+PIpmJuT9x2Z+LdGlUAHrnpVg4ciOCkPo3kdTDdsvuSFoBqZqCsyd20QNU/JRnQLYAm0xdVADeicpS1/KLuEjnadLKhljgKviFn5OAf7zn8eVdDB6j6Jx1AjsX3ecOacP/DBbhgZI6jPFQBDPU1qnbu0Gb06QO8uL1XwrcOKx9pQ9l1/h9IW+ti7uynxKEOsKQD6GYX7BRlitPpCGBsUJz8G1jShEsuy8GyVeZvgaijQ/lQUZXf9SqOWo9Sjqo/JZZWeyyv4pIFIHUEUsTkKFM+owUvPtfeNdXZBUj5fEJJCB/X+X82eUPZIaxd1SYAmgSXMmqoI9Ckfbd17N6zxvq3680j+PG5TUm9iGBlP9UX6zKC234lKk/VnxJL9gzo5hjGrpMUp6kCcIruZEv5oq5YHRNzimT596Ozm7Dn7SPsu1AdHK+/0wtbNx+OFnMCcP/+CM4a1Ijmpg5rS3/fE9dMpL0rpupPiSU7gMqgl4Uvxel0mYKVH9dPy8PiJT27MWFtxpJ9MK7ePR9fHMLOPYVweg328AOtuPXmluiA2bW3CAMGuj8fpAKoytU1FkXfh+s+gVoDUgWI7fTMaS1Y8WBr1/96sKYAvykz241+uPcIzhnShB17emHomUfv1lXwb709v1tW1AXA63Nr3WcN/ngAP/v0CE47uYllHUrVn1pO9Z0FQI5jGEoGdNMxa2NUXpmP2XO8Q1FccBDhFm9Z3its8fVf396O0SOau808ixeEUVUR7rqDSbmlRPWLOgO5iRMLgBy7YMoNCmrHVLnJU/NQvbT7FEkV2q7coyvbjDOnl3ad6jY1RdCvqNHTssetXxT9VZmrJuRiOfHIKaMAVGuh/fURfNJQhD599OsPtwFIp/IUGLj9VRnw9qpvX7xbt917FgCl1+ZhwHcbXd8AZwPQ6y7YawZU4qgP9UIEd3CywZ6KUeywtgC8uyocXfd+0dTb9cWQjAEwFRkhG6Dzu48sAFovwL1kHy8ZsOr2MN7c2Y6tLyT3+xd+Bycb7LMAqHawKg17AXDFQ61Qf0cm0aGoXZa7fsIhrF+Tmu+AZAMgfveRBUCODEjpqFrnqRft6qNuVavPVdfkYflqvt0uxQ8pw6cAC4Bvv9WOEec046sW94tQN11R71/vvbtjIayOWY4/PrN3um60CWpZFgBV5/28BhRUccVvvQICoF4jKeGjAmwAWmdEflwD8rH/YjrFCrABSHmXm+K+SvNpqIAAmIZBySaX2ACkHCRnk7DSV5oCbACqX6RSn3T4kjit61IqHRRgAzAdOiM+BE8BATB4McsojwXAjApn8DojAAYvZhnlsQCYUeEMXmcEwODFLKM8FgAzKpzB64wAGLyYZZTHAmBGhTN4nREAgxezjPL4/zimMyBLnCTaAAAAAElFTkSuQmCC</thumbnail><scenes select="1"><scene name="U2L3pp1-3-Predicates-Solution"><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="reportOr"><block s="reportLessThan"><block var="a"/><block var="b"/></block><block s="reportEquals"><block var="a"/><block var="b"/></block></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="reportOr"><block s="reportGreaterThan"><block var="a"/><block var="b"/></block><block s="reportEquals"><block var="a"/><block var="b"/></block></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="reportEquals"><block var="a"/><block var="b"/></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="reportAnd"><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></block></block></script><scripts><comment x="14.666666666666666" y="88.80000000000001" 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="reportOr"><block s="reportNot"><block var="p"/></block><block var="q"/></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="reportAnd"><block s="reportOr"><block var="p"/><block var="q"/></block><block s="reportNot"><block s="reportAnd"><block var="p"/><block var="q"/></block></block></block></block></script></block-definition></blocks><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="77"><pentrails>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAeAAAAFoCAYAAACPNyggAAAAAXNSR0IArs4c6QAAIABJREFUeF7tvQt4JVWZ7v+u2klfstNJmoHuRkG7GxxxRhRER1B6Jk12/oijZ8CRERyRXMAbXvCCQAt2kKvAKCjegFw84MCIiv8zKnqSNHEAYbzBCEc559DpnkEl3SCdpLPT6U72Xuep2rU7ld257Np7rbqsevfzzDPYqfrW9/2+r+qttWrVWgL8kQAJkAAJkAAJBE5ABN4iGyQBEiABEiABEgAFmEVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkoBuAhKowca1nwLk8kJblttk3vPf9j+V/m+vZwv8LY992DlyqwD2646D9knAZAIUYJOzy9gSS0BuXLMVwuoqAJAA3EtdSkB4LvvS/+0lttjfkL9UbN99Y2IBM3ASUECAAqwAIk2QQJQIyLVII732GUCsK4ivrb+KBVjmu8Tw7quiFDd9IYG4EaAAxy1j9JcEliAgN669DEJcX+j8yhFAfH32lCqGoAWaAef/AAow65AEqiZAAa4aIQ2QQLQIOMPPEF2FYWd5gxjedbkKD+cMa1OAVSCljYQToAAnvAAYvnkECgJsv/+1h5+lsqHig8JuD2dTgM0rHEYUOAEKcODI2SAJ6CUwt6eKLjE8ouRdrdy4bisEChO7pDq7emnQOglElwAFOLq5oWckUBEBecy6mwB8yjk5L68UO3ZdU5GhkpMowCoo0gYJzBKgALMaSMAwAnLjul4ItLk91Q4xPNKrIkQKsAqKtEECFGDWAAkYS0Aes+7B2dnKslUM7xpQESwFWAVF2iABCjBrgASMJSA3rn0SQrzaCTCXO1HsfP4JFcFyFrQKirRBAhRg1gAJGEtAblz7HIS9CAeAqQNHiz+8+HsVwXIWtAqKtEECFGDWAAkYS0Aes85d/goQ20eUzfPgELSxJcPAQiKg7OIMyX82SwIk4CEgX3rYUVix7Fnnn6QcEcO7jlQFiAKsiiTtkECBAAWYlUACBhGQ6484AanU464APyWGdx2vKjwKsCqStEMCFGDWAAkYR0BuXJuBEP1uYENi+8hmVUFSgFWRpB0SoACzBkjAOAJy4xHtgNVTGNzK94nh3e2qgqQAqyJJOyRAAWYNkIBxBOQxa64ErM85geXzN4sduy9RFSQFWBVJ2iEBCjBrgASMI6BTJHXaNi4RDIgEyiDASVhlQOIhJBAXAjpFUqftuPClnySgkgAFWCVN2iKBkAnoFEmdtkPGxuZJIBQCFOBQsLNREtBDQKdI6rSthwatkkC0CVCAo50fekcCvgjoFEmdtn0FyYNJwBACxguwBJZj/ZqPwcJK5DGCnbu7BTBjSP4YBgnMIXBwvebCZ0hdYnj3VaoQUYBVkaQdEigQMF+AN6y5BJZ1oxOtlIDEBWLHrm4WAAmYSEDnjkUUYBMrhjGFScB8Ad649i4I8Z6CADsifKHYsevOMKGzbRLQRUCnSOq0rYsH7ZJAlAkkQYBn90aV+S4M776WQ9BRLkn6Vg0BnSKp03Y1MfNcEogrAaMFWB5xRD0aUnsPJmc8t0o8//xEXJNFv0lgKQI6RVKn7aXi4t9JwEQCZgvwxiNOhUg9VBh+lkp3hjGxGBhT/AnoFEmdtuNPnhGQgH8Chgvw2o9BiFtcAb5bDO86zz8inkEC8SGgUyR12o4PYXpKAuoImC7AnglY8mIxvOtWdehoiQSiR4CfIUUvJ/SIBBYiYLoAeyZg5TaJ4ecfZimQgMkE+BmSydllbKYRMFaAOQHLtFJlPOUQ0DlMrNN2ObHxGBIwjYC5ArzhiE0Q1r8V1hrhBCzTCpfxzE9Ap0jqtM18kkASCRgswGu3wBLXOkmVkhOwkljdCYxZp0jqtJ3AVDFkEjB3KUreLFjdSSSgs+512k5irhgzCZjbA964bisEugo9YHSJ4RFli9KzbEggqgR0iqRO21HlSb9IQCcBCrBOurRNAgET0CmSOm0HjInNkUAkCFCAI5EGOkECagjoFEmdttVETyskEC8CFOB45YveksCiBHSKpE7bTCsJJJEABTiJWWfMxhLQKZI6bRubEAZGAosQoACzPEjAIAI6RVKnbYNSwFBIoGwCFOCyUfFAEog+Aa4FHf0c0UMSKBKgALMWSMAgAlwL2qBkMhTjCVCAjU8xA0wSAZ3DxDptJylHjJUEEtADXrMVEF2FtaDzXWJ4NxfiYN0bT0CnSOq0bXxiGCAJzEPA4B7wmq0QlrsSFgWY1Z8MAjpFUqftZGSHUZLAXAIGCzCXomSxJ4+ATpHUaTuITEmgBhvXXgKJOggxA+QBWG7TC/130TPv30u9LflbHvuwc+RWAewPIi62EV8CFOD45o6ek8AhBHSKpE7bulPpiu99gDjTXhz+4E+4t0Apgfn+u3ig9++lzs77t/ylYvvuG3XHRfvxJkABjnf+6D0JzCGgUyR12tadRrlh7RWwxNVOO7ZgFn+6BFjytZfunJpgnwJsQhYZAwm4BHSKpE7buhMoN6y9GgJXOJMyhRyCFEPKh6CFbAZEc0HkKcC6c2qCfQqwCVlkDCRwUID1zf6PtQBv1D8p8+AiKHavmgLMa7IMAhTgMiDxEBKICwEuxDF/poJ4eNDJPi71Rz/9EaAA++PFo0kg0gR0Co1O27qhBuE7e8C6s2iefQqweTllRAkmwLWgw+wB89PHBF96FYVOAa4IG08igWgS0DkMGkQvUhdVnQ8mRZ/jzEcXd9pdnAAFmBVCAgYR0CkCOm3rToHOBxMKsO7smWufAmxubhlZAgnoFEmdtnWnKgjfg2hDNyfaD5YABThY3myNBLQS0CkCOm1rhWJ/lrtR//vZINrQzYn2gyVgsADr+x4y2BSxNRIon8Dsu077HKl0F7A4C0wQvgcxzF1+JfDIOBAwW4C5G1IcapA+KiQwV2jUrsYUhIgpRDHHVBC+8zMkXdkz167BAqx/yMncsmBkcSUgN6zdAktc6/gv5d1ieNd5qmIJQsRU+VpqJwjfg2hDFx/aDYcABTgc7myVBLQQkBuO2AQr9W+uAD8lhncdr6qhOAvMbO/UeTBROjRf5BtnPqpqhHb8EaAA++PFo0kg0gTkEUfUoyG196CT47lV4vnnJ1Q4HWeB0Tk0TwFWUV3JtEEBTmbeGbXBBOTGtU8CeHWhF5z/a7Hj+YdUhGuOAKNLDI9cpYKJ1wYnYakmar49CrD5OWaECSMgN669C0K8pyDAuEwMj3xeBYKYC3A7BHpcJn1ieKRdBZNDBBiiC9wNSTVaY+1RgI1NLQNLKgG5cd2lELihIDbqJmLFWoCPWdcGoFevAHPiZ1KvuUrjpgBXSo7nkUBECeiaiBVrAV6/rhkpPOimbEhsH9msOn1x5qOaBe2VR4ACXB4nHkUCsSGgayJWnAVGUoBjU79JcpQCnKRsM9bEEHAmYgnhTsTKbRLDzz9cbfAxF+D1SGGHOwS9UwyPbKiWR+n5nISlmqj59ijA5ueYESaQwNyJWPJiMbzr1moxUIAXJ8iVsKqtsOSdTwFOXs4ZcQIIyI1rPwYhbin0+NRMxIqzADsYjlkni6kX20eU3/vizicBl0XkQlRehFGJkBdDVDJBP8IgIDcecSpEqvD9r5RKVsTacdxhW9dPL+uyTe6sPdC14ekXlX9Lq5OVfgFesxVcf15nCo2zbbAAF3dDcu5AWpaeM64aGJAxBHRMxPrQadj6huxKR4B/kd7X9dVtiJcAb1y3AwLrnSTnsEHsHNmpMuEcglZJMxm2zBZgPo0mo4oZ5bwEZlfEEoDMVb0iVkcGW4WAI8BSoqtngALsBU8B5oXol4DBAsyP4v0WA483i0DJRKwtYnjX9dVEGHsBPmad/R1ws9sD3ix2jgxVw6P0XM6CVkkzGbYowMnIM6NMIAHV8yAowIsXEXvACbzIqgyZAlwlQJ5OAlElQAGemxm5cV0vBOwlKe1fu9g+0qcyd6p5q/SNtqJJgAIczbzQKxKomsDBHhnsyzxf9UTE2PeAN67pBUQbHB65DjH8fGFtaEU/CrAikAkyQwFOULIZarIIqH4naYAAa/1MiAKcrOtLRbQUYBUUaYMEIkhAtSDEX4D1TsxUzTuCJUWXFBOgACsGSnMkEBUCqgWBArx4ZlXzjkod0Q99BCjA+tjSMgmESkC1IFCAlxJgroQVasHHsHEKcAyTRpdJoBwCFOC5lFTzKM0BP0Mqpyp5jJcABZj1QAKGElAtOPHvAReXp1UzK/xQAdb7jtnQMk10WBTgRKefwZtMgAK8WA+4+s+yKMAmXz3BxEYBDoYzWyGBwAlQgEsFeO3lEOI6919/LLaPnKEyKap5q/SNtqJJgAIczbzQKxKomgAX4igV4NUvg1j+n86/Skxhb+4I8fzzE1WDdg1QgFWRTI4dCnBycs1IE0aAC3EcmnC5ce3jEOIE5y85eabYuev/V1UWFGBVJJNjhwKcnFwz0oQRUC0IcZ+E5XR8N6y9Gpa4olAK8k6xfdeFqspCNW9VftFOdAlQgKObG3pGAlURUC0IRgjw+rUnIyUeLeivHBHDu46sCrLnZNW8VflFO9ElQAGObm7oGQlURUC1IJggwI7ublz7HIRY5w5DnyJ27nqsKtDuyap5q/CJNqJNgAIc7fzQOxKomIBqQTBGgI9ZewcgLnDA5uU1YseuKyuGzB6wCnSJtUEBTmzqGbjpBCjA82dYrl9zJlLW/e4w9BNieNeJKmpBNW8VPtFGtAlQgKOdH3pHAhUTUC0IxvSAjziiHqtSzwNyhQN3avpl4o8vPlsxaPfE5447fOu66Zou+38O1x7oOubpF6+q1ibPN5sABdjs/DK6BBOgAC+cfLlhzQOwrLcUhqHzl4gdu2+utlTedxq2njqxsgsCeDi9r+v2baAAVwvV8PMNFmC9674aXhcMzwACFOBFBHijd1UsebvYvuv91abclBGCajnw/PIJmC3AwnKGgyDVr/taPmIeSQLhEKAALyLA69ecjpT148L9QT4ihnedWm2WKMDVEkze+QYLMHcmSV45M2IvAQrwIgJ89OEvwbKaP7gCPCqGd62utnoowNUSTN75FODk5ZwRJ4QABXjxRMuNa0chRKNz1IGZl4pnX/hjNaVBAa6GXjLPpQAnM++MOgEElAtwC64UFj5XeKuDm3oG8ek4Y5THrH0EEG9ye8GtYnjXQDXxUICroZfMcynAycw7o04AAQ0C3CkE7nQEWKKvZxDtccYoj1l7OyAKa0FLebEY3nVrNfFQgKuhl8xzKcDJzDujTgAB5QLciv8mAGf3ICnxg54BvD3OGOXGtR+HEF8oxFD9TGgKcJyrIRzfjRXgfceu2fqL9JQzC/oN2RVdK5/ZzW/ywqkxthoSAeUC3IJThIWfOXIF/HtPP04OKTQlzcoNa1phWf/T7QFXPROaAqwkLYkyYqwAX31qzdadK2ccAV6/r6bryodnKMCJKm0GO71xzdafNUx15QGcOr6iq3a4uofQtla8IgX8n4JgYXv3AI6NM2WpeCY0BTjO1RCO78YKMC+GcAqKrUaHwJa/trbuWp53HkI37qvp+kyVD6FtzWhK1WKP2wMe7+lHYQZxjH8qZ0LznhPjQgjJdQpwSODZLAnoJqBDEDozOACBWikha/Zg+e2/wrTuOHTaVzkTWgdvnbHTdvgEKMDh54AekIAWAjoEoSOD54SAs5euBF7a04+qvp3VErgPoypnQuvg7SMUHhpDAhTgGCaNLpNAOQR0CEJHBr8RAsfb7Ys8XnvnIH5Tji9RPUblTGgdvKPKjX6pIUABVsORVkggcgR0CEJHBtuEwGY32Ex3PwYjF7gPh1TOhNbB20coPDSGBCjAMUwaXSaBcgjoEIQLMvgXKfAPbg/4nDsH8S/l+BLVY1TOhNbBO6rc6JcaAhRgNRxphQQiR8AWBADO/rSQ6OoZqH5/2s4MvgKBDznBSnykewC3RS5wnw6pmglNAfYJnoc7l6aRP14MRqaVQfkgoOMa6GzBVbDwWceNPD7XPeiIfKx/08esfeRnq/Y5a0KfNLbi9PoduwuLc/j86eDt0wUeHjMCFOCYJYzukkC5BHQIQkcGHxECXyp0gPGVnn58uFx/onrcP71p+e2/Te931oR+xWTN5Zc9MnNDJb7q4F2JHzwnPgQowPHJFT0lAV8EdAhCZwvOgYV7HAGW+HbPAN7ly6kIHvzh03DZvhSud2P6es8APliJmzp4V+IHz4kPAQpwfHJFT0nAFwEd74A7WpARFvrdHvC2nn60+HIqgge/fzPeOlODHzquSTzWPYBTKnGTAlwJtWSfQwFOdv4ZvcEEdAhCx2a8VtTgCbe3+GTPAF4Td4RtzViXqsVzbkyjPQNYXUlMOnhX4gfPiQ8BCnB8ckVPScAXAR2C8N7T8NLaFH7vOvJcdz9e4supiB7ckcEeIdBku5ebxpF9Qxjx62rbabg0lYLz/lhKDPQMoNWvDR6fLAIU4GTlm9EmiIAOAT77L7Cs4aXY7w7XTncPYJkJSDszeBSisL1iLo8z+gbxY79xOT3pGjwLoAbAzOQMjrxnCC/4tcPjk0OAApycXDPShBHQIcA2wo5WjAmgwe0tru4bwmjc0XZk8DUh8AE3jou7+3FrJTF1ZNAvBDJOLziPC3oG0V2JHZ6TDAIU4GTkmVEmkIA2Ac5guxDY6CCdxiu6h/BM3PF2tuJjAG5xh48rngndfhousFK4w7XDYegQCuOMY7F83cvxMSGwUgiMbJ9G99AQZkJwZckmKcBLIuIBJBBPAtoEuBWPCeCNbi/vTT2DeDSehGa9bmvBW1IWHnD+pYqZ0Oc24/C6GjwHgRpIDkOHURedLbgcFq4rth3lkQgKcBgVwjZJIAACOj5Dst3uyOAHQuBvnRBy+G/d2/CvAYSjtQlVM6FdPhyG1pqtxY17HzztI/M5XNi7DXeG6NKCTVOAo5gV+kQCCgjo6gF3tqIXQJvbW+zsHkCPAndDN6FiJrQdBIehw01l8cFTFNTt3u3TOI9D0AHnRNfTf8BhsDkSqJiArmugM4ObIPApp3eRx9beQXyuYicjdKI9E1oCJzsr5Ofw1p5t7pC0Tx85DO0TmOLDDwpwYSJcV8+26jchUeziQXPsAesiS7skEDIBXT3gjhZcKayC6EqJiicshYznkOa9M6HzeWzpHSwsT1nJj7OhK6Gm5pw5Agw1u4Cp8exQKxRgXWRplwRCJqCrB9yRwd8D+I4b3o97BnBGyKEqaV7lAwuHoZWkpCIjKvNYkQM+TqIA+4DFQ0kgTgR03YjamnFCqhaPOz1g4OmefrwqTlwW8lUlLw5Dh1cRKvOoOwoKsG7CtE8CIRHQdSNqa0ZTqhZ7HAGW2NczgLqQQlTarGpeHIZWmp6yjanOY9kNV3AgBbgCaDyFBOJAQOeNSNWM4ShxVM2Lw9DhZJfvgMPhPqdV1RdTBEKiCyTgi4DOa6Cz1RmCPsF2KCdxSt8AHvPlXAQPVs2Lw9DhJFl1HnVGwR6wTrq0TQIhEtB5I+rM4H4InOmEl8e53YO4N8RQlTTt9JwEuoR03m139QxU//lKyTD0dT2D+IwSZ2lkQQI66141dgqwaqK0RwIRIaDzRtSRwReFwMV2qDKPz/YM4uqIhF2xGzp4dWbwcQh8weEkMZWfwYl9Q3i6Yid54pIEdORxyUYrPIACXCE4nkYCUSeg811Yews+almFHYMk0NfTj/ao81jKv/YMPmMJXOOK5e09A3j/Uucs9Xd7Y4Aj1+NnAnidBOw1Ph7bPoNNUV2Zaal44vB3nXWvOn4KsGqitEcCESGgsydQsnnBUPcANkck7IrdaM/gdEsc3Af4ke5+nFqxMc+Jbc04LlWDxyGwwv5nAXzqzn78kwrbtHEoAZ11r5o3BVg1UdojgYgQ0HkjckSlFr9ze8A7e/qxISJhV+xGRyteIoA/uD3g0Z4BrK7YWMmJF7TikxK42bXNoWhVYOexo7PuVbtNAVZNlPZIICIE2jNot8TBjRL6uhUOE7c1Y4VVg0khIOxt97bPYKUJw6qdGYxCoNF9sHhpTz/+qCKdzc2oOaYGD0HgZFeEfz08gzeawEwFH5U2OAStkmaFtuL0FFRhiDyNBBYl0NGKNgFn5yL7p1SAbYMdGTwnBNbZ/52bxoa+IeyMe0o6WvGIAN7kiGQerT2DGFAVU+lQtMzj8z2DuEyVfdopEIjTvZ89YFYtCRhKoC2D5pTAg054Esrf09q7BxV7dDmJzX0DGIo7yo4MbhcCF7pxXNzdX5hopurX0YprBbDFzckMcmjufhCPqLJPOxTgSNRAnJ6CIgGMThhHQLsAt+IeAOc4PWCJzj4D9gVuz+Dj1uxnQ0pmQpcUltWRwU+FODjB6/e5aRzfN4RR4wowpIDidO83uwcMdBUe/tV8VB9SPbFZEqiIQFsz1qdqscO9BpRPlOrI4HohCkOoUuKGngFcXpGjETrpgha0Sgv/03VJ2Uxob4htzVhn1eI/BLDGYZfH/T2DeEeEMMTaFQpwBNIXpyREABddMJCAbgFub8H7LAvfcNHd292Pc+OOUedMaC+bzha8BRZ+CMBy/135cHfcc1Gp/3G695vdAxZuD1iyB1xpMfO8eBPobLUHgAq/7n77E1R1v5Ih7se6B3CKOuvhWdI1E7o0ojkjCMABzOCveh7Ef4QXuRktcxZ0BPIYp6egCOCiC4YS0CrA3iFuiZGeARxpAkadM6G9fM4+G6lVo84qWX/l/LvE/5H78PqeR7DXBI5hxRCne7/SJ+KwgM/XbpySECVu9MUsAh2t2CGA9XZUqj8Vcr9t3QeBGikh8zOo6xvCVNwJ6p4J7eXjvib4NeAu+iHxz90D+Me4MwzT/zjd+ynAYVYK2yYBzQR0CrDteon9V5mw0UAAM6HnZL2tBWemLNx/8B/zaOsexDc1l4ax5inAEUhtnJIQAVx0wVACnRk8CIFmpwes4VvdOfbzOKNv8OBayrElGsRM6FI4HRl8TQh8oDASjWx+Gq834WEmjCKI072fPeAwKiTCbdrDihtr8WlI1EbYTUiBfSM7cOsDz2B/lP0M2zfdAtzRil4BtDlx5nFR9yC+GnbM1bYf1Exor58fOQPLJ6fxcwi8xvl3iSfqanHylx9gffvNp/dhBnls6R7E9QvZcHer+igEaoencWPQS4NSgP1m1/DjvTMznfmzboVICYgKqmWp85b6+3y4i+fk87i0dxA3Gp6SqsLrbHWWonQEUgLtPf3oq8pgycklvY1begbwcZX2w7IV1Exob3ztLfgLYeHnAkg7+ZL4es8APhgWg7i2a6/QJoGT7duVzOOtPdvwwHyxdGzGK0UNvgXgJJf3p3sGcFOQcVdwSw3SvcrbitMwROVRqj3TXqvWqsHjwt02zSvAc/7bT7MeEZ/3tKX+Pq8CFx4MJD8vWzITHS3ohUCby6ujd+Dg2tBLnlvOAW0ZvDslnJuYrfDf7x7AWeWcF/Vj7JnQkHiTexM/vWfbwcU5tLre2YLzYc0+JOXyOKtvEN/X2qhhxjsy2CMEmuywctM4sm8II6Uh2h0NABcDWFHsWIRxP6EAG1Z8lYbjDD3X4FEAr3cKUuIJiehd+AJolkBzwUV+371UvnU/iLZlcHJKOHVj/57o7seJS/kUh797Z0LLPD7TM4jrgvK7M4NvQeDdbnt7ctN4nQkbXQTBz15lLFWL55znQYl5t5TsbMHlsNx8HvxKPpz7CQU4iKqIQRudGXRDoMPtyUzlZnBiFCeB6BaUGKTKl4u6eZVzw/PlcEQO7mjBFmHhWvdGHujQesebsUqsxC8h8OeFgQX8fG8T3nTffchFBE9k3eg4DWeIFH7k3sfmXRymsxVPAni1m1ubacrudLAHrDCtum88Cl0N1ZTb870dAu32le4Ox1zf3e/u2BKqd4c2zrz6S0gQvDoyzr7AK23PctNYbcLGAu2tONcC/tkVwO/09ONsf+SrO7pjM16LGud98DJXKIxYa7s6Kkuf3dmKSwHc4DI75B36nBEbiSkJ3AHgI2GNqLEHvHROjT6iM4MrIHC1W7C2AH+zu9+d1RrByIMQlAiGXbFLQfDqaMXvBHCcK8D2yMkTFTsckRM7MjhVCDy0WE9Kt6udrfgYgFvcdvLI42+7DfjMSye3zlbcBeA9bhuXdffj8972vLP2JdAHiZ0ixCWLKcA6qyEGtjszuBoCV7iuRn5B/SAEJQZpK9vFIHh1ZvAABN7iPMTl8I6ebZ5FJcr2NFoHejeyAPD77n4cHYaHHS34nrAKE9sksDs/jdfON6koDN+i2GZHK54UsjC8nJP4675B9yEKwHv/Cn9W04Df2xOv7L/ngVMs4HQKsIZMBnHj0eB24Cbjxilu/gae0JIGg+Dl/e4yL3Fl7wCuCTtuFe3rXEe7XP/amtGUqnXeWR7liLDEw3v/iJb7fosD5dpIynFnN6O+oXZ2He3xaay6bwgTxfg7WvBJYeFml+NTPQM4PojrYzH+7AEnpToXiDPsAvSLP27++o1P9fEbdS+EAAAgAElEQVRB8AqiDdVcyrHX2Ypni8Kneh3tctovHtO5GW9GCkP2mtuueFzeM1B4z8nfLIE5rw2Ap7r7cbyXj3d4Oi9xRe8Arg27dinACa/gsAvQL/64+es3PtXHB8Gr2IbzRYdB32bbCzpA4GRX9Db1DOBh1fkp115HK24TwEX28XmJa3oHcGW55ybluM4W3ADLmYRl/+7u7sd5JQLsnf3s5DOI62Mx/hTgpFTnAnGGXYB+8cfNX7/xqT4+CF5BtKGaSzn2OlpxHyTe6dwkJc7tHsS95Zyn4xiHMdDlfrba1TOAq3S0E1eb/9iMo1bU4HcQqHcfUj7RO4AvFuNZaHg67NqlAMe14hT5HXYB+g3D9hdAV1ifDfj1N+zjg8hvEG2EwbEjgy8K4ayWZE+AurqnH58Nww+7TVMZq+LZ0Yp7IHGOe1/43XM7caJ3nfi2FmyyBP7NXVr3qR53eDrs+wkFWFUFxNRO3C7suPkbdlkEwSuINsLgOGfSDvDM8DReFfRi/cW4TWWsIq8dLcgIC/1FW1LikNcFHa3YIlBYWAV53N09WBieDpur0QJs95ScJx6D3kupKFivjbAL0G88cfPXb3yqjw+CVxBtqOZSjr3zXoP0sjXYCYHDnft2Huf0DuJfyjlX9TGmMq6Wk72b0UvW4zfFVcPme/e7mNCGzdVoAQ7z+65qCyuo88MuQL9xhj1k5NffsI8v8tL5IBq3GvKTE29sYa51bTJjP/koPbbk06LR/AxetcDmC1vn04OwuVKAq8m+AeeGXYB+EcbNX7/xqT4+CF5BtKGaS7n2zm3G4XU1eBbFHcKATHc/Bss9X9VxJjOuhlFHBvcLgTOdEYpFZocvxC9srhTgarJvwLlhF6BfhHHz1298qo8PglcQbajm4sfenMlYEgM9A2j1c76KY01nXCmj4taD9h7hbu/36flsUYArJVzheSzY8sAFMURZniflHcW8lsepeFQQvIJow1/Uao9+TzOOXV74xMVZCCM37ewUFuh616YzriRj52/GSTU1+KVzrsT+A7vxZ3f9BtmFBHi+OUFhc2UPuJLMG3RO2AXoF2Xc/PUbn+rjg+AVRBuqufi1Z3/mIoBzCvd63NvTj3P92qjm+CQw9sunvRWftVD4HtruAQMYgb3BAjBVasvZR1yg2U6eLcTF76jD5koB9pt1w44PuwD94oybv37jU318ELyCaEM1F7/22ppxQqoWj7u9rZn9M3jV3UN4xq+dSo8vjlTx+/dZgp0Z3A/3/a8twI6YuYDc730L6ZrdZrUo1BTgSgux3PPiNrRablyqj4vbzTNu/qrOl197QfAKog2/ces4viODfiGQcW/qt/QM4OM62pnPZlIY++FZfP/r6QEX9jO3e7nerqX3f0vnz3MEOMyFfdgD9pNxA4+N24MKb0T+ijAIXkG04S9qPUd7F3yQElP7ZnD0PUN4QU9rc60mhXG5LNtPw+usFH51UHwFIPN4SIhDZ6jbw89wh59Ll/IMmysFuNyMG3pc2AXoF2vc/PUbn+rjg+CVpOHRzlZnGPoE98Yf2JrMQeRRde3ptOdd2cp5/2sLcA7X9G47dJMKL7vSvIXNlQKss0piYDvsAvSLKG7++o1P9fFB8AqiDdVcKrXX2YJzpMA99vkCeCE3g6P7hg6d9FOp/YXOSxLjcti1Z3C1JXCFtweMHLp6th26SQUFuByiio9hwZYHNG6c4uZveVnQd1QQvIJoQx8hf5abm1GzsRa/E8Cxzs0/j8/2DOJqf1b8H50kxuXQaT8Nn7EsXOPkYPaEeUck5rArnMBJWOVAruYYFmx59OLGKW7+lpcFfUcF8Y4/SUPQdqY6WnClsPC54qcv+Rls0N0LZt3PvUbeeyr+vGYFfi6AxqIAS4lLewdxY+nV1JnBFRCFhyQ3ZxRgfbecgmUWbHmE48Ypbv6WlwV9RwXBK4g29BHyb7mtGStSNc4mDWvdm3pvzwA6/Fsq/4ykMS4l4zCvxZsh8RYp8DYBHOeKaeFQgQee24GzvFsQFm20nYazLQvfLk6Q5nfA5dddxUcmvWDLBRc3TnHzt9w86DouCF5BtKGLT6V253mvqPWzpCQy7szgRFdw3+TOZK6fL19OD3iRHe86mvF6UYtfFA7jEHSlNe/rvCQWrC9A7sFx4xQ3fyvJicpzguAVRBsqmaiy1dnqrLp0ftGelNAmwkkY5re3f6w5AhdZAqdIoFkINHnYFr7xPfgPmIDAKCSOckQ1P/8ELPtPzoYatXieAqyq8suwk9SbQhlo5hwSN05JuBH5zeFixweR3yDaUMlEpS3vRg3ODV6TCJvM2J7YdkwKW6TAh8TssP4cwXXf8z4tJH4gJX6Sz+FhqwaXlruIRmcGeyHg9KBlySSscm2orJuiLX6GpINqjGzG7cKOm79hl0IQvIJoI2yOSzzkfFEIXOze3O1hzt5exe+ETWVsi++GGnxHCPxdcTqz3dM9uLazwBAk/gMS3+4ZxLA3Dx2tuEgAtzkd4Bwu7N2GOxfKU2crngTw6vkEOMx94ynAUb6yA/Atbhd23PwNIIWLNhEEryDaCJvjUu3bPWGgIMLu77vDMzhnaAgzS51bzt9NZTzPDGV7Q4WvS4n7egfx28XYOJ+EWbhApCC3T6N7MdYdGfyrEHgbBbicalNwjKkFqwDNHBNx4xQ3f1Xny6+9IHgF0YbfuMM4viODHgDtXhGe3o3zF9oiz4+PpjLuzOBqFBfUAB7IT+MdOj7p6szgyxD4MAXYT9VVcaypBVsFknlPjRunuPmrOl9+7QXBq2STgst7BnCDXz9NOb4zgx8CeGtxMwApMSIEbshN4xvVCEsQeQwjB8U5He4uRtqW9lyIX9hcOQQdRtVFqM2wC9Avirj56zc+1cfr5nV2M+obarBHAjX2zeQA8PK7BvBfquOIi73OFlwuLVw3Z8Kuu1etEPja9mlcV8mwtO48hsU3qLicdoAubsYQUKaDSmxA4WhrJm6c4uavtsSVaVg3r/YWvMeycJfjjsRj3QM4pUzXjDzsjGOxfN3L8Qkh0ACgTQism7M7Xh5bugdxvd/g2zO4yRL4lMv5yu6BwjKMcf/prs8iH/aAA66UoBIbcFjKm4sbp7j5qzxhPg3q5tXRinsEcI7tVl7iit4BXOvTRWMPd1dver+UuMwW4sIzCp7u6cer/Abd0YJeCLTZPes80NE7gF6/NqJ4vO76pACHlPWgEhtSeMqajRunuPmrLFEVGtL5js1dkvH54veVuWm8qm8IT1foqrGnnX0KDluVxvbiwhJ5ibf0DuAnfgLuzOBBZ0/bwgYQrT2DGPBzflSP1Vmf3pjtVwOwcJ3zoJifXTM67PuJ0e+A7Q+sdb/cj2phl+tXUBdAuf4sdVzYF8xS/kXt7zp5tbXgLSkLD7gxP9Pdj1dELf6o+ONdsENK/KBnAG/345v3O9bcNE7sG8ITfs6P6rE669Mbc/HVgGUh98cduLW4ZnRQ7S/E32gBDvMD66gWfKlfYRegX05x89dvfKqP18mrsxV3ALjA6ZVJ3NAzgMtV+2+Kvfc049jltfi/xXj2T+MVdw/hmXLj68jgueIw9tQ0jv7WEH5f7rlRPk5nfZYTd7ED4m7UoG0WNgV44NCNmstJkOnHhH0B+OUbN3/9xqf6eJ28vKIgJTb1DOBh1f6bZK9kMQhf60Z3ts5ue9vdX/zIKf50dNZnOXTCbp894HKyZPAxYRegX7Rx89dvfKqP18WrI4NThcBDbu93pGcAR6r23TR79pC9JQ4O2Y/uBdbfN4CxpeL8x2YctaIWz5rIWld9LsW0+Pew26cAl5spQ48LuwD9Yg17yMivv2Efryu/HRlcLwQuc+O7s7sfF4Ydaxza72jF7+y9bG1fvZOBFvO9rRknpGrxuHvMU939OD4OsZbjo676LKdt+5iw26cAl5spQ48LuwD9Yo2bv37jU328Ll6drc77zGNtf3N5nNE3iB+r9t1Ee958QOLm7gFcslScHS3ICAv9znESQ90D2LzUOXH5e9iTQHVdH+XypwCXS8rQ48IuQL9Y4+av3/hUH6+DV1szjkvV4neuIEzkZnBENcssqo45yvY6Wp1veYvf8N7d3Y/zlvK3PZNqt0TOXmfa/vV1989Zb3qp0yP9dx316SfgsNunAPvJloHHhv0E6hdp2BeMX3/DPl4Hr/YMPmOJwkpMEri3px/nhh1nXNpvy6A5JfCgn97s+act+0xN6kBh5asye81x4aGjPv3EHnb7FGA/2TLw2LAL0C/SuPnrNz7Vx+vg1ZnBoxA42fY1n8d5vYO4W7XfptqbM3oAlPXtdOtrzrrnZWvvd1Yb2zP+F1u+9++/9b2UZVR56qhPP7GG3T4F2E+2DDw27AL0izRu/vqNT/Xxqnl5Z+RCYmZ8BqvvG8KEar9NtdfWjKZULfa4vdmJ7gGsWirWevHCs8e85K6jhDWDHSNnnjQ2/YpfL3VOXP6uuj79xh12+8YKcNtp2GpZhZWw8jl09W3jd8DzFWfYBVjuBWNvvn3E/mO3rEpv/5AQcq0zGicR+Ifz5fobleNU57flL9/Zt/4l3zm/0PtNPdg7mDstKrHGxY/ODPZBYIXt7/g0Vi32ALMCe9bXwNpRiE1OTKBxNSBm4hLrUn6qrs+l2iv9e/EVHBfi8EtuiePDTqzicLSZiwun00946zePOuJH75USEO5jo5RI9N6z5RSFyvymMf7JV77sKzef+MrCglcvjh3/ift//uQXy/GDx8wS6GjFDgGsd/5lGq/oXmRFrJUYOycF3OPILzCQRWOrSSxV1mclXMJu39gecNhgKymGMM6JA6c0xns2HHl3+xtf/SG712v/RiDx1ef+EzcW13QNg10c2lSV33rsfReQv1eIGaw/8ltoanjyB6l1d5xVyd62ceCm00fvxgo5ic19AxhaqL06jH3ZAj5s/z0PdE2i8SqdvgVtW1V9Vup32O0bK8DvPW3F1v8aObtLyhq8/Mh7uv77timjCrfSgptvCCbKa2bXYazPApwhz2OPvh2Hrfp178vW3PMhfvZSXgWouMGswN6/SSE/IIAat9WHJ9Cw2aSh0PJoqjmqrWXZPTufe9c59r3pZWu+/d67fpot7Kc8zy+NsccFcILbAz4ji0ajvrdWUZ/VZOWdbzp2a2P6mS7bxvN7Xt/1P375y0B1wlgBXlf3i60Tk3/ugD2s4Zdd/zXeEijYaooiyHPDvgAWjnXHijRWfxUQ7cUilRC9WTR0BMkn7m1Vm99lePHVy2A9Coh6l8XTE9j/BmANJ15VWBzrm37wxRdGN11sn95Y/5sr/jCxaYE9lHfX12P53mIzE9i/yjTuYXeUGqxdWzcc+c/OXKEdf3x313h+baA6YawA12Nsq7MdYeHXNWHY0E2F1/4hp1V7g1blx6wdubwO458WwIcEDm5iDlt8Jym+vnFXc4NbiT8dZaHmF548jAD7T8xizYhvR3jCQQLl3pvSGHuLQGHtaAk8kUXjiaZhDLujVG4udHGnAOsiGxO7URPgOoxusSCutV/1zvZ88c0sGttigjRSblZ+g9vTVO/0fAvrFtszcA9g5g0HcPjTkQowhs6Ue9Ovw9hWy+1E5IHbJtH4kRiGu6jL5bLQFXfY7SdYgGVNHcZPFJAZAbHMm+C8v2zXCMjJLBpviuM7sfc21219dvffOyMFR6/5btd/H5oMdAimFHUdxn5kAWe4T/3PS+Ark2i4No5s/ZWRnqMru8HsWFGPw+y1h0918zCTg9g8hQZuN6ggTeXmJI2xfgFk7CZzwLn70HivguYjZaJcFrqcDrv9BAlw6ut1yJ8sgFMF5MkSeD2AFfMBKPa+vP+/WADu92KH1IOEuH8SDe/QVSi67B5V/9OtoxMnOALcVP9E1+8n/iY0AU5j7FYAHy3GmoPcMoUmY1b90ZXDxez6v8E4D6b3W8DbPHk4ex+avhOG/ya2WV5OZE09xvYU373PIL9hCqt3msajPBb6og67fWMF2B6+EbPvgKcECh++e3/eYc75/r0cAfYClBBbsmiIlWCEXYBF7isw0ZJCzp7h6cy0lZDfnUTjOez5Vnfz8ZvfNEa7BcTBiW4SuDiLRvvBiD9FBMrJSR1GX2dB/Mq9Fn6fRdPRipqPlJlyWOh0OOz2jRTg5Rh/ZQ3kvcXp+wslUAL2E+VjApjzXsvnEPQbPUOmv86i8SSdBaPadtgFaMeTxu51wHL7c4t1hc988VAWDadRfKvPtvdBVC7xHWka45cC8obZd++yJ4umzuq9oAUvgXKuOTsXAvKGggDj3iwajdzwohwWOqsn7PaNE+A6jF8nID9eOrwsAbsX/EsJ8ZhE7pFJ1D4G1CuYzTl+eBry2WIP+wByxx/AYU/pLBqVtsMuQEAuT2Pcfte1yb3ZcKatwgSXTORZcCGHNMbPF5B9bg7sm/4PJ9F4cBhaoUuJN1XONVeP8TsAeUEhH+KyLBo+byK4cljojDvs9g0SYPvd1dh9FsSZxZtIMXHSmUHY8HFdPao6jN9nQb7THS66OYumJTfZ1llUfmyHWYDuOrf2MnvOzjoSmMlBnjGFpgE/MfDYhQmUk986jP2tAL5fXGhDQgxlsapV1/WS9HyVk5M0xn6BwjwV5GCdNoVVhS0MDfuVw0JnyGG3b4wA12HsCgFc7fl0xV6wvMb+37qXcKvDi2+zkPrXYg8ui4aj43LzCqsAV2Lvu1LIfV1CNHly9oUsGj+p84JLmu2l8rsS429OIf/j4mSfwvem+zeZtuBDlPK+VE5sX9MY21ccVZtAfjWwejRKMajypRwWqtqaz07Y7ZskwFdbwBXuO8QfCcDesusKF7rmhThkTRrj9jD0Oru9PPC2STT+UGfhqLIdfAHurk9j+dcE8B7PCMVMHvjSPoqvqrQetLNYfpfhheNqUftgsW4BPCOxfxMX2lCehjkGl7rm6vHiq4HUk4UHemnsBCw7Pj9zFHRkZalc6GjTa9MkAT4469mebGIVogxsJaw0xm8SkJ8qCLD4ziQaztadPBX2gyzAlRizJ6zZk+MKO8EUhp135gvfOD6mIh7amEtgofy6E98eLeZCAiPTmN7MhTb0V9BS19xKjL4zBXGfe338IIvGt+v3KpwWyp2joMu7pXKhq92iXQqwIsL2mrm17lMrgKksxNFAwwuKzGszE0wB2iMEY/ZiGp/wLOhvi+/dWez/IIc7taUX8+fXHoVY9qiAeLX7GDSRg2jlQ5C+PHgtL3XNpTF+vYC8rCDA4oYsGgr7Pxr4W4qF7pDDfgAwSoA9y7YF3gO2C8WeOCHciRNxmbmo+wKoQ/YkgVyPgHyN52IazQEfNHFlH903DL/2D81vw7X1GLcn9Bxc5QrA203bZccvpyCPX+qaS2PsX4W7EEoO0uhFUJZioTsvYQ+BGyXAxYU3whiCLgiw99s9+VQWTcfrLqBq7eu7AJxe1lZA2Lu+OJPhCk/08uc5yHeZuKpPtbnQcX5Jfq/JAydawN8W25LAeVk03q2jbdqcn8BSN/00Rp8VEEcVzs4dPxGjzxr95lzf/ac8T8Ju3xgBLgXp4g/sHXChvT1NaVjPFWcv5oBToj6sp6MA0xg7HcDX577rFVMS8uZJNFwVlxni5V3C0T7Km18JTAp73svBhyHxqSwa/inaEZjn3eLDns4mGHsKD6v2q6zGleYRmI1Ix/3HD6+w2zdGgEuLOuhJWMWkpzHeKyCdnXskRF8WDe1+CiLoY9UWoLMoyRe9M5zdG8lADvkL2esNOrtzZ5narXs++erLojHStRk8rWBaXOyaW4G9m2uQ3+ZeN7/MovENwXgVTitq7z/+Ywi7faMEOOwhaDv9KzF2cgp41P0cyp6MdRTQ8Cf/pRHMGaoK0F1J6WYAh3s8f0Eif0kWq50VlvgLnoD3wdStSduJ32bRcCIgDgTvEVtc7JrzvsYCxJ0TaLjQZGKq7j+VMgq7fWMEOBpD0IUySGP0yeIMUwnxYBa5d0T1Q/pqC9BezSoF647itmnFC6Eww1l8PA4zwSu9eONwXkl+7WHNXB5i0z402Hv98hcCgcUFeHYLQgnzXxFUe/+pNn1ht2+MAEdlCNouCK8vboE8cwDWmQew6n9VWzCqz/dfgM6Sn+dbEEdJoAnAB7w7TbkbXHyQs2pVZ6oye/MI8C1ZNNprpfMXEoGFrznnFc5z7o5gM1lYLwVW7Q7JzUCa9X//UetW2O0bJcBRGIIulkcdxm6zgItmy0VO5JBq24dV31VbQtVZ81uA9RizY7qttFV7HWdA3JLF1FX8rre6nKg8O43RBwVEs2tzeAL7X8v8qCTs39ZC11wdRi+wIO6wLUpgIIvGVv/W43WG3/uP6uj4HbAiolEagi6GVFjRBr2edXbtC+u2STR+RFHYVZvxewEUBdi7l7KEfFICHZNo+mXVDtGAMgJpjLcLyB6Pwasm0Fj8MkBZOzTkj8BC11was8PPecgLJ9F0pz/L8Tt6qU+ydEcUdvvG9IBLi9re09fbI55E41W6kzmffXuFrGVI3S+BY4t/l5DfFxBfB1JPZFG/Kwy/im36FWDAGYK2n9TX5p3ve+V4Fo1fAsT+MONg23MJ2EtNCiz/HQqvCYo/zWuiMwvlEJj/misMP9srxdmjSVmII5MwfyLsHqj/+185GS7/GKMF2LsyVlgCXEiF/X1w6nuA3HwocDkKiKfzwBMCckcWjV8BRLb8FFZ3ZNgFWJ33PHshAvUY/S4g3lHydwpwBEpmvmsuicPPdirCvv+E/QBgrAC711nAC3EsdnXP3a/Ye+Tc4VyMALghixe/AWyY0n2/CPsC0B1fEu2vxPhZKcjv2bF7Pj2y/7sr3AfRJGbj0Jjnu+aSOPwcFQEOc6SUAhzoPcHZlOASAWsjIO2F8I8rGSI86I0EdklYX51E/XU6V46iAAdaAAE09mJjGqmni1sMSmBaALV2w7r3xQ4gOCOaOPSaE19J4vBzFAQ47PsfBTjkSzqNiXUSuRMBvFEA77dvnHN7LfL+STT+gy4RDrsAQ8ZvXPNpjHYLiA43MHsT93vtT8WKI0ITIc2FMA50FQGVXnM5yFUpiE8WRizkUBZNm6swH6tTw77/hN0+BThS5bpjRRqHvR/AZZ5N0u0lLT+dRcNNOlwNuwB1xJRUm+4a3A8Id8VJCdEhIF8W5L7YSWXvJ27vNZeH+K6AfLsAlrkCfGkWTTf6sRfnY8O+/4TdPgU4ktW7Y0UdDrvXAv6ucFFa92Sx6t06XA27AHXElEybu+vrsfw/AGws1IzYlkVDS9ifWSQzF4tH7c3J3CPFb7NYlaglQsO+/4TdPgU4oneIFXjx1BqkHnKfirVtbRh2AUYUf+zcSmPM3gTD3vrR/u2dgXztFJp2hD3LM3YgA3C4dH1u+yac1CVCw77/hN2+MQIcpaUo1VzDTo9mb9HWBPav0rGCUdgFqIZVsq2sxPgpFuRDAkjZJHLAxfvQeKv938xv9GqjJCeOgxJI5BKhYddn2O0bJcBRWopSxWVvb+oACHu2NHIQfz2FBqdHrPIXdgGqjCWZtuSyNPY+LiD/wo3/ZxNo2AQIey0abQJch732XAVMYtU3ksm98qjnEeDELhEa9iuSsO9/xghwKUj38ojQd8D+L9g0xu4q7q0rIbdk0XS9fyuLnxF2AaqOJ2n26rD3Cgv5q91e1IFp5F5/AIc9WeSg4waXxlifAM6328jD+gBF2F/VpTF+g4C81M2ZzME6bQqrhvxZMePosF+RhH3/owBHuI6DKI4g2ogw4ti7lsbYbwXwqsLNXNycRcMl3qBU3+DqsLfLQn5rsQ0KsL8SKl0iVAL3ZNGoZYKlP8/COTrs+0/Y7VOAw6m7sloNojiCaKOsYHmQbwIrMXZyCnjU/W58KouGlwLiRa8htfm1F/mo+d8Ccm1B8GVvFk3Fb459+5/EE+ZZIjTRy4OqrU//FRV2+xRg/zkL7IwgiiOINgIDlrCG0hjvFZBtbu+3L4uG9lIEavIrl9dh7FMC4iMCWOsK/kgWL24IYrlUU9LqXSLUExMFGAjtVaHqESK/tUoB9ksswOPV3DwXdziINgJElqCm7A0+LHv3nBV20DnglH1ofEy1ALtDpt8B8GavbS5r6bfU5i4RSgEuEAj7/qNjjoSfyqAA+6EV8LFBFGfYBRgwUmOaS2PsCwL4uNv7/W0WDX85X3DV1NAKTLSkkLsbwDr3W1W7iREJfHUSDdfrWh7VmCR5AilZItQbInvAIfaAq7k+VNQpBVgFRU02ghDHsIdgNKEz2qwrjD+29451BXjBpUoru8HYm4aMfx7AR2fbwAyAL2fx4hYOO/srr9IlQgH8bwCvdK1QgCnA/goqikeb+BlSEOJY2Q06ihWQDJ/sIWFg+eN2r7QgvnhkEg3NC/VG/T/E2RvD5+8TEM1FohIYyUGeN4WmgWRQVhnloUuECkj7e/7iTHIKMAVYZcGFY8tEAQ5CHINoI5yKMLFVZzvLBwRExhXfEWD/iVmssfeQnvfn5yGuDtmTBGbs973ri0NjEngI2P8Pi7VhImlVMc23RGgNxHu5QUaBcNj3n7DbN2YI2rylKIMpzrALUNWNLgl2StYQnslBnrFUr7Tc/NZhvFNA3lac1OXOdP5CFg2X8l1vZdW10BKh5eakslYXP2sFRjemgLMFhDN5Lw85MonG7rByHCaLKDwAGCXApi1FGURxBtGGjhtJ0myWvvctdxby0kPQzhaYXxOA8zmT+xuVwLlZNP44aZzVxWsvETr+uAAOWSI02GvOzu9qewb7WwDxNgDHld708xAXTKKhW13s5VsKlsWhfoXdvjECXArSXgjXK8iTMdyIPIjiCKKN8i9HHjkfgeJ73+Ie0RIYyKLhjHJ6LYsNQa/AnvUpiPsFxAnFdiXwRA75s6aweiezUTmBeozeDogLbQsSmJ5G7qTiEqH6r7m9a9LItQFik4C05wfUe/Jr386SQF0AAA6ISURBVBfn/PKQF06i6c7Ko638TP0sFvct7PaNFmDLfblfbm+h8jLSc2YQxRFEG3roJMWqXJ7GeL8ANrk38yXf+3rJLJTfNCZOF5i5FxBNszdn0ZfFnz7IWc7V1VYa4+cD+T7hSp2EvCmLpk8Xreq55mQ6jbGLANEKoLk4e/3QSOREHmLIAn5p/y0Pa2QS9Ykdgg5ivf3FqslYAXaDDm2Fleou4cLZei7UuZ4F0YYKFsm0YS+2Ib4nIDa74lvWe18vq5Ih6GsE5KSEtdGCvMDTK5qSEB8OaxjSpNyuxPibLcghWwAL79Hlg1k02qMV+4txLv1awA8R5xWCvTPVZZ4Rkjm9XAk8DYgfAPmfZLHn4Sg9YKll4Ydb4dggdpyjAAOxnOofhDiGfQH4v2SSccYy7P3LZch/XwLHFp+S88CXJ9H4UT8EvPkFxBQgV3ifuiWwU0KePYkmp0fEX+UECkP61qOzQiifyuLAKaX7ePuZmb6wN3OF1xZ7z8x1+5vtIUAO5rDi21NYMVx5VHrPVMOiUh+D2XOdAkwBXrAGwr0AKr1wzD5vJfb+fQq5vuK7O/vmKiG/Oommi/xGPleAC2fP3qjlUBbW2UDDC37t8vhSArvr01j2qHD37y58O50/Zb536dU9WNvrco9/WgAX2etyF70ors9dWKXM+gawanccclQdi+oiXIEXT61BytljXcJ+WGo6vjqL/s/mELR/ZoGdEURxBtGGWmCyZjn2HpMCXiGQP15ALHN2ngdgReCziupidVag+icBeHq5ciIHtO9Dk/19ru9fGqOXA+K6khP7AdmfReOXvEOjvo3zBJfAId9nz+QgNk+h4eH5EFV6zaUx0SKQ+xqAV3jt2mIP4IYsXvxGlIaXyymPSlmUY3upY9IY+5gAbikIMO7OovG8pc5R/XcKsGqiCu0FUZxBtFE5ksLEEglxtHCGYuWxgDjWvWC8Q25z3nmF+VlFpbEux/grayC/JYCTPDaeOYDcWQdw2FOV2gXsSVxjn5AQywDU2O+As2i8qZwZ1JW3mawzS9d5lsi3Z7G6byEKfl/7rMSfjrJQc5MAzikZao6t8BbZhHn/mTsBCxdn0Xhr0JVLAQ6auI/2/F6oPkwfPDTMC2Bhf2W6DuOfEMCHiu/TSo8tuRGVCHB4n1X4z4Hde9r7MUBeA+Dg+1kJ+dMs5JnA6lH/NnlGUATsXhSAWzzv6b86icZFXxXMfS0ghyTE0EL+CqBJOBPmZj8lAjCaB740iRevj1uPtzTOMO8/9gSs4iuDGeQ2TeGweUcsdNaSMQJch7ErLeBzhd6RuFlATsR9ubcg3s+GeQHMLWxZswJjl6RgHQbI99jC6xXZkovgGQk4/2cBL8wdgg73swo/F6vd662FtHtKJxfPkxBTEvLmSTRcxV6qH5rBH2u/q7eQv7c441kCP5xEo73YxaK/0vfyxZ2mPDtOOefPd3O2h0qB/ZeYsjRoePef8CdgLZTjpeonkn9PY087YPUUnBN9AtJeSICfIS2RrfAuAK9jsqYOe//FgnxH4QGqcPPxTCz5BiB+NQP83wNY9YwJwpTG+CftXm9x6UeXxmMHINoPoOHpSF5kdOogAftzoxTyP/b0TB+ewIut5fRIS9/LLyTA3hu0BH6XQ+59YfTSdKY9iFG++fyPwgQswwR4NCMg+l0Btqfg28M6FODIC7Dzrev9cHff8XxKUdx39guAyOq8CQRt2zv5w33gmALEFVmsutWEh4ugeQbd3jK8cFwtah/0vB55egJiU/mzyee8l1/Kffu9/bipE+aCGOWbD3AaY98UgL0pBiSse7JY9e6lEqHj78YMQaex5wQBy96mzZlSLiDsWaOxFuAgng7D7AF7v3X1FPePAPHTLFZ9xTThLcZob3xgQRaX/mOvV8edTZNNe1lQgeUP2msquw9PIzPApv1ofEZTk0abDf7+48xYv11AtBfBSogF99PWDd8YAbZnCqZQ82zxohDA100QYN3LaQZ/ARRKev5vXXHbJBo/orvoo2C/DnsvAuTUJFZ9k73eKGSkHB+c94YPADi1cLT9iZho3YfGx8o5m8ccSiDY+09htM3e69p9vWV31non0fi+sK5BYwTYTm09xopc7f9p937ZA17iqg/2AnCePi8BrD8XkJ7dd6r71pU3NhLQT8CepzB2jwXxTvchf0Yif/YkVn9ff9vmthDEKJ9Nb76V5STwzSwavbuABQ7aKAFOY+y52fcy4k7Mrncby6UogyjO4AR4x4o6rL5HQJxZUnQKvnUN/LphgwkjUPLawN7E4MOTzmsS/qohEMQ74CiPthkmwLPfdQHi+3C+o3R+FOAFrhL9Anxw6bwPAVhnuzF3KUR5Fr91reYWxnODIGC/MrCQv63Q+xU3Z9FwSRDtmt6Gt5MhnImzhW+ivZ8WljKY72/FfxOQ+woLatibX4wfXgf5WQvwvNaK1mibUQJcj/EH4ex/6fzsj6rddzUU4IUuZL0CLGvqMW5Phvs777sBe5F4AD8xdWan6TfNpMZXh732rkM17Pmqq4CiAJcK0SJrABz8TNHrhff+IoEHBFA7z7aMkRttM0qA0xjvLb5blMB/CuDl7AEvfrHoE+CC+Erg72Z7vGKXhPzaJBquDWvSg7pbBy2RAAlUS6D4TbQqAS7Z6cs72hbJleVME+CbBOSnCsNEsLfkqnH/u2sSjVdVWyxBnx/nd8BpjF8KyBu8zPIQl+5Dw41Bc2R7JEACUSUw+020vZlK8ed3CFpCvgkQ/599/txtGcVDQP6BqI62GSbAo5cLd+cX7xBGHqAAL3D96eoBpzG+DZDFjeQfEBBD7kITBzcmj+otgX6RAAnEjcDcxU0ExL4sRF/Ut2U0SoBXYHxTCvLfiqXjCY6TsAIV4PHD05DPuSMQM1mII8tfJShuFz79JQESIIHKCBglwMDcBbY9vWAKcIACXIfRCyyIO9zh/4EsGlsrK0+eRQIkQALmEjBMgAHvFlMU4KULV8d75jTG+gWQsVvPI05bAy7Ni0eQAAmQgCoCBgrw2F0CeI/b+3I4Sb4DXrBe1H8IXxh+drdo4/CzqiuVdkiABIwjYJwAewWl2APmJKyF61b1JKw6jF9rQW7h8LNx9woGRAIkoJiAkQIsZteALk5Jj+074DhtxrAM48fVQj5e3ONWAp/IovGLimuW5kiABEjACALGCbC3Rze740U8P0NS3Tudr2LVtTH+Z2nInwA4qdCO/HUWjW/kghtG3CcYBAmQgAYCFGANUFWZrMfYRQCc9Wd1TWaqVoBXYuyNFvABAOd4er5T0xAnHkDD06pY0A4JkAAJmEaAAhzpjDpboF0ApOQk6rt19CYrE2C7t5t/H4B3C4hXu+97PSvQiM9n0XBZpNHSORIgARIImYBxAmzSJKwgasP7GRKAH2bRcOZCQj9fb9fro4R8SkJ8exIN1+t4WAiCB9sgARIggaAIGCnA3klYbu8slktRBlEEJQJsf7L1AIB/t9u212Z112StEZBnzt/bxRQg7s1DfmMfGh8Lwme2QQIkQAImEDBOgEuGVJ0cxfUzpCAKrLgbSbEtuyAW2wqseJzd2wXwz1lYtwMNfwrCV7ZBAiRAAiYRME6A6zC6xYK41u35OrmK60IcwRRaYRFzAH8DiNNLBdgrxhLs7QaTE7ZCAiSQBAImCvDrBMSvSpL3QBYNZwGCO/EsWNWyZgXGLrUgVqCwlaMzBO2OIKCwuwi62dtNwm2BMZIACQRBwDgBtqHVY2wPgKZiL7jQq5OXZtHEvWiDqCq2QQIkQAIksCQBQwV4/H5AnukVYACxXA1ryQzyABIgARIggVgSMFKA0xj/pIC8mQIcy5qk0yRAAiSQCAJGCjCwd00a+T+4G8I7ibQ/TZpA41WJyCqDJAESIAESiDwBQwXY3hd4dk9adyYvBTjy5UgHSYAESCA5BIwV4DqMXmBB3OEZhqYAJ6euGSkJkAAJRJ6AsQIMzNkYnt8CR74U6SAJkAAJJIuAwQI8dxiaq2Elq7AZLQmQAAlEnYDRAuzdmIGfIUW9FOkfCZAACSSLgPECXNyYgctRJquwGS0JkAAJRJ2A0QJc2V63UU8Z/SMBEiABEjCBAAXYhCwyBhIgARIggdgRoADHLmV0mARIgARIwAQCFGATssgYSIAESIAEYkeAAhy7lNFhEiABEiABEwhQgE3IImMgARIgARKIHQGjBdj7HTAX4ohdbdJhEiABEjCagPECzO+Aja5fBkcCJEACsSVgtADzO+DY1iUdJwESIAHjCRgtwGmMXi4grrOzKCEvzaLpRuMzygBJgARIgARiQcBoAQbk8jTGPgFYuSxW3QqI/bHICp0kARIgARIwnoDhAmx8/hggCZAACZBATAlQgGOaOLpNAiRAAiQQbwIU4Hjnj96TAAmQAAnElAAFOKaJo9skQAIkQALxJkABjnf+6D0JkAAJkEBMCVCAY5o4uk0CJEACJBBvAhTgeOeP3pMACZAACcSUAAU4pomj2yRAAiRAAvEmQAGOd/7oPQmQAAmQQEwJUIBjmji6TQIkQAIkEG8CFOB454/ekwAJkAAJxJQABTimiaPbJEACJEAC8SZAAY53/ug9CZAACZBATAlQgGOaOLpNAiRAAiQQbwIU4Hjnj96TAAmQAAnElAAFOKaJo9skQAIkQALxJkABjnf+6D0JkAAJkEBMCVCAY5o4uk0CJEACJBBvAhTgeOeP3pMACZAACcSUAAU4pomj2yRAAiRAAvEmQAGOd/7oPQmQAAmQQEwJUIBjmji6TQIkQAIkEG8CFOB454/ekwAJkAAJxJQABTimiaPbJEACJEAC8SZAAY53/ug9CZAACZBATAlQgGOaOLpNAiRAAiQQbwIU4Hjnj96TAAmQAAnElAAFOKaJo9skQAIkQALxJkABjnf+6D0JkAAJkEBMCVCAY5o4uk0CJEACJBBvAhTgeOeP3pMACZAACcSUwP8DAHqS0DwcOPEAAAAASUVORK5CYII=</pentrails><costumes><list struct="atomic" id="78"></list></costumes><sounds><list struct="atomic" id="79"></list></sounds><variables></variables><blocks></blocks><scripts></scripts><sprites select="1"><sprite name="Sprite" idx="1" x="206" y="194" heading="90" scale="1" volume="100" pan="0" rotation="1" draggable="true" costume="0" color="255,35,24,1" pen="tip" id="84"><costumes><list struct="atomic" id="85"></list></costumes><sounds><list struct="atomic" id="86"></list></sounds><blocks></blocks><variables></variables><scripts><script x="6.430868167202573" y="6.430868167202573"><block s="receiveGo"></block><block s="clear"></block><block s="down"></block><block s="setSize"><l>3</l></block><block s="doForever"><script><block s="doIfElse"><block s="reportGreaterThan"><block s="yPosition"></block><l>0</l></block><script><block s="setColor"><color>255,35,24,1</color></block></script><script><block s="setColor"><color>12,0,241,1</color></block></script></block><block s="doIfElse"><block s="reportMouseDown"><comment w="53.333333333333336" collapsed="true">1.3</comment></block><script><block s="down"></block></script><script><block s="up"></block></script></block><block s="doGotoObject"><l><option>mouse-pointer</option></l></block></script><comment w="75.33333333333333" collapsed="true">2.3.1.2</comment></block></script><comment x="6.430868167202573" y="326.82556270096455" w="188.6666666666667" collapsed="false">Pen size not required by the lab, but makes the writing much easier to see.</comment><comment x="6.430868167202573" y="382.6487138263667" w="90" collapsed="true">2.2  Inclusive.</comment><script x="6.430868167202573" y="404.47186495176845"><custom-block s="%s ≤ %s"><l></l><l></l><comment w="280.6666666666667" collapsed="false">2.3.  See inside the blocks.  On the next lab page (2.3.3) there is a discussion of several different correct solutions to these.&#xD;&#xD;We&apos;ve learned that students find this exercise difficult.  This may be one of the places where a whole-class discussion would be useful.  &quot;If a&lt;b, is a≤b true?  What if a=b?  What if a&gt;b?&quot;</comment></custom-block></script><script x="6.430868167202573" y="523.2950160771703"><custom-block s="%s ≥ %s"><l></l><l></l></custom-block></script><script x="6.430868167202573" y="546.1181672025723"><custom-block s="%s ≠ %s"><l></l><l></l></custom-block></script><script x="6.430868167202573" y="568.9413183279743"><custom-block s="is %s between %s and %s ?"><l></l><l></l><l></l><comment w="53.333333333333336" collapsed="true">2.4</comment></custom-block></script><script x="6.430868167202573" y="593.7644694533761"><block s="clear"></block><block s="down"></block><block s="setSize"><l>3</l></block><block s="doForever"><script><block s="doIfElse"><block s="reportGreaterThan"><block s="yPosition"></block><l>50</l></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="doIfElse"><block s="reportMouseDown"></block><script><block s="down"></block></script><script><block s="up"></block></script></block><block s="doGotoObject"><l><option>mouse-pointer</option></l></block></script><comment w="53.333333333333336" collapsed="true">2.5</comment></block></script><comment x="6.430868167202573" y="951.4924973204716" 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="6.430868167202573" y="1019.3156484458734"><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="6.430868167202573" y="1044.1387995712753"><custom-block s="%b xor %b"><l/><l/><comment w="117.33333333333333" collapsed="true">exclusive OR. FTTF</comment></custom-block></script><comment x="6.430868167202573" y="1068.9619506966771" 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="6.430868167202573" y="1652.7851018220788" 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="6.430868167202573" y="1876.6082529474809" 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></scripts></sprite></sprites></stage><variables></variables></scene></scenes></project><media name="U2L3pp1-3-Predicates-Solution" app="Snap! 7, https://snap.berkeley.edu" version="2"></media></snapdata>