Contract

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 HalFinney is IERC20, Owna ... *
•    - 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 setContractSwap(uint256 _swa ...
•    - function setTransactionRequirement(ui ...
•    - function setTransactionLimits(uint256 ...
•    - function setInternalAddress(address _ ...
•    - function setBot(address[] calldata ad ...
•    - 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 2024-02-27
*/

/*

TG: https://t.me/halfinneyerc
X: https://x.com/halfinney_erc
WEB: https://Halfinney.co

*/

// 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 HalFinney is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'Hal Finney';
    string private constant _symbol = 'HAL';
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 100000000 * (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 * 1000 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 1500;
    uint256 private developmentFee = 1000;
    uint256 private burnFee = 0;
    uint256 private totalFee = 2500;
    uint256 private sellFee = 2500;
    uint256 private transferFee = 0;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0x933f5b87169Ea958f7930589089648Cf18ce2F47; 
    address internal marketing_receiver = 0x933f5b87169Ea958f7930589089648Cf18ce2F47;
    address internal liquidity_receiver = 0x933f5b87169Ea958f7930589089648Cf18ce2F47;
    uint256 public _maxTxAmount = ( _totalSupply * 150 ) / 10000;
    uint256 public _maxSellAmount = ( _totalSupply * 150 ) / 10000;
    uint256 public _maxWalletToken = ( _totalSupply * 150 ) / 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 setContractSwap(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 setTransactionRequirement(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 setTransactionLimits(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 setInternalAddress(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 setBot(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":"address[]","name":"addresses","type":"address[]"},{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setBot","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":"setContractSwap","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":"setInternalAddress","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":"setTransactionLimits","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":"setTransactionRequirement","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"}]

6080604052620000126009600a620004d2565b62000022906305f5e100620004ea565b60018181556007805461ffff60a01b1916600160a81b179055600a55620186a09062000051906103e8620004ea565b6200005d919062000504565b600b55620186a06001546103e8620000769190620004ea565b62000082919062000504565b600c556000600d8190556105dc600e556103e8600f5560108190556109c4601181905560125560135561271060148190556015805473933f5b87169ea958f7930589089648cf18ce2f476001600160a01b031991821681179092556016805482168317905560178054909116909117905560015462000103906096620004ea565b6200010f919062000504565b6018556127106001546096620001269190620004ea565b62000132919062000504565b6019556127106001546096620001499190620004ea565b62000155919062000504565b601a553480156200016557600080fd5b50600080546001600160a01b031916331781556040805163c45a015560e01b81529051737a250d5630b4cf539739df2c5dacb4c659f2488d9291839163c45a0155916004808201926020929091908290030181865afa158015620001cd573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001f3919062000527565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000241573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000267919062000527565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015620002b5573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002db919062000527565b600680546001600160a01b038581166001600160a01b031992831617909255600780548484169216919091179055306000908152600460209081526040808320805460ff19908116600190811790925560175486168552828520805482168317905560165486168552828520805482168317905560155490951684528184208054861682179055338085528285208054909616821790955554600283528184208190559051908152939450919290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505062000552565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111562000414578160001904821115620003f857620003f8620003bd565b808516156200040657918102915b93841c9390800290620003d8565b509250929050565b6000826200042d57506001620004cc565b816200043c57506000620004cc565b8160018114620004555760028114620004605762000480565b6001915050620004cc565b60ff841115620004745762000474620003bd565b50506001821b620004cc565b5060208310610133831016604e8410600b8410161715620004a5575081810a620004cc565b620004b18383620003d3565b8060001904821115620004c857620004c8620003bd565b0290505b92915050565b6000620004e360ff8416836200041c565b9392505050565b8082028115828204841417620004cc57620004cc620003bd565b6000826200052257634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200053a57600080fd5b81516001600160a01b0381168114620004e357600080fd5b611e3a80620005626000396000f3fe6080604052600436106101855760003560e01c806370a08231116100d1578063893d20e81161008a5780639cc35351116100645780639cc353511461049b578063a8aa1b31146104bb578063a9059cbb146104db578063dd62ed3e146104fb57600080fd5b8063893d20e81461041d5780638cd4426d1461044f57806395d89b411461046f57600080fd5b806370a0823114610370578063715018a6146103a657806372992efb146103bb57806378109e54146103db5780637cca52fe146103f15780637d1db4a51461040757600080fd5b8063313ce5671161013e57806348ff2b8b1161011857806348ff2b8b146103065780634e07c0121461032657806351bc3c851461034657806351cd7cc31461035b57600080fd5b8063313ce5671461029a57806339efcf9e146102b65780633f4218e0146102d657600080fd5b806306fdde0314610191578063095ea7b3146101d657806318160ddd146102065780631b5faebb1461022957806323b872dd1461024b5780632f54bf6e1461026b57600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600a81526948616c2046696e6e657960b01b60208201525b6040516101cd9190611983565b60405180910390f35b3480156101e257600080fd5b506101f66101f13660046119e9565b610541565b60405190151581526020016101cd565b34801561021257600080fd5b5061021b610558565b6040519081526020016101cd565b34801561023557600080fd5b50610249610244366004611a15565b6105c9565b005b34801561025757600080fd5b506101f6610266366004611a41565b61063e565b34801561027757600080fd5b506101f6610286366004611a82565b6000546001600160a01b0391821691161490565b3480156102a657600080fd5b50604051600981526020016101cd565b3480156102c257600080fd5b506102496102d1366004611aad565b6106a8565b3480156102e257600080fd5b506101f66102f1366004611a82565b60046020526000908152604090205460ff1681565b34801561031257600080fd5b50610249610321366004611b33565b610749565b34801561033257600080fd5b50610249610341366004611b6c565b61079e565b34801561035257600080fd5b50610249610844565b34801561036757600080fd5b5061024961087b565b34801561037c57600080fd5b5061021b61038b366004611a82565b6001600160a01b031660009081526002602052604090205490565b3480156103b257600080fd5b506102496108ba565b3480156103c757600080fd5b506102496103d6366004611bac565b610929565b3480156103e757600080fd5b5061021b601a5481565b3480156103fd57600080fd5b5061021b60195481565b34801561041357600080fd5b5061021b60185481565b34801561042957600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101cd565b34801561045b57600080fd5b5061024961046a3660046119e9565b610a29565b34801561047b57600080fd5b5060408051808201909152600381526212105360ea1b60208201526101c0565b3480156104a757600080fd5b506102496104b6366004611a15565b610b4a565b3480156104c757600080fd5b50600754610437906001600160a01b031681565b3480156104e757600080fd5b506101f66104f63660046119e9565b610c76565b34801561050757600080fd5b5061021b610516366004611bf8565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b600061054e338484610c83565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926105c49290916105be9190610da7565b90610da7565b905090565b6000546001600160a01b031633146105fc5760405162461bcd60e51b81526004016105f390611c26565b60405180910390fd5b600a83905560015461061d90620186a0906106179085610db3565b90610dbf565b600b5560015461063690620186a0906106179084610db3565b600c55505050565b600061064b848484610dcb565b61069d843361069885604051806060016040528060288152602001611ddd602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190611318565b610c83565b5060015b9392505050565b6000546001600160a01b031633146106d25760405162461bcd60e51b81526004016105f390611c26565b60005b828110156107435781600560008686858181106106f4576106f4611c46565b90506020020160208101906107099190611a82565b6001600160a01b031681526020810191909152604001600020805460ff19169115159190911790558061073b81611c72565b9150506106d5565b50505050565b6000546001600160a01b031633146107735760405162461bcd60e51b81526004016105f390611c26565b6001600160a01b03919091166000908152600460205260409020805460ff1916911515919091179055565b6000546001600160a01b031633146107c85760405162461bcd60e51b81526004016105f390611c26565b601680546001600160a01b039485166001600160a01b031991821681179092556017805494861694821685179055601580549390951692168217909355600092835260046020526040808420805460ff199081166001908117909255938552818520805485168217905591845290922080549091169091179055565b6000546001600160a01b0316331461086e5760405162461bcd60e51b81526004016105f390611c26565b610879600b54611344565b565b6000546001600160a01b031633146108a55760405162461bcd60e51b81526004016105f390611c26565b6007805460ff60a01b1916600160a01b179055565b6000546001600160a01b031633146108e45760405162461bcd60e51b81526004016105f390611c26565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146109535760405162461bcd60e51b81526004016105f390611c26565b600d879055600e8690556010859055600f849055601183905560128290556013819055601454610984906001610dbf565b601154111580156109a4575060145461099e906001610dbf565b60125411155b80156109bf57506014546109b9906001610dbf565b60135411155b610a205760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b60648201526084016105f3565b50505050505050565b6000546001600160a01b03163314610a535760405162461bcd60e51b81526004016105f390611c26565b6040516370a0823160e01b8152306004820152600090610ad1906064906106179085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610aa7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610acb9190611c8b565b90610db3565b60155460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303816000875af1158015610b26573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107439190611ca4565b6000546001600160a01b03163314610b745760405162461bcd60e51b81526004016105f390611c26565b6000610b9161271061061786600154610db390919063ffffffff16565b90506000610bb061271061061786600154610db390919063ffffffff16565b90506000610bcf61271061061786600154610db390919063ffffffff16565b60188490556019839055601a81905590506000610bf56103e86106176005610acb610558565b9050808410158015610c075750808310155b8015610c135750808210155b610a205760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016105f3565b600061054e338484610dcb565b6001600160a01b038316610ce55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105f3565b6001600160a01b038216610d465760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105f3565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006106a18284611cc1565b60006106a18284611cd4565b60006106a18284611ceb565b6001600160a01b038316610e2f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105f3565b6001600160a01b038216610e915760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105f3565b6001600160a01b038316600090815260026020526040902054811115610f135760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016105f3565b6001600160a01b03831660009081526004602052604090205460ff16158015610f5557506001600160a01b03821660009081526004602052604090205460ff16155b15610fa457600754600160a01b900460ff16610fa45760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016105f3565b6001600160a01b03831660009081526004602052604090205460ff16158015610fe657506001600160a01b03821660009081526004602052604090205460ff16155b801561100057506007546001600160a01b03838116911614155b801561101757506001600160a01b03821661dead14155b1561109057601a546001600160a01b03831660009081526002602052604090205461104290836114c1565b11156110905760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016105f3565b6007546001600160a01b0384811691161461113157601954811115806110ce57506001600160a01b03831660009081526004602052604090205460ff165b806110f157506001600160a01b03821660009081526004602052604090205460ff165b6111315760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105f3565b6018548111158061115a57506001600160a01b03831660009081526004602052604090205460ff165b8061117d57506001600160a01b03821660009081526004602052604090205460ff165b6111bd5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105f3565b6007546001600160a01b0383811691161480156111f357506001600160a01b03831660009081526004602052604090205460ff16155b156112115760016008600082825461120b9190611d0d565b90915550505b61121c8383836114cd565b156112325761122c600b54611344565b60006008555b6001600160a01b0383166000908152600260205260409020546112559082610da7565b6001600160a01b03841660009081526002602052604081209190915561127b8484611587565b6112855781611290565b6112908484846115cd565b6001600160a01b0384166000908152600260205260409020549091506112b690826114c1565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061130a9085815260200190565b60405180910390a350505050565b6000818484111561133c5760405162461bcd60e51b81526004016105f39190611983565b505050900390565b6009805460ff19166001908117909155600f54600e54600d5460009361137e93600293610acb9391926113789283916114c1565b906114c1565b9050600061139b82610617600d5486610db390919063ffffffff16565b905060006113a98483610da7565b9050476113b5826116d4565b60006113c14783610da7565b905060006113e46113dd600d5488610da790919063ffffffff16565b8390610dbf565b905060006113fd600d5483610db390919063ffffffff16565b9050801561140f5761140f868261182e565b600e5460009061142490610acb856002610db3565b90508015611468576016546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611466573d6000803e3d6000fd5b505b4780156114ab576015546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156114a9573d6000803e3d6000fd5b505b50506009805460ff191690555050505050505050565b60006106a18284611d0d565b600c54600b543060009081526002602052604081205460095491938510159211159060ff161580156115085750600754600160a81b900460ff165b801561151d5750600754600160a01b900460ff165b80156115265750815b801561154b57506001600160a01b03861660009081526004602052604090205460ff16155b801561156457506007546001600160a01b038681169116145b80156115745750600a5460085410155b801561157d5750805b9695505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156106a15750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806115da85856118e2565b11156116cd5760006115fd6115ef86866118e2565b601454610acb908690610dbf565b3060009081526002602052604090205490915061161a90826114c1565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061166b9085815260200190565b60405180910390a3600060105411801561168f575060105461168d86866118e2565b115b156116bb576116bb3061dead6116b6601054610acb60145489610dbf90919063ffffffff16565b610dcb565b6116c58382610da7565b9150506106a1565b5092915050565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061170957611709611c46565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611762573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117869190611d20565b8160018151811061179957611799611c46565b6001600160a01b0392831660209182029290920101526006546117bf9130911684610c83565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac947906117f8908590600090869030904290600401611d3d565b600060405180830381600087803b15801561181257600080fd5b505af1158015611826573d6000803e3d6000fd5b505050505050565b6006546118469030906001600160a01b031684610c83565b60065460175460405163f305d71960e01b81523060048201526024810185905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af11580156118b6573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906118db9190611dae565b5050505050565b6001600160a01b03821660009081526005602052604081205460ff168061192157506001600160a01b03821660009081526005602052604090205460ff165b1561193b57601454611934906064610da7565b9050610552565b6007546001600160a01b039081169083160361195a5750601254610552565b6007546001600160a01b03908116908416036119795750601154610552565b5060135492915050565b600060208083528351808285015260005b818110156119b057858101830151858201604001528201611994565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146119e657600080fd5b50565b600080604083850312156119fc57600080fd5b8235611a07816119d1565b946020939093013593505050565b600080600060608486031215611a2a57600080fd5b505081359360208301359350604090920135919050565b600080600060608486031215611a5657600080fd5b8335611a61816119d1565b92506020840135611a71816119d1565b929592945050506040919091013590565b600060208284031215611a9457600080fd5b81356106a1816119d1565b80151581146119e657600080fd5b600080600060408486031215611ac257600080fd5b833567ffffffffffffffff80821115611ada57600080fd5b818601915086601f830112611aee57600080fd5b813581811115611afd57600080fd5b8760208260051b8501011115611b1257600080fd5b60209283019550935050840135611b2881611a9f565b809150509250925092565b60008060408385031215611b4657600080fd5b8235611b51816119d1565b91506020830135611b6181611a9f565b809150509250929050565b600080600060608486031215611b8157600080fd5b8335611b8c816119d1565b92506020840135611b9c816119d1565b91506040840135611b28816119d1565b600080600080600080600060e0888a031215611bc757600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b60008060408385031215611c0b57600080fd5b8235611c16816119d1565b91506020830135611b61816119d1565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600060018201611c8457611c84611c5c565b5060010190565b600060208284031215611c9d57600080fd5b5051919050565b600060208284031215611cb657600080fd5b81516106a181611a9f565b8181038181111561055257610552611c5c565b808202811582820484141761055257610552611c5c565b600082611d0857634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111561055257610552611c5c565b600060208284031215611d3257600080fd5b81516106a1816119d1565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611d8d5784516001600160a01b031683529383019391830191600101611d68565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611dc357600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205991f1ab803f3e023b7f5b7ed6a5e0e7aff680ebf2757e1105af2acf1056cf9864736f6c63430008130033

0x6080604052600436106101855760003560e01c806370a08231116100d1578063893d20e81161008a5780639cc35351116100645780639cc353511461049b578063a8aa1b31146104bb578063a9059cbb146104db578063dd62ed3e146104fb57600080fd5b8063893d20e81461041d5780638cd4426d1461044f57806395d89b411461046f57600080fd5b806370a0823114610370578063715018a6146103a657806372992efb146103bb57806378109e54146103db5780637cca52fe146103f15780637d1db4a51461040757600080fd5b8063313ce5671161013e57806348ff2b8b1161011857806348ff2b8b146103065780634e07c0121461032657806351bc3c851461034657806351cd7cc31461035b57600080fd5b8063313ce5671461029a57806339efcf9e146102b65780633f4218e0146102d657600080fd5b806306fdde0314610191578063095ea7b3146101d657806318160ddd146102065780631b5faebb1461022957806323b872dd1461024b5780632f54bf6e1461026b57600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600a81526948616c2046696e6e657960b01b60208201525b6040516101cd9190611983565b60405180910390f35b3480156101e257600080fd5b506101f66101f13660046119e9565b610541565b60405190151581526020016101cd565b34801561021257600080fd5b5061021b610558565b6040519081526020016101cd565b34801561023557600080fd5b50610249610244366004611a15565b6105c9565b005b34801561025757600080fd5b506101f6610266366004611a41565b61063e565b34801561027757600080fd5b506101f6610286366004611a82565b6000546001600160a01b0391821691161490565b3480156102a657600080fd5b50604051600981526020016101cd565b3480156102c257600080fd5b506102496102d1366004611aad565b6106a8565b3480156102e257600080fd5b506101f66102f1366004611a82565b60046020526000908152604090205460ff1681565b34801561031257600080fd5b50610249610321366004611b33565b610749565b34801561033257600080fd5b50610249610341366004611b6c565b61079e565b34801561035257600080fd5b50610249610844565b34801561036757600080fd5b5061024961087b565b34801561037c57600080fd5b5061021b61038b366004611a82565b6001600160a01b031660009081526002602052604090205490565b3480156103b257600080fd5b506102496108ba565b3480156103c757600080fd5b506102496103d6366004611bac565b610929565b3480156103e757600080fd5b5061021b601a5481565b3480156103fd57600080fd5b5061021b60195481565b34801561041357600080fd5b5061021b60185481565b34801561042957600080fd5b506000546001600160a01b03165b6040516001600160a01b0390911681526020016101cd565b34801561045b57600080fd5b5061024961046a3660046119e9565b610a29565b34801561047b57600080fd5b5060408051808201909152600381526212105360ea1b60208201526101c0565b3480156104a757600080fd5b506102496104b6366004611a15565b610b4a565b3480156104c757600080fd5b50600754610437906001600160a01b031681565b3480156104e757600080fd5b506101f66104f63660046119e9565b610c76565b34801561050757600080fd5b5061021b610516366004611bf8565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b600061054e338484610c83565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc5460015491926105c49290916105be9190610da7565b90610da7565b905090565b6000546001600160a01b031633146105fc5760405162461bcd60e51b81526004016105f390611c26565b60405180910390fd5b600a83905560015461061d90620186a0906106179085610db3565b90610dbf565b600b5560015461063690620186a0906106179084610db3565b600c55505050565b600061064b848484610dcb565b61069d843361069885604051806060016040528060288152602001611ddd602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190611318565b610c83565b5060015b9392505050565b6000546001600160a01b031633146106d25760405162461bcd60e51b81526004016105f390611c26565b60005b828110156107435781600560008686858181106106f4576106f4611c46565b90506020020160208101906107099190611a82565b6001600160a01b031681526020810191909152604001600020805460ff19169115159190911790558061073b81611c72565b9150506106d5565b50505050565b6000546001600160a01b031633146107735760405162461bcd60e51b81526004016105f390611c26565b6001600160a01b03919091166000908152600460205260409020805460ff1916911515919091179055565b6000546001600160a01b031633146107c85760405162461bcd60e51b81526004016105f390611c26565b601680546001600160a01b039485166001600160a01b031991821681179092556017805494861694821685179055601580549390951692168217909355600092835260046020526040808420805460ff199081166001908117909255938552818520805485168217905591845290922080549091169091179055565b6000546001600160a01b0316331461086e5760405162461bcd60e51b81526004016105f390611c26565b610879600b54611344565b565b6000546001600160a01b031633146108a55760405162461bcd60e51b81526004016105f390611c26565b6007805460ff60a01b1916600160a01b179055565b6000546001600160a01b031633146108e45760405162461bcd60e51b81526004016105f390611c26565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b031633146109535760405162461bcd60e51b81526004016105f390611c26565b600d879055600e8690556010859055600f849055601183905560128290556013819055601454610984906001610dbf565b601154111580156109a4575060145461099e906001610dbf565b60125411155b80156109bf57506014546109b9906001610dbf565b60135411155b610a205760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b60648201526084016105f3565b50505050505050565b6000546001600160a01b03163314610a535760405162461bcd60e51b81526004016105f390611c26565b6040516370a0823160e01b8152306004820152600090610ad1906064906106179085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610aa7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610acb9190611c8b565b90610db3565b60155460405163a9059cbb60e01b81526001600160a01b0391821660048201526024810183905291925084169063a9059cbb906044016020604051808303816000875af1158015610b26573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107439190611ca4565b6000546001600160a01b03163314610b745760405162461bcd60e51b81526004016105f390611c26565b6000610b9161271061061786600154610db390919063ffffffff16565b90506000610bb061271061061786600154610db390919063ffffffff16565b90506000610bcf61271061061786600154610db390919063ffffffff16565b60188490556019839055601a81905590506000610bf56103e86106176005610acb610558565b9050808410158015610c075750808310155b8015610c135750808210155b610a205760405162461bcd60e51b815260206004820152602e60248201527f4d61782054587320616e64204d61782057616c6c65742063616e6e6f7420626560448201526d206c657373207468616e202e352560901b60648201526084016105f3565b600061054e338484610dcb565b6001600160a01b038316610ce55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016105f3565b6001600160a01b038216610d465760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016105f3565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006106a18284611cc1565b60006106a18284611cd4565b60006106a18284611ceb565b6001600160a01b038316610e2f5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016105f3565b6001600160a01b038216610e915760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016105f3565b6001600160a01b038316600090815260026020526040902054811115610f135760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016105f3565b6001600160a01b03831660009081526004602052604090205460ff16158015610f5557506001600160a01b03821660009081526004602052604090205460ff16155b15610fa457600754600160a01b900460ff16610fa45760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b60448201526064016105f3565b6001600160a01b03831660009081526004602052604090205460ff16158015610fe657506001600160a01b03821660009081526004602052604090205460ff16155b801561100057506007546001600160a01b03838116911614155b801561101757506001600160a01b03821661dead14155b1561109057601a546001600160a01b03831660009081526002602052604090205461104290836114c1565b11156110905760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016105f3565b6007546001600160a01b0384811691161461113157601954811115806110ce57506001600160a01b03831660009081526004602052604090205460ff165b806110f157506001600160a01b03821660009081526004602052604090205460ff165b6111315760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105f3565b6018548111158061115a57506001600160a01b03831660009081526004602052604090205460ff165b8061117d57506001600160a01b03821660009081526004602052604090205460ff165b6111bd5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016105f3565b6007546001600160a01b0383811691161480156111f357506001600160a01b03831660009081526004602052604090205460ff16155b156112115760016008600082825461120b9190611d0d565b90915550505b61121c8383836114cd565b156112325761122c600b54611344565b60006008555b6001600160a01b0383166000908152600260205260409020546112559082610da7565b6001600160a01b03841660009081526002602052604081209190915561127b8484611587565b6112855781611290565b6112908484846115cd565b6001600160a01b0384166000908152600260205260409020549091506112b690826114c1565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061130a9085815260200190565b60405180910390a350505050565b6000818484111561133c5760405162461bcd60e51b81526004016105f39190611983565b505050900390565b6009805460ff19166001908117909155600f54600e54600d5460009361137e93600293610acb9391926113789283916114c1565b906114c1565b9050600061139b82610617600d5486610db390919063ffffffff16565b905060006113a98483610da7565b9050476113b5826116d4565b60006113c14783610da7565b905060006113e46113dd600d5488610da790919063ffffffff16565b8390610dbf565b905060006113fd600d5483610db390919063ffffffff16565b9050801561140f5761140f868261182e565b600e5460009061142490610acb856002610db3565b90508015611468576016546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611466573d6000803e3d6000fd5b505b4780156114ab576015546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156114a9573d6000803e3d6000fd5b505b50506009805460ff191690555050505050505050565b60006106a18284611d0d565b600c54600b543060009081526002602052604081205460095491938510159211159060ff161580156115085750600754600160a81b900460ff165b801561151d5750600754600160a01b900460ff165b80156115265750815b801561154b57506001600160a01b03861660009081526004602052604090205460ff16155b801561156457506007546001600160a01b038681169116145b80156115745750600a5460085410155b801561157d5750805b9695505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156106a15750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806115da85856118e2565b11156116cd5760006115fd6115ef86866118e2565b601454610acb908690610dbf565b3060009081526002602052604090205490915061161a90826114c1565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061166b9085815260200190565b60405180910390a3600060105411801561168f575060105461168d86866118e2565b115b156116bb576116bb3061dead6116b6601054610acb60145489610dbf90919063ffffffff16565b610dcb565b6116c58382610da7565b9150506106a1565b5092915050565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061170957611709611c46565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611762573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117869190611d20565b8160018151811061179957611799611c46565b6001600160a01b0392831660209182029290920101526006546117bf9130911684610c83565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac947906117f8908590600090869030904290600401611d3d565b600060405180830381600087803b15801561181257600080fd5b505af1158015611826573d6000803e3d6000fd5b505050505050565b6006546118469030906001600160a01b031684610c83565b60065460175460405163f305d71960e01b81523060048201526024810185905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af11580156118b6573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906118db9190611dae565b5050505050565b6001600160a01b03821660009081526005602052604081205460ff168061192157506001600160a01b03821660009081526005602052604090205460ff165b1561193b57601454611934906064610da7565b9050610552565b6007546001600160a01b039081169083160361195a5750601254610552565b6007546001600160a01b03908116908416036119795750601154610552565b5060135492915050565b600060208083528351808285015260005b818110156119b057858101830151858201604001528201611994565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146119e657600080fd5b50565b600080604083850312156119fc57600080fd5b8235611a07816119d1565b946020939093013593505050565b600080600060608486031215611a2a57600080fd5b505081359360208301359350604090920135919050565b600080600060608486031215611a5657600080fd5b8335611a61816119d1565b92506020840135611a71816119d1565b929592945050506040919091013590565b600060208284031215611a9457600080fd5b81356106a1816119d1565b80151581146119e657600080fd5b600080600060408486031215611ac257600080fd5b833567ffffffffffffffff80821115611ada57600080fd5b818601915086601f830112611aee57600080fd5b813581811115611afd57600080fd5b8760208260051b8501011115611b1257600080fd5b60209283019550935050840135611b2881611a9f565b809150509250925092565b60008060408385031215611b4657600080fd5b8235611b51816119d1565b91506020830135611b6181611a9f565b809150509250929050565b600080600060608486031215611b8157600080fd5b8335611b8c816119d1565b92506020840135611b9c816119d1565b91506040840135611b28816119d1565b600080600080600080600060e0888a031215611bc757600080fd5b505085359760208701359750604087013596606081013596506080810135955060a0810135945060c0013592509050565b60008060408385031215611c0b57600080fd5b8235611c16816119d1565b91506020830135611b61816119d1565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600060018201611c8457611c84611c5c565b5060010190565b600060208284031215611c9d57600080fd5b5051919050565b600060208284031215611cb657600080fd5b81516106a181611a9f565b8181038181111561055257610552611c5c565b808202811582820484141761055257610552611c5c565b600082611d0857634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111561055257610552611c5c565b600060208284031215611d3257600080fd5b81516106a1816119d1565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611d8d5784516001600160a01b031683529383019391830191600101611d68565b50506001600160a01b03969096166060850152505050608001529392505050565b600080600060608486031215611dc357600080fd5b835192506020840151915060408401519050925092509256fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212205991f1ab803f3e023b7f5b7ed6a5e0e7aff680ebf2757e1105af2acf1056cf9864736f6c63430008130033

4793:11347:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7234:67;;;;;;;;;;-1:-1:-1;7294:5:0;;;;;;;;;;;;-1:-1:-1;;;7294:5:0;;;;7234:67;;;;;;;:::i;:::-;;;;;;;;8114:133;;;;;;;;;;-1:-1:-1;8114:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8114:133:0;1023:187:1;8253:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;8253:132:0;1215:177:1;8804:311:0;;;;;;;;;;-1:-1:-1;8804:311:0;;;;;:::i;:::-;;:::i;:::-;;15483:309;;;;;;;;;;-1:-1:-1;15483:309:0;;;;;:::i;:::-;;:::i;3675:87::-;;;;;;;;;;-1:-1:-1;3675:87:0;;;;;:::i;:::-;3730:4;3755:5;-1:-1:-1;;;;;3744:16:0;;;3755:5;;3744:16;;3675:87;7384:67;;;;;;;;;;-1:-1:-1;7384:67:0;;5003:1;2573:36:1;;2561:2;2546:18;7384:67:0;2431:184:1;10562:182:0;;;;;;;;;;-1:-1:-1;10562:182:0;;;;;:::i;:::-;;:::i;5199:44::-;;;;;;;;;;-1:-1:-1;5199:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;8000:108;;;;;;;;;;-1:-1:-1;8000:108:0;;;;;:::i;:::-;;:::i;10218:336::-;;;;;;;;;;-1:-1:-1;10218:336:0;;;;;:::i;:::-;;:::i;10752:89::-;;;;;;;;;;;;;:::i;7457:66::-;;;;;;;;;;;;;:::i;7613:103::-;;;;;;;;;;-1:-1:-1;7613:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;7696:18:0;7679:7;7696:18;;;:9;:18;;;;;;;7613:103;3768:133;;;;;;;;;;;;;:::i;9123:523::-;;;;;;;;;;-1:-1:-1;9123:523:0;;;;;:::i;:::-;;:::i;6517:63::-;;;;;;;;;;;;;;;;6448:62;;;;;;;;;;;;;;;;6381:60;;;;;;;;;;;;;;;;7529:78;;;;;;;;;;-1:-1:-1;7581:7:0;7599:5;-1:-1:-1;;;;;7599:5:0;7529:78;;;-1:-1:-1;;;;;5180:32:1;;;5162:51;;5150:2;5135:18;7529:78:0;5016:203:1;10849:242:0;;;;;;;;;;-1:-1:-1;10849:242:0;;;;;:::i;:::-;;:::i;7307:71::-;;;;;;;;;;-1:-1:-1;7369:7:0;;;;;;;;;;;;-1:-1:-1;;;7369:7:0;;;;7307:71;;9654:556;;;;;;;;;;-1:-1:-1;9654:556:0;;;;;:::i;:::-;;:::i;5317:19::-;;;;;;;;;;-1:-1:-1;5317:19:0;;;;-1:-1:-1;;;;;5317:19:0;;;7722:139;;;;;;;;;;-1:-1:-1;7722:139:0;;;;;:::i;:::-;;:::i;7867:127::-;;;;;;;;;;-1:-1:-1;7867:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;7965:18:0;;;7948:7;7965:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7867:127;8114:133;8189:4;8196:37;8205:10;8217:7;8226:6;8196:8;:37::i;:::-;-1:-1:-1;8241:4:0;8114:133;;;;;:::o;8253:132::-;7696:9;:18;;;;6068:42;8306:7;7696:18;;;;;8323:12;;8306:7;;8323:60;;7696:18;;8323:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;8316:67;;8253:132;:::o;8804:311::-;3730:4;3755:5;-1:-1:-1;;;;;3755:5:0;3642:10;3744:16;3626:38;;;;-1:-1:-1;;;3626:38:0;;;;;;;:::i;:::-;;;;;;;;;8929:10:::1;:24:::0;;;8971:12:::1;::::0;:53:::1;::::0;9016:6:::1;::::0;8971:32:::1;::::0;8988:14;8971:16:::1;:32::i;:::-;:36:::0;::::1;:53::i;:::-;8955:13;:69:::0;9053:12:::1;::::0;:54:::1;::::0;9099:6:::1;::::0;9053:33:::1;::::0;9070:15;9053:16:::1;:33::i;:54::-;9036:14;:71:::0;-1:-1:-1;;;8804:311:0:o;15483:309::-;15581:4;15598:36;15608:6;15616:9;15627:6;15598:9;:36::i;:::-;15645:117;15654:6;15662:10;15674:87;15710:6;15674:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15674:19:0;;;;;;:11;:19;;;;;;;;15694:10;15674:31;;;;;;;;;:87;:35;:87::i;:::-;15645:8;:117::i;:::-;-1:-1:-1;15780:4:0;15483:309;;;;;;:::o;10562:182::-;3730:4;3755:5;-1:-1:-1;;;;;3755:5:0;3642:10;3744:16;3626:38;;;;-1:-1:-1;;;3626:38:0;;;;;;;:::i;:::-;10657:6:::1;10653:84;10667:20:::0;;::::1;10653:84;;;10726:8;10704:5;:19;10710:9;;10720:1;10710:12;;;;;;;:::i;:::-;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10704:19:0::1;::::0;;::::1;::::0;::::1;::::0;;;;;;-1:-1:-1;10704:19:0;:30;;-1:-1:-1;;10704:30:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10689:3;::::1;::::0;::::1;:::i;:::-;;;;10653:84;;;;10562:182:::0;;;:::o;8000:108::-;3730:4;3755:5;-1:-1:-1;;;;;3755:5:0;3642:10;3744:16;3626:38;;;;-1:-1:-1;;;3626:38:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8074:21:0;;;::::1;;::::0;;;:11:::1;:21;::::0;;;;:32;;-1:-1:-1;;8074:32:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8000:108::o;10218:336::-;3730:4;3755:5;-1:-1:-1;;;;;3755:5:0;3642:10;3744:16;3626:38;;;;-1:-1:-1;;;3626:38:0;;;;;;;:::i;:::-;10338:18:::1;:31:::0;;-1:-1:-1;;;;;10338:31:0;;::::1;-1:-1:-1::0;;;;;;10338:31:0;;::::1;::::0;::::1;::::0;;;10371:18:::1;:31:::0;;;;::::1;::::0;;::::1;::::0;::::1;::::0;;10404:20:::1;:35:::0;;;;;::::1;::::0;::::1;::::0;::::1;::::0;;;10338:18:::1;10450:23:::0;;;:11:::1;:23;::::0;;;;;:30;;-1:-1:-1;;10450:30:0;;::::1;10338:31:::0;10450:30;;::::1;::::0;;;10482:23;;;;;;:30;;;::::1;::::0;::::1;::::0;;10514:25;;;;;;:32;;;;::::1;::::0;;::::1;::::0;;10218:336::o;10752:89::-;3730:4;3755:5;-1:-1:-1;;;;;3755:5:0;3642:10;3744:16;3626:38;;;;-1:-1:-1;;;3626:38:0;;;;;;;:::i;:::-;10804:29:::1;10819:13;;10804:14;:29::i;:::-;10752:89::o:0;7457:66::-;3730:4;3755:5;-1:-1:-1;;;;;3755:5:0;3642:10;3744:16;3626:38;;;;-1:-1:-1;;;3626:38:0;;;;;;;:::i;:::-;7500:14:::1;:21:::0;;-1:-1:-1;;;;7500:21:0::1;-1:-1:-1::0;;;7500:21:0::1;::::0;;7457:66::o;3768:133::-;3730:4;3755:5;-1:-1:-1;;;;;3755:5:0;3642:10;3744:16;3626:38;;;;-1:-1:-1;;;3626:38:0;;;;;;;:::i;:::-;3842:1:::1;3826:18:::0;;-1:-1:-1;;;;;;3826:18:0::1;::::0;;3861:32:::1;::::0;5162:51:1;;;3861:32:0::1;::::0;5150:2:1;5135:18;3861:32:0::1;;;;;;;3768:133::o:0;9123:523::-;3730:4;3755:5;-1:-1:-1;;;;;3755:5:0;3642:10;3744:16;3626:38;;;;-1:-1:-1;;;3626:38:0;;;;;;;:::i;:::-;9312:12:::1;:25:::0;;;9339:12:::1;:25:::0;;;9366:7:::1;:15:::0;;;9383:14:::1;:29:::0;;;9414:8:::1;:17:::0;;;9433:7:::1;:15:::0;;;9450:11:::1;:20:::0;;;9501:11:::1;::::0;:18:::1;::::0;-1:-1:-1;9501:15:0::1;:18::i;:::-;9489:8;;:30;;:63;;;;-1:-1:-1::0;9534:11:0::1;::::0;:18:::1;::::0;9550:1:::1;9534:15;:18::i;:::-;9523:7;;:29;;9489:63;:100;;;;-1:-1:-1::0;9571:11:0::1;::::0;:18:::1;::::0;9587:1:::1;9571:15;:18::i;:::-;9556:11;;:33;;9489:100;9481:157;;;::::0;-1:-1:-1;;;9481:157:0;;6557:2:1;9481:157:0::1;::::0;::::1;6539:21:1::0;6596:2;6576:18;;;6569:30;6635:34;6615:18;;;6608:62;-1:-1:-1;;;6686:18:1;;;6679:42;6738:19;;9481:157:0::1;6355:408:1::0;9481:157:0::1;9123:523:::0;;;;;;;:::o;10849:242::-;3730:4;3755:5;-1:-1:-1;;;;;3755:5:0;3642:10;3744:16;3626:38;;;;-1:-1:-1;;;3626:38:0;;;;;;;:::i;:::-;10953:41:::1;::::0;-1:-1:-1;;;10953:41:0;;10988:4:::1;10953:41;::::0;::::1;5162:51:1::0;10935:15:0::1;::::0;10953:63:::1;::::0;11012:3:::1;::::0;10953:54:::1;::::0;10999:7;;-1:-1:-1;;;;;10953:26:0;::::1;::::0;::::1;::::0;5135:18:1;;10953:41:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:45:::0;::::1;:54::i;:63::-;11053:20;::::0;11027:56:::1;::::0;-1:-1:-1;;;11027:56:0;;-1:-1:-1;;;;;11053:20:0;;::::1;11027:56;::::0;::::1;7131:51:1::0;7198:18;;;7191:34;;;10935:81:0;;-1:-1:-1;11027:25:0;::::1;::::0;::::1;::::0;7104:18:1;;11027:56:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;9654:556::-:0;3730:4;3755:5;-1:-1:-1;;;;;3755:5:0;3642:10;3744:16;3626:38;;;;-1:-1:-1;;;3626:38:0;;;;;;;:::i;:::-;9760:13:::1;9776:33;9803:5;9776:22;9793:4;9776:12;;:16;;:22;;;;:::i;:33::-;9760:49;;9811:19;9833:34;9861:5;9833:23;9850:5;9833:12;;:16;;:23;;;;:::i;:34::-;9811:56;;9869:17;9889:36;9919:5;9889:25;9906:7;9889:12;;:16;;:25;;;;:::i;:36::-;9936:12;:20:::0;;;9958:14:::1;:28:::0;;;9988:15:::1;:27:::0;;;9869:56;-1:-1:-1;;10042:30:0::1;10067:4;10042:20;10060:1;10042:13;:11;:13::i;:30::-;10026:46;;10100:5;10091;:14;;:38;;;;;10124:5;10109:11;:20;;10091:38;:60;;;;;10146:5;10133:9;:18;;10091:60;10083:119;;;::::0;-1:-1:-1;;;10083:119:0;;7688:2:1;10083:119:0::1;::::0;::::1;7670:21:1::0;7727:2;7707:18;;;7700:30;7766:34;7746:18;;;7739:62;-1:-1:-1;;;7817:18:1;;;7810:44;7871:19;;10083:119:0::1;7486:410:1::0;7722:139:0;7800:4;7807:40;7817:10;7829:9;7840:6;7807:9;:40::i;15800:335::-;-1:-1:-1;;;;;15893:19:0;;15885:68;;;;-1:-1:-1;;;15885:68:0;;8103:2:1;15885:68:0;;;8085:21:1;8142:2;8122:18;;;8115:30;8181:34;8161:18;;;8154:62;-1:-1:-1;;;8232:18:1;;;8225:34;8276:19;;15885:68:0;7901:400:1;15885:68:0;-1:-1:-1;;;;;15972:21:0;;15964:68;;;;-1:-1:-1;;;15964:68:0;;8508:2:1;15964:68:0;;;8490:21:1;8547:2;8527:18;;;8520:30;8586:34;8566:18;;;8559:62;-1:-1:-1;;;8637:18:1;;;8630:32;8679:19;;15964:68:0;8306:398:1;15964:68:0;-1:-1:-1;;;;;16043:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;16095:32;;1361:25:1;;;16095:32:0;;1334:18:1;16095:32:0;;;;;;;15800:335;;;:::o;1414:98::-;1472:7;1499:5;1503:1;1499;:5;:::i;1520:98::-;1578:7;1605:5;1609:1;1605;:5;:::i;1626:98::-;1684:7;1711:5;1715:1;1711;:5;:::i;14042:1433::-;-1:-1:-1;;;;;14139:20:0;;14131:70;;;;-1:-1:-1;;;14131:70:0;;9439:2:1;14131:70:0;;;9421:21:1;9478:2;9458:18;;;9451:30;9517:34;9497:18;;;9490:62;-1:-1:-1;;;9568:18:1;;;9561:35;9613:19;;14131:70:0;9237:401:1;14131:70:0;-1:-1:-1;;;;;14220:23:0;;14212:71;;;;-1:-1:-1;;;14212:71:0;;9845:2:1;14212:71:0;;;9827:21:1;9884:2;9864:18;;;9857:30;9923:34;9903:18;;;9896:62;-1:-1:-1;;;9974:18:1;;;9967:33;10017:19;;14212:71:0;9643:399:1;14212:71:0;-1:-1:-1;;;;;7696:18:0;;7679:7;7696:18;;;:9;:18;;;;;;14302:6;:27;;14294:88;;;;-1:-1:-1;;;14294:88:0;;10249:2:1;14294:88:0;;;10231:21:1;10288:2;10268:18;;;10261:30;10327:34;10307:18;;;10300:62;-1:-1:-1;;;10378:18:1;;;10371:47;10435:19;;14294:88:0;10047:413:1;14294:88:0;-1:-1:-1;;;;;14397:19:0;;;;;;:11;:19;;;;;;;;14396:20;:47;;;;-1:-1:-1;;;;;;14421:22:0;;;;;;:11;:22;;;;;;;;14420:23;14396:47;14393:95;;;14453:14;;-1:-1:-1;;;14453:14:0;;;;14445:41;;;;-1:-1:-1;;;14445:41:0;;10667:2:1;14445:41:0;;;10649:21:1;10706:2;10686:18;;;10679:30;-1:-1:-1;;;10725:18:1;;;10718:44;10779:18;;14445:41:0;10465:338:1;14445:41:0;-1:-1:-1;;;;;14502:19:0;;;;;;:11;:19;;;;;;;;14501:20;:47;;;;-1:-1:-1;;;;;;14526:22:0;;;;;;:11;:22;;;;;;;;14525:23;14501:47;:77;;;;-1:-1:-1;14573:4:0;;-1:-1:-1;;;;;14552:26:0;;;14573:4;;14552:26;;14501:77;:107;;;;-1:-1:-1;;;;;;14582:26:0;;6068:42;14582:26;;14501:107;14498:220;;;14666:15;;-1:-1:-1;;;;;14629:20:0;;;;;;:9;:20;;;;;;:32;;14654:6;14629:24;:32::i;:::-;14628:53;;14620:96;;;;-1:-1:-1;;;14620:96:0;;11010:2:1;14620:96:0;;;10992:21:1;11049:2;11029:18;;;11022:30;11088:32;11068:18;;;11061:60;11138:18;;14620:96:0;10808:354:1;14620:96:0;14741:4;;-1:-1:-1;;;;;14731:14:0;;;14741:4;;14731:14;14728:124;;14765:14;;14755:6;:24;;:47;;;-1:-1:-1;;;;;;14783:19:0;;;;;;:11;:19;;;;;;;;14755:47;:73;;;-1:-1:-1;;;;;;14806:22:0;;;;;;:11;:22;;;;;;;;14755:73;14747:103;;;;-1:-1:-1;;;14747:103:0;;11369:2:1;14747:103:0;;;11351:21:1;11408:2;11388:18;;;11381:30;-1:-1:-1;;;11427:18:1;;;11420:47;11484:18;;14747:103:0;11167:341:1;14747:103:0;14880:12;;14870:6;:22;;:45;;;-1:-1:-1;;;;;;14896:19:0;;;;;;:11;:19;;;;;;;;14870:45;:71;;;-1:-1:-1;;;;;;14919:22:0;;;;;;:11;:22;;;;;;;;14870:71;14862:101;;;;-1:-1:-1;;;14862:101:0;;11369:2:1;14862:101:0;;;11351:21:1;11408:2;11388:18;;;11381:30;-1:-1:-1;;;11427:18:1;;;11420:47;11484:18;;14862:101:0;11167:341:1;14862:101:0;14991:4;;-1:-1:-1;;;;;14978:17:0;;;14991:4;;14978:17;:41;;;;-1:-1:-1;;;;;;15000:19:0;;;;;;:11;:19;;;;;;;;14999:20;14978:41;14975:71;;;15042:1;15021:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;14975:71:0;15059:45;15078:6;15086:9;15097:6;15059:18;:45::i;:::-;15056:105;;;15106:29;15121:13;;15106:14;:29::i;:::-;15157:1;15137:9;:22;15056:105;-1:-1:-1;;;;;15191:17:0;;;;;;:9;:17;;;;;;:29;;15213:6;15191:21;:29::i;:::-;-1:-1:-1;;;;;15171:17:0;;;;;;:9;:17;;;;;:49;;;;15256:32;15181:6;15278:9;15256:13;:32::i;:::-;:78;;15328:6;15256:78;;;15291:34;15299:6;15307:9;15318:6;15291:7;:34::i;:::-;-1:-1:-1;;;;;15368:20:0;;;;;;:9;:20;;;;;;15231:103;;-1:-1:-1;15368:40:0;;15231:103;15368:24;:40::i;:::-;-1:-1:-1;;;;;15345:20:0;;;;;;;:9;:20;;;;;;;:63;;;;15424:43;;;;;;;;;;15452:14;1361:25:1;;1349:2;1334:18;;1215:177;15424:43:0;;;;;;;;14120:1355;14042:1433;;;:::o;1838:240::-;1958:7;2019:12;2011:6;;;;2003:29;;;;-1:-1:-1;;;2003:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2054:5:0;;;1838:240::o;11099:1063::-;5677:8;:15;;-1:-1:-1;;5677:15:0;5688:4;5677:15;;;;;;11236:14:::1;::::0;11218:12:::1;::::0;11194::::1;::::0;5677:8;;11193:66:::1;::::0;11257:1:::1;::::0;11194:57:::1;::::0;11236:14;;11194:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;11193:66::-;11170:89;;11270:32;11305:42;11334:12;11305:24;11316:12;;11305:6;:10;;:24;;;;:::i;:42::-;11270:77:::0;-1:-1:-1;11358:14:0::1;11375:36;:6:::0;11270:77;11375:10:::1;:36::i;:::-;11358:53:::0;-1:-1:-1;11447:21:0::1;11479:24;11358:53:::0;11479:16:::1;:24::i;:::-;11514:20;11537:41;:21;11563:14:::0;11537:25:::1;:41::i;:::-;11514:64;;11589:19;11610:48;11627:30;11644:12;;11627;:16;;:30;;;;:::i;:::-;11610:12:::0;;:16:::1;:48::i;:::-;11589:69;;11669:29;11701;11717:12;;11701:11;:15;;:29;;;;:::i;:::-;11669:61:::0;-1:-1:-1;11744:34:0;;11741:103:::1;;11780:61;11793:24;11819:21;11780:12;:61::i;:::-;11900:12;::::0;11854:20:::1;::::0;11877:36:::1;::::0;:18:::1;:11:::0;11893:1:::1;11877:15;:18::i;:36::-;11854:59:::0;-1:-1:-1;11927:16:0;;11924:73:::1;;11953:18;::::0;11945:50:::1;::::0;-1:-1:-1;;;;;11953:18:0;;::::1;::::0;11945:50;::::1;;;::::0;11982:12;;11953:18:::1;11945:50:::0;11953:18;11945:50;11982:12;11953:18;11945:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11924:73;12033:21;12068:28:::0;;12065:90:::1;;12106:20;::::0;12098:55:::1;::::0;-1:-1:-1;;;;;12106:20:0;;::::1;::::0;12098:55;::::1;;;::::0;12137:15;;12106:20:::1;12098:55:::0;12106:20;12098:55;12137:15;12106:20;12098:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;12065:90;-1:-1:-1::0;;5697:8:0;:16;;-1:-1:-1;;5697:16:0;;;-1:-1:-1;;;;;;;;11099:1063:0:o;1308:98::-;1366:7;1393:5;1397:1;1393;:5;:::i;8393:403::-;8538:14;;8613:13;;8603:4;8495;7696:18;;;:9;:18;;;;;;8645:8;;8495:4;;8528:24;;;;-1:-1:-1;8585:41:0;;8645:8;;8644:9;:24;;;;-1:-1:-1;8657:11:0;;-1:-1:-1;;;8657:11:0;;;;8644:24;:42;;;;-1:-1:-1;8672:14:0;;-1:-1:-1;;;8672:14:0;;;;8644:42;:54;;;;;8690:8;8644:54;:78;;;;-1:-1:-1;;;;;;8703:19:0;;;;;;:11;:19;;;;;;;;8702:20;8644:78;:99;;;;-1:-1:-1;8739:4:0;;-1:-1:-1;;;;;8726:17:0;;;8739:4;;8726:17;8644:99;:126;;;;;8760:10;;8747:9;;:23;;8644:126;:144;;;;;8774:14;8644:144;8637:151;8393:403;-1:-1:-1;;;;;;8393:403:0:o;12963:160::-;-1:-1:-1;;;;;13069:19:0;;13044:4;13069:19;;;:11;:19;;;;;;;;13068:20;:47;;;;-1:-1:-1;;;;;;;13093:22:0;;;;;:11;:22;;;;;;;;13092:23;;12963:160;-1:-1:-1;12963:160:0:o;13444:590::-;13530:7;13586:1;13553:30;13565:6;13573:9;13553:11;:30::i;:::-;:34;13550:462;;;13599:17;13619:59;13647:30;13659:6;13667:9;13647:11;:30::i;:::-;13630:11;;13619:23;;:6;;:10;:23::i;:59::-;13734:4;13716:24;;;;:9;:24;;;;;;13599:79;;-1:-1:-1;13716:39:0;;13599:79;13716:28;:39::i;:::-;13707:4;13689:24;;;;:9;:24;;;;;;;:66;;;;13771:42;;-1:-1:-1;;;;;13771:42:0;;;;;;;13803:9;1361:25:1;;1349:2;1334:18;;1215:177;13771:42:0;;;;;;;;13845:1;13827:7;;:20;:64;;;;;13884:7;;13851:30;13863:6;13871:9;13851:11;:30::i;:::-;:40;13827:64;13824:148;;;13893:77;13911:4;6068:42;13933:36;13961:7;;13933:23;13944:11;;13933:6;:10;;:23;;;;:::i;:36::-;13893:9;:77::i;:::-;13989:21;:6;14000:9;13989:10;:21::i;:::-;13982:28;;;;;13550:462;-1:-1:-1;14020:6:0;13444:590;-1:-1:-1;;13444:590:0:o;12521:434::-;12611:16;;;12625:1;12611:16;;;;;;;;12587:21;;12611:16;;;;;;;;;;-1:-1:-1;12611:16:0;12587:40;;12656:4;12638;12643:1;12638:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12638:23:0;;;:7;;;;;;;;;;:23;;;;12682:6;;:13;;;-1:-1:-1;;;12682:13:0;;;;:6;;;;;:11;;:13;;;;;12638:7;;12682:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12672:4;12677:1;12672:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12672:23:0;;;:7;;;;;;;;;:23;12738:6;;12706:53;;12723:4;;12738:6;12747:11;12706:8;:53::i;:::-;12770:6;;:177;;-1:-1:-1;;;12770:177:0;;-1:-1:-1;;;;;12770:6:0;;;;:57;;:177;;12842:11;;12770:6;;12884:4;;12911;;12931:15;;12770:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12576:379;12521:434;:::o;12170:343::-;12283:6;;12251:53;;12268:4;;-1:-1:-1;;;;;12283:6:0;12292:11;12251:8;:53::i;:::-;12315:6;;12456:18;;12315:190;;-1:-1:-1;;;12315:190:0;;12378:4;12315:190;;;13357:34:1;13407:18;;;13400:34;;;12315:6:0;13450:18:1;;;13443:34;;;13493:18;;;13486:34;-1:-1:-1;;;;;12456:18:0;;;13536:19:1;;;13529:44;12489:15:0;13589:19:1;;;13582:35;12315:6:0;;;:22;;12345:9;;13291:19:1;;12315:190:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;12170:343;;:::o;13131:305::-;-1:-1:-1;;;;;13233:13:0;;13210:7;13233:13;;;:5;:13;;;;;;;;;:33;;-1:-1:-1;;;;;;13250:16:0;;;;;;:5;:16;;;;;;;;13233:33;13230:76;;;13275:11;;:29;;13299:3;13275:15;:29::i;:::-;13268:36;;;;13230:76;13332:4;;-1:-1:-1;;;;;13332:4:0;;;13319:17;;;;13316:38;;-1:-1:-1;13345:7:0;;13338:14;;13316:38;13377:4;;-1:-1:-1;;;;;13377:4:0;;;13367:14;;;;13364:36;;-1:-1:-1;13390:8:0;;13383:15;;13364:36;-1:-1:-1;13417:11:0;;13131:305;;;;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:316::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;-1:-1:-1;;1582:23:1;;;1652:2;1637:18;;1624:32;;-1:-1:-1;1703:2:1;1688:18;;;1675:32;;1397:316;-1:-1:-1;1397:316:1:o;1718:456::-;1795:6;1803;1811;1864:2;1852:9;1843:7;1839:23;1835:32;1832:52;;;1880:1;1877;1870:12;1832:52;1919:9;1906:23;1938:31;1963:5;1938:31;:::i;:::-;1988:5;-1:-1:-1;2045:2:1;2030:18;;2017:32;2058:33;2017:32;2058:33;:::i;:::-;1718:456;;2110:7;;-1:-1:-1;;;2164:2:1;2149:18;;;;2136:32;;1718:456::o;2179:247::-;2238:6;2291:2;2279:9;2270:7;2266:23;2262:32;2259:52;;;2307:1;2304;2297:12;2259:52;2346:9;2333:23;2365:31;2390:5;2365:31;:::i;2620:118::-;2706:5;2699:13;2692:21;2685:5;2682:32;2672:60;;2728:1;2725;2718:12;2743:750;2835:6;2843;2851;2904:2;2892:9;2883:7;2879:23;2875:32;2872:52;;;2920:1;2917;2910:12;2872:52;2960:9;2947:23;2989:18;3030:2;3022:6;3019:14;3016:34;;;3046:1;3043;3036:12;3016:34;3084:6;3073:9;3069:22;3059:32;;3129:7;3122:4;3118:2;3114:13;3110:27;3100:55;;3151:1;3148;3141:12;3100:55;3191:2;3178:16;3217:2;3209:6;3206:14;3203:34;;;3233:1;3230;3223:12;3203:34;3288:7;3281:4;3271:6;3268:1;3264:14;3260:2;3256:23;3252:34;3249:47;3246:67;;;3309:1;3306;3299:12;3246:67;3340:4;3332:13;;;;-1:-1:-1;3364:6:1;-1:-1:-1;;3405:20:1;;3392:34;3435:28;3392:34;3435:28;:::i;:::-;3482:5;3472:15;;;2743:750;;;;;:::o;3498:382::-;3563:6;3571;3624:2;3612:9;3603:7;3599:23;3595:32;3592:52;;;3640:1;3637;3630:12;3592:52;3679:9;3666:23;3698:31;3723:5;3698:31;:::i;:::-;3748:5;-1:-1:-1;3805:2:1;3790:18;;3777:32;3818:30;3777:32;3818:30;:::i;:::-;3867:7;3857:17;;;3498:382;;;;;:::o;3885:529::-;3962:6;3970;3978;4031:2;4019:9;4010:7;4006:23;4002:32;3999:52;;;4047:1;4044;4037:12;3999:52;4086:9;4073:23;4105:31;4130:5;4105:31;:::i;:::-;4155:5;-1:-1:-1;4212:2:1;4197:18;;4184:32;4225:33;4184:32;4225:33;:::i;:::-;4277:7;-1:-1:-1;4336:2:1;4321:18;;4308:32;4349:33;4308:32;4349:33;:::i;4419:592::-;4532:6;4540;4548;4556;4564;4572;4580;4633:3;4621:9;4612:7;4608:23;4604:33;4601:53;;;4650:1;4647;4640:12;4601:53;-1:-1:-1;;4673:23:1;;;4743:2;4728:18;;4715:32;;-1:-1:-1;4794:2:1;4779:18;;4766:32;;4845:2;4830:18;;4817:32;;-1:-1:-1;4896:3:1;4881:19;;4868:33;;-1:-1:-1;4948:3:1;4933:19;;4920:33;;-1:-1:-1;5000:3:1;4985:19;4972:33;;-1:-1:-1;4419:592:1;-1:-1:-1;4419:592:1:o;5224:388::-;5292:6;5300;5353:2;5341:9;5332:7;5328:23;5324:32;5321:52;;;5369:1;5366;5359:12;5321:52;5408:9;5395:23;5427:31;5452:5;5427:31;:::i;:::-;5477:5;-1:-1:-1;5534:2:1;5519:18;;5506:32;5547:33;5506:32;5547:33;:::i;5617:329::-;5819:2;5801:21;;;5858:1;5838:18;;;5831:29;-1:-1:-1;;;5891:2:1;5876:18;;5869:36;5937:2;5922:18;;5617:329::o;5951:127::-;6012:10;6007:3;6003:20;6000:1;5993:31;6043:4;6040:1;6033:15;6067:4;6064:1;6057:15;6083:127;6144:10;6139:3;6135:20;6132:1;6125:31;6175:4;6172:1;6165:15;6199:4;6196:1;6189:15;6215:135;6254:3;6275:17;;;6272:43;;6295:18;;:::i;:::-;-1:-1:-1;6342:1:1;6331:13;;6215:135::o;6768:184::-;6838:6;6891:2;6879:9;6870:7;6866:23;6862:32;6859:52;;;6907:1;6904;6897:12;6859:52;-1:-1:-1;6930:16:1;;6768:184;-1:-1:-1;6768:184:1:o;7236:245::-;7303:6;7356:2;7344:9;7335:7;7331:23;7327:32;7324:52;;;7372:1;7369;7362:12;7324:52;7404:9;7398:16;7423:28;7445:5;7423:28;:::i;8709:128::-;8776:9;;;8797:11;;;8794:37;;;8811:18;;:::i;8842:168::-;8915:9;;;8946;;8963:15;;;8957:22;;8943:37;8933:71;;8984:18;;:::i;9015:217::-;9055:1;9081;9071:132;;9125:10;9120:3;9116:20;9113:1;9106:31;9160:4;9157:1;9150:15;9188:4;9185:1;9178:15;9071:132;-1:-1:-1;9217:9:1;;9015:217::o;11513:125::-;11578:9;;;11599:10;;;11596:36;;;11612:18;;:::i;11775:251::-;11845:6;11898:2;11886:9;11877:7;11873:23;11869:32;11866:52;;;11914:1;11911;11904:12;11866:52;11946:9;11940:16;11965:31;11990:5;11965:31;:::i;12031:980::-;12293:4;12341:3;12330:9;12326:19;12372:6;12361:9;12354:25;12398:2;12436:6;12431:2;12420:9;12416:18;12409:34;12479:3;12474:2;12463:9;12459:18;12452:31;12503:6;12538;12532:13;12569:6;12561;12554:22;12607:3;12596:9;12592:19;12585:26;;12646:2;12638:6;12634:15;12620:29;;12667:1;12677:195;12691:6;12688:1;12685:13;12677:195;;;12756:13;;-1:-1:-1;;;;;12752:39:1;12740:52;;12847:15;;;;12812:12;;;;12788:1;12706:9;12677:195;;;-1:-1:-1;;;;;;;12928:32:1;;;;12923:2;12908:18;;12901:60;-1:-1:-1;;;12992:3:1;12977:19;12970:35;12889:3;12031:980;-1:-1:-1;;;12031:980:1:o;13628:306::-;13716:6;13724;13732;13785:2;13773:9;13764:7;13760:23;13756:32;13753:52;;;13801:1;13798;13791:12;13753:52;13830:9;13824:16;13814:26;;13880:2;13869:9;13865:18;13859:25;13849:35;;13924:2;13913:9;13909:18;13903:25;13893:35;;13628:306;;;;;:::o

ipfs://5991f1ab803f3e023b7f5b7ed6a5e0e7aff680ebf2757e1105af2acf1056cf98