<snapdata remixID="11248986"><project name="U2L3pp1-3-Predicates" 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"><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.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="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><block-definition s="maximum of %&apos;a&apos; and %&apos;b&apos;" type="reporter" category="operators"><header></header><code></code><translations></translations><inputs><input type="%n"></input><input type="%n"></input></inputs><script><block s="doReport"><block s="reportIfElse"><block s="reportGreaterThan"><block var="a"/><block var="b"/></block><block var="a"/><block var="b"/></block></block></script></block-definition><block-definition s="minimum of %&apos;a&apos; and %&apos;b&apos;" type="reporter" category="operators"><header></header><code></code><translations></translations><inputs><input type="%n"></input><input type="%n"></input></inputs><script><block s="doReport"><block s="reportIfElse"><block s="reportLessThan"><block var="a"/><block var="b"/></block><block var="a"/><block var="b"/></block></block></script></block-definition><block-definition s="maximum of list %&apos;a&apos;" type="reporter" category="variables"><header></header><code></code><translations></translations><inputs><input type="%l"></input></inputs><script><block s="doReport"><block s="reportCombine"><block var="a"/><block s="reifyReporter"><autolambda><custom-block s="maximum of %n and %n"><l></l><l></l></custom-block></autolambda><list></list></block></block></block></script></block-definition><block-definition s="minimum of list %&apos;a&apos;" type="reporter" category="variables"><header></header><code></code><translations></translations><inputs><input type="%l"></input></inputs><script><block s="doReport"><block s="reportCombine"><block var="a"/><block s="reifyReporter"><autolambda><custom-block s="minimum of %n and %n"><l></l><l></l></custom-block></autolambda><list></list></block></block></block></script></block-definition><block-definition s="sum of list %&apos;b&apos;" type="reporter" category="variables"><header></header><code></code><translations></translations><inputs><input type="%l"></input></inputs><script><block s="doReport"><block s="reportCombine"><block var="b"/><block s="reifyReporter"><autolambda><block s="reportSum"><l></l><l></l></block></autolambda><list></list></block></block></block></script></block-definition><block-definition s="average of list %&apos;a&apos;" type="reporter" category="variables"><header></header><code></code><translations></translations><inputs><input type="%l"></input></inputs><script><block s="doReport"><block s="reportQuotient"><custom-block s="sum of list %l"><block var="a"/></custom-block><block s="reportListAttribute"><l><option>length</option></l><block var="a"/></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="156"><pentrails>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAeAAAAFoCAYAAACPNyggAAAAAXNSR0IArs4c6QAAIABJREFUeF7tvQt4JVWZ7v+u2klfstNJmoHuRkG7GxxxRhRER1B6Jk12/oijZ8CRERyRXMAbXvCCQAt2kKvAKCjegFw84MCIiv8zKnqSNHEAYbzBCEc559DpnkEl3SCdpLPTl2TvdZ6qXTup7M5l195r1WXVu59nnsFO1be+7/d9VW+tVavWEuCPBEiABEiABEggcAIi8BbZIAmQAAmQAAmQACjALAISIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBEiABEiABCjArAESIAESIAESCIEABTgE6GySBHQTkEANNq79FCCXF9qy3Cbznv+2/6n0f3s9W+BveezDzpFbBXBAdxy0TwImE6AAm5xdxpZYAnLjmq0QVlcBgATgXupSAsJz2Zf+by+xxf6G/KVi++4bEwuYgZOAAgIUYAUQaYIEokRArkUa6bXPAGJdQXxt/VUswDLfJYZ3XxWluOkLCcSNAAU4bhmjvySwBAG5ce1lEOL6QudXjgDi67OnVDEELdAMOP8HUIBZhyRQNQEKcNUIaYAEokXAGX6G6CoMO8sbxPCuy1V4OGdYmwKsAiltJJwABTjhBcDwzSNQEGD7/a89/CyVDRXPCLs9nE0BNq9wGFHgBCjAgSNngySgl8Dcniq6xPCIkne1cuO6rRAoTOyS6uzqpUHrJBBdAhTg6OaGnpFARQTkMetuAvAp5+S8vFLs2HVNRYZKTqIAq6BIGyQwS4ACzGogAcMIyI3reiHQ5vZUO8TwSK+KECnAKijSBglQgFkDJGAsAXnMugc9s5VbxfDuARXBUoBVUKQNEqAAswZIwFgCcuPaJyHEq50Ac7kTxc7nn1ARLGdBq6BIGyRAAWYNkICxBOTGtc9B2ItwANh/8Gjxhxd/ryJYzoJWQZE2SIACzBogAWMJyGPWuctfAWL7iLJ5HhyCNrZkGFhIBJRdnCH5z2ZJgAQ8BORLDzsKK5Y96/yTlCNieNeRqgBRgFWRpB0SKBCgALMSSMAgAnL9EScglXrcFeCnxPCu41WFRwFWRZJ2SIACzBogAeMIyI1rMhBWvxvYkNg+sllVkBRgVSRphwQowKwBEjCOgNx4RDtg9RQGt/J9Ynh3u6ogKcCqSNIOCVCAWQMkYBwBecyaKwHrc05g+fzNYsfuS1QFSQFWRZJ2SIACzBogAeMI6BRJnbaNSwQDIoEyCHASVhmQeAgJxIWATpHUaTsufOknCagkQAFWSZO2SCBkAjpFUqftkLGxeRIIhQAFOBTsbJQE9BDQKZI6beuhQaskEG0CFOBo54fekYAvAjpFUqdtX0HyYBIwhIDxAiyB5Vi/5mOwsBJ5jGDn7m4BTBuSP4ZBAnMIzKzXXPgMqUsM775KFSIKsCqStEMCBQLmC/CGNZfAsm50opUSkLhA7NjVzQIgARMJ6NyxiAJsYsUwpjAJmC/AG9feBSHeUxBgR4QvFDt23RkmdLZNAroI6BRJnbZ18aBdEogygSQI8OzeqDLfheHd13IIOsolSd+qIaBTJHXariZmnksCcSVgtADLI46oR0Nq70xyxnOrxPPPT8Q1WfSbBJYioFMkddpeKi7+nQRMJGC2AG884lSI1EOF4WepdGcYE4uBMcWfgE6R1Gk7/uQZAQn4J2C4AK/9GIS4xRXgu8XwrvP8I+IZJBAfAjpFUqft+BCmpySgjoDpAuyZgCUvFsO7blWHjpZIIHoE+BlS9HJCj0hgIQKmC7BnAlZukxh+/mGWAgmYTICfIZmcXcZmGgFjBZgTsEwrVcZTDgGdw8Q6bZcTG48hAdMImCvAG47YBGH9W2GtEU7AMq1wGc/8BHSKpE7bzCcJJJGAwQK8dgssca2TVCk5ASuJ1Z3AmHWKpE7bCUwVQyYBc5ei5M2C1Z1EAjrrXqftJOaKMZOAuT3gjeu2QqCr0ANGlxgeUbYoPcuGBKJKQKdI6rQdVZ70iwR0EqAA66RL2yQQMAGdIqnTdsCY2BwJRIIABTgSaaATJKCGgE6R1GlbTfS0QgLxIkABjle+6C0JLEpAp0jqtM20kkASCVCAk5h1xmwsAZ0iqdO2sQlhYCSwCAEKMMuDBAwioFMkddo2KAUMhQTKJkABLhsVDySB6BPgWtDRzxE9JIEiAQowa4EEDCLAtaANSiZDMZ4ABdj4FDPAJBHQOUys03aScsRYSSABPeA1WwHRVVgLOt8lhndzIQ7WvfEEdIqkTtvGJ4YBksA8BAzuAa/ZCmG5K2FRgFn9ySCgUyR12k5GdhglCcwlYLAAcylKFnvyCOgUSZ22g8iUBGqwce0lkKiDENNAHoDlNr3Qfxc98/691NuSv+WxDztHbhXAgSDiYhvxJUABjm/u6DkJHEJAp0jqtK07la743geIM+3F4Wd+wr0FSgnM99/FA71/L3V23r/lLxXbd9+oOy7ajzcBCnC880fvSWAOAZ0iqdO27jTKDWuvgCWudtqxBbP40yXAkq+9dOfUBPsUYBOyyBhIwCWgUyR12tadQLlh7dUQuMKZlCnkEKQYUj4ELWQzIJoLIk8B1p1TE+xTgE3IImMggRkB1jf7P9YCvFH/pMyZRVDsXjUFmNdkGQQowGVA4iEkEBcCXIhj/kwF8fCgk31c6o9++iNAAfbHi0eTQKQJ6BQanbZ1Qw3Cd/aAdWfRPPsUYPNyyogSTIBrQYfZA+anjwm+9CoKnQJcETaeRALRJKBzGDSIXqQuqjofTIo+x5mPLu60uzgBCjArhAQMIqBTBHTa1p0CnQ8mFGDd2TPXPgXY3NwysgQS0CmSOm3rTlUQvgfRhm5OtB8sAQpwsLzZGgloJaBTBHTa1grF/ix3o/73s0G0oZsT7QdLwGAB1vc9ZLApYmskUD6B2Xed9jlS6S5gcRaYIHwPYpi7/ErgkXEgYLYAczekONQgfVRIYK7QqF2NKQgRU4hijqkgfOdnSLqyZ65dgwVY/5CTuWXByOJKQG5YuwWWuNbxX8q7xfCu81TFEoSIqfK11E4QvgfRhi4+tBsOAQpwONzZKgloISA3HLEJVurfXAF+SgzvOl5VQ3EWmNneqfNgonRovsg3znxU1Qjt+CNAAfbHi0eTQKQJyCOOqEdDau+Mk+O5VeL55ydUOB1ngdE5NE8BVlFdybRBAU5m3hm1wQTkxrVPAnh1oRec/2ux4/mHVIRrjgCjSwyPXKWCidcGJ2GpJmq+PQqw+TlmhAkjIDeuvQtCvKcgwLhMDI98XgWCmAtwOwR6XCZ9YnikXQWTQwQYogvcDUk1WmPtUYCNTS0DSyoBuXHdpRC4oSA26iZixVqAj1nXBqBXrwBz4mdSr7lK46YAV0qO55FARAnomogVawFev64ZKTzopmxIbB/ZrDp9ceajmgXtlUeAAlweJx5FArEhoGsiVpwFRlKAY1O/SXKUApykbDPWxBBwJmIJ4U7Eym0Sw88/XG3wMRfg9UhhhzsEvVMMj2yolkfp+ZyEpZqo+fYowObnmBEmkMDciVjyYjG869ZqMVCAFyfIlbCqrbDknU8BTl7OGXECCMiNaz8GIW4p9PjUTMSKswA7GI5ZJ4upF9tHlN/74s4nAZdF5EJUXoRRiZAXQ1QyQT/CICA3HnEqRKrw/a+USlbE2nHcYVvXTy3rsk3urD3YteHpF5V/S6uTlX4BXrMVXH9eZwqNs22wABd3Q3LuQFqWnjOuGhiQMQR0TMT60GnY+obsSkeAf5He1/XVbYiXAG9ctwMC650k57BB7BzZqTLhHIJWSTMZtswWYD6NJqOKGeW8BGZXxBKAzFW9IlZHBluFgCPAUqKrZ4AC7AVPAeaF6JeAwQLMj+L9FgOPN4tAyUSsLWJ41/XVRBh7AT5mnf0dcLPbA94sdo4MVcOj9FzOglZJMxm2KMDJyDOjTCAB1fMgKMCLFxF7wAm8yKoMmQJcJUCeTgJRJUABnpsZuXFdLwTsJSntX7vYPtKnMneqeav0jbaiSYACHM280CsSqJrATI8M9mWer3oiYux7wBvX9AKiDQ6PXIcYfr6wNrSiHwVYEcgEmaEAJyjZDDVZBFS/kzRAgLV+JkQBTtb1pSJaCrAKirRBAhEkoFoQ4i/AeidmquYdwZKiS4oJUIAVA6U5EogKAdWCQAFePLOqeUeljuiHPgIUYH1saZkEQiWgWhAowEsJMFfCCrXgY9g4BTiGSaPLJFAOAQrwXEqqeZTmgJ8hlVOVPMZLgALMeiABQwmoFpz494CLy9OqmRV+qADrfcdsaJkmOiwKcKLTz+BNJkABXqwHXP1nWRRgk6+eYGKjAAfDma2QQOAEKMClArz2cghxnfuvPxbbR85QmRTVvFX6RlvRJEABjmZe6BUJVE2AC3GUCvDql0Es/0/nXyX2Y2/uCPH88xNVg3YNUIBVkUyOHQpwcnLNSBNGgAtxHJpwuXHt4xDiBOcvOXmm2Lnr/1dVFhRgVSSTY4cCnJxcM9KEEVAtCHGfhOV0fDesvRqWuKJQCvJOsX3XharKQjVvVX7RTnQJUICjmxt6RgJVEVAtCEYI8Pq1JyMlHi3orxwRw7uOrAqy52TVvFX5RTvRJUABjm5u6BkJVEVAtSCYIMCO7m5c+xyEWOcOQ58idu56rCrQ7smqeavwiTaiTYACHO380DsSqJiAakEwRoCPWXsHIC5wwOblNWLHrisrhswesAp0ibVBAU5s6hm46QQowPNnWK5fcyZS1v3uMPQTYnjXiSpqQTVvFT7RRrQJUICjnR96RwIVE1AtCMb0gI84oh6rUs8DcoUDd//Uy8QfX3y2YtDuic8dd/jWdVM1Xfb/HK492HXM0y9eVa1Nnm82AQqw2flldAkmQAFeOPlyw5oHYFlvKQxD5y8RO3bfXG2pvO80bD11YmUXBPBwel/X7dtAAa4WquHnGyzAetd9NbwuGJ4BBCjAiwjwRu+qWPJ2sX3X+6tNuSkjBNVy4PnlEzBbgIXlDAdBql/3tXzEPJIEwiFAAV5EgNevOR0p68eF+4N8RAzvOrXaLFGAqyWYvPMNFmDuTJK8cmbEXgIU4EUE+OjDX4JlNX9wBXhUDO9aXW31UICrJZi88ynAycs5I04IAQrw4omWG9eOQohG56iD0y8Vz77wx2pKgwJcDb1knksBTmbeGXUCCCgX4BZcKSx8rvBWBzf1DOLTccYoj1n7CCDeVOgF51vF8O6BauKhAFdDL5nnUoCTmXdGnQACGgS4Uwjc6eiVRF/PINrjjFEes/Z2QBTWgpbyYjG869Zq4qEAV0MvmedSgJOZd0adAALKBbgV/00Azu5BUuIHPQN4e5wxyo1rPw4hvlCIofqZ0BTgOFdDOL4bK8D7jl2z9Rfp/c4s6DdkV3StfGY3v8kLp8bYakgElAtwC04RFn7myBXw7z39ODmk0JQ0KzesaYVl/U+3B1z1TGgKsJK0JMqIsQJ89ak1W3eunHYEeP2+mq4rH56mACeqtBns1MY1W3/WsL8rD+DU8RVdtcPVPYS2teIVKeD/FAQL27sHcGycKUvFM6EpwHGuhnB8N1aAeTGEU1BsNToEtvy1tXXX8rzzELpxX03XZ6p8CG1rRlOqFnvcHvB4Tz8KM4hj/FM5E5r3nBgXQkiuU4BDAs9mSUA3AR2C0JnBQQjUSglZswfLb/8VpnTHodO+ypnQOnjrjJ22wydAAQ4/B/SABLQQ0CEIHRk8JwScvXQl8NKeflT17ayWwH0YVTkTWgdvH6Hw0BgSoADHMGl0mQTKIaBDEDoy+I0QON5uX+Tx2jsH8ZtyfInqMSpnQuvgHVVu9EsNAQqwGo60QgKRI6BDEDoy2CYENrvBZrr7MRi5wH04pHImtA7ePkLhoTEkQAGOYdLoMgmUQ0CHIFyQwb9IgX9we8Dn3DmIfynHl6geo3ImtA7eUeVGv9QQoACr4UgrJBA5ArYgAHD2p4VEV89A9fvTdmbwFQh8yAlW4iPdA7gtcoH7dEjVTGgKsE/wPNy5NI388WIwMq0MygcBHddAZwuugoXPOm7k8bnuQUfkY/2bOmbtIz9btc9ZE/qksRWn1+/YXVicw+dPB2+fLvDwmBGgAMcsYXSXBMoloEMQOjL4iBD4UqEDjK/09OPD5foT1eP+6U3Lb/9t+oCzJvQrJmsuv+yR6Rsq8VUH70r84DnxIUABjk+u6CkJ+CKgQxA6W3AOLNzjCLDEt3sG8C5fTkXw4A+fhsv2pXC9G9PXewbwwUrc1MG7Ej94TnwIUIDjkyt6SgK+COh4B9zegoxlod/tAW/r6UeLL6ciePD7N+Ot0zX4oeOaxGPdAzilEjcpwJVQS/Y5FOBk55/RG0xAhyB0bMZrRQ2ecHuLT/YM4DVxR9jWjHWpWjznxjTaM4DVlcSkg3clfvCc+BCgAMcnV/SUBHwR0CEI7z0NL61N4feuI8919+MlvpyK6MEdGewRAk22e7kpHNk3hBG/rradhktTKTjvj6XEQM8AWv3a4PHJIkABTla+GW2CCOgQ4LP/AssaXooD7nDtVPcAlpmAtDODRyEK2yvm8jijbxA/9huX05OuwbMAagBMT07jyHuG8IJfOzw+OQQowMnJNSNNGAEdAmwj7GjFmAAa3N7i6r4hjMYdbUcGXxMCH3DjuLi7H7dWElNHBv1CIOP0gvO4oGcQ3ZXY4TnJIEABTkaeGWUCCWgT4Ay2C4GNDtIpvKJ7CM/EHW9nKz4G4BZ3+LjimdDtp+ECK4U7XDschg6hMM44FsvXvRwfEwIrhcDI9il0Dw1hOgRXlmySArwkIh5AAvEkoE2AW/GYAN7o9vLe1DOIR+NJaNbrtha8JWXhAedfqpgJfW4zDq+rwXMQqIHkMHQYddHZgsth4bpi21EeiaAAh1EhbJMEAiCg4zMk2+2ODH4gBP7WCSGH/9a9Df8aQDham1A1E9rlw2Fordla3Lj3wdM+Mp/Dhb3bcGeILi3YNAU4ilmhTySggICuHnBnK3oBtLm9xc7uAfQocDd0EypmQttBcBg63FQWHzxFQd3u3T6F8zgEHXBOdD39BxwGmyOBignougY6M7gJAp9yehd5bO0dxOcqdjJCJ9ozoSVwsrNCfg5v7dnmDkn79JHD0D6BKT58RoALE+G6erZVvwmJYhdnzLEHrIss7ZJAyAR09YA7WnClsAqiKyUqnrAUMp5DmvfOhM7nsaV3sLA8ZSU/zoauhJqac+YIMNTsAqbGs0OtUIB1kaVdEgiZgK4ecEcGfw/gO254P+4ZwBkhh6qkeZUPLByGVpKSioyozGNFDvg4iQLsAxYPJYE4EdB1I2prxgmpWjzu9ICBp3v68ao4cVnIV5W8OAwdXkWozKPuKCjAugnTPgmEREDXjaitGU2pWuxxBFhiX88A6kIKUWmzqnlxGFppeso2pjqPZTdcwYEU4Aqg8RQSiAMBnTciVTOGo8RRNS8OQ4eTXb4DDof7nFZVX0wRCIkukIAvAjqvgc5WZwj6BNuhnMQpfQN4zJdzETxYNS8OQ4eTZNV51BkFe8A66dI2CYRIQOeNqDOD+yFwphNeHud2D+LeEENV0rTTcxLoEtJ5t93VM1D95yslw9DX9QziM0qcpZEFCeise9XYKcCqidIeCUSEgM4bUUcGXxQCF9uhyjw+2zOIqyMSdsVu6ODVmcHHIfAFh5PE/vw0TuwbwtMVO8kTlySgI49LNlrhARTgCsHxNBKIOgGd78LaW/BRyyrsGCSBvp5+tEedx1L+tWfwGUvgGlcsb+8ZwPuXOmepv9sbAxy5Hj8TwOskYK/x8dj2aWyK6spMS8UTh7/rrHvV8VOAVROlPRKICAGdPYGSzQuGugewOSJhV+xGewanW2JmH+BHuvtxasXGPCe2NeO4VA0eh8AK+58F8Kk7+/FPKmzTxqEEdNa9at4UYNVEaY8EIkJA543IEZVa/M7tAe/s6ceGiIRdsRsdrXiJAP7g9oBHewawumJjJSde0IpPSuBm1zaHolWBnceOzrpX7TYFWDVR2iOBiBBoz6DdEjMbJfR1KxwmbmvGCqsGk0JA2NvubZ/GShOGVTszGIVAo/tg8dKefvxRRTqbm1FzTA0egsDJrgj/engabzSBmQo+Km1wCFolzQptxekpqMIQeRoJLEqgoxVtAs7ORfZPqQDbBjsyeE4IrLP/OzeFDX1D2Bn3lHS04hEBvMmOI59Ha+8gBlTFVDoUnc/j872DuEyVfdopEIjTvZ89YFYtCRhKoC2D5pTAg054Esrf09q7BxV7dDmJzX0DGIo7yo4MbhcCF7pxXNzdX5hopurX0YprBbDFzck0cmjufhCPqLJPOxTgSNRAnJ6CIgGMThhHQLsAt+IeAOc4PWCJzj4D9gVuz+Dj1uxnQ0pmQpcUltWRwU+FmJng9fvcFI7vG8KocQUYUkBxuveb3QMGugoP/2o+qg+pntgsCVREoK0Z61O12OFeA8onSnVkcL0QhSFUKXFDzwAur8jRCJ10QQtapYX/6bqkbCa0N8S2ZqyzavEfAljjsMvj/p5BvCNCGGLtCgU4AumLUxIigIsuGEhAtwC3t+B9loVvuOju7e7HuXHHqHMmtJdNZwveAgs/BGC5/658uDvuuajU/zjd+83uAQu3ByzZA660mHlevAl0ttoDQIVfd7/9Caq6X8kQ92PdAzhFnfXwLOmaCV0a0ZwRBOAgpvFXPQ/iP8KL3IyWOQs6AnmM01NQBHDRBUMJaBVg7xC3xEjPAI40AaPOmdBePmefjdSqUWeVrL9y/l3i/8h9eH3PI9hrAsewYojTvV/pE3FYwOdrN05JiBI3+mIWgY5W7BDAejsq1Z8Kud+27oNAjZSQ+WnU9Q1hf9wJ6p4J7eXjvib4NeAu+iHxz90D+Me4MwzT/zjd+ynAYVYK2yYBzQR0CrDteon9V5mw0UAAM6HnZL2tBWemLNw/8495tHUP4puaS8NY8xTgCKQ2TkmIAC66YCiBzgwehECz0wPW8K3uHPt5nNE3OLOWcmyJBjETuhRORwZfEwIfKIxEI5ufwutNeJgJowjidO9nDziMColwm/aw4sZafBoStRF2E1Jg38gO3PrAMzgQZT/D9k23AHe0olcAbU6ceVzUPYivhh1zte0HNRPa6+dHzsDyySn8HAKvcf5d4om6Wpz85QdY337z6X2YQR5bugdx/UI23N2qPgqB2uEp3Bj00qAUYL/ZNfx478xMZ/6sWyFSAqKCalnqvKX+Ph/u4jn5PC7tHcSNhqekqvA6W52lKB2BlEB7Tz/6qjJYcnJJb+OWngF8XKX9sGwFNRPaG197C/5CWPi5ANJOviS+3jOAD4bFIK7t2iu0SeBk+3Yl83hrzzY8MF8sHZvxSlGDbwE4yeX96Z4B3BRk3BXcUoN0r/K24jQMUXmUas+016q1avC4cLdN8wrwnP/206xHxOc9bam/z6vAhQcDyc/LlsxERwt6IdDm8uroHZhZG3rJc8s5oC2Dd6eEcxOzFf773QM4q5zzon6MPRMaEm9yb+Kn92ybWZxDq+udLTgf1uxDUi6Ps/oG8X2tjRpmvCODPUKgyQ4rN4Uj+4YwUhqi3dEAcDGAFcWORRj3EwqwYcVXaTjO0HMNHgXweqcgJZ6QiN6FL4BmCTQXXOT33UvlW/eDaFsGJ6eEUzf274nufpy4lE9x+Lt3JrTM4zM9g7guKL87M/gWBN7ttrcnN4XXmbDRRRD87FXGUrV4znkelJh3S8nOFlwOy83nzFfy4dxPKMBBVEUM2ujMoBsCHW5PZn9uGidGcRKIbkGJQap8uaibVzk3PF8OR+TgjhZsERaudW/kgQ6td7wZq8RK/BICf14YWMDP9zbhTffdh1xE8ETWjY7TcIZI4UfufWzexWE6W/EkgFe7ubWZpuxOB3vACtOq+8aj0NVQTbk939sh0G5f6e5wzPXd/e6OLaF6d2jjzKu/hATBqyPj7Au80vYsN4XVJmws0N6Kcy3gn10B/E5PP872R766ozs247Wocd4HL3OFwoi1tqujsvTZna24FMANLrND3qHPGbGR2C+BOwB8JKwRNfaAl86p0Ud0ZnAFBK52C9YW4G9297uzWiMYeRCCEsGwK3YpCF4drfidAI5zBdgeOXmiYocjcmJHBqcKgYcW60npdrWzFR8DcIvbTh55/G23AZ956eTW2Yq7ALzHbeOy7n583tued9a+BPogsVOEuGQxBVhnNcTAdmcGV0PgCtfVyC+oH4SgxCBtZbsYBK/ODB6AwFuch7gc3tGzzbOoRNmeRutA70YWAH7f3Y+jw/CwowXfE1ZhYpsEduen8Nr5JhWF4VsU2+xoxZNCFoaXcxJ/3TfoPkQBeO9f4c9qGvB7e+KV/fc8cIoFnE4B1pDJIG48GtwO3GTcOMXN38ATWtJgELy8313mJa7sHcA1Yceton2d62iX619bM5pStc47y6McEZZ4eO8f0XLfb3GwXBtJOe7sZtQ31M6uoz0+hVX3DWGiGH9HCz4pLNzscnyqZwDHB3F9LMafPeCkVOcCcYZdgH7xx81fv/GpPj5HaL2FAAAgAElEQVQIXkG0oZpLOfY6W/FsUfhUr6NdTvvFYzo3481IYchec9sVj8t7BgrvOfmbJTDntQHwVHc/jvfy8Q5P5yWu6B3AtWHXLgU44RUcdgH6xR83f/3Gp/r4IHgV23C+6DDo22x7QQcInOyK3qaeATysOj/l2utoxW0CuMg+Pi9xTe8Ariz33KQc19mCG2A5k7Ds393d/TivRIC9s5+dfAZxfSzGnwKclOpcIM6wC9Av/rj56zc+1ccHwSuINlRzKcdeRyvug8Q7nZukxLndg7i3nPN0HOMwBrrcz1a7egZwlY524mrzH5tx1Ioa/A4C9e5Dyid6B/DFYjwLDU+HXbsU4LhWnCK/wy5Av2HY/gLoCuuzAb/+hn18EPkNoo0wOHZk8EUhnNWS7AlQV/f047Nh+GG3aSpjVTw7WnEPJM5x7wu/e24nTvSuE9/Wgk2WwL+5S+s+1eMOT4d9P6EAq6qAmNqJ24UdN3/DLosgeAXRRhgc50zaAZ4ZnsKrgl6svxi3qYxV5LW9BRnLQn/RlpQ45HVBRyu2CBQWVkEed3cPFoanw+ZqtADbPSXniceg91IqCtZrI+wC9BtP3Pz1G5/q44PgFUQbqrmUY++81yC9bA12QuBw576dxzm9g/iXcs5VfYypjKvlZO9m9JL1+E1x1bD53v0uJrRhczVagMP8vqvawgrq/LAL0G+cYQ8Z+fU37OOLvHQ+iMathvzkxBtbmGtdm8zYTz5Kjy35tGg0P41XLbD5wtb59CBsrhTgarJvwLlhF6BfhHHz1298qo8PglcQbajmUq69c5txeF0NnkVxhzAg092PwXLPV3WcyYyrYdSRwf1C4ExnhGKR2eEL8QubKwW4muwbcG7YBegXYdz89Ruf6uOD4BVEG6q5+LE3ZzKWxEDPAFr9nK/iWNMZV8qouPWgvUe42/t9ej5bFOBKCVd4Hgu2PHBBDFGW50l5RzGv5XEqHhUEryDa8Be12qPf04xjlxc+cXEWwshNOTuFBbretemMK8nY+ZtxUk0NfumcK3Hg4G782V2/QXYhAZ5vTlDYXNkDriTzBp0TdgH6RRk3f/3Gp/r4IHgF0YZqLn7t2Z+5COCcwr0e9/b041y/Nqo5PgmM/fJpb8VnLRS+h7Z7wABGYG+wAOwvteXsIy7QbCfPFuLid9Rhc6UA+826YceHXYB+ccbNX7/xqT4+CF5BtKGai197bc04IVWLx93e1vSBabzq7iE849dOpccXR6r4/fsswc4M7of7/tcWYEfMXEDu976FdM1us1oUagpwpYVY7nlxG1otNy7Vx8Xt5hk3f1Xny6+9IHgF0YbfuHUc35FBvxDIuDf1W3oG8HEd7cxnMymM/fAsvv/19IAL+5nbvVxv19L7v6Xz5zkCHObCPuwB+8m4gcfG7UGFNyJ/RRgEryDa8Be1nqO9Cz5Iif37pnH0PUN4QU9rc60mhXG5LNtPw+usFH41I74CkHk8JMShM9Tt4We4w8+lS3mGzZUCXG7GDT0u7AL0izVu/vqNT/XxQfBK0vBoZ6szDH2Ce+MPbE3mIPKouvZ02vOubOW8/7UFOIdrercdukmFl11p3sLmSgHWWSUxsB12AfpFFDd//can+vggeAXRhmouldrrbME5UuAe+3wBvJCbxtF9Q4dO+qnU/kLnJYlxOezaM7jaErjC2wNGDl092w7dpIICXA5RxcewYMsDGjdOcfO3vCzoOyoIXkG0oY+QP8vNzajZWIvfCeBY5+afx2d7BnG1Pyv+j04S43LotJ+Gz1gWrnFyMHvCvCMSc9gVTuAkrHIgV3MMC7Y8enHjFDd/y8uCvqOCeMefpCFoO1MdLbhSWPhc8dOX/DQ26O4Fs+7nXiPvPRV/XrMCPxdAY1GApcSlvYO4sfRq6szgCojCQ5KbMwqwvltOwTILtjzCceMUN3/Ly4K+o4LgFUQb+gj5t9zWjBWpGmeThrXuTb23ZwAd/i2Vf0bSGJeScZjX4s2QeIsUeJsAjnPFtHCowAPP7cBZ3i0IizbaTsPZloVvFydI8zvg8uuu4iOTXrDlgosbp7j5W24edB0XBK8g2tDFp1K787xX1PpZUhIZd2Zwoiu4b3JnMtfPly+nB7zIjncdzXi9qMUvCodxCLrSmvd1XhIL1hcg9+C4cYqbv5XkROU5QfAKog2VTFTZ6mx1Vl06v2hPSmgT4SQM89vbP9YcgYssgVMk0CwEmjxsC9/4zvwDJiAwComjHFHNzz8By/6Ts6FGLZ6nAKuq/DLsJPWmUAaaOYfEjVMSbkR+c7jY8UHkN4g2VDJRacu7UYNzg9ckwiYztie2HZPCFinwITE7rD9HcN33vE8LiR/kJX4ic3jYqsGl5S6i0ZnBXgg4PWhZMgmrXBsq66Zoi58h6aAaI5txu7Dj5m/YpRAEryDaCJvjEg85XxQCF7s3d3uYs7dX8TthUxnb4ruhBt8RAn9XnM5s93Rn1nYWGILEf0iJb/cOYtibh45WXCSA25wOcA4X9m7DnQvlqbMVTwJ49XwCHOa+8RTgKF/ZAfgWtws7bv4GkMJFmwiCVxBthM1xqfbtnjBQEGH3993haZwzNITppc4t5++mMp5nhrK9ocLXpcR9vYP47WJsnE/CLFwgUpDbp9C9GOuODP5VCLyNAlxOtSk4xtSCVYBmjom4cYqbv6rz5ddeELyCaMNv3GEc35FBD4B2rwhP7cb5C22R58dHUxl3ZnA1igtqAA/kp/AOHZ90dWbwZQh8mALsp+qqONbUgq0Cybynxo1T3PxVnS+/9oLgVbJJweU9A7jBr5+mHN+ZwQ8BvLW4GYCUGBECN+Sm8I1qhCWIPIaRg+KcDncXI21Ley7EL2yuHIIOo+oi1GbYBegXRdz89Ruf6uN18zq7GfUNNdgjgRr7ZnIQePldA/gv1XHExV5nCy6XFq6bM2HX3atWCHxt+xSuq2RYWncew+IbVFxOO0AXN2MIKNNBJTagcLQ1EzdOcfNXW+LKNKybV3sL3mNZuMtxR+Kx7gGcUqZrRh52xrFYvu7l+IQQaADQJgTWzdkdL48t3YO43m/w7RncZAl8yuV8ZfdAYRnGuP9012eRD3vAAVdKUIkNOCzlzcWNU9z8VZ4wnwZ18+poxT0COMd2Ky9xRe8ArvXporGHu6s3vV9KXGYLceEZBU/39ONVfoPuaEEvBNrsnnUe6OgdQK9fG1E8Xnd9UoBDynpQiQ0pPGXNxo1T3PxVlqgKDel8x+Yuyfh88fvK3BRe1TeEpyt01djTzj4Fh61KY3txYYm8xFt6B/ATPwF3ZvCgs6etLcB5tPYOYsDP+VE9Vmd9emO2Xw3AwnUuv5k1o8O+nxj9Dtj+wFr3y/2oFna5fgV1AZTrz1LHhX3BLOVf1P6uk1dbC96SsvCAG/Mz3f14RdTij4o/3gU7pMQPegbwdj++eb9jzU3hxL4hPOHn/Kgeq7M+vTEXXw1YFnJ/3IFbi2tGB9X+QvyNFuAwP7COasGX+hV2AfrlFDd//can+nidvDpbcQeAC2yfpcQNPQO4XLX/pth7TzOOXV6L/1uM58AUXnH3EJ4pN76ODJ4rDmPvn8LR3xrC78s9N8rH6azPcuIudkDcjRq0zcKmAA8culFzOQky/ZiwLwC/fOPmr9/4VB+vk5dXFKTEpp4BPKzaf5PslSwG4Wvd6M7W2W1vu/uLHznFn47O+iyHTtjtswdcTpYMPibsAvSLNm7++o1P9fG6eHVkcKoQeMjt/Y70DOBI1b6bZs8esrfEzJD96F5g/X0DGFsqzn9sxlEravGsiax11edSTIt/D7t9CnC5mTL0uLAL0C/WsIeM/Pob9vG68tuRwfVC4DI3vju7+3Fh2LHGof2OVvzO3svW9jWfn38D+dI42ppxQqoWj7v//lR3P46PQ6zl+KirPstp2z4m7PYpwOVmytDjwi5Av1jj5q/f+FQfr4tXZ6vzPvNY299cHmf0DeLHqn030Z43H5C4uXsAlywVZ3sLMpaFfuc4iaHuAWxe6py4/D3sSaC6ro9y+VOAyyVl6HFhF6BfrHHz1298qo/XwautGcelavE7VxAmctM4opplFlXHHGV7Ha3Ot7zFb3jv7u7HeUv5255JtVsiZ68zbf/6uvvnrDe91OmR/ruO+vQTcNjtU4D9ZMvAY8N+AvWLNOwLxq+/YR+vg1d7Bp+xRGElJgnc29OPc8OOMy7tt2XQnBJ40E9v9vzTln2mJnWwsPJVmb3muPDQUZ9+Yg+7fQqwn2wZeGzYBegXadz89Ruf6uN18OrM4FEInGz7ms/jvN5B3K3ab1PtzRk9AMr6drr1NWfd87K19zurje0Z/4st3/v33/peyjKqPHXUp59Yw26fAuwnWwYeG3YB+kUaN3/9xqf6eNW8vDNyITE9Po3V9w1hQrXfptpra0ZTqhZ73N7sRPcAVi0Va7144dljXnLXUcKaxo6RM08am3rFr5c6Jy5/V12ffuMOu31jBbjtNGy1rMJKWPkcuvq28Tvg+Yoz7AIs94KxN98+4sCxW1alt39ICLnWGY2TCPzD+XL9jcpxqvPb8pfv7Fv/ku+cX+j9ph7sHcydFpVY4+JHZwb7ILDC9nd8CqsWe4BZgT3ra2DtKMQmJybQuBoQ03GJdSk/VdfnUu2V/r34Co4Lcfglt8TxYSdWcTjazMWF0+knvPWbRx3xo/dKCQj3sVFKJHrv2XKKQmV+0xj/5Ctf9pWbT3xlYcGrF8eO/8T9P3/yi+X4wWNmCXS0YocA1jv/MoVXdC+yItZKjJ2TAu5x5BcYyKKx1SSWKuuzEi5ht29sDzhssJUUQxjnxIFTGuM9G468u/2Nr/6Q3eu1fyOQ+Opz/4kbi2u6hsEuDm2qym899r4LyN8rxDTWH/ktNDU8+YPUujvOqmRv2zhw0+mjd2OFnMTmvgEMLdReHca+bAEftv+eB7om0XiVTt+Ctq2qPiv1O+z2jRXg9562Yut/jZzdJWUNXn7kPV3/fdt+owq30oKbbwgmymtm12GszwKcIc9jj74dh636de/L1tzzIX72Ul4FqLjBrMDev0khPyCAGrfVhyfQsNmkodDyaKo5qq1l2T07n3vXOfa96WVrvv3eu36aLeynPM8vjbHHBXCC2wM+I4tGo763VlGf1WTlnW86dmtj+pku28bze17f9T9++ctAdcJYAV5X94utE5N/7oA9rOGXXf813hIo2GqKIshzw74AFo51x4o0Vn8VEO3FIpUQvVk0dATJJ+5tVZvfZXjx1ctgPQqIepfF0xM48AZgDSdeVVgc65t+8MUXRjddbJ/eWP+bK/4wsWmBPZR319dj+d5iMxM4sMo07mF3lBqsXVs3HPnPzlyhHX98d9d4fm2gOmGsANdjbKuzHWHh1zVh2NBNhdf+IadVe4NW5cesHbm8DuOfFsCHBGY2MYctvpMUX9+4q7nBrcSfjrJQ8wtPHkaAAydmsWbEtyM8YYZAufemNMbeIlBYO1oCT2TReKJpGMPuKJWbC13cKcC6yMbEbtQEuA6jWyyIa+1XvbM9X3wzi8a2mCCNlJuV3+D2NNU7Pd/CusX2DNyDmH7DQRz+dKQCjKEz5d706zC21XI7EXngtkk0fiSG4S7qcrksdMUddvsJFmBZU4fxEwVkRkAs8yY47y/bNQJyMovGm+L4Tuy9zXVbn939985IwdFrvtv134cmAx2CKUVdh7EfWcAZ7lP/8xL4yiQaro0jW39lpOfoym4wO1bU4zB77eFT3TxM5yA270cDtxtUkKZyc5LGWL8AMnaTOeDcfWi8V0HzkTJRLgtdTofdfoIEOPX1OuRPFsCpAvJkCbwewIr5ABR7X97/XywA93uxQ+pBQtw/iYZ36CoUXXaPqv/p1tGJExwBbqp/ouv3E38TmgCnMXYrgI8WY81BbtmPJmNW/dGVw8Xs+r/BOA+m91vA2zx5OHsfmr4Thv8mtlleTmRNPcb2FN+9TyO/YT9W7zSNR3ks9EUddvvGCrA9fCNm3wHvFyh8+O79eYc55/v3cgTYC1BCbMmiIVaCEXYBFrmvwERLCjl7hqcz01ZCfncSjeew51vdzcdvftMY7RYQMxPdJHBxFo32gxF/igiUk5M6jL7OgviVey38PoumoxU1Hykz5bDQ6XDY7RspwMsx/soayHuL0/cXSqAE7CfKxwQw572WzyHoN3qGTH+dReNJOgtGte2wC9COJ43d64Dl9ucW6wqf+eKhLBpOo/hWn23vg6hc4jvSNMYvBeQNs+/eZU8WTZ3Ve0ELXgLlXHN2LgTkDQUBxr1ZNBq54UU5LHRWT9jtGyfAdRi/TkB+vHR4WQJ2L/iXEuIxidwjk6h9DKhXMJtz/PA05LPFHvZB5I4/iMOe0lk0Km2HXYCAXJ7GuP2ua5N7s+FMW4UJLpnIs+BCDmmMny8g+9wc2Df9H06icWYYWqFLiTdVzjVXj/E7AHlBIR/isiwaPm8iuHJY6Iw77PYNEmD73dXYfRbEmcWbSDFx0plB2PBxXT2qOozfZ0G+0x0uujmLpiU32dZZVH5sh1mA7jq39jJ7zs46EpiehjzjAJoG/MTAYxcmUE5+6zD2twL4fnGhDQkxlMWqVl3XS9LzVU5O0hj7BQrzVJCDddp+rCpsYWjYrxwWOkMOu31jBLgOY1cI4GrPpyv2guU19v/WvYRbHV58m4XUvxZ7cFk0HB2Xm1dYBbgSe9+VQu7rEqLJk7MvZNH4SZ0XXNJsL5XflRh/cwr5Hxcn+xS+Nz2wybQFH6KU96VyYvuaxti+4qjaBPKrgdWjUYpBlS/lsFDV1nx2wm7fJAG+2gKucN8h/kgA9pZdV7jQNS/EIWvSGLeHodfZ7eWBt02i8Yc6C0eV7eALcHd9Gsu/JoD3eEYopvPAl/ZRfFWldcbOYvldhheOq0Xtg8W6BfCMxIFNXGhDeRrmGFzqmqvHi68GUk8WHuilsROw7Pj8zFHQkZWlcqGjTa9NkwR4ZtazPdnEKkQZ2EpYaYzfJCA/VRBg8Z1JNJytO3kq7AdZgCsxZk9YsyfHFXaCKQw778wXvnF8TEU8tDGXwEL5dSe+PVrMhQRGpjC1mQtt6K+gpa65lRh9ZwriPvf6+EEWjW/X71U4LZQ7R0GXd0vlQle7RbsUYEWE7TVza92nVgD7sxBHAw0vKDKvzUwwBWiPEIzZi2l8wrOgvy2+d2dx4IMc7tSWXsyfX3sUYtmjAuLV7mPQRA6ilQ9B+vLgtbzUNZfG+PUC8rKCAIsbsmgo7P9o4G8pFrpDDvsBwCgB9izbFngP2C4Ue+KEcCdOxGXmou4LoA7ZkwRyPQLyNZ6LaTQHfNDElX103zD82j80vw3X1mPcntAzs8oVgLebtsuOX05BHr/UNZfG2L8KdyGUHKTRi6AsxUJ3XsIeAjdKgIsLb4QxBF0QYO+3e/KpLJqO111A1drXdwE4vaytgLB3fXEmwxWe6OXPc5DvMnFVn2pzoeP8kvxekwdOtIC/LbYlgfOyaLxbR9u0OT+BpW76aYw+KyCOKpydO34iRp81+s25vvtPeZ6E3b4xAlwK0sUf2DvgQnt7mtKwnivOXswBp0R9WE9HAaYxdjqAr8991yv2S8ibJ9FwVVxmiJd3CUf7KG9+JTAp7HkvMw9D4lNZNPxTtCMwz7vFhz2dTTD2FB5W7VdZjSvNIzAbkY77jx9eYbdvjACXFnXQk7CKSU9jvFdAOjv3SIi+LBra/RRE0MeqLUBnUZIvemc4uzeSgRzyF7LXG3R2584ytVv3fPLVl0VjpGszeFrBtLjYNbcCezfXIL/NvW5+mUXjG4LxKpxW1N5//McQdvtGCXDYQ9B2+ldi7OQU8Kj7OZQ9GesooOFP/ksjmDNUFaC7ktLNAA73eP6CRP6SLFY7KyzxFzwB74OpW5O2E7/NouFEQBwM3iO2uNg1532NBYg7J9BwocnEVN1/KmUUdvvGCHA0hqALZZDG6JPFGaYS4sEscu+I6of01RagvZpVCtYdxW3TihdCYYaz+HgcZoJXevHG4byS/NrDmrk8xKZ9aLD3+uUvBAKLC/DsFoQS5r8iqPb+U236wm7fGAGOyhC0XRBeX9wCeeYgrDMPYtX/qrZgVJ/vvwCdJT/PtyCOkkATgA94d5pyN7j4IGfVqs5UZfbmEeBbsmi010rnLyQCC19zziuc59wdwaazsF4KrNodkpuBNOv//qPWrbDbN0qAozAEXSyPOozdZgEXzZaLnMgh1bYPq76rtoSqs+a3AOsxZsd0W2mr9jrOgLgli/1X8bve6nKi8uw0Rh8UEM2uzeEJHHgt86OSsH9bC11zdRi9wIK4w7YogYEsGlv9W4/XGX7vP6qj43fAiohGaQi6GFJhRRv0etbZtS+s2ybR+BFFYVdtxu8FUBRg717KEvJJCXRMoumXVTtEA8oIpDHeLiB7PAavmkBj8csAZe3QkD8CC11zacwOP+chL5xE053+LMfv6KU+ydIdUdjtG9MDLi1qe09fb494Eo1X6U7mfPbtFbKWIXW/BI4t/l1Cfl9AfB1IPZFF/a4w/Cq26VeAAWcI2n5SX5t3vu+V41k0fgkQB8KMg23PJWAvNSmw/HcovCYo/jSvic4slENg/muuMPxsrxRnjyZlIY5MwvyJsHug/u9/5WS4/GOMFmDvylhhCXAhFfb3wanvAXLzocDlKCCezgNPCMgdWTR+BRDZ8lNY3ZFhF2B13vPshQjUY/S7gHhHyd8pwBEomfmuuSQOP9upCPv+E/YDgLEC7F5nAS/EsdjVPXe/Yu+Rc4dzMQLghixe/AawYb/u+0XYF4Du+JJofyXGz0pBfs+O3fPpkf3fXeE+iCYxG4fGPN81l8Th56gIcJgjpRTgQO8JzqYElwhYGwFpL4R/XMkQ4Yw3EtglYX11EvXX6Vw5igIcaAEE0NiLjWmkni5uMSiBKQHU2g3r3hc7gOCMaOLQa058JYnDz1EQ4LDvfxTgkC/pNCbWSeROBPBGAbzfvnHO7bXI+yfR+A+6RDjsAgwZv3HNpzHaLSA63MDsTdzvtT8VK44ITYQ0F8I40FUEVHrN5SBXpSA+WRixkENZNG2uwnysTg37/hN2+xTgSJXrjhVpHPZ+AJd5Nkm3l7T8dBYNN+lwNewC1BFTUm26a3A/INwVJyVEh4B8WZD7YieVvZ+4vddcHuK7AvLtAljmCvClWTTd6MdenI8N+/4TdvsU4EhW744VdTjsXgv4u8JFad2Txap363A17ALUEVMybe6ur8fy/wCwsVAzYlsWDS1hf2aRzFwsHrU3J3OPFL/NYlWilggN+/4TdvsU4IjeIVbgxVNrkHrIfSrWtrVh2AUYUfyxcyuNMXsTDHvrR/u3dxrytfvRtCPsWZ6xAxmAw6Xrc9s34aQuERr2/Sfs9o0R4CgtRanmGnZ6NHuLtiZwYJWOFYzCLkA1rJJtZSXGT7EgHxJAyiaRAy7eh8Zb7f9mfqNXGyU5cRyUQCKXCA27PsNu3ygBjtJSlCoue3tTB0DYs6WRg/jr/WhwesQqf2EXoMpYkmlLLktj7+MC8i/c+H82gYZNgLDXotEmwHXYa89VwCRWfSOZ3CuPeh4BTuwSoWG/Ign7/meMAJeCdC+PCH0H7P+CTWPsruLeuhJySxZN1/u3svgZYReg6niSZq8Oe6+wkL/a7UUdnELu9Qdx2JNFDjpucGmM9QngfLuNPKwPUIT9VV0a4zcIyEvdnMkcrNP2Y9WQPytmHB32K5Kw738U4AjXcRDFEUQbEUYce9fSGPutAF5VuJmLm7NouMQblOobXB32dlnIby22QQH2V0KlS4RK4J4sGrVMsPTnWThHh33/Cbt9CnA4dVdWq0EURxBtlBUsD/JNYCXGTk4Bj7rfje/PouGlgHjRa0htfu1FPmr+t4BcWxB82ZtFU/GbY9/+J/GEeZYITfTyoGrr039Fhd0+Bdh/zgI7I4jiCKKNwIAlrKE0xnsFZJvb++3LoqG9FIGa/MrldRj7lID4iADWuoI/ksWLG4JYLtWUtHqXCPXERAEGQntVqHqEyG+tUoD9EgvweDU3z8UdDqKNAJElqCl7gw/L3j1nhR10DjhlHxofUy3A7pDpdwC82Wuby1r6LbW5S4RSgAsEwr7/6Jgj4acyKMB+aAV8bBDFGXYBBozUmObSGPuCAD7u9n5/m0XDX84XXDU1tAITLSnk7gawzv1W1W5iRAJfnUTD9bqWRzUmSZ5ASpYI9YbIHnCIPeBqrg8VdUoBVkFRk40gxDHsIRhN6Iw26wrjj+29Y10BXnCp0spuMPamIeOfB/DR2TYwDeDLWby4hcPO/sqrdIlQAP8bwCtdKxRgCrC/gori0SZ+hhSEOFZ2g45iBSTDJ3tIGFj+uN0rLYgvHplEQ/NCvVH/D3H2xvD5+wREc5GoBEamIc87gKaBZFBWGeWhS4QKSPt7/uJMcgowBVhlwYVjy0QBDkIcg2gjnIowsVVnO8sHBETGFd8R4MCJWayx95Ce9+fnIa4O2ZMEpu33veuLQ2MSeAg48A+LtWEiaVUxzbdEaA3Ee7lBRoFw2PefsNs3ZgjavKUogynOsAtQ1Y0uCXZK1hCenoY8Y6leabn5rcN4p4C8rTipy53p/IUsGi7lu97KqmuhJULLzUllrS5+1nKMbqwBzhYQzuS9POTIJBq7w8pxmCyi8ABglACbthRlEMUZRBs6biRJs1n63rfcWchLD0E7W2B+TQDO50zub1QC52bR+OOkcVYXr71E6PjjAjhkidBgrzk7v6vtGexvAcTbABxXetPPQ1wwiYZudbGXbylYFof6FXb7xghwKUh7IVyvIE/GcCPyIIojiDbKvxx55HwEiu99i3tES2Agi4Yzyum1LDYEvQJ71qcg7hcQJxTblcATOeTP2o/VO5mNygnUY/R2QFxoW5DA1BRyJxWXCNV/ze1dk0auDRCbBKQ9P6Dek/m7p3MAAA6MSURBVF/7vjjnl4e8cBJNd1YebeVn6mexuG9ht2+0AFvuy/1yewuVl5GeM4MojiDa0EMnKVbl8jTG+wWwyb2ZL/ne10tmofymMXG6wPS9gGiavTmLviz+9EHOcq6uttIYPx/I9wlX6iTkTVk0fbpoVc81J9NpjF0EiFYAzcXZ64dGIifyEEMW8Ev7b3lYI5OoT+wQdBDr7S9WTcYKsBt0aCusVHcJF87Wc6HO9SyINlSwSKYNe7EN8T0BsdkV37Le+3pZlQxBXyMgJyWsjRbkBZ5e0X4J8eGwhiFNyu1KjL/ZghyyBbDwHl0+mEWjPVpxoBjn0q8F/BBxXiHYO1Nd5hkhmdPLlcDTgPgBkP9JFnsejtIDlloWfrgVjg1ixzkKMBDLqf5BiGPYF4D/SyYZZyzD3r9chvz3JXBs8Sk5D3x5Eo0f9UPAm19A7AfkCu9TtwR2SsizJ9Hk9Ij4q5xAYUjfenRWCOVTWRw8pXQfbz8z0xf2Zq7w2mLvmbluf7M9BMjBaSz/9gGsHK48Kr1nqmFRqY/B7LlOAaYAL1gD4V4AlV44Zp+3Env/PoVcX/HdnX1zlZBfnUTTRX4jnyvAhbNnb9RyKAvrbKDhBb92eXwpgd31aSx7VLj7d9vfTueQP2W+d+nVPVjb63KPf1oAF9nrche9KK7PXVilzPoGsGp3HHJUHYvqIlyBF0+tQcrZY13CflhqOr46i/7P5hC0f2aBnRFEcQbRhlpgsmY59h6TAl4hkD9eQCxzdp4HYEXgs4rqYnVWoPonAXh6uXIiB7TvQ5P9fa7vXxqjlwPiupIT+wHZn0Xjl7xDo76N8wSXwCHfZ0/nIDbvR8PD8yGq9JpLY6JFIPc1AK/w2rXFHsANWbz4jSgNL5dTHpWyKMf2UsekMfYxAdxSEGDcnUXjeUudo/rvFGDVRBXaC6I4g2ijciSFiSUS4mjhDMXKYwFxrHvBeIfc5rzzCvOzikpjXY7xV9ZAfksAJ3lsPHMQubMO4rCnKrUL2JO4xj4hIZYBqLHfAWfReFM5M6grbzNZZ5au8yyRb89idd9CFPy+9lmJPx1loeYmAZxTMtQcW+Etsgnz/jN3AhYuzqLx1qArlwIcNHEf7fm9UH2Ynjk0zAtgYX9lug7jnxDAh4rv00qPLbkRlQhweJ9V+M+B3Xva+zFAXgNg5v2shPxpFvJMYPWof5s8IygCdi8KwC2e9/RfnUTjoq8K5r4WkEMSYmghfwXQJJwJc7OfEgEYzQNfmsSL18etx1saZ5j3H3sCVvGVwTRym/bjsHlHLHTWkjECXIexKy3gc4XekbhZQE7Efbm3IN7PhnkBzC1sWbMCY5ekYB0GyPfYwusV2ZKL4BkJOP9nAS/MHYIO97MKPxer3euthbR7SicXz5MQ+yXkzZNouIq9VD80gz/WfldvIX9vccazBH44iUZ7sYtFf6Xv5Ys7TXl2nHLOn+/mbA+VAgcuMWVp0PDuP+FPwFoox0vVTyT/nsaedsDqKTgn+gSkvZAAP0NaIlvhXQBex2RNHfb+iwX5jsIDVOHm45lY8g1A/Goa+L8HseoZE4QpjfFP2r3e4tKPLo3HDkK0H0TD05G8yOjUDAH7c6MU8j/29EwfnsCLreX0SEvfyy8kwN4btAR+l0PufWH00nSmPYhRvvn8j8IELMMEeDQjIPpdAban4NvDOhTgyAuw863r/XB33/F8SlHcd/YLgMjqvAkEbds7+cN94NgPiCuyWHWrCQ8XQfMMur1leOG4WtQ+6Hk98vQExKbyZ5PPeS+/lPv2e/txUyfMBTHKNx/gNMa+KQB7UwxIWPdkserdSyVCx9+NGYJOY88JApa9TZszpVxA2LNGYy3AQTwdhtkD9n7r6inuHwHip1ms+oppwluM0d74wIIsLv3HXq+OO5smm/ayoALLH7TXVHYfnkamgU0H0PiMpiaNNhv8/ceZsX67gGgvgpUQC+6nrRu+MQJszxRMoebZ4kUhgK+bIMC6l9MM/gIolPT837ritkk0fkR30UfBfh32XgTI/ZNY9U32eqOQkXJ8cN4bPgDg1MLR9idionUfGh8r52wecyiBYO8/hdE2e69r9/WW3VnrnUTj+8K6Bo0RYDu19RgrcrX/p937ZQ94ias+2AvAefq8BLD+XEB6dt+p7ltX3thIQD8Be57C2D0WxDvdh/xpifzZk1j9ff1tm9tCEKN8Nr35VpaTwDezaPTuAhY4aKMEOI2x52bfy4g7MbvebSyXogyiOIMT4B0r6rD6HgFxZknRKfjWNfDrhg0mjEDJawN7E4MPTzqvSfirhkAQ74CjPNpmmADPftcFiO/D+Y7S+VGAF7hK9AvwzNJ5HwKwznZj7lKI8ix+61rNLYznBkHAfmVgIX9bofcrbs6i4ZIg2jW9DW8nQzgTZwvfRHs/LSxlMN/fiv8mIPcVFtSwN78YP7wO8rMW4HmtFa3RNqMEuB7jD8LZ/9L52R9Vu+9qKMALXch6BVjW1GPcngz3d953A/Yi8QB+YurMTtNvmkmNrw577V2HatjzVVcBRQEuFaJF1gCY+UzR64X3/iKBBwRQO8+2jJEbbTNKgNMY7y2+W5TAfwrg5ewBL36x6BPggvhK4O9me7xil4T82iQarg1r0oO6WwctkQAJVEug+E20KgEu2enLO9oWyZXlTBPgmwTkpwrDRLC35Kpx/7trEo1XVVssQZ8f53fAaYxfCsgbvMzyEJfuQ8ONQXNkeyRAAlElMPtNtL2ZSvHndwhaQr4JEP+fff7cbRnFQ0D+gaiOthkmwKOXC3fnF+8QRh6gAC9w/enqAacxvg2QxY3kHxAQQ+5CEzMbk0f1lkC/SIAE4kZg7uImAmJfFqIv6tsyGiXAKzC+KQX5b8XS8QTHSViBCvD44WnI59wRiOksxJHlrxIUtwuf/pIACZBAZQSMEmBg7gLbnl4wBThAAa7D6AUWxB3u8P9AFo2tlZUnzyIBEiABcwkYJsCAd4spCvDShavjPXMaY/0CyNit5xGnrQGX5sUjSIAESEAVAQMFeOwuAbzH7X05nCTfAS9YL+o/hC8MP7tbtHH4WdWVSjskQALGETBOgL2CUuwBcxLWwnWrehJWHcavtSC3cPjZuHsFAyIBElBMwEgBFrNrQBenpMf2HXCcNmNYhvHjaiEfL+5xK4FPZNH4RcU1S3MkQAIkYAQB4wTY26Ob3fEinp8hqe6dzlex6toY/7M05E8AnFRoR/46i8Y3csENI+4TDIIESEADAQqwBqiqTNZj7CIAzvqzuiYzVSvAKzH2Rgv4AIBzPD3f/VMQJx5Ew9OqWNAOCZAACZhGgAIc6Yw6W6BdAKTkJOq7dfQmKxNgu7ebfx+AdwuIV7vvez0r0IjPZ9FwWaTR0jkSIAESCJmAcQJs0iSsIGrD+xkSgB9m0XDmQkI/X2/X66OEfEpCfHsSDdfreFgIggfbIAESIIGgCBgpwN5JWG7vLJZLUQZRBCUCbH+y9QCAf7fbttdmdddkrRGQZ87f28V+QNybh/zGPjQ+FoTPbIMESIAETCBgnACXDKk6OYrrZ0hBFFhxN5JiW3ZBLLYVWPE4u7cL4J+zsG4HGv4UhK9sgwRIgARMImCcANdhdIsFca3b83VyFdeFOIIptMIi5gD+BhCnlwqwV4wl2NsNJidshQRIIAkETBTg1wmIX5Uk74EsGs4CBHfiWbCqZc0KjF1qQaxAYStHZwjaHUFAYXcRdLO3m4TbAmMkARIIgoBxAmxDq8fYHgBNxV5woVcnL82iiXvRBlFVbIMESIAESGBJAoYK8Pj9gDzTK8AAYrka1pIZ5AEkQAIkQAKxJGCkAKcx/kkBeTMFOJY1SadJgARIIBEEjBRgYO+aNPJ/cDeEdxJpf5o0gcarEpFVBkkCJEACJBB5AoYKsL0v8OyetO5MXgpw5MuRDpIACZBAcggYK8B1GL3AgrjDMwxNAU5OXTNSEiABEog8AWMFGJizMTy/BY58KdJBEiABEkgWAYMFeO4wNFfDSlZhM1oSIAESiDoBowXYuzEDP0OKeinSPxIgARJIFgHjBbi4MQOXo0xWYTNaEiABEog6AaMFuLK9bqOeMvpHAiRAAiRgAgEKsAlZZAwkQAIkQAKxI0ABjl3K6DAJkAAJkIAJBCjAJmSRMZAACZAACcSOAAU4dimjwyRAAiRAAiYQoACbkEXGQAIkQAIkEDsCRguw9ztgLsQRu9qkwyRAAiRgNAHjBZjfARtdvwyOBEiABGJLwGgB5nfAsa1LOk4CJEACxhMwWoDTGL1cQFxnZ1FCXppF043GZ5QBkgAJkAAJxIKA0QIMyOVpjH0CsHJZrLoVEAdikRU6SQIkQAIkYDwBwwXY+PwxQBIgARIggZgSoADHNHF0mwRIgARIIN4EKMDxzh+9JwESIAESiCkBCnBME0e3SYAESIAE4k2AAhzv/NF7EiABEiCBmBKgAMc0cXSbBEiABEgg3gQowPHOH70nARIgARKIKQEKcEwTR7dJgARIgATiTYACHO/80XsSIAESIIGYEqAAxzRxdJsESIAESCDeBCjA8c4fvScBEiABEogpAQpwTBNHt0mABEiABOJNgAIc7/zRexIgARIggZgSoADHNHF0mwRIgARIIN4EKMDxzh+9JwESIAESiCkBCnBME0e3SYAESIAE4k2AAhzv/NF7EiABEiCBmBKgAMc0cXSbBEiABEgg3gQowPHOH70nARIgARKIKQEKcEwTR7dJgARIgATiTYACHO/80XsSIAESIIGYEqAAxzRxdJsESIAESCDeBCjA8c4fvScBEiABEogpAQpwTBNHt0mABEiABOJNgAIc7/zRexIgARIggZgSoADHNHF0mwRIgARIIN4EKMDxzh+9JwESIAESiCkBCnBME0e3SYAESIAE4k2AAhzv/NF7EiABEiCBmBKgAMc0cXSbBEiABEgg3gQowPHOH70nARIgARKIKYH/B7Agk9CLB7I0AAAAAElFTkSuQmCC</pentrails><costumes><list struct="atomic" id="157"></list></costumes><sounds><list struct="atomic" id="158"></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="false" costume="0" color="255,35,24,1" pen="tip" id="163"><costumes><list struct="atomic" id="164"></list></costumes><sounds><list struct="atomic" id="165"></list></sounds><blocks></blocks><variables></variables><scripts><script x="10" y="13.666666666666742"><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="10" y="307.33333333333326" w="90" collapsed="true">2.2  Inclusive.</comment><script x="10" y="334.66666666666663"><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="10" y="459"><custom-block s="%s ≥ %s"><l></l><l></l></custom-block></script><script x="10" y="487"><custom-block s="%s ≠ %s"><l></l><l></l></custom-block></script><script x="10" y="515.0000000000002"><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="10" y="545.3333333333335"><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="10" y="911.6666666666667" 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" y="984.9999999999998"><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" y="1015.3333333333333"><custom-block s="%b xor %b"><l/><l/><comment w="117.33333333333333" collapsed="true">exclusive OR. FTTF</comment></custom-block></script><comment x="10" y="1045.6666666666665" 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" y="1635.0000000000005" 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" y="1864.333333333334" 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><comment x="156.3333343333334" y="10" w="188.6666666666667" collapsed="false">Pen size not required by the lab, but makes the writing much easier to see.</comment><script x="499.66666666666663" y="239.16666666666663"><custom-block s="maximum of list %l"><block s="reportNewList"><list><l>7</l><l>-5</l></list></block></custom-block></script><script x="488.66666666666663" y="288.16666666666663"><custom-block s="minimum of list %l"><block s="reportNewList"><list><l>7</l><l>-5</l></list></block></custom-block></script><script x="452.66666666666663" y="511"><custom-block s="sum of list %l"><block s="reportNewList"><list><l>8</l><l>12</l></list></block></custom-block></script><script x="636.6666666666666" y="445"><custom-block s="average of list %l"><block s="reportNewList"><list><l>1</l><l>2</l><l>3</l><l>4</l></list></block></custom-block></script></scripts></sprite></sprites></stage><variables></variables></scene></scenes></project><media name="U2L3pp1-3-Predicates" app="Snap! 7, https://snap.berkeley.edu" version="2"></media></snapdata>