combiningdepthfusion and photometricstero for fine-detailed3d models … · 2019. 6. 13. ·...

1
Combining Depth Fusion and Photometric Stero for Fine-Detailed 3D Models Erik Bylow +, *, Robert Maier + , Fredrik Kahl , Carl Olsson *,+ Technical University of Munich, * Lund University, Chalmers University of Technology Technische Universität München Input: TSDF, depth- and intensity-images and camera positions Reflectance Model: Lambertian model and spherical harmonics Optimiziation: Optimize over normals, albedo and light sources Output: 3D model with more details RGB-D Data Varying Illuminaon depth TSDF Fusion → Coarse 3D Model Photometric Stereo on TSDF → Re"ned 3D Model depth + intensity TSDF System Overview E L (d, , ˜ s 1 ,..., ˜ s K )= K X k=1 X V 2V k X x2V \S (I k ((x)) - (x, V n(x, d V ) T ˜ s k ) 2 (1) E depth (d)= K X k=1 X v 2V k (D k (x v ) - d v ) 2 (2) E albedo ()= X V 2V X v i 6=v j 2V (v i - v j ) 2 (3) Three error terms are used to improve the 3D model Penalize deviation between rendered intensity and observed intensity (1). Favor surfaces that are close the observed one in the depth images (2). Favor solutions where neighboring voxels have similar albedo (3). Results Shading - Hörmander Intensity Images Fused depth images Our Result Intrinsic3D Maier et. al. Quantitative Result Intensity Images Fused depth images Our Result Compare to groundtruth – 3D printed model Motivation Problem: 3D models obtained from fusion of depth images lack details due to: Noise in depth images Low resolution Smoothing in the fusion process. Goal: Enhance the quality of the 3D models. Method: Capture richer data with varying illumination. Combining techniques from Photometric Stereo and Truncated Signed Distance Functions (TSDF). Notation and Details Shading - Shirt 3D Renderings Our result Intrinsic3D Maier et. al. Intensity Images The Lambertian reflectance model estimates the observed intensity in a projected point as The normal of a surface point in a TSDF can be computed as is the tri-linear interpolation function which gives the distance to the surface at point . Idea: Refine the distance values to change the normals in the voxels to better fit the intensity images. Captured data with varying illumination contain information about detailed geometry. Notation and are eight distance- and albedo-estimates for a voxel . are the spherical harmonics. Surface points are extracted in all voxels that has a zero-crossing, denotes the set of all such surface points. denotes the set of voxels observed in frame . n(x, d V )= rg V (x, d V ) krg V (x, d V )k g V : R 3 R 8 ! R d V V ˜ s, ˜ n 2 R 9 S I ((x)) = (x)s T n(x) x V V k k Our Result Fused depth images Optimization

Upload: others

Post on 04-Mar-2021

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: CombiningDepthFusion and PhotometricStero for Fine-Detailed3D Models … · 2019. 6. 13. · CombiningDepthFusion and PhotometricStero for Fine-Detailed3D Models Erik Bylow+,*, Robert

Combining Depth Fusion and Photometric Sterofor Fine-Detailed 3D Models

Erik Bylow+,*, Robert Maier+, Fredrik Kahl⟡, Carl Olsson*,⟡+Technical University of Munich, *Lund University,

⟡Chalmers University of Technology Technische Universität München

• Input: TSDF, depth- and intensity-images and camera positions• Reflectance Model: Lambertian model and spherical harmonics

• Optimiziation: Optimize over normals, albedo and light sources• Output: 3D model with more details

RGB-D Data

Varying Illumina�on

depth

TSDF Fusion

→ Coarse 3D Model

Photometric Stereo

on TSDF

→ Re"ned 3D Model

depth + intensity

TSDF

System Overview

EL(d,⇢, s1, . . . , sK) =

KX

k=1

X

V 2Vk

X

x2V \S(Ik(⇡(x))� ⇢(x,⇢V )n(x,dV )

T sk)2 (1)

Edepth(d) =KX

k=1

X

v2Vk

(Dk(xv)� dv)2 (2)

Ealbedo(⇢) =X

V 2V

X

vi 6=vj2V

(⇢vi � ⇢vj )2 (3)

<latexit sha1_base64="/STXVB+IStVJz543ROISR2WHdo8=">AAAHNnichVVbb9MwFA6XllFuGzzyYjFNaqUyNXuBl0kIqMTEpHHZCtLcRo7tdqaJEzluaRXlV/HC7+CNFx5AiFd+AsdpRlJngkhVjs/3+TsXH6d+HIhE93pfL12+crXRvLZxvXXj5q3bdza37g6SaKYoP6FREKn3Pkl4ICQ/0UIH/H2sOAn9gL/zp88M/m7OVSIieayXMR+GZCLFWFCiweVtNQ6x5B9pFIZEshQfHWUpDok+oyRIj7KstYYuCtAfpwsbW5bY0sZkiUkbOy4xbWOM8UATIPhRwJJlCC9w5j6L6auzyOIZD7AUX+OV0fw6Oi/ReR1lJcrqKC3RVTb/3V/FkhJLbGxQOZJBbeNMjWOdVChvaxQNqBYB49UY9hHVSdIi4XD5MVJK8OTUHQKZL3Q+f6niUNq2a0vCGAYmMS4hSW5EC2k/fWOkWztIwDTypLWztu9goghM04G3ipHmS1u8IP2t+gAIlgzjsT6r6KzWNaGC9lfpuVFCcHJqAqWuk/sB3CyuoFf9c9XDwmPr9gvd/r/D90ngcxZVeIXDNKiFfT4RElxiIrPWdeAcZm3Muph24VhHbhezSCe5/bKD9hGMQ+il0303G6UvM9zFM8ng8nOdDhAWElXmaDTNzPSEayy8yGkDTEmMKrNleO1Vz0fTNo5FGy86HfQQmVsGdhflM++BbgfBLK1cLF+PjpHJb9oZ7bVgFth5NVZtRcOgugsKyVfzC0poPzf5LLy5SYbB659BEDrvdxvTMkzRm0FWrOeewDLS+3PvQ94NKD0vDvxZUbNZfMjsaC1vc7u328sfVDfcwth2iueVt/kFTpDOQi41DUgCN6sX62FKlBY04JD/LOExoVO4JqdgShLyZJjm1y5DO+BhaBwp+EmNcm91R0rCxHwNgWmaltiYcV6Enc70+PEwFTKeaS7pKtB4FiAdIfMfgphQnOpgCQahSkCuiJ4RRaiGMTJNcO2S68Zgb9ft7bqv97afPC3aseHcdx44bcd1HjlPnBfOK+fEoY1Pja+N740fzc/Nb82fzV8r6uVLxZ57ztrT/P0Hfyeg0g==</latexit><latexit sha1_base64="/STXVB+IStVJz543ROISR2WHdo8=">AAAHNnichVVbb9MwFA6XllFuGzzyYjFNaqUyNXuBl0kIqMTEpHHZCtLcRo7tdqaJEzluaRXlV/HC7+CNFx5AiFd+AsdpRlJngkhVjs/3+TsXH6d+HIhE93pfL12+crXRvLZxvXXj5q3bdza37g6SaKYoP6FREKn3Pkl4ICQ/0UIH/H2sOAn9gL/zp88M/m7OVSIieayXMR+GZCLFWFCiweVtNQ6x5B9pFIZEshQfHWUpDok+oyRIj7KstYYuCtAfpwsbW5bY0sZkiUkbOy4xbWOM8UATIPhRwJJlCC9w5j6L6auzyOIZD7AUX+OV0fw6Oi/ReR1lJcrqKC3RVTb/3V/FkhJLbGxQOZJBbeNMjWOdVChvaxQNqBYB49UY9hHVSdIi4XD5MVJK8OTUHQKZL3Q+f6niUNq2a0vCGAYmMS4hSW5EC2k/fWOkWztIwDTypLWztu9goghM04G3ipHmS1u8IP2t+gAIlgzjsT6r6KzWNaGC9lfpuVFCcHJqAqWuk/sB3CyuoFf9c9XDwmPr9gvd/r/D90ngcxZVeIXDNKiFfT4RElxiIrPWdeAcZm3Muph24VhHbhezSCe5/bKD9hGMQ+il0303G6UvM9zFM8ng8nOdDhAWElXmaDTNzPSEayy8yGkDTEmMKrNleO1Vz0fTNo5FGy86HfQQmVsGdhflM++BbgfBLK1cLF+PjpHJb9oZ7bVgFth5NVZtRcOgugsKyVfzC0poPzf5LLy5SYbB659BEDrvdxvTMkzRm0FWrOeewDLS+3PvQ94NKD0vDvxZUbNZfMjsaC1vc7u328sfVDfcwth2iueVt/kFTpDOQi41DUgCN6sX62FKlBY04JD/LOExoVO4JqdgShLyZJjm1y5DO+BhaBwp+EmNcm91R0rCxHwNgWmaltiYcV6Enc70+PEwFTKeaS7pKtB4FiAdIfMfgphQnOpgCQahSkCuiJ4RRaiGMTJNcO2S68Zgb9ft7bqv97afPC3aseHcdx44bcd1HjlPnBfOK+fEoY1Pja+N740fzc/Nb82fzV8r6uVLxZ57ztrT/P0Hfyeg0g==</latexit><latexit sha1_base64="/STXVB+IStVJz543ROISR2WHdo8=">AAAHNnichVVbb9MwFA6XllFuGzzyYjFNaqUyNXuBl0kIqMTEpHHZCtLcRo7tdqaJEzluaRXlV/HC7+CNFx5AiFd+AsdpRlJngkhVjs/3+TsXH6d+HIhE93pfL12+crXRvLZxvXXj5q3bdza37g6SaKYoP6FREKn3Pkl4ICQ/0UIH/H2sOAn9gL/zp88M/m7OVSIieayXMR+GZCLFWFCiweVtNQ6x5B9pFIZEshQfHWUpDok+oyRIj7KstYYuCtAfpwsbW5bY0sZkiUkbOy4xbWOM8UATIPhRwJJlCC9w5j6L6auzyOIZD7AUX+OV0fw6Oi/ReR1lJcrqKC3RVTb/3V/FkhJLbGxQOZJBbeNMjWOdVChvaxQNqBYB49UY9hHVSdIi4XD5MVJK8OTUHQKZL3Q+f6niUNq2a0vCGAYmMS4hSW5EC2k/fWOkWztIwDTypLWztu9goghM04G3ipHmS1u8IP2t+gAIlgzjsT6r6KzWNaGC9lfpuVFCcHJqAqWuk/sB3CyuoFf9c9XDwmPr9gvd/r/D90ngcxZVeIXDNKiFfT4RElxiIrPWdeAcZm3Muph24VhHbhezSCe5/bKD9hGMQ+il0303G6UvM9zFM8ng8nOdDhAWElXmaDTNzPSEayy8yGkDTEmMKrNleO1Vz0fTNo5FGy86HfQQmVsGdhflM++BbgfBLK1cLF+PjpHJb9oZ7bVgFth5NVZtRcOgugsKyVfzC0poPzf5LLy5SYbB659BEDrvdxvTMkzRm0FWrOeewDLS+3PvQ94NKD0vDvxZUbNZfMjsaC1vc7u328sfVDfcwth2iueVt/kFTpDOQi41DUgCN6sX62FKlBY04JD/LOExoVO4JqdgShLyZJjm1y5DO+BhaBwp+EmNcm91R0rCxHwNgWmaltiYcV6Enc70+PEwFTKeaS7pKtB4FiAdIfMfgphQnOpgCQahSkCuiJ4RRaiGMTJNcO2S68Zgb9ft7bqv97afPC3aseHcdx44bcd1HjlPnBfOK+fEoY1Pja+N740fzc/Nb82fzV8r6uVLxZ57ztrT/P0Hfyeg0g==</latexit><latexit sha1_base64="/STXVB+IStVJz543ROISR2WHdo8=">AAAHNnichVVbb9MwFA6XllFuGzzyYjFNaqUyNXuBl0kIqMTEpHHZCtLcRo7tdqaJEzluaRXlV/HC7+CNFx5AiFd+AsdpRlJngkhVjs/3+TsXH6d+HIhE93pfL12+crXRvLZxvXXj5q3bdza37g6SaKYoP6FREKn3Pkl4ICQ/0UIH/H2sOAn9gL/zp88M/m7OVSIieayXMR+GZCLFWFCiweVtNQ6x5B9pFIZEshQfHWUpDok+oyRIj7KstYYuCtAfpwsbW5bY0sZkiUkbOy4xbWOM8UATIPhRwJJlCC9w5j6L6auzyOIZD7AUX+OV0fw6Oi/ReR1lJcrqKC3RVTb/3V/FkhJLbGxQOZJBbeNMjWOdVChvaxQNqBYB49UY9hHVSdIi4XD5MVJK8OTUHQKZL3Q+f6niUNq2a0vCGAYmMS4hSW5EC2k/fWOkWztIwDTypLWztu9goghM04G3ipHmS1u8IP2t+gAIlgzjsT6r6KzWNaGC9lfpuVFCcHJqAqWuk/sB3CyuoFf9c9XDwmPr9gvd/r/D90ngcxZVeIXDNKiFfT4RElxiIrPWdeAcZm3Muph24VhHbhezSCe5/bKD9hGMQ+il0303G6UvM9zFM8ng8nOdDhAWElXmaDTNzPSEayy8yGkDTEmMKrNleO1Vz0fTNo5FGy86HfQQmVsGdhflM++BbgfBLK1cLF+PjpHJb9oZ7bVgFth5NVZtRcOgugsKyVfzC0poPzf5LLy5SYbB659BEDrvdxvTMkzRm0FWrOeewDLS+3PvQ94NKD0vDvxZUbNZfMjsaC1vc7u328sfVDfcwth2iueVt/kFTpDOQi41DUgCN6sX62FKlBY04JD/LOExoVO4JqdgShLyZJjm1y5DO+BhaBwp+EmNcm91R0rCxHwNgWmaltiYcV6Enc70+PEwFTKeaS7pKtB4FiAdIfMfgphQnOpgCQahSkCuiJ4RRaiGMTJNcO2S68Zgb9ft7bqv97afPC3aseHcdx44bcd1HjlPnBfOK+fEoY1Pja+N740fzc/Nb82fzV8r6uVLxZ57ztrT/P0Hfyeg0g==</latexit>

