{"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":21.355987,"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/pauli_list.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.","\"\"\"","Optimized list of Pauli operators","\"\"\"","","from __future__ import annotations","","from collections import defaultdict","from typing import Literal","","import numpy as np","import rustworkx as rx","","from qiskit.circuit.quantumcircuit import QuantumCircuit","from qiskit.exceptions import QiskitError","from qiskit.quantum_info.operators.custom_iterator import CustomIterator","from qiskit.quantum_info.operators.mixins import GroupMixin, LinearMixin","from qiskit.quantum_info.operators.symplectic.base_pauli import BasePauli","from qiskit.quantum_info.operators.symplectic.clifford import Clifford","from qiskit.quantum_info.operators.symplectic.pauli import Pauli","","","class PauliList(BasePauli, LinearMixin, GroupMixin):"," r\"\"\"List of N-qubit Pauli operators.",""," This class is an efficient representation of a list of"," :class:`Pauli` operators. It supports 1D numpy array indexing"," returning a :class:`Pauli` for integer indexes or a"," :class:`PauliList` for slice or list indices.",""," **Initialization**",""," A PauliList object can be initialized in several ways.",""," ``PauliList(list[str])``"," where strings are same representation with :class:`~qiskit.quantum_info.Pauli`.",""," ``PauliList(Pauli) and PauliList(list[Pauli])``"," where Pauli is :class:`~qiskit.quantum_info.Pauli`.",""," ``PauliList.from_symplectic(z, x, phase)``"," where ``z`` and ``x`` are 2 dimensional boolean ``numpy.ndarrays`` and ``phase`` is"," an integer in ``[0, 1, 2, 3]``.",""," For example,",""," .. code-block::",""," import numpy as np",""," from qiskit.quantum_info import Pauli, PauliList",""," # 1. init from list[str]"," pauli_list = PauliList([\"II\", \"+ZI\", \"-iYY\"])"," print(\"1. \", pauli_list)",""," pauli1 = Pauli(\"iXI\")"," pauli2 = Pauli(\"iZZ\")",""," # 2. init from Pauli"," print(\"2. \", PauliList(pauli1))",""," # 3. init from list[Pauli]"," print(\"3. \", PauliList([pauli1, pauli2]))",""," # 4. init from np.ndarray"," z = np.array([[True, True], [False, False]])"," x = np.array([[False, True], [True, False]])"," phase = np.array([0, 1])"," pauli_list = PauliList.from_symplectic(z, x, phase)"," print(\"4. \", pauli_list)",""," .. parsed-literal::",""," 1. ['II', 'ZI', '-iYY']"," 2. ['iXI']"," 3. ['iXI', 'iZZ']"," 4. ['YZ', '-iIX']",""," **Data Access**",""," The individual Paulis can be accessed and updated using the ``[]``"," operator which accepts integer, lists, or slices for selecting subsets"," of PauliList. If integer is given, it returns Pauli not PauliList.",""," .. code-block::",""," pauli_list = PauliList([\"XX\", \"ZZ\", \"IZ\"])"," print(\"Integer: \", repr(pauli_list[1]))"," print(\"List: \", repr(pauli_list[[0, 2]]))"," print(\"Slice: \", repr(pauli_list[0:2]))",""," .. parsed-literal::",""," Integer: Pauli('ZZ')"," List: PauliList(['XX', 'IZ'])"," Slice: PauliList(['XX', 'ZZ'])",""," **Iteration**",""," Rows in the Pauli table can be iterated over like a list. Iteration can"," also be done using the label or matrix representation of each row using the"," :meth:`label_iter` and :meth:`matrix_iter` methods."," \"\"\"",""," # Set the max number of qubits * paulis before string truncation"," __truncate__ = 2000",""," def __init__(self, data: Pauli | list):"," \"\"\"Initialize the PauliList.",""," Args:"," data (Pauli or list): input data for Paulis. If input is a list each item in the list"," must be a Pauli object or Pauli str.",""," Raises:"," QiskitError: if input array is invalid shape.",""," Additional Information:"," The input array is not copied so multiple Pauli tables"," can share the same underlying array."," \"\"\""," if isinstance(data, BasePauli):"," base_z, base_x, base_phase = data._z, data._x, data._phase"," else:"," # Conversion as iterable of Paulis"," base_z, base_x, base_phase = self._from_paulis(data)",""," # Initialize BasePauli"," super().__init__(base_z, base_x, base_phase)",""," # ---------------------------------------------------------------------"," # Representation conversions"," # ---------------------------------------------------------------------",""," @property"," def settings(self):"," \"\"\"Return settings.\"\"\""," return {\"data\": self.to_labels()}",""," def __array__(self, dtype=None):"," \"\"\"Convert to numpy array\"\"\""," # pylint: disable=unused-argument"," shape = (len(self),) + 2 * (2**self.num_qubits,)"," ret = np.zeros(shape, dtype=complex)"," for i, mat in enumerate(self.matrix_iter()):"," ret[i] = mat"," return ret",""," @staticmethod"," def _from_paulis(data):"," \"\"\"Construct a PauliList from a list of Pauli data.",""," Args:"," data (iterable): list of Pauli data.",""," Returns:"," PauliList: the constructed PauliList.",""," Raises:"," QiskitError: If the input list is empty or contains invalid"," Pauli strings."," \"\"\""," if not isinstance(data, (list, tuple, set, np.ndarray)):"," data = [data]"," num_paulis = len(data)"," if num_paulis == 0:"," raise QiskitError(\"Input Pauli list is empty.\")"," paulis = []"," for i in data:"," if not isinstance(i, Pauli):"," paulis.append(Pauli(i))"," else:"," paulis.append(i)"," num_qubits = paulis[0].num_qubits"," base_z = np.zeros((num_paulis, num_qubits), dtype=bool)"," base_x = np.zeros((num_paulis, num_qubits), dtype=bool)"," base_phase = np.zeros(num_paulis, dtype=int)"," for i, pauli in enumerate(paulis):"," if pauli.num_qubits != num_qubits:"," raise ValueError("," f\"The {i}th Pauli is defined over {pauli.num_qubits} qubits, \""," f\"but num_qubits == {num_qubits} was expected.\""," )"," base_z[i] = pauli._z"," base_x[i] = pauli._x"," base_phase[i] = pauli._phase.item()"," return base_z, base_x, base_phase",""," def __repr__(self):"," \"\"\"Display representation.\"\"\""," return self._truncated_str(True)",""," def __str__(self):"," \"\"\"Print representation.\"\"\""," return self._truncated_str(False)",""," def _truncated_str(self, show_class):"," stop = self._num_paulis"," if self.__truncate__ and self.num_qubits > 0:"," max_paulis = self.__truncate__ // self.num_qubits"," if self._num_paulis > max_paulis:"," stop = max_paulis"," labels = [str(self[i]) for i in range(stop)]"," prefix = \"PauliList(\" if show_class else \"\""," tail = \")\" if show_class else \"\""," if stop != self._num_paulis:"," suffix = \", ...]\" + tail"," else:"," suffix = \"]\" + tail"," list_str = np.array2string("," np.array(labels), threshold=stop + 1, separator=\", \", prefix=prefix, suffix=suffix"," )"," return prefix + list_str[:-1] + suffix",""," def __eq__(self, other):"," \"\"\"Entrywise comparison of Pauli equality.\"\"\""," if not isinstance(other, PauliList):"," other = PauliList(other)"," if not isinstance(other, BasePauli):"," return False"," return self._eq(other)",""," def equiv(self, other: PauliList | Pauli) -> np.ndarray:"," \"\"\"Entrywise comparison of Pauli equivalence up to global phase.",""," Args:"," other (PauliList or Pauli): a comparison object.",""," Returns:"," np.ndarray: An array of ``True`` or ``False`` for entrywise equivalence"," of the current table."," \"\"\""," if not isinstance(other, PauliList):"," other = PauliList(other)"," return np.all(self.z == other.z, axis=1) & np.all(self.x == other.x, axis=1)",""," # ---------------------------------------------------------------------"," # Direct array access"," # ---------------------------------------------------------------------"," @property"," def phase(self):"," \"\"\"Return the phase exponent of the PauliList.\"\"\""," # Convert internal ZX-phase convention to group phase convention"," return np.mod(self._phase - self._count_y(dtype=self._phase.dtype), 4)",""," @phase.setter"," def phase(self, value):"," # Convert group phase convetion to internal ZX-phase convention"," self._phase[:] = np.mod(value + self._count_y(dtype=self._phase.dtype), 4)",""," @property"," def x(self):"," \"\"\"The x array for the symplectic representation.\"\"\""," return self._x",""," @x.setter"," def x(self, val):"," self._x[:] = val",""," @property"," def z(self):"," \"\"\"The z array for the symplectic representation.\"\"\""," return self._z",""," @z.setter"," def z(self, val):"," self._z[:] = val",""," # ---------------------------------------------------------------------"," # Size Properties"," # ---------------------------------------------------------------------",""," @property"," def shape(self):"," \"\"\"The full shape of the :meth:`array`\"\"\""," return self._num_paulis, self.num_qubits",""," @property"," def size(self):"," \"\"\"The number of Pauli rows in the table.\"\"\""," return self._num_paulis",""," def __len__(self):"," \"\"\"Return the number of Pauli rows in the table.\"\"\""," return self._num_paulis",""," # ---------------------------------------------------------------------"," # Pauli Array methods"," # ---------------------------------------------------------------------",""," def __getitem__(self, index):"," \"\"\"Return a view of the PauliList.\"\"\""," # Returns a view of specified rows of the PauliList"," # This supports all slicing operations the underlying array supports."," if isinstance(index, tuple):"," if len(index) == 1:"," index = index[0]"," elif len(index) > 2:"," raise IndexError(f\"Invalid PauliList index {index}\")",""," # Row-only indexing"," if isinstance(index, (int, np.integer)):"," # Single Pauli"," return Pauli("," BasePauli("," self._z[np.newaxis, index],"," self._x[np.newaxis, index],"," self._phase[np.newaxis, index],"," )"," )"," elif isinstance(index, (slice, list, np.ndarray)):"," # Sub-Table view"," return PauliList(BasePauli(self._z[index], self._x[index], self._phase[index]))",""," # Row and Qubit indexing"," return PauliList((self._z[index], self._x[index], 0))",""," def __setitem__(self, index, value):"," \"\"\"Update PauliList.\"\"\""," if isinstance(index, tuple):"," if len(index) == 1:"," row, qubit = index[0], None"," elif len(index) > 2:"," raise IndexError(f\"Invalid PauliList index {index}\")"," else:"," row, qubit = index"," else:"," row, qubit = index, None",""," # Modify specified rows of the PauliList"," if not isinstance(value, PauliList):"," value = PauliList(value)",""," # It's not valid to set a single item with a sequence, even if the sequence is length 1."," phase = value._phase.item() if isinstance(row, (int, np.integer)) else value._phase",""," if qubit is None:"," self._z[row] = value._z"," self._x[row] = value._x"," self._phase[row] = phase"," else:"," self._z[row, qubit] = value._z"," self._x[row, qubit] = value._x"," self._phase[row] += phase"," self._phase %= 4",""," def delete(self, ind: int | list, qubit: bool = False) -> PauliList:"," \"\"\"Return a copy with Pauli rows deleted from table.",""," When deleting qubits the qubit index is the same as the"," column index of the underlying :attr:`X` and :attr:`Z` arrays.",""," Args:"," ind (int or list): index(es) to delete."," qubit (bool): if ``True`` delete qubit columns, otherwise delete"," Pauli rows (Default: ``False``).",""," Returns:"," PauliList: the resulting table with the entries removed.",""," Raises:"," QiskitError: if ``ind`` is out of bounds for the array size or"," number of qubits."," \"\"\""," if isinstance(ind, int):"," ind = [ind]"," if len(ind) == 0:"," return PauliList.from_symplectic(self._z, self._x, self.phase)"," # Row deletion"," if not qubit:"," if max(ind) >= len(self):"," raise QiskitError("," \"Indices {} are not all less than the size\""," \" of the PauliList ({})\".format(ind, len(self))"," )"," z = np.delete(self._z, ind, axis=0)"," x = np.delete(self._x, ind, axis=0)"," phase = np.delete(self._phase, ind)",""," return PauliList(BasePauli(z, x, phase))",""," # Column (qubit) deletion"," if max(ind) >= self.num_qubits:"," raise QiskitError("," \"Indices {} are not all less than the number of\""," \" qubits in the PauliList ({})\".format(ind, self.num_qubits)"," )"," z = np.delete(self._z, ind, axis=1)"," x = np.delete(self._x, ind, axis=1)"," # Use self.phase, not self._phase as deleting qubits can change the"," # ZX phase convention"," return PauliList.from_symplectic(z, x, self.phase)",""," def insert(self, ind: int, value: PauliList, qubit: bool = False) -> PauliList:"," \"\"\"Insert Paulis into the table.",""," When inserting qubits the qubit index is the same as the"," column index of the underlying :attr:`X` and :attr:`Z` arrays.",""," Args:"," ind (int): index to insert at."," value (PauliList): values to insert."," qubit (bool): if ``True`` insert qubit columns, otherwise insert"," Pauli rows (Default: ``False``).",""," Returns:"," PauliList: the resulting table with the entries inserted.",""," Raises:"," QiskitError: if the insertion index is invalid."," \"\"\""," if not isinstance(ind, int):"," raise QiskitError(\"Insert index must be an integer.\")",""," if not isinstance(value, PauliList):"," value = PauliList(value)",""," # Row insertion"," size = self._num_paulis"," if not qubit:"," if ind > size:"," raise QiskitError("," \"Index {} is larger than the number of rows in the\""," \" PauliList ({}).\".format(ind, size)"," )"," base_z = np.insert(self._z, ind, value._z, axis=0)"," base_x = np.insert(self._x, ind, value._x, axis=0)"," base_phase = np.insert(self._phase, ind, value._phase)"," return PauliList(BasePauli(base_z, base_x, base_phase))",""," # Column insertion"," if ind > self.num_qubits:"," raise QiskitError("," \"Index {} is greater than number of qubits\""," \" in the PauliList ({})\".format(ind, self.num_qubits)"," )"," if len(value) == 1:"," # Pad blocks to correct size"," value_x = np.vstack(size * [value.x])"," value_z = np.vstack(size * [value.z])"," value_phase = np.vstack(size * [value.phase])"," elif len(value) == size:"," # Blocks are already correct size"," value_x = value.x"," value_z = value.z"," value_phase = value.phase"," else:"," # Blocks are incorrect size"," raise QiskitError("," \"Input PauliList must have a single row, or\""," \" the same number of rows as the Pauli Table\""," \" ({}).\".format(size)"," )"," # Build new array by blocks"," z = np.hstack([self.z[:, :ind], value_z, self.z[:, ind:]])"," x = np.hstack([self.x[:, :ind], value_x, self.x[:, ind:]])"," phase = self.phase + value_phase",""," return PauliList.from_symplectic(z, x, phase)",""," def argsort(self, weight: bool = False, phase: bool = False) -> np.ndarray:"," \"\"\"Return indices for sorting the rows of the table.",""," The default sort method is lexicographic sorting by qubit number."," 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 Paulis of a given weight are still ordered lexicographically.",""," Args:"," weight (bool): Optionally sort by weight if ``True`` (Default: ``False``)."," phase (bool): Optionally sort by phase before weight or order"," (Default: ``False``).",""," Returns:"," array: the indices for sorting the table."," \"\"\""," # Get order of each Pauli using"," # I => 0, X => 1, Y => 2, Z => 3"," x = self.x"," z = self.z"," order = 1 * (x & ~z) + 2 * (x & z) + 3 * (~x & z)"," phases = self.phase"," # Optionally get the weight of Pauli"," # This is the number of non identity terms"," if weight:"," weights = np.sum(x | z, axis=1)",""," # To preserve ordering between successive sorts we"," # are use the 'stable' sort method"," indices = np.arange(self._num_paulis)",""," # Initial sort by phases"," sort_inds = phases.argsort(kind=\"stable\")"," indices = indices[sort_inds]"," order = order[sort_inds]"," if phase:"," phases = phases[sort_inds]"," if weight:"," weights = weights[sort_inds]",""," # Sort by order"," for i in range(self.num_qubits):"," sort_inds = order[:, i].argsort(kind=\"stable\")"," order = order[sort_inds]"," indices = indices[sort_inds]"," if weight:"," weights = weights[sort_inds]"," if phase:"," phases = phases[sort_inds]",""," # If using weights we implement a sort by total number"," # of non-identity Paulis"," if weight:"," sort_inds = weights.argsort(kind=\"stable\")"," indices = indices[sort_inds]"," phases = phases[sort_inds]",""," # If sorting by phase we perform a final sort by the phase value"," # of each pauli"," if phase:"," indices = indices[phases.argsort(kind=\"stable\")]"," return indices",""," def sort(self, weight: bool = False, phase: bool = False) -> PauliList:"," \"\"\"Sort the rows of the table.",""," The default sort method is lexicographic sorting by qubit number."," 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 Paulis of a given weight are still ordered lexicographically.",""," **Example**",""," Consider sorting all a random ordering of all 2-qubit Paulis",""," .. code-block::",""," from numpy.random import shuffle"," from qiskit.quantum_info.operators import PauliList",""," # 2-qubit labels"," labels = ['II', 'IX', 'IY', 'IZ', 'XI', 'XX', 'XY', 'XZ',"," 'YI', 'YX', 'YY', 'YZ', 'ZI', 'ZX', 'ZY', 'ZZ']"," # Shuffle Labels"," shuffle(labels)"," pt = PauliList(labels)"," print('Initial Ordering')"," print(pt)",""," # Lexicographic Ordering"," srt = pt.sort()"," print('Lexicographically sorted')"," print(srt)",""," # Weight Ordering"," srt = pt.sort(weight=True)"," print('Weight sorted')"," print(srt)",""," .. parsed-literal::",""," Initial Ordering"," ['YX', 'ZZ', 'XZ', 'YI', 'YZ', 'II', 'XX', 'XI', 'XY', 'YY', 'IX', 'IZ',"," 'ZY', 'ZI', 'ZX', 'IY']"," Lexicographically sorted"," ['II', 'IX', 'IY', 'IZ', 'XI', 'XX', 'XY', 'XZ', 'YI', 'YX', 'YY', 'YZ',"," 'ZI', 'ZX', 'ZY', 'ZZ']"," Weight sorted"," ['II', 'IX', 'IY', 'IZ', 'XI', 'YI', 'ZI', 'XX', 'XY', 'XZ', 'YX', 'YY',"," 'YZ', 'ZX', 'ZY', 'ZZ']",""," Args:"," weight (bool): optionally sort by weight if ``True`` (Default: ``False``)."," phase (bool): Optionally sort by phase before weight or order"," (Default: ``False``).",""," Returns:"," PauliList: a sorted copy of the original table."," \"\"\""," return self[self.argsort(weight=weight, phase=phase)]",""," def unique(self, return_index: bool = False, return_counts: bool = False) -> PauliList:"," \"\"\"Return unique Paulis from the table.",""," **Example**",""," .. code-block::",""," from qiskit.quantum_info.operators import PauliList",""," pt = PauliList(['X', 'Y', '-X', 'I', 'I', 'Z', 'X', 'iZ'])"," unique = pt.unique()"," print(unique)",""," .. parsed-literal::",""," ['X', 'Y', '-X', 'I', 'Z', 'iZ']",""," Args:"," return_index (bool): If ``True``, also return the indices that"," result in the unique array."," (Default: ``False``)"," return_counts (bool): If ``True``, also return the number of times"," each unique item appears in the table.",""," Returns:"," PauliList: unique"," the table of the unique rows.",""," unique_indices: np.ndarray, optional"," The indices of the first occurrences of the unique values in"," the original array. Only provided if ``return_index`` is ``True``.",""," unique_counts: np.array, optional"," The number of times each of the unique values comes up in the"," original array. Only provided if ``return_counts`` is ``True``."," \"\"\""," # Check if we need to stack the phase array"," if np.any(self._phase != self._phase[0]):"," # Create a single array of Pauli's and phases for calling np.unique on"," # so that we treat different phased Pauli's as unique"," array = np.hstack([self._z, self._x, self.phase.reshape((self.phase.shape[0], 1))])"," else:"," # All Pauli's have the same phase so we only need to sort the array"," array = np.hstack([self._z, self._x])",""," # Get indexes of unique entries"," if return_counts:"," _, index, counts = np.unique(array, return_index=True, return_counts=True, axis=0)"," else:"," _, index = np.unique(array, return_index=True, axis=0)",""," # Sort the index so we return unique rows in the original array order"," sort_inds = index.argsort()"," index = index[sort_inds]"," unique = PauliList(BasePauli(self._z[index], self._x[index], self._phase[index]))",""," # Concatinate return tuples"," ret = (unique,)"," if return_index:"," ret += (index,)"," if return_counts:"," ret += (counts[sort_inds],)"," if len(ret) == 1:"," return ret[0]"," return ret",""," # ---------------------------------------------------------------------"," # BaseOperator methods"," # ---------------------------------------------------------------------",""," def tensor(self, other: PauliList) -> PauliList:"," \"\"\"Return the tensor product with each Pauli in the list.",""," Args:"," other (PauliList): another PauliList.",""," Returns:"," PauliList: the list of tensor product Paulis.",""," Raises:"," QiskitError: if other cannot be converted to a PauliList, does"," not have either 1 or the same number of Paulis as"," the current list."," \"\"\""," if not isinstance(other, PauliList):"," other = PauliList(other)"," return PauliList(super().tensor(other))",""," def expand(self, other: PauliList) -> PauliList:"," \"\"\"Return the expand product of each Pauli in the list.",""," Args:"," other (PauliList): another PauliList.",""," Returns:"," PauliList: the list of tensor product Paulis.",""," Raises:"," QiskitError: if other cannot be converted to a PauliList, does"," not have either 1 or the same number of Paulis as"," the current list."," \"\"\""," if not isinstance(other, PauliList):"," other = PauliList(other)"," if len(other) not in [1, len(self)]:"," raise QiskitError("," \"Incompatible PauliLists. Other list must \""," \"have either 1 or the same number of Paulis.\""," )"," return PauliList(super().expand(other))",""," def compose("," self,"," other: PauliList,"," qargs: None | list = None,"," front: bool = False,"," inplace: bool = False,"," ) -> PauliList:"," \"\"\"Return the composition self∘other for each Pauli in the list.",""," Args:"," other (PauliList): another PauliList."," qargs (None or list): qubits to apply dot product on (Default: ``None``)."," front (bool): If True use `dot` composition method [default: ``False``]."," inplace (bool): If ``True`` update in-place (default: ``False``).",""," Returns:"," PauliList: the list of composed Paulis.",""," Raises:"," QiskitError: if other cannot be converted to a PauliList, does"," not have either 1 or the same number of Paulis as"," the current list, or has the wrong number of qubits"," for the specified ``qargs``."," \"\"\""," if qargs is None:"," qargs = getattr(other, \"qargs\", None)"," if not isinstance(other, PauliList):"," other = PauliList(other)"," if len(other) not in [1, len(self)]:"," raise QiskitError("," \"Incompatible PauliLists. Other list must \""," \"have either 1 or the same number of Paulis.\""," )"," return PauliList(super().compose(other, qargs=qargs, front=front, inplace=inplace))",""," def dot(self, other: PauliList, qargs: None | list = None, inplace: bool = False) -> PauliList:"," \"\"\"Return the composition other∘self for each Pauli in the list.",""," Args:"," other (PauliList): another PauliList."," qargs (None or list): qubits to apply dot product on (Default: ``None``)."," inplace (bool): If True update in-place (default: ``False``).",""," Returns:"," PauliList: the list of composed Paulis.",""," Raises:"," QiskitError: if other cannot be converted to a PauliList, does"," not have either 1 or the same number of Paulis as"," the current list, or has the wrong number of qubits"," for the specified ``qargs``."," \"\"\""," return self.compose(other, qargs=qargs, front=True, inplace=inplace)",""," def _add(self, other, qargs=None):"," \"\"\"Append two PauliLists.",""," If ``qargs`` are specified the other operator will be added"," assuming it is identity on all other subsystems.",""," Args:"," other (PauliList): another table."," qargs (None or list): optional subsystems to add on"," (Default: ``None``)",""," Returns:"," PauliList: the concatenated list ``self`` + ``other``."," \"\"\""," if qargs is None:"," qargs = getattr(other, \"qargs\", None)",""," if not isinstance(other, PauliList):"," other = PauliList(other)",""," self._op_shape._validate_add(other._op_shape, qargs)",""," base_phase = np.hstack((self._phase, other._phase))",""," if qargs is None or (sorted(qargs) == qargs and len(qargs) == self.num_qubits):"," base_z = np.vstack([self._z, other._z])"," base_x = np.vstack([self._x, other._x])"," else:"," # Pad other with identity and then add"," padded = BasePauli("," np.zeros((other.size, self.num_qubits), dtype=bool),"," np.zeros((other.size, self.num_qubits), dtype=bool),"," np.zeros(other.size, dtype=int),"," )"," padded = padded.compose(other, qargs=qargs, inplace=True)"," base_z = np.vstack([self._z, padded._z])"," base_x = np.vstack([self._x, padded._x])",""," return PauliList(BasePauli(base_z, base_x, base_phase))",""," def _multiply(self, other):"," \"\"\"Multiply each Pauli in the list by a phase.",""," Args:"," other (complex or array): a complex number in [1, -1j, -1, 1j]",""," Returns:"," PauliList: the list of Paulis other * self.",""," Raises:"," QiskitError: if the phase is not in the set [1, -1j, -1, 1j]."," \"\"\""," return PauliList(super()._multiply(other))",""," def conjugate(self):"," \"\"\"Return the conjugate of each Pauli in the list.\"\"\""," return PauliList(super().conjugate())",""," def transpose(self):"," \"\"\"Return the transpose of each Pauli in the list.\"\"\""," return PauliList(super().transpose())",""," def adjoint(self):"," \"\"\"Return the adjoint of each Pauli in the list.\"\"\""," return PauliList(super().adjoint())",""," def inverse(self):"," \"\"\"Return the inverse of each Pauli in the list.\"\"\""," return PauliList(super().adjoint())",""," # ---------------------------------------------------------------------"," # Utility methods"," # ---------------------------------------------------------------------",""," def commutes(self, other: BasePauli, qargs: list | None = None) -> bool:"," \"\"\"Return True for each Pauli that commutes with other.",""," Args:"," other (PauliList): another PauliList operator."," qargs (list): qubits to apply dot product on (default: ``None``).",""," Returns:"," bool: ``True`` if Paulis commute, ``False`` if they anti-commute."," \"\"\""," if qargs is None:"," qargs = getattr(other, \"qargs\", None)"," if not isinstance(other, BasePauli):"," other = PauliList(other)"," return super().commutes(other, qargs=qargs)",""," def anticommutes(self, other: BasePauli, qargs: list | None = None) -> bool:"," \"\"\"Return ``True`` if other Pauli that anticommutes with other.",""," Args:"," other (PauliList): another PauliList operator."," qargs (list): qubits to apply dot product on (default: ``None``).",""," Returns:"," bool: ``True`` if Paulis anticommute, ``False`` if they commute."," \"\"\""," return np.logical_not(self.commutes(other, qargs=qargs))",""," def commutes_with_all(self, other: PauliList) -> np.ndarray:"," \"\"\"Return indexes of rows that commute ``other``.",""," If ``other`` is a multi-row Pauli list the returned vector indexes rows"," of the current PauliList that commute with *all* Paulis in other."," If no rows satisfy the condition the returned array will be empty.",""," Args:"," other (PauliList): a single Pauli or multi-row PauliList.",""," Returns:"," array: index array of the commuting rows."," \"\"\""," return self._commutes_with_all(other)",""," def anticommutes_with_all(self, other: PauliList) -> np.ndarray:"," \"\"\"Return indexes of rows that commute other.",""," If ``other`` is a multi-row Pauli list the returned vector indexes rows"," of the current PauliList that anti-commute with *all* Paulis in other."," If no rows satisfy the condition the returned array will be empty.",""," Args:"," other (PauliList): a single Pauli or multi-row PauliList.",""," Returns:"," array: index array of the anti-commuting rows."," \"\"\""," return self._commutes_with_all(other, anti=True)",""," def _commutes_with_all(self, other, anti=False):"," \"\"\"Return row indexes that commute with all rows in another PauliList.",""," Args:"," other (PauliList): a PauliList."," anti (bool): if ``True`` return rows that anti-commute, otherwise"," return rows that commute (Default: ``False``).",""," Returns:"," array: index array of commuting or anti-commuting row."," \"\"\""," if not isinstance(other, PauliList):"," other = PauliList(other)"," comms = self.commutes(other[0])"," (inds,) = np.where(comms == int(not anti))"," for pauli in other[1:]:"," comms = self[inds].commutes(pauli)"," (new_inds,) = np.where(comms == int(not anti))"," if new_inds.size == 0:"," # No commuting rows"," return new_inds"," inds = inds[new_inds]"," return inds",""," def evolve("," self,"," other: Pauli | Clifford | QuantumCircuit,"," qargs: list | None = None,"," frame: Literal[\"h\", \"s\"] = \"h\","," ) -> Pauli:"," r\"\"\"Performs either Heisenberg (default) or Schrödinger picture"," evolution of the Pauli by a Clifford and returns the evolved Pauli.",""," Schrödinger picture evolution can be chosen by passing parameter ``frame='s'``."," This option yields a faster calculation.",""," Heisenberg picture evolves the Pauli as :math:`P^\\prime = C^\\dagger.P.C`.",""," Schrödinger picture evolves the Pauli as :math:`P^\\prime = C.P.C^\\dagger`.",""," Args:"," other (Pauli or Clifford or QuantumCircuit): The Clifford operator to evolve by."," qargs (list): a list of qubits to apply the Clifford to."," frame (string): ``'h'`` for Heisenberg (default) or ``'s'`` for Schrödinger framework.",""," Returns:"," PauliList: the Pauli :math:`C^\\dagger.P.C` (Heisenberg picture)"," or the Pauli :math:`C.P.C^\\dagger` (Schrödinger picture).",""," Raises:"," QiskitError: if the Clifford number of qubits and qargs don't match."," \"\"\""," from qiskit.circuit import Instruction",""," if qargs is None:"," qargs = getattr(other, \"qargs\", None)",""," if not isinstance(other, (BasePauli, Instruction, QuantumCircuit, Clifford)):"," # Convert to a PauliList"," other = PauliList(other)",""," return PauliList(super().evolve(other, qargs=qargs, frame=frame))",""," def to_labels(self, array: bool = False):"," r\"\"\"Convert a PauliList to a list Pauli string labels.",""," For large PauliLists converting using the ``array=True``"," kwarg will be more efficient since it allocates memory for"," the full Numpy array of labels in advance.",""," .. list-table:: Pauli Representations"," :header-rows: 1",""," * - Label"," - Symplectic"," - Matrix"," * - ``\"I\"``"," - :math:`[0, 0]`"," - :math:`\\begin{bmatrix} 1 & 0 \\\\ 0 & 1 \\end{bmatrix}`"," * - ``\"X\"``"," - :math:`[1, 0]`"," - :math:`\\begin{bmatrix} 0 & 1 \\\\ 1 & 0 \\end{bmatrix}`"," * - ``\"Y\"``"," - :math:`[1, 1]`"," - :math:`\\begin{bmatrix} 0 & -i \\\\ i & 0 \\end{bmatrix}`"," * - ``\"Z\"``"," - :math:`[0, 1]`"," - :math:`\\begin{bmatrix} 1 & 0 \\\\ 0 & -1 \\end{bmatrix}`",""," Args:"," array (bool): return a Numpy array if ``True``, otherwise"," return a list (Default: ``False``).",""," Returns:"," list or array: The rows of the PauliList in label form."," \"\"\""," if (self.phase == 1).any():"," prefix_len = 2"," elif (self.phase > 0).any():"," prefix_len = 1"," else:"," prefix_len = 0"," str_len = self.num_qubits + prefix_len"," ret = np.zeros(self.size, dtype=f\" list:"," r\"\"\"Convert to a list or array of Pauli matrices.",""," For large PauliLists converting using the ``array=True``"," kwarg will be more efficient since it allocates memory a full"," rank-3 Numpy array of matrices in advance.",""," .. list-table:: Pauli Representations"," :header-rows: 1",""," * - Label"," - Symplectic"," - Matrix"," * - ``\"I\"``"," - :math:`[0, 0]`"," - :math:`\\begin{bmatrix} 1 & 0 \\\\ 0 & 1 \\end{bmatrix}`"," * - ``\"X\"``"," - :math:`[1, 0]`"," - :math:`\\begin{bmatrix} 0 & 1 \\\\ 1 & 0 \\end{bmatrix}`"," * - ``\"Y\"``"," - :math:`[1, 1]`"," - :math:`\\begin{bmatrix} 0 & -i \\\\ i & 0 \\end{bmatrix}`"," * - ``\"Z\"``"," - :math:`[0, 1]`"," - :math:`\\begin{bmatrix} 1 & 0 \\\\ 0 & -1 \\end{bmatrix}`",""," Args:"," sparse (bool): if ``True`` return sparse CSR matrices, otherwise"," return dense Numpy arrays (Default: ``False``)."," array (bool): return as rank-3 numpy array if ``True``, otherwise"," return a list of Numpy arrays (Default: ``False``).",""," Returns:"," list: A list of dense Pauli matrices if ``array=False` and ``sparse=False`."," list: A list of sparse Pauli matrices if ``array=False`` and ``sparse=True``."," array: A dense rank-3 array of Pauli matrices if ``array=True``."," \"\"\""," if not array:"," # We return a list of Numpy array matrices"," return list(self.matrix_iter(sparse=sparse))"," # For efficiency we also allow returning a single rank-3"," # array where first index is the Pauli row, and second two"," # indices are the matrix indices"," dim = 2**self.num_qubits"," ret = np.zeros((self.size, dim, dim), dtype=complex)"," iterator = self.matrix_iter(sparse=sparse)"," for i in range(self.size):"," ret[i] = next(iterator)"," return ret",""," # ---------------------------------------------------------------------"," # Custom Iterators"," # ---------------------------------------------------------------------",""," def label_iter(self):"," \"\"\"Return a label representation iterator.",""," This is a lazy iterator that converts each row into the string"," label only as it is used. To convert the entire table to labels use"," the :meth:`to_labels` method.",""," Returns:"," LabelIterator: label iterator object for the PauliList."," \"\"\"",""," class LabelIterator(CustomIterator):"," \"\"\"Label representation iteration and item access.\"\"\"",""," def __repr__(self):"," return f\"\"",""," def __getitem__(self, key):"," return self.obj._to_label(self.obj._z[key], self.obj._x[key], self.obj._phase[key])",""," return LabelIterator(self)",""," def matrix_iter(self, sparse: bool = False):"," \"\"\"Return a matrix representation iterator.",""," This is a lazy iterator that converts each row into the Pauli matrix"," representation only as it is used. To convert the entire table to"," matrices 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):"," return self.obj._to_matrix("," self.obj._z[key], self.obj._x[key], self.obj._phase[key], sparse=sparse"," )",""," return MatrixIterator(self)",""," # ---------------------------------------------------------------------"," # Class methods"," # ---------------------------------------------------------------------",""," @classmethod"," def from_symplectic("," cls, z: np.ndarray, x: np.ndarray, phase: np.ndarray | None = 0"," ) -> PauliList:"," \"\"\"Construct a PauliList from a symplectic data.",""," Args:"," z (np.ndarray): 2D boolean Numpy array."," x (np.ndarray): 2D boolean Numpy array."," phase (np.ndarray or None): Optional, 1D integer array from Z_4.",""," Returns:"," PauliList: the constructed PauliList."," \"\"\""," base_z, base_x, base_phase = cls._from_array(z, x, phase)"," return cls(BasePauli(base_z, base_x, base_phase))",""," def _noncommutation_graph(self, qubit_wise):"," \"\"\"Create an edge list representing the non-commutation graph (Pauli Graph).",""," An edge (i, j) is present if i and j are not commutable.",""," Args:"," qubit_wise (bool): whether the commutation rule is applied to the whole operator,"," or on a per-qubit basis.",""," Returns:"," list[tuple[int,int]]: A list of pairs of indices of the PauliList that are not commutable."," \"\"\""," # convert a Pauli operator into int vector where {I: 0, X: 2, Y: 3, Z: 1}"," mat1 = np.array("," [op.z + 2 * op.x for op in self],"," dtype=np.int8,"," )"," mat2 = mat1[:, None]"," # This is 0 (false-y) iff one of the operators is the identity and/or both operators are the"," # same. In other cases, it is non-zero (truth-y)."," qubit_anticommutation_mat = (mat1 * mat2) * (mat1 - mat2)"," # 'adjacency_mat[i, j]' is True iff Paulis 'i' and 'j' do not commute in the given strategy."," if qubit_wise:"," adjacency_mat = np.logical_or.reduce(qubit_anticommutation_mat, axis=2)"," else:"," # Don't commute if there's an odd number of element-wise anti-commutations."," adjacency_mat = np.logical_xor.reduce(qubit_anticommutation_mat, axis=2)"," # Convert into list where tuple elements are non-commuting operators. We only want to"," # results from one triangle to avoid symmetric duplications."," return list(zip(*np.where(np.triu(adjacency_mat, k=1))))",""," def noncommutation_graph(self, qubit_wise: bool) -> rx.PyGraph:"," \"\"\"Create the non-commutation graph of this PauliList.",""," 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."," \"\"\""," edges = self._noncommutation_graph(qubit_wise)"," graph = rx.PyGraph()"," graph.add_nodes_from(range(self.size))"," graph.add_edges_from_no_data(edges)"," return graph",""," def _commuting_groups(self, qubit_wise: bool) -> dict[int, list[int]]:"," \"\"\"Partition a PauliList into sets of commuting Pauli strings.",""," This is the internal logic of the public ``PauliList.group_commuting`` method which returns"," a mapping of colors to Pauli indices. The same logic is re-used by"," ``SparsePauliOp.group_commuting``.",""," Args:"," qubit_wise (bool): whether the commutation rule is applied to the whole operator,"," or on a per-qubit basis.",""," Returns:"," dict[int, list[int]]: Dictionary of color indices mapping to a list of Pauli indices."," \"\"\""," graph = self.noncommutation_graph(qubit_wise)"," # Keys in coloring_dict are nodes, values are colors"," coloring_dict = rx.graph_greedy_color(graph)"," groups = defaultdict(list)"," for idx, color in coloring_dict.items():"," groups[color].append(idx)"," return groups",""," def group_qubit_wise_commuting(self) -> list[PauliList]:"," \"\"\"Partition a PauliList into sets of mutually qubit-wise commuting Pauli strings.",""," Returns:"," list[PauliList]: List of PauliLists where each PauliList contains commutable Pauli operators."," \"\"\""," return self.group_commuting(qubit_wise=True)",""," def group_commuting(self, qubit_wise: bool = False) -> list[PauliList]:"," \"\"\"Partition a PauliList 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",""," >>> from qiskit.quantum_info import PauliList"," >>> op = PauliList([\"XX\", \"YY\", \"IZ\", \"ZZ\"])"," >>> op.group_commuting()"," [PauliList(['XX', 'YY']), PauliList(['IZ', 'ZZ'])]"," >>> op.group_commuting(qubit_wise=True)"," [PauliList(['XX']), PauliList(['YY']), PauliList(['IZ', 'ZZ'])]",""," Returns:"," list[PauliList]: List of PauliLists where each PauliList contains commuting Pauli operators."," \"\"\""," groups = self._commuting_groups(qubit_wise)"," return [self[group] for group in groups.values()]"],"stylingDirectives":[[{"start":0,"end":30,"cssClass":"pl-c"}],[{"start":0,"end":1,"cssClass":"pl-c"}],[{"start":0,"end":30,"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":33,"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":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-k"},{"start":24,"end":35,"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":26,"cssClass":"pl-v"}],[],[{"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":19,"cssClass":"pl-s1"},{"start":20,"end":34,"cssClass":"pl-s1"},{"start":35,"end":41,"cssClass":"pl-k"},{"start":42,"end":56,"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":41,"cssClass":"pl-s1"},{"start":42,"end":48,"cssClass":"pl-k"},{"start":49,"end":59,"cssClass":"pl-v"},{"start":61,"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":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":54,"cssClass":"pl-s1"},{"start":55,"end":61,"cssClass":"pl-k"},{"start":62,"end":70,"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":5,"cssClass":"pl-k"},{"start":6,"end":15,"cssClass":"pl-v"},{"start":16,"end":25,"cssClass":"pl-v"},{"start":27,"end":38,"cssClass":"pl-v"},{"start":40,"end":50,"cssClass":"pl-v"}],[{"start":4,"end":40,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":58,"cssClass":"pl-s"}],[{"start":0,"end":65,"cssClass":"pl-s"}],[{"start":0,"end":55,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":58,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":91,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":55,"cssClass":"pl-s"}],[{"start":0,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":50,"cssClass":"pl-s"}],[{"start":0,"end":95,"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":0,"cssClass":"pl-s"}],[{"start":0,"end":19,"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":56,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":53,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":39,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":34,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":33,"cssClass":"pl-s"}],[{"start":0,"end":52,"cssClass":"pl-s"}],[{"start":0,"end":52,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":59,"cssClass":"pl-s"}],[{"start":0,"end":32,"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":32,"cssClass":"pl-s"}],[{"start":0,"end":19,"cssClass":"pl-s"}],[{"start":0,"end":26,"cssClass":"pl-s"}],[{"start":0,"end":26,"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":70,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":70,"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":50,"cssClass":"pl-s"}],[{"start":0,"end":47,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":47,"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":29,"cssClass":"pl-s"}],[{"start":0,"end":38,"cssClass":"pl-s"}],[{"start":0,"end":39,"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":75,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":55,"cssClass":"pl-s"}],[{"start":0,"end":7,"cssClass":"pl-s"}],[],[{"start":4,"end":68,"cssClass":"pl-c"}],[{"start":4,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-c1"}],[],[{"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-v"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":41,"cssClass":"pl-s1"}],[{"start":8,"end":36,"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":70,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":57,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":31,"cssClass":"pl-s"}],[{"start":0,"end":66,"cssClass":"pl-s"}],[{"start":0,"end":48,"cssClass":"pl-s"}],[{"start":0,"end":11,"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":37,"cssClass":"pl-v"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-s1"},{"start":28,"end":38,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":46,"end":48,"cssClass":"pl-s1"},{"start":50,"end":54,"cssClass":"pl-s1"},{"start":55,"end":57,"cssClass":"pl-s1"},{"start":59,"end":63,"cssClass":"pl-s1"},{"start":64,"end":70,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":46,"cssClass":"pl-c"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-s1"},{"start":28,"end":38,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":46,"end":58,"cssClass":"pl-en"},{"start":59,"end":63,"cssClass":"pl-s1"}],[],[{"start":8,"end":30,"cssClass":"pl-c"}],[{"start":8,"end":13,"cssClass":"pl-en"},{"start":16,"end":24,"cssClass":"pl-en"},{"start":25,"end":31,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":41,"end":51,"cssClass":"pl-s1"}],[],[{"start":4,"end":75,"cssClass":"pl-c"}],[{"start":4,"end":32,"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":16,"cssClass":"pl-en"},{"start":17,"end":21,"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":38,"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":29,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":30,"end":34,"cssClass":"pl-c1"}],[{"start":8,"end":36,"cssClass":"pl-s"}],[{"start":8,"end":41,"cssClass":"pl-c"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":17,"end":20,"cssClass":"pl-en"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":37,"end":39,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":44,"end":54,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":16,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-en"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":30,"end":35,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":36,"end":43,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":15,"end":18,"cssClass":"pl-s1"},{"start":19,"end":21,"cssClass":"pl-c1"},{"start":22,"end":31,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":48,"cssClass":"pl-en"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":24,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-s1"}],[],[{"start":4,"end":17,"cssClass":"pl-en"},{"start":5,"end":17,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":20,"cssClass":"pl-en"},{"start":21,"end":25,"cssClass":"pl-s1"}],[{"start":8,"end":59,"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":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":26,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":39,"end":44,"cssClass":"pl-s1"},{"start":46,"end":49,"cssClass":"pl-s1"},{"start":51,"end":53,"cssClass":"pl-s1"},{"start":54,"end":61,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":24,"cssClass":"pl-en"},{"start":25,"end":29,"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":26,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":58,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"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":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":19,"end":29,"cssClass":"pl-en"},{"start":30,"end":31,"cssClass":"pl-s1"},{"start":33,"end":38,"cssClass":"pl-v"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-en"},{"start":30,"end":35,"cssClass":"pl-v"},{"start":36,"end":37,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-en"},{"start":30,"end":31,"cssClass":"pl-s1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":31,"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":25,"cssClass":"pl-en"},{"start":27,"end":37,"cssClass":"pl-s1"},{"start":39,"end":49,"cssClass":"pl-s1"},{"start":52,"end":57,"cssClass":"pl-s1"},{"start":57,"end":58,"cssClass":"pl-c1"},{"start":58,"end":62,"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":27,"end":37,"cssClass":"pl-s1"},{"start":39,"end":49,"cssClass":"pl-s1"},{"start":52,"end":57,"cssClass":"pl-s1"},{"start":57,"end":58,"cssClass":"pl-c1"},{"start":58,"end":62,"cssClass":"pl-s1"}],[{"start":8,"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":40,"cssClass":"pl-s1"},{"start":42,"end":47,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":48,"end":51,"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":40,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-c1"},{"start":35,"end":45,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":32,"cssClass":"pl-v"}],[{"start":20,"end":82,"cssClass":"pl-s"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-kos"},{"start":27,"end":28,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-kos"},{"start":54,"end":72,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-kos"},{"start":55,"end":60,"cssClass":"pl-s1"},{"start":61,"end":71,"cssClass":"pl-s1"},{"start":71,"end":72,"cssClass":"pl-kos"}],[{"start":20,"end":67,"cssClass":"pl-s"},{"start":40,"end":52,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-kos"},{"start":41,"end":51,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-kos"}],[],[{"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":30,"end":32,"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":30,"end":32,"cssClass":"pl-s1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-s1"},{"start":41,"end":45,"cssClass":"pl-en"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-s1"},{"start":31,"end":41,"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":8,"end":37,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":34,"cssClass":"pl-en"},{"start":35,"end":39,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":15,"cssClass":"pl-en"},{"start":16,"end":20,"cssClass":"pl-s1"}],[{"start":8,"end":35,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":34,"cssClass":"pl-en"},{"start":35,"end":40,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":22,"cssClass":"pl-en"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":29,"end":39,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":31,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":28,"cssClass":"pl-s1"},{"start":29,"end":32,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":48,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":51,"end":52,"cssClass":"pl-c1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":42,"cssClass":"pl-s1"},{"start":43,"end":45,"cssClass":"pl-c1"},{"start":46,"end":50,"cssClass":"pl-s1"},{"start":51,"end":61,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":44,"cssClass":"pl-s1"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":33,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":18,"end":21,"cssClass":"pl-en"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-s1"},{"start":31,"end":34,"cssClass":"pl-k"},{"start":35,"end":36,"cssClass":"pl-s1"},{"start":37,"end":39,"cssClass":"pl-c1"},{"start":40,"end":45,"cssClass":"pl-en"},{"start":46,"end":50,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":29,"cssClass":"pl-s"},{"start":30,"end":32,"cssClass":"pl-k"},{"start":33,"end":43,"cssClass":"pl-s1"},{"start":44,"end":48,"cssClass":"pl-k"},{"start":49,"end":51,"cssClass":"pl-s"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-s"},{"start":19,"end":21,"cssClass":"pl-k"},{"start":22,"end":32,"cssClass":"pl-s1"},{"start":33,"end":37,"cssClass":"pl-k"},{"start":38,"end":40,"cssClass":"pl-s"}],[{"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-s1"},{"start":24,"end":35,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":29,"cssClass":"pl-s"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":36,"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":24,"cssClass":"pl-s"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":31,"cssClass":"pl-s1"}],[{"start":8,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":21,"cssClass":"pl-s1"},{"start":22,"end":34,"cssClass":"pl-en"}],[{"start":12,"end":14,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-en"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":30,"end":39,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":45,"end":46,"cssClass":"pl-c1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":50,"end":59,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-c1"},{"start":60,"end":64,"cssClass":"pl-s"},{"start":66,"end":72,"cssClass":"pl-s1"},{"start":72,"end":73,"cssClass":"pl-c1"},{"start":73,"end":79,"cssClass":"pl-s1"},{"start":81,"end":87,"cssClass":"pl-s1"},{"start":87,"end":88,"cssClass":"pl-c1"},{"start":88,"end":94,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":32,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":46,"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":53,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":33,"end":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":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":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":23,"cssClass":"pl-en"},{"start":24,"end":29,"cssClass":"pl-s1"}],[],[{"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":36,"cssClass":"pl-v"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":39,"end":44,"cssClass":"pl-v"},{"start":46,"end":48,"cssClass":"pl-c1"},{"start":49,"end":51,"cssClass":"pl-s1"},{"start":52,"end":59,"cssClass":"pl-s1"}],[{"start":8,"end":72,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"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":83,"cssClass":"pl-s"}],[{"start":0,"end":45,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":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":14,"cssClass":"pl-k"},{"start":15,"end":17,"cssClass":"pl-s1"},{"start":18,"end":21,"cssClass":"pl-en"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-s1"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":45,"end":46,"cssClass":"pl-c1"},{"start":46,"end":47,"cssClass":"pl-c1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":51,"end":53,"cssClass":"pl-s1"},{"start":54,"end":57,"cssClass":"pl-en"},{"start":58,"end":62,"cssClass":"pl-s1"},{"start":63,"end":64,"cssClass":"pl-s1"},{"start":65,"end":67,"cssClass":"pl-c1"},{"start":68,"end":73,"cssClass":"pl-s1"},{"start":74,"end":75,"cssClass":"pl-s1"},{"start":77,"end":81,"cssClass":"pl-s1"},{"start":81,"end":82,"cssClass":"pl-c1"},{"start":82,"end":83,"cssClass":"pl-c1"}],[],[{"start":4,"end":75,"cssClass":"pl-c"}],[{"start":4,"end":25,"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":13,"cssClass":"pl-en"},{"start":14,"end":18,"cssClass":"pl-s1"}],[{"start":8,"end":57,"cssClass":"pl-s"}],[{"start":8,"end":72,"cssClass":"pl-c"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":17,"cssClass":"pl-s1"},{"start":18,"end":21,"cssClass":"pl-en"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":33,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":41,"end":49,"cssClass":"pl-en"},{"start":50,"end":55,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-c1"},{"start":56,"end":60,"cssClass":"pl-s1"},{"start":61,"end":67,"cssClass":"pl-s1"},{"start":68,"end":73,"cssClass":"pl-s1"},{"start":76,"end":77,"cssClass":"pl-c1"}],[],[{"start":4,"end":17,"cssClass":"pl-en"},{"start":5,"end":10,"cssClass":"pl-s1"},{"start":11,"end":17,"cssClass":"pl-s1"}],[{"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":8,"end":71,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":19,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":27,"cssClass":"pl-s1"},{"start":28,"end":31,"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":53,"cssClass":"pl-en"},{"start":54,"end":59,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-c1"},{"start":60,"end":64,"cssClass":"pl-s1"},{"start":65,"end":71,"cssClass":"pl-s1"},{"start":72,"end":77,"cssClass":"pl-s1"},{"start":80,"end":81,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":9,"cssClass":"pl-en"},{"start":10,"end":14,"cssClass":"pl-s1"}],[{"start":8,"end":60,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-s1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":6,"cssClass":"pl-s1"},{"start":7,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":9,"cssClass":"pl-en"},{"start":10,"end":14,"cssClass":"pl-s1"},{"start":16,"end":19,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":15,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"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":9,"cssClass":"pl-en"},{"start":10,"end":14,"cssClass":"pl-s1"}],[{"start":8,"end":60,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-s1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":6,"cssClass":"pl-s1"},{"start":7,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":9,"cssClass":"pl-en"},{"start":10,"end":14,"cssClass":"pl-s1"},{"start":16,"end":19,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":15,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":24,"cssClass":"pl-s1"}],[],[{"start":4,"end":75,"cssClass":"pl-c"}],[{"start":4,"end":21,"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":13,"cssClass":"pl-en"},{"start":14,"end":18,"cssClass":"pl-s1"}],[{"start":8,"end":49,"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":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":48,"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":12,"cssClass":"pl-en"},{"start":13,"end":17,"cssClass":"pl-s1"}],[{"start":8,"end":52,"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":7,"cssClass":"pl-k"},{"start":8,"end":15,"cssClass":"pl-en"},{"start":16,"end":20,"cssClass":"pl-s1"}],[{"start":8,"end":59,"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":75,"cssClass":"pl-c"}],[{"start":4,"end":25,"cssClass":"pl-c"}],[{"start":4,"end":75,"cssClass":"pl-c"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":19,"cssClass":"pl-en"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":26,"end":31,"cssClass":"pl-s1"}],[{"start":8,"end":45,"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":27,"cssClass":"pl-s1"},{"start":29,"end":34,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":24,"cssClass":"pl-s1"},{"start":26,"end":28,"cssClass":"pl-c1"},{"start":29,"end":30,"cssClass":"pl-c1"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-k"},{"start":17,"end":20,"cssClass":"pl-en"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":31,"cssClass":"pl-c1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":32,"cssClass":"pl-v"},{"start":33,"end":67,"cssClass":"pl-s"},{"start":59,"end":66,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-kos"},{"start":60,"end":65,"cssClass":"pl-s1"},{"start":65,"end":66,"cssClass":"pl-kos"}],[],[{"start":8,"end":27,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-en"},{"start":22,"end":27,"cssClass":"pl-s1"},{"start":30,"end":33,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-s1"},{"start":38,"end":45,"cssClass":"pl-s1"}],[{"start":12,"end":26,"cssClass":"pl-c"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-v"}],[{"start":16,"end":25,"cssClass":"pl-v"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-s1"},{"start":31,"end":38,"cssClass":"pl-s1"},{"start":40,"end":45,"cssClass":"pl-s1"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-s1"},{"start":31,"end":38,"cssClass":"pl-s1"},{"start":40,"end":45,"cssClass":"pl-s1"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-s1"},{"start":35,"end":42,"cssClass":"pl-s1"},{"start":44,"end":49,"cssClass":"pl-s1"}],[],[],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":23,"cssClass":"pl-en"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":45,"end":47,"cssClass":"pl-s1"},{"start":48,"end":55,"cssClass":"pl-s1"}],[{"start":12,"end":28,"cssClass":"pl-c"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":28,"cssClass":"pl-v"},{"start":29,"end":38,"cssClass":"pl-v"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":44,"end":46,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-s1"},{"start":55,"end":59,"cssClass":"pl-s1"},{"start":60,"end":62,"cssClass":"pl-s1"},{"start":63,"end":68,"cssClass":"pl-s1"},{"start":71,"end":75,"cssClass":"pl-s1"},{"start":76,"end":82,"cssClass":"pl-s1"},{"start":83,"end":88,"cssClass":"pl-s1"}],[],[{"start":8,"end":32,"cssClass":"pl-c"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-s1"},{"start":34,"end":39,"cssClass":"pl-s1"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":49,"cssClass":"pl-s1"},{"start":50,"end":55,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":19,"cssClass":"pl-en"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":33,"end":38,"cssClass":"pl-s1"}],[{"start":8,"end":31,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-en"},{"start":22,"end":27,"cssClass":"pl-s1"},{"start":29,"end":34,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":24,"cssClass":"pl-s1"},{"start":26,"end":28,"cssClass":"pl-c1"},{"start":29,"end":30,"cssClass":"pl-c1"}],[{"start":16,"end":19,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-k"},{"start":17,"end":20,"cssClass":"pl-en"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":31,"cssClass":"pl-c1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":32,"cssClass":"pl-v"},{"start":33,"end":67,"cssClass":"pl-s"},{"start":59,"end":66,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-kos"},{"start":60,"end":65,"cssClass":"pl-s1"},{"start":65,"end":66,"cssClass":"pl-kos"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":19,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":34,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":30,"cssClass":"pl-s1"},{"start":32,"end":36,"cssClass":"pl-c1"}],[],[{"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":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":96,"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":28,"cssClass":"pl-s1"},{"start":29,"end":33,"cssClass":"pl-en"},{"start":36,"end":38,"cssClass":"pl-k"},{"start":39,"end":49,"cssClass":"pl-en"},{"start":50,"end":53,"cssClass":"pl-s1"},{"start":56,"end":59,"cssClass":"pl-s1"},{"start":61,"end":63,"cssClass":"pl-s1"},{"start":64,"end":71,"cssClass":"pl-s1"},{"start":74,"end":78,"cssClass":"pl-k"},{"start":79,"end":84,"cssClass":"pl-s1"},{"start":85,"end":91,"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":16,"cssClass":"pl-s1"},{"start":17,"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":35,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"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":35,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":27,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":36,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-s1"},{"start":20,"end":23,"cssClass":"pl-s1"},{"start":25,"end":30,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":39,"cssClass":"pl-s1"},{"start":40,"end":42,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-s1"},{"start":20,"end":23,"cssClass":"pl-s1"},{"start":25,"end":30,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":39,"cssClass":"pl-s1"},{"start":40,"end":42,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":27,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":37,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":26,"cssClass":"pl-c1"},{"start":27,"end":28,"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":24,"cssClass":"pl-s1"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":38,"end":43,"cssClass":"pl-s1"},{"start":45,"end":49,"cssClass":"pl-s1"},{"start":50,"end":51,"cssClass":"pl-c1"},{"start":52,"end":57,"cssClass":"pl-c1"},{"start":59,"end":61,"cssClass":"pl-c1"},{"start":62,"end":71,"cssClass":"pl-v"}],[{"start":8,"end":60,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":63,"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":51,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":58,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":68,"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":42,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-en"},{"start":22,"end":25,"cssClass":"pl-s1"},{"start":27,"end":30,"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":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":18,"cssClass":"pl-k"},{"start":19,"end":28,"cssClass":"pl-v"},{"start":29,"end":44,"cssClass":"pl-en"},{"start":45,"end":49,"cssClass":"pl-s1"},{"start":50,"end":52,"cssClass":"pl-s1"},{"start":54,"end":58,"cssClass":"pl-s1"},{"start":59,"end":61,"cssClass":"pl-s1"},{"start":63,"end":67,"cssClass":"pl-s1"},{"start":68,"end":73,"cssClass":"pl-s1"}],[{"start":8,"end":22,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":20,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":22,"cssClass":"pl-s1"},{"start":24,"end":26,"cssClass":"pl-c1"},{"start":27,"end":30,"cssClass":"pl-en"},{"start":31,"end":35,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":33,"cssClass":"pl-v"}],[{"start":20,"end":63,"cssClass":"pl-s"}],[{"start":20,"end":44,"cssClass":"pl-s"},{"start":45,"end":51,"cssClass":"pl-en"},{"start":52,"end":55,"cssClass":"pl-s1"},{"start":57,"end":60,"cssClass":"pl-en"},{"start":61,"end":65,"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":25,"cssClass":"pl-en"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-s1"},{"start":35,"end":38,"cssClass":"pl-s1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":45,"end":46,"cssClass":"pl-c1"}],[{"start":12,"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":26,"end":30,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-s1"},{"start":35,"end":38,"cssClass":"pl-s1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":45,"end":46,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-en"},{"start":30,"end":34,"cssClass":"pl-s1"},{"start":35,"end":41,"cssClass":"pl-s1"},{"start":43,"end":46,"cssClass":"pl-s1"}],[],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":28,"cssClass":"pl-v"},{"start":29,"end":38,"cssClass":"pl-v"},{"start":39,"end":40,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-s1"},{"start":45,"end":50,"cssClass":"pl-s1"}],[],[{"start":8,"end":33,"cssClass":"pl-c"}],[{"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":27,"cssClass":"pl-s1"},{"start":28,"end":38,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"}],[{"start":16,"end":64,"cssClass":"pl-s"}],[{"start":16,"end":47,"cssClass":"pl-s"},{"start":48,"end":54,"cssClass":"pl-en"},{"start":55,"end":58,"cssClass":"pl-s1"},{"start":60,"end":64,"cssClass":"pl-s1"},{"start":65,"end":75,"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":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-s1"},{"start":31,"end":34,"cssClass":"pl-s1"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":41,"end":42,"cssClass":"pl-c1"}],[{"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":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-s1"},{"start":31,"end":34,"cssClass":"pl-s1"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":41,"end":42,"cssClass":"pl-c1"}],[{"start":8,"end":75,"cssClass":"pl-c"}],[{"start":8,"end":29,"cssClass":"pl-c"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":40,"cssClass":"pl-en"},{"start":41,"end":42,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-s1"},{"start":47,"end":51,"cssClass":"pl-s1"},{"start":52,"end":57,"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":24,"cssClass":"pl-s1"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":31,"end":36,"cssClass":"pl-s1"},{"start":38,"end":47,"cssClass":"pl-v"},{"start":49,"end":54,"cssClass":"pl-s1"},{"start":56,"end":60,"cssClass":"pl-s1"},{"start":61,"end":62,"cssClass":"pl-c1"},{"start":63,"end":68,"cssClass":"pl-c1"},{"start":70,"end":72,"cssClass":"pl-c1"},{"start":73,"end":82,"cssClass":"pl-v"}],[{"start":8,"end":40,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":64,"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":42,"cssClass":"pl-s"}],[{"start":0,"end":48,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":58,"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":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":59,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":31,"end":34,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"},{"start":30,"end":64,"cssClass":"pl-s"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":33,"end":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":23,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":31,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":20,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":33,"cssClass":"pl-v"}],[{"start":20,"end":71,"cssClass":"pl-s"}],[{"start":20,"end":38,"cssClass":"pl-s"},{"start":39,"end":45,"cssClass":"pl-en"},{"start":46,"end":49,"cssClass":"pl-s1"},{"start":51,"end":55,"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":30,"cssClass":"pl-en"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-s1"},{"start":40,"end":43,"cssClass":"pl-s1"},{"start":45,"end":50,"cssClass":"pl-s1"},{"start":51,"end":53,"cssClass":"pl-s1"},{"start":55,"end":59,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-c1"},{"start":60,"end":61,"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":30,"cssClass":"pl-en"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-s1"},{"start":40,"end":43,"cssClass":"pl-s1"},{"start":45,"end":50,"cssClass":"pl-s1"},{"start":51,"end":53,"cssClass":"pl-s1"},{"start":55,"end":59,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-c1"},{"start":60,"end":61,"cssClass":"pl-c1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":27,"cssClass":"pl-s1"},{"start":28,"end":34,"cssClass":"pl-en"},{"start":35,"end":39,"cssClass":"pl-s1"},{"start":40,"end":46,"cssClass":"pl-s1"},{"start":48,"end":51,"cssClass":"pl-s1"},{"start":53,"end":58,"cssClass":"pl-s1"},{"start":59,"end":65,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":28,"cssClass":"pl-v"},{"start":29,"end":38,"cssClass":"pl-v"},{"start":39,"end":45,"cssClass":"pl-s1"},{"start":47,"end":53,"cssClass":"pl-s1"},{"start":55,"end":65,"cssClass":"pl-s1"}],[],[{"start":8,"end":26,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":32,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"}],[{"start":16,"end":59,"cssClass":"pl-s"}],[{"start":16,"end":40,"cssClass":"pl-s"},{"start":41,"end":47,"cssClass":"pl-en"},{"start":48,"end":51,"cssClass":"pl-s1"},{"start":53,"end":57,"cssClass":"pl-s1"},{"start":58,"end":68,"cssClass":"pl-s1"}],[],[{"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":26,"cssClass":"pl-c1"}],[{"start":12,"end":40,"cssClass":"pl-c"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":40,"end":45,"cssClass":"pl-s1"},{"start":46,"end":47,"cssClass":"pl-s1"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":40,"end":45,"cssClass":"pl-s1"},{"start":46,"end":47,"cssClass":"pl-s1"}],[{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":28,"cssClass":"pl-s1"},{"start":29,"end":35,"cssClass":"pl-en"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":44,"end":49,"cssClass":"pl-s1"},{"start":50,"end":55,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":16,"cssClass":"pl-en"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":24,"end":26,"cssClass":"pl-c1"},{"start":27,"end":31,"cssClass":"pl-s1"}],[{"start":12,"end":46,"cssClass":"pl-c"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-s1"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-s1"}],[{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":32,"end":37,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":39,"cssClass":"pl-c"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"}],[{"start":16,"end":60,"cssClass":"pl-s"}],[{"start":16,"end":61,"cssClass":"pl-s"}],[{"start":16,"end":24,"cssClass":"pl-s"},{"start":25,"end":31,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"}],[],[{"start":8,"end":35,"cssClass":"pl-c"}],[{"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":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-s1"},{"start":34,"end":37,"cssClass":"pl-s1"},{"start":40,"end":47,"cssClass":"pl-s1"},{"start":49,"end":53,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-s1"},{"start":59,"end":62,"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":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-s1"},{"start":34,"end":37,"cssClass":"pl-s1"},{"start":40,"end":47,"cssClass":"pl-s1"},{"start":49,"end":53,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-s1"},{"start":59,"end":62,"cssClass":"pl-s1"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":40,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":40,"cssClass":"pl-en"},{"start":41,"end":42,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":15,"cssClass":"pl-en"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":22,"end":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":44,"end":49,"cssClass":"pl-s1"},{"start":51,"end":55,"cssClass":"pl-s1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":58,"end":63,"cssClass":"pl-c1"},{"start":65,"end":67,"cssClass":"pl-c1"},{"start":68,"end":70,"cssClass":"pl-s1"},{"start":71,"end":78,"cssClass":"pl-s1"}],[{"start":8,"end":60,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":86,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":47,"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":39,"cssClass":"pl-c"}],[{"start":8,"end":40,"cssClass":"pl-c"}],[{"start":8,"end":9,"cssClass":"pl-s1"},{"start":10,"end":11,"cssClass":"pl-c1"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-s1"}],[{"start":8,"end":9,"cssClass":"pl-s1"},{"start":10,"end":11,"cssClass":"pl-c1"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-s1"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":21,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":26,"end":27,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":36,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":41,"cssClass":"pl-s1"},{"start":43,"end":44,"cssClass":"pl-c1"},{"start":45,"end":46,"cssClass":"pl-c1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":50,"end":51,"cssClass":"pl-c1"},{"start":51,"end":52,"cssClass":"pl-s1"},{"start":53,"end":54,"cssClass":"pl-c1"},{"start":55,"end":56,"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":27,"cssClass":"pl-s1"}],[{"start":8,"end":44,"cssClass":"pl-c"}],[{"start":8,"end":50,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":17,"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":28,"cssClass":"pl-en"},{"start":29,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":34,"cssClass":"pl-s1"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":41,"end":42,"cssClass":"pl-c1"}],[],[{"start":8,"end":58,"cssClass":"pl-c"}],[{"start":8,"end":42,"cssClass":"pl-c"}],[{"start":8,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-en"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":44,"cssClass":"pl-s1"}],[],[{"start":8,"end":32,"cssClass":"pl-c"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":26,"cssClass":"pl-s1"},{"start":27,"end":34,"cssClass":"pl-en"},{"start":35,"end":39,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":40,"end":48,"cssClass":"pl-s"}],[{"start":8,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":25,"cssClass":"pl-s1"},{"start":26,"end":35,"cssClass":"pl-s1"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":31,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"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":37,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":17,"cssClass":"pl-s1"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":29,"cssClass":"pl-s1"},{"start":30,"end":39,"cssClass":"pl-s1"}],[],[{"start":8,"end":23,"cssClass":"pl-c"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":22,"cssClass":"pl-en"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":38,"cssClass":"pl-s1"}],[{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-s1"},{"start":36,"end":43,"cssClass":"pl-en"},{"start":44,"end":48,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":49,"end":57,"cssClass":"pl-s"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":35,"cssClass":"pl-s1"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":29,"cssClass":"pl-s1"},{"start":30,"end":39,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"}],[{"start":16,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":33,"cssClass":"pl-s1"},{"start":34,"end":43,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":20,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":31,"cssClass":"pl-s1"},{"start":32,"end":41,"cssClass":"pl-s1"}],[],[{"start":8,"end":62,"cssClass":"pl-c"}],[{"start":8,"end":32,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":17,"cssClass":"pl-s1"}],[{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":31,"cssClass":"pl-s1"},{"start":32,"end":39,"cssClass":"pl-en"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":45,"end":53,"cssClass":"pl-s"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":29,"cssClass":"pl-s1"},{"start":30,"end":39,"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":37,"cssClass":"pl-s1"}],[],[{"start":8,"end":72,"cssClass":"pl-c"}],[{"start":8,"end":23,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":44,"cssClass":"pl-en"},{"start":45,"end":49,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":50,"end":58,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":22,"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":41,"end":46,"cssClass":"pl-s1"},{"start":48,"end":52,"cssClass":"pl-s1"},{"start":53,"end":54,"cssClass":"pl-c1"},{"start":55,"end":60,"cssClass":"pl-c1"},{"start":62,"end":64,"cssClass":"pl-c1"},{"start":65,"end":74,"cssClass":"pl-v"}],[{"start":8,"end":38,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":73,"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":68,"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":44,"cssClass":"pl-s"}],[{"start":0,"end":63,"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":69,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":27,"cssClass":"pl-s"}],[{"start":0,"end":34,"cssClass":"pl-s"}],[{"start":0,"end":37,"cssClass":"pl-s"}],[{"start":0,"end":21,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":27,"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":38,"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":84,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":25,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":36,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":86,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":47,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":59,"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":24,"cssClass":"pl-s1"},{"start":25,"end":32,"cssClass":"pl-en"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"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":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":14,"cssClass":"pl-en"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":21,"end":33,"cssClass":"pl-s1"},{"start":35,"end":39,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":42,"end":47,"cssClass":"pl-c1"},{"start":49,"end":62,"cssClass":"pl-s1"},{"start":64,"end":68,"cssClass":"pl-s1"},{"start":69,"end":70,"cssClass":"pl-c1"},{"start":71,"end":76,"cssClass":"pl-c1"},{"start":78,"end":80,"cssClass":"pl-c1"},{"start":81,"end":90,"cssClass":"pl-v"}],[{"start":8,"end":47,"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":23,"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":70,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":25,"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":44,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":60,"cssClass":"pl-s"}],[{"start":0,"end":53,"cssClass":"pl-s"}],[{"start":0,"end":78,"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":29,"cssClass":"pl-s"}],[{"start":0,"end":45,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":48,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":45,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":51,"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":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-s1"},{"start":30,"end":32,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":44,"cssClass":"pl-s1"},{"start":45,"end":46,"cssClass":"pl-c1"}],[{"start":12,"end":82,"cssClass":"pl-c"}],[{"start":12,"end":65,"cssClass":"pl-c"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-en"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-s1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":45,"end":47,"cssClass":"pl-s1"},{"start":49,"end":53,"cssClass":"pl-s1"},{"start":54,"end":59,"cssClass":"pl-s1"},{"start":60,"end":67,"cssClass":"pl-en"},{"start":69,"end":73,"cssClass":"pl-s1"},{"start":74,"end":79,"cssClass":"pl-s1"},{"start":80,"end":85,"cssClass":"pl-s1"},{"start":86,"end":87,"cssClass":"pl-c1"},{"start":90,"end":91,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":79,"cssClass":"pl-c"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-en"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-s1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":45,"end":47,"cssClass":"pl-s1"}],[],[{"start":8,"end":39,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":24,"cssClass":"pl-s1"}],[{"start":12,"end":13,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":22,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-en"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":48,"end":60,"cssClass":"pl-s1"},{"start":60,"end":61,"cssClass":"pl-c1"},{"start":61,"end":65,"cssClass":"pl-c1"},{"start":67,"end":80,"cssClass":"pl-s1"},{"start":80,"end":81,"cssClass":"pl-c1"},{"start":81,"end":85,"cssClass":"pl-c1"},{"start":87,"end":91,"cssClass":"pl-s1"},{"start":91,"end":92,"cssClass":"pl-c1"},{"start":92,"end":93,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":13,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":25,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-en"},{"start":33,"end":38,"cssClass":"pl-s1"},{"start":40,"end":52,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":53,"end":57,"cssClass":"pl-c1"},{"start":59,"end":63,"cssClass":"pl-s1"},{"start":63,"end":64,"cssClass":"pl-c1"},{"start":64,"end":65,"cssClass":"pl-c1"}],[],[{"start":8,"end":77,"cssClass":"pl-c"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":33,"cssClass":"pl-en"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":31,"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":36,"cssClass":"pl-v"},{"start":37,"end":41,"cssClass":"pl-s1"},{"start":42,"end":44,"cssClass":"pl-s1"},{"start":45,"end":50,"cssClass":"pl-s1"},{"start":53,"end":57,"cssClass":"pl-s1"},{"start":58,"end":60,"cssClass":"pl-s1"},{"start":61,"end":66,"cssClass":"pl-s1"},{"start":69,"end":73,"cssClass":"pl-s1"},{"start":74,"end":80,"cssClass":"pl-s1"},{"start":81,"end":86,"cssClass":"pl-s1"}],[],[{"start":8,"end":35,"cssClass":"pl-c"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":15,"end":21,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":23,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":24,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-c1"},{"start":20,"end":26,"cssClass":"pl-s1"},{"start":27,"end":36,"cssClass":"pl-s1"}],[{"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":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-s1"}],[],[{"start":4,"end":75,"cssClass":"pl-c"}],[{"start":4,"end":26,"cssClass":"pl-c"}],[{"start":4,"end":75,"cssClass":"pl-c"}],[],[{"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":37,"cssClass":"pl-v"},{"start":39,"end":41,"cssClass":"pl-c1"},{"start":42,"end":51,"cssClass":"pl-v"}],[{"start":8,"end":65,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":57,"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":74,"cssClass":"pl-s"}],[{"start":0,"end":42,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":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":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":33,"end":39,"cssClass":"pl-en"},{"start":40,"end":45,"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":37,"cssClass":"pl-v"},{"start":39,"end":41,"cssClass":"pl-c1"},{"start":42,"end":51,"cssClass":"pl-v"}],[{"start":8,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":57,"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":74,"cssClass":"pl-s"}],[{"start":0,"end":42,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":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":14,"cssClass":"pl-en"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":22,"end":25,"cssClass":"pl-c1"},{"start":26,"end":28,"cssClass":"pl-c1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":36,"cssClass":"pl-en"},{"start":37,"end":41,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"}],[{"start":16,"end":59,"cssClass":"pl-s"}],[{"start":16,"end":61,"cssClass":"pl-s"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":33,"end":39,"cssClass":"pl-en"},{"start":40,"end":45,"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":8,"end":13,"cssClass":"pl-s1"},{"start":15,"end":24,"cssClass":"pl-v"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":15,"end":19,"cssClass":"pl-c1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":33,"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":27,"cssClass":"pl-c1"}],[{"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":18,"cssClass":"pl-v"}],[{"start":8,"end":72,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":51,"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":74,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":53,"cssClass":"pl-s"}],[{"start":0,"end":11,"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":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":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":14,"cssClass":"pl-en"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":22,"end":25,"cssClass":"pl-c1"},{"start":26,"end":28,"cssClass":"pl-c1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":36,"cssClass":"pl-en"},{"start":37,"end":41,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":29,"cssClass":"pl-v"}],[{"start":16,"end":59,"cssClass":"pl-s"}],[{"start":16,"end":61,"cssClass":"pl-s"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":33,"end":40,"cssClass":"pl-en"},{"start":41,"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":61,"end":66,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":67,"end":72,"cssClass":"pl-s1"},{"start":74,"end":81,"cssClass":"pl-s1"},{"start":81,"end":82,"cssClass":"pl-c1"},{"start":82,"end":89,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":11,"cssClass":"pl-en"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":18,"end":23,"cssClass":"pl-s1"},{"start":25,"end":34,"cssClass":"pl-v"},{"start":36,"end":41,"cssClass":"pl-s1"},{"start":43,"end":47,"cssClass":"pl-c1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-c1"},{"start":57,"end":61,"cssClass":"pl-c1"},{"start":63,"end":70,"cssClass":"pl-s1"},{"start":72,"end":76,"cssClass":"pl-s1"},{"start":77,"end":78,"cssClass":"pl-c1"},{"start":79,"end":84,"cssClass":"pl-c1"},{"start":86,"end":88,"cssClass":"pl-c1"},{"start":89,"end":98,"cssClass":"pl-v"}],[{"start":8,"end":72,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":51,"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":74,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":53,"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":27,"cssClass":"pl-en"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":35,"end":40,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":48,"end":53,"cssClass":"pl-s1"},{"start":53,"end":54,"cssClass":"pl-c1"},{"start":54,"end":58,"cssClass":"pl-c1"},{"start":60,"end":67,"cssClass":"pl-s1"},{"start":67,"end":68,"cssClass":"pl-c1"},{"start":68,"end":75,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":12,"cssClass":"pl-en"},{"start":13,"end":17,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-s1"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":32,"end":36,"cssClass":"pl-c1"}],[{"start":8,"end":33,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":67,"cssClass":"pl-s"}],[{"start":0,"end":56,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":45,"cssClass":"pl-s"}],[{"start":0,"end":63,"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":66,"cssClass":"pl-s"}],[{"start":0,"end":11,"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":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":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":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":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":23,"cssClass":"pl-s1"},{"start":24,"end":30,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-s1"},{"start":45,"end":50,"cssClass":"pl-s1"},{"start":51,"end":57,"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":25,"end":27,"cssClass":"pl-c1"},{"start":29,"end":35,"cssClass":"pl-en"},{"start":36,"end":41,"cssClass":"pl-s1"},{"start":43,"end":45,"cssClass":"pl-c1"},{"start":46,"end":51,"cssClass":"pl-s1"},{"start":52,"end":55,"cssClass":"pl-c1"},{"start":56,"end":59,"cssClass":"pl-en"},{"start":60,"end":65,"cssClass":"pl-s1"},{"start":67,"end":69,"cssClass":"pl-c1"},{"start":70,"end":74,"cssClass":"pl-s1"},{"start":75,"end":85,"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":30,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":39,"cssClass":"pl-s1"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":47,"end":49,"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":30,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":39,"cssClass":"pl-s1"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":47,"end":49,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":50,"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":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-en"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":53,"cssClass":"pl-s1"},{"start":56,"end":61,"cssClass":"pl-s1"},{"start":61,"end":62,"cssClass":"pl-c1"},{"start":62,"end":66,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-en"},{"start":26,"end":31,"cssClass":"pl-s1"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":53,"cssClass":"pl-s1"},{"start":56,"end":61,"cssClass":"pl-s1"},{"start":61,"end":62,"cssClass":"pl-c1"},{"start":62,"end":66,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-en"},{"start":25,"end":30,"cssClass":"pl-s1"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":43,"end":46,"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":35,"cssClass":"pl-en"},{"start":36,"end":41,"cssClass":"pl-s1"},{"start":43,"end":48,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":49,"end":54,"cssClass":"pl-s1"},{"start":56,"end":63,"cssClass":"pl-s1"},{"start":63,"end":64,"cssClass":"pl-c1"},{"start":64,"end":68,"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":30,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":39,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-s1"},{"start":48,"end":50,"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":30,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":39,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-s1"},{"start":48,"end":50,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":34,"cssClass":"pl-v"},{"start":35,"end":41,"cssClass":"pl-s1"},{"start":43,"end":49,"cssClass":"pl-s1"},{"start":51,"end":61,"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":8,"end":54,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"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":55,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":33,"end":42,"cssClass":"pl-en"},{"start":43,"end":48,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"},{"start":18,"end":22,"cssClass":"pl-s1"}],[{"start":8,"end":61,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":33,"end":42,"cssClass":"pl-en"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":17,"cssClass":"pl-en"},{"start":18,"end":22,"cssClass":"pl-s1"}],[{"start":8,"end":61,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":33,"end":42,"cssClass":"pl-en"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":15,"cssClass":"pl-en"},{"start":16,"end":20,"cssClass":"pl-s1"}],[{"start":8,"end":59,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":33,"end":40,"cssClass":"pl-en"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":15,"cssClass":"pl-en"},{"start":16,"end":20,"cssClass":"pl-s1"}],[{"start":8,"end":59,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":33,"end":40,"cssClass":"pl-en"}],[],[{"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":16,"cssClass":"pl-en"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":30,"end":39,"cssClass":"pl-v"},{"start":41,"end":46,"cssClass":"pl-s1"},{"start":48,"end":52,"cssClass":"pl-s1"},{"start":53,"end":54,"cssClass":"pl-c1"},{"start":55,"end":59,"cssClass":"pl-c1"},{"start":60,"end":61,"cssClass":"pl-c1"},{"start":62,"end":66,"cssClass":"pl-c1"},{"start":68,"end":70,"cssClass":"pl-c1"},{"start":71,"end":75,"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":58,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":11,"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":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":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":14,"cssClass":"pl-k"},{"start":15,"end":20,"cssClass":"pl-en"},{"start":23,"end":31,"cssClass":"pl-en"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":39,"end":44,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":45,"end":50,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":20,"cssClass":"pl-en"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":27,"end":32,"cssClass":"pl-s1"},{"start":34,"end":43,"cssClass":"pl-v"},{"start":45,"end":50,"cssClass":"pl-s1"},{"start":52,"end":56,"cssClass":"pl-s1"},{"start":57,"end":58,"cssClass":"pl-c1"},{"start":59,"end":63,"cssClass":"pl-c1"},{"start":64,"end":65,"cssClass":"pl-c1"},{"start":66,"end":70,"cssClass":"pl-c1"},{"start":72,"end":74,"cssClass":"pl-c1"},{"start":75,"end":79,"cssClass":"pl-s1"}],[{"start":8,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":58,"cssClass":"pl-s"}],[{"start":0,"end":77,"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":11,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":17,"cssClass":"pl-s1"},{"start":18,"end":29,"cssClass":"pl-en"},{"start":30,"end":34,"cssClass":"pl-s1"},{"start":35,"end":43,"cssClass":"pl-en"},{"start":44,"end":49,"cssClass":"pl-s1"},{"start":51,"end":56,"cssClass":"pl-s1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":57,"end":62,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":25,"cssClass":"pl-en"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":39,"end":48,"cssClass":"pl-v"},{"start":50,"end":52,"cssClass":"pl-c1"},{"start":53,"end":55,"cssClass":"pl-s1"},{"start":56,"end":63,"cssClass":"pl-s1"}],[{"start":8,"end":57,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"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":53,"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":38,"cssClass":"pl-en"},{"start":39,"end":44,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":29,"cssClass":"pl-en"},{"start":30,"end":34,"cssClass":"pl-s1"},{"start":36,"end":41,"cssClass":"pl-s1"},{"start":43,"end":52,"cssClass":"pl-v"},{"start":54,"end":56,"cssClass":"pl-c1"},{"start":57,"end":59,"cssClass":"pl-s1"},{"start":60,"end":67,"cssClass":"pl-s1"}],[{"start":8,"end":53,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"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":58,"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":38,"cssClass":"pl-en"},{"start":39,"end":44,"cssClass":"pl-s1"},{"start":46,"end":50,"cssClass":"pl-s1"},{"start":50,"end":51,"cssClass":"pl-c1"},{"start":51,"end":55,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":26,"cssClass":"pl-en"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":33,"end":38,"cssClass":"pl-s1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":45,"end":50,"cssClass":"pl-c1"}],[{"start":8,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":43,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":66,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":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":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":29,"cssClass":"pl-en"},{"start":30,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"}],[{"start":9,"end":13,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":20,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-en"},{"start":27,"end":32,"cssClass":"pl-s1"},{"start":33,"end":35,"cssClass":"pl-c1"},{"start":36,"end":39,"cssClass":"pl-en"},{"start":40,"end":43,"cssClass":"pl-c1"},{"start":44,"end":48,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":31,"end":39,"cssClass":"pl-en"},{"start":40,"end":45,"cssClass":"pl-s1"}],[{"start":13,"end":21,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":28,"cssClass":"pl-s1"},{"start":29,"end":34,"cssClass":"pl-en"},{"start":35,"end":40,"cssClass":"pl-s1"},{"start":41,"end":43,"cssClass":"pl-c1"},{"start":44,"end":47,"cssClass":"pl-en"},{"start":48,"end":51,"cssClass":"pl-c1"},{"start":52,"end":56,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":33,"cssClass":"pl-c1"}],[{"start":16,"end":35,"cssClass":"pl-c"}],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":31,"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":32,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":14,"cssClass":"pl-en"}],[{"start":8,"end":12,"cssClass":"pl-s1"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-v"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":31,"cssClass":"pl-v"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":48,"cssClass":"pl-v"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-c1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-c1"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":15,"end":22,"cssClass":"pl-v"},{"start":23,"end":26,"cssClass":"pl-s"},{"start":28,"end":31,"cssClass":"pl-s"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":35,"end":38,"cssClass":"pl-s"}],[{"start":6,"end":8,"cssClass":"pl-c1"},{"start":9,"end":14,"cssClass":"pl-v"}],[{"start":8,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":87,"cssClass":"pl-s"}],[{"start":0,"end":48,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":81,"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":13,"cssClass":"pl-s"}],[{"start":0,"end":92,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":19,"cssClass":"pl-s1"},{"start":20,"end":27,"cssClass":"pl-s1"},{"start":28,"end":34,"cssClass":"pl-k"},{"start":35,"end":46,"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":34,"end":43,"cssClass":"pl-v"},{"start":45,"end":56,"cssClass":"pl-v"},{"start":58,"end":72,"cssClass":"pl-v"},{"start":74,"end":82,"cssClass":"pl-v"}],[{"start":12,"end":36,"cssClass":"pl-c"}],[{"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":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-v"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":33,"end":39,"cssClass":"pl-en"},{"start":40,"end":45,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-c1"},{"start":53,"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-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":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":43,"cssClass":"pl-c1"}],[{"start":8,"end":62,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":64,"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":45,"cssClass":"pl-s"}],[{"start":0,"end":27,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":21,"cssClass":"pl-s"}],[{"start":0,"end":26,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":23,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":23,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":23,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":23,"cssClass":"pl-s"}],[{"start":0,"end":30,"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":69,"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":67,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":25,"cssClass":"pl-c1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":29,"end":32,"cssClass":"pl-en"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":26,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":14,"end":18,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":30,"end":33,"cssClass":"pl-en"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":26,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":26,"cssClass":"pl-c1"}],[{"start":8,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":22,"cssClass":"pl-s1"},{"start":23,"end":33,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":16,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-en"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":34,"end":39,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":40,"end":54,"cssClass":"pl-s"},{"start":44,"end":53,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-kos"},{"start":45,"end":52,"cssClass":"pl-s1"},{"start":52,"end":53,"cssClass":"pl-kos"}],[{"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-en"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":22,"cssClass":"pl-en"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":32,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-en"},{"start":26,"end":34,"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":22,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-s1"},{"start":19,"end":25,"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":51,"cssClass":"pl-s1"},{"start":53,"end":57,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-c1"},{"start":60,"end":65,"cssClass":"pl-c1"},{"start":67,"end":69,"cssClass":"pl-c1"},{"start":70,"end":74,"cssClass":"pl-s1"}],[{"start":8,"end":57,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":64,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":50,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":45,"cssClass":"pl-s"}],[{"start":0,"end":27,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":21,"cssClass":"pl-s"}],[{"start":0,"end":26,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":23,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":23,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":23,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":23,"cssClass":"pl-s"}],[{"start":0,"end":30,"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":76,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":87,"cssClass":"pl-s"}],[{"start":0,"end":89,"cssClass":"pl-s"}],[{"start":0,"end":76,"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-s1"}],[{"start":12,"end":54,"cssClass":"pl-c"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":40,"cssClass":"pl-en"},{"start":41,"end":47,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":48,"end":54,"cssClass":"pl-s1"}],[{"start":8,"end":64,"cssClass":"pl-c"}],[{"start":8,"end":66,"cssClass":"pl-c"}],[{"start":8,"end":40,"cssClass":"pl-c"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":15,"end":17,"cssClass":"pl-c1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":32,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":16,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":35,"end":38,"cssClass":"pl-s1"},{"start":40,"end":43,"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":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":35,"cssClass":"pl-en"},{"start":36,"end":42,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":43,"end":49,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":22,"cssClass":"pl-en"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":32,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-en"},{"start":26,"end":34,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"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":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":70,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":37,"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":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":71,"cssClass":"pl-s"},{"start":54,"end":69,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-kos"},{"start":55,"end":58,"cssClass":"pl-en"},{"start":59,"end":61,"cssClass":"pl-en"},{"start":62,"end":66,"cssClass":"pl-s1"},{"start":68,"end":69,"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":22,"cssClass":"pl-k"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":31,"cssClass":"pl-s1"},{"start":32,"end":41,"cssClass":"pl-en"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":50,"cssClass":"pl-s1"},{"start":51,"end":53,"cssClass":"pl-s1"},{"start":54,"end":57,"cssClass":"pl-s1"},{"start":60,"end":64,"cssClass":"pl-s1"},{"start":65,"end":68,"cssClass":"pl-s1"},{"start":69,"end":71,"cssClass":"pl-s1"},{"start":72,"end":75,"cssClass":"pl-s1"},{"start":78,"end":82,"cssClass":"pl-s1"},{"start":83,"end":86,"cssClass":"pl-s1"},{"start":87,"end":93,"cssClass":"pl-s1"},{"start":94,"end":97,"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":73,"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":77,"cssClass":"pl-s"}],[{"start":0,"end":64,"cssClass":"pl-s"}],[{"start":0,"end":47,"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":72,"cssClass":"pl-s"},{"start":55,"end":70,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-kos"},{"start":56,"end":59,"cssClass":"pl-en"},{"start":60,"end":62,"cssClass":"pl-en"},{"start":63,"end":67,"cssClass":"pl-s1"},{"start":69,"end":70,"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":22,"cssClass":"pl-k"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":31,"cssClass":"pl-s1"},{"start":32,"end":42,"cssClass":"pl-en"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-s1"},{"start":32,"end":35,"cssClass":"pl-s1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":46,"cssClass":"pl-s1"},{"start":47,"end":49,"cssClass":"pl-s1"},{"start":50,"end":53,"cssClass":"pl-s1"},{"start":56,"end":60,"cssClass":"pl-s1"},{"start":61,"end":64,"cssClass":"pl-s1"},{"start":65,"end":71,"cssClass":"pl-s1"},{"start":72,"end":75,"cssClass":"pl-s1"},{"start":78,"end":84,"cssClass":"pl-s1"},{"start":84,"end":85,"cssClass":"pl-c1"},{"start":85,"end":91,"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":75,"cssClass":"pl-c"}],[{"start":4,"end":19,"cssClass":"pl-c"}],[{"start":4,"end":75,"cssClass":"pl-c"}],[],[{"start":4,"end":16,"cssClass":"pl-en"},{"start":5,"end":16,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":23,"cssClass":"pl-en"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-s1"},{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":26,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-s1"},{"start":34,"end":41,"cssClass":"pl-s1"},{"start":43,"end":48,"cssClass":"pl-s1"},{"start":50,"end":52,"cssClass":"pl-s1"},{"start":53,"end":60,"cssClass":"pl-s1"},{"start":61,"end":62,"cssClass":"pl-c1"},{"start":63,"end":67,"cssClass":"pl-c1"},{"start":68,"end":69,"cssClass":"pl-c1"},{"start":70,"end":71,"cssClass":"pl-c1"}],[{"start":6,"end":8,"cssClass":"pl-c1"},{"start":9,"end":18,"cssClass":"pl-v"}],[{"start":8,"end":56,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":51,"cssClass":"pl-s"}],[{"start":0,"end":51,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":16,"end":22,"cssClass":"pl-s1"},{"start":24,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":40,"cssClass":"pl-s1"},{"start":41,"end":52,"cssClass":"pl-en"},{"start":53,"end":54,"cssClass":"pl-s1"},{"start":56,"end":57,"cssClass":"pl-s1"},{"start":59,"end":64,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":28,"cssClass":"pl-v"},{"start":29,"end":35,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-s1"},{"start":45,"end":55,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":29,"cssClass":"pl-en"},{"start":30,"end":34,"cssClass":"pl-s1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":8,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":64,"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":102,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":81,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":17,"cssClass":"pl-s1"},{"start":18,"end":23,"cssClass":"pl-en"}],[{"start":13,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-s1"},{"start":29,"end":32,"cssClass":"pl-k"},{"start":33,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":18,"end":20,"cssClass":"pl-s1"},{"start":21,"end":25,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":23,"end":27,"cssClass":"pl-c1"}],[{"start":8,"end":100,"cssClass":"pl-c"}],[{"start":8,"end":58,"cssClass":"pl-c"}],[{"start":8,"end":33,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":37,"end":41,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":44,"end":48,"cssClass":"pl-s1"},{"start":50,"end":51,"cssClass":"pl-c1"},{"start":53,"end":57,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-c1"},{"start":60,"end":64,"cssClass":"pl-s1"}],[{"start":8,"end":100,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-s1"}],[{"start":12,"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-s1"},{"start":42,"end":48,"cssClass":"pl-en"},{"start":49,"end":74,"cssClass":"pl-s1"},{"start":76,"end":80,"cssClass":"pl-s1"},{"start":80,"end":81,"cssClass":"pl-c1"},{"start":81,"end":82,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":87,"cssClass":"pl-c"}],[{"start":12,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":30,"cssClass":"pl-s1"},{"start":31,"end":42,"cssClass":"pl-s1"},{"start":43,"end":49,"cssClass":"pl-en"},{"start":50,"end":75,"cssClass":"pl-s1"},{"start":77,"end":81,"cssClass":"pl-s1"},{"start":81,"end":82,"cssClass":"pl-c1"},{"start":82,"end":83,"cssClass":"pl-c1"}],[{"start":8,"end":94,"cssClass":"pl-c"}],[{"start":8,"end":68,"cssClass":"pl-c"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-en"},{"start":20,"end":23,"cssClass":"pl-en"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":25,"end":27,"cssClass":"pl-s1"},{"start":28,"end":33,"cssClass":"pl-en"},{"start":34,"end":36,"cssClass":"pl-s1"},{"start":37,"end":41,"cssClass":"pl-en"},{"start":42,"end":55,"cssClass":"pl-s1"},{"start":57,"end":58,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-c1"},{"start":59,"end":60,"cssClass":"pl-c1"}],[],[{"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":62,"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":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":42,"cssClass":"pl-en"},{"start":43,"end":53,"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":26,"cssClass":"pl-v"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":28,"cssClass":"pl-en"},{"start":29,"end":34,"cssClass":"pl-en"},{"start":35,"end":39,"cssClass":"pl-s1"},{"start":40,"end":44,"cssClass":"pl-s1"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":36,"cssClass":"pl-en"},{"start":37,"end":42,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":20,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":25,"cssClass":"pl-en"},{"start":26,"end":30,"cssClass":"pl-s1"},{"start":32,"end":42,"cssClass":"pl-s1"},{"start":44,"end":48,"cssClass":"pl-s1"},{"start":50,"end":52,"cssClass":"pl-c1"},{"start":53,"end":57,"cssClass":"pl-s1"},{"start":58,"end":61,"cssClass":"pl-s1"},{"start":63,"end":67,"cssClass":"pl-s1"},{"start":68,"end":71,"cssClass":"pl-s1"}],[{"start":8,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":99,"cssClass":"pl-s"}],[{"start":0,"end":74,"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":97,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":41,"cssClass":"pl-en"},{"start":42,"end":52,"cssClass":"pl-s1"}],[{"start":8,"end":60,"cssClass":"pl-c"}],[{"start":8,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":26,"cssClass":"pl-s1"},{"start":27,"end":45,"cssClass":"pl-en"},{"start":46,"end":51,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":15,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":25,"cssClass":"pl-c1"},{"start":26,"end":39,"cssClass":"pl-s1"},{"start":40,"end":45,"cssClass":"pl-en"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-en"},{"start":33,"end":36,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":34,"cssClass":"pl-en"},{"start":35,"end":39,"cssClass":"pl-s1"},{"start":41,"end":43,"cssClass":"pl-c1"},{"start":44,"end":48,"cssClass":"pl-s1"},{"start":49,"end":58,"cssClass":"pl-v"}],[{"start":8,"end":90,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":105,"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":35,"cssClass":"pl-en"},{"start":36,"end":46,"cssClass":"pl-s1"},{"start":46,"end":47,"cssClass":"pl-c1"},{"start":47,"end":51,"cssClass":"pl-c1"}],[],[{"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":73,"cssClass":"pl-v"}],[{"start":8,"end":70,"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":65,"cssClass":"pl-s"}],[{"start":0,"end":64,"cssClass":"pl-s"}],[{"start":0,"end":44,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":59,"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":104,"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":39,"cssClass":"pl-en"},{"start":40,"end":50,"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"}]],"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":"pauli_list.py","displayUrl":"https://github.com/Qiskit/qiskit/blob/main/qiskit/quantum_info/operators/symplectic/pauli_list.py?raw=true","headerInfo":{"blobSize":"45 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":"1bb9ae3","siteNavLoginPath":"/login?return_to=https%3A%2F%2Fgithub.com%2FQiskit%2Fqiskit%2Fblob%2Fmain%2Fqiskit%2Fquantum_info%2Foperators%2Fsymplectic%2Fpauli_list.py","isCSV":false,"isRichtext":false,"toc":null,"lineInfo":{"truncatedLoc":"1230","truncatedSloc":"996"},"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/pauli_list.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/pauli_list.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":"PauliList","kind":"class","ident_start":1131,"ident_end":1140,"extent_start":1125,"extent_end":46081,"fully_qualified_name":"PauliList","ident_utf16":{"start":{"line_number":32,"utf16_col":6},"end":{"line_number":32,"utf16_col":15}},"extent_utf16":{"start":{"line_number":32,"utf16_col":0},"end":{"line_number":1229,"utf16_col":57}}},{"name":"__truncate__","kind":"constant","ident_start":3744,"ident_end":3756,"extent_start":3744,"extent_end":3763,"fully_qualified_name":"PauliList.__truncate__","ident_utf16":{"start":{"line_number":116,"utf16_col":4},"end":{"line_number":116,"utf16_col":16}},"extent_utf16":{"start":{"line_number":116,"utf16_col":4},"end":{"line_number":116,"utf16_col":23}}},{"name":"__init__","kind":"function","ident_start":3773,"ident_end":3781,"extent_start":3769,"extent_end":4587,"fully_qualified_name":"PauliList.__init__","ident_utf16":{"start":{"line_number":118,"utf16_col":8},"end":{"line_number":118,"utf16_col":16}},"extent_utf16":{"start":{"line_number":118,"utf16_col":4},"end":{"line_number":139,"utf16_col":52}}},{"name":"settings","kind":"function","ident_start":4797,"ident_end":4805,"extent_start":4793,"extent_end":4885,"fully_qualified_name":"PauliList.settings","ident_utf16":{"start":{"line_number":146,"utf16_col":8},"end":{"line_number":146,"utf16_col":16}},"extent_utf16":{"start":{"line_number":146,"utf16_col":4},"end":{"line_number":148,"utf16_col":41}}},{"name":"__array__","kind":"function","ident_start":4895,"ident_end":4904,"extent_start":4891,"extent_end":5201,"fully_qualified_name":"PauliList.__array__","ident_utf16":{"start":{"line_number":150,"utf16_col":8},"end":{"line_number":150,"utf16_col":17}},"extent_utf16":{"start":{"line_number":150,"utf16_col":4},"end":{"line_number":157,"utf16_col":18}}},{"name":"_from_paulis","kind":"function","ident_start":5229,"ident_end":5241,"extent_start":5225,"extent_end":6625,"fully_qualified_name":"PauliList._from_paulis","ident_utf16":{"start":{"line_number":160,"utf16_col":8},"end":{"line_number":160,"utf16_col":20}},"extent_utf16":{"start":{"line_number":160,"utf16_col":4},"end":{"line_number":197,"utf16_col":41}}},{"name":"__repr__","kind":"function","ident_start":6635,"ident_end":6643,"extent_start":6631,"extent_end":6729,"fully_qualified_name":"PauliList.__repr__","ident_utf16":{"start":{"line_number":199,"utf16_col":8},"end":{"line_number":199,"utf16_col":16}},"extent_utf16":{"start":{"line_number":199,"utf16_col":4},"end":{"line_number":201,"utf16_col":40}}},{"name":"__str__","kind":"function","ident_start":6739,"ident_end":6746,"extent_start":6735,"extent_end":6831,"fully_qualified_name":"PauliList.__str__","ident_utf16":{"start":{"line_number":203,"utf16_col":8},"end":{"line_number":203,"utf16_col":15}},"extent_utf16":{"start":{"line_number":203,"utf16_col":4},"end":{"line_number":205,"utf16_col":41}}},{"name":"_truncated_str","kind":"function","ident_start":6841,"ident_end":6855,"extent_start":6837,"extent_end":7556,"fully_qualified_name":"PauliList._truncated_str","ident_utf16":{"start":{"line_number":207,"utf16_col":8},"end":{"line_number":207,"utf16_col":22}},"extent_utf16":{"start":{"line_number":207,"utf16_col":4},"end":{"line_number":223,"utf16_col":46}}},{"name":"__eq__","kind":"function","ident_start":7566,"ident_end":7572,"extent_start":7562,"extent_end":7823,"fully_qualified_name":"PauliList.__eq__","ident_utf16":{"start":{"line_number":225,"utf16_col":8},"end":{"line_number":225,"utf16_col":14}},"extent_utf16":{"start":{"line_number":225,"utf16_col":4},"end":{"line_number":231,"utf16_col":30}}},{"name":"equiv","kind":"function","ident_start":7833,"ident_end":7838,"extent_start":7829,"extent_end":8361,"fully_qualified_name":"PauliList.equiv","ident_utf16":{"start":{"line_number":233,"utf16_col":8},"end":{"line_number":233,"utf16_col":13}},"extent_utf16":{"start":{"line_number":233,"utf16_col":4},"end":{"line_number":245,"utf16_col":84}}},{"name":"phase","kind":"function","ident_start":8563,"ident_end":8568,"extent_start":8559,"extent_end":8785,"fully_qualified_name":"PauliList.phase","ident_utf16":{"start":{"line_number":251,"utf16_col":8},"end":{"line_number":251,"utf16_col":13}},"extent_utf16":{"start":{"line_number":251,"utf16_col":4},"end":{"line_number":254,"utf16_col":78}}},{"name":"phase","kind":"function","ident_start":8813,"ident_end":8818,"extent_start":8809,"extent_end":8987,"fully_qualified_name":"PauliList.phase","ident_utf16":{"start":{"line_number":257,"utf16_col":8},"end":{"line_number":257,"utf16_col":13}},"extent_utf16":{"start":{"line_number":257,"utf16_col":4},"end":{"line_number":259,"utf16_col":82}}},{"name":"x","kind":"function","ident_start":9011,"ident_end":9012,"extent_start":9007,"extent_end":9103,"fully_qualified_name":"PauliList.x","ident_utf16":{"start":{"line_number":262,"utf16_col":8},"end":{"line_number":262,"utf16_col":9}},"extent_utf16":{"start":{"line_number":262,"utf16_col":4},"end":{"line_number":264,"utf16_col":22}}},{"name":"x","kind":"function","ident_start":9127,"ident_end":9128,"extent_start":9123,"extent_end":9165,"fully_qualified_name":"PauliList.x","ident_utf16":{"start":{"line_number":267,"utf16_col":8},"end":{"line_number":267,"utf16_col":9}},"extent_utf16":{"start":{"line_number":267,"utf16_col":4},"end":{"line_number":268,"utf16_col":24}}},{"name":"z","kind":"function","ident_start":9189,"ident_end":9190,"extent_start":9185,"extent_end":9281,"fully_qualified_name":"PauliList.z","ident_utf16":{"start":{"line_number":271,"utf16_col":8},"end":{"line_number":271,"utf16_col":9}},"extent_utf16":{"start":{"line_number":271,"utf16_col":4},"end":{"line_number":273,"utf16_col":22}}},{"name":"z","kind":"function","ident_start":9305,"ident_end":9306,"extent_start":9301,"extent_end":9343,"fully_qualified_name":"PauliList.z","ident_utf16":{"start":{"line_number":276,"utf16_col":8},"end":{"line_number":276,"utf16_col":9}},"extent_utf16":{"start":{"line_number":276,"utf16_col":4},"end":{"line_number":277,"utf16_col":24}}},{"name":"shape","kind":"function","ident_start":9542,"ident_end":9547,"extent_start":9538,"extent_end":9653,"fully_qualified_name":"PauliList.shape","ident_utf16":{"start":{"line_number":284,"utf16_col":8},"end":{"line_number":284,"utf16_col":13}},"extent_utf16":{"start":{"line_number":284,"utf16_col":4},"end":{"line_number":286,"utf16_col":48}}},{"name":"size","kind":"function","ident_start":9677,"ident_end":9681,"extent_start":9673,"extent_end":9773,"fully_qualified_name":"PauliList.size","ident_utf16":{"start":{"line_number":289,"utf16_col":8},"end":{"line_number":289,"utf16_col":12}},"extent_utf16":{"start":{"line_number":289,"utf16_col":4},"end":{"line_number":291,"utf16_col":31}}},{"name":"__len__","kind":"function","ident_start":9783,"ident_end":9790,"extent_start":9779,"extent_end":9889,"fully_qualified_name":"PauliList.__len__","ident_utf16":{"start":{"line_number":293,"utf16_col":8},"end":{"line_number":293,"utf16_col":15}},"extent_utf16":{"start":{"line_number":293,"utf16_col":4},"end":{"line_number":295,"utf16_col":31}}},{"name":"__getitem__","kind":"function","ident_start":10078,"ident_end":10089,"extent_start":10074,"extent_end":11105,"fully_qualified_name":"PauliList.__getitem__","ident_utf16":{"start":{"line_number":301,"utf16_col":8},"end":{"line_number":301,"utf16_col":19}},"extent_utf16":{"start":{"line_number":301,"utf16_col":4},"end":{"line_number":326,"utf16_col":61}}},{"name":"__setitem__","kind":"function","ident_start":11115,"ident_end":11126,"extent_start":11111,"extent_end":12123,"fully_qualified_name":"PauliList.__setitem__","ident_utf16":{"start":{"line_number":328,"utf16_col":8},"end":{"line_number":328,"utf16_col":19}},"extent_utf16":{"start":{"line_number":328,"utf16_col":4},"end":{"line_number":355,"utf16_col":28}}},{"name":"delete","kind":"function","ident_start":12133,"ident_end":12139,"extent_start":12129,"extent_end":13970,"fully_qualified_name":"PauliList.delete","ident_utf16":{"start":{"line_number":357,"utf16_col":8},"end":{"line_number":357,"utf16_col":14}},"extent_utf16":{"start":{"line_number":357,"utf16_col":4},"end":{"line_number":402,"utf16_col":58}}},{"name":"insert","kind":"function","ident_start":13980,"ident_end":13986,"extent_start":13976,"extent_end":16556,"fully_qualified_name":"PauliList.insert","ident_utf16":{"start":{"line_number":404,"utf16_col":8},"end":{"line_number":404,"utf16_col":14}},"extent_utf16":{"start":{"line_number":404,"utf16_col":4},"end":{"line_number":469,"utf16_col":53}}},{"name":"argsort","kind":"function","ident_start":16566,"ident_end":16573,"extent_start":16562,"extent_end":18875,"fully_qualified_name":"PauliList.argsort","ident_utf16":{"start":{"line_number":471,"utf16_col":8},"end":{"line_number":471,"utf16_col":15}},"extent_utf16":{"start":{"line_number":471,"utf16_col":4},"end":{"line_number":532,"utf16_col":22}}},{"name":"sort","kind":"function","ident_start":18885,"ident_end":18889,"extent_start":18881,"extent_end":20964,"fully_qualified_name":"PauliList.sort","ident_utf16":{"start":{"line_number":534,"utf16_col":8},"end":{"line_number":534,"utf16_col":12}},"extent_utf16":{"start":{"line_number":534,"utf16_col":4},"end":{"line_number":590,"utf16_col":61}}},{"name":"unique","kind":"function","ident_start":20974,"ident_end":20980,"extent_start":20970,"extent_end":23523,"fully_qualified_name":"PauliList.unique","ident_utf16":{"start":{"line_number":592,"utf16_col":8},"end":{"line_number":592,"utf16_col":14}},"extent_utf16":{"start":{"line_number":592,"utf16_col":4},"end":{"line_number":656,"utf16_col":18}}},{"name":"tensor","kind":"function","ident_start":23713,"ident_end":23719,"extent_start":23709,"extent_end":24316,"fully_qualified_name":"PauliList.tensor","ident_utf16":{"start":{"line_number":662,"utf16_col":8},"end":{"line_number":662,"utf16_col":14}},"extent_utf16":{"start":{"line_number":662,"utf16_col":4},"end":{"line_number":678,"utf16_col":47}}},{"name":"expand","kind":"function","ident_start":24326,"ident_end":24332,"extent_start":24322,"extent_end":25139,"fully_qualified_name":"PauliList.expand","ident_utf16":{"start":{"line_number":680,"utf16_col":8},"end":{"line_number":680,"utf16_col":14}},"extent_utf16":{"start":{"line_number":680,"utf16_col":4},"end":{"line_number":701,"utf16_col":47}}},{"name":"compose","kind":"function","ident_start":25149,"ident_end":25156,"extent_start":25145,"extent_end":26543,"fully_qualified_name":"PauliList.compose","ident_utf16":{"start":{"line_number":703,"utf16_col":8},"end":{"line_number":703,"utf16_col":15}},"extent_utf16":{"start":{"line_number":703,"utf16_col":4},"end":{"line_number":736,"utf16_col":91}}},{"name":"dot","kind":"function","ident_start":26553,"ident_end":26556,"extent_start":26549,"extent_end":27401,"fully_qualified_name":"PauliList.dot","ident_utf16":{"start":{"line_number":738,"utf16_col":8},"end":{"line_number":738,"utf16_col":11}},"extent_utf16":{"start":{"line_number":738,"utf16_col":4},"end":{"line_number":755,"utf16_col":76}}},{"name":"_add","kind":"function","ident_start":27411,"ident_end":27415,"extent_start":27407,"extent_end":28891,"fully_qualified_name":"PauliList._add","ident_utf16":{"start":{"line_number":757,"utf16_col":8},"end":{"line_number":757,"utf16_col":12}},"extent_utf16":{"start":{"line_number":757,"utf16_col":4},"end":{"line_number":795,"utf16_col":63}}},{"name":"_multiply","kind":"function","ident_start":28901,"ident_end":28910,"extent_start":28897,"extent_end":29297,"fully_qualified_name":"PauliList._multiply","ident_utf16":{"start":{"line_number":797,"utf16_col":8},"end":{"line_number":797,"utf16_col":17}},"extent_utf16":{"start":{"line_number":797,"utf16_col":4},"end":{"line_number":809,"utf16_col":50}}},{"name":"conjugate","kind":"function","ident_start":29307,"ident_end":29316,"extent_start":29303,"extent_end":29431,"fully_qualified_name":"PauliList.conjugate","ident_utf16":{"start":{"line_number":811,"utf16_col":8},"end":{"line_number":811,"utf16_col":17}},"extent_utf16":{"start":{"line_number":811,"utf16_col":4},"end":{"line_number":813,"utf16_col":45}}},{"name":"transpose","kind":"function","ident_start":29441,"ident_end":29450,"extent_start":29437,"extent_end":29565,"fully_qualified_name":"PauliList.transpose","ident_utf16":{"start":{"line_number":815,"utf16_col":8},"end":{"line_number":815,"utf16_col":17}},"extent_utf16":{"start":{"line_number":815,"utf16_col":4},"end":{"line_number":817,"utf16_col":45}}},{"name":"adjoint","kind":"function","ident_start":29575,"ident_end":29582,"extent_start":29571,"extent_end":29693,"fully_qualified_name":"PauliList.adjoint","ident_utf16":{"start":{"line_number":819,"utf16_col":8},"end":{"line_number":819,"utf16_col":15}},"extent_utf16":{"start":{"line_number":819,"utf16_col":4},"end":{"line_number":821,"utf16_col":43}}},{"name":"inverse","kind":"function","ident_start":29703,"ident_end":29710,"extent_start":29699,"extent_end":29821,"fully_qualified_name":"PauliList.inverse","ident_utf16":{"start":{"line_number":823,"utf16_col":8},"end":{"line_number":823,"utf16_col":15}},"extent_utf16":{"start":{"line_number":823,"utf16_col":4},"end":{"line_number":825,"utf16_col":43}}},{"name":"commutes","kind":"function","ident_start":30006,"ident_end":30014,"extent_start":30002,"extent_end":30608,"fully_qualified_name":"PauliList.commutes","ident_utf16":{"start":{"line_number":831,"utf16_col":8},"end":{"line_number":831,"utf16_col":16}},"extent_utf16":{"start":{"line_number":831,"utf16_col":4},"end":{"line_number":845,"utf16_col":51}}},{"name":"anticommutes","kind":"function","ident_start":30618,"ident_end":30630,"extent_start":30614,"extent_end":31086,"fully_qualified_name":"PauliList.anticommutes","ident_utf16":{"start":{"line_number":847,"utf16_col":8},"end":{"line_number":847,"utf16_col":20}},"extent_utf16":{"start":{"line_number":847,"utf16_col":4},"end":{"line_number":857,"utf16_col":64}}},{"name":"commutes_with_all","kind":"function","ident_start":31096,"ident_end":31113,"extent_start":31092,"extent_end":31655,"fully_qualified_name":"PauliList.commutes_with_all","ident_utf16":{"start":{"line_number":859,"utf16_col":8},"end":{"line_number":859,"utf16_col":25}},"extent_utf16":{"start":{"line_number":859,"utf16_col":4},"end":{"line_number":872,"utf16_col":45}}},{"name":"anticommutes_with_all","kind":"function","ident_start":31665,"ident_end":31686,"extent_start":31661,"extent_end":32245,"fully_qualified_name":"PauliList.anticommutes_with_all","ident_utf16":{"start":{"line_number":874,"utf16_col":8},"end":{"line_number":874,"utf16_col":29}},"extent_utf16":{"start":{"line_number":874,"utf16_col":4},"end":{"line_number":887,"utf16_col":56}}},{"name":"_commutes_with_all","kind":"function","ident_start":32255,"ident_end":32273,"extent_start":32251,"extent_end":33152,"fully_qualified_name":"PauliList._commutes_with_all","ident_utf16":{"start":{"line_number":889,"utf16_col":8},"end":{"line_number":889,"utf16_col":26}},"extent_utf16":{"start":{"line_number":889,"utf16_col":4},"end":{"line_number":911,"utf16_col":19}}},{"name":"evolve","kind":"function","ident_start":33162,"ident_end":33168,"extent_start":33158,"extent_end":34692,"fully_qualified_name":"PauliList.evolve","ident_utf16":{"start":{"line_number":913,"utf16_col":8},"end":{"line_number":913,"utf16_col":14}},"extent_utf16":{"start":{"line_number":913,"utf16_col":4},"end":{"line_number":950,"utf16_col":73}}},{"name":"to_labels","kind":"function","ident_start":34702,"ident_end":34711,"extent_start":34698,"extent_end":36328,"fully_qualified_name":"PauliList.to_labels","ident_utf16":{"start":{"line_number":952,"utf16_col":8},"end":{"line_number":952,"utf16_col":17}},"extent_utf16":{"start":{"line_number":952,"utf16_col":4},"end":{"line_number":998,"utf16_col":27}}},{"name":"to_matrix","kind":"function","ident_start":36338,"ident_end":36347,"extent_start":36334,"extent_end":38449,"fully_qualified_name":"PauliList.to_matrix","ident_utf16":{"start":{"line_number":1000,"utf16_col":8},"end":{"line_number":1000,"utf16_col":17}},"extent_utf16":{"start":{"line_number":1000,"utf16_col":4},"end":{"line_number":1048,"utf16_col":18}}},{"name":"label_iter","kind":"function","ident_start":38635,"ident_end":38645,"extent_start":38631,"extent_end":39381,"fully_qualified_name":"PauliList.label_iter","ident_utf16":{"start":{"line_number":1054,"utf16_col":8},"end":{"line_number":1054,"utf16_col":18}},"extent_utf16":{"start":{"line_number":1054,"utf16_col":4},"end":{"line_number":1074,"utf16_col":34}}},{"name":"LabelIterator","kind":"class","ident_start":39003,"ident_end":39016,"extent_start":38997,"extent_end":39345,"fully_qualified_name":"PauliList.LabelIterator","ident_utf16":{"start":{"line_number":1065,"utf16_col":14},"end":{"line_number":1065,"utf16_col":27}},"extent_utf16":{"start":{"line_number":1065,"utf16_col":8},"end":{"line_number":1072,"utf16_col":99}}},{"name":"__repr__","kind":"function","ident_start":39117,"ident_end":39125,"extent_start":39113,"extent_end":39204,"fully_qualified_name":"PauliList.LabelIterator.__repr__","ident_utf16":{"start":{"line_number":1068,"utf16_col":16},"end":{"line_number":1068,"utf16_col":24}},"extent_utf16":{"start":{"line_number":1068,"utf16_col":12},"end":{"line_number":1069,"utf16_col":71}}},{"name":"__getitem__","kind":"function","ident_start":39222,"ident_end":39233,"extent_start":39218,"extent_end":39345,"fully_qualified_name":"PauliList.LabelIterator.__getitem__","ident_utf16":{"start":{"line_number":1071,"utf16_col":16},"end":{"line_number":1071,"utf16_col":27}},"extent_utf16":{"start":{"line_number":1071,"utf16_col":12},"end":{"line_number":1072,"utf16_col":99}}},{"name":"matrix_iter","kind":"function","ident_start":39391,"ident_end":39402,"extent_start":39387,"extent_end":40444,"fully_qualified_name":"PauliList.matrix_iter","ident_utf16":{"start":{"line_number":1076,"utf16_col":8},"end":{"line_number":1076,"utf16_col":19}},"extent_utf16":{"start":{"line_number":1076,"utf16_col":4},"end":{"line_number":1103,"utf16_col":35}}},{"name":"MatrixIterator","kind":"class","ident_start":40008,"ident_end":40022,"extent_start":40002,"extent_end":40407,"fully_qualified_name":"PauliList.MatrixIterator","ident_utf16":{"start":{"line_number":1092,"utf16_col":14},"end":{"line_number":1092,"utf16_col":28}},"extent_utf16":{"start":{"line_number":1092,"utf16_col":8},"end":{"line_number":1101,"utf16_col":17}}},{"name":"__repr__","kind":"function","ident_start":40124,"ident_end":40132,"extent_start":40120,"extent_end":40212,"fully_qualified_name":"PauliList.MatrixIterator.__repr__","ident_utf16":{"start":{"line_number":1095,"utf16_col":16},"end":{"line_number":1095,"utf16_col":24}},"extent_utf16":{"start":{"line_number":1095,"utf16_col":12},"end":{"line_number":1096,"utf16_col":72}}},{"name":"__getitem__","kind":"function","ident_start":40230,"ident_end":40241,"extent_start":40226,"extent_end":40407,"fully_qualified_name":"PauliList.MatrixIterator.__getitem__","ident_utf16":{"start":{"line_number":1098,"utf16_col":16},"end":{"line_number":1098,"utf16_col":27}},"extent_utf16":{"start":{"line_number":1098,"utf16_col":12},"end":{"line_number":1101,"utf16_col":17}}},{"name":"from_symplectic","kind":"function","ident_start":40644,"ident_end":40659,"extent_start":40640,"extent_end":41209,"fully_qualified_name":"PauliList.from_symplectic","ident_utf16":{"start":{"line_number":1110,"utf16_col":8},"end":{"line_number":1110,"utf16_col":23}},"extent_utf16":{"start":{"line_number":1110,"utf16_col":4},"end":{"line_number":1124,"utf16_col":57}}},{"name":"_noncommutation_graph","kind":"function","ident_start":41219,"ident_end":41240,"extent_start":41215,"extent_end":42762,"fully_qualified_name":"PauliList._noncommutation_graph","ident_utf16":{"start":{"line_number":1126,"utf16_col":8},"end":{"line_number":1126,"utf16_col":29}},"extent_utf16":{"start":{"line_number":1126,"utf16_col":4},"end":{"line_number":1155,"utf16_col":64}}},{"name":"noncommutation_graph","kind":"function","ident_start":42772,"ident_end":42792,"extent_start":42768,"extent_end":43794,"fully_qualified_name":"PauliList.noncommutation_graph","ident_utf16":{"start":{"line_number":1157,"utf16_col":8},"end":{"line_number":1157,"utf16_col":28}},"extent_utf16":{"start":{"line_number":1157,"utf16_col":4},"end":{"line_number":1177,"utf16_col":20}}},{"name":"_commuting_groups","kind":"function","ident_start":43804,"ident_end":43821,"extent_start":43800,"extent_end":44750,"fully_qualified_name":"PauliList._commuting_groups","ident_utf16":{"start":{"line_number":1179,"utf16_col":8},"end":{"line_number":1179,"utf16_col":25}},"extent_utf16":{"start":{"line_number":1179,"utf16_col":4},"end":{"line_number":1199,"utf16_col":21}}},{"name":"group_qubit_wise_commuting","kind":"function","ident_start":44760,"ident_end":44786,"extent_start":44756,"extent_end":45092,"fully_qualified_name":"PauliList.group_qubit_wise_commuting","ident_utf16":{"start":{"line_number":1201,"utf16_col":8},"end":{"line_number":1201,"utf16_col":34}},"extent_utf16":{"start":{"line_number":1201,"utf16_col":4},"end":{"line_number":1207,"utf16_col":52}}},{"name":"group_commuting","kind":"function","ident_start":45102,"ident_end":45117,"extent_start":45098,"extent_end":46081,"fully_qualified_name":"PauliList.group_commuting","ident_utf16":{"start":{"line_number":1209,"utf16_col":8},"end":{"line_number":1209,"utf16_col":23}},"extent_utf16":{"start":{"line_number":1209,"utf16_col":4},"end":{"line_number":1229,"utf16_col":57}}}]}},"copilotInfo":null,"copilotAccessAllowed":false,"csrf_tokens":{"/Qiskit/qiskit/branches":{"post":"B47WXXcDoQiC-OI9MWsXnczid355VpB8rBPhkHNO-ut8Wp-n7c41GdJRzV5m6SEtv4HXxCvbUmvguSY-bvKgBA"},"/repos/preferences":{"post":"y2yakV3ZGlfERI694PfhPFyzCVapLE2Vsw052GNwBXxhUN4kKBKqkdm7ctBqioGDAnNqvT4rjRt-Hj6XZHJ8eA"}}},"title":"qiskit/qiskit/quantum_info/operators/symplectic/pauli_list.py at main · Qiskit/qiskit"}