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(
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IERC20
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• interface IFactory
•    - function createPair(address tokenA, a ...
•    - function getPair(address tokenA, addr ...
• interface IRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•    - function swapExactTokensForETHSupport ...
•  contract BRAIN is IERC20, Ownable *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function startBraining()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function totalSupply()
•    - function addBrain()
•    - function removeLimits()
•    - function updateTax(uint256 _taxFees)
•    - function shouldSwapBackETH(address se ...
•    - function swapTokensBack()
•    - function addLiquidity(uint256 tokenAm ...
•    - function swapBack(uint256 tokenAmount ...
•    - function shouldTakeFee(address sender ...
•    - function getTaxFees(address sender, a ...
•    - function takeFee(address sender, addr ...
•    - function _transfer(address sender, ad ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-12-06
*/

/**

Website: https://brainiacnetwork.cloud
Twitter: https://twitter.com/BrainiacNetwork
Telegram: https://t.me/brainiac_network

*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.10;


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

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

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

abstract contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

interface IERC20 {
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    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);}

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 BRAIN is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = 'Brainiac Network';
    string private constant _symbol = 'BRAIN';
    uint8 private constant _decimals = 18;
    uint256 private _totalSupply = 1000000000 * (10 ** _decimals);
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExclForBrain;
    mapping (address => bool) private _isExclForFees;
    IRouter router;
    address public pair;
    bool private tradingActive = false;
    bool private swapActive = true;
    bool private swapping;
    uint256 private _swapBackLimits = ( _totalSupply * 1000 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    uint256 private feeForLp = 0;
    uint256 private feeForMkt = 2500;
    uint256 private feeForDev = 0;
    uint256 private feeForBurn = 0;
    uint256 private feeOnBuy = 2500;
    uint256 private feeOnSell = 2500;
    uint256 private feeOnTransfer = 0;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal _mktWallet = 0x54E66a8cf6d69fBb5Aec7D812d0cFC9fc25f0710; 
    uint256 public _maxTxLimits = ( _totalSupply * 200 ) / 10000;
    uint256 public _maxHoldingLimits = ( _totalSupply * 200 ) / 10000;

    constructor() {
        router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _isExclForFees[_mktWallet] = true;
        _isExclForBrain[address(this)] = true;
        _isExclForBrain[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 startBraining() external onlyOwner {tradingActive = true; _swapBackLimits = _totalSupply * 7 / 1000000; }
    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 addBrain() external onlyOwner {
        pair = IFactory(router.factory()).createPair(address(this), router.WETH());
        addLiquidity(balanceOf(address(this)), address(this).balance);
    }

    function removeLimits() external onlyOwner {
        _maxTxLimits = _totalSupply;
        _maxHoldingLimits = _totalSupply;
    }

    function updateTax(uint256 _taxFees) external onlyOwner {
        feeForMkt = _taxFees;
        feeOnBuy = _taxFees;
        feeOnSell = _taxFees;
        require(_taxFees < 600);
    }

    function shouldSwapBackETH(address sender, address recipient, uint256 amount) internal view returns (bool) {
        bool aboveMin = amount >= _swapBackLimits;
        bool aboveThreshold = balanceOf(address(this)) >= _swapBackLimits;
        return !swapping && swapActive && tradingActive && aboveMin && !_isExclForBrain[sender] && recipient == pair && aboveThreshold;
    }

    function swapTokensBack() private lockTheSwap {
        uint256 tokens = balanceOf(address(this));
        if (tokens > _swapBackLimits * 1000) tokens = _swapBackLimits * 1000;
        uint256 _denominator = (feeForLp.add(1).add(feeForMkt).add(feeForDev)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(feeForLp).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapBack(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(feeForLp));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(feeForLp);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(feeForMkt);
        if(marketingAmt > 0){payable(_mktWallet).transfer(marketingAmt);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(_mktWallet).transfer(contractBalance);}
    }

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

    function swapBack(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 !_isExclForBrain[sender] && !_isExclForBrain[recipient];
    }

    function getTaxFees(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pair){return feeOnSell;}
        if(sender == pair){return feeOnBuy;}
        return feeOnTransfer;
    }

    function takeFee(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if(getTaxFees(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(getTaxFees(sender, recipient));
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        emit Transfer(sender, address(this), feeAmount);
        if(feeForBurn > uint256(0) && getTaxFees(sender, recipient) > feeForBurn){_transfer(address(this), address(DEAD), amount.div(denominator).mul(feeForBurn));}
        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");
        if(!_isExclForBrain[sender] && !_isExclForBrain[recipient]){require(tradingActive, "tradingActive");}
        if(recipient == pair && _isExclForFees[sender]){_balances[recipient]+=amount;return;}
        if(!_isExclForBrain[sender] && !_isExclForBrain[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= _maxHoldingLimits, "Exceeds maximum wallet amount.");}
        require(amount <= _maxTxLimits || _isExclForBrain[sender] || _isExclForBrain[recipient], "TX Limit Exceeded"); 
        if(shouldSwapBackETH(sender, recipient, amount)){swapTokensBack();}
        _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":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":"_maxHoldingLimits","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxLimits","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"addBrain","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":"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":[],"name":"startBraining","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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_taxFees","type":"uint256"}],"name":"updateTax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126012600a62000329565b6200002290633b9aca0062000341565b60018190556007805461ffff60a01b1916600160a81b179055620186a0906200004e906103e862000341565b6200005a91906200035b565b600855600060098190556109c4600a819055600b829055600c829055600d819055600e55600f556127106010819055601180546001600160a01b0319167354e66a8cf6d69fbb5aec7d812d0cfc9fc25f0710179055600154620000bf9060c862000341565b620000cb91906200035b565b60125561271060015460c8620000e2919062000341565b620000ee91906200035b565b601355348015620000fe57600080fd5b506200010a33620001c4565b600680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d1790556011546001600160a01b03166000908152600560209081526040808320805460ff1990811660019081179092553085526004845282852080548216831790553380865283862080549092168317909155905460028452828520819055915191825292917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a36200037e565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200026b5781600019048211156200024f576200024f62000214565b808516156200025d57918102915b93841c93908002906200022f565b509250929050565b600082620002845750600162000323565b81620002935750600062000323565b8160018114620002ac5760028114620002b757620002d7565b600191505062000323565b60ff841115620002cb57620002cb62000214565b50506001821b62000323565b5060208310610133831016604e8410600b8410161715620002fc575081810a62000323565b6200030883836200022a565b80600019048211156200031f576200031f62000214565b0290505b92915050565b60006200033a60ff84168362000273565b9392505050565b808202811582820484141762000323576200032362000214565b6000826200037957634e487b7160e01b600052601260045260246000fd5b500490565b6117c7806200038e6000396000f3fe6080604052600436106101185760003560e01c806395d89b41116100a0578063cb69021811610064578063cb6902181461032b578063cca0feb614610340578063dd62ed3e14610360578063f2fde38b146103a6578063f54c6b32146103c657600080fd5b806395d89b4114610292578063a8aa1b31146102c0578063a9059cbb146102e0578063bc73735514610300578063c9821ae91461031657600080fd5b8063313ce567116100e7578063313ce567146101e257806370a08231146101fe578063715018a614610234578063751039fc1461024b5780638da5cb5b1461026057600080fd5b806306fdde0314610124578063095ea7b31461016f57806318160ddd1461019f57806323b872dd146101c257600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152601081526f427261696e696163204e6574776f726b60801b60208201525b60405161016691906114ae565b60405180910390f35b34801561017b57600080fd5b5061018f61018a366004611511565b6103dc565b6040519015158152602001610166565b3480156101ab57600080fd5b506101b46103f3565b604051908152602001610166565b3480156101ce57600080fd5b5061018f6101dd36600461153d565b610464565b3480156101ee57600080fd5b5060405160128152602001610166565b34801561020a57600080fd5b506101b461021936600461157e565b6001600160a01b031660009081526002602052604090205490565b34801561024057600080fd5b506102496104ce565b005b34801561025757600080fd5b5061024961050d565b34801561026c57600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610166565b34801561029e57600080fd5b50604080518082019091526005815264212920a4a760d91b6020820152610159565b3480156102cc57600080fd5b5060075461027a906001600160a01b031681565b3480156102ec57600080fd5b5061018f6102fb366004611511565b610544565b34801561030c57600080fd5b506101b460135481565b34801561032257600080fd5b50610249610551565b34801561033757600080fd5b506102496105af565b34801561034c57600080fd5b5061024961035b36600461159b565b610781565b34801561036c57600080fd5b506101b461037b3660046115b4565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b3480156103b257600080fd5b506102496103c136600461157e565b6107cb565b3480156103d257600080fd5b506101b460125481565b60006103e9338484610863565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc54600154919261045f9290916104599190610987565b90610987565b905090565b6000610471848484610993565b6104c384336104be8560405180606001604052806028815260200161176a602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610dcb565b610863565b5060015b9392505050565b6000546001600160a01b031633146105015760405162461bcd60e51b81526004016104f8906115ed565b60405180910390fd5b61050b6000610df7565b565b6000546001600160a01b031633146105375760405162461bcd60e51b81526004016104f8906115ed565b6001546012819055601355565b60006103e9338484610993565b6000546001600160a01b0316331461057b5760405162461bcd60e51b81526004016104f8906115ed565b6007805460ff60a01b1916600160a01b178155600154620f4240916105a09190611638565b6105aa919061164f565b600855565b6000546001600160a01b031633146105d95760405162461bcd60e51b81526004016104f8906115ed565b600660009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561062c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106509190611671565b6001600160a01b031663c9c6539630600660009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106b2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106d69190611671565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610723573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107479190611671565b600780546001600160a01b0319166001600160a01b03929092169190911790553060009081526002602052604090205461050b9047610e47565b6000546001600160a01b031633146107ab5760405162461bcd60e51b81526004016104f8906115ed565b600a819055600d819055600e81905561025881106107c857600080fd5b50565b6000546001600160a01b031633146107f55760405162461bcd60e51b81526004016104f8906115ed565b6001600160a01b03811661085a5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016104f8565b6107c881610df7565b6001600160a01b0383166108c55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104f8565b6001600160a01b0382166109265760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104f8565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006104c7828461168e565b6001600160a01b0383166109f75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104f8565b6001600160a01b038216610a595760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104f8565b6001600160a01b03831660009081526004602052604090205460ff16158015610a9b57506001600160a01b03821660009081526004602052604090205460ff16155b15610ae957600754600160a01b900460ff16610ae95760405162461bcd60e51b815260206004820152600d60248201526c74726164696e6741637469766560981b60448201526064016104f8565b6007546001600160a01b038381169116148015610b1e57506001600160a01b03831660009081526005602052604090205460ff165b15610b55576001600160a01b03821660009081526002602052604081208054839290610b4b9084906116a1565b9091555050505050565b6001600160a01b03831660009081526004602052604090205460ff16158015610b9757506001600160a01b03821660009081526004602052604090205460ff16155b8015610bb157506007546001600160a01b03838116911614155b8015610bc857506001600160a01b03821661dead14155b15610c41576013546001600160a01b038316600090815260026020526040902054610bf39083610f1c565b1115610c415760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104f8565b60125481111580610c6a57506001600160a01b03831660009081526004602052604090205460ff165b80610c8d57506001600160a01b03821660009081526004602052604090205460ff165b610ccd5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104f8565b610cd8838383610f28565b15610ce557610ce5610fd8565b6001600160a01b038316600090815260026020526040902054610d089082610987565b6001600160a01b038416600090815260026020526040812091909155610d2e84846111a4565b610d385781610d43565b610d438484846111ea565b6001600160a01b038416600090815260026020526040902054909150610d699082610f1c565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610dbd9085815260200190565b60405180910390a350505050565b60008184841115610def5760405162461bcd60e51b81526004016104f891906114ae565b505050900390565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b600654610e5f9030906001600160a01b031684610863565b6006546001600160a01b031663f305d719823085600080610e886000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610ef0573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610f1591906116b4565b5050505050565b60006104c782846116a1565b600854306000908152600260205260408120546007549192808510159291101590600160b01b900460ff16158015610f695750600754600160a81b900460ff165b8015610f7e5750600754600160a01b900460ff165b8015610f875750815b8015610fac57506001600160a01b03861660009081526004602052604090205460ff16155b8015610fc557506007546001600160a01b038681169116145b8015610fce5750805b9695505050505050565b6007805460ff60b01b1916600160b01b1790553060009081526002602052604090205460085461100a906103e8611638565b81111561102357600854611020906103e8611638565b90505b60006110586002611052600b5461104c600a5461104c6001600954610f1c90919063ffffffff16565b90610f1c565b906112f1565b9050600061107b82611075600954866112f190919063ffffffff16565b906112fd565b905060006110898483610987565b90504761109582611309565b60006110a14783610987565b905060006110c46110bd6009548861098790919063ffffffff16565b83906112fd565b905060006110dd600954836112f190919063ffffffff16565b905080156110ef576110ef8682610e47565b600a54600090611104906110528560026112f1565b90508015611148576011546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611146573d6000803e3d6000fd5b505b47801561118b576011546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611189573d6000803e3d6000fd5b505b50506007805460ff60b01b191690555050505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156104c75750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806111f78585611463565b11156112ea57600061121a61120c8686611463565b6010546110529086906112fd565b306000908152600260205260409020549091506112379082610f1c565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112889085815260200190565b60405180910390a36000600c541180156112ac5750600c546112aa8686611463565b115b156112d8576112d83061dead6112d3600c54611052601054896112fd90919063ffffffff16565b610993565b6112e28382610987565b9150506104c7565b5092915050565b60006104c78284611638565b60006104c7828461164f565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061133e5761133e6116e2565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611397573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113bb9190611671565b816001815181106113ce576113ce6116e2565b6001600160a01b0392831660209182029290920101526006546113f49130911684610863565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac9479061142d9085906000908690309042906004016116f8565b600060405180830381600087803b15801561144757600080fd5b505af115801561145b573d6000803e3d6000fd5b505050505050565b6007546000906001600160a01b03908116908316036114855750600e546103ed565b6007546001600160a01b03908116908416036114a45750600d546103ed565b50600f5492915050565b600060208083528351808285015260005b818110156114db578581018301518582016040015282016114bf565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146107c857600080fd5b6000806040838503121561152457600080fd5b823561152f816114fc565b946020939093013593505050565b60008060006060848603121561155257600080fd5b833561155d816114fc565b9250602084013561156d816114fc565b929592945050506040919091013590565b60006020828403121561159057600080fd5b81356104c7816114fc565b6000602082840312156115ad57600080fd5b5035919050565b600080604083850312156115c757600080fd5b82356115d2816114fc565b915060208301356115e2816114fc565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b80820281158282048414176103ed576103ed611622565b60008261166c57634e487b7160e01b600052601260045260246000fd5b500490565b60006020828403121561168357600080fd5b81516104c7816114fc565b818103818111156103ed576103ed611622565b808201808211156103ed576103ed611622565b6000806000606084860312156116c957600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156117485784516001600160a01b031683529383019391830191600101611723565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220144741cdba0d621f764ef78acc8be16c8d998c93283c7478def78fcf1c98ab5864736f6c63430008130033

0x6080604052600436106101185760003560e01c806395d89b41116100a0578063cb69021811610064578063cb6902181461032b578063cca0feb614610340578063dd62ed3e14610360578063f2fde38b146103a6578063f54c6b32146103c657600080fd5b806395d89b4114610292578063a8aa1b31146102c0578063a9059cbb146102e0578063bc73735514610300578063c9821ae91461031657600080fd5b8063313ce567116100e7578063313ce567146101e257806370a08231146101fe578063715018a614610234578063751039fc1461024b5780638da5cb5b1461026057600080fd5b806306fdde0314610124578063095ea7b31461016f57806318160ddd1461019f57806323b872dd146101c257600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152601081526f427261696e696163204e6574776f726b60801b60208201525b60405161016691906114ae565b60405180910390f35b34801561017b57600080fd5b5061018f61018a366004611511565b6103dc565b6040519015158152602001610166565b3480156101ab57600080fd5b506101b46103f3565b604051908152602001610166565b3480156101ce57600080fd5b5061018f6101dd36600461153d565b610464565b3480156101ee57600080fd5b5060405160128152602001610166565b34801561020a57600080fd5b506101b461021936600461157e565b6001600160a01b031660009081526002602052604090205490565b34801561024057600080fd5b506102496104ce565b005b34801561025757600080fd5b5061024961050d565b34801561026c57600080fd5b506000546001600160a01b03165b6040516001600160a01b039091168152602001610166565b34801561029e57600080fd5b50604080518082019091526005815264212920a4a760d91b6020820152610159565b3480156102cc57600080fd5b5060075461027a906001600160a01b031681565b3480156102ec57600080fd5b5061018f6102fb366004611511565b610544565b34801561030c57600080fd5b506101b460135481565b34801561032257600080fd5b50610249610551565b34801561033757600080fd5b506102496105af565b34801561034c57600080fd5b5061024961035b36600461159b565b610781565b34801561036c57600080fd5b506101b461037b3660046115b4565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b3480156103b257600080fd5b506102496103c136600461157e565b6107cb565b3480156103d257600080fd5b506101b460125481565b60006103e9338484610863565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc54600154919261045f9290916104599190610987565b90610987565b905090565b6000610471848484610993565b6104c384336104be8560405180606001604052806028815260200161176a602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610dcb565b610863565b5060015b9392505050565b6000546001600160a01b031633146105015760405162461bcd60e51b81526004016104f8906115ed565b60405180910390fd5b61050b6000610df7565b565b6000546001600160a01b031633146105375760405162461bcd60e51b81526004016104f8906115ed565b6001546012819055601355565b60006103e9338484610993565b6000546001600160a01b0316331461057b5760405162461bcd60e51b81526004016104f8906115ed565b6007805460ff60a01b1916600160a01b178155600154620f4240916105a09190611638565b6105aa919061164f565b600855565b6000546001600160a01b031633146105d95760405162461bcd60e51b81526004016104f8906115ed565b600660009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561062c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106509190611671565b6001600160a01b031663c9c6539630600660009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106b2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106d69190611671565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610723573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107479190611671565b600780546001600160a01b0319166001600160a01b03929092169190911790553060009081526002602052604090205461050b9047610e47565b6000546001600160a01b031633146107ab5760405162461bcd60e51b81526004016104f8906115ed565b600a819055600d819055600e81905561025881106107c857600080fd5b50565b6000546001600160a01b031633146107f55760405162461bcd60e51b81526004016104f8906115ed565b6001600160a01b03811661085a5760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016104f8565b6107c881610df7565b6001600160a01b0383166108c55760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104f8565b6001600160a01b0382166109265760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104f8565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006104c7828461168e565b6001600160a01b0383166109f75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104f8565b6001600160a01b038216610a595760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104f8565b6001600160a01b03831660009081526004602052604090205460ff16158015610a9b57506001600160a01b03821660009081526004602052604090205460ff16155b15610ae957600754600160a01b900460ff16610ae95760405162461bcd60e51b815260206004820152600d60248201526c74726164696e6741637469766560981b60448201526064016104f8565b6007546001600160a01b038381169116148015610b1e57506001600160a01b03831660009081526005602052604090205460ff165b15610b55576001600160a01b03821660009081526002602052604081208054839290610b4b9084906116a1565b9091555050505050565b6001600160a01b03831660009081526004602052604090205460ff16158015610b9757506001600160a01b03821660009081526004602052604090205460ff16155b8015610bb157506007546001600160a01b03838116911614155b8015610bc857506001600160a01b03821661dead14155b15610c41576013546001600160a01b038316600090815260026020526040902054610bf39083610f1c565b1115610c415760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016104f8565b60125481111580610c6a57506001600160a01b03831660009081526004602052604090205460ff165b80610c8d57506001600160a01b03821660009081526004602052604090205460ff165b610ccd5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016104f8565b610cd8838383610f28565b15610ce557610ce5610fd8565b6001600160a01b038316600090815260026020526040902054610d089082610987565b6001600160a01b038416600090815260026020526040812091909155610d2e84846111a4565b610d385781610d43565b610d438484846111ea565b6001600160a01b038416600090815260026020526040902054909150610d699082610f1c565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610dbd9085815260200190565b60405180910390a350505050565b60008184841115610def5760405162461bcd60e51b81526004016104f891906114ae565b505050900390565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b600654610e5f9030906001600160a01b031684610863565b6006546001600160a01b031663f305d719823085600080610e886000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610ef0573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610f1591906116b4565b5050505050565b60006104c782846116a1565b600854306000908152600260205260408120546007549192808510159291101590600160b01b900460ff16158015610f695750600754600160a81b900460ff165b8015610f7e5750600754600160a01b900460ff165b8015610f875750815b8015610fac57506001600160a01b03861660009081526004602052604090205460ff16155b8015610fc557506007546001600160a01b038681169116145b8015610fce5750805b9695505050505050565b6007805460ff60b01b1916600160b01b1790553060009081526002602052604090205460085461100a906103e8611638565b81111561102357600854611020906103e8611638565b90505b60006110586002611052600b5461104c600a5461104c6001600954610f1c90919063ffffffff16565b90610f1c565b906112f1565b9050600061107b82611075600954866112f190919063ffffffff16565b906112fd565b905060006110898483610987565b90504761109582611309565b60006110a14783610987565b905060006110c46110bd6009548861098790919063ffffffff16565b83906112fd565b905060006110dd600954836112f190919063ffffffff16565b905080156110ef576110ef8682610e47565b600a54600090611104906110528560026112f1565b90508015611148576011546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611146573d6000803e3d6000fd5b505b47801561118b576011546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611189573d6000803e3d6000fd5b505b50506007805460ff60b01b191690555050505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156104c75750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806111f78585611463565b11156112ea57600061121a61120c8686611463565b6010546110529086906112fd565b306000908152600260205260409020549091506112379082610f1c565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112889085815260200190565b60405180910390a36000600c541180156112ac5750600c546112aa8686611463565b115b156112d8576112d83061dead6112d3600c54611052601054896112fd90919063ffffffff16565b610993565b6112e28382610987565b9150506104c7565b5092915050565b60006104c78284611638565b60006104c7828461164f565b604080516002808252606082018352600092602083019080368337019050509050308160008151811061133e5761133e6116e2565b6001600160a01b03928316602091820292909201810191909152600654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611397573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113bb9190611671565b816001815181106113ce576113ce6116e2565b6001600160a01b0392831660209182029290920101526006546113f49130911684610863565b60065460405163791ac94760e01b81526001600160a01b039091169063791ac9479061142d9085906000908690309042906004016116f8565b600060405180830381600087803b15801561144757600080fd5b505af115801561145b573d6000803e3d6000fd5b505050505050565b6007546000906001600160a01b03908116908316036114855750600e546103ed565b6007546001600160a01b03908116908416036114a45750600d546103ed565b50600f5492915050565b600060208083528351808285015260005b818110156114db578581018301518582016040015282016114bf565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146107c857600080fd5b6000806040838503121561152457600080fd5b823561152f816114fc565b946020939093013593505050565b60008060006060848603121561155257600080fd5b833561155d816114fc565b9250602084013561156d816114fc565b929592945050506040919091013590565b60006020828403121561159057600080fd5b81356104c7816114fc565b6000602082840312156115ad57600080fd5b5035919050565b600080604083850312156115c757600080fd5b82356115d2816114fc565b915060208301356115e2816114fc565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b80820281158282048414176103ed576103ed611622565b60008261166c57634e487b7160e01b600052601260045260246000fd5b500490565b60006020828403121561168357600080fd5b81516104c7816114fc565b818103818111156103ed576103ed611622565b808201808211156103ed576103ed611622565b6000806000606084860312156116c957600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156117485784516001600160a01b031683529383019391830191600101611723565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220144741cdba0d621f764ef78acc8be16c8d998c93283c7478def78fcf1c98ab5864736f6c63430008130033

6438:8535:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8244:67;;;;;;;;;;-1:-1:-1;8304:5:0;;;;;;;;;;;;-1:-1:-1;;;8304:5:0;;;;8244:67;;;;;;;:::i;:::-;;;;;;;;8974:133;;;;;;;;;;-1:-1:-1;8974:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8974:133:0;1023:187:1;9113:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;9113:132:0;1215:177:1;14318:309:0;;;;;;;;;;-1:-1:-1;14318:309:0;;;;;:::i;:::-;;:::i;8394:67::-;;;;;;;;;;-1:-1:-1;8394:67:0;;6652:2;2000:36:1;;1988:2;1973:18;8394:67:0;1858:184:1;8587:103:0;;;;;;;;;;-1:-1:-1;8587:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;8670:18:0;8653:7;8670:18;;;:9;:18;;;;;;;8587:103;3930;;;;;;;;;;;;;:::i;:::-;;9465:132;;;;;;;;;;;;;:::i;3279:87::-;;;;;;;;;;-1:-1:-1;3325:7:0;3352:6;-1:-1:-1;;;;;3352:6:0;3279:87;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;3279:87:0;2299:203:1;8317:71:0;;;;;;;;;;-1:-1:-1;8379:7:0;;;;;;;;;;;;-1:-1:-1;;;8379:7:0;;;;8317:71;;6982:19;;;;;;;;;;-1:-1:-1;6982:19:0;;;;-1:-1:-1;;;;;6982:19:0;;;8696:139;;;;;;;;;;-1:-1:-1;8696:139:0;;;;;:::i;:::-;;:::i;7788:65::-;;;;;;;;;;;;;;;;8467:114;;;;;;;;;;;;;:::i;9253:204::-;;;;;;;;;;;;;:::i;9605:190::-;;;;;;;;;;-1:-1:-1;9605:190:0;;;;;:::i;:::-;;:::i;8841:127::-;;;;;;;;;;-1:-1:-1;8841:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;8939:18:0;;;8922:7;8939:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8841:127;4188:201;;;;;;;;;;-1:-1:-1;4188:201:0;;;;;:::i;:::-;;:::i;7721:60::-;;;;;;;;;;;;;;;;8974:133;9049:4;9056:37;9065:10;9077:7;9086:6;9056:8;:37::i;:::-;-1:-1:-1;9101:4:0;8974:133;;;;;:::o;9113:132::-;8670:9;:18;;;;7592:42;9166:7;8670:18;;;;;9183:12;;9166:7;;9183:60;;8670:18;;9183:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;9176:67;;9113:132;:::o;14318:309::-;14416:4;14433:36;14443:6;14451:9;14462:6;14433:9;:36::i;:::-;14480:117;14489:6;14497:10;14509:87;14545:6;14509:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;14509:19:0;;;;;;:11;:19;;;;;;;;14529:10;14509:31;;;;;;;;;:87;:35;:87::i;:::-;14480:8;:117::i;:::-;-1:-1:-1;14615:4:0;14318:309;;;;;;:::o;3930:103::-;3325:7;3352:6;-1:-1:-1;;;;;3352:6:0;2733:10;3499:23;3491:68;;;;-1:-1:-1;;;3491:68:0;;;;;;;:::i;:::-;;;;;;;;;3995:30:::1;4022:1;3995:18;:30::i;:::-;3930:103::o:0;9465:132::-;3325:7;3352:6;-1:-1:-1;;;;;3352:6:0;2733:10;3499:23;3491:68;;;;-1:-1:-1;;;3491:68:0;;;;;;;:::i;:::-;9534:12:::1;::::0;9519::::1;:27:::0;;;9557:17:::1;:32:::0;9465:132::o;8696:139::-;8774:4;8781:40;8791:10;8803:9;8814:6;8781:9;:40::i;8467:114::-;3325:7;3352:6;-1:-1:-1;;;;;3352:6:0;2733:10;3499:23;3491:68;;;;-1:-1:-1;;;3491:68:0;;;;;;;:::i;:::-;8512:13:::1;:20:::0;;-1:-1:-1;;;;8512:20:0::1;-1:-1:-1::0;;;8512:20:0::1;::::0;;8528:4:::1;8552:12:::0;8571:7:::1;::::0;8552:16:::1;::::0;:12;:16:::1;:::i;:::-;:26;;;;:::i;:::-;8534:15;:44:::0;8467:114::o;9253:204::-;3325:7;3352:6;-1:-1:-1;;;;;3352:6:0;2733:10;3499:23;3491:68;;;;-1:-1:-1;;;3491:68:0;;;;;;;:::i;:::-;9319:6:::1;;;;;;;;;-1:-1:-1::0;;;;;9319:6:0::1;-1:-1:-1::0;;;;;9319:14:0::1;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9310:37:0::1;;9356:4;9363:6;;;;;;;;;-1:-1:-1::0;;;;;9363:6:0::1;-1:-1:-1::0;;;;;9363:11:0::1;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9310:67;::::0;-1:-1:-1;;;;;;9310:67:0::1;::::0;;;;;;-1:-1:-1;;;;;4459:15:1;;;9310:67:0::1;::::0;::::1;4441:34:1::0;4511:15;;4491:18;;;4484:43;4376:18;;9310:67:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9303:4;:74:::0;;-1:-1:-1;;;;;;9303:74:0::1;-1:-1:-1::0;;;;;9303:74:0;;;::::1;::::0;;;::::1;::::0;;9419:4:::1;-1:-1:-1::0;8670:18:0;;;:9;:18;;;;;;9388:61:::1;::::0;9427:21:::1;9388:12;:61::i;9605:190::-:0;3325:7;3352:6;-1:-1:-1;;;;;3352:6:0;2733:10;3499:23;3491:68;;;;-1:-1:-1;;;3491:68:0;;;;;;;:::i;:::-;9672:9:::1;:20:::0;;;9703:8:::1;:19:::0;;;9733:9:::1;:20:::0;;;9783:3:::1;9772:14:::0;::::1;9764:23;;;::::0;::::1;;9605:190:::0;:::o;4188:201::-;3325:7;3352:6;-1:-1:-1;;;;;3352:6:0;2733:10;3499:23;3491:68;;;;-1:-1:-1;;;3491:68:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4277:22:0;::::1;4269:73;;;::::0;-1:-1:-1;;;4269:73:0;;4740:2:1;4269:73:0::1;::::0;::::1;4722:21:1::0;4779:2;4759:18;;;4752:30;4818:34;4798:18;;;4791:62;-1:-1:-1;;;4869:18:1;;;4862:36;4915:19;;4269:73:0::1;4538:402:1::0;4269:73:0::1;4353:28;4372:8;4353:18;:28::i;14635:335::-:0;-1:-1:-1;;;;;14728:19:0;;14720:68;;;;-1:-1:-1;;;14720:68:0;;5147:2:1;14720:68:0;;;5129:21:1;5186:2;5166:18;;;5159:30;5225:34;5205:18;;;5198:62;-1:-1:-1;;;5276:18:1;;;5269:34;5320:19;;14720:68:0;4945:400:1;14720:68:0;-1:-1:-1;;;;;14807:21:0;;14799:68;;;;-1:-1:-1;;;14799:68:0;;5552:2:1;14799:68:0;;;5534:21:1;5591:2;5571:18;;;5564:30;5630:34;5610:18;;;5603:62;-1:-1:-1;;;5681:18:1;;;5674:32;5723:19;;14799:68:0;5350:398:1;14799:68:0;-1:-1:-1;;;;;14878:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;14930:32;;1361:25:1;;;14930:32:0;;1334:18:1;14930:32:0;;;;;;;14635:335;;;:::o;1455:98::-;1513:7;1540:5;1544:1;1540;:5;:::i;13110:1200::-;-1:-1:-1;;;;;13207:20:0;;13199:70;;;;-1:-1:-1;;;13199:70:0;;6088:2:1;13199:70:0;;;6070:21:1;6127:2;6107:18;;;6100:30;6166:34;6146:18;;;6139:62;-1:-1:-1;;;6217:18:1;;;6210:35;6262:19;;13199:70:0;5886:401:1;13199:70:0;-1:-1:-1;;;;;13288:23:0;;13280:71;;;;-1:-1:-1;;;13280:71:0;;6494:2:1;13280:71:0;;;6476:21:1;6533:2;6513:18;;;6506:30;6572:34;6552:18;;;6545:62;-1:-1:-1;;;6623:18:1;;;6616:33;6666:19;;13280:71:0;6292:399:1;13280:71:0;-1:-1:-1;;;;;13366:23:0;;;;;;:15;:23;;;;;;;;13365:24;:55;;;;-1:-1:-1;;;;;;13394:26:0;;;;;;:15;:26;;;;;;;;13393:27;13365:55;13362:101;;;13430:13;;-1:-1:-1;;;13430:13:0;;;;13422:39;;;;-1:-1:-1;;;13422:39:0;;6898:2:1;13422:39:0;;;6880:21:1;6937:2;6917:18;;;6910:30;-1:-1:-1;;;6956:18:1;;;6949:43;7009:18;;13422:39:0;6696:337:1;13422:39:0;13489:4;;-1:-1:-1;;;;;13476:17:0;;;13489:4;;13476:17;:43;;;;-1:-1:-1;;;;;;13497:22:0;;;;;;:14;:22;;;;;;;;13476:43;13473:85;;;-1:-1:-1;;;;;13521:20:0;;;;;;:9;:20;;;;;:28;;13543:6;;13521:20;:28;;13543:6;;13521:28;:::i;:::-;;;;-1:-1:-1;;;;;13110:1200:0:o;13473:85::-;-1:-1:-1;;;;;13572:23:0;;;;;;:15;:23;;;;;;;;13571:24;:55;;;;-1:-1:-1;;;;;;13600:26:0;;;;;;:15;:26;;;;;;;;13599:27;13571:55;:85;;;;-1:-1:-1;13651:4:0;;-1:-1:-1;;;;;13630:26:0;;;13651:4;;13630:26;;13571:85;:115;;;;-1:-1:-1;;;;;;13660:26:0;;7592:42;13660:26;;13571:115;13568:230;;;13744:17;;-1:-1:-1;;;;;13707:20:0;;;;;;:9;:20;;;;;;:32;;13732:6;13707:24;:32::i;:::-;13706:55;;13698:98;;;;-1:-1:-1;;;13698:98:0;;7370:2:1;13698:98:0;;;7352:21:1;7409:2;7389:18;;;7382:30;7448:32;7428:18;;;7421:60;7498:18;;13698:98:0;7168:354:1;13698:98:0;13826:12;;13816:6;:22;;:49;;;-1:-1:-1;;;;;;13842:23:0;;;;;;:15;:23;;;;;;;;13816:49;:79;;;-1:-1:-1;;;;;;13869:26:0;;;;;;:15;:26;;;;;;;;13816:79;13808:109;;;;-1:-1:-1;;;13808:109:0;;7729:2:1;13808:109:0;;;7711:21:1;7768:2;7748:18;;;7741:30;-1:-1:-1;;;7787:18:1;;;7780:47;7844:18;;13808:109:0;7527:341:1;13808:109:0;13932:44;13950:6;13958:9;13969:6;13932:17;:44::i;:::-;13929:67;;;13978:16;:14;:16::i;:::-;-1:-1:-1;;;;;14026:17:0;;;;;;:9;:17;;;;;;:29;;14048:6;14026:21;:29::i;:::-;-1:-1:-1;;;;;14006:17:0;;;;;;:9;:17;;;;;:49;;;;14091:32;14016:6;14113:9;14091:13;:32::i;:::-;:78;;14163:6;14091:78;;;14126:34;14134:6;14142:9;14153:6;14126:7;:34::i;:::-;-1:-1:-1;;;;;14203:20:0;;;;;;:9;:20;;;;;;14066:103;;-1:-1:-1;14203:40:0;;14066:103;14203:24;:40::i;:::-;-1:-1:-1;;;;;14180:20:0;;;;;;;:9;:20;;;;;;;:63;;;;14259:43;;;;;;;;;;14287:14;1361:25:1;;1349:2;1334:18;;1215:177;14259:43:0;;;;;;;;13188:1122;13110:1200;;;:::o;1879:240::-;1999:7;2060:12;2052:6;;;;2044:29;;;;-1:-1:-1;;;2044:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2095:5:0;;;1879:240::o;4549:191::-;4623:16;4642:6;;-1:-1:-1;;;;;4659:17:0;;;-1:-1:-1;;;;;;4659:17:0;;;;;;4692:40;;4642:6;;;;;;;4692:40;;4623:16;4692:40;4612:128;4549:191;:::o;11326:332::-;11439:6;;11407:53;;11424:4;;-1:-1:-1;;;;;11439:6:0;11448:11;11407:8;:53::i;:::-;11471:6;;-1:-1:-1;;;;;11471:6:0;:22;11501:9;11534:4;11554:11;11471:6;;11612:7;3325;3352:6;-1:-1:-1;;;;;3352:6:0;;3279:87;11612:7;11471:179;;;;;;-1:-1:-1;;;;;;11471:179:0;;;-1:-1:-1;;;;;8232:15:1;;;11471:179:0;;;8214:34:1;8264:18;;;8257:34;;;;8307:18;;;8300:34;;;;8350:18;;;8343:34;8414:15;;;8393:19;;;8386:44;11634:15:0;8446:19:1;;;8439:35;8148:19;;11471:179:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11326:332;;:::o;1349:98::-;1407:7;1434:5;1438:1;1434;:5;:::i;9803:380::-;9947:15;;10013:4;9904;8670:18;;;:9;:18;;;;;;10057:8;;9904:4;;9937:25;;;;;-1:-1:-1;;9995:43:0;;-1:-1:-1;;;10057:8:0;;;;10056:9;:23;;;;-1:-1:-1;10069:10:0;;-1:-1:-1;;;10069:10:0;;;;10056:23;:40;;;;-1:-1:-1;10083:13:0;;-1:-1:-1;;;10083:13:0;;;;10056:40;:52;;;;;10100:8;10056:52;:80;;;;-1:-1:-1;;;;;;10113:23:0;;;;;;:15;:23;;;;;;;;10112:24;10056:80;:101;;;;-1:-1:-1;10153:4:0;;-1:-1:-1;;;;;10140:17:0;;;10153:4;;10140:17;10056:101;:119;;;;;10161:14;10056:119;10049:126;9803:380;-1:-1:-1;;;;;;9803:380:0:o;10191:1127::-;7209:8;:15;;-1:-1:-1;;;;7209:15:0;-1:-1:-1;;;7209:15:0;;;10283:4:::1;-1:-1:-1::0;8670:18:0;;;:9;:18;;;;;;10313:15:::1;::::0;:22:::1;::::0;10331:4:::1;10313:22;:::i;:::-;10304:6;:31;10300:68;;;10346:15;::::0;:22:::1;::::0;10364:4:::1;10346:22;:::i;:::-;10337:31;;10300:68;10379:20;10402:54;10454:1;10403:45;10438:9;;10403:30;10423:9;;10403:15;10416:1;10403:8;;:12;;:15;;;;:::i;:::-;:19:::0;::::1;:30::i;:45::-;10402:51:::0;::::1;:54::i;:::-;10379:77;;10467:32;10502:38;10527:12;10502:20;10513:8;;10502:6;:10;;:20;;;;:::i;:::-;:24:::0;::::1;:38::i;:::-;10467:73:::0;-1:-1:-1;10551:14:0::1;10568:36;:6:::0;10467:73;10568:10:::1;:36::i;:::-;10551:53:::0;-1:-1:-1;10640:21:0::1;10672:16;10551:53:::0;10672:8:::1;:16::i;:::-;10699:20;10722:41;:21;10748:14:::0;10722:25:::1;:41::i;:::-;10699:64;;10774:19;10795:44;10812:26;10829:8;;10812:12;:16;;:26;;;;:::i;:::-;10795:12:::0;;:16:::1;:44::i;:::-;10774:65;;10850:29;10882:25;10898:8;;10882:11;:15;;:25;;;;:::i;:::-;10850:57:::0;-1:-1:-1;10921:34:0;;10918:103:::1;;10957:61;10970:24;10996:21;10957:12;:61::i;:::-;11077:9;::::0;11031:20:::1;::::0;11054:33:::1;::::0;:18:::1;:11:::0;11070:1:::1;11054:15;:18::i;:33::-;11031:56:::0;-1:-1:-1;11101:16:0;;11098:65:::1;;11127:10;::::0;11119:42:::1;::::0;-1:-1:-1;;;;;11127:10:0;;::::1;::::0;11119:42;::::1;;;::::0;11148:12;;11127:10:::1;11119:42:::0;11127:10;11119:42;11148:12;11127:10;11119:42;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11098:65;11199:21;11234:28:::0;;11231:80:::1;;11272:10;::::0;11264:45:::1;::::0;-1:-1:-1;;;;;11272:10:0;;::::1;::::0;11264:45;::::1;;;::::0;11293:15;;11272:10:::1;11264:45:::0;11272:10;11264:45;11293:15;11272:10;11264:45;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11231:80;-1:-1:-1::0;;7229:8:0;:16;;-1:-1:-1;;;;7229:16:0;;;-1:-1:-1;;;;;;;;10191:1127:0:o;12100:168::-;-1:-1:-1;;;;;12206:23:0;;12181:4;12206:23;;;:15;:23;;;;;;;;12205:24;:55;;;;-1:-1:-1;;;;;;;12234:26:0;;;;;:15;:26;;;;;;;;12233:27;;12100:168;-1:-1:-1;12100:168:0:o;12506:596::-;12592:7;12647:1;12615:29;12626:6;12634:9;12615:10;:29::i;:::-;:33;12612:468;;;12660:17;12680:58;12708:29;12719:6;12727:9;12708:10;:29::i;:::-;12691:11;;12680:23;;:6;;:10;:23::i;:58::-;12794:4;12776:24;;;;:9;:24;;;;;;12660:78;;-1:-1:-1;12776:39:0;;12660:78;12776:28;:39::i;:::-;12767:4;12749:24;;;;:9;:24;;;;;;;:66;;;;12831:42;;-1:-1:-1;;;;;12831:42:0;;;;;;;12863:9;1361:25:1;;1349:2;1334:18;;1215:177;12831:42:0;;;;;;;;12908:1;12887:10;;:23;:69;;;;;12946:10;;12914:29;12925:6;12933:9;12914:10;:29::i;:::-;:42;12887:69;12884:156;;;12958:80;12976:4;7592:42;12998:39;13026:10;;12998:23;13009:11;;12998:6;:10;;:23;;;;:::i;:39::-;12958:9;:80::i;:::-;13057:21;:6;13068:9;13057:10;:21::i;:::-;13050:28;;;;;12612:468;-1:-1:-1;13088:6:0;12506:596;-1:-1:-1;;12506:596:0:o;1561:98::-;1619:7;1646:5;1650:1;1646;:5;:::i;1667:98::-;1725:7;1752:5;1756:1;1752;:5;:::i;11666:426::-;11748:16;;;11762:1;11748:16;;;;;;;;11724:21;;11748:16;;;;;;;;;;-1:-1:-1;11748:16:0;11724:40;;11793:4;11775;11780:1;11775:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;11775:23:0;;;:7;;;;;;;;;;:23;;;;11819:6;;:13;;;-1:-1:-1;;;11819:13:0;;;;:6;;;;;:11;;:13;;;;;11775:7;;11819:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11809:4;11814:1;11809:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;11809:23:0;;;:7;;;;;;;;;:23;11875:6;;11843:53;;11860:4;;11875:6;11884:11;11843:8;:53::i;:::-;11907:6;;:177;;-1:-1:-1;;;11907:177:0;;-1:-1:-1;;;;;11907:6:0;;;;:57;;:177;;11979:11;;11907:6;;12021:4;;12048;;12068:15;;11907:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11713:379;11666:426;:::o;12276:222::-;12390:4;;12354:7;;-1:-1:-1;;;;;12390:4:0;;;12377:17;;;;12374:40;;-1:-1:-1;12403:9:0;;12396:16;;12374:40;12437:4;;-1:-1:-1;;;;;12437:4:0;;;12427:14;;;;12424:36;;-1:-1:-1;12450:8:0;;12443:15;;12424:36;-1:-1:-1;12477:13:0;;12276:222;;;;:::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:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:180::-;2566:6;2619:2;2607:9;2598:7;2594:23;2590:32;2587:52;;;2635:1;2632;2625:12;2587:52;-1:-1:-1;2658:23:1;;2507:180;-1:-1:-1;2507:180:1:o;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;3446:127::-;3507:10;3502:3;3498:20;3495:1;3488:31;3538:4;3535:1;3528:15;3562:4;3559:1;3552:15;3578:168;3651:9;;;3682;;3699:15;;;3693:22;;3679:37;3669:71;;3720:18;;:::i;3751:217::-;3791:1;3817;3807:132;;3861:10;3856:3;3852:20;3849:1;3842:31;3896:4;3893:1;3886:15;3924:4;3921:1;3914:15;3807:132;-1:-1:-1;3953:9:1;;3751:217::o;3973:251::-;4043:6;4096:2;4084:9;4075:7;4071:23;4067:32;4064:52;;;4112:1;4109;4102:12;4064:52;4144:9;4138:16;4163:31;4188:5;4163:31;:::i;5753:128::-;5820:9;;;5841:11;;;5838:37;;;5855:18;;:::i;7038:125::-;7103:9;;;7124:10;;;7121:36;;;7137:18;;:::i;8485:306::-;8573:6;8581;8589;8642:2;8630:9;8621:7;8617:23;8613:32;8610:52;;;8658:1;8655;8648:12;8610:52;8687:9;8681:16;8671:26;;8737:2;8726:9;8722:18;8716:25;8706:35;;8781:2;8770:9;8766:18;8760:25;8750:35;;8485:306;;;;;:::o;8928:127::-;8989:10;8984:3;8980:20;8977:1;8970:31;9020:4;9017:1;9010:15;9044:4;9041:1;9034:15;9060:980;9322:4;9370:3;9359:9;9355:19;9401:6;9390:9;9383:25;9427:2;9465:6;9460:2;9449:9;9445:18;9438:34;9508:3;9503:2;9492:9;9488:18;9481:31;9532:6;9567;9561:13;9598:6;9590;9583:22;9636:3;9625:9;9621:19;9614:26;;9675:2;9667:6;9663:15;9649:29;;9696:1;9706:195;9720:6;9717:1;9714:13;9706:195;;;9785:13;;-1:-1:-1;;;;;9781:39:1;9769:52;;9876:15;;;;9841:12;;;;9817:1;9735:9;9706:195;;;-1:-1:-1;;;;;;;9957:32:1;;;;9952:2;9937:18;;9930:60;-1:-1:-1;;;10021:3:1;10006:19;9999:35;9918:3;9060:980;-1:-1:-1;;;9060:980:1:o

ipfs://144741cdba0d621f764ef78acc8be16c8d998c93283c7478def78fcf1c98ab58