Three error terms are used to improve the 3D model• Penalize deviation between rendered intensity and

observed intensity (1).• Favor surfaces that are close the observed one in

the depth images (2).• Favor solutions where neighboring voxels have

similar albedo (3).

Results

Shading - Hörmander

IntensityImages

Fused depthimages

Our Result Intrinsic3DMaier et. al.

Quantitative Result

IntensityImages Fused depth images Our Result

Compare to groundtruth – 3D printed model

Motivation

Problem: 3D models obtained from fusion of depth images lack details due to:• Noise in depth images• Low resolution• Smoothing in the fusion process.

Goal: Enhance the quality of the 3D models.

Method: • Capture richer data with varying illumination. • Combining techniques from Photometric Stereo and Truncated

Signed Distance Functions (TSDF).

Notation and Details

Shading - Shirt

3D Renderings

Our result

Intrinsic3DMaier et. al.

Intensity Images

• The Lambertian reflectance modelestimates the observed intensity in a projected point as

• The normal of a surface point in a TSDF can be computed as

• is the tri-linear interpolation functionwhich gives the distance to the surface at point .

Idea: • Refine the distance values to change the normals in the voxels to

better fit the intensity images. • Captured data with varying illumination contain information about

detailed geometry.

Notation• and are eight distance- and albedo-estimates for a voxel .

• are the spherical harmonics.

• Surface points are extracted in all voxels that has a zero-crossing,

denotes the set of all such surface points.

• denotes the set of voxels observed in frame .

n(x,dV ) =rgV (x,dV )

krgV (x,dV )k<latexit sha1_base64="e3hZ+VzZfP9OHZlsa/Wrd1KFXqc=">AAAF73ichZTPb9MwFMczaGALvzY4crGoJg0JTc0ucEGagEpMQtqArZu0VJVjO601xwm2s7XK+k9w4QBCXPl3uPHf8JKGJXUmsFTVeZ+vv/bze0mYCq5Nr/d75cbNjnvr9uqad+fuvfsP1jceDnSSKcKOSCISdRJizQSX7MhwI9hJqhiOQ8GOw7PXBT8+Z0rzRB6aWcqGMR5LHnGCDYRGGx03kOyCJHGMJc2D/f15HsTYTAgW+f587i3RaQXDKJ/abFazmc1kzaTNDmtmbEYpEwaDIEwE1bMY/iBYxixlqCaJpSsioFJsSVfvFrbpeU3P25TWlLYpqeniNP9d32S6Ztpmg0ZJBq2FmYpSoxuSjy2JAWq4oKy5h12itkhaoiCeXSRKcaZP/SGI2dSU/ZcrBql1fdsS2lAUB2MSDskK08o6zD8U1t4m4tCNTHubS+v2xgpDN+2NFnvk5aNtXomust4DgWVDWWomDZ/Fc8uokl05vSmcEFROjSHVZXFfwJvFFNxV/6/ruypi+/Yr3/6/t+9jETKaNHRVoLggLwjZmEsI8bGce2uB3AqmzwI6GjxFL1EQKUygcjgUGI1Hg4KhEkI2l+g6EFzOIZ7IrDizB5Whlfdovdvb7pUDtSd+Nek61TgYrf8KaEKymElDBNbQEr3UDHOsDCeCQZKZZikmZ1DfU5hKHDM9zMt+maNNiFAUJQp+0qAy2lyR41gXrzEoi6pomxXB69hpZqIXw5zLNDNMksVGUSaQSVDx8UOUK0aMmMEEE8XhrIhMMFyjgU+kB5fg2ym3J4Odbb+37b/f6e6+qq5j1XnsPHG2HN957uw6b50D58ghHdH53Pna+eZ+cr+4390fC+mNlWrNI2dpuD//AE9dKII=</latexit><latexit sha1_base64="e3hZ+VzZfP9OHZlsa/Wrd1KFXqc=">AAAF73ichZTPb9MwFMczaGALvzY4crGoJg0JTc0ucEGagEpMQtqArZu0VJVjO601xwm2s7XK+k9w4QBCXPl3uPHf8JKGJXUmsFTVeZ+vv/bze0mYCq5Nr/d75cbNjnvr9uqad+fuvfsP1jceDnSSKcKOSCISdRJizQSX7MhwI9hJqhiOQ8GOw7PXBT8+Z0rzRB6aWcqGMR5LHnGCDYRGGx03kOyCJHGMJc2D/f15HsTYTAgW+f587i3RaQXDKJ/abFazmc1kzaTNDmtmbEYpEwaDIEwE1bMY/iBYxixlqCaJpSsioFJsSVfvFrbpeU3P25TWlLYpqeniNP9d32S6Ztpmg0ZJBq2FmYpSoxuSjy2JAWq4oKy5h12itkhaoiCeXSRKcaZP/SGI2dSU/ZcrBql1fdsS2lAUB2MSDskK08o6zD8U1t4m4tCNTHubS+v2xgpDN+2NFnvk5aNtXomust4DgWVDWWomDZ/Fc8uokl05vSmcEFROjSHVZXFfwJvFFNxV/6/ruypi+/Yr3/6/t+9jETKaNHRVoLggLwjZmEsI8bGce2uB3AqmzwI6GjxFL1EQKUygcjgUGI1Hg4KhEkI2l+g6EFzOIZ7IrDizB5Whlfdovdvb7pUDtSd+Nek61TgYrf8KaEKymElDBNbQEr3UDHOsDCeCQZKZZikmZ1DfU5hKHDM9zMt+maNNiFAUJQp+0qAy2lyR41gXrzEoi6pomxXB69hpZqIXw5zLNDNMksVGUSaQSVDx8UOUK0aMmMEEE8XhrIhMMFyjgU+kB5fg2ym3J4Odbb+37b/f6e6+qq5j1XnsPHG2HN957uw6b50D58ghHdH53Pna+eZ+cr+4390fC+mNlWrNI2dpuD//AE9dKII=</latexit><latexit sha1_base64="e3hZ+VzZfP9OHZlsa/Wrd1KFXqc=">AAAF73ichZTPb9MwFMczaGALvzY4crGoJg0JTc0ucEGagEpMQtqArZu0VJVjO601xwm2s7XK+k9w4QBCXPl3uPHf8JKGJXUmsFTVeZ+vv/bze0mYCq5Nr/d75cbNjnvr9uqad+fuvfsP1jceDnSSKcKOSCISdRJizQSX7MhwI9hJqhiOQ8GOw7PXBT8+Z0rzRB6aWcqGMR5LHnGCDYRGGx03kOyCJHGMJc2D/f15HsTYTAgW+f587i3RaQXDKJ/abFazmc1kzaTNDmtmbEYpEwaDIEwE1bMY/iBYxixlqCaJpSsioFJsSVfvFrbpeU3P25TWlLYpqeniNP9d32S6Ztpmg0ZJBq2FmYpSoxuSjy2JAWq4oKy5h12itkhaoiCeXSRKcaZP/SGI2dSU/ZcrBql1fdsS2lAUB2MSDskK08o6zD8U1t4m4tCNTHubS+v2xgpDN+2NFnvk5aNtXomust4DgWVDWWomDZ/Fc8uokl05vSmcEFROjSHVZXFfwJvFFNxV/6/ruypi+/Yr3/6/t+9jETKaNHRVoLggLwjZmEsI8bGce2uB3AqmzwI6GjxFL1EQKUygcjgUGI1Hg4KhEkI2l+g6EFzOIZ7IrDizB5Whlfdovdvb7pUDtSd+Nek61TgYrf8KaEKymElDBNbQEr3UDHOsDCeCQZKZZikmZ1DfU5hKHDM9zMt+maNNiFAUJQp+0qAy2lyR41gXrzEoi6pomxXB69hpZqIXw5zLNDNMksVGUSaQSVDx8UOUK0aMmMEEE8XhrIhMMFyjgU+kB5fg2ym3J4Odbb+37b/f6e6+qq5j1XnsPHG2HN957uw6b50D58ghHdH53Pna+eZ+cr+4390fC+mNlWrNI2dpuD//AE9dKII=</latexit><latexit sha1_base64="e3hZ+VzZfP9OHZlsa/Wrd1KFXqc=">AAAF73ichZTPb9MwFMczaGALvzY4crGoJg0JTc0ucEGagEpMQtqArZu0VJVjO601xwm2s7XK+k9w4QBCXPl3uPHf8JKGJXUmsFTVeZ+vv/bze0mYCq5Nr/d75cbNjnvr9uqad+fuvfsP1jceDnSSKcKOSCISdRJizQSX7MhwI9hJqhiOQ8GOw7PXBT8+Z0rzRB6aWcqGMR5LHnGCDYRGGx03kOyCJHGMJc2D/f15HsTYTAgW+f587i3RaQXDKJ/abFazmc1kzaTNDmtmbEYpEwaDIEwE1bMY/iBYxixlqCaJpSsioFJsSVfvFrbpeU3P25TWlLYpqeniNP9d32S6Ztpmg0ZJBq2FmYpSoxuSjy2JAWq4oKy5h12itkhaoiCeXSRKcaZP/SGI2dSU/ZcrBql1fdsS2lAUB2MSDskK08o6zD8U1t4m4tCNTHubS+v2xgpDN+2NFnvk5aNtXomust4DgWVDWWomDZ/Fc8uokl05vSmcEFROjSHVZXFfwJvFFNxV/6/ruypi+/Yr3/6/t+9jETKaNHRVoLggLwjZmEsI8bGce2uB3AqmzwI6GjxFL1EQKUygcjgUGI1Hg4KhEkI2l+g6EFzOIZ7IrDizB5Whlfdovdvb7pUDtSd+Nek61TgYrf8KaEKymElDBNbQEr3UDHOsDCeCQZKZZikmZ1DfU5hKHDM9zMt+maNNiFAUJQp+0qAy2lyR41gXrzEoi6pomxXB69hpZqIXw5zLNDNMksVGUSaQSVDx8UOUK0aMmMEEE8XhrIhMMFyjgU+kB5fg2ym3J4Odbb+37b/f6e6+qq5j1XnsPHG2HN957uw6b50D58ghHdH53Pna+eZ+cr+4390fC+mNlWrNI2dpuD//AE9dKII=</latexit>

