<snapdata remixID="9759653"><project name="U2L3pp1-3-Predicates" app="Snap! 6, https://snap.berkeley.edu" version="1"><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><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,iVBORw0KGgoAAAANSUhEUgAAAeAAAAFoCAYAAACPNyggAAAAAXNSR0IArs4c6QAAIABJREFUeF7tvQt4ZFWZ7v+uqqQvqXSSZqC7UdDuBkecEQXREZSeSdOVP+LoGXBkBEckF/ACXvCCQAt2kKvAKCjegFTiAQdGVDxnVPSkuokDCKMojHCUcw6d7hnUTjdIJ+lUOt1J1fo/e9euZKc6l9pVa+3L2m89zzyDnb2/9X2/79v73WvttdcS4I8ESIAESIAESMB3AsL3FtkgCZAACZAACZAAKMAsAhIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIESIAESIAEKMCsARIgARIgARIIgAAFOADobJIEdBOQQB3Wr/40IJcW20o4TRZc/239U/n/dns2z98K2I+dQ7cJ4IDuOGifBEwmQAE2ObuMLbYE5PpVWyAS3UUAEoBzqUsJCNdlX/6/3cQW+hsKl4nte26KLWAGTgIKCFCAFUCkCRIIEwG5GimkVj8HiDVF8bX0V7EAy0K3GNxzdZjipi8kEDUCFOCoZYz+ksAiBOT61ZdDiBuKnV85BIhvzJxSwxC0QCtg/x9AAWYdkkDNBCjANSOkARIIFwF7+BmiuzjsLG8Ug7uvUOHhrGFtCrAKpLQRcwIU4JgXAMM3j0BRgK33v9bws1Q2VDwt7NZwNgXYvMJhRL4ToAD7jpwNkoBeArN7qugWg0NK3tXK9Wu2QKA4sUuqs6uXBq2TQHgJUIDDmxt6RgJVEZDHrLkZwKftkwvyKrFj97VVGSo7iQKsgiJtkMAMAQowq4EEDCMg16/phUC701PtFINDvSpCpACroEgbJEABZg2QgLEE5DFrHpqZrSzbxODurIpgKcAqKNIGCVCAWQMkYCwBuX710xDitXaA+fyJYucLT6kIlrOgVVCkDRKgALMGSMBYAnL96l0Q1iIcACYOHi3+8NLvVQTLWdAqKNIGCVCAWQMkYCwBecwaZ/krQGwfUjbPg0PQxpYMAwuIgLKLMyD/2SwJkICLgHz5YUdh2ZLn7X+SckgM7j5SFSAKsCqStEMCRQIUYFYCCRhEQK494gQkk086AvyMGNx9vKrwKMCqSNIOCVCAWQMkYBwBuX51GkL0O4ENiO1DG1UFSQFWRZJ2SIACzBogAeMIyPVHdACJTHFwq9AnBvd0qAqSAqyKJO2QAAWYNUACxhGQx6y6Ckh83g6sULhF7NhzqaogKcCqSNIOCVCAWQMkYBwBnSKp07ZxiWBAJFABAU7CqgASDyGBqBDQKZI6bUeFL/0kAZUEKMAqadIWCQRMQKdI6rQdMDY2TwKBEKAAB4KdjZKAHgI6RVKnbT00aJUEwk2AAhzu/NA7EvBEQKdI6rTtKUgeTAKGEDBegCWwFGtXfRwJLEcBQ9i5p0cAU4bkj2GQwCwC0+s1Fz9D6haDe65WhYgCrIok7ZBAkYD5Arxu1aVIJG6yo5USkLhA7NjdwwIgARMJ6NyxiAJsYsUwpiAJmC/A61ffDSHeVxRgW4QvFDt23xUkdLZNAroI6BRJnbZ18aBdEggzgTgI8MzeqLLQjcE913EIOswlSd9qIaBTJHXariVmnksCUSVgtADLI45oRFNy33RyRvMrxAsvjEU1WfSbBBYjoFMkddpeLC7+nQRMJGC2AK8/4lSI5MPF4WepdGcYE4uBMUWfgE6R1Gk7+uQZAQl4J2C4AK/+OIS41RHge8Tg7vO8I+IZJBAdAjpFUqft6BCmpySgjoDpAuyagCUvEYO7b1OHjpZIIHwE+BlS+HJCj0hgPgKmC7BrAlZ+gxh84RGWAgmYTICfIZmcXcZmGgFjBZgTsEwrVcZTCQGdw8Q6bVcSG48hAdMImCvA647YAJH4t+JaI5yAZVrhMp65CegUSZ22mU8SiCMBgwV49WYkxHV2UqXkBKw4VncMY9YpkjptxzBVDJkEzF2KkjcLVnccCeise52245grxkwC5vaA16/ZAoHuYg8Y3WJwSNmi9CwbEggrAZ0iqdN2WHnSLxLQSYACrJMubZOAzwR0iqRO2z5jYnMkEAoCFOBQpIFOkIAaAjpFUqdtNdHTCglEiwAFOFr5orcksCABnSKp0zbTSgJxJEABjmPWGbOxBHSKpE7bxiaEgZHAAgQowCwPEjCIgE6R1GnboBQwFBKomAAFuGJUPJAEwk+Aa0GHP0f0kARKBCjArAUSMIgA14I2KJkMxXgCFGDjU8wA40RA5zCxTttxyhFjJYEY9IBXbQFEd3Et6EK3GNzDhThY98YT0CmSOm0bnxgGSAJzEDC4B7xqC0TCWQmLAszqjwcBnSKp03Y8ssMoSWA2AYMFmEtRstjjR0CnSOq07UemJFCH9asvhUQDhJgCCgASTtPz/XfJM/ffy70t+1sB+7Fz6DYBHPAjLrYRXQIU4Ojmjp6TwCEEdIqkTtu6U+mI7/2AONNaHH76J5xboJTAXP9dOtD993Jn5/xb4TKxfc9NuuOi/WgToABHO3/0ngRmEdApkjpt606jXLf6SiTENXY7lmCWfroEWPK1l+6cmmCfAmxCFhkDCTgEdIqkTtu6EyjXrb4GAlfakzKFHIAUA8qHoIVsBURrUeQpwLpzaoJ9CrAJWWQMJDAtwPpm/0dagNfrn5Q5vQiK1aumAPOarIAABbgCSDyEBKJCgAtxzJ0pPx4edLKPSv3RT28EKMDeePFoEgg1AZ1Co9O2bqh++M4esO4smmefAmxeThlRjAlwLegge8D89DHGl15VoVOAq8LGk0ggnAR0DoP60YvURVXng0nJ5yjz0cWddhcmQAFmhZCAQQR0ioBO27pToPPBhAKsO3vm2qcAm5tbRhZDAjpFUqdt3anyw3c/2tDNifb9JUAB9pc3WyMBrQR0ioBO21qhWJ/lrtf/ftaPNnRzon1/CRgswPq+h/Q3RWyNBConMPOu0zpHKt0FLMoC44fvfgxzV14JPDIKBMwWYO6GFIUapI8KCcwWGrWrMfkhYgpRzDLlh+/8DElX9sy1a7AA6x9yMrcsGFlUCch1qzcjIa6z/ZfyHjG4+zxVsfghYqp8Lbfjh+9+tKGLD+0GQ4ACHAx3tkoCWgjIdUdsQCL5b44APyMGdx+vqqEoC8xM79R+MFE6NF/iG2U+qmqEdrwRoAB748WjSSDUBOQRRzSiKblv2snR/ArxwgtjKpyOssDoHJqnAKuornjaoADHM++M2mACcv3qpwG8ttgLLvy12PHCwyrCNUeA0S0Gh65WwcRtg5OwVBM13x4F2PwcM8KYEZDrV98NId5XFGBcLgaHvqACQcQFuAMCGYdJnxgc6lDB5BABhugGd0NSjdZYexRgY1PLwOJKQK5fcxkEbiyKjbqJWJEW4GPWtAPo1SvAnPgZ12uu2rgpwNWS43kkEFICuiZiRVqA165pRRIPOSkbENuHNqpOX5T5qGZBe5URoABXxolHkUBkCOiaiBVlgZEU4MjUb5wcpQDHKduMNTYE7IlYQjgTsfIbxOALj9QafMQFeC2S2OEMQe8Ug0PrauVRfj4nYakmar49CrD5OWaEMSQweyKWvEQM7r6tVgwU4IUJciWsWissfudTgOOXc0YcAwJy/eqPQ4hbiz0+NROxoizANoZj1shS6sX2IeX3vqjzicFlEboQlRdhWCLkxRCWTNCPIAjI9UecCpEsfv8rpZIVsXYcd9iWtZNLui2TO+sPdq979iXl39LqZKVfgFdtAdef15lC42wbLMCl3ZDsO5CWpeeMqwYGZAwBHROxLjoNW96UW24L8C9T+7u/tg3REuD1a3ZAYK2d5DzWiZ1DO1UmnEPQKmnGw5bZAsyn0XhUMaOck8DMilgCkPmaV8TqTGOLELAFWEp0Z7IUYDd4CjAvRK8EDBZgfhTvtRh4vFkEyiZibRaDu2+oJcLIC/Axa6zvgFudHvBGsXNooBYe5edyFrRKmvGwRQGOR54ZZQwJqJ4HQQFeuIjYA47hRVZjyBTgGgHydBIIKwEK8OzMyPVreiFgLUlp/TrE9qE+lblTzVulb7QVTgIU4HDmhV6RQM0EpntksC7zQs0TESPfA16/qhcQ7bB55DvF4AvFtaEV/SjAikDGyAwFOEbJZqjxIqD6naQBAqz1MyEKcLyuLxXRUoBVUKQNEgghAdWCEH0B1jsxUzXvEJYUXVJMgAKsGCjNkUBYCKgWBArwwplVzTssdUQ/9BGgAOtjS8skECgB1YJAAV5MgLkSVqAFH8HGKcARTBpdJoFKCFCAZ1NSzaM8B/wMqZKq5DFuAhRg1gMJGEpAteBEvwdcWp5WzazwQwVY7ztmQ8s01mFRgGOdfgZvMgEK8EI94No/y6IAm3z1+BMbBdgfzmyFBHwnQAEuF+DVV0CI651//YnYPnSGyqSo5q3SN9oKJwEKcDjzQq9IoGYCXIijXIBXvgJi6X/a/yoxgX35I8QLL4zVDNoxQAFWRTI+dijA8ck1I40ZAS7EcWjC5frVT0KIE+y/5OWZYufu/6GqLCjAqkjGxw4FOD65ZqQxI6BaEKI+Ccvu+K5bfQ0S4spiKci7xPbdF6oqC9W8VflFO+ElQAEOb27oGQnUREC1IBghwGtXn4ykeKyov3JIDO4+sibIrpNV81blF+2ElwAFOLy5oWckUBMB1YJgggDburt+9S4IscYZhj5F7Nz9eE2gnZNV81bhE22EmwAFONz5oXckUDUB1YJgjAAfs/pOQFxggy3Ia8WO3VdVDZk9YBXoYmuDAhzb1DNw0wlQgOfOsFy76kwkEw84w9BPicHdJ6qoBdW8VfhEG+EmQAEOd37oHQlUTUC1IBjTAz7iiEasSL4AyGU23InJV4g/vvR81aCdE3cdd/iWNZN13db/HKw/2H3Msy9dXatNnm82AQqw2flldDEmQAGeP/ly3aoHkUi8rTgMXbhU7NhzS62l8oHTsOXUseXdEMAjqf3dd2wDBbhWqIafb7AA61331fC6YHgGEKAALyDA692rYsk7xPbdH6w15aaMENTKgedXTsBsARYJezgIUv26r5Uj5pEkEAwBCvACArx21elIJn5SvD/IR8Xg7lNrzRIFuFaC8TvfYAHmziTxK2dG7CZAAV5AgI8+/GVYUvcHR4CHxeDulbVWDwW4VoLxO58CHL+cM+KYEKAAL5xouX71MIRoto86OPVy8fyLf6ylNCjAtdCL57kU4HjmnVHHgIByAd6Eq0QCny++1cHNma34TJQxymNWPwqItzi94DYxuDtbSzwU4FroxfNcCnA8886oY0BAgwB3CYG7bAGW6MtsRUeUMcpjVt8BiOJa0FJeIgZ331ZLPBTgWujF81wKcDzzzqhjQEC5ALfhvwnA3j1ISvwwk8U7o4xRrl/9CQjxxWIMtc+EpgBHuRqC8d1YAd5/7Kotv0xN2LOg35Rb1r38uT38Ji+YGmOrARFQLsCbcIpI4Oe2XAH/nunHyQGFpqRZuW5VGxKJ/+X0gGueCU0BVpKWWBkxVoCvObVuy87lU7YAr91f133VI1MU4FiVNoOdXL9qy8+bJroLAE4dXdZdP1jbQ2h7G16VBP5vUbCwvSeLY6NMWSqeCU0BjnI1BOO7sQLMiyGYgmKr4SGw+a8TW3YvLdgPoev313V/tsaH0PZWtCTrsdfpAY9m+lGcQRzhn8qZ0LznRLgQAnKdAhwQeDZLAroJ6BCErjQOQqBeSsi6vVh6x68wqTsOnfZVzoTWwVtn7LQdPAEKcPA5oAckoIWADkHoTGOXELD30pXAyzP9qOnbWS2BezCqcia0Dt4eQuGhESRAAY5g0ugyCVRCQIcgdKbxGyFwvNW+KOD1d23FbyrxJazHqJwJrYN3WLnRLzUEKMBqONIKCYSOgA5B6ExjmxDY6ASb7unH1tAF7sEhlTOhdfD2EAoPjSABCnAEk0aXSaASAjoE4YI0/kUK/IPTAz7nrq34l0p8CesxKmdC6+AdVm70Sw0BCrAajrRCAqEjYAkCAHt/Wkh0Z7K170/blcZXIXCRHazER3uyuD10gXt0SNVMaAqwR/A83L40jfzxYjAyrQzKAwEd10DXJlyNBD5nu1HA53u22iIf6d/kMasf/fmK/faa0CeNLDu9ccee4uIcHn86eHt0gYdHjAAFOGIJo7skUCkBHYLQmcZHhcCXix1gfDXTj49U6k9Yj/untyy947epA/aa0K8ar7vi8kenbqzGVx28q/GD50SHAAU4OrmipyTgiYAOQejahHOQwL22AEt8J5PFezw5FcKDP3IaLt+fxA1OTN/IZPHhatzUwbsaP3hOdAhQgKOTK3pKAp4I6HgH3JlGWgj0Oz3gbZl+bPLkVAgP/uBGvH2qDj+yXZN4vCeLU6pxkwJcDbV4n0MBjnf+Gb3BBHQIQudGvF7U4Smnt/h0JovXRR1heyvWJOuxy4lpOJPFympi0sG7Gj94TnQIUICjkyt6SgKeCOgQhPefhpfXJ/F7x5FdPf14mSenQnpwZxp7hUCL5V5+Ekf2DWDIq6vtp+GyZBL2+2Mpkc1k0ebVBo+PFwEKcLzyzWhjRECHAJ/9l1jS9DIccIZrJ3uyWGIC0q40HoMobq+YL+CMvq34ide47J50HZ4HUAdganwKR947gBe92uHx8SFAAY5PrhlpzAjoEGALYWcbRgTQ5PQWV/YNYDjqaDvT+LoQ+JATxyU9/bitmpg60+gXAmm7F1zABZmt6KnGDs+JBwEKcDzyzChjSECbAKexXQist5FO4lU9A3gu6ni72vBxALc6w8dVz4TuOA0XJJK407HDYegACuOMY7F0zSvxcSGwXAgMbZ9Ez8AApgJwZdEmKcCLIuIBJBBNAtoEuA2PC+DNTi/vLZmteCyahGa8bt+EtyUTeND+lxpmQp/bisMb6rALAnWQHIYOoi66NuEKJHB9qe0wj0RQgIOoELZJAj4Q0PEZkuV2Zxo/FAJ/a4eQx3/r2YZ/9SEcrU2omgnt8OEwtNZsLWzc/eBpHVnI48LebbgrQJfmbZoCHMas0CcSUEBAVw+4qw29ANqd3mJXTxYZBe4GbkLFTGgrCA5DB5vK0oOnKKrbfdsncR6HoH3Oia6nf5/DYHMkUDUBXddAVxo3Q+DTdu+igC29W/H5qp0M0YnWTGgJnGyvkJ/H2zPbnCFpjz5yGNojMMWHTwtwcSJcd2Zb7ZuQKHZx2hx7wLrI0i4JBExAVw+4cxOuEomi6EqJqicsBYznkObdM6ELBWzu3VpcnrKaH2dDV0NNzTmzBBhqdgFT49mhVijAusjSLgkETEBXD7gzjb8H8F0nvJ9ksjgj4FCVNK/ygYXD0EpSUpURlXmsygEPJ1GAPcDioSQQJQK6bkTtrTghWY8n7R4w8GymH6+JEpf5fFXJi8PQwVWEyjzqjoICrJsw7ZNAQAR03YjaW9GSrMdeW4Al9meyaAgoRKXNqubFYWil6anYmOo8VtxwFQdSgKuAxlNIIAoEdN6IVM0YDhNH1bw4DB1MdvkOOBjus1pVfTGFICS6QAKeCOi8Brra7CHoEyyH8hKn9GXxuCfnQniwal4chg4myarzqDMK9oB10qVtEgiQgM4bUVcaD0DgTDu8As7t2Yr7AgxVSdN2z0mgW0j73XZ3Jlv75ytlw9DXZ7bis0qcpZF5Ceise9XYKcCqidIeCYSEgM4bUWcaXxICl1ihygI+l9mKa0ISdtVu6ODVlcYnIPBFm5PERGEKJ/YN4NmqneSJixLQkcdFG63yAApwleB4GgmEnYDOd2Edm/CxRKK4Y5AE+jL96Ag7j8X860jjswmBax2xvCOTxQcXO2exv1sbAxy5Fj8XwBskYK3x8fj2KWwI68pMi8UThb/rrHvV8VOAVROlPRIICQGdPYGyzQsGerLYGJKwq3ajI43TE2J6H+BHe/pxatXGXCe2t+K4ZB2ehMAy658F8Om7+vFPKmzTxqEEdNa9at4UYNVEaY8EQkJA543IFpV6/M7pAe/M9GNdSMKu2o3ONrxMAH9wesDDmSxWVm2s7MQL2vApCdzi2OZQtCqwc9jRWfeq3aYAqyZKeyQQEgIdaXQkxPRGCX09CoeJ21uxLFGHcSEgrG33tk9huQnDql1pDEOg2XmweHmmH39Ukc7WVtQdU4eHIXCyI8K/HpzCm01gpoKPShscglZJs0pbUXoKqjJEnkYCCxLobEO7gL1zkfVTKsCWwc40dgmBNdZ/5yexrm8AO6Oeks42PCqAtzgi2ZbJIqsqpvKhaCnxhUwWl6uyTztFAlG697MHzKolAUMJtKfRmhR4yA5PQvl7Wmv3oFKPLi+xsS+Lgaij7EzjDiFwoRPHJT39xYlmqn6dbbhOAJudnEwhj9aeh/CoKvu0QwEORQ1E6SkoFMDohHEEtAtwG+4FcI7dA5bo6jNgX+COND6RmPlsSMlM6LLCSnSm8TMhpid4/T4/ieP7BjBsXAEGFFCU7v1m94CB7uLDv5qP6gOqJzZLAlURaG/F2mQ9djjXgPKJUp1p3CBEcQhVStyYyeKKqhwN0UkXbEKbTOB/OS4pmwntDrG9FWsS9fgPAayy2RXwQGYr3hUiDJF2hQIcgvRFKQkhwEUXDCTggwB/QAh800F3X08/zo06Rp0zod1sujbhbUjgRwASzr8rH+6Oei6q9T9K936ze8DC6QFL9oCrLWaeF20CXW3WAFDx19NvfYKq7lc2xP14TxanqLMenCVdM6HLI5o1ggAcxBT+KvMQ/iO4yM1ombOgQ5DHKD0FhQAXXTCUgFYBdg9xSwxlsjjSBIw6Z0K7+Zx9NpIrhu1Vsv7K/neJ/yv3442ZR7HPBI5BxRCle7/SJ+KggM/VbpSSECZu9MUsAp1t2CGAtVZUqj8Vcr5t3Q+BOikhC1No6BvARNQJ6p4J7ebjvCb4NeAs+iHxzz1Z/GPUGQbpf5Tu/RTgICuFbZOAZgI6Bdhyvcz+a0zYaMCHmdCzst6+CWcmE3hg+h8LaO/Zim9pLg1jzVOAQ5DaKCUhBLjogqEEutJ4CAKtdg9Yw7e6s+wXcEbf1um1lCNL1I+Z0OVwOtP4uhD4UHEkGrnCJN5owsNMEEUQpXs/e8BBVEiI27SGFdfX4zOQqA+xm5AC+4d24LYHn8OBMPsZtG+6BbizDb0CaLfjLODinq34WtAx19q+XzOh3X5+9AwsHZ/ELyDwOvvfJZ5qqMfJX3mQ9e01n+6HGRSwuWcrbpjPhrNb1ccgUD84iZv8XhqUAuw1u4Yf756Zac+fdSpESkBUUS2LnbfY3+fCXTqnUMBlvVtxk+EpqSm8rjZ7KUpbICXQkelHX00Gy04u623cmsniEyrtB2XLr5nQ7vg6NuEvRAK/EEDKzpfENzJZfDgoBlFt11qhTQInW7crWcDbM9vw4FyxdG7Eq0Udvg3gJIf3ZzJZ3Oxn3FXcUv10r/q2ojQMUX2Uas+01qpN1OFJ4Wyb5hbgWf/tpVmXiM952mJ/n1OBiw8Gkp+XLZqJzk3ohUC7w6uzNzu9NvSi51ZyQHsa700K+yZmKfwPerI4q5Lzwn6MNRMaEm9xbuKnZ7ZNL86h1fWuTTgfiZmHpHwBZ/VtxQ+0NmqY8c409gqBFius/CSO7BvAUHmIVkcDwCUAlpU6FkHcTyjAhhVfteHYQ891eAzAG+2ClHhKInwXvgBaJdBadJHfdy+Wb90Pou1pnJwUdt1Yv6d6+nHiYj5F4e/umdCygM9mtuJ6v/zuSuPbEHiv097e/CTeYMJGF37ws1YZS9Zjl/08KDHnlpJdm3AFEk4+p7+SD+Z+QgH2oyoi0EZXGj0Q6HR6MhP5KZwYxkkgugUlAqny5KJuXpXc8Dw5HJKDOzdhs0jgOudG7uvQeudbsUIsxxMQ+PPiwAJ+sa8Fb7n/fuRDgie0bnSehjNEEj927mNzLg7T1YanAbzWya3FNGl1OtgDVphW3Tceha4Gasrp+d4BgQ7rSneGY27o6Xd2bAnUu0MbZ169JcQPXp1pe1/g5ZZn+UmsNGFjgY42nJsA/tkRwO9m+nG2N/K1Hd25Ea9Hnf0+eIkjFEastV0blcXP7mrDZQBudJgd8g591oiNxIQE7gTw0aBG1NgDXjynRh/RlcaVELjGKVhLgL/V0+/Mag1h5H4ISgjDrtolP3h1tuF3AjjOEWBr5OSpqh0OyYmdaZwqBB5eqCel29WuNnwcwK1OOwUU8Lc9BnzmpZNbVxvuBvA+p43Le/rxBXd77ln7EuiDxE4R4JLFFGCd1RAB211pXAOBKx1XQ7+gvh+CEoG0VeyiH7y60ngQAm+zH+LyeFdmm2tRiYo9DdeB7o0sAPy+px9HB+Fh5yZ8XySKE9sksKcwidfPNakoCN/C2GZnG54Wsji8nJf4676tzkMUgPf/Ff6srgm/tyZeWX8vAKckgNMpwBoy6ceNR4PbvpuMGqeo+et7Qssa9IOX+7vLgsRVvVlcG3TcKtrXuY52pf61t6IlWW+/szzKFmGJR/btwqb7/zcOVmojLsed3YrGpvqZdbRHJ7Hi/gGMleLv3IRPiQRucTg+k8nieD+uj4X4swccl+qcJ86gC9Ar/qj56zU+1cf7wcuPNlRbks9dAAAgAElEQVRzqcReVxueLwmf6nW0K2m/dEzXRrwVSQxYa2474nFFJlt8z8nfDIFZrw2AZ3r6cbybj3t4uiBxZW8W1wVduxTgmFdw0AXoFX/U/PUan+rj/eBVasP+osOgb7OtBR0gcLIjehsyWTyiOj+V2utsw+0CuNg6viBxbW8WV1V6blyO60rjRgh7Epb1u6enH+eVCbB79rOdTz+uj4X4U4DjUp3zxBl0AXrFHzV/vcan+ng/ePnRhmouldjrbMP9kHi3fZOUOLdnK+6r5Dwdx9iMgW7ns9XuTBZX62gnqjb/sRVHLavD7yDQ6DykfLI3iy+V4plveDro2qUAR7XiFPkddAF6DcPyF0B3UJ8NePU36OP9yK8fbQTBsTONLwlhr5ZkTYC6JtOPzwXhh9WmqYxV8exsw72QOMe5L/xu106c6F4nvn0TNiQE/s1ZWveZjDM8HfT9hAKsqgIiaidqF3bU/A26LPzg5UcbQXCcNWkHeG5wEq/xe7H+UtymMlaR18400kKgv2RLShzyuqCzDZsFiguroIB7erYWh6eD5mq0AFs9JfuJx6D3UioK1m0j6AL0Gk/U/PUan+rj/eDlRxuquVRi77zXIbVkFXZC4HD7vl3AOb1b8S+VnKv6GFMZ18rJ2s3oZWvxm9KqYXO9+11IaIPmarQAB/l9V62F5df5QReg1ziDHjLy6m/Qx5d46XwQjVoNecmJO7Yg17o2mbGXfJQfW/Zp0XBhCq+ZZ/OFLXPpQdBcKcC1ZN+Ac4MuQK8Io+av1/hUH+8HLz/aUM2lUnvntuLwhjo8j9IOYUC6px9bKz1f1XEmM66FUWcaDwiBM+0RigVmh8/HL2iuFOBasm/AuUEXoFeEUfPXa3yqj/eDlx9tqObixd6syVgS2UwWbV7OV3Gs6YyrZVTaetDaI9zp/T47ly0KcLWEqzyPBVsZOD+GKCvzpLKjmNfKOJWO8oOXH214i1rt0e9rxbFLi5+42Ath5CftncJ8Xe/adMbVZOz8jTiprg5P2OdKHDi4B39292+Qm0+A55oTFDRX9oCrybxB5wRdgF5RRs1fr/GpPt4PXn60oZqLV3vWZy4COKd4r8d9mX6c69VGLcfHgbFXPh1t+FwCxe+hrR4wgCFYGywAE+W27H3EBVqt5FlCXPqOOmiuFGCvWTfs+KAL0CvOqPnrNT7Vx/vBy482VHPxaq+9FSck6/Gk09uaOjCF19wzgOe82qn2+NJIFb9/nyHYlcYDcN7/WgJsi5kDyPnet5iumW1WS0JNAa62ECs9L2pDq5XGpfq4qN08o+av6nx5tecHLz/a8Bq3juM70+gXAmnnpn5rJotP6GhnLptxYeyFZ+n9r6sHXNzP3OrluruW7v8t7T/PEuAgF/ZhD9hLxg08NmoPKrwReStCP3j50Ya3qPUc7V7wQUpM7J/C0fcO4EU9rc22GhfGlbLsOA1vSCTxq2nxFYAs4GEhDp2hbg0/wxl+Ll/KM2iuFOBKM27ocUEXoFesUfPXa3yqj/eDV5yGR7va7GHoE5wbv29rMvuRR9W1p9Oee2Ur+/2vJcB5XNu77dBNKtzsyvMWNFcKsM4qiYDtoAvQK6Ko+es1PtXH+8HLjzZUc6nWXtcmnCMF7rXOF8CL+Skc3Tdw6KSfau3Pd16cGFfCriONaxICV7p7wMijO7Pt0E0qKMCVEFV8DAu2MqBR4xQ1fyvLgr6j/ODlRxv6CHmz3NqKuvX1+J0AjrVv/gV8LrMV13iz4v3oODGuhE7HafhsIoFr7RzMnDDniMQsdsUTOAmrEsi1HMOCrYxe1DhFzd/KsqDvKD/e8cdpCNrKVOcmXCUS+Hzp05fCFNbp7gWz7mdfI+8/FX9etwy/EEBzSYClxGW9W3FT+dXUlcaVEMWHJCdnFGB9t5yiZRZsZYSjxilq/laWBX1H+cHLjzb0EfJuub0Vy5J19iYNq52bem8mi07vlio/I26My8nYzOvxVki8TQq8QwDHOWJaPFTgwV07cJZ7C8KSjfbTcHYige+UJkjzO+DK667qI+NesJWCixqnqPlbaR50HecHLz/a0MWnWrtzvFfU+llSHBl3pXGiI7hvcWYyN86VL7sHvMCOd52teKOoxy+Lh3EIutqa93ReHAvWEyDn4Khxipq/1eRE5Tl+8PKjDZVMVNnqarNXXTq/ZE9KaBPhOAzzW9s/1h2BixMCp0igVQi0uNgWv/Gd/geMQWAYEkfZolqYewKW9Sd7Q416vEABVlX5FdiJ602hAjSzDokapzjciLzmcKHj/civH22oZKLSlnujBvsGr0mETWZsTWw7JonNUuAiMTOsP0twnfe8zwqJH0rgp4UpPJKow2WVLqLRlcY+CNg9aFk2CatSGyrrpmSLnyHpoBohm1G7sKPmb9Cl4AcvP9oImuMiDzlfEgKXODd3a5izt1fxO2FTGVviu64O3xUCf1eazmz1dKfXdhYYgMR/APhOJotBdx4623CxAG63O8B5XNi7DXfNl6euNjwN4LVzCXCQ+8ZTgMN8ZfvgW9Qu7Kj560MKF2zCD15+tBE0x8Xat3rCQFGEnd/3BqdwzsAAphY7t5K/m8p4jhnK1oYK35AS9/duxW8XYmN/EpbABSIJuX0SPQux7kzjX4XAOyjAlVSbgmNMLVgFaGaZiBqnqPmrOl9e7fnBy482vMYdxPGdaWQAdLhFeHIPzp9vizwvPprKuCuNa1BaUAN4sDCJd+n4pKsrja9A4CMUYC9VV8OxphZsDUjmPDVqnKLmr+p8ebXnB6+yTQquyGRxo1c/TTm+K40fAXh7aTMAKTEkBG7MT+KbtQiLH3kMIgelOR3OLkbalvacj1/QXDkEHUTVhajNoAvQK4qo+es1PtXH6+Z1disam+qwVwJ11s3kIPDKu7P4L9VxRMVe1yZcIRO4ftaEXWevWiHw9e2TuL6aYWndeQyKr19x2e0A3dyMwadM+5VYn8LR1kzUOEXNX22Jq9Cwbl4dm/C+RAJ32+5IPN6TxSkVumbkYWcci6VrXolPCoEmAO1CYM2s3fEK2NyzFTd4Db4jjZsTAp92OF/Vky0uwxj1n+76LPFhD9jnSvErsT6Hpby5qHGKmr/KE+bRoG5enW24VwDnWG4VJK7szeI6jy4ae7izetMHpcTllhAXn1HwbKYfr/EadOcm9EKg3epZF4DO3ix6vdoI4/G665MCHFDW/UpsQOEpazZqnKLmr7JEVWlI5zs2Z0nGF0rfV+Yn8Zq+ATxbpavGnnb2KThsRQrbSwtLFCTe1pvFT70E3JXGQ/aetsXvWNsyWWS9nB/WY3XWpztm69UAErjeflAszKwZHfT9xOh3wNYH1rpf7oe1sCv1y68LoFJ/Fjsu6AtmMf/C9nedvNo34W3JBB50Yn6upx+vClv8YfHHvWCHlPhhJot3evHN/R1rfhIn9g3gKS/nh/VYnfXpjrn0aiCRQP6PO3Bbac1ov9qfj7/RAhzkB9ZhLfhyv4IuQK+couav1/hUH6+TV1cb7gRwgdMruzGTxRWq/TfF3vtacezSevy/UjwHJvGqewbwXKXxdaaxqzSMPTGJo789gN9Xem6Yj9NZn5XEXeqAOBs1aJuFTQHOHrpRcyUJMv2YoC8Ar3yj5q/X+FQfr5OXWxSkxIZMFo+o9t8ke2WLQXhaN7qrbWbb257+0kdO0aejsz4roRN0++wBV5Ilg48JugC9oo2av17jU328Ll6daZwqBB52er9DmSyOVO27afasIfuEmB6yH94HrL0/i5HF4vzHVhy1rB7Pm8haV30uxrT096DbpwBXmilDjwu6AL1iDXrIyKu/QR+vK7+dadwgBC534rurpx8XBh1rFNrvbMPvrL1sLV/dk4EW8r29FSck6/Gkc8wzPf04PgqxVuKjrvqspG3rmKDbpwBXmilDjwu6AL1ijZq/XuNTfbwuXl1t9vvMYy1/8wWc0bcVP1Htu4n23PmAxC09WVy6WJydaaSFQL99nMRATxYbFzsnKn8PehKoruujUv4U4EpJGXpc0AXoFWvU/PUan+rjdfBqb8VxyXr8zhGEsfwUjqhlmUXVMYfZXmeb/S1v6Rvee3r6cd5i/nakkx0JkbfWmbZ+fT39s9abXuz0UP9dR316CTjo9inAXrJl4LFBP4F6RRr0BePV36CP18GrI43PJkRxJSYJ3Jfpx7lBxxmV9tvTaE0KPOSlN3v+aUs+W5c8WFz5qsJec1R46KhPL7EH3T4F2Eu2DDw26AL0ijRq/nqNT/XxOnh1pfEYBE62fC0UcF7vVtyj2m9T7c0aPQAq+na67XVn3fuK1Q/Yq43tHf2Lzd//9996XsoyrDx11KeXWINunwLsJVsGHht0AXpFGjV/vcan+njVvNwzciExNTqFlfcPYEy136baa29FS7Iee53e7FhPFisWi7VRvPj8MS+7+yiRmMKOoTNPGpl81a8XOycqf1ddn17jDrp9YwW4/TRsSSSKK2EV8uju28bvgOcqzqALsNILxtp8+4gDx25ekdp+kRBytT0aJ+H7h/OV+huW41Tnd9Nfvrtv7cu+e36x95t8qHdr/rSwxBoVP7rS2A+BZZa/o5NYsdADzDLsXVuHxI5ibHJsDM0rATEVlVgX81N1fS7WXvnfS6/guBCHV3KLHB90YhWHo81cVDidfsLbv3XUET9+v5SAcB4bpUSs956tpChU5jeF0U+9+hVfveXEVxcXvHpp5PhPPvCLp79UiR88ZoZAZxt2CGCt/S+TeFXPAitiLcfIOUngXlt+gWwOzW0msVRZn9VwCbp9Y3vAQYOtphiCOCcKnFIYzaw78p6ON7/2IqvXa/2GIPG1Xf+Jm0prugbBLgptqspvI/a9ByjcJ8QU1h75bbQ0Pf3D5Jo7z6pmb9socNPpo3tjhbzExr4sBuZrrwEjX0kAH7H+XgC6x9F8tU7f/Latqj6r9Tvo9o0V4PeftmzLfw2d3S1lHV555L3d/33bhFGFW23BzTUEE+Y1sxsw0pcA7CHPY4++A4et+HXvK1bdexE/e6msAlTcYJZh398kUcgKoM5p9ZExNG00aSi0MppqjmrftOTenbvec451b3rFqu+8/+6f5Yr7Kc/xS2HkSQGc4PSAz8ih2ajvrVXUZy1Zefdbjt3SnHqu27Lxwt43dv/PJ57wVSeMFeA1Db/cMjb+5zbYw5qe6P6v0U2+gq2lKPw8N+gLYP5YdyxLYeXXANFRKlIJ0ZtDU6effKLeVq35XYKXXrsEiccA0eiweHYMB94ErOLEqyqLY23LD7/04vCGS6zTmxt/c+UfxjbMs4fynsZGLN1XamYMB1aYxj3ojlJTYveWdUf+sz1XaMcf39s9Wljtq04YK8CNGNlib0dY/HWPGTZ0U+W1f8hptd6gVfkxY0cubcDoZwRwkcD0JuawxHec4usZdy03uOX401EJ1P3SlYch4MCJOawa8uwIT5gmUOm9KYWRtwkU146WwFM5NJ9oGsagO0qV5kIXdwqwLrIRsRs2AW7A8OYExHXWq96Zni++lUNze0SQhsrN6m9we1sa7Z5vcd1iawbuQUy96SAOfzZUAUbQmUpv+g0Y2ZJwOhEF4PZxNH80guEu6HKlLHTFHXT7MRZgWdeA0RMFZFpALHEnuOAt23UCcjyH5puj+E7s/a0NW57f8/f2SMHRq77X/d8Hxn0dgilH3YCRHyeAM5yn/hck8NVxNF0XRbbeykjP0dXdYHYsa8Rh1trDpzp5mMpDbJxAE7cbVJCmSnOSwki/ANJWk3ng3P1ovk9B86EyUSkLXU4H3X6MBDj5jQYUThbAqQLyZAm8EcCyuQCUel/u/18qAOd7sUPqQUI8MI6md+kqFF12j2r82ZbhsRNsAW5pfKr792N/E5gApzByG4CPlWLNQ26eQIsxq/7oyuFCdr3fYOwH0wcSwDtceTh7P1q+G4T/JrZZWU5kXSNG9pbevU+hsG4CK3eaxqMyFvqiDrp9YwXYGr4RM++AJwSKH767f+5hzrn+vRIBdgOUEJtzaIqUYARdgCXuyzC2KYm8NcPTnmkrIb83juZz2POt7ebjNb8pDPcIiOmJbhK4JIdm68GIP0UEKslJA4bfkID4lXMt/D6HlqMVNR8qM5Ww0Olw0O0bKcBLMfrqOsj7StP350ugBKwnyscFMOu9lsch6De7hkx/nUPzSToLRrXtoAvQiieFPWuApdbnFmuKn/ni4RyaTqP41p5t94OoXOQ70hRGLwPkjTPv3mUmh5au2r2gBTeBSq45KxcC8saiAOO+HJqN3PCiEhY6qyfo9o0T4AaMXi8gP1E+vCwBqxf8hIR4XCL/6DjqHwcaFczmHD08Bfl8qYd9EPnjD+KwZ3QWjUrbQRcgIJemMGq969rg3Gw401Zhgssm8sy7kEMKo+cLyD4nB9ZN/0fjaJ4ehlboUuxNVXLNNWL0TkBeUMyHuDyHpi+YCK4SFjrjDrp9gwTYenc1cn8C4szSTaSUOGnPIGz6hK4eVQNG709AvtsZLrolh5ZFN9nWWVRebAdZgM46t9Yye/bOOhKYykOeMYGWrJcYeOz8BCrJbwNG/lYAPygttCEhBnJY0abreol7virJSQojv0RxngrySJw2gRXFLQwN+1XCQmfIQbdvjAA3YORKAVzj+nTFWrC8zvrfupdwa8BL70gg+a+lHlwOTUdH5eYVVAEux773JJH/hoRoceXsizk0f0rnBRc324vldzlG35pE4SelyT7F700PbDBtwYcw5X2xnFi+pjCyvzSqNobCSmDlcJhiUOVLJSxUtTWXnaDbN0mAr0kAVzrvEH8sAGvLrisd6JoX4pB1KYxaw9BrrPYKwDvG0fwjnYWjyrb/BbinMYWlXxfA+1wjFFMF4Mv7Kb6q0jptZ6H8LsGLx9Wj/qFS3QJ4TuLABi60oTwNswwuds014qXXAsmniw/00tgJWFZ8XuYo6MjKYrnQ0abbpkkCPD3r2ZpskihG6dtKWCmM3iwgP10UYPHdcTSdrTt5Kuz7WYDLMWJNWLMmxxV3gikOO+8sFL9xfFxFPLQxm8B8+XUmvj1WyoUEhiYxuZELbeivoMWuueUYfncS4n7n+vhhDs3v1O9VMC1UOkdBl3eL5UJXuyW7FGBFhK01c+udp1YAEzmIo4GmFxWZ12bGnwK0RghGrMU0Pula0N8S33tyOPBhDndqSy/mzq81CrHkMQHxWucxaCwP0caHIH15cFte7JpLYfQGAXl5UYDFjTk0Ffd/NPC3GAvdIQf9AGCUALuWbfO9B2wVijVxQjgTJ6Iyc1H3BdCA3EkC+YyAfJ3rYhrOAx82cWUf3TcMr/YPzW/TdY0YtSb0TK9yBeCdpu2y45WTn8cvds2lMPKvwlkIJQ9p9CIoi7HQnZegh8CNEuDSwhtBDEEXBdj97Z58JoeW43UXUK329V0Adi9rCyCsXV/syXDFJ3r5izzke0xc1afWXOg4vyy/1xaAExPA35baksB5OTTfo6Nt2pybwGI3/RSGnxcQRxXPzh8/FqHPGr3mXN/9pzJPgm7fGAEuB+ng9+0dcLG9vS0pJHaVZi/mgVPCPqynowBTGDkdwDdmv+sVExLylnE0XR2VGeKVXcLhPsqdXwmMC2vey/TDkPh0Dk3/FO4IzPNu4WFPexOMvcWHVetVVvNy8wjMRKTj/uOFV9DtGyPA5UXt9ySsUtJTGO0VkPbOPRKiL4emDi8F4fexagvQXpTkS+4Zzs6NJJtH4UL2ev3O7uxZplbrrk+++nJoDnVt+k/LnxYXuuaWYd/GOhS2OdfNEzk0v8kfr4JpRe39x3sMQbdvlAAHPQRtpX85Rk5OAo85n0NZk7GOApr+5L00/DlDVQE6KyndAuBwl+cvShQuzWGlvcISf/4TcD+YOjVpOfHbHJpOBMRB/z1iiwtdc+7XWIC4awxNF5pMTNX9p1pGQbdvjACHYwi6WAYpDD9dmmEqIR7KIf+usH5IX2sBWqtZJZG4s7RtWulCKM5wFp+Iwkzwai/eKJxXll9rWDNfgNiwH03WXr/8BUBgYQGe2YJQwvxXBLXef2pNX9DtGyPAYRmCtgrC7YtTIM8dROLMg1jxv2stGNXney9Ae8nP8xMQR0mgBcCH3DtNORtcfJizalVnqjp7cwjwrTk0W2ul8xcQgfmvOfsVzi5nR7CpHBIvB1bsCchNX5r1fv9R61bQ7RslwGEYgi6VRwNGbk8AF8+UixzLI9m+Hyu+p7aEarPmtQAbMWLFdHt5q9Y6zoC4NYeJq/ldb205UXl2CsMPCYhWx+bgGA68nvlRSdi7rfmuuQYMX5CAuNOyKIFsDs1t3q1H6wyv9x/V0fE7YEVEwzQEXQqpuKINel3r7FoX1u3jaP6oorBrNuP1AigJsHsvZQn5tAQ6x9HyRM0O0YAyAimMdgjIjMvg1WNoLn0ZoKwdGvJGYL5rLoWZ4ecC5IXjaLnLm+XoHb3YJ1m6Iwq6fWN6wOVFbe3p6+4Rj6P5at3JnMu+tULWEiQfkMCxpb9LyB8IiG8AyadyaNwdhF+lNr0KMGAPQVtP6qsL9ve9cjSH5i8D4kCQcbDt2QSspSYFlv4OxdcEpZ/mNdGZhUoIzH3NFYefrZXirNGkHMSRcZg/EXQP1Pv9r5IMV36M0QLsXhkrKAEupsL6Pjj5fUBuPBS4HAbEswXgKQG5I4fmrwIiV3kKazsy6AKszXuePR+BRgx/DxDvKvs7BTgEJTPXNRfH4WcrFUHff4J+ADBWgJ3rzOeFOBa6umfvV+w+cvZwLoYA3JjDS98E1k3ovl8EfQHoji+O9pdj9Kwk5Pet2F2fHln/3R3sg2gcs3FozHNdc3Ecfg6LAAc5UkoB9vWeYG9KcKlAYj0grYXwjysbIpz2RgK7JRJfG0fj9TpXjqIA+1oAPjT2UnMKyWdLWwxKYFIA9VbDuvfF9iE4I5o49JoTX43j8HMYBDjo+x8FOOBLOoWxNRL5EwG8WQAftG6cs3st8oFxNP+DLhEOugADxm9c8ykM9wiITicwaxP3+6xPxUojQmMBzYUwDnQNAZVfc3nIFUmITxVHLORADi0bazAfqVODvv8E3T4FOFTlumNZCod9EMDlrk3SrSUtP5ND0806XA26AHXEFFebzhrcDwpnxUkJ0SkgX+HnvthxZe8lbvc1V4D4noB8pwCWOAJ8WQ4tN3mxF+Vjg77/BN0+BTiU1btjWQMOuy8B/F3xokzcm8OK9+pwNegC1BFTPG3uaWzE0v8AsL5YM2JbDk2bgv7MIp65WDhqd05mHyl+m8OKWC0RGvT9J+j2KcAhvUMsw0un1iH5sPNUrG1rw6ALMKT4I+dWCiPWJhjW1o/Wb98U5Osn0LIj6FmekQPpg8Pl63NbN+G4LhEa9P0n6PaNEeAwLUWp5hq2ezT7SrbGcGCFjhWMgi5ANazibWU5Rk9JQD4sgKRFIg9csh/Nt1n/zfyGrzbKcmI7KIFYLhEadH0G3b5RAhympShVXPbWpg6AsGZLIw/x1xNosnvEKn9BF6DKWOJpSy5JYd+TAvIvnPh/PoamDYCw1qLRJsAN2GfNVcA4Vnwzntyrj3oOAY7tEqFBvyIJ+v5njACXg3QujxB9B+z9gk1h5O7S3roScnMOLTd4t7LwGUEXoOp44mavAfuuTKBwjdOLOjiJ/BsP4rCnSxx03OBSGOkTwPlWGwUkPkQR9lZ1KYzeKCAvc3Im80icNoEVA96smHF00K9Igr7/UYBDXMd+FIcfbYQYceRdS2HktwJ4TfFmLm7JoelSd1Cqb3AN2NedQGFLqQ0KsLcSKl8iVAL35tCsZYKlN8+COTro+0/Q7VOAg6m7ilr1ozj8aKOiYHmQZwLLMXJyEnjM+W58IoemlwPiJbchtfm1Fvmo+z8CcnVR8GVvDi2lb449+x/HE+ZYIjTWy4OqrU/vFRV0+xRg7znz7Qw/isOPNnwDFrOGUhjtFZDtTu+3L4emjnIEavIrlzZg5NMC4qMCWO0I/lAOL63zY7lUU9LqXiLUFRMFGAjsVaHqESKvtUoB9krMx+PV3DwXdtiPNnxEFqOmrA0+EtbuOcusoPPAKfvR/LhqAXaGTL8L4K1u21zW0mupzV4ilAJcJBD0/UfHHAkvlUEB9kLL52P9KM6gC9BnpMY0l8LIFwXwCaf3+9scmv5yruBqqaFlGNuURP4eAGucb1WtJoYk8LVxNN2ga3lUY5LkCqRsiVB3iOwBB9gDruX6UFGnFGAVFDXZ8EMcgx6C0YTOaLOOMP7E2jvWEeB5lyqt7gZjbRoy+gUAH5tpA1MAvpLDS5s57OytvMqXCAXwfwC82rFCAaYAeyuoMB5t4mdIfohjdTfoMFZAPHyyhoSBpU9avdKi+OLRcTS1ztcb9f4QZ20MX7hfQLSWiEpgKA953gRasvGgrDLKQ5cIFZDW9/ylmeQUYAqwyoILxpaJAuyHOPrRRjAVYWKr9naWDwqItCO+Q8CBE3NYZe0hPefPy0NcA3InCUxZ73vXlobGJPAwcOAfFmrDRNKqYppridA6iPdzg4wi4aDvP0G3b8wQtHlLUfpTnEEXoKobXRzslK0hPJWHPGOxXmml+W3AaJeAvL00qcuZ6fzFHJou47ve6qprviVCK81Jda0ufNYyDK9PAmcLCHvyXgFyaBzNPUHlOEgWYXgAMEqATVuK0o/i9KMNHTeSuNksf+9b6SzkxYeg7S0wvy4A+3Mm5zcsgXNzaP5J3Diri9daInT0SQEcskSov9ecld+V1gz2twHiHQCOK7/pFyAuGEdTj7rYK7fkL4tD/Qq6fWMEuByktRCuW5DHI7gRuR/F4UcblV+OPHIuAqX3vqU9oiWQzaHpjEp6LQsNQS/D3rVJiAcExAmldiXwVB6FsyawciezUT2BRgzfAYgLLQsSmJxE/qTSEqH6r7l9q1LItwNig4C05gc0uvJr3Rdn/QqQF46j5TFF6dMAAA6CSURBVK7qo63+TP0sFvYt6PaNFuCE83K/0t5C9WWk50w/isOPNvTQiYtVuTSF0X4BbHBu5ou+93WTmS+/KYydLjB1HyBaZm7Ooi+HP32Ys5xrq60URs8HCn3CkToJeXMOLZ8pWdVzzclUCiMXA6INQGtp9vqhkcixAsRAAnjC+lsBiaFxNMZ2CNqP9fYXqiZjBdgJOrAVVmq7hItn67lQZ3vmRxsqWMTThrXYhvi+gNjoiG9F733drMqGoK8VkOMSifUJyAtcvaIJCfGRoIYhTcrtcoy+NQE5YAlg8T26fCiHZmu04kApzsVfC3ghYr9CsHamutw1QjKrlyuBZwHxQ6Dw0xz2PhKmByy1LLxwKx7rx45zFGAgklP9/RDHoC8A75dMPM5Ygn1/uQSFH0jg2NJTcgH4yjiaP+aFgDu/gJgA5DL3U7cEdkrIs8fRYveI+KueQHFIP/HYjBDKZ3I4eEr5Pt5eZqbP781s4bXE3jVz3fpmewCQW/NY9p0JLBusPiq9Z6phUa2P/uy5TgGmAM9bA8FeANVeOGaftxz7/j6JfF/p3Z11c5WQXxtHy8VeI58twMWzZ27UciCHxNlA04te7fL4cgJ7GlNY8phw9u8ufjtdOGWud+m1PVhb63KPfkYAF1vrcpe8KK3PXVylLPFNYMWeKOSoNha1RbgML51ah6S9x7qE9bDUcnxtFr2fzSFo78x8O8OP4vSjDbXAZN1S7DsmCbxKoHC8gFhi7zwPIBGCzypqi9VegeqfBODq5cqxPNCxHy3W97mefykMXwGI68tO7Adkfw7NX3YPjXo2zhMcAod8nz2Vh9g4gaZH5kJU7TWXwtgmgfzXAbzKbdcSewA35vDSN8M0vFxJeVTLohLbix2TwsjHBXBrUYBxTw7N5y12juq/U4BVE1Voz4/i9KON6pEUJ5ZIiKOFPRQrjwXEsc4F4x5ym/XOK8jPKqqNdSlGX10H+W0BnOSy8dxB5M86iMOeqdYuYE3iGvmkhFgCoM56B5xD882VzKCuvs14nVm+zrNEoSOHlX3zUfD62mc5/nRUAnU3C+CcsqHmyApviU2Q95/ZE7BwSQ7Nt/lduRRgv4l7aM/rherB9PShQV4A8/srUw0Y/aQALiq9Tys/tuxGVCbAwX1W4T0HVu9p38cBeS2A6fezEvJnOcgzgZXD3m3yDL8IWL0oALe63tN/bRzNC74qmP1aQA5IiIH5/BVAi7AnzM18SgRguAB8eRwv3RC1Hm95nEHef6wJWKVXBlPIb5jAYXOOWOisJWMEuAEjVyWAzxd7R+IWATkW9eXe/Hg/G+QFMLuwZd0yjFyaROIwQL7PEl63yJZdBM9JwP6/BPDi7CHoYD+r8HKxWr3eekirp3Ry6TwJMSEhbxlH09XspXqh6f+x1rv6BAr3lWY8S+BH42i2FrtY8Ff+Xr6005Rrxyn7/LluztZQKXDgUlOWBg3u/hP8BKz5crxY/YTy7yns7QASmaJzok9AWgsJ8DOkRbIV3AXgdkzWNWDfvyQg31V8gCrefFwTS74JiF9NAf/vIFY8Z4IwpTD6KavXW1r60aHx+EGIjoNoejaUFxmdmiZgfW6UROEnrp7pI2N4qa2SHmn5e/n5BNh9g5bA7/LIfyCIXprOtPsxyjeX/2GYgGWYAA+nBUS/I8DWFHxrWIcCHHoBtr91fQDO7juuTylK+85+ERA5nTcBv227J384DxwTgLgyhxW3mfBw4TdPv9tbghePq0f9Q67XI8+OQWyofDb5rPfyi7lvvbcfNXXCnB+jfHMBTmHkWwKwNsWAROLeHFa8d7FE6Pi7MUPQKew9QSBhbdNmTykXENas0UgLsB9Ph0H2gN3furqK+8eA+FkOK75qmvCWYrQ2PkhAlpb+Y69Xx51Nk01rWVCBpQ9Zayo7D09DU8CGA2h+TlOTRpv1//5jz1i/Q0B0lMBKiHn309YN3xgBtmYKJlH3fOmiEMA3TBBg3ctp+n8BFEt67m9dcfs4mj+qu+jDYL8B+y4G5MQ4VnyLvd4wZKQSH+z3hg8COLV4tPWJmGjbj+bHKzmbxxxKwN/7T3G0zdrr2nm9ZXXWesfR/IGgrkFjBNhKbSNGSlyt/2n1ftkDXuSq9/cCsJ8+LwUSfy4gXbvv1PatK29sJKCfgDVPYeTeBMS7nYf8KYnC2eNY+QP9bZvbgh+jfBa9uVaWk8C3cmh27wLmO2ijBDiFkV0z72XEXZhZ7zaSS1H6UZz+CfCOZQ1Yea+AOLOs6BR86+r7dcMGY0ag7LWBtYnBR8bt1yT81ULAj3fAYR5tM0yAZ77rAsQPYH9Haf8owPNcJfoFeHrpvIsArLHcmL0UojyL37rWcgvjuX4QsF4ZJFC4vdj7Fbfk0HSpH+2a3oa7kyHsibPFb6LdnxaWM5jrb6V/E5D7iwtqWJtfjB7eAPm5BOB6rRWu0TajBLgRow/B3v/S/lkfVTvvaijA813IegVY1jVi1JoM93fudwPWIvEAfmrqzE7Tb5pxja8B+6xdh+rY81VXASUBLheiBdYAmP5M0e2F+/4igQcFUD/HtoyhG20zSoBTGO0tvVuUwH8K4JXsAS98segT4KL4SuDvZnq8YreE/Po4mq4LatKDulsHLZEACdRKoPRNtCoBLtvpyz3aFsqV5UwT4JsF5KeLw0SwtuSqc/67exzNV9daLH6fH+V3wCmMXgbIG93MChCX7UfTTX5zZHskQAJhJTDzTbS1mUrp53UIWkK+BRD/n3X+7G0ZxcNA4cGwjrYZJsDDVwhn5xf3EEYBoADPc/3p6gGnMLoNkKWN5B8UEAPOQhPTG5OH9ZZAv0iABKJGYPbiJgJifw6iL+zbMholwMswuiEJ+W+l0nEFx0lYvgrw6OEpyF3OCMRUDuLIylcJitqFT39JgARIoDoCRgkwMHuBbVcvmALsowA3YPiCBMSdzvB/NofmturKk2eRAAmQgLkEDBNgwL3FFAV48cLV8Z45hZF+AaSt1guI0taAi/PiESRAAiSgioCBAjxytwDe5/S+bE6S74DnrRf1H8IXh5+dLdo4/KzqSqUdEiAB4wgYJ8BuQSn1gDkJa/66VT0JqwGj1yUgN3P42bh7BQMiARJQTMBIARYza0CXpqRH9h1wlDZjWILR4+ohnyztcSuBT+bQ/CXFNUtzJEACJGAEAeME2N2jm9nxIpqfIanunc5VseraGP2zFORPAZxUbEf+OofmN3PBDSPuEwyCBEhAAwEKsAaoqkw2YuRiAPb6s7omM9UqwMsx8uYE8CEA57h6vhOTECceRNOzqljQDgmQAAmYRoACHOqM2lugXQAk5Tgae3T0JqsTYKu3W/gAgPcKiNc673tdK9CIL+TQdHmo0dI5EiABEgiYgHECbNIkLD9qw/0ZEoAf5dB05nxCP1dv1+2jhHxGQnxnHE036HhY8IMH2yABEiABvwgYKcDuSVhO7yySS1H6UQRlAmx9svUggH+32rbWZnXWZK0TkGfO3dvFBCDuK0B+cz+aH/fDZ7ZBAiRAAiYQME6Ay4ZU7RxF9TMkPwqstBtJqS2rIBbaCqx0nNXbBfDPOSTuAJr+5IevbIMESIAETCJgnAA3YHhzAuI6p+dr5yqqC3H4U2jFRcwB/A0gTi8XYLcYS7C3609O2AoJkEAcCJgowG8QEL8qS96DOTSdBQjuxDNvVcu6ZRi5LAGxDMWtHO0haGcEAcXdRdDD3m4cbguMkQRIwA8CxgmwBa0RI3sBtJR6wcVenbwshxbuRetHVbENEiABEiCBRQkYKsCjDwDyTLcAA4jkaliLZpAHkAAJkAAJRJKAkQKcwuinBOQtFOBI1iSdJgESIIFYEDBSgIF9q1Io/MHZEN5OpPVp0hiar45FVhkkCZAACZBA6AkYKsDWvsAze9I6M3kpwKEvRzpIAiRAAvEhYKwAN2D4ggTEna5haApwfOqakZIACZBA6AkYK8DArI3h+S1w6EuRDpIACZBAvAgYLMCzh6G5Gla8CpvRkgAJkEDYCRgtwO6NGfgZUthLkf6RAAmQQLwIGC/ApY0ZuBxlvAqb0ZIACZBA2AkYLcDV7XUb9pTRPxIgARIgARMIUIBNyCJjIAESIAESiBwBCnDkUkaHSYAESIAETCBAATYhi4yBBEiABEggcgQowJFLGR0mARIgARIwgQAF2IQsMgYSIAESIIHIETBagN3fAXMhjsjVJh0mARIgAaMJGC/A/A7Y6PplcCRAAiQQWQJGCzC/A45sXdJxEiABEjCegNECnMLwFQLieiuLEvKyHFpuMj6jDJAESIAESCASBIwWYEAuTWHkk0Ain8OK2wBxIBJZoZMkQAIkQALGEzBcgI3PHwMkARIgARKIKAEKcEQTR7dJgARIgASiTYACHO380XsSIAESIIGIEqAARzRxdJsESIAESCDaBCjA0c4fvScBEiABEogoAQpwRBNHt0mABEiABKJNgAIc7fzRexIgARIggYgSoABHNHF0mwRIgARIINoEKMDRzh+9JwESIAESiCgBCnBEE0e3SYAESIAEok2AAhzt/NF7EiABEiCBiBKgAEc0cXSbBEiABEgg2gQowNHOH70nARIgARKIKAEKcEQTR7dJgARIgASiTYACHO380XsSIAESIIGIEqAARzRxdJsESIAESCDaBCjA0c4fvScBEiABEogoAQpwRBNHt0mABEiABKJNgAIc7fzRexIgARIggYgSoABHNHF0mwRIgARIINoEKMDRzh+9JwESIAESiCgBCnBEE0e3SYAESIAEok2AAhzt/NF7EiABEiCBiBKgAEc0cXSbBEiABEgg2gQowNHOH70nARIgARKIKAEKcEQTR7dJgARIgASiTYACHO380XsSIAESIIGIEqAARzRxdJsESIAESCDaBCjA0c4fvScBEiABEogoAQpwRBNHt0mABEiABKJNgAIc7fzRexIgARIggYgS+P8BLTuQ0GM1choAAAAASUVORK5CYII=</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="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="8"><costumes><list struct="atomic" id="9"></list></costumes><sounds><list struct="atomic" id="10"></list></sounds><blocks></blocks><variables></variables><scripts><script x="13.333333333333343" y="13.666666666666629"><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="13.333333333333343" y="307.33333333333337" 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.0000000000001"><custom-block s="%s ≥ %s"><l></l><l></l></custom-block></script><script x="13.333333333333343" y="487.0000000000001"><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="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="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.9999999999999"><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.3333333333331"><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><comment x="905" y="441.66666666666663" w="90" collapsed="false">2.3.2.4</comment><comment x="887" y="22.66666666666663" w="90" collapsed="false">2.3.2.3</comment></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="U2L3pp1-3-Predicates" app="Snap! 6, https://snap.berkeley.edu" version="1"></media></snapdata>