View on QuantumAI | Run in Google Colab | View source on GitHub | Download notebook |
This notebook demonstrates how to use a Quantum Virtual Machine with larger, more elaborate circuits to demonstrate stabilizer circuits and how they can reveal hardware errors.
Install Cirq and qsim, Create Quantum Virtual Machine
# @title Install `cirq_google` and `qsimcirq`
try:
import cirq
import cirq_google
except ImportError:
print("installing cirq...")
!pip install --quiet cirq-google
print("installed cirq.")
import cirq
import cirq_google
try:
import qsimcirq
except ImportError:
print("installing qsimcirq...")
!pip install --quiet qsimcirq
print(f"installed qsimcirq.")
import qsimcirq
# Other modules used in this colab
import matplotlib.pyplot as plt
import time
import random
# @title Create Quantum Virtual Machine: Choose a processor ("rainbow" or "weber")
processor_id = "rainbow" # @param {type:"string"}
# Instantiate the engine.
sim_engine = cirq_google.engine.create_default_noisy_quantum_virtual_machine(
processor_id=processor_id, simulator_class=qsimcirq.QSimSimulator
)
print(
"Your quantum virtual machine",
processor_id,
"is ready, here is the qubit grid:",
"\n========================\n",
)
print(sim_engine.get_processor(processor_id).get_device())
Your quantum virtual machine rainbow is ready, here is the qubit grid: ======================== (3, 2) β β (4, 1)βββ(4, 2)βββ(4, 3) β β β β β β (5, 0)βββ(5, 1)βββ(5, 2)βββ(5, 3)βββ(5, 4) β β β β β β β β (6, 1)βββ(6, 2)βββ(6, 3)βββ(6, 4)βββ(6, 5) β β β β β β β β (7, 2)βββ(7, 3)βββ(7, 4)βββ(7, 5)βββ(7, 6) β β β β β β (8, 3)βββ(8, 4)βββ(8, 5) β β (9, 4)
Introduction to stabilizer measurements
The following code blocks measure a Z stabilizer as described by Fowler et al (2012). This type of circuit is central to the field of quantum error correction via the idea of a Stabilizer Code.
This circuit is constructed such that the central "measure" qubit will be in the \(|1\rangle\) state if an odd number of the four surrounding "data" qubits (named a-d in the figure) have a bit-flip error (corresponding to an X gate).
Stabilizer measurements on a small grid
The examples below demonstrate a single Z stabilizer, similar to the image above.
Without noise
In a perfectly noiseless Z stabilizer, all qubits will remain in the \(|0\rangle\) state.
data_qubits = [cirq.NamedQubit('data_' + str(x)) for x in 'abcd']
measure_qubit = cirq.NamedQubit('_meas')
stabilizer_circuit = cirq.Circuit(
*[cirq.CX(data_qubit, measure_qubit) for data_qubit in data_qubits],
cirq.measure(measure_qubit, key='meas'),
)
print(f'Z-stabilizer circuit:')
print('========================')
print(stabilizer_circuit)
Z-stabilizer circuit: ======================== _meas: ββββXβββXβββXβββXβββM('meas')βββ β β β β data_a: βββ@ββββΌββββΌββββΌβββββββββββββββ β β β data_b: βββββββ@ββββΌββββΌβββββββββββββββ β β data_c: βββββββββββ@ββββΌβββββββββββββββ β data_d: βββββββββββββββ@βββββββββββββββ
simulator = cirq.Simulator()
result = simulator.run(stabilizer_circuit, repetitions=100)
ax = cirq.plot_state_histogram(result)
plt.show(ax)
With fixed noise
If one of the qubits is flipped, the measure qubit will also flip to match the parity of the data qubits.
random_data_qubit = random.choice(data_qubits)
stabilizer_circuit_with_error = cirq.X(random_data_qubit) + stabilizer_circuit
print(f'Z-stabilizer circuit with single error:')
print('========================')
print(stabilizer_circuit_with_error)
Z-stabilizer circuit with single error: ======================== _meas: ββββββββXβββXβββXβββXβββM('meas')βββ β β β β data_a: βββXβββ@ββββΌββββΌββββΌβββββββββββββββ β β β data_b: βββββββββββ@ββββΌββββΌβββββββββββββββ β β data_c: βββββββββββββββ@ββββΌβββββββββββββββ β data_d: βββββββββββββββββββ@βββββββββββββββ
result = simulator.run(stabilizer_circuit_with_error, repetitions=100)
ax = cirq.plot_state_histogram(result)
plt.show(ax)
With hardware noise on the QVM
With hardware-like noise, the stabilizer circuit becomes much more interesting. An arbitrary error could occur at any point:
- On a data qubit before or after the CNOT
- On the measure qubit before or after the CNOTs
- On the measure qubit between CNOTs
- Multiple errors in any combination of the above locations
The only indication of that error comes from the output of the measure qubit. By creating a grid of stabilizers and observing how they change over time, it's possible to decode when and where errors occured and compensate for them.
The example below only runs a single cycle of one Z stabilizer, so it can't pinpoint error precisely. However, by measuring the data qubits afterwards it's possible to guess at where the error(s) took place.
# Add measurements to the data qubits.
stabilizer_circuit_for_hardware = stabilizer_circuit + (
cirq.Moment(cirq.measure(data_qubit, key=str(data_qubit)[-1]) for data_qubit in data_qubits)
)
print(f'Z-stabilizer circuit with data measurement:')
print('========================')
print(stabilizer_circuit_for_hardware)
Z-stabilizer circuit with data measurement: ======================== _meas: ββββXβββXβββXβββXβββM('meas')ββββββββββββ β β β β data_a: βββ@ββββΌββββΌββββΌβββββββββββββββM('a')βββ β β β data_b: βββββββ@ββββΌββββΌβββββββββββββββM('b')βββ β β data_c: βββββββββββ@ββββΌβββββββββββββββM('c')βββ β data_d: βββββββββββββββ@βββββββββββββββM('d')βββ
# Device_stabilizer_plaquette is an X-shaped region of qubits
# on the actual device.
device_stabilizer_plaquette = [
cirq.GridQubit(5, 3),
cirq.GridQubit(5, 2),
cirq.GridQubit(4, 3),
cirq.GridQubit(5, 4),
cirq.GridQubit(6, 3),
]
# Translate the circuit to a suitable gate set.
test_stabilizer_circuit = cirq.optimize_for_target_gateset(
stabilizer_circuit_for_hardware,
context=cirq.TransformerContext(deep=True),
gateset=cirq.SqrtIswapTargetGateset(),
)
# Map circuit qubits to hardware ones.
qubit_map = dict(zip([measure_qubit] + data_qubits, device_stabilizer_plaquette))
# Re-map the circuit to the hardware qubits.
test_stabilizer_circuit = test_stabilizer_circuit.transform_qubits(lambda q: qubit_map[q])
print(f'Z-stabilizer circuit optimized for {processor_id}:')
print('========================')
print(test_stabilizer_circuit)
Z-stabilizer circuit optimized for rainbow: ======================== (4, 3): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββββiSwapβββββββPhXZ(a=-0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=-1,x=0.5,z=0.25)βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββM('b')βββ β β (5, 2): βββPhXZ(a=-0.25,x=0.5,z=0.25)ββββββiSwapβββββββPhXZ(a=-0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=-1,x=0.5,z=0.25)ββββββββββΌβββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββM('a')βββ β β β β (5, 3): βββPhXZ(a=8.22e-09,x=0.75,z=0.5)βββiSwap^0.5ββββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-0.5,x=0.5,z=1.55e-15)βββiSwap^0.5ββββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-0.5,x=0.5,z=1.55e-15)βββiSwapββββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=-0.5,x=0.5,z=1.55e-15)βββiSwapββββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=0.5,x=0.75,z=-0.5)βββM('meas')ββββββββββββ β β β β (5, 4): βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββββiSwap^0.5βββPhXZ(a=-0.5,x=1,z=0)βββiSwap^0.5βββPhXZ(a=-1,x=0.5,z=0.25)ββββββββββΌβββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββββββM('c')βββ β β (6, 3): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββββiSwap^0.5βββPhXZ(a=-0.5,x=1,z=0)βββiSwap^0.5βββPhXZ(a=-1,x=0.5,z=0.25)βββββββββββββββββM('d')βββ
# Run for 1k repetitions.
repetitions = 1000
start = time.time()
results = sim_engine.get_sampler(processor_id).run(test_stabilizer_circuit, repetitions=repetitions)
elapsed = time.time() - start
print(f'{repetitions} repetitions completed in {elapsed:.03f}s')
1000 repetitions completed in 0.469s
Each result in the histogram below corresponds to a different set of possible errors. Below are some of the most likely cases for each measured result, or "syndrome", but there are many other possible cases not listed.
- No flips (
0_0000
) could be no error, or two errors on the same qubit. - A single data flip (e.g.
0_1000
) could be a post-CNOT data error, or a pre-CNOT data error and a measurement error. - A data flip and a measure flip (e.g.
1_1000
) could be a pre-CNOT data error or post-CNOT errors on both flipped qubits. - Two data flips (e.g.
0_1100
) could be pre-CNOT or post-CNOT errors on both flipped qubits.
...and so on, for more unusual cases.
# A labeling function.
def fold_func(bits) -> str:
suffix = "".join(map(str, [bits[i][0] for i in range(1,5)]))
return f"{bits[0][0]}_{suffix}"
hist = results.multi_measurement_histogram(keys=['meas'] + list('abcd'), fold_func=fold_func)
print("Results (<meas>_<data>)")
ax = cirq.plot_state_histogram(hist)
plt.setp(ax.get_xticklabels(), rotation=30, horizontalalignment='right')
plt.show(ax)
Results (<meas>_<data>)
As a final exercise on this circuit, it's possible to display a 2D heatmap of measurement results. This will show which qubits measured a \(|1\rangle\) most often; on a hardware device, this could be used to highlight the performance of specific qubits. See Heatmaps for more on visualizing error.
meas_map = {qubit_map[measure_qubit]: sum(results.measurements['meas']) / repetitions}
data_map = {
qubit_map[dq]: sum(results.measurements[str(dq)[-1]]) / repetitions for dq in data_qubits
}
heatmap = cirq.Heatmap({**meas_map, **data_map})
heatmap.plot()
(<Axes: xlabel='column', ylabel='row'>, <matplotlib.collections.PolyCollection at 0x7f97a46a7850>)
Stabilizer measurements on a large grid
The next examples scale up the stabilizer grid to a 2x3 block of three Z stabilizers and three X stabilizers. Combining both stabilizer types allows many types of error to be detected and compensated for, although some ambiguity still remains. It also manually maps the circuit to the hardware qubits.
A real logical qubit would require many more stabilizers to be fault-tolerant; however, this toy example is already near the upper bound of what a full statevector simulator can simulate on personal-level computers.
# Consider the following grid, where numbers represent
# measure qubits and letters represent data qubits:
#
# A
# B0C
# D1E2F
# G3H4J
# K5L
# M
#
# Center Z-plaquettes on [0, 3, 4] and
# X-plaquettes on [1, 2, 5]
# Instantiate the alphabetical data qubits and numerical measurement qubits.
grid_data_qubits = {x: cirq.NamedQubit(x) for x in 'ABCDEFGHJKLM'}
grid_meas_qubits = {x: cirq.NamedQubit(str(x)) for x in range(6)}
# Build the diamond shaped stabilizer circuit from six layered smaller stabilizers.
stabilizer_grid_circuit = cirq.Circuit(
cirq.H.on_each(grid_meas_qubits[x] for x in [1, 2, 5]),
*[cirq.CX(grid_data_qubits[x], grid_meas_qubits[0]) for x in 'ABCE'],
*[cirq.CX(grid_meas_qubits[1], grid_data_qubits[x]) for x in 'BDEG'],
*[cirq.CX(grid_meas_qubits[2], grid_data_qubits[x]) for x in 'CEFH'],
*[cirq.CX(grid_data_qubits[x], grid_meas_qubits[3]) for x in 'EGHK'],
*[cirq.CX(grid_data_qubits[x], grid_meas_qubits[4]) for x in 'FHJL'],
*[cirq.CX(grid_meas_qubits[5], grid_data_qubits[x]) for x in 'HKLM'],
cirq.H.on_each(grid_meas_qubits[x] for x in [1, 2, 5]),
*[cirq.measure(mq) for mq in grid_meas_qubits.values()],
*[cirq.measure(dq) for dq in grid_data_qubits.values()],
)
# Map the named qubits of the stabilizer circuit to GridQubits on the hardware.
qubit_map = {
cirq.NamedQubit('A'): cirq.GridQubit(4, 3),
cirq.NamedQubit('B'): cirq.GridQubit(5, 2),
cirq.NamedQubit('0'): cirq.GridQubit(5, 3),
cirq.NamedQubit('C'): cirq.GridQubit(5, 4),
cirq.NamedQubit('D'): cirq.GridQubit(6, 1),
cirq.NamedQubit('1'): cirq.GridQubit(6, 2),
cirq.NamedQubit('E'): cirq.GridQubit(6, 3),
cirq.NamedQubit('2'): cirq.GridQubit(6, 4),
cirq.NamedQubit('F'): cirq.GridQubit(6, 5),
cirq.NamedQubit('G'): cirq.GridQubit(7, 2),
cirq.NamedQubit('3'): cirq.GridQubit(7, 3),
cirq.NamedQubit('H'): cirq.GridQubit(7, 4),
cirq.NamedQubit('4'): cirq.GridQubit(7, 5),
cirq.NamedQubit('J'): cirq.GridQubit(7, 6),
cirq.NamedQubit('K'): cirq.GridQubit(8, 3),
cirq.NamedQubit('5'): cirq.GridQubit(8, 4),
cirq.NamedQubit('L'): cirq.GridQubit(8, 5),
cirq.NamedQubit('M'): cirq.GridQubit(9, 4),
}
stabilizer_grid_circuit = stabilizer_grid_circuit.transform_qubits(lambda q: qubit_map[q])
print(stabilizer_grid_circuit)
ββββ ββββββββββ ββββ ββββ ββββββββββ βββββββββ βββββββββ ββββββββββββββ βββββββββ (4, 3): βββ@βββM('A')ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β (5, 2): ββββΌβββ@ββββββββββXβββββM('B')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β (5, 3): βββXβββXβββββββββXβΌβββββXβββββββββββM('0')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ ββ β (5, 4): βββββββββββββββββ@βΌββββββΌββββββXββββM('C')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β (6, 1): βββββββββββββββββββΌββββββΌβββββXβΌββββM('D')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β ββ (6, 2): βββHββββββββββββββ@ββββββΌβββββ@βΌββββ@βββββββββ@ββββββHββββββM('1')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β (6, 3): ββββββββββββββββββββββββ@βββββββΌββββXββββββββββΌXββββββ@βββββM('E')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β ββ β (6, 4): βββHβββββββββββββββββββββββββββ@βββββββββββββββΌ@βββββ@βΌβββββ@βββββββββββHβββββββββM('2')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β ββ β (6, 5): βββββββββββββββββββββββββββββββββββββββββββββββΌββββββXβΌββββββΌββββββ@ββββM('F')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β (7, 2): ββββββββββββββββββββββββββββββββββββββββββββββXββββββββΌββββββΌβββββ@βΌββββM('G')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β ββ (7, 3): ββββββββββββββββββββββββββββββββββββββββββββββββββββββXββββββΌβββββXβΌββββXβββββββββXβββββββββββM('3')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β (7, 4): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββXβββββββΌββββ@ββββββββββΌβββββ@βββββββββββXβββββM('H')βββββββββββββββββββββββββββββββββββββββββββββββββ β β β β (7, 5): βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββXβββββββββββββββΌβββββXβββββXββββββΌβββββXβββββββββββββββM('4')βββββββββββββββββββββββββββββββββ β β β β (7, 6): βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌβββββββββββ@ββββββΌββββββΌβββββM('J')βββββββββββββββββββββββββββββββββββββββββββ β β β (8, 3): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ@ββββββββββββββββββΌββββββΌβββββXβββββββββM('K')βββββββββββββββββββββββββββββββββ β β β (8, 4): βββHββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ@ββββββΌβββββ@βββββββββ@βββββββββ@ββββββββββHββββββββM('5')βββ β β β (8, 5): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ@βββββββββββββββXββββββββββΌM('L')ββββββββββββββββββββββ β (9, 4): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββXββββββββββM('M')ββββββββββββ ββββ ββββββββββ ββββ ββββ ββββββββββ βββββββββ βββββββββ ββββββββββββββ βββββββββ
[Optional] View 3D circuit
Large circuits that are mapped to grids are suitable to be visualized in 3D with cirq_web
, if you find it useful, as follows:
!pip install -q cirq-web~=1.0.dev
import cirq_web
circuit_vis = cirq_web.Circuit3D(stabilizer_grid_circuit)
display(circuit_vis)
Without noise
The noiseless version of the larger grid is slightly more exciting than the small grid example: the X measure qubits will measure a random state since their neighbors are initialized in the Z basis. However, subsequent measurements will remain consistent.
The example below runs a single cycle of the 2x3 grid 100 times, then does a Z-basis measurement of all data qubits. Since each of these is a separate execution of the circuit, no correlation is expected between repetitions.
noiseless_sim = qsimcirq.QSimSimulator()
repetitions = 100
start = time.time()
results = noiseless_sim.run(stabilizer_grid_circuit, repetitions=repetitions)
elapsed = time.time() - start
print(f'{repetitions} repetitions completed in {elapsed:.03f}s')
100 repetitions completed in 0.010s
# Set to view results from each repetition.
repetition = 0 # @param {type:"number"}
meas_map = {
qubit_map[q]: results.measurements[str(q)][repetition] for q in grid_meas_qubits.values()
}
data_map = {
qubit_map[q]: results.measurements[str(q)][repetition] for q in grid_data_qubits.values()
}
heatmap = cirq.Heatmap({**meas_map, **data_map})
heatmap.plot()
(<Axes: xlabel='column', ylabel='row'>, <matplotlib.collections.PolyCollection at 0x7f96dfbe6140>)
With hardware noise on the QVM
Adding in hardware-like noise means that subsequent cycles of a stabilizer might disagree with one another. These inconsistencies can be interpreted as various error modes, which can be decoded to compensate for the errors observed.
Decoding stabilizer error is a complex topic not covered here, but the pre-decoding results and data qubit measurements shown below may shed some light on how to approach this process.
test_stabilizer_grid_circuit = cirq.optimize_for_target_gateset(
cirq.Circuit(cirq.decompose(stabilizer_grid_circuit)),
context=cirq.TransformerContext(deep=True),
gateset=cirq.SqrtIswapTargetGateset(),
)
print(test_stabilizer_grid_circuit)
ββββββββββββββββββββ ββββββββββββββββββββ ββββββββββββββββββββ βββββββββββββββββββββββββββββββββββββββββββββ (4, 3): βββPhXZ(a=-0.25,x=0.5,z=-0.75)ββββββiSwapβββββββPhXZ(a=0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=0,x=0.5,z=-0.75)ββββM('A')ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β (5, 2): βββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββiSwapβββββββPhXZ(a=0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=0.804,x=0.333,z=0.392)βββiSwapβββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=-0.5,x=0.75,z=0.5)βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββM('B')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β (5, 3): βββPhXZ(a=8.22e-09,x=0.75,z=-0.5)βββiSwap^0.5βββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-1,x=0.5,z=-0.75)ββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββiSwap^0.5βββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-1,x=0.5,z=-0.75)βββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββββiSwapββββββββββββββββββββββββββββββββββββββββββββββiSwapβββββββββββββββββPhXZ(a=-1,x=0.5,z=-0.75)ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββiSwapβββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=-0.5,x=0.75,z=0.5)ββββββββββββM('0')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β (5, 4): βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββββiSwap^0.5ββββββββββββββββββββPhXZ(a=0.5,x=1,z=0)βββiSwap^0.5βββββββββββββPhXZ(a=0,x=0.5,z=-0.75)ββββPhXZ(a=0.5,x=-0.5,z=0)βββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββββββββββββββββββββββββββββββiSwapβββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=-0.5,x=0.75,z=0.5)ββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββM('C')ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β (6, 1): βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββPhXZ(a=0.5,x=-0.5,z=0)ββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)βββiSwapβββββββββββββββββββββββββββββββββββββββiSwapββββββββββββββββββββββPhXZ(a=-0.5,x=0.75,z=0.5)ββββββββββββM('D')βββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β β β (6, 2): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-1,x=0.25,z=0.5)βββββββββiSwap^0.5βββPhXZ(a=0.5,x=1,z=0)βββiSwap^0.5βββPhXZ(a=0.5,x=0.5,z=-8.22e-09)ββββββββββββββββββββββββββββββββiSwap^0.5βββββββββββββPhXZ(a=0.5,x=1,z=0)βββiSwap^0.5ββββββββββββββββββPhXZ(a=0,x=0.5,z=-0.75)βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββiSwapβββββββPhXZ(a=0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=0.5,x=0.5,z=-8.22e-09)ββββiSwapβββββββPhXZ(a=0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=0.5,x=0.75,z=-0.5)βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββM('1')ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β β β (6, 3): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββiSwap^0.5βββPhXZ(a=0.5,x=1,z=0)βββiSwap^0.5βββPhXZ(a=0.5,x=0.75,z=0.5)βββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββiSwap^0.5βββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-1,x=0.5,z=-0.75)ββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββiSwapβββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=-0.5,x=0.75,z=0.5)ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)ββββββββββββββββiSwapββββββββPhXZ(a=0.5,x=1,z=0)βββββββββββββiSwapββββββββPhXZ(a=0,x=0.5,z=-0.75)βββββM('E')ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β β β (6, 4): βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=0.5,x=0.5,z=0)ββββββββPhXZ(a=-0.75,x=0.5,z=0.75)βββiSwap^0.5βββPhXZ(a=0.5,x=1,z=0)βββiSwap^0.5βββPhXZ(a=0,x=0.5,z=-0.75)ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββiSwap^0.5βββPhXZ(a=0.5,x=1,z=0)βββiSwap^0.5βββPhXZ(a=0,x=0.5,z=-0.75)βββββPhXZ(a=-0.25,x=0.5,z=-0.75)ββββββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=0.5,x=0.5,z=-8.22e-09)βββββiSwapβββββΌββββββββββββPhXZ(a=0.5,x=1,z=0)ββββiSwapβββββΌββββββββββββPhXZ(a=0.5,x=0.75,z=-0.5)ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββM('2')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β β β (6, 5): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=0.5,x=-0.5,z=0)ββββββββPhXZ(a=-0.25,x=0.5,z=0.25)βββiSwap^0.5βββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-0.5,x=0.75,z=0.5)ββββββββββΌβββββββββΌββββββββββββββββββββββββββββββββββββΌβββββββββΌββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)ββββββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=0,x=0.5,z=-0.75)ββββM('F')ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β β β (7, 2): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=8.22e-09,x=0.75,z=-0.5)βββiSwap^0.5βββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-0.5,x=0.75,z=0.5)βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌβββββββββΌββββββββββββββββββββββββββββββββββββΌβββββββββΌββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββiSwapβββββββPhXZ(a=0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=0,x=0.5,z=-0.75)ββββM('G')ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β β β (7, 3): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=8.22e-09,x=0.75,z=-0.5)βββββΌββββββββiSwap^0.5ββββββββββββββββββββββββββββΌββββββββiSwap^0.5ββββPhXZ(a=-1,x=0.5,z=-0.75)ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββiSwap^0.5βββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-1,x=0.5,z=-0.75)ββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββiSwapβββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=-1,x=0.5,z=-0.75)ββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββββiSwapβββββββββββββββββββββββββββββββββββββββββββββββββββββββiSwapββββββββPhXZ(a=-1,x=0.5,z=-0.75)ββββPhXZ(a=0.5,x=0.5,z=0)βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββM('3')ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β β β (7, 4): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=8.22e-09,x=0.75,z=-0.5)ββββiSwap^0.5ββββββββββββββββββββββββββββββββββββiSwap^0.5βββββββββββββPhXZ(a=-0.5,x=0.75,z=0.5)βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββiSwap^0.5βββPhXZ(a=0.5,x=1,z=0)βββiSwap^0.5βββPhXZ(a=0.5,x=0.5,z=-8.22e-09)βββiSwapβββββββPhXZ(a=0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=0.804,x=0.333,z=0.392)ββββΌββββββββββββββββββββββββββββββββββββββββββββββββββiSwapβββββΌββββββββββββββββββββββββββββββββββββββββiSwapββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.5,x=0.75,z=0.5)ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββM('H')ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β β β (7, 5): βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=0.5,x=-0.5,z=0)ββββββββPhXZ(a=-0.25,x=0.5,z=0.25)βββiSwap^0.5βββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-1,x=0.5,z=-0.75)ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββββiSwap^0.5βββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-1,x=0.5,z=-0.75)βββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββββββΌβββββββββΌβββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββiSwapβββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=-1,x=0.5,z=-0.75)βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββiSwapβββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=-0.5,x=0.75,z=0.5)βββM('4')ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β β β (7, 6): βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββββββΌβββββββββΌβββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββiSwap^0.5βββPhXZ(a=0.5,x=1,z=0)βββiSwap^0.5βββPhXZ(a=0,x=0.5,z=-0.75)ββββM('J')βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β (8, 3): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββββiSwap^0.5βββββββββββPhXZ(a=0.5,x=1,z=0)βββββββββββββΌββββββββiSwap^0.5ββββPhXZ(a=0,x=0.5,z=-0.75)ββββββΌββββββββββββββββββββPhXZ(a=0.5,x=-0.5,z=0)βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββiSwapβββββββββββββββββββββββββββββiSwapβββββββPhXZ(a=-0.5,x=0.75,z=0.5)βββM('K')βββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ β β β β β β (8, 4): ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=0.5,x=0.5,z=0)βββββββββββPhXZ(a=0,x=1,z=0)βββPhXZ(a=-0.25,x=0.5,z=-0.75)ββββiSwap^0.5βββββββββββββPhXZ(a=0.5,x=1,z=0)βββββββββiSwap^0.5ββββββββββββββββββββββββββββββββββββββPhXZ(a=0,x=0.5,z=-0.75)ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββiSwap^0.5βββPhXZ(a=0.5,x=1,z=0)βββiSwap^0.5βββPhXZ(a=0,x=0.5,z=-0.75)ββββββββββββββββββββββββββββββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββiSwapβββββββPhXZ(a=0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=0.5,x=0.5,z=-8.22e-09)ββββiSwapβββββββPhXZ(a=0.5,x=1,z=0)βββiSwapβββββββPhXZ(a=0.5,x=0.75,z=-0.5)βββββββββββββββββββββM('5')βββ β β β β β β (8, 5): βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=-0.25,x=0.5,z=-0.75)βββiSwap^0.5βββPhXZ(a=0.5,x=1,z=0)βββiSwap^0.5βββPhXZ(a=0.5,x=0.75,z=0.5)ββββPhXZ(a=-0.25,x=0.5,z=0.25)ββββiSwap^0.5βββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-0.5,x=0.75,z=0.5)βββββββββΌββββββββββββββββββββββββββββββββββΌβββββββββββββββββββββββββββββββββββββββM('L')βββββββββββββββββββββ β β (9, 4): βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββPhXZ(a=8.22e-09,x=0.75,z=-0.5)βββiSwap^0.5βββββββββββββββββββββββββiSwap^0.5βββPhXZ(a=-0.5,x=0.75,z=0.5)ββββββββββββM('M')ββββββββββββ ββββββββββββββββββββ ββββββββββββββββββββ ββββββββββββββββββββ βββββββββββββββββββββββββββββββββββββββββββββ
repetitions = 100
start = time.time()
results = sim_engine.get_sampler(processor_id).run(
test_stabilizer_grid_circuit, repetitions=repetitions
)
elapsed = time.time() - start
print(f'{repetitions} repetitions completed in {elapsed:.03f}s')
100 repetitions completed in 13.460s
# Set to view results from each repetition.
repetition = 0 # @param {type:"number"}
meas_map = {
qubit_map[q]: results.measurements[str(q)][repetition] for q in grid_meas_qubits.values()
}
data_map = {
qubit_map[q]: results.measurements[str(q)][repetition] for q in grid_data_qubits.values()
}
heatmap = cirq.Heatmap({**meas_map, **data_map})
heatmap.plot()
(<Axes: xlabel='column', ylabel='row'>, <matplotlib.collections.PolyCollection at 0x7f96df9770d0>)