gV : R3 ⇥ R8 ! R<latexit sha1_base64="FFF1OmfExLnjk1pzIs2GVMGeNSo=">AAAF3HichZTPb9MwFMezrYURfm1w5BJRTeI0NeOwidMEVGIS0gZs3dDSVY7zmlpz7Mh2tlVRxYUDCHHlD+PGv8FfwEubLamDIFLV5/f5+utnPydhypk23e6vpeWVVvvW7dU77t179x88XFt/1NcyUxSOqORSnYREA2cCjgwzHE5SBSQJORyH568KfnwBSjMpDs0khUFCYsFGjBKDqeH6yu9AwCWVSUJElAf7+9M8SIgZU8Lz/enUXaBXJQxH+ZXNJhWb2ExUTNjssGLGZlEE3BAUhJJHepLgHyZnOUsZqrG0dEUGVQoWdNVqYZNeVPSiSaOKRk1KKzqv5r/z60xXTNusX2tJvzExU6PU6JrkQ0NikBrGI6ivYbeoKRKWKEgml1IpBvrUH6AYrszs/uUKcGsd37bEa8iLwkBgkVCYltZh/r6wdjc8hrcRtLuxMG8vVgRv095wvkY+G9rmpehm13sosGwiSM245jMfN4xK2Y3T68LJw86pGLe6KO5xfLNA4Vn1rl3flhnbt1f69v69fI/wECJZ05WJ4oDcIISYCUyxWEzdeNj3Xnjzcz17jt1KQF8P850phiweG6KUvCzTXiCkyIoCXWxDVBoN1zrdze7s8ZqBXwYdp3wOhms/g0jSLAFhKCca+99NzSAnyjDKAXeUaUgJPcdmnmIoCBY2yGeXY+ptYCbyRlLhTxhvlq3PyEmii3cWlUULtM2K5N/YaWZGO4OciTQzIOh8oVHGPSO94kvnRUwBNXyCAaGKYa0eHRNFqMHvoYuH4Ntbbgb9rU2/u+m/2+rsviyPY9V54jx1njm+s+3sOm+cA+fIoa2PrU+tL62v7bP25/a39ve5dHmpnPPYWXjaP/4AgYIkjg==</latexit><latexit sha1_base64="FFF1OmfExLnjk1pzIs2GVMGeNSo=">AAAF3HichZTPb9MwFMezrYURfm1w5BJRTeI0NeOwidMEVGIS0gZs3dDSVY7zmlpz7Mh2tlVRxYUDCHHlD+PGv8FfwEubLamDIFLV5/f5+utnPydhypk23e6vpeWVVvvW7dU77t179x88XFt/1NcyUxSOqORSnYREA2cCjgwzHE5SBSQJORyH568KfnwBSjMpDs0khUFCYsFGjBKDqeH6yu9AwCWVSUJElAf7+9M8SIgZU8Lz/enUXaBXJQxH+ZXNJhWb2ExUTNjssGLGZlEE3BAUhJJHepLgHyZnOUsZqrG0dEUGVQoWdNVqYZNeVPSiSaOKRk1KKzqv5r/z60xXTNusX2tJvzExU6PU6JrkQ0NikBrGI6ivYbeoKRKWKEgml1IpBvrUH6AYrszs/uUKcGsd37bEa8iLwkBgkVCYltZh/r6wdjc8hrcRtLuxMG8vVgRv095wvkY+G9rmpehm13sosGwiSM245jMfN4xK2Y3T68LJw86pGLe6KO5xfLNA4Vn1rl3flhnbt1f69v69fI/wECJZ05WJ4oDcIISYCUyxWEzdeNj3Xnjzcz17jt1KQF8P850phiweG6KUvCzTXiCkyIoCXWxDVBoN1zrdze7s8ZqBXwYdp3wOhms/g0jSLAFhKCca+99NzSAnyjDKAXeUaUgJPcdmnmIoCBY2yGeXY+ptYCbyRlLhTxhvlq3PyEmii3cWlUULtM2K5N/YaWZGO4OciTQzIOh8oVHGPSO94kvnRUwBNXyCAaGKYa0eHRNFqMHvoYuH4Ntbbgb9rU2/u+m/2+rsviyPY9V54jx1njm+s+3sOm+cA+fIoa2PrU+tL62v7bP25/a39ve5dHmpnPPYWXjaP/4AgYIkjg==</latexit><latexit sha1_base64="FFF1OmfExLnjk1pzIs2GVMGeNSo=">AAAF3HichZTPb9MwFMezrYURfm1w5BJRTeI0NeOwidMEVGIS0gZs3dDSVY7zmlpz7Mh2tlVRxYUDCHHlD+PGv8FfwEubLamDIFLV5/f5+utnPydhypk23e6vpeWVVvvW7dU77t179x88XFt/1NcyUxSOqORSnYREA2cCjgwzHE5SBSQJORyH568KfnwBSjMpDs0khUFCYsFGjBKDqeH6yu9AwCWVSUJElAf7+9M8SIgZU8Lz/enUXaBXJQxH+ZXNJhWb2ExUTNjssGLGZlEE3BAUhJJHepLgHyZnOUsZqrG0dEUGVQoWdNVqYZNeVPSiSaOKRk1KKzqv5r/z60xXTNusX2tJvzExU6PU6JrkQ0NikBrGI6ivYbeoKRKWKEgml1IpBvrUH6AYrszs/uUKcGsd37bEa8iLwkBgkVCYltZh/r6wdjc8hrcRtLuxMG8vVgRv095wvkY+G9rmpehm13sosGwiSM245jMfN4xK2Y3T68LJw86pGLe6KO5xfLNA4Vn1rl3flhnbt1f69v69fI/wECJZ05WJ4oDcIISYCUyxWEzdeNj3Xnjzcz17jt1KQF8P850phiweG6KUvCzTXiCkyIoCXWxDVBoN1zrdze7s8ZqBXwYdp3wOhms/g0jSLAFhKCca+99NzSAnyjDKAXeUaUgJPcdmnmIoCBY2yGeXY+ptYCbyRlLhTxhvlq3PyEmii3cWlUULtM2K5N/YaWZGO4OciTQzIOh8oVHGPSO94kvnRUwBNXyCAaGKYa0eHRNFqMHvoYuH4Ntbbgb9rU2/u+m/2+rsviyPY9V54jx1njm+s+3sOm+cA+fIoa2PrU+tL62v7bP25/a39ve5dHmpnPPYWXjaP/4AgYIkjg==</latexit><latexit sha1_base64="FFF1OmfExLnjk1pzIs2GVMGeNSo=">AAAF3HichZTPb9MwFMezrYURfm1w5BJRTeI0NeOwidMEVGIS0gZs3dDSVY7zmlpz7Mh2tlVRxYUDCHHlD+PGv8FfwEubLamDIFLV5/f5+utnPydhypk23e6vpeWVVvvW7dU77t179x88XFt/1NcyUxSOqORSnYREA2cCjgwzHE5SBSQJORyH568KfnwBSjMpDs0khUFCYsFGjBKDqeH6yu9AwCWVSUJElAf7+9M8SIgZU8Lz/enUXaBXJQxH+ZXNJhWb2ExUTNjssGLGZlEE3BAUhJJHepLgHyZnOUsZqrG0dEUGVQoWdNVqYZNeVPSiSaOKRk1KKzqv5r/z60xXTNusX2tJvzExU6PU6JrkQ0NikBrGI6ivYbeoKRKWKEgml1IpBvrUH6AYrszs/uUKcGsd37bEa8iLwkBgkVCYltZh/r6wdjc8hrcRtLuxMG8vVgRv095wvkY+G9rmpehm13sosGwiSM245jMfN4xK2Y3T68LJw86pGLe6KO5xfLNA4Vn1rl3flhnbt1f69v69fI/wECJZ05WJ4oDcIISYCUyxWEzdeNj3Xnjzcz17jt1KQF8P850phiweG6KUvCzTXiCkyIoCXWxDVBoN1zrdze7s8ZqBXwYdp3wOhms/g0jSLAFhKCca+99NzSAnyjDKAXeUaUgJPcdmnmIoCBY2yGeXY+ptYCbyRlLhTxhvlq3PyEmii3cWlUULtM2K5N/YaWZGO4OciTQzIOh8oVHGPSO94kvnRUwBNXyCAaGKYa0eHRNFqMHvoYuH4Ntbbgb9rU2/u+m/2+rsviyPY9V54jx1njm+s+3sOm+cA+fIoa2PrU+tL62v7bP25/a39ve5dHmpnPPYWXjaP/4AgYIkjg==</latexit>

dV<latexit sha1_base64="bPN0BMG+ae26i/ka8I/Xms6DVjk=">AAAFrnichZTfbtMwFMazrYUR/nVwyU1ENQkJaUp2A5cTUIlJSNtg6yaaqnLs09aaY0e2s62K+nY8AXe8DSdtWFIHgaWqzvl95zv2sZMkE9zYMPy1tb3T6T54uPvIf/zk6bPnvb0XQ6NyTeGCKqH0VUIMCC7hwnIr4CrTQNJEwGVy/bHklzegDVfy3C4yGKdkJvmUU2IxNNnb+RFLuKUqTYlkRXxysizilNg5JaI4WS79DXpXwWRa3LlsUbOFy2TNpMvOa2ZdxhgIS1CQKMHMIsU/DK5ijjLRc+XoygiqNGzo6mpJm97U9KZNWU1Zm9Karlfz3/wmMzUzLhs2jmTYSsz1NLOmIfnWkliklgsGzRruEbVF0hHF6eJWac3BjKIxiuHOru5foQG31o9cS7yGolwYSFwklKaVdVJ8La39/YDjbQTj72/kHc80wdt0PFnXKFaPrnklut/1MQocGwaZnTd81s8to0p27/SpdArw5PQMt7opHgh8s0BjrwZ/XL9UEdd3UPkO/l1+QEQCTDV0VaBskB8nMOMSQ3wmMZFNhkEslczLkj42llVo0uuHB+FqBO1JVE36XjVOJ72fMVM0T0FaKojBEw0zOy6ItpwKwFK5gYzQazyeEU4lScGMi9VxL4N9jLBgqjT+pA1W0WZGQVJTvoWoLJtqXFYG/8ZGuZ2+HxdcZrkFSdeFprkIrArKb1fAuAZqxQInhGqOaw3onGhCLX7hfGxC5G65PRkeHkThQXR22D/6ULVj13vlvfbeeJH3zjvyPnun3oVHO287Z53vnVE37A674+5kLd3eqnJeehujO/8Nl34Rpg==</latexit><latexit sha1_base64="bPN0BMG+ae26i/ka8I/Xms6DVjk=">AAAFrnichZTfbtMwFMazrYUR/nVwyU1ENQkJaUp2A5cTUIlJSNtg6yaaqnLs09aaY0e2s62K+nY8AXe8DSdtWFIHgaWqzvl95zv2sZMkE9zYMPy1tb3T6T54uPvIf/zk6bPnvb0XQ6NyTeGCKqH0VUIMCC7hwnIr4CrTQNJEwGVy/bHklzegDVfy3C4yGKdkJvmUU2IxNNnb+RFLuKUqTYlkRXxysizilNg5JaI4WS79DXpXwWRa3LlsUbOFy2TNpMvOa2ZdxhgIS1CQKMHMIsU/DK5ijjLRc+XoygiqNGzo6mpJm97U9KZNWU1Zm9Karlfz3/wmMzUzLhs2jmTYSsz1NLOmIfnWkliklgsGzRruEbVF0hHF6eJWac3BjKIxiuHOru5foQG31o9cS7yGolwYSFwklKaVdVJ8La39/YDjbQTj72/kHc80wdt0PFnXKFaPrnklut/1MQocGwaZnTd81s8to0p27/SpdArw5PQMt7opHgh8s0BjrwZ/XL9UEdd3UPkO/l1+QEQCTDV0VaBskB8nMOMSQ3wmMZFNhkEslczLkj42llVo0uuHB+FqBO1JVE36XjVOJ72fMVM0T0FaKojBEw0zOy6ItpwKwFK5gYzQazyeEU4lScGMi9VxL4N9jLBgqjT+pA1W0WZGQVJTvoWoLJtqXFYG/8ZGuZ2+HxdcZrkFSdeFprkIrArKb1fAuAZqxQInhGqOaw3onGhCLX7hfGxC5G65PRkeHkThQXR22D/6ULVj13vlvfbeeJH3zjvyPnun3oVHO287Z53vnVE37A674+5kLd3eqnJeehujO/8Nl34Rpg==</latexit><latexit sha1_base64="bPN0BMG+ae26i/ka8I/Xms6DVjk=">AAAFrnichZTfbtMwFMazrYUR/nVwyU1ENQkJaUp2A5cTUIlJSNtg6yaaqnLs09aaY0e2s62K+nY8AXe8DSdtWFIHgaWqzvl95zv2sZMkE9zYMPy1tb3T6T54uPvIf/zk6bPnvb0XQ6NyTeGCKqH0VUIMCC7hwnIr4CrTQNJEwGVy/bHklzegDVfy3C4yGKdkJvmUU2IxNNnb+RFLuKUqTYlkRXxysizilNg5JaI4WS79DXpXwWRa3LlsUbOFy2TNpMvOa2ZdxhgIS1CQKMHMIsU/DK5ijjLRc+XoygiqNGzo6mpJm97U9KZNWU1Zm9Karlfz3/wmMzUzLhs2jmTYSsz1NLOmIfnWkliklgsGzRruEbVF0hHF6eJWac3BjKIxiuHOru5foQG31o9cS7yGolwYSFwklKaVdVJ8La39/YDjbQTj72/kHc80wdt0PFnXKFaPrnklut/1MQocGwaZnTd81s8to0p27/SpdArw5PQMt7opHgh8s0BjrwZ/XL9UEdd3UPkO/l1+QEQCTDV0VaBskB8nMOMSQ3wmMZFNhkEslczLkj42llVo0uuHB+FqBO1JVE36XjVOJ72fMVM0T0FaKojBEw0zOy6ItpwKwFK5gYzQazyeEU4lScGMi9VxL4N9jLBgqjT+pA1W0WZGQVJTvoWoLJtqXFYG/8ZGuZ2+HxdcZrkFSdeFprkIrArKb1fAuAZqxQInhGqOaw3onGhCLX7hfGxC5G65PRkeHkThQXR22D/6ULVj13vlvfbeeJH3zjvyPnun3oVHO287Z53vnVE37A674+5kLd3eqnJeehujO/8Nl34Rpg==</latexit><latexit sha1_base64="bPN0BMG+ae26i/ka8I/Xms6DVjk=">AAAFrnichZTfbtMwFMazrYUR/nVwyU1ENQkJaUp2A5cTUIlJSNtg6yaaqnLs09aaY0e2s62K+nY8AXe8DSdtWFIHgaWqzvl95zv2sZMkE9zYMPy1tb3T6T54uPvIf/zk6bPnvb0XQ6NyTeGCKqH0VUIMCC7hwnIr4CrTQNJEwGVy/bHklzegDVfy3C4yGKdkJvmUU2IxNNnb+RFLuKUqTYlkRXxysizilNg5JaI4WS79DXpXwWRa3LlsUbOFy2TNpMvOa2ZdxhgIS1CQKMHMIsU/DK5ijjLRc+XoygiqNGzo6mpJm97U9KZNWU1Zm9Karlfz3/wmMzUzLhs2jmTYSsz1NLOmIfnWkliklgsGzRruEbVF0hHF6eJWac3BjKIxiuHOru5foQG31o9cS7yGolwYSFwklKaVdVJ8La39/YDjbQTj72/kHc80wdt0PFnXKFaPrnklut/1MQocGwaZnTd81s8to0p27/SpdArw5PQMt7opHgh8s0BjrwZ/XL9UEdd3UPkO/l1+QEQCTDV0VaBskB8nMOMSQ3wmMZFNhkEslczLkj42llVo0uuHB+FqBO1JVE36XjVOJ72fMVM0T0FaKojBEw0zOy6ItpwKwFK5gYzQazyeEU4lScGMi9VxL4N9jLBgqjT+pA1W0WZGQVJTvoWoLJtqXFYG/8ZGuZ2+HxdcZrkFSdeFprkIrArKb1fAuAZqxQInhGqOaw3onGhCLX7hfGxC5G65PRkeHkThQXR22D/6ULVj13vlvfbeeJH3zjvyPnun3oVHO287Z53vnVE37A674+5kLd3eqnJeehujO/8Nl34Rpg==</latexit>

