On Computing the Resultant of Generic Bivariate Polynomials
Gilles Villard ISSAC, New York, July 17th, 2018
On Computing the Resultant of Generic Bivariate Polynomials Gilles - - PowerPoint PPT Presentation
On Computing the Resultant of Generic Bivariate Polynomials Gilles Villard ISSAC, New York, July 17th, 2018 Outline of the talk Appetizer The problem New algorithm: A key ingredient A central remark Outline of the talk Appetizer The
Gilles Villard ISSAC, New York, July 17th, 2018
[Rifà, Borrell 1991] [Shoup 1994] [Ly 1989]
For a polynomial
For a polynomial
[Kaltofen 2000]
[Canny, Kaltofen, Yagati 1989]
[Shoup 94]
For a polynomial
[Bostan, Flajolet, Salvy, Schost 2006] [Brent & Kung 1978] [Shoup 1994]
( n × n) ⋅ ( n × n)
[Paterson, Stockmeyer 1973]
[Kaltofen 2000] [Huang, Pan 1998] [Le Gall, Urrutia 2018]
⟹ O(n1.626)
1 1 α0 α1 α2 … αn−1 1 1
1 1 α0 α1 α2 … αn−1 1 1
S = pn qn pn−1 pn qn−1 qn ⋮ ⋮ ⋱ ⋮ ⋮ ⋱ ⋮ ⋮ pn ⋮ ⋮ qn p0 ⋮ pn−1 q0 ⋮ qn−1 p0 ⋮ q0 ⋮ ⋱ ⋮ ⋱ ⋮ p0 q0
[Bini, Pan 1994] [von zur Gathen, Gerhard 1999]
(Evaluation-interpolation scheme)
S(x) = pn(x) qn(x) pn−1(x) pn(x) qn−1(x) qn(x) ⋮ ⋮ ⋱ ⋮ ⋮ ⋱ ⋮ ⋮ pn(x) ⋮ ⋮ qn(x) p0(x) ⋮ pn−1(x) q0(x) ⋮ qn−1(x) p0(x) ⋮ q0(x) ⋮ ⋱ ⋮ ⋱ ⋮ p0(x) q0(x)
(Evaluation-interpolation scheme)
[Storjohann 2003-2005] [Labahn, Neiger, Zhou 2017]
[Beckermann, Labahn 1994] [Giorgi et al. 2003]
S(x) = pn(x) qn(x) pn−1(x) pn(x) qn−1(x) qn(x) ⋮ ⋮ ⋱ ⋮ ⋮ ⋱ ⋮ ⋮ pn(x) ⋮ ⋮ qn(x) p0(x) ⋮ pn−1(x) q0(x) ⋮ qn−1(x) p0(x) ⋮ q0(x) ⋮ ⋱ ⋮ ⋱ ⋮ p0(x) q0(x)
2 −5 −10 10 −10 10 −10 11 2 11 −5 −12 6 4 −11 2 −11 8 −9 11 −3 −2 −3 4 5 −2 −10 −1 8 −4 5 1 3 11 10 −6 11 8 10 −12 12 2 −2 8 2 8 1 7 −7 4 5 7 −10 −5 −2 −5 −11 3 12 −5 5 −2 8 −6 −5 4 −10 12 −3 −2 8 1 −6 6 −2 −9 10 −6 2 −1 12 10 −12 −5 −11 4 10 2 3 −5 6 1 −7 −12 −12
<latexit sha1_base64="BqYFxgli20j6lrlAnQ0aCrRPU=">AEy3icjVHLbtNAFL01phTzSmHJZkTFiI0j23lvUCU2rFCRCK0UR5XjTNJR/JI9RgohS76ALfwF/4LYsoK/4N6xg4C6grE9vnPvOXfOmZlkSyU43zdM6Z1/dvHNy0bt2+c/de6/D+6yIt81CMwzRK87NZUIhIJmKspIrEWZaLIJ5F4nS2ekb10zciL2SavFLrTEzjYJnIhQwDhanzQ2Of+ZFYqAnzZ2IpE7YJ8jxYbzfhr7FlHrd73HYdjm/9o0eHruX7zE/SIJLZOPHYl6sZLb1sFKxPN7nXfy73NPzsBFvWyPuaE6H2x7NXd7Tkes0E7ATtwnk8g4RSVufW67bCB9W2lGWRzo8JNPXDB5wyx5oAQNt0q6UkJtmQofaYr1XdUYduEDT1hXiXa/2iQq41t3XO4wa0VZljc6C9qmNVHJ4t3kDB+EdwvSrHQYkhjp4vkjmu1tmfi6XF2rKrPWkdN29GCXA7cOjo7Tz98YAJykrS/gwxSCKGEGAQkoDCOIACnwm4ECGuSlsMJdjJHVdwBYs5JaIEogIMLvCeYmrSZ1NcE09C80OcZcIvxyZDB4jJ0VcjHtxnS91J0pe1Xvje5J2tb4n9W9YswquMDsv3g75P/yIuCBQy1B4meMp0hd2HdpdSnQsrZb64UdsgwR/Ec6znGoWbuzplpTqG909kGuv5dIylL67DGlvCDVOIFu39f5+Vg7LVHbeclXvRTqMYBPIRH8ASvcwDH8BxOYAyhERsfjI/GJ/OFqcy35rsKauzVnAfwxzDf/wQXYCFl</latexit><latexit sha1_base64="rSIae5KuKSr0x7amipYJG7XGLh8=">AEy3icjVHLbtNAFL01phTzSmHJAouKERtHtvPeoEpsWKEiEVopjirbmaSj+CV7jBRClnwBW/gGWPAR/AFiywr+gnvHDgLqCsb2+M6959w5ZybIlFI2/6o13SL+9e2btqXLt+4+at1v7tF0Va5iEfh2mU5ieBX/BIJHwshYz4SZzPw4ifhwsH1P9+CXPC5Emz+Uq49PYXyRiLkJfYup0X9s1vYjP5cT0Ar4Qibn289xfbdbhr7ExXWb1mOXYDN/6R48KHcPzTC9J/UgskrUX81mxFNnGxUrFclmfdfHvMFfNw0a8ZYyYrTgdZrk0d1lPRY7dTMBOzCKQwzpEJG19ZjhOI3xYaUdZLulwkUxfM3jADGugBAyUSatSQm6aCR1qi/Ve1Rl14AJNGxeId9zaJypgSndf7TBqRBuVNToL2qc2Uslh3eYNbIR3CNOvdhiQGOrgejyZbW/Z9HKxOJNT0zhtHdhtWw3zfODUwcFh+unbvQ+fPx6lrS/gwQxSCKGEGDgkIDGOwIcCnwk4YEOGuSmsMZdjJFSdwYM5JaI4ojwMbvEeYGrSZ1NcE09C8UOcZcIvxyZJjxAToq4HGPazVT1UnWm7EW916onaVvhP6h7xZiVcIbZf/G2yP/lkRcJcxgqDwI9ZSpD7sK6S6lOhZSbv7mS2CHDHMUzrOcYh4q5PWdTcQrlnc7WV/XvCklZWoc1toQfpBIv2Pn7Os8HY7c9atvP8KIfQTX24C7ch4d4nQM4hCdwBGMItVh7q73T3utPdam/0l9XUG2n5tyBP4b+5ifM3yOL</latexit><latexit sha1_base64="rSIae5KuKSr0x7amipYJG7XGLh8=">AEy3icjVHLbtNAFL01phTzSmHJAouKERtHtvPeoEpsWKEiEVopjirbmaSj+CV7jBRClnwBW/gGWPAR/AFiywr+gnvHDgLqCsb2+M6959w5ZybIlFI2/6o13SL+9e2btqXLt+4+at1v7tF0Va5iEfh2mU5ieBX/BIJHwshYz4SZzPw4ifhwsH1P9+CXPC5Emz+Uq49PYXyRiLkJfYup0X9s1vYjP5cT0Ar4Qibn289xfbdbhr7ExXWb1mOXYDN/6R48KHcPzTC9J/UgskrUX81mxFNnGxUrFclmfdfHvMFfNw0a8ZYyYrTgdZrk0d1lPRY7dTMBOzCKQwzpEJG19ZjhOI3xYaUdZLulwkUxfM3jADGugBAyUSatSQm6aCR1qi/Ve1Rl14AJNGxeId9zaJypgSndf7TBqRBuVNToL2qc2Uslh3eYNbIR3CNOvdhiQGOrgejyZbW/Z9HKxOJNT0zhtHdhtWw3zfODUwcFh+unbvQ+fPx6lrS/gwQxSCKGEGDgkIDGOwIcCnwk4YEOGuSmsMZdjJFSdwYM5JaI4ojwMbvEeYGrSZ1NcE09C8UOcZcIvxyZJjxAToq4HGPazVT1UnWm7EW916onaVvhP6h7xZiVcIbZf/G2yP/lkRcJcxgqDwI9ZSpD7sK6S6lOhZSbv7mS2CHDHMUzrOcYh4q5PWdTcQrlnc7WV/XvCklZWoc1toQfpBIv2Pn7Os8HY7c9atvP8KIfQTX24C7ch4d4nQM4hCdwBGMItVh7q73T3utPdam/0l9XUG2n5tyBP4b+5ifM3yOL</latexit>
69591193773 203713103035 97579672962 203713103035 284823690824 203713103035 29281306465 40742620607
− 187605083672
203713103035
− 7390918941
203713103035
− 39531524706
203713103035
− 28866179508
40742620607
− 19372027446
40742620607 35285114899 203713103035
<latexit sha1_base64="RUgD2b3q7/u1CvE7LuDoUaY5zg8=">AFHiclZLPa9RAFMdf42r+qOtHr0MFsGLZWaSzGQuUvDizQquLWyWks3ObkOzSUiyQgn5O/xPvAmCeBOvInhV9L/wzTQL2lLsTsjum+97nzfvzcu4SJOqpvTbmnOtd/3G+sbN/q3bd+5ubm3fe13lizLWgzhP8/JwHFU6TI9qJM61YdFqaP5ONUH45Nnxn/wRpdVkmev6tNCj+bRLEumSRzVKB1tOy8ICVM9rYckHOtZkpEmKsvotG3iljThtIziRihfMaZcKd24dSVzGXUpa7ftv0wJGWR2ky5pwrifVSVK0HaekL5WQXAm+EscDL+CuUDTg3mqg4gFzqfCE3zYelR4XnAoqL8OedBwLpKA+DVws9moHLknpKqpYoDy2Gucq32U+9yQVq4E8CIRgUmG1q7WI4+OUS8TV+KWdfo8BnzAqXO1xnqbL8WPokLJPZcT0i/aOtHbpL7SIXDdYZO3v580PALCfb32FECaQwLmIOGDGq0U4igwmcIDCgUqI2gQa1EK7F+DS30kV1glMaICNUT/J3hbtipGe5NzsrSMZ6S4lsiSeARMjnGlWib04j1L2xmo16Wu7E5TW2n+D/ucs1RreEY1f9xy8ircqaXGqYQ2B4S7Kmwiuku7rIs7K2YyslfXdWYoUDN2BP0l2jHlzeM7FMZXs3dxtZ/y8baVSzj7vYBfw2VeKA2flxXjQGfFft0pc46KdwtjbgATyExzhOCXvwHPZhALHzvnu/HB+9t723vc+9j6dhTprHXMf/lm9L38AhI5RoA=</latexit><latexit sha1_base64="DYpr/QhONj1M8ZNLkLIiFH+wJj8=">AFHiclZLPa9RAFMdf46p1/dFWj14Gi+DFMjNJZjIXKXjxZgXFpSstnZbdhsEpKsUELO/gn+J94EoXgTD15E8Krof+GbaRa0pdidkN03/c+b96bl2GRJlVN6bcV50rv6rXrqzf6N2/dvrO2vnH3VZXPy1gP4jzNy71hVOk0yfSgTupU7xWljmbDVO8Op0+Nf/e1Lqskz17Wx4U+mEWTLBkncVSjdLjhPCckTPW43ifhUE+SjDRWUbHbRO3pAnHZRQ3QvmKMeVK6bYNp65kLqMudf27YchCbM8SpNJ1oQzPaqmSdF2nJK+VEJyJfhSHA+8gLtC0YB7y4GKB8ylwhN+23hUelxwKqi8CHvcSyQgvo0cLHYyx24IKWrqGKB8thynKt8l/nck1QsB/IgEIJhdUu1yKOj1MuPU9cilvU6fPAZ8wLlDpbZ6iz0eJj6ZOwTCZH9QHpH65v0i1qFzlvsM7Y3M4/rX34cvJmJ1/CiGMIcY5jADRnUaKcQYXPjCgUKB2A1qJVqJ9WtoY/sHKM0RkSoTvF3grv9Ts1wb3JWlo7xlBTfEkCD5HJMa5E25xGrH9uMxv1otyNzWlqO8b/YZdrhmoNR6j+j1tEXpYzvdQwhsD2kGBPhVMd3GXZW5vxVRO/uqxgwFasYeob9EO7bk4p6JZSrbu7nbyPp/2Uijmn3cxc7ht6kSB8zOjvO8MeBbaou+wE/gdO1CvfhATzCcUrYhmewAwOInXfOd+eH87P3tve+d9L7eBrqrHTMPfhn9T7/ASAU7w=</latexit><latexit sha1_base64="DYpr/QhONj1M8ZNLkLIiFH+wJj8=">AFHiclZLPa9RAFMdf46p1/dFWj14Gi+DFMjNJZjIXKXjxZgXFpSstnZbdhsEpKsUELO/gn+J94EoXgTD15E8Krof+GbaRa0pdidkN03/c+b96bl2GRJlVN6bcV50rv6rXrqzf6N2/dvrO2vnH3VZXPy1gP4jzNy71hVOk0yfSgTupU7xWljmbDVO8Op0+Nf/e1Lqskz17Wx4U+mEWTLBkncVSjdLjhPCckTPW43ifhUE+SjDRWUbHbRO3pAnHZRQ3QvmKMeVK6bYNp65kLqMudf27YchCbM8SpNJ1oQzPaqmSdF2nJK+VEJyJfhSHA+8gLtC0YB7y4GKB8ylwhN+23hUelxwKqi8CHvcSyQgvo0cLHYyx24IKWrqGKB8thynKt8l/nck1QsB/IgEIJhdUu1yKOj1MuPU9cilvU6fPAZ8wLlDpbZ6iz0eJj6ZOwTCZH9QHpH65v0i1qFzlvsM7Y3M4/rX34cvJmJ1/CiGMIcY5jADRnUaKcQYXPjCgUKB2A1qJVqJ9WtoY/sHKM0RkSoTvF3grv9Ts1wb3JWlo7xlBTfEkCD5HJMa5E25xGrH9uMxv1otyNzWlqO8b/YZdrhmoNR6j+j1tEXpYzvdQwhsD2kGBPhVMd3GXZW5vxVRO/uqxgwFasYeob9EO7bk4p6JZSrbu7nbyPp/2Uijmn3cxc7ht6kSB8zOjvO8MeBbaou+wE/gdO1CvfhATzCcUrYhmewAwOInXfOd+eH87P3tve+d9L7eBrqrHTMPfhn9T7/ASAU7w=</latexit> 2 −5 −10 10 −10 10 −10 11 2 11 −5 −12 6 4 −11 2 −11 8 −9 11 −3 −2 −3 4 5 −2 −10 −1 8 −4 5 1 3 11 10 −6 11 8 10 −12 12 2 −2 8 2 8 1 7 −7 4 5 7 −10 −5 −2 −5 −11 3 12 −5 5 −2 8 −6 −5 4 −10 12 −3 −2 8 1 −6 6 −2 −9 10 −6 2 −1 12 10 −12 −5 −11 4 10 2 3 −5 6 1 −7 −12 −12
<latexit sha1_base64="BqYFxgli20j6lrlAnQ0aCrRPU=">AEy3icjVHLbtNAFL01phTzSmHJZkTFiI0j23lvUCU2rFCRCK0UR5XjTNJR/JI9RgohS76ALfwF/4LYsoK/4N6xg4C6grE9vnPvOXfOmZlkSyU43zdM6Z1/dvHNy0bt2+c/de6/D+6yIt81CMwzRK87NZUIhIJmKspIrEWZaLIJ5F4nS2ekb10zciL2SavFLrTEzjYJnIhQwDhanzQ2Of+ZFYqAnzZ2IpE7YJ8jxYbzfhr7FlHrd73HYdjm/9o0eHruX7zE/SIJLZOPHYl6sZLb1sFKxPN7nXfy73NPzsBFvWyPuaE6H2x7NXd7Tkes0E7ATtwnk8g4RSVufW67bCB9W2lGWRzo8JNPXDB5wyx5oAQNt0q6UkJtmQofaYr1XdUYduEDT1hXiXa/2iQq41t3XO4wa0VZljc6C9qmNVHJ4t3kDB+EdwvSrHQYkhjp4vkjmu1tmfi6XF2rKrPWkdN29GCXA7cOjo7Tz98YAJykrS/gwxSCKGEGAQkoDCOIACnwm4ECGuSlsMJdjJHVdwBYs5JaIEogIMLvCeYmrSZ1NcE09C80OcZcIvxyZDB4jJ0VcjHtxnS91J0pe1Xvje5J2tb4n9W9YswquMDsv3g75P/yIuCBQy1B4meMp0hd2HdpdSnQsrZb64UdsgwR/Ec6znGoWbuzplpTqG909kGuv5dIylL67DGlvCDVOIFu39f5+Vg7LVHbeclXvRTqMYBPIRH8ASvcwDH8BxOYAyhERsfjI/GJ/OFqcy35rsKauzVnAfwxzDf/wQXYCFl</latexit><latexit sha1_base64="rSIae5KuKSr0x7amipYJG7XGLh8=">AEy3icjVHLbtNAFL01phTzSmHJAouKERtHtvPeoEpsWKEiEVopjirbmaSj+CV7jBRClnwBW/gGWPAR/AFiywr+gnvHDgLqCsb2+M6959w5ZybIlFI2/6o13SL+9e2btqXLt+4+at1v7tF0Va5iEfh2mU5ieBX/BIJHwshYz4SZzPw4ifhwsH1P9+CXPC5Emz+Uq49PYXyRiLkJfYup0X9s1vYjP5cT0Ar4Qibn289xfbdbhr7ExXWb1mOXYDN/6R48KHcPzTC9J/UgskrUX81mxFNnGxUrFclmfdfHvMFfNw0a8ZYyYrTgdZrk0d1lPRY7dTMBOzCKQwzpEJG19ZjhOI3xYaUdZLulwkUxfM3jADGugBAyUSatSQm6aCR1qi/Ve1Rl14AJNGxeId9zaJypgSndf7TBqRBuVNToL2qc2Uslh3eYNbIR3CNOvdhiQGOrgejyZbW/Z9HKxOJNT0zhtHdhtWw3zfODUwcFh+unbvQ+fPx6lrS/gwQxSCKGEGDgkIDGOwIcCnwk4YEOGuSmsMZdjJFSdwYM5JaI4ojwMbvEeYGrSZ1NcE09C8UOcZcIvxyZJjxAToq4HGPazVT1UnWm7EW916onaVvhP6h7xZiVcIbZf/G2yP/lkRcJcxgqDwI9ZSpD7sK6S6lOhZSbv7mS2CHDHMUzrOcYh4q5PWdTcQrlnc7WV/XvCklZWoc1toQfpBIv2Pn7Os8HY7c9atvP8KIfQTX24C7ch4d4nQM4hCdwBGMItVh7q73T3utPdam/0l9XUG2n5tyBP4b+5ifM3yOL</latexit><latexit sha1_base64="rSIae5KuKSr0x7amipYJG7XGLh8=">AEy3icjVHLbtNAFL01phTzSmHJAouKERtHtvPeoEpsWKEiEVopjirbmaSj+CV7jBRClnwBW/gGWPAR/AFiywr+gnvHDgLqCsb2+M6959w5ZybIlFI2/6o13SL+9e2btqXLt+4+at1v7tF0Va5iEfh2mU5ieBX/BIJHwshYz4SZzPw4ifhwsH1P9+CXPC5Emz+Uq49PYXyRiLkJfYup0X9s1vYjP5cT0Ar4Qibn289xfbdbhr7ExXWb1mOXYDN/6R48KHcPzTC9J/UgskrUX81mxFNnGxUrFclmfdfHvMFfNw0a8ZYyYrTgdZrk0d1lPRY7dTMBOzCKQwzpEJG19ZjhOI3xYaUdZLulwkUxfM3jADGugBAyUSatSQm6aCR1qi/Ve1Rl14AJNGxeId9zaJypgSndf7TBqRBuVNToL2qc2Uslh3eYNbIR3CNOvdhiQGOrgejyZbW/Z9HKxOJNT0zhtHdhtWw3zfODUwcFh+unbvQ+fPx6lrS/gwQxSCKGEGDgkIDGOwIcCnwk4YEOGuSmsMZdjJFSdwYM5JaI4ojwMbvEeYGrSZ1NcE09C8UOcZcIvxyZJjxAToq4HGPazVT1UnWm7EW916onaVvhP6h7xZiVcIbZf/G2yP/lkRcJcxgqDwI9ZSpD7sK6S6lOhZSbv7mS2CHDHMUzrOcYh4q5PWdTcQrlnc7WV/XvCklZWoc1toQfpBIv2Pn7Os8HY7c9atvP8KIfQTX24C7ch4d4nQM4hCdwBGMItVh7q73T3utPdam/0l9XUG2n5tyBP4b+5ifM3yOL</latexit>
69591193773 203713103035 97579672962 203713103035 284823690824 203713103035 29281306465 40742620607
− 187605083672
203713103035
− 7390918941
203713103035
− 39531524706
203713103035
− 28866179508
40742620607
− 19372027446
40742620607 35285114899 203713103035
<latexit sha1_base64="RUgD2b3q7/u1CvE7LuDoUaY5zg8=">AFHiclZLPa9RAFMdf42r+qOtHr0MFsGLZWaSzGQuUvDizQquLWyWks3ObkOzSUiyQgn5O/xPvAmCeBOvInhV9L/wzTQL2lLsTsjum+97nzfvzcu4SJOqpvTbmnOtd/3G+sbN/q3bd+5ubm3fe13lizLWgzhP8/JwHFU6TI9qJM61YdFqaP5ONUH45Nnxn/wRpdVkmev6tNCj+bRLEumSRzVKB1tOy8ICVM9rYckHOtZkpEmKsvotG3iljThtIziRihfMaZcKd24dSVzGXUpa7ftv0wJGWR2ky5pwrifVSVK0HaekL5WQXAm+EscDL+CuUDTg3mqg4gFzqfCE3zYelR4XnAoqL8OedBwLpKA+DVws9moHLknpKqpYoDy2Gucq32U+9yQVq4E8CIRgUmG1q7WI4+OUS8TV+KWdfo8BnzAqXO1xnqbL8WPokLJPZcT0i/aOtHbpL7SIXDdYZO3v580PALCfb32FECaQwLmIOGDGq0U4igwmcIDCgUqI2gQa1EK7F+DS30kV1glMaICNUT/J3hbtipGe5NzsrSMZ6S4lsiSeARMjnGlWib04j1L2xmo16Wu7E5TW2n+D/ucs1RreEY1f9xy8ircqaXGqYQ2B4S7Kmwiuku7rIs7K2YyslfXdWYoUDN2BP0l2jHlzeM7FMZXs3dxtZ/y8baVSzj7vYBfw2VeKA2flxXjQGfFft0pc46KdwtjbgATyExzhOCXvwHPZhALHzvnu/HB+9t723vc+9j6dhTprHXMf/lm9L38AhI5RoA=</latexit><latexit sha1_base64="DYpr/QhONj1M8ZNLkLIiFH+wJj8=">AFHiclZLPa9RAFMdf46p1/dFWj14Gi+DFMjNJZjIXKXjxZgXFpSstnZbdhsEpKsUELO/gn+J94EoXgTD15E8Krof+GbaRa0pdidkN03/c+b96bl2GRJlVN6bcV50rv6rXrqzf6N2/dvrO2vnH3VZXPy1gP4jzNy71hVOk0yfSgTupU7xWljmbDVO8Op0+Nf/e1Lqskz17Wx4U+mEWTLBkncVSjdLjhPCckTPW43ifhUE+SjDRWUbHbRO3pAnHZRQ3QvmKMeVK6bYNp65kLqMudf27YchCbM8SpNJ1oQzPaqmSdF2nJK+VEJyJfhSHA+8gLtC0YB7y4GKB8ylwhN+23hUelxwKqi8CHvcSyQgvo0cLHYyx24IKWrqGKB8thynKt8l/nck1QsB/IgEIJhdUu1yKOj1MuPU9cilvU6fPAZ8wLlDpbZ6iz0eJj6ZOwTCZH9QHpH65v0i1qFzlvsM7Y3M4/rX34cvJmJ1/CiGMIcY5jADRnUaKcQYXPjCgUKB2A1qJVqJ9WtoY/sHKM0RkSoTvF3grv9Ts1wb3JWlo7xlBTfEkCD5HJMa5E25xGrH9uMxv1otyNzWlqO8b/YZdrhmoNR6j+j1tEXpYzvdQwhsD2kGBPhVMd3GXZW5vxVRO/uqxgwFasYeob9EO7bk4p6JZSrbu7nbyPp/2Uijmn3cxc7ht6kSB8zOjvO8MeBbaou+wE/gdO1CvfhATzCcUrYhmewAwOInXfOd+eH87P3tve+d9L7eBrqrHTMPfhn9T7/ASAU7w=</latexit><latexit sha1_base64="DYpr/QhONj1M8ZNLkLIiFH+wJj8=">AFHiclZLPa9RAFMdf46p1/dFWj14Gi+DFMjNJZjIXKXjxZgXFpSstnZbdhsEpKsUELO/gn+J94EoXgTD15E8Krof+GbaRa0pdidkN03/c+b96bl2GRJlVN6bcV50rv6rXrqzf6N2/dvrO2vnH3VZXPy1gP4jzNy71hVOk0yfSgTupU7xWljmbDVO8Op0+Nf/e1Lqskz17Wx4U+mEWTLBkncVSjdLjhPCckTPW43ifhUE+SjDRWUbHbRO3pAnHZRQ3QvmKMeVK6bYNp65kLqMudf27YchCbM8SpNJ1oQzPaqmSdF2nJK+VEJyJfhSHA+8gLtC0YB7y4GKB8ylwhN+23hUelxwKqi8CHvcSyQgvo0cLHYyx24IKWrqGKB8thynKt8l/nck1QsB/IgEIJhdUu1yKOj1MuPU9cilvU6fPAZ8wLlDpbZ6iz0eJj6ZOwTCZH9QHpH65v0i1qFzlvsM7Y3M4/rX34cvJmJ1/CiGMIcY5jADRnUaKcQYXPjCgUKB2A1qJVqJ9WtoY/sHKM0RkSoTvF3grv9Ts1wb3JWlo7xlBTfEkCD5HJMa5E25xGrH9uMxv1otyNzWlqO8b/YZdrhmoNR6j+j1tEXpYzvdQwhsD2kGBPhVMd3GXZW5vxVRO/uqxgwFasYeob9EO7bk4p6JZSrbu7nbyPp/2Uijmn3cxc7ht6kSB8zOjvO8MeBbaou+wE/gdO1CvfhATzCcUrYhmewAwOInXfOd+eH87P3tve+d9L7eBrqrHTMPfhn9T7/ASAU7w=</latexit> − 378816900
3134047739
− 20495829114
203713103035
− 67053094413
203713103035 9396074080 40742620607
− 58841813322
203713103035 8641632698 203713103035 1176300782 10721742265
− 305542579
3134047739
− 11872538116
203713103035
− 49238615442
203713103035 8998738354 40742620607
− 48926872543
203713103035 17364341402 203713103035 1603975448 10721742265
− 595667827
3134047739
− 34850589482
203713103035
− 93065264584
203713103035 16395446499 40742620607
− 99757356861
203713103035 26770440759 203713103035 2467702816 10721742265
− 74008954
3134047739
− 2169888633
40742620607
− 4053804427
40742620607 4874154765 40742620607
− 4349067980
40742620607 3634590188 40742620607 195062702 2144348453 239765981 3134047739 17661126586 203713103035 60948870672 203713103035
− 8711085182
40742620607 62978493878 203713103035
− 12358170402
203713103035
− 1419405818
10721742265 153069150 3134047739 4228351328 203713103035 32680318171 203713103035
− 4551698694
40742620607 28277713354 203713103035
− 20658574316
203713103035
− 564797499
10721742265 86854607 3134047739
−
64708557 203713103035 18276747571 203713103035
− 2331953340
40742620607 21325207739 203713103035
− 11479047526
203713103035
− 708058399
10721742265 84711069 3134047739 2041415721 40742620607 5533800772 40742620607
− 3120400038
40742620607 4453203683 40742620607
− 2490245417
40742620607
− 159017671
2144348453
− 115733957
3134047739
− 916054792
40742620607
− 1171020887
40742620607
− 309781915
40742620607
− 135778185
40742620607
− 1372889107
40742620607 7348981 2144348453
− 285726486
3134047739
− 15441589322
203713103035
− 55992257474
203713103035 8792979720 40742620607
− 51532000881
203713103035 15442993054 203713103035 1128412236 10721742265
<latexit sha1_base64="wbT8zj1F1taD2sgQ7I8T2ZpDdN4=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7sdZrW7YXKbL8e/gbnDjBCSHEhTNIXOHM67FnduOZXtZRknFP9euq1WvykfzyXi50vr3W7fePOt9+5827x3vsfHNzt3fvw2+XsYjEqD0ezyWzx9Gi4LCfjaXm4Gq8m5dP5ohyeH03KJ0dnX6b3T74rF8vxbPrN6tW8fH4+PJ2OT8aj4QpL+4dvBhMypPVs/7gqDwdT/vr4WIxfLVZj5rPpv9gPThZDEdrE0TIR603a0PGahuCiZvNZw/WxdaAtY1OBLZDb6YQIa0cZVRlsbH7QzOlpLpmVT7GyiV4HqwUnWTywZ42FKyhOxJKQMcwtlNob8Za8YR+lbK1IAreaB0EIKQDE45ifxWDguC1TjDZiBhUOPJOd0RdR0SaNOIWz3HfZjDoD6az4WR8Ol0Pzsvj5dl4vqmxC6Ods+xCbHFehyCBAUyUd7CwkXE0OWs72NqRFaMEI8bZHOWFlcg+nWbN1d7E4y3xpLV2YMK8trEAF+kRfqOT+fZR84n0QFnHPBk5eOsGtfogsWNqFlUVxLuYvOe6REyDBeGCtO4lW2kE+aDIYDrK3TtpBbE2KNZIzgZvY8xHkFUM7j8rIw7EPQFvtdK7UaRm2y4YqsTsoLSpWS7rejWJry12LFeg5wMeM0ZatDWRbJtdyjlrXElPuFZ2cM2RHRLwxOaZsqi7QkK6teN2ktpBgUQIBcecwjI3ah5hkpxvDeGNd1CSyj3GZdDoxhMwomCwQxTpz9QyP9AqR81fOiJI4tuNoSp5B2kx+050UtxoM4rOuyi0l9ZN5XpPhKSQjoLaQXjItkgARfnEl0BwzVGqjT2GahTEJjYaCflUIzZOCGndoSNFY2Qp4tqFWkJyCeOcMSKVfGaUGSsRIfl4jYCipzlGgpkbSkl9PBodcN1+v6xTgRl6S6i7TZEpXLQd0QaNLrTrv8ko51J1+GgB05mUDEL2FqJe6JQa/AkzWgoeVNw4O3IYZKrzplhBAvI0pJ2d8tygI+0mrH5TfeIhqUKbdAruNavDibos6MJvAcaelygXHOHj0C9fJdFNDBgVugJ8pf8ZtIlOqw7MomI5ChIfumpkCziKzTZvpBsUIhChq8dlO68kmd4U72vUOBEWPO0fd30yua65tKnIf9W6SUMAOTgdYalqigxdiUZyWgcFBDFr3VL45rigazCYy8mi8FQc7bOUshpLSUtx7XTvlo3kQTUn4ux1XYuATDOuEqmMl5A7iNhgvM3EesrOYK+j/EgN4Rsj0UfyYRWpNmWNGvodS56TOFBCPWYnfjIOBQzSdaCTGBSevWITVEAKdV0+niV3Rk5pAtJ8Kwiak6iLnQMDcHTXK6UbsFo3EIDu9Ta2ue6jGWEaY8Lp+XTRX5JAXzGnGzI14aIZo9FBM7vgdU6NQymNMP5Kb8CpvGDmoO+T7Ml8YP4iYTW7CY/RcABnb1XSbHzvohSbE6/o7bhFSib7bwikG5fS4/v3YHyzGpy9Xz/vFi959/VBXn37gXYP9x/Nfr7g1Lq8az3mxqoYzVTI3WhzlWpmqF54kaqiX+PFOktJpj7blaY2Bp3H1vlQbVWDvBaxKWAyxeoZ/T/Ht2W51iu8Jc1ntHuGUCf4usLOvPsWeGewWeE6n9av3FxVyWs1hryvM5Nsr/H+0wzrH6kq9xOr/7astb7ovxbJSJ0qGMaIaV6tpOhGO5SLipXkef9KVCsgzLGWno/xfoHnUbWz5rlf7VlWsSduh9X7PyvLtJq+j3a2F+qv5CUumPavs/1wyA/jQ/01LvoLtf3cUR+rT9TnuM6gHqmv1GN1qEYHPx78fDPwb+973s/937p/bo1vX1rt+cj9dqn98d/eGqlsw=</latexit><latexit sha1_base64="yvHA79mCPOWvOrZPEeAIfoVv+M0=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7WPHalu1Fiyf+Sn8DSQkTnABIcSFM0hc4czrsWd245le1lGScU/16rXVa/KR/PJeLnS+vcbN1959bX37j1ZvHW2+8c3O7defL5ex8MSoPR7PJbPH4aLgsJ+Npebgarybl4/miHJ4dTcpHR8/Te8fV0uluPZ9IvVi3n59Gx4Oh2fjEfDFZae3Tl4NpiUJ6sn/cFReTqe9tfDxWL4YrMeNZ9N/956cLIYjtYmiJCPWm/WhozVNgQTN5uP7q2LrQFrG51wJLIbfDGBDGmjauMtjY+aGd0tJZMy6bY2UQTvQ5WC06yeGDPGguXUJyIJSFjmFsotTfiLXnDPkrbZGtBFLzROghASAcmHMX+MgYFwWudYLIRMahw5J3uiLqOiDRpxC2e47NYNAfTGfDyfh0uh6clcfL5+P5psYujHbOsguxXkdgQGMFHewcJGxtHkrO1ga0dWjBKMGdzlBdWIvt0m3fXO1NMN4aS1ZnDyrIaxMDfJEW6Ts+nWcXfeB8EhVwzgVPXjrCrn2JLljYhJZFcSXlLjrvkRIhw3hrDjtJFpB3mvyWA4yN46aQexNSnWSM4IGryNMcd5BFHBOI/Ly8KwD0Fb7Het1GoYtcmGK7I6KS8oVUq6345iacpfixXrOcDFnDNGW7Y2kG2ZXMk5al1LTLlXdHLOkB0R8cbkmLKpukBDurbiZPaQoJFCQTEncMwNmofYpKdbgzjXVRk8g+xkXS6cQMqNgskAU68zlMzSK0TOXzkjSuLYjqMpeQYdpMXsO9FJcaPNKDrvotBeWjeV6z0RkI6CmoH4SHbIgEU5RNfAsE1R6k29hiqURCb2Ggk5FON2DghpHWHjhSNkaWIaxdqCckFjHPGiFTymVFmrESE5OMVAoqe5hgJZq4pJfXxaHTAdfv9sk4FZugtoe42RaZw0XZEGzS60K7/JqOcS9XhowVMZ1IyxCxgayXuSYGvQJP1oCGljcND96GCq96pQRQryMKCVlf7coC/hIqx2X3iLaFCm3AK5imvx4myKOjOawHOkpcspFxzj4NEvXCfTQ0ZFLgBfqb8GbeJTKkOz6JgOgoRHrorZgo4i8w2baYbFCMQoqjFZzutJ5vcFe5o1zsQFD3uHV/PbmubapyH3cV+smlTAkIPXGZaqosTYlWQko3FQBS/1i2Na4oHsgqPvZgsBkPN2TpLIae1lLQc107at1ElB/LsZW27kAwDjKpnKeAG5j4QJzl9HrC/lCPo+xoPcELI9Fn0kE1qRZlvSrKHXuegxhQch1GN24iPjUMwkWQsygQUlrVuH1BABnFZNp4tf0ZGZQ7acCMmpuqoi5wDAXN31Cina7FbNBKD7PQ2tbruoRpjGWHC6/p10VyRQ14wpxkzN+KhGaLRQzG543dMjUIpjzH9SG7Cq7xh5KDukO+LfGH8IGI2uQmP0XMBZGxX021+7KAXmhCv6u+4RUgl+m4LpxiU0+P692N/sBifrV62i+e9e7q+7r69NsPtHu4+2D24+3vfv7+m4ez3m9qoI7VTI3UuTpTpZqFZ4naqiW+PNEkdJqjrWnao21BZ7G1ftSbVSBvewKmExOpz/HuKb092q1N8T5jLavcIp0zwd4GdfUh9sxgt8BzOq1fvT+vkNqDntdYSbfXuD/ox3WGVZX6ius/t+2vK6+1IsK3WipIphjJjm1UqKbrRDOa9YSZ73L0W1AsIca+n5GO8XeB5VO2ue+9WeZRV74nZYvf+zskyr6ftoZ3u/kpe4oJp/zrbD4d8P97Xn+OiP1Hbzy31vpAfYzrDOqB+kw9VIdqdPDwd8H/xz82/u291Pvl96vW9ObN3Z73lMvfXp/AcYXKfP</latexit><latexit sha1_base64="yvHA79mCPOWvOrZPEeAIfoVv+M0=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7WPHalu1Fiyf+Sn8DSQkTnABIcSFM0hc4czrsWd245le1lGScU/16rXVa/KR/PJeLnS+vcbN1959bX37j1ZvHW2+8c3O7defL5ex8MSoPR7PJbPH4aLgsJ+Npebgarybl4/miHJ4dTcpHR8/Te8fV0uluPZ9IvVi3n59Gx4Oh2fjEfDFZae3Tl4NpiUJ6sn/cFReTqe9tfDxWL4YrMeNZ9N/956cLIYjtYmiJCPWm/WhozVNgQTN5uP7q2LrQFrG51wJLIbfDGBDGmjauMtjY+aGd0tJZMy6bY2UQTvQ5WC06yeGDPGguXUJyIJSFjmFsotTfiLXnDPkrbZGtBFLzROghASAcmHMX+MgYFwWudYLIRMahw5J3uiLqOiDRpxC2e47NYNAfTGfDyfh0uh6clcfL5+P5psYujHbOsguxXkdgQGMFHewcJGxtHkrO1ga0dWjBKMGdzlBdWIvt0m3fXO1NMN4aS1ZnDyrIaxMDfJEW6Ts+nWcXfeB8EhVwzgVPXjrCrn2JLljYhJZFcSXlLjrvkRIhw3hrDjtJFpB3mvyWA4yN46aQexNSnWSM4IGryNMcd5BFHBOI/Ly8KwD0Fb7Het1GoYtcmGK7I6KS8oVUq6345iacpfixXrOcDFnDNGW7Y2kG2ZXMk5al1LTLlXdHLOkB0R8cbkmLKpukBDurbiZPaQoJFCQTEncMwNmofYpKdbgzjXVRk8g+xkXS6cQMqNgskAU68zlMzSK0TOXzkjSuLYjqMpeQYdpMXsO9FJcaPNKDrvotBeWjeV6z0RkI6CmoH4SHbIgEU5RNfAsE1R6k29hiqURCb2Ggk5FON2DghpHWHjhSNkaWIaxdqCckFjHPGiFTymVFmrESE5OMVAoqe5hgJZq4pJfXxaHTAdfv9sk4FZugtoe42RaZw0XZEGzS60K7/JqOcS9XhowVMZ1IyxCxgayXuSYGvQJP1oCGljcND96GCq96pQRQryMKCVlf7coC/hIqx2X3iLaFCm3AK5imvx4myKOjOawHOkpcspFxzj4NEvXCfTQ0ZFLgBfqb8GbeJTKkOz6JgOgoRHrorZgo4i8w2baYbFCMQoqjFZzutJ5vcFe5o1zsQFD3uHV/PbmubapyH3cV+smlTAkIPXGZaqosTYlWQko3FQBS/1i2Na4oHsgqPvZgsBkPN2TpLIae1lLQc107at1ElB/LsZW27kAwDjKpnKeAG5j4QJzl9HrC/lCPo+xoPcELI9Fn0kE1qRZlvSrKHXuegxhQch1GN24iPjUMwkWQsygQUlrVuH1BABnFZNp4tf0ZGZQ7acCMmpuqoi5wDAXN31Cina7FbNBKD7PQ2tbruoRpjGWHC6/p10VyRQ14wpxkzN+KhGaLRQzG543dMjUIpjzH9SG7Cq7xh5KDukO+LfGH8IGI2uQmP0XMBZGxX021+7KAXmhCv6u+4RUgl+m4LpxiU0+P692N/sBifrV62i+e9e7q+7r69NsPtHu4+2D24+3vfv7+m4ez3m9qoI7VTI3UuTpTpZqFZ4naqiW+PNEkdJqjrWnao21BZ7G1ftSbVSBvewKmExOpz/HuKb092q1N8T5jLavcIp0zwd4GdfUh9sxgt8BzOq1fvT+vkNqDntdYSbfXuD/ox3WGVZX6ius/t+2vK6+1IsK3WipIphjJjm1UqKbrRDOa9YSZ73L0W1AsIca+n5GO8XeB5VO2ue+9WeZRV74nZYvf+zskyr6ftoZ3u/kpe4oJp/zrbD4d8P97Xn+OiP1Hbzy31vpAfYzrDOqB+kw9VIdqdPDwd8H/xz82/u291Pvl96vW9ObN3Z73lMvfXp/AcYXKfP</latexit>
17807806326 203713103035
− 23405165014
203713103035 10100538629 203713103035 2562596724 203713103035
− 20657616816
203713103035 1957476176 203713103035 11632892698 203713103035
− 30848462707
203713103035 3042447147 203713103035
− 469567929
40742620607
− 926331297
40742620607
− 1221610838
40742620607
− 12553388579
203713103035 31097066916 203713103035
− 5825205336
203713103035 130624778 203713103035 18915310378 203713103035 286984762 203713103035
− 3859090862
203713103035 6143195823 203713103035 7665741127 203713103035 2076805993 40742620607 1591605402 40742620607
− 956914256
40742620607 809222740 40742620607 172501490 40742620607
− 716590790
40742620607 2784154348 203713103035
− 17109379672
203713103035
− 1441829408
203713103035
<latexit sha1_base64="CphEb5jOhsSOGLIhPMmM9fGet2g=">AHvniclVTNjtRGEC4IwxDzt4RjLlYQiAur6v/uCwLlwpFIWUBar8Dj9Q7WeuyRx4OysuaKzxSHiB3lDdIHoFbqr32CsZrWDzjmerqr76vq6q7Z8s8W9WI/1y6/MOVydXptR+D6zdu3rq9c+enF6tyXSXpXlLmZfVqFq/SPCvSvTqr8/TVskrjxSxPX86Of/XzL9+l1Sori9/rk2V6sIjnRXaUJXFNrtd3rnyK8vSo3g+jWTrPirCJqyo+2TRJkmzCJjq4qRhxiJ9teB603AUhgmGAoXabB48OsUEDRcSFdMKmRyAeh5kiEpYzd02JIiMCrKOM/mRMt0sPVcbcdHFca6cNnzI3Mk3AUetjGbasuEae3mnjCSMGSC+qs4YJW4d186Oywu0krNDZoxeYGS2mYHCDOl+5pXZKG+drJtFIrilVUvlMnNYmBOPOjCEY50wztMJuIb6uzLhSQlirzKBfD84SZ+gMau3OqXvPoyxXnBovrPwAjWXxgzL3osz65jy7nEMt9Q36jr/vqILqxw6tMO4M3HNpKAtZbkYgxhNe1Iyxi/Y8X7JaLRF5ZzY7udZ3orKjUoiH+s4bRnHJB2cCzW8C7LoOdG4oguM9wfb4ebYETW0AXg0LhthvNVgy5fYyVTUsjx8UMbTNh/B0wxAQ9SEpmuZM4InS4rC/2cKoyuZv64MweL1zD3exfcKhwTrj3pPy79t/AcDzcucjRHAIJSwhgWkUEBNdg4xrOizDwQluQ7gIZ8FVlZO5/CBgKXRMqJURM3mP6ndNov/MWNPacqzY6IZWc3oiQ7hPMSXhKrK9WtjOr1tm7x3jblpOv7YT+p91XAvy1vCWvN+K65EXjfO51HAEts0ho5yWrcdnl3Qs67YqfuXhZ1nVxLAkn7cPab4iO2kj+zqHbcyqzd3XNm7n/2R3uvHSYdw39+ldRgt3OobHd90u/kaNfgynzX4GX6Bh9ROA0/gGTyHPUgmbyZ/Tt5PkyfTufTxbQ8hV6+1MXchS+e6R/A9m1C14=</latexit><latexit sha1_base64="PVpcQPztjn9W4E9Xj7+h3Y3eM=">AHvniclVRLb9NAEF4eIWBeBY5cLBAVF6rZ9+4FgbhwBIlCpboqjumVh07chxEZeUKR/hJSFw5cUH8A/gJ3Jh17QriuhQnTmZnv/m+nZndHU3TZFYCfD9z9tz5wYXhxUve5StXr1fuXHz5SyfF1G8HuVpXmyMwlmcJlm8XiZlGm9MizicjNL41Wj/iZt/9SYuZkmevSgPpvHWJBxnyW4ShSW6tm+c/xWk8W656QejeJxkfhUWRXiwqKIoWvhVsFuEUW1AfwqztSiYsA15RQ4cLlYrD4xHgV4wIkVRKo6IBaHqAkhvF7DLECwI/yPIwTcZFUzindl+Ml0cUwqJq3SrMvcyFceAyW1osrQ7hpbeSu1QIzuIE5UpxQTN5Ypa/rlORhGIadJ8B8GE0FR0EMfLt9xCWam0dTUToAVTmCq/CGOa+OcMqv7EJQxqigYbpYQJytTJiXnxkjd6dfqUeIUrAal7DF1b3mkYZJh4/l/Fp6DYkLrbtlbcWoslc7dj2EG+4ZdZ/9XdG6kBQumG3ckrqjguKUM430QrXBPCkrZKTveLhm0MiCt5cv9PMpbYrlBCmB9HctY6nAg3OqhjdBixjTAvo0aWaueNtYeH1yGq8ACxou8xwvKrX5KuNoFJw0X+qMZtxrW7A7oYrwUJQ2zAjo8QZztDebHxTJeK/c8r3tlbuwBvXjdw3aGHcf5V+uf/r6+f2zfOUbCcgOyUlE5mRCYpKREu2UhGSGn01CZAp+rZIhb4CraSej8mCeBg7R1SMiBC9+/g7xtFm481w7DhndXSEKim+BUb65B7G5Igr0HZqfj0/r5mdt4+7qjnd2g7wf9RwTdBbkj30/iuRZ42zuVSkl1i6hwSzGlae1x2UcMyr6viVu7/kVWJDFP0OXsH5wu0ozqyrbNfx8zq3F1tw3r+R410XjeOGuyc/HSrxAbT5XZ2jXW2ZtfgOTb6ITl8LpLb5A65j+3U5BF5Sp6RdRINXg/eDT4MPg4fD8fDyTA/hJ4908TcIn89w7e/AXmnDXo=</latexit><latexit sha1_base64="PVpcQPztjn9W4E9Xj7+h3Y3eM=">AHvniclVRLb9NAEF4eIWBeBY5cLBAVF6rZ9+4FgbhwBIlCpboqjumVh07chxEZeUKR/hJSFw5cUH8A/gJ3Jh17QriuhQnTmZnv/m+nZndHU3TZFYCfD9z9tz5wYXhxUve5StXr1fuXHz5SyfF1G8HuVpXmyMwlmcJlm8XiZlGm9MizicjNL41Wj/iZt/9SYuZkmevSgPpvHWJBxnyW4ShSW6tm+c/xWk8W656QejeJxkfhUWRXiwqKIoWvhVsFuEUW1AfwqztSiYsA15RQ4cLlYrD4xHgV4wIkVRKo6IBaHqAkhvF7DLECwI/yPIwTcZFUzindl+Ml0cUwqJq3SrMvcyFceAyW1osrQ7hpbeSu1QIzuIE5UpxQTN5Ypa/rlORhGIadJ8B8GE0FR0EMfLt9xCWam0dTUToAVTmCq/CGOa+OcMqv7EJQxqigYbpYQJytTJiXnxkjd6dfqUeIUrAal7DF1b3mkYZJh4/l/Fp6DYkLrbtlbcWoslc7dj2EG+4ZdZ/9XdG6kBQumG3ckrqjguKUM430QrXBPCkrZKTveLhm0MiCt5cv9PMpbYrlBCmB9HctY6nAg3OqhjdBixjTAvo0aWaueNtYeH1yGq8ACxou8xwvKrX5KuNoFJw0X+qMZtxrW7A7oYrwUJQ2zAjo8QZztDebHxTJeK/c8r3tlbuwBvXjdw3aGHcf5V+uf/r6+f2zfOUbCcgOyUlE5mRCYpKREu2UhGSGn01CZAp+rZIhb4CraSej8mCeBg7R1SMiBC9+/g7xtFm481w7DhndXSEKim+BUb65B7G5Igr0HZqfj0/r5mdt4+7qjnd2g7wf9RwTdBbkj30/iuRZ42zuVSkl1i6hwSzGlae1x2UcMyr6viVu7/kVWJDFP0OXsH5wu0ozqyrbNfx8zq3F1tw3r+R410XjeOGuyc/HSrxAbT5XZ2jXW2ZtfgOTb6ITl8LpLb5A65j+3U5BF5Sp6RdRINXg/eDT4MPg4fD8fDyTA/hJ4908TcIn89w7e/AXmnDXo=</latexit> − 378816900
3134047739
− 20495829114
203713103035
− 67053094413
203713103035 9396074080 40742620607
− 58841813322
203713103035 8641632698 203713103035 1176300782 10721742265
− 305542579
3134047739
− 11872538116
203713103035
− 49238615442
203713103035 8998738354 40742620607
− 48926872543
203713103035 17364341402 203713103035 1603975448 10721742265
− 595667827
3134047739
− 34850589482
203713103035
− 93065264584
203713103035 16395446499 40742620607
− 99757356861
203713103035 26770440759 203713103035 2467702816 10721742265
− 74008954
3134047739
− 2169888633
40742620607
− 4053804427
40742620607 4874154765 40742620607
− 4349067980
40742620607 3634590188 40742620607 195062702 2144348453 239765981 3134047739 17661126586 203713103035 60948870672 203713103035
− 8711085182
40742620607 62978493878 203713103035
− 12358170402
203713103035
− 1419405818
10721742265 153069150 3134047739 4228351328 203713103035 32680318171 203713103035
− 4551698694
40742620607 28277713354 203713103035
− 20658574316
203713103035
− 564797499
10721742265 86854607 3134047739
−
64708557 203713103035 18276747571 203713103035
− 2331953340
40742620607 21325207739 203713103035
− 11479047526
203713103035
− 708058399
10721742265 84711069 3134047739 2041415721 40742620607 5533800772 40742620607
− 3120400038
40742620607 4453203683 40742620607
− 2490245417
40742620607
− 159017671
2144348453
− 115733957
3134047739
− 916054792
40742620607
− 1171020887
40742620607
− 309781915
40742620607
− 135778185
40742620607
− 1372889107
40742620607 7348981 2144348453
− 285726486
3134047739
− 15441589322
203713103035
− 55992257474
203713103035 8792979720 40742620607
− 51532000881
203713103035 15442993054 203713103035 1128412236 10721742265
<latexit sha1_base64="wbT8zj1F1taD2sgQ7I8T2ZpDdN4=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7sdZrW7YXKbL8e/gbnDjBCSHEhTNIXOHM67FnduOZXtZRknFP9euq1WvykfzyXi50vr3W7fePOt9+5827x3vsfHNzt3fvw2+XsYjEqD0ezyWzx9Gi4LCfjaXm4Gq8m5dP5ohyeH03KJ0dnX6b3T74rF8vxbPrN6tW8fH4+PJ2OT8aj4QpL+4dvBhMypPVs/7gqDwdT/vr4WIxfLVZj5rPpv9gPThZDEdrE0TIR603a0PGahuCiZvNZw/WxdaAtY1OBLZDb6YQIa0cZVRlsbH7QzOlpLpmVT7GyiV4HqwUnWTywZ42FKyhOxJKQMcwtlNob8Za8YR+lbK1IAreaB0EIKQDE45ifxWDguC1TjDZiBhUOPJOd0RdR0SaNOIWz3HfZjDoD6az4WR8Ol0Pzsvj5dl4vqmxC6Ods+xCbHFehyCBAUyUd7CwkXE0OWs72NqRFaMEI8bZHOWFlcg+nWbN1d7E4y3xpLV2YMK8trEAF+kRfqOT+fZR84n0QFnHPBk5eOsGtfogsWNqFlUVxLuYvOe6REyDBeGCtO4lW2kE+aDIYDrK3TtpBbE2KNZIzgZvY8xHkFUM7j8rIw7EPQFvtdK7UaRm2y4YqsTsoLSpWS7rejWJry12LFeg5wMeM0ZatDWRbJtdyjlrXElPuFZ2cM2RHRLwxOaZsqi7QkK6teN2ktpBgUQIBcecwjI3ah5hkpxvDeGNd1CSyj3GZdDoxhMwomCwQxTpz9QyP9AqR81fOiJI4tuNoSp5B2kx+050UtxoM4rOuyi0l9ZN5XpPhKSQjoLaQXjItkgARfnEl0BwzVGqjT2GahTEJjYaCflUIzZOCGndoSNFY2Qp4tqFWkJyCeOcMSKVfGaUGSsRIfl4jYCipzlGgpkbSkl9PBodcN1+v6xTgRl6S6i7TZEpXLQd0QaNLrTrv8ko51J1+GgB05mUDEL2FqJe6JQa/AkzWgoeVNw4O3IYZKrzplhBAvI0pJ2d8tygI+0mrH5TfeIhqUKbdAruNavDibos6MJvAcaelygXHOHj0C9fJdFNDBgVugJ8pf8ZtIlOqw7MomI5ChIfumpkCziKzTZvpBsUIhChq8dlO68kmd4U72vUOBEWPO0fd30yua65tKnIf9W6SUMAOTgdYalqigxdiUZyWgcFBDFr3VL45rigazCYy8mi8FQc7bOUshpLSUtx7XTvlo3kQTUn4ux1XYuATDOuEqmMl5A7iNhgvM3EesrOYK+j/EgN4Rsj0UfyYRWpNmWNGvodS56TOFBCPWYnfjIOBQzSdaCTGBSevWITVEAKdV0+niV3Rk5pAtJ8Kwiak6iLnQMDcHTXK6UbsFo3EIDu9Ta2ue6jGWEaY8Lp+XTRX5JAXzGnGzI14aIZo9FBM7vgdU6NQymNMP5Kb8CpvGDmoO+T7Ml8YP4iYTW7CY/RcABnb1XSbHzvohSbE6/o7bhFSib7bwikG5fS4/v3YHyzGpy9Xz/vFi959/VBXn37gXYP9x/Nfr7g1Lq8az3mxqoYzVTI3WhzlWpmqF54kaqiX+PFOktJpj7blaY2Bp3H1vlQbVWDvBaxKWAyxeoZ/T/Ht2W51iu8Jc1ntHuGUCf4usLOvPsWeGewWeE6n9av3FxVyWs1hryvM5Nsr/H+0wzrH6kq9xOr/7astb7ovxbJSJ0qGMaIaV6tpOhGO5SLipXkef9KVCsgzLGWno/xfoHnUbWz5rlf7VlWsSduh9X7PyvLtJq+j3a2F+qv5CUumPavs/1wyA/jQ/01LvoLtf3cUR+rT9TnuM6gHqmv1GN1qEYHPx78fDPwb+973s/937p/bo1vX1rt+cj9dqn98d/eGqlsw=</latexit><latexit sha1_base64="yvHA79mCPOWvOrZPEeAIfoVv+M0=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7WPHalu1Fiyf+Sn8DSQkTnABIcSFM0hc4czrsWd245le1lGScU/16rXVa/KR/PJeLnS+vcbN1959bX37j1ZvHW2+8c3O7defL5ex8MSoPR7PJbPH4aLgsJ+Npebgarybl4/miHJ4dTcpHR8/Te8fV0uluPZ9IvVi3n59Gx4Oh2fjEfDFZae3Tl4NpiUJ6sn/cFReTqe9tfDxWL4YrMeNZ9N/956cLIYjtYmiJCPWm/WhozVNgQTN5uP7q2LrQFrG51wJLIbfDGBDGmjauMtjY+aGd0tJZMy6bY2UQTvQ5WC06yeGDPGguXUJyIJSFjmFsotTfiLXnDPkrbZGtBFLzROghASAcmHMX+MgYFwWudYLIRMahw5J3uiLqOiDRpxC2e47NYNAfTGfDyfh0uh6clcfL5+P5psYujHbOsguxXkdgQGMFHewcJGxtHkrO1ga0dWjBKMGdzlBdWIvt0m3fXO1NMN4aS1ZnDyrIaxMDfJEW6Ts+nWcXfeB8EhVwzgVPXjrCrn2JLljYhJZFcSXlLjrvkRIhw3hrDjtJFpB3mvyWA4yN46aQexNSnWSM4IGryNMcd5BFHBOI/Ly8KwD0Fb7Het1GoYtcmGK7I6KS8oVUq6345iacpfixXrOcDFnDNGW7Y2kG2ZXMk5al1LTLlXdHLOkB0R8cbkmLKpukBDurbiZPaQoJFCQTEncMwNmofYpKdbgzjXVRk8g+xkXS6cQMqNgskAU68zlMzSK0TOXzkjSuLYjqMpeQYdpMXsO9FJcaPNKDrvotBeWjeV6z0RkI6CmoH4SHbIgEU5RNfAsE1R6k29hiqURCb2Ggk5FON2DghpHWHjhSNkaWIaxdqCckFjHPGiFTymVFmrESE5OMVAoqe5hgJZq4pJfXxaHTAdfv9sk4FZugtoe42RaZw0XZEGzS60K7/JqOcS9XhowVMZ1IyxCxgayXuSYGvQJP1oCGljcND96GCq96pQRQryMKCVlf7coC/hIqx2X3iLaFCm3AK5imvx4myKOjOawHOkpcspFxzj4NEvXCfTQ0ZFLgBfqb8GbeJTKkOz6JgOgoRHrorZgo4i8w2baYbFCMQoqjFZzutJ5vcFe5o1zsQFD3uHV/PbmubapyH3cV+smlTAkIPXGZaqosTYlWQko3FQBS/1i2Na4oHsgqPvZgsBkPN2TpLIae1lLQc107at1ElB/LsZW27kAwDjKpnKeAG5j4QJzl9HrC/lCPo+xoPcELI9Fn0kE1qRZlvSrKHXuegxhQch1GN24iPjUMwkWQsygQUlrVuH1BABnFZNp4tf0ZGZQ7acCMmpuqoi5wDAXN31Cina7FbNBKD7PQ2tbruoRpjGWHC6/p10VyRQ14wpxkzN+KhGaLRQzG543dMjUIpjzH9SG7Cq7xh5KDukO+LfGH8IGI2uQmP0XMBZGxX021+7KAXmhCv6u+4RUgl+m4LpxiU0+P692N/sBifrV62i+e9e7q+7r69NsPtHu4+2D24+3vfv7+m4ez3m9qoI7VTI3UuTpTpZqFZ4naqiW+PNEkdJqjrWnao21BZ7G1ftSbVSBvewKmExOpz/HuKb092q1N8T5jLavcIp0zwd4GdfUh9sxgt8BzOq1fvT+vkNqDntdYSbfXuD/ox3WGVZX6ius/t+2vK6+1IsK3WipIphjJjm1UqKbrRDOa9YSZ73L0W1AsIca+n5GO8XeB5VO2ue+9WeZRV74nZYvf+zskyr6ftoZ3u/kpe4oJp/zrbD4d8P97Xn+OiP1Hbzy31vpAfYzrDOqB+kw9VIdqdPDwd8H/xz82/u291Pvl96vW9ObN3Z73lMvfXp/AcYXKfP</latexit><latexit sha1_base64="yvHA79mCPOWvOrZPEeAIfoVv+M0=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7WPHalu1Fiyf+Sn8DSQkTnABIcSFM0hc4czrsWd245le1lGScU/16rXVa/KR/PJeLnS+vcbN1959bX37j1ZvHW2+8c3O7defL5ex8MSoPR7PJbPH4aLgsJ+Npebgarybl4/miHJ4dTcpHR8/Te8fV0uluPZ9IvVi3n59Gx4Oh2fjEfDFZae3Tl4NpiUJ6sn/cFReTqe9tfDxWL4YrMeNZ9N/956cLIYjtYmiJCPWm/WhozVNgQTN5uP7q2LrQFrG51wJLIbfDGBDGmjauMtjY+aGd0tJZMy6bY2UQTvQ5WC06yeGDPGguXUJyIJSFjmFsotTfiLXnDPkrbZGtBFLzROghASAcmHMX+MgYFwWudYLIRMahw5J3uiLqOiDRpxC2e47NYNAfTGfDyfh0uh6clcfL5+P5psYujHbOsguxXkdgQGMFHewcJGxtHkrO1ga0dWjBKMGdzlBdWIvt0m3fXO1NMN4aS1ZnDyrIaxMDfJEW6Ts+nWcXfeB8EhVwzgVPXjrCrn2JLljYhJZFcSXlLjrvkRIhw3hrDjtJFpB3mvyWA4yN46aQexNSnWSM4IGryNMcd5BFHBOI/Ly8KwD0Fb7Het1GoYtcmGK7I6KS8oVUq6345iacpfixXrOcDFnDNGW7Y2kG2ZXMk5al1LTLlXdHLOkB0R8cbkmLKpukBDurbiZPaQoJFCQTEncMwNmofYpKdbgzjXVRk8g+xkXS6cQMqNgskAU68zlMzSK0TOXzkjSuLYjqMpeQYdpMXsO9FJcaPNKDrvotBeWjeV6z0RkI6CmoH4SHbIgEU5RNfAsE1R6k29hiqURCb2Ggk5FON2DghpHWHjhSNkaWIaxdqCckFjHPGiFTymVFmrESE5OMVAoqe5hgJZq4pJfXxaHTAdfv9sk4FZugtoe42RaZw0XZEGzS60K7/JqOcS9XhowVMZ1IyxCxgayXuSYGvQJP1oCGljcND96GCq96pQRQryMKCVlf7coC/hIqx2X3iLaFCm3AK5imvx4myKOjOawHOkpcspFxzj4NEvXCfTQ0ZFLgBfqb8GbeJTKkOz6JgOgoRHrorZgo4i8w2baYbFCMQoqjFZzutJ5vcFe5o1zsQFD3uHV/PbmubapyH3cV+smlTAkIPXGZaqosTYlWQko3FQBS/1i2Na4oHsgqPvZgsBkPN2TpLIae1lLQc107at1ElB/LsZW27kAwDjKpnKeAG5j4QJzl9HrC/lCPo+xoPcELI9Fn0kE1qRZlvSrKHXuegxhQch1GN24iPjUMwkWQsygQUlrVuH1BABnFZNp4tf0ZGZQ7acCMmpuqoi5wDAXN31Cina7FbNBKD7PQ2tbruoRpjGWHC6/p10VyRQ14wpxkzN+KhGaLRQzG543dMjUIpjzH9SG7Cq7xh5KDukO+LfGH8IGI2uQmP0XMBZGxX021+7KAXmhCv6u+4RUgl+m4LpxiU0+P692N/sBifrV62i+e9e7q+7r69NsPtHu4+2D24+3vfv7+m4ez3m9qoI7VTI3UuTpTpZqFZ4naqiW+PNEkdJqjrWnao21BZ7G1ftSbVSBvewKmExOpz/HuKb092q1N8T5jLavcIp0zwd4GdfUh9sxgt8BzOq1fvT+vkNqDntdYSbfXuD/ox3WGVZX6ius/t+2vK6+1IsK3WipIphjJjm1UqKbrRDOa9YSZ73L0W1AsIca+n5GO8XeB5VO2ue+9WeZRV74nZYvf+zskyr6ftoZ3u/kpe4oJp/zrbD4d8P97Xn+OiP1Hbzy31vpAfYzrDOqB+kw9VIdqdPDwd8H/xz82/u291Pvl96vW9ObN3Z73lMvfXp/AcYXKfP</latexit>
17807806326 203713103035
− 23405165014
203713103035 10100538629 203713103035 2562596724 203713103035
− 20657616816
203713103035 1957476176 203713103035 11632892698 203713103035
− 30848462707
203713103035 3042447147 203713103035
− 469567929
40742620607
− 926331297
40742620607
− 1221610838
40742620607
− 12553388579
203713103035 31097066916 203713103035
− 5825205336
203713103035 130624778 203713103035 18915310378 203713103035 286984762 203713103035
− 3859090862
203713103035 6143195823 203713103035 7665741127 203713103035 2076805993 40742620607 1591605402 40742620607
− 956914256
40742620607 809222740 40742620607 172501490 40742620607
− 716590790
40742620607 2784154348 203713103035
− 17109379672
203713103035
− 1441829408
203713103035
<latexit sha1_base64="CphEb5jOhsSOGLIhPMmM9fGet2g=">AHvniclVTNjtRGEC4IwxDzt4RjLlYQiAur6v/uCwLlwpFIWUBar8Dj9Q7WeuyRx4OysuaKzxSHiB3lDdIHoFbqr32CsZrWDzjmerqr76vq6q7Z8s8W9WI/1y6/MOVydXptR+D6zdu3rq9c+enF6tyXSXpXlLmZfVqFq/SPCvSvTqr8/TVskrjxSxPX86Of/XzL9+l1Sori9/rk2V6sIjnRXaUJXFNrtd3rnyK8vSo3g+jWTrPirCJqyo+2TRJkmzCJjq4qRhxiJ9teB603AUhgmGAoXabB48OsUEDRcSFdMKmRyAeh5kiEpYzd02JIiMCrKOM/mRMt0sPVcbcdHFca6cNnzI3Mk3AUetjGbasuEae3mnjCSMGSC+qs4YJW4d186Oywu0krNDZoxeYGS2mYHCDOl+5pXZKG+drJtFIrilVUvlMnNYmBOPOjCEY50wztMJuIb6uzLhSQlirzKBfD84SZ+gMau3OqXvPoyxXnBovrPwAjWXxgzL3osz65jy7nEMt9Q36jr/vqILqxw6tMO4M3HNpKAtZbkYgxhNe1Iyxi/Y8X7JaLRF5ZzY7udZ3orKjUoiH+s4bRnHJB2cCzW8C7LoOdG4oguM9wfb4ebYETW0AXg0LhthvNVgy5fYyVTUsjx8UMbTNh/B0wxAQ9SEpmuZM4InS4rC/2cKoyuZv64MweL1zD3exfcKhwTrj3pPy79t/AcDzcucjRHAIJSwhgWkUEBNdg4xrOizDwQluQ7gIZ8FVlZO5/CBgKXRMqJURM3mP6ndNov/MWNPacqzY6IZWc3oiQ7hPMSXhKrK9WtjOr1tm7x3jblpOv7YT+p91XAvy1vCWvN+K65EXjfO51HAEts0ho5yWrcdnl3Qs67YqfuXhZ1nVxLAkn7cPab4iO2kj+zqHbcyqzd3XNm7n/2R3uvHSYdw39+ldRgt3OobHd90u/kaNfgynzX4GX6Bh9ROA0/gGTyHPUgmbyZ/Tt5PkyfTufTxbQ8hV6+1MXchS+e6R/A9m1C14=</latexit><latexit sha1_base64="PVpcQPztjn9W4E9Xj7+h3Y3eM=">AHvniclVRLb9NAEF4eIWBeBY5cLBAVF6rZ9+4FgbhwBIlCpboqjumVh07chxEZeUKR/hJSFw5cUH8A/gJ3Jh17QriuhQnTmZnv/m+nZndHU3TZFYCfD9z9tz5wYXhxUve5StXr1fuXHz5SyfF1G8HuVpXmyMwlmcJlm8XiZlGm9MizicjNL41Wj/iZt/9SYuZkmevSgPpvHWJBxnyW4ShSW6tm+c/xWk8W656QejeJxkfhUWRXiwqKIoWvhVsFuEUW1AfwqztSiYsA15RQ4cLlYrD4xHgV4wIkVRKo6IBaHqAkhvF7DLECwI/yPIwTcZFUzindl+Ml0cUwqJq3SrMvcyFceAyW1osrQ7hpbeSu1QIzuIE5UpxQTN5Ypa/rlORhGIadJ8B8GE0FR0EMfLt9xCWam0dTUToAVTmCq/CGOa+OcMqv7EJQxqigYbpYQJytTJiXnxkjd6dfqUeIUrAal7DF1b3mkYZJh4/l/Fp6DYkLrbtlbcWoslc7dj2EG+4ZdZ/9XdG6kBQumG3ckrqjguKUM430QrXBPCkrZKTveLhm0MiCt5cv9PMpbYrlBCmB9HctY6nAg3OqhjdBixjTAvo0aWaueNtYeH1yGq8ACxou8xwvKrX5KuNoFJw0X+qMZtxrW7A7oYrwUJQ2zAjo8QZztDebHxTJeK/c8r3tlbuwBvXjdw3aGHcf5V+uf/r6+f2zfOUbCcgOyUlE5mRCYpKREu2UhGSGn01CZAp+rZIhb4CraSej8mCeBg7R1SMiBC9+/g7xtFm481w7DhndXSEKim+BUb65B7G5Igr0HZqfj0/r5mdt4+7qjnd2g7wf9RwTdBbkj30/iuRZ42zuVSkl1i6hwSzGlae1x2UcMyr6viVu7/kVWJDFP0OXsH5wu0ozqyrbNfx8zq3F1tw3r+R410XjeOGuyc/HSrxAbT5XZ2jXW2ZtfgOTb6ITl8LpLb5A65j+3U5BF5Sp6RdRINXg/eDT4MPg4fD8fDyTA/hJ4908TcIn89w7e/AXmnDXo=</latexit><latexit sha1_base64="PVpcQPztjn9W4E9Xj7+h3Y3eM=">AHvniclVRLb9NAEF4eIWBeBY5cLBAVF6rZ9+4FgbhwBIlCpboqjumVh07chxEZeUKR/hJSFw5cUH8A/gJ3Jh17QriuhQnTmZnv/m+nZndHU3TZFYCfD9z9tz5wYXhxUve5StXr1fuXHz5SyfF1G8HuVpXmyMwlmcJlm8XiZlGm9MizicjNL41Wj/iZt/9SYuZkmevSgPpvHWJBxnyW4ShSW6tm+c/xWk8W656QejeJxkfhUWRXiwqKIoWvhVsFuEUW1AfwqztSiYsA15RQ4cLlYrD4xHgV4wIkVRKo6IBaHqAkhvF7DLECwI/yPIwTcZFUzindl+Ml0cUwqJq3SrMvcyFceAyW1osrQ7hpbeSu1QIzuIE5UpxQTN5Ypa/rlORhGIadJ8B8GE0FR0EMfLt9xCWam0dTUToAVTmCq/CGOa+OcMqv7EJQxqigYbpYQJytTJiXnxkjd6dfqUeIUrAal7DF1b3mkYZJh4/l/Fp6DYkLrbtlbcWoslc7dj2EG+4ZdZ/9XdG6kBQumG3ckrqjguKUM430QrXBPCkrZKTveLhm0MiCt5cv9PMpbYrlBCmB9HctY6nAg3OqhjdBixjTAvo0aWaueNtYeH1yGq8ACxou8xwvKrX5KuNoFJw0X+qMZtxrW7A7oYrwUJQ2zAjo8QZztDebHxTJeK/c8r3tlbuwBvXjdw3aGHcf5V+uf/r6+f2zfOUbCcgOyUlE5mRCYpKREu2UhGSGn01CZAp+rZIhb4CraSej8mCeBg7R1SMiBC9+/g7xtFm481w7DhndXSEKim+BUb65B7G5Igr0HZqfj0/r5mdt4+7qjnd2g7wf9RwTdBbkj30/iuRZ42zuVSkl1i6hwSzGlae1x2UcMyr6viVu7/kVWJDFP0OXsH5wu0ozqyrbNfx8zq3F1tw3r+R410XjeOGuyc/HSrxAbT5XZ2jXW2ZtfgOTb6ITl8LpLb5A65j+3U5BF5Sp6RdRINXg/eDT4MPg4fD8fDyTA/hJ4908TcIn89w7e/AXmnDXo=</latexit> − 378816900
3134047739
− 20495829114
203713103035
− 67053094413
203713103035 9396074080 40742620607
− 58841813322
203713103035 8641632698 203713103035 1176300782 10721742265
− 305542579
3134047739
− 11872538116
203713103035
− 49238615442
203713103035 8998738354 40742620607
− 48926872543
203713103035 17364341402 203713103035 1603975448 10721742265
− 595667827
3134047739
− 34850589482
203713103035
− 93065264584
203713103035 16395446499 40742620607
− 99757356861
203713103035 26770440759 203713103035 2467702816 10721742265
− 74008954
3134047739
− 2169888633
40742620607
− 4053804427
40742620607 4874154765 40742620607
− 4349067980
40742620607 3634590188 40742620607 195062702 2144348453 239765981 3134047739 17661126586 203713103035 60948870672 203713103035
− 8711085182
40742620607 62978493878 203713103035
− 12358170402
203713103035
− 1419405818
10721742265 153069150 3134047739 4228351328 203713103035 32680318171 203713103035
− 4551698694
40742620607 28277713354 203713103035
− 20658574316
203713103035
− 564797499
10721742265 86854607 3134047739
−
64708557 203713103035 18276747571 203713103035
− 2331953340
40742620607 21325207739 203713103035
− 11479047526
203713103035
− 708058399
10721742265 84711069 3134047739 2041415721 40742620607 5533800772 40742620607
− 3120400038
40742620607 4453203683 40742620607
− 2490245417
40742620607
− 159017671
2144348453
− 115733957
3134047739
− 916054792
40742620607
− 1171020887
40742620607
− 309781915
40742620607
− 135778185
40742620607
− 1372889107
40742620607 7348981 2144348453
− 285726486
3134047739
− 15441589322
203713103035
− 55992257474
203713103035 8792979720 40742620607
− 51532000881
203713103035 15442993054 203713103035 1128412236 10721742265
<latexit sha1_base64="wbT8zj1F1taD2sgQ7I8T2ZpDdN4=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7sdZrW7YXKbL8e/gbnDjBCSHEhTNIXOHM67FnduOZXtZRknFP9euq1WvykfzyXi50vr3W7fePOt9+5827x3vsfHNzt3fvw2+XsYjEqD0ezyWzx9Gi4LCfjaXm4Gq8m5dP5ohyeH03KJ0dnX6b3T74rF8vxbPrN6tW8fH4+PJ2OT8aj4QpL+4dvBhMypPVs/7gqDwdT/vr4WIxfLVZj5rPpv9gPThZDEdrE0TIR603a0PGahuCiZvNZw/WxdaAtY1OBLZDb6YQIa0cZVRlsbH7QzOlpLpmVT7GyiV4HqwUnWTywZ42FKyhOxJKQMcwtlNob8Za8YR+lbK1IAreaB0EIKQDE45ifxWDguC1TjDZiBhUOPJOd0RdR0SaNOIWz3HfZjDoD6az4WR8Ol0Pzsvj5dl4vqmxC6Ods+xCbHFehyCBAUyUd7CwkXE0OWs72NqRFaMEI8bZHOWFlcg+nWbN1d7E4y3xpLV2YMK8trEAF+kRfqOT+fZR84n0QFnHPBk5eOsGtfogsWNqFlUVxLuYvOe6REyDBeGCtO4lW2kE+aDIYDrK3TtpBbE2KNZIzgZvY8xHkFUM7j8rIw7EPQFvtdK7UaRm2y4YqsTsoLSpWS7rejWJry12LFeg5wMeM0ZatDWRbJtdyjlrXElPuFZ2cM2RHRLwxOaZsqi7QkK6teN2ktpBgUQIBcecwjI3ah5hkpxvDeGNd1CSyj3GZdDoxhMwomCwQxTpz9QyP9AqR81fOiJI4tuNoSp5B2kx+050UtxoM4rOuyi0l9ZN5XpPhKSQjoLaQXjItkgARfnEl0BwzVGqjT2GahTEJjYaCflUIzZOCGndoSNFY2Qp4tqFWkJyCeOcMSKVfGaUGSsRIfl4jYCipzlGgpkbSkl9PBodcN1+v6xTgRl6S6i7TZEpXLQd0QaNLrTrv8ko51J1+GgB05mUDEL2FqJe6JQa/AkzWgoeVNw4O3IYZKrzplhBAvI0pJ2d8tygI+0mrH5TfeIhqUKbdAruNavDibos6MJvAcaelygXHOHj0C9fJdFNDBgVugJ8pf8ZtIlOqw7MomI5ChIfumpkCziKzTZvpBsUIhChq8dlO68kmd4U72vUOBEWPO0fd30yua65tKnIf9W6SUMAOTgdYalqigxdiUZyWgcFBDFr3VL45rigazCYy8mi8FQc7bOUshpLSUtx7XTvlo3kQTUn4ux1XYuATDOuEqmMl5A7iNhgvM3EesrOYK+j/EgN4Rsj0UfyYRWpNmWNGvodS56TOFBCPWYnfjIOBQzSdaCTGBSevWITVEAKdV0+niV3Rk5pAtJ8Kwiak6iLnQMDcHTXK6UbsFo3EIDu9Ta2ue6jGWEaY8Lp+XTRX5JAXzGnGzI14aIZo9FBM7vgdU6NQymNMP5Kb8CpvGDmoO+T7Ml8YP4iYTW7CY/RcABnb1XSbHzvohSbE6/o7bhFSib7bwikG5fS4/v3YHyzGpy9Xz/vFi959/VBXn37gXYP9x/Nfr7g1Lq8az3mxqoYzVTI3WhzlWpmqF54kaqiX+PFOktJpj7blaY2Bp3H1vlQbVWDvBaxKWAyxeoZ/T/Ht2W51iu8Jc1ntHuGUCf4usLOvPsWeGewWeE6n9av3FxVyWs1hryvM5Nsr/H+0wzrH6kq9xOr/7astb7ovxbJSJ0qGMaIaV6tpOhGO5SLipXkef9KVCsgzLGWno/xfoHnUbWz5rlf7VlWsSduh9X7PyvLtJq+j3a2F+qv5CUumPavs/1wyA/jQ/01LvoLtf3cUR+rT9TnuM6gHqmv1GN1qEYHPx78fDPwb+973s/937p/bo1vX1rt+cj9dqn98d/eGqlsw=</latexit><latexit sha1_base64="yvHA79mCPOWvOrZPEeAIfoVv+M0=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7WPHalu1Fiyf+Sn8DSQkTnABIcSFM0hc4czrsWd245le1lGScU/16rXVa/KR/PJeLnS+vcbN1959bX37j1ZvHW2+8c3O7defL5ex8MSoPR7PJbPH4aLgsJ+Npebgarybl4/miHJ4dTcpHR8/Te8fV0uluPZ9IvVi3n59Gx4Oh2fjEfDFZae3Tl4NpiUJ6sn/cFReTqe9tfDxWL4YrMeNZ9N/956cLIYjtYmiJCPWm/WhozVNgQTN5uP7q2LrQFrG51wJLIbfDGBDGmjauMtjY+aGd0tJZMy6bY2UQTvQ5WC06yeGDPGguXUJyIJSFjmFsotTfiLXnDPkrbZGtBFLzROghASAcmHMX+MgYFwWudYLIRMahw5J3uiLqOiDRpxC2e47NYNAfTGfDyfh0uh6clcfL5+P5psYujHbOsguxXkdgQGMFHewcJGxtHkrO1ga0dWjBKMGdzlBdWIvt0m3fXO1NMN4aS1ZnDyrIaxMDfJEW6Ts+nWcXfeB8EhVwzgVPXjrCrn2JLljYhJZFcSXlLjrvkRIhw3hrDjtJFpB3mvyWA4yN46aQexNSnWSM4IGryNMcd5BFHBOI/Ly8KwD0Fb7Het1GoYtcmGK7I6KS8oVUq6345iacpfixXrOcDFnDNGW7Y2kG2ZXMk5al1LTLlXdHLOkB0R8cbkmLKpukBDurbiZPaQoJFCQTEncMwNmofYpKdbgzjXVRk8g+xkXS6cQMqNgskAU68zlMzSK0TOXzkjSuLYjqMpeQYdpMXsO9FJcaPNKDrvotBeWjeV6z0RkI6CmoH4SHbIgEU5RNfAsE1R6k29hiqURCb2Ggk5FON2DghpHWHjhSNkaWIaxdqCckFjHPGiFTymVFmrESE5OMVAoqe5hgJZq4pJfXxaHTAdfv9sk4FZugtoe42RaZw0XZEGzS60K7/JqOcS9XhowVMZ1IyxCxgayXuSYGvQJP1oCGljcND96GCq96pQRQryMKCVlf7coC/hIqx2X3iLaFCm3AK5imvx4myKOjOawHOkpcspFxzj4NEvXCfTQ0ZFLgBfqb8GbeJTKkOz6JgOgoRHrorZgo4i8w2baYbFCMQoqjFZzutJ5vcFe5o1zsQFD3uHV/PbmubapyH3cV+smlTAkIPXGZaqosTYlWQko3FQBS/1i2Na4oHsgqPvZgsBkPN2TpLIae1lLQc107at1ElB/LsZW27kAwDjKpnKeAG5j4QJzl9HrC/lCPo+xoPcELI9Fn0kE1qRZlvSrKHXuegxhQch1GN24iPjUMwkWQsygQUlrVuH1BABnFZNp4tf0ZGZQ7acCMmpuqoi5wDAXN31Cina7FbNBKD7PQ2tbruoRpjGWHC6/p10VyRQ14wpxkzN+KhGaLRQzG543dMjUIpjzH9SG7Cq7xh5KDukO+LfGH8IGI2uQmP0XMBZGxX021+7KAXmhCv6u+4RUgl+m4LpxiU0+P692N/sBifrV62i+e9e7q+7r69NsPtHu4+2D24+3vfv7+m4ez3m9qoI7VTI3UuTpTpZqFZ4naqiW+PNEkdJqjrWnao21BZ7G1ftSbVSBvewKmExOpz/HuKb092q1N8T5jLavcIp0zwd4GdfUh9sxgt8BzOq1fvT+vkNqDntdYSbfXuD/ox3WGVZX6ius/t+2vK6+1IsK3WipIphjJjm1UqKbrRDOa9YSZ73L0W1AsIca+n5GO8XeB5VO2ue+9WeZRV74nZYvf+zskyr6ftoZ3u/kpe4oJp/zrbD4d8P97Xn+OiP1Hbzy31vpAfYzrDOqB+kw9VIdqdPDwd8H/xz82/u291Pvl96vW9ObN3Z73lMvfXp/AcYXKfP</latexit><latexit sha1_base64="yvHA79mCPOWvOrZPEeAIfoVv+M0=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7WPHalu1Fiyf+Sn8DSQkTnABIcSFM0hc4czrsWd245le1lGScU/16rXVa/KR/PJeLnS+vcbN1959bX37j1ZvHW2+8c3O7defL5ex8MSoPR7PJbPH4aLgsJ+Npebgarybl4/miHJ4dTcpHR8/Te8fV0uluPZ9IvVi3n59Gx4Oh2fjEfDFZae3Tl4NpiUJ6sn/cFReTqe9tfDxWL4YrMeNZ9N/956cLIYjtYmiJCPWm/WhozVNgQTN5uP7q2LrQFrG51wJLIbfDGBDGmjauMtjY+aGd0tJZMy6bY2UQTvQ5WC06yeGDPGguXUJyIJSFjmFsotTfiLXnDPkrbZGtBFLzROghASAcmHMX+MgYFwWudYLIRMahw5J3uiLqOiDRpxC2e47NYNAfTGfDyfh0uh6clcfL5+P5psYujHbOsguxXkdgQGMFHewcJGxtHkrO1ga0dWjBKMGdzlBdWIvt0m3fXO1NMN4aS1ZnDyrIaxMDfJEW6Ts+nWcXfeB8EhVwzgVPXjrCrn2JLljYhJZFcSXlLjrvkRIhw3hrDjtJFpB3mvyWA4yN46aQexNSnWSM4IGryNMcd5BFHBOI/Ly8KwD0Fb7Het1GoYtcmGK7I6KS8oVUq6345iacpfixXrOcDFnDNGW7Y2kG2ZXMk5al1LTLlXdHLOkB0R8cbkmLKpukBDurbiZPaQoJFCQTEncMwNmofYpKdbgzjXVRk8g+xkXS6cQMqNgskAU68zlMzSK0TOXzkjSuLYjqMpeQYdpMXsO9FJcaPNKDrvotBeWjeV6z0RkI6CmoH4SHbIgEU5RNfAsE1R6k29hiqURCb2Ggk5FON2DghpHWHjhSNkaWIaxdqCckFjHPGiFTymVFmrESE5OMVAoqe5hgJZq4pJfXxaHTAdfv9sk4FZugtoe42RaZw0XZEGzS60K7/JqOcS9XhowVMZ1IyxCxgayXuSYGvQJP1oCGljcND96GCq96pQRQryMKCVlf7coC/hIqx2X3iLaFCm3AK5imvx4myKOjOawHOkpcspFxzj4NEvXCfTQ0ZFLgBfqb8GbeJTKkOz6JgOgoRHrorZgo4i8w2baYbFCMQoqjFZzutJ5vcFe5o1zsQFD3uHV/PbmubapyH3cV+smlTAkIPXGZaqosTYlWQko3FQBS/1i2Na4oHsgqPvZgsBkPN2TpLIae1lLQc107at1ElB/LsZW27kAwDjKpnKeAG5j4QJzl9HrC/lCPo+xoPcELI9Fn0kE1qRZlvSrKHXuegxhQch1GN24iPjUMwkWQsygQUlrVuH1BABnFZNp4tf0ZGZQ7acCMmpuqoi5wDAXN31Cina7FbNBKD7PQ2tbruoRpjGWHC6/p10VyRQ14wpxkzN+KhGaLRQzG543dMjUIpjzH9SG7Cq7xh5KDukO+LfGH8IGI2uQmP0XMBZGxX021+7KAXmhCv6u+4RUgl+m4LpxiU0+P692N/sBifrV62i+e9e7q+7r69NsPtHu4+2D24+3vfv7+m4ez3m9qoI7VTI3UuTpTpZqFZ4naqiW+PNEkdJqjrWnao21BZ7G1ftSbVSBvewKmExOpz/HuKb092q1N8T5jLavcIp0zwd4GdfUh9sxgt8BzOq1fvT+vkNqDntdYSbfXuD/ox3WGVZX6ius/t+2vK6+1IsK3WipIphjJjm1UqKbrRDOa9YSZ73L0W1AsIca+n5GO8XeB5VO2ue+9WeZRV74nZYvf+zskyr6ftoZ3u/kpe4oJp/zrbD4d8P97Xn+OiP1Hbzy31vpAfYzrDOqB+kw9VIdqdPDwd8H/xz82/u291Pvl96vW9ObN3Z73lMvfXp/AcYXKfP</latexit>
17807806326 203713103035
− 23405165014
203713103035 10100538629 203713103035 2562596724 203713103035
− 20657616816
203713103035 1957476176 203713103035 11632892698 203713103035
− 30848462707
203713103035 3042447147 203713103035
− 469567929
40742620607
− 926331297
40742620607
− 1221610838
40742620607
− 12553388579
203713103035 31097066916 203713103035
− 5825205336
203713103035 130624778 203713103035 18915310378 203713103035 286984762 203713103035
− 3859090862
203713103035 6143195823 203713103035 7665741127 203713103035 2076805993 40742620607 1591605402 40742620607
− 956914256
40742620607 809222740 40742620607 172501490 40742620607
− 716590790
40742620607 2784154348 203713103035
− 17109379672
203713103035
− 1441829408
203713103035
<latexit sha1_base64="CphEb5jOhsSOGLIhPMmM9fGet2g=">AHvniclVTNjtRGEC4IwxDzt4RjLlYQiAur6v/uCwLlwpFIWUBar8Dj9Q7WeuyRx4OysuaKzxSHiB3lDdIHoFbqr32CsZrWDzjmerqr76vq6q7Z8s8W9WI/1y6/MOVydXptR+D6zdu3rq9c+enF6tyXSXpXlLmZfVqFq/SPCvSvTqr8/TVskrjxSxPX86Of/XzL9+l1Sori9/rk2V6sIjnRXaUJXFNrtd3rnyK8vSo3g+jWTrPirCJqyo+2TRJkmzCJjq4qRhxiJ9teB603AUhgmGAoXabB48OsUEDRcSFdMKmRyAeh5kiEpYzd02JIiMCrKOM/mRMt0sPVcbcdHFca6cNnzI3Mk3AUetjGbasuEae3mnjCSMGSC+qs4YJW4d186Oywu0krNDZoxeYGS2mYHCDOl+5pXZKG+drJtFIrilVUvlMnNYmBOPOjCEY50wztMJuIb6uzLhSQlirzKBfD84SZ+gMau3OqXvPoyxXnBovrPwAjWXxgzL3osz65jy7nEMt9Q36jr/vqILqxw6tMO4M3HNpKAtZbkYgxhNe1Iyxi/Y8X7JaLRF5ZzY7udZ3orKjUoiH+s4bRnHJB2cCzW8C7LoOdG4oguM9wfb4ebYETW0AXg0LhthvNVgy5fYyVTUsjx8UMbTNh/B0wxAQ9SEpmuZM4InS4rC/2cKoyuZv64MweL1zD3exfcKhwTrj3pPy79t/AcDzcucjRHAIJSwhgWkUEBNdg4xrOizDwQluQ7gIZ8FVlZO5/CBgKXRMqJURM3mP6ndNov/MWNPacqzY6IZWc3oiQ7hPMSXhKrK9WtjOr1tm7x3jblpOv7YT+p91XAvy1vCWvN+K65EXjfO51HAEts0ho5yWrcdnl3Qs67YqfuXhZ1nVxLAkn7cPab4iO2kj+zqHbcyqzd3XNm7n/2R3uvHSYdw39+ldRgt3OobHd90u/kaNfgynzX4GX6Bh9ROA0/gGTyHPUgmbyZ/Tt5PkyfTufTxbQ8hV6+1MXchS+e6R/A9m1C14=</latexit><latexit sha1_base64="PVpcQPztjn9W4E9Xj7+h3Y3eM=">AHvniclVRLb9NAEF4eIWBeBY5cLBAVF6rZ9+4FgbhwBIlCpboqjumVh07chxEZeUKR/hJSFw5cUH8A/gJ3Jh17QriuhQnTmZnv/m+nZndHU3TZFYCfD9z9tz5wYXhxUve5StXr1fuXHz5SyfF1G8HuVpXmyMwlmcJlm8XiZlGm9MizicjNL41Wj/iZt/9SYuZkmevSgPpvHWJBxnyW4ShSW6tm+c/xWk8W656QejeJxkfhUWRXiwqKIoWvhVsFuEUW1AfwqztSiYsA15RQ4cLlYrD4xHgV4wIkVRKo6IBaHqAkhvF7DLECwI/yPIwTcZFUzindl+Ml0cUwqJq3SrMvcyFceAyW1osrQ7hpbeSu1QIzuIE5UpxQTN5Ypa/rlORhGIadJ8B8GE0FR0EMfLt9xCWam0dTUToAVTmCq/CGOa+OcMqv7EJQxqigYbpYQJytTJiXnxkjd6dfqUeIUrAal7DF1b3mkYZJh4/l/Fp6DYkLrbtlbcWoslc7dj2EG+4ZdZ/9XdG6kBQumG3ckrqjguKUM430QrXBPCkrZKTveLhm0MiCt5cv9PMpbYrlBCmB9HctY6nAg3OqhjdBixjTAvo0aWaueNtYeH1yGq8ACxou8xwvKrX5KuNoFJw0X+qMZtxrW7A7oYrwUJQ2zAjo8QZztDebHxTJeK/c8r3tlbuwBvXjdw3aGHcf5V+uf/r6+f2zfOUbCcgOyUlE5mRCYpKREu2UhGSGn01CZAp+rZIhb4CraSej8mCeBg7R1SMiBC9+/g7xtFm481w7DhndXSEKim+BUb65B7G5Igr0HZqfj0/r5mdt4+7qjnd2g7wf9RwTdBbkj30/iuRZ42zuVSkl1i6hwSzGlae1x2UcMyr6viVu7/kVWJDFP0OXsH5wu0ozqyrbNfx8zq3F1tw3r+R410XjeOGuyc/HSrxAbT5XZ2jXW2ZtfgOTb6ITl8LpLb5A65j+3U5BF5Sp6RdRINXg/eDT4MPg4fD8fDyTA/hJ4908TcIn89w7e/AXmnDXo=</latexit><latexit sha1_base64="PVpcQPztjn9W4E9Xj7+h3Y3eM=">AHvniclVRLb9NAEF4eIWBeBY5cLBAVF6rZ9+4FgbhwBIlCpboqjumVh07chxEZeUKR/hJSFw5cUH8A/gJ3Jh17QriuhQnTmZnv/m+nZndHU3TZFYCfD9z9tz5wYXhxUve5StXr1fuXHz5SyfF1G8HuVpXmyMwlmcJlm8XiZlGm9MizicjNL41Wj/iZt/9SYuZkmevSgPpvHWJBxnyW4ShSW6tm+c/xWk8W656QejeJxkfhUWRXiwqKIoWvhVsFuEUW1AfwqztSiYsA15RQ4cLlYrD4xHgV4wIkVRKo6IBaHqAkhvF7DLECwI/yPIwTcZFUzindl+Ml0cUwqJq3SrMvcyFceAyW1osrQ7hpbeSu1QIzuIE5UpxQTN5Ypa/rlORhGIadJ8B8GE0FR0EMfLt9xCWam0dTUToAVTmCq/CGOa+OcMqv7EJQxqigYbpYQJytTJiXnxkjd6dfqUeIUrAal7DF1b3mkYZJh4/l/Fp6DYkLrbtlbcWoslc7dj2EG+4ZdZ/9XdG6kBQumG3ckrqjguKUM430QrXBPCkrZKTveLhm0MiCt5cv9PMpbYrlBCmB9HctY6nAg3OqhjdBixjTAvo0aWaueNtYeH1yGq8ACxou8xwvKrX5KuNoFJw0X+qMZtxrW7A7oYrwUJQ2zAjo8QZztDebHxTJeK/c8r3tlbuwBvXjdw3aGHcf5V+uf/r6+f2zfOUbCcgOyUlE5mRCYpKREu2UhGSGn01CZAp+rZIhb4CraSej8mCeBg7R1SMiBC9+/g7xtFm481w7DhndXSEKim+BUb65B7G5Igr0HZqfj0/r5mdt4+7qjnd2g7wf9RwTdBbkj30/iuRZ42zuVSkl1i6hwSzGlae1x2UcMyr6viVu7/kVWJDFP0OXsH5wu0ozqyrbNfx8zq3F1tw3r+R410XjeOGuyc/HSrxAbT5XZ2jXW2ZtfgOTb6ITl8LpLb5A65j+3U5BF5Sp6RdRINXg/eDT4MPg4fD8fDyTA/hJ4908TcIn89w7e/AXmnDXo=</latexit> 64 47 −24 122 20 36 −36 140 44 66 −38 213 −13 18 −3 66 36 183 785 363 319 379 −41 −116 −299 672 −195 382 −387 344
−1
<latexit sha1_base64="c+/h1+soTiUKEzeoTtaql0ESn3I=">AEH3icjVHLbtNAFL2ueRTzSmHJZkTFiI0j21ie4MqsWFZJNJWxKHYzjQdxbEtP5AiKz/Djs9gxwqxQ/0C6A7+gDtTRwKaAGPZvnPuOWfunRsXqahqyzrTtvQrV69d375h3Lx1+87d3s69gypvyoQPkzNy6M4qngqMj6sRZ3yo6Lk0TxO+WE8eybzh295WYk8e1kvCj6eR9NMnIgkqhE63tFekTDlJ/WIhDGfioy0UVlGi2Wb4FqSgUtdj5q2S5lthyEJszxKxTRrwzmfVDNRLG2LOgNqGvhrW4rp0gBTHpzZz1jJM5lDmI8VAZsizyaoMEpZielqPyV+rVCUw36Ge/2StvzNwqMCajheQE2XbSiCYZV2ENCBZ1OTBRu8fNuQzXgUj3XdtdW+bk2NI57u1bfUotcDlgX7O4dnL9/AwD7e8LhDCBHBJoYA4cMqgxTiGCp8RMLCgQGwMLWIlRkLlOSzBQG2DLI6MCNEZfqe4G3VohnvpWSl1gqek+JaoJPAINTnySozlaUTlG+Us0U3erfKUtS3wH3dec0RrOEX0X7oV8391spcaTsBXPQjsqVCI7C7pXBp1K7Jy8ktXNToUiMl4gvkS40QpV/dMlKZSvcu7jVT+m2JKVO6TjtvAuawSB8z+HOflYGj3g71Agf9FC7WNjyAh/AYx+nBHjyHfRhCon3QvmrftR/6O/2j/kn/fEHd0jrNfht6Wc/AbBuA4I=</latexit><latexit sha1_base64="iIZmBYQkw0knGAFHxshegtRWQ=">AEH3icjVFNb9NAEB3XfBTz0RSOXFZUrLg48tomti+oEheORSJtRyK42zTVRzb8gdSZOXPcOMPcOfGCXFD/QXQGxw5IDG7dSgCbCW7dk372d2RnliSgryzrVNvRLl69c3bxmXL9x89ZWZ/v2fpnVRcz7cZkxeEoKnkiUt6vRJXw7zg0WyU8IPR9LHMH7ziRSmy9Fk1z/lwFk1ScSziqELoaFt7TsKEH1cDEo74RKSkiYoimi+aGNeC9FzqetS0XcpsOwxJmGZRIiZpE874uJyKfGFb1OlR08APc62VFNelPaQ4PrWZs5JhMocyHykGMkOejpdlkLAQk5NqSP5apSqB+Q71/Icr/Z2eQx0WUMPxAmq6bE0RDKu0g4D2PJuaLFj5duGbMajeKzrqz2RWOyhXHU2bG6lrkYsDaYGd3/+zNy7f+xlnU8QwhgyiKGXBIocI4gQhKfAbAwIcsSE0iBUYCZXnsADtTWyODIiRKf4neBu0KIp7qVnqdQxnpLgW6CSwH3UZMgrMJanEZWvlbNE13k3ylPWNsf/qPWaIVrBCaL/0i2Z/6uTvVRwDL7qQWBPuUJkd3HrUqtbkZWTX7q0CFHTMZjzBcYx0q5vGeiNKXqXd5tpPJfFOich+3BrOZJU4YPbnOC8GfbsbdK2nOhHcL424S7cgwc4Tg924QnsQR9i7Z32WfuqfdNf6+/1D/rHc+qG1mruwG9LP/0Ji20GLg=</latexit><latexit sha1_base64="iIZmBYQkw0knGAFHxshegtRWQ=">AEH3icjVFNb9NAEB3XfBTz0RSOXFZUrLg48tomti+oEheORSJtRyK42zTVRzb8gdSZOXPcOMPcOfGCXFD/QXQGxw5IDG7dSgCbCW7dk372d2RnliSgryzrVNvRLl69c3bxmXL9x89ZWZ/v2fpnVRcz7cZkxeEoKnkiUt6vRJXw7zg0WyU8IPR9LHMH7ziRSmy9Fk1z/lwFk1ScSziqELoaFt7TsKEH1cDEo74RKSkiYoimi+aGNeC9FzqetS0XcpsOwxJmGZRIiZpE874uJyKfGFb1OlR08APc62VFNelPaQ4PrWZs5JhMocyHykGMkOejpdlkLAQk5NqSP5apSqB+Q71/Icr/Z2eQx0WUMPxAmq6bE0RDKu0g4D2PJuaLFj5duGbMajeKzrqz2RWOyhXHU2bG6lrkYsDaYGd3/+zNy7f+xlnU8QwhgyiKGXBIocI4gQhKfAbAwIcsSE0iBUYCZXnsADtTWyODIiRKf4neBu0KIp7qVnqdQxnpLgW6CSwH3UZMgrMJanEZWvlbNE13k3ylPWNsf/qPWaIVrBCaL/0i2Z/6uTvVRwDL7qQWBPuUJkd3HrUqtbkZWTX7q0CFHTMZjzBcYx0q5vGeiNKXqXd5tpPJfFOich+3BrOZJU4YPbnOC8GfbsbdK2nOhHcL424S7cgwc4Tg924QnsQR9i7Z32WfuqfdNf6+/1D/rHc+qG1mruwG9LP/0Ji20GLg=</latexit> − 378816900
3134047739
− 20495829114
203713103035
− 67053094413
203713103035 9396074080 40742620607
− 58841813322
203713103035 8641632698 203713103035 1176300782 10721742265
− 305542579
3134047739
− 11872538116
203713103035
− 49238615442
203713103035 8998738354 40742620607
− 48926872543
203713103035 17364341402 203713103035 1603975448 10721742265
− 595667827
3134047739
− 34850589482
203713103035
− 93065264584
203713103035 16395446499 40742620607
− 99757356861
203713103035 26770440759 203713103035 2467702816 10721742265
− 74008954
3134047739
− 2169888633
40742620607
− 4053804427
40742620607 4874154765 40742620607
− 4349067980
40742620607 3634590188 40742620607 195062702 2144348453 239765981 3134047739 17661126586 203713103035 60948870672 203713103035
− 8711085182
40742620607 62978493878 203713103035
− 12358170402
203713103035
− 1419405818
10721742265 153069150 3134047739 4228351328 203713103035 32680318171 203713103035
− 4551698694
40742620607 28277713354 203713103035
− 20658574316
203713103035
− 564797499
10721742265 86854607 3134047739
−
64708557 203713103035 18276747571 203713103035
− 2331953340
40742620607 21325207739 203713103035
− 11479047526
203713103035
− 708058399
10721742265 84711069 3134047739 2041415721 40742620607 5533800772 40742620607
− 3120400038
40742620607 4453203683 40742620607
− 2490245417
40742620607
− 159017671
2144348453
− 115733957
3134047739
− 916054792
40742620607
− 1171020887
40742620607
− 309781915
40742620607
− 135778185
40742620607
− 1372889107
40742620607 7348981 2144348453
− 285726486
3134047739
− 15441589322
203713103035
− 55992257474
203713103035 8792979720 40742620607
− 51532000881
203713103035 15442993054 203713103035 1128412236 10721742265
<latexit sha1_base64="wbT8zj1F1taD2sgQ7I8T2ZpDdN4=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7sdZrW7YXKbL8e/gbnDjBCSHEhTNIXOHM67FnduOZXtZRknFP9euq1WvykfzyXi50vr3W7fePOt9+5827x3vsfHNzt3fvw2+XsYjEqD0ezyWzx9Gi4LCfjaXm4Gq8m5dP5ohyeH03KJ0dnX6b3T74rF8vxbPrN6tW8fH4+PJ2OT8aj4QpL+4dvBhMypPVs/7gqDwdT/vr4WIxfLVZj5rPpv9gPThZDEdrE0TIR603a0PGahuCiZvNZw/WxdaAtY1OBLZDb6YQIa0cZVRlsbH7QzOlpLpmVT7GyiV4HqwUnWTywZ42FKyhOxJKQMcwtlNob8Za8YR+lbK1IAreaB0EIKQDE45ifxWDguC1TjDZiBhUOPJOd0RdR0SaNOIWz3HfZjDoD6az4WR8Ol0Pzsvj5dl4vqmxC6Ods+xCbHFehyCBAUyUd7CwkXE0OWs72NqRFaMEI8bZHOWFlcg+nWbN1d7E4y3xpLV2YMK8trEAF+kRfqOT+fZR84n0QFnHPBk5eOsGtfogsWNqFlUVxLuYvOe6REyDBeGCtO4lW2kE+aDIYDrK3TtpBbE2KNZIzgZvY8xHkFUM7j8rIw7EPQFvtdK7UaRm2y4YqsTsoLSpWS7rejWJry12LFeg5wMeM0ZatDWRbJtdyjlrXElPuFZ2cM2RHRLwxOaZsqi7QkK6teN2ktpBgUQIBcecwjI3ah5hkpxvDeGNd1CSyj3GZdDoxhMwomCwQxTpz9QyP9AqR81fOiJI4tuNoSp5B2kx+050UtxoM4rOuyi0l9ZN5XpPhKSQjoLaQXjItkgARfnEl0BwzVGqjT2GahTEJjYaCflUIzZOCGndoSNFY2Qp4tqFWkJyCeOcMSKVfGaUGSsRIfl4jYCipzlGgpkbSkl9PBodcN1+v6xTgRl6S6i7TZEpXLQd0QaNLrTrv8ko51J1+GgB05mUDEL2FqJe6JQa/AkzWgoeVNw4O3IYZKrzplhBAvI0pJ2d8tygI+0mrH5TfeIhqUKbdAruNavDibos6MJvAcaelygXHOHj0C9fJdFNDBgVugJ8pf8ZtIlOqw7MomI5ChIfumpkCziKzTZvpBsUIhChq8dlO68kmd4U72vUOBEWPO0fd30yua65tKnIf9W6SUMAOTgdYalqigxdiUZyWgcFBDFr3VL45rigazCYy8mi8FQc7bOUshpLSUtx7XTvlo3kQTUn4ux1XYuATDOuEqmMl5A7iNhgvM3EesrOYK+j/EgN4Rsj0UfyYRWpNmWNGvodS56TOFBCPWYnfjIOBQzSdaCTGBSevWITVEAKdV0+niV3Rk5pAtJ8Kwiak6iLnQMDcHTXK6UbsFo3EIDu9Ta2ue6jGWEaY8Lp+XTRX5JAXzGnGzI14aIZo9FBM7vgdU6NQymNMP5Kb8CpvGDmoO+T7Ml8YP4iYTW7CY/RcABnb1XSbHzvohSbE6/o7bhFSib7bwikG5fS4/v3YHyzGpy9Xz/vFi959/VBXn37gXYP9x/Nfr7g1Lq8az3mxqoYzVTI3WhzlWpmqF54kaqiX+PFOktJpj7blaY2Bp3H1vlQbVWDvBaxKWAyxeoZ/T/Ht2W51iu8Jc1ntHuGUCf4usLOvPsWeGewWeE6n9av3FxVyWs1hryvM5Nsr/H+0wzrH6kq9xOr/7astb7ovxbJSJ0qGMaIaV6tpOhGO5SLipXkef9KVCsgzLGWno/xfoHnUbWz5rlf7VlWsSduh9X7PyvLtJq+j3a2F+qv5CUumPavs/1wyA/jQ/01LvoLtf3cUR+rT9TnuM6gHqmv1GN1qEYHPx78fDPwb+973s/937p/bo1vX1rt+cj9dqn98d/eGqlsw=</latexit><latexit sha1_base64="yvHA79mCPOWvOrZPEeAIfoVv+M0=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7WPHalu1Fiyf+Sn8DSQkTnABIcSFM0hc4czrsWd245le1lGScU/16rXVa/KR/PJeLnS+vcbN1959bX37j1ZvHW2+8c3O7defL5ex8MSoPR7PJbPH4aLgsJ+Npebgarybl4/miHJ4dTcpHR8/Te8fV0uluPZ9IvVi3n59Gx4Oh2fjEfDFZae3Tl4NpiUJ6sn/cFReTqe9tfDxWL4YrMeNZ9N/956cLIYjtYmiJCPWm/WhozVNgQTN5uP7q2LrQFrG51wJLIbfDGBDGmjauMtjY+aGd0tJZMy6bY2UQTvQ5WC06yeGDPGguXUJyIJSFjmFsotTfiLXnDPkrbZGtBFLzROghASAcmHMX+MgYFwWudYLIRMahw5J3uiLqOiDRpxC2e47NYNAfTGfDyfh0uh6clcfL5+P5psYujHbOsguxXkdgQGMFHewcJGxtHkrO1ga0dWjBKMGdzlBdWIvt0m3fXO1NMN4aS1ZnDyrIaxMDfJEW6Ts+nWcXfeB8EhVwzgVPXjrCrn2JLljYhJZFcSXlLjrvkRIhw3hrDjtJFpB3mvyWA4yN46aQexNSnWSM4IGryNMcd5BFHBOI/Ly8KwD0Fb7Het1GoYtcmGK7I6KS8oVUq6345iacpfixXrOcDFnDNGW7Y2kG2ZXMk5al1LTLlXdHLOkB0R8cbkmLKpukBDurbiZPaQoJFCQTEncMwNmofYpKdbgzjXVRk8g+xkXS6cQMqNgskAU68zlMzSK0TOXzkjSuLYjqMpeQYdpMXsO9FJcaPNKDrvotBeWjeV6z0RkI6CmoH4SHbIgEU5RNfAsE1R6k29hiqURCb2Ggk5FON2DghpHWHjhSNkaWIaxdqCckFjHPGiFTymVFmrESE5OMVAoqe5hgJZq4pJfXxaHTAdfv9sk4FZugtoe42RaZw0XZEGzS60K7/JqOcS9XhowVMZ1IyxCxgayXuSYGvQJP1oCGljcND96GCq96pQRQryMKCVlf7coC/hIqx2X3iLaFCm3AK5imvx4myKOjOawHOkpcspFxzj4NEvXCfTQ0ZFLgBfqb8GbeJTKkOz6JgOgoRHrorZgo4i8w2baYbFCMQoqjFZzutJ5vcFe5o1zsQFD3uHV/PbmubapyH3cV+smlTAkIPXGZaqosTYlWQko3FQBS/1i2Na4oHsgqPvZgsBkPN2TpLIae1lLQc107at1ElB/LsZW27kAwDjKpnKeAG5j4QJzl9HrC/lCPo+xoPcELI9Fn0kE1qRZlvSrKHXuegxhQch1GN24iPjUMwkWQsygQUlrVuH1BABnFZNp4tf0ZGZQ7acCMmpuqoi5wDAXN31Cina7FbNBKD7PQ2tbruoRpjGWHC6/p10VyRQ14wpxkzN+KhGaLRQzG543dMjUIpjzH9SG7Cq7xh5KDukO+LfGH8IGI2uQmP0XMBZGxX021+7KAXmhCv6u+4RUgl+m4LpxiU0+P692N/sBifrV62i+e9e7q+7r69NsPtHu4+2D24+3vfv7+m4ez3m9qoI7VTI3UuTpTpZqFZ4naqiW+PNEkdJqjrWnao21BZ7G1ftSbVSBvewKmExOpz/HuKb092q1N8T5jLavcIp0zwd4GdfUh9sxgt8BzOq1fvT+vkNqDntdYSbfXuD/ox3WGVZX6ius/t+2vK6+1IsK3WipIphjJjm1UqKbrRDOa9YSZ73L0W1AsIca+n5GO8XeB5VO2ue+9WeZRV74nZYvf+zskyr6ftoZ3u/kpe4oJp/zrbD4d8P97Xn+OiP1Hbzy31vpAfYzrDOqB+kw9VIdqdPDwd8H/xz82/u291Pvl96vW9ObN3Z73lMvfXp/AcYXKfP</latexit><latexit sha1_base64="yvHA79mCPOWvOrZPEeAIfoVv+M0=">ARJHicjVdNjxtFEO2ErzDAxoEjF4sIxCVRV/VX9QVF4sIxSCyJFEeR1zu7WPHalu1Fiyf+Sn8DSQkTnABIcSFM0hc4czrsWd245le1lGScU/16rXVa/KR/PJeLnS+vcbN1959bX37j1ZvHW2+8c3O7defL5ex8MSoPR7PJbPH4aLgsJ+Npebgarybl4/miHJ4dTcpHR8/Te8fV0uluPZ9IvVi3n59Gx4Oh2fjEfDFZae3Tl4NpiUJ6sn/cFReTqe9tfDxWL4YrMeNZ9N/956cLIYjtYmiJCPWm/WhozVNgQTN5uP7q2LrQFrG51wJLIbfDGBDGmjauMtjY+aGd0tJZMy6bY2UQTvQ5WC06yeGDPGguXUJyIJSFjmFsotTfiLXnDPkrbZGtBFLzROghASAcmHMX+MgYFwWudYLIRMahw5J3uiLqOiDRpxC2e47NYNAfTGfDyfh0uh6clcfL5+P5psYujHbOsguxXkdgQGMFHewcJGxtHkrO1ga0dWjBKMGdzlBdWIvt0m3fXO1NMN4aS1ZnDyrIaxMDfJEW6Ts+nWcXfeB8EhVwzgVPXjrCrn2JLljYhJZFcSXlLjrvkRIhw3hrDjtJFpB3mvyWA4yN46aQexNSnWSM4IGryNMcd5BFHBOI/Ly8KwD0Fb7Het1GoYtcmGK7I6KS8oVUq6345iacpfixXrOcDFnDNGW7Y2kG2ZXMk5al1LTLlXdHLOkB0R8cbkmLKpukBDurbiZPaQoJFCQTEncMwNmofYpKdbgzjXVRk8g+xkXS6cQMqNgskAU68zlMzSK0TOXzkjSuLYjqMpeQYdpMXsO9FJcaPNKDrvotBeWjeV6z0RkI6CmoH4SHbIgEU5RNfAsE1R6k29hiqURCb2Ggk5FON2DghpHWHjhSNkaWIaxdqCckFjHPGiFTymVFmrESE5OMVAoqe5hgJZq4pJfXxaHTAdfv9sk4FZugtoe42RaZw0XZEGzS60K7/JqOcS9XhowVMZ1IyxCxgayXuSYGvQJP1oCGljcND96GCq96pQRQryMKCVlf7coC/hIqx2X3iLaFCm3AK5imvx4myKOjOawHOkpcspFxzj4NEvXCfTQ0ZFLgBfqb8GbeJTKkOz6JgOgoRHrorZgo4i8w2baYbFCMQoqjFZzutJ5vcFe5o1zsQFD3uHV/PbmubapyH3cV+smlTAkIPXGZaqosTYlWQko3FQBS/1i2Na4oHsgqPvZgsBkPN2TpLIae1lLQc107at1ElB/LsZW27kAwDjKpnKeAG5j4QJzl9HrC/lCPo+xoPcELI9Fn0kE1qRZlvSrKHXuegxhQch1GN24iPjUMwkWQsygQUlrVuH1BABnFZNp4tf0ZGZQ7acCMmpuqoi5wDAXN31Cina7FbNBKD7PQ2tbruoRpjGWHC6/p10VyRQ14wpxkzN+KhGaLRQzG543dMjUIpjzH9SG7Cq7xh5KDukO+LfGH8IGI2uQmP0XMBZGxX021+7KAXmhCv6u+4RUgl+m4LpxiU0+P692N/sBifrV62i+e9e7q+7r69NsPtHu4+2D24+3vfv7+m4ez3m9qoI7VTI3UuTpTpZqFZ4naqiW+PNEkdJqjrWnao21BZ7G1ftSbVSBvewKmExOpz/HuKb092q1N8T5jLavcIp0zwd4GdfUh9sxgt8BzOq1fvT+vkNqDntdYSbfXuD/ox3WGVZX6ius/t+2vK6+1IsK3WipIphjJjm1UqKbrRDOa9YSZ73L0W1AsIca+n5GO8XeB5VO2ue+9WeZRV74nZYvf+zskyr6ftoZ3u/kpe4oJp/zrbD4d8P97Xn+OiP1Hbzy31vpAfYzrDOqB+kw9VIdqdPDwd8H/xz82/u291Pvl96vW9ObN3Z73lMvfXp/AcYXKfP</latexit>
17807806326 203713103035
− 23405165014
203713103035 10100538629 203713103035 2562596724 203713103035
− 20657616816
203713103035 1957476176 203713103035 11632892698 203713103035
− 30848462707
203713103035 3042447147 203713103035
− 469567929
40742620607
− 926331297
40742620607
− 1221610838
40742620607
− 12553388579
203713103035 31097066916 203713103035
− 5825205336
203713103035 130624778 203713103035 18915310378 203713103035 286984762 203713103035
− 3859090862
203713103035 6143195823 203713103035 7665741127 203713103035 2076805993 40742620607 1591605402 40742620607
− 956914256
40742620607 809222740 40742620607 172501490 40742620607
− 716590790
40742620607 2784154348 203713103035
− 17109379672
203713103035
− 1441829408
203713103035
<latexit sha1_base64="CphEb5jOhsSOGLIhPMmM9fGet2g=">AHvniclVTNjtRGEC4IwxDzt4RjLlYQiAur6v/uCwLlwpFIWUBar8Dj9Q7WeuyRx4OysuaKzxSHiB3lDdIHoFbqr32CsZrWDzjmerqr76vq6q7Z8s8W9WI/1y6/MOVydXptR+D6zdu3rq9c+enF6tyXSXpXlLmZfVqFq/SPCvSvTqr8/TVskrjxSxPX86Of/XzL9+l1Sori9/rk2V6sIjnRXaUJXFNrtd3rnyK8vSo3g+jWTrPirCJqyo+2TRJkmzCJjq4qRhxiJ9teB603AUhgmGAoXabB48OsUEDRcSFdMKmRyAeh5kiEpYzd02JIiMCrKOM/mRMt0sPVcbcdHFca6cNnzI3Mk3AUetjGbasuEae3mnjCSMGSC+qs4YJW4d186Oywu0krNDZoxeYGS2mYHCDOl+5pXZKG+drJtFIrilVUvlMnNYmBOPOjCEY50wztMJuIb6uzLhSQlirzKBfD84SZ+gMau3OqXvPoyxXnBovrPwAjWXxgzL3osz65jy7nEMt9Q36jr/vqILqxw6tMO4M3HNpKAtZbkYgxhNe1Iyxi/Y8X7JaLRF5ZzY7udZ3orKjUoiH+s4bRnHJB2cCzW8C7LoOdG4oguM9wfb4ebYETW0AXg0LhthvNVgy5fYyVTUsjx8UMbTNh/B0wxAQ9SEpmuZM4InS4rC/2cKoyuZv64MweL1zD3exfcKhwTrj3pPy79t/AcDzcucjRHAIJSwhgWkUEBNdg4xrOizDwQluQ7gIZ8FVlZO5/CBgKXRMqJURM3mP6ndNov/MWNPacqzY6IZWc3oiQ7hPMSXhKrK9WtjOr1tm7x3jblpOv7YT+p91XAvy1vCWvN+K65EXjfO51HAEts0ho5yWrcdnl3Qs67YqfuXhZ1nVxLAkn7cPab4iO2kj+zqHbcyqzd3XNm7n/2R3uvHSYdw39+ldRgt3OobHd90u/kaNfgynzX4GX6Bh9ROA0/gGTyHPUgmbyZ/Tt5PkyfTufTxbQ8hV6+1MXchS+e6R/A9m1C14=</latexit><latexit sha1_base64="PVpcQPztjn9W4E9Xj7+h3Y3eM=">AHvniclVRLb9NAEF4eIWBeBY5cLBAVF6rZ9+4FgbhwBIlCpboqjumVh07chxEZeUKR/hJSFw5cUH8A/gJ3Jh17QriuhQnTmZnv/m+nZndHU3TZFYCfD9z9tz5wYXhxUve5StXr1fuXHz5SyfF1G8HuVpXmyMwlmcJlm8XiZlGm9MizicjNL41Wj/iZt/9SYuZkmevSgPpvHWJBxnyW4ShSW6tm+c/xWk8W656QejeJxkfhUWRXiwqKIoWvhVsFuEUW1AfwqztSiYsA15RQ4cLlYrD4xHgV4wIkVRKo6IBaHqAkhvF7DLECwI/yPIwTcZFUzindl+Ml0cUwqJq3SrMvcyFceAyW1osrQ7hpbeSu1QIzuIE5UpxQTN5Ypa/rlORhGIadJ8B8GE0FR0EMfLt9xCWam0dTUToAVTmCq/CGOa+OcMqv7EJQxqigYbpYQJytTJiXnxkjd6dfqUeIUrAal7DF1b3mkYZJh4/l/Fp6DYkLrbtlbcWoslc7dj2EG+4ZdZ/9XdG6kBQumG3ckrqjguKUM430QrXBPCkrZKTveLhm0MiCt5cv9PMpbYrlBCmB9HctY6nAg3OqhjdBixjTAvo0aWaueNtYeH1yGq8ACxou8xwvKrX5KuNoFJw0X+qMZtxrW7A7oYrwUJQ2zAjo8QZztDebHxTJeK/c8r3tlbuwBvXjdw3aGHcf5V+uf/r6+f2zfOUbCcgOyUlE5mRCYpKREu2UhGSGn01CZAp+rZIhb4CraSej8mCeBg7R1SMiBC9+/g7xtFm481w7DhndXSEKim+BUb65B7G5Igr0HZqfj0/r5mdt4+7qjnd2g7wf9RwTdBbkj30/iuRZ42zuVSkl1i6hwSzGlae1x2UcMyr6viVu7/kVWJDFP0OXsH5wu0ozqyrbNfx8zq3F1tw3r+R410XjeOGuyc/HSrxAbT5XZ2jXW2ZtfgOTb6ITl8LpLb5A65j+3U5BF5Sp6RdRINXg/eDT4MPg4fD8fDyTA/hJ4908TcIn89w7e/AXmnDXo=</latexit><latexit sha1_base64="PVpcQPztjn9W4E9Xj7+h3Y3eM=">AHvniclVRLb9NAEF4eIWBeBY5cLBAVF6rZ9+4FgbhwBIlCpboqjumVh07chxEZeUKR/hJSFw5cUH8A/gJ3Jh17QriuhQnTmZnv/m+nZndHU3TZFYCfD9z9tz5wYXhxUve5StXr1fuXHz5SyfF1G8HuVpXmyMwlmcJlm8XiZlGm9MizicjNL41Wj/iZt/9SYuZkmevSgPpvHWJBxnyW4ShSW6tm+c/xWk8W656QejeJxkfhUWRXiwqKIoWvhVsFuEUW1AfwqztSiYsA15RQ4cLlYrD4xHgV4wIkVRKo6IBaHqAkhvF7DLECwI/yPIwTcZFUzindl+Ml0cUwqJq3SrMvcyFceAyW1osrQ7hpbeSu1QIzuIE5UpxQTN5Ypa/rlORhGIadJ8B8GE0FR0EMfLt9xCWam0dTUToAVTmCq/CGOa+OcMqv7EJQxqigYbpYQJytTJiXnxkjd6dfqUeIUrAal7DF1b3mkYZJh4/l/Fp6DYkLrbtlbcWoslc7dj2EG+4ZdZ/9XdG6kBQumG3ckrqjguKUM430QrXBPCkrZKTveLhm0MiCt5cv9PMpbYrlBCmB9HctY6nAg3OqhjdBixjTAvo0aWaueNtYeH1yGq8ACxou8xwvKrX5KuNoFJw0X+qMZtxrW7A7oYrwUJQ2zAjo8QZztDebHxTJeK/c8r3tlbuwBvXjdw3aGHcf5V+uf/r6+f2zfOUbCcgOyUlE5mRCYpKREu2UhGSGn01CZAp+rZIhb4CraSej8mCeBg7R1SMiBC9+/g7xtFm481w7DhndXSEKim+BUb65B7G5Igr0HZqfj0/r5mdt4+7qjnd2g7wf9RwTdBbkj30/iuRZ42zuVSkl1i6hwSzGlae1x2UcMyr6viVu7/kVWJDFP0OXsH5wu0ozqyrbNfx8zq3F1tw3r+R410XjeOGuyc/HSrxAbT5XZ2jXW2ZtfgOTb6ITl8LpLb5A65j+3U5BF5Sp6RdRINXg/eDT4MPg4fD8fDyTA/hJ4908TcIn89w7e/AXmnDXo=</latexit> 64 47 −24 122 20 36 −36 140 44 66 −38 213 −13 18 −3 66 36 183 785 363 319 379 −41 −116 −299 672 −195 382 −387 344
−1
<latexit sha1_base64="c+/h1+soTiUKEzeoTtaql0ESn3I=">AEH3icjVHLbtNAFL2ueRTzSmHJZkTFiI0j21ie4MqsWFZJNJWxKHYzjQdxbEtP5AiKz/Djs9gxwqxQ/0C6A7+gDtTRwKaAGPZvnPuOWfunRsXqahqyzrTtvQrV69d375h3Lx1+87d3s69gypvyoQPkzNy6M4qngqMj6sRZ3yo6Lk0TxO+WE8eybzh295WYk8e1kvCj6eR9NMnIgkqhE63tFekTDlJ/WIhDGfioy0UVlGi2Wb4FqSgUtdj5q2S5lthyEJszxKxTRrwzmfVDNRLG2LOgNqGvhrW4rp0gBTHpzZz1jJM5lDmI8VAZsizyaoMEpZielqPyV+rVCUw36Ge/2StvzNwqMCajheQE2XbSiCYZV2ENCBZ1OTBRu8fNuQzXgUj3XdtdW+bk2NI57u1bfUotcDlgX7O4dnL9/AwD7e8LhDCBHBJoYA4cMqgxTiGCp8RMLCgQGwMLWIlRkLlOSzBQG2DLI6MCNEZfqe4G3VohnvpWSl1gqek+JaoJPAINTnySozlaUTlG+Us0U3erfKUtS3wH3dec0RrOEX0X7oV8391spcaTsBXPQjsqVCI7C7pXBp1K7Jy8ktXNToUiMl4gvkS40QpV/dMlKZSvcu7jVT+m2JKVO6TjtvAuawSB8z+HOflYGj3g71Agf9FC7WNjyAh/AYx+nBHjyHfRhCon3QvmrftR/6O/2j/kn/fEHd0jrNfht6Wc/AbBuA4I=</latexit><latexit sha1_base64="iIZmBYQkw0knGAFHxshegtRWQ=">AEH3icjVFNb9NAEB3XfBTz0RSOXFZUrLg48tomti+oEheORSJtRyK42zTVRzb8gdSZOXPcOMPcOfGCXFD/QXQGxw5IDG7dSgCbCW7dk372d2RnliSgryzrVNvRLl69c3bxmXL9x89ZWZ/v2fpnVRcz7cZkxeEoKnkiUt6vRJXw7zg0WyU8IPR9LHMH7ziRSmy9Fk1z/lwFk1ScSziqELoaFt7TsKEH1cDEo74RKSkiYoimi+aGNeC9FzqetS0XcpsOwxJmGZRIiZpE874uJyKfGFb1OlR08APc62VFNelPaQ4PrWZs5JhMocyHykGMkOejpdlkLAQk5NqSP5apSqB+Q71/Icr/Z2eQx0WUMPxAmq6bE0RDKu0g4D2PJuaLFj5duGbMajeKzrqz2RWOyhXHU2bG6lrkYsDaYGd3/+zNy7f+xlnU8QwhgyiKGXBIocI4gQhKfAbAwIcsSE0iBUYCZXnsADtTWyODIiRKf4neBu0KIp7qVnqdQxnpLgW6CSwH3UZMgrMJanEZWvlbNE13k3ylPWNsf/qPWaIVrBCaL/0i2Z/6uTvVRwDL7qQWBPuUJkd3HrUqtbkZWTX7q0CFHTMZjzBcYx0q5vGeiNKXqXd5tpPJfFOich+3BrOZJU4YPbnOC8GfbsbdK2nOhHcL424S7cgwc4Tg924QnsQR9i7Z32WfuqfdNf6+/1D/rHc+qG1mruwG9LP/0Ji20GLg=</latexit><latexit sha1_base64="iIZmBYQkw0knGAFHxshegtRWQ=">AEH3icjVFNb9NAEB3XfBTz0RSOXFZUrLg48tomti+oEheORSJtRyK42zTVRzb8gdSZOXPcOMPcOfGCXFD/QXQGxw5IDG7dSgCbCW7dk372d2RnliSgryzrVNvRLl69c3bxmXL9x89ZWZ/v2fpnVRcz7cZkxeEoKnkiUt6vRJXw7zg0WyU8IPR9LHMH7ziRSmy9Fk1z/lwFk1ScSziqELoaFt7TsKEH1cDEo74RKSkiYoimi+aGNeC9FzqetS0XcpsOwxJmGZRIiZpE874uJyKfGFb1OlR08APc62VFNelPaQ4PrWZs5JhMocyHykGMkOejpdlkLAQk5NqSP5apSqB+Q71/Icr/Z2eQx0WUMPxAmq6bE0RDKu0g4D2PJuaLFj5duGbMajeKzrqz2RWOyhXHU2bG6lrkYsDaYGd3/+zNy7f+xlnU8QwhgyiKGXBIocI4gQhKfAbAwIcsSE0iBUYCZXnsADtTWyODIiRKf4neBu0KIp7qVnqdQxnpLgW6CSwH3UZMgrMJanEZWvlbNE13k3ylPWNsf/qPWaIVrBCaL/0i2Z/6uTvVRwDL7qQWBPuUJkd3HrUqtbkZWTX7q0CFHTMZjzBcYx0q5vGeiNKXqXd5tpPJfFOich+3BrOZJU4YPbnOC8GfbsbdK2nOhHcL424S7cgwc4Tg924QnsQR9i7Z32WfuqfdNf6+/1D/rHc+qG1mruwG9LP/0Ji20GLg=</latexit>S(x)−1 = 1 1 1 1 1
<latexit sha1_base64="HN/lGrH9cVaBnokBFSgYViUq65c=">ADs3icjVFNb9QwEJ0fJTwtZQjF4uKqhxYJRUCeiqxIVjEYRWi+V43hTax0nchzUVZQb/EbUfwAn/gJjb1YCKraMlWT85r0XjyerlWxsHF8EG+G16zdubt6Kbt+5e+/+6MHWx6ZqDRcpr1RlTjLWCW1SK20SpzURrAyU+I4m79x9ePwjSy0h/sohbTkhVaziRnFqHT0U/yfvf86afuWdIfRFSJmZ0QmolCatIxY9i7iPnsQ7yU68XJQSqiumZKE7Woq8mcu6dxVkRGsJg8ma+tJkLQEpV9TRQOh81QKhRhZndkqi6HS0HY9jH+RykgzJ9mH2/IAwFE1+gYUcqiAQwslCNBgMVfAoME1gQRiqBGbQoeYwUz6uoAeItS2yBLIYIjO8V3gbjKgGvfOs/Fqjn9R+BhUEniCmgp5BnP3N+LrXd26L+8O+/pzrbAbzZ4lYhaOEP0Kt2K+b8614uFGbzyPUjsqfaI64PLq2/FXdy8ltXFh1qxFyeY91gzr1ydc/Eaxrfu7tb5uvfPdOhbs8Hbgs/3ClxwMnf47ycpHvj/XH8Dgf9GpaxCY/gMeziOF/CIbyFI0iB2nQBV+Cr+GLkIZmC+pG8GgeQh/RFj+An1Z3P0=</latexit><latexit sha1_base64="xCK/gyWK3vu/TmcZbkC4UDyM=">ADs3icjVFNb9QwEJ0fJTwtcCRi6GiKgdWCUItHECVuHAsgtBK6VyHG9qreNEjoNYRbnRv8ZfQP0HcOIvMPZmJaBiy1hJxm/e/F4slrJxsbxWbARXrp85ermtej6jZu3bo/u3P3QVK3hIuWVqsxRxhqhpBaplVaJo9oIVmZKHGbz165+EmYRlb6vV3UYlqyQsuZ5MwidDz6Sd7tfH78sXuS9C8jqsTMTgjNRCE16ZgxbNF3EdP4u1kO14uSgnVFVOy0B0tRd7MZd27CjKitYTBZE19abKWgJQL6mgdL5qgVAjixM7JVF0PNqKx7EPcj5JhmRrP3t29iA8/XpQjb4BhRwq4NBCQI0WMwVMGhwTSCBGrEptAhZjCTvi6ghwi1LbIEMhic3wXuJsMqMa982y8muNfFD4GlQeoaZCnsHc/Y34eudHfov7857urMt8JsNXiWiFk4QvUi3Yv6vzvViYQbPfQ8Se6o94rjg0vrb8WdnPzWlUWHGjGX51g3mHOvXN0z8ZrG9+7ulvn6d890qNvzgdvCD3dKHDy9zjPJ+nT8Ytx/BYH/QqWsQn34SHs4Dj3YB/ewAGkwIM06IvwWm4G9IwC/MldSMYNPfgjwjLX1rk3kw=</latexit><latexit sha1_base64="xCK/gyWK3vu/TmcZbkC4UDyM=">ADs3icjVFNb9QwEJ0fJTwtcCRi6GiKgdWCUItHECVuHAsgtBK6VyHG9qreNEjoNYRbnRv8ZfQP0HcOIvMPZmJaBiy1hJxm/e/F4slrJxsbxWbARXrp85ermtej6jZu3bo/u3P3QVK3hIuWVqsxRxhqhpBaplVaJo9oIVmZKHGbz165+EmYRlb6vV3UYlqyQsuZ5MwidDz6Sd7tfH78sXuS9C8jqsTMTgjNRCE16ZgxbNF3EdP4u1kO14uSgnVFVOy0B0tRd7MZd27CjKitYTBZE19abKWgJQL6mgdL5qgVAjixM7JVF0PNqKx7EPcj5JhmRrP3t29iA8/XpQjb4BhRwq4NBCQI0WMwVMGhwTSCBGrEptAhZjCTvi6ghwi1LbIEMhic3wXuJsMqMa982y8muNfFD4GlQeoaZCnsHc/Y34eudHfov7857urMt8JsNXiWiFk4QvUi3Yv6vzvViYQbPfQ8Se6o94rjg0vrb8WdnPzWlUWHGjGX51g3mHOvXN0z8ZrG9+7ulvn6d890qNvzgdvCD3dKHDy9zjPJ+nT8Ytx/BYH/QqWsQn34SHs4Dj3YB/ewAGkwIM06IvwWm4G9IwC/MldSMYNPfgjwjLX1rk3kw=</latexit>S(x) =
pn(x) qn(x) pn−1(x) pn(x) qn−1(x) qn(x) . . . . . . ... . . . . . . ... . . . . . . pn(x) . . . . . . qn(x) p0(x) . . . pn−1(x) q0(x) . . . qn−1(x) p0(x) . . . q0(x) . . . ... . . . ... . . . p0(x) q0(x)
<latexit sha1_base64="IC8fD7XIebNt4onPBIouGqNfKo=">AFIXicjVLNbtNAEJ4aA8X8NIUjl4UWqxwaOb3QHkCVuHAsgtBK2SjYm01q1X+1Ujy6/BE/Am3DghLgjxAvQKL8DsehPFjhFslHbm+/7ZmY3XhL4mXCc72vGNfP6jZvrt6zbd+7e2+hs3n+XxXnKeJ/FQZyeG7GAz/ifeGLgJ8kKXdDL+DH3tlLWT+4Gnmx9FbMUv4MHSnkT/xmSsQGm0a9M3O5dPnFhX8UhQ0C90gINs04BMxINTjUz8ihZum7qwsmD4lIaSgviDJKCpRbeNR+fkip5QS3OKaLcn4dJuiLSmUV+YoEdlQS/Gsch0uZ6Mq6St1MajdLDrdPdYOLSqOqmT6xNWaItdfdIlUy13VuSL3VeWXeaShv2CjFche/RkD7vWpG3+87atlBj2o1bqQZtReUj2HajZ72PRXk0nv9ICE396akYbpfEsqxRZ8vpOuqQ1aCng61D9uHRewA4ijvfgMIYmCQwgcIhAYB+BChp8B9MCBLEhFIilGPmqzqEC7U5sjgyXETP8O8Us4FGI8ylZ6bUDLsE+E1RSeAJamLkpRjLbkTVc+Us0b95F8pTzjbD/572ChEVcIrov3Rz5v/q5C4CJrCvdvBxp0QhcjumXJ1K3JysrSVQIcEMRmPsZ5izJRyfs9EaTK1u7xbV9V/KqZEZc40N4crOSU+cK/5nKtBf6970HVe40O/gOqsw0N4Dv4nM/gEF7BEfSBGZ+MK+OX8dv8aH42v5hfK6qxpjUPoHbMH38Al/thvg=</latexit><latexit sha1_base64="VQYIU4J/DGfn353ngxOr6U75un4=">AFIXicjVLNbtNAEJ4aA8X8pXB4rLQYpVDI6cX4ACqxIVjEYRWykaRvdmVv3X9aZqZPk1eALehBvigLgxAvQK7wAs+tNFDtGsFHamW+75uZ3QRZFObS876vWZfsy1eurl9zrt+4et2Z+POuzydCsb7LI1ScRj4OY/ChPdlKCN+mAnux0HED4KTl6p+cMZFHqbJWznL+D2J0l4FDJfIjTasOib7fPHzx0q+bksaB7US2aMSP5IDQgE/ChBS+EP6sLJg5JSGkoKEk2SgpUe3i0fnpIqeUEMdwimSnp+DSbYiMplFfmKBHZUHPxqnMTbmejKukrdTGo3Sw43V3WTx0qjqpk+sTVmiLX3SJVMj91bki91Xl3mkob9goxXoXr0VA+31qRt/tO2mrHQY7qNW6kGbUXVI7huo2e9j0N5Mp7/SAgV4eRYDrdK4jOqLPpdT19yGrQM8HmHnv/YPT5nthPO9+AwhSYDCFGDgkIDGOwIcPwPogQcZYkMoEBMYhbrOoQHtVNkcWT4iJ7g3wlmA4MmCvPXKsZdonwK1BJ4BFqUuQJjFU3outT7azQv3kX2lPNsP/gfGKEZVwjOi/dHPm/+rULhKO4KneIcSdMo2o7ZhxmepbUZOTpa0kOmSIqXiMdYEx08r5PROtyfXu6m59Xf+pmQpVOTPcKVyoKfGBe83nXA36u91nXe81PvQLqM463IeHsI3P+QT24BXsQx+Y9dG6sH5Zv+0P9if7i/21olprRnMXasf+8QeDxWMT</latexit><latexit sha1_base64="VQYIU4J/DGfn353ngxOr6U75un4=">AFIXicjVLNbtNAEJ4aA8X8pXB4rLQYpVDI6cX4ACqxIVjEYRWykaRvdmVv3X9aZqZPk1eALehBvigLgxAvQK7wAs+tNFDtGsFHamW+75uZ3QRZFObS876vWZfsy1eurl9zrt+4et2Z+POuzydCsb7LI1ScRj4OY/ChPdlKCN+mAnux0HED4KTl6p+cMZFHqbJWznL+D2J0l4FDJfIjTasOib7fPHzx0q+bksaB7US2aMSP5IDQgE/ChBS+EP6sLJg5JSGkoKEk2SgpUe3i0fnpIqeUEMdwimSnp+DSbYiMplFfmKBHZUHPxqnMTbmejKukrdTGo3Sw43V3WTx0qjqpk+sTVmiLX3SJVMj91bki91Xl3mkob9goxXoXr0VA+31qRt/tO2mrHQY7qNW6kGbUXVI7huo2e9j0N5Mp7/SAgV4eRYDrdK4jOqLPpdT19yGrQM8HmHnv/YPT5nthPO9+AwhSYDCFGDgkIDGOwIcPwPogQcZYkMoEBMYhbrOoQHtVNkcWT4iJ7g3wlmA4MmCvPXKsZdonwK1BJ4BFqUuQJjFU3outT7azQv3kX2lPNsP/gfGKEZVwjOi/dHPm/+rULhKO4KneIcSdMo2o7ZhxmepbUZOTpa0kOmSIqXiMdYEx08r5PROtyfXu6m59Xf+pmQpVOTPcKVyoKfGBe83nXA36u91nXe81PvQLqM463IeHsI3P+QT24BXsQx+Y9dG6sH5Zv+0P9if7i/21olprRnMXasf+8QeDxWMT</latexit>x 1 x 1 x 1 x 1 x 1 x 1 x 1 1 x 1 1 x 1 x 1 x 1 x 1 x 1 x 1 x x
⇥ ¯ S(x)−1⇤
1,...,5;12,...,16 = −I ·
2 6 6 6 6 6 6 6 6 4 x x2 x x2 x4 x x4 x x4 x 3 7 7 7 7 7 7 7 7 5
−1
<latexit sha1_base64="w90xX5HIun7uwRkzO6ht9HzCEYQ=">AD4XicjVHLbtNAFL2ueRTzSmEJixEVUZHayI7KW0iV2MCuCEKLMmk1Hk/SURzbGo9RopFX7FghtnwBWxDfgvgD+AvuTBxRKBGMZfvec85M/dOXKSy1GH4zVvxT50+c3b1XHD+wsVLl1trV16WeaW46PE8zdV+zEqRykz0tNSp2C+UYJM4FXvx+LGt70WqpR59kLPCjGYsFEmh5IzjdDhmnedpmKo+zRmyjyvN6a3DsxWVFMlR0d6cGiTZomuS43bz8kUXeRHfqRyTYekox5zMLQiNxUhmxDCl2Kw23K6aTNshPmZaH5hu3Q4pJTLWSpHmaETkZRjWdRhG1nBL9pfSa62jRZtZ7nEyATHaUtIzUZzFhVZsjg0aRongRvDYWs97IRukZNB1ATrO6+bBMA2M1bX4FCAjlwqGACAjLQGKfAoMSnDxGEUCA2AIOYwki6uoAaAtRWyBLIYIiO8TvCrN+gGebWs3Rqjruk+CpUEriJmhx5CmO7G3H1yjlbdJm3cZ72bDP8x43XBFENR4j+S7dg/q/O9qJhCPdcDxJ7Khxiu+ONS+WmYk9OjnWl0aFAzMYJ1hXG3CkXcyZOU7re7WyZq393TIvanDfcCn7YU+IFR39e58mg1+3c74TP8KIfwHytwjW4ARt4nXdhB57ALvSAe2+8j94n7Of+G/9d/7OXFazRX4bflf/gJWuv1Ug=</latexit><latexit sha1_base64="cbhMyjYtASf/9+q4zuARQ9bN34=">AD4XicjVFNb9NAEB3XBYr5SoEbCK2oiIrURnZUvoVUiQvciC0KJtG6/UmXcWxrfUaJbJ84sYJceUXcKXiyO9A/AP4EUjMbhxRKBGsZXvmzXtvd2bDLJa59v2vzpK7fOLkqZXT3pmz585faKxefJGnheKiw9M4VXshy0UsE9HRUsdiL1OCjcNY7IajR6a+0qoXKbJcz3NRG/MhokcSM40Qv1V5yqNxUB3achU+axan9zcLzeDio5PNC9fhls0DhKdb5x6wEJ2vMkuF09JN7mE0I5mRmQWgohjIhJVOKTauSm1WRSdPHp5xU+2W7avqUEpqkLJbDpKRjEeUjmV+E1neL9pfSba2hRZNa7nAqPSO0haQ6o1mLCqSaH5oUjdOPDuGfmPNb/l2keNBUAdr2y8/bV27/PnHTtr4AhQiSIFDAWMQkIDGOAYGOT5dCMCHDLEelIgpjKStC6jAQ2BLIEMhugIv0PMujWaYG48c6vmuEuMr0IlgRuoSZGnMDa7EVsvrLNBF3mX1tOcbYr/sPYaI6rhANF/6ebM/9WZXjQM4K7tQWJPmUVMd7x2KexUzMnJka40OmSImTjCusKYW+V8zsRqctu7mS2z9W+WaVCT85pbwHdzSrzg4M/rPB502q17Lf8pXvR9mK0VuALXYR2v8w5sw2PYgQ5w57XzwfnoHLqR+8Z9676bUZecWnMJflvu+59KRvce</latexit><latexit sha1_base64="cbhMyjYtASf/9+q4zuARQ9bN34=">AD4XicjVFNb9NAEB3XBYr5SoEbCK2oiIrURnZUvoVUiQvciC0KJtG6/UmXcWxrfUaJbJ84sYJceUXcKXiyO9A/AP4EUjMbhxRKBGsZXvmzXtvd2bDLJa59v2vzpK7fOLkqZXT3pmz585faKxefJGnheKiw9M4VXshy0UsE9HRUsdiL1OCjcNY7IajR6a+0qoXKbJcz3NRG/MhokcSM40Qv1V5yqNxUB3achU+axan9zcLzeDio5PNC9fhls0DhKdb5x6wEJ2vMkuF09JN7mE0I5mRmQWgohjIhJVOKTauSm1WRSdPHp5xU+2W7avqUEpqkLJbDpKRjEeUjmV+E1neL9pfSba2hRZNa7nAqPSO0haQ6o1mLCqSaH5oUjdOPDuGfmPNb/l2keNBUAdr2y8/bV27/PnHTtr4AhQiSIFDAWMQkIDGOAYGOT5dCMCHDLEelIgpjKStC6jAQ2BLIEMhugIv0PMujWaYG48c6vmuEuMr0IlgRuoSZGnMDa7EVsvrLNBF3mX1tOcbYr/sPYaI6rhANF/6ebM/9WZXjQM4K7tQWJPmUVMd7x2KexUzMnJka40OmSImTjCusKYW+V8zsRqctu7mS2z9W+WaVCT85pbwHdzSrzg4M/rPB502q17Lf8pXvR9mK0VuALXYR2v8w5sw2PYgQ5w57XzwfnoHLqR+8Z9676bUZecWnMJflvu+59KRvce</latexit>⇥ ¯ S(x)−1⇤
1,...,3;14,...,16 = −I ·
2 6 6 4 x x4 x6 x x6 x 3 7 7 5
−1
<latexit sha1_base64="a+7/SAXQYRBpodsHklk8DNoNEaM=">ADinicjVFdb9MwFL1Z+BiBQYFHXiwmqiF1VcKmfTAhTYIHkHgYH2WT6q5yHDez6iaR46BWUf4efwHxD+CJv8C1m0rAQOAoyb3nN8rx0XSpYmDL94a/6Vq9eur98Ibt7auH2nc/fehzKvNBcDnqtcn8WsFEpmYmCkUeKs0ILNYiVO4+lzWz/9KHQp8+y9WRiNGNpJieSM4PQuPOJKjExQxozXb9rtuaPz+vtqKFaphdmNK6jHlVJbsrezhGJdldJtNc8I8H2K0I5iRYehAai1RmpGZas0VTc84bMu+G3XrenNe7DaWEZjlTMs1qOhNJOZVF42p7TRd5wR8JrdxSqMiSlTtpWySBa3jc2Qz7oVvkchC1webxa/874DrJO5+BQgI5cKhgBgIyMBgrYFDiM4QIQigQG0GNmMZIurqABgLUVsgSyGCITvGbYjZs0Qxz61k6NcdFL4alQeoSZHnsbY7kZcvXLOFv2bd+08bW8L/Met1wxRAxeI/ku3Yv6vzs5iYAIHbgaJMxUOsdPx1qVyp2I7Jz9NZdChQMzGCdY1xtwpV+dMnKZ0s9uzZa7+1TEtanPeciv4ZrvEC45+v87LweBJ/7AfvsGLfgrLtQ4P4CFs4XuwzG8hBMYAPd63ltv6F/w9/xD/2jJXNazX34Zflv/gBuzWFw=</latexit><latexit sha1_base64="p+clYRUtoDl5zhPkpOYK+XNpLI=">ADinicjVHratRAFD5pvNRodWf/hksLhW2S2JLxahoD8UBOtlbWFnu0wms+mwuTGZyC4h7+ET+QriG+gfn0DEM7NZUKvohCTnfOf7vjlnJiwSWrf/+SsuBcuXrq8esW7em3t+o3OzVtvy7xSXAx4nuTqJGSlSGQmBlrqRJwUSrA0TMRxOH1s6sfvhCplnr3R80KMUhZnciI50wiNOx9oIiZ6SEOm6tfNxuz+ab0ZNFTJ+EyPxnXQo0mU67K3dUC7WUS7DSPiLf5jFCOfEWHoSGIpYZqZlSbN7UnPOGzLp+t541p/V2QymhWc4SGWc1TUVUTmXR2NpO0We90dCKzcUKrJo6U7aFolnGx531v2+bxc5HwRtsH743P36/cW390d5yNQiCAHDhWkICADjXECDEp8hCADwViI6gRUxhJWxfQgIfaClkCGQzRKX5jzIYtmFuPEur5rhLgq9CJYF7qMmRpzA2uxFbr6yzQf/mXVtP09sc/2HrlSKq4QzRf+mWzP/VmVk0TGDPziBxpsIiZjreulT2VEzn5KepNDoUiJk4wrCmFvl8pyJ1ZR2dnO2zNY/W6ZBTc5bgVfTJd4wcHv13k+GDzo7/f9l3jRD2GxVuEO3IUNvM5dOISncAQD4E7PeUMHequVvuvnuwoK4reY2/LcJz8AVdbY9w=</latexit><latexit sha1_base64="p+clYRUtoDl5zhPkpOYK+XNpLI=">ADinicjVHratRAFD5pvNRodWf/hksLhW2S2JLxahoD8UBOtlbWFnu0wms+mwuTGZyC4h7+ET+QriG+gfn0DEM7NZUKvohCTnfOf7vjlnJiwSWrf/+SsuBcuXrq8esW7em3t+o3OzVtvy7xSXAx4nuTqJGSlSGQmBlrqRJwUSrA0TMRxOH1s6sfvhCplnr3R80KMUhZnciI50wiNOx9oIiZ6SEOm6tfNxuz+ab0ZNFTJ+EyPxnXQo0mU67K3dUC7WUS7DSPiLf5jFCOfEWHoSGIpYZqZlSbN7UnPOGzLp+t541p/V2QymhWc4SGWc1TUVUTmXR2NpO0We90dCKzcUKrJo6U7aFolnGx531v2+bxc5HwRtsH743P36/cW390d5yNQiCAHDhWkICADjXECDEp8hCADwViI6gRUxhJWxfQgIfaClkCGQzRKX5jzIYtmFuPEur5rhLgq9CJYF7qMmRpzA2uxFbr6yzQf/mXVtP09sc/2HrlSKq4QzRf+mWzP/VmVk0TGDPziBxpsIiZjreulT2VEzn5KepNDoUiJk4wrCmFvl8pyJ1ZR2dnO2zNY/W6ZBTc5bgVfTJd4wcHv13k+GDzo7/f9l3jRD2GxVuEO3IUNvM5dOISncAQD4E7PeUMHequVvuvnuwoK4reY2/LcJz8AVdbY9w=</latexit>See also [Kaltofen, Villard 2005]
(Widely used techniques)
픸 = 햪[y]/g(y) g(y) = y6 + 3 y5 + 4 y4 + 7 y3 + 6 y + 8 mod 11 α(y) = 7 y5 + 7 y4 + 3 y3 + 2 y2 + y + 9 ∈ 픸
Ex:
A = 9 10 2 7 6 9 1 6 10 6 10 2 1 6 10 6 3 8 2 3 7 8 9 9 5 2 7 8 6 2 3 7
픸 = 햪[y]/g(y) g(y) = y6 + 3 y5 + 4 y4 + 7 y3 + 6 y + 8 mod 11 α(y) = 7 y5 + 7 y4 + 3 y3 + 2 y2 + y + 9 ∈ 픸 A = 9 10 2 7 6 9 1 6 10 6 10 2 1 6 10 6 3 8 2 3 7 8 9 9 5 2 7 8 6 2 3 7
(Widely used techniques)
Ex:
A = 9 1 9 2 1 9 3 2 1 9 7 3 2 1 9 7 7 3 2 1 9 + 3 5 3 0 5 3 4 0 5 3 7 4 0 5 3 8 7 4 0 5 3 7 8 6 2 3 7 8 6 2 7 8 6 7 8 7
(Widely used techniques) [Kailath, Kung, Morf 1979] [Kaltofen 1994] [Labahn 1992] [Bini, Pan 1994]
∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ + ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗
<latexit sha1_base64="4+2xaQhIadP72f3+f+um1fZ8zSw=">AGDXic3VHLbtNAFL2tMZThlcKSzYiKChkpciokygZVYtNlkQitlImq8WTijuKXxuNKkZV/4E/YsUJs+QKEuoEt/AV3Jo54NHGQ2HFHtu+c8/1nLlRkajShOHFxqZ3xb96bes6uXHz1u07ne27r8u80kL2RZ7k+iTipUxUJvtGmUSeFryNErkcTR5Yfnjc6lLlWevzLSQw5THmRorwQ1Cp9veIUvk2Awoi2SsMlpzrfl0VgsXM7prgzHKspwnKs5qlspROVHFLGijglbOsqSFDVq1dhEms9HisJRpFZ+ZISW03cxPfbC0/5wiq/l2dUMvd7Y7p1dyVrfM02OyztM/jaF9Cu1DCtZNaYWl/3FMhJx2dsJu6IJeTnpNsnMQPbmgAHCUdz4DgxHkIKCFCRkYDBPgEOJawA9CKFAbAg1Yhoz5XgJMyCorbBKYgVHdILvGHeDBs1wb3uWTi3wLwk+GpUHqImxzqNuf0bdXzlOlt0Ve/a9bRnm+I3anqliBo4Q3SdblH5tzrxcAY9p0HhZ4Kh1h3oulSuVuxJ6e/uDLYoUDM5iPkNebCKRf3TJ2mdN7t3XLHf3OVFrV70dRW8N2eEgfc+3Ocl5P+XvdZN3yJg34O89iC+/AHuE4n8IBHMIR9EF4b71P3hfvq/Gf+e/9z/MSzc3Gs09+C38jz8A0tqoQg=</latexit><latexit sha1_base64="rzLoJ78joMuFs0AL7dl+VEwE6E=">AGDXic3VFNj9MwEJ3dEFjMVxeOXAwrVihIVYqQgAtaicseF4myK9XVynHdrNV8yXGQqhH7vwTbpwQR/gFCO0FrvAvGLup+Ng2ReLGWEnG782b+HmiIlGlCcPTjU3vnH/+wtZFcunylavXOtvX5R5pYXsizJ9VHES5moTPaNMok8KrTkaZTIw2jy1PKHL6UuVZ49N9NCDlMeZ2qsBDcIHW97+yRYzOgLJKxymjNtebTWS1czOiuDcYoy3KeqDirWSpH5UQVs6CNClo5y5IWNmjV2kWYzEaLw1KmVXxihpTQdjM/9cHS/nOKrOb1Q293NnunF7JWd0yT/fIOk/NIb2KbQPKVg3pRW/scxEXLc2Qm7oQt6Nuk1yc5e9OD0lvfqw0He+QwMRpCDgApSkJCBwTwBDiWuAfQghAKxIdSIacyU4yXMgKC2wiqJFRzRCb5j3A0aNMO97Vk6tcC/JPhoVFK4g5oc6zTm9m/U8ZXrbNFVvWvX05tit+o6ZUiauAE0XW6ReXf6qwXA2N45Dwo9FQ4xLoTZfK3Yo9Of3FlcEOBWI2HyGvMRdOubhn6jSl827vljv+m6u0qN2LpraC7/aUODen+M8m/Tvdx93w2c46Ccwjy24CbfhLo7zIezBPhxAH4T3xvkfG+q/9t/47/28dHOj0dyA38L/+AOwZamR</latexit><latexit sha1_base64="rzLoJ78joMuFs0AL7dl+VEwE6E=">AGDXic3VFNj9MwEJ3dEFjMVxeOXAwrVihIVYqQgAtaicseF4myK9XVynHdrNV8yXGQqhH7vwTbpwQR/gFCO0FrvAvGLup+Ng2ReLGWEnG782b+HmiIlGlCcPTjU3vnH/+wtZFcunylavXOtvX5R5pYXsizJ9VHES5moTPaNMok8KrTkaZTIw2jy1PKHL6UuVZ49N9NCDlMeZ2qsBDcIHW97+yRYzOgLJKxymjNtebTWS1czOiuDcYoy3KeqDirWSpH5UQVs6CNClo5y5IWNmjV2kWYzEaLw1KmVXxihpTQdjM/9cHS/nOKrOb1Q293NnunF7JWd0yT/fIOk/NIb2KbQPKVg3pRW/scxEXLc2Qm7oQt6Nuk1yc5e9OD0lvfqw0He+QwMRpCDgApSkJCBwTwBDiWuAfQghAKxIdSIacyU4yXMgKC2wiqJFRzRCb5j3A0aNMO97Vk6tcC/JPhoVFK4g5oc6zTm9m/U8ZXrbNFVvWvX05tit+o6ZUiauAE0XW6ReXf6qwXA2N45Dwo9FQ4xLoTZfK3Yo9Of3FlcEOBWI2HyGvMRdOubhn6jSl827vljv+m6u0qN2LpraC7/aUODen+M8m/Tvdx93w2c46Ccwjy24CbfhLo7zIezBPhxAH4T3xvkfG+q/9t/47/28dHOj0dyA38L/+AOwZamR</latexit>T =
A−1 = 9 4 9 9 4 9 1 9 4 9 9 1 9 4 9 6 9 1 9 4 9 + 3 5 3 0 5 3 4 0 5 3 7 4 0 5 3 8 7 4 0 5 3 6 2 4 2 1 6 2 4 2 6 2 4 6 2 6
(Widely used techniques)
A−1 = 9 7 6 1 6 3 4 6 6 4 9 4 6 6 4 1 1 3 8 9 10 3 7 3 10 6 2 4 2 1
∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ + ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗
<latexit sha1_base64="4+2xaQhIadP72f3+f+um1fZ8zSw=">AGDXic3VHLbtNAFL2tMZThlcKSzYiKChkpciokygZVYtNlkQitlImq8WTijuKXxuNKkZV/4E/YsUJs+QKEuoEt/AV3Jo54NHGQ2HFHtu+c8/1nLlRkajShOHFxqZ3xb96bes6uXHz1u07ne27r8u80kL2RZ7k+iTipUxUJvtGmUSeFryNErkcTR5Yfnjc6lLlWevzLSQw5THmRorwQ1Cp9veIUvk2Awoi2SsMlpzrfl0VgsXM7prgzHKspwnKs5qlspROVHFLGijglbOsqSFDVq1dhEms9HisJRpFZ+ZISW03cxPfbC0/5wiq/l2dUMvd7Y7p1dyVrfM02OyztM/jaF9Cu1DCtZNaYWl/3FMhJx2dsJu6IJeTnpNsnMQPbmgAHCUdz4DgxHkIKCFCRkYDBPgEOJawA9CKFAbAg1Yhoz5XgJMyCorbBKYgVHdILvGHeDBs1wb3uWTi3wLwk+GpUHqImxzqNuf0bdXzlOlt0Ve/a9bRnm+I3anqliBo4Q3SdblH5tzrxcAY9p0HhZ4Kh1h3oulSuVuxJ6e/uDLYoUDM5iPkNebCKRf3TJ2mdN7t3XLHf3OVFrV70dRW8N2eEgfc+3Ocl5P+XvdZN3yJg34O89iC+/AHuE4n8IBHMIR9EF4b71P3hfvq/Gf+e/9z/MSzc3Gs09+C38jz8A0tqoQg=</latexit><latexit sha1_base64="rzLoJ78joMuFs0AL7dl+VEwE6E=">AGDXic3VFNj9MwEJ3dEFjMVxeOXAwrVihIVYqQgAtaicseF4myK9XVynHdrNV8yXGQqhH7vwTbpwQR/gFCO0FrvAvGLup+Ng2ReLGWEnG782b+HmiIlGlCcPTjU3vnH/+wtZFcunylavXOtvX5R5pYXsizJ9VHES5moTPaNMok8KrTkaZTIw2jy1PKHL6UuVZ49N9NCDlMeZ2qsBDcIHW97+yRYzOgLJKxymjNtebTWS1czOiuDcYoy3KeqDirWSpH5UQVs6CNClo5y5IWNmjV2kWYzEaLw1KmVXxihpTQdjM/9cHS/nOKrOb1Q293NnunF7JWd0yT/fIOk/NIb2KbQPKVg3pRW/scxEXLc2Qm7oQt6Nuk1yc5e9OD0lvfqw0He+QwMRpCDgApSkJCBwTwBDiWuAfQghAKxIdSIacyU4yXMgKC2wiqJFRzRCb5j3A0aNMO97Vk6tcC/JPhoVFK4g5oc6zTm9m/U8ZXrbNFVvWvX05tit+o6ZUiauAE0XW6ReXf6qwXA2N45Dwo9FQ4xLoTZfK3Yo9Of3FlcEOBWI2HyGvMRdOubhn6jSl827vljv+m6u0qN2LpraC7/aUODen+M8m/Tvdx93w2c46Ccwjy24CbfhLo7zIezBPhxAH4T3xvkfG+q/9t/47/28dHOj0dyA38L/+AOwZamR</latexit><latexit sha1_base64="rzLoJ78joMuFs0AL7dl+VEwE6E=">AGDXic3VFNj9MwEJ3dEFjMVxeOXAwrVihIVYqQgAtaicseF4myK9XVynHdrNV8yXGQqhH7vwTbpwQR/gFCO0FrvAvGLup+Ng2ReLGWEnG782b+HmiIlGlCcPTjU3vnH/+wtZFcunylavXOtvX5R5pYXsizJ9VHES5moTPaNMok8KrTkaZTIw2jy1PKHL6UuVZ49N9NCDlMeZ2qsBDcIHW97+yRYzOgLJKxymjNtebTWS1czOiuDcYoy3KeqDirWSpH5UQVs6CNClo5y5IWNmjV2kWYzEaLw1KmVXxihpTQdjM/9cHS/nOKrOb1Q293NnunF7JWd0yT/fIOk/NIb2KbQPKVg3pRW/scxEXLc2Qm7oQt6Nuk1yc5e9OD0lvfqw0He+QwMRpCDgApSkJCBwTwBDiWuAfQghAKxIdSIacyU4yXMgKC2wiqJFRzRCb5j3A0aNMO97Vk6tcC/JPhoVFK4g5oc6zTm9m/U8ZXrbNFVvWvX05tit+o6ZUiauAE0XW6ReXf6qwXA2N45Dwo9FQ4xLoTZfK3Yo9Of3FlcEOBWI2HyGvMRdOubhn6jSl827vljv+m6u0qN2LpraC7/aUODen+M8m/Tvdx93w2c46Ccwjy24CbfhLo7zIezBPhxAH4T3xvkfG+q/9t/47/28dHOj0dyA38L/+AOwZamR</latexit> ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗
<latexit sha1_base64="Zj8/FaRFbhTd9HxAWGOFCu3Nng=">ADlnicjVFdi9NAFD3Z+LHGr6pP4svg4iJ5KkIri+6IKPFay70NRlMp2mQycfTCZCf2Tvsj+A/0X3plNQV2s3iHJmXPuZk7N6u1amySnAd74ZWr167v34hu3rp95+7g3v1PTdUaISei0pU5zXgjtSrlxCqr5WltJC8yLU+y1Run3yRplFV+dGuazkreF6qhRLcEnU2+BqlWi7slKWZzFXJOm4MX2864WPD4kMXacrSsuJa5WXFnLerFS9iQ/jnVq8WyQ52inHu920olSW8+2RWpUvrQzdjY4SIaJD3YZjHpwcJw9P2cAxtXgG1LMUGgRQGJEpawBkdDa4oREtTEzdARZwgpr0tsEJG3pSxJGZzYFb1z2k17tqS9q9l4t6C/aHoMORmekKeiPEPY/Y15vfWVHfu32p2v6c62pm/W1yqItVgS+y/fNvN/fa4XiwWOfA+Keqo947oTfZXW34o7OfulK0sVauIcnpNuCAv3N4z857G9+7ulnv9u890rNuLPrfFD3dKGvDoz3FeBpNnw5fD5AMN+hUuYh+P8BhPaZwvcIz3GMCERwFn4M8WIYPw9fh2/DdRepe0Hse4LcIxz8BiTLVPQ=</latexit><latexit sha1_base64="buCXrsaHyZaEiwNuLfDbP4fb0FI=">ADlnicjVFdb9MwFL1ZBozwsbI9IV4MExPKQ5UiJMYLm4TQ9thJK5tUl8lx3dSq40SOg1RFfdxf2w/YC9o/gH/BtZdKjInCtZIcn3Pja9vWipZ2S5DtbC9Xv3H2w8jB49fvJ0s/Ns60tV1IaLAS9UYc5SVgkltRhYaZU4K41gearEaTr75PTb8JUstAndl6KUc4yLSeSM4vUecqokpM7JDQVGRSk4YZw+aLhvtYkHjXBaWE6oIpmemG5mJczWS5iHfjlVq8WkQ5WinHq924Iir0eHlkQo3MpnZEzjs7STfxQe6CXgt2DtJ31y/Di8t+0fkOFMZQAIcachCgwSJWwKDCNYQeJFAiN4IGOYNIel3AiL01pglMIMhO8N3hrthy2rcu5qVd3P8i8LHoJPAa/QUmGcQu78Rr9e+smP/VrvxNd3Z5vhN21o5shamyP7Lt8z8X5/rxcIE9nwPEnsqPeO642V2t+KOzn5rSuLFUrkHB6jbhBz71zeM/Geyvfu7pZ5/YfPdKzb8za3hp/ulDjg3p/jvAsGb7sfuskxDvoj3MQGvIBX8AbH+R4O4Aj6MAe7AVfgyYhs/D/fBzeHiTuha0nm24FWH/F2a91ow=</latexit><latexit sha1_base64="buCXrsaHyZaEiwNuLfDbP4fb0FI=">ADlnicjVFdb9MwFL1ZBozwsbI9IV4MExPKQ5UiJMYLm4TQ9thJK5tUl8lx3dSq40SOg1RFfdxf2w/YC9o/gH/BtZdKjInCtZIcn3Pja9vWipZ2S5DtbC9Xv3H2w8jB49fvJ0s/Ns60tV1IaLAS9UYc5SVgkltRhYaZU4K41gearEaTr75PTb8JUstAndl6KUc4yLSeSM4vUecqokpM7JDQVGRSk4YZw+aLhvtYkHjXBaWE6oIpmemG5mJczWS5iHfjlVq8WkQ5WinHq924Iir0eHlkQo3MpnZEzjs7STfxQe6CXgt2DtJ31y/Di8t+0fkOFMZQAIcachCgwSJWwKDCNYQeJFAiN4IGOYNIel3AiL01pglMIMhO8N3hrthy2rcu5qVd3P8i8LHoJPAa/QUmGcQu78Rr9e+smP/VrvxNd3Z5vhN21o5shamyP7Lt8z8X5/rxcIE9nwPEnsqPeO642V2t+KOzn5rSuLFUrkHB6jbhBz71zeM/Geyvfu7pZ5/YfPdKzb8za3hp/ulDjg3p/jvAsGb7sfuskxDvoj3MQGvIBX8AbH+R4O4Aj6MAe7AVfgyYhs/D/fBzeHiTuha0nm24FWH/F2a91ow=</latexit>[Kailath, Kung, Morf 1979] [Kaltofen 1994] [Labahn 1992] [Bini, Pan 1994]
∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ + ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗
<latexit sha1_base64="4+2xaQhIadP72f3+f+um1fZ8zSw=">AGDXic3VHLbtNAFL2tMZThlcKSzYiKChkpciokygZVYtNlkQitlImq8WTijuKXxuNKkZV/4E/YsUJs+QKEuoEt/AV3Jo54NHGQ2HFHtu+c8/1nLlRkajShOHFxqZ3xb96bes6uXHz1u07ne27r8u80kL2RZ7k+iTipUxUJvtGmUSeFryNErkcTR5Yfnjc6lLlWevzLSQw5THmRorwQ1Cp9veIUvk2Awoi2SsMlpzrfl0VgsXM7prgzHKspwnKs5qlspROVHFLGijglbOsqSFDVq1dhEms9HisJRpFZ+ZISW03cxPfbC0/5wiq/l2dUMvd7Y7p1dyVrfM02OyztM/jaF9Cu1DCtZNaYWl/3FMhJx2dsJu6IJeTnpNsnMQPbmgAHCUdz4DgxHkIKCFCRkYDBPgEOJawA9CKFAbAg1Yhoz5XgJMyCorbBKYgVHdILvGHeDBs1wb3uWTi3wLwk+GpUHqImxzqNuf0bdXzlOlt0Ve/a9bRnm+I3anqliBo4Q3SdblH5tzrxcAY9p0HhZ4Kh1h3oulSuVuxJ6e/uDLYoUDM5iPkNebCKRf3TJ2mdN7t3XLHf3OVFrV70dRW8N2eEgfc+3Ocl5P+XvdZN3yJg34O89iC+/AHuE4n8IBHMIR9EF4b71P3hfvq/Gf+e/9z/MSzc3Gs09+C38jz8A0tqoQg=</latexit><latexit sha1_base64="rzLoJ78joMuFs0AL7dl+VEwE6E=">AGDXic3VFNj9MwEJ3dEFjMVxeOXAwrVihIVYqQgAtaicseF4myK9XVynHdrNV8yXGQqhH7vwTbpwQR/gFCO0FrvAvGLup+Ng2ReLGWEnG782b+HmiIlGlCcPTjU3vnH/+wtZFcunylavXOtvX5R5pYXsizJ9VHES5moTPaNMok8KrTkaZTIw2jy1PKHL6UuVZ49N9NCDlMeZ2qsBDcIHW97+yRYzOgLJKxymjNtebTWS1czOiuDcYoy3KeqDirWSpH5UQVs6CNClo5y5IWNmjV2kWYzEaLw1KmVXxihpTQdjM/9cHS/nOKrOb1Q293NnunF7JWd0yT/fIOk/NIb2KbQPKVg3pRW/scxEXLc2Qm7oQt6Nuk1yc5e9OD0lvfqw0He+QwMRpCDgApSkJCBwTwBDiWuAfQghAKxIdSIacyU4yXMgKC2wiqJFRzRCb5j3A0aNMO97Vk6tcC/JPhoVFK4g5oc6zTm9m/U8ZXrbNFVvWvX05tit+o6ZUiauAE0XW6ReXf6qwXA2N45Dwo9FQ4xLoTZfK3Yo9Of3FlcEOBWI2HyGvMRdOubhn6jSl827vljv+m6u0qN2LpraC7/aUODen+M8m/Tvdx93w2c46Ccwjy24CbfhLo7zIezBPhxAH4T3xvkfG+q/9t/47/28dHOj0dyA38L/+AOwZamR</latexit><latexit sha1_base64="rzLoJ78joMuFs0AL7dl+VEwE6E=">AGDXic3VFNj9MwEJ3dEFjMVxeOXAwrVihIVYqQgAtaicseF4myK9XVynHdrNV8yXGQqhH7vwTbpwQR/gFCO0FrvAvGLup+Ng2ReLGWEnG782b+HmiIlGlCcPTjU3vnH/+wtZFcunylavXOtvX5R5pYXsizJ9VHES5moTPaNMok8KrTkaZTIw2jy1PKHL6UuVZ49N9NCDlMeZ2qsBDcIHW97+yRYzOgLJKxymjNtebTWS1czOiuDcYoy3KeqDirWSpH5UQVs6CNClo5y5IWNmjV2kWYzEaLw1KmVXxihpTQdjM/9cHS/nOKrOb1Q293NnunF7JWd0yT/fIOk/NIb2KbQPKVg3pRW/scxEXLc2Qm7oQt6Nuk1yc5e9OD0lvfqw0He+QwMRpCDgApSkJCBwTwBDiWuAfQghAKxIdSIacyU4yXMgKC2wiqJFRzRCb5j3A0aNMO97Vk6tcC/JPhoVFK4g5oc6zTm9m/U8ZXrbNFVvWvX05tit+o6ZUiauAE0XW6ReXf6qwXA2N45Dwo9FQ4xLoTZfK3Yo9Of3FlcEOBWI2HyGvMRdOubhn6jSl827vljv+m6u0qN2LpraC7/aUODen+M8m/Tvdx93w2c46Ccwjy24CbfhLo7zIezBPhxAH4T3xvkfG+q/9t/47/28dHOj0dyA38L/+AOwZamR</latexit> ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗
<latexit sha1_base64="Zj8/FaRFbhTd9HxAWGOFCu3Nng=">ADlnicjVFdi9NAFD3Z+LHGr6pP4svg4iJ5KkIri+6IKPFay70NRlMp2mQycfTCZCf2Tvsj+A/0X3plNQV2s3iHJmXPuZk7N6u1amySnAd74ZWr167v34hu3rp95+7g3v1PTdUaISei0pU5zXgjtSrlxCqr5WltJC8yLU+y1Run3yRplFV+dGuazkreF6qhRLcEnU2+BqlWi7slKWZzFXJOm4MX2864WPD4kMXacrSsuJa5WXFnLerFS9iQ/jnVq8WyQ52inHu920olSW8+2RWpUvrQzdjY4SIaJD3YZjHpwcJw9P2cAxtXgG1LMUGgRQGJEpawBkdDa4oREtTEzdARZwgpr0tsEJG3pSxJGZzYFb1z2k17tqS9q9l4t6C/aHoMORmekKeiPEPY/Y15vfWVHfu32p2v6c62pm/W1yqItVgS+y/fNvN/fa4XiwWOfA+Keqo947oTfZXW34o7OfulK0sVauIcnpNuCAv3N4z857G9+7ulnv9u890rNuLPrfFD3dKGvDoz3FeBpNnw5fD5AMN+hUuYh+P8BhPaZwvcIz3GMCERwFn4M8WIYPw9fh2/DdRepe0Hse4LcIxz8BiTLVPQ=</latexit><latexit sha1_base64="buCXrsaHyZaEiwNuLfDbP4fb0FI=">ADlnicjVFdb9MwFL1ZBozwsbI9IV4MExPKQ5UiJMYLm4TQ9thJK5tUl8lx3dSq40SOg1RFfdxf2w/YC9o/gH/BtZdKjInCtZIcn3Pja9vWipZ2S5DtbC9Xv3H2w8jB49fvJ0s/Ns60tV1IaLAS9UYc5SVgkltRhYaZU4K41gearEaTr75PTb8JUstAndl6KUc4yLSeSM4vUecqokpM7JDQVGRSk4YZw+aLhvtYkHjXBaWE6oIpmemG5mJczWS5iHfjlVq8WkQ5WinHq924Iir0eHlkQo3MpnZEzjs7STfxQe6CXgt2DtJ31y/Di8t+0fkOFMZQAIcachCgwSJWwKDCNYQeJFAiN4IGOYNIel3AiL01pglMIMhO8N3hrthy2rcu5qVd3P8i8LHoJPAa/QUmGcQu78Rr9e+smP/VrvxNd3Z5vhN21o5shamyP7Lt8z8X5/rxcIE9nwPEnsqPeO642V2t+KOzn5rSuLFUrkHB6jbhBz71zeM/Geyvfu7pZ5/YfPdKzb8za3hp/ulDjg3p/jvAsGb7sfuskxDvoj3MQGvIBX8AbH+R4O4Aj6MAe7AVfgyYhs/D/fBzeHiTuha0nm24FWH/F2a91ow=</latexit><latexit sha1_base64="buCXrsaHyZaEiwNuLfDbP4fb0FI=">ADlnicjVFdb9MwFL1ZBozwsbI9IV4MExPKQ5UiJMYLm4TQ9thJK5tUl8lx3dSq40SOg1RFfdxf2w/YC9o/gH/BtZdKjInCtZIcn3Pja9vWipZ2S5DtbC9Xv3H2w8jB49fvJ0s/Ns60tV1IaLAS9UYc5SVgkltRhYaZU4K41gearEaTr75PTb8JUstAndl6KUc4yLSeSM4vUecqokpM7JDQVGRSk4YZw+aLhvtYkHjXBaWE6oIpmemG5mJczWS5iHfjlVq8WkQ5WinHq924Iir0eHlkQo3MpnZEzjs7STfxQe6CXgt2DtJ31y/Di8t+0fkOFMZQAIcachCgwSJWwKDCNYQeJFAiN4IGOYNIel3AiL01pglMIMhO8N3hrthy2rcu5qVd3P8i8LHoJPAa/QUmGcQu78Rr9e+smP/VrvxNd3Z5vhN21o5shamyP7Lt8z8X5/rxcIE9nwPEnsqPeO642V2t+KOzn5rSuLFUrkHB6jbhBz71zeM/Geyvfu7pZ5/YfPdKzb8za3hp/ulDjg3p/jvAsGb7sfuskxDvoj3MQGvIBX8AbH+R4O4Aj6MAe7AVfgyYhs/D/fBzeHiTuha0nm24FWH/F2a91ow=</latexit> ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ + ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗
<latexit sha1_base64="4+2xaQhIadP72f3+f+um1fZ8zSw=">AGDXic3VHLbtNAFL2tMZThlcKSzYiKChkpciokygZVYtNlkQitlImq8WTijuKXxuNKkZV/4E/YsUJs+QKEuoEt/AV3Jo54NHGQ2HFHtu+c8/1nLlRkajShOHFxqZ3xb96bes6uXHz1u07ne27r8u80kL2RZ7k+iTipUxUJvtGmUSeFryNErkcTR5Yfnjc6lLlWevzLSQw5THmRorwQ1Cp9veIUvk2Awoi2SsMlpzrfl0VgsXM7prgzHKspwnKs5qlspROVHFLGijglbOsqSFDVq1dhEms9HisJRpFZ+ZISW03cxPfbC0/5wiq/l2dUMvd7Y7p1dyVrfM02OyztM/jaF9Cu1DCtZNaYWl/3FMhJx2dsJu6IJeTnpNsnMQPbmgAHCUdz4DgxHkIKCFCRkYDBPgEOJawA9CKFAbAg1Yhoz5XgJMyCorbBKYgVHdILvGHeDBs1wb3uWTi3wLwk+GpUHqImxzqNuf0bdXzlOlt0Ve/a9bRnm+I3anqliBo4Q3SdblH5tzrxcAY9p0HhZ4Kh1h3oulSuVuxJ6e/uDLYoUDM5iPkNebCKRf3TJ2mdN7t3XLHf3OVFrV70dRW8N2eEgfc+3Ocl5P+XvdZN3yJg34O89iC+/AHuE4n8IBHMIR9EF4b71P3hfvq/Gf+e/9z/MSzc3Gs09+C38jz8A0tqoQg=</latexit><latexit sha1_base64="rzLoJ78joMuFs0AL7dl+VEwE6E=">AGDXic3VFNj9MwEJ3dEFjMVxeOXAwrVihIVYqQgAtaicseF4myK9XVynHdrNV8yXGQqhH7vwTbpwQR/gFCO0FrvAvGLup+Ng2ReLGWEnG782b+HmiIlGlCcPTjU3vnH/+wtZFcunylavXOtvX5R5pYXsizJ9VHES5moTPaNMok8KrTkaZTIw2jy1PKHL6UuVZ49N9NCDlMeZ2qsBDcIHW97+yRYzOgLJKxymjNtebTWS1czOiuDcYoy3KeqDirWSpH5UQVs6CNClo5y5IWNmjV2kWYzEaLw1KmVXxihpTQdjM/9cHS/nOKrOb1Q293NnunF7JWd0yT/fIOk/NIb2KbQPKVg3pRW/scxEXLc2Qm7oQt6Nuk1yc5e9OD0lvfqw0He+QwMRpCDgApSkJCBwTwBDiWuAfQghAKxIdSIacyU4yXMgKC2wiqJFRzRCb5j3A0aNMO97Vk6tcC/JPhoVFK4g5oc6zTm9m/U8ZXrbNFVvWvX05tit+o6ZUiauAE0XW6ReXf6qwXA2N45Dwo9FQ4xLoTZfK3Yo9Of3FlcEOBWI2HyGvMRdOubhn6jSl827vljv+m6u0qN2LpraC7/aUODen+M8m/Tvdx93w2c46Ccwjy24CbfhLo7zIezBPhxAH4T3xvkfG+q/9t/47/28dHOj0dyA38L/+AOwZamR</latexit><latexit sha1_base64="rzLoJ78joMuFs0AL7dl+VEwE6E=">AGDXic3VFNj9MwEJ3dEFjMVxeOXAwrVihIVYqQgAtaicseF4myK9XVynHdrNV8yXGQqhH7vwTbpwQR/gFCO0FrvAvGLup+Ng2ReLGWEnG782b+HmiIlGlCcPTjU3vnH/+wtZFcunylavXOtvX5R5pYXsizJ9VHES5moTPaNMok8KrTkaZTIw2jy1PKHL6UuVZ49N9NCDlMeZ2qsBDcIHW97+yRYzOgLJKxymjNtebTWS1czOiuDcYoy3KeqDirWSpH5UQVs6CNClo5y5IWNmjV2kWYzEaLw1KmVXxihpTQdjM/9cHS/nOKrOb1Q293NnunF7JWd0yT/fIOk/NIb2KbQPKVg3pRW/scxEXLc2Qm7oQt6Nuk1yc5e9OD0lvfqw0He+QwMRpCDgApSkJCBwTwBDiWuAfQghAKxIdSIacyU4yXMgKC2wiqJFRzRCb5j3A0aNMO97Vk6tcC/JPhoVFK4g5oc6zTm9m/U8ZXrbNFVvWvX05tit+o6ZUiauAE0XW6ReXf6qwXA2N45Dwo9FQ4xLoTZfK3Yo9Of3FlcEOBWI2HyGvMRdOubhn6jSl827vljv+m6u0qN2LpraC7/aUODen+M8m/Tvdx93w2c46Ccwjy24CbfhLo7zIezBPhxAH4T3xvkfG+q/9t/47/28dHOj0dyA38L/+AOwZamR</latexit> ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗
<latexit sha1_base64="Zj8/FaRFbhTd9HxAWGOFCu3Nng=">ADlnicjVFdi9NAFD3Z+LHGr6pP4svg4iJ5KkIri+6IKPFay70NRlMp2mQycfTCZCf2Tvsj+A/0X3plNQV2s3iHJmXPuZk7N6u1amySnAd74ZWr167v34hu3rp95+7g3v1PTdUaISei0pU5zXgjtSrlxCqr5WltJC8yLU+y1Run3yRplFV+dGuazkreF6qhRLcEnU2+BqlWi7slKWZzFXJOm4MX2864WPD4kMXacrSsuJa5WXFnLerFS9iQ/jnVq8WyQ52inHu920olSW8+2RWpUvrQzdjY4SIaJD3YZjHpwcJw9P2cAxtXgG1LMUGgRQGJEpawBkdDa4oREtTEzdARZwgpr0tsEJG3pSxJGZzYFb1z2k17tqS9q9l4t6C/aHoMORmekKeiPEPY/Y15vfWVHfu32p2v6c62pm/W1yqItVgS+y/fNvN/fa4XiwWOfA+Keqo947oTfZXW34o7OfulK0sVauIcnpNuCAv3N4z857G9+7ulnv9u890rNuLPrfFD3dKGvDoz3FeBpNnw5fD5AMN+hUuYh+P8BhPaZwvcIz3GMCERwFn4M8WIYPw9fh2/DdRepe0Hse4LcIxz8BiTLVPQ=</latexit><latexit sha1_base64="buCXrsaHyZaEiwNuLfDbP4fb0FI=">ADlnicjVFdb9MwFL1ZBozwsbI9IV4MExPKQ5UiJMYLm4TQ9thJK5tUl8lx3dSq40SOg1RFfdxf2w/YC9o/gH/BtZdKjInCtZIcn3Pja9vWipZ2S5DtbC9Xv3H2w8jB49fvJ0s/Ns60tV1IaLAS9UYc5SVgkltRhYaZU4K41gearEaTr75PTb8JUstAndl6KUc4yLSeSM4vUecqokpM7JDQVGRSk4YZw+aLhvtYkHjXBaWE6oIpmemG5mJczWS5iHfjlVq8WkQ5WinHq924Iir0eHlkQo3MpnZEzjs7STfxQe6CXgt2DtJ31y/Di8t+0fkOFMZQAIcachCgwSJWwKDCNYQeJFAiN4IGOYNIel3AiL01pglMIMhO8N3hrthy2rcu5qVd3P8i8LHoJPAa/QUmGcQu78Rr9e+smP/VrvxNd3Z5vhN21o5shamyP7Lt8z8X5/rxcIE9nwPEnsqPeO642V2t+KOzn5rSuLFUrkHB6jbhBz71zeM/Geyvfu7pZ5/YfPdKzb8za3hp/ulDjg3p/jvAsGb7sfuskxDvoj3MQGvIBX8AbH+R4O4Aj6MAe7AVfgyYhs/D/fBzeHiTuha0nm24FWH/F2a91ow=</latexit><latexit sha1_base64="buCXrsaHyZaEiwNuLfDbP4fb0FI=">ADlnicjVFdb9MwFL1ZBozwsbI9IV4MExPKQ5UiJMYLm4TQ9thJK5tUl8lx3dSq40SOg1RFfdxf2w/YC9o/gH/BtZdKjInCtZIcn3Pja9vWipZ2S5DtbC9Xv3H2w8jB49fvJ0s/Ns60tV1IaLAS9UYc5SVgkltRhYaZU4K41gearEaTr75PTb8JUstAndl6KUc4yLSeSM4vUecqokpM7JDQVGRSk4YZw+aLhvtYkHjXBaWE6oIpmemG5mJczWS5iHfjlVq8WkQ5WinHq924Iir0eHlkQo3MpnZEzjs7STfxQe6CXgt2DtJ31y/Di8t+0fkOFMZQAIcachCgwSJWwKDCNYQeJFAiN4IGOYNIel3AiL01pglMIMhO8N3hrthy2rcu5qVd3P8i8LHoJPAa/QUmGcQu78Rr9e+smP/VrvxNd3Z5vhN21o5shamyP7Lt8z8X5/rxcIE9nwPEnsqPeO642V2t+KOzn5rSuLFUrkHB6jbhBz71zeM/Geyvfu7pZ5/YfPdKzb8za3hp/ulDjg3p/jvAsGb7sfuskxDvoj3MQGvIBX8AbH+R4O4Aj6MAe7AVfgyYhs/D/fBzeHiTuha0nm24FWH/F2a91ow=</latexit>[Storjohann 2003-2005] [Labahn, Neiger, Zhou 2017] [Beckermann, Labahn 1994] [Giorgi et al. 2003]
[Storjohann 2003-2005] [Labahn, Neiger, Zhou 2017] [Beckermann, Labahn 1994] [Giorgi et al. 2003]
[Storjohann 2003-2005] [Labahn, Neiger, Zhou 2017] [Beckermann, Labahn 1994] [Giorgi et al. 2003]
Determinant of a polynomial structured matrix
Here degree 1, analogous for degree d
See also [van der Hoeven and Larrieu 2018]