<snapdata remixID="9865201"><project name="U2L3-PredicatesPage2" app="Snap! 6, https://snap.berkeley.edu" version="1"><notes></notes><thumbnail>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKAAAAB4CAYAAAB1ovlvAAAKj0lEQVR4Xu2de3BU1R3Hv/sg71AUayFBDYEYbSSYQjBNoUk0pUEiFonQUTO0TjAthjiUOkDbIdOOVulUKRLTkYBWxMFGQQ3iREEwTDSpmfJqi1BFAfPAAa3DbrJ5sLuds+HmxW6yd/fee86997f/8Nhzzu+cz+9zz+Puy+L1er2gBxHgRMBCAnIiT2F9BEhAEoErARKQK34KTgKSA1wJkIBc8VNwEpAc4EqABOSKn4KTgOQAVwIkIFf8FJwEJAe4EiABueKn4CQgOcCVgDEFnDoR+LSdK1i/wV/cAiwtEa9fHHtEAmoJX9QLQ0sGw2IZU8CCHCAlFdi0mSNaP6FvvRE40ARcdbVY/eLYG2MKyICKONsUFQLfvhb46/McUy5WaBJQy3y4XMC0ZDH3p1pyGBTL2AKeOAvYx3BCGyCsiDMzR0LGFXDRfOA7E4CqrRzx+glNAg6BYlwB//c18IMM4PgZsQTMSgde2AHcnCZWvzj1xrgCinoQOXoYWLkc2N/IKeVihSUBeeSDluF+6iQgCciDgEkEXPEQMCsLKH6QK+QrgtMMaBIBRd0H5mUBW14CpqSIdWFw6I2xl2BRBXy4BDj9GbBnP4eUixWSBOSVD1qGfeSNL+Bt04C/1wJJk3mp5j8uCWgSAev3A5UbgFd3k4BiETCJgKLuA2kGJAG5TggkIAlIAnIlYCIBlxUDhQuBu+/hT1zqwZIFwIpVwOwccfrEoSfGPwUzqOydMVnTgZNfcEAcIOT9i4CoKGDry+L0iUNPzCGg2Q8i5aXAM89x0Gv0kCTg6IzUK6HVQUSrOCGQIgFDgKZYFa3E0CpOCGBIwBCgKVZFCzHYh6DYh6FE/KC+KV6Kk2zRItlyzdz+AvDAz+XWkleejZs9SEB53BQvLaKAig/ST4MkoBaUg4hh1m8lIAGDkEOLImb9VgImYEEhUFmtBWXZMcxzCDHrtxIIvvVQVkBpur9zgZg3PgVPhuzpI5gKgo9ZeQHv+BHw3l4xT12CJyMYn2SVyckEWlvEzMXlgSgr4MICIGES8M4eMQdtNgEFP4AwB5UVkLXIBp2XDxzYJ56EZhKQjbVyC1BWIl4eBk3j6gjIbnqKePVpceNX1hqpYmHpYhP8olNPQGk2ZH/Oye37Qh56aENAkq6hHtj0VN+HsgR9KC9g7qy+qf+W9IEhC34VCpqb0LrFWJf/GihfBejgTa/KC8je/JmZduW+Q8QlObQUi1tr8QLgUPMAex1c+MoLKC29/l78Ll0KvPeu0Jtice0apWcVa4CXXxzK1rQCzp0NrFwNzLvLPzUGJud2078dXTHZi+YDRw75X3UEfReMNHZ1ZsCRZkEpcloS0N1Ns2G4FgaSL5gchBtbgfr8BGSdZ1+b8dUFkjDURM6ZAbS3BeZn2iWYAV23ug/rH9aPjLdsGVD3Vt9yLdoPy4Qqhhb12Pdff3kusHyNDcAzTwE7XteiNyHHUG8GlLsE3DIZ6OoC2GvJz20LeUCGrygd5O5ZDPxpY8Dh7n32x4iOvBqzS8S+/yqOgBJK6XZN8hRg+2vAtRMM71TQA0y9DnBfCmrLkuFIRG3sB7jOmhR08zwKqitgOL/Zxj7L+nbfHfxNpb1Y8egFHnzEiPm3auCxdcDUFKDuYFB9mnjRgvax3qDK8iykroAAlABR4irCnt6dPk43WJLRFH+KJzNNYzN+a7clorysRVZcJbjLChhiYV0IOHhspa4lqO2t8f2XHq7wEPPiq8Ykmm6bibrYZtnNkICXkakFIsMxCee8rSEnSHZGNazAmIV7ganFXWkMupsBhwNgoK+3TsY/4j5Tmo1m7T3kWozdva/2xzsYdxwp1ptDjt/ubUGeMx0n4r8OuQ2tKqou4O0d6XgyqgqzbLNVG1OmMwktnjMoHFOE6uiBRKoWMIyG3+h9BY91r0ar52x/K49HbcKDEWVhtDq0ap5zGqbabhKeBeu16gJ+5G7Amq7l2B97TDHAgRq6zZmMs57PfU/viz2CNNt01WKyWavT24EPL70PFzqDjpNvn4/fRa5Hqk29HyvUy/KriYDSZlrLA4MTDmQ7UnDe+6VPjCnWVPzE/lNk2rORY58bUJZznjZs79mMI55meOCBBRafYF1wXVEnGjHItucixhKLzdF9hyJRHiTgsEzwBlLaucS3pzro3odm9wcjerIqosInYI+3B8siH8H3bTmIs8SL4lZQ/eDNO6hOXi6k+hLMYwaUA8BoZfM7MjDZOlUX+z/NluB5HbOQYJmErTG7jJZv4cajp9lPMwE/8XyM4s5CNMWZ5xUMXmaSgAHI6w0ML4HCjas3zprsAWkfGK5WwdV/vqcSTe6Dwp3KR+q9pgIejmvFBGtCcDSplGwCepv9NNsDskDsHluGM9HwbyCQbY2CFUjAUWDqEZCCfqjelB75arYEM/rVPRvx5+4KnIz/RvVkmC3AYfdHWO66D41xn+pq6JoKSIcR9dxId0zAjph3VH39W43eay5gm+cLzHBeT3tBhbOpx+VX00PIYN4M1s7YA8i25SqcBvM2RwLKzL1egckcpmbFx/9mLb764xOaxVMqkOZLsNTxYleh768vRb+l1FhM2051VS92v96L2r0xumPATUA6kCjnSrzlIhzesco1qGFLXAX80P0+FnXk0YEkzISTgGEAZPBOn4/H+Gv6PglGD/kESED5zIbU0DPAMIcedvXiezvxyUkvmo7Fht0Wjwa4LsHSgBO+5cCadREoXxXJg4GuY+r94hVCQGaA3kHysljv3IQR8NHyLjTUu9F4VJ9LCQ8Bx9kdePtANLLn2HmEVySmMALSLCg/n3qf/diIhRLw8D/d+OHMDt3e05KvUHg1SMDw+PmtTbdlgoOaOM6B3/4+EssfiQiugqClhJoBJUZGuLLVzrdRGAkp4DVRDuQX2PDKG/p7bVNt8Vj7VRt78HhFN1q/0dc3NvhjI6SAdCAZWWOjzH7CHUIGY2e3ZXbVXMKpc3FaTCq6icFmv8qnu3H8jP5nP6EFpFnQ/zVhpNlPeAGNdrWHO80y+ebeacfOPcbZGwu7Bxx8Ir570Rhsfy063Pzpur5R75EKLyCzZnzURfR09/mj1zdehmu/0ZZeiYcuBJQ6K80C7N//bY3DxARruHnVRX0m3/dm2lDfbLzXyXUloGSL0wFMHHtxiDxlKyPwxNNRuhBKTieZfCW/jMCGKuONTfhDiJxErf1VFyo39PRXWXjvGGyr0ee+sb3NgxsTnb6xzLvLjppa4xw6hudUlzPgaGJ2dgJZ6U58fsrjK3rTd21o/o/Yy9fSJS7squntH5pZ9rqGFHC4oA8UdeLNnZeu8HbcVRZkZtlgsQAzMq3411EP1lZEIv1W22iOB/X8vNxOeL1e1NUPyH/yYw8eLnHh7GkP2tsGfkwwJdWKQyfMd9PdFAIGsqW1xYtf/KwLEZFen4CNDR5cOO/Fv4+5gxJstEL5BXZY4MXeuoH2kpKtSJtmxfq/ROGGJHMcokbiZGoBRxOInlefAAmoPmOKMAIBEpD04EqABOSKn4KTgOQAVwIkIFf8FJwEJAe4EiABueKn4CQgOcCVAAnIFT8FJwHJAa4ESECu+Ck4CUgOcCVAAnLFT8H/D1ksD+QNZeX/AAAAAElFTkSuQmCC</thumbnail><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" scheduled="false" id="1"><pentrails>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAeAAAAFoCAYAAACPNyggAAAgAElEQVR4Xu2dCXRc5Xn3/89INl4kjUxs5kqGABqxGQgEG0jKmqWQsIXFEJL0a5s0tAmQQNI9/foB/bqc9PRLoBBIS5Mup2mCFwxmC24SNtNgdjBLjHWH1Zo7toM1krzL83zn3rkjS6NtZnRn7va/53AOlt73WX7Pq/nPvfddBLxIgARIgARIgAQaTkAa7pEOSYAESIAESIAEQAHmICABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGCABEiABEiABHwhQgH2ATpckQAIkQAIkQAHmGPCVgHYb19gBSI/1PV8DoXMSIAESaDABCnCDgdPdfgKO+Cpuc34iuJYizNFBAiQQJwIU4DhVO2C5atp4AMB5blgPimmdH7AQGU6FBDSd+joEc6Un93cVdmEzEog9AQpw7IeAfwAowP6x99Kzdqf+HCp/W7Sp14mZ+0cv7dMWCUSVAAU4qpUNQV6aNh4BcLYb6kNiWqW74RBEzxBLBDRt/CGAf3D/fauY1tdJhwRIYGoCFOCpGbFFnQhol7EMgstd8y+IaZ1UJ1c0W0cC2tVxGURXFG+AcZ9krIvq6I6mSSAyBCjAkSll+BLRww86AYnEi27kOTEtI3xZMGJNdywG9FmXxHoxrQ+RCgmQwNQEKMBTM2KLOhLQtGEBSDkuCoUT5c3NL9XRHU3XgYAe2Tkf+wpbXNP9YlrJOrihSRKIHAEKcORKGq6ENG28CmCR+/hyuWSsK8KVAaO1CWjayANoc2g0JRbIG71bSYYESGByAhRgjhBfCWjauAtASXQzYlppXwOi85oIaNp4GcDxxc6yRMzsczUZYicSiBEBCnCMih3EVPWo+Z0Yat40HFvz0ELZsLU3iLEypokJaJexGoILi08yZKlksivJiwRIgHfAHAMBJ6DdRgaKw4s3T1ghPVZpZnTAI2d4JQKaNn4J4CPuHfA9YmYvIR0SIAEKMMdAwAlot7EMOrwcaZeY1uyAh8zwygho2rDveC91f/y8mNZiQiIBEqAAcwyEgICmjZ0AZrl3wSulx1oagrAZoktAuzpOh+gT7j+5FIkjgwQqIMB3wBVAYpP6E9B0ahUgF7uenhXTOrn+XunBKwLa2TkHswvbh+3tTMyV3t4dXtmnHRKIIgEKcBSrGsKctDt1IVRWO6GrrpFM7twQphHrkEfNhFY5QzLZtbEGwuRJYAoCFGAOkUAQ0CM6jkFBX3OD4XKkQFSluiC0K/UCRE4sfonCCslwMl11BNk6bgQowHGreEDz1cWYgT5jz3B47dZMeQ57AxouwxqHgHYZyyEovbt/RUzLXRdMXCRAAuMRoABzXASGgKYNE0CXE1BCFsnG7OuBCY6BTEmAe3tPiYgNSGAUAQowB0RgCGhX6mGInOMEJHqR9OTuC0xwDKQiAtzbuyJMbEQCxY85ciCBoBDQLuMpCE4txiOrxMyW1pUGJUTGMQWBsiMmvyamdRuhkQAJjE+AAsyRERgCZZs5cClSYCpTeSCaNq4FcKvTQ8HDNSpHx5YxJEABjmHRg5qypo2PAfiFG98zYlqnBDVWxjU+Ab4H5sgggcoJUIArZ8WWdSZQdq7sbjGt4s5YvEJFgO+BQ1UuBusjAQqwj/DpeiwBTRtvA/ig8xvBcdJj2ecF8woRAU0brwA41gmZj6FDVDmG2mgCFOBGE6e/SQlo2rgfwPnFRvo5MXM/IbJwEdBuYzl0eD3wy2JaJ4QrA0ZLAo0hQAFuDGd6qZCAdnX8LUT/vKi/8neSyX6rwq5sFhACerhxChJY54Zjiml1ByQ0hkECgSJAAQ5UORiMplNXAvJjl8QDYloXkEr4CIw63ap5aKFs2NobviwYMQnUlwAFuL58ab1KAtptHAuF/Q7Rvt4R0zq0ShNsHgACmjYeBXBWMRS5VMzsqgCExRBIIFAEKMCBKgeDsQlo2tgF4ACHRlNigbzRu5VkwkVA08a3AfyJG/Xfi2n9abgyYLQkUH8CFOD6M6aHKglo2ngaQOk84I+LaT1SpQk295mApjsuAfRuN4zHxLTO9jkkuieBwBGgAAeuJAxI08ZzAE5ySChWSsYqnbBDOCEhoEfN78RQ8yY33F1iWrNDEjrDJIGGEaAANww1HVVKgMfaVUoq2O00bfQASDtRFnCqvGnZTzZ4kQAJuAQowBwKgSPA7QwDV5KaAtLu1AtQOdHpLFgpPXySURNIdoosAQpwZEsb7sS4nWG462dHP+pwDcHT0mO5J12FPzdmQAJeEKAAe0GRNjwnwGPtPEfacIPanboQKqsdx6prJJM7t+FB0CEJBJgABTjAxYlzaDzWLvzV1yM6jkFBX3MzyYhpFd8H8yIBEnAIUIA5EAJJgO+BA1mWqoLSxZiBPmPPcKd2a6Y8h71VGWFjEogwAQpwhIsb9tT4HjjsFXTeA5sAupxMErJINmZfD39WzIAEvCFAAfaGI63UgYCmjfUAjnNM81i7OhCuv0ntSj0MkXOKz9v0IunJ3Vd/r/RAAuEgQAEOR51iGeWoY+1UXpJMtrikhVdoCGiXsQ6CU9yA7xbTuiw0wTNQEqgzAQpwnQHTfO0E9IjUqSjIU66FDWJaR9dujT39IKBdxgoISqK7XkzrQ37EQZ8kEEQCFOAgVoUxOQQUSCBt7AbQ7PyABzOEbmRwMl3oSsaAG0iAAtxA2HRVPQFNG/8D4KNuz/PEtB6q3gp7+EmAk+n8pE/fQSZAAQ5ydRgbNN1xM6DXubfEN0rGuolYwkVA08arABa5NVwuGeuKcGXAaEmgPgQowPXhSqseEdCuji9A9D9dcw+IaV3gkWmaaRABTRt3ASiJLjfkaBB3ugk+AQpw8GsU6wi16+AjIENvuBA2i2mlYg0khMmXHU0INA8tlA1be0OYCkMmAU8JUIA9xUlj9SCgaSMH4KDiI8zmIyXz3sZ6+KHN+hHQ7o7XoVqaxX6XmNaV9fNGyyQQDgIU4HDUKdZRatq4H8D5RQGW35JM9kexBhLC5DVtvALg2GLoslHM7JEhTIMhk4CnBCjAnuKksXoQ0C7jBghudD+8bxEze309/NBm/QiMFmC8KqZV3OGMFwnEmAAFOMbFD0vqmjY+DeBBN95fimn9RlhiZ5xFAhRgjgQSGEuAAsxREXgCemTnfOwrbHEDHYJpHSBAIfCBM8BhApo2HgBwnvuDB8W0iq8UeJFAjAlQgGNc/DClrmnjVwCOcmJO6EdkY25dmOKPe6wU4LiPAOY/HgEKMMdFKAhoV+oFiBQPY1CskIx1eSgCZ5DFkvEOmCOBBMYQoABzUISCQNnJSC9KJvvhUATOIIsC3GXcCMEN7heomyRjuZPqCIgE4kuAAhzf2ocqc56MFKpyjQmWAhzu+jH6+hCgANeHK616TIAnI3kMtMHmKMANBk53oSBAAQ5FmRik+x6RJyOFdCho2vg5gI+74T8kplWaER3SjBg2CUyfAAV4+gxpoUEEeDJSg0DXwY12GyuguKxoWp8UM3d6HdzQJAmEigAFOFTlinewPBkpvPXX7o5zoPowBTi8NWTk3hOgAHvPlBbrRIAnI9UJbAPMavfCg6H73nVdbRPTOrABbumCBAJNgAIc6PIwuHICPBkpvGNC08b7AOY5GUjTIdKz6b3wZsPISWD6BCjA02dICw0kwJORGgjbY1eaTq0F5LSiAMu50pNd47ELmiOBUBGgAIeqXAyWJyOFdwyMEmDFSslYS8ObDSMngekToABPnyEtNJAAT0ZqIGyPXWnasE+0sk+2smdC/1zM3Cc9dkFzJBAqAhTgUJWLwfJkpPCOAU0bjwA4282Aa4HDW0pG7hEBCrBHIGmmcQR4MlLjWHvpSbuMZRCUDtF4QUzrJC/t0xYJhI0ABThsFWO89sb+6yA4pfgkE8slY11BLMEnoIcfdAISiRfdSHNiWkbwo2aEJFA/AhTg+rGl5ToRGP0uEY+IaZW2OKyTR5r1ioCmDQtAyrFXKJwob25+ySvbcbCjaeMuO08xrc/GId+o50gBjnqFI5gfN/YPb1E1bTwPoHiUJJ9eVFVIV3xLT3uWUYSrwhfIxhTgQJaFQU1GgAIc3vGhaeNVAIuKGchGMbNHhjebxkY+ahMaYLOYVvFJAq/QEqAAh7Z08Q2cAhze2mvaeABA6SSkB8W0zg9vNo2NXLtSQxBpcr3uEdM6oLER0JvXBCjAXhOlvboToADXHXHdHLB2taHVbmM1FBfu762bxczxDrg2nIHpRQEOTCkYSKUENG38DMAn3PY/FdNyN3eo1ALb+UWAd8C1kR+19K5ogk8PakMZqF4U4ECVg8FUQkDTqbsBucRt+5iYVmlzh0q6s42PBCjAtcHXtPEKgGNH9KYA14YyUL0owIEqB4OphIB2dVwG0RVOW8V9krEuqqQf2/hPgAJcWw00bWwGsGC4t+JxyVhn1WaNvYJCgAIclEowjooJaLpjMaDPuh3Wi2l9qOLObOgrgbI7uVfFtI7zNaAQONcuYzkEow+uECyXHm5AE4LyTRoiBTjsFYxh/GX7QfeLaSVjiCGUKVOAqy+bpo3tAObsv/vVfZLJNVdviT2CRoACHLSKMJ6KCGjayANocxo3JRbIG71bK+rIRr4S4CPo6vBrt7EMOrx/dqkzJx5WhzGwrSnAgS0NA5uMgKaNlwEcX2wjS8TMPkdiwSeg3cY1UNxWLBuulR7re8GP2r8INW1sBNA9KgLFTZKxbvQvKnr2igAF2CuStNNQAtplrIa46yJVlkomu7KhAdBZzQQcEbb1l+I7JcOyJwbF9hTgKbmFpQEFOCyVYpyjbwLSxv8A+Kh7B3yvmNmLiYgEokZg1MYl+5PjEqSIFJoCHJFCxi0NTadWAeKKrv5SzNxvxI0B840+AQpwtGtMAY52fSObHdcCR7a0TGwEgQkEmEdwRmSUUIAjUsi4pcG1wHGreDzzHVeABSukx7o8nkSilTUFOFr1jE02XAscm1LHOtFxBVjlDMlk18YaTESSpwBHpJBxTINrgeNY9XjlPK4A70zMld7eHfEiEc1sKcDRrGsssuJa4FiUOdZJjiPA3Ho1QiOCAhyhYsYtFa4FjlvF45fvGAFWfVEyuQ/Hj0Q0M6YAR7OuschK08YvAXykmKzcI2a2dERhLPJnktEnMFaAsUIynIAVlcpTgKNSyRjmoWnD3v3qUjf158W0FscQA1OOMIExAlwonChvbn4pwinHKjUKcKzKHa1ktavjdIg+4WbFd2PRKi+zsXed7DLugOArDgzFdslYLQQTHQIU4OjUMnaZaGfnHMwu2Ee1FS/ODo3dGIh6wpo2XgWwyM3TEtPqiHrOccqPAhynakcw11Ezobk+MoIVjndKmjbsYzY/4FAQvC89VvH/eUWCQGwEWNOpr0HQCkgeivMAHArgVTGtz0aikjFNQtPG8wCKs0IFK6XHWhpTFEw7ggQ0bWwBMN9Nzf68Oi6CacY2pVgIsHanvgWVv5mgyssowuEd/9ptrIDismIG8oKY2ZPCmw0jJ4H9BPSo+Z0Yat40/BPFdyRj/SEZRYdAPAS4q+N6iH53grLxW2WIxzMnYoW4eAx9UgLabdwLxUUjBPgmyVg3Elt0CMRDgLs7zoHqw27ZMhCkoJhb/Lfmxcy1R6ek8cqEE7HiVe+4ZFt22Ij7UQUKcMQGQEwEeOHB0H3vurXbBtG1ULlwuJaC+6TH2v9NM2JFjno6nIgV9QrHLz9NG2+581RGJK8/FzP3yfjRiG7GsRBg5z43bbwPYJ5TSmk6BLrvUQBpt7Q9YlpHRLfM0c5Mu4ynIDi1+ECDOwVFu9rRz07THasAvXhMppxkGLnix0iAU2sBOa0owHIumva+MmqCQ/PQQtmwtTdyFY5BQpo2HgTwaTdVHlYeg5pHOUVNd+wC9AA3R3sW9ILi55ZeJD25+6Kce9xyi5EAG88AWOLeJa2UjLVUuwz7ffDhvHMK97AftV2f8j1ZuKsZ7+g1nVoFiHv3K7sBtWdBdzlUErJINmZfjzehaGUfHwHuMpZDUFwjKvqS9ORO1C5jGQSXuyXdJaY1O1rljUc2mjYeAJy13fb1oJjW+fHInFlGiYAe2Tkf+wrvAXDvftUW4/0HjLRbM+U57I1SznHPJT4CnO5YDOizbsHfEtNy7nw1bewEMMv9uSmm1R33QRG2/DVtvALgWDduLisLWwEZb/EhXNr4RwBfc3FsRkLORkFfc/+dEdMqzVkhsYgQiI0AuwO8H7B3wwKwD4fLW9ZbmjbuBzDijkl7xcwtjEh9Y5EGBTgWZY50kmOWHaksRaKwByqri+qsaySTOzfSEGKYXLwEuCv1METOcQf05yWT+7ErzH0AkiPq/66Y1gdjOB5CmTIfQYeybAx6BAHtMlZDUFwaqbhPMtZFmk7dPfwIWrBOeiz37GuiiwqBmAmwcSMEN7jFu01My3nco2njLgBXlBWVIhySUa7dxjVQ3OaEK7hWeqzvhSR0hkkC0K6OyyC6Yj8KWSJm9jlNG08DOLn4c1klZrZ09jWpRYRAvAR49I5Yz4lpFWdFF0X4HQCHlNWV+0SHZKA7Imx/TFF8Q1Ixhjnis8cCkHL/fauY1teLn0mjl05KT3YNqUWLQLwE+Kj5rRhqtt8DF6/moTbZsHVgEhG2J2i9A9E3pCfHnbKiNfaZDQn4TqBsDftuNCUOljd67SMIx2weJD2b7BnSvCJEIFYC7A5qeyb0YqeGIueWf6vU7tQmqHSOU2POkI7QwGcqJOA3Ae1KXQCR/RtrjNgSV7tHb58rpnWg3/HSv/cE4ijAtwK41kE5waYNmjZ6RmxTOZK6fUf8uJjWp7wvBS2SAAnEhYAeOr8Dzc32zUDpy/4bYlpHDT+NG/W6TJ8UM3d6XNjEKc/4CXBX6nMQ+a+iAE88tV+7jdVQHAmoAcjIGdJ2z1+IaX0iTgOFuZIACXhHYNSsZ6AXQ0NL5O2t2WEBHnWEqt4pZu73vfNOS0EhED8BPsw4DE140y3AgJhW21TFcNcKfxzAiJ2yijMVp+rL35MACZDASALaZdwAwf5zfVUvlEzO3o9g+NJ06p8Buap4oyDfkEz2ZlKMHoHYCbAzntOGLcCHFctZuZBq2tgIoLRTFk9Qit7fAzMigboSGPPeV3GjZKybyp1yBnRdyxAY43EV4PUAjit+u8RyyVjla4DHLdA4h2Tb74Ttx9EXBKaiDIQESCCQBMa893U33Bgv2PLjUzkDOpAlnXZQ8RTg0YcwvC2m5d4NT81T08YvAHysrGU/RB/jUqWp+bEFCcSVgHYZr0NwtJv/mPe+JS6cAR2fERJPAS6eOmKfs1m8BMdKj1Xa9HzK6mva+CmAM0e/E3a6mWgeOpPnCk+JkA1IIFYENN3xJKC/MZz0OO999wtwxzlQfbj4b86AjvJAiaUAO8O621gBxWWuAP+V9FilLSorrvcky5U2ALBPLykdkVexTTYkARKIFgHtNp6C4tQRWf1cTOuTE2WpnAEdrQEwSTZxFuDLoVjmstkgplV6NFRV8YvLlfQsQMabTf1TMa1PV2WQjUmABCJDYBzxfUZM65TJEuQM6MiUf8pEYivAzl1w2ngfwDz3Lvhs6bEem5LYBA3cdcPHjJglbbfcIaY1t1ab7EcCJBBeAtpt3A7FV4czqPBEI86ADm/Nq4087gJ8B4CvuNC+L6a1/4+lWpJuez1qfieGmu3lSnPcH72CoaFzRi6yr9E0u5EACYSEwJg73wrFd+yNQdMhnAEdkqLXEGa8BbjbOAuKR11u27zab7Vsg3XbfC9U/6B8sX0N9WIXEiCBgBMYR3zvkB7r6krC5gzoSihFp02sBdj9tvkrAMU9WAVXSI+13Ivyatqwhf2sMlsPcWKWF3RpgwSCSWA6d77O5xH3gA5mYesUFQW427gJiv/jCvBK6bGWesXa3fXmn0ZsuG6b3gXAngXJzTu8Ak07JBAAAmPOFK/isXMpfE2n7gbkEuffiqclY42cPR2ALBmClwQowN3GIiheHYbalFhQOo/TC9Du7jf23fCRZfaeFdM62QsftEECJOAvgene+Y4Q4LWAnFb8t9wrZvZifzOj93oSiL0AO18008bjAM5w74KvlR7re15D13TqHkDOBTBrhO13ADwlpvVZr/3RHgmQQGMIjLPU6F0xrQ/W4l3Txo8BXFn8LJLfkp7sj2qxwz7hIEABLm7KcQ0Ut7kle0JMy97lqi6Xpo0nAJSf7bmMIlwX3DRKAnUl4NWd7/AdcJfxGMTZZc/+ZPqEmDl761teESVAAbaH+TS3pqx2bIy64y7+oe2FyL3SY11erS22JwES8IeA1+LrfBKkO94A9Agno6bEMfJGrz1JlFdECVCA3cJ6sTVlNWNE00YOwEFlfThLuhqIbEsCPhHwYsLVeKFr2hgA0FL8Xr67XTLb8j6lSLcNIEAB3i/AnmxNWU3NtMtYDtHPADKj2E/3ArKGM6Sroci2JNBYAvW483X++rvmJSEH9LnZDIpptTY2M3prNAEK8AjiXm5NWWkhx9m0w+7KGdKVAmQ7EmgggVHbRBb91jzhqjxsPbLzaOwrvF78uWwUM1u+cqKBmdJVIwhQgEcLsOdbU1ZSxOKdMM4vO96wF4onJWNdUYkNtiEBEqgfAU0bnwb0TkAWDnupYZ3vZBFqOvVxQH7utFE8LhmrfCOf+iVIy74QoACPFOA6bU1ZaWUnmCG9E8Av+Fi6UopsRwLeEdB05yFA4f8C+J0yq54/pdLuji9A9T9dPz8R0/qcd5nQUhAJUIDLqqJpoy5bU1Za/LEzpId7viOmdWildtiOBEhgegQ03bEK0Avt+cgjLA0B+Fk9jhm956vt935mzayLbF+PfXT32rP/c1txbwJekSVAAS4X4DpuTVnpKHKPNrT3pz6k7LG0fTf8LkQ3SE/O+UPlRQIk4C0BTafuBeScsk1zbCf/DiT+Uszed731WLT2oz9qW/v5VXOcXbCWXbBj9Wdv6f9MPfzQZnAIUIDHCnBdt6astvRjljvsN2CieehM2bC1t1qbbE8CJDCWgC5a0ILdTU8DsM/1HnllAfyemNZD9eRm9GPFVT+ac9kBuwW3fnH753JJ/KSe/mjbfwIU4HFqoGnjLQDFx72K5X5PhNK0cT+Aj5fdDZcizwB4Bs1D36QY+/8HxQjCSUC7OpZA9F8BHDciA/vglAfFtC5rRFZGHusAnGL7kn04I3sg1jbCL334R4ACPJ4AdxnLICjtSvWamNax/pVov2ftNpYB+BQUE60P3ABIAtDnKchBqBhjCAMB7e74Lagjvs0j4n1YTOtTjYzfyGPT8MlpBRxuzYN9I8ArwgQowOMJ8OEHnYBE4kX3VzkxLSNIY8B9R2w/JuueIi7eHQepcIwlcAQ0bfwUgH1ISukagsgXpSdbmo3cmJgVTUY/7AlezmW1oRmCfY1xTi9+EaAAT0Be04YFIOX8ulA4Ud7c/JJfRZrIrx41vxNDzd+FYAkUXZPFt/GwfW++cPyeZz97c57rioNWSMbTcALalboOIjcBSI5w/gpUviiZ7LONDsjYhsOQwJuu314rif3rjRsdDP01jAAFeGIBts8IXuT8OgDvgacaEcNiDPmw881Z9ejx+tz85cHd375m8H6rDUunssnfk0DUCLjC+00Ao48LFLyOmftOkde2DPqRc8f7OF2bYJ+UZl9PW0mc6kcc9NlYAhTgiQX4LgClu8WMmFa6saWZnreJ7o6/9Wf9+NcrdgCCnSjgMSjWacI5HnFHLgkubZoedvYOKIEv3X3A/UdnZpz2x3e0tJeFaB928JiYlq9LflJ5XCmAfRaw/be5kl+QAzqQPA6LAjyRABcf7276wZU7MNBSwPX/NmthWGcZ22L8k/P23mIdtO/Cb189eMCEY0hhDu3FmVsXgEubPP5Dozn/CFy+ZuazT5y6Z7EdwZ/f1oqv/3Cu/b/vQPU7ksnd4l9k+z2n+rFKFBc7+iv4n2wbnPXAvKJNgAI8SX3/8o45PXd+fodz53vpA7OX3/75naF/f2qvNQRwHhSzJxFie/LWcwXF32yeh8C9+472nySz85KAkcftAL5asvnNO1v6/vj2uTcGRXhLcRl9eBqCk10BXpVtw6VecqCtYBKgAE9Sl6vvmr387k/tdN6VnvzSjJfuO3PvicEsY/VRGXksgyIFxSPahKtE0TmBlRwUW1TwJh9RV8+ZPfwjYOSdd6r26xXnOvmlGWvvO3NvILd3TOWxVlC86xXFudl2rPGPHD03igAFeBLSHf04XdWdGCFYb7XhQ40qTKP9GHmshuAY6CRLmwTvWW3O9pi8SCCwBIw87I1rPlG2leQdVhJXBzVoI4/3Acyz42uagUM2zcF7QY2VcXlHgAI8CctOxZxCP7aXmiTaMLdXsMM7/MGzNH8LOptn4rvujkvwtg0AAB1SSURBVEAfGF6KtT/Ud61k2QzS4KXBiGJKwOjDsxA473tHXM9ayeLj3SBeC3fg4H17UdpfepuVxIFBjJMxeU+AAjwFU6MfL0NxvN1MBGdk2+K1PdxB23BCIoF7ABw2AtVbQ3twGidref8HSYu1ETjsTcza9QGsgWLkI2Z7K8mfW0lcUJvVxvTq6MM5KnjY9qbAk7nk/sfmjYmAXvwiQAGeSoDzeApw1+QpVljtw1tU+lUzX/waebzjns6037/CVMFrfDfsS0noFEDHAI4pFHCVCK6GYuQM/7VWcpQYB5ZXRx7XK5ynTlDFnbl2/H5gg2VgnhKgAE8twA8C+LTTTPGI1e4cihDLK9WH90TG3aEn0I/4YlmsiCdt5HG+Kr4sUly6U3aFajym+vDPIrjKzkGAb2STuDni5WN6LgEK8FQCvA03IoEbnGYF3GTNw41xHj2TTNZaZyXxkTizYe71I2DPx9ABnKQFXA9xZguPtz+7vX3sM1bINpThDOj6jZugW6YATyXAffgFBB9zmz1kJXFe0IvaiPjcyVr2eaX737kp3rHa3WMcGxEEfUSWgDP3oAn/WxXdImgqzcMYL2FV3COCf7GSeCCMQDgDOoxV8yZmCvBUAtyP5dDhfZN5l1fGyxj5jrz4uzdFcXm2Hc95M0RpJQ4E3Ml+9pe5M93/igehTHQJdqvi9kQCd2Zb8XpYGXEGdFgr503cFOApOMZpLXCtQ2qCd8P3W0lcWKtN9os2gaoF18YhWC9AQQvYOGsb/tdbh8Oe5RzqizOgQ12+aQdPAZ4CYRzXAtcyqlJ5PCzAOWV98wrckEsiEPvt1pIX+0yfQGc/5hcEx0NxDYCjoFgwzvryckc5CLYA+JUAt0grno/iGnyjDyshw9tOPmclsWT6xGkhLAQowBVUKu5rgStA5DTp6MNiFawExrwHzkPw30O7cR3XDldKM5ztjF/jWG3G8QnBh1SdnePsNfSjj/4bP7UcgMft/woFPBGXPciNPqyH4DgHiWCF1RbPZY7hHO3Tj5oCXAFDI4/nAXzYaapYabXzLN3JsKX6sEqKE9dGHnZe6pKB4rmhJH5vq2CgAvxs4iOBee8jObsZHfsK6EwIOgqKpQlBixbwpBNWAqcAsI/4awYcwZ34tK3RecRScMtLaeRhz9x23ncXCjgxLl88fBzSgXJNAa6gHM4JQorLil9S8UI2iZMq6Bb7Jqk8rhPgpgmEuCCCH2II/5E9cPgg8tgzqxXAyMM1hm0kyrZfLOCZCe0ncCoEM6HYDEWnCDoU6ADQUmtMI/rtBvCyvc0xFJmC4q8pNID7HvxFl1POSo67tMoD/DQRVAIU4Aoqw4lYFUCapIkjDnDebR0+QTP7/OEnCwUefzgZaZej/STGFrS33baHQXEYBHOmVyXPets7pq0XwcsFxcsyhPXWB/CqZ9YjZMjI41oAt7opLbeSCP1xpxEqT0NSoQBXgJkTsSqAVEGT4YMeBKfbd1kTdLGPP7QF2UICc+w7sth8MClmdAyiu2CvfS3gdyFIooC1sO9OFWf6JLKDAmRVkYWgF4KDoNiDAtY59Wty1oG/D8HtCcX63jZsrWAosIm9k0jxi+nlLoyvWUncRjDxIkABrrDenIhVIagKm3W8jzPQjN9WxZecN4mTXYKdAB4I8ySu+VvQmpiBBSJYAMECgTMT2N5GcYEqBgTOMZBdFeIb20ydU7oeh7rCaLeo4hG0JnAaFIMJwYqCItuUQO/OIWS3HYh8zTGx46QE+P6XA4QCXOEY6OjHi6o4wWke40MZKsRVcbP5itbmfvwAgmOhGO/4w3JbGwAMOY9g7Xeazc7ddJ8U8M+JmXitXueoOnfvM5wN81NQPDocVEnk7FjsO1VgBoBNtrAO/6c4CILZFUOZqKEtsoK3iofmFB9Bi+AIVbwYm6cE04YYDAN8/xuMOvgdBQW4wgqUPS4yreQkB9dXaJPNxhJwP5j+wlkrKtgFwVnQqsRrmwKvOeIE9KOApx0vI4VypNupfl4UuS5VHN2gemUU6BFgNhTbnTvaJpwdq0fxDQLtpxu+//WTfnB8U4ArrIX7/tK+s3GuoT1YyDWtFcKbZrMKJnFN00MDuit2QrAZcDaXKP4nOFyAXxeAHyYEPdkW9ECwtwHR0IXPBPj+1+cCBMQ9BbiKQhh59ABIu104a7EKdl40LT0GFsGHFdjoPIJO4BQF2tw73kUA5nnhawIb9uNv0/FbukbcQat9So9guwjuVVtgFVtUsaWwF1u2LuCa5zrWJXSm+f43dCWrS8AU4CqwGn1YASmuB4bieasdi6vozqYNIGBvbl/Yg0UK51DzeVB3jfFUj5rL18iW2tvLewS5oV34Jp94NKCAMXDB978xKHKFKVKAKwRlN+PG6VXAYlMSIIFxCRgjT1gTvGK1Odt18oohAQpwFUXn0WFVwGJTEiCBcQmk8nhBgBOdX3L/51iPEgpwleXn4dlVAmNzEiCBUQS4pwAHRIkABbjKsZDKY60ApzlfXhXnZtuxpkoTbE4CJBBTAtxVL6aFnyBtCnCV48HIO+tKT3YFeFW2ffgszyotsTkJkEDcCHBf+bhVfPJ8KcBVjodUH+4WwSVut3VWEh+p0gSbkwAJxJTAyJUUAryYTbrHnMaUR9zTpgBXOQJS/bhQFKvtbgqsySVxbpUm2JwESCCmBIx+rIfiOCd9bmkb01GwP20KcJVDoGMAx2ihuNUhgIyVHN6Yo0pLbE4CJBA3AtyAI24V5yNobyuumGH0Y0/JqNWGmdw+0FvEtEYCUSTADTiiWNXp5cQ74Br4GXmYpaPjJIFF2Va8XoMZdiEBEogRAR7AEKNiV5gqBbhCUCObpfJ4WIBz7J+p4KJcG+6rwQy7kAAJxIgAD2CIUbErTJUCXCGokc1GLkWCYKXVhqU1mGEXEiCBGBHg+98YFbvCVCnAFYIqE+BlAC53f9ZjJXFEDWbYhQRIICYE+P43JoWuMk0KcJXA7OY8G7gGaOxCAjEmwPe/MS7+JKlTgGscFyMnYiGBu6xWXFmjKXYjARKIOAG+/414gWtMjwJcIzijD3dBcIXbneuBa+TIbiQQBwJ8/xuHKlefIwW4emZODz6GrhEcu5FAzAjw/W/MCl5FuhTgKmCVN+3I478V+KTz8wSusVpx+zTMsSsJkEAECZQ9fn7VSrpbUUYwV6ZUHQEKcHW8RrU2BnA1Cvie/UMBfpZN4jenYY5dSYAEIkgg1YeXRPAhJzXu/xzBCteeEgW4dnZ8DD0NduxKAnEhYOTRAwzvGX+qlXSONOVFAvaNG6/pEDDyyAA43LEhWGG1Da8Pno5Z9iUBEogAgfnb0dk8hE3u58Muqw2zI5AWU/CIAAV4miDL3u/krSTap2mS3UmABCJCoKMfl6jibicdxWNWO86OSGpMwwMCFGAPIBp59AFIFv/GcH0uiVs8MEsTJEACISdg9OHbEPyJK8B/b7XjT0OeEsP3kAAF2AOYqTyuE+Bm94/sHasdh3pgliZIgARCTsDow6MQnGWnIYJLs21YFfKUGL6HBCjAHsE0+vA2BB/kXbBHQGmGBCJAwOjHTihm2akMNWPh1rnojUBaTMEjAhRgj0COugsG+C7YI640QwJhJWDkcQqAdW78ppVEd1hzYdz1IUAB9pBr2bvge3NJXOyheZoiARIIEQGjD8sh7lGlgpetNpwQovAZagMIUIA9hJzqw90iuMQxKRhK7EVX7wfwrocuaIoESCAkBIw8XgFwrBvucis5vHd8SDJgmPUmQAH2mLCRd97xdLhm/91K4nc9dkFzJEACISDAAxhCUCSfQ6QAe1wAI49PA3hwhNnzrCQe8tgNzZEACQSYAA9gCHBxAhQaBbgOxTDy+DcAv+OazlpJdNbBDU2SAAkElMCoDXoUL1jtOCmgoTIsHwlQgOsAv/PXOKTQjDcBNNnmVXBvro0TsuqAmiZJIJAEjD48AnF3vVI8ZLXjvEAGyqB8JUABrhP+jn7co4rPuOb3DjXj0K1zka2TO5olARIIEAEjjwcAV3QFj1pt+FiAwmMoASFAAa5jIYy8I7iG7UIU/5Jtx1V1dEfTJEACASHQ0Y/XVXG0E04Cd1mtuDIgoTGMABGgANexGKl+XCiK1cMuEviY1YpH6+iSpkmABHwmMH8LOptnuicg2Ttg7cHCrQu4A5bPZQmkewpwncti9OEnEHzWcSN43Gor7gvLiwRIIJoE5n//c3c1f+7HV9jZFd46bMPmE94q3gnzIoEyAhTgOg+Jhf04cp9iQ8mNKL6Sbcc/1dktzZMACfhEYP6/X/xo88X3OF+0h37wew9u/eYPzvcpFLoNOAEKcAMKZORxE4D/47rK7WtD9xbBYANc0wUJkECDCcxF/oGZV915nszfij1/961HB9HGCVgNrkFY3FGAG1QpI4+NQHEzdgW+m0vimw1yTTckQAINJNCC/tcBdR87J+4aRCsnYDWQf5hcUYAbVK1UHp8X4EcjHkUvybbjuQa5pxsSIIEGEJiDLZ0JzNxUclXAnoU7sIBHEDaAfRhdUIAbWDWjH/dDUXwfJHjAasMFDXRPVyRAAnUm0IKBq4HC91w3PxtE8jfr7JLmQ0yAAtzA4nX0YbEKni25VOALuST+q4Eh0BUJkEAdCbQg/98APll0kbhmEK2319EdTYecAAW4wQVM5fEdAb7huu2xkjiiwSHQHQmQQB0I8PFzHaBG3CQFuMEFXqBoaepHD4CU6/qvrCRuaHAYdEcCJOAxgRbk7wKGz/w1B5F0Jl3yIoGJCFCAfRgbHX34AxV8v+S6SXDUpja84UModEkCJOARgRb0vQzI8a655YNIOptx8CIBCnDAxoDRj8egONMJS3GX1c69YgNWIoZDAlURaEHefrKVtjslgFP7kXy6KgNsHDsCvAP2qeTGAM5GAY+U3Kvgolwb7vMpHLolARKYBoE52N6ZwJC7/Eh2DaJt9jTMsWtMCFCAfSx0Rx/uVMGX937/Kyi8fZi17fY/6/AxHLomARKokUAr+i9R6N3F7vrYINrPrtEUu8WIAAXYx2LP346OfTf85dt7/+GPZthhNC9dfm/fii9f7GNIdE0CJFADgbno+7ZA/sSRX+jfb0f7n9Zghl1iRoAC7HPB2z9/xz1D//X5zzhhHLB7t+yedfAA2rb6HBbdkwAJVEGgBX2PAuIcwCCQSwfQtqqK7mwaUwIU4AAUvtXYkFPLOMgN5dZBJL8egLAYAgmQQIUEWtC/E9BZdvMCmhfuwFxuP1khuzg3owAHoPot6LsMkBWlUArQJTvQzn2iA1AbhkACUxFoQ/6UArDObcf1v1MB4++HCVCAAzIY5iK/WoAL7XAUuG87khcFJDSGQQIkMAmBFvQtB2RpsYmsH0TbhwiMBCohQAGuhFID2sxB3+IEZHifaECXDqJ9ZQNc0wUJkMA0CLSg/z1AF7omuAHHNFjGrSsFOEAVb0H+HwF8zf0m/fIg2k4IUHgMhQRIoIxAK94/Q9H0uPvjfbPQNm8rZICgSKASAhTgSig1qE0r+ucr1ATQZrtUFP5oO+b9vwa5pxsSIIEqCbSg/05Av+x+af6XQbRdVaUJNo8xAQpwwIo/F9v+UJD4BzesfoGkuSwpYEViOCQAYD60dRf6fw3AWccv2HfmAA58gnBIoFICFOBKSTWwXQv6XwK0NJGDy5IayJ6uSKBSAi3IXwvg1qL44tkBJE+utC/bkYA7bggiaAS4LCloFWE8JDCWQCvyzyiwxP3N1waRvI2cSKAaArwDroZWA9tyWVIDYdMVCVRJoGzy1d5ZaPsAJ19VCZHN7ScnvIJIgMuSglgVxkQCRQKcfMWR4AUBCrAXFOtkg8uS6gSWZklgGgSKk68GtgHaZJvh5KtpwIx5VwpwgAcAlyUFuDgMLbYEyna+2jSItoNjC4OJT4sABXha+OrfmcuS6s+YHkigGgIt6H8RUHeTHFkxiLbLq+nPtiRQIkABDsFY4LKkEBSJIcaGQAv6Xwb0+OLjZzljAG1rY5M8E/WUAAXYU5z1McZlSfXhSqskUD0BndOC/u2lfoNomwvIjurtsAcJOOvHeYWBAJclhaFKjDHqBFrRf7pC3d2uePJR1Otd7/wowPUm7JF9LkvyCCTNkMA0CLSgfyWglxZN6MuDaOeBKdPgGfeuFOAQjQAuSwpRsRhqJAm0oK8PkGQxOU7AimSRG5gUBbiBsKfrisuSpkuQ/UmgdgJzkb9OgJvdu9/8INrba7fGniTAd8ChGwNclhS6kjHgiBBoQb4PgHP3q8D125G8JSKpMQ2fCPAO2Cfw03HLZUnToce+JFA9gRbklwEorffNDyLJu9/qMbJHGQEKcAiHBJclhbBoDDnUBFqRzyhweDEJvvsNdTEDFDwFOEDFqCYULkuqhhbbkkDtBOZgS2cCMzeVLBSwZ+EOLOit3SJ7koD7VY4gwkmAy5LCWTdGHT4CLehfDuhSO3IF3tyOZFf4smDEQSTAO+AgVqXCmEYvS8LmQSRTFXZlMxIggQoJjJx8BWD5IJJXVNiVzUhgUgIU4BAPkOKyJLwH6AFuGvcOInlxiFNi6CQQKAKjlx6Bk68CVZ3wB0MBDnkNW5C/B8Bn3DcKuwU4eABtW0OeFsMngUAQ4NKjQJQhskFQgCNQ2hbkcwAOclO5dRDJr0cgLaZAAr4SaEH/CkAvc4Pg3a+v1YimcwpwBOrKZUkRKCJTCByBVuT71N14A5CVg2hzJmLxIgGvCFCAvSLpsx0uS/K5AHQfKQIj3/0KkB/gxhuRqm9QkqEAB6US04yDy5KmCZDdSWAEgRb0vQ3IB+0fcdtJDo16EaAA14usD3bLTkvKDaLN8CEMuiSBUBMoO3ThnUG0HxrqhBh8YAlQgANbmuoDG7ssSe8eRHtpEkn1BtmDBGJIgDOfY1h0n1KmAPsEvl5uW9C3CpDSWmDO3KwXaNqNJIFW9K9W6IVucvz7iWSVg5MUBTg4tfAsEn6D9wwlDcWIwDjzKO4ZRPslMULAVBtMgALcYOCNcMd3WI2gTB9RI9CK/FsKOO97BXh7AMnDopYj8wkWAQpwsOrhWTScxekZShqKAYFW9N+v0PNLqRagS3ag/bkYpM4UfSRAAfYRfj1d8y64nnRpO0oEyh89K/DgdiSHxThKuTKXYBGgAAerHp5Gw7tgT3HSWEQJ8NFzRAsbgrQowCEoUq0hlt0FbxtE+4G12mI/EogiAT56jmJVw5MTBTg8taop0hb0vQ/IPLfzLkAe4J62NaFkp4gR4KPniBU0hOlQgENYtGpCbkH+pwDOHdlHgd0Cua+A3dftwILeauyxLQlEhQAfPUelkuHNgwIc3tpVHLkrwmcBmDW2k/wK0CZA13PXrIqRsmHICZRtWAPOeg55QUMaPgU4pIWrJWz7fFOFXiDAAeP3154CcCWXX9RCl33CRGAu+ncK1PlCqsD925Es7X4VpjQYa8gJUIBDXsBawm9BfpkCSwQ4fLz+Atx3ANq+sBUyUIt99iGBIBNoQf4JAKcXxVd2bUfb7CDHy9iiS4ACHN3aTpnZHGzpTGDWdwA9GdCusg4FQH4oGPqPARxof2DxIoHQE2hF/ikFTi0lIsADA0heEPrEmEAoCVCAQ1k274O2Z4Q2QVaWtuIb7UF6AV1bwJ5vcNKW9+xpsTEE5iL/lIwW32cHkDy5Md7phQTGEqAAc1SMItCC/pUAPgJo5wRoegB9WZD4N4X0DKKlB5C9xEgCQSbQgvztAL464s533QCSHwlyzIwt+gQowNGvcU0ZtuL9MxTNvw3olwAkpjCSAdCjwDyBvp2AfKsfyY01OWYnEvCYQPljZwXWbaf4ekyZ5mohQAGuhVqM+syHtu5C/geALAZQ/p54MhKvCrCmAKzZjrY1gBRihI2pBoCAPcdBMPNJAUaeanTHIJJXByA8hkAC9qlbvEigMgLFSVszb7Y/0BTYBqC7QlHeBeBtQF8qYC/fI1eGm61qILB/YmHBfrc76gujAHzsXANTdqkfAQpw/djGxLLOaMFgt0C7FYXfBeQYFJc3jbPpxzASE5AXBLhlAK3PA7IjJrCYZp0ItCK/WqGLAEmP70I3DaL94Dq5p1kSqIkABbgmbOw0OQFNzEX/OQngHAXOAXDs5O1lPYACoG8UsOd6zrTm+KqUQPGOd8YvAfng+H2kR6Gvb0fyokptsh0JNIoABbhRpGPspw35IwrAXwNYUtkja35oxni4TJn6XGw7QSB/AWAxIGPmJQiQUeizfN0xJUo28JkABdjnAsTNfek9MqBHAokEoMdPzMBef1x4A5AtisLfbMe8l+LGi/kC7pj5LoDjAHwAQGqCx8zvFLD3o3yCwlETFgIU4LBUKrJx6pxWDJykKFwHyIcBTPAOzwGQA+TXQOG1QbRfHlkkTAz7n5rokvHuckcj4hMTDplwEqAAh7NukY3afaf3+MSTaYqpK3QnII8JCuv2w5AzAPRxk5AwDo+q5g3kAPwawCvcnS2MtWbMJQIUYI6FQBIozmrFHIHuUcAAxN6Za4JHj5OmUNokJCnQXgW+X8DM13ZiznuBTDzyQWnTLPQdMgN6sKLpYECuAPToqWfOiwno83wVEfkBEqsEKcCxKne4k3Un3/ylAucJZLon2NjrmF8r3k2jX1B4WpA42d4tRFB4puwR52kABhWyqvgYvJBTDOV2YL79SDxyG4zYp2UBcpBAtxd5aAsguUEkr5h6BI1alvYl2w4gWYUeIoC9DGiiLU7LTXPt+NSw2SLkBCjAIS9gXMMviQSw79H9j3PkVIXMBbCzik1CpotwMyAWoDkBcgp0KLB39KPxsS4mFvtawxH7eL1+AD8qYMZbTdj39gDatlZjrXhetP3lRsf9cqPQHYA8budWij8BTXjInLunVVMwtg09AQpw6EvIBCYmMOpu7IsCOViBPQAWAZgXA3L9gL6tkLcE2qbAzgSkULrLHy2iibMwgfDWgZP9KuA9gbwL6EJA3ktAuX94HUDTZLAJUICDXR9GVycCs7Hj4AT2LBIkfh+QdmBo7UR3pYLEqQrMECCrzntoSQFqADioTuH5alYhOwF9LAE4Ym3f5RaAMwUyp8LAnPfuANqKj+zxE8G+9/ZC3tuF9ncB2VehHTYjgUgToABHurxMrr4ENDEHW1OC5hSQsCeIpRLQSxRoAfTJyXx7/QhaYD9+x2yF9Av0MEAOdQWwCgS28OLBQbQtHa/TyMf+++PHAYDmOfO8CsxsSgIuAQowhwIJRJRAK/rn70PToQnstU8D+gIgrQLsKX8EXd0kq4jCYlok4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABCjAHAMkQAIkQAIk4AMBCrAP0OmSBEiABEiABP4/WPKjaIaxq4UAAAAASUVORK5CYII=</pentrails><costumes><list struct="atomic" id="2"></list></costumes><sounds><list struct="atomic" id="3"></list></sounds><variables></variables><blocks></blocks><scripts></scripts><sprites><sprite name="Sprite" idx="1" x="-972" y="121" heading="90" scale="1" volume="100" pan="0" rotation="1" draggable="false" costume="0" color="255,35,24,1" pen="tip" id="8"><costumes><list struct="atomic" id="9"></list></costumes><sounds><list struct="atomic" id="10"></list></sounds><blocks></blocks><variables></variables><scripts><comment x="20" 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="20" y="76.00000000000001"><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="20" y="376.50000000000006" w="90" collapsed="true">2.2  Inclusive.</comment><script x="20" y="408.5"><custom-block s="%s ≤ %s"><l></l><l></l><comment w="280.6666666666667" collapsed="true">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="20" y="443.49999999999994"><custom-block s="%s ≥ %s"><l></l><l></l></custom-block></script><script x="20" y="476.49999999999994"><custom-block s="%s ≠ %s"><l></l><l></l></custom-block></script><script x="20" y="544.4999999999999"><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="20" y="579.4999999999999"><custom-block s="%b xor %b"><l/><l/><comment w="117.33333333333333" collapsed="true">exclusive OR. FTTF</comment></custom-block></script><script x="341" y="93.66666666666667"><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="doIfElse"><custom-block s="is %s between %s and %s ?"><block s="yPosition"></block><l>-60</l><l>60</l><comment w="53.333333333333336" collapsed="true">2.4</comment></custom-block><script><block s="setColor"><color>24,241,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"><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><script x="16" y="509.4999999999997"><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></scripts></sprite></sprites></stage><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></blocks><variables></variables></project><media name="U2L3-PredicatesPage2" app="Snap! 6, https://snap.berkeley.edu" version="1"></media></snapdata>