Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library PricingLibrary    - function decay(Data memory data, Mark ...    - function controlDecay(Adjustment memo ...    - function marketPrice(uint256 _control ...    - function debtRatio(uint256 _totalDebt ...    - function debtDecay(Data memory data, ...    - function tune(    - function approve(address spender, uin ...    - function transfer(address to, uint256 ...    - function transferFrom(    - function permit(    - function DOMAIN_SEPARATOR()    - function computeDomainSeparator()    - function _mint(address to, uint256 am ...    - function _burn(address from, uint256 ... library SafeTransferLib    - function safeTransferETH(address to, ...    - function safeTransferFrom(    - function safeTransfer(    - function safeApprove(  contract Koto *    - function transfer(address _to, uint25 ...    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function bond()    - function redeem(uint256 amount)    - function burn(uint256 amount)    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address _owner)    - function allowance(address owner, add ...    - function pool()    - function ownership()    - function bondPrice()    - function redemptionPrice()    - function marketInfo()    - function depository()    - function increaseLiquidity(uint256 to ...    - function exclude(address user)    - function removeLimits()    - function addAmm(address _pool)    - function launch()    - function open()    - function _createUniswapV2Pair(address ...    - function _addLiquidity(uint256 tokenA ...    - function _addInitialLiquidity()    - function _create()    - function _policy(uint256 capacity, ui ...    - function _transfer(address from, addr ...    - function _mint(address to, uint256 va ...    - function _burn(address from, uint256 ...    - function _bond(address to, uint256 va ...    - function _getPrice()    - function _getTokens(address _pair)    - function checkLimits(address from, ad ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-11-21
*/

// SPDX-License-Identifier: MIT

///@title Koto ERC20 Token
///@author Izanagi Dev
///@notice A stripped down ERC20 tax token that implements automated and continious monetary policy decisions.
///@dev Bonds are the ERC20 token in exchange for Ether. Unsold bonds with automatically carry over to the next day.
/// The bonding schedule is set to attempt to sell all of the tokens held within the contract in 1 day intervals. Taking a snapshot
/// of the amount currently held within the contract at the start of the next internal period, using this amount as the capcipty to be sold.

/// Socials
/// Telegram: https://t.me/IzanangiPortal

pragma solidity =0.8.22;

library PricingLibrary {
    // 1 Slot
    struct Data {
        uint48 lastTune;
        uint48 lastDecay; // last timestamp when market was created and debt was decayed
        uint48 length; // time from creation to conclusion. used as speed to decay debt.
        uint48 depositInterval; // target frequency of deposits
        uint48 tuneInterval; // frequency of tuning
    }

    // 2 Storage slots
    struct Market {
        uint96 capacity; // capacity remaining
        uint96 totalDebt; // total debt from market
        uint96 maxPayout; // max tokens in/out
        uint96 sold; // Koto out
        uint96 purchased; // Eth in
    }

    // 1 Storage Slot
    struct Adjustment {
        uint128 change;
        uint48 lastAdjustment;
        uint48 timeToAdjusted;
        bool active;
    }

    // 2 Storage slots
    struct Term {
        uint48 conclusion; // timestamp when the current market will end
        uint256 controlVariable; // scaling variable for price
    }

    function decay(Data memory data, Market memory market, Term memory terms, Adjustment memory adjustments)
        internal
        view
        returns (Market memory, Data memory, Term memory, Adjustment memory)
    {
        uint48 time = uint48(block.timestamp);
        market.totalDebt -= debtDecay(data, market);
        data.lastDecay = time;

        if (adjustments.active) {
            (uint128 adjustby, uint48 dt, bool stillActive) = controlDecay(adjustments);
            terms.controlVariable -= adjustby;
            if (stillActive) {
                adjustments.change -= adjustby;
                adjustments.timeToAdjusted -= dt;
                adjustments.lastAdjustment = time;
            } else {
                adjustments.active = false;
            }
        }
        return (market, data, terms, adjustments);
    }

    function controlDecay(Adjustment memory info) internal view returns (uint128, uint48, bool) {
        if (!info.active) return (0, 0, false);

        uint48 secondsSince = uint48(block.timestamp) - info.lastAdjustment;
        bool active = secondsSince < info.timeToAdjusted;
        uint128 _decay = active ? (info.change * secondsSince) / info.timeToAdjusted : info.change;
        return (_decay, secondsSince, active);
    }

    function marketPrice(uint256 _controlVariable, uint256 _totalDebt, uint256 _totalSupply)
        internal
        pure
        returns (uint256)
    {
        return ((_controlVariable * debtRatio(_totalDebt, _totalSupply)) / 1e18);
    }

    function debtRatio(uint256 _totalDebt, uint256 _totalSupply) internal pure returns (uint256) {
        return ((_totalDebt * 1e18) / _totalSupply);
    }

    function debtDecay(Data memory data, Market memory market) internal view returns (uint64) {
        uint256 secondsSince = block.timestamp - data.lastDecay;
        return uint64((market.totalDebt * secondsSince) / data.length);
    }

    struct TuneCache {
        uint256 remaining;
        uint256 price;
        uint256 capacity;
        uint256 targetDebt;
        uint256 ncv;
    }

    function tune(
        uint48 time,
        Market memory market,
        Term memory term,
        Data memory data,
        Adjustment memory adjustment,
        uint256 _totalSupply
    ) internal pure returns (Market memory, Term memory, Data memory, Adjustment memory) {
        TuneCache memory cache;
        if (time >= data.lastTune + data.tuneInterval) {
            cache.remaining = term.conclusion - time;
            cache.price = marketPrice(term.controlVariable, market.totalDebt, _totalSupply);
            cache.capacity = market.capacity; //Is this even necessary?
            market.maxPayout = uint96((cache.capacity * data.depositInterval / cache.remaining));
            cache.targetDebt = cache.capacity * data.length / cache.remaining;
            cache.ncv = (cache.price * _totalSupply) / cache.targetDebt;

            if (cache.ncv < term.controlVariable) {
                term.controlVariable = cache.ncv;
            } else {
                uint128 change = uint128(term.controlVariable - cache.ncv);
                adjustment = Adjustment(change, time, data.tuneInterval, true);
            }
            data.lastTune = time;
        }
        return (market, term, data, adjustment);
    }
}

/// @notice Modern and gas efficient ERC20 + EIP-2612 implementation.
/// @author Solmate (https://github.com/transmissions11/solmate/blob/main/src/tokens/ERC20.sol)
/// @author Modified from Uniswap (https://github.com/Uniswap/uniswap-v2-core/blob/master/contracts/UniswapV2ERC20.sol)
/// @dev Do not manually set balances without updating totalSupply, as the sum of all user balances must not exceed it.
abstract contract ERC20 {
    /*//////////////////////////////////////////////////////////////
                                 EVENTS
    //////////////////////////////////////////////////////////////*/

    event Transfer(address indexed from, address indexed to, uint256 amount);

    event Approval(address indexed owner, address indexed spender, uint256 amount);

    /*//////////////////////////////////////////////////////////////
                            METADATA STORAGE
    //////////////////////////////////////////////////////////////*/

    string public name;

    string public symbol;

    uint8 public immutable decimals;

    /*//////////////////////////////////////////////////////////////
                              ERC20 STORAGE
    //////////////////////////////////////////////////////////////*/

    uint256 public totalSupply;

    mapping(address => uint256) public balanceOf;

    mapping(address => mapping(address => uint256)) public allowance;

    /*//////////////////////////////////////////////////////////////
                            EIP-2612 STORAGE
    //////////////////////////////////////////////////////////////*/

    uint256 internal immutable INITIAL_CHAIN_ID;

    bytes32 internal immutable INITIAL_DOMAIN_SEPARATOR;

    mapping(address => uint256) public nonces;

    /*//////////////////////////////////////////////////////////////
                               CONSTRUCTOR
    //////////////////////////////////////////////////////////////*/

    constructor(
        string memory _name,
        string memory _symbol,
        uint8 _decimals
    ) {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;

        INITIAL_CHAIN_ID = block.chainid;
        INITIAL_DOMAIN_SEPARATOR = computeDomainSeparator();
    }

    /*//////////////////////////////////////////////////////////////
                               ERC20 LOGIC
    //////////////////////////////////////////////////////////////*/

    function approve(address spender, uint256 amount) public virtual returns (bool) {
        allowance[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);

        return true;
    }

    function transfer(address to, uint256 amount) public virtual returns (bool) {
        balanceOf[msg.sender] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(msg.sender, to, amount);

        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual returns (bool) {
        uint256 allowed = allowance[from][msg.sender]; // Saves gas for limited approvals.

        if (allowed != type(uint256).max) allowance[from][msg.sender] = allowed - amount;

        balanceOf[from] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(from, to, amount);

        return true;
    }

    /*//////////////////////////////////////////////////////////////
                             EIP-2612 LOGIC
    //////////////////////////////////////////////////////////////*/

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual {
        require(deadline >= block.timestamp, "PERMIT_DEADLINE_EXPIRED");

        // Unchecked because the only math done is incrementing
        // the owner's nonce which cannot realistically overflow.
        unchecked {
            address recoveredAddress = ecrecover(
                keccak256(
                    abi.encodePacked(
                        "\x19\x01",
                        DOMAIN_SEPARATOR(),
                        keccak256(
                            abi.encode(
                                keccak256(
                                    "Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)"
                                ),
                                owner,
                                spender,
                                value,
                                nonces[owner]++,
                                deadline
                            )
                        )
                    )
                ),
                v,
                r,
                s
            );

            require(recoveredAddress != address(0) && recoveredAddress == owner, "INVALID_SIGNER");

            allowance[recoveredAddress][spender] = value;
        }

        emit Approval(owner, spender, value);
    }

    function DOMAIN_SEPARATOR() public view virtual returns (bytes32) {
        return block.chainid == INITIAL_CHAIN_ID ? INITIAL_DOMAIN_SEPARATOR : computeDomainSeparator();
    }

    function computeDomainSeparator() internal view virtual returns (bytes32) {
        return
            keccak256(
                abi.encode(
                    keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"),
                    keccak256(bytes(name)),
                    keccak256("1"),
                    block.chainid,
                    address(this)
                )
            );
    }

    /*//////////////////////////////////////////////////////////////
                        INTERNAL MINT/BURN LOGIC
    //////////////////////////////////////////////////////////////*/

    function _mint(address to, uint256 amount) internal virtual {
        totalSupply += amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal virtual {
        balanceOf[from] -= amount;

        // Cannot underflow because a user's balance
        // will never be larger than the total supply.
        unchecked {
            totalSupply -= amount;
        }

        emit Transfer(from, address(0), amount);
    }
}

/// @notice Safe ETH and ERC20 transfer library that gracefully handles missing return values.
/// @author Solmate (https://github.com/transmissions11/solmate/blob/main/src/utils/SafeTransferLib.sol)
/// @dev Use with caution! Some functions in this library knowingly create dirty bits at the destination of the free memory pointer.
/// @dev Note that none of the functions in this library check that a token has code at all! That responsibility is delegated to the caller.
library SafeTransferLib {
    /*//////////////////////////////////////////////////////////////
                             ETH OPERATIONS
    //////////////////////////////////////////////////////////////*/

    function safeTransferETH(address to, uint256 amount) internal {
        bool success;

        /// @solidity memory-safe-assembly
        assembly {
            // Transfer the ETH and store if it succeeded or not.
            success := call(gas(), to, amount, 0, 0, 0, 0)
        }

        require(success, "ETH_TRANSFER_FAILED");
    }

    /*//////////////////////////////////////////////////////////////
                            ERC20 OPERATIONS
    //////////////////////////////////////////////////////////////*/

    function safeTransferFrom(
        ERC20 token,
        address from,
        address to,
        uint256 amount
    ) internal {
        bool success;

        /// @solidity memory-safe-assembly
        assembly {
            // Get a pointer to some free memory.
            let freeMemoryPointer := mload(0x40)

            // Write the abi-encoded calldata into memory, beginning with the function selector.
            mstore(freeMemoryPointer, 0x23b872dd00000000000000000000000000000000000000000000000000000000)
            mstore(add(freeMemoryPointer, 4), and(from, 0xffffffffffffffffffffffffffffffffffffffff)) // Append and mask the "from" argument.
            mstore(add(freeMemoryPointer, 36), and(to, 0xffffffffffffffffffffffffffffffffffffffff)) // Append and mask the "to" argument.
            mstore(add(freeMemoryPointer, 68), amount) // Append the "amount" argument. Masking not required as it's a full 32 byte type.

            success := and(
                // Set success to whether the call reverted, if not we check it either
                // returned exactly 1 (can't just be non-zero data), or had no return data.
                or(and(eq(mload(0), 1), gt(returndatasize(), 31)), iszero(returndatasize())),
                // We use 100 because the length of our calldata totals up like so: 4 + 32 * 3.
                // We use 0 and 32 to copy up to 32 bytes of return data into the scratch space.
                // Counterintuitively, this call must be positioned second to the or() call in the
                // surrounding and() call or else returndatasize() will be zero during the computation.
                call(gas(), token, 0, freeMemoryPointer, 100, 0, 32)
            )
        }

        require(success, "TRANSFER_FROM_FAILED");
    }

    function safeTransfer(
        ERC20 token,
        address to,
        uint256 amount
    ) internal {
        bool success;

        /// @solidity memory-safe-assembly
        assembly {
            // Get a pointer to some free memory.
            let freeMemoryPointer := mload(0x40)

            // Write the abi-encoded calldata into memory, beginning with the function selector.
            mstore(freeMemoryPointer, 0xa9059cbb00000000000000000000000000000000000000000000000000000000)
            mstore(add(freeMemoryPointer, 4), and(to, 0xffffffffffffffffffffffffffffffffffffffff)) // Append and mask the "to" argument.
            mstore(add(freeMemoryPointer, 36), amount) // Append the "amount" argument. Masking not required as it's a full 32 byte type.

            success := and(
                // Set success to whether the call reverted, if not we check it either
                // returned exactly 1 (can't just be non-zero data), or had no return data.
                or(and(eq(mload(0), 1), gt(returndatasize(), 31)), iszero(returndatasize())),
                // We use 68 because the length of our calldata totals up like so: 4 + 32 * 2.
                // We use 0 and 32 to copy up to 32 bytes of return data into the scratch space.
                // Counterintuitively, this call must be positioned second to the or() call in the
                // surrounding and() call or else returndatasize() will be zero during the computation.
                call(gas(), token, 0, freeMemoryPointer, 68, 0, 32)
            )
        }

        require(success, "TRANSFER_FAILED");
    }

    function safeApprove(
        ERC20 token,
        address to,
        uint256 amount
    ) internal {
        bool success;

        /// @solidity memory-safe-assembly
        assembly {
            // Get a pointer to some free memory.
            let freeMemoryPointer := mload(0x40)

            // Write the abi-encoded calldata into memory, beginning with the function selector.
            mstore(freeMemoryPointer, 0x095ea7b300000000000000000000000000000000000000000000000000000000)
            mstore(add(freeMemoryPointer, 4), and(to, 0xffffffffffffffffffffffffffffffffffffffff)) // Append and mask the "to" argument.
            mstore(add(freeMemoryPointer, 36), amount) // Append the "amount" argument. Masking not required as it's a full 32 byte type.

            success := and(
                // Set success to whether the call reverted, if not we check it either
                // returned exactly 1 (can't just be non-zero data), or had no return data.
                or(and(eq(mload(0), 1), gt(returndatasize(), 31)), iszero(returndatasize())),
                // We use 68 because the length of our calldata totals up like so: 4 + 32 * 2.
                // We use 0 and 32 to copy up to 32 bytes of return data into the scratch space.
                // Counterintuitively, this call must be positioned second to the or() call in the
                // surrounding and() call or else returndatasize() will be zero during the computation.
                call(gas(), token, 0, freeMemoryPointer, 68, 0, 32)
            )
        }

        require(success, "APPROVE_FAILED");
    }
}

contract Koto {
    struct Limits {
        uint96 maxWallet;
        uint96 maxTransactions;
        bool limits;
    }
    // ========================== STORAGE ========================== \\

    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _excluded;
    mapping(address => bool) private _amms;
    uint256 private _totalSupply;

    PricingLibrary.Adjustment private adjustment;
    PricingLibrary.Data private data;
    PricingLibrary.Market private market;
    PricingLibrary.Term private term;
    Limits private limits;
    uint8 private locked;
    bool private launched;

    // =================== CONSTANTS / IMMUTABLES =================== \\

    string private constant NAME = "Koto";
    string private constant SYMBOL = "KOTO";
    uint8 private constant DECIMALS = 18;
    ///@dev flat 5% tax for buys and sells
    uint8 private constant FEE = 50;
    bool private immutable zeroForOne;
    address private constant UNISWAP_V2_ROUTER = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address private constant UNISWAP_V2_FACTORY = 0x5C69bEe701ef814a2B6a3EDD4B1652CB9cc5aA6f;
    address private constant WETH = 0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2;
    address private constant OWNER = 0x0688578EC7273458785591d3AfFD120E664900C2;
    address private constant BOND_DEPOSITORY = 0x0e58bD5557C4e0a0Abf0e8d4df24177Ae714452D;
    address private immutable pair;
    address private immutable token0;
    address private immutable token1;
    uint256 private constant INTERVAL = 86400; // 1 day in seconds

    // ========================== MODIFIERS ========================== \\

    modifier lock() {
        if (locked == 2) revert Reentrancy();
        locked = 2;
        _;
        locked = 1;
    }

    // ========================= CONTRUCTOR ========================= \\

    constructor() {
        pair = _createUniswapV2Pair(address(this), WETH);
        _excluded[OWNER] = true;
        _excluded[BOND_DEPOSITORY] = true;
        _excluded[address(this)] = true;
        _amms[pair] = true;
        _mint(address(this), 7_000_000e18);
        _mint(OWNER, 2_000_000e18);
        _mint(BOND_DEPOSITORY, 1_000_000e18);
        limits = Limits({maxWallet: 100_000e18, maxTransactions: 100_000e18, limits: true});
        (token0, token1) = _getTokens(pair);
        zeroForOne = address(this) == token0 ? true : false;
        _allowances[address(this)][UNISWAP_V2_ROUTER] = type(uint256).max;
        ///@dev set term conclusion to type uint48 max to prevent bonds being created before opening them to the public
        term.conclusion = type(uint48).max;
    }

    // ==================== EXTERNAL FUNCTIONS ===================== \\

    function transfer(address _to, uint256 _value) public returns (bool success) {
        if (_to == address(0) || _value == 0) revert InvalidTransfer();
        _transfer(msg.sender, _to, _value);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
        if (_to == address(0) || _value == 0) revert InvalidTransfer();
        if (_from != msg.sender) {
            if (_allowances[_from][msg.sender] < _value) revert InsufficentAllowance();
            _allowances[_from][msg.sender] -= _value;
        }
        _transfer(_from, _to, _value);
        return true;
    }

    function approve(address _spender, uint256 _value) public returns (bool success) {
        address owner = msg.sender;
        _allowances[owner][_spender] = _value;
        return true;
    }

    ///@notice exchange ETH for Koto tokens at the current bonding price
    ///@dev bonds are set on 1 day intervals with 4 hour deposit intervals and 30 minute tune intervals.
    function bond() public payable lock returns (uint256 payout) {
        // If the previous market has ended create a new market.
        if (block.timestamp > term.conclusion) {
            _create();
        }
        if (market.capacity != 0) {
            // Cache variables for later use to minimize storage calls
            PricingLibrary.Market memory _market = market;
            PricingLibrary.Term memory _term = term;
            PricingLibrary.Data memory _data = data;
            PricingLibrary.Adjustment memory adjustments = adjustment;
            uint256 _supply = _totalSupply;
            uint48 time = uint48(block.timestamp);

            // Cache variables that are updated prior to marketprice call to reduce storage retreivals
            uint256 cachedControlVariable = _term.controlVariable;
            uint256 cachedTotalDebt = _market.totalDebt;

            // Can pass in structs here as nothing has been updated yet
            (_market, _data, _term, adjustments) = PricingLibrary.decay(data, _market, _term, adjustments);

            uint256 price = PricingLibrary.marketPrice(cachedControlVariable, cachedTotalDebt, _supply);

            payout = (msg.value * 1e18 / price);
            if (payout > market.maxPayout) revert MaxPayout();

            // Update market variables
            _market.capacity -= uint96(payout);
            _market.purchased += uint96(msg.value);
            _market.sold += uint96(payout);
            _market.totalDebt += uint96(payout);

            bool success = _bond(msg.sender, payout);
            if (!success) revert BondFailed();
            emit Bond(msg.sender, payout, price);

            //Touches market, data, terms, and adjustments
            (_market, _term, _data, adjustments) =
                PricingLibrary.tune(time, _market, _term, _data, adjustments, _supply);

            // Write changes to storage.
            market = _market;
            term = _term;
            data = _data;
            adjustment = adjustments;
        } else {
            //If bonds are not available refund the eth sent to the contract
            SafeTransferLib.safeTransferETH(msg.sender, msg.value);
        }
    }

    ///@notice burn Koto tokens in exchange for a piece of the underlying reserves
    ///@param amount The amount of Koto tokens to redeem
    ///@return payout The amount of ETH received in exchange for the Koto tokens
    function redeem(uint256 amount) external returns (uint256 payout) {
        // Underlying reserves per token
        uint256 price = (address(this).balance * 1e18) / _totalSupply;
        payout = (price * amount) / 1e18;
        _burn(msg.sender, amount);
        SafeTransferLib.safeTransferETH(msg.sender, payout);
        emit Redeem(msg.sender, amount, payout, price);
    }

    ///@notice burn Koto tokens, without redemption
    ///@param amount the amount of Koto to burn
    function burn(uint256 amount) external returns (bool success) {
        _burn(msg.sender, amount);
        success = true;
        emit Transfer(msg.sender, address(0), amount);
    }

    // ==================== EXTERNAL VIEW FUNCTIONS ===================== \\

    ///@notice get the tokens name
    function name() public pure returns (string memory) {
        return NAME;
    }

    ///@notice get the tokens symbol
    function symbol() public pure returns (string memory) {
        return SYMBOL;
    }

    ///@notice get the tokens decimals
    function decimals() public pure returns (uint8) {
        return DECIMALS;
    }

    ///@notice get the tokens total supply
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    ///@notice get the current balance of a user
    ///@param _owner the user whos balance you want to check
    function balanceOf(address _owner) public view returns (uint256) {
        return _balances[_owner];
    }

    ///@notice get current approved amount for transfer from another party
    ///@param owner the current owner of the tokens
    ///@param spender the user who has approval (or not) to spend the owners tokens
    function allowance(address owner, address spender) public view virtual returns (uint256) {
        return _allowances[owner][spender];
    }

    ///@notice return the Uniswap V2 Pair address
    function pool() external view returns (address) {
        return pair;
    }

    ///@notice get the owner of the contract
    ///@dev ownership is nontransferable and limited to opening trade, exclusion / inclusion,s and increasing liquidity
    function ownership() external pure returns (address) {
        return OWNER;
    }

    ///@notice the current price a bond
    function bondPrice() external view returns (uint256) {
        return PricingLibrary.marketPrice(term.controlVariable, market.totalDebt, _totalSupply);
    }

    ///@notice return the current redemption price for 1 uint of Koto.
    function redemptionPrice() external view returns (uint256) {
        return ((address(this).balance * 1e18) / _totalSupply);
    }

    function marketInfo()
        external
        view
        returns (PricingLibrary.Market memory, PricingLibrary.Term memory, PricingLibrary.Data memory)
    {
        return (market, term, data);
    }

    function depository() external pure returns (address) {
        return BOND_DEPOSITORY;
    }

    // ========================= ADMIN FUNCTIONS ========================= \\

    ///@notice increase the liquidity of the uniswap v2 pair
    ///@param tokenAmount the amount of tokens to add to the LP pool
    ///@param ethAmount the amount of eth to add to the pool
    ///@dev both the eth and the tokens must already be held within the contract
    function increaseLiquidity(uint256 tokenAmount, uint256 ethAmount) external {
        if (msg.sender != OWNER) revert OnlyOwner();
        _addLiquidity(tokenAmount, ethAmount);
        emit IncreaseLiquidity(tokenAmount, ethAmount);
    }

    ///@notice remove a given address from fees and limits
    ///@param user the user to exclude from fees
    ///@dev this is a one way street so once a user has been excluded they can not then be removed
    function exclude(address user) external {
        if (msg.sender != OWNER) revert OnlyOwner();
        _excluded[user] = true;
        emit UserExcluded(user);
    }

    ///@notice remove trading and wallet limits
    function removeLimits() external {
        if (msg.sender != OWNER) revert OnlyOwner();
        limits.limits = false;
        emit LimitsRemoved(block.timestamp);
    }

    ///@notice add a amm pool / pair
    ///@param _pool the address of the pool / pair to add
    function addAmm(address _pool) external {
        if (msg.sender != OWNER) revert OnlyOwner();
        _amms[_pool] = true;
        emit AmmAdded(_pool);
    }

    ///@notice seed the initial liquidity from this contract.
    function launch() external {
        if (msg.sender != OWNER) revert OnlyOwner();
        if (launched) revert AlreadyLaunched();
        _addInitialLiquidity();
        launched = true;
        emit Launched(block.timestamp);
    }

    ///@notice opens the bond market
    ///@dev the liquidity pool must already be launched and initialized. As well as tokens sent to this contract from
    /// the bond depository.
    function open() external {
        if (msg.sender != OWNER) revert OnlyOwner();
        _create();
        emit OpenBondMarket(block.timestamp);
    }

    // ========================= INTERNAL FUNCTIONS ========================= \\

    ///@notice create the Uniswap V2 Pair
    ///@param _token0 token 0 of the pair
    ///@param _token1 token 1 of the pair
    ///@return _pair the pair address
    function _createUniswapV2Pair(address _token0, address _token1) private returns (address _pair) {
        assembly {
            let ptr := mload(0x40)
            mstore(ptr, 0xc9c6539600000000000000000000000000000000000000000000000000000000)
            mstore(add(ptr, 4), and(_token0, 0xffffffffffffffffffffffffffffffffffffffff))
            mstore(add(ptr, 36), and(_token1, 0xffffffffffffffffffffffffffffffffffffffff))
            let result := call(gas(), UNISWAP_V2_FACTORY, 0, ptr, 68, 0, 32)
            if iszero(result) { revert(0, 0) }
            _pair := mload(0x00)
        }
    }

    ///@notice increase the liquidity of the Uniswap V2 Pair
    ///@param tokenAmount the amount of tokens to add to the pool
    ///@param ethAmount the amount of ETH to add to the pool
    function _addLiquidity(uint256 tokenAmount, uint256 ethAmount) private {
        assembly {
            let ptr := mload(0x40)
            mstore(ptr, 0xf305d71900000000000000000000000000000000000000000000000000000000)
            mstore(add(ptr, 4), and(address(), 0xffffffffffffffffffffffffffffffffffffffff))
            mstore(add(ptr, 36), tokenAmount)
            mstore(add(ptr, 68), 0)
            mstore(add(ptr, 100), 0)
            mstore(add(ptr, 132), BOND_DEPOSITORY)
            mstore(add(ptr, 164), timestamp())
            let result := call(gas(), UNISWAP_V2_ROUTER, ethAmount, ptr, 196, 0, 0)
            if iszero(result) { revert(0, 0) }
        }
    }

    function _addInitialLiquidity() private {
        uint256 tokenAmount = _balances[address(this)];
        assembly {
            let ptr := mload(0x40)
            mstore(ptr, 0xf305d71900000000000000000000000000000000000000000000000000000000)
            mstore(add(ptr, 4), and(address(), 0xffffffffffffffffffffffffffffffffffffffff))
            mstore(add(ptr, 36), tokenAmount)
            mstore(add(ptr, 68), 0)
            mstore(add(ptr, 100), 0)
            mstore(add(ptr, 132), BOND_DEPOSITORY)
            mstore(add(ptr, 164), timestamp())
            let result := call(gas(), UNISWAP_V2_ROUTER, balance(address()), ptr, 196, 0, 0)
            if iszero(result) { revert(0, 0) }
        }
    }

    ///@notice create the next bond market information
    ///@dev this is done automatically if the previous market conclusion has passed
    /// time check must be done elsewhere as the initial conclusion is set to uint48 max,
    /// tokens must also already be held within the contract or else the call will revert
    function _create() private {
        // Set the initial price to the current market price
        uint256 initialPrice = _getPrice();
        uint96 targetDebt = uint96(_balances[address(this)]);
        uint96 capacity = targetDebt;
        uint96 maxPayout = uint96(targetDebt * 14400 / INTERVAL);
        uint256 controlVariable = initialPrice * _totalSupply / targetDebt;
        bool policy = _policy(capacity, initialPrice);
        uint48 conclusion = uint48(block.timestamp + INTERVAL);

        if (policy) {
            market = PricingLibrary.Market(capacity, targetDebt, maxPayout, 0, 0);
            term = PricingLibrary.Term(conclusion, controlVariable);
            data = PricingLibrary.Data(uint48(block.timestamp), uint48(block.timestamp), uint48(INTERVAL), 14400, 1800);
            emit CreateMarket(capacity, block.timestamp, conclusion);
        } else {
            _burn(address(this), capacity);
            // Set the markets so that they will be closed for the next interval. Important step to make sure
            // that if anyone accidently tries to buy a bond they get refunded their eth.
            term.conclusion = uint48(block.timestamp + INTERVAL);
            market.capacity = 0;
        }
    }

    ///@notice determines if to sell the tokens available as bonds or to burn them instead
    ///@param capacity the amount of tokens that will be available within the next bonding cycle
    ///@param price the starting price of the bonds to sell
    ///@return decision the decision reached determining which is more valuable to sell the bonds (true) or to burn them (false)
    ///@dev the decision is made optimistically using the initial price as the selling price for the deicison. If selling the tokens all at the starting
    /// price does not increase relative reserves more than burning the tokens then they are burned. If they are equivilant burning wins out.
    function _policy(uint256 capacity, uint256 price) private view returns (bool decision) {
        uint256 supply = _totalSupply;
        uint256 burnRelative = (address(this).balance * 1e18) / (supply - capacity);
        uint256 bondRelative = ((address(this).balance * 1e18) + ((capacity * price))) / supply;
        decision = burnRelative >= bondRelative ? false : true;
    }

    function _transfer(address from, address to, uint256 _value) private {
        if (_value > _balances[from]) revert InsufficentBalance();
        bool fees;
        if (_amms[to] || _amms[from]) {
            if (_excluded[to] || _excluded[from]) {
                fees = false;
            } else {
                fees = true;
            }
        }
        if (checkLimits(from, to, _value)) revert LimitsReached();
        if (fees) {
            uint256 fee = (_value * FEE) / 1000;

            unchecked {
                _balances[from] -= _value;
                _balances[BOND_DEPOSITORY] += fee;
            }
            _value -= fee;
            unchecked {
                _balances[to] += _value;
            }
        } else {
            unchecked {
                _balances[from] -= _value;
                _balances[to] += _value;
            }
        }
        emit Transfer(from, to, _value);
    }

    ///@notice mint new koto tokens
    ///@param to the user who will receive the tokens
    ///@param value the amount of tokens to mint
    ///@dev this function is used once, during the creation of the contract and is then
    /// not callable
    function _mint(address to, uint256 value) private {
        unchecked {
            _balances[to] += value;
            _totalSupply += value;
        }
        emit Transfer(address(0), to, value);
    }

    ///@notice burn koto tokens
    ///@param from the user to burn the tokens from
    ///@param value the amount of koto tokens to burn
    function _burn(address from, uint256 value) private {
        if (_balances[from] < value) revert InsufficentBalance();
        unchecked {
            _balances[from] -= value;
            _totalSupply -= value;
        }
        emit Transfer(from, address(0), value);
    }

    ///@notice send the user the correct amount of tokens after the have bought a bond
    ///@param to the user to send the tokens to
    ///@param value the amount of koto tokens to send
    ///@dev bonds are not subject to taxes
    function _bond(address to, uint256 value) private returns (bool success) {
        if (value > _balances[address(this)]) revert InsufficentBondsAvailable();
        unchecked {
            _balances[to] += value;
            _balances[address(this)] -= value;
        }
        success = true;
        emit Transfer(address(this), to, value);
    }

    ///@notice calculate the current market price based on the reserves of the Uniswap Pair
    ///@dev price is returned as the amount of ETH you would get back for 1 full (1e18) Koto tokens
    function _getPrice() public view returns (uint256 price) {
        address _pair = pair;
        uint112 reserve0;
        uint112 reserve1;
        assembly {
            let ptr := mload(0x40)
            mstore(ptr, 0x0902f1ac00000000000000000000000000000000000000000000000000000000)
            let success := staticcall(gas(), _pair, ptr, 4, 0, 0)
            if iszero(success) { revert(0, 0) }
            returndatacopy(0x00, 0, 32)
            returndatacopy(0x20, 0x20, 32)
            reserve0 := mload(0x00)
            reserve1 := mload(0x20)
        }

        if (zeroForOne) {
            price = (uint256(reserve1) * 1e18) / uint256(reserve0);
        } else {
            price = (uint256(reserve0) * 1e18) / uint256(reserve1);
        }
    }

    function _getTokens(address _pair) public view returns (address _token0, address _token1) {
        assembly {
            let ptr := mload(0x40)
            mstore(ptr, 0x0dfe168100000000000000000000000000000000000000000000000000000000)
            let resultToken0 := staticcall(gas(), _pair, ptr, 4, 0, 32)
            mstore(add(ptr, 4), 0xd21220a700000000000000000000000000000000000000000000000000000000)
            let resultToken1 := staticcall(gas(), _pair, add(ptr, 4), 4, 32, 32)
            if or(iszero(resultToken0), iszero(resultToken1)) { revert(0, 0) }
            _token0 := mload(0x00)
            _token1 := mload(0x20)
        }
    }

    ///@notice check to see if a transaction is within the limits if limits are still enforced
    ///@param to the user who is either initiating the transaction or the user receiving the tokens
    ///@param value the amount of koto tokens within the transaction
    ///@return limited if the user has broken limits (true) or if they are okay to continue (false)
    ///@dev the case were limits are no longer in place is checked first to help save gas once they are turned off
    function checkLimits(address from, address to, uint256 value) private view returns (bool limited) {
        Limits memory _limits = limits;
        if (!_limits.limits) {
            limited = false;
        } else if (from == address(this) && to == pair) {
            limited = false;
        } else {
            if (
                (!_excluded[to] && !_excluded[from])
                    && (_limits.maxTransactions < value || _limits.maxWallet < (_balances[to] + value))
            ) {
                limited = true;
            } else {
                limited = false;
            }
        }
    }

    // ========================= EVENTS ========================= \\

    event AmmAdded(address poolAdded);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
    event Bond(address indexed buyer, uint256 amount, uint256 bondPrice);
    event CreateMarket(uint256 bonds, uint256 start, uint48 end);
    event IncreaseLiquidity(uint256 kotoAdded, uint256 ethAdded);
    event Launched(uint256 time);
    event LimitsRemoved(uint256 time);
    event OpenBondMarket(uint256 openingTime);
    event Redeem(address indexed sender, uint256 burned, uint256 payout, uint256 floorPrice);
    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event UserExcluded(address indexed userToExclude);

    // ========================= ERRORS ========================= \\

    error AlreadyLaunched();
    error BondFailed();
    error InsufficentAllowance();
    error InsufficentBalance();
    error InsufficentBondsAvailable();
    error InvalidTransfer();
    error LimitsReached();
    error MarketClosed();
    error MaxPayout();
    error OnlyOwner();
    error RedeemFailed();
    error Reentrancy();

    receive() external payable {
        if (msg.sender != OWNER && msg.sender != UNISWAP_V2_ROUTER) {
            bond();
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"AlreadyLaunched","type":"error"},{"inputs":[],"name":"BondFailed","type":"error"},{"inputs":[],"name":"InsufficentAllowance","type":"error"},{"inputs":[],"name":"InsufficentBalance","type":"error"},{"inputs":[],"name":"InsufficentBondsAvailable","type":"error"},{"inputs":[],"name":"InvalidTransfer","type":"error"},{"inputs":[],"name":"LimitsReached","type":"error"},{"inputs":[],"name":"MarketClosed","type":"error"},{"inputs":[],"name":"MaxPayout","type":"error"},{"inputs":[],"name":"OnlyOwner","type":"error"},{"inputs":[],"name":"RedeemFailed","type":"error"},{"inputs":[],"name":"Reentrancy","type":"error"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"poolAdded","type":"address"}],"name":"AmmAdded","type":"event"},{"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":"buyer","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"bondPrice","type":"uint256"}],"name":"Bond","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"bonds","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"start","type":"uint256"},{"indexed":false,"internalType":"uint48","name":"end","type":"uint48"}],"name":"CreateMarket","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"kotoAdded","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"ethAdded","type":"uint256"}],"name":"IncreaseLiquidity","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"time","type":"uint256"}],"name":"Launched","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"time","type":"uint256"}],"name":"LimitsRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"openingTime","type":"uint256"}],"name":"OpenBondMarket","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"burned","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"payout","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"floorPrice","type":"uint256"}],"name":"Redeem","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":"userToExclude","type":"address"}],"name":"UserExcluded","type":"event"},{"inputs":[],"name":"_getPrice","outputs":[{"internalType":"uint256","name":"price","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_pair","type":"address"}],"name":"_getTokens","outputs":[{"internalType":"address","name":"_token0","type":"address"},{"internalType":"address","name":"_token1","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_pool","type":"address"}],"name":"addAmm","outputs":[],"stateMutability":"nonpayable","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":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"bond","outputs":[{"internalType":"uint256","name":"payout","type":"uint256"}],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"bondPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"depository","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"exclude","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenAmount","type":"uint256"},{"internalType":"uint256","name":"ethAmount","type":"uint256"}],"name":"increaseLiquidity","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"launch","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"marketInfo","outputs":[{"components":[{"internalType":"uint96","name":"capacity","type":"uint96"},{"internalType":"uint96","name":"totalDebt","type":"uint96"},{"internalType":"uint96","name":"maxPayout","type":"uint96"},{"internalType":"uint96","name":"sold","type":"uint96"},{"internalType":"uint96","name":"purchased","type":"uint96"}],"internalType":"struct PricingLibrary.Market","name":"","type":"tuple"},{"components":[{"internalType":"uint48","name":"conclusion","type":"uint48"},{"internalType":"uint256","name":"controlVariable","type":"uint256"}],"internalType":"struct PricingLibrary.Term","name":"","type":"tuple"},{"components":[{"internalType":"uint48","name":"lastTune","type":"uint48"},{"internalType":"uint48","name":"lastDecay","type":"uint48"},{"internalType":"uint48","name":"length","type":"uint48"},{"internalType":"uint48","name":"depositInterval","type":"uint48"},{"internalType":"uint48","name":"tuneInterval","type":"uint48"}],"internalType":"struct PricingLibrary.Data","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"open","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"ownership","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pool","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"redeem","outputs":[{"internalType":"uint256","name":"payout","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"redemptionPrice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","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":"success","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":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

61010060405234801562000011575f80fd5b50620000383073c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2620004ec60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1660a08173ffffffffffffffffffffffffffffffffffffffff1681525050600160025f730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff021916908315150217905550600160025f730e58bd5557c4e0a0abf0e8d4df24177ae714452d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff021916908315150217905550600160025f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff021916908315150217905550600160035f60a05173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555062000206306a05ca4ec2a79a7f670000006200057f60201b60201c565b62000237730688578ec7273458785591d3affd120e664900c26a01a784379d99db420000006200057f60201b60201c565b62000267730e58bd5557c4e0a0abf0e8d4df24177ae714452d69d3c21bcecceda10000006200057f60201b60201c565b604051806060016040528069152d02c7e14af68000006bffffffffffffffffffffffff16815260200169152d02c7e14af68000006bffffffffffffffffffffffff16815260200160011515815250600c5f820151815f015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506020820151815f01600c6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506040820151815f0160186101000a81548160ff0219169083151502179055509050506200035660a0516200064260201b60201c565b8073ffffffffffffffffffffffffffffffffffffffff1660e09073ffffffffffffffffffffffffffffffffffffffff168152508173ffffffffffffffffffffffffffffffffffffffff1660c09073ffffffffffffffffffffffffffffffffffffffff16815250505060c05173ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff1614620003fb575f620003fe565b60015b15156080811515815250507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f737a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555065ffffffffffff600a5f015f6101000a81548165ffffffffffff021916908365ffffffffffff160217905550620006f9565b5f6040517fc9c6539600000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8416600482015273ffffffffffffffffffffffffffffffffffffffff8316602482015260205f6044835f735c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f5af18062000573575f80fd5b5f519250505092915050565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508060045f82825401925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620006369190620006de565b60405180910390a35050565b5f806040517f0dfe168100000000000000000000000000000000000000000000000000000000815260205f600483875afa7fd21220a70000000000000000000000000000000000000000000000000000000060048301526020806004808501885afa801582151715620006b3575f80fd5b5f5194506020519350505050915091565b5f819050919050565b620006d881620006c4565b82525050565b5f602082019050620006f35f830184620006cd565b92915050565b60805160a05160c05160e05161414b620007355f395f50505f50505f818161157a01528181611be701526134c801525f611c59015261414b5ff3fe608060405260043610610184575f3560e01c8063696f9c81116100d0578063bedd12a511610089578063d926de1c11610063578063d926de1c14610601578063db006a7514610629578063dd62ed3e14610665578063fcfff16f146106a15761022a565b8063bedd12a514610583578063c5b748c0146105ad578063d7ccfb0b146105d75761022a565b8063696f9c811461047957806370a08231146104a1578063751039fc146104dd57806395d89b41146104f3578063a19af1ad1461051d578063a9059cbb146105475761022a565b806323b872dd1161013d57806342966c681161011757806342966c68146103cd5780634febf53d146104095780635d03147a1461043157806364c9ec6f1461045b5761022a565b806323b872dd1461032a5780633031afb814610366578063313ce567146103a35761022a565b806301339c211461022e578063031bee001461024457806306fdde0314610270578063095ea7b31461029a57806316f0115b146102d657806318160ddd146103005761022a565b3661022a57730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141580156102195750737a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614155b15610228576102266106b7565b505b005b5f80fd5b348015610239575f80fd5b50610242611103565b005b34801561024f575f80fd5b5061025861121f565b60405161026793929190613907565b60405180910390f35b34801561027b575f80fd5b506102846114ad565b60405161029191906139c7565b60405180910390f35b3480156102a5575f80fd5b506102c060048036038101906102bb9190613a6f565b6114ea565b6040516102cd9190613ac7565b60405180910390f35b3480156102e1575f80fd5b506102ea611577565b6040516102f79190613aef565b60405180910390f35b34801561030b575f80fd5b5061031461159e565b6040516103219190613b17565b60405180910390f35b348015610335575f80fd5b50610350600480360381019061034b9190613b30565b6115a7565b60405161035d9190613ac7565b60405180910390f35b348015610371575f80fd5b5061038c60048036038101906103879190613b80565b6117a2565b60405161039a929190613bab565b60405180910390f35b3480156103ae575f80fd5b506103b7611823565b6040516103c49190613bed565b60405180910390f35b3480156103d8575f80fd5b506103f360048036038101906103ee9190613c06565b61182b565b6040516104009190613ac7565b60405180910390f35b348015610414575f80fd5b5061042f600480360381019061042a9190613b80565b6118a4565b005b34801561043c575f80fd5b506104456119b8565b6040516104529190613aef565b60405180910390f35b6104636106b7565b6040516104709190613b17565b60405180910390f35b348015610484575f80fd5b5061049f600480360381019061049a9190613c31565b6119d3565b005b3480156104ac575f80fd5b506104c760048036038101906104c29190613b80565b611a93565b6040516104d49190613b17565b60405180910390f35b3480156104e8575f80fd5b506104f1611ad8565b005b3480156104fe575f80fd5b50610507611ba6565b60405161051491906139c7565b60405180910390f35b348015610528575f80fd5b50610531611be3565b60405161053e9190613b17565b60405180910390f35b348015610552575f80fd5b5061056d60048036038101906105689190613a6f565b611d0b565b60405161057a9190613ac7565b60405180910390f35b34801561058e575f80fd5b50610597611d91565b6040516105a49190613aef565b60405180910390f35b3480156105b8575f80fd5b506105c1611dac565b6040516105ce9190613b17565b60405180910390f35b3480156105e2575f80fd5b506105eb611dd3565b6040516105f89190613b17565b60405180910390f35b34801561060c575f80fd5b5061062760048036038101906106229190613b80565b611e15565b005b348015610634575f80fd5b5061064f600480360381019061064a9190613c06565b611f1d565b60405161065c9190613b17565b60405180910390f35b348015610670575f80fd5b5061068b60048036038101906106869190613c6f565b611fcf565b6040516106989190613b17565b60405180910390f35b3480156106ac575f80fd5b506106b5612051565b005b5f6002600d5f9054906101000a900460ff1660ff1603610703576040517fab143c0600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6002600d5f6101000a81548160ff021916908360ff160217905550600a5f015f9054906101000a900465ffffffffffff1665ffffffffffff1642111561074c5761074b61210b565b5b5f60075f015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16146110da575f60076040518060a00160405290815f82015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681526020015f8201600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff168152602001600182015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff16815260200160018201600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff168152602001600282015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff168152505090505f600a6040518060400160405290815f82015f9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff16815260200160018201548152505090505f60066040518060a00160405290815f82015f9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160069054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f8201600c9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160129054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160189054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff168152505090505f60056040518060800160405290815f82015f9054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff1681526020015f820160109054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160169054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f8201601c9054906101000a900460ff16151515158152505090505f60045490505f4290505f856020015190505f87602001516bffffffffffffffffffffffff169050610bc560066040518060a00160405290815f82015f9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160069054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f8201600c9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160129054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160189054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff16815250508989886125aa565b809850819a50829950839b50505050505f610be1838387612738565b905080670de0b6b3a764000034610bf89190613cda565b610c029190613d48565b995060076001015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff168a1115610c68576040517f0b84a19e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b89895f01818151610c799190613d78565b9150906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff16815250503489608001818151610cb09190613db7565b9150906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff16815250508989606001818151610ce79190613db7565b9150906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff16815250508989602001818151610d1e9190613db7565b9150906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff16815250505f610d4e338c61276a565b905080610d87576040517fdde1446d00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f3ae9ad26d7d47616d306d7757b947fe7b0f9a7c61a5f0dc784b0ddb6c7c40b5a8c84604051610dcf929190613df6565b60405180910390a2610de5858b8b8b8b8b6128e2565b809a50819b50829c50839d50505050508960075f820151815f015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506020820151815f01600c6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506040820151816001015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550606082015181600101600c6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506080820151816002015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505088600a5f820151815f015f6101000a81548165ffffffffffff021916908365ffffffffffff160217905550602082015181600101559050508760065f820151815f015f6101000a81548165ffffffffffff021916908365ffffffffffff1602179055506020820151815f0160066101000a81548165ffffffffffff021916908365ffffffffffff1602179055506040820151815f01600c6101000a81548165ffffffffffff021916908365ffffffffffff1602179055506060820151815f0160126101000a81548165ffffffffffff021916908365ffffffffffff1602179055506080820151815f0160186101000a81548165ffffffffffff021916908365ffffffffffff1602179055509050508660055f820151815f015f6101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055506020820151815f0160106101000a81548165ffffffffffff021916908365ffffffffffff1602179055506040820151815f0160166101000a81548165ffffffffffff021916908365ffffffffffff1602179055506060820151815f01601c6101000a81548160ff021916908315150217905550905050505050505050505050506110e5565b6110e43334612b01565b5b6001600d5f6101000a81548160ff021916908360ff16021790555090565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461117c576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600d60019054906101000a900460ff16156111c3576040517fcfa6d87800000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6111cb612b51565b6001600d60016101000a81548160ff0219169083151502179055507feca0dfbda743d141662328d4d48393e344b2c60df0430297221df823f2926dba426040516112159190613b17565b60405180910390a1565b61122761365c565b61122f6136cc565b6112376136ec565b6007600a6006826040518060a00160405290815f82015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681526020015f8201600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff168152602001600182015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff16815260200160018201600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff168152602001600282015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff16815250509250816040518060400160405290815f82015f9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020016001820154815250509150806040518060a00160405290815f82015f9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160069054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f8201600c9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160129054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160189054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff16815250509050925092509250909192565b60606040518060400160405280600481526020017f4b6f746f00000000000000000000000000000000000000000000000000000000815250905090565b5f803390508260015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550600191505092915050565b5f7f0000000000000000000000000000000000000000000000000000000000000000905090565b5f600454905090565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614806115e157505f82145b15611618576040517f2f35253100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161461178c578160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156116fd576040517fb1a48df600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546117849190613e1d565b925050819055505b611797848484612c31565b600190509392505050565b5f806040517f0dfe168100000000000000000000000000000000000000000000000000000000815260205f600483875afa7fd21220a70000000000000000000000000000000000000000000000000000000060048301526020806004808501885afa801582151715611812575f80fd5b5f5194506020519350505050915091565b5f6012905090565b5f611836338361305f565b600190505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516118979190613b17565b60405180910390a3919050565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461191d576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600160025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167fec2dffa455deca3e695cce255e2b110b5ca334fb5b166f3159bbaad319ce0f1b60405160405180910390a250565b5f730688578ec7273458785591d3affd120e664900c2905090565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611a4c576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b611a568282613196565b7faf0e92ed9a06daf8b906385b588b940a355de1516517e37e03bcb3bacf9b96648282604051611a87929190613df6565b60405180910390a15050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611b51576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f600c5f0160186101000a81548160ff0219169083151502179055507ff4eaa75eae08ae80c3daf791438dac1cff2cfd3b0bad2304ec7bbb067e50261642604051611b9c9190613b17565b60405180910390a1565b60606040518060400160405280600481526020017f4b4f544f00000000000000000000000000000000000000000000000000000000815250905090565b5f807f000000000000000000000000000000000000000000000000000000000000000090505f806040517f0902f1ac0000000000000000000000000000000000000000000000000000000081525f80600483875afa80611c41575f80fd5b60205f803e60208060203e5f519350602051925050507f000000000000000000000000000000000000000000000000000000000000000015611cc357816dffffffffffffffffffffffffffff16670de0b6b3a7640000826dffffffffffffffffffffffffffff16611cb29190613cda565b611cbc9190613d48565b9350611d05565b806dffffffffffffffffffffffffffff16670de0b6b3a7640000836dffffffffffffffffffffffffffff16611cf89190613cda565b611d029190613d48565b93505b50505090565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480611d4557505f82145b15611d7c576040517f2f35253100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b611d87338484612c31565b6001905092915050565b5f730e58bd5557c4e0a0abf0e8d4df24177ae714452d905090565b5f600454670de0b6b3a764000047611dc49190613cda565b611dce9190613d48565b905090565b5f611e10600a6001015460075f01600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16600454612738565b905090565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611e8e576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600160035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055507f10cdbb821aa416c854add806e1d7e8138afe2a538921cebe99b1351362ae38b281604051611f129190613aef565b60405180910390a150565b5f80600454670de0b6b3a764000047611f369190613cda565b611f409190613d48565b9050670de0b6b3a76400008382611f579190613cda565b611f619190613d48565b9150611f6d338461305f565b611f773383612b01565b3373ffffffffffffffffffffffffffffffffffffffff167fbd5034ffbd47e4e72a94baa2cdb74c6fad73cb3bcdc13036b72ec8306f5a7646848484604051611fc193929190613e50565b60405180910390a250919050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146120ca576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6120d261210b565b7fcb952d4b0fcf5915a9cc714f93cda275771363c8e7fb92af67c20638187b14d3426040516121019190613b17565b60405180910390a1565b5f612114611be3565b90505f805f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f8190505f620151806138408461216d9190613e85565b6bffffffffffffffffffffffff166121859190613d48565b90505f836bffffffffffffffffffffffff16600454866121a59190613cda565b6121af9190613d48565b90505f6121ca846bffffffffffffffffffffffff1687613236565b90505f62015180426121dc9190613ec1565b90508115612522576040518060a00160405280866bffffffffffffffffffffffff168152602001876bffffffffffffffffffffffff168152602001856bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681525060075f820151815f015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506020820151815f01600c6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506040820151816001015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550606082015181600101600c6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506080820151816002015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060405180604001604052808265ffffffffffff16815260200184815250600a5f820151815f015f6101000a81548165ffffffffffff021916908365ffffffffffff160217905550602082015181600101559050506040518060a001604052804265ffffffffffff1681526020014265ffffffffffff1681526020016201518065ffffffffffff16815260200161384065ffffffffffff16815260200161070865ffffffffffff1681525060065f820151815f015f6101000a81548165ffffffffffff021916908365ffffffffffff1602179055506020820151815f0160066101000a81548165ffffffffffff021916908365ffffffffffff1602179055506040820151815f01600c6101000a81548165ffffffffffff021916908365ffffffffffff1602179055506060820151815f0160126101000a81548165ffffffffffff021916908365ffffffffffff1602179055506080820151815f0160186101000a81548165ffffffffffff021916908365ffffffffffff1602179055509050507f035d6743050a54c5c545b7f45bddbd082bf97e098d81e6eb10045ab6a10ab51085428360405161251593929190613f3c565b60405180910390a16125a1565b61253a30866bffffffffffffffffffffffff1661305f565b62015180426125499190613ec1565b600a5f015f6101000a81548165ffffffffffff021916908365ffffffffffff1602179055505f60075f015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055505b50505050505050565b6125b261365c565b6125ba6136ec565b6125c26136cc565b6125ca61373e565b5f4290506125d889896132be565b67ffffffffffffffff16886020018181516125f39190613d78565b9150906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff168152505080896020019065ffffffffffff16908165ffffffffffff1681525050856060015115612720575f805f61264a89613318565b925092509250826fffffffffffffffffffffffffffffffff168a6020018181516126749190613e1d565b91508181525050801561270b5782895f018181516126929190613f8c565b9150906fffffffffffffffffffffffffffffffff1690816fffffffffffffffffffffffffffffffff168152505081896040018181516126d19190613fcf565b91509065ffffffffffff16908165ffffffffffff168152505083896020019065ffffffffffff16908165ffffffffffff168152505061271c565b5f8960600190151590811515815250505b5050505b87898888945094509450945050945094509450949050565b5f670de0b6b3a764000061274c84846133b3565b856127579190613cda565b6127619190613d48565b90509392505050565b5f805f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20548211156127e1576040517f5e36b3df00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540192505081905550815f803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540392505081905550600190508273ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516128d49190613b17565b60405180910390a392915050565b6128ea61365c565b6128f26136cc565b6128fa6136ec565b61290261373e565b61290a613786565b8760800151885f015161291d9190614008565b65ffffffffffff168b65ffffffffffff1610612ae7578a895f01516129429190613fcf565b65ffffffffffff16815f01818152505061297389602001518b602001516bffffffffffffffffffffffff1688612738565b816020018181525050895f01516bffffffffffffffffffffffff16816040018181525050805f0151886060015165ffffffffffff1682604001516129b79190613cda565b6129c19190613d48565b8a604001906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff1681525050805f0151886040015165ffffffffffff168260400151612a089190613cda565b612a129190613d48565b8160600181815250508060600151868260200151612a309190613cda565b612a3a9190613d48565b816080018181525050886020015181608001511015612a66578060800151896020018181525050612acb565b5f81608001518a60200151612a7b9190613e1d565b90506040518060800160405280826fffffffffffffffffffffffffffffffff1681526020018d65ffffffffffff1681526020018a6080015165ffffffffffff168152602001600115158152509750505b8a885f019065ffffffffffff16908165ffffffffffff16815250505b898989899450945094509450509650965096509692505050565b5f805f805f85875af1905080612b4c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612b439061408b565b60405180910390fd5b505050565b5f805f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490506040517ff305d71900000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff301660048201528160248201525f60448201525f6064820152730e58bd5557c4e0a0abf0e8d4df24177ae714452d60848201524260a48201525f8060c4833031737a250d5630b4cf539739df2c5dacb4c659f2488d5af180612c2c575f80fd5b505050565b5f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054811115612ca7576040517f1930e49c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1680612d43575060035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b15612df65760025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1680612de3575060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b15612df0575f9050612df5565b600190505b5b612e018484846133db565b15612e38576040517fd5e85fe600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8015612f61575f6103e8603260ff1684612e529190613cda565b612e5c9190613d48565b9050825f808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540392505081905550805f80730e58bd5557c4e0a0abf0e8d4df24177ae714452d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508083612f109190613e1d565b9250825f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555050612ff4565b815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540392505081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516130519190613b17565b60405180910390a350505050565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156130d5576040517f1930e49c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825403925050819055508060045f82825403925050819055505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161318a9190613b17565b60405180910390a35050565b6040517ff305d71900000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff301660048201528260248201525f60448201525f6064820152730e58bd5557c4e0a0abf0e8d4df24177ae714452d60848201524260a48201525f8060c48385737a250d5630b4cf539739df2c5dacb4c659f2488d5af180613230575f80fd5b50505050565b5f8060045490505f848261324a9190613e1d565b670de0b6b3a76400004761325e9190613cda565b6132689190613d48565b90505f8285876132789190613cda565b670de0b6b3a76400004761328c9190613cda565b6132969190613ec1565b6132a09190613d48565b9050808210156132b15760016132b3565b5f5b935050505092915050565b5f80836020015165ffffffffffff16426132d89190613e1d565b9050836040015165ffffffffffff168184602001516bffffffffffffffffffffffff166133059190613cda565b61330f9190613d48565b91505092915050565b5f805f8360600151613332575f805f9250925092506133ac565b5f8460200151426133439190613fcf565b90505f856040015165ffffffffffff168265ffffffffffff161090505f8161336e57865f015161339d565b866040015165ffffffffffff168365ffffffffffff16885f015161339291906140a9565b61339c91906140e5565b5b90508083839550955095505050505b9193909250565b5f81670de0b6b3a7640000846133c99190613cda565b6133d39190613d48565b905092915050565b5f80600c6040518060600160405290815f82015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681526020015f8201600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681526020015f820160189054906101000a900460ff16151515158152505090508060400151613490575f9150613654565b3073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff1614801561351657507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16145b15613523575f9150613653565b60025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff161580156135c1575060025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b801561364057508281602001516bffffffffffffffffffffffff16108061363f5750825f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461362b9190613ec1565b815f01516bffffffffffffffffffffffff16105b5b1561364e5760019150613652565b5f91505b5b5b509392505050565b6040518060a001604052805f6bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681525090565b60405180604001604052805f65ffffffffffff1681526020015f81525090565b6040518060a001604052805f65ffffffffffff1681526020015f65ffffffffffff1681526020015f65ffffffffffff1681526020015f65ffffffffffff1681526020015f65ffffffffffff1681525090565b60405180608001604052805f6fffffffffffffffffffffffffffffffff1681526020015f65ffffffffffff1681526020015f65ffffffffffff1681526020015f151581525090565b6040518060a001604052805f81526020015f81526020015f81526020015f81526020015f81525090565b5f6bffffffffffffffffffffffff82169050919050565b6137d0816137b0565b82525050565b60a082015f8201516137ea5f8501826137c7565b5060208201516137fd60208501826137c7565b50604082015161381060408501826137c7565b50606082015161382360608501826137c7565b50608082015161383660808501826137c7565b50505050565b5f65ffffffffffff82169050919050565b6138568161383c565b82525050565b5f819050919050565b61386e8161385c565b82525050565b604082015f8201516138885f85018261384d565b50602082015161389b6020850182613865565b50505050565b60a082015f8201516138b55f85018261384d565b5060208201516138c8602085018261384d565b5060408201516138db604085018261384d565b5060608201516138ee606085018261384d565b506080820151613901608085018261384d565b50505050565b5f6101808201905061391b5f8301866137d6565b61392860a0830185613874565b61393560e08301846138a1565b949350505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015613974578082015181840152602081019050613959565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6139998261393d565b6139a38185613947565b93506139b3818560208601613957565b6139bc8161397f565b840191505092915050565b5f6020820190508181035f8301526139df818461398f565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f613a14826139eb565b9050919050565b613a2481613a0a565b8114613a2e575f80fd5b50565b5f81359050613a3f81613a1b565b92915050565b613a4e8161385c565b8114613a58575f80fd5b50565b5f81359050613a6981613a45565b92915050565b5f8060408385031215613a8557613a846139e7565b5b5f613a9285828601613a31565b9250506020613aa385828601613a5b565b9150509250929050565b5f8115159050919050565b613ac181613aad565b82525050565b5f602082019050613ada5f830184613ab8565b92915050565b613ae981613a0a565b82525050565b5f602082019050613b025f830184613ae0565b92915050565b613b118161385c565b82525050565b5f602082019050613b2a5f830184613b08565b92915050565b5f805f60608486031215613b4757613b466139e7565b5b5f613b5486828701613a31565b9350506020613b6586828701613a31565b9250506040613b7686828701613a5b565b9150509250925092565b5f60208284031215613b9557613b946139e7565b5b5f613ba284828501613a31565b91505092915050565b5f604082019050613bbe5f830185613ae0565b613bcb6020830184613ae0565b9392505050565b5f60ff82169050919050565b613be781613bd2565b82525050565b5f602082019050613c005f830184613bde565b92915050565b5f60208284031215613c1b57613c1a6139e7565b5b5f613c2884828501613a5b565b91505092915050565b5f8060408385031215613c4757613c466139e7565b5b5f613c5485828601613a5b565b9250506020613c6585828601613a5b565b9150509250929050565b5f8060408385031215613c8557613c846139e7565b5b5f613c9285828601613a31565b9250506020613ca385828601613a31565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f613ce48261385c565b9150613cef8361385c565b9250828202613cfd8161385c565b91508282048414831517613d1457613d13613cad565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f613d528261385c565b9150613d5d8361385c565b925082613d6d57613d6c613d1b565b5b828204905092915050565b5f613d82826137b0565b9150613d8d836137b0565b925082820390506bffffffffffffffffffffffff811115613db157613db0613cad565b5b92915050565b5f613dc1826137b0565b9150613dcc836137b0565b925082820190506bffffffffffffffffffffffff811115613df057613def613cad565b5b92915050565b5f604082019050613e095f830185613b08565b613e166020830184613b08565b9392505050565b5f613e278261385c565b9150613e328361385c565b9250828203905081811115613e4a57613e49613cad565b5b92915050565b5f606082019050613e635f830186613b08565b613e706020830185613b08565b613e7d6040830184613b08565b949350505050565b5f613e8f826137b0565b9150613e9a836137b0565b9250828202613ea8816137b0565b9150808214613eba57613eb9613cad565b5b5092915050565b5f613ecb8261385c565b9150613ed68361385c565b9250828201905080821115613eee57613eed613cad565b5b92915050565b5f819050919050565b5f613f17613f12613f0d846137b0565b613ef4565b61385c565b9050919050565b613f2781613efd565b82525050565b613f368161383c565b82525050565b5f606082019050613f4f5f830186613f1e565b613f5c6020830185613b08565b613f696040830184613f2d565b949350505050565b5f6fffffffffffffffffffffffffffffffff82169050919050565b5f613f9682613f71565b9150613fa183613f71565b925082820390506fffffffffffffffffffffffffffffffff811115613fc957613fc8613cad565b5b92915050565b5f613fd98261383c565b9150613fe48361383c565b9250828203905065ffffffffffff81111561400257614001613cad565b5b92915050565b5f6140128261383c565b915061401d8361383c565b9250828201905065ffffffffffff81111561403b5761403a613cad565b5b92915050565b7f4554485f5452414e534645525f4641494c4544000000000000000000000000005f82015250565b5f614075601383613947565b915061408082614041565b602082019050919050565b5f6020820190508181035f8301526140a281614069565b9050919050565b5f6140b382613f71565b91506140be83613f71565b92508282026140cc81613f71565b91508082146140de576140dd613cad565b5b5092915050565b5f6140ef82613f71565b91506140fa83613f71565b92508261410a57614109613d1b565b5b82820490509291505056fea2646970667358221220952dd1b4658b6d3f405f63247e685c1618b447b5d264129126792547927be72b64736f6c63430008160033

0x608060405260043610610184575f3560e01c8063696f9c81116100d0578063bedd12a511610089578063d926de1c11610063578063d926de1c14610601578063db006a7514610629578063dd62ed3e14610665578063fcfff16f146106a15761022a565b8063bedd12a514610583578063c5b748c0146105ad578063d7ccfb0b146105d75761022a565b8063696f9c811461047957806370a08231146104a1578063751039fc146104dd57806395d89b41146104f3578063a19af1ad1461051d578063a9059cbb146105475761022a565b806323b872dd1161013d57806342966c681161011757806342966c68146103cd5780634febf53d146104095780635d03147a1461043157806364c9ec6f1461045b5761022a565b806323b872dd1461032a5780633031afb814610366578063313ce567146103a35761022a565b806301339c211461022e578063031bee001461024457806306fdde0314610270578063095ea7b31461029a57806316f0115b146102d657806318160ddd146103005761022a565b3661022a57730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141580156102195750737a250d5630b4cf539739df2c5dacb4c659f2488d73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614155b15610228576102266106b7565b505b005b5f80fd5b348015610239575f80fd5b50610242611103565b005b34801561024f575f80fd5b5061025861121f565b60405161026793929190613907565b60405180910390f35b34801561027b575f80fd5b506102846114ad565b60405161029191906139c7565b60405180910390f35b3480156102a5575f80fd5b506102c060048036038101906102bb9190613a6f565b6114ea565b6040516102cd9190613ac7565b60405180910390f35b3480156102e1575f80fd5b506102ea611577565b6040516102f79190613aef565b60405180910390f35b34801561030b575f80fd5b5061031461159e565b6040516103219190613b17565b60405180910390f35b348015610335575f80fd5b50610350600480360381019061034b9190613b30565b6115a7565b60405161035d9190613ac7565b60405180910390f35b348015610371575f80fd5b5061038c60048036038101906103879190613b80565b6117a2565b60405161039a929190613bab565b60405180910390f35b3480156103ae575f80fd5b506103b7611823565b6040516103c49190613bed565b60405180910390f35b3480156103d8575f80fd5b506103f360048036038101906103ee9190613c06565b61182b565b6040516104009190613ac7565b60405180910390f35b348015610414575f80fd5b5061042f600480360381019061042a9190613b80565b6118a4565b005b34801561043c575f80fd5b506104456119b8565b6040516104529190613aef565b60405180910390f35b6104636106b7565b6040516104709190613b17565b60405180910390f35b348015610484575f80fd5b5061049f600480360381019061049a9190613c31565b6119d3565b005b3480156104ac575f80fd5b506104c760048036038101906104c29190613b80565b611a93565b6040516104d49190613b17565b60405180910390f35b3480156104e8575f80fd5b506104f1611ad8565b005b3480156104fe575f80fd5b50610507611ba6565b60405161051491906139c7565b60405180910390f35b348015610528575f80fd5b50610531611be3565b60405161053e9190613b17565b60405180910390f35b348015610552575f80fd5b5061056d60048036038101906105689190613a6f565b611d0b565b60405161057a9190613ac7565b60405180910390f35b34801561058e575f80fd5b50610597611d91565b6040516105a49190613aef565b60405180910390f35b3480156105b8575f80fd5b506105c1611dac565b6040516105ce9190613b17565b60405180910390f35b3480156105e2575f80fd5b506105eb611dd3565b6040516105f89190613b17565b60405180910390f35b34801561060c575f80fd5b5061062760048036038101906106229190613b80565b611e15565b005b348015610634575f80fd5b5061064f600480360381019061064a9190613c06565b611f1d565b60405161065c9190613b17565b60405180910390f35b348015610670575f80fd5b5061068b60048036038101906106869190613c6f565b611fcf565b6040516106989190613b17565b60405180910390f35b3480156106ac575f80fd5b506106b5612051565b005b5f6002600d5f9054906101000a900460ff1660ff1603610703576040517fab143c0600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6002600d5f6101000a81548160ff021916908360ff160217905550600a5f015f9054906101000a900465ffffffffffff1665ffffffffffff1642111561074c5761074b61210b565b5b5f60075f015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16146110da575f60076040518060a00160405290815f82015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681526020015f8201600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff168152602001600182015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff16815260200160018201600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff168152602001600282015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff168152505090505f600a6040518060400160405290815f82015f9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff16815260200160018201548152505090505f60066040518060a00160405290815f82015f9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160069054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f8201600c9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160129054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160189054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff168152505090505f60056040518060800160405290815f82015f9054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff1681526020015f820160109054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160169054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f8201601c9054906101000a900460ff16151515158152505090505f60045490505f4290505f856020015190505f87602001516bffffffffffffffffffffffff169050610bc560066040518060a00160405290815f82015f9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160069054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f8201600c9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160129054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160189054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff16815250508989886125aa565b809850819a50829950839b50505050505f610be1838387612738565b905080670de0b6b3a764000034610bf89190613cda565b610c029190613d48565b995060076001015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff168a1115610c68576040517f0b84a19e00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b89895f01818151610c799190613d78565b9150906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff16815250503489608001818151610cb09190613db7565b9150906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff16815250508989606001818151610ce79190613db7565b9150906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff16815250508989602001818151610d1e9190613db7565b9150906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff16815250505f610d4e338c61276a565b905080610d87576040517fdde1446d00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f3ae9ad26d7d47616d306d7757b947fe7b0f9a7c61a5f0dc784b0ddb6c7c40b5a8c84604051610dcf929190613df6565b60405180910390a2610de5858b8b8b8b8b6128e2565b809a50819b50829c50839d50505050508960075f820151815f015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506020820151815f01600c6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506040820151816001015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550606082015181600101600c6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506080820151816002015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505088600a5f820151815f015f6101000a81548165ffffffffffff021916908365ffffffffffff160217905550602082015181600101559050508760065f820151815f015f6101000a81548165ffffffffffff021916908365ffffffffffff1602179055506020820151815f0160066101000a81548165ffffffffffff021916908365ffffffffffff1602179055506040820151815f01600c6101000a81548165ffffffffffff021916908365ffffffffffff1602179055506060820151815f0160126101000a81548165ffffffffffff021916908365ffffffffffff1602179055506080820151815f0160186101000a81548165ffffffffffff021916908365ffffffffffff1602179055509050508660055f820151815f015f6101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055506020820151815f0160106101000a81548165ffffffffffff021916908365ffffffffffff1602179055506040820151815f0160166101000a81548165ffffffffffff021916908365ffffffffffff1602179055506060820151815f01601c6101000a81548160ff021916908315150217905550905050505050505050505050506110e5565b6110e43334612b01565b5b6001600d5f6101000a81548160ff021916908360ff16021790555090565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461117c576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600d60019054906101000a900460ff16156111c3576040517fcfa6d87800000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6111cb612b51565b6001600d60016101000a81548160ff0219169083151502179055507feca0dfbda743d141662328d4d48393e344b2c60df0430297221df823f2926dba426040516112159190613b17565b60405180910390a1565b61122761365c565b61122f6136cc565b6112376136ec565b6007600a6006826040518060a00160405290815f82015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681526020015f8201600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff168152602001600182015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff16815260200160018201600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff168152602001600282015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff16815250509250816040518060400160405290815f82015f9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020016001820154815250509150806040518060a00160405290815f82015f9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160069054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f8201600c9054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160129054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff1681526020015f820160189054906101000a900465ffffffffffff1665ffffffffffff1665ffffffffffff16815250509050925092509250909192565b60606040518060400160405280600481526020017f4b6f746f00000000000000000000000000000000000000000000000000000000815250905090565b5f803390508260015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550600191505092915050565b5f7f000000000000000000000000a3d64865004142aba7b315c9fa43a5c26d5115c2905090565b5f600454905090565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614806115e157505f82145b15611618576040517f2f35253100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff161461178c578160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156116fd576040517fb1a48df600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546117849190613e1d565b925050819055505b611797848484612c31565b600190509392505050565b5f806040517f0dfe168100000000000000000000000000000000000000000000000000000000815260205f600483875afa7fd21220a70000000000000000000000000000000000000000000000000000000060048301526020806004808501885afa801582151715611812575f80fd5b5f5194506020519350505050915091565b5f6012905090565b5f611836338361305f565b600190505f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516118979190613b17565b60405180910390a3919050565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461191d576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600160025f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055508073ffffffffffffffffffffffffffffffffffffffff167fec2dffa455deca3e695cce255e2b110b5ca334fb5b166f3159bbaad319ce0f1b60405160405180910390a250565b5f730688578ec7273458785591d3affd120e664900c2905090565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611a4c576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b611a568282613196565b7faf0e92ed9a06daf8b906385b588b940a355de1516517e37e03bcb3bacf9b96648282604051611a87929190613df6565b60405180910390a15050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611b51576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f600c5f0160186101000a81548160ff0219169083151502179055507ff4eaa75eae08ae80c3daf791438dac1cff2cfd3b0bad2304ec7bbb067e50261642604051611b9c9190613b17565b60405180910390a1565b60606040518060400160405280600481526020017f4b4f544f00000000000000000000000000000000000000000000000000000000815250905090565b5f807f000000000000000000000000a3d64865004142aba7b315c9fa43a5c26d5115c290505f806040517f0902f1ac0000000000000000000000000000000000000000000000000000000081525f80600483875afa80611c41575f80fd5b60205f803e60208060203e5f519350602051925050507f000000000000000000000000000000000000000000000000000000000000000115611cc357816dffffffffffffffffffffffffffff16670de0b6b3a7640000826dffffffffffffffffffffffffffff16611cb29190613cda565b611cbc9190613d48565b9350611d05565b806dffffffffffffffffffffffffffff16670de0b6b3a7640000836dffffffffffffffffffffffffffff16611cf89190613cda565b611d029190613d48565b93505b50505090565b5f8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161480611d4557505f82145b15611d7c576040517f2f35253100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b611d87338484612c31565b6001905092915050565b5f730e58bd5557c4e0a0abf0e8d4df24177ae714452d905090565b5f600454670de0b6b3a764000047611dc49190613cda565b611dce9190613d48565b905090565b5f611e10600a6001015460075f01600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16600454612738565b905090565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611e8e576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600160035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055507f10cdbb821aa416c854add806e1d7e8138afe2a538921cebe99b1351362ae38b281604051611f129190613aef565b60405180910390a150565b5f80600454670de0b6b3a764000047611f369190613cda565b611f409190613d48565b9050670de0b6b3a76400008382611f579190613cda565b611f619190613d48565b9150611f6d338461305f565b611f773383612b01565b3373ffffffffffffffffffffffffffffffffffffffff167fbd5034ffbd47e4e72a94baa2cdb74c6fad73cb3bcdc13036b72ec8306f5a7646848484604051611fc193929190613e50565b60405180910390a250919050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b730688578ec7273458785591d3affd120e664900c273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146120ca576040517f5fc483c500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6120d261210b565b7fcb952d4b0fcf5915a9cc714f93cda275771363c8e7fb92af67c20638187b14d3426040516121019190613b17565b60405180910390a1565b5f612114611be3565b90505f805f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f8190505f620151806138408461216d9190613e85565b6bffffffffffffffffffffffff166121859190613d48565b90505f836bffffffffffffffffffffffff16600454866121a59190613cda565b6121af9190613d48565b90505f6121ca846bffffffffffffffffffffffff1687613236565b90505f62015180426121dc9190613ec1565b90508115612522576040518060a00160405280866bffffffffffffffffffffffff168152602001876bffffffffffffffffffffffff168152602001856bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681525060075f820151815f015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506020820151815f01600c6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506040820151816001015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550606082015181600101600c6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506080820151816002015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060405180604001604052808265ffffffffffff16815260200184815250600a5f820151815f015f6101000a81548165ffffffffffff021916908365ffffffffffff160217905550602082015181600101559050506040518060a001604052804265ffffffffffff1681526020014265ffffffffffff1681526020016201518065ffffffffffff16815260200161384065ffffffffffff16815260200161070865ffffffffffff1681525060065f820151815f015f6101000a81548165ffffffffffff021916908365ffffffffffff1602179055506020820151815f0160066101000a81548165ffffffffffff021916908365ffffffffffff1602179055506040820151815f01600c6101000a81548165ffffffffffff021916908365ffffffffffff1602179055506060820151815f0160126101000a81548165ffffffffffff021916908365ffffffffffff1602179055506080820151815f0160186101000a81548165ffffffffffff021916908365ffffffffffff1602179055509050507f035d6743050a54c5c545b7f45bddbd082bf97e098d81e6eb10045ab6a10ab51085428360405161251593929190613f3c565b60405180910390a16125a1565b61253a30866bffffffffffffffffffffffff1661305f565b62015180426125499190613ec1565b600a5f015f6101000a81548165ffffffffffff021916908365ffffffffffff1602179055505f60075f015f6101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055505b50505050505050565b6125b261365c565b6125ba6136ec565b6125c26136cc565b6125ca61373e565b5f4290506125d889896132be565b67ffffffffffffffff16886020018181516125f39190613d78565b9150906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff168152505080896020019065ffffffffffff16908165ffffffffffff1681525050856060015115612720575f805f61264a89613318565b925092509250826fffffffffffffffffffffffffffffffff168a6020018181516126749190613e1d565b91508181525050801561270b5782895f018181516126929190613f8c565b9150906fffffffffffffffffffffffffffffffff1690816fffffffffffffffffffffffffffffffff168152505081896040018181516126d19190613fcf565b91509065ffffffffffff16908165ffffffffffff168152505083896020019065ffffffffffff16908165ffffffffffff168152505061271c565b5f8960600190151590811515815250505b5050505b87898888945094509450945050945094509450949050565b5f670de0b6b3a764000061274c84846133b3565b856127579190613cda565b6127619190613d48565b90509392505050565b5f805f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20548211156127e1576040517f5e36b3df00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540192505081905550815f803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540392505081905550600190508273ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516128d49190613b17565b60405180910390a392915050565b6128ea61365c565b6128f26136cc565b6128fa6136ec565b61290261373e565b61290a613786565b8760800151885f015161291d9190614008565b65ffffffffffff168b65ffffffffffff1610612ae7578a895f01516129429190613fcf565b65ffffffffffff16815f01818152505061297389602001518b602001516bffffffffffffffffffffffff1688612738565b816020018181525050895f01516bffffffffffffffffffffffff16816040018181525050805f0151886060015165ffffffffffff1682604001516129b79190613cda565b6129c19190613d48565b8a604001906bffffffffffffffffffffffff1690816bffffffffffffffffffffffff1681525050805f0151886040015165ffffffffffff168260400151612a089190613cda565b612a129190613d48565b8160600181815250508060600151868260200151612a309190613cda565b612a3a9190613d48565b816080018181525050886020015181608001511015612a66578060800151896020018181525050612acb565b5f81608001518a60200151612a7b9190613e1d565b90506040518060800160405280826fffffffffffffffffffffffffffffffff1681526020018d65ffffffffffff1681526020018a6080015165ffffffffffff168152602001600115158152509750505b8a885f019065ffffffffffff16908165ffffffffffff16815250505b898989899450945094509450509650965096509692505050565b5f805f805f85875af1905080612b4c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612b439061408b565b60405180910390fd5b505050565b5f805f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490506040517ff305d71900000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff301660048201528160248201525f60448201525f6064820152730e58bd5557c4e0a0abf0e8d4df24177ae714452d60848201524260a48201525f8060c4833031737a250d5630b4cf539739df2c5dacb4c659f2488d5af180612c2c575f80fd5b505050565b5f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054811115612ca7576040517f1930e49c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1680612d43575060035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b15612df65760025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1680612de3575060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b15612df0575f9050612df5565b600190505b5b612e018484846133db565b15612e38576040517fd5e85fe600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8015612f61575f6103e8603260ff1684612e529190613cda565b612e5c9190613d48565b9050825f808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540392505081905550805f80730e58bd5557c4e0a0abf0e8d4df24177ae714452d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508083612f109190613e1d565b9250825f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555050612ff4565b815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540392505081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055505b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516130519190613b17565b60405180910390a350505050565b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156130d5576040517f1930e49c00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825403925050819055508060045f82825403925050819055505f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161318a9190613b17565b60405180910390a35050565b6040517ff305d71900000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff301660048201528260248201525f60448201525f6064820152730e58bd5557c4e0a0abf0e8d4df24177ae714452d60848201524260a48201525f8060c48385737a250d5630b4cf539739df2c5dacb4c659f2488d5af180613230575f80fd5b50505050565b5f8060045490505f848261324a9190613e1d565b670de0b6b3a76400004761325e9190613cda565b6132689190613d48565b90505f8285876132789190613cda565b670de0b6b3a76400004761328c9190613cda565b6132969190613ec1565b6132a09190613d48565b9050808210156132b15760016132b3565b5f5b935050505092915050565b5f80836020015165ffffffffffff16426132d89190613e1d565b9050836040015165ffffffffffff168184602001516bffffffffffffffffffffffff166133059190613cda565b61330f9190613d48565b91505092915050565b5f805f8360600151613332575f805f9250925092506133ac565b5f8460200151426133439190613fcf565b90505f856040015165ffffffffffff168265ffffffffffff161090505f8161336e57865f015161339d565b866040015165ffffffffffff168365ffffffffffff16885f015161339291906140a9565b61339c91906140e5565b5b90508083839550955095505050505b9193909250565b5f81670de0b6b3a7640000846133c99190613cda565b6133d39190613d48565b905092915050565b5f80600c6040518060600160405290815f82015f9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681526020015f8201600c9054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681526020015f820160189054906101000a900460ff16151515158152505090508060400151613490575f9150613654565b3073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff1614801561351657507f000000000000000000000000a3d64865004142aba7b315c9fa43a5c26d5115c273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16145b15613523575f9150613653565b60025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff161580156135c1575060025f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b801561364057508281602001516bffffffffffffffffffffffff16108061363f5750825f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461362b9190613ec1565b815f01516bffffffffffffffffffffffff16105b5b1561364e5760019150613652565b5f91505b5b5b509392505050565b6040518060a001604052805f6bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681526020015f6bffffffffffffffffffffffff1681525090565b60405180604001604052805f65ffffffffffff1681526020015f81525090565b6040518060a001604052805f65ffffffffffff1681526020015f65ffffffffffff1681526020015f65ffffffffffff1681526020015f65ffffffffffff1681526020015f65ffffffffffff1681525090565b60405180608001604052805f6fffffffffffffffffffffffffffffffff1681526020015f65ffffffffffff1681526020015f65ffffffffffff1681526020015f151581525090565b6040518060a001604052805f81526020015f81526020015f81526020015f81526020015f81525090565b5f6bffffffffffffffffffffffff82169050919050565b6137d0816137b0565b82525050565b60a082015f8201516137ea5f8501826137c7565b5060208201516137fd60208501826137c7565b50604082015161381060408501826137c7565b50606082015161382360608501826137c7565b50608082015161383660808501826137c7565b50505050565b5f65ffffffffffff82169050919050565b6138568161383c565b82525050565b5f819050919050565b61386e8161385c565b82525050565b604082015f8201516138885f85018261384d565b50602082015161389b6020850182613865565b50505050565b60a082015f8201516138b55f85018261384d565b5060208201516138c8602085018261384d565b5060408201516138db604085018261384d565b5060608201516138ee606085018261384d565b506080820151613901608085018261384d565b50505050565b5f6101808201905061391b5f8301866137d6565b61392860a0830185613874565b61393560e08301846138a1565b949350505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015613974578082015181840152602081019050613959565b5f8484015250505050565b5f601f19601f8301169050919050565b5f6139998261393d565b6139a38185613947565b93506139b3818560208601613957565b6139bc8161397f565b840191505092915050565b5f6020820190508181035f8301526139df818461398f565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f613a14826139eb565b9050919050565b613a2481613a0a565b8114613a2e575f80fd5b50565b5f81359050613a3f81613a1b565b92915050565b613a4e8161385c565b8114613a58575f80fd5b50565b5f81359050613a6981613a45565b92915050565b5f8060408385031215613a8557613a846139e7565b5b5f613a9285828601613a31565b9250506020613aa385828601613a5b565b9150509250929050565b5f8115159050919050565b613ac181613aad565b82525050565b5f602082019050613ada5f830184613ab8565b92915050565b613ae981613a0a565b82525050565b5f602082019050613b025f830184613ae0565b92915050565b613b118161385c565b82525050565b5f602082019050613b2a5f830184613b08565b92915050565b5f805f60608486031215613b4757613b466139e7565b5b5f613b5486828701613a31565b9350506020613b6586828701613a31565b9250506040613b7686828701613a5b565b9150509250925092565b5f60208284031215613b9557613b946139e7565b5b5f613ba284828501613a31565b91505092915050565b5f604082019050613bbe5f830185613ae0565b613bcb6020830184613ae0565b9392505050565b5f60ff82169050919050565b613be781613bd2565b82525050565b5f602082019050613c005f830184613bde565b92915050565b5f60208284031215613c1b57613c1a6139e7565b5b5f613c2884828501613a5b565b91505092915050565b5f8060408385031215613c4757613c466139e7565b5b5f613c5485828601613a5b565b9250506020613c6585828601613a5b565b9150509250929050565b5f8060408385031215613c8557613c846139e7565b5b5f613c9285828601613a31565b9250506020613ca385828601613a31565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f613ce48261385c565b9150613cef8361385c565b9250828202613cfd8161385c565b91508282048414831517613d1457613d13613cad565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f613d528261385c565b9150613d5d8361385c565b925082613d6d57613d6c613d1b565b5b828204905092915050565b5f613d82826137b0565b9150613d8d836137b0565b925082820390506bffffffffffffffffffffffff811115613db157613db0613cad565b5b92915050565b5f613dc1826137b0565b9150613dcc836137b0565b925082820190506bffffffffffffffffffffffff811115613df057613def613cad565b5b92915050565b5f604082019050613e095f830185613b08565b613e166020830184613b08565b9392505050565b5f613e278261385c565b9150613e328361385c565b9250828203905081811115613e4a57613e49613cad565b5b92915050565b5f606082019050613e635f830186613b08565b613e706020830185613b08565b613e7d6040830184613b08565b949350505050565b5f613e8f826137b0565b9150613e9a836137b0565b9250828202613ea8816137b0565b9150808214613eba57613eb9613cad565b5b5092915050565b5f613ecb8261385c565b9150613ed68361385c565b9250828201905080821115613eee57613eed613cad565b5b92915050565b5f819050919050565b5f613f17613f12613f0d846137b0565b613ef4565b61385c565b9050919050565b613f2781613efd565b82525050565b613f368161383c565b82525050565b5f606082019050613f4f5f830186613f1e565b613f5c6020830185613b08565b613f696040830184613f2d565b949350505050565b5f6fffffffffffffffffffffffffffffffff82169050919050565b5f613f9682613f71565b9150613fa183613f71565b925082820390506fffffffffffffffffffffffffffffffff811115613fc957613fc8613cad565b5b92915050565b5f613fd98261383c565b9150613fe48361383c565b9250828203905065ffffffffffff81111561400257614001613cad565b5b92915050565b5f6140128261383c565b915061401d8361383c565b9250828201905065ffffffffffff81111561403b5761403a613cad565b5b92915050565b7f4554485f5452414e534645525f4641494c4544000000000000000000000000005f82015250565b5f614075601383613947565b915061408082614041565b602082019050919050565b5f6020820190508181035f8301526140a281614069565b9050919050565b5f6140b382613f71565b91506140be83613f71565b92508282026140cc81613f71565b91508082146140de576140dd613cad565b5b5092915050565b5f6140ef82613f71565b91506140fa83613f71565b92508261410a57614109613d1b565b5b82820490509291505056fea2646970667358221220952dd1b4658b6d3f405f63247e685c1618b447b5d264129126792547927be72b64736f6c63430008160033

18409:23275:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19763:42;41585:19;;:10;:19;;;;:54;;;;;19505:42;41608:31;;:10;:31;;;;41585:54;41581:93;;;41656:6;:4;:6::i;:::-;;41581:93;18409:23275;;;;;29382:238;;;;;;;;;;;;;:::i;:::-;;27506:209;;;;;;;;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;25603:82;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21932:196;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26741:78;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25999:91;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21494:430;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;38565:666;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;25865:82;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;25292:187;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28644:169;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;26994:84;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;22316:2248;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28183:243;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;26210:108;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28870:173;;;;;;;;;;;;;:::i;:::-;;25731:86;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;37776:781;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;21261:225;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27723:95;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27366:132;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27127:159;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;29148:163;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;24796:386;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26540:142;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;29815:154;;;;;;;;;;;;;:::i;:::-;;22316:2248;22361:14;20207:1;20197:6;;;;;;;;;;;:11;;;20193:36;;20217:12;;;;;;;;;;;;;;20193:36;20249:1;20240:6;;:10;;;;;;;;;;;;;;;;;;22476:4:::1;:15;;;;;;;;;;;;22458:33;;:15;:33;22454:75;;;22508:9;:7;:9::i;:::-;22454:75;22562:1;22543:6;:15;;;;;;;;;;;;:20;;;22539:2018;;22652:36;22691:6;22652:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;22712:32;22747:4;22712:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;22766:32;22801:4;22766:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;22820:44;22867:10;22820:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;22892:15;22910:12;;22892:30;;22937:11;22958:15;22937:37;;23095:29;23127:5;:21;;;23095:53;;23163:23;23189:7;:17;;;23163:43;;;;23335:55;23356:4;23335:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;23362:7;23371:5;23378:11;23335:20;:55::i;:::-;23296:94;;;;;;;;;;;;;;;;23407:13;23423:75;23450:21;23473:15;23490:7;23423:26;:75::i;:::-;23407:91;;23544:5;23537:4;23525:9;:16;;;;:::i;:::-;:24;;;;:::i;:::-;23515:35;;23578:6;:16;;;;;;;;;;;;23569:25;;:6;:25;23565:49;;;23603:11;;;;;;;;;;;;;;23565:49;23698:6;23671:7;:16;;:34;;;;;;;:::i;:::-;;;;;;;;;;;;::::0;::::1;23748:9;23720:7;:17;;:38;;;;;;;:::i;:::-;;;;;;;;;;;;::::0;::::1;23796:6;23773:7;:12;;:30;;;;;;;:::i;:::-;;;;;;;;;;;;::::0;::::1;23846:6;23818:7;:17;;:35;;;;;;;:::i;:::-;;;;;;;;;;;;::::0;::::1;23870:12;23885:25;23891:10;23903:6;23885:5;:25::i;:::-;23870:40;;23930:7;23925:33;;23946:12;;;;;;;;;;;;;;23925:33;23983:10;23978:31;;;23995:6;24003:5;23978:31;;;;;;;:::i;:::-;;;;;;;;24142:70;24162:4;24168:7;24177:5;24184;24191:11;24204:7;24142:19;:70::i;:::-;24086:126;;;;;;;;;;;;;;;;24280:7;24271:6;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24309:5;24302:4;:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24336:5;24329:4;:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24369:11;24356:10;:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22565:1827;;;;;;;;;;22539:2018;;;24491:54;24523:10;24535:9;24491:31;:54::i;:::-;22539:2018;20282:1:::0;20273:6;;:10;;;;;;;;;;;;;;;;;;22316:2248;:::o;29382:238::-;19763:42;29424:19;;:10;:19;;;29420:43;;29452:11;;;;;;;;;;;;;;29420:43;29478:8;;;;;;;;;;;29474:38;;;29495:17;;;;;;;;;;;;;;29474:38;29523:22;:20;:22::i;:::-;29567:4;29556:8;;:15;;;;;;;;;;;;;;;;;;29587:25;29596:15;29587:25;;;;;;:::i;:::-;;;;;;;;29382:238::o;27506:209::-;27578:28;;:::i;:::-;27608:26;;:::i;:::-;27636;;:::i;:::-;27688:6;27696:4;27702;27680:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27506:209;;;:::o;25603:82::-;25640:13;25673:4;;;;;;;;;;;;;;;;;25666:11;;25603:82;:::o;21932:196::-;21999:12;22024:13;22040:10;22024:26;;22092:6;22061:11;:18;22073:5;22061:18;;;;;;;;;;;;;;;:28;22080:8;22061:28;;;;;;;;;;;;;;;:37;;;;22116:4;22109:11;;;21932:196;;;;:::o;26741:78::-;26780:7;26807:4;26800:11;;26741:78;:::o;25999:91::-;26043:7;26070:12;;26063:19;;25999:91;:::o;21494:430::-;21576:12;21620:1;21605:17;;:3;:17;;;:32;;;;21636:1;21626:6;:11;21605:32;21601:62;;;21646:17;;;;;;;;;;;;;;21601:62;21687:10;21678:19;;:5;:19;;;21674:181;;21751:6;21718:11;:18;21730:5;21718:18;;;;;;;;;;;;;;;:30;21737:10;21718:30;;;;;;;;;;;;;;;;:39;21714:74;;;21766:22;;;;;;;;;;;;;;21714:74;21837:6;21803:11;:18;21815:5;21803:18;;;;;;;;;;;;;;;:30;21822:10;21803:30;;;;;;;;;;;;;;;;:40;;;;;;;:::i;:::-;;;;;;;;21674:181;21865:29;21875:5;21882:3;21887:6;21865:9;:29::i;:::-;21912:4;21905:11;;21494:430;;;;;:::o;38565:666::-;38621:15;38638;38707:4;38701:11;38738:66;38733:3;38726:79;38875:2;38872:1;38869;38864:3;38857:5;38850;38839:39;38912:66;38908:1;38903:3;38899:11;38892:87;39058:2;39054;39051:1;39047;39042:3;39038:11;39031:5;39024;39013:48;39110:12;39103:20;39088:12;39081:20;39078:46;39075:66;;;39137:1;39134;39127:12;39075:66;39172:4;39166:11;39155:22;;39208:4;39202:11;39191:22;;38675:549;;;38565:666;;;:::o;25865:82::-;25906:5;19329:2;25924:15;;25865:82;:::o;25292:187::-;25340:12;25365:25;25371:10;25383:6;25365:5;:25::i;:::-;25411:4;25401:14;;25460:1;25431:40;;25440:10;25431:40;;;25464:6;25431:40;;;;;;:::i;:::-;;;;;;;;25292:187;;;:::o;28644:169::-;19763:42;28699:19;;:10;:19;;;28695:43;;28727:11;;;;;;;;;;;;;;28695:43;28767:4;28749:9;:15;28759:4;28749:15;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;28800:4;28787:18;;;;;;;;;;;;28644:169;:::o;26994:84::-;27038:7;19763:42;27058:12;;26994:84;:::o;28183:243::-;19763:42;28274:19;;:10;:19;;;28270:43;;28302:11;;;;;;;;;;;;;;28270:43;28324:37;28338:11;28351:9;28324:13;:37::i;:::-;28377:41;28395:11;28408:9;28377:41;;;;;;;:::i;:::-;;;;;;;;28183:243;;:::o;26210:108::-;26266:7;26293:9;:17;26303:6;26293:17;;;;;;;;;;;;;;;;26286:24;;26210:108;;;:::o;28870:173::-;19763:42;28918:19;;:10;:19;;;28914:43;;28946:11;;;;;;;;;;;;;;28914:43;28984:5;28968:6;:13;;;:21;;;;;;;;;;;;;;;;;;29005:30;29019:15;29005:30;;;;;;:::i;:::-;;;;;;;;28870:173::o;25731:86::-;25770:13;25803:6;;;;;;;;;;;;;;;;;25796:13;;25731:86;:::o;37776:781::-;37818:13;37844;37860:4;37844:20;;37875:16;37902;37970:4;37964:11;38001:66;37996:3;37989:79;38133:1;38130;38127;38122:3;38115:5;38108;38097:38;38159:7;38149:35;;38180:1;38177;38170:12;38149:35;38222:2;38219:1;38213:4;38198:27;38266:2;38260:4;38254;38239:30;38301:4;38295:11;38283:23;;38338:4;38332:11;38320:23;;37938:416;;38370:10;38366:184;;;38442:8;38434:17;;38426:4;38414:8;38406:17;;:24;;;;:::i;:::-;38405:46;;;;:::i;:::-;38397:54;;38366:184;;;38529:8;38521:17;;38513:4;38501:8;38493:17;;:24;;;;:::i;:::-;38492:46;;;;:::i;:::-;38484:54;;38366:184;37833:724;;;37776:781;:::o;21261:225::-;21324:12;21368:1;21353:17;;:3;:17;;;:32;;;;21384:1;21374:6;:11;21353:32;21349:62;;;21394:17;;;;;;;;;;;;;;21349:62;21422:34;21432:10;21444:3;21449:6;21422:9;:34::i;:::-;21474:4;21467:11;;21261:225;;;;:::o;27723:95::-;27768:7;19855:42;27788:22;;27723:95;:::o;27366:132::-;27416:7;27477:12;;27469:4;27445:21;:28;;;;:::i;:::-;27444:45;;;;:::i;:::-;27436:54;;27366:132;:::o;27127:159::-;27171:7;27198:80;27225:4;:20;;;27247:6;:16;;;;;;;;;;;;27198:80;;27265:12;;27198:26;:80::i;:::-;27191:87;;27127:159;:::o;29148:163::-;19763:42;29203:19;;:10;:19;;;29199:43;;29231:11;;;;;;;;;;;;;;29199:43;29268:4;29253:5;:12;29259:5;29253:12;;;;;;;;;;;;;;;;:19;;;;;;;;;;;;;;;;;;29288:15;29297:5;29288:15;;;;;;:::i;:::-;;;;;;;;29148:163;:::o;24796:386::-;24846:14;24915:13;24964:12;;24956:4;24932:21;:28;;;;:::i;:::-;24931:45;;;;:::i;:::-;24915:61;;25015:4;25005:6;24997:5;:14;;;;:::i;:::-;24996:23;;;;:::i;:::-;24987:32;;25030:25;25036:10;25048:6;25030:5;:25::i;:::-;25066:51;25098:10;25110:6;25066:31;:51::i;:::-;25140:10;25133:41;;;25152:6;25160;25168:5;25133:41;;;;;;;;:::i;:::-;;;;;;;;24862:320;24796:386;;;:::o;26540:142::-;26620:7;26647:11;:18;26659:5;26647:18;;;;;;;;;;;;;;;:27;26666:7;26647:27;;;;;;;;;;;;;;;;26640:34;;26540:142;;;;:::o;29815:154::-;19763:42;29855:19;;:10;:19;;;29851:43;;29883:11;;;;;;;;;;;;;;29851:43;29905:9;:7;:9::i;:::-;29930:31;29945:15;29930:31;;;;;;:::i;:::-;;;;;;;;29815:154::o;32783:1258::-;32883:20;32906:11;:9;:11::i;:::-;32883:34;;32928:17;32955:9;:24;32973:4;32955:24;;;;;;;;;;;;;;;;32928:52;;32991:15;33009:10;32991:28;;33030:16;20055:5;33069;33056:10;:18;;;;:::i;:::-;:29;;;;;;:::i;:::-;33030:56;;33097:23;33153:10;33123:40;;33138:12;;33123;:27;;;;:::i;:::-;:40;;;;:::i;:::-;33097:66;;33174:11;33188:31;33196:8;33188:31;;33206:12;33188:7;:31::i;:::-;33174:45;;33230:17;20055:5;33257:15;:26;;;;:::i;:::-;33230:54;;33301:6;33297:737;;;33333:60;;;;;;;;33355:8;33333:60;;;;;;33365:10;33333:60;;;;;;33377:9;33333:60;;;;;;33388:1;33333:60;;;;;;33391:1;33333:60;;;;;33324:6;:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33415:48;;;;;;;;33435:10;33415:48;;;;;;33447:15;33415:48;;;33408:4;:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33485:100;;;;;;;;33512:15;33485:100;;;;;;33537:15;33485:100;;;;;;20055:5;33485:100;;;;;;33573:5;33485:100;;;;;;33580:4;33485:100;;;;;33478:4;:107;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;33605:51;33618:8;33628:15;33645:10;33605:51;;;;;;;;:::i;:::-;;;;;;;;33297:737;;;33689:30;33703:4;33710:8;33689:30;;:5;:30::i;:::-;20055:5;33961:15;:26;;;;:::i;:::-;33936:4;:15;;;:52;;;;;;;;;;;;;;;;;;34021:1;34003:6;:15;;;:19;;;;;;;;;;;;;;;;;;33297:737;32810:1231;;;;;;;32783:1258::o;1709:866::-;1864:13;;:::i;:::-;1879:11;;:::i;:::-;1892;;:::i;:::-;1905:17;;:::i;:::-;1940:11;1961:15;1940:37;;2008:23;2018:4;2024:6;2008:9;:23::i;:::-;1988:43;;:6;:16;;:43;;;;;;;:::i;:::-;;;;;;;;;;;;;;2059:4;2042;:14;;:21;;;;;;;;;;;2080:11;:18;;;2076:440;;;2116:16;2134:9;2145:16;2165:25;2178:11;2165:12;:25::i;:::-;2115:75;;;;;;2230:8;2205:33;;:5;:21;;:33;;;;;;;:::i;:::-;;;;;;;;2257:11;2253:252;;;2311:8;2289:11;:18;;:30;;;;;;;:::i;:::-;;;;;;;;;;;;;;2368:2;2338:11;:26;;:32;;;;;;;:::i;:::-;;;;;;;;;;;;;;2418:4;2389:11;:26;;:33;;;;;;;;;;;2253:252;;;2484:5;2463:11;:18;;:26;;;;;;;;;;;2253:252;2100:416;;;2076:440;2534:6;2542:4;2548:5;2555:11;2526:41;;;;;;;;;1709:866;;;;;;;;;:::o;3028:244::-;3167:7;3259:4;3220:35;3230:10;3242:12;3220:9;:35::i;:::-;3201:16;:54;;;;:::i;:::-;3200:63;;;;:::i;:::-;3192:72;;3028:244;;;;;:::o;37218:356::-;37277:12;37314:9;:24;37332:4;37314:24;;;;;;;;;;;;;;;;37306:5;:32;37302:72;;;37347:27;;;;;;;;;;;;;;37302:72;37427:5;37410:9;:13;37420:2;37410:13;;;;;;;;;;;;;;;;:22;;;;;;;;;;;37475:5;37447:9;:24;37465:4;37447:24;;;;;;;;;;;;;;;;:33;;;;;;;;;;;37512:4;37502:14;;37556:2;37532:34;;37549:4;37532:34;;;37560:5;37532:34;;;;;;:::i;:::-;;;;;;;;37218:356;;;;:::o;3851:1252::-;4072:13;;:::i;:::-;4087:11;;:::i;:::-;4100;;:::i;:::-;4113:17;;:::i;:::-;4143:22;;:::i;:::-;4204:4;:17;;;4188:4;:13;;;:33;;;;:::i;:::-;4180:41;;:4;:41;;;4176:870;;4274:4;4256;:15;;;:22;;;;:::i;:::-;4238:40;;:5;:15;;:40;;;;;4307:65;4319:4;:20;;;4341:6;:16;;;4307:65;;4359:12;4307:11;:65::i;:::-;4293:5;:11;;:79;;;;;4404:6;:15;;;4387:32;;:5;:14;;:32;;;;;4527:5;:15;;;4504:4;:20;;;4487:37;;:5;:14;;;:37;;;;:::i;:::-;:55;;;;:::i;:::-;4460:6;:16;;:84;;;;;;;;;;;4609:5;:15;;;4595:4;:11;;;4578:28;;:5;:14;;;:28;;;;:::i;:::-;:46;;;;:::i;:::-;4559:5;:16;;:65;;;;;4682:5;:16;;;4666:12;4652:5;:11;;;:26;;;;:::i;:::-;4651:47;;;;:::i;:::-;4639:5;:9;;:59;;;;;4731:4;:20;;;4719:5;:9;;;:32;4715:285;;;4795:5;:9;;;4772:4;:20;;:32;;;;;4715:285;;;4845:14;4893:5;:9;;;4870:4;:20;;;:32;;;;:::i;:::-;4845:58;;4935:49;;;;;;;;4946:6;4935:49;;;;;;4954:4;4935:49;;;;;;4960:4;:17;;;4935:49;;;;;;4979:4;4935:49;;;;;4922:62;;4826:174;4715:285;5030:4;5014;:13;;:20;;;;;;;;;;;4176:870;5064:6;5072:4;5078;5084:10;5056:39;;;;;;;;;3851:1252;;;;;;;;;;;:::o;12755:349::-;12828:12;13032:1;13029;13026;13023;13015:6;13011:2;13004:5;12999:35;12988:46;;13065:7;13057:39;;;;;;;;;;;;:::i;:::-;;;;;;;;;12817:287;12755:349;;:::o;31730:722::-;31781:19;31803:9;:24;31821:4;31803:24;;;;;;;;;;;;;;;;31781:46;;31879:4;31873:11;31910:66;31905:3;31898:79;32026:42;32015:9;32011:58;32007:1;32002:3;31998:11;31991:79;32105:11;32100:2;32095:3;32091:12;32084:33;32152:1;32147:2;32142:3;32138:12;32131:23;32190:1;32184:3;32179;32175:13;32168:24;32228:15;32222:3;32217;32213:13;32206:38;32280:11;32274:3;32269;32265:13;32258:34;32384:1;32381;32376:3;32371;32359:9;32351:18;32332:17;32325:5;32320:66;32410:6;32400:34;;32430:1;32427;32420:12;32400:34;31847:598;;;31730:722::o;35119:952::-;35212:9;:15;35222:4;35212:15;;;;;;;;;;;;;;;;35203:6;:24;35199:57;;;35236:20;;;;;;;;;;;;;;35199:57;35267:9;35291:5;:9;35297:2;35291:9;;;;;;;;;;;;;;;;;;;;;;;;;:24;;;;35304:5;:11;35310:4;35304:11;;;;;;;;;;;;;;;;;;;;;;;;;35291:24;35287:193;;;35336:9;:13;35346:2;35336:13;;;;;;;;;;;;;;;;;;;;;;;;;:32;;;;35353:9;:15;35363:4;35353:15;;;;;;;;;;;;;;;;;;;;;;;;;35336:32;35332:137;;;35396:5;35389:12;;35332:137;;;35449:4;35442:11;;35332:137;35287:193;35494:29;35506:4;35512:2;35516:6;35494:11;:29::i;:::-;35490:57;;;35532:15;;;;;;;;;;;;;;35490:57;35562:4;35558:464;;;35583:11;35614:4;19411:2;35598:12;;:6;:12;;;;:::i;:::-;35597:21;;;;:::i;:::-;35583:35;;35683:6;35664:9;:15;35674:4;35664:15;;;;;;;;;;;;;;;;:25;;;;;;;;;;;35738:3;35708:9;:26;19855:42;35708:26;;;;;;;;;;;;;;;;:33;;;;;;;;;;;35781:3;35771:13;;;;;:::i;:::-;;;35845:6;35828:9;:13;35838:2;35828:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;35568:310;35558:464;;;35947:6;35928:9;:15;35938:4;35928:15;;;;;;;;;;;;;;;;:25;;;;;;;;;;;35989:6;35972:9;:13;35982:2;35972:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;35558:464;36052:2;36037:26;;36046:4;36037:26;;;36056:6;36037:26;;;;;;:::i;:::-;;;;;;;;35188:883;35119:952;;;:::o;36691:283::-;36776:5;36758:9;:15;36768:4;36758:15;;;;;;;;;;;;;;;;:23;36754:56;;;36790:20;;;;;;;;;;;;;;36754:56;36865:5;36846:9;:15;36856:4;36846:15;;;;;;;;;;;;;;;;:24;;;;;;;;;;;36901:5;36885:12;;:21;;;;;;;;;;;36956:1;36933:33;;36942:4;36933:33;;;36960:5;36933:33;;;;;;:::i;:::-;;;;;;;;36691:283;;:::o;31035:687::-;31158:4;31152:11;31189:66;31184:3;31177:79;31305:42;31294:9;31290:58;31286:1;31281:3;31277:11;31270:79;31384:11;31379:2;31374:3;31370:12;31363:33;31431:1;31426:2;31421:3;31417:12;31410:23;31469:1;31463:3;31458;31454:13;31447:24;31507:15;31501:3;31496;31492:13;31485:38;31559:11;31553:3;31548;31544:13;31537:34;31654:1;31651;31646:3;31641;31630:9;31611:17;31604:5;31599:57;31680:6;31670:34;;31700:1;31697;31690:12;31670:34;31126:589;;31035:687;;:::o;34727:384::-;34799:13;34825:14;34842:12;;34825:29;;34865:20;34931:8;34922:6;:17;;;;:::i;:::-;34913:4;34889:21;:28;;;;:::i;:::-;34888:52;;;;:::i;:::-;34865:75;;34951:20;35032:6;35021:5;35010:8;:16;;;;:::i;:::-;35000:4;34976:21;:28;;;;:::i;:::-;34975:53;;;;:::i;:::-;34974:64;;;;:::i;:::-;34951:87;;35076:12;35060;:28;;:43;;35099:4;35060:43;;;35091:5;35060:43;35049:54;;34814:297;;;34727:384;;;;:::o;3443:237::-;3525:6;3544:20;3585:4;:14;;;3567:32;;:15;:32;;;;:::i;:::-;3544:55;;3660:4;:11;;;3624:47;;3644:12;3625:6;:16;;;:31;;;;;;:::i;:::-;3624:47;;;;:::i;:::-;3610:62;;;3443:237;;;;:::o;2583:437::-;2652:7;2661:6;2669:4;2691;:11;;;2686:38;;2712:1;2715;2718:5;2704:20;;;;;;;;2686:38;2737:19;2785:4;:19;;;2766:15;2759:45;;;;:::i;:::-;2737:67;;2815:11;2844:4;:19;;;2829:34;;:12;:34;;;2815:48;;2874:14;2891:6;:73;;2953:4;:11;;;2891:73;;;2931:4;:19;;;2900:50;;2915:12;2901:26;;:4;:11;;;:26;;;;:::i;:::-;2900:50;;;;:::i;:::-;2891:73;2874:90;;2983:6;2991:12;3005:6;2975:37;;;;;;;;;2583:437;;;;;;:::o;3280:155::-;3364:7;3414:12;3406:4;3393:10;:17;;;;:::i;:::-;3392:34;;;;:::i;:::-;3384:43;;3280:155;;;;:::o;39723:625::-;39807:12;39832:21;39856:6;39832:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;39878:7;:14;;;39873:468;;39919:5;39909:15;;39873:468;;;39962:4;39946:21;;:4;:21;;;:35;;;;;39977:4;39971:10;;:2;:10;;;39946:35;39942:399;;;40008:5;39998:15;;39942:399;;;40070:9;:13;40080:2;40070:13;;;;;;;;;;;;;;;;;;;;;;;;;40069:14;:34;;;;;40088:9;:15;40098:4;40088:15;;;;;;;;;;;;;;;;;;;;;;;;;40087:16;40069:34;40068:141;;;;;40156:5;40130:7;:23;;;:31;;;:78;;;;40202:5;40186:9;:13;40196:2;40186:13;;;;;;;;;;;;;;;;:21;;;;:::i;:::-;40165:7;:17;;;:43;;;40130:78;40068:141;40046:284;;;40254:4;40244:14;;40046:284;;;40309:5;40299:15;;40046:284;39942:399;39873:468;39821:527;39723:625;;;;;:::o;-1:-1:-1:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7:109:1:-;43:7;83:26;76:5;72:38;61:49;;7:109;;;:::o;122:105::-;197:23;214:5;197:23;:::i;:::-;192:3;185:36;122:105;;:::o;301:1032::-;442:4;437:3;433:14;533:4;526:5;522:16;516:23;552:61;607:4;602:3;598:14;584:12;552:61;:::i;:::-;457:166;710:4;703:5;699:16;693:23;729:61;784:4;779:3;775:14;761:12;729:61;:::i;:::-;633:167;887:4;880:5;876:16;870:23;906:61;961:4;956:3;952:14;938:12;906:61;:::i;:::-;810:167;1059:4;1052:5;1048:16;1042:23;1078:61;1133:4;1128:3;1124:14;1110:12;1078:61;:::i;:::-;987:162;1236:4;1229:5;1225:16;1219:23;1255:61;1310:4;1305:3;1301:14;1287:12;1255:61;:::i;:::-;1159:167;411:922;301:1032;;:::o;1339:97::-;1375:7;1415:14;1408:5;1404:26;1393:37;;1339:97;;;:::o;1442:105::-;1517:23;1534:5;1517:23;:::i;:::-;1512:3;1505:36;1442:105;;:::o;1553:77::-;1590:7;1619:5;1608:16;;1553:77;;;:::o;1636:108::-;1713:24;1731:5;1713:24;:::i;:::-;1708:3;1701:37;1636:108;;:::o;1814:512::-;1951:4;1946:3;1942:14;2044:4;2037:5;2033:16;2027:23;2063:61;2118:4;2113:3;2109:14;2095:12;2063:61;:::i;:::-;1966:168;2227:4;2220:5;2216:16;2210:23;2246:63;2303:4;2298:3;2294:14;2280:12;2246:63;:::i;:::-;2144:175;1920:406;1814:512;;:::o;2396:1039::-;2533:4;2528:3;2524:14;2624:4;2617:5;2613:16;2607:23;2643:61;2698:4;2693:3;2689:14;2675:12;2643:61;:::i;:::-;2548:166;2801:4;2794:5;2790:16;2784:23;2820:61;2875:4;2870:3;2866:14;2852:12;2820:61;:::i;:::-;2724:167;2975:4;2968:5;2964:16;2958:23;2994:61;3049:4;3044:3;3040:14;3026:12;2994:61;:::i;:::-;2901:164;3158:4;3151:5;3147:16;3141:23;3177:61;3232:4;3227:3;3223:14;3209:12;3177:61;:::i;:::-;3075:173;3338:4;3331:5;3327:16;3321:23;3357:61;3412:4;3407:3;3403:14;3389:12;3357:61;:::i;:::-;3258:170;2502:933;2396:1039;;:::o;3441:693::-;3714:4;3752:3;3741:9;3737:19;3729:27;;3766:115;3878:1;3867:9;3863:17;3854:6;3766:115;:::i;:::-;3891:113;3999:3;3988:9;3984:19;3975:6;3891:113;:::i;:::-;4014;4122:3;4111:9;4107:19;4098:6;4014:113;:::i;:::-;3441:693;;;;;;:::o;4140:99::-;4192:6;4226:5;4220:12;4210:22;;4140:99;;;:::o;4245:169::-;4329:11;4363:6;4358:3;4351:19;4403:4;4398:3;4394:14;4379:29;;4245:169;;;;:::o;4420:246::-;4501:1;4511:113;4525:6;4522:1;4519:13;4511:113;;;4610:1;4605:3;4601:11;4595:18;4591:1;4586:3;4582:11;4575:39;4547:2;4544:1;4540:10;4535:15;;4511:113;;;4658:1;4649:6;4644:3;4640:16;4633:27;4482:184;4420:246;;;:::o;4672:102::-;4713:6;4764:2;4760:7;4755:2;4748:5;4744:14;4740:28;4730:38;;4672:102;;;:::o;4780:377::-;4868:3;4896:39;4929:5;4896:39;:::i;:::-;4951:71;5015:6;5010:3;4951:71;:::i;:::-;4944:78;;5031:65;5089:6;5084:3;5077:4;5070:5;5066:16;5031:65;:::i;:::-;5121:29;5143:6;5121:29;:::i;:::-;5116:3;5112:39;5105:46;;4872:285;4780:377;;;;:::o;5163:313::-;5276:4;5314:2;5303:9;5299:18;5291:26;;5363:9;5357:4;5353:20;5349:1;5338:9;5334:17;5327:47;5391:78;5464:4;5455:6;5391:78;:::i;:::-;5383:86;;5163:313;;;;:::o;5563:117::-;5672:1;5669;5662:12;5809:126;5846:7;5886:42;5879:5;5875:54;5864:65;;5809:126;;;:::o;5941:96::-;5978:7;6007:24;6025:5;6007:24;:::i;:::-;5996:35;;5941:96;;;:::o;6043:122::-;6116:24;6134:5;6116:24;:::i;:::-;6109:5;6106:35;6096:63;;6155:1;6152;6145:12;6096:63;6043:122;:::o;6171:139::-;6217:5;6255:6;6242:20;6233:29;;6271:33;6298:5;6271:33;:::i;:::-;6171:139;;;;:::o;6316:122::-;6389:24;6407:5;6389:24;:::i;:::-;6382:5;6379:35;6369:63;;6428:1;6425;6418:12;6369:63;6316:122;:::o;6444:139::-;6490:5;6528:6;6515:20;6506:29;;6544:33;6571:5;6544:33;:::i;:::-;6444:139;;;;:::o;6589:474::-;6657:6;6665;6714:2;6702:9;6693:7;6689:23;6685:32;6682:119;;;6720:79;;:::i;:::-;6682:119;6840:1;6865:53;6910:7;6901:6;6890:9;6886:22;6865:53;:::i;:::-;6855:63;;6811:117;6967:2;6993:53;7038:7;7029:6;7018:9;7014:22;6993:53;:::i;:::-;6983:63;;6938:118;6589:474;;;;;:::o;7069:90::-;7103:7;7146:5;7139:13;7132:21;7121:32;;7069:90;;;:::o;7165:109::-;7246:21;7261:5;7246:21;:::i;:::-;7241:3;7234:34;7165:109;;:::o;7280:210::-;7367:4;7405:2;7394:9;7390:18;7382:26;;7418:65;7480:1;7469:9;7465:17;7456:6;7418:65;:::i;:::-;7280:210;;;;:::o;7496:118::-;7583:24;7601:5;7583:24;:::i;:::-;7578:3;7571:37;7496:118;;:::o;7620:222::-;7713:4;7751:2;7740:9;7736:18;7728:26;;7764:71;7832:1;7821:9;7817:17;7808:6;7764:71;:::i;:::-;7620:222;;;;:::o;7848:118::-;7935:24;7953:5;7935:24;:::i;:::-;7930:3;7923:37;7848:118;;:::o;7972:222::-;8065:4;8103:2;8092:9;8088:18;8080:26;;8116:71;8184:1;8173:9;8169:17;8160:6;8116:71;:::i;:::-;7972:222;;;;:::o;8200:619::-;8277:6;8285;8293;8342:2;8330:9;8321:7;8317:23;8313:32;8310:119;;;8348:79;;:::i;:::-;8310:119;8468:1;8493:53;8538:7;8529:6;8518:9;8514:22;8493:53;:::i;:::-;8483:63;;8439:117;8595:2;8621:53;8666:7;8657:6;8646:9;8642:22;8621:53;:::i;:::-;8611:63;;8566:118;8723:2;8749:53;8794:7;8785:6;8774:9;8770:22;8749:53;:::i;:::-;8739:63;;8694:118;8200:619;;;;;:::o;8825:329::-;8884:6;8933:2;8921:9;8912:7;8908:23;8904:32;8901:119;;;8939:79;;:::i;:::-;8901:119;9059:1;9084:53;9129:7;9120:6;9109:9;9105:22;9084:53;:::i;:::-;9074:63;;9030:117;8825:329;;;;:::o;9160:332::-;9281:4;9319:2;9308:9;9304:18;9296:26;;9332:71;9400:1;9389:9;9385:17;9376:6;9332:71;:::i;:::-;9413:72;9481:2;9470:9;9466:18;9457:6;9413:72;:::i;:::-;9160:332;;;;;:::o;9498:86::-;9533:7;9573:4;9566:5;9562:16;9551:27;;9498:86;;;:::o;9590:112::-;9673:22;9689:5;9673:22;:::i;:::-;9668:3;9661:35;9590:112;;:::o;9708:214::-;9797:4;9835:2;9824:9;9820:18;9812:26;;9848:67;9912:1;9901:9;9897:17;9888:6;9848:67;:::i;:::-;9708:214;;;;:::o;9928:329::-;9987:6;10036:2;10024:9;10015:7;10011:23;10007:32;10004:119;;;10042:79;;:::i;:::-;10004:119;10162:1;10187:53;10232:7;10223:6;10212:9;10208:22;10187:53;:::i;:::-;10177:63;;10133:117;9928:329;;;;:::o;10263:474::-;10331:6;10339;10388:2;10376:9;10367:7;10363:23;10359:32;10356:119;;;10394:79;;:::i;:::-;10356:119;10514:1;10539:53;10584:7;10575:6;10564:9;10560:22;10539:53;:::i;:::-;10529:63;;10485:117;10641:2;10667:53;10712:7;10703:6;10692:9;10688:22;10667:53;:::i;:::-;10657:63;;10612:118;10263:474;;;;;:::o;10743:::-;10811:6;10819;10868:2;10856:9;10847:7;10843:23;10839:32;10836:119;;;10874:79;;:::i;:::-;10836:119;10994:1;11019:53;11064:7;11055:6;11044:9;11040:22;11019:53;:::i;:::-;11009:63;;10965:117;11121:2;11147:53;11192:7;11183:6;11172:9;11168:22;11147:53;:::i;:::-;11137:63;;11092:118;10743:474;;;;;:::o;11223:180::-;11271:77;11268:1;11261:88;11368:4;11365:1;11358:15;11392:4;11389:1;11382:15;11409:410;11449:7;11472:20;11490:1;11472:20;:::i;:::-;11467:25;;11506:20;11524:1;11506:20;:::i;:::-;11501:25;;11561:1;11558;11554:9;11583:30;11601:11;11583:30;:::i;:::-;11572:41;;11762:1;11753:7;11749:15;11746:1;11743:22;11723:1;11716:9;11696:83;11673:139;;11792:18;;:::i;:::-;11673:139;11457:362;11409:410;;;;:::o;11825:180::-;11873:77;11870:1;11863:88;11970:4;11967:1;11960:15;11994:4;11991:1;11984:15;12011:185;12051:1;12068:20;12086:1;12068:20;:::i;:::-;12063:25;;12102:20;12120:1;12102:20;:::i;:::-;12097:25;;12141:1;12131:35;;12146:18;;:::i;:::-;12131:35;12188:1;12185;12181:9;12176:14;;12011:185;;;;:::o;12202:216::-;12241:4;12261:19;12278:1;12261:19;:::i;:::-;12256:24;;12294:19;12311:1;12294:19;:::i;:::-;12289:24;;12337:1;12334;12330:9;12322:17;;12361:26;12355:4;12352:36;12349:62;;;12391:18;;:::i;:::-;12349:62;12202:216;;;;:::o;12424:213::-;12463:3;12482:19;12499:1;12482:19;:::i;:::-;12477:24;;12515:19;12532:1;12515:19;:::i;:::-;12510:24;;12557:1;12554;12550:9;12543:16;;12580:26;12575:3;12572:35;12569:61;;;12610:18;;:::i;:::-;12569:61;12424:213;;;;:::o;12643:332::-;12764:4;12802:2;12791:9;12787:18;12779:26;;12815:71;12883:1;12872:9;12868:17;12859:6;12815:71;:::i;:::-;12896:72;12964:2;12953:9;12949:18;12940:6;12896:72;:::i;:::-;12643:332;;;;;:::o;12981:194::-;13021:4;13041:20;13059:1;13041:20;:::i;:::-;13036:25;;13075:20;13093:1;13075:20;:::i;:::-;13070:25;;13119:1;13116;13112:9;13104:17;;13143:1;13137:4;13134:11;13131:37;;;13148:18;;:::i;:::-;13131:37;12981:194;;;;:::o;13181:442::-;13330:4;13368:2;13357:9;13353:18;13345:26;;13381:71;13449:1;13438:9;13434:17;13425:6;13381:71;:::i;:::-;13462:72;13530:2;13519:9;13515:18;13506:6;13462:72;:::i;:::-;13544;13612:2;13601:9;13597:18;13588:6;13544:72;:::i;:::-;13181:442;;;;;;:::o;13629:275::-;13668:7;13691:19;13708:1;13691:19;:::i;:::-;13686:24;;13724:19;13741:1;13724:19;:::i;:::-;13719:24;;13778:1;13775;13771:9;13800:29;13817:11;13800:29;:::i;:::-;13789:40;;13861:11;13852:7;13849:24;13839:58;;13877:18;;:::i;:::-;13839:58;13676:228;13629:275;;;;:::o;13910:191::-;13950:3;13969:20;13987:1;13969:20;:::i;:::-;13964:25;;14003:20;14021:1;14003:20;:::i;:::-;13998:25;;14046:1;14043;14039:9;14032:16;;14067:3;14064:1;14061:10;14058:36;;;14074:18;;:::i;:::-;14058:36;13910:191;;;;:::o;14107:60::-;14135:3;14156:5;14149:12;;14107:60;;;:::o;14173:140::-;14222:9;14255:52;14273:33;14282:23;14299:5;14282:23;:::i;:::-;14273:33;:::i;:::-;14255:52;:::i;:::-;14242:65;;14173:140;;;:::o;14319:129::-;14405:36;14435:5;14405:36;:::i;:::-;14400:3;14393:49;14319:129;;:::o;14454:115::-;14539:23;14556:5;14539:23;:::i;:::-;14534:3;14527:36;14454:115;;:::o;14575:436::-;14721:4;14759:2;14748:9;14744:18;14736:26;;14772:70;14839:1;14828:9;14824:17;14815:6;14772:70;:::i;:::-;14852:72;14920:2;14909:9;14905:18;14896:6;14852:72;:::i;:::-;14934:70;15000:2;14989:9;14985:18;14976:6;14934:70;:::i;:::-;14575:436;;;;;;:::o;15017:118::-;15054:7;15094:34;15087:5;15083:46;15072:57;;15017:118;;;:::o;15141:227::-;15181:4;15201:20;15219:1;15201:20;:::i;:::-;15196:25;;15235:20;15253:1;15235:20;:::i;:::-;15230:25;;15279:1;15276;15272:9;15264:17;;15303:34;15297:4;15294:44;15291:70;;;15341:18;;:::i;:::-;15291:70;15141:227;;;;:::o;15374:204::-;15413:4;15433:19;15450:1;15433:19;:::i;:::-;15428:24;;15466:19;15483:1;15466:19;:::i;:::-;15461:24;;15509:1;15506;15502:9;15494:17;;15533:14;15527:4;15524:24;15521:50;;;15551:18;;:::i;:::-;15521:50;15374:204;;;;:::o;15584:201::-;15623:3;15642:19;15659:1;15642:19;:::i;:::-;15637:24;;15675:19;15692:1;15675:19;:::i;:::-;15670:24;;15717:1;15714;15710:9;15703:16;;15740:14;15735:3;15732:23;15729:49;;;15758:18;;:::i;:::-;15729:49;15584:201;;;;:::o;15791:169::-;15931:21;15927:1;15919:6;15915:14;15908:45;15791:169;:::o;15966:366::-;16108:3;16129:67;16193:2;16188:3;16129:67;:::i;:::-;16122:74;;16205:93;16294:3;16205:93;:::i;:::-;16323:2;16318:3;16314:12;16307:19;;15966:366;;;:::o;16338:419::-;16504:4;16542:2;16531:9;16527:18;16519:26;;16591:9;16585:4;16581:20;16577:1;16566:9;16562:17;16555:47;16619:131;16745:4;16619:131;:::i;:::-;16611:139;;16338:419;;;:::o;16763:279::-;16803:7;16826:20;16844:1;16826:20;:::i;:::-;16821:25;;16860:20;16878:1;16860:20;:::i;:::-;16855:25;;16915:1;16912;16908:9;16937:30;16955:11;16937:30;:::i;:::-;16926:41;;16999:11;16990:7;16987:24;16977:58;;17015:18;;:::i;:::-;16977:58;16811:231;16763:279;;;;:::o;17048:185::-;17088:1;17105:20;17123:1;17105:20;:::i;:::-;17100:25;;17139:20;17157:1;17139:20;:::i;:::-;17134:25;;17178:1;17168:35;;17183:18;;:::i;:::-;17168:35;17225:1;17222;17218:9;17213:14;;17048:185;;;;:::o

ipfs://952dd1b4658b6d3f405f63247e685c1618b447b5d264129126792547927be72b