<snapdata remixID="9850391"><project name="U2L3pp1-2-Predicates Template" app="Snap! 6, https://snap.berkeley.edu" version="1"><notes></notes><thumbnail>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKAAAAB4CAYAAAB1ovlvAAANnUlEQVR4Xu2de3QU1R3Hv/sIkBdIo0iiWOSQAAEUKohNQZ4iT40EFAqWilipClhRj9CCiIC19ljElGqDBFARLFQeEgJKeIiWADXHgEgEfIAUDWKAJJuQffXcXTbkuXNndn8zE/Kbfzyc+d3f797P/cydmbsb1+L1er3ggwkYRMDCAhpEnsv6CLCALIKhBOoUMC8vDzt37vQbarGg6l1a679jYmLQt29fJCUlGTpgLm4uArUEzM7ORvv27aV6aT1zFNsXTIDLEzz83ll/R1HrHr6gDRs2YMaMGVL5OejKJ1BNwNzcXMTGxvpWvMBKF+y/p1/oj14JTaUonZiYXZk3OTlZqg0HXfkEqgk4e/ZspKWl+UYtbsOTJk1CZmYm2rZti6KiIowaNarynJA0OmMEEmJtlZSi5x0GyktQuvDWWuSOjt3gk1ocDocDKSkpVz5dHqEigWoCLlq0yCeGkCs/Px/du3fH2bNnfeLExcX5VsfIyEi0aNECR44cwVXL76ku4Kx9QLMYlM6pvcIdTltbuQK2bNkSiYmJip3jgCufQDUBCwsLUVBQUDlqpReO1qvHIj7m8goYDFfeiLcrb+t9+vS58snyCKUI1HoJycjIQLt27aSeATt06IDrEhIUC3174gSOHz/uWwGjo6Nx2223KbbhgMZBoN59QIoPSALPgI0DLY9ShgBvRMtQ4hgyAiwgGVpOLEOABZShxDFkBFhAMrScWIYACyhDiWPICLCAZGg5sQwBFlCGEseQEWABydByYhkCLKAMJY4hI8ACkqHlxDIEWEAZShxDRoAFJEPLiWUIsIAylDiGjAALSIaWE8sQYAFlKHEMGQEWkAwtJ5YhwALKUOIYMgIsIBlaTixDgAWUocQxZARYQDK0nFiGAAsoQ4ljyAiwgGRoObEMARZQhhLHkBFgAcnQcmIZAiygDCWOISPAApKh5cQyBFhAGUocQ0aABSRDy4llCKgT8K1MYO4smbzAkOHA2PuB3n3l4jmqURJQJ2BNRO3jgWOna4Nzu4Etm4A3lwH/3X/5fPMWwKdHGiVoHnTdBGgErI/28gxg/hygWTPg0Nc8J0wghN8JycwAjhUAC/6qHuP764HHf+9vV9cKqj4jt2igBLSvgLd0BDbvAFrHax964Q9ASjdg/Vagy03a83DLBktAu4D1Pf9pQRHOXFrqcxvDCJhDwEm/Bnbv4NuxYRoYV9gcAorxD/iln0LOf4yjwZV1J2AeAcXQxa140J3Aa8t1B8EFjSFgLgEDEpr9zXjaw8Di142ZsXBUHT4AKPiieiaDmLOAWiZUrNQDBgM527S0rr/N3IXAhAfCm7NqNtFvcazeAPSo/XNqdIXrz2w+ARfOBc6fA15cZAQP/8uQeClSOtKX+j9udDmB6VOApE7A9CeVWul/PiCdqGzQKhds0OYTUO/b8BefAw+MA3484+eU2AHYnANYrfVzqzqpIqpnLyA6Bug3kHYFU6uv6OcneUCr1mpb6hbfeATcswtYuxrI+QBwlF4GfPU1QOY7QKfO8tDFxJp987yB7K2aU8DZTwNCjOlPyUtRV2TVleqWnsD43wL9BwGxzbXnDTz/lRYDb/9bex7Klg1EPoHAnALqfRuWlWFoP3/k038CVq0AMt6UbalfnJCv4CRgs+tXM4RKLKAaeOL7kOLofwcwLhXYfUBNa/pYId/8l4CxE+hrhakCC6gVpNluc7tygAfHm/JNNxhi8woovtAqvj+4ZqNWRWjbmU1As/VHkr55BTTrc2AArJkmXPTlnyuBAXdITrt5wlhAjXOxZE5LPDKvSGPrMDZroLfeAAEWUKMLVmcEPBFOja3D18ws/dA6InML2CMZyN7l3xM02WGGiR/pSsUe7x4URfxoMjry3dEsoC4TMHMGcFM3YNz98iPSKXK4eyQGWgbiCevjOlWsXUaXOSAenbkFFB+bib23ZauIMWhLb6QAovZm2yYMtQ7R1nmTtNIk4DLPcuR4c/CWbSX9MMz0tlljtEYLaIZn0FAF0CRgiqs3FtoWoJ9F7v968J5nPbK8Wdjn3Y+D3kOq+7zQugDP2J5W3Y66wST3ZLTCNfiz7QXqUtXyv+ddj8XuV7HDvl3XuhTFNAlY35Wf7lmCae7ptfo51DIEqdZU3GrpiZst6v78UtQabUnDWu86X94HrBPxhm0pBQtNOY1YBaOcsTgWUYAEJGjqs5kahSRgTeHGWEdjje2dsI6v5gTP9szBArd/xRlkGYht9uyw1lObzAgBjaiplotsvGoBE50dcBxf+fJTCFez48FgL/G8hsfcUw2V8Rn3TBTiDJbpuCo3WgHFwNtYrsdJ73e6bcLKwq4q40H7Z+hsSZa9CEOOk+1jyIUuJdC7Xrj6XVcexRWwi+tmHPYevrTijcF57zlMtP0G4yxjKfuFNs62OIVTmkQXExRnicMZ+/ekfQwk11sIvetRQlQUUAw22ZKMQ/bPfP2gHvyX3qPo6ErGKMs9WGt/V/PYH3L/Dm94MjUJrLboy55F2O7d7tuX0+OgngM9xhCoISVgILgruuAgDpFM6mDXEHzo9W8rhHN/S0xWb8uvsNu+k5SrnlLoWYsUmtqv5Od4dmCQezBJn9Jtr+IR6xSS3GLCCuxfINHSniS/SBrjbIGV9uW+lZv6aLQCJrk6YqktA7db+lAzDnt+PSZNjxq53n2Y6p6Gffa9YWdkRELFW3DVTukBmArCK+5XMc/zPM5GFFKV8D0fH7LnI9nSiaxGqisNpSjBB/atZDX0TNxoBBRQmy6egovTXiPlS32RznXP8/V/rm0O6Tj0Si4tYKzlAoq9Ifw9rV4jClJHjzEIAd0RFbDAQjLiYf1LERkJrMuKJsmvd1JFAcWkiaOhyyfGoIeAJ77xoPONJaS89BiHXiJKCdipsxX7DsXo1SeyOnpNHHUd6vxkE1BHYikBr4TVT68VUI86LKCel0gYa+k1cWtXO5H+twrszKV5Tsva6MQTj5bjyMnYMNIxJhWvgETcqWWnzk+EpVbaoAI6HMC10Q3/7VeM+qtjHqQOcSD/mD7PstSCiPwf50Xjpm42vVwhqRNUwO4dSmC3A/s/12fSSEZ4KWnWRhdWvFGBNRuiKMtU5n50chlax1sx+/mmZPWoJSfreJXEQQUcPdzhC127WZ9JoxzwfXc5cP68F9m7aJ7L6uo7tSDU+SnnI5C70Qh4dbMLKPguFnFX02wQGyHghNFlEFtkf3yObpWlljCogMP6OxAZBay7AlZAI1aLpOtK8Oa/ItErhe45zYhxhVPKRvMWbMRElZUBraJoX+KMGBcLqIGAURNFXff+MQ5s3exGoaNh7gkqroBLXqlA+ssXcfjbhjlAPT6ZCHY9UAto9Pg0rAXVmigK2NAHaHT/9RDwaIEHv+hI+wUIraIpjV9KwPvudkDsozXEz4SVALzw3EXMfJbuLVKpvtaJrdlO1MkriEb7JLoXHrV9lRm7lICicEKLC+hxqx0bP2g4e4Ltri3Gz2+0Ysfe+vf+BKSj/4tF63ia7Zk2PyvG3vwYXHc9Tf6qUshMuFqJtMbL9kVawMCtbPX6KAy/2/y/QZGYUILvT3ukVm1ZWFomY9QwB5wVwKYP6S/c8WkOHMh1+/Y7jTzEBxjbt7lR5FTuhyoBjX6ekoF6392lyNroxpSpTfDS4mYyTZD9vgtjRjqkZJVKWCVo4dxy379mzZXri9r8dd2KjX5UUnNBqxbQzBKKgYtDywT84ZFyLP1Hhaa2waTRW0Cxa7Hg2XKcOmfMn0+IOTh7MRZNmsg9cmgS0GwSPji+DO+ucuLISfGsFeRXLhWWFwoJ9RYwMDeUz7X1YRTyde5qw958+c/bNQtoFgnFoJO72JB7UH7QwTzs27MUnx5w46eK5oiICPWGCBghoBFzM3pEGbZudqq+g4QkoNFXm9bbrYxWQuyoaOCHktBuZSMHOeByebFlZ3guEJm+i5jjRz3olqTP3uCat52YPKFMtXyinyELGJDQZgPOuUKbrGBwn5xajtfTKypDtDznyU5eIG7+nIt48fmLWJcVhcFDtb35q3kgV9s/pfg7epdi78duXNXSgpM/Kb+RKuWr67zXCzS3av+8OywCio598pELd97u//5gfYe4pY1ItaNj8uXntP25Hgh5P/nIjeIL3nrbzny2iW5vkjU7ofXlRrTbfSAa3W8xdnN4zy43hvbz/0j39KeaYP5fwvNGfu9dDmzZFNoHFGETUObqcTi8eH+9C8e+dFeGiyt0ytSmSOlj812pZj0+3u3GkL7+SZRZfXt1LUHRT8CXp8z1bfK0YQ5s2+JCmxusOPyttr499lA5ViytwNCRdry7MbT9TV0FNKtcavr13UkvOt1Q7Gsy6t4IrFgTWdn84GdupN7pQOEPXtLbnpr+1he7aqUTD08s850WF0l8QvDdg5JiIL65f5tr4uQmSM8IzyrKAoYwm13bFeObry8/NrS61oL1W6PQ9WZjb7lqhlRRAcQ19YuldJy+0BwxYX6UZAGVqPN5UgIsICleTq5EgAVUIsTnSQmwgKR4ObkSARZQiRCfJyXAApLi5eRKBFhAJUJ8npQAC0iKl5MrEWABlQjxeVICLCApXk6uRIAFVCLE50kJsICkeDm5EgEWUIkQnyclwAKS4uXkSgRYQCVCfJ6UwP8B1LyC86EY5dcAAAAASUVORK5CYII=</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,iVBORw0KGgoAAAANSUhEUgAAAeAAAAFoCAYAAACPNyggAAAgAElEQVR4Xu2dCZgcVbn3/29Nd0+S6ZmehITMhLBlwq7oFRRlCaCCsrmAKLK4f+IVFe6936eiV1ncrn7XBfEi8CmoiLIvCQnKIvuquCGbzAwhZOkhIZme6Uky0931fs+prp7pmczSPVPdVdX9r+fJA8mc8y6/c6b/XVXnvEfAiwRIgARIgARIoOoEpOoe6ZAESIAESIAESAAUYE4CEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBAAXYB+h0SQIkQAIkQAIUYM4BEiABEiABEvCBQKAEWJe2nQMbCyB4s8NC8ccJmZTSZsfOh0O0D8ANUGstbF2L1clXBMj5wJ4uSYAESIAE6phAYATYEV/FT3wai/UQrAXwClTaAbsHYl0OWM9K5zrz77xIgARIgARIwFMCFOCpcW4B9FkAz0KtZ2HhWQrz1NDYggRIgARIYHICgRFg54lzqY+gBYcDaAewetLH1GNzFxwCYBYErwHYFYrFABZNc5K4wiyzIeiWzuSp07TDbiRAAiRAAnVIIFACXAp/7Vj4eUB+7LQV+ap0bvh2Kf0maqNAA/Zo2xWWLIbYiwHrNKi2QzQDyP4A5pZmX3qh9oXS3XNJae3ZigRIgARIoJ4JhFGArwTkfzmDpvJv0r3hR5UcQF26y2LA3h829ofYRpD3n0KY10D1BxTiSo4KbZMACZBA+AmEUYAfBuQw9w74XdK54S4/hmFYmBWfAXA0oK1j4khBcQ92S54m9yPrR4z0SQIkQAIkEFwCIRTgts3Dj4WlYdegrFLWJQvPhci/A9htzHBvA/T7yOYuk5c3bQjuVGBkJEACJEAC1SQQKgF27jo194oLaIt0JedVE1YpvlwhvghAYsf2egVsvUxeevXvpdhiGxIgARIggdolEDIBbj8Wqr/PD4c+Il09ZjV0IC9d2nYTFEcCmD9OgLdA9TLp7rk3kMEzKBIgARIggYoTCJcAL2k/D6I/dAX4/0lXz6crTmiGDrRj4WmAfBbAEeOYegjQy6Sr57oZumF3EiABEiCBkBEIlwB3LKzqCmgvx1KXLHwHxBHik8ex+yqAP0tX8jgvfdIWCZAACZBAcAmETYADsQJ6JsOpe+58ICwjxHL2OHbuk67k22din31JgARIgATCQSBkAhzMFdDTGWrdfX47Ig2fNXuZIWgasSEHS9eGp6Zjk31IgARIgATCQyA0AhyGFdDTGXY9ChG80vYcgKVu/wekK3nUdGyxDwmQAAmQQHgIhEiAw7MCutzh1472gwD903A/0a9IZ893yrXD9iRAAiRAAuEhEB4BXtJ2EwSn5NEGewvSdIZfly48HypFda35KHo6HNmHBEiABMJCIDwC3NF2D4B3uGDvlK7k8WGBXGqc2tF2P+DsHQYUq6U7uWepfdmOBEiABEggXATCI8BL2i6E4AJXnC6S7uSF4UI9dbQ7PIoG/iBdycKXjqkNsAUJkAAJkEBoCFCAAzZU2tF2J4B3j4SlX5CunksDFibDIQESIAESmCEBCvAMAVaiu3a0mVrRrx+2rXKKdG+4pRK+aJMESIAESMAfAhRgf7hP6XXU+2BgEDaWyUvJJ6fsyAYkQAIkQAKhIEABDugw6T7zFyEbeRBAhxtiFyLZZfLCpvUBDZlhkQAJkAAJlEGAAlwGrGo31T3b3gILRoQbXd8s0lHtQaA/EiABEqgQAQpwhcB6ZVaXtJ8M0ZuL7D0tXckDvbJPOyRAAiRAAv4QoAD7w70sr9qx8POA/Hikk94uXT3vK8sIG5MACZAACQSKAAU4UMMxcTDa0X43oO90W6yWLhbpCMnQMUwSCCQBPQhR9LUvhdpLofIxAAkoHoaFjdKZ/J9ABl1jQYVHgDvaVgIoVL9aJV3JE2psLCZNR5e2LYDCnBucv2xrX3lp/Qv1xIC5kgAJlE9AFy2ag1n6Joj+GxS7AJqCiDn8ZcmE1gSfowiXz7rcHhTgcon52F472m8D9L35EORr0rXhmz6GQ9dVIKAdbdc7o92V/FAV3NFFjRDQpW03ArIXVK1RNQVKzY8CXCqpGbULjwDXQSnKqUZSlyw8HSLXuu24GGsqYCH/uSu+H3TTuIEiHPIBrUL4umThuRDrQkBbS3TXDdVOiMwGMADFE3wEXSI5D5pRgD2AWC0TztnBa9t6oWjK3wTr26Sz5/Fq+aef6hLQjrb7ABTOhr5fupJHFyLQvRfNR053h2IPiH0GIC3O+7vxLsGbnX9W/LGsDKbbrywnRY0n8sd3klMS1aVtN0Fh1ogkJmj8NIAMIC9D7KshVidaNnTKU+bfePlFgALsF/lp+tWOtqsBmAUT5gP1B9Kd/I9pmmK3gBMYJcCi/bDlfgj2ALA7gJaAh+9teHwkOi7P/B2vXLSj8EovoH+Ayg+xXf4s69dv9XZAaM0LAhRgLyhW0YZ2tB0HYJXrcq10JXetonu6KpGAAg3Yo21XWLIYYi8G8EGoGNEc/y7V2C2+A8z/v7n7nVOiy9puRgEeHl/dc+c3QKyvQcyuCBl7x5uC6gXS3XNJbU+I2siOAhzCcdSOtlcAmA91cx0vXUlzghIvHwjokgV7AQ3fhmAxBOsA7Ap1xmZRhcPpA/CyOTca4twNb3Pe3413TfdR8nT7TTdxPoIe/y43X5b2hwBeB2AnAAvHaZiC4B7pTH5guvjZr/oEKMDVZz5jj7qk7fsQ/Ltr6BfSlfz4jI3SQEkEFLDQ0X4s1D4WIscCOKCkjjNupP1Q6+MQrEaDvCz/XL+pYHLC/ZymQV7U0lzANeMBqLoBXdq2HIr9AJgtQxNcmoKCd7xVHx1vHFKAveFYVSu6dOFbofKY41QwgMXJVrkf2aoGUUfOnEd+lvVVKF7vvoOdVWL66yFYC+AVqHPnsn3Cu9QRscwvlhIc6X7wFp50DNcBdxfc7A7VzVPu5xwJlKuoSxy0IDTTjjazYO7gCWLpAfAaFM9Kd/LUIMTLGKZHgAI8PW6+9xp1ZrDqGdLd8xvfg6qRAFzBPQLAMvfPeI/8CtluB/ASoM8DuAFqrYWta7E6+YoAuZkg0SXtp0D0JseGYgWg90JwISClbjEpdl93xWtmwt7Pvrq07TIo/nVMDN0AnoJtf0teevVvfsZH394RoAB7x7KqlrSj/T8B/UbeqdwuXRtYG3qaI1Cm4Bovz0D1Loh1F7o23CWAPU3Xk3bTjvaDAP2T28iIecMkHXbcz5l//JyvHsdFTJUYIs9tjiO+DyGSPY3HkHqOOhAGKcCBGIbyg9A9F+0DyzZ3Xa4GY2fpTG4s31L99ZiG4JpHfuad67PQ3Fele+OL1aCmHW1/ADC893fEp/YC1v0Q+6qp9nPq0rZzHP1lbd9qDNmMfOjStsehOKTod/qn0pn87IyMsnOgCVCAAz08kwenS9rMClizJ9RcfMdXhEuXzE0gMrsdudwiiNUOtT8ASAeAnSdYRVoM2wiuOYf5Qdj2Q3488tOOtt8BeNeYGdAH1a9zi0mIf2knCJ3iW3tjWkpGFOBSKAW0zahShYLnpTNpVkzWxaVLd1kM2PtD7c/kRVXMQqdFEGkHtB1AvAwQvgvu2Fi1o80UTjDlAYsuOVi6NjxVRl5sGgICOzx2Fjwhncm3hiB0hjhDAhTgGQL0s7vusWhfNNjPuTH0SVdyojJ0foY5bd/uNowmKB6C4C2AutWfZH8Ac6dtGAic4Bbnoh1tDwE43P23kXe/Kh+Q7g03zyBvdg0YAYpvwAakyuFQgKsM3Gt32tFm3kfm9wlacqS8uME8Og315by3VHwRwG4zSCQNyAaoboBgvVO+0fw3Z3/Dj0fKpeaxw6NIYEvRl43l0pV0T8Mq1SLbBZWAdrQ9Cbh1uk2QAr7zDepgVSguCnCFwFbLrHYsvByQsx1/goulM3lBtXxXwo8rvj8pwfYWQJ+FShQiRmRvhNob0NCwHtltG6R7S6oEG4Fqoh1tLwFOrefC9RQUZi/xSe74PiCdycLhDIGKncGUR0CXtt0PdfZ65y+Kb3kAa6Q1BTjkA6lL206F4oZ8GvqIdPUUHl2GMrNxBHgNFFdD9HCo9MKSKwHrWelcZwpc1MylSxcuh0peaPMfyM57QF3S9q8QXMYP6ZoZamhH+6cBvaIoo8ekK3lo7WTITEolQAEulVRA2+nixfPQmH1tOLzByE6ydu3mgIZbUlh5Edb3Q7BVOnveU1KnkDfSjjazpWwf94tUr3T1OO+4dcmi0yF2/gxokd9I54YzQp5qXYevey06BrZ9VxGEv0tX8g11DaWOk6cA18Dga8fChwE5zL1L+qB0Jm+sgbTqKgXtaPtHUV3pZ6QraQrvQ5e0nQDBHS6MldKVPLGuwNRQss7BHdJgTsMyW+FMdbMnsFvycJaRraFBLjOV8Ahw8b5Ilbule4MphM/L/B4vbbsIiq+7d09XSFeP2ZrDK0QEJhbg9sMhalZFm+th6UqaEpm8QkZAj0IEa9oehgwX2ngVmju8WkVdQoarbsINjwAvXfh7qHP6jHk/tkI6k3XxaLKUmah7tS+DrQ+4bTulK7lXKf3YJjgEtKNt5XDZSGC4brMuWfh6iPzdjfRp6UoeGJyoGUmpBMZ8wQIs61h5cf3dpfZnu9okEB4B7mj7MYDPO8Ogeh6rAY2ekNrRZlb95vfJ5qz9ZPX6kTKVtTl3ayqrUYvPiuo2657tu8PS1W6ya6QrWah8VlP513Iy2tFmXiGcMJKjnC1dG66s5ZyZW2kEwiPAS9t+DsUn8nfA+inp7Pl5aSnWRyvtWHgLIO93nxB8jrV/wzfu49Vt1j1aW9Ewy+wFNldKupLTOQkpfDBqJGLtWLQrYJuTjCL5mwe5R7o3HFMj6TGNGRIIjwB3tF0P4IP5fPXD0tVz3Qxzr6nuo7fv6K3S1XNyTSVYp8moeeHS0TZy2lJX0hKzfIdXKAhoR9svAHzUDXa9dCV3CUXgDLIqBMIkwCOPcVRPku6ewsrQqoAKupNaL0sZdP6VjE872noB5MuM5rbPldW95u+8Ak5AO9qOA7CqKMzjpSt5Z8DDZnhVJBAmAb4fGK4c83bpSt5XRU6hcFWLZSlDAb7CQWpH28vDZTlt2UNe2mD+zivgBLRj4TpAFrlh/lK6kh8LeMgMr8oEwiTA5mDygxw+irdId/KPVWYVeHe1VpYy8MCrFKB2tJlV0K/Pz309ULp7nq6Sa7qZJgHtaDN3uu/Od9cs0LBEuta/Mk1z7FajBMIjwEvbnoNiX2ccLNlfXtxQOAWoRoem/LRqrSxl+QRqs8eo05FUjpDuDaaYA6+AEtAlC0+EyIrh8AR3SGdypMxoQONmWNUnEB4B7mgz3x4X579Qyu7SvWFN9XEF22MtlqUMNvHqRDdqG4viROlOmj3DvAJIQHef345IxDytKzx6/qd0Jd0SowEMmCH5SiBMAmzqG+fPgJ0V2UmeCXe940qNOstSVoqsf3Z1afu1UD09/+XTOkO61//Gv2joeTIC2tH+AqB7u23WI5s9WF7etIHUSGA8AmES4CEAUScJic+Szs5BDumOBFiWsvZmxahD2xWfle7kT2svy/BnpEvbVkAxUqubuzXCP6gVziAUAqxLlzZC09tdFhnpSsYqzCW05lmWMrRDN2Hg2tH+EKD5YyZFb5fOnvfVXpbhzmiHghvA76QrabYh8SKBCQmEQ4APWDwP24eP3NsiXcl5HNOJCbAsZW3NDl3SdhMEp+Szkhela0PhEWdtJRribFhwI8SD52Po4RDgJe27QbSw93GtdCV39ZFZ4F2PKvwuuEk6k6cGPmgGOPEd8D7zFyEbWXfZ6fmHQJ+9IbKLvLBpPZEFgwALbgRjHMIYRTgEeK/2/WDrs/kbADwvncn9wgi7WjFrx8JbASk8pnxMupKHVss3/VSGwEU/aHnuws9tdbbhnbW88fpffWDgtMp4otVyCZz3s/j6jjUN7Z+7drbpyoIb5QKs4/bhEOAlbW+G4El3nJ6SruTBdTxmU6auSxaeDpFr3YY3SlfSraE9ZVc2CCiBE++as3LlUUPHm/A++PvG+68/aeDogIZaV2GdddOcm3/9niGn7vpXLp+d++YlzXuy4EZdTYEZJRsOAe5oMx82f3AzfUC6kkfNKOsa76xL246EwpTuNPtWHpGunvwCHl7hJTAYuVAEFzgjqrgIjdkLw5tM7UQ+d1O0t7dFnTrdH7911m1XfSidP5GMFwmUQCAcAjy6ssxK6UqOLPUvIcl6a6IdC5YCDS+6ea+WruSe9cag5vKlAAdvSLdHzxVLf2QCa+2T1Jb5GR4VGbxRCnRE4RDgjoWnAfJbl+QN0pX8UKCp+hycLlo0B7PtATcMbtvyeTw8cU8B9gSjl0ZkKDJ8SpXach5mZS7x0j5t1T6BcAjw0oWfhMrPnOEQXCWdyU/W/tDMLEPtaNsEYCfHim23yUuv9szMInv7SUCGIsOngaliFRqzJ/gZT937HoysEBkuupHSWJZ3v3U/KcoHEA4BXrLw3P86e/uP5mwDvnDN7EulK/mF8lOtrx6jTtAR6yDpXP/n+iJQY9kORa8XaGEx3T81lmV9Yb+GeCh6kEBNvWfnUsVtaMzy3a9f4xFiv6EQ4E9d17zi5ydvc977fuT2Wff/8tQ0V4BOMelGHYfGkngh/hV1Q0+jTWKR4ZrCGs3uAQHPBfZhZGUwuhqiu+ddy8say+zhQxh0WQMEQiHARz8y+5H735xx9rKefses5deenH5vDbCvaAq6pP1nEHUf1ctnpGvDFRV1SOMVJyCZyCoonPKGKvgPRLM/qLhTOhhNYDCyXATDRwsq5GDEMk8REwlMh0AoBFgGI6sg7geP6slozN06nWTrqY92tF0M4Gtuzt+QruTX6yn/msx1KPpJgebXQgCPaix7WE3mGdSktmJXiUS6AUTcL0F3IJrlOb9BHa8QxBUOAR6KPAfAqQKkkDcilvlbCNj6GqJ2tJ8N6OVOECo/l+4Nn/I1IDqfOQFFq2QiWwqG1G7YF7MGX5i5YVoohYA1FP2FQj+a/53CBm3MFs78LaU725DADgTCIsDm6EHnBCSNZlsg6OdYTk5AR++d5sksNTJhZDByKwROmVFVfBWN2W/XSGrBTmN7w3FiyaqRLz96PGbl7gx20Iwu6ASCL8CK3SQTyS82EfRoNNsWdKhBiE+XLnoT1C68m3paupIHBiEuxjBDAoMNZ4rINa6VP2sse9AMLbJ7CQRksGEdRJw7XoH80o5lPlZCNzYhgUkJBF+AM5GjRHGfm8XjGsu+jWM6NQHdc+eFsKyk2/I16UrOn7oXWwSegGK2ZCIpAFHnLjhqvQEy9PfAxx3mADORm0QLx0Eiq9nsEszBK2FOibEHg0DwBXgo+gmB/tz95vkbO5Y5Ixjogh+FdrQNFT6osc1qkvXrtwY/akY4FQFrKPpbhTqnIYngYjuadWpE86oMARmKmC84r3e+8AhuQ5R7fitDuv6sBl6ArUzkG6r4T/fD5pt2NFtY2Vubo6UQ9CKBWeZPrAVZOwFxir0nYFvm/98D26xFkxth2RthWxthN2xE//aNWDD63bh2tL0EwN2jmNtLujZ21ia0OstqsOEDYsY/fz2jsezr6oxAVdOVwYZOiHQ4Agw5BLFM4WS2qsZBZ7VHIPgCPBS9VqGnu5P/k4hlrgr8MCjmAJiHTHQniM6DrfMg1jwjnqKIC/Q5wEqoEVZFXlwhCcAV2uknuA2QVwHdCMHG994bO2jjXHvn9o0WTr5r1odO//HmG6Zvmj0DQ8B8/cpGUlA0UxQqPCqKRZKJrHO9bNdY1jn0lxcJeEEg8AIsQ5HHALzV+aARHI1o1j1mz4v0y7BhPuwy0SVQewks+ago5gr0RVWZB8E8R3DNf9WpvzyrDMvVayp4RG3cAVgr0Dj0TPUc05PXBKyh6NUKdRYCieJ7dmP2S177oD0A2Yb3iy23uCwe0FiWR6FyYnhGIPgCnIkkoVjoCHA0uzsEazzLfqwhxW7IRpZAZYkluqf5r0KXQLBnIYaK+R5tOAVIClCz2CYFQUrU/N1OKWRvCCxReUVFF0CxAJAFgO4MoJxv538XwQpb5Q7EMo9XKS+68YrA9oaTxJLljjnVLm3MLfXKNO2MELAGI99VwRf5RYezohIEgi3AimbJRPrcxIc0lm30BMJQ9A1Q/ZoIdoXiNUdggSWFvcYe+NgOwWtQbAaw2fxXRDerSIcCaaisgmXnxdUIa8RKYftQH7YjhVZHcHVaMWxEM5pnLYCVWwDLXnDAi5FvP9uRcxaPTH7pSwJZYQtWIJq9Z6rW/HkwCMhQZCMAZ3W75nAkZmcfDEZktRPFqFOoLD0ZEVbhq53R9T+TYAvwUPQNAv2ri+l5jWX3mxYyI7jAEZZgmaouA/J31GVeZkVxNxQvQZBQR7hlBdTeDEs2Q2UzopnXHMEVBGO1cfEZsja+B0ufEZWTkK9lO9GXmU0CXWFbWIGG3AoIsmVyYvMqEbCGGi5XyNnO3ZngEjuaPa9KruvGjQxFthVeKWk0uwsE6+smeSZacQLBFuDBhveLuO9fFHdqY/b4kogUCy50WcmPjwU9RmAF0g3RblvlJfNfRLLdFX30XVJS02g00SHuighyDSdZNk5SiBHjifYID0KxQkVXIOqI8XAZxGlEwy5eE8hEjhHFXY5ZwVqNZnf12kVd2xuKvkWgTzgM+Ji/rqdCpZIPuABHbhFB4ZzNJzSWdRZj7XCVL7jmcPpXVdAJW6+BWN2IZozI1laJy4kEeCzATOSdlhox1pMAMY/jx7/MhxCsp5DN/BuaeCdQqV/KcuxKJvIKFIsdjRAci2j27nL6s+0kBDKRm0VxstviLxrLvom8SMBLAoEWYBmKmMfP5vGxqXt7MxqzH3CSL1dwBT0CedBWmHdkD9XNYQ6lCnDxjBqKvtUSPVHVeUw9WfnKexRyKzKZ2yjGXv5KlmfLykR+pIpzTS+BXmHHcp8pzwJbT0RAhiIPA3BOnKipTzYAACAASURBVFLFcjRmeQwqp4unBAIuwA0vAeIUklDB3WLDvIMx23wmf4dbr4I7dmpMR4CLbQzGDgDsk8TCidD8B9EEF8XY01/LMoxtiyyTBjzg9tikseyCMnqz6SQErKGGqxTycefzB/IpxDJORT5eJOAVgeAK8FYcIpFIadtjKLjjz4eZCnCx1a3YDZHo/xXYBwNiVoxTjL36LZyhnVGVmmx9D2blVszQJLubJwqDkeXugkWo6vvRmLuNYEjASwLBE+DByHKB7l8o/TZBsj0idfhIudyR91KAi30PYBGi0fcJ1LyffyfFuNyB8bb9qL2qkF/YsYxz18ZrZgRkKPIIgEONFRUcgWjWPJLmRQKeEQiUAMtQwxpAJljJqV0q1p+h+FbdvMOd6TBXSoApxjMdGW/7F6/WFfRrJJuY9l5ybyMLtTUZjLwAwd6OAKu1PxqHngt1Qgw+cASCIcBD0YME9o0TrcBV1dPRmPtt4OgFPaBqCPC0xFi7VeSviGZPCTrCsMQnQ5F/ADggLxZ6KhpzN4Ul9qDGKZnIJre0rKnCt7Oprx7UWBlXOAn4L8CZyO2ieM9ofPpK8Z2wRrMtNbdFqArzpfiJggJ/QCz7jiq4zbso5TG16kuKhpNYl3rmo2JlIhep4uvGkkCus2OZD8/cah1bUFiSieQKBDSabYDArmMiTL0CBPwT4KHo9QL76Hwd45FLxSks8H1R/N7916c0lj24ArnXrknniQJuBHR4T68qVqAxO+aLTpUQTC7GOYWci1jmf6oUTW260diBkrH/5iaX0ajzGNpUceI1HQKKBZKJvOp0Fbym0exExWqmY519SMCdWtUGMRS9HmIfISrtY1xvVsixiGWeQiZygSguzM99/Ykdy32+2mGG1l8mcocoThgVv+oabcztHoicjBjHIpdLfp9x0Tcv3Ky57LmYg8LRb4EIN0xByFDkKQBOsQhVPQuNuV+HKf5AxToY20/EftaJSfFPbczuE6j4GExNEKj8HbARXKjzbgqii0XNubc7Xgq5AbHMh5xmg5Hfw1T1MXPf0tMR4fvfKWfbtsjRYuEaCHYZpWumVGFj9l1T9q92g0zkMFFcAuCgYdfmTsPWc9GYu7ba4dSEv8HIV0TwLVc0btPGbKGKXE2kV9UkMpHDRfGQ6/NRjWUn2wdf1dDorHYIVFaAncfM+sHJcKnoBqhlqlM54usI8JBzAlL+sPFcdk/MxuraQe5xJkk0WfMavqOQ0U8JVF5WwSnOE4UAX9ZQ5L8V+I/iEAX6c3tz7ly0YSDAoQcvtO2N+4iVe74QmEazcyHoDV6gIYhosOF9InKr+2Vmhfr1+iYEqBji9AlUWIAj/xB3ZebYEMcTXqeN8/5S/5Rvr6s1lpu4NvH0866NnoMNZwrkO5B8LWD3UhWsRDQ7+hFvkDPONpwgtrkblo6iNLrUwrmI5FYGOfSgxTZq7yqrN01/eIainxToz4wBgV5tx3KfmL4x9iSB8QlUVoAHIytF4JxgpNA0IC/nw5Bniu94R4U2GL1BRE91v3k+rY3ZyeoR1+e4bm/cWyRnhLdQKN79voJbVBvOx6zBf4YOTP5O/hKFfLI4dgG+b8ey/zt0+fgVcCby76L4fv7XDHdqtMQTxPyKN6h+ByMrRHCiG96DGsseGdRQGVd4CVRPgBWr0JgdvThoHG4yFDELH5xzf1XlRjRmJn2EHV7004jcLGCKRC4Tweii8Iq1Cj2/JhbdDDacIZZcUth/6VJ6SgXnIpo1lYl4TUZAsbtkIsOvbHQo2444koRWHgEZipj62ubscFMFawWiPu0gKC9stg4ZgcoK8NDII2iFDkLlXliIwTbH/um1EGs1tmdeRgs2FbjJUCQFoCUvwNZ+aBwafqcVMrbehDvFflqBXmpvzp1fU+9Lt2IXaYhcAvMOu+hS4F7EspOVvvSGecityFD0JUDzh5gobkJjNv9EiVfJBKyh6C8V+hGHIeQTiGWuLrkzG5JAiQSqJsBTxNMHxctusQ2n9ipU12kstzcEW0vMpXaalVbEYp3achZmZ++rncTHZDIUPUegZqV0Q9FPHtZY9oiazdmLxDLRG8RUw8pfmzWWNSeI8SqDgGQiq6A4zvkosvQkRHJ3lNGdTUmgJAIVFuCpV0GXEOXTAHKq6ITIN2uuDnQf5mNWdHeovQcgZ4jo6wFZOjEXp4zjXxB1z0YuAWComwzGDhDkboOMMFHI2Yhlrgx1XpUMXiGSjZgvtXFHQMyRerHMLyrpstZsy1DkjwCcAkAKeStimSdqLUfm4z+Bygqwya94H7C5ywUsEcyGwmw12gMCUyDCeeRc0iXogWK9qvNe68mS+uQbvdlta36xprrKaTvW1mR9D5lm7nV/3q4MRv4CwRsLsNXsE49m755qIOv255nIV0XxTTd/VpMrcyLIUHQ1oE7xGrUjHZi1vbtME2xOAlMSqLwATxkCAHMXGI0cKA24t6i5WYy1fynda7RN3YvuqHFVRCQTMcfBHeL++6tqNxyOWYMv1uj4zywtRYtkIhsAzHFExNJTEMndMjOj9dNbhiLm1ddsh10q24IFZt0KLxLwlkAwBNjkNNhwqojc4KQneESj2cOhmINs5E2wcZ4I9oFgARQLvUXgu7X8+29gNQQLVbEG2ey5aMJ63yMLWgDbG/cSK2dEeGc3tCeceSLIBi3UIMRTfE4wgPs1lj06CHEFPoaNaJaEUwzIXNs0lnW+xPAiAa8JBEaAraGGy513e0Z/BRfb0ewF4yY7FH0DBF+FqhFjs1Wg1Kucx8rltB3rf+K+AvOlom+iFeClJlLX7TKRY8SU1xy+5BmNZV5X10wmSn4rFksk8krhx2rjWMziY/sp58r2WUvEynbl28nLGss4K8p5kYDXBAIjwDLU8GJh8ZEKjkQ0+6DXydJejRAYin5aoFcMC4tgOaLZ0XujayTVmaZhDTVcppB/zWsJlis5TY10KHqIQB93G/5JY9nCl+qp+7IFCZRBIBgCPBjbV8R+zo27T2PZcQ9sKCMvNq1xAjIUMXfBx7hppjSWba3xlKeX3mBsfxH7meEvK1zROzXHbMOJYssK90sLq4lNTYwtpkkgIAJcVH4SeE5j2XpefDXNoay/bjIUMQcNOF/W1JbzMCtj9gzzGkPAGoz+WkXPcG6CVa61GzNnEtIkBIaiHxfoVfmHBvIrO5b5KHmRQCUIBEKAZSjyD7iHNqjIjYiy/GQlBrvmbG6PniuW/sjNa4vGsvNqLkcvEhr9SNVUmDsAjUP5s2557UhgMHJbUbnXe5XV1zhLKkQgGAKciSQLq5sV8saaK7ZRocGjWefoys0A5jp3wawdPuGUkEzkdijek7+r05/asdxnOX8mIDAUuVsAp+SpCn6HaNapiMWLBLwm4L8AD0XfINC/OokJejSabfM6SdqrYQKDkTtF8G43wwc0lj2qhrOdfmrbI8eINbJ6XLPZXTEHa6dvsIZ7DkYuFIGzC0MVF6Exe2ENZ8vUfCTguwBLJvIgFIXavv/QWPb1PvKg67ARGIxcGLv8k86H5dBnfs4Py0nGT4Yipm648wVFFN+zG7NfCttwVyVezqmqYKYTc8/p4zXrEz953N7z5UMyX/qhEwWP/fJxMELquvHsH62MXvFx58zpzNlXrxq84rwpj7wMaaozDzvbcLLYcrNraKtGs+0QpyQsryICnFOcDtUi4JsAz1626vGGBw9zygoOfeObyHzph3/UWPYt1UqcfmqDwKwTblgZWfkuR4CzJ/x+1faVH6QAT34X/CcAB7lfeP8T0ey3amMmeJcF55R3LGlpcgK+CHATUo/LSE1fZD9xzRPbr/rcWzlYJFAugTi2XAhYbtU0+6I05vJ93WQQh6IfE+jV0Z9+CljXPjD03QuazaqscrnXcvs4eu8DJP+oHnpnP1qdL3i8SMBrAlUX4GakXlJzCpJ75ZY98sS2B4+n+Ho9snVirxmplQo4H5ACrOpHgnfAU4x97D++8Vrs+19wtmxlz7zuxu2/PvuDdTJdSkozjr4bgMJ5yvqXNFrfVFJHNiKBMglURYCb0fuVfFzyVgVOKsSowBMDSFB8yxw0Nh8h0ITUSnEFWIFVAxTgKafHrLOuuCFyzWmnmob2Ac91bn3mrXtN2amOGjRhyxsEVn5nBtCTRoI7M+po/KuZasUF2IivQtz3TJIBNOom2JtGwtm/yYsEpkuAj6DLJ9eKLXtkYb1U6DkLQy2bsIDH7RWhjCNlzht3Tl5T2G8cwNy/lU+aPUhgcgJVEODU8uK73qJwnkkjwVNsOENnRIACPD18TUg9IUBh0eOH00hcNz1Ltdlr9GNofD6NxE9qM1Nm5SeBigpwHKlzAEw0cW9II/EhP5On7/AToABPbwzjSH0dwEWmtwC/7kfirOlZqs1ecaQ+B+DSfHZyYxotfE9em0Pta1YVFuDiFap4wc3UHJ5u7n4pvr4OfW04j6P3d4C8y83m7jQSx9ZGZpXNYg56D7IgZkuSubakkWAd7SLkfA9c2flH6+5Xu0qC4AKZStKlbUMgjtTvARREd3kaCZ4LXOLUiCP1IoClprmi4dgBxO8usWtdNON74LoYZl+TrOgdMLeI+Dq2deE8jtT/AHAPFrDOSaP5srpI3IMk40iZk6TOdU1dkkbiPA/M1oyJOFLmHGX3aFQ+hq6ZgQ1QIhUVYL6fC9BI12gozUhdo4Bzvq0CZw0g8esaTdXztJqQPkaQu8s13JlGgtuRiiiP2Q/8Shqtu3k+CDRY1wQowHU9/OFPPo7U7UDhmD15bz9aloc/q+plEEdq+DhHG3rwVrQ+VT3vwfbUgtQ8G3itEKXC/pcBzC3sDw528IwuFAQowKEYJgY5EYE4+u4D1D2C0D46jbn3k1bpBIqfIAC4II3ExaX3rv2WcaR+C+C0/BMW+d4AWniCVO0Pe9UypABXDTUdVYJAHClzx+aUCrShB21F658r4adWbcaRMuJiRMY8wn9yAAnngBReeQLN2PIehWWeshhCa9No3ZVsSMArAhRgr0jSji8E4kh1Augwzi1grz4kzN95lUhgPjY2b0ds+EjCCOw9ezF3dYnd66JZHL2vALLYJCuw39uPuXzNURcjX/kkKcCVZ0wPFSQQR+pVAAvyLrYtTKPN/J1XGQTiSP0TQGEBFgvkjGHXhL7vCvSL7j9fl0biw2XgZVMSmJBARQW4CalVAhyX9673pdH6do4FCXhJII7UdgCNxmYaLbMAGfTSfj3YiiN1PYBCpacX00jsXQ95l5pjE7a8UWD9pdDeAnbqQ8IsXuNFAjMiUFEBbkbqcR0+91dvSqPVOYGFFwl4Q0Ab4+gzAmyuwTQSs7yxW19WEuhdkoN0uVlrGi1NgGyrLwqTZxtH6hEAh7qtWBuak8MTAhUV4Dj6/g7o602kAjmiHy0PexI1jZCAUwUruTMwu8eFsTGNxM4EMz0CxYvZAP1AGq03T89SbfYaXRsaj6aROKw2M2VW1SRQQQHWOXH0DRSScb9Vb61mcvRV2wRakFpqA6acorm60kg4ZRV5lU8gjtQ3APyn6anQnw+g9VPlW6ndHtwTXLtj62dmFRPgZvQdrtCH8snJ02m0HOhnovRdewTmoPdNFqRQOOLPaSQOqr0sq5NRM/oOVah5zGp+X9en0bJLdTyHxwv3BIdnrMISacUEOI6+G82jrPw3ajwxgMRbwwKFcYaDQBxbjgKs+1zRuD+NlqPDEXkwo4yjbx2gixwJhhzWj5ZHgxmpP1FxT7A/3GvZawUFOGWOHyyspnw2jcQBtQySuVWfQDP63qNQt0gCeBLSDIegCb0/E8gnXTPfTCPxtRmarLnu3BNcc0Pqa0KVFOB/ACiIrjn/93W+ZkrnNUegCakzBbgmf8fGQ+VnOsBx9J4CyE2uHT7SHwco9wTPdJaxfzEBCjDnQ2gJxNH/WcA2xxGa67I0EueENplABK6z3YWTzudCA7QjhdbuQIQWkCC4JzggA1EjYVRMgHkWcI3MkACn0YzUcgVOyoeoD6bRemSAww1FaE1I3SHACW6wn0sjUfiCE4r4qxFkHKk1ANya0HpjGq2FIibVcE8fNUSgYgLMs4BraJYENJVmpJ5U4M2uAN+WRuv7AxpqaMKKI2WeIvzE+UoDrBxA4sTQBF+lQOPovQGQQlGhNWkkdq+Sa7qpMQIVE+AmpFYKcLz7i7xqAInCt+oaQ8h0/CIwWoCtt6fR7K6I9iui8PtlVaypx7AZffMVunGkZfaANHZ6duqebEECowlUTID5CJpTrdIEiutAC2RBP1o2VdpnPdhnVaypRzmOvpsAPcVteXEaiQum7sUWJFAlAeYjaE61ShKI47UDgIhZaW8uPgb0EDarYk0NM47+UwH7BrflC2kk9p26F1uQAAWYc6AGCIw5SJ7vKj0cU1bFKg1mHClzItLcfGvrqDSaHyitJ1uRQJ5AxR5Bx9F3H6BHGScK8B0wZ5ynBJrQ922Bnp+fX/KdAbR8xVMHdW6MVbGmngBx9P4UkM/kW+rlabT+69S92IIERghUUID7rwPsD7k6/3waLfsRPAl4RWDMdpkPp5G4zivbtAOwKtbUsyCO/iMB+3635ZY0EvOm7sUWJFAFAZ6DjYssxNYVXNkY2mUrFqwnfBLwgkAcqZcB7Ja3lX1dGjs944Vd2sgTYFWs0mZCHKnnAeyTb219MI3mG0vryVYkUMFH0Plf4tTdAN7pTs5z0mi+jNBJYKYExmwDGUwjMWumNtl/LAFWxSplTsSRugjA1/Nt5eY0WpwDaHiRQCkEKvYIOi/Ao0oF3pNG4phSgmIbEpiMQBz9RwP2H5yPPOCP/Ui8hcS8JxBH6jkA7upeuSmNlkLxCe+dhdRiHK/tD0SGn75wO1xIB9KnsCsqwHwM7dOo1rjbOPpuBvTkfJr61zRa/6XGU/YlvTh6bwXkfa7zx9JIHOpLIAF3Gkfvy4C4r0P0ljRaC/uDAx45w/ObQEUF2CTXhFS3AHvmE+W3aL8HvBb8x5HaAqCVc6qyo9mE1BnmlCnXy3VpJD5cWY/htB5H742AuI+eZVsU2fYtmJcKZzaMupoEKi7AcfTdAGjh0VUqjYT7wVnNNOmrVgg0IXWuAD9y8+lNI+Huw6yVDIOTRxy9bwfkXvdJAw+7mGRo4ki9CmCBc5sB/e9+tP6f4IwkIwkqgYoLsEk8jlQvgIT5fwXOG0DikqACYVzBJlD8uI9zqbJj1Yy+fRVq3gOb68U0EntX1mN4rTch9WEBflPIQCD79qPlhfBmxMirQaAqAjz6rkXXpNHK00OqMbo15oPzqLoDOhebExk0mC/P5kqnkWiubgTh8hZH6h4A78jfBePX/UicFa4MGG21CVRFgPN3wSMLFXjnUu1hrg1/nEPVH8c4Uv3Ory+AKHKtfLc58RjE0X8UYBedyGUdnUZzoVBH9QePHmdMII7UxQA2ppG4dMbGxjFQNQHm3Uslhq9+bHL++DPWcaT+CWCv/F2d7NePFlN4gtcEBJqRukaBM90f35tGwq2DQGRhIzBmvck30ki4+729y6RqAsy7YO8GrR4t8e7Xn1GPo/cBQJblves70mh19l/zGp9AM/r2UejwlxQFTh9A4rfkFT4Co3db4AuVuAuuqgCPuYtJpdHKFdHhm5dVj5h3v1VHPuwwjpQRj9Mc+QXOHEDiWv+iCYfnZvT+X4X8bzda8/hy53BEzigLBOJIPQTgcPfvFdttUVUBdu+CewFxVkQDuCuNxLs47CQwGYE4eofnDNcPVHeuxJF6GMBhrtfb00gUCnNUN5AQeXMXryUBuCVSZXkaLe8NUQp1HWocKVMyefhkKwFW9iNxYiWg+CDAqdsBvKeQjEA+0Y+WqyuRHG2Gn0AcqbsAuCVM1fOnJk3o+w+BxtNImJq+vMYQiKPvFkDfb/5ZgCf7kTiEkKYmEEfqNgAF0VXB0L79WGDep/MKMIFmpP6owMEj+oQ/9SPx5kqFXHUBNonEkTK1U/cvEuFl/Wgxt/y8SGCYQDN6P62QK0aQeHsnEUfqAgAXuvYvpAjvOPma0HusQH7v/uSRNBKFx3KcqVMQiKN3LSC75JuxRGXQJ0wT+lYJ9LiiOH+aRuKzlYzbFwEGtDGO1KOAvMmZmtDViuihW9G0oZLJ0nZ4CDQhfYwgZ+5+C9czaSRe52UG7t3vfxd9ETypHy13eOkj7LZmY+viBmRecfPgmbdlDGgcW44GrOFFawqcNYBEobRnGZbYtNIEZuO1XRsQ6QYQqeaXTZ8E2Dkp6QAgZ0S4xU2YpyVVepaFxH4LUnvZgHn36CxeUeCJAbQcDkjW6xSakFouwEl5u7LeRsPB/CI4mnIcqc0AnJKfOUR33YY5a70eh1q1F0fqxwA+n89P16axfV+gbaBW8w1rXs1I/UKBj7qfA+vSaFlcjVx8E2CTXDP63qtQ866kcF2eRmL45Xc1ANBH0AhopAl9DwtQeNf4qgUc3ofEi5WIdA4G2i3k/gToIlfsVwwgMbxGoRI+w2azeCGWQt81gNbiJxNhS6fK8Sab4pj1PCCFD/RL00h8ocpB0N0kBOYgdZwFrCo0sYHjtyJxZzWg+SrAJsGxjwHN8v0BtHy/GsnTR/AIxJF6CoDzaiIviA3HDiB+dyUjbUbfiQpdUeSD74OLYIxeCc1D58udi01InSnANSP97LenMbeoYla5FtneSwJxpNYDaDc2BfhlPxIf89L+ZLZ8F2ATXBypnwL4TCFQgbyvHy1mtTSvOiEQR+8pgHUpoM4vQv6XQc/uR+uV1UAwZkGWqfrE98Eu+CakVglQWJzC6k7TmJBx9N4MSOEM63VptFblEec0Qq2rLs1IrVTgePcTJ5tDZsk27FRY81BxFoEQYFeEzV2OW7ZN+4CGQ9NoNquledUwgTnoPUggF4y8hx1Otuorbvk+ePyJFseWCwHLrBgHYF+UxtzCyvEanpneptaMjXsrYkWnI8mtabS4guytL1orjcCOi+RkxQBaqvr6KTACbN7FCTKPCmSPPD79cxqJQwEZLA0nW4WJQDP65ivU1FZ1F6gUopftAr2/H4ni7QBVSW3s+2AAz6eR2K8qzgPshALszeA0I3W7jtRA4Nno3mCdppVnYnEs/kthO6xAu/rRunSaxqbdLTACbDJoRt8RCn1wJBt9Oo3WA6edHTsGkkAcW25XNLxLoI1jArxUIBf3o2WTX4Hv+D5YHk2jpVAJyq+wfPVLAfYOP89G947lTCzF0XslIP/LvdlLNwBvTKG1ayY2p9M3UALsivDHFXpVUTKP5e+EeYWdQDP6DlXodQB2Lc5FgRUKvWgrWs0CLN+v4nNd3WAqviHf96QnCYAC7N3osK65dyyna6kJqY+YxVaF/mb70QASv5quvZn0C5wAm2Ti6LsP0KOKEqvrD8CZDHBQ+jah9zsC+fLoeKQHsM9Jo/XmoMRZiKMJqScFKC5BV7dzkALs7ezkyV7e8izHWgK9HTngr4A4Z1wD+v/SaP10OTa8bBtIATYJ8gPQy2H2z9YcbD7eQuS7gI6qYmXueoO+33ZsUXYAdSnCFGBvf394Kpy3PMuxFkfvi4AU3vU+m8bafwEOGCrHhpdtAyvA+Tvh0adS1OsHoJcDXi1bC6Dxbej7XvGpIsa3AKsU1hfDssKdc9CszRjZqmHGrx+JE6o1j2rVz5gTvu4cQMLdClOrGfufVxy99wLy9pFI/N+PHWgBpgj7P2mnE0ETUh8W6PeKqv8YM/2AfjGN1sunY9PPPvUuwk1IrRR3r6QCqwYowDOejmNOS+K+8xkTndxAHClzqML/FLX6fRqJd1fY7ZTmAy/AFOEpxzAwDWbjtcUNzuNmnD4mqN/kkP3SNuwU2hrC9SzCfARdmV+xOFJmX/DeeeusQ14ZyuYJzuYTFQ1Fle7k6TRaArG7JhQCTBGu1NT0zm4cvZ8BxDxybh6xqmsV8sUBJH7rnSf/LI0jwlUvFuJH9hTgylAfZ9/5C2kk9q2Mt/q02oTNBwoazNbWhPtF5+E0mpcBokEgEhoBpggHYbrsGIM51Upgf2+knNtwm5/ORssXN0LSwYx8elGNFWEF1giss9JoLtq/Pj3bQe1FAa7cyIyz7/wPabS8o3Ie68dyK7a0Zh3x1de7Wa/Jwl62HXNfDgqFUAkwRTgo0yYfRzP6blfomNJt8g8b2S9txbzh00WCFfXMo2lG6o8KHFxsSSA/6EfzlwHJzNxDsCxQgCs7HnGkzOlSxxS8VLMGemUz89d6E/ruEOjwgkFBblk/5j3kb1SjvYdOgCnC/k8fdxvFRSOPdfIxKfS/BtB6vv8RVj6COFK/A/CuMZ66Af1yGq03Vj6C6nmgAFeedRy9TwMyvFWvGqeAVT4r/zyM86TqzAEkrvUvovE9h1KAJxDhR9NI1HXJwEpPrrzw6r8DsttoX/qKwDqtHy2PVjqGINlvRt8+CvwXoO8bE9e1OWS/HOZFZ8X5UICrMeuqew52NTLyy0czes9XyLeLnih8pR+t3/Ernsn8hlaAJxDh521E3r4VTRuCCDusMU0svEgBYt5Z1fWpLs3o+5i5+wewsDDGCh0QNHwpjebirQ+hnAKjS3PqA2m0FlepC2VOQQy6Bam9bOBhADvnnyjhiQG0HA5INojxBjGmJqTOEODXRbEFunhOqAXYQG5G6kkdVTJQ1gtwdj9a7gjiBAlLTOaYQAvW+YD9TkDcFYTD8rJGIT8YQOKSsORT6TgT6J2bc+6GZWxZu3ts6JeDUue6XA75eSB/Gumnt6TRekq5dti+NAJNSB8jyJl3ws4lwFOAvNvPA0pKi9z/Vs3YfITmVzw7l0JWDqDlRP8jmziC0AuwSW2c4vnm2+Oq2Wg5bROkP8gDEITY5mNj8zZE3ybQQwHrbQDMn6LtRBTeUsdpDlLHWdDvAlJYeVno+o00Eub4xVBdcfTdD+iR7kdaZxqte4UqgRAG24zeTyvkitGhy82AXJ9GmA9V7wAACa1JREFUc02tL/BqeGZhy+4RWEZ83ddj8nQEuWW9mNvrlY9K2KkJATZg8sv5cQWgi4pA5QC5WpD9VdBWv1ViMEu12Yote2RgvU2AQwV4mwIHTd5XUwq5gHe8pRJ2vhReDOBro3vo0zbkS1uRuLN0S/61bEbf+QodfpdmQw8O6528fxSn5zmOlHkUPd6ali2AXg80XJdG8wPTs15rvVTi6DfbjQ53M0spcssGMO/vQc+0ZgTYgM5vbM/eP1Jdphi/rhHgGYU+OfGgWIcB0q/QmwT2OgvWuj4MrAcWbQ36QBbHZx6HKmS+QhYAmG/+5A8C190VaBVgj6nyUWC1OHt47efTaD11qvb8+Y4E3Me35t3wO8cI8ZUNwJdTaN0SVG5jHz0L5Cv9aAnkQpagMpxpXM1Imddo+yuw5wS2TCWt64Hs9Wns9OxM/YW1fzNSfyq+iRDkTurHvFC8gqwpAS5MoDj6bgH0EADFd8MzmV+vAbpeIOtsyDqBrgd0ncBal4O9XhBZN4B4z0wcTNxXG2dj23wLgwsAmS8QI6jDwgroAsByRDb//47gRsqNxbxrUuAxBR6Nwn6sF3NXl2uD7ccnEEf/OYrcdwXSVNSixxzP2I+WXwSRWxNSL418UZMH0mjhwiufBiqO1/YHIh8CYP7sM0EYawB9Io3EmYD4drpPNRHF0XsKYF0KaHuR33PSSFxWzThm4qsmBbgAJP9SPvIRQD8OoGEmoErom1FgnRFpwF5vRFGggwr7ian6KqxDBBoVWK/YrohKXkiNoLZM1X8aPzfvxR8D7McU8uhsZB7bhAV8Vz4NkKV2cetkm7vhM0b3kdsEMEJs7mYCcTUh9Tsp2uPMR8+BGBYniDj6jwRypwFixHjuOJENKvTHDZAr+5DoDE7k3kVins4I5AIBThrzu/RI2lk1Hp6rpgW4MAzzoc3bkfp5fnm/mkfU416uEDYC2ARYixS6iwC7AIiGZ0idSPsAbFQnD2yyIBsVuhegPTbwbb7H82804+g9FRAjxEvGRHF7GgOn+/26Y2xpRIGs6kcLjx/0b8pM6DmO/lMB/RCgE61Kvw6wr0xj7n0BDL/skJrRN1+hZiHj54s7K2S7+VwfQOK4so363KEuBHimjJuQXqjI7tLgiLK9CyC7KGSRBd3FiDQg5lH3TjP1M0F/swdwEyAb8/+1i/7fEVgjrpsA3WSjceM2zDY/H6xQLDTrCQGNNqP/v9QpalJ8mTKWeoUN+6qtmPsXT1yVYWScwwH+mUZiokeeZVhm00oSyAsTLnNXqzt7iMfMq0cUeuUAEr+qZByVsu3eQP0SEHNmsrlBKr4uFcjFYd2mRQH2bNasn9OCpkU27F0U1i4CNQuXmgE1qxmnuOQwgQwAsjwvstgk0I0C3RTkhTpTZcWfT04gjv5lQO7aMecmFzrdDeCqNBLXVYvj6HKIPB6vWty99NOMvvcCerYC490NrgGsKwFcmUaz+UIf6KvoFeInAFjFwSqwQqEXhf1pHgU40FOQwdUDgTh6zR7PQwG0jZPvGiPEOUSv2oY5r1SCh1vb+4Lid4oCOYnFbCpBuzo252DgTRZynzZiPL5HucJGw5Vb0fTn6kRUmpf83W7fRwX46NgDT/IWpAewz0mj9ebSLAa7FQU42OPD6OqIQBPS7xTkzLf9D0+Q9m8VDVcNIH7PTLE0YcsbBA1fG7/SGVc9z5RvUPrH0W8Wcn4asE2FtjE13J1KW3cCckU/Wm73M+aiu92PTrDmZgOgj6bR+gE/4/TaNwXYa6K0RwIzJDAbW3dtQMYIsfmzw4cmIObD6CEbQ/+2FQvWl+LOFdyvArq/u1VtuG51Uf8tAjzej4R518arxgg0IfURcUql6ngFPl4F5AEbg+eVOqdmimfqu11kAPllLRdSogDPdBaxPwlUkEAcqdNcIR4+L3aMu3sA61Yb228r/uDMC651BCDLAF1WfFDEjuGy0lkFhzBwpuPYcjRgmTtiM7fGu8adU14lMtXdrgCmsMYvZ6Hll7VeSpgC7NWsoh0SqCCBOdjyLxYsc0ds3ulNtC3uBUC3uqvyx7vDLY6wB5DXAPtZVjqr4MAF2HQLUktz0E8D8gXZcXWxG7k8r9Bugf3H8VIRWG+2nUMjxv95cR+BvEWBA3Y8ztRpVfN3u+PzC/AEYWgkQAJjCayfE0fT1QJ9s0ImKlE4HjZTqc1sUXtWkfvWAOb+jWxJIE9AY3Gkfq2Qg2XispcVgVVPd7sU4IpMIRolAX8IzMHGRRZmvQ+w379jvWmYO1xToP5Bhf0QBdefMQqb1ynmlFfp8JCcwvMFr4jSDgmQgH8EzAenIHalBVg27PMpuP6NRa14dsX4B4AuBHLjnrxUziNoQEw98VdnIfHJWn+3W+oc4DvgUkmxHQmQAAmQAAl4SIAC7CFMmiIBEiABEiCBUglQgEslxXYkQAIkQAIk4CEBCrCHMGmKBEiABEiABEolQAEulRTbkQAJkAAJkICHBCjAHsKkKRIgARIgARIolQAFuFRSbEcCJEACJEACHhKgAHsIk6ZIgARIgARIoFQCFOBSSbEdCZAACZAACXhIgALsIUyaIgESIAESIIFSCVCASyXFdiRAAiRAAiTgIQEKsIcwaYoESIAESIAESiVAAS6VFNuRAAmQAAmQgIcEKMAewqQpEiABEiABEiiVAAW4VFJsRwIkQAIkQAIeEqAAewiTpkiABEiABEigVAIU4FJJsR0JkAAJkAAJeEiAAuwhTJoiARIgARIggVIJUIBLJcV2JEACJEACJOAhAQqwhzBpigRIgARIgARKJUABLpUU25EACZAACZCAhwQowB7CpCkSIAESIAESKJUABbhUUmxHAiRAAiRAAh4SoAB7CJOmSIAESIAESKBUAhTgUkmxHQmQAAmQAAl4SIAC7CFMmiIBEiABEiCBUglQgEslxXYkQAIkQAIk4CEBCrCHMGmKBEiABEiABEolQAEulRTbkQAJkAAJkICHBCjAHsKkKRIgARIgARIolQAFuFRSbEcCJEACJEACHhKgAHsIk6ZIgARIgARIoFQCFOBSSbEdCZAACZAACXhIgALsIUyaIgESIAESIIFSCVCASyXFdiRAAiRAAiTgIQEKsIcwaYoESIAESIAESiVAAS6VFNuRAAmQAAmQgIcEKMAewqQpEiABEiABEiiVAAW4VFJsRwIkQAIkQAIeEqAAewiTpkiABEiABEigVAIU4FJJsR0JkAAJkAAJeEiAAuwhTJoiARIgARIggVIJUIBLJcV2JEACJEACJOAhAQqwhzBpigRIgARIgARKJfD/AWDvKrPai114AAAAAElFTkSuQmCC</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="-933" y="30" 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="12" y="10.166666666666657" w="188.6666666666667" collapsed="false">Pen size not required by the lab, but makes the writing much easier to see.</comment><script x="12" y="76.16666666666669"><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><script x="12" y="544.6666666666665"><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="12" y="579.6666666666665"><custom-block s="%b xor %b"><l><bool>true</bool></l><l><bool>true</bool></l><comment w="117.33333333333333" collapsed="true">exclusive OR. FTTF</comment></custom-block></script><script x="455" y="10"><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>-50</l><l>50</l></custom-block><script><block s="setColor"><color>1,250,4,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="10" y="504.6666666666666"><custom-block s="%s ≠ %s"><l>0</l><l>6</l></custom-block></script><script x="13" y="458.6666666666666"><custom-block s="%s ≥ %s"><l>3</l><l>2</l></custom-block></script><script x="14" y="425.66666666666674"><custom-block s="%s ≤ %s"><l>0</l><l>1</l></custom-block></script><comment x="14" y="391.6666666666667" w="90" collapsed="true">2.2  Inclusive.</comment><script x="804" y="357.49999999999983"><block s="reportAnd"><block s="reportAnd"><l><bool>true</bool></l><l><bool>false</bool></l></block><block s="reportNot"><block s="reportAnd"><l><bool>true</bool></l><l><bool>false</bool></l></block></block></block></script><script x="811" y="442"><block s="reportOr"><block s="reportNot"><block s="reportOr"><l><bool>true</bool></l><l><bool>false</bool></l></block></block><block s="reportOr"><l><bool>true</bool></l><l><bool>false</bool></l></block></block></script><script x="434" y="384.16666666666686"><block s="reportAnd"><l><bool>true</bool></l><l><bool>false</bool></l></block></script><script x="432" y="411.8333333333332"><block s="reportOr"><l><bool>true</bool></l><l><bool>false</bool></l><comment w="90" collapsed="false">implements inclusive or.</comment></block></script><script x="434" y="446.1666666666667"><block s="reportNot"><l><bool>true</bool></l></block></script><script x="401" y="488.6666666666666"><custom-block s="is %s between %s and %s ?"><l>3.8</l><l>3.9</l><l>4.7</l><comment w="53.333333333333336" collapsed="true">2.4</comment></custom-block></script><script x="377" y="528.8333333333333"><custom-block s="is %s between %s and %s ?"><l>apples</l><l>alphabet</l><l>azure</l><comment w="53.333333333333336" collapsed="true">2.4</comment></custom-block></script><script x="432" y="601"><custom-block s="%s ≤ %s"><block var="num"/><l>23</l></custom-block></script><script x="388" y="634.1666666666665"><block s="reportOr"><block s="reportLessThan"><block var="num"/><l>23</l></block><block s="reportEquals"><block var="num"/><l>23</l></block></block></script><script x="414" y="686.1666666666665"><block s="reportNot"><block s="reportGreaterThan"><block var="num"/><l>23</l></block></block></script></scripts></sprite><watcher var="num" style="normal" x="10" y="10" color="243,118,29"/></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.666666666666629" y="88.80000000000001" w="304.6666666666667" collapsed="false">As the lab says, it&apos;s okay to use &quot;&gt;&quot; and &quot;&lt;&quot; instead of &quot;≥&quot; and &quot;≤.&quot;</comment></scripts></block-definition><block-definition s="%&apos;p&apos; implies %&apos;q&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%b"></input><input type="%b"></input></inputs><script><block s="doReport"><block s="reportOr"><block s="reportNot"><block var="p"/></block><block var="q"/></block></block></script></block-definition><block-definition s="%&apos;p&apos; xor %&apos;q&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%b"></input><input type="%b"></input></inputs><script><block s="doReport"><block s="reportAnd"><block s="reportOr"><block var="p"/><block var="q"/></block><block s="reportNot"><block s="reportAnd"><block var="p"/><block var="q"/></block></block></block></block></script></block-definition></blocks><variables><variable name="num"><l>0</l></variable></variables></project><media name="U2L3pp1-2-Predicates Template" app="Snap! 6, https://snap.berkeley.edu" version="1"></media></snapdata>