Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract Cultel is Context, IERC20 ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function min(uint256 a, uint256 b)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits_1()
•    - function sendETHToFee(uint256 amount)
•    - function openTrading()
•    - function reduceFee_1(uint256 _newFee)
•    - function manualSwap_1()
•    - function manualsend_1()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: UNLICENSE

/*

CULTEL - Vitalik's Cult

https://x.com/VitalikButerin/status/1220158724355944448

https://t.me/CULTEL

https://x.com/Cultel_ETH

https://cultel.xyz/
*/

pragma solidity ^0.8.23;

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

interface IERC20 {
    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);
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

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

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

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

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

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

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

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

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

interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

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

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

contract Cultel is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    address payable private _taxWallet;
    string private constant _name = unicode"Cultel";
    string private constant _symbol = unicode"CULTEL";

    uint256 private _initialBuyTax = 20;
    uint256 private _initialSellTax = 20;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 7;
    uint256 private _reduceSellTaxAt = 7;
    uint256 private _preventSwapBefore = 7;
    uint256 private _buyCount = 0;
    uint32 private _launchBlock;
    uint32 private _launchBuys;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000000 * 10 ** _decimals;
    uint256 public _maxTxAmount = 2000000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 2000000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 1000000000 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 2000000000 * 10 ** _decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap() {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor() {
        _taxWallet = payable(_msgSender());
        _balances[address(this)] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());

        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    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 totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), 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(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(
            sender,
            _msgSender(),
            _allowances[sender][_msgSender()].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);
    }

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount = 0;
        if (from != owner() && to != owner()) {
            taxAmount = amount.mul((_buyCount > _reduceBuyTaxAt) ? _finalBuyTax : _initialBuyTax).div(100);

            if (uint32(block.number) == _launchBlock) require(_launchBuys++ < 99, "Excess launch snipers");

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && !_isExcludedFromFee[to]) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
            }

            if (to == uniswapV2Pair && from != address(this)) {
                taxAmount = amount.mul((_buyCount > _reduceSellTaxAt) ? _finalSellTax : _initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !inSwap &&
                to == uniswapV2Pair &&
                swapEnabled &&
                contractTokenBalance > _taxSwapThreshold &&
                _buyCount > _preventSwapBefore
            ) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < 3, "Only 3 sells per block!");
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }
        }

        if (taxAmount > 0) {
            _balances[address(this)] = _balances[address(this)].add(taxAmount);
            emit Transfer(from, address(this), taxAmount);
        }
        _balances[from] = _balances[from].sub(amount);
        _balances[to] = _balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

    function min(uint256 a, uint256 b) private pure returns (uint256) {
        return (a > b) ? b : a;
    }

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

    function removeLimits_1() external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

    function sendETHToFee(uint256 amount) private {
        _taxWallet.transfer(amount);
    }

    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uniswapV2Router.addLiquidityETH{ value: address(this).balance }(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
        _launchBlock = uint32(block.number);
    }

    function reduceFee_1(uint256 _newFee) external {
        require(_msgSender() == _taxWallet);
        require(_newFee <= _finalBuyTax && _newFee <= _finalSellTax);
        _finalBuyTax = _newFee;
        _finalSellTax = _newFee;
    }

    receive() external payable {}

    function manualSwap_1() external {
        require(_msgSender() == _taxWallet);
        uint256 tokenBalance = balanceOf(address(this));
        if (tokenBalance > 0) {
            swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance = address(this).balance;
        if (ethBalance > 0) {
            sendETHToFee(ethBalance);
        }
    }

    function manualsend_1() external {
        require(_msgSender() == _taxWallet);
        uint256 contractETHBalance = address(this).balance;
        sendETHToFee(contractETHBalance);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","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":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"manualSwap_1","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualsend_1","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newFee","type":"uint256"}],"name":"reduceFee_1","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits_1","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":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052601460055560146006555f6007555f60085560076009556007600a556007600b555f600c556009600a6200003991906200064c565b6200004990637735940062000663565b600e556200005a6009600a6200064c565b6200006a90637735940062000663565b600f556200007b6009600a6200064c565b6200008b90633b9aca0062000663565b6010556200009c6009600a6200064c565b620000ac90637735940062000663565b6011556013805461ffff60a81b191690555f6014819055601555348015620000d2575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b03191633179055620001336009600a6200064c565b620001449064174876e80062000663565b305f9081526001602081905260408220929092556003906200016d5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055308082526003909452828120805486166001908117909155600454909216815291909120805490931617909155601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556200021b9190620002046009600a6200064c565b620002159064174876e80062000663565b62000412565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156200026c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200029291906200067d565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620002f2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200031891906200067d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801562000363573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200038991906200067d565b601380546001600160a01b0319166001600160a01b0392909216919091179055620003b13390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620003ea6009600a6200064c565b620003fb9064174876e80062000663565b60405190815260200160405180910390a3620006a5565b6001600160a01b0383166200047a5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b038216620004dd5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840162000471565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200059157815f19048211156200057557620005756200053d565b808516156200058357918102915b93841c939080029062000556565b509250929050565b5f82620005a95750600162000646565b81620005b757505f62000646565b8160018114620005d05760028114620005db57620005fb565b600191505062000646565b60ff841115620005ef57620005ef6200053d565b50506001821b62000646565b5060208310610133831016604e8410600b841016171562000620575081810a62000646565b6200062c838362000551565b805f19048211156200064257620006426200053d565b0290505b92915050565b5f6200065c60ff84168362000599565b9392505050565b80820281158282048414176200064657620006466200053d565b5f602082840312156200068e575f80fd5b81516001600160a01b03811681146200065c575f80fd5b61173980620006b35f395ff3fe60806040526004361061011e575f3560e01c80637d1db4a51161009d578063a9059cbb11610062578063a9059cbb14610318578063bf474bed14610337578063c9567bf91461034c578063dd62ed3e14610360578063dec678b3146103a4575f80fd5b80637d1db4a51461027b5780638da5cb5b146102905780638f9a55c0146102b657806395d89b41146102cb578063a36a9b7a146102f9575f80fd5b806323b872dd116100e357806323b872dd146101e5578063313ce567146102045780636cb7bb9b1461021f57806370a0823114610233578063715018a614610267575f80fd5b806306fdde0314610129578063095ea7b3146101695780630ddfdde6146101985780630faee56f146101ae57806318160ddd146101d1575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600681526510dd5b1d195b60d21b60208201525b60405161016091906112f3565b60405180910390f35b348015610174575f80fd5b50610188610183366004611353565b6103b8565b6040519015158152602001610160565b3480156101a3575f80fd5b506101ac6103ce565b005b3480156101b9575f80fd5b506101c360115481565b604051908152602001610160565b3480156101dc575f80fd5b506101c361048b565b3480156101f0575f80fd5b506101886101ff36600461137d565b6104ac565b34801561020f575f80fd5b5060405160098152602001610160565b34801561022a575f80fd5b506101ac610513565b34801561023e575f80fd5b506101c361024d3660046113bb565b6001600160a01b03165f9081526001602052604090205490565b348015610272575f80fd5b506101ac610564565b348015610286575f80fd5b506101c3600e5481565b34801561029b575f80fd5b505f546040516001600160a01b039091168152602001610160565b3480156102c1575f80fd5b506101c3600f5481565b3480156102d6575f80fd5b5060408051808201909152600681526510d55315115360d21b6020820152610153565b348015610304575f80fd5b506101ac6103133660046113d6565b6105d5565b348015610323575f80fd5b50610188610332366004611353565b61061a565b348015610342575f80fd5b506101c360105481565b348015610357575f80fd5b506101ac610626565b34801561036b575f80fd5b506101c361037a3660046113ed565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103af575f80fd5b506101ac610820565b5f6103c433848461084c565b5060015b92915050565b5f546001600160a01b031633146104005760405162461bcd60e51b81526004016103f790611424565b60405180910390fd5b61040c6009600a61154d565b61041b9064174876e80061155b565b600e5561042a6009600a61154d565b6104399064174876e80061155b565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104696009600a61154d565b6104789064174876e80061155b565b60405190815260200160405180910390a1565b5f6104986009600a61154d565b6104a79064174876e80061155b565b905090565b5f6104b884848461096f565b6105098433610504856040518060600160405280602881526020016116dc602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610f6f565b61084c565b5060019392505050565b6004546001600160a01b0316336001600160a01b031614610532575f80fd5b305f9081526001602052604090205480156105505761055081610fa7565b4780156105605761056081611117565b5050565b5f546001600160a01b0316331461058d5760405162461bcd60e51b81526004016103f790611424565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b6004546001600160a01b0316336001600160a01b0316146105f4575f80fd5b600754811115801561060857506008548111155b610610575f80fd5b6007819055600855565b5f6103c433848461096f565b5f546001600160a01b0316331461064f5760405162461bcd60e51b81526004016103f790611424565b601354600160a01b900460ff16156106a95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f7565b6012546001600160a01b031663f305d71947306106da816001600160a01b03165f9081526001602052604090205490565b5f806106ed5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610753573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107789190611572565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107cd573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107f1919061159d565b506013805462ff00ff60a01b19166201000160a01b179055600d805463ffffffff19164363ffffffff16179055565b6004546001600160a01b0316336001600160a01b03161461083f575f80fd5b4761084981611117565b50565b6001600160a01b0383166108ae5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f7565b6001600160a01b03821661090f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f7565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109d35760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f7565b6001600160a01b038216610a355760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f7565b5f8111610a965760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f7565b5f80546001600160a01b03858116911614801590610ac157505f546001600160a01b03848116911614155b15610e3257610af26064610aec600954600c5411610ae157600554610ae5565b6007545b859061114e565b906111d3565b600d5490915063ffffffff9081164390911603610b9457600d805460639164010000000090910463ffffffff16906004610b2b836115bc565b91906101000a81548163ffffffff021916908363ffffffff16021790555063ffffffff1610610b945760405162461bcd60e51b8152602060048201526015602482015274457863657373206c61756e636820736e697065727360581b60448201526064016103f7565b6013546001600160a01b038581169116148015610bbf57506012546001600160a01b03848116911614155b8015610be357506001600160a01b0383165f9081526003602052604090205460ff16155b15610cc957600e54821115610c3a5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103f7565b600f5482610c5c856001600160a01b03165f9081526001602052604090205490565b610c6691906115de565b1115610cb45760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103f7565b600c8054905f610cc3836115f1565b91905055505b6013546001600160a01b038481169116148015610cef57506001600160a01b0384163014155b15610d1c57610d196064610aec600a54600c5411610d0f57600654610ae5565b600854859061114e565b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610d5257506013546001600160a01b038581169116145b8015610d675750601354600160b01b900460ff165b8015610d74575060105481115b8015610d835750600b54600c54115b15610e3057601554431115610d97575f6014555b600360145410610de95760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016103f7565b610e06610e0184610dfc84601154611214565b611214565b610fa7565b478015610e1657610e1647611117565b60148054905f610e25836115f1565b909155505043601555505b505b8015610eaa57305f90815260016020526040902054610e519082611228565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ea19085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610ecc9083611286565b6001600160a01b0385165f90815260016020526040902055610f0f610ef18383611286565b6001600160a01b0385165f9081526001602052604090205490611228565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f588585611286565b60405190815260200160405180910390a350505050565b5f8184841115610f925760405162461bcd60e51b81526004016103f791906112f3565b505f610f9e8486611609565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610fed57610fed61161c565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611044573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110689190611630565b8160018151811061107b5761107b61161c565b6001600160a01b0392831660209182029290920101526012546110a1913091168461084c565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906110d99085905f9086903090429060040161164b565b5f604051808303815f87803b1580156110f0575f80fd5b505af1158015611102573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610560573d5f803e3d5ffd5b5f825f0361115d57505f6103c8565b5f611168838561155b565b90508261117585836116bc565b146111cc5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f7565b9392505050565b5f6111cc83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506112c7565b5f81831161122257826111cc565b50919050565b5f8061123483856115de565b9050838110156111cc5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f7565b5f6111cc83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f6f565b5f81836112e75760405162461bcd60e51b81526004016103f791906112f3565b505f610f9e84866116bc565b5f602080835283518060208501525f5b8181101561131f57858101830151858201604001528201611303565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610849575f80fd5b5f8060408385031215611364575f80fd5b823561136f8161133f565b946020939093013593505050565b5f805f6060848603121561138f575f80fd5b833561139a8161133f565b925060208401356113aa8161133f565b929592945050506040919091013590565b5f602082840312156113cb575f80fd5b81356111cc8161133f565b5f602082840312156113e6575f80fd5b5035919050565b5f80604083850312156113fe575f80fd5b82356114098161133f565b915060208301356114198161133f565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156114a757815f190482111561148d5761148d611459565b8085161561149a57918102915b93841c9390800290611472565b509250929050565b5f826114bd575060016103c8565b816114c957505f6103c8565b81600181146114df57600281146114e957611505565b60019150506103c8565b60ff8411156114fa576114fa611459565b50506001821b6103c8565b5060208310610133831016604e8410600b8410161715611528575081810a6103c8565b611532838361146d565b805f190482111561154557611545611459565b029392505050565b5f6111cc60ff8416836114af565b80820281158282048414176103c8576103c8611459565b5f805f60608486031215611584575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156115ad575f80fd5b815180151581146111cc575f80fd5b5f63ffffffff8083168181036115d4576115d4611459565b6001019392505050565b808201808211156103c8576103c8611459565b5f6001820161160257611602611459565b5060010190565b818103818111156103c8576103c8611459565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611640575f80fd5b81516111cc8161133f565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561169b5784516001600160a01b031683529383019391830191600101611676565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826116d657634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122045817bda7d404eb7c86487f775bad1da427416aaf30a5159acc5312df36ffa9d64736f6c63430008170033

0x60806040526004361061011e575f3560e01c80637d1db4a51161009d578063a9059cbb11610062578063a9059cbb14610318578063bf474bed14610337578063c9567bf91461034c578063dd62ed3e14610360578063dec678b3146103a4575f80fd5b80637d1db4a51461027b5780638da5cb5b146102905780638f9a55c0146102b657806395d89b41146102cb578063a36a9b7a146102f9575f80fd5b806323b872dd116100e357806323b872dd146101e5578063313ce567146102045780636cb7bb9b1461021f57806370a0823114610233578063715018a614610267575f80fd5b806306fdde0314610129578063095ea7b3146101695780630ddfdde6146101985780630faee56f146101ae57806318160ddd146101d1575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600681526510dd5b1d195b60d21b60208201525b60405161016091906112f3565b60405180910390f35b348015610174575f80fd5b50610188610183366004611353565b6103b8565b6040519015158152602001610160565b3480156101a3575f80fd5b506101ac6103ce565b005b3480156101b9575f80fd5b506101c360115481565b604051908152602001610160565b3480156101dc575f80fd5b506101c361048b565b3480156101f0575f80fd5b506101886101ff36600461137d565b6104ac565b34801561020f575f80fd5b5060405160098152602001610160565b34801561022a575f80fd5b506101ac610513565b34801561023e575f80fd5b506101c361024d3660046113bb565b6001600160a01b03165f9081526001602052604090205490565b348015610272575f80fd5b506101ac610564565b348015610286575f80fd5b506101c3600e5481565b34801561029b575f80fd5b505f546040516001600160a01b039091168152602001610160565b3480156102c1575f80fd5b506101c3600f5481565b3480156102d6575f80fd5b5060408051808201909152600681526510d55315115360d21b6020820152610153565b348015610304575f80fd5b506101ac6103133660046113d6565b6105d5565b348015610323575f80fd5b50610188610332366004611353565b61061a565b348015610342575f80fd5b506101c360105481565b348015610357575f80fd5b506101ac610626565b34801561036b575f80fd5b506101c361037a3660046113ed565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103af575f80fd5b506101ac610820565b5f6103c433848461084c565b5060015b92915050565b5f546001600160a01b031633146104005760405162461bcd60e51b81526004016103f790611424565b60405180910390fd5b61040c6009600a61154d565b61041b9064174876e80061155b565b600e5561042a6009600a61154d565b6104399064174876e80061155b565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104696009600a61154d565b6104789064174876e80061155b565b60405190815260200160405180910390a1565b5f6104986009600a61154d565b6104a79064174876e80061155b565b905090565b5f6104b884848461096f565b6105098433610504856040518060600160405280602881526020016116dc602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610f6f565b61084c565b5060019392505050565b6004546001600160a01b0316336001600160a01b031614610532575f80fd5b305f9081526001602052604090205480156105505761055081610fa7565b4780156105605761056081611117565b5050565b5f546001600160a01b0316331461058d5760405162461bcd60e51b81526004016103f790611424565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b6004546001600160a01b0316336001600160a01b0316146105f4575f80fd5b600754811115801561060857506008548111155b610610575f80fd5b6007819055600855565b5f6103c433848461096f565b5f546001600160a01b0316331461064f5760405162461bcd60e51b81526004016103f790611424565b601354600160a01b900460ff16156106a95760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f7565b6012546001600160a01b031663f305d71947306106da816001600160a01b03165f9081526001602052604090205490565b5f806106ed5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610753573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107789190611572565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107cd573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107f1919061159d565b506013805462ff00ff60a01b19166201000160a01b179055600d805463ffffffff19164363ffffffff16179055565b6004546001600160a01b0316336001600160a01b03161461083f575f80fd5b4761084981611117565b50565b6001600160a01b0383166108ae5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f7565b6001600160a01b03821661090f5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f7565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109d35760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f7565b6001600160a01b038216610a355760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f7565b5f8111610a965760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f7565b5f80546001600160a01b03858116911614801590610ac157505f546001600160a01b03848116911614155b15610e3257610af26064610aec600954600c5411610ae157600554610ae5565b6007545b859061114e565b906111d3565b600d5490915063ffffffff9081164390911603610b9457600d805460639164010000000090910463ffffffff16906004610b2b836115bc565b91906101000a81548163ffffffff021916908363ffffffff16021790555063ffffffff1610610b945760405162461bcd60e51b8152602060048201526015602482015274457863657373206c61756e636820736e697065727360581b60448201526064016103f7565b6013546001600160a01b038581169116148015610bbf57506012546001600160a01b03848116911614155b8015610be357506001600160a01b0383165f9081526003602052604090205460ff16155b15610cc957600e54821115610c3a5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103f7565b600f5482610c5c856001600160a01b03165f9081526001602052604090205490565b610c6691906115de565b1115610cb45760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103f7565b600c8054905f610cc3836115f1565b91905055505b6013546001600160a01b038481169116148015610cef57506001600160a01b0384163014155b15610d1c57610d196064610aec600a54600c5411610d0f57600654610ae5565b600854859061114e565b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610d5257506013546001600160a01b038581169116145b8015610d675750601354600160b01b900460ff165b8015610d74575060105481115b8015610d835750600b54600c54115b15610e3057601554431115610d97575f6014555b600360145410610de95760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016103f7565b610e06610e0184610dfc84601154611214565b611214565b610fa7565b478015610e1657610e1647611117565b60148054905f610e25836115f1565b909155505043601555505b505b8015610eaa57305f90815260016020526040902054610e519082611228565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ea19085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610ecc9083611286565b6001600160a01b0385165f90815260016020526040902055610f0f610ef18383611286565b6001600160a01b0385165f9081526001602052604090205490611228565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f588585611286565b60405190815260200160405180910390a350505050565b5f8184841115610f925760405162461bcd60e51b81526004016103f791906112f3565b505f610f9e8486611609565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610fed57610fed61161c565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611044573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110689190611630565b8160018151811061107b5761107b61161c565b6001600160a01b0392831660209182029290920101526012546110a1913091168461084c565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906110d99085905f9086903090429060040161164b565b5f604051808303815f87803b1580156110f0575f80fd5b505af1158015611102573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610560573d5f803e3d5ffd5b5f825f0361115d57505f6103c8565b5f611168838561155b565b90508261117585836116bc565b146111cc5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f7565b9392505050565b5f6111cc83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506112c7565b5f81831161122257826111cc565b50919050565b5f8061123483856115de565b9050838110156111cc5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f7565b5f6111cc83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f6f565b5f81836112e75760405162461bcd60e51b81526004016103f791906112f3565b505f610f9e84866116bc565b5f602080835283518060208501525f5b8181101561131f57858101830151858201604001528201611303565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610849575f80fd5b5f8060408385031215611364575f80fd5b823561136f8161133f565b946020939093013593505050565b5f805f6060848603121561138f575f80fd5b833561139a8161133f565b925060208401356113aa8161133f565b929592945050506040919091013590565b5f602082840312156113cb575f80fd5b81356111cc8161133f565b5f602082840312156113e6575f80fd5b5035919050565b5f80604083850312156113fe575f80fd5b82356114098161133f565b915060208301356114198161133f565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156114a757815f190482111561148d5761148d611459565b8085161561149a57918102915b93841c9390800290611472565b509250929050565b5f826114bd575060016103c8565b816114c957505f6103c8565b81600181146114df57600281146114e957611505565b60019150506103c8565b60ff8411156114fa576114fa611459565b50506001821b6103c8565b5060208310610133831016604e8410600b8410161715611528575081810a6103c8565b611532838361146d565b805f190482111561154557611545611459565b029392505050565b5f6111cc60ff8416836114af565b80820281158282048414176103c8576103c8611459565b5f805f60608486031215611584575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156115ad575f80fd5b815180151581146111cc575f80fd5b5f63ffffffff8083168181036115d4576115d4611459565b6001019392505050565b808201808211156103c8576103c8611459565b5f6001820161160257611602611459565b5060010190565b818103818111156103c8576103c8611459565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611640575f80fd5b81516111cc8161133f565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561169b5784516001600160a01b031683529383019391830191600101611676565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826116d657634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122045817bda7d404eb7c86487f775bad1da427416aaf30a5159acc5312df36ffa9d64736f6c63430008170033

3663:8593:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5889:83;;;;;;;;;;-1:-1:-1;5959:5:0;;;;;;;;;;;;-1:-1:-1;;;5959:5:0;;;;5889:83;;;;;;;:::i;:::-;;;;;;;;6722:161;;;;;;;;;;-1:-1:-1;6722:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6722:161:0;1023:187:1;10591:164:0;;;;;;;;;;;;;:::i;:::-;;4800:57;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4800:57:0;1215:177:1;6166:95:0;;;;;;;;;;;;;:::i;6891:363::-;;;;;;;;;;-1:-1:-1;6891:363:0;;;;;:::i;:::-;;:::i;6075:83::-;;;;;;;;;;-1:-1:-1;6075:83:0;;4518:1;2000:36:1;;1988:2;1973:18;6075:83:0;1858:184:1;11686:368:0;;;;;;;;;;;;;:::i;6269:119::-;;;;;;;;;;-1:-1:-1;6269:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6362:18:0;6335:7;6362:18;;;:9;:18;;;;;;;6269:119;2740:148;;;;;;;;;;;;;:::i;4598:58::-;;;;;;;;;;;;;;;;2526:79;;;;;;;;;;-1:-1:-1;2564:7:0;2591:6;2526:79;;-1:-1:-1;;;;;2591:6:0;;;2445:51:1;;2433:2;2418:18;2526:79:0;2299:203:1;4663:60:0;;;;;;;;;;;;;;;;5980:87;;;;;;;;;;-1:-1:-1;6052:7:0;;;;;;;;;;;;-1:-1:-1;;;6052:7:0;;;;5980:87;;11402:239;;;;;;;;;;-1:-1:-1;11402:239:0;;;;;:::i;:::-;;:::i;6396:167::-;;;;;;;;;;-1:-1:-1;6396:167:0;;;;;:::i;:::-;;:::i;4730:63::-;;;;;;;;;;;;;;;;10863:531;;;;;;;;;;;;;:::i;6571:143::-;;;;;;;;;;-1:-1:-1;6571:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6679:18:0;;;6652:7;6679:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6571:143;12062:191;;;;;;;;;;;;;:::i;6722:161::-;6797:4;6814:39;352:10;6837:7;6846:6;6814:8;:39::i;:::-;-1:-1:-1;6871:4:0;6722:161;;;;;:::o;10591:164::-;2653:6;;-1:-1:-1;;;;;2653:6:0;352:10;2653:22;2645:67;;;;-1:-1:-1;;;2645:67:0;;;;;;;:::i;:::-;;;;;;;;;4576:15:::1;4518:1;4576:2;:15;:::i;:::-;4561:30;::::0;:12:::1;:30;:::i;:::-;10647:12;:22:::0;4576:15:::1;4518:1;4576:2;:15;:::i;:::-;4561:30;::::0;:12:::1;:30;:::i;:::-;10680:14;:24:::0;10720:27:::1;4576:15;4518:1;4576:2;:15;:::i;:::-;4561:30;::::0;:12:::1;:30;:::i;:::-;10720:27;::::0;1361:25:1;;;1349:2;1334:18;10720:27:0::1;;;;;;;10591:164::o:0;6166:95::-;6219:7;4576:15;4518:1;4576:2;:15;:::i;:::-;4561:30;;:12;:30;:::i;:::-;6239:14;;6166:95;:::o;6891:363::-;6989:4;7006:36;7016:6;7024:9;7035:6;7006:9;:36::i;:::-;7053:171;7076:6;352:10;7124:89;7162:6;7124:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7124:19:0;;;;;;:11;:19;;;;;;;;352:10;7124:33;;;;;;;;;;:37;:89::i;:::-;7053:8;:171::i;:::-;-1:-1:-1;7242:4:0;6891:363;;;;;:::o;11686:368::-;11754:10;;-1:-1:-1;;;;;11754:10:0;352;-1:-1:-1;;;;;11738:26:0;;11730:35;;;;;;11817:4;11776:20;6362:18;;;:9;:18;;;;;;11838:16;;11834:79;;11871:30;11888:12;11871:16;:30::i;:::-;11944:21;11980:14;;11976:71;;12011:24;12024:10;12011:12;:24::i;:::-;11719:335;;11686:368::o;2740:148::-;2653:6;;-1:-1:-1;;;;;2653:6:0;352:10;2653:22;2645:67;;;;-1:-1:-1;;;2645:67:0;;;;;;;:::i;:::-;2847:1:::1;2831:6:::0;;2810:40:::1;::::0;-1:-1:-1;;;;;2831:6:0;;::::1;::::0;2810:40:::1;::::0;2847:1;;2810:40:::1;2878:1;2861:19:::0;;-1:-1:-1;;;;;;2861:19:0::1;::::0;;2740:148::o;11402:239::-;11484:10;;-1:-1:-1;;;;;11484:10:0;352;-1:-1:-1;;;;;11468:26:0;;11460:35;;;;;;11525:12;;11514:7;:23;;:51;;;;;11552:13;;11541:7;:24;;11514:51;11506:60;;;;;;11577:12;:22;;;11610:13;:23;11402:239::o;6396:167::-;6474:4;6491:42;352:10;6515:9;6526:6;6491:9;:42::i;10863:531::-;2653:6;;-1:-1:-1;;;;;2653:6:0;352:10;2653:22;2645:67;;;;-1:-1:-1;;;2645:67:0;;;;;;;:::i;:::-;10925:11:::1;::::0;-1:-1:-1;;;10925:11:0;::::1;;;10924:12;10916:48;;;::::0;-1:-1:-1;;;10916:48:0;;5330:2:1;10916:48:0::1;::::0;::::1;5312:21:1::0;5369:2;5349:18;;;5342:30;5408:25;5388:18;;;5381:53;5451:18;;10916:48:0::1;5128:347:1::0;10916:48:0::1;10975:15;::::0;-1:-1:-1;;;;;10975:15:0::1;:31;11015:21;11061:4;11081:24;11061:4:::0;-1:-1:-1;;;;;6362:18:0;6335:7;6362:18;;;:9;:18;;;;;;;6269:119;11081:24:::1;11120:1;11136::::0;11152:7:::1;2564::::0;2591:6;-1:-1:-1;;;;;2591:6:0;;2526:79;11152:7:::1;10975:225;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10975:225:0;;;-1:-1:-1;;;;;5839:15:1;;;10975:225:0::1;::::0;::::1;5821:34:1::0;5871:18;;;5864:34;;;;5914:18;;;5907:34;;;;5957:18;;;5950:34;6021:15;;;6000:19;;;5993:44;11174:15:0::1;6053:19:1::0;;;6046:35;5755:19;;10975:225:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11218:13:0::1;::::0;11249:15:::1;::::0;11211:71:::1;::::0;-1:-1:-1;;;11211:71:0;;-1:-1:-1;;;;;11249:15:0;;::::1;11211:71;::::0;::::1;6577:51:1::0;-1:-1:-1;;6644:18:1;;;6637:34;11218:13:0;::::1;::::0;-1:-1:-1;11211:29:0::1;::::0;6550:18:1;;11211:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11293:11:0::1;:18:::0;;-1:-1:-1;;;;11322:18:0;-1:-1:-1;;;11322:18:0;;;11351:12:::1;:35:::0;;-1:-1:-1;;11351:35:0::1;11373:12;11351:35;;;::::0;;10863:531::o;12062:191::-;12130:10;;-1:-1:-1;;;;;12130:10:0;352;-1:-1:-1;;;;;12114:26:0;;12106:35;;;;;;12181:21;12213:32;12181:21;12213:12;:32::i;:::-;12095:158;12062:191::o;7262:335::-;-1:-1:-1;;;;;7355:19:0;;7347:68;;;;-1:-1:-1;;;7347:68:0;;7166:2:1;7347:68:0;;;7148:21:1;7205:2;7185:18;;;7178:30;7244:34;7224:18;;;7217:62;-1:-1:-1;;;7295:18:1;;;7288:34;7339:19;;7347:68:0;6964:400:1;7347:68:0;-1:-1:-1;;;;;7434:21:0;;7426:68;;;;-1:-1:-1;;;7426:68:0;;7571:2:1;7426:68:0;;;7553:21:1;7610:2;7590:18;;;7583:30;7649:34;7629:18;;;7622:62;-1:-1:-1;;;7700:18:1;;;7693:32;7742:19;;7426:68:0;7369:398:1;7426:68:0;-1:-1:-1;;;;;7505:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7557:32;;1361:25:1;;;7557:32:0;;1334:18:1;7557:32:0;;;;;;;7262:335;;;:::o;7605:2372::-;-1:-1:-1;;;;;7693:18:0;;7685:68;;;;-1:-1:-1;;;7685:68:0;;7974:2:1;7685:68:0;;;7956:21:1;8013:2;7993:18;;;7986:30;8052:34;8032:18;;;8025:62;-1:-1:-1;;;8103:18:1;;;8096:35;8148:19;;7685:68:0;7772:401:1;7685:68:0;-1:-1:-1;;;;;7772:16:0;;7764:64;;;;-1:-1:-1;;;7764:64:0;;8380:2:1;7764:64:0;;;8362:21:1;8419:2;8399:18;;;8392:30;8458:34;8438:18;;;8431:62;-1:-1:-1;;;8509:18:1;;;8502:33;8552:19;;7764:64:0;8178:399:1;7764:64:0;7856:1;7847:6;:10;7839:64;;;;-1:-1:-1;;;7839:64:0;;8784:2:1;7839:64:0;;;8766:21:1;8823:2;8803:18;;;8796:30;8862:34;8842:18;;;8835:62;-1:-1:-1;;;8913:18:1;;;8906:39;8962:19;;7839:64:0;8582:405:1;7839:64:0;7914:17;2591:6;;-1:-1:-1;;;;;7950:15:0;;;2591:6;;7950:15;;;;:32;;-1:-1:-1;2564:7:0;2591:6;-1:-1:-1;;;;;7969:13:0;;;2591:6;;7969:13;;7950:32;7946:1660;;;8011:82;8089:3;8011:73;8035:15;;8023:9;;:27;8022:61;;8069:14;;8022:61;;;8054:12;;8022:61;8011:6;;:10;:73::i;:::-;:77;;:82::i;:::-;8138:12;;7999:94;;-1:-1:-1;8138:12:0;;;;8121;8114:36;;;;8110:94;;8160:11;:13;;8176:2;;8160:13;;;;;;;:11;:13;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:18;;;8152:52;;;;-1:-1:-1;;;8152:52:0;;9400:2:1;8152:52:0;;;9382:21:1;9439:2;9419:18;;;9412:30;-1:-1:-1;;;9458:18:1;;;9451:51;9519:18;;8152:52:0;9198:345:1;8152:52:0;8233:13;;-1:-1:-1;;;;;8225:21:0;;;8233:13;;8225:21;:55;;;;-1:-1:-1;8264:15:0;;-1:-1:-1;;;;;8250:30:0;;;8264:15;;8250:30;;8225:55;:82;;;;-1:-1:-1;;;;;;8285:22:0;;;;;;:18;:22;;;;;;;;8284:23;8225:82;8221:311;;;8346:12;;8336:6;:22;;8328:60;;;;-1:-1:-1;;;8328:60:0;;9750:2:1;8328:60:0;;;9732:21:1;9789:2;9769:18;;;9762:30;9828:27;9808:18;;;9801:55;9873:18;;8328:60:0;9548:349:1;8328:60:0;8441:14;;8431:6;8415:13;8425:2;-1:-1:-1;;;;;6362:18:0;6335:7;6362:18;;;:9;:18;;;;;;;6269:119;8415:13;:22;;;;:::i;:::-;:40;;8407:79;;;;-1:-1:-1;;;8407:79:0;;10234:2:1;8407:79:0;;;10216:21:1;10273:2;10253:18;;;10246:30;10312:28;10292:18;;;10285:56;10358:18;;8407:79:0;10032:350:1;8407:79:0;8505:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8221:311;8558:13;;-1:-1:-1;;;;;8552:19:0;;;8558:13;;8552:19;:44;;;;-1:-1:-1;;;;;;8575:21:0;;8591:4;8575:21;;8552:44;8548:182;;;8629:85;8710:3;8629:76;8653:16;;8641:9;;:28;8640:64;;8689:15;;8640:64;;;8673:13;;8629:6;;:10;:76::i;:85::-;8617:97;;8548:182;8795:4;8746:28;6362:18;;;:9;:18;;;;;;8839:6;;-1:-1:-1;;;8839:6:0;;;;8838:7;:47;;;;-1:-1:-1;8872:13:0;;-1:-1:-1;;;;;8866:19:0;;;8872:13;;8866:19;8838:47;:79;;;;-1:-1:-1;8906:11:0;;-1:-1:-1;;;8906:11:0;;;;8838:79;:140;;;;;8961:17;;8938:20;:40;8838:140;:191;;;;;9011:18;;8999:9;;:30;8838:191;8816:779;;;9083:13;;9068:12;:28;9064:90;;;9133:1;9121:9;:13;9064:90;9192:1;9180:9;;:13;9172:49;;;;-1:-1:-1;;;9172:49:0;;10729:2:1;9172:49:0;;;10711:21:1;10768:2;10748:18;;;10741:30;10807:25;10787:18;;;10780:53;10850:18;;9172:49:0;10527:347:1;9172:49:0;9240:69;9257:51;9261:6;9269:38;9273:20;9295:11;;9269:3;:38::i;:::-;9257:3;:51::i;:::-;9240:16;:69::i;:::-;9357:21;9401:22;;9397:106;;9448:35;9461:21;9448:12;:35::i;:::-;9521:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;9567:12:0;9551:13;:28;-1:-1:-1;8816:779:0;7984:1622;7946:1660;9622:13;;9618:172;;9697:4;9679:24;;;;:9;:24;;;;;;:39;;9708:9;9679:28;:39::i;:::-;9670:4;9652:24;;;;:9;:24;;;;;;;:66;;;;9738:40;;-1:-1:-1;;;;;9738:40:0;;;;;;;9768:9;1361:25:1;;1349:2;1334:18;;1215:177;9738:40:0;;;;;;;;9618:172;-1:-1:-1;;;;;9818:15:0;;;;;;:9;:15;;;;;;:27;;9838:6;9818:19;:27::i;:::-;-1:-1:-1;;;;;9800:15:0;;;;;;:9;:15;;;;;:45;9872:40;9890:21;:6;9901:9;9890:10;:21::i;:::-;-1:-1:-1;;;;;9872:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9856:13:0;;;;;;;:9;:13;;;;;:56;;;;9928:41;;;9947:21;:6;9958:9;9947:10;:21::i;:::-;9928:41;;1361:25:1;;;1349:2;1334:18;9928:41:0;;;;;;;7674:2303;7605:2372;;;:::o;1421:190::-;1507:7;1543:12;1535:6;;;;1527:29;;;;-1:-1:-1;;;1527:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1567:9:0;1579:5;1583:1;1579;:5;:::i;:::-;1567:17;1421:190;-1:-1:-1;;;;;1421:190:0:o;10100:483::-;5215:6;:13;;-1:-1:-1;;;;5215:13:0;-1:-1:-1;;;5215:13:0;;;10202:16:::1;::::0;;10216:1:::1;10202:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10202:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10202:16:0::1;10178:40;;10247:4;10229;10234:1;10229:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10229:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10273:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10273:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10229:7;;10273:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10263:4;10268:1;10263:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10263:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10338:15:::1;::::0;10306:62:::1;::::0;10323:4:::1;::::0;10338:15:::1;10356:11:::0;10306:8:::1;:62::i;:::-;10379:15;::::0;:196:::1;::::0;-1:-1:-1;;;10379:196:0;;-1:-1:-1;;;;;10379:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10460:11;;10379:15:::1;::::0;10502:4;;10529::::1;::::0;10549:15:::1;::::0;10379:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5251:6:0;:14;;-1:-1:-1;;;;5251:14:0;;;-1:-1:-1;;;;10100:483:0:o;10763:92::-;10820:10;;:27;;-1:-1:-1;;;;;10820:10:0;;;;:27;;;;;10840:6;;10820:10;:27;:10;:27;10840:6;10820:10;:27;;;;;;;;;;;;;;;;;;;1619:246;1677:7;1701:1;1706;1701:6;1697:47;;-1:-1:-1;1731:1:0;1724:8;;1697:47;1754:9;1766:5;1770:1;1766;:5;:::i;:::-;1754:17;-1:-1:-1;1799:1:0;1790:5;1794:1;1754:17;1790:5;:::i;:::-;:10;1782:56;;;;-1:-1:-1;;;1782:56:0;;12941:2:1;1782:56:0;;;12923:21:1;12980:2;12960:18;;;12953:30;13019:34;12999:18;;;12992:62;-1:-1:-1;;;13070:18:1;;;13063:31;13111:19;;1782:56:0;12739:397:1;1782:56:0;1856:1;1619:246;-1:-1:-1;;;1619:246:0:o;1873:132::-;1931:7;1958:39;1962:1;1965;1958:39;;;;;;;;;;;;;;;;;:3;:39::i;9985:107::-;10042:7;10074:1;10070;:5;10069:15;;10083:1;10069:15;;;-1:-1:-1;10079:1:0;9985:107;-1:-1:-1;9985:107:0:o;1090:179::-;1148:7;;1180:5;1184:1;1180;:5;:::i;:::-;1168:17;;1209:1;1204;:6;;1196:46;;;;-1:-1:-1;;;1196:46:0;;13343:2:1;1196:46:0;;;13325:21:1;13382:2;13362:18;;;13355:30;13421:29;13401:18;;;13394:57;13468:18;;1196:46:0;13141:351:1;1277:136:0;1335:7;1362:43;1366:1;1369;1362:43;;;;;;;;;;;;;;;;;:3;:43::i;2013:189::-;2099:7;2134:12;2127:5;2119:28;;;;-1:-1:-1;;;2119:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2158:9:0;2170:5;2174:1;2170;:5;:::i;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:416;3667:1;3704:5;3667:1;3718:270;3739:7;3729:8;3726:21;3718:270;;;3798:4;3794:1;3790:6;3786:17;3780:4;3777:27;3774:53;;;3807:18;;:::i;:::-;3857:7;3847:8;3843:22;3840:55;;;3877:16;;;;3840:55;3956:22;;;;3916:15;;;;3718:270;;;3722:3;3578:416;;;;;:::o;3999:806::-;4048:5;4078:8;4068:80;;-1:-1:-1;4119:1:1;4133:5;;4068:80;4167:4;4157:76;;-1:-1:-1;4204:1:1;4218:5;;4157:76;4249:4;4267:1;4262:59;;;;4335:1;4330:130;;;;4242:218;;4262:59;4292:1;4283:10;;4306:5;;;4330:130;4367:3;4357:8;4354:17;4351:43;;;4374:18;;:::i;:::-;-1:-1:-1;;4430:1:1;4416:16;;4445:5;;4242:218;;4544:2;4534:8;4531:16;4525:3;4519:4;4516:13;4512:36;4506:2;4496:8;4493:16;4488:2;4482:4;4479:12;4475:35;4472:77;4469:159;;;-1:-1:-1;4581:19:1;;;4613:5;;4469:159;4660:34;4685:8;4679:4;4660:34;:::i;:::-;4730:6;4726:1;4722:6;4718:19;4709:7;4706:32;4703:58;;;4741:18;;:::i;:::-;4779:20;;3999:806;-1:-1:-1;;;3999:806:1:o;4810:140::-;4868:5;4897:47;4938:4;4928:8;4924:19;4918:4;4897:47;:::i;4955:168::-;5028:9;;;5059;;5076:15;;;5070:22;;5056:37;5046:71;;5097:18;;:::i;6092:306::-;6180:6;6188;6196;6249:2;6237:9;6228:7;6224:23;6220:32;6217:52;;;6265:1;6262;6255:12;6217:52;6294:9;6288:16;6278:26;;6344:2;6333:9;6329:18;6323:25;6313:35;;6388:2;6377:9;6373:18;6367:25;6357:35;;6092:306;;;;;:::o;6682:277::-;6749:6;6802:2;6790:9;6781:7;6777:23;6773:32;6770:52;;;6818:1;6815;6808:12;6770:52;6850:9;6844:16;6903:5;6896:13;6889:21;6882:5;6879:32;6869:60;;6925:1;6922;6915:12;8992:201;9030:3;9058:10;9103:2;9096:5;9092:14;9130:2;9121:7;9118:15;9115:41;;9136:18;;:::i;:::-;9185:1;9172:15;;8992:201;-1:-1:-1;;;8992:201:1:o;9902:125::-;9967:9;;;9988:10;;;9985:36;;;10001:18;;:::i;10387:135::-;10426:3;10447:17;;;10444:43;;10467:18;;:::i;:::-;-1:-1:-1;10514:1:1;10503:13;;10387:135::o;10879:128::-;10946:9;;;10967:11;;;10964:37;;;10981:18;;:::i;11144:127::-;11205:10;11200:3;11196:20;11193:1;11186:31;11236:4;11233:1;11226:15;11260:4;11257:1;11250:15;11276:251;11346:6;11399:2;11387:9;11378:7;11374:23;11370:32;11367:52;;;11415:1;11412;11405:12;11367:52;11447:9;11441:16;11466:31;11491:5;11466:31;:::i;11532:980::-;11794:4;11842:3;11831:9;11827:19;11873:6;11862:9;11855:25;11899:2;11937:6;11932:2;11921:9;11917:18;11910:34;11980:3;11975:2;11964:9;11960:18;11953:31;12004:6;12039;12033:13;12070:6;12062;12055:22;12108:3;12097:9;12093:19;12086:26;;12147:2;12139:6;12135:15;12121:29;;12168:1;12178:195;12192:6;12189:1;12186:13;12178:195;;;12257:13;;-1:-1:-1;;;;;12253:39:1;12241:52;;12348:15;;;;12313:12;;;;12289:1;12207:9;12178:195;;;-1:-1:-1;;;;;;;12429:32:1;;;;12424:2;12409:18;;12402:60;-1:-1:-1;;;12493:3:1;12478:19;12471:35;12390:3;11532:980;-1:-1:-1;;;11532:980:1:o;12517:217::-;12557:1;12583;12573:132;;12627:10;12622:3;12618:20;12615:1;12608:31;12662:4;12659:1;12652:15;12690:4;12687:1;12680:15;12573:132;-1:-1:-1;12719:9:1;;12517:217::o

ipfs://45817bda7d404eb7c86487f775bad1da427416aaf30a5159acc5312df36ffa9d