Robust reconstruc,on of flow in MRI C. Bertoglio, H. Carrillo, J. - - PowerPoint PPT Presentation

robust reconstruc on of flow in mri
SMART_READER_LITE
LIVE PREVIEW

Robust reconstruc,on of flow in MRI C. Bertoglio, H. Carrillo, J. - - PowerPoint PPT Presentation

Robust reconstruc,on of flow in MRI C. Bertoglio, H. Carrillo, J. Garay, D. Nolte, A. Osses, S.Uribe Bernoulli Institute University of Groningen www.math.rug.nl/~bertoglio Inverse hemodynamics This talk! 3D Geometry 2D Velocity-encoded MRI


slide-1
SLIDE 1

Robust reconstruc,on of flow in MRI

  • C. Bertoglio, H. Carrillo, J. Garay,
  • D. Nolte, A. Osses, S.Uribe

Bernoulli Institute – University of Groningen www.math.rug.nl/~bertoglio

slide-2
SLIDE 2

Inverse hemodynamics

2

2D Velocity-encoded MRI 3D Geometry 3D flow This talk!

slide-3
SLIDE 3

Magne,c resonace imaging (MRI) MRI scanner

  • 3
slide-4
SLIDE 4

Modeling of the MRI signal Current through coils generate magnetic fields

B0

B1(t)

Static field Radiofrequency field Magnetic resonance

4

slide-5
SLIDE 5

∂ϕ ∂t + (u · r)ϕ = γBz(x, t)

<latexit sha1_base64="F6ItNGAVgqlpZk6LBD1q3sfVAcg=">ABSuXic7Rzbdhu3EU5viXpz2rf2ZRPb51gnrivJuTg5U5kS7J0LDmyJNtKRFlnS5FRuS3iV1McMv6U+1fetTf6OPnQuwAMhdYMnYqR4qHYm72LlhMDMYDLCs9tqtL+w8K9r7/zs57/45a/efW/u17/57e9+f/39PzxPu4OkFj2rdvd5KAaplG7FUfP+q1+OzroJVHYqbajF9XTh/j8xVmUpK1uvN+/7EVHnfAkbjVatbAPTcfX20FQaSRhbVjphUm/FbaDylmY9JqtkW7pjz4Kblc6Yb9ZbQwHo6BSq3f7QSUOq+0wmFcIwXIwF8DPX4LKSdjphMGD49cK7i4E/Tng+PrNxbuLtBPMHmxKC9ufH3/38PhBA73fdv/01URF10RU0MREdEIhZ9uG6LUKTweygWxYLoQduRGEJbAlcteh6JkZgD3AFARQARQusp/D+Bu0PZGsM90kwJuwZc2vCXAGYgbkmYOlw3qJU/kX9gwBbxGBJtlPESPquSZgda+6IJrT48BVkWD/vUBwnvU19aIGePWrCXNatHDfhsw30f5Mf/lwAZwVUdsBK4qkFbG1q5BXk8Ml6xZ43Sc8hwUVwhTLh7y14unwlflmWh8YXSXZisbdtL85snocKxzJyHg2BFu4pKsQnpyQnQ/h7oRsbAjecFd8Lj4Rn4Il3KG7j+H+Y/ATvluEu0/hv59HQtafR30B/u5n9JaIPt8twf/P4JmfehXuBrnSL4h7IP+SIf39TPpP4Qly9NvSrtOHJwWgR7Ky7TvAd2ljG8ZHiekI/SwSdpICfuh5Mbre5mWPoE+ldESc7jMoX8vk1p9jsgLi60LvRujKPvyqXjtiJBDcSZ1FxJ0xwmLGuDonBC8K/aq+KZiaUqwt0pHQx9dhOo4aR6O0cR4GdNVRJqPL1VeAn1InXCtqU+LuQ84Je/SpB+OD2vFEOe0Hj0QFaM3Rc0CxRDN8jyUF6EC5yjMh6r8vUcEwTqw1WpOzN1oJ6jwFrCpZ/glcJR6r6cNVlWYunH0uvFbThqunLnQIlo0C7q0Oo7B0AlJHYlz6nOHehNTVjCEp+NSsV7QF2KAGF+gn0NxFcEj1A4JpfkWcg/lblMk+A7RPcGxWfmr3krumrGHoqPaKSGkvYJjUiVelKhDKgPnzXSbSJ1nwDEOXnJUFw/1C+IYeHm+tHi6qedR1BocEvdxDKUx7A9HRh8Xpa+AZvk58R7dB4CHlhVLn07liEfksf5+fkeR9is5zqbtmjedY/lSByU4vKtxSUhazyheTch6Zs0hm+C04tCTm3Scnk+Vy3bM3MrlGqPLH8A/TYzd/TRNtnACW7HAUYxfuYvjlkQ3EBjwJyfowxgeZxyO1rpH1FsefBuHUKA+pyhZPpoWeQu3aB/Btqr0EJ03qLxNR5HiqJeSrRvuGeIFknCntCgfCKl2YK1uAltAeWmA/g8J7n72TrjRMZRlSGgVvlZzRiniDg2s3VGT2o7ELelTEiZI3QAfcfxOBXztm+ISNHTc71HepHS/IeWa6PGhlZzwDo+bTK+sRbyqvsvO1H5+b5GVGWrMqtl9VraJUO1aPtA23yNYwAteziIL+WSeoFmUGnG0GE5WNYn1VPdljlSDukN+hRk2tsrSrYv1K63Of8tSUdIT/Y5rnta4SuT7qSG3VBVdnzmnG0vqvETzqRmlfPWEdbAH8PkAciC+csa4BbX4b8bkFkVb/WxO3l3AJ7d0qerCtZcKzSvm+q5OGAzZoEyNY9ot6gdHxYQ+Y5psNf23DTeB6QXSTpzuVIsUzY0yaEMZabWJ1imjz1RNvXIWl9c5RhojljxTKF6i1HpKHf95JopGBv9LpZrjVuUxdo6smIi7P3urH2ScVfZb5cgXGIZI0Tn4xreQ0k4bpeCi1d+hyKu5a1aosolreodz+dxCiTmk/YroqjWxdoP+o+Vhlcirv35NrhK70uYAgEpqxAmhtUA5iyzWeS1w415+TNRPV1obPKtFOYPSHlC+HlHenEJFTqjOfyrtQSnumUl1/Sqh+MGwujXNstwhPOGxr1Kc47x1WSxAr/jvDkDoDLFNGsTcfjnzbIRQ7Rpy2apBMZUWjeQ4zGS1DaHVKoJ7YHNTuVuHNDIuTZAL0SUesQE5l+UNxVnz92QTCY1C21phqnw+lk9Wudr0n5FRgG0nhqt3/WqfOQYN7vmgZUk5DSQ1+74wf08A3x/rYj716CcQc3x/+s4q+Mtz+aJlBkr8U2hqtXplZO1uMaj1wqP7PXr6qfIUiREzZibaoOlg25y8jitQdikimfbFURLVKbpHRK/ukUitBSvkPZgNlOfTojgdUQz1c9JVdr3udFHvUEaM8/IlUV6aoQ83iU5Iswiuz25KrbtkWyohG9ptjbxO93w6+UYFkpg7BuVkqcuZVeWP5WRh/bh1oXj/mJzNHXmVDGqVyWuUYW5108YcyDW3sjmuWn1BfqTr7x2j9odP3Tx+nsr/itKNYrWRXVXm8puTp8CanVhqUxHX7doVGKvHgYSq5rlC0Ww1YwD1yTq2Tq8S/OeCzelGTWitfsoqyl9AQzPoT1acaksS4lMduOZeWxQyuyctRCsnuWSMmUp8ORlx5jDCaqZ5OamqR+myxjnir0PLtC3M/vjiO8Jhoi1O1h+AhqpS60rvD54+qNzCpvhcxmikh9TUvZtWnXqpbSvIdp2KMJoWDmbOeN8kTWh6bgsdWBwHXvhzC/7cCx9a8KEXvm7B170a0Bzs/gcZdx/+uQPf378LS94L3xswfuiDcKvj3kbYx1bMY8jb6OU3yHNvdI0U4um2v+JxCsjKug1RTuHQl2ulpDjslc6XhHWBe94BpTp50cF9r+Q5s8wgw+Ee5eQPa0FWf0o654BjQ712nt4dsnYyjT/7jF9GSfvyO8tj+Nz2+yLOeWVKcM3JlIrqyg2IaqVD7FRhj1wF+0nxG8rLT6BFSadbXs4ko8bfK0UxnYqiWsn76Co/QB0tTMFhfQoOjSk48Fr2m4LYjy0fZH+BMUvb+VUgVkrEi5ZQ+6zrlsbw2V6WixnUrv3y54Qbg3gK+KRCOVztwSnEus0B8uFd5nZDHuky8JdVNa9VPx2PDB8bTCjJAPD5/NplJFjnWKfaTV9yqzqs7COcFs1LWX6my8IY0Vr74ghFmlShyjunio21AWeQT+D+QMo6NVSev8XS3/zeZnKblc80PLhHq7SfW45Hfa+TM9BrVDLx4vJSKFp8KzyQu5in8pVCWYR7vUe54i70F/OE25lZyg6JXLGXRk1Eb9H+QJS0Pg9Ye58PoYuQWrixUYeZwBN+FuX6wB9ia0PHJyek2+FdI5DfP+ZRahsZaZUO28P3atz9IclLCeLcljK6M9LEU9KEmd/z6MtenkvFouDnZ8b4YwcTRp+nhvAg0cJc8IN+NsiKuWyuK1sjFUWh9TexlgofvaI/Di+042OkmDnDXDeKcHvcaZbXM9h1ezxW9LtDqzUkdMO5RkhnU5qZv5ahstzLw9sOaN+qHo016CHdDr+zIu/NjG/VuF+zYt3IKIxTFVjO/DirhTirnhxvy3E/daL+10h7nde3CeFuE9K2ER7k6JHLdPlpGPv0/tioY6B9Kk0yGtLCvnfVJ+E0afbXOd2WxCm8oN+W62/I1x97yU/LkqRxNFie9clHjHuEt19XpWz0tIK5Gn/6y3rQKdb5WIMFxjfTxjX7cl/vaM+A8l/sMZ8R/LFVm+/P5R35b4+fI3rBHqC3VasEuryoh2SPG/u6qj5uJVOUq65dibsWnY5znYZ96ZnfPFjRKcNuTaKME3W3RsbT2yJBpUosdI3tGn+caPO9h8hsdXc+ap04nP9Sc26I7rHxdCvO0tu7V1DPfvknVYt/uid6/cVM13fsrRVatUrk9yvY5/fRXZloVZkS0+vNdZ1Fd4Kl9XJ1LxfFVEmBHFpksnRd5H3h0ZiF5K2wGL5cPaY81Va2/vRlJXFWpzLXanqVhudVYgxa/B8D/5vOSn2oPVU0uR/l3QTzPoV+Q9fFcGxzw/onHvCHtX3TVbq9rHU0NisyLykujl40dZwgu2FcG7FMPbEyVYJYJ6wjmft0CRVL/3mhE8tsx06eRECTUfLU/mydplJZiOl91U+TnOjeFXnv5TgXV6cxULOzQHxmhbWs3iZWdJLY5TzINR+i28905iKb3meKtavwDisgfsk+9swp/bmhKRt0N5O3eHct5rm7Vcaoe51I681Nq51HjVPEmvzAq6R2upPKpfFtD8ytLurvgGftc9WlW2iyvnc7i2T23ofuTvA1doJ/hYcCVifafl0j35faHX1OGxDm6udtdni+eGRzfX5mO94b473n5d2hM7fje+Mm1x+IG+9OlJGE62X2zvx9p5EGTn0ev5tSoTnRFbJje3jA8g2prQk2uYAGBmocyn/NyUH85E+VEJyo9mopxSdZ1ryNpHVfsxZTL9Pb5khZY6Xi4x3yzfEoyXOntuFjyknKy8Knbt68ROYO2nQS8Xz+5iWy6Yqzq6ApWCkfQLz17Yn1mJFUOWS+jSlavVXFxvGySwb26wWrEGtAlzqr8Ovw9yr8Kf7fcq+Edqg/oV/k63+nMxXWCJRbijHwKwM6tPLyjtS4rZh5UXYmydEH3sVw1qnRE7FvotpKv5HofvpMUrWkvap94W+RTG/xG6yuKgEjnpvCf3uiRbrp01prZJx3q1aVa6oxs79HwNxZ2ZbnMzuCz7OPSMuK6py0ki6dPeMTHVwDUe9m4nmKlVty0HjKWNcD58TND9/IPDUrXpbisdaPdukPrMFBCQVv0vRl9yq5BH8BnQk16xof/pth1H2HpfWQEB3fN5lkucOcBvkhkYdQnk3hDqzc9+Ab05mXeg1tX52DydlaekZ27TQD8NgA1Tiof1+0DsraI6g6BPNWrn/KbBfjk9oS+kBZ+b8e89E639lLCqRGlGlkoj3GQxdtARrA+va0RkLwIR294fgn8Q+rj/NT2O2+4G9E+CktFrXVnrCu/1twMaWfylLfqp2KwLJSnrEqJe3TPEtvYwziUfGtf62l2K8VaHOIPGVeh+cR9qN+0R0ZfWFr8KSeDy/9Iy5Bqs+aWm+W7Jf6krVYoxHoqu3CXkK5w9+X2+Sw/mBr37hZgrdKJiIMfWlnOaedHFbTfr2e4YjgurV0Kfh8L+zoEjJ8WkQI58Kn46h5YOjnL6V0yj7Ds6Xo1/i1Ih1nL0ZRew9+nw1Yx+c060nVNmzYtuhZ6DCepnk04SXKlnReGOXmycquOA/kbP/QyA2PsrzC/OYM810wXg1gnL5La6eRzPIbVBHmCl+QSTOQHoPf9/VJZn/mXUVUuAfH128sjn+v4uTFs6W7n9dfLpw4+sHgn/eFX8WH0LgXhSfia/BtXfEM1DxP8V/rl279s7ul7vV3ebu9wz6zjWJ80dh/eym/wW6m4QR</latexit><latexit sha1_base64="+BbKbiR6DTKv0w5Z2HbmNXrdvd0=">ABSuXic7RzLchvHceS8bOYlJ4dUksvakqrEsqKQlB+y3SZEkmRJUqmSEqiTVCsBbAgYAILaBfgQzC+JD+V5JZcs0n5Jh+zOzMALszC1hyeAhZJHZn+zU93T09PbOo9tqtL+w8I8rb/3oxz/56c/efmfu57/45a9+fXd3zxLu4OkFj2tdvdZL8aplG7FUdP+61+O9rvJVHYqbaj59WT+/j8+WmUpK1uvNe/6EWHnfA4bjVatbAPTUdX20FQaSRhbVjphUm/FbaDymY9JqtkW7pjz4IblY6Yb9ZbQwHo6BSq3f7QSUOq+0wmFcIwXIwF8DPn4LKcdjphMG9o1cKzi/FfTng6Or1xZuL9BPMHmxKC+ufXn3X3/93T/fvt7rs3/yIqoi6oiYGoiMiEYs+XLdFKFL4PRCLYkH0oO1QDKEtgasWPY/ESMwB7gCgIoAIofUE/h/D3YFsjeEeaEXQMubfhLADMQNyRMHa4b1MqfyD8wYIt4DIk2yngBn1VJswOtfdGEVh+egiyLh3qg4R3qS8tkLNHLdjLmtWjBny24b4P8uP/C4CM4KoOWAlc1aCtDa3cgjwS+GS9Ys+bpOeQ4CK4Qpnw9wY8Xb4UvyzLfWOMLpNsReNu2t8cWT2OFY5kZDwbgi1c0FUIT47Jzodwd0w2NgRvuC0+FR+Jj8ESbtHdh3D/IfgJ3y3C3cfw38jIevPo74Af3czektEn+W4P8n8MxPvQp3g1zpF8QdkH/JkP5uJv3H8AS5+k3pV0nDk6LQA/lZdp3gO5SxrcMj2PSEXrYJG2khP1QcuP1nUxLH0GfymiJOVzk0L+TSa0+R+SFxdaF3o1RlH35RLxyRMihOJW6Cwm64RFDXB0TgjeFXtVfFOxNCXYG6WjoY8uQnWcNA/GaGK8jOkqIs1Hnt4qvIR6kTph21If53Ie8MtfJUg/nJ5XiGPaTx6ICvG7nOaBYqhG2R5KC/CBc5RGY9V+XqOCQL1QYrcnZG60EdZ4CVpUs/xiuEo/V9OGqSjMXzj7nXqtpw1VXzlxoES2aBV1aHcdg6ISkjsQZ9blDvYkpKxjC03GpWC/oCzFAjCg/wb4G4guCRygckwvyLOSfylymSfAdonuN4jPz17wVXTVjD8UHNFJDSfuYRqRKPalQBtSHzxrpNpG6TwDijLzkgiC4fyjBOXEMvDxfWDzd1PMoag0Oifs4htIY9ocjo4+L0ldAs/yceIfuA8BDy4qlT6dyxCPyWH8/v6FI+4UcZ9N2WzTvusdyJPZLcfna4pKQNR7TvJuQ9E0aw9fB6XkhpzZpuTyfy5btmbkVSrVLlj+AfpuZO/pom2zgmLJdjgKMsQN3MfzyAZiA56EZH0Y4PM45Fa18h6i+NPg3BqlIfUZQsH02LvIVbtI9gW1V6iM4bVN6mo0hx1EtJV9o3DNEiyRhT2hQPpHSbMFa3IS2gHLTAXyekdz9bJ1xLOoyhBQq/ysZoxTRByb2TqjJ7UdiJtSJqTMETqAvuN4nIh52zfkJGjJuf6DvWjJXmPDNdHrSyM56BUfPpfWI15VX2fna989N8jIjrVkV2y+rVlGqbatH2oZbZGsYgetZREH/rBNUizIDzjaDicpGsb6qnuyxShC3yO9Qo6ZWdpVsX6p9blHeWpKOsL/Mc3zWleJXB91pLbqgqszZzRjaf3XCB51o7SvnrAOtgB+DyD2xWfOWNeAtjr8N2Nyi6KtfjYn787hk1u6VHXh2kuF5hVzfVcnDIZsUKbGMe0G9YOjYkKfMc02Gt7bhrvA9KLJ25XCmWKRua5FCGMlPrEyzTx54om3pgrS8ucw0R6x4plC9xah0mLt+cs0UjI1+F8u1xg3KYm0d9WTExdl73Vj7pOLPMl+uwDhEsaJT8a1vAaScF0vhZYufQ7FbctatUy1vUux9OYpRJzSdsV8XRrQs0H/UfKwyOZX378o1Qlf6XEAQCc1YAbQ2KAex5RrPJc6d68/Jmolqa8NnlWgnMPpDypdDyrtTiMgp1ZlP5F0opTzKS6fpVQ/GBY3ZpmWe4QnvDYVynOcd6LBagV/x3CyB0htgmDWJuv5x5NkKodg25bNWgmEqLRnIcZrLahtBqFcE9sLmp3K1DGhmXJsiF6BKP2ICcy/KG4qz5W7KJhEahba0wVT4fy6werfMVab8iowBaT43W73pVPnKMm13zwEoSchrIa3f84H6eAr6/VsT9a1DOoOb4/3Wc1fGWZ/NEyoyV+KZQ1er0slaXOPRay6Vn9lrL19VvkIRIqbsRFtUHSyb85cReoORSTvliqIonqFN0jolf3SKTWghXyHswGyvNpUZyOKIb6Oekqu153uqh3KCPGefmCKC/N0IfrRCekWQTXZ9el1l2yLZWQDe2Rl6nez6dfKMCScwdg3Ky1OXMqvLHcrKwfty6ULy/T87mjrxKBrXK5DXKMLe6aWMO5Jpb2RxXrT4jP9L1945R+8Onbp4/a0V/xWlGkXrorqrTWUnp08BtbqwVKajr1s0KrFXDwOJVc3yhSLYasaBaxL1bB3epXnPhZvSjBrR2n2UVZSeoIZH8L6NGPSWJeSmG1HsvLYoRVZOWoh2T1LpGTK0+HIS48xBhPVs0lNTVK/SZYxTxV6nt0eCXM/vjiO8Jhoi1O1u+AhqpS60rvd54+qNzCpvhMxmikh9TUvZtWnXqpbSvIdp2KMJoWDmbOeN8kTWh6bgsdWBwHXvgzC/7MCx9a8KEXvm7B170a0Bzs/gcZdx/+mQPf379zS95zL3xswfuiDcKvj3kbYx1ZMY8jb6OU3yHN3dI0U4um2v+JxEsjKug1RTuHQl2ulpDjslc6XhHWBe94BpTp50cF9r+Q5s8wgw+Ee5eQPa0FWf0o654BjQ712nt4dsnYyjT/7jF9GSfvyO8tj+Nz2+yLOeWVKcM3JlIrqyg2IaqVD7FRhj1wF+0nxK8rLj6FSadbXswko8bfLUxnYqiWsn76Co/QB0tTMFhfQoOjSk48Fr2q4LYjy3vZX+BMUvb+VUgVkrEi5ZQ+6zrlsbw2W6WixlUrv3yx4Tbg3gK+KBCOVztwQnEuskB8uFd5HZDHuky8JdVNa9VPx2PDB8bTCjJAPD5/NplJFjnWKfaTV9yqzqs7COcFs1LWX6my8IY0Vr74ghFmlShyjunio21AWeRj+D+QMo6NVSev8XS3/zeZnKblc80PLhHq7SfW45Hfa+TM9BrVDLx4vJSKFp8KzyXO5in8hVCWYR7vUe54g70F/OE25kZyg6JXLGHRk1Eb9H+QJS0Pg9Ye58PoQYuQWrixUYeZwBN+FuT6wB9ia0PHByekW+FdI5DfP+RahsZaZUO28P3atz9Lsl7CeLcljK6M9LEU9KEmd/z6MtenkvFouDnZ8b4YwcTRp+nhvAg0cJc8IN+NsiKuWyuK1sjFUWh9TexFgofvaIfD+042OkmD7NXDeLsHvYaZbXM9h1ezhG9LtNqzUkdM25RkhnU5qZv5ahszLw9sOaV+qHo016CHdDr+1Iu/NjG/VuF+zYu3L6IxTFVj2/firhTirnhxvy7E/dqL+0h7jde3MeFuI9L2ER7naJHLdPlpGPv0ftioY6B9Kk0yGtLCvnfVJ+E0afbXOd2WxCm8oN+W62/I1xd72U/LkqRxNFie9clHjHuEt19XpWz0tIK5Gn/6y3rQKdb5WIMFxjfThjXx9J/Ecz4t+X+PdnxH8oV2T58vtH/ZHEz5e/Y1QX6jTgl1aVUa0Q4r/3VUdNRevylHSLUfejE3DPsvBPvXO7JwvbpTgtCHXRhsl6D4SHUtrDwyZJrXYMbJn9HmuwfMeJr/R0fWsep08kPNuS26w8rXhTBPa7u92941LNP3mnVcrsvevfKTdV856cXbVK5fok1+v41eRbVmYFdniw3uVRX2Fp/J1dSIVz1dFhBlRbLpwUuSdR94XHo1ZSN4Ki+HL1WPKU21l609fVhJndSpzraZXabjeWYUYswbPd+H/lpNiD1pPJL0e6d8F/SDfknew3dlcMzIxr3lrB31V2ztap9PDEkNisiL70etnYcYbgn1pwD7xwMZUCWaZsI5g7tctUCT1741GJL8dM30aCUFCzVf7s3mSRmkpvNV10V+rnNd6LWX71RQnc5MxcI+D8RnVljL6m1ilSW9MEY5D0Lt/jWM42p+JbnqWL9CozDGnjPHvnOJvy5rSkReTuUN3N3KOe9tlnLpXaQS+3QS62dS41XzZP0yqyge7SWyqP6eQHNLyzt7oiv4Hfdo1Vlu7hyPoNr+9SG7kf+PnCFdoKPBFcilmj/eYl0X25/+BVlSJyjm7vd5fnimcHx/ZXpeO+Nt67Xt4dOnM7vjducv2OuPHuRBlJuF5m78wfZe9JlJFDr+fpER4ThS1ZXJzy3gPoq0JPbmGCQBmFsp8ys9N+f5MlB+UoPxgJsopVde5hqx9VLUfUazTG+fL4mRNVYqPt4i3xyPkjx3ahs+opykvCx86ub1S2TuoE0nEc/nr18iu26q4uwKWApG2scwfz3yxFqsCKpcUp+mVK3+6mLDOJlY5vVgjXIgDZhTvX4fdA7lX4s/1eZTW8Q/Ue/Spf5zudubhOkEQyg3lGJiVQX16WXlHStw2rLwIe/OY6GOvYljrtChix0K/hXQ53+PwnbR4SWtJ+9QbZ4t8aoPfaH1JERDpXBf+0xs90k2XzlpzjYzbtWqck01Zvb3CJg7K4/k+cyO4PsI9KyojonraRLZ8/4RAfXQNS7mXieqUpV23LQeMoY18NnBM3P7wk8daveluKxVs82qc9sAQFJxe9S9CW3KnkEvwEdyTUr2p9+2GUvcelNRDQHZ93meS5TRzwm2QGRl0CuTeEevOzX0BvTuYdqHV1PjZPZ+Up6ZnbfhMAvw1AjZPKx3X7gKwtorpDIE/16qf8ZgE+uTmhL6SF39sxL73Trb2UcGpEqUYWymMcZPE2kBGsT29rBCQvwtEbXu/QfzN6uP8FHa7J/gbEX5Ii0VtSes6/8WXEzph7LUN2qnIrCslGesSkn7NM/S2xjDTOKRca2/7aUYb1WoM0h8pd4H5F24z4WXVl94auwJB7PLz1jrsGqT1qa75bsl7pSdZhijPuiK3cJ+QpnT36f78KDuUHvfiHmCp2oGMixteWcZl50cdvJerYzhuPC6pXQ54Gwv3Pg0EkxKZAjn4qfzoGlg8Oc/hXT6Dse7pejX8L0kHWcjil1/D36bBVTH6znRStQ0bti16FjqMp2keTniJsiWdF0a5ebKyK84DOds/MHLDwyvML85w3wXjFcDGKdv09pJLP8BlWEucIXZNIMpMfg9319lNmfeVcRFe7B0dVri+Pfqzh58XTp9qe3F58sXPvynuCft8UfxfsQuBfFJ+JLcO1t8RU/HfxnytXry18/lOdae58y2DvnVF4vxWD876X8BiJmF4w=</latexit><latexit sha1_base64="+BbKbiR6DTKv0w5Z2HbmNXrdvd0=">ABSuXic7RzLchvHceS8bOYlJ4dUksvakqrEsqKQlB+y3SZEkmRJUqmSEqiTVCsBbAgYAILaBfgQzC+JD+V5JZcs0n5Jh+zOzMALszC1hyeAhZJHZn+zU93T09PbOo9tqtL+w8I8rb/3oxz/56c/efmfu57/45a9+fXd3zxLu4OkFj2tdvdZL8aplG7FUdP+61+O9rvJVHYqbaj59WT+/j8+WmUpK1uvNe/6EWHnfA4bjVatbAPTUdX20FQaSRhbVjphUm/FbaDymY9JqtkW7pjz4IblY6Yb9ZbQwHo6BSq3f7QSUOq+0wmFcIwXIwF8DPn4LKcdjphMG9o1cKzi/FfTng6Or1xZuL9BPMHmxKC+ufXn3X3/93T/fvt7rs3/yIqoi6oiYGoiMiEYs+XLdFKFL4PRCLYkH0oO1QDKEtgasWPY/ESMwB7gCgIoAIofUE/h/D3YFsjeEeaEXQMubfhLADMQNyRMHa4b1MqfyD8wYIt4DIk2yngBn1VJswOtfdGEVh+egiyLh3qg4R3qS8tkLNHLdjLmtWjBny24b4P8uP/C4CM4KoOWAlc1aCtDa3cgjwS+GS9Ys+bpOeQ4CK4Qpnw9wY8Xb4UvyzLfWOMLpNsReNu2t8cWT2OFY5kZDwbgi1c0FUIT47Jzodwd0w2NgRvuC0+FR+Jj8ESbtHdh3D/IfgJ3y3C3cfw38jIevPo74Af3czektEn+W4P8n8MxPvQp3g1zpF8QdkH/JkP5uJv3H8AS5+k3pV0nDk6LQA/lZdp3gO5SxrcMj2PSEXrYJG2khP1QcuP1nUxLH0GfymiJOVzk0L+TSa0+R+SFxdaF3o1RlH35RLxyRMihOJW6Cwm64RFDXB0TgjeFXtVfFOxNCXYG6WjoY8uQnWcNA/GaGK8jOkqIs1Hnt4qvIR6kTph21If53Ie8MtfJUg/nJ5XiGPaTx6ICvG7nOaBYqhG2R5KC/CBc5RGY9V+XqOCQL1QYrcnZG60EdZ4CVpUs/xiuEo/V9OGqSjMXzj7nXqtpw1VXzlxoES2aBV1aHcdg6ISkjsQZ9blDvYkpKxjC03GpWC/oCzFAjCg/wb4G4guCRygckwvyLOSfylymSfAdonuN4jPz17wVXTVjD8UHNFJDSfuYRqRKPalQBtSHzxrpNpG6TwDijLzkgiC4fyjBOXEMvDxfWDzd1PMoag0Oifs4htIY9ocjo4+L0ldAs/yceIfuA8BDy4qlT6dyxCPyWH8/v6FI+4UcZ9N2WzTvusdyJPZLcfna4pKQNR7TvJuQ9E0aw9fB6XkhpzZpuTyfy5btmbkVSrVLlj+AfpuZO/pom2zgmLJdjgKMsQN3MfzyAZiA56EZH0Y4PM45Fa18h6i+NPg3BqlIfUZQsH02LvIVbtI9gW1V6iM4bVN6mo0hx1EtJV9o3DNEiyRhT2hQPpHSbMFa3IS2gHLTAXyekdz9bJ1xLOoyhBQq/ysZoxTRByb2TqjJ7UdiJtSJqTMETqAvuN4nIh52zfkJGjJuf6DvWjJXmPDNdHrSyM56BUfPpfWI15VX2fna989N8jIjrVkV2y+rVlGqbatH2oZbZGsYgetZREH/rBNUizIDzjaDicpGsb6qnuyxShC3yO9Qo6ZWdpVsX6p9blHeWpKOsL/Mc3zWleJXB91pLbqgqszZzRjaf3XCB51o7SvnrAOtgB+DyD2xWfOWNeAtjr8N2Nyi6KtfjYn787hk1u6VHXh2kuF5hVzfVcnDIZsUKbGMe0G9YOjYkKfMc02Gt7bhrvA9KLJ25XCmWKRua5FCGMlPrEyzTx54om3pgrS8ucw0R6x4plC9xah0mLt+cs0UjI1+F8u1xg3KYm0d9WTExdl73Vj7pOLPMl+uwDhEsaJT8a1vAaScF0vhZYufQ7FbctatUy1vUux9OYpRJzSdsV8XRrQs0H/UfKwyOZX378o1Qlf6XEAQCc1YAbQ2KAex5RrPJc6d68/Jmolqa8NnlWgnMPpDypdDyrtTiMgp1ZlP5F0opTzKS6fpVQ/GBY3ZpmWe4QnvDYVynOcd6LBagV/x3CyB0htgmDWJuv5x5NkKodg25bNWgmEqLRnIcZrLahtBqFcE9sLmp3K1DGhmXJsiF6BKP2ICcy/KG4qz5W7KJhEahba0wVT4fy6werfMVab8iowBaT43W73pVPnKMm13zwEoSchrIa3f84H6eAr6/VsT9a1DOoOb4/3Wc1fGWZ/NEyoyV+KZQ1er0slaXOPRay6Vn9lrL19VvkIRIqbsRFtUHSyb85cReoORSTvliqIonqFN0jolf3SKTWghXyHswGyvNpUZyOKIb6Oekqu153uqh3KCPGefmCKC/N0IfrRCekWQTXZ9el1l2yLZWQDe2Rl6nez6dfKMCScwdg3Ky1OXMqvLHcrKwfty6ULy/T87mjrxKBrXK5DXKMLe6aWMO5Jpb2RxXrT4jP9L1945R+8Onbp4/a0V/xWlGkXrorqrTWUnp08BtbqwVKajr1s0KrFXDwOJVc3yhSLYasaBaxL1bB3epXnPhZvSjBrR2n2UVZSeoIZH8L6NGPSWJeSmG1HsvLYoRVZOWoh2T1LpGTK0+HIS48xBhPVs0lNTVK/SZYxTxV6nt0eCXM/vjiO8Jhoi1O1u+AhqpS60rvd54+qNzCpvhMxmikh9TUvZtWnXqpbSvIdp2KMJoWDmbOeN8kTWh6bgsdWBwHXvgzC/7MCx9a8KEXvm7B170a0Bzs/gcZdx/+mQPf379zS95zL3xswfuiDcKvj3kbYx1ZMY8jb6OU3yHN3dI0U4um2v+JxEsjKug1RTuHQl2ulpDjslc6XhHWBe94BpTp50cF9r+Q5s8wgw+Ee5eQPa0FWf0o654BjQ712nt4dsnYyjT/7jF9GSfvyO8tj+Nz2+yLOeWVKcM3JlIrqyg2IaqVD7FRhj1wF+0nxK8rLj6FSadbXswko8bfLUxnYqiWsn76Co/QB0tTMFhfQoOjSk48Fr2q4LYjy3vZX+BMUvb+VUgVkrEi5ZQ+6zrlsbw2W6WixlUrv3yx4Tbg3gK+KBCOVztwQnEuskB8uFd5HZDHuky8JdVNa9VPx2PDB8bTCjJAPD5/NplJFjnWKfaTV9yqzqs7COcFs1LWX6my8IY0Vr74ghFmlShyjunio21AWeRj+D+QMo6NVSev8XS3/zeZnKblc80PLhHq7SfW45Hfa+TM9BrVDLx4vJSKFp8KzyXO5in8hVCWYR7vUe54g70F/OE25kZyg6JXLGHRk1Eb9H+QJS0Pg9Ye58PoQYuQWrixUYeZwBN+FuT6wB9ia0PHByekW+FdI5DfP+RahsZaZUO28P3atz9Lsl7CeLcljK6M9LEU9KEmd/z6MtenkvFouDnZ8b4YwcTRp+nhvAg0cJc8IN+NsiKuWyuK1sjFUWh9TexFgofvaIfD+042OkmD7NXDeLsHvYaZbXM9h1ezhG9LtNqzUkdM25RkhnU5qZv5ahszLw9sOaV+qHo016CHdDr+1Iu/NjG/VuF+zYu3L6IxTFVj2/firhTirnhxvy7E/dqL+0h7jde3MeFuI9L2ER7naJHLdPlpGPv0ftioY6B9Kk0yGtLCvnfVJ+E0afbXOd2WxCm8oN+W62/I1xd72U/LkqRxNFie9clHjHuEt19XpWz0tIK5Gn/6y3rQKdb5WIMFxjfThjXx9J/Ecz4t+X+PdnxH8oV2T58vtH/ZHEz5e/Y1QX6jTgl1aVUa0Q4r/3VUdNRevylHSLUfejE3DPsvBPvXO7JwvbpTgtCHXRhsl6D4SHUtrDwyZJrXYMbJn9HmuwfMeJr/R0fWsep08kPNuS26w8rXhTBPa7u92941LNP3mnVcrsvevfKTdV856cXbVK5fok1+v41eRbVmYFdniw3uVRX2Fp/J1dSIVz1dFhBlRbLpwUuSdR94XHo1ZSN4Ki+HL1WPKU21l609fVhJndSpzraZXabjeWYUYswbPd+H/lpNiD1pPJL0e6d8F/SDfknew3dlcMzIxr3lrB31V2ztap9PDEkNisiL70etnYcYbgn1pwD7xwMZUCWaZsI5g7tctUCT1741GJL8dM30aCUFCzVf7s3mSRmkpvNV10V+rnNd6LWX71RQnc5MxcI+D8RnVljL6m1ilSW9MEY5D0Lt/jWM42p+JbnqWL9CozDGnjPHvnOJvy5rSkReTuUN3N3KOe9tlnLpXaQS+3QS62dS41XzZP0yqyge7SWyqP6eQHNLyzt7oiv4Hfdo1Vlu7hyPoNr+9SG7kf+PnCFdoKPBFcilmj/eYl0X25/+BVlSJyjm7vd5fnimcHx/ZXpeO+Nt67Xt4dOnM7vjducv2OuPHuRBlJuF5m78wfZe9JlJFDr+fpER4ThS1ZXJzy3gPoq0JPbmGCQBmFsp8ys9N+f5MlB+UoPxgJsopVde5hqx9VLUfUazTG+fL4mRNVYqPt4i3xyPkjx3ahs+opykvCx86ub1S2TuoE0nEc/nr18iu26q4uwKWApG2scwfz3yxFqsCKpcUp+mVK3+6mLDOJlY5vVgjXIgDZhTvX4fdA7lX4s/1eZTW8Q/Ue/Spf5zudubhOkEQyg3lGJiVQX16WXlHStw2rLwIe/OY6GOvYljrtChix0K/hXQ53+PwnbR4SWtJ+9QbZ4t8aoPfaH1JERDpXBf+0xs90k2XzlpzjYzbtWqck01Zvb3CJg7K4/k+cyO4PsI9KyojonraRLZ8/4RAfXQNS7mXieqUpV23LQeMoY18NnBM3P7wk8daveluKxVs82qc9sAQFJxe9S9CW3KnkEvwEdyTUr2p9+2GUvcelNRDQHZ93meS5TRzwm2QGRl0CuTeEevOzX0BvTuYdqHV1PjZPZ+Up6ZnbfhMAvw1AjZPKx3X7gKwtorpDIE/16qf8ZgE+uTmhL6SF39sxL73Trb2UcGpEqUYWymMcZPE2kBGsT29rBCQvwtEbXu/QfzN6uP8FHa7J/gbEX5Ii0VtSes6/8WXEzph7LUN2qnIrCslGesSkn7NM/S2xjDTOKRca2/7aUYb1WoM0h8pd4H5F24z4WXVl94auwJB7PLz1jrsGqT1qa75bsl7pSdZhijPuiK3cJ+QpnT36f78KDuUHvfiHmCp2oGMixteWcZl50cdvJerYzhuPC6pXQ54Gwv3Pg0EkxKZAjn4qfzoGlg8Oc/hXT6Dse7pejX8L0kHWcjil1/D36bBVTH6znRStQ0bti16FjqMp2keTniJsiWdF0a5ebKyK84DOds/MHLDwyvML85w3wXjFcDGKdv09pJLP8BlWEucIXZNIMpMfg9319lNmfeVcRFe7B0dVri+Pfqzh58XTp9qe3F58sXPvynuCft8UfxfsQuBfFJ+JLcO1t8RU/HfxnytXry18/lOdae58y2DvnVF4vxWD876X8BiJmF4w=</latexit><latexit sha1_base64="HDcfJ0vmx2ezhrRXPnD3OwPtwo=">ABSuXic7Rzbdhu3EU5viXpz2rf2ZRPb51gnrivJuZ8oJ7IlWTqWFmSbSWirLMklyIjcknvkrqY4Zf0q9q3/kfOxdgAZC7wJKxUz1UOhJ3sXPDYGYwGBZ7bVbaX9h4d83vnFL3/169+8+97cb3/3+z/8eb7f3qedgdJLXpW67a7yWE1TKN2K46e9Vv9dnTYS6KwU21HL6pnj/D5i/MoSVvd+KB/1YuO+Fp3Gq0amEfmk5utoOg0kjC2rDSC5N+K2wHlfMw6TVbI93SH30U3K10wn6z2hgORkGlVu/2g0ocVthMK8QguVgLoCfvwWV07DTCYOHJ68VnB5L+jPByc3by3cX6CfYPJiUV7cEvJnt/v+3X+IiqiLrqiJgeiISMSiD9dtEYoUfo/EolgQPWg7FkNoS+CqRc8jMRJzgDsAqAgQmg9g/+ncHckW2O4R5opYdeASxv+EsAMxB0JU4frBrXyJ/IPDNgiHkOijTJewWdV0uxAa180odWHpyDL4mGf+iDh59SXFsjZoxbsZc3qUQM+23DfB/nx/xVARnBVB6wErmrQ1oZWbkEeCXyXrHnTdJzSHARXKFM+HsHni5fi1+W5ZExRtdJtqJxN+1vjqwexwpHMjKeDcEWrugqhCenZOdDuDslGxuCN9wX4hPxKdgCfo7mO4/xj8hO8W4e5T+O/nkZD151FfgL/PM3pLRJ/vluD/Z/DMT70Kd4Nc6RfEA5B/yZD+80z6T+EJcvfTb0q7ThycFoEeysu0HwDdpYxvGR6npCP0sEnaSAn7oeTG6weZlj6BPpXREnO4yqH/IJNafY7IC4utC70boyj78pl47YiQ3EudRcSdMcJixrg6JwQvCv2qvimYmlKsHdKR0MfXYTqOGkejdHEeBnTVUSajzy9VXgJ9SJ1wralPi7lPOCXv0qQfjg9rxRDntJ49EBWjN2XNAsUQzfI8lBehAucozIeq/L1HBME6qsNVlqTszdaCeo8BawqWf4pXCUeq+nDVZVmLpx9Lr1W04arpy50CJaNAu6tDqOwdAJSR2JC+pzh3oTU1YwhKfjUrFe0BdigBhRfoJ9DcTXBI9QOCZX5FnIP5W5TJPgO0T3FsVn5q95K7pqxh6Kj2ikhpL2KY1IlXpSoQyoD5810m0idZ8AxAV5yRVBcP9QgkviGHh5vrR4uqnUdQaHBL3cQylMewPR0YfF6WvgGb5OfEe3QeAh5YVS59O5YhH5LH+fn5PkfZrOc6m7bZo3nWP5UgcluLyncUlIWs8pXk3IembNIZvgtOLQk5t0nJ5Ptct2zNzK5Rqnyx/AP02M3f0TbZwCluxwFGMP7mL45ZENxAY8Ccn6MYHmcjta6R9RbHnwbh1CgPqcsoWT6aFnkLt2gfwbaq9BCdN6i8TUeR4qiXkq60b7hniBZJwp7QoHwipdmCtbgJbQHlpgP4vC5+9k641TGUZUhoFb5Wc0Yp4g4NrN1Rk9qOxB3pUxImSN0AH3H8TgT87ZviEjR03O9R3qR0vyHnlmujxoZWc8A6Pm02vrEW8qr7LztZ+em+RlRlqzKrZfV62iVLtWj7QNt8jWMALXs4iC/lknqBZlBpxtBhOVjWJ9VT3ZY5Ug7pHfoUZNrbK0q2L9WuvzgPLUlHSE/2Oa57WuErk+6kht1QVXZy5oxtL6rxE86kZpXz1hHWwB/AFAHIovnbGuAW1+G/G5BZFW/1sTt5dwie3dKnqwrWXCs0r5vquThgM2aBMjWPaHeoHR8WEPmOabDX9tw03gekF0k6c7lSLFM2NMmhDGWm1idYpo89UTb12FpfXOcYaI5Y8UyheotR6Th3/eSaKRgb/S6Wa407lMXaOurJiIuz97qx9knF32W+XIFxiGSNE5+Ma3kNJOG6XgotXfocivuWtWqLKJa3qHc/n8Qok5pP2K6Ko1sXaKD/qPlYZXIq79+Xa4Su9LmAIBKasQJobVAOYs1nktcOtefkzUT1daGzyrRTmD0h5Qvh5R3pxCRU6ozn8m7UEp54ZlJdf0qofjBsLo1zbLcITzhsa9SnO8dVksQK/47x5A6AyxTRrE3H4582yEUO0actmqQTGVFo3kOMxktQ2h1SqCe2BzU7lbhzQyLk2QC9ElHrEBOZflDcVZ8w9kEwmNQtaYap8PpZPVrna9J+RUYBtJ4ard/1qnzkGDe75oGVJOQ0kNfu+MH9PAd8f62I+9egnEHN8f/rOKvjLc/miZQZK/FNoarV6bWTtbjGo9dcKj+z16+qnyFIkRM2Ym2qDpYNucvI4rUHYpIpn2xVEUS1Sm6R0Sv7pFIrQUr5D2YDZTn06I4HVEM9XPSVXa97nR71BGjPyFVFemqEPt4lOSLMIrs9uS627ZFsqIRvabY28Tvd8OvlGBZKYOwblZKnLmVXlj+VkYf24daF4/5SczR15lQxqlclrlGFudPGHMg1t7I5rlp9SX6k6+8do/aHT908foHK/4rSjWK1kV1V5vKXk6fAmp1YalMR1+3aFRirx4GEqua5QtFsNWMA9ck6tk6vEvzngs3pRk1orX7KspfQEMz6E9WnGpLEuJTHbTmTlsUMrsnLUQrJ7lkjJlKfDkZceYwmqmeTmpqkfpcsY54q9Dy7bQtzP74jvCYaItTtdYfgYaqUutK74+ePqjcwqb4XMZopIfU1L2bVp16qW0ryHadijCaFg5mznjfJE1oem4LHVgcB174Cwv+wgsfWvChF75uwde9GtAc7P4HGXcf/oUD39+/S0veSy98bMH7og3Cr495G2OdWDGPI2+jlN8hzf3SNFOLptr/icQrIyroNU7h0JdrpaQ47JXOl4R1gXveAaU6edHBfa/kObPMIMPhHuXkD2tBVn9KOueAY0O9dp7eHbJ2Mo0/+4xfRkn78jvLY/jc9tvsiznlSnDNyZSK6soNiGqlQ+xUY9cBftNJ8VvKy0+hRUmnW17OJKPG3y9FMZ2KolrJ+gqP0AdLUzBYX0KDo0pOPBa9tuC2I8tH2R/gTFL2/lVIFZKxIuWUPus65bG8Nl+loucZFK798t2CLcG8BXxWITyuVuCM4l1loPlwrvKbIY90mXhLirXip+Ox4YvjaYUZKB4fP5NMrIsU6xz7SaPmVWdVln4ZxgNuraS3U23hBDGitfMEIs0oUOcd08dE2oCxyB/4PJIyTg2V52+x9De/t5ncZuUzDQ/u0Srt5bjUZ+pL9NzUCvU8vFiMlJoGjyrvJC72GdyVYJZhHu9xzniHvSX84Q72RmKTomcU9GTcTvUb6AFDR+T5g7n08gRm7B6mIFRh5nwE24OxBrgL0JLY+dnF6Tb4V0TsO8f5lFaKxlJlQ749d67M0hyWsZ0vy2MpoD0tRD0pS5x2/vsy1p+dSsSj4+ZkxfjgjR5OGn+cG8OBRwpxwA/62iEq5LG4rG2OVxSG1tzEWip89Ij+N73SjoyTYfQOcd0vwe5LpFtdzWDV78pZ0uwsrdeS0S3lGSKeTmpm/luHy3MsDW86pH6oezTXoIZ2OP/fir03Mr1W4X/PiHYpoDFPV2A69uCuFuCte3O8Kcb/z4n5fiPu9F3enEHenhB0U4e6WyH7ZBn5+AfUrmiocyBNOh3SyrJy3iflN2H02TbXmc0mtKnckO9my98Yd9LyZ+rcjRlPjORYl3jLtUV69n9byEtBJ5+s962yrQ+VaJCM1icz9nVb4m/PiP9I4j+aEf+JXJHly+8f9W2Jny9/wxqhvlCnBbu0qoxohxT/u6s6ai5elaOkW068GZuGfZ6Dfe6d2Tlf3CjBaUOujTZK0N0WHUtrjw2ZJrXYMbJn9HmuwfMeJr/R0fWsep08kPNuS26w8rXlTBPa7u92941LNP3mnVcrsvevfKTdV856cXbVK5fok1+v41eRbVmYFdniw3udRX2Fp/J1dSIVz1dFhBlRbLpyUuSdR94XHo1ZSN4Ki+HL1WPKU21l609fVhJndSpzraZXabjeWYUYswbP9+H/lpNiD1rPJL0e6d8F/TSDfkXew3dlcMzIxr3nrB31V2ztap9PDUkNisir7w0etnYcYbgn1lwD71wMZUCWaZsI5g7tctUCT1741GJL8dM30aCUFCzVf7s3mSRmkpvNVt0V+rnNb6LWX71RQnc5MxcI+D8RnVljL6m1ilSW9NEY5D0Lt/jWM42p+JbnqWL9CozDGnjPAfnOJvy5rSkReTuUd3N3KOe9tlnLpXaUS+3YS62dS41XzZP0yqyge7SWyqP6VQHNry3t7olv4Xfdo1Vlu7hyvoBr+9SG7kf+PnCFdoJPBFcilmj/eYl0X25/+DVlSJyjm7vd5fnimcHx/ZXpeO+/Md7Xt4dOnM7vjducv2RuPHuRBlJuF5m78yfZO9JlJFDr+fpkR4ThS1ZXJzy/gQoq0JPbmGCQBmFsp8ys9N+dFMlB+XoPx4JsopVde5hqx9VLWfUEazTG+fL4mRNVYqPt4j3xyPkjx3ahs+oZykvCx86ubNS2TuoE0nEc/nb14iu26q4uwKWApG2h2Yv7Y9sRYrgiqX1KcpVau/utgwTmbZ2Ga1YA0yoE2YU/1+AOQexX+bL9XWQ3vUH1Av8rX+U5nLq4TJGMckM5BmZlUJ9eVt6RErcNKy/C3uwQfexVDGudFkXsWOi3kK7nexy+kxavaC1pn3rjbJFPbfAbra8oAiKd28J/eqNHunSWukXHerVpVrqnGzP4eAXNnZVuez+wIPs8+Ii0rqnPSrp09oxPdHANRL2bieZqlS1LQeNp4xPXxB0Pz8ocBTt+ptKR5r9WyT+swWEJBU/C5FX3KrkfwG9CRXLOi/em3HUbZe1xaAwHd8XmXSZ67xAG/SWZg1CWQe0OoNz/7BfTmZN6BWlfnY/N0Vp6SnrntNwHw2wDUOKl8XLcPyNoiqjsE8lSvfspvFuCTuxP6Qlr4vR3z0jvd2ksJp0aUamShPMZBFm8DGcH69LZGQPIiHL3h9eFfxD+tPs5PYbcHgr8R4e0WNRWe8K6/m/BxZR+Lkt9q3YqAstKecaqlLRP8y9jTHMJB4Z1/rbXorxVoU6g8RX6n1wHmk37o7oyuoLX4Ul8Xh+6RlzDVZ90tJ8t2S/1JWqwxRjPBJduUvIVzh78vt8Vx7MDXr3CzFX6ETFQI6tLec086KL217Ws70xHBdWr4Q+j4T9nQPHTopJgRz5VPx0jiwdHOf0r5hG32HZ0/Vq/FuQjrKW4ym9hr9Ph61i8pt1pOqbdiwbdGz0GE8TfN4wkuULem8MrNk5VdcR7I2f6RkRseZ3mF+c0Z5rtgvBrAOH2f1k4jmeU3qCLMFb4gk2YgPQa/7+uTzP7Mu4qocA9Obt5aHP9excmLZ0v3v7i/+HTh1jcP5Vcuviv+Kj6EwL0oPhPfgGvimeg4n+J/9y4ceOdva/2qnvNvR8Y9J0bEufPwvrZS/8LiFuByg=</latexit>

