Token

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 SevenBulls 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 setCooldownEnabled(bool onof ...    - function tokenFromReflection(uint256 ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function openTrading()    - function _tokenTransfer(address sende ...    - function _transferStandard(address se ...    - function _takeTeam(uint256 tTeam)    - function _reflectFee(uint256 rFee, ui ...    - function manualswap()    - function manualsend()    - function _getValues(uint256 tAmount)    - function _getTValues(uint256 tAmount, ...    - function _getRValues(uint256 tAmount, ...    - function _getRate()    - function _getCurrentSupply()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-08-09
*/

// SPDX-License-Identifier: UNLICENSED
/**
7 Bulls 

https://t.me/SevenBulls
**/


pragma solidity 0.8.7;

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;
    address private _previousOwner;
    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 SevenBulls is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _rOwned;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    mapping (address => uint) private cooldown;
    uint256 private constant MAX = ~uint256(0);
    uint256 private constant _tTotal = 10_000_000 * 10**8;
    uint256 private _rTotal = (MAX - (MAX % _tTotal));
    uint256 private _tFeeTotal;

    uint256 private _feeAddr1;
    uint256 private _feeAddr2;
    uint256 private _initialTax;
    uint256 private _finalTax;
    uint256 private _reduceTaxCountdown;
    address payable private _feeAddrWallet;

    string private constant _name = "Seven Bulls";
    string private constant _symbol = "7BULLS";
    uint8 private constant _decimals = 8;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool private cooldownEnabled = false;
    uint256 private _maxTxAmount = 200_000 * 10**8;
    uint256 private _maxWalletSize = 300_000 * 10**8;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _feeAddrWallet = payable(_msgSender());
        _rOwned[_msgSender()] = _rTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_feeAddrWallet] = true;
        _initialTax=7;
        _finalTax=6;
        _reduceTaxCountdown=80;

        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 tokenFromReflection(_rOwned[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 setCooldownEnabled(bool onoff) external onlyOwner() {
        cooldownEnabled = onoff;
    }

    function tokenFromReflection(uint256 rAmount) private view returns(uint256) {
        require(rAmount <= _rTotal, "Amount must be less than total reflections");
        uint256 currentRate =  _getRate();
        return rAmount.div(currentRate);
    }

    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");


        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            _feeAddr1 = 0;
            _feeAddr2 = (_reduceTaxCountdown==0)?_finalTax:_initialTax;
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] && cooldownEnabled) {
                // Cooldown
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                if(_reduceTaxCountdown>0){_reduceTaxCountdown--;}
            }


            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && from != uniswapV2Pair && swapEnabled && contractTokenBalance>0 && _reduceTaxCountdown<50) {
                swapTokensForEth(contractTokenBalance);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }else{
          _feeAddr1 = 0;
          _feeAddr2 = 0;
        }

        _tokenTransfer(from,to,amount);
    }

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

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

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

        tradingOpen = true;
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }

    function _tokenTransfer(address sender, address recipient, uint256 amount) private {
        _transferStandard(sender, recipient, amount);
    }

    function _transferStandard(address sender, address recipient, uint256 tAmount) private {
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee, uint256 tTransferAmount, uint256 tFee, uint256 tTeam) = _getValues(tAmount);
        _rOwned[sender] = _rOwned[sender].sub(rAmount);
        _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount);
        _takeTeam(tTeam);
        _reflectFee(rFee, tFee);
        emit Transfer(sender, recipient, tTransferAmount);
    }

    function _takeTeam(uint256 tTeam) private {
        uint256 currentRate =  _getRate();
        uint256 rTeam = tTeam.mul(currentRate);
        _rOwned[address(this)] = _rOwned[address(this)].add(rTeam);
    }

    function _reflectFee(uint256 rFee, uint256 tFee) private {
        _rTotal = _rTotal.sub(rFee);
        _tFeeTotal = _tFeeTotal.add(tFee);
    }

    receive() external payable {}

    function manualswap() external {
        require(_msgSender() == _feeAddrWallet);
        uint256 contractBalance = balanceOf(address(this));
        swapTokensForEth(contractBalance);
    }

    function manualsend() external {
        require(_msgSender() == _feeAddrWallet);
        uint256 contractETHBalance = address(this).balance;
        sendETHToFee(contractETHBalance);
    }


    function _getValues(uint256 tAmount) private view returns (uint256, uint256, uint256, uint256, uint256, uint256) {
        (uint256 tTransferAmount, uint256 tFee, uint256 tTeam) = _getTValues(tAmount, _feeAddr1, _feeAddr2);
        uint256 currentRate =  _getRate();
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee) = _getRValues(tAmount, tFee, tTeam, currentRate);
        return (rAmount, rTransferAmount, rFee, tTransferAmount, tFee, tTeam);
    }

    function _getTValues(uint256 tAmount, uint256 taxFee, uint256 TeamFee) private pure returns (uint256, uint256, uint256) {
        uint256 tFee = tAmount.mul(taxFee).div(100);
        uint256 tTeam = tAmount.mul(TeamFee).div(100);
        uint256 tTransferAmount = tAmount.sub(tFee).sub(tTeam);
        return (tTransferAmount, tFee, tTeam);
    }

    function _getRValues(uint256 tAmount, uint256 tFee, uint256 tTeam, uint256 currentRate) private pure returns (uint256, uint256, uint256) {
        uint256 rAmount = tAmount.mul(currentRate);
        uint256 rFee = tFee.mul(currentRate);
        uint256 rTeam = tTeam.mul(currentRate);
        uint256 rTransferAmount = rAmount.sub(rFee).sub(rTeam);
        return (rAmount, rTransferAmount, rFee);
    }

	function _getRate() private view returns(uint256) {
        (uint256 rSupply, uint256 tSupply) = _getCurrentSupply();
        return rSupply.div(tSupply);
    }

    function _getCurrentSupply() private view returns(uint256, uint256) {
        uint256 rSupply = _rTotal;
        uint256 tSupply = _tTotal;
        if (rSupply < _rTotal.div(_tTotal)) return (_rTotal, _tTotal);
        return (rSupply, tSupply);
    }
}

