Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function tryAdd(uint256 a, uint256 b)    - function trySub(uint256 a, uint256 b)    - function tryMul(uint256 a, uint256 b)    - function tryDiv(uint256 a, uint256 b)    - function tryMod(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)    - function sub(    - function div(    - function mod( interface IERC20    - function decimals()    - function symbol()    - function name()    - function getOwner()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address _owner, ad ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function isOwner(address account)    - function renounceOwnership() interface IFactory    - function createPair(address tokenA, a ...    - function getPair(address tokenA, addr ... interface IRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function swapExactTokensForETHSupport ...  contract HEINLEIN is IERC20, Ownab ... *    - function name()    - function symbol()    - function decimals()    - function OpenTrading()    - function getOwner()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function setisExempt(address _address ...    - function approve(address spender, uin ...    - function totalSupply()    - function shouldContractSwap(address s ...    - function setContractSwapH(uint256 _sw ...    - function setTransactionRequireH(uint2 ...    - function setTransactionLimitH(uint256 ...    - function setInternalAddresses(address ...    - function setHBot(address[] calldata a ...    - function manualSwap()    - function rescueERC20(address _address ...    - function swapAndLiquify(uint256 token ...    - function addLiquidity(uint256 tokenAm ...    - function swapTokensForETH(uint256 tok ...    - function shouldTakeFee(address sender ...    - function getTotalFee(address sender, ...    - function takeFee(address sender, addr ...    - function _transfer(address sender, ad ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
"grok" originate from Robert A. Heinlein for his 1961 science fiction novel Stranger in a Strange Land

https://x.com/elonmusk/status/1721077493547794593?s=46&t=b3h1RbOrbI0o5k-ogLX3RQ

https://t.me/Heinlein_Erc20

https://twitter.com/Heinlein_Erc20

https://www.robert-a-heinlein.com/

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.19;


library SafeMath {

    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b <= a, errorMessage);
            return a - b;
        }
    }

    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a / b;
        }
    }

    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

interface IERC20 {
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    function getOwner() external view returns (address);
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address _owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);}

abstract contract Ownable {
    address internal owner;
    constructor(address _owner) {owner = _owner;}
    modifier onlyOwner() {require(isOwner(msg.sender), "!OWNER"); _;}
    function isOwner(address account) public view returns (bool) {return account == owner;}
    function  renounceOwnership() public onlyOwner {
        owner = address(0); 
        emit OwnershipTransferred(address(0));
    }
    event OwnershipTransferred(address owner);
}

interface IFactory{
        function createPair(address tokenA, address tokenB) external returns (address pair);
        function getPair(address tokenA, address tokenB) external view returns (address pair);
}

interface IRouter {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);

    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline) external;
}

contract HEINLEIN is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = unicode"Robert A. Heinlein";
    string private constant _symbol = unicode"HEINLEIN";
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 1000000000 * (10 ** _decimals);
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isFeeExempt;
    mapping (address => bool) private isBot;
    IRouter router;
    address public pair;
    bool private tradingAllowed = false;
    bool private swapEnabled = true;
    uint256 private swapTimes;
    bool private swapping;
    uint256 swapAmount = 1;
    uint256 private swapThreshold = ( _totalSupply * 1000 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 10 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 0;
    uint256 private developmentFee = 1000;
    uint256 private burnFee = 0;
    uint256 private totalFee = 0;
    uint256 private sellFee = 0;
    uint256 private transferFee = 0;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0x85306fFCD082a1f92b01F35a3328C3522eE8B23a; 
    address internal marketing_receiver = 0x85306fFCD082a1f92b01F35a3328C3522eE8B23a;
    address internal liquidity_receiver = 0x85306fFCD082a1f92b01F35a3328C3522eE8B23a;
    uint256 public _maxTxAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public _maxSellAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public _maxWalletToken = ( _totalSupply * 200 ) / 10000;

    constructor() Ownable(msg.sender) {
        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(address(this), _router.WETH());
        router = _router; pair = _pair;
        isFeeExempt[address(this)] = true;
        isFeeExempt[liquidity_receiver] = true;
        isFeeExempt[marketing_receiver] = true;
        isFeeExempt[development_receiver] = true;
        isFeeExempt[msg.sender] = true;
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }

    receive() external payable {}
    function name() public pure returns (string memory) {return _name;}
    function symbol() public pure returns (string memory) {return _symbol;}
    function decimals() public pure returns (uint8) {return _decimals;}
    function OpenTrading() external onlyOwner {tradingAllowed = true;}
    function getOwner() external view override returns (address) { return owner; }
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, recipient, amount);return true;}
    function allowance(address owner, address spender) public view override returns (uint256) {return _allowances[owner][spender];}
    function setisExempt(address _address, bool _enabled) external onlyOwner {isFeeExempt[_address] = _enabled;}
    function approve(address spender, uint256 amount) public override returns (bool) {_approve(msg.sender, spender, amount);return true;}
    function totalSupply() public view override returns (uint256) {return _totalSupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}

    function shouldContractSwap(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= minTokenAmount;
        bool aboveThreshold = balanceOf(address(this)) >= swapThreshold;
        return !swapping && swapEnabled && tradingAllowed && aboveMin && !isFeeExempt[sender] && recipient == pair && swapTimes >= swapAmount && aboveThreshold;
    }

    function setContractSwapH(uint256 _swapAmount, uint256 _swapThreshold, uint256 _minTokenAmount) external onlyOwner {
        swapAmount = _swapAmount; swapThreshold = _totalSupply.mul(_swapThreshold).div(uint256(100000)); 
        minTokenAmount = _totalSupply.mul(_minTokenAmount).div(uint256(100000));
    }

    function setTransactionRequireH(uint256 _liquidity, uint256 _marketing, uint256 _burn, uint256 _development, uint256 _total, uint256 _sell, uint256 _trans) external onlyOwner {
        liquidityFee = _liquidity; marketingFee = _marketing; burnFee = _burn; developmentFee = _development; totalFee = _total; sellFee = _sell; transferFee = _trans;
        require(totalFee <= denominator.div(1) && sellFee <= denominator.div(1) && transferFee <= denominator.div(1), "totalFee and sellFee cannot be more than 20%");
    }

    function setTransactionLimitH(uint256 _buy, uint256 _sell, uint256 _wallet) external onlyOwner {
        uint256 newTx = _totalSupply.mul(_buy).div(10000); uint256 newTransfer = _totalSupply.mul(_sell).div(10000); uint256 newWallet = _totalSupply.mul(_wallet).div(10000);
        _maxTxAmount = newTx; _maxSellAmount = newTransfer; _maxWalletToken = newWallet;
        uint256 limit = totalSupply().mul(5).div(1000);
        require(newTx >= limit && newTransfer >= limit && newWallet >= limit, "Max TXs and Max Wallet cannot be less than .5%");
    }

    function setInternalAddresses(address _marketing, address _liquidity, address _development) external onlyOwner {
        marketing_receiver = _marketing; liquidity_receiver = _liquidity; development_receiver = _development;
        isFeeExempt[_marketing] = true; isFeeExempt[_liquidity] = true; isFeeExempt[_development] = true;
    }

    function setHBot(address[] calldata addresses, bool _enabled) external onlyOwner {
        for(uint i=0; i < addresses.length; i++){
        isBot[addresses[i]] = _enabled; }
    }

    function manualSwap() external onlyOwner {
        swapAndLiquify(swapThreshold);
    }

    function rescueERC20(address _address, uint256 percent) external onlyOwner {
        uint256 _amount = IERC20(_address).balanceOf(address(this)).mul(percent).div(100);
        IERC20(_address).transfer(development_receiver, _amount);
    }

    function swapAndLiquify(uint256 tokens) private lockTheSwap {
        uint256 _denominator = (liquidityFee.add(1).add(marketingFee).add(developmentFee)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(liquidityFee).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensForETH(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(liquidityFee));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(liquidityFee);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(marketingFee);
        if(marketingAmt > 0){payable(marketing_receiver).transfer(marketingAmt);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(development_receiver).transfer(contractBalance);}
    }

    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidity_receiver,
            block.timestamp);
    }

    function swapTokensForETH(uint256 tokenAmount) private {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();
        _approve(address(this), address(router), tokenAmount);
        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp);
    }

    function shouldTakeFee(address sender, address recipient) internal view returns (bool) {
        return !isFeeExempt[sender] && !isFeeExempt[recipient];
    }

    function getTotalFee(address sender, address recipient) internal view returns (uint256) {
        if(isBot[sender] || isBot[recipient]){return denominator.sub(uint256(100));}
        if(recipient == pair){return sellFee;}
        if(sender == pair){return totalFee;}
        return transferFee;
    }

    function takeFee(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if(getTotalFee(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(getTotalFee(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        if(burnFee > uint256(0) && getTotalFee(sender, recipient) > burnFee){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }

    function _transfer(address sender, address recipient, uint256 amount) private {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount <= balanceOf(sender),"You are trying to transfer more than your balance");
        if(!isFeeExempt[sender] && !isFeeExempt[recipient]){require(tradingAllowed, "tradingAllowed");}
        if(!isFeeExempt[sender] && !isFeeExempt[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= _maxWalletToken, "Exceeds maximum wallet amount.");}
        if(sender != pair){require(amount <= _maxSellAmount || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded");}
        require(amount <= _maxTxAmount || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isFeeExempt[sender]){swapTimes += uint256(1);}
        if(shouldContractSwap(sender, recipient, amount)){swapAndLiquify(swapThreshold); swapTimes = uint256(0);}
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = shouldTakeFee(sender, recipient) ? takeFee(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"OpenTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"_maxSellAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isFeeExempt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"uint256","name":"percent","type":"uint256"}],"name":"rescueERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_swapAmount","type":"uint256"},{"internalType":"uint256","name":"_swapThreshold","type":"uint256"},{"internalType":"uint256","name":"_minTokenAmount","type":"uint256"}],"name":"setContractSwapH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"addresses","type":"address[]"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setHBot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_marketing","type":"address"},{"internalType":"address","name":"_liquidity","type":"address"},{"internalType":"address","name":"_development","type":"address"}],"name":"setInternalAddresses","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_buy","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_wallet","type":"uint256"}],"name":"setTransactionLimitH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_liquidity","type":"uint256"},{"internalType":"uint256","name":"_marketing","type":"uint256"},{"internalType":"uint256","name":"_burn","type":"uint256"},{"internalType":"uint256","name":"_development","type":"uint256"},{"internalType":"uint256","name":"_total","type":"uint256"},{"internalType":"uint256","name":"_sell","type":"uint256"},{"internalType":"uint256","name":"_trans","type":"uint256"}],"name":"setTransactionRequireH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setisExempt","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526009600a62000014919062000902565b633b9aca0062000025919062000953565b6001556000600760146101000a81548160ff0219169083151502179055506001600760156101000a81548160ff0219169083151502179055506001600a55620186a06103e860015462000079919062000953565b620000859190620009cd565b600b55620186a0600a6001546200009d919062000953565b620000a99190620009cd565b600c556000600d556000600e556103e8600f5560006010556000601155600060125560006013556127106014557385306ffcd082a1f92b01f35a3328c3522ee8b23a601560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507385306ffcd082a1f92b01f35a3328c3522ee8b23a601660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507385306ffcd082a1f92b01f35a3328c3522ee8b23a601760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555061271060c8600154620001e9919062000953565b620001f59190620009cd565b60185561271060c86001546200020c919062000953565b620002189190620009cd565b60195561271060c86001546200022f919062000953565b6200023b9190620009cd565b601a553480156200024b57600080fd5b5033806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550506000737a250d5630b4cf539739df2c5dacb4c659f2488d905060008173ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015620002f5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200031b919062000a6f565b73ffffffffffffffffffffffffffffffffffffffff1663c9c65396308473ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000383573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620003a9919062000a6f565b6040518363ffffffff1660e01b8152600401620003c892919062000ab2565b6020604051808303816000875af1158015620003e8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200040e919062000a6f565b905081600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600460003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600160046000601760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600160046000601660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600160046000601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600154600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60015460405162000758919062000af0565b60405180910390a3505062000b0d565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b6001851115620007f657808604811115620007ce57620007cd62000768565b5b6001851615620007de5780820291505b8081029050620007ee8562000797565b9450620007ae565b94509492505050565b600082620008115760019050620008e4565b81620008215760009050620008e4565b81600181146200083a576002811462000845576200087b565b6001915050620008e4565b60ff8411156200085a576200085962000768565b5b8360020a91508482111562000874576200087362000768565b5b50620008e4565b5060208310610133831016604e8410600b8410161715620008b55782820a905083811115620008af57620008ae62000768565b5b620008e4565b620008c48484846001620007a4565b92509050818404811115620008de57620008dd62000768565b5b81810290505b9392505050565b6000819050919050565b600060ff82169050919050565b60006200090f82620008eb565b91506200091c83620008f5565b92506200094b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620007ff565b905092915050565b60006200096082620008eb565b91506200096d83620008eb565b92508282026200097d81620008eb565b9150828204841483151762000997576200099662000768565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000620009da82620008eb565b9150620009e783620008eb565b925082620009fa57620009f96200099e565b5b828204905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600062000a378262000a0a565b9050919050565b62000a498162000a2a565b811462000a5557600080fd5b50565b60008151905062000a698162000a3e565b92915050565b60006020828403121562000a885762000a8762000a05565b5b600062000a988482850162000a58565b91505092915050565b62000aac8162000a2a565b82525050565b600060408201905062000ac9600083018562000aa1565b62000ad8602083018462000aa1565b9392505050565b62000aea81620008eb565b82525050565b600060208201905062000b07600083018462000adf565b92915050565b613a2b8062000b1d6000396000f3fe6080604052600436106101855760003560e01c806378109e54116100d157806393dd199e1161008a578063a9059cbb11610064578063a9059cbb14610557578063d4de116b14610594578063d5c78e39146105bd578063dd62ed3e146105e65761018c565b806393dd199e146104d857806395d89b4114610501578063a8aa1b311461052c5761018c565b806378109e54146103da5780637cca52fe146104055780637d1db4a514610430578063893d20e81461045b5780638cd4426d146104865780639213c358146104af5761018c565b80633f4218e01161013e57806351cd7cc31161011857806351cd7cc3146103465780636b4ab4ed1461035d57806370a0823114610386578063715018a6146103c35761018c565b80633f4218e0146102c957806348ff2b8b1461030657806351bc3c851461032f5761018c565b806306fdde0314610191578063095ea7b3146101bc57806318160ddd146101f957806323b872dd146102245780632f54bf6e14610261578063313ce5671461029e5761018c565b3661018c57005b600080fd5b34801561019d57600080fd5b506101a6610623565b6040516101b39190612a46565b60405180910390f35b3480156101c857600080fd5b506101e360048036038101906101de9190612b06565b610660565b6040516101f09190612b61565b60405180910390f35b34801561020557600080fd5b5061020e610677565b60405161021b9190612b8b565b60405180910390f35b34801561023057600080fd5b5061024b60048036038101906102469190612ba6565b6106b8565b6040516102589190612b61565b60405180910390f35b34801561026d57600080fd5b5061028860048036038101906102839190612bf9565b610783565b6040516102959190612b61565b60405180910390f35b3480156102aa57600080fd5b506102b36107dc565b6040516102c09190612c42565b60405180910390f35b3480156102d557600080fd5b506102f060048036038101906102eb9190612bf9565b6107e5565b6040516102fd9190612b61565b60405180910390f35b34801561031257600080fd5b5061032d60048036038101906103289190612c89565b610805565b005b34801561033b57600080fd5b506103446108a8565b005b34801561035257600080fd5b5061035b6108fd565b005b34801561036957600080fd5b50610384600480360381019061037f9190612d2e565b610962565b005b34801561039257600080fd5b506103ad60048036038101906103a89190612bf9565b610a4f565b6040516103ba9190612b8b565b60405180910390f35b3480156103cf57600080fd5b506103d8610a98565b005b3480156103e657600080fd5b506103ef610b5b565b6040516103fc9190612b8b565b60405180910390f35b34801561041157600080fd5b5061041a610b61565b6040516104279190612b8b565b60405180910390f35b34801561043c57600080fd5b50610445610b67565b6040516104529190612b8b565b60405180910390f35b34801561046757600080fd5b50610470610b6d565b60405161047d9190612d9d565b60405180910390f35b34801561049257600080fd5b506104ad60048036038101906104a89190612b06565b610b96565b005b3480156104bb57600080fd5b506104d660048036038101906104d19190612db8565b610d27565b005b3480156104e457600080fd5b506104ff60048036038101906104fa9190612e0b565b610f3f565b005b34801561050d57600080fd5b50610516611061565b6040516105239190612a46565b60405180910390f35b34801561053857600080fd5b5061054161109e565b60405161054e9190612d9d565b60405180910390f35b34801561056357600080fd5b5061057e60048036038101906105799190612b06565b6110c4565b60405161058b9190612b61565b60405180910390f35b3480156105a057600080fd5b506105bb60048036038101906105b69190612ead565b6110db565b005b3480156105c957600080fd5b506105e460048036038101906105df9190612ead565b611256565b005b3480156105f257600080fd5b5061060d60048036038101906106089190612f00565b61130a565b60405161061a9190612b8b565b60405180910390f35b60606040518060400160405280601281526020017f526f6265727420412e204865696e6c65696e0000000000000000000000000000815250905090565b600061066d338484611391565b6001905092915050565b60006106b36106866000610a4f565b6106a561069461dead610a4f565b60015461155a90919063ffffffff16565b61155a90919063ffffffff16565b905090565b60006106c5848484611570565b6107788433610773856040518060600160405280602881526020016139ce60289139600360008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e3a9092919063ffffffff16565b611391565b600190509392505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16149050919050565b60006009905090565b60046020528060005260406000206000915054906101000a900460ff1681565b61080e33610783565b61084d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084490612f8c565b60405180910390fd5b80600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6108b133610783565b6108f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e790612f8c565b60405180910390fd5b6108fb600b54611e8f565b565b61090633610783565b610945576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093c90612f8c565b60405180910390fd5b6001600760146101000a81548160ff021916908315150217905550565b61096b33610783565b6109aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a190612f8c565b60405180910390fd5b60005b83839050811015610a495781600560008686858181106109d0576109cf612fac565b5b90506020020160208101906109e59190612bf9565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508080610a419061300a565b9150506109ad565b50505050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610aa133610783565b610ae0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad790612f8c565b60405180910390fd5b60008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861636000604051610b519190612d9d565b60405180910390a1565b601a5481565b60195481565b60185481565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b610b9f33610783565b610bde576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bd590612f8c565b60405180910390fd5b6000610c7f6064610c71848673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610c229190612d9d565b602060405180830381865afa158015610c3f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c639190613067565b6120fc90919063ffffffff16565b61211290919063ffffffff16565b90508273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401610cde929190613094565b6020604051808303816000875af1158015610cfd573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d2191906130d2565b50505050565b610d3033610783565b610d6f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d6690612f8c565b60405180910390fd5b82601660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081601760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080601560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505050565b610f4833610783565b610f87576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f7e90612f8c565b60405180910390fd5b86600d8190555085600e819055508460108190555083600f81905550826011819055508160128190555080601381905550610fce600160145461211290919063ffffffff16565b60115411158015610ff65750610ff0600160145461211290919063ffffffff16565b60125411155b80156110195750611013600160145461211290919063ffffffff16565b60135411155b611058576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161104f90613171565b60405180910390fd5b50505050505050565b60606040518060400160405280600881526020017f4845494e4c45494e000000000000000000000000000000000000000000000000815250905090565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006110d1338484611570565b6001905092915050565b6110e433610783565b611123576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161111a90612f8c565b60405180910390fd5b600061114e612710611140866001546120fc90919063ffffffff16565b61211290919063ffffffff16565b9050600061117b61271061116d866001546120fc90919063ffffffff16565b61211290919063ffffffff16565b905060006111a861271061119a866001546120fc90919063ffffffff16565b61211290919063ffffffff16565b9050826018819055508160198190555080601a8190555060006111f06103e86111e260056111d4610677565b6120fc90919063ffffffff16565b61211290919063ffffffff16565b90508084101580156112025750808310155b801561120e5750808210155b61124d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161124490613203565b60405180910390fd5b50505050505050565b61125f33610783565b61129e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161129590612f8c565b60405180910390fd5b82600a819055506112cf620186a06112c1846001546120fc90919063ffffffff16565b61211290919063ffffffff16565b600b819055506112ff620186a06112f1836001546120fc90919063ffffffff16565b61211290919063ffffffff16565b600c81905550505050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611400576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113f790613295565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361146f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161146690613327565b60405180910390fd5b80600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161154d9190612b8b565b60405180910390a3505050565b600081836115689190613347565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036115df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115d6906133ed565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361164e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116459061347f565b60405180910390fd5b61165783610a4f565b811115611699576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169090613511565b60405180910390fd5b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615801561173d5750600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b1561179257600760149054906101000a900460ff16611791576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117889061357d565b60405180910390fd5b5b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161580156118365750600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b80156118905750600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b80156118ca575061dead73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b1561196657601a5461192482600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461212890919063ffffffff16565b1115611965576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161195c906135e9565b60405180910390fd5b5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611aa95760195481111580611a155750600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b80611a695750600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b611aa8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a9f90613655565b60405180910390fd5b5b60185481111580611b035750600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b80611b575750600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b611b96576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b8d90613655565b60405180910390fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16148015611c3d5750600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b15611c5d57600160086000828254611c559190613675565b925050819055505b611c6883838361213e565b15611c8157611c78600b54611e8f565b60006008819055505b611cd381600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461155a90919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000611d228484612278565b611d2c5781611d38565b611d37848484612326565b5b9050611d8c81600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461212890919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611e2c9190612b8b565b60405180910390a350505050565b6000838311158290611e82576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e799190612a46565b60405180910390fd5b5082840390509392505050565b6001600960006101000a81548160ff0219169083151502179055506000611efd6002611eef600f54611ee1600e54611ed36001600d5461212890919063ffffffff16565b61212890919063ffffffff16565b61212890919063ffffffff16565b6120fc90919063ffffffff16565b90506000611f2882611f1a600d54866120fc90919063ffffffff16565b61211290919063ffffffff16565b90506000611f3f828561155a90919063ffffffff16565b90506000479050611f4f826124e4565b6000611f64824761155a90919063ffffffff16565b90506000611f8f611f80600d548861155a90919063ffffffff16565b8361211290919063ffffffff16565b90506000611fa8600d54836120fc90919063ffffffff16565b90506000811115611fbe57611fbd8682612727565b5b6000611fe8600e54611fda6002866120fc90919063ffffffff16565b6120fc90919063ffffffff16565b9050600081111561205d57601660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f1935050505015801561205b573d6000803e3d6000fd5b505b600047905060008111156120d557601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f193505050501580156120d3573d6000803e3d6000fd5b505b5050505050505050506000600960006101000a81548160ff02191690831515021790555050565b6000818361210a91906136a9565b905092915050565b60008183612120919061371a565b905092915050565b600081836121369190613675565b905092915050565b600080600c5483101590506000600b5461215730610a4f565b10159050600960009054906101000a900460ff161580156121845750600760159054906101000a900460ff165b801561219c5750600760149054906101000a900460ff165b80156121a55750815b80156121fb5750600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b80156122545750600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16145b80156122645750600a5460085410155b801561226d5750805b925050509392505050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615801561231e5750600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b905092915050565b6000806123338585612827565b11156124d957600061236b6123488686612827565b61235d6014548661211290919063ffffffff16565b6120fc90919063ffffffff16565b90506123bf81600260003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461212890919063ffffffff16565b600260003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161245f9190612b8b565b60405180910390a3600060105411801561248357506010546124818686612827565b115b156124be576124bd3061dead6124b86010546124aa6014548961211290919063ffffffff16565b6120fc90919063ffffffff16565b611570565b5b6124d1818461155a90919063ffffffff16565b9150506124dd565b8190505b9392505050565b6000600267ffffffffffffffff8111156125015761250061374b565b5b60405190808252806020026020018201604052801561252f5781602001602082028036833780820191505090505b509050308160008151811061254757612546612fac565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156125ee573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612612919061378f565b8160018151811061262657612625612fac565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505061268d30600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684611391565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac9478360008430426040518663ffffffff1660e01b81526004016126f19594939291906138bf565b600060405180830381600087803b15801561270b57600080fd5b505af115801561271f573d6000803e3d6000fd5b505050505050565b61275430600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684611391565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d719823085600080601760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16426040518863ffffffff1660e01b81526004016127dd96959493929190613919565b60606040518083038185885af11580156127fb573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190612820919061397a565b5050505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806128ca5750600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b156128ec576128e5606460145461155a90919063ffffffff16565b90506129b0565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361294b5760125490506129b0565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036129aa5760115490506129b0565b60135490505b92915050565b600081519050919050565b600082825260208201905092915050565b60005b838110156129f05780820151818401526020810190506129d5565b60008484015250505050565b6000601f19601f8301169050919050565b6000612a18826129b6565b612a2281856129c1565b9350612a328185602086016129d2565b612a3b816129fc565b840191505092915050565b60006020820190508181036000830152612a608184612a0d565b905092915050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000612a9d82612a72565b9050919050565b612aad81612a92565b8114612ab857600080fd5b50565b600081359050612aca81612aa4565b92915050565b6000819050919050565b612ae381612ad0565b8114612aee57600080fd5b50565b600081359050612b0081612ada565b92915050565b60008060408385031215612b1d57612b1c612a68565b5b6000612b2b85828601612abb565b9250506020612b3c85828601612af1565b9150509250929050565b60008115159050919050565b612b5b81612b46565b82525050565b6000602082019050612b766000830184612b52565b92915050565b612b8581612ad0565b82525050565b6000602082019050612ba06000830184612b7c565b92915050565b600080600060608486031215612bbf57612bbe612a68565b5b6000612bcd86828701612abb565b9350506020612bde86828701612abb565b9250506040612bef86828701612af1565b9150509250925092565b600060208284031215612c0f57612c0e612a68565b5b6000612c1d84828501612abb565b91505092915050565b600060ff82169050919050565b612c3c81612c26565b82525050565b6000602082019050612c576000830184612c33565b92915050565b612c6681612b46565b8114612c7157600080fd5b50565b600081359050612c8381612c5d565b92915050565b60008060408385031215612ca057612c9f612a68565b5b6000612cae85828601612abb565b9250506020612cbf85828601612c74565b9150509250929050565b600080fd5b600080fd5b600080fd5b60008083601f840112612cee57612ced612cc9565b5b8235905067ffffffffffffffff811115612d0b57612d0a612cce565b5b602083019150836020820283011115612d2757612d26612cd3565b5b9250929050565b600080600060408486031215612d4757612d46612a68565b5b600084013567ffffffffffffffff811115612d6557612d64612a6d565b5b612d7186828701612cd8565b93509350506020612d8486828701612c74565b9150509250925092565b612d9781612a92565b82525050565b6000602082019050612db26000830184612d8e565b92915050565b600080600060608486031215612dd157612dd0612a68565b5b6000612ddf86828701612abb565b9350506020612df086828701612abb565b9250506040612e0186828701612abb565b9150509250925092565b600080600080600080600060e0888a031215612e2a57612e29612a68565b5b6000612e388a828b01612af1565b9750506020612e498a828b01612af1565b9650506040612e5a8a828b01612af1565b9550506060612e6b8a828b01612af1565b9450506080612e7c8a828b01612af1565b93505060a0612e8d8a828b01612af1565b92505060c0612e9e8a828b01612af1565b91505092959891949750929550565b600080600060608486031215612ec657612ec5612a68565b5b6000612ed486828701612af1565b9350506020612ee586828701612af1565b9250506040612ef686828701612af1565b9150509250925092565b60008060408385031215612f1757612f16612a68565b5b6000612f2585828601612abb565b9250506020612f3685828601612abb565b9150509250929050565b7f214f574e45520000000000000000000000000000000000000000000000000000600082015250565b6000612f766006836129c1565b9150612f8182612f40565b602082019050919050565b60006020820190508181036000830152612fa581612f69565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061301582612ad0565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361304757613046612fdb565b5b600182019050919050565b60008151905061306181612ada565b92915050565b60006020828403121561307d5761307c612a68565b5b600061308b84828501613052565b91505092915050565b60006040820190506130a96000830185612d8e565b6130b66020830184612b7c565b9392505050565b6000815190506130cc81612c5d565b92915050565b6000602082840312156130e8576130e7612a68565b5b60006130f6848285016130bd565b91505092915050565b7f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60008201527f6f7265207468616e203230250000000000000000000000000000000000000000602082015250565b600061315b602c836129c1565b9150613166826130ff565b604082019050919050565b6000602082019050818103600083015261318a8161314e565b9050919050565b7f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560008201527f206c657373207468616e202e3525000000000000000000000000000000000000602082015250565b60006131ed602e836129c1565b91506131f882613191565b604082019050919050565b6000602082019050818103600083015261321c816131e0565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b600061327f6024836129c1565b915061328a82613223565b604082019050919050565b600060208201905081810360008301526132ae81613272565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b60006133116022836129c1565b915061331c826132b5565b604082019050919050565b6000602082019050818103600083015261334081613304565b9050919050565b600061335282612ad0565b915061335d83612ad0565b925082820390508181111561337557613374612fdb565b5b92915050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b60006133d76025836129c1565b91506133e28261337b565b604082019050919050565b60006020820190508181036000830152613406816133ca565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006134696023836129c1565b91506134748261340d565b604082019050919050565b600060208201905081810360008301526134988161345c565b9050919050565b7f596f752061726520747279696e6720746f207472616e73666572206d6f72652060008201527f7468616e20796f75722062616c616e6365000000000000000000000000000000602082015250565b60006134fb6031836129c1565b91506135068261349f565b604082019050919050565b6000602082019050818103600083015261352a816134ee565b9050919050565b7f74726164696e67416c6c6f776564000000000000000000000000000000000000600082015250565b6000613567600e836129c1565b915061357282613531565b602082019050919050565b600060208201905081810360008301526135968161355a565b9050919050565b7f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000600082015250565b60006135d3601e836129c1565b91506135de8261359d565b602082019050919050565b60006020820190508181036000830152613602816135c6565b9050919050565b7f5458204c696d6974204578636565646564000000000000000000000000000000600082015250565b600061363f6011836129c1565b915061364a82613609565b602082019050919050565b6000602082019050818103600083015261366e81613632565b9050919050565b600061368082612ad0565b915061368b83612ad0565b92508282019050808211156136a3576136a2612fdb565b5b92915050565b60006136b482612ad0565b91506136bf83612ad0565b92508282026136cd81612ad0565b915082820484148315176136e4576136e3612fdb565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061372582612ad0565b915061373083612ad0565b9250826137405761373f6136eb565b5b828204905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60008151905061378981612aa4565b92915050565b6000602082840312156137a5576137a4612a68565b5b60006137b38482850161377a565b91505092915050565b6000819050919050565b6000819050919050565b60006137eb6137e66137e1846137bc565b6137c6565b612ad0565b9050919050565b6137fb816137d0565b82525050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b61383681612a92565b82525050565b6000613848838361382d565b60208301905092915050565b6000602082019050919050565b600061386c82613801565b613876818561380c565b93506138818361381d565b8060005b838110156138b2578151613899888261383c565b97506138a483613854565b925050600181019050613885565b5085935050505092915050565b600060a0820190506138d46000830188612b7c565b6138e160208301876137f2565b81810360408301526138f38186613861565b90506139026060830185612d8e565b61390f6080830184612b7c565b9695505050505050565b600060c08201905061392e6000830189612d8e565b61393b6020830188612b7c565b61394860408301876137f2565b61395560608301866137f2565b6139626080830185612d8e565b61396f60a0830184612b7c565b979650505050505050565b60008060006060848603121561399357613992612a68565b5b60006139a186828701613052565b93505060206139b286828701613052565b92505060406139c386828701613052565b915050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207105a7928285abf6383e32786c895cefd44251c0b39598474ffb7ee08773d2cd64736f6c63430008130033

0x6080604052600436106101855760003560e01c806378109e54116100d157806393dd199e1161008a578063a9059cbb11610064578063a9059cbb14610557578063d4de116b14610594578063d5c78e39146105bd578063dd62ed3e146105e65761018c565b806393dd199e146104d857806395d89b4114610501578063a8aa1b311461052c5761018c565b806378109e54146103da5780637cca52fe146104055780637d1db4a514610430578063893d20e81461045b5780638cd4426d146104865780639213c358146104af5761018c565b80633f4218e01161013e57806351cd7cc31161011857806351cd7cc3146103465780636b4ab4ed1461035d57806370a0823114610386578063715018a6146103c35761018c565b80633f4218e0146102c957806348ff2b8b1461030657806351bc3c851461032f5761018c565b806306fdde0314610191578063095ea7b3146101bc57806318160ddd146101f957806323b872dd146102245780632f54bf6e14610261578063313ce5671461029e5761018c565b3661018c57005b600080fd5b34801561019d57600080fd5b506101a6610623565b6040516101b39190612a46565b60405180910390f35b3480156101c857600080fd5b506101e360048036038101906101de9190612b06565b610660565b6040516101f09190612b61565b60405180910390f35b34801561020557600080fd5b5061020e610677565b60405161021b9190612b8b565b60405180910390f35b34801561023057600080fd5b5061024b60048036038101906102469190612ba6565b6106b8565b6040516102589190612b61565b60405180910390f35b34801561026d57600080fd5b5061028860048036038101906102839190612bf9565b610783565b6040516102959190612b61565b60405180910390f35b3480156102aa57600080fd5b506102b36107dc565b6040516102c09190612c42565b60405180910390f35b3480156102d557600080fd5b506102f060048036038101906102eb9190612bf9565b6107e5565b6040516102fd9190612b61565b60405180910390f35b34801561031257600080fd5b5061032d60048036038101906103289190612c89565b610805565b005b34801561033b57600080fd5b506103446108a8565b005b34801561035257600080fd5b5061035b6108fd565b005b34801561036957600080fd5b50610384600480360381019061037f9190612d2e565b610962565b005b34801561039257600080fd5b506103ad60048036038101906103a89190612bf9565b610a4f565b6040516103ba9190612b8b565b60405180910390f35b3480156103cf57600080fd5b506103d8610a98565b005b3480156103e657600080fd5b506103ef610b5b565b6040516103fc9190612b8b565b60405180910390f35b34801561041157600080fd5b5061041a610b61565b6040516104279190612b8b565b60405180910390f35b34801561043c57600080fd5b50610445610b67565b6040516104529190612b8b565b60405180910390f35b34801561046757600080fd5b50610470610b6d565b60405161047d9190612d9d565b60405180910390f35b34801561049257600080fd5b506104ad60048036038101906104a89190612b06565b610b96565b005b3480156104bb57600080fd5b506104d660048036038101906104d19190612db8565b610d27565b005b3480156104e457600080fd5b506104ff60048036038101906104fa9190612e0b565b610f3f565b005b34801561050d57600080fd5b50610516611061565b6040516105239190612a46565b60405180910390f35b34801561053857600080fd5b5061054161109e565b60405161054e9190612d9d565b60405180910390f35b34801561056357600080fd5b5061057e60048036038101906105799190612b06565b6110c4565b60405161058b9190612b61565b60405180910390f35b3480156105a057600080fd5b506105bb60048036038101906105b69190612ead565b6110db565b005b3480156105c957600080fd5b506105e460048036038101906105df9190612ead565b611256565b005b3480156105f257600080fd5b5061060d60048036038101906106089190612f00565b61130a565b60405161061a9190612b8b565b60405180910390f35b60606040518060400160405280601281526020017f526f6265727420412e204865696e6c65696e0000000000000000000000000000815250905090565b600061066d338484611391565b6001905092915050565b60006106b36106866000610a4f565b6106a561069461dead610a4f565b60015461155a90919063ffffffff16565b61155a90919063ffffffff16565b905090565b60006106c5848484611570565b6107788433610773856040518060600160405280602881526020016139ce60289139600360008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e3a9092919063ffffffff16565b611391565b600190509392505050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16149050919050565b60006009905090565b60046020528060005260406000206000915054906101000a900460ff1681565b61080e33610783565b61084d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161084490612f8c565b60405180910390fd5b80600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6108b133610783565b6108f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e790612f8c565b60405180910390fd5b6108fb600b54611e8f565b565b61090633610783565b610945576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093c90612f8c565b60405180910390fd5b6001600760146101000a81548160ff021916908315150217905550565b61096b33610783565b6109aa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109a190612f8c565b60405180910390fd5b60005b83839050811015610a495781600560008686858181106109d0576109cf612fac565b5b90506020020160208101906109e59190612bf9565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508080610a419061300a565b9150506109ad565b50505050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610aa133610783565b610ae0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ad790612f8c565b60405180910390fd5b60008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861636000604051610b519190612d9d565b60405180910390a1565b601a5481565b60195481565b60185481565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b610b9f33610783565b610bde576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bd590612f8c565b60405180910390fd5b6000610c7f6064610c71848673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610c229190612d9d565b602060405180830381865afa158015610c3f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c639190613067565b6120fc90919063ffffffff16565b61211290919063ffffffff16565b90508273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401610cde929190613094565b6020604051808303816000875af1158015610cfd573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d2191906130d2565b50505050565b610d3033610783565b610d6f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d6690612f8c565b60405180910390fd5b82601660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081601760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080601560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505050565b610f4833610783565b610f87576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f7e90612f8c565b60405180910390fd5b86600d8190555085600e819055508460108190555083600f81905550826011819055508160128190555080601381905550610fce600160145461211290919063ffffffff16565b60115411158015610ff65750610ff0600160145461211290919063ffffffff16565b60125411155b80156110195750611013600160145461211290919063ffffffff16565b60135411155b611058576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161104f90613171565b60405180910390fd5b50505050505050565b60606040518060400160405280600881526020017f4845494e4c45494e000000000000000000000000000000000000000000000000815250905090565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006110d1338484611570565b6001905092915050565b6110e433610783565b611123576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161111a90612f8c565b60405180910390fd5b600061114e612710611140866001546120fc90919063ffffffff16565b61211290919063ffffffff16565b9050600061117b61271061116d866001546120fc90919063ffffffff16565b61211290919063ffffffff16565b905060006111a861271061119a866001546120fc90919063ffffffff16565b61211290919063ffffffff16565b9050826018819055508160198190555080601a8190555060006111f06103e86111e260056111d4610677565b6120fc90919063ffffffff16565b61211290919063ffffffff16565b90508084101580156112025750808310155b801561120e5750808210155b61124d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161124490613203565b60405180910390fd5b50505050505050565b61125f33610783565b61129e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161129590612f8c565b60405180910390fd5b82600a819055506112cf620186a06112c1846001546120fc90919063ffffffff16565b61211290919063ffffffff16565b600b819055506112ff620186a06112f1836001546120fc90919063ffffffff16565b61211290919063ffffffff16565b600c81905550505050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611400576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113f790613295565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361146f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161146690613327565b60405180910390fd5b80600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161154d9190612b8b565b60405180910390a3505050565b600081836115689190613347565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036115df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115d6906133ed565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361164e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116459061347f565b60405180910390fd5b61165783610a4f565b811115611699576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161169090613511565b60405180910390fd5b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615801561173d5750600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b1561179257600760149054906101000a900460ff16611791576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117889061357d565b60405180910390fd5b5b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161580156118365750600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b80156118905750600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b80156118ca575061dead73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b1561196657601a5461192482600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461212890919063ffffffff16565b1115611965576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161195c906135e9565b60405180910390fd5b5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611aa95760195481111580611a155750600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b80611a695750600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b611aa8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a9f90613655565b60405180910390fd5b5b60185481111580611b035750600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b80611b575750600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b611b96576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b8d90613655565b60405180910390fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16148015611c3d5750600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b15611c5d57600160086000828254611c559190613675565b925050819055505b611c6883838361213e565b15611c8157611c78600b54611e8f565b60006008819055505b611cd381600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461155a90919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000611d228484612278565b611d2c5781611d38565b611d37848484612326565b5b9050611d8c81600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461212890919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611e2c9190612b8b565b60405180910390a350505050565b6000838311158290611e82576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e799190612a46565b60405180910390fd5b5082840390509392505050565b6001600960006101000a81548160ff0219169083151502179055506000611efd6002611eef600f54611ee1600e54611ed36001600d5461212890919063ffffffff16565b61212890919063ffffffff16565b61212890919063ffffffff16565b6120fc90919063ffffffff16565b90506000611f2882611f1a600d54866120fc90919063ffffffff16565b61211290919063ffffffff16565b90506000611f3f828561155a90919063ffffffff16565b90506000479050611f4f826124e4565b6000611f64824761155a90919063ffffffff16565b90506000611f8f611f80600d548861155a90919063ffffffff16565b8361211290919063ffffffff16565b90506000611fa8600d54836120fc90919063ffffffff16565b90506000811115611fbe57611fbd8682612727565b5b6000611fe8600e54611fda6002866120fc90919063ffffffff16565b6120fc90919063ffffffff16565b9050600081111561205d57601660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f1935050505015801561205b573d6000803e3d6000fd5b505b600047905060008111156120d557601560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f193505050501580156120d3573d6000803e3d6000fd5b505b5050505050505050506000600960006101000a81548160ff02191690831515021790555050565b6000818361210a91906136a9565b905092915050565b60008183612120919061371a565b905092915050565b600081836121369190613675565b905092915050565b600080600c5483101590506000600b5461215730610a4f565b10159050600960009054906101000a900460ff161580156121845750600760159054906101000a900460ff165b801561219c5750600760149054906101000a900460ff165b80156121a55750815b80156121fb5750600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b80156122545750600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff16145b80156122645750600a5460085410155b801561226d5750805b925050509392505050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615801561231e5750600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16155b905092915050565b6000806123338585612827565b11156124d957600061236b6123488686612827565b61235d6014548661211290919063ffffffff16565b6120fc90919063ffffffff16565b90506123bf81600260003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461212890919063ffffffff16565b600260003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503073ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161245f9190612b8b565b60405180910390a3600060105411801561248357506010546124818686612827565b115b156124be576124bd3061dead6124b86010546124aa6014548961211290919063ffffffff16565b6120fc90919063ffffffff16565b611570565b5b6124d1818461155a90919063ffffffff16565b9150506124dd565b8190505b9392505050565b6000600267ffffffffffffffff8111156125015761250061374b565b5b60405190808252806020026020018201604052801561252f5781602001602082028036833780820191505090505b509050308160008151811061254757612546612fac565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff1681525050600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156125ee573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612612919061378f565b8160018151811061262657612625612fac565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505061268d30600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684611391565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac9478360008430426040518663ffffffff1660e01b81526004016126f19594939291906138bf565b600060405180830381600087803b15801561270b57600080fd5b505af115801561271f573d6000803e3d6000fd5b505050505050565b61275430600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1684611391565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d719823085600080601760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16426040518863ffffffff1660e01b81526004016127dd96959493929190613919565b60606040518083038185885af11580156127fb573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190612820919061397a565b5050505050565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806128ca5750600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b156128ec576128e5606460145461155a90919063ffffffff16565b90506129b0565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361294b5760125490506129b0565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036129aa5760115490506129b0565b60135490505b92915050565b600081519050919050565b600082825260208201905092915050565b60005b838110156129f05780820151818401526020810190506129d5565b60008484015250505050565b6000601f19601f8301169050919050565b6000612a18826129b6565b612a2281856129c1565b9350612a328185602086016129d2565b612a3b816129fc565b840191505092915050565b60006020820190508181036000830152612a608184612a0d565b905092915050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000612a9d82612a72565b9050919050565b612aad81612a92565b8114612ab857600080fd5b50565b600081359050612aca81612aa4565b92915050565b6000819050919050565b612ae381612ad0565b8114612aee57600080fd5b50565b600081359050612b0081612ada565b92915050565b60008060408385031215612b1d57612b1c612a68565b5b6000612b2b85828601612abb565b9250506020612b3c85828601612af1565b9150509250929050565b60008115159050919050565b612b5b81612b46565b82525050565b6000602082019050612b766000830184612b52565b92915050565b612b8581612ad0565b82525050565b6000602082019050612ba06000830184612b7c565b92915050565b600080600060608486031215612bbf57612bbe612a68565b5b6000612bcd86828701612abb565b9350506020612bde86828701612abb565b9250506040612bef86828701612af1565b9150509250925092565b600060208284031215612c0f57612c0e612a68565b5b6000612c1d84828501612abb565b91505092915050565b600060ff82169050919050565b612c3c81612c26565b82525050565b6000602082019050612c576000830184612c33565b92915050565b612c6681612b46565b8114612c7157600080fd5b50565b600081359050612c8381612c5d565b92915050565b60008060408385031215612ca057612c9f612a68565b5b6000612cae85828601612abb565b9250506020612cbf85828601612c74565b9150509250929050565b600080fd5b600080fd5b600080fd5b60008083601f840112612cee57612ced612cc9565b5b8235905067ffffffffffffffff811115612d0b57612d0a612cce565b5b602083019150836020820283011115612d2757612d26612cd3565b5b9250929050565b600080600060408486031215612d4757612d46612a68565b5b600084013567ffffffffffffffff811115612d6557612d64612a6d565b5b612d7186828701612cd8565b93509350506020612d8486828701612c74565b9150509250925092565b612d9781612a92565b82525050565b6000602082019050612db26000830184612d8e565b92915050565b600080600060608486031215612dd157612dd0612a68565b5b6000612ddf86828701612abb565b9350506020612df086828701612abb565b9250506040612e0186828701612abb565b9150509250925092565b600080600080600080600060e0888a031215612e2a57612e29612a68565b5b6000612e388a828b01612af1565b9750506020612e498a828b01612af1565b9650506040612e5a8a828b01612af1565b9550506060612e6b8a828b01612af1565b9450506080612e7c8a828b01612af1565b93505060a0612e8d8a828b01612af1565b92505060c0612e9e8a828b01612af1565b91505092959891949750929550565b600080600060608486031215612ec657612ec5612a68565b5b6000612ed486828701612af1565b9350506020612ee586828701612af1565b9250506040612ef686828701612af1565b9150509250925092565b60008060408385031215612f1757612f16612a68565b5b6000612f2585828601612abb565b9250506020612f3685828601612abb565b9150509250929050565b7f214f574e45520000000000000000000000000000000000000000000000000000600082015250565b6000612f766006836129c1565b9150612f8182612f40565b602082019050919050565b60006020820190508181036000830152612fa581612f69565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061301582612ad0565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361304757613046612fdb565b5b600182019050919050565b60008151905061306181612ada565b92915050565b60006020828403121561307d5761307c612a68565b5b600061308b84828501613052565b91505092915050565b60006040820190506130a96000830185612d8e565b6130b66020830184612b7c565b9392505050565b6000815190506130cc81612c5d565b92915050565b6000602082840312156130e8576130e7612a68565b5b60006130f6848285016130bd565b91505092915050565b7f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60008201527f6f7265207468616e203230250000000000000000000000000000000000000000602082015250565b600061315b602c836129c1565b9150613166826130ff565b604082019050919050565b6000602082019050818103600083015261318a8161314e565b9050919050565b7f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560008201527f206c657373207468616e202e3525000000000000000000000000000000000000602082015250565b60006131ed602e836129c1565b91506131f882613191565b604082019050919050565b6000602082019050818103600083015261321c816131e0565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b600061327f6024836129c1565b915061328a82613223565b604082019050919050565b600060208201905081810360008301526132ae81613272565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b60006133116022836129c1565b915061331c826132b5565b604082019050919050565b6000602082019050818103600083015261334081613304565b9050919050565b600061335282612ad0565b915061335d83612ad0565b925082820390508181111561337557613374612fdb565b5b92915050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b60006133d76025836129c1565b91506133e28261337b565b604082019050919050565b60006020820190508181036000830152613406816133ca565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b60006134696023836129c1565b91506134748261340d565b604082019050919050565b600060208201905081810360008301526134988161345c565b9050919050565b7f596f752061726520747279696e6720746f207472616e73666572206d6f72652060008201527f7468616e20796f75722062616c616e6365000000000000000000000000000000602082015250565b60006134fb6031836129c1565b91506135068261349f565b604082019050919050565b6000602082019050818103600083015261352a816134ee565b9050919050565b7f74726164696e67416c6c6f776564000000000000000000000000000000000000600082015250565b6000613567600e836129c1565b915061357282613531565b602082019050919050565b600060208201905081810360008301526135968161355a565b9050919050565b7f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000600082015250565b60006135d3601e836129c1565b91506135de8261359d565b602082019050919050565b60006020820190508181036000830152613602816135c6565b9050919050565b7f5458204c696d6974204578636565646564000000000000000000000000000000600082015250565b600061363f6011836129c1565b915061364a82613609565b602082019050919050565b6000602082019050818103600083015261366e81613632565b9050919050565b600061368082612ad0565b915061368b83612ad0565b92508282019050808211156136a3576136a2612fdb565b5b92915050565b60006136b482612ad0565b91506136bf83612ad0565b92508282026136cd81612ad0565b915082820484148315176136e4576136e3612fdb565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600061372582612ad0565b915061373083612ad0565b9250826137405761373f6136eb565b5b828204905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60008151905061378981612aa4565b92915050565b6000602082840312156137a5576137a4612a68565b5b60006137b38482850161377a565b91505092915050565b6000819050919050565b6000819050919050565b60006137eb6137e66137e1846137bc565b6137c6565b612ad0565b9050919050565b6137fb816137d0565b82525050565b600081519050919050565b600082825260208201905092915050565b6000819050602082019050919050565b61383681612a92565b82525050565b6000613848838361382d565b60208301905092915050565b6000602082019050919050565b600061386c82613801565b613876818561380c565b93506138818361381d565b8060005b838110156138b2578151613899888261383c565b97506138a483613854565b925050600181019050613885565b5085935050505092915050565b600060a0820190506138d46000830188612b7c565b6138e160208301876137f2565b81810360408301526138f38186613861565b90506139026060830185612d8e565b61390f6080830184612b7c565b9695505050505050565b600060c08201905061392e6000830189612d8e565b61393b6020830188612b7c565b61394860408301876137f2565b61395560608301866137f2565b6139626080830185612d8e565b61396f60a0830184612b7c565b979650505050505050565b60008060006060848603121561399357613992612a68565b5b60006139a186828701613052565b93505060206139b286828701613052565b92505060406139c386828701613052565b915050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212207105a7928285abf6383e32786c895cefd44251c0b39598474ffb7ee08773d2cd64736f6c63430008130033

4998:11364:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7455:67;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8335:133;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8474:132;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15705:309;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3880:87;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7605:67;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5431:44;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8221:108;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;10974:89;;;;;;;;;;;;;:::i;:::-;;7678:66;;;;;;;;;;;;;:::i;:::-;;10783:183;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7834:103;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3973:133;;;;;;;;;;;;;:::i;:::-;;6738:63;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6669:62;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6602:60;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7750:78;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11071:242;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;10437:338;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;9345:520;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7528:71;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5549:19;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7943:139;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9873:556;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;9025:312;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;8088:127;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7455:67;7492:13;7515:5;;;;;;;;;;;;;;;;;7508:12;;7455:67;:::o;8335:133::-;8410:4;8417:37;8426:10;8438:7;8447:6;8417:8;:37::i;:::-;8462:4;8455:11;;8335:133;;;;:::o;8474:132::-;8527:7;8544:60;8582:21;8600:1;8582:9;:21::i;:::-;8544:33;8561:15;6289:42;8561:9;:15::i;:::-;8544:12;;:16;;:33;;;;:::i;:::-;:37;;:60;;;;:::i;:::-;8537:67;;8474:132;:::o;15705:309::-;15803:4;15820:36;15830:6;15838:9;15849:6;15820:9;:36::i;:::-;15867:117;15876:6;15884:10;15896:87;15932:6;15896:87;;;;;;;;;;;;;;;;;:11;:19;15908:6;15896:19;;;;;;;;;;;;;;;:31;15916:10;15896:31;;;;;;;;;;;;;;;;:35;;:87;;;;;:::i;:::-;15867:8;:117::i;:::-;16002:4;15995:11;;15705:309;;;;;:::o;3880:87::-;3935:4;3960:5;;;;;;;;;;;3949:16;;:7;:16;;;3942:23;;3880:87;;;:::o;7605:67::-;7646:5;5234:1;7654:16;;7605:67;:::o;5431:44::-;;;;;;;;;;;;;;;;;;;;;;:::o;8221:108::-;3839:19;3847:10;3839:7;:19::i;:::-;3831:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;8319:8:::1;8295:11;:21;8307:8;8295:21;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;8221:108:::0;;:::o;10974:89::-;3839:19;3847:10;3839:7;:19::i;:::-;3831:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;11026:29:::1;11041:13;;11026:14;:29::i;:::-;10974:89::o:0;7678:66::-;3839:19;3847:10;3839:7;:19::i;:::-;3831:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;7738:4:::1;7721:14;;:21;;;;;;;;;;;;;;;;;;7678:66::o:0;10783:183::-;3839:19;3847:10;3839:7;:19::i;:::-;3831:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;10879:6:::1;10875:84;10893:9;;:16;;10889:1;:20;10875:84;;;10948:8;10926:5;:19;10932:9;;10942:1;10932:12;;;;;;;:::i;:::-;;;;;;;;;;;;;;;:::i;:::-;10926:19;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;10911:3;;;;;:::i;:::-;;;;10875:84;;;;10783:183:::0;;;:::o;7834:103::-;7900:7;7917:9;:18;7927:7;7917:18;;;;;;;;;;;;;;;;7910:25;;7834:103;;;:::o;3973:133::-;3839:19;3847:10;3839:7;:19::i;:::-;3831:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;4047:1:::1;4031:5:::0;::::1;:18;;;;;;;;;;;;;;;;;;4066:32;4095:1;4066:32;;;;;;:::i;:::-;;;;;;;;3973:133::o:0;6738:63::-;;;;:::o;6669:62::-;;;;:::o;6602:60::-;;;;:::o;7750:78::-;7802:7;7820:5;;;;;;;;;;;7813:12;;7750:78;:::o;11071:242::-;3839:19;3847:10;3839:7;:19::i;:::-;3831:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;11157:15:::1;11175:63;11234:3;11175:54;11221:7;11182:8;11175:26;;;11210:4;11175:41;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:45;;:54;;;;:::i;:::-;:58;;:63;;;;:::i;:::-;11157:81;;11256:8;11249:25;;;11275:20;;;;;;;;;;;11297:7;11249:56;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11146:167;11071:242:::0;;:::o;10437:338::-;3839:19;3847:10;3839:7;:19::i;:::-;3831:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;10580:10:::1;10559:18;;:31;;;;;;;;;;;;;;;;;;10613:10;10592:18;;:31;;;;;;;;;;;;;;;;;;10648:12;10625:20;;:35;;;;;;;;;;;;;;;;;;10697:4;10671:11;:23;10683:10;10671:23;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;10729:4;10703:11;:23;10715:10;10703:23;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;10763:4;10735:11;:25;10747:12;10735:25;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;10437:338:::0;;;:::o;9345:520::-;3839:19;3847:10;3839:7;:19::i;:::-;3831:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;9546:10:::1;9531:12;:25;;;;9573:10;9558:12;:25;;;;9595:5;9585:7;:15;;;;9619:12;9602:14;:29;;;;9644:6;9633:8;:17;;;;9662:5;9652:7;:15;;;;9683:6;9669:11;:20;;;;9720:18;9736:1;9720:11;;:15;;:18;;;;:::i;:::-;9708:8;;:30;;:63;;;;;9753:18;9769:1;9753:11;;:15;;:18;;;;:::i;:::-;9742:7;;:29;;9708:63;:100;;;;;9790:18;9806:1;9790:11;;:15;;:18;;;;:::i;:::-;9775:11;;:33;;9708:100;9700:157;;;;;;;;;;;;:::i;:::-;;;;;;;;;9345:520:::0;;;;;;;:::o;7528:71::-;7567:13;7590:7;;;;;;;;;;;;;;;;;7583:14;;7528:71;:::o;5549:19::-;;;;;;;;;;;;;:::o;7943:139::-;8021:4;8028:40;8038:10;8050:9;8061:6;8028:9;:40::i;:::-;8076:4;8069:11;;7943:139;;;;:::o;9873:556::-;3839:19;3847:10;3839:7;:19::i;:::-;3831:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;9979:13:::1;9995:33;10022:5;9995:22;10012:4;9995:12;;:16;;:22;;;;:::i;:::-;:26;;:33;;;;:::i;:::-;9979:49;;10030:19;10052:34;10080:5;10052:23;10069:5;10052:12;;:16;;:23;;;;:::i;:::-;:27;;:34;;;;:::i;:::-;10030:56;;10088:17;10108:36;10138:5;10108:25;10125:7;10108:12;;:16;;:25;;;;:::i;:::-;:29;;:36;;;;:::i;:::-;10088:56;;10170:5;10155:12;:20;;;;10194:11;10177:14;:28;;;;10225:9;10207:15;:27;;;;10245:13;10261:30;10286:4;10261:20;10279:1;10261:13;:11;:13::i;:::-;:17;;:20;;;;:::i;:::-;:24;;:30;;;;:::i;:::-;10245:46;;10319:5;10310;:14;;:38;;;;;10343:5;10328:11;:20;;10310:38;:60;;;;;10365:5;10352:9;:18;;10310:60;10302:119;;;;;;;;;;;;:::i;:::-;;;;;;;;;9968:461;;;;9873:556:::0;;;:::o;9025:312::-;3839:19;3847:10;3839:7;:19::i;:::-;3831:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;9164:11:::1;9151:10;:24;;;;9193:53;9238:6;9193:32;9210:14;9193:12;;:16;;:32;;;;:::i;:::-;:36;;:53;;;;:::i;:::-;9177:13;:69;;;;9275:54;9321:6;9275:33;9292:15;9275:12;;:16;;:33;;;;:::i;:::-;:37;;:54;;;;:::i;:::-;9258:14;:71;;;;9025:312:::0;;;:::o;8088:127::-;8169:7;8186:11;:18;8198:5;8186:18;;;;;;;;;;;;;;;:27;8205:7;8186:27;;;;;;;;;;;;;;;;8179:34;;8088:127;;;;:::o;16022:335::-;16132:1;16115:19;;:5;:19;;;16107:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;16213:1;16194:21;;:7;:21;;;16186:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;16295:6;16265:11;:18;16277:5;16265:18;;;;;;;;;;;;;;;:27;16284:7;16265:27;;;;;;;;;;;;;;;:36;;;;16333:7;16317:32;;16326:5;16317:32;;;16342:6;16317:32;;;;;;:::i;:::-;;;;;;;;16022:335;;;:::o;1619:98::-;1677:7;1708:1;1704;:5;;;;:::i;:::-;1697:12;;1619:98;;;;:::o;14264:1433::-;14379:1;14361:20;;:6;:20;;;14353:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;14463:1;14442:23;;:9;:23;;;14434:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;14534:17;14544:6;14534:9;:17::i;:::-;14524:6;:27;;14516:88;;;;;;;;;;;;:::i;:::-;;;;;;;;;14619:11;:19;14631:6;14619:19;;;;;;;;;;;;;;;;;;;;;;;;;14618:20;:47;;;;;14643:11;:22;14655:9;14643:22;;;;;;;;;;;;;;;;;;;;;;;;;14642:23;14618:47;14615:95;;;14675:14;;;;;;;;;;;14667:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;14615:95;14724:11;:19;14736:6;14724:19;;;;;;;;;;;;;;;;;;;;;;;;;14723:20;:47;;;;;14748:11;:22;14760:9;14748:22;;;;;;;;;;;;;;;;;;;;;;;;;14747:23;14723:47;:77;;;;;14795:4;;;;;;;;;;;14774:26;;:9;:26;;;;14723:77;:107;;;;;6289:42;14804:26;;:9;:26;;;;14723:107;14720:220;;;14888:15;;14851:32;14876:6;14851:9;:20;14861:9;14851:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;14850:53;;14842:96;;;;;;;;;;;;:::i;:::-;;;;;;;;;14720:220;14963:4;;;;;;;;;;;14953:14;;:6;:14;;;14950:124;;14987:14;;14977:6;:24;;:47;;;;15005:11;:19;15017:6;15005:19;;;;;;;;;;;;;;;;;;;;;;;;;14977:47;:73;;;;15028:11;:22;15040:9;15028:22;;;;;;;;;;;;;;;;;;;;;;;;;14977:73;14969:103;;;;;;;;;;;;:::i;:::-;;;;;;;;;14950:124;15102:12;;15092:6;:22;;:45;;;;15118:11;:19;15130:6;15118:19;;;;;;;;;;;;;;;;;;;;;;;;;15092:45;:71;;;;15141:11;:22;15153:9;15141:22;;;;;;;;;;;;;;;;;;;;;;;;;15092:71;15084:101;;;;;;;;;;;;:::i;:::-;;;;;;;;;15213:4;;;;;;;;;;;15200:17;;:9;:17;;;:41;;;;;15222:11;:19;15234:6;15222:19;;;;;;;;;;;;;;;;;;;;;;;;;15221:20;15200:41;15197:71;;;15264:1;15243:9;;:23;;;;;;;:::i;:::-;;;;;;;;15197:71;15281:45;15300:6;15308:9;15319:6;15281:18;:45::i;:::-;15278:105;;;15328:29;15343:13;;15328:14;:29::i;:::-;15379:1;15359:9;:22;;;;15278:105;15413:29;15435:6;15413:9;:17;15423:6;15413:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;15393:9;:17;15403:6;15393:17;;;;;;;;;;;;;;;:49;;;;15453:22;15478:32;15492:6;15500:9;15478:13;:32::i;:::-;:78;;15550:6;15478:78;;;15513:34;15521:6;15529:9;15540:6;15513:7;:34::i;:::-;15478:78;15453:103;;15590:40;15615:14;15590:9;:20;15600:9;15590:20;;;;;;;;;;;;;;;;:24;;:40;;;;:::i;:::-;15567:9;:20;15577:9;15567:20;;;;;;;;;;;;;;;:63;;;;15663:9;15646:43;;15655:6;15646:43;;;15674:14;15646:43;;;;;;:::i;:::-;;;;;;;;14342:1355;14264:1433;;;:::o;2043:240::-;2163:7;2221:1;2216;:6;;2224:12;2208:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;2263:1;2259;:5;2252:12;;2043:240;;;;;:::o;11321:1063::-;5918:4;5907:8;;:15;;;;;;;;;;;;;;;;;;11392:20:::1;11415:66;11479:1;11416:57;11458:14;;11416:37;11440:12;;11416:19;11433:1;11416:12;;:16;;:19;;;;:::i;:::-;:23;;:37;;;;:::i;:::-;:41;;:57;;;;:::i;:::-;11415:63;;:66;;;;:::i;:::-;11392:89;;11492:32;11527:42;11556:12;11527:24;11538:12;;11527:6;:10;;:24;;;;:::i;:::-;:28;;:42;;;;:::i;:::-;11492:77;;11580:14;11597:36;11608:24;11597:6;:10;;:36;;;;:::i;:::-;11580:53;;11644:22;11669:21;11644:46;;11701:24;11718:6;11701:16;:24::i;:::-;11736:20;11759:41;11785:14;11759:21;:25;;:41;;;;:::i;:::-;11736:64;;11811:19;11832:48;11849:30;11866:12;;11849;:16;;:30;;;;:::i;:::-;11832:12;:16;;:48;;;;:::i;:::-;11811:69;;11891:29;11923;11939:12;;11923:11;:15;;:29;;;;:::i;:::-;11891:61;;11998:1;11966:21;:34;11963:103;;;12002:61;12015:24;12041:21;12002:12;:61::i;:::-;11963:103;12076:20;12099:36;12122:12;;12099:18;12115:1;12099:11;:15;;:18;;;;:::i;:::-;:22;;:36;;;;:::i;:::-;12076:59;;12164:1;12149:12;:16;12146:73;;;12175:18;;;;;;;;;;;12167:36;;:50;12204:12;12167:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;12146:73;12229:23;12255:21;12229:47;;12316:1;12290:15;:28;12287:90;;;12328:20;;;;;;;;;;;12320:38;;:55;12359:15;12320:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;12287:90;11381:1003;;;;;;;;;5938:5:::0;5927:8;;:16;;;;;;;;;;;;;;;;;;11321:1063;:::o;1725:98::-;1783:7;1814:1;1810;:5;;;;:::i;:::-;1803:12;;1725:98;;;;:::o;1831:::-;1889:7;1920:1;1916;:5;;;;:::i;:::-;1909:12;;1831:98;;;;:::o;1513:::-;1571:7;1602:1;1598;:5;;;;:::i;:::-;1591:12;;1513:98;;;;:::o;8614:403::-;8716:4;8733:13;8759:14;;8749:6;:24;;8733:40;;8784:19;8834:13;;8806:24;8824:4;8806:9;:24::i;:::-;:41;;8784:63;;8866:8;;;;;;;;;;;8865:9;:24;;;;;8878:11;;;;;;;;;;;8865:24;:42;;;;;8893:14;;;;;;;;;;;8865:42;:54;;;;;8911:8;8865:54;:78;;;;;8924:11;:19;8936:6;8924:19;;;;;;;;;;;;;;;;;;;;;;;;;8923:20;8865:78;:99;;;;;8960:4;;;;;;;;;;;8947:17;;:9;:17;;;8865:99;:126;;;;;8981:10;;8968:9;;:23;;8865:126;:144;;;;;8995:14;8865:144;8858:151;;;;8614:403;;;;;:::o;13185:160::-;13266:4;13291:11;:19;13303:6;13291:19;;;;;;;;;;;;;;;;;;;;;;;;;13290:20;:47;;;;;13315:11;:22;13327:9;13315:22;;;;;;;;;;;;;;;;;;;;;;;;;13314:23;13290:47;13283:54;;13185:160;;;;:::o;13666:590::-;13752:7;13808:1;13775:30;13787:6;13795:9;13775:11;:30::i;:::-;:34;13772:462;;;13821:17;13841:59;13869:30;13881:6;13889:9;13869:11;:30::i;:::-;13841:23;13852:11;;13841:6;:10;;:23;;;;:::i;:::-;:27;;:59;;;;:::i;:::-;13821:79;;13938:39;13967:9;13938;:24;13956:4;13938:24;;;;;;;;;;;;;;;;:28;;:39;;;;:::i;:::-;13911:9;:24;13929:4;13911:24;;;;;;;;;;;;;;;:66;;;;14018:4;13993:42;;14002:6;13993:42;;;14025:9;13993:42;;;;;;:::i;:::-;;;;;;;;14067:1;14049:7;;:20;:64;;;;;14106:7;;14073:30;14085:6;14093:9;14073:11;:30::i;:::-;:40;14049:64;14046:148;;;14115:77;14133:4;6289:42;14155:36;14183:7;;14155:23;14166:11;;14155:6;:10;;:23;;;;:::i;:::-;:27;;:36;;;;:::i;:::-;14115:9;:77::i;:::-;14046:148;14211:21;14222:9;14211:6;:10;;:21;;;;:::i;:::-;14204:28;;;;;13772:462;14242:6;14235:13;;13666:590;;;;;;:::o;12743:434::-;12809:21;12847:1;12833:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12809:40;;12878:4;12860;12865:1;12860:7;;;;;;;;:::i;:::-;;;;;;;:23;;;;;;;;;;;12904:6;;;;;;;;;;;:11;;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12894:4;12899:1;12894:7;;;;;;;;:::i;:::-;;;;;;;:23;;;;;;;;;;;12928:53;12945:4;12960:6;;;;;;;;;;;12969:11;12928:8;:53::i;:::-;12992:6;;;;;;;;;;;:57;;;13064:11;13090:1;13106:4;13133;13153:15;12992:177;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12798:379;12743:434;:::o;12392:343::-;12473:53;12490:4;12505:6;;;;;;;;;;;12514:11;12473:8;:53::i;:::-;12537:6;;;;;;;;;;;:22;;;12567:9;12600:4;12620:11;12646:1;12662;12678:18;;;;;;;;;;;12711:15;12537:190;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;12392:343;;:::o;13353:305::-;13432:7;13455:5;:13;13461:6;13455:13;;;;;;;;;;;;;;;;;;;;;;;;;:33;;;;13472:5;:16;13478:9;13472:16;;;;;;;;;;;;;;;;;;;;;;;;;13455:33;13452:76;;;13497:29;13521:3;13497:11;;:15;;:29;;;;:::i;:::-;13490:36;;;;13452:76;13554:4;;;;;;;;;;;13541:17;;:9;:17;;;13538:38;;13567:7;;13560:14;;;;13538:38;13599:4;;;;;;;;;;;13589:14;;:6;:14;;;13586:36;;13612:8;;13605:15;;;;13586:36;13639:11;;13632:18;;13353:305;;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1553:117;1662:1;1659;1652:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:329::-;4482:6;4531:2;4519:9;4510:7;4506:23;4502:32;4499:119;;;4537:79;;:::i;:::-;4499:119;4657:1;4682:53;4727:7;4718:6;4707:9;4703:22;4682:53;:::i;:::-;4672:63;;4628:117;4423:329;;;;:::o;4758:86::-;4793:7;4833:4;4826:5;4822:16;4811:27;;4758:86;;;:::o;4850:112::-;4933:22;4949:5;4933:22;:::i;:::-;4928:3;4921:35;4850:112;;:::o;4968:214::-;5057:4;5095:2;5084:9;5080:18;5072:26;;5108:67;5172:1;5161:9;5157:17;5148:6;5108:67;:::i;:::-;4968:214;;;;:::o;5188:116::-;5258:21;5273:5;5258:21;:::i;:::-;5251:5;5248:32;5238:60;;5294:1;5291;5284:12;5238:60;5188:116;:::o;5310:133::-;5353:5;5391:6;5378:20;5369:29;;5407:30;5431:5;5407:30;:::i;:::-;5310:133;;;;:::o;5449:468::-;5514:6;5522;5571:2;5559:9;5550:7;5546:23;5542:32;5539:119;;;5577:79;;:::i;:::-;5539:119;5697:1;5722:53;5767:7;5758:6;5747:9;5743:22;5722:53;:::i;:::-;5712:63;;5668:117;5824:2;5850:50;5892:7;5883:6;5872:9;5868:22;5850:50;:::i;:::-;5840:60;;5795:115;5449:468;;;;;:::o;5923:117::-;6032:1;6029;6022:12;6046:117;6155:1;6152;6145:12;6169:117;6278:1;6275;6268:12;6309:568;6382:8;6392:6;6442:3;6435:4;6427:6;6423:17;6419:27;6409:122;;6450:79;;:::i;:::-;6409:122;6563:6;6550:20;6540:30;;6593:18;6585:6;6582:30;6579:117;;;6615:79;;:::i;:::-;6579:117;6729:4;6721:6;6717:17;6705:29;;6783:3;6775:4;6767:6;6763:17;6753:8;6749:32;6746:41;6743:128;;;6790:79;;:::i;:::-;6743:128;6309:568;;;;;:::o;6883:698::-;6975:6;6983;6991;7040:2;7028:9;7019:7;7015:23;7011:32;7008:119;;;7046:79;;:::i;:::-;7008:119;7194:1;7183:9;7179:17;7166:31;7224:18;7216:6;7213:30;7210:117;;;7246:79;;:::i;:::-;7210:117;7359:80;7431:7;7422:6;7411:9;7407:22;7359:80;:::i;:::-;7341:98;;;;7137:312;7488:2;7514:50;7556:7;7547:6;7536:9;7532:22;7514:50;:::i;:::-;7504:60;;7459:115;6883:698;;;;;:::o;7587:118::-;7674:24;7692:5;7674:24;:::i;:::-;7669:3;7662:37;7587:118;;:::o;7711:222::-;7804:4;7842:2;7831:9;7827:18;7819:26;;7855:71;7923:1;7912:9;7908:17;7899:6;7855:71;:::i;:::-;7711:222;;;;:::o;7939:619::-;8016:6;8024;8032;8081:2;8069:9;8060:7;8056:23;8052:32;8049:119;;;8087:79;;:::i;:::-;8049:119;8207:1;8232:53;8277:7;8268:6;8257:9;8253:22;8232:53;:::i;:::-;8222:63;;8178:117;8334:2;8360:53;8405:7;8396:6;8385:9;8381:22;8360:53;:::i;:::-;8350:63;;8305:118;8462:2;8488:53;8533:7;8524:6;8513:9;8509:22;8488:53;:::i;:::-;8478:63;;8433:118;7939:619;;;;;:::o;8564:1203::-;8677:6;8685;8693;8701;8709;8717;8725;8774:3;8762:9;8753:7;8749:23;8745:33;8742:120;;;8781:79;;:::i;:::-;8742:120;8901:1;8926:53;8971:7;8962:6;8951:9;8947:22;8926:53;:::i;:::-;8916:63;;8872:117;9028:2;9054:53;9099:7;9090:6;9079:9;9075:22;9054:53;:::i;:::-;9044:63;;8999:118;9156:2;9182:53;9227:7;9218:6;9207:9;9203:22;9182:53;:::i;:::-;9172:63;;9127:118;9284:2;9310:53;9355:7;9346:6;9335:9;9331:22;9310:53;:::i;:::-;9300:63;;9255:118;9412:3;9439:53;9484:7;9475:6;9464:9;9460:22;9439:53;:::i;:::-;9429:63;;9383:119;9541:3;9568:53;9613:7;9604:6;9593:9;9589:22;9568:53;:::i;:::-;9558:63;;9512:119;9670:3;9697:53;9742:7;9733:6;9722:9;9718:22;9697:53;:::i;:::-;9687:63;;9641:119;8564:1203;;;;;;;;;;:::o;9773:619::-;9850:6;9858;9866;9915:2;9903:9;9894:7;9890:23;9886:32;9883:119;;;9921:79;;:::i;:::-;9883:119;10041:1;10066:53;10111:7;10102:6;10091:9;10087:22;10066:53;:::i;:::-;10056:63;;10012:117;10168:2;10194:53;10239:7;10230:6;10219:9;10215:22;10194:53;:::i;:::-;10184:63;;10139:118;10296:2;10322:53;10367:7;10358:6;10347:9;10343:22;10322:53;:::i;:::-;10312:63;;10267:118;9773:619;;;;;:::o;10398:474::-;10466:6;10474;10523:2;10511:9;10502:7;10498:23;10494:32;10491:119;;;10529:79;;:::i;:::-;10491:119;10649:1;10674:53;10719:7;10710:6;10699:9;10695:22;10674:53;:::i;:::-;10664:63;;10620:117;10776:2;10802:53;10847:7;10838:6;10827:9;10823:22;10802:53;:::i;:::-;10792:63;;10747:118;10398:474;;;;;:::o;10878:156::-;11018:8;11014:1;11006:6;11002:14;10995:32;10878:156;:::o;11040:365::-;11182:3;11203:66;11267:1;11262:3;11203:66;:::i;:::-;11196:73;;11278:93;11367:3;11278:93;:::i;:::-;11396:2;11391:3;11387:12;11380:19;;11040:365;;;:::o;11411:419::-;11577:4;11615:2;11604:9;11600:18;11592:26;;11664:9;11658:4;11654:20;11650:1;11639:9;11635:17;11628:47;11692:131;11818:4;11692:131;:::i;:::-;11684:139;;11411:419;;;:::o;11836:180::-;11884:77;11881:1;11874:88;11981:4;11978:1;11971:15;12005:4;12002:1;11995:15;12022:180;12070:77;12067:1;12060:88;12167:4;12164:1;12157:15;12191:4;12188:1;12181:15;12208:233;12247:3;12270:24;12288:5;12270:24;:::i;:::-;12261:33;;12316:66;12309:5;12306:77;12303:103;;12386:18;;:::i;:::-;12303:103;12433:1;12426:5;12422:13;12415:20;;12208:233;;;:::o;12447:143::-;12504:5;12535:6;12529:13;12520:22;;12551:33;12578:5;12551:33;:::i;:::-;12447:143;;;;:::o;12596:351::-;12666:6;12715:2;12703:9;12694:7;12690:23;12686:32;12683:119;;;12721:79;;:::i;:::-;12683:119;12841:1;12866:64;12922:7;12913:6;12902:9;12898:22;12866:64;:::i;:::-;12856:74;;12812:128;12596:351;;;;:::o;12953:332::-;13074:4;13112:2;13101:9;13097:18;13089:26;;13125:71;13193:1;13182:9;13178:17;13169:6;13125:71;:::i;:::-;13206:72;13274:2;13263:9;13259:18;13250:6;13206:72;:::i;:::-;12953:332;;;;;:::o;13291:137::-;13345:5;13376:6;13370:13;13361:22;;13392:30;13416:5;13392:30;:::i;:::-;13291:137;;;;:::o;13434:345::-;13501:6;13550:2;13538:9;13529:7;13525:23;13521:32;13518:119;;;13556:79;;:::i;:::-;13518:119;13676:1;13701:61;13754:7;13745:6;13734:9;13730:22;13701:61;:::i;:::-;13691:71;;13647:125;13434:345;;;;:::o;13785:231::-;13925:34;13921:1;13913:6;13909:14;13902:58;13994:14;13989:2;13981:6;13977:15;13970:39;13785:231;:::o;14022:366::-;14164:3;14185:67;14249:2;14244:3;14185:67;:::i;:::-;14178:74;;14261:93;14350:3;14261:93;:::i;:::-;14379:2;14374:3;14370:12;14363:19;;14022:366;;;:::o;14394:419::-;14560:4;14598:2;14587:9;14583:18;14575:26;;14647:9;14641:4;14637:20;14633:1;14622:9;14618:17;14611:47;14675:131;14801:4;14675:131;:::i;:::-;14667:139;;14394:419;;;:::o;14819:233::-;14959:34;14955:1;14947:6;14943:14;14936:58;15028:16;15023:2;15015:6;15011:15;15004:41;14819:233;:::o;15058:366::-;15200:3;15221:67;15285:2;15280:3;15221:67;:::i;:::-;15214:74;;15297:93;15386:3;15297:93;:::i;:::-;15415:2;15410:3;15406:12;15399:19;;15058:366;;;:::o;15430:419::-;15596:4;15634:2;15623:9;15619:18;15611:26;;15683:9;15677:4;15673:20;15669:1;15658:9;15654:17;15647:47;15711:131;15837:4;15711:131;:::i;:::-;15703:139;;15430:419;;;:::o;15855:223::-;15995:34;15991:1;15983:6;15979:14;15972:58;16064:6;16059:2;16051:6;16047:15;16040:31;15855:223;:::o;16084:366::-;16226:3;16247:67;16311:2;16306:3;16247:67;:::i;:::-;16240:74;;16323:93;16412:3;16323:93;:::i;:::-;16441:2;16436:3;16432:12;16425:19;;16084:366;;;:::o;16456:419::-;16622:4;16660:2;16649:9;16645:18;16637:26;;16709:9;16703:4;16699:20;16695:1;16684:9;16680:17;16673:47;16737:131;16863:4;16737:131;:::i;:::-;16729:139;;16456:419;;;:::o;16881:221::-;17021:34;17017:1;17009:6;17005:14;16998:58;17090:4;17085:2;17077:6;17073:15;17066:29;16881:221;:::o;17108:366::-;17250:3;17271:67;17335:2;17330:3;17271:67;:::i;:::-;17264:74;;17347:93;17436:3;17347:93;:::i;:::-;17465:2;17460:3;17456:12;17449:19;;17108:366;;;:::o;17480:419::-;17646:4;17684:2;17673:9;17669:18;17661:26;;17733:9;17727:4;17723:20;17719:1;17708:9;17704:17;17697:47;17761:131;17887:4;17761:131;:::i;:::-;17753:139;;17480:419;;;:::o;17905:194::-;17945:4;17965:20;17983:1;17965:20;:::i;:::-;17960:25;;17999:20;18017:1;17999:20;:::i;:::-;17994:25;;18043:1;18040;18036:9;18028:17;;18067:1;18061:4;18058:11;18055:37;;;18072:18;;:::i;:::-;18055:37;17905:194;;;;:::o;18105:224::-;18245:34;18241:1;18233:6;18229:14;18222:58;18314:7;18309:2;18301:6;18297:15;18290:32;18105:224;:::o;18335:366::-;18477:3;18498:67;18562:2;18557:3;18498:67;:::i;:::-;18491:74;;18574:93;18663:3;18574:93;:::i;:::-;18692:2;18687:3;18683:12;18676:19;;18335:366;;;:::o;18707:419::-;18873:4;18911:2;18900:9;18896:18;18888:26;;18960:9;18954:4;18950:20;18946:1;18935:9;18931:17;18924:47;18988:131;19114:4;18988:131;:::i;:::-;18980:139;;18707:419;;;:::o;19132:222::-;19272:34;19268:1;19260:6;19256:14;19249:58;19341:5;19336:2;19328:6;19324:15;19317:30;19132:222;:::o;19360:366::-;19502:3;19523:67;19587:2;19582:3;19523:67;:::i;:::-;19516:74;;19599:93;19688:3;19599:93;:::i;:::-;19717:2;19712:3;19708:12;19701:19;;19360:366;;;:::o;19732:419::-;19898:4;19936:2;19925:9;19921:18;19913:26;;19985:9;19979:4;19975:20;19971:1;19960:9;19956:17;19949:47;20013:131;20139:4;20013:131;:::i;:::-;20005:139;;19732:419;;;:::o;20157:236::-;20297:34;20293:1;20285:6;20281:14;20274:58;20366:19;20361:2;20353:6;20349:15;20342:44;20157:236;:::o;20399:366::-;20541:3;20562:67;20626:2;20621:3;20562:67;:::i;:::-;20555:74;;20638:93;20727:3;20638:93;:::i;:::-;20756:2;20751:3;20747:12;20740:19;;20399:366;;;:::o;20771:419::-;20937:4;20975:2;20964:9;20960:18;20952:26;;21024:9;21018:4;21014:20;21010:1;20999:9;20995:17;20988:47;21052:131;21178:4;21052:131;:::i;:::-;21044:139;;20771:419;;;:::o;21196:164::-;21336:16;21332:1;21324:6;21320:14;21313:40;21196:164;:::o;21366:366::-;21508:3;21529:67;21593:2;21588:3;21529:67;:::i;:::-;21522:74;;21605:93;21694:3;21605:93;:::i;:::-;21723:2;21718:3;21714:12;21707:19;;21366:366;;;:::o;21738:419::-;21904:4;21942:2;21931:9;21927:18;21919:26;;21991:9;21985:4;21981:20;21977:1;21966:9;21962:17;21955:47;22019:131;22145:4;22019:131;:::i;:::-;22011:139;;21738:419;;;:::o;22163:180::-;22303:32;22299:1;22291:6;22287:14;22280:56;22163:180;:::o;22349:366::-;22491:3;22512:67;22576:2;22571:3;22512:67;:::i;:::-;22505:74;;22588:93;22677:3;22588:93;:::i;:::-;22706:2;22701:3;22697:12;22690:19;;22349:366;;;:::o;22721:419::-;22887:4;22925:2;22914:9;22910:18;22902:26;;22974:9;22968:4;22964:20;22960:1;22949:9;22945:17;22938:47;23002:131;23128:4;23002:131;:::i;:::-;22994:139;;22721:419;;;:::o;23146:167::-;23286:19;23282:1;23274:6;23270:14;23263:43;23146:167;:::o;23319:366::-;23461:3;23482:67;23546:2;23541:3;23482:67;:::i;:::-;23475:74;;23558:93;23647:3;23558:93;:::i;:::-;23676:2;23671:3;23667:12;23660:19;;23319:366;;;:::o;23691:419::-;23857:4;23895:2;23884:9;23880:18;23872:26;;23944:9;23938:4;23934:20;23930:1;23919:9;23915:17;23908:47;23972:131;24098:4;23972:131;:::i;:::-;23964:139;;23691:419;;;:::o;24116:191::-;24156:3;24175:20;24193:1;24175:20;:::i;:::-;24170:25;;24209:20;24227:1;24209:20;:::i;:::-;24204:25;;24252:1;24249;24245:9;24238:16;;24273:3;24270:1;24267:10;24264:36;;;24280:18;;:::i;:::-;24264:36;24116:191;;;;:::o;24313:410::-;24353:7;24376:20;24394:1;24376:20;:::i;:::-;24371:25;;24410:20;24428:1;24410:20;:::i;:::-;24405:25;;24465:1;24462;24458:9;24487:30;24505:11;24487:30;:::i;:::-;24476:41;;24666:1;24657:7;24653:15;24650:1;24647:22;24627:1;24620:9;24600:83;24577:139;;24696:18;;:::i;:::-;24577:139;24361:362;24313:410;;;;:::o;24729:180::-;24777:77;24774:1;24767:88;24874:4;24871:1;24864:15;24898:4;24895:1;24888:15;24915:185;24955:1;24972:20;24990:1;24972:20;:::i;:::-;24967:25;;25006:20;25024:1;25006:20;:::i;:::-;25001:25;;25045:1;25035:35;;25050:18;;:::i;:::-;25035:35;25092:1;25089;25085:9;25080:14;;24915:185;;;;:::o;25106:180::-;25154:77;25151:1;25144:88;25251:4;25248:1;25241:15;25275:4;25272:1;25265:15;25292:143;25349:5;25380:6;25374:13;25365:22;;25396:33;25423:5;25396:33;:::i;:::-;25292:143;;;;:::o;25441:351::-;25511:6;25560:2;25548:9;25539:7;25535:23;25531:32;25528:119;;;25566:79;;:::i;:::-;25528:119;25686:1;25711:64;25767:7;25758:6;25747:9;25743:22;25711:64;:::i;:::-;25701:74;;25657:128;25441:351;;;;:::o;25798:85::-;25843:7;25872:5;25861:16;;25798:85;;;:::o;25889:60::-;25917:3;25938:5;25931:12;;25889:60;;;:::o;25955:158::-;26013:9;26046:61;26064:42;26073:32;26099:5;26073:32;:::i;:::-;26064:42;:::i;:::-;26046:61;:::i;:::-;26033:74;;25955:158;;;:::o;26119:147::-;26214:45;26253:5;26214:45;:::i;:::-;26209:3;26202:58;26119:147;;:::o;26272:114::-;26339:6;26373:5;26367:12;26357:22;;26272:114;;;:::o;26392:184::-;26491:11;26525:6;26520:3;26513:19;26565:4;26560:3;26556:14;26541:29;;26392:184;;;;:::o;26582:132::-;26649:4;26672:3;26664:11;;26702:4;26697:3;26693:14;26685:22;;26582:132;;;:::o;26720:108::-;26797:24;26815:5;26797:24;:::i;:::-;26792:3;26785:37;26720:108;;:::o;26834:179::-;26903:10;26924:46;26966:3;26958:6;26924:46;:::i;:::-;27002:4;26997:3;26993:14;26979:28;;26834:179;;;;:::o;27019:113::-;27089:4;27121;27116:3;27112:14;27104:22;;27019:113;;;:::o;27168:732::-;27287:3;27316:54;27364:5;27316:54;:::i;:::-;27386:86;27465:6;27460:3;27386:86;:::i;:::-;27379:93;;27496:56;27546:5;27496:56;:::i;:::-;27575:7;27606:1;27591:284;27616:6;27613:1;27610:13;27591:284;;;27692:6;27686:13;27719:63;27778:3;27763:13;27719:63;:::i;:::-;27712:70;;27805:60;27858:6;27805:60;:::i;:::-;27795:70;;27651:224;27638:1;27635;27631:9;27626:14;;27591:284;;;27595:14;27891:3;27884:10;;27292:608;;;27168:732;;;;:::o;27906:831::-;28169:4;28207:3;28196:9;28192:19;28184:27;;28221:71;28289:1;28278:9;28274:17;28265:6;28221:71;:::i;:::-;28302:80;28378:2;28367:9;28363:18;28354:6;28302:80;:::i;:::-;28429:9;28423:4;28419:20;28414:2;28403:9;28399:18;28392:48;28457:108;28560:4;28551:6;28457:108;:::i;:::-;28449:116;;28575:72;28643:2;28632:9;28628:18;28619:6;28575:72;:::i;:::-;28657:73;28725:3;28714:9;28710:19;28701:6;28657:73;:::i;:::-;27906:831;;;;;;;;:::o;28743:807::-;28992:4;29030:3;29019:9;29015:19;29007:27;;29044:71;29112:1;29101:9;29097:17;29088:6;29044:71;:::i;:::-;29125:72;29193:2;29182:9;29178:18;29169:6;29125:72;:::i;:::-;29207:80;29283:2;29272:9;29268:18;29259:6;29207:80;:::i;:::-;29297;29373:2;29362:9;29358:18;29349:6;29297:80;:::i;:::-;29387:73;29455:3;29444:9;29440:19;29431:6;29387:73;:::i;:::-;29470;29538:3;29527:9;29523:19;29514:6;29470:73;:::i;:::-;28743:807;;;;;;;;;:::o;29556:663::-;29644:6;29652;29660;29709:2;29697:9;29688:7;29684:23;29680:32;29677:119;;;29715:79;;:::i;:::-;29677:119;29835:1;29860:64;29916:7;29907:6;29896:9;29892:22;29860:64;:::i;:::-;29850:74;;29806:128;29973:2;29999:64;30055:7;30046:6;30035:9;30031:22;29999:64;:::i;:::-;29989:74;;29944:129;30112:2;30138:64;30194:7;30185:6;30174:9;30170:22;30138:64;:::i;:::-;30128:74;;30083:129;29556:663;;;;;:::o

ipfs://7105a7928285abf6383e32786c895cefd44251c0b39598474ffb7ee08773d2cd