Velocity-encoded MRI

  • Magne,za,on vector:

5

Phase

ϕ(t)

m = [mx, my, mz]

my

mx

  • Bloch equa,on in Eulerian form:

with

Sta,c gradient Velocity Velocity-encoding gradient

Bz(x, t) = B0 + G(t) · x

<latexit sha1_base64="r/3PoEHdvtBJeRJBUVyNMNdto=">ABShXic7Rzbchu3FUlviXpz2rf2ZRPbM/LEo0py4jiZKo1sXceSIkuyrUSUNSR3KTEil/QuaUlm+CWd6fRj+trO9LF/03MBFgC5CywZO9VDpZG4iz03HJxzcHCAZa3baqa9+fn/vPuT376s5/4r3Z375q1/5rc3Pvjds7T+rR03qn1UkOa9U0ajXj6Gmv2WtFh90kqrZreh57fwRPn/+KkrSZic+6F1o+N29TRuNpr1ag+aTm48CB6evJ6tKu9s1ojuLwb9O4EwRI0zgcfB6p5fRZaK/Ww08uaLk9u3Jyfm6efYPxiQV7c/Oqjysd/F0Lsdj6Y/auoiFB0RF30RVtEIhY9uG6Jqkjh90gsiHnRhbZjMYC2BK6a9DwSQzEDuH2AigCiCq3n8P8U7o5kawz3SDMl7DpwacFfApiBuC1hQrhuUCt/Iv/AgC3iMSDaKOMVfNYkzTa09sQZtPrwFGRZPOxTDyR8QH1pgpxdasFe1q0eNeCzBfc9kB/XwFkBFchYCVwVYe2FrRyC/JI4JP1ij0/Iz1XCS6CK5QJf2/D06Vr8cuyPDLG6DrJVjTupv3NkNXjWOFIRsazAdjCFV1V4ckp2fkA7k7JxgbgDXPic/GpuA+WcJfuPoH7T8BP+G4B7u7Dfz+PhKw/j/o8/D3I6C0Sfb5bhP+fwTM/9Rrc9XOlnxf3QP5FQ/oHmfT34Qly9M/k3adODgtAD2Ul2nfA7qLGd8yPE5JR+h47SREvZDyY3X9zItfQp9KqMl5nCVQ/9eJrX6HJIXFlsXejdGUfblc/HaESEH4pXUXZWg205Y1ABH54TgXbFXxTcVS1OCvV06GvroIlTbSfNohCbGy5iuItJ85OmtwkuoF6kTtiX1cSnAb/8NYL0w+l5pRjylMajC7Ji7L6kWaAYukGWh/IiXOAcldFYla/nmCBQXy2w0rqcvdFKUOcpYNXI8k/hKvFYTQ+uajRz4exz6bWaFlx15MyFtGkWdCl1VEMhk5I6khcUJ/b1JuYsoIBPB2VivWCvhADxJDyE+xrIL4keITCMbkiz0L+qcxlzgi+TXRvUnxm/pq3oqtm7IH4mEZqIGmf0ojUqCcVyoB68Fkn3SZS9wlAXJCXBE9w8luCSOgZfnC4unm3oeRa3BAXEfxVAaw/5wZPRxUfoKaJafEe/TfQB4aFmx9OlUjnhEHuv57cUab+U42zabpPmXfdYDsVhKS7fWFwSsZTmncTkv6MxvBNcHpeyKlFWi7P57ple2ZuhVLtk+X3od9m5o4+2iIbOKVsl6MAY+zBXQy/PLKB2IAnVbI+jPFB5vFIrWNkvcXxp0E4dcpDQhkly0fTIm/hFu0j2FaTHqLzBpW36ShSHPVS0pX2DfcM0SRJ2BMalE+kNFuwFjehLaDctA+fFyR3L1tnMo4qjIE1Co/qxvjFBHs2yd0ZXaDsSslAkpc4QOoO84HufijnO2b8jIUZdzfZv60ZS8h56ZLg9a2RnPwKj59Np6xJvKq+x87YfnJnmZkdasiu3XVaso1a7VI23DTbI1jMBhFlHQP0OCalJmwNlmMFbZKNZXzZM91gjiLvkdatTUKku7ItautT4PKE9NSUf4P6Z5XusqkeujtRWKLg6c0EzltZ/neBRN0r76gnrYAvgDwDiUHzhjHUNaAvhvxmTmxRt9bMZeXcJn9zSoaoL14qNK+Y67uQMBiyQZkax7Tb1A+Oigl9xjTYK/tuWm0D0gvknRmcqVYomxonEMZykytR7BMH3uibGrdWl9c5xhojljxTKF6i1HpOHf95JopGBv9LpZrjduUxdo6sqIi7P3mrH2ScWfZL5cgXGIZI0Tn4xqeRUk4bpeCi0d+hyIOctatUy1vUux9PYpRJzSdsV8XRrQM0H/UfKwyOZX378s1Qkf6XEAQCc1YAbQ2KAex5RrNJS6d68/xmolqa8FnjWgnMPoDyperlHenEJFTqjOfy7uqlPLCM5Pq+lVC8YNhdWuaZbkDeMJjX6M4x3nrkpiHXvHfXYDQGWKLNIi5/VLm2Qih2jXklWDYipNGslRmPFqG0KrVQT3wOamcrc2aWRUmiAXokM8YgNyJsbirPm78gmEhqFlrXCVPl8LN6tM7XpP2KjAJoPXVav+tV+dAxbnbNAytJyKkvr93xg/v5CvD9tSLuX4NyBjXH/6/jrI63PJsnUmasxJ8JVa1Or52sxTUeveZS+Zm9vJV5SsUIWLKTrRFhWDZnL8MKVK3KSKZ9sVSFUkUnSPiF7okUitBSvkPZgNlOfTpDgdUQz1c9JVdr3udFvU0aM8/IVUV6cog+3iE6VZhFcn92SWnfJtlhCNrTbOnmd7vlk8g0LJDF3DMrJEsqZVeWP5WRh/bh1oXj/kJzNHXmVDGqVyWuUQW5108bsyzW3sjmuWn1BfqTr72j9odP3Tx+jsr/itKdYrWRXVXm8peTp8CanVhqUxHXzdpVGKvHvoSq5blC0WwtYwD1yTCbB3eoXnPhZvSjBrR2n2YVZSeoIZH8L6NGPSWJOSmG0nsvLYphVZOWpVsnuWSMmUp8Ohlx5j9MeqZ+OaGqc+S5Zxhyr0PLtC3M/vjiO8Jhoi1O1u+BhqpS60rv954+qNzCpvhMxmikh9TUvZtWSL3UthVku05FGcWDmbOeH9GmtD03Bbatzj2vfAXFvyF75qwVe98KEFH3o1oDnY/Q8y7j78Cwe+v3+XlryXvjYgvdFG4RfG/E2xjqxYh5H3kYpv0Oa+6VphZNtf8TiZdGVNBrilYOhVCulpDjklc6XhGgnc8A8r086MC+1+V5s9qBh8I9y4he1oTsvphRl3xDGh2Dmnt4dsnYyjT/7jF9GSfvyO8tj+Nz2+yLOWVKcM3JlIrqyg2IaqVD7FRhj1wB+0nxa8rLT6FSadbXkwlo8bfL0UxnYiWsn76Co/QB3NT8BhbQIOjQk48Fr264LYjy0fZn+BMUvb+VUglkvEi6ZQ+6xrlsbw2X6Wi5xkUrv3y3YItw7wFbEuqvK5W4JziXWeg+XCu8pshj3SZeEuKmteKn47hu+1p9Skr7h8/k0ysixRrHPtJoeZVahrLNwTjAde2lOhtviAGNlS+YIRZIYqcY7r4aBtQFrkD/sSRlmnhsrzt1j6m9/bTG7T8pmEB/dohfZzy/EIp+rL5BzUCrV8vBiPFJoGzyrP5S72uVyVYBbhXu9xjrgH/eU84XZ2hqJdImfck1ET8buULyAFjd8V5s7nY4iRW7C6WIaRxlwE+4OxCpgb0LupPTa/KtKp3TMO9fZBEa5kJ1c57I9f6LM1hCevZkjy2MtqDUtSDktR5x68nc+3JuVQsCn5+ZowfTMnRpOHnuQE8eJQwJ9yAvy2iUi6L28rGWGVxSO1tjIXiZ4/ID+M72egoCXbfAOfdEvweZ7rF9RxWzR6/Jd3uwkodOe1SnlGl0lnmb+W4fLMywNbXlE/VD2a9ADOh3/you/Oja/1uB+1Yt3KIRTFVjO/TiLhfiLntxvynE/caL+20h7rde3J1C3J0SdlCEu1six+2RZeTjH1C7oqHOgZzR6ZBmlpXzPim/CaPtrnObJ5Bm8oN+W6/I1x972U/LkqRxNFie9clHjHuEN19TCr5yWklcjTf9bVoHOt0pEGK6xPp6yr9sSf3tK/EcS/9GU+I/lixfv+ob0v8fPkb1gj1hDot2KFVZUQ7pPjfXdVRc/GKHCXdcuLN2DTsxzsV96ZnfPFjRKcNuTaKME3W3RtrS2bsg0rsW2kT2jz3MNnvcw+Y2OjmfNE9LJDzXnNukOK19Xwjyt7fZue9dQz5p1XL7b7o3Ss3VfOdn3J01SqV65Ncr+NfX0W2aWFWZIsP73UW9RWeytfViVQ8XxURZkSx6cpJkXceV94OGIheSshi9XjylPtZmtP31ZSZzVqcy1ml6l4XpnBWLMKjzfh/9bTopdaD2X9Lqkfxf0kwz6JXkP35XBMc+PaNy7wt5Vd83WqvbxJDYrIi89NLoZmPHGYIL9qUB+8QDG1MlmGXCOoK5XzdPkdS/NxqR/HbM9GmkChJqvtqfzZM0Sksxna+6JfJznVtCr718p4JCOjMVC/s8EJ9ZYS2rt4lVlvTCGOU8CLXf4lvPNCbiW56nivXLMA6r4D0H5Dub8Oe2pkTk7VDO5u5Q3vHaZj2X2lEutWMvtVYuNV41j9Mrs4Lu0loqj+qfC2h+aWl3T3wNv2serSrbxZXzBVzbpzZ0P/L3gSu0E3wiuBKxSPvPi6T7cvDrylD4hzd3O0uzxfPDI7ur0zGe/+N8d738m7TmdvRvXGT6/fEjXcnykjC9TJ7Z/4ke0+ijBx6Pf82JcJzoqgtk5tbxocQbU3o8TVMADTUOZTfm7Kj6aivF6C8vpUlFOqrnMNWfuoaj+hjGaJ3j5fFENrFR8vEu+ORole7UNnxCOUl5WfjUzZuXyNxBm0wins/fvER23VTF2WwFIy0OzB/bXtiLVYEVS6pT1OqVn91sWGczLKxzWrBKmRAmzCn+uvwByD3CvzZfq+yGt6h+pB+la/znc5cXCdIhnlBnIMzMqgPr2svCMlbhtWXoS92SH62KsY1jpNitix0G8hXc/3OHwnLV7SWtI+9cbZIp/a4DdaX1IERDq3hP/0Rpd06Gz1lwj47xbtapcU42Z/T0C5s7Ktjyf2RZ8n1IWlZUZ6SVdOjsGZ/o4BqIejcTzPVqGpbDhpPGeN6+IKg+flDgadu1dtSPNbq2Sb1mS0gIKn4XYqe5FYj+A3oCO5ZkX70287DLP3uLQGArj8y7jPHeJA36TN+oSyD3hlBvfvYK6M3IvAO1rs7H5umsPCU9c9tvAuC3AahxUvm4bu+TtUVUdwjkqV79lN8swCezY/pCWvi9HXekd7q1lxJOnSjVyUJ5jIMs3gYygvXobY2A5EU4esProz+If1t9vDOB3R4I/kaEH9NiUVutMev6vwUXU/qxLPWt2qkILCvlGatS0j7Ns/Q2xiCTeGhc6297KcZbEeoMEl+p98F5pN24O6Ijqy98VS2Jx/NL15hrsOqTlua7JfulrlQdphjkejIXUK+wtmT3+e78mBu0LtfiLlMJyr6cmxtOSeZF13c9rKe7Y3guLC6JfR5JOzvHDh2UkwK5Min4qdzZOngOKd/xTR6DsuerFej34J0lLUcT+g1/H06bBXj36wzmVQtw4Zti56GDuNpmsdjXqJsSeFUW6erOyK80DO9o+M3PA4yvMb84w3wXj1QDG6TlaOw1lt+gijBX+IJMmr70GPy+r08z+zPvKqLCPTi5cXNh9HsVxy+eLs59PrfwZP7mVw8F/7wn/ig+gsC9ID4TX4Fr74qnoOK/iX+If4p/7b23N7f3yd59Bn3HYnze2H97P3lv3ABcAQ=</latexit><latexit sha1_base64="eY42ZkhMymorDpASyPmOfSv4BM4=">ABShXic7Rzbchu3FUlviXqJ0761L5vYnpEnHlWSHcfJVKl6zqWFmSbcWirOFlKTIil/QuaUlm+Bd960y/pq/tTB/zNz0XYAGQu8CSsVM9VBqJu9hzw8E5BwcHWFa6rWbSm5/4b3f/bzX/zyVx98OPr3/z2dx9d+/j3z5JOP6GT6udVic+rJSTsNWMwqe9Zq8VHnbjsNyutMLnlbNH+Pz56zBOmp3oHfZDY/b5dOoW9Wyz1oOrl2P3h48ma21C73GpV6cHE76N0KgiVonA8+C1Tz+iy0lq1Ti9tuji5dn1+bp5+gvGLBXlx/cGnpc/+9sODy93Ox7N/FyVREx1RFX3RFqGIRA+uW6IsEvg9EgtiXnSh7VgMoC2GqyY9D8VQzABuH6BCgChD6xn8P4W7I9kawT3STAi7Clxa8BcDZiBuSpgaXNeplT+Rf2DA5vEYEG2U8RI+K5JmG1p7ogGtPjwFWRQP+9QDCe9TX5ogZ5dasJdVq0d1+GzBfQ/kx/+XABnCVQ2wYriqQlsLWrkFecTwyXrFnjdIz2WC+EKZcLfm/B06Ur8siyPjDG6SrLljbtpfzNk9ThWOJKh8WwAtnBJV2V4ckp2PoC7U7KxAXjDnPhSfC7ugSXcpru7cH8X/ITvFuDuHvz384jJ+rOoz8Pf/ZTeItHnu0X4/wU81OvwF0/U/p5cQfkXzSkv59Kfw+eIHc/Ya069jBaQHobxM+w7QXUz5FuFxSjpCDxunjZSwH0puvL6Taulz6FMRLTGHywz6d1Kp1eQvDfutC7MYqyL5+JN4IORCvpe7KBN12wqIGODrHBO+KvSq+qViaEOzNwtHQRxeh2k6aRyM0MV5GdBWS5kNPbxVeTL1InLAtqY8LOQ/45a8QpB9Ozyv5kKc0Hl2QFWP3Bc0C+dB1sjyUF+EC56iMxqpsPUcEgfpqgZVW5eyNVoI6TwCrQpZ/Clex2p6cFWhmQtnwuv1bTgqiNnLrSIJs2CLq2OYjB0TFKH4pz63KbeRJQVDODpqFSsF/SFCGlJ9gXwPxNcEjFI7JXkW8k9kLtMg+DbRvU7xmflr3oqumrEH4jMaqYGkfUojUqGelCgD6sFnlXQbS93HAHFOXnJENw/lOCOAZeni8tnm7qWRS1BgfEfRDaQz7w5HRx0XpK6BZfkZ8SPcB4KFlRdKnEzniIXmsv58vKNJ+LcfZtN0mzbvusRyKw0JcvrW4xGSNpzTvxiR9g8bwbXB6nsupRVouzueqZXtmboVS7ZPl96HfZuaOPtoiGzilbJejAGPswV0EvzygdiAJ2WyPozxQerxSK1jZL358adOFXKQ2oyShaPpnewi3aR7CtIj1E5w0qb9NRJD/qJaQr7RvuGaJkrAn1CmfSGi2YC1uQltAuWkfPs9J7l6zjiVcVRlCKhVflY1xikjo10ndGV2g7ErJQJKXOEDqDvOB5n4pZztq/LyFGVc32b+tGUvIemS4LWtkZz8Co+eTKesTbyqvsfO3H5yZmZHWrIrtV1WrKNWu1SNtw02yNYzAtTSioH/WCKpJmQFnm8FYZSNfXxVP9lghiNvkd6hRU6s7YpYu9L6PKA8NSEd4f+I5nmtq1iuj9pSWzXB1ZlzmrG0/qsEj7pR2ldPWAdbAH8AEIfiK2esq0NbDf6bMblJ0VY/m5F3F/DJLR2qunDtpUTzirm+qxEGQ9YpU+OYdpP6wVExps+IZhrstT03jfYB6YWSzkymFEuUDY1zKEKZqfUIluljT5RNrVvri6scA80Ry58pVG8xKh1nrp9cMwVjo9Fcq1xk7JYW0dGXFx9l4z1j6J+LPMl0swDqGsceKTUS2vgiRc10ugpUOfAzFnWau2iHx583r30mMqn5hO0qP7p1gAb6j5qPVSan8v59uUboSJ8LCKmGSuA1jrlILZco7nEhXP9OV4zUW0t+KwQ7RhGf0D5cpny7gQickJ15jN5V5ZSntmUl2/il+MKxuTdIsdwBPeOwrFOc4b10S89Ar/rsNEDpDbJEGMbdfSj0bIVS7hlyalBMpUkjOQozXm1DaLWK4B7Y3FTu1iaNjEoTZEJ0iEdkQM6keUN+1vwd2URMo9CyVpgqn49kVo/W+Ya0X5JRAK2nSut3vSofOsbNrnlgJQk59eW1O35wP18Dvr9WxP2rU86g5vj/dZzV8Zn81jKjJX4hlDV6uTKyZpf49FrLpWf2WsvX1W+RBEiouxEW1QNLJvzlyF6jZFJNO+WKo8iWoU3UOiV/NIpNaCJfIezAaK82lSnA4phvo56Sq7Xne6qLcpI8Z5+ZIoL07RhxtEp0yzCK7Pbkitu2RbLCAb2m2VvE73fDL5hjmSmDsGxWSpyZlV5Y/FZGH9uHWheP+YnM0deZUMapXJa5RBZnXTxuzLNbeyOa5afUV+pOvbaP2h0/dNPH6Oyv+K0pVitZ5dVebyl5GnwJqdWGpTEdfN2lUIq8e+hKrkuYLebCVlAPXJGrpOrxD854LN6EZNaS1+zCtLCX0BDM+hPVpxqSxJiUx205k5bFNK7Ji1Mpk9yRkilLh0MvPcboj1XPxjU1Tn2WLOMWVeh5dtsW5n58fhzhMdEWp2qt3wMNVaXWld7vPX1QuYVN8ZmM0UgPqal7N60a9VLbVpDuOuVhNCwczJzxvkGa0PTcFtq3OPa98OcW/LkXvmzBl73wNQu+5tWA5mD3P0i5+/DPHfj+/l1Y8l54SML3hdtEH5txNsY68SKeRx564X8DmnuF6aZWDTV/k8oXhlRQa8pWhkUanK1hByXvNLxirAmeMczoEw/Oyqw/5Vp/iyn8IFw7xKypzUhqx+m1BXPgGbnGq09fPtkDGX6H7eYnuzd4TX9qfxuc0XedZS4oyRq5IRFd2kE8jEWq/AmPsGsBvOil+Q3n5KbQo6XTLy6lk1Pj7hSgmE1FUK3kfXeUHqKP5CTisTcChPgEHXst+kxP7seWT9C8wZmk7vwrEcoF40Rqn3XN0hg+209zkZNUavd+2Q7hVgG+JNZFWT53S3Amsc4ysFx4l6nNsEe6LNxFZc1LxW/HfcPX+lNK0jd8PptGETnWKPaZVtOjzKom6ycE0xHXupzsbrYkBj5YsvGFWiCLnmC4+2gaURe7A/76EUdapobL8LZL+5vc2k9u0fCbhwT1aof3cYjxqU/Vlcg5qhVo8XoxHCk2DZ5Xnchf7TK5KMItwr/c4R9yD/nKecDM9Q9EukDPuyaiJ+F3KF5Cxu8Kc+fzMcTILVhdLMPI4wy4CXcHYhWwN6Fl3cnpDflWmc5pmPcv0wiNtcyYaue9kWt9luawgPVsSR5bKe1BIepBQeq849eTufbkXEoWBT8/M8YPpuRo0vDz3AePEqYE27A3xZRKZbFbaVjrLI4pPYuxkLxs0fkx/GdbHSUBLtvgfNuAX6PU93ieg6rZo/fkW53YaWOnHYpzyjT6aRG6q9FuDz8sCW19QPVY/mGvSATse/9uKvjs2vFbhf9eIdinAEU9XYDr24y7m4y17cb3Nxv/XivsjFfeHF3cnF3SlgB3m4uwVy3B5ZRjb+AbUrGuocSINOhzTrJz3SflNGH2zXVmswFtKjfku+nyN8bd91Ly56ocTRQlvnNR4h3jDtXVa2k9LyathJ7+s962cnS+VSDCcI318ZR93Zb421PiP5L4j6bEfyxXZNny+0d9W+Jny1+3Rqgn1GnBDq0qQ9ohxf/uqo6ai1fkKOmWE2/GpmGfZWC/9s7snC9uFOC0IdGwXobou2pbV1Q6ZxLbaN7Bl9nmvwvIfJb3R0PGueGp38UHNuk+6w8nUpzNPabu+2dw317JN1WrXY7ovevXJTNd/5KUZXrVK5Psn1Ov71VWSbFmZJtvjw3qRX+GpfF2dSMXzVSFhSbLp0UeR94WHIxaStcJi+GL1mOJUm+n605eVRGmdylyr6VUarndWIMaswvN9+L/lpNiF1jNJr0v6d0E/SaFfkfwXREc8/yIxr0t7F12ytah9PDInNisgrL41uOnacIbhgXxmwTzywEVWCWSasI5j7dfMUSf17oyHJb8dMn0bKIKHmq/3ZPEmjtBTR+aobIjvXuSH02st3KqhGZ6YiYZ8H4jMrGX1NrHKkl4ao5wFofZbfOuZ+kR8i/NUsX4ZxmEVvOeAfGcT/tzWFIusHcrZzB3KW17brGZSO8qkduyl1sqkxqvmcXpFVtBdWktlUf1LDs2vLe3uiW/gd82jVW7uHI+h2v71IbuR/Y+cIl2gk8EVyIWaf95kXRfbH/4DWVInKObu93F+eKZwdH9lcl47813vte3m06czu6N25y/Z648e5EUm4XmbvzJ+k70kUkUOv59+lRHhOFLVlcnPL+BCirQk9voYJAGYaynzKz0350VSU1wtQXp+KckLVda4hax9V7SeU0SzR2+eLYmiNlYqPt8k3R6Mkz53ahk8oJykuC5+6efsSmTtok0nE8/nbl8ium6o4uwyWgpF2B+avbU+sxYqgyiX1aUrV6q8u1o2TWTa2WS1YhQxoE+ZUfx3+AORegT/b71VWwztUn9Cv8nW+05mL6wRJKPcQI6BWRnUp5eVdyTEbcPKi7A3O0QfexXBWqdJETsS+i2kq/keh+kxStaS9qn3jhb5FMb/EbrK4qASOeG8J/e6JuOnTWmtknHerVpVrqjGzv0fA3FnZlucz24LPsw9Jy4rqjLSDp094xMdXANR72bieaYKVW2LQeMpY1wPnxM0P38o8NSteluKx1o926Q+swUEJBW/S9GT3CrkEfwGdCjXrGh/+m2HYfoel9ZAQHd83mWc5y5xwG+S6Rt1CeReF+rNz14OvRmZd6DW1fnYLJ0Vp6RnbvtNAPw2ADVOKh/X7X2ytpDqDoE81auf8psF+GR2TF9IC7+345b0Trf2EsKpEqUqWSiPcZDG20BGsB69rRGQvAhHb3h9+kfxH6uPtyaw2wPB34jwU1osaqs1Zl3/t+B8Sj+Vpb5TOxWBZaU8Y5UK2qd5lt7GKQSD41r/W0v+XgrQp1B4iv1PjiPtBt3R3Rk9YWvygXxeH7pGnMNVn2Swny3ZL/UlarD5GM8Eh25S8hXOHvy+3yXHswNevcLMZfpREVfjq0t5yTzovbXtqzvREcF1a3gD6PhP2dA8dOinGOHNlU/HSOLB0cZ/Qvn0bPYdmT9Wr0W5CO0pbjCb2Gv0+HrWL8m3Umk6pl2LBt0dPQYTxN83jMS5Qt6bwzMyTlV1xHsjZ/pGRGx6neYX5zRnmu2C8GsA4PUdrp6HM8utUEeYKX5BK05ceg9/39Xlqf+ZdSZS4ByfXri+Mfq/i+MXTxbkv5xaezF9/8FDwzwfiT+JTCNwL4gvxAFx7VzwFf9D/FP8S/x74O9ub27e/cY9P3JM4fhPWz9f/AvjpcYo=</latexit><latexit sha1_base64="eY42ZkhMymorDpASyPmOfSv4BM4=">ABShXic7Rzbchu3FUlviXqJ0761L5vYnpEnHlWSHcfJVKl6zqWFmSbcWirOFlKTIil/QuaUlm+Bd960y/pq/tTB/zNz0XYAGQu8CSsVM9VBqJu9hzw8E5BwcHWFa6rWbSm5/4b3f/bzX/zyVx98OPr3/z2dx9d+/j3z5JOP6GT6udVic+rJSTsNWMwqe9Zq8VHnbjsNyutMLnlbNH+Pz56zBOmp3oHfZDY/b5dOoW9Wyz1oOrl2P3h48ma21C73GpV6cHE76N0KgiVonA8+C1Tz+iy0lq1Ti9tuji5dn1+bp5+gvGLBXlx/cGnpc/+9sODy93Ox7N/FyVREx1RFX3RFqGIRA+uW6IsEvg9EgtiXnSh7VgMoC2GqyY9D8VQzABuH6BCgChD6xn8P4W7I9kawT3STAi7Clxa8BcDZiBuSpgaXNeplT+Rf2DA5vEYEG2U8RI+K5JmG1p7ogGtPjwFWRQP+9QDCe9TX5ogZ5dasJdVq0d1+GzBfQ/kx/+XABnCVQ2wYriqQlsLWrkFecTwyXrFnjdIz2WC+EKZcLfm/B06Ur8siyPjDG6SrLljbtpfzNk9ThWOJKh8WwAtnBJV2V4ckp2PoC7U7KxAXjDnPhSfC7ugSXcpru7cH8X/ITvFuDuHvz384jJ+rOoz8Pf/ZTeItHnu0X4/wU81OvwF0/U/p5cQfkXzSkv59Kfw+eIHc/Ya069jBaQHobxM+w7QXUz5FuFxSjpCDxunjZSwH0puvL6Taulz6FMRLTGHywz6d1Kp1eQvDfutC7MYqyL5+JN4IORCvpe7KBN12wqIGODrHBO+KvSq+qViaEOzNwtHQRxeh2k6aRyM0MV5GdBWS5kNPbxVeTL1InLAtqY8LOQ/45a8QpB9Ozyv5kKc0Hl2QFWP3Bc0C+dB1sjyUF+EC56iMxqpsPUcEgfpqgZVW5eyNVoI6TwCrQpZ/Clex2p6cFWhmQtnwuv1bTgqiNnLrSIJs2CLq2OYjB0TFKH4pz63KbeRJQVDODpqFSsF/SFCGlJ9gXwPxNcEjFI7JXkW8k9kLtMg+DbRvU7xmflr3oqumrEH4jMaqYGkfUojUqGelCgD6sFnlXQbS93HAHFOXnJENw/lOCOAZeni8tnm7qWRS1BgfEfRDaQz7w5HRx0XpK6BZfkZ8SPcB4KFlRdKnEzniIXmsv58vKNJ+LcfZtN0mzbvusRyKw0JcvrW4xGSNpzTvxiR9g8bwbXB6nsupRVouzueqZXtmboVS7ZPl96HfZuaOPtoiGzilbJejAGPswV0EvzygdiAJ2WyPozxQerxSK1jZL358adOFXKQ2oyShaPpnewi3aR7CtIj1E5w0qb9NRJD/qJaQr7RvuGaJkrAn1CmfSGi2YC1uQltAuWkfPs9J7l6zjiVcVRlCKhVflY1xikjo10ndGV2g7ErJQJKXOEDqDvOB5n4pZztq/LyFGVc32b+tGUvIemS4LWtkZz8Co+eTKesTbyqvsfO3H5yZmZHWrIrtV1WrKNWu1SNtw02yNYzAtTSioH/WCKpJmQFnm8FYZSNfXxVP9lghiNvkd6hRU6s7YpYu9L6PKA8NSEd4f+I5nmtq1iuj9pSWzXB1ZlzmrG0/qsEj7pR2ldPWAdbAH8AEIfiK2esq0NbDf6bMblJ0VY/m5F3F/DJLR2qunDtpUTzirm+qxEGQ9YpU+OYdpP6wVExps+IZhrstT03jfYB6YWSzkymFEuUDY1zKEKZqfUIluljT5RNrVvri6scA80Ry58pVG8xKh1nrp9cMwVjo9Fcq1xk7JYW0dGXFx9l4z1j6J+LPMl0swDqGsceKTUS2vgiRc10ugpUOfAzFnWau2iHx583r30mMqn5hO0qP7p1gAb6j5qPVSan8v59uUboSJ8LCKmGSuA1jrlILZco7nEhXP9OV4zUW0t+KwQ7RhGf0D5cpny7gQickJ15jN5V5ZSntmUl2/il+MKxuTdIsdwBPeOwrFOc4b10S89Ar/rsNEDpDbJEGMbdfSj0bIVS7hlyalBMpUkjOQozXm1DaLWK4B7Y3FTu1iaNjEoTZEJ0iEdkQM6keUN+1vwd2URMo9CyVpgqn49kVo/W+Ya0X5JRAK2nSut3vSofOsbNrnlgJQk59eW1O35wP18Dvr9WxP2rU86g5vj/dZzV8Zn81jKjJX4hlDV6uTKyZpf49FrLpWf2WsvX1W+RBEiouxEW1QNLJvzlyF6jZFJNO+WKo8iWoU3UOiV/NIpNaCJfIezAaK82lSnA4phvo56Sq7Xne6qLcpI8Z5+ZIoL07RhxtEp0yzCK7Pbkitu2RbLCAb2m2VvE73fDL5hjmSmDsGxWSpyZlV5Y/FZGH9uHWheP+YnM0deZUMapXJa5RBZnXTxuzLNbeyOa5afUV+pOvbaP2h0/dNPH6Oyv+K0pVitZ5dVebyl5GnwJqdWGpTEdfN2lUIq8e+hKrkuYLebCVlAPXJGrpOrxD854LN6EZNaS1+zCtLCX0BDM+hPVpxqSxJiUx205k5bFNK7Ji1Mpk9yRkilLh0MvPcboj1XPxjU1Tn2WLOMWVeh5dtsW5n58fhzhMdEWp2qt3wMNVaXWld7vPX1QuYVN8ZmM0UgPqal7N60a9VLbVpDuOuVhNCwczJzxvkGa0PTcFtq3OPa98OcW/LkXvmzBl73wNQu+5tWA5mD3P0i5+/DPHfj+/l1Y8l54SML3hdtEH5txNsY68SKeRx564X8DmnuF6aZWDTV/k8oXhlRQa8pWhkUanK1hByXvNLxirAmeMczoEw/Oyqw/5Vp/iyn8IFw7xKypzUhqx+m1BXPgGbnGq09fPtkDGX6H7eYnuzd4TX9qfxuc0XedZS4oyRq5IRFd2kE8jEWq/AmPsGsBvOil+Q3n5KbQo6XTLy6lk1Pj7hSgmE1FUK3kfXeUHqKP5CTisTcChPgEHXst+kxP7seWT9C8wZmk7vwrEcoF40Rqn3XN0hg+209zkZNUavd+2Q7hVgG+JNZFWT53S3Amsc4ysFx4l6nNsEe6LNxFZc1LxW/HfcPX+lNK0jd8PptGETnWKPaZVtOjzKom6ycE0xHXupzsbrYkBj5YsvGFWiCLnmC4+2gaURe7A/76EUdapobL8LZL+5vc2k9u0fCbhwT1aof3cYjxqU/Vlcg5qhVo8XoxHCk2DZ5Xnchf7TK5KMItwr/c4R9yD/nKecDM9Q9EukDPuyaiJ+F3KF5Cxu8Kc+fzMcTILVhdLMPI4wy4CXcHYhWwN6Fl3cnpDflWmc5pmPcv0wiNtcyYaue9kWt9luawgPVsSR5bKe1BIepBQeq849eTufbkXEoWBT8/M8YPpuRo0vDz3AePEqYE27A3xZRKZbFbaVjrLI4pPYuxkLxs0fkx/GdbHSUBLtvgfNuAX6PU93ieg6rZo/fkW53YaWOnHYpzyjT6aRG6q9FuDz8sCW19QPVY/mGvSATse/9uKvjs2vFbhf9eIdinAEU9XYDr24y7m4y17cb3Nxv/XivsjFfeHF3cnF3SlgB3m4uwVy3B5ZRjb+AbUrGuocSINOhzTrJz3SflNGH2zXVmswFtKjfku+nyN8bd91Ly56ocTRQlvnNR4h3jDtXVa2k9LyathJ7+s962cnS+VSDCcI318ZR93Zb421PiP5L4j6bEfyxXZNny+0d9W+Jny1+3Rqgn1GnBDq0qQ9ohxf/uqo6ai1fkKOmWE2/GpmGfZWC/9s7snC9uFOC0IdGwXobou2pbV1Q6ZxLbaN7Bl9nmvwvIfJb3R0PGueGp38UHNuk+6w8nUpzNPabu+2dw317JN1WrXY7ovevXJTNd/5KUZXrVK5Psn1Ov71VWSbFmZJtvjw3qRX+GpfF2dSMXzVSFhSbLp0UeR94WHIxaStcJi+GL1mOJUm+n605eVRGmdylyr6VUarndWIMaswvN9+L/lpNiF1jNJr0v6d0E/SaFfkfwXREc8/yIxr0t7F12ytah9PDInNisgrL41uOnacIbhgXxmwTzywEVWCWSasI5j7dfMUSf17oyHJb8dMn0bKIKHmq/3ZPEmjtBTR+aobIjvXuSH02st3KqhGZ6YiYZ8H4jMrGX1NrHKkl4ao5wFofZbfOuZ+kR8i/NUsX4ZxmEVvOeAfGcT/tzWFIusHcrZzB3KW17brGZSO8qkduyl1sqkxqvmcXpFVtBdWktlUf1LDs2vLe3uiW/gd82jVW7uHI+h2v71IbuR/Y+cIl2gk8EVyIWaf95kXRfbH/4DWVInKObu93F+eKZwdH9lcl47813vte3m06czu6N25y/Z648e5EUm4XmbvzJ+k70kUkUOv59+lRHhOFLVlcnPL+BCirQk9voYJAGYaynzKz0350VSU1wtQXp+KckLVda4hax9V7SeU0SzR2+eLYmiNlYqPt8k3R6Mkz53ahk8oJykuC5+6efsSmTtok0nE8/nbl8ium6o4uwyWgpF2B+avbU+sxYqgyiX1aUrV6q8u1o2TWTa2WS1YhQxoE+ZUfx3+AORegT/b71VWwztUn9Cv8nW+05mL6wRJKPcQI6BWRnUp5eVdyTEbcPKi7A3O0QfexXBWqdJETsS+i2kq/keh+kxStaS9qn3jhb5FMb/EbrK4qASOeG8J/e6JuOnTWmtknHerVpVrqjGzv0fA3FnZlucz24LPsw9Jy4rqjLSDp094xMdXANR72bieaYKVW2LQeMpY1wPnxM0P38o8NSteluKx1o926Q+swUEJBW/S9GT3CrkEfwGdCjXrGh/+m2HYfoel9ZAQHd83mWc5y5xwG+S6Rt1CeReF+rNz14OvRmZd6DW1fnYLJ0Vp6RnbvtNAPw2ADVOKh/X7X2ytpDqDoE81auf8psF+GR2TF9IC7+345b0Trf2EsKpEqUqWSiPcZDG20BGsB69rRGQvAhHb3h9+kfxH6uPtyaw2wPB34jwU1osaqs1Zl3/t+B8Sj+Vpb5TOxWBZaU8Y5UK2qd5lt7GKQSD41r/W0v+XgrQp1B4iv1PjiPtBt3R3Rk9YWvygXxeH7pGnMNVn2Swny3ZL/UlarD5GM8Eh25S8hXOHvy+3yXHswNevcLMZfpREVfjq0t5yTzovbXtqzvREcF1a3gD6PhP2dA8dOinGOHNlU/HSOLB0cZ/Qvn0bPYdmT9Wr0W5CO0pbjCb2Gv0+HrWL8m3Umk6pl2LBt0dPQYTxN83jMS5Qt6bwzMyTlV1xHsjZ/pGRGx6neYX5zRnmu2C8GsA4PUdrp6HM8utUEeYKX5BK05ceg9/39Xlqf+ZdSZS4ByfXri+Mfq/i+MXTxbkv5xaezF9/8FDwzwfiT+JTCNwL4gvxAFx7VzwFf9D/FP8S/x74O9ub27e/cY9P3JM4fhPWz9f/AvjpcYo=</latexit><latexit sha1_base64="yGbKZCl76woRrJ4M/kIW0QELlY=">ABSPXic7VxLcxy3EYbztBknsa/JZWxJVJFpVCU3xW5IkuiqBIl86WHTVKsfcySa+5LM7siqfX+gVxzG/KIcf8jpxSuaT7a2A7M4MZteSw0PIncG0y80uhuNBmbrg047HS4v/Otn/z0Zz/xS/fmfpV+8u/fo3v3v3Sdpf5Q04seNfqefPKvX0rjT7sWPh+1hJ342SOJat96Jn9aPb/Pzpy/jJG3ezvDs0G8360d9tqtdqM2pKaNg/cuLF9bxk80e3FdX1xQ+qf/uW/qT3VH3VUCPVbHqSFd1RNpfS7q6rZTWgtn01praErtp4HquJWiLcEUHFBFGj1mP6f0h3u7q1R/dMwV2g7h06C8hzEhd0jBNum6hVT6Zf+TAFvEYgzbLeEafdU2zS61DdUStITwDWRWP+zQkCT9DX9ok5wAt3MuG16MWfXbofkjy8/8zgozpqklYCV01qK1DrdLCPBL6FL1yz4+g5xrgYrpimfj3Ej29eS5+RZbzhidJ9mKxt21vyVYPY8Vj2TsPBuTLZzhqkZPDmHnY7o7hI2NyRuqc/Vx+oTsoSruPuI7j8iP5G763T3Cf0P80hg/XnUl+nvs4zeCujL3Qr9/5SehanX6W6UK/2yukHyrzjSf5ZJ/wk9Ye5h+kfarpMSTteJHsrtG8Q3ZWMbxUeh9ARe9gsbabE/TBy8/WNTEsfU5+qaEk4nOXQv5FJbT4n8MJi62Lv5igqvnysXpVEyLF6qXVXA3S3FJY1INE5AXxZ7DXxzcTSFLCXKkfDEF2G6pbS3J2iyfGyh6sYmo8DvTV4CXqRlsJ2tD5O9TwQlr8OyDCcnVeKIQ8xHgOSlWP3KWaBYugWLI/lZbiodFSmY1W+nuAYH1yEobevZmK2Gdp4RVh+Uf0lUSsJohXdUxc/Hscxq0mg5d9fXMxRbRxixYptVpDIFOIHWsTtDnLnrTQ1YwpqfTUole2Bd6BDFBfsJ9jdSXgGcoHpMzeBbzT3UucwT4LuheQHwW/pa3oWtm7LH6A0ZqrGkfYkTq6MkeMqAhfTag20TrPiGIE3jJGSCkfyzBKThGQZ7PZ7l1PMoWg2OwX0aw2iM+yORMcTF6CvCL+k3sF9RHhsWT3t06ke8RgeG+7nt4i0X+pxdm23jXm3fCwn6lklLt94XBJY4yHm3QTSH2EMXwenp4WcOtBydT7nLdtzcyuWahuWP6J+u5k7+2gHNnCIbFeigGBs0V2PfmVkI7VGT2qwPo7xUebxTK3vZL3F8acFnAbykKaOktWjaZG3SIv1EW6raw+xeYPJ2wUKY56KXRlfaN8hmhDEvGEFvKJFLOFaPE+tUXITUf0eQK5h9k641DHUZMhsFblWcMZpxgcj7J1xkBrO1KXtUxMWSJ0RH3n8ThWV0pn+5aOHA0913fRj7bmPQnMdHnQxs5kBmbNp+fWI15XuXnaz8N8nLjKxmTWw/r1plqTa8HlkbsPWOAI3s4jC/tkEVBuZgWSb0Uxlo1hf9UD2WAfEVfgda9TVqkh7R62ea3uIE9NoSP+38M8b3WV6PVRV2urqaQ6c4IZy+q/AXjWjdG+eSI6WCf4HYJ4pr4ojXUtamvSfzcmtxFt7bMlfXdKn9LSR9VFai97mFfc9V0TGALZQqYmMe0S+iFRMcFnDzMN9qfm6b7wPRiTWcpV4qbyIZmOVShLNSGgBX63BNjU/e89cV5joHuiBXPFKa3HJX2c9dPZTOFYLPf9fRa4xKyWF9HAx1xefZedY+qfqjzpf3aBxiXePkJ9NavkuSF0vpZY+Psfqmet1iK5S3q3Y8nMctk5hOxq+Lo1ica7D9mPjaZnMn7t/Uaoa9LgJEghkrotYWchBfrulc4rR0/TlbMzFtHfqsg3ZCoz9GvlxD3p1SRE5RZz7WdzUt5UlgJrX1qwTxQ2Bta5pluWN6ImNfR5yTvPWmWqZeyd9VgrAZYgca5Nz+ZubZDGHaLeRNrwYlVNoYyWmY2WobQ5tVhPTA52Zyty40Mi1NlAvRB4+eA7mU5Q3FWfN3sIkEo9DxVpgmn+/prJ6t8xW0v6ejAFtPA+t3uyqflIybX/PgShJzGunr8vgh/XxJ+OFakfSvhZzBzPH/6zhr463M5omWmSvxR8pUq9NzJ2txjceuUx+5q+9QlX5PUSIHrITa1FNsmzJXyaI1F1EJNe+RKoiZqI7jHoNQMSmbXgHryHs4HqfNqI0zFiaJiTrbLbdWcZ9S4yYp6Xz0B5ZYE+XASdGmYRXp9d1Fovk2lgmxstw14ne35fPJNCiRxdwyqydLUM6vJH6vJIvop14Xh/UNytvLIa2Qwq0xZo4xzq5s+5kivuY3NSdXqC/iRrb93ndofPy2nydfefHfUGogWhfVX0qWzl9itBahmUyHXvdxqj0gnoYax6li8UwdYzDlKTaGbr8D7mvTLcFDNqjLX7JKspXjCGR/DhjTj0ljVkrhtB7ry2MWKrBq1GuxeJDIy5elwEqQnGKOZ6tmspmapX4ZlXEGFXma3h8rdjy+OIzIm1uJMrfV7omGq1LbS+32gDya38Ck+0TGa6TE1c19Oq4leWtuKsl2nIowjD4czZ74/giYsvXILHXkcR0H4Ew/+JAhf8+BrQfimB98MasBy8PsfZdxD+Ccl+OH+nXryngbhex58KNow/OqUtwnWgRfzJPK2Kvkd09yuTDP1aJr9n1i9cKCXVN0cig09WqJOd4MSicrwqaSHc8ImX5+VBD/q2H+rGXwkSrfJRPa1NWP8moG54RZucm1h6hfTKBcv1PWlxPDvk7w1v7s/jSFo8q5kl9XJGrkpEN3ZQTCNVZr+CY+wqwd8vpfg18vJDajHS2ZbnC8lo8bcrUznomhW8iG6xg9YR8tzcFidg0NrDg6ylv26IPZzywfZX+TM0n5+FalbFeJFW5l91lVPY/xsO8tFDjKpy/fLHgG3QfB76p6q6eflEhxrOMcrDK8s8xmxCPLyMymqQStiOR46vjRaUZOT4fD6NKnKsIva5VjNEZtXUdRbJCRajbr3UZuMtNcZYheILR5g7oCg5ZhkfawPGIh/R/5GMdZpofL8raf9LextLrdF+czDQ3p0B/u51Xg0F+rL/BzMCrV6vJiNFJaGzCpP9S72sV6VcBZRvt6THGL+it5wqXsDEW3Qs64paMm4w+QLzAFiz9Q7s7nA4qR67S6uEUjzPgfbrbUXcJ+z613Cvl9Aq+VcM5Df+eRahuZaZoHY+nLq2Z2meVbCedc1jPaM9rkQ9qkhdvyGOten8ueRyHMz43x4wU5ujTCPNeIh4wS54Rr9LcOKtWyuPVsjE0Wx9TexFgYfv6I/DC+842OkWDjNXDeqMDvQaZbXs9x1ezBG9LtBq3UmdMG8owaTicdZf5ahcuTIA9ueYl+mHq01KDHOB3/Moh/d2Z+rdP93SDeMxVPYZoa27Mg7q1C3FtB3G8Kcb8J4n5biPtEPdRIe6jCnZQhLtRIcdwjLy8XfQbmiYcyBHOB3SzrJy2SeVN2Hs2bayM5tH1GZyQ7lbLH8T3O0gpXCuKtHEUJK7MkqyY9xHXb2Z1fMSaCUO9F/0tl6g8/UKEUZqrA8W7OtDjf9wQfzbGv/2gvgP9IosX/7wqD/U+Pnyt7wRGipzWrCPVWMHVL+X17VMXPxHT1KtuUgmLFZ2Cc52C+DM7vki2sVOK3ptdFaBboPVdfT2j1Hplktdp3smX1eavCyhylvdPQDa54mTn6YObeNO658nSn3tHa5d/u7hnb2yTutWm3xe5elVN13/mpRtesUqU+KfU6+Q1VZNse5p5uCeG9yqK+wTP5ujmRyuerYmDGiE1npRl51H2hSdTFpK3whL4avWY6lTb2fozlJX0sjqVu1azqzRe79yhGHOXnm/T/VSigNqPdb0BtB/GfRmBv0C3iN3VXDc8yMW96ryd9XLZmtT+9h0JHYrIi+CNAbZ2EmGUAb7woHdDMD2UAkWmbiO4O7XLSOShvdGY8jvx8yQRmokoeVr/dk9SWO01MP5qosqP9e5qOzaK3QqIkzUz3lnweSMyuiZfM2scmSnjujnAdh9ltC65nWXHyr8zSx/haNw13ynh34zn36K7emROXtUF7O3aG8ErTNRi613Vxq+0FqnVxqsmqepVdlBT3AWiqP6p8KaH7paXdLfU2/qwGtGtvlfMJXfunNmw/8veB97ATfKCkErGC/ecV6L7a/vArZEiSo7u73dX58pnB6f2V+Xhvzbe20HeXZy5nd4bd7l+D26yO1FEqmX+TvzB9l7ElXksOv5NykRnxNlbncymX8iqKtCz27hokIZhHKcsqvnPLthSjfq0D53kKU1TXpYZsfdS0HyCjuYm3z1fUxBsrEx+vwjeno6TMndaGD5CTVJdFTt28foncHbT5JL5/PVL5NdNTZy9RZbCkfYRzV8PA7GWK4Iml7SnKU1ruLrYck5m+dhuteAuZUD3aU4N1+F3SO479Of7vclqZIfqA/waX5c7m7mUnSCJdZQb6zFwK4P29LxjhTc1ry8iHvzCPS5Vz1a67QRsXvKvoV0Pt/jCJ20eIG1pH/qTbJFObUhb7S+QARkOhdV+PTGALrp46y1Mgk7zatJtc0Y+Z/j4C7s/JQn8/sKjnPoGWDdUlbSV9nD2TEx1SAzHvZvJ5pjqtWg+ZQxr4dPAC3Pv1J86ta8LSVjbZ7dR5/FAiJIJe9SDW3OjxC3oCO9ZqV7c+7TDJ3uOyGohwJ+dZnlugAN/k8zIqUsw95Yyb34OC+gt6byDtW7Ox+bprDolO3P7bwLwtwGYcTL5uG0fwdpi1B0ifarXPpU3C/jJ5Rl9MS3+3o4r2jvLtZcCpwFKDViojHGUxdtIR7Ah3taIC/D4Q2vD3+n/uH18cocdruj5BsRfkyLZW1Zqzr/xZcTOnHstQ3aqcq8qxUZqy9ivbpnqX3McaZxBPn2n7bSzHeHWXOIMmVeR9cRroc95Hq6+qLXNUq4sn8MnDmGq76pJX5rut+mStThynGuK36epdQrnj2lPf5zgKYa3j3izFv4UTFSI+tL+c82IZt62sZ1tTOGVYgwr63FX+dw7sl1JMCuTIpxKms+vpYD+nf8U0hiWPV+vpr8FaTdr2Z/Ta+T7dMQqZr9Zz6pOo4N+xa9CB3BszT3Z7zE2JLNC+PcPNnYleSBku3vOrnhfpZXuN+c4b4LJqsBjtPXsHa6Cy/hYqwVPiTJqR9hj+vq+PM/tz7/bUnvTg4L0L16e/VnH24vHKtc+vXd9cVm+r36sPKV5fV5+qP5NHb6jHis8m/0X9dfPvm/a/Ld8H+NP3tJfzPi+8n42/NfrfBc8g=</latexit><latexit sha1_base64="i5VoP2gpIJQz8YzeTi5Vy4FvU/o=">ABSenic7VxZcxvHER47l804iZzH5GVtSVSWSVTlC3LrtAVWRJFlSiZIqnDJigWjgUJE5ewgEgKxi9JVX5NXpOqPObfpPvrmZ0ZYHdnAUsOH0IWid3Zvqanu6enZxa1fruVDJeX/POu7/45a9+/Zv3l/67Qe/+/0fzn34wdOkNxrU4yf1Xrs3eF6rJnG71Y2fDFvDdvy8P4irnVo7flY7us3Pn72KB0mr190ZnvbjvU71oNtqturVITXtn7sZfbP/+lKlUx0e1prRyZVoeDmKVqlxOfokMs3LlFrpd7oDdOmk/1z5evLuMnmr24pi/OK/2z2fvw0t9URTVUT9XVSHVUrLpqSNdtVUJ/e6qa2pZ9altT42pbUBXLTyP1UQtEe6IoGKCqFLrEf0/oLtd3dqle6aZALtOXNr0NyDMSF3UMA26bqJVPpl/5MDm8RiDNst4Sp81TbNDrUN1SK0hPANZFo/7NCQJb6IvLZKzjxbuZd3rUZM+23Q/JPn5/ylBxnTVIKwBXdWprU2t0sI8BvQpeuWeH0LPVcDFdMUy8e9Ferp6Jn5FltvOGJ0l2fLG3bW/JVg9jxWPZOw8G5MtnOKqSk8OYOdjujuAjY3JG6qL9Xn6gZwhXcfUb3n5GfyN01urtB/8M8BrD+LOrL9HczpbcC+nK3Qv+/oGdh6jW6G2VKv6yuk/wrjvQ3U+lv0BPmHqZ/qO16UMDpGtFjeYX2daK7kvItw+MAOmIPm6XNlLgfRm6+vp5q6XPqUxktCYfTDPrXU6nN5wRemG9d7N0cRcWXj9Trg5Vq+07qA7hTCsgYkOg8AXxR7TXwzsTQB7MXS0TBEl6E6hTR3p2hyvOziKobm40BvDd4AvUgKYdtaHyd6HgjLXwNkGM7OK/mQBxiPsnKsfsEs0A+dBOWx/IyXFQ4KtOxKlvPXUCwvtpkpXU9e7OVsM4TwqrB8g/oahCwmiFd1TBz8exzErSaNl319MzFtHCLFik1WkMgR5A6lgdo8d9KaLrGBMT6elEr2wL3QJYoL8hPsaqa8Bz1A8JqfwLOaf6FzmEPAd0D2P+Cz8LW9D18zY/UJRmqsaR9gRGroSQUZ0JA+69DtQOt+QBDH8JTQEj/WITcIyCPF94PIupZ1G0GhyD+zSG0Rj3RyJjiIvRV4RZfkm9j/uI8NiyutqnEz3iMTw23M/vEWm/1uPs2m4L827xWE7U81JcvO4DGCNB5h3B5D+EGP4Jjg9y+XUhpbL8zlr2Z6bW7FU27D8EfXbzdzZR9uwgQNkuxIFBGOL7r0KyMbqXV6UoX1cYyPUo9naj0n682P03g1JGHNHSULB9N87xFWqyPcFtNe4jNG0zeZqNIftRLoCvrG8UzRAuSiCc0kU8kmC1Ei/epLUJuOqLPY8g9TNcZBzqOmgyBtSrP6s4xeB4mK4z+lrbkbqkZWLKEqEj6juPx5G6XDjbN3XkqOu5voN+tDTvSWCmy4I2diYzMGs+ObMe8abyKj9f+m5SVZmZDVrYvtZ1SpLten1yNpwC7bGEbiRhT2zwagWsgMJNuMZiob+fqBbLHGiCuwO9Yo65WRdo7au1M63MHeWoCHfH/LuZ5q6uBXh91tLYaSqozx5ixrP7rgGfdGO2bJ6KDYLfIYjn6qvCWNektgb9d2NyC9HWPlvSdyf0KS09VF2k9lLBvOKu7xrAEMgmMjWJaRfRD4mKA3x2MdNwr/25aboPTC/WdJYypVhFNjTLoQxloTYErNDnhibuetL85yDHRHLH+mML3lqLSXuX4qmikEm/2uq9caF5HF+jrq64jLs/eas/ZJ1Kc6X67QOMS6xslPprV8lySRul5CLT18jtVz1qtReTLm9e7n09ilsnMJ2JX+dGtRzTYf8x8bDI5k/dv6zVCT/tcBIgBZqyIWpvIQXy5pnOJk8L152zNxLS16bMG2gMa/THy5Sry7oQicoI685G+q2opjwMzqa1fDRA/BNa2JmWO6YnMvY1xDnJW1fVMvVK/q4QhM0Q29Ag5/arqWczhGm3kKteDUqotDCS0zCz1TaGNqsI6YHPzeRuHWhkWpoE6IHl0HcinNG/Kz5h9gEwOMQtbYZp8vquzerbO19B+RUcBtp461u92VT4pGDe/5sGVJOY0tfF8UP6+Yrw7Ui6V8TOYOZ4/XcdbGW5nNB1pmrsQfKlOtTs6crPk1HrvmMvmZv/YKVeUriBdZCfWohpk2ZK/TBCpO4hIrn2JVHkSNRDdY9BrBCQya8EKvIezgfJ8WojTMWJomJOtst1ZxH1DjJinpdPQXlgT5cAJ0qZhFen13QWi+SbaWEbGy3dXid7fl8k1yJHF3DMrJ0tAzq8kfy8ki+inWheH9U3K24shrZDCrTFmjDOrmz7mSK+5jc1J1eor+JGtv3ec2h8/LabJ1z948d9QqiNa59VdfSpbGX2K0FqEZTIde93CqHSDehprFqaL+TB1lIOUpNopOvwHua9ItwEM2qMtfskrSwleMIZH8OGNOPSWNOSuG37uvLYwYqsHLUq7F4kMjJl6XASpCcYo5nq2aymZqlfgmVcRoVeZreHyt2Pz48jMibW4kyt9UeiYarUtL7Y6APJrfwKT7VMZrpMTVzX0yrgV5a24rSXac8jEMPhzNnvj+EJiy9YgsdeRxHQfhjD/4CF/14KtB+IYH3whqwHLw+x+l3EP4xwX4f6dePKeBOG7Hnwo2jD82pS3Cda+F/Mk8jZL+R3T3C5NM/Fomv2fWL10oJdU7QzKDT0aok5rgalkxVhQ8mOZ4RMPzsqiP9VMX9WU/hIFe8Siqe1KufpNQNzwizcwNrj9A+mUC5/ictrieH/J3hrf1ZfGkLRZ61JK6GSNXJqIbO8inkSizX8Exdo3g7xdS/BZ5+QG1GOlsy4uFZLT426UoJnNRNCv5EF3jB6yj5Tk4rM3BoTkHB1nLfpsT+7nlo/QvcmZpP7+K1K0S8aKlzD7rmqcxfrad5iL7qdTF+2WPgFsn+Iq6p6r6ebERxrKAOrCO80tRnxyCIL6KyFqQStuOR42ujBSUZOT6fTaOMHGuIfa7VDJFZNXSdRXKCxahbL7XZeFONMVah+MIR5g4oSo5ZxMfagLHIR/R/pGMdVqoLH/ran8Le5vLbVE+8/CQHt3Bfm45Ho2F+jI/B7NCLR8vZiOFpSGzyjO9i32kVyWcRSv9yRH3KL+Sp5wMT1D0SmRM27pqMn4feQLTMHi95W78/mAYuQGrS5u0cjzDHif7nbUXcK+Ty3Cjm9hm9VcU7DvX+RmiuZQ5QOx9OXduzNM9LWM+G5rGR0h6Xoh6VpC47fkOda8/PpeJRCPNzY/x4QY4ujTDPdeIho8Q54Tr9bYBKuSxuIx1jk8UxtbcxFoafPyI/je98o2Mk2HwDnDdL8HuQ6pbXc1w1e/CWdLtJK3XmtIk8o4rTSYepv5bh8jTIg1teoR+mHi016DFOx78K4t+dmV9rdH83iPdcxVOYpsb2PIh7Kxf3VhD3u1zc74K43+fifh/EfZSL+6iEHeThbpbIcYewjGz8HbQbGuYcyCFOh7TSrFz2SeVNGHu2rejM5iG1mdxQ7hbL3wR3O0gpnKtKNDGU5K6IkuwY91BXb6T1vAG0Egf6L3rbyNH5RokIzXWBwv29aHGf7g/m2Nf3tB/Ad6RZYtf3jUH2r8bPmb3gNlTkt2MOqMsYOKf8vruqYufiOHiXbsh/M2Czs0wzsV8GZXfLF9RKc1vXaL0E3Yeq42ntniPTrBY7TvbMPi81eNnDlDc6eoE1TwMnP8yc28IdV75OlXtau9i7/V1DO/tknVYt/tid6+Kqbrv/JSja1apUp+Uep38hiqyLQ+zoltCeK/TqG/wTL5uTqTy+aoYmDFi02khRdl5lH3hyZSFZK2wBL5cPaY81Va6/gxlJd20TuWu1ewqjdc7dyjG3KXn2/R/o5Bin1qPNL0+9F8E/TiFfgnvkbsyO75EYt7Rfm76kWztal9PHYkdisiL4M0+unYSYZQBPvSgX0cgO2iEiwycR3B3a9bRiQN743GkN+PmSGNVElCy9f6s3uSxmipi/NVF1R2rnNB2bVX6FRQA2emuso/DyRnVkTL5m1ikyW9cEY5C8Lst4TWM825+JbnaWL9LRqHu+Q9O/Cd+/RXbE0DlbVDeSlzh/Jy0DbrmdR2M6ntBam1M6nJqnmWXpkVdB9rqSyqf8mh+bWn3S31Lf2uBbRqbJdXzsd07Z/asP3I3geuYCd4X0klYgX7zyvQfbn94dfIkCRHd3e7y/PlM4PT+yvz8d5+Y7y3g7w7OHM7vTfucv0R3GR3owkUi/zd+b30/ckysh1/NvUyI+J8racrkVy/gNRVsXenYNExHMIpTlF8x5dsLUb5XgvK9hSgnqK5LDdn6qGnfR0azirfPV9TEGysTH6/AN6ejpMyd1ob3kZOUl0VO3bx5idwdtPkvn8zUvk101NnL1FlsKR9hHNXw8DsZYrgiaXtKcpTWu4uth0Tmb52G614C5lQPdpTg3X4XdI7jv05/u9yWpkh+oj/BpflzubuRSdIl1lBvrMXArg/b0svGOBNzWvbyIe/MI9LlXVrtBCxu8q+hXQ23+MInbR4ibWkf+pNskU5tSFvtL5EBGQ6F1T49EYfunhrLXUyCTvNq0m1zRj5n+PgLuz8lCfz+woOc8+gZYN1SVtJT2cPZMTHVIDMe9m8nmGq25aD5lDGvh48BLc+/UXzq1rwtJWNtnt1Hn8UCIkgl71IMNbcaPELegI71mpXtz7tMEnf47IaiHAn51meW6CA3+TzMipSzD3pjJvfg5z6C3pvIO1bs7HZumsPCU7c/tvAvC3AZhxMvm4bR/B2mLUHSJ9qtc+lTcL+MmlGX0xLf7ejsvaO4u1lwCnDkp1WKiMcZTG20hHsCHe1ogL8PhDa+P/6T+7fXx8hx2u6PkGxF+TotlbVnrOv/FpxP6ey1LdqpyryrFRmrEpJ+3TP0vsY41TiXNtv+0lH+OMmeQ5Mq8Dy4jXYz7SPV09UWuqiXxZH7pO3MNV32S0nw3dL/MlanD5GPcVj29SyhXPHvK+3ynAcx1vPvFmLdwomKkx9aXc5sYjbVtqzrSmcIqx+CX3uKv87B/YKQ5y5MimEqaz6+lgL6N/+TSGBZY9X6+mvwVpN23Zm9Nr5Pt0xCpmv1lnPqnajg37Fr0IHcGzNPdmvMTYks0L48w82diV5IGS7e86ueFemle435zhvgsmqwGO01exdproL+JirBU+KJUmpH2GP6+r89T+3PvKqoiPdg/d/7a9Pcqzl48Wbn65dVrj5fVe+rP6mOK19fUF+qv5NGb6glp9u/qH+qf6l9b721d3fpMvpLx3Xf0dzP+UXk/Wzf+C0uqbT4=</latexit><latexit sha1_base64="i5VoP2gpIJQz8YzeTi5Vy4FvU/o=">ABSenic7VxZcxvHER47l804iZzH5GVtSVSWSVTlC3LrtAVWRJFlSiZIqnDJigWjgUJE5ewgEgKxi9JVX5NXpOqPObfpPvrmZ0ZYHdnAUsOH0IWid3Zvqanu6enZxa1fruVDJeX/POu7/45a9+/Zv3l/67Qe/+/0fzn34wdOkNxrU4yf1Xrs3eF6rJnG71Y2fDFvDdvy8P4irnVo7flY7us3Pn72KB0mr190ZnvbjvU71oNtqturVITXtn7sZfbP/+lKlUx0e1prRyZVoeDmKVqlxOfokMs3LlFrpd7oDdOmk/1z5evLuMnmr24pi/OK/2z2fvw0t9URTVUT9XVSHVUrLpqSNdtVUJ/e6qa2pZ9altT42pbUBXLTyP1UQtEe6IoGKCqFLrEf0/oLtd3dqle6aZALtOXNr0NyDMSF3UMA26bqJVPpl/5MDm8RiDNst4Sp81TbNDrUN1SK0hPANZFo/7NCQJb6IvLZKzjxbuZd3rUZM+23Q/JPn5/ylBxnTVIKwBXdWprU2t0sI8BvQpeuWeH0LPVcDFdMUy8e9Ferp6Jn5FltvOGJ0l2fLG3bW/JVg9jxWPZOw8G5MtnOKqSk8OYOdjujuAjY3JG6qL9Xn6gZwhXcfUb3n5GfyN01urtB/8M8BrD+LOrL9HczpbcC+nK3Qv+/oGdh6jW6G2VKv6yuk/wrjvQ3U+lv0BPmHqZ/qO16UMDpGtFjeYX2daK7kvItw+MAOmIPm6XNlLgfRm6+vp5q6XPqUxktCYfTDPrXU6nN5wRemG9d7N0cRcWXj9Trg5Vq+07qA7hTCsgYkOg8AXxR7TXwzsTQB7MXS0TBEl6E6hTR3p2hyvOziKobm40BvDd4AvUgKYdtaHyd6HgjLXwNkGM7OK/mQBxiPsnKsfsEs0A+dBOWx/IyXFQ4KtOxKlvPXUCwvtpkpXU9e7OVsM4TwqrB8g/oahCwmiFd1TBz8exzErSaNl319MzFtHCLFik1WkMgR5A6lgdo8d9KaLrGBMT6elEr2wL3QJYoL8hPsaqa8Bz1A8JqfwLOaf6FzmEPAd0D2P+Cz8LW9D18zY/UJRmqsaR9gRGroSQUZ0JA+69DtQOt+QBDH8JTQEj/WITcIyCPF94PIupZ1G0GhyD+zSG0Rj3RyJjiIvRV4RZfkm9j/uI8NiyutqnEz3iMTw23M/vEWm/1uPs2m4L827xWE7U81JcvO4DGCNB5h3B5D+EGP4Jjg9y+XUhpbL8zlr2Z6bW7FU27D8EfXbzdzZR9uwgQNkuxIFBGOL7r0KyMbqXV6UoX1cYyPUo9naj0n682P03g1JGHNHSULB9N87xFWqyPcFtNe4jNG0zeZqNIftRLoCvrG8UzRAuSiCc0kU8kmC1Ei/epLUJuOqLPY8g9TNcZBzqOmgyBtSrP6s4xeB4mK4z+lrbkbqkZWLKEqEj6juPx5G6XDjbN3XkqOu5voN+tDTvSWCmy4I2diYzMGs+ObMe8abyKj9f+m5SVZmZDVrYvtZ1SpLten1yNpwC7bGEbiRhT2zwagWsgMJNuMZiob+fqBbLHGiCuwO9Yo65WRdo7au1M63MHeWoCHfH/LuZ5q6uBXh91tLYaSqozx5ixrP7rgGfdGO2bJ6KDYLfIYjn6qvCWNektgb9d2NyC9HWPlvSdyf0KS09VF2k9lLBvOKu7xrAEMgmMjWJaRfRD4mKA3x2MdNwr/25aboPTC/WdJYypVhFNjTLoQxloTYErNDnhibuetL85yDHRHLH+mML3lqLSXuX4qmikEm/2uq9caF5HF+jrq64jLs/eas/ZJ1Kc6X67QOMS6xslPprV8lySRul5CLT18jtVz1qtReTLm9e7n09ilsnMJ2JX+dGtRzTYf8x8bDI5k/dv6zVCT/tcBIgBZqyIWpvIQXy5pnOJk8L152zNxLS16bMG2gMa/THy5Sry7oQicoI685G+q2opjwMzqa1fDRA/BNa2JmWO6YnMvY1xDnJW1fVMvVK/q4QhM0Q29Ag5/arqWczhGm3kKteDUqotDCS0zCz1TaGNqsI6YHPzeRuHWhkWpoE6IHl0HcinNG/Kz5h9gEwOMQtbYZp8vquzerbO19B+RUcBtp461u92VT4pGDe/5sGVJOY0tfF8UP6+Yrw7Ui6V8TOYOZ4/XcdbGW5nNB1pmrsQfKlOtTs6crPk1HrvmMvmZv/YKVeUriBdZCfWohpk2ZK/TBCpO4hIrn2JVHkSNRDdY9BrBCQya8EKvIezgfJ8WojTMWJomJOtst1ZxH1DjJinpdPQXlgT5cAJ0qZhFen13QWi+SbaWEbGy3dXid7fl8k1yJHF3DMrJ0tAzq8kfy8ki+inWheH9U3K24shrZDCrTFmjDOrmz7mSK+5jc1J1eor+JGtv3ec2h8/LabJ1z948d9QqiNa59VdfSpbGX2K0FqEZTIde93CqHSDehprFqaL+TB1lIOUpNopOvwHua9ItwEM2qMtfskrSwleMIZH8OGNOPSWNOSuG37uvLYwYqsHLUq7F4kMjJl6XASpCcYo5nq2aymZqlfgmVcRoVeZreHyt2Pz48jMibW4kyt9UeiYarUtL7Y6APJrfwKT7VMZrpMTVzX0yrgV5a24rSXac8jEMPhzNnvj+EJiy9YgsdeRxHQfhjD/4CF/14KtB+IYH3whqwHLw+x+l3EP4xwX4f6dePKeBOG7Hnwo2jD82pS3Cda+F/Mk8jZL+R3T3C5NM/Fomv2fWL10oJdU7QzKDT0aok5rgalkxVhQ8mOZ4RMPzsqiP9VMX9WU/hIFe8Siqe1KufpNQNzwizcwNrj9A+mUC5/ictrieH/J3hrf1ZfGkLRZ61JK6GSNXJqIbO8inkSizX8Exdo3g7xdS/BZ5+QG1GOlsy4uFZLT426UoJnNRNCv5EF3jB6yj5Tk4rM3BoTkHB1nLfpsT+7nlo/QvcmZpP7+K1K0S8aKlzD7rmqcxfrad5iL7qdTF+2WPgFsn+Iq6p6r6ebERxrKAOrCO80tRnxyCIL6KyFqQStuOR42ujBSUZOT6fTaOMHGuIfa7VDJFZNXSdRXKCxahbL7XZeFONMVah+MIR5g4oSo5ZxMfagLHIR/R/pGMdVqoLH/ran8Le5vLbVE+8/CQHt3Bfm45Ho2F+jI/B7NCLR8vZiOFpSGzyjO9i32kVyWcRSv9yRH3KL+Sp5wMT1D0SmRM27pqMn4feQLTMHi95W78/mAYuQGrS5u0cjzDHif7nbUXcK+Ty3Cjm9hm9VcU7DvX+RmiuZQ5QOx9OXduzNM9LWM+G5rGR0h6Xoh6VpC47fkOda8/PpeJRCPNzY/x4QY4ujTDPdeIho8Q54Tr9bYBKuSxuIx1jk8UxtbcxFoafPyI/je98o2Mk2HwDnDdL8HuQ6pbXc1w1e/CWdLtJK3XmtIk8o4rTSYepv5bh8jTIg1teoR+mHi016DFOx78K4t+dmV9rdH83iPdcxVOYpsb2PIh7Kxf3VhD3u1zc74K43+fifh/EfZSL+6iEHeThbpbIcYewjGz8HbQbGuYcyCFOh7TSrFz2SeVNGHu2rejM5iG1mdxQ7hbL3wR3O0gpnKtKNDGU5K6IkuwY91BXb6T1vAG0Egf6L3rbyNH5RokIzXWBwv29aHGf7g/m2Nf3tB/Ad6RZYtf3jUH2r8bPmb3gNlTkt2MOqMsYOKf8vruqYufiOHiXbsh/M2Czs0wzsV8GZXfLF9RKc1vXaL0E3Yeq42ntniPTrBY7TvbMPi81eNnDlDc6eoE1TwMnP8yc28IdV75OlXtau9i7/V1DO/tknVYt/tid6+Kqbrv/JSja1apUp+Uep38hiqyLQ+zoltCeK/TqG/wTL5uTqTy+aoYmDFi02khRdl5lH3hyZSFZK2wBL5cPaY81Va6/gxlJd20TuWu1ewqjdc7dyjG3KXn2/R/o5Bin1qPNL0+9F8E/TiFfgnvkbsyO75EYt7Rfm76kWztal9PHYkdisiL4M0+unYSYZQBPvSgX0cgO2iEiwycR3B3a9bRiQN743GkN+PmSGNVElCy9f6s3uSxmipi/NVF1R2rnNB2bVX6FRQA2emuso/DyRnVkTL5m1ikyW9cEY5C8Lst4TWM825+JbnaWL9LRqHu+Q9O/Cd+/RXbE0DlbVDeSlzh/Jy0DbrmdR2M6ntBam1M6nJqnmWXpkVdB9rqSyqf8mh+bWn3S31Lf2uBbRqbJdXzsd07Z/asP3I3geuYCd4X0klYgX7zyvQfbn94dfIkCRHd3e7y/PlM4PT+yvz8d5+Y7y3g7w7OHM7vTfucv0R3GR3owkUi/zd+b30/ckysh1/NvUyI+J8racrkVy/gNRVsXenYNExHMIpTlF8x5dsLUb5XgvK9hSgnqK5LDdn6qGnfR0azirfPV9TEGysTH6/AN6ejpMyd1ob3kZOUl0VO3bx5idwdtPkvn8zUvk101NnL1FlsKR9hHNXw8DsZYrgiaXtKcpTWu4uth0Tmb52G614C5lQPdpTg3X4XdI7jv05/u9yWpkh+oj/BpflzubuRSdIl1lBvrMXArg/b0svGOBNzWvbyIe/MI9LlXVrtBCxu8q+hXQ23+MInbR4ibWkf+pNskU5tSFvtL5EBGQ6F1T49EYfunhrLXUyCTvNq0m1zRj5n+PgLuz8lCfz+woOc8+gZYN1SVtJT2cPZMTHVIDMe9m8nmGq25aD5lDGvh48BLc+/UXzq1rwtJWNtnt1Hn8UCIkgl71IMNbcaPELegI71mpXtz7tMEnf47IaiHAn51meW6CA3+TzMipSzD3pjJvfg5z6C3pvIO1bs7HZumsPCU7c/tvAvC3AZhxMvm4bR/B2mLUHSJ9qtc+lTcL+MmlGX0xLf7ejsvaO4u1lwCnDkp1WKiMcZTG20hHsCHe1ogL8PhDa+P/6T+7fXx8hx2u6PkGxF+TotlbVnrOv/FpxP6ey1LdqpyryrFRmrEpJ+3TP0vsY41TiXNtv+0lH+OMmeQ5Mq8Dy4jXYz7SPV09UWuqiXxZH7pO3MNV32S0nw3dL/MlanD5GPcVj29SyhXPHvK+3ynAcx1vPvFmLdwomKkx9aXc5sYjbVtqzrSmcIqx+CX3uKv87B/YKQ5y5MimEqaz6+lgL6N/+TSGBZY9X6+mvwVpN23Zm9Nr5Pt0xCpmv1lnPqnajg37Fr0IHcGzNPdmvMTYks0L48w82diV5IGS7e86ueFemle435zhvgsmqwGO01exdproL+JirBU+KJUmpH2GP6+r89T+3PvKqoiPdg/d/7a9Pcqzl48Wbn65dVrj5fVe+rP6mOK19fUF+qv5NGb6glp9u/qH+qf6l9b721d3fpMvpLx3Xf0dzP+UXk/Wzf+C0uqbT4=</latexit><latexit sha1_base64="aeWqruVPt75lw4UaonJitpi3SaI=">ABShXic7Rzbchu3FUlviXqJ0761L5vYnpEnHlWSE8fJVGlk6zqWFmSbSWirCG5S4kRuaR3SUsywy/pTL+mr+1MH/s3PRdgAZC7wJKxUz1UGom72HPDwTkHBwdY1rqtZtqbn/PO+/+7Oe/+OWv3nt/5te/+e3vPrjx4e+fpZ1+Uo+e1jutTnJYq6ZRqxlHT3vNXis67CZRtV1rRc9r54/w+fNXUZI2O/FB76obHberp3Gz0axXe9B0cuNB8PDk9WylXe2d1RrB5d2gdycIlqBxPvgkUM3rs9BaqYedXtZ0eXLj5vzcP0E4xcL8uKmkD+7nQ9n/yYqIhQdURd90RaRiEUPrluiKlL4PRILYl50oe1YDKAtgasmPY/EUMwAbh+gIoCoQus5/D+FuyPZGsM90kwJuw5cWvCXAGYgbkuYEK4b1MqfyD8wYIt4DIg2yngFnzVJsw2tPXEGrT48BVkWD/vUAwkfUF+aIGeXWrCXdatHDfhswX0P5Mf/VwAZwVUIWAlc1aGtBa3cgjwS+GS9Ys/PSM9VgovgCmXC39vwdOla/LIsj4wxuk6yFY27aX8zZPU4VjiSkfFsALZwRVdVeHJKdj6Au1OysQF4w5z4Qnwm7oMl3KW7T+H+U/ATvluAu/vw38jIevPoz4Pfw8yeotEn+8W4f/n8MxPvQZ3/Vzp58U9kH/RkP5BJv19eILc/fTPpF0nDk4LQA/lZdr3gO5ixrcMj1PSEXrYOG2khP1QcuP1vUxLn0GfymiJOVzl0L+XSa0+h+SFxdaF3o1RlH35XLx2RMiBeCV1VyXothMWNcDROSF4V+xV8U3F0pRgb5eOhj6CNV20jwaoYnxMqariDQfeXqr8BLqReqEbUl9XMp5wC9/jSD9cHpeKY8pfHogqwYuy9pFiGbpDlobwIFzhHZTRW5es5JgjUVwustC5nb7QS1HkKWDWy/FO4SjxW04OrGs1cOPtceq2mBVcdOXOhRTRpFnRpdRSDoROSOhIX1Oc29SamrGAT0elYr2gL8QAMaT8BPsaiK8IHqFwTK7Is5B/KnOZM4JvE92bFJ+Zv+at6KoZeyA+oZEaSNqnNCI16kmFMqAefNZJt4nUfQIQF+QlVwTB/UMJLolj4OX5wuLp5HUWtwQNxHMZTGsD8cGX1clL4CmuVnxPt0HwAeWlYsfTqVIx6Rx/r7+R1F2q/kOJu26R51z2WQ3FYisu3FpeErPGU5t2EpD+jMXwTnJ4XcmqRlsvzuW7ZnplboVT7ZPl96LeZuaOPtsgGTinb5SjAGHtwF8Mvj2wgNuBJlawPY3yQeTxS6xhZb3H8aRBOnfKQUEbJ8tG0yFu4RfsItWkh+i8QeVtOoUR72UdKV9wz1DNEkS9oQG5RMpzRasxU1oCyg37cPnBcndy9YZpzKOqgwBtcrP6sY4RcTxLFtndKW2AzErZULKHKED6DuOx7m45ztGzJy1OVc36Z+NCXvoWemy4NWdsYzMGo+vbYe8abyKjtf+/G5SV5mpDWrYvt1SpKtWv1SNtwk2wNI3CYRT0z5CgmpQZcLYZjFU2ivV82SPNYK4S36HGjW1ytKuiLVrc8DylNT0hH+j2me17pK5PqoLbUVCq7OXNCMpfVfJ3jUjdK+esI62AL4A4A4F86Y10D2kL4b8bkJkVb/WxG3l3CJ7d0qOrCtZcKzSvm+i4kDIZsUKbGMe029YOjYkKfMc02Gt7bhrtA9KLJ2ZXCmWKBsa51CGMlPrESzTx54om1q31hfXOQaI1Y8U6jeYlQ6zl0/uWYKxka/i+Va4zZlsbaOujLi4uy9Zqx9UvFnmS9XYBwiWePEJ6NaXgVJuK6XQkuHPgdizrJWbRHF8hb17qeTGVS8wnbVXF06wAN9B81H6tMTuX9+3KN0JE+FxBEQjNWAK0NykFsuUZziUvn+nO8ZqLaWvBZI9oJjP6A8uUq5d0pROSU6szn8q4qpbzwzKS6fpVQ/GBY3ZpmWe4AnvDY1yjOcd6JOahV/x3FyB0htgiDWJuv5R5NkKodg25ZNWgmEqTRnIUZrzahtBqFcE9sLmp3K1NGhmVJsiF6BCP2ICcyfKG4qz5e7KJhEahZa0wVT4fy6werfM1ab8iowBaT53W73pVPnSMm13zwEoScurLa3f84H6+Anx/rYj716CcQc3x/+s4q+Mtz+aJlBkr8WdCVavTaydrcY1Hr7lUfmavXxV+QpFiJiyE21RIVg25y9DitRtikimfbFURKFN0johd6JFJrwQp5D2YD5fk0KU5HFEP9nHSVXa87XdTblBHjvHxFlBen6MtolOlWQTXZ7ek1l2yLZaQDe2Tl6nez6ZfMCScwdg3KyhHJmVfljOVlYP25dKN4/JmdzR14lg1pl8hplkFvdtDH7cs2tbI6rVl+SH+n6e9uo/eFTN028/t6K/4pSnaJ1Ud3VprKX06eAWl1YKtPR10aldirh7EqmX5QhFsLePANYkwW4d3aN5z4aY0o0a0dh9mlaWUnmDGh7A+zZg01qQkZtuJrDy2aUVWjlqV7J4lUjLl6XDopcY/bHq2bimxqnPkmXcoQo9z27bwtyPL4jPCba4lSt9QegoarUutL7g6cPKrewKT6TMRrpITV176YVUi+1bQXZrlMRxpmFg5kz3p+RJjQ9t4X2LY59L/yFBX/ha9a8FUvfGjBh14NaA52/4OMuw/woHv79+lJe+lFz624H3RBuHXRryNsU6smMeRt1HK75DmfmaqUVT7f9E4qURFfSaopVDIZSrJeS45JWOV4Sh4B3PgDL9/KjA/lel+bOawQfCvUvIntaErH6YUVc8A5qdQ1p7+PbJGMr0P24xPdn7wiv7U/jc5sv8qxlhTnjFyZiK7soJhGKtR+BcbYNYDfdFL8hvLyU2hR0umWF1PJqPH3S1FMJ6KoVvI+usoPUEfzE3BYm4BDYwIOvJb9piD2Y8tH2V9gzNJ2fhWI5RLxoinUPuapTF8tp/lIieZ1O79sh3CrQN8RayLqnzuluBcYp3nYLnwrjKbY90WbiLypqXit+O+4av9aeUpG/4fD6NMnKsUewzraZHmVUo6ycE0xHXupzsYbYkBj5YsvGFWiCLnmC4+2gaURe7A/76EUdapofL8LZb+5vc2k9u0fCbhwT1aof3cjzCqfoyOQe1Qi0fL8YjhabBs8pzuYt9LlclmEW413ucI+5BfzlPuJ2doWiXyBn3ZNRE/C7lC0hB43eFufP5GLkFqwulmHkcQbchLsDsQrYm9Cy7uT0mnyrSuc0zPsXWYTGWmZCtfPeyLU+S3NYwnq2JI+tjPagFPWgJHXe8evJXHtyLhWLgp+fGeMHU3I0afh5bgAPHiXMCTfgb4uolMvitrIxVlkcUnsbY6H42SPy4/hONjpKgt03wHm3BL/HmW5xPYdVs8dvSbe7sFJHTruUZ1TpdNJZ5q9luDz8sCWV9QPVY/mGvSATse/8uKvjs2vNbhf9eIdimgEU9XYDr24y4W4y17cbwtxv/XifleI+50Xd6cQd6eEHRTh7pbIcXtkGfn4B9SuaKhzIGd0OqSZeW8T8pvwuizba4zm2fQpnJDvpsuf2PcfS8lf67K0UR4jsXJd4x7lBdPczqeQlpJfL0n/W2VaDzrRIRhmusj6fs67bE354S/5HEfzQl/mO5IsuX3z/q2xI/X/6GNUI9oU4LdmhVGdEOKf53V3XUXLwiR0m3nHgzNg37LAf7lXdm53xowSnDbk2ihBd1u0La2tGzKNa7FtZM/o81yD5z1MfqOj41nzhHTyQ825TbrDyteVME9ru73b3jXUs0/eadVyuy9698pN1XznpxdtUrl+iTX6/jXV5FtWpgV2eLDe51FfYWn8nV1IhXPV0WEGVFsunJS5J1H3hcejlhI3gqL4cvVY8pTbWbrT19WEmd1KnOtpldpuN5ZgRizCs/34f+Wk2IXWs8lvS7p3wX9JIN+Sd7Dd2VwzPMjGveusHfVXbO1qn08MSQ2KyIvTS62dhxhuCfWnAPvHAxlQJZpmwjmDu181TJPXvjUYkvx0zfRqpgoSar/Zn8ySN0lJM56tuifxc5bQay/fqaCQzkzFwj4PxGdWMvqbWKVJb0wRjkPQu23+NYzjYn4luepYv0yjMqeM8B+c4m/LmtKRF5O5SzuTuUd7y2Wc+ldpRL7dhLrZVLjVfN4/TKrKC7tJbKo/qXApfWdrdE9/A75pHq8p2ceV8Adf2qQ3dj/x94ArtBJ8IrkQs0v7zIum+3P7wa8qQOEc3d7vL8Uzg6P7K5Px3n9jvPe9vNt05nZ0b9zk+gNx492JMpJwvczemT/J3pMoI4dez79NifCcKGrL5OaW8SFEWxN6fA0TAMw0lPmUn5vyo6kor5egvD4V5ZSq61xD1j6q2k8o1mit8XxdAaKxUf75JvjkZJnju1DZ9QTlJeFj518+YlMnfQJpOI5/M3L5FdN1VxdhksBSPtDsxf25YixVBlUvq05Sq1V9dbBgns2xs1qwChnQJsyp/jr8Aci9An+236ushneoPqJf5et8pzMX1wmSEa5gRwDszKoTy8r70iJ24aVF2Fvdog+9iqGtU6TInYs9FtI1/M9Dt9Ji5e0lrRPvXG2yKc2+I3WlxQBkc4t4T+90SXdOisNdfIO9WrSrXVGNmf4+AubOyLc9ntgWfZx+SlhXVGWklHTp7xic6uAai3s3E80w1qtqWg8ZTxrgeviBofv5Q4Klb9bYUj7V6tkl9ZgsISCp+l6InudXI/gN6EiuWdH+9NsOw+w9Lq2BgO74vMs4z13igN8k0zfqEsi9IdSbn70CejMy70Ctq/OxeTorT0nP3PabAPhtAGqcVD6u2/tkbRHVHQJ5qlc/5TcL8MnsmL6QFn5vx3pnW7tpYRTJ0p1slAe4yCLt4GMYD16WyMgeRGO3vD6+I/i31Yf70xgtweCvxHhp7RY1FZrzLr+b8HFlH4qS32rdioCy0p5xqUtE/zL2NMcgkHhrX+teivFWhDqDxFfqfXAeaTfujujI6gtfVUvi8fzSNeYarPqkpfluyX6pK1WHKcZ4JDpyl5CvcPbk9/muPJgb9O4XYi7TiYq+HFtbzknmRe3vaxneyM4LqxuCX0eCfs7B46dFJMCOfKp+OkcWTo4zulfMY2ew7In69XotyAdZS3HE3oNf58OW8X4N+tMJlXLsGHboqehw3ia5vGYlyhb0nlhlJsnK7viPJCz/SMjNzO8grzmzPMd8F4NYBxeo7WTkOZ5TeoIswVviCTpi89Br/v67PM/sy7iqhwD05u3FwY/V7F8Yuni3NfzC08mb/59UP5lYviT+JjyFwL4jPxdfg2rviKaj47+If4p/iX3v7c3tfbp3n0HfUfi/EFYP3t/S/sum57</latexit><latexit sha1_base64="aeWqruVPt75lw4UaonJitpi3SaI=">ABShXic7Rzbchu3FUlviXqJ0761L5vYnpEnHlWSE8fJVGlk6zqWFmSbSWirCG5S4kRuaR3SUsywy/pTL+mr+1MH/s3PRdgAZC7wJKxUz1UGom72HPDwTkHBwdY1rqtZtqbn/PO+/+7Oe/+OWv3nt/5te/+e3vPrjx4e+fpZ1+Uo+e1jutTnJYq6ZRqxlHT3vNXis67CZRtV1rRc9r54/w+fNXUZI2O/FB76obHberp3Gz0axXe9B0cuNB8PDk9WylXe2d1RrB5d2gdycIlqBxPvgkUM3rs9BaqYedXtZ0eXLj5vzcP0E4xcL8uKmkD+7nQ9n/yYqIhQdURd90RaRiEUPrluiKlL4PRILYl50oe1YDKAtgasmPY/EUMwAbh+gIoCoQus5/D+FuyPZGsM90kwJuw5cWvCXAGYgbkuYEK4b1MqfyD8wYIt4DIg2yngFnzVJsw2tPXEGrT48BVkWD/vUAwkfUF+aIGeXWrCXdatHDfhswX0P5Mf/VwAZwVUIWAlc1aGtBa3cgjwS+GS9Ys/PSM9VgovgCmXC39vwdOla/LIsj4wxuk6yFY27aX8zZPU4VjiSkfFsALZwRVdVeHJKdj6Au1OysQF4w5z4Qnwm7oMl3KW7T+H+U/ATvluAu/vw38jIevPoz4Pfw8yeotEn+8W4f/n8MxPvQZ3/Vzp58U9kH/RkP5BJv19eILc/fTPpF0nDk4LQA/lZdr3gO5ixrcMj1PSEXrYOG2khP1QcuP1vUxLn0GfymiJOVzl0L+XSa0+h+SFxdaF3o1RlH35XLx2RMiBeCV1VyXothMWNcDROSF4V+xV8U3F0pRgb5eOhj6CNV20jwaoYnxMqariDQfeXqr8BLqReqEbUl9XMp5wC9/jSD9cHpeKY8pfHogqwYuy9pFiGbpDlobwIFzhHZTRW5es5JgjUVwustC5nb7QS1HkKWDWy/FO4SjxW04OrGs1cOPtceq2mBVcdOXOhRTRpFnRpdRSDoROSOhIX1Oc29SamrGAT0elYr2gL8QAMaT8BPsaiK8IHqFwTK7Is5B/KnOZM4JvE92bFJ+Zv+at6KoZeyA+oZEaSNqnNCI16kmFMqAefNZJt4nUfQIQF+QlVwTB/UMJLolj4OX5wuLp5HUWtwQNxHMZTGsD8cGX1clL4CmuVnxPt0HwAeWlYsfTqVIx6Rx/r7+R1F2q/kOJu26R51z2WQ3FYisu3FpeErPGU5t2EpD+jMXwTnJ4XcmqRlsvzuW7ZnplboVT7ZPl96LeZuaOPtsgGTinb5SjAGHtwF8Mvj2wgNuBJlawPY3yQeTxS6xhZb3H8aRBOnfKQUEbJ8tG0yFu4RfsItWkh+i8QeVtOoUR72UdKV9wz1DNEkS9oQG5RMpzRasxU1oCyg37cPnBcndy9YZpzKOqgwBtcrP6sY4RcTxLFtndKW2AzErZULKHKED6DuOx7m45ztGzJy1OVc36Z+NCXvoWemy4NWdsYzMGo+vbYe8abyKjtf+/G5SV5mpDWrYvt1SpKtWv1SNtwk2wNI3CYRT0z5CgmpQZcLYZjFU2ivV82SPNYK4S36HGjW1ytKuiLVrc8DylNT0hH+j2me17pK5PqoLbUVCq7OXNCMpfVfJ3jUjdK+esI62AL4A4A4F86Y10D2kL4b8bkJkVb/WxG3l3CJ7d0qOrCtZcKzSvm+i4kDIZsUKbGMe029YOjYkKfMc02Gt7bhrtA9KLJ2ZXCmWKBsa51CGMlPrESzTx54om1q31hfXOQaI1Y8U6jeYlQ6zl0/uWYKxka/i+Va4zZlsbaOujLi4uy9Zqx9UvFnmS9XYBwiWePEJ6NaXgVJuK6XQkuHPgdizrJWbRHF8hb17qeTGVS8wnbVXF06wAN9B81H6tMTuX9+3KN0JE+FxBEQjNWAK0NykFsuUZziUvn+nO8ZqLaWvBZI9oJjP6A8uUq5d0pROSU6szn8q4qpbzwzKS6fpVQ/GBY3ZpmWe4AnvDY1yjOcd6JOahV/x3FyB0htgiDWJuv5R5NkKodg25ZNWgmEqTRnIUZrzahtBqFcE9sLmp3K1NGhmVJsiF6BCP2ICcyfKG4qz5e7KJhEahZa0wVT4fy6werfM1ab8iowBaT53W73pVPnSMm13zwEoScurLa3f84H6+Anx/rYj716CcQc3x/+s4q+Mtz+aJlBkr8WdCVavTaydrcY1Hr7lUfmavXxV+QpFiJiyE21RIVg25y9DitRtikimfbFURKFN0johd6JFJrwQp5D2YD5fk0KU5HFEP9nHSVXa87XdTblBHjvHxFlBen6MtolOlWQTXZ7ek1l2yLZaQDe2Tl6nez6ZfMCScwdg3KyhHJmVfljOVlYP25dKN4/JmdzR14lg1pl8hplkFvdtDH7cs2tbI6rVl+SH+n6e9uo/eFTN028/t6K/4pSnaJ1Ud3VprKX06eAWl1YKtPR10aldirh7EqmX5QhFsLePANYkwW4d3aN5z4aY0o0a0dh9mlaWUnmDGh7A+zZg01qQkZtuJrDy2aUVWjlqV7J4lUjLl6XDopcY/bHq2bimxqnPkmXcoQo9z27bwtyPL4jPCba4lSt9QegoarUutL7g6cPKrewKT6TMRrpITV176YVUi+1bQXZrlMRxpmFg5kz3p+RJjQ9t4X2LY59L/yFBX/ha9a8FUvfGjBh14NaA52/4OMuw/woHv79+lJe+lFz624H3RBuHXRryNsU6smMeRt1HK75DmfmaqUVT7f9E4qURFfSaopVDIZSrJeS45JWOV4Sh4B3PgDL9/KjA/lel+bOawQfCvUvIntaErH6YUVc8A5qdQ1p7+PbJGMr0P24xPdn7wiv7U/jc5sv8qxlhTnjFyZiK7soJhGKtR+BcbYNYDfdFL8hvLyU2hR0umWF1PJqPH3S1FMJ6KoVvI+usoPUEfzE3BYm4BDYwIOvJb9piD2Y8tH2V9gzNJ2fhWI5RLxoinUPuapTF8tp/lIieZ1O79sh3CrQN8RayLqnzuluBcYp3nYLnwrjKbY90WbiLypqXit+O+4av9aeUpG/4fD6NMnKsUewzraZHmVUo6ycE0xHXupzsYbYkBj5YsvGFWiCLnmC4+2gaURe7A/76EUdapofL8LZb+5vc2k9u0fCbhwT1aof3cjzCqfoyOQe1Qi0fL8YjhabBs8pzuYt9LlclmEW413ucI+5BfzlPuJ2doWiXyBn3ZNRE/C7lC0hB43eFufP5GLkFqwulmHkcQbchLsDsQrYm9Cy7uT0mnyrSuc0zPsXWYTGWmZCtfPeyLU+S3NYwnq2JI+tjPagFPWgJHXe8evJXHtyLhWLgp+fGeMHU3I0afh5bgAPHiXMCTfgb4uolMvitrIxVlkcUnsbY6H42SPy4/hONjpKgt03wHm3BL/HmW5xPYdVs8dvSbe7sFJHTruUZ1TpdNJZ5q9luDz8sCWV9QPVY/mGvSATse/8uKvjs2vNbhf9eIdimgEU9XYDr24y4W4y17cbwtxv/XifleI+50Xd6cQd6eEHRTh7pbIcXtkGfn4B9SuaKhzIGd0OqSZeW8T8pvwuizba4zm2fQpnJDvpsuf2PcfS8lf67K0UR4jsXJd4x7lBdPczqeQlpJfL0n/W2VaDzrRIRhmusj6fs67bE354S/5HEfzQl/mO5IsuX3z/q2xI/X/6GNUI9oU4LdmhVGdEOKf53V3XUXLwiR0m3nHgzNg37LAf7lXdm53xowSnDbk2ihBd1u0La2tGzKNa7FtZM/o81yD5z1MfqOj41nzhHTyQ825TbrDyteVME9ru73b3jXUs0/eadVyuy9698pN1XznpxdtUrl+iTX6/jXV5FtWpgV2eLDe51FfYWn8nV1IhXPV0WEGVFsunJS5J1H3hcejlhI3gqL4cvVY8pTbWbrT19WEmd1KnOtpldpuN5ZgRizCs/34f+Wk2IXWs8lvS7p3wX9JIN+Sd7Dd2VwzPMjGveusHfVXbO1qn08MSQ2KyIvTS62dhxhuCfWnAPvHAxlQJZpmwjmDu181TJPXvjUYkvx0zfRqpgoSar/Zn8ySN0lJM56tuifxc5bQay/fqaCQzkzFwj4PxGdWMvqbWKVJb0wRjkPQu23+NYzjYn4luepYv0yjMqeM8B+c4m/LmtKRF5O5SzuTuUd7y2Wc+ldpRL7dhLrZVLjVfN4/TKrKC7tJbKo/qXApfWdrdE9/A75pHq8p2ceV8Adf2qQ3dj/x94ArtBJ8IrkQs0v7zIum+3P7wa8qQOEc3d7vL8Uzg6P7K5Px3n9jvPe9vNt05nZ0b9zk+gNx492JMpJwvczemT/J3pMoI4dez79NifCcKGrL5OaW8SFEWxN6fA0TAMw0lPmUn5vyo6kor5egvD4V5ZSq61xD1j6q2k8o1mit8XxdAaKxUf75JvjkZJnju1DZ9QTlJeFj518+YlMnfQJpOI5/M3L5FdN1VxdhksBSPtDsxf25YixVBlUvq05Sq1V9dbBgns2xs1qwChnQJsyp/jr8Aci9An+236ushneoPqJf5et8pzMX1wmSEa5gRwDszKoTy8r70iJ24aVF2Fvdog+9iqGtU6TInYs9FtI1/M9Dt9Ji5e0lrRPvXG2yKc2+I3WlxQBkc4t4T+90SXdOisNdfIO9WrSrXVGNmf4+AubOyLc9ntgWfZx+SlhXVGWklHTp7xic6uAai3s3E80w1qtqWg8ZTxrgeviBofv5Q4Klb9bYUj7V6tkl9ZgsISCp+l6InudXI/gN6EiuWdH+9NsOw+w9Lq2BgO74vMs4z13igN8k0zfqEsi9IdSbn70CejMy70Ctq/OxeTorT0nP3PabAPhtAGqcVD6u2/tkbRHVHQJ5qlc/5TcL8MnsmL6QFn5vx3pnW7tpYRTJ0p1slAe4yCLt4GMYD16WyMgeRGO3vD6+I/i31Yf70xgtweCvxHhp7RY1FZrzLr+b8HFlH4qS32rdioCy0p5xqUtE/zL2NMcgkHhrX+teivFWhDqDxFfqfXAeaTfujujI6gtfVUvi8fzSNeYarPqkpfluyX6pK1WHKcZ4JDpyl5CvcPbk9/muPJgb9O4XYi7TiYq+HFtbzknmRe3vaxneyM4LqxuCX0eCfs7B46dFJMCOfKp+OkcWTo4zulfMY2ew7In69XotyAdZS3HE3oNf58OW8X4N+tMJlXLsGHboqehw3ia5vGYlyhb0nlhlJsnK7viPJCz/SMjNzO8grzmzPMd8F4NYBxeo7WTkOZ5TeoIswVviCTpi89Br/v67PM/sy7iqhwD05u3FwY/V7F8Yuni3NfzC08mb/59UP5lYviT+JjyFwL4jPxdfg2rviKaj47+If4p/iX3v7c3tfbp3n0HfUfi/EFYP3t/S/sum57</latexit><latexit sha1_base64="eY42ZkhMymorDpASyPmOfSv4BM4=">ABShXic7Rzbchu3FUlviXqJ0761L5vYnpEnHlWSHcfJVKl6zqWFmSbcWirOFlKTIil/QuaUlm+Bd960y/pq/tTB/zNz0XYAGQu8CSsVM9VBqJu9hzw8E5BwcHWFa6rWbSm5/4b3f/bzX/zyVx98OPr3/z2dx9d+/j3z5JOP6GT6udVic+rJSTsNWMwqe9Zq8VHnbjsNyutMLnlbNH+Pz56zBOmp3oHfZDY/b5dOoW9Wyz1oOrl2P3h48ma21C73GpV6cHE76N0KgiVonA8+C1Tz+iy0lq1Ti9tuji5dn1+bp5+gvGLBXlx/cGnpc/+9sODy93Ox7N/FyVREx1RFX3RFqGIRA+uW6IsEvg9EgtiXnSh7VgMoC2GqyY9D8VQzABuH6BCgChD6xn8P4W7I9kawT3STAi7Clxa8BcDZiBuSpgaXNeplT+Rf2DA5vEYEG2U8RI+K5JmG1p7ogGtPjwFWRQP+9QDCe9TX5ogZ5dasJdVq0d1+GzBfQ/kx/+XABnCVQ2wYriqQlsLWrkFecTwyXrFnjdIz2WC+EKZcLfm/B06Ur8siyPjDG6SrLljbtpfzNk9ThWOJKh8WwAtnBJV2V4ckp2PoC7U7KxAXjDnPhSfC7ugSXcpru7cH8X/ITvFuDuHvz384jJ+rOoz8Pf/ZTeItHnu0X4/wU81OvwF0/U/p5cQfkXzSkv59Kfw+eIHc/Ya069jBaQHobxM+w7QXUz5FuFxSjpCDxunjZSwH0puvL6Taulz6FMRLTGHywz6d1Kp1eQvDfutC7MYqyL5+JN4IORCvpe7KBN12wqIGODrHBO+KvSq+qViaEOzNwtHQRxeh2k6aRyM0MV5GdBWS5kNPbxVeTL1InLAtqY8LOQ/45a8QpB9Ozyv5kKc0Hl2QFWP3Bc0C+dB1sjyUF+EC56iMxqpsPUcEgfpqgZVW5eyNVoI6TwCrQpZ/Clex2p6cFWhmQtnwuv1bTgqiNnLrSIJs2CLq2OYjB0TFKH4pz63KbeRJQVDODpqFSsF/SFCGlJ9gXwPxNcEjFI7JXkW8k9kLtMg+DbRvU7xmflr3oqumrEH4jMaqYGkfUojUqGelCgD6sFnlXQbS93HAHFOXnJENw/lOCOAZeni8tnm7qWRS1BgfEfRDaQz7w5HRx0XpK6BZfkZ8SPcB4KFlRdKnEzniIXmsv58vKNJ+LcfZtN0mzbvusRyKw0JcvrW4xGSNpzTvxiR9g8bwbXB6nsupRVouzueqZXtmboVS7ZPl96HfZuaOPtoiGzilbJejAGPswV0EvzygdiAJ2WyPozxQerxSK1jZL358adOFXKQ2oyShaPpnewi3aR7CtIj1E5w0qb9NRJD/qJaQr7RvuGaJkrAn1CmfSGi2YC1uQltAuWkfPs9J7l6zjiVcVRlCKhVflY1xikjo10ndGV2g7ErJQJKXOEDqDvOB5n4pZztq/LyFGVc32b+tGUvIemS4LWtkZz8Co+eTKesTbyqvsfO3H5yZmZHWrIrtV1WrKNWu1SNtw02yNYzAtTSioH/WCKpJmQFnm8FYZSNfXxVP9lghiNvkd6hRU6s7YpYu9L6PKA8NSEd4f+I5nmtq1iuj9pSWzXB1ZlzmrG0/qsEj7pR2ldPWAdbAH8AEIfiK2esq0NbDf6bMblJ0VY/m5F3F/DJLR2qunDtpUTzirm+qxEGQ9YpU+OYdpP6wVExps+IZhrstT03jfYB6YWSzkymFEuUDY1zKEKZqfUIluljT5RNrVvri6scA80Ry58pVG8xKh1nrp9cMwVjo9Fcq1xk7JYW0dGXFx9l4z1j6J+LPMl0swDqGsceKTUS2vgiRc10ugpUOfAzFnWau2iHx583r30mMqn5hO0qP7p1gAb6j5qPVSan8v59uUboSJ8LCKmGSuA1jrlILZco7nEhXP9OV4zUW0t+KwQ7RhGf0D5cpny7gQickJ15jN5V5ZSntmUl2/il+MKxuTdIsdwBPeOwrFOc4b10S89Ar/rsNEDpDbJEGMbdfSj0bIVS7hlyalBMpUkjOQozXm1DaLWK4B7Y3FTu1iaNjEoTZEJ0iEdkQM6keUN+1vwd2URMo9CyVpgqn49kVo/W+Ya0X5JRAK2nSut3vSofOsbNrnlgJQk59eW1O35wP18Dvr9WxP2rU86g5vj/dZzV8Zn81jKjJX4hlDV6uTKyZpf49FrLpWf2WsvX1W+RBEiouxEW1QNLJvzlyF6jZFJNO+WKo8iWoU3UOiV/NIpNaCJfIezAaK82lSnA4phvo56Sq7Xne6qLcpI8Z5+ZIoL07RhxtEp0yzCK7Pbkitu2RbLCAb2m2VvE73fDL5hjmSmDsGxWSpyZlV5Y/FZGH9uHWheP+YnM0deZUMapXJa5RBZnXTxuzLNbeyOa5afUV+pOvbaP2h0/dNPH6Oyv+K0pVitZ5dVebyl5GnwJqdWGpTEdfN2lUIq8e+hKrkuYLebCVlAPXJGrpOrxD854LN6EZNaS1+zCtLCX0BDM+hPVpxqSxJiUx205k5bFNK7Ji1Mpk9yRkilLh0MvPcboj1XPxjU1Tn2WLOMWVeh5dtsW5n58fhzhMdEWp2qt3wMNVaXWld7vPX1QuYVN8ZmM0UgPqal7N60a9VLbVpDuOuVhNCwczJzxvkGa0PTcFtq3OPa98OcW/LkXvmzBl73wNQu+5tWA5mD3P0i5+/DPHfj+/l1Y8l54SML3hdtEH5txNsY68SKeRx564X8DmnuF6aZWDTV/k8oXhlRQa8pWhkUanK1hByXvNLxirAmeMczoEw/Oyqw/5Vp/iyn8IFw7xKypzUhqx+m1BXPgGbnGq09fPtkDGX6H7eYnuzd4TX9qfxuc0XedZS4oyRq5IRFd2kE8jEWq/AmPsGsBvOil+Q3n5KbQo6XTLy6lk1Pj7hSgmE1FUK3kfXeUHqKP5CTisTcChPgEHXst+kxP7seWT9C8wZmk7vwrEcoF40Rqn3XN0hg+209zkZNUavd+2Q7hVgG+JNZFWT53S3Amsc4ysFx4l6nNsEe6LNxFZc1LxW/HfcPX+lNK0jd8PptGETnWKPaZVtOjzKom6ycE0xHXupzsbrYkBj5YsvGFWiCLnmC4+2gaURe7A/76EUdapobL8LZL+5vc2k9u0fCbhwT1aof3cYjxqU/Vlcg5qhVo8XoxHCk2DZ5Xnchf7TK5KMItwr/c4R9yD/nKecDM9Q9EukDPuyaiJ+F3KF5Cxu8Kc+fzMcTILVhdLMPI4wy4CXcHYhWwN6Fl3cnpDflWmc5pmPcv0wiNtcyYaue9kWt9luawgPVsSR5bKe1BIepBQeq849eTufbkXEoWBT8/M8YPpuRo0vDz3AePEqYE27A3xZRKZbFbaVjrLI4pPYuxkLxs0fkx/GdbHSUBLtvgfNuAX6PU93ieg6rZo/fkW53YaWOnHYpzyjT6aRG6q9FuDz8sCW19QPVY/mGvSATse/9uKvjs2vFbhf9eIdinAEU9XYDr24y7m4y17cb3Nxv/XivsjFfeHF3cnF3SlgB3m4uwVy3B5ZRjb+AbUrGuocSINOhzTrJz3SflNGH2zXVmswFtKjfku+nyN8bd91Ly56ocTRQlvnNR4h3jDtXVa2k9LyathJ7+s962cnS+VSDCcI318ZR93Zb421PiP5L4j6bEfyxXZNny+0d9W+Jny1+3Rqgn1GnBDq0qQ9ohxf/uqo6ai1fkKOmWE2/GpmGfZWC/9s7snC9uFOC0IdGwXobou2pbV1Q6ZxLbaN7Bl9nmvwvIfJb3R0PGueGp38UHNuk+6w8nUpzNPabu+2dw317JN1WrXY7ovevXJTNd/5KUZXrVK5Psn1Ov71VWSbFmZJtvjw3qRX+GpfF2dSMXzVSFhSbLp0UeR94WHIxaStcJi+GL1mOJUm+n605eVRGmdylyr6VUarndWIMaswvN9+L/lpNiF1jNJr0v6d0E/SaFfkfwXREc8/yIxr0t7F12ytah9PDInNisgrL41uOnacIbhgXxmwTzywEVWCWSasI5j7dfMUSf17oyHJb8dMn0bKIKHmq/3ZPEmjtBTR+aobIjvXuSH02st3KqhGZ6YiYZ8H4jMrGX1NrHKkl4ao5wFofZbfOuZ+kR8i/NUsX4ZxmEVvOeAfGcT/tzWFIusHcrZzB3KW17brGZSO8qkduyl1sqkxqvmcXpFVtBdWktlUf1LDs2vLe3uiW/gd82jVW7uHI+h2v71IbuR/Y+cIl2gk8EVyIWaf95kXRfbH/4DWVInKObu93F+eKZwdH9lcl47813vte3m06czu6N25y/Z648e5EUm4XmbvzJ+k70kUkUOv59+lRHhOFLVlcnPL+BCirQk9voYJAGYaynzKz0350VSU1wtQXp+KckLVda4hax9V7SeU0SzR2+eLYmiNlYqPt8k3R6Mkz53ahk8oJykuC5+6efsSmTtok0nE8/nbl8ium6o4uwyWgpF2B+avbU+sxYqgyiX1aUrV6q8u1o2TWTa2WS1YhQxoE+ZUfx3+AORegT/b71VWwztUn9Cv8nW+05mL6wRJKPcQI6BWRnUp5eVdyTEbcPKi7A3O0QfexXBWqdJETsS+i2kq/keh+kxStaS9qn3jhb5FMb/EbrK4qASOeG8J/e6JuOnTWmtknHerVpVrqjGzv0fA3FnZlucz24LPsw9Jy4rqjLSDp094xMdXANR72bieaYKVW2LQeMpY1wPnxM0P38o8NSteluKx1o926Q+swUEJBW/S9GT3CrkEfwGdCjXrGh/+m2HYfoel9ZAQHd83mWc5y5xwG+S6Rt1CeReF+rNz14OvRmZd6DW1fnYLJ0Vp6RnbvtNAPw2ADVOKh/X7X2ytpDqDoE81auf8psF+GR2TF9IC7+345b0Trf2EsKpEqUqWSiPcZDG20BGsB69rRGQvAhHb3h9+kfxH6uPtyaw2wPB34jwU1osaqs1Zl3/t+B8Sj+Vpb5TOxWBZaU8Y5UK2qd5lt7GKQSD41r/W0v+XgrQp1B4iv1PjiPtBt3R3Rk9YWvygXxeH7pGnMNVn2Swny3ZL/UlarD5GM8Eh25S8hXOHvy+3yXHswNevcLMZfpREVfjq0t5yTzovbXtqzvREcF1a3gD6PhP2dA8dOinGOHNlU/HSOLB0cZ/Qvn0bPYdmT9Wr0W5CO0pbjCb2Gv0+HrWL8m3Umk6pl2LBt0dPQYTxN83jMS5Qt6bwzMyTlV1xHsjZ/pGRGx6neYX5zRnmu2C8GsA4PUdrp6HM8utUEeYKX5BK05ceg9/39Xlqf+ZdSZS4ByfXri+Mfq/i+MXTxbkv5xaezF9/8FDwzwfiT+JTCNwL4gvxAFx7VzwFf9D/FP8S/x74O9ub27e/cY9P3JM4fhPWz9f/AvjpcYo=</latexit><latexit sha1_base64="eY42ZkhMymorDpASyPmOfSv4BM4=">ABShXic7Rzbchu3FUlviXqJ0761L5vYnpEnHlWSHcfJVKl6zqWFmSbcWirOFlKTIil/QuaUlm+Bd960y/pq/tTB/zNz0XYAGQu8CSsVM9VBqJu9hzw8E5BwcHWFa6rWbSm5/4b3f/bzX/zyVx98OPr3/z2dx9d+/j3z5JOP6GT6udVic+rJSTsNWMwqe9Zq8VHnbjsNyutMLnlbNH+Pz56zBOmp3oHfZDY/b5dOoW9Wyz1oOrl2P3h48ma21C73GpV6cHE76N0KgiVonA8+C1Tz+iy0lq1Ti9tuji5dn1+bp5+gvGLBXlx/cGnpc/+9sODy93Ox7N/FyVREx1RFX3RFqGIRA+uW6IsEvg9EgtiXnSh7VgMoC2GqyY9D8VQzABuH6BCgChD6xn8P4W7I9kawT3STAi7Clxa8BcDZiBuSpgaXNeplT+Rf2DA5vEYEG2U8RI+K5JmG1p7ogGtPjwFWRQP+9QDCe9TX5ogZ5dasJdVq0d1+GzBfQ/kx/+XABnCVQ2wYriqQlsLWrkFecTwyXrFnjdIz2WC+EKZcLfm/B06Ur8siyPjDG6SrLljbtpfzNk9ThWOJKh8WwAtnBJV2V4ckp2PoC7U7KxAXjDnPhSfC7ugSXcpru7cH8X/ITvFuDuHvz384jJ+rOoz8Pf/ZTeItHnu0X4/wU81OvwF0/U/p5cQfkXzSkv59Kfw+eIHc/Ya069jBaQHobxM+w7QXUz5FuFxSjpCDxunjZSwH0puvL6Taulz6FMRLTGHywz6d1Kp1eQvDfutC7MYqyL5+JN4IORCvpe7KBN12wqIGODrHBO+KvSq+qViaEOzNwtHQRxeh2k6aRyM0MV5GdBWS5kNPbxVeTL1InLAtqY8LOQ/45a8QpB9Ozyv5kKc0Hl2QFWP3Bc0C+dB1sjyUF+EC56iMxqpsPUcEgfpqgZVW5eyNVoI6TwCrQpZ/Clex2p6cFWhmQtnwuv1bTgqiNnLrSIJs2CLq2OYjB0TFKH4pz63KbeRJQVDODpqFSsF/SFCGlJ9gXwPxNcEjFI7JXkW8k9kLtMg+DbRvU7xmflr3oqumrEH4jMaqYGkfUojUqGelCgD6sFnlXQbS93HAHFOXnJENw/lOCOAZeni8tnm7qWRS1BgfEfRDaQz7w5HRx0XpK6BZfkZ8SPcB4KFlRdKnEzniIXmsv58vKNJ+LcfZtN0mzbvusRyKw0JcvrW4xGSNpzTvxiR9g8bwbXB6nsupRVouzueqZXtmboVS7ZPl96HfZuaOPtoiGzilbJejAGPswV0EvzygdiAJ2WyPozxQerxSK1jZL358adOFXKQ2oyShaPpnewi3aR7CtIj1E5w0qb9NRJD/qJaQr7RvuGaJkrAn1CmfSGi2YC1uQltAuWkfPs9J7l6zjiVcVRlCKhVflY1xikjo10ndGV2g7ErJQJKXOEDqDvOB5n4pZztq/LyFGVc32b+tGUvIemS4LWtkZz8Co+eTKesTbyqvsfO3H5yZmZHWrIrtV1WrKNWu1SNtw02yNYzAtTSioH/WCKpJmQFnm8FYZSNfXxVP9lghiNvkd6hRU6s7YpYu9L6PKA8NSEd4f+I5nmtq1iuj9pSWzXB1ZlzmrG0/qsEj7pR2ldPWAdbAH8AEIfiK2esq0NbDf6bMblJ0VY/m5F3F/DJLR2qunDtpUTzirm+qxEGQ9YpU+OYdpP6wVExps+IZhrstT03jfYB6YWSzkymFEuUDY1zKEKZqfUIluljT5RNrVvri6scA80Ry58pVG8xKh1nrp9cMwVjo9Fcq1xk7JYW0dGXFx9l4z1j6J+LPMl0swDqGsceKTUS2vgiRc10ugpUOfAzFnWau2iHx583r30mMqn5hO0qP7p1gAb6j5qPVSan8v59uUboSJ8LCKmGSuA1jrlILZco7nEhXP9OV4zUW0t+KwQ7RhGf0D5cpny7gQickJ15jN5V5ZSntmUl2/il+MKxuTdIsdwBPeOwrFOc4b10S89Ar/rsNEDpDbJEGMbdfSj0bIVS7hlyalBMpUkjOQozXm1DaLWK4B7Y3FTu1iaNjEoTZEJ0iEdkQM6keUN+1vwd2URMo9CyVpgqn49kVo/W+Ya0X5JRAK2nSut3vSofOsbNrnlgJQk59eW1O35wP18Dvr9WxP2rU86g5vj/dZzV8Zn81jKjJX4hlDV6uTKyZpf49FrLpWf2WsvX1W+RBEiouxEW1QNLJvzlyF6jZFJNO+WKo8iWoU3UOiV/NIpNaCJfIezAaK82lSnA4phvo56Sq7Xne6qLcpI8Z5+ZIoL07RhxtEp0yzCK7Pbkitu2RbLCAb2m2VvE73fDL5hjmSmDsGxWSpyZlV5Y/FZGH9uHWheP+YnM0deZUMapXJa5RBZnXTxuzLNbeyOa5afUV+pOvbaP2h0/dNPH6Oyv+K0pVitZ5dVebyl5GnwJqdWGpTEdfN2lUIq8e+hKrkuYLebCVlAPXJGrpOrxD854LN6EZNaS1+zCtLCX0BDM+hPVpxqSxJiUx205k5bFNK7Ji1Mpk9yRkilLh0MvPcboj1XPxjU1Tn2WLOMWVeh5dtsW5n58fhzhMdEWp2qt3wMNVaXWld7vPX1QuYVN8ZmM0UgPqal7N60a9VLbVpDuOuVhNCwczJzxvkGa0PTcFtq3OPa98OcW/LkXvmzBl73wNQu+5tWA5mD3P0i5+/DPHfj+/l1Y8l54SML3hdtEH5txNsY68SKeRx564X8DmnuF6aZWDTV/k8oXhlRQa8pWhkUanK1hByXvNLxirAmeMczoEw/Oyqw/5Vp/iyn8IFw7xKypzUhqx+m1BXPgGbnGq09fPtkDGX6H7eYnuzd4TX9qfxuc0XedZS4oyRq5IRFd2kE8jEWq/AmPsGsBvOil+Q3n5KbQo6XTLy6lk1Pj7hSgmE1FUK3kfXeUHqKP5CTisTcChPgEHXst+kxP7seWT9C8wZmk7vwrEcoF40Rqn3XN0hg+209zkZNUavd+2Q7hVgG+JNZFWT53S3Amsc4ysFx4l6nNsEe6LNxFZc1LxW/HfcPX+lNK0jd8PptGETnWKPaZVtOjzKom6ycE0xHXupzsbrYkBj5YsvGFWiCLnmC4+2gaURe7A/76EUdapobL8LZL+5vc2k9u0fCbhwT1aof3cYjxqU/Vlcg5qhVo8XoxHCk2DZ5Xnchf7TK5KMItwr/c4R9yD/nKecDM9Q9EukDPuyaiJ+F3KF5Cxu8Kc+fzMcTILVhdLMPI4wy4CXcHYhWwN6Fl3cnpDflWmc5pmPcv0wiNtcyYaue9kWt9luawgPVsSR5bKe1BIepBQeq849eTufbkXEoWBT8/M8YPpuRo0vDz3AePEqYE27A3xZRKZbFbaVjrLI4pPYuxkLxs0fkx/GdbHSUBLtvgfNuAX6PU93ieg6rZo/fkW53YaWOnHYpzyjT6aRG6q9FuDz8sCW19QPVY/mGvSATse/9uKvjs2vFbhf9eIdinAEU9XYDr24y7m4y17cb3Nxv/XivsjFfeHF3cnF3SlgB3m4uwVy3B5ZRjb+AbUrGuocSINOhzTrJz3SflNGH2zXVmswFtKjfku+nyN8bd91Ly56ocTRQlvnNR4h3jDtXVa2k9LyathJ7+s962cnS+VSDCcI318ZR93Zb421PiP5L4j6bEfyxXZNny+0d9W+Jny1+3Rqgn1GnBDq0qQ9ohxf/uqo6ai1fkKOmWE2/GpmGfZWC/9s7snC9uFOC0IdGwXobou2pbV1Q6ZxLbaN7Bl9nmvwvIfJb3R0PGueGp38UHNuk+6w8nUpzNPabu+2dw317JN1WrXY7ovevXJTNd/5KUZXrVK5Psn1Ov71VWSbFmZJtvjw3qRX+GpfF2dSMXzVSFhSbLp0UeR94WHIxaStcJi+GL1mOJUm+n605eVRGmdylyr6VUarndWIMaswvN9+L/lpNiF1jNJr0v6d0E/SaFfkfwXREc8/yIxr0t7F12ytah9PDInNisgrL41uOnacIbhgXxmwTzywEVWCWSasI5j7dfMUSf17oyHJb8dMn0bKIKHmq/3ZPEmjtBTR+aobIjvXuSH02st3KqhGZ6YiYZ8H4jMrGX1NrHKkl4ao5wFofZbfOuZ+kR8i/NUsX4ZxmEVvOeAfGcT/tzWFIusHcrZzB3KW17brGZSO8qkduyl1sqkxqvmcXpFVtBdWktlUf1LDs2vLe3uiW/gd82jVW7uHI+h2v71IbuR/Y+cIl2gk8EVyIWaf95kXRfbH/4DWVInKObu93F+eKZwdH9lcl47813vte3m06czu6N25y/Z648e5EUm4XmbvzJ+k70kUkUOv59+lRHhOFLVlcnPL+BCirQk9voYJAGYaynzKz0350VSU1wtQXp+KckLVda4hax9V7SeU0SzR2+eLYmiNlYqPt8k3R6Mkz53ahk8oJykuC5+6efsSmTtok0nE8/nbl8ium6o4uwyWgpF2B+avbU+sxYqgyiX1aUrV6q8u1o2TWTa2WS1YhQxoE+ZUfx3+AORegT/b71VWwztUn9Cv8nW+05mL6wRJKPcQI6BWRnUp5eVdyTEbcPKi7A3O0QfexXBWqdJETsS+i2kq/keh+kxStaS9qn3jhb5FMb/EbrK4qASOeG8J/e6JuOnTWmtknHerVpVrqjGzv0fA3FnZlucz24LPsw9Jy4rqjLSDp094xMdXANR72bieaYKVW2LQeMpY1wPnxM0P38o8NSteluKx1o926Q+swUEJBW/S9GT3CrkEfwGdCjXrGh/+m2HYfoel9ZAQHd83mWc5y5xwG+S6Rt1CeReF+rNz14OvRmZd6DW1fnYLJ0Vp6RnbvtNAPw2ADVOKh/X7X2ytpDqDoE81auf8psF+GR2TF9IC7+345b0Trf2EsKpEqUqWSiPcZDG20BGsB69rRGQvAhHb3h9+kfxH6uPtyaw2wPB34jwU1osaqs1Zl3/t+B8Sj+Vpb5TOxWBZaU8Y5UK2qd5lt7GKQSD41r/W0v+XgrQp1B4iv1PjiPtBt3R3Rk9YWvygXxeH7pGnMNVn2Swny3ZL/UlarD5GM8Eh25S8hXOHvy+3yXHswNevcLMZfpREVfjq0t5yTzovbXtqzvREcF1a3gD6PhP2dA8dOinGOHNlU/HSOLB0cZ/Qvn0bPYdmT9Wr0W5CO0pbjCb2Gv0+HrWL8m3Umk6pl2LBt0dPQYTxN83jMS5Qt6bwzMyTlV1xHsjZ/pGRGx6neYX5zRnmu2C8GsA4PUdrp6HM8utUEeYKX5BK05ceg9/39Xlqf+ZdSZS4ByfXri+Mfq/i+MXTxbkv5xaezF9/8FDwzwfiT+JTCNwL4gvxAFx7VzwFf9D/FP8S/x74O9ub27e/cY9P3JM4fhPWz9f/AvjpcYo=</latexit><latexit sha1_base64="eY42ZkhMymorDpASyPmOfSv4BM4=">ABShXic7Rzbchu3FUlviXqJ0761L5vYnpEnHlWSHcfJVKl6zqWFmSbcWirOFlKTIil/QuaUlm+Bd960y/pq/tTB/zNz0XYAGQu8CSsVM9VBqJu9hzw8E5BwcHWFa6rWbSm5/4b3f/bzX/zyVx98OPr3/z2dx9d+/j3z5JOP6GT6udVic+rJSTsNWMwqe9Zq8VHnbjsNyutMLnlbNH+Pz56zBOmp3oHfZDY/b5dOoW9Wyz1oOrl2P3h48ma21C73GpV6cHE76N0KgiVonA8+C1Tz+iy0lq1Ti9tuji5dn1+bp5+gvGLBXlx/cGnpc/+9sODy93Ox7N/FyVREx1RFX3RFqGIRA+uW6IsEvg9EgtiXnSh7VgMoC2GqyY9D8VQzABuH6BCgChD6xn8P4W7I9kawT3STAi7Clxa8BcDZiBuSpgaXNeplT+Rf2DA5vEYEG2U8RI+K5JmG1p7ogGtPjwFWRQP+9QDCe9TX5ogZ5dasJdVq0d1+GzBfQ/kx/+XABnCVQ2wYriqQlsLWrkFecTwyXrFnjdIz2WC+EKZcLfm/B06Ur8siyPjDG6SrLljbtpfzNk9ThWOJKh8WwAtnBJV2V4ckp2PoC7U7KxAXjDnPhSfC7ugSXcpru7cH8X/ITvFuDuHvz384jJ+rOoz8Pf/ZTeItHnu0X4/wU81OvwF0/U/p5cQfkXzSkv59Kfw+eIHc/Ya069jBaQHobxM+w7QXUz5FuFxSjpCDxunjZSwH0puvL6Taulz6FMRLTGHywz6d1Kp1eQvDfutC7MYqyL5+JN4IORCvpe7KBN12wqIGODrHBO+KvSq+qViaEOzNwtHQRxeh2k6aRyM0MV5GdBWS5kNPbxVeTL1InLAtqY8LOQ/45a8QpB9Ozyv5kKc0Hl2QFWP3Bc0C+dB1sjyUF+EC56iMxqpsPUcEgfpqgZVW5eyNVoI6TwCrQpZ/Clex2p6cFWhmQtnwuv1bTgqiNnLrSIJs2CLq2OYjB0TFKH4pz63KbeRJQVDODpqFSsF/SFCGlJ9gXwPxNcEjFI7JXkW8k9kLtMg+DbRvU7xmflr3oqumrEH4jMaqYGkfUojUqGelCgD6sFnlXQbS93HAHFOXnJENw/lOCOAZeni8tnm7qWRS1BgfEfRDaQz7w5HRx0XpK6BZfkZ8SPcB4KFlRdKnEzniIXmsv58vKNJ+LcfZtN0mzbvusRyKw0JcvrW4xGSNpzTvxiR9g8bwbXB6nsupRVouzueqZXtmboVS7ZPl96HfZuaOPtoiGzilbJejAGPswV0EvzygdiAJ2WyPozxQerxSK1jZL358adOFXKQ2oyShaPpnewi3aR7CtIj1E5w0qb9NRJD/qJaQr7RvuGaJkrAn1CmfSGi2YC1uQltAuWkfPs9J7l6zjiVcVRlCKhVflY1xikjo10ndGV2g7ErJQJKXOEDqDvOB5n4pZztq/LyFGVc32b+tGUvIemS4LWtkZz8Co+eTKesTbyqvsfO3H5yZmZHWrIrtV1WrKNWu1SNtw02yNYzAtTSioH/WCKpJmQFnm8FYZSNfXxVP9lghiNvkd6hRU6s7YpYu9L6PKA8NSEd4f+I5nmtq1iuj9pSWzXB1ZlzmrG0/qsEj7pR2ldPWAdbAH8AEIfiK2esq0NbDf6bMblJ0VY/m5F3F/DJLR2qunDtpUTzirm+qxEGQ9YpU+OYdpP6wVExps+IZhrstT03jfYB6YWSzkymFEuUDY1zKEKZqfUIluljT5RNrVvri6scA80Ry58pVG8xKh1nrp9cMwVjo9Fcq1xk7JYW0dGXFx9l4z1j6J+LPMl0swDqGsceKTUS2vgiRc10ugpUOfAzFnWau2iHx583r30mMqn5hO0qP7p1gAb6j5qPVSan8v59uUboSJ8LCKmGSuA1jrlILZco7nEhXP9OV4zUW0t+KwQ7RhGf0D5cpny7gQickJ15jN5V5ZSntmUl2/il+MKxuTdIsdwBPeOwrFOc4b10S89Ar/rsNEDpDbJEGMbdfSj0bIVS7hlyalBMpUkjOQozXm1DaLWK4B7Y3FTu1iaNjEoTZEJ0iEdkQM6keUN+1vwd2URMo9CyVpgqn49kVo/W+Ya0X5JRAK2nSut3vSofOsbNrnlgJQk59eW1O35wP18Dvr9WxP2rU86g5vj/dZzV8Zn81jKjJX4hlDV6uTKyZpf49FrLpWf2WsvX1W+RBEiouxEW1QNLJvzlyF6jZFJNO+WKo8iWoU3UOiV/NIpNaCJfIezAaK82lSnA4phvo56Sq7Xne6qLcpI8Z5+ZIoL07RhxtEp0yzCK7Pbkitu2RbLCAb2m2VvE73fDL5hjmSmDsGxWSpyZlV5Y/FZGH9uHWheP+YnM0deZUMapXJa5RBZnXTxuzLNbeyOa5afUV+pOvbaP2h0/dNPH6Oyv+K0pVitZ5dVebyl5GnwJqdWGpTEdfN2lUIq8e+hKrkuYLebCVlAPXJGrpOrxD854LN6EZNaS1+zCtLCX0BDM+hPVpxqSxJiUx205k5bFNK7Ji1Mpk9yRkilLh0MvPcboj1XPxjU1Tn2WLOMWVeh5dtsW5n58fhzhMdEWp2qt3wMNVaXWld7vPX1QuYVN8ZmM0UgPqal7N60a9VLbVpDuOuVhNCwczJzxvkGa0PTcFtq3OPa98OcW/LkXvmzBl73wNQu+5tWA5mD3P0i5+/DPHfj+/l1Y8l54SML3hdtEH5txNsY68SKeRx564X8DmnuF6aZWDTV/k8oXhlRQa8pWhkUanK1hByXvNLxirAmeMczoEw/Oyqw/5Vp/iyn8IFw7xKypzUhqx+m1BXPgGbnGq09fPtkDGX6H7eYnuzd4TX9qfxuc0XedZS4oyRq5IRFd2kE8jEWq/AmPsGsBvOil+Q3n5KbQo6XTLy6lk1Pj7hSgmE1FUK3kfXeUHqKP5CTisTcChPgEHXst+kxP7seWT9C8wZmk7vwrEcoF40Rqn3XN0hg+209zkZNUavd+2Q7hVgG+JNZFWT53S3Amsc4ysFx4l6nNsEe6LNxFZc1LxW/HfcPX+lNK0jd8PptGETnWKPaZVtOjzKom6ycE0xHXupzsbrYkBj5YsvGFWiCLnmC4+2gaURe7A/76EUdapobL8LZL+5vc2k9u0fCbhwT1aof3cYjxqU/Vlcg5qhVo8XoxHCk2DZ5Xnchf7TK5KMItwr/c4R9yD/nKecDM9Q9EukDPuyaiJ+F3KF5Cxu8Kc+fzMcTILVhdLMPI4wy4CXcHYhWwN6Fl3cnpDflWmc5pmPcv0wiNtcyYaue9kWt9luawgPVsSR5bKe1BIepBQeq849eTufbkXEoWBT8/M8YPpuRo0vDz3AePEqYE27A3xZRKZbFbaVjrLI4pPYuxkLxs0fkx/GdbHSUBLtvgfNuAX6PU93ieg6rZo/fkW53YaWOnHYpzyjT6aRG6q9FuDz8sCW19QPVY/mGvSATse/9uKvjs2vFbhf9eIdinAEU9XYDr24y7m4y17cb3Nxv/XivsjFfeHF3cnF3SlgB3m4uwVy3B5ZRjb+AbUrGuocSINOhzTrJz3SflNGH2zXVmswFtKjfku+nyN8bd91Ly56ocTRQlvnNR4h3jDtXVa2k9LyathJ7+s962cnS+VSDCcI318ZR93Zb421PiP5L4j6bEfyxXZNny+0d9W+Jny1+3Rqgn1GnBDq0qQ9ohxf/uqo6ai1fkKOmWE2/GpmGfZWC/9s7snC9uFOC0IdGwXobou2pbV1Q6ZxLbaN7Bl9nmvwvIfJb3R0PGueGp38UHNuk+6w8nUpzNPabu+2dw317JN1WrXY7ovevXJTNd/5KUZXrVK5Psn1Ov71VWSbFmZJtvjw3qRX+GpfF2dSMXzVSFhSbLp0UeR94WHIxaStcJi+GL1mOJUm+n605eVRGmdylyr6VUarndWIMaswvN9+L/lpNiF1jNJr0v6d0E/SaFfkfwXREc8/yIxr0t7F12ytah9PDInNisgrL41uOnacIbhgXxmwTzywEVWCWSasI5j7dfMUSf17oyHJb8dMn0bKIKHmq/3ZPEmjtBTR+aobIjvXuSH02st3KqhGZ6YiYZ8H4jMrGX1NrHKkl4ao5wFofZbfOuZ+kR8i/NUsX4ZxmEVvOeAfGcT/tzWFIusHcrZzB3KW17brGZSO8qkduyl1sqkxqvmcXpFVtBdWktlUf1LDs2vLe3uiW/gd82jVW7uHI+h2v71IbuR/Y+cIl2gk8EVyIWaf95kXRfbH/4DWVInKObu93F+eKZwdH9lcl47813vte3m06czu6N25y/Z648e5EUm4XmbvzJ+k70kUkUOv59+lRHhOFLVlcnPL+BCirQk9voYJAGYaynzKz0350VSU1wtQXp+KckLVda4hax9V7SeU0SzR2+eLYmiNlYqPt8k3R6Mkz53ahk8oJykuC5+6efsSmTtok0nE8/nbl8ium6o4uwyWgpF2B+avbU+sxYqgyiX1aUrV6q8u1o2TWTa2WS1YhQxoE+ZUfx3+AORegT/b71VWwztUn9Cv8nW+05mL6wRJKPcQI6BWRnUp5eVdyTEbcPKi7A3O0QfexXBWqdJETsS+i2kq/keh+kxStaS9qn3jhb5FMb/EbrK4qASOeG8J/e6JuOnTWmtknHerVpVrqjGzv0fA3FnZlucz24LPsw9Jy4rqjLSDp094xMdXANR72bieaYKVW2LQeMpY1wPnxM0P38o8NSteluKx1o926Q+swUEJBW/S9GT3CrkEfwGdCjXrGh/+m2HYfoel9ZAQHd83mWc5y5xwG+S6Rt1CeReF+rNz14OvRmZd6DW1fnYLJ0Vp6RnbvtNAPw2ADVOKh/X7X2ytpDqDoE81auf8psF+GR2TF9IC7+345b0Trf2EsKpEqUqWSiPcZDG20BGsB69rRGQvAhHb3h9+kfxH6uPtyaw2wPB34jwU1osaqs1Zl3/t+B8Sj+Vpb5TOxWBZaU8Y5UK2qd5lt7GKQSD41r/W0v+XgrQp1B4iv1PjiPtBt3R3Rk9YWvygXxeH7pGnMNVn2Swny3ZL/UlarD5GM8Eh25S8hXOHvy+3yXHswNevcLMZfpREVfjq0t5yTzovbXtqzvREcF1a3gD6PhP2dA8dOinGOHNlU/HSOLB0cZ/Qvn0bPYdmT9Wr0W5CO0pbjCb2Gv0+HrWL8m3Umk6pl2LBt0dPQYTxN83jMS5Qt6bwzMyTlV1xHsjZ/pGRGx6neYX5zRnmu2C8GsA4PUdrp6HM8utUEeYKX5BK05ceg9/39Xlqf+ZdSZS4ByfXri+Mfq/i+MXTxbkv5xaezF9/8FDwzwfiT+JTCNwL4gvxAFx7VzwFf9D/FP8S/x74O9ub27e/cY9P3JM4fhPWz9f/AvjpcYo=</latexit><latexit sha1_base64="eY42ZkhMymorDpASyPmOfSv4BM4=">ABShXic7Rzbchu3FUlviXqJ0761L5vYnpEnHlWSHcfJVKl6zqWFmSbcWirOFlKTIil/QuaUlm+Bd960y/pq/tTB/zNz0XYAGQu8CSsVM9VBqJu9hzw8E5BwcHWFa6rWbSm5/4b3f/bzX/zyVx98OPr3/z2dx9d+/j3z5JOP6GT6udVic+rJSTsNWMwqe9Zq8VHnbjsNyutMLnlbNH+Pz56zBOmp3oHfZDY/b5dOoW9Wyz1oOrl2P3h48ma21C73GpV6cHE76N0KgiVonA8+C1Tz+iy0lq1Ti9tuji5dn1+bp5+gvGLBXlx/cGnpc/+9sODy93Ox7N/FyVREx1RFX3RFqGIRA+uW6IsEvg9EgtiXnSh7VgMoC2GqyY9D8VQzABuH6BCgChD6xn8P4W7I9kawT3STAi7Clxa8BcDZiBuSpgaXNeplT+Rf2DA5vEYEG2U8RI+K5JmG1p7ogGtPjwFWRQP+9QDCe9TX5ogZ5dasJdVq0d1+GzBfQ/kx/+XABnCVQ2wYriqQlsLWrkFecTwyXrFnjdIz2WC+EKZcLfm/B06Ur8siyPjDG6SrLljbtpfzNk9ThWOJKh8WwAtnBJV2V4ckp2PoC7U7KxAXjDnPhSfC7ugSXcpru7cH8X/ITvFuDuHvz384jJ+rOoz8Pf/ZTeItHnu0X4/wU81OvwF0/U/p5cQfkXzSkv59Kfw+eIHc/Ya069jBaQHobxM+w7QXUz5FuFxSjpCDxunjZSwH0puvL6Taulz6FMRLTGHywz6d1Kp1eQvDfutC7MYqyL5+JN4IORCvpe7KBN12wqIGODrHBO+KvSq+qViaEOzNwtHQRxeh2k6aRyM0MV5GdBWS5kNPbxVeTL1InLAtqY8LOQ/45a8QpB9Ozyv5kKc0Hl2QFWP3Bc0C+dB1sjyUF+EC56iMxqpsPUcEgfpqgZVW5eyNVoI6TwCrQpZ/Clex2p6cFWhmQtnwuv1bTgqiNnLrSIJs2CLq2OYjB0TFKH4pz63KbeRJQVDODpqFSsF/SFCGlJ9gXwPxNcEjFI7JXkW8k9kLtMg+DbRvU7xmflr3oqumrEH4jMaqYGkfUojUqGelCgD6sFnlXQbS93HAHFOXnJENw/lOCOAZeni8tnm7qWRS1BgfEfRDaQz7w5HRx0XpK6BZfkZ8SPcB4KFlRdKnEzniIXmsv58vKNJ+LcfZtN0mzbvusRyKw0JcvrW4xGSNpzTvxiR9g8bwbXB6nsupRVouzueqZXtmboVS7ZPl96HfZuaOPtoiGzilbJejAGPswV0EvzygdiAJ2WyPozxQerxSK1jZL358adOFXKQ2oyShaPpnewi3aR7CtIj1E5w0qb9NRJD/qJaQr7RvuGaJkrAn1CmfSGi2YC1uQltAuWkfPs9J7l6zjiVcVRlCKhVflY1xikjo10ndGV2g7ErJQJKXOEDqDvOB5n4pZztq/LyFGVc32b+tGUvIemS4LWtkZz8Co+eTKesTbyqvsfO3H5yZmZHWrIrtV1WrKNWu1SNtw02yNYzAtTSioH/WCKpJmQFnm8FYZSNfXxVP9lghiNvkd6hRU6s7YpYu9L6PKA8NSEd4f+I5nmtq1iuj9pSWzXB1ZlzmrG0/qsEj7pR2ldPWAdbAH8AEIfiK2esq0NbDf6bMblJ0VY/m5F3F/DJLR2qunDtpUTzirm+qxEGQ9YpU+OYdpP6wVExps+IZhrstT03jfYB6YWSzkymFEuUDY1zKEKZqfUIluljT5RNrVvri6scA80Ry58pVG8xKh1nrp9cMwVjo9Fcq1xk7JYW0dGXFx9l4z1j6J+LPMl0swDqGsceKTUS2vgiRc10ugpUOfAzFnWau2iHx583r30mMqn5hO0qP7p1gAb6j5qPVSan8v59uUboSJ8LCKmGSuA1jrlILZco7nEhXP9OV4zUW0t+KwQ7RhGf0D5cpny7gQickJ15jN5V5ZSntmUl2/il+MKxuTdIsdwBPeOwrFOc4b10S89Ar/rsNEDpDbJEGMbdfSj0bIVS7hlyalBMpUkjOQozXm1DaLWK4B7Y3FTu1iaNjEoTZEJ0iEdkQM6keUN+1vwd2URMo9CyVpgqn49kVo/W+Ya0X5JRAK2nSut3vSofOsbNrnlgJQk59eW1O35wP18Dvr9WxP2rU86g5vj/dZzV8Zn81jKjJX4hlDV6uTKyZpf49FrLpWf2WsvX1W+RBEiouxEW1QNLJvzlyF6jZFJNO+WKo8iWoU3UOiV/NIpNaCJfIezAaK82lSnA4phvo56Sq7Xne6qLcpI8Z5+ZIoL07RhxtEp0yzCK7Pbkitu2RbLCAb2m2VvE73fDL5hjmSmDsGxWSpyZlV5Y/FZGH9uHWheP+YnM0deZUMapXJa5RBZnXTxuzLNbeyOa5afUV+pOvbaP2h0/dNPH6Oyv+K0pVitZ5dVebyl5GnwJqdWGpTEdfN2lUIq8e+hKrkuYLebCVlAPXJGrpOrxD854LN6EZNaS1+zCtLCX0BDM+hPVpxqSxJiUx205k5bFNK7Ji1Mpk9yRkilLh0MvPcboj1XPxjU1Tn2WLOMWVeh5dtsW5n58fhzhMdEWp2qt3wMNVaXWld7vPX1QuYVN8ZmM0UgPqal7N60a9VLbVpDuOuVhNCwczJzxvkGa0PTcFtq3OPa98OcW/LkXvmzBl73wNQu+5tWA5mD3P0i5+/DPHfj+/l1Y8l54SML3hdtEH5txNsY68SKeRx564X8DmnuF6aZWDTV/k8oXhlRQa8pWhkUanK1hByXvNLxirAmeMczoEw/Oyqw/5Vp/iyn8IFw7xKypzUhqx+m1BXPgGbnGq09fPtkDGX6H7eYnuzd4TX9qfxuc0XedZS4oyRq5IRFd2kE8jEWq/AmPsGsBvOil+Q3n5KbQo6XTLy6lk1Pj7hSgmE1FUK3kfXeUHqKP5CTisTcChPgEHXst+kxP7seWT9C8wZmk7vwrEcoF40Rqn3XN0hg+209zkZNUavd+2Q7hVgG+JNZFWT53S3Amsc4ysFx4l6nNsEe6LNxFZc1LxW/HfcPX+lNK0jd8PptGETnWKPaZVtOjzKom6ycE0xHXupzsbrYkBj5YsvGFWiCLnmC4+2gaURe7A/76EUdapobL8LZL+5vc2k9u0fCbhwT1aof3cYjxqU/Vlcg5qhVo8XoxHCk2DZ5Xnchf7TK5KMItwr/c4R9yD/nKecDM9Q9EukDPuyaiJ+F3KF5Cxu8Kc+fzMcTILVhdLMPI4wy4CXcHYhWwN6Fl3cnpDflWmc5pmPcv0wiNtcyYaue9kWt9luawgPVsSR5bKe1BIepBQeq849eTufbkXEoWBT8/M8YPpuRo0vDz3AePEqYE27A3xZRKZbFbaVjrLI4pPYuxkLxs0fkx/GdbHSUBLtvgfNuAX6PU93ieg6rZo/fkW53YaWOnHYpzyjT6aRG6q9FuDz8sCW19QPVY/mGvSATse/9uKvjs2vFbhf9eIdinAEU9XYDr24y7m4y17cb3Nxv/XivsjFfeHF3cnF3SlgB3m4uwVy3B5ZRjb+AbUrGuocSINOhzTrJz3SflNGH2zXVmswFtKjfku+nyN8bd91Ly56ocTRQlvnNR4h3jDtXVa2k9LyathJ7+s962cnS+VSDCcI318ZR93Zb421PiP5L4j6bEfyxXZNny+0d9W+Jny1+3Rqgn1GnBDq0qQ9ohxf/uqo6ai1fkKOmWE2/GpmGfZWC/9s7snC9uFOC0IdGwXobou2pbV1Q6ZxLbaN7Bl9nmvwvIfJb3R0PGueGp38UHNuk+6w8nUpzNPabu+2dw317JN1WrXY7ovevXJTNd/5KUZXrVK5Psn1Ov71VWSbFmZJtvjw3qRX+GpfF2dSMXzVSFhSbLp0UeR94WHIxaStcJi+GL1mOJUm+n605eVRGmdylyr6VUarndWIMaswvN9+L/lpNiF1jNJr0v6d0E/SaFfkfwXREc8/yIxr0t7F12ytah9PDInNisgrL41uOnacIbhgXxmwTzywEVWCWSasI5j7dfMUSf17oyHJb8dMn0bKIKHmq/3ZPEmjtBTR+aobIjvXuSH02st3KqhGZ6YiYZ8H4jMrGX1NrHKkl4ao5wFofZbfOuZ+kR8i/NUsX4ZxmEVvOeAfGcT/tzWFIusHcrZzB3KW17brGZSO8qkduyl1sqkxqvmcXpFVtBdWktlUf1LDs2vLe3uiW/gd82jVW7uHI+h2v71IbuR/Y+cIl2gk8EVyIWaf95kXRfbH/4DWVInKObu93F+eKZwdH9lcl47813vte3m06czu6N25y/Z648e5EUm4XmbvzJ+k70kUkUOv59+lRHhOFLVlcnPL+BCirQk9voYJAGYaynzKz0350VSU1wtQXp+KckLVda4hax9V7SeU0SzR2+eLYmiNlYqPt8k3R6Mkz53ahk8oJykuC5+6efsSmTtok0nE8/nbl8ium6o4uwyWgpF2B+avbU+sxYqgyiX1aUrV6q8u1o2TWTa2WS1YhQxoE+ZUfx3+AORegT/b71VWwztUn9Cv8nW+05mL6wRJKPcQI6BWRnUp5eVdyTEbcPKi7A3O0QfexXBWqdJETsS+i2kq/keh+kxStaS9qn3jhb5FMb/EbrK4qASOeG8J/e6JuOnTWmtknHerVpVrqjGzv0fA3FnZlucz24LPsw9Jy4rqjLSDp094xMdXANR72bieaYKVW2LQeMpY1wPnxM0P38o8NSteluKx1o926Q+swUEJBW/S9GT3CrkEfwGdCjXrGh/+m2HYfoel9ZAQHd83mWc5y5xwG+S6Rt1CeReF+rNz14OvRmZd6DW1fnYLJ0Vp6RnbvtNAPw2ADVOKh/X7X2ytpDqDoE81auf8psF+GR2TF9IC7+345b0Trf2EsKpEqUqWSiPcZDG20BGsB69rRGQvAhHb3h9+kfxH6uPtyaw2wPB34jwU1osaqs1Zl3/t+B8Sj+Vpb5TOxWBZaU8Y5UK2qd5lt7GKQSD41r/W0v+XgrQp1B4iv1PjiPtBt3R3Rk9YWvygXxeH7pGnMNVn2Swny3ZL/UlarD5GM8Eh25S8hXOHvy+3yXHswNevcLMZfpREVfjq0t5yTzovbXtqzvREcF1a3gD6PhP2dA8dOinGOHNlU/HSOLB0cZ/Qvn0bPYdmT9Wr0W5CO0pbjCb2Gv0+HrWL8m3Umk6pl2LBt0dPQYTxN83jMS5Qt6bwzMyTlV1xHsjZ/pGRGx6neYX5zRnmu2C8GsA4PUdrp6HM8utUEeYKX5BK05ceg9/39Xlqf+ZdSZS4ByfXri+Mfq/i+MXTxbkv5xaezF9/8FDwzwfiT+JTCNwL4gvxAFx7VzwFf9D/FP8S/x74O9ub27e/cY9P3JM4fhPWz9f/AvjpcYo=</latexit><latexit sha1_base64="aeWqruVPt75lw4UaonJitpi3SaI=">ABShXic7Rzbchu3FUlviXqJ0761L5vYnpEnHlWSE8fJVGlk6zqWFmSbSWirCG5S4kRuaR3SUsywy/pTL+mr+1MH/s3PRdgAZC7wJKxUz1UGom72HPDwTkHBwdY1rqtZtqbn/PO+/+7Oe/+OWv3nt/5te/+e3vPrjx4e+fpZ1+Uo+e1jutTnJYq6ZRqxlHT3vNXis67CZRtV1rRc9r54/w+fNXUZI2O/FB76obHberp3Gz0axXe9B0cuNB8PDk9WylXe2d1RrB5d2gdycIlqBxPvgkUM3rs9BaqYedXtZ0eXLj5vzcP0E4xcL8uKmkD+7nQ9n/yYqIhQdURd90RaRiEUPrluiKlL4PRILYl50oe1YDKAtgasmPY/EUMwAbh+gIoCoQus5/D+FuyPZGsM90kwJuw5cWvCXAGYgbkuYEK4b1MqfyD8wYIt4DIg2yngFnzVJsw2tPXEGrT48BVkWD/vUAwkfUF+aIGeXWrCXdatHDfhswX0P5Mf/VwAZwVUIWAlc1aGtBa3cgjwS+GS9Ys/PSM9VgovgCmXC39vwdOla/LIsj4wxuk6yFY27aX8zZPU4VjiSkfFsALZwRVdVeHJKdj6Au1OysQF4w5z4Qnwm7oMl3KW7T+H+U/ATvluAu/vw38jIevPoz4Pfw8yeotEn+8W4f/n8MxPvQZ3/Vzp58U9kH/RkP5BJv19eILc/fTPpF0nDk4LQA/lZdr3gO5ixrcMj1PSEXrYOG2khP1QcuP1vUxLn0GfymiJOVzl0L+XSa0+h+SFxdaF3o1RlH35XLx2RMiBeCV1VyXothMWNcDROSF4V+xV8U3F0pRgb5eOhj6CNV20jwaoYnxMqariDQfeXqr8BLqReqEbUl9XMp5wC9/jSD9cHpeKY8pfHogqwYuy9pFiGbpDlobwIFzhHZTRW5es5JgjUVwustC5nb7QS1HkKWDWy/FO4SjxW04OrGs1cOPtceq2mBVcdOXOhRTRpFnRpdRSDoROSOhIX1Oc29SamrGAT0elYr2gL8QAMaT8BPsaiK8IHqFwTK7Is5B/KnOZM4JvE92bFJ+Zv+at6KoZeyA+oZEaSNqnNCI16kmFMqAefNZJt4nUfQIQF+QlVwTB/UMJLolj4OX5wuLp5HUWtwQNxHMZTGsD8cGX1clL4CmuVnxPt0HwAeWlYsfTqVIx6Rx/r7+R1F2q/kOJu26R51z2WQ3FYisu3FpeErPGU5t2EpD+jMXwTnJ4XcmqRlsvzuW7ZnplboVT7ZPl96LeZuaOPtsgGTinb5SjAGHtwF8Mvj2wgNuBJlawPY3yQeTxS6xhZb3H8aRBOnfKQUEbJ8tG0yFu4RfsItWkh+i8QeVtOoUR72UdKV9wz1DNEkS9oQG5RMpzRasxU1oCyg37cPnBcndy9YZpzKOqgwBtcrP6sY4RcTxLFtndKW2AzErZULKHKED6DuOx7m45ztGzJy1OVc36Z+NCXvoWemy4NWdsYzMGo+vbYe8abyKjtf+/G5SV5mpDWrYvt1SpKtWv1SNtwk2wNI3CYRT0z5CgmpQZcLYZjFU2ivV82SPNYK4S36HGjW1ytKuiLVrc8DylNT0hH+j2me17pK5PqoLbUVCq7OXNCMpfVfJ3jUjdK+esI62AL4A4A4F86Y10D2kL4b8bkJkVb/WxG3l3CJ7d0qOrCtZcKzSvm+i4kDIZsUKbGMe029YOjYkKfMc02Gt7bhrtA9KLJ2ZXCmWKBsa51CGMlPrESzTx54om1q31hfXOQaI1Y8U6jeYlQ6zl0/uWYKxka/i+Va4zZlsbaOujLi4uy9Zqx9UvFnmS9XYBwiWePEJ6NaXgVJuK6XQkuHPgdizrJWbRHF8hb17qeTGVS8wnbVXF06wAN9B81H6tMTuX9+3KN0JE+FxBEQjNWAK0NykFsuUZziUvn+nO8ZqLaWvBZI9oJjP6A8uUq5d0pROSU6szn8q4qpbzwzKS6fpVQ/GBY3ZpmWe4AnvDY1yjOcd6JOahV/x3FyB0htgiDWJuv5R5NkKodg25ZNWgmEqTRnIUZrzahtBqFcE9sLmp3K1NGhmVJsiF6BCP2ICcyfKG4qz5e7KJhEahZa0wVT4fy6werfM1ab8iowBaT53W73pVPnSMm13zwEoScurLa3f84H6+Anx/rYj716CcQc3x/+s4q+Mtz+aJlBkr8WdCVavTaydrcY1Hr7lUfmavXxV+QpFiJiyE21RIVg25y9DitRtikimfbFURKFN0johd6JFJrwQp5D2YD5fk0KU5HFEP9nHSVXa87XdTblBHjvHxFlBen6MtolOlWQTXZ7ek1l2yLZaQDe2Tl6nez6ZfMCScwdg3KyhHJmVfljOVlYP25dKN4/JmdzR14lg1pl8hplkFvdtDH7cs2tbI6rVl+SH+n6e9uo/eFTN028/t6K/4pSnaJ1Ud3VprKX06eAWl1YKtPR10aldirh7EqmX5QhFsLePANYkwW4d3aN5z4aY0o0a0dh9mlaWUnmDGh7A+zZg01qQkZtuJrDy2aUVWjlqV7J4lUjLl6XDopcY/bHq2bimxqnPkmXcoQo9z27bwtyPL4jPCba4lSt9QegoarUutL7g6cPKrewKT6TMRrpITV176YVUi+1bQXZrlMRxpmFg5kz3p+RJjQ9t4X2LY59L/yFBX/ha9a8FUvfGjBh14NaA52/4OMuw/woHv79+lJe+lFz624H3RBuHXRryNsU6smMeRt1HK75DmfmaqUVT7f9E4qURFfSaopVDIZSrJeS45JWOV4Sh4B3PgDL9/KjA/lel+bOawQfCvUvIntaErH6YUVc8A5qdQ1p7+PbJGMr0P24xPdn7wiv7U/jc5sv8qxlhTnjFyZiK7soJhGKtR+BcbYNYDfdFL8hvLyU2hR0umWF1PJqPH3S1FMJ6KoVvI+usoPUEfzE3BYm4BDYwIOvJb9piD2Y8tH2V9gzNJ2fhWI5RLxoinUPuapTF8tp/lIieZ1O79sh3CrQN8RayLqnzuluBcYp3nYLnwrjKbY90WbiLypqXit+O+4av9aeUpG/4fD6NMnKsUewzraZHmVUo6ycE0xHXupzsYbYkBj5YsvGFWiCLnmC4+2gaURe7A/76EUdapofL8LZb+5vc2k9u0fCbhwT1aof3cjzCqfoyOQe1Qi0fL8YjhabBs8pzuYt9LlclmEW413ucI+5BfzlPuJ2doWiXyBn3ZNRE/C7lC0hB43eFufP5GLkFqwulmHkcQbchLsDsQrYm9Cy7uT0mnyrSuc0zPsXWYTGWmZCtfPeyLU+S3NYwnq2JI+tjPagFPWgJHXe8evJXHtyLhWLgp+fGeMHU3I0afh5bgAPHiXMCTfgb4uolMvitrIxVlkcUnsbY6H42SPy4/hONjpKgt03wHm3BL/HmW5xPYdVs8dvSbe7sFJHTruUZ1TpdNJZ5q9luDz8sCWV9QPVY/mGvSATse/8uKvjs2vNbhf9eIdimgEU9XYDr24y4W4y17cbwtxv/XifleI+50Xd6cQd6eEHRTh7pbIcXtkGfn4B9SuaKhzIGd0OqSZeW8T8pvwuizba4zm2fQpnJDvpsuf2PcfS8lf67K0UR4jsXJd4x7lBdPczqeQlpJfL0n/W2VaDzrRIRhmusj6fs67bE354S/5HEfzQl/mO5IsuX3z/q2xI/X/6GNUI9oU4LdmhVGdEOKf53V3XUXLwiR0m3nHgzNg37LAf7lXdm53xowSnDbk2ihBd1u0La2tGzKNa7FtZM/o81yD5z1MfqOj41nzhHTyQ825TbrDyteVME9ru73b3jXUs0/eadVyuy9698pN1XznpxdtUrl+iTX6/jXV5FtWpgV2eLDe51FfYWn8nV1IhXPV0WEGVFsunJS5J1H3hcejlhI3gqL4cvVY8pTbWbrT19WEmd1KnOtpldpuN5ZgRizCs/34f+Wk2IXWs8lvS7p3wX9JIN+Sd7Dd2VwzPMjGveusHfVXbO1qn08MSQ2KyIvTS62dhxhuCfWnAPvHAxlQJZpmwjmDu181TJPXvjUYkvx0zfRqpgoSar/Zn8ySN0lJM56tuifxc5bQay/fqaCQzkzFwj4PxGdWMvqbWKVJb0wRjkPQu23+NYzjYn4luepYv0yjMqeM8B+c4m/LmtKRF5O5SzuTuUd7y2Wc+ldpRL7dhLrZVLjVfN4/TKrKC7tJbKo/qXApfWdrdE9/A75pHq8p2ceV8Adf2qQ3dj/x94ArtBJ8IrkQs0v7zIum+3P7wa8qQOEc3d7vL8Uzg6P7K5Px3n9jvPe9vNt05nZ0b9zk+gNx492JMpJwvczemT/J3pMoI4dez79NifCcKGrL5OaW8SFEWxN6fA0TAMw0lPmUn5vyo6kor5egvD4V5ZSq61xD1j6q2k8o1mit8XxdAaKxUf75JvjkZJnju1DZ9QTlJeFj518+YlMnfQJpOI5/M3L5FdN1VxdhksBSPtDsxf25YixVBlUvq05Sq1V9dbBgns2xs1qwChnQJsyp/jr8Aci9An+236ushneoPqJf5et8pzMX1wmSEa5gRwDszKoTy8r70iJ24aVF2Fvdog+9iqGtU6TInYs9FtI1/M9Dt9Ji5e0lrRPvXG2yKc2+I3WlxQBkc4t4T+90SXdOisNdfIO9WrSrXVGNmf4+AubOyLc9ntgWfZx+SlhXVGWklHTp7xic6uAai3s3E80w1qtqWg8ZTxrgeviBofv5Q4Klb9bYUj7V6tkl9ZgsISCp+l6InudXI/gN6EiuWdH+9NsOw+w9Lq2BgO74vMs4z13igN8k0zfqEsi9IdSbn70CejMy70Ctq/OxeTorT0nP3PabAPhtAGqcVD6u2/tkbRHVHQJ5qlc/5TcL8MnsmL6QFn5vx3pnW7tpYRTJ0p1slAe4yCLt4GMYD16WyMgeRGO3vD6+I/i31Yf70xgtweCvxHhp7RY1FZrzLr+b8HFlH4qS32rdioCy0p5xqUtE/zL2NMcgkHhrX+teivFWhDqDxFfqfXAeaTfujujI6gtfVUvi8fzSNeYarPqkpfluyX6pK1WHKcZ4JDpyl5CvcPbk9/muPJgb9O4XYi7TiYq+HFtbzknmRe3vaxneyM4LqxuCX0eCfs7B46dFJMCOfKp+OkcWTo4zulfMY2ew7In69XotyAdZS3HE3oNf58OW8X4N+tMJlXLsGHboqehw3ia5vGYlyhb0nlhlJsnK7viPJCz/SMjNzO8grzmzPMd8F4NYBxeo7WTkOZ5TeoIswVviCTpi89Br/v67PM/sy7iqhwD05u3FwY/V7F8Yuni3NfzC08mb/59UP5lYviT+JjyFwL4jPxdfg2rviKaj47+If4p/iX3v7c3tfbp3n0HfUfi/EFYP3t/S/sum57</latexit>
slide-6
SLIDE 6

