Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() library SafeMath    - 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 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 sub(    - function div(    - function mod( interface IERC20    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address _owner, ad ...    - function approve(address spender, uin ...    - function transferFrom(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IFactory    - function createPair(address tokenA, a ...    - function getPair(address tokenA, addr ... interface IRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function removeLiquidityWithPermit(    - function swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ...  contract HON is IERC20, Ownable *    - function name()    - function symbol()    - function decimals()    - function addCurve()    - function openTrading()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function totalSupply()    - function preTxCheck(    - function _transfer(    - function setFee(uint256 _fee)    - function removeLimits()    - function checkTradingAllowed(address ...    - function checkMaxWallet(    - function checkTxLimit(    - function swapAndLiquify(uint256 token ...    - function addLiquidity(uint256 tokenAm ...    - function swapTokensForETH(uint256 tok ...    - function shouldSwapBack(    - function swapBack(    - function shouldTakeFee(address sender ...    - function getFee(address sender, addre ...    - function takeFee(    - function transferFrom(    - function _approve(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-02-02
*/

/**

Website: https://horizon.onl
Twitter: https://twitter.com/horizon_onl
Telegram: https://t.me/horizon_onl

App: https://app.horizon.onl
Docs: https://docs.horizon.onl

*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.16;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}

library SafeMath {
    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 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 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 totalSupply() external view returns (uint256);

    function decimals() external view returns (uint8);

    function symbol() external view returns (string memory);

    function name() external view returns (string memory);

    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
    );
}

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(
        address indexed previousOwner,
        address indexed newOwner
    );

    constructor() {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }
}

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,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (
            uint256 amountToken,
            uint256 amountETH,
            uint256 liquidity
        );

    function removeLiquidityWithPermit(
        address tokenA,
        address tokenB,
        uint256 liquidity,
        uint256 amountAMin,
        uint256 amountBMin,
        address to,
        uint256 deadline,
        bool approveMax,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external returns (uint256 amountA, uint256 amountB);

    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external payable;

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

contract HON is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = "Horizon";
    string private constant _symbol = "HON";
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 10_000_000 * (10**_decimals);
    uint256 private _maxTxAmount = 200_000 * (10**_decimals);
    uint256 private _maxTransferAmount = 200_000 * (10**_decimals);
    uint256 private _maxWalletAmount = 200_000 * (10**_decimals);
    mapping(address => uint256) _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcluded;
    IRouter router;
    address public pair;
    bool private tradingAllowed = false;
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 2;
    uint256 private utilityFee = 0;
    uint256 private buyFee = 2;
    uint256 private sellFee = 2;
    uint256 private transferFee = 0;
    uint256 private denominator = 100;
    bool private swapEnabled = true;
    bool private swapping;
    uint256 private swapThreshold = 100_000 * (10**_decimals);
    uint256 private _minTokenAmount = 69 * (10**_decimals);
    modifier lockTheSwap() {
        swapping = true;
        _;
        swapping = false;
    }

    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal constant utility_receiver =
        0xcB52510E289B8b11DD75A997bD5A3E54097F9a61;
    address internal constant marketing_receiver =
        0xcB52510E289B8b11DD75A997bD5A3E54097F9a61;
    address private liquidity_receiver = msg.sender;

    constructor() Ownable() {
        _isExcluded[address(this)] = true;
        _isExcluded[liquidity_receiver] = true;
        _isExcluded[marketing_receiver] = true;
        _isExcluded[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 addCurve() external onlyOwner {
        require(!tradingAllowed, "Trading allowed");

        IRouter _router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        address _pair = IFactory(_router.factory()).createPair(
            address(this),
            _router.WETH()
        );
        router = _router;
        pair = _pair;

        addLiquidity(balanceOf(address(this)), address(this).balance);
    }

    function openTrading() external onlyOwner {
        require(!tradingAllowed, "Tradeing already allowed");
        marketingFee = 35;
        buyFee = 35;
        sellFee = 35;
        tradingAllowed = true;
    }

    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 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 preTxCheck(
        address sender,
        address recipient,
        uint256 amount
    ) internal pure {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(
            amount > uint256(0),
            "Transfer amount must be greater than zero"
        );
    }

    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) private {
        preTxCheck(sender, recipient, amount);
        checkTradingAllowed(sender, recipient);
        checkMaxWallet(sender, recipient, amount);
        checkTxLimit(sender, recipient, amount);
        swapBack(sender, recipient, amount);
        (uint256 amountSent, uint256 amountReceived) = takeFee(
            sender,
            recipient,
            amount
        );
        _balances[sender] = _balances[sender].sub(amountSent);
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

    function setFee(uint256 _fee) external onlyOwner {
        marketingFee = _fee;
        buyFee = _fee;
        sellFee = _fee;

        require(
            buyFee <= 10 && sellFee <= 10,
            "totalFee and sellFee cannot be more than 20%"
        );
    }

    function removeLimits() external onlyOwner {
        _maxTransferAmount = type(uint256).max;
        _maxTxAmount = type(uint256).max;
        _maxWalletAmount = type(uint256).max;
    }

    function checkTradingAllowed(address sender, address recipient)
        internal
        view
    {
        if (!_isExcluded[sender] && !_isExcluded[recipient]) {
            require(tradingAllowed, "tradingAllowed");
        }
    }

    function checkMaxWallet(
        address sender,
        address recipient,
        uint256 amount
    ) internal view {
        if (
            !_isExcluded[sender] &&
            !_isExcluded[recipient] &&
            recipient != address(pair) &&
            recipient != address(DEAD)
        ) {
            require(
                (_balances[recipient].add(amount)) <= _maxWalletAmount,
                "Exceeds maximum wallet amount."
            );
        }
    }

    function checkTxLimit(
        address sender,
        address recipient,
        uint256 amount
    ) internal view {
        if (sender != pair) {
            require(
                amount <= _maxTransferAmount ||
                    _isExcluded[sender] ||
                    _isExcluded[recipient],
                "TX Limit Exceeded"
            );
        }
        require(
            amount <= _maxTxAmount ||
                _isExcluded[sender] ||
                _isExcluded[recipient],
            "TX Limit Exceeded"
        );
    }

    function swapAndLiquify(uint256 tokens) private lockTheSwap {
        uint256 _denominator = (
            liquidityFee.add(1).add(marketingFee).add(utilityFee)
        ).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 remainingBalance = address(this).balance;
        if (remainingBalance > uint256(0)) {
            payable(utility_receiver).transfer(remainingBalance);
        }
    }

    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 shouldSwapBack(
        address sender,
        address recipient,
        uint256 amount
    ) internal view returns (bool) {
        bool aboveMin = amount >= _minTokenAmount;
        bool aboveThreshold = balanceOf(address(this)) >= _minTokenAmount;
        return
            !swapping &&
            swapEnabled &&
            tradingAllowed &&
            aboveMin &&
            !_isExcluded[sender] &&
            recipient == pair &&
            aboveThreshold;
    }

    function swapBack(
        address sender,
        address recipient,
        uint256 amount
    ) internal {
        if (shouldSwapBack(sender, recipient, amount)) {
            uint256 swapTokens = balanceOf(address(this));
            if (swapTokens > swapThreshold) swapTokens = swapThreshold;
            swapAndLiquify(swapTokens);
        }
    }

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

    function getFee(address sender, address recipient)
        internal
        view
        returns (uint256)
    {
        if (recipient == pair) {
            return sellFee;
        }
        if (sender == pair) {
            return buyFee;
        }
        return transferFee;
    }

    function takeFee(
        address sender,
        address recipient,
        uint256 amount
    ) internal returns (uint256, uint256) {
        uint256 xAmount = amount;
        uint256 yAmount = amount;
        uint256 feeAmount;
        if (sender != address(this) && recipient != address(this)) {
            if (shouldTakeFee(sender, recipient)) {
                if (getFee(sender, recipient) > 0) {
                    feeAmount = amount.div(denominator).mul(
                        getFee(sender, recipient)
                    );
                    _balances[address(this)] = _balances[address(this)].add(
                        feeAmount
                    );
                    emit Transfer(sender, address(this), feeAmount);

                    yAmount = amount.sub(feeAmount);
                }
            } else {
                if (recipient == pair && sender != owner()) xAmount = feeAmount;
            }
        }
        return (xAmount, yAmount);
    }

    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":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"addCurve","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"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":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_fee","type":"uint256"}],"name":"setFee","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"}]

6080604052620000126009600a62000324565b6200002190629896806200033b565b600155620000326009600a62000324565b620000419062030d406200033b565b600255620000526009600a62000324565b620000619062030d406200033b565b600355620000726009600a62000324565b620000819062030d406200033b565b6004556009805460ff60a01b191681555f600a8181556002600b819055600c839055600d819055600e55600f9190915560646010556011805460ff19166001179055620000cf919062000324565b620000de90620186a06200033b565b601255620000ef6009600a62000324565b620000fc9060456200033b565b601355601480546001600160a01b031916331790553480156200011d575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350305f9081526007602090815260408083208054600160ff1991821681179092556014546001600160a01b0316855282852080548216831790557fd4bfeb35ca4dec38be94ee54c0c68bd65c34b1d56ebf00a601e74fd8b4f884cf80548216831790553380865283862080549092168317909155905460058452828520819055915191825292917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a362000355565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200026957815f19048211156200024d576200024d62000215565b808516156200025b57918102915b93841c93908002906200022e565b509250929050565b5f8262000281575060016200031e565b816200028f57505f6200031e565b8160018114620002a85760028114620002b357620002d3565b60019150506200031e565b60ff841115620002c757620002c762000215565b50506001821b6200031e565b5060208310610133831016604e8410600b8410161715620002f8575081810a6200031e565b62000304838362000229565b805f19048211156200031a576200031a62000215565b0290505b92915050565b5f6200033460ff84168362000271565b9392505050565b80820281158282048414176200031e576200031e62000215565b6117e780620003635f395ff3fe6080604052600436106100f2575f3560e01c8063715018a611610087578063a8aa1b3111610057578063a8aa1b31146102b5578063a9059cbb146102d4578063c9567bf9146102f3578063dd62ed3e14610307575f80fd5b8063715018a614610232578063751039fc146102465780638da5cb5b1461025a57806395d89b411461028a575f80fd5b8063313ce567116100c2578063313ce567146101ae578063534c4a36146101c957806369fe0e2d146101df57806370a08231146101fe575f80fd5b806306fdde03146100fd578063095ea7b31461013e57806318160ddd1461016d57806323b872dd1461018f575f80fd5b366100f957005b5f80fd5b348015610108575f80fd5b506040805180820190915260078152662437b934bd37b760c91b60208201525b60405161013591906114e8565b60405180910390f35b348015610149575f80fd5b5061015d610158366004611548565b61034b565b6040519015158152602001610135565b348015610178575f80fd5b50610181610361565b604051908152602001610135565b34801561019a575f80fd5b5061015d6101a9366004611572565b6103d1565b3480156101b9575f80fd5b5060405160098152602001610135565b3480156101d4575f80fd5b506101dd610438565b005b3480156101ea575f80fd5b506101dd6101f93660046115b0565b610669565b348015610209575f80fd5b506101816102183660046115c7565b6001600160a01b03165f9081526005602052604090205490565b34801561023d575f80fd5b506101dd610719565b348015610251575f80fd5b506101dd61078a565b348015610265575f80fd5b505f546001600160a01b03165b6040516001600160a01b039091168152602001610135565b348015610295575f80fd5b506040805180820190915260038152622427a760e91b6020820152610128565b3480156102c0575f80fd5b50600954610272906001600160a01b031681565b3480156102df575f80fd5b5061015d6102ee366004611548565b6107c4565b3480156102fe575f80fd5b506101dd6107d0565b348015610312575f80fd5b506101816103213660046115e2565b6001600160a01b039182165f90815260066020908152604080832093909416825291909152205490565b5f610357338484610877565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead5f9081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926103cc9290916103c6919061099a565b9061099a565b905090565b5f6103dd8484846109ac565b61042e84336104298560405180606001604052806028815260200161178a602891396001600160a01b038a165f9081526006602090815260408083203384529091529020549190610aa6565b610877565b5060019392505050565b5f546001600160a01b0316331461046a5760405162461bcd60e51b815260040161046190611619565b60405180910390fd5b600954600160a01b900460ff16156104b65760405162461bcd60e51b815260206004820152600f60248201526e151c98591a5b99c8185b1b1bddd959608a1b6044820152606401610461565b5f737a250d5630b4cf539739df2c5dacb4c659f2488d90505f816001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561050b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061052f919061164e565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561057a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059e919061164e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156105e8573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061060c919061164e565b600880546001600160a01b038086166001600160a01b0319928316179092556009805492841692909116919091179055905061066561065f306001600160a01b03165f9081526005602052604090205490565b47610ad1565b5050565b5f546001600160a01b031633146106925760405162461bcd60e51b815260040161046190611619565b600b819055600d819055600e819055600a81118015906106b55750600a600e5411155b6107165760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b6064820152608401610461565b50565b5f546001600160a01b031633146107425760405162461bcd60e51b815260040161046190611619565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107b35760405162461bcd60e51b815260040161046190611619565b5f1960038190556002819055600455565b5f6103573384846109ac565b5f546001600160a01b031633146107f95760405162461bcd60e51b815260040161046190611619565b600954600160a01b900460ff16156108535760405162461bcd60e51b815260206004820152601860248201527f5472616465696e6720616c726561647920616c6c6f77656400000000000000006044820152606401610461565b6023600b819055600d819055600e556009805460ff60a01b1916600160a01b179055565b6001600160a01b0383166108d95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610461565b6001600160a01b03821661093a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610461565b6001600160a01b038381165f8181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6109a5828461167d565b9392505050565b6109b7838383610b82565b6109c18383610cae565b6109cc838383610d3d565b6109d7838383610e26565b6109e2838383610f4f565b5f806109ef858585610f8c565b6001600160a01b0387165f908152600560205260409020549193509150610a16908361099a565b6001600160a01b038087165f908152600560205260408082209390935590861681522054610a4490826110bf565b6001600160a01b038086165f8181526005602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a979085815260200190565b60405180910390a35050505050565b5f8184841115610ac95760405162461bcd60e51b815260040161046191906114e8565b505050900390565b600854610ae99030906001600160a01b031684610877565b60085460145460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af1158015610b56573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610b7b9190611690565b5050505050565b6001600160a01b038316610be65760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610461565b6001600160a01b038216610c485760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610461565b5f8111610ca95760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610461565b505050565b6001600160a01b0382165f9081526007602052604090205460ff16158015610cee57506001600160a01b0381165f9081526007602052604090205460ff16155b1561066557600954600160a01b900460ff166106655760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b6044820152606401610461565b6001600160a01b0383165f9081526007602052604090205460ff16158015610d7d57506001600160a01b0382165f9081526007602052604090205460ff16155b8015610d9757506009546001600160a01b03838116911614155b8015610dae57506001600160a01b03821661dead14155b15610ca9576004546001600160a01b0383165f90815260056020526040902054610dd890836110bf565b1115610ca95760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610461565b6009546001600160a01b03848116911614610ec55760035481111580610e6357506001600160a01b0383165f9081526007602052604090205460ff165b80610e8557506001600160a01b0382165f9081526007602052604090205460ff165b610ec55760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610461565b60025481111580610eed57506001600160a01b0383165f9081526007602052604090205460ff165b80610f0f57506001600160a01b0382165f9081526007602052604090205460ff165b610ca95760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610461565b610f5a8383836110ca565b15610ca957305f90815260056020526040902054601254811115610f7d57506012545b610f868161116f565b50505050565b5f808280826001600160a01b0388163014801590610fb357506001600160a01b0387163014155b156110b257610fc288886112f4565b1561107f575f610fd28989611338565b111561107a57610ff9610fe58989611338565b601054610ff3908990611382565b9061138d565b305f9081526005602052604090205490915061101590826110bf565b305f81815260056020526040908190209290925590516001600160a01b038a16907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110659085815260200190565b60405180910390a3611077868261099a565b91505b6110b2565b6009546001600160a01b0388811691161480156110a957505f546001600160a01b03898116911614155b156110b2578092505b5090969095509350505050565b5f6109a582846116bb565b601354305f908152600560205260408120546011549192808510159291101590610100900460ff16158015611101575060115460ff165b80156111165750600954600160a01b900460ff165b801561111f5750815b801561114357506001600160a01b0386165f9081526007602052604090205460ff16155b801561115c57506009546001600160a01b038681169116145b80156111655750805b9695505050505050565b6011805461ff001916610100179055600c54600b54600a545f926111a892600292610ff392916111a291829060016110bf565b906110bf565b90505f6111ca826111c4600a548661138d90919063ffffffff16565b90611382565b90505f6111d7848361099a565b9050476111e382611398565b5f6111ee478361099a565b90505f611210611209600a548861099a90919063ffffffff16565b8390611382565b90505f611228600a548361138d90919063ffffffff16565b9050801561123a5761123a8682610ad1565b600b545f9061124e90610ff385600261138d565b905080156112965760405173cb52510e289b8b11dd75a997bd5a3e54097f9a619082156108fc029083905f818181858888f19350505050158015611294573d5f803e3d5ffd5b505b4780156112dd5760405173cb52510e289b8b11dd75a997bd5a3e54097f9a619082156108fc029083905f818181858888f193505050501580156112db573d5f803e3d5ffd5b505b50506011805461ff00191690555050505050505050565b6001600160a01b0382165f9081526007602052604081205460ff161580156109a55750506001600160a01b03165f9081526007602052604090205460ff1615919050565b6009545f906001600160a01b03908116908316036113595750600e5461035b565b6009546001600160a01b03908116908416036113785750600d5461035b565b50600f5492915050565b5f6109a582846116ce565b5f6109a582846116ed565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106113cb576113cb611704565b6001600160a01b03928316602091820292909201810191909152600854604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611422573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611446919061164e565b8160018151811061145957611459611704565b6001600160a01b03928316602091820292909201015260085461147f9130911684610877565b60085460405163791ac94760e01b81526001600160a01b039091169063791ac947906114b79085905f90869030904290600401611718565b5f604051808303815f87803b1580156114ce575f80fd5b505af11580156114e0573d5f803e3d5ffd5b505050505050565b5f602080835283518060208501525f5b81811015611514578581018301518582016040015282016114f8565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610716575f80fd5b5f8060408385031215611559575f80fd5b823561156481611534565b946020939093013593505050565b5f805f60608486031215611584575f80fd5b833561158f81611534565b9250602084013561159f81611534565b929592945050506040919091013590565b5f602082840312156115c0575f80fd5b5035919050565b5f602082840312156115d7575f80fd5b81356109a581611534565b5f80604083850312156115f3575f80fd5b82356115fe81611534565b9150602083013561160e81611534565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561165e575f80fd5b81516109a581611534565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561035b5761035b611669565b5f805f606084860312156116a2575f80fd5b8351925060208401519150604084015190509250925092565b8082018082111561035b5761035b611669565b5f826116e857634e487b7160e01b5f52601260045260245ffd5b500490565b808202811582820484141761035b5761035b611669565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156117685784516001600160a01b031683529383019391830191600101611743565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f4ae4fb1c7cbf8068f9e910f425e3c3c428b86feb8d35184683df725575d587d64736f6c63430008160033

0x6080604052600436106100f2575f3560e01c8063715018a611610087578063a8aa1b3111610057578063a8aa1b31146102b5578063a9059cbb146102d4578063c9567bf9146102f3578063dd62ed3e14610307575f80fd5b8063715018a614610232578063751039fc146102465780638da5cb5b1461025a57806395d89b411461028a575f80fd5b8063313ce567116100c2578063313ce567146101ae578063534c4a36146101c957806369fe0e2d146101df57806370a08231146101fe575f80fd5b806306fdde03146100fd578063095ea7b31461013e57806318160ddd1461016d57806323b872dd1461018f575f80fd5b366100f957005b5f80fd5b348015610108575f80fd5b506040805180820190915260078152662437b934bd37b760c91b60208201525b60405161013591906114e8565b60405180910390f35b348015610149575f80fd5b5061015d610158366004611548565b61034b565b6040519015158152602001610135565b348015610178575f80fd5b50610181610361565b604051908152602001610135565b34801561019a575f80fd5b5061015d6101a9366004611572565b6103d1565b3480156101b9575f80fd5b5060405160098152602001610135565b3480156101d4575f80fd5b506101dd610438565b005b3480156101ea575f80fd5b506101dd6101f93660046115b0565b610669565b348015610209575f80fd5b506101816102183660046115c7565b6001600160a01b03165f9081526005602052604090205490565b34801561023d575f80fd5b506101dd610719565b348015610251575f80fd5b506101dd61078a565b348015610265575f80fd5b505f546001600160a01b03165b6040516001600160a01b039091168152602001610135565b348015610295575f80fd5b506040805180820190915260038152622427a760e91b6020820152610128565b3480156102c0575f80fd5b50600954610272906001600160a01b031681565b3480156102df575f80fd5b5061015d6102ee366004611548565b6107c4565b3480156102fe575f80fd5b506101dd6107d0565b348015610312575f80fd5b506101816103213660046115e2565b6001600160a01b039182165f90815260066020908152604080832093909416825291909152205490565b5f610357338484610877565b5060015b92915050565b60056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5461dead5f9081527f7d509c07f0d4edcc2dd1b53aae68677132eb562dcba78e36381b63ccaf66e6ba5460015491926103cc9290916103c6919061099a565b9061099a565b905090565b5f6103dd8484846109ac565b61042e84336104298560405180606001604052806028815260200161178a602891396001600160a01b038a165f9081526006602090815260408083203384529091529020549190610aa6565b610877565b5060019392505050565b5f546001600160a01b0316331461046a5760405162461bcd60e51b815260040161046190611619565b60405180910390fd5b600954600160a01b900460ff16156104b65760405162461bcd60e51b815260206004820152600f60248201526e151c98591a5b99c8185b1b1bddd959608a1b6044820152606401610461565b5f737a250d5630b4cf539739df2c5dacb4c659f2488d90505f816001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561050b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061052f919061164e565b6001600160a01b031663c9c6539630846001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561057a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061059e919061164e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156105e8573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061060c919061164e565b600880546001600160a01b038086166001600160a01b0319928316179092556009805492841692909116919091179055905061066561065f306001600160a01b03165f9081526005602052604090205490565b47610ad1565b5050565b5f546001600160a01b031633146106925760405162461bcd60e51b815260040161046190611619565b600b819055600d819055600e819055600a81118015906106b55750600a600e5411155b6107165760405162461bcd60e51b815260206004820152602c60248201527f746f74616c46656520616e642073656c6c4665652063616e6e6f74206265206d60448201526b6f7265207468616e2032302560a01b6064820152608401610461565b50565b5f546001600160a01b031633146107425760405162461bcd60e51b815260040161046190611619565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107b35760405162461bcd60e51b815260040161046190611619565b5f1960038190556002819055600455565b5f6103573384846109ac565b5f546001600160a01b031633146107f95760405162461bcd60e51b815260040161046190611619565b600954600160a01b900460ff16156108535760405162461bcd60e51b815260206004820152601860248201527f5472616465696e6720616c726561647920616c6c6f77656400000000000000006044820152606401610461565b6023600b819055600d819055600e556009805460ff60a01b1916600160a01b179055565b6001600160a01b0383166108d95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610461565b6001600160a01b03821661093a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610461565b6001600160a01b038381165f8181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6109a5828461167d565b9392505050565b6109b7838383610b82565b6109c18383610cae565b6109cc838383610d3d565b6109d7838383610e26565b6109e2838383610f4f565b5f806109ef858585610f8c565b6001600160a01b0387165f908152600560205260409020549193509150610a16908361099a565b6001600160a01b038087165f908152600560205260408082209390935590861681522054610a4490826110bf565b6001600160a01b038086165f8181526005602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a979085815260200190565b60405180910390a35050505050565b5f8184841115610ac95760405162461bcd60e51b815260040161046191906114e8565b505050900390565b600854610ae99030906001600160a01b031684610877565b60085460145460405163f305d71960e01b8152306004820152602481018590525f6044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990839060c40160606040518083038185885af1158015610b56573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610b7b9190611690565b5050505050565b6001600160a01b038316610be65760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610461565b6001600160a01b038216610c485760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610461565b5f8111610ca95760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610461565b505050565b6001600160a01b0382165f9081526007602052604090205460ff16158015610cee57506001600160a01b0381165f9081526007602052604090205460ff16155b1561066557600954600160a01b900460ff166106655760405162461bcd60e51b815260206004820152600e60248201526d1d1c98591a5b99d05b1b1bddd95960921b6044820152606401610461565b6001600160a01b0383165f9081526007602052604090205460ff16158015610d7d57506001600160a01b0382165f9081526007602052604090205460ff16155b8015610d9757506009546001600160a01b03838116911614155b8015610dae57506001600160a01b03821661dead14155b15610ca9576004546001600160a01b0383165f90815260056020526040902054610dd890836110bf565b1115610ca95760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610461565b6009546001600160a01b03848116911614610ec55760035481111580610e6357506001600160a01b0383165f9081526007602052604090205460ff165b80610e8557506001600160a01b0382165f9081526007602052604090205460ff165b610ec55760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610461565b60025481111580610eed57506001600160a01b0383165f9081526007602052604090205460ff165b80610f0f57506001600160a01b0382165f9081526007602052604090205460ff165b610ca95760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610461565b610f5a8383836110ca565b15610ca957305f90815260056020526040902054601254811115610f7d57506012545b610f868161116f565b50505050565b5f808280826001600160a01b0388163014801590610fb357506001600160a01b0387163014155b156110b257610fc288886112f4565b1561107f575f610fd28989611338565b111561107a57610ff9610fe58989611338565b601054610ff3908990611382565b9061138d565b305f9081526005602052604090205490915061101590826110bf565b305f81815260056020526040908190209290925590516001600160a01b038a16907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110659085815260200190565b60405180910390a3611077868261099a565b91505b6110b2565b6009546001600160a01b0388811691161480156110a957505f546001600160a01b03898116911614155b156110b2578092505b5090969095509350505050565b5f6109a582846116bb565b601354305f908152600560205260408120546011549192808510159291101590610100900460ff16158015611101575060115460ff165b80156111165750600954600160a01b900460ff165b801561111f5750815b801561114357506001600160a01b0386165f9081526007602052604090205460ff16155b801561115c57506009546001600160a01b038681169116145b80156111655750805b9695505050505050565b6011805461ff001916610100179055600c54600b54600a545f926111a892600292610ff392916111a291829060016110bf565b906110bf565b90505f6111ca826111c4600a548661138d90919063ffffffff16565b90611382565b90505f6111d7848361099a565b9050476111e382611398565b5f6111ee478361099a565b90505f611210611209600a548861099a90919063ffffffff16565b8390611382565b90505f611228600a548361138d90919063ffffffff16565b9050801561123a5761123a8682610ad1565b600b545f9061124e90610ff385600261138d565b905080156112965760405173cb52510e289b8b11dd75a997bd5a3e54097f9a619082156108fc029083905f818181858888f19350505050158015611294573d5f803e3d5ffd5b505b4780156112dd5760405173cb52510e289b8b11dd75a997bd5a3e54097f9a619082156108fc029083905f818181858888f193505050501580156112db573d5f803e3d5ffd5b505b50506011805461ff00191690555050505050505050565b6001600160a01b0382165f9081526007602052604081205460ff161580156109a55750506001600160a01b03165f9081526007602052604090205460ff1615919050565b6009545f906001600160a01b03908116908316036113595750600e5461035b565b6009546001600160a01b03908116908416036113785750600d5461035b565b50600f5492915050565b5f6109a582846116ce565b5f6109a582846116ed565b6040805160028082526060820183525f9260208301908036833701905050905030815f815181106113cb576113cb611704565b6001600160a01b03928316602091820292909201810191909152600854604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611422573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611446919061164e565b8160018151811061145957611459611704565b6001600160a01b03928316602091820292909201015260085461147f9130911684610877565b60085460405163791ac94760e01b81526001600160a01b039091169063791ac947906114b79085905f90869030904290600401611718565b5f604051808303815f87803b1580156114ce575f80fd5b505af11580156114e0573d5f803e3d5ffd5b505050505050565b5f602080835283518060208501525f5b81811015611514578581018301518582016040015282016114f8565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610716575f80fd5b5f8060408385031215611559575f80fd5b823561156481611534565b946020939093013593505050565b5f805f60608486031215611584575f80fd5b833561158f81611534565b9250602084013561159f81611534565b929592945050506040919091013590565b5f602082840312156115c0575f80fd5b5035919050565b5f602082840312156115d7575f80fd5b81356109a581611534565b5f80604083850312156115f3575f80fd5b82356115fe81611534565b9150602083013561160e81611534565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561165e575f80fd5b81516109a581611534565b634e487b7160e01b5f52601160045260245ffd5b8181038181111561035b5761035b611669565b5f805f606084860312156116a2575f80fd5b8351925060208401519150604084015190509250925092565b8082018082111561035b5761035b611669565b5f826116e857634e487b7160e01b5f52601260045260245ffd5b500490565b808202811582820484141761035b5761035b611669565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156117685784516001600160a01b031683529383019391830191600101611743565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f4ae4fb1c7cbf8068f9e910f425e3c3c428b86feb8d35184683df725575d587d64736f6c63430008160033

6226:11986:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8228:83;;;;;;;;;;-1:-1:-1;8298:5:0;;;;;;;;;;;;-1:-1:-1;;;8298:5:0;;;;8228:83;;;;;;;:::i;:::-;;;;;;;;9703:191;;;;;;;;;;-1:-1:-1;9703:191:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;9703:191:0;1023:187:1;9902:148:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;9902:148:0;1215:177:1;17390:442:0;;;;;;;;;;-1:-1:-1;17390:442:0;;;;;:::i;:::-;;:::i;8414:83::-;;;;;;;;;;-1:-1:-1;8414:83:0;;6427:1;2000:36:1;;1988:2;1973:18;8414:83:0;1858:184:1;8505:440:0;;;;;;;;;;;;;:::i;:::-;;11189:272;;;;;;;;;;-1:-1:-1;11189:272:0;;;;;:::i;:::-;;:::i;9179:119::-;;;;;;;;;;-1:-1:-1;9179:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;9272:18:0;9245:7;9272:18;;;:9;:18;;;;;;;9179:119;4502:148;;;;;;;;;;;;;:::i;11469:190::-;;;;;;;;;;;;;:::i;4288:79::-;;;;;;;;;;-1:-1:-1;4326:7:0;4353:6;-1:-1:-1;;;;;4353:6:0;4288:79;;;-1:-1:-1;;;;;2648:32:1;;;2630:51;;2618:2;2603:18;4288:79:0;2484:203:1;8319:87:0;;;;;;;;;;-1:-1:-1;8391:7:0;;;;;;;;;;;;-1:-1:-1;;;8391:7:0;;;;8319:87;;6890:19;;;;;;;;;;-1:-1:-1;6890:19:0;;;;-1:-1:-1;;;;;6890:19:0;;;9306:197;;;;;;;;;;-1:-1:-1;9306:197:0;;;;;:::i;:::-;;:::i;8953:218::-;;;;;;;;;;;;;:::i;9511:184::-;;;;;;;;;;-1:-1:-1;9511:184:0;;;;;:::i;:::-;-1:-1:-1;;;;;9660:18:0;;;9628:7;9660:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;9511:184;9703:191;9805:4;9827:37;9836:10;9848:7;9857:6;9827:8;:37::i;:::-;-1:-1:-1;9882:4:0;9703:191;;;;;:::o;9902:148::-;9272:9;:18;;;;7546:42;9955:7;9272:18;;;;;9982:12;;9955:7;;9982:60;;9272:18;;9982:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;9975:67;;9902:148;:::o;17390:442::-;17522:4;17539:36;17549:6;17557:9;17568:6;17539:9;:36::i;:::-;17586:216;17609:6;17630:10;17655:136;17709:6;17655:136;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;17655:19:0;;;;;;:11;:19;;;;;;;;17675:10;17655:31;;;;;;;;;:136;:35;:136::i;:::-;17586:8;:216::i;:::-;-1:-1:-1;17820:4:0;17390:442;;;;;:::o;8505:440::-;4415:6;;-1:-1:-1;;;;;4415:6:0;363:10;4415:22;4407:67;;;;-1:-1:-1;;;4407:67:0;;;;;;;:::i;:::-;;;;;;;;;8564:14:::1;::::0;-1:-1:-1;;;8564:14:0;::::1;;;8563:15;8555:43;;;::::0;-1:-1:-1;;;8555:43:0;;3648:2:1;8555:43:0::1;::::0;::::1;3630:21:1::0;3687:2;3667:18;;;3660:30;-1:-1:-1;;;3706:18:1;;;3699:45;3761:18;;8555:43:0::1;3446:339:1::0;8555:43:0::1;8611:15;8637:42;8611:69;;8691:13;8716:7;-1:-1:-1::0;;;;;8716:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8707:38:0::1;;8768:4;8788:7;-1:-1:-1::0;;;;;8788:12:0::1;;:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8707:106;::::0;-1:-1:-1;;;;;;8707:106:0::1;::::0;;;;;;-1:-1:-1;;;;;4276:15:1;;;8707:106:0::1;::::0;::::1;4258:34:1::0;4328:15;;4308:18;;;4301:43;4193:18;;8707:106:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8824:6;:16:::0;;-1:-1:-1;;;;;8824:16:0;;::::1;-1:-1:-1::0;;;;;;8824:16:0;;::::1;;::::0;;;8851:4:::1;:12:::0;;;;::::1;::::0;;;::::1;::::0;;;::::1;::::0;;8691:122;-1:-1:-1;8876:61:0::1;8889:24;8907:4;-1:-1:-1::0;;;;;9272:18:0;9245:7;9272:18;;;:9;:18;;;;;;;9179:119;8889:24:::1;8915:21;8876:12;:61::i;:::-;8544:401;;8505:440::o:0;11189:272::-;4415:6;;-1:-1:-1;;;;;4415:6:0;363:10;4415:22;4407:67;;;;-1:-1:-1;;;4407:67:0;;;;;;;:::i;:::-;11249:12:::1;:19:::0;;;11279:6:::1;:13:::0;;;11303:7:::1;:14:::0;;;11362:2:::1;11352:12:::0;::::1;::::0;::::1;::::0;:29:::1;;;11379:2;11368:7;;:13;;11352:29;11330:123;;;::::0;-1:-1:-1;;;11330:123:0;;4557:2:1;11330:123:0::1;::::0;::::1;4539:21:1::0;4596:2;4576:18;;;4569:30;4635:34;4615:18;;;4608:62;-1:-1:-1;;;4686:18:1;;;4679:42;4738:19;;11330:123:0::1;4355:408:1::0;11330:123:0::1;11189:272:::0;:::o;4502:148::-;4415:6;;-1:-1:-1;;;;;4415:6:0;363:10;4415:22;4407:67;;;;-1:-1:-1;;;4407:67:0;;;;;;;:::i;:::-;4609:1:::1;4593:6:::0;;4572:40:::1;::::0;-1:-1:-1;;;;;4593:6:0;;::::1;::::0;4572:40:::1;::::0;4609:1;;4572:40:::1;4640:1;4623:19:::0;;-1:-1:-1;;;;;;4623:19:0::1;::::0;;4502:148::o;11469:190::-;4415:6;;-1:-1:-1;;;;;4415:6:0;363:10;4415:22;4407:67;;;;-1:-1:-1;;;4407:67:0;;;;;;;:::i;:::-;-1:-1:-1;;11523:18:0::1;:38:::0;;;11572:12:::1;:32:::0;;;11615:16:::1;:36:::0;11469:190::o;9306:197::-;9411:4;9433:40;9443:10;9455:9;9466:6;9433:9;:40::i;8953:218::-;4415:6;;-1:-1:-1;;;;;4415:6:0;363:10;4415:22;4407:67;;;;-1:-1:-1;;;4407:67:0;;;;;;;:::i;:::-;9015:14:::1;::::0;-1:-1:-1;;;9015:14:0;::::1;;;9014:15;9006:52;;;::::0;-1:-1:-1;;;9006:52:0;;4970:2:1;9006:52:0::1;::::0;::::1;4952:21:1::0;5009:2;4989:18;;;4982:30;5048:26;5028:18;;;5021:54;5092:18;;9006:52:0::1;4768:348:1::0;9006:52:0::1;9084:2;9069:12;:17:::0;;;9097:6:::1;:11:::0;;;9119:7:::1;:12:::0;9142:14:::1;:21:::0;;-1:-1:-1;;;;9142:21:0::1;-1:-1:-1::0;;;9142:21:0::1;::::0;;8953:218::o;17840:369::-;-1:-1:-1;;;;;17967:19:0;;17959:68;;;;-1:-1:-1;;;17959:68:0;;5323:2:1;17959:68:0;;;5305:21:1;5362:2;5342:18;;;5335:30;5401:34;5381:18;;;5374:62;-1:-1:-1;;;5452:18:1;;;5445:34;5496:19;;17959:68:0;5121:400:1;17959:68:0;-1:-1:-1;;;;;18046:21:0;;18038:68;;;;-1:-1:-1;;;18038:68:0;;5728:2:1;18038:68:0;;;5710:21:1;5767:2;5747:18;;;5740:30;5806:34;5786:18;;;5779:62;-1:-1:-1;;;5857:18:1;;;5850:32;5899:19;;18038:68:0;5526:398:1;18038:68:0;-1:-1:-1;;;;;18117:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;18169:32;;1361:25:1;;;18169:32:0;;1334:18:1;18169:32:0;;;;;;;17840:369;;;:::o;518:98::-;576:7;603:5;607:1;603;:5;:::i;:::-;596:12;518:98;-1:-1:-1;;;518:98:0:o;10477:704::-;10600:37;10611:6;10619:9;10630:6;10600:10;:37::i;:::-;10648:38;10668:6;10676:9;10648:19;:38::i;:::-;10697:41;10712:6;10720:9;10731:6;10697:14;:41::i;:::-;10749:39;10762:6;10770:9;10781:6;10749:12;:39::i;:::-;10799:35;10808:6;10816:9;10827:6;10799:8;:35::i;:::-;10846:18;10866:22;10892:84;10914:6;10935:9;10959:6;10892:7;:84::i;:::-;-1:-1:-1;;;;;11007:17:0;;;;;;:9;:17;;;;;;10845:131;;-1:-1:-1;10845:131:0;-1:-1:-1;11007:33:0;;10845:131;11007:21;:33::i;:::-;-1:-1:-1;;;;;10987:17:0;;;;;;;:9;:17;;;;;;:53;;;;11074:20;;;;;;;:40;;11099:14;11074:24;:40::i;:::-;-1:-1:-1;;;;;11051:20:0;;;;;;;:9;:20;;;;;;;:63;;;;11130:43;;;;;;;;;;11158:14;1361:25:1;;1349:2;1334:18;;1215:177;11130:43:0;;;;;;;;10589:592;;10477:704;;;:::o;2218:240::-;2338:7;2399:12;2391:6;;;;2383:29;;;;-1:-1:-1;;;2383:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2434:5:0;;;2218:240::o;14180:353::-;14293:6;;14261:53;;14278:4;;-1:-1:-1;;;;;14293:6:0;14302:11;14261:8;:53::i;:::-;14325:6;;14466:18;;14325:200;;-1:-1:-1;;;14325:200:0;;14388:4;14325:200;;;6535:34:1;6585:18;;;6578:34;;;14325:6:0;6628:18:1;;;6621:34;;;6671:18;;;6664:34;-1:-1:-1;;;;;14466:18:0;;;6714:19:1;;;6707:44;14499:15:0;6767:19:1;;;6760:35;14325:6:0;;;:22;;14355:9;;6469:19:1;;14325:200:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;14180:353;;:::o;10058:411::-;-1:-1:-1;;;;;10196:20:0;;10188:70;;;;-1:-1:-1;;;10188:70:0;;7319:2:1;10188:70:0;;;7301:21:1;7358:2;7338:18;;;7331:30;7397:34;7377:18;;;7370:62;-1:-1:-1;;;7448:18:1;;;7441:35;7493:19;;10188:70:0;7117:401:1;10188:70:0;-1:-1:-1;;;;;10277:23:0;;10269:71;;;;-1:-1:-1;;;10269:71:0;;7725:2:1;10269:71:0;;;7707:21:1;7764:2;7744:18;;;7737:30;7803:34;7783:18;;;7776:62;-1:-1:-1;;;7854:18:1;;;7847:33;7897:19;;10269:71:0;7523:399:1;10269:71:0;10390:1;10373:6;:19;10351:110;;;;-1:-1:-1;;;10351:110:0;;8129:2:1;10351:110:0;;;8111:21:1;8168:2;8148:18;;;8141:30;8207:34;8187:18;;;8180:62;-1:-1:-1;;;8258:18:1;;;8251:39;8307:19;;10351:110:0;7927:405:1;10351:110:0;10058:411;;;:::o;11667:240::-;-1:-1:-1;;;;;11784:19:0;;;;;;:11;:19;;;;;;;;11783:20;:47;;;;-1:-1:-1;;;;;;11808:22:0;;;;;;:11;:22;;;;;;;;11807:23;11783:47;11779:121;;;11855:14;;-1:-1:-1;;;11855:14:0;;;;11847:41;;;;-1:-1:-1;;;11847:41:0;;8539:2:1;11847:41:0;;;8521:21:1;8578:2;8558:18;;;8551:30;-1:-1:-1;;;8597:18:1;;;8590:44;8651:18;;11847:41:0;8337:338:1;11915:490:0;-1:-1:-1;;;;;12068:19:0;;;;;;:11;:19;;;;;;;;12067:20;:60;;;;-1:-1:-1;;;;;;12105:22:0;;;;;;:11;:22;;;;;;;;12104:23;12067:60;:103;;;;-1:-1:-1;12165:4:0;;-1:-1:-1;;;;;12144:26:0;;;12165:4;;12144:26;;12067:103;:146;;;;-1:-1:-1;;;;;;12187:26:0;;7546:42;12187:26;;12067:146;12049:349;;;12304:16;;-1:-1:-1;;;;;12267:20:0;;;;;;:9;:20;;;;;;:32;;12292:6;12267:24;:32::i;:::-;12266:54;;12240:146;;;;-1:-1:-1;;;12240:146:0;;8882:2:1;12240:146:0;;;8864:21:1;8921:2;8901:18;;;8894:30;8960:32;8940:18;;;8933:60;9010:18;;12240:146:0;8680:354:1;12413:567:0;12559:4;;-1:-1:-1;;;;;12549:14:0;;;12559:4;;12549:14;12545:245;;12616:18;;12606:6;:28;;:72;;;-1:-1:-1;;;;;;12659:19:0;;;;;;:11;:19;;;;;;;;12606:72;:119;;;-1:-1:-1;;;;;;12703:22:0;;;;;;:11;:22;;;;;;;;12606:119;12580:198;;;;-1:-1:-1;;;12580:198:0;;9241:2:1;12580:198:0;;;9223:21:1;9280:2;9260:18;;;9253:30;-1:-1:-1;;;9299:18:1;;;9292:47;9356:18;;12580:198:0;9039:341:1;12580:198:0;12832:12;;12822:6;:22;;:62;;;-1:-1:-1;;;;;;12865:19:0;;;;;;:11;:19;;;;;;;;12822:62;:105;;;-1:-1:-1;;;;;;12905:22:0;;;;;;:11;:22;;;;;;;;12822:105;12800:172;;;;-1:-1:-1;;;12800:172:0;;9241:2:1;12800:172:0;;;9223:21:1;9280:2;9260:18;;;9253:30;-1:-1:-1;;;9299:18:1;;;9292:47;9356:18;;12800:172:0;9039:341:1;15501:363:0;15628:41;15643:6;15651:9;15662:6;15628:14;:41::i;:::-;15624:233;;;15725:4;15686:18;9272;;;:9;:18;;;;;;15763:13;;15750:26;;15746:58;;;-1:-1:-1;15791:13:0;;15746:58;15819:26;15834:10;15819:14;:26::i;:::-;15671:186;15501:363;;;:::o;16376:1006::-;16496:7;;16543:6;;16496:7;-1:-1:-1;;;;;16627:23:0;;16645:4;16627:23;;;;:53;;-1:-1:-1;;;;;;16654:26:0;;16675:4;16654:26;;16627:53;16623:716;;;16701:32;16715:6;16723:9;16701:13;:32::i;:::-;16697:631;;;16786:1;16758:25;16765:6;16773:9;16758:6;:25::i;:::-;:29;16754:455;;;16824:102;16878:25;16885:6;16893:9;16878:6;:25::i;:::-;16835:11;;16824:23;;:6;;:10;:23::i;:::-;:27;;:102::i;:::-;16994:4;16976:24;;;;:9;:24;;;;;;16812:114;;-1:-1:-1;16976:87:0;;16812:114;16976:28;:87::i;:::-;16967:4;16949:24;;;;:9;:24;;;;;;;:114;;;;17091:42;;-1:-1:-1;;;;;17091:42:0;;;;;;;17123:9;1361:25:1;;1349:2;1334:18;;1215:177;17091:42:0;;;;;;;;17168:21;:6;17179:9;17168:10;:21::i;:::-;17158:31;;16754:455;16697:631;;;17266:4;;-1:-1:-1;;;;;17253:17:0;;;17266:4;;17253:17;:38;;;;-1:-1:-1;4326:7:0;4353:6;-1:-1:-1;;;;;17274:17:0;;;4353:6;;17274:17;;17253:38;17249:63;;;17303:9;17293:19;;17249:63;-1:-1:-1;17357:7:0;;;;-1:-1:-1;16376:1006:0;-1:-1:-1;;;;16376:1006:0:o;412:98::-;470:7;497:5;501:1;497;:5;:::i;14993:500::-;15168:15;;15234:4;15125;9272:18;;;:9;:18;;;;;;15291:8;;15125:4;;15158:25;;;;;-1:-1:-1;;15216:43:0;;15291:8;;;;;15290:9;:37;;;;-1:-1:-1;15316:11:0;;;;15290:37;:68;;;;-1:-1:-1;15344:14:0;;-1:-1:-1;;;15344:14:0;;;;15290:68;:93;;;;;15375:8;15290:93;:130;;;;-1:-1:-1;;;;;;15401:19:0;;;;;;:11;:19;;;;;;;;15400:20;15290:130;:164;;;;-1:-1:-1;15450:4:0;;-1:-1:-1;;;;;15437:17:0;;;15450:4;;15437:17;15290:164;:195;;;;;15471:14;15290:195;15270:215;14993:500;-1:-1:-1;;;;;;14993:500:0:o;12988:1184::-;7443:8;:15;;-1:-1:-1;;7443:15:0;;;;;13139:10:::1;::::0;13121:12:::1;::::0;13097::::1;::::0;7443:15;;13082:86:::1;::::0;13166:1:::1;::::0;13097:53:::1;::::0;13139:10;13097:37:::1;::::0;;;7454:4;13097:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;13082:86::-;13059:109;;13179:32;13214:66;13257:12;13214:24;13225:12;;13214:6;:10;;:24;;;;:::i;:::-;:28:::0;::::1;:66::i;:::-;13179:101:::0;-1:-1:-1;13291:14:0::1;13308:36;:6:::0;13179:101;13308:10:::1;:36::i;:::-;13291:53:::0;-1:-1:-1;13380:21:0::1;13412:24;13291:53:::0;13412:16:::1;:24::i;:::-;13447:20;13470:41;:21;13496:14:::0;13470:25:::1;:41::i;:::-;13447:64;;13522:19;13544:48;13561:30;13578:12;;13561;:16;;:30;;;;:::i;:::-;13544:12:::0;;:16:::1;:48::i;:::-;13522:70;;13603:29;13635;13651:12;;13635:11;:15;;:29;;;;:::i;:::-;13603:61:::0;-1:-1:-1;13679:34:0;;13675:128:::1;;13730:61;13743:24;13769:21;13730:12;:61::i;:::-;13859:12;::::0;13813:20:::1;::::0;13836:36:::1;::::0;:18:::1;:11:::0;13852:1:::1;13836:15;:18::i;:36::-;13813:59:::0;-1:-1:-1;13887:16:0;;13883:99:::1;;13920:50;::::0;7754:42:::1;::::0;13920:50;::::1;;;::::0;13957:12;;13920:50:::1;::::0;;;13957:12;7754:42;13920:50;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13883:99;14019:21;14055:29:::0;;14051:114:::1;;14101:52;::::0;7649:42:::1;::::0;14101:52;::::1;;;::::0;14136:16;;14101:52:::1;::::0;;;14136:16;7649:42;14101:52;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;14051:114;-1:-1:-1::0;;7481:8:0;:16;;-1:-1:-1;;7481:16:0;;;-1:-1:-1;;;;;;;;12988:1184:0:o;15872:192::-;-1:-1:-1;;;;;16010:19:0;;15980:4;16010:19;;;:11;:19;;;;;;;;16009:20;:47;;;;-1:-1:-1;;;;;;;16034:22:0;;;;;:11;:22;;;;;;;;16033:23;;15872:192;-1:-1:-1;15872:192:0:o;16072:296::-;16215:4;;16173:7;;-1:-1:-1;;;;;16215:4:0;;;16202:17;;;;16198:64;;-1:-1:-1;16243:7:0;;16236:14;;16198:64;16286:4;;-1:-1:-1;;;;;16286:4:0;;;16276:14;;;;16272:60;;-1:-1:-1;16314:6:0;;16307:13;;16272:60;-1:-1:-1;16349:11:0;;16072:296;;;;:::o;730:98::-;788:7;815:5;819:1;815;:5;:::i;624:98::-;682:7;709:5;713:1;709;:5;:::i;14541:444::-;14631:16;;;14645:1;14631:16;;;;;;;;14607:21;;14631:16;;;;;;;;;;-1:-1:-1;14631:16:0;14607:40;;14676:4;14658;14663:1;14658:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;14658:23:0;;;:7;;;;;;;;;;:23;;;;14702:6;;:13;;;-1:-1:-1;;;14702:13:0;;;;:6;;;;;:11;;:13;;;;;14658:7;;14702:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;14692:4;14697:1;14692:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;14692:23:0;;;:7;;;;;;;;;:23;14758:6;;14726:53;;14743:4;;14758:6;14767:11;14726:8;:53::i;:::-;14790:6;;:187;;-1:-1:-1;;;14790:187:0;;-1:-1:-1;;;;;14790:6:0;;;;:57;;:187;;14862:11;;14790:6;;14904:4;;14931;;14951:15;;14790:187;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14596:389;14541:444;:::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;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:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:180::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;-1:-1:-1;2198:23:1;;2047:180;-1:-1:-1;2047:180:1:o;2232:247::-;2291:6;2344:2;2332:9;2323:7;2319:23;2315:32;2312:52;;;2360:1;2357;2350:12;2312:52;2399:9;2386:23;2418:31;2443:5;2418:31;:::i;2692:388::-;2760:6;2768;2821:2;2809:9;2800:7;2796:23;2792:32;2789:52;;;2837:1;2834;2827:12;2789:52;2876:9;2863:23;2895:31;2920:5;2895:31;:::i;:::-;2945:5;-1:-1:-1;3002:2:1;2987:18;;2974:32;3015:33;2974:32;3015:33;:::i;:::-;3067:7;3057:17;;;2692:388;;;;;:::o;3085:356::-;3287:2;3269:21;;;3306:18;;;3299:30;3365:34;3360:2;3345:18;;3338:62;3432:2;3417:18;;3085:356::o;3790:251::-;3860:6;3913:2;3901:9;3892:7;3888:23;3884:32;3881:52;;;3929:1;3926;3919:12;3881:52;3961:9;3955:16;3980:31;4005:5;3980:31;:::i;5929:127::-;5990:10;5985:3;5981:20;5978:1;5971:31;6021:4;6018:1;6011:15;6045:4;6042:1;6035:15;6061:128;6128:9;;;6149:11;;;6146:37;;;6163:18;;:::i;6806:306::-;6894:6;6902;6910;6963:2;6951:9;6942:7;6938:23;6934:32;6931:52;;;6979:1;6976;6969:12;6931:52;7008:9;7002:16;6992:26;;7058:2;7047:9;7043:18;7037:25;7027:35;;7102:2;7091:9;7087:18;7081:25;7071:35;;6806:306;;;;;:::o;9385:125::-;9450:9;;;9471:10;;;9468:36;;;9484:18;;:::i;9515:217::-;9555:1;9581;9571:132;;9625:10;9620:3;9616:20;9613:1;9606:31;9660:4;9657:1;9650:15;9688:4;9685:1;9678:15;9571:132;-1:-1:-1;9717:9:1;;9515:217::o;9737:168::-;9810:9;;;9841;;9858:15;;;9852:22;;9838:37;9828:71;;9879:18;;:::i;10042:127::-;10103:10;10098:3;10094:20;10091:1;10084:31;10134:4;10131:1;10124:15;10158:4;10155:1;10148:15;10174:980;10436:4;10484:3;10473:9;10469:19;10515:6;10504:9;10497:25;10541:2;10579:6;10574:2;10563:9;10559:18;10552:34;10622:3;10617:2;10606:9;10602:18;10595:31;10646:6;10681;10675:13;10712:6;10704;10697:22;10750:3;10739:9;10735:19;10728:26;;10789:2;10781:6;10777:15;10763:29;;10810:1;10820:195;10834:6;10831:1;10828:13;10820:195;;;10899:13;;-1:-1:-1;;;;;10895:39:1;10883:52;;10990:15;;;;10955:12;;;;10931:1;10849:9;10820:195;;;-1:-1:-1;;;;;;;11071:32:1;;;;11066:2;11051:18;;11044:60;-1:-1:-1;;;11135:3:1;11120:19;11113:35;11032:3;10174:980;-1:-1:-1;;;10174:980:1:o

ipfs://f4ae4fb1c7cbf8068f9e910f425e3c3c428b86feb8d35184683df725575d587d