⇢V<latexit sha1_base64="mckhN1Vi68E5r1CmZWa9PMFclcc=">AAAFrnichZTfbtMwFMazrYUR/nVwyU1ENQkJaUp2A5cTUIlJSNtg6yaaqnLs09aaY0e2s62K+nY8AXe8DSdtWFIHgaWqzvl95zv2sZMkE9zYMPy1tb3T6T54uPvIf/zk6bPnvb0XQ6NyTeGCKqH0VUIMCC7hwnIr4CrTQNJEwGVy/bHklzegDVfy3C4yGKdkJvmUU2IxNNnb+RFLuKUqTYlkRXxysizilNg5JaI4WS79DXpXwWRa3LlsUbOFy2TNpMvOa2ZdxhgIS1CQKMHMIsU/DK5ijjLRc+XoygiqNGzo6mpJm97U9KZNWU1Zm9Karlfz3/wmMzUzLhs2jmTYSsz1NLOmIfnWkliklgsGzRruEbVF0hHF6eJWac3BjKIxiuHOru5foQG31o9cS7yGolwYSFwklKaVdVJ8La39/YDjbQTj72/kHc80wdt0PFnXKFaPrnklut/1MQocGwaZnTd81s8to0p27/SpdArw5PQMt7opHgh8s0BjrwZ/XL9UEdd3UPkO/l1+QEQCTDV0VaBskB8nMOMSQ3wmMZFOhkEslczLkj42llVo0uuHB+FqBO1JVE36XjVOJ72fMVM0T0FaKojBEw0zOy6ItpwKwFK5gYzQazyeEU4lScGMi9VxL4N9jLBgqjT+pA1W0WZGQVJTvoWoLJtqXFYG/8ZGuZ2+HxdcZrkFSdeFprkIrArKb1fAuAZqxQInhGqOaw3onGhCLX7hfGxC5G65PRkeHkThQXR22D/6ULVj13vlvfbeeJH3zjvyPnun3oVHO287Z53vnVE37A674+5kLd3eqnJeehujO/8NleIRpQ==</latexit><latexit sha1_base64="mckhN1Vi68E5r1CmZWa9PMFclcc=">AAAFrnichZTfbtMwFMazrYUR/nVwyU1ENQkJaUp2A5cTUIlJSNtg6yaaqnLs09aaY0e2s62K+nY8AXe8DSdtWFIHgaWqzvl95zv2sZMkE9zYMPy1tb3T6T54uPvIf/zk6bPnvb0XQ6NyTeGCKqH0VUIMCC7hwnIr4CrTQNJEwGVy/bHklzegDVfy3C4yGKdkJvmUU2IxNNnb+RFLuKUqTYlkRXxysizilNg5JaI4WS79DXpXwWRa3LlsUbOFy2TNpMvOa2ZdxhgIS1CQKMHMIsU/DK5ijjLRc+XoygiqNGzo6mpJm97U9KZNWU1Zm9Karlfz3/wmMzUzLhs2jmTYSsz1NLOmIfnWkliklgsGzRruEbVF0hHF6eJWac3BjKIxiuHOru5foQG31o9cS7yGolwYSFwklKaVdVJ8La39/YDjbQTj72/kHc80wdt0PFnXKFaPrnklut/1MQocGwaZnTd81s8to0p27/SpdArw5PQMt7opHgh8s0BjrwZ/XL9UEdd3UPkO/l1+QEQCTDV0VaBskB8nMOMSQ3wmMZFOhkEslczLkj42llVo0uuHB+FqBO1JVE36XjVOJ72fMVM0T0FaKojBEw0zOy6ItpwKwFK5gYzQazyeEU4lScGMi9VxL4N9jLBgqjT+pA1W0WZGQVJTvoWoLJtqXFYG/8ZGuZ2+HxdcZrkFSdeFprkIrArKb1fAuAZqxQInhGqOaw3onGhCLX7hfGxC5G65PRkeHkThQXR22D/6ULVj13vlvfbeeJH3zjvyPnun3oVHO287Z53vnVE37A674+5kLd3eqnJeehujO/8NleIRpQ==</latexit><latexit sha1_base64="mckhN1Vi68E5r1CmZWa9PMFclcc=">AAAFrnichZTfbtMwFMazrYUR/nVwyU1ENQkJaUp2A5cTUIlJSNtg6yaaqnLs09aaY0e2s62K+nY8AXe8DSdtWFIHgaWqzvl95zv2sZMkE9zYMPy1tb3T6T54uPvIf/zk6bPnvb0XQ6NyTeGCKqH0VUIMCC7hwnIr4CrTQNJEwGVy/bHklzegDVfy3C4yGKdkJvmUU2IxNNnb+RFLuKUqTYlkRXxysizilNg5JaI4WS79DXpXwWRa3LlsUbOFy2TNpMvOa2ZdxhgIS1CQKMHMIsU/DK5ijjLRc+XoygiqNGzo6mpJm97U9KZNWU1Zm9Karlfz3/wmMzUzLhs2jmTYSsz1NLOmIfnWkliklgsGzRruEbVF0hHF6eJWac3BjKIxiuHOru5foQG31o9cS7yGolwYSFwklKaVdVJ8La39/YDjbQTj72/kHc80wdt0PFnXKFaPrnklut/1MQocGwaZnTd81s8to0p27/SpdArw5PQMt7opHgh8s0BjrwZ/XL9UEdd3UPkO/l1+QEQCTDV0VaBskB8nMOMSQ3wmMZFOhkEslczLkj42llVo0uuHB+FqBO1JVE36XjVOJ72fMVM0T0FaKojBEw0zOy6ItpwKwFK5gYzQazyeEU4lScGMi9VxL4N9jLBgqjT+pA1W0WZGQVJTvoWoLJtqXFYG/8ZGuZ2+HxdcZrkFSdeFprkIrArKb1fAuAZqxQInhGqOaw3onGhCLX7hfGxC5G65PRkeHkThQXR22D/6ULVj13vlvfbeeJH3zjvyPnun3oVHO287Z53vnVE37A674+5kLd3eqnJeehujO/8NleIRpQ==</latexit><latexit sha1_base64="mckhN1Vi68E5r1CmZWa9PMFclcc=">AAAFrnichZTfbtMwFMazrYUR/nVwyU1ENQkJaUp2A5cTUIlJSNtg6yaaqnLs09aaY0e2s62K+nY8AXe8DSdtWFIHgaWqzvl95zv2sZMkE9zYMPy1tb3T6T54uPvIf/zk6bPnvb0XQ6NyTeGCKqH0VUIMCC7hwnIr4CrTQNJEwGVy/bHklzegDVfy3C4yGKdkJvmUU2IxNNnb+RFLuKUqTYlkRXxysizilNg5JaI4WS79DXpXwWRa3LlsUbOFy2TNpMvOa2ZdxhgIS1CQKMHMIsU/DK5ijjLRc+XoygiqNGzo6mpJm97U9KZNWU1Zm9Karlfz3/wmMzUzLhs2jmTYSsz1NLOmIfnWkliklgsGzRruEbVF0hHF6eJWac3BjKIxiuHOru5foQG31o9cS7yGolwYSFwklKaVdVJ8La39/YDjbQTj72/kHc80wdt0PFnXKFaPrnklut/1MQocGwaZnTd81s8to0p27/SpdArw5PQMt7opHgh8s0BjrwZ/XL9UEdd3UPkO/l1+QEQCTDV0VaBskB8nMOMSQ3wmMZFOhkEslczLkj42llVo0uuHB+FqBO1JVE36XjVOJ72fMVM0T0FaKojBEw0zOy6ItpwKwFK5gYzQazyeEU4lScGMi9VxL4N9jLBgqjT+pA1W0WZGQVJTvoWoLJtqXFYG/8ZGuZ2+HxdcZrkFSdeFprkIrArKb1fAuAZqxQInhGqOaw3onGhCLX7hfGxC5G65PRkeHkThQXR22D/6ULVj13vlvfbeeJH3zjvyPnun3oVHO287Z53vnVE37A674+5kLd3eqnJeehujO/8NleIRpQ==</latexit>