Standard velocity es,ma,on in MRI

7

  • Measure phases for gradients G1 6= G2
  • Model of phase:
  • Phase-contrast velocity:

Reference phase Flow velocity Both unknown!

User-selected velocity

ˆ ϕG1, ˆ ϕG2

Encoding gradient

= ˆ ϕG1 − ˆ ϕG2 π venc1,2

ϕG = ϕ0 + uM1(G)γ, M1(G) = Z TE G(t)t dt

ˆ u = ˆ ϕG1 − ˆ ϕG2 M1(G1)γ − M1(G2)γ

venc1,2 := π M1(G1)γ − M1(G2)γ

slide-7
SLIDE 7

The problems of phase-contrast MRI Example with volunteer data (ascending aorta)

8

1st Big problem: noise in grows with venc

< u venc = 150

Average of 3 scan repe,,ons

venc = 150

venc = 100

<latexit sha1_base64="+BJg83n+Eoce3CSV0RE0eHKH15o=">AB7nicbVBNSwMxFHxbv2r9qnr0EiyCp7IrgnoQil48VnBtoV1KNn1tQ7PZNckWytI/4cWDild/jzf/jWm7B20dCAwz75E3EyaCa+O6305hZXVtfaO4Wdra3tndK+8fPOo4VQx9FotYNUOqUXCJvuFGYDNRSKNQYCMc3k79xgiV5rF8MOMEg4j2Je9xRo2VmiOU7Npz3U654lbdGcgy8XJSgRz1Tvmr3Y1ZGqE0TFCtW56bmCjynAmcFJqpxoTyoa0jy1LJY1QB9ns3gk5sUqX9GJlnzRkpv7eyGik9TgK7WREzUAvelPxP6+Vmt5lkHGZpMYGm3/USwUxMZmGJ12ukBkxtoQyxe2thA2oszYikq2BG8x8jLxz6pXVe/+vFK7ydsowhEcwyl4cAE1uIM6+MBAwDO8wpvz5Lw4787HfLTg5DuH8AfO5w9q048Y</latexit><latexit sha1_base64="+BJg83n+Eoce3CSV0RE0eHKH15o=">AB7nicbVBNSwMxFHxbv2r9qnr0EiyCp7IrgnoQil48VnBtoV1KNn1tQ7PZNckWytI/4cWDild/jzf/jWm7B20dCAwz75E3EyaCa+O6305hZXVtfaO4Wdra3tndK+8fPOo4VQx9FotYNUOqUXCJvuFGYDNRSKNQYCMc3k79xgiV5rF8MOMEg4j2Je9xRo2VmiOU7Npz3U654lbdGcgy8XJSgRz1Tvmr3Y1ZGqE0TFCtW56bmCjynAmcFJqpxoTyoa0jy1LJY1QB9ns3gk5sUqX9GJlnzRkpv7eyGik9TgK7WREzUAvelPxP6+Vmt5lkHGZpMYGm3/USwUxMZmGJ12ukBkxtoQyxe2thA2oszYikq2BG8x8jLxz6pXVe/+vFK7ydsowhEcwyl4cAE1uIM6+MBAwDO8wpvz5Lw4787HfLTg5DuH8AfO5w9q048Y</latexit><latexit sha1_base64="+BJg83n+Eoce3CSV0RE0eHKH15o=">AB7nicbVBNSwMxFHxbv2r9qnr0EiyCp7IrgnoQil48VnBtoV1KNn1tQ7PZNckWytI/4cWDild/jzf/jWm7B20dCAwz75E3EyaCa+O6305hZXVtfaO4Wdra3tndK+8fPOo4VQx9FotYNUOqUXCJvuFGYDNRSKNQYCMc3k79xgiV5rF8MOMEg4j2Je9xRo2VmiOU7Npz3U654lbdGcgy8XJSgRz1Tvmr3Y1ZGqE0TFCtW56bmCjynAmcFJqpxoTyoa0jy1LJY1QB9ns3gk5sUqX9GJlnzRkpv7eyGik9TgK7WREzUAvelPxP6+Vmt5lkHGZpMYGm3/USwUxMZmGJ12ukBkxtoQyxe2thA2oszYikq2BG8x8jLxz6pXVe/+vFK7ydsowhEcwyl4cAE1uIM6+MBAwDO8wpvz5Lw4787HfLTg5DuH8AfO5w9q048Y</latexit><latexit sha1_base64="+BJg83n+Eoce3CSV0RE0eHKH15o=">AB7nicbVBNSwMxFHxbv2r9qnr0EiyCp7IrgnoQil48VnBtoV1KNn1tQ7PZNckWytI/4cWDild/jzf/jWm7B20dCAwz75E3EyaCa+O6305hZXVtfaO4Wdra3tndK+8fPOo4VQx9FotYNUOqUXCJvuFGYDNRSKNQYCMc3k79xgiV5rF8MOMEg4j2Je9xRo2VmiOU7Npz3U654lbdGcgy8XJSgRz1Tvmr3Y1ZGqE0TFCtW56bmCjynAmcFJqpxoTyoa0jy1LJY1QB9ns3gk5sUqX9GJlnzRkpv7eyGik9TgK7WREzUAvelPxP6+Vmt5lkHGZpMYGm3/USwUxMZmGJ12ukBkxtoQyxe2thA2oszYikq2BG8x8jLxz6pXVe/+vFK7ydsowhEcwyl4cAE1uIM6+MBAwDO8wpvz5Lw4787HfLTg5DuH8AfO5w9q048Y</latexit>

