{"payload":{"allShortcutsEnabled":false,"fileTree":{"qiskit/quantum_info/operators/dihedral":{"items":[{"name":"__init__.py","path":"qiskit/quantum_info/operators/dihedral/__init__.py","contentType":"file"},{"name":"dihedral.py","path":"qiskit/quantum_info/operators/dihedral/dihedral.py","contentType":"file"},{"name":"dihedral_circuits.py","path":"qiskit/quantum_info/operators/dihedral/dihedral_circuits.py","contentType":"file"},{"name":"polynomial.py","path":"qiskit/quantum_info/operators/dihedral/polynomial.py","contentType":"file"},{"name":"random.py","path":"qiskit/quantum_info/operators/dihedral/random.py","contentType":"file"}],"totalCount":5},"qiskit/quantum_info/operators":{"items":[{"name":"channel","path":"qiskit/quantum_info/operators/channel","contentType":"directory"},{"name":"dihedral","path":"qiskit/quantum_info/operators/dihedral","contentType":"directory"},{"name":"mixins","path":"qiskit/quantum_info/operators/mixins","contentType":"directory"},{"name":"symplectic","path":"qiskit/quantum_info/operators/symplectic","contentType":"directory"},{"name":"utils","path":"qiskit/quantum_info/operators/utils","contentType":"directory"},{"name":"__init__.py","path":"qiskit/quantum_info/operators/__init__.py","contentType":"file"},{"name":"base_operator.py","path":"qiskit/quantum_info/operators/base_operator.py","contentType":"file"},{"name":"custom_iterator.py","path":"qiskit/quantum_info/operators/custom_iterator.py","contentType":"file"},{"name":"linear_op.py","path":"qiskit/quantum_info/operators/linear_op.py","contentType":"file"},{"name":"measures.py","path":"qiskit/quantum_info/operators/measures.py","contentType":"file"},{"name":"op_shape.py","path":"qiskit/quantum_info/operators/op_shape.py","contentType":"file"},{"name":"operator.py","path":"qiskit/quantum_info/operators/operator.py","contentType":"file"},{"name":"predicates.py","path":"qiskit/quantum_info/operators/predicates.py","contentType":"file"},{"name":"random.py","path":"qiskit/quantum_info/operators/random.py","contentType":"file"},{"name":"scalar_op.py","path":"qiskit/quantum_info/operators/scalar_op.py","contentType":"file"}],"totalCount":15},"qiskit/quantum_info":{"items":[{"name":"analysis","path":"qiskit/quantum_info/analysis","contentType":"directory"},{"name":"operators","path":"qiskit/quantum_info/operators","contentType":"directory"},{"name":"states","path":"qiskit/quantum_info/states","contentType":"directory"},{"name":"__init__.py","path":"qiskit/quantum_info/__init__.py","contentType":"file"},{"name":"quaternion.py","path":"qiskit/quantum_info/quaternion.py","contentType":"file"},{"name":"random.py","path":"qiskit/quantum_info/random.py","contentType":"file"}],"totalCount":6},"qiskit":{"items":[{"name":"assembler","path":"qiskit/assembler","contentType":"directory"},{"name":"circuit","path":"qiskit/circuit","contentType":"directory"},{"name":"compiler","path":"qiskit/compiler","contentType":"directory"},{"name":"converters","path":"qiskit/converters","contentType":"directory"},{"name":"dagcircuit","path":"qiskit/dagcircuit","contentType":"directory"},{"name":"passmanager","path":"qiskit/passmanager","contentType":"directory"},{"name":"primitives","path":"qiskit/primitives","contentType":"directory"},{"name":"providers","path":"qiskit/providers","contentType":"directory"},{"name":"pulse","path":"qiskit/pulse","contentType":"directory"},{"name":"qasm","path":"qiskit/qasm","contentType":"directory"},{"name":"qasm2","path":"qiskit/qasm2","contentType":"directory"},{"name":"qasm3","path":"qiskit/qasm3","contentType":"directory"},{"name":"qobj","path":"qiskit/qobj","contentType":"directory"},{"name":"qpy","path":"qiskit/qpy","contentType":"directory"},{"name":"quantum_info","path":"qiskit/quantum_info","contentType":"directory"},{"name":"result","path":"qiskit/result","contentType":"directory"},{"name":"scheduler","path":"qiskit/scheduler","contentType":"directory"},{"name":"synthesis","path":"qiskit/synthesis","contentType":"directory"},{"name":"transpiler","path":"qiskit/transpiler","contentType":"directory"},{"name":"utils","path":"qiskit/utils","contentType":"directory"},{"name":"visualization","path":"qiskit/visualization","contentType":"directory"},{"name":"VERSION.txt","path":"qiskit/VERSION.txt","contentType":"file"},{"name":"__init__.py","path":"qiskit/__init__.py","contentType":"file"},{"name":"exceptions.py","path":"qiskit/exceptions.py","contentType":"file"},{"name":"user_config.py","path":"qiskit/user_config.py","contentType":"file"},{"name":"version.py","path":"qiskit/version.py","contentType":"file"}],"totalCount":26},"":{"items":[{"name":".azure","path":".azure","contentType":"directory"},{"name":".binder","path":".binder","contentType":"directory"},{"name":".cargo","path":".cargo","contentType":"directory"},{"name":".github","path":".github","contentType":"directory"},{"name":"crates","path":"crates","contentType":"directory"},{"name":"docs","path":"docs","contentType":"directory"},{"name":"examples","path":"examples","contentType":"directory"},{"name":"qiskit","path":"qiskit","contentType":"directory"},{"name":"releasenotes","path":"releasenotes","contentType":"directory"},{"name":"test","path":"test","contentType":"directory"},{"name":"tools","path":"tools","contentType":"directory"},{"name":".editorconfig","path":".editorconfig","contentType":"file"},{"name":".git-blame-ignore-revs","path":".git-blame-ignore-revs","contentType":"file"},{"name":".gitignore","path":".gitignore","contentType":"file"},{"name":".local-spellings","path":".local-spellings","contentType":"file"},{"name":".mailmap","path":".mailmap","contentType":"file"},{"name":".mergify.yml","path":".mergify.yml","contentType":"file"},{"name":".stestr.conf","path":".stestr.conf","contentType":"file"},{"name":"CITATION.bib","path":"CITATION.bib","contentType":"file"},{"name":"CODE_OF_CONDUCT.md","path":"CODE_OF_CONDUCT.md","contentType":"file"},{"name":"CONTRIBUTING.md","path":"CONTRIBUTING.md","contentType":"file"},{"name":"Cargo.lock","path":"Cargo.lock","contentType":"file"},{"name":"Cargo.toml","path":"Cargo.toml","contentType":"file"},{"name":"DEPRECATION.md","path":"DEPRECATION.md","contentType":"file"},{"name":"LICENSE.txt","path":"LICENSE.txt","contentType":"file"},{"name":"MAINTAINING.md","path":"MAINTAINING.md","contentType":"file"},{"name":"MANIFEST.in","path":"MANIFEST.in","contentType":"file"},{"name":"Makefile","path":"Makefile","contentType":"file"},{"name":"README.md","path":"README.md","contentType":"file"},{"name":"SECURITY.md","path":"SECURITY.md","contentType":"file"},{"name":"asv.conf.json","path":"asv.conf.json","contentType":"file"},{"name":"azure-pipelines.yml","path":"azure-pipelines.yml","contentType":"file"},{"name":"constraints.txt","path":"constraints.txt","contentType":"file"},{"name":"pyproject.toml","path":"pyproject.toml","contentType":"file"},{"name":"qiskit_bot.yaml","path":"qiskit_bot.yaml","contentType":"file"},{"name":"requirements-dev.txt","path":"requirements-dev.txt","contentType":"file"},{"name":"requirements-optional.txt","path":"requirements-optional.txt","contentType":"file"},{"name":"requirements.txt","path":"requirements.txt","contentType":"file"},{"name":"rust-toolchain.toml","path":"rust-toolchain.toml","contentType":"file"},{"name":"setup.py","path":"setup.py","contentType":"file"},{"name":"tox.ini","path":"tox.ini","contentType":"file"}],"totalCount":41}},"fileTreeProcessingTime":19.895374,"foldersToFetch":[],"repo":{"id":83821669,"defaultBranch":"main","name":"qiskit","ownerLogin":"Qiskit","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-03-03T17:02:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/30696987?v=4","public":true,"private":false,"isOrgOwned":true},"symbolsExpanded":false,"treeExpanded":true,"refInfo":{"name":"main","listCacheKey":"v0:1710848862.0","canEdit":false,"refType":"branch","currentOid":"c26e25cddb3bae79a9d0547c25339d3307769e67"},"path":"qiskit/quantum_info/operators/dihedral/dihedral.py","currentUser":null,"blob":{"rawLines":["# This code is part of Qiskit.","#","# (C) Copyright IBM 2019, 2021.","#","# This code is licensed under the Apache License, Version 2.0. You may","# obtain a copy of this license in the LICENSE.txt file in the root directory","# of this source tree or at http://www.apache.org/licenses/LICENSE-2.0.","#","# Any modifications or derivative works of this code must retain this","# copyright notice, and modified files need to carry a notice indicating","# that they have been altered from the originals.","","\"\"\"","CNOTDihedral operator class.","\"\"\"","from __future__ import annotations","import itertools","import numpy as np","","from qiskit.exceptions import QiskitError","from qiskit.quantum_info.operators.base_operator import BaseOperator","from qiskit.quantum_info.operators.operator import Operator","from qiskit.quantum_info.operators.symplectic.pauli import Pauli","from qiskit.quantum_info.operators.scalar_op import ScalarOp","from qiskit.quantum_info.operators.mixins import generate_apidocs, AdjointMixin","from qiskit.circuit import QuantumCircuit, Instruction","from .dihedral_circuits import _append_circuit","from .polynomial import SpecialPolynomial","","","class CNOTDihedral(BaseOperator, AdjointMixin):"," \"\"\"An N-qubit operator from the CNOT-Dihedral group.",""," The CNOT-Dihedral group is generated by the quantum gates,"," :class:`~qiskit.circuit.library.CXGate`, :class:`~qiskit.circuit.library.TGate`,"," and :class:`~qiskit.circuit.library.XGate`.",""," **Representation**",""," An :math:`N`-qubit CNOT-Dihedral operator is stored as an affine function and a"," phase polynomial, based on the convention in references [1, 2].",""," The affine function consists of an :math:`N \\\\times N` invertible binary matrix,"," and an :math:`N` binary vector.",""," The phase polynomial is a polynomial of degree at most 3,"," in :math:`N` variables, whose coefficients are in the ring Z_8 with 8 elements.",""," .. code-block::",""," from qiskit import QuantumCircuit"," from qiskit.quantum_info import CNOTDihedral",""," circ = QuantumCircuit(3)"," circ.cx(0, 1)"," circ.x(2)"," circ.t(1)"," circ.t(1)"," circ.t(1)"," elem = CNOTDihedral(circ)",""," # Print the CNOTDihedral element"," print(elem)",""," .. parsed-literal::",""," phase polynomial ="," 0 + 3*x_0 + 3*x_1 + 2*x_0*x_1"," affine function ="," (x_0,x_0 + x_1,x_2 + 1)","",""," **Circuit Conversion**",""," CNOTDihedral operators can be initialized from circuits containing *only* the"," following gates: :class:`~qiskit.circuit.library.IGate`,"," :class:`~qiskit.circuit.library.XGate`, :class:`~qiskit.circuit.library.YGate`,"," :class:`~qiskit.circuit.library.ZGate`,"," :class:`~qiskit.circuit.library.TGate`, :class:`~qiskit.circuit.library.TdgGate`"," :class:`~qiskit.circuit.library.SGate`, :class:`~qiskit.circuit.library.SdgGate`,"," :class:`~qiskit.circuit.library.CXGate`, :class:`~qiskit.circuit.library.CZGate`,"," :class:`~qiskit.circuit.library.CSGate`, :class:`~qiskit.circuit.library.CSdgGate`,"," :class:`~qiskit.circuit.library.SwapGate`, :class:`~qiskit.circuit.library.CCZGate`."," They can be converted back into a :class:`~qiskit.circuit.QuantumCircuit`,"," or :class:`~qiskit.circuit.Gate` object using the :meth:`~CNOTDihedral.to_circuit`"," or :meth:`~CNOTDihderal.to_instruction` methods respectively. Note that this"," decomposition is not necessarily optimal in terms of number of gates"," if the number of qubits is more than two.",""," CNOTDihedral operators can also be converted to"," :class:`~qiskit.quantum_info.Operator` objects using the"," :meth:`to_operator` method. This is done via decomposing to a circuit,"," and then simulating the circuit as a unitary operator.",""," References:"," 1. Shelly Garion and Andrew W. Cross, *Synthesis of CNOT-Dihedral circuits"," with optimal number of two qubit gates*, `Quantum 4(369), 2020"," `_"," 2. Andrew W. Cross, Easwar Magesan, Lev S. Bishop, John A. Smolin and Jay M. Gambetta,"," *Scalable randomised benchmarking of non-Clifford gates*,"," npj Quantum Inf 2, 16012 (2016)."," \"\"\"",""," def __init__("," self,"," data: CNOTDihedral | QuantumCircuit | Instruction | None = None,"," num_qubits: int | None = None,"," validate: bool = True,"," ):"," \"\"\"Initialize a CNOTDihedral operator object.",""," Args:"," data (CNOTDihedral or QuantumCircuit or ~qiskit.circuit.Instruction):"," Optional, operator to initialize."," num_qubits (int): Optional, initialize an empty CNOTDihedral operator."," validate (bool): if True, validates the CNOTDihedral element.",""," Raises:"," QiskitError: if the type is invalid."," QiskitError: if validate=True and the CNOTDihedral element is invalid."," \"\"\"",""," if num_qubits:"," # initialize n-qubit identity"," self._num_qubits = num_qubits"," # phase polynomial"," self.poly = SpecialPolynomial(self._num_qubits)"," # n x n invertible matrix over Z_2"," self.linear = np.eye(self._num_qubits, dtype=np.int8)"," # binary shift, n coefficients in Z_2"," self.shift = np.zeros(self._num_qubits, dtype=np.int8)",""," # Initialize from another CNOTDihedral by sharing the underlying"," # poly, linear and shift"," elif isinstance(data, CNOTDihedral):"," self.linear = data.linear"," self.shift = data.shift"," self.poly = data.poly",""," # Initialize from ScalarOp as N-qubit identity discarding any global phase"," elif isinstance(data, ScalarOp):"," if not data.is_unitary() or set(data._input_dims) != {2} or data.num_qubits is None:"," raise QiskitError(\"Can only initialize from N-qubit identity ScalarOp.\")"," self._num_qubits = data.num_qubits"," # phase polynomial"," self.poly = SpecialPolynomial(self._num_qubits)"," # n x n invertible matrix over Z_2"," self.linear = np.eye(self._num_qubits, dtype=np.int8)"," # binary shift, n coefficients in Z_2"," self.shift = np.zeros(self._num_qubits, dtype=np.int8)",""," # Initialize from a QuantumCircuit or Instruction object"," elif isinstance(data, (QuantumCircuit, Instruction)):"," self._num_qubits = data.num_qubits"," elem = self._from_circuit(data)"," self.poly = elem.poly"," self.linear = elem.linear"," self.shift = elem.shift",""," elif isinstance(data, Pauli):"," self._num_qubits = data.num_qubits"," elem = self._from_circuit(data.to_instruction())"," self.poly = elem.poly"," self.linear = elem.linear"," self.shift = elem.shift",""," else:"," raise QiskitError(\"Invalid input type for CNOTDihedral class.\")",""," # Initialize BaseOperator"," super().__init__(num_qubits=self._num_qubits)",""," # Validate the CNOTDihedral element"," if validate and not self._is_valid():"," raise QiskitError(\"Invalid CNOTDihedral element.\")",""," @property"," def name(self):"," \"\"\"Unique string identifier for operation type.\"\"\""," return \"cnotdihedral\"",""," @property"," def num_clbits(self):"," \"\"\"Number of classical bits.\"\"\""," return 0",""," def _z2matmul(self, left, right):"," \"\"\"Compute product of two n x n z2 matrices.\"\"\""," prod = np.mod(np.dot(left, right), 2)"," return prod",""," def _z2matvecmul(self, mat, vec):"," \"\"\"Compute mat*vec of n x n z2 matrix and vector.\"\"\""," prod = np.mod(np.dot(mat, vec), 2)"," return prod",""," def _dot(self, other):"," \"\"\"Left multiplication self * other.\"\"\""," if self.num_qubits != other.num_qubits:"," raise QiskitError(\"Multiplication on different number of qubits.\")"," result = CNOTDihedral(num_qubits=self.num_qubits)"," result.shift = ["," (x[0] + x[1]) % 2 for x in zip(self._z2matvecmul(self.linear, other.shift), self.shift)"," ]"," result.linear = self._z2matmul(self.linear, other.linear)"," # Compute x' = B1*x + c1 using the p_j identity"," new_vars = []"," for i in range(self.num_qubits):"," support = np.arange(self.num_qubits)[np.nonzero(other.linear[i])]"," poly = SpecialPolynomial(self.num_qubits)"," poly.set_pj(support)"," if other.shift[i] == 1:"," poly = -1 * poly"," poly.weight_0 = (poly.weight_0 + 1) % 8"," new_vars.append(poly)"," # p' = p1 + p2(x')"," result.poly = other.poly + self.poly.evaluate(new_vars)"," return result",""," def _compose(self, other):"," \"\"\"Right multiplication other * self.\"\"\""," if self.num_qubits != other.num_qubits:"," raise QiskitError(\"Multiplication on different number of qubits.\")"," result = CNOTDihedral(num_qubits=self.num_qubits)"," result.shift = ["," (x[0] + x[1]) % 2 for x in zip(self._z2matvecmul(other.linear, self.shift), other.shift)"," ]"," result.linear = self._z2matmul(other.linear, self.linear)"," # Compute x' = B1*x + c1 using the p_j identity"," new_vars = []"," for i in range(self.num_qubits):"," support = np.arange(other.num_qubits)[np.nonzero(self.linear[i])]"," poly = SpecialPolynomial(self.num_qubits)"," poly.set_pj(support)"," if self.shift[i] == 1:"," poly = -1 * poly"," poly.weight_0 = (poly.weight_0 + 1) % 8"," new_vars.append(poly)"," # p' = p1 + p2(x')"," result.poly = self.poly + other.poly.evaluate(new_vars)"," return result",""," def __eq__(self, other):"," \"\"\"Test equality.\"\"\""," return ("," isinstance(other, CNOTDihedral)"," and self.poly == other.poly"," and (self.linear == other.linear).all()"," and (self.shift == other.shift).all()"," )",""," def _append_cx(self, i, j):"," \"\"\"Apply a CX gate to this element."," Left multiply the element by CX(i, j)."," \"\"\"",""," if not 0 <= i < self.num_qubits or not 0 <= j < self.num_qubits:"," raise QiskitError(\"CX qubits are out of bounds.\")"," self.linear[j] = (self.linear[i] + self.linear[j]) % 2"," self.shift[j] = (self.shift[i] + self.shift[j]) % 2",""," def _append_phase(self, k, i):"," \"\"\"Apply an k-th power of T to this element."," Left multiply the element by T_i^k."," \"\"\""," if not 0 <= i < self.num_qubits:"," raise QiskitError(\"phase qubit out of bounds.\")"," # If the kth bit is flipped, conjugate this gate"," if self.shift[i] == 1:"," k = (7 * k) % 8"," # Take all subsets \\alpha of the support of row i"," # of weight up to 3 and add k*(-2)**(|\\alpha| - 1) mod 8"," # to the corresponding term."," support = np.arange(self.num_qubits)[np.nonzero(self.linear[i])]"," subsets_2 = itertools.combinations(support, 2)"," subsets_3 = itertools.combinations(support, 3)"," for j in support:"," value = self.poly.get_term([j])"," self.poly.set_term([j], (value + k) % 8)"," for j in subsets_2:"," value = self.poly.get_term(list(j))"," self.poly.set_term(list(j), (value + -2 * k) % 8)"," for j in subsets_3:"," value = self.poly.get_term(list(j))"," self.poly.set_term(list(j), (value + 4 * k) % 8)",""," def _append_x(self, i):"," \"\"\"Apply X to this element."," Left multiply the element by X(i)."," \"\"\""," if not 0 <= i < self.num_qubits:"," raise QiskitError(\"X qubit out of bounds.\")"," self.shift[i] = (self.shift[i] + 1) % 2",""," def __str__(self):"," \"\"\"Return formatted string representation.\"\"\""," out = \"phase polynomial = \\n\""," out += str(self.poly)"," out += \"\\naffine function = \\n\""," out += \" (\""," for row in range(self.num_qubits):"," wrote = False"," for col in range(self.num_qubits):"," if self.linear[row][col] != 0:"," if wrote:"," out += \" + x_\" + str(col)"," else:"," out += \"x_\" + str(col)"," wrote = True"," if self.shift[row] != 0:"," out += \" + 1\""," if row != self.num_qubits - 1:"," out += \",\""," out += \")\\n\""," return out",""," def to_circuit(self):"," \"\"\"Return a QuantumCircuit implementing the CNOT-Dihedral element.",""," Return:"," QuantumCircuit: a circuit implementation of the CNOTDihedral object.",""," References:"," 1. Shelly Garion and Andrew W. Cross, *Synthesis of CNOT-Dihedral circuits"," with optimal number of two qubit gates*, `Quantum 4(369), 2020"," `_"," 2. Andrew W. Cross, Easwar Magesan, Lev S. Bishop, John A. Smolin and Jay M. Gambetta,"," *Scalable randomised benchmarking of non-Clifford gates*,"," npj Quantum Inf 2, 16012 (2016)."," \"\"\""," # pylint: disable=cyclic-import"," from qiskit.synthesis.cnotdihedral import synth_cnotdihedral_full",""," return synth_cnotdihedral_full(self)",""," def to_instruction(self):"," \"\"\"Return a Gate instruction implementing the CNOTDihedral object.\"\"\""," return self.to_circuit().to_gate()",""," def _from_circuit(self, circuit):"," \"\"\"Initialize from a QuantumCircuit or Instruction.",""," Args:"," circuit (QuantumCircuit or ~qiskit.circuit.Instruction):"," instruction to initialize."," Returns:"," CNOTDihedral: the CNOTDihedral object for the circuit."," Raises:"," QiskitError: if the input instruction is not CNOTDihedral or contains"," classical register instruction."," \"\"\""," if not isinstance(circuit, (QuantumCircuit, Instruction)):"," raise QiskitError(\"Input must be a QuantumCircuit or Instruction\")",""," # Initialize an identity CNOTDihedral object"," elem = CNOTDihedral(num_qubits=self._num_qubits)"," _append_circuit(elem, circuit)"," return elem",""," def __array__(self, dtype=None):"," if dtype:"," return np.asarray(self.to_matrix(), dtype=dtype)"," return self.to_matrix()",""," def to_matrix(self):"," \"\"\"Convert operator to Numpy matrix.\"\"\""," return self.to_operator().data",""," def to_operator(self) -> Operator:"," \"\"\"Convert to an Operator object.\"\"\""," return Operator(self.to_instruction())",""," def compose("," self, other: CNOTDihedral, qargs: list | None = None, front: bool = False"," ) -> CNOTDihedral:"," if qargs is not None:"," raise NotImplementedError(\"compose method does not support qargs.\")"," if self.num_qubits != other.num_qubits:"," raise QiskitError(\"Incompatible dimension for composition\")"," if front:"," other = self._dot(other)"," else:"," other = self._compose(other)"," other.poly.weight_0 = 0 # set global phase"," return other",""," def _tensor(self, other, reverse=False):"," \"\"\"Returns the tensor product operator.\"\"\"",""," if not isinstance(other, CNOTDihedral):"," raise QiskitError(\"Tensored element is not a CNOTDihderal object.\")",""," if reverse:"," elem0 = self"," elem1 = other"," else:"," elem0 = other"," elem1 = self",""," result = CNOTDihedral(num_qubits=elem0.num_qubits + elem1.num_qubits)"," linear = np.block("," ["," [elem0.linear, np.zeros((elem0.num_qubits, elem1.num_qubits), dtype=np.int8)],"," [np.zeros((elem1.num_qubits, elem0.num_qubits), dtype=np.int8), elem1.linear],"," ]"," )"," result.linear = linear"," shift = np.block([elem0.shift, elem1.shift])"," result.shift = shift",""," for i in range(elem0.num_qubits):"," value = elem0.poly.get_term([i])"," result.poly.set_term([i], value)"," for j in range(i):"," value = elem0.poly.get_term([j, i])"," result.poly.set_term([j, i], value)"," for k in range(j):"," value = elem0.poly.get_term([k, j, i])"," result.poly.set_term([k, j, i], value)",""," for i in range(elem1.num_qubits):"," value = elem1.poly.get_term([i])"," result.poly.set_term([i + elem0.num_qubits], value)"," for j in range(i):"," value = elem1.poly.get_term([j, i])"," result.poly.set_term([j + elem0.num_qubits, i + elem0.num_qubits], value)"," for k in range(j):"," value = elem1.poly.get_term([k, j, i])"," result.poly.set_term("," [k + elem0.num_qubits, j + elem0.num_qubits, i + elem0.num_qubits], value"," )",""," return result",""," def tensor(self, other: CNOTDihedral) -> CNOTDihedral:"," return self._tensor(other, reverse=True)",""," def expand(self, other: CNOTDihedral) -> CNOTDihedral:"," return self._tensor(other, reverse=False)",""," def adjoint(self):"," circ = self.to_instruction()"," result = self._from_circuit(circ.inverse())"," return result",""," def conjugate(self):"," circ = self.to_instruction()"," new_circ = QuantumCircuit(self.num_qubits)"," bit_indices = {bit: index for index, bit in enumerate(circ.definition.qubits)}"," for instruction in circ.definition:"," new_qubits = [bit_indices[tup] for tup in instruction.qubits]"," if instruction.operation.name == \"p\":"," params = 2 * np.pi - instruction.operation.params[0]"," instruction.operation.params[0] = params"," new_circ.append(instruction.operation, new_qubits)"," elif instruction.operation.name == \"t\":"," instruction.operation.name = \"tdg\""," new_circ.append(instruction.operation, new_qubits)"," elif instruction.operation.name == \"tdg\":"," instruction.operation.name = \"t\""," new_circ.append(instruction.operation, new_qubits)"," elif instruction.operation.name == \"s\":"," instruction.operation.name = \"sdg\""," new_circ.append(instruction.operation, new_qubits)"," elif instruction.operation.name == \"sdg\":"," instruction.operation.name = \"s\""," new_circ.append(instruction.operation, new_qubits)"," else:"," new_circ.append(instruction.operation, new_qubits)"," result = self._from_circuit(new_circ)"," return result",""," def transpose(self):"," circ = self.to_instruction()"," result = self._from_circuit(circ.reverse_ops())"," return result",""," def _is_valid(self):"," \"\"\"Return True if input is a CNOTDihedral element.\"\"\"",""," if ("," self.poly.weight_0 != 0"," or len(self.poly.weight_1) != self.num_qubits"," or len(self.poly.weight_2) != int(self.num_qubits * (self.num_qubits - 1) / 2)"," or len(self.poly.weight_3)"," != int(self.num_qubits * (self.num_qubits - 1) * (self.num_qubits - 2) / 6)"," ):"," return False"," if ("," (self.linear).shape != (self.num_qubits, self.num_qubits)"," or len(self.shift) != self.num_qubits"," or not np.allclose((np.linalg.det(self.linear) % 2), 1)"," ):"," return False"," if ("," not (set(self.poly.weight_1.flatten())).issubset({0, 1, 2, 3, 4, 5, 6, 7})"," or not (set(self.poly.weight_2.flatten())).issubset({0, 2, 4, 6})"," or not (set(self.poly.weight_3.flatten())).issubset({0, 4})"," ):"," return False"," if not (set(self.shift.flatten())).issubset({0, 1}) or not ("," set(self.linear.flatten())"," ).issubset({0, 1}):"," return False"," return True","","","# Update docstrings for API docs","generate_apidocs(CNOTDihedral)"],"stylingDirectives":[[{"start":0,"end":30,"cssClass":"pl-c"}],[{"start":0,"end":1,"cssClass":"pl-c"}],[{"start":0,"end":31,"cssClass":"pl-c"}],[{"start":0,"end":1,"cssClass":"pl-c"}],[{"start":0,"end":70,"cssClass":"pl-c"}],[{"start":0,"end":77,"cssClass":"pl-c"}],[{"start":0,"end":71,"cssClass":"pl-c"}],[{"start":0,"end":1,"cssClass":"pl-c"}],[{"start":0,"end":69,"cssClass":"pl-c"}],[{"start":0,"end":72,"cssClass":"pl-c"}],[{"start":0,"end":49,"cssClass":"pl-c"}],[],[{"start":0,"end":3,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":3,"cssClass":"pl-s"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":34,"cssClass":"pl-s1"}],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":16,"cssClass":"pl-s1"}],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":12,"cssClass":"pl-s1"},{"start":13,"end":15,"cssClass":"pl-k"},{"start":16,"end":18,"cssClass":"pl-s1"}],[],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-k"},{"start":30,"end":41,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":34,"cssClass":"pl-s1"},{"start":35,"end":48,"cssClass":"pl-s1"},{"start":49,"end":55,"cssClass":"pl-k"},{"start":56,"end":68,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":34,"cssClass":"pl-s1"},{"start":35,"end":43,"cssClass":"pl-s1"},{"start":44,"end":50,"cssClass":"pl-k"},{"start":51,"end":59,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":34,"cssClass":"pl-s1"},{"start":35,"end":45,"cssClass":"pl-s1"},{"start":46,"end":51,"cssClass":"pl-s1"},{"start":52,"end":58,"cssClass":"pl-k"},{"start":59,"end":64,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":34,"cssClass":"pl-s1"},{"start":35,"end":44,"cssClass":"pl-s1"},{"start":45,"end":51,"cssClass":"pl-k"},{"start":52,"end":60,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":34,"cssClass":"pl-s1"},{"start":35,"end":41,"cssClass":"pl-s1"},{"start":42,"end":48,"cssClass":"pl-k"},{"start":49,"end":65,"cssClass":"pl-s1"},{"start":67,"end":79,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-k"},{"start":27,"end":41,"cssClass":"pl-v"},{"start":43,"end":54,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":6,"end":23,"cssClass":"pl-s1"},{"start":24,"end":30,"cssClass":"pl-k"},{"start":31,"end":46,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":6,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-k"},{"start":24,"end":41,"cssClass":"pl-v"}],[],[],[{"start":0,"end":5,"cssClass":"pl-k"},{"start":6,"end":18,"cssClass":"pl-v"},{"start":19,"end":31,"cssClass":"pl-v"},{"start":33,"end":45,"cssClass":"pl-v"}],[{"start":4,"end":56,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"}],[{"start":0,"end":48,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":23,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"},{"start":49,"end":51,"cssClass":"pl-cce"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":62,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":20,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":42,"cssClass":"pl-s"}],[{"start":0,"end":53,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":33,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":18,"cssClass":"pl-s"}],[{"start":0,"end":18,"cssClass":"pl-s"}],[{"start":0,"end":18,"cssClass":"pl-s"}],[{"start":0,"end":18,"cssClass":"pl-s"}],[{"start":0,"end":34,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":41,"cssClass":"pl-s"}],[{"start":0,"end":20,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":23,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":26,"cssClass":"pl-s"}],[{"start":0,"end":37,"cssClass":"pl-s"}],[{"start":0,"end":25,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":26,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":61,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":44,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"}],[{"start":0,"end":86,"cssClass":"pl-s"}],[{"start":0,"end":86,"cssClass":"pl-s"}],[{"start":0,"end":88,"cssClass":"pl-s"}],[{"start":0,"end":89,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":87,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":46,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":52,"cssClass":"pl-s"}],[{"start":0,"end":61,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":59,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":83,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":95,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":44,"cssClass":"pl-s"}],[{"start":0,"end":7,"cssClass":"pl-s"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":16,"cssClass":"pl-en"}],[{"start":8,"end":12,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":14,"end":26,"cssClass":"pl-v"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":43,"cssClass":"pl-v"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":46,"end":57,"cssClass":"pl-v"},{"start":58,"end":59,"cssClass":"pl-c1"},{"start":60,"end":64,"cssClass":"pl-c1"},{"start":65,"end":66,"cssClass":"pl-c1"},{"start":67,"end":71,"cssClass":"pl-c1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":20,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-c1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-c1"}],[{"start":8,"end":16,"cssClass":"pl-s1"},{"start":18,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-c1"}],[],[{"start":8,"end":53,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":48,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-s1"}],[{"start":12,"end":41,"cssClass":"pl-c"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":41,"cssClass":"pl-s1"}],[{"start":12,"end":30,"cssClass":"pl-c"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":41,"cssClass":"pl-v"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":58,"cssClass":"pl-s1"}],[{"start":12,"end":46,"cssClass":"pl-c"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":28,"cssClass":"pl-s1"},{"start":29,"end":32,"cssClass":"pl-en"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":49,"cssClass":"pl-s1"},{"start":51,"end":56,"cssClass":"pl-s1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":57,"end":59,"cssClass":"pl-s1"},{"start":60,"end":64,"cssClass":"pl-s1"}],[{"start":12,"end":49,"cssClass":"pl-c"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":27,"cssClass":"pl-s1"},{"start":28,"end":33,"cssClass":"pl-en"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":50,"cssClass":"pl-s1"},{"start":52,"end":57,"cssClass":"pl-s1"},{"start":57,"end":58,"cssClass":"pl-c1"},{"start":58,"end":60,"cssClass":"pl-s1"},{"start":61,"end":65,"cssClass":"pl-s1"}],[],[{"start":8,"end":72,"cssClass":"pl-c"}],[{"start":8,"end":32,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":30,"end":42,"cssClass":"pl-v"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":35,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":33,"cssClass":"pl-s1"}],[],[{"start":8,"end":82,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":30,"end":38,"cssClass":"pl-v"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":34,"cssClass":"pl-en"},{"start":37,"end":39,"cssClass":"pl-c1"},{"start":40,"end":43,"cssClass":"pl-en"},{"start":44,"end":48,"cssClass":"pl-s1"},{"start":49,"end":60,"cssClass":"pl-s1"},{"start":62,"end":64,"cssClass":"pl-c1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":69,"end":71,"cssClass":"pl-c1"},{"start":72,"end":76,"cssClass":"pl-s1"},{"start":77,"end":87,"cssClass":"pl-s1"},{"start":88,"end":90,"cssClass":"pl-c1"},{"start":91,"end":95,"cssClass":"pl-c1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":33,"cssClass":"pl-v"},{"start":34,"end":87,"cssClass":"pl-s"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":30,"cssClass":"pl-c"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":41,"cssClass":"pl-v"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":58,"cssClass":"pl-s1"}],[{"start":12,"end":46,"cssClass":"pl-c"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":28,"cssClass":"pl-s1"},{"start":29,"end":32,"cssClass":"pl-en"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":49,"cssClass":"pl-s1"},{"start":51,"end":56,"cssClass":"pl-s1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":57,"end":59,"cssClass":"pl-s1"},{"start":60,"end":64,"cssClass":"pl-s1"}],[{"start":12,"end":49,"cssClass":"pl-c"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":27,"cssClass":"pl-s1"},{"start":28,"end":33,"cssClass":"pl-en"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":50,"cssClass":"pl-s1"},{"start":52,"end":57,"cssClass":"pl-s1"},{"start":57,"end":58,"cssClass":"pl-c1"},{"start":58,"end":60,"cssClass":"pl-s1"},{"start":61,"end":65,"cssClass":"pl-s1"}],[],[{"start":8,"end":64,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":31,"end":45,"cssClass":"pl-v"},{"start":47,"end":58,"cssClass":"pl-v"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":37,"cssClass":"pl-en"},{"start":38,"end":42,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":33,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":35,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":30,"end":35,"cssClass":"pl-v"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":37,"cssClass":"pl-en"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":57,"cssClass":"pl-en"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":33,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":35,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":74,"cssClass":"pl-s"}],[],[{"start":8,"end":33,"cssClass":"pl-c"}],[{"start":8,"end":13,"cssClass":"pl-en"},{"start":16,"end":24,"cssClass":"pl-en"},{"start":25,"end":35,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":41,"end":52,"cssClass":"pl-s1"}],[],[{"start":8,"end":43,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":19,"cssClass":"pl-s1"},{"start":20,"end":23,"cssClass":"pl-c1"},{"start":24,"end":27,"cssClass":"pl-c1"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":42,"cssClass":"pl-en"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":61,"cssClass":"pl-s"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":12,"cssClass":"pl-en"},{"start":13,"end":17,"cssClass":"pl-s1"}],[{"start":8,"end":58,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":29,"cssClass":"pl-s"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"}],[{"start":8,"end":39,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":16,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"},{"start":18,"end":22,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":30,"end":35,"cssClass":"pl-s1"}],[{"start":8,"end":55,"cssClass":"pl-s"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":17,"cssClass":"pl-s1"},{"start":18,"end":21,"cssClass":"pl-en"},{"start":22,"end":24,"cssClass":"pl-s1"},{"start":25,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":35,"end":40,"cssClass":"pl-s1"},{"start":43,"end":44,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":20,"cssClass":"pl-en"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":27,"end":30,"cssClass":"pl-s1"},{"start":32,"end":35,"cssClass":"pl-s1"}],[{"start":8,"end":60,"cssClass":"pl-s"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":17,"cssClass":"pl-s1"},{"start":18,"end":21,"cssClass":"pl-en"},{"start":22,"end":24,"cssClass":"pl-s1"},{"start":25,"end":28,"cssClass":"pl-en"},{"start":29,"end":32,"cssClass":"pl-s1"},{"start":34,"end":37,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":12,"cssClass":"pl-en"},{"start":13,"end":17,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-s1"}],[{"start":8,"end":47,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-c1"},{"start":30,"end":35,"cssClass":"pl-s1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":77,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":29,"cssClass":"pl-v"},{"start":30,"end":40,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":46,"end":56,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"}],[{"start":13,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":33,"cssClass":"pl-k"},{"start":34,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-c1"},{"start":39,"end":42,"cssClass":"pl-en"},{"start":43,"end":47,"cssClass":"pl-s1"},{"start":48,"end":60,"cssClass":"pl-en"},{"start":61,"end":65,"cssClass":"pl-s1"},{"start":66,"end":72,"cssClass":"pl-s1"},{"start":74,"end":79,"cssClass":"pl-s1"},{"start":80,"end":85,"cssClass":"pl-s1"},{"start":88,"end":92,"cssClass":"pl-s1"},{"start":93,"end":98,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":38,"cssClass":"pl-en"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":44,"end":50,"cssClass":"pl-s1"},{"start":52,"end":57,"cssClass":"pl-s1"},{"start":58,"end":64,"cssClass":"pl-s1"}],[{"start":8,"end":55,"cssClass":"pl-c"}],[{"start":8,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":22,"cssClass":"pl-en"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":38,"cssClass":"pl-s1"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":47,"cssClass":"pl-s1"},{"start":49,"end":51,"cssClass":"pl-s1"},{"start":52,"end":59,"cssClass":"pl-en"},{"start":60,"end":65,"cssClass":"pl-s1"},{"start":66,"end":72,"cssClass":"pl-s1"},{"start":73,"end":74,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":36,"cssClass":"pl-v"},{"start":37,"end":41,"cssClass":"pl-s1"},{"start":42,"end":52,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-en"},{"start":24,"end":31,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-s1"},{"start":30,"end":32,"cssClass":"pl-c1"},{"start":33,"end":34,"cssClass":"pl-c1"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":32,"cssClass":"pl-s1"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":46,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":54,"end":55,"cssClass":"pl-c1"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"}],[{"start":8,"end":26,"cssClass":"pl-c"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":27,"cssClass":"pl-s1"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":35,"end":39,"cssClass":"pl-s1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":45,"end":53,"cssClass":"pl-en"},{"start":54,"end":62,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":16,"cssClass":"pl-en"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":23,"end":28,"cssClass":"pl-s1"}],[{"start":8,"end":48,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-c1"},{"start":30,"end":35,"cssClass":"pl-s1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":77,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":29,"cssClass":"pl-v"},{"start":30,"end":40,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":46,"end":56,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"}],[{"start":13,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":33,"cssClass":"pl-k"},{"start":34,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-c1"},{"start":39,"end":42,"cssClass":"pl-en"},{"start":43,"end":47,"cssClass":"pl-s1"},{"start":48,"end":60,"cssClass":"pl-en"},{"start":61,"end":66,"cssClass":"pl-s1"},{"start":67,"end":73,"cssClass":"pl-s1"},{"start":75,"end":79,"cssClass":"pl-s1"},{"start":80,"end":85,"cssClass":"pl-s1"},{"start":88,"end":93,"cssClass":"pl-s1"},{"start":94,"end":99,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":38,"cssClass":"pl-en"},{"start":39,"end":44,"cssClass":"pl-s1"},{"start":45,"end":51,"cssClass":"pl-s1"},{"start":53,"end":57,"cssClass":"pl-s1"},{"start":58,"end":64,"cssClass":"pl-s1"}],[{"start":8,"end":55,"cssClass":"pl-c"}],[{"start":8,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":22,"cssClass":"pl-en"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":38,"cssClass":"pl-s1"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":38,"end":48,"cssClass":"pl-s1"},{"start":50,"end":52,"cssClass":"pl-s1"},{"start":53,"end":60,"cssClass":"pl-en"},{"start":61,"end":65,"cssClass":"pl-s1"},{"start":66,"end":72,"cssClass":"pl-s1"},{"start":73,"end":74,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":36,"cssClass":"pl-v"},{"start":37,"end":41,"cssClass":"pl-s1"},{"start":42,"end":52,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-en"},{"start":24,"end":31,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":33,"cssClass":"pl-c1"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":32,"cssClass":"pl-s1"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":46,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":54,"end":55,"cssClass":"pl-c1"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"}],[{"start":8,"end":26,"cssClass":"pl-c"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":39,"cssClass":"pl-s1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":45,"end":53,"cssClass":"pl-en"},{"start":54,"end":62,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":14,"cssClass":"pl-en"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-s1"}],[{"start":8,"end":28,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"}],[{"start":12,"end":22,"cssClass":"pl-en"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":30,"end":42,"cssClass":"pl-v"}],[{"start":12,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":26,"end":28,"cssClass":"pl-c1"},{"start":29,"end":34,"cssClass":"pl-s1"},{"start":35,"end":39,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-c1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":38,"end":44,"cssClass":"pl-s1"},{"start":46,"end":49,"cssClass":"pl-en"}],[{"start":12,"end":15,"cssClass":"pl-c1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-c1"},{"start":31,"end":36,"cssClass":"pl-s1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":44,"end":47,"cssClass":"pl-en"}],[],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-s1"}],[{"start":8,"end":43,"cssClass":"pl-s"}],[{"start":0,"end":46,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":39,"cssClass":"pl-s1"},{"start":40,"end":42,"cssClass":"pl-c1"},{"start":43,"end":46,"cssClass":"pl-c1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":49,"end":51,"cssClass":"pl-c1"},{"start":52,"end":53,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-c1"},{"start":56,"end":60,"cssClass":"pl-s1"},{"start":61,"end":71,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":60,"cssClass":"pl-s"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":43,"end":47,"cssClass":"pl-s1"},{"start":48,"end":54,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-c1"},{"start":61,"end":62,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":46,"end":51,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-s1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":58,"end":59,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":21,"cssClass":"pl-en"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-s1"}],[{"start":8,"end":52,"cssClass":"pl-s"}],[{"start":0,"end":43,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":39,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":58,"cssClass":"pl-s"}],[{"start":8,"end":56,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":29,"cssClass":"pl-c1"}],[{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":22,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":27,"cssClass":"pl-c1"}],[{"start":8,"end":57,"cssClass":"pl-c"}],[{"start":8,"end":64,"cssClass":"pl-c"}],[{"start":8,"end":36,"cssClass":"pl-c"}],[{"start":8,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":43,"cssClass":"pl-s1"},{"start":45,"end":47,"cssClass":"pl-s1"},{"start":48,"end":55,"cssClass":"pl-en"},{"start":56,"end":60,"cssClass":"pl-s1"},{"start":61,"end":67,"cssClass":"pl-s1"},{"start":68,"end":69,"cssClass":"pl-s1"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":29,"cssClass":"pl-s1"},{"start":30,"end":42,"cssClass":"pl-en"},{"start":43,"end":50,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":29,"cssClass":"pl-s1"},{"start":30,"end":42,"cssClass":"pl-en"},{"start":43,"end":50,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":24,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":38,"cssClass":"pl-en"},{"start":40,"end":41,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":30,"cssClass":"pl-en"},{"start":32,"end":33,"cssClass":"pl-s1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":43,"end":44,"cssClass":"pl-c1"},{"start":45,"end":46,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":51,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":26,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":38,"cssClass":"pl-en"},{"start":39,"end":43,"cssClass":"pl-en"},{"start":44,"end":45,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":30,"cssClass":"pl-en"},{"start":31,"end":35,"cssClass":"pl-en"},{"start":36,"end":37,"cssClass":"pl-s1"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":50,"end":51,"cssClass":"pl-c1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":54,"end":55,"cssClass":"pl-s1"},{"start":57,"end":58,"cssClass":"pl-c1"},{"start":59,"end":60,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":26,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":38,"cssClass":"pl-en"},{"start":39,"end":43,"cssClass":"pl-en"},{"start":44,"end":45,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":30,"cssClass":"pl-en"},{"start":31,"end":35,"cssClass":"pl-en"},{"start":36,"end":37,"cssClass":"pl-s1"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":51,"end":52,"cssClass":"pl-c1"},{"start":53,"end":54,"cssClass":"pl-s1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":58,"end":59,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"},{"start":18,"end":22,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-s1"}],[{"start":8,"end":35,"cssClass":"pl-s"}],[{"start":0,"end":42,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":39,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":54,"cssClass":"pl-s"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":46,"end":47,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":15,"cssClass":"pl-en"},{"start":16,"end":20,"cssClass":"pl-s1"}],[{"start":8,"end":53,"cssClass":"pl-s"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":37,"cssClass":"pl-s"},{"start":34,"end":36,"cssClass":"pl-cce"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":39,"cssClass":"pl-s"},{"start":16,"end":18,"cssClass":"pl-cce"},{"start":36,"end":38,"cssClass":"pl-cce"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":19,"cssClass":"pl-s"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":24,"cssClass":"pl-en"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":40,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":44,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":30,"cssClass":"pl-s1"},{"start":31,"end":34,"cssClass":"pl-s1"},{"start":36,"end":39,"cssClass":"pl-s1"},{"start":41,"end":43,"cssClass":"pl-c1"},{"start":44,"end":45,"cssClass":"pl-c1"}],[{"start":20,"end":22,"cssClass":"pl-k"},{"start":23,"end":28,"cssClass":"pl-s1"}],[{"start":24,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-c1"},{"start":31,"end":38,"cssClass":"pl-s"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":44,"cssClass":"pl-en"},{"start":45,"end":48,"cssClass":"pl-s1"}],[{"start":20,"end":24,"cssClass":"pl-k"}],[{"start":24,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-c1"},{"start":31,"end":35,"cssClass":"pl-s"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":41,"cssClass":"pl-en"},{"start":42,"end":45,"cssClass":"pl-s1"}],[{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":36,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":34,"end":35,"cssClass":"pl-c1"}],[{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":29,"cssClass":"pl-s"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-s1"},{"start":19,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":41,"cssClass":"pl-c1"}],[{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":26,"cssClass":"pl-s"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":20,"cssClass":"pl-s"},{"start":17,"end":19,"cssClass":"pl-cce"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"}],[{"start":8,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":19,"cssClass":"pl-s"}],[{"start":0,"end":86,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":72,"cssClass":"pl-s"}],[{"start":0,"end":47,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":39,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":19,"cssClass":"pl-s1"},{"start":20,"end":29,"cssClass":"pl-s1"},{"start":30,"end":42,"cssClass":"pl-s1"},{"start":43,"end":49,"cssClass":"pl-k"},{"start":50,"end":73,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":38,"cssClass":"pl-en"},{"start":39,"end":43,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":22,"cssClass":"pl-en"},{"start":23,"end":27,"cssClass":"pl-s1"}],[{"start":8,"end":77,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":30,"cssClass":"pl-en"},{"start":33,"end":40,"cssClass":"pl-en"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":21,"cssClass":"pl-en"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":28,"end":35,"cssClass":"pl-s1"}],[{"start":8,"end":59,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":42,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":66,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":56,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":33,"cssClass":"pl-s1"},{"start":36,"end":50,"cssClass":"pl-v"},{"start":52,"end":63,"cssClass":"pl-v"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":77,"cssClass":"pl-s"}],[],[{"start":8,"end":52,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":27,"cssClass":"pl-v"},{"start":28,"end":38,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":44,"end":55,"cssClass":"pl-s1"}],[{"start":8,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":30,"end":37,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"},{"start":18,"end":22,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":30,"end":34,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":21,"cssClass":"pl-s1"},{"start":22,"end":29,"cssClass":"pl-en"},{"start":30,"end":34,"cssClass":"pl-s1"},{"start":35,"end":44,"cssClass":"pl-en"},{"start":48,"end":53,"cssClass":"pl-s1"},{"start":53,"end":54,"cssClass":"pl-c1"},{"start":54,"end":59,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":29,"cssClass":"pl-en"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"},{"start":18,"end":22,"cssClass":"pl-s1"}],[{"start":8,"end":47,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":31,"cssClass":"pl-en"},{"start":34,"end":38,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":19,"cssClass":"pl-en"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":26,"end":28,"cssClass":"pl-c1"},{"start":29,"end":37,"cssClass":"pl-v"}],[{"start":8,"end":44,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":23,"cssClass":"pl-v"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":43,"cssClass":"pl-en"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":15,"cssClass":"pl-en"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":14,"end":19,"cssClass":"pl-s1"},{"start":21,"end":33,"cssClass":"pl-v"},{"start":35,"end":40,"cssClass":"pl-s1"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":49,"end":53,"cssClass":"pl-c1"},{"start":54,"end":55,"cssClass":"pl-c1"},{"start":56,"end":60,"cssClass":"pl-c1"},{"start":62,"end":67,"cssClass":"pl-s1"},{"start":69,"end":73,"cssClass":"pl-s1"},{"start":74,"end":75,"cssClass":"pl-c1"},{"start":76,"end":81,"cssClass":"pl-c1"}],[{"start":6,"end":8,"cssClass":"pl-c1"},{"start":9,"end":21,"cssClass":"pl-v"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":37,"cssClass":"pl-v"},{"start":38,"end":78,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-c1"},{"start":30,"end":35,"cssClass":"pl-s1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":70,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-en"},{"start":30,"end":35,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":33,"cssClass":"pl-en"},{"start":34,"end":39,"cssClass":"pl-s1"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":18,"cssClass":"pl-s1"},{"start":19,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":51,"cssClass":"pl-c"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":20,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":15,"cssClass":"pl-en"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":22,"end":27,"cssClass":"pl-s1"},{"start":29,"end":36,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":37,"end":42,"cssClass":"pl-c1"}],[{"start":8,"end":50,"cssClass":"pl-s"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":33,"end":45,"cssClass":"pl-v"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":78,"cssClass":"pl-s"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":18,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":29,"cssClass":"pl-v"},{"start":30,"end":40,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":47,"end":57,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-c1"},{"start":60,"end":65,"cssClass":"pl-s1"},{"start":66,"end":76,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":19,"cssClass":"pl-s1"},{"start":20,"end":25,"cssClass":"pl-en"}],[],[{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-s1"},{"start":34,"end":39,"cssClass":"pl-en"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":47,"end":57,"cssClass":"pl-s1"},{"start":59,"end":64,"cssClass":"pl-s1"},{"start":65,"end":75,"cssClass":"pl-s1"},{"start":78,"end":83,"cssClass":"pl-s1"},{"start":83,"end":84,"cssClass":"pl-c1"},{"start":84,"end":86,"cssClass":"pl-s1"},{"start":87,"end":91,"cssClass":"pl-s1"}],[{"start":17,"end":19,"cssClass":"pl-s1"},{"start":20,"end":25,"cssClass":"pl-en"},{"start":27,"end":32,"cssClass":"pl-s1"},{"start":33,"end":43,"cssClass":"pl-s1"},{"start":45,"end":50,"cssClass":"pl-s1"},{"start":51,"end":61,"cssClass":"pl-s1"},{"start":64,"end":69,"cssClass":"pl-s1"},{"start":69,"end":70,"cssClass":"pl-c1"},{"start":70,"end":72,"cssClass":"pl-s1"},{"start":73,"end":77,"cssClass":"pl-s1"},{"start":80,"end":85,"cssClass":"pl-s1"},{"start":86,"end":92,"cssClass":"pl-s1"}],[],[],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":30,"cssClass":"pl-s1"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-en"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":39,"end":44,"cssClass":"pl-s1"},{"start":45,"end":50,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":28,"cssClass":"pl-s1"}],[],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":22,"cssClass":"pl-en"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":29,"end":39,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":31,"end":39,"cssClass":"pl-en"},{"start":41,"end":42,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":32,"cssClass":"pl-en"},{"start":34,"end":35,"cssClass":"pl-s1"},{"start":38,"end":43,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":26,"cssClass":"pl-en"},{"start":27,"end":28,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":34,"cssClass":"pl-s1"},{"start":35,"end":43,"cssClass":"pl-en"},{"start":45,"end":46,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":36,"cssClass":"pl-en"},{"start":38,"end":39,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-s1"},{"start":45,"end":50,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":31,"end":32,"cssClass":"pl-s1"}],[{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":47,"cssClass":"pl-en"},{"start":49,"end":50,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-s1"}],[{"start":20,"end":26,"cssClass":"pl-s1"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":40,"cssClass":"pl-en"},{"start":42,"end":43,"cssClass":"pl-s1"},{"start":45,"end":46,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-s1"},{"start":52,"end":57,"cssClass":"pl-s1"}],[],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":22,"cssClass":"pl-en"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":29,"end":39,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":31,"end":39,"cssClass":"pl-en"},{"start":41,"end":42,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":32,"cssClass":"pl-en"},{"start":34,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":43,"cssClass":"pl-s1"},{"start":44,"end":54,"cssClass":"pl-s1"},{"start":57,"end":62,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":26,"cssClass":"pl-en"},{"start":27,"end":28,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":34,"cssClass":"pl-s1"},{"start":35,"end":43,"cssClass":"pl-en"},{"start":45,"end":46,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":36,"cssClass":"pl-en"},{"start":38,"end":39,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":42,"end":47,"cssClass":"pl-s1"},{"start":48,"end":58,"cssClass":"pl-s1"},{"start":60,"end":61,"cssClass":"pl-s1"},{"start":62,"end":63,"cssClass":"pl-c1"},{"start":64,"end":69,"cssClass":"pl-s1"},{"start":70,"end":80,"cssClass":"pl-s1"},{"start":83,"end":88,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":31,"end":32,"cssClass":"pl-s1"}],[{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":47,"cssClass":"pl-en"},{"start":49,"end":50,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-s1"}],[{"start":20,"end":26,"cssClass":"pl-s1"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":40,"cssClass":"pl-en"}],[{"start":25,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":34,"cssClass":"pl-s1"},{"start":35,"end":45,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":51,"end":56,"cssClass":"pl-s1"},{"start":57,"end":67,"cssClass":"pl-s1"},{"start":69,"end":70,"cssClass":"pl-s1"},{"start":71,"end":72,"cssClass":"pl-c1"},{"start":73,"end":78,"cssClass":"pl-s1"},{"start":79,"end":89,"cssClass":"pl-s1"},{"start":92,"end":97,"cssClass":"pl-s1"}],[],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":14,"cssClass":"pl-en"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":28,"end":40,"cssClass":"pl-v"},{"start":42,"end":44,"cssClass":"pl-c1"},{"start":45,"end":57,"cssClass":"pl-v"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":27,"cssClass":"pl-en"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":35,"end":42,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":43,"end":47,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":14,"cssClass":"pl-en"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":28,"end":40,"cssClass":"pl-v"},{"start":42,"end":44,"cssClass":"pl-c1"},{"start":45,"end":57,"cssClass":"pl-v"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":27,"cssClass":"pl-en"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":35,"end":42,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":43,"end":48,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":15,"cssClass":"pl-en"},{"start":16,"end":20,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":34,"cssClass":"pl-en"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":35,"cssClass":"pl-en"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":41,"end":48,"cssClass":"pl-en"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"},{"start":18,"end":22,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":34,"cssClass":"pl-en"}],[{"start":8,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":33,"cssClass":"pl-v"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":49,"cssClass":"pl-s1"}],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":23,"end":26,"cssClass":"pl-s1"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":34,"end":37,"cssClass":"pl-k"},{"start":38,"end":43,"cssClass":"pl-s1"},{"start":45,"end":48,"cssClass":"pl-s1"},{"start":49,"end":51,"cssClass":"pl-c1"},{"start":52,"end":61,"cssClass":"pl-en"},{"start":62,"end":66,"cssClass":"pl-s1"},{"start":67,"end":77,"cssClass":"pl-s1"},{"start":78,"end":84,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":26,"cssClass":"pl-c1"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":42,"cssClass":"pl-s1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":26,"end":37,"cssClass":"pl-s1"},{"start":38,"end":41,"cssClass":"pl-s1"},{"start":43,"end":46,"cssClass":"pl-k"},{"start":47,"end":50,"cssClass":"pl-s1"},{"start":51,"end":53,"cssClass":"pl-c1"},{"start":54,"end":65,"cssClass":"pl-s1"},{"start":66,"end":72,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":26,"cssClass":"pl-s1"},{"start":27,"end":36,"cssClass":"pl-s1"},{"start":37,"end":41,"cssClass":"pl-s1"},{"start":42,"end":44,"cssClass":"pl-c1"},{"start":45,"end":48,"cssClass":"pl-s"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":48,"cssClass":"pl-s1"},{"start":49,"end":58,"cssClass":"pl-s1"},{"start":59,"end":65,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"}],[{"start":16,"end":27,"cssClass":"pl-s1"},{"start":28,"end":37,"cssClass":"pl-s1"},{"start":38,"end":44,"cssClass":"pl-s1"},{"start":45,"end":46,"cssClass":"pl-c1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":56,"cssClass":"pl-s1"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":43,"cssClass":"pl-s1"},{"start":44,"end":53,"cssClass":"pl-s1"},{"start":55,"end":65,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"},{"start":17,"end":28,"cssClass":"pl-s1"},{"start":29,"end":38,"cssClass":"pl-s1"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":44,"end":46,"cssClass":"pl-c1"},{"start":47,"end":50,"cssClass":"pl-s"}],[{"start":16,"end":27,"cssClass":"pl-s1"},{"start":28,"end":37,"cssClass":"pl-s1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":44,"cssClass":"pl-c1"},{"start":45,"end":50,"cssClass":"pl-s"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":43,"cssClass":"pl-s1"},{"start":44,"end":53,"cssClass":"pl-s1"},{"start":55,"end":65,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"},{"start":17,"end":28,"cssClass":"pl-s1"},{"start":29,"end":38,"cssClass":"pl-s1"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":44,"end":46,"cssClass":"pl-c1"},{"start":47,"end":52,"cssClass":"pl-s"}],[{"start":16,"end":27,"cssClass":"pl-s1"},{"start":28,"end":37,"cssClass":"pl-s1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":44,"cssClass":"pl-c1"},{"start":45,"end":48,"cssClass":"pl-s"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":43,"cssClass":"pl-s1"},{"start":44,"end":53,"cssClass":"pl-s1"},{"start":55,"end":65,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"},{"start":17,"end":28,"cssClass":"pl-s1"},{"start":29,"end":38,"cssClass":"pl-s1"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":44,"end":46,"cssClass":"pl-c1"},{"start":47,"end":50,"cssClass":"pl-s"}],[{"start":16,"end":27,"cssClass":"pl-s1"},{"start":28,"end":37,"cssClass":"pl-s1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":44,"cssClass":"pl-c1"},{"start":45,"end":50,"cssClass":"pl-s"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":43,"cssClass":"pl-s1"},{"start":44,"end":53,"cssClass":"pl-s1"},{"start":55,"end":65,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"},{"start":17,"end":28,"cssClass":"pl-s1"},{"start":29,"end":38,"cssClass":"pl-s1"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":44,"end":46,"cssClass":"pl-c1"},{"start":47,"end":52,"cssClass":"pl-s"}],[{"start":16,"end":27,"cssClass":"pl-s1"},{"start":28,"end":37,"cssClass":"pl-s1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":44,"cssClass":"pl-c1"},{"start":45,"end":48,"cssClass":"pl-s"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":43,"cssClass":"pl-s1"},{"start":44,"end":53,"cssClass":"pl-s1"},{"start":55,"end":65,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":43,"cssClass":"pl-s1"},{"start":44,"end":53,"cssClass":"pl-s1"},{"start":55,"end":65,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":35,"cssClass":"pl-en"},{"start":36,"end":44,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"},{"start":18,"end":22,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":34,"cssClass":"pl-en"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":35,"cssClass":"pl-en"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":41,"end":52,"cssClass":"pl-en"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"},{"start":18,"end":22,"cssClass":"pl-s1"}],[{"start":8,"end":61,"cssClass":"pl-s"}],[],[{"start":8,"end":10,"cssClass":"pl-k"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":30,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":34,"end":35,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":37,"cssClass":"pl-s1"},{"start":39,"end":41,"cssClass":"pl-c1"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":57,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":37,"cssClass":"pl-s1"},{"start":39,"end":41,"cssClass":"pl-c1"},{"start":42,"end":45,"cssClass":"pl-en"},{"start":46,"end":50,"cssClass":"pl-s1"},{"start":51,"end":61,"cssClass":"pl-s1"},{"start":62,"end":63,"cssClass":"pl-c1"},{"start":65,"end":69,"cssClass":"pl-s1"},{"start":70,"end":80,"cssClass":"pl-s1"},{"start":81,"end":82,"cssClass":"pl-c1"},{"start":83,"end":84,"cssClass":"pl-c1"},{"start":86,"end":87,"cssClass":"pl-c1"},{"start":88,"end":89,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":37,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":53,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-c1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":59,"end":60,"cssClass":"pl-c1"},{"start":62,"end":66,"cssClass":"pl-s1"},{"start":67,"end":77,"cssClass":"pl-s1"},{"start":78,"end":79,"cssClass":"pl-c1"},{"start":80,"end":81,"cssClass":"pl-c1"},{"start":83,"end":84,"cssClass":"pl-c1"},{"start":85,"end":86,"cssClass":"pl-c1"}],[],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"}],[{"start":13,"end":17,"cssClass":"pl-s1"},{"start":18,"end":24,"cssClass":"pl-s1"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-c1"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":41,"end":51,"cssClass":"pl-s1"},{"start":53,"end":57,"cssClass":"pl-s1"},{"start":58,"end":68,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":49,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":19,"end":21,"cssClass":"pl-s1"},{"start":22,"end":30,"cssClass":"pl-en"},{"start":32,"end":34,"cssClass":"pl-s1"},{"start":35,"end":41,"cssClass":"pl-s1"},{"start":42,"end":45,"cssClass":"pl-en"},{"start":46,"end":50,"cssClass":"pl-s1"},{"start":51,"end":57,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-c1"},{"start":61,"end":62,"cssClass":"pl-c1"},{"start":65,"end":66,"cssClass":"pl-c1"}],[],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"}],[{"start":12,"end":15,"cssClass":"pl-c1"},{"start":17,"end":20,"cssClass":"pl-en"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":31,"end":39,"cssClass":"pl-s1"},{"start":40,"end":47,"cssClass":"pl-en"},{"start":52,"end":60,"cssClass":"pl-en"},{"start":62,"end":63,"cssClass":"pl-c1"},{"start":65,"end":66,"cssClass":"pl-c1"},{"start":68,"end":69,"cssClass":"pl-c1"},{"start":71,"end":72,"cssClass":"pl-c1"},{"start":74,"end":75,"cssClass":"pl-c1"},{"start":77,"end":78,"cssClass":"pl-c1"},{"start":80,"end":81,"cssClass":"pl-c1"},{"start":83,"end":84,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":20,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":42,"cssClass":"pl-s1"},{"start":43,"end":50,"cssClass":"pl-en"},{"start":55,"end":63,"cssClass":"pl-en"},{"start":65,"end":66,"cssClass":"pl-c1"},{"start":68,"end":69,"cssClass":"pl-c1"},{"start":71,"end":72,"cssClass":"pl-c1"},{"start":74,"end":75,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":20,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":42,"cssClass":"pl-s1"},{"start":43,"end":50,"cssClass":"pl-en"},{"start":55,"end":63,"cssClass":"pl-en"},{"start":65,"end":66,"cssClass":"pl-c1"},{"start":68,"end":69,"cssClass":"pl-c1"}],[],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":16,"end":19,"cssClass":"pl-en"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":30,"cssClass":"pl-s1"},{"start":31,"end":38,"cssClass":"pl-en"},{"start":43,"end":51,"cssClass":"pl-en"},{"start":53,"end":54,"cssClass":"pl-c1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":60,"end":62,"cssClass":"pl-c1"},{"start":63,"end":66,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-en"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":35,"cssClass":"pl-en"}],[{"start":10,"end":18,"cssClass":"pl-en"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":23,"end":24,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[],[{"start":0,"end":32,"cssClass":"pl-c"}],[{"start":0,"end":16,"cssClass":"pl-en"},{"start":17,"end":29,"cssClass":"pl-v"}]],"colorizedLines":null,"csv":null,"csvError":null,"dependabotInfo":{"showConfigurationBanner":false,"configFilePath":null,"networkDependabotPath":"/Qiskit/qiskit/network/updates","dismissConfigurationNoticePath":"/settings/dismiss-notice/dependabot_configuration_notice","configurationNoticeDismissed":null},"displayName":"dihedral.py","displayUrl":"https://github.com/Qiskit/qiskit/blob/main/qiskit/quantum_info/operators/dihedral/dihedral.py?raw=true","headerInfo":{"blobSize":"19.7 KB","deleteTooltip":"You must be signed in to make or propose changes","editTooltip":"You must be signed in to make or propose changes","ghDesktopPath":"https://desktop.github.com","isGitLfs":false,"onBranch":true,"shortPath":"af15e0e","siteNavLoginPath":"/login?return_to=https%3A%2F%2Fgithub.com%2FQiskit%2Fqiskit%2Fblob%2Fmain%2Fqiskit%2Fquantum_info%2Foperators%2Fdihedral%2Fdihedral.py","isCSV":false,"isRichtext":false,"toc":null,"lineInfo":{"truncatedLoc":"509","truncatedSloc":"438"},"mode":"file"},"image":false,"isCodeownersFile":null,"isPlain":false,"isValidLegacyIssueTemplate":false,"issueTemplate":null,"discussionTemplate":null,"language":"Python","languageID":303,"large":false,"planSupportInfo":{"repoIsFork":null,"repoOwnedByCurrentUser":null,"requestFullPath":"/Qiskit/qiskit/blob/main/qiskit/quantum_info/operators/dihedral/dihedral.py","showFreeOrgGatedFeatureMessage":null,"showPlanSupportBanner":null,"upgradeDataAttributes":null,"upgradePath":null},"publishBannersInfo":{"dismissActionNoticePath":"/settings/dismiss-notice/publish_action_from_dockerfile","releasePath":"/Qiskit/qiskit/releases/new?marketplace=true","showPublishActionBanner":false},"rawBlobUrl":"https://github.com/Qiskit/qiskit/raw/main/qiskit/quantum_info/operators/dihedral/dihedral.py","renderImageOrRaw":false,"richText":null,"renderedFileInfo":null,"shortPath":null,"symbolsEnabled":true,"tabSize":4,"topBannersInfo":{"overridingGlobalFundingFile":false,"globalPreferredFundingPath":null,"showInvalidCitationWarning":false,"citationHelpUrl":"https://docs.github.com/github/creating-cloning-and-archiving-repositories/creating-a-repository-on-github/about-citation-files","actionsOnboardingTip":null},"truncated":false,"viewable":true,"workflowRedirectUrl":null,"symbols":{"timed_out":false,"not_analyzed":false,"symbols":[{"name":"CNOTDihedral","kind":"class","ident_start":1122,"ident_end":1134,"extent_start":1116,"extent_end":20156,"fully_qualified_name":"CNOTDihedral","ident_utf16":{"start":{"line_number":30,"utf16_col":6},"end":{"line_number":30,"utf16_col":18}},"extent_utf16":{"start":{"line_number":30,"utf16_col":0},"end":{"line_number":504,"utf16_col":19}}},{"name":"__init__","kind":"function","ident_start":4218,"ident_end":4226,"extent_start":4214,"extent_end":7194,"fully_qualified_name":"CNOTDihedral.__init__","ident_utf16":{"start":{"line_number":103,"utf16_col":8},"end":{"line_number":103,"utf16_col":16}},"extent_utf16":{"start":{"line_number":103,"utf16_col":4},"end":{"line_number":174,"utf16_col":62}}},{"name":"name","kind":"function","ident_start":7218,"ident_end":7222,"extent_start":7214,"extent_end":7318,"fully_qualified_name":"CNOTDihedral.name","ident_utf16":{"start":{"line_number":177,"utf16_col":8},"end":{"line_number":177,"utf16_col":12}},"extent_utf16":{"start":{"line_number":177,"utf16_col":4},"end":{"line_number":179,"utf16_col":29}}},{"name":"num_clbits","kind":"function","ident_start":7342,"ident_end":7352,"extent_start":7338,"extent_end":7416,"fully_qualified_name":"CNOTDihedral.num_clbits","ident_utf16":{"start":{"line_number":182,"utf16_col":8},"end":{"line_number":182,"utf16_col":18}},"extent_utf16":{"start":{"line_number":182,"utf16_col":4},"end":{"line_number":184,"utf16_col":16}}},{"name":"_z2matmul","kind":"function","ident_start":7426,"ident_end":7435,"extent_start":7422,"extent_end":7577,"fully_qualified_name":"CNOTDihedral._z2matmul","ident_utf16":{"start":{"line_number":186,"utf16_col":8},"end":{"line_number":186,"utf16_col":17}},"extent_utf16":{"start":{"line_number":186,"utf16_col":4},"end":{"line_number":189,"utf16_col":19}}},{"name":"_z2matvecmul","kind":"function","ident_start":7587,"ident_end":7599,"extent_start":7583,"extent_end":7740,"fully_qualified_name":"CNOTDihedral._z2matvecmul","ident_utf16":{"start":{"line_number":191,"utf16_col":8},"end":{"line_number":191,"utf16_col":20}},"extent_utf16":{"start":{"line_number":191,"utf16_col":4},"end":{"line_number":194,"utf16_col":19}}},{"name":"_dot","kind":"function","ident_start":7750,"ident_end":7754,"extent_start":7746,"extent_end":8758,"fully_qualified_name":"CNOTDihedral._dot","ident_utf16":{"start":{"line_number":196,"utf16_col":8},"end":{"line_number":196,"utf16_col":12}},"extent_utf16":{"start":{"line_number":196,"utf16_col":4},"end":{"line_number":217,"utf16_col":21}}},{"name":"_compose","kind":"function","ident_start":8768,"ident_end":8776,"extent_start":8764,"extent_end":9781,"fully_qualified_name":"CNOTDihedral._compose","ident_utf16":{"start":{"line_number":219,"utf16_col":8},"end":{"line_number":219,"utf16_col":16}},"extent_utf16":{"start":{"line_number":219,"utf16_col":4},"end":{"line_number":240,"utf16_col":21}}},{"name":"__eq__","kind":"function","ident_start":9791,"ident_end":9797,"extent_start":9787,"extent_end":10053,"fully_qualified_name":"CNOTDihedral.__eq__","ident_utf16":{"start":{"line_number":242,"utf16_col":8},"end":{"line_number":242,"utf16_col":14}},"extent_utf16":{"start":{"line_number":242,"utf16_col":4},"end":{"line_number":249,"utf16_col":9}}},{"name":"_append_cx","kind":"function","ident_start":10063,"ident_end":10073,"extent_start":10059,"extent_end":10448,"fully_qualified_name":"CNOTDihedral._append_cx","ident_utf16":{"start":{"line_number":251,"utf16_col":8},"end":{"line_number":251,"utf16_col":18}},"extent_utf16":{"start":{"line_number":251,"utf16_col":4},"end":{"line_number":259,"utf16_col":59}}},{"name":"_append_phase","kind":"function","ident_start":10458,"ident_end":10471,"extent_start":10454,"extent_end":11551,"fully_qualified_name":"CNOTDihedral._append_phase","ident_utf16":{"start":{"line_number":261,"utf16_col":8},"end":{"line_number":261,"utf16_col":21}},"extent_utf16":{"start":{"line_number":261,"utf16_col":4},"end":{"line_number":284,"utf16_col":60}}},{"name":"_append_x","kind":"function","ident_start":11561,"ident_end":11570,"extent_start":11557,"extent_end":11816,"fully_qualified_name":"CNOTDihedral._append_x","ident_utf16":{"start":{"line_number":286,"utf16_col":8},"end":{"line_number":286,"utf16_col":17}},"extent_utf16":{"start":{"line_number":286,"utf16_col":4},"end":{"line_number":292,"utf16_col":47}}},{"name":"__str__","kind":"function","ident_start":11826,"ident_end":11833,"extent_start":11822,"extent_end":12552,"fully_qualified_name":"CNOTDihedral.__str__","ident_utf16":{"start":{"line_number":294,"utf16_col":8},"end":{"line_number":294,"utf16_col":15}},"extent_utf16":{"start":{"line_number":294,"utf16_col":4},"end":{"line_number":314,"utf16_col":18}}},{"name":"to_circuit","kind":"function","ident_start":12562,"ident_end":12572,"extent_start":12558,"extent_end":13402,"fully_qualified_name":"CNOTDihedral.to_circuit","ident_utf16":{"start":{"line_number":316,"utf16_col":8},"end":{"line_number":316,"utf16_col":18}},"extent_utf16":{"start":{"line_number":316,"utf16_col":4},"end":{"line_number":333,"utf16_col":44}}},{"name":"to_instruction","kind":"function","ident_start":13412,"ident_end":13426,"extent_start":13408,"extent_end":13554,"fully_qualified_name":"CNOTDihedral.to_instruction","ident_utf16":{"start":{"line_number":335,"utf16_col":8},"end":{"line_number":335,"utf16_col":22}},"extent_utf16":{"start":{"line_number":335,"utf16_col":4},"end":{"line_number":337,"utf16_col":42}}},{"name":"_from_circuit","kind":"function","ident_start":13564,"ident_end":13577,"extent_start":13560,"extent_end":14347,"fully_qualified_name":"CNOTDihedral._from_circuit","ident_utf16":{"start":{"line_number":339,"utf16_col":8},"end":{"line_number":339,"utf16_col":21}},"extent_utf16":{"start":{"line_number":339,"utf16_col":4},"end":{"line_number":357,"utf16_col":19}}},{"name":"__array__","kind":"function","ident_start":14357,"ident_end":14366,"extent_start":14353,"extent_end":14496,"fully_qualified_name":"CNOTDihedral.__array__","ident_utf16":{"start":{"line_number":359,"utf16_col":8},"end":{"line_number":359,"utf16_col":17}},"extent_utf16":{"start":{"line_number":359,"utf16_col":4},"end":{"line_number":362,"utf16_col":31}}},{"name":"to_matrix","kind":"function","ident_start":14506,"ident_end":14515,"extent_start":14502,"extent_end":14609,"fully_qualified_name":"CNOTDihedral.to_matrix","ident_utf16":{"start":{"line_number":364,"utf16_col":8},"end":{"line_number":364,"utf16_col":17}},"extent_utf16":{"start":{"line_number":364,"utf16_col":4},"end":{"line_number":366,"utf16_col":38}}},{"name":"to_operator","kind":"function","ident_start":14619,"ident_end":14630,"extent_start":14615,"extent_end":14741,"fully_qualified_name":"CNOTDihedral.to_operator","ident_utf16":{"start":{"line_number":368,"utf16_col":8},"end":{"line_number":368,"utf16_col":19}},"extent_utf16":{"start":{"line_number":368,"utf16_col":4},"end":{"line_number":370,"utf16_col":46}}},{"name":"compose","kind":"function","ident_start":14751,"ident_end":14758,"extent_start":14747,"extent_end":15277,"fully_qualified_name":"CNOTDihedral.compose","ident_utf16":{"start":{"line_number":372,"utf16_col":8},"end":{"line_number":372,"utf16_col":15}},"extent_utf16":{"start":{"line_number":372,"utf16_col":4},"end":{"line_number":384,"utf16_col":20}}},{"name":"_tensor","kind":"function","ident_start":15287,"ident_end":15294,"extent_start":15283,"extent_end":17112,"fully_qualified_name":"CNOTDihedral._tensor","ident_utf16":{"start":{"line_number":386,"utf16_col":8},"end":{"line_number":386,"utf16_col":15}},"extent_utf16":{"start":{"line_number":386,"utf16_col":4},"end":{"line_number":432,"utf16_col":21}}},{"name":"tensor","kind":"function","ident_start":17122,"ident_end":17128,"extent_start":17118,"extent_end":17221,"fully_qualified_name":"CNOTDihedral.tensor","ident_utf16":{"start":{"line_number":434,"utf16_col":8},"end":{"line_number":434,"utf16_col":14}},"extent_utf16":{"start":{"line_number":434,"utf16_col":4},"end":{"line_number":435,"utf16_col":48}}},{"name":"expand","kind":"function","ident_start":17231,"ident_end":17237,"extent_start":17227,"extent_end":17331,"fully_qualified_name":"CNOTDihedral.expand","ident_utf16":{"start":{"line_number":437,"utf16_col":8},"end":{"line_number":437,"utf16_col":14}},"extent_utf16":{"start":{"line_number":437,"utf16_col":4},"end":{"line_number":438,"utf16_col":49}}},{"name":"adjoint","kind":"function","ident_start":17341,"ident_end":17348,"extent_start":17337,"extent_end":17466,"fully_qualified_name":"CNOTDihedral.adjoint","ident_utf16":{"start":{"line_number":440,"utf16_col":8},"end":{"line_number":440,"utf16_col":15}},"extent_utf16":{"start":{"line_number":440,"utf16_col":4},"end":{"line_number":443,"utf16_col":21}}},{"name":"conjugate","kind":"function","ident_start":17476,"ident_end":17485,"extent_start":17472,"extent_end":18861,"fully_qualified_name":"CNOTDihedral.conjugate","ident_utf16":{"start":{"line_number":445,"utf16_col":8},"end":{"line_number":445,"utf16_col":17}},"extent_utf16":{"start":{"line_number":445,"utf16_col":4},"end":{"line_number":470,"utf16_col":21}}},{"name":"transpose","kind":"function","ident_start":18871,"ident_end":18880,"extent_start":18867,"extent_end":19002,"fully_qualified_name":"CNOTDihedral.transpose","ident_utf16":{"start":{"line_number":472,"utf16_col":8},"end":{"line_number":472,"utf16_col":17}},"extent_utf16":{"start":{"line_number":472,"utf16_col":4},"end":{"line_number":475,"utf16_col":21}}},{"name":"_is_valid","kind":"function","ident_start":19012,"ident_end":19021,"extent_start":19008,"extent_end":20156,"fully_qualified_name":"CNOTDihedral._is_valid","ident_utf16":{"start":{"line_number":477,"utf16_col":8},"end":{"line_number":477,"utf16_col":17}},"extent_utf16":{"start":{"line_number":477,"utf16_col":4},"end":{"line_number":504,"utf16_col":19}}}]}},"copilotInfo":null,"copilotAccessAllowed":false,"csrf_tokens":{"/Qiskit/qiskit/branches":{"post":"P-y4oRoJFSFIJfwj4UrW6fPzGL3WRXCYmhdzoDuvN-rLFr9rsh78AkXN0bd4I6vC2HHQKrBTsNQI2FOrWtg-VQ"},"/repos/preferences":{"post":"AS_oxns1b7Oc1UlMSBjvWLORm0e-M-E6oKEDU9FSumU_ffSLL_WS-zogZIDknkcVCzIW6UjZzoeoQdF2Hecm4g"}}},"title":"qiskit/qiskit/quantum_info/operators/dihedral/dihedral.py at main ยท Qiskit/qiskit"}