CNN-based fast source device identification
Sara Mandelli, Davide Cozzolino, Member, IEEE, Paolo Bestagini, Member, IEEE,
Luisa Verdoliva, Senior Member, IEEE, and Stefano Tubaro, Senior Member, IEEE
Abstract—Source identification is an important topic in image
forensics, since it allows to trace back the origin of an image. This
represents a precious information to claim intellectual property
but also to reveal the authors of illicit materials. In this paper
we address the problem of device identification based on sensor
noise and propose a fast and accurate solution using convolutional
neural networks (CNNs). Specifically, we propose a
2-channel-based CNN that learns a way of comparing camera fingerprint
and image noise at patch level. The proposed solution turns out to
be much faster than the conventional approach and to ensure an
increased accuracy. This makes the approach particularly
suit-able in scenarios where large databases of images are analyzed,
like over social networks. In this vein, since images uploaded on
social media usually undergo at least two compression stages,
we include investigations on double JPEG compressed images,
always reporting higher accuracy than standard approaches.
I. I
NTRODUCTION
I
N this paper, we tackle the problem of image source
de-vice identification. State-of-the-art solutions rely on photo
response non-uniformity (PRNU) [1], a characteristic noise
trace left by the camera sensor on all acquired images. PRNU
is caused by imperfections in the sensor manufacturing process
and represents a unique pattern noise associated to a certain
device. It can be used both to trace the exact origin of an
image and to establish its integrity [2], [3].
The classic pipeline is based on the availability of a number
of images coming from the same device in order to carry out a
reliable PRNU estimation. Then, the image under test can be
compared with the sensor fingerprint through denoising and
peak to correlation energy (PCE) computation [4]. However,
computing the PCE between a query image noise and a
finger-print might be computationally expensive, and may become a
major bottleneck when source identification requires scanning
huge databases of device fingerprints [5], [6], [7]. With the
increasing resolution of digital sensors, the search time may
become prohibitive even for a moderate fingerprint database.
S. Mandelli, P. Bestagini and S. Tubaro are with the Dipartimento di
Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milano
20133, Italy (e-mail: name.surname@polimi.it).
D. Cozzolino is with the Dipartimento di Ingegneria Elettrica e Tecnologie
dell’Informazione, University Federico II of Naples, 80125 Naples, Italy
(e-mail: davide.cozzolino@unina.it).
L. Verdoliva is with the Dipartimento di Ingegneria Industriale, University
Federico II of Naples, 80125 Naples, Italy (e-mail: verdoliv@unina.it).
This material is based on research sponsored by DARPA and AFRL under
agreement number FA8750-16-2-0173. The U.S. Government is authorized to
reproduce and distribute reprints for Governmental purposes notwithstanding
any copyright notation thereon. The views and conclusions contained herein
are those of the authors and should not be interpreted as necessarily
rep-resenting the official policies or endorsements, either expressed or implied,
of DARPA and AFRL or the U.S. Government. This work was supported
by the PREMIER project, funded by the Italian Ministry of Education,
University, and Research within the PRIN 2017 program. Hardware support
was generously provided by the NVIDIA Corporation.
To manage large image databases some methods look for
compressed or alternative representations of the sensor noise.
One of the first methods introduces the concept of fingerprint
digest: for each query fingerprint, only pixels with the largest
magnitude are extracted [8]. Instead, in [9] the idea is to reduce
the resolution of PRNU values by quantizing them into a single
bit, while in [10] a composite fingerprint is introduced. In [11]
compression is obtained using random projections followed
by binary quantization of the projected values, and in [12]
this technique is investigated for JPEG images. Alternatively,
in [13] a tree-like search strategy is designed to split PRNU
matching problem into a series of sub-problems.
We consider an alternative approach to compare PRNUs
and test images by leveraging convolutional neural networks
(CNNs) to achieve good performance on small image patches.
Notice that relying on small patches makes PRNU-based
forgery localization possible. Moreover, it enables analyses
on social networks, where images are often available only
in cropped formats. CNNs have been already successfully
applied for camera model identification [14], [15], for tracing
the origin of an image in a social network [16] or for PRNU
anonymization [17]. However, less attention has been devoted
to PRNU-based device identification. Only recently, in [18]
sensor noise extraction has been improved by using a
residual-based deep learning process that replaces the standard agnostic
denoising procedure.
In this paper, we devise a data-driven approach for source
identification based on PRNU and consider the scenario in
which PRNU and images are geometrically synchronized.
Differently from [18], our goal is to replace the PCE test
in favour of an alternative method based on CNNs. Using
deep learning to compare patches is a powerful approach [19].
It has been recently proposed for forensics applications in
[20], [21], [22] by means of Siamese networks, in order to
learn distinctive data representations that highlight
camera-based artifacts. Unlike [19], our solution does not compare
directly raw image pixels, but work on noise residuals. In
our scenario, patches to be compared are extracted from the
estimated PRNU and the noise residual of the test image,
which do not possess any type of periodicity and are hard to
compress. For this reason, we avoid embedded representations
and rely on the whole original information, by proposing a
network architecture that learns the best similarity function for
source identification. Specifically, we design a 2-channel-based
CNN, which, through proper training, is able to learn the best
way to compare patches for device identification. We propose
a shallow CNN architecture which turns out to be faster
and more accurate than standard PCE approach. Furthermore,
deeper CNNs are also investigated, enabling to achieve even
better accuracy if processing time is not a constraint.
C
on
v2D
,16
⇥
3
⇥
3
<latexit sha1_base64="KlRoO2FRwZPmb8MmkXd2yi3yLQU=">AAACZHicdVFdb9MwFHXD1xYGdEw8TUIWFRMPVeUUaLO3SdvDHodEt0lNVTnObbHmOJZ9U22K8g/4NbzCH+EP8DtwsoAYgvN0fM69vr7HqVHSIWPfe8G9+w8ePtraDh/vPHn6rL/7/NwVpRUwE4Uq7GXKHSipYYYSFVwaCzxPFVykV8eNf7EB62ShP+KNgUXO11qupODopWX/IEG4RptXx4XejE/qIY0mNEGZg6Nvf5Nw2R+w0eQwmk6mlI1Yi4ZEkziOadQpA9LhbLnbO0iyQpQ5aBSKOzePmMFFxS1KoaAOk9KB4eKKr2HuqeZ+0KJqF6rp69JxLKgBS6WirQh/dlQ8d+4mT31lzvGT+9trxH958xJX8aKS2pQIWjSDUCpoBzlhpU8KaCYtIPLm5UClpoJbjghWUi6EF0sf3Z1Ls400rlvg+naDMMlg5b+kPVUWsqUxWFd2ndYVG03fjw+HbMjqMGyS/RUf/T85H48izz+8GxzFXcZbZJ+8Im9IRKbkiJySMzIjgnwmX8hX8q33I9gJ9oIXt6VBr+vZI3cQvPwJR9C3Sw==</latexit><latexit sha1_base64="KlRoO2FRwZPmb8MmkXd2yi3yLQU=">AAACZHicdVFdb9MwFHXD1xYGdEw8TUIWFRMPVeUUaLO3SdvDHodEt0lNVTnObbHmOJZ9U22K8g/4NbzCH+EP8DtwsoAYgvN0fM69vr7HqVHSIWPfe8G9+w8ePtraDh/vPHn6rL/7/NwVpRUwE4Uq7GXKHSipYYYSFVwaCzxPFVykV8eNf7EB62ShP+KNgUXO11qupODopWX/IEG4RptXx4XejE/qIY0mNEGZg6Nvf5Nw2R+w0eQwmk6mlI1Yi4ZEkziOadQpA9LhbLnbO0iyQpQ5aBSKOzePmMFFxS1KoaAOk9KB4eKKr2HuqeZ+0KJqF6rp69JxLKgBS6WirQh/dlQ8d+4mT31lzvGT+9trxH958xJX8aKS2pQIWjSDUCpoBzlhpU8KaCYtIPLm5UClpoJbjghWUi6EF0sf3Z1Ls400rlvg+naDMMlg5b+kPVUWsqUxWFd2ndYVG03fjw+HbMjqMGyS/RUf/T85H48izz+8GxzFXcZbZJ+8Im9IRKbkiJySMzIjgnwmX8hX8q33I9gJ9oIXt6VBr+vZI3cQvPwJR9C3Sw==</latexit><latexit sha1_base64="KlRoO2FRwZPmb8MmkXd2yi3yLQU=">AAACZHicdVFdb9MwFHXD1xYGdEw8TUIWFRMPVeUUaLO3SdvDHodEt0lNVTnObbHmOJZ9U22K8g/4NbzCH+EP8DtwsoAYgvN0fM69vr7HqVHSIWPfe8G9+w8ePtraDh/vPHn6rL/7/NwVpRUwE4Uq7GXKHSipYYYSFVwaCzxPFVykV8eNf7EB62ShP+KNgUXO11qupODopWX/IEG4RptXx4XejE/qIY0mNEGZg6Nvf5Nw2R+w0eQwmk6mlI1Yi4ZEkziOadQpA9LhbLnbO0iyQpQ5aBSKOzePmMFFxS1KoaAOk9KB4eKKr2HuqeZ+0KJqF6rp69JxLKgBS6WirQh/dlQ8d+4mT31lzvGT+9trxH958xJX8aKS2pQIWjSDUCpoBzlhpU8KaCYtIPLm5UClpoJbjghWUi6EF0sf3Z1Ls400rlvg+naDMMlg5b+kPVUWsqUxWFd2ndYVG03fjw+HbMjqMGyS/RUf/T85H48izz+8GxzFXcZbZJ+8Im9IRKbkiJySMzIjgnwmX8hX8q33I9gJ9oIXt6VBr+vZI3cQvPwJR9C3Sw==</latexit><latexit sha1_base64="KlRoO2FRwZPmb8MmkXd2yi3yLQU=">AAACZHicdVFdb9MwFHXD1xYGdEw8TUIWFRMPVeUUaLO3SdvDHodEt0lNVTnObbHmOJZ9U22K8g/4NbzCH+EP8DtwsoAYgvN0fM69vr7HqVHSIWPfe8G9+w8ePtraDh/vPHn6rL/7/NwVpRUwE4Uq7GXKHSipYYYSFVwaCzxPFVykV8eNf7EB62ShP+KNgUXO11qupODopWX/IEG4RptXx4XejE/qIY0mNEGZg6Nvf5Nw2R+w0eQwmk6mlI1Yi4ZEkziOadQpA9LhbLnbO0iyQpQ5aBSKOzePmMFFxS1KoaAOk9KB4eKKr2HuqeZ+0KJqF6rp69JxLKgBS6WirQh/dlQ8d+4mT31lzvGT+9trxH958xJX8aKS2pQIWjSDUCpoBzlhpU8KaCYtIPLm5UClpoJbjghWUi6EF0sf3Z1Ls400rlvg+naDMMlg5b+kPVUWsqUxWFd2ndYVG03fjw+HbMjqMGyS/RUf/T85H48izz+8GxzFXcZbZJ+8Im9IRKbkiJySMzIjgnwmX8hX8q33I9gJ9oIXt6VBr+vZI3cQvPwJR9C3Sw==</latexit>
M
ax
P
o
ol
in
g
,3
⇥
3
<latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit><latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit><latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit><latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit>
Le
ak
y
R
el
u
<latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit><latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit><latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit><latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit>
M
ax
P
o
ol
in
g,
3
⇥
3
<latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit><latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit><latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit><latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit>
Le
ak
yR
el
u
<latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit><latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit><latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit><latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit>
C
on
v
2D
,64
⇥
5
⇥
5
<latexit sha1_base64="PgCrdPh45gWp9cTpyri2JatKRu0=">AAACZHicdVFdb9MwFHXD1wiDdUx7QkIWFRMPVeVUW5u9TdoeeBwS3SY1VeU4t8Wa41j2TbUpyj/g1/AKf4Q/wO/AyQJiCM7T8Tn3+voep0ZJh4x97wUPHj56/GTrafhs+/mLnf7uywtXlFbATBSqsFcpd6CkhhlKVHBlLPA8VXCZXp82/uUGrJOF/oi3BhY5X2u5koKjl5b9gwThBm1enRZ6Mz6rh3RySBOUOTh69JuEy/6AjSbH0XQypWzEWjQkmsRxTKNOGZAO58vd3kGSFaLMQaNQ3Ll5xAwuKm5RCgV1mJQODBfXfA1zTzX3gxZVu1BN35aOY0ENWCoVbUX4s6PiuXO3eeorc46f3N9eI/7Lm5e4iheV1KZE0KIZhFJBO8gJK31SQDNpAZE3LwcqNRXcckSwknIhvFj66O5dmm2kcd0CN3cbhEkGK/8l7amykC2Nwbqy67Su2Gh6ND4esiGrw7BJ9ld89P/kYjyKPP9wODiJu4y3yCvyhrwjEZmSE/KenJMZEeQz+UK+km+9H8F2sBfs35UGva5nj9xD8PonVRO3Ug==</latexit><latexit sha1_base64="PgCrdPh45gWp9cTpyri2JatKRu0=">AAACZHicdVFdb9MwFHXD1wiDdUx7QkIWFRMPVeVUW5u9TdoeeBwS3SY1VeU4t8Wa41j2TbUpyj/g1/AKf4Q/wO/AyQJiCM7T8Tn3+voep0ZJh4x97wUPHj56/GTrafhs+/mLnf7uywtXlFbATBSqsFcpd6CkhhlKVHBlLPA8VXCZXp82/uUGrJOF/oi3BhY5X2u5koKjl5b9gwThBm1enRZ6Mz6rh3RySBOUOTh69JuEy/6AjSbH0XQypWzEWjQkmsRxTKNOGZAO58vd3kGSFaLMQaNQ3Ll5xAwuKm5RCgV1mJQODBfXfA1zTzX3gxZVu1BN35aOY0ENWCoVbUX4s6PiuXO3eeorc46f3N9eI/7Lm5e4iheV1KZE0KIZhFJBO8gJK31SQDNpAZE3LwcqNRXcckSwknIhvFj66O5dmm2kcd0CN3cbhEkGK/8l7amykC2Nwbqy67Su2Gh6ND4esiGrw7BJ9ld89P/kYjyKPP9wODiJu4y3yCvyhrwjEZmSE/KenJMZEeQz+UK+km+9H8F2sBfs35UGva5nj9xD8PonVRO3Ug==</latexit><latexit sha1_base64="PgCrdPh45gWp9cTpyri2JatKRu0=">AAACZHicdVFdb9MwFHXD1wiDdUx7QkIWFRMPVeVUW5u9TdoeeBwS3SY1VeU4t8Wa41j2TbUpyj/g1/AKf4Q/wO/AyQJiCM7T8Tn3+voep0ZJh4x97wUPHj56/GTrafhs+/mLnf7uywtXlFbATBSqsFcpd6CkhhlKVHBlLPA8VXCZXp82/uUGrJOF/oi3BhY5X2u5koKjl5b9gwThBm1enRZ6Mz6rh3RySBOUOTh69JuEy/6AjSbH0XQypWzEWjQkmsRxTKNOGZAO58vd3kGSFaLMQaNQ3Ll5xAwuKm5RCgV1mJQODBfXfA1zTzX3gxZVu1BN35aOY0ENWCoVbUX4s6PiuXO3eeorc46f3N9eI/7Lm5e4iheV1KZE0KIZhFJBO8gJK31SQDNpAZE3LwcqNRXcckSwknIhvFj66O5dmm2kcd0CN3cbhEkGK/8l7amykC2Nwbqy67Su2Gh6ND4esiGrw7BJ9ld89P/kYjyKPP9wODiJu4y3yCvyhrwjEZmSE/KenJMZEeQz+UK+km+9H8F2sBfs35UGva5nj9xD8PonVRO3Ug==</latexit><latexit sha1_base64="PgCrdPh45gWp9cTpyri2JatKRu0=">AAACZHicdVFdb9MwFHXD1wiDdUx7QkIWFRMPVeVUW5u9TdoeeBwS3SY1VeU4t8Wa41j2TbUpyj/g1/AKf4Q/wO/AyQJiCM7T8Tn3+voep0ZJh4x97wUPHj56/GTrafhs+/mLnf7uywtXlFbATBSqsFcpd6CkhhlKVHBlLPA8VXCZXp82/uUGrJOF/oi3BhY5X2u5koKjl5b9gwThBm1enRZ6Mz6rh3RySBOUOTh69JuEy/6AjSbH0XQypWzEWjQkmsRxTKNOGZAO58vd3kGSFaLMQaNQ3Ll5xAwuKm5RCgV1mJQODBfXfA1zTzX3gxZVu1BN35aOY0ENWCoVbUX4s6PiuXO3eeorc46f3N9eI/7Lm5e4iheV1KZE0KIZhFJBO8gJK31SQDNpAZE3LwcqNRXcckSwknIhvFj66O5dmm2kcd0CN3cbhEkGK/8l7amykC2Nwbqy67Su2Gh6ND4esiGrw7BJ9ld89P/kYjyKPP9wODiJu4y3yCvyhrwjEZmSE/KenJMZEeQz+UK+km+9H8F2sBfs35UGva5nj9xD8PonVRO3Ug==</latexit>
P
1
⇥
P
1
⇥
16
<latexit sha1_base64="GQcsX+jrziMz23EVhCoXLHevWmQ=">AAACV3icdVFNT9wwEHUChW3oxy49Vb1YrFr1gFYOKrvhhtRLj1upC0i7q8hxZrcWTmLZEwSKIn4NV/g9/BrqhCBB1b7T83szHs9zopW0yNi9529svtra7r0Odt68ffe+P9g9sUVpBMxEoQpzlnALSuYwQ4kKzrQBniUKTpPz741/egHGyiL/hVcalhlf53IlBUcnxf2P0zikC5QZWPqMhuMg7g/ZaHwUTsYTykasRUPCcRRFNOyUIekwjQfel0VaiDKDHIXi1s5DpnFZcYNSKKiDRWlBc3HO1zB3NOdu0rJqd6jp59JyLKgGQ6WirQjPOyqeWXuVJa4y4/jb/u014r+8eYmraFnJXJcIuWgGoVTQDrLCSBcO0FQaQOTNy4HKnApuOCIYSbkQTixdWi8uTS+ktt0Cl48bBIsUVu4X2lNlII21xroy66Su2GhyeHC0z/ZZHQRNsk/x0f+Tk4NR6PjPb8PjqMu4Rz6RPfKVhGRCjskPMiUzIsg1uSG35M679x78Lb/3WOp7Xc8H8gL+4A+88bLS</latexit><latexit sha1_base64="GQcsX+jrziMz23EVhCoXLHevWmQ=">AAACV3icdVFNT9wwEHUChW3oxy49Vb1YrFr1gFYOKrvhhtRLj1upC0i7q8hxZrcWTmLZEwSKIn4NV/g9/BrqhCBB1b7T83szHs9zopW0yNi9529svtra7r0Odt68ffe+P9g9sUVpBMxEoQpzlnALSuYwQ4kKzrQBniUKTpPz741/egHGyiL/hVcalhlf53IlBUcnxf2P0zikC5QZWPqMhuMg7g/ZaHwUTsYTykasRUPCcRRFNOyUIekwjQfel0VaiDKDHIXi1s5DpnFZcYNSKKiDRWlBc3HO1zB3NOdu0rJqd6jp59JyLKgGQ6WirQjPOyqeWXuVJa4y4/jb/u014r+8eYmraFnJXJcIuWgGoVTQDrLCSBcO0FQaQOTNy4HKnApuOCIYSbkQTixdWi8uTS+ktt0Cl48bBIsUVu4X2lNlII21xroy66Su2GhyeHC0z/ZZHQRNsk/x0f+Tk4NR6PjPb8PjqMu4Rz6RPfKVhGRCjskPMiUzIsg1uSG35M679x78Lb/3WOp7Xc8H8gL+4A+88bLS</latexit><latexit sha1_base64="GQcsX+jrziMz23EVhCoXLHevWmQ=">AAACV3icdVFNT9wwEHUChW3oxy49Vb1YrFr1gFYOKrvhhtRLj1upC0i7q8hxZrcWTmLZEwSKIn4NV/g9/BrqhCBB1b7T83szHs9zopW0yNi9529svtra7r0Odt68ffe+P9g9sUVpBMxEoQpzlnALSuYwQ4kKzrQBniUKTpPz741/egHGyiL/hVcalhlf53IlBUcnxf2P0zikC5QZWPqMhuMg7g/ZaHwUTsYTykasRUPCcRRFNOyUIekwjQfel0VaiDKDHIXi1s5DpnFZcYNSKKiDRWlBc3HO1zB3NOdu0rJqd6jp59JyLKgGQ6WirQjPOyqeWXuVJa4y4/jb/u014r+8eYmraFnJXJcIuWgGoVTQDrLCSBcO0FQaQOTNy4HKnApuOCIYSbkQTixdWi8uTS+ktt0Cl48bBIsUVu4X2lNlII21xroy66Su2GhyeHC0z/ZZHQRNsk/x0f+Tk4NR6PjPb8PjqMu4Rz6RPfKVhGRCjskPMiUzIsg1uSG35M679x78Lb/3WOp7Xc8H8gL+4A+88bLS</latexit><latexit sha1_base64="GQcsX+jrziMz23EVhCoXLHevWmQ=">AAACV3icdVFNT9wwEHUChW3oxy49Vb1YrFr1gFYOKrvhhtRLj1upC0i7q8hxZrcWTmLZEwSKIn4NV/g9/BrqhCBB1b7T83szHs9zopW0yNi9529svtra7r0Odt68ffe+P9g9sUVpBMxEoQpzlnALSuYwQ4kKzrQBniUKTpPz741/egHGyiL/hVcalhlf53IlBUcnxf2P0zikC5QZWPqMhuMg7g/ZaHwUTsYTykasRUPCcRRFNOyUIekwjQfel0VaiDKDHIXi1s5DpnFZcYNSKKiDRWlBc3HO1zB3NOdu0rJqd6jp59JyLKgGQ6WirQjPOyqeWXuVJa4y4/jb/u014r+8eYmraFnJXJcIuWgGoVTQDrLCSBcO0FQaQOTNy4HKnApuOCIYSbkQTixdWi8uTS+ktt0Cl48bBIsUVu4X2lNlII21xroy66Su2GhyeHC0z/ZZHQRNsk/x0f+Tk4NR6PjPb8PjqMu4Rz6RPfKVhGRCjskPMiUzIsg1uSG35M679x78Lb/3WOp7Xc8H8gL+4A+88bLS</latexit>
P
2
⇥
P
2
⇥
64
<latexit sha1_base64="TRfETsc8YNvxuaQGA60fAR/nQ9c=">AAACV3icdVHRTtswFHUyBl3YRsuepr1YVJv2gCqngja8Ie1lj520AlJbRY5z21k4iWXfoKEo2tfwun0PX7M5IUgwwXk6PudeX9/jRCtpkbFbz3+x9XJ7p/cq2H395u1ef7B/ZovSCJiLQhXmIuEWlMxhjhIVXGgDPEsUnCeXXxr//AqMlUX+Ha81rDK+yeVaCo5OivvvZ/GYLlFmYOkDOjkK4v6QjSYn4XQypWzEWjQknERRRMNOGZIOs3jgfVqmhSgzyFEobu0iZBpXFTcohYI6WJYWNBeXfAMLR3PuJq2qdoeafiwtx4JqMFQq2orwsKPimbXXWeIqM44/7P9eIz7lLUpcR6tK5rpEyEUzCKWCdpAVRrpwgKbSACJvXg5U5lRwwxHBSMqFcGLp0np0aXolte0W+Hm3QbBMYe1+oT1VBtJYa6wrs0nqio2mx+OTQ3bI6iBokr2Pjz5Pzsaj0PFvR8PTqMu4Rz6QA/KZhGRKTslXMiNzIsgvckN+kz/erffX3/Z7d6W+1/W8I4/gD/4Bxley1w==</latexit><latexit sha1_base64="TRfETsc8YNvxuaQGA60fAR/nQ9c=">AAACV3icdVHRTtswFHUyBl3YRsuepr1YVJv2gCqngja8Ie1lj520AlJbRY5z21k4iWXfoKEo2tfwun0PX7M5IUgwwXk6PudeX9/jRCtpkbFbz3+x9XJ7p/cq2H395u1ef7B/ZovSCJiLQhXmIuEWlMxhjhIVXGgDPEsUnCeXXxr//AqMlUX+Ha81rDK+yeVaCo5OivvvZ/GYLlFmYOkDOjkK4v6QjSYn4XQypWzEWjQknERRRMNOGZIOs3jgfVqmhSgzyFEobu0iZBpXFTcohYI6WJYWNBeXfAMLR3PuJq2qdoeafiwtx4JqMFQq2orwsKPimbXXWeIqM44/7P9eIz7lLUpcR6tK5rpEyEUzCKWCdpAVRrpwgKbSACJvXg5U5lRwwxHBSMqFcGLp0np0aXolte0W+Hm3QbBMYe1+oT1VBtJYa6wrs0nqio2mx+OTQ3bI6iBokr2Pjz5Pzsaj0PFvR8PTqMu4Rz6QA/KZhGRKTslXMiNzIsgvckN+kz/erffX3/Z7d6W+1/W8I4/gD/4Bxley1w==</latexit><latexit sha1_base64="TRfETsc8YNvxuaQGA60fAR/nQ9c=">AAACV3icdVHRTtswFHUyBl3YRsuepr1YVJv2gCqngja8Ie1lj520AlJbRY5z21k4iWXfoKEo2tfwun0PX7M5IUgwwXk6PudeX9/jRCtpkbFbz3+x9XJ7p/cq2H395u1ef7B/ZovSCJiLQhXmIuEWlMxhjhIVXGgDPEsUnCeXXxr//AqMlUX+Ha81rDK+yeVaCo5OivvvZ/GYLlFmYOkDOjkK4v6QjSYn4XQypWzEWjQknERRRMNOGZIOs3jgfVqmhSgzyFEobu0iZBpXFTcohYI6WJYWNBeXfAMLR3PuJq2qdoeafiwtx4JqMFQq2orwsKPimbXXWeIqM44/7P9eIz7lLUpcR6tK5rpEyEUzCKWCdpAVRrpwgKbSACJvXg5U5lRwwxHBSMqFcGLp0np0aXolte0W+Hm3QbBMYe1+oT1VBtJYa6wrs0nqio2mx+OTQ3bI6iBokr2Pjz5Pzsaj0PFvR8PTqMu4Rz6QA/KZhGRKTslXMiNzIsgvckN+kz/erffX3/Z7d6W+1/W8I4/gD/4Bxley1w==</latexit><latexit sha1_base64="TRfETsc8YNvxuaQGA60fAR/nQ9c=">AAACV3icdVHRTtswFHUyBl3YRsuepr1YVJv2gCqngja8Ie1lj520AlJbRY5z21k4iWXfoKEo2tfwun0PX7M5IUgwwXk6PudeX9/jRCtpkbFbz3+x9XJ7p/cq2H395u1ef7B/ZovSCJiLQhXmIuEWlMxhjhIVXGgDPEsUnCeXXxr//AqMlUX+Ha81rDK+yeVaCo5OivvvZ/GYLlFmYOkDOjkK4v6QjSYn4XQypWzEWjQknERRRMNOGZIOs3jgfVqmhSgzyFEobu0iZBpXFTcohYI6WJYWNBeXfAMLR3PuJq2qdoeafiwtx4JqMFQq2orwsKPimbXXWeIqM44/7P9eIz7lLUpcR6tK5rpEyEUzCKWCdpAVRrpwgKbSACJvXg5U5lRwwxHBSMqFcGLp0np0aXolte0W+Hm3QbBMYe1+oT1VBtJYa6wrs0nqio2mx+OTQ3bI6iBokr2Pjz5Pzsaj0PFvR8PTqMu4Rz6QA/KZhGRKTslXMiNzIsgvckN+kz/erffX3/Z7d6W+1/W8I4/gD/4Bxley1w==</latexit>
M
ax
P
o
ol
in
g
,3
⇥
3
<latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit><latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit><latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit><latexit sha1_base64="LTCVk1BiR2sUvjm2wCV1JiJOzYU=">AAACXnicdVFNb9NAEN24UIqhNIULEpcVEYhDFK1bSNxbJS5ckIJE2kpJFI3Xk7Dq2l7tjqtUlq/9NVzhv3Djp7B2jUQRzOntm4838zYxWjkS4kcv2Ll3f/fB3sPw0eP9Jwf9w6dnriitxJksdGEvEnCoVY4zUqTxwliELNF4nly+b/LnV2idKvLPdG1wmcEmV2slgTy16vMF4ZZsVn2E7bQo/JhNPeTHnlYZOn4crvoDMRqfRJPxhIuRaKMB0TiOYx51zIB1MV0d9l4v0kKWGeYkNTg3j4ShZQWWlNRYh4vSoQF5CRuce5iDF1pW7Sk1f1U6oIIbtFxp3pL4Z0cFmXPXWeIrM6Av7u9cQ/4rNy9pHS8rlZuSMJeNECmNrZCTVnmPkKfKIhE0myNXOZdggQit4iClJ0tv2p2h6ZUyrjtge3tBuEhx7T+jfVUW05UxVFd2k9SVGE3eHZ0MxVDUYdg4+9s+/n9wdjSKPP70dnAadx7vsRfsJXvDIjZhp+wDm7IZk+yGfWXf2Pfez2A32A8ObkuDXtfzjN2J4Pkv9Si13A==</latexit>
Le
ak
yR
el
u
<latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit><latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit><latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit><latexit sha1_base64="AOyaV5VhL6+BogHbWABOWK122nU=">AAACUXicdVBNT9tAEB0b2oLpR4Ajl1WjVj2gaI1oYm5IXHrgAFUDSEkUrdeTdJW1vdodIyLLv6XX9vdw6k/prbZxpVKVd3r73szOzIuNVo44/+n5G5vPnr/Y2g52Xr56/aa3u3fl8sJKHMtc5/YmFg61ynBMijTeGIsijTVex6uzxr++RetUnn2htcFZKpaZWigpqJbmvf0p4R3ZtDxHsVp/Rl1UwbzX54PhSTgajhgf8BYNCYdRFLGwU/rQ4WK+672fJrksUsxIauHcJOSGZqWwpKTGKpgWDo2QK7HESU0zkaKble32FXtXOEE5M2iZ0qwV8e+OUqTOrdO4rkwFfXX/eo34P29S0CKalSozBWEmm0GkNLaDnLSqjgVZoiwSiWZzZCpjUlhBhFYxIWUtFnVOjz5NbpVx3QF3DxcE0wQXdf7tq7SYzI2hqrTLuCr5YPTx6OSQH/IqCJpk/8THniZXR4Ow5pfH/dOoy3gLDuAtfIAQRnAKn+ACxiBhDd/gO/zw7r1fPvj+Q6nvdT378Aj+zm+Mf7J5</latexit>
C
on
v2D
,64
⇥
5
⇥
5
<latexit sha1_base64="PgCrdPh45gWp9cTpyri2JatKRu0=">AAACZHicdVFdb9MwFHXD1wiDdUx7QkIWFRMPVeVUW5u9TdoeeBwS3SY1VeU4t8Wa41j2TbUpyj/g1/AKf4Q/wO/AyQJiCM7T8Tn3+voep0ZJh4x97wUPHj56/GTrafhs+/mLnf7uywtXlFbATBSqsFcpd6CkhhlKVHBlLPA8VXCZXp82/uUGrJOF/oi3BhY5X2u5koKjl5b9gwThBm1enRZ6Mz6rh3RySBOUOTh69JuEy/6AjSbH0XQypWzEWjQkmsRxTKNOGZAO58vd3kGSFaLMQaNQ3Ll5xAwuKm5RCgV1mJQODBfXfA1zTzX3gxZVu1BN35aOY0ENWCoVbUX4s6PiuXO3eeorc46f3N9eI/7Lm5e4iheV1KZE0KIZhFJBO8gJK31SQDNpAZE3LwcqNRXcckSwknIhvFj66O5dmm2kcd0CN3cbhEkGK/8l7amykC2Nwbqy67Su2Gh6ND4esiGrw7BJ9ld89P/kYjyKPP9wODiJu4y3yCvyhrwjEZmSE/KenJMZEeQz+UK+km+9H8F2sBfs35UGva5nj9xD8PonVRO3Ug==</latexit><latexit sha1_base64="PgCrdPh45gWp9cTpyri2JatKRu0=">AAACZHicdVFdb9MwFHXD1wiDdUx7QkIWFRMPVeVUW5u9TdoeeBwS3SY1VeU4t8Wa41j2TbUpyj/g1/AKf4Q/wO/AyQJiCM7T8Tn3+voep0ZJh4x97wUPHj56/GTrafhs+/mLnf7uywtXlFbATBSqsFcpd6CkhhlKVHBlLPA8VXCZXp82/uUGrJOF/oi3BhY5X2u5koKjl5b9gwThBm1enRZ6Mz6rh3RySBOUOTh69JuEy/6AjSbH0XQypWzEWjQkmsRxTKNOGZAO58vd3kGSFaLMQaNQ3Ll5xAwuKm5RCgV1mJQODBfXfA1zTzX3gxZVu1BN35aOY0ENWCoVbUX4s6PiuXO3eeorc46f3N9eI/7Lm5e4iheV1KZE0KIZhFJBO8gJK31SQDNpAZE3LwcqNRXcckSwknIhvFj66O5dmm2kcd0CN3cbhEkGK/8l7amykC2Nwbqy67Su2Gh6ND4esiGrw7BJ9ld89P/kYjyKPP9wODiJu4y3yCvyhrwjEZmSE/KenJMZEeQz+UK+km+9H8F2sBfs35UGva5nj9xD8PonVRO3Ug==</latexit><latexit sha1_base64="PgCrdPh45gWp9cTpyri2JatKRu0=">AAACZHicdVFdb9MwFHXD1wiDdUx7QkIWFRMPVeVUW5u9TdoeeBwS3SY1VeU4t8Wa41j2TbUpyj/g1/AKf4Q/wO/AyQJiCM7T8Tn3+voep0ZJh4x97wUPHj56/GTrafhs+/mLnf7uywtXlFbATBSqsFcpd6CkhhlKVHBlLPA8VXCZXp82/uUGrJOF/oi3BhY5X2u5koKjl5b9gwThBm1enRZ6Mz6rh3RySBOUOTh69JuEy/6AjSbH0XQypWzEWjQkmsRxTKNOGZAO58vd3kGSFaLMQaNQ3Ll5xAwuKm5RCgV1mJQODBfXfA1zTzX3gxZVu1BN35aOY0ENWCoVbUX4s6PiuXO3eeorc46f3N9eI/7Lm5e4iheV1KZE0KIZhFJBO8gJK31SQDNpAZE3LwcqNRXcckSwknIhvFj66O5dmm2kcd0CN3cbhEkGK/8l7amykC2Nwbqy67Su2Gh6ND4esiGrw7BJ9ld89P/kYjyKPP9wODiJu4y3yCvyhrwjEZmSE/KenJMZEeQz+UK+km+9H8F2sBfs35UGva5nj9xD8PonVRO3Ug==</latexit><latexit sha1_base64="PgCrdPh45gWp9cTpyri2JatKRu0=">AAACZHicdVFdb9MwFHXD1wiDdUx7QkIWFRMPVeVUW5u9TdoeeBwS3SY1VeU4t8Wa41j2TbUpyj/g1/AKf4Q/wO/AyQJiCM7T8Tn3+voep0ZJh4x97wUPHj56/GTrafhs+/mLnf7uywtXlFbATBSqsFcpd6CkhhlKVHBlLPA8VXCZXp82/uUGrJOF/oi3BhY5X2u5koKjl5b9gwThBm1enRZ6Mz6rh3RySBOUOTh69JuEy/6AjSbH0XQypWzEWjQkmsRxTKNOGZAO58vd3kGSFaLMQaNQ3Ll5xAwuKm5RCgV1mJQODBfXfA1zTzX3gxZVu1BN35aOY0ENWCoVbUX4s6PiuXO3eeorc46f3N9eI/7Lm5e4iheV1KZE0KIZhFJBO8gJK31SQDNpAZE3LwcqNRXcckSwknIhvFj66O5dmm2kcd0CN3cbhEkGK/8l7amykC2Nwbqy67Su2Gh6ND4esiGrw7BJ9ld89P/kYjyKPP9wODiJu4y3yCvyhrwjEZmSE/KenJMZEeQz+UK+km+9H8F2sBfs35UGva5nj9xD8PonVRO3Ug==</latexit>
P
3
⇥
P
3
⇥
64
<latexit sha1_base64="WXDxzAB0x03VkMLf1xnU0Y544Fo=">AAACV3icdVFNT9wwEHUCpUv6tQsn1IvVVase0MqhdDfckHrpcSt1AWl3FTnO7NbCSSx7goqiqL+m1/J7+DXghCBBBe/0/N6Mx/OcaCUtMnbt+RubL7Ze9raDV6/fvH3XH+yc2KI0AmaiUIU5S7gFJXOYoUQFZ9oAzxIFp8n5t8Y/vQBjZZH/xEsNy4yvc7mSgqOT4v7eNP5CFygzsPQBHR8GcX/IRuOjcDKeUDZiLRoSjqMoomGnDEmHaTzwPi3SQpQZ5CgUt3YeMo3LihuUQkEdLEoLmotzvoa5ozl3k5ZVu0NNP5aWY0E1GCoVbUV42FHxzNrLLHGVGcdf9n+vEZ/y5iWuomUlc10i5KIZhFJBO8gKI104QFNpAJE3Lwcqcyq44YhgJOVCOLF0aT26NL2Q2nYL/L7bIFiksHK/0J4qA2msNdaVWSd1xUaTrwdH+2yf1UHQJHsfH32enByMQsd/HA6Poy7jHnlPPpDPJCQTcky+kymZEUH+kL/kH7nyrr0bf8vv3ZX6XtezSx7BH9wCyiqy2Q==</latexit><latexit sha1_base64="WXDxzAB0x03VkMLf1xnU0Y544Fo=">AAACV3icdVFNT9wwEHUCpUv6tQsn1IvVVase0MqhdDfckHrpcSt1AWl3FTnO7NbCSSx7goqiqL+m1/J7+DXghCBBBe/0/N6Mx/OcaCUtMnbt+RubL7Ze9raDV6/fvH3XH+yc2KI0AmaiUIU5S7gFJXOYoUQFZ9oAzxIFp8n5t8Y/vQBjZZH/xEsNy4yvc7mSgqOT4v7eNP5CFygzsPQBHR8GcX/IRuOjcDKeUDZiLRoSjqMoomGnDEmHaTzwPi3SQpQZ5CgUt3YeMo3LihuUQkEdLEoLmotzvoa5ozl3k5ZVu0NNP5aWY0E1GCoVbUV42FHxzNrLLHGVGcdf9n+vEZ/y5iWuomUlc10i5KIZhFJBO8gKI104QFNpAJE3Lwcqcyq44YhgJOVCOLF0aT26NL2Q2nYL/L7bIFiksHK/0J4qA2msNdaVWSd1xUaTrwdH+2yf1UHQJHsfH32enByMQsd/HA6Poy7jHnlPPpDPJCQTcky+kymZEUH+kL/kH7nyrr0bf8vv3ZX6XtezSx7BH9wCyiqy2Q==</latexit><latexit sha1_base64="WXDxzAB0x03VkMLf1xnU0Y544Fo=">AAACV3icdVFNT9wwEHUCpUv6tQsn1IvVVase0MqhdDfckHrpcSt1AWl3FTnO7NbCSSx7goqiqL+m1/J7+DXghCBBBe/0/N6Mx/OcaCUtMnbt+RubL7Ze9raDV6/fvH3XH+yc2KI0AmaiUIU5S7gFJXOYoUQFZ9oAzxIFp8n5t8Y/vQBjZZH/xEsNy4yvc7mSgqOT4v7eNP5CFygzsPQBHR8GcX/IRuOjcDKeUDZiLRoSjqMoomGnDEmHaTzwPi3SQpQZ5CgUt3YeMo3LihuUQkEdLEoLmotzvoa5ozl3k5ZVu0NNP5aWY0E1GCoVbUV42FHxzNrLLHGVGcdf9n+vEZ/y5iWuomUlc10i5KIZhFJBO8gKI104QFNpAJE3Lwcqcyq44YhgJOVCOLF0aT26NL2Q2nYL/L7bIFiksHK/0J4qA2msNdaVWSd1xUaTrwdH+2yf1UHQJHsfH32enByMQsd/HA6Poy7jHnlPPpDPJCQTcky+kymZEUH+kL/kH7nyrr0bf8vv3ZX6XtezSx7BH9wCyiqy2Q==</latexit><latexit sha1_base64="WXDxzAB0x03VkMLf1xnU0Y544Fo=">AAACV3icdVFNT9wwEHUCpUv6tQsn1IvVVase0MqhdDfckHrpcSt1AWl3FTnO7NbCSSx7goqiqL+m1/J7+DXghCBBBe/0/N6Mx/OcaCUtMnbt+RubL7Ze9raDV6/fvH3XH+yc2KI0AmaiUIU5S7gFJXOYoUQFZ9oAzxIFp8n5t8Y/vQBjZZH/xEsNy4yvc7mSgqOT4v7eNP5CFygzsPQBHR8GcX/IRuOjcDKeUDZiLRoSjqMoomGnDEmHaTzwPi3SQpQZ5CgUt3YeMo3LihuUQkEdLEoLmotzvoa5ozl3k5ZVu0NNP5aWY0E1GCoVbUV42FHxzNrLLHGVGcdf9n+vEZ/y5iWuomUlc10i5KIZhFJBO8gKI104QFNpAJE3Lwcqcyq44YhgJOVCOLF0aT26NL2Q2nYL/L7bIFiksHK/0J4qA2msNdaVWSd1xUaTrwdH+2yf1UHQJHsfH32enByMQsd/HA6Poy7jHnlPPpDPJCQTcky+kymZEUH+kL/kH7nyrr0bf8vv3ZX6XtezSx7BH9wCyiqy2Q==</latexit>
1
⇥
1
⇥
32
<latexit sha1_base64="67jRstTVHJfr5iN5UZ6XryYzd/w=">AAACUnicdVLBTtwwEHWWUmiAstDeuFhdgTiglbMtu+GGxKVHkLqAtLtaOc7sYuEklj1BQJR/4Qrfw6W/wqlOCKigdk7Pb2b8Zp4daSUtMvbbay18WPy4tPzJX1ld+7ze3tg8tVluBAxFpjJzHnELSqYwRIkKzrUBnkQKzqLLoyp/dgXGyiz9hTcaJgmfp3ImBUdHTdtfAzpGmYClr+B7b9rusG7/IBj0B5R1WR0VCPphGNKgYTqkiePphrczjjORJ5CiUNzaUcA0TgpuUAoFpT/OLWguLvkcRg6m3AlNinr8km7nlmNGNRgqFa1J+Luj4Im1N0nkKhOOF/Z9riL/lRvlOAsnhUx1jpCKSgilglrICiOdL0BjaQCRV5MDlSkV3HBEMJJyIRyZO6PeXBpfSW2bBa6fN/DHMczcA9SnwkA81RrLwsyjsmDdwX7vYI/tsdL3fefsi330/+C01w0cPvnROQwbj5fJFvlGdklABuSQ/CTHZEgEuSV35J48eI/eU8v9kufSltf0fCFvorX6Bz+ysTY=</latexit><latexit sha1_base64="67jRstTVHJfr5iN5UZ6XryYzd/w=">AAACUnicdVLBTtwwEHWWUmiAstDeuFhdgTiglbMtu+GGxKVHkLqAtLtaOc7sYuEklj1BQJR/4Qrfw6W/wqlOCKigdk7Pb2b8Zp4daSUtMvbbay18WPy4tPzJX1ld+7ze3tg8tVluBAxFpjJzHnELSqYwRIkKzrUBnkQKzqLLoyp/dgXGyiz9hTcaJgmfp3ImBUdHTdtfAzpGmYClr+B7b9rusG7/IBj0B5R1WR0VCPphGNKgYTqkiePphrczjjORJ5CiUNzaUcA0TgpuUAoFpT/OLWguLvkcRg6m3AlNinr8km7nlmNGNRgqFa1J+Luj4Im1N0nkKhOOF/Z9riL/lRvlOAsnhUx1jpCKSgilglrICiOdL0BjaQCRV5MDlSkV3HBEMJJyIRyZO6PeXBpfSW2bBa6fN/DHMczcA9SnwkA81RrLwsyjsmDdwX7vYI/tsdL3fefsi330/+C01w0cPvnROQwbj5fJFvlGdklABuSQ/CTHZEgEuSV35J48eI/eU8v9kufSltf0fCFvorX6Bz+ysTY=</latexit><latexit sha1_base64="67jRstTVHJfr5iN5UZ6XryYzd/w=">AAACUnicdVLBTtwwEHWWUmiAstDeuFhdgTiglbMtu+GGxKVHkLqAtLtaOc7sYuEklj1BQJR/4Qrfw6W/wqlOCKigdk7Pb2b8Zp4daSUtMvbbay18WPy4tPzJX1ld+7ze3tg8tVluBAxFpjJzHnELSqYwRIkKzrUBnkQKzqLLoyp/dgXGyiz9hTcaJgmfp3ImBUdHTdtfAzpGmYClr+B7b9rusG7/IBj0B5R1WR0VCPphGNKgYTqkiePphrczjjORJ5CiUNzaUcA0TgpuUAoFpT/OLWguLvkcRg6m3AlNinr8km7nlmNGNRgqFa1J+Luj4Im1N0nkKhOOF/Z9riL/lRvlOAsnhUx1jpCKSgilglrICiOdL0BjaQCRV5MDlSkV3HBEMJJyIRyZO6PeXBpfSW2bBa6fN/DHMczcA9SnwkA81RrLwsyjsmDdwX7vYI/tsdL3fefsi330/+C01w0cPvnROQwbj5fJFvlGdklABuSQ/CTHZEgEuSV35J48eI/eU8v9kufSltf0fCFvorX6Bz+ysTY=</latexit><latexit sha1_base64="HgnSJLozZdz9Z1g0iopOoeipRc8=">AAACLnicbVE9T8MwEHX4LKFAO7NYVCCGqnKQUGFDYmEsEqWV2qpynGuxcBLLviBQlD/Ayu/hhzCzIX4EbsgAhTc9v2f77t6FWkmLjL15K6tr6xubtS1/u+7v7O416rc2zYyAvkhVaoYht6BkAn2UqGCoDfA4VDAI7y8X/uABjJVpcoNPGiYxnydyJgVHJ/WmjRbrsBL0Lwkq0iIVpk3vaBylIoshQaG4taOAaZzk3KAUCgp/nFnQXNzzOYwcTXgMdpKXfRb0MLMcU6rBUKloKcLPFzmPrX2KQ3cz5nhnl72F+J83ynB2NsllojOERCwKoVRQFrLCSBcA0EgaQOSLzoHKhApuOCIYSbkQTsxcIr8+jR6kttUAj98T+OMIZi7p8pQbiKZaY5GbeVjkrNM9PTlvszYrfN93wQbLMf4ltyedwPFrRmpknxyQYxKQLrkgV6RH+kSQiDyTF+/Ve/c+vhew4lWbaJJf8D6/AEhIqic=</latexit><latexit sha1_base64="8KQo9HoD1dTctwi+jyNY93LSIBw=">AAACR3icbVHBThsxEJ0NLYQthVBx42KBWvWAIm8QAm6VeukxSIQgJVHk9U5SC++uZc9GwGr/hWv7Pb30VzjhLAEBYS5+fuPxm3kTG60ccf4/aKx8+Li61lwPP2183txqbW9cuLywEnsy17m9jIVDrTLskSKNl8aiSGON/fjq5zzfn6F1Ks/O6cbgKBXTTE2UFOSpcWsnYkNSKTr2DA4749Y+b/M62DKIFmAfFtEdbwffhkkuixQzklo4N4i4oVEpLCmpsQqHhUMj5JWY4sDDTHihUVm3X7GvhROUM4OWKc1qEl9WlCJ17iaN/ctU0G/3Njcn38sNCpqcjEqVmYIwk3MhUhprISet8r4gS5RFIjHvHJnKmBRWEKFVTEjpycIb9erTZKaMWwxw/ThBOExw4hdQ30qLydgYqko7jauSt4+POqcH/IBXYRh6Z6O3Pi6Di0478viMQxN2YQ++QwTH8AN+QRd6IOEW7uAP/A3+BfeN4HEHTyd8gVfRWHkAM7ewPw==</latexit><latexit sha1_base64="F92LNvg6mEZwupM75JPmy9Bho3I=">AAACR3icdVHBThsxEJ0NbQlb2oaKGxeriKoHFHlTkYRbpV56DBIBpCSKvN5JauHdtexZBKz2X7jC93Dpr/SEdwlVqcpc/PzG4zfzJjZaOeL8V9Bae/X6zXp7I3y7+e79h87W5onLCytxLHOd27NYONQqwzEp0nhmLIo01ngan3+v86cXaJ3Ks2O6MjhLxTJTCyUFeWre2Y7YlFSKjv0BX3vzzi7v9g+jQX/AeJc3UYOoPxwOWbRidmEVo/lW8Hma5LJIMSOphXOTiBualcKSkhqrcFo4NEKeiyVOPMyEF5qVTfsV2yucoJwZtExp1pD4d0UpUueu0ti/TAX9dP/mavJ/uUlBi+GsVJkpCDNZC5HS2Ag5aZX3BVmiLBKJunNkKmNSWEGEVjEhpScLb9SzT5MLZdxqgMvHCcJpggu/gOZWWkzmxlBV2mVclbw7OOgd7vN9XoVh6J19so+9DE563cjjIw5t2IFP8AUiGMA3+AEjGIOEa7iBW7gL7oPfreBxB08nfIRn0Vp7AKgZsII=</latexit><latexit sha1_base64="Mxdp62D9YTK51XoQVUupG6+doJQ=">AAACUnicdVJNT9wwEHW2tEBK2+XjxsVi1aoHtHK2YjfckLhwBIkFpN3VynFmtxZOYtkTBET5L1zL7+HCX+GEEwICVOb0/GbGb+bZkVbSImP3XuvTwucvi0vL/teVb99/tFfXTmyWGwFDkanMnEXcgpIpDFGigjNtgCeRgtPofL/Kn16AsTJLj/FKwyTh81TOpODoqGl7I6BjlAlY+gL+9KbtDuv2d4NBf0BZl9VRgaAfhiENGqZDmjicrnq/xnEm8gRSFIpbOwqYxknBDUqhoPTHuQXNxTmfw8jBlDuhSVGPX9KfueWYUQ2GSkVrEl53FDyx9iqJXGXC8a99n6vI/+VGOc7CSSFTnSOkohJCqaAWssJI5wvQWBpA5NXkQGVKBTccEYykXAhH5s6oN5fGF1LbZoHLpw38cQwz9wD1qTAQT7XGsjDzqCxYd7DT291m26z0fd85+2wf/Ric9LqBw0essxc2Hi+RTbJFfpOADMgeOSCHZEgEuSY35B+59e68h5b7JU+lLa/pWSdvorXyCD5ysTI=</latexit><latexit sha1_base64="67jRstTVHJfr5iN5UZ6XryYzd/w=">AAACUnicdVLBTtwwEHWWUmiAstDeuFhdgTiglbMtu+GGxKVHkLqAtLtaOc7sYuEklj1BQJR/4Qrfw6W/wqlOCKigdk7Pb2b8Zp4daSUtMvbbay18WPy4tPzJX1ld+7ze3tg8tVluBAxFpjJzHnELSqYwRIkKzrUBnkQKzqLLoyp/dgXGyiz9hTcaJgmfp3ImBUdHTdtfAzpGmYClr+B7b9rusG7/IBj0B5R1WR0VCPphGNKgYTqkiePphrczjjORJ5CiUNzaUcA0TgpuUAoFpT/OLWguLvkcRg6m3AlNinr8km7nlmNGNRgqFa1J+Luj4Im1N0nkKhOOF/Z9riL/lRvlOAsnhUx1jpCKSgilglrICiOdL0BjaQCRV5MDlSkV3HBEMJJyIRyZO6PeXBpfSW2bBa6fN/DHMczcA9SnwkA81RrLwsyjsmDdwX7vYI/tsdL3fefsi330/+C01w0cPvnROQwbj5fJFvlGdklABuSQ/CTHZEgEuSV35J48eI/eU8v9kufSltf0fCFvorX6Bz+ysTY=</latexit><latexit sha1_base64="67jRstTVHJfr5iN5UZ6XryYzd/w=">AAACUnicdVLBTtwwEHWWUmiAstDeuFhdgTiglbMtu+GGxKVHkLqAtLtaOc7sYuEklj1BQJR/4Qrfw6W/wqlOCKigdk7Pb2b8Zp4daSUtMvbbay18WPy4tPzJX1ld+7ze3tg8tVluBAxFpjJzHnELSqYwRIkKzrUBnkQKzqLLoyp/dgXGyiz9hTcaJgmfp3ImBUdHTdtfAzpGmYClr+B7b9rusG7/IBj0B5R1WR0VCPphGNKgYTqkiePphrczjjORJ5CiUNzaUcA0TgpuUAoFpT/OLWguLvkcRg6m3AlNinr8km7nlmNGNRgqFa1J+Luj4Im1N0nkKhOOF/Z9riL/lRvlOAsnhUx1jpCKSgilglrICiOdL0BjaQCRV5MDlSkV3HBEMJJyIRyZO6PeXBpfSW2bBa6fN/DHMczcA9SnwkA81RrLwsyjsmDdwX7vYI/tsdL3fefsi330/+C01w0cPvnROQwbj5fJFvlGdklABuSQ/CTHZEgEuSV35J48eI/eU8v9kufSltf0fCFvorX6Bz+ysTY=</latexit><latexit sha1_base64="67jRstTVHJfr5iN5UZ6XryYzd/w=">AAACUnicdVLBTtwwEHWWUmiAstDeuFhdgTiglbMtu+GGxKVHkLqAtLtaOc7sYuEklj1BQJR/4Qrfw6W/wqlOCKigdk7Pb2b8Zp4daSUtMvbbay18WPy4tPzJX1ld+7ze3tg8tVluBAxFpjJzHnELSqYwRIkKzrUBnkQKzqLLoyp/dgXGyiz9hTcaJgmfp3ImBUdHTdtfAzpGmYClr+B7b9rusG7/IBj0B5R1WR0VCPphGNKgYTqkiePphrczjjORJ5CiUNzaUcA0TgpuUAoFpT/OLWguLvkcRg6m3AlNinr8km7nlmNGNRgqFa1J+Luj4Im1N0nkKhOOF/Z9riL/lRvlOAsnhUx1jpCKSgilglrICiOdL0BjaQCRV5MDlSkV3HBEMJJyIRyZO6PeXBpfSW2bBa6fN/DHMczcA9SnwkA81RrLwsyjsmDdwX7vYI/tsdL3fefsi330/+C01w0cPvnROQwbj5fJFvlGdklABuSQ/CTHZEgEuSV35J48eI/eU8v9kufSltf0fCFvorX6Bz+ysTY=</latexit><latexit sha1_base64="67jRstTVHJfr5iN5UZ6XryYzd/w=">AAACUnicdVLBTtwwEHWWUmiAstDeuFhdgTiglbMtu+GGxKVHkLqAtLtaOc7sYuEklj1BQJR/4Qrfw6W/wqlOCKigdk7Pb2b8Zp4daSUtMvbbay18WPy4tPzJX1ld+7ze3tg8tVluBAxFpjJzHnELSqYwRIkKzrUBnkQKzqLLoyp/dgXGyiz9hTcaJgmfp3ImBUdHTdtfAzpGmYClr+B7b9rusG7/IBj0B5R1WR0VCPphGNKgYTqkiePphrczjjORJ5CiUNzaUcA0TgpuUAoFpT/OLWguLvkcRg6m3AlNinr8km7nlmNGNRgqFa1J+Luj4Im1N0nkKhOOF/Z9riL/lRvlOAsnhUx1jpCKSgilglrICiOdL0BjaQCRV5MDlSkV3HBEMJJyIRyZO6PeXBpfSW2bBa6fN/DHMczcA9SnwkA81RrLwsyjsmDdwX7vYI/tsdL3fefsi330/+C01w0cPvnROQwbj5fJFvlGdklABuSQ/CTHZEgEuSV35J48eI/eU8v9kufSltf0fCFvorX6Bz+ysTY=</latexit><latexit sha1_base64="67jRstTVHJfr5iN5UZ6XryYzd/w=">AAACUnicdVLBTtwwEHWWUmiAstDeuFhdgTiglbMtu+GGxKVHkLqAtLtaOc7sYuEklj1BQJR/4Qrfw6W/wqlOCKigdk7Pb2b8Zp4daSUtMvbbay18WPy4tPzJX1ld+7ze3tg8tVluBAxFpjJzHnELSqYwRIkKzrUBnkQKzqLLoyp/dgXGyiz9hTcaJgmfp3ImBUdHTdtfAzpGmYClr+B7b9rusG7/IBj0B5R1WR0VCPphGNKgYTqkiePphrczjjORJ5CiUNzaUcA0TgpuUAoFpT/OLWguLvkcRg6m3AlNinr8km7nlmNGNRgqFa1J+Luj4Im1N0nkKhOOF/Z9riL/lRvlOAsnhUx1jpCKSgilglrICiOdL0BjaQCRV5MDlSkV3HBEMJJyIRyZO6PeXBpfSW2bBa6fN/DHMczcA9SnwkA81RrLwsyjsmDdwX7vYI/tsdL3fefsi330/+C01w0cPvnROQwbj5fJFvlGdklABuSQ/CTHZEgEuSV35J48eI/eU8v9kufSltf0fCFvorX6Bz+ysTY=</latexit><latexit sha1_base64="67jRstTVHJfr5iN5UZ6XryYzd/w=">AAACUnicdVLBTtwwEHWWUmiAstDeuFhdgTiglbMtu+GGxKVHkLqAtLtaOc7sYuEklj1BQJR/4Qrfw6W/wqlOCKigdk7Pb2b8Zp4daSUtMvbbay18WPy4tPzJX1ld+7ze3tg8tVluBAxFpjJzHnELSqYwRIkKzrUBnkQKzqLLoyp/dgXGyiz9hTcaJgmfp3ImBUdHTdtfAzpGmYClr+B7b9rusG7/IBj0B5R1WR0VCPphGNKgYTqkiePphrczjjORJ5CiUNzaUcA0TgpuUAoFpT/OLWguLvkcRg6m3AlNinr8km7nlmNGNRgqFa1J+Luj4Im1N0nkKhOOF/Z9riL/lRvlOAsnhUx1jpCKSgilglrICiOdL0BjaQCRV5MDlSkV3HBEMJJyIRyZO6PeXBpfSW2bBa6fN/DHMczcA9SnwkA81RrLwsyjsmDdwX7vYI/tsdL3fefsi330/+C01w0cPvnROQwbj5fJFvlGdklABuSQ/CTHZEgEuSV35J48eI/eU8v9kufSltf0fCFvorX6Bz+ysTY=</latexit>
W
<latexit sha1_base64="bVccBrlSGWtplW2d8FN3nfXN960=">AAACR3icdVBNb9NAEF0H2gb3g5QeuayIijhE0bqiiXOLxIVjkMiHlETRej1JV1nbq91x1Mryz+gVfg8/gV/BDfWI7RiJIJjT2/dmdt68QCtpkbHvTuPZ86Pjk+YL9/Ts/OJl6/LVxCapETAWiUrMLOAWlIxhjBIVzLQBHgUKpsH2Q6lPd2CsTOLP+KBhGfFNLNdScCyo+SLieBess2nurlpt1u0NvH6vT1mXVVUCr+f7PvVqpk3qGq0unbeLMBFpBDEKxa2de0zjMuMGpVCQu4vUguZiyzcwL2DMI7DLrPKc0+vUckyoBkOlohUJf05kPLL2IQqKztKj/VsryX9p8xTX/jKTsU4RYlEuQqmgWmSFkUUYQENpAJGXzoHKmApuOCIYSbkQBZkW6Rx8Gu6ktvUB9/sL3EUI6yL16pUZCFdaY56ZTZBnrNu/vRl0WIflrlsm+zs++n8wuel6Bf70vj3064yb5DV5Q94Rj/TJkHwkIzImgiTkkXwhX51vzg/np/O0b2049cwVOaiG8wukn7CN</latexit><latexit sha1_base64="bVccBrlSGWtplW2d8FN3nfXN960=">AAACR3icdVBNb9NAEF0H2gb3g5QeuayIijhE0bqiiXOLxIVjkMiHlETRej1JV1nbq91x1Mryz+gVfg8/gV/BDfWI7RiJIJjT2/dmdt68QCtpkbHvTuPZ86Pjk+YL9/Ts/OJl6/LVxCapETAWiUrMLOAWlIxhjBIVzLQBHgUKpsH2Q6lPd2CsTOLP+KBhGfFNLNdScCyo+SLieBess2nurlpt1u0NvH6vT1mXVVUCr+f7PvVqpk3qGq0unbeLMBFpBDEKxa2de0zjMuMGpVCQu4vUguZiyzcwL2DMI7DLrPKc0+vUckyoBkOlohUJf05kPLL2IQqKztKj/VsryX9p8xTX/jKTsU4RYlEuQqmgWmSFkUUYQENpAJGXzoHKmApuOCIYSbkQBZkW6Rx8Gu6ktvUB9/sL3EUI6yL16pUZCFdaY56ZTZBnrNu/vRl0WIflrlsm+zs++n8wuel6Bf70vj3064yb5DV5Q94Rj/TJkHwkIzImgiTkkXwhX51vzg/np/O0b2049cwVOaiG8wukn7CN</latexit><latexit sha1_base64="bVccBrlSGWtplW2d8FN3nfXN960=">AAACR3icdVBNb9NAEF0H2gb3g5QeuayIijhE0bqiiXOLxIVjkMiHlETRej1JV1nbq91x1Mryz+gVfg8/gV/BDfWI7RiJIJjT2/dmdt68QCtpkbHvTuPZ86Pjk+YL9/Ts/OJl6/LVxCapETAWiUrMLOAWlIxhjBIVzLQBHgUKpsH2Q6lPd2CsTOLP+KBhGfFNLNdScCyo+SLieBess2nurlpt1u0NvH6vT1mXVVUCr+f7PvVqpk3qGq0unbeLMBFpBDEKxa2de0zjMuMGpVCQu4vUguZiyzcwL2DMI7DLrPKc0+vUckyoBkOlohUJf05kPLL2IQqKztKj/VsryX9p8xTX/jKTsU4RYlEuQqmgWmSFkUUYQENpAJGXzoHKmApuOCIYSbkQBZkW6Rx8Gu6ktvUB9/sL3EUI6yL16pUZCFdaY56ZTZBnrNu/vRl0WIflrlsm+zs++n8wuel6Bf70vj3064yb5DV5Q94Rj/TJkHwkIzImgiTkkXwhX51vzg/np/O0b2049cwVOaiG8wukn7CN</latexit><latexit sha1_base64="bVccBrlSGWtplW2d8FN3nfXN960=">AAACR3icdVBNb9NAEF0H2gb3g5QeuayIijhE0bqiiXOLxIVjkMiHlETRej1JV1nbq91x1Mryz+gVfg8/gV/BDfWI7RiJIJjT2/dmdt68QCtpkbHvTuPZ86Pjk+YL9/Ts/OJl6/LVxCapETAWiUrMLOAWlIxhjBIVzLQBHgUKpsH2Q6lPd2CsTOLP+KBhGfFNLNdScCyo+SLieBess2nurlpt1u0NvH6vT1mXVVUCr+f7PvVqpk3qGq0unbeLMBFpBDEKxa2de0zjMuMGpVCQu4vUguZiyzcwL2DMI7DLrPKc0+vUckyoBkOlohUJf05kPLL2IQqKztKj/VsryX9p8xTX/jKTsU4RYlEuQqmgWmSFkUUYQENpAJGXzoHKmApuOCIYSbkQBZkW6Rx8Gu6ktvUB9/sL3EUI6yL16pUZCFdaY56ZTZBnrNu/vRl0WIflrlsm+zs++n8wuel6Bf70vj3064yb5DV5Q94Rj/TJkHwkIzImgiTkkXwhX51vzg/np/O0b2049cwVOaiG8wukn7CN</latexit>K
<latexit sha1_base64="x65ZdcVsEwJpAgLEY8x9mfvND/I=">AAACR3icdVDBTttAEF0H2qamLYEeuayIQByiaI0gcW6RuFTqJZUagpRE0Xo9SVes7dXuOCqy/Blc4Xv4BL6it6pHbONKgGBOb9+b2XnzAq2kRcbuncbG5rv3H5of3a1Pn79st3Z2z22SGgFjkajEXATcgpIxjFGiggttgEeBgklweVbqkzUYK5P4J15pmEd8FculFBwLajqLOP4Kltn33F202qzbG3j9Xp+yLquqBF7P933q1Uyb1DVa7DiHszARaQQxCsWtnXpM4zzjBqVQkLuz1ILm4pKvYFrAmEdg51nlOacHqeWYUA2GSkUrEp5OZDyy9ioKis7So32pleRr2jTFpT/PZKxThFiUi1AqqBZZYWQRBtBQGkDkpXOgMqaCG44IRlIuREGmRTrPPg3XUtv6gN+PF7izEJZF6tUrMxAutMY8M6sgz1i3f3o86LAOy123TPZ/fPRtcH7c9Qr846Q99OuMm2SP7JMj4pE+GZJvZETGRJCEXJMbcuvcOX+cv86/x9aGU898Jc+q4TwAjluwgQ==</latexit><latexit sha1_base64="x65ZdcVsEwJpAgLEY8x9mfvND/I=">AAACR3icdVDBTttAEF0H2qamLYEeuayIQByiaI0gcW6RuFTqJZUagpRE0Xo9SVes7dXuOCqy/Blc4Xv4BL6it6pHbONKgGBOb9+b2XnzAq2kRcbuncbG5rv3H5of3a1Pn79st3Z2z22SGgFjkajEXATcgpIxjFGiggttgEeBgklweVbqkzUYK5P4J15pmEd8FculFBwLajqLOP4Kltn33F202qzbG3j9Xp+yLquqBF7P933q1Uyb1DVa7DiHszARaQQxCsWtnXpM4zzjBqVQkLuz1ILm4pKvYFrAmEdg51nlOacHqeWYUA2GSkUrEp5OZDyy9ioKis7So32pleRr2jTFpT/PZKxThFiUi1AqqBZZYWQRBtBQGkDkpXOgMqaCG44IRlIuREGmRTrPPg3XUtv6gN+PF7izEJZF6tUrMxAutMY8M6sgz1i3f3o86LAOy123TPZ/fPRtcH7c9Qr846Q99OuMm2SP7JMj4pE+GZJvZETGRJCEXJMbcuvcOX+cv86/x9aGU898Jc+q4TwAjluwgQ==</latexit><latexit sha1_base64="x65ZdcVsEwJpAgLEY8x9mfvND/I=">AAACR3icdVDBTttAEF0H2qamLYEeuayIQByiaI0gcW6RuFTqJZUagpRE0Xo9SVes7dXuOCqy/Blc4Xv4BL6it6pHbONKgGBOb9+b2XnzAq2kRcbuncbG5rv3H5of3a1Pn79st3Z2z22SGgFjkajEXATcgpIxjFGiggttgEeBgklweVbqkzUYK5P4J15pmEd8FculFBwLajqLOP4Kltn33F202qzbG3j9Xp+yLquqBF7P933q1Uyb1DVa7DiHszARaQQxCsWtnXpM4zzjBqVQkLuz1ILm4pKvYFrAmEdg51nlOacHqeWYUA2GSkUrEp5OZDyy9ioKis7So32pleRr2jTFpT/PZKxThFiUi1AqqBZZYWQRBtBQGkDkpXOgMqaCG44IRlIuREGmRTrPPg3XUtv6gN+PF7izEJZF6tUrMxAutMY8M6sgz1i3f3o86LAOy123TPZ/fPRtcH7c9Qr846Q99OuMm2SP7JMj4pE+GZJvZETGRJCEXJMbcuvcOX+cv86/x9aGU898Jc+q4TwAjluwgQ==</latexit><latexit sha1_base64="x65ZdcVsEwJpAgLEY8x9mfvND/I=">AAACR3icdVDBTttAEF0H2qamLYEeuayIQByiaI0gcW6RuFTqJZUagpRE0Xo9SVes7dXuOCqy/Blc4Xv4BL6it6pHbONKgGBOb9+b2XnzAq2kRcbuncbG5rv3H5of3a1Pn79st3Z2z22SGgFjkajEXATcgpIxjFGiggttgEeBgklweVbqkzUYK5P4J15pmEd8FculFBwLajqLOP4Kltn33F202qzbG3j9Xp+yLquqBF7P933q1Uyb1DVa7DiHszARaQQxCsWtnXpM4zzjBqVQkLuz1ILm4pKvYFrAmEdg51nlOacHqeWYUA2GSkUrEp5OZDyy9ioKis7So32pleRr2jTFpT/PZKxThFiUi1AqqBZZYWQRBtBQGkDkpXOgMqaCG44IRlIuREGmRTrPPg3XUtv6gN+PF7izEJZF6tUrMxAutMY8M6sgz1i3f3o86LAOy123TPZ/fPRtcH7c9Qr846Q99OuMm2SP7JMj4pE+GZJvZETGRJCEXJMbcuvcOX+cv86/x9aGU898Jc+q4TwAjluwgQ==</latexit>
P
⇥
P
⇥
2
<latexit sha1_base64="0KIrm1UmPFvNWJq2oVIpp9AG7xo=">AAACUXicdVBNb9NAEB2br+LykdIjlxURiEMVraOSuLdKXDgGibSVkiharydh1bW92h1XRJZ/S6/l93Dip3Bj7RpEEczp7Xsz+2ZearRyxPn3ILx3/8HDR3uPo/0nT589Hxy8OHNlZSXOZalLe5EKh1oVOCdFGi+MRZGnGs/Ty/etfn6F1qmy+EQ7g6tcbAu1UVKQp9aDwxlbksrRsd9gvB4M+WhyEk8nU8ZHvKsWxJMkSVjcM0Poa7Y+CN4ss1JWORYktXBuEXNDq1pYUlJjEy0rh0bIS7HFhYeF8D6rutu+Ya8rJ6hkBi1TmnUk/jlRi9y5XZ76zlzQZ/e31pL/0hYVbZJVrQpTERayNSKlsTNy0iofC7JMWSQS7ebIVMGksIIIrWJCSk9WPqc7n2ZXyrj+gC+3F0TLDDc+/+5VW8zWxlBT223a1Hw0fTc+OeJHvImiyCf7Kz72f3A2HsUefzweniZ9xnvwEl7BW4hhCqfwAWYwBwk7uIYb+Bp8C36EEIa3rWHQzxzCnQr3fwIrvbE3</latexit><latexit sha1_base64="0KIrm1UmPFvNWJq2oVIpp9AG7xo=">AAACUXicdVBNb9NAEB2br+LykdIjlxURiEMVraOSuLdKXDgGibSVkiharydh1bW92h1XRJZ/S6/l93Dip3Bj7RpEEczp7Xsz+2ZearRyxPn3ILx3/8HDR3uPo/0nT589Hxy8OHNlZSXOZalLe5EKh1oVOCdFGi+MRZGnGs/Ty/etfn6F1qmy+EQ7g6tcbAu1UVKQp9aDwxlbksrRsd9gvB4M+WhyEk8nU8ZHvKsWxJMkSVjcM0Poa7Y+CN4ss1JWORYktXBuEXNDq1pYUlJjEy0rh0bIS7HFhYeF8D6rutu+Ya8rJ6hkBi1TmnUk/jlRi9y5XZ76zlzQZ/e31pL/0hYVbZJVrQpTERayNSKlsTNy0iofC7JMWSQS7ebIVMGksIIIrWJCSk9WPqc7n2ZXyrj+gC+3F0TLDDc+/+5VW8zWxlBT223a1Hw0fTc+OeJHvImiyCf7Kz72f3A2HsUefzweniZ9xnvwEl7BW4hhCqfwAWYwBwk7uIYb+Bp8C36EEIa3rWHQzxzCnQr3fwIrvbE3</latexit><latexit sha1_base64="0KIrm1UmPFvNWJq2oVIpp9AG7xo=">AAACUXicdVBNb9NAEB2br+LykdIjlxURiEMVraOSuLdKXDgGibSVkiharydh1bW92h1XRJZ/S6/l93Dip3Bj7RpEEczp7Xsz+2ZearRyxPn3ILx3/8HDR3uPo/0nT589Hxy8OHNlZSXOZalLe5EKh1oVOCdFGi+MRZGnGs/Ty/etfn6F1qmy+EQ7g6tcbAu1UVKQp9aDwxlbksrRsd9gvB4M+WhyEk8nU8ZHvKsWxJMkSVjcM0Poa7Y+CN4ss1JWORYktXBuEXNDq1pYUlJjEy0rh0bIS7HFhYeF8D6rutu+Ya8rJ6hkBi1TmnUk/jlRi9y5XZ76zlzQZ/e31pL/0hYVbZJVrQpTERayNSKlsTNy0iofC7JMWSQS7ebIVMGksIIIrWJCSk9WPqc7n2ZXyrj+gC+3F0TLDDc+/+5VW8zWxlBT223a1Hw0fTc+OeJHvImiyCf7Kz72f3A2HsUefzweniZ9xnvwEl7BW4hhCqfwAWYwBwk7uIYb+Bp8C36EEIa3rWHQzxzCnQr3fwIrvbE3</latexit><latexit sha1_base64="HgnSJLozZdz9Z1g0iopOoeipRc8=">AAACLnicbVE9T8MwEHX4LKFAO7NYVCCGqnKQUGFDYmEsEqWV2qpynGuxcBLLviBQlD/Ayu/hhzCzIX4EbsgAhTc9v2f77t6FWkmLjL15K6tr6xubtS1/u+7v7O416rc2zYyAvkhVaoYht6BkAn2UqGCoDfA4VDAI7y8X/uABjJVpcoNPGiYxnydyJgVHJ/WmjRbrsBL0Lwkq0iIVpk3vaBylIoshQaG4taOAaZzk3KAUCgp/nFnQXNzzOYwcTXgMdpKXfRb0MLMcU6rBUKloKcLPFzmPrX2KQ3cz5nhnl72F+J83ynB2NsllojOERCwKoVRQFrLCSBcA0EgaQOSLzoHKhApuOCIYSbkQTsxcIr8+jR6kttUAj98T+OMIZi7p8pQbiKZaY5GbeVjkrNM9PTlvszYrfN93wQbLMf4ltyedwPFrRmpknxyQYxKQLrkgV6RH+kSQiDyTF+/Ve/c+vhew4lWbaJJf8D6/AEhIqic=</latexit><latexit sha1_base64="zpoM+GpVLCM/cfPAH9m+L6efUNA=">AAACRnicbZHPT9swFMdfwjZYgK2wIxcLNLQDqpxKE3CbtAvHTqIUqa0qx3ktFk5i2S+IKsrfsiv8PTvxp3DDDRFagXf6+Pvs9+PrxGjliPOHIFz78PHT+sbnaHNr+8vXzs7WhStKK3EgC13Yy0Q41CrHASnSeGksiizROEyufy/zwxu0ThX5OS0MTjIxz9VMSUFemna+9dmYVIaOvUBv2jngXd4EewtxCwfQRn+6ExyO00KWGeYktXBuFHNDk0pYUlJjHY1Lh0bIazHHkcdc+D6Tqpm+Zt9LJ6hgBi1TmjUi/v+iEplziyzxNzNBV+51bim+lxuVNDuZVCo3JWEul41IaWwaOWmVtwVZqiwSieXkyFTOpLCCCK1iQkovlt6nlaLpjTKuXeD2eYNonOLM+9+cKovp1BiqKztP6op3j3/2To/4Ea+jKPLOxq99fAsXvW7s+Q+HDdiDffgBMRzDLziDPgxAwgL+wh3cB/+Cx7D9gzBoYRdWIgyfAB+JsEE=</latexit><latexit sha1_base64="XWuDKLc1G4GqEPrqU35RyPuE3+w=">AAACRnicdVFNT9tAEB27H1CXlgDHXlagVj2gaB2JJNwqceGYSg0gJVG0Xk/SFWt7tTtGjSz/ll7b39NTfwo31q5bFQRzevve7ryZt4nRyhHnv4Pw2fMXL7e2X0Wvd9683e3t7Vy4orQSp7LQhb1KhEOtcpySIo1XxqLIEo2XyfVZo1/eoHWqyL/QxuAiE+tcrZQU5Kll72DC5qQydOwfGCx7R7w/PI1HwxHjfd5WA+LheDxmccccQVeT5V7wYZ4WsswwJ6mFc7OYG1pUwpKSGutoXjo0Ql6LNc48zIX3WVTt9DV7XzpBBTNomdKsJfH/F5XInNtkib+ZCfrqHmoN+Zg2K2k1XlQqNyVhLhsjUhpbIyet8rEgS5VFItFMjkzlTAoriNAqJqT0ZOlzutc0vVHGdQt8+7NBNE9x5fNvT5XFdGkM1ZVdJ3XF+6OTwekxP+Z1FEU+2b/xsafBxaAfe/yZwza8g0P4CDGM4BOcwwSmIGED3+EH/Ax+Bbdh9wdh0IF9uFdheAeT67CE</latexit><latexit sha1_base64="cMxuOLwJeSvdL/nVx0GY4mj0BoU=">AAACUXicdVBNb9NAEB2bjxaXj5Qee1kRgThU0ToSiXurxIVjkJq2UhJF6/UkrLq2V7vjqpHl38IVfg8nfgo31q5BFMGc3r43s2/mpUYrR5x/D8IHDx893tt/Eh08ffb8xeDw5YUrKytxLktd2qtUONSqwDkp0nhlLIo81XiZXr9v9csbtE6VxTntDK5ysS3URklBnloPjmZsSSpHx36D8Xow5KPJaTydTBkf8a5aEE+SJGFxzwyhr9n6MHizzEpZ5ViQ1MK5RcwNrWphSUmNTbSsHBohr8UWFx4Wwvus6m77hr2unKCSGbRMadaR+OdELXLndnnqO3NBn9zfWkv+S1tUtElWtSpMRVjI1oiUxs7ISat8LMgyZZFItJsjUwWTwgoitIoJKT1Z+ZzufZrdKOP6A27vLoiWGW58/t2rtpitjaGmttu0qflo+m58esJPeBNFkU/2V3zs/+BiPIo9/siHZ0mf8T4cwyt4CzFM4Qw+wAzmIGEHn+ELfA2+BT9CCMO71jDoZ47gXoUHPwEqfbEz</latexit><latexit sha1_base64="0KIrm1UmPFvNWJq2oVIpp9AG7xo=">AAACUXicdVBNb9NAEB2br+LykdIjlxURiEMVraOSuLdKXDgGibSVkiharydh1bW92h1XRJZ/S6/l93Dip3Bj7RpEEczp7Xsz+2ZearRyxPn3ILx3/8HDR3uPo/0nT589Hxy8OHNlZSXOZalLe5EKh1oVOCdFGi+MRZGnGs/Ty/etfn6F1qmy+EQ7g6tcbAu1UVKQp9aDwxlbksrRsd9gvB4M+WhyEk8nU8ZHvKsWxJMkSVjcM0Poa7Y+CN4ss1JWORYktXBuEXNDq1pYUlJjEy0rh0bIS7HFhYeF8D6rutu+Ya8rJ6hkBi1TmnUk/jlRi9y5XZ76zlzQZ/e31pL/0hYVbZJVrQpTERayNSKlsTNy0iofC7JMWSQS7ebIVMGksIIIrWJCSk9WPqc7n2ZXyrj+gC+3F0TLDDc+/+5VW8zWxlBT223a1Hw0fTc+OeJHvImiyCf7Kz72f3A2HsUefzweniZ9xnvwEl7BW4hhCqfwAWYwBwk7uIYb+Bp8C36EEIa3rWHQzxzCnQr3fwIrvbE3</latexit><latexit sha1_base64="0KIrm1UmPFvNWJq2oVIpp9AG7xo=">AAACUXicdVBNb9NAEB2br+LykdIjlxURiEMVraOSuLdKXDgGibSVkiharydh1bW92h1XRJZ/S6/l93Dip3Bj7RpEEczp7Xsz+2ZearRyxPn3ILx3/8HDR3uPo/0nT589Hxy8OHNlZSXOZalLe5EKh1oVOCdFGi+MRZGnGs/Ty/etfn6F1qmy+EQ7g6tcbAu1UVKQp9aDwxlbksrRsd9gvB4M+WhyEk8nU8ZHvKsWxJMkSVjcM0Poa7Y+CN4ss1JWORYktXBuEXNDq1pYUlJjEy0rh0bIS7HFhYeF8D6rutu+Ya8rJ6hkBi1TmnUk/jlRi9y5XZ76zlzQZ/e31pL/0hYVbZJVrQpTERayNSKlsTNy0iofC7JMWSQS7ebIVMGksIIIrWJCSk9WPqc7n2ZXyrj+gC+3F0TLDDc+/+5VW8zWxlBT223a1Hw0fTc+OeJHvImiyCf7Kz72f3A2HsUefzweniZ9xnvwEl7BW4hhCqfwAWYwBwk7uIYb+Bp8C36EEIa3rWHQzxzCnQr3fwIrvbE3</latexit><latexit sha1_base64="0KIrm1UmPFvNWJq2oVIpp9AG7xo=">AAACUXicdVBNb9NAEB2br+LykdIjlxURiEMVraOSuLdKXDgGibSVkiharydh1bW92h1XRJZ/S6/l93Dip3Bj7RpEEczp7Xsz+2ZearRyxPn3ILx3/8HDR3uPo/0nT589Hxy8OHNlZSXOZalLe5EKh1oVOCdFGi+MRZGnGs/Ty/etfn6F1qmy+EQ7g6tcbAu1UVKQp9aDwxlbksrRsd9gvB4M+WhyEk8nU8ZHvKsWxJMkSVjcM0Poa7Y+CN4ss1JWORYktXBuEXNDq1pYUlJjEy0rh0bIS7HFhYeF8D6rutu+Ya8rJ6hkBi1TmnUk/jlRi9y5XZ76zlzQZ/e31pL/0hYVbZJVrQpTERayNSKlsTNy0iofC7JMWSQS7ebIVMGksIIIrWJCSk9WPqc7n2ZXyrj+gC+3F0TLDDc+/+5VW8zWxlBT223a1Hw0fTc+OeJHvImiyCf7Kz72f3A2HsUefzweniZ9xnvwEl7BW4hhCqfwAWYwBwk7uIYb+Bp8C36EEIa3rWHQzxzCnQr3fwIrvbE3</latexit><latexit sha1_base64="0KIrm1UmPFvNWJq2oVIpp9AG7xo=">AAACUXicdVBNb9NAEB2br+LykdIjlxURiEMVraOSuLdKXDgGibSVkiharydh1bW92h1XRJZ/S6/l93Dip3Bj7RpEEczp7Xsz+2ZearRyxPn3ILx3/8HDR3uPo/0nT589Hxy8OHNlZSXOZalLe5EKh1oVOCdFGi+MRZGnGs/Ty/etfn6F1qmy+EQ7g6tcbAu1UVKQp9aDwxlbksrRsd9gvB4M+WhyEk8nU8ZHvKsWxJMkSVjcM0Poa7Y+CN4ss1JWORYktXBuEXNDq1pYUlJjEy0rh0bIS7HFhYeF8D6rutu+Ya8rJ6hkBi1TmnUk/jlRi9y5XZ76zlzQZ/e31pL/0hYVbZJVrQpTERayNSKlsTNy0iofC7JMWSQS7ebIVMGksIIIrWJCSk9WPqc7n2ZXyrj+gC+3F0TLDDc+/+5VW8zWxlBT223a1Hw0fTc+OeJHvImiyCf7Kz72f3A2HsUefzweniZ9xnvwEl7BW4hhCqfwAWYwBwk7uIYb+Bp8C36EEIa3rWHQzxzCnQr3fwIrvbE3</latexit><latexit sha1_base64="0KIrm1UmPFvNWJq2oVIpp9AG7xo=">AAACUXicdVBNb9NAEB2br+LykdIjlxURiEMVraOSuLdKXDgGibSVkiharydh1bW92h1XRJZ/S6/l93Dip3Bj7RpEEczp7Xsz+2ZearRyxPn3ILx3/8HDR3uPo/0nT589Hxy8OHNlZSXOZalLe5EKh1oVOCdFGi+MRZGnGs/Ty/etfn6F1qmy+EQ7g6tcbAu1UVKQp9aDwxlbksrRsd9gvB4M+WhyEk8nU8ZHvKsWxJMkSVjcM0Poa7Y+CN4ss1JWORYktXBuEXNDq1pYUlJjEy0rh0bIS7HFhYeF8D6rutu+Ya8rJ6hkBi1TmnUk/jlRi9y5XZ76zlzQZ/e31pL/0hYVbZJVrQpTERayNSKlsTNy0iofC7JMWSQS7ebIVMGksIIIrWJCSk9WPqc7n2ZXyrj+gC+3F0TLDDc+/+5VW8zWxlBT223a1Hw0fTc+OeJHvImiyCf7Kz72f3A2HsUefzweniZ9xnvwEl7BW4hhCqfwAWYwBwk7uIYb+Bp8C36EEIa3rWHQzxzCnQr3fwIrvbE3</latexit><latexit sha1_base64="0KIrm1UmPFvNWJq2oVIpp9AG7xo=">AAACUXicdVBNb9NAEB2br+LykdIjlxURiEMVraOSuLdKXDgGibSVkiharydh1bW92h1XRJZ/S6/l93Dip3Bj7RpEEczp7Xsz+2ZearRyxPn3ILx3/8HDR3uPo/0nT589Hxy8OHNlZSXOZalLe5EKh1oVOCdFGi+MRZGnGs/Ty/etfn6F1qmy+EQ7g6tcbAu1UVKQp9aDwxlbksrRsd9gvB4M+WhyEk8nU8ZHvKsWxJMkSVjcM0Poa7Y+CN4ss1JWORYktXBuEXNDq1pYUlJjEy0rh0bIS7HFhYeF8D6rutu+Ya8rJ6hkBi1TmnUk/jlRi9y5XZ76zlzQZ/e31pL/0hYVbZJVrQpTERayNSKlsTNy0iofC7JMWSQS7ebIVMGksIIIrWJCSk9WPqc7n2ZXyrj+gC+3F0TLDDc+/+5VW8zWxlBT223a1Hw0fTc+OeJHvImiyCf7Kz72f3A2HsUefzweniZ9xnvwEl7BW4hhCqfwAWYwBwk7uIYb+Bp8C36EEIa3rWHQzxzCnQr3fwIrvbE3</latexit>
P
<latexit sha1_base64="Z1NwoRr7u4VAIeviBl+vi0TJZOA=">AAACSHicdVBNT9wwEHUWSiG0fLRHLhYrEAe0coDuhhsSlx4XiQWkzWrlOLNbCyex7AkqivI3ei2/p/+g/4Jb1RtOCBIgmNPzezOeNy/WSlpk7K/XWVj8sPRxecVf/fR5bX1j88uFzQsjYCRylZurmFtQMoMRSlRwpQ3wNFZwGV+f1vrlDRgr8+wcbzVMUj7P5EwKjo6KopTjj3hWDqvp4XSjy3r942DQH1DWY03VIOiHYUiDlumStobTTW83SnJRpJChUNzaccA0TkpuUAoFlR8VFjQX13wOYwcznoKdlI3piu4UlmNONRgqFW1IeD5R8tTa2zR2nbVJ+1qrybe0cYGzcFLKTBcImagXoVTQLLLCSJcG0EQaQOS1c6Ayo4IbjghGUi6EIwsXz4tPkxupbXvAz8cL/CiBmYu9eZUGkqnWWJVmHlcl6w2+HRzvs31W+b7vkn2Kj74PLg56gcNnR92TsM14mWyRbbJHAjIgJ+Q7GZIREUSTX+Q3ufP+ePfeP+//Y2vHa2e+khfV6TwAvLuxGA==</latexit><latexit sha1_base64="Z1NwoRr7u4VAIeviBl+vi0TJZOA=">AAACSHicdVBNT9wwEHUWSiG0fLRHLhYrEAe0coDuhhsSlx4XiQWkzWrlOLNbCyex7AkqivI3ei2/p/+g/4Jb1RtOCBIgmNPzezOeNy/WSlpk7K/XWVj8sPRxecVf/fR5bX1j88uFzQsjYCRylZurmFtQMoMRSlRwpQ3wNFZwGV+f1vrlDRgr8+wcbzVMUj7P5EwKjo6KopTjj3hWDqvp4XSjy3r942DQH1DWY03VIOiHYUiDlumStobTTW83SnJRpJChUNzaccA0TkpuUAoFlR8VFjQX13wOYwcznoKdlI3piu4UlmNONRgqFW1IeD5R8tTa2zR2nbVJ+1qrybe0cYGzcFLKTBcImagXoVTQLLLCSJcG0EQaQOS1c6Ayo4IbjghGUi6EIwsXz4tPkxupbXvAz8cL/CiBmYu9eZUGkqnWWJVmHlcl6w2+HRzvs31W+b7vkn2Kj74PLg56gcNnR92TsM14mWyRbbJHAjIgJ+Q7GZIREUSTX+Q3ufP+ePfeP+//Y2vHa2e+khfV6TwAvLuxGA==</latexit><latexit sha1_base64="Z1NwoRr7u4VAIeviBl+vi0TJZOA=">AAACSHicdVBNT9wwEHUWSiG0fLRHLhYrEAe0coDuhhsSlx4XiQWkzWrlOLNbCyex7AkqivI3ei2/p/+g/4Jb1RtOCBIgmNPzezOeNy/WSlpk7K/XWVj8sPRxecVf/fR5bX1j88uFzQsjYCRylZurmFtQMoMRSlRwpQ3wNFZwGV+f1vrlDRgr8+wcbzVMUj7P5EwKjo6KopTjj3hWDqvp4XSjy3r942DQH1DWY03VIOiHYUiDlumStobTTW83SnJRpJChUNzaccA0TkpuUAoFlR8VFjQX13wOYwcznoKdlI3piu4UlmNONRgqFW1IeD5R8tTa2zR2nbVJ+1qrybe0cYGzcFLKTBcImagXoVTQLLLCSJcG0EQaQOS1c6Ayo4IbjghGUi6EIwsXz4tPkxupbXvAz8cL/CiBmYu9eZUGkqnWWJVmHlcl6w2+HRzvs31W+b7vkn2Kj74PLg56gcNnR92TsM14mWyRbbJHAjIgJ+Q7GZIREUSTX+Q3ufP+ePfeP+//Y2vHa2e+khfV6TwAvLuxGA==</latexit><latexit sha1_base64="Z1NwoRr7u4VAIeviBl+vi0TJZOA=">AAACSHicdVBNT9wwEHUWSiG0fLRHLhYrEAe0coDuhhsSlx4XiQWkzWrlOLNbCyex7AkqivI3ei2/p/+g/4Jb1RtOCBIgmNPzezOeNy/WSlpk7K/XWVj8sPRxecVf/fR5bX1j88uFzQsjYCRylZurmFtQMoMRSlRwpQ3wNFZwGV+f1vrlDRgr8+wcbzVMUj7P5EwKjo6KopTjj3hWDqvp4XSjy3r942DQH1DWY03VIOiHYUiDlumStobTTW83SnJRpJChUNzaccA0TkpuUAoFlR8VFjQX13wOYwcznoKdlI3piu4UlmNONRgqFW1IeD5R8tTa2zR2nbVJ+1qrybe0cYGzcFLKTBcImagXoVTQLLLCSJcG0EQaQOS1c6Ayo4IbjghGUi6EIwsXz4tPkxupbXvAz8cL/CiBmYu9eZUGkqnWWJVmHlcl6w2+HRzvs31W+b7vkn2Kj74PLg56gcNnR92TsM14mWyRbbJHAjIgJ+Q7GZIREUSTX+Q3ufP+ePfeP+//Y2vHa2e+khfV6TwAvLuxGA==</latexit>3
1
<latexit sha1_base64="vyFiN94DqxZ+wTmEZXxT582gI6g=">AAACPnicdVBNT9wwEHUoLZB+sXDsxeqqVQ+rlYPKJtyQuHCkqMsi7UYrx5lsLZzEsieIVZR/wJX+Hv4Gf4Ab4sqRJKRSqeg7Pb8345l5kVbSImM3zsqr1ddv1tY33Lfv3n/4uNnbOrF5YQSMRa5ycxpxC0pmMEaJCk61AZ5GCibR2UHjT87BWJlnP3GpIUz5IpOJFBxr6dhz55t9Nhztef7Ip2zIWjTEGwVBQL1O6ZMOR/Oe83UW56JIIUOhuLVTj2kMS25QCgWVOyssaC7O+AKmNc14CjYs21Ur+qWwHHOqwVCpaCvC3x0lT61dplFdmXL8Zf/1GvElb1pgEoSlzHSBkIlmEEoF7SArjKwzABpLA4i82RyozKjghiOCkZQLUYtFHcqzT+NzqW13wMXTBe4shqQOu32VBuK51liVZhFVJRv6uzt7AzZgles2yf6Jj/6fnOwMvZr/+N7fD7qM18kn8pl8Ix7xyT45JEdkTARJyCW5Ir+da+fWuXPun0pXnK5nmzyD8/AIAMCtRg==</latexit><latexit sha1_base64="vyFiN94DqxZ+wTmEZXxT582gI6g=">AAACPnicdVBNT9wwEHUoLZB+sXDsxeqqVQ+rlYPKJtyQuHCkqMsi7UYrx5lsLZzEsieIVZR/wJX+Hv4Gf4Ab4sqRJKRSqeg7Pb8345l5kVbSImM3zsqr1ddv1tY33Lfv3n/4uNnbOrF5YQSMRa5ycxpxC0pmMEaJCk61AZ5GCibR2UHjT87BWJlnP3GpIUz5IpOJFBxr6dhz55t9Nhztef7Ip2zIWjTEGwVBQL1O6ZMOR/Oe83UW56JIIUOhuLVTj2kMS25QCgWVOyssaC7O+AKmNc14CjYs21Ur+qWwHHOqwVCpaCvC3x0lT61dplFdmXL8Zf/1GvElb1pgEoSlzHSBkIlmEEoF7SArjKwzABpLA4i82RyozKjghiOCkZQLUYtFHcqzT+NzqW13wMXTBe4shqQOu32VBuK51liVZhFVJRv6uzt7AzZgles2yf6Jj/6fnOwMvZr/+N7fD7qM18kn8pl8Ix7xyT45JEdkTARJyCW5Ir+da+fWuXPun0pXnK5nmzyD8/AIAMCtRg==</latexit><latexit sha1_base64="vyFiN94DqxZ+wTmEZXxT582gI6g=">AAACPnicdVBNT9wwEHUoLZB+sXDsxeqqVQ+rlYPKJtyQuHCkqMsi7UYrx5lsLZzEsieIVZR/wJX+Hv4Gf4Ab4sqRJKRSqeg7Pb8345l5kVbSImM3zsqr1ddv1tY33Lfv3n/4uNnbOrF5YQSMRa5ycxpxC0pmMEaJCk61AZ5GCibR2UHjT87BWJlnP3GpIUz5IpOJFBxr6dhz55t9Nhztef7Ip2zIWjTEGwVBQL1O6ZMOR/Oe83UW56JIIUOhuLVTj2kMS25QCgWVOyssaC7O+AKmNc14CjYs21Ur+qWwHHOqwVCpaCvC3x0lT61dplFdmXL8Zf/1GvElb1pgEoSlzHSBkIlmEEoF7SArjKwzABpLA4i82RyozKjghiOCkZQLUYtFHcqzT+NzqW13wMXTBe4shqQOu32VBuK51liVZhFVJRv6uzt7AzZgles2yf6Jj/6fnOwMvZr/+N7fD7qM18kn8pl8Ix7xyT45JEdkTARJyCW5Ir+da+fWuXPun0pXnK5nmzyD8/AIAMCtRg==</latexit><latexit sha1_base64="vyFiN94DqxZ+wTmEZXxT582gI6g=">AAACPnicdVBNT9wwEHUoLZB+sXDsxeqqVQ+rlYPKJtyQuHCkqMsi7UYrx5lsLZzEsieIVZR/wJX+Hv4Gf4Ab4sqRJKRSqeg7Pb8345l5kVbSImM3zsqr1ddv1tY33Lfv3n/4uNnbOrF5YQSMRa5ycxpxC0pmMEaJCk61AZ5GCibR2UHjT87BWJlnP3GpIUz5IpOJFBxr6dhz55t9Nhztef7Ip2zIWjTEGwVBQL1O6ZMOR/Oe83UW56JIIUOhuLVTj2kMS25QCgWVOyssaC7O+AKmNc14CjYs21Ur+qWwHHOqwVCpaCvC3x0lT61dplFdmXL8Zf/1GvElb1pgEoSlzHSBkIlmEEoF7SArjKwzABpLA4i82RyozKjghiOCkZQLUYtFHcqzT+NzqW13wMXTBe4shqQOu32VBuK51liVZhFVJRv6uzt7AzZgles2yf6Jj/6fnOwMvZr/+N7fD7qM18kn8pl8Ix7xyT45JEdkTARJyCW5Ir+da+fWuXPun0pXnK5nmzyD8/AIAMCtRg==</latexit>
F
u
ll
yC
on
n
ec
te
d
<latexit sha1_base64="O5GfaDlMHEyHC2goCJDjjxRY6sA=">AAACVnicdVFda9swFJW99cvrR7q+DPYiFlb6UIJctsR9KxTKHltY2kISgizfZCKyLKTr0mC8X7PX9ve0f6bUdj1Yx3aejs69V1fnKDZKOmTs0fPfvF1ZXVvfCN5tbm3vdHbfX7ostwKGIlOZvY65AyU1DFGigmtjgaexgqt4cVrXr27AOpnp77g0MEn5XMuZFBwradr5MEa4RZsWZ7lSy9NMaxAISRlMO13W6x+Hg/6Ash5rUJOwH0URDVulS1qcT3e9/XGSiTwFjUJx50YhMzgpuEUpFJTBOHdguFjwOYwqqnkKblI0Fkr6OXccM2rAUqloI8KfEwVPnVumcdWZcvzh/q7V4r9qoxxn0aSQ2uQIWtSLUCpoFjlhZZUN0ERaQOT1y4FKTQW3HBGspFyISsyrsF5dmtxI41oDty8OgnECs+oTmlNhIZkag2Vh53FZsN7g69HxITtkZRDUyf6Oj/6fXB71wopffOmeRG3G6+Qj+UQOSEgG5IR8I+dkSAT5SX6RO3LvPXhP/oq/9tLqe+3MHnkFv/MMRbi0vA==</latexit><latexit sha1_base64="O5GfaDlMHEyHC2goCJDjjxRY6sA=">AAACVnicdVFda9swFJW99cvrR7q+DPYiFlb6UIJctsR9KxTKHltY2kISgizfZCKyLKTr0mC8X7PX9ve0f6bUdj1Yx3aejs69V1fnKDZKOmTs0fPfvF1ZXVvfCN5tbm3vdHbfX7ostwKGIlOZvY65AyU1DFGigmtjgaexgqt4cVrXr27AOpnp77g0MEn5XMuZFBwradr5MEa4RZsWZ7lSy9NMaxAISRlMO13W6x+Hg/6Ash5rUJOwH0URDVulS1qcT3e9/XGSiTwFjUJx50YhMzgpuEUpFJTBOHdguFjwOYwqqnkKblI0Fkr6OXccM2rAUqloI8KfEwVPnVumcdWZcvzh/q7V4r9qoxxn0aSQ2uQIWtSLUCpoFjlhZZUN0ERaQOT1y4FKTQW3HBGspFyISsyrsF5dmtxI41oDty8OgnECs+oTmlNhIZkag2Vh53FZsN7g69HxITtkZRDUyf6Oj/6fXB71wopffOmeRG3G6+Qj+UQOSEgG5IR8I+dkSAT5SX6RO3LvPXhP/oq/9tLqe+3MHnkFv/MMRbi0vA==</latexit><latexit sha1_base64="O5GfaDlMHEyHC2goCJDjjxRY6sA=">AAACVnicdVFda9swFJW99cvrR7q+DPYiFlb6UIJctsR9KxTKHltY2kISgizfZCKyLKTr0mC8X7PX9ve0f6bUdj1Yx3aejs69V1fnKDZKOmTs0fPfvF1ZXVvfCN5tbm3vdHbfX7ostwKGIlOZvY65AyU1DFGigmtjgaexgqt4cVrXr27AOpnp77g0MEn5XMuZFBwradr5MEa4RZsWZ7lSy9NMaxAISRlMO13W6x+Hg/6Ash5rUJOwH0URDVulS1qcT3e9/XGSiTwFjUJx50YhMzgpuEUpFJTBOHdguFjwOYwqqnkKblI0Fkr6OXccM2rAUqloI8KfEwVPnVumcdWZcvzh/q7V4r9qoxxn0aSQ2uQIWtSLUCpoFjlhZZUN0ERaQOT1y4FKTQW3HBGspFyISsyrsF5dmtxI41oDty8OgnECs+oTmlNhIZkag2Vh53FZsN7g69HxITtkZRDUyf6Oj/6fXB71wopffOmeRG3G6+Qj+UQOSEgG5IR8I+dkSAT5SX6RO3LvPXhP/oq/9tLqe+3MHnkFv/MMRbi0vA==</latexit><latexit sha1_base64="O5GfaDlMHEyHC2goCJDjjxRY6sA=">AAACVnicdVFda9swFJW99cvrR7q+DPYiFlb6UIJctsR9KxTKHltY2kISgizfZCKyLKTr0mC8X7PX9ve0f6bUdj1Yx3aejs69V1fnKDZKOmTs0fPfvF1ZXVvfCN5tbm3vdHbfX7ostwKGIlOZvY65AyU1DFGigmtjgaexgqt4cVrXr27AOpnp77g0MEn5XMuZFBwradr5MEa4RZsWZ7lSy9NMaxAISRlMO13W6x+Hg/6Ash5rUJOwH0URDVulS1qcT3e9/XGSiTwFjUJx50YhMzgpuEUpFJTBOHdguFjwOYwqqnkKblI0Fkr6OXccM2rAUqloI8KfEwVPnVumcdWZcvzh/q7V4r9qoxxn0aSQ2uQIWtSLUCpoFjlhZZUN0ERaQOT1y4FKTQW3HBGspFyISsyrsF5dmtxI41oDty8OgnECs+oTmlNhIZkag2Vh53FZsN7g69HxITtkZRDUyf6Oj/6fXB71wopffOmeRG3G6+Qj+UQOSEgG5IR8I+dkSAT5SX6RO3LvPXhP/oq/9tLqe+3MHnkFv/MMRbi0vA==</latexit>
P
ai
r-w
is
eC
or
rP
o
ol
in
g
<latexit sha1_base64="Ebhek3+VgxEsh4bY59bGfWJ5IKI=">AAACXHicdVFNT9swGHYDbBBgFCZxmTRZq0A7sMpBWxtuSFx2LBIFpLaqHOdtZ+HElv2GgaLc9mt23f7MLvstc0KQYNre0+Pn/XweJ0ZJh4z96gQrq2svXq5vhJtb2692urt7l04XVsBYaKXtdcIdKJnDGCUquDYWeJYouEpuzur81S1YJ3V+gfcGZhlf5nIhBUdPzbtvpwh3aLNyxKX98FU6ONPWjrT2A5dVOO/2WH9wEg0HQ8r6rIkaRIM4jmnUMj3Sxmi+2zmcploUGeQoFHduEjGDs5JblEJBFU4LB4aLG76EiYc5z8DNykZIRQ8Kx1FTA5ZKRRsSnnaUPHPuPkt8Zcbxi/s7V5P/yk0KXMSzUuamQMhFvQilgmaRE1Z6h4Cm0gIiry8HKnMquOWIYCXlQniy8JY9G5reSuNaAXcPCsJpCgv/Fc2rtJDOjcGqtMukKll/+On45IgdsSoMa2cf7aP/B5fH/cjj84+907j1eJ28Ie/IexKRITkln8mIjIkg38h38oP87PwOVoPNYPuhNOi0Pa/Jswj2/wBoj7Y5</latexit><latexit sha1_base64="Ebhek3+VgxEsh4bY59bGfWJ5IKI=">AAACXHicdVFNT9swGHYDbBBgFCZxmTRZq0A7sMpBWxtuSFx2LBIFpLaqHOdtZ+HElv2GgaLc9mt23f7MLvstc0KQYNre0+Pn/XweJ0ZJh4z96gQrq2svXq5vhJtb2692urt7l04XVsBYaKXtdcIdKJnDGCUquDYWeJYouEpuzur81S1YJ3V+gfcGZhlf5nIhBUdPzbtvpwh3aLNyxKX98FU6ONPWjrT2A5dVOO/2WH9wEg0HQ8r6rIkaRIM4jmnUMj3Sxmi+2zmcploUGeQoFHduEjGDs5JblEJBFU4LB4aLG76EiYc5z8DNykZIRQ8Kx1FTA5ZKRRsSnnaUPHPuPkt8Zcbxi/s7V5P/yk0KXMSzUuamQMhFvQilgmaRE1Z6h4Cm0gIiry8HKnMquOWIYCXlQniy8JY9G5reSuNaAXcPCsJpCgv/Fc2rtJDOjcGqtMukKll/+On45IgdsSoMa2cf7aP/B5fH/cjj84+907j1eJ28Ie/IexKRITkln8mIjIkg38h38oP87PwOVoPNYPuhNOi0Pa/Jswj2/wBoj7Y5</latexit><latexit sha1_base64="Ebhek3+VgxEsh4bY59bGfWJ5IKI=">AAACXHicdVFNT9swGHYDbBBgFCZxmTRZq0A7sMpBWxtuSFx2LBIFpLaqHOdtZ+HElv2GgaLc9mt23f7MLvstc0KQYNre0+Pn/XweJ0ZJh4z96gQrq2svXq5vhJtb2692urt7l04XVsBYaKXtdcIdKJnDGCUquDYWeJYouEpuzur81S1YJ3V+gfcGZhlf5nIhBUdPzbtvpwh3aLNyxKX98FU6ONPWjrT2A5dVOO/2WH9wEg0HQ8r6rIkaRIM4jmnUMj3Sxmi+2zmcploUGeQoFHduEjGDs5JblEJBFU4LB4aLG76EiYc5z8DNykZIRQ8Kx1FTA5ZKRRsSnnaUPHPuPkt8Zcbxi/s7V5P/yk0KXMSzUuamQMhFvQilgmaRE1Z6h4Cm0gIiry8HKnMquOWIYCXlQniy8JY9G5reSuNaAXcPCsJpCgv/Fc2rtJDOjcGqtMukKll/+On45IgdsSoMa2cf7aP/B5fH/cjj84+907j1eJ28Ie/IexKRITkln8mIjIkg38h38oP87PwOVoPNYPuhNOi0Pa/Jswj2/wBoj7Y5</latexit><latexit sha1_base64="Ebhek3+VgxEsh4bY59bGfWJ5IKI=">AAACXHicdVFNT9swGHYDbBBgFCZxmTRZq0A7sMpBWxtuSFx2LBIFpLaqHOdtZ+HElv2GgaLc9mt23f7MLvstc0KQYNre0+Pn/XweJ0ZJh4z96gQrq2svXq5vhJtb2692urt7l04XVsBYaKXtdcIdKJnDGCUquDYWeJYouEpuzur81S1YJ3V+gfcGZhlf5nIhBUdPzbtvpwh3aLNyxKX98FU6ONPWjrT2A5dVOO/2WH9wEg0HQ8r6rIkaRIM4jmnUMj3Sxmi+2zmcploUGeQoFHduEjGDs5JblEJBFU4LB4aLG76EiYc5z8DNykZIRQ8Kx1FTA5ZKRRsSnnaUPHPuPkt8Zcbxi/s7V5P/yk0KXMSzUuamQMhFvQilgmaRE1Z6h4Cm0gIiry8HKnMquOWIYCXlQniy8JY9G5reSuNaAXcPCsJpCgv/Fc2rtJDOjcGqtMukKll/+On45IgdsSoMa2cf7aP/B5fH/cjj84+907j1eJ28Ie/IexKRITkln8mIjIkg38h38oP87PwOVoPNYPuhNOi0Pa/Jswj2/wBoj7Y5</latexit>