V NR ∝ SNR venc

<latexit sha1_base64="j50sj/6cRlp1jkxFxkIaxtA2RYk=">ACBHicbVC9TsMwGHTKXyl/AUYLCokpipBSMBWwcJUlULaSk1VOa7TWnUSy3YqVEWFl6FhQEQKw/BxtvghAzQcpKl0936fOdxmVyrK+jNLS8srqWnm9srG5tb1j7u61ZRQLTBwcsUh0PSQJoyFxFWMdLkgKPAY6XiT68zvTImQNArv1YyTfoBGIfUpRkpLA/Ow3WhBl4uIqwi6vkA4uWu0mRKQpwOzKpVs3LARWIXpAoKNAfmpzuMcByQUGpOzZFlf9BAlFMSNpxY0l4QhP0Ij0NA1RQGQ/yVOk8FgrQ+hHQr9QwVz9vZGgQMpZ4OnJAKmxnPcy8T+vFyv/op/QkMcqS5Uf8mMGdeKsEjikgmDFZpogLKj+K8RjpKtQuriKLsGej7xInNPaZc2+PavWr4o2yuAHIETYINzUAc3oAkcgMEDeAIv4NV4NJ6N+P9Z7RkFDv74A+Mj2/FRJhU</latexit><latexit sha1_base64="j50sj/6cRlp1jkxFxkIaxtA2RYk=">ACBHicbVC9TsMwGHTKXyl/AUYLCokpipBSMBWwcJUlULaSk1VOa7TWnUSy3YqVEWFl6FhQEQKw/BxtvghAzQcpKl0936fOdxmVyrK+jNLS8srqWnm9srG5tb1j7u61ZRQLTBwcsUh0PSQJoyFxFWMdLkgKPAY6XiT68zvTImQNArv1YyTfoBGIfUpRkpLA/Ow3WhBl4uIqwi6vkA4uWu0mRKQpwOzKpVs3LARWIXpAoKNAfmpzuMcByQUGpOzZFlf9BAlFMSNpxY0l4QhP0Ij0NA1RQGQ/yVOk8FgrQ+hHQr9QwVz9vZGgQMpZ4OnJAKmxnPcy8T+vFyv/op/QkMcqS5Uf8mMGdeKsEjikgmDFZpogLKj+K8RjpKtQuriKLsGej7xInNPaZc2+PavWr4o2yuAHIETYINzUAc3oAkcgMEDeAIv4NV4NJ6N+P9Z7RkFDv74A+Mj2/FRJhU</latexit><latexit sha1_base64="j50sj/6cRlp1jkxFxkIaxtA2RYk=">ACBHicbVC9TsMwGHTKXyl/AUYLCokpipBSMBWwcJUlULaSk1VOa7TWnUSy3YqVEWFl6FhQEQKw/BxtvghAzQcpKl0936fOdxmVyrK+jNLS8srqWnm9srG5tb1j7u61ZRQLTBwcsUh0PSQJoyFxFWMdLkgKPAY6XiT68zvTImQNArv1YyTfoBGIfUpRkpLA/Ow3WhBl4uIqwi6vkA4uWu0mRKQpwOzKpVs3LARWIXpAoKNAfmpzuMcByQUGpOzZFlf9BAlFMSNpxY0l4QhP0Ij0NA1RQGQ/yVOk8FgrQ+hHQr9QwVz9vZGgQMpZ4OnJAKmxnPcy8T+vFyv/op/QkMcqS5Uf8mMGdeKsEjikgmDFZpogLKj+K8RjpKtQuriKLsGej7xInNPaZc2+PavWr4o2yuAHIETYINzUAc3oAkcgMEDeAIv4NV4NJ6N+P9Z7RkFDv74A+Mj2/FRJhU</latexit><latexit sha1_base64="j50sj/6cRlp1jkxFxkIaxtA2RYk=">ACBHicbVC9TsMwGHTKXyl/AUYLCokpipBSMBWwcJUlULaSk1VOa7TWnUSy3YqVEWFl6FhQEQKw/BxtvghAzQcpKl0936fOdxmVyrK+jNLS8srqWnm9srG5tb1j7u61ZRQLTBwcsUh0PSQJoyFxFWMdLkgKPAY6XiT68zvTImQNArv1YyTfoBGIfUpRkpLA/Ow3WhBl4uIqwi6vkA4uWu0mRKQpwOzKpVs3LARWIXpAoKNAfmpzuMcByQUGpOzZFlf9BAlFMSNpxY0l4QhP0Ij0NA1RQGQ/yVOk8FgrQ+hHQr9QwVz9vZGgQMpZ4OnJAKmxnPcy8T+vFyv/op/QkMcqS5Uf8mMGdeKsEjikgmDFZpogLKj+K8RjpKtQuriKLsGej7xInNPaZc2+PavWr4o2yuAHIETYINzUAc3oAkcgMEDeAIv4NV4NJ6N+P9Z7RkFDv74A+Mj2/FRJhU</latexit>
slide-8
SLIDE 8

