Measurement optimization

Author: PennyLane dev team. Posted: 18 Jan 2021. Last updated: 8 Apr 2021.

The variational quantum eigensolver (VQE) is the OG variational quantum algorithm. Harnessing near-term quantum hardware to solve for the electronic structure of molecules, VQE is the algorithm that sparked the variational circuit craze of the last 5 years, and holds great promise for showcasing a quantum advantage on near-term quantum hardware. It has also inspired other quantum algorithms such as the Quantum Approximate Optimization Algorithm (QAOA).

To scale VQE beyond the regime of classical computation, however, we need to solve for the ground state of increasingly larger molecules. A consequence is that the number of measurements we need to make on the quantum hardware also grows polynomially—a huge bottleneck, especially when quantum hardware access is limited and expensive.

To mitigate this ‘measurement problem’, a plethora of recent research dropped over the course of 2019 and 2020 [2] [3] [4] [5] [6] , exploring potential strategies to minimize the number of measurements required. In fact, by grouping commuting terms of the Hamiltonian, we can significantly reduce the number of measurements needed—in some cases, reducing the number of measurements by up to 90%!

../_images/grouping.png

In this demonstration, we revisit the VQE algorithm, see first-hand how the required number of measurements scales as molecule size increases, and finally use these measurement optimization strategies to minimize the number of measurements we need to make. These techniques are valuable beyond just VQE, allowing you to add measurement optimization to your toolkit of techniques to perform variational algorithms more efficiently.

Revisiting VQE

The study of variational quantum algorithms was spearheaded by the introduction of the variational quantum eigensolver (VQE) algorithm in 2014 [1]. While classical variational techniques have been known for decades to estimate the ground state energy of a molecule, VQE allowed this variational technique to be applied using quantum computers. Since then, the field of variational quantum algorithms has evolved significantly, with larger and more complex models being proposed (such as quantum neural networks, QGANs, and variational classifiers). However, quantum chemistry remains one of the flagship use-cases for variational quantum algorithms, and VQE the standard-bearer.

Part of the appeal of VQE lies within its simplicity. A circuit ansatz \(U(\theta)\) is chosen (typically the Unitary Coupled-Cluster Singles and Doubles (UCCSD()) ansatz), and the qubit representation of the molecular Hamiltonian is computed:

\[H = \sum_i c_i h_i,\]

where \(h_i\) are the terms of the Hamiltonian written as a tensor product of Pauli operators or the identity acting on wire \(n\), \(P_n \in \{I, \sigma_x, \sigma_y, \sigma_z\}\):

\[h_i = \bigotimes_{n=0}^{N-1} P_n.\]

(The \(h_i\) product of Pauli terms is often referred to as a ‘Pauli word’ in the literature.) The cost function of the VQE is then simply the expectation value of this Hamiltonian on the state obtained after running the variational quantum circuit:

\[\text{cost}(\theta) = \langle 0 | U(\theta)^\dagger H U(\theta) | 0 \rangle.\]

By using a classical optimizer to minimize this quantity, we can estimate the ground state energy of the Hamiltonian \(H\):

\[H U(\theta_{min}) |0\rangle = E_{min} U(\theta_{min}) |0\rangle.\]

In practice, when we are using quantum hardware to compute these expectation values we expand out the Hamiltonian as its summation, resulting in separate expectation values that need to be calculated for each term:

\[\text{cost}(\theta) = \langle 0 | U(\theta)^\dagger \left(\sum_i c_i h_i\right) U(\theta) | 0 \rangle = \sum_i c_i \langle 0 | U(\theta)^\dagger h_i U(\theta) | 0 \rangle.\]

Note

How do we compute the qubit representation of the molecular Hamiltonian? This is a more complicated story that involves applying a self-consistent field method (such as Hartree-Fock), and then performing a fermionic-to-qubit mapping such as the Jordan-Wigner or Bravyi-Kitaev transformations.

For more details on this process, check out the Quantum Chemistry with PennyLane tutorial.

The measurement problem

For small molecules, the VQE algorithm scales and performs exceedingly well. For example, for the Hydrogen molecule \(\text{H}_2\), the final Hamiltonian in its qubit representation has 15 terms that need to be measured. Let’s generate this Hamiltonian from the electronic structure file h2.xyz, using PennyLane QChem to verify the number of terms. In this tutorial, we use the read_structure() function to read the geometry of the molecule from an external file.

import functools
from pennylane import numpy as np
import pennylane as qml

np.random.seed(42)

symbols, coordinates = qml.qchem.read_structure("h2.xyz")
H, num_qubits = qml.qchem.molecular_hamiltonian(symbols, coordinates)

print("Required number of qubits:", num_qubits)
print(H)

Out:

Required number of qubits: 4
  (-0.24274280513140462) [Z2]
+ (-0.24274280513140462) [Z3]
+ (-0.04207897647782276) [I0]
+ (0.1777128746513994) [Z1]
+ (0.17771287465139946) [Z0]
+ (0.12293305056183798) [Z0 Z2]
+ (0.12293305056183798) [Z1 Z3]
+ (0.1676831945771896) [Z0 Z3]
+ (0.1676831945771896) [Z1 Z2]
+ (0.17059738328801052) [Z0 Z1]
+ (0.17627640804319591) [Z2 Z3]
+ (-0.04475014401535161) [Y0 Y1 X2 X3]
+ (-0.04475014401535161) [X0 X1 Y2 Y3]
+ (0.04475014401535161) [Y0 X1 X2 Y3]
+ (0.04475014401535161) [X0 Y1 Y2 X3]

Here, we can see that the Hamiltonian involves 15 terms, so we expect to compute 15 expectation values on hardware. Let’s generate the cost function to check this.

# Create a 4 qubit simulator
dev = qml.device("default.qubit", wires=num_qubits)

# number of electrons
electrons = 2

# Define the Hartree-Fock initial state for our variational circuit
initial_state = qml.qchem.hf_state(electrons, num_qubits)

# Construct the UCCSD ansatz
singles, doubles = qml.qchem.excitations(electrons, num_qubits)
s_wires, d_wires = qml.qchem.excitations_to_wires(singles, doubles)
ansatz = functools.partial(
    qml.templates.UCCSD, init_state=initial_state, s_wires=s_wires, d_wires=d_wires
)

# generate the cost function
cost = qml.ExpvalCost(ansatz, H, dev)

If we evaluate this cost function, we can see that it corresponds to 15 different QNodes under the hood—one per expectation value:

params = np.random.normal(0, np.pi, len(singles) + len(doubles))
print("Cost function value:", cost(params))
print("Number of quantum evaluations:", dev.num_executions)

Out:

Cost function value: -0.53862188253234
Number of quantum evaluations: 15

How about a larger molecule? Let’s try the water molecule h2o.xyz:

symbols, coordinates = qml.qchem.read_structure("h2o.xyz")
H, num_qubits = qml.qchem.molecular_hamiltonian(symbols, coordinates)

print("Required number of qubits:", num_qubits)
print("Number of Hamiltonian terms/required measurements:", len(H.ops))

print("\n", H)

Out:

Required number of qubits: 14
Number of Hamiltonian terms/required measurements: 2050

   (-46.46390678868895) [I0]
