<snapdata remixID="9850893"><project name="U2L3-PredicatesPage2" app="Snap! 6, https://snap.berkeley.edu" version="1"><notes></notes><thumbnail>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKAAAAB4CAYAAAB1ovlvAAAPnElEQVR4Xu2deVzURR/HP8shoCCCoial4UWaYYp3mQemYmZPpmk+Pmlmj9XT8/TkkaKisAp4H3mQpd0eaWmmeZH6aOYtKgIeKGIq9w27sMvCPq/ZlR7wUdjfb2d2fuDMP1rOzPeY9+87M9+Z329VRqPRCFGEBzh5QCUA5OR5IdbkAQGgAIGrBwSAXN0vhAsABQNcPSAA5Op+IVwAKBjg6gEBIFf3C+ECQMEAVw8IALm6XwgXAAoGuHpAAMjV/UK4AFAwwNUDAkCu7hfCBYCCAa4eEABydb8QLgAUDHD1gACQq/uFcAGgYICrBwSAXN0vhAsABQNcPSAA5Op+IVwAKBjg6gEBIFf3C+ECQMEAVw8IALm6XwgXAAoGuHpAAMjV/UK4AFAwwNUDAkCu7hfCBYCCAa4eEABydb8QLgAUDHD1gACQq/uFcAGgYICrBwSAXN0vhAsABQNcPSAA5Op+IVwAKBjg6gEBIFf3Wyg8OQdYvge4/wc1lvzVwg6UW00AqNyxAXacAX6/ZtawaQOgf3vA0xUo0gNPegEudZSsvUW6CQAtchOHSttOAaeuA8+2AAKfBRq6clCCvUj6AOoMQPRNYPtpQKUCnOsAhlLz3/UGwMkR0JcAw/zNznV1Zm9lTZNwNhHYcgLo4gOM7lXTtJekLx0AS0qBoC3/E0xg8/YA7FRm8MoL+VUw8t8EyJRcoOzeomZkd6B7a0mKM62cWWB+MJwdqxZTUASk55ttalyfzsN0Iw2I/BXo0hIY3ZOpmUronA6AGh2wci8Q0AHo8ARQz8ky21JzgZ3ngIRUwN0FeKsv8LinZW1p1SIPgVYPaIqBPC2QlAFExQLlD0vFP6uS6e8DvGFltDqRAPx4GujsA4yxsi9a/mHcDx0Al+0BcjTAvJHy1L2bDXx11NxH+CigjoP0fm5nASv3SW93fwvy8JDol5ZnXvB71LtXwwg0qm9e/D/ZCGjoZo7wtEpSJrB6P9CjNTCiO61eFd8PHQBXHzBPReoR1hk8fTNQWga80w/wbSatr/wiYNtJwFAGONgBZFlApkZ7O4BwUv7/Sa/l6QwSaZ72Nq9L7y/rDgEJKYAtUh1kzbzpuHmjEfSKNLtreG06AK47CNzNsR5A4sy1B4DEDNsMfFWDRx4E8kAM7QT0bc92mGdtBdycgRnD2MpRYO90AAzdDpQYgPmv0zFx6kagqTswdSid/uT2QiJ7VgEw9zW5PVTf7vQNYOtJQD0SqFvz83rVG1y5Bh0AaUZAol9GPrBwl3m99cFAqTbRq0/WpGE/AWGvP3iapiGJPGwkA0AyAY9gUSaAFSG0xRqsqoEn6aVWTYCJ/ejjUR79eNtI3zKLe1QugMQEEh26tQZe5xgdyFEYORJjAQmB26+59ekbi4dbeRWVDeDJ68APp4BFY+imPKSMA8kDTtsETB4CNPOQ0rLquuVpl7BRgJOMtBM9Tbj2RAfAiJ3mZK7cPGBVLiBRkAw8AYBXCd4GtGhEdxr++qg5AU9r48bLN1bKpQMg7U1IRaPIyQTZjS58w5zT41FYrNXIg/VSJ6Af4xQPD39JkKl8AMvXgjx3iuTsesYWc5KYxq2UxHRgbRSbdaWEwVdCVToA0s4D3u+ZHWeBMzfMx3S8CklKkwsCNNIlC34GHO2BKS/xskYxcukAyHIKJq4it1PIoC0eU/l2jS3duPk4cD7JvCGytpDpd1QPoGsra3uq8e1rBoDl0/CUIcBjFHeiUoaPbBjIg2ZtOkZXApCjN5bJbSl2ca5LBUBj5EEYrmfAceloZuacVs1C5+h34dDpCWYyquyYXKad+b3Vm6G7s/Yjdekx+BfP42OHwqRSAfCK3wpo7xSgc3YwM/MIgL6/vAn3Ib7MZFTbMZk6x79gvvMos1xstRR1/ZqizY6a/0KRTBdUakYHwAFfQHs+BZ2zZtHQ6YF9EADb7hmHBoFtmcmotmNyckFeIxgl/6YysaPNzrHwGNauWnGPQoUaAWDSuzuRvu402h1+G259W3Ibl1sjv0PesT/glzJTlg6GTA2ivcLRzRgmq31tbEQFwPPNFqJMo4N/3hzqPtIl5uBiqyVwH9QGvvvGU+9fSoc5O+KRMHyjbIAKjtzE5b7rZbeXomtNqUsFwCuMpmBdYjbImsne3Rn+uezWl5YOVlmhHmfdQtFFGwo7F+nntykRR3B75gEBYAWH0wGw3wZoY1KprgH/+NdupK46AQdPF3TOmm0pI8zrkTWcz4bh8JrgL1lWfK91MGRo4JcwWXLb2tqACoAkShmytfDPsT5KFSdkIfbZVSjTlsB7Tj94hw5QlO9jfJfDycdD1nKAwOutHgDvYAZ3CxXlJcuVoQIgjSnYaCjDOXe1CTzHRvXQdt941POX+GKS5XbLrpkcfgR3Qw6iq14tuY/TdrPhHRogAKQ+BVuxBiwrNqDoYgrienwKlZ0K3nP7o8mHvUzrPiWW/EOJuBKwQdY6zhQB5/aHd0iAEk3johOVCHj5hc9RFJcueQ2Y/UMsro/c/FDDnVp5ouO1yfwuoz5As+JrmSDTsJxUCgGw/fFJcO3ZnMtgK1EoFQBj2q1ASWqB5DUgWZDfnrEfPuuHm9/drVCytl7CzQnbUabRw3fPOLjzTEBX0Kvw+C3EP/eZbAC7GuZBxeteowIJpAIgjTXgw3xzdeCXyIu6blr0k1ygEgqJZJ3uTIejd31J6pB2XUvmQUVenBfF5AEqAMa0WYaSTLILZpMuufriF8g/moSuOukLfxbjLDcVYwJQr4aK3AUUhR6AVwK+gPYCu7PgMp0BZ53nwrXb42h/6j3uQxftFQb3gW3QaqO0F/FFBPz/oaMSAVlOweUqa87eRVzXtbLWXrSJvdz7M2hj0yVHfBOAOjVUdUQELB8TKgBe9FkCQ26R5E2IVDDIAD4W1AdPhHP8WgKAO7OjkLbmpGR7if5d9GrYiSn4z6GnAqAtIiDR+NLTK2EsKYUfSc1wLORmDrmhIzUVI9aAjKbgiy0Ww5BfLDkiSGUo86to3Jz0E/fNSM5P8Uh4VfqtGFMELA6F3SP8Ivr9Y04lAsZ1i4TuRhbzSwPa2DTEPvOJ5MgjFfTq6hccuwWyDpQTAQWAlb1LB0D/NdAl5TAHkKhOogi5TeLcumF1nDD7d7kbIrEGZDQFk92p7kY2OmezyQNWVNv0clL6TDh4lX86lxlnD+1YG52MWP818iKg2IRU8iudCEgATMy2WQTsmDQNTi0a2J68exJJzjO202pZAIpENIMp2Fa7YKL6z6pZGMI5AhbFpeFSB+lrUdMuWJwF04+Akd6LkKrRIzSX/RQ8TRWMObemwK05vwgoF8Aw1WzMNKjFZYQKCFKZgpd3WoOcW3lQZ8t7W0zKXEoADEkPQj2vulKaUa0rF0Ci+8KSUNiJywh0E9Gren6GzGuZCM2yDYAzb02BRw2MgAJARrvgdQO+RPL5FNsBmDQFHhw3Ibln7mBFt3UIMUr7vIYAkBGA6qYLodeWYH4+2zVg8oUULO+0FoslDjzV+RdAalwalnZYLU0P8qVfu2AsNITCTlxIpTsFX9wai81jf8ACfQjtsa7U3zK/1dBkahGc/DFTOdV1LgtAACQCvrp6KHr9g+NH16szzsb/TmUTUpBWCBIFWUamopwizPEMx9+2joLfyA42dlNlcdYAOEgdgAHBfbnqryThVADUZGgQ0ngBUwD3BkXhP4uPmaYw3iU1Ng1Ln5E4Bd+LgAJABonowgwNQhkCWGYow3THufAd3AYT977Jmz/E7byCr/6yUfIDR6ZgASADAAtSC6F+jN0UvC7gS1w/lCh5wFmRumnMNlzaHo+I4rmSRMzzXoQSbQnUOew+YydJIQVUpjIFswTwUPhR7J0Vhalx/0ST9o0V4DLzZqLPlOcwdMlgSfrsC/4Vh8KOYlGZMl6ukqQ8o8p0AGS0CdkQ+A2u7EtAwKw+GDxfGd+IuRudjBX+kbJONPYEReHwgqOKieSMmJLUrWIBPPHpGWx/72dM2D0W7V7i+Fne+9wZ4hWBUn0p5uXJy3mS6PnyskC88FEvSQNlbWWj0Yjbp+6geQ/5nxe2VocHtacCoCZLi5BGEVSe7PTLGfhmxBakxaejx6SueO1T5fyI84nI09j+/i6EZgahbkN5Z9FhzZdAm12EsELrvyQmBYjZ9edBV6DHtMsfovFTjaQ0ZVqXDoCZWpDIYE0e0KAz4Ff1YRwMP2oy+L0jb6PlC08yNV5K5wZdKYKcQ9D73z0xbLn83627eewW1vZeb5WvpOhN6hLoc2/n4e9R49FmgLJ+m4QKgIXpGoQ2qToPeGFzjPlHZoyAyl4FFw8XaDIKkR6fgSPLj5t2h6S0Hdga7+wfJ9XHTOsnHf8Da59fD3sne0QUSdv5PkgxMg0TiAnMrMuRpb9j99R96P1RLwxbFshanOT+qQJIjuIubLmElJg0RH97Ac4NnJGZkAVjmbFKxUikG6Tuj5Z9fCQbYIsG3436HuS40ZoIX1HPj+3nwMHZAeEa+t/Urijn6r4ErA/8Bn2mPY+hiwbZwlWSZVAFsP3LvojfddWkhLObE+rUd0JdDxcMnh9gimyOLo6SFVRCAxKxnNycqF22yL6Zg4iWy0yRnviFRbl24Do+H/Q16nq62OSWklwbqABILghYuwaUawDrdhe+v4SNo7eaks4OFN/nXdklEnfOJaN1/5aYdPAtqmaUlpRiRp0Q1GtUFyEZQVT7pt0ZFQBtcRmBtuGW9keiX7uhvpiwa6ylTSyuR862f/l4P1QqFQIjXkS/6b0tbltVxSDnUJBNHa0lAxWlHtIJFQAL0wsR2oTdURxLB1TV97KOa5ASk8p0IIvzdVj69Crk3skzqUKmelKe/7AH3Jq44rkPelhkPtkI7p6yF9GbYkxr7qDEyfD04fTDjhZpbK5EBUCWR3ESbKFa9fCi37Bn+gEEzOyDwWG2OYU59slJnPv2AnKSckz3HstL5bWzEU6uTqYLwCQhbmevgkFf+udGr1nHpnjnwDi4Nnal6g9WnVEBkDzFcz3DFXFVylpHkaQ6ydORhHj3iV0w4vNXrO1SdntyB/LbUVtRqjOY+jDlEoyAW1NX6Ap0ILeQHJ0coCvUIzBsgGmpUNMKFQBrmtEP0pfkyn5ffcq0diJvrb3/20S0UNixVW3w8/02PNIAJh5JQmTfDZV88uaPb+CZ4e1r41gr0qZHGkAyIiRRXlZahsZPeSlygGq7Uo88gLV9gJVunwBQ6SNUy/UTANbyAVa6eQJApY9QLddPAFjLB1jp5gkAlT5CtVw/AWAtH2ClmycAVPoI1XL9BIC1fICVbp4AUOkjVMv1EwDW8gFWunn/BckwUAIuL5K2AAAAAElFTkSuQmCC</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,iVBORw0KGgoAAAANSUhEUgAAAeAAAAFoCAYAAACPNyggAAAgAElEQVR4Xu2dCXhcZdn+72eSbtBFtrJvsqmssiRBEEU/5BMEcaECnRZBgT8oCplJ28xMSiCTSWlmUllEZJckgCCKgPiJuyI2YResyib7UvYWSpvlPP/rJM3MmWnaJrOdc965z3UhmJz3WX7PO3PnvOddBLxIgARIgARIgATKTkDK7pEOSYAESIAESIAEQAFmJyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQAIkQAIkQAFmHyABEiABEiABFwhQgF2ATpckQALeIKDnd30BAU0B8jFAByHyAoDlUOwGyBSIAgoF8BqAlwFcKangz7wRPaPwOwEKsN8ryPhJgATGRUBDN20J6O8B3RtA1bga2zdPnDhT2ma9Me52bEACOQQowOwSJEACFUNA6zuPh0gngOl5J616gHTMeSzv9mxIAmsJUIDZFUiABIwloPU37wgZ+CUg+wAYBDC5sGTlDknN/kphNtiaBIYJUIDZE0iABIwkoKHO/wCy5waTU9jvfe8CrGWw5GVAHx+6X2VrBHQrQN+EBLaApf+ESL90BJcaCYtJuUKAAuwKdjolARIoJQENdf8W0P/ZsA+9RVJzTi5lHLRNAhsiQAFm/yABEjCKgIa6/gFg3w0k9SGAr0kq+GujEmcyviNAAfZdyRgwCZDA+ghoqMuenbzlOr+39HJUy29gYVdJBS8jQRLwAgEKsBeqwBhIgAQKJqD1nb+AyAnrGBL9syTnfLZgBzRAAkUmQAEuMlCaIwESKD8BPf/WKQj0vwPopBzvA7BwoCwJDk+u4kUCHiJQ8QKs59+wNwITzoNap0BkCoD3AQwAmDY8SVzt/7/aUbPJgEy1t8cBZMXQQn7VqcPzyVUAsZc62D/vh2I6BLbNlYDcCrHuQPVm98uiL73joT7AUEjA1wS0/iffgFRdvu7Qs3URBgeXyA9Oe9fXCTJ4YwlUpABrqOsTUHwFAns930EuVNf+QohLKphywTddkoAxBDaw1GiZpIL2Tle8SMCzBIwWYD3zxxMwdcYnoAN7Q/AJCI4EcGDhi/GLVk/7SfnnEOvn0Kp/SGr280WzTEMkYDgBre+8FyJHrZum9qPKOloWn/pHwxEwPZ8TMFKAtb7r8xAkARzgs/q8C8Uc6Qje7bO4Kz5c/eb1k+WG05yvKsrGxP5DU646q79sDj3gSBu6j4GlvxollOswbca50nzcKg+EyRBIYIMEzBTgUNf/ATh67LWX30D1Lij+gur+4U3WqzAZa6qrUT1gvwPOvaZhzaZrMOmDvqFfSPUMYPUHGKyeiiprBTRgpRsMVm89dNKK4AgAswHM2HBc2g8VW4R/Ovb4eadbBLS+8yyIXAhga0DPkNSca0oRi554a5XcNsueX4C1E46OAKwjIIEzoPaOTUPX0MSEtf89CMHNkgzOKUU8btrUyE1bo896GIrtHHH0Q2SuJGff4mZs9E0C4yFgqgDfDuCrGwHxKiRwIfpxh1xyyuvjgVbIvRrqPAGQHwOYuUE7ikulI/j9QnyxbWkJ6Hd+sgUmV72Z9iJYjj0+2EHOGvvTqC2s2GlgM0j/dtDqbaHYFmJtBw1siwC2hep2EOwDHZoUqFC1JXbsn1vR0yU55/rSkiifdZ1/6wwM9D8G6M5ZXlW/LB1z7ixfJPREAoUTGPsHuXBfZbOg4RuPgwZuHX7Xq/8FZBmAZVBZBtVXMKnqSVl08nNlC2gURzrv5oMxMPAJiBwMwH5K+cgot70HweVQuVdSs//iZrz0DWikc1v0WVvBkh0gVTtAdBeoNABancPHfhK1/7H/15bL4c+Zfa6srP350A9EhmfOl/ASnCnJ4NUl9FA20xrqOseevAhgsxzxbZGOOQvLFggdkUCRCJT2w1+kIMdjRufftDcGrC4A+0EC10rylDPH096tezXc3QzVC9bvX1ciEDhC2mc/6laMJvvVBdfvgoFJ02HpDhAM/6PYAdAdh7c1lJklF8uiA9a7JDXn+KKbdcGghrqfBnS3UVy/Jqngti6ERJckUDAB8wQ41N0FqP2ude0V+LSkTrmvYFJlMKDhGz+39sl9i1HdKR6XjuB+ZQilqC6GZqMD9j/D1yYTJ2JV3/D7c+e1adVkfDCYmcg0YfIU9K+29+3d0LUJgLFNuNlq+hb4cGBHILA7Atgdau0BlRoAu45rWLeodPI0JnbO8jMo7kUAvRiY8BYAm5W97ty+PpQlszbGLk/n5W2moe6bAT1pFK8fQuR4Sc7+XXkjojcSKA4BEwX4r4Aensaj1rHSMfee4uAqvZXh80sH7SPPnBNMMo5FTpDk7F+WPpLieND6zkUQmV8ca6ZaUQsIvADgWcB6FQp7fsIrELyKwcFXUV31Cvo3eQOrln8wRGDKtM3LOW/BTepaf8uekAH7FVJVdhxyiaRmn+dmbPRNAoUSME+Aw90vD01cSV/WfEnNXVwoqHK31/O7axDQWgCtw7typa8PUTX4WVl8am+5YxqvP224ZTdYA0+Pt53H738bIg9D9SUALw39uyrwIiy9BMDumT/8pBfTnzp0o7ks32oTueI7o82032hT02/QcPdJUO0A4BxitqDWSdIx9zbT82d+5hMwT4BDXfYX4/bp0kkgJMlT7A+xLy8Nd34WKqNtKHCZpILf83JSGureGVBXJ7uNnY8ooCsg8kCWuAbwEiy8hDXWS/LDU+1h3lEvre/6EgR3Zf+S582OnX8OuVCXPSJgv3/P+YWcIx2zf5SvXbYjAS8RME+A6zv/BJHPZJ5E/DUEPVrn0FCXPSRtPw3nXisxQQ6QRbOf9VKncsai4a5GKMIQe0b60EzgCfbCaQytp0EfBMNrphUTAdg/twBZA8iEtbOL7bWv9n3Ds4qzjMPeeL8KikEEsGYDDAKwMGlo0rFYb0LlzwCehmXZT+f25J6nZcmpLxfKUOu774Dolx12LEx7eoI0N2fWhRfqpALaa6izA5Dz1623viEdcza8fK8C+DBFcwiYJ8Dh7l9B9RijBLj5rk2w8j1bLEab7dkHsXaU5Nzl5nRLf2ai37txH0wIZJ+6o9ogHXPsXdl4jZGA1nfZy++mZ/+xpasQ0JMkOTdnlGGMRnkbCXiQAAXYg0VZX0ja0H02rKF3YsNPk+lL7pPU7E/7KBVjQ9XcXdhE3sDUp7bhU/DYSq7hzmaoZC/HU0SkI9g2Ngu8iwT8Q4AC7J9aDUU6PEt64J+AOCdm2SO6B0jHnMd8lo5x4a7dHcueh5D5I0n1TumY4xyaNi7vYiWk9Z3LIPJxh73nJRXcpVj2aYcEvESAAuylaowxFm1ursaK3d6DiL0Gdu0ld0lqthGbLowRg2dv0/obrxraozlzDUoqmLtblmfjdyswDXd9BYqfZ/kX/YYk59i72vEiAeMIGCjAXUuhjglLPlsHPNYepqHu2YDaO345Lg1Kak73WG3wvtIQGHX2t+Crkgz+ojQezbCqoS57X23HJjScRW5GZZnF+giYJ8ChrlcBbJNO2OD3RxrqvhPQ4zLF1TWYOGlHaZs1fKITL9cIaKjzr4A4NoTBL6UjeIJrAXncsdZ3XwLR3GV1NZIKPuDx0BkeCeRNwDwBDnc9D8VODiLfk1TwsrwJebih1nfuD5HcvaGfgzXxIFky620Ph258aBq+6VCodX9WopbsJku8u2TMraJoQ/cesPRf2btdyYuSmu38HLsVHv2SQMkImCfAoe57AT0q8wTs/3XAG6q+hrrsHbEOyblnKayJx1KES/a5GZNhDXUuBcS5fvsiSQU3cODGmMwad5OGuuzjQDPre+1To6r1aFk857fGJcuESMBBwDwBNnAd8AYF+IJbJ+L9Pnu3qew1woJ/YVC+xCcu9z7vWt95NkSuyEQgz0lq9q7uReQ9z2s3aknkRPYdSQUd3LwXNyMigWIQoAAXg6IHbGio8xeA5LxjlDWYJDtL4hT7CYNXmQno8AYq9vaVmSVJnIyVVQUNddm7kh3h+OHLkgruUOZS0R0JuEKAAuwK9tI4HV2E8RNJBb9ZGo+0ujECGu66Eoqz0vcpJ2ONsBh1DoPIyZKcfcvGuPL3JGACAQqwCVV05KChricB7OH40a8kFfySYWn6Jh2t7/wURP6WFTAnYw3h0HDnFVA528HmL5IKZvZx902VGSgJ5EeAApwfN8+20nDnsVC5Ox2g4F+SDH7CswFXQGDrTsaSP0hq9ucrIPX1pqihm7YELPvVSMDRV2dLMnhTJXNh7pVFgAJsWL113rXTMDhpRfYT18QdZMmsgk/7MQxV2dLRUOdiQBocDvslFbRPf6rYS0PdMUBbHACellTQOXJTsWyYeOUQoAAbWGsNddkCnNkrWvEL6Qh+1cBUfZGSRm7fFms+fCUrWMWh0hG0j5msyEvDXS9CkZlsxVOjKrIfVHrSFGADe4CGu+6D4rCs1CSwvyRP+YeB6foipVHWay+WVHC+L4IvcpB6fud3EZDM5jiCVdh04tZy4az3i+yK5kjA0wQowJ4uT37B6Zm3zsC0/pcAnZqxoHdJag4Pa8gPacGtNNR5MiDO95tPSSq4Z8GGfWhAQ10rATj75hJJzan3YSoMmQQKIkABLgifdxuPelhDQOqlffYS70ZtbmR6/q1TEOizXw1kTkWqwGFobeieC0t/kj0cX72XdJxkz97nRQIVRYACbHC5NdR1FwDnEqQBWBO35haV7hRdQ523AnKiw3vFDUNruPsKqDqXHr0kqeCO7lSEXknAXQIUYHf5l9S7NnQfAEsfyXHCdcElpb5+4xyGBjTU9W8AezlejZwnqTmXuFQSuiUBVwmYJ8ChLnui0b5pqqpflo45d7pK2UXnGuqyT+Q51BGCBbGmS3LuBy6GVZGuK30YWs/vrkFAexzia0GUfbEiPw1M2iZgogBnn6xiWRfIkrkXVWq5tfEnW6Cv+g1AHbWWTknNnlupTNzMu5KHoTXUfTmg30nzF7ldkrO/7mY96JsE3CRgngCHu5+EqnNB/zclFcye9OEmcRd8a6jzb4B8yuH6TUx7emtpbrZcCKeiXVbyMLSGuj7MOpgCEpTU7O6K7hBMvqIJmCjAv4LqMZkhaLPPAx5L7x16Cl5T9ToEVRkuuFQ6gt8fS3veUzwClToMraHuOYDemEVy2oxNpfm4VcWjS0sk4C8CFGB/1SvvaDXU3QpoxGHAwurBmfLDU+3j8niVkcAos9P/Lqmgc4SijNGUx5WGuq8D9DSHtxclFdypPN7phQS8SYAC7M26FD2qtU/Bb0Ac7/1Fk5Kc49yjuOh+aXBdAhruikMRzfxG10hqTubMYMOgaXNzACt3fwfA9MwIjHWadMy9wbBUmQ4JjIsABXhcuPx9s4a67L2Hax1Z/FpSwcxwvb/T8030Ou/a7TA4KftwDB3cSzpONXIzilE2hXlFUsHtfVMwBkoCJSJAAS4RWC+a1dBPDgeq/up88sLUSdPlwll9XozX5Jg01P0woJ9M5yhyriRnX25izhru/BVUMn/oceTFxDIzpzwIGCjAXcug+HiahWWdLEvm3pIHGyObaKjrGQAfzXzxB74hyVNuNTJZDyel4c4GqCzOhCh3SWq2cXt163nX74KqCf/NKsWgHiQ/mPOwh8vD0EigLATME+D6zuUQ2cpB7wJJBSt2HXBuL9JQVxJAKP1zxR+lI/i5svQ2Oslgr+/cHyKPOgR4DV6YsKncNmvQJExa33kZRL7ryGmppILOjWFMSpe5kMC4CJgnwOGcJ2DFSdIR/Om4qBh8s4ZuOhywHMPQACbI5rJotj1JhlcZCWio61kAuzpcHiOp4K/LGELJXWmoezWgkxyOviepYOYowpJHQAck4F0CBgpwN9cBb6S/abhrDRQTHbfFJRVs8m43NTMyre+6BYJvpLMTPCzJ4EGmZKvhzs9C5Y/Z+QS2ktQpb5qSI/MggUIIUIALoefTtlrf1QNBTTp8C3+SJcEjfZqOb8PWcPcFUG12JPCBpIKOc3J9m9pQ4Brq/iqgtzuyeF1SwW38nRWjJ4HiEaAAF4+lbyyNMgytmDZjKnclKm8JteGG3WBVP+3wOiipYOa84PKGU3Rv6653xmWSCn6v6I5okAR8SoAC7NPCFRr2Ou/mBGdKMnh1oXbZfnwENNSVc3gI9pMlwcfHZ8Wbd2t9198hqEtHJ5gjyWCXN6NlVCRQfgIU4PIz94RHDXW9CiAzHCjW5yU59w+eCK6CgtBQ190AjjVRpDTU3Q+o84l+b0kFl1VQeZkqCWyQAAW4QjuIhrseguLAdPpcm+lKT9BQZysgmT26RZKSnO377UG1vutLENzlhCqpoHHfN650Gjo1hoBxHwgNcxb0WHqnhrreeOm+5Vv2vT+Arfb9CKbNnHKYXDrn/rG05T3FI6DhzllQcSyTk99KavYXiufBHUvLj7r85veee/+kCVOrMXO/zTBly0k8fMGdUtCrhwlQgD1cnFKG9sy+i/vffPzdoeHBwIQA9v/mbqdNvPo0bo5fSuij2Nbvd+6Favm341fLJRXcusxhFN3dI9MX9vWtGJhgG5682UTs963dZ0syeFPRHdEgCfiYgJEC/NJ9rx+z+u0+bPHxGdhst02PlY659/i4RiUJ/aHJTYMDqwcDI8Zn7rvZ6bs+3nB9SZzR6AYJaKhrBYBp6Zv6B3eWS099wa/Yntqn7bNvP7Eyvf43UC04+PSdNpWrzuLZv34tKuMuCQHjBPi/+7Q/vfyJd3YbofXRo7c7Y6vffPeaktDzsdFeiQyqIi3AAj29Bm0UYBdqqqHuvwJ6eNq1WMdLcm7W+1MXwsrbZS8az1DIVSMGNpk5+eV9ly/cIW+DbEgChhIwToD/uW3L6++/+uHMkXpttf9mCz/6WEOLofXLO60eROw9h9MCHAC+dQgS1+VtkA3zJqChLvsUpO9kDFhNkpobz9ugyw2XItIpQDAThkZr0ZZwOSy6JwHPETBOgB+ZccGjfe/17z9CWqHH1qGNQ9A5XY8C7J3Pooa7zoAi/cQI4GeSCp7onQjHF0kPIs8D2CnzGZRP16H1vvFZ4d0kYD4B4wS4B9FfAZo+e5QCPHonzhVgQL9di7Zrze/y3stQ53XXYFB7HJE9Jangnt6LdOMRPYDYXhYs56SyD2uR2GTjLXkHCVQeAQpw5dV8KONcAbaAMw5Fgu/KXegPeu49kzDx7dVZrvswQy4L2pOzfHXlvv8F8JtaJP7XV0kwWBIoEwEKcJlAe81NDyJrgMyJSAqcXIfELV6Ls1Li0VCXvf3kPul8A3qEtM/JPjbSBzB6EPkLgE9nQuX7Xx+UjSG6RIAC7BJ4t932IvqqQtNbUVrAQYci8bDbcVWqfw11dr364Nuz33lqJaomBrB93RYLp91ylu8mD/YgMgCgaqSOCr7/rdQ+zbw3ToACvHFGRt2xFJGjBOgGsJUzMb4rd7fMrx156VXP//G1M0ai2Gy3acv2fKZxb3ejGp/3B7DgoxYCzzhb1aA1IBAdnyXeTQKVQYACXBl1TmfZg8hrANbZaakKcvbBaL2ywnB4Jt3nDkhGXn/07daRgCZvNvH9/d9pzmzO4ZlI1x/IA1jwSQsB5yjKO7VIbO6D0BkiCbhCwEQB/g2g6b10+WSX6VfNaA58EX39zvW/w7+V12rRuq0rPZBOhwj8Z7vklu++8vYb2aMSE2fUodk3E7F6EP0KoD8fyUGAX9cgkV6RwFKTAAlkEzBRgJ8DdOdMmta5tVhkb3RQ8VcPFkSBgHODhz4AsVok2isejgcA9Ej0Caimh50V1tF1WHSvB0IbUwgPIHqeBV3iuPnKWiTOHlNj3kQCFUjAOAFeishrkjXEylmYf0dTbQDWnYCmdwiz+7oCXXVIzKnAfu/JlHsQuRrAt0eCU2BhHRK+mYjVi8gPFPi+A+6CWiQu9iRsBkUCHiBgnAD3oLEXkEMyX2KVvRPWUkT2E+AhAM6D0YfwCLCwxkdf8B74vJQ0hB7EvgVYzrXYv6pF4ksldVpE4z2I3AHgy44/ILi0rYh8aco8AgYKMHfCcnbTHkRfhWO50cjvBPJmDVqzZkKb1739ldEDiOxjAfZ64JHrrVoktvRLFj1ofBGQ9KELCjm0Dq1L/RI/4ySBchOgAJebeJn8LUW0TqB3A9gix+UHClxQh0SqTKHQzTgILEXkbQE2c4zg7F2HtmXjMOHarb2IDKrjgA+B7FSD1hddC4iOScDjBCjAHi9QPuEtReMcQK6TUYadAbTWIhHLxy7blJ5ALyL3KPDFzEhF4PQaxD1/TOSDiBw4OPyqI33VoLVKIFbpqdEDCfiTAAXYn3UbNeqH0HTQAAZ/M8pT78j9L9ciwXNZPVzzHkQuANCceQLGVXVInOXhkIdC60Xj2Qq5IhOnPleLtl29HjfjIwE3CRgowJE/ADgy8wVWGZOwetBoDzU/BUh6+NLRsVYEIP/vELTe7GZno++NE+jFgv9VBH7tELLHatF2wMZbuntHD6J/BfTwkSgsYMGhnAHtblHo3fMETBRg+51T+inPgoYORVuH5ytRQIC9aDwNkA4FPjKKmTdqcMC2glmDBbhg0zIReATNH+lD3ztOdwrvb8iRuwc0oJ+qRdvfy4SNbkjAlwRMFOBXADh2dZL5tWhd7MvqbCToHkTOBWQhoKPMlNXlgsCFNWh1DAuaSMG8nHoR/YdC982M4nh7Q477cf6UKkxZ5azE83iqehZu4x995nVPZlREAsYJcC8i9ylwmMlD0A8h9rkBWD8FsL4lKk/WIrFXEfsJTZWRgB835OhBowVI+vuEAlzGDkNXviVgnAD3wNx1wPdjwe4COT4ASQ7vo7HuJcArH2DibkeiOfuAd9920coL3I8bcuQOQVOAK6/fMuPxE6AAj59Z2Vs8iOZNBtH3wgZmNw8dqABYzbVo+3HZA6TDohLI3ZDDD5umUICL2gVorEIIUIA9Xuj7Mf9TVai6EcBu63nifRWQhhq02mf88jKEgPjyeWIAACAASURBVN825KAAG9LxmEZZCVCAy4p77M6ewAUTV2HgZR11gtWQnb4AEDuEJxmNHaqP7lx3Qw5trEHbIq+m0IvooEIDI/FxCNqrlWJcXiJAAfZSNdbGslZ8lyl0vU+9g7A+dSgWPefB8BlSEQj0IGKPaJziMLWsFon0UYVFcFFUEz2IqNPgCgx+5Chc/F5RndAYCRhGgALskYI+gOg8oP8RwYSDBqELAMwYJbTnBoCvAH32UquhqwoTthxE4INqYKtatD7okXQYRoEEHkBkkQXMd5h5oRYJxznXBTooYvOHsGD3AQSeyphUrUVb+mm4iK5oigSMIkABdrmcPWjaHxh8GI5N7AsIaYVCrwD0wTosur0AO2zqMoEeLDgZCNyUCUPurUXr0S6HNar7XkRmKWAvi1t76T9r0baPF2NlTCTgJQIUYBer0YvIywpsV6IQ3hqAfPUwtP6lRPZptoQERhHgm2vR6hySLqH38ZnuQcR+N+18Wm+vRWLe+KzwbhKoPALGCXAvIvcrcGj6b3F4cy/opYi2CLQcpxK1b4oJsX1wYV/ldW//ZuwnAe5F5N8KpDd+CQAnH4LELf6lz8hJoDwEjBPgHjTay3K2GcEn8Obs0aVYEBIE7A011nf1A+LYE1inCzBRgT5AVgw3Uvs98QT7P4ZeB6//smdTd9ahrbE83YpeCiXQgwXfBgJXZ/qx/KkGrelDRgq1X8z2ubtgAbpXLdqeLKYP2iIBEwkYKMARe8OKHTNPwDivDolLvFi8HkT+BuBTdmwCWAqprcH+j+RzcMKDaN6yH2tOD0DqAWw9Wr4KvF2HhH1qEi+PE1iKyA8FOMcR5rO1SIw6K97tVHJnQL+FlZOPwWVr3I6L/knA6wRMFODfAfh8RoC9OQTt7Bh/RPPkYm4d2YvoNyxoXIDdR+mA79YiMdqRhV7vqxUVXw8a5wFysSPpV2uRKNV8gYLYUoALwsfGFUzAQAE2dy/o8fbTXkRbdPT3zA/WInHIeO3x/vIRWIp5Owiq7aM1hy4FVtYhMb18EYzdU+4QNJ+Ax86Od1Y2AQqw4fVfisiRAv0NIPa74vQlwP01SKRPjTIcgy/T60H0LUA3Hwl+AmSXA9H6vNeSyX0CXoWJU4o5ouO1fBkPCRSLAAW4WCQ9bKcX8/dWVNnvm7M291Do8jq0jfq+2MPpVExoPYj8FcDhIwkHgGMOQeLXXgPAJ2CvVYTx+IUABdgvlSowzgcR2nIQk+4GUOs0pdBkHdoaCjTP5iUg0IvIjxU4c8S0AOEaJFIlcFWQyR5EBp0byXAIuiCcbFxBBAwU4Ii9HeNBIzVUj64DdqOP2SJsYfK/nAc8COTxGrTu50Y89LlhAr2IfF+BHzjuuq4WiW95jVvuEPRyvLnpcbhqldfiZDwk4DUCJgrwaznLcGK1SLR6Dbxb8fRgweeAwO+z/VuzarHoNrdiot/RCTyAyFEWcK/jt0trkUhvMuMVbhRgr1SCcfiNgIkC/F8Au4wUwoKecyjafuS3wpQy3h40dgEy2+HjnVok0pN9SumbtsdO4FFEt18DfcnRYkUtEqMd0jF2oyW4M1eA30Xf1KOR/KAErmiSBIwiYJwAL0XkHgG+OFIlDkGv21//jsiBAeAh528E+E8AEw88GM0cOvTQR7wHkbcApP84smDt6rVjKLkO2EMdhqH4ioBxAtwDrgMeSw/sQcReY7pDzr18Eh4LvDLekzsT2ot/UPIJuIwdgq6MIkABNqqcY0/mYTR+oh9yH4CcXbHk7Fq0Xjl2S7yzlAR60HgrICdmfOjNtWjz1KlI664Dfnfakbji/VJyoW0SMIEABdiEKuaZw1I0Txf0PQvAuT90cy0SF+Zpks2KTKAHjTcBcrLD7JO1SKRPHiqyu7zMUYDzwsZGJGCfAWDWxSHo8dVzKRoXCsQhuPLLWrSeMD4rvLtUBHoQuQBAs8P+07VI7FEqf/nYpQDnQ41tSGDoEB6zLgrw+OrZiwWHKAK9mVbaX4u2ieOzwrtLRWB4K1H8YcS+QP5Sg9bPlMpfPnbXFeAJ047EhRyCzgcm21QUAQMFOPIYgPTGEhYGjz8UF99VUVUdZ7I9iFjDJyIOXwq9qA5t9pMXL5cJPITIfgOA3adHridqkdjX5bCy3OcK8GsYmP5lLF7ppRgZCwl4kYCBAhx9HdCZDjG5oA5tF3kRvldi6kHE3uB/J0c8H9YisYlX4qvkOJaieQdBX/pUJAFeqUFiey8x6UXEUscfcNyK0kvVYSxeJmCgAEeeguMcXAFOq0HiBi8Xwe3Y/o7ocQHonc44BPq1GrT93O3YKt3/g2jeZBB9zk0tVtciMcVLXHKfgPsxMP1wPgF7qUSMxaMEDBRgrgPOp6/1IvqqQrfJjBxY36rDouvyscU2xSXQg4i9OUpadCejb+r+HtppigJc3HrTWuUQoABXTq03mGkPotcA6tjoX6O1aEsQj/sEehCxt6NMDzsLZKcatKaHpd2OkEPQbleA/v1KgALs18oVOe5eNJ6tkCsyZrW7Fm3BIruhuTwI9KLxHwpJT7wS4JM1SDyah6mSNOETcEmw0mgFEDBOgHsRfUKhe2eGUuXrdWi9vQJqWVCKvWj8jEL+5DCyrBaJNMeCjLNxQQR6ELHr4lh6FPh8LeLppUkFGS9C41H2gp5xDC5bUQTTNEECRhMwToB7EFkOYKuMACtnQY+hC/8N4ZnVmPi64wlYa9EWGENT3lJiAj2I2JPhvuLo0yfWoe1nJXY7ZvMU4DGj4o0kkEXARAH+N4D0Vn0CK1iDRd2s+8YJ9CIyqEBadAPQLx+CtqzZ0Ru3wjuKTaAHjdcAkn4/L8BZNUhcVWw/+dqjAOdLju0qnYCBAsxZ0Pl26qVofFkg22WetBCuQyKVrz22Kw6BHkQvBnSeoy6ROiTaimO9cCsU4MIZ0kJlEjBOgJci8i8BPub4sjq5DolbKrO848t6KSJNAjg3LbmrFonjx2eFdxebQA8iHQDOz9jVe2rRdmyx/eRrjwKcLzm2q3QCxgkw3wHn36XX3Rca/bVIcF/o/JEWpWUPIj8BMNdhzFMnIuVuZcqdsIpSdhqpAAImCvAyAB8fqZ0FOelQtP60AmpZlBRz3wMPov+zn0L7n4tinEbyItCLSEKBRseoTm8dErV5GStBIz4BlwAqTVYEAQMFmO+AC+m5PYj0A6gesTEBssuBaLX3iublEoEeRL4N4GqH+2tqkTjDpXDWccsnYK9UgnH4jQAF2G8VK3G8PYgMAKgacSOwamqw6IESu6X5DRDwgQCrM/y3sJLrgNmjSWAMBCjAY4BUSbf0IGIfIzc1M9w5sGMdFttbIfJyiQAF2CXwdEsCJSZgoABHngSwh4PbqbVI3FhijsaY70HE3mN4Bwqwd0rag0gcQNQR0X21SHzaKxFyCNorlWAcfiNgogBzJ6wCemEvoh8oNH0WsIJPwAXgLErTHjTeAMipDmP/qUUivdSuKE4KMMJJWAXAY9OKJmCiAD8OYJ+RqgYgJxyC1l9WdJXHkfxSNA4IJP0OGJBDatH64DhM8NYiE+hBZD6ARZlRCfldHVqPKrKbvM3xCThvdGxY4QQMFGDOgi6kT/cgYm+iP41D0IVQLG5bv70D7sfA9MOx2J5LwIsESGADBCjA7B5ZBPgO2HsdggLsvZowIhIoBgEKcDEoGmSDAuy9YvpAgLOWrnEnLO/1IUbkTQIUYG/WxbWo/oLIy09AtrN349gDis05Ccu1Wow49roA5+6eRgF2vcswAJ8QMFKA/wEcY7+A2mloPY11bB3a7vFJPVwPsx2xD18HJtuBTAFwLPq4DtjlqnhdgHNnQa/ChGlH4sL3XcZG9yTgeQLGCfDliD7zHOSjI+QPgnXWyR46O9XrPSKK6MAaxyzovTBw8BlY9JDX4zY5Pq8L8O8QGVgGqbK3w9oLCgsrJx+Dy9aYXBPmRgLFIGCcALch9vpbwMwROB+FNp2DVnsjA15jINCAWL869oIOoHrHxWjmTlhjYFeqW7wuwC2IWu9Bhr5LNgVQi/cowKXqDLRrFAHjBHghYg+vAj45UiUBjm1HnEPQY+y2YcSyDmMYgHXQD5B4eIzNeVsJCHhdgMOIZe0FvTVWT21A8oMSoKBJEjCKgHECHEL0HoF8kQKcXz8NI/YugBkjrfkEnB/HYrbymwADq6cmKcDF7AK0ZSgBEwX4vwLZxSHA57Qj/iND61f0tMKIvQpgGwpw0dHmbdD7AhwdBCQwkuAavDf5Mr4DzrvebFg5BIwT4AbEXlNga0cJY0nEWyunpIVlGkZ0NSCTRqxYmLxTB2L2AQ28XCLgdQEOIWrJ2nfANiIKsEsdhW59R8A4AQ4jZu9bfBCHoPPriyFEs/aCtjBwYAcWPZKfNbYqBgGvC3DuO+AVWL7pVbhqVTFypw0SMJmAiQL8KwDHUIDz67a5k7AUuksKrc/nZ42tikHABwJsAUh/l/AJuBhVp41KIEABroQqjyPHXAEWWJ9sR+LRcZjgrUUm4AMBzpoFPYgPNlmCJR8WGQPNkYBxBCjAxpW0sITCiL4PiL2cc+jiLOjCeBajtS3AT0CufgmCzaGogV5Ti8QZxbBdDBthxPgEXAyQtFFxBCjAFVfyDSccRszewWhi5i75VBItfycm9whci8il/0Lg3JEIdoE+/F20puc5uBfZsOfcd8Bv4qUpN+CG1W7HRf8k4HUCJgrwfQAOGwHPjTjG3gUbENtNgaedLTgEPXZ+pbrzMkSveR7yrRH7W0OXNaB171L5G69dPgGPlxjvJ4FhAsYJ8LrLkDSURGsHC75xAmHErgGQ/qIH8FIS8R033pJ3lJJACJFvCwJXj/iYDPw8jvjXSulzPLZzn4A5CWs89HhvJRMwToDDiNn7Fm/vKGp7EvF5lVzkseYeRuw9ANMzoweSaEdLdKzteV9pCOQKsECuaUeLJ94Bn4gTq3bGXvZ5wOmLAlyafkCr5hEwToBDiN4gkFMzpZJkEi0N5pWuuBnNQ7TGgvQ4rQrk8Ha0/K24nmhtvAS8LMB2LmHEBofm6629BPhiO+L/N948eT8JVBoB4wQ4jKaTAL3ZUch7kogfW2mFHW++YUR/CMg5jqffF9rRsvN47fD+4hPwgQDfD+DQkcwV+vsUWv+n+CRokQTMImCgAEf2AwKPOb4MnkuhdVezylbcbM7FuZMmYfpbzuVHCpyYQvxnxfVEa/kQ8L4AR44FAnc7crOSiFflkyvbkEAlETBOgJvRXP0+Buwj9dJXANOmL8b8lZVU2PHkGkLsUgHSy1wAvJhEfKfx2OC9pSPgdQG2M193ItbgzMvQ9kbpqNAyCfifgHECbJckhNh74phMBAROT+Ki6/1frtJkEEZsBYBpI9YFcl07WpyzoUvjmFbHRMAPApx7IMPz+E/1bbjNfjfMiwRIYD0EjBTgBsTeVGCLjKBotB2tCfaCdQmEEOsQ4HznbwQ4uh3xe8nLGwT8IMC5T8AUYG/0HUbhbQJGCnAYsbcBbJZBL99PouVSb5fCnehyn34BPJ9EPH2esjtR0auTAAWY/YEEzCRgqgBnHSoPUIBH675hxOzJac/mPP0e1464c0KNmT3fR1lRgH1ULIZKAuMgYKoAZy2L4JDq6D0ijIU3AJZjzTR3vhrHZ6dst9YjdlYAuDLzSkXuakfL8WULYAyO+A54DJB4CwnkEDBVgH8D4AuZLyy+08zt+Q1oalVoJPvncnkSLc7Z0PzAeIBAGNGrAHHsfCVPJtGylwdCS4fAd8BeqgZj8QsBIwU4hFiPADUU4PV3wwbEPlBgE+cdAeArixG/wy+dt1LibEDsFwqc4Mi3J4l4nZfypwB7qRqMxS8EjBTg3AMZBKhvR3yJX4pS6jhDiO4skOey/ejDSQ8dcVdqBn6yH0bstwCcO0udnkTcU8vqKMB+6lGM1SsETBXgrGVIFvDdDsR/6BXobsfRgOjVCvm2I44Xkohz20m3C7Me/2HE3gKw+civLQzu1YG2J70S7gIs2GwA1fbKg/S1Gn3bX47Fr3glRsZBAl4kYKQAr7sRB48kHOl8YSw8DrDuzHn6vTaJVqcge7GvVmRMjWj+WD8G/jWSvALvpxBPb5riFSi5BzIA+FMS8SO9Eh/jIAEvEjBSgMOIfQhgcga4dCTREvJiAcoZUxgLzwKs9GzaEd8CndWO1tvKGQt9jY1AA5p+pND/57j7jSTiM8fWunx3NaDpaoVm/RE3FdVTmtG8unxR0BMJ+IuAoQLc9Bag6SE7Ac5pR/xH/ipNcaNtQNOFCl04ilU+qRQXdVGthRF7HMA+DqN/TyL+qaI6KY4xCSNmZZtaPTWJ5AfFMU8rJGAeAUMFOPtg+QAQXox4yrzyjS2j4QMq+t8HZJKzhUAb2tGaHJsV3lVuAg2I7aFA1rveAAJfWIyL7ElZXrtyBViTiKfPCPZasIyHBLxAwFQBzhmC1o4kWit2CLoBTdcq9PTsDqeXJtH6fS90QsYwOoEGRBcq5ELHb/+aRPwIj/KiAHu0MAzLuwQMFeDsIWiFnJVCy1XeLUPpImtA7AoFzs7xwGHn0iEvmuUwYv8GkN5wQyFnp9Cyzjv8ojkszNA6Q9BJxI38fikME1uTQIaAkR+QMGL2OaRbOgo9L4l4eyUVfj4WHjsIvQDQQ5x5C/BCO5cceb4r1CPy+QACv3MEalWhf/OLcfF7Xgz+HDRsswkm2Xuwpy+F7pJC6/NejJcxkYAXCBgqwNE3AUkfRwjgzCTiV3sBeDliCCN2EYCm9fiKJRFvLUcc9JE/gTBiPwEwd8SCAN3tiAfzt1j6lmHE+gFUOzw9nET8oNJ7pgcS8CcBQwW46T1Ap1fiE/D5aN68Cv2v5E64AqCA3JlEi3NLQ3/2WsOjPhfnTpqEGasApCcxCXBsO+L3eDn1MGL28PhZzhgnoPrjbWi2h9J5kQAJ5BAwVIBj9pfXFMfTQ6od8XAlVD+MmL2e9+s5ud4/iIFTl2DR05XAwO85hhG9G5BjHXmsSSLuWNfu3QzDiK0BMNER4YNJxLNeg3g3ekZGAuUlYKoAvwhgBwfKbycRv7a8aMvvLYyFiwGrIcfzvUnEjy5/NPSYD4EFWPi1AVg/y2nrucMX1pdbGE0/BPQc5++5IUc+PWFsbYaXGA7MV8j0Klj/AKr/uBgXcgvQseFz/S5TBThr83rTzwOuR+MxAVQlAOzv7FEC/W07WtPHMrre2xjABgmciR9PmIEXV2jWLm54/wNsutOP0PiOH/A1onnPfgz8JyfWjyYR/68f4vdTjGE0zwQG7IcNx4iDDirwuRRa/+KnXCo1VlMFuGLOAw6jqR3Q0YbX7R2I9uUXn38+2mE03QHol7P/iPL+u99cwmHE+gBMGPm5AI+3I76ffyrhj0hDiN4ikG+MEu2PkohnjUL4I6PKi9JIAW5A7B8K7Ov4Aji6HfF7TSlvAxoPUwROAAITAf3eaHkJcEk74ueZkrPpecxD7OMWsCw7T38eERlG9DJAvpudC7elLGYfPh/Nu1eh/z+AjLLbmISSaOkopj/aKg0BIwV4lHXAC5KIX1wahOW12oCm0xW6offZAwr8IoX4rPJGRm+FEAij6WeAfi1jQz/cFNvNvBDfeb8Qu261DSPaB4jjKTgwqx0X8cCPIhQkhOYtgf4egXw0x5y9A2Ayifhoe74XwTNNFJuAqQJsHzafPt9WIKe2o+XGYsMrt70wYvah7LcDcC6xcoQhtyfRkjsDutxh0t84CYQROw3AdTnNTk8ifv04TXnm9nVn48u/k2j5uGcC9Gkg56PpM1XQPziXqK1NZSCJePoPHp+mV3FhmyrAxrwDno+FRw9C7WMEawDZfv09VK9OovXMiuvBPk94Pi7YaRADT+as2/b9zPUGxL6ggP05TF/cmrKwztqIxq36UfXaKOILgfyxHS2fK8wDW5ebgKECHP0nIJ8Ygem3WdANaP4CMHC2Avb6yQ2Irp2hrgECtyXRMqfcnYf+CiMwH017D0L/CmAzp6VBaO0StPYWZt3d1gvQdNAA9EFnFALs2Y74U+5G5l/vYcTs0a+vjpLBy0nEncsu/ZtkhUVuqADH3gSQ3opSoI3taF3k5draTwwW8B0AB8lGRRcQYLUCP00i/k0v58XY1iVwLs6dPgnTrhYEvqrZWzcCkMeSaDnABG4hRPsk6z0wZ0PnW9cwmvcBBh4FUOW0ocC7KcSz/oDL1wfblZ+AqQL8LIBdMzhldhItNxUbbwjR6wWBaQL9vQKHAlilwD8FOESgaxQyWaCrAZliAe8KYG9Mb3+52pMlpijUnqjykQD0AIXsMsb43gZwTxJxPvGOEZjXbgsjZi8R22SUuJ5pR8seAlGvxZxPPA1oalFozNl2KqqrmtFs5WOvUtvUI3JkAIE7AUzNYfC7JOJHVSoXE/I2VYDt5RzpCR/F2Ec3jNh1CmxVDfnjIHA4YH3JOcuzxJ3hDQX+YEFDS9D6col90XwJCYTRFAS0czTxTSK+ewldl910Ixq36EeVPRo1dClUU2gdZdlM2UPzjcO1/eWGdZ989f4UWg/zTSIMdFQCpgrwuIag1548Yz+Z9glgL+MRhT4nkMG157Haa4qd+9uWozstB/CnQWg9RbccuMvjowGR0xWB3GVk7yQR37w8EZTPyzxEjrQQsGfsOi5ZlkTL3uWLwr+ewgjPBCbbRzxm/dFij7KlEN/Hv5kx8hECRgpwCNFnnGvkBIGT2nHRT8NomiWwdrIgBwSAvRT6uiBwsEK39kKXEOB1hfw5gKrQYjS/5IWYGENxCTQgOk8hjjXpqkmDnwrDiK0GMMlJcRCy3xK0PF5csuZZa0Dslwoc78xMgcdT3FXMmGIbKcBhxNZZhmRBDhNosReo2+/qHgHkWcDaUyGrBbDXIH9MoQH7QVqGnqZh/3ulAssF2N1+x6dDP0p/MT3CJ11jPlMbTGSUM3OtJOJZE2tMIhHC/CME1X8AxJEjn4I3VOMQFn5RYNlndn8y577Xkohva1L/qPRcTBVg+/zRvTLF1RMAsQ+oL/Rw8EcE8hygn1DgtQFYJ/8ACXuIiBcJbJRAA6LfUMgtOTf2JxEv9+uNjcZazBvCaLokd8tUC9V7daD5yWL6McHW+YhuXwV5Yd1hZ1ULE7ZcgmZ7EiYvQwiYKsBZ74ABRADdEpD69dXNniASQOB1yz63HqoCeV2AKgW2EcjTAj1tMeK5p7wY0g2YRjkINCB6rUJOd/oS4MH2CjgvtwGxD3NOeXorifiW5eDuJx8hxG4RYLQDFh5LIm7E8jQ/1aPUsRoqwNGnAEnPKBXo19vRensYTfYG8TsrrIPWviN+x56baa+qFcj32tFib4rAiwRKQiD3lCAARk6+Gg1eCNFrJeePj7WbyPxfEi0nlAS4z4w2IPYlBX6Z8/TbJ9A/81hRnxVzjOEaKsDrvgM26TSkMdaWt3mIQAixLgFmO0MKoHrHSplsZ895aECTPSFrtOH2N5KIz/RQucoeSgjRUwFcL5Cs7+R+WNtcgsTrZQ+IDstCwFQBtt8t7TFCcOQJuCxE6YQEcgiciBOrdsZe9uYrzjNyH25HvNA5Cb5i3YDY/yr07uwJWekU1gBybxItWbN+fZVgnsHOw7xpFia+k7vWF8CDyQp4PZEnNiOamSrA67wDTiLeZkTFmITvCKx7MhBgQXfqQOuLvkumwIDnIVpnQexXPdWjmbKX4rUjvk2BbnzVPIToLQLJfe+7PIm4J5ZH+gqmz4I1VICjbwKS3gsakDlJtHT5rDYM1wAC9YjWByCpnFQeSiJ+sAHp5ZVCGJH9gIB91KI9qWi0nbH6ANydRNxxPnJerjzdqAFNn1bo5QDsjX6c38WvJBHfyCEsnk6NwY2RgKECnH0Ygz0Lmk/AY+wRvK1oBNbz3pNPNmsJn4fGw6oR+PN6hqTt1Qj9QODuKgTOuxgX2ktzjLrCiK0Z7Z14AFXbL8aFrxiVLJMZlYCpApy1DliA49oRv5t9gATKSSCMmL2Hrz25Jn357WjMUvOqx/z9BROvFqj9PnxD+0Tbo1p/TqLl66WOqRz2GxBdoJDRXotV9OhIOdh7yYeRApy7FSUgJyfRkrsBgpfqwFgMIxBG9DhA7sgRlYeTFTbxaqxlDSF6hEDsfaM3uCuYQAYUam9GYU9asi9btDdRDB1OMGus/ty4bx4in1dUXaNQe9/v6evGIK8k0cKhZzeK45JPIwU4jOwhaIU0ptDi6fOAXao/3ZaAQD2ajw9gwBbfrM/XJEzepRUx+0hKXqMQsJ+GA5jwA0B2ADSfk6GGhNk+g9jeClah96bQ+i03YYcQPVwgNwqwpUKnImeZkSM2bkziZqFc8m2qAL8BIL3LjkLnptA62hFwLmGnW5MJjLLfs53uI0nEDzQ572Lm1oDmAy0MXBiA7KfQnQqw3Wdv+CEI3N6OltMKsDPmpiEsOEQwwZ70ORXDB71sbK9vTroaM12zbjRVgFfZB96PlEqhi1JobTSrdMzGiwQaEPu+Aj/IiU2TiPMc3DwL1oCmwxRoBfQzeZoYafY+gLcVmG4fOwrA/p6w/7tfAXud9nRAbMG2NwyZIcBqBf4FyExA7aHhDxXaLxB7+NheRmVvo2fb7AdkBqBrhVY32cCTrjMFu+1Pk4h/u8C82NynBIwU4AbE1qhjxx0LuLgD8QU+rRHD9gmBEKLzJOuoweHAK2W/51KXqR5N+wdgXWiLnSLwODA4LQD5iAJ+28pyhUKvTKF1fqmZ0b63CRgpwGHEVg4P/6SvBUnEHWewersojM5fBEKIfV2gV2avPR/OQYFXU4hv56+M/BVtA2JfUOAsQF8DZIIgsEJhfbYIp58VEYS8C+ijgD6RROu5RTRMUz4mYKgARx8HZB9HXY5KIv47H9eJoXuUQAOa5irUXm402mfp+STiu3g0dOPDCiHyRUFgtHN1y5X7GwK5S2GtouiWC7m//BgpwPbGwjJezAAAA8ZJREFU5gKxvxTti5Nf/NUnfRFtGE2zBHqpAqNtF7haIF3taDnDF8kYHmQIsa8CcppA7aVLzyp0d4WsqgZeGQR2D0BXKuR1Bfa03xEL8AYgHwOs5QIstRDYIzB0Bri8rMD7Av2YvcmKQOxjS19QqP3Ky247spB5Uwt4JoX49wxHy/QKJGCkANtMGhA5UCE7tyN+h/1BKZATm5MAQlh4tMCyZ9N/xHmwghONQv9bhQlHVMopR+wWJEAC+RMwVoDzR8KWJJBN4Hw0fqYKVd0A7He5G/rMvJxEfAfyIwESIIGxEKAAj4US76k4Amt3svoRgK0VWpV7TmsOkHcUuCaF+LyKA8WESYAE8iZAAc4bHRv6ncA8XDzNwsorAXzBXvdp754kkP7hQwBk2ljyU8hzKbTsOpZ7eQ8JkAAJOAlQgNkfKpZAGLHrAIx7dyQB3rKgvwACz3CL04rtPkycBAomQAEuGCEN+JVACNE/COTI8cRvz5BtR3zmeNrwXhIgARIYjQAFmP2iYgmEED1ZIDdtAIC9bWHn2u0IP6zCINqRuLFigTFxEiCBohKgABcVJ435jcA8NO8wiIGDqxDYYwADgQACbwowWYGBJOI/9ls+jJcESMA/BCjA/qkVIyUBEiABEjCIAAXYoGIyFRIgARIgAf8QoAD7p1aMlARIgARIwCACFGCDislUSIAESIAE/EOAAuyfWjFSEiABEiABgwhQgA0qJlMhARIgARLwDwEKsH9qxUhJgARIgAQMIkABNqiYTIUESIAESMA/BCjA/qkVIyUBEiABEjCIAAXYoGIyFRIgARIgAf8QoAD7p1aMlARIgARIwCACFGCDislUSIAESIAE/EOAAuyfWjFSEiABEiABgwhQgA0qJlMhARIgARLwDwEKsH9qxUhJgARIgAQMIkABNqiYTIUESIAESMA/BCjA/qkVIyUBEiABEjCIAAXYoGIyFRIgARIgAf8QoAD7p1aMlARIgARIwCACFGCDislUSIAESIAE/EOAAuyfWjFSEiABEiABgwhQgA0qJlMhARIgARLwDwEKsH9qxUhJgARIgAQMIkABNqiYTIUESIAESMA/BCjA/qkVIyUBEiABEjCIAAXYoGIyFRIgARIgAf8QoAD7p1aMlARIgARIwCACFGCDislUSIAESIAE/EOAAuyfWjFSEiABEiABgwhQgA0qJlMhARIgARLwDwEKsH9qxUhJgARIgAQMIkABNqiYTIUESIAESMA/BCjA/qkVIyUBEiABEjCIAAXYoGIyFRIgARIgAf8Q+P9vOeWGpZ5BJgAAAABJRU5ErkJggg==</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="-1196.2444288953625" y="122.19536107173718" heading="90" scale="1" volume="100" pan="0" rotation="1" draggable="false" costume="0" color="255,115,164,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="30" y="20" w="188.6666666666667" collapsed="false">Pen size not required by the lab, but makes the writing much easier to see.</comment><script x="30" y="86"><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="30" y="386.5" w="90" collapsed="true">2.2  Inclusive.</comment><script x="30" y="418.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="30" y="453.5"><custom-block s="%s ≥ %s"><l></l><l></l></custom-block></script><script x="30" y="486.5"><custom-block s="%s ≠ %s"><l></l><l></l></custom-block></script><script x="30" y="519.5"><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="30" y="554.5"><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="30" y="589.5"><custom-block s="%b xor %b"><l/><l/><comment w="117.33333333333333" collapsed="true">exclusive OR. FTTF</comment></custom-block></script><script x="436" y="55"><block s="clear"></block><block s="down"></block><block s="setSize"><l>4</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,115,164,1</color></block></script><script><block s="doIfElse"><custom-block s="is %s between %s and %s ?"><block s="yPosition"></block><l>-70</l><l>80</l></custom-block><script><block s="setColor"><color>201,0,122,1</color></block></script><script><block s="setColor"><color>116,0,124,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></block></script></scripts></sprite><watcher scope="Sprite" s="yPosition" style="normal" x="-11.438486117905995" y="42.89432294214774" color="74,108,212" hidden="true"/></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>