The problems of phase-contrast MRI 2nd Big problem: aliasing when Example with volunteer data (ascending aorta)

venc = 150

venc = 100

9

venc1,2 < u

venc = 75

slide-9
SLIDE 9

Phase aliasing

  • If then

10

venc1,2 > u

ˆ ϕG1 − ˆ ϕG2 < π

k ∈ Z

ˆ uk = ˆ ϕG1 − ˆ ϕG2+2πk π venc1,2 ˆ uk=0 is the correct solu,on!

venc1,2 < u

  • If

ˆ ϕG1 − ˆ ϕG2 > π

We need more informa8on for finding k

slide-10
SLIDE 10

Standard dual-venc reconstruc,on Goal: Improve velocity/noise with addi,onal measurement Dual-venc

11

(0, G1) (0, G2) (0, G1, G2)

venc = 150

venc = 100

High venc Low venc S,ll needed!

venc > u

Schnell et al 2017

slide-11
SLIDE 11

The key: angle es,ma,on

  • Usual computa,on of angle from vector components

12

Phase

mx

ϕ

my

mx = m cos ϕ my = m sin ϕ

tan−1 my mx = ϕ

  • Least-squares computa,on of angle

J(ϕ) = (mx − m cos ϕ)2 + (my − m sin ϕ)2 dJ dϕ = 0

