M㽇ತ͔ͭ L㽇ತ <latexit sha1_base64="dbocCSuqCNIWvb5Z2jj0lvPb0PE=">AAAg/niczRpdb9y4ce/6dXW/cu1jH0rcIkUSJK53bSd3AVIkZ18a42I7sePkYMvncCXuLmNJlEmuP07Qob+ir+1T34q+9q8U6I/pDEntSlpx42v70AXErxnODIfzQUo7yGKu9MrKPz/48Hvf/8EPf/TRj5d+8tOf/fwXNz7+5WslJjJkB6GIhfxqQBWLecoONNcx+yqTjCaDmL0ZnG4g/M05k4qL9JW+ythxQkcpH/KQahgKbl2SgKckOPw6vX1yo7uy3PsMf2Rlub8Cv/Wy0Se95RXz63bc78XJx7/5VxCJcJKwVIcxVeqot5Lp45xKzcOYFUvBRLGMhqd0xI6gmdKEqePcCF2QmzASkaGQ8KSamNHqjJwmSl0lA8BMqB6rJgwH22BHEz389DjnaTbRLA0to+EkJloQ1ACJuGShjq+gQUPJQVYSjqmkoQY9LdXYDJLaIvJIoaz1MRRACxGr+rDSCZVXMqqPZuMrxUNAXbpJnsLSeQpMUxoTwKkhXmZUqroK80ulJU9HMDlI6CmjsNkapiOtR+5Hnpsh5QaWgpRdhCJJaBoF4pSHSfSYXcJqU9BT/zgPgEI5rpOs28OBbq/bN3W/AgJJGvPzgGWKxyIt8uCcyrLTgpeNucXBBghfYcriOIAHF6THoYjY2/jRJ5+CmQFWaPrBt4/eBoCwycDEJNsGvH2wChHnJY0YiON0GmdjWuRWKarI38YgTCwumAzBQfJgFLHht3nAh+kkCfSYmUkjKSbZoyB5nDJSEYqAVGo2Av0hLworOspcjtd0/wLkS4GwYmo6WN2BqcR0okWRVzvkJnkSvZsoTRT/hoE1wD4T4DbUBCaSQPLRWNdppUImNJ6ScV0Cv5tkx3RIVgrElaHbKsw5aC3VIimOesf5zSVCgnIkDwZGPTgIwxAy7I789tFnbgjVEQSSxfTSjagQp56yVOXdXmHIMUME2kUr/1NwANhBrO4F6SSOIwhmCcc9BMNnxlW6vYdkG5xVEIwhONB/SPYBjGq6ZTZSZCy9S0wT5LlLwLmsUcVCsds4ZfUh2bC8TdSpbkarYM7iNktxiqNVp6AKMiyyHCak5pZuaGu4r+UXZ3kX3KrbL2o2YAYsHgH5bAtQ5ubYza2j96FbzpgNlnMcpKgJJsAWjFxmM5xe99HgblXFAjVahtAY8BGUn5sS2iOrWOiPbrttmOpnqmOIaale8qlx5rdg3c51cfPsKqbd3Fj/LAZNjbK7WlRNx7rGsjWv67BMhbO4/4Txd2GW8CiCLJiXNlnhAz3LZrm2lDaOlspMnO+8ZksgFeCZi6SpkM/BfmreeS0+RiZH3zhdhYPpX3fFhpAx4etyrW3pdXh7+f2PfOI5Bu7I4xjQW3tI9pBrBactApn4XRytubBTMWKMO7hNuACE2eBRU4pFWXMo/5dLc/vWtkALusYyq4hzi90FAYhzIcKHRGkqJYvKBPLfqGK1TRVrbjCc6WMdMpflX8O8X6qpgvqgRXU77GLTHbE32lR4wfW4DDQqMb+ipsyKoktNunSB+oJU8zmcXRlNXz01OvRFjUZMM5TWi9zq/H5RdO+bvJJ3H1T1P5ezW61nob04z38xO8rM8nCLcnANard+0krKFdd0kpt0ah7UibOw61tPfW0+c2jb+/Vr7vP80t/Abm9Xd7vwK6Lfoggx1cTW8DWNJwx3HbewPEB47aFhbHe8kMLpdbXU65o50FSoGrKaXWrDuijL9aJ5mmnbrinZKfps11oUBpcPkxhiG0rzQNpGO646G0hEHsBl8BSRbaMdmY4sMtxxjIdI22hHjgYW2ZJmmCelLNsewXmGZOHyrsvKRzvLAOO1RXztRxzGQhgpyoa0jXbskHG8WcWulqb2OvYuXLZl9cLhnGIrTRvjbd69KSaDmFXuT+/18XkX7/aPwLSOwURcDfYCV7aKXcxxASVb85iVi5DDcCJRFdVqEb5y9lStFuFTZ1LVqn65FyMeeq6WkKLAFKPCtC5YNGLFPILZdWicsyYU7sbsDBcl4BLPzs4aYHYGCAXWZwZjfjYfIlzguyam3SkzyXFWgXduqGpL2We6ekleFOpAc8ZhjO9UXELavr2Uh1RGxmWW6pKpqyTiQ3c0HHA43WvJracWDdSdEmuQ7xSNBR7OYIdN2MsZ7GUTtjeD7TVhGzPYRhP2dAZ72oR9OYN9ObeIQwwFhyd5MGIrc4Ii7GU7bA9he1NYQzMmwOyc5L+fm3eYOYbzoJeZ4zcP2sscOwOq2sU2zXwvTyKRQFzoH+cYAAItMMU16A4naWjRVh3aeYgvJ9FkzfzyCNSYJ5nS0tCu55z6C5vlwqZEY38njn3lvdRuxiRcsuFywsEPeeSDgiBFjoUHHgqYjoUHriaoPlPWwwPVmofel08JY7rqCDZINDTxTvC0ioSRYj6QOFL+SOPIlKGmKuWTeMTAc+edv77IZ6ikZ34lfYGxDgsP/MkEJMSi9VxQjS4jczCY5vEyupTpvLoyOoCLM74n6/ZOpjGODgqvIQgJUmIxH5acloeSnub7XgJqBMJh0SCQTGLtJPkaYhpPIGf6aGwX+bYP9ofnRQ6PB7oP0P3nLsTu2hd9HtRdyMleMgDc33VkDhaSOSjyAy8ZAMLT0AQcJFkaqYrR/s6riXAMjjX26gKiLjw1a92ZJAM4wLwaMyGvKjaLK6EDZVOO6fFUQ54yWb4uYCgyCfsze/UCfiF006sifs4jZpZhIkftVe8MmBpozet5yqi8rltpsGs42up7pvYgbaJ3b1ZPpnX4C0io8Hig0ADjNqXPt2E+PEu++MjpCAIklh6MQSzCU4tmmvcWIZ+zEGq46xc5NH1Ye+KiyLHwwDcEnPmwaJifliqrOKLImhtLo3diinBnLrfCaQulssYRqbxXfmbAFxHmbF/H52nmMhWeD4HoXWISUS3EpjS+wpf+iw5YSEoLce3LEWKHNexFtyOOWbd2l3oP7TBsvXnVPL2YxlyTlIBA1YFm0GjeuYZWZxBtQ+hiHi9Mbe4IddwpcnQN7KxBOsOPnzR2U6a9FjZZk8+iqdXdhWtQFrPLtl2ua4TPNDL9eLXHFobfPdDxXnmm3koW4m6Bl295ffyJBOfEwgOHu0yRY+EL9niAwMLrjwr9UfngryjMx6Kmu90MUiX/xnz8Xhwq74CDyVGCUkANN5jyKGgGzaep4G4w5CTxyego0Mv3UgAUXywV8RXEUiwXYMSoy7Kx+LhzB/MR5BNtjrOV4zH2px+WzYeikxvd8qM/8Tde95d795fXX651H2+6fwZ81Pl155POrU6v86DzuPOs86Jz0Ak7WedPnT93/kL+SP5K/kb+blE//MDN+VWn9iP/+Ddoi/Yw</latexit> (x 2 Zn) <latexit sha1_base64="FhLi0T1Sr35/EzA5g/5cNKxtNWU=">AAAhBHiczRrLcty4cXbz2iiP9SbHHILaKae8LlvRjCR711VO2SvZsWotyZIse8uiImNIzAwskqAAjB7L4h7zFbkmp9xSueY/UpWPSTcAzpAcYqxNcshUEa9udDca/QDIGWQxV3pl5Z8ffPi97//ghz/66MdLP/npz37+8Y1PfvFKiYkM2WEoYiG/HlDFYp6yQ811zL7OJKPJIGavB6cbCH99zqTiIn2przJ2nNBRyoc8pBqGTm7cGJ707pAgElqFd8jwBIa6K8u9L/BHVpb7K/BbLxt90lteMb9ux/1enHzy63/B9HCSsFSHMVXqqLeS6eOcSs3DmBVLwUSxjIandMSOoJnShKnj3IhekJswEpGhkPCkmpjR6oycJkpdJQPATKgeqyYMB9tgRxM9/Pw452k20SwNLaPhJCZaENQDibhkoY6voEFDyUFWEo6ppKEGbS3V2AyS2iLySKGs9TEUQAsRq/qw0gmVVzKqj2bjK8VDQF26SZ7C0nkKTFMaE8CpIV5mVKq6CvNLpSVPRzA5SOgpo7DlGqYjrYfuR56bIeUGloKUXYQiSWgaBeKUh0n0iF3CalPQU/84D4BCOa6TrNvDgW6v2zd1vwICSRrz84BlisciLfLgnMqy04KXjbnFwQYIX2HK4jiABxekx6GI2Nv44aefg5kBVmj6wbcP3waAsMnAxCTbBrwDsAoR5yWNGIjjdBpnY1rkVimqyN/GIEwsLpgMwU3yYBSx4bd5wIfpJAn0mJlJIykm2cMgeZQyUhGKgFRqNgL9IS8KKzrKXI7XdP8C5EuBsGJqOljdganEdKJFkVc75CZ5HL2bKE0U/4aBNcA+E+A21AQmkkDy0VjXaaVCJjSeknFdAr+bZMd0SFYKxJWh2yrMOWgt1SIpjnrH+c0lQoJyJA8GRj04CMMQOOyO/ObhF24I1REEksX00o2oEKeeslTl3V5hyDFDBNpFK/9TcADYQazuBukkjiMIaQnHPQTDZ8ZVur0HZBucVRCMITjQf0AOAIxqumU2UmQshXCGTZDnDgHnskYVC8U+wymrD8iG5W2iTnUzWgVzFrdZilMcrToFVZBhkeUwITW3dENbwwMtn5zlXXCrbr+o2YAZsHgE5LMtQJmbYze3jt6HbjljNljOcZCiJpgAWzBymc1wej1Ag7tVFQvUaBlCY8BHUH5pSmiPrGKhP/rMbcNUP1MdQ0xL9ZJPjTO/Bet2roubZ1cx7ebG+mcxaGqU3dWiajrWNZateV2HZSqcxf0njL8Ls4RHEWTBvLTJCh/oWTbLtaW0cbRUZuJ85zVbAqkAz1wkTYV8DvZT885r8TEyOfrG6SocTP+6KzaEjAlfl2ttS6/D28vvf+QTzzFwRx7HgN7aA7KPXCs4bRHIxO/iaM2FnYoRY9zBbcIFIMwGj5pSLMqaQ/m/XJrbt7YFWtA1lllFnFvsLghAnAsRPiRKUylZVCaQ/0YVq22qWHOD4Uwf65C5LP8a5r1STRXU+y2q22EXm+6IvdGmwguux2WgUYn5FTVlVhRdatKlC9QXpJov4ezKaPryqdGhL2o0YpqhtF7kVuf3iqJ7z+SVvHu/qv+5nN1qPQvtxXn+i9lRZpaHW5SDa1C79ZNWUq64ppPcpFPzoE6chV3feupr85lD296vX3Of55f+GnZ7u7rbhV8R/RZFiKkmtoavaDxhuOu4heUBwmsPDWO77YUUTq+rpV7XzIGmQtWQ1exSG9ZFWa4XzdNM23ZNyU7RZ7vWojC4fJjEENtQmgfSNtpx1dlAIvIALoOniGwb7ch0ZJHhjmM8RNpGO3I0sMiWNMM8KWXZ9gjOMyQLV3hdVj7aWQYYryziKz/iMBbCSFE2pG20Y4eM480qdrU0tdexd+GyLasXDucUW2naGG/z7k0xGcSscn96r4/Pu3i3fwSmdQwm4mqwF7iyVexijgso2ZrHrFyEHIYTiaqoVovwlbOnarUInzqTqlb1y70Y8dBztYQUBaYYFaZ1waIRK+YRzK5D45w1oXA3Zme4KAGXeHZ21gCzM0AosD4zGPOz+RDhAt84Me1OmUmOswq8c0NVW8oB09VL8qJQB5ozDmN8p+IS0vbtpTykMjIus1SXTF0lER+6o+GAw+leS249tWig7pRYg3ynaCzwzQz2pgnbm8H2mrD9GWy/CduYwTaasKcz2NMm7KsZ7Ku5RbzBUPDmJA9GbGVOUITttcP2EbY/hTU0YwLMzkn+u7l5bzLHcB60lzl+86D9zLEzoKpdbNPM9/IkEgnEhf5xjgEg0AJTXIPucJKGFm3VoZ2H+HISTdbML49AjXmSKS0N7XrOqb+wWS5sSjT2d+LYV95L7WZMwiUbLicc/JBHPigIUuRYeOChgOlYeOBqguozZT08UK156H35lDCmq45gg0RDE+8ET6tIGCnmA4kj5Y80jkwZaqpSPo5HDDx33vnri3yGSnrmV9ITjHVYeOCPJyAhFq3ngmp0GZmDwTSPl9GlTOfVldEBXJzxPVm3dzKNcXRQeA1BSJASi/mw5LQ8lPQ0P/ASUCMQDosGgWQSayfJHyCm8QRypo/GdpFv+2C/f17k8HigBwA9eO5C7K590edB3YWc7CUDwINdR+ZwIZnDIj/0kgEgPA1NwEGSpZGqGO1vvZoIx+BYY68uIOrCU7PWnUkygAPMyzET8qpis7gSOlA25ZgeTzXkKZPl6wKGIpOwP7NXL+AXQje9KuLnPGJmGSZy1F71zoCpgda8nqeMyuu6lQa7hqOtvmtqD9Imevdm9WRah7+AhAqPBwoNMG5T+nwb5sOz5IuPnI4gQGLpwRjEIjy1aKZ5dxHyOQuhhrt+kUPTh7UvLoocCw98Q8CZD4uG+Wmpsoojiqy5sTR6J6YIt+dyK5y2UCprHJHKe+VnBnwRYc72dXyeZi5T4fkQiN4hJhHVQmxK4yt86b/ogIWktBDXvhwhdljDXnQ74ph1a3ep99AOw9abV83Ti2nMNUkJCFQdaAaN5p1raHUG0TaELubxwtTmjlDHnSJH18DOGqQz/PhJYzdl2mthkzX5LJpa3V24BmUxu2zb5bpG+Ewj049X+2xh+N0HHe+XZ+qtZCHuFnj5ltfHH0twTiw8cLjLFDkWvmCPBwgsvP6o0B+VD/6SwnwsarrbzSBV8m/MJ/DFofI2OJgcJSgF1HCDKY+CZtB8mgruBENOEp+MjgK9fC8FQPHFUhFfQSzFcgFGjLosG4uPO7cxH0E+0eY4WzkeY3/6Ydl8KDq50S0/+hN/41V/uXdveX1vrfvoiftnwEedX3U+7dzq9Dr3O486zzovOoedsHPe+VPnz52/kD+Sv5K/kb9b1A8/cHN+2an9yD/+DRwh+AY=</latexit> f1, . . . , fn ɿҰ࣍ݩࢄತؔ <latexit sha1_base64="30H7iCs73bipSilf49VFqgIHz08=">AAAg+HiczRpdc9y28ZJ+JFW/nPaxD8Xkxh3HYyu6k2QnnnHHjhTXmliSLVlyxqIq40jcHSySoACcPsxhfkNf26e+dfraf9OZ/pjuAuAdySPOStuH3gzxtYvdxWI/APIGWcyVXln55wcf/uCHP/rxRx//ZOmnP/v5L35545NfHSoxkSE7CEUs5LcDqljMU3aguY7Zt5lkNBnE7NXgdAPhr86ZVFykL/VVxo4TOkr5kIdUw9BhMOCj+NbJje7Kcu9L/JGV5f4K/NbLRp/0llfMr9txv+cnn/z2X0EkwknCUh3GVKmj3kqmj3MqNQ9jViwFE8UyGp7SETuCZkoTpo5zI25BbsJIRIZCwpNqYkarM3KaKHWVDAAzoXqsmjAcbIMdTfTwi+Ocp9lEszS0jIaTmGhBcO0k4pKFOr6CBg0lB1lJOKaShho0tFRjM0hqi8gjhbLWx1AALUSs6sNKJ1Reyag+mo2vFA8BdekmeQJL5ykwTWlMAKeGeJlRqeoqzC+VljwdweQgoaeMwjZrmI60HrofeWaGlBtYClJ2EYokoWkUiFMeJtEjdgmrTUFP/eM8AArluE6ybg8Hur1u39T9CggkaczPA5YpHou0yINzKstOC1425hYHGyB8hSmL4wAeXJAehyJib+KHn34BZgZYoekH3z18EwDCJgMTk2wb8PbBKkSclzRiII7TaZyNaZFbpagifxODMLG4YDIE18iDUcSG3+UBH6aTJNBjZiaNpJhkD4PkUcpIRSgCUqnZCPSHvCis6ChzOV7T/XOQLwXCiqnpYHUHphLTiRZFXu2Qm+Rx9HaiNFH8HQNrgH0mwG2oCUwkgeSjsa7TSoVMaDwl47oEfjfJjumQrBSIK0O3VZhz0FqqRVIc9Y7zm0uEBOVIHgyMenAQhiFY2B353cMv3RCqIwgki+mlG1EhTj1lqcq7vcKQY4YItItW/qfgALCDWN0N0kkcRxDGEo57CIbPjKt0ew/INjirIBhDcKD/gOwDGNV0y2ykyFh6h5gmyHOHgHNZo4qFYp/hlNUHZMPyNlGnuhmtgjmL2yzFKY5WnYIqyLDIcpiQmlu6oa3hvpZfn+VdcKtuv6jZgBmweATksy1AmZtjN7eO3oduOWM2WM5xkKImmABbMHKZzXB63UeDu1UVC9RoGUIDMgOUX5kS2iOrWOiPPnPbMNXPVMcQ01K95FPjzG/Bup3r4ubZVUy7ubH+WQyaGmV3taiajnWNZWte12GZCmdx/wnj78Ms4VEEWTAvbbLCB3qWzXJtKW0cLZWZON97zZZAKsAzF0lTIZ+D/dS881p8jEyOvnG6CgfTv+6KDSFjwtflWtvS6/D28vsf+cQzDNyRxzGgt/aA7CHXCk5bBDLxuzhac2GnYsQYd3CbcAEIs8GjphSLsuZQ/i+X5vatbYEWdI1lVhHnFrsLAhDnQoQPidJUShaVCeS/UcVqmyrW3GA408c6ZC7Lv4Z5r1RTBfV+i+p22MWmO2JvtKnwgutxGWhUYn5FTZkVRZeadOkC9QWp5is4uzKavnxidOiLGo2YZiitF7nV+b2i6N4zeSXv3q/qfy5nt1rPQntxnv98dpSZ5eEW5eAa1G79pJWUK67pJDfp1DyoE2dh17ee+tp85tC29+vX3Of5pb+C3d6u7nbhV0S/RRFiqomt4SGNJwx3HbewPEB47aFhbLe9kMLpdbXU65o50FSoGrKaXWrDuijL9aJ5mmnbrinZKfps11oUBpcPkxhiG0rzQNpGO646G0hEHsBl8BSRbaMdmY4sMtxxjIdI22hHjgYW2ZJmmCelLNsewXmGZOHarsvKRzvLAOPQIh76EYexEEaKsiFtox07ZBxvVrGrpam9jr0Ll21ZvXA4p9hK08Z4m3dviskgZpX703t9fN7Fu/0jMK1jMBFXg73Ala1iF3NcQMnWPGblIuQwnEhURbVahK+cPVWrRfjUmVS1ql/uxYiHnqslvsKBRmFaFywasWIewew6NM5ZEwp3Y3aGixJwiWdnZw0wOwOEAuszgzE/mw8RLvAtE9PulJnkOKvAOzdUtaXsM129JC8KdaA54zDGdyouIW3fXspDKiPjMkt1ydRVEvGhOxoOOJzuteTWU4sG6k6JNch3isYCX89gr5uwFzPYiyZsbwbba8I2ZrCNJuzJDPakCftmBvtmbhGvMRS8PsmDEVuZExRhL9phewjbm8IamjEBZuck//3cvNeZYzgPepE5fvOgvcyxM6CqXWzTzPfyJBIJxIX+cY4BINACU1yD7nCShhZt1aGdh/hyEk3WzC+PQI15kiktDe16zqm/sFkubEo09nfi2FfeS+1mTMIlGy4nHPyQRz4oCFLkWHjgoYDpWHjgaoLqM2U9PFCteeh9+ZQwpquOYINEQxNvBU+rSBgp5gOJI+WPNI5MGWqqUj6ORww8d97564t8ikp66lfS1xjrsPDAH09AQixazwXV6DIyB4NpHi+jS5nOqyujA7g443uybu9kGuPooPAagpAgJRbzYclpeSjpab7vJaBGIBwWDQLJJNZOkj9CTOMJ5Ewfje0i3/bB/vCsyOHxQPcBuv/Mhdhd+6LPg7oLOdlLBoD7u47MwUIyB0V+4CUDQHgamoCDJEsjVTHaz72aCMfgWGOvLiDqwlOz1p1JMoADzMsxE/KqYrO4EjpQNuWYHk815CmT5esChiKTsD+zVy/gF0I3vSri5zxiZhkmctRe9c6AqYHWvJ6njMrrupUGu4ajrb5rag/SJnr3ZvVkWoc/h4QKjwcKDTBuU/p8G+bDs+SLj5yOIEBi6cEYxCI8tWimeXcR8jkLoYa7fpFD04e1Jy6KHAsPfEPAmQ+LhvlpqbKKI4qsubE0eiumCLfnciuctlAqaxyRynvlZwZ8EWHO9nV8nmYuU+H5EIjeISYR1UJsSuMrfOm/6ICFpLQQ174cIXZYw150O+KYdWt3qffQDsPWm1fN04tpzDVJCQhUHWgGjeada2h1BtE2hC7m8cLU5o5Qx50iR9fAzhqkM/z4SWM3ZdprYZM1+SyaWt1duAZlMbts2+W6RvhMI9OPV3tsYfjdAx3vlWfqrWQh7hZ4+ZbXxx9LcE4sPHC4yxQ5Fr5gjwcILLz+qNAflQ/+ksJ8LGq6280gVfJ35rP34lB5GxxMjhKUAmq4wZRHQTNoPk0Fd4IhJ4lPRkeBXr6XAqD4YqmIryCWYrkAI0Zdlo3Fx53bmI8gn2hznK0cj7E//bBsPhSd3OiWH/2Jv3HYX+7dW15/sdZ9tOn+GfBx5zedTzu3Or3O/c6jztPO885BJ+y87fyp8+fOX8g78lfyN/J3i/rhB27Orzu1H/nHvwFY7/RY</latexit> <latexit sha1_base64="r4zrwMfq4TD9iiM56VgXi6WMFmE=">AAAg+HiczRrLcty4cXbz2igvb3LMIaidcsp22YpmJNm7rnLKXmkdq9aSbMmStywqMobEzMAiCQrA6GEW9xtyTU65pXLN36QqH5NuAJwhOcRYm+SQqSJe3ehuNPoBkDPIYq70yso/P/r4e9//wQ9/9MmPl37y05/9/Bc3Pv3loRITGbKDUMRCfjOgisU8ZQea65h9k0lGk0HMXg9ONxD++pxJxUX6Sl9l7Diho5QPeUg1DB0GAz6St09udFeWe1/gj6ws91fgt142+qS3vGJ+3Y77vTj59Df/CiIRThKW6jCmSh31VjJ9nFOpeRizYimYKJbR8JSO2BE0U5owdZwbcQtyE0YiMhQSnlQTM1qdkdNEqatkAJgJ1WPVhOFgG+xoooefH+c8zSaapaFlNJzERAuCaycRlyzU8RU0aCg5yErCMZU01KChpRqbQVJbRB4plLU+hgJoIWJVH1Y6ofJKRvXRbHyleAioSzfJU1g6T4FpSmMCODXEy4xKVVdhfqm05OkIJgcJPWUUtlnDdKT1yP3IczOk3MBSkLKLUCQJTaNAnPIwiR6zS1htCnrqH+cBUCjHdZJ1ezjQ7XX7pu5XQCBJY34esEzxWKRFHpxTWXZa8LIxtzjYAOErTFkcB/DggvQ4FBF7Gz/67HMwM8AKTT/49tHbABA2GZiYZNuAtw9WIeK8pBEDcZxO42xMi9wqRRX52xiEicUFkyG4Rh6MIjb8Ng/4MJ0kgR4zM2kkxSR7FCSPU0YqQhGQSs1GoD/kRWFFR5nL8ZruX4B8KRBWTE0HqzswlZhOtCjyaofcJE+idxOlieLvGVgD7DMBbkNNYCIJJB+NdZ1WKmRC4ykZ1yXwu0l2TIdkpUBcGbqtwpyD1lItkuKod5zfXCIkKEfyYGDUg4MwDMHC7shvH33hhlAdQSBZTC/diApx6ilLVd7tFYYcM0SgXbTyPwUHgB3E6l6QTuI4gjCWcNxDMHxmXKXbe0i2wVkFwRiCA/2HZB/AqKZbZiNFxtK7xDRBnrsEnMsaVSwUu41TVh+SDcvbRJ3qZrQK5ixusxSnOFp1CqogwyLLYUJqbumGtob7Wn51lnfBrbr9omYDZsDiEZDPtgBlbo7d3Dp6H7rljNlgOcdBippgAmzByGU2w+l1Hw3uVlUsUKNlCA3IDFB+aUpoj6xioT+67bZhqp+pjiGmpXrJp8aZ34J1O9fFzbOrmHZzY/2zGDQ1yu5qUTUd6xrL1ryuwzIVzuL+E8bfhVnCowiyYF7aZIUP9Cyb5dpS2jhaKjNxvvOaLYFUgGcukqZCPgf7qXnntfgYmRx943QVDqZ/3RUbQsaEr8u1tqXX4e3l9z/yiecYuCOPY0Bv7SHZQ64VnLYIZOJ3cbTmwk7FiDHu4DbhAhBmg0dNKRZlzaH8Xy7N7VvbAi3oGsusIs4tdhcEIM6FCB8SpamULCoTyH+jitU2Vay5wXCmj3XIXJZ/DfN+qaYK6oMW1e2wi013xN5oU+EF1+My0KjE/IqaMiuKLjXp0gXqC1LNl3B2ZTR99dTo0Bc1GjHNUFovcqvz+0XRvW/ySt59UNX/XM5utZ6F9uI8/8XsKDPLwy3KwTWo3fpJKylXXNNJbtKpeVAnzsKubz31tfnMoW3v16+5z/NLfw27vV3d7cKviH6LIsRUE1vDQxpPGO46bmF5gPDaQ8PY7nghhdPraqnXNXOgqVA1ZDW71IZ1UZbrRfM007ZdU7JT9NmutSgMLh8mMcQ2lOaBtI12XHU2kIg8gMvgKSLbRjsyHVlkuOMYD5G20Y4cDSyyJc0wT0pZtj2C8wzJwrVdl5WPdpYBxqFFPPQjDmMhjBRlQ9pGO3bION6sYldLU3sdexcu27J64XBOsZWmjfE2794Uk0HMKvenD/r4vIt3+0dgWsdgIq4Ge4ErW8Uu5riAkq15zMpFyGE4kaiKarUIXzl7qlaL8KkzqWpVv9yLEQ89V0tIUWCKUWFaFywasWIewew6NM5ZEwp3Y3aGixJwiWdnZw0wOwOEAuszgzE/mw8RLvAtE9PulJnkOKvAOzdUtaXsM129JC8KdaA54zDGdyouIW3fXspDKiPjMkt1ydRVEvGhOxoOOJzuteTWU4sG6k6JNch3isYC38xgb5qwlzPYyyZsbwbba8I2ZrCNJuzpDPa0Cft6Bvt6bhFvMBS8OcmDEVuZExRhL9thewjbm8IamjEBZuck//3cvDeZYzgPepk5fvOgvcyxM6CqXWzTzPfyJBIJxIX+cY4BINACU1yD7nCShhZt1aGdh/hyEk3WzC+PQI15kiktDe16zqm/sFkubEo09nfi2FfeS+1mTMIlGy4nHPyQRz4oCFLkWHjgoYDpWHjgaoLqM2U9PFCteeh9+ZQwpquOYINEQxPvBE+rSBgp5gOJI+WPNI5MGWqqUj6JRww8d97564t8hkp65lfSVxjrsPDAn0xAQixazwXV6DIyB4NpHi+jS5nOqyujA7g443uybu9kGuPooPAagpAgJRbzYclpeSjpab7vJaBGIBwWDQLJJNZOkj9CTOMJ5Ewfje0i3/bB/vC8yOHxQPcBuv/chdhd+6LPg7oLOdlLBoD7u47MwUIyB0V+4CUDQHgamoCDJEsjVTHa33k1EY7BscZeXUDUhadmrTuTZAAHmFdjJuRVxWZxJXSgbMoxPZ5qyFMmy9cFDEUmYX9mr17AL4RuelXEz3nEzDJM5Ki96p0BUwOteT1PGZXXdSsNdg1HW33P1B6kTfTuzerJtA5/AQkVHg8UGmDcpvT5NsyHZ8kXHzkdQYDE0oMxiEV4atFM894i5HMWQg13/SKHpg9rT1wUORYe+IaAMx8WDfPTUmUVRxRZc2Np9E5MEe7M5VY4baFU1jgilffKzwz4IsKc7ev4PM1cpsLzIRC9S0wiqoXYlMZX+NJ/0QELSWkhrn05Quywhr3odsQx69buUh+gHYatN6+apxfTmGuSEhCoOtAMGs0719DqDKJtCF3M44WpzR2hjjtFjq6BnTVIZ/jxk8ZuyrTXwiZr8lk0tbq7cA3KYnbZtst1jfCZRqYfr/bYwvC7BzreK8/UW8lC3C3w8i2vjz+R4JxYeOBwlylyLHzBHg8QWHj9UaE/Kh/8FYX5WNR0t5tBquTvzWfvxaHyDjiYHCUoBdRwgymPgmbQfJoK7gZDThKfjI4CvfwgBUDxxVIRX0EsxXIBRoy6LBuLjzt3MB9BPtHmOFs5HmN/+mHZfCg6udEtP/oTf+Owv9y7v7z+cq37eNP9M+CTzq87n3VudXqdB53HnWedF52DTth51/lT58+dv5D35K/kb+TvFvXjj9ycX3VqP/KPfwM87fRf</latexit> ತؔ શҬ <latexit sha1_base64="Xg2++AjIZwEUr1QXcutbKKZful8=">AAAg/niczRnLcty4cXbz2iiP9SbHHILaKaVsl61oRrK96yql5JXstWqttyVvWVRkDImZgUUSFIjRY1ncpPIRuWZzyS2Va/4i51TlY9INgDMkhxjPJjmEVcSrG92NRj8AspeEPFXLy/987/3vfPd73//BBz9c+NGPf/LTD2999LPjVIykz458EQr5ZY+mLOQxO1JchezLRDIa9UL2qne+gfBXl0ymXMQv1U3CTiM6iHmf+1TBkPc5WSO3j++Rk/j0ztmt9vJS51N8yPJSdxmeB0WjSzpLy/ppry+e/+F3f/7mH3tnH/3yX14g/FHEYuWHNE1POsuJOs2oVNwPWb7gjVKWUP+cDtgJNGMasfQ000LnZBFGAtIXEt5YET1anpHRKE1voh5gRlQN0zoMB5tgJyPV/+Q043EyUiz2DaP+KCRKENQACbhkvgpvoEF9yUFW4g+ppL4CPS1U2PSiyiKyIEVZq2MogBIiTKvDqYqovJFBdTQZ3qTcB9SFRfIMls5jYBrTkABOBfE6oTKtqjC7TpXk8QAmexE9ZxQ2W8F0pLVmH/JCD6V2YMGL2ZUvoojGgSfOuR8F6+waVhuDnrqnmQcUinEVJe0ODrQ77a6uuyUQSFKbn3ksSXko4jzzLqksOg14yZAbHGyA8CWmLAw9eHFBauiLgL0J1z7+BMwMsHzd975ee+MBwiYDE5NsG/AOwSpEmBU0QiCO02mYDGmeGaWkefYmBGFCccWkDw6SeYOA9b/OPN6PR5GnhkxPGkgxSta8aD1mpCQUAanSyQj0+zzPjegoczFe0f0eyBcD4ZSl48HyDowlpiMl8qzcIYvkSfB2lCqS8q8YWAPsMwFufUVgIvEkHwxVlVYsZETDMRnbJfAskh3dIUkhEE813UZhLkFrsRJRftI5zRYXCPGKkczrafXgIAxDyDA78qu1T+0QqsPzJAvptR1JfZx6zuI0a3dyTY5pItDOG/mfgwPADmJ134tHYRhAMIs47iEYPtOu0u48JtvgrIJgDMGB7mNyCGBU0229kSJh8T2imyDPPQLOZYwqFCm7g1NWHpMNw1tHnfJmNApmLW6zECc/WbEKKiHDIothQipuaYe2+odKPr3I2uBW7W5esQE9YPAIyGdagDI1x2xuFb0L3WLGZLCYYyF5RTABtqDl0pth9XqIBne7LBao0TCERo8PoPxMl9AeGMVCf3DHbsNYP2MdQ0yL1YJLjRO/Beu2roubZ1Yx7mba+icxaGyU7ZW8bDrGNZaMec3DMhbW4v4Txt+GWcSDALJgVthkiQ/0DJulylKaOBoqE3G+9ZoNgViAZ86SpkQ+A/upeOdcfLRMlr52uhIH3Z93xZqQNuF5uVa2dB7eTn7/I594gYE7cDgG9FYfkwPkWsJpikA6fucnqzbslIwY4w5uEy4AYSZ4VJRiUFYtyv/l0uy+NS3QgOZYZhlxarG7IACxLkR4n6SKSsmCIoH8N6pYaVLFqh30J/p4AJnL8K9gPizUVEJ91KC6HXa1aY/YG00qvOJqWASaNNJPXlFmSdGFJm26QH1BqvkMzq6Mxi+faR26okYtpmlKD/LM6Pxhnrcf6ryStR+V9T+VsxutZ6a9WM/fmxxlJnm4QTm4hnS3etKKihVXdJLpdKpf1Im1sPmtp7o2lzk07f2DOfd5eumvYLe3y7uduxXRbVCEGGtiq39MwxHDXcctLA4QTnuoGdtdJyS3el0p9LqqDzQlqpqsYtdKs86L8kFeP800bdeY7Bh9smsNCoPLh04MoQmlmSdNoxk3vehJRO7BZfAckU2jGZkODDLccbSHSNNoRg56BtmQZpgnpSzaDsF5gmTh8q6KykU7SQDj2CAeuxH7oRBaiqIhTaMZ22ccb1ahraWunY69C5dtWb5wWKfYiuPaeJN3b4pRL2Sl+9M7fXzaxdvdEzCtUzARW4O9wJWtZBdTXEDJxjwm5Sxk3x9JVEW5moWfWnsqV7PwqTWpclW93IsB9x1XS0hRYIpBrltXLBiwfBpB7zo0LlkdCndjdoGLEnCJZxcXNTC7AIQc6wuNMT2b9xEu8FsTU/aUGWU4K8c7N1SVpRwyVb4kzwp1oDntMNp3Si4hTd9cyn0qA+0yC1XJ0pso4H17NOxxON0ryY2n5jXUnQKrl+3ktQW+nsBe12H7E9h+HXYwgR3UYRsT2EYd9mwCe1aHfTGBfTG1iNcYCl6fZd6ALU8JirD9ZtgBwg7GsJpmdIDZOct+MzXvdWIZToP2E8tvGnSQWHYaVLaLbZq4Pp4EIoK40D3NMAB4SmCKq9Htj2LfoK1YtEsfP06iyer5xRGoNk+yVElNu5pzqh9slnKTErX9nVn2pe9SuwmTcMmGywkHP+SBCwqC5BkWDrgvYDoWDng6QvXpshoeqFLcd358ihhTZUcwQaKmibeCx2UkjBTTgcSSckcaS6YINWUpn4QDBp477fzVRT5HJT13K+kpxjosHPAnI5AQi8ZzQTm6DPTBYJzHi+hSpPPyymgPLs74nazdORvHONrLnYYgJEiJxXRYslruS3qeHToJpAMQDosagWgUKivJbyGm8QhypovGdp5tu2Cfv8gzeB3QQ4AevrAhdtd86HOg7kJOdpIB4OGuJXM0k8xRnh05yQAQ3pom4CDJ4iAtGe2vnZrwh+BYQ6cuIOrCW7HWnVHUgwPMyyET8qZks7gS2ktNytE9HivIUzrLVwX0RSJhfyafXsAvhKp7VcAvecD0MnTkqHzqnQBjDa14PY8ZlfO6lQK7hqOtuq9rB9Imevdm+WRahe9BQoXXAYUGGLcuXb4N8+FdcMVHTgcQILF0YPRC4Z8bNN28Pwv5kvlQw10/z6DpwjoQV3mGhQO+IeDMh0XN/JRMk5IjiqS+sTR4K8YId6dyK5y2UCpjHEGadYrfDPghQp/tq/g8TmymwvMhEL1HdCKqhNiYhjf40X/WAQtJKSHmvhwhtl/BnnU74ph1K3epd9D2/cabV8XT83HM1UkJCJQdaAINpp2rb3QG0daHLubxXNf6jlDFHSMHc2AnNdIJ/vykoZ0y7jWwSep8Zk0t7y5cg5KQXTftclUjfKKR8c+rAzYz/B6Ajg+KM/VWNBN3C7x8y+njTyQ4JxYOONxl8gwLV7DHAwQWTn9M0R9TF/wlhflYVHS3m0Cq5F/pn9+zQ+VdcDA5iFAKqOEGUxwF9aD+NeXd8/qcRC4ZLQV6/U4KgOKKpSK8gViK5QyMEHVZNGYfd+5iPoJ8ovRxtnQ8xv74x7L+UXR2q1389CfuxnF3qfNwaXV/ub3+tGWeD1q/aH3cut3qtB611lvPW3uto5bfSlp/bP2p9Q35PfkL+Sv5m0F9/z075+etykP+/m9n0/ks</latexit> G = (V, [n])ɿແάϥϑ (otherwise) .ತ ࢄΤωϧΪʔ࠷খԽ <latexit sha1_base64="fWRI5PBU3/+upJqHvvGpspWniLs=">AAAg/niczRnLcty4cXbz2iiv3eSYQ1A7pZTtshXNSLZ3XaWUvZIdq9aybMmytywqMobEzMAiCQrA6LEsblL5iFyzueSWyjV/kXOq8jHpBsAZkkOMtUkOYRXx6kZ3o9EPgBxkMVd6dfWf773/rW9/57vf++D7Sz/44Y9+/JMPP/rpSyUmMmQHoYiF/GJAFYt5yg401zH7IpOMJoOYvRqcbCL81RmTiov0hb7M2FFCRykf8pBqGAq2yAa5dpge3SQPrh9/2F1d6X2KD1ld6a/Cc7ts9ElvZdU83fvLJ3/43Z+//sez449+8a8gEuEkYakOY6rUYW8100c5lZqHMSuWgoliGQ1P6IgdQjOlCVNHuRG6IMswEpGhkPCmmpjR6oycJkpdJgPATKgeqyYMB9tghxM9/OQo52k20SwNLaPhJCZaENQAibhkoY4voUFDyUFWEo6ppKEGPS3V2AyS2iLySKGs9TEUQAsRq/qw0gmVlzKqj2bjS8VDQF1aJo9g6TwFpimNCeDUEC8yKlVdhfmF0pKnI5gcJPSEUdhsDdOR1oZ7yBMzpNzAUpCy81AkCU2jQJzwMInuswtYbQp66h/lAVAox3WSdXs40O11+6buV0AgSWN+HrBM8VikRR6cUVl2WvCyMbc42ADhK0xZHAfw4oL0OBQRexNvfPwJmBlghaYffLXxJgCELQYmJtkO4O2DVYg4L2nEQByn0zgb0yK3SlFF/iYGYWJxzmQIDpIHo4gNv8oDPkwnSaDHzEwaSTHJNoLkfspIRSgCUqnZCPSHvCis6ChzOV7T/TOQLwXCiqnpYHUHphLTiRZFXu2QZfIgejtRmij+JQNrgH0mwG2oCUwkgeSjsa7TSoVMaDwl47oEnmXy1HRIVgrElaHbKswZaC3VIikOe0f58hIhQTmSBwOjHhyEYQgZdkd+ufGpG0J1BIFkMb1wIyrEqScsVXm3VxhyzBCBdtHK/wQcAHYQq1tBOonjCIJZwnEPwfCZcZVu7x7ZAWcVBGMIDvTvkX0Ao5qumY0UGUtvEtMEeW4ScC5rVLFQ7DpOWbtHNi1vE3Wqm9EqmLO4rVKc4nDNKaiCDIsshwmpuaUb2h7ua/nwNO+CW3X7Rc0GzIDFIyCfbQHK3By7uXX0PnTLGbPBco6DFDXBBNiCkctshtPrPhrctapYoEbLEBoDPoLyM1NCe2QVC/3RdbcNU/1MdQwxLdVLPjXO/Bas27kubp5dxbSbG+ufxaCpUXbXiqrpWNdYseZ1FZapcBb3nzD+JswSHkWQBfPSJit8oGfZrNSW0sbRUpmJ843XbAmkAjxzkTQV8jnYT807r8THyOToG6ercDD9q67YEDImfFWutS29Cm8vv/+RTzzBwB15HAN66/fIHnKt4LRFIBO/i8N1F3YqRoxxB7cJF4AwGzxqSrEo6w7l/3Jpbt/aFmhBV1hmFXFusbsgAHEuRPiQKE2lZFGZQP4bVay1qWLdDYYzfdyGzGX51zDvlGqqoN5tUd1Tdr7ljtibbSo853pcBhqVmKeoKbOi6FKTLl2gviDVfAZnV0bTF4+MDn1RoxHTDKXbRW51fqcoundMXsm7d6v6n8vZrdaz0F6c5z+bHWVmebhFObgGtVs/aSXlims6yU06NS/qxFnY1a2nvjafObTt/e0r7vP80l/Bbu9Ud7vwK6Lfoggx1cT28CWNJwx3HbewPEB47aFhbDe8kMLpda3U67o50FSoGrKaXWjDuijL20XzNNO2XVOyU/TZrrUoDC4fJjHENpTmgbSNdlx1OpCIPIDL4Aki20Y7Mh1ZZLjjGA+RttGOHA0ssiXNME9KWbY9gvMMycLlXZeVj3aWAcZLi/jSjziMhTBSlA1pG+3YIeN4s4pdLU3tdexduGzL6oXDOcV2mjbG27x7S0wGMavcn97p4/Mu3u0fgmkdgYm4GuwFrmwVu5jjAkq25jErFyGH4USiKqrVInzl7KlaLcKnzqSqVf1yL0Y89FwtIUWBKUaFaZ2zaMSKeQSz69A4Y00o3I3ZKS5KwCWenZ42wOwUEAqsTw3G/Gw+RLjAb01Mu1NmkuOsAu/cUNWWss909ZK8KNSB5ozDGN+puIS0fXspD6mMjMss1SVTl0nEh+5oOOBwuteSW08tGqhPS6xB/rRoLPD1DPa6CXs+gz1vwvZmsL0mbHMG22zCHs1gj5qwz2ewz+cW8RpDwevjPBix1TlBEfa8HbaHsL0prKEZE2CeHue/npv3OnMM50HPM8dvHrSXOXYGVLWLHZr5Pp5EIoG40D/KMQAEWmCKa9AdTtLQoq05tLMQP06iyZr55RGoMU8ypaWhXc859Q82K4VNicb+jh37ynep3YxJuGTD5YSDH/LIBwVBihwLDzwUMB0LD1xNUH2mrIcHqjUPvR+fEsZ01RFskGho4q3gaRUJI8V8IHGk/JHGkSlDTVXKB/GIgefOO399kY9RSY/9SnqIsQ4LD/zBBCTEovVcUI0uI3MwmObxMrqU6by6MjqAizN+J+v2jqcxjg4KryEICVJiMR+WnJaHkp7k+14CagTCYdEgkExi7ST5LcQ0nkDO9NHYKfIdH+w3T4ocXg90H6D7T1yI3bUf+jyou5CTvWQAuL/ryBwsJHNQ5AdeMgCEt6EJOEiyNFIVo/2VVxPhGBxr7NUFRF14a9b6dJIM4ADzYsyEvKzYLK6EDpRNOabHUw15ymT5uoChyCTsz+zTC/iF0E2vivgZj5hZhokctU+9M2BqoDWv5ymj8qpupcGu4Wirb5nag7SF3r1VPZnW4c8gocLrgUIDjNuUPt+G+fAu+eIjpyMIkFh6MAaxCE8smmneWoR8xkKo4a5f5ND0Ye2J8yLHwgPfFHDmw6JhflqqrOKIImtuLI3eiinCjbncCqctlMoaR6TyXvmbAT9EmLN9HZ+nmctUeD4EojeJSUS1EJvS+BI/+i86YCEpLcSVL0eIHdawF92OOGbd2l3qHbTDsPXmVfP0YhpzTVICAlUHmkGjeecaWp1BtA2hi3m8MLW5I9Rxp8jRFbCzBukMf37S2E2Z9lrYZE0+i6ZWdxeuQVnMLtp2ua4RPtPI9OfVHlsYfvdAx3vlmXo7WYi7DV6+7fXxBxKcEwsPHO4yRY6FL9jjAQILrz8q9Eflg7+gMB+Lmu52M0iV/Evz83txqLwBDiZHCUoBNdxgyqOgGTS/poKbwZCTxCejo0Av3kkBUHyxVMSXEEuxXIARoy7LxuLjzg3MR5BPtDnOVo7H2J/+WDY/io4/7JY//Ym/8bK/0ruzsv58tXv/Ycc+H3R+3vm4c63T69zt3O887jzrHHTCTtb5Y+dPna/J78lfyF/J3yzq+++5OT/r1B7y938DWzT5FA==</latexit> D = ([n], A) ɿҰ࣍ݩࢄತؔ <latexit sha1_base64="30H7iCs73bipSilf49VFqgIHz08=">AAAg+HiczRpdc9y28ZJ+JFW/nPaxD8Xkxh3HYyu6k2QnnnHHjhTXmliSLVlyxqIq40jcHSySoACcPsxhfkNf26e+dfraf9OZ/pjuAuAdySPOStuH3gzxtYvdxWI/APIGWcyVXln55wcf/uCHP/rxRx//ZOmnP/v5L35545NfHSoxkSE7CEUs5LcDqljMU3aguY7Zt5lkNBnE7NXgdAPhr86ZVFykL/VVxo4TOkr5kIdUw9BhMOCj+NbJje7Kcu9L/JGV5f4K/NbLRp/0llfMr9txv+cnn/z2X0EkwknCUh3GVKmj3kqmj3MqNQ9jViwFE8UyGp7SETuCZkoTpo5zI25BbsJIRIZCwpNqYkarM3KaKHWVDAAzoXqsmjAcbIMdTfTwi+Ocp9lEszS0jIaTmGhBcO0k4pKFOr6CBg0lB1lJOKaShho0tFRjM0hqi8gjhbLWx1AALUSs6sNKJ1Reyag+mo2vFA8BdekmeQJL5ykwTWlMAKeGeJlRqeoqzC+VljwdweQgoaeMwjZrmI60HrofeWaGlBtYClJ2EYokoWkUiFMeJtEjdgmrTUFP/eM8AArluE6ybg8Hur1u39T9CggkaczPA5YpHou0yINzKstOC1425hYHGyB8hSmL4wAeXJAehyJib+KHn34BZgZYoekH3z18EwDCJgMTk2wb8PbBKkSclzRiII7TaZyNaZFbpagifxODMLG4YDIE18iDUcSG3+UBH6aTJNBjZiaNpJhkD4PkUcpIRSgCUqnZCPSHvCis6ChzOV7T/XOQLwXCiqnpYHUHphLTiRZFXu2Qm+Rx9HaiNFH8HQNrgH0mwG2oCUwkgeSjsa7TSoVMaDwl47oEfjfJjumQrBSIK0O3VZhz0FqqRVIc9Y7zm0uEBOVIHgyMenAQhiFY2B353cMv3RCqIwgki+mlG1EhTj1lqcq7vcKQY4YItItW/qfgALCDWN0N0kkcRxDGEo57CIbPjKt0ew/INjirIBhDcKD/gOwDGNV0y2ykyFh6h5gmyHOHgHNZo4qFYp/hlNUHZMPyNlGnuhmtgjmL2yzFKY5WnYIqyLDIcpiQmlu6oa3hvpZfn+VdcKtuv6jZgBmweATksy1AmZtjN7eO3oduOWM2WM5xkKImmABbMHKZzXB63UeDu1UVC9RoGUIDMgOUX5kS2iOrWOiPPnPbMNXPVMcQ01K95FPjzG/Bup3r4ubZVUy7ubH+WQyaGmV3taiajnWNZWte12GZCmdx/wnj78Ms4VEEWTAvbbLCB3qWzXJtKW0cLZWZON97zZZAKsAzF0lTIZ+D/dS881p8jEyOvnG6CgfTv+6KDSFjwtflWtvS6/D28vsf+cQzDNyRxzGgt/aA7CHXCk5bBDLxuzhac2GnYsQYd3CbcAEIs8GjphSLsuZQ/i+X5vatbYEWdI1lVhHnFrsLAhDnQoQPidJUShaVCeS/UcVqmyrW3GA408c6ZC7Lv4Z5r1RTBfV+i+p22MWmO2JvtKnwgutxGWhUYn5FTZkVRZeadOkC9QWp5is4uzKavnxidOiLGo2YZiitF7nV+b2i6N4zeSXv3q/qfy5nt1rPQntxnv98dpSZ5eEW5eAa1G79pJWUK67pJDfp1DyoE2dh17ee+tp85tC29+vX3Of5pb+C3d6u7nbhV0S/RRFiqomt4SGNJwx3HbewPEB47aFhbLe9kMLpdbXU65o50FSoGrKaXWrDuijL9aJ5mmnbrinZKfps11oUBpcPkxhiG0rzQNpGO646G0hEHsBl8BSRbaMdmY4sMtxxjIdI22hHjgYW2ZJmmCelLNsewXmGZOHarsvKRzvLAOPQIh76EYexEEaKsiFtox07ZBxvVrGrpam9jr0Ll21ZvXA4p9hK08Z4m3dviskgZpX703t9fN7Fu/0jMK1jMBFXg73Ala1iF3NcQMnWPGblIuQwnEhURbVahK+cPVWrRfjUmVS1ql/uxYiHnqslvsKBRmFaFywasWIewew6NM5ZEwp3Y3aGixJwiWdnZw0wOwOEAuszgzE/mw8RLvAtE9PulJnkOKvAOzdUtaXsM129JC8KdaA54zDGdyouIW3fXspDKiPjMkt1ydRVEvGhOxoOOJzuteTWU4sG6k6JNch3isYCX89gr5uwFzPYiyZsbwbba8I2ZrCNJuzJDPakCftmBvtmbhGvMRS8PsmDEVuZExRhL9phewjbm8IamjEBZuck//3cvNeZYzgPepE5fvOgvcyxM6CqXWzTzPfyJBIJxIX+cY4BINACU1yD7nCShhZt1aGdh/hyEk3WzC+PQI15kiktDe16zqm/sFkubEo09nfi2FfeS+1mTMIlGy4nHPyQRz4oCFLkWHjgoYDpWHjgaoLqM2U9PFCteeh9+ZQwpquOYINEQxNvBU+rSBgp5gOJI+WPNI5MGWqqUj6ORww8d97564t8ikp66lfS1xjrsPDAH09AQixazwXV6DIyB4NpHi+jS5nOqyujA7g443uybu9kGuPooPAagpAgJRbzYclpeSjpab7vJaBGIBwWDQLJJNZOkj9CTOMJ5Ewfje0i3/bB/vCsyOHxQPcBuv/Mhdhd+6LPg7oLOdlLBoD7u47MwUIyB0V+4CUDQHgamoCDJEsjVTHaz72aCMfgWGOvLiDqwlOz1p1JMoADzMsxE/KqYrO4EjpQNuWYHk815CmT5esChiKTsD+zVy/gF0I3vSri5zxiZhkmctRe9c6AqYHWvJ6njMrrupUGu4ajrb5rag/SJnr3ZvVkWoc/h4QKjwcKDTBuU/p8G+bDs+SLj5yOIEBi6cEYxCI8tWimeXcR8jkLoYa7fpFD04e1Jy6KHAsPfEPAmQ+LhvlpqbKKI4qsubE0eiumCLfnciuctlAqaxyRynvlZwZ8EWHO9nV8nmYuU+H5EIjeISYR1UJsSuMrfOm/6ICFpLQQ174cIXZYw150O+KYdWt3qffQDsPWm1fN04tpzDVJCQhUHWgGjeada2h1BtE2hC7m8cLU5o5Qx50iR9fAzhqkM/z4SWM3ZdprYZM1+SyaWt1duAZlMbts2+W6RvhMI9OPV3tsYfjdAx3vlWfqrWQh7hZ4+ZbXxx9LcE4sPHC4yxQ5Fr5gjwcILLz+qNAflQ/+ksJ8LGq6280gVfJ35rP34lB5GxxMjhKUAmq4wZRHQTNoPk0Fd4IhJ4lPRkeBXr6XAqD4YqmIryCWYrkAI0Zdlo3Fx53bmI8gn2hznK0cj7E//bBsPhSd3OiWH/2Jv3HYX+7dW15/sdZ9tOn+GfBx5zedTzu3Or3O/c6jztPO885BJ+y87fyp8+fOX8g78lfyN/J3i/rhB27Orzu1H/nHvwFY7/RY</latexit> <latexit sha1_base64="r4zrwMfq4TD9iiM56VgXi6WMFmE=">AAAg+HiczRrLcty4cXbz2igvb3LMIaidcsp22YpmJNm7rnLKXmkdq9aSbMmStywqMobEzMAiCQrA6GEW9xtyTU65pXLN36QqH5NuAJwhOcRYm+SQqSJe3ehuNPoBkDPIYq70yso/P/r4e9//wQ9/9MmPl37y05/9/Bc3Pv3loRITGbKDUMRCfjOgisU8ZQea65h9k0lGk0HMXg9ONxD++pxJxUX6Sl9l7Diho5QPeUg1DB0GAz6St09udFeWe1/gj6ws91fgt142+qS3vGJ+3Y77vTj59Df/CiIRThKW6jCmSh31VjJ9nFOpeRizYimYKJbR8JSO2BE0U5owdZwbcQtyE0YiMhQSnlQTM1qdkdNEqatkAJgJ1WPVhOFgG+xoooefH+c8zSaapaFlNJzERAuCaycRlyzU8RU0aCg5yErCMZU01KChpRqbQVJbRB4plLU+hgJoIWJVH1Y6ofJKRvXRbHyleAioSzfJU1g6T4FpSmMCODXEy4xKVVdhfqm05OkIJgcJPWUUtlnDdKT1yP3IczOk3MBSkLKLUCQJTaNAnPIwiR6zS1htCnrqH+cBUCjHdZJ1ezjQ7XX7pu5XQCBJY34esEzxWKRFHpxTWXZa8LIxtzjYAOErTFkcB/DggvQ4FBF7Gz/67HMwM8AKTT/49tHbABA2GZiYZNuAtw9WIeK8pBEDcZxO42xMi9wqRRX52xiEicUFkyG4Rh6MIjb8Ng/4MJ0kgR4zM2kkxSR7FCSPU0YqQhGQSs1GoD/kRWFFR5nL8ZruX4B8KRBWTE0HqzswlZhOtCjyaofcJE+idxOlieLvGVgD7DMBbkNNYCIJJB+NdZ1WKmRC4ykZ1yXwu0l2TIdkpUBcGbqtwpyD1lItkuKod5zfXCIkKEfyYGDUg4MwDMHC7shvH33hhlAdQSBZTC/diApx6ilLVd7tFYYcM0SgXbTyPwUHgB3E6l6QTuI4gjCWcNxDMHxmXKXbe0i2wVkFwRiCA/2HZB/AqKZbZiNFxtK7xDRBnrsEnMsaVSwUu41TVh+SDcvbRJ3qZrQK5ixusxSnOFp1CqogwyLLYUJqbumGtob7Wn51lnfBrbr9omYDZsDiEZDPtgBlbo7d3Dp6H7rljNlgOcdBippgAmzByGU2w+l1Hw3uVlUsUKNlCA3IDFB+aUpoj6xioT+67bZhqp+pjiGmpXrJp8aZ34J1O9fFzbOrmHZzY/2zGDQ1yu5qUTUd6xrL1ryuwzIVzuL+E8bfhVnCowiyYF7aZIUP9Cyb5dpS2jhaKjNxvvOaLYFUgGcukqZCPgf7qXnntfgYmRx943QVDqZ/3RUbQsaEr8u1tqXX4e3l9z/yiecYuCOPY0Bv7SHZQ64VnLYIZOJ3cbTmwk7FiDHu4DbhAhBmg0dNKRZlzaH8Xy7N7VvbAi3oGsusIs4tdhcEIM6FCB8SpamULCoTyH+jitU2Vay5wXCmj3XIXJZ/DfN+qaYK6oMW1e2wi013xN5oU+EF1+My0KjE/IqaMiuKLjXp0gXqC1LNl3B2ZTR99dTo0Bc1GjHNUFovcqvz+0XRvW/ySt59UNX/XM5utZ6F9uI8/8XsKDPLwy3KwTWo3fpJKylXXNNJbtKpeVAnzsKubz31tfnMoW3v16+5z/NLfw27vV3d7cKviH6LIsRUE1vDQxpPGO46bmF5gPDaQ8PY7nghhdPraqnXNXOgqVA1ZDW71IZ1UZbrRfM007ZdU7JT9NmutSgMLh8mMcQ2lOaBtI12XHU2kIg8gMvgKSLbRjsyHVlkuOMYD5G20Y4cDSyyJc0wT0pZtj2C8wzJwrVdl5WPdpYBxqFFPPQjDmMhjBRlQ9pGO3bION6sYldLU3sdexcu27J64XBOsZWmjfE2794Uk0HMKvenD/r4vIt3+0dgWsdgIq4Ge4ErW8Uu5riAkq15zMpFyGE4kaiKarUIXzl7qlaL8KkzqWpVv9yLEQ89V0tIUWCKUWFaFywasWIewew6NM5ZEwp3Y3aGixJwiWdnZw0wOwOEAuszgzE/mw8RLvAtE9PulJnkOKvAOzdUtaXsM129JC8KdaA54zDGdyouIW3fXspDKiPjMkt1ydRVEvGhOxoOOJzuteTWU4sG6k6JNch3isYC38xgb5qwlzPYyyZsbwbba8I2ZrCNJuzpDPa0Cft6Bvt6bhFvMBS8OcmDEVuZExRhL9thewjbm8IamjEBZuck//3cvDeZYzgPepk5fvOgvcyxM6CqXWzTzPfyJBIJxIX+cY4BINACU1yD7nCShhZt1aGdh/hyEk3WzC+PQI15kiktDe16zqm/sFkubEo09nfi2FfeS+1mTMIlGy4nHPyQRz4oCFLkWHjgoYDpWHjgaoLqM2U9PFCteeh9+ZQwpquOYINEQxPvBE+rSBgp5gOJI+WPNI5MGWqqUj6JRww8d97564t8hkp65lfSVxjrsPDAn0xAQixazwXV6DIyB4NpHi+jS5nOqyujA7g443uybu9kGuPooPAagpAgJRbzYclpeSjpab7vJaBGIBwWDQLJJNZOkj9CTOMJ5Ewfje0i3/bB/vC8yOHxQPcBuv/chdhd+6LPg7oLOdlLBoD7u47MwUIyB0V+4CUDQHgamoCDJEsjVTHa33k1EY7BscZeXUDUhadmrTuTZAAHmFdjJuRVxWZxJXSgbMoxPZ5qyFMmy9cFDEUmYX9mr17AL4RuelXEz3nEzDJM5Ki96p0BUwOteT1PGZXXdSsNdg1HW33P1B6kTfTuzerJtA5/AQkVHg8UGmDcpvT5NsyHZ8kXHzkdQYDE0oMxiEV4atFM894i5HMWQg13/SKHpg9rT1wUORYe+IaAMx8WDfPTUmUVRxRZc2Np9E5MEe7M5VY4baFU1jgilffKzwz4IsKc7ev4PM1cpsLzIRC9S0wiqoXYlMZX+NJ/0QELSWkhrn05Quywhr3odsQx69buUh+gHYatN6+apxfTmGuSEhCoOtAMGs0719DqDKJtCF3M44WpzR2hjjtFjq6BnTVIZ/jxk8ZuyrTXwiZr8lk0tbq7cA3KYnbZtst1jfCZRqYfr/bYwvC7BzreK8/UW8lC3C3w8i2vjz+R4JxYeOBwlylyLHzBHg8QWHj9UaE/Kh/8FYX5WNR0t5tBquTvzWfvxaHyDjiYHCUoBdRwgymPgmbQfJoK7gZDThKfjI4CvfwgBUDxxVIRX0EsxXIBRoy6LBuLjzt3MB9BPtHmOFs5HmN/+mHZfCg6udEtP/oTf+Owv9y7v7z+cq37eNP9M+CTzq87n3VudXqdB53HnWedF52DTth51/lT58+dv5D35K/kb+TvFvXjj9ycX3VqP/KPfwM87fRf</latexit> <latexit sha1_base64="4T9DoCbb1+cDRe6rjWOBWP20hdU=">AAAg/XiczRpdc9u4UXf9urofl2sf+1DMadLJZRLXkp3kLjPpJGcnjediO7Hj5Cam60AkJCEmCRqA/HEcXn9FX9unvnX62t/Smf6Y7gKgRFKEomv7UM0QX7vYXSz2AyA1yGKu9NraPz/48Hvf/8EPf/TRj1d+8tOf/fzja5/84pUSExmyw1DEQn49oIrFPGWHmuuYfZ1JRpNBzF4PTjcR/vqcScVF+lJfZew4oaOUD3lINQwdjU74LTI6yfm74uRad2219wX+yNpqfw1+d8pGn/RW18yv23G/5yef/PpfQSTCScJSHcZUqaPeWqaPcyo1D2NWrAQTxTIantIRO4JmShOmjnMjc0Guw0hEhkLCk2piRqszcpoodZUMADOheqyaMBxsgx1N9PDz45yn2USzNLSMhpOYaEFQASTikoU6voIGDSUHWUk4ppKGGtS0UmMzSGqLyCOFstbHUAAtRKzqw0onVF7JqD6aja8UDwF15Tp5AkvnKTBNaUwAp4Z4mVGp6irML5WWPB3B5CChp4zCXmuYjrQeuB95ZoaUG1gJUnYRiiShaRSIUx4m0UN2CatNQU/94zwACuW4TrJuDwe6vW7f1P0KCCRpzM8Dlikei7TIg3Mqy04LXjbmFgcbIHyFKYvjAB5ckB6HImJv4weffg5mBlih6QffPngbAMIWAxOTbAfwDsAqRJyXNGIgjtNpnI1pkVulqCJ/G4MwsbhgMgT/yINRxIbf5gEfppMk0GNmJo2kmGQPguRhykhFKAJSqdkI9Ie8KKzoKHM5XtP9c5AvBcKKqelgdQemEtOJFkVe7ZDr5FH0bqI0UfwbBtYA+0yA21ATmEgCyUdjXaeVCpnQeErGdQn8rpNd0yFZKRBXhm6rMOegtVSLpDjqHefXVwgJypE8GBj14CAMQ8SwO/KbB1+4IVRHEEgW00s3okKcespSlXd7hSHHDBFoF638T8EBYAexuh2kkziOIJYlHPcQDJ8ZV+n27pMdcFZBMIbgQP8+OQAwqumG2UiRsfQWMU2Q5xYB57JGFQvFPsMp6/fJpuVtok51M1oFcxa3VYpTHK07BVWQYZHlMCE1t3RD28MDLR+f5V1wq26/qNmAGbB4BOSzLUCZm2M3t47eh245YzZYznGQoiaYAFswcpnNcHo9QIO7URUL1GgZQmPAR1B+aUpoj6xioT/6zG3DVD9THUNMS/WKT40zvwXrdq6Lm2dXMe3mxvpnMWhqlN31omo61jVWrXktwzIVzuL+E8bfhVnCowiyYF7aZIUP9Cyb1dpS2jhaKjNxvvOaLYFUgGcukqZCPgf7qXnnUnyMTI6+cboKB9NfdsWGkDHhZbnWtnQZ3l5+/yOfeIaBO/I4BvQ27pN95FrBaYtAJn4XRxsu7FSMGOMObhMuAGE2eNSUYlE2HMr/5dLcvrUt0IKWWGYVcW6xeyAAcS5E+JAoTaVkUZlA/htVrLepYsMNhjN93IHMZfnXMO+Waqqg3mtR3S672HJH7M02FV5wPS4DjUrMr6gps6LoUpMuXaC+INV8CWdXRtOXT4wOfVGjEdMMpTtFbnV+tyi6d01eybv3qvqfy9mt1rPQXpznP58dZWZ5uEU5uAa1Vz9pJeWKazrJTTo1D+rEWdjy1lNfm88c2vb+zpL7PL/017DbO9XdLvyK6LcoQkw1sT18ReMJw13HLSwPEF57aBjbTS+kcHpdL/W6YQ40FaqGrGaX2rAuyvJO0TzNtG3XlOwUfbZrLQqDy4dJDLENpXkgbaMdV50NJCIP4DJ4isi20Y5MRxYZ7jjGQ6RttCNHA4tsSTPMk1KWbY/gPEOycHfXZeWjnWWA8coivvIjDmMhjBRlQ9pGO3bION6sYldLU3sdew8u27J64XBOsZ2mjfE2794Sk0HMKven9/r4vIt3+0dgWsdgIq4Ge4ErW8Uu5riAkq15zMpFyGE4kaiKarUIXzl7qlaL8KkzqWpVv9yLEQ89V0tIUWCKUWFaFywasWIewew6NM5ZEwp3Y3aGixJwiWdnZw0wOwOEAuszgzE/mw8RLvBVE9PulJnkOKvAOzdUtaUcMF29JC8KdaA54zDGdyouIW3fXspDKiPjMit1ydRVEvGhOxoOOJzuteTWU4sG6m6JNch3i8YC38xgb5qwFzPYiyZsfwbbb8I2Z7DNJuzJDPakCftqBvtqbhFvMBS8OcmDEVubExRhL9ph+wjbn8IamjEBZvck/93cvDeZYzgPepE5fvOg/cyxM6CqXezQzPfyJBIJxIX+cY4BINACU1yD7nCShhZt3aGdh/hyEk3WzC+PQI15kiktDe16zqm/sFktbEo09nfi2FfeS+1lTMIlGy4nHPyQRz4oCFLkWHjgoYDpWHjgaoLqM2U9PFCteeh9+ZQwpquOYINEQxPvBE+rSBgp5gOJI+WPNI5MGWqqUj6KRww8d97564t8ikp66lfSY4x1WHjgjyYgIRat54JqdBmZg8E0j5fRpUzn1ZXRAVyc8T1Zt3cyjXF0UHgNQUiQEov5sOS0PJT0ND/wElAjEA6LBoFkEmsnyR8gpvEEcqaPxk6R7/hgv39W5PB4oAcAPXjmQuyefdHnQd2DnOwlA8CDPUfmcCGZwyI/9JIBIDwNTcBBkqWRqhjtb72aCMfgWGOvLiDqwlOz1t1JMoADzMsxE/KqYrO4EjpQNuWYHk815CmT5esChiKTsD+zVy/gF0I3vSri5zxiZhkmctRe9c6AqYHWvJ6njMpl3UqDXcPRVt82tQdpC717q3oyrcOfQ0KFxwOFBhi3KX2+DfPhWfHFR05HECCx9GAMYhGeWjTTvL0I+ZyFUMNdv8ih6cPaFxdFjoUHvingzIdFw/y0VFnFEUXW3FgavRNThJtzuRVOWyiVNY5I5b3yMwO+iDBn+zo+TzOXqfB8CERvEZOIaiE2pfEVvvRfdMBCUlqIpS9HiB3WsBfdjjhm3dpd6j20w7D15lXz9GIac01SAgJVB5pBo3nnGlqdQbQNoYt5vDC1uSPUcafI0RLYWYN0hh8/aeymTHstbLImn0VTq7sL16AsZpdtu1zXCJ9pZPrxap8tDL/7oOP98ky9nSzE3QYv3/b6+CMJzomFBw53mSLHwhfs8QCBhdcfFfqj8sFfUpiPRU13exmkSv6N+fa9OFTeBAeTowSlgBpuMOVR0AyaT1PBrWDISeKT0VGgl++lACi+WCriK4ilWC7AiFGXZWPxcecm5iPIJ9ocZyvHY+xPPyybD0Un17rlR3/ib7zqr/burm682Og+fOz+GfBR51edTzs3Or3Ovc7DztPO885hJ+yIzp86f+78hfyR/JX8jfzdon74gZvzy07tR/7xbw9N9nQ=</latexit> gi, gij <latexit sha1_base64="NGDNVlqgzvbYo1Pfl1tdI0eZrN4=">AAAhN3iczVpbbxu5FdZub1v3lm0f+1BihRROmriW7CS7AVwkayeNsbGd2HGyiMfrUDOUTHtmOCYpX3Yw+3/6E/or+toFCvSt6Gv/Qc8hOdLMaKh42z5UgDgkz8fDw8NzIUcaZDFXenn52w8+/N73f/DDH33044Wf/PRnP//FjY9/+VqJsQzZfihiIb8cUMVinrJ9zXXMvswko8kgZm8Gp+tIf3POpOIifaWvMnaY0FHKhzykGrqObqyPFrNbZI0Eapwc5XytV3yVktERX8yO+C3yO9e/yO+c3CIBT8njAqg5PykAcELuEoQd3eguL/U+ww9ZXuovw+deWemT3tKy+XQ77vPi6OPf/C2IRDhOWKrDmCp10FvO9GFOpeZhzIqFYKxYRsNTOmIHUE1pwtRhblZbkJvQE5GhkPBNNTG91RE5TZS6SgaATKg+Vk0adrbRDsZ6+OlhztNsrFka2omG45hoQVB1JOKShTq+ggoNJQdZSXhMJQ01KHihNs0gqS0ijxTKWu9DAbQQsap3K51QeSWjem92fKV4CNCFm+QpLJ2nMGlKYwKYGvAyo1LVVZhfKi15OoLBQUJPGQUr0TAcea25D3luupTrWAhSdhGKJKFpFIhTHibRI3YJq01BT/3DPAAOZb9Osm4PO7q9bt88+xUSSNIYnwcsUzwWaZEH51SWjRZcdswtBisgfGVSFscBfHFB+jgUEXsXr33yKZgZoELTDr5ZexcAYIOBiUm2Bbg9sAoR5yWPGJjjcBpnx7TIrVJUkb+LQZhYXDAZgmflwShiw2/ygA/TcRLoY2YGjaQYZ2tB8ihlpCIUAanUtAfaQ14UVnSUueyv6f4FyJcCY8XUpLO6AxOJ6ViLIq82yE3yODoZK00U/5qBNcA+E5htqAkMJIHko2Nd55UKmdB4wsY1CXxukm3TIFkpEFeGb6sw56C1VIukOOgd5jcXCAnKnjwYGPVgJ3RDrLE78tu1z1wXqiMIJIvppetRIQ49ZanKu73CsGOGCdSL1vlPwQFgB/FxN0jHcRxBFEw47iEYPjOu0u09JFvgrIJgDMGO/kOyB2RU06LZSJGx9A4xVZDnDgHnskYVC8Vu4ZCVh2Tdzm2iTnUzWgVzFrdRilMcrDgFVcCwyLKbkJpbuq7N4Z6WT87yLrhVt1/UbMB0WBwB+WwNIDNj7ObW4X1oliOmneUYRylqggmwBSOX2Qyn1z00uMWqWKBGOyFUBnwE5eemhPrIKhbao1tuGyb6megYYlqqF3xqnPotWLdzXdw8u4pJMzfWP41BE6PsrhRV07GusWTN6zpTpsJZ3H8y8XeZLOFRBFkwL22yMg+07DRLtaW0zWi5TMX5zmu2DFIBnjlPmgr7HOyn5p3XmsfI5Pgbp6vMYNrXXbFhZEz4urPWtvQ6c3vn+x/5xHMM3JHHMaC1+pDs4qwVTFsEMvG7OFh1YadixBh3cJtwAUizwaOmFAtZdZD/y6W5fWtboCVdY5lV4Mxid0AA4lyI8CFRmkrJojKB/DeqWGlTxarrDKf6uAeZy85fQ94v1VSBPmhR3Ta72HBH7PU2FV5wfVwGGpWYT1FTZkXRpSZdukB9Qar5HM6ujKavnhod+qJGI6YZTveK3Or8flF075u8kncfVPU/k7NbrWeuvTjPfzE9ykzzcItycA1qp37SSsoV13SSm3RqvqgTZ2HXt5762nzm0Lb39665z7NLfwO7vVXd7cKviH6LIsREE5vD1zQeM9x13MLyAOG1h4ax3fZSCqfXlVKvq+ZAU+Fq2Gp2qc3URVneK5qnmbbtmrCdwKe71qIwuHyYxBDbUJoH0lbasepsIBE8gMvgKYJtpR1MRxYMdxzjIdJW2sHRwIIta4Z5Usqy7hGcZ8gWbv26fPh4ZxkgXlvgaz9wGAthpCgr0lba0SHjeLOK3VOap9exd+CyLasXDucUm2na6G/z7g0xHsSscn96r4/Puni3fwCmdQgm4p5gL3Blq9jFzCygZGse03IeOAzHElVRfczDK2dP1cc8PHUmVX3UL/dixEPP1RJSFJhiVJjaBYtGrJgFmF2HyjlrUuFuzM5wUQIu8ezsrEFmZwAo8HlmELOj+RDpAl9SMe1OmUmOowq8c8OjtpQ9pquX5HmhDjRnHMb4TsUlpG3bS3lIZWRcZqEumbpKIj50R8MBh9O9ltx6atGAbpeoQb5dNBb4dkp726S9nNJeNmm7U9puk7Y+pa03aU+ntKdN2hdT2hczi3iLoeDtUR6M2PKMoEh72U7bRdruhNbQjAkw20f5H2bGvc3chLOkl5mbb5a0m7npDKlqF1s08708iUQCcaF/mGMACLTAFNfgOxynoYWtONh5iC8n0WTN+PII1BgnmdLS8K7nnPoLm6XCpkRjf0du+sp7qZ2MSbhkw+WEgx/yyEcFQYocCw89FDAcCw9djVF9pqyHB6o1D70vnxLGdNURbJBoaOJE8LQKwkgxG0gcK3+kcWzKUFOV8nE8YuC5s85fX+QzVNIzv5KeYKzDwkN/PAYJsWg9F1Sjy8gcDCZ5vIwuZTqvrowO4OKM78m6vaNJjKODwmsIQoKUWMyGJafloaSn+Z6XgRqBcFg0GCTjWDtJvoKYxhPImT4eW0W+5aP98XmRw9dD3QPq3nMXYnfsiz4PdAdyspcNEPd2HJv9uWz2i3zfywaI8G1oAg6SLI1UxWh/79VEeAyOdezVBURd+NasdXucDOAA8+qYCXlVsVlcCR0om3JMi6ca8pTJ8nUBQ5FJ2J/pqxfwC6GbXhXxcx4xswwTOWqveqfE1FBrXs9TRuV13UqDXcPRVt81Tw9oA717o3oyrdNfQEKFr4cKFTBuU/p8G8bDd8EXHzkdQYDE0oMYxCI8tTBTvTsPfM5CeMJdv8ih6kPtiosix8JDXxdw5sOiYX5aqqziiCJrbiyNTsQEcHsmt8JpC6WyxhGpvFf+zIAvIszZvo7naeYyFZ4PgekdYhJRLcSmNL7Cl/7zDljISgtx7csRosMaet7tiGPWrd2l3sM7DFtvXjVPLyYx1yQlYFB1oCk1mnWuodUZRNsQmpjHC/M0d4Q6dgKOroHOGqwz/PGTxm7IpNUyTdacZ97Q6u7CNSiL2WXbLtc1wqcamfx4tcvmht9d0PFueabeTOZiN8HLN70+/liCc2LhocNdpsix8AV7PEBg4fVHhf6ofPRXFMZjUdPdTgapkn9tfjWfHypvg4PJUYJSwBNuMOVR0HSan6aCO8GQk8Qno+NAL9/LASC+WCriK4ilWM5BxKjLsjL/uHMb8xHkE22Os5XjMbYnPyybH4qObnTLH/2Jv/K6v9S7v7T6crX76In7Z8BHnV93PuksdnqdB51HnWedF539Ttj5U+cvnb92viV/Jn8n/yD/tNAPP3BjftWpfci//g0vwApX</latexit> g(p) = n X i=1 gi(pi) + X (i,j)2A gij(pj pi) <latexit sha1_base64="wShAm7BLiUwHCunHDLLjAgRE/i0=">AAAhEXiczRlNb9y4dXb7tXW/su2hh6IosYMU2SBxPWMn2U2RIlk7aYyN7cSOk0Usr8ORODOMJVEmOf5YQXvpuaf+il56aHvprei1v6BA0d/S90hqRtKIE2/bQwWIX+/x8fF9ktIgi7nSKyv/eOfdr339G9/81nvfXvrOd7/3/R9cef+HL5SYyJDthyIW8rMBVSzmKdvXXMfss0wymgxi9nJwvI7wl6dMKi7S5/oiY4cJHaV8yEOqYejoyk+DhOpxSOP8UUECNRkoptkJ6X+eH6SHxdGV7spy72N8yMpyfwWeW2WjT3rLK+bp3v/xH/71/M+//eXTo/d/9s8gEuEkYakOY6rUQW8l04c5lZqHMSuWgoliGQ2P6YgdQDOlCVOHudlHQa7CSESGQsKbamJGqzNymih1kQwAE7lWTRgOtsEOJnr40WHO02yiWRrahYaTmGhBUCgk4pKFOr6ABg0lB15JOKaShhpEt1RbZpDUNpFHCnmtjyEDWohY1YeVTqi8kFF9NBtfKB4C6tJV8gi2zlNYNKUxAZwa4nlGpaqLMD9XWvJ0BJNBj8eMgv41TEda99xDnpgh5QaWgpSdhSJJaBoF4piHSXSfncNuU5BT/zAPgEI5rpOs28OBbq/bN3W/AgJOGvPzgGWKxyIt8uCUyrLTgpeNucXBBjBfWZTFcQDvkjVMEbHX8b0PPgIzA6zQ9IMv770OAGGDgYlJtgV4e2AVIs5LGjEQx+k0zsa0yK1QVJG/joGZWJwxGYLP5MEoYsMv84AP00kS6DEzk0ZSTLJ7QXI/ZaTCFAGu1GwE+kNeFJZ15Lkcr8n+KfCXAmHF1HSwqoEpx3SiRZFXO+QqeRC9mShNFP+CgTWAngmsNtQEJpJA8tFY12mlQiY0npJxXQLPVbJtOiQrGeLK0G1l5hSklmqRFAe9w/zqEiFBOZIHAyMeHIRhiCJWIz+/97EbQnEEgWQxPXcjKsSpxyxVebdXGHLMEIF20br+MTgAaBCrm0E6ieMI4lvCUYdg+My4Srd3l2yBswqCMQQH+nfJHoBRTNeMIkXG0hvENIGfGwScyxpVLBT7EKes3iXrdm0TdarKaGXMWdxGyU5xsOoEVEGGTZbDhNTc0g1tDve0fHiSd8Gtuv2iZgNmwOIR4M+2AGVujlVuHb0P3XLGbLCc4yBFjTEBtmD4Mspwct1Dg7tWZQvEaBeExoCPoPzElNAeWcFCf/ShU8NUPlMZQ0xL9ZJPjDO/Bet2rovKs7uYdnNj/bMYNDXK7mpRNR3rGsvWvC6zZCqcxf0nC3+VxRIeRZAF89ImK+tAzy6zXNtK24qWyoydr7xnSyAV4JmLuKmQz8F+at55qXUMT46+cbrKCqZ/2R0bQsaEL7tqTaWXWdu73v/IJ55g4I48jgG9tbtkF1et4LRFIBO/i4M1F3YqRoxxB9WEG0CYDR41oViUNYfyf7k1p7e2DVrQJbZZRZzb7A4wQJwLET4kSlMpWVQmkP9GFKttolhzg+FMHrcgc9n1a5i3SzFVUO+0iG6bnW24I/Z6mwjPuB6XgUYl5ilqwqwIupSkSxcoL0g1n8DZldH0+SMjQ1/UaMQ0Q+lWkVuZ3y6K7m2TV/Lunar853J2q/UstBfn+U9nR5lZHm4RDu5B7dRPWkm545pMcpNOzYsycRZ2eeup781nDm26v3VJPc9v/SVoe6uq7cIviH6LIMRUEpvDFzSeMNQ6qrA8QHjtoWFs172Qwsl1tZTrmjnQVKgaspqda7N0UZa3iuZppk1dU7JT9JnWWgQGlw+TGGIbSvNA2kY7rjoZSEQewGXwGJFtox2Zjiwy3HGMh0jbaEeOBhbZkmaYJ6Us2x7GeYZk4T6vy8pHO8sA44VFfOFHHMZCGC7KhrSNduyQcbxZxa6WpvY69g5ctmX1wuGcYjNNG+Nt3r0hJoOYVe5Pb/XxeRfv9g/AtA7BRFwN9gJXtopdzK0CQrbmMSsXIYfhRKIoqtUifOXsqVotwqfOpKpV/XIvRjz0XC0hRYEpRoVpnbFoxIp5BKN1aJyyJhTuxuwENyXgEs9OThpgdgIIBdYnBmN+Nh8iXODnJ6bdKTPJcVaBd26oalvZY7p6SV4U6kByxmGM71RcQtq+vZSHVEbGZZbqnKmLJOJDdzQccDjda8mtpxYN1O0Sa5BvF40NvprBXjVhz2awZ03Y7gy224Stz2DrTdijGexRE/bpDPbp3CZeYSh4dZQHI7YyxyjCnrXDdhG2O4U1JGMCzPZR/qu5ea8yt+A86Fnm1psH7WZuOQOq2sUWzXwfTyKRQFzoH+YYAAItMMU16A4naWjRVh3aaYgfJ9FkzfzyCNSYJ5nS0tCu55z6B5vlwqZEY39HbvnKd6mdjEm4ZMPlhIMf8sgHBUaKHAsPPBQwHQsPXE1QfKashweqNQ+9H58SxnTVEWyQaEjijeBpFQkjxXwgcaT8kcaRKUNNlcsH8YiB5847f32Tj1FIj/1CeoixDgsP/MEEOMSi9VxQjS4jczCY5vEyupTpvLozOoCLM34n6/aOpjGODgqvIQgJXGIxH5aclIeSHud7XgJqBMxh0SCQTGLtOPkcYhpPIGf6aGwV+ZYP9usnRQ6vB7oH0L0nLsTu2A99HtQdyMleMgDc23Fk9heS2S/yfS8ZAMLbkAQcJFkaqYrR/sIriXAMjjX2ygKiLrw1a92eJAM4wDwfMyEvKjaLO6EDZVOO6fFUQ54yWb7OYCgyCfqZfXoBvxC66VURP+URM9swkaP2qXcGTA205vU8ZVRe1q002DUcbfVNU3uQNtC7N6on0zr8KSRUeD1QaIBxm9Ln2zAf3iVffOR0BAESSw/GIBbhsUUzzZuLkE9ZCDXc9Yscmj6sXXFW5Fh44OsCznxYNMxPS5VVHFFkTcXS6I2YIlyfy61w2kKurHFEKu+VvxnwQ4Q529fxeZq5TIXnQyB6g5hEVAuxKY0v8KP/ogMWktJCXPpyhNhhDXvR7Yhj1q3dpd5COwxbb141Ty+mMdckJSBQdaAZNJp3rqGVGUTbELqYxwtTmztCHXeKHF0CO2uQzvDnJ43dlGmvZZmsuc6iqVXtwjUoi9l5m5brEuEziUx/Xu2yheF3F2S8W56pN5OFuJvg5ZteH38gwTmx8MDhLlPkWPiCPR4gsPD6o0J/VD74cwrzsajJbieDVMm/MP/DF4fK6+BgcpQgF1DDDaY8CppB82squBEMOUl8PDoK9PytFADFF0tFfAGxFMsFGDHKsmwsPu5cx3wE+USb42zleIz96Y9l86Po6Eq3/OlP/I0X/eXe7eW1Zyvd+w879nmv85POB51rnV7nTud+53HnaWe/E3Z+0/l954+dP5Hfkb+Qv5K/WdR333FzftSpPeTv/wY8JwI1</latexit> F ✓ 2[n] ɿ ɿҰ࣍ݩࢄತؔ <latexit sha1_base64="30H7iCs73bipSilf49VFqgIHz08=">AAAg+HiczRpdc9y28ZJ+JFW/nPaxD8Xkxh3HYyu6k2QnnnHHjhTXmliSLVlyxqIq40jcHSySoACcPsxhfkNf26e+dfraf9OZ/pjuAuAdySPOStuH3gzxtYvdxWI/APIGWcyVXln55wcf/uCHP/rxRx//ZOmnP/v5L35545NfHSoxkSE7CEUs5LcDqljMU3aguY7Zt5lkNBnE7NXgdAPhr86ZVFykL/VVxo4TOkr5kIdUw9BhMOCj+NbJje7Kcu9L/JGV5f4K/NbLRp/0llfMr9txv+cnn/z2X0EkwknCUh3GVKmj3kqmj3MqNQ9jViwFE8UyGp7SETuCZkoTpo5zI25BbsJIRIZCwpNqYkarM3KaKHWVDAAzoXqsmjAcbIMdTfTwi+Ocp9lEszS0jIaTmGhBcO0k4pKFOr6CBg0lB1lJOKaShho0tFRjM0hqi8gjhbLWx1AALUSs6sNKJ1Reyag+mo2vFA8BdekmeQJL5ykwTWlMAKeGeJlRqeoqzC+VljwdweQgoaeMwjZrmI60HrofeWaGlBtYClJ2EYokoWkUiFMeJtEjdgmrTUFP/eM8AArluE6ybg8Hur1u39T9CggkaczPA5YpHou0yINzKstOC1425hYHGyB8hSmL4wAeXJAehyJib+KHn34BZgZYoekH3z18EwDCJgMTk2wb8PbBKkSclzRiII7TaZyNaZFbpagifxODMLG4YDIE18iDUcSG3+UBH6aTJNBjZiaNpJhkD4PkUcpIRSgCUqnZCPSHvCis6ChzOV7T/XOQLwXCiqnpYHUHphLTiRZFXu2Qm+Rx9HaiNFH8HQNrgH0mwG2oCUwkgeSjsa7TSoVMaDwl47oEfjfJjumQrBSIK0O3VZhz0FqqRVIc9Y7zm0uEBOVIHgyMenAQhiFY2B353cMv3RCqIwgki+mlG1EhTj1lqcq7vcKQY4YItItW/qfgALCDWN0N0kkcRxDGEo57CIbPjKt0ew/INjirIBhDcKD/gOwDGNV0y2ykyFh6h5gmyHOHgHNZo4qFYp/hlNUHZMPyNlGnuhmtgjmL2yzFKY5WnYIqyLDIcpiQmlu6oa3hvpZfn+VdcKtuv6jZgBmweATksy1AmZtjN7eO3oduOWM2WM5xkKImmABbMHKZzXB63UeDu1UVC9RoGUIDMgOUX5kS2iOrWOiPPnPbMNXPVMcQ01K95FPjzG/Bup3r4ubZVUy7ubH+WQyaGmV3taiajnWNZWte12GZCmdx/wnj78Ms4VEEWTAvbbLCB3qWzXJtKW0cLZWZON97zZZAKsAzF0lTIZ+D/dS881p8jEyOvnG6CgfTv+6KDSFjwtflWtvS6/D28vsf+cQzDNyRxzGgt/aA7CHXCk5bBDLxuzhac2GnYsQYd3CbcAEIs8GjphSLsuZQ/i+X5vatbYEWdI1lVhHnFrsLAhDnQoQPidJUShaVCeS/UcVqmyrW3GA408c6ZC7Lv4Z5r1RTBfV+i+p22MWmO2JvtKnwgutxGWhUYn5FTZkVRZeadOkC9QWp5is4uzKavnxidOiLGo2YZiitF7nV+b2i6N4zeSXv3q/qfy5nt1rPQntxnv98dpSZ5eEW5eAa1G79pJWUK67pJDfp1DyoE2dh17ee+tp85tC29+vX3Of5pb+C3d6u7nbhV0S/RRFiqomt4SGNJwx3HbewPEB47aFhbLe9kMLpdbXU65o50FSoGrKaXWrDuijL9aJ5mmnbrinZKfps11oUBpcPkxhiG0rzQNpGO646G0hEHsBl8BSRbaMdmY4sMtxxjIdI22hHjgYW2ZJmmCelLNsewXmGZOHarsvKRzvLAOPQIh76EYexEEaKsiFtox07ZBxvVrGrpam9jr0Ll21ZvXA4p9hK08Z4m3dviskgZpX703t9fN7Fu/0jMK1jMBFXg73Ala1iF3NcQMnWPGblIuQwnEhURbVahK+cPVWrRfjUmVS1ql/uxYiHnqslvsKBRmFaFywasWIewew6NM5ZEwp3Y3aGixJwiWdnZw0wOwOEAuszgzE/mw8RLvAtE9PulJnkOKvAOzdUtaXsM129JC8KdaA54zDGdyouIW3fXspDKiPjMkt1ydRVEvGhOxoOOJzuteTWU4sG6k6JNch3isYCX89gr5uwFzPYiyZsbwbba8I2ZrCNJuzJDPakCftmBvtmbhGvMRS8PsmDEVuZExRhL9phewjbm8IamjEBZuck//3cvNeZYzgPepE5fvOgvcyxM6CqXWzTzPfyJBIJxIX+cY4BINACU1yD7nCShhZt1aGdh/hyEk3WzC+PQI15kiktDe16zqm/sFkubEo09nfi2FfeS+1mTMIlGy4nHPyQRz4oCFLkWHjgoYDpWHjgaoLqM2U9PFCteeh9+ZQwpquOYINEQxNvBU+rSBgp5gOJI+WPNI5MGWqqUj6ORww8d97564t8ikp66lfS1xjrsPDAH09AQixazwXV6DIyB4NpHi+jS5nOqyujA7g443uybu9kGuPooPAagpAgJRbzYclpeSjpab7vJaBGIBwWDQLJJNZOkj9CTOMJ5Ewfje0i3/bB/vCsyOHxQPcBuv/Mhdhd+6LPg7oLOdlLBoD7u47MwUIyB0V+4CUDQHgamoCDJEsjVTHaz72aCMfgWGOvLiDqwlOz1p1JMoADzMsxE/KqYrO4EjpQNuWYHk815CmT5esChiKTsD+zVy/gF0I3vSri5zxiZhkmctRe9c6AqYHWvJ6njMrrupUGu4ajrb5rag/SJnr3ZvVkWoc/h4QKjwcKDTBuU/p8G+bDs+SLj5yOIEBi6cEYxCI8tWimeXcR8jkLoYa7fpFD04e1Jy6KHAsPfEPAmQ+LhvlpqbKKI4qsubE0eiumCLfnciuctlAqaxyRynvlZwZ8EWHO9nV8nmYuU+H5EIjeISYR1UJsSuMrfOm/6ICFpLQQ174cIXZYw150O+KYdWt3qffQDsPWm1fN04tpzDVJCQhUHWgGjeada2h1BtE2hC7m8cLU5o5Qx50iR9fAzhqkM/z4SWM3ZdprYZM1+SyaWt1duAZlMbts2+W6RvhMI9OPV3tsYfjdAx3vlWfqrWQh7hZ4+ZbXxx9LcE4sPHC4yxQ5Fr5gjwcILLz+qNAflQ/+ksJ8LGq6280gVfJ35rP34lB5GxxMjhKUAmq4wZRHQTNoPk0Fd4IhJ4lPRkeBXr6XAqD4YqmIryCWYrkAI0Zdlo3Fx53bmI8gn2hznK0cj7E//bBsPhSd3OiWH/2Jv3HYX+7dW15/sdZ9tOn+GfBx5zedTzu3Or3O/c6jztPO885BJ+y87fyp8+fOX8g78lfyN/J3i/rhB27Orzu1H/nHvwFY7/RY</latexit> <latexit sha1_base64="r4zrwMfq4TD9iiM56VgXi6WMFmE=">AAAg+HiczRrLcty4cXbz2igvb3LMIaidcsp22YpmJNm7rnLKXmkdq9aSbMmStywqMobEzMAiCQrA6GEW9xtyTU65pXLN36QqH5NuAJwhOcRYm+SQqSJe3ehuNPoBkDPIYq70yso/P/r4e9//wQ9/9MmPl37y05/9/Bc3Pv3loRITGbKDUMRCfjOgisU8ZQea65h9k0lGk0HMXg9ONxD++pxJxUX6Sl9l7Diho5QPeUg1DB0GAz6St09udFeWe1/gj6ws91fgt142+qS3vGJ+3Y77vTj59Df/CiIRThKW6jCmSh31VjJ9nFOpeRizYimYKJbR8JSO2BE0U5owdZwbcQtyE0YiMhQSnlQTM1qdkdNEqatkAJgJ1WPVhOFgG+xoooefH+c8zSaapaFlNJzERAuCaycRlyzU8RU0aCg5yErCMZU01KChpRqbQVJbRB4plLU+hgJoIWJVH1Y6ofJKRvXRbHyleAioSzfJU1g6T4FpSmMCODXEy4xKVVdhfqm05OkIJgcJPWUUtlnDdKT1yP3IczOk3MBSkLKLUCQJTaNAnPIwiR6zS1htCnrqH+cBUCjHdZJ1ezjQ7XX7pu5XQCBJY34esEzxWKRFHpxTWXZa8LIxtzjYAOErTFkcB/DggvQ4FBF7Gz/67HMwM8AKTT/49tHbABA2GZiYZNuAtw9WIeK8pBEDcZxO42xMi9wqRRX52xiEicUFkyG4Rh6MIjb8Ng/4MJ0kgR4zM2kkxSR7FCSPU0YqQhGQSs1GoD/kRWFFR5nL8ZruX4B8KRBWTE0HqzswlZhOtCjyaofcJE+idxOlieLvGVgD7DMBbkNNYCIJJB+NdZ1WKmRC4ykZ1yXwu0l2TIdkpUBcGbqtwpyD1lItkuKod5zfXCIkKEfyYGDUg4MwDMHC7shvH33hhlAdQSBZTC/diApx6ilLVd7tFYYcM0SgXbTyPwUHgB3E6l6QTuI4gjCWcNxDMHxmXKXbe0i2wVkFwRiCA/2HZB/AqKZbZiNFxtK7xDRBnrsEnMsaVSwUu41TVh+SDcvbRJ3qZrQK5ixusxSnOFp1CqogwyLLYUJqbumGtob7Wn51lnfBrbr9omYDZsDiEZDPtgBlbo7d3Dp6H7rljNlgOcdBippgAmzByGU2w+l1Hw3uVlUsUKNlCA3IDFB+aUpoj6xioT+67bZhqp+pjiGmpXrJp8aZ34J1O9fFzbOrmHZzY/2zGDQ1yu5qUTUd6xrL1ryuwzIVzuL+E8bfhVnCowiyYF7aZIUP9Cyb5dpS2jhaKjNxvvOaLYFUgGcukqZCPgf7qXnntfgYmRx943QVDqZ/3RUbQsaEr8u1tqXX4e3l9z/yiecYuCOPY0Bv7SHZQ64VnLYIZOJ3cbTmwk7FiDHu4DbhAhBmg0dNKRZlzaH8Xy7N7VvbAi3oGsusIs4tdhcEIM6FCB8SpamULCoTyH+jitU2Vay5wXCmj3XIXJZ/DfN+qaYK6oMW1e2wi013xN5oU+EF1+My0KjE/IqaMiuKLjXp0gXqC1LNl3B2ZTR99dTo0Bc1GjHNUFovcqvz+0XRvW/ySt59UNX/XM5utZ6F9uI8/8XsKDPLwy3KwTWo3fpJKylXXNNJbtKpeVAnzsKubz31tfnMoW3v16+5z/NLfw27vV3d7cKviH6LIsRUE1vDQxpPGO46bmF5gPDaQ8PY7nghhdPraqnXNXOgqVA1ZDW71IZ1UZbrRfM007ZdU7JT9NmutSgMLh8mMcQ2lOaBtI12XHU2kIg8gMvgKSLbRjsyHVlkuOMYD5G20Y4cDSyyJc0wT0pZtj2C8wzJwrVdl5WPdpYBxqFFPPQjDmMhjBRlQ9pGO3bION6sYldLU3sdexcu27J64XBOsZWmjfE2794Uk0HMKvenD/r4vIt3+0dgWsdgIq4Ge4ErW8Uu5riAkq15zMpFyGE4kaiKarUIXzl7qlaL8KkzqWpVv9yLEQ89V0tIUWCKUWFaFywasWIewew6NM5ZEwp3Y3aGixJwiWdnZw0wOwOEAuszgzE/mw8RLvAtE9PulJnkOKvAOzdUtaXsM129JC8KdaA54zDGdyouIW3fXspDKiPjMkt1ydRVEvGhOxoOOJzuteTWU4sG6k6JNch3isYC38xgb5qwlzPYyyZsbwbba8I2ZrCNJuzpDPa0Cft6Bvt6bhFvMBS8OcmDEVuZExRhL9thewjbm8IamjEBZuck//3cvDeZYzgPepk5fvOgvcyxM6CqXWzTzPfyJBIJxIX+cY4BINACU1yD7nCShhZt1aGdh/hyEk3WzC+PQI15kiktDe16zqm/sFkubEo09nfi2FfeS+1mTMIlGy4nHPyQRz4oCFLkWHjgoYDpWHjgaoLqM2U9PFCteeh9+ZQwpquOYINEQxPvBE+rSBgp5gOJI+WPNI5MGWqqUj6JRww8d97564t8hkp65lfSVxjrsPDAn0xAQixazwXV6DIyB4NpHi+jS5nOqyujA7g443uybu9kGuPooPAagpAgJRbzYclpeSjpab7vJaBGIBwWDQLJJNZOkj9CTOMJ5Ewfje0i3/bB/vC8yOHxQPcBuv/chdhd+6LPg7oLOdlLBoD7u47MwUIyB0V+4CUDQHgamoCDJEsjVTHa33k1EY7BscZeXUDUhadmrTuTZAAHmFdjJuRVxWZxJXSgbMoxPZ5qyFMmy9cFDEUmYX9mr17AL4RuelXEz3nEzDJM5Ki96p0BUwOteT1PGZXXdSsNdg1HW33P1B6kTfTuzerJtA5/AQkVHg8UGmDcpvT5NsyHZ8kXHzkdQYDE0oMxiEV4atFM894i5HMWQg13/SKHpg9rT1wUORYe+IaAMx8WDfPTUmUVRxRZc2Np9E5MEe7M5VY4baFU1jgilffKzwz4IsKc7ev4PM1cpsLzIRC9S0wiqoXYlMZX+NJ/0QELSWkhrn05Quywhr3odsQx69buUh+gHYatN6+apxfTmGuSEhCoOtAMGs0719DqDKJtCF3M44WpzR2hjjtFjq6BnTVIZ/jxk8ZuyrTXwiZr8lk0tbq7cA3KYnbZtst1jfCZRqYfr/bYwvC7BzreK8/UW8lC3C3w8i2vjz+R4JxYeOBwlylyLHzBHg8QWHj9UaE/Kh/8FYX5WNR0t5tBquTvzWfvxaHyDjiYHCUoBdRwgymPgmbQfJoK7gZDThKfjI4CvfwgBUDxxVIRX0EsxXIBRoy6LBuLjzt3MB9BPtHmOFs5HmN/+mHZfCg6udEtP/oTf+Owv9y7v7z+cq37eNP9M+CTzq87n3VudXqdB53HnWedF52DTth51/lT58+dv5D35K/kb+TvFvXjj9ycX3VqP/KPfwM87fRf</latexit> <latexit sha1_base64="si4EF41z3dNAjcQFqL1hIWlb0aA=">AAAg9XiczRpdc9u4UXf9urofl2sf+1DMadLJZRLXkp3kLjPpJGcnjediO7Hj5BrTdSASkhCTBA1A/jgO7x/0tX3qW6ev/T2d6Y/pLgBKJEUourYP1QzxtYvdxWI/AFKDLOZKr63984MPv/f9H/zwRx/9eOUnP/3Zzz++9skvXikxkSE7DEUs5NcDqljMU3aouY7Z15lkNBnE7PXgdBPhr8+ZVFykL/VVxo4TOkr5kIdUw9DB8OQPJ9e6a6u9L/BH1lb7a/C7Uzb6pLe6Zn7djvs9P/nk1/8KIhFOEpbqMKZKHfXWMn2cU6l5GLNiJZgoltHwlI7YETRTmjB1nBtZC3IdRiIyFBKeVBMzWp2R00Spq2QAmAnVY9WE4WAb7Giih58f5zzNJpqloWU0nMREC4ILJxGXLNTxFTRoKDnISsIxlTTUoJ6VGptBUltEHimUtT6GAmghYlUfVjqh8kpG9dFsfKV4CKgr18kTWDpPgWlKYwI4NcTLjEpVV2F+qbTk6QgmBwk9ZRT2WMN0pPXA/cgzM6TcwEqQsotQJAlNo0Cc8jCJHrJLWG0Keuof5wFQKMd1knV7ONDtdfum7ldAIEljfh6wTPFYpEUenFNZdlrwsjG3ONgA4StMWRwH8OCC9DgUEXsbP/j0czAzwApNP/j2wdsAELYYmJhkO4B3AFYh4rykEQNxnE7jbEyL3CpFFfnbGISJxQWTIfhFHowiNvw2D/gwnSSBHjMzaSTFJHsQJA9TRipCEZBKzUagP+RFYUVHmcvxmu6fg3wpEFZMTQerOzCVmE60KPJqh1wnj6J3E6WJ4t8wsAbYZwLchprARBJIPhrrOq1UyITGUzKuS+B3neyaDslKgbgydFuFOQetpVokxVHvOL++QkhQjuTBwKgHB2EYIoXdkd88+MINoTqCQLKYXroRFeLUU5aqvNsrDDlmiEC7aOV/Cg4AO4jV7SCdxHEEMSzhuIdg+My4Srd3n+yAswqCMQQH+vfJAYBRTTfMRoqMpbeIaYI8twg4lzWqWCj2GU5Zv082LW8Tdaqb0SqYs7itUpziaN0pqIIMiyyHCam5pRvaHh5o+fgs74JbdftFzQbMgMUjIJ9tAcrcHLu5dfQ+dMsZs8FyjoMUNcEE2IKRy2yG0+sBGtyNqligRssQGgM+gvJLU0J7ZBUL/dFnbhum+pnqGGJaqld8apz5LVi3c13cPLuKaTc31j+LQVOj7K4XVdOxrrFqzWsZlqlwFvefMP4uzBIeRZAF89ImK3ygZ9ms1pbSxtFSmYnznddsCaQCPHORNBXyOdhPzTuX4mNkcvSN01U4mP6yKzaEjAkvy7W2pcvw9vL7H/nEMwzckccxoLdxn+wj1wpOWwQy8bs42nBhp2LEGHdwm3ABCLPBo6YUi7LhUP4vl+b2rW2BFrTEMquIc4vdAwGIcyHCh0RpKiWLygTy36hivU0VG24wnOnjDmQuy7+GebdUUwX1XovqdtnFljtib7ap8ILrcRloVGJ+RU2ZFUWXmnTpAvUFqeZLOLsymr58YnToixqNmGYo3Slyq/O7RdG9a/JK3r1X1f9czm61noX24jz/+ewoM8vDLcrBNai9+kkrKVdc00lu0ql5UCfOwpa3nvrafObQtvd3ltzn+aW/ht3eqe524VdEv0URYqqJ7eErGk8Y7jpuYXmA8NpDw9hueiGF0+t6qdcNc6CpUDVkNbvUhnVRlneK5mmmbbumZKfos11rURhcPkxiiG0ozQNpG+246mwgEXkAl8FTRLaNdmQ6sshwxzEeIm2jHTkaWGRLmmGelLJsewTnGZKFO7suKx/tLAOMVxbxlR9xGAthpCgb0jbasUPG8WYVu1qa2uvYe3DZltULh3OK7TRtjLd595aYDGJWuT+918fnXbzbPwLTOgYTcTXYC1zZKnYxxwWUbM1jVi5CDsOJRFVUq0X4ytlTtVqET51JVav65V6MeOi5WkKKAlOMCtO6YNGIFfMIZtehcc6aULgbszNclIBLPDs7a4DZGSAUWJ8ZjPnZfIhwga+YmHanzCTHWQXeuaGqLeWA6eoleVGoA80ZhzG+U3EJafv2Uh5SGRmXWalLpq6SiA/d0XDA4XSvJbeeWjRQd0usQb5bNBb4ZgZ704S9mMFeNGH7M9h+E7Y5g202YU9msCdN2Fcz2Fdzi3iDoeDNSR6M2NqcoAh70Q7bR9j+FNbQjAkwuyf57+bmvckcw3nQi8zxmwftZ46dAVXtYodmvpcnkUggLvSPcwwAgRaY4hp0h5M0tGjrDu08xJeTaLJmfnkEasyTTGlpaNdzTv2FzWphU6KxvxPHvvJeai9jEi7ZcDnh4Ic88kFBkCLHwgMPBUzHwgNXE1SfKevhgWrNQ+/Lp4QxXXUEGyQamngneFpFwkgxH0gcKX+kcWTKUFOV8lE8YuC5885fX+RTVNJTv5IeY6zDwgN/NAEJsWg9F1Sjy8gcDKZ5vIwuZTqvrowO4OKM78m6vZNpjKODwmsIQoKUWMyHJafloaSn+YGXgBqBcFg0CCSTWDtJ/ggxjSeQM300dop8xwf7/bMih8cDPQDowTMXYvfsiz4P6h7kZC8ZAB7sOTKHC8kcFvmhlwwA4WloAg6SLI1UxWh/69VEOAbHGnt1AVEXnpq17k6SARxgXo6ZkFcVm8WV0IGyKcf0eKohT5ksXxcwFJmE/Zm9egG/ELrpVRE/5xEzyzCRo/aqdwZMDbTm9TxlVC7rVhrsGo62+rapPUhb6N1b1ZNpHf4cEio8Hig0wLhN6fNtmA/Pii8+cjqCAImlB2MQi/DUopnm7UXI5yyEGu76RQ5NH9a+uChyLDzwTQFnPiwa5qelyiqOKLLmxtLonZgi3JzLrXDaQqmscUQq75WfGfBFhDnb1/F5mrlMhedDIHqLmERUC7Epja/wpf+iAxaS0kIsfTlC7LCGveh2xDHr1u5S76Edhq03r5qnF9OYa5ISEKg60AwazTvX0OoMom0IXczjhanNHaGOO0WOlsDOGqQz/PhJYzdl2mthkzX5LJpa3V24BmUxu2zb5bpG+Ewj049X+2xh+N0HHe+XZ+rtZCHuNnj5ttfHH0lwTiw8cLjLFDkWvmCPBwgsvP6o0B+VD/6SwnwsarrbyyBV8m/MN+/FofImOJgcJSgF1HCDKY+CZtB8mgpuBUNOEp+MjgK9fC8FQPHFUhFfQSzFcgFGjLosG4uPOzcxH0E+0eY4WzkeY3/6Ydl8KDq51i0/+hN/41V/tXd3dePFRvfhY/fPgI86v+p82rnR6XXudR52nnaedw47YWfU+VPnz52/kAvyV/I38neL+uEHbs4vO7Uf+ce/AXUz8zY=</latexit> fY ্ͷತؔ <latexit sha1_base64="iwuTthQ+UZsI47zulDohP43w4W8=">AAAhL3iczRrZcty4cXZzbZRjvcljHoLaKadsl61oRrK965RS9kp2rFrrsGTZa4uKjCExI1gkQYEYHcvC/ks+IV+R1+QplapUKq/5i3QD4AzJIcbaJA+ZKuLqRnej0QdAziCLea6Wlv72wYff+e73vv+Dj3648KMf/+SnH1/75GcvczGWIdsPRSzkVwOas5inbF9xFbOvMsloMojZq8HJGsJfnTGZc5G+UJcZO0zoKOVDHlIFQ0fXfjO8cXGTrJIgHydHxWsS8JQECVXHIY2LJ1qT4dHrIJNpYRG4QXitycUR10fXukuLvc/xR5YW+0vwu1s2+qS3uGR+3Y777Rx98su/B5EIxwlLVRjTPD/oLWXqsKBS8TBmeiEY5yyj4QkdsQNopjRh+WFhVqnJdRiJyFBIeFJFzGh1RkGTPL9MBoCJC8ibMBxsgx2M1fCzw4Kn2VixNLSMhuOYKEFQZSTikoUqvoQGDSUHWUl4TCUNFSh2ocZmkNQWUUQ5ylofQwGUEHFeH85VQuWljOqj2fFlzkNAXbhOnsDSeQpMUxoTwKkhXmRU5nUVFhe5kjwdwWTY0hNGwToUTEdaq+5Hnpmh3A0sBCk7D0WS0DQKxAkPk+ghu4DVpqCn/mERAIVyXCVZt4cD3V63b+p+BQSSNOYXActyHotUF8EZlWWnBS875hYHGyB8hSmL4wCeBWujImJv49VPPwMzA6zQ9INvVt8GgLDOwMQk2wS8PbAKERcljRiI43QaZ8dUF1YpuS7exiBMLM6ZDMGjimAUseE3RcCH6TgJ1DEzk0ZSjLPVIHmYMlIRioBU+XQE+kOutRUdZS7Ha7rfAflSIJyzfDJY3YGJxHSshC6qHXKdPIrejXNFcv41A2uAfSbAbagITCSB5KNjVaeVCpnQeELGdQn8rpMt0yFZKRDPDd1WYc5Aa6kSiT7oHRbXFwgJypEiGBj14CAMQ4yxO/Kr1c/dEKojCCSL6YUbyUOcesLSvOj2tCHHDBFo61b+J+AAsINY3QnScRxHEP0SjnsIhs+Mq3R7D8gmOKsgGENwoP+A7AEY1XTDbKTIWHrbxjqQ5zYB57JGFYuc3cQpyw/ImuVtok51M1oFcxa3XoqjD5adgirIsMhymJCaW7qhjeGeko9Piy64VbevazZgBiweAflsC1Bm5tjNraP3oVvOmA6WcxxE1wQTYAtGLrMZTq97aHA3qmKBGi1DaAz4CMovTAntkVUs9Ec33TZM9DPRMcS0VC341Dj1W7Bu57q4eXYVk25hrH8agyZG2V3WVdOxrrFozesqLFPhLO4/YfxtmCU8iiALFqVNVvhAz7JZrC2ljaOlMhXnW6/ZEkgFeOY8aSrkC7CfmndeiY+RydE3TlfhYPpXXbEhZEz4qlxrW3oV3l5+/yOfeIaBO/I4BvRWHpBd5FrBaYtAJn7rgxUXdipGjHEHtwkXgDAbPGpKsSgrDuX/cmlu39oWaEFXWGYVcWax2yAAcS5E+JDkikrJojKB/DeqWG5TxYobDKf6uAuZy/KvYd4r1VRBvd+iui12vu6O2GttKjzn6rgMNHlifrqmzIqiS026dIH6glTzBZxdGU1fPDE69EWNRkwzlO7qwur8ntbdeyavFN37Vf3P5OxW65lrL87zd6ZHmWkeblEOriHfrp+0knLFNZ0UJp2aB3XiLOzq1lNfm88c2vb+7hX3eXbpr2C3N6u7rf2K6LcoQkw0sTF8SeMxw13HLSwPEF57aBjbLS9EO70ul3pdMQeaClVDVrELZVjrsryrm6eZtu2akJ2gT3etRWEFXnaBXWxDaRFI22jHzU8HEpEHcBk8QWTbaEemI4sMdxzjIdI22pGjgUW2pBnmSSnLtkdwniFZuO2rsvLRzjLAeGkRX/oRh7EQRoqyIW2jHTtkHG9Wsaulqb2OvQ2XbVm9cDin2EjTxnibd6+L8SBmlfvTe3181sW7/QMwrUMwEVeDvcCVrWIXM1xAydY8puU85DAcS1RFtZqHnzt7qlbz8KkzqWpVv9yLEQ89V0tIUWCKkTatcxaNmJ5FMLsOjTPWhMLdmJ3iogRc4tnpaQPMTgFBY31qMGZn8yHCBb6cYsqdMpMCZ2m8c0NVW8oeU9VL8rxQB5ozDmN8p+IS0vbtpTykMjIus1CXLL9MIj50R8MBh9O9ktx6qm6gbpVYg2JLNxb4Zgp704Q9n8KeN2G7U9huE7Y2ha01YU+msCdN2JdT2Jczi3iDoeDNURGM2NKMoAh73g7bRdjuBNbQjAkwW0fFb2fmvckcw1nQ88zxmwXtZo6dAVXtYpNmvpcnkUggLvQPCwwAgRKY4hp0h+M0tGjLDu0sxJeTaLJmfnkEasyTLFfS0K7nnPoLm0VtU6KxvyPHvvJeajtjEi7ZcDnh4Ic88kFBEF1g4YGHAqZj4YHnY1SfKevhgSrFQ+/Lp4QxVXUEGyQamngneFpFwkgxG0gcKX+kcWTKUFOV8lE8YuC5s85fX+RTVNJTv5IeY6zDwgN/NAYJsWg9F1Sjy8gcDCZ5vIwuZTqvrowO4OKM78m6vaNJjKMD7TUEIUFKLGbDktPyUNKTYs9LIB+BcFg0CCTjWDlJfg8xjSeQM300NnWx6YP97pku4PFA9wC698yF2G37os+Dug052UsGgHvbjsz+XDL7utj3kgEgPA1NwEGSpVFeMdpfezURHoNjHXt1AVEXnpq1bo2TARxgXhwzIS8rNosroYPcphzT46mCPGWyfF3AUGQS9mf66gX8QqimV0X8jEfMLMNEjtqr3ikwNdCa1/OUUXlVt1Jg13C0VXdM7UFaR+9er55M6/AdSKjweKDQAOM2pc+3YT48C774yOkIAiSWHoxBLMITi2aad+Yhn7EQarjr6wKaPqxdca4LLDzwNQFnPiwa5qdknlUcUWTNjaXROzFBuDWTW+G0hVJZ44jyold+ZsAXEeZsX8fnaeYyFZ4PgehtYhJRLcSmNL7El/7zDlhISglx5csRYoc17Hm3I45Zt3aXeg/tMGy9edU8XU9irklKQKDqQFNoNOtcQ6sziLYhdDGPa1ObO0Idd4IcXQE7a5DO8OMnjd2USa+FTdbkM29qdXfhGpTF7KJtl+sa4VONTD5e7bK54XcXdLxbnqk3krm4G+DlG14ffyTBObHwwOEuowssfMEeDxBYeP0xR3/MffAXFOZjUdPddgapkn9tvpbPD5W3wMHkKEEpoIYbTHkUNIPm01RwOxhykvhkdBToxXspAIovlor4EmIplnMwYtRl2Zh/3LmF+QjyiTLH2crxGPuTD8vmQ9HRtW750Z/4Gy/7i717iyvPV7oPH7t/BnzU+UXn086NTq9zv/Ow87Sz09nvhJ0/dP7U+XPnL+SP5K/kH+SfFvXDD9ycn3dqP/KvfwMWlAn7</latexit> f(x) = X Y 2F fY X i2Y xi ! <latexit sha1_base64="cny+eyQAY6+OmaYaCRUwEc3ELQ0=">AAAhnHiczRprc9y28ZS+UrVNnfZjZ1o4N87YrqzqTpKduKOMHcmuNbEkW7LkjEVFxpG4O0gkQQE4SRcO83v6lzrTH9NdALwjeeRZafqhN0O8drG7WOwDIK+XhFzplZV/LXz0s5//4pe/+vjXi7/57e8++f2tT/9wpMRI+uzQF6GQ3/aoYiGP2aHmOmTfJpLRqBeyt73zTYS/vWRScRG/0eOEnUR0EPM+96mGodNb/xzcVUv6HtkgXo8NeJz6QExli4R4AVdJSMdKj0NGPDWKTlO+0cm+i4k65eSBGzqzQ/r0jHxO7loIdrwBI1cw4ywj3t+J1xeShiHhSwDhMTmOT+4RzwM2f4VuX49xsqfZtU6FHjJ5xRXL7i16LA6cRKe32ivLnS/xR1aWuyvwW88bXdJZXjG/dsv9Xp1++pd/e4HwRxGLtR9SpY47K4k+SanU3A9ZtuiNFEuof04H7BiaMY2YOkmNSjNyB0YCAlLDE2tiRoszUhopNY56gBlRPVRVGA7WwY5Huv/FScrjZKRZ7FtG/VFItCC4PyTgkvk6HEOD+pKDrMQfUkl9Dbu4WGLTi0qLSAOFspbHUAAtRKjKw0pHVI5lUB5NhmPFfUBdvEOew9J5DExjGhLAKSFeJ1SqsgrTa6Uljwcw2YvoOaNgihqmI60N9yMvzZByA4tezK58EUU0Djxxzv0oeMKuYbUx6Kl7knpAIR/XUdLu4EC70+6aulsAgSSV+anHEsVDEWepd0ll3qnBS4bc4mADhC8wZWHowYML0kNfBOx9uPHZF2BmgOWbvvfDxnsPELYYmJhkO4B3AFYhwjSnEQJxnE7DZEiz1CpFZen7EIQJxRWTaN+pNwhY/4fU4/14FHngAmbSQIpRsuFFT2LwwKlQBKRS0xHo93mWWdFR5ny8pPtXIF8MhMGZJoPFHZhITEdaZGmxQ+6Qp8HZSGmi+PcMrAH2mQC3viYwkXiSD4a6TCsWMqLhhIzrEvjdIbumQ5JcIK4M3VphLkFrsRZRdtw5Se9gWMpHUq9n1IODMAwBze7I5xtfuiFUh+dJFtJrN6J8nHrOYpW2O5khxwwRaGe1/M/BAWAHsXrgxaMwDCDURhz3EAyfGVdpdx6THXBWQTCG4ED3MTkAMKrprtlIkbB4iZgmyLNEwLmsUYVCsXs4ZfUx2bS8TdQpbkatYM7itnJxsuNVp6ACMiwyHyak5JZuaLt/oOWzi7QNbtXuZiUbMAMWj4B8tgUoM3Ps5pbRu9DNZ0wH8zkOkpUEM4EfR8xmOL0eoMHdLYoFarQModHjAyi/NiW0B1ax0B/cc9sw0c9ExxDTYr3YpMap34J1O9fFzbOrmHRTY/3TGDQxyvZqVjQd6xrL1rxuwjIWzuL+G8Y/hlnEgwCyYJrbZIEP9Cyb5dJS6jhaKlNxfvSaLYFYgGfOk6ZAPgX7KXnnjfgYmRx943QFDqZ/0xUbQsaEb8q1tKU34d3I73/kEy8xcAcNjgG9tcdkH7kWcOoikInf2fGaCzsFI8a4g9uEC0CYDR4lpViUNYfyf7k0t291C7SgGyyziDiz2D0QgDgXIrxPlKZSsiBPID9FFat1qlhzg/5UH+uQuSz/EubDXE0F1Ec1qttlV1vuiL1Zp8Irrod5oFGR+WUlZRYUnWvSpQvUF6Sar+Hsymj85rnRYVPUqMQ0Q2k9S63OH2ZZ+6HJK2n7UVH/Mzm71nrm2ovz/FfTo8w0D9coB9eg9sonrShfcUknqUmn5kGdOAu7ufWU19ZkDnV7v37DfZ5d+lvY7Z3ibmfNiujWKEJMNLHdP6LhiOGu4xbmB4hGe6gY2/1GSOb0uprrdc0caApUDVlzEUXWWV6uZ9XTTN12TchO0Ke7VqMwuHyYxBDaUJp60jbqcdVFTyJyDy6D54hsG/XIdGCR4Y5jPETaRj1y0LPIljTDPCll3m4QnCdI9pJJnVdNtJMEMI4s4lEzYj8UwkiRN6Rt1GP7jOPNKnS1NHWjY+/BZVsWLxzOKbbjuDJe591bYtQLWeH+9EEfn3XxdvcYTOsETMTVYC9wZSvYxQwXULI1j2k5D9n3RxJVUazm4StnT8VqHj51JlWsypd7MeB+w9USUhSYYpCZ1hULBiybRTC7Do1LVoXC3Zhd4KIEXOLZxUUFzC4AIcP6wmDMzuZ9hAt8E8a0O2VGKc7K8M4NVWkpB0wXL8nzQh1ozjiM8Z2CS0jbt5dyn8rAuMxiWTI1jgLed0fDHofTvZbcempWQd3NsXrpblZZ4Lsp7F0V9noKe12F7U9h+1XY5hS2WYU9n8KeV2HfTGHfzCziHYaCd6epN2ArM4Ii7HU9bB9h+xNYRTMmwOyepl/NzHuXOIazoNeJ4zcL2k8cOwMq2sUOTZpengQigrjQPUkxAHhaYIqr0O2PYt+irTq0Sx9fTqLJmvn5EagyTzKlpaFdzjnlFzbLmU2Jxv5OHfvCe6m9hEm4ZMPlhIMf8qAJCoJkKRYNcF/AdCwa4GqE6jNlOTxQrbnf+PIpYkwXHcEGiYomzgSPi0gYKWYDiSPVHGkcmTzUFKV8Gg4YeO6s85cX+QKV9KJZSc8w1mHRAH86AgmxqD0XFKPLwBwMJnk8jy55Oi+ujPbg4ozvydqd00mMo72s0RCEBCmxmA1LTst9Sc/Tg0YCagDCYVEhEI1C7ST5DmIajyBnNtHYydKdJtg/XmYpPA3QA4AevHQhds++6GtA3YOc3EgGgAd7jszhXDKHWXrYSAaA8FQ0AQdJFgeqYLR/a9SEPwTHGjbqAqIuPCVr3R1FPTjAvBkyIccFm8WV0J6yKcf0eKwhT5ksXxbQF4mE/Zm+egG/ELrqVQG/5AEzyzCRo/SqdwqMDbTk9TxmVN7UrTTYNRxt9QNTNyBtoXdvFU+mZfgrSKjwNEChAcZtyibfhvnwLDbFR04HECCxbMDohcI/t2im+WAe8iXzoYa7fpZCswlrX1xlKRYN8E0BZz4sKuanpUoKjiiS6sbS4ExMEO7P5FY4baFU1jgClXbyzwz4IsKc7cv4PE5cpsLzIRBdIiYRlUJsTMMxvvSfd8BCUlqIG1+OENsvYc+7HXHMuqW71Ado+37tzavk6dkk5pqkBASKDjSFBrPO1bc6g2jrQxfzeGZqc0co406QgxtgJxXSCX78pKGbMunVsEmqfOZNLe4uXIOSkF3X7XJZI3yqkcnHq302N/zug4738zP1djQXdxu8fLvRx59KcE4sGuBwl8lSLJqCPR4gsGj0R4X+qJrgbyjMx6Kku70EUiX/3nyanx8q74ODyUGEUkANN5j8KGgGzacpb8nrcxI1yego0OsPUgCUplgqwjHEUiznYISoy7wx/7hzH/MR5BNtjrOF4zH2Jx+WzYei01vt/KM/aW4cdZc7D5fXX6+1nzxz/wz4uPWn1metu61O61HrSetF61XrsOUvfLKwtrCx8NXtP9/euv3N7R2L+tGCm/PHVul3++g/ktEpHg==</latexit> g(s, t) = 8 > < > : n X i=1 si n X j=1 tj (si tj wij 8i, j +1 (otherwise) ೋ෦Ϛονϯάͷର <latexit sha1_base64="/1fl7dyK4bYsrA4L7aRel+VfPH8=">AAAhC3iczRrLcty4cXbz2igvb3LIIYegdsop22UrmpFs7zqllL2SvVatJdmSZW9ZVGQMiZmBRRIUgNFjWdw/yFfkmpxyS+Waj0hVPibdADhDcoixNskhU0W8utHdaPQDIGeQxVzplZV/fvDhd777ve//4KMfLv3oxz/56c+uffzzV0pMZMgOQhEL+dWAKhbzlB1ormP2VSYZTQYxez042UD46zMmFRfpS32ZsaOEjlI+5CHVMHR87ZdfkHVy4zA9IoE6DScZgebvyOObx9e6K8u9z/BHVpb7K/C7Wzb6pLe8Yn7djvs9P/741/8KIhFOEpbqMKZKHfZWMn2UU6l5GLNiKZgoltHwhI7YITRTmjB1lJsVFOQ6jERkKCQ8qSZmtDojp4lSl8kAMBOqx6oJw8E22OFEDz89ynmaTTRLQ8toOImJFgTVQSIuWajjS2jQUHKQlYRjKmmoQWlLNTaDpLaIPFIoa30MBdBCxKo+rHRC5aWM6qPZ+FLxEFCXrpMnsHSeAtOUxgRwaogXGZWqrsL8QmnJ0xFMDhJ6wijsvIbpSGvd/cgzM6TcwFKQsvNQJAlNo0Cc8DCJHrILWG0Keuof5QFQKMd1knV7ONDtdfum7ldAIEljfh6wTPFYpEUenFFZdlrwsjG3ONgA4StMWRwH8OCC9DgUEXsbr3/yKZgZYIWmH3yz/jYAhE0GJibZNuDtg1WIOC9pxEAcp9M4G9Mit0pRRf42BmFicc5kCN6SB6OIDb/JAz5MJ0mgx8xMGkkxydaD5GHKSEUoAlKp2Qj0h7worOgoczle0/1zkC8Fwoqp6WB1B6YS04kWRV7tkOvkUfRuojRR/GsG1gD7TIDbUBOYSALJR2Ndp5UKmdB4SsZ1Cfyukx3TIVkpEFeGbqswZ6C1VIukOOwd5deXCAnKkTwYGPXgIAxD/LA78pv1z9wQqiMIJIvphRtRIU49YanKu73CkGOGCLSLVv4n4ACwg1jdCdJJHEcQ2RKOewiGz4yrdHsPyDY4qyAYQ3Cg/4DsAxjVdMNspMhYepuYJshzm4BzWaOKhWI3ccrqA7JheZuoU92MVsGcxW2W4hSHq05BFWRYZDlMSM0t3dDWcF/Lx6d5F9yq2y9qNmAGLB4B+WwLUObm2M2to/ehW86YDZZzHKSoCSbAFoxcZjOcXvfR4G5UxQI1WobQGPARlJ+bEtojq1joj266bZjqZ6pjiGmpXvKpcea3YN3OdXHz7Cqm3dxY/ywGTY2yu1pUTce6xrI1r6uwTIWzuP+E8bdhlvAogiyYlzZZ4QM9y2a5tpQ2jpbKTJxvvWZLIBXgmYukqZDPwX5q3nklPkYmR984XYWD6V91xYaQMeGrcq1t6VV4e/n9j3ziGQbuyOMY0Ft7QPaQawWnLQKZ+F0crrmwUzFijDu4TbgAhNngUVOKRVlzKP+XS3P71rZAC7rCMquIc4vdBQGIcyHCh0RpKiWLygTy36hitU0Va24wnOnjLmQuy7+Gea9UUwX1fovqdtj5pjtib7Sp8JzrcRloVGJ+RU2ZFUWXmnTpAvUFqeZzOLsymr58YnToixqNmGYo3S1yq/N7RdG9Z/JK3r1f1f9czm61noX24jz/+ewoM8vDLcrBNajd+kkrKVdc00lu0ql5UCfOwq5uPfW1+cyhbe/vXnGf55f+GnZ7u7rbhV8R/RZFiKkmtoavaDxhuOu4heUBwmsPDWO75YUUTq+rpV7XzIGmQtWQ1exCG9ZFWd4tmqeZtu2akp2iz3atRWFw+TCJIbahNA+kbbTjqtOBROQBXAZPENk22pHpyCLDHcd4iLSNduRoYJEtaYZ5Usqy7RGcZ0gWbvK6rHy0swwwXlnEV37EYSyEkaJsSNtoxw4Zx5tV7Gppaq9j78JlW1YvHM4pttK0Md7m3ZtiMohZ5f70Xh+fd/Fu/xBM6whMxNVgL3Blq9jFHBdQsjWPWbkIOQwnElVRrRbhK2dP1WoRPnUmVa3ql3sx4qHnagkpCkwxKkzrnEUjVswjmF2HxhlrQuFuzE5xUQIu8ez0tAFmp4BQYH1qMOZn8yHCBb54YtqdMpMcZxV454aqtpR9pquX5EWhDjRnHMb4TsUlpO3bS3lIZWRcZqkumbpMIj50R8MBh9O9ltx6atFA3SmxBvlO0VjgmxnsTRP2YgZ70YTtzWB7TdjGDLbRhD2ZwZ40YV/OYF/OLeINhoI3x3kwYitzgiLsRTtsD2F7U1hDMybA7Bznv5+b9yZzDOdBLzLHbx60lzl2BlS1i22a+V6eRCKBuNA/yjEABFpgimvQHU7S0KKtOrSzEF9Oosma+eURqDFPMqWloV3POfUXNsuFTYnG/o4d+8p7qd2MSbhkw+WEgx/yyAcFQYocCw88FDAdCw9cTVB9pqyHB6o1D70vnxLGdNURbJBoaOKd4GkVCSPFfCBxpPyRxpEpQ01VykfxiIHnzjt/fZFPUUlP/Up6jLEOCw/80QQkxKL1XFCNLiNzMJjm8TK6lOm8ujI6gIszvifr9o6nMY4OCq8hCAlSYjEflpyWh5Ke5PteAmoEwmHRIJBMYu0k+QPENJ5AzvTR2C7ybR/si2dFDo8Hug/Q/WcuxO7aF30e1F3IyV4yANzfdWQOFpI5KPIDLxkAwtPQBBwkWRqpitH+1quJcAyONfbqAqIuPDVr3ZkkAzjAvBwzIS8rNosroQNlU47p8VRDnjJZvi5gKDIJ+zN79QJ+IXTTqyJ+xiNmlmEiR+1V7wyYGmjN63nKqLyqW2mwazja6jum9iBtondvVk+mdfhzSKjweKDQAOM2pc+3YT48S774yOkIAiSWHoxBLMITi2aadxYhn7EQarjrFzk0fVh74rzIsfDANwSc+bBomJ+WKqs4osiaG0ujd2KKcGsut8JpC6WyxhGpvFd+ZsAXEeZsX8fnaeYyFZ4PgehtYhJRLcSmNL7El/6LDlhISgtx5csRYoc17EW3I45Zt3aXeg/tMGy9edU8vZjGXJOUgEDVgWbQaN65hlZnEG1D6GIeL0xt7gh13ClydAXsrEE6w4+fNHZTpr0WNlmTz6Kp1d2Fa1AWs4u2Xa5rhM80Mv14tccWht890PFeeabeShbiboGXb3l9/JEE58TCA4e7TJFj4Qv2eIDAwuuPCv1R+eAvKczHoqa73QxSJf/afAlfHCpvgYPJUYJSQA03mPIoaAbNp6ngdjDkJPHJ6CjQi/dSABRfLBXxJcRSLBdgxKjLsrH4uHML8xHkE22Os5XjMfanH5bNh6Lja93yoz/xN171l3v3ltderHUfPnb/DPio86vOJ50bnV7nfudh52nneeegE3aKzp86f+78hfyR/JX8jfzdon74gZvzi07tR/7xb95p+do=</latexit> G = ([n] t [n]; E) ɿೋ෦άϥϑ ɿลॏΈ <latexit sha1_base64="vzovce4yI1XS3Jsdt6jJE/yfqYw=">AAAhCHiczRrLcty4cXbz2igvb5JbDkHtlFO7LlvRjGR711VO2SvZsWotyZYse8uiMsaQmBlYJEEBGD3M4n5AviLX5JRbKtf8RaryMekGwBmSQ4y1SQ6ZKuLVje5Gox8AOcMs5kqvrf3zgw+/893vff8HH/1w5Uc//slPf3bt45+/VGIqQ3YYiljIr4dUsZin7FBzHbOvM8loMozZq+HJJsJfnTGpuEhf6MuMHSd0nPIRD6mGocG1X6oBJ7eIHrwlwZiR80HO3xaDa9211d4X+CNrq/01+N0uG33SW10zv27H/Z4NPv71v4JIhNOEpTqMqVJHvbVMH+dUah7GrFgJpoplNDyhY3YEzZQmTB3nRvyCXIeRiIyEhCfVxIxWZ+Q0UeoyGQJmQvVENWE42AY7murR58c5T7OpZmloGY2mMdGCoC5IxCULdXwJDRpKDrKScEIlDTVobKXGZpjUFpFHCmWtj6EAWohY1YeVTqi8lFF9NJtcKh4C6sp18hiWzlNgmtKYAE4N8SKjUtVVmF8oLXk6hslBQk8YhW3XMB1p3Xc/8tQMKTewEqTsPBRJQtMoECc8TKIH7AJWm4Ke+sd5ABTKcZ1k3R4OdHvdvqn7FRBI0pifByxTPBZpkQdnVJadFrxswi0ONkD4ClMWxwE8uCA9CUXE3sT3P/kczAywQtMPvrn/JgCELQYmJtkO4B2AVYg4L2nEQByn0zib0CK3SlFF/iYGYWJxzmQIrpIH44iNvskDPkqnSaAnzEwaSzHN7gfJg5SRilAEpFLzEeiPeFFY0VHmcrym+2cgXwqEFVOzweoOzCSmUy2KvNoh18nD6O1UaaL4OwbWAPtMgNtIE5hIAsnHE12nlQqZ0HhGxnUJ/K6TXdMhWSkQV4ZuqzBnoLVUi6Q46h3n11cICcqRPBga9eAgDEPwsDvym/tfuCFURxBIFtMLN6JCnHrCUpV3e4UhxwwRaBet/E/AAWAHsboVpNM4jiCsJRz3EAyfGVfp9u6RHXBWQTCG4ED/HjkAMKrpU7ORImPpTWKaIM9NAs5ljSoWin2GU9bvkU3L20Sd6ma0CuYsbqsUpzhadwqqIMMiy2FCam7phrZHB1o+Os274FbdflGzATNg8QjIZ1uAsjDHbm4dvQ/dcsZ8sJzjIEVNMAG2YOQym+H0eoAG92lVLFCjZQiNIR9D+aUpoT22ioX++DO3DTP9zHQMMS3VKz41zv0WrNu5Lm6eXcWsmxvrn8egmVF214uq6VjXWLXmdRWWqXAW958w/jbMEh5FkAXz0iYrfKBn2azWltLG0VKZi/Ot12wJpAI8c5k0FfI52E/NO6/Ex8jk6Bunq3Aw/auu2BAyJnxVrrUtvQpvL7//kU88xcAdeRwDehv3yD5yreC0RSATv4ujDRd2KkaMcQe3CReAMBs8akqxKBsO5f9yaW7f2hZoQVdYZhVxYbF7IABxLkT4iChNpWRRmUD+G1Wst6liww2Gc33chsxl+dcw75RqqqDebVHdLjvfckfszTYVnnM9KQONSsyvqCmzouhSky5doL4g1XwJZ1dG0xePjQ59UaMR0wyl20VudX6nKLp3TF7Ju3er+l/I2a3Ws9RenOc/mx9l5nm4RTm4BrVXP2kl5YprOslNOjUP6sRZ2NWtp742nzm07f3tK+7z4tJfwW7vVHe78Cui36IIMdPE9ugljacMdx23sDxAeO2hYWw3vJDC6XW91OuGOdBUqBqyml1ow7ooy9tF8zTTtl0zsjP0+a61KAwuHyYxxDaU5oG0jXZcdTqUiDyEy+AJIttGOzIdW2S44xgPkbbRjhwNLbIlzTBPSlm2PYLzDMnCNV6XlY92lgHGS4v40o84ioUwUpQNaRvt2CHjeLOKXS1N7XXsPbhsy+qFwznFdpo2xtu8e0tMhzGr3J/e6+OLLt7tH4FpHYOJuBrsBa5sFbtY4AJKtuYxL5chh+FUoiqq1TJ85eypWi3Dp86kqlX9ci/GPPRcLSFFgSlGhWmds2jMikUEs+vQOGNNKNyN2SkuSsAlnp2eNsDsFBAKrE8NxuJsPkK4wLdOTLtTZpLjrALv3FDVlnLAdPWSvCzUgeaMwxjfqbiEtH17KQ+pjIzLrNQlU5dJxEfuaDjkcLrXkltPLRqouyXWMN8tGgt8PYe9bsKez2HPm7D9OWy/CducwzabsMdz2OMm7Ks57KuFRbzGUPB6kAdjtrYgKMKet8P2EbY/gzU0YwLM7iD/3cK815ljuAh6njl+i6D9zLEzoKpd7NDM9/IkEgnEhf5xjgEg0AJTXIPuaJqGFm3doZ2F+HISTdbML49AjXmSKS0N7XrOqb+wWS1sSjT2N3DsK++l9jIm4ZINlxMOfsgjHxQEKXIsPPBQwHQsPHA1RfWZsh4eqNY89L58ShjTVUewQaKhibeCp1UkjBSLgcSR8kcaR6YMNVUpH8ZjBp676Pz1RT5BJT3xK+kRxjosPPCHU5AQi9ZzQTW6jM3BYJbHy+hSpvPqyugQLs74nqzbG8xiHB0WXkMQEqTEYjEsOS2PJD3JD7wE1BiEw6JBIJnG2knyB4hpPIGc6aOxU+Q7PtjvnxY5PB7oAUAPnroQu2df9HlQ9yAne8kA8GDPkTlcSuawyA+9ZAAIT0MTcJBkaaQqRvtbrybCCTjWxKsLiLrw1Kx1d5oM4QDzYsKEvKzYLK6EDpVNOabHUw15ymT5uoChyCTsz/zVC/iF0E2vivgZj5hZhokctVe9c2BqoDWv5ymj8qpupcGu4Wirb5nag7SF3r1VPZnW4c8gocLjgUIDjNuUPt+G+fCs+OIjp2MIkFh6MIaxCE8smmneWoZ8xkKo4a5f5ND0Ye2L8yLHwgPfFHDmw6JhflqqrOKIImtuLI3eihnCjYXcCqctlMoaR6TyXvmZAV9EmLN9HZ+nmctUeD4EojeJSUS1EJvS+BJf+i87YCEpLcSVL0eIHdawl92OOGbd2l3qPbTDsPXmVfP0YhZzTVICAlUHmkOjRecaWZ1BtA2hi3m8MLW5I9RxZ8jRFbCzBukMP37S2E2Z9VrYZE0+y6ZWdxeuQVnMLtp2ua4RPtfI7OPVPlsafvdBx/vlmXo7WYq7DV6+7fXxhxKcEwsPHO4yRY6FL9jjAQILrz8q9Eflg7+gMB+Lmu72MkiV/J35DL48VN4AB5PjBKWAGm4w5VHQDJpPU8HNYMRJ4pPRUaAX76UAKL5YKuJLiKVYLsGIUZdlY/lx5wbmI8gn2hxnK8dj7M8+LJsPRYNr3fKjP/E3XvZXe3dWN55vdB88cv8M+Kjzq84nnU87vc7dzoPOk86zzmEn7Lzr/Knz585fyB/JX8nfyN8t6ocfuDm/6NR+5B//BrrW+eE=</latexit> si tj wij ( for ) <latexit sha1_base64="HWtGMXIuvUzlAqHoEmEr+4y9H+c=">AAAhBHiczRrLcty4cXbz2iiP9SbHHILaKae8LlvRjGR711VO2SvZsWotyZYse8uiImNIzAwskqAAjB7L4h7zFbkmp9xSueY/UpWPSTcAzpAcYjyb5JCpIl7d6G40+gGQM8hirvTa2j8/+PB73//BD3/00Y9XfvLTn/3842uf/OKVEhMZssNQxEJ+PaCKxTxlh5rrmH2dSUaTQcxeD043Ef76nEnFRfpSX2XsOKGjlA95SDUMnVy7FgyFpHFM+DsS8JQ8PrnWXVvtfYE/srbaX4PfnbLRJ73VNfPrdtzv+cknv/5XEIlwkrBUhzFV6qi3lunjnErNw5gVK8FEsYyGp3TEjqCZ0oSp49yIXpDrMBIRkAGeVBMzWp2R00Spq2QAmAnVY9WE4WAb7Giih58f5zzNJpqloWU0nMREC4J6IBGXLNTxFTRoKDnISsIxlTTUoK2VGptBUltEHimUtT6GAmghYlUfVjqh8kpG9dFsfKV4CKgr18kTWDpPgWlKYwI4NcTLjEpVV2F+qbTk6QgmBwk9ZRS2XMN0pPXA/cgzM6TcwEqQsotQJAlNo0Cc8jCJHrJLWG0Keuof5wFQKMd1knV7ONDtdfum7ldAIEljfh6wTPFYpEUenFNZdlrwsjG3ONgA4StMWRwH8OCC9DgUEXsbP/j0czAzwApNP/j2wdsAELYYmJhkO4B3AFYh4rykEQNxnE7jbEyL3CpFFfnbGISJxQWTIbhJHowiNvw2D/gwnSSBHjMzaSTFJHsQJA9TRipCEZBKzUagP+RFYUVHmcvxmu6fg3wpEFZMTQerOzCVmE60KPJqh1wnj6J3E6WJ4t8wsAbYZwLchprARBJIPhrrOq1UyITGUzKuS+B3neyaDslKgbgydFuFOQetpVokxVHvOL++QkhQjuTBwKgHB2EYAofdkd88+MINoTqCQLKYXroRFeLUU5aqvNsrDDlmiEC7aOV/Cg4AO4jV7SCdxHEEIS3huIdg+My4Srd3n+yAswqCMQQH+vfJAYBRTTfMRoqMpbeIaYI8twg4lzWqWCj2GU5Zv082LW8Tdaqb0SqYs7itUpziaN0pqIIMiyyHCam5pRvaHh5o+fgs74JbdftFzQbMgMUjIJ9tAcrcHLu5dfQ+dMsZs8FyjoMUNcEE2IKRy2yG0+sBGtyNqligRssQGgM+gvJLU0J7ZBUL/dFnbhum+pnqGGJaqld8apz5LVi3c13cPLuKaTc31j+LQVOj7K4XVdOxrrFqzWsZlqlwFvefMP4uzBIeRZAF89ImK3ygZ9ms1pbSxtFSmYnznddsCaQCPHORNBXyOdhPzTuX4mNkcvSN01U4mP6yKzaEjAkvy7W2pcvw9vL7H/nEMwzckccxoLdxn+wj1wpOWwQy8bs42nBhp2LEGHdwm3ABCLPBo6YUi7LhUP4vl+b2rW2BFrTEMquIc4vdAwGIcyHCh0RpKiWLygTy36hivU0VG24wnOnjDmQuy7+GebdUUwX1XovqdtnFljtib7ap8ILrcRloVGJ+RU2ZFUWXmnTpAvUFqeZLOLsymr58YnToixqNmGYo3Slyq/O7RdG9a/JK3r1X1f9czm61noX24jz/+ewoM8vDLcrBNai9+kkrKVdc00lu0ql5UCfOwpa3nvrafObQtvd3ltzn+aW/ht3eqe524VdEv0URYqqJ7eErGk8Y7jpuYXmA8NpDw9hueiGF0+t6qdcNc6CpUDVkNbvUhnVRlneK5mmmbbumZKfos11rURhcPkxiiG0ozQNpG+246mwgEXkAl8FTRLaNdmQ6sshwxzEeIm2jHTkaWGRLmmGelLJsewTnGZKFK7wuKx/tLAOMVxbxlR9xGAthpCgb0jbasUPG8WYVu1qa2uvYe3DZltULh3OK7TRtjLd595aYDGJWuT+918fnXbzbPwLTOgYTcTXYC1zZKnYxxwWUbM1jVi5CDsOJRFVUq0X4ytlTtVqET51JVav65V6MeOi5WkKKAlOMCtO6YNGIFfMIZtehcc6aULgbszNclIBLPDs7a4DZGSAUWJ8ZjPnZfIhwgW+cmHanzCTHWQXeuaGqLeWA6eoleVGoA80ZhzG+U3EJafv2Uh5SGRmXWalLpq6SiA/d0XDA4XSvJbeeWjRQd0usQb5bNBb4ZgZ704S9mMFeNGH7M9h+E7Y5g202YU9msCdN2Fcz2Fdzi3iDoeDNSR6M2NqcoAh70Q7bR9j+FNbQjAkwuyf57+bmvckcw3nQi8zxmwftZ46dAVXtYodmvpcnkUggLvSPcwwAgRaY4hp0h5M0tGjrDu08xJeTaLJmfnkEasyTTGlpaNdzTv2FzWphU6KxvxPHvvJeai9jEi7ZcDnh4Ic88kFBkCLHwgMPBUzHwgNXE1SfKevhgWrNQ+/Lp4QxXXUEGyQamngneFpFwkgxH0gcKX+kcWTKUFOV8lE8YuC5885fX+RTVNJTv5IeY6zDwgN/NAEJsWg9F1Sjy8gcDKZ5vIwuZTqvrowO4OKM78m6vZNpjKODwmsIQoKUWMyHJafloaSn+YGXgBqBcFg0CCSTWDtJ/gAxjSeQM300dop8xwf7/bMih8cDPQDowTMXYvfsiz4P6h7kZC8ZAB7sOTKHC8kcFvmhlwwA4WloAg6SLI1UxWh/69VEOAbHGnt1AVEXnpq17k6SARxgXo6ZkFcVm8WV0IGyKcf0eKohT5ksXxcwFJmE/Zm9egG/ELrpVRE/5xEzyzCRo/aqdwZMDbTm9TxlVC7rVhrsGo62+rapPUhb6N1b1ZNpHf4cEio8Hig0wLhN6fNtmA/Pii8+cjqCAImlB2MQi/DUopnm7UXI5yyEGu76RQ5NH9a+uChyLDzwTQFnPiwa5qelyiqOKLLmxtLonZgi3JzLrXDaQqmscUQq75WfGfBFhDnb1/F5mrlMhedDIHqLmERUC7Epja/wpf+iAxaS0kIsfTlC7LCGveh2xDHr1u5S76Edhq03r5qnF9OYa5ISEKg60AwazTvX0OoMom0IXczjhanNHaGOO0WOlsDOGqQz/PhJYzdl2mthkzX5LJpa3V24BmUxu2zb5bpG+Ewj049X+2xh+N0HHe+XZ+rtZCHuNnj5ttfHH0lwTiw8cLjLFDkWvmCPBwgsvP6o0B+VD/6SwnwsarrbyyBV8m/MJ/DFofImOJgcJSgF1HCDKY+CZtB8mgpuBUNOEp+MjgK9fC8FQPHFUhFfQSzFcgFGjLosG4uPOzcxH0E+0eY4WzkeY3/6Ydl8KDq51i0/+hN/41V/tXd3dePFRvfhY/fPgI86v+p82rnR6XXudR52nnaedw47Yee886fOnzt/IX8kfyV/I3+3qB9+4Ob8slP7kX/8G+5o+FI=</latexit> 8ij 2 E (otherwise) ྫ ɿ༗άϥϑ .㽇ತ ̡ತ ̡㽇ತ <latexit sha1_base64="KeZPSsNAC6ytdSiAFzypQH6P+l8=">AAAhBniczRrbcty2dZPeUvUSJ3nMQzHZccfx2Kp2JduJZ9yxI9m1JpZkS5adkajIWBK7gkUSFIDVJRzmuV/R1/apb52+9jc604/pOQC4S3KJ9abtQ3eGuJ2Dg4NzBcgdZDFXemXln++9/6Mf/+SnP/vg50u/+OWvfv3htY8+fqXEWIZsPxSxkN8MqGIxT9m+5jpm32SS0WQQs9eD03WEvz5nUnGRvtRXGTtK6CjlQx5SDUPH1z6+IAFPSZBQfTIY5AfFt4+Pr3VXlntf4o+sLPdX4HenbPRJb3nF/Lod93t+/NFv/hVEIhwnLNVhTJU67K1k+iinUvMwZsVSMFYso+EpHbFDaKY0YeooN8wX5DqMRGQoJDypJma0OiOniVJXyQAwkUnVhOFgG+xwrIdfHOU8zcaapaFdaDiOiRYEJUEiLlmo4yto0FBy4JWEJ1TSUIO8lmrLDJLaJvJIIa/1MWRACxGr+rDSCZVXMqqPZidXioeAunSdPIGt8xQWTWlMAKeGeJlRqeoizC+VljwdwWRQ2ymjoHQN05HWA/cjz8yQcgNLQcouQpEkNI0CccrDJHrILmG3Kcipf5QHQKEc10nW7eFAt9ftm7pfAQEnjfl5wDLFY5EWeXBOZdlpwctOuMXBBjBfWZTFcQDPkrHDUETsTfzgsy/AzAArNP3g+wdvAkDYYGBikm0B3h5YhYjzkkYMxHE6jbMTWuRWKKrI38TATCwumAzBUfJgFLHh93nAh+k4CfQJM5NGUoyzB0HyMGWkwhQBrtR0BPpDXhSWdeS5HK/J/jnwlwJhxdRksKqBCcd0rEWRVzvkOnkUvR0rTRT/joE1gJ4JrDbUBCaSQPLRia7TSoVMaDwh47oEftfJtumQrGSIK0O3lZlzkFqqRVIc9o7y60uEBOVIHgyMeHAQhiF0WI389sGXbgjFEQSSxfTSjagQp56yVOXdXmHIMUME2kXr+qfgAKBBrG4H6TiOIwhqCUcdguEz4yrd3n2yBc4qCMYQHOjfJ3sARjHdMIoUGUtv2XgG/Nwi4FzWqGKh2Oc4ZfU+Wbdrm6hTVUYrY87iNkp2isNVJ6AKMmyyHCak5pZuaHO4p+Xjs7wLbtXtFzUbMAMWjwB/tgUoM3OscuvofeiWM6aD5RwHKWqMCbAFw5dRhpPrHhrcjSpbIEa7IDQGfATlV6aE9sgKFvqjz50aJvKZyBhiWqqXfGKc+i1Yt3NdVJ7dxaSbG+ufxqCJUXZXi6rpWNdYtua1yJKpcBb3nyz8QxZLeBRBFsxLm6ysAz27zHJtK20rWipTdn7wni2BVIBnzuOmQj4H+6l550LrGJ4cfeN0lRVMf9EdG0LGhBddtabSRdb2rvc/8olnGLgjj2NAb+0+2cVVKzhtEcjE7+JwzYWdihFj3EE14QYQZoNHTSgWZc2h/F9uzemtbYMWtMA2q4gzm90BBohzIcKHRGkqJYvKBPLfiGK1TRRrbjCcyuMOZC67fg3zbimmCuq9FtFts4sNd8RebxPhBdcnZaBRifkVNWFWBF1K0qULlBekmq/g7Mpo+vKJkaEvajRimqF0p8itzO8WRfeuySt5915V/jM5u9V65tqL8/zn06PMNA+3CAf3oHbqJ62k3HFNJrlJp+ZBmTgLW9x66nvzmUOb7u8sqOfZrb8GbW9VtV34BdFvEYSYSGJz+IrGY4ZaRxWWBwivPTSM7aYXUji5rpZyXTMHmgpVQ1azS22WLsryTtE8zbSpa0J2gj7VWovA4PJhEkNsQ2keSNtox1VnA4nIA7gMniKybbQj05FFhjuO8RBpG+3I0cAiW9IM86SUZdvDOM+QLFzidVn5aGcZYLyyiK/8iMNYCMNF2ZC20Y4dMo43q9jV0tRex96By7asXjicU2ymaWO8zbs3xHgQs8r96Z0+Puvi3f4hmNYRmIirwV7gylaxi5lVQMjWPKblPOQwHEsURbWah6+cPVWrefjUmVS1ql/uxYiHnqslpCgwxagwrQsWjVgxi2C0Do1z1oTC3Zid4aYEXOLZ2VkDzM4AocD6zGDMzuZDhAt858S0O2UmOc4q8M4NVW0re0xXL8nzQh1IzjiM8Z2KS0jbt5fykMrIuMxSnTN1lUR86I6GAw6ney259dSigbpdYg3y7aKxwYMp7KAJezGFvWjCdqew3SZsfQpbb8KeTGFPmrCvp7CvZzZxgKHg4DgPRmxlhlGEvWiH7SJsdwJrSMYEmO3j/Pcz8w4yt+As6EXm1psF7WZuOQOq2sUWzXwvTyKRQFzoH+UYAAItMMU16A7HaWjRVh3aeYgvJ9FkzfzyCNSYJ5nS0tCu55z6C5vlwqZEY3/HbvnKe6mdjEm4ZMPlhIMf8sgHBUaKHAsPPBQwHQsPXI1RfKashweqNQ+9L58SxnTVEWyQaEjireBpFQkjxWwgcaT8kcaRKUNNlctH8YiB5846f32TT1FIT/1CeoyxDgsP/NEYOMSi9VxQjS4jczCY5PEyupTpvLozOoCLM74n6/aOJzGODgqvIQgJXGIxG5aclIeSnuZ7XgJqBMxh0SCQjGPtOPkWYhpPIGf6aGwV+ZYP9odnRQ6PB7oH0L1nLsTu2Bd9HtQdyMleMgDc23Fk9ueS2S/yfS8ZAMLTkAQcJFkaqYrR/s4rifAEHOvEKwuIuvDUrHV7nAzgAPPyhAl5VbFZ3AkdKJtyTI+nGvKUyfJ1BkORSdDP9NUL+IXQTa+K+DmPmNmGiRy1V71TYGqgNa/nKaNyUbfSYNdwtNW3Te1B2kDv3qieTOvw55BQ4fFAoQHGbUqfb8N8eJZ88ZHTEQRILD0Yg1iEpxbNNG/PQz5nIdRw1y9yaPqwdsVFkWPhga8LOPNh0TA/LVVWcUSRNRVLo7dignBzJrfCaQu5ssYRqbxXfmbAFxHmbF/H52nmMhWeD4HoLWISUS3EpjS+wpf+8w5YSEoLsfDlCLHDGva82xHHrFu7S72Ddhi23rxqnl5MYq5JSkCg6kBTaDTrXEMrM4i2IXQxjxemNneEOu4EOVoAO2uQzvDjJ43dlEmvZZmsuc68qVXtwjUoi9llm5brEuFTiUw+Xu2yueF3F2S8W56pN5O5uJvg5ZteH38kwTmx8MDhLlPkWPiCPR4gsPD6o0J/VD74SwrzsajJbieDVMm/Mx/B54fKm+BgcpQgF1DDDaY8CppB82kquBUMOUl8PDoK9PKdFADFF0tFfAWxFMs5GDHKsmzMP+7cxHwE+USb42zleIz9yYdl86Ho+Fq3/OhP/I1X/eXe3eW7L9a6Dx+7fwZ80Pm081nnRqfXudd52Hnaed7Z74Sdy86fOn/u/IX8kfyV/I383aK+/56b80mn9iP/+DdlmPmK</latexit> w → ZE ͦͷଞͷྫɿૈସతؔͳͲ ͦͷଞͷྫɿϚτϩΠυަ伹ͷରͳͲ <latexit sha1_base64="tqxg+mU1meZMIDe0JQFA1fzGZ84=">AAAhBniczRrbcty2dZPeUvUSJ3nMQzHZccfx2Kp2JduJZ9yxI9m1JpZkS5adkajIWBK7gkUSFIDVJRzmuV/R1/apb52+9jc604/pOQC4S3KJ9abtQ3eGuJ2Dg4NzBcgdZDFXemXln++9/6Mf/+SnP/vg50u/+OWvfv3htY8+fqXEWIZsPxSxkN8MqGIxT9m+5jpm32SS0WQQs9eD03WEvz5nUnGRvtRXGTtK6CjlQx5SDUPH1z6+IAFPSZBQfTIY5AfFtzDYXVnufYk/srLcX4HfnbLRJ73lFfPrdtzv+fFHv/lXEIlwnLBUhzFV6rC3kumjnErNw5gVS8FYsYyGp3TEDqGZ0oSpo9wwX5DrMBKRoZDwpJqY0eqMnCZKXSUDwEQmVROGg22ww7EefnGU8zQba5aGdqHhOCZaEJQEibhkoY6voEFDyYFXEp5QSUMN8lqqLTNIapvII4W81seQAS1ErOrDSidUXsmoPpqdXCkeAurSdfIEts5TWDSlMQGcGuJlRqWqizC/VFrydASTQW2njILSNUxHWg/cjzwzQ8oNLAUpuwhFktA0CsQpD5PoIbuE3aYgp/5RHgCFclwnWbeHA91et2/qfgUEnDTm5wHLFI9FWuTBOZVlpwUvO+EWBxvAfGVRFscBPEvGDkMRsTfxg8++ADMDrND0g+8fvAkAYYOBiUm2BXh7YBUizksaMRDH6TTOTmiRW6GoIn8TAzOxuGAyBEfJg1HEht/nAR+m4yTQJ8xMGkkxzh4EycOUkQpTBLhS0xHoD3lRWNaR53K8JvvnwF8KhBVTk8GqBiYc07EWRV7tkOvkUfR2rDRR/DsG1gB6JrDaUBOYSALJRye6TisVMqHxhIzrEvhdJ9umQ7KSIa4M3VZmzkFqqRZJcdg7yq8vERKUI3kwMOLBQRiG0GE18tsHX7ohFEcQSBbTSzeiQpx6ylKVd3uFIccMEWgXreufggOABrG6HaTjOI4gqCUcdQiGz4yrdHv3yRY4qyAYQ3Cgf5/sARjFdMMoUmQsvWXjGfBzi4BzWaOKhWKf45TV+2Tdrm2iTlUZrYw5i9so2SkOV52AKsiwyXKYkJpbuqHN4Z6Wj8/yLrhVt1/UbMAMWDwC/NkWoMzMscqto/ehW86YDpZzHKSoMSbAFgxfRhlOrntocDeqbIEY7YLQGPARlF+ZEtojK1jojz53apjIZyJjiGmpXvKJceq3YN3OdVF5dheTbm6sfxqDJkbZXS2qpmNdY9ma1yJLpsJZ3H+y8A9ZLOFRBFkwL22ysg707DLLta20rWipTNn5wXu2BFIBnjmPmwr5HOyn5p0LrWN4cvSN01VWMP1Fd2wIGRNedNWaShdZ27ve/8gnnmHgjjyOAb21+2QXV63gtEUgE7+LwzUXdipGjHEH1YQbQJgNHjWhWJQ1h/J/uTWnt7YNWtAC26wizmx2BxggzoUIHxKlqZQsKhPIfyOK1TZRrLnBcCqPO5C57Po1zLulmCqo91pEt80uNtwRe71NhBdcn5SBRiXmV9SEWRF0KUmXLlBekGq+grMro+nLJ0aGvqjRiGmG0p0itzK/WxTduyav5N17VfnP5OxW65lrL87zn0+PMtM83CIc3IPaqZ+0knLHNZnkJp2aB2XiLGxx66nvzWcObbq/s6CeZ7f+GrS9VdV24RdEv0UQYiKJzeErGo8Zah1VWB4gvPbQMLabXkjh5LpaynXNHGgqVA1ZzS61WbooyztF8zTTpq4J2Qn6VGstAoPLh0kMsQ2leSBtox1XnQ0kIg/gMniKyLbRjkxHFhnuOMZDpG20I0cDi2xJM8yTUpZtD+M8Q7Jwiddl5aOdZYDxyiK+8iMOYyEMF2VD2kY7dsg43qxiV0tTex17By7bsnrhcE6xmaaN8Tbv3hDjQcwq96d3+visi3f7h2BaR2AirgZ7gStbxS5mVgEhW/OYlvOQw3AsURTVah6+cvZUrebhU2dS1ap+uRcjHnqulpCiwBSjwrQuWDRixSyC0To0zlkTCndjdoabEnCJZ2dnDTA7A4QC6zODMTubDxEu8J0T0+6UmeQ4q8A7N1S1rewxXb0kzwt1IDnjMMZ3Ki4hbd9eykMqI+MyS3XO1FUS8aE7Gg44nO615NZTiwbqdok1yLeLxgYPprCDJuzFFPaiCdudwnabsPUpbL0JezKFPWnCvp7Cvp7ZxAGGgoPjPBixlRlGEfaiHbaLsN0JrCEZE2C2j/Pfz8w7yNyCs6AXmVtvFrSbueUMqGoXWzTzvTyJRAJxoX+UYwAItMAU16A7HKehRVt1aOchvpxEkzXzyyNQY55kSktDu55z6i9slgubEo39HbvlK++ldjIm4ZINlxMOfsgjHxQYKXIsPPBQwHQsPHA1RvGZsh4eqNY89L58ShjTVUewQaIhibeCp1UkjBSzgcSR8kcaR6YMNVUuH8UjBp476/z1TT5FIT31C+kxxjosPPBHY+AQi9ZzQTW6jMzBYJLHy+hSpvPqzugALs74nqzbO57EODoovIYgJHCJxWxYclIeSnqa73kJqBEwh0WDQDKOtePkW4hpPIGc6aOxVeRbPtgfnhU5PB7oHkD3nrkQu2Nf9HlQdyAne8kAcG/HkdmfS2a/yPe9ZAAIT0MScJBkaaQqRvs7ryTCE3CsE68sIOrCU7PW7XEygAPMyxMm5FXFZnEndKBsyjE9nmrIUybL1xkMRSZBP9NXL+AXQje9KuLnPGJmGyZy1F71ToGpgda8nqeMykXdSoNdw9FW3za1B2kDvXujejKtw59DQoXHA4UGGLcpfb4N8+FZ8sVHTkcQILH0YAxiEZ5aNNO8PQ/5nIVQw12/yKHpw9oVF0WOhQe+LuDMh0XD/LRUWcURRdZULI3eignCzZncCqct5MoaR6TyXvmZAV9EmLN9HZ+nmctUeD4EoreISUS1EJvS+Apf+s87YCEpLcTClyPEDmvY825HHLNu7S71Dtph2Hrzqnl6MYm5JikBgaoDTaHRrHMNrcwg2obQxTxemNrcEeq4E+RoAeysQTrDj580dlMmvZZlsuY686ZWtQvXoCxml21arkuETyUy+Xi1y+aG312Q8W55pt5M5uJugpdven38kQTnxMIDh7tMkWPhC/Z4gMDC648K/VH54C8pzMeiJrudDFIl/858BJ8fKm+Cg8lRglxADTeY8ihoBs2nqeBWMOQk8fHoKNDLd1IAFF8sFfEVxFIs52DEKMuyMf+4cxPzEeQTbY6zleMx9icfls2HouNr3fKjP/E3XvWXe3eX775Y6z587P4Z8EHn085nnRudXude52Hnaed5Z78Tdi47f+r8ufMX8kfyV/I38neL+v57bs4nndqP/OPfnMr5sw==</latexit> w → ZnɿลॏΈ <latexit sha1_base64="I4jDq4sZ7GC/3LKs75M7O7lGZhE=">AAAhRXiczRldc9y28ZJ+peqX0z52OsXkxhnbtVXdSbYTz6hjR7JrTSzLkiwntajKOBJ3B4skKACnj3CYv9Wf0N/Qmfa1fepbp6/tLgDekTzirLR9KGeIr13sLhb7AZCDLOZKr6z86b33v/Xt73z3ex98f+kHP/zRj39y7cOfvlJiIkN2EIpYyC8HVLGYp+xAcx2zLzPJaDKI2ReDkw2Ef3HGpOIifakvM3aU0FHKhzykGoaOr+0Ob1zcJOskGLART/MQSKliiZBATZLjnJGAp+QwPSrI+TEjF/CSIADwx7b6FYCH+pIsBSyN3OTja92V5d6n+JCV5f4KPHfLRp/0llfM0324drPzi6D3uxfHH/7yz0EkwknCUh3GVKnD3kqmj3IqNQ9jViwFE8UyGp7QETuEZkoTpo5ys/aCXIeRiAyFhDfVxIxWZ+Q0UeoyGQBmQvVYNWE42AY7nOjhJ0c5T7OJZmloGQ0nMdGCoCJJxCULdXwJDRpKDrKScEwlDTWoe6nGZpDUFpFHCmWtj6EAWohY1YeVTqi8lFF9NBtfKh4C6tJ18gSWzlNgmtKYAE4N8SKjUtVVmF8oLXk6gslBQk8YBZvRMB1prbuHPDNDyg0sBSk7D0WS0DQKxAkPk+ghu4DVpqCn/lEeAIVyXCdZt4cD3V63b+p+BQSSNObnAcsUj0Va5MEZlWWnBS8bc4uDDRC+wpTFcQAvLkiPQxGxN/H6R5+AmQFWaPrB1+tvAkDYZGBikm0D3j5YhYjzkkYMxHE6jbMxLXKrFFXkb2IQJhbnTKJ958EoYsOv84AP00kS6DEzk0ZSTLL1IHmYgsvMhCIglZqNQH/Ii8KKjjKX4zXdvwD5UiAMzjQdrO7AVGI60aLIqx1ynTyK3k6UJop/xcAaYJ8JcBtqAhNJIPlorOu0UiETGk/JuC6B5zp5bjokKwXiytBtFeYMtJZqkRSHvaP8OkaQciQPBkY9OAjDEHnsjny8/qkbQnUEgWQxvXAjKsSpJyxVebdXGHLMEIF20cr/BBwAdhCrO0E6ieMIYmLCcQ/B8JlxlW7vAdkGZxUEYwgO9B+QfQCjmm6YjRQZS28T0wR5bhNwLmtUsVDsJk5ZfUA2LG8Tdaqb0SqYs7jNUpzicNUpqIIMiyyHCam5pRvaGu5r+fg074JbdftFzQbMgMUjIJ9tAcrcHLu5dfQ+dMsZs8FyjoMUNcEE2IKRy2yG0+s+GtyNqligRssQGgM+gvIzU0J7ZBUL/dFNtw1T/Ux1DDEt1Us+Nc78FqzbuS5unl3FtJsb65/FoKlRdleLqulY11i25nUVlqlwFvefMP4mzBIeRZAF89ImK3ygZ9ks15bSxtFSmYnzjddsCaQCPHORNBXyOdhPzTuvxMfI5Ogbp6twMP2rrtgQMiZ8Va61Lb0Kby+//5FPPMPAHXkcA3prD8gecq3gtEUgE7+LwzUXdipGjHEHtwkXgDAbPGpKsShrDuX/cmlu39oWaEFXWGYVcW6xOyAAcS5E+JAoTaVkUZlA/htVrLapYs0NhjN93IXMZfnXMO+Vaqqg3m9R3XN2vumO2BttKjznelwGGpWYp6gps6LoUpMuXaC+INV8BmdXRtOXT4wOfVGjEdMMpbtFbnV+ryi690xeybv3q/qfy9mt1rPQXpznv5gdZWZ5uEU5uAa1Uz9pJeWKazrJTTo1L+rEWdjVrae+Np85tO393Svu8/zSv4Dd3q7uduFXRL9FEWKqia3hKxpPGO46bmF5gPDaQ8PYbnkhhdPraqnXNXOgqVA1ZDW70IZ1UZZ3i+Zppm27pmSn6LNda1EYXD5MYohtKM0DaRvtuOp0IBF5AJfBE0S2jXZkOrLIcMcxHiJtox05GlhkS5phnpSybHsE5xmSPWNSl5WPdpYBxiuL+MqPOIyFMFKUDWkb7dgh43izil0tTe117B24bMvqhcM5xVaaNsbbvHtTTAYxq9yf3unj8y7e7R+CaR2Bibga7AWubBW7mOMCSrbmMSsXIYfhRKIqqtUifOXsqVotwqfOpKpV/XIvRjz0XC0hRYEpRoVpnbNoxIp5BLPr0DhjTSjcjdkpLkrAJZ6dnjbA7BQQCqxPDcb8bD5EuMBPVky7U2aS46wC79xQ1Zayz3T1krwo1IHmjMMY36m4hLR9eykPqYyMyyzVJVOXScSH7mg44HC615JbTy0aqM9LrEH+vGgs8PUM9roJ253BdpuwvRlsrwnbmME2mrAnM9iTJuzzGezzuUW8xlDw+jgPRmxlTlCE7bbD9hC2N4U1NGMCzPPj/Ddz815njuE8aDdz/OZBe5ljZ0BVu9imme/jSSQSiAv9oxwDQKAFprgG3eEkDS3aqkM7C/HjJJqsmV8egRrzJFNaGtr1nFP/YLNc2JRo7O/Ysa98l9rJmIRLNlxOOPghj3xQEKTIsfDAQwHTsfDA1QTVZ8p6eKBa89D78SlhTFcdwQaJhibeCp5WkTBSzAcSR8ofaRyZMtRUpXwUjxh47rzz1xf5FJX01K+kxxjrsPDAH01AQixazwXV6DIyB4NpHi+jS5nOqyujA7g443eybu94GuPooPAagpAgJRbzYclpeSjpSb7vJaBGIBwWDQLJJNZOkt9DTOMJ5Ewfje0i3/bBfvusyOH1QPcBuv/Mhdgd+6HPg7oDOdlLBoD7O47MwUIyB0V+4CUDQHgbmoCDJEsjVTHaX3s1EY7BscZeXUDUhbdmrc8nyQAOMC/HTMjLis3iSuhA2ZRjejzVkKdMlq8LGIpMwv7MPr2AXwjd9KqIn/GImWWYyFH71DsDpgZa83qeMiqv6lYa7BqOtvqOqT1Im+jdm9WTaR3+AhIqvB4oNMC4TenzbZgP75IvPnI6ggCJpQdjEIvwxKKZ5p1FyGcshBru+kUOTR/Wnjgvciw88A0BZz4sGuanpcoqjiiy5sbS6K2YItyay61w2kKprHFEKu+VvxnwQ4Q529fxeZq5TIXnQyB6m5hEVAuxKY0v8aP/ogMWktJCXPlyhNhhDXvR7Yhj1q3dpd5BOwxbb141Ty+mMdckJSBQdaAZNJp3rqHVGUTbELqYxwtTmztCHXeKHF0BO2uQzvDnJ43dlGmvhU3W5LNoanV34RqUxeyibZfrGuEzjUx/Xu2xheF3D3S8V56pt5KFuFvg5VteH38kwTmx8MDhLlPkWPiCPR4gsPD6o0J/VD74SwrzsajpbieDVMm/Mv/QF4fKW+BgcpSgFFDDDaY8CppB82squB0MOUl8MjoK9OKdFADFF0tFfAmxFMsFGDHqsmwsPu7cwnwE+USb42zleIz96Y9l86Po+Fq3/OlP/I1X/eXeveV7uyvdh4879vmg8/POR50bnV7nfudh52nnReegE3b+0PlL56+dv5E/kr+Tf5B/WtT333NzftapPeRf/wbdKhEc</latexit> f(x) = e→[n] wexe +→ <latexit sha1_base64="JWzjQ9t/6Ibo0T7Ly/K44+Szfs8=">AAAhBniczRnLctzGce28HOZlO0cfMuUtpWSVxHCXetiqUkoyKUUsi6REipJLBE3NArO7IwIYcGaWD6Pgc74i1+SUWyqHXPwVqUpVfiP3dM8MdgEsZrVOcgiqMK/u6e7p6ccMMMhirvTa2j/eefd73//BD3/03o9XfvLTn/38F+9/8OELJSYyZAehiIX8ckAVi3nKDjTXMfsyk4wmg5i9HJxsIPzlGZOKi/S5vszYUUJHKR/ykGoYOn7/wwsS8JQEiul87TrpFV/BYHdttfcZPmRttb8Gz62y0Se91TXzdO+Tb//+r82/ffT0+INf/TOIRDhJWKrDmCp12FvL9FFOpeZhzIqVYKJYRsMTOmKH0ExpwtRRboQvyBUYichQSHhTTcxodUZOE6UukwFgJlSPVROGg22ww4kefnqU8zSbaJaGltFwEhMtCGqCRFyyUMeX0KCh5CArCcdU0lCDvlZqbAZJbRF5pFDW+hgKoIWIVX1Y6YTKSxnVR7PxpeIhoK5cIY9g6TwFpimNCeDUEC8yKlVdhfmF0pKnI5gcJPSEUdh0DdOR1j33kCdmSLmBlSBl56FIEppGgTjhYRLdZxew2hT01D/KA6BQjusk6/ZwoNvr9k3dr4BAksb8PGCZ4rFIizw4o7LstOBlY25xsAHCV5iyOA7gxQXpcSgi9jq+9/GnYGaAFZp+8M291wEgbDIwMcm2AW8frELEeUkjBuI4ncbZmBa5VYoq8tcxCBOLcyZDcJQ8GEVs+E0e8GE6SQI9ZmbSSIpJdi9I7qeMVIQiIJWajUB/yIvCio4yl+M13T8F+VIgrJiaDlZ3YCoxnWhR5NUOuUIeRG8mShPFv2ZgDbDPBLgNNYGJJJB8NNZ1WqmQCY2nZFyXwHOF7JgOyUqBuDJ0W4U5A62lWiTFYe8ov7JCSFCO5MHAqAcHYRhCh92RX9/7zA2hOoJAspheuBEV4tQTlqq82ysMOWaIQLto5X8CDgA7iNWNIJ3EcQRBLeG4h2D4zLhKt3eXbIOzCoIxBAf6d8k+gFFNV81Gioyl14lpgjzXCTiXNapYKPYJTlm/SzYsbxN1qpvRKpizuM1SnOJw3SmoggyLLIcJqbmlG9oa7mv58DTvglt1+0XNBsyAxSMgn20Bytwcu7l19D50yxmzwXKOgxQ1wQTYgpHLbIbT6z4a3NWqWKBGyxAaAz6C8nNTQntkFQv90SduG6b6meoYYlqqV3xqnPktWLdzXdw8u4ppNzfWP4tBU6PsrhdV07GusWrNaxmWqXAW958w/i7MEh5FkAXz0iYrfKBn2azWltLG0VKZifOd12wJpAI8c5E0FfI52E/NO5fiY2Ry9I3TVTiY/rIrNoSMCS/Ltbaly/D28vsf+cQTDNyRxzGgd/Mu2UOuFZy2CGTid3F404WdihFj3MFtwgUgzAaPmlIsyk2H8n+5NLdvbQu0oCWWWUWcW+wuCECcCxE+JEpTKVlUJpD/RhXrbaq46QbDmT5uQeay/GuYt0s1VVDvtKhuh51vuiP2RpsKz7kel4FGJeYpasqsKLrUpEsXqC9INZ/D2ZXR9Pkjo0Nf1GjENEPpVpFbnd8uiu5tk1fy7p2q/udydqv1LLQX5/lPZ0eZWR5uUQ6uQe3WT1pJueKaTnKTTs2LOnEWtrz11NfmM4e2vb+15D7PL/0l7PZ2dbcLvyL6LYoQU01sDV/QeMJw13ELywOE1x4axnbNCymcXtdLvd40B5oKVUNWswttWBdleatonmbatmtKdoo+27UWhcHlwySG2IbSPJC20Y6rTgcSkQdwGTxBZNtoR6Yjiwx3HOMh0jbakaOBRbakGeZJKcu2R3CeIVm4xOuy8tHOMsB4YRFf+BGHsRBGirIhbaMdO2Qcb1axq6WpvY69C5dtWb1wOKfYStPGeJt3b4rJIGaV+9NbfXzexbv9QzCtIzARV4O9wJWtYhdzXEDJ1jxm5SLkMJxIVEW1WoSvnD1Vq0X41JlUtapf7sWIh56rJaQoMMWoMK1zFo1YMY9gdh0aZ6wJhbsxO8VFCbjEs9PTBpidAkKB9anBmJ/NhwgX+M2JaXfKTHKcVeCdG6raUvaZrl6SF4W6HD9SlW5ZcQlp+/ZSHlIZGZdZqUumLpOID93RcMDhdK8lt55aNFB3SqxBvlM0FvhqBnvVhD2bwZ41YXsz2F4TtjGDbTRhj2awR03YFzPYF3OLeIWh4NVxHozY2pygCHvWDttD2N4U1tCMCTA7x/lv5+a9yhzDedCzzPGbB+1ljp0BVe1im2a+jyeRSCAu9I9yDACBFpjiGnSHkzS0aOsO7SzEj5NosmZ+eQRqzJNMaWlo13NO/YPNamFTorG/Y8e+8l1qN2MSLtlwOeHghzzyQUGQIsfCAw8FTMfCA1cTVJ8p6+GBas1D78enhDFddQQbJBqaeCN4WkXCSDEfSBwpf6RxZMpQU5XyQTxi4Lnzzl9f5GNU0mO/kh5irMPCA38wAQmxaD0XVKPLyBwMpnm8jC5lOq+ujA7g4ozfybq942mMo4PCawhCgpRYzIclp+WhpCf5vpeAGoFwWDQIJJNYO0m+gpjGE8iZPhrbRb7tg/3uSZHD64HuA3T/iQuxu/ZDnwd1F3KylwwA93cdmYOFZA6K/MBLBoDwNjQBB0mWRqpitL/xaiIcg2ONvbqAqAtvzVp3JskADjDPx0zIy4rN4kroQNmUY3o81ZCnTJavCxiKTML+zD69gF8I3fSqiJ/xiJllmMhR+9Q7A6YGWvN6njIql3UrDXYNR1t9w9QepE307s3qybQOfwoJFV4PFBpg3Kb0+TbMh3fFFx85HUGAxNKDMYhFeGLRTPPGIuQzFkINd/0ih6YPa0+cFzkWHviGgDMfFg3z01JlFUcUWXNjafRGTBGuzeVWOG2hVNY4IpX3yt8M+CHCnO3r+DzNXKbC8yEQvU5MIqqF2JTGl/jRf9EBC0lpIZa+HCF2WMNedDvimHVrd6m30A7D1ptXzdOLacw1SQkIVB1oBo3mnWtodQbRNoQu5vHC1OaOUMedIkdLYGcN0hn+/KSxmzLttbDJmnwWTa3uLlyDsphdtO1yXSN8ppHpz6s9tjD87oGO98oz9VayEHcLvHzL6+MPJDgnFh443GWKHAtfsMcDBBZef1Toj8oHf05hPhY13e1mkCr51+Yn+OJQeQ0cTI4SlAJquMGUR0EzaH5NBdeDISeJT0ZHgV68lQKg+GKpiC8hlmK5ACNGXZaNxceda5iPIJ9oc5ytHI+xP/2xbH4UHb/fLX/6E3/jRX+1d3v19rO17v2HHfu81/mo83HnaqfXudO533ncedo56ISdi84fOn/s/In8nvyZ/IX81aK++46b88tO7SHf/hua//zm</latexit> x → {0, 1}n <latexit sha1_base64="Tc+LCZAHsYwbYmPbLqIkO4cWsdk=">AAAhYHiczRnbbty4dZLeUveySfvWPpTZiYskSFzPOJfdAC6StZPG2PgSO06ysVyHI3FmGEuiTHF8WUFboF/SflGBvhXoU7+ijz2HpGYkjTiZ3fahAsTbOTw8PFdS6iUhT9Xy8j8uXf7e93/wwx9d+fHCT376s59/cvXaL16nYiR9tu+LUMi3PZqykMdsX3EVsreJZDTqhexN73gN4W9OmUy5iF+pi4QdRnQQ8z73qYKho6vhzbd3yFfE4zHxIqqGPg2zZznxXoh4IPlgqKiU4ox4ip2r7MZb4qWjXsoUOyFf3SBCEjOU1Id8mgDVVeKdUhkLNeTx4EZ+6+hqe3mp8zk+ZHmpuwzP/aLRJZ2lZf20Hy8e//lPf/3L33aOrv3mn14g/FHEYuWHNE0POsuJOsyoVNwPWb7gjVKWUP+YDtgBNGMasfQw02LJySKMBKQPLPVFrIgeLc/IaJSmF1EPMHHraR2Gg02wg5Hqf3aY8TgZKRb7ZqH+KCRKEJQxCbhkvgovoEF9yYFX4g+ppL4CTSxUlulFlU1kQYq8VseQASVEmFaHUxVReSGD6mgyvEi5D6gLi+QZbJ3HsGhMQwI4FcTzhMq0KsLsPFUSVAWTwRiOGQVzUjAdaa3ah7zQQ6kdWPBiduaLKKJx4Ilj7kfBY3YOu41BTt3DzAMKxbiKknYHB9qddlfX3RIIOKnNzzyWpDwUcZ6hHRWdBrxkyA0ONoD50qIsDD14F4x1i4C9D1c//QzMDLB83fe+WX3vAcI6AxOTbBPw9sAqRJgVNEIgjtNpmAxpnhmhpHn2PgRmQnHGpA8umHmDgPW/yTzej0eRp4ZMTxpIMUpWvehxzEiJKQJcpZMR6Pd5nhvWkedivCL7HeAvBsIpS8eDZQ2MOaYjJfKs3CGL5EnwYZQqkvKvGVgD6JnAan1FYCLxtLNXacVCRjQck7FdAs8i2dIdkhQM8VTTbWTmFKQWKxHlB53DbHGBQFSwI5nX0+LBQYJRQxmN/Hb1czuE4vA8yUJ6bkdSH6ceszjN2p1ck2OaCLTzxvWPwQFAg1jd9eJRGAYQLiOOOgTDZ9pV2p1HZBOcVRCMITjQfUT2AIxiuqkVKRIW3zFREvi5g6HOGFUoUnYLp6w8ImtmbR11yspoZMxa3HrBTn6wYgVUQoZNFsOEVNzSDm3095R8epK1wa3a3bxiA3rA4BHgz7QAZWqOUW4VvQvdYsZksJhjIXmFMQj1hi+tDCvXPTS4m2W2QIxmQWj0+ADKL3QJ7YERLPQHt6waxvIZyxhiWqwWXGKc+C1Yt3VdVJ7ZxbibaeufxKCxUbZX8rLpGNdYMuY1z5KxsBb3XRb+NotFPAggC2aFTZbWgZ5ZZqmylaYVDZUJO996z4ZALMAzZ3FTIp+B/VS8c651NE+Wvna60gq6P++ONSFtwvOuWlHpPGs71/sf+cQLDNyBwzGgd+8R2cVVSzhNEUjH7/zgng07JSPGuINqwg0gzASPilAMyj2L8n+5Nau3pg0a0BzbLCNObXYbGCDWhQjvkxQPzCwoEsh/I4qVJlHcs4P+RB73IXOZ9SuYDwoxlVAfNohui52t2yP2WpMIz7gaFoEmjfSTV4RZEnQhSZsuUF6Qar6Asyuj8atnWoauqFGLaZrS/TwzMn+Q5+0HOq9k7Ydl+U/l7EbrmWkv1vN3JkeZSR5uEA7uId2unrSiYscVmWQ6neoXZWItbH7rqe7NZQ5Nur8/p56nt/4GtL1Z1nbuFkS3QRBiLImN/msajhhqHVVYHCCc9lAztttOSG7lulLI9Z4+0JSoarL6xopL50V5P6+fZprUNSY7Rp9orUFgcPnQiSE0oTTzpGk046YnPYnIPbgMHiOyaTQj04FBhjuO9hBpGs3IQc8gG9IM86SURdvBOE+Q7CmTqqhctJMEMF4bxNduxH4ohOaiaEjTaMb2GcebVWhrqWunY2/DZVuWLxzWKTbiuDbe5N3rYtQLWen+9FEfn3bxdvcATOsQTMTWYC9wZSvZxdQqIGRjHpNyFrLvjySKolzNwk+tPZWrWfjUmlS5ql7uxYD7jqslpCgwxSDXrTMWDFg+jaC1Do1TVofC3Zid4KYEXOLZyUkNzE4AIcf6RGNMz+Z9hAv8msWUPWVGGc7K8c4NVWUre0yVL8mzQh1ITjuM9p2SS0jTN5dyn8pAu8xClbP0Igp43x4NexxO90py46l5DXWrwOplW3ltg+8msHd12MsJ7GUdtjuB7dZhaxPYWh32bAJ7Vod9OYF9ObWJdxgK3h1l3oAtTzGKsJfNsF2E7Y5hNcnoALN1lP1+at67xC44DXqZ2PWmQbuJXU6DynaxSRPXx5NARBAXuocZBgBPCUxxNbr9UewbtBWLdurjx0k0WT2/OALV5kmWKqlpV3NO9YPNUm5Sora/I7t86bvUdsIkXLLhcsLBD3ngggIjeYaFA+4LmI6FA56OUHy6rIYHqhT3nR+fIsZU2RFMkKhJ4oPgcRkJI8V0ILGk3JHGkilCTZnLJ+GAgedOO391k89RSM/dQnqKsQ4LB/zJCDjEovFcUI4uA30wGOfxIroU6by8M9qDizN+J2t3jsYxjvZypyEICVxiMR2WrJT7kh5ne04C6QCYw6JGIBqFynLyR4hpPIKc6aKxmWebLtgfXuQZvA7oHkD3XtgQu20+9DlQtyEnO8kAcG/bktmfSWY/z/adZAAIb00ScJBkcZCWjPZ3Tkn4Q3CsoVMWEHXhrVjr1ijqwQHm1ZAJeVGyWdwJ7aUm5egejxXkKZ3lqwz6IpGgn8mnF/ALoepeFfBTHjC9DR05Kp96J8BYQytez2NG5bxupcCu4Wir7uragbSO3r1ePplW4TuQUOF1QKEBxq1Ll2/DfHgXXPGR0wEESCwdGL1Q+McGTTfvzkI+ZT7UcNfPM2i6sHbFWZ5h4YCvCTjzYVEzPyXTpOSIIqkrlgYfxBjh9lRuhdMWcmWMI0izTvGbAT9E6LN9FZ/Hic1UeD4EoneITkSVEBvT8AI/+s86YCEpJcTclyPE9ivYs25HHLNu5S71Edq+33jzqnh6Po65OikBgbIDTaDBtHP1jcwg2vrQxTye61rfEaq4Y+RgDuykRjrBn580tFPGvYZlkvo6s6aWtQvXoCRk501arkqETyQy/nm1y2aG312Q8W5xpt6IZuJugJdvOH38iQTnxMIBh7tMnmHhCvZ4gMDC6Y8p+mPqgr+iMB+Liuy2E0iV/Gv9e312qLwNDiYHEXIBNdxgiqOgHtS/prw7Xp+TyMWjpUDPP0oBUFyxVIQXEEuxnIERoiyLxuzjzm3MR5BPlD7Olo7H2B//WNY/io6utouf/sTdeN1d6jxYevByuf34acs8V1q/bn3autnqtB62Hreet3Za+y2/9ffWvy9dunSZ/Ov6leufXL9mUC9fsnN+2ao813/1H+c3GU4=</latexit> (X, Y → F =↑ X ↓ Y or X ↔ Y or X ↗ Y = ⊋) ࢄತؔͷ