HAL Id: hal-02424804
https://hal.inria.fr/hal-02424804
Submitted on 28 Dec 2019
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of
sci-entific research documents, whether they are
pub-lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.
A Monte Carlo framework for missing wedge restoration
and noise removal in cryo-electron tomography
Emmanuel Moebel, Charles Kervrann
To cite this version:
Emmanuel Moebel, Charles Kervrann. A Monte Carlo framework for missing wedge restoration and
noise removal in cryo-electron tomography. Journal of Structural Biology: X, Elsevier, 2019, pp.1-18.
�10.1016/j.yjsbx.2019.100013�. �hal-02424804�
A Monte Carlo framework for missing wedge restoration and noise
removal in cryo-electron tomography
Emmanuel
Moebel,
Charles
Kervrann
Inria - Centre de Rennes Bretagne Atlantique, Campus Universitaire de Beaulieu, 35042 Rennes (France)
Keywords
:
cryo electron tomography
missing wedge
restoration
inverse problems
Monte-Carlo simulation
A B S T R A C T
We propose a statistical method to address an important issue in cryo-electron tomography
im-age analysis: reduction of a high amount of noise and artifacts due to the presence of a missing
wedge (MW) in the spectral domain. The method takes as an input a 3D tomogram derived from
limited-angle tomography, and gives as an output a 3D denoised and artifact compensated
vol-ume. The artifact compensation is achieved by filling up the MW with meaningful information.
To address this inverse problem, we compute a Minimum Mean Square Error (MMSE) estimator
of the uncorrupted image. The underlying high-dimensional integral is computed by applying a
dedicated Markov Chain Monte-Carlo (MCMC) sampling procedure based on the
Metropolis-Hasting (MH) algorithm. The proposed MWR (Missing Wedge Restoration) algorithm can be
used to enhance visualization or as a pre-processing step for image analysis, including
segmen-tation and classification of macromolecules. Results are presented for both synthetic data and
real 3D cryo-electron images.
1. Introduction
Cryo-electron tomography (cryo-ET) is generally used to explore the structure of an entire cell and constitutes a rapidly
growing field in biology. The particularity of cryo-ET is that it is able to produce three-dimensional views of vitrified
samples at sub-nanometer resolution, which allows observing the structure of molecular complexes (e.g. ribosomes)
in their physiological environment. Nevertheless, observation of highly resolved cellular mechanisms is challenging:
i/ due to the low dose of electrons used to preserve specimen integrity during image acquisition, the amount of noise
is very high; ii/ due to technical limitations of the microscope, complete tilting of the sample (90
𝑜
) is impossible,
resulting into a blind spot. As a consequence, projections are not available for a determined angle range, hence the
term “limited angle tomography”.
The blind spot is observable in Fourier domain, where the missing projections appear as a missing wedge (MW).
This separates the Fourier spectrum into two regions: the sampled region (SR) and the unsampled regions (MW).
The sharp transition between these two regions is responsible for a Gibbs-like phenomenon: ray- and side-artifacts
emanate from high contrast objects (see Fig.
1
), which can hide important structural features in the image. Another
type of artifact arises from the incomplete angular sampling: objects appear elongated in the direction of the blind
spot (see Fig.
1
), in other words the data has an anisotropic resolution (e.g. linear features perpendicular to the tilt
axis disappear). This elongation erases boundaries and makes it difficult to differentiate neighboring features. The
quality of tomograms can be improved if sophisticated algorithms such as MBIR (
Yan et al.
,
2019
) are applied instead
of conventional methods (e.g. WPB (
Radermacher
,
1992
), SIRT (
Gilbert
,
1972
)).
Filling up the MW with relevant data enables to potentially reduce or completely suppress these artifacts.
Experi-mentally this can partially be achieved during data acquisition by using dual-axis tomography (
Guesdon et al.
,
2013
),
where the sample is tilted with respect to the second axis. Consequently the blind spot is smaller and the MW becomes
a missing pyramid, which results into a smaller missing spectrum. However dual-axis tomography is technically
chal-lenging and requires intensive post-processing in order to correct tilt and movement bias in the microscope. Another
reconstruction approach consists in exploiting the symmetry of the underlying structure (
Förster and Hegerl
,
2007
),
but this can only be applicable to a limited number of biological objects (e.g. virus with either helical or icosahedral
structure). Another common computational approach amounts to combining several hundred or thousands views of
the same object, but with distinct blind spots. This so-called sub-tomogram averaging technique (
Förster and Hegerl
,
2007
) is routinely used in cryo-ET, and is continuously improved for structure determination (
Xu et al.
,
2018
). To
im-prove sub-tomogram averaging and compensate the remaining MW artifacts, tomographic reconstruction algorithms
with dedicated regularization have also been proposed in (
Paavolainen et al.
,
2014
;
Leary et al.
,
2013
).
The objective of our work is to design a statistical approach for the problem of recovering missing Fourier
coef-ficients from a single volume in the situation where low and high frequency coefcoef-ficients are missing in a specific and
large region of the 3D spectrum. A simple way of handling MW artifacts is described in (
Kováčik et al.
,
2014
), where
a dedicated spectral filter is used to smooth out the transition between SR and MW; ray- and side-artifacts are reduced
with this filter, but the object elongation remains in the resulting image. Inspired from (
Maggioni et al.
,
2013
), we have
rather investigated MCMC methods to compute a MMSE estimator based on any non-local image denoiser to recover
the missing information. We show that our Monte-Carlo sampling algorithm performs as well as the iterative method
(
Maggioni et al.
,
2013
) but converges faster. Nevertheless, our concept is more general since any denoising method
can be applied, included denoising algorithms dedicated to cryo-ET images (
Frangakis and Hegerl
,
2001
;
Fernandez
and Li
,
2003
;
Darbon et al.
,
2008
;
Wei and Yin
,
2010
;
Kervrann et al.
,
2008
;
Moreno et al.
,
2018
). In this paper, we
focus on the cryo-ET restoration problem but the proposed algorithm could be potentially used to address a large range
of applications including medical and seismic imaging, and other inverse scattering problems.
Related work
We first focus on computational methods designed for spectrum restoration and Fourier coefficients
recovering. Most of methods have been designed for 2D images and very few of them for 3D imaging. In general,
the corruption process is supposed to be known and the artifacts observed in the input image, are due to a set of
missing Fourier coefficients, well localized in the spectrum. First, several methods have been investigated to retrieve
partially-missing phases of complex coefficients from modulus of coefficients in electron microscopy (
Fienup
,
1982
)
Spatial domain
Fourier domain
Data
Corrupted
xy-view
yz-view
xz-view
Ray
artifacts
Object
elongation
Side
artifacts
Missing
wedge
Ground Truth
<latexit sha1_base64="gBgK0XSdYGmvmVqQ/uuLg1R6Yg4=">AAAC3nicjVHLSsNAFD2Nr1pfVVfiJlgEVyVxoyspuNBlhb6gLTVJJ21omoTJRCyluHMnbv0Bt/o54h/oX3hnTEEtohOSnDn3njNz77Uj34uFYbxmtLn5hcWl7HJuZXVtfSO/uVWLw4Q7rOqEfsgbthUz3wtYVXjCZ42IM2to+6xuD05lvH7FeOyFQUWMItYeWr3Acz3HEkR18jut2NVbgl0L2x2f8TAJunqFJ6I/6eQLRtFQS58FZgoKSFc5zL+ghS5COEgwBEMAQdiHhZieJkwYiIhrY0wcJ+SpOMMEOdImlMUowyJ2QN8e7ZopG9BeesZK7dApPr2clDr2SRNSHicsT9NVPFHOkv3Ne6w85d1G9LdTryGxAn1i/9JNM/+rk7UIuDhWNXhUU6QYWZ2TuiSqK/Lm+peqBDlExEncpTgn7CjltM+60sSqdtlbS8XfVKZk5d5JcxO8y1vSgM2f45wFtcOiaRTNi8NC6SQddRa72MMBzfMIJZyjjCp53+ART3jWLrVb7U67/0zVMqlmG9+W9vABS9CZ/A==</latexit><latexit sha1_base64="gBgK0XSdYGmvmVqQ/uuLg1R6Yg4=">AAAC3nicjVHLSsNAFD2Nr1pfVVfiJlgEVyVxoyspuNBlhb6gLTVJJ21omoTJRCyluHMnbv0Bt/o54h/oX3hnTEEtohOSnDn3njNz77Uj34uFYbxmtLn5hcWl7HJuZXVtfSO/uVWLw4Q7rOqEfsgbthUz3wtYVXjCZ42IM2to+6xuD05lvH7FeOyFQUWMItYeWr3Acz3HEkR18jut2NVbgl0L2x2f8TAJunqFJ6I/6eQLRtFQS58FZgoKSFc5zL+ghS5COEgwBEMAQdiHhZieJkwYiIhrY0wcJ+SpOMMEOdImlMUowyJ2QN8e7ZopG9BeesZK7dApPr2clDr2SRNSHicsT9NVPFHOkv3Ne6w85d1G9LdTryGxAn1i/9JNM/+rk7UIuDhWNXhUU6QYWZ2TuiSqK/Lm+peqBDlExEncpTgn7CjltM+60sSqdtlbS8XfVKZk5d5JcxO8y1vSgM2f45wFtcOiaRTNi8NC6SQddRa72MMBzfMIJZyjjCp53+ART3jWLrVb7U67/0zVMqlmG9+W9vABS9CZ/A==</latexit><latexit sha1_base64="gBgK0XSdYGmvmVqQ/uuLg1R6Yg4=">AAAC3nicjVHLSsNAFD2Nr1pfVVfiJlgEVyVxoyspuNBlhb6gLTVJJ21omoTJRCyluHMnbv0Bt/o54h/oX3hnTEEtohOSnDn3njNz77Uj34uFYbxmtLn5hcWl7HJuZXVtfSO/uVWLw4Q7rOqEfsgbthUz3wtYVXjCZ42IM2to+6xuD05lvH7FeOyFQUWMItYeWr3Acz3HEkR18jut2NVbgl0L2x2f8TAJunqFJ6I/6eQLRtFQS58FZgoKSFc5zL+ghS5COEgwBEMAQdiHhZieJkwYiIhrY0wcJ+SpOMMEOdImlMUowyJ2QN8e7ZopG9BeesZK7dApPr2clDr2SRNSHicsT9NVPFHOkv3Ne6w85d1G9LdTryGxAn1i/9JNM/+rk7UIuDhWNXhUU6QYWZ2TuiSqK/Lm+peqBDlExEncpTgn7CjltM+60sSqdtlbS8XfVKZk5d5JcxO8y1vSgM2f45wFtcOiaRTNi8NC6SQddRa72MMBzfMIJZyjjCp53+ART3jWLrVb7U67/0zVMqlmG9+W9vABS9CZ/A==</latexit><latexit sha1_base64="G30nvnJkyKBlKcCymNnrqTxJgV4=">AAACtXicjVLLSgMxFD0dX7VWrWs3g0VwVTJudCnowmUF+4BaZCZNa+y8TDJCKf6AWz9O/AP9C2/iCGoRzTAzJ+fec5KbmyiPpTaMvVS8peWV1bXqem2jXtvc2m7UuzorFBcdnsWZ6kehFrFMRcdIE4t+rkSYRLHoRdNTG+/dC6Vlll6aWS6GSThJ5Vjy0BDVvm40WYu54S+CoARNlCNrPOMKI2TgKJBAIIUhHCOEpmeAAAw5cUPMiVOEpIsLPKBG2oKyBGWExE7pO6HZoGRTmltP7dScVonpVaT0sU+ajPIUYbua7+KFc7bsb95z52n3NqN/VHolxBrcEPuX7jPzvzpbi8EYx64GSTXljrHV8dKlcKdid+5/qcqQQ06cxSOKK8LcKT/P2Xca7Wq3Zxu6+KvLtKyd8zK3wJvdJfU3+NnNRdA9bAWsFVwwVLGLPRxQG49wgnO00SHLER7x5J15t97dxz3wKuWF2MG34el34YWM3A==</latexit><latexit sha1_base64="LfFVezgWMiV2KKZkwZqEKu7kISI=">AAAC03icjVLLSsNAFD3GV61VoztxEyyCq5K40aXgQpcV+oK21CSdtKF5MZmIpRR37sSvcKufI/6B/oV3xhTUIjohyZlz7zkzd+44SeCnwjRfF7TFpeWV1cJacb20sbmlb5caaZxxl9XdOIh5y7FTFvgRqwtfBKyVcGaHTsCazuhMxpvXjKd+HNXEOGHd0B5Evue7tiCqp+92Us/oCHYjHG9yzuMs6hs1nonhtKeXzYqphjEPrByUkY9qrL+ggz5iuMgQgiGCIBzARkpPGxZMJMR1MSGOE/JVnGGKImkzymKUYRM7ou+AZu2cjWguPVOldmmVgF5OSgMHpIkpjxOWqxkqnilnyf7mPVGecm9j+ju5V0iswJDYv3SzzP/qZC0CHk5UDT7VlChGVufmLpk6Fblz40tVghwS4iTuU5wTdpVyds6G0qSqdnm2toq/qUzJyrmb52Z4l7ukBls/2zkPGkcVy6xYlyYK2MM+DqmNxzjFBaqok+UtHvGEZ+1Ku9PuP6+CtpDfiR18G9rDB6cAmLg=</latexit><latexit sha1_base64="LfFVezgWMiV2KKZkwZqEKu7kISI=">AAAC03icjVLLSsNAFD3GV61VoztxEyyCq5K40aXgQpcV+oK21CSdtKF5MZmIpRR37sSvcKufI/6B/oV3xhTUIjohyZlz7zkzd+44SeCnwjRfF7TFpeWV1cJacb20sbmlb5caaZxxl9XdOIh5y7FTFvgRqwtfBKyVcGaHTsCazuhMxpvXjKd+HNXEOGHd0B5Evue7tiCqp+92Us/oCHYjHG9yzuMs6hs1nonhtKeXzYqphjEPrByUkY9qrL+ggz5iuMgQgiGCIBzARkpPGxZMJMR1MSGOE/JVnGGKImkzymKUYRM7ou+AZu2cjWguPVOldmmVgF5OSgMHpIkpjxOWqxkqnilnyf7mPVGecm9j+ju5V0iswJDYv3SzzP/qZC0CHk5UDT7VlChGVufmLpk6Fblz40tVghwS4iTuU5wTdpVyds6G0qSqdnm2toq/qUzJyrmb52Z4l7ukBls/2zkPGkcVy6xYlyYK2MM+DqmNxzjFBaqok+UtHvGEZ+1Ku9PuP6+CtpDfiR18G9rDB6cAmLg=</latexit><latexit sha1_base64="jUSRBp3TvjkT8FJd6s7eETn38zA=">AAAC3nicjVHLSsNAFD2Nr1pfUVfiJlgEVyVxoyspuNBlhb6gLTVJp21omoTJRCyluHMnbv0Bt/o54h/oX3hnTEEtohOSnDn3njNz73Ui34uFab5mtLn5hcWl7HJuZXVtfUPf3KrGYcJdVnFDP+R1x46Z7wWsIjzhs3rEmT10fFZzBqcyXrtiPPbCoCxGEWsN7V7gdT3XFkS19Z1m3DWagl0Lpzs+42ESdIwyT0R/0tbzZsFUy5gFVgrySFcp1F/QRAchXCQYgiGAIOzDRkxPAxZMRMS1MCaOE/JUnGGCHGkTymKUYRM7oG+Pdo2UDWgvPWOldukUn15OSgP7pAkpjxOWpxkqnihnyf7mPVae8m4j+jup15BYgT6xf+mmmf/VyVoEujhWNXhUU6QYWZ2buiSqK/LmxpeqBDlExEncoTgn7CrltM+G0sSqdtlbW8XfVKZk5d5NcxO8y1vSgK2f45wF1cOCZRasCzNfPElHncUu9nBA8zxCEecooULeN3jEE561S+1Wu9PuP1O1TKrZxrelPXwASzCZ+g==</latexit><latexit sha1_base64="gBgK0XSdYGmvmVqQ/uuLg1R6Yg4=">AAAC3nicjVHLSsNAFD2Nr1pfVVfiJlgEVyVxoyspuNBlhb6gLTVJJ21omoTJRCyluHMnbv0Bt/o54h/oX3hnTEEtohOSnDn3njNz77Uj34uFYbxmtLn5hcWl7HJuZXVtfSO/uVWLw4Q7rOqEfsgbthUz3wtYVXjCZ42IM2to+6xuD05lvH7FeOyFQUWMItYeWr3Acz3HEkR18jut2NVbgl0L2x2f8TAJunqFJ6I/6eQLRtFQS58FZgoKSFc5zL+ghS5COEgwBEMAQdiHhZieJkwYiIhrY0wcJ+SpOMMEOdImlMUowyJ2QN8e7ZopG9BeesZK7dApPr2clDr2SRNSHicsT9NVPFHOkv3Ne6w85d1G9LdTryGxAn1i/9JNM/+rk7UIuDhWNXhUU6QYWZ2TuiSqK/Lm+peqBDlExEncpTgn7CjltM+60sSqdtlbS8XfVKZk5d5JcxO8y1vSgM2f45wFtcOiaRTNi8NC6SQddRa72MMBzfMIJZyjjCp53+ART3jWLrVb7U67/0zVMqlmG9+W9vABS9CZ/A==</latexit><latexit sha1_base64="gBgK0XSdYGmvmVqQ/uuLg1R6Yg4=">AAAC3nicjVHLSsNAFD2Nr1pfVVfiJlgEVyVxoyspuNBlhb6gLTVJJ21omoTJRCyluHMnbv0Bt/o54h/oX3hnTEEtohOSnDn3njNz77Uj34uFYbxmtLn5hcWl7HJuZXVtfSO/uVWLw4Q7rOqEfsgbthUz3wtYVXjCZ42IM2to+6xuD05lvH7FeOyFQUWMItYeWr3Acz3HEkR18jut2NVbgl0L2x2f8TAJunqFJ6I/6eQLRtFQS58FZgoKSFc5zL+ghS5COEgwBEMAQdiHhZieJkwYiIhrY0wcJ+SpOMMEOdImlMUowyJ2QN8e7ZopG9BeesZK7dApPr2clDr2SRNSHicsT9NVPFHOkv3Ne6w85d1G9LdTryGxAn1i/9JNM/+rk7UIuDhWNXhUU6QYWZ2TuiSqK/Lm+peqBDlExEncpTgn7CjltM+60sSqdtlbS8XfVKZk5d5JcxO8y1vSgM2f45wFtcOiaRTNi8NC6SQddRa72MMBzfMIJZyjjCp53+ART3jWLrVb7U67/0zVMqlmG9+W9vABS9CZ/A==</latexit><latexit sha1_base64="gBgK0XSdYGmvmVqQ/uuLg1R6Yg4=">AAAC3nicjVHLSsNAFD2Nr1pfVVfiJlgEVyVxoyspuNBlhb6gLTVJJ21omoTJRCyluHMnbv0Bt/o54h/oX3hnTEEtohOSnDn3njNz77Uj34uFYbxmtLn5hcWl7HJuZXVtfSO/uVWLw4Q7rOqEfsgbthUz3wtYVXjCZ42IM2to+6xuD05lvH7FeOyFQUWMItYeWr3Acz3HEkR18jut2NVbgl0L2x2f8TAJunqFJ6I/6eQLRtFQS58FZgoKSFc5zL+ghS5COEgwBEMAQdiHhZieJkwYiIhrY0wcJ+SpOMMEOdImlMUowyJ2QN8e7ZopG9BeesZK7dApPr2clDr2SRNSHicsT9NVPFHOkv3Ne6w85d1G9LdTryGxAn1i/9JNM/+rk7UIuDhWNXhUU6QYWZ2TuiSqK/Lm+peqBDlExEncpTgn7CjltM+60sSqdtlbS8XfVKZk5d5JcxO8y1vSgM2f45wFtcOiaRTNi8NC6SQddRa72MMBzfMIJZyjjCp53+ART3jWLrVb7U67/0zVMqlmG9+W9vABS9CZ/A==</latexit><latexit sha1_base64="gBgK0XSdYGmvmVqQ/uuLg1R6Yg4=">AAAC3nicjVHLSsNAFD2Nr1pfVVfiJlgEVyVxoyspuNBlhb6gLTVJJ21omoTJRCyluHMnbv0Bt/o54h/oX3hnTEEtohOSnDn3njNz77Uj34uFYbxmtLn5hcWl7HJuZXVtfSO/uVWLw4Q7rOqEfsgbthUz3wtYVXjCZ42IM2to+6xuD05lvH7FeOyFQUWMItYeWr3Acz3HEkR18jut2NVbgl0L2x2f8TAJunqFJ6I/6eQLRtFQS58FZgoKSFc5zL+ghS5COEgwBEMAQdiHhZieJkwYiIhrY0wcJ+SpOMMEOdImlMUowyJ2QN8e7ZopG9BeesZK7dApPr2clDr2SRNSHicsT9NVPFHOkv3Ne6w85d1G9LdTryGxAn1i/9JNM/+rk7UIuDhWNXhUU6QYWZ2TuiSqK/Lm+peqBDlExEncpTgn7CjltM+60sSqdtlbS8XfVKZk5d5JcxO8y1vSgM2f45wFtcOiaRTNi8NC6SQddRa72MMBzfMIJZyjjCp53+ART3jWLrVb7U67/0zVMqlmG9+W9vABS9CZ/A==</latexit><latexit sha1_base64="gBgK0XSdYGmvmVqQ/uuLg1R6Yg4=">AAAC3nicjVHLSsNAFD2Nr1pfVVfiJlgEVyVxoyspuNBlhb6gLTVJJ21omoTJRCyluHMnbv0Bt/o54h/oX3hnTEEtohOSnDn3njNz77Uj34uFYbxmtLn5hcWl7HJuZXVtfSO/uVWLw4Q7rOqEfsgbthUz3wtYVXjCZ42IM2to+6xuD05lvH7FeOyFQUWMItYeWr3Acz3HEkR18jut2NVbgl0L2x2f8TAJunqFJ6I/6eQLRtFQS58FZgoKSFc5zL+ghS5COEgwBEMAQdiHhZieJkwYiIhrY0wcJ+SpOMMEOdImlMUowyJ2QN8e7ZopG9BeesZK7dApPr2clDr2SRNSHicsT9NVPFHOkv3Ne6w85d1G9LdTryGxAn1i/9JNM/+rk7UIuDhWNXhUU6QYWZ2TuiSqK/Lm+peqBDlExEncpTgn7CjltM+60sSqdtlbS8XfVKZk5d5JcxO8y1vSgM2f45wFtcOiaRTNi8NC6SQddRa72MMBzfMIJZyjjCp53+ART3jWLrVb7U67/0zVMqlmG9+W9vABS9CZ/A==</latexit><latexit sha1_base64="gBgK0XSdYGmvmVqQ/uuLg1R6Yg4=">AAAC3nicjVHLSsNAFD2Nr1pfVVfiJlgEVyVxoyspuNBlhb6gLTVJJ21omoTJRCyluHMnbv0Bt/o54h/oX3hnTEEtohOSnDn3njNz77Uj34uFYbxmtLn5hcWl7HJuZXVtfSO/uVWLw4Q7rOqEfsgbthUz3wtYVXjCZ42IM2to+6xuD05lvH7FeOyFQUWMItYeWr3Acz3HEkR18jut2NVbgl0L2x2f8TAJunqFJ6I/6eQLRtFQS58FZgoKSFc5zL+ghS5COEgwBEMAQdiHhZieJkwYiIhrY0wcJ+SpOMMEOdImlMUowyJ2QN8e7ZopG9BeesZK7dApPr2clDr2SRNSHicsT9NVPFHOkv3Ne6w85d1G9LdTryGxAn1i/9JNM/+rk7UIuDhWNXhUU6QYWZ2TuiSqK/Lm+peqBDlExEncpTgn7CjltM+60sSqdtlbS8XfVKZk5d5JcxO8y1vSgM2f45wFtcOiaRTNi8NC6SQddRa72MMBzfMIJZyjjCp53+ART3jWLrVb7U67/0zVMqlmG9+W9vABS9CZ/A==</latexit>Corrupted Data
<latexit sha1_base64="mwnRGQ0bi7PcQpY/xcaakahxnys=">AAAC4HicjVHLSsNAFD2Nr1pfVZfdBIvgqiTd6EoKdeGygn1AW2SSTmtomoTJRCylC3fuxK0/4Fa/RvwD/QvvjCmoRXRCkjPn3nNm7r1O5HuxtKzXjLGwuLS8kl3Nra1vbG7lt3cacZgIl9fd0A9Fy2Ex972A16Unfd6KBGcjx+dNZ1hV8eYVF7EXBudyHPHuiA0Cr++5TBJ1kS904r7ZkfxaOv1JNRQiiSTvmSdMsulFvmiVLL3MeWCnoIh01cL8CzroIYSLBCNwBJCEfTDE9LRhw0JEXBcT4gQhT8c5psiRNqEsThmM2CF9B7Rrp2xAe+UZa7VLp/j0ClKa2CdNSHmCsDrN1PFEOyv2N++J9lR3G9PfSb1GxEpcEvuXbpb5X52qRaKPI12DRzVFmlHVualLoruibm5+qUqSQ0Scwj2KC8KuVs76bGpNrGtXvWU6/qYzFav2bpqb4F3dkgZs/xznPGiUS7ZVss/KxcpxOuosCtjDAc3zEBWcooY6ed/gEU94Nhzj1rgz7j9TjUyq2cW3ZTx8AEUwmrw=</latexit><latexit sha1_base64="mwnRGQ0bi7PcQpY/xcaakahxnys=">AAAC4HicjVHLSsNAFD2Nr1pfVZfdBIvgqiTd6EoKdeGygn1AW2SSTmtomoTJRCylC3fuxK0/4Fa/RvwD/QvvjCmoRXRCkjPn3nNm7r1O5HuxtKzXjLGwuLS8kl3Nra1vbG7lt3cacZgIl9fd0A9Fy2Ex972A16Unfd6KBGcjx+dNZ1hV8eYVF7EXBudyHPHuiA0Cr++5TBJ1kS904r7ZkfxaOv1JNRQiiSTvmSdMsulFvmiVLL3MeWCnoIh01cL8CzroIYSLBCNwBJCEfTDE9LRhw0JEXBcT4gQhT8c5psiRNqEsThmM2CF9B7Rrp2xAe+UZa7VLp/j0ClKa2CdNSHmCsDrN1PFEOyv2N++J9lR3G9PfSb1GxEpcEvuXbpb5X52qRaKPI12DRzVFmlHVualLoruibm5+qUqSQ0Scwj2KC8KuVs76bGpNrGtXvWU6/qYzFav2bpqb4F3dkgZs/xznPGiUS7ZVss/KxcpxOuosCtjDAc3zEBWcooY6ed/gEU94Nhzj1rgz7j9TjUyq2cW3ZTx8AEUwmrw=</latexit><latexit sha1_base64="mwnRGQ0bi7PcQpY/xcaakahxnys=">AAAC4HicjVHLSsNAFD2Nr1pfVZfdBIvgqiTd6EoKdeGygn1AW2SSTmtomoTJRCylC3fuxK0/4Fa/RvwD/QvvjCmoRXRCkjPn3nNm7r1O5HuxtKzXjLGwuLS8kl3Nra1vbG7lt3cacZgIl9fd0A9Fy2Ex972A16Unfd6KBGcjx+dNZ1hV8eYVF7EXBudyHPHuiA0Cr++5TBJ1kS904r7ZkfxaOv1JNRQiiSTvmSdMsulFvmiVLL3MeWCnoIh01cL8CzroIYSLBCNwBJCEfTDE9LRhw0JEXBcT4gQhT8c5psiRNqEsThmM2CF9B7Rrp2xAe+UZa7VLp/j0ClKa2CdNSHmCsDrN1PFEOyv2N++J9lR3G9PfSb1GxEpcEvuXbpb5X52qRaKPI12DRzVFmlHVualLoruibm5+qUqSQ0Scwj2KC8KuVs76bGpNrGtXvWU6/qYzFav2bpqb4F3dkgZs/xznPGiUS7ZVss/KxcpxOuosCtjDAc3zEBWcooY6ed/gEU94Nhzj1rgz7j9TjUyq2cW3ZTx8AEUwmrw=</latexit><latexit sha1_base64="mwnRGQ0bi7PcQpY/xcaakahxnys=">AAAC4HicjVHLSsNAFD2Nr1pfVZfdBIvgqiTd6EoKdeGygn1AW2SSTmtomoTJRCylC3fuxK0/4Fa/RvwD/QvvjCmoRXRCkjPn3nNm7r1O5HuxtKzXjLGwuLS8kl3Nra1vbG7lt3cacZgIl9fd0A9Fy2Ex972A16Unfd6KBGcjx+dNZ1hV8eYVF7EXBudyHPHuiA0Cr++5TBJ1kS904r7ZkfxaOv1JNRQiiSTvmSdMsulFvmiVLL3MeWCnoIh01cL8CzroIYSLBCNwBJCEfTDE9LRhw0JEXBcT4gQhT8c5psiRNqEsThmM2CF9B7Rrp2xAe+UZa7VLp/j0ClKa2CdNSHmCsDrN1PFEOyv2N++J9lR3G9PfSb1GxEpcEvuXbpb5X52qRaKPI12DRzVFmlHVualLoruibm5+qUqSQ0Scwj2KC8KuVs76bGpNrGtXvWU6/qYzFav2bpqb4F3dkgZs/xznPGiUS7ZVss/KxcpxOuosCtjDAc3zEBWcooY6ed/gEU94Nhzj1rgz7j9TjUyq2cW3ZTx8AEUwmrw=</latexit>
Ray artifacts
<latexit sha1_base64="yjTiC3wdfkNfD4HniOPp4HKd9eU=">AAAC2HicjVHLSsNAFD3GV31Hu3QTLIKrkrjRlRTcuFSxrVilTMapDqZJmJkIpQjuxK0/4Fa/SPwD/QvvjBF8IDohyZlz7zkz9944T6Q2Yfg84o2OjU9MVqamZ2bn5hf8xaWWzgrFRZNnSaYOY6ZFIlPRNNIk4jBXgvXjRLTji20bb18KpWWWHphBLk767CyVPcmZIarrV491Lxjus0HAlJE9xo2+6vq1sB66FfwEUQlqKNdu5j/hGKfIwFGgD4EUhnACBk1PBxFC5MSdYEicIiRdXOAK06QtKEtQBiP2gr5ntOuUbEp766mdmtMpCb2KlAFWSZNRniJsTwtcvHDOlv3Ne+g87d0G9I9Lrz6xBufE/qX7yPyvztZi0MOmq0FSTbljbHW8dClcV+zNg09VGXLIibP4lOKKMHfKjz4HTqNd7ba3zMVfXKZl7Z6XuQVe7S1pwNH3cf4ErfV6FNajvfVaY6scdQXLWMEazXMDDexgF03yHuAeD3j0jrxr78a7fU/1RkpNFV+Wd/cGPZqXPg==</latexit><latexit sha1_base64="yjTiC3wdfkNfD4HniOPp4HKd9eU=">AAAC2HicjVHLSsNAFD3GV31Hu3QTLIKrkrjRlRTcuFSxrVilTMapDqZJmJkIpQjuxK0/4Fa/SPwD/QvvjBF8IDohyZlz7zkz9944T6Q2Yfg84o2OjU9MVqamZ2bn5hf8xaWWzgrFRZNnSaYOY6ZFIlPRNNIk4jBXgvXjRLTji20bb18KpWWWHphBLk767CyVPcmZIarrV491Lxjus0HAlJE9xo2+6vq1sB66FfwEUQlqKNdu5j/hGKfIwFGgD4EUhnACBk1PBxFC5MSdYEicIiRdXOAK06QtKEtQBiP2gr5ntOuUbEp766mdmtMpCb2KlAFWSZNRniJsTwtcvHDOlv3Ne+g87d0G9I9Lrz6xBufE/qX7yPyvztZi0MOmq0FSTbljbHW8dClcV+zNg09VGXLIibP4lOKKMHfKjz4HTqNd7ba3zMVfXKZl7Z6XuQVe7S1pwNH3cf4ErfV6FNajvfVaY6scdQXLWMEazXMDDexgF03yHuAeD3j0jrxr78a7fU/1RkpNFV+Wd/cGPZqXPg==</latexit><latexit sha1_base64="yjTiC3wdfkNfD4HniOPp4HKd9eU=">AAAC2HicjVHLSsNAFD3GV31Hu3QTLIKrkrjRlRTcuFSxrVilTMapDqZJmJkIpQjuxK0/4Fa/SPwD/QvvjBF8IDohyZlz7zkz9944T6Q2Yfg84o2OjU9MVqamZ2bn5hf8xaWWzgrFRZNnSaYOY6ZFIlPRNNIk4jBXgvXjRLTji20bb18KpWWWHphBLk767CyVPcmZIarrV491Lxjus0HAlJE9xo2+6vq1sB66FfwEUQlqKNdu5j/hGKfIwFGgD4EUhnACBk1PBxFC5MSdYEicIiRdXOAK06QtKEtQBiP2gr5ntOuUbEp766mdmtMpCb2KlAFWSZNRniJsTwtcvHDOlv3Ne+g87d0G9I9Lrz6xBufE/qX7yPyvztZi0MOmq0FSTbljbHW8dClcV+zNg09VGXLIibP4lOKKMHfKjz4HTqNd7ba3zMVfXKZl7Z6XuQVe7S1pwNH3cf4ErfV6FNajvfVaY6scdQXLWMEazXMDDexgF03yHuAeD3j0jrxr78a7fU/1RkpNFV+Wd/cGPZqXPg==</latexit><latexit sha1_base64="yjTiC3wdfkNfD4HniOPp4HKd9eU=">AAAC2HicjVHLSsNAFD3GV31Hu3QTLIKrkrjRlRTcuFSxrVilTMapDqZJmJkIpQjuxK0/4Fa/SPwD/QvvjBF8IDohyZlz7zkz9944T6Q2Yfg84o2OjU9MVqamZ2bn5hf8xaWWzgrFRZNnSaYOY6ZFIlPRNNIk4jBXgvXjRLTji20bb18KpWWWHphBLk767CyVPcmZIarrV491Lxjus0HAlJE9xo2+6vq1sB66FfwEUQlqKNdu5j/hGKfIwFGgD4EUhnACBk1PBxFC5MSdYEicIiRdXOAK06QtKEtQBiP2gr5ntOuUbEp766mdmtMpCb2KlAFWSZNRniJsTwtcvHDOlv3Ne+g87d0G9I9Lrz6xBufE/qX7yPyvztZi0MOmq0FSTbljbHW8dClcV+zNg09VGXLIibP4lOKKMHfKjz4HTqNd7ba3zMVfXKZl7Z6XuQVe7S1pwNH3cf4ErfV6FNajvfVaY6scdQXLWMEazXMDDexgF03yHuAeD3j0jrxr78a7fU/1RkpNFV+Wd/cGPZqXPg==</latexit>Object elongation
<latexit sha1_base64="NwaMJS5yTDt8abwjdb1CEI82ROM=">AAAC3HicjVHLSsNAFD2Nr1pfURcu3ASL4Kok3ehKCm7cWcE+oK0lmU5rbF4kE6GU7tyJW3/ArX6P+Af6F94ZU1CL6IQkZ86958y9c53IcxNhmq85bW5+YXEpv1xYWV1b39A3t+pJmMaM11johXHTsRPuuQGvCVd4vBnF3PYdjzec4YmMN254nLhhcCFGEe/49iBw+y6zBVFdfaed9I3xmXPNmTC4FwYDFZh09aJZMtUyZoGVgSKyVQ31F7TRQwiGFD44AgjCHmwk9LRgwUREXAdj4mJCropzTFAgbUpZnDJsYof0HdCulbEB7aVnotSMTvHojUlpYJ80IeXFhOVphoqnylmyv3mPlaesbUR/J/PyiRW4IvYv3TTzvzrZi0AfR6oHl3qKFCO7Y5lLqm5FVm586UqQQ0ScxD2Kx4SZUk7v2VCaRPUu79ZW8TeVKVm5Z1luindZJQ3Y+jnOWVAvlyyzZJ2Xi5XjbNR57GIPBzTPQ1Rwiipqqv5HPOFZu9RutTvt/jNVy2WabXxb2sMHwvSZAA==</latexit><latexit sha1_base64="NwaMJS5yTDt8abwjdb1CEI82ROM=">AAAC3HicjVHLSsNAFD2Nr1pfURcu3ASL4Kok3ehKCm7cWcE+oK0lmU5rbF4kE6GU7tyJW3/ArX6P+Af6F94ZU1CL6IQkZ86958y9c53IcxNhmq85bW5+YXEpv1xYWV1b39A3t+pJmMaM11johXHTsRPuuQGvCVd4vBnF3PYdjzec4YmMN254nLhhcCFGEe/49iBw+y6zBVFdfaed9I3xmXPNmTC4FwYDFZh09aJZMtUyZoGVgSKyVQ31F7TRQwiGFD44AgjCHmwk9LRgwUREXAdj4mJCropzTFAgbUpZnDJsYof0HdCulbEB7aVnotSMTvHojUlpYJ80IeXFhOVphoqnylmyv3mPlaesbUR/J/PyiRW4IvYv3TTzvzrZi0AfR6oHl3qKFCO7Y5lLqm5FVm586UqQQ0ScxD2Kx4SZUk7v2VCaRPUu79ZW8TeVKVm5Z1luindZJQ3Y+jnOWVAvlyyzZJ2Xi5XjbNR57GIPBzTPQ1Rwiipqqv5HPOFZu9RutTvt/jNVy2WabXxb2sMHwvSZAA==</latexit><latexit sha1_base64="NwaMJS5yTDt8abwjdb1CEI82ROM=">AAAC3HicjVHLSsNAFD2Nr1pfURcu3ASL4Kok3ehKCm7cWcE+oK0lmU5rbF4kE6GU7tyJW3/ArX6P+Af6F94ZU1CL6IQkZ86958y9c53IcxNhmq85bW5+YXEpv1xYWV1b39A3t+pJmMaM11johXHTsRPuuQGvCVd4vBnF3PYdjzec4YmMN254nLhhcCFGEe/49iBw+y6zBVFdfaed9I3xmXPNmTC4FwYDFZh09aJZMtUyZoGVgSKyVQ31F7TRQwiGFD44AgjCHmwk9LRgwUREXAdj4mJCropzTFAgbUpZnDJsYof0HdCulbEB7aVnotSMTvHojUlpYJ80IeXFhOVphoqnylmyv3mPlaesbUR/J/PyiRW4IvYv3TTzvzrZi0AfR6oHl3qKFCO7Y5lLqm5FVm586UqQQ0ScxD2Kx4SZUk7v2VCaRPUu79ZW8TeVKVm5Z1luindZJQ3Y+jnOWVAvlyyzZJ2Xi5XjbNR57GIPBzTPQ1Rwiipqqv5HPOFZu9RutTvt/jNVy2WabXxb2sMHwvSZAA==</latexit><latexit sha1_base64="NwaMJS5yTDt8abwjdb1CEI82ROM=">AAAC3HicjVHLSsNAFD2Nr1pfURcu3ASL4Kok3ehKCm7cWcE+oK0lmU5rbF4kE6GU7tyJW3/ArX6P+Af6F94ZU1CL6IQkZ86958y9c53IcxNhmq85bW5+YXEpv1xYWV1b39A3t+pJmMaM11johXHTsRPuuQGvCVd4vBnF3PYdjzec4YmMN254nLhhcCFGEe/49iBw+y6zBVFdfaed9I3xmXPNmTC4FwYDFZh09aJZMtUyZoGVgSKyVQ31F7TRQwiGFD44AgjCHmwk9LRgwUREXAdj4mJCropzTFAgbUpZnDJsYof0HdCulbEB7aVnotSMTvHojUlpYJ80IeXFhOVphoqnylmyv3mPlaesbUR/J/PyiRW4IvYv3TTzvzrZi0AfR6oHl3qKFCO7Y5lLqm5FVm586UqQQ0ScxD2Kx4SZUk7v2VCaRPUu79ZW8TeVKVm5Z1luindZJQ3Y+jnOWVAvlyyzZJ2Xi5XjbNR57GIPBzTPQ1Rwiipqqv5HPOFZu9RutTvt/jNVy2WabXxb2sMHwvSZAA==</latexit>
Side artifacts
<latexit sha1_base64="WHZ6tk1bYZ68A9CvFtLO+VGpOOs=">AAAC2XicjVHLSsNAFD2Nr/quj52bYBFclcSNrkRw47Ki1UIVmUynOpgmYWYi1OLCnbj1B9zqD4l/oH/hnTEFtYhOSHLm3HvOzL03ymKpTRC8lryR0bHxifLk1PTM7Nx8ZWHxSKe54qLB0zhVzYhpEctENIw0sWhmSrBuFIvj6HLXxo+vhNIyTQ5NLxOnXXaeyI7kzBB1Vlk+0R2/fyDbwmfKyA7jRt+cVapBLXDLHwZhAaooVj2tvOAEbaTgyNGFQAJDOAaDpqeFEAEy4k7RJ04Rki4ucIMp0uaUJSiDEXtJ33PatQo2ob311E7N6ZSYXkVKH2ukSSlPEban+S6eO2fL/ubdd572bj36R4VXl1iDC2L/0g0y/6uztRh0sOVqkFRT5hhbHS9cctcVe3P/S1WGHDLiLG5TXBHmTjnos+802tVue8tc/M1lWtbueZGb493ekgYc/hznMDjaqIVBLdzfqO5sF6MuYwWrWKd5bmIHe6ijQd7XeMQTnr2Wd+vdefefqV6p0Czh2/IePgA92Zeh</latexit><latexit sha1_base64="WHZ6tk1bYZ68A9CvFtLO+VGpOOs=">AAAC2XicjVHLSsNAFD2Nr/quj52bYBFclcSNrkRw47Ki1UIVmUynOpgmYWYi1OLCnbj1B9zqD4l/oH/hnTEFtYhOSHLm3HvOzL03ymKpTRC8lryR0bHxifLk1PTM7Nx8ZWHxSKe54qLB0zhVzYhpEctENIw0sWhmSrBuFIvj6HLXxo+vhNIyTQ5NLxOnXXaeyI7kzBB1Vlk+0R2/fyDbwmfKyA7jRt+cVapBLXDLHwZhAaooVj2tvOAEbaTgyNGFQAJDOAaDpqeFEAEy4k7RJ04Rki4ucIMp0uaUJSiDEXtJ33PatQo2ob311E7N6ZSYXkVKH2ukSSlPEban+S6eO2fL/ubdd572bj36R4VXl1iDC2L/0g0y/6uztRh0sOVqkFRT5hhbHS9cctcVe3P/S1WGHDLiLG5TXBHmTjnos+802tVue8tc/M1lWtbueZGb493ekgYc/hznMDjaqIVBLdzfqO5sF6MuYwWrWKd5bmIHe6ijQd7XeMQTnr2Wd+vdefefqV6p0Czh2/IePgA92Zeh</latexit><latexit sha1_base64="WHZ6tk1bYZ68A9CvFtLO+VGpOOs=">AAAC2XicjVHLSsNAFD2Nr/quj52bYBFclcSNrkRw47Ki1UIVmUynOpgmYWYi1OLCnbj1B9zqD4l/oH/hnTEFtYhOSHLm3HvOzL03ymKpTRC8lryR0bHxifLk1PTM7Nx8ZWHxSKe54qLB0zhVzYhpEctENIw0sWhmSrBuFIvj6HLXxo+vhNIyTQ5NLxOnXXaeyI7kzBB1Vlk+0R2/fyDbwmfKyA7jRt+cVapBLXDLHwZhAaooVj2tvOAEbaTgyNGFQAJDOAaDpqeFEAEy4k7RJ04Rki4ucIMp0uaUJSiDEXtJ33PatQo2ob311E7N6ZSYXkVKH2ukSSlPEban+S6eO2fL/ubdd572bj36R4VXl1iDC2L/0g0y/6uztRh0sOVqkFRT5hhbHS9cctcVe3P/S1WGHDLiLG5TXBHmTjnos+802tVue8tc/M1lWtbueZGb493ekgYc/hznMDjaqIVBLdzfqO5sF6MuYwWrWKd5bmIHe6ijQd7XeMQTnr2Wd+vdefefqV6p0Czh2/IePgA92Zeh</latexit><latexit sha1_base64="WHZ6tk1bYZ68A9CvFtLO+VGpOOs=">AAAC2XicjVHLSsNAFD2Nr/quj52bYBFclcSNrkRw47Ki1UIVmUynOpgmYWYi1OLCnbj1B9zqD4l/oH/hnTEFtYhOSHLm3HvOzL03ymKpTRC8lryR0bHxifLk1PTM7Nx8ZWHxSKe54qLB0zhVzYhpEctENIw0sWhmSrBuFIvj6HLXxo+vhNIyTQ5NLxOnXXaeyI7kzBB1Vlk+0R2/fyDbwmfKyA7jRt+cVapBLXDLHwZhAaooVj2tvOAEbaTgyNGFQAJDOAaDpqeFEAEy4k7RJ04Rki4ucIMp0uaUJSiDEXtJ33PatQo2ob311E7N6ZSYXkVKH2ukSSlPEban+S6eO2fL/ubdd572bj36R4VXl1iDC2L/0g0y/6uztRh0sOVqkFRT5hhbHS9cctcVe3P/S1WGHDLiLG5TXBHmTjnos+802tVue8tc/M1lWtbueZGb493ekgYc/hznMDjaqIVBLdzfqO5sF6MuYwWrWKd5bmIHe6ijQd7XeMQTnr2Wd+vdefefqV6p0Czh2/IePgA92Zeh</latexit>
Missing wedge
<latexit sha1_base64="w2YKdwggGgB8x2XGmMMWjOYBAx4=">AAAC2HicjVHLSsNAFD2Nr1pf1S7dBIvgqiTd6EoKbtwIFewD21KSdFqHpknITJRSCu7ErT/gVr9I/AP9C++MKahFdEKSM+fec2buvW7kcyEt6zVjLCwuLa9kV3Nr6xubW/ntnboIk9hjNS/0w7jpOoL5PGA1yaXPmlHMnJHrs4Y7PFHxxjWLBQ+DCzmOWGfkDALe554jiermC23RNydnXAgeDMwb1huwaTdftEqWXuY8sFNQRLqqYf4FbfQQwkOCERgCSMI+HAh6WrBhISKugwlxMSGu4wxT5EibUBajDIfYIX0HtGulbEB75Sm02qNTfHpjUprYJ01IeTFhdZqp44l2Vuxv3hPtqe42pr+beo2Ilbgi9i/dLPO/OlWLRB9HugZONUWaUdV5qUuiu6Jubn6pSpJDRJzCPYrHhD2tnPXZ1Bqha1e9dXT8TWcqVu29NDfBu7olDdj+Oc55UC+XbKtkn5eLleN01FnsYg8HNM9DVHCKKmrkPcYjnvBsXBq3xp1x/5lqZFJNAd+W8fABLmyXNw==</latexit><latexit sha1_base64="w2YKdwggGgB8x2XGmMMWjOYBAx4=">AAAC2HicjVHLSsNAFD2Nr1pf1S7dBIvgqiTd6EoKbtwIFewD21KSdFqHpknITJRSCu7ErT/gVr9I/AP9C++MKahFdEKSM+fec2buvW7kcyEt6zVjLCwuLa9kV3Nr6xubW/ntnboIk9hjNS/0w7jpOoL5PGA1yaXPmlHMnJHrs4Y7PFHxxjWLBQ+DCzmOWGfkDALe554jiermC23RNydnXAgeDMwb1huwaTdftEqWXuY8sFNQRLqqYf4FbfQQwkOCERgCSMI+HAh6WrBhISKugwlxMSGu4wxT5EibUBajDIfYIX0HtGulbEB75Sm02qNTfHpjUprYJ01IeTFhdZqp44l2Vuxv3hPtqe42pr+beo2Ilbgi9i/dLPO/OlWLRB9HugZONUWaUdV5qUuiu6Jubn6pSpJDRJzCPYrHhD2tnPXZ1Bqha1e9dXT8TWcqVu29NDfBu7olDdj+Oc55UC+XbKtkn5eLleN01FnsYg8HNM9DVHCKKmrkPcYjnvBsXBq3xp1x/5lqZFJNAd+W8fABLmyXNw==</latexit><latexit sha1_base64="w2YKdwggGgB8x2XGmMMWjOYBAx4=">AAAC2HicjVHLSsNAFD2Nr1pf1S7dBIvgqiTd6EoKbtwIFewD21KSdFqHpknITJRSCu7ErT/gVr9I/AP9C++MKahFdEKSM+fec2buvW7kcyEt6zVjLCwuLa9kV3Nr6xubW/ntnboIk9hjNS/0w7jpOoL5PGA1yaXPmlHMnJHrs4Y7PFHxxjWLBQ+DCzmOWGfkDALe554jiermC23RNydnXAgeDMwb1huwaTdftEqWXuY8sFNQRLqqYf4FbfQQwkOCERgCSMI+HAh6WrBhISKugwlxMSGu4wxT5EibUBajDIfYIX0HtGulbEB75Sm02qNTfHpjUprYJ01IeTFhdZqp44l2Vuxv3hPtqe42pr+beo2Ilbgi9i/dLPO/OlWLRB9HugZONUWaUdV5qUuiu6Jubn6pSpJDRJzCPYrHhD2tnPXZ1Bqha1e9dXT8TWcqVu29NDfBu7olDdj+Oc55UC+XbKtkn5eLleN01FnsYg8HNM9DVHCKKmrkPcYjnvBsXBq3xp1x/5lqZFJNAd+W8fABLmyXNw==</latexit><latexit sha1_base64="w2YKdwggGgB8x2XGmMMWjOYBAx4=">AAAC2HicjVHLSsNAFD2Nr1pf1S7dBIvgqiTd6EoKbtwIFewD21KSdFqHpknITJRSCu7ErT/gVr9I/AP9C++MKahFdEKSM+fec2buvW7kcyEt6zVjLCwuLa9kV3Nr6xubW/ntnboIk9hjNS/0w7jpOoL5PGA1yaXPmlHMnJHrs4Y7PFHxxjWLBQ+DCzmOWGfkDALe554jiermC23RNydnXAgeDMwb1huwaTdftEqWXuY8sFNQRLqqYf4FbfQQwkOCERgCSMI+HAh6WrBhISKugwlxMSGu4wxT5EibUBajDIfYIX0HtGulbEB75Sm02qNTfHpjUprYJ01IeTFhdZqp44l2Vuxv3hPtqe42pr+beo2Ilbgi9i/dLPO/OlWLRB9HugZONUWaUdV5qUuiu6Jubn6pSpJDRJzCPYrHhD2tnPXZ1Bqha1e9dXT8TWcqVu29NDfBu7olDdj+Oc55UC+XbKtkn5eLleN01FnsYg8HNM9DVHCKKmrkPcYjnvBsXBq3xp1x/5lqZFJNAd+W8fABLmyXNw==</latexit>F
ou
ri
er
d
oma
in
<latexit sha1_base64="FGK+QS5Q3INJYLCqg9x5LY6YAnk=">AAAC2XicjVHLSsNAFD2Nr1pf9bFzEyyCq5K40ZUUBHFZwT6gLSVJp3VoXkwmQi1duBO3/oBb/SHxD/QvvDOmoBbRCUnOnHvPmbn3urHPE2lZrzljbn5hcSm/XFhZXVvfKG5u1ZMoFR6reZEfiabrJMznIatJLn3WjAVzAtdnDXd4quKNayYSHoWXchSzTuAMQt7nniOJ6hZ32knfHJ+RHWfC7EWBw8NJt1iyypZe5iywM1BCtqpR8QVt9BDBQ4oADCEkYR8OEnpasGEhJq6DMXGCENdxhgkKpE0pi1GGQ+yQvgPatTI2pL3yTLTao1N8egUpTeyTJqI8QVidZup4qp0V+5v3WHuqu43o72ZeAbESV8T+pZtm/lenapHo41jXwKmmWDOqOi9zSXVX1M3NL1VJcoiJU7hHcUHY08ppn02tSXTtqreOjr/pTMWqvZflpnhXt6QB2z/HOQvqh2XbKtsXh6XKSTbqPHaxhwOa5xEqOEcVNfK+wSOe8Gy0jFvjzrj/TDVymWYb35bx8AFg3Jev</latexit><latexit sha1_base64="FGK+QS5Q3INJYLCqg9x5LY6YAnk=">AAAC2XicjVHLSsNAFD2Nr1pf9bFzEyyCq5K40ZUUBHFZwT6gLSVJp3VoXkwmQi1duBO3/oBb/SHxD/QvvDOmoBbRCUnOnHvPmbn3urHPE2lZrzljbn5hcSm/XFhZXVvfKG5u1ZMoFR6reZEfiabrJMznIatJLn3WjAVzAtdnDXd4quKNayYSHoWXchSzTuAMQt7nniOJ6hZ32knfHJ+RHWfC7EWBw8NJt1iyypZe5iywM1BCtqpR8QVt9BDBQ4oADCEkYR8OEnpasGEhJq6DMXGCENdxhgkKpE0pi1GGQ+yQvgPatTI2pL3yTLTao1N8egUpTeyTJqI8QVidZup4qp0V+5v3WHuqu43o72ZeAbESV8T+pZtm/lenapHo41jXwKmmWDOqOi9zSXVX1M3NL1VJcoiJU7hHcUHY08ppn02tSXTtqreOjr/pTMWqvZflpnhXt6QB2z/HOQvqh2XbKtsXh6XKSTbqPHaxhwOa5xEqOEcVNfK+wSOe8Gy0jFvjzrj/TDVymWYb35bx8AFg3Jev</latexit><latexit sha1_base64="FGK+QS5Q3INJYLCqg9x5LY6YAnk=">AAAC2XicjVHLSsNAFD2Nr1pf9bFzEyyCq5K40ZUUBHFZwT6gLSVJp3VoXkwmQi1duBO3/oBb/SHxD/QvvDOmoBbRCUnOnHvPmbn3urHPE2lZrzljbn5hcSm/XFhZXVvfKG5u1ZMoFR6reZEfiabrJMznIatJLn3WjAVzAtdnDXd4quKNayYSHoWXchSzTuAMQt7nniOJ6hZ32knfHJ+RHWfC7EWBw8NJt1iyypZe5iywM1BCtqpR8QVt9BDBQ4oADCEkYR8OEnpasGEhJq6DMXGCENdxhgkKpE0pi1GGQ+yQvgPatTI2pL3yTLTao1N8egUpTeyTJqI8QVidZup4qp0V+5v3WHuqu43o72ZeAbESV8T+pZtm/lenapHo41jXwKmmWDOqOi9zSXVX1M3NL1VJcoiJU7hHcUHY08ppn02tSXTtqreOjr/pTMWqvZflpnhXt6QB2z/HOQvqh2XbKtsXh6XKSTbqPHaxhwOa5xEqOEcVNfK+wSOe8Gy0jFvjzrj/TDVymWYb35bx8AFg3Jev</latexit><latexit sha1_base64="FGK+QS5Q3INJYLCqg9x5LY6YAnk=">AAAC2XicjVHLSsNAFD2Nr1pf9bFzEyyCq5K40ZUUBHFZwT6gLSVJp3VoXkwmQi1duBO3/oBb/SHxD/QvvDOmoBbRCUnOnHvPmbn3urHPE2lZrzljbn5hcSm/XFhZXVvfKG5u1ZMoFR6reZEfiabrJMznIatJLn3WjAVzAtdnDXd4quKNayYSHoWXchSzTuAMQt7nniOJ6hZ32knfHJ+RHWfC7EWBw8NJt1iyypZe5iywM1BCtqpR8QVt9BDBQ4oADCEkYR8OEnpasGEhJq6DMXGCENdxhgkKpE0pi1GGQ+yQvgPatTI2pL3yTLTao1N8egUpTeyTJqI8QVidZup4qp0V+5v3WHuqu43o72ZeAbESV8T+pZtm/lenapHo41jXwKmmWDOqOi9zSXVX1M3NL1VJcoiJU7hHcUHY08ppn02tSXTtqreOjr/pTMWqvZflpnhXt6QB2z/HOQvqh2XbKtsXh6XKSTbqPHaxhwOa5xEqOEcVNfK+wSOe8Gy0jFvjzrj/TDVymWYb35bx8AFg3Jev</latexit>
S
p
ati
al
d
oma
in
<latexit sha1_base64="3bKdAM68qtpoBAAA9ETU4DtsnKA=">AAAC2XicjVHLSsNAFD2Nr1pf9bFzEyyCq5K40ZUU3LisaB/QljJJp3VoXiQToZYu3Ilbf8Ct/pD4B/oX3hlTUIvohCTnnnvPmblzncgTibSs15wxN7+wuJRfLqysrq1vFDe36kmYxi6vuaEXxk2HJdwTAa9JIT3ejGLOfMfjDWd4qvKNax4nIgwu5SjiHZ8NAtEXLpNEdYs77aRvji8iCpln9kKfiWDSLZassqWXOQvsDJSQrWpYfEEbPYRwkcIHRwBJ2ANDQk8LNixExHUwJi4mJHSeY4ICaVOq4lTBiB3Sd0BRK2MDipVnotUu7eLRG5PSxD5pQqqLCavdTJ1PtbNif/Mea091thH9nczLJ1biiti/dNPK/+pULxJ9HOseBPUUaUZ152Yuqb4VdXLzS1eSHCLiFO5RPibsauX0nk2tSXTv6m6Zzr/pSsWq2M1qU7yrU9KA7Z/jnAX1w7Jtle3zw1LlJBt1HrvYwwHN8wgVnKGKGnnf4BFPeDZaxq1xZ9x/lhq5TLONb8t4+AA/MZeh</latexit><latexit sha1_base64="3bKdAM68qtpoBAAA9ETU4DtsnKA=">AAAC2XicjVHLSsNAFD2Nr1pf9bFzEyyCq5K40ZUU3LisaB/QljJJp3VoXiQToZYu3Ilbf8Ct/pD4B/oX3hlTUIvohCTnnnvPmblzncgTibSs15wxN7+wuJRfLqysrq1vFDe36kmYxi6vuaEXxk2HJdwTAa9JIT3ejGLOfMfjDWd4qvKNax4nIgwu5SjiHZ8NAtEXLpNEdYs77aRvji8iCpln9kKfiWDSLZassqWXOQvsDJSQrWpYfEEbPYRwkcIHRwBJ2ANDQk8LNixExHUwJi4mJHSeY4ICaVOq4lTBiB3Sd0BRK2MDipVnotUu7eLRG5PSxD5pQqqLCavdTJ1PtbNif/Mea091thH9nczLJ1biiti/dNPK/+pULxJ9HOseBPUUaUZ152Yuqb4VdXLzS1eSHCLiFO5RPibsauX0nk2tSXTv6m6Zzr/pSsWq2M1qU7yrU9KA7Z/jnAX1w7Jtle3zw1LlJBt1HrvYwwHN8wgVnKGKGnnf4BFPeDZaxq1xZ9x/lhq5TLONb8t4+AA/MZeh</latexit><latexit sha1_base64="3bKdAM68qtpoBAAA9ETU4DtsnKA=">AAAC2XicjVHLSsNAFD2Nr1pf9bFzEyyCq5K40ZUU3LisaB/QljJJp3VoXiQToZYu3Ilbf8Ct/pD4B/oX3hlTUIvohCTnnnvPmblzncgTibSs15wxN7+wuJRfLqysrq1vFDe36kmYxi6vuaEXxk2HJdwTAa9JIT3ejGLOfMfjDWd4qvKNax4nIgwu5SjiHZ8NAtEXLpNEdYs77aRvji8iCpln9kKfiWDSLZassqWXOQvsDJSQrWpYfEEbPYRwkcIHRwBJ2ANDQk8LNixExHUwJi4mJHSeY4ICaVOq4lTBiB3Sd0BRK2MDipVnotUu7eLRG5PSxD5pQqqLCavdTJ1PtbNif/Mea091thH9nczLJ1biiti/dNPK/+pULxJ9HOseBPUUaUZ152Yuqb4VdXLzS1eSHCLiFO5RPibsauX0nk2tSXTv6m6Zzr/pSsWq2M1qU7yrU9KA7Z/jnAX1w7Jtle3zw1LlJBt1HrvYwwHN8wgVnKGKGnnf4BFPeDZaxq1xZ9x/lhq5TLONb8t4+AA/MZeh</latexit><latexit sha1_base64="3bKdAM68qtpoBAAA9ETU4DtsnKA=">AAAC2XicjVHLSsNAFD2Nr1pf9bFzEyyCq5K40ZUU3LisaB/QljJJp3VoXiQToZYu3Ilbf8Ct/pD4B/oX3hlTUIvohCTnnnvPmblzncgTibSs15wxN7+wuJRfLqysrq1vFDe36kmYxi6vuaEXxk2HJdwTAa9JIT3ejGLOfMfjDWd4qvKNax4nIgwu5SjiHZ8NAtEXLpNEdYs77aRvji8iCpln9kKfiWDSLZassqWXOQvsDJSQrWpYfEEbPYRwkcIHRwBJ2ANDQk8LNixExHUwJi4mJHSeY4ICaVOq4lTBiB3Sd0BRK2MDipVnotUu7eLRG5PSxD5pQqqLCavdTJ1PtbNif/Mea091thH9nczLJ1biiti/dNPK/+pULxJ9HOseBPUUaUZ152Yuqb4VdXLzS1eSHCLiFO5RPibsauX0nk2tSXTv6m6Zzr/pSsWq2M1qU7yrU9KA7Z/jnAX1w7Jtle3zw1LlJBt1HrvYwwHN8wgVnKGKGnnf4BFPeDZaxq1xZ9x/lhq5TLONb8t4+AA/MZeh</latexit>
xy-vi
ew
<latexit sha1_base64="v//LCe3hOcNczonEnkmIbkefL5s=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRsdGVI3LhEI49EiGnLgBNKWztThBBi3PoDbvWrjH+gf+GdsSQqMTpN2zPn3nNm7r1u5HMhLes1Y8zNLywuZZdzK6tr6xv5za2aCJPYY1Uv9MO44TqC+TxgVcmlzxpRzJy+67O62ztR8fqAxYKHwYUcRazVd7oB73DPkUS1mqJjjoejgwFnt5OrfMEqWnqZs8BOQQHpqoT5FzTRRggPCfpgCCAJ+3Ag6LmEDQsRcS2MiYsJcR1nmCBH2oSyGGU4xPbo26XdZcoGtFeeQqs9OsWnNyaliT3ShJQXE1anmTqeaGfF/uY91p7qbiP6u6lXn1iJa2L/0k0z/6tTtUh0cKRr4FRTpBlVnZe6JLor6ubml6okOUTEKdymeEzY08ppn02tEbp21VtHx990pmLV3ktzE7yrW9KA7Z/jnAW1UtG2ivZZqVA+TkedxQ52sU/zPEQZp6igSt43eMQTno1zY2jcGfefqUYm1Wzj2zIePgBqV5Sd</latexit><latexit sha1_base64="v//LCe3hOcNczonEnkmIbkefL5s=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRsdGVI3LhEI49EiGnLgBNKWztThBBi3PoDbvWrjH+gf+GdsSQqMTpN2zPn3nNm7r1u5HMhLes1Y8zNLywuZZdzK6tr6xv5za2aCJPYY1Uv9MO44TqC+TxgVcmlzxpRzJy+67O62ztR8fqAxYKHwYUcRazVd7oB73DPkUS1mqJjjoejgwFnt5OrfMEqWnqZs8BOQQHpqoT5FzTRRggPCfpgCCAJ+3Ag6LmEDQsRcS2MiYsJcR1nmCBH2oSyGGU4xPbo26XdZcoGtFeeQqs9OsWnNyaliT3ShJQXE1anmTqeaGfF/uY91p7qbiP6u6lXn1iJa2L/0k0z/6tTtUh0cKRr4FRTpBlVnZe6JLor6ubml6okOUTEKdymeEzY08ppn02tEbp21VtHx990pmLV3ktzE7yrW9KA7Z/jnAW1UtG2ivZZqVA+TkedxQ52sU/zPEQZp6igSt43eMQTno1zY2jcGfefqUYm1Wzj2zIePgBqV5Sd</latexit><latexit sha1_base64="v//LCe3hOcNczonEnkmIbkefL5s=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRsdGVI3LhEI49EiGnLgBNKWztThBBi3PoDbvWrjH+gf+GdsSQqMTpN2zPn3nNm7r1u5HMhLes1Y8zNLywuZZdzK6tr6xv5za2aCJPYY1Uv9MO44TqC+TxgVcmlzxpRzJy+67O62ztR8fqAxYKHwYUcRazVd7oB73DPkUS1mqJjjoejgwFnt5OrfMEqWnqZs8BOQQHpqoT5FzTRRggPCfpgCCAJ+3Ag6LmEDQsRcS2MiYsJcR1nmCBH2oSyGGU4xPbo26XdZcoGtFeeQqs9OsWnNyaliT3ShJQXE1anmTqeaGfF/uY91p7qbiP6u6lXn1iJa2L/0k0z/6tTtUh0cKRr4FRTpBlVnZe6JLor6ubml6okOUTEKdymeEzY08ppn02tEbp21VtHx990pmLV3ktzE7yrW9KA7Z/jnAW1UtG2ivZZqVA+TkedxQ52sU/zPEQZp6igSt43eMQTno1zY2jcGfefqUYm1Wzj2zIePgBqV5Sd</latexit><latexit sha1_base64="v//LCe3hOcNczonEnkmIbkefL5s=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRsdGVI3LhEI49EiGnLgBNKWztThBBi3PoDbvWrjH+gf+GdsSQqMTpN2zPn3nNm7r1u5HMhLes1Y8zNLywuZZdzK6tr6xv5za2aCJPYY1Uv9MO44TqC+TxgVcmlzxpRzJy+67O62ztR8fqAxYKHwYUcRazVd7oB73DPkUS1mqJjjoejgwFnt5OrfMEqWnqZs8BOQQHpqoT5FzTRRggPCfpgCCAJ+3Ag6LmEDQsRcS2MiYsJcR1nmCBH2oSyGGU4xPbo26XdZcoGtFeeQqs9OsWnNyaliT3ShJQXE1anmTqeaGfF/uY91p7qbiP6u6lXn1iJa2L/0k0z/6tTtUh0cKRr4FRTpBlVnZe6JLor6ubml6okOUTEKdymeEzY08ppn02tEbp21VtHx990pmLV3ktzE7yrW9KA7Z/jnAW1UtG2ivZZqVA+TkedxQ52sU/zPEQZp6igSt43eMQTno1zY2jcGfefqUYm1Wzj2zIePgBqV5Sd</latexit>
yz
-vi
ew
<latexit sha1_base64="QuBuZu0tA/fuN7IfO01kV9HYets=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRudGVI3LhEI48EiGnLgBNKW9spioQYt/6AW/0q4x/oX3hnHBKVGJ2m7Zlz7zkz91438nkiLOs1Y8zMzs0vZBdzS8srq2v59Y1qEqaxxype6Idx3XUS5vOAVQQXPqtHMXP6rs9qbu9YxmsDFic8DM7FMGKtvtMNeId7jiCq1Uw65mh4uzfg7Hp8kS9YRUstcxrYGhSgVznMv6CJNkJ4SNEHQwBB2IeDhJ4GbFiIiGthRFxMiKs4wxg50qaUxSjDIbZH3y7tGpoNaC89E6X26BSf3piUJnZIE1JeTFieZqp4qpwl+5v3SHnKuw3p72qvPrECl8T+pZtk/lcnaxHo4FDVwKmmSDGyOk+7pKor8ubml6oEOUTESdymeEzYU8pJn02lSVTtsreOir+pTMnKvadzU7zLW9KA7Z/jnAbV/aJtFe3T/ULpSI86iy1sY5fmeYASTlBGhbyv8IgnPBtnxo1xZ9x/phoZrdnEt2U8fABvJJSf</latexit><latexit sha1_base64="QuBuZu0tA/fuN7IfO01kV9HYets=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRudGVI3LhEI48EiGnLgBNKW9spioQYt/6AW/0q4x/oX3hnHBKVGJ2m7Zlz7zkz91438nkiLOs1Y8zMzs0vZBdzS8srq2v59Y1qEqaxxype6Idx3XUS5vOAVQQXPqtHMXP6rs9qbu9YxmsDFic8DM7FMGKtvtMNeId7jiCq1Uw65mh4uzfg7Hp8kS9YRUstcxrYGhSgVznMv6CJNkJ4SNEHQwBB2IeDhJ4GbFiIiGthRFxMiKs4wxg50qaUxSjDIbZH3y7tGpoNaC89E6X26BSf3piUJnZIE1JeTFieZqp4qpwl+5v3SHnKuw3p72qvPrECl8T+pZtk/lcnaxHo4FDVwKmmSDGyOk+7pKor8ubml6oEOUTESdymeEzYU8pJn02lSVTtsreOir+pTMnKvadzU7zLW9KA7Z/jnAbV/aJtFe3T/ULpSI86iy1sY5fmeYASTlBGhbyv8IgnPBtnxo1xZ9x/phoZrdnEt2U8fABvJJSf</latexit><latexit sha1_base64="QuBuZu0tA/fuN7IfO01kV9HYets=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRudGVI3LhEI48EiGnLgBNKW9spioQYt/6AW/0q4x/oX3hnHBKVGJ2m7Zlz7zkz91438nkiLOs1Y8zMzs0vZBdzS8srq2v59Y1qEqaxxype6Idx3XUS5vOAVQQXPqtHMXP6rs9qbu9YxmsDFic8DM7FMGKtvtMNeId7jiCq1Uw65mh4uzfg7Hp8kS9YRUstcxrYGhSgVznMv6CJNkJ4SNEHQwBB2IeDhJ4GbFiIiGthRFxMiKs4wxg50qaUxSjDIbZH3y7tGpoNaC89E6X26BSf3piUJnZIE1JeTFieZqp4qpwl+5v3SHnKuw3p72qvPrECl8T+pZtk/lcnaxHo4FDVwKmmSDGyOk+7pKor8ubml6oEOUTESdymeEzYU8pJn02lSVTtsreOir+pTMnKvadzU7zLW9KA7Z/jnAbV/aJtFe3T/ULpSI86iy1sY5fmeYASTlBGhbyv8IgnPBtnxo1xZ9x/phoZrdnEt2U8fABvJJSf</latexit><latexit sha1_base64="QuBuZu0tA/fuN7IfO01kV9HYets=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRudGVI3LhEI48EiGnLgBNKW9spioQYt/6AW/0q4x/oX3hnHBKVGJ2m7Zlz7zkz91438nkiLOs1Y8zMzs0vZBdzS8srq2v59Y1qEqaxxype6Idx3XUS5vOAVQQXPqtHMXP6rs9qbu9YxmsDFic8DM7FMGKtvtMNeId7jiCq1Uw65mh4uzfg7Hp8kS9YRUstcxrYGhSgVznMv6CJNkJ4SNEHQwBB2IeDhJ4GbFiIiGthRFxMiKs4wxg50qaUxSjDIbZH3y7tGpoNaC89E6X26BSf3piUJnZIE1JeTFieZqp4qpwl+5v3SHnKuw3p72qvPrECl8T+pZtk/lcnaxHo4FDVwKmmSDGyOk+7pKor8ubml6oEOUTESdymeEzYU8pJn02lSVTtsreOir+pTMnKvadzU7zLW9KA7Z/jnAbV/aJtFe3T/ULpSI86iy1sY5fmeYASTlBGhbyv8IgnPBtnxo1xZ9x/phoZrdnEt2U8fABvJJSf</latexit>
xz
-vi
ew
<latexit sha1_base64="3Z/4Ot83V8XGpPz3IU78j6ISR3I=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRsdGVI3LhEI48EiGnLgBP6sp0iSIhx6w+41a8y/oH+hXfGkqjE6DRtz5x7z5m599qhy2NhGK8ZbW5+YXEpu5xbWV1b38hvbtXiIIkcVnUCN4gathUzl/usKrhwWSOMmOXZLqvb/RMZrw9YFPPAvxCjkLU9q+fzLncsQVS7FXf18fD2YMDZzeQyXzCKhlr6LDBTUEC6KkH+BS10EMBBAg8MPgRhFxZiepowYSAkro0xcREhruIME+RIm1AWowyL2D59e7RrpqxPe+kZK7VDp7j0RqTUsUeagPIiwvI0XcUT5SzZ37zHylPebUR/O/XyiBW4IvYv3TTzvzpZi0AXR6oGTjWFipHVOalLoroib65/qUqQQ0icxB2KR4QdpZz2WVeaWNUue2up+JvKlKzcO2lugnd5Sxqw+XOcs6BWKppG0TwrFcrH6aiz2MEu9mmehyjjFBVUyfsaj3jCs3auDbU77f4zVcukmm18W9rDB2y9lJ4=</latexit><latexit sha1_base64="3Z/4Ot83V8XGpPz3IU78j6ISR3I=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRsdGVI3LhEI48EiGnLgBP6sp0iSIhx6w+41a8y/oH+hXfGkqjE6DRtz5x7z5m599qhy2NhGK8ZbW5+YXEpu5xbWV1b38hvbtXiIIkcVnUCN4gathUzl/usKrhwWSOMmOXZLqvb/RMZrw9YFPPAvxCjkLU9q+fzLncsQVS7FXf18fD2YMDZzeQyXzCKhlr6LDBTUEC6KkH+BS10EMBBAg8MPgRhFxZiepowYSAkro0xcREhruIME+RIm1AWowyL2D59e7RrpqxPe+kZK7VDp7j0RqTUsUeagPIiwvI0XcUT5SzZ37zHylPebUR/O/XyiBW4IvYv3TTzvzpZi0AXR6oGTjWFipHVOalLoroib65/qUqQQ0icxB2KR4QdpZz2WVeaWNUue2up+JvKlKzcO2lugnd5Sxqw+XOcs6BWKppG0TwrFcrH6aiz2MEu9mmehyjjFBVUyfsaj3jCs3auDbU77f4zVcukmm18W9rDB2y9lJ4=</latexit><latexit sha1_base64="3Z/4Ot83V8XGpPz3IU78j6ISR3I=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRsdGVI3LhEI48EiGnLgBP6sp0iSIhx6w+41a8y/oH+hXfGkqjE6DRtz5x7z5m599qhy2NhGK8ZbW5+YXEpu5xbWV1b38hvbtXiIIkcVnUCN4gathUzl/usKrhwWSOMmOXZLqvb/RMZrw9YFPPAvxCjkLU9q+fzLncsQVS7FXf18fD2YMDZzeQyXzCKhlr6LDBTUEC6KkH+BS10EMBBAg8MPgRhFxZiepowYSAkro0xcREhruIME+RIm1AWowyL2D59e7RrpqxPe+kZK7VDp7j0RqTUsUeagPIiwvI0XcUT5SzZ37zHylPebUR/O/XyiBW4IvYv3TTzvzpZi0AXR6oGTjWFipHVOalLoroib65/qUqQQ0icxB2KR4QdpZz2WVeaWNUue2up+JvKlKzcO2lugnd5Sxqw+XOcs6BWKppG0TwrFcrH6aiz2MEu9mmehyjjFBVUyfsaj3jCs3auDbU77f4zVcukmm18W9rDB2y9lJ4=</latexit><latexit sha1_base64="3Z/4Ot83V8XGpPz3IU78j6ISR3I=">AAAC0HicjVHLTsJAFD3UF+ILdemmkZi4kbRsdGVI3LhEI48EiGnLgBP6sp0iSIhx6w+41a8y/oH+hXfGkqjE6DRtz5x7z5m599qhy2NhGK8ZbW5+YXEpu5xbWV1b38hvbtXiIIkcVnUCN4gathUzl/usKrhwWSOMmOXZLqvb/RMZrw9YFPPAvxCjkLU9q+fzLncsQVS7FXf18fD2YMDZzeQyXzCKhlr6LDBTUEC6KkH+BS10EMBBAg8MPgRhFxZiepowYSAkro0xcREhruIME+RIm1AWowyL2D59e7RrpqxPe+kZK7VDp7j0RqTUsUeagPIiwvI0XcUT5SzZ37zHylPebUR/O/XyiBW4IvYv3TTzvzpZi0AXR6oGTjWFipHVOalLoroib65/qUqQQ0icxB2KR4QdpZz2WVeaWNUue2up+JvKlKzcO2lugnd5Sxqw+XOcs6BWKppG0TwrFcrH6aiz2MEu9mmehyjjFBVUyfsaj3jCs3auDbU77f4zVcukmm18W9rDB2y9lJ4=</latexit>
Figure 1:
The effects of the missing wedge on the Shepp-Logan phantom. Left: uncorrupted 3D data displayed as ortho-slices
(one central slice along each dimension). Right: data corrupted by the missing wedge. We display the data in spatial domain (top
row) and Fourier domain (bottom row).
and time-frequency signal analysis (
Krémé et al.
,
2018
). Here, we focus on another special case which consists in
ex-trapolating the band-limited spectrum of an image up to higher frequencies. Nevertheless, these problems are generally
formulated as denoising problems with specific reconstruction constraints. For instance,
Moisan
(
2001
) and
Guichard
and Malgouyres
(
1998
) investigated the Total Variation (TV) minimization to extend the band-limited spectrum of
an image. In (
Lauze et al.
,
2017
), the authors combine TV minimization and positivity constraints to reduce noise
and artifacts, providing an inpainting-like mechanism for the sinogram missing data in limited-angle tomography (see
also (
Frikel and Quinto
,
2013
;
Sentosum et al.
,
2017
)). The common objective is to create new frequencies while
preserving discontinuities and details in the restored image. Instead of explicitly imposing some regularity (e.g. Total
variation, or robust regularization (
Geman and Reynolds
,
1992
;
Charbonnier et al.
,
1997
)) on the solution, another
successful restoration approach consists in exploiting the spatial redundancy of the input image. In (
Chambolle and
Jalalzai
,
2014
), a non-local method was suggested in the framework of variational methods for image reconstruction.
In this approach, a patchwise similarity measure based on atoms corresponding to pseudo Gabor filters is designed
to compare corrupted regions. Meanwhile,
Maggioni et al.
(
2013
) adapted the concept of BM3D for recovering the
missing spectrum applied to MRI imaging with very promising results on synthetic data. BM3D (
Dabov et al.
,
2007
)
is a popular denoising algorithm which combines clustering of noisy patches, DCT-based transform and shrinkage
operation to achieve the state-of-the-art results for several years. In our approach, we also focus on patch-based
meth-ods (
Kervrann and Boulanger
,
2008
;
Kindermann et al.
,
2005
;
Lou et al.
,
2010
;
Katkovnik et al.
,
2010
;
Pizarro et al.
,
2010
;
Milanfar
,
2013
;
Sutour et al.
,
2014
) to restore the input image corrupted by noise and non-linear transform.
Indeed, it has been experimentally confirmed that the most competitive denoising methods are non-local and exploit
self-similarities occurring at large distances in images, such as BM3D (
Dabov et al.
,
2007
), NL-Bayes (
Lebrun et al.
,
2013
), PLOW (
Chatterjee and Milanfar
,
2012
), S-PLE (
Wang and Morel
,
2013
), PEWA (
Kervrann
,
2014
) and many
other adaptative filters (
Kervrann and Boulanger
,
2006
,
2007
;
Van De Ville and Kocher
,
2009
;
Deledalle et al.
,
2009
;
Louchet and Moisan
,
2011
;
Duval et al.
,
2011
;
Deledalle et al.
,
2012
;
Kervrann et al.
,
2014
;
Jin et al.
,
2017
), inspired
from the seminal N(on)L(ocal)-means algorithm (
Buades et al.
,
2005
).
To complete the brief overview of non-local methods, we mention that a noisy image can also be restored from a
set of noisy or “clean” patches or a learned dictionary. The statistics of a training set of image patches serve then as
priors for denoising (
Elad and Aharon
,
2006
;
Mairal et al.
,
2009
;
Zoran and Weiss
,
2011
). Another approach based
multi-layer perceptron (MLP) exploiting a training set of noisy and noise-free patches was also able to achieve the
state-of-the-art performance (
Burger et al.
,
2012
). Very recently,
Buchholz et al.
(
2018
) proposed to train content-aware
restoration networks for denoising cryo-transmission electron microscopy data. While all these machine learning
methods are attractive and powerful, computation is not always feasible in 3D because very large collection of 3D
“clean” patches are required. In our study, we focus on unsupervised denoising methods since they are more flexible
for real applications. They are less computationally demanding and are still competitive when compared to recent
machine learning methods.
Our approach is mainly inspired from (
Maggioni et al.
,
2013
), but can use any competitive denoising methods for
restoring the Fourier coefficients. The method proposed by
Maggioni et al.
(
2013
) works by alternatively adding noise
into the missing region and applying the BM4D algorithm which is the extension of BM3D (
Dabov et al.
,
2007
) to
volumes. The authors interpret this iterative restoration method in the framework of compressed sensing with two
information theory concepts in mind: sparsity of the signal in the transformed domain, and incoherence between the
transform and the sampling matrix. Actually, BM4D does rely on a transform where the signal is sparse. Moreover,
it is not clearly established that this transform is incoherent with the sampling matrix, defined by the support of the
sampling region. Therefore, the proof of convergence is not clearly established, even though the authors presented
convincing experimental results on synthetic images corrupted with white Gaussian noise. It remains unclear how
the concept performs on experimental data and non Gaussian noise. To generalize this idea, we propose a statistical
approach well-grounded in the Bayesian and MCMC framework and applied to challenging real data in cryo-ET. Our
contributions are the following ones:
1. We present a MMSE estimator dedicated to the problem of MW restoration.
2. We propose an original Monte Carlo Markov Chain (MCMC) sampling procedure to efficiently compute the
MMSE estimator.
Paper organization
The remainder of the paper is organized as follows. In the next section, we present an overview of
our computational method. In Section
3
, we give the theoretical background and formulate the reconstruction problem
as an inverse problem. We shortly describe the usual Bayesian approach to derive a MMSE estimator. Furthermore, a
Monte-Carlo Markov Chains method based on the popular Metropolis-Hastings algorithm is proposed to compute the
underlying high-dimensional integral. In Section
4
, we adapt this general Bayesian framework for MW restoration.
An original Metropolis-Hastings procedure is presented to explore the large space of admissible solutions and to select
relevant samples. Section
5
presents the experimental results obtained on simulated and real data. We illustrate the
potential of our MWR (Missing Wedge Restoration) algorithm with experiments on real cryo-tomogram images and
we compare our iterative approach to several competitive algorithms.
2. Overview of the MW restoration algorithm
In this section, we present our concept for MW restoration. First, we formulate the problem and introduce notation.
Second, we present the two-step algorithm which is embedded in a Monte-Carlo simulation framework.
2.1. Problem formulation and notation
Let us define a 𝑛-dimensional image 𝒙 ∶ 𝑆 ⊂ ℤ
3
→ ℝ
assumed to be periodic and defined over a cubic domain
Ω = [0, 1]
3
and 𝑛 = |Ω|. The discrete Fourier transform of 𝒙 = {𝑥(𝑠), 𝑠 ∈ 𝑆} is then as follows:
𝒙 ∶ 𝑘 →
∑
𝑠
∈𝑆
exp (−2𝑖𝜋𝑘 ⋅ 𝑠) 𝑥(𝑠),
(1)
where 𝑠 is the coordinate of point in spatial domain 𝑆. In our problem, one considers a corrupted image denoted
𝒚
= {𝑦(𝑠), 𝑠 ∈ 𝑆}
defined as
𝑦
(𝑠) =
∑
𝑘
∈𝑊
exp (2𝑖𝜋𝑘 ⋅ 𝑠)
𝒙[𝑘]
(2)
where 𝑊 is the sampled spectral region (SR) where the Fourier coefficients 𝒙[𝑘] are positive and non-zero. The
region 𝑊 is equivalent to the support of a binary mask 𝒎 ∈ {0, 1}
𝑆
such as 𝒎[𝑘] = 1 if 𝑘 ∈ 𝑊 and 0 otherwise:
𝑊
=
supp(𝒎). The so-called missing wedge 𝑊 is assumed to be symmetric with respect to the origin as illustrated
in Fig.
1
(bottom right), and 𝑆 = 𝑊 ∪ 𝑊 . In what follows, we assume that the clean image 𝒙 is known over the
region 𝑊 . Our objective is then to estimate 𝒙 ∶ 𝑆 → ℝ in the whole domain 𝑆 such that
∀𝑘 ∈ 𝑊 ,
𝒙[𝑘] = 𝒚[𝑘]
(3)
and ∀𝑠 ∈ 𝑆, 𝑥(𝑠) > 0. In other words, the set of known Fourier coefficients will be preserved by the restoration
procedure. The challenge is to recover the unknown set of low, middle and high frequencies in a large region in the
spectrum. This amounts to applying an interpolation operator 𝜑
𝑊
to the spectrum of 𝒚 to get an estimator ̂𝒙 of 𝒙:
̂
𝒙
=
−1
◦𝜑
𝑊
◦
𝒚.
(4)
2.2. Principles of the iterative two step-algorithm
Our computational method takes as input an noisy image 𝒚 and iterates two steps as illustrated in Fig.
2
. At the
initialization (𝑡 = 0), we set 𝒙
(0)
= 𝒚:
• In the proposal step and at iteration 𝑡, white Gaussian noise 𝜺 is added to the current image 𝒙
(𝑡−1)
. The Fourier
coefficients are then non-zero in the MW region 𝑊 . We substitute the original Fourier coefficients in the SR
region 𝑊 to the noisy Fourier coefficients to preserve information. Formally, this amounts to applying an
projection operator
𝑊
(⋅)
to the artificially noisy image. The objective is to randomly initialize the Fourier
coefficients in the MW. A denoising algorithm is then used to efficiently remove the majority of the noise while
preserving image structure. Due to its random nature, a small amount of the added noise will be close to the
signal and is thus "saved" after denoising. The denoising algorithm (⋅), which promotes smoothness while
preserving contours, acts as a spatial regularizer. In summary, a candidate image 𝒛 = (
𝑊
(𝒙
(𝑡−1)
+ 𝜺))
is
obtained by applying an projection operator in the Fourier domain and a denoising operator in the spatial
domain.
• In the second evaluation step, the candidate image 𝒛 is compared and is potentially substituted to the current
image 𝒙
(𝑡−1)
depending on its ability to satisfies several constraints, including fidelity to the original input image
𝒛
. A cost function (or energy) is used to accept/reject this candidate image with a certain probability established
in the Metropolis-Hastings simulation framework as presented in the next section.
By repeating these two steps iteratively, we collect several hundreds of images {𝒙
(𝑡)
}
to compute an average
corre-sponding to the final restored image. The correcorre-sponding MWR (Missing Wedge Restoration) algorithm is actually able
to diffuse information from SR into MW. It cannot retrieve unobserved data, but it merely makes the best statistical
t
Proposal
step
Evaluation
step
Denoising
Noise
Recover known Fourier coefficients
+
from original volume
Spatial domain
Spectral domain
Accept/reject
according to
Metropolis scheme
Compute
energy
x
t
+ ✏
P
W
(x
t
+ ✏)
D (P
W
(x
t
+ ✏))
z
x
t+1
y
Unsampled region
(Missing Wedge)
Sampled region
(SR)
00
PW
(x
(t)
+ ")
<latexit sha1_base64="x41ivYedowfc/AxeHVZPssPUnqs=">AAAD23icjVHLbtQwFL1peJTh0SmIFRuLKdJUSKOkG1ihSmxYDhLTmaoZRo7jtladOEqcTtOQFTvElh9gC/+D+IP2L7h2U6mTCIGj2NfnnnPs6xumUuTa8347a+6t23furt/r3X/w8NFGf/PxXq6KjPEJU1Jls5DmXIqET7TQks/SjNM4lHwanrw1+ekpz3Khkg+6TPk8pkeJOBSMaoQWm87TIOFLpuKYJlEVhGd1hbOSUV7GuFRndV33Villi1Iihaxyllc+SxHxY6qtbcfmvGVz3qXMWpRZ96Rwv8XZtxwkKZFEPNGkt1UFjEoyrhfTId7kYzXU2zUhL8lNWXBKM57mQqqk3t4ii/7AG3l2kG7gN8EAmjFW/V8QQAQKGBQQA4cENMYSKOT4HYAPHqSIzaFCLMNI2DyHGnqoLZDFkUERPcH5CHcHDZrg3njmVs3wFIl/hkoCL1CjkJdhbE4jNl9YZ4P+zbuynuZuJa5h4xUjquEY0X/prpn/qzO1aDiE17YGgTWlFjHVscalsK9ibk5uVKXRIUXMxBHmM4yZVV6/M7Ga3NZu3pba/IVlGtTsWcMt4NLcEhvst9vZDfZ2Rr438t/vDHbfNK1eh2fwHIbYz1ewC+9gDBNgzifnu/PD+enO3c/uF/frFXXNaTRPYGW43/4Aqe/+UA==</latexit><latexit sha1_base64="x41ivYedowfc/AxeHVZPssPUnqs=">AAAD23icjVHLbtQwFL1peJTh0SmIFRuLKdJUSKOkG1ihSmxYDhLTmaoZRo7jtladOEqcTtOQFTvElh9gC/+D+IP2L7h2U6mTCIGj2NfnnnPs6xumUuTa8347a+6t23furt/r3X/w8NFGf/PxXq6KjPEJU1Jls5DmXIqET7TQks/SjNM4lHwanrw1+ekpz3Khkg+6TPk8pkeJOBSMaoQWm87TIOFLpuKYJlEVhGd1hbOSUV7GuFRndV33Villi1Iihaxyllc+SxHxY6qtbcfmvGVz3qXMWpRZ96Rwv8XZtxwkKZFEPNGkt1UFjEoyrhfTId7kYzXU2zUhL8lNWXBKM57mQqqk3t4ii/7AG3l2kG7gN8EAmjFW/V8QQAQKGBQQA4cENMYSKOT4HYAPHqSIzaFCLMNI2DyHGnqoLZDFkUERPcH5CHcHDZrg3njmVs3wFIl/hkoCL1CjkJdhbE4jNl9YZ4P+zbuynuZuJa5h4xUjquEY0X/prpn/qzO1aDiE17YGgTWlFjHVscalsK9ibk5uVKXRIUXMxBHmM4yZVV6/M7Ga3NZu3pba/IVlGtTsWcMt4NLcEhvst9vZDfZ2Rr438t/vDHbfNK1eh2fwHIbYz1ewC+9gDBNgzifnu/PD+enO3c/uF/frFXXNaTRPYGW43/4Aqe/+UA==</latexit><latexit sha1_base64="x41ivYedowfc/AxeHVZPssPUnqs=">AAAD23icjVHLbtQwFL1peJTh0SmIFRuLKdJUSKOkG1ihSmxYDhLTmaoZRo7jtladOEqcTtOQFTvElh9gC/+D+IP2L7h2U6mTCIGj2NfnnnPs6xumUuTa8347a+6t23furt/r3X/w8NFGf/PxXq6KjPEJU1Jls5DmXIqET7TQks/SjNM4lHwanrw1+ekpz3Khkg+6TPk8pkeJOBSMaoQWm87TIOFLpuKYJlEVhGd1hbOSUV7GuFRndV33Villi1Iihaxyllc+SxHxY6qtbcfmvGVz3qXMWpRZ96Rwv8XZtxwkKZFEPNGkt1UFjEoyrhfTId7kYzXU2zUhL8lNWXBKM57mQqqk3t4ii/7AG3l2kG7gN8EAmjFW/V8QQAQKGBQQA4cENMYSKOT4HYAPHqSIzaFCLMNI2DyHGnqoLZDFkUERPcH5CHcHDZrg3njmVs3wFIl/hkoCL1CjkJdhbE4jNl9YZ4P+zbuynuZuJa5h4xUjquEY0X/prpn/qzO1aDiE17YGgTWlFjHVscalsK9ibk5uVKXRIUXMxBHmM4yZVV6/M7Ga3NZu3pba/IVlGtTsWcMt4NLcEhvst9vZDfZ2Rr438t/vDHbfNK1eh2fwHIbYz1ewC+9gDBNgzifnu/PD+enO3c/uF/frFXXNaTRPYGW43/4Aqe/+UA==</latexit><latexit sha1_base64="x41ivYedowfc/AxeHVZPssPUnqs=">AAAD23icjVHLbtQwFL1peJTh0SmIFRuLKdJUSKOkG1ihSmxYDhLTmaoZRo7jtladOEqcTtOQFTvElh9gC/+D+IP2L7h2U6mTCIGj2NfnnnPs6xumUuTa8347a+6t23furt/r3X/w8NFGf/PxXq6KjPEJU1Jls5DmXIqET7TQks/SjNM4lHwanrw1+ekpz3Khkg+6TPk8pkeJOBSMaoQWm87TIOFLpuKYJlEVhGd1hbOSUV7GuFRndV33Villi1Iihaxyllc+SxHxY6qtbcfmvGVz3qXMWpRZ96Rwv8XZtxwkKZFEPNGkt1UFjEoyrhfTId7kYzXU2zUhL8lNWXBKM57mQqqk3t4ii/7AG3l2kG7gN8EAmjFW/V8QQAQKGBQQA4cENMYSKOT4HYAPHqSIzaFCLMNI2DyHGnqoLZDFkUERPcH5CHcHDZrg3njmVs3wFIl/hkoCL1CjkJdhbE4jNl9YZ4P+zbuynuZuJa5h4xUjquEY0X/prpn/qzO1aDiE17YGgTWlFjHVscalsK9ibk5uVKXRIUXMxBHmM4yZVV6/M7Ga3NZu3pba/IVlGtTsWcMt4NLcEhvst9vZDfZ2Rr438t/vDHbfNK1eh2fwHIbYz1ewC+9gDBNgzifnu/PD+enO3c/uF/frFXXNaTRPYGW43/4Aqe/+UA==</latexit>
y
<latexit sha1_base64="dKsQiLYOhagGFZ8FCCM4nJ8TCpY=">AAADq3icjVHLbtQwFL1peJThNcCSTcQUiQ2jpBu6qiqxYcGiCKad0qkqx3Fbq4kdJQ7TNOQ7q/4Agr/g2E0lJhECR7Gvzz3n2Nc3zlNZmjC89tb8O3fv3V9/MHr46PGTp+Nnz/dKXRVczLhOdTGPWSlSqcTMSJOKeV4IlsWp2I/P39v8/jdRlFKrL6bOxVHGTpU8kZwZQMfjHwslllxnGVNJs4gv2gazTpOyzrA0F23bjlYpdY9SgxKscpY3PkuZiDNmnO3A5rJnczmkzHuU+fCk+KDHOXAckLRUiVAmGG3gyhvH40k4Dd0IhkHUBRPqxq4eX9GCEtLEqaKMBCkyiFNiVOI7pIhCyoEdUQOsQCRdXlBLI2grsAQYDOg55lPsDjtUYW89S6fmOCXFX0AZ0GtoNHgFYnta4PKVc7bo37wb52nvVmONO68MqKEzoP/S3TL/V2drMXRCW64GiZpyh9jqeOdSuVexNw/+qMrAIQdm4wT5AjF3ytt3DpymdLXbt2Uu/9MxLWr3vONW9MveEg2O+u0cBnub0yicRp82JzvbXavX6SW9ojfo5zvaoQ+0SzPi3kev8Brvu//W/+x/9Rc31DWv07ygleGL38+q7IU=</latexit><latexit sha1_base64="dKsQiLYOhagGFZ8FCCM4nJ8TCpY=">AAADq3icjVHLbtQwFL1peJThNcCSTcQUiQ2jpBu6qiqxYcGiCKad0qkqx3Fbq4kdJQ7TNOQ7q/4Agr/g2E0lJhECR7Gvzz3n2Nc3zlNZmjC89tb8O3fv3V9/MHr46PGTp+Nnz/dKXRVczLhOdTGPWSlSqcTMSJOKeV4IlsWp2I/P39v8/jdRlFKrL6bOxVHGTpU8kZwZQMfjHwslllxnGVNJs4gv2gazTpOyzrA0F23bjlYpdY9SgxKscpY3PkuZiDNmnO3A5rJnczmkzHuU+fCk+KDHOXAckLRUiVAmGG3gyhvH40k4Dd0IhkHUBRPqxq4eX9GCEtLEqaKMBCkyiFNiVOI7pIhCyoEdUQOsQCRdXlBLI2grsAQYDOg55lPsDjtUYW89S6fmOCXFX0AZ0GtoNHgFYnta4PKVc7bo37wb52nvVmONO68MqKEzoP/S3TL/V2drMXRCW64GiZpyh9jqeOdSuVexNw/+qMrAIQdm4wT5AjF3ytt3DpymdLXbt2Uu/9MxLWr3vONW9MveEg2O+u0cBnub0yicRp82JzvbXavX6SW9ojfo5zvaoQ+0SzPi3kev8Brvu//W/+x/9Rc31DWv07ygleGL38+q7IU=</latexit><latexit sha1_base64="dKsQiLYOhagGFZ8FCCM4nJ8TCpY=">AAADq3icjVHLbtQwFL1peJThNcCSTcQUiQ2jpBu6qiqxYcGiCKad0qkqx3Fbq4kdJQ7TNOQ7q/4Agr/g2E0lJhECR7Gvzz3n2Nc3zlNZmjC89tb8O3fv3V9/MHr46PGTp+Nnz/dKXRVczLhOdTGPWSlSqcTMSJOKeV4IlsWp2I/P39v8/jdRlFKrL6bOxVHGTpU8kZwZQMfjHwslllxnGVNJs4gv2gazTpOyzrA0F23bjlYpdY9SgxKscpY3PkuZiDNmnO3A5rJnczmkzHuU+fCk+KDHOXAckLRUiVAmGG3gyhvH40k4Dd0IhkHUBRPqxq4eX9GCEtLEqaKMBCkyiFNiVOI7pIhCyoEdUQOsQCRdXlBLI2grsAQYDOg55lPsDjtUYW89S6fmOCXFX0AZ0GtoNHgFYnta4PKVc7bo37wb52nvVmONO68MqKEzoP/S3TL/V2drMXRCW64GiZpyh9jqeOdSuVexNw/+qMrAIQdm4wT5AjF3ytt3DpymdLXbt2Uu/9MxLWr3vONW9MveEg2O+u0cBnub0yicRp82JzvbXavX6SW9ojfo5zvaoQ+0SzPi3kev8Brvu//W/+x/9Rc31DWv07ygleGL38+q7IU=</latexit><latexit sha1_base64="dKsQiLYOhagGFZ8FCCM4nJ8TCpY=">AAADq3icjVHLbtQwFL1peJThNcCSTcQUiQ2jpBu6qiqxYcGiCKad0qkqx3Fbq4kdJQ7TNOQ7q/4Agr/g2E0lJhECR7Gvzz3n2Nc3zlNZmjC89tb8O3fv3V9/MHr46PGTp+Nnz/dKXRVczLhOdTGPWSlSqcTMSJOKeV4IlsWp2I/P39v8/jdRlFKrL6bOxVHGTpU8kZwZQMfjHwslllxnGVNJs4gv2gazTpOyzrA0F23bjlYpdY9SgxKscpY3PkuZiDNmnO3A5rJnczmkzHuU+fCk+KDHOXAckLRUiVAmGG3gyhvH40k4Dd0IhkHUBRPqxq4eX9GCEtLEqaKMBCkyiFNiVOI7pIhCyoEdUQOsQCRdXlBLI2grsAQYDOg55lPsDjtUYW89S6fmOCXFX0AZ0GtoNHgFYnta4PKVc7bo37wb52nvVmONO68MqKEzoP/S3TL/V2drMXRCW64GiZpyh9jqeOdSuVexNw/+qMrAIQdm4wT5AjF3ytt3DpymdLXbt2Uu/9MxLWr3vONW9MveEg2O+u0cBnub0yicRp82JzvbXavX6SW9ojfo5zvaoQ+0SzPi3kev8Brvu//W/+x/9Rc31DWv07ygleGL38+q7IU=</latexit>x
(t)
+ "
<latexit sha1_base64="fUif0JeWZSE+A1HIvo5lq5Wlz3U=">AAADznicjVHLbtQwFL1peAzDawpLNhZTpCKkUdINrFAlNiwHiWmn6pTKcdzWqmNHjjPTNIrY8gNs4bMQfwB/wbWbSp1ECBzFvj73nGNf3ySXorBR9DPYCG/dvnN3cG94/8HDR49Hm0/2Cl0axmdMS23mCS24FIrPrLCSz3PDaZZIvp+cv3P5/SU3hdDqo61yfpTRUyVOBKMWoePNYLBQfMV0llGV1ovkoqlx1jItqgyX+qJpmuE6pepQKqSQdc7qymclUn5Grbft2Vx2bC77lHmHMu+flBx0OAeegyQtVMqVJcMtPP5TvW1fNoS8Ije5iyU1PC+E1KrZOh6No0nkB+kHcRuMoR1TPfoBC0hBA4MSMuCgwGIsgUKB3yHEEEGO2BHUiBmMhM9zaGCI2hJZHBkU0XOcT3F32KIK986z8GqGp0j8DSoJvECNRp7B2J1GfL70zg79m3ftPd3dKlyT1itD1MIZov/SXTP/V+dqsXACb3wNAmvKPeKqY61L6V/F3ZzcqMqiQ46Yi1PMG4yZV16/M/Gawtfu3pb6/C/PdKjbs5Zbwm93S2xw3G1nP9jbmcTRJP6wM95927Z6AM/gOWxjP1/DLryHKcyABTr4GnwLvofTcBk24ecr6kbQap7C2gi//AF4D/mz</latexit><latexit sha1_base64="fUif0JeWZSE+A1HIvo5lq5Wlz3U=">AAADznicjVHLbtQwFL1peAzDawpLNhZTpCKkUdINrFAlNiwHiWmn6pTKcdzWqmNHjjPTNIrY8gNs4bMQfwB/wbWbSp1ECBzFvj73nGNf3ySXorBR9DPYCG/dvnN3cG94/8HDR49Hm0/2Cl0axmdMS23mCS24FIrPrLCSz3PDaZZIvp+cv3P5/SU3hdDqo61yfpTRUyVOBKMWoePNYLBQfMV0llGV1ovkoqlx1jItqgyX+qJpmuE6pepQKqSQdc7qymclUn5Grbft2Vx2bC77lHmHMu+flBx0OAeegyQtVMqVJcMtPP5TvW1fNoS8Ije5iyU1PC+E1KrZOh6No0nkB+kHcRuMoR1TPfoBC0hBA4MSMuCgwGIsgUKB3yHEEEGO2BHUiBmMhM9zaGCI2hJZHBkU0XOcT3F32KIK986z8GqGp0j8DSoJvECNRp7B2J1GfL70zg79m3ftPd3dKlyT1itD1MIZov/SXTP/V+dqsXACb3wNAmvKPeKqY61L6V/F3ZzcqMqiQ46Yi1PMG4yZV16/M/Gawtfu3pb6/C/PdKjbs5Zbwm93S2xw3G1nP9jbmcTRJP6wM95927Z6AM/gOWxjP1/DLryHKcyABTr4GnwLvofTcBk24ecr6kbQap7C2gi//AF4D/mz</latexit><latexit sha1_base64="fUif0JeWZSE+A1HIvo5lq5Wlz3U=">AAADznicjVHLbtQwFL1peAzDawpLNhZTpCKkUdINrFAlNiwHiWmn6pTKcdzWqmNHjjPTNIrY8gNs4bMQfwB/wbWbSp1ECBzFvj73nGNf3ySXorBR9DPYCG/dvnN3cG94/8HDR49Hm0/2Cl0axmdMS23mCS24FIrPrLCSz3PDaZZIvp+cv3P5/SU3hdDqo61yfpTRUyVOBKMWoePNYLBQfMV0llGV1ovkoqlx1jItqgyX+qJpmuE6pepQKqSQdc7qymclUn5Grbft2Vx2bC77lHmHMu+flBx0OAeegyQtVMqVJcMtPP5TvW1fNoS8Ije5iyU1PC+E1KrZOh6No0nkB+kHcRuMoR1TPfoBC0hBA4MSMuCgwGIsgUKB3yHEEEGO2BHUiBmMhM9zaGCI2hJZHBkU0XOcT3F32KIK986z8GqGp0j8DSoJvECNRp7B2J1GfL70zg79m3ftPd3dKlyT1itD1MIZov/SXTP/V+dqsXACb3wNAmvKPeKqY61L6V/F3ZzcqMqiQ46Yi1PMG4yZV16/M/Gawtfu3pb6/C/PdKjbs5Zbwm93S2xw3G1nP9jbmcTRJP6wM95927Z6AM/gOWxjP1/DLryHKcyABTr4GnwLvofTcBk24ecr6kbQap7C2gi//AF4D/mz</latexit><latexit sha1_base64="fUif0JeWZSE+A1HIvo5lq5Wlz3U=">AAADznicjVHLbtQwFL1peAzDawpLNhZTpCKkUdINrFAlNiwHiWmn6pTKcdzWqmNHjjPTNIrY8gNs4bMQfwB/wbWbSp1ECBzFvj73nGNf3ySXorBR9DPYCG/dvnN3cG94/8HDR49Hm0/2Cl0axmdMS23mCS24FIrPrLCSz3PDaZZIvp+cv3P5/SU3hdDqo61yfpTRUyVOBKMWoePNYLBQfMV0llGV1ovkoqlx1jItqgyX+qJpmuE6pepQKqSQdc7qymclUn5Grbft2Vx2bC77lHmHMu+flBx0OAeegyQtVMqVJcMtPP5TvW1fNoS8Ije5iyU1PC+E1KrZOh6No0nkB+kHcRuMoR1TPfoBC0hBA4MSMuCgwGIsgUKB3yHEEEGO2BHUiBmMhM9zaGCI2hJZHBkU0XOcT3F32KIK986z8GqGp0j8DSoJvECNRp7B2J1GfL70zg79m3ftPd3dKlyT1itD1MIZov/SXTP/V+dqsXACb3wNAmvKPeKqY61L6V/F3ZzcqMqiQ46Yi1PMG4yZV16/M/Gawtfu3pb6/C/PdKjbs5Zbwm93S2xw3G1nP9jbmcTRJP6wM95927Z6AM/gOWxjP1/DLryHKcyABTr4GnwLvofTcBk24ecr6kbQap7C2gi//AF4D/mz</latexit>
D (PW
(x
00
(t)
+ "))
<latexit sha1_base64="jiSZOoqlJj2ejCaWg9yvgBVcVg0=">AAAD7XicjVHLbtQwFL1peJThNYUlG4spYkZIo6QbWKFKsGA5SExnqqaMHMdtrTpxlDidplF+gR07xJYfYAu/gfgD+AuuPanUSYTAUezrc8859vUNUyly7Xk/nQ332vUbNzdv9W7fuXvvfn/rwV6uiozxKVNSZfOQ5lyKhE+10JLP04zTOJR8Fp6+MvnZGc9yoZJ3ukz5YUyPE3EkGNUILbacp0HCl0zFMU2iKgjP6wpnJaO8jHGpzuu67q1TyhalRApZ5yxXPksR8ROqrW3H5qJlc9GlzFuUefekcL/F2bccJCmRRDzRpLddBYxK8rpeBBIfJqLDFTCpF7MhXu19NdSjmpBn5KpPcEYznuZCqqQejbZ7i/7AG3t2kG7gN8EAmjFR/R8QQAQKGBQQA4cENMYSKOT4HYAPHqSIHUKFWIaRsHkONfRQWyCLI4MieorzMe4OGjTBvfHMrZrhKRL/DJUEnqBGIS/D2JxGbL6wzgb9m3dlPc3dSlzDxitGVMMJov/SXTL/V2dq0XAEL2wNAmtKLWKqY41LYV/F3JxcqUqjQ4qYiSPMZxgzq7x8Z2I1ua3dvC21+V+WaVCzZw23gN/mlthgv93ObrC3M/a9sf92Z7D7smn1JjyCxzDEfj6HXXgDE5gCcz44X51vzndXuR/dT+7nFXXDaTQPYW24X/4APu4FUg==</latexit><latexit sha1_base64="jiSZOoqlJj2ejCaWg9yvgBVcVg0=">AAAD7XicjVHLbtQwFL1peJThNYUlG4spYkZIo6QbWKFKsGA5SExnqqaMHMdtrTpxlDidplF+gR07xJYfYAu/gfgD+AuuPanUSYTAUezrc8859vUNUyly7Xk/nQ332vUbNzdv9W7fuXvvfn/rwV6uiozxKVNSZfOQ5lyKhE+10JLP04zTOJR8Fp6+MvnZGc9yoZJ3ukz5YUyPE3EkGNUILbacp0HCl0zFMU2iKgjP6wpnJaO8jHGpzuu67q1TyhalRApZ5yxXPksR8ROqrW3H5qJlc9GlzFuUefekcL/F2bccJCmRRDzRpLddBYxK8rpeBBIfJqLDFTCpF7MhXu19NdSjmpBn5KpPcEYznuZCqqQejbZ7i/7AG3t2kG7gN8EAmjFR/R8QQAQKGBQQA4cENMYSKOT4HYAPHqSIHUKFWIaRsHkONfRQWyCLI4MieorzMe4OGjTBvfHMrZrhKRL/DJUEnqBGIS/D2JxGbL6wzgb9m3dlPc3dSlzDxitGVMMJov/SXTL/V2dq0XAEL2wNAmtKLWKqY41LYV/F3JxcqUqjQ4qYiSPMZxgzq7x8Z2I1ua3dvC21+V+WaVCzZw23gN/mlthgv93ObrC3M/a9sf92Z7D7smn1JjyCxzDEfj6HXXgDE5gCcz44X51vzndXuR/dT+7nFXXDaTQPYW24X/4APu4FUg==</latexit><latexit sha1_base64="jiSZOoqlJj2ejCaWg9yvgBVcVg0=">AAAD7XicjVHLbtQwFL1peJThNYUlG4spYkZIo6QbWKFKsGA5SExnqqaMHMdtrTpxlDidplF+gR07xJYfYAu/gfgD+AuuPanUSYTAUezrc8859vUNUyly7Xk/nQ332vUbNzdv9W7fuXvvfn/rwV6uiozxKVNSZfOQ5lyKhE+10JLP04zTOJR8Fp6+MvnZGc9yoZJ3ukz5YUyPE3EkGNUILbacp0HCl0zFMU2iKgjP6wpnJaO8jHGpzuu67q1TyhalRApZ5yxXPksR8ROqrW3H5qJlc9GlzFuUefekcL/F2bccJCmRRDzRpLddBYxK8rpeBBIfJqLDFTCpF7MhXu19NdSjmpBn5KpPcEYznuZCqqQejbZ7i/7AG3t2kG7gN8EAmjFR/R8QQAQKGBQQA4cENMYSKOT4HYAPHqSIHUKFWIaRsHkONfRQWyCLI4MieorzMe4OGjTBvfHMrZrhKRL/DJUEnqBGIS/D2JxGbL6wzgb9m3dlPc3dSlzDxitGVMMJov/SXTL/V2dq0XAEL2wNAmtKLWKqY41LYV/F3JxcqUqjQ4qYiSPMZxgzq7x8Z2I1ua3dvC21+V+WaVCzZw23gN/mlthgv93ObrC3M/a9sf92Z7D7smn1JjyCxzDEfj6HXXgDE5gCcz44X51vzndXuR/dT+7nFXXDaTQPYW24X/4APu4FUg==</latexit><latexit sha1_base64="jiSZOoqlJj2ejCaWg9yvgBVcVg0=">AAAD7XicjVHLbtQwFL1peJThNYUlG4spYkZIo6QbWKFKsGA5SExnqqaMHMdtrTpxlDidplF+gR07xJYfYAu/gfgD+AuuPanUSYTAUezrc8859vUNUyly7Xk/nQ332vUbNzdv9W7fuXvvfn/rwV6uiozxKVNSZfOQ5lyKhE+10JLP04zTOJR8Fp6+MvnZGc9yoZJ3ukz5YUyPE3EkGNUILbacp0HCl0zFMU2iKgjP6wpnJaO8jHGpzuu67q1TyhalRApZ5yxXPksR8ROqrW3H5qJlc9GlzFuUefekcL/F2bccJCmRRDzRpLddBYxK8rpeBBIfJqLDFTCpF7MhXu19NdSjmpBn5KpPcEYznuZCqqQejbZ7i/7AG3t2kG7gN8EAmjFR/R8QQAQKGBQQA4cENMYSKOT4HYAPHqSIHUKFWIaRsHkONfRQWyCLI4MieorzMe4OGjTBvfHMrZrhKRL/DJUEnqBGIS/D2JxGbL6wzgb9m3dlPc3dSlzDxitGVMMJov/SXTL/V2dq0XAEL2wNAmtKLWKqY41LYV/F3JxcqUqjQ4qYiSPMZxgzq7x8Z2I1ua3dvC21+V+WaVCzZw23gN/mlthgv93ObrC3M/a9sf92Z7D7smn1JjyCxzDEfj6HXXgDE5gCcz44X51vzndXuR/dT+7nFXXDaTQPYW24X/4APu4FUg==</latexit>
z
<latexit sha1_base64="22xVT9db1RTpqGYIehuYyGye4Dk=">AAADrHicjVHBTtwwEJ2QtkBoy9IeuURdkHpaJVzghJC4cEGiEguLdlfIcbxgkdhR7LCEkO9E/QLoX3RsgsQmQq2j2OM37z17PFGWcKWD4Lez5H74+Gl5ZdVb+/zl63pv49uZkkVO2ZDKROajiCiWcMGGmuuEjbKckTRK2Hl0c2jy57csV1yKU11mbJqSK8FnnBKN0GXvaSLYnMo0JSKuJtFdXeEsk1iVKS7VXV3X3iKlbFFKpPiLnPmLz5zH7Jpoa9uxuW/Z3HcpoxZl1D0pumhxLiwHSZKLmAnte1t41pZ32esHg8AOvxuETdCHZpzI3iNMIAYJFApIgYEAjXECBBR+YwghgAyxKVSI5Rhxm2dQg4faAlkMGQTRG5yvcDduUIF746msmuIpCf45Kn3YRo1EXo6xOc23+cI6G/Q978p6mruVuEaNV4qohmtE/6V7Zf6vztSiYQZ7tgaONWUWMdXRxqWwr2Ju7r+pSqNDhpiJY8znGFOrfH1n32qUrd28LbH5Z8s0qNnThlvAH3NLbHDYbmc3ONsZhMEg/LXTP9hvWr0Cm/ADfmI/d+EAjuAEhkCdY0c5D07tDtxTd+xOX6hLTqP5DgvDnf0Fbt7smg==</latexit><latexit sha1_base64="22xVT9db1RTpqGYIehuYyGye4Dk=">AAADrHicjVHBTtwwEJ2QtkBoy9IeuURdkHpaJVzghJC4cEGiEguLdlfIcbxgkdhR7LCEkO9E/QLoX3RsgsQmQq2j2OM37z17PFGWcKWD4Lez5H74+Gl5ZdVb+/zl63pv49uZkkVO2ZDKROajiCiWcMGGmuuEjbKckTRK2Hl0c2jy57csV1yKU11mbJqSK8FnnBKN0GXvaSLYnMo0JSKuJtFdXeEsk1iVKS7VXV3X3iKlbFFKpPiLnPmLz5zH7Jpoa9uxuW/Z3HcpoxZl1D0pumhxLiwHSZKLmAnte1t41pZ32esHg8AOvxuETdCHZpzI3iNMIAYJFApIgYEAjXECBBR+YwghgAyxKVSI5Rhxm2dQg4faAlkMGQTRG5yvcDduUIF746msmuIpCf45Kn3YRo1EXo6xOc23+cI6G/Q978p6mruVuEaNV4qohmtE/6V7Zf6vztSiYQZ7tgaONWUWMdXRxqWwr2Ju7r+pSqNDhpiJY8znGFOrfH1n32qUrd28LbH5Z8s0qNnThlvAH3NLbHDYbmc3ONsZhMEg/LXTP9hvWr0Cm/ADfmI/d+EAjuAEhkCdY0c5D07tDtxTd+xOX6hLTqP5DgvDnf0Fbt7smg==</latexit><latexit sha1_base64="22xVT9db1RTpqGYIehuYyGye4Dk=">AAADrHicjVHBTtwwEJ2QtkBoy9IeuURdkHpaJVzghJC4cEGiEguLdlfIcbxgkdhR7LCEkO9E/QLoX3RsgsQmQq2j2OM37z17PFGWcKWD4Lez5H74+Gl5ZdVb+/zl63pv49uZkkVO2ZDKROajiCiWcMGGmuuEjbKckTRK2Hl0c2jy57csV1yKU11mbJqSK8FnnBKN0GXvaSLYnMo0JSKuJtFdXeEsk1iVKS7VXV3X3iKlbFFKpPiLnPmLz5zH7Jpoa9uxuW/Z3HcpoxZl1D0pumhxLiwHSZKLmAnte1t41pZ32esHg8AOvxuETdCHZpzI3iNMIAYJFApIgYEAjXECBBR+YwghgAyxKVSI5Rhxm2dQg4faAlkMGQTRG5yvcDduUIF746msmuIpCf45Kn3YRo1EXo6xOc23+cI6G/Q978p6mruVuEaNV4qohmtE/6V7Zf6vztSiYQZ7tgaONWUWMdXRxqWwr2Ju7r+pSqNDhpiJY8znGFOrfH1n32qUrd28LbH5Z8s0qNnThlvAH3NLbHDYbmc3ONsZhMEg/LXTP9hvWr0Cm/ADfmI/d+EAjuAEhkCdY0c5D07tDtxTd+xOX6hLTqP5DgvDnf0Fbt7smg==</latexit><latexit sha1_base64="22xVT9db1RTpqGYIehuYyGye4Dk=">AAADrHicjVHBTtwwEJ2QtkBoy9IeuURdkHpaJVzghJC4cEGiEguLdlfIcbxgkdhR7LCEkO9E/QLoX3RsgsQmQq2j2OM37z17PFGWcKWD4Lez5H74+Gl5ZdVb+/zl63pv49uZkkVO2ZDKROajiCiWcMGGmuuEjbKckTRK2Hl0c2jy57csV1yKU11mbJqSK8FnnBKN0GXvaSLYnMo0JSKuJtFdXeEsk1iVKS7VXV3X3iKlbFFKpPiLnPmLz5zH7Jpoa9uxuW/Z3HcpoxZl1D0pumhxLiwHSZKLmAnte1t41pZ32esHg8AOvxuETdCHZpzI3iNMIAYJFApIgYEAjXECBBR+YwghgAyxKVSI5Rhxm2dQg4faAlkMGQTRG5yvcDduUIF746msmuIpCf45Kn3YRo1EXo6xOc23+cI6G/Q978p6mruVuEaNV4qohmtE/6V7Zf6vztSiYQZ7tgaONWUWMdXRxqWwr2Ju7r+pSqNDhpiJY8znGFOrfH1n32qUrd28LbH5Z8s0qNnThlvAH3NLbHDYbmc3ONsZhMEg/LXTP9hvWr0Cm/ADfmI/d+EAjuAEhkCdY0c5D07tDtxTd+xOX6hLTqP5DgvDnf0Fbt7smg==</latexit>
x
(t+1)
<latexit sha1_base64="7AZlBxf/LiTQyCQZfO7/an+RGnY=">AAADtHicjVHLTtwwFL0hfdD0NaXLbqIOlagqjRIWLasKiU2XVOrAIIaixDFgkdhR4jCEKDv4xqp/0K76Cz02QeokqlpHsa/PPefY1zfOU1HqIPjurLj37j94uPrIe/zk6bPnoxdre6WqCsanTKWqmMVRyVMh+VQLnfJZXvAoi1O+H5/vmPz+BS9KoeQXXef8KItOpTgRLNKAjke/5pIvmMqySCbNPL5sG8wqTco6w9Jctm3rLVPqHqUGxV/mLG59FiLhZ5G2tgObq57N1ZAy61Fmw5Pigx7nwHJAUkImXGrfW8fxX5sN/S582657x6NxMAns8IdB2AVj6sauGn2jOSWkiFFFGXGSpBGnFFGJ75BCCigHdkQNsAKRsHlOLXnQVmBxMCKg55hPsTvsUIm98SytmuGUFH8BpU9voFHgFYjNab7NV9bZoH/zbqynuVuNNe68MqCazoD+S3fH/F+dqUXTCW3ZGgRqyi1iqmOdS2Vfxdzc/6MqDYccmIkT5AvEzCrv3tm3mtLWbt42svkflmlQs2cdt6Kf5pZocNhv5zDY25yEwST8vDne/ti1epVe0WvaQD8/0DZ9ol2aEnOmTuNcOzfue3fuMpffUlecTvOSloYrfwN6ju9f</latexit><latexit sha1_base64="7AZlBxf/LiTQyCQZfO7/an+RGnY=">AAADtHicjVHLTtwwFL0hfdD0NaXLbqIOlagqjRIWLasKiU2XVOrAIIaixDFgkdhR4jCEKDv4xqp/0K76Cz02QeokqlpHsa/PPefY1zfOU1HqIPjurLj37j94uPrIe/zk6bPnoxdre6WqCsanTKWqmMVRyVMh+VQLnfJZXvAoi1O+H5/vmPz+BS9KoeQXXef8KItOpTgRLNKAjke/5pIvmMqySCbNPL5sG8wqTco6w9Jctm3rLVPqHqUGxV/mLG59FiLhZ5G2tgObq57N1ZAy61Fmw5Pigx7nwHJAUkImXGrfW8fxX5sN/S582657x6NxMAns8IdB2AVj6sauGn2jOSWkiFFFGXGSpBGnFFGJ75BCCigHdkQNsAKRsHlOLXnQVmBxMCKg55hPsTvsUIm98SytmuGUFH8BpU9voFHgFYjNab7NV9bZoH/zbqynuVuNNe68MqCazoD+S3fH/F+dqUXTCW3ZGgRqyi1iqmOdS2Vfxdzc/6MqDYccmIkT5AvEzCrv3tm3mtLWbt42svkflmlQs2cdt6Kf5pZocNhv5zDY25yEwST8vDne/ti1epVe0WvaQD8/0DZ9ol2aEnOmTuNcOzfue3fuMpffUlecTvOSloYrfwN6ju9f</latexit><latexit sha1_base64="7AZlBxf/LiTQyCQZfO7/an+RGnY=">AAADtHicjVHLTtwwFL0hfdD0NaXLbqIOlagqjRIWLasKiU2XVOrAIIaixDFgkdhR4jCEKDv4xqp/0K76Cz02QeokqlpHsa/PPefY1zfOU1HqIPjurLj37j94uPrIe/zk6bPnoxdre6WqCsanTKWqmMVRyVMh+VQLnfJZXvAoi1O+H5/vmPz+BS9KoeQXXef8KItOpTgRLNKAjke/5pIvmMqySCbNPL5sG8wqTco6w9Jctm3rLVPqHqUGxV/mLG59FiLhZ5G2tgObq57N1ZAy61Fmw5Pigx7nwHJAUkImXGrfW8fxX5sN/S582657x6NxMAns8IdB2AVj6sauGn2jOSWkiFFFGXGSpBGnFFGJ75BCCigHdkQNsAKRsHlOLXnQVmBxMCKg55hPsTvsUIm98SytmuGUFH8BpU9voFHgFYjNab7NV9bZoH/zbqynuVuNNe68MqCazoD+S3fH/F+dqUXTCW3ZGgRqyi1iqmOdS2Vfxdzc/6MqDYccmIkT5AvEzCrv3tm3mtLWbt42svkflmlQs2cdt6Kf5pZocNhv5zDY25yEwST8vDne/ti1epVe0WvaQD8/0DZ9ol2aEnOmTuNcOzfue3fuMpffUlecTvOSloYrfwN6ju9f</latexit><latexit sha1_base64="7AZlBxf/LiTQyCQZfO7/an+RGnY=">AAADtHicjVHLTtwwFL0hfdD0NaXLbqIOlagqjRIWLasKiU2XVOrAIIaixDFgkdhR4jCEKDv4xqp/0K76Cz02QeokqlpHsa/PPefY1zfOU1HqIPjurLj37j94uPrIe/zk6bPnoxdre6WqCsanTKWqmMVRyVMh+VQLnfJZXvAoi1O+H5/vmPz+BS9KoeQXXef8KItOpTgRLNKAjke/5pIvmMqySCbNPL5sG8wqTco6w9Jctm3rLVPqHqUGxV/mLG59FiLhZ5G2tgObq57N1ZAy61Fmw5Pigx7nwHJAUkImXGrfW8fxX5sN/S582657x6NxMAns8IdB2AVj6sauGn2jOSWkiFFFGXGSpBGnFFGJ75BCCigHdkQNsAKRsHlOLXnQVmBxMCKg55hPsTvsUIm98SytmuGUFH8BpU9voFHgFYjNab7NV9bZoH/zbqynuVuNNe68MqCazoD+S3fH/F+dqUXTCW3ZGgRqyi1iqmOdS2Vfxdzc/6MqDYccmIkT5AvEzCrv3tm3mtLWbt42svkflmlQs2cdt6Kf5pZocNhv5zDY25yEwST8vDne/ti1epVe0WvaQD8/0DZ9ol2aEnOmTuNcOzfue3fuMpffUlecTvOSloYrfwN6ju9f</latexit>