Association For Computing Machinery (ACM) acm.org https://dl.acm.org ACM Digital Library ACM DL http://dl.acm.org data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAIAAAACACAYAAADDPmHLAAAxEElEQVR42u2dB1xUV/bHnz2JIGIEUXoRC3YUBKVK7zOALRtXjbHX2Dt2xY5dsaKgWLAgIKCIPcbYscVoNs1sdve/m03++9/8N3L+59z3Zngz897MgDP+d8WXz/m8EXSGcL/vnN8599x7Oa4WXyUPUzte++KDJtzbq/Zdx+4obM9UKP9w7nHy6YIvot9CUJuuvBtJ7vl3Ex8U3VfA2ScpUPJYebr0XkKLt7+ZWnDl3ol3zbsZfzv/bhKcup0IBXgveZhMIJw481Rh+/Y39CYP/pXIZkeuxz3O+zwB8j6PhxO3EhkEhQTBo2QofZRcUFaRavH2N/UGXgBcneyrMd8cvh4Hhz+Ng6PX44FAOHEzUe0Jzj1NgbOoCejvvv2NvUlPfm5qw6yLUT8evBYL2Zdj4NDVWAGCOMi7IXgCtNO3k+DC81Q481BRXFYWXP/tb+4NuHYWh7faUx7xLOtSNOy7EAUHEICcKyIIPovjw8FNAYI7SVCOEJQ+Vubn3Upq+vY3aN6LXG0Dc7359tI+npml4RW7yiJhN9qe81Gw76IEBCwcxFeFA4Sg9DEJw+STpytS7cz186GXead2D78l17y+Lbemni13oF4L7mOuBedqqrfeeDbUeUtJxJ0d5yJhR2kEZJ6NAAJhb3kUZIkhuCbyBDeqhGFBlTA8WfZ4QHOThaMbMR0L7ymmljxS5l39tu+sWj3+OPi9cPC/wTug/Vy/BfdtfTvubgNbbmN9Gy6gpu+7rSTMakNhn2ebz4QB2dbicEkI9mNYyLnMQ5CLEBy5HieTHSiLTt2If69GP8s27wZ7z0UmHrwcnVNQkfTg1J3EFydvJf5D8DDlRTeULWstAA1suME46CAAAOw1b5UNWnIv0X6rb88VN3TgfofewagcPTWXq7fuVOgPG4vCYGNhH9iE9y0IwbaSCAbBznMRsPs8hgORJ8jW0ARCdiDyBGVfpsC5J8lFnJHZwebCkDY7SiInImz3si5EA4rPlwha5eFrvPA8cTMBw4wCzlQoXpx/qgypnaPvwTXCQV+pAYAAQQMyO7RWaPZojmgu+D0X7vv6zlx6A3fOm3NHILw4ytnrqt4yDWPq6pPBP67L7wNrT4XCerxvKOjDQOA9gQqCSAYBeQKxJjh4LYZ5AtIEx0UQkDA8/wyFIWYHN2B4A9Hn1c8oiG6Snhtst+pEUPi6EyF7N+SH/mPvpSjYiZ4mszQSdqHX2YfaIxu9DUFGANB7599OgPMs7VQOq50AvM/Z12/OXZMd/JbC4JM5oDmhuaK5c9CwDVpr7p8NPbmjjdpz4zlrLiB1etuOK48HP1t9MgRWHw+BNXhfmx8KGadVEGh7gkg+HJzX0gRXhXCg5QnUEGA42JIf0WHW3p7RSw8FzVqWG1i+Ki8EtpdF4OeEQQaCtxHB24LQ7cDP2omfRZ9x4CICgO9/5FNea5y6lQDl+H4IQcaVb1LfrXXj39COay/l/iUBIA/gzAPQ0I0NPuDgQ8O2HNRDGOz83oPpO3r+vCIvGFYcC4aVeF91AkE4GSp4glBNTyBAoNIEe9AbsBTxkuAJrsaI6gQJ6joBZQekCXAQ/7r8SBCswIFfcSQYlh0OgnS8r8Y/rzvBA7AZP2/bmXD0AhGwBz9jP4UCfG8KA8c+i2dhAEMAlDxQ3C2pSHWqbeNfF1V/fxR8YNADqJ5+F5EHEABogNasWyOYuKkHLDsaDEtxIJbRwGhAEKIFAS8Mt4mE4W4xBFqegEHAKoYJak9Q8lCJkMTCwuwAWJwTCMsOEQBBsAo/dy1+ZsYpAgBBK0IASsJhN3qbrPJoVoRiOuAzXgfk30lkhadzXyR71Tr9h+p/r6wHaCmK/1oANPTgAWiET/47bevB5G0+sOhQILPFuUE6EKzGJ1LtCU5rQqDSBGJPICsMRRVD8gT09OZi9rAomwAIhOX42asQwrUYfjJOovg8TWEgjIWBXQjAPtQb2Rd5HUBh4DgLA4lw5dt+FFY+AkirW3uGvxX3HgLwk+TTLwbAQTBnAQA3HoBG+OTXc6sDU3f4wvycAEhDW4AmB4GGJ9DQBOGSKaLaE1yuEoZHVGVjsSd4oGSALDwQAMsP815gDQKwnsKAAMB2fP9dZ/F9y0gHEFS8F8i7EQcnUQdgKkjvczC3IrVh7QHAjvPScP8ttABoJYr/4qffnQ8B9ORP2uIDc/YHwNz9vWHegd4CBOgJcgmCQAkIQlEYhmoIw01FfRgEKmGYKQjDPTLCUMMTqIpFD5LhKH5vKcK34jB6HPw8zAZgg7YOwPfef5GvO2ikg2w6Wvm/tWoWsq4NN0sWADst9y8SgHUQhqadG8Godd4wa19vmLm3F8zO6s1DkB1QBcEhaQhWnwjhITglzg5UEIRrpIh7tCqGB4WKoXaxiAawGD0BufWVR0Mg/SgPAGUDBMDWojCRDohiOiBXSAdP4Pvk43tc+64/nHuY5F2bKoCPtd2/3vgvDH7zbu/CkBWdYdpuP5i2xx9m7OlVBcEB8gQIAYKw4GAALNSCIF0bgvyqOgEVizaLPcHZCEkI1CmiBASkCQgCCgGr8XNICFIYIAB2lPBhIOs8n2mo0kHSAQTA+S9ToPi+YnntAUBO/UvFf74ABE3aNsTB7wJTcfAn7+wJU3f6MRA0IFB5gmxeE0hCcJwXhmsETUCegK8Y9tGAQKpiqDF3cF23YnimAj0Bfp0gWHdSVQ9Q6YAI1AEUBmL4dJDqARhSTt1MhML76EUqFN/VisFH8ZesN//Xdv+U+jnUhY/XdINJmT1h0o6e8AneCYIpIghm7RNBcEBbGGqFAzUEcuFApQn4FJEKOWJhqJo7EJeN80We4Bh6iDV5qANOVemAnaXhqAOiYP+FKCEdjIVjQjp4Gv/tpy/6Q1paLehBwME+Ifv0q/J/YfDrIgx18WsjMrrD+G2+zCZsl4eAPMGc/b21hKEuBOlydQLyBkV8sUgjHIjqBOoJJJ25gwQNTXAM3ftahIAHgA8DuxEApgOEMEDikS8LJ7LmVPx3b35ZuL4N93cxAPXoboMDjvdGDnWgkVM9aNy6Idj5W0DHfrYweqsPjN7sA2PQxuFrgmCiBATTd1dpgjlZhiHQVzHcJKSI24o1y8baxSKqGOaqm0o0y8bFDxSsikhegNUD8L1IB+w7z6eDB0VlYQKAwsDZx8riN7v605zrRtO+9d5HUWfNP/3vutTD+N4IbLzfA+cwK+gwwBa6ftQKfEc4wpDVXWHkhu4wcmMPwxDsIk/gr6sJdCAI0gtBVYqoqhiqPEGk2hNkSTWVfBZfJQxvCZ4Aw8Fx/BoJwa0sDFBZOKoqHRR0wEkhHTz7OPnnN/vxb8zNaNCqzq9N2uGA92gM9iGW4BZnDe3620KnQS2g44ctoMNAW+gx1B4+WNYJhmd4MxshAcEEAYKJ1YRgoQiC5VLhIJ8vFpEe0NEE6ophlFbZOEbUXpagkx3QU04egMIAAaBKB5kOQNF4Av/N6TuJ1HzyS/lX/bu+cePunNC0q0df6+nOMVbfusRaV3okNYM2fd/HgW+OZsMA8MK7Fw5+l0F2MAAH/6P13vAR5vsfr9cPARl5AgJArQn26IMgUAOCZUe1IajyBBvVwlBr7kBvP4FmxZAgoAUolPNTQYiVhc8LOkCoB+QJOqDwXtLLrAsx10at8h45NcPb/T970JOskl0VTY+7Jlv/5JHa7GePZOtfW6c0q2yd8j6Qeaa+D237Noe2/WwYBF4IQXt0/wOXdYQhqPiHrO3GABgmgkA7HIzdIniCbVVewKAnYHUCfcUizRRxQ6FoAknLE6jby1AYZgueQCM7uKnpCcjVZ5ZITQ8nsOlh6kBCr1A5aVOPf87b6//z3D29XizK6pW5cJ9f0L/nKKdxdb2Hcw0cUh3etUu0aO+UYDnTOaHJI7e+1uCW3BQQADR8jeaR3IyZGADyAgQBAdAG7x+s6AyDVnWB32PsF0PwkR4I9AlDyTrBAT0Vw6P6U0Tt9jJVU4l0nUC6WHQS/0xi8AD+G1VZmMIAzQvQ3zmOMMyntHaHH8zb1QsW4s9Nk0xUtFp5OOjC2qMhwzNyA2zW5Pq9S+1mr30Ng0c018gx4b1WTjjgjnFW/RzjLfc4Jln9zSW1KTgr0RKtwDnBClyTmqrNTWkN7kprCQCaQxu8tx9gA32XdITfpXeBD1d20YFgqNgTIAAj9ECg6wn8NLODA6Ky8UG5OkGIricQC8MS3c4iKWF45LN4SU1AIlEVBtRlYZoevp3EbO2xEJiJMBMIBMDi/QGwHH/OtXmh+LkYfi5EUnHpWWZR5Op95VEx2WURbfddjrDNzU2tZ44xr9Mq3rJ5q0RLf/sYy8EOiZbpDrFNrjkmNAHnZCtwSrICx4Qqc0JzQQhcVADg00/mrgUBAdAaX3cY2AKUC9rDQHz6yTQgWKUJgdoTbNDyBFtUEPSsgSfQqhgeVYWDEKYJxGXjjSJPoA2BuuX8khYE13U7ixgE+JqvB8SqwwDpgDOoFzJRMM7Y7gdp+PMuwp93KXqrdPz5Vh8NgfXHQ2ET/jw7UJxSTeLYzXg4cCH619xrsUUnbiWknbwVN7DwUXKnkhupViZ74u0TLNbaxzf52iHBEhwVTYAG3yHOkpljfBMdAMgDuIg8AAsDGgDw4YBEX8LcdtAfRR/ZwBWdNCAgY56ATBsCvdmBr5EQiLKDg/qKRaHSTSU6xaKoqmKRdji4oQkBCUMacDa/cJUXjhQG6OtUJ5iHP+sC/FkXZwXAMvzZ0P0zz5CBnol6Dbbhz7CT9AQCSH0GFG4KmXfB97ineHD2UfJsk7kA+4QmOfbxlmAfV2UOcU2qABBBwAAgD5DYVMMLaIcBcv+J89pB36WdoJ9gxkDwkQEIVMJwwjatFHGnAWGolSIa21mk21RSBYFqGVquGAJRPwENNqV/h6/G8WXhz3kdQLWBFfizMACo14ABEMwqixvwZ9hyOox5AAKAhZKLfChhcwsIGQLwz7InKVNMCIDFSBz0X4wBwFHwAM6Jml5ADIA7aoXE+e0hdXFHSMXY33eJsRB0qx4EJigWSXoC6iwq1G00VXkC8dxBtrhOoG4vE4UDhKDgbiILAyc+53VA0X0lrMPBXrC3NyxBOAmG1TTNjNpkI1UWC3gAdpdGqLUEm12k6WUE4Nzj5Bfn7is6mwwA22grd3T/30kBIBsGZABwV/CDr1zUAZLRUhbJQdBZGoI1xkGgrhNUF4KDgUZ2FoXKVAwFT1AeJbkW8Yi2JxCEYSFCQE8wtYvTfgU0wItQ/C0Txf8MFv959086gZpMDpRHC/MK8er+gitf93tgciXooLC8qxcA7TCgpQPodWsUfjGz20LSAi9QoCkXVg8CvSkiAWAAAqPqBBqdRXrKxjot55pzB7u128u0IRA1mrLsAD1B4b0kliZSaCBxSK6fAGDxP496DUNgM37m9iJV/OfrCapMguoMhXeTKs9UKA+YHAD7OIstOPCVVRA00a8DBADIyBt49msOEdM9IQGf/sQ0r1eHYLVEsWiDtywERs8dqFPEQL2aYI3E3IFUONBtKokReYJ4jVlEgqAIIeCrh0kIQBAf/48Es5CwAT9zSwEBEA678DOyBPfPegyF+F/6JOVl8d3EGNO38UVbBDkkWb40NgyodIAzikFS/WFTPSB+Xntm1YdASxOs0s0OhhkoFomzA42ysd6mEnkI+M6iEImysbi9zFBTie7cQRGDQAEo4tgaA979U/wPZfF/K80snsH3Pcu3mudcjq6aVbyVRE2mlRxnpuIQZgISAEh7gSohaIVPfhuIxXSPLG6uCIL5CEFaFQRKPRAMMCI7GLZef9lYvmLor9tPIOosku4nCNGpGG4sEHUWFYuaSrTnDi6LVyXrNpUQBLT2IOt8NKxE+AgASv82s/jPq38W/9liE76OoJpRLHuSetVsVUD7BMtz4nRQ7AG0vQCFAYdYS4iY0QZi5rRjFjtHAoJX8QRS2cF648rG4orhVFE4YJ1F+0XFomxxODDcWSSeRaxaiyg3gRQj21nEUkS8L0MAWfwnAE7z7p+lfzStfIGP/5RCnvycX2tYdDdprPkAiGk82CGpiUEP4ECGX6fBj5rVlpnpIDCcHQwzkB0YM3dgTGcRmzvIE0GQL153YMRU8mXtTSpExaK7QlPJ9QRYg5/Dx38h/aPGEgQgh+I//vvjwlpDWmRSdD/Bw2wANFe+19JRKQ2ACgISh84o/EKntIaImW0hcmZb4yCYLw1BSg2zA2PnDqQ7i/wN1AkC9QpD7VXJOk0l5VoVQ41+gniNWURqLyOBxxpMCyj9C4c9Z/Hf4nscvKzqLk5QLVT5u/kX9cRb/qAbBgQI0OW7Yq4fMMkdwjHuk2lDED1bE4L4eV4IgBfzAolpHRCADgIAOPiLOkHqYjQGQGfoT7asMwxYTgB0gQ8QgN+ld4VBK9FWdYPBFAqMnEo2rrOoN8zJCmChYL5KFLJZxCCJYlGInrJxlTCUbyrRbTRVeQIKB/SUb6dFJggAW2V0IZqligQNxf9zX6TAmQdJmWYHoGWs5RpHiTBgH2sBLoqm0HuCG4RhutcHLcwABFGzPMF/YjPoMd4CfCdYQM+JaJMswf+TJtB7chMImGIFAVOtIGiqNQRNawoh062hz4xmzMJmNoPwWc0gYvb7EDWnOUTPI7OBpEUOmCV0gqFrvY2eO2AZgggClSYYuckNRm12g7Fb3REWd5iw3R0mZXrg97wQgGCZiqF4LaLgCYo06wTacwe6nUXSLefUQLpbWGbGyr9X+PIvxf9PXwyAs48UoWYHADWAj1OKLgDk/mnwQ6d6MuszTT8EUbPbwsDl/nDq2j649+w63Hl2TWSfMrsr2D2y57p2/6sqq0B78PUNuHgvH+bu6wfJi10Qgu5GN5VoF4um7fKHp9/fgC9ffA5PX9Cdt2c/3IKLFfthxt4uumXjo+JwIFQMC/porUrW1QSSnUVSxSJhsofKvweFljJVUymFiuJHCa3MDoBtQuMW9nEWv2pMDqHr741uPwTjPhmDYJp+CCJntkHXHQj3/3ANTH39779+hYPla6HvUg8MB94Gm0rEE0iT1KGgJ7x8+VLy/R99ewkm7/ISNZUE6QjDVZLL0KQnkPZKZAdScwcqCGgCiQTg0U9j4QQCQItUiyuSii49SrA0OwA2wTYWreIs8xwSLaFVLC/+euGTHzS5NbNgfRDMqIKAAPgwPcAsANBVif/tKl6AGqGD0RVDdYq4QwCgUh6ASZleTBRKzh0crSoWyXUbS21XI91tLNFoyiaQktTl3wtf9aV9DWe9ns0tU7l69vGNJzokWbKUz3+8KwR+4sGsOhBQivjhigC495V5AFBd2wrnoGBsV6UJ1uufO1A1lZAekPUA31xCzdCeCUO9E0iiOsG6fHlPIA9BjKQwLFBPICUxAMow/0cP0Oe1tYXZRLwT6KywAt8xLhCAAx8gAGA0BGhhCMAHrwEAeop3Fy8GxUIn9AI9jCsbC+3mL19WSr7nQwRg/Pb2LDvQO3eQp1sxXK8NgYG1iLQ/gVydgK8YJuPgKx+WPFG0e20AdBtm28l3rMsvAZ+0ht4TEYBJvOmFQEMY8jZweW+zA8AgwCf5UPk6iE9rKQmBbnbAi8KXldIAPPj6EmYG7SRXIKk7i3LF7WUS/QQadQKtlvPz+mYRNTepoP0GSx4l3zr7ONX+tQy+d1qr9/wnun1Foo8GX2XVhYDuA5f1hrsyAPz9l7/B8++fwJffPYYvv3/E7Bmzx8yev3isfv30u4fw9//+Sb8w/O1XOFC2CrMDRxYOjKkYVuoBYMzmdrKdReJi0VIDy9C0PYFsZ9E16eyALUN7SBAoi8y+y0hwMFffb4LrH3vh4PtPcIdeE3UhCPzEOAhCp7VmANx7Lg3AyWt7IXymC/SebAOBk1tA0NQWEDzVFkKm2ULodDuEqAV+vyWEz7KDyNn20GvyO3Dr6UW9EHz/l+cwZE13GCyeQNKGYBMPAWUGlTIikAAYtandKy9DU0NQpL/HULwqWR0OtNrLzn+ZCmcfKoo5c7WJdxns0pQGnwbeb7ybGoCaQhA6tTX0Jw8gA0DRjUOQvLA7xM1pL5SMRRXD+doVw47Qb2lXCJ5mDTe+KJcF4Kdf/gJLc4ah9mgv01QihqCHbBZQ8fVFGLGxDUzb3evVIdCzFnGXTFNJrkZTSVV7Ge07WPqk5tvayl4+Y51de453/cpvohsbfJWJIRCDYAwEdO+/VB6Aws8OgnJBt2pNIPVd0oV5hLvPZMLKP/4K6bmjELy2etcdkDActam7rAYgAIYjAFQxnG6ovexgTTqLwrVWJWsJQ42mEk0IaEaQwkHZ9/Gm2eDae6xLWxR8Fb6Y7vmOc4We43UhkPIGTBPogSBYBcBXcgDk4OB2rfYsIkGw8eQsaQD++79g+aGR6C3aijqLdMMBrwe6y2YBFX+4CB9v8GTzBlMNLUPLCTTQbSzVWSRRNpZbfKLVcq7a5fzsk+RTGCJerTLYY7S7o88410c06L5jeQBMBUHwZA/ot6SXXg+QlNZNcgJJHwQ0gbT1dJosAMsQgL4IgKGmkhEYDuTqAPcRgI8yPCX7CSQ7i4xtL9MuG5fIN5XotJeJUsRC1UFYj5ML8u/GWtdsQUiGRyPfMc7f+tCgjxWZiSAIIgAWywNQgAAkCgBUBwIegPmyACw9OAJSlrTRu/hkmCAKZQH46iIMWefJKobVgUBaE4RINpWoPUGJ4aYSuYoh25L+UfKZMqhuhTCXq9djjMtPNNA+Y3kzFgJjhSHdU/UAcPp6Ng5uV71TyVIQKBd0hK350gD8pAJgsafhphI9ANxDAAYjAPo6i/QvSJWGQGczS6HRVLuzSCwMs2VmEfOFk0+YMHyYfM7oRaQ+g+zf7zHW5YXPWBdACNQASEFAANQUAgbAol5wR84DEADzulSvqYT1F3aAzfnzZAFYkjMClIs8ZZtKBqsgQC9QKQfA84swaHVrfvXR9qoJJNlu4wOa3caLtPYn0Gkvk+gs2qq9y7msJ4jXWJWsyg7IE5y4ZGCyyHu4o3v3Mc5PVYOvMjEEPjIQ9KwmBNQ0krLIn03/ynqAuV0kp5L1Q4AAnJT3AIuzR4BioafB9rKhCIFcGngXAfhwlQerGI4X9ieo9lpEvXsWhejscs63nIdr7WgaKdlZVLWPYVWd4NwTPju4LHc4ZrfRDh7dR7vcwacf8K4BgCFPYEgTSFUMCYBkAuD5Vclfcv71HBzYzgabSrQhoBrBppPyHmARApC0wFO20ZQ8AV8o6ioLwB0E4IOVHjqziEavRZRZkLpCT2cRv61tmGyP4X7VJhU6O5qK9jam428eKk6VPtM6JrfHaBc7HPRHqsFXmTkh6I1fS17oD7ef6QFgThejOovEEBAAG/UAsDB7OHqJ1nq7jQexZenyANx9dgEGprtL9BP4Gr8MLVsMgYH2MlHLubhOIFUx1Gk5Vy0+uaXKDpTsrOQTqt6BbqMcOuFg/9B9jObgmxsCgwB8moMD28VgZ5E2BAlzEYATejzAgRGQgAAYajknTyDrARCAAcvd1GVjfQtSpxq9XY10e5nUuoMtelYl60IgqhgKu5eVPlJSneDGmTsYDrzSvBpiqne4Bw6eFAA1hcCQJug1wQgAZnfRbS+bIQVBWzUEcXO99AKwYP9wiJ/f2mDL+aCVnWWzgNsIQH8CwMi1iHorhioIco0vFmlnB1LtZZqHXmhuZkn9A2cqFONzQdhRxGu0jQW6/9weY0wDgaHsgBn+WblAHoBTCEDMrM4GO4u0hWHcHC/YcGKuLABpWR+jVvDAVNBwy7k+D9B3qStfMTTQWWR4QaqhFFHXE0iffILC8LzuqmRx2fg4bUNzN+m3ogeJ03XSQr9JDs26j3XJ6TH2NUGArxUGAIhGAIxpL1N7AhUAx/UDEIsAqCaR5DzBB+mdZAG4/eUF/Heu8HFGVXvZKAMQTBEgmG4gRVyo5+QT9XkHBdXtLOI9wfFbiS9P3U2cIbt20O8jh2aYAub6TDBtOJDSBP4T3BAAP3kArmXjoHY22FmkDUHsXP0AzN/3McTMdde7AmnAcl4TyIYABCAZARCvRdS3meWkzGpUDCXmDrR3OV+XL9FZpGcZWs7l6Mr8ikQ4eSfe8K4hnT5s0RjDwUHfSW7QfZT5IKC7PgBOXjsAUTM7GdVeFjGjCoLoOe0hQw8A8/YNw7/jprMglUKCCgK2GHV5R9lC0C0EQLnYxfh9DAVPYDhFNBwOVktsUiHVbazuLCqPqix4rISca7FD06pxLlEdHNhjvhPdauQJfIwQhmRJafoBiJzRyaj2MjEEMbMQgLw5egGImuWmMYEkDUFH2dnAW1+Wg2Khi4G1iD10INC31b2htYjL5Raf6BSLRMIQQ8KJ+4mQdSl8RPW7f9K4+t3H1Dw70IFgvCYEPfFriQjALQMAGNtjqNIEUTPlAfjbL/8Fc/cMg0gEQLUWMUk1lUwziYurINAHwE0EIGmhc7UWpE4wYqv72dXe5TxE+lxEEoYIQBa6/z3lkWNqvF+A7ziPJixFHGsaCMRlYwbAfOMAMA4CXhhGzmwHa48ZBkDfglSmCZbqAeBpOSSkOfEVQ5ntaqoDwXSjNq4KNLqzaEtxGOw8H/Xb7gvRs9LSuFc7jq7TSHfbHuNcDpkKAhUIvioAvpQB4OoBdOudjO4xVEFAtvaoPABzEIDwmW76VyWz3cs66AUgfr4TqxiK9ycwdqeSCVpl46m7XnXuQBOCraVhlTvKImanmWqhSO9RTtaYIh71nWA6TUCWYAiA6Z2q2W3cBoKnOsE3P34lowH+ih5gOITNcNG7UwmliKmLO8i2hBEAcQjAq2xXU/N9DPWGg8qdqPw3l4RNNXlTqN8kh3e7U3ZQQ2GonR3QjGPC/J4IgFxXcDYC0BkHn3oH0NSNJNRN5IkAeEKIavCntsF7G+g1yQG+/8vXsk2hf/n7jzBpa38MEx4G9ydIMQBA7DwCQLU0XZhGZrOIFAq6IwDdEYCqUDBqEwHgi6LQV73uYKJExVB/2ThAp2KoFobHgyszL0VDxunQwalm2jOYZQfdR7uaBAICIH6erywAhy/ugB7jWkKHj5sy6zi8KXQagTayKXQmG2UNXQTrPNIK/Ce2hD/99YXetvDnPzxCSGwhFlNFQ5tUJC/ykgXg00el0Hvye6gDHCFxgRNbdaRY5AzKJS6QssQZUpe6QN9lLtB/uSsMWOEKH6S7we9WuqO3cIffr/FAWDxhyLrWMGJjRwaCUZ1F+lLEo8GwpSycQsFgsy8MoewABzb3VecOfMYQAPIewNQXuf8Jm1IgdJqrUY2myoXyAJjquvPsPFuLOEGis2i6eM8iqaYSkSdYie5/5fGQ8a9taViz9hZebRR2f/J5BQgYAHNfDwB//umPMB4H33dCczZ7aFRn0cL2ZgfgsydFGruXaW91rxcCqhgiCCuOh8D20vCiU49N1AZu1GXJxTVsWQ884m2hphD0eE0AfPfnr2DsxmTwm2jHUkTZqeQ52hC0k80CTHVdf3JGc+6gmp1F8/FOJd/ih8ofz36h7Pa6hr9BfVtubj0bOvatLngktICaZAf0Og4BuGlGAF6gIByVkQgBk53YXoUG+wkECF4bAI+LBHEomjvYZnir+3kIAXkFOoOIOn0u/qEvnH+aqng9w2/NWdW34a7QkW8EQZ3364BHom21ITA3AH/+6QcYtykVAj5xqXZTCQ/B6wFg5AbpppKJeiCg7Wt2lEQI28MlQvnzVFoDsOz1HEFvw9nV0zr6FaGoNgTmA6AS/vrzn2HUeiWmm3ayFUPDu5e1l10dbKrr00eF+mcRtYpFpAkm7/SHLUVhbHs41Q5hxQ8VtEHEzbLnSU3NPv741EdLHf1ez5b3BMZWDKkFLXhKB5izezysP7oU1h5ZXGVHF8O6o0tg/TFNyzi2FDLyqmzDcbQ8wfD1phPLYfrOodBzvBP4TXBidQJ9ZWN93cbkBXYUpENmYTrsLFzBWxFvu8+kV1lxOuwtIVsF+0pWMssqxXvpKsg6uwoOnF0NB86hla2GHLLzayCnfA3kXlgPG05OMlgxFEMwOdMP1p0K5Q+buhqnPmuI9gy6gF6g/Gmio/kBsOUOSB3+TK8btKxbPQhGO2N+3wLaf9ycmZdgHYYJ9+HN8fs20HGEDXRSmy10GSnYqBbQVTDv0S2gG5rfeOdqb1cjBQFZ6DRHCJ3uBGEzHCFsphOEz3SGiFnOEDnbGaLmuEDMXFdmsfNdIW6+G8SnuUFCGs00uoFikTuz5MUekLLEA1KXtoZ+y1pD/+WeMGAFWnobGLTKy+it7gkCKvrsL9c8bOq4cEbAtRcD4MwDZT+zA4AD/U+5w5/pzw0dMTtIqnl24GOgs8h/vMwStIkeNd6uxihNoKdsnCJx8skAyR1Nu2pMIA014kg8goAqhzQdzI6gP88fTCU+e5htE/+YtopJPmne0X+fa6fh/m11j35n37cnT4DZAQ6QKSeQjF53YCYI5OcOar7L+VCtXc61NQG9XnY4iI6JE84ejmSbRFOr1xE6c1B09nDpo2Qw99M/Rcr9iwFoYM9b3VZ1oLWiBfiMdzN7e5nc4hOzQ7DAuK3ujToIS2uX81GbesDHGd1hWW4Q2yV8a1E4S/t2n4uErAtVYUB12BSFgcvf9INzTxJ9zQeADfdQ++lXA9BSAMBBMCfMDhCEjh/Zg6mnknsaCUH1ppI9ja4TGNrlPMXIXc7Vk0g6+xPwrxfmBEDGqT5so2g6gXxHsbBTuHAE/SHxEfRCGCh5mJJmrvFvpDH4WvGfAWAvDL4jmjN+HyGwDX0POg5pBTVtOTfVWsTqdhbJrkU0BoLFmu1l1T0DiQZ/9j5/WHM8BNafDOV3Ci8MY5tF7zzLH0FPZwUdFMIAfwR9IhTcYyeGfGmu9C8VB/ylrPtvWeX+GQAuaG4cNOnWgJ0u6jW4pSwA/14QtDEdBDXY6p6mk6fv8oeVR4NhdV4wrEMANiAAmwv7wLYzKh1Ah0XwR9DnXhMOjLiZoF4EWnQltZk5ADiCA18p6/7FHsBJAMCVg3fa1AXHJEtwiG+CELQCuSVo5g4H1dvH0LzCUG5BKh2VOwXTPTonOP1IMKxCAMgLbMAwQDpg25kwdvr4btUR9JdF6aCwaXTJ4+SXRRWKIaaP/3a68b+BdvwXA+DKWyPPutAyyoLfVDrekkHgM9btzYWghsff0OspmO8vzgmEpQjAchR/qzDvX0PHxZzCMHBaODCKdMC5CP7MADqCngD4NE59agjbI6hCWWTio0K4bjjoP8imf2L378DHf1UIaORZB97v/Q7QucMEQatYC7NA8G+VIlYzO6DXn2z3hbSs3rAoOwCWHkQADgVphAHSAZsLqnTAXiEMqI+g/6zqCPqr3/R7bOqnfzoO+v+IAWhghPsnABq2Rh3QvQE4JFadMdAqxgI6DDadMHzV7Wr0QRBu5NxBTT0BdR9P2OIDc/f2YgAsPBCAXiCApX8UBhgAJwQdQGcGinQAhYEclQ64Hi+UhWkfAOWfzjxQBpoy/z8hm/+31PIAIgAauuPdg4PGnevjoGsePk1nC70KBKbcruZVy8Y1hYDuozHnn7XTH+bu6QXzEYAF+3vzYYCaPQ7zAKzJE3QAArCN0sESWvQRQat+1PUAtvjz8wR+E+kKxUvMBhab6IgQ7l0c7Jlo5+vbcN+ywbfTE/+dq+J/Qw/eA7zjVRdsw94DjbOGYvmTRjr8vqUwL/AfAsGM6u1ZJAcBnYU0cl13mL7DD2bu9IPZCMC8fb0YAOowkMuHAQJAlQ5uxWxgR3GEuiycfSkajmH8L6hI4ncCuZ34qPihsrj4gWKMyaeBEYDAei24YQjB+ga23C0N129flf+L3T8zTw7eD0IdoHXYFJ004ohfM0c4MI8wVBWL2hgVDtiWNRIQKBd2hGGY8k3Z5gvTtveEGZkIwG5/mCcKA0tyeAAoDBAALAwIXoAygf1XoiHvdgIrCx+8EluG7n/RyZtJHxbdUXbLv1jDvQGr4xXebcY5NrTjvFAEDkYA9qP9jzr209PvVjX4DdCa+jXSCgHCeUPCqSMd/mOyA0+dBanV2ccwAV8PW90NJm32gclbfWEKAjCdANhFYcAf5u9DAPYHsDDAdMBhPhtYj4OfWRYJWVdjYEdp+LeZ5yI2ZZVHJSAA7XeXxdi9ntNCpK+6nBfXkGvBNebsuc71nbmFCMDzhm1w8NvwADTCu4V3PWgZbQFyZw8TCB2G/GdAEG5M2VgCgni8D1nZFcZldIeJm3zgk60+6AV6qsPAHNIB6jBAAATCGkwBt5SGkwf4fNOp0LEZBcEOu8uC39l2w7sBmGtncJM1D3pygxCCwobtuZ8bdazzs11UY72HTzuohaHLa92uxpQVQ9lwgIM/aHkXGL3OG8YiAOM3+sCkLTwALAwwAJgH+NeSg4E/Lz4U8Mdlh4Oylh4IjOHeiMuB62gXbXFV8wh6S8mjZxkEo00rDP/fysYCBANR8Y9Y0w1GIQBjEADyAhM29mBhgOI/ZQAr80L+teFU6K6p27zduTfxsk+wGIlC8J+GAHBKtDKtMBzv+v8GAVk/VP4fpXeFj1Z2QeuKHqAHE36U769Hcbf3fCSbzLn4LPXnT7/t58m9qVeLWCs3h0TLn/UeQU8HT8fzEHSiWcSxrq+lYlidre6NqRhG09mIaIp5XvABAkBP/4zMnrDsUCBT83QCOE3n0rm/VMHLv51E27n+yL3pFw70C70AiI+gRxA6vsaysakgIACoIXXwii4wC2P7qiNB6tO/d7Gj36NZHZ81dFznGzroBLDSh8qcNx+A+MaZcodP6wBAht+jfgJT9Riafe4AwwGdpjZlhy+sPRYCa9DY4J8Og+1F1NDB1/GpgKPq6Dl1U9i7715K3BsPQMsYi0CaHtZ3BL0KADJnBgJBYG/yphJTHX8j1gQhUzxhPKZ46Ycwfz+K+fvxENh4SjWTF8E6erLOR0POxRi+fEuzeAgAHf7M1ZbLQXT6uCEv4CyYS1JTAYLX01RSEwhCpraGEajylx8MhJWHg2D1sWDIQJG3KZ8HIBMB2EMAlPNHv1M7F3P/9xR0OvjtWgNAq3jLct0wYCkPQCJvrgprXhiauamkJhAE42uq8C05EKgGYK3g/qmZg9w/xX/10e9X+Rk81dm/JfeVE2sNAC3jLD92VDQBQ+mgNgQuiU3BTSF4grHm3dtYVhhqVQwJAH/8Ox+jyl+EubwaABR+6/OE+F/QB3acQQBKSQBGMffPjn7/jNx/AlxH919SEe9UmzxAc0elJRhKB3UAwDDgSoae4FU0ga+JysZBaPRvhuPgp+3tBQv394al2YGQnhuI8T+Exf9N+aGwtYDcfzhz//vR/R+8TO4/lm3gzDp4Hih/KHs++J1aA4DLYO4dh3jLZ3qzAREATtoAoLkkYTgY2srkEBibIhIAVGAavrorzNvdC9L29ILF+wNgaQ7v/tfQBM5xjP+nQ1lL984SBOAcv6iD4v9RIf6T+kcANt+4MbxBrQGAC+bq28c2XiUWg8ZkA2IAyAu4Ka2h89DXlx2IPQF9fWh6F5iDef5cBGDhvt4MAFX8X6eO/6F8/C+NhL3novn07wq5f76T9+r3/eH8U6Xilffz+w+76uBgxzgmVw8AJgTFAKC5JyMEtPhk3OtLEQMx7g9a3hlmZ/rBnF1+MB8BWLCP4n8A6+VbdSQY1uWFYvrHF3/4/J/v5D1IPXyf8vGfuniLHyihtCK1PVfbLtQBbe3jLX41VgdohwG35Gbg3g8txRo8kpvd7zbC6YqpD72QCgcBOPhJ89ufnrmj53cLUPQtpi3eafo2C90/ArAiF9M/If/Xjv/i9I/y/+IHCgKgvKwi1a7WAWAXbWGDEBSquoUlswExAPT0K5uCe39rcFE0/Q1fn3RXWk/zSGka7Jpg2abDANsWPV5hH0ODKeI4t8qgmZ7Q+xOPMZMy/ZrN2u7fBZ/+uPl7ey1EEC6vOBzITvJYiwNP6R8BwHr5C8NY3Z+1cV9QVf/iMf7Hs+Pczj1WLqG5/VoHAJfK1XNIaDJfnA7qeoAm4KzEJz+lKb3+k3O81SYnhXVvl1QbO69UGwvSEhrSIi24Pg606SGgwZ/lCX6fuA/S/t/Yts27wfLcMKsV+4MdVuQEJqw6HJK7Li+kcldZBGRi3GddvCWRfPp3iU//CADq4afjXc89ThnE1dYLB3ugOBMQIKh0SGzy0jHestIx0aoMs4Vh9tHNHKqjL+jkk5puaysVDgKmtwbfia4fVuf/beOpgG7oAWbuPhvxkLp3c67EvsT4X8kWcyIAlP4VVyieXHya6l17AUho3AkHuAIH/n8wFHzvmNTkAb7e1SqycdirvK9fqsO73nQG0qsWi8gDTHR96TvJdTL3Cip9zRW/d/eUR/bNvRp37Mwj5cPTd5L+iPbb2Scpxfl3B1rXWgDcwqytEIAZDvEW4+ziG3qZ8r29h7tZoSfIfhUI0P3/1nOC23RT/3/nXYnzKbyXNP/MA+Vo7u1lvqvrEDubHnQQVg2yg56oI9DtT+FqWX7+xl29hraxJE/Qkz8DqdIgBKNdKntN80D37zz07W/vTUk4MOPAwc9hEOjzBGzw3Wkf49+//a29gdVHn3Gu+3z1HImHaR5C4PzB21/VG3p5D2/1nuThmHzs/w2/N+ltzH/Dr4788TfZ4gkkFIn/6j7Oderb304tueiYXCobkyegkIAATH77W6llFzshdYxLYfdxzmM57t98jd3byzxX8PBWzSlDqM2/g/8DP6wAb/O3l4QAAAAASUVORK5CYII= Public dl.acm.org MIIDWDCCAkCgAwIBAgIJANUcbffHlTOXMA0GCSqGSIb3DQEBBQUAMCYxDzANBgNVBAoTBkFDTSBE TDETMBEGA1UEAxMKZGwuYWNtLm9yZzAeFw0xMTA1MjUxNTUzMDVaFw0yMTA1MjIxNTUzMDVaMCYx DzANBgNVBAoTBkFDTSBETDETMBEGA1UEAxMKZGwuYWNtLm9yZzCCASIwDQYJKoZIhvcNAQEBBQAD ggEPADCCAQoCggEBALQ8v2TtExw38oEYHxxUGRz1IrTTL7S3oHxZjeBVo4ZayLZQH8bA1qiPIJOo dP0i66TA1k3GzdFzjtXudOb6AitHb8Mk3G4JWlOsb+ADPUjFOJ3ju04F10TQfYbLojfWlyoZKwLQ 3ah+ua0epuBbTj9dr/AgvCskfzqGthLCxc+MaQAX9bbiLrpaVLANVTg5NxXjJ3AQoWRDGSfnLFfe aj6P5X8w4ZVW7+a89I5BYyD9p4Dv41Y7JUJQYMrYO5ue56anlAnYfJOU2iHiHRE1M55Bw/y8D73K zRJjHxEsbyOSeupyJnwrYPQdHNfTyZI+FG4qe6kOc3u08HSIqNoNrUcCAwEAAaOBiDCBhTAdBgNV HQ4EFgQUPEvl50vhfaxj5glDDqOnOXXAQTAwVgYDVR0jBE8wTYAUPEvl50vhfaxj5glDDqOnOXXA QTChKqQoMCYxDzANBgNVBAoTBkFDTSBETDETMBEGA1UEAxMKZGwuYWNtLm9yZ4IJANUcbffHlTOX MAwGA1UdEwQFMAMBAf8wDQYJKoZIhvcNAQEFBQADggEBALDE3j+ryj/f1A0f2425vnckVzZdfu5I 6YyyY6p4jYbc9iF72M2JqoQpZAsuzIM2Ma0mJqTCHRpwgfbKsDcIAXJPaIxLssIElCPzTNvIKHRs zZtf+bNoE9rVYa5l+PBkJGxtDy1kyzc65AU4uJTtmlgpgzmd3UVCw4IF1iqhuU925ywULLDl+Ly7 bFuif24A4ipqwPEzp9jOTfqkYSUPbCV8mJcE6v6LJ5QxHWswmrQmKtsWxM/W+zqZHiUxfvJyP/iL tdFbnK8v60wK56zj5aTmP9DyKJoG3T5FEG114OLU9sciO8Tq0Ck/Yhax6jFuAabY2lKXa/Q/gxw+ e/+/JlA= dl.acm.org MIIDWDCCAkCgAwIBAgIJANUcbffHlTOXMA0GCSqGSIb3DQEBBQUAMCYxDzANBgNVBAoTBkFDTSBE TDETMBEGA1UEAxMKZGwuYWNtLm9yZzAeFw0xMTA1MjUxNTUzMDVaFw0yMTA1MjIxNTUzMDVaMCYx DzANBgNVBAoTBkFDTSBETDETMBEGA1UEAxMKZGwuYWNtLm9yZzCCASIwDQYJKoZIhvcNAQEBBQAD ggEPADCCAQoCggEBALQ8v2TtExw38oEYHxxUGRz1IrTTL7S3oHxZjeBVo4ZayLZQH8bA1qiPIJOo dP0i66TA1k3GzdFzjtXudOb6AitHb8Mk3G4JWlOsb+ADPUjFOJ3ju04F10TQfYbLojfWlyoZKwLQ 3ah+ua0epuBbTj9dr/AgvCskfzqGthLCxc+MaQAX9bbiLrpaVLANVTg5NxXjJ3AQoWRDGSfnLFfe aj6P5X8w4ZVW7+a89I5BYyD9p4Dv41Y7JUJQYMrYO5ue56anlAnYfJOU2iHiHRE1M55Bw/y8D73K zRJjHxEsbyOSeupyJnwrYPQdHNfTyZI+FG4qe6kOc3u08HSIqNoNrUcCAwEAAaOBiDCBhTAdBgNV HQ4EFgQUPEvl50vhfaxj5glDDqOnOXXAQTAwVgYDVR0jBE8wTYAUPEvl50vhfaxj5glDDqOnOXXA QTChKqQoMCYxDzANBgNVBAoTBkFDTSBETDETMBEGA1UEAxMKZGwuYWNtLm9yZ4IJANUcbffHlTOX MAwGA1UdEwQFMAMBAf8wDQYJKoZIhvcNAQEFBQADggEBALDE3j+ryj/f1A0f2425vnckVzZdfu5I 6YyyY6p4jYbc9iF72M2JqoQpZAsuzIM2Ma0mJqTCHRpwgfbKsDcIAXJPaIxLssIElCPzTNvIKHRs zZtf+bNoE9rVYa5l+PBkJGxtDy1kyzc65AU4uJTtmlgpgzmd3UVCw4IF1iqhuU925ywULLDl+Ly7 bFuif24A4ipqwPEzp9jOTfqkYSUPbCV8mJcE6v6LJ5QxHWswmrQmKtsWxM/W+zqZHiUxfvJyP/iL tdFbnK8v60wK56zj5aTmP9DyKJoG3T5FEG114OLU9sciO8Tq0Ck/Yhax6jFuAabY2lKXa/Q/gxw+ e/+/JlA=