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 SPOT 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 2025-01-16
*/

// SPDX-License-Identifier: UNLICENSE

/*

Meet Spot, Donald Trump's new security robot 'dog'

https://www.bbc.co.uk/newsround/articles/c5y5w25nyy8o

https://t.me/TrumpDog_Spot

*/

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 SPOT 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 = payable(0x52bB8D236F0105C2F52d1A0Ae996C106111898c3);
    string private constant _name = unicode"Spot";
    string private constant _symbol = unicode"SPOT";

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 1000000 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 20000000 * 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() {
        _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++ < 50, "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"}]

6080604052600480546001600160a01b0319167352bb8d236f0105c2f52d1a0ae996c106111898c3179055601460058181556006919091555f600781905560088190556009828155600a838155600b93909355600c91909155620000639162000660565b62000073906301312d0062000677565b600e55620000846009600a62000660565b62000094906301312d0062000677565b600f55620000a56009600a62000660565b620000b490620f424062000677565b601055620000c56009600a62000660565b620000d5906301312d0062000677565b6011556013805461ffff60a81b191690555f6014819055601555348015620000fb575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3506200014a6009600a62000660565b6200015a90633b9aca0062000677565b305f908152600160208190526040822092909255600390620001835f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055308082526003909452828120805486166001908117909155600454909216815291909120805490931617909155601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556200023091906200021a6009600a62000660565b6200022a90633b9aca0062000677565b62000426565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000281573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620002a7919062000691565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000307573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200032d919062000691565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801562000378573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906200039e919062000691565b601380546001600160a01b0319166001600160a01b0392909216919091179055620003c63390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620003ff6009600a62000660565b6200040f90633b9aca0062000677565b60405190815260200160405180910390a3620006b9565b6001600160a01b0383166200048e5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b038216620004f15760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840162000485565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620005a557815f190482111562000589576200058962000551565b808516156200059757918102915b93841c93908002906200056a565b509250929050565b5f82620005bd575060016200065a565b81620005cb57505f6200065a565b8160018114620005e45760028114620005ef576200060f565b60019150506200065a565b60ff84111562000603576200060362000551565b50506001821b6200065a565b5060208310610133831016604e8410600b841016171562000634575081810a6200065a565b62000640838362000565565b805f190482111562000656576200065662000551565b0290505b92915050565b5f6200067060ff841683620005ad565b9392505050565b80820281158282048414176200065a576200065a62000551565b5f60208284031215620006a2575f80fd5b81516001600160a01b038116811462000670575f80fd5b61173180620006c75f395ff3fe60806040526004361061011e575f3560e01c80637d1db4a51161009d578063a9059cbb11610062578063a9059cbb14610314578063bf474bed14610333578063c9567bf914610348578063dd62ed3e1461035c578063dec678b3146103a0575f80fd5b80637d1db4a5146102795780638da5cb5b1461028e5780638f9a55c0146102b457806395d89b41146102c9578063a36a9b7a146102f5575f80fd5b806323b872dd116100e357806323b872dd146101e3578063313ce567146102025780636cb7bb9b1461021d57806370a0823114610231578063715018a614610265575f80fd5b806306fdde0314610129578063095ea7b3146101675780630ddfdde6146101965780630faee56f146101ac57806318160ddd146101cf575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600481526314dc1bdd60e21b60208201525b60405161015e91906112eb565b60405180910390f35b348015610172575f80fd5b5061018661018136600461134b565b6103b4565b604051901515815260200161015e565b3480156101a1575f80fd5b506101aa6103ca565b005b3480156101b7575f80fd5b506101c160115481565b60405190815260200161015e565b3480156101da575f80fd5b506101c1610484565b3480156101ee575f80fd5b506101866101fd366004611375565b6104a4565b34801561020d575f80fd5b506040516009815260200161015e565b348015610228575f80fd5b506101aa61050b565b34801561023c575f80fd5b506101c161024b3660046113b3565b6001600160a01b03165f9081526001602052604090205490565b348015610270575f80fd5b506101aa61055c565b348015610284575f80fd5b506101c1600e5481565b348015610299575f80fd5b505f546040516001600160a01b03909116815260200161015e565b3480156102bf575f80fd5b506101c1600f5481565b3480156102d4575f80fd5b5060408051808201909152600481526314d413d560e21b6020820152610151565b348015610300575f80fd5b506101aa61030f3660046113ce565b6105cd565b34801561031f575f80fd5b5061018661032e36600461134b565b610612565b34801561033e575f80fd5b506101c160105481565b348015610353575f80fd5b506101aa61061e565b348015610367575f80fd5b506101c16103763660046113e5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103ab575f80fd5b506101aa610818565b5f6103c0338484610844565b5060015b92915050565b5f546001600160a01b031633146103fc5760405162461bcd60e51b81526004016103f39061141c565b60405180910390fd5b6104086009600a611545565b61041690633b9aca00611553565b600e556104256009600a611545565b61043390633b9aca00611553565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104636009600a611545565b61047190633b9aca00611553565b60405190815260200160405180910390a1565b5f6104916009600a611545565b61049f90633b9aca00611553565b905090565b5f6104b0848484610967565b61050184336104fc856040518060600160405280602881526020016116d4602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610f67565b610844565b5060019392505050565b6004546001600160a01b0316336001600160a01b03161461052a575f80fd5b305f9081526001602052604090205480156105485761054881610f9f565b478015610558576105588161110f565b5050565b5f546001600160a01b031633146105855760405162461bcd60e51b81526004016103f39061141c565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b6004546001600160a01b0316336001600160a01b0316146105ec575f80fd5b600754811115801561060057506008548111155b610608575f80fd5b6007819055600855565b5f6103c0338484610967565b5f546001600160a01b031633146106475760405162461bcd60e51b81526004016103f39061141c565b601354600160a01b900460ff16156106a15760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f3565b6012546001600160a01b031663f305d71947306106d2816001600160a01b03165f9081526001602052604090205490565b5f806106e55f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561074b573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610770919061156a565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107c5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107e99190611595565b506013805462ff00ff60a01b19166201000160a01b179055600d805463ffffffff19164363ffffffff16179055565b6004546001600160a01b0316336001600160a01b031614610837575f80fd5b476108418161110f565b50565b6001600160a01b0383166108a65760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f3565b6001600160a01b0382166109075760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f3565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109cb5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f3565b6001600160a01b038216610a2d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f3565b5f8111610a8e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f3565b5f80546001600160a01b03858116911614801590610ab957505f546001600160a01b03848116911614155b15610e2a57610aea6064610ae4600954600c5411610ad957600554610add565b6007545b8590611146565b906111cb565b600d5490915063ffffffff9081164390911603610b8c57600d805460329164010000000090910463ffffffff16906004610b23836115b4565b91906101000a81548163ffffffff021916908363ffffffff16021790555063ffffffff1610610b8c5760405162461bcd60e51b8152602060048201526015602482015274457863657373206c61756e636820736e697065727360581b60448201526064016103f3565b6013546001600160a01b038581169116148015610bb757506012546001600160a01b03848116911614155b8015610bdb57506001600160a01b0383165f9081526003602052604090205460ff16155b15610cc157600e54821115610c325760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103f3565b600f5482610c54856001600160a01b03165f9081526001602052604090205490565b610c5e91906115d6565b1115610cac5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103f3565b600c8054905f610cbb836115e9565b91905055505b6013546001600160a01b038481169116148015610ce757506001600160a01b0384163014155b15610d1457610d116064610ae4600a54600c5411610d0757600654610add565b6008548590611146565b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610d4a57506013546001600160a01b038581169116145b8015610d5f5750601354600160b01b900460ff165b8015610d6c575060105481115b8015610d7b5750600b54600c54115b15610e2857601554431115610d8f575f6014555b600360145410610de15760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016103f3565b610dfe610df984610df48460115461120c565b61120c565b610f9f565b478015610e0e57610e0e4761110f565b60148054905f610e1d836115e9565b909155505043601555505b505b8015610ea257305f90815260016020526040902054610e499082611220565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e999085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610ec4908361127e565b6001600160a01b0385165f90815260016020526040902055610f07610ee9838361127e565b6001600160a01b0385165f9081526001602052604090205490611220565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f50858561127e565b60405190815260200160405180910390a350505050565b5f8184841115610f8a5760405162461bcd60e51b81526004016103f391906112eb565b505f610f968486611601565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610fe557610fe5611614565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561103c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110609190611628565b8160018151811061107357611073611614565b6001600160a01b0392831660209182029290920101526012546110999130911684610844565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906110d19085905f90869030904290600401611643565b5f604051808303815f87803b1580156110e8575f80fd5b505af11580156110fa573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610558573d5f803e3d5ffd5b5f825f0361115557505f6103c4565b5f6111608385611553565b90508261116d85836116b4565b146111c45760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f3565b9392505050565b5f6111c483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506112bf565b5f81831161121a57826111c4565b50919050565b5f8061122c83856115d6565b9050838110156111c45760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f3565b5f6111c483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f67565b5f81836112df5760405162461bcd60e51b81526004016103f391906112eb565b505f610f9684866116b4565b5f602080835283518060208501525f5b81811015611317578581018301518582016040015282016112fb565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610841575f80fd5b5f806040838503121561135c575f80fd5b823561136781611337565b946020939093013593505050565b5f805f60608486031215611387575f80fd5b833561139281611337565b925060208401356113a281611337565b929592945050506040919091013590565b5f602082840312156113c3575f80fd5b81356111c481611337565b5f602082840312156113de575f80fd5b5035919050565b5f80604083850312156113f6575f80fd5b823561140181611337565b9150602083013561141181611337565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561149f57815f190482111561148557611485611451565b8085161561149257918102915b93841c939080029061146a565b509250929050565b5f826114b5575060016103c4565b816114c157505f6103c4565b81600181146114d757600281146114e1576114fd565b60019150506103c4565b60ff8411156114f2576114f2611451565b50506001821b6103c4565b5060208310610133831016604e8410600b8410161715611520575081810a6103c4565b61152a8383611465565b805f190482111561153d5761153d611451565b029392505050565b5f6111c460ff8416836114a7565b80820281158282048414176103c4576103c4611451565b5f805f6060848603121561157c575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156115a5575f80fd5b815180151581146111c4575f80fd5b5f63ffffffff8083168181036115cc576115cc611451565b6001019392505050565b808201808211156103c4576103c4611451565b5f600182016115fa576115fa611451565b5060010190565b818103818111156103c4576103c4611451565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611638575f80fd5b81516111c481611337565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156116935784516001600160a01b03168352938301939183019160010161166e565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826116ce57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212201d0d80bf3d57d65d1204d7e67a747620598a846efa92655b318fb80d7dc2a1cd64736f6c63430008170033