tan−1 my mx = ϕ

slide-12
SLIDE 12

Velocity es,ma,on from least squares

13

JG(u) = ⇣ ˆ mG

x − ˆ

mG cos(ϕG(u)) ⌘2 + ⇣ ˆ mG

y − ˆ

mG sin(ϕG(u)) ⌘2

  • Least squares for velocity es,ma,on:

−2 −1 1 2 0.5 1 1.5 2 2.5 3 3.5 4 Velocity Functionals utrue venc=0.9 venc=0.6

2venc

ϕG(u) = ˆ ϕ0 + πu/venc

slide-13
SLIDE 13

Velocity es,ma,on from least squares ˆ u = argmin JG(u)

Phase-contrast velocity

ˆ uk = ˆ ϕG − ˆ ϕ0 π venc + k · 2 venc , k ∈ Z

Period of

JG(u)

  • Least squares for velocity es,ma,on

−2 −1 1 2 0.5 1 1.5 2 2.5 3 3.5 4 Velocity Functionals utrue venc=0.9 venc=0.6

14

slide-14
SLIDE 14

Mul,ple encoding gradients

15

  • Now suppose we have 3 measurements with:

−3 −2 −1 1 2 1 2 3 4 5 6 7 8 Velocity Functionals utrue venc=0.6 venc=0.45 Sum

G = 0, G1 6= G2

JΣ(u) = JG1(u) + JG2(u)

  • Sum func8onal from 3 measurements:

Global minima of smallest magnitude! Dual-venc es8mate Larger periodicity

slide-15
SLIDE 15

Take-home message Aliasing-free es,ma,on when

venc = 100

Dual-venc

16

venc < u

(0, G1) (0, G2) (0, G1, G2)

venc = 75

Automa8cally chosen by the MRI scanner! Carrillo, Bertoglio++ (to appear)

slide-16
SLIDE 16

Thanks for your a`en,on!

www.math.rug.nl/~bertoglio