Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint a, uint b)
•    - function sub(uint a, uint b)
•    - function mul(uint a, uint b)
•    - function div(uint a, uint b)
•  contract BasicMetaTransaction
•    - function getChainID()
•    - function executeMetaTransaction(addre ...
•    - function getNonce(address user)
•    - function verify(address owner, string ...
•    - function uint2str(uint256 _i)
•    - function msgSender()
• library Math
•    - function max(uint256 a, uint256 b)
•    - function min(uint256 a, uint256 b)
•    - function average(uint256 a, uint256 b ...
• interface IERC20
•    - function transfer(address recipient, ...
•    - function transferFrom(address sender, ...
•    - function approve(address _spender, ui ...
•    - function balanceOf(address _owner)
• interface IGateway
•    - function mint(bytes32 _pHash, uint256 ...
•    - function burn(bytes calldata _to, uin ...
• interface IGatewayRegistry
•    - function getGatewayBySymbol(string ca ...
•    - function getGatewayByToken(address _ ...
•    - function getTokenBySymbol(string call ...
• interface ICurveExchange
•    - function exchange(int128 i, int128 j, ...
•    - function get_dy(int128, int128 j, uin ...
•    - function calc_token_amount(uint256[2] ...
•    - function add_liquidity(uint256[2] cal ...
•    - function remove_liquidity(
•    - function remove_liquidity_imbalance(u ...
•    - function remove_liquidity_one_coin(ui ...
• interface IFreeFromUpTo
•    - function freeFromUpTo(address from, u ...
•    - function balanceOf(address account)
•    - function approve(address spender, uin ...
•  contract CurveExchangeAdapter is B ... *
•    - function recoverStuck(
•    - function mintThenSwap(
•    - function mintThenDeposit(
•    - function mintNoSwap(
•    - function mintNoDeposit(
•    - function removeLiquidityThenBurn(byte ...
•    - function removeLiquidityImbalanceThen ...
•    - function removeLiquidityOneCoinThenBu ...
•    - function swapThenBurn(bytes calldata ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-06-29
*/

/**
 *Submitted for verification at Etherscan.io on 2020-05-18
*/

/**
 *Submitted for verification at Etherscan.io on 2020-01-23
*/

// File: github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/GSN/Context.sol

pragma solidity ^0.6.0;

library SafeMath {
    function add(uint a, uint b) internal pure returns (uint c) {
        c = a + b;
        require(c >= a); // dev: overflow
    }
    function sub(uint a, uint b) internal pure returns (uint c) {
        require(b <= a); // dev: underflow
        c = a - b;
    }
    function mul(uint a, uint b) internal pure returns (uint c) {
        c = a * b;
        require(a == 0 || c / a == b); // dev: overflow
    }
    function div(uint a, uint b) internal pure returns (uint c) {
        require(b > 0); // dev: divide by zero
        c = a / b;
    }
}

pragma experimental ABIEncoderV2;

contract BasicMetaTransaction {

    using SafeMath for uint256;

    event MetaTransactionExecuted(address userAddress, address payable relayerAddress, bytes functionSignature);
    mapping(address => uint256) nonces;
    
    function getChainID() public pure returns (uint256) {
        uint256 id;
        assembly {
            id := chainid()
        }
        return id;
    }

    /**
     * Main function to be called when user wants to execute meta transaction.
     * The actual function to be called should be passed as param with name functionSignature
     * Here the basic signature recovery is being used. Signature is expected to be generated using
     * personal_sign method.
     * @param userAddress Address of user trying to do meta transaction
     * @param functionSignature Signature of the actual function to be called via meta transaction
     * @param message Message to be signed by the user
     * @param length Length of complete message that was signed
     * @param sigR R part of the signature
     * @param sigS S part of the signature
     * @param sigV V part of the signature
     */
    function executeMetaTransaction(address userAddress,
        bytes memory functionSignature, string memory message, string memory length,
        bytes32 sigR, bytes32 sigS, uint8 sigV) public payable returns(bytes memory) {

        require(verify(userAddress, message, length, nonces[userAddress], getChainID(), sigR, sigS, sigV), "Signer and signature do not match");
        // Append userAddress and relayer address at the end to extract it from calling context
        (bool success, bytes memory returnData) = address(this).call(abi.encodePacked(functionSignature, userAddress));

        require(success, "Function call not successfull");
        nonces[userAddress] = nonces[userAddress].add(1);
        emit MetaTransactionExecuted(userAddress, msg.sender, functionSignature);
        return returnData;
    }

    function getNonce(address user) public view returns(uint256 nonce) {
        nonce = nonces[user];
    }



    function verify(address owner, string memory message, string memory length, uint256 nonce, uint256 chainID,
        bytes32 sigR, bytes32 sigS, uint8 sigV) public pure returns (bool) {

        string memory nonceStr = uint2str(nonce);
        string memory chainIDStr = uint2str(chainID);
        bytes32 hash = keccak256(abi.encodePacked("\x19Ethereum Signed Message:\n", length, message, nonceStr, chainIDStr));
		return (owner == ecrecover(hash, sigV, sigR, sigS));
    }

    /**
     * Internal utility function used to convert an int to string.
     * @param _i integer to be converted into a string
     */
    function uint2str(uint256 _i) internal pure returns (string memory _uintAsString) {
        if (_i == 0) {
            return "0";
        }
        uint j = _i;
        uint len;
        while (j != 0) {
            len++;
            j /= 10;
        }
        bytes memory bstr = new bytes(len);
        uint k = len - 1;
        uint256 temp = _i;
        while (temp != 0) {
            bstr[k--] = byte(uint8(48 + temp % 10));
            temp /= 10;
        }
        return string(bstr);
    }

    function msgSender() internal view returns(address sender) {
        if(msg.sender == address(this)) {
            bytes memory array = msg.data;
            uint256 index = msg.data.length;
            assembly {
                // Load the 32 bytes word from memory with the address on the lower 20 bytes, and mask those.
                sender := and(mload(add(array, index)), 0xffffffffffffffffffffffffffffffffffffffff)
            }
        } else {
            sender = msg.sender;
        }
        return sender;
    }

    // To recieve ether in contract
    receive() external payable { }
    fallback() external payable { }
}

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


// File: browser/dex-adapter-simple.sol

library Math {
    /**
     * @dev Returns the largest of two numbers.
     */
    function max(uint256 a, uint256 b) internal pure returns (uint256) {
        return a >= b ? a : b;
    }

    /**
     * @dev Returns the smallest of two numbers.
     */
    function min(uint256 a, uint256 b) internal pure returns (uint256) {
        return a < b ? a : b;
    }

    /**
     * @dev Returns the average of two numbers. The result is rounded towards
     * zero.
     */
    function average(uint256 a, uint256 b) internal pure returns (uint256) {
        // (a + b) / 2 can overflow, so we distribute
        return (a / 2) + (b / 2) + ((a % 2 + b % 2) / 2);
    }
}

interface IERC20 {
    function transfer(address recipient, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    function approve(address _spender, uint256 _value) external returns (bool);
    function balanceOf(address _owner) external view returns (uint256 balance);
}

interface IGateway {
    function mint(bytes32 _pHash, uint256 _amount, bytes32 _nHash, bytes calldata _sig) external returns (uint256);
    function burn(bytes calldata _to, uint256 _amount) external returns (uint256);
}

interface IGatewayRegistry {
    function getGatewayBySymbol(string calldata _tokenSymbol) external view returns (IGateway);
    function getGatewayByToken(address  _tokenAddress) external view returns (IGateway);
    function getTokenBySymbol(string calldata _tokenSymbol) external view returns (IERC20);
}

interface ICurveExchange {
    function exchange(int128 i, int128 j, uint256 dx, uint256 min_dy) external;

    function get_dy(int128, int128 j, uint256 dx) external view returns (uint256);

    function calc_token_amount(uint256[2] calldata amounts, bool deposit) external returns (uint256 amount);

    function add_liquidity(uint256[2] calldata amounts, uint256 min_mint_amount) external;

    function remove_liquidity(
        uint256 _amount,
        uint256[2] calldata min_amounts
    ) external;

    function remove_liquidity_imbalance(uint256[2] calldata amounts, uint256 max_burn_amount) external;

    function remove_liquidity_one_coin(uint256 _token_amounts, int128 i, uint256 min_amount) external;
}

interface IFreeFromUpTo {
    function freeFromUpTo(address from, uint256 value) external returns (uint256 freed);
    function balanceOf(address account) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
}

contract CurveExchangeAdapter is BasicMetaTransaction {
    using SafeMath for uint256;

    IFreeFromUpTo public constant chi = IFreeFromUpTo(0x0000000000004946c0e9F43F4Dee607b0eF1fA1c);

    modifier discountCHI {
        uint256 gasStart = gasleft();
        _;
        uint256 gasSpent = 21000 + gasStart - gasleft() + 16 *
                           msg.data.length;
        if(chi.balanceOf(address(this)) > 0) {
            chi.freeFromUpTo(address(this), (gasSpent + 14154) / 41947);
        }
        else {
            chi.freeFromUpTo(msgSender(), (gasSpent + 14154) / 41947);
        }
    }

    
    IERC20 RENBTC;
    IERC20 WBTC;
    IERC20 curveToken;

    ICurveExchange public exchange;  
    IGatewayRegistry public registry;

    event SwapReceived(uint256 mintedAmount, uint256 wbtcAmount);
    event DepositMintedCurve(uint256 mintedAmount, uint256 curveAmount);
    event ReceiveRen(uint256 renAmount);
    event Burn(uint256 burnAmount);

    constructor(ICurveExchange _exchange, IGatewayRegistry _registry, IERC20 _wbtc) public {
        exchange = _exchange;
        registry = _registry;
        RENBTC = registry.getTokenBySymbol("BTC");
        WBTC = _wbtc;
        address curveTokenAddress = 0x49849C98ae39Fff122806C06791Fa73784FB3675;
        curveToken = IERC20(curveTokenAddress);
        
        // Approve exchange.
        require(RENBTC.approve(address(exchange), uint256(-1)));
        require(WBTC.approve(address(exchange), uint256(-1)));
        require(chi.approve(address(this), uint256(-1)));
    }

    function recoverStuck(
        bytes calldata encoded,
        uint256 _amount,
        bytes32 _nHash,
        bytes calldata _sig
    ) external {
        uint256 start = encoded.length - 32;
        address sender = abi.decode(encoded[start:], (address));
        require(sender == msgSender());
        bytes32 pHash = keccak256(encoded);
        uint256 mintedAmount = registry.getGatewayBySymbol("BTC").mint(pHash, _amount, _nHash, _sig);
        require(RENBTC.transfer(msgSender(), mintedAmount));
    }
    
    function mintThenSwap(
        uint256 _minExchangeRate,
        uint256 _newMinExchangeRate,
        uint256 _slippage,
        address payable _wbtcDestination,
        uint256 _amount,
        bytes32 _nHash,
        bytes calldata _sig
    ) external discountCHI {
        // Mint renBTC tokens
        bytes32 pHash = keccak256(abi.encode(_minExchangeRate, _slippage, _wbtcDestination, msgSender()));
        uint256 mintedAmount = registry.getGatewayBySymbol("BTC").mint(pHash, _amount, _nHash, _sig);
        
        // Get price
        uint256 dy = exchange.get_dy(0, 1, mintedAmount);
        uint256 rate = dy.mul(1e8).div(mintedAmount);
        _slippage = uint256(1e4).sub(_slippage);
        uint256 min_dy = dy.mul(_slippage).div(1e4);
        
        // Price is OK
        if (rate >= _newMinExchangeRate) {
            uint256 startWbtcBalance = WBTC.balanceOf(address(this));
            exchange.exchange(0, 1, mintedAmount, min_dy);

            uint256 endWbtcBalance = WBTC.balanceOf(address(this));
            uint256 wbtcBought = endWbtcBalance.sub(startWbtcBalance);
        
            //Send proceeds to the User
            require(WBTC.transfer(_wbtcDestination, wbtcBought));
            emit SwapReceived(mintedAmount, wbtcBought);
        } else {
            //Send renBTC to the User instead
            require(RENBTC.transfer(_wbtcDestination, mintedAmount));
            emit ReceiveRen(mintedAmount);
        }
    }

    function mintThenDeposit(
        address payable _wbtcDestination, 
        uint256 _amount, 
        uint256[2] calldata _amounts, 
        uint256 _min_mint_amount, 
        uint256 _new_min_mint_amount, 
        bytes32 _nHash, 
        bytes calldata _sig
    ) external discountCHI {
        // Mint renBTC tokens
        bytes32 pHash = keccak256(abi.encode(_wbtcDestination, _amounts, _min_mint_amount, msgSender()));
        //use actual _amount the user sent
        uint256 mintedAmount = registry.getGatewayBySymbol("BTC").mint(pHash, _amount, _nHash, _sig);

        //set renBTC to actual minted amount in case the user sent less BTC to Ren
        uint256[2] memory receivedAmounts = _amounts;
        receivedAmounts[0] = mintedAmount;
        uint256 calc_token_amount = exchange.calc_token_amount(_amounts, true);
        if(calc_token_amount >= _new_min_mint_amount) {
            require(WBTC.transferFrom(msgSender(), address(this), receivedAmounts[1]));
            uint256 curveBalanceBefore = curveToken.balanceOf(address(this));
            exchange.add_liquidity(receivedAmounts, 0);
            uint256 curveBalanceAfter = curveToken.balanceOf(address(this));
            uint256 curveAmount = curveBalanceAfter.sub(curveBalanceBefore);
            require(curveAmount >= _new_min_mint_amount);
            require(curveToken.transfer(msgSender(), curveAmount));
            emit DepositMintedCurve(mintedAmount, curveAmount);
        }
        else {
            require(RENBTC.transfer(_wbtcDestination, mintedAmount));
            emit ReceiveRen(mintedAmount);
        }
    }

    function mintNoSwap(
        uint256 _minExchangeRate,
        uint256 _newMinExchangeRate,
        uint256 _slippage,
        address payable _wbtcDestination,
        uint256 _amount,
        bytes32 _nHash,
        bytes calldata _sig
    ) external discountCHI {
        bytes32 pHash = keccak256(abi.encode(_minExchangeRate, _slippage, _wbtcDestination, msgSender()));
        uint256 mintedAmount = registry.getGatewayBySymbol("BTC").mint(pHash, _amount, _nHash, _sig);
        
        require(RENBTC.transfer(_wbtcDestination, mintedAmount));
        emit ReceiveRen(mintedAmount);
    }

    function mintNoDeposit(
        address payable _wbtcDestination, 
        uint256 _amount, 
        uint256[2] calldata _amounts, 
        uint256 _min_mint_amount, 
        uint256 _new_min_mint_amount, 
        bytes32 _nHash, 
        bytes calldata _sig
    ) external discountCHI {
         // Mint renBTC tokens
        bytes32 pHash = keccak256(abi.encode(_wbtcDestination, _amounts, _min_mint_amount, msgSender()));
        //use actual _amount the user sent
        uint256 mintedAmount = registry.getGatewayBySymbol("BTC").mint(pHash, _amount, _nHash, _sig);

        require(RENBTC.transfer(_wbtcDestination, mintedAmount));
        emit ReceiveRen(mintedAmount);
    }

    function removeLiquidityThenBurn(bytes calldata _btcDestination, uint256 amount, uint256[2] calldata min_amounts) external discountCHI {
        uint256 startRenbtcBalance = RENBTC.balanceOf(address(this));
        uint256 startWbtcBalance = WBTC.balanceOf(address(this));
        require(curveToken.transferFrom(msgSender(), address(this), amount));
        exchange.remove_liquidity(amount, min_amounts);
        uint256 endRenbtcBalance = RENBTC.balanceOf(address(this));
        uint256 endWbtcBalance = WBTC.balanceOf(address(this));
        uint256 wbtcWithdrawn = endWbtcBalance.sub(startWbtcBalance);
        require(WBTC.transfer(msgSender(), wbtcWithdrawn));
        uint256 renbtcWithdrawn = endRenbtcBalance.sub(startRenbtcBalance);

        // Burn and send proceeds to the User
        uint256 burnAmount = registry.getGatewayBySymbol("BTC").burn(_btcDestination, renbtcWithdrawn);
        emit Burn(burnAmount);
    }

    function removeLiquidityImbalanceThenBurn(bytes calldata _btcDestination, uint256[2] calldata amounts, uint256 max_burn_amount) external discountCHI {
        uint256 startRenbtcBalance = RENBTC.balanceOf(address(this));
        uint256 startWbtcBalance = WBTC.balanceOf(address(this));
        uint256 _tokens = curveToken.balanceOf(msgSender());
        if(_tokens > max_burn_amount) { 
            _tokens = max_burn_amount;
        }
        require(curveToken.transferFrom(msgSender(), address(this), _tokens));
        exchange.remove_liquidity_imbalance(amounts, max_burn_amount.mul(101).div(100));
        _tokens = curveToken.balanceOf(address(this));
        require(curveToken.transfer(msgSender(), _tokens));
        uint256 endRenbtcBalance = RENBTC.balanceOf(address(this));
        uint256 endWbtcBalance = WBTC.balanceOf(address(this));
        uint256 renbtcWithdrawn = endRenbtcBalance.sub(startRenbtcBalance);
        uint256 wbtcWithdrawn = endWbtcBalance.sub(startWbtcBalance);
        require(WBTC.transfer(msgSender(), wbtcWithdrawn));

        // Burn and send proceeds to the User
        uint256 burnAmount = registry.getGatewayBySymbol("BTC").burn(_btcDestination, renbtcWithdrawn);
        emit Burn(burnAmount);
    }

    //always removing in renBTC, else use normal method
    function removeLiquidityOneCoinThenBurn(bytes calldata _btcDestination, uint256 _token_amounts, uint256 min_amount) external discountCHI {
        uint256 startRenbtcBalance = RENBTC.balanceOf(address(this));
        require(curveToken.transferFrom(msgSender(), address(this), _token_amounts));
        exchange.remove_liquidity_one_coin(_token_amounts, 0, min_amount);
        uint256 endRenbtcBalance = RENBTC.balanceOf(address(this));
        uint256 renbtcWithdrawn = endRenbtcBalance.sub(startRenbtcBalance);

        // Burn and send proceeds to the User
        uint256 burnAmount = registry.getGatewayBySymbol("BTC").burn(_btcDestination, renbtcWithdrawn);
        emit Burn(burnAmount);
    }
    
    function swapThenBurn(bytes calldata _btcDestination, uint256 _amount, uint256 _minRenbtcAmount) external discountCHI {
        require(WBTC.transferFrom(msgSender(), address(this), _amount));
        uint256 startRenbtcBalance = RENBTC.balanceOf(address(this));
        exchange.exchange(1, 0, _amount, _minRenbtcAmount);
        uint256 endRenbtcBalance = RENBTC.balanceOf(address(this));
        uint256 renbtcBought = endRenbtcBalance.sub(startRenbtcBalance);
        
        // Burn and send proceeds to the User
        uint256 burnAmount = registry.getGatewayBySymbol("BTC").burn(_btcDestination, renbtcBought);
        emit Burn(burnAmount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract ICurveExchange","name":"_exchange","type":"address"},{"internalType":"contract IGatewayRegistry","name":"_registry","type":"address"},{"internalType":"contract IERC20","name":"_wbtc","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"burnAmount","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"mintedAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"curveAmount","type":"uint256"}],"name":"DepositMintedCurve","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"userAddress","type":"address"},{"indexed":false,"internalType":"address payable","name":"relayerAddress","type":"address"},{"indexed":false,"internalType":"bytes","name":"functionSignature","type":"bytes"}],"name":"MetaTransactionExecuted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"renAmount","type":"uint256"}],"name":"ReceiveRen","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"mintedAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"wbtcAmount","type":"uint256"}],"name":"SwapReceived","type":"event"},{"stateMutability":"payable","type":"fallback"},{"inputs":[],"name":"chi","outputs":[{"internalType":"contract IFreeFromUpTo","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"exchange","outputs":[{"internalType":"contract ICurveExchange","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"userAddress","type":"address"},{"internalType":"bytes","name":"functionSignature","type":"bytes"},{"internalType":"string","name":"message","type":"string"},{"internalType":"string","name":"length","type":"string"},{"internalType":"bytes32","name":"sigR","type":"bytes32"},{"internalType":"bytes32","name":"sigS","type":"bytes32"},{"internalType":"uint8","name":"sigV","type":"uint8"}],"name":"executeMetaTransaction","outputs":[{"internalType":"bytes","name":"","type":"bytes"}],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"getChainID","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"getNonce","outputs":[{"internalType":"uint256","name":"nonce","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address payable","name":"_wbtcDestination","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"uint256[2]","name":"_amounts","type":"uint256[2]"},{"internalType":"uint256","name":"_min_mint_amount","type":"uint256"},{"internalType":"uint256","name":"_new_min_mint_amount","type":"uint256"},{"internalType":"bytes32","name":"_nHash","type":"bytes32"},{"internalType":"bytes","name":"_sig","type":"bytes"}],"name":"mintNoDeposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_minExchangeRate","type":"uint256"},{"internalType":"uint256","name":"_newMinExchangeRate","type":"uint256"},{"internalType":"uint256","name":"_slippage","type":"uint256"},{"internalType":"address payable","name":"_wbtcDestination","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"bytes32","name":"_nHash","type":"bytes32"},{"internalType":"bytes","name":"_sig","type":"bytes"}],"name":"mintNoSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"_wbtcDestination","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"uint256[2]","name":"_amounts","type":"uint256[2]"},{"internalType":"uint256","name":"_min_mint_amount","type":"uint256"},{"internalType":"uint256","name":"_new_min_mint_amount","type":"uint256"},{"internalType":"bytes32","name":"_nHash","type":"bytes32"},{"internalType":"bytes","name":"_sig","type":"bytes"}],"name":"mintThenDeposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_minExchangeRate","type":"uint256"},{"internalType":"uint256","name":"_newMinExchangeRate","type":"uint256"},{"internalType":"uint256","name":"_slippage","type":"uint256"},{"internalType":"address payable","name":"_wbtcDestination","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"bytes32","name":"_nHash","type":"bytes32"},{"internalType":"bytes","name":"_sig","type":"bytes"}],"name":"mintThenSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes","name":"encoded","type":"bytes"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"bytes32","name":"_nHash","type":"bytes32"},{"internalType":"bytes","name":"_sig","type":"bytes"}],"name":"recoverStuck","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"registry","outputs":[{"internalType":"contract IGatewayRegistry","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"_btcDestination","type":"bytes"},{"internalType":"uint256[2]","name":"amounts","type":"uint256[2]"},{"internalType":"uint256","name":"max_burn_amount","type":"uint256"}],"name":"removeLiquidityImbalanceThenBurn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes","name":"_btcDestination","type":"bytes"},{"internalType":"uint256","name":"_token_amounts","type":"uint256"},{"internalType":"uint256","name":"min_amount","type":"uint256"}],"name":"removeLiquidityOneCoinThenBurn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes","name":"_btcDestination","type":"bytes"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256[2]","name":"min_amounts","type":"uint256[2]"}],"name":"removeLiquidityThenBurn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes","name":"_btcDestination","type":"bytes"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"uint256","name":"_minRenbtcAmount","type":"uint256"}],"name":"swapThenBurn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"string","name":"message","type":"string"},{"internalType":"string","name":"length","type":"string"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"chainID","type":"uint256"},{"internalType":"bytes32","name":"sigR","type":"bytes32"},{"internalType":"bytes32","name":"sigS","type":"bytes32"},{"internalType":"uint8","name":"sigV","type":"uint8"}],"name":"verify","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040523480156200001157600080fd5b5060405162006573380380620065738339818101604052620000379190810190620005a2565b82600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663efa74f1f6040518163ffffffff1660e01b81526004016200011490620006f3565b60206040518083038186803b1580156200012d57600080fd5b505afa15801562000142573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250620001689190810190620005f8565b600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060007349849c98ae39fff122806c06791fa73784fb3675905080600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b3600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b8152600401620002e4929190620006c6565b602060405180830381600087803b158015620002ff57600080fd5b505af115801562000314573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506200033a919081019062000576565b6200034457600080fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b3600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b8152600401620003e5929190620006c6565b602060405180830381600087803b1580156200040057600080fd5b505af115801562000415573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506200043b919081019062000576565b6200044557600080fd5b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663095ea7b3307fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b8152600401620004b092919062000699565b602060405180830381600087803b158015620004cb57600080fd5b505af1158015620004e0573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525062000506919081019062000576565b6200051057600080fd5b5050505062000850565b6000815190506200052b81620007e8565b92915050565b600081519050620005428162000802565b92915050565b60008151905062000559816200081c565b92915050565b600081519050620005708162000836565b92915050565b6000602082840312156200058957600080fd5b600062000599848285016200051a565b91505092915050565b600080600060608486031215620005b857600080fd5b6000620005c88682870162000531565b9350506020620005db868287016200055f565b9250506040620005ee8682870162000548565b9150509250925092565b6000602082840312156200060b57600080fd5b60006200061b8482850162000548565b91505092915050565b6200062f81620007ac565b82525050565b620006408162000726565b82525050565b60006200065560038362000715565b91507f42544300000000000000000000000000000000000000000000000000000000006000830152602082019050919050565b6200069381620007a2565b82525050565b6000604082019050620006b0600083018562000624565b620006bf602083018462000688565b9392505050565b6000604082019050620006dd600083018562000635565b620006ec602083018462000688565b9392505050565b600060208201905081810360008301526200070e8162000646565b9050919050565b600082825260208201905092915050565b6000620007338262000782565b9050919050565b60008115159050919050565b6000620007538262000726565b9050919050565b6000620007678262000726565b9050919050565b60006200077b8262000726565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000620007b982620007c0565b9050919050565b6000620007cd82620007d4565b9050919050565b6000620007e18262000782565b9050919050565b620007f3816200073a565b8114620007ff57600080fd5b50565b6200080d8162000746565b81146200081957600080fd5b50565b62000827816200075a565b81146200083357600080fd5b50565b62000841816200076e565b81146200084d57600080fd5b50565b615d1380620008606000396000f3fe6080604052600436106100f75760003560e01c8063a461e5fa1161008a578063d039fca111610059578063d039fca11461031a578063d2f7265a1461034a578063dcf0bb3a14610375578063e4b872271461039e576100fe565b8063a461e5fa14610260578063b60c82ab1461029d578063c55b1982146102c6578063c92aecc4146102ef576100fe565b806366aaac19116100c657806366aaac19146101ba57806374955c42146101e35780637b1039991461020c5780638952de4414610237576100fe565b80630bfe8b92146101005780632d0335ab146101295780632e49a2db14610166578063564b81ef1461018f576100fe565b366100fe57005b005b34801561010c57600080fd5b5061012760048036036101229190810190614e07565b6103c7565b005b34801561013557600080fd5b50610150600480360361014b9190810190614a31565b610675565b60405161015d9190615867565b60405180910390f35b34801561017257600080fd5b5061018d60048036036101889190810190614f60565b6106bd565b005b34801561019b57600080fd5b506101a4610b4b565b6040516101b19190615867565b60405180910390f35b3480156101c657600080fd5b506101e160048036036101dc9190810190614ea2565b610b58565b005b3480156101ef57600080fd5b5061020a60048036036102059190810190614f60565b6111b8565b005b34801561021857600080fd5b50610221611a78565b60405161022e919061572b565b60405180910390f35b34801561024357600080fd5b5061025e60048036036102599190810190614d2f565b611a9e565b005b34801561026c57600080fd5b5061028760048036036102829190810190614c24565b612587565b60405161029491906155f3565b60405180910390f35b3480156102a957600080fd5b506102c460048036036102bf9190810190614d9b565b612662565b005b3480156102d257600080fd5b506102ed60048036036102e89190810190614a83565b612ef6565b005b3480156102fb57600080fd5b50610304613384565b6040516103119190615710565b60405180910390f35b610334600480360361032f9190810190614b3e565b613396565b60405161034191906156d3565b60405180910390f35b34801561035657600080fd5b5061035f6135dc565b60405161036c91906156f5565b60405180910390f35b34801561038157600080fd5b5061039c60048036036103979190810190614a83565b613602565b005b3480156103aa57600080fd5b506103c560048036036103c09190810190614ea2565b613f8b565b005b6000602087879050039050600087878381808211156103e557600080fd5b828111156103f257600080fd5b60018202840193508181039250505061040e9190810190614a5a565b90506104186145ee565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461044f57600080fd5b60008888604051610461929190615395565b604051809103902090506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b81526004016104c690615847565b60206040518083038186803b1580156104de57600080fd5b505afa1580156104f2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506105169190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff1663159ab14d838a8a8a8a6040518663ffffffff1660e01b815260040161055695949392919061560e565b602060405180830381600087803b15801561057057600080fd5b505af1158015610584573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506105a89190810190614f37565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6105f06145ee565b836040518363ffffffff1660e01b815260040161060e92919061554f565b602060405180830381600087803b15801561062857600080fd5b505af115801561063c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506106609190810190614d06565b61066957600080fd5b50505050505050505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60005a905060008988886106cf6145ee565b6040516020016106e2949392919061590b565b6040516020818303038152906040528051906020012090506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b815260040161075590615847565b60206040518083038186803b15801561076d57600080fd5b505afa158015610781573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506107a59190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff1663159ab14d83898989896040518663ffffffff1660e01b81526004016107e595949392919061560e565b602060405180830381600087803b1580156107ff57600080fd5b505af1158015610813573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506108379190810190614f37565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb89836040518363ffffffff1660e01b81526004016108969291906154b1565b602060405180830381600087803b1580156108b057600080fd5b505af11580156108c4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506108e89190810190614d06565b6108f157600080fd5b7f168094234a7c53f3434b5ac1936fa7bdc59f28ea7f93bda1f79272fdf0537e5a816040516109209190615867565b60405180910390a150506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016109869190615451565b60206040518083038186803b15801561099e57600080fd5b505afa1580156109b2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506109d69190810190614f37565b1115610a8c576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a850181610a1657fe5b046040518363ffffffff1660e01b8152600401610a349291906154b1565b602060405180830381600087803b158015610a4e57600080fd5b505af1158015610a62573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610a869190810190614f37565b50610b3f565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f610abe6145ee565b61a3db61374a850181610acd57fe5b046040518363ffffffff1660e01b8152600401610aeb92919061554f565b602060405180830381600087803b158015610b0557600080fd5b505af1158015610b19573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610b3d9190810190614f37565b505b50505050505050505050565b6000804690508091505090565b60005a90506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610bba9190615451565b60206040518083038186803b158015610bd257600080fd5b505afa158015610be6573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610c0a9190810190614f37565b9050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd610c526145ee565b30876040518463ffffffff1660e01b8152600401610c7293929190615518565b602060405180830381600087803b158015610c8c57600080fd5b505af1158015610ca0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610cc49190810190614d06565b610ccd57600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16631a4d01d2856000866040518463ffffffff1660e01b8152600401610d2d939291906158ab565b600060405180830381600087803b158015610d4757600080fd5b505af1158015610d5b573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610dbc9190615451565b60206040518083038186803b158015610dd457600080fd5b505afa158015610de8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610e0c9190810190614f37565b90506000610e2383836146a390919063ffffffff16565b90506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b8152600401610e8090615847565b60206040518083038186803b158015610e9857600080fd5b505afa158015610eac573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610ed09190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff166338463cff8a8a856040518463ffffffff1660e01b8152600401610f0c939291906156a1565b602060405180830381600087803b158015610f2657600080fd5b505af1158015610f3a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610f5e9190810190614f37565b90507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb81604051610f8f9190615867565b60405180910390a1505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610ff79190615451565b60206040518083038186803b15801561100f57600080fd5b505afa158015611023573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506110479190810190614f37565b11156110fd576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a85018161108757fe5b046040518363ffffffff1660e01b81526004016110a59291906154b1565b602060405180830381600087803b1580156110bf57600080fd5b505af11580156110d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506110f79190810190614f37565b506111b0565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f61112f6145ee565b61a3db61374a85018161113e57fe5b046040518363ffffffff1660e01b815260040161115c92919061554f565b602060405180830381600087803b15801561117657600080fd5b505af115801561118a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506111ae9190810190614f37565b505b505050505050565b60005a905060008988886111ca6145ee565b6040516020016111dd949392919061590b565b6040516020818303038152906040528051906020012090506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b815260040161125090615847565b60206040518083038186803b15801561126857600080fd5b505afa15801561127c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506112a09190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff1663159ab14d83898989896040518663ffffffff1660e01b81526004016112e095949392919061560e565b602060405180830381600087803b1580156112fa57600080fd5b505af115801561130e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506113329190810190614f37565b90506000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635e0d443f60006001856040518463ffffffff1660e01b815260040161139793929190615746565b60206040518083038186803b1580156113af57600080fd5b505afa1580156113c3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506113e79190810190614f37565b90506000611414836114066305f5e100856146bd90919063ffffffff16565b6146ea90919063ffffffff16565b905061142b8b6127106146a390919063ffffffff16565b9a5060006114566127106114488e866146bd90919063ffffffff16565b6146ea90919063ffffffff16565b90508c8210611762576000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016114bc9190615451565b60206040518083038186803b1580156114d457600080fd5b505afa1580156114e8573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061150c9190810190614f37565b9050600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633df021246000600188866040518563ffffffff1660e01b8152600401611571949392919061577d565b600060405180830381600087803b15801561158b57600080fd5b505af115801561159f573d6000803e3d6000fd5b505050506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016116009190615451565b60206040518083038186803b15801561161857600080fd5b505afa15801561162c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506116509190810190614f37565b9050600061166783836146a390919063ffffffff16565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8f836040518363ffffffff1660e01b81526004016116c69291906154b1565b602060405180830381600087803b1580156116e057600080fd5b505af11580156116f4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506117189190810190614d06565b61172157600080fd5b7f78baa3c379996e8bf637df112ad9332494c096f5062038af79dbeea35150002887826040516117529291906158e2565b60405180910390a1505050611852565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8c866040518363ffffffff1660e01b81526004016117bf9291906154b1565b602060405180830381600087803b1580156117d957600080fd5b505af11580156117ed573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506118119190810190614d06565b61181a57600080fd5b7f168094234a7c53f3434b5ac1936fa7bdc59f28ea7f93bda1f79272fdf0537e5a846040516118499190615867565b60405180910390a15b50505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016118b39190615451565b60206040518083038186803b1580156118cb57600080fd5b505afa1580156118df573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506119039190810190614f37565b11156119b9576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a85018161194357fe5b046040518363ffffffff1660e01b81526004016119619291906154b1565b602060405180830381600087803b15801561197b57600080fd5b505af115801561198f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506119b39190810190614f37565b50611a6c565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f6119eb6145ee565b61a3db61374a8501816119fa57fe5b046040518363ffffffff1660e01b8152600401611a1892919061554f565b602060405180830381600087803b158015611a3257600080fd5b505af1158015611a46573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611a6a9190810190614f37565b505b50505050505050505050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60005a90506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611b009190615451565b60206040518083038186803b158015611b1857600080fd5b505afa158015611b2c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611b509190810190614f37565b90506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611baf9190615451565b60206040518083038186803b158015611bc757600080fd5b505afa158015611bdb573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611bff9190810190614f37565b90506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231611c496145ee565b6040518263ffffffff1660e01b8152600401611c659190615436565b60206040518083038186803b158015611c7d57600080fd5b505afa158015611c91573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611cb59190810190614f37565b905084811115611cc3578490505b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd611d096145ee565b30846040518463ffffffff1660e01b8152600401611d2993929190615518565b602060405180830381600087803b158015611d4357600080fd5b505af1158015611d57573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611d7b9190810190614d06565b611d8457600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e310327387611dea6064611ddc60658b6146bd90919063ffffffff16565b6146ea90919063ffffffff16565b6040518363ffffffff1660e01b8152600401611e079291906155a1565b600060405180830381600087803b158015611e2157600080fd5b505af1158015611e35573d6000803e3d6000fd5b50505050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611e949190615451565b60206040518083038186803b158015611eac57600080fd5b505afa158015611ec0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611ee49190810190614f37565b9050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb611f2c6145ee565b836040518363ffffffff1660e01b8152600401611f4a92919061554f565b602060405180830381600087803b158015611f6457600080fd5b505af1158015611f78573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611f9c9190810190614d06565b611fa557600080fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016120029190615451565b60206040518083038186803b15801561201a57600080fd5b505afa15801561202e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506120529190810190614f37565b90506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016120b19190615451565b60206040518083038186803b1580156120c957600080fd5b505afa1580156120dd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506121019190810190614f37565b9050600061211886846146a390919063ffffffff16565b9050600061212f86846146a390919063ffffffff16565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6121776145ee565b836040518363ffffffff1660e01b815260040161219592919061554f565b602060405180830381600087803b1580156121af57600080fd5b505af11580156121c3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506121e79190810190614d06565b6121f057600080fd5b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b815260040161224b90615847565b60206040518083038186803b15801561226357600080fd5b505afa158015612277573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061229b9190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff166338463cff8e8e866040518463ffffffff1660e01b81526004016122d7939291906156a1565b602060405180830381600087803b1580156122f157600080fd5b505af1158015612305573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506123299190810190614f37565b90507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb8160405161235a9190615867565b60405180910390a150505050505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016123c69190615451565b60206040518083038186803b1580156123de57600080fd5b505afa1580156123f2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506124169190810190614f37565b11156124cc576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a85018161245657fe5b046040518363ffffffff1660e01b81526004016124749291906154b1565b602060405180830381600087803b15801561248e57600080fd5b505af11580156124a2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506124c69190810190614f37565b5061257f565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f6124fe6145ee565b61a3db61374a85018161250d57fe5b046040518363ffffffff1660e01b815260040161252b92919061554f565b602060405180830381600087803b15801561254557600080fd5b505af1158015612559573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061257d9190810190614f37565b505b505050505050565b600060606125948761470a565b905060606125a18761470a565b90506000898b84846040516020016125bc94939291906153ed565b604051602081830303815290604052805190602001209050600181868989604051600081526020016040526040516125f7949392919061565c565b6020604051602081039080840390855afa158015612619573d6000803e3d6000fd5b5050506020604051035173ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff1614935050505098975050505050505050565b60005a90506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016126c49190615451565b60206040518083038186803b1580156126dc57600080fd5b505afa1580156126f0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506127149190810190614f37565b90506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016127739190615451565b60206040518083038186803b15801561278b57600080fd5b505afa15801561279f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506127c39190810190614f37565b9050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd61280b6145ee565b30886040518463ffffffff1660e01b815260040161282b93929190615518565b602060405180830381600087803b15801561284557600080fd5b505af1158015612859573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061287d9190810190614d06565b61288657600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635b36389c86866040518363ffffffff1660e01b81526004016128e3929190615882565b600060405180830381600087803b1580156128fd57600080fd5b505af1158015612911573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016129729190615451565b60206040518083038186803b15801561298a57600080fd5b505afa15801561299e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506129c29190810190614f37565b90506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401612a219190615451565b60206040518083038186803b158015612a3957600080fd5b505afa158015612a4d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612a719190810190614f37565b90506000612a8884836146a390919063ffffffff16565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb612ad06145ee565b836040518363ffffffff1660e01b8152600401612aee92919061554f565b602060405180830381600087803b158015612b0857600080fd5b505af1158015612b1c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612b409190810190614d06565b612b4957600080fd5b6000612b5e86856146a390919063ffffffff16565b90506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b8152600401612bbb90615847565b60206040518083038186803b158015612bd357600080fd5b505afa158015612be7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612c0b9190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff166338463cff8d8d856040518463ffffffff1660e01b8152600401612c47939291906156a1565b602060405180830381600087803b158015612c6157600080fd5b505af1158015612c75573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612c999190810190614f37565b90507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb81604051612cca9190615867565b60405180910390a1505050505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401612d359190615451565b60206040518083038186803b158015612d4d57600080fd5b505afa158015612d61573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612d859190810190614f37565b1115612e3b576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a850181612dc557fe5b046040518363ffffffff1660e01b8152600401612de39291906154b1565b602060405180830381600087803b158015612dfd57600080fd5b505af1158015612e11573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612e359190810190614f37565b50612eee565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f612e6d6145ee565b61a3db61374a850181612e7c57fe5b046040518363ffffffff1660e01b8152600401612e9a92919061554f565b602060405180830381600087803b158015612eb457600080fd5b505af1158015612ec8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612eec9190810190614f37565b505b505050505050565b60005a90506000898888612f086145ee565b604051602001612f1b949392919061546c565b6040516020818303038152906040528051906020012090506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b8152600401612f8e90615847565b60206040518083038186803b158015612fa657600080fd5b505afa158015612fba573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612fde9190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff1663159ab14d838c8989896040518663ffffffff1660e01b815260040161301e95949392919061560e565b602060405180830381600087803b15801561303857600080fd5b505af115801561304c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506130709190810190614f37565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8c836040518363ffffffff1660e01b81526004016130cf9291906154b1565b602060405180830381600087803b1580156130e957600080fd5b505af11580156130fd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506131219190810190614d06565b61312a57600080fd5b7f168094234a7c53f3434b5ac1936fa7bdc59f28ea7f93bda1f79272fdf0537e5a816040516131599190615867565b60405180910390a150506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016131bf9190615451565b60206040518083038186803b1580156131d757600080fd5b505afa1580156131eb573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061320f9190810190614f37565b11156132c5576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a85018161324f57fe5b046040518363ffffffff1660e01b815260040161326d9291906154b1565b602060405180830381600087803b15801561328757600080fd5b505af115801561329b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506132bf9190810190614f37565b50613378565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f6132f76145ee565b61a3db61374a85018161330657fe5b046040518363ffffffff1660e01b815260040161332492919061554f565b602060405180830381600087803b15801561333e57600080fd5b505af1158015613352573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506133769190810190614f37565b505b50505050505050505050565b6d4946c0e9f43f4dee607b0ef1fa1c81565b60606133ed8887876000808d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546133e5610b4b565b898989612587565b61342c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161342390615827565b60405180910390fd5b600060603073ffffffffffffffffffffffffffffffffffffffff16898b60405160200161345a9291906153c5565b60405160208183030381529060405260405161347691906153ae565b6000604051808303816000865af19150503d80600081146134b3576040519150601f19603f3d011682016040523d82523d6000602084013e6134b8565b606091505b5091509150816134fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016134f490615807565b60405180910390fd5b61354f60016000808d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461483d90919063ffffffff16565b6000808c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f5845892132946850460bff5a0083f71031bc5bf9aadcd40f1de79423eac9b10b8a338b6040516135c4939291906154da565b60405180910390a18092505050979650505050505050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60005a905060008988886136146145ee565b604051602001613627949392919061546c565b6040516020818303038152906040528051906020012090506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b815260040161369a90615847565b60206040518083038186803b1580156136b257600080fd5b505afa1580156136c6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506136ea9190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff1663159ab14d838c8989896040518663ffffffff1660e01b815260040161372a95949392919061560e565b602060405180830381600087803b15801561374457600080fd5b505af1158015613758573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061377c9190810190614f37565b9050613786614857565b896002806020026040519081016040528092919082600260200280828437600081840152601f19601f820116905080830192505050505050905081816000600281106137ce57fe5b6020020181815250506000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ed8e84f38c60016040518363ffffffff1660e01b8152600401613837929190615578565b602060405180830381600087803b15801561385157600080fd5b505af1158015613865573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506138899190810190614f37565b9050888110613c7657600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd6138d86145ee565b30856001600281106138e657fe5b60200201516040518463ffffffff1660e01b815260040161390993929190615518565b602060405180830381600087803b15801561392357600080fd5b505af1158015613937573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061395b9190810190614d06565b61396457600080fd5b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016139c19190615451565b60206040518083038186803b1580156139d957600080fd5b505afa1580156139ed573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613a119190810190614f37565b9050600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16630b4c7e4d8460006040518363ffffffff1660e01b8152600401613a719291906155ca565b600060405180830381600087803b158015613a8b57600080fd5b505af1158015613a9f573d6000803e3d6000fd5b505050506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401613b009190615451565b60206040518083038186803b158015613b1857600080fd5b505afa158015613b2c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613b509190810190614f37565b90506000613b6783836146a390919063ffffffff16565b90508b811015613b7657600080fd5b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb613bbc6145ee565b836040518363ffffffff1660e01b8152600401613bda92919061554f565b602060405180830381600087803b158015613bf457600080fd5b505af1158015613c08573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613c2c9190810190614d06565b613c3557600080fd5b7fb63ee4e2dff3cbbb52522328732dbe3e3e783a81f3d0d6165307085749521e358682604051613c669291906158e2565b60405180910390a1505050613d66565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8e856040518363ffffffff1660e01b8152600401613cd39291906154b1565b602060405180830381600087803b158015613ced57600080fd5b505af1158015613d01573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613d259190810190614d06565b613d2e57600080fd5b7f168094234a7c53f3434b5ac1936fa7bdc59f28ea7f93bda1f79272fdf0537e5a83604051613d5d9190615867565b60405180910390a15b505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401613dc69190615451565b60206040518083038186803b158015613dde57600080fd5b505afa158015613df2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613e169190810190614f37565b1115613ecc576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a850181613e5657fe5b046040518363ffffffff1660e01b8152600401613e749291906154b1565b602060405180830381600087803b158015613e8e57600080fd5b505af1158015613ea2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613ec69190810190614f37565b50613f7f565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f613efe6145ee565b61a3db61374a850181613f0d57fe5b046040518363ffffffff1660e01b8152600401613f2b92919061554f565b602060405180830381600087803b158015613f4557600080fd5b505af1158015613f59573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613f7d9190810190614f37565b505b50505050505050505050565b60005a9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd613fd66145ee565b30866040518463ffffffff1660e01b8152600401613ff693929190615518565b602060405180830381600087803b15801561401057600080fd5b505af1158015614024573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506140489190810190614d06565b61405157600080fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016140ae9190615451565b60206040518083038186803b1580156140c657600080fd5b505afa1580156140da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506140fe9190810190614f37565b9050600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633df021246001600087876040518563ffffffff1660e01b815260040161416394939291906157c2565b600060405180830381600087803b15801561417d57600080fd5b505af1158015614191573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016141f29190615451565b60206040518083038186803b15801561420a57600080fd5b505afa15801561421e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506142429190810190614f37565b9050600061425983836146a390919063ffffffff16565b90506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b81526004016142b690615847565b60206040518083038186803b1580156142ce57600080fd5b505afa1580156142e2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506143069190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff166338463cff8a8a856040518463ffffffff1660e01b8152600401614342939291906156a1565b602060405180830381600087803b15801561435c57600080fd5b505af1158015614370573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506143949190810190614f37565b90507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb816040516143c59190615867565b60405180910390a1505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161442d9190615451565b60206040518083038186803b15801561444557600080fd5b505afa158015614459573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061447d9190810190614f37565b1115614533576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a8501816144bd57fe5b046040518363ffffffff1660e01b81526004016144db9291906154b1565b602060405180830381600087803b1580156144f557600080fd5b505af1158015614509573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061452d9190810190614f37565b506145e6565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f6145656145ee565b61a3db61374a85018161457457fe5b046040518363ffffffff1660e01b815260040161459292919061554f565b602060405180830381600087803b1580156145ac57600080fd5b505af11580156145c0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506145e49190810190614f37565b505b505050505050565b60003073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614156146995760606000368080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509050600080369050905073ffffffffffffffffffffffffffffffffffffffff81830151169250505061469d565b3390505b80905090565b6000828211156146b257600080fd5b818303905092915050565b6000818302905060008314806146db5750818382816146d857fe5b04145b6146e457600080fd5b92915050565b60008082116146f857600080fd5b81838161470157fe5b04905092915050565b60606000821415614752576040518060400160405280600181526020017f30000000000000000000000000000000000000000000000000000000000000008152509050614838565b600082905060005b6000821461477c578080600101915050600a828161477457fe5b04915061475a565b6060816040519080825280601f01601f1916602001820160405280156147b15781602001600182028038833980820191505090505b509050600060018303905060008690505b6000811461482f57600a81816147d457fe5b0660300160f81b838380600190039450815181106147ee57fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a818161482757fe5b0490506147c2565b82955050505050505b919050565b600081830190508281101561485157600080fd5b92915050565b6040518060400160405280600290602082028038833980820191505090505090565b60008135905061488881615c3c565b92915050565b60008135905061489d81615c53565b92915050565b6000819050826020600202820111156148bb57600080fd5b92915050565b6000815190506148d081615c6a565b92915050565b6000813590506148e581615c81565b92915050565b60008083601f8401126148fd57600080fd5b8235905067ffffffffffffffff81111561491657600080fd5b60208301915083600182028301111561492e57600080fd5b9250929050565b600082601f83011261494657600080fd5b81356149596149548261597d565b615950565b9150808252602083016020830185838301111561497557600080fd5b614980838284615bb8565b50505092915050565b60008151905061499881615c98565b92915050565b600082601f8301126149af57600080fd5b81356149c26149bd826159a9565b615950565b915080825260208301602083018583830111156149de57600080fd5b6149e9838284615bb8565b50505092915050565b600081359050614a0181615caf565b92915050565b600081519050614a1681615caf565b92915050565b600081359050614a2b81615cc6565b92915050565b600060208284031215614a4357600080fd5b6000614a5184828501614879565b91505092915050565b600060208284031215614a6c57600080fd5b6000614a7a8482850161488e565b91505092915050565b600080600080600080600080610100898b031215614aa057600080fd5b6000614aae8b828c0161488e565b9850506020614abf8b828c016149f2565b9750506040614ad08b828c016148a3565b9650506080614ae18b828c016149f2565b95505060a0614af28b828c016149f2565b94505060c0614b038b828c016148d6565b93505060e089013567ffffffffffffffff811115614b2057600080fd5b614b2c8b828c016148eb565b92509250509295985092959890939650565b600080600080600080600060e0888a031215614b5957600080fd5b6000614b678a828b01614879565b975050602088013567ffffffffffffffff811115614b8457600080fd5b614b908a828b01614935565b965050604088013567ffffffffffffffff811115614bad57600080fd5b614bb98a828b0161499e565b955050606088013567ffffffffffffffff811115614bd657600080fd5b614be28a828b0161499e565b9450506080614bf38a828b016148d6565b93505060a0614c048a828b016148d6565b92505060c0614c158a828b01614a1c565b91505092959891949750929550565b600080600080600080600080610100898b031215614c4157600080fd5b6000614c4f8b828c01614879565b985050602089013567ffffffffffffffff811115614c6c57600080fd5b614c788b828c0161499e565b975050604089013567ffffffffffffffff811115614c9557600080fd5b614ca18b828c0161499e565b9650506060614cb28b828c016149f2565b9550506080614cc38b828c016149f2565b94505060a0614cd48b828c016148d6565b93505060c0614ce58b828c016148d6565b92505060e0614cf68b828c01614a1c565b9150509295985092959890939650565b600060208284031215614d1857600080fd5b6000614d26848285016148c1565b91505092915050565b60008060008060808587031215614d4557600080fd5b600085013567ffffffffffffffff811115614d5f57600080fd5b614d6b878288016148eb565b94509450506020614d7e878288016148a3565b9250506060614d8f878288016149f2565b91505092959194509250565b60008060008060808587031215614db157600080fd5b600085013567ffffffffffffffff811115614dcb57600080fd5b614dd7878288016148eb565b94509450506020614dea878288016149f2565b9250506040614dfb878288016148a3565b91505092959194509250565b60008060008060008060808789031215614e2057600080fd5b600087013567ffffffffffffffff811115614e3a57600080fd5b614e4689828a016148eb565b96509650506020614e5989828a016149f2565b9450506040614e6a89828a016148d6565b935050606087013567ffffffffffffffff811115614e8757600080fd5b614e9389828a016148eb565b92509250509295509295509295565b60008060008060608587031215614eb857600080fd5b600085013567ffffffffffffffff811115614ed257600080fd5b614ede878288016148eb565b94509450506020614ef1878288016149f2565b9250506040614f02878288016149f2565b91505092959194509250565b600060208284031215614f2057600080fd5b6000614f2e84828501614989565b91505092915050565b600060208284031215614f4957600080fd5b6000614f5784828501614a07565b91505092915050565b60008060008060008060008060e0898b031215614f7c57600080fd5b6000614f8a8b828c016149f2565b9850506020614f9b8b828c016149f2565b9750506040614fac8b828c016149f2565b9650506060614fbd8b828c0161488e565b9550506080614fce8b828c016149f2565b94505060a0614fdf8b828c016148d6565b93505060c089013567ffffffffffffffff811115614ffc57600080fd5b6150088b828c016148eb565b92509250509295985092959890939650565b60006150268383615368565b60208301905092915050565b61503b81615ae0565b82525050565b61504a81615a62565b82525050565b61505981615a50565b82525050565b61507061506b82615a50565b615bfa565b82525050565b61508260408383615bb8565b5050565b61508f816159df565b6150998184615a0d565b92506150a4826159d5565b8060005b838110156150d55781516150bc878261501a565b96506150c783615a00565b9250506001810190506150a8565b505050505050565b6150e681615a74565b82525050565b6150f581615a80565b82525050565b60006151078385615a18565b9350615114838584615bb8565b61511d83615c1e565b840190509392505050565b60006151348385615a29565b9350615141838584615bb8565b82840190509392505050565b6000615158826159ea565b6151628185615a18565b9350615172818560208601615bc7565b61517b81615c1e565b840191505092915050565b6000615191826159ea565b61519b8185615a29565b93506151ab818560208601615bc7565b80840191505092915050565b6151c081615af2565b82525050565b6151cf81615b16565b82525050565b6151de81615b3a565b82525050565b6151ed81615b5e565b82525050565b6151fc81615b70565b82525050565b61520b81615b82565b82525050565b600061521c826159f5565b6152268185615a45565b9350615236818560208601615bc7565b80840191505092915050565b600061524f601d83615a34565b91507f46756e6374696f6e2063616c6c206e6f74207375636365737366756c6c0000006000830152602082019050919050565b600061528f601a83615a45565b91507f19457468657265756d205369676e6564204d6573736167653a0a0000000000006000830152601a82019050919050565b60006152cf602183615a34565b91507f5369676e657220616e64207369676e617475726520646f206e6f74206d61746360008301527f68000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000615335600383615a34565b91507f42544300000000000000000000000000000000000000000000000000000000006000830152602082019050919050565b61537181615ac9565b82525050565b61538081615ac9565b82525050565b61538f81615ad3565b82525050565b60006153a2828486615128565b91508190509392505050565b60006153ba8284615186565b915081905092915050565b60006153d18285615186565b91506153dd828461505f565b6014820191508190509392505050565b60006153f882615282565b91506154048287615211565b91506154108286615211565b915061541c8285615211565b91506154288284615211565b915081905095945050505050565b600060208201905061544b6000830184615050565b92915050565b60006020820190506154666000830184615032565b92915050565b600060a0820190506154816000830187615041565b61548e6020830186615076565b61549b6060830185615377565b6154a86080830184615050565b95945050505050565b60006040820190506154c66000830185615032565b6154d36020830184615377565b9392505050565b60006060820190506154ef6000830186615050565b6154fc6020830185615041565b818103604083015261550e818461514d565b9050949350505050565b600060608201905061552d6000830186615050565b61553a6020830185615032565b6155476040830184615377565b949350505050565b60006040820190506155646000830185615050565b6155716020830184615377565b9392505050565b600060608201905061558d6000830185615076565b61559a60408301846150dd565b9392505050565b60006060820190506155b66000830185615076565b6155c36040830184615377565b9392505050565b60006060820190506155df6000830185615086565b6155ec60408301846151f3565b9392505050565b600060208201905061560860008301846150dd565b92915050565b600060808201905061562360008301886150ec565b6156306020830187615377565b61563d60408301866150ec565b81810360608301526156508184866150fb565b90509695505050505050565b600060808201905061567160008301876150ec565b61567e6020830186615386565b61568b60408301856150ec565b61569860608301846150ec565b95945050505050565b600060408201905081810360008301526156bc8185876150fb565b90506156cb6020830184615377565b949350505050565b600060208201905081810360008301526156ed818461514d565b905092915050565b600060208201905061570a60008301846151b7565b92915050565b600060208201905061572560008301846151c6565b92915050565b600060208201905061574060008301846151d5565b92915050565b600060608201905061575b60008301866151e4565b6157686020830185615202565b6157756040830184615377565b949350505050565b600060808201905061579260008301876151e4565b61579f6020830186615202565b6157ac6040830185615377565b6157b96060830184615377565b95945050505050565b60006080820190506157d76000830187615202565b6157e460208301866151e4565b6157f16040830185615377565b6157fe6060830184615377565b95945050505050565b6000602082019050818103600083015261582081615242565b9050919050565b60006020820190508181036000830152615840816152c2565b9050919050565b6000602082019050818103600083015261586081615328565b9050919050565b600060208201905061587c6000830184615377565b92915050565b60006060820190506158976000830185615377565b6158a46020830184615076565b9392505050565b60006060820190506158c06000830186615377565b6158cd60208301856151e4565b6158da6040830184615377565b949350505050565b60006040820190506158f76000830185615377565b6159046020830184615377565b9392505050565b60006080820190506159206000830187615377565b61592d6020830186615377565b61593a6040830185615041565b6159476060830184615050565b95945050505050565b6000604051905081810181811067ffffffffffffffff8211171561597357600080fd5b8060405250919050565b600067ffffffffffffffff82111561599457600080fd5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff8211156159c057600080fd5b601f19601f8301169050602081019050919050565b6000819050919050565b600060029050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600081905092915050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b600081905092915050565b6000615a5b82615aa9565b9050919050565b6000615a6d82615aa9565b9050919050565b60008115159050919050565b6000819050919050565b6000615a9582615a50565b9050919050565b600081600f0b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b6000615aeb82615b94565b9050919050565b6000615afd82615b04565b9050919050565b6000615b0f82615aa9565b9050919050565b6000615b2182615b28565b9050919050565b6000615b3382615aa9565b9050919050565b6000615b4582615b4c565b9050919050565b6000615b5782615aa9565b9050919050565b6000615b6982615a9c565b9050919050565b6000615b7b82615ac9565b9050919050565b6000615b8d82615a9c565b9050919050565b6000615b9f82615ba6565b9050919050565b6000615bb182615aa9565b9050919050565b82818337600083830152505050565b60005b83811015615be5578082015181840152602081019050615bca565b83811115615bf4576000848401525b50505050565b6000615c0582615c0c565b9050919050565b6000615c1782615c2f565b9050919050565b6000601f19601f8301169050919050565b60008160601b9050919050565b615c4581615a50565b8114615c5057600080fd5b50565b615c5c81615a62565b8114615c6757600080fd5b50565b615c7381615a74565b8114615c7e57600080fd5b50565b615c8a81615a80565b8114615c9557600080fd5b50565b615ca181615a8a565b8114615cac57600080fd5b50565b615cb881615ac9565b8114615cc357600080fd5b50565b615ccf81615ad3565b8114615cda57600080fd5b5056fea26469706673582212207921e2cd127e659663abf96d01071d8562ff2d3a9c7d1d995a9e639e52ffea7864736f6c6343000600003300000000000000000000000093054188d876f558f4a66b2ef1d97d16edf0895b000000000000000000000000e80d347df1209a76dd9d2319d62912ba98c54ddd0000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c599

0x6080604052600436106100f75760003560e01c8063a461e5fa1161008a578063d039fca111610059578063d039fca11461031a578063d2f7265a1461034a578063dcf0bb3a14610375578063e4b872271461039e576100fe565b8063a461e5fa14610260578063b60c82ab1461029d578063c55b1982146102c6578063c92aecc4146102ef576100fe565b806366aaac19116100c657806366aaac19146101ba57806374955c42146101e35780637b1039991461020c5780638952de4414610237576100fe565b80630bfe8b92146101005780632d0335ab146101295780632e49a2db14610166578063564b81ef1461018f576100fe565b366100fe57005b005b34801561010c57600080fd5b5061012760048036036101229190810190614e07565b6103c7565b005b34801561013557600080fd5b50610150600480360361014b9190810190614a31565b610675565b60405161015d9190615867565b60405180910390f35b34801561017257600080fd5b5061018d60048036036101889190810190614f60565b6106bd565b005b34801561019b57600080fd5b506101a4610b4b565b6040516101b19190615867565b60405180910390f35b3480156101c657600080fd5b506101e160048036036101dc9190810190614ea2565b610b58565b005b3480156101ef57600080fd5b5061020a60048036036102059190810190614f60565b6111b8565b005b34801561021857600080fd5b50610221611a78565b60405161022e919061572b565b60405180910390f35b34801561024357600080fd5b5061025e60048036036102599190810190614d2f565b611a9e565b005b34801561026c57600080fd5b5061028760048036036102829190810190614c24565b612587565b60405161029491906155f3565b60405180910390f35b3480156102a957600080fd5b506102c460048036036102bf9190810190614d9b565b612662565b005b3480156102d257600080fd5b506102ed60048036036102e89190810190614a83565b612ef6565b005b3480156102fb57600080fd5b50610304613384565b6040516103119190615710565b60405180910390f35b610334600480360361032f9190810190614b3e565b613396565b60405161034191906156d3565b60405180910390f35b34801561035657600080fd5b5061035f6135dc565b60405161036c91906156f5565b60405180910390f35b34801561038157600080fd5b5061039c60048036036103979190810190614a83565b613602565b005b3480156103aa57600080fd5b506103c560048036036103c09190810190614ea2565b613f8b565b005b6000602087879050039050600087878381808211156103e557600080fd5b828111156103f257600080fd5b60018202840193508181039250505061040e9190810190614a5a565b90506104186145ee565b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461044f57600080fd5b60008888604051610461929190615395565b604051809103902090506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b81526004016104c690615847565b60206040518083038186803b1580156104de57600080fd5b505afa1580156104f2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506105169190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff1663159ab14d838a8a8a8a6040518663ffffffff1660e01b815260040161055695949392919061560e565b602060405180830381600087803b15801561057057600080fd5b505af1158015610584573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506105a89190810190614f37565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6105f06145ee565b836040518363ffffffff1660e01b815260040161060e92919061554f565b602060405180830381600087803b15801561062857600080fd5b505af115801561063c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506106609190810190614d06565b61066957600080fd5b50505050505050505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60005a905060008988886106cf6145ee565b6040516020016106e2949392919061590b565b6040516020818303038152906040528051906020012090506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b815260040161075590615847565b60206040518083038186803b15801561076d57600080fd5b505afa158015610781573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506107a59190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff1663159ab14d83898989896040518663ffffffff1660e01b81526004016107e595949392919061560e565b602060405180830381600087803b1580156107ff57600080fd5b505af1158015610813573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506108379190810190614f37565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb89836040518363ffffffff1660e01b81526004016108969291906154b1565b602060405180830381600087803b1580156108b057600080fd5b505af11580156108c4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506108e89190810190614d06565b6108f157600080fd5b7f168094234a7c53f3434b5ac1936fa7bdc59f28ea7f93bda1f79272fdf0537e5a816040516109209190615867565b60405180910390a150506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016109869190615451565b60206040518083038186803b15801561099e57600080fd5b505afa1580156109b2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506109d69190810190614f37565b1115610a8c576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a850181610a1657fe5b046040518363ffffffff1660e01b8152600401610a349291906154b1565b602060405180830381600087803b158015610a4e57600080fd5b505af1158015610a62573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610a869190810190614f37565b50610b3f565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f610abe6145ee565b61a3db61374a850181610acd57fe5b046040518363ffffffff1660e01b8152600401610aeb92919061554f565b602060405180830381600087803b158015610b0557600080fd5b505af1158015610b19573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610b3d9190810190614f37565b505b50505050505050505050565b6000804690508091505090565b60005a90506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610bba9190615451565b60206040518083038186803b158015610bd257600080fd5b505afa158015610be6573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610c0a9190810190614f37565b9050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd610c526145ee565b30876040518463ffffffff1660e01b8152600401610c7293929190615518565b602060405180830381600087803b158015610c8c57600080fd5b505af1158015610ca0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610cc49190810190614d06565b610ccd57600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16631a4d01d2856000866040518463ffffffff1660e01b8152600401610d2d939291906158ab565b600060405180830381600087803b158015610d4757600080fd5b505af1158015610d5b573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610dbc9190615451565b60206040518083038186803b158015610dd457600080fd5b505afa158015610de8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610e0c9190810190614f37565b90506000610e2383836146a390919063ffffffff16565b90506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b8152600401610e8090615847565b60206040518083038186803b158015610e9857600080fd5b505afa158015610eac573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610ed09190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff166338463cff8a8a856040518463ffffffff1660e01b8152600401610f0c939291906156a1565b602060405180830381600087803b158015610f2657600080fd5b505af1158015610f3a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610f5e9190810190614f37565b90507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb81604051610f8f9190615867565b60405180910390a1505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610ff79190615451565b60206040518083038186803b15801561100f57600080fd5b505afa158015611023573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506110479190810190614f37565b11156110fd576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a85018161108757fe5b046040518363ffffffff1660e01b81526004016110a59291906154b1565b602060405180830381600087803b1580156110bf57600080fd5b505af11580156110d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506110f79190810190614f37565b506111b0565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f61112f6145ee565b61a3db61374a85018161113e57fe5b046040518363ffffffff1660e01b815260040161115c92919061554f565b602060405180830381600087803b15801561117657600080fd5b505af115801561118a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506111ae9190810190614f37565b505b505050505050565b60005a905060008988886111ca6145ee565b6040516020016111dd949392919061590b565b6040516020818303038152906040528051906020012090506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b815260040161125090615847565b60206040518083038186803b15801561126857600080fd5b505afa15801561127c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506112a09190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff1663159ab14d83898989896040518663ffffffff1660e01b81526004016112e095949392919061560e565b602060405180830381600087803b1580156112fa57600080fd5b505af115801561130e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506113329190810190614f37565b90506000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635e0d443f60006001856040518463ffffffff1660e01b815260040161139793929190615746565b60206040518083038186803b1580156113af57600080fd5b505afa1580156113c3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506113e79190810190614f37565b90506000611414836114066305f5e100856146bd90919063ffffffff16565b6146ea90919063ffffffff16565b905061142b8b6127106146a390919063ffffffff16565b9a5060006114566127106114488e866146bd90919063ffffffff16565b6146ea90919063ffffffff16565b90508c8210611762576000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016114bc9190615451565b60206040518083038186803b1580156114d457600080fd5b505afa1580156114e8573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061150c9190810190614f37565b9050600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633df021246000600188866040518563ffffffff1660e01b8152600401611571949392919061577d565b600060405180830381600087803b15801561158b57600080fd5b505af115801561159f573d6000803e3d6000fd5b505050506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016116009190615451565b60206040518083038186803b15801561161857600080fd5b505afa15801561162c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506116509190810190614f37565b9050600061166783836146a390919063ffffffff16565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8f836040518363ffffffff1660e01b81526004016116c69291906154b1565b602060405180830381600087803b1580156116e057600080fd5b505af11580156116f4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506117189190810190614d06565b61172157600080fd5b7f78baa3c379996e8bf637df112ad9332494c096f5062038af79dbeea35150002887826040516117529291906158e2565b60405180910390a1505050611852565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8c866040518363ffffffff1660e01b81526004016117bf9291906154b1565b602060405180830381600087803b1580156117d957600080fd5b505af11580156117ed573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506118119190810190614d06565b61181a57600080fd5b7f168094234a7c53f3434b5ac1936fa7bdc59f28ea7f93bda1f79272fdf0537e5a846040516118499190615867565b60405180910390a15b50505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016118b39190615451565b60206040518083038186803b1580156118cb57600080fd5b505afa1580156118df573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506119039190810190614f37565b11156119b9576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a85018161194357fe5b046040518363ffffffff1660e01b81526004016119619291906154b1565b602060405180830381600087803b15801561197b57600080fd5b505af115801561198f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506119b39190810190614f37565b50611a6c565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f6119eb6145ee565b61a3db61374a8501816119fa57fe5b046040518363ffffffff1660e01b8152600401611a1892919061554f565b602060405180830381600087803b158015611a3257600080fd5b505af1158015611a46573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611a6a9190810190614f37565b505b50505050505050505050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60005a90506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611b009190615451565b60206040518083038186803b158015611b1857600080fd5b505afa158015611b2c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611b509190810190614f37565b90506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611baf9190615451565b60206040518083038186803b158015611bc757600080fd5b505afa158015611bdb573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611bff9190810190614f37565b90506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231611c496145ee565b6040518263ffffffff1660e01b8152600401611c659190615436565b60206040518083038186803b158015611c7d57600080fd5b505afa158015611c91573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611cb59190810190614f37565b905084811115611cc3578490505b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd611d096145ee565b30846040518463ffffffff1660e01b8152600401611d2993929190615518565b602060405180830381600087803b158015611d4357600080fd5b505af1158015611d57573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611d7b9190810190614d06565b611d8457600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e310327387611dea6064611ddc60658b6146bd90919063ffffffff16565b6146ea90919063ffffffff16565b6040518363ffffffff1660e01b8152600401611e079291906155a1565b600060405180830381600087803b158015611e2157600080fd5b505af1158015611e35573d6000803e3d6000fd5b50505050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401611e949190615451565b60206040518083038186803b158015611eac57600080fd5b505afa158015611ec0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611ee49190810190614f37565b9050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb611f2c6145ee565b836040518363ffffffff1660e01b8152600401611f4a92919061554f565b602060405180830381600087803b158015611f6457600080fd5b505af1158015611f78573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250611f9c9190810190614d06565b611fa557600080fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016120029190615451565b60206040518083038186803b15801561201a57600080fd5b505afa15801561202e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506120529190810190614f37565b90506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016120b19190615451565b60206040518083038186803b1580156120c957600080fd5b505afa1580156120dd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506121019190810190614f37565b9050600061211886846146a390919063ffffffff16565b9050600061212f86846146a390919063ffffffff16565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6121776145ee565b836040518363ffffffff1660e01b815260040161219592919061554f565b602060405180830381600087803b1580156121af57600080fd5b505af11580156121c3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506121e79190810190614d06565b6121f057600080fd5b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b815260040161224b90615847565b60206040518083038186803b15801561226357600080fd5b505afa158015612277573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061229b9190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff166338463cff8e8e866040518463ffffffff1660e01b81526004016122d7939291906156a1565b602060405180830381600087803b1580156122f157600080fd5b505af1158015612305573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506123299190810190614f37565b90507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb8160405161235a9190615867565b60405180910390a150505050505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016123c69190615451565b60206040518083038186803b1580156123de57600080fd5b505afa1580156123f2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506124169190810190614f37565b11156124cc576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a85018161245657fe5b046040518363ffffffff1660e01b81526004016124749291906154b1565b602060405180830381600087803b15801561248e57600080fd5b505af11580156124a2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506124c69190810190614f37565b5061257f565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f6124fe6145ee565b61a3db61374a85018161250d57fe5b046040518363ffffffff1660e01b815260040161252b92919061554f565b602060405180830381600087803b15801561254557600080fd5b505af1158015612559573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061257d9190810190614f37565b505b505050505050565b600060606125948761470a565b905060606125a18761470a565b90506000898b84846040516020016125bc94939291906153ed565b604051602081830303815290604052805190602001209050600181868989604051600081526020016040526040516125f7949392919061565c565b6020604051602081039080840390855afa158015612619573d6000803e3d6000fd5b5050506020604051035173ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff1614935050505098975050505050505050565b60005a90506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016126c49190615451565b60206040518083038186803b1580156126dc57600080fd5b505afa1580156126f0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506127149190810190614f37565b90506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016127739190615451565b60206040518083038186803b15801561278b57600080fd5b505afa15801561279f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506127c39190810190614f37565b9050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd61280b6145ee565b30886040518463ffffffff1660e01b815260040161282b93929190615518565b602060405180830381600087803b15801561284557600080fd5b505af1158015612859573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061287d9190810190614d06565b61288657600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16635b36389c86866040518363ffffffff1660e01b81526004016128e3929190615882565b600060405180830381600087803b1580156128fd57600080fd5b505af1158015612911573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016129729190615451565b60206040518083038186803b15801561298a57600080fd5b505afa15801561299e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506129c29190810190614f37565b90506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401612a219190615451565b60206040518083038186803b158015612a3957600080fd5b505afa158015612a4d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612a719190810190614f37565b90506000612a8884836146a390919063ffffffff16565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb612ad06145ee565b836040518363ffffffff1660e01b8152600401612aee92919061554f565b602060405180830381600087803b158015612b0857600080fd5b505af1158015612b1c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612b409190810190614d06565b612b4957600080fd5b6000612b5e86856146a390919063ffffffff16565b90506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b8152600401612bbb90615847565b60206040518083038186803b158015612bd357600080fd5b505afa158015612be7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612c0b9190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff166338463cff8d8d856040518463ffffffff1660e01b8152600401612c47939291906156a1565b602060405180830381600087803b158015612c6157600080fd5b505af1158015612c75573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612c999190810190614f37565b90507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb81604051612cca9190615867565b60405180910390a1505050505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401612d359190615451565b60206040518083038186803b158015612d4d57600080fd5b505afa158015612d61573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612d859190810190614f37565b1115612e3b576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a850181612dc557fe5b046040518363ffffffff1660e01b8152600401612de39291906154b1565b602060405180830381600087803b158015612dfd57600080fd5b505af1158015612e11573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612e359190810190614f37565b50612eee565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f612e6d6145ee565b61a3db61374a850181612e7c57fe5b046040518363ffffffff1660e01b8152600401612e9a92919061554f565b602060405180830381600087803b158015612eb457600080fd5b505af1158015612ec8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612eec9190810190614f37565b505b505050505050565b60005a90506000898888612f086145ee565b604051602001612f1b949392919061546c565b6040516020818303038152906040528051906020012090506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b8152600401612f8e90615847565b60206040518083038186803b158015612fa657600080fd5b505afa158015612fba573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250612fde9190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff1663159ab14d838c8989896040518663ffffffff1660e01b815260040161301e95949392919061560e565b602060405180830381600087803b15801561303857600080fd5b505af115801561304c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506130709190810190614f37565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8c836040518363ffffffff1660e01b81526004016130cf9291906154b1565b602060405180830381600087803b1580156130e957600080fd5b505af11580156130fd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506131219190810190614d06565b61312a57600080fd5b7f168094234a7c53f3434b5ac1936fa7bdc59f28ea7f93bda1f79272fdf0537e5a816040516131599190615867565b60405180910390a150506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016131bf9190615451565b60206040518083038186803b1580156131d757600080fd5b505afa1580156131eb573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061320f9190810190614f37565b11156132c5576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a85018161324f57fe5b046040518363ffffffff1660e01b815260040161326d9291906154b1565b602060405180830381600087803b15801561328757600080fd5b505af115801561329b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506132bf9190810190614f37565b50613378565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f6132f76145ee565b61a3db61374a85018161330657fe5b046040518363ffffffff1660e01b815260040161332492919061554f565b602060405180830381600087803b15801561333e57600080fd5b505af1158015613352573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506133769190810190614f37565b505b50505050505050505050565b6d4946c0e9f43f4dee607b0ef1fa1c81565b60606133ed8887876000808d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546133e5610b4b565b898989612587565b61342c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161342390615827565b60405180910390fd5b600060603073ffffffffffffffffffffffffffffffffffffffff16898b60405160200161345a9291906153c5565b60405160208183030381529060405260405161347691906153ae565b6000604051808303816000865af19150503d80600081146134b3576040519150601f19603f3d011682016040523d82523d6000602084013e6134b8565b606091505b5091509150816134fd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016134f490615807565b60405180910390fd5b61354f60016000808d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461483d90919063ffffffff16565b6000808c73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f5845892132946850460bff5a0083f71031bc5bf9aadcd40f1de79423eac9b10b8a338b6040516135c4939291906154da565b60405180910390a18092505050979650505050505050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60005a905060008988886136146145ee565b604051602001613627949392919061546c565b6040516020818303038152906040528051906020012090506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b815260040161369a90615847565b60206040518083038186803b1580156136b257600080fd5b505afa1580156136c6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506136ea9190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff1663159ab14d838c8989896040518663ffffffff1660e01b815260040161372a95949392919061560e565b602060405180830381600087803b15801561374457600080fd5b505af1158015613758573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061377c9190810190614f37565b9050613786614857565b896002806020026040519081016040528092919082600260200280828437600081840152601f19601f820116905080830192505050505050905081816000600281106137ce57fe5b6020020181815250506000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ed8e84f38c60016040518363ffffffff1660e01b8152600401613837929190615578565b602060405180830381600087803b15801561385157600080fd5b505af1158015613865573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506138899190810190614f37565b9050888110613c7657600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd6138d86145ee565b30856001600281106138e657fe5b60200201516040518463ffffffff1660e01b815260040161390993929190615518565b602060405180830381600087803b15801561392357600080fd5b505af1158015613937573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061395b9190810190614d06565b61396457600080fd5b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016139c19190615451565b60206040518083038186803b1580156139d957600080fd5b505afa1580156139ed573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613a119190810190614f37565b9050600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16630b4c7e4d8460006040518363ffffffff1660e01b8152600401613a719291906155ca565b600060405180830381600087803b158015613a8b57600080fd5b505af1158015613a9f573d6000803e3d6000fd5b505050506000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401613b009190615451565b60206040518083038186803b158015613b1857600080fd5b505afa158015613b2c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613b509190810190614f37565b90506000613b6783836146a390919063ffffffff16565b90508b811015613b7657600080fd5b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb613bbc6145ee565b836040518363ffffffff1660e01b8152600401613bda92919061554f565b602060405180830381600087803b158015613bf457600080fd5b505af1158015613c08573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613c2c9190810190614d06565b613c3557600080fd5b7fb63ee4e2dff3cbbb52522328732dbe3e3e783a81f3d0d6165307085749521e358682604051613c669291906158e2565b60405180910390a1505050613d66565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8e856040518363ffffffff1660e01b8152600401613cd39291906154b1565b602060405180830381600087803b158015613ced57600080fd5b505af1158015613d01573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613d259190810190614d06565b613d2e57600080fd5b7f168094234a7c53f3434b5ac1936fa7bdc59f28ea7f93bda1f79272fdf0537e5a83604051613d5d9190615867565b60405180910390a15b505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401613dc69190615451565b60206040518083038186803b158015613dde57600080fd5b505afa158015613df2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613e169190810190614f37565b1115613ecc576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a850181613e5657fe5b046040518363ffffffff1660e01b8152600401613e749291906154b1565b602060405180830381600087803b158015613e8e57600080fd5b505af1158015613ea2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613ec69190810190614f37565b50613f7f565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f613efe6145ee565b61a3db61374a850181613f0d57fe5b046040518363ffffffff1660e01b8152600401613f2b92919061554f565b602060405180830381600087803b158015613f4557600080fd5b505af1158015613f59573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250613f7d9190810190614f37565b505b50505050505050505050565b60005a9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd613fd66145ee565b30866040518463ffffffff1660e01b8152600401613ff693929190615518565b602060405180830381600087803b15801561401057600080fd5b505af1158015614024573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506140489190810190614d06565b61405157600080fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016140ae9190615451565b60206040518083038186803b1580156140c657600080fd5b505afa1580156140da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506140fe9190810190614f37565b9050600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16633df021246001600087876040518563ffffffff1660e01b815260040161416394939291906157c2565b600060405180830381600087803b15801561417d57600080fd5b505af1158015614191573d6000803e3d6000fd5b505050506000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016141f29190615451565b60206040518083038186803b15801561420a57600080fd5b505afa15801561421e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506142429190810190614f37565b9050600061425983836146a390919063ffffffff16565b90506000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166364936b1e6040518163ffffffff1660e01b81526004016142b690615847565b60206040518083038186803b1580156142ce57600080fd5b505afa1580156142e2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506143069190810190614f0e565b73ffffffffffffffffffffffffffffffffffffffff166338463cff8a8a856040518463ffffffff1660e01b8152600401614342939291906156a1565b602060405180830381600087803b15801561435c57600080fd5b505af1158015614370573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506143949190810190614f37565b90507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb816040516143c59190615867565b60405180910390a1505050506000803690506010025a83615208010301905060006d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161442d9190615451565b60206040518083038186803b15801561444557600080fd5b505afa158015614459573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061447d9190810190614f37565b1115614533576d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f3061a3db61374a8501816144bd57fe5b046040518363ffffffff1660e01b81526004016144db9291906154b1565b602060405180830381600087803b1580156144f557600080fd5b505af1158015614509573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061452d9190810190614f37565b506145e6565b6d4946c0e9f43f4dee607b0ef1fa1c73ffffffffffffffffffffffffffffffffffffffff1663079d229f6145656145ee565b61a3db61374a85018161457457fe5b046040518363ffffffff1660e01b815260040161459292919061554f565b602060405180830381600087803b1580156145ac57600080fd5b505af11580156145c0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506145e49190810190614f37565b505b505050505050565b60003073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614156146995760606000368080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509050600080369050905073ffffffffffffffffffffffffffffffffffffffff81830151169250505061469d565b3390505b80905090565b6000828211156146b257600080fd5b818303905092915050565b6000818302905060008314806146db5750818382816146d857fe5b04145b6146e457600080fd5b92915050565b60008082116146f857600080fd5b81838161470157fe5b04905092915050565b60606000821415614752576040518060400160405280600181526020017f30000000000000000000000000000000000000000000000000000000000000008152509050614838565b600082905060005b6000821461477c578080600101915050600a828161477457fe5b04915061475a565b6060816040519080825280601f01601f1916602001820160405280156147b15781602001600182028038833980820191505090505b509050600060018303905060008690505b6000811461482f57600a81816147d457fe5b0660300160f81b838380600190039450815181106147ee57fe5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a905350600a818161482757fe5b0490506147c2565b82955050505050505b919050565b600081830190508281101561485157600080fd5b92915050565b6040518060400160405280600290602082028038833980820191505090505090565b60008135905061488881615c3c565b92915050565b60008135905061489d81615c53565b92915050565b6000819050826020600202820111156148bb57600080fd5b92915050565b6000815190506148d081615c6a565b92915050565b6000813590506148e581615c81565b92915050565b60008083601f8401126148fd57600080fd5b8235905067ffffffffffffffff81111561491657600080fd5b60208301915083600182028301111561492e57600080fd5b9250929050565b600082601f83011261494657600080fd5b81356149596149548261597d565b615950565b9150808252602083016020830185838301111561497557600080fd5b614980838284615bb8565b50505092915050565b60008151905061499881615c98565b92915050565b600082601f8301126149af57600080fd5b81356149c26149bd826159a9565b615950565b915080825260208301602083018583830111156149de57600080fd5b6149e9838284615bb8565b50505092915050565b600081359050614a0181615caf565b92915050565b600081519050614a1681615caf565b92915050565b600081359050614a2b81615cc6565b92915050565b600060208284031215614a4357600080fd5b6000614a5184828501614879565b91505092915050565b600060208284031215614a6c57600080fd5b6000614a7a8482850161488e565b91505092915050565b600080600080600080600080610100898b031215614aa057600080fd5b6000614aae8b828c0161488e565b9850506020614abf8b828c016149f2565b9750506040614ad08b828c016148a3565b9650506080614ae18b828c016149f2565b95505060a0614af28b828c016149f2565b94505060c0614b038b828c016148d6565b93505060e089013567ffffffffffffffff811115614b2057600080fd5b614b2c8b828c016148eb565b92509250509295985092959890939650565b600080600080600080600060e0888a031215614b5957600080fd5b6000614b678a828b01614879565b975050602088013567ffffffffffffffff811115614b8457600080fd5b614b908a828b01614935565b965050604088013567ffffffffffffffff811115614bad57600080fd5b614bb98a828b0161499e565b955050606088013567ffffffffffffffff811115614bd657600080fd5b614be28a828b0161499e565b9450506080614bf38a828b016148d6565b93505060a0614c048a828b016148d6565b92505060c0614c158a828b01614a1c565b91505092959891949750929550565b600080600080600080600080610100898b031215614c4157600080fd5b6000614c4f8b828c01614879565b985050602089013567ffffffffffffffff811115614c6c57600080fd5b614c788b828c0161499e565b975050604089013567ffffffffffffffff811115614c9557600080fd5b614ca18b828c0161499e565b9650506060614cb28b828c016149f2565b9550506080614cc38b828c016149f2565b94505060a0614cd48b828c016148d6565b93505060c0614ce58b828c016148d6565b92505060e0614cf68b828c01614a1c565b9150509295985092959890939650565b600060208284031215614d1857600080fd5b6000614d26848285016148c1565b91505092915050565b60008060008060808587031215614d4557600080fd5b600085013567ffffffffffffffff811115614d5f57600080fd5b614d6b878288016148eb565b94509450506020614d7e878288016148a3565b9250506060614d8f878288016149f2565b91505092959194509250565b60008060008060808587031215614db157600080fd5b600085013567ffffffffffffffff811115614dcb57600080fd5b614dd7878288016148eb565b94509450506020614dea878288016149f2565b9250506040614dfb878288016148a3565b91505092959194509250565b60008060008060008060808789031215614e2057600080fd5b600087013567ffffffffffffffff811115614e3a57600080fd5b614e4689828a016148eb565b96509650506020614e5989828a016149f2565b9450506040614e6a89828a016148d6565b935050606087013567ffffffffffffffff811115614e8757600080fd5b614e9389828a016148eb565b92509250509295509295509295565b60008060008060608587031215614eb857600080fd5b600085013567ffffffffffffffff811115614ed257600080fd5b614ede878288016148eb565b94509450506020614ef1878288016149f2565b9250506040614f02878288016149f2565b91505092959194509250565b600060208284031215614f2057600080fd5b6000614f2e84828501614989565b91505092915050565b600060208284031215614f4957600080fd5b6000614f5784828501614a07565b91505092915050565b60008060008060008060008060e0898b031215614f7c57600080fd5b6000614f8a8b828c016149f2565b9850506020614f9b8b828c016149f2565b9750506040614fac8b828c016149f2565b9650506060614fbd8b828c0161488e565b9550506080614fce8b828c016149f2565b94505060a0614fdf8b828c016148d6565b93505060c089013567ffffffffffffffff811115614ffc57600080fd5b6150088b828c016148eb565b92509250509295985092959890939650565b60006150268383615368565b60208301905092915050565b61503b81615ae0565b82525050565b61504a81615a62565b82525050565b61505981615a50565b82525050565b61507061506b82615a50565b615bfa565b82525050565b61508260408383615bb8565b5050565b61508f816159df565b6150998184615a0d565b92506150a4826159d5565b8060005b838110156150d55781516150bc878261501a565b96506150c783615a00565b9250506001810190506150a8565b505050505050565b6150e681615a74565b82525050565b6150f581615a80565b82525050565b60006151078385615a18565b9350615114838584615bb8565b61511d83615c1e565b840190509392505050565b60006151348385615a29565b9350615141838584615bb8565b82840190509392505050565b6000615158826159ea565b6151628185615a18565b9350615172818560208601615bc7565b61517b81615c1e565b840191505092915050565b6000615191826159ea565b61519b8185615a29565b93506151ab818560208601615bc7565b80840191505092915050565b6151c081615af2565b82525050565b6151cf81615b16565b82525050565b6151de81615b3a565b82525050565b6151ed81615b5e565b82525050565b6151fc81615b70565b82525050565b61520b81615b82565b82525050565b600061521c826159f5565b6152268185615a45565b9350615236818560208601615bc7565b80840191505092915050565b600061524f601d83615a34565b91507f46756e6374696f6e2063616c6c206e6f74207375636365737366756c6c0000006000830152602082019050919050565b600061528f601a83615a45565b91507f19457468657265756d205369676e6564204d6573736167653a0a0000000000006000830152601a82019050919050565b60006152cf602183615a34565b91507f5369676e657220616e64207369676e617475726520646f206e6f74206d61746360008301527f68000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000615335600383615a34565b91507f42544300000000000000000000000000000000000000000000000000000000006000830152602082019050919050565b61537181615ac9565b82525050565b61538081615ac9565b82525050565b61538f81615ad3565b82525050565b60006153a2828486615128565b91508190509392505050565b60006153ba8284615186565b915081905092915050565b60006153d18285615186565b91506153dd828461505f565b6014820191508190509392505050565b60006153f882615282565b91506154048287615211565b91506154108286615211565b915061541c8285615211565b91506154288284615211565b915081905095945050505050565b600060208201905061544b6000830184615050565b92915050565b60006020820190506154666000830184615032565b92915050565b600060a0820190506154816000830187615041565b61548e6020830186615076565b61549b6060830185615377565b6154a86080830184615050565b95945050505050565b60006040820190506154c66000830185615032565b6154d36020830184615377565b9392505050565b60006060820190506154ef6000830186615050565b6154fc6020830185615041565b818103604083015261550e818461514d565b9050949350505050565b600060608201905061552d6000830186615050565b61553a6020830185615032565b6155476040830184615377565b949350505050565b60006040820190506155646000830185615050565b6155716020830184615377565b9392505050565b600060608201905061558d6000830185615076565b61559a60408301846150dd565b9392505050565b60006060820190506155b66000830185615076565b6155c36040830184615377565b9392505050565b60006060820190506155df6000830185615086565b6155ec60408301846151f3565b9392505050565b600060208201905061560860008301846150dd565b92915050565b600060808201905061562360008301886150ec565b6156306020830187615377565b61563d60408301866150ec565b81810360608301526156508184866150fb565b90509695505050505050565b600060808201905061567160008301876150ec565b61567e6020830186615386565b61568b60408301856150ec565b61569860608301846150ec565b95945050505050565b600060408201905081810360008301526156bc8185876150fb565b90506156cb6020830184615377565b949350505050565b600060208201905081810360008301526156ed818461514d565b905092915050565b600060208201905061570a60008301846151b7565b92915050565b600060208201905061572560008301846151c6565b92915050565b600060208201905061574060008301846151d5565b92915050565b600060608201905061575b60008301866151e4565b6157686020830185615202565b6157756040830184615377565b949350505050565b600060808201905061579260008301876151e4565b61579f6020830186615202565b6157ac6040830185615377565b6157b96060830184615377565b95945050505050565b60006080820190506157d76000830187615202565b6157e460208301866151e4565b6157f16040830185615377565b6157fe6060830184615377565b95945050505050565b6000602082019050818103600083015261582081615242565b9050919050565b60006020820190508181036000830152615840816152c2565b9050919050565b6000602082019050818103600083015261586081615328565b9050919050565b600060208201905061587c6000830184615377565b92915050565b60006060820190506158976000830185615377565b6158a46020830184615076565b9392505050565b60006060820190506158c06000830186615377565b6158cd60208301856151e4565b6158da6040830184615377565b949350505050565b60006040820190506158f76000830185615377565b6159046020830184615377565b9392505050565b60006080820190506159206000830187615377565b61592d6020830186615377565b61593a6040830185615041565b6159476060830184615050565b95945050505050565b6000604051905081810181811067ffffffffffffffff8211171561597357600080fd5b8060405250919050565b600067ffffffffffffffff82111561599457600080fd5b601f19601f8301169050602081019050919050565b600067ffffffffffffffff8211156159c057600080fd5b601f19601f8301169050602081019050919050565b6000819050919050565b600060029050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600081905092915050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b600081905092915050565b6000615a5b82615aa9565b9050919050565b6000615a6d82615aa9565b9050919050565b60008115159050919050565b6000819050919050565b6000615a9582615a50565b9050919050565b600081600f0b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b6000615aeb82615b94565b9050919050565b6000615afd82615b04565b9050919050565b6000615b0f82615aa9565b9050919050565b6000615b2182615b28565b9050919050565b6000615b3382615aa9565b9050919050565b6000615b4582615b4c565b9050919050565b6000615b5782615aa9565b9050919050565b6000615b6982615a9c565b9050919050565b6000615b7b82615ac9565b9050919050565b6000615b8d82615a9c565b9050919050565b6000615b9f82615ba6565b9050919050565b6000615bb182615aa9565b9050919050565b82818337600083830152505050565b60005b83811015615be5578082015181840152602081019050615bca565b83811115615bf4576000848401525b50505050565b6000615c0582615c0c565b9050919050565b6000615c1782615c2f565b9050919050565b6000601f19601f8301169050919050565b60008160601b9050919050565b615c4581615a50565b8114615c5057600080fd5b50565b615c5c81615a62565b8114615c6757600080fd5b50565b615c7381615a74565b8114615c7e57600080fd5b50565b615c8a81615a80565b8114615c9557600080fd5b50565b615ca181615a8a565b8114615cac57600080fd5b50565b615cb881615ac9565b8114615cc357600080fd5b50565b615ccf81615ad3565b8114615cda57600080fd5b5056fea26469706673582212207921e2cd127e659663abf96d01071d8562ff2d3a9c7d1d995a9e639e52ffea7864736f6c63430006000033

00000000000000000000000093054188d876f558f4a66b2ef1d97d16edf0895b000000000000000000000000e80d347df1209a76dd9d2319d62912ba98c54ddd0000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c599

-----Decoded View---------------
Arg [0] : _exchange (address): 0x93054188d876f558f4a66B2EF1d97d16eDf0895B
Arg [1] : _registry (address): 0xe80d347DF1209a76DD9d2319d62912ba98C54DDD
Arg [2] : _wbtc (address): 0x2260FAC5E5542a773Aa44fBCfeDf7C193bc2C599

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 00000000000000000000000093054188d876f558f4a66b2ef1d97d16edf0895b
Arg [1] : 000000000000000000000000e80d347df1209a76dd9d2319d62912ba98c54ddd
Arg [2] : 0000000000000000000000002260fac5e5542a773aa44fbcfedf7c193bc2c599

8004:10281:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9602:523;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9602:523:0;;;;;;;;;;;;;;;;:::i;:::-;;2889:106;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2889:106:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;13286:609;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13286:609:0;;;;;;;;;;;;;;;;:::i;:::-;;1131:161;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1131:161:0;;;:::i;:::-;;;;;;;;;;;;;;;;16893:711;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16893:711:0;;;;;;;;;;;;;;;;:::i;:::-;;10137:1494;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10137:1494:0;;;;;;;;;;;;;;;;:::i;:::-;;8740:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8740:32:0;;;:::i;:::-;;;;;;;;;;;;;;;;15562:1266;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15562:1266:0;;;;;;;;;;;;;;;;:::i;:::-;;3007:482;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3007:482:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;14608:946;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14608:946:0;;;;;;;;;;;;;;;;:::i;:::-;;13903:697;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13903:697:0;;;;;;;;;;;;;;;;:::i;:::-;;8100:93;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8100:93:0;;;:::i;:::-;;;;;;;;;;;;;;;;2050:831;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;8701:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8701:30:0;;;:::i;:::-;;;;;;;;;;;;;;;;11639:1639;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11639:1639:0;;;;;;;;;;;;;;;;:::i;:::-;;17616:666;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17616:666:0;;;;;;;;;;;;;;;;:::i;:::-;;9602:523;9765:13;9798:2;9781:7;;:14;;:19;9765:35;;9811:14;9839:7;;9847:5;9839:15;25:8:-1;13:10;10:24;7:2;;;47:1;44;37:12;7:2;73:6;63:8;60:20;57:2;;;93:1;90;83:12;57:2;142:1;130:10;126:18;118:6;114:31;104:41;;175:10;165:8;161:25;151:35;;9839:15:0;;9828:38;;;;;;;;;9811:55;;9895:11;:9;:11::i;:::-;9885:21;;:6;:21;;;9877:30;;;;;;9918:13;9944:7;;9934:18;;;;;;;;;;;;;;;;9918:34;;9963:20;9986:8;;;;;;;;;;;:27;;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9986:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9986:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;9986:34:0;;;;;;;;;:39;;;10026:5;10033:7;10042:6;10050:4;;9986:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9986:69:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9986:69:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;9986:69:0;;;;;;;;;9963:92;;10074:6;;;;;;;;;;;:15;;;10090:11;:9;:11::i;:::-;10103:12;10074:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10074:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10074:42:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;10074:42:0;;;;;;;;;10066:51;;;;;;9602:523;;;;;;;;;;:::o;2889:106::-;2941:13;2975:6;:12;2982:4;2975:12;;;;;;;;;;;;;;;;2967:20;;2889:106;;;:::o;13286:609::-;8234:16;8253:9;8234:28;;13570:13:::1;13607:16;13625:9;13636:16;13654:11;:9;:11::i;:::-;13596:70;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;13596:70:0;;;13586:81;;;;;;13570:97;;13678:20;13701:8;;;;;;;;;;;:27;;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;13701:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;13701:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;13701:34:0;;;;;;;;;:39;;;13741:5;13748:7;13757:6;13765:4;;13701:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;13701:69:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;13701:69:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;13701:69:0;;;;;;;;;13678:92;;13799:6;;;;;;;;;;;:15;;;13815:16;13833:12;13799:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;13799:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;13799:47:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;13799:47:0;;;;;;;;;13791:56;;;::::0;::::1;;13863:24;13874:12;13863:24;;;;;;;;;;;;;;;8273:1;;8285:16:::0;8368:8;;:15;;8335:2;:48;8323:9;8312:8;8304:5;:16;:28;:79;8285:98;;8428:1;8150:42;8397:13;;;8419:4;8397:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8397:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8397:28:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8397:28:0;;;;;;;;;:32;8394:222;;;8150:42;8446:16;;;8471:4;8499:5;8490;8479:8;:16;8478:26;;;;;;8446:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8446:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8446:59:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8446:59:0;;;;;;;;;;8394:222;;;8150:42;8547:16;;;8564:11;:9;:11::i;:::-;8598:5;8589;8578:8;:16;8577:26;;;;;;8547:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8547:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8547:57:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8547:57:0;;;;;;;;;;8394:222;13286:609;;;;;;;;;;:::o;1131:161::-;1174:7;1194:10;1245:9;1239:15;;1282:2;1275:9;;;1131:161;:::o;16893:711::-;8234:16;8253:9;8234:28;;17041:26:::1;17070:6;;;;;;;;;;;:16;;;17095:4;17070:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;17070:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;17070:31:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;17070:31:0;;;;;;;;;17041:60;;17120:10;;;;;;;;;;;:23;;;17144:11;:9;:11::i;:::-;17165:4;17172:14;17120:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;17120:67:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;17120:67:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;17120:67:0;;;;;;;;;17112:76;;;::::0;::::1;;17199:8;;;;;;;;;;;:34;;;17234:14;17250:1;17253:10;17199:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;17199:65:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;17199:65:0;;;;17275:24;17302:6;;;;;;;;;;;:16;;;17327:4;17302:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;17302:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;17302:31:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;17302:31:0;;;;;;;;;17275:58;;17344:23;17370:40;17391:18;17370:16;:20;;:40;;;;:::i;:::-;17344:66;;17470:18;17491:8;;;;;;;;;;;:27;;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;17491:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;17491:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;17491:34:0;;;;;;;;;:39;;;17531:15;;17548;17491:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;17491:73:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;17491:73:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;17491:73:0;;;;;;;;;17470:94;;17580:16;17585:10;17580:16;;;;;;;;;;;;;;;8273:1;;;;8285:16:::0;8368:8;;:15;;8335:2;:48;8323:9;8312:8;8304:5;:16;:28;:79;8285:98;;8428:1;8150:42;8397:13;;;8419:4;8397:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8397:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8397:28:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8397:28:0;;;;;;;;;:32;8394:222;;;8150:42;8446:16;;;8471:4;8499:5;8490;8479:8;:16;8478:26;;;;;;8446:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8446:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8446:59:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8446:59:0;;;;;;;;;;8394:222;;;8150:42;8547:16;;;8564:11;:9;:11::i;:::-;8598:5;8589;8578:8;:16;8577:26;;;;;;8547:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8547:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8547:57:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8547:57:0;;;;;;;;;;8394:222;16893:711;;;;;;:::o;10137:1494::-;8234:16;8253:9;8234:28;;10454:13:::1;10491:16;10509:9;10520:16;10538:11;:9;:11::i;:::-;10480:70;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;10480:70:0;;;10470:81;;;;;;10454:97;;10562:20;10585:8;;;;;;;;;;;:27;;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;10585:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;10585:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;10585:34:0;;;;;;;;;:39;;;10625:5;10632:7;10641:6;10649:4;;10585:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;10585:69:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;10585:69:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;10585:69:0;;;;;;;;;10562:92;;10697:10;10710:8;;;;;;;;;;;:15;;;10726:1;10729;10732:12;10710:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;10710:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;10710:35:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;10710:35:0;;;;;;;;;10697:48;;10756:12;10771:29;10787:12;10771:11;10778:3;10771:2;:6;;:11;;;;:::i;:::-;:15;;:29;;;;:::i;:::-;10756:44;;10823:27;10840:9;10831:3;10823:16;;:27;;;;:::i;:::-;10811:39;;10861:14;10878:26;10900:3;10878:17;10885:9;10878:2;:6;;:17;;;;:::i;:::-;:21;;:26;;;;:::i;:::-;10861:43;;10961:19;10953:4;:27;10949:675;;10997:24;11024:4;;;;;;;;;;;:14;;;11047:4;11024:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;11024:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;11024:29:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;11024:29:0;;;;;;;;;10997:56;;11068:8;;;;;;;;;;;:17;;;11086:1;11089;11092:12;11106:6;11068:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;11068:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;11068:45:0;;;;11130:22;11155:4;;;;;;;;;;;:14;;;11178:4;11155:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;11155:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;11155:29:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;11155:29:0;;;;;;;;;11130:54;;11199:18;11220:36;11239:16;11220:14;:18;;:36;;;;:::i;:::-;11199:57;;11330:4;;;;;;;;;;;:13;;;11344:16;11362:10;11330:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;11330:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;11330:43:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;11330:43:0;;;;;;;;;11322:52;;;::::0;::::1;;11394:38;11407:12;11421:10;11394:38;;;;;;;;;;;;;;;;10949:675;;;;;;11520:6;;;;;;;;;;;:15;;;11536:16;11554:12;11520:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;11520:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;11520:47:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;11520:47:0;;;;;;;;;11512:56;;;::::0;::::1;;11588:24;11599:12;11588:24;;;;;;;;;;;;;;;10949:675;8273:1;;;;;8285:16:::0;8368:8;;:15;;8335:2;:48;8323:9;8312:8;8304:5;:16;:28;:79;8285:98;;8428:1;8150:42;8397:13;;;8419:4;8397:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8397:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8397:28:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8397:28:0;;;;;;;;;:32;8394:222;;;8150:42;8446:16;;;8471:4;8499:5;8490;8479:8;:16;8478:26;;;;;;8446:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8446:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8446:59:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8446:59:0;;;;;;;;;;8394:222;;;8150:42;8547:16;;;8564:11;:9;:11::i;:::-;8598:5;8589;8578:8;:16;8577:26;;;;;;8547:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8547:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8547:57:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8547:57:0;;;;;;;;;;8394:222;10137:1494;;;;;;;;;;:::o;8740:32::-;;;;;;;;;;;;;:::o;15562:1266::-;8234:16;8253:9;8234:28;;15722:26:::1;15751:6;;;;;;;;;;;:16;;;15776:4;15751:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;15751:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;15751:31:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;15751:31:0;;;;;;;;;15722:60;;15793:24;15820:4;;;;;;;;;;;:14;;;15843:4;15820:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;15820:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;15820:29:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;15820:29:0;;;;;;;;;15793:56;;15860:15;15878:10;;;;;;;;;;;:20;;;15899:11;:9;:11::i;:::-;15878:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;15878:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;15878:33:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;15878:33:0;;;;;;;;;15860:51;;15935:15;15925:7;:25;15922:83;;;15978:15;15968:25;;15922:83;16023:10;;;;;;;;;;;:23;;;16047:11;:9;:11::i;:::-;16068:4;16075:7;16023:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;16023:60:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;16023:60:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;16023:60:0;;;;;;;;;16015:69;;;::::0;::::1;;16095:8;;;;;;;;;;;:35;;;16131:7;16140:33;16169:3;16140:24;16160:3;16140:15;:19;;:24;;;;:::i;:::-;:28;;:33;;;;:::i;:::-;16095:79;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;16095:79:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;16095:79:0;;;;16195:10;;;;;;;;;;;:20;;;16224:4;16195:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;16195:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;16195:35:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;16195:35:0;;;;;;;;;16185:45;;16249:10;;;;;;;;;;;:19;;;16269:11;:9;:11::i;:::-;16282:7;16249:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;16249:41:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;16249:41:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;16249:41:0;;;;;;;;;16241:50;;;::::0;::::1;;16302:24;16329:6;;;;;;;;;;;:16;;;16354:4;16329:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;16329:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;16329:31:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;16329:31:0;;;;;;;;;16302:58;;16371:22;16396:4;;;;;;;;;;;:14;;;16419:4;16396:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;16396:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;16396:29:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;16396:29:0;;;;;;;;;16371:54;;16436:23;16462:40;16483:18;16462:16;:20;;:40;;;;:::i;:::-;16436:66;;16513:21;16537:36;16556:16;16537:14;:18;;:36;;;;:::i;:::-;16513:60;;16592:4;;;;;;;;;;;:13;;;16606:11;:9;:11::i;:::-;16619:13;16592:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;16592:41:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;16592:41:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;16592:41:0;;;;;;;;;16584:50;;;::::0;::::1;;16694:18;16715:8;;;;;;;;;;;:27;;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;16715:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;16715:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;16715:34:0;;;;;;;;;:39;;;16755:15;;16772;16715:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;16715:73:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;16715:73:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;16715:73:0;;;;;;;;;16694:94;;16804:16;16809:10;16804:16;;;;;;;;;;;;;;;8273:1;;;;;;;;8285:16:::0;8368:8;;:15;;8335:2;:48;8323:9;8312:8;8304:5;:16;:28;:79;8285:98;;8428:1;8150:42;8397:13;;;8419:4;8397:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8397:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8397:28:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8397:28:0;;;;;;;;;:32;8394:222;;;8150:42;8446:16;;;8471:4;8499:5;8490;8479:8;:16;8478:26;;;;;;8446:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8446:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8446:59:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8446:59:0;;;;;;;;;;8394:222;;;8150:42;8547:16;;;8564:11;:9;:11::i;:::-;8598:5;8589;8578:8;:16;8577:26;;;;;;8547:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8547:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8547:57:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8547:57:0;;;;;;;;;;8394:222;15562:1266;;;;;;:::o;3007:482::-;3185:4;3204:22;3229:15;3238:5;3229:8;:15::i;:::-;3204:40;;3255:24;3282:17;3291:7;3282:8;:17::i;:::-;3255:44;;3310:12;3386:6;3394:7;3403:8;3413:10;3335:89;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;3335:89:0;;;3325:100;;;;;;3310:115;;3447:33;3457:4;3463;3469;3475;3447:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3447:33:0;;;;;;;;3438:42;;:5;:42;;;3430:51;;;;;3007:482;;;;;;;;;;:::o;14608:946::-;8234:16;8253:9;8234:28;;14754:26:::1;14783:6;;;;;;;;;;;:16;;;14808:4;14783:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;14783:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;14783:31:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;14783:31:0;;;;;;;;;14754:60;;14825:24;14852:4;;;;;;;;;;;:14;;;14875:4;14852:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;14852:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;14852:29:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;14852:29:0;;;;;;;;;14825:56;;14900:10;;;;;;;;;;;:23;;;14924:11;:9;:11::i;:::-;14945:4;14952:6;14900:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;14900:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;14900:59:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;14900:59:0;;;;;;;;;14892:68;;;::::0;::::1;;14971:8;;;;;;;;;;;:25;;;14997:6;15005:11;14971:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;14971:46:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;14971:46:0;;;;15028:24;15055:6;;;;;;;;;;;:16;;;15080:4;15055:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;15055:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;15055:31:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;15055:31:0;;;;;;;;;15028:58;;15097:22;15122:4;;;;;;;;;;;:14;;;15145:4;15122:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;15122:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;15122:29:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;15122:29:0;;;;;;;;;15097:54;;15162:21;15186:36;15205:16;15186:14;:18;;:36;;;;:::i;:::-;15162:60;;15241:4;;;;;;;;;;;:13;;;15255:11;:9;:11::i;:::-;15268:13;15241:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;15241:41:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;15241:41:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;15241:41:0;;;;;;;;;15233:50;;;::::0;::::1;;15294:23;15320:40;15341:18;15320:16;:20;;:40;;;;:::i;:::-;15294:66;;15420:18;15441:8;;;;;;;;;;;:27;;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;15441:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;15441:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;15441:34:0;;;;;;;;;:39;;;15481:15;;15498;15441:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;15441:73:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;15441:73:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;15441:73:0;;;;;;;;;15420:94;;15530:16;15535:10;15530:16;;;;;;;;;;;;;;;8273:1;;;;;;;8285:16:::0;8368:8;;:15;;8335:2;:48;8323:9;8312:8;8304:5;:16;:28;:79;8285:98;;8428:1;8150:42;8397:13;;;8419:4;8397:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8397:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8397:28:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8397:28:0;;;;;;;;;:32;8394:222;;;8150:42;8446:16;;;8471:4;8499:5;8490;8479:8;:16;8478:26;;;;;;8446:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8446:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8446:59:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8446:59:0;;;;;;;;;;8394:222;;;8150:42;8547:16;;;8564:11;:9;:11::i;:::-;8598:5;8589;8578:8;:16;8577:26;;;;;;8547:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8547:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8547:57:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8547:57:0;;;;;;;;;;8394:222;14608:946;;;;;;:::o;13903:697::-;8234:16;8253:9;8234:28;;14240:13:::1;14277:16;14295:8;14305:16;14323:11;:9;:11::i;:::-;14266:69;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;14266:69:0;;;14256:80;;;;;;14240:96;;14391:20;14414:8;;;;;;;;;;;:27;;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;14414:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;14414:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;14414:34:0;;;;;;;;;:39;;;14454:5;14461:7;14470:6;14478:4;;14414:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;14414:69:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;14414:69:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;14414:69:0;;;;;;;;;14391:92;;14504:6;;;;;;;;;;;:15;;;14520:16;14538:12;14504:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;14504:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;14504:47:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;14504:47:0;;;;;;;;;14496:56;;;::::0;::::1;;14568:24;14579:12;14568:24;;;;;;;;;;;;;;;8273:1;;8285:16:::0;8368:8;;:15;;8335:2;:48;8323:9;8312:8;8304:5;:16;:28;:79;8285:98;;8428:1;8150:42;8397:13;;;8419:4;8397:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8397:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8397:28:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8397:28:0;;;;;;;;;:32;8394:222;;;8150:42;8446:16;;;8471:4;8499:5;8490;8479:8;:16;8478:26;;;;;;8446:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8446:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8446:59:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8446:59:0;;;;;;;;;;8394:222;;;8150:42;8547:16;;;8564:11;:9;:11::i;:::-;8598:5;8589;8578:8;:16;8577:26;;;;;;8547:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8547:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8547:57:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8547:57:0;;;;;;;;;;8394:222;13903:697;;;;;;;;;;:::o;8100:93::-;8150:42;8100:93;:::o;2050:831::-;2261:12;2296:89;2303:11;2316:7;2325:6;2333;:19;2340:11;2333:19;;;;;;;;;;;;;;;;2354:12;:10;:12::i;:::-;2368:4;2374;2380;2296:6;:89::i;:::-;2288:135;;;;;;;;;;;;;;;;;;;;;;2532:12;2546:23;2581:4;2573:18;;2609:17;2628:11;2592:48;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;2592:48:0;;;2573:68;;;;;;;;;;;;;;;;;;;;;;;12:1:-1;19;14:27;;;;67:4;61:11;56:16;;134:4;130:9;123:4;105:16;101:27;97:43;94:1;90:51;84:4;77:65;157:16;154:1;147:27;211:16;208:1;201:4;198:1;194:12;179:49;5:228;;14:27;32:4;27:9;;5:228;;2531:110:0;;;;2662:7;2654:49;;;;;;;;;;;;;;;;;;;;;;2736:26;2760:1;2736:6;:19;2743:11;2736:19;;;;;;;;;;;;;;;;:23;;:26;;;;:::i;:::-;2714:6;:19;2721:11;2714:19;;;;;;;;;;;;;;;:48;;;;2778:67;2802:11;2815:10;2827:17;2778:67;;;;;;;;;;;;;;;;;2863:10;2856:17;;;;2050:831;;;;;;;;;:::o;8701:30::-;;;;;;;;;;;;;:::o;11639:1639::-;8234:16;8253:9;8234:28;;11977:13:::1;12014:16;12032:8;12042:16;12060:11;:9;:11::i;:::-;12003:69;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;12003:69:0;;;11993:80;;;;;;11977:96;;12128:20;12151:8;;;;;;;;;;;:27;;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;12151:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;12151:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12151:34:0;;;;;;;;;:39;;;12191:5;12198:7;12207:6;12215:4;;12151:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;12151:69:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;12151:69:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12151:69:0;;;;;;;;;12128:92;;12317:33;;:::i;:::-;12353:8;12317:44;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;12317:44:0;;;;;;;12393:12;12372:15;12388:1;12372:18;;;;;;;;;;:33;;;::::0;::::1;12416:25;12444:8;;;;;;;;;;;:26;;;12471:8;12481:4;12444:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;12444:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;12444:42:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12444:42:0;;;;;;;;;12416:70;;12521:20;12500:17;:41;12497:774;;12566:4;;;;;;;;;;;:17;;;12584:11;:9;:11::i;:::-;12605:4;12612:15;12628:1;12612:18;;;;;;;;;;;12566:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;12566:65:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;12566:65:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12566:65:0;;;;;;;;;12558:74;;;::::0;::::1;;12647:26;12676:10;;;;;;;;;;;:20;;;12705:4;12676:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;12676:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;12676:35:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12676:35:0;;;;;;;;;12647:64;;12726:8;;;;;;;;;;;:22;;;12749:15;12766:1;12726:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;12726:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;12726:42:0;;;;12783:25;12811:10;;;;;;;;;;;:20;;;12840:4;12811:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;12811:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;12811:35:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;12811:35:0;;;;;;;;;12783:63;;12861:19;12883:41;12905:18;12883:17;:21;;:41;;;;:::i;:::-;12861:63;;12962:20;12947:11;:35;;12939:44;;;::::0;::::1;;13006:10;;;;;;;;;;;:19;;;13026:11;:9;:11::i;:::-;13039;13006:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;13006:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;13006:45:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;13006:45:0;;;;;;;;;12998:54;;;::::0;::::1;;13072:45;13091:12;13105:11;13072:45;;;;;;;;;;;;;;;;12497:774;;;;;;13167:6;;;;;;;;;;;:15;;;13183:16;13201:12;13167:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;13167:47:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;13167:47:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;13167:47:0;;;;;;;;;13159:56;;;::::0;::::1;;13235:24;13246:12;13235:24;;;;;;;;;;;;;;;12497:774;8273:1;;;;8285:16:::0;8368:8;;:15;;8335:2;:48;8323:9;8312:8;8304:5;:16;:28;:79;8285:98;;8428:1;8150:42;8397:13;;;8419:4;8397:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8397:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8397:28:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8397:28:0;;;;;;;;;:32;8394:222;;;8150:42;8446:16;;;8471:4;8499:5;8490;8479:8;:16;8478:26;;;;;;8446:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8446:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8446:59:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8446:59:0;;;;;;;;;;8394:222;;;8150:42;8547:16;;;8564:11;:9;:11::i;:::-;8598:5;8589;8578:8;:16;8577:26;;;;;;8547:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8547:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8547:57:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8547:57:0;;;;;;;;;;8394:222;11639:1639;;;;;;;;;;:::o;17616:666::-;8234:16;8253:9;8234:28;;17753:4:::1;;;;;;;;;;;:17;;;17771:11;:9;:11::i;:::-;17792:4;17799:7;17753:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;17753:54:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;17753:54:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;17753:54:0;;;;;;;;;17745:63;;;::::0;::::1;;17819:26;17848:6;;;;;;;;;;;:16;;;17873:4;17848:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;17848:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;17848:31:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;17848:31:0;;;;;;;;;17819:60;;17890:8;;;;;;;;;;;:17;;;17908:1;17911;17914:7;17923:16;17890:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;17890:50:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;17890:50:0;;;;17951:24;17978:6;;;;;;;;;;;:16;;;18003:4;17978:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;17978:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;17978:31:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;17978:31:0;;;;;;;;;17951:58;;18020:20;18043:40;18064:18;18043:16;:20;;:40;;;;:::i;:::-;18020:63;;18151:18;18172:8;;;;;;;;;;;:27;;;:34;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;18172:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;18172:34:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;18172:34:0;;;;;;;;;:39;;;18212:15;;18229:12;18172:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;18172:70:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;18172:70:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;18172:70:0;;;;;;;;;18151:91;;18258:16;18263:10;18258:16;;;;;;;;;;;;;;;8273:1;;;;8285:16:::0;8368:8;;:15;;8335:2;:48;8323:9;8312:8;8304:5;:16;:28;:79;8285:98;;8428:1;8150:42;8397:13;;;8419:4;8397:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8397:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8397:28:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8397:28:0;;;;;;;;;:32;8394:222;;;8150:42;8446:16;;;8471:4;8499:5;8490;8479:8;:16;8478:26;;;;;;8446:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8446:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8446:59:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8446:59:0;;;;;;;;;;8394:222;;;8150:42;8547:16;;;8564:11;:9;:11::i;:::-;8598:5;8589;8578:8;:16;8577:26;;;;;;8547:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8547:57:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8547:57:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;8547:57:0;;;;;;;;;;8394:222;17616:666;;;;;;:::o;4166:538::-;4209:14;4261:4;4239:27;;:10;:27;;;4236:437;;;4283:18;4304:8;;4283:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;4283:29:0;;;;;;;;4327:13;4343:8;;:15;;4327:31;;4552:42;4543:5;4536;4532:17;4526:24;4522:73;4512:83;;4382:228;;;;;4651:10;4642:19;;4236:437;4690:6;4683:13;;4166:538;:::o;427:132::-;479:6;511:1;506;:6;;498:15;;;;;;550:1;546;:5;542:9;;427:132;;;;:::o;565:145::-;617:6;644:1;640;:5;636:9;;669:1;664;:6;:20;;;;683:1;678;674;:5;;;;;;:10;664:20;656:29;;;;;;565:145;;;;:::o;716:136::-;768:6;799:1;795;:5;787:14;;;;;;843:1;839;:5;;;;;;835:9;;716:136;;;;:::o;3639:519::-;3692:27;3742:1;3736:2;:7;3732:50;;;3760:10;;;;;;;;;;;;;;;;;;;;;3732:50;3792:6;3801:2;3792:11;;3814:8;3833:69;3845:1;3840;:6;3833:69;;3863:5;;;;;;;3888:2;3883:7;;;;;;;;;3833:69;;;3912:17;3942:3;3932:14;;;;;;;;;;;;;;;;;;;;;;;;;29:1:-1;21:6;17:14;116:4;104:10;96:6;87:34;147:4;139:6;135:17;125:27;;0:156;3932:14:0;;;;3912:34;;3957:6;3972:1;3966:3;:7;3957:16;;3984:12;3999:2;3984:17;;4012:109;4027:1;4019:4;:9;4012:109;;4080:2;4073:4;:9;;;;;;4068:2;:14;4057:27;;4045:4;4050:3;;;;;;;4045:9;;;;;;;;;;;:39;;;;;;;;;;;4107:2;4099:10;;;;;;;;;4012:109;;;4145:4;4131:19;;;;;;;3639:519;;;;:::o;290:131::-;342:6;369:1;365;:5;361:9;;394:1;389;:6;;381:15;;;;;;290:131;;;;:::o;8004:10281::-;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;8004:10281:0;;;;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;;;57:78;;;;;142:146;;230:6;217:20;208:29;;242:41;277:5;242:41;;;202:86;;;;;314:176;;413:6;401:18;;463:3;455:4;449;445:15;435:8;431:30;428:39;425:2;;;480:1;477;470:12;425:2;394:96;;;;;498:128;;579:6;573:13;564:22;;591:30;615:5;591:30;;;558:68;;;;;633:130;;713:6;700:20;691:29;;725:33;752:5;725:33;;;685:78;;;;;784:336;;;898:3;891:4;883:6;879:17;875:27;865:2;;916:1;913;906:12;865:2;949:6;936:20;926:30;;976:18;968:6;965:30;962:2;;;1008:1;1005;998:12;962:2;1042:4;1034:6;1030:17;1018:29;;1093:3;1085:4;1077:6;1073:17;1063:8;1059:32;1056:41;1053:2;;;1110:1;1107;1100:12;1053:2;858:262;;;;;;1129:440;;1230:3;1223:4;1215:6;1211:17;1207:27;1197:2;;1248:1;1245;1238:12;1197:2;1285:6;1272:20;1307:64;1322:48;1363:6;1322:48;;;1307:64;;;1298:73;;1391:6;1384:5;1377:21;1427:4;1419:6;1415:17;1460:4;1453:5;1449:16;1495:3;1486:6;1481:3;1477:16;1474:25;1471:2;;;1512:1;1509;1502:12;1471:2;1522:41;1556:6;1551:3;1546;1522:41;;;1190:379;;;;;;;;1577:166;;1677:6;1671:13;1662:22;;1689:49;1732:5;1689:49;;;1656:87;;;;;1751:442;;1853:3;1846:4;1838:6;1834:17;1830:27;1820:2;;1871:1;1868;1861:12;1820:2;1908:6;1895:20;1930:65;1945:49;1987:6;1945:49;;;1930:65;;;1921:74;;2015:6;2008:5;2001:21;2051:4;2043:6;2039:17;2084:4;2077:5;2073:16;2119:3;2110:6;2105:3;2101:16;2098:25;2095:2;;;2136:1;2133;2126:12;2095:2;2146:41;2180:6;2175:3;2170;2146:41;;;1813:380;;;;;;;;2201:130;;2281:6;2268:20;2259:29;;2293:33;2320:5;2293:33;;;2253:78;;;;;2338:134;;2422:6;2416:13;2407:22;;2434:33;2461:5;2434:33;;;2401:71;;;;;2479:126;;2557:6;2544:20;2535:29;;2569:31;2594:5;2569:31;;;2529:76;;;;;2612:241;;2716:2;2704:9;2695:7;2691:23;2687:32;2684:2;;;2732:1;2729;2722:12;2684:2;2767:1;2784:53;2829:7;2820:6;2809:9;2805:22;2784:53;;;2774:63;;2746:97;2678:175;;;;;2860:257;;2972:2;2960:9;2951:7;2947:23;2943:32;2940:2;;;2988:1;2985;2978:12;2940:2;3023:1;3040:61;3093:7;3084:6;3073:9;3069:22;3040:61;;;3030:71;;3002:105;2934:183;;;;;3124:1186;;;;;;;;;3382:3;3370:9;3361:7;3357:23;3353:33;3350:2;;;3399:1;3396;3389:12;3350:2;3434:1;3451:61;3504:7;3495:6;3484:9;3480:22;3451:61;;;3441:71;;3413:105;3549:2;3567:53;3612:7;3603:6;3592:9;3588:22;3567:53;;;3557:63;;3528:98;3657:2;3675:78;3745:7;3736:6;3725:9;3721:22;3675:78;;;3665:88;;3636:123;3790:3;3809:53;3854:7;3845:6;3834:9;3830:22;3809:53;;;3799:63;;3769:99;3899:3;3918:53;3963:7;3954:6;3943:9;3939:22;3918:53;;;3908:63;;3878:99;4008:3;4027:53;4072:7;4063:6;4052:9;4048:22;4027:53;;;4017:63;;3987:99;4145:3;4134:9;4130:19;4117:33;4170:18;4162:6;4159:30;4156:2;;;4202:1;4199;4192:12;4156:2;4230:64;4286:7;4277:6;4266:9;4262:22;4230:64;;;4220:74;;;;4096:204;3344:966;;;;;;;;;;;;4317:1307;;;;;;;;4550:3;4538:9;4529:7;4525:23;4521:33;4518:2;;;4567:1;4564;4557:12;4518:2;4602:1;4619:53;4664:7;4655:6;4644:9;4640:22;4619:53;;;4609:63;;4581:97;4737:2;4726:9;4722:18;4709:32;4761:18;4753:6;4750:30;4747:2;;;4793:1;4790;4783:12;4747:2;4813:62;4867:7;4858:6;4847:9;4843:22;4813:62;;;4803:72;;4688:193;4940:2;4929:9;4925:18;4912:32;4964:18;4956:6;4953:30;4950:2;;;4996:1;4993;4986:12;4950:2;5016:63;5071:7;5062:6;5051:9;5047:22;5016:63;;;5006:73;;4891:194;5144:2;5133:9;5129:18;5116:32;5168:18;5160:6;5157:30;5154:2;;;5200:1;5197;5190:12;5154:2;5220:63;5275:7;5266:6;5255:9;5251:22;5220:63;;;5210:73;;5095:194;5320:3;5339:53;5384:7;5375:6;5364:9;5360:22;5339:53;;;5329:63;;5299:99;5429:3;5448:53;5493:7;5484:6;5473:9;5469:22;5448:53;;;5438:63;;5408:99;5538:3;5557:51;5600:7;5591:6;5580:9;5576:22;5557:51;;;5547:61;;5517:97;4512:1112;;;;;;;;;;;5631:1329;;;;;;;;;5872:3;5860:9;5851:7;5847:23;5843:33;5840:2;;;5889:1;5886;5879:12;5840:2;5924:1;5941:53;5986:7;5977:6;5966:9;5962:22;5941:53;;;5931:63;;5903:97;6059:2;6048:9;6044:18;6031:32;6083:18;6075:6;6072:30;6069:2;;;6115:1;6112;6105:12;6069:2;6135:63;6190:7;6181:6;6170:9;6166:22;6135:63;;;6125:73;;6010:194;6263:2;6252:9;6248:18;6235:32;6287:18;6279:6;6276:30;6273:2;;;6319:1;6316;6309:12;6273:2;6339:63;6394:7;6385:6;6374:9;6370:22;6339:63;;;6329:73;;6214:194;6439:2;6457:53;6502:7;6493:6;6482:9;6478:22;6457:53;;;6447:63;;6418:98;6547:3;6566:53;6611:7;6602:6;6591:9;6587:22;6566:53;;;6556:63;;6526:99;6656:3;6675:53;6720:7;6711:6;6700:9;6696:22;6675:53;;;6665:63;;6635:99;6765:3;6784:53;6829:7;6820:6;6809:9;6805:22;6784:53;;;6774:63;;6744:99;6874:3;6893:51;6936:7;6927:6;6916:9;6912:22;6893:51;;;6883:61;;6853:97;5834:1126;;;;;;;;;;;;6967:257;;7079:2;7067:9;7058:7;7054:23;7050:32;7047:2;;;7095:1;7092;7085:12;7047:2;7130:1;7147:61;7200:7;7191:6;7180:9;7176:22;7147:61;;;7137:71;;7109:105;7041:183;;;;;7231:666;;;;;7413:3;7401:9;7392:7;7388:23;7384:33;7381:2;;;7430:1;7427;7420:12;7381:2;7493:1;7482:9;7478:17;7465:31;7516:18;7508:6;7505:30;7502:2;;;7548:1;7545;7538:12;7502:2;7576:64;7632:7;7623:6;7612:9;7608:22;7576:64;;;7566:74;;;;7444:202;7677:2;7695:78;7765:7;7756:6;7745:9;7741:22;7695:78;;;7685:88;;7656:123;7810:2;7828:53;7873:7;7864:6;7853:9;7849:22;7828:53;;;7818:63;;7789:98;7375:522;;;;;;;;7904:666;;;;;8086:3;8074:9;8065:7;8061:23;8057:33;8054:2;;;8103:1;8100;8093:12;8054:2;8166:1;8155:9;8151:17;8138:31;8189:18;8181:6;8178:30;8175:2;;;8221:1;8218;8211:12;8175:2;8249:64;8305:7;8296:6;8285:9;8281:22;8249:64;;;8239:74;;;;8117:202;8350:2;8368:53;8413:7;8404:6;8393:9;8389:22;8368:53;;;8358:63;;8329:98;8458:2;8476:78;8546:7;8537:6;8526:9;8522:22;8476:78;;;8466:88;;8437:123;8048:522;;;;;;;;8577:865;;;;;;;8770:3;8758:9;8749:7;8745:23;8741:33;8738:2;;;8787:1;8784;8777:12;8738:2;8850:1;8839:9;8835:17;8822:31;8873:18;8865:6;8862:30;8859:2;;;8905:1;8902;8895:12;8859:2;8933:64;8989:7;8980:6;8969:9;8965:22;8933:64;;;8923:74;;;;8801:202;9034:2;9052:53;9097:7;9088:6;9077:9;9073:22;9052:53;;;9042:63;;9013:98;9142:2;9160:53;9205:7;9196:6;9185:9;9181:22;9160:53;;;9150:63;;9121:98;9278:2;9267:9;9263:18;9250:32;9302:18;9294:6;9291:30;9288:2;;;9334:1;9331;9324:12;9288:2;9362:64;9418:7;9409:6;9398:9;9394:22;9362:64;;;9352:74;;;;9229:203;8732:710;;;;;;;;;9449:615;;;;;9606:2;9594:9;9585:7;9581:23;9577:32;9574:2;;;9622:1;9619;9612:12;9574:2;9685:1;9674:9;9670:17;9657:31;9708:18;9700:6;9697:30;9694:2;;;9740:1;9737;9730:12;9694:2;9768:64;9824:7;9815:6;9804:9;9800:22;9768:64;;;9758:74;;;;9636:202;9869:2;9887:53;9932:7;9923:6;9912:9;9908:22;9887:53;;;9877:63;;9848:98;9977:2;9995:53;10040:7;10031:6;10020:9;10016:22;9995:53;;;9985:63;;9956:98;9568:496;;;;;;;;10071:295;;10202:2;10190:9;10181:7;10177:23;10173:32;10170:2;;;10218:1;10215;10208:12;10170:2;10253:1;10270:80;10342:7;10333:6;10322:9;10318:22;10270:80;;;10260:90;;10232:124;10164:202;;;;;10373:263;;10488:2;10476:9;10467:7;10463:23;10459:32;10456:2;;;10504:1;10501;10494:12;10456:2;10539:1;10556:64;10612:7;10603:6;10592:9;10588:22;10556:64;;;10546:74;;10518:108;10450:186;;;;;10643:1135;;;;;;;;;10876:3;10864:9;10855:7;10851:23;10847:33;10844:2;;;10893:1;10890;10883:12;10844:2;10928:1;10945:53;10990:7;10981:6;10970:9;10966:22;10945:53;;;10935:63;;10907:97;11035:2;11053:53;11098:7;11089:6;11078:9;11074:22;11053:53;;;11043:63;;11014:98;11143:2;11161:53;11206:7;11197:6;11186:9;11182:22;11161:53;;;11151:63;;11122:98;11251:2;11269:61;11322:7;11313:6;11302:9;11298:22;11269:61;;;11259:71;;11230:106;11367:3;11386:53;11431:7;11422:6;11411:9;11407:22;11386:53;;;11376:63;;11346:99;11476:3;11495:53;11540:7;11531:6;11520:9;11516:22;11495:53;;;11485:63;;11455:99;11613:3;11602:9;11598:19;11585:33;11638:18;11630:6;11627:30;11624:2;;;11670:1;11667;11660:12;11624:2;11698:64;11754:7;11745:6;11734:9;11730:22;11698:64;;;11688:74;;;;11564:204;10838:940;;;;;;;;;;;;11786:173;;11873:46;11915:3;11907:6;11873:46;;;11948:4;11943:3;11939:14;11925:28;;11866:93;;;;;11967:142;12058:45;12097:5;12058:45;;;12053:3;12046:58;12040:69;;;12116:137;12215:32;12241:5;12215:32;;;12210:3;12203:45;12197:56;;;12260:113;12343:24;12361:5;12343:24;;;12338:3;12331:37;12325:48;;;12380:152;12481:45;12501:24;12519:5;12501:24;;;12481:45;;;12476:3;12469:58;12463:69;;;12572:167;12692:41;12728:4;12723:3;12716:5;12692:41;;;12685:54;;;12780:660;12913:52;12959:5;12913:52;;;12978:84;13055:6;13050:3;12978:84;;;12971:91;;13083:54;13131:5;13083:54;;;13157:7;13185:1;13170:258;13195:6;13192:1;13189:13;13170:258;;;13262:6;13256:13;13283:63;13342:3;13327:13;13283:63;;;13276:70;;13363:58;13414:6;13363:58;;;13353:68;;13227:201;13217:1;13214;13210:9;13205:14;;13170:258;;;13174:14;12892:548;;;;;;13448:104;13525:21;13540:5;13525:21;;;13520:3;13513:34;13507:45;;;13559:113;13642:24;13660:5;13642:24;;;13637:3;13630:37;13624:48;;;13702:297;;13816:70;13879:6;13874:3;13816:70;;;13809:77;;13898:43;13934:6;13929:3;13922:5;13898:43;;;13963:29;13985:6;13963:29;;;13958:3;13954:39;13947:46;;13802:197;;;;;;14030:310;;14162:88;14243:6;14238:3;14162:88;;;14155:95;;14262:43;14298:6;14293:3;14286:5;14262:43;;;14327:6;14322:3;14318:16;14311:23;;14148:192;;;;;;14348:343;;14458:38;14490:5;14458:38;;;14508:70;14571:6;14566:3;14508:70;;;14501:77;;14583:52;14628:6;14623:3;14616:4;14609:5;14605:16;14583:52;;;14656:29;14678:6;14656:29;;;14651:3;14647:39;14640:46;;14438:253;;;;;;14698:356;;14826:38;14858:5;14826:38;;;14876:88;14957:6;14952:3;14876:88;;;14869:95;;14969:52;15014:6;15009:3;15002:4;14995:5;14991:16;14969:52;;;15042:6;15037:3;15033:16;15026:23;;14806:248;;;;;;15061:170;15166:59;15219:5;15166:59;;;15161:3;15154:72;15148:83;;;15238:168;15342:58;15394:5;15342:58;;;15337:3;15330:71;15324:82;;;15413:174;15520:61;15575:5;15520:61;;;15515:3;15508:74;15502:85;;;15594:140;15684:44;15722:5;15684:44;;;15679:3;15672:57;15666:68;;;15741:142;15832:45;15871:5;15832:45;;;15827:3;15820:58;15814:69;;;15890:140;15980:44;16018:5;15980:44;;;15975:3;15968:57;15962:68;;;16037:360;;16167:39;16200:5;16167:39;;;16218:89;16300:6;16295:3;16218:89;;;16211:96;;16312:52;16357:6;16352:3;16345:4;16338:5;16334:16;16312:52;;;16385:6;16380:3;16376:16;16369:23;;16147:250;;;;;;16405:329;;16565:67;16629:2;16624:3;16565:67;;;16558:74;;16665:31;16661:1;16656:3;16652:11;16645:52;16725:2;16720:3;16716:12;16709:19;;16551:183;;;;16743:400;;16921:85;17003:2;16998:3;16921:85;;;16914:92;;17039:66;17035:1;17030:3;17026:11;17019:87;17134:2;17129:3;17125:12;17118:19;;16907:236;;;;17152:370;;17312:67;17376:2;17371:3;17312:67;;;17305:74;;17412:34;17408:1;17403:3;17399:11;17392:55;17481:3;17476:2;17471:3;17467:12;17460:25;17513:2;17508:3;17504:12;17497:19;;17298:224;;;;17531:302;;17691:66;17755:1;17750:3;17691:66;;;17684:73;;17790:5;17786:1;17781:3;17777:11;17770:26;17824:2;17819:3;17815:12;17808:19;;17677:156;;;;17841:103;17914:24;17932:5;17914:24;;;17909:3;17902:37;17896:48;;;17951:113;18034:24;18052:5;18034:24;;;18029:3;18022:37;18016:48;;;18071:107;18150:22;18166:5;18150:22;;;18145:3;18138:35;18132:46;;;18185:282;;18339:103;18438:3;18429:6;18421;18339:103;;;18332:110;;18459:3;18452:10;;18320:147;;;;;;18474:262;;18618:93;18707:3;18698:6;18618:93;;;18611:100;;18728:3;18721:10;;18599:137;;;;;18743:401;;18915:93;19004:3;18995:6;18915:93;;;18908:100;;19019:75;19090:3;19081:6;19019:75;;;19116:2;19111:3;19107:12;19100:19;;19136:3;19129:10;;18896:248;;;;;;19151:1016;;19542:148;19686:3;19542:148;;;19535:155;;19708:95;19799:3;19790:6;19708:95;;;19701:102;;19821:95;19912:3;19903:6;19821:95;;;19814:102;;19934:95;20025:3;20016:6;19934:95;;;19927:102;;20047:95;20138:3;20129:6;20047:95;;;20040:102;;20159:3;20152:10;;19523:644;;;;;;;;20174:213;;20292:2;20281:9;20277:18;20269:26;;20306:71;20374:1;20363:9;20359:17;20350:6;20306:71;;;20263:124;;;;;20394:229;;20520:2;20509:9;20505:18;20497:26;;20534:79;20610:1;20599:9;20595:17;20586:6;20534:79;;;20491:132;;;;;20630:676;;20896:3;20885:9;20881:19;20873:27;;20911:87;20995:1;20984:9;20980:17;20971:6;20911:87;;;21009:120;21125:2;21114:9;21110:18;21101:6;21009:120;;;21140:72;21208:2;21197:9;21193:18;21184:6;21140:72;;;21223:73;21291:3;21280:9;21276:19;21267:6;21223:73;;;20867:439;;;;;;;;21313:340;;21467:2;21456:9;21452:18;21444:26;;21481:79;21557:1;21546:9;21542:17;21533:6;21481:79;;;21571:72;21639:2;21628:9;21624:18;21615:6;21571:72;;;21438:215;;;;;;21660:551;;21868:2;21857:9;21853:18;21845:26;;21882:71;21950:1;21939:9;21935:17;21926:6;21882:71;;;21964:88;22048:2;22037:9;22033:18;22024:6;21964:88;;;22100:9;22094:4;22090:20;22085:2;22074:9;22070:18;22063:48;22125:76;22196:4;22187:6;22125:76;;;22117:84;;21839:372;;;;;;;22218:451;;22400:2;22389:9;22385:18;22377:26;;22414:71;22482:1;22471:9;22467:17;22458:6;22414:71;;;22496:80;22572:2;22561:9;22557:18;22548:6;22496:80;;;22587:72;22655:2;22644:9;22640:18;22631:6;22587:72;;;22371:298;;;;;;;22676:324;;22822:2;22811:9;22807:18;22799:26;;22836:71;22904:1;22893:9;22889:17;22880:6;22836:71;;;22918:72;22986:2;22975:9;22971:18;22962:6;22918:72;;;22793:207;;;;;;23007:408;;23195:2;23184:9;23180:18;23172:26;;23209:119;23325:1;23314:9;23310:17;23301:6;23209:119;;;23339:66;23401:2;23390:9;23386:18;23377:6;23339:66;;;23166:249;;;;;;23422:420;;23616:2;23605:9;23601:18;23593:26;;23630:119;23746:1;23735:9;23731:17;23722:6;23630:119;;;23760:72;23828:2;23817:9;23813:18;23804:6;23760:72;;;23587:255;;;;;;23849:432;;24049:2;24038:9;24034:18;24026:26;;24063:117;24177:1;24166:9;24162:17;24153:6;24063:117;;;24191:80;24267:2;24256:9;24252:18;24243:6;24191:80;;;24020:261;;;;;;24288:201;;24400:2;24389:9;24385:18;24377:26;;24414:65;24476:1;24465:9;24461:17;24452:6;24414:65;;;24371:118;;;;;24496:651;;24726:3;24715:9;24711:19;24703:27;;24741:71;24809:1;24798:9;24794:17;24785:6;24741:71;;;24823:72;24891:2;24880:9;24876:18;24867:6;24823:72;;;24906;24974:2;24963:9;24959:18;24950:6;24906:72;;;25026:9;25020:4;25016:20;25011:2;25000:9;24996:18;24989:48;25051:86;25132:4;25123:6;25115;25051:86;;;25043:94;;24697:450;;;;;;;;;25154:539;;25352:3;25341:9;25337:19;25329:27;;25367:71;25435:1;25424:9;25420:17;25411:6;25367:71;;;25449:68;25513:2;25502:9;25498:18;25489:6;25449:68;;;25528:72;25596:2;25585:9;25581:18;25572:6;25528:72;;;25611;25679:2;25668:9;25664:18;25655:6;25611:72;;;25323:370;;;;;;;;25700:428;;25874:2;25863:9;25859:18;25851:26;;25924:9;25918:4;25914:20;25910:1;25899:9;25895:17;25888:47;25949:86;26030:4;26021:6;26013;25949:86;;;25941:94;;26046:72;26114:2;26103:9;26099:18;26090:6;26046:72;;;25845:283;;;;;;;26135:297;;26271:2;26260:9;26256:18;26248:26;;26321:9;26315:4;26311:20;26307:1;26296:9;26292:17;26285:47;26346:76;26417:4;26408:6;26346:76;;;26338:84;;26242:190;;;;;26439:257;;26579:2;26568:9;26564:18;26556:26;;26593:93;26683:1;26672:9;26668:17;26659:6;26593:93;;;26550:146;;;;;26703:255;;26842:2;26831:9;26827:18;26819:26;;26856:92;26945:1;26934:9;26930:17;26921:6;26856:92;;;26813:145;;;;;26965:261;;27107:2;27096:9;27092:18;27084:26;;27121:95;27213:1;27202:9;27198:17;27189:6;27121:95;;;27078:148;;;;;27233:463;;27421:2;27410:9;27406:18;27398:26;;27435:78;27510:1;27499:9;27495:17;27486:6;27435:78;;;27524:79;27599:2;27588:9;27584:18;27575:6;27524:79;;;27614:72;27682:2;27671:9;27667:18;27658:6;27614:72;;;27392:304;;;;;;;27703:575;;27919:3;27908:9;27904:19;27896:27;;27934:78;28009:1;27998:9;27994:17;27985:6;27934:78;;;28023:79;28098:2;28087:9;28083:18;28074:6;28023:79;;;28113:72;28181:2;28170:9;28166:18;28157:6;28113:72;;;28196;28264:2;28253:9;28249:18;28240:6;28196:72;;;27890:388;;;;;;;;28285:575;;28501:3;28490:9;28486:19;28478:27;;28516:78;28591:1;28580:9;28576:17;28567:6;28516:78;;;28605:79;28680:2;28669:9;28665:18;28656:6;28605:79;;;28695:72;28763:2;28752:9;28748:18;28739:6;28695:72;;;28778;28846:2;28835:9;28831:18;28822:6;28778:72;;;28472:388;;;;;;;;28867:407;;29058:2;29047:9;29043:18;29035:26;;29108:9;29102:4;29098:20;29094:1;29083:9;29079:17;29072:47;29133:131;29259:4;29133:131;;;29125:139;;29029:245;;;;29281:407;;29472:2;29461:9;29457:18;29449:26;;29522:9;29516:4;29512:20;29508:1;29497:9;29493:17;29486:47;29547:131;29673:4;29547:131;;;29539:139;;29443:245;;;;29695:407;;29886:2;29875:9;29871:18;29863:26;;29936:9;29930:4;29926:20;29922:1;29911:9;29907:17;29900:47;29961:131;30087:4;29961:131;;;29953:139;;29857:245;;;;30109:213;;30227:2;30216:9;30212:18;30204:26;;30241:71;30309:1;30298:9;30294:17;30285:6;30241:71;;;30198:124;;;;;30329:420;;30523:2;30512:9;30508:18;30500:26;;30537:71;30605:1;30594:9;30590:17;30581:6;30537:71;;;30619:120;30735:2;30724:9;30720:18;30711:6;30619:120;;;30494:255;;;;;;30756:449;;30937:2;30926:9;30922:18;30914:26;;30951:71;31019:1;31008:9;31004:17;30995:6;30951:71;;;31033:79;31108:2;31097:9;31093:18;31084:6;31033:79;;;31123:72;31191:2;31180:9;31176:18;31167:6;31123:72;;;30908:297;;;;;;;31212:324;;31358:2;31347:9;31343:18;31335:26;;31372:71;31440:1;31429:9;31425:17;31416:6;31372:71;;;31454:72;31522:2;31511:9;31507:18;31498:6;31454:72;;;31329:207;;;;;;31543:579;;31761:3;31750:9;31746:19;31738:27;;31776:71;31844:1;31833:9;31829:17;31820:6;31776:71;;;31858:72;31926:2;31915:9;31911:18;31902:6;31858:72;;;31941:88;32025:2;32014:9;32010:18;32001:6;31941:88;;;32040:72;32108:2;32097:9;32093:18;32084:6;32040:72;;;31732:390;;;;;;;;32129:256;;32191:2;32185:9;32175:19;;32229:4;32221:6;32217:17;32328:6;32316:10;32313:22;32292:18;32280:10;32277:34;32274:62;32271:2;;;32349:1;32346;32339:12;32271:2;32369:10;32365:2;32358:22;32169:216;;;;;32392:321;;32535:18;32527:6;32524:30;32521:2;;;32567:1;32564;32557:12;32521:2;32634:4;32630:9;32623:4;32615:6;32611:17;32607:33;32599:41;;32698:4;32692;32688:15;32680:23;;32458:255;;;;32720:322;;32864:18;32856:6;32853:30;32850:2;;;32896:1;32893;32886:12;32850:2;32963:4;32959:9;32952:4;32944:6;32940:17;32936:33;32928:41;;33027:4;33021;33017:15;33009:23;;32787:255;;;;33049:97;;33133:3;33125:11;;33119:27;;;;33153:108;;33247:4;33237:14;;33225:36;;;;33268:121;;33361:5;33355:12;33345:22;;33326:63;;;;33396:122;;33490:5;33484:12;33474:22;;33455:63;;;;33525:106;;33621:4;33616:3;33612:14;33604:22;;33598:33;;;;33639:140;;33770:3;33755:18;;33748:31;;;;;33788:162;;33902:6;33897:3;33890:19;33939:4;33934:3;33930:14;33915:29;;33883:67;;;;;33959:144;;34094:3;34079:18;;34072:31;;;;;34112:163;;34227:6;34222:3;34215:19;34264:4;34259:3;34255:14;34240:29;;34208:67;;;;;34284:145;;34420:3;34405:18;;34398:31;;;;;34437:91;;34499:24;34517:5;34499:24;;;34488:35;;34482:46;;;;34535:99;;34605:24;34623:5;34605:24;;;34594:35;;34588:46;;;;34641:85;;34714:5;34707:13;34700:21;34689:32;;34683:43;;;;34733:72;;34795:5;34784:16;;34778:27;;;;34812:107;;34890:24;34908:5;34890:24;;;34879:35;;34873:46;;;;34926:87;;35002:5;34998:2;34987:21;34976:32;;34970:43;;;;35020:121;;35093:42;35086:5;35082:54;35071:65;;35065:76;;;;35148:72;;35210:5;35199:16;;35193:27;;;;35227:81;;35298:4;35291:5;35287:16;35276:27;;35270:38;;;;35315:129;;35402:37;35433:5;35402:37;;;35389:50;;35383:61;;;;35451:165;;35552:59;35605:5;35552:59;;;35539:72;;35533:83;;;;35623:130;;35724:24;35742:5;35724:24;;;35711:37;;35705:48;;;;35760:163;;35860:58;35912:5;35860:58;;;35847:71;;35841:82;;;;35930:129;;36030:24;36048:5;36030:24;;;36017:37;;36011:48;;;;36066:169;;36169:61;36224:5;36169:61;;;36156:74;;36150:85;;;;36242:132;;36345:24;36363:5;36345:24;;;36332:37;;36326:48;;;;36381:114;;36467:23;36484:5;36467:23;;;36454:36;;36448:47;;;;36502:116;;36589:24;36607:5;36589:24;;;36576:37;;36570:48;;;;36625:114;;36711:23;36728:5;36711:23;;;36698:36;;36692:47;;;;36746:121;;36825:37;36856:5;36825:37;;;36812:50;;36806:61;;;;36874:108;;36953:24;36971:5;36953:24;;;36940:37;;36934:48;;;;36990:145;37071:6;37066:3;37061;37048:30;37127:1;37118:6;37113:3;37109:16;37102:27;37041:94;;;;37144:268;37209:1;37216:101;37230:6;37227:1;37224:13;37216:101;;;37306:1;37301:3;37297:11;37291:18;37287:1;37282:3;37278:11;37271:39;37252:2;37249:1;37245:10;37240:15;;37216:101;;;37332:6;37329:1;37326:13;37323:2;;;37397:1;37388:6;37383:3;37379:16;37372:27;37323:2;37193:219;;;;;37420:95;;37484:26;37504:5;37484:26;;;37473:37;;37467:48;;;;37522:89;;37586:20;37600:5;37586:20;;;37575:31;;37569:42;;;;37618:97;;37706:2;37702:7;37697:2;37690:5;37686:14;37682:28;37672:38;;37666:49;;;;37723:94;;37801:5;37797:2;37793:14;37771:36;;37765:52;;;;37825:117;37894:24;37912:5;37894:24;;;37887:5;37884:35;37874:2;;37933:1;37930;37923:12;37874:2;37868:74;;37949:133;38026:32;38052:5;38026:32;;;38019:5;38016:43;38006:2;;38073:1;38070;38063:12;38006:2;38000:82;;38089:111;38155:21;38170:5;38155:21;;;38148:5;38145:32;38135:2;;38191:1;38188;38181:12;38135:2;38129:71;;38207:117;38276:24;38294:5;38276:24;;;38269:5;38266:35;38256:2;;38315:1;38312;38305:12;38256:2;38250:74;;38331:149;38416:40;38450:5;38416:40;;;38409:5;38406:51;38396:2;;38471:1;38468;38461:12;38396:2;38390:90;;38487:117;38556:24;38574:5;38556:24;;;38549:5;38546:35;38536:2;;38595:1;38592;38585:12;38536:2;38530:74;;38611:113;38678:22;38694:5;38678:22;;;38671:5;38668:33;38658:2;;38715:1;38712;38705:12;38658:2;38652:72;

ipfs://7921e2cd127e659663abf96d01071d8562ff2d3a9c7d1d995a9e639e52ffea78