t 1 <latexit sha1_base64="1Hq0ARqeuTQgWQJk3YBzHaN4XkE=">AAACnnichVHLSsNAFD3GV31X3QhuiqUigmVSBcVVURA34rMPaaskcdTQNInJtFBLf8Af6MKNFVyIC//AjRt/wIWfIC4ruHHhbRoQFfWGzJw5c8+Ze7mqbeiuYOypTWrv6OzqDvT09vUPDA4Fh0eSrlV0NJ7QLMNy0qrickM3eULowuBp2+FKQTV4Ss0vN+9TJe64umXuiLLNcwXlyNQPdU0RROWyBqUeKHsVMSNX94NhFmVehH4C2Qdh+LFhBe+QxQEsaCiiAA4TgrABBS59GchgsInLoUKcQ0j37jmq6CVtkbI4ZSjE5mk9olPGZ006Nz1dT63RKwb9DilDiLBHds0a7IHdsGf2/qtXxfNo1lKmXW1pub0/dDa2/favqkC7wPGn6g+FStmtyp7YLdX1sjudSf3Zo8AhFrzedOrV9phm11rLp3Raa2wvbkUqk+ySvVC/dXK+J2ez9KpdbfKtcxqX/H04P0EyFpVno7HNuXB8yR9cAOOYwBRNZx5xrGIDCXr1BDVcoC6FpBVpTVpvpUptvmYUX0JKfwCTapqQ</latexit> µt 1 <latexit sha1_base64="C60zb01TY7c+X1eGp+j7TRf2zhc=">AAACmnichVG7SgNBFD1Z3++ojaBFMCgiGGZVUKxEG8UmD2MMSQy766iL+2J3EtDgD9haWKiFgoVY+Ac2Nv6AhZ8glgo2Ft5sFkSD8S47c+bMPWfu5aqOoXuCseeQ1NTc0trW3tHZ1d3T2xfuH9jw7JKr8bRmG7a7qSoeN3SLp4UuDL7puFwxVYNn1P3l6n2mzF1Pt611ceDwgqnsWvqOrimCqGzeLG1VxJR8VAxHWYz5EakHcgCiCCJuh++RxzZsaCjBBIcFQdiAAo++HGQwOMQVUCHOJaT79xxH6CRtibI4ZSjE7tO6S6dcwFp0rnp6vlqjVwz6XVJGMMae2A17Y4/slr2wzz+9Kr5HtZYD2tWaljvFvuOh1Me/KpN2gb1vVQOFStm1yp7ZHdX1mp3MZRr2KLCDeb83nXp1fKbatVbzKR+evqUWkmOVcXbFXqnfS3J+IGer/K5dJ3jyjMYl/x5OPdiYjskzsenEbHRxKRhcO4YxigmazhwWsYI40vSqiROc40IakZakVWmtliqFAs0gfoS0/gWpzJjp</latexit> st <latexit sha1_base64="daLIFqKz6k4FO8+cIt0LupgrHOk=">AAAClHichVHLSsNAFD3Gd320KojgplgUcVEmVVDERVEEV1Jb2yr1QRKnNZgmIZkWavEHBLe6cKXgQlz4B27c+AMu+gnSZQU3LrxNA6Ki3pCZM2fuOXMvV7UN3RWM1dqk9o7Oru6e3kBf/8BgMDQ0nHGtkqPxtGYZlrOlKi43dJOnhS4MvmU7XCmqBs+qRyvN+2yZO65umZuiYvPdolIw9byuKYKolLsn9kMRFmVehH8C2QcR+JGwQg/YwQEsaCihCA4TgrABBS59OchgsInbRZU4h5Du3XOcIEDaEmVxylCIPaK1QKecz5p0bnq6nlqjVwz6HVKGMcme2S1rsCd2x17Y+69eVc+jWUuFdrWl5fZ+8HQs9favqki7wOGn6g+FStmtymrsnuqqb8/ksn/2KJDHgtebTr3aHtPsWmv5lI8vGqnF5GR1il2zOvV7Rc6P5GyWX7WbDZ68pHHJ34fzE2RiUXk2GtuYi8SX/cH1YBwTmKbpzCOONSSQplcLOMM5LqRRaUlakVZbqVKbrxnBl5DWPwAXC5aM</latexit> µ <latexit sha1_base64="btkXL/lrdOgsy9MJtC3BQC8uZGY=">AAAClHichVG7SgNBFD2urxhfUUEEm2BQxCLMqqCIRTAIVmKMeUgU2V3HuLgv9hGIwR8QbE1hpWAhFv6BjY0/YOEniKWCjYV3HyAq6l125syZe87cy5UtTXVcxh5bhNa29o7OWFe8u6e3rz8xMFh0TM9WeEExNdMuy5LDNdXgBVd1NV62bC7pssZL8kHWvy/VuO2oprHh1i2+rUtVQ91TFcklKr+lezuJFEuzIJI/gRiBFKJYMxO32MIuTCjwoIPDgEtYgwSHvgpEMFjEbaNBnE1IDe45jhAnrUdZnDIkYg9ordKpErEGnX1PJ1Ar9IpGv03KJMbZA7tiL+yeXbMn9v6rVyPw8Gup0y6HWm7t9B+P5N/+Vem0u9j/VP2hkCk7rOyR3VBdz5tTldKfPbrYw3zQm0q9WgHjd62EPrXD5kt+YX28McEu2DP1e07Od+Rs1F6VyxxfP6Nxid+H8xMUp9PiTHo6N5vKLEWDi2EUY5ik6cwhgxWsoUCvVnGCUzSFYWFRyArLYarQEmmG8CWE1Q8HqpaF</latexit> P(st, ) <latexit sha1_base64="+pfxGqjC8Hsbjow/HBMUe2ma/fg=">AAACnnichVG7SgNBFD2ur/hM1EawCYaIioSJCopVUBAbMT7ykBhldx3jkn25OwnE4A/4AxY2KliIhX9gY+MPWPgJkjKCjYU3mwVRUe+yM2fO3HPmXq5i65orGHtukVrb2js6A13dPb19/cHQwGDatUqOylOqpVtOVpFdrmsmTwlN6DxrO1w2FJ1nlOJS4z5T5o6rWeaWqNg8b8gFUzvQVFkQlU+Ou7tiaqcgG4Y8sReKsBjzIvwTxH0QgR9JK3SPHezDgooSDHCYEIR1yHDpyyEOBpu4PKrEOYQ0757jBN2kLVEWpwyZ2CKtBTrlfNakc8PT9dQqvaLT75AyjCh7Yjeszh7ZLXth7796VT2PRi0V2pWmltt7wdPhzbd/VQbtAoefqj8UCmU3K3tmd1RXbXsyl/mzR4EDzHu9adSr7TGNrtWmT/n4rL65sBGtjrErVqN+L8n5gZzN8qt6vc43zmlc8e/D+QnS07H4TGx6fTaSWPQHF8AIRjFO05lDAitIIkWvHuEMF7iUwtKytCqtNVOlFl8zhC8hZT8Akn6aHA==</latexit> F <latexit sha1_base64="Tq1YaZ1ni4Na8W8wNGefTxSYHbo=">AAACknichVG7SgNBFD2u72fioxBsxBARizBRQbHyAWJhYRLzkCiyu050cV/sTgIa/AFtFQsrBQux8A9sbPwBi3yCpIxgY+HdzYJoMN5lZ86cuefMvVzF1jVXMFZpkVrb2js6u7p7evv6B0LhwaGMaxUdladVS7ecnCK7XNdMnhaa0HnOdrhsKDrPKker3n22xB1Xs8wtcWzzXUM+MLWCpsqCqMTaXjjCYsyP8UYQD0AEQWxa4SfsYB8WVBRhgMOEIKxDhktfHnEw2MTtokycQ0jz7zlO0UPaImVxypCJPaL1gE75gDXp7Hm6vlqlV3T6HVKOI8pe2T2rsRf2wN7Y559eZd/Dq+WYdqWu5fZe6Gw09fGvyqBd4PBb1UShUHa9sgp7pLqq29P5bNMeBQpY8HvTqFfbZ7yu1bpP6eSqllpMRsuT7JZVqd8bcn4mZ7P0rt4lePKaxhX/PZxGkJmJxWdjM4m5yNJKMLgujGECUzSdeSxhHZtI06sc57jApTQiLUrL0mo9VWoJNMP4EdLGF56qlXk=</latexit> M <latexit sha1_base64="Mdk2rzwZXYhGMvUhlQyDzGptEUQ=">AAACknichVG7SgNBFD2u72fioxBsxBARizBRQbHy0VgomMQ8JIrsrhNd3Be7k4AGf0BbxcJKwUIs/AMbG3/AIp8gKSPYWHh3syAajHfZmTNn7jlzL1exdc0VjFVapNa29o7Oru6e3r7+gVB4cCjjWkVH5WnV0i0np8gu1zWTp4UmdJ6zHS4bis6zytGqd58tccfVLHNLHNt815APTK2gqbIgKrGxF46wGPNjvBHEAxBBEJtW+Ak72IcFFUUY4DAhCOuQ4dKXRxwMNnG7KBPnENL8e45T9JC2SFmcMmRij2g9oFM+YE06e56ur1bpFZ1+h5TjiLJXds9q7IU9sDf2+adX2ffwajmmXalrub0XOhtNffyrMmgXOPxWNVEolF2vrMIeqa7q9nQ+27RHgQIW/N406tX2Ga9rte5TOrmqpRaT0fIku2VV6veGnJ/J2Sy9q3cJnrymccV/D6cRZGZi8dnYTGIusrQSDK4LY5jAFE1nHktYwybS9CrHOS5wKY1Ii9KytFpPlVoCzTB+hLT+Ba3slYA=</latexit> P <latexit sha1_base64="GcIyFL0y2IA5KvOqBzBvnYoOwKk=">AAACknichVG7SgNBFD1ZXzG+4qMQbMSgiEWYjYJi5aOxsEiMeUgU2V0ncXBf7G4CGvwBbRULKwULsfAPbGz8AYt8gqSMYGPhzWZBVNS77MyZM/ecuZer2rpwPcZqIamtvaOzK9wd6ent6x+IDg5lXavsaDyjWbrl5FXF5bowecYTns7ztsMVQ9V5Tj1Ybd7nKtxxhWVueoc23zGUkimKQlM8olLJ3WiMxZkf4z+BHIAYgkha0QdsYw8WNJRhgMOER1iHApe+AmQw2MTtoEqcQ0j49xzHiJC2TFmcMhRiD2gt0akQsCadm56ur9boFZ1+h5TjmGTP7JY12BO7Yy/s/Vevqu/RrOWQdrWl5fbuwMlo+u1flUG7h/1P1R8KlbJbldXYPdVV35op5P7s0UMRC35vgnq1fabZtdbyqRxdNNKLG5PVKXbN6tTvFTk/krNZedVuUnzjksYlfx/OT5BNxOXZeCI1F1taCQYXxhgmME3TmccS1pBEhl7lOMUZzqURaVFallZbqVIo0AzjS0jrH7R2lYM=</latexit> max { 1 /Ts, µ} <latexit sha1_base64="jbanxawD8TX4a9oquu9tkrh8RTY=">AAACqHichVHLSsNAFD3G9zsqguAmWCoiUicqKK5ENy6rtVZpSkniVIN5kaRFDf6AP+DClYILdeEfuHHjD7joJ4hLBTcuvE0DosV6Q2bOnLnnzL1czTUNP2Cs2iK0trV3dHZ19/T29Q8MikPD275T9nSe1R3T8XY01eemYfNsYAQm33E9rlqayXPa4VrtPlfhnm849lZw7PKCpe7bRsnQ1YCoojiqWOqRpISSPLtV9GckxSpLymlRTLAUi0JqBHIMEogj7YgPULAHBzrKsMBhIyBsQoVPXx4yGFziCgiJ8wgZ0T3HKXpIW6YsThkqsYe07tMpH7M2nWuefqTW6RWTfo+UEpLsmd2wN/bE7tgL+/zTK4w8arUc067VtdwtDp6NZT7+VVm0Bzj4VjVRaJRdr6zK7qmu193pfK5pjwFKWIp6M6hXN2JqXet1n8rJ+VtmeTMZTrIr9kr9XpLzIznblXf9eoNvXtC45N/DaQTbcyl5PjW3sZBYWY0H14VxTGCKprOIFawjjSy9GuISt7gTpoW0kBN266lCS6wZwY8QtC+DX5zu</latexit> µavg + µt 1 t + 1 <latexit sha1_base64="l+jAB8tEe+kLZJp8HvKy4BoVmN8=">AAACsnichVG7ThtBFD1sQsIrwUCDRBELyygKijVrkIhSIWgowcQPsIk1Oxk7K+9Lu2NLZLUlDT9AQQUSBaKggZaGhh+g4BMiSkdKkyLX65VQgkLuamfOnLnnzL26hmeZgWLsbkB79nzwxcuh4ZHRsVevx1MTk6XAbftCFoVruX7F4IG0TEcWlaksWfF8yW3DkmWjtdq7L3ekH5iu80ntenLH5k3HbJiCK6LqqTe1hs9FWLPbn0PeaUbzMVLv9SgK1bwe1VMZlmNxpB8DPQEZJLHupq5Qwxe4EGjDhoQDRdgCR0BfFToYPOJ2EBLnEzLje4kII6RtU5akDE5si9YmnaoJ69C55xnEakGvWPT7pEwjy27ZKeuyG3bGvrNf//QKY49eLbu0G32t9Orj+9ObP/+rsmlX+PqgekJhUHa/sjt2TnXdb72rlp/sUaGBD3FvJvXqxUyva9H36Xw76G5+LGTDOXbM7qnfI3K+Jmen80OcbMjCIY1L/3s4j0Epn9MXcvmNxczySjK4IcxgFm9pOktYxhrWUaRX93CGC1xqi9q2xjXRT9UGEs0U/gjN+g0di6Kr</latexit> µavg <latexit sha1_base64="mddjKgIqsmJwD2ktS1ZSC4iiRPQ=">AAACmnichVFNLwNRFD0dX1VfxUbCQjRELJpXJMSqqQ2x0VIlVTIznpqYr8xXUhN/wNbCAgsSC7HwD2xs/AELP0G6rMTGwu10EkHUncx75513z3n35kqmqtgOYy8RoaW1rb0j2hnr6u7p7Yv3D2zYhmvJPC8bqmFtSqLNVUXneUdxVL5pWlzUJJUXpMPF+n3B45atGPq6UzF5SRPLurKvyKJD1Na25u74olc+3o0nWJIFMfobpEKQQBirRvwB29iDARkuNHDocAirEGHTV0QKDCZxJfjEWYSU4J7jGDHSupTFKUMk9pDWMp2KIavTue5pB2qZXlHpt0g5inH2zG5ZjT2xO/bKPv708gOPei0V2qWGlpu7fSdDa+//qjTaHRx8qZooJMpuVPbC7qmu6tZUsdC0Rwf7mA96U6hXM2DqXcsNH+/orLa2kBv3J9g1q1K/V+T8SM669ybfZHnunMaV+jmc32BjOpmaSU5nZxPpTDi4KIYxhkmazhzSWMIq8vSqhlNc4FIYETLCsrDSSBUioWYQ30JY/wSV0plV</latexit> t 1 + D ( t, 1 , t 1, µavg ) + D ( t, , t 1, µavg ) ⇢rµavg , where D ( t, , , µ ) = X i=1 (max { st iµ, 0 } ) <latexit sha1_base64="pkGVz2npQBVeyeGPxFU7wQbSQL4=">AAADXnichVE9bxNBEJ3zQQiGYANNJJoVVpANF2svIIGQIkVAQZkPHAd5Y7N3Wdun3Jfu9kzCaf8Af4CCCiQKRME/oKFBoqZIR4tSBomGgrkPQCFK2NPtzr557+2MxgpdJ5aU7mkV/dTpqTPTZ6vnzs9cqNUvXlqPgySyRccO3CDasHgsXMcXHelIV2yEkeCe5YqutX0/y3cnIoqdwH8kd0Ox6fGR7wwdm0uEBvXPbBhxO2UuSrZ4P5XzprrxoCkN0ziEGcxL+imfjFQrT7MR9zx+LEelLBoH/egPogzCWJVJsSPTp2MRCaJI5kNKI1I6YeAlLbJIWJx4g9RZNFU/LTiKNJnHd9jvYufj7FlHocAglKnWoN6gbZovcjQwy6AB5VoO6h+AwRYEYEMCHgjwQWLsAocYvx6YQCFEbBNSxCKMnDwvQEEVtQmyBDI4otu4j/DWK1Ef75lnnKttfMXFP0IlgTn6hb6lB/QTfUe/0Z/HeqW5R1bLLp5WoRXhoPZ8du3Hf1UenhLGf1UnKCxkF5Xt0fdY1/7j673uiT1KGMKdvDcHew1zJOvaLnwmz14crN1dnUuv0dd0H/t9hc4f0dmffLffrIjVlzgu89/hHA3WF9rmzfbCyq3G0r1ycNNwBa5CE6dzG5bgISxDB2zN1LraE41XvupT+oxeK6gVrdRchkNLn/0F3+7d5g==</latexit> αʔόͷࢉग़ + ೖग़ྗΕิঈ μͷਪఆɾै λͷै ρͷࢦఆ