x) = g · f(x) <latexit sha1_base64="lS0k9uBbvw0LpIjQ69EQpu97kAw=">AAAE03icjVNdb9MwFPW2AqN8rINHXq6oKm1SKU01aTwwNIEmeBwS7SY1VeU4TmvVcYLtsFZZeEC88iv4NbzCE/8GO2lpm4I0S4muz/U9596T2Is5U7rd/r21vVO5dfvO7t3qvfsPHu7V9h/1VJRIQrsk4pG89LCinAna1UxzehlLikOP0wtv8sbmLz5RqVgkPuhZTAchHgkWMIK1gYa1EzeIJOYcRuAyAW+bsACmOXDZhODA5IgfaZgewgksNsHB9HBYq7db7XzBZuDMgzqar/Ph/s5n149IElKhCcdK9Z12rAcplpoRTrOqmygaYzLBI9o3ocAhVYM0nzODhkF8MP2ZR2jI0dWKFIdKzULPnAyxHqtyzoL/zHlhSVkHLwYpE3GiqSCFcJBw0BFYE8FnkhLNZybARDLTO5AxlphoY3XVFfSKRGGIhZ+6PguCrN8ZpG5g8qkPdSez706WATQi6TOBpSUKAiqNKwzzdYK4xODG1izMc6LlxvCt1zHxt9CKwnPIVY0oE8/s7wI3EDcWLOWXwoZsVXmFc4H+nzIRTGd9x/CBa7+EDNN+3RnkdtgcXDE9BvUxwZKCZyaeUF3yFOuiIU4D3bLtuJKNxvp6mG7a4FNu/C6BXeOcF6bd8uFegfcM3oC1DC0ydNPlWEbLbl6abprGknlHr8r8WBajzwe3+7zOTZdjuGWNs7WasxtUYE8VNfbk9YpDmbmxTvl+bga9Tss5ah2/P6qfvp7f3V30BD1FB8hBx+gUvUPnqIsI+o5+oJ/oV6VbSStfKl+Lo9tb85rHaG1Vvv0B9vafEA==</latexit> ¥ ؔG9ˠ:͕܈(ͷ࡞༻ʹରͯ͠ಉมʢFRVJWBSJBOUʣͰ͋Δ <latexit sha1_base64="5ZYyyFqCOKeG/NzVXEbOAjqJ7pg=">AAA1PHiclVvLchzLcYVk2ZYg2b6yl9pUXJCSbIMwQNIhLRSKizdADN5vcngZPd05PU30i101DYCj8Vf4e/QF+gHtvVNo44U39sJZVV2TWT0NXhsRBDrPqcqux8nKnJ7moEwTqVZX//i97//FD/7yr/76hz9a/PFP/uZv/+6rn/79lSzGVQiXYZEW1c0gkJAmOVyqRKVwU1YQZIMUrgd3m5q/rqGSSZFfqMcS3mdBnCfDJAwUQh++GvYHECf5RCV3n8Noungj+kH1rloWX8eiH0aF+vq9QSJEhnj9c3HD7cV+f/G2o8vPxe1iH/LI+f3w1dLqyqr5EfMXa83F0jdf9//53//4zePJh5+++n0/KsJxBrkK00DKd2urpXo/CSqVhClMF/tjCWUQ3gUxvMPLPMhAvp+YBZmK54hEYlhU+C9XwqC8xyTIpHzMBtgyC9RItjkNdnKDrHVnNfz1+0mSl2MFeWhvPBynQhVCr7aIkgpClT7iRRBWCY5dhKOgCkKFe+J51gvl+Z7ou6uiSOV0ruELvVX9HO7DIssCXOZ+lAyH03cv30/6Q/Q+icTS2lT/fjmdCvG8qKIkDyo9jOEQKlzTJEh9B2XLQ7/USx2kxhEZ6M/vl+Szjvqm4l+EuSveNMlfaFWK/8PNcQHp9nRjdMbvzHw69GmX4zxR03dr6E/09UpW2eTd0tp7sxyaE/eJGgn5aRxUIAY44ztQ0ncRKDugFIZqRQ+nXyXxSP3uw2R+GSJIcb1b4CWu3CCbXLYbX1n8CvHnwmPAMjC/ymVV0Gh+g6NZxiVpRvTbOT9XQWUn30xd26Znf0IT6c/ff9vrtd3dx1+kgbR9dMvfsVWaLi4uPtc/4mj7WhyuX+yJre2d/aP9i/3jo3NhqMWuwFvGvzps5bKONhzhYVDdCYlxhCeWFMVQhEFpr3WEV4AKqJI81kEXJXUiXbNhEo8raG0qgnqk0wkudiZ+2cPrf2zPCduEqCmoXKtNY3W1M3N1zc600dVKFaVrc1GUXS0GhVJF5hptGGuuXTPvwDULnmoxcC0GT7UIXYvwqRaRaxHpFrgNezi7VM9QBALb60MNhhiMkcC1yXwfeK1BowxU9FCfIkYQYsdsit01PDJhWaTFPVQvQkxiK4sYR0OzrDBcWpvYDfy3PloT46CrOw43UUG6InZQDFLhwaD3XuodQ9563HEed9oeDa3uC3fPpZfNXaVwjQTOqDFeuh54bETUZenV0uu5bsuzPu7qFXf12kzn3Kr6i8uByreDb0LAW48OB25BbO9z1/u8o/eZ62US1n0xi7KV2cLYu0uzMrMYfGJp2g5HFUDbJfO39GreI60a8/1q3neQC8BN0J07lgw+2Tm7Jk9P2vMzLkuohPZj3Ww3bra73KyLKrindW85e/HiRVAXSSTGUh9NyVCUhZQJlmXWdZkGGDqN/6dHp6uFEiOpY46asd2bNv/vSTaONmeONr/TEc45j8GcwbattD4MPBsRSsXRztWLF0/KBEcXpHGB1dEo65gncnZ0s0ZfnChzNTfTdedqvcOVE7y7H05i5uvLh8GF12n9OzvNLaquZpqZM/Vp1A5XX31pU2z/tnpPZv1P/P5uprMb4Kj19ZMDbgQHSarFmuoLm+j1VeNvmBZFZWhzZXlz2TRYM5XNWjvbqAoDYWpLjjBIJ1vtBnWQJhFv8GFWn1hqOucSpOruYJjpbEZQSp3jSpmkRd7kpzN0UWSiDqokwGh1+gYVTLTnB5UXVYZen/URejZ1y1m16ICYgc8MiAl9JiQm8pmIGPAZIGboM0NiYp+JiRn5zIiYxGcSYj76zEdi7nzmjpjUZ9KpkXGViURixOIH1uhRH3Z2B5fFx7FUIiryXyihP9ihHB/1yeNtjMga37nvO6e7Fj5TEFP6TEnMJ5/5REzlMxUx0mckMcpnFDFjnxkTU/tMTcy9z9wT8+AzD8Q8+swjMZ995vPUlnkuADAzF7PjvW6CZGJDaTBkYTMbtxrZKHEtjM14xnF4QDCLjTokmAVGHRHMoqIGgllI1EOCWTzUMcEsGOoRwSwS6jHBLAzqjwSzGKjvCGYBUKcEpwzOCM4YzBaar3BBMBNzXRLMlFx/IpjJuK4IZhquJcGSbyrBqntNuHRrgplu63uCmWjrB4KZYutHgplc688EO61up6AfEJlPe1WHbsGKrvNcBqu8zpMZrPw6z2awGuw8ncEKsfN8BqvGzhMarCQ7z2iwuuw8pZF78pwGq9DOkxqsTDvParBabZ/Wjst8LuPckycxWOl2nsVg9dt5GoMVced5DFbJnScyWDl3nslgNd15KoMVdue5DFbdnSczWIl3ns1gdd55OoMVe+f5DFbxT5/QGAtVEs4qlGyd4mOdwibbIHiDwZsEbzJ4i+AtBm8TvM3gHYJ3GLxL8C6D9wjeY/A+wfsMfkPwGwYfEHzA4B7BPQYfEnzI4COCjxh8TPAxg08IPmHwKcGnDD4j+IzB5wSfM/iC4AsGXxJ8yeArgq8YfE3wNYNvCL5h8C3Btwx+S/Dbp49XX3RgVcc0us70a6THuA3ObfrcJue2fG6Lc9s+t825HZ/b4dyuz+1ybs/n9ji373P7nHvjc284d+BzB5zr+VyPc4c+d8i5I5874tyxzx1z7sTnTjh36nOnnDvzuTPOnfvcOecufO6Cc5c+d8m5K5+74ty1z11z7sbnbjh363O3nHvrc072V7yEqD+D+RyBn11XZ33rIoeJ+zzrsGxsoX5GSWNWE2vcr4frBmbIwCJUh5gqBBGqPkztgQjVHHUzEqo0TJ2BCNUXprpAhKoKU1MgQrWEqSQQoQrC1A+IUN1gqgZEqFowtQIiKVsHi1BlYOoCRHK2fhahKsDUAIhQ7jeZHxHK+CbfI0J53mR5RCRbcItQTq+bbWGbUluE8rfJ3ohQ1jY5GxHK1SZTI0IZ2uRnRLqqUb8MrYO0HOn9Nn9nCqwHjTiMLhxIH7XoyURDpUE2iHQPe0FEkUGscfOXYCNJLUcHoENE8DdBMokz3dX8JdgJtxHtbCKTCR//RIvVWSjWkCwUasQmNbFfalkLBTokC8UZk4XCHJGFw2VjRUF+JAvFeMfWZqJFOJv5RAvQWbiYbBVRfAVbkokWnbNQdJ/IQsFVbKUmWmizBZpokTkLF5otMwqsJgvFdU8WCuuBLBTVI1koqM/T5jsvzLMPFjc5FnVGudVkVkQoo5p8igjlUZNFEaHsaXLnIGM502RMRChTmjyJCOVHkx0RoaxociIilAtNJkSEMqDJf4hQ3jNZDxHKdibXIUI5zmQ4RCizmbyGCOUzk80QoSxmchgilLtM5kKEMpbJV4hQnjJZChHKTiY32e9rHXI1cd/UOuTaIpR/TPZBhLKOyTmIUK4xmQaRt2wHKS8MeFrITkbNQdzHK7Z6LvQ102vCfza5JoY1d27j2KjoAnKp33zYgjANKkBRjdb1CYR3tMWeHCb6USnkYREleYzOgnGqETmcXWfTidRPec9BPeVgUKTRd7kZPEwxCNtPavPm22OTNxt/5il1MzVl68tcMvWrDYeR/tWmwygC1JbDKAbUtsMoCtSOwygO1K7DKBLUnsMoFtS+wyga1BuHUTyoA4dRRKiewygm1KHDKCrUkcMoLtSxwygy1InDKDbUqcMoOtSZwyg+1LnDKELUhcMoRtSlwyhK1JXDKE7UtcMoUtSNwyhW1K3DKFrUW4fZigyFvFsF5ciysfucG3ofN+INBpMu4k0GkzTiLQaTOuJtBpNA4h0Gk0biXQaTTOI9BpNS4n0Gk1jiNwwmvcQHDCbJxD0Gk2riQwaTcOIjBpN24mMGk3ziEwaTguJTBpOI4jMGk47icwaTlOILBpOa4ksGk6DiKwaTpuJrBpOs4hsGk7LiWwaTuOK3DHYV/7l590fTcvYUZcDEJTcIJW3JTUJJWnKLUKOs52LLfJMxliACIUEJvHUKkdheFgMIA42rUSLFfTFOI4TQAiHN9x5YS44roV9VK1J0pN93gYcSa0vzZa77Sn2H7kjqlLuEkjjlHqGkTblPKElTviGUlCkPCCVhyh6hpEt5SCjJUh4RSqqUx4SSKOUJoaRJeUooSVKeEUqKlOeEkiDlBaGkR3lJKMlRXhFKapTXhJIY5Q2hpEV5SyhJUb4ldPbIJce6D8xHiMA+bGmKQKAKoOcX/7o8XCcLpbpBFkp0kyyU5hZZeNhtk4Ui2iELxbNLFopmjywUyz5ZKJI3ZKE4DshCUfTIQjEckoUiOCILN/+YLNz0E7Jws0/Jwk0+Iws395ws3NQLsnAzL8nCTbwiCzfvmizctBuycLNuycJNesvu11RaTZWltwz4lilbceGRouPXvH2KQWzRZfPOYTFWAssdcY8prYTKL4iAKiKvGmpur2YaMA3nCkEw5RK06iUwBRO0KiYwJRO0aiYwRRO0qiYwZRO06iYwhRO0KicwpRO0aicwxRO0qicw5RO06icwBRS0KigwJRS0aigwRRS0qigwZRS06igwhRS0KikwpRS0aikwxRS0qikw5RS06ikwBRW0KiowJRW0aiowRRW0qiowZRW06iowhRW0KiswpRW0aiswxRW0qisw5RW06iswBRawCgs/KWDKUdUYxDiPoEof9UtLUaACEUMOFWYbbScSlT4Y69TTfnkYm04n5YdJv8omxjCJT3uFrEyqJDQv61L/2buDg0eT7sxrIPommB9bvt0bIqNA4Sd1/xZeyxPe8mTaNZisiCD90kRMg9lMrDV3n6bRyZcalSpJI2ha9o0xG/2sBx4TqghHgdQvhgdjVZhPUFB5I2y9wFraNrMxNl3mBxCB186aHe0qJPDQce2siVoIzTM0v3EalGkQwnT2Rk2vAabiuWiu/eVdbL1fPMt42+2B9CR7aafXZs+mPLe3Ts2sZGvcItNq6p67+UQF8XT2JK1NhYrmqK1kmEDVdi2LocqCB2rpgHY7TBaFeYnJPmSb91KmYz37z/pJgM8e9Kb8DaaD3twG6ne7vRe92/4V/gkq3PuqYC3P5zZgs6iJ1oYW6HWRDqsg0w+kRvdFhQWqDB6leNb79uUz/faO+U8W49y+hSpL3H9p3h571oc0ZW3cA9HnYgMTIIZ8rn89YrxDpt9i01Wwdcpa61dIi3FscqYpihMFy8a9LERUgHZ3n9wlJURJsNJ6BbmoslQ/vJ9Oet+uTjvIIgfNrXVx6t70e9nFlZopOxijhd63/SQfqsd26JSB/n8KuMsngQ6Wc8CzVgYxiCQXedEU9AoeVsTmqJB6eQpdAIYjsYWffXP4hRSDorhbWfQe5xyX+nQuqn9CjVexGQD+7S/rqy811OekbYhX3S6NWrGZ+f1EiwsU1IV+wy8F1Q8GGGdpcT+oILj78NXSWvv/98xfXL1cWfvXldXT1aVvNhbszw8Xfrbw9cIvF9YWfrXwzcLewsnC5UK48IeF/1z474X/ef371//x+k+v/2ybfv97TZ9/WPB+Xv/X/wKfEYxh</latexit> X X Y Y g· f f g· ճసߦྻ͕࡞༻͢Δ ϕΫτϧɾςϯιϧ ճసߦྻ ճసߦྻશମͷ ͳ͢ू߹ ཧݱͷੑ࣭ͷөରশੑΛهड़͢Δֶಉมੑ
x) = g · f(x) <latexit sha1_base64="lS0k9uBbvw0LpIjQ69EQpu97kAw=">AAAE03icjVNdb9MwFPW2AqN8rINHXq6oKm1SKU01aTwwNIEmeBwS7SY1VeU4TmvVcYLtsFZZeEC88iv4NbzCE/8GO2lpm4I0S4muz/U9596T2Is5U7rd/r21vVO5dfvO7t3qvfsPHu7V9h/1VJRIQrsk4pG89LCinAna1UxzehlLikOP0wtv8sbmLz5RqVgkPuhZTAchHgkWMIK1gYa1EzeIJOYcRuAyAW+bsACmOXDZhODA5IgfaZgewgksNsHB9HBYq7db7XzBZuDMgzqar/Ph/s5n149IElKhCcdK9Z12rAcplpoRTrOqmygaYzLBI9o3ocAhVYM0nzODhkF8MP2ZR2jI0dWKFIdKzULPnAyxHqtyzoL/zHlhSVkHLwYpE3GiqSCFcJBw0BFYE8FnkhLNZybARDLTO5AxlphoY3XVFfSKRGGIhZ+6PguCrN8ZpG5g8qkPdSez706WATQi6TOBpSUKAiqNKwzzdYK4xODG1izMc6LlxvCt1zHxt9CKwnPIVY0oE8/s7wI3EDcWLOWXwoZsVXmFc4H+nzIRTGd9x/CBa7+EDNN+3RnkdtgcXDE9BvUxwZKCZyaeUF3yFOuiIU4D3bLtuJKNxvp6mG7a4FNu/C6BXeOcF6bd8uFegfcM3oC1DC0ydNPlWEbLbl6abprGknlHr8r8WBajzwe3+7zOTZdjuGWNs7WasxtUYE8VNfbk9YpDmbmxTvl+bga9Tss5ah2/P6qfvp7f3V30BD1FB8hBx+gUvUPnqIsI+o5+oJ/oV6VbSStfKl+Lo9tb85rHaG1Vvv0B9vafEA==</latexit> ¥ ؔG9ˠ:͕܈(ͷ࡞༻ʹରͯ͠ಉมʢFRVJWBSJBOUʣͰ͋Δ <latexit sha1_base64="5ZYyyFqCOKeG/NzVXEbOAjqJ7pg=">AAA1PHiclVvLchzLcYVk2ZYg2b6yl9pUXJCSbIMwQNIhLRSKizdADN5vcngZPd05PU30i101DYCj8Vf4e/QF+gHtvVNo44U39sJZVV2TWT0NXhsRBDrPqcqux8nKnJ7moEwTqVZX//i97//FD/7yr/76hz9a/PFP/uZv/+6rn/79lSzGVQiXYZEW1c0gkJAmOVyqRKVwU1YQZIMUrgd3m5q/rqGSSZFfqMcS3mdBnCfDJAwUQh++GvYHECf5RCV3n8Noungj+kH1rloWX8eiH0aF+vq9QSJEhnj9c3HD7cV+f/G2o8vPxe1iH/LI+f3w1dLqyqr5EfMXa83F0jdf9//53//4zePJh5+++n0/KsJxBrkK00DKd2urpXo/CSqVhClMF/tjCWUQ3gUxvMPLPMhAvp+YBZmK54hEYlhU+C9XwqC8xyTIpHzMBtgyC9RItjkNdnKDrHVnNfz1+0mSl2MFeWhvPBynQhVCr7aIkgpClT7iRRBWCY5dhKOgCkKFe+J51gvl+Z7ou6uiSOV0ruELvVX9HO7DIssCXOZ+lAyH03cv30/6Q/Q+icTS2lT/fjmdCvG8qKIkDyo9jOEQKlzTJEh9B2XLQ7/USx2kxhEZ6M/vl+Szjvqm4l+EuSveNMlfaFWK/8PNcQHp9nRjdMbvzHw69GmX4zxR03dr6E/09UpW2eTd0tp7sxyaE/eJGgn5aRxUIAY44ztQ0ncRKDugFIZqRQ+nXyXxSP3uw2R+GSJIcb1b4CWu3CCbXLYbX1n8CvHnwmPAMjC/ymVV0Gh+g6NZxiVpRvTbOT9XQWUn30xd26Znf0IT6c/ff9vrtd3dx1+kgbR9dMvfsVWaLi4uPtc/4mj7WhyuX+yJre2d/aP9i/3jo3NhqMWuwFvGvzps5bKONhzhYVDdCYlxhCeWFMVQhEFpr3WEV4AKqJI81kEXJXUiXbNhEo8raG0qgnqk0wkudiZ+2cPrf2zPCduEqCmoXKtNY3W1M3N1zc600dVKFaVrc1GUXS0GhVJF5hptGGuuXTPvwDULnmoxcC0GT7UIXYvwqRaRaxHpFrgNezi7VM9QBALb60MNhhiMkcC1yXwfeK1BowxU9FCfIkYQYsdsit01PDJhWaTFPVQvQkxiK4sYR0OzrDBcWpvYDfy3PloT46CrOw43UUG6InZQDFLhwaD3XuodQ9563HEed9oeDa3uC3fPpZfNXaVwjQTOqDFeuh54bETUZenV0uu5bsuzPu7qFXf12kzn3Kr6i8uByreDb0LAW48OB25BbO9z1/u8o/eZ62US1n0xi7KV2cLYu0uzMrMYfGJp2g5HFUDbJfO39GreI60a8/1q3neQC8BN0J07lgw+2Tm7Jk9P2vMzLkuohPZj3Ww3bra73KyLKrindW85e/HiRVAXSSTGUh9NyVCUhZQJlmXWdZkGGDqN/6dHp6uFEiOpY46asd2bNv/vSTaONmeONr/TEc45j8GcwbattD4MPBsRSsXRztWLF0/KBEcXpHGB1dEo65gncnZ0s0ZfnChzNTfTdedqvcOVE7y7H05i5uvLh8GF12n9OzvNLaquZpqZM/Vp1A5XX31pU2z/tnpPZv1P/P5uprMb4Kj19ZMDbgQHSarFmuoLm+j1VeNvmBZFZWhzZXlz2TRYM5XNWjvbqAoDYWpLjjBIJ1vtBnWQJhFv8GFWn1hqOucSpOruYJjpbEZQSp3jSpmkRd7kpzN0UWSiDqokwGh1+gYVTLTnB5UXVYZen/URejZ1y1m16ICYgc8MiAl9JiQm8pmIGPAZIGboM0NiYp+JiRn5zIiYxGcSYj76zEdi7nzmjpjUZ9KpkXGViURixOIH1uhRH3Z2B5fFx7FUIiryXyihP9ihHB/1yeNtjMga37nvO6e7Fj5TEFP6TEnMJ5/5REzlMxUx0mckMcpnFDFjnxkTU/tMTcy9z9wT8+AzD8Q8+swjMZ995vPUlnkuADAzF7PjvW6CZGJDaTBkYTMbtxrZKHEtjM14xnF4QDCLjTokmAVGHRHMoqIGgllI1EOCWTzUMcEsGOoRwSwS6jHBLAzqjwSzGKjvCGYBUKcEpwzOCM4YzBaar3BBMBNzXRLMlFx/IpjJuK4IZhquJcGSbyrBqntNuHRrgplu63uCmWjrB4KZYutHgplc688EO61up6AfEJlPe1WHbsGKrvNcBqu8zpMZrPw6z2awGuw8ncEKsfN8BqvGzhMarCQ7z2iwuuw8pZF78pwGq9DOkxqsTDvParBabZ/Wjst8LuPckycxWOl2nsVg9dt5GoMVced5DFbJnScyWDl3nslgNd15KoMVdue5DFbdnSczWIl3ns1gdd55OoMVe+f5DFbxT5/QGAtVEs4qlGyd4mOdwibbIHiDwZsEbzJ4i+AtBm8TvM3gHYJ3GLxL8C6D9wjeY/A+wfsMfkPwGwYfEHzA4B7BPQYfEnzI4COCjxh8TPAxg08IPmHwKcGnDD4j+IzB5wSfM/iC4AsGXxJ8yeArgq8YfE3wNYNvCL5h8C3Btwx+S/Dbp49XX3RgVcc0us70a6THuA3ObfrcJue2fG6Lc9s+t825HZ/b4dyuz+1ybs/n9ji373P7nHvjc284d+BzB5zr+VyPc4c+d8i5I5874tyxzx1z7sTnTjh36nOnnDvzuTPOnfvcOecufO6Cc5c+d8m5K5+74ty1z11z7sbnbjh363O3nHvrc072V7yEqD+D+RyBn11XZ33rIoeJ+zzrsGxsoX5GSWNWE2vcr4frBmbIwCJUh5gqBBGqPkztgQjVHHUzEqo0TJ2BCNUXprpAhKoKU1MgQrWEqSQQoQrC1A+IUN1gqgZEqFowtQIiKVsHi1BlYOoCRHK2fhahKsDUAIhQ7jeZHxHK+CbfI0J53mR5RCRbcItQTq+bbWGbUluE8rfJ3ohQ1jY5GxHK1SZTI0IZ2uRnRLqqUb8MrYO0HOn9Nn9nCqwHjTiMLhxIH7XoyURDpUE2iHQPe0FEkUGscfOXYCNJLUcHoENE8DdBMokz3dX8JdgJtxHtbCKTCR//RIvVWSjWkCwUasQmNbFfalkLBTokC8UZk4XCHJGFw2VjRUF+JAvFeMfWZqJFOJv5RAvQWbiYbBVRfAVbkokWnbNQdJ/IQsFVbKUmWmizBZpokTkLF5otMwqsJgvFdU8WCuuBLBTVI1koqM/T5jsvzLMPFjc5FnVGudVkVkQoo5p8igjlUZNFEaHsaXLnIGM502RMRChTmjyJCOVHkx0RoaxociIilAtNJkSEMqDJf4hQ3jNZDxHKdibXIUI5zmQ4RCizmbyGCOUzk80QoSxmchgilLtM5kKEMpbJV4hQnjJZChHKTiY32e9rHXI1cd/UOuTaIpR/TPZBhLKOyTmIUK4xmQaRt2wHKS8MeFrITkbNQdzHK7Z6LvQ102vCfza5JoY1d27j2KjoAnKp33zYgjANKkBRjdb1CYR3tMWeHCb6USnkYREleYzOgnGqETmcXWfTidRPec9BPeVgUKTRd7kZPEwxCNtPavPm22OTNxt/5il1MzVl68tcMvWrDYeR/tWmwygC1JbDKAbUtsMoCtSOwygO1K7DKBLUnsMoFtS+wyga1BuHUTyoA4dRRKiewygm1KHDKCrUkcMoLtSxwygy1InDKDbUqcMoOtSZwyg+1LnDKELUhcMoRtSlwyhK1JXDKE7UtcMoUtSNwyhW1K3DKFrUW4fZigyFvFsF5ciysfucG3ofN+INBpMu4k0GkzTiLQaTOuJtBpNA4h0Gk0biXQaTTOI9BpNS4n0Gk1jiNwwmvcQHDCbJxD0Gk2riQwaTcOIjBpN24mMGk3ziEwaTguJTBpOI4jMGk47icwaTlOILBpOa4ksGk6DiKwaTpuJrBpOs4hsGk7LiWwaTuOK3DHYV/7l590fTcvYUZcDEJTcIJW3JTUJJWnKLUKOs52LLfJMxliACIUEJvHUKkdheFgMIA42rUSLFfTFOI4TQAiHN9x5YS44roV9VK1J0pN93gYcSa0vzZa77Sn2H7kjqlLuEkjjlHqGkTblPKElTviGUlCkPCCVhyh6hpEt5SCjJUh4RSqqUx4SSKOUJoaRJeUooSVKeEUqKlOeEkiDlBaGkR3lJKMlRXhFKapTXhJIY5Q2hpEV5SyhJUb4ldPbIJce6D8xHiMA+bGmKQKAKoOcX/7o8XCcLpbpBFkp0kyyU5hZZeNhtk4Ui2iELxbNLFopmjywUyz5ZKJI3ZKE4DshCUfTIQjEckoUiOCILN/+YLNz0E7Jws0/Jwk0+Iws395ws3NQLsnAzL8nCTbwiCzfvmizctBuycLNuycJNesvu11RaTZWltwz4lilbceGRouPXvH2KQWzRZfPOYTFWAssdcY8prYTKL4iAKiKvGmpur2YaMA3nCkEw5RK06iUwBRO0KiYwJRO0aiYwRRO0qiYwZRO06iYwhRO0KicwpRO0aicwxRO0qicw5RO06icwBRS0KigwJRS0aigwRRS0qigwZRS06igwhRS0KikwpRS0aikwxRS0qikw5RS06ikwBRW0KiowJRW0aiowRRW0qiowZRW06iowhRW0KiswpRW0aiswxRW0qisw5RW06iswBRawCgs/KWDKUdUYxDiPoEof9UtLUaACEUMOFWYbbScSlT4Y69TTfnkYm04n5YdJv8omxjCJT3uFrEyqJDQv61L/2buDg0eT7sxrIPommB9bvt0bIqNA4Sd1/xZeyxPe8mTaNZisiCD90kRMg9lMrDV3n6bRyZcalSpJI2ha9o0xG/2sBx4TqghHgdQvhgdjVZhPUFB5I2y9wFraNrMxNl3mBxCB186aHe0qJPDQce2siVoIzTM0v3EalGkQwnT2Rk2vAabiuWiu/eVdbL1fPMt42+2B9CR7aafXZs+mPLe3Ts2sZGvcItNq6p67+UQF8XT2JK1NhYrmqK1kmEDVdi2LocqCB2rpgHY7TBaFeYnJPmSb91KmYz37z/pJgM8e9Kb8DaaD3twG6ne7vRe92/4V/gkq3PuqYC3P5zZgs6iJ1oYW6HWRDqsg0w+kRvdFhQWqDB6leNb79uUz/faO+U8W49y+hSpL3H9p3h571oc0ZW3cA9HnYgMTIIZ8rn89YrxDpt9i01Wwdcpa61dIi3FscqYpihMFy8a9LERUgHZ3n9wlJURJsNJ6BbmoslQ/vJ9Oet+uTjvIIgfNrXVx6t70e9nFlZopOxijhd63/SQfqsd26JSB/n8KuMsngQ6Wc8CzVgYxiCQXedEU9AoeVsTmqJB6eQpdAIYjsYWffXP4hRSDorhbWfQe5xyX+nQuqn9CjVexGQD+7S/rqy811OekbYhX3S6NWrGZ+f1EiwsU1IV+wy8F1Q8GGGdpcT+oILj78NXSWvv/98xfXL1cWfvXldXT1aVvNhbszw8Xfrbw9cIvF9YWfrXwzcLewsnC5UK48IeF/1z474X/ef371//x+k+v/2ybfv97TZ9/WPB+Xv/X/wKfEYxh</latexit> X X Y Y g· f f g· ճసߦྻ͕࡞༻͢Δ ϕΫτϧɾςϯιϧ ճసߦྻ ճసߦྻશମͷ ͳ͢ू߹ YΛճస͔ͯ͠ΒGͰ มͨ͠ͷ ͱ YΛGͰม͔ͯ͠Β ճసͨ͠ͷ ͕͍͠ ཧݱͷੑ࣭ͷөରশੑΛهड़͢Δֶಉมੑ
x) = g · f(x) <latexit sha1_base64="lS0k9uBbvw0LpIjQ69EQpu97kAw=">AAAE03icjVNdb9MwFPW2AqN8rINHXq6oKm1SKU01aTwwNIEmeBwS7SY1VeU4TmvVcYLtsFZZeEC88iv4NbzCE/8GO2lpm4I0S4muz/U9596T2Is5U7rd/r21vVO5dfvO7t3qvfsPHu7V9h/1VJRIQrsk4pG89LCinAna1UxzehlLikOP0wtv8sbmLz5RqVgkPuhZTAchHgkWMIK1gYa1EzeIJOYcRuAyAW+bsACmOXDZhODA5IgfaZgewgksNsHB9HBYq7db7XzBZuDMgzqar/Ph/s5n149IElKhCcdK9Z12rAcplpoRTrOqmygaYzLBI9o3ocAhVYM0nzODhkF8MP2ZR2jI0dWKFIdKzULPnAyxHqtyzoL/zHlhSVkHLwYpE3GiqSCFcJBw0BFYE8FnkhLNZybARDLTO5AxlphoY3XVFfSKRGGIhZ+6PguCrN8ZpG5g8qkPdSez706WATQi6TOBpSUKAiqNKwzzdYK4xODG1izMc6LlxvCt1zHxt9CKwnPIVY0oE8/s7wI3EDcWLOWXwoZsVXmFc4H+nzIRTGd9x/CBa7+EDNN+3RnkdtgcXDE9BvUxwZKCZyaeUF3yFOuiIU4D3bLtuJKNxvp6mG7a4FNu/C6BXeOcF6bd8uFegfcM3oC1DC0ydNPlWEbLbl6abprGknlHr8r8WBajzwe3+7zOTZdjuGWNs7WasxtUYE8VNfbk9YpDmbmxTvl+bga9Tss5ah2/P6qfvp7f3V30BD1FB8hBx+gUvUPnqIsI+o5+oJ/oV6VbSStfKl+Lo9tb85rHaG1Vvv0B9vafEA==</latexit> ¥ ؔG9ˠ:͕܈(ͷ࡞༻ʹରͯ͠ಉมʢFRVJWBSJBOUʣͰ͋Δ <latexit sha1_base64="5ZYyyFqCOKeG/NzVXEbOAjqJ7pg=">AAA1PHiclVvLchzLcYVk2ZYg2b6yl9pUXJCSbIMwQNIhLRSKizdADN5vcngZPd05PU30i101DYCj8Vf4e/QF+gHtvVNo44U39sJZVV2TWT0NXhsRBDrPqcqux8nKnJ7moEwTqVZX//i97//FD/7yr/76hz9a/PFP/uZv/+6rn/79lSzGVQiXYZEW1c0gkJAmOVyqRKVwU1YQZIMUrgd3m5q/rqGSSZFfqMcS3mdBnCfDJAwUQh++GvYHECf5RCV3n8Noungj+kH1rloWX8eiH0aF+vq9QSJEhnj9c3HD7cV+f/G2o8vPxe1iH/LI+f3w1dLqyqr5EfMXa83F0jdf9//53//4zePJh5+++n0/KsJxBrkK00DKd2urpXo/CSqVhClMF/tjCWUQ3gUxvMPLPMhAvp+YBZmK54hEYlhU+C9XwqC8xyTIpHzMBtgyC9RItjkNdnKDrHVnNfz1+0mSl2MFeWhvPBynQhVCr7aIkgpClT7iRRBWCY5dhKOgCkKFe+J51gvl+Z7ou6uiSOV0ruELvVX9HO7DIssCXOZ+lAyH03cv30/6Q/Q+icTS2lT/fjmdCvG8qKIkDyo9jOEQKlzTJEh9B2XLQ7/USx2kxhEZ6M/vl+Szjvqm4l+EuSveNMlfaFWK/8PNcQHp9nRjdMbvzHw69GmX4zxR03dr6E/09UpW2eTd0tp7sxyaE/eJGgn5aRxUIAY44ztQ0ncRKDugFIZqRQ+nXyXxSP3uw2R+GSJIcb1b4CWu3CCbXLYbX1n8CvHnwmPAMjC/ymVV0Gh+g6NZxiVpRvTbOT9XQWUn30xd26Znf0IT6c/ff9vrtd3dx1+kgbR9dMvfsVWaLi4uPtc/4mj7WhyuX+yJre2d/aP9i/3jo3NhqMWuwFvGvzps5bKONhzhYVDdCYlxhCeWFMVQhEFpr3WEV4AKqJI81kEXJXUiXbNhEo8raG0qgnqk0wkudiZ+2cPrf2zPCduEqCmoXKtNY3W1M3N1zc600dVKFaVrc1GUXS0GhVJF5hptGGuuXTPvwDULnmoxcC0GT7UIXYvwqRaRaxHpFrgNezi7VM9QBALb60MNhhiMkcC1yXwfeK1BowxU9FCfIkYQYsdsit01PDJhWaTFPVQvQkxiK4sYR0OzrDBcWpvYDfy3PloT46CrOw43UUG6InZQDFLhwaD3XuodQ9563HEed9oeDa3uC3fPpZfNXaVwjQTOqDFeuh54bETUZenV0uu5bsuzPu7qFXf12kzn3Kr6i8uByreDb0LAW48OB25BbO9z1/u8o/eZ62US1n0xi7KV2cLYu0uzMrMYfGJp2g5HFUDbJfO39GreI60a8/1q3neQC8BN0J07lgw+2Tm7Jk9P2vMzLkuohPZj3Ww3bra73KyLKrindW85e/HiRVAXSSTGUh9NyVCUhZQJlmXWdZkGGDqN/6dHp6uFEiOpY46asd2bNv/vSTaONmeONr/TEc45j8GcwbattD4MPBsRSsXRztWLF0/KBEcXpHGB1dEo65gncnZ0s0ZfnChzNTfTdedqvcOVE7y7H05i5uvLh8GF12n9OzvNLaquZpqZM/Vp1A5XX31pU2z/tnpPZv1P/P5uprMb4Kj19ZMDbgQHSarFmuoLm+j1VeNvmBZFZWhzZXlz2TRYM5XNWjvbqAoDYWpLjjBIJ1vtBnWQJhFv8GFWn1hqOucSpOruYJjpbEZQSp3jSpmkRd7kpzN0UWSiDqokwGh1+gYVTLTnB5UXVYZen/URejZ1y1m16ICYgc8MiAl9JiQm8pmIGPAZIGboM0NiYp+JiRn5zIiYxGcSYj76zEdi7nzmjpjUZ9KpkXGViURixOIH1uhRH3Z2B5fFx7FUIiryXyihP9ihHB/1yeNtjMga37nvO6e7Fj5TEFP6TEnMJ5/5REzlMxUx0mckMcpnFDFjnxkTU/tMTcy9z9wT8+AzD8Q8+swjMZ995vPUlnkuADAzF7PjvW6CZGJDaTBkYTMbtxrZKHEtjM14xnF4QDCLjTokmAVGHRHMoqIGgllI1EOCWTzUMcEsGOoRwSwS6jHBLAzqjwSzGKjvCGYBUKcEpwzOCM4YzBaar3BBMBNzXRLMlFx/IpjJuK4IZhquJcGSbyrBqntNuHRrgplu63uCmWjrB4KZYutHgplc688EO61up6AfEJlPe1WHbsGKrvNcBqu8zpMZrPw6z2awGuw8ncEKsfN8BqvGzhMarCQ7z2iwuuw8pZF78pwGq9DOkxqsTDvParBabZ/Wjst8LuPckycxWOl2nsVg9dt5GoMVced5DFbJnScyWDl3nslgNd15KoMVdue5DFbdnSczWIl3ns1gdd55OoMVe+f5DFbxT5/QGAtVEs4qlGyd4mOdwibbIHiDwZsEbzJ4i+AtBm8TvM3gHYJ3GLxL8C6D9wjeY/A+wfsMfkPwGwYfEHzA4B7BPQYfEnzI4COCjxh8TPAxg08IPmHwKcGnDD4j+IzB5wSfM/iC4AsGXxJ8yeArgq8YfE3wNYNvCL5h8C3Btwx+S/Dbp49XX3RgVcc0us70a6THuA3ObfrcJue2fG6Lc9s+t825HZ/b4dyuz+1ybs/n9ji373P7nHvjc284d+BzB5zr+VyPc4c+d8i5I5874tyxzx1z7sTnTjh36nOnnDvzuTPOnfvcOecufO6Cc5c+d8m5K5+74ty1z11z7sbnbjh363O3nHvrc072V7yEqD+D+RyBn11XZ33rIoeJ+zzrsGxsoX5GSWNWE2vcr4frBmbIwCJUh5gqBBGqPkztgQjVHHUzEqo0TJ2BCNUXprpAhKoKU1MgQrWEqSQQoQrC1A+IUN1gqgZEqFowtQIiKVsHi1BlYOoCRHK2fhahKsDUAIhQ7jeZHxHK+CbfI0J53mR5RCRbcItQTq+bbWGbUluE8rfJ3ohQ1jY5GxHK1SZTI0IZ2uRnRLqqUb8MrYO0HOn9Nn9nCqwHjTiMLhxIH7XoyURDpUE2iHQPe0FEkUGscfOXYCNJLUcHoENE8DdBMokz3dX8JdgJtxHtbCKTCR//RIvVWSjWkCwUasQmNbFfalkLBTokC8UZk4XCHJGFw2VjRUF+JAvFeMfWZqJFOJv5RAvQWbiYbBVRfAVbkokWnbNQdJ/IQsFVbKUmWmizBZpokTkLF5otMwqsJgvFdU8WCuuBLBTVI1koqM/T5jsvzLMPFjc5FnVGudVkVkQoo5p8igjlUZNFEaHsaXLnIGM502RMRChTmjyJCOVHkx0RoaxociIilAtNJkSEMqDJf4hQ3jNZDxHKdibXIUI5zmQ4RCizmbyGCOUzk80QoSxmchgilLtM5kKEMpbJV4hQnjJZChHKTiY32e9rHXI1cd/UOuTaIpR/TPZBhLKOyTmIUK4xmQaRt2wHKS8MeFrITkbNQdzHK7Z6LvQ102vCfza5JoY1d27j2KjoAnKp33zYgjANKkBRjdb1CYR3tMWeHCb6USnkYREleYzOgnGqETmcXWfTidRPec9BPeVgUKTRd7kZPEwxCNtPavPm22OTNxt/5il1MzVl68tcMvWrDYeR/tWmwygC1JbDKAbUtsMoCtSOwygO1K7DKBLUnsMoFtS+wyga1BuHUTyoA4dRRKiewygm1KHDKCrUkcMoLtSxwygy1InDKDbUqcMoOtSZwyg+1LnDKELUhcMoRtSlwyhK1JXDKE7UtcMoUtSNwyhW1K3DKFrUW4fZigyFvFsF5ciysfucG3ofN+INBpMu4k0GkzTiLQaTOuJtBpNA4h0Gk0biXQaTTOI9BpNS4n0Gk1jiNwwmvcQHDCbJxD0Gk2riQwaTcOIjBpN24mMGk3ziEwaTguJTBpOI4jMGk47icwaTlOILBpOa4ksGk6DiKwaTpuJrBpOs4hsGk7LiWwaTuOK3DHYV/7l590fTcvYUZcDEJTcIJW3JTUJJWnKLUKOs52LLfJMxliACIUEJvHUKkdheFgMIA42rUSLFfTFOI4TQAiHN9x5YS44roV9VK1J0pN93gYcSa0vzZa77Sn2H7kjqlLuEkjjlHqGkTblPKElTviGUlCkPCCVhyh6hpEt5SCjJUh4RSqqUx4SSKOUJoaRJeUooSVKeEUqKlOeEkiDlBaGkR3lJKMlRXhFKapTXhJIY5Q2hpEV5SyhJUb4ldPbIJce6D8xHiMA+bGmKQKAKoOcX/7o8XCcLpbpBFkp0kyyU5hZZeNhtk4Ui2iELxbNLFopmjywUyz5ZKJI3ZKE4DshCUfTIQjEckoUiOCILN/+YLNz0E7Jws0/Jwk0+Iws395ws3NQLsnAzL8nCTbwiCzfvmizctBuycLNuycJNesvu11RaTZWltwz4lilbceGRouPXvH2KQWzRZfPOYTFWAssdcY8prYTKL4iAKiKvGmpur2YaMA3nCkEw5RK06iUwBRO0KiYwJRO0aiYwRRO0qiYwZRO06iYwhRO0KicwpRO0aicwxRO0qicw5RO06icwBRS0KigwJRS0aigwRRS0qigwZRS06igwhRS0KikwpRS0aikwxRS0qikw5RS06ikwBRW0KiowJRW0aiowRRW0qiowZRW06iowhRW0KiswpRW0aiswxRW0qisw5RW06iswBRawCgs/KWDKUdUYxDiPoEof9UtLUaACEUMOFWYbbScSlT4Y69TTfnkYm04n5YdJv8omxjCJT3uFrEyqJDQv61L/2buDg0eT7sxrIPommB9bvt0bIqNA4Sd1/xZeyxPe8mTaNZisiCD90kRMg9lMrDV3n6bRyZcalSpJI2ha9o0xG/2sBx4TqghHgdQvhgdjVZhPUFB5I2y9wFraNrMxNl3mBxCB186aHe0qJPDQce2siVoIzTM0v3EalGkQwnT2Rk2vAabiuWiu/eVdbL1fPMt42+2B9CR7aafXZs+mPLe3Ts2sZGvcItNq6p67+UQF8XT2JK1NhYrmqK1kmEDVdi2LocqCB2rpgHY7TBaFeYnJPmSb91KmYz37z/pJgM8e9Kb8DaaD3twG6ne7vRe92/4V/gkq3PuqYC3P5zZgs6iJ1oYW6HWRDqsg0w+kRvdFhQWqDB6leNb79uUz/faO+U8W49y+hSpL3H9p3h571oc0ZW3cA9HnYgMTIIZ8rn89YrxDpt9i01Wwdcpa61dIi3FscqYpihMFy8a9LERUgHZ3n9wlJURJsNJ6BbmoslQ/vJ9Oet+uTjvIIgfNrXVx6t70e9nFlZopOxijhd63/SQfqsd26JSB/n8KuMsngQ6Wc8CzVgYxiCQXedEU9AoeVsTmqJB6eQpdAIYjsYWffXP4hRSDorhbWfQe5xyX+nQuqn9CjVexGQD+7S/rqy811OekbYhX3S6NWrGZ+f1EiwsU1IV+wy8F1Q8GGGdpcT+oILj78NXSWvv/98xfXL1cWfvXldXT1aVvNhbszw8Xfrbw9cIvF9YWfrXwzcLewsnC5UK48IeF/1z474X/ef371//x+k+v/2ybfv97TZ9/WPB+Xv/X/wKfEYxh</latexit> X X Y Y g· f f g· ճసߦྻ͕࡞༻͢Δ ϕΫτϧɾςϯιϧ ճసߦྻ ճసߦྻશମͷ ͳ͢ू߹ YΛճస͔ͯ͠ΒGͰ มͨ͠ͷ ͱ YΛGͰม͔ͯ͠Β ճసͨ͠ͷ ͕͍͠ ཧݱͷੑ࣭ͷөରশੑΛهड़͢Δֶಉมੑ
G, ∀x ∈ X, f(g · x) = g · f(x) <latexit sha1_base64="lS0k9uBbvw0LpIjQ69EQpu97kAw=">AAAE03icjVNdb9MwFPW2AqN8rINHXq6oKm1SKU01aTwwNIEmeBwS7SY1VeU4TmvVcYLtsFZZeEC88iv4NbzCE/8GO2lpm4I0S4muz/U9596T2Is5U7rd/r21vVO5dfvO7t3qvfsPHu7V9h/1VJRIQrsk4pG89LCinAna1UxzehlLikOP0wtv8sbmLz5RqVgkPuhZTAchHgkWMIK1gYa1EzeIJOYcRuAyAW+bsACmOXDZhODA5IgfaZgewgksNsHB9HBYq7db7XzBZuDMgzqar/Ph/s5n149IElKhCcdK9Z12rAcplpoRTrOqmygaYzLBI9o3ocAhVYM0nzODhkF8MP2ZR2jI0dWKFIdKzULPnAyxHqtyzoL/zHlhSVkHLwYpE3GiqSCFcJBw0BFYE8FnkhLNZybARDLTO5AxlphoY3XVFfSKRGGIhZ+6PguCrN8ZpG5g8qkPdSez706WATQi6TOBpSUKAiqNKwzzdYK4xODG1izMc6LlxvCt1zHxt9CKwnPIVY0oE8/s7wI3EDcWLOWXwoZsVXmFc4H+nzIRTGd9x/CBa7+EDNN+3RnkdtgcXDE9BvUxwZKCZyaeUF3yFOuiIU4D3bLtuJKNxvp6mG7a4FNu/C6BXeOcF6bd8uFegfcM3oC1DC0ydNPlWEbLbl6abprGknlHr8r8WBajzwe3+7zOTZdjuGWNs7WasxtUYE8VNfbk9YpDmbmxTvl+bga9Tss5ah2/P6qfvp7f3V30BD1FB8hBx+gUvUPnqIsI+o5+oJ/oV6VbSStfKl+Lo9tb85rHaG1Vvv0B9vafEA==</latexit> ¥ ؔG9ˠ:͕܈(ͷ࡞༻ʹରͯ͠ಉมʢFRVJWBSJBOUʣͰ͋Δ <latexit sha1_base64="5ZYyyFqCOKeG/NzVXEbOAjqJ7pg=">AAA1PHiclVvLchzLcYVk2ZYg2b6yl9pUXJCSbIMwQNIhLRSKizdADN5vcngZPd05PU30i101DYCj8Vf4e/QF+gHtvVNo44U39sJZVV2TWT0NXhsRBDrPqcqux8nKnJ7moEwTqVZX//i97//FD/7yr/76hz9a/PFP/uZv/+6rn/79lSzGVQiXYZEW1c0gkJAmOVyqRKVwU1YQZIMUrgd3m5q/rqGSSZFfqMcS3mdBnCfDJAwUQh++GvYHECf5RCV3n8Noungj+kH1rloWX8eiH0aF+vq9QSJEhnj9c3HD7cV+f/G2o8vPxe1iH/LI+f3w1dLqyqr5EfMXa83F0jdf9//53//4zePJh5+++n0/KsJxBrkK00DKd2urpXo/CSqVhClMF/tjCWUQ3gUxvMPLPMhAvp+YBZmK54hEYlhU+C9XwqC8xyTIpHzMBtgyC9RItjkNdnKDrHVnNfz1+0mSl2MFeWhvPBynQhVCr7aIkgpClT7iRRBWCY5dhKOgCkKFe+J51gvl+Z7ou6uiSOV0ruELvVX9HO7DIssCXOZ+lAyH03cv30/6Q/Q+icTS2lT/fjmdCvG8qKIkDyo9jOEQKlzTJEh9B2XLQ7/USx2kxhEZ6M/vl+Szjvqm4l+EuSveNMlfaFWK/8PNcQHp9nRjdMbvzHw69GmX4zxR03dr6E/09UpW2eTd0tp7sxyaE/eJGgn5aRxUIAY44ztQ0ncRKDugFIZqRQ+nXyXxSP3uw2R+GSJIcb1b4CWu3CCbXLYbX1n8CvHnwmPAMjC/ymVV0Gh+g6NZxiVpRvTbOT9XQWUn30xd26Znf0IT6c/ff9vrtd3dx1+kgbR9dMvfsVWaLi4uPtc/4mj7WhyuX+yJre2d/aP9i/3jo3NhqMWuwFvGvzps5bKONhzhYVDdCYlxhCeWFMVQhEFpr3WEV4AKqJI81kEXJXUiXbNhEo8raG0qgnqk0wkudiZ+2cPrf2zPCduEqCmoXKtNY3W1M3N1zc600dVKFaVrc1GUXS0GhVJF5hptGGuuXTPvwDULnmoxcC0GT7UIXYvwqRaRaxHpFrgNezi7VM9QBALb60MNhhiMkcC1yXwfeK1BowxU9FCfIkYQYsdsit01PDJhWaTFPVQvQkxiK4sYR0OzrDBcWpvYDfy3PloT46CrOw43UUG6InZQDFLhwaD3XuodQ9563HEed9oeDa3uC3fPpZfNXaVwjQTOqDFeuh54bETUZenV0uu5bsuzPu7qFXf12kzn3Kr6i8uByreDb0LAW48OB25BbO9z1/u8o/eZ62US1n0xi7KV2cLYu0uzMrMYfGJp2g5HFUDbJfO39GreI60a8/1q3neQC8BN0J07lgw+2Tm7Jk9P2vMzLkuohPZj3Ww3bra73KyLKrindW85e/HiRVAXSSTGUh9NyVCUhZQJlmXWdZkGGDqN/6dHp6uFEiOpY46asd2bNv/vSTaONmeONr/TEc45j8GcwbattD4MPBsRSsXRztWLF0/KBEcXpHGB1dEo65gncnZ0s0ZfnChzNTfTdedqvcOVE7y7H05i5uvLh8GF12n9OzvNLaquZpqZM/Vp1A5XX31pU2z/tnpPZv1P/P5uprMb4Kj19ZMDbgQHSarFmuoLm+j1VeNvmBZFZWhzZXlz2TRYM5XNWjvbqAoDYWpLjjBIJ1vtBnWQJhFv8GFWn1hqOucSpOruYJjpbEZQSp3jSpmkRd7kpzN0UWSiDqokwGh1+gYVTLTnB5UXVYZen/URejZ1y1m16ICYgc8MiAl9JiQm8pmIGPAZIGboM0NiYp+JiRn5zIiYxGcSYj76zEdi7nzmjpjUZ9KpkXGViURixOIH1uhRH3Z2B5fFx7FUIiryXyihP9ihHB/1yeNtjMga37nvO6e7Fj5TEFP6TEnMJ5/5REzlMxUx0mckMcpnFDFjnxkTU/tMTcy9z9wT8+AzD8Q8+swjMZ995vPUlnkuADAzF7PjvW6CZGJDaTBkYTMbtxrZKHEtjM14xnF4QDCLjTokmAVGHRHMoqIGgllI1EOCWTzUMcEsGOoRwSwS6jHBLAzqjwSzGKjvCGYBUKcEpwzOCM4YzBaar3BBMBNzXRLMlFx/IpjJuK4IZhquJcGSbyrBqntNuHRrgplu63uCmWjrB4KZYutHgplc688EO61up6AfEJlPe1WHbsGKrvNcBqu8zpMZrPw6z2awGuw8ncEKsfN8BqvGzhMarCQ7z2iwuuw8pZF78pwGq9DOkxqsTDvParBabZ/Wjst8LuPckycxWOl2nsVg9dt5GoMVced5DFbJnScyWDl3nslgNd15KoMVdue5DFbdnSczWIl3ns1gdd55OoMVe+f5DFbxT5/QGAtVEs4qlGyd4mOdwibbIHiDwZsEbzJ4i+AtBm8TvM3gHYJ3GLxL8C6D9wjeY/A+wfsMfkPwGwYfEHzA4B7BPQYfEnzI4COCjxh8TPAxg08IPmHwKcGnDD4j+IzB5wSfM/iC4AsGXxJ8yeArgq8YfE3wNYNvCL5h8C3Btwx+S/Dbp49XX3RgVcc0us70a6THuA3ObfrcJue2fG6Lc9s+t825HZ/b4dyuz+1ybs/n9ji373P7nHvjc284d+BzB5zr+VyPc4c+d8i5I5874tyxzx1z7sTnTjh36nOnnDvzuTPOnfvcOecufO6Cc5c+d8m5K5+74ty1z11z7sbnbjh363O3nHvrc072V7yEqD+D+RyBn11XZ33rIoeJ+zzrsGxsoX5GSWNWE2vcr4frBmbIwCJUh5gqBBGqPkztgQjVHHUzEqo0TJ2BCNUXprpAhKoKU1MgQrWEqSQQoQrC1A+IUN1gqgZEqFowtQIiKVsHi1BlYOoCRHK2fhahKsDUAIhQ7jeZHxHK+CbfI0J53mR5RCRbcItQTq+bbWGbUluE8rfJ3ohQ1jY5GxHK1SZTI0IZ2uRnRLqqUb8MrYO0HOn9Nn9nCqwHjTiMLhxIH7XoyURDpUE2iHQPe0FEkUGscfOXYCNJLUcHoENE8DdBMokz3dX8JdgJtxHtbCKTCR//RIvVWSjWkCwUasQmNbFfalkLBTokC8UZk4XCHJGFw2VjRUF+JAvFeMfWZqJFOJv5RAvQWbiYbBVRfAVbkokWnbNQdJ/IQsFVbKUmWmizBZpokTkLF5otMwqsJgvFdU8WCuuBLBTVI1koqM/T5jsvzLMPFjc5FnVGudVkVkQoo5p8igjlUZNFEaHsaXLnIGM502RMRChTmjyJCOVHkx0RoaxociIilAtNJkSEMqDJf4hQ3jNZDxHKdibXIUI5zmQ4RCizmbyGCOUzk80QoSxmchgilLtM5kKEMpbJV4hQnjJZChHKTiY32e9rHXI1cd/UOuTaIpR/TPZBhLKOyTmIUK4xmQaRt2wHKS8MeFrITkbNQdzHK7Z6LvQ102vCfza5JoY1d27j2KjoAnKp33zYgjANKkBRjdb1CYR3tMWeHCb6USnkYREleYzOgnGqETmcXWfTidRPec9BPeVgUKTRd7kZPEwxCNtPavPm22OTNxt/5il1MzVl68tcMvWrDYeR/tWmwygC1JbDKAbUtsMoCtSOwygO1K7DKBLUnsMoFtS+wyga1BuHUTyoA4dRRKiewygm1KHDKCrUkcMoLtSxwygy1InDKDbUqcMoOtSZwyg+1LnDKELUhcMoRtSlwyhK1JXDKE7UtcMoUtSNwyhW1K3DKFrUW4fZigyFvFsF5ciysfucG3ofN+INBpMu4k0GkzTiLQaTOuJtBpNA4h0Gk0biXQaTTOI9BpNS4n0Gk1jiNwwmvcQHDCbJxD0Gk2riQwaTcOIjBpN24mMGk3ziEwaTguJTBpOI4jMGk47icwaTlOILBpOa4ksGk6DiKwaTpuJrBpOs4hsGk7LiWwaTuOK3DHYV/7l590fTcvYUZcDEJTcIJW3JTUJJWnKLUKOs52LLfJMxliACIUEJvHUKkdheFgMIA42rUSLFfTFOI4TQAiHN9x5YS44roV9VK1J0pN93gYcSa0vzZa77Sn2H7kjqlLuEkjjlHqGkTblPKElTviGUlCkPCCVhyh6hpEt5SCjJUh4RSqqUx4SSKOUJoaRJeUooSVKeEUqKlOeEkiDlBaGkR3lJKMlRXhFKapTXhJIY5Q2hpEV5SyhJUb4ldPbIJce6D8xHiMA+bGmKQKAKoOcX/7o8XCcLpbpBFkp0kyyU5hZZeNhtk4Ui2iELxbNLFopmjywUyz5ZKJI3ZKE4DshCUfTIQjEckoUiOCILN/+YLNz0E7Jws0/Jwk0+Iws395ws3NQLsnAzL8nCTbwiCzfvmizctBuycLNuycJNesvu11RaTZWltwz4lilbceGRouPXvH2KQWzRZfPOYTFWAssdcY8prYTKL4iAKiKvGmpur2YaMA3nCkEw5RK06iUwBRO0KiYwJRO0aiYwRRO0qiYwZRO06iYwhRO0KicwpRO0aicwxRO0qicw5RO06icwBRS0KigwJRS0aigwRRS0qigwZRS06igwhRS0KikwpRS0aikwxRS0qikw5RS06ikwBRW0KiowJRW0aiowRRW0qiowZRW06iowhRW0KiswpRW0aiswxRW0qisw5RW06iswBRawCgs/KWDKUdUYxDiPoEof9UtLUaACEUMOFWYbbScSlT4Y69TTfnkYm04n5YdJv8omxjCJT3uFrEyqJDQv61L/2buDg0eT7sxrIPommB9bvt0bIqNA4Sd1/xZeyxPe8mTaNZisiCD90kRMg9lMrDV3n6bRyZcalSpJI2ha9o0xG/2sBx4TqghHgdQvhgdjVZhPUFB5I2y9wFraNrMxNl3mBxCB186aHe0qJPDQce2siVoIzTM0v3EalGkQwnT2Rk2vAabiuWiu/eVdbL1fPMt42+2B9CR7aafXZs+mPLe3Ts2sZGvcItNq6p67+UQF8XT2JK1NhYrmqK1kmEDVdi2LocqCB2rpgHY7TBaFeYnJPmSb91KmYz37z/pJgM8e9Kb8DaaD3twG6ne7vRe92/4V/gkq3PuqYC3P5zZgs6iJ1oYW6HWRDqsg0w+kRvdFhQWqDB6leNb79uUz/faO+U8W49y+hSpL3H9p3h571oc0ZW3cA9HnYgMTIIZ8rn89YrxDpt9i01Wwdcpa61dIi3FscqYpihMFy8a9LERUgHZ3n9wlJURJsNJ6BbmoslQ/vJ9Oet+uTjvIIgfNrXVx6t70e9nFlZopOxijhd63/SQfqsd26JSB/n8KuMsngQ6Wc8CzVgYxiCQXedEU9AoeVsTmqJB6eQpdAIYjsYWffXP4hRSDorhbWfQe5xyX+nQuqn9CjVexGQD+7S/rqy811OekbYhX3S6NWrGZ+f1EiwsU1IV+wy8F1Q8GGGdpcT+oILj78NXSWvv/98xfXL1cWfvXldXT1aVvNhbszw8Xfrbw9cIvF9YWfrXwzcLewsnC5UK48IeF/1z474X/ef371//x+k+v/2ybfv97TZ9/WPB+Xv/X/wKfEYxh</latexit> X X Y Y g· f f g· ճసߦྻ͕࡞༻͢Δ ϕΫτϧɾςϯιϧ ճసߦྻ ճసߦྻશମͷ ͳ͢ू߹ ཧݱͷੑ࣭ͷөରশੑΛهड़͢Δֶಉมੑ
x) = g · f(x) <latexit sha1_base64="lS0k9uBbvw0LpIjQ69EQpu97kAw=">AAAE03icjVNdb9MwFPW2AqN8rINHXq6oKm1SKU01aTwwNIEmeBwS7SY1VeU4TmvVcYLtsFZZeEC88iv4NbzCE/8GO2lpm4I0S4muz/U9596T2Is5U7rd/r21vVO5dfvO7t3qvfsPHu7V9h/1VJRIQrsk4pG89LCinAna1UxzehlLikOP0wtv8sbmLz5RqVgkPuhZTAchHgkWMIK1gYa1EzeIJOYcRuAyAW+bsACmOXDZhODA5IgfaZgewgksNsHB9HBYq7db7XzBZuDMgzqar/Ph/s5n149IElKhCcdK9Z12rAcplpoRTrOqmygaYzLBI9o3ocAhVYM0nzODhkF8MP2ZR2jI0dWKFIdKzULPnAyxHqtyzoL/zHlhSVkHLwYpE3GiqSCFcJBw0BFYE8FnkhLNZybARDLTO5AxlphoY3XVFfSKRGGIhZ+6PguCrN8ZpG5g8qkPdSez706WATQi6TOBpSUKAiqNKwzzdYK4xODG1izMc6LlxvCt1zHxt9CKwnPIVY0oE8/s7wI3EDcWLOWXwoZsVXmFc4H+nzIRTGd9x/CBa7+EDNN+3RnkdtgcXDE9BvUxwZKCZyaeUF3yFOuiIU4D3bLtuJKNxvp6mG7a4FNu/C6BXeOcF6bd8uFegfcM3oC1DC0ydNPlWEbLbl6abprGknlHr8r8WBajzwe3+7zOTZdjuGWNs7WasxtUYE8VNfbk9YpDmbmxTvl+bga9Tss5ah2/P6qfvp7f3V30BD1FB8hBx+gUvUPnqIsI+o5+oJ/oV6VbSStfKl+Lo9tb85rHaG1Vvv0B9vafEA==</latexit> ¥ ؔG9ˠ:͕܈(ͷ࡞༻ʹରͯ͠ಉมʢFRVJWBSJBOUʣͰ͋Δ <latexit sha1_base64="5ZYyyFqCOKeG/NzVXEbOAjqJ7pg=">AAA1PHiclVvLchzLcYVk2ZYg2b6yl9pUXJCSbIMwQNIhLRSKizdADN5vcngZPd05PU30i101DYCj8Vf4e/QF+gHtvVNo44U39sJZVV2TWT0NXhsRBDrPqcqux8nKnJ7moEwTqVZX//i97//FD/7yr/76hz9a/PFP/uZv/+6rn/79lSzGVQiXYZEW1c0gkJAmOVyqRKVwU1YQZIMUrgd3m5q/rqGSSZFfqMcS3mdBnCfDJAwUQh++GvYHECf5RCV3n8Noungj+kH1rloWX8eiH0aF+vq9QSJEhnj9c3HD7cV+f/G2o8vPxe1iH/LI+f3w1dLqyqr5EfMXa83F0jdf9//53//4zePJh5+++n0/KsJxBrkK00DKd2urpXo/CSqVhClMF/tjCWUQ3gUxvMPLPMhAvp+YBZmK54hEYlhU+C9XwqC8xyTIpHzMBtgyC9RItjkNdnKDrHVnNfz1+0mSl2MFeWhvPBynQhVCr7aIkgpClT7iRRBWCY5dhKOgCkKFe+J51gvl+Z7ou6uiSOV0ruELvVX9HO7DIssCXOZ+lAyH03cv30/6Q/Q+icTS2lT/fjmdCvG8qKIkDyo9jOEQKlzTJEh9B2XLQ7/USx2kxhEZ6M/vl+Szjvqm4l+EuSveNMlfaFWK/8PNcQHp9nRjdMbvzHw69GmX4zxR03dr6E/09UpW2eTd0tp7sxyaE/eJGgn5aRxUIAY44ztQ0ncRKDugFIZqRQ+nXyXxSP3uw2R+GSJIcb1b4CWu3CCbXLYbX1n8CvHnwmPAMjC/ymVV0Gh+g6NZxiVpRvTbOT9XQWUn30xd26Znf0IT6c/ff9vrtd3dx1+kgbR9dMvfsVWaLi4uPtc/4mj7WhyuX+yJre2d/aP9i/3jo3NhqMWuwFvGvzps5bKONhzhYVDdCYlxhCeWFMVQhEFpr3WEV4AKqJI81kEXJXUiXbNhEo8raG0qgnqk0wkudiZ+2cPrf2zPCduEqCmoXKtNY3W1M3N1zc600dVKFaVrc1GUXS0GhVJF5hptGGuuXTPvwDULnmoxcC0GT7UIXYvwqRaRaxHpFrgNezi7VM9QBALb60MNhhiMkcC1yXwfeK1BowxU9FCfIkYQYsdsit01PDJhWaTFPVQvQkxiK4sYR0OzrDBcWpvYDfy3PloT46CrOw43UUG6InZQDFLhwaD3XuodQ9563HEed9oeDa3uC3fPpZfNXaVwjQTOqDFeuh54bETUZenV0uu5bsuzPu7qFXf12kzn3Kr6i8uByreDb0LAW48OB25BbO9z1/u8o/eZ62US1n0xi7KV2cLYu0uzMrMYfGJp2g5HFUDbJfO39GreI60a8/1q3neQC8BN0J07lgw+2Tm7Jk9P2vMzLkuohPZj3Ww3bra73KyLKrindW85e/HiRVAXSSTGUh9NyVCUhZQJlmXWdZkGGDqN/6dHp6uFEiOpY46asd2bNv/vSTaONmeONr/TEc45j8GcwbattD4MPBsRSsXRztWLF0/KBEcXpHGB1dEo65gncnZ0s0ZfnChzNTfTdedqvcOVE7y7H05i5uvLh8GF12n9OzvNLaquZpqZM/Vp1A5XX31pU2z/tnpPZv1P/P5uprMb4Kj19ZMDbgQHSarFmuoLm+j1VeNvmBZFZWhzZXlz2TRYM5XNWjvbqAoDYWpLjjBIJ1vtBnWQJhFv8GFWn1hqOucSpOruYJjpbEZQSp3jSpmkRd7kpzN0UWSiDqokwGh1+gYVTLTnB5UXVYZen/URejZ1y1m16ICYgc8MiAl9JiQm8pmIGPAZIGboM0NiYp+JiRn5zIiYxGcSYj76zEdi7nzmjpjUZ9KpkXGViURixOIH1uhRH3Z2B5fFx7FUIiryXyihP9ihHB/1yeNtjMga37nvO6e7Fj5TEFP6TEnMJ5/5REzlMxUx0mckMcpnFDFjnxkTU/tMTcy9z9wT8+AzD8Q8+swjMZ995vPUlnkuADAzF7PjvW6CZGJDaTBkYTMbtxrZKHEtjM14xnF4QDCLjTokmAVGHRHMoqIGgllI1EOCWTzUMcEsGOoRwSwS6jHBLAzqjwSzGKjvCGYBUKcEpwzOCM4YzBaar3BBMBNzXRLMlFx/IpjJuK4IZhquJcGSbyrBqntNuHRrgplu63uCmWjrB4KZYutHgplc688EO61up6AfEJlPe1WHbsGKrvNcBqu8zpMZrPw6z2awGuw8ncEKsfN8BqvGzhMarCQ7z2iwuuw8pZF78pwGq9DOkxqsTDvParBabZ/Wjst8LuPckycxWOl2nsVg9dt5GoMVced5DFbJnScyWDl3nslgNd15KoMVdue5DFbdnSczWIl3ns1gdd55OoMVe+f5DFbxT5/QGAtVEs4qlGyd4mOdwibbIHiDwZsEbzJ4i+AtBm8TvM3gHYJ3GLxL8C6D9wjeY/A+wfsMfkPwGwYfEHzA4B7BPQYfEnzI4COCjxh8TPAxg08IPmHwKcGnDD4j+IzB5wSfM/iC4AsGXxJ8yeArgq8YfE3wNYNvCL5h8C3Btwx+S/Dbp49XX3RgVcc0us70a6THuA3ObfrcJue2fG6Lc9s+t825HZ/b4dyuz+1ybs/n9ji373P7nHvjc284d+BzB5zr+VyPc4c+d8i5I5874tyxzx1z7sTnTjh36nOnnDvzuTPOnfvcOecufO6Cc5c+d8m5K5+74ty1z11z7sbnbjh363O3nHvrc072V7yEqD+D+RyBn11XZ33rIoeJ+zzrsGxsoX5GSWNWE2vcr4frBmbIwCJUh5gqBBGqPkztgQjVHHUzEqo0TJ2BCNUXprpAhKoKU1MgQrWEqSQQoQrC1A+IUN1gqgZEqFowtQIiKVsHi1BlYOoCRHK2fhahKsDUAIhQ7jeZHxHK+CbfI0J53mR5RCRbcItQTq+bbWGbUluE8rfJ3ohQ1jY5GxHK1SZTI0IZ2uRnRLqqUb8MrYO0HOn9Nn9nCqwHjTiMLhxIH7XoyURDpUE2iHQPe0FEkUGscfOXYCNJLUcHoENE8DdBMokz3dX8JdgJtxHtbCKTCR//RIvVWSjWkCwUasQmNbFfalkLBTokC8UZk4XCHJGFw2VjRUF+JAvFeMfWZqJFOJv5RAvQWbiYbBVRfAVbkokWnbNQdJ/IQsFVbKUmWmizBZpokTkLF5otMwqsJgvFdU8WCuuBLBTVI1koqM/T5jsvzLMPFjc5FnVGudVkVkQoo5p8igjlUZNFEaHsaXLnIGM502RMRChTmjyJCOVHkx0RoaxociIilAtNJkSEMqDJf4hQ3jNZDxHKdibXIUI5zmQ4RCizmbyGCOUzk80QoSxmchgilLtM5kKEMpbJV4hQnjJZChHKTiY32e9rHXI1cd/UOuTaIpR/TPZBhLKOyTmIUK4xmQaRt2wHKS8MeFrITkbNQdzHK7Z6LvQ102vCfza5JoY1d27j2KjoAnKp33zYgjANKkBRjdb1CYR3tMWeHCb6USnkYREleYzOgnGqETmcXWfTidRPec9BPeVgUKTRd7kZPEwxCNtPavPm22OTNxt/5il1MzVl68tcMvWrDYeR/tWmwygC1JbDKAbUtsMoCtSOwygO1K7DKBLUnsMoFtS+wyga1BuHUTyoA4dRRKiewygm1KHDKCrUkcMoLtSxwygy1InDKDbUqcMoOtSZwyg+1LnDKELUhcMoRtSlwyhK1JXDKE7UtcMoUtSNwyhW1K3DKFrUW4fZigyFvFsF5ciysfucG3ofN+INBpMu4k0GkzTiLQaTOuJtBpNA4h0Gk0biXQaTTOI9BpNS4n0Gk1jiNwwmvcQHDCbJxD0Gk2riQwaTcOIjBpN24mMGk3ziEwaTguJTBpOI4jMGk47icwaTlOILBpOa4ksGk6DiKwaTpuJrBpOs4hsGk7LiWwaTuOK3DHYV/7l590fTcvYUZcDEJTcIJW3JTUJJWnKLUKOs52LLfJMxliACIUEJvHUKkdheFgMIA42rUSLFfTFOI4TQAiHN9x5YS44roV9VK1J0pN93gYcSa0vzZa77Sn2H7kjqlLuEkjjlHqGkTblPKElTviGUlCkPCCVhyh6hpEt5SCjJUh4RSqqUx4SSKOUJoaRJeUooSVKeEUqKlOeEkiDlBaGkR3lJKMlRXhFKapTXhJIY5Q2hpEV5SyhJUb4ldPbIJce6D8xHiMA+bGmKQKAKoOcX/7o8XCcLpbpBFkp0kyyU5hZZeNhtk4Ui2iELxbNLFopmjywUyz5ZKJI3ZKE4DshCUfTIQjEckoUiOCILN/+YLNz0E7Jws0/Jwk0+Iws395ws3NQLsnAzL8nCTbwiCzfvmizctBuycLNuycJNesvu11RaTZWltwz4lilbceGRouPXvH2KQWzRZfPOYTFWAssdcY8prYTKL4iAKiKvGmpur2YaMA3nCkEw5RK06iUwBRO0KiYwJRO0aiYwRRO0qiYwZRO06iYwhRO0KicwpRO0aicwxRO0qicw5RO06icwBRS0KigwJRS0aigwRRS0qigwZRS06igwhRS0KikwpRS0aikwxRS0qikw5RS06ikwBRW0KiowJRW0aiowRRW0qiowZRW06iowhRW0KiswpRW0aiswxRW0qisw5RW06iswBRawCgs/KWDKUdUYxDiPoEof9UtLUaACEUMOFWYbbScSlT4Y69TTfnkYm04n5YdJv8omxjCJT3uFrEyqJDQv61L/2buDg0eT7sxrIPommB9bvt0bIqNA4Sd1/xZeyxPe8mTaNZisiCD90kRMg9lMrDV3n6bRyZcalSpJI2ha9o0xG/2sBx4TqghHgdQvhgdjVZhPUFB5I2y9wFraNrMxNl3mBxCB186aHe0qJPDQce2siVoIzTM0v3EalGkQwnT2Rk2vAabiuWiu/eVdbL1fPMt42+2B9CR7aafXZs+mPLe3Ts2sZGvcItNq6p67+UQF8XT2JK1NhYrmqK1kmEDVdi2LocqCB2rpgHY7TBaFeYnJPmSb91KmYz37z/pJgM8e9Kb8DaaD3twG6ne7vRe92/4V/gkq3PuqYC3P5zZgs6iJ1oYW6HWRDqsg0w+kRvdFhQWqDB6leNb79uUz/faO+U8W49y+hSpL3H9p3h571oc0ZW3cA9HnYgMTIIZ8rn89YrxDpt9i01Wwdcpa61dIi3FscqYpihMFy8a9LERUgHZ3n9wlJURJsNJ6BbmoslQ/vJ9Oet+uTjvIIgfNrXVx6t70e9nFlZopOxijhd63/SQfqsd26JSB/n8KuMsngQ6Wc8CzVgYxiCQXedEU9AoeVsTmqJB6eQpdAIYjsYWffXP4hRSDorhbWfQe5xyX+nQuqn9CjVexGQD+7S/rqy811OekbYhX3S6NWrGZ+f1EiwsU1IV+wy8F1Q8GGGdpcT+oILj78NXSWvv/98xfXL1cWfvXldXT1aVvNhbszw8Xfrbw9cIvF9YWfrXwzcLewsnC5UK48IeF/1z474X/ef371//x+k+v/2ybfv97TZ9/WPB+Xv/X/wKfEYxh</latexit> X X Y Y g· f f g· ࣌ؒൃల ߹ಉม ߹ಉม ࣌ؒൃల ¥ ྫྲྀ߹ಉม܈ ճసɾڸөɾฏߦҠಈ E(n)ಉม - ཧྔςϯιϧͷ࠲ඪมଇΛຬͨͨ͢ΊE(n)ಉม ཧݱͷੑ࣭ͷөରশੑΛهड़͢Δֶಉมੑ
ru <latexit sha1_base64="LAHDecZTdIGy2RM8jZtYpZPHxac=">AAA1nHiclVtbc9zKcaYdJ3GYi4+TR1elUKFUPklRjKhzFOch5TLvpLi8Lm+SVkeFBXqxEHETZhZLCt685cmvzo/Lv0nPDAbdgwV1bFZJRH/fTGMuX0/3YsFxkcRCvnz5fz/56V/87C//6q9//jerf/t3f/8Pv/jml/94I/JZGcB1kCd5eTf2BSRxBtcylgncFSX46TiB2/H9juJvKyhFnGdX8rGAD6kfZfEkDnyJ0IX8+M3ay42X+sdbvthsLtZWmp/zj7/8/n9GYR7MUshkkPhCvN98WcgPtV/KOEhgsTqaCSj84N6P4D1eZn4K4kOtR7rwniMSepO8xH+Z9DTKe9R+KsRjOsaWqS+nosspsJcbp86d60flX3RGIyf/+aGOs2ImIQvMYCazxJO5p5bGC+MSApk84oUflDHOxwumfukHEhfQ8S7j+y/u/dSIZJ4n7i3ryi/ncYhjdtDCL8V9XLigWSEHeujB1K1fBCGCGcyDPE39LKxHYTyZLN6/+lCPJjjeOvTWNhfq/1eLhec9z8swzvxSTWwygRJ3LvYT10HR8TAq1Ib6iXZEBvpz+8VZ21Hd1Pt3T98VbxpnL5QovT/h5rgldHu6MTrjd2Y+Lfq0y1kWy8X7TfTnjdTelGn9fm3zg14OxXnzWE498Xnml+CNccb3IIXrwpdmQAlM5IYazqiMo6n8/cd6eRlCSHC9O6CYFYUeww/1t2ub/9rtg/S4oc3QurRhP9rx4050mlzj1ozT+rqL3xj8BvHnnsOAYWB5G4syp+n+F053Hde8mfJvl/zc+KVZ3WZsytY9RzWt1Gj5/ntOr73+Pu4ujIXpo1r+nm3DYnV19bn68U73br2TratDb3dv/+j06Oro7HToaWq17/xYx9/6dFhXhwaO8MQv7z2BoY8novDyiRf4hblWB1UJKLEyziJ1ToRxFQvbbBJHsxI6qkFQjXRR42Kn3rcDvF7aeWwToGihtK12tNXXTs/VNrtURl8rmRe2zVVe9LUY51LmqW20ra2lds28fdvMf6rF2LYYP9UisC2Cp1qEtkWoWuA2HOLsEjVDz/ewvTqHYYLRHnq4NqnrA68VqJWBip54OjiUl329KWbX8JSHdS/J51C+CDBJbqxioE70ssJkbbM2G/jfI7RMdPV1x+HG0k82vH0Ug5B48qi9F2rHkDce963H/a5HTct5bu+59qq5q/BsIw9n1BivbA88l0Lqsvbd2vdL3dbbPvbqO+7qez2doVH1V5cDlW8G34SAsx49DuyCmN5D23vY0/vS9tI5dp63UbbRLoy5u9Ar08bgE0vTdTgtAboumb+175Y90qox398t+/YzD3ATVOeeJYPPZs62ydOTdvxgPoDSU36Mm73GzV6fmy2v9Oe07h1nL1688Ks8Dr2ZUEdTPPGKXIgYyz7jukh8DJ3G/9OjUwVOgZHUM0fFmO5Nmz97ko2jndbRzo86wjlnEegz2LQVxoeG2xGhVCxtXb148aRMcHR+EuVY0E3TnnkiZ0bXNvrqRJmrpZluWVdbPa6s4O39cBKtr68fBldOp60f7bS0qKpcambO1KdQM1x19bVNMf276j1v+5+7/e1M2xvgqNX1kwNuBAdxosSaqAuT6NVV42+S5HmpaX1leH3ZNNjUlc1SjSRLDISFKTkCP6l3uw0qP4lD3uBjW58YarHkEoTs76CZRTsjKITKcYWIkzxr8tMlushTDz8YxD5Gq9U3SL9Wnh9klpcpen02QujZwi5n2aF9YsYuMyYmcJmAmNBlQmLAZYCYictMiIlcJiJm6jJTYmKXiYn55DKfiLl3mXtiEpdJFlrGZerFAiMWPxCHj+qwMzu47n2aCemFefZr6anPpyjHR3XyOBvjpY3vzPWd0V1zl8mJKVymIOazy3wmpnSZkhjhMoIY6TKSmJnLzIipXKYiZu4yc2IeXOaBmEeXeSTmi8t8WZgyzwYAZua8Pd6rJkhqE0rjCQubdtxyaqLEttA24xnH4THBLDaqgGAWGFVIMIuKCghmIVFNCGbxUEUEs2CopgSzSKhmBLMwqD4RzGKguieYBUCVEJwwOCU4ZTBbaL7COcFMzFVBMFNy9ZlgJuOqJJhpuBIEC76pBMv+NeHSrQhmuq3mBDPRVg8EM8VWjwQzuVZfCLZa3UtAPefSn/bKHt2CEV3vuQxGeb0nMxj59Z7NYDTYezqDEWLv+QxGjb0nNBhJ9p7RYHTZe0oj9+Q5DUahvSc1GJn2ntVgtNo9rS2XulzKuSdPYjDS7T2Lwei39zQGI+Le8xiMkntPZDBy7j2TwWi691QGI+zecxmMuntPZjAS7z2bwei893QGI/be8xmM4p8+oTEWyjhoK5R0i+Jji8Im3SZ4m8E7BO8weJfgXQbvEbzH4H2C9xl8QPABgw8JPmTwEcFHDH5D8BsGHxN8zOABwQMGnxB8wuBTgk8ZfEbwGYPPCT5n8AXBFwy+JPiSwUOChwy+IviKwdcEXzP4huAbBt8SfMvgO4LvGPyW4LcMfkfwu6ePV1d0YFTHNLrF9Kulx7htzu243A7ndl1ul3N7LrfHuX2X2+fcgcsdcO7Q5Q45d+RyR5x743JvOHfscsecG7jcgHMnLnfCuVOXO+Xcmcudce7c5c45d+FyF5y7dLlLzg1dbsi5K5e74ty1y11z7sblbjh363K3nLtzuTvOvXW5t5x753JW9je8hKi+gP4cgZ9dX7Z9qzyD2n6etVg6M9AopaTR1sQKd+vhqoEZMjYI1SG6CkGEqg9deyBCNUfVjIQqDV1nIEL1ha4uEKGqQtcUiFAtoSsJRKiC0PUDIlQ36KoBEaoWdK2ASMLWwSBUGei6AJGMrZ9BqArQNQAilPt15keEMr7O94hQntdZHhHBFtwglNOrZlvYplQGofytszcilLV1zkaEcrXO1IhQhtb5GZG+atQtQys/KaZqv/XvVoHVuBGH1oUF6aMWPZloqMRPx6HqYS6IyFOIFK5/E6wlqeRoAXSICP5PkIijVHXVvwm2wm1E206krvn4ayVWa6FYA7JQqCGbVG2+1DIWCnRCFoozIguFOSULh8vGioL8RBaK8Z6tTa1E2M68VgK0Fi4mW0UUX86WpFaisxaK7jNZKLiSrVSthNYuUK1EZi1caLbMKLCKLBTXnCwU1gNZKKpHslBQXxbNd16YZx8MrnMs6oxyq86siFBG1fkUEcqjOosiQtlT585xynKmzpiIUKbUeRIRyo86OyJCWVHnREQoF+pMiAhlQJ3/EKG8p7MeIpTtdK5DhHKcznCIUGbTeQ0Rymc6myFCWUznMEQod+nMhQhlLJ2vEKE8pbMUIpSddG4y39da5Ka239Ra5NYglH909kGEso7OOYhQrtGZBpF3bAcpL4x5WkjPp81BPMIrtno29BUzaMK/nVwTw4obmjjWKrqCTKgXOHYhSPwSUFTTLXUC4R1NsScmsXpUClmQh3EWoTN/lihETNrrdFEL9ZR3CPIpB+M8CX/MzfhhgUHYfVKbNd8e67zZ+NNPqZupSVNfZoKpX25bjPQvdyxGESB3LUYxIPcsRlEg9y1GcSAPLEaRIA8tRrEgjyxG0SDfWIziQR5bjCJCDixGMSFPLEZRIU8tRnEhzyxGkSHPLUaxIS8sRtEhLy1G8SGHFqMIkVcWoxiR1xajKJE3FqM4kbcWo0iRdxajWJFvLUbRIt9ZzFRkKOSD0i+mho3s59zA+bgRbTOYdBHtMJikEe0ymNQR7TGYBBLtM5g0Eh0wmGQSHTKYlBIdMZjEEr1hMOklOmYwSSYaMJhUE50wmIQTnTKYtBOdMZjkE50zmBQUXTCYRBRdMph0FA0ZTFKKrhhMaoquGUyCim4YTJqKbhlMsoruGEzKit4ymMQVvWOwrfiH+uUiRYv2KcqYiUtsE0raEjuEkrTELqFaWc+9Xf1NxkyA53sCpIe3TiD09ta9MQS+wuU0Ft48nyUhQmiBJ/T3HlhLzkpPvXGXJ+hIve8CDwXWlvrLXPuV+j7dkdQpDgglcYpDQkmb4ohQkqZ4QygpUxwTSsIUA0JJl+KEUJKlOCWUVCnOCCVRinNCSZPiglCSpLgklBQphoSSIMUVoaRHcU0oyVHcEEpqFLeEkhjFHaGkRfGWUJKieEdo+8glw7oP9EcI3zxsaYpAoApg4Bb/qjzcIguluk0WSnSHLJTmLll42O2RhSLaJwvFc0AWiuaQLBTLEVkokjdkoTiOyUJRDMhCMZyQhSI4JQs3/4ws3PRzsnCzL8jCTb4kCzd3SBZu6hVZuJnXZOEm3pCFm3dLFm7aHVm4WW/Jwk16x+7XVFpNlaW2DPiWSVNx4ZGi4le/RItBbNB1/VJjPpMeljveHFNaAaVbEAFVRE411NxethrQDZcKQdDlEnTqJdAFE3QqJtAlE3RqJtBFE3SqJtBlE3TqJtCFE3QqJ9ClE3RqJ9DFE3SqJ9DlE3TqJ9AFFHQqKNAlFHRqKNBFFHSqKNBlFHTqKNCFFHQqKdClFHRqKdDFFHSqKdDlFHTqKdAFFXQqKtAlFXRqKtBFFXSqKtBlFXTqKtCFFXQqK9ClFXRqK9DFFXSqK9DlFXTqK9AFFrAKCz8pYMqR5Qy8WRZCmTyql5ZCX/peBBmUmG2UHQtU+nimUk/37WRsuqiLj/WoTGtt6MSnvEJaxGUc6LeBqX/77uD4Uac7/RqIugnmx45v+4bI1Jf4Sd29hdPynLc8X/QNJs1DSL42Ed2gnYmxlu7TNDr/WqNCxkkITcuRNtrRtz3wmJB5MPWFepfdn8lcf4KC0hlh5wXWwrRpx9h0WR5ACE47Y/a0K5HAQ8e2MyZqIdDP0NzGiV8kfgCL9o2aQQMsvOdec+0u72rn/eI24+11BzIQ7KWdQZe9XPDc3jk104KtcYdMyoV97uYSJUSL9klalwokzVFZ8SSGsuta5BOZ+g/U0gLddpgscv0Sk3nItuylSGZq9l/UkwCXPR4s+BtMx4OlDVTvdjsvenf9S/zll7j3Zc5aDpc2YCeviFaGEuhtnkxKP1UPpKbzvMQCVfiPwns2+OHVM/X2jv5bkVlm3kIVBe6/0G+PPRtBkrA29oHoc28bEyCGfKb+e8R4h1S9xaaqYOOUtVavkOazSOdMXRTHEta1e5F7YQ7K3Ty+jwsIY3+j8wpyXqaJeni/qAc/vFz0kHkGitvs4+Rc93vVxxWKKXoYrYXBD6M4m8jHbugUvvpDCNzlc18FyxDwrBV+BF6ceVneFPQSHja8nWku1PLkqgAMpt4ufvbN4NfCG+f5/caq8zjnrFCnc17+G2q8jPQA8PdoXV19raE6J01DvOp3qdWKzfT/T7S4QkFdqTf8EpAjf4xxluTzcQn+/cdv1ja7f6a0fHHzamPzPzZeX3y/9rvt5k+Yfr7yq5V/Wfl2ZXPlNyu/WzlcOV+5XglWYOUPK39c+d/X//x69/Xx6xPT9Kc/afr804rz8/rm/wEtFbJ/</latexit> t <latexit sha1_base64="wFkN8Jh4j+uvqeoRzMVVd+k2buc=">AAA1p3iclVtbc9zKcaYdJ7HpXI6TR79MhVL5OKEYUecoyUMqZd5JcXm/SlodFRboxULETZhZkBS8ectf8Kv9t/xv0jOD2e7BgjoJqySiv2+mMZevp3ux4KhME6levvzzT376Fz/7y7/665//YvmXf/O3f/f33/zqH65lMa1CuAqLtKhuR4GENMnhSiUqhduygiAbpXAzutvS/E0NlUyK/FI9lvAhC+I8GSdhoBAaKvEvYrgNqQqE+vjNysu1l+ZHLF6stxcrS+3P6cdfff8/w6gIpxnkKkwDKd+vvyzVhyaoVBKmMFseTiWUQXgXxPAeL/MgA/mhMYOeieeIRGJcVPgvV8KgvEcTZFI+ZiNsmQVqIrucBnu5UebduXnU/mVnNGr8Hx+aJC+nCvLQDmY8TYUqhF4lESUVhCp9xIsgrBKcjwgnQRWECtfS866Suy/+/fSIVFGk/i2bOqjukwjH7KFlUMm7pPRBu0Ie9NCD6Vu/CCMEc7gPiywL8qgZRsl4PHv/6kMzHON4m0isrM/0/69mMyGeF1WU5EGlJzYeQ4U7lwSp76DseBiWekOD1DgiA/35/ZJ83lHfVPyrMHfFmyb5C61P8X+4OW4J3Z5ujM74nZlPhz7tcponavZ+Hf2Jod6bKmver6x/MMuhOXGfqImQn6dBBWKEM74DJX0XgbIDSmGs1vRwhlUST9TvPzaLyxBBiuvdAeW0LM0Yfmi+XVn/bbcP0qOWtkPr0pb96MaPO9FpcoVbM8qaqy5+bfFrxJ8LjwHLwOI2llVB0/1PnO4qrnk75f9a8HMdVHZ127Fp2/QcNrRSw8X773i9dvr7+LswkraPbvl7tg2z5eXl5/pHHO/ciKONy32xvbN7cHxweXByfCEMtdx3fqzib3M6rOpDA0d4FFR3QmLo4+EoRTEWYVDaa31QVYASq5I81udElNSJdM3GSTytoKMaBPVIZw0udia+HeD1ws5jmxBFC5VrtWWsvnZmrq7ZuTb6WqmidG0ui7KvxahQqshco01jLbRr5x24ZsFTLUauxeipFqFrET7VInItIt0Ct2EfZ5fqGYpAYHt9DsMYoz0SuDaZ7wOvNWiUgYoeCxMc2suu2RS7a3jKw6pIi3uoXoSYL9eWMVDHZllhvLLe2A387yFaNrr6uuNwExWka2IXxSAVnjx676XeMeStx13ncbfr0dDqvnD3XHnV3lUK10jgjFrjleuB51JEXVa+W/l+odvqvI+7+o67+t5M58Kq+qvLgcq3g29DwFuPHgduQWzvC9f7oqf3uetlcux9MY+ytfnC2LtLszLzGHxiaboOJxVA1yXzt/LdokdaNeb7u0XfQS4AN0F37lky+Gzn7Jo8PWnPD+YDqIT2Y93stG52+txsiCq4p3XvOHvx4kVQF0kkplIfTclYlIWUCVaA1nWZBhg6rf+nR6cLnBIjqWeOmrHd2zb/70m2jrbmjrZ+1BHOOY/BnMG2rbQ+DDwfEUrF0c7VixdPygRHF6RxgQXdJOuZJ3J2dPNGX50oc7Uw0w3naqPHlRO8ux9OYu7r64fBpddp40c7LSyqLpfamTP1adQOV199bVNs/656T+f9T/3+bqbzG+Co9fWTA24FB0mqxZrqC5vo9VXrb5wWRWVoc2V5c9k2WDeVzUKNpCoMhJktOcIgbba7DeogTSLe4OO8PrHUbMElSNXfwTCz+YyglDrHlTJJi7zNT+foosgEfjBIAoxWp29QQaM9P6i8qDL0+myI0LOZW86qQwfEjHxmREzoMyExkc9ExIDPADFjnxkTE/tMTMzEZybEJD6TEPPJZz4Rc+czd8SkPpPOjIyrTCQSIxY/G0eP+rCzO7gqPk2lElGR/0YJ/fkU5fioTx5vY0TW+s593zndtfCZgpjSZ0piPvvMZ2Iqn6mIkT4jiVE+o4iZ+syUmNpnamLufeaemAefeSDm0WceifniM19mtsxzAYCZuZgf73UbJI0NpdGYhc183Gpio8S1MDbjGcfhEcEsNuqQYBYYdUQwi4oaCGYhUY8JZvFQxwSzYKgnBLNIqKcEszCoPxHMYqC+I5gFQJ0SnDI4IzhjMFtovsIFwUzMdUkwU3L9mWAm47oimGm4lgRLvqkEq/414dKtCWa6re8JZqKtHwhmiq0fCWZyrb8Q7LS6k4J+zmU+7VU9ugUrut5zGazyek9msPLrPZvBarD3dAYrxN7zGawae09osJLsPaPB6rL3lEbuyXMarEJ7T2qwMu09q8FqtXtaOy7zuYxzT57EYKXbexaD1W/vaQxWxL3nMVgl957IYOXceyaD1XTvqQxW2L3nMlh1957MYCXeezaD1Xnv6QxW7L3nM1jFP31CYyxUSTivULINio8NCptsk+BNBm8RvMXgbYK3GbxD8A6DdwneZfAewXsM3id4n8EHBB8w+A3Bbxh8SPAhgwcEDxh8RPARg48JPmbwCcEnDD4l+JTBZwSfMfic4HMGXxB8weBLgi8ZfEXwFYOvCb5m8A3BNwy+JfiWwW8JfsvgdwS/e/p49UUHVnVMoxtMv0Z6jNvk3JbPbXFu2+e2Obfjczuc2/W5Xc7t+dwe5/Z9bp9zBz53wLk3PveGc4c+d8i5gc8NOHfkc0ecO/a5Y86d+NwJ50597pRzZz53xrlznzvn3IXPXXDu0ucuOXflc1ecu/a5a87d+NwN52597pZzb33uLefe+ZyT/TUvIeovYD5H4GfXl/O+dZFD4z7POiybWmiYUdKY18Qa9+vhuoUZMrII1SGmCkGEqg9TeyBCNUfdjoQqDVNnIEL1hakuEKGqwtQUiFAtYSoJRKiCMPUDIlQ3mKoBEaoWTK2ASMrWwSJUGZi6AJGcrZ9FqAowNQAilPtN5keEMr7J94hQnjdZHhHJFtwilNPrdlvYptQWofxtsjcilLVNzkaEcrXJ1IhQhjb5GZG+atQvQ+sgLSd6v83vuQLrUSsOowsH0kctejLRUmmQjSLdw14QUWQQa9z8JthIUsvRAegQEfyfIJnEme5qfhPshNuKdj6RpuHjb7RYnYViDclCoUZsUo39UstaKNAxWSjOmCwU5oQsHC4bKwryE1koxju2No0W4XzmjRags3Ax2Sqi+Aq2JI0WnbNQdJ/JQsFVbKUaLbT5AjVaZM7ChWbLjAKryUJx3ZOFwnogC0X1SBYK6sus/c4L8+yDxU2ORZ1RbjWZFRHKqCafIkJ51GRRRCh7mtw5yljONBkTEcqUJk8iQvnRZEdEKCuanIgI5UKTCRGhDGjyHyKU90zWQ4Syncl1iFCOMxkOEcpsJq8hQvnMZDNEKIuZHIYI5S6TuRChjGXyFSKUp0yWQoSyk8lN9vtah1w37ptah9xYhPKPyT6IUNYxOQcRyjUm0yDyju0g5YURTwvZ6aQ9iId4xVbPhb5mBm34zyfXxrDmLmwcGxVdQi71CxzbEKZBBSiqyYY+gfCOttiT40Q/KoU8LKIkj9FZME01Isfz62zWSP2U9wLUUw5GRRr9mJvRwwyDsPukNm+/PTZ5s/VnnlK3U1O2vswlU7/adBjpX205jCJAbTuMYkDtOIyiQO06jOJA7TmMIkHtO4xiQR04jKJBvXEYxYM6dBhFhBo4jGJCHTmMokIdO4ziQp04jCJDnTqMYkOdOYyiQ507jOJDXTiMIkRdOoxiRF05jKJEXTuM4kTdOIwiRd06jGJFvXUYRYt65zBbkaGQ96qgnFg2dp9zQ+/jRrzJYNJFvMVgkka8zWBSR7zDYBJIvMtg0ki8x2CSSbzPYFJKfMBgEkv8hsGkl/iQwSSZeMBgUk18xGASTnzMYNJOfMJgkk98ymBSUHzGYBJRfM5g0lF8wWCSUnzJYFJTfMVgElR8zWDSVHzDYJJVfMtgUlb8lsEkrvgdg13Ff2FeLtK0nD9FGTFxyU1CSVtyi1CSltwm1Cjrudg232RMJYhASFACb51CJHZWxQjCQONqkkhxX0zTCCG0QEjzvQfWktNK6DfuihQd6fdd4KHE2tJ8meu+Ut+lO5I65R6hJE65TyhpUx4QStKUbwglZcpDQkmYckAo6VIeEUqylMeEkirlCaEkSnlKKGlSnhFKkpTnhJIi5QWhJEh5SSjpUV4RSnKU14SSGuUNoSRGeUsoaVG+JZSkKN8ROn/kkmPdB+YjRGAftrRFIFAFMPCLf10ebpCFUt0kCyW6RRZKc5ssPOx2yEIR7ZKF4tkjC0WzTxaK5YAsFMkbslAch2ShKAZkoRiOyEIRHJOFm39CFm76KVm42Wdk4Safk4Wbe0EWbuolWbiZV2ThJl6ThZt3QxZu2i1ZuFlvycJNesfu11ZabZWltwz4lilbceGRouPXvESLQWzRVfNSYzFVAssdcY8prYTKL4iAKiKvGmpvr+YaMA0XCkEw5RJ06iUwBRN0KiYwJRN0aiYwRRN0qiYwZRN06iYwhRN0KicwpRN0aicwxRN0qicw5RN06icwBRR0KigwJRR0aigwRRR0qigwZRR06igwhRR0KikwpRR0aikwxRR0qikw5RR06ikwBRV0KiowJRV0aiowRRV0qiowZRV06iowhRV0KiswpRV0aiswxRV0qisw5RV06iswBRawCgs/KWDKUdUUxDSPoEof9UtLUaACEUMOFWYbbScSlT6a6tTTfTsZm86a8mMzrLLGGCbxaa+QlUmVhOZtYOo/f3dw9GjSnXkNRN8E82PHt3tDZBIo/KTu38Jrecpbns76BpMVEaRfm4hpMJ+JtRbu0zY6/VqjUiVpBG3LoTHmo5/3wGNCFeEkkPpd9mCqCvMJCipvhJ0XWEvbZj7GtsviACLw2lmzp12FBB46rp01UQuheYbmN06DMg1CmM3fqBm0wEw8F+21v7zLnfeL5xlvpzuQgWQv7Qy67PmM5/bOqZmVbI07ZFrN3HM3n6ggns2fpHWpUNEctZWME6i6rmUxVlnwQC0d0G2HyaIwLzHZh2yLXsp0qmf/RT8J8NnDwYy/wXQ4WNhA/W6396J317/CX0GFe18VrOXFwgZsFTXR2tACvSnScRVk+oHU5L6osECVwaMUzwY/vHqm394xfysyze1bqLLE/Zfm7bFnQ0hT1sY9EH0uNjEBYsjn+r9HjHfI9Ftsugq2Tllr/QppMY1NzjRFcaJg1biXhYgK0O7uk7ukhCgJ1jqvIBdVluqH97Nm8MPLWQ9Z5KC59T5O3Zt+r/q4UjNlD2O0MPhhmORj9dgNnTLQfwiBu3wa6GC5ADxrZRCDSHKRF21Br+BhTWxNCqmXp9AFYDgR2/jZN4ffSDEqiru1Ze9xzkmpT+ei+mfUeBWbAeDv4aq++lpDfU7ahnjV79KoFZuZ/59ocYmCutRv+KWghsEI4ywt7kcVBHcfv1lZ7/6Z0uLF9au19X9be332/crvNts/Yfr50q+X/mnp26X1pX9f+t3S/tLp0tVSuFQu/WHpj0t/ev3b1yevr1/f2qY//Unb5x+XvJ/Xwf8CGVO2Mg==</latexit> t + ∆t