+ (0.7829661725950205) [Z10]
+ (0.7829661725950205) [Z11]
+ (0.8084581961720481) [Z12]
+ (0.8084581961720482) [Z13]
+ (1.2034402289145643) [Z4]
+ (1.2034402289145643) [Z5]
+ (1.3096862988615405) [Z7]
+ (1.309686298861541) [Z6]
+ (1.3693525634718176) [Z8]
+ (1.369352563471818) [Z9]
+ (1.653894222683172) [Z2]
+ (1.6538942226831723) [Z3]
+ (12.412630742111773) [Z0]
+ (12.412630742111773) [Z1]
+ (-8.194261372535614e-06) [Y10 Y12]
+ (-8.194261372535614e-06) [X10 X12]
+ (-1.8540608580454192e-06) [Y5 Y7]
+ (-1.8540608580454192e-06) [X5 X7]
+ (-7.764994119078909e-07) [Y3 Y5]
+ (-7.764994119078909e-07) [X3 X5]
+ (-5.929765816317425e-07) [Y4 Y6]
+ (-5.929765816317425e-07) [X4 X6]
+ (1.602116740645332e-06) [Y2 Y4]
+ (1.602116740645332e-06) [X2 X4]
+ (7.954413176461742e-06) [Y11 Y13]
+ (7.954413176461742e-06) [X11 X13]
+ (0.0032769719312316726) [Y1 Y3]
+ (0.0032769719312316726) [X1 X3]
+ (0.10433064780651397) [Y0 Y2]
+ (0.10433064780651397) [X0 X2]
+ (0.11270386920332229) [Z10 Z12]
+ (0.11270386920332229) [Z11 Z13]
+ (0.11383573679388656) [Z4 Z12]
+ (0.11383573679388656) [Z5 Z13]
+ (0.11952438964682666) [Z6 Z10]
+ (0.11952438964682666) [Z7 Z11]
+ (0.12489990917237624) [Z4 Z10]
+ (0.12489990917237624) [Z5 Z11]
+ (0.12495807739503219) [Z2 Z4]
+ (0.12495807739503219) [Z3 Z5]
+ (0.12799502492468418) [Z2 Z10]
+ (0.12799502492468418) [Z3 Z11]
+ (0.13401715261963681) [Z6 Z12]
+ (0.13401715261963681) [Z7 Z13]
+ (0.1370119167404074) [Z4 Z6]
+ (0.1370119167404074) [Z5 Z7]
+ (0.13734953064261324) [Z6 Z11]
+ (0.13734953064261324) [Z7 Z10]
+ (0.13739104762683202) [Z2 Z6]
+ (0.13739104762683202) [Z3 Z7]
+ (0.1376687264585259) [Z8 Z10]
+ (0.1376687264585259) [Z9 Z11]
+ (0.14011289865354798) [Z2 Z12]
+ (0.14011289865354798) [Z3 Z13]
+ (0.1413890529194281) [Z10 Z13]
+ (0.1413890529194281) [Z11 Z12]
+ (0.1425799771248577) [Z4 Z11]
+ (0.1425799771248577) [Z5 Z10]
+ (0.14722943218766188) [Z8 Z11]
+ (0.14722943218766188) [Z9 Z10]
+ (0.14899430575065542) [Z4 Z7]
+ (0.14899430575065542) [Z5 Z6]
+ (0.14926355147388917) [Z10 Z11]
+ (0.14960702684445307) [Z4 Z8]
+ (0.14960702684445307) [Z5 Z9]
+ (0.14973486803496916) [Z8 Z12]
+ (0.14973486803496916) [Z9 Z13]
+ (0.15071408121008287) [Z2 Z8]
+ (0.15071408121008287) [Z3 Z9]
+ (0.15138327161428822) [Z6 Z13]
+ (0.15138327161428822) [Z7 Z12]
+ (0.1521504070886905) [Z4 Z13]
+ (0.1521504070886905) [Z5 Z12]
+ (0.1533796824331416) [Z2 Z11]
+ (0.1533796824331416) [Z3 Z10]
+ (0.15435748657223616) [Z12 Z13]
+ (0.15569010671752442) [Z2 Z13]
+ (0.15569010671752442) [Z3 Z12]
+ (0.15582269051553102) [Z8 Z13]
+ (0.15582269051553102) [Z9 Z12]
+ (0.15676396176431004) [Z4 Z9]
+ (0.15676396176431004) [Z5 Z8]
+ (0.1575531479798568) [Z4 Z5]
+ (0.16079764534838567) [Z2 Z5]
+ (0.16079764534838567) [Z3 Z4]
+ (0.16756653265461247) [Z6 Z8]
+ (0.16756653265461247) [Z7 Z9]
+ (0.16853486561579917) [Z2 Z7]
+ (0.16853486561579917) [Z3 Z6]
+ (0.18143991440303853) [Z6 Z9]
+ (0.18143991440303853) [Z7 Z8]
+ (0.18189085790751347) [Z2 Z3]
+ (0.18690820476912548) [Z2 Z9]
+ (0.18690820476912548) [Z3 Z8]
+ (0.19299723935364269) [Z0 Z10]
+ (0.19299723935364269) [Z1 Z11]
+ (0.19392534613270143) [Z6 Z7]
+ (0.19661770890342148) [Z0 Z4]
+ (0.19661770890342148) [Z1 Z5]
+ (0.1993635453736083) [Z0 Z5]
+ (0.1993635453736083) [Z1 Z4]
+ (0.2007286646044179) [Z0 Z11]
+ (0.2007286646044179) [Z1 Z10]
+ (0.21102659849791494) [Z0 Z12]
+ (0.21102659849791494) [Z1 Z13]
+ (0.2163103749863179) [Z0 Z13]
+ (0.2163103749863179) [Z1 Z12]
+ (0.2200397733437609) [Z8 Z9]
+ (0.236710807838304) [Z0 Z2]
+ (0.236710807838304) [Z1 Z3]
+ (0.2416466393601715) [Z0 Z6]
+ (0.2416466393601715) [Z1 Z7]
+ (0.24853483371314206) [Z0 Z7]
+ (0.24853483371314206) [Z1 Z6]
+ (0.25129445674591666) [Z0 Z3]
+ (0.25129445674591666) [Z1 Z2]
+ (0.27232518306605674) [Z0 Z8]
+ (0.27232518306605674) [Z1 Z9]
+ (0.278834544267234) [Z0 Z9]
+ (0.278834544267234) [Z1 Z8]
+ (1.1861763734860493) [Z0 Z1]
+ (-1.2260484989736696e-05) [Y4 Z5 Y6]
+ (-1.2260484989736696e-05) [X4 Z5 X6]
+ (-1.2260484989736696e-05) [Y5 Z6 Y7]
+ (-1.2260484989736696e-05) [X5 Z6 X7]
+ (-1.0722312157990176e-05) [Y11 Z12 Y13]
+ (-1.0722312157990176e-05) [X11 Z12 X13]
+ (-1.0722312157990175e-05) [Y10 Z11 Y12]
+ (-1.0722312157990175e-05) [X10 Z11 X12]
+ (-3.887051673201906e-06) [Y3 Z4 Y5]
+ (-3.887051673201906e-06) [X3 Z4 X5]
+ (-3.887051673201904e-06) [Y2 Z3 Y4]
+ (-3.887051673201904e-06) [X2 Z3 X4]
+ (0.12507032579771918) [Y1 Z2 Y3]
+ (0.12507032579771918) [X1 Z2 X3]
+ (0.12507032579771923) [Y0 Z1 Y2]
+ (0.12507032579771923) [X0 Z1 X2]
+ (-0.0383146702948039) [Y4 Y5 X12 X13]
+ (-0.0383146702948039) [X4 X5 Y12 Y13]
+ (-0.036194123559042606) [Y2 Y3 X8 X9]
+ (-0.036194123559042606) [X2 X3 Y8 Y9]
+ (-0.035839567953353496) [Y2 Y3 X4 X5]
+ (-0.035839567953353496) [X2 X3 Y4 Y5]
+ (-0.03114381798896714) [Y2 Y3 X6 X7]
+ (-0.03114381798896714) [X2 X3 Y6 Y7]
+ (-0.028685183716105792) [Y10 Y11 X12 X13]
+ (-0.028685183716105792) [X10 X11 Y12 Y13]
+ (-0.025996177598021194) [Y3 Z4 Z5 Y7]
+ (-0.025996177598021194) [X3 Z4 Z5 X7]
+ (-0.025384657508457413) [Y2 Y3 X10 X11]
+ (-0.025384657508457413) [X2 X3 Y10 Y11]
+ (-0.019028242443847234) [Y3 Y4 X11 X12]
+ (-0.019028242443847234) [X3 X4 Y11 Y12]
+ (-0.017825140995786578) [Y6 Y7 X10 X11]
+ (-0.017825140995786578) [X6 X7 Y10 Y11]
+ (-0.017680067952481473) [Y4 Y5 X10 X11]
+ (-0.017680067952481473) [X4 X5 Y10 Y11]
+ (-0.01736611899465143) [Y6 Y7 X12 X13]
+ (-0.01736611899465143) [X6 X7 Y12 Y13]
+ (-0.015577208063976469) [Y2 Y3 X12 X13]
+ (-0.015577208063976469) [X2 X3 Y12 Y13]
+ (-0.01458364890761264) [Y0 Y1 X2 X3]
+ (-0.01458364890761264) [X0 X1 Y2 Y3]
+ (-0.013873381748426086) [Y6 Y7 X8 X9]
+ (-0.013873381748426086) [X6 X7 Y8 Y9]
+ (-0.011982389010247991) [Y4 Y5 X6 X7]
+ (-0.011982389010247991) [X4 X5 Y6 Y7]
+ (-0.011285190200840924) [Y5 X6 X11 Y12]
+ (-0.011285190200840924) [X5 Y6 Y11 X12]
+ (-0.009560705729135957) [Y8 Y9 X10 X11]
+ (-0.009560705729135957) [X8 X9 Y10 Y11]
+ (-0.008125251921381015) [Y1 X2 X8 Y9]
+ (-0.008125251921381015) [Y1 Y2 Y8 Y9]
+ (-0.008125251921381015) [X1 X2 X8 X9]
+ (-0.008125251921381015) [X1 Y2 Y8 X9]
+ (-0.007731425250775247) [Y0 Y1 X10 X11]
+ (-0.007731425250775247) [X0 X1 Y10 Y11]
+ (-0.00715693491985695) [Y4 Y5 X8 X9]
+ (-0.00715693491985695) [X4 X5 Y8 Y9]
+ (-0.006888194352970554) [Y0 Y1 X6 X7]
+ (-0.006888194352970554) [X0 X1 Y6 Y7]
+ (-0.006509361201177228) [Y0 Y1 X8 X9]
+ (-0.006509361201177228) [X0 X1 Y8 Y9]
+ (-0.006087822480561859) [Y8 Y9 X12 X13]
+ (-0.006087822480561859) [X8 X9 Y12 Y13]
+ (-0.005283776488402953) [Y0 Y1 X12 X13]
+ (-0.005283776488402953) [X0 X1 Y12 Y13]
+ (-0.005143391768825149) [Y3 X4 X5 Y6]
+ (-0.005143391768825149) [X3 Y4 Y5 X6]
+ (-0.004684903388155181) [Y1 X2 X6 Y7]
+ (-0.004684903388155181) [Y1 Y2 Y6 Y7]
+ (-0.004684903388155181) [X1 X2 X6 X7]
+ (-0.004684903388155181) [X1 Y2 Y6 X7]
+ (-0.004575007626639198) [Y1 X2 X12 Y13]
+ (-0.004575007626639198) [Y1 Y2 Y12 Y13]
+ (-0.004575007626639198) [X1 X2 X12 X13]
+ (-0.004575007626639198) [X1 Y2 Y12 X13]
+ (-0.004424855449441851) [Y1 X2 X4 Y5]
+ (-0.004424855449441851) [Y1 Y2 Y4 Y5]
+ (-0.004424855449441851) [X1 X2 X4 X5]
+ (-0.004424855449441851) [X1 Y2 Y4 X5]
+ (-0.003479511890334433) [Y2 Z3 Z5 Y6]
+ (-0.003479511890334433) [X2 Z3 Z5 X6]
+ (-0.003479511890334433) [Y3 Z4 Z6 Y7]
+ (-0.003479511890334433) [X3 Z4 Z6 X7]
+ (-0.0027458364701868103) [Y0 Y1 X4 X5]
+ (-0.0027458364701868103) [X0 X1 Y4 Y5]
+ (-0.0017992194936630613) [Y1 X2 X10 Y11]
+ (-0.0017992194936630613) [Y1 Y2 Y10 Y11]
+ (-0.0017992194936630613) [X1 X2 X10 X11]
+ (-0.0017992194936630613) [X1 Y2 Y10 X11]
+ (-0.0002921986261110467) [Y7 Y8 X9 X10]
+ (-0.0002921986261110467) [X7 X8 Y9 Y10]
+ (-8.194261372535614e-06) [Z10 Y11 Z12 Y13]
+ (-8.194261372535614e-06) [Z10 X11 Z12 X13]
+ (-7.80170750077468e-06) [Y2 Z3 Y4 Z11]
+ (-7.80170750077468e-06) [X2 Z3 X4 Z11]
+ (-7.80170750077468e-06) [Y3 Z4 Y5 Z10]
+ (-7.80170750077468e-06) [X3 Z4 X5 Z10]
+ (-4.643051068636404e-06) [Y3 X4 X10 Y11]
+ (-4.643051068636404e-06) [Y3 Y4 Y10 Y11]
+ (-4.643051068636404e-06) [X3 X4 X10 X11]
+ (-4.643051068636404e-06) [X3 Y4 Y10 X11]
+ (-4.5888551558663185e-06) [Y4 Z5 Y6 Z13]
+ (-4.5888551558663185e-06) [X4 Z5 X6 Z13]
+ (-4.5888551558663185e-06) [Y5 Z6 Y7 Z12]
+ (-4.5888551558663185e-06) [X5 Z6 X7 Z12]
+ (-4.5565692183363674e-06) [Y5 X6 X12 Y13]
+ (-4.5565692183363674e-06) [Y5 Y6 Y12 Y13]
+ (-4.5565692183363674e-06) [X5 X6 X12 X13]
+ (-4.5565692183363674e-06) [X5 Y6 Y12 X13]
+ (-3.694513294619012e-06) [Y4 X5 X11 Y12]
+ (-3.694513294619012e-06) [Y4 Y5 Y11 Y12]
+ (-3.694513294619012e-06) [X4 X5 X11 X12]
+ (-3.694513294619012e-06) [X4 Y5 Y11 X12]
+ (-3.3440815565977455e-06) [Z0 Y5 Z6 Y7]
+ (-3.3440815565977455e-06) [Z0 X5 Z6 X7]
+ (-3.3440815565977455e-06) [Z1 Y4 Z5 Y6]
+ (-3.3440815565977455e-06) [Z1 X4 Z5 X6]
+ (-3.1586564321382767e-06) [Y2 Z3 Y4 Z10]
+ (-3.1586564321382767e-06) [X2 Z3 X4 Z10]
+ (-3.1586564321382767e-06) [Y3 Z4 Y5 Z11]
+ (-3.1586564321382767e-06) [X3 Z4 X5 Z11]
+ (-3.0993492437132184e-06) [Z0 Y4 Z5 Y6]
+ (-3.0993492437132184e-06) [Z0 X4 Z5 X6]
+ (-3.0993492437132184e-06) [Z1 Y5 Z6 Y7]
+ (-3.0993492437132184e-06) [Z1 X5 Z6 X7]
+ (-2.8909678818114523e-06) [Z6 Y11 Z12 Y13]
+ (-2.8909678818114523e-06) [Z6 X11 Z12 X13]
+ (-2.8909678818114523e-06) [Z7 Y10 Z11 Y12]
+ (-2.8909678818114523e-06) [Z7 X10 Z11 X12]
+ (-2.1776646052049415e-06) [Z0 Y10 Z11 Y12]
+ (-2.1776646052049415e-06) [Z0 X10 Z11 X12]
+ (-2.1776646052049415e-06) [Z1 Y11 Z12 Y13]
+ (-2.1776646052049415e-06) [Z1 X11 Z12 X13]
+ (-1.8818501832844641e-06) [Y4 Z5 Y6 Z9]
+ (-1.8818501832844641e-06) [X4 Z5 X6 Z9]
+ (-1.8818501832844641e-06) [Y5 Z6 Y7 Z8]
+ (-1.8818501832844641e-06) [X5 Z6 X7 Z8]
+ (-1.85512012167201e-06) [Z6 Y10 Z11 Y12]
+ (-1.85512012167201e-06) [Z6 X10 Z11 X12]
+ (-1.85512012167201e-06) [Z7 Y11 Z12 Y13]
+ (-1.85512012167201e-06) [Z7 X11 Z12 X13]
+ (-1.854060858045419e-06) [Y4 Z5 Y6 Z7]
+ (-1.854060858045419e-06) [X4 Z5 X6 Z7]
+ (-1.8163031698503006e-06) [Z4 Y11 Z12 Y13]
+ (-1.8163031698503006e-06) [Z4 X11 Z12 X13]
+ (-1.8163031698503006e-06) [Z5 Y10 Z11 Y12]
+ (-1.8163031698503006e-06) [Z5 X10 Z11 X12]
+ (-1.6923978286864735e-06) [Y4 Z5 Y6 Z10]
+ (-1.6923978286864735e-06) [X4 Z5 X6 Z10]
+ (-1.6923978286864735e-06) [Y5 Z6 Y7 Z11]
+ (-1.6923978286864735e-06) [X5 Z6 X7 Z11]
+ (-1.6148794140585343e-06) [Z0 Y11 Z12 Y13]
+ (-1.6148794140585343e-06) [Z0 X11 Z12 X13]
+ (-1.6148794140585343e-06) [Z1 Y10 Z11 Y12]
+ (-1.6148794140585343e-06) [Z1 X10 Z11 X12]
+ (-1.5973171979279453e-06) [Z8 Y10 Z11 Y12]
+ (-1.5973171979279453e-06) [Z8 X10 Z11 X12]
+ (-1.5973171979279453e-06) [Z9 Y11 Z12 Y13]
+ (-1.5973171979279453e-06) [Z9 X11 Z12 X13]
+ (-1.4548424490651667e-06) [Y3 X4 X6 Y7]
+ (-1.4548424490651667e-06) [Y3 Y4 Y6 Y7]
+ (-1.4548424490651667e-06) [X3 X4 X6 X7]
+ (-1.4548424490651667e-06) [X3 Y4 Y6 X7]
+ (-1.3980449081881208e-06) [Y4 Z5 Y6 Z8]
+ (-1.3980449081881208e-06) [X4 Z5 X6 Z8]
+ (-1.3980449081881208e-06) [Y5 Z6 Y7 Z9]
+ (-1.3980449081881208e-06) [X5 Z6 X7 Z9]
+ (-1.195489009973468e-06) [Y2 Z3 Y4 Z7]
+ (-1.195489009973468e-06) [X2 Z3 X4 Z7]
+ (-1.195489009973468e-06) [Y3 Z4 Y5 Z6]
+ (-1.195489009973468e-06) [X3 Z4 X5 Z6]
+ (-1.1908508083697102e-06) [Z0 Y3 Z4 Y5]
+ (-1.1908508083697102e-06) [Z0 X3 Z4 X5]
+ (-1.1908508083697102e-06) [Z1 Y2 Z3 Y4]
+ (-1.1908508083697102e-06) [Z1 X2 Z3 X4]
+ (-1.1708301370883661e-06) [Z2 Y5 Z6 Y7]
+ (-1.1708301370883661e-06) [Z2 X5 Z6 X7]
+ (-1.1708301370883661e-06) [Z3 Y4 Z5 Y6]
+ (-1.1708301370883661e-06) [Z3 X4 Z5 X6]
+ (-1.063228342458404e-06) [Z2 Y10 Z11 Y12]
+ (-1.063228342458404e-06) [Z2 X10 Z11 X12]
+ (-1.063228342458404e-06) [Z3 Y11 Z12 Y13]
+ (-1.063228342458404e-06) [Z3 X11 Z12 X13]
+ (-1.035847760139442e-06) [Y6 X7 X11 Y12]
+ (-1.035847760139442e-06) [Y6 Y7 Y11 Y12]
+ (-1.035847760139442e-06) [X6 X7 X11 X12]
+ (-1.035847760139442e-06) [X6 Y7 Y11 X12]
+ (-9.509249752124963e-07) [Z2 Y4 Z5 Y6]
+ (-9.509249752124963e-07) [Z2 X4 Z5 X6]
+ (-9.509249752124963e-07) [Z3 Y5 Z6 Y7]
+ (-9.509249752124963e-07) [Z3 X5 Z6 X7]
+ (-9.344557777490691e-07) [Z8 Y11 Z12 Y13]
+ (-9.344557777490691e-07) [Z8 X11 Z12 X13]
+ (-9.344557777490691e-07) [Z9 Y10 Z11 Y12]
+ (-9.344557777490691e-07) [Z9 X10 Z11 X12]
+ (-8.337746754563326e-07) [Z0 Y2 Z3 Y4]
+ (-8.337746754563326e-07) [Z0 X2 Z3 X4]
+ (-8.337746754563326e-07) [Z1 Y3 Z4 Y5]
+ (-8.337746754563326e-07) [Z1 X3 Z4 X5]
+ (-7.956895372590624e-07) [Y3 X4 X8 Y9]
+ (-7.956895372590624e-07) [Y3 Y4 Y8 Y9]
+ (-7.956895372590624e-07) [X3 X4 X8 X9]
+ (-7.956895372590624e-07) [X3 Y4 Y8 X9]
+ (-7.764994119078909e-07) [Y2 Z3 Y4 Z5]
+ (-7.764994119078909e-07) [X2 Z3 X4 Z5]
+ (-5.929765816317425e-07) [Z4 Y5 Z6 Y7]
+ (-5.929765816317425e-07) [Z4 X5 Z6 X7]
+ (-5.77005299509661e-07) [Y2 Z3 Y4 Z9]
+ (-5.77005299509661e-07) [X2 Z3 X4 Z9]
+ (-5.77005299509661e-07) [Y3 Z4 Y5 Z8]
+ (-5.77005299509661e-07) [X3 Z4 X5 Z8]
+ (-5.471647744831827e-07) [Y1 Y2 X11 X12]
+ (-5.471647744831827e-07) [X1 X2 Y11 Y12]
+ (-4.838052750963432e-07) [Y5 X6 X8 Y9]
+ (-4.838052750963432e-07) [Y5 Y6 Y8 Y9]
+ (-4.838052750963432e-07) [X5 X6 X8 X9]
+ (-4.838052750963432e-07) [X5 Y6 Y8 X9]
+ (-3.5707613291337756e-07) [Y0 X1 X3 Y4]
+ (-3.5707613291337756e-07) [Y0 Y1 Y3 Y4]
+ (-3.5707613291337756e-07) [X0 X1 X3 X4]
+ (-3.5707613291337756e-07) [X0 Y1 Y3 X4]
+ (-2.4473231288452714e-07) [Y0 X1 X5 Y6]
+ (-2.4473231288452714e-07) [Y0 Y1 Y5 Y6]
+ (-2.4473231288452714e-07) [X0 X1 X5 X6]
+ (-2.4473231288452714e-07) [X0 Y1 Y5 X6]
+ (-2.1990516187586975e-07) [Y2 X3 X5 Y6]
+ (-2.1990516187586975e-07) [Y2 Y3 Y5 Y6]
+ (-2.1990516187586975e-07) [X2 X3 X5 X6]
+ (-2.1990516187586975e-07) [X2 Y3 Y5 X6]
+ (-1.9332412771050127e-07) [Y1 X2 X3 Y4]
+ (-1.9332412771050127e-07) [X1 Y2 Y3 X4]
+ (-1.2919694862174914e-07) [Y1 Z2 Z3 Y5]
+ (-1.2919694862174914e-07) [X1 Z2 Z3 X5]
+ (1.737933262455348e-07) [Y0 Z1 Z3 Y4]
+ (1.737933262455348e-07) [X0 Z1 Z3 X4]
+ (1.737933262455348e-07) [Y1 Z2 Z4 Y5]
+ (1.737933262455348e-07) [X1 Z2 Z4 X5]
+ (1.9332412771050127e-07) [Y1 Y2 X3 X4]
+ (1.9332412771050127e-07) [X1 X2 Y3 Y4]
+ (2.186842377494015e-07) [Y2 Z3 Y4 Z8]
+ (2.186842377494015e-07) [X2 Z3 X4 Z8]
+ (2.186842377494015e-07) [Y3 Z4 Y5 Z9]
+ (2.186842377494015e-07) [X3 Z4 X5 Z9]
+ (2.5935343909169903e-07) [Y2 Z3 Y4 Z6]
+ (2.5935343909169903e-07) [X2 Z3 X4 Z6]
+ (2.5935343909169903e-07) [Y3 Z4 Y5 Z7]
+ (2.5935343909169903e-07) [X3 Z4 X5 Z7]
+ (3.60607186800653e-07) [Y0 Z1 Z2 Y4]
+ (3.60607186800653e-07) [X0 Z1 Z2 X4]
+ (3.60607186800653e-07) [Y1 Z3 Z4 Y5]
+ (3.60607186800653e-07) [X1 Z3 Z4 X5]
+ (5.471647744831827e-07) [Y1 X2 X11 Y12]
+ (5.471647744831827e-07) [X1 Y2 Y11 X12]
+ (5.627851911464074e-07) [Y0 X1 X11 Y12]
+ (5.627851911464074e-07) [Y0 Y1 Y11 Y12]
+ (5.627851911464074e-07) [X0 X1 X11 X12]
+ (5.627851911464074e-07) [X0 Y1 Y11 X12]
+ (6.628614201788762e-07) [Y8 X9 X11 Y12]
+ (6.628614201788762e-07) [Y8 Y9 Y11 Y12]
+ (6.628614201788762e-07) [X8 X9 X11 X12]
+ (6.628614201788762e-07) [X8 Y9 Y11 X12]
+ (1.109440759087048e-06) [Z2 Y11 Z12 Y13]
+ (1.109440759087048e-06) [Z2 X11 Z12 X13]
+ (1.109440759087048e-06) [Z3 Y10 Z11 Y12]
+ (1.109440759087048e-06) [Z3 X10 Z11 X12]
+ (1.602116740645332e-06) [Z2 Y3 Z4 Y5]
+ (1.602116740645332e-06) [Z2 X3 Z4 X5]
+ (1.8782101247687116e-06) [Z4 Y10 Z11 Y12]
+ (1.8782101247687116e-06) [Z4 X10 Z11 X12]
+ (1.8782101247687116e-06) [Z5 Y11 Z12 Y13]
+ (1.8782101247687116e-06) [Z5 X11 Z12 X13]
+ (2.1726691015454515e-06) [Y2 X3 X11 Y12]
+ (2.1726691015454515e-06) [Y2 Y3 Y11 Y12]
+ (2.1726691015454515e-06) [X2 X3 X11 X12]
+ (2.1726691015454515e-06) [X2 Y3 Y11 X12]
+ (3.117447946095729e-06) [Y0 Z2 Z3 Y4]
+ (3.117447946095729e-06) [X0 Z2 Z3 X4]
+ (3.539054184605993e-06) [Y2 Z3 Y4 Z12]
+ (3.539054184605993e-06) [X2 Z3 X4 Z12]
+ (3.539054184605993e-06) [Y3 Z4 Y5 Z13]
+ (3.539054184605993e-06) [X3 Z4 X5 Z13]
+ (4.281913884920309e-06) [Y4 Z5 Y6 Z11]
+ (4.281913884920309e-06) [X4 Z5 X6 Z11]
+ (4.281913884920309e-06) [Y5 Z6 Y7 Z10]
+ (4.281913884920309e-06) [X5 Z6 X7 Z10]
+ (5.275883122294747e-06) [Y3 X4 X12 Y13]
+ (5.275883122294747e-06) [Y3 Y4 Y12 Y13]
+ (5.275883122294747e-06) [X3 X4 X12 X13]
+ (5.275883122294747e-06) [X3 Y4 Y12 X13]
+ (5.974311713606783e-06) [Y5 X6 X10 Y11]
+ (5.974311713606783e-06) [Y5 Y6 Y10 Y11]
+ (5.974311713606783e-06) [X5 X6 X10 X11]
+ (5.974311713606783e-06) [X5 Y6 Y10 X11]
+ (7.954413176461742e-06) [Y10 Z11 Y12 Z13]
+ (7.954413176461742e-06) [X10 Z11 X12 Z13]
+ (8.81493730690074e-06) [Y2 Z3 Y4 Z13]
+ (8.81493730690074e-06) [X2 Z3 X4 Z13]
+ (8.81493730690074e-06) [Y3 Z4 Y5 Z12]
+ (8.81493730690074e-06) [X3 Z4 X5 Z12]
+ (0.0002921986261110467) [Y7 X8 X9 Y10]
+ (0.0002921986261110467) [X7 Y8 Y9 X10]
+ (0.0004956762314914866) [Y2 Z4 Z5 Y6]
+ (0.0004956762314914866) [X2 Z4 Z5 X6]
+ (0.0011059037691896973) [Y0 Z1 Y2 Z5]
+ (0.0011059037691896973) [X0 Z1 X2 Z5]
+ (0.0011059037691896973) [Y1 Z2 Y3 Z4]
+ (0.0011059037691896973) [X1 Z2 X3 Z4]
+ (0.0016638798784907156) [Y2 Z3 Z4 Y6]
+ (0.0016638798784907156) [X2 Z3 Z4 X6]
+ (0.0016638798784907156) [Y3 Z5 Z6 Y7]
+ (0.0016638798784907156) [X3 Z5 Z6 X7]
+ (0.0017560707018412717) [Y0 Z1 Y2 Z11]
+ (0.0017560707018412717) [X0 Z1 X2 Z11]
+ (0.0017560707018412717) [Y1 Z2 Y3 Z10]
+ (0.0017560707018412717) [X1 Z2 X3 Z10]
+ (0.0023262306231580793) [Y0 Z1 Y2 Z13]
+ (0.0023262306231580793) [X0 Z1 X2 Z13]
+ (0.0023262306231580793) [Y1 Z2 Y3 Z12]
+ (0.0023262306231580793) [X1 Z2 X3 Z12]
+ (0.0027458364701868103) [Y0 X1 X4 Y5]
+ (0.0027458364701868103) [X0 Y1 Y4 X5]
+ (0.002929768674751061) [Y0 Z1 Y2 Z9]
+ (0.002929768674751061) [X0 Z1 X2 Z9]
+ (0.002929768674751061) [Y1 Z2 Y3 Z8]
+ (0.002929768674751061) [X1 Z2 X3 Z8]
+ (0.0032769719312316726) [Y0 Z1 Y2 Z3]
+ (0.0032769719312316726) [X0 Z1 X2 Z3]
+ (0.003347617530666177) [Y0 Z1 Y2 Z7]
+ (0.003347617530666177) [X0 Z1 X2 Z7]
+ (0.003347617530666177) [Y1 Z2 Y3 Z6]
+ (0.003347617530666177) [X1 Z2 X3 Z6]
+ (0.0035552901955043332) [Y0 Z1 Y2 Z10]
+ (0.0035552901955043332) [X0 Z1 X2 Z10]
+ (0.0035552901955043332) [Y1 Z2 Y3 Z11]
+ (0.0035552901955043332) [X1 Z2 X3 Z11]
+ (0.005143391768825149) [Y3 Y4 X5 X6]
+ (0.005143391768825149) [X3 X4 Y5 Y6]
+ (0.005283776488402953) [Y0 X1 X12 Y13]
+ (0.005283776488402953) [X0 Y1 Y12 X13]
+ (0.005530759218631548) [Y0 Z1 Y2 Z4]
+ (0.005530759218631548) [X0 Z1 X2 Z4]
+ (0.005530759218631548) [Y1 Z2 Y3 Z5]
+ (0.005530759218631548) [X1 Z2 X3 Z5]
+ (0.006087822480561859) [Y8 X9 X12 Y13]
+ (0.006087822480561859) [X8 Y9 Y12 X13]
+ (0.006509361201177228) [Y0 X1 X8 Y9]
+ (0.006509361201177228) [X0 Y1 Y8 X9]
+ (0.006888194352970554) [Y0 X1 X6 Y7]
+ (0.006888194352970554) [X0 Y1 Y6 X7]
+ (0.006901238249797277) [Y0 Z1 Y2 Z12]
+ (0.006901238249797277) [X0 Z1 X2 Z12]
+ (0.006901238249797277) [Y1 Z2 Y3 Z13]
+ (0.006901238249797277) [X1 Z2 X3 Z13]
+ (0.00715693491985695) [Y4 X5 X8 Y9]
+ (0.00715693491985695) [X4 Y5 Y8 X9]
+ (0.007731425250775247) [Y0 X1 X10 Y11]
+ (0.007731425250775247) [X0 Y1 Y10 X11]
+ (0.008032520918821359) [Y0 Z1 Y2 Z6]
+ (0.008032520918821359) [X0 Z1 X2 Z6]
+ (0.008032520918821359) [Y1 Z2 Y3 Z7]
+ (0.008032520918821359) [X1 Z2 X3 Z7]
+ (0.009560705729135957) [Y8 X9 X10 Y11]
+ (0.009560705729135957) [X8 Y9 Y10 X11]
+ (0.011055020596132076) [Y0 Z1 Y2 Z8]
+ (0.011055020596132076) [X0 Z1 X2 Z8]
+ (0.011055020596132076) [Y1 Z2 Y3 Z9]
+ (0.011055020596132076) [X1 Z2 X3 Z9]
+ (0.011285190200840924) [Y5 Y6 X11 X12]
+ (0.011285190200840924) [X5 X6 Y11 Y12]
+ (0.011307274008848263) [Y7 Z8 Z9 Y11]
+ (0.011307274008848263) [X7 Z8 Z9 X11]
+ (0.011982389010247991) [Y4 X5 X6 Y7]
+ (0.011982389010247991) [X4 Y5 Y6 X7]
+ (0.013873381748426086) [Y6 X7 X8 Y9]
+ (0.013873381748426086) [X6 Y7 Y8 X9]
+ (0.01458364890761264) [Y0 X1 X2 Y3]
+ (0.01458364890761264) [X0 Y1 Y2 X3]
+ (0.015577208063976469) [Y2 X3 X12 Y13]
+ (0.015577208063976469) [X2 Y3 Y12 X13]
+ (0.01736611899465143) [Y6 X7 X12 Y13]
+ (0.01736611899465143) [X6 Y7 Y12 X13]
+ (0.017680067952481473) [Y4 X5 X10 Y11]
+ (0.017680067952481473) [X4 Y5 Y10 X11]
+ (0.017825140995786578) [Y6 X7 X10 Y11]
+ (0.017825140995786578) [X6 Y7 Y10 X11]
+ (0.019028242443847234) [Y3 X4 X11 Y12]
+ (0.019028242443847234) [X3 Y4 Y11 X12]
+ (0.025384657508457413) [Y2 X3 X10 Y11]
+ (0.025384657508457413) [X2 Y3 Y10 X11]
+ (0.028685183716105792) [Y10 X11 X12 Y13]
+ (0.028685183716105792) [X10 Y11 Y12 X13]
+ (0.02981242451734589) [Y6 Z7 Z8 Y10]
+ (0.02981242451734589) [X6 Z7 Z8 X10]
+ (0.02981242451734589) [Y7 Z9 Z10 Y11]
+ (0.02981242451734589) [X7 Z9 Z10 X11]
+ (0.030104623143456938) [Y6 Z7 Z9 Y10]
+ (0.030104623143456938) [X6 Z7 Z9 X10]
+ (0.030104623143456938) [Y7 Z8 Z10 Y11]
+ (0.030104623143456938) [X7 Z8 Z10 X11]
+ (0.030787505389143953) [Y6 Z8 Z9 Y10]
+ (0.030787505389143953) [X6 Z8 Z9 X10]
+ (0.03114381798896714) [Y2 X3 X6 Y7]
+ (0.03114381798896714) [X2 Y3 Y6 X7]
+ (0.035839567953353496) [Y2 X3 X4 Y5]
+ (0.035839567953353496) [X2 Y3 Y4 X5]
+ (0.036194123559042606) [Y2 X3 X8 Y9]
+ (0.036194123559042606) [X2 Y3 Y8 X9]
+ (0.0383146702948039) [Y4 X5 X12 Y13]
+ (0.0383146702948039) [X4 Y5 Y12 X13]
+ (0.10433064780651398) [Z0 Y1 Z2 Y3]
+ (0.10433064780651398) [Z0 X1 Z2 X3]
+ (-0.12133276911042437) [Y2 Z3 Z4 Z5 Y6]
+ (-0.12133276911042437) [X2 Z3 Z4 Z5 X6]
+ (-0.1213327691104243) [Y3 Z4 Z5 Z6 Y7]
+ (-0.1213327691104243) [X3 Z4 Z5 Z6 X7]
+ (3.2020768801305466e-06) [Y1 Z2 Z3 Z4 Y5]
+ (3.2020768801305466e-06) [X1 Z2 Z3 Z4 X5]
+ (3.202076880130547e-06) [Y0 Z1 Z2 Z3 Y4]
+ (3.202076880130547e-06) [X0 Z1 Z2 Z3 X4]
+ (0.22848106564918888) [Y6 Z7 Z8 Z9 Y10]
+ (0.22848106564918888) [X6 Z7 Z8 Z9 X10]
+ (0.22848106564918888) [Y7 Z8 Z9 Z10 Y11]
+ (0.22848106564918888) [X7 Z8 Z9 Z10 X11]
+ (-0.03276765782329066) [Z0 Y3 Z4 Z5 Z6 Y7]
+ (-0.03276765782329066) [Z0 X3 Z4 Z5 Z6 X7]
+ (-0.03276765782329066) [Z1 Y2 Z3 Z4 Z5 Y6]
+ (-0.03276765782329066) [Z1 X2 Z3 Z4 Z5 X6]
+ (-0.02711503684527331) [Z0 Y2 Z3 Z4 Z5 Y6]
+ (-0.02711503684527331) [Z0 X2 Z3 Z4 Z5 X6]
+ (-0.02711503684527331) [Z1 Y3 Z4 Z5 Z6 Y7]
+ (-0.02711503684527331) [Z1 X3 Z4 Z5 Z6 X7]
+ (-0.02599617759802119) [Y2 Z3 Z4 Z5 Y6 Z7]
+ (-0.02599617759802119) [X2 Z3 Z4 Z5 X6 Z7]
+ (-0.017561202409646266) [Y2 Z3 Z4 Z5 Y6 Z9]
+ (-0.017561202409646266) [X2 Z3 Z4 Z5 X6 Z9]
+ (-0.017561202409646266) [Y3 Z4 Z5 Z6 Y7 Z8]
+ (-0.017561202409646266) [X3 Z4 Z5 Z6 X7 Z8]
+ (-0.014564531231172998) [Y7 Z8 Z9 X10 X12 Y13]
+ (-0.014564531231172998) [Y7 Z8 Z9 Y10 Y12 Y13]
+ (-0.014564531231172998) [X7 Z8 Z9 X10 X12 X13]
+ (-0.014564531231172998) [X7 Z8 Z9 Y10 Y12 X13]
+ (-0.01221504099761398) [Y4 Z5 Y6 Y11 Z12 Y13]
+ (-0.01221504099761398) [Y4 Z5 Y6 X11 Z12 X13]
+ (-0.01221504099761398) [X4 Z5 X6 Y11 Z12 Y13]
+ (-0.01221504099761398) [X4 Z5 X6 X11 Z12 X13]
+ (-0.01221504099761398) [Y5 Z6 Y7 Y10 Z11 Y12]
+ (-0.01221504099761398) [Y5 Z6 Y7 X10 Z11 X12]
+ (-0.01221504099761398) [X5 Z6 X7 Y10 Z11 Y12]
+ (-0.01221504099761398) [X5 Z6 X7 X10 Z11 X12]
+ (-0.01175601341981927) [Y3 Z4 Z5 X6 X8 Y9]
+ (-0.01175601341981927) [Y3 Z4 Z5 Y6 Y8 Y9]
+ (-0.01175601341981927) [X3 Z4 Z5 X6 X8 X9]
+ (-0.01175601341981927) [X3 Z4 Z5 Y6 Y8 X9]
+ (-0.008764827575688758) [Y2 Z3 Z4 X5 X11 Y12]
+ (-0.008764827575688758) [Y2 Z3 Z4 Y5 Y11 Y12]
+ (-0.008764827575688758) [X2 Z3 Z4 X5 X11 X12]
+ (-0.008764827575688758) [X2 Z3 Z4 Y5 Y11 X12]
+ (-0.008764827575688758) [Y3 X4 X10 Z11 Z12 Y13]
+ (-0.008764827575688758) [Y3 Y4 Y10 Z11 Z12 Y13]
+ (-0.008764827575688758) [X3 X4 X10 Z11 Z12 X13]
+ (-0.008764827575688758) [X3 Y4 Y10 Z11 Z12 X13]
+ (-0.008125251921381015) [Y0 Z1 Z2 Y3 X8 X9]
+ (-0.008125251921381015) [X0 Z1 Z2 X3 Y8 Y9]
+ (-0.007306759928832976) [Y4 X5 X7 Z8 Z9 Y10]
+ (-0.007306759928832976) [Y4 Y5 Y7 Z8 Z9 Y10]
+ (-0.007306759928832976) [X4 X5 X7 Z8 Z9 X10]
+ (-0.007306759928832976) [X4 Y5 Y7 Z8 Z9 X10]
+ (-0.0058051889898269975) [Y2 Z3 Z4 Z5 Y6 Z8]
+ (-0.0058051889898269975) [X2 Z3 Z4 Z5 X6 Z8]
+ (-0.0058051889898269975) [Y3 Z4 Z5 Z6 Y7 Z9]
+ (-0.0058051889898269975) [X3 Z4 Z5 Z6 X7 Z9]
+ (-0.0056526209780173595) [Y0 X1 X3 Z4 Z5 Y6]
+ (-0.0056526209780173595) [Y0 Y1 Y3 Z4 Z5 Y6]
+ (-0.0056526209780173595) [X0 X1 X3 Z4 Z5 X6]
+ (-0.0056526209780173595) [X0 Y1 Y3 Z4 Z5 X6]
+ (-0.00514339176882515) [Y2 Z3 Y4 Y5 Z6 Y7]
+ (-0.00514339176882515) [Y2 Z3 Y4 X5 Z6 X7]
+ (-0.00514339176882515) [X2 Z3 X4 Y5 Z6 Y7]
+ (-0.00514339176882515) [X2 Z3 X4 X5 Z6 X7]
+ (-0.004684903388155181) [Y0 Z1 Z2 Y3 X6 X7]
+ (-0.004684903388155181) [X0 Z1 Z2 X3 Y6 Y7]
+ (-0.004668620318776297) [Y1 X2 X7 Z8 Z9 Y10]
+ (-0.004668620318776297) [X1 Y2 Y7 Z8 Z9 X10]
+ (-0.004575007626639198) [Y0 Z1 Z2 Y3 X12 X13]
+ (-0.004575007626639198) [X0 Z1 Z2 X3 Y12 Y13]
+ (-0.004424855449441851) [Y0 Z1 Z2 Y3 X4 X5]
+ (-0.004424855449441851) [X0 Z1 Z2 X3 Y4 Y5]
+ (-0.004158797381840042) [Y3 Z4 Z5 X6 X12 Y13]
+ (-0.004158797381840042) [Y3 Z4 Z5 Y6 Y12 Y13]
+ (-0.004158797381840042) [X3 Z4 Z5 X6 X12 X13]
+ (-0.004158797381840042) [X3 Z4 Z5 Y6 Y12 X13]
+ (-0.003493790359890195) [Y2 Z3 Z4 Z5 Y6 Z13]
+ (-0.003493790359890195) [X2 Z3 Z4 Z5 X6 Z13]
+ (-0.003493790359890195) [Y3 Z4 Z5 Z6 Y7 Z12]
+ (-0.003493790359890195) [X3 Z4 Z5 Z6 X7 Z12]
+ (-0.0027790267990255232) [Y1 Z2 Z3 Z4 Z5 Y7]
+ (-0.0027790267990255232) [X1 Z2 Z3 Z4 Z5 X7]
+ (-0.0022939566113524563) [Y1 X2 X3 Z4 Z5 Y6]
+ (-0.0022939566113524563) [X1 Y2 Y3 Z4 Z5 X6]
+ (-0.0017992194936630613) [Y0 Z1 Z2 Y3 X10 X11]
+ (-0.0017992194936630613) [X0 Z1 Z2 X3 Y10 Y11]
+ (-0.0017278753941369364) [Y1 Z2 Z3 X4 X11 Y12]
+ (-0.0017278753941369364) [X1 Z2 Z3 Y4 Y11 X12]
+ (-0.0009298507967730569) [Y4 Z5 Y6 X10 Z11 X12]
+ (-0.0009298507967730569) [X4 Z5 X6 Y10 Z11 Y12]
+ (-0.0009298507967730569) [Y5 Z6 Y7 X11 Z12 X13]
+ (-0.0009298507967730569) [X5 Z6 X7 Y11 Z12 Y13]
+ (-0.0008533856254125476) [Y1 Z2 Z3 Y4 X5 X6]
+ (-0.0008533856254125476) [X1 Z2 Z3 X4 Y5 Y6]
+ (-0.0008145313270957522) [Y2 Z3 Z4 Z5 Y6 Z10]
+ (-0.0008145313270957522) [X2 Z3 Z4 Z5 X6 Z10]
+ (-0.0008145313270957522) [Y3 Z4 Z5 Z6 Y7 Z11]
+ (-0.0008145313270957522) [X3 Z4 Z5 Z6 X7 Z11]
+ (-7.735036880589329e-05) [Y0 X1 X7 Z8 Z9 Y10]
+ (-7.735036880589329e-05) [Y0 Y1 Y7 Z8 Z9 Y10]
+ (-7.735036880589329e-05) [X0 X1 X7 Z8 Z9 X10]
+ (-7.735036880589329e-05) [X0 Y1 Y7 Z8 Z9 X10]
+ (-8.774817864892455e-06) [Y4 Z5 Z6 Z7 Z8 Y10]
+ (-8.774817864892455e-06) [X4 Z5 Z6 Z7 Z8 X10]
+ (-8.774817864892455e-06) [Y5 Z6 Z7 Z9 Z10 Y11]
+ (-8.774817864892455e-06) [X5 Z6 Z7 Z9 Z10 X11]
+ (-7.518362215953375e-06) [Y4 Z5 Z7 Z8 Z9 Y10]
+ (-7.518362215953375e-06) [X4 Z5 Z7 Z8 Z9 X10]
+ (-7.518362215953375e-06) [Y5 Z6 Z8 Z9 Z10 Y11]
+ (-7.518362215953375e-06) [X5 Z6 Z8 Z9 Z10 X11]
+ (-7.444344676183261e-06) [Y4 Z5 Z6 Z7 Z9 Y10]
+ (-7.444344676183261e-06) [X4 Z5 Z6 Z7 Z9 X10]
+ (-7.444344676183261e-06) [Y5 Z6 Z7 Z8 Z10 Y11]
+ (-7.444344676183261e-06) [X5 Z6 Z7 Z8 Z10 X11]
+ (-6.524373848751885e-06) [Y6 Z7 Z8 Z9 Z10 Y12]
+ (-6.524373848751885e-06) [X6 Z7 Z8 Z9 Z10 X12]
+ (-6.524373848751885e-06) [Y7 Z8 Z9 Z11 Z12 Y13]
+ (-6.524373848751885e-06) [X7 Z8 Z9 Z11 Z12 X13]
+ (-6.290028433462584e-06) [Y4 Z5 Z6 Z8 Z9 Y10]
+ (-6.290028433462584e-06) [X4 Z5 Z6 Z8 Z9 X10]
+ (-6.290028433462584e-06) [Y5 Z7 Z8 Z9 Z10 Y11]
+ (-6.290028433462584e-06) [X5 Z7 Z8 Z9 Z10 X11]
+ (-5.974311713606783e-06) [Y4 Z5 Z6 X7 X10 Y11]
+ (-5.974311713606783e-06) [X4 Z5 Z6 Y7 Y10 X11]
+ (-5.275883122294747e-06) [Y2 Z3 Z4 X5 X12 Y13]
+ (-5.275883122294747e-06) [X2 Z3 Z4 Y5 Y12 X13]
+ (-4.643051068636404e-06) [Y2 Z3 Z4 Y5 X10 X11]
+ (-4.643051068636404e-06) [X2 Z3 Z4 X5 Y10 Y11]
+ (-4.556569218336367e-06) [Y4 Z5 Z6 Y7 X12 X13]
+ (-4.556569218336367e-06) [X4 Z5 Z6 X7 Y12 Y13]
+ (-4.253224225723285e-06) [Y4 Z6 Z7 Z8 Z9 Y10]
+ (-4.253224225723285e-06) [X4 Z6 Z7 Z8 Z9 X10]
+ (-3.7696594521319486e-06) [Y6 Z8 Z9 Z10 Z11 Y12]
+ (-3.7696594521319486e-06) [X6 Z8 Z9 Z10 Z11 X12]
+ (-3.694513294619012e-06) [Y4 Y5 X10 Z11 Z12 X13]
+ (-3.694513294619012e-06) [X4 X5 Y10 Z11 Z12 Y13]
+ (-3.6102971307067905e-06) [Y6 Z7 Z9 Z10 Z11 Y12]
+ (-3.6102971307067905e-06) [X6 Z7 Z9 Z10 Z11 X12]
+ (-3.6102971307067905e-06) [Y7 Z8 Z10 Z11 Z12 Y13]
+ (-3.6102971307067905e-06) [X7 Z8 Z10 Z11 Z12 X13]
+ (-3.3131455002217625e-06) [Y7 Z8 Z9 Y10 X11 X12]
+ (-3.3131455002217625e-06) [X7 Z8 Z9 X10 Y11 Y12]
+ (-3.2774831956472675e-06) [Y6 Z7 Z8 Z10 Z11 Y12]
+ (-3.2774831956472675e-06) [X6 Z7 Z8 Z10 Z11 X12]
+ (-3.2774831956472675e-06) [Y7 Z9 Z10 Z11 Z12 Y13]
+ (-3.2774831956472675e-06) [X7 Z9 Z10 Z11 Z12 X13]
+ (-3.211228348530122e-06) [Y6 Z7 Z8 Z9 Z11 Y12]
+ (-3.211228348530122e-06) [X6 Z7 Z8 Z9 Z11 X12]
+ (-3.211228348530122e-06) [Y7 Z8 Z9 Z10 Z12 Y13]
+ (-3.211228348530122e-06) [X7 Z8 Z9 Z10 Z12 X13]
+ (-3.1513463112608105e-06) [Y3 Y4 X7 Z8 Z9 X10]
+ (-3.1513463112608105e-06) [X3 X4 Y7 Z8 Z9 Y10]
+ (-3.0882507114205965e-06) [Y3 Z4 Z5 Y6 X11 X12]
+ (-3.0882507114205965e-06) [X3 Z4 Z5 X6 Y11 Y12]
+ (-2.1726691015454515e-06) [Y2 X3 X10 Z11 Z12 Y13]
+ (-2.1726691015454515e-06) [X2 Y3 Y10 Z11 Z12 X13]
+ (-1.4548424490651669e-06) [Y2 Z3 Z4 Y5 X6 X7]
+ (-1.4548424490651669e-06) [X2 Z3 Z4 X5 Y6 Y7]
+ (-1.3304731887091933e-06) [Y5 Z6 Z7 Y8 X9 X10]
+ (-1.3304731887091933e-06) [X5 Z6 Z7 X8 Y9 Y10]
+ (-1.228333782490791e-06) [Y5 X6 X7 Z8 Z9 Y10]
+ (-1.228333782490791e-06) [X5 Y6 Y7 Z8 Z9 X10]
+ (-1.035847760139442e-06) [Y6 Y7 X10 Z11 Z12 X13]
+ (-1.035847760139442e-06) [X6 X7 Y10 Z11 Z12 Y13]
+ (-7.956895372590624e-07) [Y2 Z3 Z4 Y5 X8 X9]
+ (-7.956895372590624e-07) [X2 Z3 Z4 X5 Y8 Y9]
+ (-6.733197742576115e-07) [Y0 Z1 Z2 Z3 Y4 Z10]
+ (-6.733197742576115e-07) [X0 Z1 Z2 Z3 X4 Z10]
+ (-6.733197742576115e-07) [Y1 Z2 Z3 Z4 Y5 Z11]
+ (-6.733197742576115e-07) [X1 Z2 Z3 Z4 X5 Z11]
+ (-6.628614201788762e-07) [Y8 X9 X10 Z11 Z12 Y13]
+ (-6.628614201788762e-07) [X8 Y9 Y10 Z11 Z12 X13]
+ (-6.556281914756596e-07) [Y0 Z1 Y2 X10 Z11 X12]
+ (-6.556281914756596e-07) [X0 Z1 X2 Y10 Z11 Y12]
+ (-6.556281914756596e-07) [Y1 Z2 Y3 X11 Z12 X13]
+ (-6.556281914756596e-07) [X1 Z2 X3 Y11 Z12 Y13]
+ (-6.418291574766239e-07) [Y0 Z1 Y2 Y10 Z11 Y12]
+ (-6.418291574766239e-07) [X0 Z1 X2 X10 Z11 X12]
+ (-6.418291574766239e-07) [Y1 Z2 Y3 Y11 Z12 Y13]
+ (-6.418291574766239e-07) [X1 Z2 X3 X11 Z12 X13]
+ (-5.927453082968918e-07) [Y0 Z1 Z2 Z3 Y4 Z11]
+ (-5.927453082968918e-07) [X0 Z1 Z2 Z3 X4 Z11]
+ (-5.927453082968918e-07) [Y1 Z2 Z3 Z4 Y5 Z10]
+ (-5.927453082968918e-07) [X1 Z2 Z3 Z4 X5 Z10]
+ (-5.627851911464074e-07) [Y0 X1 X10 Z11 Z12 Y13]
+ (-5.627851911464074e-07) [X0 Y1 Y10 Z11 Z12 X13]
+ (-5.287660624842847e-07) [Y0 Z1 Z2 X3 X11 Y12]
+ (-5.287660624842847e-07) [Y0 Z1 Z2 Y3 Y11 Y12]
+ (-5.287660624842847e-07) [X0 Z1 Z2 X3 X11 X12]
+ (-5.287660624842847e-07) [X0 Z1 Z2 Y3 Y11 X12]
+ (-5.287660624842847e-07) [Y1 X2 X10 Z11 Z12 Y13]
+ (-5.287660624842847e-07) [Y1 Y2 Y10 Z11 Z12 Y13]
+ (-5.287660624842847e-07) [X1 X2 X10 Z11 Z12 X13]
+ (-5.287660624842847e-07) [X1 Y2 Y10 Z11 Z12 X13]
+ (-4.838052750963432e-07) [Y4 Z5 Z6 Y7 X8 X9]
+ (-4.838052750963432e-07) [X4 Z5 Z6 X7 Y8 Y9]
+ (-3.5707613291337756e-07) [Y0 Y1 X2 Z3 Z4 X5]
+ (-3.5707613291337756e-07) [X0 X1 Y2 Z3 Z4 Y5]
+ (-3.3281393505952287e-07) [Y7 X8 X9 Z10 Z11 Y12]
+ (-3.3281393505952287e-07) [X7 Y8 Y9 Z10 Z11 X12]
+ (-3.08682656514978e-07) [Y1 Z2 Z3 X4 X12 Y13]
+ (-3.08682656514978e-07) [Y1 Z2 Z3 Y4 Y12 Y13]
+ (-3.08682656514978e-07) [X1 Z2 Z3 X4 X12 X13]
+ (-3.08682656514978e-07) [X1 Z2 Z3 Y4 Y12 X13]
+ (-2.4473231288452714e-07) [Y0 Y1 X4 Z5 Z6 X7]
+ (-2.4473231288452714e-07) [X0 X1 Y4 Z5 Z6 Y7]
+ (-2.371328947921644e-07) [Y1 Z2 Z3 X4 X8 Y9]
+ (-2.371328947921644e-07) [Y1 Z2 Z3 Y4 Y8 Y9]
+ (-2.371328947921644e-07) [X1 Z2 Z3 X4 X8 X9]
+ (-2.371328947921644e-07) [X1 Z2 Z3 Y4 Y8 X9]
+ (-2.1990516187586975e-07) [Y2 Y3 X4 Z5 Z6 X7]
+ (-2.1990516187586975e-07) [X2 X3 Y4 Z5 Z6 Y7]
+ (-1.9332412771050127e-07) [Y0 Z1 Y2 Y3 Z4 Y5]
+ (-1.9332412771050127e-07) [Y0 Z1 Y2 X3 Z4 X5]
+ (-1.9332412771050127e-07) [X0 Z1 X2 Y3 Z4 Y5]
+ (-1.9332412771050127e-07) [X0 Z1 X2 X3 Z4 X5]
+ (-1.839420915466541e-07) [Y1 Z2 Z3 X4 X6 Y7]
+ (-1.839420915466541e-07) [Y1 Z2 Z3 Y4 Y6 Y7]
+ (-1.839420915466541e-07) [X1 Z2 Z3 X4 X6 X7]
+ (-1.839420915466541e-07) [X1 Z2 Z3 Y4 Y6 X7]
+ (-1.5510539176862112e-07) [Y0 Z1 Y2 Y4 Z5 Y6]
+ (-1.5510539176862112e-07) [X0 Z1 X2 X4 Z5 X6]
+ (-1.5510539176862112e-07) [Y1 Z2 Y3 Y5 Z6 Y7]
+ (-1.5510539176862112e-07) [X1 Z2 X3 X5 Z6 X7]
+ (-1.3807781480797566e-07) [Y0 Z1 Y2 X4 Z5 X6]
+ (-1.3807781480797566e-07) [X0 Z1 X2 Y4 Z5 Y6]
+ (-1.3807781480797566e-07) [Y0 Z1 Y2 Y5 Z6 Y7]
+ (-1.3807781480797566e-07) [Y0 Z1 Y2 X5 Z6 X7]
+ (-1.3807781480797566e-07) [X0 Z1 X2 Y5 Z6 Y7]
+ (-1.3807781480797566e-07) [X0 Z1 X2 X5 Z6 X7]
+ (-1.3807781480797566e-07) [Y1 Z2 Y3 Y4 Z5 Y6]
+ (-1.3807781480797566e-07) [Y1 Z2 Y3 X4 Z5 X6]
+ (-1.3807781480797566e-07) [X1 Z2 X3 Y4 Z5 Y6]
+ (-1.3807781480797566e-07) [X1 Z2 X3 X4 Z5 X6]
+ (-1.3807781480797566e-07) [Y1 Z2 Y3 X5 Z6 X7]
+ (-1.3807781480797566e-07) [X1 Z2 X3 Y5 Z6 Y7]
+ (-1.2919694862174914e-07) [Y0 Z1 Z2 Z3 Y4 Z5]
+ (-1.2919694862174914e-07) [X0 Z1 Z2 Z3 X4 Z5]
+ (-1.1076325599240807e-07) [Y0 Z1 Y2 Y11 Z12 Y13]
+ (-1.1076325599240807e-07) [Y0 Z1 Y2 X11 Z12 X13]
+ (-1.1076325599240807e-07) [X0 Z1 X2 Y11 Z12 Y13]
+ (-1.1076325599240807e-07) [X0 Z1 X2 X11 Z12 X13]
+ (-1.1076325599240807e-07) [Y1 Z2 Y3 Y10 Z11 Y12]
+ (-1.1076325599240807e-07) [Y1 Z2 Y3 X10 Z11 X12]
+ (-1.1076325599240807e-07) [X1 Z2 X3 Y10 Z11 Y12]
+ (-1.1076325599240807e-07) [X1 Z2 X3 X10 Z11 X12]
+ (8.057446596071971e-08) [Y1 Z2 Z3 X4 X10 Y11]
+ (8.057446596071971e-08) [Y1 Z2 Z3 Y4 Y10 Y11]
+ (8.057446596071971e-08) [X1 Z2 Z3 X4 X10 X11]
+ (8.057446596071971e-08) [X1 Z2 Z3 Y4 Y10 X11]
+ (8.64931013502858e-08) [Y0 Z1 Z2 Z3 Y4 Z9]
+ (8.64931013502858e-08) [X0 Z1 Z2 Z3 X4 Z9]
+ (8.64931013502858e-08) [Y1 Z2 Z3 Z4 Y5 Z8]
+ (8.64931013502858e-08) [X1 Z2 Z3 Z4 X5 Z8]
+ (1.8394209154665408e-07) [Y0 Z1 Z2 Z3 Y4 Z6]
+ (1.8394209154665408e-07) [X0 Z1 Z2 Z3 X4 Z6]
+ (1.8394209154665408e-07) [Y1 Z2 Z3 Z4 Y5 Z7]
+ (1.8394209154665408e-07) [X1 Z2 Z3 Z4 X5 Z7]
+ (2.1990516187586975e-07) [Y2 X3 X4 Z5 Z6 Y7]
+ (2.1990516187586975e-07) [X2 Y3 Y4 Z5 Z6 X7]
+ (2.4473231288452714e-07) [Y0 X1 X4 Z5 Z6 Y7]
+ (2.4473231288452714e-07) [X0 Y1 Y4 Z5 Z6 X7]
+ (3.236259961424502e-07) [Y0 Z1 Z2 Z3 Y4 Z8]
+ (3.236259961424502e-07) [X0 Z1 Z2 Z3 X4 Z8]
+ (3.236259961424502e-07) [Y1 Z2 Z3 Z4 Y5 Z9]
+ (3.236259961424502e-07) [X1 Z2 Z3 Z4 X5 Z9]
+ (3.3281393505952287e-07) [Y7 Y8 X9 Z10 Z11 X12]
+ (3.3281393505952287e-07) [X7 X8 Y9 Z10 Z11 Y12]
+ (3.5707613291337756e-07) [Y0 X1 X2 Z3 Z4 Y5]
+ (3.5707613291337756e-07) [X0 Y1 Y2 Z3 Z4 X5]
+ (4.838052750963432e-07) [Y4 Z5 Z6 X7 X8 Y9]
+ (4.838052750963432e-07) [X4 Z5 Z6 Y7 Y8 X9]
+ (5.627851911464074e-07) [Y0 Y1 X10 Z11 Z12 X13]
+ (5.627851911464074e-07) [X0 X1 Y10 Z11 Z12 Y13]
+ (6.628614201788762e-07) [Y8 Y9 X10 Z11 Z12 X13]
+ (6.628614201788762e-07) [X8 X9 Y10 Z11 Z12 Y13]
+ (7.956895372590624e-07) [Y2 Z3 Z4 X5 X8 Y9]
+ (7.956895372590624e-07) [X2 Z3 Z4 Y5 Y8 X9]
+ (9.306536652212071e-07) [Y0 Z1 Z2 Z3 Y4 Z13]
+ (9.306536652212071e-07) [X0 Z1 Z2 Z3 X4 Z13]
+ (9.306536652212071e-07) [Y1 Z2 Z3 Z4 Y5 Z12]
+ (9.306536652212071e-07) [X1 Z2 Z3 Z4 X5 Z12]
+ (1.035847760139442e-06) [Y6 X7 X10 Z11 Z12 Y13]
+ (1.035847760139442e-06) [X6 Y7 Y10 Z11 Z12 X13]
+ (1.228333782490791e-06) [Y5 Y6 X7 Z8 Z9 X10]
+ (1.228333782490791e-06) [X5 X6 Y7 Z8 Z9 Y10]
+ (1.2393363217361852e-06) [Y0 Z1 Z2 Z3 Y4 Z12]
+ (1.2393363217361852e-06) [X0 Z1 Z2 Z3 X4 Z12]
+ (1.2393363217361852e-06) [Y1 Z2 Z3 Z4 Y5 Z13]
+ (1.2393363217361852e-06) [X1 Z2 Z3 Z4 X5 Z13]
+ (1.3304731887091933e-06) [Y5 Z6 Z7 X8 X9 Y10]
+ (1.3304731887091933e-06) [X5 Z6 Z7 Y8 Y9 X10]
+ (1.4548424490651669e-06) [Y2 Z3 Z4 X5 X6 Y7]
+ (1.4548424490651669e-06) [X2 Z3 Z4 Y5 Y6 X7]
+ (2.1726691015454515e-06) [Y2 Y3 X10 Z11 Z12 X13]
+ (2.1726691015454515e-06) [X2 X3 Y10 Z11 Z12 Y13]
+ (3.0882507114205965e-06) [Y3 Z4 Z5 X6 X11 Y12]
+ (3.0882507114205965e-06) [X3 Z4 Z5 Y6 Y11 X12]
+ (3.117447946095729e-06) [Z0 Y1 Z2 Z3 Z4 Y5]
+ (3.117447946095729e-06) [Z0 X1 Z2 Z3 Z4 X5]
+ (3.1513463112608105e-06) [Y3 X4 X7 Z8 Z9 Y10]
+ (3.1513463112608105e-06) [X3 Y4 Y7 Z8 Z9 X10]
+ (3.3131455002217625e-06) [Y7 Z8 Z9 X10 X11 Y12]
+ (3.3131455002217625e-06) [X7 Z8 Z9 Y10 Y11 X12]
+ (3.3343312895124485e-06) [Y5 Z6 Z7 Z8 Z9 Y11]
+ (3.3343312895124485e-06) [X5 Z6 Z7 Z8 Z9 X11]
+ (3.694513294619012e-06) [Y4 X5 X10 Z11 Z12 Y13]
+ (3.694513294619012e-06) [X4 Y5 Y10 Z11 Z12 X13]
+ (4.18393255951702e-06) [Y7 Z8 Z9 Z10 Z11 Y13]
+ (4.18393255951702e-06) [X7 Z8 Z9 Z10 Z11 X13]
+ (4.556569218336367e-06) [Y4 Z5 Z6 X7 X12 Y13]
+ (4.556569218336367e-06) [X4 Z5 Z6 Y7 Y12 X13]
+ (4.643051068636404e-06) [Y2 Z3 Z4 X5 X10 Y11]
+ (4.643051068636404e-06) [X2 Z3 Z4 Y5 Y10 X11]
+ (5.275883122294747e-06) [Y2 Z3 Z4 Y5 X12 X13]
+ (5.275883122294747e-06) [X2 Z3 Z4 X5 Y12 Y13]
+ (5.974311713606783e-06) [Y4 Z5 Z6 Y7 X10 X11]
+ (5.974311713606783e-06) [X4 Z5 Z6 X7 Y10 Y11]
+ (0.0002921986261110467) [Y6 Z7 Y8 Y9 Z10 Y11]
+ (0.0002921986261110467) [Y6 Z7 Y8 X9 Z10 X11]
+ (0.0002921986261110467) [X6 Z7 X8 Y9 Z10 Y11]
+ (0.0002921986261110467) [X6 Z7 X8 X9 Z10 X11]
+ (0.0004956762314914866) [Z2 Y3 Z4 Z5 Z6 Y7]
+ (0.0004956762314914866) [Z2 X3 Z4 Z5 Z6 X7]
+ (0.0006650070219498473) [Y2 Z3 Z4 Z5 Y6 Z12]
+ (0.0006650070219498473) [X2 Z3 Z4 Z5 X6 Z12]
+ (0.0006650070219498473) [Y3 Z4 Z5 Z6 Y7 Z13]
+ (0.0006650070219498473) [X3 Z4 Z5 Z6 X7 Z13]
+ (0.0008533856254125476) [Y1 Z2 Z3 X4 X5 Y6]
+ (0.0008533856254125476) [X1 Z2 Z3 Y4 Y5 X6]
+ (0.0016095313817213793) [Y0 Z1 Z2 Z3 Z4 Y6]
+ (0.0016095313817213793) [X0 Z1 Z2 Z3 Z4 X6]
+ (0.0016095313817213793) [Y1 Z2 Z3 Z5 Z6 Y7]
+ (0.0016095313817213793) [X1 Z2 Z3 Z5 Z6 X7]
+ (0.0016676041811440555) [Y0 Z1 Z3 Z4 Z5 Y6]
+ (0.0016676041811440555) [X0 Z1 Z3 Z4 Z5 X6]
+ (0.0016676041811440555) [Y1 Z2 Z4 Z5 Z6 Y7]
+ (0.0016676041811440555) [X1 Z2 Z4 Z5 Z6 X7]
+ (0.0017278753941369364) [Y1 Z2 Z3 Y4 X11 X12]
+ (0.0017278753941369364) [X1 Z2 Z3 X4 Y11 Y12]
+ (0.0017992194936630613) [Y0 Z1 Z2 X3 X10 Y11]
+ (0.0017992194936630613) [X0 Z1 Z2 Y3 Y10 X11]
+ (0.0022939566113524563) [Y1 Y2 X3 Z4 Z5 X6]
+ (0.0022939566113524563) [X1 X2 Y3 Z4 Z5 Y6]
+ (0.002462917007133927) [Y0 Z1 Z2 Z3 Z5 Y6]
+ (0.002462917007133927) [X0 Z1 Z2 Z3 Z5 X6]
+ (0.002462917007133927) [Y1 Z2 Z3 Z4 Z6 Y7]
+ (0.002462917007133927) [X1 Z2 Z3 Z4 Z6 X7]
+ (0.003961560792496512) [Y0 Z1 Z2 Z4 Z5 Y6]
+ (0.003961560792496512) [X0 Z1 Z2 Z4 Z5 X6]
+ (0.003961560792496512) [Y1 Z3 Z4 Z5 Z6 Y7]
+ (0.003961560792496512) [X1 Z3 Z4 Z5 Z6 X7]
+ (0.004424855449441851) [Y0 Z1 Z2 X3 X4 Y5]
+ (0.004424855449441851) [X0 Z1 Z2 Y3 Y4 X5]
+ (0.004575007626639198) [Y0 Z1 Z2 X3 X12 Y13]
+ (0.004575007626639198) [X0 Z1 Z2 Y3 Y12 X13]
+ (0.004668620318776297) [Y1 Y2 X7 Z8 Z9 X10]
+ (0.004668620318776297) [X1 X2 Y7 Z8 Z9 Y10]
+ (0.004684903388155181) [Y0 Z1 Z2 X3 X6 Y7]
+ (0.004684903388155181) [X0 Z1 Z2 Y3 Y6 X7]
+ (0.0053248352342216854) [Y2 Z3 Y4 X10 Z11 X12]
+ (0.0053248352342216854) [X2 Z3 X4 Y10 Z11 Y12]
+ (0.0053248352342216854) [Y3 Z4 Y5 X11 Z12 X13]
+ (0.0053248352342216854) [X3 Z4 X5 Y11 Z12 Y13]
+ (0.00536865935810955) [Y2 X3 X7 Z8 Z9 Y10]
+ (0.00536865935810955) [Y2 Y3 Y7 Z8 Z9 Y10]
+ (0.00536865935810955) [X2 X3 X7 Z8 Z9 X10]
+ (0.00536865935810955) [X2 Y3 Y7 Z8 Z9 X10]
+ (0.0079608807259216) [Y4 Z5 Y6 Y10 Z11 Y12]
+ (0.0079608807259216) [X4 Z5 X6 X10 Z11 X12]
+ (0.0079608807259216) [Y5 Z6 Y7 Y11 Z12 Y13]
+ (0.0079608807259216) [X5 Z6 X7 X11 Z12 X13]
+ (0.008125251921381015) [Y0 Z1 Z2 X3 X8 Y9]
+ (0.008125251921381015) [X0 Z1 Z2 Y3 Y8 X9]
+ (0.008890731522694657) [Y4 Z5 X6 X10 Z11 Y12]
+ (0.008890731522694657) [X4 Z5 Y6 Y10 Z11 X12]
+ (0.008890731522694657) [Y5 Z6 X7 X11 Z12 Y13]
+ (0.008890731522694657) [X5 Z6 Y7 Y11 Z12 X13]
+ (0.010263414868158474) [Y2 Z3 X4 X10 Z11 Y12]
+ (0.010263414868158474) [X2 Z3 Y4 Y10 Z11 X12]
+ (0.010263414868158474) [Y3 Z4 X5 X11 Z12 Y13]
+ (0.010263414868158474) [X3 Z4 Y5 Y11 Z12 X13]
+ (0.010540425907671564) [Y6 Z7 Z8 Z9 Y10 Z13]
+ (0.010540425907671564) [X6 Z7 Z8 Z9 X10 Z13]
+ (0.010540425907671564) [Y7 Z8 Z9 Z10 Y11 Z12]
+ (0.010540425907671564) [X7 Z8 Z9 Z10 X11 Z12]
+ (0.010960074940542632) [Z4 Y7 Z8 Z9 Z10 Y11]
+ (0.010960074940542632) [Z4 X7 Z8 Z9 Z10 X11]
+ (0.010960074940542632) [Z5 Y6 Z7 Z8 Z9 Y10]
+ (0.010960074940542632) [Z5 X6 Z7 Z8 Z9 X10]
+ (0.011307274008848262) [Y6 Z7 Z8 Z9 Y10 Z11]
+ (0.011307274008848262) [X6 Z7 Z8 Z9 X10 Z11]
+ (0.014411099430130806) [Y2 Z3 Z4 Z5 Y6 Z11]
+ (0.014411099430130806) [X2 Z3 Z4 Z5 X6 Z11]
+ (0.014411099430130806) [Y3 Z4 Z5 Z6 Y7 Z10]
+ (0.014411099430130806) [X3 Z4 Z5 Z6 X7 Z10]
+ (0.015225630757226556) [Y3 Z4 Z5 X6 X10 Y11]
+ (0.015225630757226556) [Y3 Z4 Z5 Y6 Y10 Y11]
+ (0.015225630757226556) [X3 Z4 Z5 X6 X10 X11]
+ (0.015225630757226556) [X3 Z4 Z5 Y6 Y10 X11]
+ (0.015588250102380163) [Y2 Z3 Y4 Y10 Z11 Y12]
+ (0.015588250102380163) [X2 Z3 X4 X10 Z11 X12]
+ (0.015588250102380163) [Y3 Z4 Y5 Y11 Z12 Y13]
+ (0.015588250102380163) [X3 Z4 X5 X11 Z12 X13]
+ (0.018266834869375605) [Z4 Y6 Z7 Z8 Z9 Y10]
+ (0.018266834869375605) [Z4 X6 Z7 Z8 Z9 X10]
+ (0.018266834869375605) [Z5 Y7 Z8 Z9 Z10 Y11]
+ (0.018266834869375605) [Z5 X7 Z8 Z9 Z10 X11]
+ (0.019020423173039987) [Z2 Y6 Z7 Z8 Z9 Y10]
+ (0.019020423173039987) [Z2 X6 Z7 Z8 Z9 X10]
+ (0.019020423173039987) [Z3 Y7 Z8 Z9 Z10 Y11]
+ (0.019020423173039987) [Z3 X7 Z8 Z9 Z10 X11]
+ (0.02017592172353558) [Y4 Z5 Z6 X7 X11 Y12]
+ (0.02017592172353558) [Y4 Z5 Z6 Y7 Y11 Y12]
+ (0.02017592172353558) [X4 Z5 Z6 X7 X11 X12]
+ (0.02017592172353558) [X4 Z5 Z6 Y7 Y11 X12]
+ (0.02017592172353558) [Y5 X6 X10 Z11 Z12 Y13]
+ (0.02017592172353558) [Y5 Y6 Y10 Z11 Z12 Y13]
+ (0.02017592172353558) [X5 X6 X10 Z11 Z12 X13]
+ (0.02017592172353558) [X5 Y6 Y10 Z11 Z12 X13]
+ (0.02435307767806892) [Y2 Z3 Y4 Y11 Z12 Y13]
+ (0.02435307767806892) [Y2 Z3 Y4 X11 Z12 X13]
+ (0.02435307767806892) [X2 Z3 X4 Y11 Z12 Y13]
+ (0.02435307767806892) [X2 Z3 X4 X11 Z12 X13]
+ (0.02435307767806892) [Y3 Z4 Y5 Y10 Z11 Y12]
+ (0.02435307767806892) [Y3 Z4 Y5 X10 Z11 X12]
+ (0.02435307767806892) [X3 Z4 X5 Y10 Z11 Y12]
+ (0.02435307767806892) [X3 Z4 X5 X10 Z11 X12]
+ (0.024389082531149537) [Z2 Y7 Z8 Z9 Z10 Y11]
+ (0.024389082531149537) [Z2 X7 Z8 Z9 Z10 X11]
+ (0.024389082531149537) [Z3 Y6 Z7 Z8 Z9 Y10]
+ (0.024389082531149537) [Z3 X6 Z7 Z8 Z9 X10]
+ (0.02510495713884456) [Y6 Z7 Z8 Z9 Y10 Z12]
+ (0.02510495713884456) [X6 Z7 Z8 Z9 X10 Z12]
+ (0.02510495713884456) [Y7 Z8 Z9 Z10 Y11 Z13]
+ (0.02510495713884456) [X7 Z8 Z9 Z10 X11 Z13]
+ (0.030787505389143953) [Z6 Y7 Z8 Z9 Z10 Y11]
+ (0.030787505389143953) [Z6 X7 Z8 Z9 Z10 X11]
+ (0.04587947078129807) [Y0 Z2 Z3 Z4 Z5 Y6]
+ (0.04587947078129807) [X0 Z2 Z3 Z4 Z5 X6]
+ (0.056007330877807786) [Z0 Y7 Z8 Z9 Z10 Y11]
+ (0.056007330877807786) [Z0 X7 Z8 Z9 Z10 X11]
+ (0.056007330877807786) [Z1 Y6 Z7 Z8 Z9 Y10]
+ (0.056007330877807786) [Z1 X6 Z7 Z8 Z9 X10]
+ (0.056084681246613685) [Z0 Y6 Z7 Z8 Z9 Y10]
+ (0.056084681246613685) [Z0 X6 Z7 Z8 Z9 X10]
+ (0.056084681246613685) [Z1 Y7 Z8 Z9 Z10 Y11]
+ (0.056084681246613685) [Z1 X7 Z8 Z9 Z10 X11]
+ (-6.63127792868479e-05) [Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-6.63127792868479e-05) [X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-6.631277928684789e-05) [Y4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-6.631277928684789e-05) [X4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-2.5950860070737446e-05) [Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-2.5950860070737446e-05) [X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-2.5950860070737446e-05) [Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-2.5950860070737446e-05) [X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.04274327701378282) [Y0 Z1 Z2 Z3 Z4 Z5 Y6]
+ (0.04274327701378282) [X0 Z1 Z2 Z3 Z4 Z5 X6]
+ (0.04274327701378282) [Y1 Z2 Z3 Z4 Z5 Z6 Y7]
+ (0.04274327701378282) [X1 Z2 Z3 Z4 Z5 Z6 X7]
+ (-0.04764261217638316) [Y4 Z5 Z6 Z7 Z8 Z10 Z11 Y12]
+ (-0.04764261217638316) [X4 Z5 Z6 Z7 Z8 Z10 Z11 X12]
+ (-0.04764261217638316) [Y5 Z6 Z7 Z9 Z10 Z11 Z12 Y13]
+ (-0.04764261217638316) [X5 Z6 Z7 Z9 Z10 Z11 Z12 X13]
+ (-0.04171881383982182) [Y4 Z5 Z6 Z7 Z9 Z10 Z11 Y12]
+ (-0.04171881383982182) [X4 Z5 Z6 Z7 Z9 Z10 Z11 X12]
+ (-0.04171881383982182) [Y5 Z6 Z7 Z8 Z10 Z11 Z12 Y13]
+ (-0.04171881383982182) [X5 Z6 Z7 Z8 Z10 Z11 Z12 X13]
+ (-0.03956441632289327) [Y4 Z5 Z6 Z8 Z9 Z10 Z11 Y12]
+ (-0.03956441632289327) [X4 Z5 Z6 Z8 Z9 Z10 Z11 X12]
+ (-0.03956441632289327) [Y5 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.03956441632289327) [X5 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.03935916802205304) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Y10]
+ (-0.03935916802205304) [X2 Z3 Z4 Z5 Z6 Z7 Z8 X10]
+ (-0.03935916802205304) [Y3 Z4 Z5 Z6 Z7 Z9 Z10 Y11]
+ (-0.03935916802205304) [X3 Z4 Z5 Z6 Z7 Z9 Z10 X11]
+ (-0.03931805194719754) [Y4 Z5 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.03931805194719754) [X4 Z5 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.03931805194719754) [Y5 Z6 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.03931805194719754) [X5 Z6 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.03560837898831252) [Y2 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-0.03560837898831252) [X2 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-0.02990378951262479) [Y2 Z3 Z4 Z5 Z7 Z8 Z9 Y10]
+ (-0.02990378951262479) [X2 Z3 Z4 Z5 Z7 Z8 Z9 X10]
+ (-0.02990378951262479) [Y3 Z4 Z5 Z6 Z8 Z9 Z10 Y11]
+ (-0.02990378951262479) [X3 Z4 Z5 Z6 Z8 Z9 Z10 X11]
+ (-0.028730779551905516) [Y2 Z3 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-0.028730779551905516) [X2 Z3 Z5 Z6 Z7 Z8 Z9 X10]
+ (-0.028730779551905516) [Y3 Z4 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.028730779551905516) [X3 Z4 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.02563723829602689) [Y4 Z5 Z6 Z7 Z8 Z9 Z11 Y12]
+ (-0.02563723829602689) [X4 Z5 Z6 Z7 Z8 Z9 Z11 X12]
+ (-0.02563723829602689) [Y5 Z6 Z7 Z8 Z9 Z10 Z12 Y13]
+ (-0.02563723829602689) [X5 Z6 Z7 Z8 Z9 Z10 Z12 X13]
+ (-0.02475546329289094) [Y2 Z3 Z4 Z5 Z6 Z7 Z9 Y10]
+ (-0.02475546329289094) [X2 Z3 Z4 Z5 Z6 Z7 Z9 X10]
+ (-0.02475546329289094) [Y3 Z4 Z5 Z6 Z7 Z8 Z10 Y11]
+ (-0.02475546329289094) [X3 Z4 Z5 Z6 Z7 Z8 Z10 X11]
+ (-0.02428211735469314) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 Y11]
+ (-0.02428211735469314) [X3 Z4 Z5 Z6 Z7 Z8 Z9 X11]
+ (-0.023145130929529092) [Y5 Z6 Z7 Z8 Z9 Z10 Z11 Y13]
+ (-0.023145130929529092) [X5 Z6 Z7 Z8 Z9 Z10 Z11 X13]
+ (-0.022528440196013078) [Y4 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.022528440196013078) [X4 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.021433810721600763) [Y2 Z3 Z4 Z5 Z6 Z8 Z9 Y10]
+ (-0.021433810721600763) [X2 Z3 Z4 Z5 Z6 Z8 Z9 X10]
+ (-0.021433810721600763) [Y3 Z4 Z5 Z7 Z8 Z9 Z10 Y11]
+ (-0.021433810721600763) [X3 Z4 Z5 Z7 Z8 Z9 Z10 X11]
+ (-0.01925750509525164) [Y3 Y4 X7 Z8 Z9 Z10 Z11 X12]
+ (-0.01925750509525164) [X3 X4 Y7 Z8 Z9 Z10 Z11 Y12]
+ (-0.019028242443847234) [Y2 Z3 Z4 Y5 X10 Z11 Z12 X13]
+ (-0.019028242443847234) [X2 Z3 Z4 X5 Y10 Z11 Z12 Y13]
+ (-0.01888903030494294) [Y2 Z3 Z4 Z6 Z7 Z8 Z9 Y10]
+ (-0.01888903030494294) [X2 Z3 Z4 Z6 Z7 Z8 Z9 X10]
+ (-0.01888903030494294) [Y3 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.01888903030494294) [X3 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.01602460368917945) [Y5 Z6 Z7 Z8 Z9 X10 X11 Y12]
+ (-0.01602460368917945) [X5 Z6 Z7 Z8 Z9 Y10 Y11 X12]
+ (-0.015225630757226558) [Y2 Z3 Z4 Z5 Z6 X7 X10 Y11]
+ (-0.015225630757226558) [X2 Z3 Z4 Z5 Z6 Y7 Y10 X11]
+ (-0.014603704729162099) [Y3 Z4 Z5 Z6 Z7 Y8 X9 X10]
+ (-0.014603704729162099) [X3 Z4 Z5 Z6 Z7 X8 Y9 Y10]
+ (-0.014564531231172998) [Y6 Z7 Z8 Z9 Z10 Y11 X12 X13]
+ (-0.014564531231172998) [X6 Z7 Z8 Z9 Z10 X11 Y12 Y13]
+ (-0.01175601341981927) [Y2 Z3 Z4 Z5 Z6 Y7 X8 X9]
+ (-0.01175601341981927) [X2 Z3 Z4 Z5 Z6 X7 Y8 Y9]
+ (-0.011285190200840924) [Y4 Z5 Z6 X7 X10 Z11 Z12 Y13]
+ (-0.011285190200840924) [X4 Z5 Z6 Y7 Y10 Z11 Z12 X13]
+ (-0.009841749246962576) [Y3 X4 X5 Z6 Z7 Z8 Z9 Y10]
+ (-0.009841749246962576) [X3 Y4 Y5 Z6 Z7 Z8 Z9 X10]
+ (-0.00961263460684744) [Y4 Z5 Z6 Z7 Z8 Z9 Z10 Y12]
+ (-0.00961263460684744) [X4 Z5 Z6 Z7 Z8 Z9 Z10 X12]
+ (-0.00961263460684744) [Y5 Z6 Z7 Z8 Z9 Z11 Z12 Y13]
+ (-0.00961263460684744) [X5 Z6 Z7 Z8 Z9 Z11 Z12 X13]
+ (-0.008469978791024029) [Y3 Z4 Z5 X6 X7 Z8 Z9 Y10]
+ (-0.008469978791024029) [X3 Z4 Z5 Y6 Y7 Z8 Z9 X10]
+ (-0.007306759928832976) [Y4 Y5 X6 Z7 Z8 Z9 Z10 X11]
+ (-0.007306759928832976) [X4 X5 Y6 Z7 Z8 Z9 Z10 Y11]
+ (-0.005923798336561347) [Y5 Z6 Z7 Y8 X9 Z10 Z11 X12]
+ (-0.005923798336561347) [X5 Z6 Z7 X8 Y9 Z10 Z11 Y12]
+ (-0.0056526209780173595) [Y0 Y1 X2 Z3 Z4 Z5 Z6 X7]
+ (-0.0056526209780173595) [X0 X1 Y2 Z3 Z4 Z5 Z6 Y7]
+ (-0.00536865935810955) [Y2 X3 X6 Z7 Z8 Z9 Z10 Y11]
+ (-0.00536865935810955) [X2 Y3 Y6 Z7 Z8 Z9 Z10 X11]
+ (-0.004158797381840042) [Y2 Z3 Z4 Z5 Z6 Y7 X12 X13]
+ (-0.004158797381840042) [X2 Z3 Z4 Z5 Z6 X7 Y12 Y13]
+ (-0.003356670563832888) [Y1 Z2 Z3 Z4 Z5 X6 X8 Y9]
+ (-0.003356670563832888) [Y1 Z2 Z3 Z4 Z5 Y6 Y8 Y9]
+ (-0.003356670563832888) [X1 Z2 Z3 Z4 Z5 X6 X8 X9]
+ (-0.003356670563832888) [X1 Z2 Z3 Z4 Z5 Y6 Y8 X9]
+ (-0.0032675138544235455) [Y1 Z2 Z3 Z4 Z5 X6 X12 Y13]
+ (-0.0032675138544235455) [Y1 Z2 Z3 Z4 Z5 Y6 Y12 Y13]
+ (-0.0032675138544235455) [X1 Z2 Z3 Z4 Z5 X6 X12 X13]
+ (-0.0032675138544235455) [X1 Z2 Z3 Z4 Z5 Y6 Y12 X13]
+ (-0.0027790267990255232) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Z7]
+ (-0.0027790267990255232) [X0 Z1 Z2 Z3 Z4 Z5 X6 Z7]
+ (-0.0026860409778065933) [Y0 Z1 Z2 Z3 X4 X10 Z11 Y12]
+ (-0.0026860409778065933) [X0 Z1 Z2 Z3 Y4 Y10 Z11 X12]
+ (-0.0026860409778065933) [Y1 Z2 Z3 Z4 X5 X11 Z12 Y13]
+ (-0.0026860409778065933) [X1 Z2 Z3 Z4 Y5 Y11 Z12 X13]
+ (-0.002293956611352456) [Y0 Z1 Y2 Y3 Z4 Z5 Z6 Y7]
+ (-0.002293956611352456) [Y0 Z1 Y2 X3 Z4 Z5 Z6 X7]
+ (-0.002293956611352456) [X0 Z1 X2 Y3 Z4 Z5 Z6 Y7]
+ (-0.002293956611352456) [X0 Z1 X2 X3 Z4 Z5 Z6 X7]
+ (-0.0009581655836696568) [Y0 Z1 Z2 Z3 Z4 X5 X11 Y12]
+ (-0.0009581655836696568) [Y0 Z1 Z2 Z3 Z4 Y5 Y11 Y12]
+ (-0.0009581655836696568) [X0 Z1 Z2 Z3 Z4 X5 X11 X12]
+ (-0.0009581655836696568) [X0 Z1 Z2 Z3 Z4 Y5 Y11 X12]
+ (-0.0009581655836696568) [Y1 Z2 Z3 X4 X10 Z11 Z12 Y13]
+ (-0.0009581655836696568) [Y1 Z2 Z3 Y4 Y10 Z11 Z12 Y13]
+ (-0.0009581655836696568) [X1 Z2 Z3 X4 X10 Z11 Z12 X13]
+ (-0.0009581655836696568) [X1 Z2 Z3 Y4 Y10 Z11 Z12 X13]
+ (-0.00024636437569573055) [Y5 Y6 X7 Z8 Z9 Z10 Z11 X12]
+ (-0.00024636437569573055) [X5 X6 Y7 Z8 Z9 Z10 Z11 Y12]
+ (-0.00013840177303549935) [Y1 Z2 Z3 Z4 Z5 X6 X10 Y11]
+ (-0.00013840177303549935) [Y1 Z2 Z3 Z4 Z5 Y6 Y10 Y11]
+ (-0.00013840177303549935) [X1 Z2 Z3 Z4 Z5 X6 X10 X11]
+ (-0.00013840177303549935) [X1 Z2 Z3 Z4 Z5 Y6 Y10 X11]
+ (-7.735036880589329e-05) [Y0 Y1 X6 Z7 Z8 Z9 Z10 X11]
+ (-7.735036880589329e-05) [X0 X1 Y6 Z7 Z8 Z9 Z10 Y11]
+ (-1.6103585306296897e-05) [Z0 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-1.6103585306296897e-05) [Z0 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-1.6103585306296897e-05) [Z1 Y4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-1.6103585306296897e-05) [Z1 X4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-1.531680879585478e-05) [Z0 Y4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-1.531680879585478e-05) [Z0 X4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-1.531680879585478e-05) [Z1 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-1.531680879585478e-05) [Z1 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-9.806102775527879e-06) [Y4 Z5 Z6 Z7 Z8 Z9 Y10 Z13]
+ (-9.806102775527879e-06) [X4 Z5 Z6 Z7 Z8 Z9 X10 Z13]
+ (-9.806102775527879e-06) [Y5 Z6 Z7 Z8 Z9 Z10 Y11 Z12]
+ (-9.806102775527879e-06) [X5 Z6 Z7 Z8 Z9 Z10 X11 Z12]
+ (-7.089799467766883e-06) [Z2 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-7.089799467766883e-06) [Z2 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-7.089799467766883e-06) [Z3 Y4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-7.089799467766883e-06) [Z3 X4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-6.652209669728389e-06) [Z0 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-6.652209669728389e-06) [Z0 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-6.652209669728389e-06) [Z1 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-6.652209669728389e-06) [Z1 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-6.4818518341886835e-06) [Z0 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-6.4818518341886835e-06) [Z0 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-6.4818518341886835e-06) [Z1 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-6.4818518341886835e-06) [Z1 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-5.071480736632897e-06) [Y5 Z6 Z7 Z8 Z9 X10 X12 Y13]
+ (-5.071480736632897e-06) [Y5 Z6 Z7 Z8 Z9 Y10 Y12 Y13]
+ (-5.071480736632897e-06) [X5 Z6 Z7 Z8 Z9 X10 X12 X13]
+ (-5.071480736632897e-06) [X5 Z6 Z7 Z8 Z9 Y10 Y12 X13]
+ (-4.734622038894984e-06) [Y4 Z5 Z6 Z7 Z8 Z9 Y10 Z12]
+ (-4.734622038894984e-06) [X4 Z5 Z6 Z7 Z8 Z9 X10 Z12]
+ (-4.734622038894984e-06) [Y5 Z6 Z7 Z8 Z9 Z10 Y11 Z13]
+ (-4.734622038894984e-06) [X5 Z6 Z7 Z8 Z9 Z10 X11 Z13]
+ (-4.728843147374735e-06) [Z2 Y4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-4.728843147374735e-06) [Z2 X4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-4.728843147374735e-06) [Z3 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-4.728843147374735e-06) [Z3 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-4.253224225723285e-06) [Z4 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-4.253224225723285e-06) [Z4 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-3.7696594521319486e-06) [Z6 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-3.7696594521319486e-06) [Z6 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-3.5443954293970663e-06) [Y2 Z3 Z4 Z5 Z6 X7 X11 Y12]
+ (-3.5443954293970663e-06) [Y2 Z3 Z4 Z5 Z6 Y7 Y11 Y12]
+ (-3.5443954293970663e-06) [X2 Z3 Z4 Z5 Z6 X7 X11 X12]
+ (-3.5443954293970663e-06) [X2 Z3 Z4 Z5 Z6 Y7 Y11 X12]
+ (-3.5443954293970663e-06) [Y3 Z4 Z5 X6 X10 Z11 Z12 Y13]
+ (-3.5443954293970663e-06) [Y3 Z4 Z5 Y6 Y10 Z11 Z12 Y13]
+ (-3.5443954293970663e-06) [X3 Z4 Z5 X6 X10 Z11 Z12 X13]
+ (-3.5443954293970663e-06) [X3 Z4 Z5 Y6 Y10 Z11 Z12 X13]
+ (-2.360956320392147e-06) [Y2 X3 X5 Z6 Z7 Z8 Z9 Y10]
+ (-2.360956320392147e-06) [Y2 Y3 Y5 Z6 Z7 Z8 Z9 Y10]
+ (-2.360956320392147e-06) [X2 X3 X5 Z6 Z7 Z8 Z9 X10]
+ (-2.360956320392147e-06) [X2 Y3 Y5 Z6 Z7 Z8 Z9 X10]
+ (-2.103215604778167e-06) [Z2 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-2.103215604778167e-06) [Z2 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-2.103215604778167e-06) [Z3 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-2.103215604778167e-06) [Z3 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-2.0111220983371306e-06) [Z2 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-2.0111220983371306e-06) [Z2 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-2.0111220983371306e-06) [Z3 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-2.0111220983371306e-06) [Z3 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-1.942946836692335e-06) [Z4 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-1.942946836692335e-06) [Z4 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-1.942946836692335e-06) [Z5 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-1.942946836692335e-06) [Z5 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-1.6541174771781348e-06) [Z4 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-1.6541174771781348e-06) [Z4 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-1.6541174771781348e-06) [Z5 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-1.6541174771781348e-06) [Z5 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-1.5224930676837343e-06) [Y2 Z3 Z4 X5 X7 Z8 Z9 Y10]
+ (-1.5224930676837343e-06) [Y2 Z3 Z4 Y5 Y7 Z8 Z9 Y10]
+ (-1.5224930676837343e-06) [X2 Z3 Z4 X5 X7 Z8 Z9 X10]
+ (-1.5224930676837343e-06) [X2 Z3 Z4 Y5 Y7 Z8 Z9 X10]
+ (-1.5224930676837343e-06) [Y3 X4 X6 Z7 Z8 Z9 Z10 Y11]
+ (-1.5224930676837343e-06) [Y3 Y4 Y6 Z7 Z8 Z9 Z10 Y11]
+ (-1.5224930676837343e-06) [X3 X4 X6 Z7 Z8 Z9 Z10 X11]
+ (-1.5224930676837343e-06) [X3 Y4 Y6 Z7 Z8 Z9 Z10 X11]
+ (-1.228333782490791e-06) [Y4 Z5 Y6 Y7 Z8 Z9 Z10 Y11]
+ (-1.228333782490791e-06) [Y4 Z5 Y6 X7 Z8 Z9 Z10 X11]
+ (-1.228333782490791e-06) [X4 Z5 X6 Y7 Z8 Z9 Z10 Y11]
+ (-1.228333782490791e-06) [X4 Z5 X6 X7 Z8 Z9 Z10 X11]
+ (-7.988770288494342e-07) [Y2 Z3 Z4 Z5 Y6 Y10 Z11 Y12]
+ (-7.988770288494342e-07) [X2 Z3 Z4 Z5 X6 X10 Z11 X12]
+ (-7.988770288494342e-07) [Y3 Z4 Z5 Z6 Y7 Y11 Z12 Y13]
+ (-7.988770288494342e-07) [X3 Z4 Z5 Z6 X7 X11 Z12 X13]
+ (-7.867765104421185e-07) [Y0 X1 X5 Z6 Z7 Z8 Z9 Y10]
+ (-7.867765104421185e-07) [Y0 Y1 Y5 Z6 Z7 Z8 Z9 Y10]
+ (-7.867765104421185e-07) [X0 X1 X5 Z6 Z7 Z8 Z9 X10]
+ (-7.867765104421185e-07) [X0 Y1 Y5 Z6 Z7 Z8 Z9 X10]
+ (-7.18999097555398e-07) [Y1 Y2 X7 Z8 Z9 Z10 Z11 X12]
+ (-7.18999097555398e-07) [X1 X2 Y7 Z8 Z9 Z10 Z11 Y12]
+ (-6.175246207274501e-07) [Y1 Z2 Z3 Z4 Z5 Y6 X11 X12]
+ (-6.175246207274501e-07) [X1 Z2 Z3 Z4 Z5 X6 Y11 Y12]
+ (-5.471647744831827e-07) [Y0 Z1 Z2 Y3 X10 Z11 Z12 X13]
+ (-5.471647744831827e-07) [X0 Z1 Z2 X3 Y10 Z11 Z12 Y13]
+ (-4.561447179764692e-07) [Y2 Z3 Z4 Z5 X6 X10 Z11 Y12]
+ (-4.561447179764692e-07) [X2 Z3 Z4 Z5 Y6 Y10 Z11 X12]
+ (-4.561447179764692e-07) [Y3 Z4 Z5 Z6 X7 X11 Z12 Y13]
+ (-4.561447179764692e-07) [X3 Z4 Z5 Z6 Y7 Y11 Z12 X13]
+ (-4.523389678056069e-07) [Y1 Y2 X5 Z6 Z7 Z8 Z9 X10]
+ (-4.523389678056069e-07) [X1 X2 Y5 Z6 Z7 Z8 Z9 Y10]
+ (-3.4273231087296514e-07) [Y2 Z3 Z4 Z5 Y6 X10 Z11 X12]
+ (-3.4273231087296514e-07) [X2 Z3 Z4 Z5 X6 Y10 Z11 Y12]
+ (-3.4273231087296514e-07) [Y3 Z4 Z5 Z6 Y7 X11 Z12 X13]
+ (-3.4273231087296514e-07) [X3 Z4 Z5 Z6 X7 Y11 Z12 Y13]
+ (-3.3281393505952287e-07) [Y6 Z7 Y8 Y9 Z10 Z11 Z12 Y13]
+ (-3.3281393505952287e-07) [Y6 Z7 Y8 X9 Z10 Z11 Z12 X13]
+ (-3.3281393505952287e-07) [X6 Z7 X8 Y9 Z10 Z11 Z12 Y13]
+ (-3.3281393505952287e-07) [X6 Z7 X8 X9 Z10 Z11 Z12 X13]
+ (-3.0868265651497796e-07) [Y0 Z1 Z2 Z3 Z4 Y5 X12 X13]
+ (-3.0868265651497796e-07) [X0 Z1 Z2 Z3 Z4 X5 Y12 Y13]
+ (-2.888293595141998e-07) [Y4 X5 X7 Z8 Z9 Z10 Z11 Y12]
+ (-2.888293595141998e-07) [Y4 Y5 Y7 Z8 Z9 Z10 Z11 Y12]
+ (-2.888293595141998e-07) [X4 X5 X7 Z8 Z9 Z10 Z11 X12]
+ (-2.888293595141998e-07) [X4 Y5 Y7 Z8 Z9 Z10 Z11 X12]
+ (-2.371328947921644e-07) [Y0 Z1 Z2 Z3 Z4 Y5 X8 X9]
+ (-2.371328947921644e-07) [X0 Z1 Z2 Z3 Z4 X5 Y8 Y9]
+ (-1.839420915466541e-07) [Y0 Z1 Z2 Z3 Z4 Y5 X6 X7]
+ (-1.839420915466541e-07) [X0 Z1 Z2 Z3 Z4 X5 Y6 Y7]
+ (-8.05744659607197e-08) [Y0 Z1 Z2 Z3 Z4 X5 X10 Y11]
+ (-8.05744659607197e-08) [X0 Z1 Z2 Z3 Z4 Y5 Y10 X11]
+ (4.537178096289635e-08) [X2 Z3 X4 Y6 Z7 Z8 Z9 Y10]
+ (4.537178096289635e-08) [Y2 Z3 Y4 X6 Z7 Z8 Z9 X10]
+ (4.537178096289635e-08) [X3 Z4 X5 Y7 Z8 Z9 Z10 Y11]
+ (4.537178096289635e-08) [Y3 Z4 Y5 X7 Z8 Z9 Z10 X11]
+ (8.05744659607197e-08) [Y0 Z1 Z2 Z3 Z4 Y5 X10 X11]
+ (8.05744659607197e-08) [X0 Z1 Z2 Z3 Z4 X5 Y10 Y11]
+ (9.20935064410362e-08) [Y2 X3 X7 Z8 Z9 Z10 Z11 Y12]
+ (9.20935064410362e-08) [Y2 Y3 Y7 Z8 Z9 Z10 Z11 Y12]
+ (9.20935064410362e-08) [X2 X3 X7 Z8 Z9 Z10 Z11 X12]
+ (9.20935064410362e-08) [X2 Y3 Y7 Z8 Z9 Z10 Z11 X12]
+ (1.7035783553970534e-07) [Y0 X1 X7 Z8 Z9 Z10 Z11 Y12]
+ (1.7035783553970534e-07) [Y0 Y1 Y7 Z8 Z9 Z10 Z11 Y12]
+ (1.7035783553970534e-07) [X0 X1 X7 Z8 Z9 Z10 Z11 X12]
+ (1.7035783553970534e-07) [X0 Y1 Y7 Z8 Z9 Z10 Z11 X12]
+ (1.839420915466541e-07) [Y0 Z1 Z2 Z3 Z4 X5 X6 Y7]
+ (1.839420915466541e-07) [X0 Z1 Z2 Z3 Z4 Y5 Y6 X7]
+ (2.371328947921644e-07) [Y0 Z1 Z2 Z3 Z4 X5 X8 Y9]
+ (2.371328947921644e-07) [X0 Z1 Z2 Z3 Z4 Y5 Y8 X9]
+ (3.0868265651497796e-07) [Y0 Z1 Z2 Z3 Z4 X5 X12 Y13]
+ (3.0868265651497796e-07) [X0 Z1 Z2 Z3 Z4 Y5 Y12 X13]
+ (4.523389678056069e-07) [Y1 X2 X5 Z6 Z7 Z8 Z9 Y10]
+ (4.523389678056069e-07) [X1 Y2 Y5 Z6 Z7 Z8 Z9 X10]
+ (5.471647744831827e-07) [Y0 Z1 Z2 X3 X10 Z11 Z12 Y13]
+ (5.471647744831827e-07) [X0 Z1 Z2 Y3 Y10 Z11 Z12 X13]
+ (6.175246207274501e-07) [Y1 Z2 Z3 Z4 Z5 X6 X11 Y12]
+ (6.175246207274501e-07) [X1 Z2 Z3 Z4 Z5 Y6 Y11 X12]
+ (7.18999097555398e-07) [Y1 X2 X7 Z8 Z9 Z10 Z11 Y12]
+ (7.18999097555398e-07) [X1 Y2 Y7 Z8 Z9 Z10 Z11 X12]
+ (1.3304731887091933e-06) [Y4 Z5 Z6 Z7 Y8 Y9 Z10 Y11]
+ (1.3304731887091933e-06) [Y4 Z5 Z6 Z7 Y8 X9 Z10 X11]
+ (1.3304731887091933e-06) [X4 Z5 Z6 Z7 X8 Y9 Z10 Y11]
+ (1.3304731887091933e-06) [X4 Z5 Z6 Z7 X8 X9 Z10 X11]
+ (1.6288532435770764e-06) [Y2 Z3 X4 X6 Z7 Z8 Z9 Y10]
+ (1.6288532435770764e-06) [X2 Z3 Y4 Y6 Z7 Z8 Z9 X10]
+ (1.6288532435770764e-06) [Y3 Z4 X5 X7 Z8 Z9 Z10 Y11]
+ (1.6288532435770764e-06) [X3 Z4 Y5 Y7 Z8 Z9 Z10 X11]
+ (1.68934895152674e-06) [Y2 Z3 Y4 Y6 Z7 Z8 Z9 Y10]
+ (1.68934895152674e-06) [X2 Z3 X4 X6 Z7 Z8 Z9 X10]
+ (1.68934895152674e-06) [Y3 Z4 Y5 Y7 Z8 Z9 Z10 Y11]
+ (1.68934895152674e-06) [X3 Z4 X5 X7 Z8 Z9 Z10 X11]
+ (2.745518400547632e-06) [Y2 Z3 Z4 Z5 Y6 Y11 Z12 Y13]
+ (2.745518400547632e-06) [Y2 Z3 Z4 Z5 Y6 X11 Z12 X13]
+ (2.745518400547632e-06) [X2 Z3 Z4 Z5 X6 Y11 Z12 Y13]
+ (2.745518400547632e-06) [X2 Z3 Z4 Z5 X6 X11 Z12 X13]
+ (2.745518400547632e-06) [Y3 Z4 Z5 Z6 Y7 Y10 Z11 Y12]
+ (2.745518400547632e-06) [Y3 Z4 Z5 Z6 Y7 X10 Z11 X12]
+ (2.745518400547632e-06) [X3 Z4 Z5 Z6 X7 Y10 Z11 Y12]
+ (2.745518400547632e-06) [X3 Z4 Z5 Z6 X7 X10 Z11 X12]
+ (3.2118420192104745e-06) [Y2 Z3 Y4 Y7 Z8 Z9 Z10 Y11]
+ (3.2118420192104745e-06) [Y2 Z3 Y4 X7 Z8 Z9 Z10 X11]
+ (3.2118420192104745e-06) [X2 Z3 X4 Y7 Z8 Z9 Z10 Y11]
+ (3.2118420192104745e-06) [X2 Z3 X4 X7 Z8 Z9 Z10 X11]
+ (3.2118420192104745e-06) [Y3 Z4 Y5 Y6 Z7 Z8 Z9 Y10]
+ (3.2118420192104745e-06) [Y3 Z4 Y5 X6 Z7 Z8 Z9 X10]
+ (3.2118420192104745e-06) [X3 Z4 X5 Y6 Z7 Z8 Z9 Y10]
+ (3.2118420192104745e-06) [X3 Z4 X5 X6 Z7 Z8 Z9 X10]
+ (3.3131455002217625e-06) [Y6 Z7 Z8 Z9 Y10 Y11 Z12 Y13]
+ (3.3131455002217625e-06) [Y6 Z7 Z8 Z9 Y10 X11 Z12 X13]
+ (3.3131455002217625e-06) [X6 Z7 Z8 Z9 X10 Y11 Z12 Y13]
+ (3.3131455002217625e-06) [X6 Z7 Z8 Z9 X10 X11 Z12 X13]
+ (3.334331289512449e-06) [Y4 Z5 Z6 Z7 Z8 Z9 Y10 Z11]
+ (3.334331289512449e-06) [X4 Z5 Z6 Z7 Z8 Z9 X10 Z11]
+ (4.18393255951702e-06) [Y6 Z7 Z8 Z9 Z10 Z11 Y12 Z13]
+ (4.18393255951702e-06) [X6 Z7 Z8 Z9 Z10 Z11 X12 Z13]
+ (7.735036880589329e-05) [Y0 X1 X6 Z7 Z8 Z9 Z10 Y11]
+ (7.735036880589329e-05) [X0 Y1 Y6 Z7 Z8 Z9 Z10 X11]
+ (0.00024636437569573055) [Y5 X6 X7 Z8 Z9 Z10 Z11 Y12]
+ (0.00024636437569573055) [X5 Y6 Y7 Z8 Z9 Z10 Z11 X12]
+ (0.0004458535128840776) [Y0 Z1 X2 X6 Z7 Z8 Z9 Y10]
+ (0.0004458535128840776) [X0 Z1 Y2 Y6 Z7 Z8 Z9 X10]
+ (0.0004458535128840776) [Y1 Z2 X3 X7 Z8 Z9 Z10 Y11]
+ (0.0004458535128840776) [X1 Z2 Y3 Y7 Z8 Z9 Z10 X11]
+ (0.0005940221543005498) [Y0 Z1 Y2 Y7 Z8 Z9 Z10 Y11]
+ (0.0005940221543005498) [Y0 Z1 Y2 X7 Z8 Z9 Z10 X11]
+ (0.0005940221543005498) [X0 Z1 X2 Y7 Z8 Z9 Z10 Y11]
+ (0.0005940221543005498) [X0 Z1 X2 X7 Z8 Z9 Z10 X11]
+ (0.0005940221543005498) [Y1 Z2 Y3 Y6 Z7 Z8 Z9 Y10]
+ (0.0005940221543005498) [Y1 Z2 Y3 X6 Z7 Z8 Z9 X10]
+ (0.0005940221543005498) [X1 Z2 X3 Y6 Z7 Z8 Z9 Y10]
+ (0.0005940221543005498) [X1 Z2 X3 X6 Z7 Z8 Z9 X10]
+ (0.0008533856254125475) [Y0 Z1 Z2 Z3 Y4 Y5 Z6 Y7]
+ (0.0008533856254125475) [Y0 Z1 Z2 Z3 Y4 X5 Z6 X7]
+ (0.0008533856254125475) [X0 Z1 Z2 Z3 X4 Y5 Z6 Y7]
+ (0.0008533856254125475) [X0 Z1 Z2 Z3 X4 X5 Z6 X7]
+ (0.0010435246534907581) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Z13]
+ (0.0010435246534907581) [X0 Z1 Z2 Z3 Z4 Z5 X6 Z13]
+ (0.0010435246534907581) [Y1 Z2 Z3 Z4 Z5 Z6 Y7 Z12]
+ (0.0010435246534907581) [X1 Z2 Z3 Z4 Z5 Z6 X7 Z12]
+ (0.001280306097349675) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Z9]
+ (0.001280306097349675) [X0 Z1 Z2 Z3 Z4 Z5 X6 Z9]
+ (0.001280306097349675) [Y1 Z2 Z3 Z4 Z5 Z6 Y7 Z8]
+ (0.001280306097349675) [X1 Z2 Z3 Z4 Z5 Z6 X7 Z8]
+ (0.001303800478812689) [Y0 Z1 Z2 Z3 Y4 Y10 Z11 Y12]
+ (0.001303800478812689) [X0 Z1 Z2 Z3 X4 X10 Z11 X12]
+ (0.001303800478812689) [Y1 Z2 Z3 Z4 Y5 Y11 Z12 Y13]
+ (0.001303800478812689) [X1 Z2 Z3 Z4 X5 X11 Z12 X13]
+ (0.002261966062482346) [Y0 Z1 Z2 Z3 Y4 Y11 Z12 Y13]
+ (0.002261966062482346) [Y0 Z1 Z2 Z3 Y4 X11 Z12 X13]
+ (0.002261966062482346) [X0 Z1 Z2 Z3 X4 Y11 Z12 Y13]
+ (0.002261966062482346) [X0 Z1 Z2 Z3 X4 X11 Z12 X13]
+ (0.002261966062482346) [Y1 Z2 Z3 Z4 Y5 Y10 Z11 Y12]
+ (0.002261966062482346) [Y1 Z2 Z3 Z4 Y5 X10 Z11 X12]
+ (0.002261966062482346) [X1 Z2 Z3 Z4 X5 Y10 Z11 Y12]
+ (0.002261966062482346) [X1 Z2 Z3 Z4 X5 X10 Z11 X12]
+ (0.003989841456619282) [Y0 Z1 Z2 Z3 Y4 X10 Z11 X12]
+ (0.003989841456619282) [X0 Z1 Z2 Z3 X4 Y10 Z11 Y12]
+ (0.003989841456619282) [Y1 Z2 Z3 Z4 Y5 X11 Z12 X13]
+ (0.003989841456619282) [X1 Z2 Z3 Z4 X5 Y11 Z12 Y13]
+ (0.004158797381840042) [Y2 Z3 Z4 Z5 Z6 X7 X12 Y13]
+ (0.004158797381840042) [X2 Z3 Z4 Z5 Z6 Y7 Y12 X13]
+ (0.004311038507914304) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Z12]
+ (0.004311038507914304) [X0 Z1 Z2 Z3 Z4 Z5 X6 Z12]
+ (0.004311038507914304) [Y1 Z2 Z3 Z4 Z5 Z6 Y7 Z13]
+ (0.004311038507914304) [X1 Z2 Z3 Z4 Z5 Z6 X7 Z13]
+ (0.004636976661182563) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Z8]
+ (0.004636976661182563) [X0 Z1 Z2 Z3 Z4 Z5 X6 Z8]
+ (0.004636976661182563) [Y1 Z2 Z3 Z4 Z5 Z6 Y7 Z9]
+ (0.004636976661182563) [X1 Z2 Z3 Z4 Z5 Z6 X7 Z9]
+ (0.005114473831660375) [Y0 Z1 Z2 X3 X7 Z8 Z9 Y10]
+ (0.005114473831660375) [Y0 Z1 Z2 Y3 Y7 Z8 Z9 Y10]
+ (0.005114473831660375) [X0 Z1 Z2 X3 X7 Z8 Z9 X10]
+ (0.005114473831660375) [X0 Z1 Z2 Y3 Y7 Z8 Z9 X10]
+ (0.005114473831660375) [Y1 X2 X6 Z7 Z8 Z9 Z10 Y11]
+ (0.005114473831660375) [Y1 Y2 Y6 Z7 Z8 Z9 Z10 Y11]
+ (0.005114473831660375) [X1 X2 X6 Z7 Z8 Z9 Z10 X11]
+ (0.005114473831660375) [X1 Y2 Y6 Z7 Z8 Z9 Z10 X11]
+ (0.005241535382803876) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Z11]
+ (0.005241535382803876) [X0 Z1 Z2 Z3 Z4 Z5 X6 Z11]
+ (0.005241535382803876) [Y1 Z2 Z3 Z4 Z5 Z6 Y7 Z10]
+ (0.005241535382803876) [X1 Z2 Z3 Z4 Z5 Z6 X7 Z10]
+ (0.0052626424730768465) [Y0 Z1 Y2 X6 Z7 Z8 Z9 X10]
+ (0.0052626424730768465) [X0 Z1 X2 Y6 Z7 Z8 Z9 Y10]
+ (0.0052626424730768465) [Y1 Z2 Y3 X7 Z8 Z9 Z10 X11]
+ (0.0052626424730768465) [X1 Z2 X3 Y7 Z8 Z9 Z10 Y11]
+ (0.00536865935810955) [Y2 Y3 X6 Z7 Z8 Z9 Z10 X11]
+ (0.00536865935810955) [X2 X3 Y6 Z7 Z8 Z9 Z10 Y11]
+ (0.005379937155839375) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Z10]
+ (0.005379937155839375) [X0 Z1 Z2 Z3 Z4 Z5 X6 Z10]
+ (0.005379937155839375) [Y1 Z2 Z3 Z4 Z5 Z6 Y7 Z11]
+ (0.005379937155839375) [X1 Z2 Z3 Z4 Z5 Z6 X7 Z11]
+ (0.0056526209780173595) [Y0 X1 X2 Z3 Z4 Z5 Z6 Y7]
+ (0.0056526209780173595) [X0 Y1 Y2 Z3 Z4 Z5 Z6 X7]
+ (0.005708495985960925) [Y0 Z1 Y2 Y6 Z7 Z8 Z9 Y10]
+ (0.005708495985960925) [X0 Z1 X2 X6 Z7 Z8 Z9 X10]
+ (0.005708495985960925) [Y1 Z2 Y3 Y7 Z8 Z9 Z10 Y11]
+ (0.005708495985960925) [X1 Z2 X3 X7 Z8 Z9 Z10 X11]
+ (0.005923798336561347) [Y5 Z6 Z7 X8 X9 Z10 Z11 Y12]
+ (0.005923798336561347) [X5 Z6 Z7 Y8 Y9 Z10 Z11 X12]
+ (0.007306759928832976) [Y4 X5 X6 Z7 Z8 Z9 Z10 Y11]
+ (0.007306759928832976) [X4 Y5 Y6 Z7 Z8 Z9 Z10 X11]
+ (0.008469978791024029) [Y3 Z4 Z5 Y6 X7 Z8 Z9 X10]
+ (0.008469978791024029) [X3 Z4 Z5 X6 Y7 Z8 Z9 Y10]
+ (0.009841749246962576) [Y3 Y4 X5 Z6 Z7 Z8 Z9 X10]
+ (0.009841749246962576) [X3 X4 Y5 Z6 Z7 Z8 Z9 Y10]
+ (0.011285190200840924) [Y4 Z5 Z6 Y7 X10 Z11 Z12 X13]
+ (0.011285190200840924) [X4 Z5 Z6 X7 Y10 Z11 Z12 Y13]
+ (0.01175601341981927) [Y2 Z3 Z4 Z5 Z6 X7 X8 Y9]
+ (0.01175601341981927) [X2 Z3 Z4 Z5 Z6 Y7 Y8 X9]
+ (0.014564531231172998) [Y6 Z7 Z8 Z9 Z10 X11 X12 Y13]
+ (0.014564531231172998) [X6 Z7 Z8 Z9 Z10 Y11 Y12 X13]
+ (0.014603704729162099) [Y3 Z4 Z5 Z6 Z7 X8 X9 Y10]
+ (0.014603704729162099) [X3 Z4 Z5 Z6 Z7 Y8 Y9 X10]
+ (0.015225630757226558) [Y2 Z3 Z4 Z5 Z6 Y7 X10 X11]
+ (0.015225630757226558) [X2 Z3 Z4 Z5 Z6 X7 Y10 Y11]
+ (0.01602460368917945) [Y5 Z6 Z7 Z8 Z9 Y10 X11 X12]
+ (0.01602460368917945) [X5 Z6 Z7 Z8 Z9 X10 Y11 Y12]
+ (0.019028242443847234) [Y2 Z3 Z4 X5 X10 Z11 Z12 Y13]
+ (0.019028242443847234) [X2 Z3 Z4 Y5 Y10 Z11 Z12 X13]
+ (0.01925750509525164) [Y3 X4 X7 Z8 Z9 Z10 Z11 Y12]
+ (0.01925750509525164) [X3 Y4 Y7 Z8 Z9 Z10 Z11 X12]
+ (0.04587947078129807) [Z0 Y1 Z2 Z3 Z4 Z5 Z6 Y7]
+ (0.04587947078129807) [Z0 X1 Z2 Z3 Z4 Z5 Z6 X7]
+ (-0.36937089366156184) [Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.36937089366156184) [X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.36937089366156184) [Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.36937089366156184) [X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.28164257767022893) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-0.28164257767022893) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-0.2816425776702288) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.2816425776702288) [X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.09065144207036484) [Z0 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.09065144207036484) [Z0 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.09065144207036484) [Z1 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.09065144207036484) [Z1 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.08684737589863631) [Z0 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.08684737589863631) [Z0 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.08684737589863631) [Z1 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.08684737589863631) [Z1 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.07635021950634997) [Z0 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.07635021950634997) [Z0 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.07635021950634997) [Z1 Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-0.07635021950634997) [Z1 X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-0.06752385099214019) [Z0 Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-0.06752385099214019) [Z0 X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-0.06752385099214019) [Z1 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.06752385099214019) [Z1 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.03560837898831252) [Z2 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.03560837898831252) [Z2 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.03490334337366185) [Z2 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.03490334337366185) [Z2 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.03490334337366185) [Z3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.03490334337366185) [Z3 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.02459186088383004) [Z2 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.02459186088383004) [Z2 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.02459186088383004) [Z3 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.02459186088383004) [Z3 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.024282117354693135) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Z11]
+ (-0.024282117354693135) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10 Z11]
+ (-0.023145130929529092) [Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12 Z13]
+ (-0.023145130929529092) [X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12 Z13]
+ (-0.022528440196013078) [Z4 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.022528440196013078) [Z4 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.019538050311314708) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Z12]
+ (-0.019538050311314708) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10 Z12]
+ (-0.019538050311314708) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11 Z13]
+ (-0.019538050311314708) [X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11 Z13]
+ (-0.01709155315589883) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Z13]
+ (-0.01709155315589883) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10 Z13]
+ (-0.01709155315589883) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11 Z12]
+ (-0.01709155315589883) [X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11 Z12]
+ (-0.01602460368917945) [Y4 Z5 Z6 Z7 Z8 Z9 Y10 Y11 Z12 Y13]
+ (-0.01602460368917945) [Y4 Z5 Z6 Z7 Z8 Z9 Y10 X11 Z12 X13]
+ (-0.01602460368917945) [X4 Z5 Z6 Z7 Z8 Z9 X10 Y11 Z12 Y13]
+ (-0.01602460368917945) [X4 Z5 Z6 Z7 Z8 Z9 X10 X11 Z12 X13]
+ (-0.010311482489831809) [Y2 X3 X5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.010311482489831809) [Y2 Y3 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.010311482489831809) [X2 X3 X5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.010311482489831809) [X2 Y3 Y5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.009841749246962576) [Y2 Z3 Y4 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.009841749246962576) [Y2 Z3 Y4 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.009841749246962576) [X2 Z3 X4 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.009841749246962576) [X2 Z3 X4 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.008826368514209789) [Y0 X1 X3 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-0.008826368514209789) [Y0 Y1 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-0.008826368514209789) [X0 X1 X3 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-0.008826368514209789) [X0 Y1 Y3 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-0.008541996625454852) [Y2 Z3 Z4 X5 X7 Z8 Z9 Z10 Z11 Y12]
+ (-0.008541996625454852) [Y2 Z3 Z4 Y5 Y7 Z8 Z9 Z10 Z11 Y12]
+ (-0.008541996625454852) [X2 Z3 Z4 X5 X7 Z8 Z9 Z10 Z11 X12]
+ (-0.008541996625454852) [X2 Z3 Z4 Y5 Y7 Z8 Z9 Z10 Z11 X12]
+ (-0.008541996625454852) [Y3 X4 X6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.008541996625454852) [Y3 Y4 Y6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.008541996625454852) [X3 X4 X6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.008541996625454852) [X3 Y4 Y6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.008469978791024029) [Y2 Z3 Z4 Z5 Y6 Y7 Z8 Z9 Z10 Y11]
+ (-0.008469978791024029) [Y2 Z3 Z4 Z5 Y6 X7 Z8 Z9 Z10 X11]
+ (-0.008469978791024029) [X2 Z3 Z4 Z5 X6 Y7 Z8 Z9 Z10 Y11]
+ (-0.008469978791024029) [X2 Z3 Z4 Z5 X6 X7 Z8 Z9 Z10 X11]
+ (-0.004668620318776297) [Y0 Z1 Z2 X3 X6 Z7 Z8 Z9 Z10 Y11]
+ (-0.004668620318776297) [X0 Z1 Z2 Y3 Y6 Z7 Z8 Z9 Z10 X11]
+ (-0.0038764708993369395) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Y8 X9 X10]
+ (-0.0038764708993369395) [X1 Z2 Z3 Z4 Z5 Z6 Z7 X8 Y9 Y10]
+ (-0.0038040661717285364) [Y0 X1 X5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.0038040661717285364) [Y0 Y1 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.0038040661717285364) [X0 X1 X5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.0038040661717285364) [X0 Y1 Y5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.0034841573002178804) [Y1 Y2 X5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.0034841573002178804) [X1 X2 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.0033566705638328875) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Y7 X8 X9]
+ (-0.0033566705638328875) [X0 Z1 Z2 Z3 Z4 Z5 Z6 X7 Y8 Y9]
+ (-0.003267513854423546) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Y7 X12 X13]
+ (-0.003267513854423546) [X0 Z1 Z2 Z3 Z4 Z5 Z6 X7 Y12 Y13]
+ (-0.0021413612231016305) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y11]
+ (-0.0021413612231016305) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X11]
+ (-0.0017278753941369364) [Y0 Z1 Z2 Z3 Z4 X5 X10 Z11 Z12 Y13]
+ (-0.0017278753941369364) [X0 Z1 Z2 Z3 Z4 Y5 Y10 Z11 Z12 X13]
+ (-0.001640754855312413) [Y1 X2 X3 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-0.001640754855312413) [X1 Y2 Y3 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-0.0014528843214169581) [Y0 Z1 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-0.0014528843214169581) [X0 Z1 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-0.0014528843214169581) [Y1 Z2 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.0014528843214169581) [X1 Z2 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.0007870896771024463) [Y1 Z2 Z3 Y4 X5 Z6 Z7 Z8 Z9 X10]
+ (-0.0007870896771024463) [X1 Z2 Z3 X4 Y5 Z6 Z7 Z8 Z9 Y10]
+ (-0.0005192743499487595) [Y1 Z2 Z3 Z4 Z5 Y6 X7 Z8 Z9 X10]
+ (-0.0005192743499487595) [X1 Z2 Z3 Z4 Z5 X6 Y7 Z8 Z9 Y10]
+ (-0.0001940085702975608) [Y1 Z2 Z3 Y4 X7 Z8 Z9 Z10 Z11 X12]
+ (-0.0001940085702975608) [X1 Z2 Z3 X4 Y7 Z8 Z9 Z10 Z11 Y12]
+ (-0.00013840177303549935) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Y7 X10 X11]
+ (-0.00013840177303549935) [X0 Z1 Z2 Z3 Z4 Z5 Z6 X7 Y10 Y11]
+ (-7.141625221159809e-05) [Y0 Z1 Z2 Z3 Z4 Z6 Z7 Z8 Z9 Y10]
+ (-7.141625221159809e-05) [X0 Z1 Z2 Z3 Z4 Z6 Z7 Z8 Z9 X10]
+ (-7.141625221159809e-05) [Y1 Z2 Z3 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-7.141625221159809e-05) [X1 Z2 Z3 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-5.071480736632896e-06) [Y4 Z5 Z6 Z7 Z8 Z9 Z10 Y11 X12 X13]
+ (-5.071480736632896e-06) [X4 Z5 Z6 Z7 Z8 Z9 Z10 X11 Y12 Y13]
+ (-3.1513463112608105e-06) [Y2 Z3 Z4 Y5 X6 Z7 Z8 Z9 Z10 X11]
+ (-3.1513463112608105e-06) [X2 Z3 Z4 X5 Y6 Z7 Z8 Z9 Z10 Y11]
+ (-3.0882507114205965e-06) [Y2 Z3 Z4 Z5 Z6 Y7 X10 Z11 Z12 X13]
+ (-3.0882507114205965e-06) [X2 Z3 Z4 Z5 Z6 X7 Y10 Z11 Z12 Y13]
+ (-2.9885117063980692e-06) [Y3 Y4 X5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-2.9885117063980692e-06) [X3 X4 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-2.874299071453352e-06) [Y3 Z4 Z5 Z6 Z7 X8 X9 Z10 Z11 Y12]
+ (-2.874299071453352e-06) [X3 Z4 Z5 Z6 Z7 Y8 Y9 Z10 Z11 X12]
+ (-2.3609563203921473e-06) [Y2 Y3 X4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-2.3609563203921473e-06) [X2 X3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-1.3002946562489645e-06) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 X10 X11 Y12]
+ (-1.3002946562489645e-06) [X3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Y11 X12]
+ (-1.1468376507939792e-06) [Y0 Z1 Y2 Y4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-1.1468376507939792e-06) [X0 Z1 X2 X4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-1.1468376507939792e-06) [Y1 Z2 Y3 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-1.1468376507939792e-06) [X1 Z2 X3 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-8.352332103323643e-07) [Y0 Z1 Y2 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-8.352332103323643e-07) [X0 Z1 X2 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-8.352332103323643e-07) [Y1 Z2 Y3 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-8.352332103323643e-07) [X1 Z2 X3 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-8.091637199378609e-07) [Y0 Z1 Z2 X3 X5 Z6 Z7 Z8 Z9 Y10]
+ (-8.091637199378609e-07) [Y0 Z1 Z2 Y3 Y5 Z6 Z7 Z8 Z9 Y10]
+ (-8.091637199378609e-07) [X0 Z1 Z2 X3 X5 Z6 Z7 Z8 Z9 X10]
+ (-8.091637199378609e-07) [X0 Z1 Z2 Y3 Y5 Z6 Z7 Z8 Z9 X10]
+ (-8.091637199378609e-07) [Y1 X2 X4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-8.091637199378609e-07) [Y1 Y2 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-8.091637199378609e-07) [X1 X2 X4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-8.091637199378609e-07) [X1 Y2 Y4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-8.074305986155679e-07) [Y0 Z1 Y2 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-8.074305986155679e-07) [X0 Z1 X2 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-8.074305986155679e-07) [Y1 Z2 Y3 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-8.074305986155679e-07) [X1 Z2 X3 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-7.900128986617251e-07) [Y0 Z1 Y2 X4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-7.900128986617251e-07) [X0 Z1 X2 Y4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-7.900128986617251e-07) [Y1 Z2 Y3 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-7.900128986617251e-07) [X1 Z2 X3 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-7.867765104421185e-07) [Y0 Y1 X4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-7.867765104421185e-07) [X0 X1 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-7.560692465109186e-07) [Y0 Z1 Z2 X3 X7 Z8 Z9 Z10 Z11 Y12]
+ (-7.560692465109186e-07) [Y0 Z1 Z2 Y3 Y7 Z8 Z9 Z10 Z11 Y12]
+ (-7.560692465109186e-07) [X0 Z1 Z2 X3 X7 Z8 Z9 Z10 Z11 X12]
+ (-7.560692465109186e-07) [X0 Z1 Z2 Y3 Y7 Z8 Z9 Z10 Z11 X12]
+ (-7.560692465109186e-07) [Y1 X2 X6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-7.560692465109186e-07) [Y1 Y2 Y6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-7.560692465109186e-07) [X1 X2 X6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-7.560692465109186e-07) [X1 Y2 Y6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-4.997018422355813e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 X7 X11 Y12]
+ (-4.997018422355813e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Y7 Y11 Y12]
+ (-4.997018422355813e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 X7 X11 X12]
+ (-4.997018422355813e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Y7 Y11 X12]
+ (-4.997018422355813e-07) [Y1 Z2 Z3 Z4 Z5 X6 X10 Z11 Z12 Y13]
+ (-4.997018422355813e-07) [Y1 Z2 Z3 Z4 Z5 Y6 Y10 Z11 Z12 Y13]
+ (-4.997018422355813e-07) [X1 Z2 Z3 Z4 Z5 X6 X10 Z11 Z12 X13]
+ (-4.997018422355813e-07) [X1 Z2 Z3 Z4 Z5 Y6 Y10 Z11 Z12 X13]
+ (-3.5682475213225416e-07) [Y0 Z1 X2 X4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-3.5682475213225416e-07) [X0 Z1 Y2 Y4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-3.5682475213225416e-07) [Y1 Z2 X3 X5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-3.5682475213225416e-07) [X1 Z2 Y3 Y5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-3.376739308561182e-07) [Y0 Z1 Y2 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-3.376739308561182e-07) [Y0 Z1 Y2 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-3.376739308561182e-07) [X0 Z1 X2 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-3.376739308561182e-07) [X0 Z1 X2 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-3.376739308561182e-07) [Y1 Z2 Y3 Y4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-3.376739308561182e-07) [Y1 Z2 Y3 X4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-3.376739308561182e-07) [X1 Z2 X3 Y4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (-3.376739308561182e-07) [X1 Z2 X3 X4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-2.888293595141998e-07) [Y4 Y5 X6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-2.888293595141998e-07) [X4 X5 Y6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-2.686381546009946e-07) [Y3 Z4 Z5 Y6 X7 Z8 Z9 Z10 Z11 X12]
+ (-2.686381546009946e-07) [X3 Z4 Z5 X6 Y7 Z8 Z9 Z10 Z11 Y12]
+ (-1.7035783553970534e-07) [Y0 X1 X6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-1.7035783553970534e-07) [X0 Y1 Y6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-9.20935064410362e-08) [Y2 X3 X6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-9.20935064410362e-08) [X2 Y3 Y6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-8.37977324408078e-08) [Y0 Z1 Y2 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-8.37977324408078e-08) [Y0 Z1 Y2 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-8.37977324408078e-08) [X0 Z1 X2 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-8.37977324408078e-08) [X0 Z1 X2 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-8.37977324408078e-08) [Y1 Z2 Y3 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-8.37977324408078e-08) [Y1 Z2 Y3 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-8.37977324408078e-08) [X1 Z2 X3 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-8.37977324408078e-08) [X1 Z2 X3 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-1.9742253794297586e-08) [X0 Z1 Y2 Y6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-1.9742253794297586e-08) [Y0 Z1 X2 X6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-1.9742253794297586e-08) [X1 Z2 Y3 Y7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-1.9742253794297586e-08) [Y1 Z2 X3 X7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.0) [Y0 Z1 Y2 Y6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.0) [X0 Z1 X2 X6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (0.0) [Y1 Z2 Y3 Y7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.0) [X1 Z2 X3 X7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (1.0474716555473879e-08) [Y0 Z1 X2 Y6 Z7 Z8 Z9 Z10 Z11 X12]
+ (1.0474716555473879e-08) [X0 Z1 Y2 X6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (1.0474716555473879e-08) [Y1 Z2 X3 Y7 Z8 Z9 Z10 Z11 Z12 X13]
+ (1.0474716555473879e-08) [X1 Z2 Y3 X7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (9.20935064410362e-08) [Y2 Y3 X6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (9.20935064410362e-08) [X2 X3 Y6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (1.0717282184483058e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 X10 Z11 X12]
+ (1.0717282184483058e-07) [X0 Z1 Z2 Z3 Z4 Z5 X6 Y10 Z11 Y12]
+ (1.0717282184483058e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Y7 X11 Z12 X13]
+ (1.0717282184483058e-07) [X1 Z2 Z3 Z4 Z5 Z6 X7 Y11 Z12 Y13]
+ (1.2004287494287267e-07) [X0 Z1 Z2 Z3 Z4 Z5 Y6 Y10 Z11 X12]
+ (1.2004287494287267e-07) [Y0 Z1 Z2 Z3 Z4 Z5 X6 X10 Z11 Y12]
+ (1.2004287494287267e-07) [X1 Z2 Z3 Z4 Z5 Z6 Y7 Y11 Z12 X13]
+ (1.2004287494287267e-07) [Y1 Z2 Z3 Z4 Z5 Z6 X7 X11 Z12 Y13]
+ (1.7035783553970534e-07) [Y0 Y1 X6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (1.7035783553970534e-07) [X0 X1 Y6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (2.3120943053039256e-07) [X0 Z1 Z2 Z3 Z4 Z5 X6 X10 Z11 X12]
+ (2.3120943053039256e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Y10 Z11 Y12]
+ (2.3120943053039256e-07) [X1 Z2 Z3 Z4 Z5 Z6 X7 X11 Z12 X13]
+ (2.3120943053039256e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Y7 Y11 Z12 Y13]
+ (2.686381546009946e-07) [Y3 Z4 Z5 X6 X7 Z8 Z9 Z10 Z11 Y12]
+ (2.686381546009946e-07) [X3 Z4 Z5 Y6 Y7 Z8 Z9 Z10 Z11 X12]
+ (2.888293595141998e-07) [Y4 X5 X6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (2.888293595141998e-07) [X4 Y5 Y6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (4.092250616213332e-07) [Y0 Z1 Z2 Z3 Y4 Y7 Z8 Z9 Z10 Y11]
+ (4.092250616213332e-07) [Y0 Z1 Z2 Z3 Y4 X7 Z8 Z9 Z10 X11]
+ (4.092250616213332e-07) [X0 Z1 Z2 Z3 X4 Y7 Z8 Z9 Z10 Y11]
+ (4.092250616213332e-07) [X0 Z1 Z2 Z3 X4 X7 Z8 Z9 Z10 X11]
+ (4.092250616213332e-07) [Y1 Z2 Z3 Z4 Y5 Y6 Z7 Z8 Z9 Y10]
+ (4.092250616213332e-07) [Y1 Z2 Z3 Z4 Y5 X6 Z7 Z8 Z9 X10]
+ (4.092250616213332e-07) [X1 Z2 Z3 Z4 X5 Y6 Z7 Z8 Z9 Y10]
+ (4.092250616213332e-07) [X1 Z2 Z3 Z4 X5 X6 Z7 Z8 Z9 X10]
+ (4.444597854217324e-07) [Y0 Z1 Z2 Z3 Y4 Y6 Z7 Z8 Z9 Y10]
+ (4.444597854217324e-07) [X0 Z1 Z2 Z3 X4 X6 Z7 Z8 Z9 X10]
+ (4.444597854217324e-07) [Y1 Z2 Z3 Z4 Y5 Y7 Z8 Z9 Z10 Y11]
+ (4.444597854217324e-07) [X1 Z2 Z3 Z4 X5 X7 Z8 Z9 Z10 X11]
+ (4.684915095320873e-07) [Y0 Z1 Z2 Z3 Y4 X6 Z7 Z8 Z9 X10]
+ (4.684915095320873e-07) [X0 Z1 Z2 Z3 X4 Y6 Z7 Z8 Z9 Y10]
+ (4.684915095320873e-07) [Y1 Z2 Z3 Z4 Y5 X7 Z8 Z9 Z10 X11]
+ (4.684915095320873e-07) [X1 Z2 Z3 Z4 X5 Y7 Z8 Z9 Z10 Y11]
+ (7.246974425722807e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Y11 Z12 Y13]
+ (7.246974425722807e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 X11 Z12 X13]
+ (7.246974425722807e-07) [X0 Z1 Z2 Z3 Z4 Z5 X6 Y11 Z12 Y13]
+ (7.246974425722807e-07) [X0 Z1 Z2 Z3 Z4 Z5 X6 X11 Z12 X13]
+ (7.246974425722807e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Y7 Y10 Z11 Y12]
+ (7.246974425722807e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Y7 X10 Z11 X12]
+ (7.246974425722807e-07) [X1 Z2 Z3 Z4 Z5 Z6 X7 Y10 Z11 Y12]
+ (7.246974425722807e-07) [X1 Z2 Z3 Z4 Z5 Z6 X7 X10 Z11 X12]
+ (7.867765104421185e-07) [Y0 X1 X4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (7.867765104421185e-07) [X0 Y1 Y4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (1.3002946562489645e-06) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 X11 X12]
+ (1.3002946562489645e-06) [X3 Z4 Z5 Z6 Z7 Z8 Z9 X10 Y11 Y12]
+ (2.3609563203921473e-06) [Y2 X3 X4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (2.3609563203921473e-06) [X2 Y3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (2.874299071453352e-06) [Y3 Z4 Z5 Z6 Z7 Y8 X9 Z10 Z11 X12]
+ (2.874299071453352e-06) [X3 Z4 Z5 Z6 Z7 X8 Y9 Z10 Z11 Y12]
+ (2.8836765760649274e-06) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y13]
+ (2.8836765760649274e-06) [X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X13]
+ (2.947356011742429e-06) [Y2 Z3 Z4 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (2.947356011742429e-06) [X2 Z3 Z4 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (2.947356011742429e-06) [Y3 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (2.947356011742429e-06) [X3 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (2.9885117063980692e-06) [Y3 X4 X5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (2.9885117063980692e-06) [X3 Y4 Y5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (3.0882507114205965e-06) [Y2 Z3 Z4 Z5 Z6 X7 X10 Z11 Z12 Y13]
+ (3.0882507114205965e-06) [X2 Z3 Z4 Z5 Z6 Y7 Y10 Z11 Z12 X13]
+ (3.1513463112608105e-06) [Y2 Z3 Z4 X5 X6 Z7 Z8 Z9 Z10 Y11]
+ (3.1513463112608105e-06) [X2 Z3 Z4 Y5 Y6 Z7 Z8 Z9 Z10 X11]
+ (3.8462016713506635e-06) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z11 Y12]
+ (3.8462016713506635e-06) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z11 X12]
+ (3.8462016713506635e-06) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z12 Y13]
+ (3.8462016713506635e-06) [X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z12 X13]
+ (5.071480736632896e-06) [Y4 Z5 Z6 Z7 Z8 Z9 Z10 X11 X12 Y13]
+ (5.071480736632896e-06) [X4 Z5 Z6 Z7 Z8 Z9 Z10 Y11 Y12 X13]
+ (5.10552672207226e-06) [Y2 Z3 Z4 Z5 Z6 Z7 Z9 Z10 Z11 Y12]
+ (5.10552672207226e-06) [X2 Z3 Z4 Z5 Z6 Z7 Z9 Z10 Z11 X12]
+ (5.10552672207226e-06) [Y3 Z4 Z5 Z6 Z7 Z8 Z10 Z11 Z12 Y13]
+ (5.10552672207226e-06) [X3 Z4 Z5 Z6 Z7 Z8 Z10 Z11 Z12 X13]
+ (5.146496327599628e-06) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y12]
+ (5.146496327599628e-06) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X12]
+ (5.146496327599628e-06) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z11 Z12 Y13]
+ (5.146496327599628e-06) [X3 Z4 Z5 Z6 Z7 Z8 Z9 Z11 Z12 X13]
+ (5.159350501981913e-06) [Y2 Z3 Z4 Z5 Z6 Z8 Z9 Z10 Z11 Y12]
+ (5.159350501981913e-06) [X2 Z3 Z4 Z5 Z6 Z8 Z9 Z10 Z11 X12]
+ (5.159350501981913e-06) [Y3 Z4 Z5 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (5.159350501981913e-06) [X3 Z4 Z5 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (5.427988656582907e-06) [Y2 Z3 Z4 Z5 Z7 Z8 Z9 Z10 Z11 Y12]
+ (5.427988656582907e-06) [X2 Z3 Z4 Z5 Z7 Z8 Z9 Z10 Z11 X12]
+ (5.427988656582907e-06) [Y3 Z4 Z5 Z6 Z8 Z9 Z10 Z11 Z12 Y13]
+ (5.427988656582907e-06) [X3 Z4 Z5 Z6 Z8 Z9 Z10 Z11 Z12 X13]
+ (5.935867718140499e-06) [Y2 Z3 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (5.935867718140499e-06) [X2 Z3 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (5.935867718140499e-06) [Y3 Z4 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (5.935867718140499e-06) [X3 Z4 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (7.253273348224411e-06) [Y2 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (7.253273348224411e-06) [X2 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (7.979825793525611e-06) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z10 Z11 Y12]
+ (7.979825793525611e-06) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z10 Z11 X12]
+ (7.979825793525611e-06) [Y3 Z4 Z5 Z6 Z7 Z9 Z10 Z11 Z12 Y13]
+ (7.979825793525611e-06) [X3 Z4 Z5 Z6 Z7 Z9 Z10 Z11 Z12 X13]
+ (4.205548411218875e-05) [Y2 Z3 Y4 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (4.205548411218875e-05) [X2 Z3 X4 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (4.205548411218875e-05) [Y3 Z4 Y5 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (4.205548411218875e-05) [X3 Z4 X5 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.00013840177303549935) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 X7 X10 Y11]
+ (0.00013840177303549935) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Y7 Y10 X11]
+ (0.0001878705338954549) [Y0 Z1 Z2 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (0.0001878705338954549) [X0 Z1 Z2 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (0.0001878705338954549) [Y1 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (0.0001878705338954549) [X1 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (0.0001940085702975608) [Y1 Z2 Z3 X4 X7 Z8 Z9 Z10 Z11 Y12]
+ (0.0001940085702975608) [X1 Z2 Z3 Y4 Y7 Z8 Z9 Z10 Z11 X12]
+ (0.00024636437569573055) [Y4 Z5 Y6 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.00024636437569573055) [Y4 Z5 Y6 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.00024636437569573055) [X4 Z5 X6 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.00024636437569573055) [X4 Z5 X6 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.0005192743499487595) [Y1 Z2 Z3 Z4 Z5 X6 X7 Z8 Z9 Y10]
+ (0.0005192743499487595) [X1 Z2 Z3 Z4 Z5 Y6 Y7 Z8 Z9 X10]
+ (0.0007156734248908481) [Y0 Z1 Z2 Z3 Z5 Z6 Z7 Z8 Z9 Y10]
+ (0.0007156734248908481) [X0 Z1 Z2 Z3 Z5 Z6 Z7 Z8 Z9 X10]
+ (0.0007156734248908481) [Y1 Z2 Z3 Z4 Z6 Z7 Z8 Z9 Z10 Y11]
+ (0.0007156734248908481) [X1 Z2 Z3 Z4 Z6 Z7 Z8 Z9 Z10 X11]
+ (0.0007870896771024463) [Y1 Z2 Z3 X4 X5 Z6 Z7 Z8 Z9 Y10]
+ (0.0007870896771024463) [X1 Z2 Z3 Y4 Y5 Z6 Z7 Z8 Z9 X10]
+ (0.0015324835230729774) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Y10]
+ (0.0015324835230729774) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 X10]
+ (0.0015324835230729774) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z9 Z10 Y11]
+ (0.0015324835230729774) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z9 Z10 X11]
+ (0.001640754855312413) [Y1 Y2 X3 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (0.001640754855312413) [X1 X2 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (0.0017278753941369364) [Y0 Z1 Z2 Z3 Z4 Y5 X10 Z11 Z12 X13]
+ (0.0017278753941369364) [X0 Z1 Z2 Z3 Z4 X5 Y10 Z11 Z12 Y13]
+ (0.0024464971554158756) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 X10 X12 Y13]
+ (0.0024464971554158756) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Y12 Y13]
+ (0.0024464971554158756) [X3 Z4 Z5 Z6 Z7 Z8 Z9 X10 X12 X13]
+ (0.0024464971554158756) [X3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Y12 X13]
+ (0.003267513854423546) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 X7 X12 Y13]
+ (0.003267513854423546) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Y7 Y12 X13]
+ (0.0033566705638328875) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 X7 X8 Y9]
+ (0.0033566705638328875) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Y7 Y8 X9]
+ (0.0034841573002178804) [Y1 X2 X5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (0.0034841573002178804) [X1 Y2 Y5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.0038764708993369395) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 X8 X9 Y10]
+ (0.0038764708993369395) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Y8 Y9 X10]
+ (0.004668620318776297) [Y0 Z1 Z2 Y3 X6 Z7 Z8 Z9 Z10 X11]
+ (0.004668620318776297) [X0 Z1 Z2 X3 Y6 Z7 Z8 Z9 Z10 Y11]
+ (0.004767272188278051) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z8 Z9 Y10]
+ (0.004767272188278051) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z8 Z9 X10]
+ (0.004767272188278051) [Y1 Z2 Z3 Z4 Z5 Z7 Z8 Z9 Z10 Y11]
+ (0.004767272188278051) [X1 Z2 Z3 Z4 Z5 Z7 Z8 Z9 Z10 X11]
+ (0.00528654653822681) [Y0 Z1 Z2 Z3 Z4 Z5 Z7 Z8 Z9 Y10]
+ (0.00528654653822681) [X0 Z1 Z2 Z3 Z4 Z5 Z7 Z8 Z9 X10]
+ (0.00528654653822681) [Y1 Z2 Z3 Z4 Z5 Z6 Z8 Z9 Z10 Y11]
+ (0.00528654653822681) [X1 Z2 Z3 Z4 Z5 Z6 Z8 Z9 Z10 X11]
+ (0.005408954422409917) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z9 Y10]
+ (0.005408954422409917) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z9 X10]
+ (0.005408954422409917) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z10 Y11]
+ (0.005408954422409917) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z10 X11]
+ (0.005923798336561347) [Y4 Z5 Z6 Z7 Y8 Y9 Z10 Z11 Z12 Y13]
+ (0.005923798336561347) [Y4 Z5 Z6 Z7 Y8 X9 Z10 Z11 Z12 X13]
+ (0.005923798336561347) [X4 Z5 Z6 Z7 X8 Y9 Z10 Z11 Z12 Y13]
+ (0.005923798336561347) [X4 Z5 Z6 Z7 X8 X9 Z10 Z11 Z12 X13]
+ (0.01071550846979679) [Y2 Z3 X4 X6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (0.01071550846979679) [X2 Z3 Y4 Y6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.01071550846979679) [Y3 Z4 X5 X7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.01071550846979679) [X3 Z4 Y5 Y7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.010757563953908977) [Y2 Z3 Y4 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (0.010757563953908977) [X2 Z3 X4 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.010757563953908977) [Y3 Z4 Y5 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.010757563953908977) [X3 Z4 X5 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.014603704729162099) [Y2 Z3 Z4 Z5 Z6 Z7 Y8 Y9 Z10 Y11]
+ (0.014603704729162099) [Y2 Z3 Z4 Z5 Z6 Z7 Y8 X9 Z10 X11]
+ (0.014603704729162099) [X2 Z3 Z4 Z5 Z6 Z7 X8 Y9 Z10 Y11]
+ (0.014603704729162099) [X2 Z3 Z4 Z5 Z6 Z7 X8 X9 Z10 X11]
+ (0.019299560579363828) [Y2 Z3 Y4 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.019299560579363828) [Y2 Z3 Y4 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.019299560579363828) [X2 Z3 X4 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.019299560579363828) [X2 Z3 X4 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.019299560579363828) [Y3 Z4 Y5 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (0.019299560579363828) [Y3 Z4 Y5 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.019299560579363828) [X3 Z4 X5 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (0.019299560579363828) [X3 Z4 X5 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.05859198873386147) [Y0 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (0.05859198873386147) [X0 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (5.775950527367338e-05) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (5.775950527367338e-05) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (5.7759505273673406e-05) [Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (5.7759505273673406e-05) [X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.0716503518100222) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (0.0716503518100222) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (0.07165035181002229) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10]
+ (0.07165035181002229) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10]
+ (-0.01925750509525164) [Y2 Z3 Z4 Y5 X6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.01925750509525164) [X2 Z3 Z4 X5 Y6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.010311482489831809) [Y2 Y3 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.010311482489831809) [X2 X3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.008826368514209789) [Y0 Y1 X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.008826368514209789) [X0 X1 Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.0075974640297706) [Y0 Z1 Y2 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.0075974640297706) [X0 Z1 X2 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.0075974640297706) [Y1 Z2 Y3 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.0075974640297706) [X1 Z2 X3 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.005733569747311865) [Y0 Z1 Z2 X3 X5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.005733569747311865) [Y0 Z1 Z2 Y3 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.005733569747311865) [X0 Z1 Z2 X3 X5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.005733569747311865) [X0 Z1 Z2 Y3 Y5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.005733569747311865) [Y1 X2 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.005733569747311865) [Y1 Y2 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.005733569747311865) [X1 X2 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.005733569747311865) [X1 Y2 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.005348051582676616) [Y0 Z1 Y2 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.005348051582676616) [X0 Z1 X2 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.005348051582676616) [Y1 Z2 Y3 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.005348051582676616) [X1 Z2 X3 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.0038040661717285364) [Y0 Y1 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.0038040661717285364) [X0 X1 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.0029841661681219173) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10 X12 Y13]
+ (-0.0029841661681219173) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Y12 Y13]
+ (-0.0029841661681219173) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10 X12 X13]
+ (-0.0029841661681219173) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Y12 X13]
+ (-0.0024464971554158748) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11 X12 Y13]
+ (-0.0024464971554158748) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11 Y12 X13]
+ (-0.0022494124470939848) [Y0 Z1 X2 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.0022494124470939848) [X0 Z1 Y2 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.0022494124470939848) [Y1 Z2 X3 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.0022494124470939848) [X1 Z2 Y3 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.002141361223101631) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Z11]
+ (-0.002141361223101631) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10 Z11]
+ (-0.0018638942824587346) [Y0 Z1 Y2 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.0018638942824587346) [Y0 Z1 Y2 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.0018638942824587346) [X0 Z1 X2 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.0018638942824587346) [X0 Z1 X2 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.0018638942824587346) [Y1 Z2 Y3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.0018638942824587346) [Y1 Z2 Y3 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.0018638942824587346) [X1 Z2 X3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.0018638942824587346) [X1 Z2 X3 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.001640754855312413) [Y0 Z1 Y2 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.001640754855312413) [Y0 Z1 Y2 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.001640754855312413) [X0 Z1 X2 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-0.001640754855312413) [X0 Z1 X2 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-0.0012223378081538342) [Y0 Z1 Z2 Z3 Z4 X5 X7 Z8 Z9 Z10 Z11 Y12]
+ (-0.0012223378081538342) [Y0 Z1 Z2 Z3 Z4 Y5 Y7 Z8 Z9 Z10 Z11 Y12]
+ (-0.0012223378081538342) [X0 Z1 Z2 Z3 Z4 X5 X7 Z8 Z9 Z10 Z11 X12]
+ (-0.0012223378081538342) [X0 Z1 Z2 Z3 Z4 Y5 Y7 Z8 Z9 Z10 Z11 X12]
+ (-0.0012223378081538342) [Y1 Z2 Z3 X4 X6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.0012223378081538342) [Y1 Z2 Z3 Y4 Y6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.0012223378081538342) [X1 Z2 Z3 X4 X6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.0012223378081538342) [X1 Z2 Z3 Y4 Y6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.0010283292378562734) [Y0 Z1 Z2 Z3 X4 X6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-0.0010283292378562734) [X0 Z1 Z2 Z3 Y4 Y6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-0.0010283292378562734) [Y1 Z2 Z3 Z4 X5 X7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.0010283292378562734) [X1 Z2 Z3 Z4 Y5 Y7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-1.1463061453257907e-05) [Y0 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-1.1463061453257907e-05) [X0 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-2.874299071453352e-06) [Y2 Z3 Z4 Z5 Z6 Z7 Y8 Y9 Z10 Z11 Z12 Y13]
+ (-2.874299071453352e-06) [Y2 Z3 Z4 Z5 Z6 Z7 Y8 X9 Z10 Z11 Z12 X13]
+ (-2.874299071453352e-06) [X2 Z3 Z4 Z5 Z6 Z7 X8 Y9 Z10 Z11 Z12 Y13]
+ (-2.874299071453352e-06) [X2 Z3 Z4 Z5 Z6 Z7 X8 X9 Z10 Z11 Z12 X13]
+ (-1.3002946562489645e-06) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Y11 Z12 Y13]
+ (-1.3002946562489645e-06) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 X11 Z12 X13]
+ (-1.3002946562489645e-06) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10 Y11 Z12 Y13]
+ (-1.3002946562489645e-06) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10 X11 Z12 X13]
+ (-1.0444941298228596e-06) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z9 Z10 Z11 Y12]
+ (-1.0444941298228596e-06) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z9 Z10 Z11 X12]
+ (-1.0444941298228596e-06) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z10 Z11 Z12 Y13]
+ (-1.0444941298228596e-06) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z10 Z11 Z12 X13]
+ (-9.956079230139908e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-9.956079230139908e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z7 Z8 Z9 Z10 Z11 X12]
+ (-9.956079230139908e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-9.956079230139908e-07) [X1 Z2 Z3 Z4 Z5 Z6 Z8 Z9 Z10 Z11 Z12 X13]
+ (-8.105515037330796e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z8 Z9 Z10 Z11 Y12]
+ (-8.105515037330796e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z8 Z9 Z10 Z11 X12]
+ (-8.105515037330796e-07) [Y1 Z2 Z3 Z4 Z5 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-8.105515037330796e-07) [X1 Z2 Z3 Z4 Z5 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-7.661347213224443e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z11 Y12]
+ (-7.661347213224443e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z11 X12]
+ (-7.661347213224443e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z12 Y13]
+ (-7.661347213224443e-07) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z12 X13]
+ (-7.540341413887433e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 X8 X9 Z10 Z11 Y12]
+ (-7.540341413887433e-07) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Y8 Y9 Z10 Z11 X12]
+ (-7.18999097555398e-07) [Y0 Z1 Z2 Y3 X6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-7.18999097555398e-07) [X0 Z1 Z2 X3 Y6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-6.876621658438122e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y12]
+ (-6.876621658438122e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X12]
+ (-6.876621658438122e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z11 Z12 Y13]
+ (-6.876621658438122e-07) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z11 Z12 X13]
+ (-6.175246207274501e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Y7 X10 Z11 Z12 X13]
+ (-6.175246207274501e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 X7 Y10 Z11 Z12 Y13]
+ (-4.523389678056069e-07) [Y0 Z1 Z2 Y3 X4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-4.523389678056069e-07) [X0 Z1 Z2 X3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (-3.0767325319176095e-07) [Y0 Z1 Z2 Z3 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-3.0767325319176095e-07) [X0 Z1 Z2 Z3 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-3.0767325319176095e-07) [Y1 Z2 Z3 Z4 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-3.0767325319176095e-07) [X1 Z2 Z3 Z4 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-3.013471459022199e-07) [Y1 Y2 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-3.013471459022199e-07) [X1 X2 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-2.904599884341163e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z10 Z11 Y12]
+ (-2.904599884341163e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z10 Z11 X12]
+ (-2.904599884341163e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z9 Z10 Z11 Z12 Y13]
+ (-2.904599884341163e-07) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z9 Z10 Z11 Z12 X13]
+ (-2.666731754675697e-07) [Y0 Z1 Z2 Z3 Z4 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-2.666731754675697e-07) [X0 Z1 Z2 Z3 Z4 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-2.666731754675697e-07) [Y1 Z2 Z3 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-2.666731754675697e-07) [X1 Z2 Z3 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-1.8505641928091133e-07) [Y1 Z2 Z3 Z4 Z5 X6 X7 Z8 Z9 Z10 Z11 Y12]
+ (-1.8505641928091133e-07) [X1 Z2 Z3 Z4 Z5 Y6 Y7 Z8 Z9 Z10 Z11 X12]
+ (1.6569309316025553e-07) [Y0 Z1 Z2 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (1.6569309316025553e-07) [X0 Z1 Z2 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (1.6569309316025553e-07) [Y1 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (1.6569309316025553e-07) [X1 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (1.8505641928091133e-07) [Y1 Z2 Z3 Z4 Z5 Y6 X7 Z8 Z9 Z10 Z11 X12]
+ (1.8505641928091133e-07) [X1 Z2 Z3 Z4 Z5 X6 Y7 Z8 Z9 Z10 Z11 Y12]
+ (2.686381546009946e-07) [Y2 Z3 Z4 Z5 Y6 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (2.686381546009946e-07) [Y2 Z3 Z4 Z5 Y6 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (2.686381546009946e-07) [X2 Z3 Z4 Z5 X6 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (2.686381546009946e-07) [X2 Z3 Z4 Z5 X6 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (3.013471459022199e-07) [Y1 X2 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (3.013471459022199e-07) [X1 Y2 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (4.523389678056069e-07) [Y0 Z1 Z2 X3 X4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (4.523389678056069e-07) [X0 Z1 Z2 Y3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (4.6704023906247535e-07) [Y0 Z1 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (4.6704023906247535e-07) [X0 Z1 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (4.6704023906247535e-07) [Y1 Z2 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (4.6704023906247535e-07) [X1 Z2 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (6.175246207274501e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 X7 X10 Z11 Z12 Y13]
+ (6.175246207274501e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Y7 Y10 Z11 Z12 X13]
+ (7.18999097555398e-07) [Y0 Z1 Z2 X3 X6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (7.18999097555398e-07) [X0 Z1 Z2 Y3 Y6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (7.540341413887433e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Y8 X9 Z10 Z11 X12]
+ (7.540341413887433e-07) [X1 Z2 Z3 Z4 Z5 Z6 Z7 X8 Y9 Z10 Z11 Y12]
+ (8.949476487583804e-07) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y13]
+ (8.949476487583804e-07) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X13]
+ (1.7924939577351274e-06) [Y0 X1 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (1.7924939577351274e-06) [Y0 Y1 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (1.7924939577351274e-06) [X0 X1 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (1.7924939577351274e-06) [X0 Y1 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (2.8836765760649274e-06) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12 Z13]
+ (2.8836765760649274e-06) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12 Z13]
+ (2.9885117063980692e-06) [Y2 Z3 Y4 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (2.9885117063980692e-06) [Y2 Z3 Y4 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (2.9885117063980692e-06) [X2 Z3 X4 Y5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (2.9885117063980692e-06) [X2 Z3 X4 X5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (7.253273348224411e-06) [Z2 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (7.253273348224411e-06) [Z2 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (1.4017109735536711e-05) [Z0 Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (1.4017109735536711e-05) [Z0 X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (1.4017109735536711e-05) [Z1 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (1.4017109735536711e-05) [Z1 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (1.580960369327184e-05) [Z0 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (1.580960369327184e-05) [Z0 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (1.580960369327184e-05) [Z1 Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (1.580960369327184e-05) [Z1 X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.0005192743499487595) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Y7 Z8 Z9 Z10 Y11]
+ (0.0005192743499487595) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 X7 Z8 Z9 Z10 X11]
+ (0.0005192743499487595) [X0 Z1 Z2 Z3 Z4 Z5 X6 Y7 Z8 Z9 Z10 Y11]
+ (0.0005192743499487595) [X0 Z1 Z2 Z3 Z4 Z5 X6 X7 Z8 Z9 Z10 X11]
+ (0.0007870896771024463) [Y0 Z1 Z2 Z3 Y4 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (0.0007870896771024463) [Y0 Z1 Z2 Z3 Y4 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (0.0007870896771024463) [X0 Z1 Z2 Z3 X4 Y5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (0.0007870896771024463) [X0 Z1 Z2 Z3 X4 X5 Z6 Z7 Z8 Z9 Z10 X11]
+ (0.001172634831644189) [Y0 Z1 Z2 Z3 Y4 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (0.001172634831644189) [X0 Z1 Z2 Z3 X4 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.001172634831644189) [Y1 Z2 Z3 Z4 Y5 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.001172634831644189) [X1 Z2 Z3 Z4 X5 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.0012366478019244862) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Z13]
+ (0.0012366478019244862) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10 Z13]
+ (0.0012366478019244862) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11 Z12]
+ (0.0012366478019244862) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11 Z12]
+ (0.0022009640695004624) [Y0 Z1 Z2 Z3 Y4 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.0022009640695004624) [X0 Z1 Z2 Z3 X4 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (0.0022009640695004624) [Y1 Z2 Z3 Z4 Y5 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.0022009640695004624) [X1 Z2 Z3 Z4 X5 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.0023949726397980227) [Y0 Z1 Z2 Z3 Y4 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.0023949726397980227) [Y0 Z1 Z2 Z3 Y4 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.0023949726397980227) [X0 Z1 Z2 Z3 X4 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.0023949726397980227) [X0 Z1 Z2 Z3 X4 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.0023949726397980227) [Y1 Z2 Z3 Z4 Y5 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (0.0023949726397980227) [Y1 Z2 Z3 Z4 Y5 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.0023949726397980227) [X1 Z2 Z3 Z4 X5 Y6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (0.0023949726397980227) [X1 Z2 Z3 Z4 X5 X6 Z7 Z8 Z9 Z10 Z11 X12]
+ (0.0024464971554158748) [Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11 X12 X13]
+ (0.0024464971554158748) [X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11 Y12 Y13]
+ (0.0038040661717285364) [Y0 X1 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.0038040661717285364) [X0 Y1 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.0038764708993369395) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Y8 Y9 Z10 Y11]
+ (0.0038764708993369395) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Y8 X9 Z10 X11]
+ (0.0038764708993369395) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 X8 Y9 Z10 Y11]
+ (0.0038764708993369395) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 X8 X9 Z10 X11]
+ (0.004220813970046404) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Y10 Z12]
+ (0.004220813970046404) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 X10 Z12]
+ (0.004220813970046404) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11 Z13]
+ (0.004220813970046404) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11 Z13]
+ (0.008826368514209789) [Y0 X1 X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (0.008826368514209789) [X0 Y1 Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (0.010311482489831809) [Y2 X3 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.010311482489831809) [X2 Y3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.01925750509525164) [Y2 Z3 Z4 X5 X6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.01925750509525164) [X2 Z3 Z4 Y5 Y6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.05859198873386147) [Z0 Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11]
+ (0.05859198873386147) [Z0 X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11]
+ (-1.3987009015152247e-05) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12]
+ (-1.3987009015152247e-05) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12]
+ (-1.3987009015152247e-05) [Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-1.3987009015152247e-05) [X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.0034841573002178804) [Y0 Z1 Z2 Y3 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.0034841573002178804) [X0 Z1 Z2 X3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-0.0029841661681219178) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11 X12 X13]
+ (-0.0029841661681219178) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11 Y12 Y13]
+ (-0.0001940085702975608) [Y0 Z1 Z2 Z3 Z4 Y5 X6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-0.0001940085702975608) [X0 Z1 Z2 Z3 Z4 X5 Y6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-1.1463061453257907e-05) [Z0 Y1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-1.1463061453257907e-05) [Z0 X1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-1.7924939577351274e-06) [Y0 X1 X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-1.7924939577351274e-06) [X0 Y1 Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-7.540341413887433e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Y8 Y9 Z10 Z11 Z12 Y13]
+ (-7.540341413887433e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Y8 X9 Z10 Z11 Z12 X13]
+ (-7.540341413887433e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 X8 Y9 Z10 Z11 Z12 Y13]
+ (-7.540341413887433e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 X8 X9 Z10 Z11 Z12 X13]
+ (-1.8505641928091133e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-1.8505641928091133e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Y6 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (-1.8505641928091133e-07) [X0 Z1 Z2 Z3 Z4 Z5 X6 Y7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (-1.8505641928091133e-07) [X0 Z1 Z2 Z3 Z4 Z5 X6 X7 Z8 Z9 Z10 Z11 Z12 X13]
+ (3.013471459022199e-07) [Y0 Z1 Y2 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (3.013471459022199e-07) [Y0 Z1 Y2 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (3.013471459022199e-07) [X0 Z1 X2 Y3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (3.013471459022199e-07) [X0 Z1 X2 X3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (8.949476487583804e-07) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Y12 Z13]
+ (8.949476487583804e-07) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 X12 Z13]
+ (1.7924939577351274e-06) [Y0 Y1 X2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (1.7924939577351274e-06) [X0 X1 Y2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.0001940085702975608) [Y0 Z1 Z2 Z3 Z4 X5 X6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.0001940085702975608) [X0 Z1 Z2 Z3 Z4 Y5 Y6 Z7 Z8 Z9 Z10 Z11 Z12 X13]
+ (0.0029841661681219178) [Y0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 X11 X12 Y13]
+ (0.0029841661681219178) [X0 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 Z9 Z10 Y11 Y12 X13]
+ (0.0034841573002178804) [Y0 Z1 Z2 X3 X4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 Y13]
+ (0.0034841573002178804) [X0 Z1 Z2 Y3 Y4 Z5 Z6 Z7 Z8 Z9 Z10 Z11 Z12 X13]

Simply going from two atoms in \(\text{H}_2\) to three in \(\text{H}_2 \text{O}\) resulted in over triple the number of qubits required and 2050 measurements that must be made!

We can see that as the size of our molecule increases, we run into a problem: larger molecules result in Hamiltonians that not only require a larger number of qubits \(N\) in their representation, but the number of terms in the Hamiltonian scales like \(\mathcal{O}(N^4)\)! 😱😱😱

We can mitigate this somewhat by choosing smaller basis sets to represent the electronic structure wavefunction, however this would be done at the cost of solution accuracy, and doesn’t reduce the number of measurements significantly enough to allow us to scale to classically intractable problems.

../_images/n4.png

The number of qubit Hamiltonian terms required to represent various molecules in the specified basis sets (adapted from Minimizing State Preparations for VQE by Gokhale et al.)

Simultaneously measuring observables

One of the assumptions we made above was that every term in the Hamiltonian must be measured independently. However, this might not be the case. From the Heisenberg uncertainty relationship for two observables \(\hat{A}\) and \(\hat{B}\), we know that

\[\sigma_A^2 \sigma_B^2 \geq \frac{1}{2}\left|\left\langle [\hat{A}, \hat{B}] \right\rangle\right|,\]

where \(\sigma^2_A\) and \(\sigma^2_B\) are the variances of measuring the expectation value of the associated observables, and

\[[\hat{A}, \hat{B}] = \hat{A}\hat{B}-\hat{B}\hat{A}\]

is the commutator. Therefore,

  • If the two observables \(\hat{A}\) and \(\hat{B}\) do not commute (\([\hat{A}, \hat{B}] \neq 0\)), then \(\sigma_A^2 \sigma_B^2 > 0\) and we cannot simultaneously measure the expectation values of the two observables.
  • If \(\hat{A}\) and \(\hat{B}\) do commute (\([\hat{A}, \hat{B}] = 0\)), then \(\sigma_A^2 \sigma_B^2 \geq 0\) and there exists a measurement basis where we can simultaneously measure the expectation value of both observables on the same state.

To explore why commutativity and simultaneous measurement are related, let’s assume that there is a complete, orthonormal eigenbasis \(|\phi_n\rangle\) that simultaneously diagonalizes both \(\hat{A}\) and \(\hat{B}\):

\[\begin{split}① ~~ \hat{A} |\phi_n\rangle &= \lambda_{A,n} |\phi_n\rangle,\\ ② ~~ \hat{B} |\phi_n\rangle &= \lambda_{B,n} |\phi_n\rangle.\end{split}\]

where \(\lambda_{A,n}\) and \(\lambda_{B,n}\) are the corresponding eigenvalues. If we pre-multiply the first equation by \(\hat{B}\), and the second by \(\hat{A}\) (both denoted in blue):

\[\begin{split}\color{blue}{\hat{B}}\hat{A} |\phi_n\rangle &= \lambda_{A,n} \color{blue}{\hat{B}} |\phi_n\rangle = \lambda_{A,n} \color{blue}{\lambda_{B,n}} |\phi_n\rangle,\\ \color{blue}{\hat{A}}\hat{B} |\phi_n\rangle &= \lambda_{B,n} \color{blue}{\hat{A}} |\phi_n\rangle = \lambda_{A,n} \color{blue}{\lambda_{B,n}} |\phi_n\rangle.\end{split}\]

We can see that assuming a simultaneous eigenbasis requires that \(\hat{A}\hat{B}|\phi_n\rangle = \hat{B}\hat{A}|\phi_n\rangle\). Or, rearranging,

\[(\hat{A}\hat{B} - \hat{B}\hat{A}) |\phi_n\rangle = [\hat{A}, \hat{B}]|\phi_n\rangle = 0.\]

Our assumption that \(|\phi_n\rangle\) simultaneously diagonalizes both \(\hat{A}\) and \(\hat{B}\) only holds true if the two observables commute.

So far, this seems awfully theoretical. What does this mean in practice?

In the realm of variational circuits, we typically want to compute expectation values of an observable on a given state \(|\psi\rangle\). If we have two commuting observables, we now know that they share a simultaneous eigenbasis:

\[\begin{split}\hat{A} &= \sum_n \lambda_{A, n} |\phi_n\rangle\langle \phi_n|,\\ \hat{B} &= \sum_n \lambda_{B, n} |\phi_n\rangle\langle \phi_n|.\end{split}\]

Substituting this into the expression for the expectation values:

\[\begin{split}\langle\hat{A}\rangle &= \langle \psi | \hat{A} | \psi \rangle = \langle \psi | \left( \sum_n \lambda_{A, n} |\phi_n\rangle\langle \phi_n| \right) | \psi \rangle = \sum_n \lambda_{A,n} |\langle \phi_n|\psi\rangle|^2,\\ \langle\hat{B}\rangle &= \langle \psi | \hat{B} | \psi \rangle = \langle \psi | \left( \sum_n \lambda_{B, n} |\phi_n\rangle\langle \phi_n| \right) | \psi \rangle = \sum_n \lambda_{B,n} |\langle \phi_n|\psi\rangle|^2.\end{split}\]

So, assuming we know the eigenvalues of the commuting observables in advance, if we perform a measurement in their shared eigenbasis (the \(|\phi_n\rangle\)), we only need to perform a single measurement of the probabilities \(|\langle \phi_n|\psi\rangle|^2\) in order to recover both expectation values! 😍

Fantastic! But, can we use this to reduce the number of measurements we need to perform in the VQE algorithm? To do so, we must find the answer to two questions:

  1. How do we determine which terms of the cost Hamiltonian commute?
  2. How do we rotate the circuit into the shared eigenbasis prior to measurement?

The answers to these questions aren’t necessarily easy nor straightforward. Thankfully, there are some recent techniques we can harness to address both.

Qubit-wise commuting Pauli terms

Back when we summarized the VQE algorithm, we saw that each term of the Hamiltonian is generally represented as a tensor product of Pauli operators:

\[h_i = \bigotimes_{n=0}^{N-1} P_n.\]

Luckily, this tensor product structure allows us to take a bit of a shortcut. Rather than consider full commutativity, we can consider a slightly less strict condition known as qubit-wise commutativity (QWC).

To start with, let’s consider single-qubit Pauli operators and the identity. We know that the Pauli operators commute with themselves as well as the identity, but they do not commute with each other:

\[[\sigma_i, I] = 0, ~~~ [\sigma_i, \sigma_i] = 0, ~~~ [\sigma_i, \sigma_j] = c \sigma_k \delta_{ij}.\]

Now consider two tensor products of Pauli terms, for example \(X\otimes Y \otimes I\) and \(X\otimes I \otimes Z\). We say that these two terms are qubit-wise commuting, since, if we compare each subsystem in the tensor product, we see that every one commutes:

\[\begin{split}\begin{array}{ | *1c | *1c | *1c | *1c | *1c |} X &\otimes &Y &\otimes &I\\ X &\otimes &I &\otimes &Z \end{array} ~~~~ \Rightarrow ~~~~ [X, X] = 0, ~~~ [Y, I] = 0, ~~~ [I, Z] = 0.\end{split}\]

As a consequence, both terms must commute:

\[[X\otimes Y \otimes I, X\otimes I \otimes Z] = 0.\]

Important

Qubit-wise commutativity is a sufficient but not necessary condition for full commutativity. For example, the two Pauli terms \(Y\otimes Y\) and \(X\otimes X\) are not qubit-wise commuting, but do commute (have a go verifying this!).

Once we have identified a qubit-wise commuting pair of Pauli terms, it is also straightforward to find the gates to rotate the circuit into the shared eigenbasis. To do so, we simply rotate each qubit one-by-one depending on the Pauli operator we are measuring on that wire:

Observable Rotation gate
\(X\) \(RY(-\pi/2) = H\)
\(Y\) \(RX(\pi/2)=HS^{-1}=HSZ\)
\(Z\) \(I\)
\(I\) \(I\)

Therefore, in this particular example:

  • Wire 0: we are measuring both terms in the \(X\) basis, apply the Hadamard gate
  • Wire 1: we are measuring both terms in the \(Y\) basis, apply a \(RX(\pi/2)\) gate
  • Wire 2: we are measuring both terms in the \(Z\) basis (the computational basis), no gate needs to be applied.

Let’s use PennyLane to verify this.

obs = [
    qml.PauliX(0) @ qml.PauliY(1),
    qml.PauliX(0) @ qml.PauliZ(2)
]

First, let’s naively use two separate circuit evaluations to measure the two QWC terms.

dev = qml.device("default.qubit", wires=3)

@qml.qnode(dev)
def circuit1(weights):
    qml.templates.StronglyEntanglingLayers(weights, wires=range(3))
    return qml.expval(obs[0])


@qml.qnode(dev)
def circuit2(weights):
    qml.templates.StronglyEntanglingLayers(weights, wires=range(3))
    return qml.expval(obs[1])


weights = qml.init.strong_ent_layers_normal(n_layers=3, n_wires=3)

print("Expectation value of XYI = ", circuit1(weights))
print("Expectation value of XIZ = ", circuit2(weights))

Out:

Expectation value of XYI =  0.002386013805242282
Expectation value of XIZ =  -0.10444574279120912

Now, let’s use our QWC approach to reduce this down to a single measurement of the probabilities in the shared eigenbasis of both QWC observables:

@qml.qnode(dev)
def circuit_qwc(weights):
    qml.templates.StronglyEntanglingLayers(weights, wires=range(3))

    # rotate wire 0 into the shared eigenbasis
    qml.RY(-np.pi / 2, wires=0)

    # rotate wire 1 into the shared eigenbasis
    qml.RX(np.pi / 2, wires=1)

    # wire 2 does not require a rotation

    # measure probabilities in the computational basis
    return qml.probs(wires=range(3))


rotated_probs = circuit_qwc(weights)
print(rotated_probs)

Out:

[0.22349772 0.00333584 0.21977179 0.00376696 0.27238678 0.00288146
 0.2727333  0.00162615]

We’re not quite there yet; we have only calculated the probabilities of the variational circuit rotated into the shared eigenbasis—the \(|\langle \phi_n |\psi\rangle|^2\). To recover the expectation values of the two QWC observables from the probabilities, recall that we need one final piece of information: their eigenvalues \(\lambda_{A, n}\) and \(\lambda_{B, n}\).

We know that the single-qubit Pauli operators each have eigenvalues \((1, -1)\), while the identity operator has eigenvalues \((1, 1)\). We can make use of np.kron to quickly generate the eigenvalues of the full Pauli terms, making sure that the order of the eigenvalues in the Kronecker product corresponds to the tensor product.

eigenvalues_XYI = np.kron(np.kron([1, -1], [1, -1]), [1, 1])
eigenvalues_XIZ = np.kron(np.kron([1, -1], [1, 1]), [1, -1])

# Taking the linear combination of the eigenvalues and the probabilities
print("Expectation value of XYI = ", np.dot(eigenvalues_XYI, rotated_probs))
print("Expectation value of XIZ = ", np.dot(eigenvalues_XIZ, rotated_probs))

Out:

Expectation value of XYI =  0.0023860138052424025
Expectation value of XIZ =  -0.10444574279120906

Compare this to the result when we used two circuit evaluations. We have successfully used a single circuit evaluation to recover both expectation values!

Luckily, PennyLane automatically performs this QWC grouping under the hood. We simply return the two QWC Pauli terms from the QNode:

@qml.qnode(dev)
def circuit(weights):
    qml.templates.StronglyEntanglingLayers(weights, wires=range(3))
    return [
        qml.expval(qml.PauliX(0) @ qml.PauliY(1)),
        qml.expval(qml.PauliX(0) @ qml.PauliZ(2))
    ]


print(circuit(weights))

Out:

[ 0.00238601 -0.10444574]

Behind the scenes, PennyLane is making use of our built-in qml.grouping module, which contains functions for diagonalizing QWC terms:

rotations, new_obs = qml.grouping.diagonalize_qwc_pauli_words(obs)

print(rotations)
print(new_obs)

Out:

[RY(-1.5707963267948966, wires=[0]), RX(1.5707963267948966, wires=[1])]
[PauliZ(wires=[0]) @ PauliZ(wires=[1]), PauliZ(wires=[0]) @ PauliZ(wires=[2])]

Here, the first line corresponds to the basis rotations that were discussed above, written in terms of RX and RY rotations. Check out the qml.grouping documentation for more details on its provided functionality and how it works.

What happens, though, if we (in a moment of reckless abandon!) ask a QNode to simultaneously measure two observables that aren’t qubit-wise commuting? For example, let’s consider \(X\otimes Y\) and \(Z\otimes Z\):

@qml.qnode(dev)
def circuit(weights):
    qml.templates.StronglyEntanglingLayers(weights, wires=range(3))
    return [
        qml.expval(qml.PauliZ(0) @ qml.PauliY(1)),
        qml.expval(qml.PauliZ(0) @ qml.PauliZ(1))
    ]

Out:

pennylane.qnodes.base.QuantumFunctionError: Only observables that are qubit-wise commuting
Pauli words can be returned on the same wire

The QNode has detected that the two observables are not qubit-wise commuting, and has raised an error.

So, a strategy begins to take shape: given a Hamiltonian containing a large number of Pauli terms, there is a high likelihood of there being a significant number of terms that qubit-wise commute. Can we somehow partition the terms into fewest number of QWC groups to minimize the number of measurements we need to take?

Grouping QWC terms

A nice example is provided in [6] showing how we might tackle this. Say we have the following Hamiltonian defined over four qubits:

\[H = Z_0 + Z_0 Z_1 + Z_0 Z_1 Z_2 + Z_0 Z_1 Z_2 Z_3 + X_2 X_3 + Y_0 X_2 X_3 + Y_0 Y_1 X_2 X_3,\]

where we are using the shorthand \(P_0 P_2 = P\otimes I \otimes P \otimes I\) for brevity. If we go through and work out which Pauli terms are qubit-wise commuting, we can represent this in a neat way using a graph:

../_images/graph1.png

In the above graph, every node represents an individual Pauli term of the Hamiltonian, with edges connecting terms that are qubit-wise commuting. Groups of qubit-wise commuting terms are represented as complete subgraphs. Straight away, we can make an observation: there is no unique solution for partitioning the Hamiltonian into groups of qubit-wise commuting terms! In fact, there are several solutions:

../_images/graph2.png

Of course, of the potential solutions above, there is one that is more optimal than the others — on the bottom left, we have partitioned the graph into two complete subgraphs, as opposed to the other solutions that require three complete subgraphs. If we were to go with this solution, we would be able to measure the expectation value of the Hamiltonian using two circuit evaluations.

This problem—finding the minimum number of complete subgraphs of a graph—is actually quite well known in graph theory, where it is referred to as the minimum clique cover problem (with ‘clique’ being another term for a complete subgraph).

Unfortunately, that’s where our good fortune ends—the minimum clique cover problem is known to be NP-hard, meaning there is no known (classical) solution to finding the optimum/minimum clique cover in polynomial time.

Thankfully, there is a silver lining: we know of polynomial-time algorithms for finding approximate solutions to the minimum clique cover problem. These heuristic approaches, while not guaranteed to find the optimum solution, scale quadratically with the number of nodes in the graph/terms in the Hamiltonian [2], so work reasonably well in practice.

Many of these heuristic approaches have roots in another graph problem known as graph colouring; the assignment of colours to the graph’s vertices such that no adjacent vertices have the same colour. How is this related to the minimum clique cover problem, though? If we take our QWC graph above, and generate the complement graph by drawing edges between all non-adjacent nodes,

../_images/graph3.png

we see that solving the minimum clique cover problem on the QWC graph is equivalent to solving the graph colouring problem on the complement graph using the minimum possible number of colours. While there are various different heuristic algorithms, a common one is greedy colouring; in fact, the open-source graph package NetworkX even provides a function for greedy colouring, nx.greedy_color.

Let’s give this a go, using NetworkX to solve the minimum clique problem for observable grouping. First, we’ll need to generate the QWC graph (with each node corresponding to a Hamiltonian term, and edges indicating two terms that are QWC).

import networkx as nx
from matplotlib import pyplot as plt

terms = [
    qml.PauliZ(0),
    qml.PauliZ(0) @ qml.PauliZ(1),
    qml.PauliZ(0) @ qml.PauliZ(1) @ qml.PauliZ(2),
    qml.PauliZ(0) @ qml.PauliZ(1) @ qml.PauliZ(2) @ qml.PauliZ(3),
    qml.PauliX(2) @ qml.PauliX(3),
    qml.PauliY(0) @ qml.PauliX(2) @ qml.PauliX(3),
    qml.PauliY(0) @ qml.PauliY(1) @ qml.PauliX(2) @ qml.PauliX(3)
]

G = nx.Graph()

# add the terms to the graph
G.add_nodes_from(terms)

# add QWC edges
G.add_edges_from([
    [terms[0], terms[1]],  # Z0 <--> Z0 Z1
    [terms[0], terms[2]],  # Z0 <--> Z0 Z1 Z2
    [terms[0], terms[3]],  # Z0 <--> Z0 Z1 Z2 Z3
    [terms[1], terms[2]],  # Z0 Z1 <--> Z0 Z1 Z2
    [terms[2], terms[3]],  # Z0 Z1 Z2 <--> Z0 Z1 Z2 Z3
    [terms[1], terms[3]],  # Z0 Z1 <--> Z0 Z1 Z2 Z3
    [terms[0], terms[4]],  # Z0 <--> X2 X3
    [terms[1], terms[4]],  # Z0 Z1 <--> X2 X3
    [terms[4], terms[5]],  # X2 X3 <--> Y0 X2 X3
    [terms[4], terms[6]],  # X2 X3 <--> Y0 Y1 X2 X3
    [terms[5], terms[6]],  # Y0 X2 X3 <--> Y0 Y1 X2 X3
])


def format_pauli_word(term):
    """Convenience function that nicely formats a PennyLane
    tensor observable as a Pauli word"""
    if isinstance(term, qml.operation.Tensor):
        return " ".join([format_pauli_word(t) for t in term.obs])

    return f"{term.name[-1]}{term.wires.tolist()[0]}"

plt.margins(x=0.1)
nx.draw(
    G,
    labels={node: format_pauli_word(node) for node in terms},
    with_labels=True,
    node_size=500,
    font_size=8,
    node_color="#9eded1",
    edge_color="#c1c1c1"
)
tutorial measurement optimize

We can now generate the complement graph (compare this to our handdrawn version above!):

C = nx.complement(G)
coords = nx.spring_layout(C)

nx.draw(
    C,
    coords,
    labels={node: format_pauli_word(node) for node in terms},
    with_labels=True,
    node_size=500,
    font_size=8,
    node_color="#9eded1",
    edge_color="#c1c1c1"
)
tutorial measurement optimize

Now that we have the complement graph, we can perform a greedy coloring to determine the minimum number of QWC groups:

groups = nx.coloring.greedy_color(C, strategy="largest_first")

# plot the complement graph with the greedy colouring
nx.draw(
    C,
    coords,
    labels={node: format_pauli_word(node) for node in terms},
    with_labels=True,
    node_size=500,
    font_size=8,
    node_color=[("#9eded1", "#aad4f0")[groups[node]] for node in C],
    edge_color="#c1c1c1"
)


num_groups = len(set(groups.values()))
print("Minimum number of QWC groupings found:", num_groups)


for i in range(num_groups):
    print(f"\nGroup {i}:")

    for term, group_id in groups.items():
        if group_id == i:
            print(format_pauli_word(term))
tutorial measurement optimize

Out:

Minimum number of QWC groupings found: 2

Group 0:
Y0 X2 X3
Y0 Y1 X2 X3
X2 X3

Group 1:
Z0 Z1 Z2
Z0 Z1 Z2 Z3
Z0
Z0 Z1

Putting it all together

So, we now have a strategy for minimizing the number of measurements we need to perform for our VQE problem:

  1. Determine which terms of the Hamiltonian are qubit-wise commuting, and use this to construct a graph representing the QWC relationship.
  2. Construct the complement QWC graph.
  3. Use a graph colouring heuristic algorithm to determine a graph colouring for the complement graph with a minimum number of colours. Each coloured vertex set corresponds to a qubit-wise commuting group of Hamiltonian terms.
  4. Generate and evaluate the circuit ansatz (with additional rotations) per QWC grouping, extracting probability distributions.
  5. Finally, post-process the probability distributions with the observable eigenvalues to recover the Hamiltonian expectation value.

Luckily, the PennyLane grouping module makes this relatively easy. Let’s walk through the entire process using the provided grouping functions.

Steps 1-3 (finding and grouping QWC terms in the Hamiltonian) can be done via the qml.grouping.group_observables function:

obs_groupings = qml.grouping.group_observables(terms, grouping_type='qwc', method='rlf')

The grouping_type argument allows us to choose how the commuting terms are determined (more on that later!) whereas method determines the colouring heuristic (in this case, "rlf" refers to Recursive Largest First, a variant of largest first colouring heuristic).

If we want to see what the required rotations and measurements are, we can use the qml.grouping.diagonalize_qwc_groupings function:

rotations, measurements = qml.grouping.diagonalize_qwc_groupings(obs_groupings)

However, this isn’t strictly necessary—recall previously that the QNode has the capability to automatically measure qubit-wise commuting observables!

dev = qml.device("default.qubit", wires=4)

@qml.qnode(dev)
def circuit(weights, group=None, **kwargs):
    qml.templates.StronglyEntanglingLayers(weights, wires=range(4))
    return [qml.expval(o) for o in group]

weights = qml.init.strong_ent_layers_normal(n_layers=3, n_wires=4)
result = [circuit(weights, group=g) for g in obs_groupings]

print("Term expectation values:")
for group, expvals in enumerate(result):
    print(f"Group {group} expectation values:", expvals)

# Since all the coefficients of the Hamiltonian are unity,
# we can simply sum the expectation values.
print("<H> = ", np.sum(np.hstack(result)))

Out:

Term expectation values:
Group 0 expectation values: [-0.09065444 -0.0013344   0.00500068]
Group 1 expectation values: [0.99284803 0.98558607 0.99426097 0.9875469 ]
<H> =  3.873253793539157

Finally, we don’t need to go through this process manually every time; if our cost function can be written in the form of an expectation value of a Hamiltonian (as is the case for most VQE and QAOA problems), we can use the qml.ExpvalCost function to generate our cost function with the number of measurement automatically optimized:

H = qml.Hamiltonian(coeffs=np.ones(len(terms)), observables=terms)
cost_fn = qml.ExpvalCost(qml.templates.StronglyEntanglingLayers, H, dev, optimize=True)
print(cost_fn(weights))

Out:

3.8732537935391567

Beyond VQE

Wait, hang on. We dove so deeply into measurement grouping and optimization, we forgot to check how this affects the number of measurements required to perform the VQE on \(\text{H}_2 \text{O}\)! Let’s use our new-found knowledge to see what happens.

symbols, coordinates = qml.qchem.read_structure("h2o.xyz")
H, num_qubits = qml.qchem.molecular_hamiltonian(symbols, coordinates)
print("Number of Hamiltonian terms/required measurements:", len(H.ops))

# grouping
groups = qml.grouping.group_observables(H.ops, grouping_type='qwc', method='rlf')
print("Number of required measurements after optimization:", len(groups))

Out:

Number of Hamiltonian terms/required measurements: 2050
Number of required measurements after optimization: 523

We went from 2050 required measurements/circuit evaluations to 523 (just over two thousand down to five hundred 😱😱😱).

As impressive as this is, however, this is just the beginning of the optimization.

While finding qubit-wise commutating terms is relatively straightforward, with a little extra computation we can push this number down even further. Recent work has explored the savings that can be made by considering full commutativity [2], unitary partitioning [3], and Fermionic basis rotation grouping [4]. Work has also been performed to reduce the classical overhead associated with measurement optimization, allowing the classical measurement grouping to be performed in linear time [5]. For example, recall that qubit-wise commutativity is only a subset of full commutativity; if we consider full commutativity instead, we can further reduce the number of groups required.

Finally, it is worth pointing out that, as the field of variational quantum algorithms grows, this problem of measurement optimization no longer just applies to the VQE algorithm (the algorithm it was born from). Instead, there are a multitude of algorithms that could benefit from these measurement optimization techniques (QAOA being a prime example).

So the next time you are working on a variational quantum algorithm and the number of measurements required begins to explode—stop, take a deep breath 😤, and consider grouping and optimizing your measurements.

References

[1]Alberto Peruzzo, Jarrod McClean et al., “A variational eigenvalue solver on a photonic quantum processor”. Nature Communications 5, 4213 (2014).
[2](1, 2, 3) Tzu-Ching Yen, Vladyslav Verteletskyi, and Artur F. Izmaylov. “Measuring all compatible operators in one series of single-qubit measurements using unitary transformations.” Journal of Chemical Theory and Computation 16.4 (2020): 2400-2409.
[3](1, 2) Artur F. Izmaylov, et al. “Unitary partitioning approach to the measurement problem in the variational quantum eigensolver method.” Journal of Chemical Theory and Computation 16.1 (2019): 190-195.
[4](1, 2) William J. Huggins, et al. “Efficient and noise resilient measurements for quantum chemistry on near-term quantum computers.” arXiv preprint arXiv:1907.13117 (2019).
[5](1, 2) Pranav Gokhale, et al. “Minimizing state preparations in variational quantum eigensolver by partitioning into commuting families.” arXiv preprint arXiv:1907.13623 (2019).
[6](1, 2) Vladyslav Verteletskyi, Tzu-Ching Yen, and Artur F. Izmaylov. “Measurement optimization in the variational quantum eigensolver using a minimum clique cover.” The Journal of Chemical Physics 152.12 (2020): 124114.

Total running time of the script: ( 1 minutes 23.284 seconds)

Gallery generated by Sphinx-Gallery