s, n 2 R9<latexit sha1_base64="0mHqSDQcqZuW3GmXOCBrMhxpTOU=">AAAFv3ichVRdb9MwFM22Fkb42uCRl4hqEg9oavYCSDyMj0pMQtqArZu0lMqxb1urjh3ZzrYo6p9E4oF/w00bltRBYKmqc865517f6yROBTe23/+1sbnV6d65u33Pv//g4aPHO7tPhkZlmsIZVULpi5gYEFzCmeVWwEWqgSSxgPN4/qHkz69AG67kqc1TGCVkKvmEU2IRGu9u/YwkXFOVJESyIjo+XhRRQuyMElEcLxb+GntTkfGkuHG5vOZyl5M1J13utOasyzEGwhIUxEowkyf4h+ASc5SxnilHVyKo0rCmq7PFbfaqZq/aLKtZ1mZpza6q+W98kzM1Z1xu2BjJsBWY6UlqTUPyrSWxyFouGDRzuCNqi6QjipL8WmnNwVyGIxTDjV3ev0IDHq0XupZ4DUVZGEgsEkrTyjouvpbW/l7A8TaC8ffW4o6mmuBtOhqvchTLR9e8Et2e+ggFjg2D1M4aPqvnllElu3X6WDoFODk9xaOuiwcC3yzQ2KvBH9fPFeL6Dirfwb/TD4iIgamGrgLKBvlRDFMuEeJTiYHGvgxwUkHEZbBq7/c3CCiZlTX42GlWacc7vf5+f7mC9iasNj2vWifjnR8RUzRLQFoqiMER91M7Koi2nArA3JmBlNA5zusSt5IkYEbFcv6LYA8RFkyUxh+Wt0SbEQVJTPlaorLssnG5Evwbd5nZyetRwWWaWZB0lWiSicCqoPyYBYxroFbkuCFUc6w1oDOiCbX4yfOxCaF75PZmeLAf9vfDLwe9w/dVO7a9Z95z74UXeq+8Q++Td+KdebTzthN35h3RfdeddmU3XUk3N6qYp97a6ua/ATbFGCU=</latexit><latexit sha1_base64="0mHqSDQcqZuW3GmXOCBrMhxpTOU=">AAAFv3ichVRdb9MwFM22Fkb42uCRl4hqEg9oavYCSDyMj0pMQtqArZu0lMqxb1urjh3ZzrYo6p9E4oF/w00bltRBYKmqc865517f6yROBTe23/+1sbnV6d65u33Pv//g4aPHO7tPhkZlmsIZVULpi5gYEFzCmeVWwEWqgSSxgPN4/qHkz69AG67kqc1TGCVkKvmEU2IRGu9u/YwkXFOVJESyIjo+XhRRQuyMElEcLxb+GntTkfGkuHG5vOZyl5M1J13utOasyzEGwhIUxEowkyf4h+ASc5SxnilHVyKo0rCmq7PFbfaqZq/aLKtZ1mZpza6q+W98kzM1Z1xu2BjJsBWY6UlqTUPyrSWxyFouGDRzuCNqi6QjipL8WmnNwVyGIxTDjV3ev0IDHq0XupZ4DUVZGEgsEkrTyjouvpbW/l7A8TaC8ffW4o6mmuBtOhqvchTLR9e8Et2e+ggFjg2D1M4aPqvnllElu3X6WDoFODk9xaOuiwcC3yzQ2KvBH9fPFeL6Dirfwb/TD4iIgamGrgLKBvlRDFMuEeJTiYHGvgxwUkHEZbBq7/c3CCiZlTX42GlWacc7vf5+f7mC9iasNj2vWifjnR8RUzRLQFoqiMER91M7Koi2nArA3JmBlNA5zusSt5IkYEbFcv6LYA8RFkyUxh+Wt0SbEQVJTPlaorLssnG5Evwbd5nZyetRwWWaWZB0lWiSicCqoPyYBYxroFbkuCFUc6w1oDOiCbX4yfOxCaF75PZmeLAf9vfDLwe9w/dVO7a9Z95z74UXeq+8Q++Td+KdebTzthN35h3RfdeddmU3XUk3N6qYp97a6ua/ATbFGCU=</latexit><latexit sha1_base64="0mHqSDQcqZuW3GmXOCBrMhxpTOU=">AAAFv3ichVRdb9MwFM22Fkb42uCRl4hqEg9oavYCSDyMj0pMQtqArZu0lMqxb1urjh3ZzrYo6p9E4oF/w00bltRBYKmqc865517f6yROBTe23/+1sbnV6d65u33Pv//g4aPHO7tPhkZlmsIZVULpi5gYEFzCmeVWwEWqgSSxgPN4/qHkz69AG67kqc1TGCVkKvmEU2IRGu9u/YwkXFOVJESyIjo+XhRRQuyMElEcLxb+GntTkfGkuHG5vOZyl5M1J13utOasyzEGwhIUxEowkyf4h+ASc5SxnilHVyKo0rCmq7PFbfaqZq/aLKtZ1mZpza6q+W98kzM1Z1xu2BjJsBWY6UlqTUPyrSWxyFouGDRzuCNqi6QjipL8WmnNwVyGIxTDjV3ev0IDHq0XupZ4DUVZGEgsEkrTyjouvpbW/l7A8TaC8ffW4o6mmuBtOhqvchTLR9e8Et2e+ggFjg2D1M4aPqvnllElu3X6WDoFODk9xaOuiwcC3yzQ2KvBH9fPFeL6Dirfwb/TD4iIgamGrgLKBvlRDFMuEeJTiYHGvgxwUkHEZbBq7/c3CCiZlTX42GlWacc7vf5+f7mC9iasNj2vWifjnR8RUzRLQFoqiMER91M7Koi2nArA3JmBlNA5zusSt5IkYEbFcv6LYA8RFkyUxh+Wt0SbEQVJTPlaorLssnG5Evwbd5nZyetRwWWaWZB0lWiSicCqoPyYBYxroFbkuCFUc6w1oDOiCbX4yfOxCaF75PZmeLAf9vfDLwe9w/dVO7a9Z95z74UXeq+8Q++Td+KdebTzthN35h3RfdeddmU3XUk3N6qYp97a6ua/ATbFGCU=</latexit><latexit sha1_base64="0mHqSDQcqZuW3GmXOCBrMhxpTOU=">AAAFv3ichVRdb9MwFM22Fkb42uCRl4hqEg9oavYCSDyMj0pMQtqArZu0lMqxb1urjh3ZzrYo6p9E4oF/w00bltRBYKmqc865517f6yROBTe23/+1sbnV6d65u33Pv//g4aPHO7tPhkZlmsIZVULpi5gYEFzCmeVWwEWqgSSxgPN4/qHkz69AG67kqc1TGCVkKvmEU2IRGu9u/YwkXFOVJESyIjo+XhRRQuyMElEcLxb+GntTkfGkuHG5vOZyl5M1J13utOasyzEGwhIUxEowkyf4h+ASc5SxnilHVyKo0rCmq7PFbfaqZq/aLKtZ1mZpza6q+W98kzM1Z1xu2BjJsBWY6UlqTUPyrSWxyFouGDRzuCNqi6QjipL8WmnNwVyGIxTDjV3ev0IDHq0XupZ4DUVZGEgsEkrTyjouvpbW/l7A8TaC8ffW4o6mmuBtOhqvchTLR9e8Et2e+ggFjg2D1M4aPqvnllElu3X6WDoFODk9xaOuiwcC3yzQ2KvBH9fPFeL6Dirfwb/TD4iIgamGrgLKBvlRDFMuEeJTiYHGvgxwUkHEZbBq7/c3CCiZlTX42GlWacc7vf5+f7mC9iasNj2vWifjnR8RUzRLQFoqiMER91M7Koi2nArA3JmBlNA5zusSt5IkYEbFcv6LYA8RFkyUxh+Wt0SbEQVJTPlaorLssnG5Evwbd5nZyetRwWWaWZB0lWiSicCqoPyYBYxroFbkuCFUc6w1oDOiCbX4yfOxCaF75PZmeLAf9vfDLwe9w/dVO7a9Z95z74UXeq+8Q++Td+KdebTzthN35h3RfdeddmU3XUk3N6qYp97a6ua/ATbFGCU=</latexit>

S<latexit sha1_base64="4QPMJlIBrYTrSZ8nJgEn1rpuYPg=">AAAFsnichZRdb9MwFIazrYURvja45CaimsTVaKZJcDkBlaiEtAFrN7GUynFOW2uOHdnO1irq/+OaO/4NJ61ZUgeBparOed7zHtvHSZxxpk23+2tre6fVvnd/94H/8NHjJ0/39p8NtcwVhQGVXKrLmGjgTMDAMMPhMlNA0pjDRXz9vuQXN6A0k+LcLDIYpWQq2IRRYjA03t/5EQm4pTJNiUiK6PR0WUQpMTNKeHG6XPobdG5hPCnmLltUbOEyUTHhsvOKGZclCXBDUBBLnuhFin8YXMUcZaxm0tGVEVQp2NBV1eImvanoTZMmFU2alFZ0vZr/5teZrph22bDWkmEjMVeTzOia5GtDYpAaxhOo13Bb1BQJRxSli1upFAN9FY5QDHOzun+FAtxaJ3Qt8RrycmEgcJFQmlrruPhSWvsHAcPbCNo/2MjrTxXB29Qfr2sUq0fX3Irudt1HgWOTQGZmNZ/1c8PIyu6cPpROAXZOTXGrm+IexzcLFJ5V74/rJxtxfXvWt/fv8j3CY0hkTWcD5QH5UQxTJjDEpgITbbODSEiRl2V9PNzE4vFep3vYXY2gOQntpOPZcTbe+xklkuYpCEM50djVbmZGBVGGUQ5YLteQEXqNLbrCqSAp6FGxavkyOMBIEkykwp8wwSpazyhIqss3EZXlwWqXlcG/savcTN6OCiay3ICg60KTnAdGBuX3K0iYAmr4AieEKoZrDeiMKEINfuV8PITQ3XJzMjw6DLuH4eejzsk7exy73gvvpffKC7033on30TvzBh5tvW4NWt9b4/Zx+1ubtOlaur1lc557G6PNfwNo7hPM</latexit><latexit sha1_base64="4QPMJlIBrYTrSZ8nJgEn1rpuYPg=">AAAFsnichZRdb9MwFIazrYURvja45CaimsTVaKZJcDkBlaiEtAFrN7GUynFOW2uOHdnO1irq/+OaO/4NJ61ZUgeBparOed7zHtvHSZxxpk23+2tre6fVvnd/94H/8NHjJ0/39p8NtcwVhQGVXKrLmGjgTMDAMMPhMlNA0pjDRXz9vuQXN6A0k+LcLDIYpWQq2IRRYjA03t/5EQm4pTJNiUiK6PR0WUQpMTNKeHG6XPobdG5hPCnmLltUbOEyUTHhsvOKGZclCXBDUBBLnuhFin8YXMUcZaxm0tGVEVQp2NBV1eImvanoTZMmFU2alFZ0vZr/5teZrph22bDWkmEjMVeTzOia5GtDYpAaxhOo13Bb1BQJRxSli1upFAN9FY5QDHOzun+FAtxaJ3Qt8RrycmEgcJFQmlrruPhSWvsHAcPbCNo/2MjrTxXB29Qfr2sUq0fX3Irudt1HgWOTQGZmNZ/1c8PIyu6cPpROAXZOTXGrm+IexzcLFJ5V74/rJxtxfXvWt/fv8j3CY0hkTWcD5QH5UQxTJjDEpgITbbODSEiRl2V9PNzE4vFep3vYXY2gOQntpOPZcTbe+xklkuYpCEM50djVbmZGBVGGUQ5YLteQEXqNLbrCqSAp6FGxavkyOMBIEkykwp8wwSpazyhIqss3EZXlwWqXlcG/savcTN6OCiay3ICg60KTnAdGBuX3K0iYAmr4AieEKoZrDeiMKEINfuV8PITQ3XJzMjw6DLuH4eejzsk7exy73gvvpffKC7033on30TvzBh5tvW4NWt9b4/Zx+1ubtOlaur1lc557G6PNfwNo7hPM</latexit><latexit sha1_base64="4QPMJlIBrYTrSZ8nJgEn1rpuYPg=">AAAFsnichZRdb9MwFIazrYURvja45CaimsTVaKZJcDkBlaiEtAFrN7GUynFOW2uOHdnO1irq/+OaO/4NJ61ZUgeBparOed7zHtvHSZxxpk23+2tre6fVvnd/94H/8NHjJ0/39p8NtcwVhQGVXKrLmGjgTMDAMMPhMlNA0pjDRXz9vuQXN6A0k+LcLDIYpWQq2IRRYjA03t/5EQm4pTJNiUiK6PR0WUQpMTNKeHG6XPobdG5hPCnmLltUbOEyUTHhsvOKGZclCXBDUBBLnuhFin8YXMUcZaxm0tGVEVQp2NBV1eImvanoTZMmFU2alFZ0vZr/5teZrph22bDWkmEjMVeTzOia5GtDYpAaxhOo13Bb1BQJRxSli1upFAN9FY5QDHOzun+FAtxaJ3Qt8RrycmEgcJFQmlrruPhSWvsHAcPbCNo/2MjrTxXB29Qfr2sUq0fX3Irudt1HgWOTQGZmNZ/1c8PIyu6cPpROAXZOTXGrm+IexzcLFJ5V74/rJxtxfXvWt/fv8j3CY0hkTWcD5QH5UQxTJjDEpgITbbODSEiRl2V9PNzE4vFep3vYXY2gOQntpOPZcTbe+xklkuYpCEM50djVbmZGBVGGUQ5YLteQEXqNLbrCqSAp6FGxavkyOMBIEkykwp8wwSpazyhIqss3EZXlwWqXlcG/savcTN6OCiay3ICg60KTnAdGBuX3K0iYAmr4AieEKoZrDeiMKEINfuV8PITQ3XJzMjw6DLuH4eejzsk7exy73gvvpffKC7033on30TvzBh5tvW4NWt9b4/Zx+1ubtOlaur1lc557G6PNfwNo7hPM</latexit><latexit sha1_base64="4QPMJlIBrYTrSZ8nJgEn1rpuYPg=">AAAFsnichZRdb9MwFIazrYURvja45CaimsTVaKZJcDkBlaiEtAFrN7GUynFOW2uOHdnO1irq/+OaO/4NJ61ZUgeBparOed7zHtvHSZxxpk23+2tre6fVvnd/94H/8NHjJ0/39p8NtcwVhQGVXKrLmGjgTMDAMMPhMlNA0pjDRXz9vuQXN6A0k+LcLDIYpWQq2IRRYjA03t/5EQm4pTJNiUiK6PR0WUQpMTNKeHG6XPobdG5hPCnmLltUbOEyUTHhsvOKGZclCXBDUBBLnuhFin8YXMUcZaxm0tGVEVQp2NBV1eImvanoTZMmFU2alFZ0vZr/5teZrph22bDWkmEjMVeTzOia5GtDYpAaxhOo13Bb1BQJRxSli1upFAN9FY5QDHOzun+FAtxaJ3Qt8RrycmEgcJFQmlrruPhSWvsHAcPbCNo/2MjrTxXB29Qfr2sUq0fX3Irudt1HgWOTQGZmNZ/1c8PIyu6cPpROAXZOTXGrm+IexzcLFJ5V74/rJxtxfXvWt/fv8j3CY0hkTWcD5QH5UQxTJjDEpgITbbODSEiRl2V9PNzE4vFep3vYXY2gOQntpOPZcTbe+xklkuYpCEM50djVbmZGBVGGUQ5YLteQEXqNLbrCqSAp6FGxavkyOMBIEkykwp8wwSpazyhIqss3EZXlwWqXlcG/savcTN6OCiay3ICg60KTnAdGBuX3K0iYAmr4AieEKoZrDeiMKEINfuV8PITQ3XJzMjw6DLuH4eejzsk7exy73gvvpffKC7033on30TvzBh5tvW4NWt9b4/Zx+1ubtOlaur1lc557G6PNfwNo7hPM</latexit>

