{"payload":{"allShortcutsEnabled":false,"fileTree":{"qiskit/quantum_info/operators/symplectic":{"items":[{"name":"__init__.py","path":"qiskit/quantum_info/operators/symplectic/__init__.py","contentType":"file"},{"name":"base_pauli.py","path":"qiskit/quantum_info/operators/symplectic/base_pauli.py","contentType":"file"},{"name":"clifford.py","path":"qiskit/quantum_info/operators/symplectic/clifford.py","contentType":"file"},{"name":"clifford_circuits.py","path":"qiskit/quantum_info/operators/symplectic/clifford_circuits.py","contentType":"file"},{"name":"pauli.py","path":"qiskit/quantum_info/operators/symplectic/pauli.py","contentType":"file"},{"name":"pauli_list.py","path":"qiskit/quantum_info/operators/symplectic/pauli_list.py","contentType":"file"},{"name":"pauli_utils.py","path":"qiskit/quantum_info/operators/symplectic/pauli_utils.py","contentType":"file"},{"name":"random.py","path":"qiskit/quantum_info/operators/symplectic/random.py","contentType":"file"},{"name":"sparse_pauli_op.py","path":"qiskit/quantum_info/operators/symplectic/sparse_pauli_op.py","contentType":"file"}],"totalCount":9},"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":17.334625,"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:1710785011.0","canEdit":false,"refType":"branch","currentOid":"43381ae1b159c01b55159d2dc1e8a65970b72746"},"path":"qiskit/quantum_info/operators/symplectic/sparse_pauli_op.py","currentUser":null,"blob":{"rawLines":["# This code is part of Qiskit.","#","# (C) Copyright IBM 2017, 2022.","#","# 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.","\"\"\"","N-Qubit Sparse Pauli Operator class.","\"\"\"","","from __future__ import annotations","from typing import TYPE_CHECKING, List","","from collections.abc import Mapping, Sequence, Iterable","from numbers import Number","from copy import deepcopy","","import numpy as np","import rustworkx as rx","","from qiskit._accelerate.sparse_pauli_op import unordered_unique, decompose_dense","from qiskit.circuit.parameter import Parameter","from qiskit.circuit.parameterexpression import ParameterExpression","from qiskit.circuit.parametertable import ParameterView","from qiskit.exceptions import QiskitError","from qiskit.quantum_info.operators.custom_iterator import CustomIterator","from qiskit.quantum_info.operators.linear_op import LinearOp","from qiskit.quantum_info.operators.mixins import generate_apidocs","from qiskit.quantum_info.operators.operator import Operator","from qiskit.quantum_info.operators.symplectic.pauli import BasePauli","from qiskit.quantum_info.operators.symplectic.pauli_list import PauliList","from qiskit.quantum_info.operators.symplectic.pauli import Pauli","","","if TYPE_CHECKING:"," from qiskit.transpiler.layout import TranspileLayout","","","class SparsePauliOp(LinearOp):"," \"\"\"Sparse N-qubit operator in a Pauli basis representation.",""," This is a sparse representation of an N-qubit matrix"," :class:`~qiskit.quantum_info.Operator` in terms of N-qubit"," :class:`~qiskit.quantum_info.PauliList` and complex coefficients.",""," It can be used for performing operator arithmetic for hundred of qubits"," if the number of non-zero Pauli basis terms is sufficiently small.",""," The Pauli basis components are stored as a"," :class:`~qiskit.quantum_info.PauliList` object and can be accessed"," using the :attr:`~SparsePauliOp.paulis` attribute. The coefficients"," are stored as a complex Numpy array vector and can be accessed using"," the :attr:`~SparsePauliOp.coeffs` attribute.",""," .. rubric:: Data type of coefficients",""," The default ``dtype`` of the internal ``coeffs`` Numpy array is ``complex128``. Users can"," configure this by passing ``np.ndarray`` with a different dtype. For example, a parameterized"," :class:`SparsePauliOp` can be made as follows:",""," .. code-block:: python",""," >>> import numpy as np"," >>> from qiskit.circuit import ParameterVector"," >>> from qiskit.quantum_info import SparsePauliOp",""," >>> SparsePauliOp([\"II\", \"XZ\"], np.array(ParameterVector(\"a\", 2)))"," SparsePauliOp(['II', 'XZ'],"," coeffs=[ParameterExpression(1.0*a[0]), ParameterExpression(1.0*a[1])])",""," .. note::",""," Parameterized :class:`SparsePauliOp` does not support the following methods:",""," - ``to_matrix(sparse=True)`` since ``scipy.sparse`` cannot have objects as elements."," - ``to_operator()`` since :class:`~.quantum_info.Operator` does not support objects."," - ``sort``, ``argsort`` since :class:`.ParameterExpression` does not support comparison."," - ``equiv`` since :class:`.ParameterExpression` cannot be converted into complex."," - ``chop`` since :class:`.ParameterExpression` does not support absolute value."," \"\"\"",""," def __init__("," self,"," data: PauliList | SparsePauliOp | Pauli | list | str,"," coeffs: np.ndarray | None = None,"," *,"," ignore_pauli_phase: bool = False,"," copy: bool = True,"," ):"," \"\"\"Initialize an operator object.",""," Args:"," data (PauliList or SparsePauliOp or Pauli or list or str): Pauli list of"," terms. A list of Pauli strings or a Pauli string is also allowed."," coeffs (np.ndarray): complex coefficients for Pauli terms.",""," .. note::",""," If ``data`` is a :obj:`~SparsePauliOp` and ``coeffs`` is not ``None``, the value"," of the ``SparsePauliOp.coeffs`` will be ignored, and only the passed keyword"," argument ``coeffs`` will be used.",""," ignore_pauli_phase (bool): if true, any ``phase`` component of a given :obj:`~PauliList`"," will be assumed to be zero. This is more efficient in cases where a"," :obj:`~PauliList` has been constructed purely for this object, and it is already"," known that the phases in the ZX-convention are zero. It only makes sense to pass"," this option when giving :obj:`~PauliList` data. (Default: False)"," copy (bool): copy the input data if True, otherwise assign it directly, if possible."," (Default: True)",""," Raises:"," QiskitError: If the input data or coeffs are invalid."," \"\"\""," if ignore_pauli_phase and not isinstance(data, PauliList):"," raise QiskitError(\"ignore_pauli_phase=True is only valid with PauliList data\")",""," if isinstance(data, SparsePauliOp):"," if coeffs is None:"," coeffs = data.coeffs"," data = data._pauli_list"," # `SparsePauliOp._pauli_list` is already compatible with the internal ZX-phase"," # convention. See `BasePauli._from_array` for the internal ZX-phase convention."," ignore_pauli_phase = True",""," pauli_list = PauliList(data.copy() if copy and hasattr(data, \"copy\") else data)",""," if isinstance(coeffs, np.ndarray):"," dtype = object if coeffs.dtype == object else complex"," elif coeffs is not None:"," if not isinstance(coeffs, (np.ndarray, Sequence)):"," coeffs = [coeffs]"," if any(isinstance(coeff, ParameterExpression) for coeff in coeffs):"," dtype = object"," else:"," dtype = complex",""," if coeffs is None:"," coeffs = np.ones(pauli_list.size, dtype=complex)"," else:"," coeffs = np.array(coeffs, copy=copy, dtype=dtype)",""," if ignore_pauli_phase:"," # Fast path used in copy operations, where the phase of the PauliList is already known"," # to be zero. This path only works if the input data is compatible with the internal"," # ZX-phase convention."," self._pauli_list = pauli_list"," self._coeffs = coeffs"," else:"," # move the phase of `pauli_list` to `self._coeffs`"," phase = pauli_list._phase"," count_y = pauli_list._count_y()"," self._coeffs = np.asarray((-1j) ** (phase - count_y) * coeffs, dtype=coeffs.dtype)"," pauli_list._phase = np.mod(count_y, 4)"," self._pauli_list = pauli_list",""," if self._coeffs.shape != (self._pauli_list.size,):"," raise QiskitError("," \"coeff vector is incorrect shape for number\""," \" of Paulis {} != {}\".format(self._coeffs.shape, self._pauli_list.size)"," )"," # Initialize LinearOp"," super().__init__(num_qubits=self._pauli_list.num_qubits)",""," def __array__(self, dtype=None):"," if dtype:"," return np.asarray(self.to_matrix(), dtype=dtype)"," return self.to_matrix()",""," def __repr__(self):"," prefix = \"SparsePauliOp(\""," pad = len(prefix) * \" \""," return \"{}{},\\n{}coeffs={})\".format("," prefix,"," self.paulis.to_labels(),"," pad,"," np.array2string(self.coeffs, separator=\", \"),"," )",""," def __eq__(self, other):"," \"\"\"Entrywise comparison of two SparsePauliOp operators\"\"\""," return ("," super().__eq__(other)"," and self.coeffs.dtype == other.coeffs.dtype"," and self.coeffs.shape == other.coeffs.shape"," and self.paulis == other.paulis"," and ("," np.allclose(self.coeffs, other.coeffs)"," if self.coeffs.dtype != object"," else (self.coeffs == other.coeffs).all()"," )"," )",""," def equiv(self, other: SparsePauliOp, atol: float | None = None) -> bool:"," \"\"\"Check if two SparsePauliOp operators are equivalent.",""," Args:"," other (SparsePauliOp): an operator object."," atol: Absolute numerical tolerance for checking equivalence.",""," Returns:"," bool: True if the operator is equivalent to ``self``."," \"\"\""," if not super().__eq__(other):"," return False"," if atol is None:"," atol = self.atol"," return np.allclose((self - other).simplify().coeffs, 0.0, atol=atol)",""," @property"," def settings(self) -> dict:"," \"\"\"Return settings.\"\"\""," return {\"data\": self._pauli_list, \"coeffs\": self._coeffs}",""," # ---------------------------------------------------------------------"," # Data accessors"," # ---------------------------------------------------------------------",""," @property"," def size(self):"," \"\"\"The number of Pauli of Pauli terms in the operator.\"\"\""," return self._pauli_list.size",""," def __len__(self):"," \"\"\"Return the size.\"\"\""," return self.size",""," @property"," def paulis(self):"," \"\"\"Return the PauliList.\"\"\""," return self._pauli_list",""," @paulis.setter"," def paulis(self, value):"," if not isinstance(value, PauliList):"," value = PauliList(value)"," if value.num_qubits != self.num_qubits:"," raise ValueError("," f\"incorrect number of qubits: expected {self.num_qubits}, got {value.num_qubits}\""," )"," if len(value) != len(self.paulis):"," raise ValueError("," f\"incorrect number of operators: expected {len(self.paulis)}, got {len(value)}\""," )"," self._pauli_list = value",""," @property"," def coeffs(self):"," \"\"\"Return the Pauli coefficients.\"\"\""," return self._coeffs",""," @coeffs.setter"," def coeffs(self, value):"," \"\"\"Set Pauli coefficients.\"\"\""," self._coeffs[:] = value",""," def __getitem__(self, key):"," \"\"\"Return a view of the SparsePauliOp.\"\"\""," # Returns a view of specified rows of the PauliList"," # This supports all slicing operations the underlying array supports."," if isinstance(key, (int, np.integer)):"," key = [key]"," return SparsePauliOp(self.paulis[key], self.coeffs[key])",""," def __setitem__(self, key, value):"," \"\"\"Update SparsePauliOp.\"\"\""," # Modify specified rows of the PauliList"," if not isinstance(value, SparsePauliOp):"," value = SparsePauliOp(value)"," self.paulis[key] = value.paulis"," self.coeffs[key] = value.coeffs",""," # ---------------------------------------------------------------------"," # LinearOp Methods"," # ---------------------------------------------------------------------",""," def conjugate(self):"," # Conjugation conjugates phases and also Y.conj() = -Y"," # Hence we need to multiply conjugated coeffs by -1"," # for rows with an odd number of Y terms."," # Find rows with Ys"," ret = self.transpose()"," ret._coeffs = ret._coeffs.conj()"," return ret",""," def transpose(self):"," # The only effect transposition has is Y.T = -Y"," # Hence we need to multiply coeffs by -1 for rows with an"," # odd number of Y terms."," ret = self.copy()"," minus = (-1) ** ret.paulis._count_y()"," ret._coeffs *= minus"," return ret",""," def adjoint(self):"," # Pauli's are self adjoint, so we only need to"," # conjugate the phases"," ret = self.copy()"," ret._coeffs = ret._coeffs.conj()"," return ret",""," def compose("," self, other: SparsePauliOp, qargs: list | None = None, front: bool = False"," ) -> SparsePauliOp:"," if qargs is None:"," qargs = getattr(other, \"qargs\", None)",""," if not isinstance(other, SparsePauliOp):"," other = SparsePauliOp(other)",""," # Validate composition dimensions and qargs match"," self._op_shape.compose(other._op_shape, qargs, front)",""," if qargs is not None:"," x1, z1 = self.paulis.x[:, qargs], self.paulis.z[:, qargs]"," else:"," x1, z1 = self.paulis.x, self.paulis.z"," x2, z2 = other.paulis.x, other.paulis.z"," num_qubits = other.num_qubits",""," # This method is the outer version of `BasePauli.compose`."," # `x1` and `z1` have shape `(self.size, num_qubits)`."," # `x2` and `z2` have shape `(other.size, num_qubits)`."," # `x1[:, no.newaxis]` results in shape `(self.size, 1, num_qubits)`."," # `ar = ufunc(x1[:, np.newaxis], x2)` will be in shape `(self.size, other.size, num_qubits)`."," # So, `ar.reshape((-1, num_qubits))` will be in shape `(self.size * other.size, num_qubits)`."," # Ref: https://numpy.org/doc/stable/user/theory.broadcasting.html",""," phase = np.add.outer(self.paulis._phase, other.paulis._phase).reshape(-1)"," if front:"," q = np.logical_and(x1[:, np.newaxis], z2).reshape((-1, num_qubits))"," else:"," q = np.logical_and(z1[:, np.newaxis], x2).reshape((-1, num_qubits))"," # `np.mod` will be applied to `phase` in `SparsePauliOp.__init__`"," phase = phase + 2 * q.sum(axis=1, dtype=np.uint8)",""," x3 = np.logical_xor(x1[:, np.newaxis], x2).reshape((-1, num_qubits))"," z3 = np.logical_xor(z1[:, np.newaxis], z2).reshape((-1, num_qubits))",""," if qargs is None:"," pauli_list = PauliList(BasePauli(z3, x3, phase))"," else:"," x4 = np.repeat(self.paulis.x, other.size, axis=0)"," z4 = np.repeat(self.paulis.z, other.size, axis=0)"," x4[:, qargs] = x3"," z4[:, qargs] = z3"," pauli_list = PauliList(BasePauli(z4, x4, phase))",""," # note: the following is a faster code equivalent to"," # `coeffs = np.kron(self.coeffs, other.coeffs)`"," # since `self.coeffs` and `other.coeffs` are both 1d arrays."," coeffs = np.multiply.outer(self.coeffs, other.coeffs).ravel()"," return SparsePauliOp(pauli_list, coeffs, copy=False)",""," def tensor(self, other: SparsePauliOp) -> SparsePauliOp:"," if not isinstance(other, SparsePauliOp):"," other = SparsePauliOp(other)"," return self._tensor(self, other)",""," def expand(self, other: SparsePauliOp) -> SparsePauliOp:"," if not isinstance(other, SparsePauliOp):"," other = SparsePauliOp(other)"," return self._tensor(other, self)",""," @classmethod"," def _tensor(cls, a, b):"," paulis = a.paulis.tensor(b.paulis)"," coeffs = np.kron(a.coeffs, b.coeffs)"," return SparsePauliOp(paulis, coeffs, ignore_pauli_phase=True, copy=False)",""," def _add(self, other, qargs=None):"," if qargs is None:"," qargs = getattr(other, \"qargs\", None)",""," if not isinstance(other, SparsePauliOp):"," other = SparsePauliOp(other)",""," self._op_shape._validate_add(other._op_shape, qargs)",""," paulis = self.paulis._add(other.paulis, qargs=qargs)"," coeffs = np.hstack((self.coeffs, other.coeffs))"," return SparsePauliOp(paulis, coeffs, ignore_pauli_phase=True, copy=False)",""," def _multiply(self, other):"," if not isinstance(other, (Number, ParameterExpression)):"," raise QiskitError(\"other is neither a Number nor a Parameter/ParameterExpression\")"," if other == 0:"," # Check edge case that we deleted all Paulis"," # In this case we return an identity Pauli with a zero coefficient"," paulis = PauliList.from_symplectic("," np.zeros((1, self.num_qubits), dtype=bool),"," np.zeros((1, self.num_qubits), dtype=bool),"," )"," coeffs = np.array([0j])"," return SparsePauliOp(paulis, coeffs, ignore_pauli_phase=True, copy=False)"," # Otherwise we just update the phases"," return SparsePauliOp("," self.paulis.copy(), other * self.coeffs, ignore_pauli_phase=True, copy=False"," )",""," # ---------------------------------------------------------------------"," # Utility Methods"," # ---------------------------------------------------------------------",""," def is_unitary(self, atol: float | None = None, rtol: float | None = None) -> bool:"," \"\"\"Return True if operator is a unitary matrix.",""," Args:"," atol (float): Optional. Absolute tolerance for checking if"," coefficients are zero (Default: 1e-8)."," rtol (float): Optional. relative tolerance for checking if"," coefficients are zero (Default: 1e-5).",""," Returns:"," bool: True if the operator is unitary, False otherwise."," \"\"\""," # Get default atol and rtol"," if atol is None:"," atol = self.atol"," if rtol is None:"," rtol = self.rtol",""," # Compose with adjoint"," val = self.compose(self.adjoint()).simplify()"," # See if the result is an identity"," return ("," val.size == 1"," and np.isclose(val.coeffs[0], 1.0, atol=atol, rtol=rtol)"," and not np.any(val.paulis.x)"," and not np.any(val.paulis.z)"," )",""," def simplify(self, atol: float | None = None, rtol: float | None = None) -> SparsePauliOp:"," \"\"\"Simplify PauliList by combining duplicates and removing zeros.",""," Args:"," atol (float): Optional. Absolute tolerance for checking if"," coefficients are zero (Default: 1e-8)."," rtol (float): Optional. relative tolerance for checking if"," coefficients are zero (Default: 1e-5).",""," Returns:"," SparsePauliOp: the simplified SparsePauliOp operator."," \"\"\""," # Get default atol and rtol"," if atol is None:"," atol = self.atol"," if rtol is None:"," rtol = self.rtol",""," # Filter non-zero coefficients"," if self.coeffs.dtype == object:",""," def to_complex(coeff):"," if not hasattr(coeff, \"sympify\"):"," return coeff"," sympified = coeff.sympify()"," return complex(sympified) if sympified.is_Number else np.nan",""," non_zero = np.logical_not("," np.isclose([to_complex(x) for x in self.coeffs], 0, atol=atol, rtol=rtol)"," )"," else:"," non_zero = np.logical_not(np.isclose(self.coeffs, 0, atol=atol, rtol=rtol))"," paulis_x = self.paulis.x[non_zero]"," paulis_z = self.paulis.z[non_zero]"," nz_coeffs = self.coeffs[non_zero]",""," array = np.packbits(paulis_x, axis=1).astype(np.uint16) * 256 + np.packbits("," paulis_z, axis=1"," )"," indexes, inverses = unordered_unique(array)",""," if np.all(non_zero) and indexes.shape[0] == array.shape[0]:"," # No zero operator or duplicate operator"," return self.copy()",""," coeffs = np.zeros(indexes.shape[0], dtype=self.coeffs.dtype)"," np.add.at(coeffs, inverses, nz_coeffs)"," # Delete zero coefficient rows"," if self.coeffs.dtype == object:"," is_zero = np.array("," [np.isclose(to_complex(coeff), 0, atol=atol, rtol=rtol) for coeff in coeffs]"," )"," else:"," is_zero = np.isclose(coeffs, 0, atol=atol, rtol=rtol)"," # Check edge case that we deleted all Paulis"," # In this case we return an identity Pauli with a zero coefficient"," if np.all(is_zero):"," x = np.zeros((1, self.num_qubits), dtype=bool)"," z = np.zeros((1, self.num_qubits), dtype=bool)"," coeffs = np.array([0j], dtype=self.coeffs.dtype)"," else:"," non_zero = np.logical_not(is_zero)"," non_zero_indexes = indexes[non_zero]"," x = paulis_x[non_zero_indexes]"," z = paulis_z[non_zero_indexes]"," coeffs = coeffs[non_zero]",""," return SparsePauliOp("," PauliList.from_symplectic(z, x), coeffs, ignore_pauli_phase=True, copy=False"," )",""," def argsort(self, weight: bool = False):"," \"\"\"Return indices for sorting the rows of the table.",""," Returns the composition of permutations in the order of sorting"," by coefficient and sorting by Pauli."," By using the `weight` kwarg the output can additionally be sorted"," by the number of non-identity terms in the Pauli, where the set of"," all Pauli's of a given weight are still ordered lexicographically.",""," **Example**",""," Here is an example of how to use SparsePauliOp argsort.",""," .. code-block::",""," import numpy as np"," from qiskit.quantum_info import SparsePauliOp",""," # 2-qubit labels"," labels = [\"XX\", \"XX\", \"XX\", \"YI\", \"II\", \"XZ\", \"XY\", \"XI\"]"," # coeffs"," coeffs = [2.+1.j, 2.+2.j, 3.+0.j, 3.+0.j, 4.+0.j, 5.+0.j, 6.+0.j, 7.+0.j]",""," # init"," spo = SparsePauliOp(labels, coeffs)"," print('Initial Ordering')"," print(spo)",""," # Lexicographic Ordering"," srt = spo.argsort()"," print('Lexicographically sorted')"," print(srt)",""," # Lexicographic Ordering"," srt = spo.argsort(weight=False)"," print('Lexicographically sorted')"," print(srt)",""," # Weight Ordering"," srt = spo.argsort(weight=True)"," print('Weight sorted')"," print(srt)",""," .. parsed-literal::",""," Initial Ordering"," SparsePauliOp(['XX', 'XX', 'XX', 'YI', 'II', 'XZ', 'XY', 'XI'],"," coeffs=[2.+1.j, 2.+2.j, 3.+0.j, 3.+0.j, 4.+0.j, 5.+0.j, 6.+0.j, 7.+0.j])"," Lexicographically sorted"," [4 7 0 1 2 6 5 3]"," Lexicographically sorted"," [4 7 0 1 2 6 5 3]"," Weight sorted"," [4 7 3 0 1 2 6 5]",""," Args:"," weight (bool): optionally sort by weight if True (Default: False)."," By using the weight kwarg the output can additionally be sorted"," by the number of non-identity terms in the Pauli.",""," Returns:"," array: the indices for sorting the table."," \"\"\""," sort_coeffs_inds = np.argsort(self._coeffs, kind=\"stable\")"," pauli_list = self._pauli_list[sort_coeffs_inds]"," sort_pauli_inds = pauli_list.argsort(weight=weight, phase=False)"," return sort_coeffs_inds[sort_pauli_inds]",""," def sort(self, weight: bool = False):"," \"\"\"Sort the rows of the table.",""," After sorting the coefficients using numpy's argsort, sort by Pauli."," Pauli sort takes precedence."," If Pauli is the same, it will be sorted by coefficient."," By using the `weight` kwarg the output can additionally be sorted"," by the number of non-identity terms in the Pauli, where the set of"," all Pauli's of a given weight are still ordered lexicographically.",""," **Example**",""," Here is an example of how to use SparsePauliOp sort.",""," .. code-block::",""," import numpy as np"," from qiskit.quantum_info import SparsePauliOp",""," # 2-qubit labels"," labels = [\"XX\", \"XX\", \"XX\", \"YI\", \"II\", \"XZ\", \"XY\", \"XI\"]"," # coeffs"," coeffs = [2.+1.j, 2.+2.j, 3.+0.j, 3.+0.j, 4.+0.j, 5.+0.j, 6.+0.j, 7.+0.j]",""," # init"," spo = SparsePauliOp(labels, coeffs)"," print('Initial Ordering')"," print(spo)",""," # Lexicographic Ordering"," srt = spo.sort()"," print('Lexicographically sorted')"," print(srt)",""," # Lexicographic Ordering"," srt = spo.sort(weight=False)"," print('Lexicographically sorted')"," print(srt)",""," # Weight Ordering"," srt = spo.sort(weight=True)"," print('Weight sorted')"," print(srt)",""," .. parsed-literal::",""," Initial Ordering"," SparsePauliOp(['XX', 'XX', 'XX', 'YI', 'II', 'XZ', 'XY', 'XI'],"," coeffs=[2.+1.j, 2.+2.j, 3.+0.j, 3.+0.j, 4.+0.j, 5.+0.j, 6.+0.j, 7.+0.j])"," Lexicographically sorted"," SparsePauliOp(['II', 'XI', 'XX', 'XX', 'XX', 'XY', 'XZ', 'YI'],"," coeffs=[4.+0.j, 7.+0.j, 2.+1.j, 2.+2.j, 3.+0.j, 6.+0.j, 5.+0.j, 3.+0.j])"," Lexicographically sorted"," SparsePauliOp(['II', 'XI', 'XX', 'XX', 'XX', 'XY', 'XZ', 'YI'],"," coeffs=[4.+0.j, 7.+0.j, 2.+1.j, 2.+2.j, 3.+0.j, 6.+0.j, 5.+0.j, 3.+0.j])"," Weight sorted"," SparsePauliOp(['II', 'XI', 'YI', 'XX', 'XX', 'XX', 'XY', 'XZ'],"," coeffs=[4.+0.j, 7.+0.j, 3.+0.j, 2.+1.j, 2.+2.j, 3.+0.j, 6.+0.j, 5.+0.j])",""," Args:"," weight (bool): optionally sort by weight if True (Default: False)."," By using the weight kwarg the output can additionally be sorted"," by the number of non-identity terms in the Pauli.",""," Returns:"," SparsePauliOp: a sorted copy of the original table."," \"\"\""," indices = self.argsort(weight=weight)"," return SparsePauliOp(self._pauli_list[indices], self._coeffs[indices])",""," def chop(self, tol: float = 1e-14) -> SparsePauliOp:"," \"\"\"Set real and imaginary parts of the coefficients to 0 if ``< tol`` in magnitude.",""," For example, the operator representing ``1+1e-17j X + 1e-17 Y`` with a tolerance larger"," than ``1e-17`` will be reduced to ``1 X`` whereas :meth:`.SparsePauliOp.simplify` would"," return ``1+1e-17j X``.",""," If a both the real and imaginary part of a coefficient is 0 after chopping, the"," corresponding Pauli is removed from the operator.",""," Args:"," tol (float): The absolute tolerance to check whether a real or imaginary part should"," be set to 0.",""," Returns:"," SparsePauliOp: This operator with chopped coefficients."," \"\"\""," realpart_nonzero = np.abs(self.coeffs.real) > tol"," imagpart_nonzero = np.abs(self.coeffs.imag) > tol",""," remaining_indices = np.logical_or(realpart_nonzero, imagpart_nonzero)"," remaining_real = realpart_nonzero[remaining_indices]"," remaining_imag = imagpart_nonzero[remaining_indices]",""," if len(remaining_real) == 0: # if no Paulis are left"," x = np.zeros((1, self.num_qubits), dtype=bool)"," z = np.zeros((1, self.num_qubits), dtype=bool)"," coeffs = np.array([0j], dtype=complex)"," else:"," coeffs = np.zeros(np.count_nonzero(remaining_indices), dtype=complex)"," coeffs.real[remaining_real] = self.coeffs.real[realpart_nonzero]"," coeffs.imag[remaining_imag] = self.coeffs.imag[imagpart_nonzero]",""," x = self.paulis.x[remaining_indices]"," z = self.paulis.z[remaining_indices]",""," return SparsePauliOp("," PauliList.from_symplectic(z, x), coeffs, ignore_pauli_phase=True, copy=False"," )",""," @staticmethod"," def sum(ops: list[SparsePauliOp]) -> SparsePauliOp:"," \"\"\"Sum of SparsePauliOps.",""," This is a specialized version of the builtin ``sum`` function for SparsePauliOp"," with smaller overhead.",""," Args:"," ops (list[SparsePauliOp]): a list of SparsePauliOps.",""," Returns:"," SparsePauliOp: the SparsePauliOp representing the sum of the input list.",""," Raises:"," QiskitError: if the input list is empty."," QiskitError: if the input list includes an object that is not SparsePauliOp."," QiskitError: if the numbers of qubits of the objects in the input list do not match."," \"\"\""," if len(ops) == 0:"," raise QiskitError(\"Input list is empty\")"," if not all(isinstance(op, SparsePauliOp) for op in ops):"," raise QiskitError(\"Input list includes an object that is not SparsePauliOp\")"," for other in ops[1:]:"," ops[0]._op_shape._validate_add(other._op_shape)",""," z = np.vstack([op.paulis.z for op in ops])"," x = np.vstack([op.paulis.x for op in ops])"," phase = np.hstack([op.paulis._phase for op in ops])"," pauli_list = PauliList(BasePauli(z, x, phase))"," coeffs = np.hstack([op.coeffs for op in ops])"," return SparsePauliOp(pauli_list, coeffs, ignore_pauli_phase=True, copy=False)",""," # ---------------------------------------------------------------------"," # Additional conversions"," # ---------------------------------------------------------------------",""," @staticmethod"," def from_operator("," obj: Operator, atol: float | None = None, rtol: float | None = None"," ) -> SparsePauliOp:"," \"\"\"Construct from an Operator objector.",""," Note that the cost of this construction is exponential in general because the number of"," possible Pauli terms in the decomposition is exponential in the number of qubits.",""," Internally this uses an implementation of the \"tensorized Pauli decomposition\" presented in"," `Hantzko, Binkowski and Gupta (2023) `__.",""," Args:"," obj (Operator): an N-qubit operator."," atol (float): Optional. Absolute tolerance for checking if coefficients are zero"," (Default: 1e-8). Since the comparison is to zero, in effect the tolerance used is"," the maximum of ``atol`` and ``rtol``."," rtol (float): Optional. relative tolerance for checking if coefficients are zero"," (Default: 1e-5). Since the comparison is to zero, in effect the tolerance used is"," the maximum of ``atol`` and ``rtol``.",""," Returns:"," SparsePauliOp: the SparsePauliOp representation of the operator.",""," Raises:"," QiskitError: if the input operator is not an N-qubit operator."," \"\"\""," # Get default atol and rtol"," if atol is None:"," atol = SparsePauliOp.atol"," if rtol is None:"," rtol = SparsePauliOp.rtol"," tol = max((atol, rtol))",""," if not isinstance(obj, Operator):"," obj = Operator(obj)",""," # Check dimension is N-qubit operator"," num_qubits = obj.num_qubits"," if num_qubits is None:"," raise QiskitError(\"Input Operator is not an N-qubit operator.\")"," zx_paulis = decompose_dense(obj.data, tol)"," # Indirection through `BasePauli` is because we're already supplying the phase in the ZX"," # convention."," pauli_list = PauliList(BasePauli(zx_paulis.z, zx_paulis.x, zx_paulis.phases))"," return SparsePauliOp(pauli_list, zx_paulis.coeffs, ignore_pauli_phase=True, copy=False)",""," @staticmethod"," def from_list("," obj: Iterable[tuple[str, complex]], dtype: type = complex, *, num_qubits: int = None"," ) -> SparsePauliOp:"," \"\"\"Construct from a list of Pauli strings and coefficients.",""," For example, the 5-qubit Hamiltonian",""," .. math::",""," H = Z_1 X_4 + 2 Y_0 Y_3",""," can be constructed as",""," .. code-block:: python",""," # via tuples and the full Pauli string"," op = SparsePauliOp.from_list([(\"XIIZI\", 1), (\"IYIIY\", 2)])",""," Args:"," obj (Iterable[Tuple[str, complex]]): The list of 2-tuples specifying the Pauli terms."," dtype (type): The dtype of coeffs (Default: complex)."," num_qubits (int): The number of qubits of the operator (Default: None).",""," Returns:"," SparsePauliOp: The SparsePauliOp representation of the Pauli terms.",""," Raises:"," QiskitError: If an empty list is passed and num_qubits is None."," QiskitError: If num_qubits and the objects in the input list do not match."," \"\"\""," obj = list(obj) # To convert zip or other iterable"," size = len(obj)",""," if size == 0 and num_qubits is None:"," raise QiskitError("," \"Could not determine the number of qubits from an empty list. Try passing num_qubits.\""," )"," if size > 0 and num_qubits is not None:"," if len(obj[0][0]) != num_qubits:"," raise QiskitError("," f\"num_qubits ({num_qubits}) and the objects in the input list do not match.\""," )"," if num_qubits is None:"," num_qubits = len(obj[0][0])"," if size == 0:"," obj = [(\"I\" * num_qubits, 0)]"," size = len(obj)",""," coeffs = np.zeros(size, dtype=dtype)"," labels = np.zeros(size, dtype=f\" SparsePauliOp:"," \"\"\"Construct from a list of local Pauli strings and coefficients.",""," Each list element is a 3-tuple of a local Pauli string, indices where to apply it,"," and a coefficient.",""," For example, the 5-qubit Hamiltonian",""," .. math::",""," H = Z_1 X_4 + 2 Y_0 Y_3",""," can be constructed as",""," .. code-block:: python",""," # via triples and local Paulis with indices"," op = SparsePauliOp.from_sparse_list([(\"ZX\", [1, 4], 1), (\"YY\", [0, 3], 2)], num_qubits=5)",""," # equals the following construction from \"dense\" Paulis"," op = SparsePauliOp.from_list([(\"XIIZI\", 1), (\"IYIIY\", 2)])",""," Args:"," obj (Iterable[tuple[str, list[int], complex]]): The list 3-tuples specifying the Paulis."," num_qubits (int): The number of qubits of the operator."," do_checks (bool): The flag of checking if the input indices are not duplicated"," (Default: True)."," dtype (type): The dtype of coeffs (Default: complex).",""," Returns:"," SparsePauliOp: The SparsePauliOp representation of the Pauli terms.",""," Raises:"," QiskitError: If the number of qubits is incompatible with the indices of the Pauli terms."," QiskitError: If the designated qubit is already assigned."," \"\"\""," obj = list(obj) # To convert zip or other iterable"," size = len(obj)",""," if size == 0:"," obj = [(\"I\" * num_qubits, range(num_qubits), 0)]"," size = len(obj)",""," coeffs = np.zeros(size, dtype=dtype)"," labels = np.zeros(size, dtype=f\"= num_qubits:"," raise QiskitError("," f\"The number of qubits ({num_qubits}) is smaller than a required index {index}.\""," )"," label[~index] = pauli",""," labels[i] = \"\".join(label)"," coeffs[i] = coeff",""," paulis = PauliList(labels)"," return SparsePauliOp(paulis, coeffs, copy=False)",""," def to_list(self, array: bool = False):"," \"\"\"Convert to a list Pauli string labels and coefficients.",""," For operators with a lot of terms converting using the ``array=True``"," kwarg will be more efficient since it allocates memory for"," the full Numpy array of labels in advance.",""," Args:"," array (bool): return a Numpy array if True, otherwise"," return a list (Default: False).",""," Returns:"," list or array: List of pairs (label, coeff) for rows of the PauliList."," \"\"\""," # Dtype for a structured array with string labels and complex coeffs"," pauli_labels = self.paulis.to_labels(array=True)"," labels = np.zeros("," self.size, dtype=[(\"labels\", pauli_labels.dtype), (\"coeffs\", self.coeffs.dtype)]"," )"," labels[\"labels\"] = pauli_labels"," labels[\"coeffs\"] = self.coeffs"," if array:"," return labels"," return labels.tolist()",""," def to_matrix(self, sparse: bool = False) -> np.ndarray:"," \"\"\"Convert to a dense or sparse matrix.",""," Args:"," sparse (bool): if True return a sparse CSR matrix, otherwise"," return dense Numpy array (Default: False).",""," Returns:"," array: A dense matrix if `sparse=False`."," csr_matrix: A sparse matrix in CSR format if `sparse=True`."," \"\"\""," mat = None"," for i in self.matrix_iter(sparse=sparse):"," if mat is None:"," mat = i"," else:"," mat += i"," return mat",""," def to_operator(self) -> Operator:"," \"\"\"Convert to a matrix Operator object\"\"\""," return Operator(self.to_matrix())",""," # ---------------------------------------------------------------------"," # Custom Iterators"," # ---------------------------------------------------------------------",""," def label_iter(self):"," \"\"\"Return a label representation iterator.",""," This is a lazy iterator that converts each term in the SparsePauliOp"," into a tuple (label, coeff). To convert the entire table to labels"," use the :meth:`to_labels` method.",""," Returns:"," LabelIterator: label iterator object for the SparsePauliOp."," \"\"\"",""," class LabelIterator(CustomIterator):"," \"\"\"Label representation iteration and item access.\"\"\"",""," def __repr__(self):"," return f\"\"",""," def __getitem__(self, key):"," coeff = self.obj.coeffs[key]"," pauli = self.obj.paulis.label_iter()[key]"," return (pauli, coeff)",""," return LabelIterator(self)",""," def matrix_iter(self, sparse: bool = False):"," \"\"\"Return a matrix representation iterator.",""," This is a lazy iterator that converts each term in the SparsePauliOp"," into a matrix as it is used. To convert to a single matrix use the"," :meth:`to_matrix` method.",""," Args:"," sparse (bool): optionally return sparse CSR matrices if True,"," otherwise return Numpy array matrices"," (Default: False)",""," Returns:"," MatrixIterator: matrix iterator object for the PauliList."," \"\"\"",""," class MatrixIterator(CustomIterator):"," \"\"\"Matrix representation iteration and item access.\"\"\"",""," def __repr__(self):"," return f\"\"",""," def __getitem__(self, key):"," coeff = self.obj.coeffs[key]"," mat = self.obj.paulis[key].to_matrix(sparse)"," return coeff * mat",""," return MatrixIterator(self)",""," def noncommutation_graph(self, qubit_wise: bool) -> rx.PyGraph:"," \"\"\"Create the non-commutation graph of this SparsePauliOp.",""," This transforms the measurement operator grouping problem into graph coloring problem. The"," constructed graph contains one node for each Pauli. The nodes will be connecting for any two"," Pauli terms that do _not_ commute.",""," Args:"," qubit_wise (bool): whether the commutation rule is applied to the whole operator,"," or on a per-qubit basis.",""," Returns:"," rustworkx.PyGraph: the non-commutation graph with nodes for each Pauli and edges"," indicating a non-commutation relation. Each node will hold the index of the Pauli"," term it corresponds to in its data. The edges of the graph hold no data."," \"\"\""," return self.paulis.noncommutation_graph(qubit_wise)",""," def group_commuting(self, qubit_wise: bool = False) -> list[SparsePauliOp]:"," \"\"\"Partition a SparsePauliOp into sets of commuting Pauli strings.",""," Args:"," qubit_wise (bool): whether the commutation rule is applied to the whole operator,"," or on a per-qubit basis. For example:",""," .. code-block:: python",""," >>> op = SparsePauliOp.from_list([(\"XX\", 2), (\"YY\", 1), (\"IZ\",2j), (\"ZZ\",1j)])"," >>> op.group_commuting()"," [SparsePauliOp([\"IZ\", \"ZZ\"], coeffs=[0.+2.j, 0.+1j]),"," SparsePauliOp([\"XX\", \"YY\"], coeffs=[2.+0.j, 1.+0.j])]"," >>> op.group_commuting(qubit_wise=True)"," [SparsePauliOp(['XX'], coeffs=[2.+0.j]),"," SparsePauliOp(['YY'], coeffs=[1.+0.j]),"," SparsePauliOp(['IZ', 'ZZ'], coeffs=[0.+2.j, 0.+1.j])]",""," Returns:"," list[SparsePauliOp]: List of SparsePauliOp where each SparsePauliOp contains"," commuting Pauli operators."," \"\"\""," groups = self.paulis._commuting_groups(qubit_wise)"," return [self[group] for group in groups.values()]",""," @property"," def parameters(self) -> ParameterView:"," r\"\"\"Return the free ``Parameter``\\s in the coefficients.\"\"\""," ret = set()"," for coeff in self.coeffs:"," if isinstance(coeff, ParameterExpression):"," ret |= coeff.parameters"," return ParameterView(ret)",""," def assign_parameters("," self,"," parameters: ("," Mapping[Parameter, complex | ParameterExpression]"," | Sequence[complex | ParameterExpression]"," ),"," inplace: bool = False,"," ) -> SparsePauliOp | None:"," r\"\"\"Bind the free ``Parameter``\\s in the coefficients to provided values.",""," Args:"," parameters: The values to bind the parameters to."," inplace: If ``False``, a copy of the operator with the bound parameters is returned."," If ``True`` the operator itself is modified.",""," Returns:"," A copy of the operator with bound parameters, if ``inplace`` is ``False``, otherwise"," ``None``."," \"\"\""," if inplace:"," bound = self"," else:"," bound = deepcopy(self)",""," # turn the parameters to a dictionary"," if isinstance(parameters, Sequence):"," free_parameters = bound.parameters"," if len(parameters) != len(free_parameters):"," raise ValueError("," f\"Mismatching number of values ({len(parameters)}) and parameters \""," f\"({len(free_parameters)}). For partial binding please pass a dictionary of \""," \"{parameter: value} pairs.\""," )"," parameters = dict(zip(free_parameters, parameters))",""," for i, coeff in enumerate(bound.coeffs):"," if isinstance(coeff, ParameterExpression):"," for key in coeff.parameters & parameters.keys():"," coeff = coeff.assign(key, parameters[key])"," if len(coeff.parameters) == 0:"," coeff = complex(coeff)"," bound.coeffs[i] = coeff",""," return None if inplace else bound",""," def apply_layout("," self, layout: TranspileLayout | List[int] | None, num_qubits: int | None = None"," ) -> SparsePauliOp:"," \"\"\"Apply a transpiler layout to this :class:`~.SparsePauliOp`",""," Args:"," layout: Either a :class:`~.TranspileLayout`, a list of integers or None."," If both layout and num_qubits are none, a copy of the operator is"," returned."," num_qubits: The number of qubits to expand the operator to. If not"," provided then if ``layout`` is a :class:`~.TranspileLayout` the"," number of the transpiler output circuit qubits will be used by"," default. If ``layout`` is a list of integers the permutation"," specified will be applied without any expansion. If layout is"," None, the operator will be expanded to the given number of qubits.","",""," Returns:"," A new :class:`.SparsePauliOp` with the provided layout applied"," \"\"\""," from qiskit.transpiler.layout import TranspileLayout",""," if layout is None and num_qubits is None:"," return self.copy()",""," n_qubits = self.num_qubits"," if isinstance(layout, TranspileLayout):"," n_qubits = len(layout._output_qubit_list)"," layout = layout.final_index_layout()"," if num_qubits is not None:"," if num_qubits < n_qubits:"," raise QiskitError("," f\"The input num_qubits is too small, a {num_qubits} qubit layout cannot be \""," f\"applied to a {n_qubits} qubit operator\""," )"," n_qubits = num_qubits"," if layout is not None and any(x >= n_qubits for x in layout):"," raise QiskitError(\"Provided layout contains indices outside the number of qubits.\")"," if layout is None:"," layout = list(range(self.num_qubits))"," new_op = type(self)(\"I\" * n_qubits)"," return new_op.compose(self, qargs=layout)","","","# Update docstrings for API docs","generate_apidocs(SparsePauliOp)"],"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":36,"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":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":32,"cssClass":"pl-v"},{"start":34,"end":38,"cssClass":"pl-v"}],[],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":16,"cssClass":"pl-s1"},{"start":17,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-k"},{"start":28,"end":35,"cssClass":"pl-v"},{"start":37,"end":45,"cssClass":"pl-v"},{"start":47,"end":55,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":12,"cssClass":"pl-s1"},{"start":13,"end":19,"cssClass":"pl-k"},{"start":20,"end":26,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":9,"cssClass":"pl-s1"},{"start":10,"end":16,"cssClass":"pl-k"},{"start":17,"end":25,"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":6,"cssClass":"pl-k"},{"start":7,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-k"},{"start":20,"end":22,"cssClass":"pl-s1"}],[],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":39,"cssClass":"pl-s1"},{"start":40,"end":46,"cssClass":"pl-k"},{"start":47,"end":63,"cssClass":"pl-s1"},{"start":65,"end":80,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"cssClass":"pl-k"},{"start":37,"end":46,"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":39,"cssClass":"pl-s1"},{"start":40,"end":46,"cssClass":"pl-k"},{"start":47,"end":66,"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":34,"cssClass":"pl-s1"},{"start":35,"end":41,"cssClass":"pl-k"},{"start":42,"end":55,"cssClass":"pl-v"}],[{"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":50,"cssClass":"pl-s1"},{"start":51,"end":57,"cssClass":"pl-k"},{"start":58,"end":72,"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":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":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":45,"cssClass":"pl-s1"},{"start":46,"end":56,"cssClass":"pl-s1"},{"start":57,"end":63,"cssClass":"pl-k"},{"start":64,"end":73,"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":2,"cssClass":"pl-k"},{"start":3,"end":16,"cssClass":"pl-v"}],[{"start":4,"end":8,"cssClass":"pl-k"},{"start":9,"end":15,"cssClass":"pl-s1"},{"start":16,"end":26,"cssClass":"pl-s1"},{"start":27,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-k"},{"start":41,"end":56,"cssClass":"pl-v"}],[],[],[{"start":0,"end":5,"cssClass":"pl-k"},{"start":6,"end":19,"cssClass":"pl-v"},{"start":20,"end":28,"cssClass":"pl-v"}],[{"start":4,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":56,"cssClass":"pl-s"}],[{"start":0,"end":62,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":46,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":72,"cssClass":"pl-s"}],[{"start":0,"end":48,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":41,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":94,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":50,"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":30,"cssClass":"pl-s"}],[{"start":0,"end":54,"cssClass":"pl-s"}],[{"start":0,"end":57,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":35,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":90,"cssClass":"pl-s"}],[{"start":0,"end":90,"cssClass":"pl-s"}],[{"start":0,"end":94,"cssClass":"pl-s"}],[{"start":0,"end":87,"cssClass":"pl-s"}],[{"start":0,"end":85,"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":23,"cssClass":"pl-v"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":39,"cssClass":"pl-v"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":42,"end":47,"cssClass":"pl-v"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-c1"},{"start":57,"end":60,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-c1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":36,"end":40,"cssClass":"pl-c1"}],[{"start":8,"end":9,"cssClass":"pl-c1"}],[{"start":8,"end":26,"cssClass":"pl-s1"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":35,"end":40,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":14,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"}],[],[{"start":8,"end":41,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":25,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":100,"cssClass":"pl-s"}],[{"start":0,"end":96,"cssClass":"pl-s"}],[{"start":0,"end":53,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":100,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":96,"cssClass":"pl-s"}],[{"start":0,"end":97,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":96,"cssClass":"pl-s"}],[{"start":0,"end":31,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":65,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":29,"cssClass":"pl-s1"},{"start":30,"end":33,"cssClass":"pl-c1"},{"start":34,"end":37,"cssClass":"pl-c1"},{"start":38,"end":48,"cssClass":"pl-en"},{"start":49,"end":53,"cssClass":"pl-s1"},{"start":55,"end":64,"cssClass":"pl-v"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":89,"cssClass":"pl-s"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-en"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":28,"end":41,"cssClass":"pl-v"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-c1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"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":35,"cssClass":"pl-s1"}],[{"start":12,"end":90,"cssClass":"pl-c"}],[{"start":12,"end":92,"cssClass":"pl-c"}],[{"start":12,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-c1"}],[],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":30,"cssClass":"pl-v"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":40,"cssClass":"pl-en"},{"start":43,"end":45,"cssClass":"pl-k"},{"start":46,"end":50,"cssClass":"pl-s1"},{"start":51,"end":54,"cssClass":"pl-c1"},{"start":55,"end":62,"cssClass":"pl-en"},{"start":63,"end":67,"cssClass":"pl-s1"},{"start":69,"end":75,"cssClass":"pl-s"},{"start":77,"end":81,"cssClass":"pl-k"},{"start":82,"end":86,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-en"},{"start":22,"end":28,"cssClass":"pl-s1"},{"start":30,"end":32,"cssClass":"pl-s1"},{"start":33,"end":40,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-k"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":43,"end":45,"cssClass":"pl-c1"},{"start":46,"end":52,"cssClass":"pl-s1"},{"start":53,"end":57,"cssClass":"pl-k"},{"start":58,"end":65,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":26,"cssClass":"pl-c1"},{"start":27,"end":31,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":19,"end":29,"cssClass":"pl-en"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":39,"end":41,"cssClass":"pl-s1"},{"start":42,"end":49,"cssClass":"pl-s1"},{"start":51,"end":59,"cssClass":"pl-v"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":26,"end":32,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":29,"cssClass":"pl-en"},{"start":30,"end":35,"cssClass":"pl-s1"},{"start":37,"end":56,"cssClass":"pl-v"},{"start":58,"end":61,"cssClass":"pl-k"},{"start":62,"end":67,"cssClass":"pl-s1"},{"start":68,"end":70,"cssClass":"pl-c1"},{"start":71,"end":77,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":30,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":31,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-en"},{"start":29,"end":39,"cssClass":"pl-s1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":46,"end":51,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-c1"},{"start":52,"end":59,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":23,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-en"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":43,"end":47,"cssClass":"pl-s1"},{"start":49,"end":54,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-c1"},{"start":55,"end":60,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":29,"cssClass":"pl-s1"}],[{"start":12,"end":98,"cssClass":"pl-c"}],[{"start":12,"end":97,"cssClass":"pl-c"}],[{"start":12,"end":34,"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":16,"cssClass":"pl-s1"},{"start":17,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":33,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":62,"cssClass":"pl-c"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":32,"cssClass":"pl-s1"},{"start":33,"end":41,"cssClass":"pl-en"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":29,"cssClass":"pl-s1"},{"start":30,"end":37,"cssClass":"pl-en"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":40,"end":42,"cssClass":"pl-c1"},{"start":44,"end":46,"cssClass":"pl-c1"},{"start":48,"end":53,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-c1"},{"start":56,"end":63,"cssClass":"pl-s1"},{"start":65,"end":66,"cssClass":"pl-c1"},{"start":67,"end":73,"cssClass":"pl-s1"},{"start":75,"end":80,"cssClass":"pl-s1"},{"start":80,"end":81,"cssClass":"pl-c1"},{"start":81,"end":87,"cssClass":"pl-s1"},{"start":88,"end":93,"cssClass":"pl-s1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":34,"cssClass":"pl-s1"},{"start":35,"end":38,"cssClass":"pl-en"},{"start":39,"end":46,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-c1"}],[{"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":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":23,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":32,"cssClass":"pl-c1"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":50,"cssClass":"pl-s1"},{"start":51,"end":55,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"}],[{"start":16,"end":60,"cssClass":"pl-s"}],[{"start":16,"end":37,"cssClass":"pl-s"},{"start":38,"end":44,"cssClass":"pl-en"},{"start":45,"end":49,"cssClass":"pl-s1"},{"start":50,"end":57,"cssClass":"pl-s1"},{"start":58,"end":63,"cssClass":"pl-s1"},{"start":65,"end":69,"cssClass":"pl-s1"},{"start":70,"end":81,"cssClass":"pl-s1"},{"start":82,"end":86,"cssClass":"pl-s1"}],[],[{"start":8,"end":29,"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":53,"end":63,"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":16,"cssClass":"pl-en"},{"start":17,"end":21,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":33,"cssClass":"pl-s"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":17,"cssClass":"pl-en"},{"start":18,"end":24,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":31,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":36,"cssClass":"pl-s"},{"start":21,"end":23,"cssClass":"pl-cce"},{"start":37,"end":43,"cssClass":"pl-en"}],[{"start":12,"end":18,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":33,"cssClass":"pl-en"}],[{"start":12,"end":15,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-s1"},{"start":15,"end":27,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":41,"end":50,"cssClass":"pl-s1"},{"start":50,"end":51,"cssClass":"pl-c1"},{"start":51,"end":55,"cssClass":"pl-s"}],[],[],[{"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":65,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"}],[{"start":12,"end":17,"cssClass":"pl-en"},{"start":20,"end":26,"cssClass":"pl-en"},{"start":27,"end":32,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":43,"end":49,"cssClass":"pl-s1"},{"start":50,"end":55,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":43,"end":49,"cssClass":"pl-s1"},{"start":50,"end":55,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-c1"},{"start":31,"end":36,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-c1"}],[{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":27,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":47,"end":53,"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":36,"cssClass":"pl-s1"},{"start":37,"end":39,"cssClass":"pl-c1"},{"start":40,"end":46,"cssClass":"pl-s1"}],[{"start":16,"end":20,"cssClass":"pl-k"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":43,"end":49,"cssClass":"pl-s1"},{"start":51,"end":54,"cssClass":"pl-en"}],[],[],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":13,"cssClass":"pl-en"},{"start":14,"end":18,"cssClass":"pl-s1"},{"start":20,"end":25,"cssClass":"pl-s1"},{"start":27,"end":40,"cssClass":"pl-v"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":48,"end":53,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-c1"},{"start":56,"end":60,"cssClass":"pl-c1"},{"start":61,"end":62,"cssClass":"pl-c1"},{"start":63,"end":67,"cssClass":"pl-c1"},{"start":69,"end":71,"cssClass":"pl-c1"},{"start":72,"end":76,"cssClass":"pl-s1"}],[{"start":8,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":54,"cssClass":"pl-s"}],[{"start":0,"end":72,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":65,"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":20,"cssClass":"pl-en"},{"start":23,"end":29,"cssClass":"pl-en"},{"start":30,"end":35,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":17,"cssClass":"pl-s1"},{"start":18,"end":26,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":35,"end":40,"cssClass":"pl-s1"},{"start":42,"end":50,"cssClass":"pl-en"},{"start":53,"end":59,"cssClass":"pl-s1"},{"start":61,"end":64,"cssClass":"pl-c1"},{"start":66,"end":70,"cssClass":"pl-s1"},{"start":70,"end":71,"cssClass":"pl-c1"},{"start":71,"end":75,"cssClass":"pl-s1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"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":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-s1"}],[{"start":8,"end":30,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":16,"end":22,"cssClass":"pl-s"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":40,"cssClass":"pl-s1"},{"start":42,"end":50,"cssClass":"pl-s"},{"start":52,"end":56,"cssClass":"pl-s1"},{"start":57,"end":64,"cssClass":"pl-s1"}],[],[{"start":4,"end":75,"cssClass":"pl-c"}],[{"start":4,"end":20,"cssClass":"pl-c"}],[{"start":4,"end":75,"cssClass":"pl-c"}],[],[{"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":65,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":36,"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":8,"end":30,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":24,"cssClass":"pl-s1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"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":8,"end":35,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":31,"cssClass":"pl-s1"}],[],[{"start":4,"end":18,"cssClass":"pl-en"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":18,"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":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":42,"cssClass":"pl-v"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":29,"cssClass":"pl-v"},{"start":30,"end":35,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"},{"start":17,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-c1"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":28,"cssClass":"pl-v"}],[{"start":16,"end":97,"cssClass":"pl-s"},{"start":55,"end":72,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-kos"},{"start":56,"end":60,"cssClass":"pl-s1"},{"start":61,"end":71,"cssClass":"pl-s1"},{"start":71,"end":72,"cssClass":"pl-kos"},{"start":78,"end":96,"cssClass":"pl-s1"},{"start":78,"end":79,"cssClass":"pl-kos"},{"start":79,"end":84,"cssClass":"pl-s1"},{"start":85,"end":95,"cssClass":"pl-s1"},{"start":95,"end":96,"cssClass":"pl-kos"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-en"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":28,"cssClass":"pl-v"}],[{"start":16,"end":95,"cssClass":"pl-s"},{"start":58,"end":76,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-kos"},{"start":59,"end":62,"cssClass":"pl-en"},{"start":63,"end":67,"cssClass":"pl-s1"},{"start":68,"end":74,"cssClass":"pl-s1"},{"start":75,"end":76,"cssClass":"pl-kos"},{"start":82,"end":94,"cssClass":"pl-s1"},{"start":82,"end":83,"cssClass":"pl-kos"},{"start":83,"end":86,"cssClass":"pl-en"},{"start":87,"end":92,"cssClass":"pl-s1"},{"start":93,"end":94,"cssClass":"pl-kos"}],[],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":32,"cssClass":"pl-s1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"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":8,"end":44,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":27,"cssClass":"pl-s1"}],[],[{"start":4,"end":18,"cssClass":"pl-en"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":18,"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":37,"cssClass":"pl-s"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":20,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":31,"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":29,"cssClass":"pl-s1"}],[{"start":8,"end":49,"cssClass":"pl-s"}],[{"start":8,"end":59,"cssClass":"pl-c"}],[{"start":8,"end":77,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-en"},{"start":22,"end":25,"cssClass":"pl-s1"},{"start":28,"end":31,"cssClass":"pl-s1"},{"start":33,"end":35,"cssClass":"pl-s1"},{"start":36,"end":43,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":19,"end":22,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-s1"},{"start":41,"end":44,"cssClass":"pl-s1"},{"start":47,"end":51,"cssClass":"pl-s1"},{"start":52,"end":58,"cssClass":"pl-s1"},{"start":59,"end":62,"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":29,"cssClass":"pl-s1"},{"start":31,"end":36,"cssClass":"pl-s1"}],[{"start":8,"end":35,"cssClass":"pl-s"}],[{"start":8,"end":48,"cssClass":"pl-c"}],[{"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":46,"cssClass":"pl-v"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":33,"cssClass":"pl-v"},{"start":34,"end":39,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":19,"cssClass":"pl-s1"},{"start":20,"end":23,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":32,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":19,"cssClass":"pl-s1"},{"start":20,"end":23,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":32,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"}],[],[{"start":4,"end":75,"cssClass":"pl-c"}],[{"start":4,"end":22,"cssClass":"pl-c"}],[{"start":4,"end":75,"cssClass":"pl-c"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"},{"start":18,"end":22,"cssClass":"pl-s1"}],[{"start":8,"end":62,"cssClass":"pl-c"}],[{"start":8,"end":59,"cssClass":"pl-c"}],[{"start":8,"end":49,"cssClass":"pl-c"}],[{"start":8,"end":27,"cssClass":"pl-c"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":18,"cssClass":"pl-s1"},{"start":19,"end":28,"cssClass":"pl-en"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":25,"cssClass":"pl-s1"},{"start":26,"end":33,"cssClass":"pl-s1"},{"start":34,"end":38,"cssClass":"pl-en"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"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":55,"cssClass":"pl-c"}],[{"start":8,"end":65,"cssClass":"pl-c"}],[{"start":8,"end":32,"cssClass":"pl-c"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":18,"cssClass":"pl-s1"},{"start":19,"end":23,"cssClass":"pl-en"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":27,"cssClass":"pl-s1"},{"start":28,"end":34,"cssClass":"pl-s1"},{"start":35,"end":43,"cssClass":"pl-en"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":28,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"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":8,"end":54,"cssClass":"pl-c"}],[{"start":8,"end":30,"cssClass":"pl-c"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":18,"cssClass":"pl-s1"},{"start":19,"end":23,"cssClass":"pl-en"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":25,"cssClass":"pl-s1"},{"start":26,"end":33,"cssClass":"pl-s1"},{"start":34,"end":38,"cssClass":"pl-en"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-s1"}],[],[{"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":34,"cssClass":"pl-v"},{"start":36,"end":41,"cssClass":"pl-s1"},{"start":43,"end":47,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-c1"},{"start":55,"end":56,"cssClass":"pl-c1"},{"start":57,"end":61,"cssClass":"pl-c1"},{"start":63,"end":68,"cssClass":"pl-s1"},{"start":70,"end":74,"cssClass":"pl-s1"},{"start":75,"end":76,"cssClass":"pl-c1"},{"start":77,"end":82,"cssClass":"pl-c1"}],[{"start":6,"end":8,"cssClass":"pl-c1"},{"start":9,"end":22,"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":24,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":27,"cssClass":"pl-en"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":35,"end":42,"cssClass":"pl-s"},{"start":44,"end":48,"cssClass":"pl-c1"}],[],[{"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":46,"cssClass":"pl-v"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":33,"cssClass":"pl-v"},{"start":34,"end":39,"cssClass":"pl-s1"}],[],[{"start":8,"end":57,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":22,"cssClass":"pl-s1"},{"start":23,"end":30,"cssClass":"pl-en"},{"start":31,"end":36,"cssClass":"pl-s1"},{"start":37,"end":46,"cssClass":"pl-s1"},{"start":48,"end":53,"cssClass":"pl-s1"},{"start":55,"end":60,"cssClass":"pl-s1"}],[],[{"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":14,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-s1"},{"start":38,"end":43,"cssClass":"pl-s1"},{"start":46,"end":50,"cssClass":"pl-s1"},{"start":51,"end":57,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-s1"},{"start":63,"end":68,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":14,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-s1"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-s1"},{"start":12,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-s1"},{"start":33,"end":38,"cssClass":"pl-s1"},{"start":39,"end":45,"cssClass":"pl-s1"},{"start":46,"end":47,"cssClass":"pl-s1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":27,"end":37,"cssClass":"pl-s1"}],[],[{"start":8,"end":66,"cssClass":"pl-c"}],[{"start":8,"end":61,"cssClass":"pl-c"}],[{"start":8,"end":62,"cssClass":"pl-c"}],[{"start":8,"end":76,"cssClass":"pl-c"}],[{"start":8,"end":101,"cssClass":"pl-c"}],[{"start":8,"end":101,"cssClass":"pl-c"}],[{"start":8,"end":73,"cssClass":"pl-c"}],[],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":22,"cssClass":"pl-s1"},{"start":23,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-s1"},{"start":49,"end":54,"cssClass":"pl-s1"},{"start":55,"end":61,"cssClass":"pl-s1"},{"start":62,"end":68,"cssClass":"pl-s1"},{"start":70,"end":77,"cssClass":"pl-en"},{"start":78,"end":79,"cssClass":"pl-c1"},{"start":79,"end":80,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"}],[{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":30,"cssClass":"pl-en"},{"start":31,"end":33,"cssClass":"pl-s1"},{"start":37,"end":39,"cssClass":"pl-s1"},{"start":40,"end":47,"cssClass":"pl-s1"},{"start":50,"end":52,"cssClass":"pl-s1"},{"start":54,"end":61,"cssClass":"pl-en"},{"start":63,"end":64,"cssClass":"pl-c1"},{"start":64,"end":65,"cssClass":"pl-c1"},{"start":67,"end":77,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":30,"cssClass":"pl-en"},{"start":31,"end":33,"cssClass":"pl-s1"},{"start":37,"end":39,"cssClass":"pl-s1"},{"start":40,"end":47,"cssClass":"pl-s1"},{"start":50,"end":52,"cssClass":"pl-s1"},{"start":54,"end":61,"cssClass":"pl-en"},{"start":63,"end":64,"cssClass":"pl-c1"},{"start":64,"end":65,"cssClass":"pl-c1"},{"start":67,"end":77,"cssClass":"pl-s1"}],[{"start":8,"end":73,"cssClass":"pl-c"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":29,"cssClass":"pl-s1"},{"start":30,"end":33,"cssClass":"pl-en"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":42,"end":47,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":48,"end":50,"cssClass":"pl-s1"},{"start":51,"end":56,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-s1"},{"start":11,"end":12,"cssClass":"pl-c1"},{"start":13,"end":15,"cssClass":"pl-s1"},{"start":16,"end":27,"cssClass":"pl-en"},{"start":28,"end":30,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-s1"},{"start":37,"end":44,"cssClass":"pl-s1"},{"start":47,"end":49,"cssClass":"pl-s1"},{"start":51,"end":58,"cssClass":"pl-en"},{"start":60,"end":61,"cssClass":"pl-c1"},{"start":61,"end":62,"cssClass":"pl-c1"},{"start":64,"end":74,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-s1"},{"start":11,"end":12,"cssClass":"pl-c1"},{"start":13,"end":15,"cssClass":"pl-s1"},{"start":16,"end":27,"cssClass":"pl-en"},{"start":28,"end":30,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-s1"},{"start":37,"end":44,"cssClass":"pl-s1"},{"start":47,"end":49,"cssClass":"pl-s1"},{"start":51,"end":58,"cssClass":"pl-en"},{"start":60,"end":61,"cssClass":"pl-c1"},{"start":61,"end":62,"cssClass":"pl-c1"},{"start":64,"end":74,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-c1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":34,"cssClass":"pl-v"},{"start":35,"end":44,"cssClass":"pl-v"},{"start":45,"end":47,"cssClass":"pl-s1"},{"start":49,"end":51,"cssClass":"pl-s1"},{"start":53,"end":58,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":19,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-en"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":38,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-s1"},{"start":42,"end":47,"cssClass":"pl-s1"},{"start":48,"end":52,"cssClass":"pl-s1"},{"start":54,"end":58,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-c1"},{"start":59,"end":60,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":19,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-en"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":38,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-s1"},{"start":42,"end":47,"cssClass":"pl-s1"},{"start":48,"end":52,"cssClass":"pl-s1"},{"start":54,"end":58,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-c1"},{"start":59,"end":60,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-s1"},{"start":18,"end":23,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":29,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-s1"},{"start":18,"end":23,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":29,"cssClass":"pl-s1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":34,"cssClass":"pl-v"},{"start":35,"end":44,"cssClass":"pl-v"},{"start":45,"end":47,"cssClass":"pl-s1"},{"start":49,"end":51,"cssClass":"pl-s1"},{"start":53,"end":58,"cssClass":"pl-s1"}],[],[{"start":8,"end":60,"cssClass":"pl-c"}],[{"start":8,"end":55,"cssClass":"pl-c"}],[{"start":8,"end":68,"cssClass":"pl-c"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":19,"cssClass":"pl-s1"},{"start":20,"end":28,"cssClass":"pl-s1"},{"start":29,"end":34,"cssClass":"pl-en"},{"start":35,"end":39,"cssClass":"pl-s1"},{"start":40,"end":46,"cssClass":"pl-s1"},{"start":48,"end":53,"cssClass":"pl-s1"},{"start":54,"end":60,"cssClass":"pl-s1"},{"start":62,"end":67,"cssClass":"pl-en"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":39,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-s1"},{"start":49,"end":53,"cssClass":"pl-s1"},{"start":53,"end":54,"cssClass":"pl-c1"},{"start":54,"end":59,"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":41,"cssClass":"pl-v"},{"start":43,"end":45,"cssClass":"pl-c1"},{"start":46,"end":59,"cssClass":"pl-v"}],[{"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":46,"cssClass":"pl-v"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":33,"cssClass":"pl-v"},{"start":34,"end":39,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":27,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":34,"end":39,"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":41,"cssClass":"pl-v"},{"start":43,"end":45,"cssClass":"pl-c1"},{"start":46,"end":59,"cssClass":"pl-v"}],[{"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":46,"cssClass":"pl-v"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":33,"cssClass":"pl-v"},{"start":34,"end":39,"cssClass":"pl-s1"}],[{"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":39,"cssClass":"pl-s1"}],[],[{"start":4,"end":16,"cssClass":"pl-en"},{"start":5,"end":16,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":15,"cssClass":"pl-en"},{"start":16,"end":19,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":18,"cssClass":"pl-s1"},{"start":19,"end":25,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-en"},{"start":33,"end":34,"cssClass":"pl-s1"},{"start":35,"end":41,"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":24,"cssClass":"pl-en"},{"start":25,"end":26,"cssClass":"pl-s1"},{"start":27,"end":33,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":35,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-s1"},{"start":45,"end":63,"cssClass":"pl-s1"},{"start":63,"end":64,"cssClass":"pl-c1"},{"start":64,"end":68,"cssClass":"pl-c1"},{"start":70,"end":74,"cssClass":"pl-s1"},{"start":74,"end":75,"cssClass":"pl-c1"},{"start":75,"end":80,"cssClass":"pl-c1"}],[],[{"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":26,"end":31,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":32,"end":36,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":27,"cssClass":"pl-en"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":35,"end":42,"cssClass":"pl-s"},{"start":44,"end":48,"cssClass":"pl-c1"}],[],[{"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":46,"cssClass":"pl-v"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":33,"cssClass":"pl-v"},{"start":34,"end":39,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":22,"cssClass":"pl-s1"},{"start":23,"end":36,"cssClass":"pl-en"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":43,"end":52,"cssClass":"pl-s1"},{"start":54,"end":59,"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":28,"cssClass":"pl-s1"},{"start":29,"end":33,"cssClass":"pl-en"},{"start":34,"end":39,"cssClass":"pl-s1"},{"start":40,"end":46,"cssClass":"pl-s1"},{"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-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":19,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":47,"end":53,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":35,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-s1"},{"start":45,"end":63,"cssClass":"pl-s1"},{"start":63,"end":64,"cssClass":"pl-c1"},{"start":64,"end":68,"cssClass":"pl-c1"},{"start":70,"end":74,"cssClass":"pl-s1"},{"start":74,"end":75,"cssClass":"pl-c1"},{"start":75,"end":80,"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":29,"cssClass":"pl-s1"}],[{"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":34,"end":40,"cssClass":"pl-v"},{"start":42,"end":61,"cssClass":"pl-v"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":93,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":21,"cssClass":"pl-c1"}],[{"start":12,"end":56,"cssClass":"pl-c"}],[{"start":12,"end":78,"cssClass":"pl-c"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":30,"cssClass":"pl-v"},{"start":31,"end":46,"cssClass":"pl-en"}],[{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-en"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":44,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":53,"end":57,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-en"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":44,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":53,"end":57,"cssClass":"pl-s1"}],[],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":23,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-en"},{"start":31,"end":33,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":32,"cssClass":"pl-v"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-s1"},{"start":49,"end":67,"cssClass":"pl-s1"},{"start":67,"end":68,"cssClass":"pl-c1"},{"start":68,"end":72,"cssClass":"pl-c1"},{"start":74,"end":78,"cssClass":"pl-s1"},{"start":78,"end":79,"cssClass":"pl-c1"},{"start":79,"end":84,"cssClass":"pl-c1"}],[{"start":8,"end":45,"cssClass":"pl-c"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-en"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":45,"end":51,"cssClass":"pl-s1"},{"start":53,"end":71,"cssClass":"pl-s1"},{"start":71,"end":72,"cssClass":"pl-c1"},{"start":72,"end":76,"cssClass":"pl-c1"},{"start":78,"end":82,"cssClass":"pl-s1"},{"start":82,"end":83,"cssClass":"pl-c1"},{"start":83,"end":88,"cssClass":"pl-c1"}],[],[],[{"start":4,"end":75,"cssClass":"pl-c"}],[{"start":4,"end":21,"cssClass":"pl-c"}],[{"start":4,"end":75,"cssClass":"pl-c"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":31,"end":36,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-c1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":46,"end":50,"cssClass":"pl-c1"},{"start":52,"end":56,"cssClass":"pl-s1"},{"start":58,"end":63,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-c1"},{"start":66,"end":70,"cssClass":"pl-c1"},{"start":71,"end":72,"cssClass":"pl-c1"},{"start":73,"end":77,"cssClass":"pl-c1"},{"start":79,"end":81,"cssClass":"pl-c1"},{"start":82,"end":86,"cssClass":"pl-s1"}],[{"start":8,"end":55,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":64,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":64,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":67,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":35,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"}],[],[{"start":8,"end":30,"cssClass":"pl-c"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":18,"cssClass":"pl-s1"},{"start":19,"end":26,"cssClass":"pl-en"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":39,"cssClass":"pl-en"},{"start":43,"end":51,"cssClass":"pl-en"}],[{"start":8,"end":42,"cssClass":"pl-c"}],[{"start":8,"end":14,"cssClass":"pl-k"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":25,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-c1"},{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":26,"cssClass":"pl-en"},{"start":27,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":42,"end":45,"cssClass":"pl-c1"},{"start":47,"end":51,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-c1"},{"start":52,"end":56,"cssClass":"pl-s1"},{"start":58,"end":62,"cssClass":"pl-s1"},{"start":62,"end":63,"cssClass":"pl-c1"},{"start":63,"end":67,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-c1"},{"start":16,"end":19,"cssClass":"pl-c1"},{"start":20,"end":22,"cssClass":"pl-s1"},{"start":23,"end":26,"cssClass":"pl-en"},{"start":27,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-c1"},{"start":16,"end":19,"cssClass":"pl-c1"},{"start":20,"end":22,"cssClass":"pl-s1"},{"start":23,"end":26,"cssClass":"pl-en"},{"start":27,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"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":27,"cssClass":"pl-s1"},{"start":29,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":41,"cssClass":"pl-c1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":44,"end":48,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-s1"},{"start":56,"end":61,"cssClass":"pl-s1"},{"start":62,"end":63,"cssClass":"pl-c1"},{"start":64,"end":68,"cssClass":"pl-c1"},{"start":69,"end":70,"cssClass":"pl-c1"},{"start":71,"end":75,"cssClass":"pl-c1"},{"start":77,"end":79,"cssClass":"pl-c1"},{"start":80,"end":93,"cssClass":"pl-v"}],[{"start":8,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":64,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":64,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":65,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":35,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"}],[],[{"start":8,"end":38,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":38,"cssClass":"pl-s1"}],[],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":26,"cssClass":"pl-en"},{"start":27,"end":32,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-c1"},{"start":23,"end":30,"cssClass":"pl-en"},{"start":31,"end":36,"cssClass":"pl-s1"},{"start":38,"end":47,"cssClass":"pl-s"}],[{"start":20,"end":26,"cssClass":"pl-k"},{"start":27,"end":32,"cssClass":"pl-s1"}],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":34,"end":41,"cssClass":"pl-en"}],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":30,"cssClass":"pl-en"},{"start":31,"end":40,"cssClass":"pl-s1"},{"start":42,"end":44,"cssClass":"pl-k"},{"start":45,"end":54,"cssClass":"pl-s1"},{"start":55,"end":64,"cssClass":"pl-s1"},{"start":65,"end":69,"cssClass":"pl-k"},{"start":70,"end":72,"cssClass":"pl-s1"},{"start":73,"end":76,"cssClass":"pl-s1"}],[],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":25,"cssClass":"pl-s1"},{"start":26,"end":37,"cssClass":"pl-en"}],[{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":26,"cssClass":"pl-en"},{"start":28,"end":38,"cssClass":"pl-en"},{"start":39,"end":40,"cssClass":"pl-s1"},{"start":42,"end":45,"cssClass":"pl-k"},{"start":46,"end":47,"cssClass":"pl-s1"},{"start":48,"end":50,"cssClass":"pl-c1"},{"start":51,"end":55,"cssClass":"pl-s1"},{"start":56,"end":62,"cssClass":"pl-s1"},{"start":65,"end":66,"cssClass":"pl-c1"},{"start":68,"end":72,"cssClass":"pl-s1"},{"start":72,"end":73,"cssClass":"pl-c1"},{"start":73,"end":77,"cssClass":"pl-s1"},{"start":79,"end":83,"cssClass":"pl-s1"},{"start":83,"end":84,"cssClass":"pl-c1"},{"start":84,"end":88,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":25,"cssClass":"pl-s1"},{"start":26,"end":37,"cssClass":"pl-en"},{"start":38,"end":40,"cssClass":"pl-s1"},{"start":41,"end":48,"cssClass":"pl-en"},{"start":49,"end":53,"cssClass":"pl-s1"},{"start":54,"end":60,"cssClass":"pl-s1"},{"start":62,"end":63,"cssClass":"pl-c1"},{"start":65,"end":69,"cssClass":"pl-s1"},{"start":69,"end":70,"cssClass":"pl-c1"},{"start":70,"end":74,"cssClass":"pl-s1"},{"start":76,"end":80,"cssClass":"pl-s1"},{"start":80,"end":81,"cssClass":"pl-c1"},{"start":81,"end":85,"cssClass":"pl-s1"}],[{"start":8,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-s1"},{"start":33,"end":41,"cssClass":"pl-s1"}],[{"start":8,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-s1"},{"start":33,"end":41,"cssClass":"pl-s1"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-s1"},{"start":32,"end":40,"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":27,"cssClass":"pl-en"},{"start":28,"end":36,"cssClass":"pl-s1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":43,"end":44,"cssClass":"pl-c1"},{"start":46,"end":52,"cssClass":"pl-en"},{"start":53,"end":55,"cssClass":"pl-s1"},{"start":56,"end":62,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-c1"},{"start":66,"end":69,"cssClass":"pl-c1"},{"start":70,"end":71,"cssClass":"pl-c1"},{"start":72,"end":74,"cssClass":"pl-s1"},{"start":75,"end":83,"cssClass":"pl-en"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":27,"end":28,"cssClass":"pl-c1"}],[],[{"start":8,"end":15,"cssClass":"pl-s1"},{"start":17,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":44,"cssClass":"pl-en"},{"start":45,"end":50,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":13,"cssClass":"pl-s1"},{"start":14,"end":17,"cssClass":"pl-en"},{"start":18,"end":26,"cssClass":"pl-s1"},{"start":28,"end":31,"cssClass":"pl-c1"},{"start":32,"end":39,"cssClass":"pl-s1"},{"start":40,"end":45,"cssClass":"pl-s1"},{"start":46,"end":47,"cssClass":"pl-c1"},{"start":49,"end":51,"cssClass":"pl-c1"},{"start":52,"end":57,"cssClass":"pl-s1"},{"start":58,"end":63,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-c1"}],[{"start":12,"end":52,"cssClass":"pl-c"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-en"}],[],[{"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":26,"end":33,"cssClass":"pl-s1"},{"start":34,"end":39,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":44,"end":49,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-s1"},{"start":55,"end":61,"cssClass":"pl-s1"},{"start":62,"end":67,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-s1"},{"start":11,"end":14,"cssClass":"pl-s1"},{"start":15,"end":17,"cssClass":"pl-en"},{"start":18,"end":24,"cssClass":"pl-s1"},{"start":26,"end":34,"cssClass":"pl-s1"},{"start":36,"end":45,"cssClass":"pl-s1"}],[{"start":8,"end":38,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"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":30,"cssClass":"pl-en"}],[{"start":17,"end":19,"cssClass":"pl-s1"},{"start":20,"end":27,"cssClass":"pl-en"},{"start":28,"end":38,"cssClass":"pl-en"},{"start":39,"end":44,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-c1"},{"start":55,"end":59,"cssClass":"pl-s1"},{"start":61,"end":65,"cssClass":"pl-s1"},{"start":65,"end":66,"cssClass":"pl-c1"},{"start":66,"end":70,"cssClass":"pl-s1"},{"start":72,"end":75,"cssClass":"pl-k"},{"start":76,"end":81,"cssClass":"pl-s1"},{"start":82,"end":84,"cssClass":"pl-c1"},{"start":85,"end":91,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":24,"cssClass":"pl-s1"},{"start":25,"end":32,"cssClass":"pl-en"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":44,"end":48,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":49,"end":53,"cssClass":"pl-s1"},{"start":55,"end":59,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-c1"},{"start":60,"end":64,"cssClass":"pl-s1"}],[{"start":8,"end":52,"cssClass":"pl-c"}],[{"start":8,"end":74,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":13,"cssClass":"pl-s1"},{"start":14,"end":17,"cssClass":"pl-en"},{"start":18,"end":25,"cssClass":"pl-s1"}],[{"start":12,"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":27,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":44,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":53,"end":57,"cssClass":"pl-s1"}],[{"start":12,"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":27,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":44,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":53,"end":57,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":23,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-en"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":36,"end":41,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":53,"cssClass":"pl-s1"},{"start":54,"end":59,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":25,"cssClass":"pl-s1"},{"start":26,"end":37,"cssClass":"pl-en"},{"start":38,"end":45,"cssClass":"pl-s1"}],[{"start":12,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":38,"cssClass":"pl-s1"},{"start":39,"end":47,"cssClass":"pl-s1"}],[{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":41,"cssClass":"pl-s1"}],[{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":41,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":36,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"}],[{"start":12,"end":21,"cssClass":"pl-v"},{"start":22,"end":37,"cssClass":"pl-en"},{"start":38,"end":39,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-s1"},{"start":45,"end":51,"cssClass":"pl-s1"},{"start":53,"end":71,"cssClass":"pl-s1"},{"start":71,"end":72,"cssClass":"pl-c1"},{"start":72,"end":76,"cssClass":"pl-c1"},{"start":78,"end":82,"cssClass":"pl-s1"},{"start":82,"end":83,"cssClass":"pl-c1"},{"start":83,"end":88,"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":22,"end":28,"cssClass":"pl-s1"},{"start":30,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":42,"cssClass":"pl-c1"}],[{"start":8,"end":60,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":44,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":19,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":63,"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":30,"cssClass":"pl-s"}],[{"start":0,"end":57,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":20,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":18,"cssClass":"pl-s"}],[{"start":0,"end":47,"cssClass":"pl-s"}],[{"start":0,"end":37,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":31,"cssClass":"pl-s"}],[{"start":0,"end":45,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":43,"cssClass":"pl-s"}],[{"start":0,"end":45,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":42,"cssClass":"pl-s"}],[{"start":0,"end":34,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":27,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":25,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":61,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":53,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":29,"cssClass":"pl-s1"},{"start":30,"end":37,"cssClass":"pl-en"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":50,"cssClass":"pl-s1"},{"start":52,"end":56,"cssClass":"pl-s1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":57,"end":65,"cssClass":"pl-s"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":26,"end":37,"cssClass":"pl-s1"},{"start":38,"end":54,"cssClass":"pl-s1"}],[{"start":8,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":36,"cssClass":"pl-s1"},{"start":37,"end":44,"cssClass":"pl-en"},{"start":45,"end":51,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-c1"},{"start":52,"end":58,"cssClass":"pl-s1"},{"start":60,"end":65,"cssClass":"pl-s1"},{"start":65,"end":66,"cssClass":"pl-c1"},{"start":66,"end":71,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":31,"cssClass":"pl-s1"},{"start":32,"end":47,"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":25,"cssClass":"pl-s1"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":39,"cssClass":"pl-c1"}],[{"start":8,"end":38,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":19,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":60,"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":30,"cssClass":"pl-s"}],[{"start":0,"end":57,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":20,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":18,"cssClass":"pl-s"}],[{"start":0,"end":47,"cssClass":"pl-s"}],[{"start":0,"end":37,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":45,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":40,"cssClass":"pl-s"}],[{"start":0,"end":45,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":39,"cssClass":"pl-s"}],[{"start":0,"end":34,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":27,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":25,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":61,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":22,"cssClass":"pl-s1"},{"start":23,"end":30,"cssClass":"pl-en"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":38,"end":44,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":45,"cssClass":"pl-s1"},{"start":46,"end":53,"cssClass":"pl-s1"},{"start":56,"end":60,"cssClass":"pl-s1"},{"start":61,"end":68,"cssClass":"pl-s1"},{"start":69,"end":76,"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":22,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":37,"cssClass":"pl-c1"},{"start":39,"end":41,"cssClass":"pl-c1"},{"start":42,"end":55,"cssClass":"pl-v"}],[{"start":8,"end":91,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":95,"cssClass":"pl-s"}],[{"start":0,"end":95,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":87,"cssClass":"pl-s"}],[{"start":0,"end":57,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":96,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":67,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":29,"cssClass":"pl-s1"},{"start":30,"end":33,"cssClass":"pl-en"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":45,"cssClass":"pl-s1"},{"start":46,"end":50,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":54,"end":57,"cssClass":"pl-s1"}],[{"start":8,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":29,"cssClass":"pl-s1"},{"start":30,"end":33,"cssClass":"pl-en"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":45,"cssClass":"pl-s1"},{"start":46,"end":50,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":54,"end":57,"cssClass":"pl-s1"}],[],[{"start":8,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":30,"cssClass":"pl-s1"},{"start":31,"end":41,"cssClass":"pl-en"},{"start":42,"end":58,"cssClass":"pl-s1"},{"start":60,"end":76,"cssClass":"pl-s1"}],[{"start":8,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":41,"cssClass":"pl-s1"},{"start":42,"end":59,"cssClass":"pl-s1"}],[{"start":8,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":41,"cssClass":"pl-s1"},{"start":42,"end":59,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-en"},{"start":15,"end":29,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":38,"end":61,"cssClass":"pl-c"}],[{"start":12,"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":27,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":44,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":53,"end":57,"cssClass":"pl-s1"}],[{"start":12,"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":27,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":44,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":53,"end":57,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":23,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-en"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":36,"end":41,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":42,"end":49,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":23,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-en"},{"start":30,"end":32,"cssClass":"pl-s1"},{"start":33,"end":46,"cssClass":"pl-en"},{"start":47,"end":64,"cssClass":"pl-s1"},{"start":67,"end":72,"cssClass":"pl-s1"},{"start":72,"end":73,"cssClass":"pl-c1"},{"start":73,"end":80,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":38,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":53,"cssClass":"pl-s1"},{"start":54,"end":58,"cssClass":"pl-s1"},{"start":59,"end":75,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":38,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":53,"cssClass":"pl-s1"},{"start":54,"end":58,"cssClass":"pl-s1"},{"start":59,"end":75,"cssClass":"pl-s1"}],[],[{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-s1"},{"start":30,"end":47,"cssClass":"pl-s1"}],[{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-s1"},{"start":30,"end":47,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"}],[{"start":12,"end":21,"cssClass":"pl-v"},{"start":22,"end":37,"cssClass":"pl-en"},{"start":38,"end":39,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-s1"},{"start":45,"end":51,"cssClass":"pl-s1"},{"start":53,"end":71,"cssClass":"pl-s1"},{"start":71,"end":72,"cssClass":"pl-c1"},{"start":72,"end":76,"cssClass":"pl-c1"},{"start":78,"end":82,"cssClass":"pl-s1"},{"start":82,"end":83,"cssClass":"pl-c1"},{"start":83,"end":88,"cssClass":"pl-c1"}],[],[],[{"start":4,"end":17,"cssClass":"pl-en"},{"start":5,"end":17,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":11,"cssClass":"pl-en"},{"start":12,"end":15,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":35,"cssClass":"pl-v"},{"start":38,"end":40,"cssClass":"pl-c1"},{"start":41,"end":54,"cssClass":"pl-v"}],[{"start":8,"end":33,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":87,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":64,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":52,"cssClass":"pl-s"}],[{"start":0,"end":88,"cssClass":"pl-s"}],[{"start":0,"end":96,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-en"},{"start":15,"end":18,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":24,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":51,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":29,"cssClass":"pl-en"},{"start":30,"end":32,"cssClass":"pl-s1"},{"start":34,"end":47,"cssClass":"pl-v"},{"start":49,"end":52,"cssClass":"pl-k"},{"start":53,"end":55,"cssClass":"pl-s1"},{"start":56,"end":58,"cssClass":"pl-c1"},{"start":59,"end":62,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":87,"cssClass":"pl-s"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":19,"end":28,"cssClass":"pl-s1"},{"start":29,"end":42,"cssClass":"pl-en"},{"start":43,"end":48,"cssClass":"pl-s1"},{"start":49,"end":58,"cssClass":"pl-s1"}],[],[{"start":8,"end":9,"cssClass":"pl-s1"},{"start":10,"end":11,"cssClass":"pl-c1"},{"start":12,"end":14,"cssClass":"pl-s1"},{"start":15,"end":21,"cssClass":"pl-en"},{"start":23,"end":25,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-s1"},{"start":35,"end":38,"cssClass":"pl-k"},{"start":39,"end":41,"cssClass":"pl-s1"},{"start":42,"end":44,"cssClass":"pl-c1"},{"start":45,"end":48,"cssClass":"pl-s1"}],[{"start":8,"end":9,"cssClass":"pl-s1"},{"start":10,"end":11,"cssClass":"pl-c1"},{"start":12,"end":14,"cssClass":"pl-s1"},{"start":15,"end":21,"cssClass":"pl-en"},{"start":23,"end":25,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-s1"},{"start":35,"end":38,"cssClass":"pl-k"},{"start":39,"end":41,"cssClass":"pl-s1"},{"start":42,"end":44,"cssClass":"pl-c1"},{"start":45,"end":48,"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":25,"cssClass":"pl-en"},{"start":27,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-s1"},{"start":44,"end":47,"cssClass":"pl-k"},{"start":48,"end":50,"cssClass":"pl-s1"},{"start":51,"end":53,"cssClass":"pl-c1"},{"start":54,"end":57,"cssClass":"pl-s1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":30,"cssClass":"pl-v"},{"start":31,"end":40,"cssClass":"pl-v"},{"start":41,"end":42,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-s1"},{"start":47,"end":52,"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":26,"cssClass":"pl-en"},{"start":28,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":41,"cssClass":"pl-k"},{"start":42,"end":44,"cssClass":"pl-s1"},{"start":45,"end":47,"cssClass":"pl-c1"},{"start":48,"end":51,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":39,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-s1"},{"start":49,"end":67,"cssClass":"pl-s1"},{"start":67,"end":68,"cssClass":"pl-c1"},{"start":68,"end":72,"cssClass":"pl-c1"},{"start":74,"end":78,"cssClass":"pl-s1"},{"start":78,"end":79,"cssClass":"pl-c1"},{"start":79,"end":84,"cssClass":"pl-c1"}],[],[{"start":4,"end":75,"cssClass":"pl-c"}],[{"start":4,"end":28,"cssClass":"pl-c"}],[{"start":4,"end":75,"cssClass":"pl-c"}],[],[{"start":4,"end":17,"cssClass":"pl-en"},{"start":5,"end":17,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":21,"cssClass":"pl-en"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":13,"end":21,"cssClass":"pl-v"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":29,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":41,"cssClass":"pl-c1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":44,"end":48,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-s1"},{"start":56,"end":61,"cssClass":"pl-s1"},{"start":62,"end":63,"cssClass":"pl-c1"},{"start":64,"end":68,"cssClass":"pl-c1"},{"start":69,"end":70,"cssClass":"pl-c1"},{"start":71,"end":75,"cssClass":"pl-c1"}],[{"start":6,"end":8,"cssClass":"pl-c1"},{"start":9,"end":22,"cssClass":"pl-v"}],[{"start":8,"end":47,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":95,"cssClass":"pl-s"}],[{"start":0,"end":89,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":99,"cssClass":"pl-s"}],[{"start":0,"end":83,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":48,"cssClass":"pl-s"}],[{"start":0,"end":92,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":53,"cssClass":"pl-s"}],[{"start":0,"end":92,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":53,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":35,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":32,"cssClass":"pl-v"},{"start":33,"end":37,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":32,"cssClass":"pl-v"},{"start":33,"end":37,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":17,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":31,"end":39,"cssClass":"pl-v"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":26,"cssClass":"pl-v"},{"start":27,"end":30,"cssClass":"pl-s1"}],[],[{"start":8,"end":45,"cssClass":"pl-c"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":24,"cssClass":"pl-s1"},{"start":25,"end":35,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":74,"cssClass":"pl-s"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":35,"cssClass":"pl-en"},{"start":36,"end":39,"cssClass":"pl-s1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":46,"end":49,"cssClass":"pl-s1"}],[{"start":8,"end":96,"cssClass":"pl-c"}],[{"start":8,"end":21,"cssClass":"pl-c"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":30,"cssClass":"pl-v"},{"start":31,"end":40,"cssClass":"pl-v"},{"start":41,"end":50,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-s1"},{"start":54,"end":63,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-s1"},{"start":67,"end":76,"cssClass":"pl-s1"},{"start":77,"end":83,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":39,"cssClass":"pl-s1"},{"start":41,"end":50,"cssClass":"pl-s1"},{"start":51,"end":57,"cssClass":"pl-s1"},{"start":59,"end":77,"cssClass":"pl-s1"},{"start":77,"end":78,"cssClass":"pl-c1"},{"start":78,"end":82,"cssClass":"pl-c1"},{"start":84,"end":88,"cssClass":"pl-s1"},{"start":88,"end":89,"cssClass":"pl-c1"},{"start":89,"end":94,"cssClass":"pl-c1"}],[],[{"start":4,"end":17,"cssClass":"pl-en"},{"start":5,"end":17,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":13,"end":21,"cssClass":"pl-v"},{"start":22,"end":27,"cssClass":"pl-s1"},{"start":28,"end":31,"cssClass":"pl-s1"},{"start":33,"end":40,"cssClass":"pl-s1"},{"start":44,"end":49,"cssClass":"pl-s1"},{"start":51,"end":55,"cssClass":"pl-s1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":58,"end":65,"cssClass":"pl-s1"},{"start":67,"end":68,"cssClass":"pl-c1"},{"start":70,"end":80,"cssClass":"pl-s1"},{"start":82,"end":85,"cssClass":"pl-s1"},{"start":86,"end":87,"cssClass":"pl-c1"},{"start":88,"end":92,"cssClass":"pl-c1"}],[{"start":6,"end":8,"cssClass":"pl-c1"},{"start":9,"end":22,"cssClass":"pl-v"}],[{"start":8,"end":67,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":44,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":17,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":35,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":50,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":97,"cssClass":"pl-s"}],[{"start":0,"end":65,"cssClass":"pl-s"}],[{"start":0,"end":83,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":86,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":18,"cssClass":"pl-en"},{"start":19,"end":22,"cssClass":"pl-s1"},{"start":25,"end":59,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":22,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":24,"cssClass":"pl-c1"},{"start":25,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"}],[{"start":16,"end":102,"cssClass":"pl-s"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":23,"cssClass":"pl-c1"},{"start":24,"end":34,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":41,"cssClass":"pl-c1"},{"start":42,"end":46,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":30,"end":32,"cssClass":"pl-c1"},{"start":33,"end":43,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":33,"cssClass":"pl-v"}],[{"start":20,"end":96,"cssClass":"pl-s"},{"start":34,"end":46,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-kos"},{"start":35,"end":45,"cssClass":"pl-s1"},{"start":45,"end":46,"cssClass":"pl-kos"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-c1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":28,"cssClass":"pl-en"},{"start":29,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":36,"end":37,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":20,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":20,"end":23,"cssClass":"pl-s"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":36,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":22,"cssClass":"pl-en"},{"start":23,"end":26,"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":26,"end":30,"cssClass":"pl-s1"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":38,"end":43,"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":26,"end":30,"cssClass":"pl-s1"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":38,"end":55,"cssClass":"pl-s"},{"start":42,"end":54,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-kos"},{"start":43,"end":53,"cssClass":"pl-s1"},{"start":53,"end":54,"cssClass":"pl-kos"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":32,"cssClass":"pl-en"},{"start":33,"end":36,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"}],[],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":26,"cssClass":"pl-v"},{"start":27,"end":33,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":35,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-s1"},{"start":45,"end":49,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":50,"end":55,"cssClass":"pl-c1"}],[],[{"start":4,"end":17,"cssClass":"pl-en"},{"start":5,"end":17,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":24,"cssClass":"pl-en"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":13,"end":21,"cssClass":"pl-v"},{"start":22,"end":27,"cssClass":"pl-s1"},{"start":28,"end":31,"cssClass":"pl-s1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":41,"cssClass":"pl-s1"},{"start":44,"end":51,"cssClass":"pl-s1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":20,"end":23,"cssClass":"pl-s1"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-c1"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":29,"cssClass":"pl-s1"}],[{"start":6,"end":8,"cssClass":"pl-c1"},{"start":9,"end":22,"cssClass":"pl-v"}],[{"start":8,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":90,"cssClass":"pl-s"}],[{"start":0,"end":26,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":44,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":17,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":35,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":55,"cssClass":"pl-s"}],[{"start":0,"end":101,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":67,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":100,"cssClass":"pl-s"}],[{"start":0,"end":67,"cssClass":"pl-s"}],[{"start":0,"end":90,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":65,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":101,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":18,"cssClass":"pl-en"},{"start":19,"end":22,"cssClass":"pl-s1"},{"start":25,"end":59,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":22,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":19,"end":20,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":20,"end":23,"cssClass":"pl-s"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":36,"cssClass":"pl-s1"},{"start":38,"end":43,"cssClass":"pl-en"},{"start":44,"end":54,"cssClass":"pl-s1"},{"start":57,"end":58,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":22,"cssClass":"pl-en"},{"start":23,"end":26,"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":26,"end":30,"cssClass":"pl-s1"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":38,"end":43,"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":26,"end":30,"cssClass":"pl-s1"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":38,"end":55,"cssClass":"pl-s"},{"start":42,"end":54,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-kos"},{"start":43,"end":53,"cssClass":"pl-s1"},{"start":53,"end":54,"cssClass":"pl-kos"}],[],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":16,"end":22,"cssClass":"pl-s1"},{"start":24,"end":31,"cssClass":"pl-s1"},{"start":33,"end":38,"cssClass":"pl-s1"},{"start":40,"end":42,"cssClass":"pl-c1"},{"start":43,"end":52,"cssClass":"pl-en"},{"start":53,"end":56,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-s1"},{"start":25,"end":28,"cssClass":"pl-c1"},{"start":29,"end":32,"cssClass":"pl-en"},{"start":33,"end":40,"cssClass":"pl-s1"},{"start":42,"end":44,"cssClass":"pl-c1"},{"start":45,"end":48,"cssClass":"pl-en"},{"start":49,"end":52,"cssClass":"pl-en"},{"start":53,"end":60,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":33,"cssClass":"pl-v"},{"start":34,"end":65,"cssClass":"pl-s"}],[{"start":12,"end":83,"cssClass":"pl-c"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":21,"end":24,"cssClass":"pl-s"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":38,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":21,"cssClass":"pl-s1"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":35,"cssClass":"pl-en"},{"start":36,"end":42,"cssClass":"pl-s1"},{"start":44,"end":51,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":38,"cssClass":"pl-s1"}],[{"start":20,"end":25,"cssClass":"pl-k"},{"start":26,"end":37,"cssClass":"pl-v"}],[{"start":24,"end":104,"cssClass":"pl-s"},{"start":48,"end":60,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-kos"},{"start":49,"end":59,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-kos"},{"start":95,"end":102,"cssClass":"pl-s1"},{"start":95,"end":96,"cssClass":"pl-kos"},{"start":96,"end":101,"cssClass":"pl-s1"},{"start":101,"end":102,"cssClass":"pl-kos"}],[],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":37,"cssClass":"pl-s1"}],[],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":26,"cssClass":"pl-s"},{"start":27,"end":31,"cssClass":"pl-en"},{"start":32,"end":37,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":29,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":26,"cssClass":"pl-v"},{"start":27,"end":33,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":35,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-s1"},{"start":45,"end":49,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":50,"end":55,"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":22,"end":27,"cssClass":"pl-s1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":36,"end":41,"cssClass":"pl-c1"}],[{"start":8,"end":66,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":66,"cssClass":"pl-s"}],[{"start":0,"end":50,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":65,"cssClass":"pl-s"}],[{"start":0,"end":57,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":76,"cssClass":"pl-c"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":34,"cssClass":"pl-s1"},{"start":35,"end":44,"cssClass":"pl-en"},{"start":45,"end":50,"cssClass":"pl-s1"},{"start":50,"end":51,"cssClass":"pl-c1"},{"start":51,"end":55,"cssClass":"pl-c1"}],[{"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":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":31,"end":39,"cssClass":"pl-s"},{"start":41,"end":53,"cssClass":"pl-s1"},{"start":54,"end":59,"cssClass":"pl-s1"},{"start":63,"end":71,"cssClass":"pl-s"},{"start":73,"end":77,"cssClass":"pl-s1"},{"start":78,"end":84,"cssClass":"pl-s1"},{"start":85,"end":90,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":23,"cssClass":"pl-s"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":39,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":23,"cssClass":"pl-s"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":38,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":25,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":28,"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":24,"end":30,"cssClass":"pl-s1"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":39,"end":44,"cssClass":"pl-c1"},{"start":46,"end":48,"cssClass":"pl-c1"},{"start":49,"end":51,"cssClass":"pl-s1"},{"start":52,"end":59,"cssClass":"pl-s1"}],[{"start":8,"end":47,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":72,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":52,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"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":21,"cssClass":"pl-s1"},{"start":22,"end":33,"cssClass":"pl-en"},{"start":34,"end":40,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":41,"end":47,"cssClass":"pl-s1"}],[{"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-c1"}],[{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":23,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":24,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"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":49,"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":38,"cssClass":"pl-en"}],[],[{"start":4,"end":75,"cssClass":"pl-c"}],[{"start":4,"end":22,"cssClass":"pl-c"}],[{"start":4,"end":75,"cssClass":"pl-c"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"}],[{"start":8,"end":50,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":41,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[],[{"start":8,"end":13,"cssClass":"pl-k"},{"start":14,"end":27,"cssClass":"pl-v"},{"start":28,"end":42,"cssClass":"pl-v"}],[{"start":12,"end":65,"cssClass":"pl-s"}],[],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":24,"cssClass":"pl-en"},{"start":25,"end":29,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":75,"cssClass":"pl-s"},{"start":58,"end":73,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-kos"},{"start":59,"end":62,"cssClass":"pl-en"},{"start":63,"end":65,"cssClass":"pl-en"},{"start":66,"end":70,"cssClass":"pl-s1"},{"start":72,"end":73,"cssClass":"pl-kos"}],[],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":27,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":34,"end":37,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":32,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":40,"end":43,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":32,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":40,"end":50,"cssClass":"pl-en"},{"start":53,"end":56,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":31,"end":36,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":33,"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":32,"cssClass":"pl-s1"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":46,"cssClass":"pl-c1"}],[{"start":8,"end":51,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":33,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":64,"cssClass":"pl-s"}],[{"start":0,"end":43,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[],[{"start":8,"end":13,"cssClass":"pl-k"},{"start":14,"end":28,"cssClass":"pl-v"},{"start":29,"end":43,"cssClass":"pl-v"}],[{"start":12,"end":66,"cssClass":"pl-s"}],[],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":24,"cssClass":"pl-en"},{"start":25,"end":29,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":76,"cssClass":"pl-s"},{"start":59,"end":74,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-kos"},{"start":60,"end":63,"cssClass":"pl-en"},{"start":64,"end":66,"cssClass":"pl-en"},{"start":67,"end":71,"cssClass":"pl-s1"},{"start":73,"end":74,"cssClass":"pl-kos"}],[],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":27,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":34,"end":37,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":32,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":40,"end":43,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":41,"cssClass":"pl-s1"},{"start":43,"end":52,"cssClass":"pl-en"},{"start":53,"end":59,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":34,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":29,"cssClass":"pl-v"},{"start":30,"end":34,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":35,"end":45,"cssClass":"pl-s1"},{"start":47,"end":51,"cssClass":"pl-s1"},{"start":53,"end":55,"cssClass":"pl-c1"},{"start":56,"end":58,"cssClass":"pl-s1"},{"start":59,"end":66,"cssClass":"pl-v"}],[{"start":8,"end":66,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":100,"cssClass":"pl-s"}],[{"start":0,"end":42,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":93,"cssClass":"pl-s"}],[{"start":0,"end":40,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":92,"cssClass":"pl-s"}],[{"start":0,"end":97,"cssClass":"pl-s"}],[{"start":0,"end":88,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-s1"},{"start":27,"end":47,"cssClass":"pl-en"},{"start":48,"end":58,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":30,"end":40,"cssClass":"pl-s1"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":49,"end":54,"cssClass":"pl-c1"},{"start":56,"end":58,"cssClass":"pl-c1"},{"start":59,"end":63,"cssClass":"pl-s1"},{"start":64,"end":77,"cssClass":"pl-v"}],[{"start":8,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":93,"cssClass":"pl-s"}],[{"start":0,"end":54,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":38,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":44,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":59,"cssClass":"pl-s"}],[{"start":0,"end":60,"cssClass":"pl-s"}],[{"start":0,"end":60,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":88,"cssClass":"pl-s"}],[{"start":0,"end":42,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":28,"cssClass":"pl-s1"},{"start":29,"end":46,"cssClass":"pl-en"},{"start":47,"end":57,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":28,"end":31,"cssClass":"pl-k"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":38,"end":40,"cssClass":"pl-c1"},{"start":41,"end":47,"cssClass":"pl-s1"},{"start":48,"end":54,"cssClass":"pl-en"}],[],[{"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":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":41,"cssClass":"pl-v"}],[{"start":8,"end":67,"cssClass":"pl-s"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":17,"cssClass":"pl-en"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":33,"end":52,"cssClass":"pl-v"}],[{"start":16,"end":19,"cssClass":"pl-s1"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":29,"end":39,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-v"},{"start":29,"end":32,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":25,"cssClass":"pl-en"}],[{"start":8,"end":12,"cssClass":"pl-s1"}],[{"start":8,"end":18,"cssClass":"pl-s1"}],[{"start":12,"end":19,"cssClass":"pl-v"},{"start":20,"end":29,"cssClass":"pl-v"},{"start":31,"end":38,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":60,"cssClass":"pl-v"}],[{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":22,"cssClass":"pl-v"},{"start":23,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":52,"cssClass":"pl-v"}],[],[{"start":8,"end":15,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":29,"cssClass":"pl-c1"}],[{"start":6,"end":8,"cssClass":"pl-c1"},{"start":9,"end":22,"cssClass":"pl-v"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-c1"}],[{"start":8,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":61,"cssClass":"pl-s"}],[{"start":0,"end":96,"cssClass":"pl-s"}],[{"start":0,"end":60,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":96,"cssClass":"pl-s"}],[{"start":0,"end":21,"cssClass":"pl-s"}],[{"start":0,"end":11,"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":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"}],[],[{"start":8,"end":45,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-en"},{"start":22,"end":32,"cssClass":"pl-s1"},{"start":34,"end":42,"cssClass":"pl-v"}],[{"start":12,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":35,"cssClass":"pl-s1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":29,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":34,"end":37,"cssClass":"pl-en"},{"start":38,"end":53,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":32,"cssClass":"pl-v"}],[{"start":20,"end":87,"cssClass":"pl-s"},{"start":52,"end":69,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-kos"},{"start":53,"end":56,"cssClass":"pl-en"},{"start":57,"end":67,"cssClass":"pl-s1"},{"start":68,"end":69,"cssClass":"pl-kos"}],[{"start":20,"end":97,"cssClass":"pl-s"},{"start":23,"end":45,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-kos"},{"start":24,"end":27,"cssClass":"pl-en"},{"start":28,"end":43,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-kos"}],[{"start":20,"end":47,"cssClass":"pl-s"}],[],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-en"},{"start":30,"end":33,"cssClass":"pl-en"},{"start":34,"end":49,"cssClass":"pl-s1"},{"start":51,"end":61,"cssClass":"pl-s1"}],[],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":33,"cssClass":"pl-en"},{"start":34,"end":39,"cssClass":"pl-s1"},{"start":40,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":33,"end":52,"cssClass":"pl-v"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":23,"cssClass":"pl-s1"},{"start":24,"end":26,"cssClass":"pl-c1"},{"start":27,"end":32,"cssClass":"pl-s1"},{"start":33,"end":43,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":46,"end":56,"cssClass":"pl-s1"},{"start":57,"end":61,"cssClass":"pl-en"}],[{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-en"},{"start":41,"end":44,"cssClass":"pl-s1"},{"start":46,"end":56,"cssClass":"pl-s1"},{"start":57,"end":60,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-en"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":29,"end":39,"cssClass":"pl-s1"},{"start":41,"end":43,"cssClass":"pl-c1"},{"start":44,"end":45,"cssClass":"pl-c1"}],[{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":35,"cssClass":"pl-en"},{"start":36,"end":41,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":39,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"},{"start":20,"end":22,"cssClass":"pl-k"},{"start":23,"end":30,"cssClass":"pl-s1"},{"start":31,"end":35,"cssClass":"pl-k"},{"start":36,"end":41,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":20,"cssClass":"pl-en"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":14,"end":20,"cssClass":"pl-s1"},{"start":22,"end":37,"cssClass":"pl-v"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":44,"cssClass":"pl-v"},{"start":45,"end":48,"cssClass":"pl-s1"},{"start":50,"end":51,"cssClass":"pl-c1"},{"start":52,"end":56,"cssClass":"pl-c1"},{"start":58,"end":68,"cssClass":"pl-s1"},{"start":70,"end":73,"cssClass":"pl-s1"},{"start":74,"end":75,"cssClass":"pl-c1"},{"start":76,"end":80,"cssClass":"pl-c1"},{"start":81,"end":82,"cssClass":"pl-c1"},{"start":83,"end":87,"cssClass":"pl-c1"}],[{"start":6,"end":8,"cssClass":"pl-c1"},{"start":9,"end":22,"cssClass":"pl-v"}],[{"start":8,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":19,"cssClass":"pl-s1"},{"start":20,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":44,"cssClass":"pl-k"},{"start":45,"end":60,"cssClass":"pl-v"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"},{"start":26,"end":29,"cssClass":"pl-c1"},{"start":30,"end":40,"cssClass":"pl-s1"},{"start":41,"end":43,"cssClass":"pl-c1"},{"start":44,"end":48,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-en"}],[],[{"start":8,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":34,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-en"},{"start":22,"end":28,"cssClass":"pl-s1"},{"start":30,"end":45,"cssClass":"pl-v"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":26,"cssClass":"pl-en"},{"start":27,"end":33,"cssClass":"pl-s1"},{"start":34,"end":52,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":46,"cssClass":"pl-en"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":28,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":36,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":33,"cssClass":"pl-v"}],[{"start":20,"end":96,"cssClass":"pl-s"},{"start":59,"end":71,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-kos"},{"start":60,"end":70,"cssClass":"pl-s1"},{"start":70,"end":71,"cssClass":"pl-kos"}],[{"start":20,"end":61,"cssClass":"pl-s"},{"start":35,"end":45,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-kos"},{"start":36,"end":44,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-kos"}],[],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":33,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-c1"},{"start":30,"end":33,"cssClass":"pl-c1"},{"start":34,"end":37,"cssClass":"pl-en"},{"start":38,"end":39,"cssClass":"pl-s1"},{"start":40,"end":42,"cssClass":"pl-c1"},{"start":43,"end":51,"cssClass":"pl-s1"},{"start":52,"end":55,"cssClass":"pl-k"},{"start":56,"end":57,"cssClass":"pl-s1"},{"start":58,"end":60,"cssClass":"pl-c1"},{"start":61,"end":67,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":94,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-en"},{"start":26,"end":31,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":47,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":21,"cssClass":"pl-en"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":28,"end":31,"cssClass":"pl-s"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":42,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":29,"cssClass":"pl-en"},{"start":30,"end":34,"cssClass":"pl-s1"},{"start":36,"end":41,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":42,"end":48,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":32,"cssClass":"pl-c"}],[{"start":0,"end":16,"cssClass":"pl-en"},{"start":17,"end":30,"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":"sparse_pauli_op.py","displayUrl":"https://github.com/Qiskit/qiskit/blob/main/qiskit/quantum_info/operators/symplectic/sparse_pauli_op.py?raw=true","headerInfo":{"blobSize":"44.3 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":"0d29cd0","siteNavLoginPath":"/login?return_to=https%3A%2F%2Fgithub.com%2FQiskit%2Fqiskit%2Fblob%2Fmain%2Fqiskit%2Fquantum_info%2Foperators%2Fsymplectic%2Fsparse_pauli_op.py","isCSV":false,"isRichtext":false,"toc":null,"lineInfo":{"truncatedLoc":"1144","truncatedSloc":"929"},"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/symplectic/sparse_pauli_op.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/symplectic/sparse_pauli_op.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":"SparsePauliOp","kind":"class","ident_start":1603,"ident_end":1616,"extent_start":1597,"extent_end":45326,"fully_qualified_name":"SparsePauliOp","ident_utf16":{"start":{"line_number":43,"utf16_col":6},"end":{"line_number":43,"utf16_col":19}},"extent_utf16":{"start":{"line_number":43,"utf16_col":0},"end":{"line_number":1139,"utf16_col":49}}},{"name":"__init__","kind":"function","ident_start":3571,"ident_end":3579,"extent_start":3567,"extent_end":7269,"fully_qualified_name":"SparsePauliOp.__init__","ident_utf16":{"start":{"line_number":86,"utf16_col":8},"end":{"line_number":86,"utf16_col":16}},"extent_utf16":{"start":{"line_number":86,"utf16_col":4},"end":{"line_number":166,"utf16_col":64}}},{"name":"__array__","kind":"function","ident_start":7279,"ident_end":7288,"extent_start":7275,"extent_end":7418,"fully_qualified_name":"SparsePauliOp.__array__","ident_utf16":{"start":{"line_number":168,"utf16_col":8},"end":{"line_number":168,"utf16_col":17}},"extent_utf16":{"start":{"line_number":168,"utf16_col":4},"end":{"line_number":171,"utf16_col":31}}},{"name":"__repr__","kind":"function","ident_start":7428,"ident_end":7436,"extent_start":7424,"extent_end":7696,"fully_qualified_name":"SparsePauliOp.__repr__","ident_utf16":{"start":{"line_number":173,"utf16_col":8},"end":{"line_number":173,"utf16_col":16}},"extent_utf16":{"start":{"line_number":173,"utf16_col":4},"end":{"line_number":181,"utf16_col":9}}},{"name":"__eq__","kind":"function","ident_start":7706,"ident_end":7712,"extent_start":7702,"extent_end":8200,"fully_qualified_name":"SparsePauliOp.__eq__","ident_utf16":{"start":{"line_number":183,"utf16_col":8},"end":{"line_number":183,"utf16_col":14}},"extent_utf16":{"start":{"line_number":183,"utf16_col":4},"end":{"line_number":195,"utf16_col":9}}},{"name":"equiv","kind":"function","ident_start":8210,"ident_end":8215,"extent_start":8206,"extent_end":8776,"fully_qualified_name":"SparsePauliOp.equiv","ident_utf16":{"start":{"line_number":197,"utf16_col":8},"end":{"line_number":197,"utf16_col":13}},"extent_utf16":{"start":{"line_number":197,"utf16_col":4},"end":{"line_number":211,"utf16_col":76}}},{"name":"settings","kind":"function","ident_start":8800,"ident_end":8808,"extent_start":8796,"extent_end":8920,"fully_qualified_name":"SparsePauliOp.settings","ident_utf16":{"start":{"line_number":214,"utf16_col":8},"end":{"line_number":214,"utf16_col":16}},"extent_utf16":{"start":{"line_number":214,"utf16_col":4},"end":{"line_number":216,"utf16_col":65}}},{"name":"size","kind":"function","ident_start":9118,"ident_end":9122,"extent_start":9114,"extent_end":9232,"fully_qualified_name":"SparsePauliOp.size","ident_utf16":{"start":{"line_number":223,"utf16_col":8},"end":{"line_number":223,"utf16_col":12}},"extent_utf16":{"start":{"line_number":223,"utf16_col":4},"end":{"line_number":225,"utf16_col":36}}},{"name":"__len__","kind":"function","ident_start":9242,"ident_end":9249,"extent_start":9238,"extent_end":9312,"fully_qualified_name":"SparsePauliOp.__len__","ident_utf16":{"start":{"line_number":227,"utf16_col":8},"end":{"line_number":227,"utf16_col":15}},"extent_utf16":{"start":{"line_number":227,"utf16_col":4},"end":{"line_number":229,"utf16_col":24}}},{"name":"paulis","kind":"function","ident_start":9336,"ident_end":9342,"extent_start":9332,"extent_end":9417,"fully_qualified_name":"SparsePauliOp.paulis","ident_utf16":{"start":{"line_number":232,"utf16_col":8},"end":{"line_number":232,"utf16_col":14}},"extent_utf16":{"start":{"line_number":232,"utf16_col":4},"end":{"line_number":234,"utf16_col":31}}},{"name":"paulis","kind":"function","ident_start":9446,"ident_end":9452,"extent_start":9442,"extent_end":9954,"fully_qualified_name":"SparsePauliOp.paulis","ident_utf16":{"start":{"line_number":237,"utf16_col":8},"end":{"line_number":237,"utf16_col":14}},"extent_utf16":{"start":{"line_number":237,"utf16_col":4},"end":{"line_number":248,"utf16_col":32}}},{"name":"coeffs","kind":"function","ident_start":9978,"ident_end":9984,"extent_start":9974,"extent_end":10064,"fully_qualified_name":"SparsePauliOp.coeffs","ident_utf16":{"start":{"line_number":251,"utf16_col":8},"end":{"line_number":251,"utf16_col":14}},"extent_utf16":{"start":{"line_number":251,"utf16_col":4},"end":{"line_number":253,"utf16_col":27}}},{"name":"coeffs","kind":"function","ident_start":10093,"ident_end":10099,"extent_start":10089,"extent_end":10183,"fully_qualified_name":"SparsePauliOp.coeffs","ident_utf16":{"start":{"line_number":256,"utf16_col":8},"end":{"line_number":256,"utf16_col":14}},"extent_utf16":{"start":{"line_number":256,"utf16_col":4},"end":{"line_number":258,"utf16_col":31}}},{"name":"__getitem__","kind":"function","ident_start":10193,"ident_end":10204,"extent_start":10189,"extent_end":10540,"fully_qualified_name":"SparsePauliOp.__getitem__","ident_utf16":{"start":{"line_number":260,"utf16_col":8},"end":{"line_number":260,"utf16_col":19}},"extent_utf16":{"start":{"line_number":260,"utf16_col":4},"end":{"line_number":266,"utf16_col":64}}},{"name":"__setitem__","kind":"function","ident_start":10550,"ident_end":10561,"extent_start":10546,"extent_end":10835,"fully_qualified_name":"SparsePauliOp.__setitem__","ident_utf16":{"start":{"line_number":268,"utf16_col":8},"end":{"line_number":268,"utf16_col":19}},"extent_utf16":{"start":{"line_number":268,"utf16_col":4},"end":{"line_number":274,"utf16_col":39}}},{"name":"conjugate","kind":"function","ident_start":11021,"ident_end":11030,"extent_start":11017,"extent_end":11329,"fully_qualified_name":"SparsePauliOp.conjugate","ident_utf16":{"start":{"line_number":280,"utf16_col":8},"end":{"line_number":280,"utf16_col":17}},"extent_utf16":{"start":{"line_number":280,"utf16_col":4},"end":{"line_number":287,"utf16_col":18}}},{"name":"transpose","kind":"function","ident_start":11339,"ident_end":11348,"extent_start":11335,"extent_end":11630,"fully_qualified_name":"SparsePauliOp.transpose","ident_utf16":{"start":{"line_number":289,"utf16_col":8},"end":{"line_number":289,"utf16_col":17}},"extent_utf16":{"start":{"line_number":289,"utf16_col":4},"end":{"line_number":296,"utf16_col":18}}},{"name":"adjoint","kind":"function","ident_start":11640,"ident_end":11647,"extent_start":11636,"extent_end":11826,"fully_qualified_name":"SparsePauliOp.adjoint","ident_utf16":{"start":{"line_number":298,"utf16_col":8},"end":{"line_number":298,"utf16_col":15}},"extent_utf16":{"start":{"line_number":298,"utf16_col":4},"end":{"line_number":303,"utf16_col":18}}},{"name":"compose","kind":"function","ident_start":11836,"ident_end":11843,"extent_start":11832,"extent_end":14265,"fully_qualified_name":"SparsePauliOp.compose","ident_utf16":{"start":{"line_number":305,"utf16_col":8},"end":{"line_number":305,"utf16_col":15}},"extent_utf16":{"start":{"line_number":305,"utf16_col":4},"end":{"line_number":356,"utf16_col":60}}},{"name":"tensor","kind":"function","ident_start":14275,"ident_end":14281,"extent_start":14271,"extent_end":14458,"fully_qualified_name":"SparsePauliOp.tensor","ident_utf16":{"start":{"line_number":358,"utf16_col":8},"end":{"line_number":358,"utf16_col":14}},"extent_utf16":{"start":{"line_number":358,"utf16_col":4},"end":{"line_number":361,"utf16_col":40}}},{"name":"expand","kind":"function","ident_start":14468,"ident_end":14474,"extent_start":14464,"extent_end":14651,"fully_qualified_name":"SparsePauliOp.expand","ident_utf16":{"start":{"line_number":363,"utf16_col":8},"end":{"line_number":363,"utf16_col":14}},"extent_utf16":{"start":{"line_number":363,"utf16_col":4},"end":{"line_number":366,"utf16_col":40}}},{"name":"_tensor","kind":"function","ident_start":14678,"ident_end":14685,"extent_start":14674,"extent_end":14867,"fully_qualified_name":"SparsePauliOp._tensor","ident_utf16":{"start":{"line_number":369,"utf16_col":8},"end":{"line_number":369,"utf16_col":15}},"extent_utf16":{"start":{"line_number":369,"utf16_col":4},"end":{"line_number":372,"utf16_col":81}}},{"name":"_add","kind":"function","ident_start":14877,"ident_end":14881,"extent_start":14873,"extent_end":15336,"fully_qualified_name":"SparsePauliOp._add","ident_utf16":{"start":{"line_number":374,"utf16_col":8},"end":{"line_number":374,"utf16_col":12}},"extent_utf16":{"start":{"line_number":374,"utf16_col":4},"end":{"line_number":385,"utf16_col":81}}},{"name":"_multiply","kind":"function","ident_start":15346,"ident_end":15355,"extent_start":15342,"extent_end":16167,"fully_qualified_name":"SparsePauliOp._multiply","ident_utf16":{"start":{"line_number":387,"utf16_col":8},"end":{"line_number":387,"utf16_col":17}},"extent_utf16":{"start":{"line_number":387,"utf16_col":4},"end":{"line_number":402,"utf16_col":9}}},{"name":"is_unitary","kind":"function","ident_start":16352,"ident_end":16362,"extent_start":16348,"extent_end":17349,"fully_qualified_name":"SparsePauliOp.is_unitary","ident_utf16":{"start":{"line_number":408,"utf16_col":8},"end":{"line_number":408,"utf16_col":18}},"extent_utf16":{"start":{"line_number":408,"utf16_col":4},"end":{"line_number":434,"utf16_col":9}}},{"name":"simplify","kind":"function","ident_start":17359,"ident_end":17367,"extent_start":17355,"extent_end":20184,"fully_qualified_name":"SparsePauliOp.simplify","ident_utf16":{"start":{"line_number":436,"utf16_col":8},"end":{"line_number":436,"utf16_col":16}},"extent_utf16":{"start":{"line_number":436,"utf16_col":4},"end":{"line_number":505,"utf16_col":9}}},{"name":"to_complex","kind":"function","ident_start":18144,"ident_end":18154,"extent_start":18140,"extent_end":18366,"fully_qualified_name":"SparsePauliOp.to_complex","ident_utf16":{"start":{"line_number":457,"utf16_col":16},"end":{"line_number":457,"utf16_col":26}},"extent_utf16":{"start":{"line_number":457,"utf16_col":12},"end":{"line_number":461,"utf16_col":76}}},{"name":"argsort","kind":"function","ident_start":20194,"ident_end":20201,"extent_start":20190,"extent_end":22577,"fully_qualified_name":"SparsePauliOp.argsort","ident_utf16":{"start":{"line_number":507,"utf16_col":8},"end":{"line_number":507,"utf16_col":15}},"extent_utf16":{"start":{"line_number":507,"utf16_col":4},"end":{"line_number":573,"utf16_col":48}}},{"name":"sort","kind":"function","ident_start":22587,"ident_end":22591,"extent_start":22583,"extent_end":25319,"fully_qualified_name":"SparsePauliOp.sort","ident_utf16":{"start":{"line_number":575,"utf16_col":8},"end":{"line_number":575,"utf16_col":12}},"extent_utf16":{"start":{"line_number":575,"utf16_col":4},"end":{"line_number":643,"utf16_col":78}}},{"name":"chop","kind":"function","ident_start":25329,"ident_end":25333,"extent_start":25325,"extent_end":27107,"fully_qualified_name":"SparsePauliOp.chop","ident_utf16":{"start":{"line_number":645,"utf16_col":8},"end":{"line_number":645,"utf16_col":12}},"extent_utf16":{"start":{"line_number":645,"utf16_col":4},"end":{"line_number":683,"utf16_col":9}}},{"name":"sum","kind":"function","ident_start":27135,"ident_end":27138,"extent_start":27131,"extent_end":28468,"fully_qualified_name":"SparsePauliOp.sum","ident_utf16":{"start":{"line_number":686,"utf16_col":8},"end":{"line_number":686,"utf16_col":11}},"extent_utf16":{"start":{"line_number":686,"utf16_col":4},"end":{"line_number":715,"utf16_col":85}}},{"name":"from_operator","kind":"function","ident_start":28678,"ident_end":28691,"extent_start":28674,"extent_end":30778,"fully_qualified_name":"SparsePauliOp.from_operator","ident_utf16":{"start":{"line_number":722,"utf16_col":8},"end":{"line_number":722,"utf16_col":21}},"extent_utf16":{"start":{"line_number":722,"utf16_col":4},"end":{"line_number":766,"utf16_col":95}}},{"name":"from_list","kind":"function","ident_start":30806,"ident_end":30815,"extent_start":30802,"extent_end":32825,"fully_qualified_name":"SparsePauliOp.from_list","ident_utf16":{"start":{"line_number":769,"utf16_col":8},"end":{"line_number":769,"utf16_col":17}},"extent_utf16":{"start":{"line_number":769,"utf16_col":4},"end":{"line_number":824,"utf16_col":56}}},{"name":"from_sparse_list","kind":"function","ident_start":32853,"ident_end":32869,"extent_start":32849,"extent_end":35437,"fully_qualified_name":"SparsePauliOp.from_sparse_list","ident_utf16":{"start":{"line_number":827,"utf16_col":8},"end":{"line_number":827,"utf16_col":24}},"extent_utf16":{"start":{"line_number":827,"utf16_col":4},"end":{"line_number":894,"utf16_col":56}}},{"name":"to_list","kind":"function","ident_start":35447,"ident_end":35454,"extent_start":35443,"extent_end":36416,"fully_qualified_name":"SparsePauliOp.to_list","ident_utf16":{"start":{"line_number":896,"utf16_col":8},"end":{"line_number":896,"utf16_col":15}},"extent_utf16":{"start":{"line_number":896,"utf16_col":4},"end":{"line_number":919,"utf16_col":30}}},{"name":"to_matrix","kind":"function","ident_start":36426,"ident_end":36435,"extent_start":36422,"extent_end":37022,"fully_qualified_name":"SparsePauliOp.to_matrix","ident_utf16":{"start":{"line_number":921,"utf16_col":8},"end":{"line_number":921,"utf16_col":17}},"extent_utf16":{"start":{"line_number":921,"utf16_col":4},"end":{"line_number":938,"utf16_col":18}}},{"name":"to_operator","kind":"function","ident_start":37032,"ident_end":37043,"extent_start":37028,"extent_end":37154,"fully_qualified_name":"SparsePauliOp.to_operator","ident_utf16":{"start":{"line_number":940,"utf16_col":8},"end":{"line_number":940,"utf16_col":19}},"extent_utf16":{"start":{"line_number":940,"utf16_col":4},"end":{"line_number":942,"utf16_col":41}}},{"name":"label_iter","kind":"function","ident_start":37340,"ident_end":37350,"extent_start":37336,"extent_end":38144,"fully_qualified_name":"SparsePauliOp.label_iter","ident_utf16":{"start":{"line_number":948,"utf16_col":8},"end":{"line_number":948,"utf16_col":18}},"extent_utf16":{"start":{"line_number":948,"utf16_col":4},"end":{"line_number":970,"utf16_col":34}}},{"name":"LabelIterator","kind":"class","ident_start":37721,"ident_end":37734,"extent_start":37715,"extent_end":38108,"fully_qualified_name":"SparsePauliOp.LabelIterator","ident_utf16":{"start":{"line_number":959,"utf16_col":14},"end":{"line_number":959,"utf16_col":27}},"extent_utf16":{"start":{"line_number":959,"utf16_col":8},"end":{"line_number":968,"utf16_col":37}}},{"name":"__repr__","kind":"function","ident_start":37835,"ident_end":37843,"extent_start":37831,"extent_end":37926,"fully_qualified_name":"SparsePauliOp.LabelIterator.__repr__","ident_utf16":{"start":{"line_number":962,"utf16_col":16},"end":{"line_number":962,"utf16_col":24}},"extent_utf16":{"start":{"line_number":962,"utf16_col":12},"end":{"line_number":963,"utf16_col":75}}},{"name":"__getitem__","kind":"function","ident_start":37944,"ident_end":37955,"extent_start":37940,"extent_end":38108,"fully_qualified_name":"SparsePauliOp.LabelIterator.__getitem__","ident_utf16":{"start":{"line_number":965,"utf16_col":16},"end":{"line_number":965,"utf16_col":27}},"extent_utf16":{"start":{"line_number":965,"utf16_col":12},"end":{"line_number":968,"utf16_col":37}}},{"name":"matrix_iter","kind":"function","ident_start":38154,"ident_end":38165,"extent_start":38150,"extent_end":39174,"fully_qualified_name":"SparsePauliOp.matrix_iter","ident_utf16":{"start":{"line_number":972,"utf16_col":8},"end":{"line_number":972,"utf16_col":19}},"extent_utf16":{"start":{"line_number":972,"utf16_col":4},"end":{"line_number":999,"utf16_col":35}}},{"name":"MatrixIterator","kind":"class","ident_start":38747,"ident_end":38761,"extent_start":38741,"extent_end":39137,"fully_qualified_name":"SparsePauliOp.MatrixIterator","ident_utf16":{"start":{"line_number":988,"utf16_col":14},"end":{"line_number":988,"utf16_col":28}},"extent_utf16":{"start":{"line_number":988,"utf16_col":8},"end":{"line_number":997,"utf16_col":34}}},{"name":"__repr__","kind":"function","ident_start":38863,"ident_end":38871,"extent_start":38859,"extent_end":38955,"fully_qualified_name":"SparsePauliOp.MatrixIterator.__repr__","ident_utf16":{"start":{"line_number":991,"utf16_col":16},"end":{"line_number":991,"utf16_col":24}},"extent_utf16":{"start":{"line_number":991,"utf16_col":12},"end":{"line_number":992,"utf16_col":76}}},{"name":"__getitem__","kind":"function","ident_start":38973,"ident_end":38984,"extent_start":38969,"extent_end":39137,"fully_qualified_name":"SparsePauliOp.MatrixIterator.__getitem__","ident_utf16":{"start":{"line_number":994,"utf16_col":16},"end":{"line_number":994,"utf16_col":27}},"extent_utf16":{"start":{"line_number":994,"utf16_col":12},"end":{"line_number":997,"utf16_col":34}}},{"name":"noncommutation_graph","kind":"function","ident_start":39184,"ident_end":39204,"extent_start":39180,"extent_end":40074,"fully_qualified_name":"SparsePauliOp.noncommutation_graph","ident_utf16":{"start":{"line_number":1001,"utf16_col":8},"end":{"line_number":1001,"utf16_col":28}},"extent_utf16":{"start":{"line_number":1001,"utf16_col":4},"end":{"line_number":1017,"utf16_col":59}}},{"name":"group_commuting","kind":"function","ident_start":40084,"ident_end":40099,"extent_start":40080,"extent_end":41264,"fully_qualified_name":"SparsePauliOp.group_commuting","ident_utf16":{"start":{"line_number":1019,"utf16_col":8},"end":{"line_number":1019,"utf16_col":23}},"extent_utf16":{"start":{"line_number":1019,"utf16_col":4},"end":{"line_number":1042,"utf16_col":57}}},{"name":"parameters","kind":"function","ident_start":41288,"ident_end":41298,"extent_start":41284,"extent_end":41573,"fully_qualified_name":"SparsePauliOp.parameters","ident_utf16":{"start":{"line_number":1045,"utf16_col":8},"end":{"line_number":1045,"utf16_col":18}},"extent_utf16":{"start":{"line_number":1045,"utf16_col":4},"end":{"line_number":1051,"utf16_col":33}}},{"name":"assign_parameters","kind":"function","ident_start":41583,"ident_end":41600,"extent_start":41579,"extent_end":43337,"fully_qualified_name":"SparsePauliOp.assign_parameters","ident_utf16":{"start":{"line_number":1053,"utf16_col":8},"end":{"line_number":1053,"utf16_col":25}},"extent_utf16":{"start":{"line_number":1053,"utf16_col":4},"end":{"line_number":1096,"utf16_col":41}}},{"name":"apply_layout","kind":"function","ident_start":43347,"ident_end":43359,"extent_start":43343,"extent_end":45326,"fully_qualified_name":"SparsePauliOp.apply_layout","ident_utf16":{"start":{"line_number":1098,"utf16_col":8},"end":{"line_number":1098,"utf16_col":20}},"extent_utf16":{"start":{"line_number":1098,"utf16_col":4},"end":{"line_number":1139,"utf16_col":49}}}]}},"copilotInfo":null,"copilotAccessAllowed":false,"csrf_tokens":{"/Qiskit/qiskit/branches":{"post":"HTy8D0FCgczRqeeNAUL4PN2_jIpkyI4xrXrFe3e-xsv1w_9-nqnUGLaLZNNAgmpRokdque_xJMun275IaxDSSg"},"/repos/preferences":{"post":"i3Rlq3PhPd7R7pnNRKrWqbI3_4wFPvAopRGDJlzEA1pA86PssU1utT3E32UZ_QeD986Q7SD8ztWRqCcKNJaTvQ"}}},"title":"qiskit/qiskit/quantum_info/operators/symplectic/sparse_pauli_op.py at main ยท Qiskit/qiskit"}