{"payload":{"allShortcutsEnabled":false,"fileTree":{"qiskit/circuit/library/arithmetic":{"items":[{"name":"adders","path":"qiskit/circuit/library/arithmetic/adders","contentType":"directory"},{"name":"multipliers","path":"qiskit/circuit/library/arithmetic/multipliers","contentType":"directory"},{"name":"__init__.py","path":"qiskit/circuit/library/arithmetic/__init__.py","contentType":"file"},{"name":"exact_reciprocal.py","path":"qiskit/circuit/library/arithmetic/exact_reciprocal.py","contentType":"file"},{"name":"functional_pauli_rotations.py","path":"qiskit/circuit/library/arithmetic/functional_pauli_rotations.py","contentType":"file"},{"name":"integer_comparator.py","path":"qiskit/circuit/library/arithmetic/integer_comparator.py","contentType":"file"},{"name":"linear_amplitude_function.py","path":"qiskit/circuit/library/arithmetic/linear_amplitude_function.py","contentType":"file"},{"name":"linear_pauli_rotations.py","path":"qiskit/circuit/library/arithmetic/linear_pauli_rotations.py","contentType":"file"},{"name":"piecewise_chebyshev.py","path":"qiskit/circuit/library/arithmetic/piecewise_chebyshev.py","contentType":"file"},{"name":"piecewise_linear_pauli_rotations.py","path":"qiskit/circuit/library/arithmetic/piecewise_linear_pauli_rotations.py","contentType":"file"},{"name":"piecewise_polynomial_pauli_rotations.py","path":"qiskit/circuit/library/arithmetic/piecewise_polynomial_pauli_rotations.py","contentType":"file"},{"name":"polynomial_pauli_rotations.py","path":"qiskit/circuit/library/arithmetic/polynomial_pauli_rotations.py","contentType":"file"},{"name":"quadratic_form.py","path":"qiskit/circuit/library/arithmetic/quadratic_form.py","contentType":"file"},{"name":"weighted_adder.py","path":"qiskit/circuit/library/arithmetic/weighted_adder.py","contentType":"file"}],"totalCount":14},"qiskit/circuit/library":{"items":[{"name":"arithmetic","path":"qiskit/circuit/library/arithmetic","contentType":"directory"},{"name":"basis_change","path":"qiskit/circuit/library/basis_change","contentType":"directory"},{"name":"boolean_logic","path":"qiskit/circuit/library/boolean_logic","contentType":"directory"},{"name":"data_preparation","path":"qiskit/circuit/library/data_preparation","contentType":"directory"},{"name":"generalized_gates","path":"qiskit/circuit/library/generalized_gates","contentType":"directory"},{"name":"n_local","path":"qiskit/circuit/library/n_local","contentType":"directory"},{"name":"standard_gates","path":"qiskit/circuit/library/standard_gates","contentType":"directory"},{"name":"templates","path":"qiskit/circuit/library/templates","contentType":"directory"},{"name":"__init__.py","path":"qiskit/circuit/library/__init__.py","contentType":"file"},{"name":"blueprintcircuit.py","path":"qiskit/circuit/library/blueprintcircuit.py","contentType":"file"},{"name":"fourier_checking.py","path":"qiskit/circuit/library/fourier_checking.py","contentType":"file"},{"name":"graph_state.py","path":"qiskit/circuit/library/graph_state.py","contentType":"file"},{"name":"grover_operator.py","path":"qiskit/circuit/library/grover_operator.py","contentType":"file"},{"name":"hamiltonian_gate.py","path":"qiskit/circuit/library/hamiltonian_gate.py","contentType":"file"},{"name":"hidden_linear_function.py","path":"qiskit/circuit/library/hidden_linear_function.py","contentType":"file"},{"name":"iqp.py","path":"qiskit/circuit/library/iqp.py","contentType":"file"},{"name":"overlap.py","path":"qiskit/circuit/library/overlap.py","contentType":"file"},{"name":"pauli_evolution.py","path":"qiskit/circuit/library/pauli_evolution.py","contentType":"file"},{"name":"phase_estimation.py","path":"qiskit/circuit/library/phase_estimation.py","contentType":"file"},{"name":"phase_oracle.py","path":"qiskit/circuit/library/phase_oracle.py","contentType":"file"},{"name":"quantum_volume.py","path":"qiskit/circuit/library/quantum_volume.py","contentType":"file"}],"totalCount":21},"qiskit/circuit":{"items":[{"name":"classical","path":"qiskit/circuit/classical","contentType":"directory"},{"name":"classicalfunction","path":"qiskit/circuit/classicalfunction","contentType":"directory"},{"name":"controlflow","path":"qiskit/circuit/controlflow","contentType":"directory"},{"name":"library","path":"qiskit/circuit/library","contentType":"directory"},{"name":"random","path":"qiskit/circuit/random","contentType":"directory"},{"name":"tools","path":"qiskit/circuit/tools","contentType":"directory"},{"name":"__init__.py","path":"qiskit/circuit/__init__.py","contentType":"file"},{"name":"_classical_resource_map.py","path":"qiskit/circuit/_classical_resource_map.py","contentType":"file"},{"name":"_standard_gates_commutations.py","path":"qiskit/circuit/_standard_gates_commutations.py","contentType":"file"},{"name":"_utils.py","path":"qiskit/circuit/_utils.py","contentType":"file"},{"name":"add_control.py","path":"qiskit/circuit/add_control.py","contentType":"file"},{"name":"annotated_operation.py","path":"qiskit/circuit/annotated_operation.py","contentType":"file"},{"name":"barrier.py","path":"qiskit/circuit/barrier.py","contentType":"file"},{"name":"bit.py","path":"qiskit/circuit/bit.py","contentType":"file"},{"name":"classicalregister.py","path":"qiskit/circuit/classicalregister.py","contentType":"file"},{"name":"commutation_checker.py","path":"qiskit/circuit/commutation_checker.py","contentType":"file"},{"name":"commutation_library.py","path":"qiskit/circuit/commutation_library.py","contentType":"file"},{"name":"controlledgate.py","path":"qiskit/circuit/controlledgate.py","contentType":"file"},{"name":"delay.py","path":"qiskit/circuit/delay.py","contentType":"file"},{"name":"duration.py","path":"qiskit/circuit/duration.py","contentType":"file"},{"name":"equivalence.py","path":"qiskit/circuit/equivalence.py","contentType":"file"},{"name":"equivalence_library.py","path":"qiskit/circuit/equivalence_library.py","contentType":"file"},{"name":"exceptions.py","path":"qiskit/circuit/exceptions.py","contentType":"file"},{"name":"gate.py","path":"qiskit/circuit/gate.py","contentType":"file"},{"name":"instruction.py","path":"qiskit/circuit/instruction.py","contentType":"file"},{"name":"instructionset.py","path":"qiskit/circuit/instructionset.py","contentType":"file"},{"name":"measure.py","path":"qiskit/circuit/measure.py","contentType":"file"},{"name":"operation.py","path":"qiskit/circuit/operation.py","contentType":"file"},{"name":"parameter.py","path":"qiskit/circuit/parameter.py","contentType":"file"},{"name":"parameterexpression.py","path":"qiskit/circuit/parameterexpression.py","contentType":"file"},{"name":"parametertable.py","path":"qiskit/circuit/parametertable.py","contentType":"file"},{"name":"parametervector.py","path":"qiskit/circuit/parametervector.py","contentType":"file"},{"name":"quantumcircuit.py","path":"qiskit/circuit/quantumcircuit.py","contentType":"file"},{"name":"quantumcircuitdata.py","path":"qiskit/circuit/quantumcircuitdata.py","contentType":"file"},{"name":"quantumregister.py","path":"qiskit/circuit/quantumregister.py","contentType":"file"},{"name":"register.py","path":"qiskit/circuit/register.py","contentType":"file"},{"name":"reset.py","path":"qiskit/circuit/reset.py","contentType":"file"},{"name":"singleton.py","path":"qiskit/circuit/singleton.py","contentType":"file"},{"name":"store.py","path":"qiskit/circuit/store.py","contentType":"file"}],"totalCount":39},"qiskit":{"items":[{"name":"assembler","path":"qiskit/assembler","contentType":"directory"},{"name":"circuit","path":"qiskit/circuit","contentType":"directory"},{"name":"compiler","path":"qiskit/compiler","contentType":"directory"},{"name":"converters","path":"qiskit/converters","contentType":"directory"},{"name":"dagcircuit","path":"qiskit/dagcircuit","contentType":"directory"},{"name":"passmanager","path":"qiskit/passmanager","contentType":"directory"},{"name":"primitives","path":"qiskit/primitives","contentType":"directory"},{"name":"providers","path":"qiskit/providers","contentType":"directory"},{"name":"pulse","path":"qiskit/pulse","contentType":"directory"},{"name":"qasm","path":"qiskit/qasm","contentType":"directory"},{"name":"qasm2","path":"qiskit/qasm2","contentType":"directory"},{"name":"qasm3","path":"qiskit/qasm3","contentType":"directory"},{"name":"qobj","path":"qiskit/qobj","contentType":"directory"},{"name":"qpy","path":"qiskit/qpy","contentType":"directory"},{"name":"quantum_info","path":"qiskit/quantum_info","contentType":"directory"},{"name":"result","path":"qiskit/result","contentType":"directory"},{"name":"scheduler","path":"qiskit/scheduler","contentType":"directory"},{"name":"synthesis","path":"qiskit/synthesis","contentType":"directory"},{"name":"transpiler","path":"qiskit/transpiler","contentType":"directory"},{"name":"utils","path":"qiskit/utils","contentType":"directory"},{"name":"visualization","path":"qiskit/visualization","contentType":"directory"},{"name":"VERSION.txt","path":"qiskit/VERSION.txt","contentType":"file"},{"name":"__init__.py","path":"qiskit/__init__.py","contentType":"file"},{"name":"exceptions.py","path":"qiskit/exceptions.py","contentType":"file"},{"name":"user_config.py","path":"qiskit/user_config.py","contentType":"file"},{"name":"version.py","path":"qiskit/version.py","contentType":"file"}],"totalCount":26},"":{"items":[{"name":".azure","path":".azure","contentType":"directory"},{"name":".binder","path":".binder","contentType":"directory"},{"name":".cargo","path":".cargo","contentType":"directory"},{"name":".github","path":".github","contentType":"directory"},{"name":"crates","path":"crates","contentType":"directory"},{"name":"docs","path":"docs","contentType":"directory"},{"name":"examples","path":"examples","contentType":"directory"},{"name":"qiskit","path":"qiskit","contentType":"directory"},{"name":"releasenotes","path":"releasenotes","contentType":"directory"},{"name":"test","path":"test","contentType":"directory"},{"name":"tools","path":"tools","contentType":"directory"},{"name":".editorconfig","path":".editorconfig","contentType":"file"},{"name":".git-blame-ignore-revs","path":".git-blame-ignore-revs","contentType":"file"},{"name":".gitignore","path":".gitignore","contentType":"file"},{"name":".local-spellings","path":".local-spellings","contentType":"file"},{"name":".mailmap","path":".mailmap","contentType":"file"},{"name":".mergify.yml","path":".mergify.yml","contentType":"file"},{"name":".stestr.conf","path":".stestr.conf","contentType":"file"},{"name":"CITATION.bib","path":"CITATION.bib","contentType":"file"},{"name":"CODE_OF_CONDUCT.md","path":"CODE_OF_CONDUCT.md","contentType":"file"},{"name":"CONTRIBUTING.md","path":"CONTRIBUTING.md","contentType":"file"},{"name":"Cargo.lock","path":"Cargo.lock","contentType":"file"},{"name":"Cargo.toml","path":"Cargo.toml","contentType":"file"},{"name":"DEPRECATION.md","path":"DEPRECATION.md","contentType":"file"},{"name":"LICENSE.txt","path":"LICENSE.txt","contentType":"file"},{"name":"MAINTAINING.md","path":"MAINTAINING.md","contentType":"file"},{"name":"MANIFEST.in","path":"MANIFEST.in","contentType":"file"},{"name":"Makefile","path":"Makefile","contentType":"file"},{"name":"README.md","path":"README.md","contentType":"file"},{"name":"SECURITY.md","path":"SECURITY.md","contentType":"file"},{"name":"asv.conf.json","path":"asv.conf.json","contentType":"file"},{"name":"azure-pipelines.yml","path":"azure-pipelines.yml","contentType":"file"},{"name":"constraints.txt","path":"constraints.txt","contentType":"file"},{"name":"pyproject.toml","path":"pyproject.toml","contentType":"file"},{"name":"qiskit_bot.yaml","path":"qiskit_bot.yaml","contentType":"file"},{"name":"requirements-dev.txt","path":"requirements-dev.txt","contentType":"file"},{"name":"requirements-optional.txt","path":"requirements-optional.txt","contentType":"file"},{"name":"requirements.txt","path":"requirements.txt","contentType":"file"},{"name":"rust-toolchain.toml","path":"rust-toolchain.toml","contentType":"file"},{"name":"setup.py","path":"setup.py","contentType":"file"},{"name":"tox.ini","path":"tox.ini","contentType":"file"}],"totalCount":41}},"fileTreeProcessingTime":19.480679000000002,"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/circuit/library/arithmetic/integer_comparator.py","currentUser":null,"blob":{"rawLines":["# This code is part of Qiskit.","#","# (C) Copyright IBM 2017, 2020.","#","# 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.","","","\"\"\"Integer Comparator.\"\"\"","","from __future__ import annotations","import numpy as np","","from qiskit.circuit import QuantumCircuit, QuantumRegister, AncillaRegister","from qiskit.circuit.exceptions import CircuitError","from ..boolean_logic import OR","from ..blueprintcircuit import BlueprintCircuit","","","class IntegerComparator(BlueprintCircuit):"," r\"\"\"Integer Comparator.",""," Operator compares basis states :math:`|i\\rangle_n` against a classically given integer"," :math:`L` of fixed value and flips a target qubit if :math:`i \\geq L`"," (or :math:`<` depending on the parameter ``geq``):",""," .. math::",""," |i\\rangle_n |0\\rangle \\mapsto |i\\rangle_n |i \\geq L\\rangle",""," This operation is based on two's complement implementation of binary subtraction but only"," uses carry bits and no actual result bits. If the most significant carry bit"," (the results bit) is 1, the :math:`\\geq` condition is ``True`` otherwise it is ``False``."," \"\"\"",""," def __init__("," self,"," num_state_qubits: int | None = None,"," value: int | None = None,"," geq: bool = True,"," name: str = \"cmp\","," ) -> None:"," \"\"\"Create a new fixed value comparator circuit.",""," Args:"," num_state_qubits: Number of state qubits. If this is set it will determine the number"," of qubits required for the circuit."," value: The fixed value to compare with."," geq: If True, evaluate a ``>=`` condition, else ``<``."," name: Name of the circuit."," \"\"\""," super().__init__(name=name)",""," self._value = None"," self._geq = None"," self._num_state_qubits = None",""," self.value = value"," self.geq = geq"," self.num_state_qubits = num_state_qubits",""," @property"," def value(self) -> int:"," \"\"\"The value to compare the qubit register to.",""," Returns:"," The value against which the value of the qubit register is compared."," \"\"\""," return self._value",""," @value.setter"," def value(self, value: int) -> None:"," if value != self._value:"," self._invalidate()"," self._value = value",""," @property"," def geq(self) -> bool:"," \"\"\"Return whether the comparator compares greater or less equal.",""," Returns:"," True, if the comparator compares ``>=``, False if ``<``."," \"\"\""," return self._geq",""," @geq.setter"," def geq(self, geq: bool) -> None:"," \"\"\"Set whether the comparator compares greater or less equal.",""," Args:"," geq: If True, the comparator compares ``>=``, if False ``<``."," \"\"\""," if geq != self._geq:"," self._invalidate()"," self._geq = geq",""," @property"," def num_state_qubits(self) -> int:"," \"\"\"The number of qubits encoding the state for the comparison.",""," Returns:"," The number of state qubits."," \"\"\""," return self._num_state_qubits",""," @num_state_qubits.setter"," def num_state_qubits(self, num_state_qubits: int | None) -> None:"," \"\"\"Set the number of state qubits.",""," Note that this will change the quantum registers.",""," Args:"," num_state_qubits: The new number of state qubits."," \"\"\""," if self._num_state_qubits is None or num_state_qubits != self._num_state_qubits:"," self._invalidate() # reset data"," self._num_state_qubits = num_state_qubits",""," if num_state_qubits is not None:"," # set the new qubit registers"," qr_state = QuantumRegister(num_state_qubits, name=\"state\")"," q_compare = QuantumRegister(1, name=\"compare\")",""," self.qregs = [qr_state, q_compare]",""," # add ancillas is required"," num_ancillas = num_state_qubits - 1"," if num_ancillas > 0:"," qr_ancilla = AncillaRegister(num_ancillas)"," self.add_register(qr_ancilla)",""," def _get_twos_complement(self) -> list[int]:"," \"\"\"Returns the 2's complement of ``self.value`` as array.",""," Returns:"," The 2's complement of ``self.value``."," \"\"\""," twos_complement = pow(2, self.num_state_qubits) - int(np.ceil(self.value))"," twos_complement = f\"{twos_complement:b}\".rjust(self.num_state_qubits, \"0\")"," twos_complement = ["," 1 if twos_complement[i] == \"1\" else 0 for i in reversed(range(len(twos_complement)))"," ]"," return twos_complement",""," def _check_configuration(self, raise_on_failure: bool = True) -> bool:"," \"\"\"Check if the current configuration is valid.\"\"\""," valid = True",""," if self._num_state_qubits is None:"," valid = False"," if raise_on_failure:"," raise AttributeError(\"Number of state qubits is not set.\")",""," if self._value is None:"," valid = False"," if raise_on_failure:"," raise AttributeError(\"No comparison value set.\")",""," required_num_qubits = 2 * self.num_state_qubits"," if self.num_qubits != required_num_qubits:"," valid = False"," if raise_on_failure:"," raise CircuitError(\"Number of qubits does not match required number of qubits.\")",""," return valid",""," def _build(self) -> None:"," \"\"\"If not already built, build the circuit.\"\"\""," if self._is_built:"," return",""," super()._build()",""," qr_state = self.qubits[: self.num_state_qubits]"," q_compare = self.qubits[self.num_state_qubits]"," qr_ancilla = self.qubits[self.num_state_qubits + 1 :]",""," circuit = QuantumCircuit(*self.qregs, name=self.name)",""," if self.value <= 0: # condition always satisfied for non-positive values"," if self._geq: # otherwise the condition is never satisfied"," circuit.x(q_compare)"," # condition never satisfied for values larger than or equal to 2^n"," elif self.value < pow(2, self.num_state_qubits):",""," if self.num_state_qubits > 1:"," twos = self._get_twos_complement()"," for i in range(self.num_state_qubits):"," if i == 0:"," if twos[i] == 1:"," circuit.cx(qr_state[i], qr_ancilla[i])"," elif i < self.num_state_qubits - 1:"," if twos[i] == 1:"," circuit.compose("," OR(2), [qr_state[i], qr_ancilla[i - 1], qr_ancilla[i]], inplace=True"," )"," else:"," circuit.ccx(qr_state[i], qr_ancilla[i - 1], qr_ancilla[i])"," else:"," if twos[i] == 1:"," # OR needs the result argument as qubit not register, thus"," # access the index [0]"," circuit.compose("," OR(2), [qr_state[i], qr_ancilla[i - 1], q_compare], inplace=True"," )"," else:"," circuit.ccx(qr_state[i], qr_ancilla[i - 1], q_compare)",""," # flip result bit if geq flag is false"," if not self._geq:"," circuit.x(q_compare)",""," # uncompute ancillas state"," for i in reversed(range(self.num_state_qubits - 1)):"," if i == 0:"," if twos[i] == 1:"," circuit.cx(qr_state[i], qr_ancilla[i])"," else:"," if twos[i] == 1:"," circuit.compose("," OR(2), [qr_state[i], qr_ancilla[i - 1], qr_ancilla[i]], inplace=True"," )"," else:"," circuit.ccx(qr_state[i], qr_ancilla[i - 1], qr_ancilla[i])"," else:",""," # num_state_qubits == 1 and value == 1:"," circuit.cx(qr_state[0], q_compare)",""," # flip result bit if geq flag is false"," if not self._geq:"," circuit.x(q_compare)",""," else:"," if not self._geq: # otherwise the condition is never satisfied"," circuit.x(q_compare)",""," self.append(circuit.to_gate(), self.qubits)"],"stylingDirectives":[[{"start":0,"end":30,"cssClass":"pl-c"}],[{"start":0,"end":1,"cssClass":"pl-c"}],[{"start":0,"end":31,"cssClass":"pl-c"}],[{"start":0,"end":1,"cssClass":"pl-c"}],[{"start":0,"end":70,"cssClass":"pl-c"}],[{"start":0,"end":77,"cssClass":"pl-c"}],[{"start":0,"end":71,"cssClass":"pl-c"}],[{"start":0,"end":1,"cssClass":"pl-c"}],[{"start":0,"end":69,"cssClass":"pl-c"}],[{"start":0,"end":72,"cssClass":"pl-c"}],[{"start":0,"end":49,"cssClass":"pl-c"}],[],[],[{"start":0,"end":25,"cssClass":"pl-s"}],[],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":34,"cssClass":"pl-s1"}],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":12,"cssClass":"pl-s1"},{"start":13,"end":15,"cssClass":"pl-k"},{"start":16,"end":18,"cssClass":"pl-s1"}],[],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-k"},{"start":27,"end":41,"cssClass":"pl-v"},{"start":43,"end":58,"cssClass":"pl-v"},{"start":60,"end":75,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-k"},{"start":38,"end":50,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":7,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-k"},{"start":28,"end":30,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":7,"end":23,"cssClass":"pl-s1"},{"start":24,"end":30,"cssClass":"pl-k"},{"start":31,"end":47,"cssClass":"pl-v"}],[],[],[{"start":0,"end":5,"cssClass":"pl-k"},{"start":6,"end":23,"cssClass":"pl-v"},{"start":24,"end":40,"cssClass":"pl-v"}],[{"start":4,"end":27,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":90,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":54,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":66,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":93,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":93,"cssClass":"pl-s"}],[{"start":0,"end":7,"cssClass":"pl-s"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":16,"cssClass":"pl-en"}],[{"start":8,"end":12,"cssClass":"pl-s1"}],[{"start":8,"end":24,"cssClass":"pl-s1"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":36,"cssClass":"pl-c1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-c1"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":15,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":32,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":13,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":14,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-s"}],[{"start":6,"end":8,"cssClass":"pl-c1"},{"start":9,"end":13,"cssClass":"pl-c1"}],[{"start":8,"end":55,"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":51,"cssClass":"pl-s"}],[{"start":0,"end":51,"cssClass":"pl-s"}],[{"start":0,"end":66,"cssClass":"pl-s"}],[{"start":0,"end":38,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":13,"cssClass":"pl-en"},{"start":16,"end":24,"cssClass":"pl-en"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":30,"end":34,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-c1"}],[],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":26,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":22,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"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":13,"cssClass":"pl-en"},{"start":14,"end":18,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":26,"cssClass":"pl-s1"}],[{"start":8,"end":54,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-s1"}],[],[{"start":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":27,"end":30,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-c1"},{"start":35,"end":39,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":28,"cssClass":"pl-en"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":31,"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":11,"cssClass":"pl-en"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-s1"}],[{"start":8,"end":72,"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":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":4,"end":15,"cssClass":"pl-en"},{"start":5,"end":8,"cssClass":"pl-s1"},{"start":9,"end":15,"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":21,"cssClass":"pl-s1"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":36,"cssClass":"pl-c1"}],[{"start":8,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-s1"},{"start":15,"end":17,"cssClass":"pl-c1"},{"start":18,"end":22,"cssClass":"pl-s1"},{"start":23,"end":27,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":28,"cssClass":"pl-en"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":27,"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":24,"cssClass":"pl-en"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":34,"end":37,"cssClass":"pl-s1"}],[{"start":8,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":39,"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":37,"cssClass":"pl-s1"}],[],[{"start":4,"end":28,"cssClass":"pl-en"},{"start":5,"end":21,"cssClass":"pl-s1"},{"start":22,"end":28,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":24,"cssClass":"pl-en"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":31,"end":47,"cssClass":"pl-s1"},{"start":49,"end":52,"cssClass":"pl-s1"},{"start":53,"end":54,"cssClass":"pl-c1"},{"start":55,"end":59,"cssClass":"pl-c1"},{"start":61,"end":63,"cssClass":"pl-c1"},{"start":64,"end":68,"cssClass":"pl-c1"}],[{"start":8,"end":42,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":57,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":61,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":41,"cssClass":"pl-c1"},{"start":42,"end":44,"cssClass":"pl-c1"},{"start":45,"end":61,"cssClass":"pl-s1"},{"start":62,"end":64,"cssClass":"pl-c1"},{"start":65,"end":69,"cssClass":"pl-s1"},{"start":70,"end":87,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":28,"cssClass":"pl-en"},{"start":32,"end":44,"cssClass":"pl-c"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":53,"cssClass":"pl-s1"}],[],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-c1"},{"start":35,"end":38,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-c1"}],[{"start":16,"end":45,"cssClass":"pl-c"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":42,"cssClass":"pl-v"},{"start":43,"end":59,"cssClass":"pl-s1"},{"start":61,"end":65,"cssClass":"pl-s1"},{"start":65,"end":66,"cssClass":"pl-c1"},{"start":66,"end":73,"cssClass":"pl-s"}],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":43,"cssClass":"pl-v"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":47,"end":51,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-c1"},{"start":52,"end":61,"cssClass":"pl-s"}],[],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":30,"end":38,"cssClass":"pl-s1"},{"start":40,"end":49,"cssClass":"pl-s1"}],[],[{"start":16,"end":42,"cssClass":"pl-c"}],[{"start":16,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":47,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":51,"cssClass":"pl-c1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":35,"cssClass":"pl-c1"}],[{"start":20,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":48,"cssClass":"pl-v"},{"start":49,"end":61,"cssClass":"pl-s1"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":37,"cssClass":"pl-en"},{"start":38,"end":48,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":43,"end":46,"cssClass":"pl-s1"}],[{"start":8,"end":65,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":50,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":29,"cssClass":"pl-en"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":54,"cssClass":"pl-s1"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":58,"end":61,"cssClass":"pl-en"},{"start":62,"end":64,"cssClass":"pl-s1"},{"start":65,"end":69,"cssClass":"pl-en"},{"start":70,"end":74,"cssClass":"pl-s1"},{"start":75,"end":80,"cssClass":"pl-s1"}],[{"start":8,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":48,"cssClass":"pl-s"},{"start":28,"end":47,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-kos"},{"start":29,"end":44,"cssClass":"pl-s1"},{"start":46,"end":47,"cssClass":"pl-kos"},{"start":49,"end":54,"cssClass":"pl-en"},{"start":55,"end":59,"cssClass":"pl-s1"},{"start":60,"end":76,"cssClass":"pl-s1"},{"start":78,"end":81,"cssClass":"pl-s"}],[{"start":8,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"}],[{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":16,"cssClass":"pl-k"},{"start":17,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-c1"},{"start":39,"end":42,"cssClass":"pl-s"},{"start":43,"end":47,"cssClass":"pl-k"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":53,"cssClass":"pl-k"},{"start":54,"end":55,"cssClass":"pl-s1"},{"start":56,"end":58,"cssClass":"pl-c1"},{"start":59,"end":67,"cssClass":"pl-en"},{"start":68,"end":73,"cssClass":"pl-en"},{"start":74,"end":77,"cssClass":"pl-en"},{"start":78,"end":93,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":30,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":35,"end":51,"cssClass":"pl-s1"},{"start":53,"end":57,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-c1"},{"start":60,"end":64,"cssClass":"pl-c1"},{"start":66,"end":68,"cssClass":"pl-c1"},{"start":69,"end":73,"cssClass":"pl-s1"}],[{"start":8,"end":58,"cssClass":"pl-s"}],[{"start":8,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":20,"cssClass":"pl-c1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":41,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":31,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":36,"cssClass":"pl-v"},{"start":37,"end":73,"cssClass":"pl-s"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":31,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":36,"cssClass":"pl-v"},{"start":37,"end":63,"cssClass":"pl-s"}],[],[{"start":8,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":55,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-c1"},{"start":30,"end":49,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":31,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":34,"cssClass":"pl-v"},{"start":35,"end":95,"cssClass":"pl-s"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":20,"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":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-c1"}],[{"start":8,"end":54,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":25,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"}],[],[{"start":8,"end":13,"cssClass":"pl-en"},{"start":16,"end":22,"cssClass":"pl-en"}],[],[{"start":8,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":30,"cssClass":"pl-s1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":54,"cssClass":"pl-s1"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-s1"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":53,"cssClass":"pl-s1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-s1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":54,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-c1"},{"start":57,"end":58,"cssClass":"pl-c1"}],[],[{"start":8,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":32,"cssClass":"pl-v"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":34,"end":38,"cssClass":"pl-s1"},{"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-s1"},{"start":56,"end":60,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":29,"end":81,"cssClass":"pl-c"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":27,"end":71,"cssClass":"pl-c"}],[{"start":16,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-en"},{"start":26,"end":35,"cssClass":"pl-s1"}],[{"start":8,"end":74,"cssClass":"pl-c"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":17,"cssClass":"pl-s1"},{"start":18,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":29,"cssClass":"pl-en"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":54,"cssClass":"pl-s1"}],[],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":36,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":39,"end":40,"cssClass":"pl-c1"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":48,"cssClass":"pl-en"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":30,"cssClass":"pl-en"},{"start":31,"end":35,"cssClass":"pl-s1"},{"start":36,"end":52,"cssClass":"pl-s1"}],[{"start":20,"end":22,"cssClass":"pl-k"},{"start":23,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":29,"cssClass":"pl-c1"}],[{"start":24,"end":26,"cssClass":"pl-k"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":39,"cssClass":"pl-c1"}],[{"start":28,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-en"},{"start":39,"end":47,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-s1"},{"start":52,"end":62,"cssClass":"pl-s1"},{"start":63,"end":64,"cssClass":"pl-s1"}],[{"start":20,"end":24,"cssClass":"pl-k"},{"start":25,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":50,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-c1"},{"start":53,"end":54,"cssClass":"pl-c1"}],[{"start":24,"end":26,"cssClass":"pl-k"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":39,"cssClass":"pl-c1"}],[{"start":28,"end":35,"cssClass":"pl-s1"},{"start":36,"end":43,"cssClass":"pl-en"}],[{"start":32,"end":34,"cssClass":"pl-v"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":40,"end":48,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-s1"},{"start":53,"end":63,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":68,"end":69,"cssClass":"pl-c1"},{"start":72,"end":82,"cssClass":"pl-s1"},{"start":83,"end":84,"cssClass":"pl-s1"},{"start":88,"end":95,"cssClass":"pl-s1"},{"start":95,"end":96,"cssClass":"pl-c1"},{"start":96,"end":100,"cssClass":"pl-c1"}],[],[{"start":24,"end":28,"cssClass":"pl-k"}],[{"start":28,"end":35,"cssClass":"pl-s1"},{"start":36,"end":39,"cssClass":"pl-en"},{"start":40,"end":48,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-s1"},{"start":53,"end":63,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":68,"end":69,"cssClass":"pl-c1"},{"start":72,"end":82,"cssClass":"pl-s1"},{"start":83,"end":84,"cssClass":"pl-s1"}],[{"start":20,"end":24,"cssClass":"pl-k"}],[{"start":24,"end":26,"cssClass":"pl-k"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":39,"cssClass":"pl-c1"}],[{"start":28,"end":86,"cssClass":"pl-c"}],[{"start":28,"end":50,"cssClass":"pl-c"}],[{"start":28,"end":35,"cssClass":"pl-s1"},{"start":36,"end":43,"cssClass":"pl-en"}],[{"start":32,"end":34,"cssClass":"pl-v"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":40,"end":48,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-s1"},{"start":53,"end":63,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":68,"end":69,"cssClass":"pl-c1"},{"start":72,"end":81,"cssClass":"pl-s1"},{"start":84,"end":91,"cssClass":"pl-s1"},{"start":91,"end":92,"cssClass":"pl-c1"},{"start":92,"end":96,"cssClass":"pl-c1"}],[],[{"start":24,"end":28,"cssClass":"pl-k"}],[{"start":28,"end":35,"cssClass":"pl-s1"},{"start":36,"end":39,"cssClass":"pl-en"},{"start":40,"end":48,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-s1"},{"start":53,"end":63,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":68,"end":69,"cssClass":"pl-c1"},{"start":72,"end":81,"cssClass":"pl-s1"}],[],[{"start":16,"end":54,"cssClass":"pl-c"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-c1"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":32,"cssClass":"pl-s1"}],[{"start":20,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-en"},{"start":30,"end":39,"cssClass":"pl-s1"}],[],[{"start":16,"end":42,"cssClass":"pl-c"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":33,"cssClass":"pl-en"},{"start":34,"end":39,"cssClass":"pl-en"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":45,"end":61,"cssClass":"pl-s1"},{"start":62,"end":63,"cssClass":"pl-c1"},{"start":64,"end":65,"cssClass":"pl-c1"}],[{"start":20,"end":22,"cssClass":"pl-k"},{"start":23,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":29,"cssClass":"pl-c1"}],[{"start":24,"end":26,"cssClass":"pl-k"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":39,"cssClass":"pl-c1"}],[{"start":28,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-en"},{"start":39,"end":47,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-s1"},{"start":52,"end":62,"cssClass":"pl-s1"},{"start":63,"end":64,"cssClass":"pl-s1"}],[{"start":20,"end":24,"cssClass":"pl-k"}],[{"start":24,"end":26,"cssClass":"pl-k"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":39,"cssClass":"pl-c1"}],[{"start":28,"end":35,"cssClass":"pl-s1"},{"start":36,"end":43,"cssClass":"pl-en"}],[{"start":32,"end":34,"cssClass":"pl-v"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":40,"end":48,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-s1"},{"start":53,"end":63,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":68,"end":69,"cssClass":"pl-c1"},{"start":72,"end":82,"cssClass":"pl-s1"},{"start":83,"end":84,"cssClass":"pl-s1"},{"start":88,"end":95,"cssClass":"pl-s1"},{"start":95,"end":96,"cssClass":"pl-c1"},{"start":96,"end":100,"cssClass":"pl-c1"}],[],[{"start":24,"end":28,"cssClass":"pl-k"}],[{"start":28,"end":35,"cssClass":"pl-s1"},{"start":36,"end":39,"cssClass":"pl-en"},{"start":40,"end":48,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-s1"},{"start":53,"end":63,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":68,"end":69,"cssClass":"pl-c1"},{"start":72,"end":82,"cssClass":"pl-s1"},{"start":83,"end":84,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[],[{"start":16,"end":55,"cssClass":"pl-c"}],[{"start":16,"end":23,"cssClass":"pl-s1"},{"start":24,"end":26,"cssClass":"pl-en"},{"start":27,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":40,"end":49,"cssClass":"pl-s1"}],[],[{"start":16,"end":54,"cssClass":"pl-c"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-c1"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":32,"cssClass":"pl-s1"}],[{"start":20,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-en"},{"start":30,"end":39,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":31,"end":75,"cssClass":"pl-c"}],[{"start":16,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-en"},{"start":26,"end":35,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":19,"cssClass":"pl-en"},{"start":20,"end":27,"cssClass":"pl-s1"},{"start":28,"end":35,"cssClass":"pl-en"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":44,"end":50,"cssClass":"pl-s1"}]],"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":"integer_comparator.py","displayUrl":"https://github.com/Qiskit/qiskit/blob/main/qiskit/circuit/library/arithmetic/integer_comparator.py?raw=true","headerInfo":{"blobSize":"8.58 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":"1324d51","siteNavLoginPath":"/login?return_to=https%3A%2F%2Fgithub.com%2FQiskit%2Fqiskit%2Fblob%2Fmain%2Fqiskit%2Fcircuit%2Flibrary%2Farithmetic%2Finteger_comparator.py","isCSV":false,"isRichtext":false,"toc":null,"lineInfo":{"truncatedLoc":"243","truncatedSloc":"195"},"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/circuit/library/arithmetic/integer_comparator.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/circuit/library/arithmetic/integer_comparator.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":"IntegerComparator","kind":"class","ident_start":781,"ident_end":798,"extent_start":775,"extent_end":8784,"fully_qualified_name":"IntegerComparator","ident_utf16":{"start":{"line_number":24,"utf16_col":6},"end":{"line_number":24,"utf16_col":23}},"extent_utf16":{"start":{"line_number":24,"utf16_col":0},"end":{"line_number":242,"utf16_col":51}}},{"name":"__init__","kind":"function","ident_start":1437,"ident_end":1445,"extent_start":1433,"extent_end":2225,"fully_qualified_name":"IntegerComparator.__init__","ident_utf16":{"start":{"line_number":40,"utf16_col":8},"end":{"line_number":40,"utf16_col":16}},"extent_utf16":{"start":{"line_number":40,"utf16_col":4},"end":{"line_number":64,"utf16_col":48}}},{"name":"value","kind":"function","ident_start":2249,"ident_end":2254,"extent_start":2245,"extent_end":2461,"fully_qualified_name":"IntegerComparator.value","ident_utf16":{"start":{"line_number":67,"utf16_col":8},"end":{"line_number":67,"utf16_col":13}},"extent_utf16":{"start":{"line_number":67,"utf16_col":4},"end":{"line_number":73,"utf16_col":26}}},{"name":"value","kind":"function","ident_start":2489,"ident_end":2494,"extent_start":2485,"extent_end":2617,"fully_qualified_name":"IntegerComparator.value","ident_utf16":{"start":{"line_number":76,"utf16_col":8},"end":{"line_number":76,"utf16_col":13}},"extent_utf16":{"start":{"line_number":76,"utf16_col":4},"end":{"line_number":79,"utf16_col":31}}},{"name":"geq","kind":"function","ident_start":2641,"ident_end":2644,"extent_start":2637,"extent_end":2856,"fully_qualified_name":"IntegerComparator.geq","ident_utf16":{"start":{"line_number":82,"utf16_col":8},"end":{"line_number":82,"utf16_col":11}},"extent_utf16":{"start":{"line_number":82,"utf16_col":4},"end":{"line_number":88,"utf16_col":24}}},{"name":"geq","kind":"function","ident_start":2882,"ident_end":2885,"extent_start":2878,"extent_end":3170,"fully_qualified_name":"IntegerComparator.geq","ident_utf16":{"start":{"line_number":91,"utf16_col":8},"end":{"line_number":91,"utf16_col":11}},"extent_utf16":{"start":{"line_number":91,"utf16_col":4},"end":{"line_number":99,"utf16_col":27}}},{"name":"num_state_qubits","kind":"function","ident_start":3194,"ident_end":3210,"extent_start":3190,"extent_end":3403,"fully_qualified_name":"IntegerComparator.num_state_qubits","ident_utf16":{"start":{"line_number":102,"utf16_col":8},"end":{"line_number":102,"utf16_col":24}},"extent_utf16":{"start":{"line_number":102,"utf16_col":4},"end":{"line_number":108,"utf16_col":37}}},{"name":"num_state_qubits","kind":"function","ident_start":3442,"ident_end":3458,"extent_start":3438,"extent_end":4410,"fully_qualified_name":"IntegerComparator.num_state_qubits","ident_utf16":{"start":{"line_number":111,"utf16_col":8},"end":{"line_number":111,"utf16_col":24}},"extent_utf16":{"start":{"line_number":111,"utf16_col":4},"end":{"line_number":134,"utf16_col":49}}},{"name":"_get_twos_complement","kind":"function","ident_start":4420,"ident_end":4440,"extent_start":4416,"extent_end":4939,"fully_qualified_name":"IntegerComparator._get_twos_complement","ident_utf16":{"start":{"line_number":136,"utf16_col":8},"end":{"line_number":136,"utf16_col":28}},"extent_utf16":{"start":{"line_number":136,"utf16_col":4},"end":{"line_number":147,"utf16_col":30}}},{"name":"_check_configuration","kind":"function","ident_start":4949,"ident_end":4969,"extent_start":4945,"extent_end":5716,"fully_qualified_name":"IntegerComparator._check_configuration","ident_utf16":{"start":{"line_number":149,"utf16_col":8},"end":{"line_number":149,"utf16_col":28}},"extent_utf16":{"start":{"line_number":149,"utf16_col":4},"end":{"line_number":169,"utf16_col":20}}},{"name":"_build","kind":"function","ident_start":5726,"ident_end":5732,"extent_start":5722,"extent_end":8784,"fully_qualified_name":"IntegerComparator._build","ident_utf16":{"start":{"line_number":171,"utf16_col":8},"end":{"line_number":171,"utf16_col":14}},"extent_utf16":{"start":{"line_number":171,"utf16_col":4},"end":{"line_number":242,"utf16_col":51}}}]}},"copilotInfo":null,"copilotAccessAllowed":false,"csrf_tokens":{"/Qiskit/qiskit/branches":{"post":"ECAcJc4mnzGcqLyMcJBYjupoc94KDWTvZbVg9DQZKys3F17C-N4-Eid6_CbpyNquwnfb-eEeGs0vAAh7_byn6A"},"/repos/preferences":{"post":"uApnx3afavHrUkiRsutSb-zoLZTpkq7nhDwc11G5xA1qpZHvySCfC6z2bMe_2WtuMIPYzbelg8Hu28Nedech-g"}}},"title":"qiskit/qiskit/circuit/library/arithmetic/integer_comparator.py at main ยท Qiskit/qiskit"}