• 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":[{"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":"manualsend","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualswap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"onoff","type":"bool"}],"name":"setCooldownEnabled","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526200001966038d7ea4c68000600019620001cb565b6200002790600019620001a5565b6008556011805462ffffff60a81b191690556512309ce54000601255651b48eb57e0006013553480156200005a57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600f80546001600160a01b03191633908117909155600854600091825260026020526040822055600190600590620000dc6000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526005909352818320805485166001908117909155600f549091168352912080549092161790556007600c556006600d556050600e556200014a3390565b6001600160a01b031660006001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef66038d7ea4c680006040516200019791815260200190565b60405180910390a3620001ee565b600082821015620001c657634e487b7160e01b600052601160045260246000fd5b500390565b600082620001e957634e487b7160e01b600052601260045260246000fd5b500690565b61183180620001fe6000396000f3fe6080604052600436106100f75760003560e01c8063715018a61161008a578063a9059cbb11610059578063a9059cbb146102b1578063c3c8cd80146102d1578063c9567bf9146102e6578063dd62ed3e146102fb57600080fd5b8063715018a614610230578063751039fc146102455780638da5cb5b1461025a57806395d89b411461028257600080fd5b8063313ce567116100c6578063313ce567146101bd5780635932ead1146101d95780636fc3eaec146101fb57806370a082311461021057600080fd5b806306fdde0314610103578063095ea7b31461014957806318160ddd1461017957806323b872dd1461019d57600080fd5b366100fe57005b600080fd5b34801561010f57600080fd5b5060408051808201909152600b81526a536576656e2042756c6c7360a81b60208201525b6040516101409190611602565b60405180910390f35b34801561015557600080fd5b5061016961016436600461156e565b610341565b6040519015158152602001610140565b34801561018557600080fd5b5066038d7ea4c680005b604051908152602001610140565b3480156101a957600080fd5b506101696101b836600461152d565b610358565b3480156101c957600080fd5b5060405160088152602001610140565b3480156101e557600080fd5b506101f96101f436600461159a565b6103c1565b005b34801561020757600080fd5b506101f9610412565b34801561021c57600080fd5b5061018f61022b3660046114ba565b61043f565b34801561023c57600080fd5b506101f9610461565b34801561025157600080fd5b506101f96104d5565b34801561026657600080fd5b506000546040516001600160a01b039091168152602001610140565b34801561028e57600080fd5b506040805180820190915260068152653742554c4c5360d01b6020820152610133565b3480156102bd57600080fd5b506101696102cc36600461156e565b610511565b3480156102dd57600080fd5b506101f961051e565b3480156102f257600080fd5b506101f9610554565b34801561030757600080fd5b5061018f6103163660046114f4565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b600061034e33848461090d565b5060015b92915050565b6000610365848484610a31565b6103b784336103b2856040518060600160405280602881526020016117d4602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610dd6565b61090d565b5060019392505050565b6000546001600160a01b031633146103f45760405162461bcd60e51b81526004016103eb90611657565b60405180910390fd5b60118054911515600160b81b0260ff60b81b19909216919091179055565b600f546001600160a01b0316336001600160a01b03161461043257600080fd5b4761043c81610e10565b50565b6001600160a01b03811660009081526002602052604081205461035290610e4a565b6000546001600160a01b0316331461048b5760405162461bcd60e51b81526004016103eb90611657565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104ff5760405162461bcd60e51b81526004016103eb90611657565b66038d7ea4c680006012819055601355565b600061034e338484610a31565b600f546001600160a01b0316336001600160a01b03161461053e57600080fd5b60006105493061043f565b905061043c81610ece565b6000546001600160a01b0316331461057e5760405162461bcd60e51b81526004016103eb90611657565b601154600160a01b900460ff16156105d85760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103eb565b601080546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155610613308266038d7ea4c6800061090d565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561064c57600080fd5b505afa158015610660573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061068491906114d7565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156106cc57600080fd5b505afa1580156106e0573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061070491906114d7565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561074c57600080fd5b505af1158015610760573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061078491906114d7565b601180546001600160a01b0319166001600160a01b039283161790556010541663f305d71947306107b48161043f565b6000806107c96000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b15801561082c57600080fd5b505af1158015610840573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061086591906115d4565b50506011805463ffff00ff60a01b198116630101000160a01b1790915560105460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b1580156108d157600080fd5b505af11580156108e5573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061090991906115b7565b5050565b6001600160a01b03831661096f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103eb565b6001600160a01b0382166109d05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103eb565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a955760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103eb565b6001600160a01b038216610af75760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103eb565b60008111610b595760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103eb565b6000546001600160a01b03848116911614801590610b8557506000546001600160a01b03838116911614155b15610dbb576001600160a01b03831660009081526006602052604090205460ff16158015610bcc57506001600160a01b03821660009081526006602052604090205460ff16155b610bd557600080fd5b6000600a55600e5415610bea57600c54610bee565b600d545b600b556011546001600160a01b038481169116148015610c1c57506010546001600160a01b03838116911614155b8015610c4157506001600160a01b03821660009081526005602052604090205460ff16155b8015610c565750601154600160b81b900460ff165b15610d3057601254811115610cad5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103eb565b60135481610cba8461043f565b610cc491906116fd565b1115610d125760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103eb565b600e5415610d3057600e8054906000610d2a8361176d565b91905055505b6000610d3b3061043f565b601154909150600160a81b900460ff16158015610d6657506011546001600160a01b03858116911614155b8015610d7b5750601154600160b01b900460ff165b8015610d875750600081115b8015610d9557506032600e54105b15610db557610da381610ece565b478015610db357610db347610e10565b505b50610dc6565b6000600a819055600b555b610dd1838383611057565b505050565b60008184841115610dfa5760405162461bcd60e51b81526004016103eb9190611602565b506000610e078486611756565b95945050505050565b600f546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610909573d6000803e3d6000fd5b6000600854821115610eb15760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b60648201526084016103eb565b6000610ebb611062565b9050610ec78382611085565b9392505050565b6011805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610f1657610f1661179a565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b158015610f6a57600080fd5b505afa158015610f7e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610fa291906114d7565b81600181518110610fb557610fb561179a565b6001600160a01b039283166020918202929092010152601054610fdb913091168461090d565b60105460405163791ac94760e01b81526001600160a01b039091169063791ac9479061101490859060009086903090429060040161168c565b600060405180830381600087803b15801561102e57600080fd5b505af1158015611042573d6000803e3d6000fd5b50506011805460ff60a81b1916905550505050565b610dd18383836110c7565b600080600061106f6111be565b909250905061107e8282611085565b9250505090565b6000610ec783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506111fc565b6000806000806000806110d98761122a565b6001600160a01b038f16600090815260026020526040902054959b5093995091975095509350915061110b9087611287565b6001600160a01b03808b1660009081526002602052604080822093909355908a168152205461113a90866112c9565b6001600160a01b03891660009081526002602052604090205561115c81611328565b6111668483611372565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516111ab91815260200190565b60405180910390a3505050505050505050565b600854600090819066038d7ea4c680006111d88282611085565b8210156111f35750506008549266038d7ea4c6800092509050565b90939092509050565b6000818361121d5760405162461bcd60e51b81526004016103eb9190611602565b506000610e078486611715565b60008060008060008060008060006112478a600a54600b54611396565b9250925092506000611257611062565b9050600080600061126a8e8787876113eb565b919e509c509a509598509396509194505050505091939550919395565b6000610ec783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610dd6565b6000806112d683856116fd565b905083811015610ec75760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103eb565b6000611332611062565b90506000611340838361143b565b3060009081526002602052604090205490915061135d90826112c9565b30600090815260026020526040902055505050565b60085461137f9083611287565b60085560095461138f90826112c9565b6009555050565b60008080806113b060646113aa898961143b565b90611085565b905060006113c360646113aa8a8961143b565b905060006113db826113d58b86611287565b90611287565b9992985090965090945050505050565b60008080806113fa888661143b565b90506000611408888761143b565b90506000611416888861143b565b90506000611428826113d58686611287565b939b939a50919850919650505050505050565b60008261144a57506000610352565b60006114568385611737565b9050826114638583611715565b14610ec75760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103eb565b6000602082840312156114cc57600080fd5b8135610ec7816117b0565b6000602082840312156114e957600080fd5b8151610ec7816117b0565b6000806040838503121561150757600080fd5b8235611512816117b0565b91506020830135611522816117b0565b809150509250929050565b60008060006060848603121561154257600080fd5b833561154d816117b0565b9250602084013561155d816117b0565b929592945050506040919091013590565b6000806040838503121561158157600080fd5b823561158c816117b0565b946020939093013593505050565b6000602082840312156115ac57600080fd5b8135610ec7816117c5565b6000602082840312156115c957600080fd5b8151610ec7816117c5565b6000806000606084860312156115e957600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b8181101561162f57858101830151858201604001528201611613565b81811115611641576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156116dc5784516001600160a01b0316835293830193918301916001016116b7565b50506001600160a01b03969096166060850152505050608001529392505050565b6000821982111561171057611710611784565b500190565b60008261173257634e487b7160e01b600052601260045260246000fd5b500490565b600081600019048311821515161561175157611751611784565b500290565b60008282101561176857611768611784565b500390565b60008161177c5761177c611784565b506000190190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b6001600160a01b038116811461043c57600080fd5b801515811461043c57600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212200e4941d02581ae75d5afbb4b14a03b437693722c6e857d8bc06b3c4596cf188164736f6c63430008070033

