{"payload":{"allShortcutsEnabled":false,"fileTree":{"qiskit/transpiler/passes/layout":{"items":[{"name":"__init__.py","path":"qiskit/transpiler/passes/layout/__init__.py","contentType":"file"},{"name":"_csp_custom_solver.py","path":"qiskit/transpiler/passes/layout/_csp_custom_solver.py","contentType":"file"},{"name":"apply_layout.py","path":"qiskit/transpiler/passes/layout/apply_layout.py","contentType":"file"},{"name":"csp_layout.py","path":"qiskit/transpiler/passes/layout/csp_layout.py","contentType":"file"},{"name":"dense_layout.py","path":"qiskit/transpiler/passes/layout/dense_layout.py","contentType":"file"},{"name":"disjoint_utils.py","path":"qiskit/transpiler/passes/layout/disjoint_utils.py","contentType":"file"},{"name":"enlarge_with_ancilla.py","path":"qiskit/transpiler/passes/layout/enlarge_with_ancilla.py","contentType":"file"},{"name":"full_ancilla_allocation.py","path":"qiskit/transpiler/passes/layout/full_ancilla_allocation.py","contentType":"file"},{"name":"layout_2q_distance.py","path":"qiskit/transpiler/passes/layout/layout_2q_distance.py","contentType":"file"},{"name":"sabre_layout.py","path":"qiskit/transpiler/passes/layout/sabre_layout.py","contentType":"file"},{"name":"sabre_pre_layout.py","path":"qiskit/transpiler/passes/layout/sabre_pre_layout.py","contentType":"file"},{"name":"set_layout.py","path":"qiskit/transpiler/passes/layout/set_layout.py","contentType":"file"},{"name":"trivial_layout.py","path":"qiskit/transpiler/passes/layout/trivial_layout.py","contentType":"file"},{"name":"vf2_layout.py","path":"qiskit/transpiler/passes/layout/vf2_layout.py","contentType":"file"},{"name":"vf2_post_layout.py","path":"qiskit/transpiler/passes/layout/vf2_post_layout.py","contentType":"file"},{"name":"vf2_utils.py","path":"qiskit/transpiler/passes/layout/vf2_utils.py","contentType":"file"}],"totalCount":16},"qiskit/transpiler/passes":{"items":[{"name":"analysis","path":"qiskit/transpiler/passes/analysis","contentType":"directory"},{"name":"basis","path":"qiskit/transpiler/passes/basis","contentType":"directory"},{"name":"calibration","path":"qiskit/transpiler/passes/calibration","contentType":"directory"},{"name":"layout","path":"qiskit/transpiler/passes/layout","contentType":"directory"},{"name":"optimization","path":"qiskit/transpiler/passes/optimization","contentType":"directory"},{"name":"routing","path":"qiskit/transpiler/passes/routing","contentType":"directory"},{"name":"scheduling","path":"qiskit/transpiler/passes/scheduling","contentType":"directory"},{"name":"synthesis","path":"qiskit/transpiler/passes/synthesis","contentType":"directory"},{"name":"utils","path":"qiskit/transpiler/passes/utils","contentType":"directory"},{"name":"__init__.py","path":"qiskit/transpiler/passes/__init__.py","contentType":"file"}],"totalCount":10},"qiskit/transpiler":{"items":[{"name":"passes","path":"qiskit/transpiler/passes","contentType":"directory"},{"name":"preset_passmanagers","path":"qiskit/transpiler/preset_passmanagers","contentType":"directory"},{"name":"__init__.py","path":"qiskit/transpiler/__init__.py","contentType":"file"},{"name":"basepasses.py","path":"qiskit/transpiler/basepasses.py","contentType":"file"},{"name":"coupling.py","path":"qiskit/transpiler/coupling.py","contentType":"file"},{"name":"exceptions.py","path":"qiskit/transpiler/exceptions.py","contentType":"file"},{"name":"instruction_durations.py","path":"qiskit/transpiler/instruction_durations.py","contentType":"file"},{"name":"layout.py","path":"qiskit/transpiler/layout.py","contentType":"file"},{"name":"passmanager.py","path":"qiskit/transpiler/passmanager.py","contentType":"file"},{"name":"passmanager_config.py","path":"qiskit/transpiler/passmanager_config.py","contentType":"file"},{"name":"target.py","path":"qiskit/transpiler/target.py","contentType":"file"},{"name":"timing_constraints.py","path":"qiskit/transpiler/timing_constraints.py","contentType":"file"}],"totalCount":12},"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":18.226603,"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/transpiler/passes/layout/sabre_layout.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.","","\"\"\"Layout selection using the SABRE bidirectional search approach from Li et al.","\"\"\"","","import copy","import dataclasses","import logging","import functools","import time","","import numpy as np","import rustworkx as rx","","from qiskit.converters import dag_to_circuit","from qiskit.circuit import QuantumRegister","from qiskit.dagcircuit import DAGCircuit","from qiskit.transpiler.passes.layout.set_layout import SetLayout","from qiskit.transpiler.passes.layout.full_ancilla_allocation import FullAncillaAllocation","from qiskit.transpiler.passes.layout.enlarge_with_ancilla import EnlargeWithAncilla","from qiskit.transpiler.passes.layout.apply_layout import ApplyLayout","from qiskit.transpiler.passes.layout import disjoint_utils","from qiskit.transpiler.passmanager import PassManager","from qiskit.transpiler.layout import Layout","from qiskit.transpiler.basepasses import TransformationPass","from qiskit.transpiler.exceptions import TranspilerError","from qiskit._accelerate.nlayout import NLayout","from qiskit._accelerate.sabre_layout import sabre_layout_and_routing","from qiskit._accelerate.sabre_swap import ("," Heuristic,"," NeighborTable,",")","from qiskit.transpiler.passes.routing.sabre_swap import _build_sabre_dag, _apply_sabre_result","from qiskit.transpiler.target import Target","from qiskit.transpiler.coupling import CouplingMap","from qiskit.utils.parallel import CPU_COUNT","","logger = logging.getLogger(__name__)","","","class SabreLayout(TransformationPass):"," \"\"\"Choose a Layout via iterative bidirectional routing of the input circuit.",""," Starting with a random initial `Layout`, the algorithm does a full routing"," of the circuit (via the `routing_pass` method) to end up with a"," `final_layout`. This final_layout is then used as the initial_layout for"," routing the reverse circuit. The algorithm iterates a number of times until"," it finds an initial_layout that reduces full routing cost.",""," This method exploits the reversibility of quantum circuits, and tries to"," include global circuit information in the choice of initial_layout.",""," By default, this pass will run both layout and routing and will transform the"," circuit so that the layout is applied to the input dag (meaning that the output"," circuit will have ancilla qubits allocated for unused qubits on the coupling map"," and the qubits will be reordered to match the mapped physical qubits) and then"," routing will be applied (inserting :class:`~.SwapGate`s to account for limited"," connectivity). This is unlike most other layout passes which are :class:`~.AnalysisPass`"," objects and just find an initial layout and set that on the property set. This is"," done because by default the pass will run parallel seed trials with different random"," seeds for selecting the random initial layout and then selecting the routed output"," which results in the least number of swap gates needed.",""," You can use the ``routing_pass`` argument to have this pass operate as a typical"," layout pass. When specified this will use the specified routing pass to select an"," initial layout only and will not run multiple seed trials.",""," In addition to starting with a random initial `Layout` the pass can also take in"," an additional list of starting layouts which will be used for additional"," trials. If the ``sabre_starting_layouts`` is present in the property set"," when this pass is run, that will be used for additional trials. There will still"," be ``layout_trials`` of full random starting layouts run and the contents of"," ``sabre_starting_layouts`` will be run in addition to those. The output which results"," in the lowest amount of swap gates (whether from the random trials or the property"," set starting point) will be used. The value for this property set field should be a"," list of :class:`.Layout` objects representing the starting layouts to use. If a"," virtual qubit is missing from an :class:`.Layout` object in the list a random qubit"," will be selected.",""," Property Set Fields Read"," ------------------------",""," ``sabre_starting_layouts`` (``list[Layout]``)"," An optional list of :class:`~.Layout` objects to use for additional layout trials. This is"," in addition to the full random trials specified with the ``layout_trials`` argument.",""," Property Set Values Written"," ---------------------------",""," ``layout`` (:class:`.Layout`)"," The chosen initial mapping of virtual to physical qubits, including the ancilla allocation.",""," ``final_layout`` (:class:`.Layout`)"," A permutation of how swaps have been applied to the input qubits at the end of the circuit.",""," **References:**",""," [1] Li, Gushu, Yufei Ding, and Yuan Xie. \"Tackling the qubit mapping problem"," for NISQ-era quantum devices.\" ASPLOS 2019."," `arXiv:1809.02573 `_"," \"\"\"",""," def __init__("," self,"," coupling_map,"," routing_pass=None,"," seed=None,"," max_iterations=3,"," swap_trials=None,"," layout_trials=None,"," skip_routing=False,"," ):"," \"\"\"SabreLayout initializer.",""," Args:"," coupling_map (Union[CouplingMap, Target]): directed graph representing a coupling map."," routing_pass (BasePass): the routing pass to use while iterating."," If specified this pass operates as an :class:`~.AnalysisPass` and"," will only populate the ``layout`` field in the property set and"," the input dag is returned unmodified. This argument is mutually"," exclusive with the ``swap_trials`` and the ``layout_trials``"," arguments and if this is specified at the same time as either"," argument an error will be raised."," seed (int): seed for setting a random first trial layout."," max_iterations (int): number of forward-backward iterations."," swap_trials (int): The number of trials to run of"," :class:`~.SabreSwap` for each iteration. This is equivalent to"," the ``trials`` argument on :class:`~.SabreSwap`. If this is not"," specified (and ``routing_pass`` isn't set) by default the number"," of physical CPUs on your local system will be used. For"," reproducibility between environments it is best to set this"," to an explicit number because the output will potentially depend"," on the number of trials run. This option is mutually exclusive"," with the ``routing_pass`` argument and an error will be raised"," if both are used."," layout_trials (int): The number of random seed trials to run"," layout with. When > 1 the trial that resuls in the output with"," the fewest swap gates will be selected. If this is not specified"," (and ``routing_pass`` is not set) then the number of local"," physical CPUs will be used as the default value. This option is"," mutually exclusive with the ``routing_pass`` argument and an error"," will be raised if both are used."," skip_routing (bool): If this is set ``True`` and ``routing_pass`` is not used"," then routing will not be applied to the output circuit. Only the layout"," will be set in the property set. This is a tradeoff to run custom"," routing with multiple layout trials, as using this option will cause"," SabreLayout to run the routing stage internally but not use that result.",""," Raises:"," TranspilerError: If both ``routing_pass`` and ``swap_trials`` or"," both ``routing_pass`` and ``layout_trials`` are specified"," \"\"\""," super().__init__()"," if isinstance(coupling_map, Target):"," self.target = coupling_map"," self.coupling_map = self.target.build_coupling_map()"," else:"," self.target = None"," self.coupling_map = coupling_map"," self._neighbor_table = None"," if routing_pass is not None and (swap_trials is not None or layout_trials is not None):"," raise TranspilerError(\"Both routing_pass and swap_trials can't be set at the same time\")"," self.routing_pass = routing_pass"," self.seed = seed"," self.max_iterations = max_iterations"," self.trials = swap_trials"," if swap_trials is None:"," self.swap_trials = CPU_COUNT"," else:"," self.swap_trials = swap_trials"," if layout_trials is None:"," self.layout_trials = CPU_COUNT"," else:"," self.layout_trials = layout_trials"," self.skip_routing = skip_routing"," if self.coupling_map is not None:"," if not self.coupling_map.is_symmetric:"," # deepcopy is needed here if we don't own the coupling map (i.e. we were passed it"," # directly) to avoid modifications updating shared references in passes which"," # require directional constraints"," if isinstance(coupling_map, CouplingMap):"," self.coupling_map = copy.deepcopy(self.coupling_map)"," self.coupling_map.make_symmetric()"," self._neighbor_table = NeighborTable(rx.adjacency_matrix(self.coupling_map.graph))",""," def run(self, dag):"," \"\"\"Run the SabreLayout pass on `dag`.",""," Args:"," dag (DAGCircuit): DAG to find layout for.",""," Returns:"," DAGCircuit: The output dag if swap mapping was run"," (otherwise the input dag is returned unmodified).",""," Raises:"," TranspilerError: if dag wider than self.coupling_map"," \"\"\""," if len(dag.qubits) > self.coupling_map.size():"," raise TranspilerError(\"More virtual qubits exist than physical.\")",""," # Choose a random initial_layout."," if self.routing_pass is not None:"," if not self.coupling_map.is_connected():"," raise TranspilerError("," \"The routing_pass argument cannot be used with disjoint coupling maps.\""," )"," if self.seed is None:"," seed = np.random.randint(0, np.iinfo(np.int32).max)"," else:"," seed = self.seed"," rng = np.random.default_rng(seed)",""," physical_qubits = rng.choice(self.coupling_map.size(), len(dag.qubits), replace=False)"," physical_qubits = rng.permutation(physical_qubits)"," initial_layout = Layout({q: dag.qubits[i] for i, q in enumerate(physical_qubits)})",""," self.routing_pass.fake_run = True",""," # Do forward-backward iterations."," circ = dag_to_circuit(dag)"," rev_circ = circ.reverse_ops()"," for _ in range(self.max_iterations):"," for _ in (\"forward\", \"backward\"):"," pm = self._layout_and_route_passmanager(initial_layout)"," new_circ = pm.run(circ)",""," # Update initial layout and reverse the unmapped circuit."," pass_final_layout = pm.property_set[\"final_layout\"]"," final_layout = self._compose_layouts("," initial_layout, pass_final_layout, new_circ.qregs"," )"," initial_layout = final_layout"," circ, rev_circ = rev_circ, circ",""," # Diagnostics"," logger.info(\"new initial layout\")"," logger.info(initial_layout)",""," for qreg in dag.qregs.values():"," initial_layout.add_register(qreg)"," self.property_set[\"layout\"] = initial_layout"," self.routing_pass.fake_run = False"," return dag"," # Combined"," if self.target is not None:"," # This is a special case SABRE only works with a bidirectional coupling graph"," # which we explicitly can't create from the target. So do this manually here"," # to avoid altering the shared state with the unfiltered indices."," target = self.target.build_coupling_map(filter_idle_qubits=True)"," target.make_symmetric()"," else:"," target = self.coupling_map"," inner_run = self._inner_run"," if \"sabre_starting_layouts\" in self.property_set:"," inner_run = functools.partial("," self._inner_run, starting_layouts=self.property_set[\"sabre_starting_layouts\"]"," )"," components = disjoint_utils.run_pass_over_connected_components(dag, target, inner_run)"," self.property_set[\"layout\"] = Layout("," {"," component.dag.qubits[logic]: component.coupling_map.graph[phys]"," for component in components"," for logic, phys in component.initial_layout.layout_mapping()"," # A physical component of the coupling map might be wider than the DAG that we're"," # laying out onto it. We shouldn't include these implicit ancillas right now as the"," # ancilla-allocation pass will run on the whole map in one go."," if logic < len(component.dag.qubits)"," }"," )",""," # Add the existing registers to the layout"," for qreg in dag.qregs.values():"," self.property_set[\"layout\"].add_register(qreg)",""," # If skip_routing is set then return the layout in the property set"," # and throwaway the extra work we did to compute the swap map."," # We also skip routing here if there is more than one connected"," # component we ran layout on. We can only reliably route the full dag"," # in this case if there is any dependency between the components"," # (typically shared classical data or barriers)."," if self.skip_routing or len(components) > 1:"," return dag",""," # At this point, we become a transformation pass, and apply the layout and the routing to"," # the DAG directly. This includes filling in the `property_set` data of the embed passes.",""," dag = self._ancilla_allocation_no_pass_manager(dag)"," # The ancilla-allocation pass has expanded this since we set it above."," full_initial_layout = self.property_set[\"layout\"]",""," # Set up a physical DAG to apply the Sabre result onto. We do not need to run the"," # `ApplyLayout` transpiler pass (which usually does this step), because we're about to apply"," # the layout and routing together as part of resolving the Sabre result."," physical_qubits = QuantumRegister(self.coupling_map.size(), \"q\")"," mapped_dag = DAGCircuit()"," mapped_dag.add_qreg(physical_qubits)"," mapped_dag.add_clbits(dag.clbits)"," for creg in dag.cregs.values():"," mapped_dag.add_creg(creg)"," mapped_dag._global_phase = dag._global_phase"," self.property_set[\"original_qubit_indices\"] = {"," bit: index for index, bit in enumerate(dag.qubits)"," }"," self.property_set[\"final_layout\"] = Layout("," {"," mapped_dag.qubits["," component.coupling_map.graph[initial]"," ]: component.coupling_map.graph[final]"," for component in components"," for initial, final in enumerate(component.final_permutation)"," }"," )"," for component in components:"," # Sabre routing still returns all its swaps as on virtual qubits, so we need to expand"," # each component DAG with the virtual ancillas that were allocated to it, so the layout"," # application can succeed. This is the last thing we do with the component DAG, so it's"," # ok for us to modify it."," component_size = component.coupling_map.size()"," dag_size = component.dag.num_qubits()"," if component_size > dag_size:"," used_physical = {full_initial_layout[logic] for logic in component.dag.qubits}"," component.dag.add_qubits("," ["," full_initial_layout[component.coupling_map.graph[phys]]"," for phys in range(component.dag.num_qubits(), component_size)"," if component.coupling_map.graph[phys] not in used_physical"," ]"," )"," mapped_dag = _apply_sabre_result("," mapped_dag,"," component.dag,"," component.sabre_result,"," component.initial_layout,"," ["," mapped_dag.qubits[component.coupling_map.graph[phys]]"," for phys in range(component_size)"," ],"," component.circuit_to_dag_dict,"," )"," disjoint_utils.combine_barriers(mapped_dag, retain_uuid=False)"," return mapped_dag",""," def _inner_run(self, dag, coupling_map, starting_layouts=None):"," if not coupling_map.is_symmetric:"," # deepcopy is needed here to avoid modifications updating"," # shared references in passes which require directional"," # constraints"," coupling_map = copy.deepcopy(coupling_map)"," coupling_map.make_symmetric()"," neighbor_table = NeighborTable(rx.adjacency_matrix(coupling_map.graph))"," dist_matrix = coupling_map.distance_matrix"," original_qubit_indices = {bit: index for index, bit in enumerate(dag.qubits)}"," partial_layouts = []"," if starting_layouts is not None:"," coupling_map_reverse_mapping = {"," coupling_map.graph[x]: x for x in coupling_map.graph.node_indices()"," }"," for layout in starting_layouts:"," virtual_bits = layout.get_virtual_bits()"," out_layout = [None] * len(dag.qubits)"," for bit, phys in virtual_bits.items():"," pos = original_qubit_indices.get(bit, None)"," if pos is None:"," continue"," out_layout[pos] = coupling_map_reverse_mapping[phys]"," partial_layouts.append(out_layout)",""," sabre_dag, circuit_to_dag_dict = _build_sabre_dag("," dag,"," coupling_map.size(),"," original_qubit_indices,"," )"," sabre_start = time.perf_counter()"," (initial_layout, final_permutation, sabre_result) = sabre_layout_and_routing("," sabre_dag,"," neighbor_table,"," dist_matrix,"," Heuristic.Decay,"," self.max_iterations,"," self.swap_trials,"," self.layout_trials,"," self.seed,"," partial_layouts,"," )"," sabre_stop = time.perf_counter()"," logger.debug("," \"Sabre layout algorithm execution for a connected component complete in: %s sec.\","," sabre_stop - sabre_start,"," )"," return _DisjointComponent("," dag,"," coupling_map,"," initial_layout,"," final_permutation,"," sabre_result,"," circuit_to_dag_dict,"," )",""," def _ancilla_allocation_no_pass_manager(self, dag):"," \"\"\"Run the ancilla-allocation and -enlargment passes on the DAG chained onto our"," ``property_set``, skipping the DAG-to-circuit conversion cost of using a ``PassManager``.\"\"\""," ancilla_pass = FullAncillaAllocation(self.coupling_map)"," ancilla_pass.property_set = self.property_set"," dag = ancilla_pass.run(dag)"," enlarge_pass = EnlargeWithAncilla()"," enlarge_pass.property_set = ancilla_pass.property_set"," dag = enlarge_pass.run(dag)"," self.property_set = enlarge_pass.property_set"," return dag",""," def _layout_and_route_passmanager(self, initial_layout):"," \"\"\"Return a passmanager for a full layout and routing.",""," We use a factory to remove potential statefulness of passes."," \"\"\""," layout_and_route = ["," SetLayout(initial_layout),"," FullAncillaAllocation(self.coupling_map),"," EnlargeWithAncilla(),"," ApplyLayout(),"," self.routing_pass,"," ]"," pm = PassManager(layout_and_route)"," return pm",""," def _compose_layouts(self, initial_layout, pass_final_layout, qregs):"," \"\"\"Return the real final_layout resulting from the composition"," of an initial_layout with the final_layout reported by a pass.",""," The routing passes internally start with a trivial layout, as the"," layout gets applied to the circuit prior to running them. So the"," ``\"final_layout\"`` they report must be amended to account for the actual"," initial_layout that was selected."," \"\"\""," trivial_layout = Layout.generate_trivial_layout(*qregs)"," qubit_map = Layout.combine_into_edge_map(initial_layout, trivial_layout)"," final_layout = {v: pass_final_layout._v2p[qubit_map[v]] for v in initial_layout._v2p}"," return Layout(final_layout)","","","@dataclasses.dataclass","class _DisjointComponent:"," __slots__ = ("," \"dag\","," \"coupling_map\","," \"initial_layout\","," \"final_permutation\","," \"sabre_result\","," \"circuit_to_dag_dict\","," )",""," dag: DAGCircuit"," coupling_map: CouplingMap"," initial_layout: NLayout"," final_permutation: \"list[int]\""," sabre_result: \"tuple[SwapMap, Sequence[int], NodeBlockResults]\""," circuit_to_dag_dict: \"dict[int, DAGCircuit]\""],"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":80,"cssClass":"pl-s"}],[{"start":0,"end":3,"cssClass":"pl-s"}],[],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":11,"cssClass":"pl-s1"}],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":18,"cssClass":"pl-s1"}],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":14,"cssClass":"pl-s1"}],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":16,"cssClass":"pl-s1"}],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":11,"cssClass":"pl-s1"}],[],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":12,"cssClass":"pl-s1"},{"start":13,"end":15,"cssClass":"pl-k"},{"start":16,"end":18,"cssClass":"pl-s1"}],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-k"},{"start":20,"end":22,"cssClass":"pl-s1"}],[],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-k"},{"start":30,"end":44,"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":42,"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":40,"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-s1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":47,"cssClass":"pl-s1"},{"start":48,"end":54,"cssClass":"pl-k"},{"start":55,"end":64,"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-s1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":60,"cssClass":"pl-s1"},{"start":61,"end":67,"cssClass":"pl-k"},{"start":68,"end":89,"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-s1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":57,"cssClass":"pl-s1"},{"start":58,"end":64,"cssClass":"pl-k"},{"start":65,"end":83,"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-s1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":49,"cssClass":"pl-s1"},{"start":50,"end":56,"cssClass":"pl-k"},{"start":57,"end":68,"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-s1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-k"},{"start":44,"end":58,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":34,"cssClass":"pl-s1"},{"start":35,"end":41,"cssClass":"pl-k"},{"start":42,"end":53,"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-s1"},{"start":30,"end":36,"cssClass":"pl-k"},{"start":37,"end":43,"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":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-k"},{"start":41,"end":59,"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":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-k"},{"start":41,"end":56,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":31,"cssClass":"pl-s1"},{"start":32,"end":38,"cssClass":"pl-k"},{"start":39,"end":46,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":36,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-k"},{"start":44,"end":68,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":34,"cssClass":"pl-s1"},{"start":35,"end":41,"cssClass":"pl-k"}],[{"start":4,"end":13,"cssClass":"pl-v"}],[{"start":4,"end":17,"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-s1"},{"start":30,"end":37,"cssClass":"pl-s1"},{"start":38,"end":48,"cssClass":"pl-s1"},{"start":49,"end":55,"cssClass":"pl-k"},{"start":56,"end":72,"cssClass":"pl-s1"},{"start":74,"end":93,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"cssClass":"pl-k"},{"start":37,"end":43,"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":31,"cssClass":"pl-s1"},{"start":32,"end":38,"cssClass":"pl-k"},{"start":39,"end":50,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":26,"cssClass":"pl-s1"},{"start":27,"end":33,"cssClass":"pl-k"},{"start":34,"end":43,"cssClass":"pl-v"}],[],[{"start":0,"end":6,"cssClass":"pl-s1"},{"start":7,"end":8,"cssClass":"pl-c1"},{"start":9,"end":16,"cssClass":"pl-s1"},{"start":17,"end":26,"cssClass":"pl-en"},{"start":27,"end":35,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":5,"cssClass":"pl-k"},{"start":6,"end":17,"cssClass":"pl-v"},{"start":18,"end":36,"cssClass":"pl-v"}],[{"start":4,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":67,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":62,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":83,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":92,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"}],[{"start":0,"end":88,"cssClass":"pl-s"}],[{"start":0,"end":86,"cssClass":"pl-s"}],[{"start":0,"end":59,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"}],[{"start":0,"end":62,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":89,"cssClass":"pl-s"}],[{"start":0,"end":86,"cssClass":"pl-s"}],[{"start":0,"end":87,"cssClass":"pl-s"}],[{"start":0,"end":83,"cssClass":"pl-s"}],[{"start":0,"end":87,"cssClass":"pl-s"}],[{"start":0,"end":21,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":92,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":31,"cssClass":"pl-s"}],[{"start":0,"end":31,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":33,"cssClass":"pl-s"}],[{"start":0,"end":99,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":39,"cssClass":"pl-s"}],[{"start":0,"end":99,"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":80,"cssClass":"pl-s"}],[{"start":0,"end":47,"cssClass":"pl-s"}],[{"start":0,"end":62,"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":20,"cssClass":"pl-s1"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":13,"end":17,"cssClass":"pl-c1"}],[{"start":8,"end":22,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":23,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":21,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-c1"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":21,"end":26,"cssClass":"pl-c1"}],[],[{"start":8,"end":35,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":98,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":72,"cssClass":"pl-s"}],[{"start":0,"end":61,"cssClass":"pl-s"}],[{"start":0,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":33,"cssClass":"pl-s"}],[{"start":0,"end":72,"cssClass":"pl-s"}],[{"start":0,"end":78,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":79,"cssClass":"pl-s"}],[{"start":0,"end":82,"cssClass":"pl-s"}],[{"start":0,"end":48,"cssClass":"pl-s"}],[{"start":0,"end":89,"cssClass":"pl-s"}],[{"start":0,"end":88,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":88,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":69,"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":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":21,"cssClass":"pl-en"},{"start":22,"end":34,"cssClass":"pl-s1"},{"start":36,"end":42,"cssClass":"pl-v"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":38,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":43,"cssClass":"pl-s1"},{"start":44,"end":62,"cssClass":"pl-en"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":44,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":35,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":23,"cssClass":"pl-s1"},{"start":24,"end":26,"cssClass":"pl-c1"},{"start":27,"end":30,"cssClass":"pl-c1"},{"start":31,"end":35,"cssClass":"pl-c1"},{"start":36,"end":39,"cssClass":"pl-c1"},{"start":41,"end":52,"cssClass":"pl-s1"},{"start":53,"end":55,"cssClass":"pl-c1"},{"start":56,"end":59,"cssClass":"pl-c1"},{"start":60,"end":64,"cssClass":"pl-c1"},{"start":65,"end":67,"cssClass":"pl-c1"},{"start":68,"end":81,"cssClass":"pl-s1"},{"start":82,"end":84,"cssClass":"pl-c1"},{"start":85,"end":88,"cssClass":"pl-c1"},{"start":89,"end":93,"cssClass":"pl-c1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":33,"cssClass":"pl-v"},{"start":34,"end":99,"cssClass":"pl-s"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":40,"cssClass":"pl-s1"}],[{"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-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":44,"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":33,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":22,"cssClass":"pl-s1"},{"start":23,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":40,"cssClass":"pl-v"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":42,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":32,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":42,"cssClass":"pl-v"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":46,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":40,"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":31,"cssClass":"pl-c1"},{"start":32,"end":35,"cssClass":"pl-c1"},{"start":36,"end":40,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":36,"cssClass":"pl-s1"},{"start":37,"end":49,"cssClass":"pl-s1"}],[{"start":16,"end":98,"cssClass":"pl-c"}],[{"start":16,"end":93,"cssClass":"pl-c"}],[{"start":16,"end":49,"cssClass":"pl-c"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":29,"cssClass":"pl-en"},{"start":30,"end":42,"cssClass":"pl-s1"},{"start":44,"end":55,"cssClass":"pl-v"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"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":58,"cssClass":"pl-s1"},{"start":59,"end":71,"cssClass":"pl-s1"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":33,"cssClass":"pl-s1"},{"start":34,"end":48,"cssClass":"pl-en"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":35,"end":48,"cssClass":"pl-v"},{"start":49,"end":51,"cssClass":"pl-s1"},{"start":52,"end":68,"cssClass":"pl-en"},{"start":69,"end":73,"cssClass":"pl-s1"},{"start":74,"end":86,"cssClass":"pl-s1"},{"start":87,"end":92,"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":8,"end":45,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"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":61,"cssClass":"pl-s"}],[{"start":0,"end":61,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":64,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-en"},{"start":15,"end":18,"cssClass":"pl-s1"},{"start":19,"end":25,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":46,"cssClass":"pl-s1"},{"start":47,"end":51,"cssClass":"pl-en"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":33,"cssClass":"pl-v"},{"start":34,"end":76,"cssClass":"pl-s"}],[],[{"start":8,"end":41,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":35,"cssClass":"pl-c1"},{"start":36,"end":40,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":36,"cssClass":"pl-s1"},{"start":37,"end":49,"cssClass":"pl-en"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":37,"cssClass":"pl-v"}],[{"start":20,"end":91,"cssClass":"pl-s"}],[],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":32,"cssClass":"pl-c1"}],[{"start":16,"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-s1"},{"start":33,"end":40,"cssClass":"pl-en"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":44,"end":46,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-en"},{"start":53,"end":55,"cssClass":"pl-s1"},{"start":56,"end":61,"cssClass":"pl-s1"},{"start":63,"end":66,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"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-c1"},{"start":18,"end":20,"cssClass":"pl-s1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":39,"cssClass":"pl-en"},{"start":40,"end":44,"cssClass":"pl-s1"}],[],[{"start":12,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-en"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":46,"end":58,"cssClass":"pl-s1"},{"start":59,"end":63,"cssClass":"pl-en"},{"start":67,"end":70,"cssClass":"pl-en"},{"start":71,"end":74,"cssClass":"pl-s1"},{"start":75,"end":81,"cssClass":"pl-s1"},{"start":84,"end":91,"cssClass":"pl-s1"},{"start":91,"end":92,"cssClass":"pl-c1"},{"start":92,"end":97,"cssClass":"pl-c1"}],[{"start":12,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":33,"cssClass":"pl-s1"},{"start":34,"end":45,"cssClass":"pl-en"},{"start":46,"end":61,"cssClass":"pl-s1"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":35,"cssClass":"pl-v"},{"start":37,"end":38,"cssClass":"pl-s1"},{"start":40,"end":43,"cssClass":"pl-s1"},{"start":44,"end":50,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-s1"},{"start":54,"end":57,"cssClass":"pl-k"},{"start":58,"end":59,"cssClass":"pl-s1"},{"start":61,"end":62,"cssClass":"pl-s1"},{"start":63,"end":65,"cssClass":"pl-c1"},{"start":66,"end":75,"cssClass":"pl-en"},{"start":76,"end":91,"cssClass":"pl-s1"}],[],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":29,"cssClass":"pl-s1"},{"start":30,"end":38,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":45,"cssClass":"pl-c1"}],[],[{"start":12,"end":45,"cssClass":"pl-c"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":33,"cssClass":"pl-en"},{"start":34,"end":37,"cssClass":"pl-s1"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":39,"cssClass":"pl-en"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":26,"cssClass":"pl-en"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":46,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":26,"end":35,"cssClass":"pl-s"},{"start":37,"end":47,"cssClass":"pl-s"}],[{"start":20,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":59,"cssClass":"pl-en"},{"start":60,"end":74,"cssClass":"pl-s1"}],[{"start":20,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":33,"cssClass":"pl-s1"},{"start":34,"end":37,"cssClass":"pl-en"},{"start":38,"end":42,"cssClass":"pl-s1"}],[],[{"start":20,"end":77,"cssClass":"pl-c"}],[{"start":20,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":42,"cssClass":"pl-s1"},{"start":43,"end":55,"cssClass":"pl-s1"},{"start":56,"end":70,"cssClass":"pl-s"}],[{"start":20,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":35,"end":39,"cssClass":"pl-s1"},{"start":40,"end":56,"cssClass":"pl-en"}],[{"start":24,"end":38,"cssClass":"pl-s1"},{"start":40,"end":57,"cssClass":"pl-s1"},{"start":59,"end":67,"cssClass":"pl-s1"},{"start":68,"end":73,"cssClass":"pl-s1"}],[],[{"start":20,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":49,"cssClass":"pl-s1"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":26,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":45,"cssClass":"pl-s1"},{"start":47,"end":51,"cssClass":"pl-s1"}],[],[{"start":16,"end":29,"cssClass":"pl-c"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":27,"cssClass":"pl-en"},{"start":28,"end":48,"cssClass":"pl-s"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":27,"cssClass":"pl-en"},{"start":28,"end":42,"cssClass":"pl-s1"}],[],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":27,"cssClass":"pl-s1"},{"start":28,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-en"}],[{"start":16,"end":30,"cssClass":"pl-s1"},{"start":31,"end":43,"cssClass":"pl-en"},{"start":44,"end":48,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":29,"cssClass":"pl-s1"},{"start":30,"end":38,"cssClass":"pl-s"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":42,"end":56,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":29,"cssClass":"pl-s1"},{"start":30,"end":38,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":46,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-s1"}],[{"start":8,"end":18,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":25,"cssClass":"pl-c1"},{"start":26,"end":29,"cssClass":"pl-c1"},{"start":30,"end":34,"cssClass":"pl-c1"}],[{"start":12,"end":89,"cssClass":"pl-c"}],[{"start":12,"end":88,"cssClass":"pl-c"}],[{"start":12,"end":77,"cssClass":"pl-c"}],[{"start":12,"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":51,"cssClass":"pl-en"},{"start":52,"end":70,"cssClass":"pl-s1"},{"start":70,"end":71,"cssClass":"pl-c1"},{"start":71,"end":75,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":33,"cssClass":"pl-en"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":26,"end":38,"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":35,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":35,"cssClass":"pl-s"},{"start":36,"end":38,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":44,"end":56,"cssClass":"pl-s1"}],[{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":33,"cssClass":"pl-s1"},{"start":34,"end":41,"cssClass":"pl-en"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":31,"cssClass":"pl-s1"},{"start":33,"end":49,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-s1"},{"start":55,"end":67,"cssClass":"pl-s1"},{"start":68,"end":92,"cssClass":"pl-s"}],[],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":35,"cssClass":"pl-s1"},{"start":36,"end":70,"cssClass":"pl-en"},{"start":71,"end":74,"cssClass":"pl-s1"},{"start":76,"end":82,"cssClass":"pl-s1"},{"start":84,"end":93,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":25,"cssClass":"pl-s1"},{"start":26,"end":34,"cssClass":"pl-s"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":44,"cssClass":"pl-v"}],[],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":45,"end":54,"cssClass":"pl-s1"},{"start":55,"end":67,"cssClass":"pl-s1"},{"start":68,"end":73,"cssClass":"pl-s1"},{"start":74,"end":78,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":29,"cssClass":"pl-s1"},{"start":30,"end":32,"cssClass":"pl-c1"},{"start":33,"end":43,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":25,"cssClass":"pl-s1"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-c1"},{"start":35,"end":44,"cssClass":"pl-s1"},{"start":45,"end":59,"cssClass":"pl-s1"},{"start":60,"end":74,"cssClass":"pl-en"}],[{"start":16,"end":97,"cssClass":"pl-c"}],[{"start":16,"end":100,"cssClass":"pl-c"}],[{"start":16,"end":78,"cssClass":"pl-c"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":30,"cssClass":"pl-en"},{"start":31,"end":40,"cssClass":"pl-s1"},{"start":41,"end":44,"cssClass":"pl-s1"},{"start":45,"end":51,"cssClass":"pl-s1"}],[],[],[],[{"start":8,"end":50,"cssClass":"pl-c"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":23,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"cssClass":"pl-en"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":29,"cssClass":"pl-s1"},{"start":30,"end":38,"cssClass":"pl-s"},{"start":40,"end":52,"cssClass":"pl-en"},{"start":53,"end":57,"cssClass":"pl-s1"}],[],[{"start":8,"end":75,"cssClass":"pl-c"}],[{"start":8,"end":70,"cssClass":"pl-c"}],[{"start":8,"end":71,"cssClass":"pl-c"}],[{"start":8,"end":77,"cssClass":"pl-c"}],[{"start":8,"end":72,"cssClass":"pl-c"}],[{"start":8,"end":56,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":35,"cssClass":"pl-en"},{"start":36,"end":46,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":51,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-s1"}],[],[{"start":8,"end":97,"cssClass":"pl-c"}],[{"start":8,"end":98,"cssClass":"pl-c"}],[],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":18,"cssClass":"pl-s1"},{"start":19,"end":54,"cssClass":"pl-en"},{"start":55,"end":58,"cssClass":"pl-s1"}],[{"start":8,"end":78,"cssClass":"pl-c"}],[{"start":8,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":34,"cssClass":"pl-s1"},{"start":35,"end":47,"cssClass":"pl-s1"},{"start":48,"end":56,"cssClass":"pl-s"}],[],[{"start":8,"end":90,"cssClass":"pl-c"}],[{"start":8,"end":100,"cssClass":"pl-c"}],[{"start":8,"end":80,"cssClass":"pl-c"}],[{"start":8,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":41,"cssClass":"pl-v"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":47,"end":59,"cssClass":"pl-s1"},{"start":60,"end":64,"cssClass":"pl-en"},{"start":68,"end":71,"cssClass":"pl-s"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":31,"cssClass":"pl-v"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":27,"cssClass":"pl-en"},{"start":28,"end":43,"cssClass":"pl-s1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":29,"cssClass":"pl-en"},{"start":30,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":23,"cssClass":"pl-s1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"cssClass":"pl-en"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":31,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":35,"end":38,"cssClass":"pl-s1"},{"start":39,"end":52,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":25,"cssClass":"pl-s1"},{"start":26,"end":50,"cssClass":"pl-s"},{"start":52,"end":53,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":17,"end":22,"cssClass":"pl-s1"},{"start":23,"end":26,"cssClass":"pl-k"},{"start":27,"end":32,"cssClass":"pl-s1"},{"start":34,"end":37,"cssClass":"pl-s1"},{"start":38,"end":40,"cssClass":"pl-c1"},{"start":41,"end":50,"cssClass":"pl-en"},{"start":51,"end":54,"cssClass":"pl-s1"},{"start":55,"end":61,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":25,"cssClass":"pl-s1"},{"start":26,"end":40,"cssClass":"pl-s"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":44,"end":50,"cssClass":"pl-v"}],[],[{"start":16,"end":26,"cssClass":"pl-s1"},{"start":27,"end":33,"cssClass":"pl-s1"}],[{"start":20,"end":29,"cssClass":"pl-s1"},{"start":30,"end":42,"cssClass":"pl-s1"},{"start":43,"end":48,"cssClass":"pl-s1"},{"start":49,"end":56,"cssClass":"pl-s1"}],[{"start":19,"end":28,"cssClass":"pl-s1"},{"start":29,"end":41,"cssClass":"pl-s1"},{"start":42,"end":47,"cssClass":"pl-s1"},{"start":48,"end":53,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":29,"cssClass":"pl-s1"},{"start":30,"end":32,"cssClass":"pl-c1"},{"start":33,"end":43,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":27,"cssClass":"pl-s1"},{"start":29,"end":34,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":47,"cssClass":"pl-en"},{"start":48,"end":57,"cssClass":"pl-s1"},{"start":58,"end":75,"cssClass":"pl-s1"}],[],[],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":35,"cssClass":"pl-s1"}],[{"start":12,"end":98,"cssClass":"pl-c"}],[{"start":12,"end":99,"cssClass":"pl-c"}],[{"start":12,"end":100,"cssClass":"pl-c"}],[{"start":12,"end":37,"cssClass":"pl-c"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":38,"cssClass":"pl-s1"},{"start":39,"end":51,"cssClass":"pl-s1"},{"start":52,"end":56,"cssClass":"pl-en"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":32,"cssClass":"pl-s1"},{"start":33,"end":36,"cssClass":"pl-s1"},{"start":37,"end":47,"cssClass":"pl-en"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":40,"cssClass":"pl-s1"}],[{"start":16,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":52,"cssClass":"pl-s1"},{"start":53,"end":58,"cssClass":"pl-s1"},{"start":60,"end":63,"cssClass":"pl-k"},{"start":64,"end":69,"cssClass":"pl-s1"},{"start":70,"end":72,"cssClass":"pl-c1"},{"start":73,"end":82,"cssClass":"pl-s1"},{"start":83,"end":86,"cssClass":"pl-s1"},{"start":87,"end":93,"cssClass":"pl-s1"}],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":30,"end":40,"cssClass":"pl-en"}],[],[{"start":24,"end":43,"cssClass":"pl-s1"},{"start":44,"end":53,"cssClass":"pl-s1"},{"start":54,"end":66,"cssClass":"pl-s1"},{"start":67,"end":72,"cssClass":"pl-s1"},{"start":73,"end":77,"cssClass":"pl-s1"}],[{"start":24,"end":27,"cssClass":"pl-k"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":35,"cssClass":"pl-c1"},{"start":36,"end":41,"cssClass":"pl-en"},{"start":42,"end":51,"cssClass":"pl-s1"},{"start":52,"end":55,"cssClass":"pl-s1"},{"start":56,"end":66,"cssClass":"pl-en"},{"start":70,"end":84,"cssClass":"pl-s1"}],[{"start":24,"end":26,"cssClass":"pl-k"},{"start":27,"end":36,"cssClass":"pl-s1"},{"start":37,"end":49,"cssClass":"pl-s1"},{"start":50,"end":55,"cssClass":"pl-s1"},{"start":56,"end":60,"cssClass":"pl-s1"},{"start":62,"end":65,"cssClass":"pl-c1"},{"start":66,"end":68,"cssClass":"pl-c1"},{"start":69,"end":82,"cssClass":"pl-s1"}],[],[],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":44,"cssClass":"pl-en"}],[{"start":16,"end":26,"cssClass":"pl-s1"}],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":29,"cssClass":"pl-s1"}],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":38,"cssClass":"pl-s1"}],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":40,"cssClass":"pl-s1"}],[],[{"start":20,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":47,"cssClass":"pl-s1"},{"start":48,"end":60,"cssClass":"pl-s1"},{"start":61,"end":66,"cssClass":"pl-s1"},{"start":67,"end":71,"cssClass":"pl-s1"}],[{"start":20,"end":23,"cssClass":"pl-k"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":37,"cssClass":"pl-en"},{"start":38,"end":52,"cssClass":"pl-s1"}],[],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":45,"cssClass":"pl-s1"}],[],[{"start":8,"end":22,"cssClass":"pl-s1"},{"start":23,"end":39,"cssClass":"pl-en"},{"start":40,"end":50,"cssClass":"pl-s1"},{"start":52,"end":63,"cssClass":"pl-s1"},{"start":63,"end":64,"cssClass":"pl-c1"},{"start":64,"end":69,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":25,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":25,"end":28,"cssClass":"pl-s1"},{"start":30,"end":42,"cssClass":"pl-s1"},{"start":44,"end":60,"cssClass":"pl-s1"},{"start":60,"end":61,"cssClass":"pl-c1"},{"start":61,"end":65,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":27,"cssClass":"pl-s1"},{"start":28,"end":40,"cssClass":"pl-s1"}],[{"start":12,"end":69,"cssClass":"pl-c"}],[{"start":12,"end":67,"cssClass":"pl-c"}],[{"start":12,"end":25,"cssClass":"pl-c"}],[{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":40,"cssClass":"pl-en"},{"start":41,"end":53,"cssClass":"pl-s1"}],[{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":39,"cssClass":"pl-en"}],[{"start":8,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":38,"cssClass":"pl-v"},{"start":39,"end":41,"cssClass":"pl-s1"},{"start":42,"end":58,"cssClass":"pl-en"},{"start":59,"end":71,"cssClass":"pl-s1"},{"start":72,"end":77,"cssClass":"pl-s1"}],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":34,"cssClass":"pl-s1"},{"start":35,"end":50,"cssClass":"pl-s1"}],[{"start":8,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":34,"end":37,"cssClass":"pl-s1"},{"start":39,"end":44,"cssClass":"pl-s1"},{"start":45,"end":48,"cssClass":"pl-k"},{"start":49,"end":54,"cssClass":"pl-s1"},{"start":56,"end":59,"cssClass":"pl-s1"},{"start":60,"end":62,"cssClass":"pl-c1"},{"start":63,"end":72,"cssClass":"pl-en"},{"start":73,"end":76,"cssClass":"pl-s1"},{"start":77,"end":83,"cssClass":"pl-s1"}],[{"start":8,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-c1"},{"start":31,"end":34,"cssClass":"pl-c1"},{"start":35,"end":39,"cssClass":"pl-c1"}],[{"start":12,"end":40,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"}],[{"start":16,"end":28,"cssClass":"pl-s1"},{"start":29,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-s1"},{"start":41,"end":44,"cssClass":"pl-k"},{"start":45,"end":46,"cssClass":"pl-s1"},{"start":47,"end":49,"cssClass":"pl-c1"},{"start":50,"end":62,"cssClass":"pl-s1"},{"start":63,"end":68,"cssClass":"pl-s1"},{"start":69,"end":81,"cssClass":"pl-en"}],[],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":25,"cssClass":"pl-c1"},{"start":26,"end":42,"cssClass":"pl-s1"}],[{"start":16,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":54,"cssClass":"pl-en"}],[{"start":16,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":30,"end":34,"cssClass":"pl-c1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":41,"cssClass":"pl-en"},{"start":42,"end":45,"cssClass":"pl-s1"},{"start":46,"end":52,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":23,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":30,"end":32,"cssClass":"pl-c1"},{"start":33,"end":45,"cssClass":"pl-s1"},{"start":46,"end":51,"cssClass":"pl-en"}],[{"start":20,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":48,"cssClass":"pl-s1"},{"start":49,"end":52,"cssClass":"pl-en"},{"start":53,"end":56,"cssClass":"pl-s1"},{"start":58,"end":62,"cssClass":"pl-c1"}],[{"start":20,"end":22,"cssClass":"pl-k"},{"start":23,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-c1"},{"start":30,"end":34,"cssClass":"pl-c1"}],[{"start":24,"end":32,"cssClass":"pl-k"}],[{"start":20,"end":30,"cssClass":"pl-s1"},{"start":31,"end":34,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":66,"cssClass":"pl-s1"},{"start":67,"end":71,"cssClass":"pl-s1"}],[{"start":16,"end":31,"cssClass":"pl-s1"},{"start":32,"end":38,"cssClass":"pl-en"},{"start":39,"end":49,"cssClass":"pl-s1"}],[],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":19,"end":38,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":57,"cssClass":"pl-en"}],[{"start":12,"end":15,"cssClass":"pl-s1"}],[{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-en"}],[{"start":12,"end":34,"cssClass":"pl-s1"}],[],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":39,"cssClass":"pl-en"}],[{"start":9,"end":23,"cssClass":"pl-s1"},{"start":25,"end":42,"cssClass":"pl-s1"},{"start":44,"end":56,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-c1"},{"start":60,"end":84,"cssClass":"pl-en"}],[{"start":12,"end":21,"cssClass":"pl-s1"}],[{"start":12,"end":26,"cssClass":"pl-s1"}],[{"start":12,"end":23,"cssClass":"pl-s1"}],[{"start":12,"end":21,"cssClass":"pl-v"},{"start":22,"end":27,"cssClass":"pl-v"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":31,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":28,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":30,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":21,"cssClass":"pl-s1"}],[{"start":12,"end":27,"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":38,"cssClass":"pl-en"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-en"}],[{"start":12,"end":93,"cssClass":"pl-s"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":36,"cssClass":"pl-s1"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":33,"cssClass":"pl-en"}],[{"start":12,"end":15,"cssClass":"pl-s1"}],[{"start":12,"end":24,"cssClass":"pl-s1"}],[{"start":12,"end":26,"cssClass":"pl-s1"}],[{"start":12,"end":29,"cssClass":"pl-s1"}],[{"start":12,"end":24,"cssClass":"pl-s1"}],[{"start":12,"end":31,"cssClass":"pl-s1"}],[],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":43,"cssClass":"pl-en"},{"start":44,"end":48,"cssClass":"pl-s1"},{"start":50,"end":53,"cssClass":"pl-s1"}],[{"start":8,"end":88,"cssClass":"pl-s"}],[{"start":0,"end":100,"cssClass":"pl-s"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":44,"cssClass":"pl-v"},{"start":45,"end":49,"cssClass":"pl-s1"},{"start":50,"end":62,"cssClass":"pl-s1"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":33,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":36,"end":40,"cssClass":"pl-s1"},{"start":41,"end":53,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":26,"cssClass":"pl-s1"},{"start":27,"end":30,"cssClass":"pl-en"},{"start":31,"end":34,"cssClass":"pl-s1"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":41,"cssClass":"pl-v"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":33,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":36,"end":48,"cssClass":"pl-s1"},{"start":49,"end":61,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-s1"},{"start":12,"end":13,"cssClass":"pl-c1"},{"start":14,"end":26,"cssClass":"pl-s1"},{"start":27,"end":30,"cssClass":"pl-en"},{"start":31,"end":34,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":40,"cssClass":"pl-s1"},{"start":41,"end":53,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-s1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":37,"cssClass":"pl-en"},{"start":38,"end":42,"cssClass":"pl-s1"},{"start":44,"end":58,"cssClass":"pl-s1"}],[{"start":8,"end":62,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"}],[{"start":12,"end":21,"cssClass":"pl-v"},{"start":22,"end":36,"cssClass":"pl-s1"}],[{"start":12,"end":33,"cssClass":"pl-v"},{"start":34,"end":38,"cssClass":"pl-s1"},{"start":39,"end":51,"cssClass":"pl-s1"}],[{"start":12,"end":30,"cssClass":"pl-v"}],[{"start":12,"end":23,"cssClass":"pl-v"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":29,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-s1"},{"start":11,"end":12,"cssClass":"pl-c1"},{"start":13,"end":24,"cssClass":"pl-v"},{"start":25,"end":41,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":17,"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":45,"cssClass":"pl-s1"},{"start":47,"end":64,"cssClass":"pl-s1"},{"start":66,"end":71,"cssClass":"pl-s1"}],[{"start":8,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":72,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":41,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[{"start":8,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":31,"cssClass":"pl-v"},{"start":32,"end":55,"cssClass":"pl-en"},{"start":56,"end":57,"cssClass":"pl-c1"},{"start":57,"end":62,"cssClass":"pl-s1"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":26,"cssClass":"pl-v"},{"start":27,"end":48,"cssClass":"pl-en"},{"start":49,"end":63,"cssClass":"pl-s1"},{"start":65,"end":79,"cssClass":"pl-s1"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":24,"end":25,"cssClass":"pl-s1"},{"start":27,"end":44,"cssClass":"pl-s1"},{"start":45,"end":49,"cssClass":"pl-s1"},{"start":50,"end":59,"cssClass":"pl-s1"},{"start":60,"end":61,"cssClass":"pl-s1"},{"start":64,"end":67,"cssClass":"pl-k"},{"start":68,"end":69,"cssClass":"pl-s1"},{"start":70,"end":72,"cssClass":"pl-c1"},{"start":73,"end":87,"cssClass":"pl-s1"},{"start":88,"end":92,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-v"},{"start":22,"end":34,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":22,"cssClass":"pl-en"},{"start":1,"end":12,"cssClass":"pl-s1"},{"start":13,"end":22,"cssClass":"pl-s1"}],[{"start":0,"end":5,"cssClass":"pl-k"},{"start":6,"end":24,"cssClass":"pl-s1"}],[{"start":4,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"}],[{"start":8,"end":13,"cssClass":"pl-s"}],[{"start":8,"end":22,"cssClass":"pl-s"}],[{"start":8,"end":24,"cssClass":"pl-s"}],[{"start":8,"end":27,"cssClass":"pl-s"}],[{"start":8,"end":22,"cssClass":"pl-s"}],[{"start":8,"end":29,"cssClass":"pl-s"}],[],[],[{"start":4,"end":7,"cssClass":"pl-s1"},{"start":9,"end":19,"cssClass":"pl-v"}],[{"start":4,"end":16,"cssClass":"pl-s1"},{"start":18,"end":29,"cssClass":"pl-v"}],[{"start":4,"end":18,"cssClass":"pl-s1"},{"start":20,"end":27,"cssClass":"pl-v"}],[{"start":4,"end":21,"cssClass":"pl-s1"},{"start":23,"end":34,"cssClass":"pl-s"}],[{"start":4,"end":16,"cssClass":"pl-s1"},{"start":18,"end":67,"cssClass":"pl-s"}],[{"start":4,"end":23,"cssClass":"pl-s1"},{"start":25,"end":48,"cssClass":"pl-s"}]],"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":"sabre_layout.py","displayUrl":"https://github.com/Qiskit/qiskit/blob/main/qiskit/transpiler/passes/layout/sabre_layout.py?raw=true","headerInfo":{"blobSize":"21.3 KB","deleteTooltip":"You must be signed in to make or propose changes","editTooltip":"You must be signed in to make or propose changes","ghDesktopPath":"https://desktop.github.com","isGitLfs":false,"onBranch":true,"shortPath":"2859fb6","siteNavLoginPath":"/login?return_to=https%3A%2F%2Fgithub.com%2FQiskit%2Fqiskit%2Fblob%2Fmain%2Fqiskit%2Ftranspiler%2Fpasses%2Flayout%2Fsabre_layout.py","isCSV":false,"isRichtext":false,"toc":null,"lineInfo":{"truncatedLoc":"468","truncatedSloc":"420"},"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/transpiler/passes/layout/sabre_layout.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/transpiler/passes/layout/sabre_layout.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":"logger","kind":"constant","ident_start":1830,"ident_end":1836,"extent_start":1830,"extent_end":1866,"fully_qualified_name":"logger","ident_utf16":{"start":{"line_number":47,"utf16_col":0},"end":{"line_number":47,"utf16_col":6}},"extent_utf16":{"start":{"line_number":47,"utf16_col":0},"end":{"line_number":47,"utf16_col":36}}},{"name":"SabreLayout","kind":"class","ident_start":1875,"ident_end":1886,"extent_start":1869,"extent_end":21325,"fully_qualified_name":"SabreLayout","ident_utf16":{"start":{"line_number":50,"utf16_col":6},"end":{"line_number":50,"utf16_col":17}},"extent_utf16":{"start":{"line_number":50,"utf16_col":0},"end":{"line_number":448,"utf16_col":35}}},{"name":"__init__","kind":"function","ident_start":5314,"ident_end":5322,"extent_start":5310,"extent_end":9758,"fully_qualified_name":"SabreLayout.__init__","ident_utf16":{"start":{"line_number":112,"utf16_col":8},"end":{"line_number":112,"utf16_col":16}},"extent_utf16":{"start":{"line_number":112,"utf16_col":4},"end":{"line_number":193,"utf16_col":94}}},{"name":"run","kind":"function","ident_start":9768,"ident_end":9771,"extent_start":9764,"extent_end":17215,"fully_qualified_name":"SabreLayout.run","ident_utf16":{"start":{"line_number":195,"utf16_col":8},"end":{"line_number":195,"utf16_col":11}},"extent_utf16":{"start":{"line_number":195,"utf16_col":4},"end":{"line_number":351,"utf16_col":25}}},{"name":"_inner_run","kind":"function","ident_start":17225,"ident_end":17235,"extent_start":17221,"extent_end":19442,"fully_qualified_name":"SabreLayout._inner_run","ident_utf16":{"start":{"line_number":353,"utf16_col":8},"end":{"line_number":353,"utf16_col":18}},"extent_utf16":{"start":{"line_number":353,"utf16_col":4},"end":{"line_number":407,"utf16_col":9}}},{"name":"_ancilla_allocation_no_pass_manager","kind":"function","ident_start":19452,"ident_end":19487,"extent_start":19448,"extent_end":20058,"fully_qualified_name":"SabreLayout._ancilla_allocation_no_pass_manager","ident_utf16":{"start":{"line_number":409,"utf16_col":8},"end":{"line_number":409,"utf16_col":43}},"extent_utf16":{"start":{"line_number":409,"utf16_col":4},"end":{"line_number":419,"utf16_col":18}}},{"name":"_layout_and_route_passmanager","kind":"function","ident_start":20068,"ident_end":20097,"extent_start":20064,"extent_end":20550,"fully_qualified_name":"SabreLayout._layout_and_route_passmanager","ident_utf16":{"start":{"line_number":421,"utf16_col":8},"end":{"line_number":421,"utf16_col":37}},"extent_utf16":{"start":{"line_number":421,"utf16_col":4},"end":{"line_number":434,"utf16_col":17}}},{"name":"_compose_layouts","kind":"function","ident_start":20560,"ident_end":20576,"extent_start":20556,"extent_end":21325,"fully_qualified_name":"SabreLayout._compose_layouts","ident_utf16":{"start":{"line_number":436,"utf16_col":8},"end":{"line_number":436,"utf16_col":24}},"extent_utf16":{"start":{"line_number":436,"utf16_col":4},"end":{"line_number":448,"utf16_col":35}}},{"name":"_DisjointComponent","kind":"class","ident_start":21357,"ident_end":21375,"extent_start":21351,"extent_end":21780,"fully_qualified_name":"_DisjointComponent","ident_utf16":{"start":{"line_number":452,"utf16_col":6},"end":{"line_number":452,"utf16_col":24}},"extent_utf16":{"start":{"line_number":452,"utf16_col":0},"end":{"line_number":467,"utf16_col":48}}},{"name":"__slots__","kind":"constant","ident_start":21381,"ident_end":21390,"extent_start":21381,"extent_end":21549,"fully_qualified_name":"_DisjointComponent.__slots__","ident_utf16":{"start":{"line_number":453,"utf16_col":4},"end":{"line_number":453,"utf16_col":13}},"extent_utf16":{"start":{"line_number":453,"utf16_col":4},"end":{"line_number":460,"utf16_col":5}}},{"name":"dag","kind":"constant","ident_start":21555,"ident_end":21558,"extent_start":21555,"extent_end":21570,"fully_qualified_name":"_DisjointComponent.dag","ident_utf16":{"start":{"line_number":462,"utf16_col":4},"end":{"line_number":462,"utf16_col":7}},"extent_utf16":{"start":{"line_number":462,"utf16_col":4},"end":{"line_number":462,"utf16_col":19}}},{"name":"coupling_map","kind":"constant","ident_start":21575,"ident_end":21587,"extent_start":21575,"extent_end":21600,"fully_qualified_name":"_DisjointComponent.coupling_map","ident_utf16":{"start":{"line_number":463,"utf16_col":4},"end":{"line_number":463,"utf16_col":16}},"extent_utf16":{"start":{"line_number":463,"utf16_col":4},"end":{"line_number":463,"utf16_col":29}}},{"name":"initial_layout","kind":"constant","ident_start":21605,"ident_end":21619,"extent_start":21605,"extent_end":21628,"fully_qualified_name":"_DisjointComponent.initial_layout","ident_utf16":{"start":{"line_number":464,"utf16_col":4},"end":{"line_number":464,"utf16_col":18}},"extent_utf16":{"start":{"line_number":464,"utf16_col":4},"end":{"line_number":464,"utf16_col":27}}},{"name":"final_permutation","kind":"constant","ident_start":21633,"ident_end":21650,"extent_start":21633,"extent_end":21663,"fully_qualified_name":"_DisjointComponent.final_permutation","ident_utf16":{"start":{"line_number":465,"utf16_col":4},"end":{"line_number":465,"utf16_col":21}},"extent_utf16":{"start":{"line_number":465,"utf16_col":4},"end":{"line_number":465,"utf16_col":34}}},{"name":"sabre_result","kind":"constant","ident_start":21668,"ident_end":21680,"extent_start":21668,"extent_end":21731,"fully_qualified_name":"_DisjointComponent.sabre_result","ident_utf16":{"start":{"line_number":466,"utf16_col":4},"end":{"line_number":466,"utf16_col":16}},"extent_utf16":{"start":{"line_number":466,"utf16_col":4},"end":{"line_number":466,"utf16_col":67}}},{"name":"circuit_to_dag_dict","kind":"constant","ident_start":21736,"ident_end":21755,"extent_start":21736,"extent_end":21780,"fully_qualified_name":"_DisjointComponent.circuit_to_dag_dict","ident_utf16":{"start":{"line_number":467,"utf16_col":4},"end":{"line_number":467,"utf16_col":23}},"extent_utf16":{"start":{"line_number":467,"utf16_col":4},"end":{"line_number":467,"utf16_col":48}}}]}},"copilotInfo":null,"copilotAccessAllowed":false,"csrf_tokens":{"/Qiskit/qiskit/branches":{"post":"fsO82JrdJ0E60q3_NceDwSQw33U5dbCTKJzNcHGC5ChVpSMDTP5pJRugUdVlo-wH1GXSAR4dd9qcFsalCCKbdQ"},"/repos/preferences":{"post":"eGOltqmRZQnIHrY4HvuBt2pj_ykNbywZjwcNsWoGHUieJu6rZtykQR9nK-puTrGCM247HKX50TxG85UN-8nLug"}}},"title":"qiskit/qiskit/transpiler/passes/layout/sabre_layout.py at main ยท Qiskit/qiskit"}