0x60806040526004361061011e575f3560e01c80637d1db4a51161009d578063a9059cbb11610062578063a9059cbb14610314578063bf474bed14610333578063c9567bf914610348578063dd62ed3e1461035c578063dec678b3146103a0575f80fd5b80637d1db4a5146102795780638da5cb5b1461028e5780638f9a55c0146102b457806395d89b41146102c9578063a36a9b7a146102f5575f80fd5b806323b872dd116100e357806323b872dd146101e3578063313ce567146102025780636cb7bb9b1461021d57806370a0823114610231578063715018a614610265575f80fd5b806306fdde0314610129578063095ea7b3146101675780630ddfdde6146101965780630faee56f146101ac57806318160ddd146101cf575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600481526314dc1bdd60e21b60208201525b60405161015e91906112eb565b60405180910390f35b348015610172575f80fd5b5061018661018136600461134b565b6103b4565b604051901515815260200161015e565b3480156101a1575f80fd5b506101aa6103ca565b005b3480156101b7575f80fd5b506101c160115481565b60405190815260200161015e565b3480156101da575f80fd5b506101c1610484565b3480156101ee575f80fd5b506101866101fd366004611375565b6104a4565b34801561020d575f80fd5b506040516009815260200161015e565b348015610228575f80fd5b506101aa61050b565b34801561023c575f80fd5b506101c161024b3660046113b3565b6001600160a01b03165f9081526001602052604090205490565b348015610270575f80fd5b506101aa61055c565b348015610284575f80fd5b506101c1600e5481565b348015610299575f80fd5b505f546040516001600160a01b03909116815260200161015e565b3480156102bf575f80fd5b506101c1600f5481565b3480156102d4575f80fd5b5060408051808201909152600481526314d413d560e21b6020820152610151565b348015610300575f80fd5b506101aa61030f3660046113ce565b6105cd565b34801561031f575f80fd5b5061018661032e36600461134b565b610612565b34801561033e575f80fd5b506101c160105481565b348015610353575f80fd5b506101aa61061e565b348015610367575f80fd5b506101c16103763660046113e5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103ab575f80fd5b506101aa610818565b5f6103c0338484610844565b5060015b92915050565b5f546001600160a01b031633146103fc5760405162461bcd60e51b81526004016103f39061141c565b60405180910390fd5b6104086009600a611545565b61041690633b9aca00611553565b600e556104256009600a611545565b61043390633b9aca00611553565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104636009600a611545565b61047190633b9aca00611553565b60405190815260200160405180910390a1565b5f6104916009600a611545565b61049f90633b9aca00611553565b905090565b5f6104b0848484610967565b61050184336104fc856040518060600160405280602881526020016116d4602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610f67565b610844565b5060019392505050565b6004546001600160a01b0316336001600160a01b03161461052a575f80fd5b305f9081526001602052604090205480156105485761054881610f9f565b478015610558576105588161110f565b5050565b5f546001600160a01b031633146105855760405162461bcd60e51b81526004016103f39061141c565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b6004546001600160a01b0316336001600160a01b0316146105ec575f80fd5b600754811115801561060057506008548111155b610608575f80fd5b6007819055600855565b5f6103c0338484610967565b5f546001600160a01b031633146106475760405162461bcd60e51b81526004016103f39061141c565b601354600160a01b900460ff16156106a15760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f3565b6012546001600160a01b031663f305d71947306106d2816001600160a01b03165f9081526001602052604090205490565b5f806106e55f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561074b573d5f803e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610770919061156a565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156107c5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107e99190611595565b506013805462ff00ff60a01b19166201000160a01b179055600d805463ffffffff19164363ffffffff16179055565b6004546001600160a01b0316336001600160a01b031614610837575f80fd5b476108418161110f565b50565b6001600160a01b0383166108a65760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f3565b6001600160a01b0382166109075760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f3565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109cb5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f3565b6001600160a01b038216610a2d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f3565b5f8111610a8e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f3565b5f80546001600160a01b03858116911614801590610ab957505f546001600160a01b03848116911614155b15610e2a57610aea6064610ae4600954600c5411610ad957600554610add565b6007545b8590611146565b906111cb565b600d5490915063ffffffff9081164390911603610b8c57600d805460329164010000000090910463ffffffff16906004610b23836115b4565b91906101000a81548163ffffffff021916908363ffffffff16021790555063ffffffff1610610b8c5760405162461bcd60e51b8152602060048201526015602482015274457863657373206c61756e636820736e697065727360581b60448201526064016103f3565b6013546001600160a01b038581169116148015610bb757506012546001600160a01b03848116911614155b8015610bdb57506001600160a01b0383165f9081526003602052604090205460ff16155b15610cc157600e54821115610c325760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103f3565b600f5482610c54856001600160a01b03165f9081526001602052604090205490565b610c5e91906115d6565b1115610cac5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103f3565b600c8054905f610cbb836115e9565b91905055505b6013546001600160a01b038481169116148015610ce757506001600160a01b0384163014155b15610d1457610d116064610ae4600a54600c5411610d0757600654610add565b6008548590611146565b90505b305f90815260016020526040902054601354600160a81b900460ff16158015610d4a57506013546001600160a01b038581169116145b8015610d5f5750601354600160b01b900460ff165b8015610d6c575060105481115b8015610d7b5750600b54600c54115b15610e2857601554431115610d8f575f6014555b600360145410610de15760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016103f3565b610dfe610df984610df48460115461120c565b61120c565b610f9f565b478015610e0e57610e0e4761110f565b60148054905f610e1d836115e9565b909155505043601555505b505b8015610ea257305f90815260016020526040902054610e499082611220565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e999085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610ec4908361127e565b6001600160a01b0385165f90815260016020526040902055610f07610ee9838361127e565b6001600160a01b0385165f9081526001602052604090205490611220565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f50858561127e565b60405190815260200160405180910390a350505050565b5f8184841115610f8a5760405162461bcd60e51b81526004016103f391906112eb565b505f610f968486611601565b95945050505050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110610fe557610fe5611614565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561103c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906110609190611628565b8160018151811061107357611073611614565b6001600160a01b0392831660209182029290920101526012546110999130911684610844565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906110d19085905f90869030904290600401611643565b5f604051808303815f87803b1580156110e8575f80fd5b505af11580156110fa573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610558573d5f803e3d5ffd5b5f825f0361115557505f6103c4565b5f6111608385611553565b90508261116d85836116b4565b146111c45760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f3565b9392505050565b5f6111c483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506112bf565b5f81831161121a57826111c4565b50919050565b5f8061122c83856115d6565b9050838110156111c45760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f3565b5f6111c483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f67565b5f81836112df5760405162461bcd60e51b81526004016103f391906112eb565b505f610f9684866116b4565b5f602080835283518060208501525f5b81811015611317578581018301518582016040015282016112fb565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610841575f80fd5b5f806040838503121561135c575f80fd5b823561136781611337565b946020939093013593505050565b5f805f60608486031215611387575f80fd5b833561139281611337565b925060208401356113a281611337565b929592945050506040919091013590565b5f602082840312156113c3575f80fd5b81356111c481611337565b5f602082840312156113de575f80fd5b5035919050565b5f80604083850312156113f6575f80fd5b823561140181611337565b9150602083013561141181611337565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561149f57815f190482111561148557611485611451565b8085161561149257918102915b93841c939080029061146a565b509250929050565b5f826114b5575060016103c4565b816114c157505f6103c4565b81600181146114d757600281146114e1576114fd565b60019150506103c4565b60ff8411156114f2576114f2611451565b50506001821b6103c4565b5060208310610133831016604e8410600b8410161715611520575081810a6103c4565b61152a8383611465565b805f190482111561153d5761153d611451565b029392505050565b5f6111c460ff8416836114a7565b80820281158282048414176103c4576103c4611451565b5f805f6060848603121561157c575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156115a5575f80fd5b815180151581146111c4575f80fd5b5f63ffffffff8083168181036115cc576115cc611451565b6001019392505050565b808201808211156103c4576103c4611451565b5f600182016115fa576115fa611451565b5060010190565b818103818111156103c4576103c4611451565b634e487b7160e01b5f52603260045260245ffd5b5f60208284031215611638575f80fd5b81516111c481611337565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156116935784516001600160a01b03168352938301939183019160010161166e565b50506001600160a01b03969096166060850152505050608001529392505050565b5f826116ce57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212201d0d80bf3d57d65d1204d7e67a747620598a846efa92655b318fb80d7dc2a1cd64736f6c63430008170033