0x6080604052600436106100f75760003560e01c8063715018a61161008a578063a9059cbb11610059578063a9059cbb146102b1578063c3c8cd80146102d1578063c9567bf9146102e6578063dd62ed3e146102fb57600080fd5b8063715018a614610230578063751039fc146102455780638da5cb5b1461025a57806395d89b411461028257600080fd5b8063313ce567116100c6578063313ce567146101bd5780635932ead1146101d95780636fc3eaec146101fb57806370a082311461021057600080fd5b806306fdde0314610103578063095ea7b31461014957806318160ddd1461017957806323b872dd1461019d57600080fd5b366100fe57005b600080fd5b34801561010f57600080fd5b5060408051808201909152600b81526a536576656e2042756c6c7360a81b60208201525b6040516101409190611602565b60405180910390f35b34801561015557600080fd5b5061016961016436600461156e565b610341565b6040519015158152602001610140565b34801561018557600080fd5b5066038d7ea4c680005b604051908152602001610140565b3480156101a957600080fd5b506101696101b836600461152d565b610358565b3480156101c957600080fd5b5060405160088152602001610140565b3480156101e557600080fd5b506101f96101f436600461159a565b6103c1565b005b34801561020757600080fd5b506101f9610412565b34801561021c57600080fd5b5061018f61022b3660046114ba565b61043f565b34801561023c57600080fd5b506101f9610461565b34801561025157600080fd5b506101f96104d5565b34801561026657600080fd5b506000546040516001600160a01b039091168152602001610140565b34801561028e57600080fd5b506040805180820190915260068152653742554c4c5360d01b6020820152610133565b3480156102bd57600080fd5b506101696102cc36600461156e565b610511565b3480156102dd57600080fd5b506101f961051e565b3480156102f257600080fd5b506101f9610554565b34801561030757600080fd5b5061018f6103163660046114f4565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b600061034e33848461090d565b5060015b92915050565b6000610365848484610a31565b6103b784336103b2856040518060600160405280602881526020016117d4602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610dd6565b61090d565b5060019392505050565b6000546001600160a01b031633146103f45760405162461bcd60e51b81526004016103eb90611657565b60405180910390fd5b60118054911515600160b81b0260ff60b81b19909216919091179055565b600f546001600160a01b0316336001600160a01b03161461043257600080fd5b4761043c81610e10565b50565b6001600160a01b03811660009081526002602052604081205461035290610e4a565b6000546001600160a01b0316331461048b5760405162461bcd60e51b81526004016103eb90611657565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104ff5760405162461bcd60e51b81526004016103eb90611657565b66038d7ea4c680006012819055601355565b600061034e338484610a31565b600f546001600160a01b0316336001600160a01b03161461053e57600080fd5b60006105493061043f565b905061043c81610ece565b6000546001600160a01b0316331461057e5760405162461bcd60e51b81526004016103eb90611657565b601154600160a01b900460ff16156105d85760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103eb565b601080546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155610613308266038d7ea4c6800061090d565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561064c57600080fd5b505afa158015610660573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061068491906114d7565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156106cc57600080fd5b505afa1580156106e0573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061070491906114d7565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561074c57600080fd5b505af1158015610760573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061078491906114d7565b601180546001600160a01b0319166001600160a01b039283161790556010541663f305d71947306107b48161043f565b6000806107c96000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b15801561082c57600080fd5b505af1158015610840573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061086591906115d4565b50506011805463ffff00ff60a01b198116630101000160a01b1790915560105460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b1580156108d157600080fd5b505af11580156108e5573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061090991906115b7565b5050565b6001600160a01b03831661096f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103eb565b6001600160a01b0382166109d05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103eb565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610a955760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103eb565b6001600160a01b038216610af75760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103eb565b60008111610b595760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103eb565b6000546001600160a01b03848116911614801590610b8557506000546001600160a01b03838116911614155b15610dbb576001600160a01b03831660009081526006602052604090205460ff16158015610bcc57506001600160a01b03821660009081526006602052604090205460ff16155b610bd557600080fd5b6000600a55600e5415610bea57600c54610bee565b600d545b600b556011546001600160a01b038481169116148015610c1c57506010546001600160a01b03838116911614155b8015610c4157506001600160a01b03821660009081526005602052604090205460ff16155b8015610c565750601154600160b81b900460ff165b15610d3057601254811115610cad5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016103eb565b60135481610cba8461043f565b610cc491906116fd565b1115610d125760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103eb565b600e5415610d3057600e8054906000610d2a8361176d565b91905055505b6000610d3b3061043f565b601154909150600160a81b900460ff16158015610d6657506011546001600160a01b03858116911614155b8015610d7b5750601154600160b01b900460ff165b8015610d875750600081115b8015610d9557506032600e54105b15610db557610da381610ece565b478015610db357610db347610e10565b505b50610dc6565b6000600a819055600b555b610dd1838383611057565b505050565b60008184841115610dfa5760405162461bcd60e51b81526004016103eb9190611602565b506000610e078486611756565b95945050505050565b600f546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610909573d6000803e3d6000fd5b6000600854821115610eb15760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b60648201526084016103eb565b6000610ebb611062565b9050610ec78382611085565b9392505050565b6011805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610f1657610f1661179a565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b158015610f6a57600080fd5b505afa158015610f7e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610fa291906114d7565b81600181518110610fb557610fb561179a565b6001600160a01b039283166020918202929092010152601054610fdb913091168461090d565b60105460405163791ac94760e01b81526001600160a01b039091169063791ac9479061101490859060009086903090429060040161168c565b600060405180830381600087803b15801561102e57600080fd5b505af1158015611042573d6000803e3d6000fd5b50506011805460ff60a81b1916905550505050565b610dd18383836110c7565b600080600061106f6111be565b909250905061107e8282611085565b9250505090565b6000610ec783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506111fc565b6000806000806000806110d98761122a565b6001600160a01b038f16600090815260026020526040902054959b5093995091975095509350915061110b9087611287565b6001600160a01b03808b1660009081526002602052604080822093909355908a168152205461113a90866112c9565b6001600160a01b03891660009081526002602052604090205561115c81611328565b6111668483611372565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516111ab91815260200190565b60405180910390a3505050505050505050565b600854600090819066038d7ea4c680006111d88282611085565b8210156111f35750506008549266038d7ea4c6800092509050565b90939092509050565b6000818361121d5760405162461bcd60e51b81526004016103eb9190611602565b506000610e078486611715565b60008060008060008060008060006112478a600a54600b54611396565b9250925092506000611257611062565b9050600080600061126a8e8787876113eb565b919e509c509a509598509396509194505050505091939550919395565b6000610ec783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610dd6565b6000806112d683856116fd565b905083811015610ec75760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103eb565b6000611332611062565b90506000611340838361143b565b3060009081526002602052604090205490915061135d90826112c9565b30600090815260026020526040902055505050565b60085461137f9083611287565b60085560095461138f90826112c9565b6009555050565b60008080806113b060646113aa898961143b565b90611085565b905060006113c360646113aa8a8961143b565b905060006113db826113d58b86611287565b90611287565b9992985090965090945050505050565b60008080806113fa888661143b565b90506000611408888761143b565b90506000611416888861143b565b90506000611428826113d58686611287565b939b939a50919850919650505050505050565b60008261144a57506000610352565b60006114568385611737565b9050826114638583611715565b14610ec75760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103eb565b6000602082840312156114cc57600080fd5b8135610ec7816117b0565b6000602082840312156114e957600080fd5b8151610ec7816117b0565b6000806040838503121561150757600080fd5b8235611512816117b0565b91506020830135611522816117b0565b809150509250929050565b60008060006060848603121561154257600080fd5b833561154d816117b0565b9250602084013561155d816117b0565b929592945050506040919091013590565b6000806040838503121561158157600080fd5b823561158c816117b0565b946020939093013593505050565b6000602082840312156115ac57600080fd5b8135610ec7816117c5565b6000602082840312156115c957600080fd5b8151610ec7816117c5565b6000806000606084860312156115e957600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b8181101561162f57858101830151858201604001528201611613565b81811115611641576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156116dc5784516001600160a01b0316835293830193918301916001016116b7565b50506001600160a01b03969096166060850152505050608001529392505050565b6000821982111561171057611710611784565b500190565b60008261173257634e487b7160e01b600052601260045260246000fd5b500490565b600081600019048311821515161561175157611751611784565b500290565b60008282101561176857611768611784565b500390565b60008161177c5761177c611784565b506000190190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b6001600160a01b038116811461043c57600080fd5b801515811461043c57600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212200e4941d02581ae75d5afbb4b14a03b437693722c6e857d8bc06b3c4596cf188164736f6c63430008070033