I(⇡(x)) = ⇢(x)sTn(x)<latexit sha1_base64="UHcOcRDxY/gV1iFwOaWokcOoc5o=">AAAF1HichZTfbtMwFMazrYUR/m1wyY1FNWm7mZrdjBukCajEJKRtsHWTllI5zmlrzXEi29lahUogxC0Pxx2vwFNw0oQldRBYqnpyfp8/+9gnCRLBtel2f66srrXad+6u33PvP3j46PHG5pO+jlPF4IzFIlYXAdUguIQzw42Ai0QBjQIB58HV65yfX4PSPJanZpbAIKJjyUecUYOp4ebaL1/CDYujiMow84+O5pkfUTNhVGRH87m7RKclDEbZ1Gazis1sJismbXZaMWOzMARhKAqCWIR6FuEfJhc5SxmoSWzp8gyqFCzpqtWCJr2u6HWThhUNm5RVtNjNf+fXma6Ytlm/diX9xsRUjRKja5IPDYlBargIob6GfUVNkbREfjS7iZXioC+9AYphahb9lynA0jqebYltKPKNgcRNQm5aWgfZ+9za3SIcuxG0u7U073CsKHbT4bBYI1s82ual6LbqQxRYNiEkZlLzKZ4bRqXs1ulN7kTw5tQYS10W9wS+WaDwrHp/XN+VGdu3V/r2/r18j4oAwrimKxP5AfkBjLnEDB/LuUtwFHWTbT/h2/50Z4e8JHmj5zHx9cdT4ssilrFM8425ePxh6TDc6HR3u4tBmoFXBh2nHMfDjR9+GLM0AmmYoBrvvZuYQUaV4UwAVpJqSCi7wku8xFDSCPQgWzTFnGxhJiSjWOFPGrLI1mdkNNL5u4rK/Oi1zfLk39hlakYvBhmXSWpAsmKhUSqIiUn+hSMhV8CMmGFAmeK4V8ImVFFm8Dvo4iF4dsnNoL+363V3vZO9zsGr8jjWnWfOc2fb8Zx958B56xw7Zw5rnbRuWp9bX9r99qf21/a3Qrq6Us556iyN9vff/0EePQ==</latexit><latexit sha1_base64="UHcOcRDxY/gV1iFwOaWokcOoc5o=">AAAF1HichZTfbtMwFMazrYUR/m1wyY1FNWm7mZrdjBukCajEJKRtsHWTllI5zmlrzXEi29lahUogxC0Pxx2vwFNw0oQldRBYqnpyfp8/+9gnCRLBtel2f66srrXad+6u33PvP3j46PHG5pO+jlPF4IzFIlYXAdUguIQzw42Ai0QBjQIB58HV65yfX4PSPJanZpbAIKJjyUecUYOp4ebaL1/CDYujiMow84+O5pkfUTNhVGRH87m7RKclDEbZ1Gazis1sJismbXZaMWOzMARhKAqCWIR6FuEfJhc5SxmoSWzp8gyqFCzpqtWCJr2u6HWThhUNm5RVtNjNf+fXma6Ytlm/diX9xsRUjRKja5IPDYlBargIob6GfUVNkbREfjS7iZXioC+9AYphahb9lynA0jqebYltKPKNgcRNQm5aWgfZ+9za3SIcuxG0u7U073CsKHbT4bBYI1s82ual6LbqQxRYNiEkZlLzKZ4bRqXs1ulN7kTw5tQYS10W9wS+WaDwrHp/XN+VGdu3V/r2/r18j4oAwrimKxP5AfkBjLnEDB/LuUtwFHWTbT/h2/50Z4e8JHmj5zHx9cdT4ssilrFM8425ePxh6TDc6HR3u4tBmoFXBh2nHMfDjR9+GLM0AmmYoBrvvZuYQUaV4UwAVpJqSCi7wku8xFDSCPQgWzTFnGxhJiSjWOFPGrLI1mdkNNL5u4rK/Oi1zfLk39hlakYvBhmXSWpAsmKhUSqIiUn+hSMhV8CMmGFAmeK4V8ImVFFm8Dvo4iF4dsnNoL+363V3vZO9zsGr8jjWnWfOc2fb8Zx958B56xw7Zw5rnbRuWp9bX9r99qf21/a3Qrq6Us556iyN9vff/0EePQ==</latexit><latexit sha1_base64="UHcOcRDxY/gV1iFwOaWokcOoc5o=">AAAF1HichZTfbtMwFMazrYUR/m1wyY1FNWm7mZrdjBukCajEJKRtsHWTllI5zmlrzXEi29lahUogxC0Pxx2vwFNw0oQldRBYqnpyfp8/+9gnCRLBtel2f66srrXad+6u33PvP3j46PHG5pO+jlPF4IzFIlYXAdUguIQzw42Ai0QBjQIB58HV65yfX4PSPJanZpbAIKJjyUecUYOp4ebaL1/CDYujiMow84+O5pkfUTNhVGRH87m7RKclDEbZ1Gazis1sJismbXZaMWOzMARhKAqCWIR6FuEfJhc5SxmoSWzp8gyqFCzpqtWCJr2u6HWThhUNm5RVtNjNf+fXma6Ytlm/diX9xsRUjRKja5IPDYlBargIob6GfUVNkbREfjS7iZXioC+9AYphahb9lynA0jqebYltKPKNgcRNQm5aWgfZ+9za3SIcuxG0u7U073CsKHbT4bBYI1s82ual6LbqQxRYNiEkZlLzKZ4bRqXs1ulN7kTw5tQYS10W9wS+WaDwrHp/XN+VGdu3V/r2/r18j4oAwrimKxP5AfkBjLnEDB/LuUtwFHWTbT/h2/50Z4e8JHmj5zHx9cdT4ssilrFM8425ePxh6TDc6HR3u4tBmoFXBh2nHMfDjR9+GLM0AmmYoBrvvZuYQUaV4UwAVpJqSCi7wku8xFDSCPQgWzTFnGxhJiSjWOFPGrLI1mdkNNL5u4rK/Oi1zfLk39hlakYvBhmXSWpAsmKhUSqIiUn+hSMhV8CMmGFAmeK4V8ImVFFm8Dvo4iF4dsnNoL+363V3vZO9zsGr8jjWnWfOc2fb8Zx958B56xw7Zw5rnbRuWp9bX9r99qf21/a3Qrq6Us556iyN9vff/0EePQ==</latexit><latexit sha1_base64="UHcOcRDxY/gV1iFwOaWokcOoc5o=">AAAF1HichZTfbtMwFMazrYUR/m1wyY1FNWm7mZrdjBukCajEJKRtsHWTllI5zmlrzXEi29lahUogxC0Pxx2vwFNw0oQldRBYqnpyfp8/+9gnCRLBtel2f66srrXad+6u33PvP3j46PHG5pO+jlPF4IzFIlYXAdUguIQzw42Ai0QBjQIB58HV65yfX4PSPJanZpbAIKJjyUecUYOp4ebaL1/CDYujiMow84+O5pkfUTNhVGRH87m7RKclDEbZ1Gazis1sJismbXZaMWOzMARhKAqCWIR6FuEfJhc5SxmoSWzp8gyqFCzpqtWCJr2u6HWThhUNm5RVtNjNf+fXma6Ytlm/diX9xsRUjRKja5IPDYlBargIob6GfUVNkbREfjS7iZXioC+9AYphahb9lynA0jqebYltKPKNgcRNQm5aWgfZ+9za3SIcuxG0u7U073CsKHbT4bBYI1s82ual6LbqQxRYNiEkZlLzKZ4bRqXs1ulN7kTw5tQYS10W9wS+WaDwrHp/XN+VGdu3V/r2/r18j4oAwrimKxP5AfkBjLnEDB/LuUtwFHWTbT/h2/50Z4e8JHmj5zHx9cdT4ssilrFM8425ePxh6TDc6HR3u4tBmoFXBh2nHMfDjR9+GLM0AmmYoBrvvZuYQUaV4UwAVpJqSCi7wku8xFDSCPQgWzTFnGxhJiSjWOFPGrLI1mdkNNL5u4rK/Oi1zfLk39hlakYvBhmXSWpAsmKhUSqIiUn+hSMhV8CMmGFAmeK4V8ImVFFm8Dvo4iF4dsnNoL+363V3vZO9zsGr8jjWnWfOc2fb8Zx958B56xw7Zw5rnbRuWp9bX9r99qf21/a3Qrq6Us556iyN9vff/0EePQ==</latexit>

x<latexit sha1_base64="88ZhYERaU405mQfMTHBazItoXCg=">AAAFrHichZTfbtMwFMazrYUR/m1wyU1ENQluqmY343ICKlEJqQO6bqipKsc+aa05TmQ7W6uoL8cjcMfbcNKGJXUQWKrqnN93vmMfOwlTwbXp9X7t7R+02g8eHj5yHz95+uz50fGLsU4yReGSJiJR1yHRILiES8ONgOtUAYlDAVfhzYeCX92C0jyRI7NKYRqTueQRp8RgaHZ88COQcEeTOCaS5cFwuM6DmJgFJSIfrtfuDl2WMIzypc1WFVvZTFZM2mxUMWMzxkAYgoIwEUyvYvzD4CZmKUO1SCxdEUGVgh1dVS1s0tuK3jYpqyhrUlrR7Wr+m19numLaZuPakYwbiZmKUqNrkm8NiUFquGBQr2EfUVMkLVEQr+4SpTjoiT9FMSzN5v7lCnBrHd+2xGsoioWBxEVCYVpah/nXwto98TjeRtDuyU7eYK4I3qbBbFsj3zza5qXoftcDFFg2DFKzqPlsnxtGpeze6WPh5OHJqTludVfcF/hmgcJe9f+4fi4jtm+/9O3/u3yfiBBYUtOVgaJBbhDCnEsM8bnExKUXyERmRUEX28pKMDvq9Lq9zfCaE7+cdJxyXMyOfgYsoVkM0lBBNJ5nLzXTnCjDqQAslGlICb3Bw5ngVJIY9DTfHPbaO8EI86JE4U8abxOtZ+Qk1sU7iMqipdpmRfBvbJKZ6N005zLNDEi6LRRlwjOJV3y5PMYVUCNWOCFUcVyrRxdEEWrw++ZiE3x7y83J+LTr97r+l9PO+fuyHYfOK+e188bxnTPn3PnkXDiXDm29bQ1b163v7W571J60p1vp/l6Z89LZGe3oN0hXEPE=</latexit><latexit sha1_base64="88ZhYERaU405mQfMTHBazItoXCg=">AAAFrHichZTfbtMwFMazrYUR/m1wyU1ENQluqmY343ICKlEJqQO6bqipKsc+aa05TmQ7W6uoL8cjcMfbcNKGJXUQWKrqnN93vmMfOwlTwbXp9X7t7R+02g8eHj5yHz95+uz50fGLsU4yReGSJiJR1yHRILiES8ONgOtUAYlDAVfhzYeCX92C0jyRI7NKYRqTueQRp8RgaHZ88COQcEeTOCaS5cFwuM6DmJgFJSIfrtfuDl2WMIzypc1WFVvZTFZM2mxUMWMzxkAYgoIwEUyvYvzD4CZmKUO1SCxdEUGVgh1dVS1s0tuK3jYpqyhrUlrR7Wr+m19numLaZuPakYwbiZmKUqNrkm8NiUFquGBQr2EfUVMkLVEQr+4SpTjoiT9FMSzN5v7lCnBrHd+2xGsoioWBxEVCYVpah/nXwto98TjeRtDuyU7eYK4I3qbBbFsj3zza5qXoftcDFFg2DFKzqPlsnxtGpeze6WPh5OHJqTludVfcF/hmgcJe9f+4fi4jtm+/9O3/u3yfiBBYUtOVgaJBbhDCnEsM8bnExKUXyERmRUEX28pKMDvq9Lq9zfCaE7+cdJxyXMyOfgYsoVkM0lBBNJ5nLzXTnCjDqQAslGlICb3Bw5ngVJIY9DTfHPbaO8EI86JE4U8abxOtZ+Qk1sU7iMqipdpmRfBvbJKZ6N005zLNDEi6LRRlwjOJV3y5PMYVUCNWOCFUcVyrRxdEEWrw++ZiE3x7y83J+LTr97r+l9PO+fuyHYfOK+e188bxnTPn3PnkXDiXDm29bQ1b163v7W571J60p1vp/l6Z89LZGe3oN0hXEPE=</latexit><latexit sha1_base64="88ZhYERaU405mQfMTHBazItoXCg=">AAAFrHichZTfbtMwFMazrYUR/m1wyU1ENQluqmY343ICKlEJqQO6bqipKsc+aa05TmQ7W6uoL8cjcMfbcNKGJXUQWKrqnN93vmMfOwlTwbXp9X7t7R+02g8eHj5yHz95+uz50fGLsU4yReGSJiJR1yHRILiES8ONgOtUAYlDAVfhzYeCX92C0jyRI7NKYRqTueQRp8RgaHZ88COQcEeTOCaS5cFwuM6DmJgFJSIfrtfuDl2WMIzypc1WFVvZTFZM2mxUMWMzxkAYgoIwEUyvYvzD4CZmKUO1SCxdEUGVgh1dVS1s0tuK3jYpqyhrUlrR7Wr+m19numLaZuPakYwbiZmKUqNrkm8NiUFquGBQr2EfUVMkLVEQr+4SpTjoiT9FMSzN5v7lCnBrHd+2xGsoioWBxEVCYVpah/nXwto98TjeRtDuyU7eYK4I3qbBbFsj3zza5qXoftcDFFg2DFKzqPlsnxtGpeze6WPh5OHJqTludVfcF/hmgcJe9f+4fi4jtm+/9O3/u3yfiBBYUtOVgaJBbhDCnEsM8bnExKUXyERmRUEX28pKMDvq9Lq9zfCaE7+cdJxyXMyOfgYsoVkM0lBBNJ5nLzXTnCjDqQAslGlICb3Bw5ngVJIY9DTfHPbaO8EI86JE4U8abxOtZ+Qk1sU7iMqipdpmRfBvbJKZ6N005zLNDEi6LRRlwjOJV3y5PMYVUCNWOCFUcVyrRxdEEWrw++ZiE3x7y83J+LTr97r+l9PO+fuyHYfOK+e188bxnTPn3PnkXDiXDm29bQ1b163v7W571J60p1vp/l6Z89LZGe3oN0hXEPE=</latexit><latexit sha1_base64="88ZhYERaU405mQfMTHBazItoXCg=">AAAFrHichZTfbtMwFMazrYUR/m1wyU1ENQluqmY343ICKlEJqQO6bqipKsc+aa05TmQ7W6uoL8cjcMfbcNKGJXUQWKrqnN93vmMfOwlTwbXp9X7t7R+02g8eHj5yHz95+uz50fGLsU4yReGSJiJR1yHRILiES8ONgOtUAYlDAVfhzYeCX92C0jyRI7NKYRqTueQRp8RgaHZ88COQcEeTOCaS5cFwuM6DmJgFJSIfrtfuDl2WMIzypc1WFVvZTFZM2mxUMWMzxkAYgoIwEUyvYvzD4CZmKUO1SCxdEUGVgh1dVS1s0tuK3jYpqyhrUlrR7Wr+m19numLaZuPakYwbiZmKUqNrkm8NiUFquGBQr2EfUVMkLVEQr+4SpTjoiT9FMSzN5v7lCnBrHd+2xGsoioWBxEVCYVpah/nXwto98TjeRtDuyU7eYK4I3qbBbFsj3zza5qXoftcDFFg2DFKzqPlsnxtGpeze6WPh5OHJqTludVfcF/hmgcJe9f+4fi4jtm+/9O3/u3yfiBBYUtOVgaJBbhDCnEsM8bnExKUXyERmRUEX28pKMDvq9Lq9zfCaE7+cdJxyXMyOfgYsoVkM0lBBNJ5nLzXTnCjDqQAslGlICb3Bw5ngVJIY9DTfHPbaO8EI86JE4U8abxOtZ+Qk1sU7iMqipdpmRfBvbJKZ6N005zLNDEi6LRRlwjOJV3y5PMYVUCNWOCFUcVyrRxdEEWrw++ZiE3x7y83J+LTr97r+l9PO+fuyHYfOK+e188bxnTPn3PnkXDiXDm29bQ1b163v7W571J60p1vp/l6Z89LZGe3oN0hXEPE=</latexit>

