<snapdata remixID="13039638"><project name="U2L3pp1-3-Predicates" app="Snap! 9.0, https://snap.berkeley.edu" version="2"><notes></notes><thumbnail>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKAAAAB4CAYAAAB1ovlvAAAAAXNSR0IArs4c6QAAFHtJREFUeF7tnXdcVMfXxh+WtoBYYzQmYowdezdojL3wWtFYsAIqIqggVhABGyUWRERFxYJi12ALaqxRY4li5RcltliiMYkahF3a7vuZi+gCW27bXcrcvxJ3Zs7Mc753ypm5g4lSqVSCPlQBIylgQgE0kvLULKMABZCCYFQFKIBGlZ8apwBSBoyqAAXQqPJT4xRAyoBRFaAAGlV+apwCSBkwqgIUQKPKT41TAMViYM924Nkz9aWZmABj3IBy5cWyVmLKoQCK4cpnTwGn3oDzGPWl7YgDNmwD7BuJYa1ElUEBFMOdd24Bs6cBB4+rL61vNyBsBWDfUAxrJaoMCqAY7vz5DLA+Gti8kwLIUU8KIEfB1Cbftwv45RzwfSQFkKOeFECOgqlNHrsW+PM54B+sAcDuQFgEHYLVqEMBFAPAyCWAQgl4z6AActSTAshRMLXJVyzJ/eep0ymAHPUUD8A/HgFTJwIxW4DKn3KsRjFPTgHk7UDxANy7EzhxFFi1ASCB19L0UAB5e1s8AMMXATY2gKc378oU24wUQN6uEw9Al+G5OwHde/GuTLHNSAHk7TrxAOxbikMNFEAKIG8FxMhIAeStIu0BeUunkpECyFtFEQEsxRvuFMCiACCdA+olEP3mDTBtEvDqL/IZt4qjyYUW7/+fhL3WxALVvuANgrEyitgDUgD1AmDy7dwA/4q1mhmZ6g6sWFMszxtSAMV49fU5BCffAWZNBQ7+pLmmxfi8IQWwRABYfEcfEQEsxYuQyKVATjbgM0v8wwhMD+it+bQ1sUh7QCJC8X0LBXeCZB/83BlgebSeAKRDsG4flWYAU+4CE8YApy6KD+DTJ8CIQcCZy3QOqJXC0gygQgG0tgeO/gx8UrmwTEK0efsW6NwWuPYbBVA7gKV4DkiEcRsBDBul9jDG/e++RZWFUShTr7HukURdivrVgdsPATMzDT1s8dWeLkL4IVE4V9gCoFw5YOKUQr8FezSHy/SNsKvVjJ+11g2BYz8DFSpqAZB8c1L8vjsWEcBSvAghWGiJBQoGsGdHIHoDUKuO+HNMfq+EaLkogGJJqU8Adc0haRimlIdh9N0DUgBZdBO6RGJRRLFOos8e0MMV6OEIDBxMh2CNkFAAc6VR82mm4DlgXCxADiWELKMAUgA1KKDPHpC5fcsROH9NbShG0a8blGERMG1QqlfBxTcWJcrQr08ASQX7dQcCFwMtWxeqbsT4lhg0ewOq8w3ziCIAv0LoKpifboVz6QLQNxZ2tZvztzZnGtCsBTB0pPhxRv61EpxTNADfDuiCsiErYdKglN6BpwXAJTO7wXH4HNg378rfYasiAFk6MN2PAqhOxQUTm8N1+iZ8Xrspf5GLcc5fYhcwtf/aNaBQK9aFOKNJ2z5o28WZfwsP7geO/QisjKEAqlNR8EqPv2uKRM4DcblXs/UbFVioPtuivPCZXQN06efJv66/3wM8XIDj5ymAFMDCCiS8B7C/GgD3bfSHpaU1/s/Znz+AOdl426oOyp67DRNyBYrKU5xfftHmgMVZBP5UfMyprQdM3BWO1Ld/47vx4YJMhXq2wRCP5fiqUXsKYEElKYCah+Azh9ficco1jPbW8mUbCzQ3LRuHr+q3QUfHCflSh0/vjN5DZ6Jx694sSilaSWgPKJI/tPWAV3/ei0un4jFp3l5B1g7FL0KGPA2DXBfnK+fIjhD89/ovDPNYLqh8vpnTUv/FyQPR6DZgCqxsynIqhgLISS7NibXNAVNun8Oe9bMwJ6LwAoKL+cuntuPquf3wCNiVL9uLp3exbFYPhMY9gERiyqVIUdL+cf86Iuf2wYL1d2BlU45TmRRATnLxA/DvF48QOq0DlsQ/FWTt0b2r2BwxHoHR1wqVE+LdHv1HBcG+ZXdBNvhkJgBuXOKCwNVJnLNTADlLpj6DtiFYoVDAq78tIva8goWlNW+L2hxtzGGYAsjbpeJl1AYgsTJvfEOMnxOP6l/xD9Q/uX8D68NGIjjmVqGKv3h6D99P74Q5ERfwSdUvxWsYi5IogCxE0neSQ9sWIDs7CwPGzFdralWwE7MT0uobDWf6WFRQLkuF77BqWLnvNSSmhT9QOrRtIR7evQyv4ASYGPCebgogC+fpO8nRPUvx9p8/McT9/Z9sKGBwe/RUfFK1Jro7CbtD29+lHjyD96OanX2hJmVnZyLM5xs4dB+Dzv0m6bvJH8qnABpMas2Gzv64Dg9/u4IxPoX3akkuMkdLf/cGg8eFCartmoVD0KK9E9p0Hqa2nOePk7Hcrxe8gn5AjTotBNlim5kCyFYpPaa7fHoHrl9IwAS/7WqtXDi+BclXj2Pc7DhBtdgb6wdLqTX6OM/VWM7Fk9uQuDMcs5efg9TaVpA9NplLFYDnEjfg31fawxkqVzd+0M++RTfUbph/C4uNuGzT/C/pBNPL+Yapv0aNxAJ3x8yAX+QvbItUm+7skRg8+O0yxk5br7WcTUvdmAssx/pqTyeoMu8zF2zb7SuJkFqXRe2GDjqLL1ZhmJuXDmHH6mlo13WEzoapJrh74zTqNe2k9qQKp4K0JH5071fERXogIOqK2lSpb15hrlt9rNj7jyCTxNm71vrCf+UlreXI01MR6tMBvYbORLsu3PTiWkHVl+LUgWjEr5qMviPnsdK72AD4z8vHCPF2wPg521CvSSdOGukKkXAqTENiNsPQ5IHlEbr5AWzKarjhgEVF/nv9EoETGmP5bnJlr/aH7D9HBQ2Az+JEVKtReNGiKz/b38kuD+nxHIfNRsA4e1T81A51GnYoWQCycbAmwYoKgIHuTTBuZhyq1+IfCyRtnNSvDJbvegFLaRmdjJxMiMKNi4fgE5KoMy3fBMtm92BW3Ta2lRAf5YUWHZyYotSdjSxoo9j0gEIAJPu05DpvNoLwdQKb+ol1YmjeuIYY47sBtRq001ldNvXSWYiWBPdunUXs92MxL/oqzh/bjJdP78G2QhXWelMAhaivkpeNo8UCMGFLEFLf/IWRUzRciMmxXkIkCJ/eCR16ucKh22jkjTR55bF54UsFgEVlCBYLwLevXyDIvSkCVl1Fxcra/zQDmxeDL4BkPuo7/HN4LzoC2/Kf4syhtShbseqHPyZBAXyvbEkDkDRrR7Q3LKQ2cHJdpJUffQJIYp8xi4ejyuf1YCG1wosnd9FraO492WynPLQH5Pv6F8jHxtFi9YDEdN7hg/kxt2BTtpLGVrCpF18JyIt9IC4I86KTYFe7GUj7mjsM+FAc7QFLcA9ImrYudCRsbCvA2XOlQQF89ugOkq8dR9L5/Xj5LAXz191h6kHmg/WadqZDcEFvlLRVcF77yBxsVdBA1G3yLQa5haiFUKweUKlUghy4OPFDJCQmEjRu0xvlK1VD0oUDCFiVG3zfuNQNlT61Q95OFO0Bi1gPONetAdz9dwg6E1iQMvK1XYRfb9So2wKD3UJhXaZCviRiAfjk/nVE+DtiyvyDqFG3JWODQEkWROUrfsb8/75Yf5iZW9AhuKCTisIi5NWfDxDq3QHh8X/AVM1ZPr7zMJLv9zvncfrQGiRf+wnTw0/k2/Ug5wO3rfTC3Cgtf+aBhXE2INMwjAYhiwKAx/Yuw8unKRg1dTULd/NLQj6Az8qQYejEj/cIJl1IwLmjsZgcnMCv0Pe52ABIXgTykBeBPHQILkJD8Ap/R7Tv6YJWHb8TBIK2zOTjp8VT22HB+mTY2ObuN585HIPHKVcFf5PMBsC8unF54WkYRiQctDmIOQkzrgHCtz6GpTT/tRoimf9QTOi0b+Dksgh1G3dk/u3IzjCkp77G4HGhgkxRAHl++kcmypuXe6Bi5c9YDQl8vaTNQScPrEfK7RNw13BYla9NdfliQkagaVtHtH1/BCt4xlnYNzbFd6OFnYUs8gDOce0FD/8w2Ak86aHJGVwEUC1j4dzHSH3qjvHTA1C7wJ0qYjpeU/1uJOVg0qiziNlijYYt2oppUm1ZcSsDUKlKTTgOcWV+b9ngHWK3W6FpM2EfrHPRP2EL+TDLBP1HF76qrmClRRuCO7T4D2s2StGo6cdluJhqcxGA2H39rxLek2R4/FCJ3QetUflT1T93L2bNcsu6f/chFs3ejtj9Hy+QfPhAgf490hC4SIpBQ83FN6qmxMVB6ZCYmGB2oBWeP1fAoWkaHry0hUQizPzdO68ww/M2DpzurLOg7xe+YtLMmKvm7+YVyC0agA7N36GnoznS0pRI+jUH6WlKJiCZ95D/7tPPHP7BljoboC4BFwFI/sXBGTh5PBu7DlijYkX9wkfs3byeAw8XGc4n5Z7R++ulEgN6psN5jDm8fPTzUqrTibSbPH6BltgVn4UD+7KwdQ//j+HzbBRsnzYnqtZBl7MFA6hUAktDMhAyPwM9Hc3Q1sEUzVuaonyF/E6XyYAh/dJx+ZYNqlTl/jpyEeDA/izM8c1A4mlrVLfjbkuXaOp+J/Wb6CLDhaQyzMs3uI8MjZpKEB4h5VMc7zyqzg+cI4e1tQlmBfB76VUrwUV/gwJIKubkmA4Lc2BHgjWaaJlreLjK0LCxKa8egY0AcrkSC+dlIGFvNtZstEL7jsLmPVwoyKvf2StlMHpoOqRSE6yLsxI89HGpQ17Pn9cDOjulY4izOQYMFj78s9E/r64GB5C8+aS/W73RSiuAPx7KRuj8DJy5zD0UoUuAK5dy4Ospxxd2JlgebYUqVfU/7BbsIYgOrduaMvPOHQlWDISGflSdX796KhLP2uDLmsJHAV36q7azyAJI/q4zWZVFx1rh6/bceidNAqSmKhmo9+3Mgl+wFCPHmsOAt1J80J3Ur0PLNDRuIsHhUzYoX97w8Kn2gK4TLNCuyTs8eiXOd8ElAkAi0JqVmYhdm4nYeCs0asIewoICvH2jRPSKTOzenoVWbU0xP1SKqp8Zx+mkXZd/yUGvb9OYHqdNO/btEruHzOt97GpIcPRwNuJ2W4liokgDSFZ/5NE1BOcpsXVTJoL8MuA51YKZE7ZuZ4oKOlaq6gBcHZmJ5q1MmcWPsZ/RQ2S4n5LzYRVsrPrkAXg3WYHuvc2YEUGMR3WRpas8gw/BXAEkDTh7OhuH9mfjf8kK/JacAy8fS0zxtdA4fHJ5A3UJJPbv+3dnYYq7HNVrmDCrYGM+xPl//6XE3l1ZuJFSRrSpABf9iwWAqk66cysHwwfKsDpW88qViwCGBODvV0p0bJ2GiZMtsHNrZpHoAZeHZWDoCHNErRNn+CV6ctG/2AFIGugzSY7adSXw9FYftOUigCEB9Bwng7k54Opu8SEOWNA+CUqfPpHNhET0/SwOysDWjVk4+6sNPqks3pyYi/7FEkBdleYigL6dnFf+s6cKtG+ehl+Ty+D5M0W+nZC8NGRLcPxoGerUkyBkqX6D0mnvlOjUNg39nMwRsEB48FlVRy766/KlarmCd0LyKsZlEaIOEF2V5iKAoQCcO1OO1FRgxWqp2iHqysUckOB742amWBol1fuWYMAsOaKWZWLGXEtmK07Mh4v+unxJARTBM2SfebK7HImnrFG9hoQBMG8rjhS/aX0mFs3LQMgyKQYP0//Qe/liDkYOSke3Xmb4wk6iE8CsLDCLvxpfSlC2nO6hukgDyHYnRJvfdb01XAQQgS+tRTz5Q4HendIRuVaKLt1zQ0B5AP503gYzpshx/aqC2YqzbyR8F0JXe0gwnsQgx0+ywPNnuUdA1PWAZDpw8IdsnDuTjeOJ2ahUyQQz51qympty0X9BQAbMzIA5LHphOgTr8m6B32/fzIGLswzfDTfHTP+PwxxxUJ+u6bC2Bhy+McWKNVawLau7Z+FovlBysrtE9p5tbEyY/W9yKKQggP/+q8T61ZlYF52JNl+boks3M/Tua4Zqn7N/ObjEAd1GyNC5O7sYZIkG8NaNHOzblY1nTxT4PUUBcljBewa7N76gp8mpn62bshDsJ0dQiCVGjs2/Wie9y+qVmWjURIK+Awy3HRg4W46LF3KQcNQaUisT5hjayxdKuLnnDvs3rysQGpyBdh1M4TMzN/DP5+HSAzap/Y45BlffXjfgggG8/7sCA3umw7Ys+50QfS9Cnj5RYPIEOTMsjnKxQN16EtSqK4GVFZiNeTZzHtU6km2/CWNkzBm/ZVFSZvelKDwbYzJBdoMSjlnjs2q5zo7bmIXVkbm9IHk+qSzB7HkWcOggbLeILYBkeuLQLA2P/2Z3CFYwgDKZEnaVUhkns92K0xeApJci+5+zfOQYPNwcXt4WOrf42ICU+p8SO+OzMNrVAhaGO1uqtWqJh7Ph6yXD3iM2qN9Ad0/Dpp3a0rAZgklnNHaoDN16mTKnwNk8ggEkRqpXTIWtrQlzBEnbeUBtFVr0/iSvv4aJq6438M/nCsyYKselCzlYEilF/0H6X3myEVhfaXy95Mw8tB3HU0V860P0H9g7HW4TC7+B5HMHczMgfGEmJk6xYLZU2T6iANim0Tuk3FMw5/yMBaBjl3RmiCUrT0McwWcrcElJR+a45CST6mcWpG2ZGUpmRV3zK1O4eZijc1duQ70oAJJVD/n+4HySfgFUjbOpOjblrgJ9u6fhzkNbmBaN6VlJ4U7v7RAFQBL3CV+YIQhAIXHAID85ZOlAmIG/v9C7d0qBAVEAJPCEBAkDcPuWLOZazeGj1M/d1M0Bk2/nYMfWLMRvyQIJAItx9LwU+LxINbHIAKhLFRLT69o+DZ5TLZnTJ79eymHCLOSzR+fRFqxiTrps0N8Nr4AoAK6NysT0yXJs3WuF/k76WX2SEAv53PLOTQXTU9asKcHAIWZG+fDH8G4quRZFAZAsAlo0eMfs/Yl9CqPkSk9bRhQQBUBSULf2aejSw4wCSLnipIBoAAb7Z4Dczkp7QE76l/rEogGoK4xS6pWmAqhVgAJIwTCqAhRAo8pPjYsG4MXzOYyahtocp64rGQqIBmDJkIO2wtAKUAANrTi1l08BCiAFwqgKUACNKj81TgGkDBhVAQqgUeWnximAlAGjKkABNKr81DgFkDJgVAUogEaVnxr/f574CE1CNcLkAAAAAElFTkSuQmCC</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="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><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="101"><pentrails>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAeAAAAFoCAYAAACPNyggAAAAAXNSR0IArs4c6QAAIABJREFUeF7tvQt4JVWZ7/1ftZO+ZKeTNAPdjYJ2NzjijCiIjqD0TJrsfIijZ8CRERyRXMAbXvCCQAt2kKvAKCjegOzEEQdGVPy+UdGTBOKAwniDET7lnEOnewaVdIN0ks5OX5K913mqdu1OZXcuu/Zeqy6r/vt55hnsVL3rfX/vW/WvtWrVWgL8kQAJkAAJkAAJBE5ABN4iGyQBEiABEiABEgAFmEVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkgAJkAAJkAAFmDVAAiRAAiRAAiEQoACHAJ1NkoBuAhKow8a1nwDk8mJblttkwfPf9j+V/2+vZwv8rYC92DF6qwD2646D9knAZAIUYJOzy9gSS0BuXLMVwuopApAA3EtdSkB4Lvvy/+0lttjfULhUbNt1Y2IBM3ASUECAAqwAIk2QQJQIyLVII732aUCsK4qvrb+KBVgWesTIrquiFDd9IYG4EaAAxy1j9JcEliAgN669DEJcX+z8ylFAfHX2lBqGoAVaAef/AAow65AEaiZAAa4ZIQ2QQLQIOMPPED3FYWd5gxjZebkKD+cMa1OAVSCljYQToAAnvAAYvnkEigJsv/+1h5+lsqHig8JuD2dTgM0rHEYUOAEKcODI2SAJ6CUwt6eKHjEyquRdrdy4bisEihO7pDq7emnQOglElwAFOLq5oWckUBUBecy6mwB8wjm5IK8U23deU5WhspMowCoo0gYJzBKgALMaSMAwAnLjuj4IdLg91S4xMtqnIkQKsAqKtEECFGDWAAkYS0Aes+7B2dnKsl2M7BxUESwFWAVF2iABCjBrgASMJSA3rn0CQrzSCTCfP1HseO5xFcFyFrQKirRBAhRg1gAJGEtAblz7LIS9CAeAfQeOFn944fcqguUsaBUUaYMEKMCsARIwloA8Zp27/BUgto0qm+fBIWhjS4aBhURA2cUZkv9slgRIwENAvviwo7Bi2TPOP0k5KkZ2HqkKEAVYFUnaIYEiAQowK4EEDCIg1x9xAlKpx1wBflKM7DxeVXgUYFUkaYcEKMCsARIwjoDcuDYDIQbcwIbFttHNqoKkAKsiSTskQAFmDZCAcQTkxiM6AStbHNwq9IuRXZ2qgqQAqyJJOyRAAWYNkIBxBOQxa64ErM84gRUKN4vtuy5RFSQFWBVJ2iEBCjBrgASMI6BTJHXaNi4RDIgEKiDASVgVQOIhJBAXAjpFUqftuPClnySgkgAFWCVN2iKBkAnoFEmdtkPGxuZJIBQCFOBQsLNREtBDQKdI6rSthwatkkC0CVCAo50fekcCvgjoFEmdtn0FyYNJwBACxguwBJZj/ZqPwMJKFDCKHbt6BTBjSP4YBgnMIXBwvebiZ0g9YmTXVaoQUYBVkaQdEigSMF+AN6y5BJZ1oxOtlIDEBWL7zl4WAAmYSEDnjkUUYBMrhjGFScB8Ad649hsQ4l1FAXZE+EKxfeedYUJn2ySgi4BOkdRpWxcP2iWBKBNIggDP7o0qCz0Y2XUth6CjXJL0rRYCOkVSp+1aYua5JBBXAkYLsDziiEY0pfYcTM5EfpV47rnJuCaLfpPAUgR0iqRO20vFxb+TgIkEzBbgjUecCpF6qDj8LJXuDGNiMTCm+BPQKZI6bcefPCMgAf8EDBfgtR+BELe4AnyXGNl5nn9EPIME4kNAp0jqtB0fwvSUBNQRMF2APROw5MViZOet6tDREglEjwA/Q4peTugRCSxEwHQB9kzAym8SI889zFIgAZMJ8DMkk7PL2EwjYKwAcwKWaaXKeCohoHOYWKftSmLjMSRgGgFzBXjDEZsgrH8vrjXCCVimFS7jmZ+ATpHUaZv5JIEkEjBYgNdugSWudZIqJSdgJbG6ExizTpHUaTuBqWLIJGDuUpS8WbC6k0hAZ93rtJ3EXDFmEjC3B7xx3VYI9BR7wOgRI6PKFqVn2ZBAVAnoFEmdtqPKk36RgE4CFGCddGmbBAImoFMkddoOGBObI4FIEKAARyINdIIE1BDQKZI6bauJnlZIIF4EKMDxyhe9JYFFCegUSZ22mVYSSCIBCnASs86YjSWgUyR12jY2IQyMBBYhQAFmeZCAQQR0iqRO2walgKGQQMUEKMAVo+KBJBB9AlwLOvo5oockUCJAAWYtkIBBBLgWtEHJZCjGE6AAG59iBpgkAjqHiXXaTlKOGCsJJKAHvGYrIHqKa0EXesTILi7Ewbo3noBOkdRp2/jEMEASmIeAwT3gNVshLHclLAowqz8ZBHSKpE7bycgOoySBuQQMFmAuRcliTx4BnSKp03YQmZJAHTauvQQSDRBiBigAsNymF/rvkmfev5d7W/a3AvZix+itAtgfRFxsI74EKMDxzR09J4FDCOgUSZ22dafSFd97AXGmvTj8wZ9wb4FSAvP9d+lA79/LnZ33b4VLxbZdN+qOi/bjTYACHO/80XsSmENAp0jqtK07jXLD2itgiauddmzBLP10CbDkay/dOTXBPgXYhCwyBhJwCegUSZ22dSdQblh7NQSucCZlCjkMKYaVD0EL2QqI1qLIU4B159QE+xRgE7LIGEjgoADrm/0fawHeqH9S5sFFUOxeNQWY12QFBCjAFUDiISQQFwJciGP+TAXx8KCTfVzqj376I0AB9seLR5NApAnoFBqdtnVDDcJ39oB1Z9E8+xRg83LKiBJMgGtBh9kD5qePCb70qgqdAlwVNp5EAtEkoHMYNIhepC6qOh9MSj7HmY8u7rS7OAEKMCuEBAwioFMEdNrWnQKdDyYUYN3ZM9c+Bdjc3DKyBBLQKZI6betOVRC+B9GGbk60HywBCnCwvNkaCWgloFMEdNrWCsX+LHej/vezQbShmxPtB0vAYAHW9z1ksCliayRQOYHZd532OVLpLmBxFpggfA9imLvySuCRcSBgtgBzN6Q41CB9VEhgrtCoXY0pCBFTiGKOqSB852dIurJnrl2DBVj/kJO5ZcHI4kpAbli7BZa41vFfyrvEyM7zVMUShIip8rXcThC+B9GGLj60Gw4BCnA43NkqCWghIDccsQlW6t9dAX5SjOw8XlVDcRaY2d6p82CidGi+xDfOfFTVCO34I0AB9seLR5NApAnII45oRFNqz0EnJ/KrxHPPTapwOs4Co3NongKsorqSaYMCnMy8M2qDCciNa58A8MpiL7jw12L7cw+pCNccAUaPGBm9SgUTrw1OwlJN1Hx7FGDzc8wIE0ZAblz7DQjxrqIA4zIxMvpZFQhiLsCdEMi6TPrFyGinCiaHCDBED7gbkmq0xtqjABubWgaWVAJy47pLIXBDUWzUTcSKtQAfs64DQJ9eAebEz6Rec9XGTQGulhzPI4GIEtA1ESvWArx+XStSeNBN2bDYNrpZdfrizEc1C9qrjAAFuDJOPIoEYkNA10SsOAuMpADHpn6T5CgFOEnZZqyJIeBMxBLCnYiV3yRGnnu41uBjLsDrkcJ2dwh6hxgZ3VArj/LzOQlLNVHz7VGAzc8xI0wggbkTseTFYmTnrbVioAAvTpArYdVaYck7nwKcvJwz4gQQkBvXfgRC3FLs8amZiBVnAXYwHLNOllIvto0qv/fFnU8CLovIhai8CKMSIS+GqGSCfoRBQG484lSIVPH7XymVrIi1/bjDtq6fXtZjm9xRf6Bnw1MvKP+WVicr/QK8Ziu4/rzOFBpn22ABLu2G5NyBtCw9Z1w1MCBjCOiYiPWB07D1dbmVjgD/Ir2358sPIF4CvHHddgisd5KcxwaxY3SHyoRzCFolzWTYMluA+TSajCpmlPMSmF0RSwAyX/OKWF0ZbBUCjgBLiZ7sIAXYC54CzAvRLwGDBZgfxfstBh5vFoGyiVhbxMjO62uJMPYCfMw6+zvgVrcHvFnsGB2uhUf5uZwFrZJmMmxRgJORZ0aZQAKq50FQgBcvIvaAE3iR1RgyBbhGgDydBKJKgAI8NzNy47o+CNhLUtq/TrFttF9l7lTzVukbbUWTAAU4mnmhVyRQM4GDPTLYl3mh5omIse8Bb1zTB4gOODzyXWLkueLa0Ip+FGBFIBNkhgKcoGQz1GQRUP1O0gAB1vqZEAU4WdeXimgpwCoo0gYJRJCAakGIvwDrnZipmncES4ouKSZAAVYMlOZIICoEVAsCBXjxzKrmHZU6oh/6CFCA9bGlZRIIlYBqQaAALyXAXAkr1IKPYeMU4BgmjS6TQCUEKMBzKanmUZ4DfoZUSVXyGC8BCjDrgQQMJaBacOLfAy4tT6tmVvihAqz3HbOhZZrosCjAiU4/gzeZAAV4sR5w7Z9lUYBNvnqCiY0CHAxntkICgROgAJcL8NrLIcR17r/+SGwbPUNlUlTzVukbbUWTAAU4mnmhVyRQMwEuxFEuwKtfArH8v5x/ldiHPfkjxHPPTdYM2jVAAVZFMjl2KMDJyTUjTRgBLsRxaMLlxrWPQYgTnL/k5Zlix87/V1VZUIBVkUyOHQpwcnLNSBNGQLUgxH0SltPx3bD2aljiimIpyDvFtp0XqioL1bxV+UU70SVAAY5ubugZCdREQLUgGCHA69eejJR4pKi/clSM7DyyJsiek1XzVuUX7USXAAU4urmhZyRQEwHVgmCCADu6u3HtsxBinTsMfYrYsfPRmkC7J6vmrcIn2og2AQpwtPND70igagKqBcEYAT5m7R2AuMABW5DXiO07r6waMnvAKtAl1gYFOLGpZ+CmE6AAz59huX7NmUhZ97nD0I+LkZ0nqqgF1bxV+EQb0SZAAY52fugdCVRNQLUgGNMDPuKIRqxKPQfIFQ7cfdMvEX984ZmqQbsnPnvc4VvXTdf12P9zpP5AzzFPvXBVrTZ5vtkEKMBm55fRJZgABXjh5MsNa+6HZb2pOAxduERs33VzraXyntOw9dTJlT0QwMPpvT23PwAKcK1QDT/fYAHWu+6r4XXB8AwgQAFeRIA3elfFkreLbTvfW2vKTRkhqJUDz6+cgNkCLCxnOAhS/bqvlSPmkSQQDgEK8CICvH7N6UhZPyreH+RPxcjOU2vNEgW4VoLJO99gAebOJMkrZ0bsJUABXkSAjz78RVhW9wdXgMfEyM7VtVYPBbhWgsk7nwKcvJwz4oQQoAAvnmi5ce0YhGh2jjow82LxzPN/rKU0KMC10EvmuRTgZOadUSeAgHIBbsOVwsJnim91cFN2CJ+MM0Z5zNqfAuINbi+4XYzsHKwlHgpwLfSSeS4FOJl5Z9QJIKBBgLuFwJ2OAEv0Z4fQGWeM8pi1twOiuBa0lBeLkZ231hIPBbgWesk8lwKczLwz6gQQUC7A7fgfAnB2D5IS388O4q1xxig3rv0ohPhcMYbaZ0JTgONcDeH4bqwA7z12zdZfpPc5s6Bfl1vRs/LpXfwmL5waY6shEVAuwG04RVj4mSNXwH9kB3BySKEpaVZuWNMOy/qfbg+45pnQFGAlaUmUEWMF+OpT67buWDnjCPD6vXU9Vz48QwFOVGkz2OmNa7b+rGlfTwHAqRMreupHansI7WjHy1LA/y4KFrb1DuLYOFOWimdCU4DjXA3h+G6sAPNiCKeg2Gp0CGz5a2vrzuUF5yF04966nk/V+BDa0YqWVD12uz3giewAijOIY/xTOROa95wYF0JIrlOAQwLPZklANwEdgtCdwQEI1EsJWbcby2//FaZ1x6HTvsqZ0Dp464ydtsMnQAEOPwf0gAS0ENAhCF0ZPCsEnL10JfDi7ABq+nZWS+A+jKqcCa2Dt49QeGgMCVCAY5g0ukwClRDQIQhdGfxGCBxvty8KePWdQ/hNJb5E9RiVM6F18I4qN/qlhgAFWA1HWiGByBHQIQhdGTwgBDa7wWZ6BzAUucB9OKRyJrQO3j5C4aExJEABjmHS6DIJVEJAhyBckMG/SoF/cHvA59w5hH+txJeoHqNyJrQO3lHlRr/UEKAAq+FIKyQQOQK2IABw9qeFRE92sPb9absz+BIEPuAEK/Gh3kHcFrnAfTqkaiY0BdgneB7uXJpG/ngxGJlWBuWDgI5roLsNV8HCpx03CvhM75Aj8rH+TR+z9qc/W7XXWRP6pPEVpzdu31VcnMPnTwdvny7w8JgRoADHLGF0lwQqJaBDELoy+JAQ+EKxA4wvZQfwwUr9iepx//SG5bf/Nr3fWRP6ZXvrLr/s4ZkbqvFVB+9q/OA58SFAAY5PrugpCfgioEMQuttwDizc7QiwxLeyg3iHL6ciePAHT8Nle1O43o3pq9lBvL8aN3XwrsYPnhMfAhTg+OSKnpKALwI63gF3tSEjLAy4PeAHsgNo8+VUBA9+72a8eaYOP3Bck3i0dxCnVOMmBbgaask+hwKc7PwzeoMJ6BCErs14tajD425v8YnsIF4Vd4QdrViXqsezbkxj2UGsriYmHbyr8YPnxIcABTg+uaKnJOCLgA5BePdpeHF9Cr93HXm2dwAv8uVURA/uymC3EGix3ctP48j+YYz6dbXjNFyaSsF5fywlBrODaPdrg8cniwAFOFn5ZrQJIqBDgM/+CyxrejH2u8O1072DWGYC0u4MHoEobq+YL+CM/iH8yG9cTk+6Ds8AqAMwMzWDI+8exvN+7fD45BCgACcn14w0YQR0CLCNsKsd4wJocnuLq/uHMRZ3tF0ZfEUIvM+N4+LeAdxaTUxdGQwIgYzTCy7gguwQequxw3OSQYACnIw8M8oEEtAmwBlsEwIbHaTTeFnvMJ6OO97udnwEwC3u8HHVM6E7T8MFVgp3uHY4DB1CYZxxLJaveyk+IgRWCoHRbdPoHR7GTAiuLNkkBXhJRDyABOJJQJsAt+NRAbze7eW9ITuER+JJaNbrjja8KWXhfudfapgJfW4rDm+ow7MQqIPkMHQYddHdhsth4bpS21EeiaAAh1EhbJMEAiCg4zMk2+2uDL4vBP7WCSGP/9H7AP4tgHC0NqFqJrTLh8PQWrO1uHHvg6d9ZCGPC/sewJ0hurRg0xTgKGaFPpGAAgK6esDd7egD0OH2Frt7B5FV4G7oJlTMhLaD4DB0uKksPXiKorrds20a53EIOuCc6Hr6DzgMNkcCVRPQdQ10Z3ATBD7h9C4K2No3hM9U7WSETrRnQkvgZGeF/DzenH3AHZL26SOHoX0CU3z4QQEuToTryT5Q+yYkil08aI49YF1kaZcEQiagqwfc1YYrhVUUXSlR9YSlkPEc0rx3JnShgC19Q8XlKav5cTZ0NdTUnDNHgKFmFzA1nh1qhQKsiyztkkDIBHT1gLsy+HsA33bD+1F2EGeEHKqS5lU+sHAYWklKqjKiMo9VOeDjJAqwD1g8lATiREDXjaijFSek6vGY0wMGnsoO4BVx4rKQryp5cRg6vIpQmUfdUVCAdROmfRIIiYCuG1FHK1pS9djtCLDE3uwgGkIKUWmzqnlxGFppeio2pjqPFTdcxYEU4Cqg8RQSiAMBnTciVTOGo8RRNS8OQ4eTXb4DDof7nFZVX0wRCIkukIAvAjqvge52Zwj6BNuhvMQp/YN41JdzETxYNS8OQ4eTZNV51BkFe8A66dI2CYRIQOeNqDuD+yBwphNeAef2DuGeEENV0rTTcxLoEdJ5t92THaz985WyYejrskP4lBJnaWRBAjrrXjV2CrBqorRHAhEhoPNG1JXB54XAxXaosoBPZ4dwdUTCrtoNHby6M/goBD7ncJLYV5jBif3DeKpqJ3nikgR05HHJRqs8gAJcJTieRgJRJ6DzXVhnGz5sWcUdgyTQnx1AZ9R5LOVfZwafsgSuccXy9uwg3rvUOUv93d4Y4Mj1+JkAXiMBe42PR7fNYFNUV2ZaKp44/F1n3auOnwKsmijtkUBECOjsCZRtXjDcO4jNEQm7ajc6MzjdEgf3Af5p7wBOrdqY58SOVhyXqsNjEFhh/7MAPnHnAP5JhW3aOJSAzrpXzZsCrJoo7ZFARAjovBE5olKP37k94B3ZAWyISNhVu9HVjhcJ4A9uD3gsO4jVVRsrO/GCdnxcAje7tjkUrQrsPHZ01r1qtynAqonSHglEhEBnBp2WOLhRQn+vwmHijlassOowJQSEve3ethmsNGFYtTuDMQg0uw8WL84O4I8q0tnairpj6vAQBE52RfjXIzN4vQnMVPBRaYND0CppVmkrTk9BVYbI00hgUQJd7egQcHYusn9KBdg22JXBs0Jgnf3f+Wls6B/GjrinpKsdPxXAGxyRLKA9O4RBVTGVD0XLAj6bHcJlquzTTpFAnO797AGzaknAUAIdGbSmBB50wpNQ/p7W3j2o1KPLS2zuH8Rw3FF2ZXC7ELjQjePi3oHiRDNVv652XCuALW5OZpBHa++D+Kkq+7RDAY5EDcTpKSgSwOiEcQS0C3A77gZwjtMDlujuN2Bf4M4MPmrNfjakZCZ0WWFZXRn8RIiDE7x+n5/G8f3DGDOuAEMKKE73frN7wEBP8eFfzUf1IdUTmyWBqgh0tGJ9qh7b3WtA+USprgyuF6I4hColbsgO4vKqHI3QSRe0oV1a+J+uS8pmQntD7GjFOqse/ymANQ67Au7LDuFtEcIQa1cowBFIX5ySEAFcdMFAAroFuLMN77EsfM1Fd0/vAM6NO0adM6G9bLrb8CZY+AEAy/135cPdcc9Ftf7H6d5vdg9YuD1gyR5wtcXM8+JNoLvdHgAq/noH7E9Q1f3Khrgf7R3EKeqsh2dJ10zo8ojmjCAABzCDv8o+iP8ML3IzWuYs6AjkMU5PQRHARRcMJaBVgL1D3BKj2UEcaQJGnTOhvXzOPhupVWPOKll/5fy7xP+We/Ha7E+xxwSOYcUQp3u/0ifisIDP126ckhAlbvTFLAJd7dgugPV2VKo/FXK/bd0LgTopIQszaOgfxr64E9Q9E9rLx31N8GvAXfRD4l96B/GPcWcYpv9xuvdTgMOsFLZNApoJ6BRg2/Uy+68wYaOBAGZCz8l6RxvOTFm47+A/FtDRO4Svay4NY81TgCOQ2jglIQK46IKhBLozeBACrU4PWMO3unPsF3BG/9DBtZRjSzSImdDlcLoy+IoQeF9xJBq5wjRea8LDTBhFEKd7P3vAYVRIhNu0hxU31uOTkKiPsJuQAntHt+PW+5/G/ij7GbZvugW4qx19Auhw4izgot4hfDnsmGttP6iZ0F4/P3QGlk9N4+cQeJXz7xKPN9Tj5C/ez/r2m0/vwwwK2NI7hOsXsuHuVvVhCNSPTOPGoJcGpQD7za7hx3tnZjrzZ90KkRIQVVTLUuct9ff5cJfOKRRwad8QbjQ8JTWF193uLEXpCKQEOrMD6K/JYNnJZb2NW7KD+KhK+2HZCmomtDe+zjb8hbDwcwGknXxJfDU7iPeHxSCu7dortEngZPt2JQt4c/YB3D9fLF2b8XJRh28COMnl/cnsIG4KMu4qbqlBuld9W3Eahqg+SrVn2mvVWnV4TLjbpnkFeM5/+2nWI+LznrbU3+dV4OKDgeTnZUtmoqsNfRDocHl19Q0eXBt6yXMrOaAjg3emhHMTsxX+e72DOKuS86J+jD0TGhJvcG/ip2cfOLg4h1bXu9twPqzZh6R8AWf1D+F7Whs1zHhXBruFQIsdVn4aR/YPY7Q8RLujAeBiACtKHYsw7icUYMOKr9pwnKHnOjwC4LVOQUo8LhG9C18ArRJoLbrI77uXyrfuB9GODE5OCadu7N/jvQM4cSmf4vB370xoWcCnskO4Lii/uzP4JgTe6ba3Oz+N15iw0UUQ/OxVxlL1eNZ5HpSYd0vJ7jZcDsvN58Gv5MO5n1CAg6iKGLTRnUEvBLrcnsy+/AxOjOIkEN2CEoNU+XJRN69Kbni+HI7IwV1t2CIsXOveyAMdWu96I1aJlfglBP68OLCAn+9pwRvuvRf5iOCJrBtdp+EMkcIP3fvYvIvDdLfjCQCvdHNrM03ZnQ72gBWmVfeNR6GroZpye763Q6DTvtLd4ZjrewfcHVtC9e7QxplXfwkJgldXxtkXeKXtWX4aq03YWKCzHedawL+4Avjt7ADO9ke+tqO7NuPVqHPeBy9zhcKItbZro7L02d3tuBTADS6zQ96hzxmxkdgngTsAfCisETX2gJfOqdFHdGdwBQSudgvWFuCv9w64s1ojGHkQghLBsKt2KQheXe34nQCOcwXYHjl5vGqHI3JiVwanCoGHFutJ6Xa1ux0fAXCL204BBfxtrwGfeenk1t2ObwB4l9vGZb0D+Ky3Pe+sfQn0Q2KHCHHJYgqwzmqIge3uDK6GwBWuq5FfUD8IQYlB2ip2MQhe3RncD4E3OQ9xebwt+4BnUYmKPY3Wgd6NLAD8vncAR4fhYVcbvius4sQ2CewqTOPV800qCsO3KLbZ1Y4nhCwOL+cl/rp/yH2IAvDuv8Kf1TXh9/bEK/vvBeAUCzidAqwhk0HceDS4HbjJuHGKm7+BJ7SswSB4eb+7LEhc2TeIa8KOW0X7OtfRrtS/jla0pOqdd5ZHOSIs8fCeP6Lt3t/iQKU2knLc2a1obKqfXUd7Yhqr7h3GZCn+rjZ8XFi42eX4ZHYQxwdxfSzGnz3gpFTnAnGGXYB+8cfNX7/xqT4+CF5R0Os3AAAgAElEQVRBtKGaSyX2utvxTEn4VK+jXUn7pWO6N+ONSGHYXnPbFY/Ls4PF95z8zRKY89oAeLJ3AMd7+XiHpwsSV/QN4tqwa5cCnPAKDrsA/eKPm79+41N9fBC8Sm04X3QY9G22vaADBE52RW9TdhAPq85Ppfa62nGbAC6yjy9IXNM3iCsrPTcpx3W34QZYziQs+3dX7wDOKxNg7+xnJ59BXB+L8acAJ6U6F4gz7AL0iz9u/vqNT/XxQfAKog3VXCqx19WOeyHxducmKXFu7xDuqeQ8Hcc4jIEe97PVnuwgrtLRTlxt/mMrjlpRh99BoNF9SPlY3yA+X4pnoeHpsGuXAhzXilPkd9gF6DcM218APWF9NuDX37CPDyK/QbQRBseuDD4vhLNakj0B6ursAD4dhh92m6YyVsWzqx13Q+Ic977wu2d34ETvOvEdbdhkCfy7u7Tuk1l3eDrs+wkFWFUFxNRO3C7suPkbdlkEwSuINsLgOGfSDvD0yDReEfRi/aW4TWWsIq9dbcgICwMlW1LikNcFXe3YIlBcWAUF3NU7VByeDpur0QJs95ScJx6D3kupKFivjbAL0G88cfPXb3yqjw+CVxBtqOZSib3zXoX0sjXYAYHDnft2Aef0DeFfKzlX9TGmMq6Vk72b0YvW4zelVcPme/e7mNCGzdVoAQ7z+65aCyuo88MuQL9xhj1k5NffsI8v8dL5IBq3GvKTE29sYa51bTJjP/koP7bs06KxwgxescDmC1vn04OwuVKAa8m+AeeGXYB+EcbNX7/xqT4+CF5BtKGaS6X2zm3F4Q11eAalHcKATO8Ahio9X9VxJjOuhVFXBvcJgTOdEYpFZocvxC9srhTgWrJvwLlhF6BfhHHz1298qo8PglcQbajm4sfenMlYEoPZQbT7OV/FsaYzrpZRaetBe49wt/f71Hy2KMDVEq7yPBZsZeCCGKKszJPKjmJeK+NUOioIXkG04S9qtUe/qxXHLi9+4uIshJGfdnYKC3S9a9MZV5Ox8zfjpLo6/NI5V2L/gV34s2/8BrmFBHi+OUFhc2UPuJrMG3RO2AXoF2Xc/PUbn+rjg+AVRBuqufi1Z3/mIoBzivd63JMdwLl+bdRyfBIY++XT2Y5PWyh+D233gAGMwt5gAdhXbsvZR1yg1U6eLcSl76jD5koB9pt1w44PuwD94oybv37jU318ELyCaEM1F7/2OlpxQqoej7m9rZn9M3jFXcN42q+dao8vjVTx+/dZgt0Z3Af3/a8twI6YuYDc732L6ZrdZrUk1BTgagux0vPiNrRaaVyqj4vbzTNu/qrOl197QfAKog2/ces4viuDASGQcW/qt2QH8VEd7cxnMymM/fAsvf/19ICL+5nbvVxv19L7v6Xz5zkCHObCPuwB+8m4gcfG7UGFNyJ/RRgEryDa8Be1nqO9Cz5IiX17Z3D03cN4Xk9rc60mhXGlLDtPw2usFH51UHwFIAt4SIhDZ6jbw89wh5/Ll/IMmysFuNKMG3pc2AXoF2vc/PUbn+rjg+CVpOHR7nZnGPoE98Yf2JrMQeRRde3ptOdd2cp5/2sLcB7X9D1w6CYVXnbleQubKwVYZ5XEwHbYBegXUdz89Ruf6uOD4BVEG6q5VGuvuw3nSIG77fMF8Hx+Bkf3Dx866ada+wudlyTGlbDrzOBqS+AKbw8YefRkHzh0kwoKcCVEFR/Dgq0MaNw4xc3fyrKg76ggeAXRhj5C/iy3tqJuYz1+J4BjnZt/AZ/ODuFqf1b8H50kxpXQ6TwNn7IsXOPkYPaEeUck5rArnsBJWJVAruUYFmxl9OLGKW7+VpYFfUcF8Y4/SUPQdqa62nClsPCZ0qcvhRls0N0LZt3PvUbefSr+vG4Ffi6A5pIAS4lL+4ZwY/nV1J3BFRDFhyQ3ZxRgfbecomUWbGWE48Ypbv5WlgV9RwXBK4g29BHyb7mjFStSdc4mDWvdm3pfdhBd/i1VfkbSGJeTcZjX442QeJMUeIsAjnPFtHiowP3PbsdZ3i0ISzY6TsPZloVvlSZI8zvgyuuu6iOTXrCVgosbp7j5W2kedB0XBK8g2tDFp1q787xX1PpZUhIZd2dwoiu4b3BnMjfOly+nB7zIjnddrXitqMcviodxCLramvd1XhIL1hcg9+C4cYqbv9XkROU5QfAKog2VTFTZ6m53Vl06v2RPSmgT4SQM89vbP9YdgYssgVMk0CoEWjxsi9/4HvwHTEJgDBJHOaJamH8Clv0nZ0ONejxHAVZV+RXYSepNoQI0cw6JG6ck3Ij85nCx44PIbxBtqGSi0pZ3owbnBq9JhE1mbE9sOyaFLVLgA2J2WH+O4LrveZ8SEt+XEj8u5PGwVYdLK11EozuDPRBwetCybBJWpTZU1k3JFj9D0kE1RjbjdmHHzd+wSyEIXkG0ETbHJR5yPi8ELnZv7vYwZ1+f4nfCpjK2xXdDHb4tBP6uNJ3Z7ukeXNtZYBgS/wmJb2WHMOLNQ1c7LhLAbU4HOI8L+x7AnQvlqbsdTwB45XwCHOa+8RTgKF/ZAfgWtws7bv4GkMJFmwiCVxBthM1xqfbtnjBQFGH3952RGZwzPIyZpc6t5O+mMp5nhrK9ocJXpcS9fUP47WJsnE/CLFwgUpDbptG7GOuuDP5NCLyFAlxJtSk4xtSCVYBmjom4cYqbv6rz5ddeELyCaMNv3GEc35VBFkCnV4Snd+H8hbbI8+OjqYy7M7gapQU1gPsL03ibjk+6ujP4IgQ+SAH2U3U1HGtqwdaAZN5T48Ypbv6qzpdfe0HwKtuk4PLsIG7w66cpx3dn8AMAby5tBiAlRoXADflpfK0WYQkij2HkoDSnw93FSNvSngvxC5srh6DDqLoItRl2AfpFETd//can+njdvM5uRWNTHXZLoM6+mUwDL/3nQfy36jjiYq+7DZdLC9fNmbDr7lUrBL6ybRrXVTMsrTuPYfENKi6nHaCHmzEElOmgEhtQONqaiRunuPmrLXEVGtbNq7MN77IsfMNxR+LR3kGcUqFrRh52xrFYvu6l+JgQaALQIQTWzdkdr4AtvUO43m/wnRncZAl8wuV8Ze9gcRnGuP9012eJD3vAAVdKUIkNOCzlzcWNU9z8VZ4wnwZ18+pqx90COMd2qyBxRd8grvXporGHu6s3vVdKXGYLcfEZBU9lB/AKv0F3taEPAh12z7oAdPUNos+vjSger7s+KcAhZT2oxIYUnrJm48Ypbv4qS1SVhnS+Y3OXZHyu9H1lfhqv6B/GU1W6auxpZ5+Cw1alsa20sERB4k19g/ixn4C7M3jQ2dO2uAFEe3YIg37Oj+qxOuvTG7P9agAWrnMeFAuza0aHfT8x+h2w/YG17pf7US3sSv0K6gKo1J+ljgv7glnKv6j9XSevjja8KWXhfjfmp3sH8LKoxR8Vf7wLdkiJ72cH8VY/vnm/Y81P48T+YTzu5/yoHquzPr0xl14NWBbyf9yOW0trRgfV/kL8jRbgMD+wjmrBl/sVdgH65RQ3f/3Gp/p4nby623EHgAucXpnEDdlBXK7af1PsvasVxy6vx/8pxbN/Gi+7axhPVxpfVwbPloax903j6G8O4/eVnhvl43TWZyVxlzog7kYN2mZhU4AHD92ouZIEmX5M2BeAX75x89dvfKqP18nLKwpSYlN2EA+r9t8ke2WLQfhaN7q7fXbb296B0kdO8aejsz4roRN2++wBV5Ilg48JuwD9oo2bv37jU328Ll5dGZwqBB5ye7+j2UEcqdp30+zZQ/aWODhkP7YHWH/vIMaXivMfW3HUino8YyJrXfW5FNPS38NunwJcaaYMPS7sAvSLNewhI7/+hn28rvx2ZXC9ELjMje/O3gFcGHascWi/qx2/s/eytX31TgZazPeOVpyQqsdj7jFP9g7g+DjEWomPuuqzkrbtY8JunwJcaaYMPS7sAvSLNW7++o1P9fG6eHW3O+8zj7X9zRdwRv8QfqTadxPtefMBiZt7B3HJUnF2tSEjLAw4x0kM9w5i81LnxOXvYU8C1XV9VMqfAlwpKUOPC7sA/WKNm79+41N9vA5eHa04LlWP37mCMJmfwRG1LLOoOuYo2+tqd77lLX3De1fvAM5byt/OTKrTEnl7nWn71987MGe96aVOj/TfddSnn4DDbp8C7CdbBh4b9hOoX6RhXzB+/Q37eB28OjP4lCWKKzFJ4J7sAM4NO864tN+RQWtK4EE/vdnzT1v2qbrUgeLKVxX2muPCQ0d9+ok97PYpwH6yZeCxYRegX6Rx89dvfKqP18GrO4NHIHCy7WuhgPP6hnCXar9NtTdn9ACo6Nvp9leddfdL1t7nrDa2e+Ivtnz3P37reynLqPLUUZ9+Yg27fQqwn2wZeGzYBegXadz89Ruf6uNV8/LOyIXEzMQMVt87jEnVfptqr6MVLal67HZ7s5O9g1i1VKyN4vlnjnnRN44S1gy2j5550vj0y3691Dlx+bvq+vQbd9jtGyvAHadhq2UVV8Iq5NHT/wC/A56vOMMuwEovGHvz7SP2H7tlVXrbB4SQa53ROInAP5yv1N+oHKc6v21/+fb+9S/69vnF3m/qwb6h/GlRiTUufnRnsBcCK2x/J6axarEHmBXYvb4O1vZibHJyEs2rATETl1iX8lN1fS7VXvnfS6/guBCHX3JLHB92YhWHo81cXDidfsKbv37UET98t5SAcB8bpUSi956tpChU5jeNiY+//CVfuvnElxcXvHph/PiP3ffzJz5fiR88ZpZAVzu2C2C98y/TeFnvIitircT4OSngbkd+gcEcmttNYqmyPqvhEnb7xvaAwwZbTTGEcU4cOKUxkd1w5F2dr3/lB+xer/0bhcSXn/0v3Fha0zUMdnFoU1V+G7HnHUDhHiFmsP7Ib6Kl6Ynvp9bdcVY1e9vGgZtOH70bK+QlNvcPYnih9how/kUL+KD99wLQM4Xmq3T6FrRtVfVZrd9ht2+sAL/7tBVb/3v07B4p6/DSI+/u+ecH9hlVuNUW3HxDMFFeM7sB4/0W4Ax5Hnv07Ths1a/7XrLm7g/ws5fKKkDFDWYF9vxNCoVBAdS5rT48iabNJg2FVkZTzVEdbcvu3vHsO86x700vWfOtd3/jJ7nifsrz/NIYf0wAJ7g94DNyaDbqe2sV9VlLVt7+hmO3Nqef7rFtPLf7tT3/3y9/GahOGCvA6xp+sXVy6s8dsIc1/bLnvyfaAgVbS1EEeW7YF8DCsW5fkcbqLwOis1SkEqIvh6auIPnEva1a87sML7xyGaxHANHosnhqEvtfB6zhxKsqi2N9y/c///zYpovt05sbf3PFHyY3LbCH8q7GRizfU2pmEvtXmcY97I5Sk7Vz64Yj/8WZK7T9j+/smSisDVQnjBXgRoxvdbYjLP56Jg0buqny2j/ktFpv0Kr8mLUjlzdg4pMC+IDAwU3MYYvvFMXXN+5abnAr8aejLNT9wpOHUWD/iTmsGfXtCE84SKDSe1Ma428SKK4dLYHHc2g+0TSMYXeUKs2FLu4UYF1kY2I3agLcgLEtFsS19qve2Z4vvp5Dc0dMkEbKzepvcLtbGp2eb3HdYnsG7gHMvO4ADn8qUgHG0JlKb/oNGN9quZ2IAnDbFJo/FMNwF3W5Uha64g67/QQLsKxrwMSJAjIjIJZ5E1zwl+06ATmVQ/NNcXwn9u7Whq3P7Pp7Z6Tg6DXf6fnn4alAh2DKUTdg/IcWcIb71P+cBL40haZr48jWXxnpObq6G8z2FY04zF57+FQ3DzMFiM170cTtBhWkqdKcpDE+IICM3WQeOHcvmu9R0HykTFTKQpfTYbefIAFOfbUBhZMFcKqAPFkCrwWwYj4Apd6X9/+XCsD9XuyQepAQ902h6W26CkWX3aMaf7J1bPIER4BbGh/v+f3k34QmwGmM3wrgw6VY85Bb9qHFmFV/dOVwMbv+bzDOg+l9FvAWTx7O3ouWb4fhv4ltVpYTWdeI8d2ld+8zKGzYh9U7TONRGQt9UYfdvrECbA/fiNl3wPsEih++e3/eYc75/r0SAfYClBBbcmiKlWCEXYAl7isw2ZZC3p7h6cy0lZDfmULzOez51nbz8ZvfNMZ6BcTBiW4SuDiHZvvBiD9FBCrJSQPGXmNB/Mq9Fn6fQ8vRipqPlJlKWOh0OOz2jRTg5Zh4eR3kPaXp+wslUAL2E+WjApjzXsvnEPTrPUOmv86h+SSdBaPadtgFaMeTxq51wHL7c4t1xc988VAOTadRfGvPtvdBVC7xHWkaE5cC8obZd+8ym0NLd+1e0IKXQCXXnJ0LAXlDUYBxTw7NRm54UQkLndUTdvvGCXADJq4TkB8tH16WgN0L/qWEeFQi/9Mp1D8KNCqYzTlxeBrymVIP+wDyxx/AYU/qLBqVtsMuQEAuT2PCfte1yb3ZcKatwgSXTeRZcCGHNCbOF5D9bg7sm/4PptB8cBhaoUuJN1XJNdeIiTsAeUExH+KyHJo+ayK4SljojDvs9g0SYPvd1fi9FsSZpZtIKXHSmUHY9FFdPaoGTNxrQb7dHS66OYeWJTfZ1llUfmyHWYDuOrf2MnvOzjoSmMlDnrEPLYN+YuCxCxOoJL8NGP9bAXyvtNCGhBjOYVW7rusl6fmqJCdpjP8CxXkqyMM6bR9WFbcwNOxXCQudIYfdvjEC3IDxKwRwtefTFXvB8jr7f+tewq0BL7zFQurfSj24HJqOjsvNK6wCXIk970gh/1UJ0eLJ2edyaP64zgsuabaXyu9KTLwxhcKPSpN9it+b7t9k2oIPUcr7UjmxfU1jfG9pVG0ShdXA6rEoxaDKl0pYqGprPjtht2+SAF9tAVe47xB/KAB7y64rXOiaF+KQdWlM2MPQ6+z2CsBbptD8A52Fo8p28AW4qzGN5V8RwLs8IxQzBeALeym+qtJ60M5i+V2G54+rR/2DpboF8LTE/k1caEN5GuYYXOqaa8QLrwRSTxQf6KWxE7Ds+PzMUdCRlaVyoaNNr02TBPjgrGd7solVjDKwlbDSmLhJQH6iKMDi21NoOlt38lTYD7IAV2LcnrBmT44r7gRTHHbeUSh+4/ioinhoYy6BhfLrTnx7pJQLCYxOY3ozF9rQX0FLXXMrMfb2FMS97vXx/Rya36rfq3BaqHSOgi7vlsqFrnZLdinAigjba+bWu0+tAPblII4Gmp5XZF6bmWAK0B4hGLcX0/iYZ0F/W3zvymH/+zncqS29mD+/9ijEskcExCvdx6DJPEQ7H4L05cFrealrLo2J6wXkZUUBFjfk0FTc/9HA31IsdIcc9gOAUQLsWbYt8B6wXSj2xAnhTpyIy8xF3RdAA3InCeSzAvJVnotpLA+838SVfXTfMPzaPzS/Tdc2YsKe0HNwlSsAbzVtlx2/nII8fqlrLo3xfxPuQih5SKMXQVmKhe68hD0EbpQAlxbeCGMIuijA3m/35JM5tByvu4Bqta/vAnB6WVsBYe/64kyGKz7Ry5/nId9h4qo+teZCx/ll+b2mAJxoAX9baksC5+XQfJeOtmlzfgJL3fTTGHtGQBxVPDt//GSMPmv0m3N995/KPAm7fWMEuBykiz+wd8DF9na3pGE9W5q9mAdOifqwno4CTGP8dABfnfuuV+yTkDdPoemquMwQr+wSjvZR3vxKYErY814OPgyJT+TQ9E/RjsA87xYf9nQ2wdhdfFi1X2U1rzSPwGxEOu4/fniF3b4xAlxe1EFPwiolPY2JPgHp7NwjIfpzaOr0UxBBH6u2AJ1FST7vneHs3kgG8yhcyF5v0NmdO8vUbt3zyVd/Ds2Rrs3gaQXT4mLX3Ars2VyHwgPudfPLHJpfF4xX4bSi9v7jP4aw2zdKgMMegrbTvxLjJ6eAR9zPoezJWEcBTX/yXxrBnKGqAN2VlG4GcLjH8+clCpfksNpZYYm/4Al4H0zdmrSd+G0OTScC4kDwHrHFxa4572ssQNw5iaYLTSam6v5TLaOw2zdGgKMxBF0sgzTGnijNMJUQD+aQf1tUP6SvtQDt1axSsO4obZtWuhCKM5zFR+MwE7zaizcO55Xl1x7WzBcgNu1Fk73XL38hEFhcgGe3IJQw/xVBrfefWtMXdvvGCHBUhqDtgvD64hbI0wdgnXkAq/7/WgtG9fn+C9BZ8vN8C+IoCbQAeJ93pyl3g4v3c1at6kxVZ28eAb4lh2Z7rXT+QiKw8DXnvMJ51t0RbCYH68XAql0huRlIs/7vP2rdCrt9owQ4CkPQpfJowPhtFnDRbLnIyTxSHXux6jtqS6g2a34LsBHjdky3lbdqr+MMiFty2HcVv+utLScqz05j7EEB0eraHJnE/lczPyoJ+7e10DXXgLELLIg7bIsSGMyhud2/9Xid4ff+ozo6fgesiGiUhqBLIRVXtEGfZ51d+8K6bQrNH1IUds1m/F4AJQH27qUsIZ+QQNcUWn5Zs0M0oIxAGhOdAjLrMXjVJJpLXwYoa4eG/BFY6JpLY3b4uQB54RRa7vRnOX5HL/VJlu6Iwm7fmB5weVHbe/p6e8RTaL5KdzLns2+vkLUMqfskcGzp7xLyewLiq0Dq8Rwad4bhV6lNvwIMOEPQ9pP62oLzfa+cyKH5C4DYH2YcbHsuAXupSYHlv0PxNUHpp3lNdGahEgLzX3PF4Wd7pTh7NCkHcWQS5k+E3QP1f/+rJMOVH2O0AHtXxgpLgIupsL8PTn0XkJsPBS7HAPFUAXhcQG7PoflLgMhVnsLajgy7AGvznmcvRKARY98BxNvK/k4BjkDJzHfNJXH42U5F2PefsB8AjBVg9zoLeCGOxa7uufsVe4+cO5yLUQA35PDC14AN+3TfL8K+AHTHl0T7KzFxVgryu3bsnk+P7P/uCfdBNInZODTm+a65JA4/R0WAwxwppQAHek9wNiW4RMDaCEh7IfzjyoYID3ojgZ0S1pen0HidzpWjKMCBFkAAjb3QnEbqqdIWgxKYFkC93bDufbEDCM6IJg695sSXkjj8HAUBDvv+RwEO+ZJOY3KdRP5EAK8XwHvtG+fcXou8bwrN/6BLhMMuwJDxG9d8GmO9AqLLDczexP0e+1Ox0ojQZEhzIYwDXUNA5ddcHnJVCuLjxRELOZxDy+YazMfq1LDvP2G3TwGOVLluX5HGYe8FcJlnk3R7SctP5tB0kw5Xwy5AHTEl1aa7Bvf9wl1xUkJ0CciXBLkvdlLZ+4nbe80VIL4jIN8qgGWuAF+aQ8uNfuzF+diw7z9ht08BjmT1bl/RgMPusYC/K16U1t05rHqnDlfDLkAdMSXT5q7GRiz/TwAbizUjHsihqS3szyySmYvFo/bmZO6R4rc5rErUEqFh33/Cbp8CHNE7xEq8cGoKqYfcp2JtWxuGXYARxR87t9IYtzfBsLd+tH97ZiBfvQ8t28Oe5Rk7kAE4XL4+t30TTuoSoWHff8Ju3xgBjtJSlGquYadHs6dkaxL7V+lYwSjsAlTDKtlWVmLiFAvyIQGkbBJ54OK9aL7V/m/mN3q1UZYTx0EJJHKJ0LDrM+z2jRLgKC1FqeKytzd1AIQ9Wxp5iL/ehyanR6zyF3YBqowlmbbksjT2PCYg/8KN/2eTaNoECHstGm0C3IA99lwFTGHV15LJvfqo5xHgxC4RGvYrkrDvf8YIcDlI9/KI0HfA/i/YNMa/UdpbV0JuyaHlev9WFj8j7AJUHU/S7DVgzxUWCle7vagD08i/9gAOe6LEQccNLo3xfgGcb7dRgPU+irC/qktj4gYBeambM5mHddo+rBr2Z8WMo8N+RRL2/Y8CHOE6DqI4gmgjwohj71oa478VwCuKN3Nxcw5Nl3iDUn2Da8CeHguFraU2KMD+Sqh8iVAJ3J1Ds5YJlv48C+fosO8/YbdPAQ6n7ipqNYjiCKKNioLlQb4JrMT4ySngEfe78X05NL0YEC94DanNr73IR93/EpBri4Iv+3JoKX1z7Nv/JJ4wzxKhiV4eVG19+q+osNunAPvPWWBnBFEcQbQRGLCENZTGRJ+A7HB7v/05NHWWI1CTX7m8AeOfEBAfEsBaV/BHc3hhQxDLpZqSVu8SoZ6YKMBAaK8KVY8Q+a1VCrBfYgEer+bmubjDQbQRILIENWVv8GHZu+essIPOA6fsRfOjqgXYHTL9NoA3em1zWUu/pTZ3iVAKcJFA2PcfHXMk/FQGBdgPrYCPDaI4wy7AgJEa01wa458TwEfd3u9vc2j6y/mCq6WGVmCyLYX8XQDWud+q2k2MSuDLU2i6XtfyqMYkyRNI2RKh3hDZAw6xB1zL9aGiTinAKihqshGEOIY9BKMJndFmXWH8kb13rCvACy5VWt0Nxt40ZOKzAD482wZmAHwxhxe2cNjZX3mVLxEK4H8BeLlrhQJMAfZXUFE82sTPkIIQx+pu0FGsgGT4ZA8JA8sfs3ulRfHFT6fQ1LpQb9T/Q5y9MXzhXgHRWiIqgdE85Hn70DKYDMoqozx0iVABaX/PX5pJTgGmAKssuHBsmSjAQYhjEG2EUxEmtupsZ3m/gMi44jsK7D8xhzX2HtLz/vw8xDUgd5LAjP2+d31paEwCDwH7/2GxNkwkrSqm+ZYIrYN4NzfIKBIO+/4TdvvGDEGbtxRlMMUZdgGqutElwU7ZGsIzecgzluqVVprfBkx0C8jbSpO63JnOn8uh6VK+662uuhZaIrTSnFTX6uJnrcDYxhRwtoBwJu8VIEen0NwbVo7DZBGFBwCjBNi0pSiDKM4g2tBxI0mazfL3vpXOQl56CNrZAvMrAnA+Z3J/YxI4N4fmHyWNs7p47SVCJx4TwCFLhAZ7zdn5XW3PYH8TIN4C4Ljym34B4oIpNPWqi71yS8GyONSvsNs3RoDLQdoL4XoFeSqGG5EHURxBtFH55cgj5yNQeu9b2iNaAoM5NJ1RSa9lsSHoFdi9PgVxn4A4odSuBB7Po3DWPqzewWxUT6ARY7cD4kLbggSmp5E/qbREqP5rbs+aNPIdgNgkIO35AY2e/Nr3xepAVNUAAA6ISURBVDm/AuSFU2i5s/poqz9TP4vFfQu7faMF2HJf7lfaW6i+jPScGURxBNGGHjpJsSqXpzExIIBN7s18yfe+XjIL5TeNydMFZu4BRMvszVn05/Cn93OWc221lcbE+UChX7hSJyFvyqHlkyWreq45mU5j/CJAtANoLc1ePzQSOVmAGLaAX9p/K8AanUJjYoegg1hvf7FqMlaA3aBDW2Gltku4eLaeC3WuZ0G0oYJFMm3Yi22I7wqIza74VvTe18uqbAj6GgE5JWFttCAv8PSK9kmID4Y1DGlSbldi4o0W5LAtgMX36PLBHJrt0Yr9pTiXfi3gh4jzCsHemeoyzwjJnF6uBJ4CxPeBwo9z2P1wlB6w1LLww614bBA7zlGAgVhO9Q9CHMO+APxfMsk4Yxn2/OUyFL4ngWNLT8kF4ItTaP6wHwLe/AJiHyBXeJ+6JbBDQp49hRanR8Rf9QSKQ/rWI7NCKJ/M4cAp5ft4+5mZvrA3c4XXFnvPzHX7m+1hQA7lseJb+7BipPqo9J6phkW1Pgaz5zoFmAK8YA2EewFUe+GYfd5K7Pn7FPL9pXd39s1VQn55Ci0X+Y18rgAXz569UcvhHKyzgabn/drl8eUEdjWmsewR4e7fXfx2unDKfO/Sa3uwttflnvikAC6y1+UueVFan7u4Spn1NWDVrjjkqDYWtUW4Ei+cmkLK2WNdwn5Yajm+Nov+z+YQtH9mgZ0RRHEG0YZaYLJuOfYckwJeJlA4XkAsc3aeB2BF4LOK2mJ1VqD6JwF4erlyMg907kWL/X2u718aY5cD4rqyEwcAOZBD8xe8Q6O+jfMEl8Ah32fPFCA270XTw/MhqvaaS2OyTSD/FQAv89q1xR7ADTm88LUoDS9XUh7VsqjE9lLHpDH+EQHcUhRg3JVD83lLnaP67xRg1UQV2guiOINoo3okxYklEuJo4QzFymMBcax7wXiH3Oa88wrzs4pqY12OiZfXQX5TACd5bDx9APmzDuCwJ6u1C9iTuMY/JiGWAaiz3wHn0HxTJTOoq28zWWeWr/MsUejMYXX/QhT8vvZZiT8dZaHuJgGcUzbUHFvhLbEJ8/4zdwIWLs6h+dagK5cCHDRxH+35vVB9mD54aJgXwML+ynQDJj4mgA+U3qeVH1t2IyoT4PA+q/CfA7v3tOcjgLwGwMH3sxLyJznIM4HVY/5t8oygCNi9KAC3eN7Tf3kKzYu+Kpj7WkAOS4jhhfwVQItwJszNfkoEYKwAfGEKL1wftx5veZxh3n/sCVilVwZ55DftxWHzjljorCVjBLgB41dawGeKvSNxs4CcjPtyb0G8nw3zAphb2LJuBcYvScE6DJDvsoXXK7JlF8HTEnD+zwKenzsEHe5nFX4uVrvXWw9p95ROLp0nIfZJyJun0HQVe6l+aAZ/rP2u3kLhntKMZwn8YArN9mIXi/7K38uXdpry7DjlnD/fzdkeKgX2X2LK0qDh3X/Cn4C1UI6Xqp9I/j2N3Z2AlS06J/oFpL2QAD9DWiJb4V0AXsdkXQP2/KsF+bbiA1Tx5uOZWPI1QPxqBvg/B7DqaROEKY2Jj9u93tLSjy6NRw9AdB5A01ORvMjo1EEC9udGKRR+5OmZPjyJF9or6ZGWv5dfSIC9N2gJ/K6A/HvC6KXpTHsQo3zz+R+FCViGCfBYRkAMuAJsT8G3h3UowJEXYOdb1/vg7r7j+ZSitO/s5wCR03kTCNq2d/KH+8CxDxBX5LDqVhMeLoLmGXR7y/D8cfWof9DzeuSpSYhNlc8mn/Nefin37ff2E6ZOmAtilG8+wGmMf10A9qYYkLDuzmHVO5dKhI6/GzMEncbuEwQse5s2Z0q5gLBnjcZagIN4OgyzB+z91tVT3D8ExE9yWPUl04S3FKO98YEFWVr6j71eHXc2TTbtZUEFlj9or6nsPjyNzgCb9qP5aU1NGm02+PuPM2P9dgHRWQIrIRbcT1s3fGME2J4pmELdM6WLQgBfNUGAdS+nGfwFUCzp+b91xW1TaP6Q7qKPgv0G7LkIkPumsOrr7PVGISOV+OC8N7wfwKnFo+1PxET7XjQ/WsnZPOZQAsHef4qjbfZe1+7rLbuz1jeF5veEdQ0aI8B2ahsxXuJq/0+798se8BJXfbAXgPP0eQlg/bmA9Oy+U9u3rryxkYB+AvY8hfG7LYi3uw/5MxKFs6ew+nv62za3hSBG+Wx6860sJ4Gv59Ds3QUscNBGCXAa48/OvpcRd2J2vdtYLkUZRHEGJ8DbVzRg9d0C4syyolPwrWvg1w0bTBiBstcG9iYGH5xyXpPwVwuBIN4BR3m0zTABnv2uCxDfg/MdpfOjAC9wlegX4INL530AwDrbjblLIcqz+K1rLbcwnhsEAfuVgYXCbcXer7g5h6ZLgmjX9Da8nQzhTJwtfhPt/bSwnMF8fyv9m4DcW1xQw978YuLwBshPW4DntVa0RtuMEuBGTDwIZ/9L52d/VO2+q6EAL3Qh6xVgWdeICXsy3N953w3Yi8QD+LGpMztNv2kmNb4G7LF3Hapjz1ddBZQEuFyIFlkD4OBnil4vvPcXCdwvgPp5tmWM3GibUQKcxkRf6d2iBP5LAC9lD3jxi0WfABfFVwJ/N9vjFTsl5Fem0HRtWJMe1N06aIkESKBWAqVvolUJcNlOX97RtkiuLGeaAN8kID9RHCaCvSVXnfvfPVNovqrWYgn6/Di/A05j4lJA3uBlVoC4dC+abgyaI9sjARKIKoHZb6LtzVRKP79D0BLyDYD4f+zz527LKB4CCvdHdbTNMAEeu1y4O794hzAKAAV4getPVw84jYkHAFnaSP5+ATHsLjRxcGPyqN4S6BcJkEDcCMxd3ERA7M1B9Ed9W0ajBHgFJjalIP+9VDqe4DgJK1ABnjg8DfmsOwIxk4M4svJVguJ24dNfEiABEqiOgFECDMxdYNvTC6YAByjADRi7wIK4wx3+H8yhub268uRZJEACJGAuAcMEGPBuMUUBXrpwdbxnTmN8QAAZu/UC4rQ14NK8eAQJkAAJqCJgoACPf0MA73J7Xw4nyXfAC9aL+g/hi8PP7hZtHH5WdaXSDgmQgHEEjBNgr6CUesCchLVw3aqehNWAiWstyC0cfjbuXsGASIAEFBMwUoDF7BrQpSnpsX0HHKfNGJZh4rh6yMdKe9xK4GM5NH9ecc3SHAmQAAkYQcA4Afb26GZ3vIjnZ0iqe6fzVay6Nib+LA35YwAnFduRv86h+fVccMOI+wSDIAES0ECAAqwBqiqTjRi/CICz/qyuyUy1CvBKjL/eAt4H4BxPz3ffNMSJB9D0lCoWtEMCJEACphGgAEc6o84WaBcAKTmFxl4dvcnqBNju7RbeA+CdAuKV7vtezwo04rM5NF0WabR0jgRIgARCJmCcAJs0CSuI2vB+hgTgBzk0nbmQ0M/X2/X6KCGflBDfmkLT9ToeFoLgwTZIgARIICgCRgqwdxKW2zuL5VKUQRRBmQDbn2zdD+A/7LbttVndNVnrBOSZ8/d2sQ8Q9xQgv7YXzY8G4TPbIAESIAETCBgnwGVDqk6O4voZUhAFVtqNpNSWXRCLbQVWOs7u7QL4lxys24GmPwXhK9sgARIgAZMIGCfADRjbYkFc6/Z8nVzFdSGOYAqtuIg5gL8BxOnlAuwVYwn2doPJCVshARJIAgETBfg1AuJXZcm7P4emswDBnXgWrGpZtwLjl1oQK1DcytEZgnZHEFDcXQS97O0m4bbAGEmABIIgYJwA29AaMb4bQEupF1zs1clLc2jhXrRBVBXbIAESIAESWJKAoQI8cR8gz/QKMIBYroa1ZAZ5AAmQAAmQQCwJGCnAaUx8XEDeTAGOZU3SaRIgARJIBAEjBRjYsyaNwh/cDeGdRNqfJk2i+apEZJVBkgAJkAAJRJ6AoQJs7ws8uyetO5OXAhz5cqSDJEACJJAcAsYKcAPGLrAg7vAMQ1OAk1PXjJQESIAEIk/AWAEG5mwMz2+BI1+KdJAESIAEkkXAYAGeOwzN1bCSVdiMlgRIgASiTsBoAfZuzMDPkKJeivSPBEiABJJFwHgBLm3MwOUok1XYjJYESIAEok7AaAGubq/bqKeM/pEACZAACZhAgAJsQhYZAwmQAAmQQOwIUIBjlzI6TAIkQAIkYAIBCrAJWWQMJEACJEACsSNAAY5dyugwCZAACZCACQQowCZkkTGQAAmQAAnEjoDRAuz9DpgLccSuNukwCZAACRhNwHgB5nfARtcvgyMBEiCB2BIwWoD5HXBs65KOkwAJkIDxBIwW4DTGLhcQ19lZlJCX5tByo/EZZYAkQAIkQAKxIGC0AANyeRrjHwOsfA6rbgXE/lhkhU6SAAmQAAkYT8BwATY+fwyQBEiABEggpgQowDFNHN0mARIgARKINwEKcLzzR+9JgARIgARiSoACHNPE0W0SIAESIIF4E6AAxzt/9J4ESIAESCCmBCjAMU0c3SYBEiABEog3AQpwvPNH70mABEiABGJKgAIc08TRbRIgARIggXgToADHO3/0ngRIgARIIKYEKMAxTRzdJgESIAESiDcBCnC880fvSYAESIAEYkqAAhzTxNFtEiABEiCBeBOgAMc7f/SeBEiABEggpgQowDFNHN0mARIgARKINwEKcLzzR+9JgARIgARiSoACHNPE0W0SIAESIIF4E6AAxzt/9J4ESIAESCCmBCjAMU0c3SYBEiABEog3AQpwvPNH70mABEiABGJKgAIc08TRbRIgARIggXgToADHO3/0ngRIgARIIKYEKMAxTRzdJgESIAESiDcBCnC880fvSYAESIAEYkqAAhzTxNFtEiABEiCBeBOgAMc7f/SeBEiABEggpgQowDFNHN0mARIgARKINwEKcLzzR+9JgARIgARiSoACHNPE0W0SIAESIIF4E6AAxzt/9J4ESIAESCCmBCjAMU0c3SYBEiABEog3AQpwvPNH70mABEiABGJK4P8CAJ6S0AmIddAAAAAASUVORK5CYII=</pentrails><costumes><list struct="atomic" id="102"></list></costumes><sounds><list struct="atomic" id="103"></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="108"><costumes><list struct="atomic" id="109"></list></costumes><sounds><list struct="atomic" id="110"></list></sounds><blocks></blocks><variables></variables><scripts><script x="13.333333333333343" 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="reportVariadicGreaterThan"><list><block s="yPosition"></block><l>0</l></list></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="13.333333333333343" y="307.33333333333326" w="90" collapsed="true">2.2  Inclusive.</comment><script x="13.333333333333343" 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="13.333333333333343" y="459"><custom-block s="%s ≥ %s"><l></l><l></l></custom-block></script><script x="13.333333333333343" y="487"><custom-block s="%s ≠ %s"><l></l><l></l></custom-block></script><script x="13.333333333333343" 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="13.333333333333343" 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="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="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="13.333333333333343" 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="13.333333333333343" 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="13.333333333333343" 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="13.333333333333343" 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="13.333333333333343" 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="13.333333333333343" 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="159.66666766666674" y="10" w="188.6666666666667" collapsed="false">Pen size not required by the lab, but makes the writing much easier to see.</comment></scripts></sprite></sprites></stage><variables></variables></scene></scenes></project><media name="U2L3pp1-3-Predicates" app="Snap! 9.0, https://snap.berkeley.edu" version="2"></media></snapdata>