3565:10099:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5447:83;;;;;;;;;;-1:-1:-1;5517:5:0;;;;;;;;;;;;-1:-1:-1;;;5517:5:0;;;;5447:83;;;;;;;:::i;:::-;;;;;;;;6299:161;;;;;;;;;;-1:-1:-1;6299:161:0;;;;;:::i;:::-;;:::i;:::-;;;4076:14:1;;4069:22;4051:41;;4039:2;4024:18;6299:161:0;3911:187:1;5724:95:0;;;;;;;;;;-1:-1:-1;4068:18:0;5724:95;;;9470:25:1;;;9458:2;9443:18;5724:95:0;9324:177:1;6468:313:0;;;;;;;;;;-1:-1:-1;6468:313:0;;;;;:::i;:::-;;:::i;5633:83::-;;;;;;;;;;-1:-1:-1;5633:83:0;;4539:1;10633:36:1;;10621:2;10606:18;5633:83:0;10491:184:1;6789:103:0;;;;;;;;;;-1:-1:-1;6789:103:0;;;;;:::i;:::-;;:::i;:::-;;11779:193;;;;;;;;;;;;;:::i;5827:138::-;;;;;;;;;;-1:-1:-1;5827:138:0;;;;;:::i;:::-;;:::i;2646:148::-;;;;;;;;;;;;;:::i;9505:118::-;;;;;;;;;;;;;:::i;2432:79::-;;;;;;;;;;-1:-1:-1;2470:7:0;2497:6;2432:79;;-1:-1:-1;;;;;2497:6:0;;;2649:51:1;;2637:2;2622:18;2432:79:0;2503:203:1;5538:87:0;;;;;;;;;;-1:-1:-1;5610:7:0;;;;;;;;;;;;-1:-1:-1;;;5610:7:0;;;;5538:87;;5973:167;;;;;;;;;;-1:-1:-1;5973:167:0;;;;;:::i;:::-;;:::i;11577:194::-;;;;;;;;;;;;;:::i;9735:773::-;;;;;;;;;;;;;:::i;6148:143::-;;;;;;;;;;-1:-1:-1;6148:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6256:18:0;;;6229:7;6256:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6148:143;6299:161;6374:4;6391:39;230:10;6414:7;6423:6;6391:8;:39::i;:::-;-1:-1:-1;6448:4:0;6299:161;;;;;:::o;6468:313::-;6566:4;6583:36;6593:6;6601:9;6612:6;6583:9;:36::i;:::-;6630:121;6639:6;230:10;6661:89;6699:6;6661:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6661:19:0;;;;;;:11;:19;;;;;;;;230:10;6661:33;;;;;;;;;;:37;:89::i;:::-;6630:8;:121::i;:::-;-1:-1:-1;6769:4:0;6468:313;;;;;:::o;6789:103::-;2559:6;;-1:-1:-1;;;;;2559:6:0;230:10;2559:22;2551:67;;;;-1:-1:-1;;;2551:67:0;;;;;;;:::i;:::-;;;;;;;;;6861:15:::1;:23:::0;;;::::1;;-1:-1:-1::0;;;6861:23:0::1;-1:-1:-1::0;;;;6861:23:0;;::::1;::::0;;;::::1;::::0;;6789:103::o;11779:193::-;11845:14;;-1:-1:-1;;;;;11845:14:0;230:10;-1:-1:-1;;;;;11829:30:0;;11821:39;;;;;;11900:21;11932:32;11900:21;11932:12;:32::i;:::-;11810:162;11779:193::o;5827:138::-;-1:-1:-1;;;;;5940:16:0;;5893:7;5940:16;;;:7;:16;;;;;;5920:37;;:19;:37::i;2646:148::-;2559:6;;-1:-1:-1;;;;;2559:6:0;230:10;2559:22;2551:67;;;;-1:-1:-1;;;2551:67:0;;;;;;;:::i;:::-;2753:1:::1;2737:6:::0;;2716:40:::1;::::0;-1:-1:-1;;;;;2737:6:0;;::::1;::::0;2716:40:::1;::::0;2753:1;;2716:40:::1;2784:1;2767:19:::0;;-1:-1:-1;;;;;;2767:19:0::1;::::0;;2646:148::o;9505:118::-;2559:6;;-1:-1:-1;;;;;2559:6:0;230:10;2559:22;2551:67;;;;-1:-1:-1;;;2551:67:0;;;;;;;:::i;:::-;4068:18:::1;9558:12;:22:::0;;;9591:14:::1;:24:::0;9505:118::o;5973:167::-;6051:4;6068:42;230:10;6092:9;6103:6;6068:9;:42::i;11577:194::-;11643:14;;-1:-1:-1;;;;;11643:14:0;230:10;-1:-1:-1;;;;;11627:30:0;;11619:39;;;;;;11669:23;11695:24;11713:4;11695:9;:24::i;:::-;11669:50;;11730:33;11747:15;11730:16;:33::i;9735:773::-;2559:6;;-1:-1:-1;;;;;2559:6:0;230:10;2559:22;2551:67;;;;-1:-1:-1;;;2551:67:0;;;;;;;:::i;:::-;9799:11:::1;::::0;-1:-1:-1;;;9799:11:0;::::1;;;9798:12;9790:47;;;::::0;-1:-1:-1;;;9790:47:0;;9174:2:1;9790:47:0::1;::::0;::::1;9156:21:1::0;9213:2;9193:18;;;9186:30;9252:25;9232:18;;;9225:53;9295:18;;9790:47:0::1;8972:347:1::0;9790:47:0::1;9959:15;:34:::0;;-1:-1:-1;;;;;;9959:34:0::1;9905:42;9959:34:::0;;::::1;::::0;;;10004:58:::1;10021:4;9905:42:::0;4068:18:::1;10004:8;:58::i;:::-;10107:16;-1:-1:-1::0;;;;;10107:24:0::1;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10089:56:0::1;;10154:4;10161:16;-1:-1:-1::0;;;;;10161:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10089:96;::::0;-1:-1:-1;;;;;;10089:96:0::1;::::0;;;;;;-1:-1:-1;;;;;2941:15:1;;;10089:96:0::1;::::0;::::1;2923:34:1::0;2993:15;;2973:18;;;2966:43;2858:18;;10089:96:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10073:13;:112:::0;;-1:-1:-1;;;;;;10073:112:0::1;-1:-1:-1::0;;;;;10073:112:0;;::::1;;::::0;;10196:15:::1;::::0;::::1;:31;10235:21;10266:4;10272:24;10266:4:::0;10272:9:::1;:24::i;:::-;10297:1;10299::::0;10301:7:::1;2470::::0;2497:6;-1:-1:-1;;;;;2497:6:0;;2432:79;10301:7:::1;10196:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10196:129:0;;;-1:-1:-1;;;;;3658:15:1;;;10196:129:0::1;::::0;::::1;3640:34:1::0;3690:18;;;3683:34;;;;3733:18;;;3726:34;;;;3776:18;;;3769:34;3840:15;;;3819:19;;;3812:44;10309:15:0::1;3872:19:1::0;;;3865:35;3574:19;;10196:129:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10336:11:0::1;:18:::0;;-1:-1:-1;;;;10400:18:0;;-1:-1:-1;;;10400:18:0;;;;10467:15:::1;::::0;10429:71:::1;::::0;-1:-1:-1;;;10429:71:0;;-1:-1:-1;;;;;10467:15:0;;::::1;10429:71;::::0;::::1;3194:51:1::0;-1:-1:-1;;3261:18:1;;;3254:34;10436:13:0;;;-1:-1:-1;10429:29:0::1;::::0;3167:18:1;;10429:71:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9779:729;9735:773::o:0;7162:335::-;-1:-1:-1;;;;;7255:19:0;;7247:68;;;;-1:-1:-1;;;7247:68:0;;8769:2:1;7247:68:0;;;8751:21:1;8808:2;8788:18;;;8781:30;8847:34;8827:18;;;8820:62;-1:-1:-1;;;8898:18:1;;;8891:34;8942:19;;7247:68:0;8567:400:1;7247:68:0;-1:-1:-1;;;;;7334:21:0;;7326:68;;;;-1:-1:-1;;;7326:68:0;;6076:2:1;7326:68:0;;;6058:21:1;6115:2;6095:18;;;6088:30;6154:34;6134:18;;;6127:62;-1:-1:-1;;;6205:18:1;;;6198:32;6247:19;;7326:68:0;5874:398:1;7326:68:0;-1:-1:-1;;;;;7405:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7457:32;;9470:25:1;;;7457:32:0;;9443:18:1;7457:32:0;;;;;;;7162:335;;;:::o;7505:1499::-;-1:-1:-1;;;;;7593:18:0;;7585:68;;;;-1:-1:-1;;;7585:68:0;;8008:2:1;7585:68:0;;;7990:21:1;8047:2;8027:18;;;8020:30;8086:34;8066:18;;;8059:62;-1:-1:-1;;;8137:18:1;;;8130:35;8182:19;;7585:68:0;7806:401:1;7585:68:0;-1:-1:-1;;;;;7672:16:0;;7664:64;;;;-1:-1:-1;;;7664:64:0;;4907:2:1;7664:64:0;;;4889:21:1;4946:2;4926:18;;;4919:30;4985:34;4965:18;;;4958:62;-1:-1:-1;;;5036:18:1;;;5029:33;5079:19;;7664:64:0;4705:399:1;7664:64:0;7756:1;7747:6;:10;7739:64;;;;-1:-1:-1;;;7739:64:0;;7598:2:1;7739:64:0;;;7580:21:1;7637:2;7617:18;;;7610:30;7676:34;7656:18;;;7649:62;-1:-1:-1;;;7727:18:1;;;7720:39;7776:19;;7739:64:0;7396:405:1;7739:64:0;2470:7;2497:6;-1:-1:-1;;;;;7822:15:0;;;2497:6;;7822:15;;;;:32;;-1:-1:-1;2470:7:0;2497:6;-1:-1:-1;;;;;7841:13:0;;;2497:6;;7841:13;;7822:32;7818:1136;;;-1:-1:-1;;;;;7880:10:0;;;;;;:4;:10;;;;;;;;7879:11;:24;;;;-1:-1:-1;;;;;;7895:8:0;;;;;;:4;:8;;;;;;;;7894:9;7879:24;7871:33;;;;;;7931:1;7919:9;:13;7960:19;;:22;7959:46;;7994:11;;7959:46;;;7984:9;;7959:46;7947:9;:58;8032:13;;-1:-1:-1;;;;;8024:21:0;;;8032:13;;8024:21;:55;;;;-1:-1:-1;8063:15:0;;-1:-1:-1;;;;;8049:30:0;;;8063:15;;8049:30;;8024:55;:83;;;;-1:-1:-1;;;;;;8085:22:0;;;;;;:18;:22;;;;;;;;8083:24;8024:83;:102;;;;-1:-1:-1;8111:15:0;;-1:-1:-1;;;8111:15:0;;;;8024:102;8020:397;;;8194:12;;8184:6;:22;;8176:60;;;;-1:-1:-1;;;8176:60:0;;5311:2:1;8176:60:0;;;5293:21:1;5350:2;5330:18;;;5323:30;5389:27;5369:18;;;5362:55;5434:18;;8176:60:0;5109:349:1;8176:60:0;8289:14;;8279:6;8263:13;8273:2;8263:9;:13::i;:::-;:22;;;;:::i;:::-;:40;;8255:79;;;;-1:-1:-1;;;8255:79:0;;8414:2:1;8255:79:0;;;8396:21:1;8453:2;8433:18;;;8426:30;8492:28;8472:18;;;8465:56;8538:18;;8255:79:0;8212:350:1;8255:79:0;8356:19;;:21;8353:49;;8379:19;:21;;;:19;:21;;;:::i;:::-;;;;;;8353:49;8435:28;8466:24;8484:4;8466:9;:24::i;:::-;8510:6;;8435:55;;-1:-1:-1;;;;8510:6:0;;;;8509:7;:32;;;;-1:-1:-1;8528:13:0;;-1:-1:-1;;;;;8520:21:0;;;8528:13;;8520:21;;8509:32;:47;;;;-1:-1:-1;8545:11:0;;-1:-1:-1;;;8545:11:0;;;;8509:47;:73;;;;;8581:1;8560:20;:22;8509:73;:99;;;;;8606:2;8586:19;;:22;8509:99;8505:370;;;8629:38;8646:20;8629:16;:38::i;:::-;8715:21;8758:22;;8755:105;;8805:35;8818:21;8805:12;:35::i;:::-;8610:265;8505:370;7856:1030;7818:1136;;;8915:1;8903:9;:13;;;8929:9;:13;7818:1136;8966:30;8981:4;8986:2;8989:6;8966:14;:30::i;:::-;7505:1499;;;:::o;1287:190::-;1373:7;1409:12;1401:6;;;;1393:29;;;;-1:-1:-1;;;1393:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1433:9:0;1445:5;1449:1;1445;:5;:::i;:::-;1433:17;1287:190;-1:-1:-1;;;;;1287:190:0:o;9631:96::-;9688:14;;:31;;-1:-1:-1;;;;;9688:14:0;;;;:31;;;;;9712:6;;9688:14;:31;:14;:31;9712:6;9688:14;:31;;;;;;;;;;;;;;;;;;;6900:254;6967:7;7006;;6995;:18;;6987:73;;;;-1:-1:-1;;;6987:73:0;;5665:2:1;6987:73:0;;;5647:21:1;5704:2;5684:18;;;5677:30;5743:34;5723:18;;;5716:62;-1:-1:-1;;;5794:18:1;;;5787:40;5844:19;;6987:73:0;5463:406:1;6987:73:0;7071:19;7094:10;:8;:10::i;:::-;7071:33;-1:-1:-1;7122:24:0;:7;7071:33;7122:11;:24::i;:::-;7115:31;6900:254;-1:-1:-1;;;6900:254:0:o;9012:483::-;4971:6;:13;;-1:-1:-1;;;;4971:13:0;-1:-1:-1;;;4971:13:0;;;9114:16:::1;::::0;;9128:1:::1;9114:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9114:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9114:16:0::1;9090:40;;9159:4;9141;9146:1;9141:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9141:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9185:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9185:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9141:7;;9185:22;;;;;:15;:22;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9175:4;9180:1;9175:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9175:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9250:15:::1;::::0;9218:62:::1;::::0;9235:4:::1;::::0;9250:15:::1;9268:11:::0;9218:8:::1;:62::i;:::-;9291:15;::::0;:196:::1;::::0;-1:-1:-1;;;9291:196:0;;-1:-1:-1;;;;;9291:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9372:11;;9291:15:::1;::::0;9414:4;;9441::::1;::::0;9461:15:::1;::::0;9291:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5007:6:0;:14;;-1:-1:-1;;;;5007:14:0;;;-1:-1:-1;;;;9012:483:0:o;10516:146::-;10610:44;10628:6;10636:9;10647:6;10610:17;:44::i;13234:163::-;13275:7;13296:15;13313;13332:19;:17;:19::i;:::-;13295:56;;-1:-1:-1;13295:56:0;-1:-1:-1;13369:20:0;13295:56;;13369:11;:20::i;:::-;13362:27;;;;13234:163;:::o;1739:132::-;1797:7;1824:39;1828:1;1831;1824:39;;;;;;;;;;;;;;;;;:3;:39::i;10670:487::-;10769:15;10786:23;10811:12;10825:23;10850:12;10864:13;10881:19;10892:7;10881:10;:19::i;:::-;-1:-1:-1;;;;;10929:15:0;;;;;;:7;:15;;;;;;10768:132;;-1:-1:-1;10768:132:0;;-1:-1:-1;10768:132:0;;-1:-1:-1;10768:132:0;-1:-1:-1;10768:132:0;-1:-1:-1;10768:132:0;-1:-1:-1;10929:28:0;;10768:132;10929:19;:28::i;:::-;-1:-1:-1;;;;;10911:15:0;;;;;;;:7;:15;;;;;;:46;;;;10989:18;;;;;;;:39;;11012:15;10989:22;:39::i;:::-;-1:-1:-1;;;;;10968:18:0;;;;;;:7;:18;;;;;:60;11039:16;11049:5;11039:9;:16::i;:::-;11066:23;11078:4;11084;11066:11;:23::i;:::-;11122:9;-1:-1:-1;;;;;11105:44:0;11114:6;-1:-1:-1;;;;;11105:44:0;;11133:15;11105:44;;;;9470:25:1;;9458:2;9443:18;;9324:177;11105:44:0;;;;;;;;10757:400;;;;;;10670:487;;;:::o;13405:256::-;13502:7;;13455;;;;4068:18;13570:20;13502:7;4068:18;13570:11;:20::i;:::-;13560:7;:30;13556:61;;;-1:-1:-1;;13600:7:0;;;4068:18;;-1:-1:-1;13405:256:0;-1:-1:-1;13405:256:0:o;13556:61::-;13636:7;;13645;;-1:-1:-1;13405:256:0;-1:-1:-1;13405:256:0:o;1879:189::-;1965:7;2000:12;1993:5;1985:28;;;;-1:-1:-1;;;1985:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2024:9:0;2036:5;2040:1;2036;:5;:::i;11982:471::-;12041:7;12050;12059;12068;12077;12086;12107:23;12132:12;12146:13;12163:42;12175:7;12184:9;;12195;;12163:11;:42::i;:::-;12106:99;;;;;;12216:19;12239:10;:8;:10::i;:::-;12216:33;;12261:15;12278:23;12303:12;12319:46;12331:7;12340:4;12346:5;12353:11;12319;:46::i;:::-;12260:105;;-1:-1:-1;12260:105:0;-1:-1:-1;12260:105:0;-1:-1:-1;12416:15:0;;-1:-1:-1;12433:4:0;;-1:-1:-1;12439:5:0;;-1:-1:-1;;;;;11982:471:0;;;;;;;:::o;1143:136::-;1201:7;1228:43;1232:1;1235;1228:43;;;;;;;;;;;;;;;;;:3;:43::i;956:179::-;1014:7;;1046:5;1050:1;1046;:5;:::i;:::-;1034:17;;1075:1;1070;:6;;1062:46;;;;-1:-1:-1;;;1062:46:0;;6479:2:1;1062:46:0;;;6461:21:1;6518:2;6498:18;;;6491:30;6557:29;6537:18;;;6530:57;6604:18;;1062:46:0;6277:351:1;11165:212:0;11218:19;11241:10;:8;:10::i;:::-;11218:33;-1:-1:-1;11262:13:0;11278:22;:5;11218:33;11278:9;:22::i;:::-;11352:4;11336:22;;;;:7;:22;;;;;;11262:38;;-1:-1:-1;11336:33:0;;11262:38;11336:26;:33::i;:::-;11327:4;11311:22;;;;:7;:22;;;;;:58;-1:-1:-1;;;11165:212:0:o;11385:147::-;11463:7;;:17;;11475:4;11463:11;:17::i;:::-;11453:7;:27;11504:10;;:20;;11519:4;11504:14;:20::i;:::-;11491:10;:33;-1:-1:-1;;11385:147:0:o;12461:351::-;12554:7;;;;12607:28;12631:3;12607:19;:7;12619:6;12607:11;:19::i;:::-;:23;;:28::i;:::-;12592:43;-1:-1:-1;12646:13:0;12662:29;12687:3;12662:20;:7;12674;12662:11;:20::i;:29::-;12646:45;-1:-1:-1;12702:23:0;12728:28;12646:45;12728:17;:7;12740:4;12728:11;:17::i;:::-;:21;;:28::i;:::-;12702:54;12792:4;;-1:-1:-1;12798:5:0;;-1:-1:-1;12461:351:0;;-1:-1:-1;;;;;12461:351:0:o;12820:409::-;12930:7;;;;12986:24;:7;12998:11;12986;:24::i;:::-;12968:42;-1:-1:-1;13021:12:0;13036:21;:4;13045:11;13036:8;:21::i;:::-;13021:36;-1:-1:-1;13068:13:0;13084:22;:5;13094:11;13084:9;:22::i;:::-;13068:38;-1:-1:-1;13117:23:0;13143:28;13068:38;13143:17;:7;13155:4;13143:11;:17::i;:28::-;13190:7;;;;-1:-1:-1;13216:4:0;;-1:-1:-1;12820:409:0;;-1:-1:-1;;;;;;;12820:409:0:o;1485:246::-;1543:7;1567:6;1563:47;;-1:-1:-1;1597:1:0;1590:8;;1563:47;1620:9;1632:5;1636:1;1632;:5;:::i;:::-;1620:17;-1:-1:-1;1665:1:0;1656:5;1660:1;1620:17;1656:5;:::i;:::-;:10;1648:56;;;;-1:-1:-1;;;1648:56:0;;6835:2:1;1648:56:0;;;6817:21:1;6874:2;6854:18;;;6847:30;6913:34;6893:18;;;6886:62;-1:-1:-1;;;6964:18:1;;;6957:31;7005:19;;1648:56:0;6633:397:1;14:247;73:6;126:2;114:9;105:7;101:23;97:32;94:52;;;142:1;139;132:12;94:52;181:9;168:23;200:31;225:5;200:31;:::i;266:251::-;336:6;389:2;377:9;368:7;364:23;360:32;357:52;;;405:1;402;395:12;357:52;437:9;431:16;456:31;481:5;456:31;:::i;522:388::-;590:6;598;651:2;639:9;630:7;626:23;622:32;619:52;;;667:1;664;657:12;619:52;706:9;693:23;725:31;750:5;725:31;:::i;:::-;775:5;-1:-1:-1;832:2:1;817:18;;804:32;845:33;804:32;845:33;:::i;:::-;897:7;887:17;;;522:388;;;;;:::o;915:456::-;992:6;1000;1008;1061:2;1049:9;1040:7;1036:23;1032:32;1029:52;;;1077:1;1074;1067:12;1029:52;1116:9;1103:23;1135:31;1160:5;1135:31;:::i;:::-;1185:5;-1:-1:-1;1242:2:1;1227:18;;1214:32;1255:33;1214:32;1255:33;:::i;:::-;915:456;;1307:7;;-1:-1:-1;;;1361:2:1;1346:18;;;;1333:32;;915:456::o;1376:315::-;1444:6;1452;1505:2;1493:9;1484:7;1480:23;1476:32;1473:52;;;1521:1;1518;1511:12;1473:52;1560:9;1547:23;1579:31;1604:5;1579:31;:::i;:::-;1629:5;1681:2;1666:18;;;;1653:32;;-1:-1:-1;;;1376:315:1:o;1696:241::-;1752:6;1805:2;1793:9;1784:7;1780:23;1776:32;1773:52;;;1821:1;1818;1811:12;1773:52;1860:9;1847:23;1879:28;1901:5;1879:28;:::i;1942:245::-;2009:6;2062:2;2050:9;2041:7;2037:23;2033:32;2030:52;;;2078:1;2075;2068:12;2030:52;2110:9;2104:16;2129:28;2151:5;2129:28;:::i;2192:306::-;2280:6;2288;2296;2349:2;2337:9;2328:7;2324:23;2320:32;2317:52;;;2365:1;2362;2355:12;2317:52;2394:9;2388:16;2378:26;;2444:2;2433:9;2429:18;2423:25;2413:35;;2488:2;2477:9;2473:18;2467:25;2457:35;;2192:306;;;;;:::o;4103:597::-;4215:4;4244:2;4273;4262:9;4255:21;4305:6;4299:13;4348:6;4343:2;4332:9;4328:18;4321:34;4373:1;4383:140;4397:6;4394:1;4391:13;4383:140;;;4492:14;;;4488:23;;4482:30;4458:17;;;4477:2;4454:26;4447:66;4412:10;;4383:140;;;4541:6;4538:1;4535:13;4532:91;;;4611:1;4606:2;4597:6;4586:9;4582:22;4578:31;4571:42;4532:91;-1:-1:-1;4684:2:1;4663:15;-1:-1:-1;;4659:29:1;4644:45;;;;4691:2;4640:54;;4103:597;-1:-1:-1;;;4103:597:1:o;7035:356::-;7237:2;7219:21;;;7256:18;;;7249:30;7315:34;7310:2;7295:18;;7288:62;7382:2;7367:18;;7035:356::o;9506:980::-;9768:4;9816:3;9805:9;9801:19;9847:6;9836:9;9829:25;9873:2;9911:6;9906:2;9895:9;9891:18;9884:34;9954:3;9949:2;9938:9;9934:18;9927:31;9978:6;10013;10007:13;10044:6;10036;10029:22;10082:3;10071:9;10067:19;10060:26;;10121:2;10113:6;10109:15;10095:29;;10142:1;10152:195;10166:6;10163:1;10160:13;10152:195;;;10231:13;;-1:-1:-1;;;;;10227:39:1;10215:52;;10322:15;;;;10287:12;;;;10263:1;10181:9;10152:195;;;-1:-1:-1;;;;;;;10403:32:1;;;;10398:2;10383:18;;10376:60;-1:-1:-1;;;10467:3:1;10452:19;10445:35;10364:3;9506:980;-1:-1:-1;;;9506:980:1:o;10680:128::-;10720:3;10751:1;10747:6;10744:1;10741:13;10738:39;;;10757:18;;:::i;:::-;-1:-1:-1;10793:9:1;;10680:128::o;10813:217::-;10853:1;10879;10869:132;;10923:10;10918:3;10914:20;10911:1;10904:31;10958:4;10955:1;10948:15;10986:4;10983:1;10976:15;10869:132;-1:-1:-1;11015:9:1;;10813:217::o;11035:168::-;11075:7;11141:1;11137;11133:6;11129:14;11126:1;11123:21;11118:1;11111:9;11104:17;11100:45;11097:71;;;11148:18;;:::i;:::-;-1:-1:-1;11188:9:1;;11035:168::o;11208:125::-;11248:4;11276:1;11273;11270:8;11267:34;;;11281:18;;:::i;:::-;-1:-1:-1;11318:9:1;;11208:125::o;11338:136::-;11377:3;11405:5;11395:39;;11414:18;;:::i;:::-;-1:-1:-1;;;11450:18:1;;11338:136::o;11479:127::-;11540:10;11535:3;11531:20;11528:1;11521:31;11571:4;11568:1;11561:15;11595:4;11592:1;11585:15;11611:127;11672:10;11667:3;11663:20;11660:1;11653:31;11703:4;11700:1;11693:15;11727:4;11724:1;11717:15;11875:131;-1:-1:-1;;;;;11950:31:1;;11940:42;;11930:70;;11996:1;11993;11986:12;12011:118;12097:5;12090:13;12083:21;12076:5;12073:32;12063:60;;12119:1;12116;12109:12

ipfs://0e4941d02581ae75d5afbb4b14a03b437693722c6e857d8bc06b3c4596cf1881