V<latexit sha1_base64="fGmGuphgAPxnSJPZDXGS7OSTyf8=">AAAFiHichZTfatswFMbdNt667F+6Xe7GLA0MBsEuHd3uSrfAAoN0W5MWkhBk+SQRlWUjyWmCyavsoXa3t9lx4tWOPDZByPH5ffqOdCTbjzlT2nV/7e0f1OwHDw8f1R8/efrseePoxUBFiaTQpxGP5I1PFHAmoK+Z5nATSyChz+Hav/2Y8esFSMUicaVXMYxDMhNsyijRmJocHfwYCbijURgSEaSjXm+djkKi55TwtLde13foMof+NF2abFWwlclEwYTJrgqmTRYEwDVBgR/xQK1C/MPkJmcofTmPDF2WQZWEHV1Rza/SRUEXVRoUNKhSWtDtav47v8xUwZTJBqUjGVQmJnIaa1WSfK9INFLNeADlGuYRVUXCEI3C1V0kJQM19MYohqXe3L9UAm6t6ZmWeA15tjAQuEjITHNrP/2WWddbDsPbCKre2pnXnUmCt6k72dZIN4+meS6633UXBYZNALGel3y2zxWjXHbv9ClzcvDk5Ay3uivucHyzQGKvOn9cv+QZ07eT+3b+Xb5DuA9BVNLliaxBx4PjSaPptt3NcKqBlwdNKx+Xk8bPURDRJAShKScKz8qN9TglUjPKAasnCmJCb7HxQwwFCUGN081Brp0WZgJnGkn8Ce1ssuUZKQlV9n6hMmuXMlmW/BsbJnr6fpwyEScaBN0Wmibc0ZGTfZWcgEmgmq8wIFQyXKtD50QSqvHbVccmeOaWq8HgpO25be/rSfP8Im/HofXKem29sTzrzDq3PluXVt+iNbv2tnZae2fXbdc+sz9spft7+ZyX1s6wL34DM8wBWQ==</latexit><latexit sha1_base64="fGmGuphgAPxnSJPZDXGS7OSTyf8=">AAAFiHichZTfatswFMbdNt667F+6Xe7GLA0MBsEuHd3uSrfAAoN0W5MWkhBk+SQRlWUjyWmCyavsoXa3t9lx4tWOPDZByPH5ffqOdCTbjzlT2nV/7e0f1OwHDw8f1R8/efrseePoxUBFiaTQpxGP5I1PFHAmoK+Z5nATSyChz+Hav/2Y8esFSMUicaVXMYxDMhNsyijRmJocHfwYCbijURgSEaSjXm+djkKi55TwtLde13foMof+NF2abFWwlclEwYTJrgqmTRYEwDVBgR/xQK1C/MPkJmcofTmPDF2WQZWEHV1Rza/SRUEXVRoUNKhSWtDtav47v8xUwZTJBqUjGVQmJnIaa1WSfK9INFLNeADlGuYRVUXCEI3C1V0kJQM19MYohqXe3L9UAm6t6ZmWeA15tjAQuEjITHNrP/2WWddbDsPbCKre2pnXnUmCt6k72dZIN4+meS6633UXBYZNALGel3y2zxWjXHbv9ClzcvDk5Ay3uivucHyzQGKvOn9cv+QZ07eT+3b+Xb5DuA9BVNLliaxBx4PjSaPptt3NcKqBlwdNKx+Xk8bPURDRJAShKScKz8qN9TglUjPKAasnCmJCb7HxQwwFCUGN081Brp0WZgJnGkn8Ce1ssuUZKQlV9n6hMmuXMlmW/BsbJnr6fpwyEScaBN0Wmibc0ZGTfZWcgEmgmq8wIFQyXKtD50QSqvHbVccmeOaWq8HgpO25be/rSfP8Im/HofXKem29sTzrzDq3PluXVt+iNbv2tnZae2fXbdc+sz9spft7+ZyX1s6wL34DM8wBWQ==</latexit><latexit sha1_base64="fGmGuphgAPxnSJPZDXGS7OSTyf8=">AAAFiHichZTfatswFMbdNt667F+6Xe7GLA0MBsEuHd3uSrfAAoN0W5MWkhBk+SQRlWUjyWmCyavsoXa3t9lx4tWOPDZByPH5ffqOdCTbjzlT2nV/7e0f1OwHDw8f1R8/efrseePoxUBFiaTQpxGP5I1PFHAmoK+Z5nATSyChz+Hav/2Y8esFSMUicaVXMYxDMhNsyijRmJocHfwYCbijURgSEaSjXm+djkKi55TwtLde13foMof+NF2abFWwlclEwYTJrgqmTRYEwDVBgR/xQK1C/MPkJmcofTmPDF2WQZWEHV1Rza/SRUEXVRoUNKhSWtDtav47v8xUwZTJBqUjGVQmJnIaa1WSfK9INFLNeADlGuYRVUXCEI3C1V0kJQM19MYohqXe3L9UAm6t6ZmWeA15tjAQuEjITHNrP/2WWddbDsPbCKre2pnXnUmCt6k72dZIN4+meS6633UXBYZNALGel3y2zxWjXHbv9ClzcvDk5Ay3uivucHyzQGKvOn9cv+QZ07eT+3b+Xb5DuA9BVNLliaxBx4PjSaPptt3NcKqBlwdNKx+Xk8bPURDRJAShKScKz8qN9TglUjPKAasnCmJCb7HxQwwFCUGN081Brp0WZgJnGkn8Ce1ssuUZKQlV9n6hMmuXMlmW/BsbJnr6fpwyEScaBN0Wmibc0ZGTfZWcgEmgmq8wIFQyXKtD50QSqvHbVccmeOaWq8HgpO25be/rSfP8Im/HofXKem29sTzrzDq3PluXVt+iNbv2tnZae2fXbdc+sz9spft7+ZyX1s6wL34DM8wBWQ==</latexit><latexit sha1_base64="fGmGuphgAPxnSJPZDXGS7OSTyf8=">AAAFiHichZTfatswFMbdNt667F+6Xe7GLA0MBsEuHd3uSrfAAoN0W5MWkhBk+SQRlWUjyWmCyavsoXa3t9lx4tWOPDZByPH5ffqOdCTbjzlT2nV/7e0f1OwHDw8f1R8/efrseePoxUBFiaTQpxGP5I1PFHAmoK+Z5nATSyChz+Hav/2Y8esFSMUicaVXMYxDMhNsyijRmJocHfwYCbijURgSEaSjXm+djkKi55TwtLde13foMof+NF2abFWwlclEwYTJrgqmTRYEwDVBgR/xQK1C/MPkJmcofTmPDF2WQZWEHV1Rza/SRUEXVRoUNKhSWtDtav47v8xUwZTJBqUjGVQmJnIaa1WSfK9INFLNeADlGuYRVUXCEI3C1V0kJQM19MYohqXe3L9UAm6t6ZmWeA15tjAQuEjITHNrP/2WWddbDsPbCKre2pnXnUmCt6k72dZIN4+meS6633UXBYZNALGel3y2zxWjXHbv9ClzcvDk5Ay3uivucHyzQGKvOn9cv+QZ07eT+3b+Xb5DuA9BVNLliaxBx4PjSaPptt3NcKqBlwdNKx+Xk8bPURDRJAShKScKz8qN9TglUjPKAasnCmJCb7HxQwwFCUGN081Brp0WZgJnGkn8Ce1ssuUZKQlV9n6hMmuXMlmW/BsbJnr6fpwyEScaBN0Wmibc0ZGTfZWcgEmgmq8wIFQyXKtD50QSqvHbVccmeOaWq8HgpO25be/rSfP8Im/HofXKem29sTzrzDq3PluXVt+iNbv2tnZae2fXbdc+sz9spft7+ZyX1s6wL34DM8wBWQ==</latexit>

