Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT
pragma solidity =0.8.20;

import "@openzeppelin/contracts/access/Ownable.sol";
import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
import "@openzeppelin/contracts/utils/cryptography/ECDSA.sol";
import { AbstractDAO } from "./AbstractDAO.sol";

contract WrappedLYX is ERC20, AbstractDAO {
    event Unwrapped(
        address indexed recipient,
        uint256 indexed amount,
        uint256 indexed nonce
    );

    uint256 public _chainID;
    address internal _contractAddress;

    constructor(uint256 thresholdLevel) ERC20("Wrapped LYX", "wLYX") Ownable(msg.sender) {
        _thresholdLevel = thresholdLevel;
        _threshold = thresholdLevel;
        _operator = owner();
        _queueOrder = 1;
        _votesSent = 0;
        _votingInProgress = 0;
        _bps = 6666;
        _requiredVoteThreshold = 2 * _bps;
        _authorizedAddressesCount = 2;
        uint256 id;
        assembly {
            id := chainid()
        }
        _chainID = id;
        _contractAddress = address(this);
    }

    function mint(
        uint256 value,
        uint256 bridgeNonce,
        address recipient,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external {
        require(_nonces[bridgeNonce] == false, "Nonce already used");
        require(
            ECDSA.recover(
                keccak256(abi.encodePacked(value, recipient, bridgeNonce, _chainID, _contractAddress)),
                v,
                r,
                s
            ) == _operator,
            "Signature verification failure"
        );
        require(_threshold >= value, "Value exceeds current threshold");
        _nonces[bridgeNonce] = true;
        _mint(recipient, value);
        _threshold -= value;
    }

    function burn(uint256 value) external {
        burnFor(msg.sender, value);
    }

    function burnFor(address recipient, uint256 value) public {
        _burn(msg.sender, value);
        emit Unwrapped(recipient, value, _burnNonce++);
    }
}

// SPDX-License-Identifier: MIT
pragma solidity =0.8.20;

import "@openzeppelin/contracts/access/Ownable.sol";
import "@openzeppelin/contracts/token/ERC20/ERC20.sol";

abstract contract AbstractDAO is Ownable {
    address public _operator;
    uint256 public _threshold;
    uint256 public _queueOrder;
    uint256 public _votingInProgress;
    uint256 public _votesSent;
    uint256 public _requiredVoteThreshold;
    uint256 public _authorizedAddressesCount;
    uint256 internal _bps;
    mapping(uint256 => address) public _authorizedAddresses;

    mapping(address => address) internal _submittedVotesTable;
    mapping(address => uint256) internal _revokeVotesTable;
    mapping(address => uint256) internal _addVotesCountTable;
    mapping(uint256 => uint256) internal _revokeVotesCountTable;

    address[] internal _addVotingProposals;
    uint256[] internal _revokeVotingProposals;

    mapping(uint256 => bool) internal _nonces;
    uint256 internal _burnNonce;
    uint256 internal _thresholdLevel;

    function initAuthorizedAddresses(address authorized1, address authorized2, address operator)
    external
    onlyOwner
    {
        require(
            _authorizedAddresses[1] == address(0) &&
            _authorizedAddresses[2] == address(0),
            "Authorized addresses already set"
        );
        _authorizedAddresses[1] = authorized1;
        _authorizedAddresses[2] = authorized2;
        _submittedVotesTable[authorized1] = authorized1;
        _submittedVotesTable[authorized2] = authorized2;
        _operator = operator;
    }

    function voteAdd(uint256 authorizedIndex, address votingAddress) external {
        address winningAddress = address(0);
        require(
            msg.sender == _authorizedAddresses[authorizedIndex],
            "Must be sent from authorized sender"
        );
        require(
            _votingInProgress == 0 || _votingInProgress == 1,
            "Another voting is ongoing"
        );
        require(
            _submittedVotesTable[msg.sender] == msg.sender,
            "One vote per authorized address only"
        );
        for (uint256 i = 0; i < _authorizedAddressesCount; i++) {
            require(_authorizedAddresses[i] != votingAddress, 'voting address already authorized');
        }
        if (_votingInProgress == 0) {
            _votingInProgress = 1;
        }
        _submittedVotesTable[msg.sender] = votingAddress;
        _votesSent += 1;
        winningAddress = _addVotingProcess();

        //  False threshold, consensus will be never reached
        if (msg.sender == winningAddress) {
            _addVotingCleanup();

            return;
        }

        if (_operator == winningAddress) {
            _addVotingCleanup();
            return;
        }

        if (address(0) != winningAddress) {
            _addAuthorized(winningAddress);
            _addVotingCleanup();

            return;
        }

        // This is a fallback and a riddle at the same time
        // Using early false threshold this situation should never happen in 66% consensus scenario
        // If you go above 66% you shall be safe though
        if (address(0) == winningAddress && _votesSent == _authorizedAddressesCount) {
            _addVotingCleanup();

            return;
        }
    }

    function setOperator(uint256 authorizedIndex, address newOperator) external {
        require(
            msg.sender == _authorizedAddresses[authorizedIndex],
            "Must be sent from authorized sender"
        );
        require(_operator != newOperator, "operator already set");
        _operator = newOperator;
    }

    function voteRevoke(uint256 authorizedIndex, uint256 revokeAddressIndex)
    external
    {
        uint256 winningAddressIndex = 0;
        require(
            msg.sender == _authorizedAddresses[authorizedIndex],
            "Must be sent from authorized sender"
        );
        require(
            _votingInProgress == 0 || _votingInProgress == 2,
            "Another voting is ongoing"
        );
        require(
            _submittedVotesTable[msg.sender] == msg.sender,
            "One vote per authorized address only"
        );
        require(
            _authorizedAddressesCount > 2,
            "you mad?"
        );

        for (uint256 i = 0; i < _authorizedAddressesCount; i++) {
            require(_authorizedAddresses[revokeAddressIndex] != address(0), 'invalid revoke index');
        }

        if (_votingInProgress == 0) {
            _votingInProgress = 2;
        }
        _revokeVotesTable[msg.sender] = revokeAddressIndex;
        _submittedVotesTable[msg.sender] = address(0);
        _votesSent += 1;
        winningAddressIndex = _revokeVotingProcess();

        if (winningAddressIndex > 0) {
            _revokeAuthorized(winningAddressIndex);
            _revokeVotingCleanup();
        }
    }

    function isNonceRealised(uint256 _nonce) external view returns (bool) {
        return _nonces[_nonce];
    }

    function getThreshold() public view returns (uint256) {
        return _threshold;
    }

    function approveThreshold() external {
        require(
            msg.sender == _authorizedAddresses[_queueOrder],
            "Must be sent from authorized sender in the correct order"
        );
        _threshold += _thresholdLevel;
        _queueOrder += 1;
        if (_authorizedAddressesCount < _queueOrder) {
            _queueOrder = 1;
        }
    }

    function _addAuthorized(address _toAdd) internal {
        _authorizedAddresses[_authorizedAddressesCount + 1] = _toAdd;
        _authorizedAddressesCount += 1;
        _requiredVoteThreshold = _authorizedAddressesCount * _bps;
    }

    function _revokeAuthorized(uint256 _toRemove) internal {
        delete _authorizedAddresses[_toRemove];

        for (uint256 i = _toRemove; i <= _authorizedAddressesCount; i++) {
            _authorizedAddresses[i] = _authorizedAddresses[i + 1];
        }

        _authorizedAddressesCount -= 1;
        _requiredVoteThreshold = _authorizedAddressesCount * _bps;
        _queueOrder = 1;
    }

    function _addVotingCleanup() internal {
        for (uint256 i = 0; i < _addVotingProposals.length; i++) {
            delete _addVotesCountTable[_addVotingProposals[i]];
        }

        for (uint256 i = 1; i <= _authorizedAddressesCount; i++) {
            _submittedVotesTable[_authorizedAddresses[i]] = _authorizedAddresses[i];
        }

        delete _addVotingProposals;

        _votesSent = 0;
        _votingInProgress = 0;
    }

    function _revokeVotingCleanup() internal {
        for (uint256 i = 0; i <= _authorizedAddressesCount; i++) {
            delete _revokeVotesCountTable[i];
        }

        for (uint256 i = 1; i <= _authorizedAddressesCount; i++) {
            delete _revokeVotesTable[_authorizedAddresses[i]];
            _submittedVotesTable[_authorizedAddresses[i]] = _authorizedAddresses[i];
        }

        delete _revokeVotingProposals;

        _votesSent = 0;
        _votingInProgress = 0;
    }

    function _addVotingProcess() internal returns (address) {
        address votedAddress = address(0);
        address winningAddress = address(0);
        uint256 highestScore = 0;

        for (uint256 i = 1; i <= _authorizedAddressesCount; i++) {
            votedAddress = _submittedVotesTable[_authorizedAddresses[i]];

            if (votedAddress == _authorizedAddresses[i] || address(0) == votedAddress) {
                continue;
            }

            _addVotesCountTable[votedAddress] += 1;
            _addVotingProposals.push(votedAddress);
            delete _submittedVotesTable[_authorizedAddresses[i]];
        }
        for (uint256 j = 0; j < _addVotingProposals.length; j++) {
            if (highestScore < _addVotesCountTable[_addVotingProposals[j]]) {
                highestScore = _addVotesCountTable[_addVotingProposals[j]];
                winningAddress = _addVotingProposals[j];
            }
        }

        if (highestScore * 10_000 >= _requiredVoteThreshold) {
            return winningAddress;
        }

        uint256 finalityCheck = (((_authorizedAddressesCount - _votesSent) * 10_000) + (highestScore * 10_000));

        if (finalityCheck < _requiredVoteThreshold) {
            return msg.sender;
        }

        return address(0);
    }

    function _revokeVotingProcess() internal returns (uint256) {
        uint256 highestScore = 0;
        uint256 votedAddressIndex = 0;
        uint256 winningAddressIndex = 0;

        for (uint256 i = 1; i <= _authorizedAddressesCount; i++) {
            votedAddressIndex = _revokeVotesTable[_authorizedAddresses[i]];

            if (_authorizedAddresses[votedAddressIndex] == address(0)) {
                continue;
            }

            _revokeVotesCountTable[votedAddressIndex] += 1;
            _revokeVotingProposals.push(votedAddressIndex);
            delete _revokeVotesTable[_authorizedAddresses[i]];
        }
        for (uint256 j = 0; j < _revokeVotingProposals.length; j++) {
            if (highestScore < _revokeVotesCountTable[_revokeVotingProposals[j]]) {
                highestScore = _revokeVotesCountTable[_revokeVotingProposals[j]];
                winningAddressIndex = _revokeVotingProposals[j];
            }
        }

        if (highestScore * 10_000 >= _requiredVoteThreshold) {
            return winningAddressIndex;
        }

        uint256 finalityCheck = (((_authorizedAddressesCount - _votesSent) * 10_000) + (highestScore * 10_000));

        if (finalityCheck <= _requiredVoteThreshold || _votesSent == _authorizedAddressesCount) {
            _revokeVotingCleanup();
        }

        return 0;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/cryptography/ECDSA.sol)

pragma solidity ^0.8.20;

/**
 * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.
 *
 * These functions can be used to verify that a message was signed by the holder
 * of the private keys of a given address.
 */
library ECDSA {
    enum RecoverError {
        NoError,
        InvalidSignature,
        InvalidSignatureLength,
        InvalidSignatureS
    }

    /**
     * @dev The signature derives the `address(0)`.
     */
    error ECDSAInvalidSignature();

    /**
     * @dev The signature has an invalid length.
     */
    error ECDSAInvalidSignatureLength(uint256 length);

    /**
     * @dev The signature has an S value that is in the upper half order.
     */
    error ECDSAInvalidSignatureS(bytes32 s);

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with `signature` or an error. This will not
     * return address(0) without also returning an error description. Errors are documented using an enum (error type)
     * and a bytes32 providing additional information about the error.
     *
     * If no error is returned, then the address can be used for verification purposes.
     *
     * The `ecrecover` EVM precompile allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {MessageHashUtils-toEthSignedMessageHash} on it.
     *
     * Documentation for signature generation:
     * - with https://web3js.readthedocs.io/en/v1.3.4/web3-eth-accounts.html#sign[Web3.js]
     * - with https://docs.ethers.io/v5/api/signer/#Signer-signMessage[ethers]
     */
    function tryRecover(bytes32 hash, bytes memory signature) internal pure returns (address, RecoverError, bytes32) {
        if (signature.length == 65) {
            bytes32 r;
            bytes32 s;
            uint8 v;
            // ecrecover takes the signature parameters, and the only way to get them
            // currently is to use assembly.
            /// @solidity memory-safe-assembly
            assembly {
                r := mload(add(signature, 0x20))
                s := mload(add(signature, 0x40))
                v := byte(0, mload(add(signature, 0x60)))
            }
            return tryRecover(hash, v, r, s);
        } else {
            return (address(0), RecoverError.InvalidSignatureLength, bytes32(signature.length));
        }
    }

    /**
     * @dev Returns the address that signed a hashed message (`hash`) with
     * `signature`. This address can then be used for verification purposes.
     *
     * The `ecrecover` EVM precompile allows for malleable (non-unique) signatures:
     * this function rejects them by requiring the `s` value to be in the lower
     * half order, and the `v` value to be either 27 or 28.
     *
     * IMPORTANT: `hash` _must_ be the result of a hash operation for the
     * verification to be secure: it is possible to craft signatures that
     * recover to arbitrary addresses for non-hashed data. A safe way to ensure
     * this is by receiving a hash of the original message (which may otherwise
     * be too long), and then calling {MessageHashUtils-toEthSignedMessageHash} on it.
     */
    function recover(bytes32 hash, bytes memory signature) internal pure returns (address) {
        (address recovered, RecoverError error, bytes32 errorArg) = tryRecover(hash, signature);
        _throwError(error, errorArg);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `r` and `vs` short-signature fields separately.
     *
     * See https://eips.ethereum.org/EIPS/eip-2098[EIP-2098 short signatures]
     */
    function tryRecover(bytes32 hash, bytes32 r, bytes32 vs) internal pure returns (address, RecoverError, bytes32) {
        unchecked {
            bytes32 s = vs & bytes32(0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff);
            // We do not check for an overflow here since the shift operation results in 0 or 1.
            uint8 v = uint8((uint256(vs) >> 255) + 27);
            return tryRecover(hash, v, r, s);
        }
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `r and `vs` short-signature fields separately.
     */
    function recover(bytes32 hash, bytes32 r, bytes32 vs) internal pure returns (address) {
        (address recovered, RecoverError error, bytes32 errorArg) = tryRecover(hash, r, vs);
        _throwError(error, errorArg);
        return recovered;
    }

    /**
     * @dev Overload of {ECDSA-tryRecover} that receives the `v`,
     * `r` and `s` signature fields separately.
     */
    function tryRecover(
        bytes32 hash,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) internal pure returns (address, RecoverError, bytes32) {
        // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature
        // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines
        // the valid range for s in (301): 0 < s < secp256k1n ÷ 2 + 1, and for v in (302): v ∈ {27, 28}. Most
        // signatures from current libraries generate a unique signature with an s-value in the lower half order.
        //
        // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
        // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
        // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
        // these malleable signatures as well.
        if (uint256(s) > 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0) {
            return (address(0), RecoverError.InvalidSignatureS, s);
        }

        // If the signature is valid (and not malleable), return the signer address
        address signer = ecrecover(hash, v, r, s);
        if (signer == address(0)) {
            return (address(0), RecoverError.InvalidSignature, bytes32(0));
        }

        return (signer, RecoverError.NoError, bytes32(0));
    }

    /**
     * @dev Overload of {ECDSA-recover} that receives the `v`,
     * `r` and `s` signature fields separately.
     */
    function recover(bytes32 hash, uint8 v, bytes32 r, bytes32 s) internal pure returns (address) {
        (address recovered, RecoverError error, bytes32 errorArg) = tryRecover(hash, v, r, s);
        _throwError(error, errorArg);
        return recovered;
    }

    /**
     * @dev Optionally reverts with the corresponding custom error according to the `error` argument provided.
     */
    function _throwError(RecoverError error, bytes32 errorArg) private pure {
        if (error == RecoverError.NoError) {
            return; // no error: do nothing
        } else if (error == RecoverError.InvalidSignature) {
            revert ECDSAInvalidSignature();
        } else if (error == RecoverError.InvalidSignatureLength) {
            revert ECDSAInvalidSignatureLength(uint256(errorArg));
        } else if (error == RecoverError.InvalidSignatureS) {
            revert ECDSAInvalidSignatureS(errorArg);
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/ERC20.sol)

pragma solidity ^0.8.20;

import {IERC20} from "./IERC20.sol";
import {IERC20Metadata} from "./extensions/IERC20Metadata.sol";
import {Context} from "../../utils/Context.sol";
import {IERC20Errors} from "../../interfaces/draft-IERC6093.sol";

/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * The default value of {decimals} is 18. To change this, you should override
 * this function so it returns a different value.
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 */
abstract contract ERC20 is Context, IERC20, IERC20Metadata, IERC20Errors {
    mapping(address account => uint256) private _balances;

    mapping(address account => mapping(address spender => uint256)) private _allowances;

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5.05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the default value returned by this function, unless
     * it's overridden.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual returns (uint8) {
        return 18;
    }

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view virtual returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view virtual returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `value`.
     */
    function transfer(address to, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, value);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view virtual returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * NOTE: If `value` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public virtual returns (bool) {
        address owner = _msgSender();
        _approve(owner, spender, value);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `value`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `value`.
     */
    function transferFrom(address from, address to, uint256 value) public virtual returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, value);
        _transfer(from, to, value);
        return true;
    }

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to`.
     *
     * This internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _transfer(address from, address to, uint256 value) internal {
        if (from == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        if (to == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(from, to, value);
    }

    /**
     * @dev Transfers a `value` amount of tokens from `from` to `to`, or alternatively mints (or burns) if `from`
     * (or `to`) is the zero address. All customizations to transfers, mints, and burns should be done by overriding
     * this function.
     *
     * Emits a {Transfer} event.
     */
    function _update(address from, address to, uint256 value) internal virtual {
        if (from == address(0)) {
            // Overflow check required: The rest of the code assumes that totalSupply never overflows
            _totalSupply += value;
        } else {
            uint256 fromBalance = _balances[from];
            if (fromBalance < value) {
                revert ERC20InsufficientBalance(from, fromBalance, value);
            }
            unchecked {
                // Overflow not possible: value <= fromBalance <= totalSupply.
                _balances[from] = fromBalance - value;
            }
        }

        if (to == address(0)) {
            unchecked {
                // Overflow not possible: value <= totalSupply or value <= fromBalance <= totalSupply.
                _totalSupply -= value;
            }
        } else {
            unchecked {
                // Overflow not possible: balance + value is at most totalSupply, which we know fits into a uint256.
                _balances[to] += value;
            }
        }

        emit Transfer(from, to, value);
    }

    /**
     * @dev Creates a `value` amount of tokens and assigns them to `account`, by transferring it from address(0).
     * Relies on the `_update` mechanism
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead.
     */
    function _mint(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidReceiver(address(0));
        }
        _update(address(0), account, value);
    }

    /**
     * @dev Destroys a `value` amount of tokens from `account`, lowering the total supply.
     * Relies on the `_update` mechanism.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * NOTE: This function is not virtual, {_update} should be overridden instead
     */
    function _burn(address account, uint256 value) internal {
        if (account == address(0)) {
            revert ERC20InvalidSender(address(0));
        }
        _update(account, address(0), value);
    }

    /**
     * @dev Sets `value` as the allowance of `spender` over the `owner` s tokens.
     *
     * This internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     *
     * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        _approve(owner, spender, value, true);
    }

    /**
     * @dev Variant of {_approve} with an optional flag to enable or disable the {Approval} event.
     *
     * By default (when calling {_approve}) the flag is set to true. On the other hand, approval changes made by
     * `_spendAllowance` during the `transferFrom` operation set the flag to false. This saves gas by not emitting any
     * `Approval` event during `transferFrom` operations.
     *
     * Anyone who wishes to continue emitting `Approval` events on the`transferFrom` operation can force the flag to
     * true using the following override:
     * ```
     * function _approve(address owner, address spender, uint256 value, bool) internal virtual override {
     *     super._approve(owner, spender, value, true);
     * }
     * ```
     *
     * Requirements are the same as {_approve}.
     */
    function _approve(address owner, address spender, uint256 value, bool emitEvent) internal virtual {
        if (owner == address(0)) {
            revert ERC20InvalidApprover(address(0));
        }
        if (spender == address(0)) {
            revert ERC20InvalidSpender(address(0));
        }
        _allowances[owner][spender] = value;
        if (emitEvent) {
            emit Approval(owner, spender, value);
        }
    }

    /**
     * @dev Updates `owner` s allowance for `spender` based on spent `value`.
     *
     * Does not update the allowance value in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Does not emit an {Approval} event.
     */
    function _spendAllowance(address owner, address spender, uint256 value) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            if (currentAllowance < value) {
                revert ERC20InsufficientAllowance(spender, currentAllowance, value);
            }
            unchecked {
                _approve(owner, spender, currentAllowance - value, false);
            }
        }
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (access/Ownable.sol)

pragma solidity ^0.8.20;

import {Context} from "../utils/Context.sol";

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * The initial owner is set to the address provided by the deployer. This can
 * later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

    /**
     * @dev The caller account is not authorized to perform an operation.
     */
    error OwnableUnauthorizedAccount(address account);

    /**
     * @dev The owner is not a valid owner account. (eg. `address(0)`)
     */
    error OwnableInvalidOwner(address owner);

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the address provided by the deployer as the initial owner.
     */
    constructor(address initialOwner) {
        if (initialOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(initialOwner);
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        if (owner() != _msgSender()) {
            revert OwnableUnauthorizedAccount(_msgSender());
        }
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby disabling any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        if (newOwner == address(0)) {
            revert OwnableInvalidOwner(address(0));
        }
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (interfaces/draft-IERC6093.sol)
pragma solidity ^0.8.20;

/**
 * @dev Standard ERC20 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC20 tokens.
 */
interface IERC20Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC20InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC20InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `spender`’s `allowance`. Used in transfers.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     * @param allowance Amount of tokens a `spender` is allowed to operate with.
     * @param needed Minimum amount required to perform a transfer.
     */
    error ERC20InsufficientAllowance(address spender, uint256 allowance, uint256 needed);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC20InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `spender` to be approved. Used in approvals.
     * @param spender Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC20InvalidSpender(address spender);
}

/**
 * @dev Standard ERC721 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC721 tokens.
 */
interface IERC721Errors {
    /**
     * @dev Indicates that an address can't be an owner. For example, `address(0)` is a forbidden owner in EIP-20.
     * Used in balance queries.
     * @param owner Address of the current owner of a token.
     */
    error ERC721InvalidOwner(address owner);

    /**
     * @dev Indicates a `tokenId` whose `owner` is the zero address.
     * @param tokenId Identifier number of a token.
     */
    error ERC721NonexistentToken(uint256 tokenId);

    /**
     * @dev Indicates an error related to the ownership over a particular token. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param tokenId Identifier number of a token.
     * @param owner Address of the current owner of a token.
     */
    error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC721InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC721InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param tokenId Identifier number of a token.
     */
    error ERC721InsufficientApproval(address operator, uint256 tokenId);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC721InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC721InvalidOperator(address operator);
}

/**
 * @dev Standard ERC1155 Errors
 * Interface of the https://eips.ethereum.org/EIPS/eip-6093[ERC-6093] custom errors for ERC1155 tokens.
 */
interface IERC1155Errors {
    /**
     * @dev Indicates an error related to the current `balance` of a `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     * @param balance Current balance for the interacting account.
     * @param needed Minimum amount required to perform a transfer.
     * @param tokenId Identifier number of a token.
     */
    error ERC1155InsufficientBalance(address sender, uint256 balance, uint256 needed, uint256 tokenId);

    /**
     * @dev Indicates a failure with the token `sender`. Used in transfers.
     * @param sender Address whose tokens are being transferred.
     */
    error ERC1155InvalidSender(address sender);

    /**
     * @dev Indicates a failure with the token `receiver`. Used in transfers.
     * @param receiver Address to which tokens are being transferred.
     */
    error ERC1155InvalidReceiver(address receiver);

    /**
     * @dev Indicates a failure with the `operator`’s approval. Used in transfers.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     * @param owner Address of the current owner of a token.
     */
    error ERC1155MissingApprovalForAll(address operator, address owner);

    /**
     * @dev Indicates a failure with the `approver` of a token to be approved. Used in approvals.
     * @param approver Address initiating an approval operation.
     */
    error ERC1155InvalidApprover(address approver);

    /**
     * @dev Indicates a failure with the `operator` to be approved. Used in approvals.
     * @param operator Address that may be allowed to operate on tokens without being their owner.
     */
    error ERC1155InvalidOperator(address operator);

    /**
     * @dev Indicates an array length mismatch between ids and values in a safeBatchTransferFrom operation.
     * Used in batch transfers.
     * @param idsLength Length of the array of token identifiers
     * @param valuesLength Length of the array of token amounts
     */
    error ERC1155InvalidArrayLength(uint256 idsLength, uint256 valuesLength);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.1) (utils/Context.sol)

pragma solidity ^0.8.20;

/**
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }

    function _contextSuffixLength() internal view virtual returns (uint256) {
        return 0;
    }
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/extensions/IERC20Metadata.sol)

pragma solidity ^0.8.20;

import {IERC20} from "../IERC20.sol";

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.20;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Returns the value of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the value of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves a `value` amount of tokens from the caller's account to `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, uint256 value) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets a `value` amount of tokens as the allowance of `spender` over the
     * caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 value) external returns (bool);

    /**
     * @dev Moves a `value` amount of tokens from `from` to `to` using the
     * allowance mechanism. `value` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address from, address to, uint256 value) external returns (bool);
}

{
  "optimizer": {
    "enabled": false,
    "runs": 200
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  },
  "remappings": []
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"thresholdLevel","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"ECDSAInvalidSignature","type":"error"},{"inputs":[{"internalType":"uint256","name":"length","type":"uint256"}],"name":"ECDSAInvalidSignatureLength","type":"error"},{"inputs":[{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"ECDSAInvalidSignatureS","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"allowance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientAllowance","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint256","name":"balance","type":"uint256"},{"internalType":"uint256","name":"needed","type":"uint256"}],"name":"ERC20InsufficientBalance","type":"error"},{"inputs":[{"internalType":"address","name":"approver","type":"address"}],"name":"ERC20InvalidApprover","type":"error"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"}],"name":"ERC20InvalidReceiver","type":"error"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"name":"ERC20InvalidSender","type":"error"},{"inputs":[{"internalType":"address","name":"spender","type":"address"}],"name":"ERC20InvalidSpender","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"recipient","type":"address"},{"indexed":true,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"nonce","type":"uint256"}],"name":"Unwrapped","type":"event"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"_authorizedAddresses","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_authorizedAddressesCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_chainID","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_operator","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_queueOrder","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_requiredVoteThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_threshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_votesSent","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_votingInProgress","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"approveThreshold","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burnFor","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"authorized1","type":"address"},{"internalType":"address","name":"authorized2","type":"address"},{"internalType":"address","name":"operator","type":"address"}],"name":"initAuthorizedAddresses","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_nonce","type":"uint256"}],"name":"isNonceRealised","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"bridgeNonce","type":"uint256"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"authorizedIndex","type":"uint256"},{"internalType":"address","name":"newOperator","type":"address"}],"name":"setOperator","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"authorizedIndex","type":"uint256"},{"internalType":"address","name":"votingAddress","type":"address"}],"name":"voteAdd","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"authorizedIndex","type":"uint256"},{"internalType":"uint256","name":"revokeAddressIndex","type":"uint256"}],"name":"voteRevoke","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801562000010575f80fd5b50604051620045ef380380620045ef833981810160405281019062000036919062000363565b336040518060400160405280600b81526020017f57726170706564204c59580000000000000000000000000000000000000000008152506040518060400160405280600481526020017f774c5958000000000000000000000000000000000000000000000000000000008152508160039081620000b49190620005ee565b508060049081620000c69190620005ee565b5050505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036200013c575f6040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040162000133919062000715565b60405180910390fd5b6200014d816200023c60201b60201c565b5080601781905550806007819055506200016c620002ff60201b60201c565b60065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060016008819055505f600a819055505f600981905550611a0a600d81905550600d546002620001db91906200075d565b600b819055506002600c819055505f469050806018819055503060195f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050620007a7565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b5f80fd5b5f819050919050565b6200033f816200032b565b81146200034a575f80fd5b50565b5f815190506200035d8162000334565b92915050565b5f602082840312156200037b576200037a62000327565b5b5f6200038a848285016200034d565b91505092915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200040f57607f821691505b602082108103620004255762000424620003ca565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620004897fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200044c565b6200049586836200044c565b95508019841693508086168417925050509392505050565b5f819050919050565b5f620004d6620004d0620004ca846200032b565b620004ad565b6200032b565b9050919050565b5f819050919050565b620004f183620004b6565b620005096200050082620004dd565b84845462000458565b825550505050565b5f90565b6200051f62000511565b6200052c818484620004e6565b505050565b5b818110156200055357620005475f8262000515565b60018101905062000532565b5050565b601f821115620005a2576200056c816200042b565b62000577846200043d565b8101602085101562000587578190505b6200059f62000596856200043d565b83018262000531565b50505b505050565b5f82821c905092915050565b5f620005c45f1984600802620005a7565b1980831691505092915050565b5f620005de8383620005b3565b9150826002028217905092915050565b620005f98262000393565b67ffffffffffffffff8111156200061557620006146200039d565b5b620006218254620003f7565b6200062e82828562000557565b5f60209050601f83116001811462000664575f84156200064f578287015190505b6200065b8582620005d1565b865550620006ca565b601f19841662000674866200042b565b5f5b828110156200069d5784890151825560018201915060208501945060208101905062000676565b86831015620006bd5784890151620006b9601f891682620005b3565b8355505b6001600288020188555050505b505050505050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f620006fd82620006d2565b9050919050565b6200070f81620006f1565b82525050565b5f6020820190506200072a5f83018462000704565b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f62000769826200032b565b915062000776836200032b565b925082820262000786816200032b565b91508282048414831517620007a0576200079f62000730565b5b5092915050565b613e3a80620007b55f395ff3fe608060405234801561000f575f80fd5b50600436106101e3575f3560e01c8063715018a61161010d578063a9059cbb116100a0578063e75235b81161006f578063e75235b81461055d578063e7a1c1c01461057b578063f2fde38b14610597578063f759ef19146105b3576101e3565b8063a9059cbb146104d5578063a943a4da14610505578063beab71311461050f578063dd62ed3e1461052d576101e3565b80638da5cb5b116100dc5780638da5cb5b1461045d57806395d89b411461047b578063a547579314610499578063a76ef019146104b7576101e3565b8063715018a6146103fb57806376b8d6ab146104055780637f3c81601461042157806380de82201461043f576101e3565b8063313ce5671161018557806365868a951161015457806365868a951461036157806368b079f41461039157806370a08231146103ad57806370b0a843146103dd576101e3565b8063313ce567146102eb57806342966c68146103095780634e22ab921461032557806355c42b3414610343576101e3565b806318160ddd116101c157806318160ddd146102655780631be35d2b146102835780631dd319cb1461029f57806323b872dd146102bb576101e3565b806306fdde03146101e75780630756b5df14610205578063095ea7b314610235575b5f80fd5b6101ef6105cf565b6040516101fc919061311b565b60405180910390f35b61021f600480360381019061021a9190613172565b61065f565b60405161022c91906131dc565b60405180910390f35b61024f600480360381019061024a919061321f565b61068f565b60405161025c9190613277565b60405180910390f35b61026d6106b1565b60405161027a919061329f565b60405180910390f35b61029d600480360381019061029891906132b8565b6106ba565b005b6102b960048036038101906102b4919061321f565b6109a4565b005b6102d560048036038101906102d09190613308565b610a0c565b6040516102e29190613277565b60405180910390f35b6102f3610a3a565b6040516103009190613373565b60405180910390f35b610323600480360381019061031e9190613172565b610a42565b005b61032d610a4f565b60405161033a919061329f565b60405180910390f35b61034b610a55565b604051610358919061329f565b60405180910390f35b61037b60048036038101906103769190613172565b610a5b565b6040516103889190613277565b60405180910390f35b6103ab60048036038101906103a6919061338c565b610a81565b005b6103c760048036038101906103c291906133ca565b610eed565b6040516103d4919061329f565b60405180910390f35b6103e5610f32565b6040516103f291906131dc565b60405180910390f35b610403610f57565b005b61041f600480360381019061041a9190613452565b610f6a565b005b610429611150565b604051610436919061329f565b60405180910390f35b610447611156565b604051610454919061329f565b60405180910390f35b61046561115c565b60405161047291906131dc565b60405180910390f35b610483611184565b604051610490919061311b565b60405180910390f35b6104a1611214565b6040516104ae919061329f565b60405180910390f35b6104bf61121a565b6040516104cc919061329f565b60405180910390f35b6104ef60048036038101906104ea919061321f565b611220565b6040516104fc9190613277565b60405180910390f35b61050d611242565b005b61051761132c565b604051610524919061329f565b60405180910390f35b610547600480360381019061054291906134db565b611332565b604051610554919061329f565b60405180910390f35b6105656113b4565b604051610572919061329f565b60405180910390f35b6105956004803603810190610590919061338c565b6113bd565b005b6105b160048036038101906105ac91906133ca565b61152e565b005b6105cd60048036038101906105c89190613519565b6115b2565b005b6060600380546105de90613584565b80601f016020809104026020016040519081016040528092919081815260200182805461060a90613584565b80156106555780601f1061062c57610100808354040283529160200191610655565b820191905f5260205f20905b81548152906001019060200180831161063857829003601f168201915b5050505050905090565b600e602052805f5260405f205f915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f80610699611980565b90506106a6818585611987565b600191505092915050565b5f600254905090565b6106c2611999565b5f73ffffffffffffffffffffffffffffffffffffffff16600e5f600181526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614801561078a57505f73ffffffffffffffffffffffffffffffffffffffff16600e5f600281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b6107c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107c0906135fe565b60405180910390fd5b82600e5f600181526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600e5f600281526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505050565b6109ae3382611a20565b60165f8154809291906109c090613649565b91905055818373ffffffffffffffffffffffffffffffffffffffff167ff64ae1cc3e0e07da9c895b3225439175cab5838aca24c4e74852704858c96a7b60405160405180910390a45050565b5f80610a16611980565b9050610a23858285611a9f565b610a2e858585611b31565b60019150509392505050565b5f6012905090565b610a4c33826109a4565b50565b600a5481565b600b5481565b5f60155f8381526020019081526020015f205f9054906101000a900460ff169050919050565b5f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1790613700565b60405180910390fd5b5f6009541480610b3257506001600954145b610b71576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b6890613768565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff16600f5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610c3b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c32906137f6565b60405180910390fd5b5f5b600c54811015610cf8578273ffffffffffffffffffffffffffffffffffffffff16600e5f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610ce5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cdc90613884565b60405180910390fd5b8080610cf090613649565b915050610c3d565b505f60095403610d0b5760016009819055505b81600f5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600a5f828254610d9891906138a2565b92505081905550610da7611c21565b90508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610dea57610de461208e565b50610ee9565b8073ffffffffffffffffffffffffffffffffffffffff1660065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610e4c57610e4661208e565b50610ee9565b8073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff1614610e9657610e8881612247565b610e9061208e565b50610ee9565b8073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff16148015610ed45750600c54600a54145b15610ee757610ee161208e565b50610ee9565b505b5050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b610f5f611999565b610f685f6122d6565b565b5f151560155f8781526020019081526020015f205f9054906101000a900460ff16151514610fcd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fc49061391f565b60405180910390fd5b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661106287868860185460195f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040516020016110449594939291906139a2565b60405160208183030381529060405280519060200120858585612399565b73ffffffffffffffffffffffffffffffffffffffff16146110b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110af90613a4a565b60405180910390fd5b8560075410156110fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110f490613ab2565b60405180910390fd5b600160155f8781526020019081526020015f205f6101000a81548160ff02191690831515021790555061113084876123c7565b8560075f8282546111419190613ad0565b92505081905550505050505050565b60075481565b600c5481565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461119390613584565b80601f01602080910402602001604051908101604052809291908181526020018280546111bf90613584565b801561120a5780601f106111e15761010080835404028352916020019161120a565b820191905f5260205f20905b8154815290600101906020018083116111ed57829003601f168201915b5050505050905090565b60095481565b60085481565b5f8061122a611980565b9050611237818585611b31565b600191505092915050565b600e5f60085481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146112e2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112d990613b73565b60405180910390fd5b60175460075f8282546112f591906138a2565b92505081905550600160085f82825461130e91906138a2565b92505081905550600854600c54101561132a5760016008819055505b565b60185481565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f600754905090565b600e5f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461145b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161145290613700565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036114ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114e190613bdb565b60405180910390fd5b8060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b611536611999565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036115a6575f6040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040161159d91906131dc565b60405180910390fd5b6115af816122d6565b50565b5f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611651576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161164890613700565b60405180910390fd5b5f600954148061166357506002600954145b6116a2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169990613768565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff16600f5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461176c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611763906137f6565b60405180910390fd5b6002600c54116117b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117a890613c43565b60405180910390fd5b5f5b600c5481101561186e575f73ffffffffffffffffffffffffffffffffffffffff16600e5f8581526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff160361185b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161185290613cab565b60405180910390fd5b808061186690613649565b9150506117b3565b505f600954036118815760026009819055505b8160105f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505f600f5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600a5f82825461195091906138a2565b9250508190555061195f612446565b90505f81111561197b5761197281612731565b61197a61284b565b5b505050565b5f33905090565b6119948383836001612a09565b505050565b6119a1611980565b73ffffffffffffffffffffffffffffffffffffffff166119bf61115c565b73ffffffffffffffffffffffffffffffffffffffff1614611a1e576119e2611980565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401611a1591906131dc565b60405180910390fd5b565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611a90575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401611a8791906131dc565b60405180910390fd5b611a9b825f83612bd8565b5050565b5f611aaa8484611332565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114611b2b5781811015611b1c578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401611b1393929190613cc9565b60405180910390fd5b611b2a84848484035f612a09565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611ba1575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401611b9891906131dc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611c11575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401611c0891906131dc565b60405180910390fd5b611c1c838383612bd8565b505050565b5f805f90505f805f600190505b600c548111611eb657600f5f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169350600e5f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480611d5b57508373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff16145b611ea357600160115f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254611dac91906138a2565b92505081905550601384908060018154018082558091505060019003905f5260205f20015f9091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600f5f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555b8080611eae90613649565b915050611c2e565b505f5b6013805490508110156120135760115f60138381548110611edd57611edc613cfe565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20548210156120005760115f60138381548110611f5d57611f5c613cfe565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054915060138181548110611fd557611fd4613cfe565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1692505b808061200b90613649565b915050611eb9565b50600b54612710826120259190613d2b565b106120355781935050505061208b565b5f612710826120449190613d2b565b612710600a54600c546120579190613ad0565b6120619190613d2b565b61206b91906138a2565b9050600b54811015612083573394505050505061208b565b5f9450505050505b90565b5f5b60138054905081101561212b5760115f601383815481106120b4576120b3613cfe565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9055808061212390613649565b915050612090565b505f600190505b600c54811161222957600e5f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600f5f600e5f8581526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808061222190613649565b915050612132565b5060135f612237919061303a565b5f600a819055505f600981905550565b80600e5f6001600c5461225a91906138a2565b81526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600c5f8282546122b691906138a2565b92505081905550600d54600c546122cd9190613d2b565b600b8190555050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f805f806123a988888888612df1565b9250925092506123b98282612ed8565b829350505050949350505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603612437575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161242e91906131dc565b60405180910390fd5b6124425f8383612bd8565b5050565b5f805f90505f805f600190505b600c5481116126025760105f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205492505f73ffffffffffffffffffffffffffffffffffffffff16600e5f8581526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603156125ef57600160125f8581526020019081526020015f205f82825461255191906138a2565b92505081905550601483908060018154018082558091505060019003905f5260205f20015f909190919091505560105f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f90555b80806125fa90613649565b915050612453565b505f5b6014805490508110156126aa5760125f6014838154811061262957612628613cfe565b5b905f5260205f20015481526020019081526020015f20548410156126975760125f6014838154811061265e5761265d613cfe565b5b905f5260205f20015481526020019081526020015f205493506014818154811061268b5761268a613cfe565b5b905f5260205f20015491505b80806126a290613649565b915050612605565b50600b54612710846126bc9190613d2b565b106126cc5780935050505061272e565b5f612710846126db9190613d2b565b612710600a54600c546126ee9190613ad0565b6126f89190613d2b565b61270291906138a2565b9050600b54811115806127185750600c54600a54145b156127265761272561284b565b5b5f9450505050505b90565b600e5f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555f8190505b600c54811161281057600e5f60018361278291906138a2565b81526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600e5f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808061280890613649565b915050612769565b506001600c5f8282546128239190613ad0565b92505081905550600d54600c5461283a9190613d2b565b600b81905550600160088190555050565b5f5b600c54811161287d5760125f8281526020019081526020015f205f9055808061287590613649565b91505061284d565b505f600190505b600c5481116129eb5760105f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9055600e5f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600f5f600e5f8581526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080806129e390613649565b915050612884565b5060145f6129f99190613058565b5f600a819055505f600981905550565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603612a79575f6040517fe602df05000000000000000000000000000000000000000000000000000000008152600401612a7091906131dc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603612ae9575f6040517f94280d62000000000000000000000000000000000000000000000000000000008152600401612ae091906131dc565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015612bd2578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051612bc9919061329f565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603612c28578060025f828254612c1c91906138a2565b92505081905550612cf6565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015612cb1578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401612ca893929190613cc9565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603612d3d578060025f8282540392505081905550612d87565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051612de4919061329f565b60405180910390a3505050565b5f805f7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0845f1c1115612e2d575f600385925092509250612ece565b5f6001888888886040515f8152602001604052604051612e509493929190613d7b565b6020604051602081039080840390855afa158015612e70573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612ec1575f60015f801b93509350935050612ece565b805f805f1b935093509350505b9450945094915050565b5f6003811115612eeb57612eea613dbe565b5b826003811115612efe57612efd613dbe565b5b03156130365760016003811115612f1857612f17613dbe565b5b826003811115612f2b57612f2a613dbe565b5b03612f62576040517ff645eedf00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60026003811115612f7657612f75613dbe565b5b826003811115612f8957612f88613dbe565b5b03612fcd57805f1c6040517ffce698f7000000000000000000000000000000000000000000000000000000008152600401612fc4919061329f565b60405180910390fd5b600380811115612fe057612fdf613dbe565b5b826003811115612ff357612ff2613dbe565b5b0361303557806040517fd78bce0c00000000000000000000000000000000000000000000000000000000815260040161302c9190613deb565b60405180910390fd5b5b5050565b5080545f8255905f5260205f20908101906130559190613076565b50565b5080545f8255905f5260205f20908101906130739190613076565b50565b5b8082111561308d575f815f905550600101613077565b5090565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156130c85780820151818401526020810190506130ad565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6130ed82613091565b6130f7818561309b565b93506131078185602086016130ab565b613110816130d3565b840191505092915050565b5f6020820190508181035f83015261313381846130e3565b905092915050565b5f80fd5b5f819050919050565b6131518161313f565b811461315b575f80fd5b50565b5f8135905061316c81613148565b92915050565b5f602082840312156131875761318661313b565b5b5f6131948482850161315e565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6131c68261319d565b9050919050565b6131d6816131bc565b82525050565b5f6020820190506131ef5f8301846131cd565b92915050565b6131fe816131bc565b8114613208575f80fd5b50565b5f81359050613219816131f5565b92915050565b5f80604083850312156132355761323461313b565b5b5f6132428582860161320b565b92505060206132538582860161315e565b9150509250929050565b5f8115159050919050565b6132718161325d565b82525050565b5f60208201905061328a5f830184613268565b92915050565b6132998161313f565b82525050565b5f6020820190506132b25f830184613290565b92915050565b5f805f606084860312156132cf576132ce61313b565b5b5f6132dc8682870161320b565b93505060206132ed8682870161320b565b92505060406132fe8682870161320b565b9150509250925092565b5f805f6060848603121561331f5761331e61313b565b5b5f61332c8682870161320b565b935050602061333d8682870161320b565b925050604061334e8682870161315e565b9150509250925092565b5f60ff82169050919050565b61336d81613358565b82525050565b5f6020820190506133865f830184613364565b92915050565b5f80604083850312156133a2576133a161313b565b5b5f6133af8582860161315e565b92505060206133c08582860161320b565b9150509250929050565b5f602082840312156133df576133de61313b565b5b5f6133ec8482850161320b565b91505092915050565b6133fe81613358565b8114613408575f80fd5b50565b5f81359050613419816133f5565b92915050565b5f819050919050565b6134318161341f565b811461343b575f80fd5b50565b5f8135905061344c81613428565b92915050565b5f805f805f8060c0878903121561346c5761346b61313b565b5b5f61347989828a0161315e565b965050602061348a89828a0161315e565b955050604061349b89828a0161320b565b94505060606134ac89828a0161340b565b93505060806134bd89828a0161343e565b92505060a06134ce89828a0161343e565b9150509295509295509295565b5f80604083850312156134f1576134f061313b565b5b5f6134fe8582860161320b565b925050602061350f8582860161320b565b9150509250929050565b5f806040838503121561352f5761352e61313b565b5b5f61353c8582860161315e565b925050602061354d8582860161315e565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061359b57607f821691505b6020821081036135ae576135ad613557565b5b50919050565b7f417574686f72697a65642061646472657373657320616c7265616479207365745f82015250565b5f6135e860208361309b565b91506135f3826135b4565b602082019050919050565b5f6020820190508181035f830152613615816135dc565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6136538261313f565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036136855761368461361c565b5b600182019050919050565b7f4d7573742062652073656e742066726f6d20617574686f72697a65642073656e5f8201527f6465720000000000000000000000000000000000000000000000000000000000602082015250565b5f6136ea60238361309b565b91506136f582613690565b604082019050919050565b5f6020820190508181035f830152613717816136de565b9050919050565b7f416e6f7468657220766f74696e67206973206f6e676f696e67000000000000005f82015250565b5f61375260198361309b565b915061375d8261371e565b602082019050919050565b5f6020820190508181035f83015261377f81613746565b9050919050565b7f4f6e6520766f74652070657220617574686f72697a65642061646472657373205f8201527f6f6e6c7900000000000000000000000000000000000000000000000000000000602082015250565b5f6137e060248361309b565b91506137eb82613786565b604082019050919050565b5f6020820190508181035f83015261380d816137d4565b9050919050565b7f766f74696e67206164647265737320616c726561647920617574686f72697a655f8201527f6400000000000000000000000000000000000000000000000000000000000000602082015250565b5f61386e60218361309b565b915061387982613814565b604082019050919050565b5f6020820190508181035f83015261389b81613862565b9050919050565b5f6138ac8261313f565b91506138b78361313f565b92508282019050808211156138cf576138ce61361c565b5b92915050565b7f4e6f6e636520616c7265616479207573656400000000000000000000000000005f82015250565b5f61390960128361309b565b9150613914826138d5565b602082019050919050565b5f6020820190508181035f830152613936816138fd565b9050919050565b5f819050919050565b6139576139528261313f565b61393d565b82525050565b5f8160601b9050919050565b5f6139738261395d565b9050919050565b5f61398482613969565b9050919050565b61399c613997826131bc565b61397a565b82525050565b5f6139ad8288613946565b6020820191506139bd828761398b565b6014820191506139cd8286613946565b6020820191506139dd8285613946565b6020820191506139ed828461398b565b6014820191508190509695505050505050565b7f5369676e617475726520766572696669636174696f6e206661696c75726500005f82015250565b5f613a34601e8361309b565b9150613a3f82613a00565b602082019050919050565b5f6020820190508181035f830152613a6181613a28565b9050919050565b7f56616c756520657863656564732063757272656e74207468726573686f6c64005f82015250565b5f613a9c601f8361309b565b9150613aa782613a68565b602082019050919050565b5f6020820190508181035f830152613ac981613a90565b9050919050565b5f613ada8261313f565b9150613ae58361313f565b9250828203905081811115613afd57613afc61361c565b5b92915050565b7f4d7573742062652073656e742066726f6d20617574686f72697a65642073656e5f8201527f64657220696e2074686520636f7272656374206f726465720000000000000000602082015250565b5f613b5d60388361309b565b9150613b6882613b03565b604082019050919050565b5f6020820190508181035f830152613b8a81613b51565b9050919050565b7f6f70657261746f7220616c7265616479207365740000000000000000000000005f82015250565b5f613bc560148361309b565b9150613bd082613b91565b602082019050919050565b5f6020820190508181035f830152613bf281613bb9565b9050919050565b7f796f75206d61643f0000000000000000000000000000000000000000000000005f82015250565b5f613c2d60088361309b565b9150613c3882613bf9565b602082019050919050565b5f6020820190508181035f830152613c5a81613c21565b9050919050565b7f696e76616c6964207265766f6b6520696e6465780000000000000000000000005f82015250565b5f613c9560148361309b565b9150613ca082613c61565b602082019050919050565b5f6020820190508181035f830152613cc281613c89565b9050919050565b5f606082019050613cdc5f8301866131cd565b613ce96020830185613290565b613cf66040830184613290565b949350505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f613d358261313f565b9150613d408361313f565b9250828202613d4e8161313f565b91508282048414831517613d6557613d6461361c565b5b5092915050565b613d758161341f565b82525050565b5f608082019050613d8e5f830187613d6c565b613d9b6020830186613364565b613da86040830185613d6c565b613db56060830184613d6c565b95945050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b5f602082019050613dfe5f830184613d6c565b9291505056fea264697066735822122004b973da566a3ecfd8ab5f19a19ea0943801463dda8aac12fbce074cbee56d4d64736f6c6343000814003300000000000000000000000000000000000000000000003635c9adc5dea00000

0x608060405234801561000f575f80fd5b50600436106101e3575f3560e01c8063715018a61161010d578063a9059cbb116100a0578063e75235b81161006f578063e75235b81461055d578063e7a1c1c01461057b578063f2fde38b14610597578063f759ef19146105b3576101e3565b8063a9059cbb146104d5578063a943a4da14610505578063beab71311461050f578063dd62ed3e1461052d576101e3565b80638da5cb5b116100dc5780638da5cb5b1461045d57806395d89b411461047b578063a547579314610499578063a76ef019146104b7576101e3565b8063715018a6146103fb57806376b8d6ab146104055780637f3c81601461042157806380de82201461043f576101e3565b8063313ce5671161018557806365868a951161015457806365868a951461036157806368b079f41461039157806370a08231146103ad57806370b0a843146103dd576101e3565b8063313ce567146102eb57806342966c68146103095780634e22ab921461032557806355c42b3414610343576101e3565b806318160ddd116101c157806318160ddd146102655780631be35d2b146102835780631dd319cb1461029f57806323b872dd146102bb576101e3565b806306fdde03146101e75780630756b5df14610205578063095ea7b314610235575b5f80fd5b6101ef6105cf565b6040516101fc919061311b565b60405180910390f35b61021f600480360381019061021a9190613172565b61065f565b60405161022c91906131dc565b60405180910390f35b61024f600480360381019061024a919061321f565b61068f565b60405161025c9190613277565b60405180910390f35b61026d6106b1565b60405161027a919061329f565b60405180910390f35b61029d600480360381019061029891906132b8565b6106ba565b005b6102b960048036038101906102b4919061321f565b6109a4565b005b6102d560048036038101906102d09190613308565b610a0c565b6040516102e29190613277565b60405180910390f35b6102f3610a3a565b6040516103009190613373565b60405180910390f35b610323600480360381019061031e9190613172565b610a42565b005b61032d610a4f565b60405161033a919061329f565b60405180910390f35b61034b610a55565b604051610358919061329f565b60405180910390f35b61037b60048036038101906103769190613172565b610a5b565b6040516103889190613277565b60405180910390f35b6103ab60048036038101906103a6919061338c565b610a81565b005b6103c760048036038101906103c291906133ca565b610eed565b6040516103d4919061329f565b60405180910390f35b6103e5610f32565b6040516103f291906131dc565b60405180910390f35b610403610f57565b005b61041f600480360381019061041a9190613452565b610f6a565b005b610429611150565b604051610436919061329f565b60405180910390f35b610447611156565b604051610454919061329f565b60405180910390f35b61046561115c565b60405161047291906131dc565b60405180910390f35b610483611184565b604051610490919061311b565b60405180910390f35b6104a1611214565b6040516104ae919061329f565b60405180910390f35b6104bf61121a565b6040516104cc919061329f565b60405180910390f35b6104ef60048036038101906104ea919061321f565b611220565b6040516104fc9190613277565b60405180910390f35b61050d611242565b005b61051761132c565b604051610524919061329f565b60405180910390f35b610547600480360381019061054291906134db565b611332565b604051610554919061329f565b60405180910390f35b6105656113b4565b604051610572919061329f565b60405180910390f35b6105956004803603810190610590919061338c565b6113bd565b005b6105b160048036038101906105ac91906133ca565b61152e565b005b6105cd60048036038101906105c89190613519565b6115b2565b005b6060600380546105de90613584565b80601f016020809104026020016040519081016040528092919081815260200182805461060a90613584565b80156106555780601f1061062c57610100808354040283529160200191610655565b820191905f5260205f20905b81548152906001019060200180831161063857829003601f168201915b5050505050905090565b600e602052805f5260405f205f915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f80610699611980565b90506106a6818585611987565b600191505092915050565b5f600254905090565b6106c2611999565b5f73ffffffffffffffffffffffffffffffffffffffff16600e5f600181526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614801561078a57505f73ffffffffffffffffffffffffffffffffffffffff16600e5f600281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b6107c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107c0906135fe565b60405180910390fd5b82600e5f600181526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600e5f600281526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505050565b6109ae3382611a20565b60165f8154809291906109c090613649565b91905055818373ffffffffffffffffffffffffffffffffffffffff167ff64ae1cc3e0e07da9c895b3225439175cab5838aca24c4e74852704858c96a7b60405160405180910390a45050565b5f80610a16611980565b9050610a23858285611a9f565b610a2e858585611b31565b60019150509392505050565b5f6012905090565b610a4c33826109a4565b50565b600a5481565b600b5481565b5f60155f8381526020019081526020015f205f9054906101000a900460ff169050919050565b5f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610b20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1790613700565b60405180910390fd5b5f6009541480610b3257506001600954145b610b71576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b6890613768565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff16600f5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610c3b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c32906137f6565b60405180910390fd5b5f5b600c54811015610cf8578273ffffffffffffffffffffffffffffffffffffffff16600e5f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610ce5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cdc90613884565b60405180910390fd5b8080610cf090613649565b915050610c3d565b505f60095403610d0b5760016009819055505b81600f5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600a5f828254610d9891906138a2565b92505081905550610da7611c21565b90508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1603610dea57610de461208e565b50610ee9565b8073ffffffffffffffffffffffffffffffffffffffff1660065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603610e4c57610e4661208e565b50610ee9565b8073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff1614610e9657610e8881612247565b610e9061208e565b50610ee9565b8073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff16148015610ed45750600c54600a54145b15610ee757610ee161208e565b50610ee9565b505b5050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b610f5f611999565b610f685f6122d6565b565b5f151560155f8781526020019081526020015f205f9054906101000a900460ff16151514610fcd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fc49061391f565b60405180910390fd5b60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1661106287868860185460195f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040516020016110449594939291906139a2565b60405160208183030381529060405280519060200120858585612399565b73ffffffffffffffffffffffffffffffffffffffff16146110b8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110af90613a4a565b60405180910390fd5b8560075410156110fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110f490613ab2565b60405180910390fd5b600160155f8781526020019081526020015f205f6101000a81548160ff02191690831515021790555061113084876123c7565b8560075f8282546111419190613ad0565b92505081905550505050505050565b60075481565b600c5481565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606004805461119390613584565b80601f01602080910402602001604051908101604052809291908181526020018280546111bf90613584565b801561120a5780601f106111e15761010080835404028352916020019161120a565b820191905f5260205f20905b8154815290600101906020018083116111ed57829003601f168201915b5050505050905090565b60095481565b60085481565b5f8061122a611980565b9050611237818585611b31565b600191505092915050565b600e5f60085481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146112e2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112d990613b73565b60405180910390fd5b60175460075f8282546112f591906138a2565b92505081905550600160085f82825461130e91906138a2565b92505081905550600854600c54101561132a5760016008819055505b565b60185481565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f600754905090565b600e5f8381526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461145b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161145290613700565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16036114ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114e190613bdb565b60405180910390fd5b8060065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b611536611999565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036115a6575f6040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040161159d91906131dc565b60405180910390fd5b6115af816122d6565b50565b5f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611651576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161164890613700565b60405180910390fd5b5f600954148061166357506002600954145b6116a2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169990613768565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff16600f5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461176c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611763906137f6565b60405180910390fd5b6002600c54116117b1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117a890613c43565b60405180910390fd5b5f5b600c5481101561186e575f73ffffffffffffffffffffffffffffffffffffffff16600e5f8581526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff160361185b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161185290613cab565b60405180910390fd5b808061186690613649565b9150506117b3565b505f600954036118815760026009819055505b8160105f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505f600f5f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600a5f82825461195091906138a2565b9250508190555061195f612446565b90505f81111561197b5761197281612731565b61197a61284b565b5b505050565b5f33905090565b6119948383836001612a09565b505050565b6119a1611980565b73ffffffffffffffffffffffffffffffffffffffff166119bf61115c565b73ffffffffffffffffffffffffffffffffffffffff1614611a1e576119e2611980565b6040517f118cdaa7000000000000000000000000000000000000000000000000000000008152600401611a1591906131dc565b60405180910390fd5b565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611a90575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401611a8791906131dc565b60405180910390fd5b611a9b825f83612bd8565b5050565b5f611aaa8484611332565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114611b2b5781811015611b1c578281836040517ffb8f41b2000000000000000000000000000000000000000000000000000000008152600401611b1393929190613cc9565b60405180910390fd5b611b2a84848484035f612a09565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611ba1575f6040517f96c6fd1e000000000000000000000000000000000000000000000000000000008152600401611b9891906131dc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611c11575f6040517fec442f05000000000000000000000000000000000000000000000000000000008152600401611c0891906131dc565b60405180910390fd5b611c1c838383612bd8565b505050565b5f805f90505f805f600190505b600c548111611eb657600f5f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff169350600e5f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161480611d5b57508373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff16145b611ea357600160115f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254611dac91906138a2565b92505081905550601384908060018154018082558091505060019003905f5260205f20015f9091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600f5f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555b8080611eae90613649565b915050611c2e565b505f5b6013805490508110156120135760115f60138381548110611edd57611edc613cfe565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20548210156120005760115f60138381548110611f5d57611f5c613cfe565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054915060138181548110611fd557611fd4613cfe565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1692505b808061200b90613649565b915050611eb9565b50600b54612710826120259190613d2b565b106120355781935050505061208b565b5f612710826120449190613d2b565b612710600a54600c546120579190613ad0565b6120619190613d2b565b61206b91906138a2565b9050600b54811015612083573394505050505061208b565b5f9450505050505b90565b5f5b60138054905081101561212b5760115f601383815481106120b4576120b3613cfe565b5b905f5260205f20015f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9055808061212390613649565b915050612090565b505f600190505b600c54811161222957600e5f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600f5f600e5f8581526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808061222190613649565b915050612132565b5060135f612237919061303a565b5f600a819055505f600981905550565b80600e5f6001600c5461225a91906138a2565b81526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600c5f8282546122b691906138a2565b92505081905550600d54600c546122cd9190613d2b565b600b8190555050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b5f805f806123a988888888612df1565b9250925092506123b98282612ed8565b829350505050949350505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603612437575f6040517fec442f0500000000000000000000000000000000000000000000000000000000815260040161242e91906131dc565b60405180910390fd5b6124425f8383612bd8565b5050565b5f805f90505f805f600190505b600c5481116126025760105f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205492505f73ffffffffffffffffffffffffffffffffffffffff16600e5f8581526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1603156125ef57600160125f8581526020019081526020015f205f82825461255191906138a2565b92505081905550601483908060018154018082558091505060019003905f5260205f20015f909190919091505560105f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f90555b80806125fa90613649565b915050612453565b505f5b6014805490508110156126aa5760125f6014838154811061262957612628613cfe565b5b905f5260205f20015481526020019081526020015f20548410156126975760125f6014838154811061265e5761265d613cfe565b5b905f5260205f20015481526020019081526020015f205493506014818154811061268b5761268a613cfe565b5b905f5260205f20015491505b80806126a290613649565b915050612605565b50600b54612710846126bc9190613d2b565b106126cc5780935050505061272e565b5f612710846126db9190613d2b565b612710600a54600c546126ee9190613ad0565b6126f89190613d2b565b61270291906138a2565b9050600b54811115806127185750600c54600a54145b156127265761272561284b565b5b5f9450505050505b90565b600e5f8281526020019081526020015f205f6101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690555f8190505b600c54811161281057600e5f60018361278291906138a2565b81526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600e5f8381526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550808061280890613649565b915050612769565b506001600c5f8282546128239190613ad0565b92505081905550600d54600c5461283a9190613d2b565b600b81905550600160088190555050565b5f5b600c54811161287d5760125f8281526020019081526020015f205f9055808061287590613649565b91505061284d565b505f600190505b600c5481116129eb5760105f600e5f8481526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9055600e5f8281526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600f5f600e5f8581526020019081526020015f205f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080806129e390613649565b915050612884565b5060145f6129f99190613058565b5f600a819055505f600981905550565b5f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603612a79575f6040517fe602df05000000000000000000000000000000000000000000000000000000008152600401612a7091906131dc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603612ae9575f6040517f94280d62000000000000000000000000000000000000000000000000000000008152600401612ae091906131dc565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508015612bd2578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051612bc9919061329f565b60405180910390a35b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603612c28578060025f828254612c1c91906138a2565b92505081905550612cf6565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015612cb1578381836040517fe450d38c000000000000000000000000000000000000000000000000000000008152600401612ca893929190613cc9565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550505b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603612d3d578060025f8282540392505081905550612d87565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051612de4919061329f565b60405180910390a3505050565b5f805f7f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0845f1c1115612e2d575f600385925092509250612ece565b5f6001888888886040515f8152602001604052604051612e509493929190613d7b565b6020604051602081039080840390855afa158015612e70573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603612ec1575f60015f801b93509350935050612ece565b805f805f1b935093509350505b9450945094915050565b5f6003811115612eeb57612eea613dbe565b5b826003811115612efe57612efd613dbe565b5b03156130365760016003811115612f1857612f17613dbe565b5b826003811115612f2b57612f2a613dbe565b5b03612f62576040517ff645eedf00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60026003811115612f7657612f75613dbe565b5b826003811115612f8957612f88613dbe565b5b03612fcd57805f1c6040517ffce698f7000000000000000000000000000000000000000000000000000000008152600401612fc4919061329f565b60405180910390fd5b600380811115612fe057612fdf613dbe565b5b826003811115612ff357612ff2613dbe565b5b0361303557806040517fd78bce0c00000000000000000000000000000000000000000000000000000000815260040161302c9190613deb565b60405180910390fd5b5b5050565b5080545f8255905f5260205f20908101906130559190613076565b50565b5080545f8255905f5260205f20908101906130739190613076565b50565b5b8082111561308d575f815f905550600101613077565b5090565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156130c85780820151818401526020810190506130ad565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6130ed82613091565b6130f7818561309b565b93506131078185602086016130ab565b613110816130d3565b840191505092915050565b5f6020820190508181035f83015261313381846130e3565b905092915050565b5f80fd5b5f819050919050565b6131518161313f565b811461315b575f80fd5b50565b5f8135905061316c81613148565b92915050565b5f602082840312156131875761318661313b565b5b5f6131948482850161315e565b91505092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6131c68261319d565b9050919050565b6131d6816131bc565b82525050565b5f6020820190506131ef5f8301846131cd565b92915050565b6131fe816131bc565b8114613208575f80fd5b50565b5f81359050613219816131f5565b92915050565b5f80604083850312156132355761323461313b565b5b5f6132428582860161320b565b92505060206132538582860161315e565b9150509250929050565b5f8115159050919050565b6132718161325d565b82525050565b5f60208201905061328a5f830184613268565b92915050565b6132998161313f565b82525050565b5f6020820190506132b25f830184613290565b92915050565b5f805f606084860312156132cf576132ce61313b565b5b5f6132dc8682870161320b565b93505060206132ed8682870161320b565b92505060406132fe8682870161320b565b9150509250925092565b5f805f6060848603121561331f5761331e61313b565b5b5f61332c8682870161320b565b935050602061333d8682870161320b565b925050604061334e8682870161315e565b9150509250925092565b5f60ff82169050919050565b61336d81613358565b82525050565b5f6020820190506133865f830184613364565b92915050565b5f80604083850312156133a2576133a161313b565b5b5f6133af8582860161315e565b92505060206133c08582860161320b565b9150509250929050565b5f602082840312156133df576133de61313b565b5b5f6133ec8482850161320b565b91505092915050565b6133fe81613358565b8114613408575f80fd5b50565b5f81359050613419816133f5565b92915050565b5f819050919050565b6134318161341f565b811461343b575f80fd5b50565b5f8135905061344c81613428565b92915050565b5f805f805f8060c0878903121561346c5761346b61313b565b5b5f61347989828a0161315e565b965050602061348a89828a0161315e565b955050604061349b89828a0161320b565b94505060606134ac89828a0161340b565b93505060806134bd89828a0161343e565b92505060a06134ce89828a0161343e565b9150509295509295509295565b5f80604083850312156134f1576134f061313b565b5b5f6134fe8582860161320b565b925050602061350f8582860161320b565b9150509250929050565b5f806040838503121561352f5761352e61313b565b5b5f61353c8582860161315e565b925050602061354d8582860161315e565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061359b57607f821691505b6020821081036135ae576135ad613557565b5b50919050565b7f417574686f72697a65642061646472657373657320616c7265616479207365745f82015250565b5f6135e860208361309b565b91506135f3826135b4565b602082019050919050565b5f6020820190508181035f830152613615816135dc565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6136538261313f565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036136855761368461361c565b5b600182019050919050565b7f4d7573742062652073656e742066726f6d20617574686f72697a65642073656e5f8201527f6465720000000000000000000000000000000000000000000000000000000000602082015250565b5f6136ea60238361309b565b91506136f582613690565b604082019050919050565b5f6020820190508181035f830152613717816136de565b9050919050565b7f416e6f7468657220766f74696e67206973206f6e676f696e67000000000000005f82015250565b5f61375260198361309b565b915061375d8261371e565b602082019050919050565b5f6020820190508181035f83015261377f81613746565b9050919050565b7f4f6e6520766f74652070657220617574686f72697a65642061646472657373205f8201527f6f6e6c7900000000000000000000000000000000000000000000000000000000602082015250565b5f6137e060248361309b565b91506137eb82613786565b604082019050919050565b5f6020820190508181035f83015261380d816137d4565b9050919050565b7f766f74696e67206164647265737320616c726561647920617574686f72697a655f8201527f6400000000000000000000000000000000000000000000000000000000000000602082015250565b5f61386e60218361309b565b915061387982613814565b604082019050919050565b5f6020820190508181035f83015261389b81613862565b9050919050565b5f6138ac8261313f565b91506138b78361313f565b92508282019050808211156138cf576138ce61361c565b5b92915050565b7f4e6f6e636520616c7265616479207573656400000000000000000000000000005f82015250565b5f61390960128361309b565b9150613914826138d5565b602082019050919050565b5f6020820190508181035f830152613936816138fd565b9050919050565b5f819050919050565b6139576139528261313f565b61393d565b82525050565b5f8160601b9050919050565b5f6139738261395d565b9050919050565b5f61398482613969565b9050919050565b61399c613997826131bc565b61397a565b82525050565b5f6139ad8288613946565b6020820191506139bd828761398b565b6014820191506139cd8286613946565b6020820191506139dd8285613946565b6020820191506139ed828461398b565b6014820191508190509695505050505050565b7f5369676e617475726520766572696669636174696f6e206661696c75726500005f82015250565b5f613a34601e8361309b565b9150613a3f82613a00565b602082019050919050565b5f6020820190508181035f830152613a6181613a28565b9050919050565b7f56616c756520657863656564732063757272656e74207468726573686f6c64005f82015250565b5f613a9c601f8361309b565b9150613aa782613a68565b602082019050919050565b5f6020820190508181035f830152613ac981613a90565b9050919050565b5f613ada8261313f565b9150613ae58361313f565b9250828203905081811115613afd57613afc61361c565b5b92915050565b7f4d7573742062652073656e742066726f6d20617574686f72697a65642073656e5f8201527f64657220696e2074686520636f7272656374206f726465720000000000000000602082015250565b5f613b5d60388361309b565b9150613b6882613b03565b604082019050919050565b5f6020820190508181035f830152613b8a81613b51565b9050919050565b7f6f70657261746f7220616c7265616479207365740000000000000000000000005f82015250565b5f613bc560148361309b565b9150613bd082613b91565b602082019050919050565b5f6020820190508181035f830152613bf281613bb9565b9050919050565b7f796f75206d61643f0000000000000000000000000000000000000000000000005f82015250565b5f613c2d60088361309b565b9150613c3882613bf9565b602082019050919050565b5f6020820190508181035f830152613c5a81613c21565b9050919050565b7f696e76616c6964207265766f6b6520696e6465780000000000000000000000005f82015250565b5f613c9560148361309b565b9150613ca082613c61565b602082019050919050565b5f6020820190508181035f830152613cc281613c89565b9050919050565b5f606082019050613cdc5f8301866131cd565b613ce96020830185613290565b613cf66040830184613290565b949350505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f613d358261313f565b9150613d408361313f565b9250828202613d4e8161313f565b91508282048414831517613d6557613d6461361c565b5b5092915050565b613d758161341f565b82525050565b5f608082019050613d8e5f830187613d6c565b613d9b6020830186613364565b613da86040830185613d6c565b613db56060830184613d6c565b95945050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b5f602082019050613dfe5f830184613d6c565b9291505056fea264697066735822122004b973da566a3ecfd8ab5f19a19ea0943801463dda8aac12fbce074cbee56d4d64736f6c63430008140033

00000000000000000000000000000000000000000000003635c9adc5dea00000

-----Decoded View---------------
Arg [0] : thresholdLevel (uint256): 1000000000000000000000

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000000003635c9adc5dea00000

280:1724:8:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2074:89:2;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;493:55:7;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4293:186:2;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3144:97;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1017:548:7;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1847:155:8;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5039:244:2;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3002:82;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1760:81:8;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;346:25:7;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;377:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4877:109;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1571:1724;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3299:116:2;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;215:24:7;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2293:101:0;;;:::i;:::-;;1054:700:8;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;245:25:7;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;420:40;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1638:85:0;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2276:93:2;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;308:32:7;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;276:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3610:178:2;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5086:363:7;;;:::i;:::-;;454:23:8;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3846:140:2;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4992:88:7;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3301:326;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2543:215:0;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3633:1238:7;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2074:89:2;2119:13;2151:5;2144:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2074:89;:::o;493:55:7:-;;;;;;;;;;;;;;;;;;;;;;:::o;4293:186:2:-;4366:4;4382:13;4398:12;:10;:12::i;:::-;4382:28;;4420:31;4429:5;4436:7;4445:5;4420:8;:31::i;:::-;4468:4;4461:11;;;4293:186;;;;:::o;3144:97::-;3196:7;3222:12;;3215:19;;3144:97;:::o;1017:548:7:-;1531:13:0;:11;:13::i;:::-;1207:1:7::1;1172:37;;:20;:23;1193:1;1172:23;;;;;;;;;;;;;;;;;;;;;:37;;;:90;;;;;1260:1;1225:37;;:20;:23;1246:1;1225:23;;;;;;;;;;;;;;;;;;;;;:37;;;1172:90;1151:169;;;;;;;;;;;;:::i;:::-;;;;;;;;;1356:11;1330:20;:23;1351:1;1330:23;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;1403:11;1377:20;:23;1398:1;1377:23;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;1460:11;1424:20;:33;1445:11;1424:33;;;;;;;;;;;;;;;;:47;;;;;;;;;;;;;;;;;;1517:11;1481:20;:33;1502:11;1481:33;;;;;;;;;;;;;;;;:47;;;;;;;;;;;;;;;;;;1550:8;1538:9;;:20;;;;;;;;;;;;;;;;;;1017:548:::0;;;:::o;1847:155:8:-;1915:24;1921:10;1933:5;1915;:24::i;:::-;1982:10;;:12;;;;;;;;;:::i;:::-;;;;;1975:5;1964:9;1954:41;;;;;;;;;;;;1847:155;;:::o;5039:244:2:-;5126:4;5142:15;5160:12;:10;:12::i;:::-;5142:30;;5182:37;5198:4;5204:7;5213:5;5182:15;:37::i;:::-;5229:26;5239:4;5245:2;5249:5;5229:9;:26::i;:::-;5272:4;5265:11;;;5039:244;;;;;:::o;3002:82::-;3051:5;3075:2;3068:9;;3002:82;:::o;1760:81:8:-;1808:26;1816:10;1828:5;1808:7;:26::i;:::-;1760:81;:::o;346:25:7:-;;;;:::o;377:37::-;;;;:::o;4877:109::-;4941:4;4964:7;:15;4972:6;4964:15;;;;;;;;;;;;;;;;;;;;;4957:22;;4877:109;;;:::o;1571:1724::-;1655:22;1735:20;:37;1756:15;1735:37;;;;;;;;;;;;;;;;;;;;;1721:51;;:10;:51;;;1700:133;;;;;;;;;;;;:::i;:::-;;;;;;;;;1885:1;1864:17;;:22;:48;;;;1911:1;1890:17;;:22;1864:48;1843:120;;;;;;;;;;;;:::i;:::-;;;;;;;;;2030:10;1994:46;;:20;:32;2015:10;1994:32;;;;;;;;;;;;;;;;;;;;;;;;;:46;;;1973:129;;;;;;;;;;;;:::i;:::-;;;;;;;;;2117:9;2112:167;2136:25;;2132:1;:29;2112:167;;;2217:13;2190:40;;:20;:23;2211:1;2190:23;;;;;;;;;;;;;;;;;;;;;:40;;;2182:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;2163:3;;;;;:::i;:::-;;;;2112:167;;;;2313:1;2292:17;;:22;2288:74;;2350:1;2330:17;:21;;;;2288:74;2406:13;2371:20;:32;2392:10;2371:32;;;;;;;;;;;;;;;;:48;;;;;;;;;;;;;;;;;;2443:1;2429:10;;:15;;;;;;;:::i;:::-;;;;;;;;2471:19;:17;:19::i;:::-;2454:36;;2580:14;2566:28;;:10;:28;;;2562:99;;2610:19;:17;:19::i;:::-;2644:7;;;2562:99;2688:14;2675:27;;:9;;;;;;;;;;;:27;;;2671:97;;2718:19;:17;:19::i;:::-;2751:7;;;2671:97;2796:14;2782:28;;2790:1;2782:28;;;2778:143;;2826:30;2841:14;2826;:30::i;:::-;2870:19;:17;:19::i;:::-;2904:7;;;2778:143;3165:14;3151:28;;3159:1;3151:28;;;:71;;;;;3197:25;;3183:10;;:39;3151:71;3147:142;;;3238:19;:17;:19::i;:::-;3272:7;;;3147:142;1645:1650;1571:1724;;;:::o;3299:116:2:-;3364:7;3390:9;:18;3400:7;3390:18;;;;;;;;;;;;;;;;3383:25;;3299:116;;;:::o;215:24:7:-;;;;;;;;;;;;;:::o;2293:101:0:-;1531:13;:11;:13::i;:::-;2357:30:::1;2384:1;2357:18;:30::i;:::-;2293:101::o:0;1054:700:8:-;1259:5;1235:29;;:7;:20;1243:11;1235:20;;;;;;;;;;;;;;;;;;;;;:29;;;1227:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;1510:9;;;;;;;;;;;1318:201;;:188;1376:5;1383:9;1394:11;1407:8;;1417:16;;;;;;;;;;;1359:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;1349:86;;;;;;1453:1;1472;1491;1318:13;:188::i;:::-;:201;;;1297:278;;;;;;;;;;;;:::i;:::-;;;;;;;;;1607:5;1593:10;;:19;;1585:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;1681:4;1658:7;:20;1666:11;1658:20;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;1695:23;1701:9;1712:5;1695;:23::i;:::-;1742:5;1728:10;;:19;;;;;;;:::i;:::-;;;;;;;;1054:700;;;;;;:::o;245:25:7:-;;;;:::o;420:40::-;;;;:::o;1638:85:0:-;1684:7;1710:6;;;;;;;;;;;1703:13;;1638:85;:::o;2276:93:2:-;2323:13;2355:7;2348:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2276:93;:::o;308:32:7:-;;;;:::o;276:26::-;;;;:::o;3610:178:2:-;3679:4;3695:13;3711:12;:10;:12::i;:::-;3695:28;;3733:27;3743:5;3750:2;3754:5;3733:9;:27::i;:::-;3777:4;3770:11;;;3610:178;;;;:::o;5086:363:7:-;5168:20;:33;5189:11;;5168:33;;;;;;;;;;;;;;;;;;;;;5154:47;;:10;:47;;;5133:150;;;;;;;;;;;;:::i;:::-;;;;;;;;;5307:15;;5293:10;;:29;;;;;;;:::i;:::-;;;;;;;;5347:1;5332:11;;:16;;;;;;;:::i;:::-;;;;;;;;5390:11;;5362:25;;:39;5358:85;;;5431:1;5417:11;:15;;;;5358:85;5086:363::o;454:23:8:-;;;;:::o;3846:140:2:-;3926:7;3952:11;:18;3964:5;3952:18;;;;;;;;;;;;;;;:27;3971:7;3952:27;;;;;;;;;;;;;;;;3945:34;;3846:140;;;;:::o;4992:88:7:-;5037:7;5063:10;;5056:17;;4992:88;:::o;3301:326::-;3422:20;:37;3443:15;3422:37;;;;;;;;;;;;;;;;;;;;;3408:51;;:10;:51;;;3387:133;;;;;;;;;;;;:::i;:::-;;;;;;;;;3551:11;3538:24;;:9;;;;;;;;;;;:24;;;3530:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;3609:11;3597:9;;:23;;;;;;;;;;;;;;;;;;3301:326;;:::o;2543:215:0:-;1531:13;:11;:13::i;:::-;2647:1:::1;2627:22;;:8;:22;;::::0;2623:91:::1;;2700:1;2672:31;;;;;;;;;;;:::i;:::-;;;;;;;;2623:91;2723:28;2742:8;2723:18;:28::i;:::-;2543:215:::0;:::o;3633:1238:7:-;3733:27;3809:20;:37;3830:15;3809:37;;;;;;;;;;;;;;;;;;;;;3795:51;;:10;:51;;;3774:133;;;;;;;;;;;;:::i;:::-;;;;;;;;;3959:1;3938:17;;:22;:48;;;;3985:1;3964:17;;:22;3938:48;3917:120;;;;;;;;;;;;:::i;:::-;;;;;;;;;4104:10;4068:46;;:20;:32;4089:10;4068:32;;;;;;;;;;;;;;;;;;;;;;;;;:46;;;4047:129;;;;;;;;;;;;:::i;:::-;;;;;;;;;4235:1;4207:25;;:29;4186:84;;;;;;;;;;;;:::i;:::-;;;;;;;;;4286:9;4281:168;4305:25;;4301:1;:29;4281:168;;;4411:1;4359:54;;:20;:40;4380:18;4359:40;;;;;;;;;;;;;;;;;;;;;:54;;;4351:87;;;;;;;;;;;;:::i;:::-;;;;;;;;;4332:3;;;;;:::i;:::-;;;;4281:168;;;;4484:1;4463:17;;:22;4459:74;;4521:1;4501:17;:21;;;;4459:74;4574:18;4542:17;:29;4560:10;4542:29;;;;;;;;;;;;;;;:50;;;;4645:1;4602:20;:32;4623:10;4602:32;;;;;;;;;;;;;;;;:45;;;;;;;;;;;;;;;;;;4671:1;4657:10;;:15;;;;;;;:::i;:::-;;;;;;;;4704:22;:20;:22::i;:::-;4682:44;;4763:1;4741:19;:23;4737:128;;;4780:38;4798:19;4780:17;:38::i;:::-;4832:22;:20;:22::i;:::-;4737:128;3723:1148;3633:1238;;:::o;656:96:5:-;709:7;735:10;728:17;;656:96;:::o;8989:128:2:-;9073:37;9082:5;9089:7;9098:5;9105:4;9073:8;:37::i;:::-;8989:128;;;:::o;1796:162:0:-;1866:12;:10;:12::i;:::-;1855:23;;:7;:5;:7::i;:::-;:23;;;1851:101;;1928:12;:10;:12::i;:::-;1901:40;;;;;;;;;;;:::i;:::-;;;;;;;;1851:101;1796:162::o;8247:206:2:-;8336:1;8317:21;;:7;:21;;;8313:89;;8388:1;8361:30;;;;;;;;;;;:::i;:::-;;;;;;;;8313:89;8411:35;8419:7;8436:1;8440:5;8411:7;:35::i;:::-;8247:206;;:::o;10663:477::-;10762:24;10789:25;10799:5;10806:7;10789:9;:25::i;:::-;10762:52;;10848:17;10828:16;:37;10824:310;;10904:5;10885:16;:24;10881:130;;;10963:7;10972:16;10990:5;10936:60;;;;;;;;;;;;;:::i;:::-;;;;;;;;10881:130;11052:57;11061:5;11068:7;11096:5;11077:16;:24;11103:5;11052:8;:57::i;:::-;10824:310;10752:388;10663:477;;;:::o;5656:300::-;5755:1;5739:18;;:4;:18;;;5735:86;;5807:1;5780:30;;;;;;;;;;;:::i;:::-;;;;;;;;5735:86;5848:1;5834:16;;:2;:16;;;5830:86;;5902:1;5873:32;;;;;;;;;;;:::i;:::-;;;;;;;;5830:86;5925:24;5933:4;5939:2;5943:5;5925:7;:24::i;:::-;5656:300;;;:::o;7043:1287:7:-;7090:7;7109:20;7140:1;7109:33;;7152:22;7197:20;7237:9;7249:1;7237:13;;7232:443;7257:25;;7252:1;:30;7232:443;;7318:20;:45;7339:20;:23;7360:1;7339:23;;;;;;;;;;;;;;;;;;;;;7318:45;;;;;;;;;;;;;;;;;;;;;;;;;7303:60;;7398:20;:23;7419:1;7398:23;;;;;;;;;;;;;;;;;;;;;7382:39;;:12;:39;;;:69;;;;7439:12;7425:26;;7433:1;7425:26;;;7382:69;7471:8;7378:116;7545:1;7508:19;:33;7528:12;7508:33;;;;;;;;;;;;;;;;:38;;;;;;;:::i;:::-;;;;;;;;7560:19;7585:12;7560:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7619:20;:45;7640:20;:23;7661:1;7640:23;;;;;;;;;;;;;;;;;;;;;7619:45;;;;;;;;;;;;;;;;7612:52;;;;;;;;;;;7232:443;7284:3;;;;;:::i;:::-;;;;7232:443;;;;7689:9;7684:293;7708:19;:26;;;;7704:1;:30;7684:293;;;7774:19;:43;7794:19;7814:1;7794:22;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7774:43;;;;;;;;;;;;;;;;7759:12;:58;7755:212;;;7852:19;:43;7872:19;7892:1;7872:22;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7852:43;;;;;;;;;;;;;;;;7837:58;;7930:19;7950:1;7930:22;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7913:39;;7755:212;7736:3;;;;;:::i;:::-;;;;7684:293;;;;8016:22;;8006:6;7991:12;:21;;;;:::i;:::-;:47;7987:99;;8061:14;8054:21;;;;;;;7987:99;8096:21;8191:6;8176:12;:21;;;;:::i;:::-;8165:6;8151:10;;8123:25;;:38;;;;:::i;:::-;8122:49;;;;:::i;:::-;8121:77;;;;:::i;:::-;8096:103;;8230:22;;8214:13;:38;8210:86;;;8275:10;8268:17;;;;;;;;8210:86;8321:1;8306:17;;;;;;7043:1287;;:::o;6096:442::-;6149:9;6144:132;6168:19;:26;;;;6164:1;:30;6144:132;;;6222:19;:43;6242:19;6262:1;6242:22;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6222:43;;;;;;;;;;;;;;;6215:50;;;6196:3;;;;;:::i;:::-;;;;6144:132;;;;6291:9;6303:1;6291:13;;6286:153;6311:25;;6306:1;:30;6286:153;;6405:20;:23;6426:1;6405:23;;;;;;;;;;;;;;;;;;;;;6357:20;:45;6378:20;:23;6399:1;6378:23;;;;;;;;;;;;;;;;;;;;;6357:45;;;;;;;;;;;;;;;;:71;;;;;;;;;;;;;;;;;;6338:3;;;;;:::i;:::-;;;;6286:153;;;;6456:19;;6449:26;;;;:::i;:::-;6499:1;6486:10;:14;;;;6530:1;6510:17;:21;;;;6096:442::o;5455:233::-;5568:6;5514:20;:51;5563:1;5535:25;;:29;;;;:::i;:::-;5514:51;;;;;;;;;;;;:60;;;;;;;;;;;;;;;;;;5613:1;5584:25;;:30;;;;;;;:::i;:::-;;;;;;;;5677:4;;5649:25;;:32;;;;:::i;:::-;5624:22;:57;;;;5455:233;:::o;2912:187:0:-;2985:16;3004:6;;;;;;;;;;;2985:25;;3029:8;3020:6;;:17;;;;;;;;;;;;;;;;;;3083:8;3052:40;;3073:8;3052:40;;;;;;;;;;;;2975:124;2912:187;:::o;6803:260:6:-;6888:7;6908:17;6927:18;6947:16;6967:25;6978:4;6984:1;6987;6990;6967:10;:25::i;:::-;6907:85;;;;;;7002:28;7014:5;7021:8;7002:11;:28::i;:::-;7047:9;7040:16;;;;;6803:260;;;;;;:::o;7721:208:2:-;7810:1;7791:21;;:7;:21;;;7787:91;;7864:1;7835:32;;;;;;;;;;;:::i;:::-;;;;;;;;7787:91;7887:35;7903:1;7907:7;7916:5;7887:7;:35::i;:::-;7721:208;;:::o;8336:1349:7:-;8386:7;8405:20;8428:1;8405:24;;8439:25;8478:27;8525:9;8537:1;8525:13;;8520:442;8545:25;;8540:1;:30;8520:442;;8611:17;:42;8629:20;:23;8650:1;8629:23;;;;;;;;;;;;;;;;;;;;;8611:42;;;;;;;;;;;;;;;;8591:62;;8723:1;8672:53;;:20;:39;8693:17;8672:39;;;;;;;;;;;;;;;;;;;;;:53;;;8668:100;8745:8;8668:100;8827:1;8782:22;:41;8805:17;8782:41;;;;;;;;;;;;:46;;;;;;;:::i;:::-;;;;;;;;8842:22;8870:17;8842:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8909:17;:42;8927:20;:23;8948:1;8927:23;;;;;;;;;;;;;;;;;;;;;8909:42;;;;;;;;;;;;;;;8902:49;;;8520:442;8572:3;;;;;:::i;:::-;;;;8520:442;;;;8976:9;8971:316;8995:22;:29;;;;8991:1;:33;8971:316;;;9064:22;:49;9087:22;9110:1;9087:25;;;;;;;;:::i;:::-;;;;;;;;;;9064:49;;;;;;;;;;;;9049:12;:64;9045:232;;;9148:22;:49;9171:22;9194:1;9171:25;;;;;;;;:::i;:::-;;;;;;;;;;9148:49;;;;;;;;;;;;9133:64;;9237:22;9260:1;9237:25;;;;;;;;:::i;:::-;;;;;;;;;;9215:47;;9045:232;9026:3;;;;;:::i;:::-;;;;8971:316;;;;9326:22;;9316:6;9301:12;:21;;;;:::i;:::-;:47;9297:104;;9371:19;9364:26;;;;;;;9297:104;9411:21;9506:6;9491:12;:21;;;;:::i;:::-;9480:6;9466:10;;9438:25;;:38;;;;:::i;:::-;9437:49;;;;:::i;:::-;9436:77;;;;:::i;:::-;9411:103;;9546:22;;9529:13;:39;;:82;;;;9586:25;;9572:10;;:39;9529:82;9525:135;;;9627:22;:20;:22::i;:::-;9525:135;9677:1;9670:8;;;;;;8336:1349;;:::o;5694:396::-;5766:20;:31;5787:9;5766:31;;;;;;;;;;;;5759:38;;;;;;;;;;;5813:9;5825;5813:21;;5808:143;5841:25;;5836:1;:30;5808:143;;5913:20;:27;5938:1;5934;:5;;;;:::i;:::-;5913:27;;;;;;;;;;;;;;;;;;;;;5887:20;:23;5908:1;5887:23;;;;;;;;;;;;:53;;;;;;;;;;;;;;;;;;5868:3;;;;;:::i;:::-;;;;5808:143;;;;5990:1;5961:25;;:30;;;;;;;:::i;:::-;;;;;;;;6054:4;;6026:25;;:32;;;;:::i;:::-;6001:22;:57;;;;6082:1;6068:11;:15;;;;5694:396;:::o;6544:493::-;6600:9;6595:114;6620:25;;6615:1;:30;6595:114;;6673:22;:25;6696:1;6673:25;;;;;;;;;;;6666:32;;;6647:3;;;;;:::i;:::-;;;;6595:114;;;;6724:9;6736:1;6724:13;;6719:216;6744:25;;6739:1;:30;6719:216;;6797:17;:42;6815:20;:23;6836:1;6815:23;;;;;;;;;;;;;;;;;;;;;6797:42;;;;;;;;;;;;;;;6790:49;;;6901:20;:23;6922:1;6901:23;;;;;;;;;;;;;;;;;;;;;6853:20;:45;6874:20;:23;6895:1;6874:23;;;;;;;;;;;;;;;;;;;;;6853:45;;;;;;;;;;;;;;;;:71;;;;;;;;;;;;;;;;;;6771:3;;;;;:::i;:::-;;;;6719:216;;;;6952:22;;6945:29;;;;:::i;:::-;6998:1;6985:10;:14;;;;7029:1;7009:17;:21;;;;6544:493::o;9949:432:2:-;10078:1;10061:19;;:5;:19;;;10057:89;;10132:1;10103:32;;;;;;;;;;;:::i;:::-;;;;;;;;10057:89;10178:1;10159:21;;:7;:21;;;10155:90;;10231:1;10203:31;;;;;;;;;;;:::i;:::-;;;;;;;;10155:90;10284:5;10254:11;:18;10266:5;10254:18;;;;;;;;;;;;;;;:27;10273:7;10254:27;;;;;;;;;;;;;;;:35;;;;10303:9;10299:76;;;10349:7;10333:31;;10342:5;10333:31;;;10358:5;10333:31;;;;;;:::i;:::-;;;;;;;;10299:76;9949:432;;;;:::o;6271:1107::-;6376:1;6360:18;;:4;:18;;;6356:540;;6512:5;6496:12;;:21;;;;;;;:::i;:::-;;;;;;;;6356:540;;;6548:19;6570:9;:15;6580:4;6570:15;;;;;;;;;;;;;;;;6548:37;;6617:5;6603:11;:19;6599:115;;;6674:4;6680:11;6693:5;6649:50;;;;;;;;;;;;;:::i;:::-;;;;;;;;6599:115;6866:5;6852:11;:19;6834:9;:15;6844:4;6834:15;;;;;;;;;;;;;;;:37;;;;6534:362;6356:540;6924:1;6910:16;;:2;:16;;;6906:425;;7089:5;7073:12;;:21;;;;;;;;;;;6906:425;;;7301:5;7284:9;:13;7294:2;7284:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;6906:425;7361:2;7346:25;;7355:4;7346:25;;;7365:5;7346:25;;;;;;:::i;:::-;;;;;;;;6271:1107;;;:::o;5140:1530:6:-;5266:7;5275:12;5289:7;6199:66;6194:1;6186:10;;:79;6182:164;;;6297:1;6301:30;6333:1;6281:54;;;;;;;;6182:164;6440:14;6457:24;6467:4;6473:1;6476;6479;6457:24;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6440:41;;6513:1;6495:20;;:6;:20;;;6491:113;;6547:1;6551:29;6590:1;6582:10;;6531:62;;;;;;;;;6491:113;6622:6;6630:20;6660:1;6652:10;;6614:49;;;;;;;5140:1530;;;;;;;;;:::o;7196:532::-;7291:20;7282:29;;;;;;;;:::i;:::-;;:5;:29;;;;;;;;:::i;:::-;;;7278:444;7327:7;7278:444;7387:29;7378:38;;;;;;;;:::i;:::-;;:5;:38;;;;;;;;:::i;:::-;;;7374:348;;7439:23;;;;;;;;;;;;;;7374:348;7492:35;7483:44;;;;;;;;:::i;:::-;;:5;:44;;;;;;;;:::i;:::-;;;7479:243;;7586:8;7578:17;;7550:46;;;;;;;;;;;:::i;:::-;;;;;;;;7479:243;7626:30;7617:39;;;;;;;;:::i;:::-;;:5;:39;;;;;;;;:::i;:::-;;;7613:109;;7702:8;7679:32;;;;;;;;;;;:::i;:::-;;;;;;;;7613:109;7196:532;;;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;7:99:9:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:77;1713:7;1742:5;1731:16;;1676:77;;;:::o;1759:122::-;1832:24;1850:5;1832:24;:::i;:::-;1825:5;1822:35;1812:63;;1871:1;1868;1861:12;1812:63;1759:122;:::o;1887:139::-;1933:5;1971:6;1958:20;1949:29;;1987:33;2014:5;1987:33;:::i;:::-;1887:139;;;;:::o;2032:329::-;2091:6;2140:2;2128:9;2119:7;2115:23;2111:32;2108:119;;;2146:79;;:::i;:::-;2108:119;2266:1;2291:53;2336:7;2327:6;2316:9;2312:22;2291:53;:::i;:::-;2281:63;;2237:117;2032:329;;;;:::o;2367:126::-;2404:7;2444:42;2437:5;2433:54;2422:65;;2367:126;;;:::o;2499:96::-;2536:7;2565:24;2583:5;2565:24;:::i;:::-;2554:35;;2499:96;;;:::o;2601:118::-;2688:24;2706:5;2688:24;:::i;:::-;2683:3;2676:37;2601:118;;:::o;2725:222::-;2818:4;2856:2;2845:9;2841:18;2833:26;;2869:71;2937:1;2926:9;2922:17;2913:6;2869:71;:::i;:::-;2725:222;;;;:::o;2953:122::-;3026:24;3044:5;3026:24;:::i;:::-;3019:5;3016:35;3006:63;;3065:1;3062;3055:12;3006:63;2953:122;:::o;3081:139::-;3127:5;3165:6;3152:20;3143:29;;3181:33;3208:5;3181:33;:::i;:::-;3081:139;;;;:::o;3226:474::-;3294:6;3302;3351:2;3339:9;3330:7;3326:23;3322:32;3319:119;;;3357:79;;:::i;:::-;3319:119;3477:1;3502:53;3547:7;3538:6;3527:9;3523:22;3502:53;:::i;:::-;3492:63;;3448:117;3604:2;3630:53;3675:7;3666:6;3655:9;3651:22;3630:53;:::i;:::-;3620:63;;3575:118;3226:474;;;;;:::o;3706:90::-;3740:7;3783:5;3776:13;3769:21;3758:32;;3706:90;;;:::o;3802:109::-;3883:21;3898:5;3883:21;:::i;:::-;3878:3;3871:34;3802:109;;:::o;3917:210::-;4004:4;4042:2;4031:9;4027:18;4019:26;;4055:65;4117:1;4106:9;4102:17;4093:6;4055:65;:::i;:::-;3917:210;;;;:::o;4133:118::-;4220:24;4238:5;4220:24;:::i;:::-;4215:3;4208:37;4133:118;;:::o;4257:222::-;4350:4;4388:2;4377:9;4373:18;4365:26;;4401:71;4469:1;4458:9;4454:17;4445:6;4401:71;:::i;:::-;4257:222;;;;:::o;4485:619::-;4562:6;4570;4578;4627:2;4615:9;4606:7;4602:23;4598:32;4595:119;;;4633:79;;:::i;:::-;4595:119;4753:1;4778:53;4823:7;4814:6;4803:9;4799:22;4778:53;:::i;:::-;4768:63;;4724:117;4880:2;4906:53;4951:7;4942:6;4931:9;4927:22;4906:53;:::i;:::-;4896:63;;4851:118;5008:2;5034:53;5079:7;5070:6;5059:9;5055:22;5034:53;:::i;:::-;5024:63;;4979:118;4485:619;;;;;:::o;5110:::-;5187:6;5195;5203;5252:2;5240:9;5231:7;5227:23;5223:32;5220:119;;;5258:79;;:::i;:::-;5220:119;5378:1;5403:53;5448:7;5439:6;5428:9;5424:22;5403:53;:::i;:::-;5393:63;;5349:117;5505:2;5531:53;5576:7;5567:6;5556:9;5552:22;5531:53;:::i;:::-;5521:63;;5476:118;5633:2;5659:53;5704:7;5695:6;5684:9;5680:22;5659:53;:::i;:::-;5649:63;;5604:118;5110:619;;;;;:::o;5735:86::-;5770:7;5810:4;5803:5;5799:16;5788:27;;5735:86;;;:::o;5827:112::-;5910:22;5926:5;5910:22;:::i;:::-;5905:3;5898:35;5827:112;;:::o;5945:214::-;6034:4;6072:2;6061:9;6057:18;6049:26;;6085:67;6149:1;6138:9;6134:17;6125:6;6085:67;:::i;:::-;5945:214;;;;:::o;6165:474::-;6233:6;6241;6290:2;6278:9;6269:7;6265:23;6261:32;6258:119;;;6296:79;;:::i;:::-;6258:119;6416:1;6441:53;6486:7;6477:6;6466:9;6462:22;6441:53;:::i;:::-;6431:63;;6387:117;6543:2;6569:53;6614:7;6605:6;6594:9;6590:22;6569:53;:::i;:::-;6559:63;;6514:118;6165:474;;;;;:::o;6645:329::-;6704:6;6753:2;6741:9;6732:7;6728:23;6724:32;6721:119;;;6759:79;;:::i;:::-;6721:119;6879:1;6904:53;6949:7;6940:6;6929:9;6925:22;6904:53;:::i;:::-;6894:63;;6850:117;6645:329;;;;:::o;6980:118::-;7051:22;7067:5;7051:22;:::i;:::-;7044:5;7041:33;7031:61;;7088:1;7085;7078:12;7031:61;6980:118;:::o;7104:135::-;7148:5;7186:6;7173:20;7164:29;;7202:31;7227:5;7202:31;:::i;:::-;7104:135;;;;:::o;7245:77::-;7282:7;7311:5;7300:16;;7245:77;;;:::o;7328:122::-;7401:24;7419:5;7401:24;:::i;:::-;7394:5;7391:35;7381:63;;7440:1;7437;7430:12;7381:63;7328:122;:::o;7456:139::-;7502:5;7540:6;7527:20;7518:29;;7556:33;7583:5;7556:33;:::i;:::-;7456:139;;;;:::o;7601:1053::-;7703:6;7711;7719;7727;7735;7743;7792:3;7780:9;7771:7;7767:23;7763:33;7760:120;;;7799:79;;:::i;:::-;7760:120;7919:1;7944:53;7989:7;7980:6;7969:9;7965:22;7944:53;:::i;:::-;7934:63;;7890:117;8046:2;8072:53;8117:7;8108:6;8097:9;8093:22;8072:53;:::i;:::-;8062:63;;8017:118;8174:2;8200:53;8245:7;8236:6;8225:9;8221:22;8200:53;:::i;:::-;8190:63;;8145:118;8302:2;8328:51;8371:7;8362:6;8351:9;8347:22;8328:51;:::i;:::-;8318:61;;8273:116;8428:3;8455:53;8500:7;8491:6;8480:9;8476:22;8455:53;:::i;:::-;8445:63;;8399:119;8557:3;8584:53;8629:7;8620:6;8609:9;8605:22;8584:53;:::i;:::-;8574:63;;8528:119;7601:1053;;;;;;;;:::o;8660:474::-;8728:6;8736;8785:2;8773:9;8764:7;8760:23;8756:32;8753:119;;;8791:79;;:::i;:::-;8753:119;8911:1;8936:53;8981:7;8972:6;8961:9;8957:22;8936:53;:::i;:::-;8926:63;;8882:117;9038:2;9064:53;9109:7;9100:6;9089:9;9085:22;9064:53;:::i;:::-;9054:63;;9009:118;8660:474;;;;;:::o;9140:::-;9208:6;9216;9265:2;9253:9;9244:7;9240:23;9236:32;9233:119;;;9271:79;;:::i;:::-;9233:119;9391:1;9416:53;9461:7;9452:6;9441:9;9437:22;9416:53;:::i;:::-;9406:63;;9362:117;9518:2;9544:53;9589:7;9580:6;9569:9;9565:22;9544:53;:::i;:::-;9534:63;;9489:118;9140:474;;;;;:::o;9620:180::-;9668:77;9665:1;9658:88;9765:4;9762:1;9755:15;9789:4;9786:1;9779:15;9806:320;9850:6;9887:1;9881:4;9877:12;9867:22;;9934:1;9928:4;9924:12;9955:18;9945:81;;10011:4;10003:6;9999:17;9989:27;;9945:81;10073:2;10065:6;10062:14;10042:18;10039:38;10036:84;;10092:18;;:::i;:::-;10036:84;9857:269;9806:320;;;:::o;10132:182::-;10272:34;10268:1;10260:6;10256:14;10249:58;10132:182;:::o;10320:366::-;10462:3;10483:67;10547:2;10542:3;10483:67;:::i;:::-;10476:74;;10559:93;10648:3;10559:93;:::i;:::-;10677:2;10672:3;10668:12;10661:19;;10320:366;;;:::o;10692:419::-;10858:4;10896:2;10885:9;10881:18;10873:26;;10945:9;10939:4;10935:20;10931:1;10920:9;10916:17;10909:47;10973:131;11099:4;10973:131;:::i;:::-;10965:139;;10692:419;;;:::o;11117:180::-;11165:77;11162:1;11155:88;11262:4;11259:1;11252:15;11286:4;11283:1;11276:15;11303:233;11342:3;11365:24;11383:5;11365:24;:::i;:::-;11356:33;;11411:66;11404:5;11401:77;11398:103;;11481:18;;:::i;:::-;11398:103;11528:1;11521:5;11517:13;11510:20;;11303:233;;;:::o;11542:222::-;11682:34;11678:1;11670:6;11666:14;11659:58;11751:5;11746:2;11738:6;11734:15;11727:30;11542:222;:::o;11770:366::-;11912:3;11933:67;11997:2;11992:3;11933:67;:::i;:::-;11926:74;;12009:93;12098:3;12009:93;:::i;:::-;12127:2;12122:3;12118:12;12111:19;;11770:366;;;:::o;12142:419::-;12308:4;12346:2;12335:9;12331:18;12323:26;;12395:9;12389:4;12385:20;12381:1;12370:9;12366:17;12359:47;12423:131;12549:4;12423:131;:::i;:::-;12415:139;;12142:419;;;:::o;12567:175::-;12707:27;12703:1;12695:6;12691:14;12684:51;12567:175;:::o;12748:366::-;12890:3;12911:67;12975:2;12970:3;12911:67;:::i;:::-;12904:74;;12987:93;13076:3;12987:93;:::i;:::-;13105:2;13100:3;13096:12;13089:19;;12748:366;;;:::o;13120:419::-;13286:4;13324:2;13313:9;13309:18;13301:26;;13373:9;13367:4;13363:20;13359:1;13348:9;13344:17;13337:47;13401:131;13527:4;13401:131;:::i;:::-;13393:139;;13120:419;;;:::o;13545:223::-;13685:34;13681:1;13673:6;13669:14;13662:58;13754:6;13749:2;13741:6;13737:15;13730:31;13545:223;:::o;13774:366::-;13916:3;13937:67;14001:2;13996:3;13937:67;:::i;:::-;13930:74;;14013:93;14102:3;14013:93;:::i;:::-;14131:2;14126:3;14122:12;14115:19;;13774:366;;;:::o;14146:419::-;14312:4;14350:2;14339:9;14335:18;14327:26;;14399:9;14393:4;14389:20;14385:1;14374:9;14370:17;14363:47;14427:131;14553:4;14427:131;:::i;:::-;14419:139;;14146:419;;;:::o;14571:220::-;14711:34;14707:1;14699:6;14695:14;14688:58;14780:3;14775:2;14767:6;14763:15;14756:28;14571:220;:::o;14797:366::-;14939:3;14960:67;15024:2;15019:3;14960:67;:::i;:::-;14953:74;;15036:93;15125:3;15036:93;:::i;:::-;15154:2;15149:3;15145:12;15138:19;;14797:366;;;:::o;15169:419::-;15335:4;15373:2;15362:9;15358:18;15350:26;;15422:9;15416:4;15412:20;15408:1;15397:9;15393:17;15386:47;15450:131;15576:4;15450:131;:::i;:::-;15442:139;;15169:419;;;:::o;15594:191::-;15634:3;15653:20;15671:1;15653:20;:::i;:::-;15648:25;;15687:20;15705:1;15687:20;:::i;:::-;15682:25;;15730:1;15727;15723:9;15716:16;;15751:3;15748:1;15745:10;15742:36;;;15758:18;;:::i;:::-;15742:36;15594:191;;;;:::o;15791:168::-;15931:20;15927:1;15919:6;15915:14;15908:44;15791:168;:::o;15965:366::-;16107:3;16128:67;16192:2;16187:3;16128:67;:::i;:::-;16121:74;;16204:93;16293:3;16204:93;:::i;:::-;16322:2;16317:3;16313:12;16306:19;;15965:366;;;:::o;16337:419::-;16503:4;16541:2;16530:9;16526:18;16518:26;;16590:9;16584:4;16580:20;16576:1;16565:9;16561:17;16554:47;16618:131;16744:4;16618:131;:::i;:::-;16610:139;;16337:419;;;:::o;16762:79::-;16801:7;16830:5;16819:16;;16762:79;;;:::o;16847:157::-;16952:45;16972:24;16990:5;16972:24;:::i;:::-;16952:45;:::i;:::-;16947:3;16940:58;16847:157;;:::o;17010:94::-;17043:8;17091:5;17087:2;17083:14;17062:35;;17010:94;;;:::o;17110:::-;17149:7;17178:20;17192:5;17178:20;:::i;:::-;17167:31;;17110:94;;;:::o;17210:100::-;17249:7;17278:26;17298:5;17278:26;:::i;:::-;17267:37;;17210:100;;;:::o;17316:157::-;17421:45;17441:24;17459:5;17441:24;:::i;:::-;17421:45;:::i;:::-;17416:3;17409:58;17316:157;;:::o;17479:820::-;17703:3;17718:75;17789:3;17780:6;17718:75;:::i;:::-;17818:2;17813:3;17809:12;17802:19;;17831:75;17902:3;17893:6;17831:75;:::i;:::-;17931:2;17926:3;17922:12;17915:19;;17944:75;18015:3;18006:6;17944:75;:::i;:::-;18044:2;18039:3;18035:12;18028:19;;18057:75;18128:3;18119:6;18057:75;:::i;:::-;18157:2;18152:3;18148:12;18141:19;;18170:75;18241:3;18232:6;18170:75;:::i;:::-;18270:2;18265:3;18261:12;18254:19;;18290:3;18283:10;;17479:820;;;;;;;;:::o;18305:180::-;18445:32;18441:1;18433:6;18429:14;18422:56;18305:180;:::o;18491:366::-;18633:3;18654:67;18718:2;18713:3;18654:67;:::i;:::-;18647:74;;18730:93;18819:3;18730:93;:::i;:::-;18848:2;18843:3;18839:12;18832:19;;18491:366;;;:::o;18863:419::-;19029:4;19067:2;19056:9;19052:18;19044:26;;19116:9;19110:4;19106:20;19102:1;19091:9;19087:17;19080:47;19144:131;19270:4;19144:131;:::i;:::-;19136:139;;18863:419;;;:::o;19288:181::-;19428:33;19424:1;19416:6;19412:14;19405:57;19288:181;:::o;19475:366::-;19617:3;19638:67;19702:2;19697:3;19638:67;:::i;:::-;19631:74;;19714:93;19803:3;19714:93;:::i;:::-;19832:2;19827:3;19823:12;19816:19;;19475:366;;;:::o;19847:419::-;20013:4;20051:2;20040:9;20036:18;20028:26;;20100:9;20094:4;20090:20;20086:1;20075:9;20071:17;20064:47;20128:131;20254:4;20128:131;:::i;:::-;20120:139;;19847:419;;;:::o;20272:194::-;20312:4;20332:20;20350:1;20332:20;:::i;:::-;20327:25;;20366:20;20384:1;20366:20;:::i;:::-;20361:25;;20410:1;20407;20403:9;20395:17;;20434:1;20428:4;20425:11;20422:37;;;20439:18;;:::i;:::-;20422:37;20272:194;;;;:::o;20472:243::-;20612:34;20608:1;20600:6;20596:14;20589:58;20681:26;20676:2;20668:6;20664:15;20657:51;20472:243;:::o;20721:366::-;20863:3;20884:67;20948:2;20943:3;20884:67;:::i;:::-;20877:74;;20960:93;21049:3;20960:93;:::i;:::-;21078:2;21073:3;21069:12;21062:19;;20721:366;;;:::o;21093:419::-;21259:4;21297:2;21286:9;21282:18;21274:26;;21346:9;21340:4;21336:20;21332:1;21321:9;21317:17;21310:47;21374:131;21500:4;21374:131;:::i;:::-;21366:139;;21093:419;;;:::o;21518:170::-;21658:22;21654:1;21646:6;21642:14;21635:46;21518:170;:::o;21694:366::-;21836:3;21857:67;21921:2;21916:3;21857:67;:::i;:::-;21850:74;;21933:93;22022:3;21933:93;:::i;:::-;22051:2;22046:3;22042:12;22035:19;;21694:366;;;:::o;22066:419::-;22232:4;22270:2;22259:9;22255:18;22247:26;;22319:9;22313:4;22309:20;22305:1;22294:9;22290:17;22283:47;22347:131;22473:4;22347:131;:::i;:::-;22339:139;;22066:419;;;:::o;22491:158::-;22631:10;22627:1;22619:6;22615:14;22608:34;22491:158;:::o;22655:365::-;22797:3;22818:66;22882:1;22877:3;22818:66;:::i;:::-;22811:73;;22893:93;22982:3;22893:93;:::i;:::-;23011:2;23006:3;23002:12;22995:19;;22655:365;;;:::o;23026:419::-;23192:4;23230:2;23219:9;23215:18;23207:26;;23279:9;23273:4;23269:20;23265:1;23254:9;23250:17;23243:47;23307:131;23433:4;23307:131;:::i;:::-;23299:139;;23026:419;;;:::o;23451:170::-;23591:22;23587:1;23579:6;23575:14;23568:46;23451:170;:::o;23627:366::-;23769:3;23790:67;23854:2;23849:3;23790:67;:::i;:::-;23783:74;;23866:93;23955:3;23866:93;:::i;:::-;23984:2;23979:3;23975:12;23968:19;;23627:366;;;:::o;23999:419::-;24165:4;24203:2;24192:9;24188:18;24180:26;;24252:9;24246:4;24242:20;24238:1;24227:9;24223:17;24216:47;24280:131;24406:4;24280:131;:::i;:::-;24272:139;;23999:419;;;:::o;24424:442::-;24573:4;24611:2;24600:9;24596:18;24588:26;;24624:71;24692:1;24681:9;24677:17;24668:6;24624:71;:::i;:::-;24705:72;24773:2;24762:9;24758:18;24749:6;24705:72;:::i;:::-;24787;24855:2;24844:9;24840:18;24831:6;24787:72;:::i;:::-;24424:442;;;;;;:::o;24872:180::-;24920:77;24917:1;24910:88;25017:4;25014:1;25007:15;25041:4;25038:1;25031:15;25058:410;25098:7;25121:20;25139:1;25121:20;:::i;:::-;25116:25;;25155:20;25173:1;25155:20;:::i;:::-;25150:25;;25210:1;25207;25203:9;25232:30;25250:11;25232:30;:::i;:::-;25221:41;;25411:1;25402:7;25398:15;25395:1;25392:22;25372:1;25365:9;25345:83;25322:139;;25441:18;;:::i;:::-;25322:139;25106:362;25058:410;;;;:::o;25474:118::-;25561:24;25579:5;25561:24;:::i;:::-;25556:3;25549:37;25474:118;;:::o;25598:545::-;25771:4;25809:3;25798:9;25794:19;25786:27;;25823:71;25891:1;25880:9;25876:17;25867:6;25823:71;:::i;:::-;25904:68;25968:2;25957:9;25953:18;25944:6;25904:68;:::i;:::-;25982:72;26050:2;26039:9;26035:18;26026:6;25982:72;:::i;:::-;26064;26132:2;26121:9;26117:18;26108:6;26064:72;:::i;:::-;25598:545;;;;;;;:::o;26149:180::-;26197:77;26194:1;26187:88;26294:4;26291:1;26284:15;26318:4;26315:1;26308:15;26335:222;26428:4;26466:2;26455:9;26451:18;26443:26;;26479:71;26547:1;26536:9;26532:17;26523:6;26479:71;:::i;:::-;26335:222;;;;:::o

ipfs://04b973da566a3ecfd8ab5f19a19ea0943801463dda8aac12fbce074cbee56d4d