{"payload":{"allShortcutsEnabled":false,"fileTree":{"qiskit/transpiler/passes/synthesis":{"items":[{"name":"__init__.py","path":"qiskit/transpiler/passes/synthesis/__init__.py","contentType":"file"},{"name":"aqc_plugin.py","path":"qiskit/transpiler/passes/synthesis/aqc_plugin.py","contentType":"file"},{"name":"high_level_synthesis.py","path":"qiskit/transpiler/passes/synthesis/high_level_synthesis.py","contentType":"file"},{"name":"linear_functions_synthesis.py","path":"qiskit/transpiler/passes/synthesis/linear_functions_synthesis.py","contentType":"file"},{"name":"plugin.py","path":"qiskit/transpiler/passes/synthesis/plugin.py","contentType":"file"},{"name":"solovay_kitaev_synthesis.py","path":"qiskit/transpiler/passes/synthesis/solovay_kitaev_synthesis.py","contentType":"file"},{"name":"unitary_synthesis.py","path":"qiskit/transpiler/passes/synthesis/unitary_synthesis.py","contentType":"file"}],"totalCount":7},"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":14.444093,"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/synthesis/unitary_synthesis.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.","","\"\"\"","=========================================================================================","Unitary Synthesis Plugin (in :mod:`qiskit.transpiler.passes.synthesis.unitary_synthesis`)","=========================================================================================","",".. autosummary::"," :toctree: ../stubs/",""," DefaultUnitarySynthesis","\"\"\"","","from __future__ import annotations","from math import pi, inf, isclose","from typing import Any","from copy import deepcopy","from itertools import product","from functools import partial","import numpy as np","","from qiskit.converters import circuit_to_dag, dag_to_circuit","from qiskit.transpiler import CouplingMap, Target","from qiskit.transpiler.basepasses import TransformationPass","from qiskit.transpiler.exceptions import TranspilerError","from qiskit.dagcircuit.dagcircuit import DAGCircuit","from qiskit.synthesis.one_qubit import one_qubit_decompose","from qiskit.synthesis.two_qubit.xx_decompose import XXDecomposer, XXEmbodiments","from qiskit.synthesis.two_qubit.two_qubit_decompose import ("," TwoQubitBasisDecomposer,"," TwoQubitWeylDecomposition,",")","from qiskit.quantum_info import Operator","from qiskit.circuit import ControlFlowOp, Gate, Parameter","from qiskit.circuit.library.standard_gates import ("," iSwapGate,"," CXGate,"," CZGate,"," RXXGate,"," RZXGate,"," ECRGate,",")","from qiskit.transpiler.passes.synthesis import plugin","from qiskit.transpiler.passes.optimization.optimize_1q_decomposition import ("," Optimize1qGatesDecomposition,",")","from qiskit.providers.models import BackendProperties","from qiskit.circuit.library.standard_gates import get_standard_gate_name_mapping","from qiskit.exceptions import QiskitError","","","KAK_GATE_NAMES = {"," \"cx\": CXGate(),"," \"cz\": CZGate(),"," \"iswap\": iSwapGate(),"," \"rxx\": RXXGate(pi / 2),"," \"ecr\": ECRGate(),"," \"rzx\": RZXGate(pi / 4), # typically pi/6 is also available","}","","GateNameToGate = get_standard_gate_name_mapping()","","","def _choose_kak_gate(basis_gates):"," \"\"\"Choose the first available 2q gate to use in the KAK decomposition.\"\"\""," kak_gate = None"," kak_gates = set(basis_gates or []).intersection(KAK_GATE_NAMES.keys())"," if kak_gates:"," kak_gate = KAK_GATE_NAMES[kak_gates.pop()]",""," return kak_gate","","","def _choose_euler_basis(basis_gates):"," \"\"\"Choose the first available 1q basis to use in the Euler decomposition.\"\"\""," basis_set = set(basis_gates or [])",""," for basis, gates in one_qubit_decompose.ONE_QUBIT_EULER_BASIS_GATES.items():",""," if set(gates).issubset(basis_set):"," return basis",""," return \"U\"","","","def _find_matching_euler_bases(target, qubit):"," \"\"\"Find matching available 1q basis to use in the Euler decomposition.\"\"\""," euler_basis_gates = []"," basis_set = target.operation_names_for_qargs((qubit,))"," for basis, gates in one_qubit_decompose.ONE_QUBIT_EULER_BASIS_GATES.items():"," if set(gates).issubset(basis_set):"," euler_basis_gates.append(basis)"," return euler_basis_gates","","","def _choose_bases(basis_gates, basis_dict=None):"," \"\"\"Find the matching basis string keys from the list of basis gates from the backend.\"\"\""," if basis_gates is None:"," basis_set = set()"," else:"," basis_set = set(basis_gates)",""," if basis_dict is None:"," basis_dict = one_qubit_decompose.ONE_QUBIT_EULER_BASIS_GATES",""," out_basis = []"," for basis, gates in basis_dict.items():"," if set(gates).issubset(basis_set):"," out_basis.append(basis)",""," return out_basis","","","def _decomposer_2q_from_basis_gates(basis_gates, pulse_optimize=None, approximation_degree=None):"," decomposer2q = None"," kak_gate = _choose_kak_gate(basis_gates)"," euler_basis = _choose_euler_basis(basis_gates)"," basis_fidelity = approximation_degree or 1.0"," if isinstance(kak_gate, RZXGate):"," backup_optimizer = TwoQubitBasisDecomposer("," CXGate(),"," basis_fidelity=basis_fidelity,"," euler_basis=euler_basis,"," pulse_optimize=pulse_optimize,"," )"," decomposer2q = XXDecomposer(euler_basis=euler_basis, backup_optimizer=backup_optimizer)"," elif kak_gate is not None:"," decomposer2q = TwoQubitBasisDecomposer("," kak_gate,"," basis_fidelity=basis_fidelity,"," euler_basis=euler_basis,"," pulse_optimize=pulse_optimize,"," )"," return decomposer2q","","","def _error(circuit, target=None, qubits=None):"," \"\"\""," Calculate a rough error for a `circuit` that runs on specific"," `qubits` of `target`.",""," Use basis errors from target if available, otherwise use length"," of circuit as a weak proxy for error."," \"\"\""," if target is None:"," return len(circuit)"," gate_fidelities = []"," gate_durations = []"," for inst in circuit:"," inst_qubits = tuple(qubits[circuit.find_bit(q).index] for q in inst.qubits)"," try:"," keys = target.operation_names_for_qargs(inst_qubits)"," for key in keys:"," target_op = target.operation_from_name(key)"," if isinstance(target_op, inst.operation.base_class) and ("," target_op.is_parameterized()"," or all("," isclose(float(p1), float(p2))"," for p1, p2 in zip(target_op.params, inst.operation.params)"," )"," ):"," inst_props = target[key].get(inst_qubits, None)"," if inst_props is not None:"," error = getattr(inst_props, \"error\", 0.0) or 0.0"," duration = getattr(inst_props, \"duration\", 0.0) or 0.0"," gate_fidelities.append(1 - error)"," gate_durations.append(duration)"," else:"," gate_fidelities.append(1.0)"," gate_durations.append(0.0)",""," break"," else:"," raise KeyError"," except KeyError as error:"," raise TranspilerError("," f\"Encountered a bad synthesis. \""," f\"Target has no {inst.operation} on qubits {qubits}.\""," ) from error"," # TODO:return np.sum(gate_durations)"," return 1 - np.prod(gate_fidelities)","","","def _preferred_direction("," decomposer2q, qubits, natural_direction, coupling_map=None, gate_lengths=None, gate_errors=None","):"," \"\"\""," `decomposer2q` decomposes an SU(4) over `qubits`. A user sets `natural_direction`"," to indicate whether they prefer synthesis in a hardware-native direction."," If yes, we return the `preferred_direction` here. If no hardware direction is"," preferred, we raise an error (unless natural_direction is None)."," We infer this from `coupling_map`, `gate_lengths`, `gate_errors`.",""," Returns [0, 1] if qubits are correct in the hardware-native direction."," Returns [1, 0] if qubits must be flipped to match hardware-native direction."," \"\"\""," qubits_tuple = tuple(qubits)"," reverse_tuple = qubits_tuple[::-1]",""," preferred_direction = None"," if natural_direction in {None, True}:"," # find native gate directions from a (non-bidirectional) coupling map"," if coupling_map is not None:"," neighbors0 = coupling_map.neighbors(qubits[0])"," zero_one = qubits[1] in neighbors0"," neighbors1 = coupling_map.neighbors(qubits[1])"," one_zero = qubits[0] in neighbors1"," if zero_one and not one_zero:"," preferred_direction = [0, 1]"," if one_zero and not zero_one:"," preferred_direction = [1, 0]"," # otherwise infer natural directions from gate durations or gate errors"," if preferred_direction is None and (gate_lengths or gate_errors):"," cost_0_1 = inf"," cost_1_0 = inf"," try:"," cost_0_1 = next("," duration"," for gate, duration in gate_lengths.get(qubits_tuple, [])"," if gate == decomposer2q.gate"," )"," except StopIteration:"," pass"," try:"," cost_1_0 = next("," duration"," for gate, duration in gate_lengths.get(reverse_tuple, [])"," if gate == decomposer2q.gate"," )"," except StopIteration:"," pass"," if not (cost_0_1 < inf or cost_1_0 < inf):"," try:"," cost_0_1 = next("," error"," for gate, error in gate_errors.get(qubits_tuple, [])"," if gate == decomposer2q.gate"," )"," except StopIteration:"," pass"," try:"," cost_1_0 = next("," error"," for gate, error in gate_errors.get(reverse_tuple, [])"," if gate == decomposer2q.gate"," )"," except StopIteration:"," pass"," if cost_0_1 < cost_1_0:"," preferred_direction = [0, 1]"," elif cost_1_0 < cost_0_1:"," preferred_direction = [1, 0]"," if natural_direction is True and preferred_direction is None:"," raise TranspilerError("," f\"No preferred direction of gate on qubits {qubits} \""," \"could be determined from coupling map or \""," \"gate lengths / gate errors.\""," )"," return preferred_direction","","","class UnitarySynthesis(TransformationPass):"," \"\"\"Synthesize gates according to their basis gates.\"\"\"",""," def __init__("," self,"," basis_gates: list[str] = None,"," approximation_degree: float | None = 1.0,"," coupling_map: CouplingMap = None,"," backend_props: BackendProperties = None,"," pulse_optimize: bool | None = None,"," natural_direction: bool | None = None,"," synth_gates: list[str] | None = None,"," method: str = \"default\","," min_qubits: int = None,"," plugin_config: dict = None,"," target: Target = None,"," ):"," \"\"\"Synthesize unitaries over some basis gates.",""," This pass can approximate 2-qubit unitaries given some"," gate fidelities (either via ``backend_props`` or ``target``)."," More approximation can be forced by setting a heuristic dial"," ``approximation_degree``.",""," Args:"," basis_gates (list[str]): List of gate names to target. If this is"," not specified the ``target`` argument must be used. If both this"," and the ``target`` are specified the value of ``target`` will"," be used and this will be ignored."," approximation_degree (float): heuristic dial used for circuit approximation"," (1.0=no approximation, 0.0=maximal approximation). Approximation can"," make the synthesized circuit cheaper at the cost of straying from"," the original unitary. If None, approximation is done based on gate fidelities."," coupling_map (CouplingMap): the coupling map of the backend"," in case synthesis is done on a physical circuit. The"," directionality of the coupling_map will be taken into"," account if ``pulse_optimize`` is ``True``/``None`` and ``natural_direction``"," is ``True``/``None``."," backend_props (BackendProperties): Properties of a backend to"," synthesize for (e.g. gate fidelities)."," pulse_optimize (bool): Whether to optimize pulses during"," synthesis. A value of ``None`` will attempt it but fall"," back if it does not succeed. A value of ``True`` will raise"," an error if pulse-optimized synthesis does not succeed."," natural_direction (bool): Whether to apply synthesis considering"," directionality of 2-qubit gates. Only applies when"," ``pulse_optimize`` is ``True`` or ``None``. The natural direction is"," determined by first checking to see whether the"," coupling map is unidirectional. If there is no"," coupling map or the coupling map is bidirectional,"," the gate direction with the shorter"," duration from the backend properties will be used. If"," set to True, and a natural direction can not be"," determined, raises :class:`.TranspilerError`. If set to None, no"," exception will be raised if a natural direction can"," not be determined."," synth_gates (list[str]): List of gates to synthesize. If None and"," ``pulse_optimize`` is False or None, default to"," ``['unitary']``. If ``None`` and ``pulse_optimize == True``,"," default to ``['unitary', 'swap']``"," method (str): The unitary synthesis method plugin to use."," min_qubits: The minimum number of qubits in the unitary to synthesize. If this is set"," and the unitary is less than the specified number of qubits it will not be"," synthesized."," plugin_config: Optional extra configuration arguments (as a ``dict``)"," which are passed directly to the specified unitary synthesis"," plugin. By default, this will have no effect as the default"," plugin has no extra arguments. Refer to the documentation of"," your unitary synthesis plugin on how to use this."," target: The optional :class:`~.Target` for the target device the pass"," is compiling for. If specified this will supersede the values"," set for ``basis_gates``, ``coupling_map``, and ``backend_props``.",""," Raises:"," TranspilerError: if ``method`` was specified but is not found in the"," installed plugins list. The list of installed plugins can be queried with"," :func:`~qiskit.transpiler.passes.synthesis.plugin.unitary_synthesis_plugin_names`"," \"\"\""," super().__init__()"," self._basis_gates = set(basis_gates or ())"," self._approximation_degree = approximation_degree"," self._min_qubits = min_qubits"," self.method = method"," self.plugins = None"," if method != \"default\":"," self.plugins = plugin.UnitarySynthesisPluginManager()"," self._coupling_map = coupling_map"," self._backend_props = backend_props"," self._pulse_optimize = pulse_optimize"," self._natural_direction = natural_direction"," self._plugin_config = plugin_config"," self._target = target"," if target is not None:"," self._coupling_map = self._target.build_coupling_map()"," if synth_gates:"," self._synth_gates = synth_gates"," else:"," if pulse_optimize:"," self._synth_gates = [\"unitary\", \"swap\"]"," else:"," self._synth_gates = [\"unitary\"]",""," self._synth_gates = set(self._synth_gates) - self._basis_gates",""," if self.method != \"default\" and self.method not in self.plugins.ext_plugins:"," raise TranspilerError(f\"Specified method '{self.method}' not found in plugin list\")",""," def run(self, dag: DAGCircuit) -> DAGCircuit:"," \"\"\"Run the UnitarySynthesis pass on ``dag``.",""," Args:"," dag: input dag.",""," Returns:"," Output dag with UnitaryGates synthesized to target basis."," \"\"\"",""," # If there aren't any gates to synthesize in the circuit we can skip all the iteration"," # and just return."," if not set(self._synth_gates).intersection(dag.count_ops()):"," return dag",""," if self.plugins:"," plugin_method = self.plugins.ext_plugins[self.method].obj"," else:"," plugin_method = DefaultUnitarySynthesis()"," plugin_kwargs: dict[str, Any] = {\"config\": self._plugin_config}"," _gate_lengths = _gate_errors = None"," _gate_lengths_by_qubit = _gate_errors_by_qubit = None",""," if self.method == \"default\":"," # If the method is the default, we only need to evaluate one set of keyword arguments."," # To simplify later logic, and avoid cases where static analysis might complain that we"," # haven't initialised the \"default\" handler, we rebind the names so they point to the"," # same object as the chosen method."," default_method = plugin_method"," default_kwargs = plugin_kwargs"," method_list = [(plugin_method, plugin_kwargs)]"," else:"," # If the method is not the default, we still need to initialise the default plugin's"," # keyword arguments in case we have to fall back on it during the actual run."," default_method = self.plugins.ext_plugins[\"default\"].obj"," default_kwargs = {}"," method_list = [(plugin_method, plugin_kwargs), (default_method, default_kwargs)]",""," for method, kwargs in method_list:"," if method.supports_basis_gates:"," kwargs[\"basis_gates\"] = self._basis_gates"," if method.supports_natural_direction:"," kwargs[\"natural_direction\"] = self._natural_direction"," if method.supports_pulse_optimize:"," kwargs[\"pulse_optimize\"] = self._pulse_optimize"," if method.supports_gate_lengths:"," _gate_lengths = _gate_lengths or _build_gate_lengths("," self._backend_props, self._target"," )"," kwargs[\"gate_lengths\"] = _gate_lengths"," if method.supports_gate_errors:"," _gate_errors = _gate_errors or _build_gate_errors(self._backend_props, self._target)"," kwargs[\"gate_errors\"] = _gate_errors"," if method.supports_gate_lengths_by_qubit:"," _gate_lengths_by_qubit = _gate_lengths_by_qubit or _build_gate_lengths_by_qubit("," self._backend_props, self._target"," )"," kwargs[\"gate_lengths_by_qubit\"] = _gate_lengths_by_qubit"," if method.supports_gate_errors_by_qubit:"," _gate_errors_by_qubit = _gate_errors_by_qubit or _build_gate_errors_by_qubit("," self._backend_props, self._target"," )"," kwargs[\"gate_errors_by_qubit\"] = _gate_errors_by_qubit"," supported_bases = method.supported_bases"," if supported_bases is not None:"," kwargs[\"matched_basis\"] = _choose_bases(self._basis_gates, supported_bases)"," if method.supports_target:"," kwargs[\"target\"] = self._target",""," # Handle approximation degree as a special case for backwards compatibility, it's"," # not part of the plugin interface and only something needed for the default"," # pass."," # pylint: disable=attribute-defined-outside-init"," default_method._approximation_degree = self._approximation_degree"," if self.method == \"default\":"," # pylint: disable=attribute-defined-outside-init"," plugin_method._approximation_degree = self._approximation_degree",""," qubit_indices = ("," {bit: i for i, bit in enumerate(dag.qubits)}"," if plugin_method.supports_coupling_map or default_method.supports_coupling_map"," else {}"," )"," return self._run_main_loop("," dag, qubit_indices, plugin_method, plugin_kwargs, default_method, default_kwargs"," )",""," def _run_main_loop("," self, dag, qubit_indices, plugin_method, plugin_kwargs, default_method, default_kwargs"," ):"," \"\"\"Inner loop for the optimizer, after all DAG-independent set-up has been completed.\"\"\""," for node in dag.op_nodes(ControlFlowOp):"," node.op = node.op.replace_blocks("," ["," dag_to_circuit("," self._run_main_loop("," circuit_to_dag(block),"," {"," inner: qubit_indices[outer]"," for inner, outer in zip(block.qubits, node.qargs)"," },"," plugin_method,"," plugin_kwargs,"," default_method,"," default_kwargs,"," ),"," copy_operations=False,"," )"," for block in node.op.blocks"," ]"," )",""," for node in dag.named_nodes(*self._synth_gates):"," if self._min_qubits is not None and len(node.qargs) < self._min_qubits:"," continue"," synth_dag = None"," unitary = node.op.to_matrix()"," n_qubits = len(node.qargs)"," if (plugin_method.max_qubits is not None and n_qubits > plugin_method.max_qubits) or ("," plugin_method.min_qubits is not None and n_qubits < plugin_method.min_qubits"," ):"," method, kwargs = default_method, default_kwargs"," else:"," method, kwargs = plugin_method, plugin_kwargs"," if method.supports_coupling_map:"," kwargs[\"coupling_map\"] = ("," self._coupling_map,"," [qubit_indices[x] for x in node.qargs],"," )"," synth_dag = method.run(unitary, **kwargs)"," if synth_dag is not None:"," dag.substitute_node_with_dag(node, synth_dag)"," return dag","","","def _build_gate_lengths(props=None, target=None):"," \"\"\"Builds a ``gate_lengths`` dictionary from either ``props`` (BackendV1)"," or ``target`` (BackendV2).",""," The dictionary has the form:"," {gate_name: {(qubits,): duration}}"," \"\"\""," gate_lengths = {}"," if target is not None:"," for gate, prop_dict in target.items():"," gate_lengths[gate] = {}"," for qubit, gate_props in prop_dict.items():"," if gate_props is not None and gate_props.duration is not None:"," gate_lengths[gate][qubit] = gate_props.duration"," elif props is not None:"," for gate in props._gates:"," gate_lengths[gate] = {}"," for k, v in props._gates[gate].items():"," length = v.get(\"gate_length\")"," if length:"," gate_lengths[gate][k] = length[0]"," if not gate_lengths[gate]:"," del gate_lengths[gate]"," return gate_lengths","","","def _build_gate_errors(props=None, target=None):"," \"\"\"Builds a ``gate_error`` dictionary from either ``props`` (BackendV1)"," or ``target`` (BackendV2).",""," The dictionary has the form:"," {gate_name: {(qubits,): error_rate}}"," \"\"\""," gate_errors = {}"," if target is not None:"," for gate, prop_dict in target.items():"," gate_errors[gate] = {}"," for qubit, gate_props in prop_dict.items():"," if gate_props is not None and gate_props.error is not None:"," gate_errors[gate][qubit] = gate_props.error"," if props is not None:"," for gate in props._gates:"," gate_errors[gate] = {}"," for k, v in props._gates[gate].items():"," error = v.get(\"gate_error\")"," if error:"," gate_errors[gate][k] = error[0]"," if not gate_errors[gate]:"," del gate_errors[gate]"," return gate_errors","","","def _build_gate_lengths_by_qubit(props=None, target=None):"," \"\"\""," Builds a `gate_lengths` dictionary from either `props` (BackendV1)"," or `target (BackendV2)`.",""," The dictionary has the form:"," {(qubits): [Gate, duration]}"," \"\"\""," gate_lengths = {}"," if target is not None and target.qargs is not None:"," for qubits in target.qargs:"," names = target.operation_names_for_qargs(qubits)"," operation_and_durations = []"," for name in names:"," operation = target.operation_from_name(name)"," duration = getattr(target[name].get(qubits, None), \"duration\", None)"," if duration:"," operation_and_durations.append((operation, duration))"," if operation_and_durations:"," gate_lengths[qubits] = operation_and_durations"," elif props is not None:"," for gate_name, gate_props in props._gates.items():"," gate = GateNameToGate[gate_name]"," for qubits, properties in gate_props.items():"," duration = properties.get(\"gate_length\", [0.0])[0]"," operation_and_durations = (gate, duration)"," if qubits in gate_lengths:"," gate_lengths[qubits].append(operation_and_durations)"," else:"," gate_lengths[qubits] = [operation_and_durations]"," return gate_lengths","","","def _build_gate_errors_by_qubit(props=None, target=None):"," \"\"\""," Builds a `gate_error` dictionary from either `props` (BackendV1)"," or `target (BackendV2)`.",""," The dictionary has the form:"," {(qubits): [Gate, error]}"," \"\"\""," gate_errors = {}"," if target is not None and target.qargs is not None:"," for qubits in target.qargs:"," names = target.operation_names_for_qargs(qubits)"," operation_and_errors = []"," for name in names:"," operation = target.operation_from_name(name)"," error = getattr(target[name].get(qubits, None), \"error\", None)"," if error:"," operation_and_errors.append((operation, error))"," if operation_and_errors:"," gate_errors[qubits] = operation_and_errors"," elif props is not None:"," for gate_name, gate_props in props._gates.items():"," gate = GateNameToGate[gate_name]"," for qubits, properties in gate_props.items():"," error = properties.get(\"gate_error\", [0.0])[0]"," operation_and_errors = (gate, error)"," if qubits in gate_errors:"," gate_errors[qubits].append(operation_and_errors)"," else:"," gate_errors[qubits] = [operation_and_errors]"," return gate_errors","","","class DefaultUnitarySynthesis(plugin.UnitarySynthesisPlugin):"," \"\"\"The default unitary synthesis plugin.\"\"\"",""," @property"," def supports_basis_gates(self):"," return True",""," @property"," def supports_coupling_map(self):"," return True",""," @property"," def supports_natural_direction(self):"," return True",""," @property"," def supports_pulse_optimize(self):"," return True",""," @property"," def supports_gate_lengths(self):"," return False",""," @property"," def supports_gate_errors(self):"," return False",""," @property"," def supports_gate_lengths_by_qubit(self):"," return True",""," @property"," def supports_gate_errors_by_qubit(self):"," return True",""," @property"," def max_qubits(self):"," return None",""," @property"," def min_qubits(self):"," return None",""," @property"," def supported_bases(self):"," return None",""," @property"," def supports_target(self):"," return True",""," def __init__(self):"," super().__init__()"," self._decomposer_cache = {}",""," def _decomposer_2q_from_target(self, target, qubits, approximation_degree):"," # we just need 2-qubit decomposers, in any direction."," # we'll fix the synthesis direction later."," qubits_tuple = tuple(sorted(qubits))"," reverse_tuple = qubits_tuple[::-1]"," if qubits_tuple in self._decomposer_cache:"," return self._decomposer_cache[qubits_tuple]",""," # available instructions on this qubit pair, and their associated property."," available_2q_basis = {}"," available_2q_props = {}",""," # 2q gates sent to 2q decomposers must not have any symbolic parameters. The"," # gates must be convertable to a numeric matrix. If a basis gate supports an arbitrary"," # angle, we have to choose one angle (or more.)"," def _replace_parameterized_gate(op):"," if isinstance(op, RXXGate) and isinstance(op.params[0], Parameter):"," op = RXXGate(pi / 2)"," elif isinstance(op, RZXGate) and isinstance(op.params[0], Parameter):"," op = RZXGate(pi / 4)"," return op",""," try:"," keys = target.operation_names_for_qargs(qubits_tuple)"," for key in keys:"," op = target.operation_from_name(key)"," if not isinstance(op, Gate):"," continue"," available_2q_basis[key] = _replace_parameterized_gate(op)"," available_2q_props[key] = target[key][qubits_tuple]"," except KeyError:"," pass"," try:"," keys = target.operation_names_for_qargs(reverse_tuple)"," for key in keys:"," if key not in available_2q_basis:"," op = target.operation_from_name(key)"," if not isinstance(op, Gate):"," continue"," available_2q_basis[key] = _replace_parameterized_gate(op)"," available_2q_props[key] = target[key][reverse_tuple]"," except KeyError:"," pass"," if not available_2q_basis:"," raise TranspilerError("," f\"Target has no gates available on qubits {qubits} to synthesize over.\""," )"," # available decomposition basis on each of the qubits of the pair"," # NOTE: assumes both qubits have the same single-qubit gates"," available_1q_basis = _find_matching_euler_bases(target, qubits_tuple[0])",""," # find all decomposers"," # TODO: reduce number of decomposers here somehow"," decomposers = []",""," def is_supercontrolled(gate):"," try:"," operator = Operator(gate)"," except QiskitError:"," return False"," kak = TwoQubitWeylDecomposition(operator.data)"," return isclose(kak.a, pi / 4) and isclose(kak.c, 0.0)",""," def is_controlled(gate):"," try:"," operator = Operator(gate)"," except QiskitError:"," return False"," kak = TwoQubitWeylDecomposition(operator.data)"," return isclose(kak.b, 0.0) and isclose(kak.c, 0.0)",""," # possible supercontrolled decomposers (i.e. TwoQubitBasisDecomposer)"," supercontrolled_basis = {"," k: v for k, v in available_2q_basis.items() if is_supercontrolled(v)"," }"," for basis_1q, basis_2q in product(available_1q_basis, supercontrolled_basis.keys()):"," props = available_2q_props.get(basis_2q)"," if props is None:"," basis_2q_fidelity = 1.0"," else:"," error = getattr(props, \"error\", 0.0)"," if error is None:"," error = 0.0"," basis_2q_fidelity = 1 - error"," if approximation_degree is not None:"," basis_2q_fidelity *= approximation_degree"," decomposer = TwoQubitBasisDecomposer("," supercontrolled_basis[basis_2q],"," euler_basis=basis_1q,"," basis_fidelity=basis_2q_fidelity,"," )"," decomposers.append(decomposer)",""," # possible controlled decomposers (i.e. XXDecomposer)"," controlled_basis = {k: v for k, v in available_2q_basis.items() if is_controlled(v)}"," basis_2q_fidelity = {}"," embodiments = {}"," pi2_basis = None"," for k, v in controlled_basis.items():"," strength = 2 * TwoQubitWeylDecomposition(Operator(v).data).a # pi/2: fully entangling"," # each strength has its own fidelity"," props = available_2q_props.get(k)"," if props is None:"," basis_2q_fidelity[strength] = 1.0"," else:"," error = getattr(props, \"error\", 0.0)"," if error is None:"," error = 0.0"," basis_2q_fidelity[strength] = 1 - error"," # rewrite XX of the same strength in terms of it"," embodiment = XXEmbodiments[v.base_class]"," if len(embodiment.parameters) == 1:"," embodiments[strength] = embodiment.assign_parameters([strength])"," else:"," embodiments[strength] = embodiment"," # basis equivalent to CX are well optimized so use for the pi/2 angle if available"," if isclose(strength, pi / 2) and k in supercontrolled_basis:"," pi2_basis = v"," # if we are using the approximation_degree knob, use it to scale already-given fidelities"," if approximation_degree is not None:"," basis_2q_fidelity = {k: v * approximation_degree for k, v in basis_2q_fidelity.items()}"," if basis_2q_fidelity:"," for basis_1q in available_1q_basis:"," if isinstance(pi2_basis, CXGate) and basis_1q == \"ZSX\":"," pi2_decomposer = TwoQubitBasisDecomposer("," pi2_basis,"," euler_basis=basis_1q,"," basis_fidelity=basis_2q_fidelity,"," pulse_optimize=True,"," )"," embodiments.update({pi / 2: XXEmbodiments[pi2_decomposer.gate.base_class]})"," else:"," pi2_decomposer = None"," decomposer = XXDecomposer("," basis_fidelity=basis_2q_fidelity,"," euler_basis=basis_1q,"," embodiments=embodiments,"," backup_optimizer=pi2_decomposer,"," )"," decomposers.append(decomposer)",""," self._decomposer_cache[qubits_tuple] = decomposers"," return decomposers",""," def run(self, unitary, **options):"," # Approximation degree is set directly as an attribute on the"," # instance by the UnitarySynthesis pass here as it's not part of"," # plugin interface. However if for some reason it's not set assume"," # it's 1."," approximation_degree = getattr(self, \"_approximation_degree\", 1.0)"," basis_gates = options[\"basis_gates\"]"," coupling_map = options[\"coupling_map\"][0]"," natural_direction = options[\"natural_direction\"]"," pulse_optimize = options[\"pulse_optimize\"]"," gate_lengths = options[\"gate_lengths_by_qubit\"]"," gate_errors = options[\"gate_errors_by_qubit\"]"," qubits = options[\"coupling_map\"][1]"," target = options[\"target\"]",""," if unitary.shape == (2, 2):"," _decomposer1q = Optimize1qGatesDecomposition(basis_gates, target)"," sequence = _decomposer1q._resynthesize_run(unitary, qubits[0])"," if sequence is None:"," return None"," return _decomposer1q._gate_sequence_to_dag(sequence)"," elif unitary.shape == (4, 4):"," # select synthesizers that can lower to the target"," if target is not None:"," decomposers2q = self._decomposer_2q_from_target("," target, qubits, approximation_degree"," )"," else:"," decomposer2q = _decomposer_2q_from_basis_gates("," basis_gates, pulse_optimize, approximation_degree"," )"," decomposers2q = [decomposer2q] if decomposer2q is not None else []"," # choose the cheapest output among synthesized circuits"," synth_circuits = []"," for decomposer2q in decomposers2q:"," preferred_direction = _preferred_direction("," decomposer2q, qubits, natural_direction, coupling_map, gate_lengths, gate_errors"," )"," synth_circuit = self._synth_su4("," unitary, decomposer2q, preferred_direction, approximation_degree"," )"," synth_circuits.append(synth_circuit)"," synth_circuit = min("," synth_circuits,"," key=partial(_error, target=target, qubits=tuple(qubits)),"," default=None,"," )"," else:"," from qiskit.synthesis.unitary.qsd import ( # pylint: disable=cyclic-import"," qs_decomposition,"," )",""," # only decompose if needed. TODO: handle basis better"," synth_circuit = qs_decomposition(unitary) if (basis_gates or target) else None",""," synth_dag = circuit_to_dag(synth_circuit) if synth_circuit is not None else None"," return synth_dag",""," def _synth_su4(self, su4_mat, decomposer2q, preferred_direction, approximation_degree):"," approximate = not approximation_degree == 1.0"," synth_circ = decomposer2q(su4_mat, approximate=approximate)",""," # if the gates in synthesis are in the opposite direction of the preferred direction"," # resynthesize a new operator which is the original conjugated by swaps."," # this new operator is doubly mirrored from the original and is locally equivalent."," synth_direction = None"," for inst in synth_circ:"," if inst.operation.num_qubits == 2:"," synth_direction = [synth_circ.find_bit(q).index for q in inst.qubits]"," if preferred_direction and synth_direction != preferred_direction:"," su4_mat_mm = deepcopy(su4_mat)"," su4_mat_mm[[1, 2]] = su4_mat_mm[[2, 1]]"," su4_mat_mm[:, [1, 2]] = su4_mat_mm[:, [2, 1]]"," synth_circ = decomposer2q(su4_mat_mm, approximate=approximate).reverse_bits()"," return synth_circ"],"stylingDirectives":[[{"start":0,"end":30,"cssClass":"pl-c"}],[{"start":0,"end":1,"cssClass":"pl-c"}],[{"start":0,"end":31,"cssClass":"pl-c"}],[{"start":0,"end":1,"cssClass":"pl-c"}],[{"start":0,"end":70,"cssClass":"pl-c"}],[{"start":0,"end":77,"cssClass":"pl-c"}],[{"start":0,"end":71,"cssClass":"pl-c"}],[{"start":0,"end":1,"cssClass":"pl-c"}],[{"start":0,"end":69,"cssClass":"pl-c"}],[{"start":0,"end":72,"cssClass":"pl-c"}],[{"start":0,"end":49,"cssClass":"pl-c"}],[],[{"start":0,"end":3,"cssClass":"pl-s"}],[{"start":0,"end":89,"cssClass":"pl-s"}],[{"start":0,"end":89,"cssClass":"pl-s"}],[{"start":0,"end":89,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":22,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":26,"cssClass":"pl-s"}],[{"start":0,"end":3,"cssClass":"pl-s"}],[],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":34,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":9,"cssClass":"pl-s1"},{"start":10,"end":16,"cssClass":"pl-k"},{"start":17,"end":19,"cssClass":"pl-s1"},{"start":21,"end":24,"cssClass":"pl-s1"},{"start":26,"end":33,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":9,"cssClass":"pl-s1"},{"start":10,"end":16,"cssClass":"pl-k"},{"start":17,"end":25,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":14,"cssClass":"pl-s1"},{"start":15,"end":21,"cssClass":"pl-k"},{"start":22,"end":29,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":14,"cssClass":"pl-s1"},{"start":15,"end":21,"cssClass":"pl-k"},{"start":22,"end":29,"cssClass":"pl-s1"}],[{"start":0,"end":6,"cssClass":"pl-k"},{"start":7,"end":12,"cssClass":"pl-s1"},{"start":13,"end":15,"cssClass":"pl-k"},{"start":16,"end":18,"cssClass":"pl-s1"}],[],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-k"},{"start":30,"end":44,"cssClass":"pl-s1"},{"start":46,"end":60,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-k"},{"start":30,"end":41,"cssClass":"pl-v"},{"start":43,"end":49,"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":22,"cssClass":"pl-s1"},{"start":23,"end":33,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-k"},{"start":41,"end":51,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":31,"cssClass":"pl-s1"},{"start":32,"end":38,"cssClass":"pl-k"},{"start":39,"end":58,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":31,"cssClass":"pl-s1"},{"start":32,"end":44,"cssClass":"pl-s1"},{"start":45,"end":51,"cssClass":"pl-k"},{"start":52,"end":64,"cssClass":"pl-v"},{"start":66,"end":79,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":31,"cssClass":"pl-s1"},{"start":32,"end":51,"cssClass":"pl-s1"},{"start":52,"end":58,"cssClass":"pl-k"}],[{"start":4,"end":27,"cssClass":"pl-v"}],[{"start":4,"end":29,"cssClass":"pl-v"}],[],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":31,"cssClass":"pl-k"},{"start":32,"end":40,"cssClass":"pl-v"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-k"},{"start":27,"end":40,"cssClass":"pl-v"},{"start":42,"end":46,"cssClass":"pl-v"},{"start":48,"end":57,"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":27,"cssClass":"pl-s1"},{"start":28,"end":42,"cssClass":"pl-s1"},{"start":43,"end":49,"cssClass":"pl-k"}],[{"start":4,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":10,"cssClass":"pl-v"}],[{"start":4,"end":10,"cssClass":"pl-v"}],[{"start":4,"end":11,"cssClass":"pl-v"}],[{"start":4,"end":11,"cssClass":"pl-v"}],[{"start":4,"end":11,"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":39,"cssClass":"pl-s1"},{"start":40,"end":46,"cssClass":"pl-k"},{"start":47,"end":53,"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":42,"cssClass":"pl-s1"},{"start":43,"end":68,"cssClass":"pl-s1"},{"start":69,"end":75,"cssClass":"pl-k"}],[{"start":4,"end":32,"cssClass":"pl-v"}],[],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":28,"cssClass":"pl-s1"},{"start":29,"end":35,"cssClass":"pl-k"},{"start":36,"end":53,"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":27,"cssClass":"pl-s1"},{"start":28,"end":42,"cssClass":"pl-s1"},{"start":43,"end":49,"cssClass":"pl-k"},{"start":50,"end":80,"cssClass":"pl-s1"}],[{"start":0,"end":4,"cssClass":"pl-k"},{"start":5,"end":11,"cssClass":"pl-s1"},{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":29,"cssClass":"pl-k"},{"start":30,"end":41,"cssClass":"pl-v"}],[],[],[{"start":0,"end":14,"cssClass":"pl-v"},{"start":15,"end":16,"cssClass":"pl-c1"}],[{"start":4,"end":8,"cssClass":"pl-s"},{"start":10,"end":16,"cssClass":"pl-v"}],[{"start":4,"end":8,"cssClass":"pl-s"},{"start":10,"end":16,"cssClass":"pl-v"}],[{"start":4,"end":11,"cssClass":"pl-s"},{"start":13,"end":22,"cssClass":"pl-en"}],[{"start":4,"end":9,"cssClass":"pl-s"},{"start":11,"end":18,"cssClass":"pl-v"},{"start":19,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":25,"cssClass":"pl-c1"}],[{"start":4,"end":9,"cssClass":"pl-s"},{"start":11,"end":18,"cssClass":"pl-v"}],[{"start":4,"end":9,"cssClass":"pl-s"},{"start":11,"end":18,"cssClass":"pl-v"},{"start":19,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":29,"end":63,"cssClass":"pl-c"}],[],[],[{"start":0,"end":14,"cssClass":"pl-v"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":47,"cssClass":"pl-en"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":20,"cssClass":"pl-en"},{"start":21,"end":32,"cssClass":"pl-s1"}],[{"start":4,"end":77,"cssClass":"pl-s"}],[{"start":4,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":19,"cssClass":"pl-c1"}],[{"start":4,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":19,"cssClass":"pl-en"},{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-c1"},{"start":39,"end":51,"cssClass":"pl-en"},{"start":52,"end":66,"cssClass":"pl-v"},{"start":67,"end":71,"cssClass":"pl-en"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":16,"cssClass":"pl-s1"}],[{"start":8,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":33,"cssClass":"pl-v"},{"start":34,"end":43,"cssClass":"pl-s1"},{"start":44,"end":47,"cssClass":"pl-en"}],[],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":19,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":23,"cssClass":"pl-en"},{"start":24,"end":35,"cssClass":"pl-s1"}],[{"start":4,"end":80,"cssClass":"pl-s"}],[{"start":4,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":19,"cssClass":"pl-en"},{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":13,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":43,"cssClass":"pl-s1"},{"start":44,"end":71,"cssClass":"pl-v"},{"start":72,"end":77,"cssClass":"pl-en"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-en"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":22,"end":30,"cssClass":"pl-en"},{"start":31,"end":40,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-s1"}],[],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-s"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":30,"cssClass":"pl-en"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":39,"end":44,"cssClass":"pl-s1"}],[{"start":4,"end":77,"cssClass":"pl-s"}],[{"start":4,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"}],[{"start":4,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"},{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":48,"cssClass":"pl-en"},{"start":50,"end":55,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":13,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":43,"cssClass":"pl-s1"},{"start":44,"end":71,"cssClass":"pl-v"},{"start":72,"end":77,"cssClass":"pl-en"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-en"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":22,"end":30,"cssClass":"pl-en"},{"start":31,"end":40,"cssClass":"pl-s1"}],[{"start":12,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"cssClass":"pl-en"},{"start":37,"end":42,"cssClass":"pl-s1"}],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":28,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":17,"cssClass":"pl-en"},{"start":18,"end":29,"cssClass":"pl-s1"},{"start":31,"end":41,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":42,"end":46,"cssClass":"pl-c1"}],[{"start":4,"end":92,"cssClass":"pl-s"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":18,"cssClass":"pl-s1"},{"start":19,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-c1"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":23,"cssClass":"pl-en"}],[{"start":4,"end":8,"cssClass":"pl-k"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":23,"cssClass":"pl-en"},{"start":24,"end":35,"cssClass":"pl-s1"}],[],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":40,"cssClass":"pl-s1"},{"start":41,"end":68,"cssClass":"pl-v"}],[],[{"start":4,"end":13,"cssClass":"pl-s1"},{"start":14,"end":15,"cssClass":"pl-c1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":13,"cssClass":"pl-s1"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":34,"cssClass":"pl-s1"},{"start":35,"end":40,"cssClass":"pl-en"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-en"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":22,"end":30,"cssClass":"pl-en"},{"start":31,"end":40,"cssClass":"pl-s1"}],[{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":28,"cssClass":"pl-en"},{"start":29,"end":34,"cssClass":"pl-s1"}],[],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":20,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":35,"cssClass":"pl-en"},{"start":36,"end":47,"cssClass":"pl-s1"},{"start":49,"end":63,"cssClass":"pl-s1"},{"start":63,"end":64,"cssClass":"pl-c1"},{"start":64,"end":68,"cssClass":"pl-c1"},{"start":70,"end":90,"cssClass":"pl-s1"},{"start":90,"end":91,"cssClass":"pl-c1"},{"start":91,"end":95,"cssClass":"pl-c1"}],[{"start":4,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":23,"cssClass":"pl-c1"}],[{"start":4,"end":12,"cssClass":"pl-s1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":31,"cssClass":"pl-en"},{"start":32,"end":43,"cssClass":"pl-s1"}],[{"start":4,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":37,"cssClass":"pl-en"},{"start":38,"end":49,"cssClass":"pl-s1"}],[{"start":4,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":41,"cssClass":"pl-s1"},{"start":42,"end":44,"cssClass":"pl-c1"},{"start":45,"end":48,"cssClass":"pl-c1"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":17,"cssClass":"pl-en"},{"start":18,"end":26,"cssClass":"pl-s1"},{"start":28,"end":35,"cssClass":"pl-v"}],[{"start":8,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":50,"cssClass":"pl-v"}],[{"start":12,"end":18,"cssClass":"pl-v"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":27,"end":41,"cssClass":"pl-s1"}],[{"start":12,"end":23,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":24,"end":35,"cssClass":"pl-s1"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":27,"end":41,"cssClass":"pl-s1"}],[],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":35,"cssClass":"pl-v"},{"start":36,"end":47,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":48,"end":59,"cssClass":"pl-s1"},{"start":61,"end":77,"cssClass":"pl-s1"},{"start":77,"end":78,"cssClass":"pl-c1"},{"start":78,"end":94,"cssClass":"pl-s1"}],[{"start":4,"end":8,"cssClass":"pl-k"},{"start":9,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-c1"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":46,"cssClass":"pl-v"}],[{"start":12,"end":20,"cssClass":"pl-s1"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":27,"end":41,"cssClass":"pl-s1"}],[{"start":12,"end":23,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":24,"end":35,"cssClass":"pl-s1"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":27,"end":41,"cssClass":"pl-s1"}],[],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":23,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":10,"cssClass":"pl-en"},{"start":11,"end":18,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":27,"end":31,"cssClass":"pl-c1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":40,"end":44,"cssClass":"pl-c1"}],[{"start":4,"end":7,"cssClass":"pl-s"}],[{"start":0,"end":65,"cssClass":"pl-s"}],[{"start":0,"end":25,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":67,"cssClass":"pl-s"}],[{"start":0,"end":41,"cssClass":"pl-s"}],[{"start":0,"end":7,"cssClass":"pl-s"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":21,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":26,"cssClass":"pl-s1"}],[{"start":4,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"}],[{"start":4,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":15,"cssClass":"pl-c1"},{"start":16,"end":23,"cssClass":"pl-s1"}],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":27,"cssClass":"pl-en"},{"start":28,"end":34,"cssClass":"pl-s1"},{"start":35,"end":42,"cssClass":"pl-s1"},{"start":43,"end":51,"cssClass":"pl-en"},{"start":52,"end":53,"cssClass":"pl-s1"},{"start":55,"end":60,"cssClass":"pl-s1"},{"start":62,"end":65,"cssClass":"pl-k"},{"start":66,"end":67,"cssClass":"pl-s1"},{"start":68,"end":70,"cssClass":"pl-c1"},{"start":71,"end":75,"cssClass":"pl-s1"},{"start":76,"end":82,"cssClass":"pl-s1"}],[{"start":8,"end":11,"cssClass":"pl-k"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":25,"cssClass":"pl-s1"},{"start":26,"end":51,"cssClass":"pl-en"},{"start":52,"end":63,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":27,"cssClass":"pl-s1"}],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":34,"cssClass":"pl-s1"},{"start":35,"end":54,"cssClass":"pl-en"},{"start":55,"end":58,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":29,"cssClass":"pl-en"},{"start":30,"end":39,"cssClass":"pl-s1"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":46,"end":55,"cssClass":"pl-s1"},{"start":56,"end":66,"cssClass":"pl-s1"},{"start":68,"end":71,"cssClass":"pl-c1"}],[{"start":20,"end":29,"cssClass":"pl-s1"},{"start":30,"end":46,"cssClass":"pl-en"}],[{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":26,"cssClass":"pl-en"}],[{"start":24,"end":31,"cssClass":"pl-en"},{"start":32,"end":37,"cssClass":"pl-en"},{"start":38,"end":40,"cssClass":"pl-s1"},{"start":43,"end":48,"cssClass":"pl-en"},{"start":49,"end":51,"cssClass":"pl-s1"}],[{"start":24,"end":27,"cssClass":"pl-k"},{"start":28,"end":30,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":41,"cssClass":"pl-en"},{"start":42,"end":51,"cssClass":"pl-s1"},{"start":52,"end":58,"cssClass":"pl-s1"},{"start":60,"end":64,"cssClass":"pl-s1"},{"start":65,"end":74,"cssClass":"pl-s1"},{"start":75,"end":81,"cssClass":"pl-s1"}],[],[],[{"start":20,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":40,"end":43,"cssClass":"pl-s1"},{"start":45,"end":48,"cssClass":"pl-en"},{"start":49,"end":60,"cssClass":"pl-s1"},{"start":62,"end":66,"cssClass":"pl-c1"}],[{"start":20,"end":22,"cssClass":"pl-k"},{"start":23,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":40,"cssClass":"pl-c1"},{"start":41,"end":45,"cssClass":"pl-c1"}],[{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":39,"cssClass":"pl-en"},{"start":40,"end":50,"cssClass":"pl-s1"},{"start":52,"end":59,"cssClass":"pl-s"},{"start":61,"end":64,"cssClass":"pl-c1"},{"start":66,"end":68,"cssClass":"pl-c1"},{"start":69,"end":72,"cssClass":"pl-c1"}],[{"start":24,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":35,"end":42,"cssClass":"pl-en"},{"start":43,"end":53,"cssClass":"pl-s1"},{"start":55,"end":65,"cssClass":"pl-s"},{"start":67,"end":70,"cssClass":"pl-c1"},{"start":72,"end":74,"cssClass":"pl-c1"},{"start":75,"end":78,"cssClass":"pl-c1"}],[{"start":24,"end":39,"cssClass":"pl-s1"},{"start":40,"end":46,"cssClass":"pl-en"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":49,"end":50,"cssClass":"pl-c1"},{"start":51,"end":56,"cssClass":"pl-s1"}],[{"start":24,"end":38,"cssClass":"pl-s1"},{"start":39,"end":45,"cssClass":"pl-en"},{"start":46,"end":54,"cssClass":"pl-s1"}],[{"start":20,"end":24,"cssClass":"pl-k"}],[{"start":24,"end":39,"cssClass":"pl-s1"},{"start":40,"end":46,"cssClass":"pl-en"},{"start":47,"end":50,"cssClass":"pl-c1"}],[{"start":24,"end":38,"cssClass":"pl-s1"},{"start":39,"end":45,"cssClass":"pl-en"},{"start":46,"end":49,"cssClass":"pl-c1"}],[],[{"start":20,"end":25,"cssClass":"pl-k"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":21,"cssClass":"pl-k"},{"start":22,"end":30,"cssClass":"pl-v"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":23,"cssClass":"pl-v"},{"start":24,"end":26,"cssClass":"pl-k"},{"start":27,"end":32,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":33,"cssClass":"pl-v"}],[{"start":16,"end":48,"cssClass":"pl-s"}],[{"start":16,"end":69,"cssClass":"pl-s"},{"start":32,"end":48,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-kos"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":47,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-kos"},{"start":59,"end":67,"cssClass":"pl-s1"},{"start":59,"end":60,"cssClass":"pl-kos"},{"start":60,"end":66,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-kos"}],[{"start":14,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-s1"}],[{"start":4,"end":40,"cssClass":"pl-c"}],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":12,"cssClass":"pl-c1"},{"start":13,"end":14,"cssClass":"pl-c1"},{"start":15,"end":17,"cssClass":"pl-s1"},{"start":18,"end":22,"cssClass":"pl-en"},{"start":23,"end":38,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":24,"cssClass":"pl-en"}],[{"start":4,"end":16,"cssClass":"pl-s1"},{"start":18,"end":24,"cssClass":"pl-s1"},{"start":26,"end":43,"cssClass":"pl-s1"},{"start":45,"end":57,"cssClass":"pl-s1"},{"start":57,"end":58,"cssClass":"pl-c1"},{"start":58,"end":62,"cssClass":"pl-c1"},{"start":64,"end":76,"cssClass":"pl-s1"},{"start":76,"end":77,"cssClass":"pl-c1"},{"start":77,"end":81,"cssClass":"pl-c1"},{"start":83,"end":94,"cssClass":"pl-s1"},{"start":94,"end":95,"cssClass":"pl-c1"},{"start":95,"end":99,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-s"}],[{"start":0,"end":85,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":74,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":7,"cssClass":"pl-s"}],[{"start":4,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":24,"cssClass":"pl-en"},{"start":25,"end":31,"cssClass":"pl-s1"}],[{"start":4,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":32,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":36,"end":37,"cssClass":"pl-c1"}],[],[{"start":4,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-c1"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-c1"},{"start":35,"end":39,"cssClass":"pl-c1"}],[{"start":8,"end":77,"cssClass":"pl-c"}],[{"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":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":37,"cssClass":"pl-s1"},{"start":38,"end":47,"cssClass":"pl-en"},{"start":48,"end":54,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-c1"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":35,"cssClass":"pl-c1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":37,"cssClass":"pl-s1"},{"start":38,"end":47,"cssClass":"pl-en"},{"start":48,"end":54,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-c1"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":35,"cssClass":"pl-c1"},{"start":36,"end":46,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":23,"cssClass":"pl-s1"},{"start":24,"end":27,"cssClass":"pl-c1"},{"start":28,"end":31,"cssClass":"pl-c1"},{"start":32,"end":40,"cssClass":"pl-s1"}],[{"start":16,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":42,"end":43,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":23,"cssClass":"pl-s1"},{"start":24,"end":27,"cssClass":"pl-c1"},{"start":28,"end":31,"cssClass":"pl-c1"},{"start":32,"end":40,"cssClass":"pl-s1"}],[{"start":16,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":42,"end":43,"cssClass":"pl-c1"}],[{"start":8,"end":79,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":30,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":34,"end":38,"cssClass":"pl-c1"},{"start":39,"end":42,"cssClass":"pl-c1"},{"start":44,"end":56,"cssClass":"pl-s1"},{"start":57,"end":59,"cssClass":"pl-c1"},{"start":60,"end":71,"cssClass":"pl-s1"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":26,"cssClass":"pl-s1"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":26,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":31,"cssClass":"pl-en"}],[{"start":20,"end":28,"cssClass":"pl-s1"}],[{"start":20,"end":23,"cssClass":"pl-k"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":30,"end":38,"cssClass":"pl-s1"},{"start":39,"end":41,"cssClass":"pl-c1"},{"start":42,"end":54,"cssClass":"pl-s1"},{"start":55,"end":58,"cssClass":"pl-en"},{"start":59,"end":71,"cssClass":"pl-s1"}],[{"start":20,"end":22,"cssClass":"pl-k"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-c1"},{"start":31,"end":43,"cssClass":"pl-s1"},{"start":44,"end":48,"cssClass":"pl-s1"}],[],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":32,"cssClass":"pl-v"}],[{"start":16,"end":20,"cssClass":"pl-k"}],[{"start":12,"end":15,"cssClass":"pl-k"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":31,"cssClass":"pl-en"}],[{"start":20,"end":28,"cssClass":"pl-s1"}],[{"start":20,"end":23,"cssClass":"pl-k"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":30,"end":38,"cssClass":"pl-s1"},{"start":39,"end":41,"cssClass":"pl-c1"},{"start":42,"end":54,"cssClass":"pl-s1"},{"start":55,"end":58,"cssClass":"pl-en"},{"start":59,"end":72,"cssClass":"pl-s1"}],[{"start":20,"end":22,"cssClass":"pl-k"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-c1"},{"start":31,"end":43,"cssClass":"pl-s1"},{"start":44,"end":48,"cssClass":"pl-s1"}],[],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":32,"cssClass":"pl-v"}],[{"start":16,"end":20,"cssClass":"pl-k"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":20,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":34,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":46,"cssClass":"pl-s1"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":49,"end":52,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"}],[{"start":20,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":35,"cssClass":"pl-en"}],[{"start":24,"end":29,"cssClass":"pl-s1"}],[{"start":24,"end":27,"cssClass":"pl-k"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":34,"end":39,"cssClass":"pl-s1"},{"start":40,"end":42,"cssClass":"pl-c1"},{"start":43,"end":54,"cssClass":"pl-s1"},{"start":55,"end":58,"cssClass":"pl-en"},{"start":59,"end":71,"cssClass":"pl-s1"}],[{"start":24,"end":26,"cssClass":"pl-k"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-c1"},{"start":35,"end":47,"cssClass":"pl-s1"},{"start":48,"end":52,"cssClass":"pl-s1"}],[],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":36,"cssClass":"pl-v"}],[{"start":20,"end":24,"cssClass":"pl-k"}],[{"start":16,"end":19,"cssClass":"pl-k"}],[{"start":20,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":35,"cssClass":"pl-en"}],[{"start":24,"end":29,"cssClass":"pl-s1"}],[{"start":24,"end":27,"cssClass":"pl-k"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":34,"end":39,"cssClass":"pl-s1"},{"start":40,"end":42,"cssClass":"pl-c1"},{"start":43,"end":54,"cssClass":"pl-s1"},{"start":55,"end":58,"cssClass":"pl-en"},{"start":59,"end":72,"cssClass":"pl-s1"}],[{"start":24,"end":26,"cssClass":"pl-k"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-c1"},{"start":35,"end":47,"cssClass":"pl-s1"},{"start":48,"end":52,"cssClass":"pl-s1"}],[],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":36,"cssClass":"pl-v"}],[{"start":20,"end":24,"cssClass":"pl-k"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":34,"cssClass":"pl-s1"}],[{"start":16,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":42,"end":43,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-k"},{"start":17,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":36,"cssClass":"pl-s1"}],[{"start":16,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":42,"end":43,"cssClass":"pl-c1"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":32,"cssClass":"pl-c1"},{"start":33,"end":36,"cssClass":"pl-c1"},{"start":37,"end":56,"cssClass":"pl-s1"},{"start":57,"end":59,"cssClass":"pl-c1"},{"start":60,"end":64,"cssClass":"pl-c1"}],[{"start":8,"end":13,"cssClass":"pl-k"},{"start":14,"end":29,"cssClass":"pl-v"}],[{"start":12,"end":65,"cssClass":"pl-s"},{"start":55,"end":63,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-kos"},{"start":56,"end":62,"cssClass":"pl-s1"},{"start":62,"end":63,"cssClass":"pl-kos"}],[{"start":12,"end":55,"cssClass":"pl-s"}],[{"start":12,"end":41,"cssClass":"pl-s"}],[],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":30,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":5,"cssClass":"pl-k"},{"start":6,"end":22,"cssClass":"pl-v"},{"start":23,"end":41,"cssClass":"pl-v"}],[{"start":4,"end":58,"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":19,"cssClass":"pl-s1"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-c1"}],[{"start":8,"end":28,"cssClass":"pl-s1"},{"start":30,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":42,"cssClass":"pl-c1"},{"start":43,"end":44,"cssClass":"pl-c1"},{"start":45,"end":48,"cssClass":"pl-c1"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":22,"end":33,"cssClass":"pl-v"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":36,"end":40,"cssClass":"pl-c1"}],[{"start":8,"end":21,"cssClass":"pl-s1"},{"start":23,"end":40,"cssClass":"pl-v"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":43,"end":47,"cssClass":"pl-c1"}],[{"start":8,"end":22,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":35,"cssClass":"pl-c1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":42,"cssClass":"pl-c1"}],[{"start":8,"end":25,"cssClass":"pl-s1"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":38,"cssClass":"pl-c1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":45,"cssClass":"pl-c1"}],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":21,"end":25,"cssClass":"pl-s1"},{"start":26,"end":29,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-c1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":44,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":31,"cssClass":"pl-s"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":20,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-c1"}],[{"start":8,"end":21,"cssClass":"pl-s1"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":34,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":16,"end":22,"cssClass":"pl-v"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-c1"}],[],[{"start":8,"end":54,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":62,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":33,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":49,"cssClass":"pl-s"}],[{"start":0,"end":87,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":94,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":92,"cssClass":"pl-s"}],[{"start":0,"end":37,"cssClass":"pl-s"}],[{"start":0,"end":73,"cssClass":"pl-s"}],[{"start":0,"end":54,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":71,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":66,"cssClass":"pl-s"}],[{"start":0,"end":84,"cssClass":"pl-s"}],[{"start":0,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":66,"cssClass":"pl-s"}],[{"start":0,"end":51,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":67,"cssClass":"pl-s"}],[{"start":0,"end":34,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":63,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":50,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":97,"cssClass":"pl-s"}],[{"start":0,"end":90,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":76,"cssClass":"pl-s"}],[{"start":0,"end":65,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":81,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":15,"cssClass":"pl-s"}],[{"start":0,"end":80,"cssClass":"pl-s"}],[{"start":0,"end":89,"cssClass":"pl-s"}],[{"start":0,"end":97,"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":12,"cssClass":"pl-s1"},{"start":13,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":31,"cssClass":"pl-en"},{"start":32,"end":43,"cssClass":"pl-s1"},{"start":44,"end":46,"cssClass":"pl-c1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":57,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":37,"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":28,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":27,"cssClass":"pl-c1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":30,"cssClass":"pl-s"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":33,"cssClass":"pl-s1"},{"start":34,"end":63,"cssClass":"pl-v"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":41,"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":43,"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":45,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":51,"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":43,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":29,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":17,"cssClass":"pl-s1"},{"start":18,"end":20,"cssClass":"pl-c1"},{"start":21,"end":24,"cssClass":"pl-c1"},{"start":25,"end":29,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":45,"cssClass":"pl-s1"},{"start":46,"end":64,"cssClass":"pl-en"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":22,"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":43,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":29,"cssClass":"pl-s1"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":33,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":37,"end":46,"cssClass":"pl-s"},{"start":48,"end":54,"cssClass":"pl-s"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":33,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":37,"end":46,"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":31,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":49,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-c1"},{"start":53,"end":57,"cssClass":"pl-s1"},{"start":58,"end":70,"cssClass":"pl-s1"}],[],[{"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":35,"cssClass":"pl-s"},{"start":36,"end":39,"cssClass":"pl-c1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":45,"end":51,"cssClass":"pl-s1"},{"start":52,"end":55,"cssClass":"pl-c1"},{"start":56,"end":58,"cssClass":"pl-c1"},{"start":59,"end":63,"cssClass":"pl-s1"},{"start":64,"end":71,"cssClass":"pl-s1"},{"start":72,"end":83,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":33,"cssClass":"pl-v"},{"start":34,"end":94,"cssClass":"pl-s"},{"start":54,"end":67,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-kos"},{"start":55,"end":59,"cssClass":"pl-s1"},{"start":60,"end":66,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-kos"}],[],[{"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":33,"cssClass":"pl-v"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":48,"cssClass":"pl-v"}],[{"start":8,"end":52,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":13,"cssClass":"pl-s"}],[{"start":0,"end":27,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":16,"cssClass":"pl-s"}],[{"start":0,"end":69,"cssClass":"pl-s"}],[{"start":0,"end":11,"cssClass":"pl-s"}],[],[{"start":8,"end":94,"cssClass":"pl-c"}],[{"start":8,"end":26,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":36,"cssClass":"pl-s1"},{"start":38,"end":50,"cssClass":"pl-en"},{"start":51,"end":54,"cssClass":"pl-s1"},{"start":55,"end":64,"cssClass":"pl-en"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-s1"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":15,"cssClass":"pl-s1"},{"start":16,"end":23,"cssClass":"pl-s1"}],[{"start":12,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":32,"cssClass":"pl-s1"},{"start":33,"end":40,"cssClass":"pl-s1"},{"start":41,"end":52,"cssClass":"pl-s1"},{"start":53,"end":57,"cssClass":"pl-s1"},{"start":58,"end":64,"cssClass":"pl-s1"},{"start":66,"end":69,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":51,"cssClass":"pl-v"}],[{"start":8,"end":21,"cssClass":"pl-s1"},{"start":23,"end":27,"cssClass":"pl-s1"},{"start":28,"end":31,"cssClass":"pl-s1"},{"start":33,"end":36,"cssClass":"pl-v"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":41,"end":49,"cssClass":"pl-s"},{"start":51,"end":55,"cssClass":"pl-s1"},{"start":56,"end":70,"cssClass":"pl-s1"}],[{"start":8,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":36,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-c1"}],[{"start":8,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":54,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-c1"},{"start":57,"end":61,"cssClass":"pl-c1"}],[],[{"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":35,"cssClass":"pl-s"}],[{"start":12,"end":98,"cssClass":"pl-c"}],[{"start":12,"end":99,"cssClass":"pl-c"}],[{"start":12,"end":97,"cssClass":"pl-c"}],[{"start":12,"end":47,"cssClass":"pl-c"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":42,"cssClass":"pl-s1"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":42,"cssClass":"pl-s1"}],[{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":28,"end":41,"cssClass":"pl-s1"},{"start":43,"end":56,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":96,"cssClass":"pl-c"}],[{"start":12,"end":89,"cssClass":"pl-c"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-s1"},{"start":34,"end":41,"cssClass":"pl-s1"},{"start":42,"end":53,"cssClass":"pl-s1"},{"start":54,"end":63,"cssClass":"pl-s"},{"start":65,"end":68,"cssClass":"pl-s1"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"}],[{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":28,"end":41,"cssClass":"pl-s1"},{"start":43,"end":56,"cssClass":"pl-s1"},{"start":60,"end":74,"cssClass":"pl-s1"},{"start":76,"end":90,"cssClass":"pl-s1"}],[],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":18,"cssClass":"pl-s1"},{"start":20,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-c1"},{"start":30,"end":41,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":42,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":36,"cssClass":"pl-s"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":45,"end":57,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":48,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":42,"cssClass":"pl-s"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":46,"end":50,"cssClass":"pl-s1"},{"start":51,"end":69,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":45,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":39,"cssClass":"pl-s"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":43,"end":47,"cssClass":"pl-s1"},{"start":48,"end":63,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":43,"cssClass":"pl-s1"}],[{"start":16,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":45,"cssClass":"pl-s1"},{"start":46,"end":48,"cssClass":"pl-c1"},{"start":49,"end":68,"cssClass":"pl-en"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":39,"cssClass":"pl-s1"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":46,"end":53,"cssClass":"pl-s1"}],[],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":37,"cssClass":"pl-s"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":54,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":42,"cssClass":"pl-s1"}],[{"start":16,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":43,"cssClass":"pl-s1"},{"start":44,"end":46,"cssClass":"pl-c1"},{"start":47,"end":65,"cssClass":"pl-en"},{"start":66,"end":70,"cssClass":"pl-s1"},{"start":71,"end":85,"cssClass":"pl-s1"},{"start":87,"end":91,"cssClass":"pl-s1"},{"start":92,"end":99,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":36,"cssClass":"pl-s"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":52,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":52,"cssClass":"pl-s1"}],[{"start":16,"end":38,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":41,"end":63,"cssClass":"pl-s1"},{"start":64,"end":66,"cssClass":"pl-c1"},{"start":67,"end":95,"cssClass":"pl-en"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":39,"cssClass":"pl-s1"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":46,"end":53,"cssClass":"pl-s1"}],[],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":46,"cssClass":"pl-s"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":72,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":51,"cssClass":"pl-s1"}],[{"start":16,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":61,"cssClass":"pl-s1"},{"start":62,"end":64,"cssClass":"pl-c1"},{"start":65,"end":92,"cssClass":"pl-en"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":39,"cssClass":"pl-s1"},{"start":41,"end":45,"cssClass":"pl-s1"},{"start":46,"end":53,"cssClass":"pl-s1"}],[],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":45,"cssClass":"pl-s"},{"start":47,"end":48,"cssClass":"pl-c1"},{"start":49,"end":70,"cssClass":"pl-s1"}],[{"start":12,"end":27,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":52,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":30,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":34,"end":37,"cssClass":"pl-c1"},{"start":38,"end":42,"cssClass":"pl-c1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":38,"cssClass":"pl-s"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":42,"end":55,"cssClass":"pl-en"},{"start":56,"end":60,"cssClass":"pl-s1"},{"start":61,"end":73,"cssClass":"pl-s1"},{"start":75,"end":90,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":37,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":31,"cssClass":"pl-s"},{"start":33,"end":34,"cssClass":"pl-c1"},{"start":35,"end":39,"cssClass":"pl-s1"},{"start":40,"end":47,"cssClass":"pl-s1"}],[],[{"start":8,"end":89,"cssClass":"pl-c"}],[{"start":8,"end":84,"cssClass":"pl-c"}],[{"start":8,"end":15,"cssClass":"pl-c"}],[{"start":8,"end":56,"cssClass":"pl-c"}],[{"start":8,"end":22,"cssClass":"pl-s1"},{"start":23,"end":44,"cssClass":"pl-s1"},{"start":45,"end":46,"cssClass":"pl-c1"},{"start":47,"end":51,"cssClass":"pl-s1"},{"start":52,"end":73,"cssClass":"pl-s1"}],[{"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":35,"cssClass":"pl-s"}],[{"start":12,"end":60,"cssClass":"pl-c"}],[{"start":12,"end":25,"cssClass":"pl-s1"},{"start":26,"end":47,"cssClass":"pl-s1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-s1"},{"start":55,"end":76,"cssClass":"pl-s1"}],[],[{"start":8,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"}],[{"start":13,"end":16,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-s1"},{"start":20,"end":23,"cssClass":"pl-k"},{"start":24,"end":25,"cssClass":"pl-s1"},{"start":27,"end":30,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":34,"end":43,"cssClass":"pl-en"},{"start":44,"end":47,"cssClass":"pl-s1"},{"start":48,"end":54,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":28,"cssClass":"pl-s1"},{"start":29,"end":50,"cssClass":"pl-s1"},{"start":51,"end":53,"cssClass":"pl-c1"},{"start":54,"end":68,"cssClass":"pl-s1"},{"start":69,"end":90,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":34,"cssClass":"pl-en"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":17,"end":30,"cssClass":"pl-s1"},{"start":32,"end":45,"cssClass":"pl-s1"},{"start":47,"end":60,"cssClass":"pl-s1"},{"start":62,"end":76,"cssClass":"pl-s1"},{"start":78,"end":92,"cssClass":"pl-s1"}],[],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":22,"cssClass":"pl-en"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":14,"end":17,"cssClass":"pl-s1"},{"start":19,"end":32,"cssClass":"pl-s1"},{"start":34,"end":47,"cssClass":"pl-s1"},{"start":49,"end":62,"cssClass":"pl-s1"},{"start":64,"end":78,"cssClass":"pl-s1"},{"start":80,"end":94,"cssClass":"pl-s1"}],[],[{"start":8,"end":96,"cssClass":"pl-s"}],[{"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":32,"cssClass":"pl-en"},{"start":33,"end":46,"cssClass":"pl-v"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-s1"},{"start":30,"end":44,"cssClass":"pl-en"}],[],[{"start":20,"end":34,"cssClass":"pl-en"}],[{"start":24,"end":28,"cssClass":"pl-s1"},{"start":29,"end":43,"cssClass":"pl-en"}],[{"start":28,"end":42,"cssClass":"pl-en"},{"start":43,"end":48,"cssClass":"pl-s1"}],[],[{"start":32,"end":37,"cssClass":"pl-s1"},{"start":39,"end":52,"cssClass":"pl-s1"},{"start":53,"end":58,"cssClass":"pl-s1"}],[{"start":32,"end":35,"cssClass":"pl-k"},{"start":36,"end":41,"cssClass":"pl-s1"},{"start":43,"end":48,"cssClass":"pl-s1"},{"start":49,"end":51,"cssClass":"pl-c1"},{"start":52,"end":55,"cssClass":"pl-en"},{"start":56,"end":61,"cssClass":"pl-s1"},{"start":62,"end":68,"cssClass":"pl-s1"},{"start":70,"end":74,"cssClass":"pl-s1"},{"start":75,"end":80,"cssClass":"pl-s1"}],[],[{"start":28,"end":41,"cssClass":"pl-s1"}],[{"start":28,"end":41,"cssClass":"pl-s1"}],[{"start":28,"end":42,"cssClass":"pl-s1"}],[{"start":28,"end":42,"cssClass":"pl-s1"}],[],[{"start":24,"end":39,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":40,"end":45,"cssClass":"pl-c1"}],[],[{"start":20,"end":23,"cssClass":"pl-k"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":32,"cssClass":"pl-c1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":38,"end":40,"cssClass":"pl-s1"},{"start":41,"end":47,"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":35,"cssClass":"pl-en"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":37,"end":41,"cssClass":"pl-s1"},{"start":42,"end":54,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":34,"cssClass":"pl-c1"},{"start":35,"end":38,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-c1"},{"start":44,"end":47,"cssClass":"pl-c1"},{"start":48,"end":51,"cssClass":"pl-en"},{"start":52,"end":56,"cssClass":"pl-s1"},{"start":57,"end":62,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-c1"},{"start":66,"end":70,"cssClass":"pl-s1"},{"start":71,"end":82,"cssClass":"pl-s1"}],[{"start":16,"end":24,"cssClass":"pl-k"}],[{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-c1"}],[{"start":12,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-s1"},{"start":30,"end":39,"cssClass":"pl-en"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":26,"cssClass":"pl-en"},{"start":27,"end":31,"cssClass":"pl-s1"},{"start":32,"end":37,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":16,"end":29,"cssClass":"pl-s1"},{"start":30,"end":40,"cssClass":"pl-s1"},{"start":41,"end":43,"cssClass":"pl-c1"},{"start":44,"end":47,"cssClass":"pl-c1"},{"start":48,"end":52,"cssClass":"pl-c1"},{"start":53,"end":56,"cssClass":"pl-c1"},{"start":57,"end":65,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":68,"end":81,"cssClass":"pl-s1"},{"start":82,"end":92,"cssClass":"pl-s1"},{"start":94,"end":96,"cssClass":"pl-c1"}],[{"start":16,"end":29,"cssClass":"pl-s1"},{"start":30,"end":40,"cssClass":"pl-s1"},{"start":41,"end":43,"cssClass":"pl-c1"},{"start":44,"end":47,"cssClass":"pl-c1"},{"start":48,"end":52,"cssClass":"pl-c1"},{"start":53,"end":56,"cssClass":"pl-c1"},{"start":57,"end":65,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":68,"end":81,"cssClass":"pl-s1"},{"start":82,"end":92,"cssClass":"pl-s1"}],[],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":24,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":47,"cssClass":"pl-s1"},{"start":49,"end":63,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":24,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":46,"cssClass":"pl-s1"},{"start":48,"end":61,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":43,"cssClass":"pl-s1"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":37,"cssClass":"pl-s"},{"start":39,"end":40,"cssClass":"pl-c1"}],[{"start":20,"end":24,"cssClass":"pl-s1"},{"start":25,"end":38,"cssClass":"pl-s1"}],[{"start":21,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-s1"},{"start":38,"end":41,"cssClass":"pl-k"},{"start":42,"end":43,"cssClass":"pl-s1"},{"start":44,"end":46,"cssClass":"pl-c1"},{"start":47,"end":51,"cssClass":"pl-s1"},{"start":52,"end":57,"cssClass":"pl-s1"}],[],[{"start":12,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":30,"cssClass":"pl-s1"},{"start":31,"end":34,"cssClass":"pl-en"},{"start":35,"end":42,"cssClass":"pl-s1"},{"start":44,"end":46,"cssClass":"pl-c1"},{"start":46,"end":52,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":31,"cssClass":"pl-c1"},{"start":32,"end":36,"cssClass":"pl-c1"}],[{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":44,"cssClass":"pl-en"},{"start":45,"end":49,"cssClass":"pl-s1"},{"start":51,"end":60,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":23,"cssClass":"pl-en"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":30,"end":34,"cssClass":"pl-c1"},{"start":36,"end":42,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":43,"end":47,"cssClass":"pl-c1"}],[{"start":4,"end":77,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":38,"cssClass":"pl-s"}],[{"start":0,"end":7,"cssClass":"pl-s"}],[{"start":4,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":18,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-c1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":43,"cssClass":"pl-en"}],[{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":21,"cssClass":"pl-s1"},{"start":23,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":46,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-en"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":29,"cssClass":"pl-s1"},{"start":30,"end":32,"cssClass":"pl-c1"},{"start":33,"end":36,"cssClass":"pl-c1"},{"start":37,"end":41,"cssClass":"pl-c1"},{"start":42,"end":45,"cssClass":"pl-c1"},{"start":46,"end":56,"cssClass":"pl-s1"},{"start":57,"end":65,"cssClass":"pl-s1"},{"start":66,"end":68,"cssClass":"pl-c1"},{"start":69,"end":72,"cssClass":"pl-c1"},{"start":73,"end":77,"cssClass":"pl-c1"}],[{"start":20,"end":32,"cssClass":"pl-s1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":39,"end":44,"cssClass":"pl-s1"},{"start":46,"end":47,"cssClass":"pl-c1"},{"start":48,"end":58,"cssClass":"pl-s1"},{"start":59,"end":67,"cssClass":"pl-s1"}],[{"start":4,"end":8,"cssClass":"pl-k"},{"start":9,"end":14,"cssClass":"pl-s1"},{"start":15,"end":17,"cssClass":"pl-c1"},{"start":18,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-s1"}],[{"start":12,"end":24,"cssClass":"pl-s1"},{"start":25,"end":29,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":17,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":41,"cssClass":"pl-s1"},{"start":43,"end":48,"cssClass":"pl-en"}],[{"start":16,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":26,"cssClass":"pl-s1"},{"start":27,"end":30,"cssClass":"pl-en"},{"start":31,"end":44,"cssClass":"pl-s"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":25,"cssClass":"pl-s1"}],[{"start":20,"end":32,"cssClass":"pl-s1"},{"start":33,"end":37,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":44,"end":50,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":19,"end":31,"cssClass":"pl-s1"},{"start":32,"end":36,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":32,"cssClass":"pl-s1"},{"start":33,"end":37,"cssClass":"pl-s1"}],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":23,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":22,"cssClass":"pl-en"},{"start":23,"end":28,"cssClass":"pl-s1"},{"start":28,"end":29,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-c1"},{"start":35,"end":41,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":42,"end":46,"cssClass":"pl-c1"}],[{"start":4,"end":75,"cssClass":"pl-s"}],[{"start":0,"end":30,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":40,"cssClass":"pl-s"}],[{"start":0,"end":7,"cssClass":"pl-s"}],[{"start":4,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":18,"end":27,"cssClass":"pl-s1"},{"start":28,"end":30,"cssClass":"pl-c1"},{"start":31,"end":37,"cssClass":"pl-s1"},{"start":38,"end":43,"cssClass":"pl-en"}],[{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":21,"cssClass":"pl-s1"},{"start":23,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":46,"cssClass":"pl-s1"},{"start":47,"end":52,"cssClass":"pl-en"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":29,"cssClass":"pl-s1"},{"start":30,"end":32,"cssClass":"pl-c1"},{"start":33,"end":36,"cssClass":"pl-c1"},{"start":37,"end":41,"cssClass":"pl-c1"},{"start":42,"end":45,"cssClass":"pl-c1"},{"start":46,"end":56,"cssClass":"pl-s1"},{"start":57,"end":62,"cssClass":"pl-s1"},{"start":63,"end":65,"cssClass":"pl-c1"},{"start":66,"end":69,"cssClass":"pl-c1"},{"start":70,"end":74,"cssClass":"pl-c1"}],[{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":38,"end":43,"cssClass":"pl-s1"},{"start":45,"end":46,"cssClass":"pl-c1"},{"start":47,"end":57,"cssClass":"pl-s1"},{"start":58,"end":63,"cssClass":"pl-s1"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":12,"cssClass":"pl-s1"},{"start":13,"end":15,"cssClass":"pl-c1"},{"start":16,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":32,"cssClass":"pl-s1"}],[{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":28,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":17,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":29,"cssClass":"pl-s1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":41,"cssClass":"pl-s1"},{"start":43,"end":48,"cssClass":"pl-en"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":25,"cssClass":"pl-s1"},{"start":26,"end":29,"cssClass":"pl-en"},{"start":30,"end":42,"cssClass":"pl-s"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-s1"}],[{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":43,"end":48,"cssClass":"pl-s1"},{"start":49,"end":50,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-c1"},{"start":19,"end":30,"cssClass":"pl-s1"},{"start":31,"end":35,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-k"},{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":36,"cssClass":"pl-s1"}],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":22,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":32,"cssClass":"pl-en"},{"start":33,"end":38,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-c1"},{"start":45,"end":51,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-c1"},{"start":52,"end":56,"cssClass":"pl-c1"}],[{"start":4,"end":7,"cssClass":"pl-s"}],[{"start":0,"end":70,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":7,"cssClass":"pl-s"}],[{"start":4,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"},{"start":26,"end":29,"cssClass":"pl-c1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":43,"end":45,"cssClass":"pl-c1"},{"start":46,"end":49,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":21,"cssClass":"pl-c1"},{"start":22,"end":28,"cssClass":"pl-s1"},{"start":29,"end":34,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":26,"cssClass":"pl-s1"},{"start":27,"end":52,"cssClass":"pl-en"},{"start":53,"end":59,"cssClass":"pl-s1"}],[{"start":12,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":29,"cssClass":"pl-s1"}],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":34,"cssClass":"pl-s1"},{"start":35,"end":54,"cssClass":"pl-en"},{"start":55,"end":59,"cssClass":"pl-s1"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":34,"cssClass":"pl-en"},{"start":35,"end":41,"cssClass":"pl-s1"},{"start":42,"end":46,"cssClass":"pl-s1"},{"start":48,"end":51,"cssClass":"pl-en"},{"start":52,"end":58,"cssClass":"pl-s1"},{"start":60,"end":64,"cssClass":"pl-c1"},{"start":67,"end":77,"cssClass":"pl-s"},{"start":79,"end":83,"cssClass":"pl-c1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":27,"cssClass":"pl-s1"}],[{"start":20,"end":43,"cssClass":"pl-s1"},{"start":44,"end":50,"cssClass":"pl-en"},{"start":52,"end":61,"cssClass":"pl-s1"},{"start":63,"end":71,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":38,"cssClass":"pl-s1"}],[{"start":16,"end":28,"cssClass":"pl-s1"},{"start":29,"end":35,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":39,"end":62,"cssClass":"pl-s1"}],[{"start":4,"end":8,"cssClass":"pl-k"},{"start":9,"end":14,"cssClass":"pl-s1"},{"start":15,"end":17,"cssClass":"pl-c1"},{"start":18,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":21,"cssClass":"pl-s1"},{"start":23,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":43,"end":49,"cssClass":"pl-s1"},{"start":50,"end":55,"cssClass":"pl-en"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":33,"cssClass":"pl-v"},{"start":34,"end":43,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":22,"cssClass":"pl-s1"},{"start":24,"end":34,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":48,"cssClass":"pl-s1"},{"start":49,"end":54,"cssClass":"pl-en"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":37,"cssClass":"pl-s1"},{"start":38,"end":41,"cssClass":"pl-en"},{"start":42,"end":55,"cssClass":"pl-s"},{"start":58,"end":61,"cssClass":"pl-c1"},{"start":64,"end":65,"cssClass":"pl-c1"}],[{"start":16,"end":39,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":43,"end":47,"cssClass":"pl-s1"},{"start":49,"end":57,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":25,"cssClass":"pl-s1"},{"start":26,"end":28,"cssClass":"pl-c1"},{"start":29,"end":41,"cssClass":"pl-s1"}],[{"start":20,"end":32,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-en"},{"start":48,"end":71,"cssClass":"pl-s1"}],[{"start":16,"end":20,"cssClass":"pl-k"}],[{"start":20,"end":32,"cssClass":"pl-s1"},{"start":33,"end":39,"cssClass":"pl-s1"},{"start":41,"end":42,"cssClass":"pl-c1"},{"start":44,"end":67,"cssClass":"pl-s1"}],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":23,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":3,"cssClass":"pl-k"},{"start":4,"end":31,"cssClass":"pl-en"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":38,"end":42,"cssClass":"pl-c1"},{"start":44,"end":50,"cssClass":"pl-s1"},{"start":50,"end":51,"cssClass":"pl-c1"},{"start":51,"end":55,"cssClass":"pl-c1"}],[{"start":4,"end":7,"cssClass":"pl-s"}],[{"start":0,"end":68,"cssClass":"pl-s"}],[{"start":0,"end":28,"cssClass":"pl-s"}],[{"start":0,"end":0,"cssClass":"pl-s"}],[{"start":0,"end":32,"cssClass":"pl-s"}],[{"start":0,"end":29,"cssClass":"pl-s"}],[{"start":0,"end":7,"cssClass":"pl-s"}],[{"start":4,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"}],[{"start":4,"end":6,"cssClass":"pl-k"},{"start":7,"end":13,"cssClass":"pl-s1"},{"start":14,"end":16,"cssClass":"pl-c1"},{"start":17,"end":20,"cssClass":"pl-c1"},{"start":21,"end":25,"cssClass":"pl-c1"},{"start":26,"end":29,"cssClass":"pl-c1"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":43,"end":45,"cssClass":"pl-c1"},{"start":46,"end":49,"cssClass":"pl-c1"},{"start":50,"end":54,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":18,"cssClass":"pl-s1"},{"start":19,"end":21,"cssClass":"pl-c1"},{"start":22,"end":28,"cssClass":"pl-s1"},{"start":29,"end":34,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":26,"cssClass":"pl-s1"},{"start":27,"end":52,"cssClass":"pl-en"},{"start":53,"end":59,"cssClass":"pl-s1"}],[{"start":12,"end":32,"cssClass":"pl-s1"},{"start":33,"end":34,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":29,"cssClass":"pl-s1"}],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":34,"cssClass":"pl-s1"},{"start":35,"end":54,"cssClass":"pl-en"},{"start":55,"end":59,"cssClass":"pl-s1"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":31,"cssClass":"pl-en"},{"start":32,"end":38,"cssClass":"pl-s1"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":45,"end":48,"cssClass":"pl-en"},{"start":49,"end":55,"cssClass":"pl-s1"},{"start":57,"end":61,"cssClass":"pl-c1"},{"start":64,"end":71,"cssClass":"pl-s"},{"start":73,"end":77,"cssClass":"pl-c1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-s1"}],[{"start":20,"end":40,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-en"},{"start":49,"end":58,"cssClass":"pl-s1"},{"start":60,"end":65,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":35,"cssClass":"pl-s1"}],[{"start":16,"end":27,"cssClass":"pl-s1"},{"start":28,"end":34,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":58,"cssClass":"pl-s1"}],[{"start":4,"end":8,"cssClass":"pl-k"},{"start":9,"end":14,"cssClass":"pl-s1"},{"start":15,"end":17,"cssClass":"pl-c1"},{"start":18,"end":21,"cssClass":"pl-c1"},{"start":22,"end":26,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":21,"cssClass":"pl-s1"},{"start":23,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":42,"cssClass":"pl-s1"},{"start":43,"end":49,"cssClass":"pl-s1"},{"start":50,"end":55,"cssClass":"pl-en"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":33,"cssClass":"pl-v"},{"start":34,"end":43,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":22,"cssClass":"pl-s1"},{"start":24,"end":34,"cssClass":"pl-s1"},{"start":35,"end":37,"cssClass":"pl-c1"},{"start":38,"end":48,"cssClass":"pl-s1"},{"start":49,"end":54,"cssClass":"pl-en"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":34,"cssClass":"pl-s1"},{"start":35,"end":38,"cssClass":"pl-en"},{"start":39,"end":51,"cssClass":"pl-s"},{"start":54,"end":57,"cssClass":"pl-c1"},{"start":60,"end":61,"cssClass":"pl-c1"}],[{"start":16,"end":36,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":40,"end":44,"cssClass":"pl-s1"},{"start":46,"end":51,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":25,"cssClass":"pl-s1"},{"start":26,"end":28,"cssClass":"pl-c1"},{"start":29,"end":40,"cssClass":"pl-s1"}],[{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":38,"cssClass":"pl-s1"},{"start":40,"end":46,"cssClass":"pl-en"},{"start":47,"end":67,"cssClass":"pl-s1"}],[{"start":16,"end":20,"cssClass":"pl-k"}],[{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":38,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":43,"end":63,"cssClass":"pl-s1"}],[{"start":4,"end":10,"cssClass":"pl-k"},{"start":11,"end":22,"cssClass":"pl-s1"}],[],[],[{"start":0,"end":5,"cssClass":"pl-k"},{"start":6,"end":29,"cssClass":"pl-v"},{"start":30,"end":36,"cssClass":"pl-s1"},{"start":37,"end":59,"cssClass":"pl-v"}],[{"start":4,"end":47,"cssClass":"pl-s"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":29,"cssClass":"pl-en"},{"start":30,"end":34,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":34,"cssClass":"pl-en"},{"start":35,"end":39,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":31,"cssClass":"pl-en"},{"start":32,"end":36,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":29,"cssClass":"pl-en"},{"start":30,"end":34,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":20,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":28,"cssClass":"pl-en"},{"start":29,"end":33,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":20,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":38,"cssClass":"pl-en"},{"start":39,"end":43,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":37,"cssClass":"pl-en"},{"start":38,"end":42,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":18,"cssClass":"pl-en"},{"start":19,"end":23,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[{"start":4,"end":13,"cssClass":"pl-en"},{"start":5,"end":13,"cssClass":"pl-s1"}],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":23,"cssClass":"pl-en"},{"start":24,"end":28,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":16,"cssClass":"pl-en"},{"start":17,"end":21,"cssClass":"pl-s1"}],[{"start":8,"end":13,"cssClass":"pl-en"},{"start":16,"end":24,"cssClass":"pl-en"}],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"}],[],[{"start":4,"end":7,"cssClass":"pl-k"},{"start":8,"end":34,"cssClass":"pl-en"},{"start":35,"end":39,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-s1"},{"start":49,"end":55,"cssClass":"pl-s1"},{"start":57,"end":77,"cssClass":"pl-s1"}],[{"start":8,"end":61,"cssClass":"pl-c"}],[{"start":8,"end":50,"cssClass":"pl-c"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":28,"cssClass":"pl-en"},{"start":29,"end":35,"cssClass":"pl-en"},{"start":36,"end":42,"cssClass":"pl-s1"}],[{"start":8,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":36,"cssClass":"pl-s1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":40,"end":41,"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":31,"cssClass":"pl-s1"},{"start":32,"end":49,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":23,"cssClass":"pl-s1"},{"start":24,"end":41,"cssClass":"pl-s1"},{"start":42,"end":54,"cssClass":"pl-s1"}],[],[{"start":8,"end":83,"cssClass":"pl-c"}],[{"start":8,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"}],[{"start":8,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"}],[],[{"start":8,"end":85,"cssClass":"pl-c"}],[{"start":8,"end":94,"cssClass":"pl-c"}],[{"start":8,"end":55,"cssClass":"pl-c"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":39,"cssClass":"pl-en"},{"start":40,"end":42,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":25,"cssClass":"pl-en"},{"start":26,"end":28,"cssClass":"pl-s1"},{"start":30,"end":37,"cssClass":"pl-v"},{"start":39,"end":42,"cssClass":"pl-c1"},{"start":43,"end":53,"cssClass":"pl-en"},{"start":54,"end":56,"cssClass":"pl-s1"},{"start":57,"end":63,"cssClass":"pl-s1"},{"start":64,"end":65,"cssClass":"pl-c1"},{"start":68,"end":77,"cssClass":"pl-v"}],[{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":28,"cssClass":"pl-v"},{"start":29,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":35,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-k"},{"start":17,"end":27,"cssClass":"pl-en"},{"start":28,"end":30,"cssClass":"pl-s1"},{"start":32,"end":39,"cssClass":"pl-v"},{"start":41,"end":44,"cssClass":"pl-c1"},{"start":45,"end":55,"cssClass":"pl-en"},{"start":56,"end":58,"cssClass":"pl-s1"},{"start":59,"end":65,"cssClass":"pl-s1"},{"start":66,"end":67,"cssClass":"pl-c1"},{"start":70,"end":79,"cssClass":"pl-v"}],[{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":28,"cssClass":"pl-v"},{"start":29,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":34,"end":35,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":21,"cssClass":"pl-s1"}],[],[{"start":8,"end":11,"cssClass":"pl-k"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":25,"cssClass":"pl-s1"},{"start":26,"end":51,"cssClass":"pl-en"},{"start":52,"end":64,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":27,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":27,"cssClass":"pl-s1"},{"start":28,"end":47,"cssClass":"pl-en"},{"start":48,"end":51,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-c1"},{"start":23,"end":33,"cssClass":"pl-en"},{"start":34,"end":36,"cssClass":"pl-s1"},{"start":38,"end":42,"cssClass":"pl-v"}],[{"start":20,"end":28,"cssClass":"pl-k"}],[{"start":16,"end":34,"cssClass":"pl-s1"},{"start":35,"end":38,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":42,"end":69,"cssClass":"pl-en"},{"start":70,"end":72,"cssClass":"pl-s1"}],[{"start":16,"end":34,"cssClass":"pl-s1"},{"start":35,"end":38,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-c1"},{"start":42,"end":48,"cssClass":"pl-s1"},{"start":49,"end":52,"cssClass":"pl-s1"},{"start":54,"end":66,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":23,"cssClass":"pl-v"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":8,"end":11,"cssClass":"pl-k"}],[{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":18,"cssClass":"pl-c1"},{"start":19,"end":25,"cssClass":"pl-s1"},{"start":26,"end":51,"cssClass":"pl-en"},{"start":52,"end":65,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":19,"cssClass":"pl-s1"},{"start":20,"end":22,"cssClass":"pl-c1"},{"start":23,"end":27,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":22,"cssClass":"pl-s1"},{"start":23,"end":26,"cssClass":"pl-c1"},{"start":27,"end":29,"cssClass":"pl-c1"},{"start":30,"end":48,"cssClass":"pl-s1"}],[{"start":20,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":31,"cssClass":"pl-s1"},{"start":32,"end":51,"cssClass":"pl-en"},{"start":52,"end":55,"cssClass":"pl-s1"}],[{"start":20,"end":22,"cssClass":"pl-k"},{"start":23,"end":26,"cssClass":"pl-c1"},{"start":27,"end":37,"cssClass":"pl-en"},{"start":38,"end":40,"cssClass":"pl-s1"},{"start":42,"end":46,"cssClass":"pl-v"}],[{"start":24,"end":32,"cssClass":"pl-k"}],[{"start":20,"end":38,"cssClass":"pl-s1"},{"start":39,"end":42,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":46,"end":73,"cssClass":"pl-en"},{"start":74,"end":76,"cssClass":"pl-s1"}],[{"start":20,"end":38,"cssClass":"pl-s1"},{"start":39,"end":42,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":46,"end":52,"cssClass":"pl-s1"},{"start":53,"end":56,"cssClass":"pl-s1"},{"start":58,"end":71,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":23,"cssClass":"pl-v"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":14,"cssClass":"pl-c1"},{"start":15,"end":33,"cssClass":"pl-s1"}],[{"start":12,"end":17,"cssClass":"pl-k"},{"start":18,"end":33,"cssClass":"pl-v"}],[{"start":16,"end":87,"cssClass":"pl-s"},{"start":58,"end":66,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-kos"},{"start":59,"end":65,"cssClass":"pl-s1"},{"start":65,"end":66,"cssClass":"pl-kos"}],[],[{"start":8,"end":73,"cssClass":"pl-c"}],[{"start":8,"end":68,"cssClass":"pl-c"}],[{"start":8,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":55,"cssClass":"pl-en"},{"start":56,"end":62,"cssClass":"pl-s1"},{"start":64,"end":76,"cssClass":"pl-s1"},{"start":77,"end":78,"cssClass":"pl-c1"}],[],[{"start":8,"end":30,"cssClass":"pl-c"}],[{"start":8,"end":57,"cssClass":"pl-c"}],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"}],[],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":30,"cssClass":"pl-en"},{"start":31,"end":35,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":35,"cssClass":"pl-v"},{"start":36,"end":40,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":30,"cssClass":"pl-v"}],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":28,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":43,"cssClass":"pl-v"},{"start":44,"end":52,"cssClass":"pl-s1"},{"start":53,"end":57,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":26,"cssClass":"pl-en"},{"start":27,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-s1"},{"start":37,"end":38,"cssClass":"pl-c1"},{"start":39,"end":40,"cssClass":"pl-c1"},{"start":42,"end":45,"cssClass":"pl-c1"},{"start":46,"end":53,"cssClass":"pl-en"},{"start":54,"end":57,"cssClass":"pl-s1"},{"start":58,"end":59,"cssClass":"pl-s1"},{"start":61,"end":64,"cssClass":"pl-c1"}],[],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":25,"cssClass":"pl-en"},{"start":26,"end":30,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"}],[{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":35,"cssClass":"pl-v"},{"start":36,"end":40,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":30,"cssClass":"pl-v"}],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":28,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-s1"},{"start":16,"end":17,"cssClass":"pl-c1"},{"start":18,"end":43,"cssClass":"pl-v"},{"start":44,"end":52,"cssClass":"pl-s1"},{"start":53,"end":57,"cssClass":"pl-s1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":26,"cssClass":"pl-en"},{"start":27,"end":30,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-s1"},{"start":34,"end":37,"cssClass":"pl-c1"},{"start":39,"end":42,"cssClass":"pl-c1"},{"start":43,"end":50,"cssClass":"pl-en"},{"start":51,"end":54,"cssClass":"pl-s1"},{"start":55,"end":56,"cssClass":"pl-s1"},{"start":58,"end":61,"cssClass":"pl-c1"}],[],[{"start":8,"end":77,"cssClass":"pl-c"}],[{"start":8,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"}],[{"start":12,"end":13,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-s1"},{"start":17,"end":20,"cssClass":"pl-k"},{"start":21,"end":22,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-s1"},{"start":26,"end":28,"cssClass":"pl-c1"},{"start":29,"end":47,"cssClass":"pl-s1"},{"start":48,"end":53,"cssClass":"pl-en"},{"start":56,"end":58,"cssClass":"pl-k"},{"start":59,"end":77,"cssClass":"pl-en"},{"start":78,"end":79,"cssClass":"pl-s1"}],[],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":20,"cssClass":"pl-s1"},{"start":22,"end":30,"cssClass":"pl-s1"},{"start":31,"end":33,"cssClass":"pl-c1"},{"start":34,"end":41,"cssClass":"pl-en"},{"start":42,"end":60,"cssClass":"pl-s1"},{"start":62,"end":83,"cssClass":"pl-s1"},{"start":84,"end":88,"cssClass":"pl-en"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":38,"cssClass":"pl-s1"},{"start":39,"end":42,"cssClass":"pl-en"},{"start":43,"end":51,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-c1"}],[{"start":16,"end":33,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":36,"end":39,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":31,"cssClass":"pl-en"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":39,"end":46,"cssClass":"pl-s"},{"start":48,"end":51,"cssClass":"pl-c1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":32,"cssClass":"pl-c1"}],[{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":31,"cssClass":"pl-c1"}],[{"start":16,"end":33,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":45,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":35,"cssClass":"pl-s1"},{"start":36,"end":38,"cssClass":"pl-c1"},{"start":39,"end":42,"cssClass":"pl-c1"},{"start":43,"end":47,"cssClass":"pl-c1"}],[{"start":16,"end":33,"cssClass":"pl-s1"},{"start":34,"end":36,"cssClass":"pl-c1"},{"start":37,"end":57,"cssClass":"pl-s1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":48,"cssClass":"pl-v"}],[{"start":16,"end":37,"cssClass":"pl-s1"},{"start":38,"end":46,"cssClass":"pl-s1"}],[{"start":16,"end":27,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":28,"end":36,"cssClass":"pl-s1"}],[{"start":16,"end":30,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":31,"end":48,"cssClass":"pl-s1"}],[],[{"start":12,"end":23,"cssClass":"pl-s1"},{"start":24,"end":30,"cssClass":"pl-en"},{"start":31,"end":41,"cssClass":"pl-s1"}],[],[{"start":8,"end":61,"cssClass":"pl-c"}],[{"start":8,"end":24,"cssClass":"pl-s1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":28,"end":29,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-s1"},{"start":33,"end":36,"cssClass":"pl-k"},{"start":37,"end":38,"cssClass":"pl-s1"},{"start":40,"end":41,"cssClass":"pl-s1"},{"start":42,"end":44,"cssClass":"pl-c1"},{"start":45,"end":63,"cssClass":"pl-s1"},{"start":64,"end":69,"cssClass":"pl-en"},{"start":72,"end":74,"cssClass":"pl-k"},{"start":75,"end":88,"cssClass":"pl-en"},{"start":89,"end":90,"cssClass":"pl-s1"}],[{"start":8,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"}],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"}],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":24,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":13,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":36,"cssClass":"pl-s1"},{"start":37,"end":42,"cssClass":"pl-en"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":26,"cssClass":"pl-c1"},{"start":27,"end":52,"cssClass":"pl-v"},{"start":53,"end":61,"cssClass":"pl-v"},{"start":62,"end":63,"cssClass":"pl-s1"},{"start":65,"end":69,"cssClass":"pl-s1"},{"start":71,"end":72,"cssClass":"pl-s1"},{"start":74,"end":98,"cssClass":"pl-c"}],[{"start":12,"end":48,"cssClass":"pl-c"}],[{"start":12,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":38,"cssClass":"pl-s1"},{"start":39,"end":42,"cssClass":"pl-en"},{"start":43,"end":44,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":20,"cssClass":"pl-s1"},{"start":21,"end":23,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-c1"}],[{"start":16,"end":33,"cssClass":"pl-s1"},{"start":34,"end":42,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":46,"end":49,"cssClass":"pl-c1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":21,"cssClass":"pl-s1"},{"start":22,"end":23,"cssClass":"pl-c1"},{"start":24,"end":31,"cssClass":"pl-en"},{"start":32,"end":37,"cssClass":"pl-s1"},{"start":39,"end":46,"cssClass":"pl-s"},{"start":48,"end":51,"cssClass":"pl-c1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":32,"cssClass":"pl-c1"}],[{"start":20,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":31,"cssClass":"pl-c1"}],[{"start":16,"end":33,"cssClass":"pl-s1"},{"start":34,"end":42,"cssClass":"pl-s1"},{"start":44,"end":45,"cssClass":"pl-c1"},{"start":46,"end":47,"cssClass":"pl-c1"},{"start":48,"end":49,"cssClass":"pl-c1"},{"start":50,"end":55,"cssClass":"pl-s1"}],[{"start":12,"end":60,"cssClass":"pl-c"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":38,"cssClass":"pl-v"},{"start":39,"end":40,"cssClass":"pl-s1"},{"start":41,"end":51,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":18,"cssClass":"pl-en"},{"start":19,"end":29,"cssClass":"pl-s1"},{"start":30,"end":40,"cssClass":"pl-s1"},{"start":42,"end":44,"cssClass":"pl-c1"},{"start":45,"end":46,"cssClass":"pl-c1"}],[{"start":16,"end":27,"cssClass":"pl-s1"},{"start":28,"end":36,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":50,"cssClass":"pl-s1"},{"start":51,"end":68,"cssClass":"pl-en"},{"start":70,"end":78,"cssClass":"pl-s1"}],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":27,"cssClass":"pl-s1"},{"start":28,"end":36,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":50,"cssClass":"pl-s1"}],[{"start":12,"end":94,"cssClass":"pl-c"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":22,"cssClass":"pl-en"},{"start":23,"end":31,"cssClass":"pl-s1"},{"start":33,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":41,"end":44,"cssClass":"pl-c1"},{"start":45,"end":46,"cssClass":"pl-s1"},{"start":47,"end":49,"cssClass":"pl-c1"},{"start":50,"end":71,"cssClass":"pl-s1"}],[{"start":16,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":29,"cssClass":"pl-s1"}],[{"start":8,"end":97,"cssClass":"pl-c"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"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":12,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":34,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":40,"end":60,"cssClass":"pl-s1"},{"start":61,"end":64,"cssClass":"pl-k"},{"start":65,"end":66,"cssClass":"pl-s1"},{"start":68,"end":69,"cssClass":"pl-s1"},{"start":70,"end":72,"cssClass":"pl-c1"},{"start":73,"end":90,"cssClass":"pl-s1"},{"start":91,"end":96,"cssClass":"pl-en"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":28,"cssClass":"pl-s1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":28,"end":46,"cssClass":"pl-s1"}],[{"start":16,"end":18,"cssClass":"pl-k"},{"start":19,"end":29,"cssClass":"pl-en"},{"start":30,"end":39,"cssClass":"pl-s1"},{"start":41,"end":47,"cssClass":"pl-v"},{"start":49,"end":52,"cssClass":"pl-c1"},{"start":53,"end":61,"cssClass":"pl-s1"},{"start":62,"end":64,"cssClass":"pl-c1"},{"start":65,"end":70,"cssClass":"pl-s"}],[{"start":20,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":60,"cssClass":"pl-v"}],[{"start":24,"end":33,"cssClass":"pl-s1"}],[{"start":24,"end":35,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":36,"end":44,"cssClass":"pl-s1"}],[{"start":24,"end":38,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":39,"end":56,"cssClass":"pl-s1"}],[{"start":24,"end":38,"cssClass":"pl-s1"},{"start":38,"end":39,"cssClass":"pl-c1"},{"start":39,"end":43,"cssClass":"pl-c1"}],[],[{"start":20,"end":31,"cssClass":"pl-s1"},{"start":32,"end":38,"cssClass":"pl-en"},{"start":40,"end":42,"cssClass":"pl-s1"},{"start":43,"end":44,"cssClass":"pl-c1"},{"start":45,"end":46,"cssClass":"pl-c1"},{"start":48,"end":61,"cssClass":"pl-v"},{"start":62,"end":76,"cssClass":"pl-s1"},{"start":77,"end":81,"cssClass":"pl-s1"},{"start":82,"end":92,"cssClass":"pl-s1"}],[{"start":16,"end":20,"cssClass":"pl-k"}],[{"start":20,"end":34,"cssClass":"pl-s1"},{"start":35,"end":36,"cssClass":"pl-c1"},{"start":37,"end":41,"cssClass":"pl-c1"}],[{"start":16,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":29,"end":41,"cssClass":"pl-v"}],[{"start":20,"end":34,"cssClass":"pl-s1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":35,"end":52,"cssClass":"pl-s1"}],[{"start":20,"end":31,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":32,"end":40,"cssClass":"pl-s1"}],[{"start":20,"end":31,"cssClass":"pl-s1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":32,"end":43,"cssClass":"pl-s1"}],[{"start":20,"end":36,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":37,"end":51,"cssClass":"pl-s1"}],[],[{"start":16,"end":27,"cssClass":"pl-s1"},{"start":28,"end":34,"cssClass":"pl-en"},{"start":35,"end":45,"cssClass":"pl-s1"}],[],[{"start":8,"end":12,"cssClass":"pl-s1"},{"start":13,"end":30,"cssClass":"pl-s1"},{"start":31,"end":43,"cssClass":"pl-s1"},{"start":45,"end":46,"cssClass":"pl-c1"},{"start":47,"end":58,"cssClass":"pl-s1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":26,"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":25,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-c1"},{"start":29,"end":36,"cssClass":"pl-s1"}],[{"start":8,"end":69,"cssClass":"pl-c"}],[{"start":8,"end":72,"cssClass":"pl-c"}],[{"start":8,"end":74,"cssClass":"pl-c"}],[{"start":8,"end":17,"cssClass":"pl-c"}],[{"start":8,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":38,"cssClass":"pl-en"},{"start":39,"end":43,"cssClass":"pl-s1"},{"start":45,"end":68,"cssClass":"pl-s"},{"start":70,"end":73,"cssClass":"pl-c1"}],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":29,"cssClass":"pl-s1"},{"start":30,"end":43,"cssClass":"pl-s"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":30,"cssClass":"pl-s1"},{"start":31,"end":45,"cssClass":"pl-s"},{"start":47,"end":48,"cssClass":"pl-c1"}],[{"start":8,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":35,"cssClass":"pl-s1"},{"start":36,"end":55,"cssClass":"pl-s"}],[{"start":8,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":32,"cssClass":"pl-s1"},{"start":33,"end":49,"cssClass":"pl-s"}],[{"start":8,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":30,"cssClass":"pl-s1"},{"start":31,"end":54,"cssClass":"pl-s"}],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":29,"cssClass":"pl-s1"},{"start":30,"end":52,"cssClass":"pl-s"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":24,"cssClass":"pl-s1"},{"start":25,"end":39,"cssClass":"pl-s"},{"start":41,"end":42,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-s1"},{"start":15,"end":16,"cssClass":"pl-c1"},{"start":17,"end":24,"cssClass":"pl-s1"},{"start":25,"end":33,"cssClass":"pl-s"}],[],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":18,"cssClass":"pl-s1"},{"start":19,"end":24,"cssClass":"pl-s1"},{"start":25,"end":27,"cssClass":"pl-c1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":32,"end":33,"cssClass":"pl-c1"}],[{"start":12,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":56,"cssClass":"pl-v"},{"start":57,"end":68,"cssClass":"pl-s1"},{"start":70,"end":76,"cssClass":"pl-s1"}],[{"start":12,"end":20,"cssClass":"pl-s1"},{"start":21,"end":22,"cssClass":"pl-c1"},{"start":23,"end":36,"cssClass":"pl-s1"},{"start":37,"end":54,"cssClass":"pl-en"},{"start":55,"end":62,"cssClass":"pl-s1"},{"start":64,"end":70,"cssClass":"pl-s1"},{"start":71,"end":72,"cssClass":"pl-c1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":23,"cssClass":"pl-s1"},{"start":24,"end":26,"cssClass":"pl-c1"},{"start":27,"end":31,"cssClass":"pl-c1"}],[{"start":16,"end":22,"cssClass":"pl-k"},{"start":23,"end":27,"cssClass":"pl-c1"}],[{"start":12,"end":18,"cssClass":"pl-k"},{"start":19,"end":32,"cssClass":"pl-s1"},{"start":33,"end":54,"cssClass":"pl-en"},{"start":55,"end":63,"cssClass":"pl-s1"}],[{"start":8,"end":12,"cssClass":"pl-k"},{"start":13,"end":20,"cssClass":"pl-s1"},{"start":21,"end":26,"cssClass":"pl-s1"},{"start":27,"end":29,"cssClass":"pl-c1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":34,"end":35,"cssClass":"pl-c1"}],[{"start":12,"end":62,"cssClass":"pl-c"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":21,"cssClass":"pl-s1"},{"start":22,"end":24,"cssClass":"pl-c1"},{"start":25,"end":28,"cssClass":"pl-c1"},{"start":29,"end":33,"cssClass":"pl-c1"}],[{"start":16,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":63,"cssClass":"pl-en"}],[{"start":20,"end":26,"cssClass":"pl-s1"},{"start":28,"end":34,"cssClass":"pl-s1"},{"start":36,"end":56,"cssClass":"pl-s1"}],[],[{"start":12,"end":16,"cssClass":"pl-k"}],[{"start":16,"end":28,"cssClass":"pl-s1"},{"start":29,"end":30,"cssClass":"pl-c1"},{"start":31,"end":62,"cssClass":"pl-en"}],[{"start":20,"end":31,"cssClass":"pl-s1"},{"start":33,"end":47,"cssClass":"pl-s1"},{"start":49,"end":69,"cssClass":"pl-s1"}],[],[{"start":16,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":33,"end":45,"cssClass":"pl-s1"},{"start":47,"end":49,"cssClass":"pl-k"},{"start":50,"end":62,"cssClass":"pl-s1"},{"start":63,"end":65,"cssClass":"pl-c1"},{"start":66,"end":69,"cssClass":"pl-c1"},{"start":70,"end":74,"cssClass":"pl-c1"},{"start":75,"end":79,"cssClass":"pl-k"}],[{"start":12,"end":67,"cssClass":"pl-c"}],[{"start":12,"end":26,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"}],[{"start":12,"end":15,"cssClass":"pl-k"},{"start":16,"end":28,"cssClass":"pl-s1"},{"start":29,"end":31,"cssClass":"pl-c1"},{"start":32,"end":45,"cssClass":"pl-s1"}],[{"start":16,"end":35,"cssClass":"pl-s1"},{"start":36,"end":37,"cssClass":"pl-c1"},{"start":38,"end":58,"cssClass":"pl-en"}],[{"start":20,"end":32,"cssClass":"pl-s1"},{"start":34,"end":40,"cssClass":"pl-s1"},{"start":42,"end":59,"cssClass":"pl-s1"},{"start":61,"end":73,"cssClass":"pl-s1"},{"start":75,"end":87,"cssClass":"pl-s1"},{"start":89,"end":100,"cssClass":"pl-s1"}],[],[{"start":16,"end":29,"cssClass":"pl-s1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":32,"end":36,"cssClass":"pl-s1"},{"start":37,"end":47,"cssClass":"pl-en"}],[{"start":20,"end":27,"cssClass":"pl-s1"},{"start":29,"end":41,"cssClass":"pl-s1"},{"start":43,"end":62,"cssClass":"pl-s1"},{"start":64,"end":84,"cssClass":"pl-s1"}],[],[{"start":16,"end":30,"cssClass":"pl-s1"},{"start":31,"end":37,"cssClass":"pl-en"},{"start":38,"end":51,"cssClass":"pl-s1"}],[{"start":12,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":31,"cssClass":"pl-en"}],[{"start":16,"end":30,"cssClass":"pl-s1"}],[{"start":16,"end":19,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":20,"end":27,"cssClass":"pl-en"},{"start":28,"end":34,"cssClass":"pl-s1"},{"start":36,"end":42,"cssClass":"pl-s1"},{"start":42,"end":43,"cssClass":"pl-c1"},{"start":43,"end":49,"cssClass":"pl-s1"},{"start":51,"end":57,"cssClass":"pl-s1"},{"start":57,"end":58,"cssClass":"pl-c1"},{"start":58,"end":63,"cssClass":"pl-en"},{"start":64,"end":70,"cssClass":"pl-s1"}],[{"start":16,"end":23,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":24,"end":28,"cssClass":"pl-c1"}],[],[{"start":8,"end":12,"cssClass":"pl-k"}],[{"start":12,"end":16,"cssClass":"pl-k"},{"start":17,"end":23,"cssClass":"pl-s1"},{"start":24,"end":33,"cssClass":"pl-s1"},{"start":34,"end":41,"cssClass":"pl-s1"},{"start":42,"end":45,"cssClass":"pl-s1"},{"start":46,"end":52,"cssClass":"pl-k"},{"start":56,"end":87,"cssClass":"pl-c"}],[{"start":16,"end":32,"cssClass":"pl-s1"}],[],[],[{"start":12,"end":65,"cssClass":"pl-c"}],[{"start":12,"end":25,"cssClass":"pl-s1"},{"start":26,"end":27,"cssClass":"pl-c1"},{"start":28,"end":44,"cssClass":"pl-en"},{"start":45,"end":52,"cssClass":"pl-s1"},{"start":54,"end":56,"cssClass":"pl-k"},{"start":58,"end":69,"cssClass":"pl-s1"},{"start":70,"end":72,"cssClass":"pl-c1"},{"start":73,"end":79,"cssClass":"pl-s1"},{"start":81,"end":85,"cssClass":"pl-k"},{"start":86,"end":90,"cssClass":"pl-c1"}],[],[{"start":8,"end":17,"cssClass":"pl-s1"},{"start":18,"end":19,"cssClass":"pl-c1"},{"start":20,"end":34,"cssClass":"pl-en"},{"start":35,"end":48,"cssClass":"pl-s1"},{"start":50,"end":52,"cssClass":"pl-k"},{"start":53,"end":66,"cssClass":"pl-s1"},{"start":67,"end":69,"cssClass":"pl-c1"},{"start":70,"end":73,"cssClass":"pl-c1"},{"start":74,"end":78,"cssClass":"pl-c1"},{"start":79,"end":83,"cssClass":"pl-k"},{"start":84,"end":88,"cssClass":"pl-c1"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":24,"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":32,"cssClass":"pl-s1"},{"start":34,"end":46,"cssClass":"pl-s1"},{"start":48,"end":67,"cssClass":"pl-s1"},{"start":69,"end":89,"cssClass":"pl-s1"}],[{"start":8,"end":19,"cssClass":"pl-s1"},{"start":20,"end":21,"cssClass":"pl-c1"},{"start":22,"end":25,"cssClass":"pl-c1"},{"start":26,"end":46,"cssClass":"pl-s1"},{"start":47,"end":49,"cssClass":"pl-c1"},{"start":50,"end":53,"cssClass":"pl-c1"}],[{"start":8,"end":18,"cssClass":"pl-s1"},{"start":19,"end":20,"cssClass":"pl-c1"},{"start":21,"end":33,"cssClass":"pl-en"},{"start":34,"end":41,"cssClass":"pl-s1"},{"start":43,"end":54,"cssClass":"pl-s1"},{"start":54,"end":55,"cssClass":"pl-c1"},{"start":55,"end":66,"cssClass":"pl-s1"}],[],[{"start":8,"end":92,"cssClass":"pl-c"}],[{"start":8,"end":80,"cssClass":"pl-c"}],[{"start":8,"end":91,"cssClass":"pl-c"}],[{"start":8,"end":23,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":26,"end":30,"cssClass":"pl-c1"}],[{"start":8,"end":11,"cssClass":"pl-k"},{"start":12,"end":16,"cssClass":"pl-s1"},{"start":17,"end":19,"cssClass":"pl-c1"},{"start":20,"end":30,"cssClass":"pl-s1"}],[{"start":12,"end":14,"cssClass":"pl-k"},{"start":15,"end":19,"cssClass":"pl-s1"},{"start":20,"end":29,"cssClass":"pl-s1"},{"start":30,"end":40,"cssClass":"pl-s1"},{"start":41,"end":43,"cssClass":"pl-c1"},{"start":44,"end":45,"cssClass":"pl-c1"}],[{"start":16,"end":31,"cssClass":"pl-s1"},{"start":32,"end":33,"cssClass":"pl-c1"},{"start":35,"end":45,"cssClass":"pl-s1"},{"start":46,"end":54,"cssClass":"pl-en"},{"start":55,"end":56,"cssClass":"pl-s1"},{"start":58,"end":63,"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":77,"cssClass":"pl-s1"},{"start":78,"end":84,"cssClass":"pl-s1"}],[{"start":8,"end":10,"cssClass":"pl-k"},{"start":11,"end":30,"cssClass":"pl-s1"},{"start":31,"end":34,"cssClass":"pl-c1"},{"start":35,"end":50,"cssClass":"pl-s1"},{"start":51,"end":53,"cssClass":"pl-c1"},{"start":54,"end":73,"cssClass":"pl-s1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":33,"cssClass":"pl-en"},{"start":34,"end":41,"cssClass":"pl-s1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":24,"end":25,"cssClass":"pl-c1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":31,"end":32,"cssClass":"pl-c1"},{"start":33,"end":43,"cssClass":"pl-s1"},{"start":45,"end":46,"cssClass":"pl-c1"},{"start":48,"end":49,"cssClass":"pl-c1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":27,"end":28,"cssClass":"pl-c1"},{"start":30,"end":31,"cssClass":"pl-c1"},{"start":34,"end":35,"cssClass":"pl-c1"},{"start":36,"end":46,"cssClass":"pl-s1"},{"start":51,"end":52,"cssClass":"pl-c1"},{"start":54,"end":55,"cssClass":"pl-c1"}],[{"start":12,"end":22,"cssClass":"pl-s1"},{"start":23,"end":24,"cssClass":"pl-c1"},{"start":25,"end":37,"cssClass":"pl-en"},{"start":38,"end":48,"cssClass":"pl-s1"},{"start":50,"end":61,"cssClass":"pl-s1"},{"start":61,"end":62,"cssClass":"pl-c1"},{"start":62,"end":73,"cssClass":"pl-s1"},{"start":75,"end":87,"cssClass":"pl-en"}],[{"start":8,"end":14,"cssClass":"pl-k"},{"start":15,"end":25,"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":"unitary_synthesis.py","displayUrl":"https://github.com/Qiskit/qiskit/blob/main/qiskit/transpiler/passes/synthesis/unitary_synthesis.py?raw=true","headerInfo":{"blobSize":"36.9 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":"5d9ba1e","siteNavLoginPath":"/login?return_to=https%3A%2F%2Fgithub.com%2FQiskit%2Fqiskit%2Fblob%2Fmain%2Fqiskit%2Ftranspiler%2Fpasses%2Fsynthesis%2Funitary_synthesis.py","isCSV":false,"isRichtext":false,"toc":null,"lineInfo":{"truncatedLoc":"905","truncatedSloc":"810"},"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/synthesis/unitary_synthesis.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/synthesis/unitary_synthesis.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":"KAK_GATE_NAMES","kind":"constant","ident_start":2150,"ident_end":2164,"extent_start":2150,"extent_end":2350,"fully_qualified_name":"KAK_GATE_NAMES","ident_utf16":{"start":{"line_number":61,"utf16_col":0},"end":{"line_number":61,"utf16_col":14}},"extent_utf16":{"start":{"line_number":61,"utf16_col":0},"end":{"line_number":68,"utf16_col":1}}},{"name":"GateNameToGate","kind":"constant","ident_start":2352,"ident_end":2366,"extent_start":2352,"extent_end":2401,"fully_qualified_name":"GateNameToGate","ident_utf16":{"start":{"line_number":70,"utf16_col":0},"end":{"line_number":70,"utf16_col":14}},"extent_utf16":{"start":{"line_number":70,"utf16_col":0},"end":{"line_number":70,"utf16_col":49}}},{"name":"_choose_kak_gate","kind":"function","ident_start":2408,"ident_end":2424,"extent_start":2404,"extent_end":2701,"fully_qualified_name":"_choose_kak_gate","ident_utf16":{"start":{"line_number":73,"utf16_col":4},"end":{"line_number":73,"utf16_col":20}},"extent_utf16":{"start":{"line_number":73,"utf16_col":0},"end":{"line_number":80,"utf16_col":19}}},{"name":"_choose_euler_basis","kind":"function","ident_start":2708,"ident_end":2727,"extent_start":2704,"extent_end":3028,"fully_qualified_name":"_choose_euler_basis","ident_utf16":{"start":{"line_number":83,"utf16_col":4},"end":{"line_number":83,"utf16_col":23}},"extent_utf16":{"start":{"line_number":83,"utf16_col":0},"end":{"line_number":92,"utf16_col":14}}},{"name":"_find_matching_euler_bases","kind":"function","ident_start":3035,"ident_end":3061,"extent_start":3031,"extent_end":3438,"fully_qualified_name":"_find_matching_euler_bases","ident_utf16":{"start":{"line_number":95,"utf16_col":4},"end":{"line_number":95,"utf16_col":30}},"extent_utf16":{"start":{"line_number":95,"utf16_col":0},"end":{"line_number":102,"utf16_col":28}}},{"name":"_choose_bases","kind":"function","ident_start":3445,"ident_end":3458,"extent_start":3441,"extent_end":3945,"fully_qualified_name":"_choose_bases","ident_utf16":{"start":{"line_number":105,"utf16_col":4},"end":{"line_number":105,"utf16_col":17}},"extent_utf16":{"start":{"line_number":105,"utf16_col":0},"end":{"line_number":120,"utf16_col":20}}},{"name":"_decomposer_2q_from_basis_gates","kind":"function","ident_start":3952,"ident_end":3983,"extent_start":3948,"extent_end":4813,"fully_qualified_name":"_decomposer_2q_from_basis_gates","ident_utf16":{"start":{"line_number":123,"utf16_col":4},"end":{"line_number":123,"utf16_col":35}},"extent_utf16":{"start":{"line_number":123,"utf16_col":0},"end":{"line_number":143,"utf16_col":23}}},{"name":"_error","kind":"function","ident_start":4820,"ident_end":4826,"extent_start":4816,"extent_end":6666,"fully_qualified_name":"_error","ident_utf16":{"start":{"line_number":146,"utf16_col":4},"end":{"line_number":146,"utf16_col":10}},"extent_utf16":{"start":{"line_number":146,"utf16_col":0},"end":{"line_number":190,"utf16_col":39}}},{"name":"_preferred_direction","kind":"function","ident_start":6673,"ident_end":6693,"extent_start":6669,"extent_end":9895,"fully_qualified_name":"_preferred_direction","ident_utf16":{"start":{"line_number":193,"utf16_col":4},"end":{"line_number":193,"utf16_col":24}},"extent_utf16":{"start":{"line_number":193,"utf16_col":0},"end":{"line_number":268,"utf16_col":30}}},{"name":"UnitarySynthesis","kind":"class","ident_start":9904,"ident_end":9920,"extent_start":9898,"extent_end":21914,"fully_qualified_name":"UnitarySynthesis","ident_utf16":{"start":{"line_number":271,"utf16_col":6},"end":{"line_number":271,"utf16_col":22}},"extent_utf16":{"start":{"line_number":271,"utf16_col":0},"end":{"line_number":510,"utf16_col":18}}},{"name":"__init__","kind":"function","ident_start":10010,"ident_end":10018,"extent_start":10006,"extent_end":15637,"fully_qualified_name":"UnitarySynthesis.__init__","ident_utf16":{"start":{"line_number":274,"utf16_col":8},"end":{"line_number":274,"utf16_col":16}},"extent_utf16":{"start":{"line_number":274,"utf16_col":4},"end":{"line_number":376,"utf16_col":95}}},{"name":"run","kind":"function","ident_start":15647,"ident_end":15650,"extent_start":15643,"extent_end":19885,"fully_qualified_name":"UnitarySynthesis.run","ident_utf16":{"start":{"line_number":378,"utf16_col":8},"end":{"line_number":378,"utf16_col":11}},"extent_utf16":{"start":{"line_number":378,"utf16_col":4},"end":{"line_number":463,"utf16_col":9}}},{"name":"_run_main_loop","kind":"function","ident_start":19895,"ident_end":19909,"extent_start":19891,"extent_end":21914,"fully_qualified_name":"UnitarySynthesis._run_main_loop","ident_utf16":{"start":{"line_number":465,"utf16_col":8},"end":{"line_number":465,"utf16_col":22}},"extent_utf16":{"start":{"line_number":465,"utf16_col":4},"end":{"line_number":510,"utf16_col":18}}},{"name":"_build_gate_lengths","kind":"function","ident_start":21921,"ident_end":21940,"extent_start":21917,"extent_end":22870,"fully_qualified_name":"_build_gate_lengths","ident_utf16":{"start":{"line_number":513,"utf16_col":4},"end":{"line_number":513,"utf16_col":23}},"extent_utf16":{"start":{"line_number":513,"utf16_col":0},"end":{"line_number":536,"utf16_col":23}}},{"name":"_build_gate_errors","kind":"function","ident_start":22877,"ident_end":22895,"extent_start":22873,"extent_end":23805,"fully_qualified_name":"_build_gate_errors","ident_utf16":{"start":{"line_number":539,"utf16_col":4},"end":{"line_number":539,"utf16_col":22}},"extent_utf16":{"start":{"line_number":539,"utf16_col":0},"end":{"line_number":562,"utf16_col":22}}},{"name":"_build_gate_lengths_by_qubit","kind":"function","ident_start":23812,"ident_end":23840,"extent_start":23808,"extent_end":25195,"fully_qualified_name":"_build_gate_lengths_by_qubit","ident_utf16":{"start":{"line_number":565,"utf16_col":4},"end":{"line_number":565,"utf16_col":32}},"extent_utf16":{"start":{"line_number":565,"utf16_col":0},"end":{"line_number":595,"utf16_col":23}}},{"name":"_build_gate_errors_by_qubit","kind":"function","ident_start":25202,"ident_end":25229,"extent_start":25198,"extent_end":26533,"fully_qualified_name":"_build_gate_errors_by_qubit","ident_utf16":{"start":{"line_number":598,"utf16_col":4},"end":{"line_number":598,"utf16_col":31}},"extent_utf16":{"start":{"line_number":598,"utf16_col":0},"end":{"line_number":628,"utf16_col":22}}},{"name":"DefaultUnitarySynthesis","kind":"class","ident_start":26542,"ident_end":26565,"extent_start":26536,"extent_end":37819,"fully_qualified_name":"DefaultUnitarySynthesis","ident_utf16":{"start":{"line_number":631,"utf16_col":6},"end":{"line_number":631,"utf16_col":29}},"extent_utf16":{"start":{"line_number":631,"utf16_col":0},"end":{"line_number":904,"utf16_col":25}}},{"name":"supports_basis_gates","kind":"function","ident_start":26669,"ident_end":26689,"extent_start":26665,"extent_end":26716,"fully_qualified_name":"DefaultUnitarySynthesis.supports_basis_gates","ident_utf16":{"start":{"line_number":635,"utf16_col":8},"end":{"line_number":635,"utf16_col":28}},"extent_utf16":{"start":{"line_number":635,"utf16_col":4},"end":{"line_number":636,"utf16_col":19}}},{"name":"supports_coupling_map","kind":"function","ident_start":26740,"ident_end":26761,"extent_start":26736,"extent_end":26788,"fully_qualified_name":"DefaultUnitarySynthesis.supports_coupling_map","ident_utf16":{"start":{"line_number":639,"utf16_col":8},"end":{"line_number":639,"utf16_col":29}},"extent_utf16":{"start":{"line_number":639,"utf16_col":4},"end":{"line_number":640,"utf16_col":19}}},{"name":"supports_natural_direction","kind":"function","ident_start":26812,"ident_end":26838,"extent_start":26808,"extent_end":26865,"fully_qualified_name":"DefaultUnitarySynthesis.supports_natural_direction","ident_utf16":{"start":{"line_number":643,"utf16_col":8},"end":{"line_number":643,"utf16_col":34}},"extent_utf16":{"start":{"line_number":643,"utf16_col":4},"end":{"line_number":644,"utf16_col":19}}},{"name":"supports_pulse_optimize","kind":"function","ident_start":26889,"ident_end":26912,"extent_start":26885,"extent_end":26939,"fully_qualified_name":"DefaultUnitarySynthesis.supports_pulse_optimize","ident_utf16":{"start":{"line_number":647,"utf16_col":8},"end":{"line_number":647,"utf16_col":31}},"extent_utf16":{"start":{"line_number":647,"utf16_col":4},"end":{"line_number":648,"utf16_col":19}}},{"name":"supports_gate_lengths","kind":"function","ident_start":26963,"ident_end":26984,"extent_start":26959,"extent_end":27012,"fully_qualified_name":"DefaultUnitarySynthesis.supports_gate_lengths","ident_utf16":{"start":{"line_number":651,"utf16_col":8},"end":{"line_number":651,"utf16_col":29}},"extent_utf16":{"start":{"line_number":651,"utf16_col":4},"end":{"line_number":652,"utf16_col":20}}},{"name":"supports_gate_errors","kind":"function","ident_start":27036,"ident_end":27056,"extent_start":27032,"extent_end":27084,"fully_qualified_name":"DefaultUnitarySynthesis.supports_gate_errors","ident_utf16":{"start":{"line_number":655,"utf16_col":8},"end":{"line_number":655,"utf16_col":28}},"extent_utf16":{"start":{"line_number":655,"utf16_col":4},"end":{"line_number":656,"utf16_col":20}}},{"name":"supports_gate_lengths_by_qubit","kind":"function","ident_start":27108,"ident_end":27138,"extent_start":27104,"extent_end":27165,"fully_qualified_name":"DefaultUnitarySynthesis.supports_gate_lengths_by_qubit","ident_utf16":{"start":{"line_number":659,"utf16_col":8},"end":{"line_number":659,"utf16_col":38}},"extent_utf16":{"start":{"line_number":659,"utf16_col":4},"end":{"line_number":660,"utf16_col":19}}},{"name":"supports_gate_errors_by_qubit","kind":"function","ident_start":27189,"ident_end":27218,"extent_start":27185,"extent_end":27245,"fully_qualified_name":"DefaultUnitarySynthesis.supports_gate_errors_by_qubit","ident_utf16":{"start":{"line_number":663,"utf16_col":8},"end":{"line_number":663,"utf16_col":37}},"extent_utf16":{"start":{"line_number":663,"utf16_col":4},"end":{"line_number":664,"utf16_col":19}}},{"name":"max_qubits","kind":"function","ident_start":27269,"ident_end":27279,"extent_start":27265,"extent_end":27306,"fully_qualified_name":"DefaultUnitarySynthesis.max_qubits","ident_utf16":{"start":{"line_number":667,"utf16_col":8},"end":{"line_number":667,"utf16_col":18}},"extent_utf16":{"start":{"line_number":667,"utf16_col":4},"end":{"line_number":668,"utf16_col":19}}},{"name":"min_qubits","kind":"function","ident_start":27330,"ident_end":27340,"extent_start":27326,"extent_end":27367,"fully_qualified_name":"DefaultUnitarySynthesis.min_qubits","ident_utf16":{"start":{"line_number":671,"utf16_col":8},"end":{"line_number":671,"utf16_col":18}},"extent_utf16":{"start":{"line_number":671,"utf16_col":4},"end":{"line_number":672,"utf16_col":19}}},{"name":"supported_bases","kind":"function","ident_start":27391,"ident_end":27406,"extent_start":27387,"extent_end":27433,"fully_qualified_name":"DefaultUnitarySynthesis.supported_bases","ident_utf16":{"start":{"line_number":675,"utf16_col":8},"end":{"line_number":675,"utf16_col":23}},"extent_utf16":{"start":{"line_number":675,"utf16_col":4},"end":{"line_number":676,"utf16_col":19}}},{"name":"supports_target","kind":"function","ident_start":27457,"ident_end":27472,"extent_start":27453,"extent_end":27499,"fully_qualified_name":"DefaultUnitarySynthesis.supports_target","ident_utf16":{"start":{"line_number":679,"utf16_col":8},"end":{"line_number":679,"utf16_col":23}},"extent_utf16":{"start":{"line_number":679,"utf16_col":4},"end":{"line_number":680,"utf16_col":19}}},{"name":"__init__","kind":"function","ident_start":27509,"ident_end":27517,"extent_start":27505,"extent_end":27587,"fully_qualified_name":"DefaultUnitarySynthesis.__init__","ident_utf16":{"start":{"line_number":682,"utf16_col":8},"end":{"line_number":682,"utf16_col":16}},"extent_utf16":{"start":{"line_number":682,"utf16_col":4},"end":{"line_number":684,"utf16_col":35}}},{"name":"_decomposer_2q_from_target","kind":"function","ident_start":27597,"ident_end":27623,"extent_start":27593,"extent_end":34072,"fully_qualified_name":"DefaultUnitarySynthesis._decomposer_2q_from_target","ident_utf16":{"start":{"line_number":686,"utf16_col":8},"end":{"line_number":686,"utf16_col":34}},"extent_utf16":{"start":{"line_number":686,"utf16_col":4},"end":{"line_number":828,"utf16_col":26}}},{"name":"_replace_parameterized_gate","kind":"function","ident_start":28376,"ident_end":28403,"extent_start":28372,"extent_end":28666,"fully_qualified_name":"DefaultUnitarySynthesis._replace_parameterized_gate","ident_utf16":{"start":{"line_number":701,"utf16_col":12},"end":{"line_number":701,"utf16_col":39}},"extent_utf16":{"start":{"line_number":701,"utf16_col":8},"end":{"line_number":706,"utf16_col":21}}},{"name":"is_supercontrolled","kind":"function","ident_start":30102,"ident_end":30120,"extent_start":30098,"extent_end":30372,"fully_qualified_name":"DefaultUnitarySynthesis.is_supercontrolled","ident_utf16":{"start":{"line_number":741,"utf16_col":12},"end":{"line_number":741,"utf16_col":30}},"extent_utf16":{"start":{"line_number":741,"utf16_col":8},"end":{"line_number":747,"utf16_col":65}}},{"name":"is_controlled","kind":"function","ident_start":30386,"ident_end":30399,"extent_start":30382,"extent_end":30648,"fully_qualified_name":"DefaultUnitarySynthesis.is_controlled","ident_utf16":{"start":{"line_number":749,"utf16_col":12},"end":{"line_number":749,"utf16_col":25}},"extent_utf16":{"start":{"line_number":749,"utf16_col":8},"end":{"line_number":755,"utf16_col":62}}},{"name":"run","kind":"function","ident_start":34082,"ident_end":34085,"extent_start":34078,"extent_end":36797,"fully_qualified_name":"DefaultUnitarySynthesis.run","ident_utf16":{"start":{"line_number":830,"utf16_col":8},"end":{"line_number":830,"utf16_col":11}},"extent_utf16":{"start":{"line_number":830,"utf16_col":4},"end":{"line_number":886,"utf16_col":24}}},{"name":"_synth_su4","kind":"function","ident_start":36807,"ident_end":36817,"extent_start":36803,"extent_end":37819,"fully_qualified_name":"DefaultUnitarySynthesis._synth_su4","ident_utf16":{"start":{"line_number":888,"utf16_col":8},"end":{"line_number":888,"utf16_col":18}},"extent_utf16":{"start":{"line_number":888,"utf16_col":4},"end":{"line_number":904,"utf16_col":25}}}]}},"copilotInfo":null,"copilotAccessAllowed":false,"csrf_tokens":{"/Qiskit/qiskit/branches":{"post":"M_LnuZP8DVqlAngS2Rn6TSZ9HAlsBeaYXqc9lOtlvO-s2LERPHlYYuhz1Qo8TjLVPuRh_mTESlR8iCa_OjGB9w"},"/repos/preferences":{"post":"gvUXhs1GNxnncpZbOFFLJ7piEMVnl82M2GG38ZrfLOjc_8oGSvhLGBLR8vkbLCy5iDp38ELcN8-ta-1xIerz0w"}}},"title":"qiskit/qiskit/transpiler/passes/synthesis/unitary_synthesis.py at main ยท Qiskit/qiskit"}