Vk<latexit sha1_base64="4C78ZhjsV9oIwihoW8h7sSqM/EY=">AAAFi3ichZTRbtMwFIazrYVSGHRwyU1EV4mrqhkXmxAXE1CJSkgdsHaT2lI5zklr1XEi2+laRX0YXok73oaTNiypg8BSVed8//l9fOzEjThTutP5dXB4VKk+eFh7VH/85Pjps8bJ86EKY0lhQEMeyluXKOBMwEAzzeE2kkACl8ONu/iQ8pslSMVCca3XEUwCMhPMZ5RoDE1Pjn6MBdzRMAiI8JJxv79JxgHRc0p40t9s6nt0lUHXT1YmW+dsbTKRM2Gy65xpk3kecE1Q4IbcU+sA/zC4jRlKV85DQ5dGUCVhT5ev5pbpMqfLMvVy6pUpzemumv/mF5nKmTLZsHAkw1JiLP1Iq4LkW0mikWrGPSiuYR5RWSQM0ThY34VSMlAjZ4JiWOnt/Usk4NaajmmJ15CnhYHAIiE1zazd5GtqXW/ZDG8jqHprL683kwRvU2+6WyPZPprmmeh+1z0UGDYeRHpe8Nk9l4wy2b3Tx9TJxpOTM9zqvrjL8c0Cib3q/nH9nEVM327m2/338l3CXfDCgi4LpA06HQ+/L06njWan3dkOuzxxsknTysbVtPFz7IU0DkBoyonC4+pEepIQqRnlgAXECiJCF9j7EU4FCUBNku1ZbuwWRjzbDyX+hLa30WJGQgKVvmKoTDumTJYG/8ZGsfYvJgkTUaxB0N1CfsxtHdrph8n2mASq+RonhEqGtdp0TiShGj9fdWyCY265PBmetZ1O2/ly1rx8n7WjZr20XlmvLcc6ty6tT9aVNbBopVZpV84rF9Xj6pvq2+q7nfTwIMt5Ye2Navc303cCnA==</latexit><latexit sha1_base64="4C78ZhjsV9oIwihoW8h7sSqM/EY=">AAAFi3ichZTRbtMwFIazrYVSGHRwyU1EV4mrqhkXmxAXE1CJSkgdsHaT2lI5zklr1XEi2+laRX0YXok73oaTNiypg8BSVed8//l9fOzEjThTutP5dXB4VKk+eFh7VH/85Pjps8bJ86EKY0lhQEMeyluXKOBMwEAzzeE2kkACl8ONu/iQ8pslSMVCca3XEUwCMhPMZ5RoDE1Pjn6MBdzRMAiI8JJxv79JxgHRc0p40t9s6nt0lUHXT1YmW+dsbTKRM2Gy65xpk3kecE1Q4IbcU+sA/zC4jRlKV85DQ5dGUCVhT5ev5pbpMqfLMvVy6pUpzemumv/mF5nKmTLZsHAkw1JiLP1Iq4LkW0mikWrGPSiuYR5RWSQM0ThY34VSMlAjZ4JiWOnt/Usk4NaajmmJ15CnhYHAIiE1zazd5GtqXW/ZDG8jqHprL683kwRvU2+6WyPZPprmmeh+1z0UGDYeRHpe8Nk9l4wy2b3Tx9TJxpOTM9zqvrjL8c0Cib3q/nH9nEVM327m2/338l3CXfDCgi4LpA06HQ+/L06njWan3dkOuzxxsknTysbVtPFz7IU0DkBoyonC4+pEepIQqRnlgAXECiJCF9j7EU4FCUBNku1ZbuwWRjzbDyX+hLa30WJGQgKVvmKoTDumTJYG/8ZGsfYvJgkTUaxB0N1CfsxtHdrph8n2mASq+RonhEqGtdp0TiShGj9fdWyCY265PBmetZ1O2/ly1rx8n7WjZr20XlmvLcc6ty6tT9aVNbBopVZpV84rF9Xj6pvq2+q7nfTwIMt5Ye2Navc303cCnA==</latexit><latexit sha1_base64="4C78ZhjsV9oIwihoW8h7sSqM/EY=">AAAFi3ichZTRbtMwFIazrYVSGHRwyU1EV4mrqhkXmxAXE1CJSkgdsHaT2lI5zklr1XEi2+laRX0YXok73oaTNiypg8BSVed8//l9fOzEjThTutP5dXB4VKk+eFh7VH/85Pjps8bJ86EKY0lhQEMeyluXKOBMwEAzzeE2kkACl8ONu/iQ8pslSMVCca3XEUwCMhPMZ5RoDE1Pjn6MBdzRMAiI8JJxv79JxgHRc0p40t9s6nt0lUHXT1YmW+dsbTKRM2Gy65xpk3kecE1Q4IbcU+sA/zC4jRlKV85DQ5dGUCVhT5ev5pbpMqfLMvVy6pUpzemumv/mF5nKmTLZsHAkw1JiLP1Iq4LkW0mikWrGPSiuYR5RWSQM0ThY34VSMlAjZ4JiWOnt/Usk4NaajmmJ15CnhYHAIiE1zazd5GtqXW/ZDG8jqHprL683kwRvU2+6WyPZPprmmeh+1z0UGDYeRHpe8Nk9l4wy2b3Tx9TJxpOTM9zqvrjL8c0Cib3q/nH9nEVM327m2/338l3CXfDCgi4LpA06HQ+/L06njWan3dkOuzxxsknTysbVtPFz7IU0DkBoyonC4+pEepIQqRnlgAXECiJCF9j7EU4FCUBNku1ZbuwWRjzbDyX+hLa30WJGQgKVvmKoTDumTJYG/8ZGsfYvJgkTUaxB0N1CfsxtHdrph8n2mASq+RonhEqGtdp0TiShGj9fdWyCY265PBmetZ1O2/ly1rx8n7WjZr20XlmvLcc6ty6tT9aVNbBopVZpV84rF9Xj6pvq2+q7nfTwIMt5Ye2Navc303cCnA==</latexit><latexit sha1_base64="4C78ZhjsV9oIwihoW8h7sSqM/EY=">AAAFi3ichZTRbtMwFIazrYVSGHRwyU1EV4mrqhkXmxAXE1CJSkgdsHaT2lI5zklr1XEi2+laRX0YXok73oaTNiypg8BSVed8//l9fOzEjThTutP5dXB4VKk+eFh7VH/85Pjps8bJ86EKY0lhQEMeyluXKOBMwEAzzeE2kkACl8ONu/iQ8pslSMVCca3XEUwCMhPMZ5RoDE1Pjn6MBdzRMAiI8JJxv79JxgHRc0p40t9s6nt0lUHXT1YmW+dsbTKRM2Gy65xpk3kecE1Q4IbcU+sA/zC4jRlKV85DQ5dGUCVhT5ev5pbpMqfLMvVy6pUpzemumv/mF5nKmTLZsHAkw1JiLP1Iq4LkW0mikWrGPSiuYR5RWSQM0ThY34VSMlAjZ4JiWOnt/Usk4NaajmmJ15CnhYHAIiE1zazd5GtqXW/ZDG8jqHprL683kwRvU2+6WyPZPprmmeh+1z0UGDYeRHpe8Nk9l4wy2b3Tx9TJxpOTM9zqvrjL8c0Cib3q/nH9nEVM327m2/338l3CXfDCgi4LpA06HQ+/L06njWan3dkOuzxxsknTysbVtPFz7IU0DkBoyonC4+pEepIQqRnlgAXECiJCF9j7EU4FCUBNku1ZbuwWRjzbDyX+hLa30WJGQgKVvmKoTDumTJYG/8ZGsfYvJgkTUaxB0N1CfsxtHdrph8n2mASq+RonhEqGtdp0TiShGj9fdWyCY265PBmetZ1O2/ly1rx8n7WjZr20XlmvLcc6ty6tT9aVNbBopVZpV84rF9Xj6pvq2+q7nfTwIMt5Ye2Navc303cCnA==</latexit>

k<latexit sha1_base64="pDoWzqXNuKbM4PNmZ4aU8ipLvvw=">AAAFiHichZTfatswFMbdNt667F+6Xe7GLA0MBsUuHd3uSrfAAoN0W5MWkhBk+SQRkWUjyWmCyavsoXa3t9lx4tWOPDZByPH5ffqOdCTbjzlT2nV/7e0f1OwHDw8f1R8/efrseePoRV9FiaTQoxGP5K1PFHAmoKeZ5nAbSyChz+HGn3/M+M0CpGKRuNarGEYhmQo2YZRoTI2PDn4MBdzRKAyJCNJht7tOhyHRM0p42l2v6zt0mUN/ki5NtirYymSiYMJk1wXTJgsC4JqgwI94oFYh/mFykzOUvpxFhi7LoErCjq6o5lfpoqCLKg0KGlQpLeh2Nf+dX2aqYMpk/dKR9CsTEzmJtSpJvlckGqlmPIByDfOIqiJhiIbh6i6SkoEaeCMUw1Jv7l8qAbfW9ExLvIY8WxgIXCRkprm1n37LrOsth+FtBFVv7czrTCXB29QZb2ukm0fTPBfd77qDAsMmgFjPSj7b54pRLrt3+pQ5OXhycopb3RW3Ob5ZILFX7T+uX/KM6dvOfdv/Lt8m3IcgKunyRNag4/nxuNF0T9zNcKqBlwdNKx9X48bPYRDRJAShKScKz8qN9SglUjPKAasnCmJC59j4AYaChKBG6eYg104LM4EziST+hHY22fKMlIQqe79QmbVLmSxL/o0NEj15P0qZiBMNgm4LTRLu6MjJvkpOwCRQzVcYECoZrtWhMyIJ1fjtqmMTPHPL1aB/euK5J97X0+bFZd6OQ+uV9dp6Y3nWuXVhfbaurJ5Fa3btbe2s9s6u2659bn/YSvf38jkvrZ1hX/4GU7UBbg==</latexit><latexit sha1_base64="pDoWzqXNuKbM4PNmZ4aU8ipLvvw=">AAAFiHichZTfatswFMbdNt667F+6Xe7GLA0MBsUuHd3uSrfAAoN0W5MWkhBk+SQRkWUjyWmCyavsoXa3t9lx4tWOPDZByPH5ffqOdCTbjzlT2nV/7e0f1OwHDw8f1R8/efrseePoRV9FiaTQoxGP5K1PFHAmoKeZ5nAbSyChz+HGn3/M+M0CpGKRuNarGEYhmQo2YZRoTI2PDn4MBdzRKAyJCNJht7tOhyHRM0p42l2v6zt0mUN/ki5NtirYymSiYMJk1wXTJgsC4JqgwI94oFYh/mFykzOUvpxFhi7LoErCjq6o5lfpoqCLKg0KGlQpLeh2Nf+dX2aqYMpk/dKR9CsTEzmJtSpJvlckGqlmPIByDfOIqiJhiIbh6i6SkoEaeCMUw1Jv7l8qAbfW9ExLvIY8WxgIXCRkprm1n37LrOsth+FtBFVv7czrTCXB29QZb2ukm0fTPBfd77qDAsMmgFjPSj7b54pRLrt3+pQ5OXhycopb3RW3Ob5ZILFX7T+uX/KM6dvOfdv/Lt8m3IcgKunyRNag4/nxuNF0T9zNcKqBlwdNKx9X48bPYRDRJAShKScKz8qN9SglUjPKAasnCmJC59j4AYaChKBG6eYg104LM4EziST+hHY22fKMlIQqe79QmbVLmSxL/o0NEj15P0qZiBMNgm4LTRLu6MjJvkpOwCRQzVcYECoZrtWhMyIJ1fjtqmMTPHPL1aB/euK5J97X0+bFZd6OQ+uV9dp6Y3nWuXVhfbaurJ5Fa3btbe2s9s6u2659bn/YSvf38jkvrZ1hX/4GU7UBbg==</latexit><latexit sha1_base64="pDoWzqXNuKbM4PNmZ4aU8ipLvvw=">AAAFiHichZTfatswFMbdNt667F+6Xe7GLA0MBsUuHd3uSrfAAoN0W5MWkhBk+SQRkWUjyWmCyavsoXa3t9lx4tWOPDZByPH5ffqOdCTbjzlT2nV/7e0f1OwHDw8f1R8/efrseePoRV9FiaTQoxGP5K1PFHAmoKeZ5nAbSyChz+HGn3/M+M0CpGKRuNarGEYhmQo2YZRoTI2PDn4MBdzRKAyJCNJht7tOhyHRM0p42l2v6zt0mUN/ki5NtirYymSiYMJk1wXTJgsC4JqgwI94oFYh/mFykzOUvpxFhi7LoErCjq6o5lfpoqCLKg0KGlQpLeh2Nf+dX2aqYMpk/dKR9CsTEzmJtSpJvlckGqlmPIByDfOIqiJhiIbh6i6SkoEaeCMUw1Jv7l8qAbfW9ExLvIY8WxgIXCRkprm1n37LrOsth+FtBFVv7czrTCXB29QZb2ukm0fTPBfd77qDAsMmgFjPSj7b54pRLrt3+pQ5OXhycopb3RW3Ob5ZILFX7T+uX/KM6dvOfdv/Lt8m3IcgKunyRNag4/nxuNF0T9zNcKqBlwdNKx9X48bPYRDRJAShKScKz8qN9SglUjPKAasnCmJC59j4AYaChKBG6eYg104LM4EziST+hHY22fKMlIQqe79QmbVLmSxL/o0NEj15P0qZiBMNgm4LTRLu6MjJvkpOwCRQzVcYECoZrtWhMyIJ1fjtqmMTPHPL1aB/euK5J97X0+bFZd6OQ+uV9dp6Y3nWuXVhfbaurJ5Fa3btbe2s9s6u2659bn/YSvf38jkvrZ1hX/4GU7UBbg==</latexit><latexit sha1_base64="pDoWzqXNuKbM4PNmZ4aU8ipLvvw=">AAAFiHichZTfatswFMbdNt667F+6Xe7GLA0MBsUuHd3uSrfAAoN0W5MWkhBk+SQRkWUjyWmCyavsoXa3t9lx4tWOPDZByPH5ffqOdCTbjzlT2nV/7e0f1OwHDw8f1R8/efrseePoRV9FiaTQoxGP5K1PFHAmoKeZ5nAbSyChz+HGn3/M+M0CpGKRuNarGEYhmQo2YZRoTI2PDn4MBdzRKAyJCNJht7tOhyHRM0p42l2v6zt0mUN/ki5NtirYymSiYMJk1wXTJgsC4JqgwI94oFYh/mFykzOUvpxFhi7LoErCjq6o5lfpoqCLKg0KGlQpLeh2Nf+dX2aqYMpk/dKR9CsTEzmJtSpJvlckGqlmPIByDfOIqiJhiIbh6i6SkoEaeCMUw1Jv7l8qAbfW9ExLvIY8WxgIXCRkprm1n37LrOsth+FtBFVv7czrTCXB29QZb2ukm0fTPBfd77qDAsMmgFjPSj7b54pRLrt3+pQ5OXhycopb3RW3Ob5ZILFX7T+uX/KM6dvOfdv/Lt8m3IcgKunyRNag4/nxuNF0T9zNcKqBlwdNKx9X48bPYRDRJAShKScKz8qN9SglUjPKAasnCmJC59j4AYaChKBG6eYg104LM4EziST+hHY22fKMlIQqe79QmbVLmSxL/o0NEj15P0qZiBMNgm4LTRLu6MjJvkpOwCRQzVcYECoZrtWhMyIJ1fjtqmMTPHPL1aB/euK5J97X0+bFZd6OQ+uV9dp6Y3nWuXVhfbaurJ5Fa3btbe2s9s6u2659bn/YSvf38jkvrZ1hX/4GU7UBbg==</latexit>

Our ResultFused depth images

Optimization