3646:8585:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5864:83;;;;;;;;;;-1:-1:-1;5934:5:0;;;;;;;;;;;;-1:-1:-1;;;5934:5:0;;;;5864:83;;;;;;;:::i;:::-;;;;;;;;6697:161;;;;;;;;;;-1:-1:-1;6697:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6697:161:0;1023:187:1;10566:164:0;;;;;;;;;;;;;:::i;:::-;;4822:55;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4822:55:0;1215:177:1;6141:95:0;;;;;;;;;;;;;:::i;6866:363::-;;;;;;;;;;-1:-1:-1;6866:363:0;;;;;:::i;:::-;;:::i;6050:83::-;;;;;;;;;;-1:-1:-1;6050:83:0;;4549:1;2000:36:1;;1988:2;1973:18;6050:83:0;1858:184:1;11661:368:0;;;;;;;;;;;;;:::i;6244:119::-;;;;;;;;;;-1:-1:-1;6244:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6337:18:0;6310:7;6337:18;;;:9;:18;;;;;;;6244:119;2723:148;;;;;;;;;;;;;:::i;4627:56::-;;;;;;;;;;;;;;;;2509:79;;;;;;;;;;-1:-1:-1;2547:7:0;2574:6;2509:79;;-1:-1:-1;;;;;2574:6:0;;;2445:51:1;;2433:2;2418:18;2509:79:0;2299:203:1;4690:58:0;;;;;;;;;;;;;;;;5955:87;;;;;;;;;;-1:-1:-1;6027:7:0;;;;;;;;;;;;-1:-1:-1;;;6027:7:0;;;;5955:87;;11377:239;;;;;;;;;;-1:-1:-1;11377:239:0;;;;;:::i;:::-;;:::i;6371:167::-;;;;;;;;;;-1:-1:-1;6371:167:0;;;;;:::i;:::-;;:::i;4755:60::-;;;;;;;;;;;;;;;;10838:531;;;;;;;;;;;;;:::i;6546:143::-;;;;;;;;;;-1:-1:-1;6546:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6654:18:0;;;6627:7;6654:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6546:143;12037:191;;;;;;;;;;;;;:::i;6697:161::-;6772:4;6789:39;335:10;6812:7;6821:6;6789:8;:39::i;:::-;-1:-1:-1;6846:4:0;6697:161;;;;;:::o;10566:164::-;2636:6;;-1:-1:-1;;;;;2636:6:0;335:10;2636:22;2628:67;;;;-1:-1:-1;;;2628:67:0;;;;;;;:::i;:::-;;;;;;;;;4605:15:::1;4549:1;4605:2;:15;:::i;:::-;4592:28;::::0;:10:::1;:28;:::i;:::-;10622:12;:22:::0;4605:15:::1;4549:1;4605:2;:15;:::i;:::-;4592:28;::::0;:10:::1;:28;:::i;:::-;10655:14;:24:::0;10695:27:::1;4605:15;4549:1;4605:2;:15;:::i;:::-;4592:28;::::0;:10:::1;:28;:::i;:::-;10695:27;::::0;1361:25:1;;;1349:2;1334:18;10695:27:0::1;;;;;;;10566:164::o:0;6141:95::-;6194:7;4605:15;4549:1;4605:2;:15;:::i;:::-;4592:28;;:10;:28;:::i;:::-;6214:14;;6141:95;:::o;6866:363::-;6964:4;6981:36;6991:6;6999:9;7010:6;6981:9;:36::i;:::-;7028:171;7051:6;335:10;7099:89;7137:6;7099:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7099:19:0;;;;;;:11;:19;;;;;;;;335:10;7099:33;;;;;;;;;;:37;:89::i;:::-;7028:8;:171::i;:::-;-1:-1:-1;7217:4:0;6866:363;;;;;:::o;11661:368::-;11729:10;;-1:-1:-1;;;;;11729:10:0;335;-1:-1:-1;;;;;11713:26:0;;11705:35;;;;;;11792:4;11751:20;6337:18;;;:9;:18;;;;;;11813:16;;11809:79;;11846:30;11863:12;11846:16;:30::i;:::-;11919:21;11955:14;;11951:71;;11986:24;11999:10;11986:12;:24::i;:::-;11694:335;;11661:368::o;2723:148::-;2636:6;;-1:-1:-1;;;;;2636:6:0;335:10;2636:22;2628:67;;;;-1:-1:-1;;;2628:67:0;;;;;;;:::i;:::-;2830:1:::1;2814:6:::0;;2793:40:::1;::::0;-1:-1:-1;;;;;2814:6:0;;::::1;::::0;2793:40:::1;::::0;2830:1;;2793:40:::1;2861:1;2844:19:::0;;-1:-1:-1;;;;;;2844:19:0::1;::::0;;2723:148::o;11377:239::-;11459:10;;-1:-1:-1;;;;;11459:10:0;335;-1:-1:-1;;;;;11443:26:0;;11435:35;;;;;;11500:12;;11489:7;:23;;:51;;;;;11527:13;;11516:7;:24;;11489:51;11481:60;;;;;;11552:12;:22;;;11585:13;:23;11377:239::o;6371:167::-;6449:4;6466:42;335:10;6490:9;6501:6;6466:9;:42::i;10838:531::-;2636:6;;-1:-1:-1;;;;;2636:6:0;335:10;2636:22;2628:67;;;;-1:-1:-1;;;2628:67:0;;;;;;;:::i;:::-;10900:11:::1;::::0;-1:-1:-1;;;10900:11:0;::::1;;;10899:12;10891:48;;;::::0;-1:-1:-1;;;10891:48:0;;5330:2:1;10891:48:0::1;::::0;::::1;5312:21:1::0;5369:2;5349:18;;;5342:30;5408:25;5388:18;;;5381:53;5451:18;;10891:48:0::1;5128:347:1::0;10891:48:0::1;10950:15;::::0;-1:-1:-1;;;;;10950:15:0::1;:31;10990:21;11036:4;11056:24;11036:4:::0;-1:-1:-1;;;;;6337:18:0;6310:7;6337:18;;;:9;:18;;;;;;;6244:119;11056:24:::1;11095:1;11111::::0;11127:7:::1;2547::::0;2574:6;-1:-1:-1;;;;;2574:6:0;;2509:79;11127:7:::1;10950:225;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10950:225:0;;;-1:-1:-1;;;;;5839:15:1;;;10950: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;11149:15:0::1;6053:19:1::0;;;6046:35;5755:19;;10950:225:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11193:13:0::1;::::0;11224:15:::1;::::0;11186:71:::1;::::0;-1:-1:-1;;;11186:71:0;;-1:-1:-1;;;;;11224:15:0;;::::1;11186:71;::::0;::::1;6577:51:1::0;-1:-1:-1;;6644:18:1;;;6637:34;11193:13:0;::::1;::::0;-1:-1:-1;11186:29:0::1;::::0;6550:18:1;;11186:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11268:11:0::1;:18:::0;;-1:-1:-1;;;;11297:18:0;-1:-1:-1;;;11297:18:0;;;11326:12:::1;:35:::0;;-1:-1:-1;;11326:35:0::1;11348:12;11326:35;;;::::0;;10838:531::o;12037:191::-;12105:10;;-1:-1:-1;;;;;12105:10:0;335;-1:-1:-1;;;;;12089:26:0;;12081:35;;;;;;12156:21;12188:32;12156:21;12188:12;:32::i;:::-;12070:158;12037:191::o;7237:335::-;-1:-1:-1;;;;;7330:19:0;;7322:68;;;;-1:-1:-1;;;7322:68:0;;7166:2:1;7322: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;;7322:68:0;6964:400:1;7322:68:0;-1:-1:-1;;;;;7409:21:0;;7401:68;;;;-1:-1:-1;;;7401:68:0;;7571:2:1;7401: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;;7401:68:0;7369:398:1;7401:68:0;-1:-1:-1;;;;;7480:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7532:32;;1361:25:1;;;7532:32:0;;1334:18:1;7532:32:0;;;;;;;7237:335;;;:::o;7580:2372::-;-1:-1:-1;;;;;7668:18:0;;7660:68;;;;-1:-1:-1;;;7660:68:0;;7974:2:1;7660: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;;7660:68:0;7772:401:1;7660:68:0;-1:-1:-1;;;;;7747:16:0;;7739:64;;;;-1:-1:-1;;;7739:64:0;;8380:2:1;7739: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;;7739:64:0;8178:399:1;7739:64:0;7831:1;7822:6;:10;7814:64;;;;-1:-1:-1;;;7814:64:0;;8784:2:1;7814: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;;7814:64:0;8582:405:1;7814:64:0;7889:17;2574:6;;-1:-1:-1;;;;;7925:15:0;;;2574:6;;7925:15;;;;:32;;-1:-1:-1;2547:7:0;2574:6;-1:-1:-1;;;;;7944:13:0;;;2574:6;;7944:13;;7925:32;7921:1660;;;7986:82;8064:3;7986:73;8010:15;;7998:9;;:27;7997:61;;8044:14;;7997:61;;;8029:12;;7997:61;7986:6;;:10;:73::i;:::-;:77;;:82::i;:::-;8113:12;;7974:94;;-1:-1:-1;8113:12:0;;;;8096;8089:36;;;;8085:94;;8135:11;:13;;8151:2;;8135:13;;;;;;;:11;:13;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:18;;;8127:52;;;;-1:-1:-1;;;8127:52:0;;9400:2:1;8127:52:0;;;9382:21:1;9439:2;9419:18;;;9412:30;-1:-1:-1;;;9458:18:1;;;9451:51;9519:18;;8127:52:0;9198:345:1;8127:52:0;8208:13;;-1:-1:-1;;;;;8200:21:0;;;8208:13;;8200:21;:55;;;;-1:-1:-1;8239:15:0;;-1:-1:-1;;;;;8225:30:0;;;8239:15;;8225:30;;8200:55;:82;;;;-1:-1:-1;;;;;;8260:22:0;;;;;;:18;:22;;;;;;;;8259:23;8200:82;8196:311;;;8321:12;;8311:6;:22;;8303:60;;;;-1:-1:-1;;;8303:60:0;;9750:2:1;8303:60:0;;;9732:21:1;9789:2;9769:18;;;9762:30;9828:27;9808:18;;;9801:55;9873:18;;8303:60:0;9548:349:1;8303:60:0;8416:14;;8406:6;8390:13;8400:2;-1:-1:-1;;;;;6337:18:0;6310:7;6337:18;;;:9;:18;;;;;;;6244:119;8390:13;:22;;;;:::i;:::-;:40;;8382:79;;;;-1:-1:-1;;;8382:79:0;;10234:2:1;8382:79:0;;;10216:21:1;10273:2;10253:18;;;10246:30;10312:28;10292:18;;;10285:56;10358:18;;8382:79:0;10032:350:1;8382:79:0;8480:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8196:311;8533:13;;-1:-1:-1;;;;;8527:19:0;;;8533:13;;8527:19;:44;;;;-1:-1:-1;;;;;;8550:21:0;;8566:4;8550:21;;8527:44;8523:182;;;8604:85;8685:3;8604:76;8628:16;;8616:9;;:28;8615:64;;8664:15;;8615:64;;;8648:13;;8604:6;;:10;:76::i;:85::-;8592:97;;8523:182;8770:4;8721:28;6337:18;;;:9;:18;;;;;;8814:6;;-1:-1:-1;;;8814:6:0;;;;8813:7;:47;;;;-1:-1:-1;8847:13:0;;-1:-1:-1;;;;;8841:19:0;;;8847:13;;8841:19;8813:47;:79;;;;-1:-1:-1;8881:11:0;;-1:-1:-1;;;8881:11:0;;;;8813:79;:140;;;;;8936:17;;8913:20;:40;8813:140;:191;;;;;8986:18;;8974:9;;:30;8813:191;8791:779;;;9058:13;;9043:12;:28;9039:90;;;9108:1;9096:9;:13;9039:90;9167:1;9155:9;;:13;9147:49;;;;-1:-1:-1;;;9147:49:0;;10729:2:1;9147:49:0;;;10711:21:1;10768:2;10748:18;;;10741:30;10807:25;10787:18;;;10780:53;10850:18;;9147:49:0;10527:347:1;9147:49:0;9215:69;9232:51;9236:6;9244:38;9248:20;9270:11;;9244:3;:38::i;:::-;9232:3;:51::i;:::-;9215:16;:69::i;:::-;9332:21;9376:22;;9372:106;;9423:35;9436:21;9423:12;:35::i;:::-;9496:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;9542:12:0;9526:13;:28;-1:-1:-1;8791:779:0;7959:1622;7921:1660;9597:13;;9593:172;;9672:4;9654:24;;;;:9;:24;;;;;;:39;;9683:9;9654:28;:39::i;:::-;9645:4;9627:24;;;;:9;:24;;;;;;;:66;;;;9713:40;;-1:-1:-1;;;;;9713:40:0;;;;;;;9743:9;1361:25:1;;1349:2;1334:18;;1215:177;9713:40:0;;;;;;;;9593:172;-1:-1:-1;;;;;9793:15:0;;;;;;:9;:15;;;;;;:27;;9813:6;9793:19;:27::i;:::-;-1:-1:-1;;;;;9775:15:0;;;;;;:9;:15;;;;;:45;9847:40;9865:21;:6;9876:9;9865:10;:21::i;:::-;-1:-1:-1;;;;;9847:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9831:13:0;;;;;;;:9;:13;;;;;:56;;;;9903:41;;;9922:21;:6;9933:9;9922:10;:21::i;:::-;9903:41;;1361:25:1;;;1349:2;1334:18;9903:41:0;;;;;;;7649:2303;7580:2372;;;:::o;1404:190::-;1490:7;1526:12;1518:6;;;;1510:29;;;;-1:-1:-1;;;1510:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1550:9:0;1562:5;1566:1;1562;:5;:::i;:::-;1550:17;1404:190;-1:-1:-1;;;;;1404:190:0:o;10075:483::-;5235:6;:13;;-1:-1:-1;;;;5235:13:0;-1:-1:-1;;;5235:13:0;;;10177:16:::1;::::0;;10191:1:::1;10177:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10177:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10177:16:0::1;10153:40;;10222:4;10204;10209:1;10204:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10204:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10248:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10248:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10204:7;;10248:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10238:4;10243:1;10238:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10238:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10313:15:::1;::::0;10281:62:::1;::::0;10298:4:::1;::::0;10313:15:::1;10331:11:::0;10281:8:::1;:62::i;:::-;10354:15;::::0;:196:::1;::::0;-1:-1:-1;;;10354:196:0;;-1:-1:-1;;;;;10354:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10435:11;;10354:15:::1;::::0;10477:4;;10504::::1;::::0;10524:15:::1;::::0;10354:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5271:6:0;:14;;-1:-1:-1;;;;5271:14:0;;;-1:-1:-1;;;;10075:483:0:o;10738:92::-;10795:10;;:27;;-1:-1:-1;;;;;10795:10:0;;;;:27;;;;;10815:6;;10795:10;:27;:10;:27;10815:6;10795:10;:27;;;;;;;;;;;;;;;;;;;1602:246;1660:7;1684:1;1689;1684:6;1680:47;;-1:-1:-1;1714:1:0;1707:8;;1680:47;1737:9;1749:5;1753:1;1749;:5;:::i;:::-;1737:17;-1:-1:-1;1782:1:0;1773:5;1777:1;1737:17;1773:5;:::i;:::-;:10;1765:56;;;;-1:-1:-1;;;1765:56:0;;12941:2:1;1765: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;;1765:56:0;12739:397:1;1765:56:0;1839:1;1602:246;-1:-1:-1;;;1602:246:0:o;1856:132::-;1914:7;1941:39;1945:1;1948;1941:39;;;;;;;;;;;;;;;;;:3;:39::i;9960:107::-;10017:7;10049:1;10045;:5;10044:15;;10058:1;10044:15;;;-1:-1:-1;10054:1:0;9960:107;-1:-1:-1;9960:107:0:o;1073:179::-;1131:7;;1163:5;1167:1;1163;:5;:::i;:::-;1151:17;;1192:1;1187;:6;;1179:46;;;;-1:-1:-1;;;1179:46:0;;13343:2:1;1179:46:0;;;13325:21:1;13382:2;13362:18;;;13355:30;13421:29;13401:18;;;13394:57;13468:18;;1179:46:0;13141:351:1;1260:136:0;1318:7;1345:43;1349:1;1352;1345:43;;;;;;;;;;;;;;;;;:3;:43::i;1996:189::-;2082:7;2117:12;2110:5;2102:28;;;;-1:-1:-1;;;2102:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2141:9:0;2153:5;2157:1;2153;: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://1d0d80bf3d57d65d1204d7e67a747620598a846efa92655b318fb80d7dc2a1cd