Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at basescan.org on 2024-05-02
*/

// SPDX-License-Identifier: MIT


/*    
 ██████╗ ██████╗ ██████╗ ███╗   ██╗███████╗██╗     ██╗      █████╗ 
██╔════╝██╔═══██╗██╔══██╗████╗  ██║██╔════╝██║     ██║     ██╔══██╗
██║     ██║   ██║██████╔╝██╔██╗ ██║█████╗  ██║     ██║     ███████║
██║     ██║   ██║██╔══██╗██║╚██╗██║██╔══╝  ██║     ██║     ██╔══██║
╚██████╗╚██████╔╝██║  ██║██║ ╚████║███████╗███████╗███████╗██║  ██║
 ╚═════╝ ╚═════╝ ╚═╝  ╚═╝╚═╝  ╚═══╝╚══════╝╚══════╝╚══════╝╚═╝  ╚═╝

            //////////////////////////////////////////////////////////////
            /                                                           //
            /    Tg       : https://t.me/Cornella_onBase                //
            /    Twitter  : https://twitter.com/Cornella_Base           //
            /    Warpcast : https://warpcast.com/senior-cornella        //
            /                                                           //
            /    Website       : cornella.wtf                           //
            /    Nftcollection : nftcornellacollection.com              //
            /                                                           //                                        
            ////////////////////////////////////////////////////////////// 


 */

pragma solidity 0.8.19;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

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

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

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

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

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

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

}

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

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

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

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

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

}

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

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

contract CORNELLA 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;
    address payable private _taxWallet;
    address private constant deadAddress = address(0xdead);

    uint256 private _initialBuyTax=30;
    uint256 private _initialSellTax=30;
    uint256 private _finalBuyTax=15;
    uint256 private _finalSellTax=15;
    uint256 private _reduceBuyTaxAt=35; 
    uint256 private _reduceSellTaxAt=45;
    uint256 private _preventSwapBefore=40;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100000000 * 10**_decimals;
    string private constant _name = unicode"CORNELLA";
    string private constant _symbol = unicode"$CORNELLA";
    uint256 public _maxTxAmount = 1000000 * 10**_decimals;
    uint256 public _maxWalletSize = 1000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 100000 * 10**_decimals;
    uint256 public _maxTaxSwap= 1000000 * 10**_decimals;

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

    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _taxWallet = payable(0x1b879Db3b97eefa3E8955c5b0351e3465DC91e4C); 
        _balances[_msgSender()] = _tTotal;

        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[deadAddress]= true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;
        
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

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

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

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

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

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

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

    function excludeFromFees(address account, bool excluded) external onlyOwner{
        _isExcludedFromFee[account] = excluded;
    }

    function isExcludedFromFees(address account) public view returns(bool) {
        return _isExcludedFromFee[account];
    }

    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()) { 

            if (!tradingOpen) {
                require( 
                  _isExcludedFromFee[from] || _isExcludedFromFee[to],
                  "trading is not yet open"
                );
            }

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                if (limitEffect) {
                    require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                    require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                } 
                _buyCount++;
            }
            
            if ( to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul 
                ((_buyCount>_reduceSellTaxAt)
                    ?_finalSellTax:_initialSellTax).div(100
                );
            } else if (from == uniswapV2Pair && to!= address(this) ){
                taxAmount = amount.mul
                ((_buyCount>_reduceBuyTaxAt)
                    ?_finalBuyTax:_initialBuyTax).div(100
                );
            }

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

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

    function sendETHToFee(uint256 amount) private returns (bool){
        bool sent = _taxWallet.send(amount);
        return sent;
    }

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

    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 addliquidity() external onlyOwner() {
        require(!tradingOpen,"Liquidity is already added");
        uint256 tokenAmount = balanceOf(address(this)).sub(_tTotal.mul(_initialBuyTax).div(100));
        uniswapV2Router = IUniswapV2Router02(0x4752ba5DBc23f44D87826276BF6Fd6b1C372aD24);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this), 
            uniswapV2Router.WETH()
        );
        uniswapV2Router.addLiquidityETH{value: address(this).balance} (
            address(this),
            tokenAmount,
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max); 
    }

    function removeLimits () external onlyOwner returns (bool){
        limitEffect = false;
        return true;
    }
    
    function reduceTax (uint256 _value) external onlyOwner returns (bool) {
        _finalBuyTax = _value;
        _finalSellTax = _value;
        require(_value <= 0,"Tax cannot exceed 0");
        return true;
    }

    function setSwap(bool _enabled) external onlyOwner returns (bool) {
        swapEnabled = _enabled;
        return true;
    }

    function openTrading() external onlyOwner returns (bool) {
        require(!tradingOpen,"trading is already open");
        swapEnabled = true;
        tradingOpen = true;
        return true;
    }

    function clearstuckETH() external returns (bool) {
        require(tradingOpen,"trading is not yet open");
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          _taxWallet.transfer(ethBalance);
        }
        return true;
    }
    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":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":[],"name":"addliquidity","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"clearstuckETH","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"bool","name":"excluded","type":"bool"}],"name":"excludeFromFees","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isExcludedFromFees","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"reduceTax","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"_enabled","type":"bool"}],"name":"setSwap","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052601e600555601e600655600f600755600f6008556023600955602d600a556028600b556000600c556009600a6200003c91906200037f565b6200004b90620f424062000397565b600d556200005c6009600a6200037f565b6200006b90620f424062000397565b600e556200007c6009600a6200037f565b6200008b90620186a062000397565b600f556200009c6009600a6200037f565b620000ab90620f424062000397565b6010556012805462ffffff60a81b1916600160a81b179055348015620000d057600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600480546001600160a01b031916731b879db3b97eefa3e8955c5b0351e3465dc91e4c179055620001466009600a6200037f565b62000156906305f5e10062000397565b336000908152600160208190526040822092909255600390620001816000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905560039093527f262bb27bbdd95c1cdc8e16957e36e38579ea44f7f6413dd7a9c75939def06b2c8054851660019081179091553084528284208054861682179055600454909116835291208054909216179055620002093390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002436009600a6200037f565b62000253906305f5e10062000397565b60405190815260200160405180910390a3620003b1565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002c1578160001904821115620002a557620002a56200026a565b80851615620002b357918102915b93841c939080029062000285565b509250929050565b600082620002da5750600162000379565b81620002e95750600062000379565b81600181146200030257600281146200030d576200032d565b600191505062000379565b60ff8411156200032157620003216200026a565b50506001821b62000379565b5060208310610133831016604e8410600b841016171562000352575081810a62000379565b6200035e838362000280565b80600019048211156200037557620003756200026a565b0290505b92915050565b60006200039060ff841683620002c9565b9392505050565b80820281158282048414176200037957620003796200026a565b611b3d80620003c16000396000f3fe6080604052600436106101445760003560e01c8063751039fc116100b6578063a92d4a921161006f578063a92d4a92146103ae578063bf474bed146103c3578063c0246668146103d9578063c9567bf9146103f9578063dd62ed3e1461040e578063ef9858941461045457600080fd5b8063751039fc146102f35780637d1db4a5146103085780638da5cb5b1461031e5780638f9a55c01461034657806395d89b411461035c578063a9059cbb1461038e57600080fd5b806323b872dd1161010857806323b872dd1461021c578063313ce5671461023c57806342e99d1a146102585780634fbee1931461026f57806370a08231146102a8578063715018a6146102de57600080fd5b806306fdde0314610150578063095ea7b3146101935780630faee56f146101c357806314f89c98146101e757806318160ddd1461020757600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b50604080518082019091526008815267434f524e454c4c4160c01b60208201525b60405161018a919061169f565b60405180910390f35b34801561019f57600080fd5b506101b36101ae366004611705565b610474565b604051901515815260200161018a565b3480156101cf57600080fd5b506101d960105481565b60405190815260200161018a565b3480156101f357600080fd5b506101b361020236600461173f565b61048b565b34801561021357600080fd5b506101d96104e0565b34801561022857600080fd5b506101b361023736600461175c565b610501565b34801561024857600080fd5b506040516009815260200161018a565b34801561026457600080fd5b5061026d61056a565b005b34801561027b57600080fd5b506101b361028a36600461179d565b6001600160a01b031660009081526003602052604090205460ff1690565b3480156102b457600080fd5b506101d96102c336600461179d565b6001600160a01b031660009081526001602052604090205490565b3480156102ea57600080fd5b5061026d610943565b3480156102ff57600080fd5b506101b36109b7565b34801561031457600080fd5b506101d9600d5481565b34801561032a57600080fd5b506000546040516001600160a01b03909116815260200161018a565b34801561035257600080fd5b506101d9600e5481565b34801561036857600080fd5b5060408051808201909152600981526824434f524e454c4c4160b81b602082015261017d565b34801561039a57600080fd5b506101b36103a9366004611705565b6109f5565b3480156103ba57600080fd5b506101b3610a02565b3480156103cf57600080fd5b506101d9600f5481565b3480156103e557600080fd5b5061026d6103f43660046117ba565b610aa3565b34801561040557600080fd5b506101b3610af8565b34801561041a57600080fd5b506101d96104293660046117f3565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561046057600080fd5b506101b361046f366004611821565b610b9c565b6000610481338484610c1d565b5060015b92915050565b600080546001600160a01b031633146104bf5760405162461bcd60e51b81526004016104b69061183a565b60405180910390fd5b5060128054821515600160b81b0260ff60b81b199091161790556001919050565b60006104ee6009600a611969565b6104fc906305f5e100611978565b905090565b600061050e848484610d41565b610560843361055b85604051806060016040528060288152602001611ae0602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611309565b610c1d565b5060019392505050565b6000546001600160a01b031633146105945760405162461bcd60e51b81526004016104b69061183a565b601254600160a01b900460ff16156105ee5760405162461bcd60e51b815260206004820152601a60248201527f4c697175696469747920697320616c726561647920616464656400000000000060448201526064016104b6565b600061063c61062660646106206005546009600a61060c9190611969565b61061a906305f5e100611978565b90611343565b906113cc565b306000908152600160205260409020549061140e565b601180546001600160a01b031916734752ba5dbc23f44d87826276bf6fd6b1c372ad2490811790915590915061068890309061067a6009600a611969565b61055b906305f5e100611978565b601160009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106db573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106ff919061198f565b6001600160a01b031663c9c6539630601160009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610761573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610785919061198f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156107d2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f6919061198f565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d7194730846000806108356000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561089d573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108c291906119ac565b505060125460115460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af115801561091b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061093f91906119da565b5050565b6000546001600160a01b0316331461096d5760405162461bcd60e51b81526004016104b69061183a565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b600080546001600160a01b031633146109e25760405162461bcd60e51b81526004016104b69061183a565b506012805460ff60a81b19169055600190565b6000610481338484610d41565b601254600090600160a01b900460ff16610a585760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b9903737ba103cb2ba1037b832b760491b60448201526064016104b6565b478015610a9b576004546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610a99573d6000803e3d6000fd5b505b600191505090565b6000546001600160a01b03163314610acd5760405162461bcd60e51b81526004016104b69061183a565b6001600160a01b03919091166000908152600360205260409020805460ff1916911515919091179055565b600080546001600160a01b03163314610b235760405162461bcd60e51b81526004016104b69061183a565b601254600160a01b900460ff1615610b7d5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104b6565b506012805463ff0000ff60a01b1916630100000160a01b179055600190565b600080546001600160a01b03163314610bc75760405162461bcd60e51b81526004016104b69061183a565b600782905560088290558115610c155760405162461bcd60e51b815260206004820152601360248201527205461782063616e6e6f7420657863656564203606c1b60448201526064016104b6565b506001919050565b6001600160a01b038316610c7f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104b6565b6001600160a01b038216610ce05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104b6565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610da55760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104b6565b6001600160a01b038216610e075760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104b6565b60008111610e695760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104b6565b600080546001600160a01b03858116911614801590610e9657506000546001600160a01b03848116911614155b156111c657601254600160a01b900460ff16610f31576001600160a01b03841660009081526003602052604090205460ff1680610eeb57506001600160a01b03831660009081526003602052604090205460ff165b610f315760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b9903737ba103cb2ba1037b832b760491b60448201526064016104b6565b6012546001600160a01b038581169116148015610f5c57506011546001600160a01b03848116911614155b8015610f8157506001600160a01b03831660009081526003602052604090205460ff16155b1561107b57601254600160a81b900460ff161561106557600d54821115610fea5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104b6565b600e548261100d856001600160a01b031660009081526001602052604090205490565b61101791906119f7565b11156110655760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104b6565b600c805490600061107583611a0a565b91905055505b6012546001600160a01b0384811691161480156110a157506001600160a01b0384163014155b156110d3576110cc6064610620600a54600c54116110c1576006546110c5565b6008545b8590611343565b9050611126565b6012546001600160a01b0385811691161480156110f957506001600160a01b0383163014155b15611126576111236064610620600954600c5411611119576005546110c5565b6007548590611343565b90505b30600090815260016020526040902054601254600160b01b900460ff1615801561115d57506012546001600160a01b038581169116145b80156111725750601254600160b81b900460ff165b801561117f5750600f5481115b801561118e5750600b54600c54115b156111c4576111b06111ab846111a684601054611450565b611450565b611465565b4780156111c2576111c0476115df565b505b505b505b801561124057306000908152600160205260409020546111e69082611612565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112379085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054611263908361140e565b6001600160a01b0385166000908152600160205260409020556112a8611289838361140e565b6001600160a01b03851660009081526001602052604090205490611612565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112f2858561140e565b60405190815260200160405180910390a350505050565b6000818484111561132d5760405162461bcd60e51b81526004016104b6919061169f565b50600061133a8486611a23565b95945050505050565b60008260000361135557506000610485565b60006113618385611978565b90508261136e8583611a36565b146113c55760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104b6565b9392505050565b60006113c583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611671565b60006113c583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611309565b600081831161145f57826113c5565b50919050565b6012805460ff60b01b1916600160b01b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106114ad576114ad611a58565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611506573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061152a919061198f565b8160018151811061153d5761153d611a58565b6001600160a01b0392831660209182029290920101526011546115639130911684610c1d565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac9479061159c908590600090869030904290600401611a6e565b600060405180830381600087803b1580156115b657600080fd5b505af11580156115ca573d6000803e3d6000fd5b50506012805460ff60b01b1916905550505050565b60045460405160009182916001600160a01b039091169084156108fc0290859084818181858888f1979650505050505050565b60008061161f83856119f7565b9050838110156113c55760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104b6565b600081836116925760405162461bcd60e51b81526004016104b6919061169f565b50600061133a8486611a36565b600060208083528351808285015260005b818110156116cc578581018301518582016040015282016116b0565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461170257600080fd5b50565b6000806040838503121561171857600080fd5b8235611723816116ed565b946020939093013593505050565b801515811461170257600080fd5b60006020828403121561175157600080fd5b81356113c581611731565b60008060006060848603121561177157600080fd5b833561177c816116ed565b9250602084013561178c816116ed565b929592945050506040919091013590565b6000602082840312156117af57600080fd5b81356113c5816116ed565b600080604083850312156117cd57600080fd5b82356117d8816116ed565b915060208301356117e881611731565b809150509250929050565b6000806040838503121561180657600080fd5b8235611811816116ed565b915060208301356117e8816116ed565b60006020828403121561183357600080fd5b5035919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156118c05781600019048211156118a6576118a661186f565b808516156118b357918102915b93841c939080029061188a565b509250929050565b6000826118d757506001610485565b816118e457506000610485565b81600181146118fa576002811461190457611920565b6001915050610485565b60ff8411156119155761191561186f565b50506001821b610485565b5060208310610133831016604e8410600b8410161715611943575081810a610485565b61194d8383611885565b80600019048211156119615761196161186f565b029392505050565b60006113c560ff8416836118c8565b80820281158282048414176104855761048561186f565b6000602082840312156119a157600080fd5b81516113c5816116ed565b6000806000606084860312156119c157600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156119ec57600080fd5b81516113c581611731565b808201808211156104855761048561186f565b600060018201611a1c57611a1c61186f565b5060010190565b818103818111156104855761048561186f565b600082611a5357634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611abe5784516001600160a01b031683529383019391830191600101611a99565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212204f3e2a6ce49f8df1e1c047a60f0c99d03f231a053a54bda9c443b818de80b9b464736f6c63430008130033

0x6080604052600436106101445760003560e01c8063751039fc116100b6578063a92d4a921161006f578063a92d4a92146103ae578063bf474bed146103c3578063c0246668146103d9578063c9567bf9146103f9578063dd62ed3e1461040e578063ef9858941461045457600080fd5b8063751039fc146102f35780637d1db4a5146103085780638da5cb5b1461031e5780638f9a55c01461034657806395d89b411461035c578063a9059cbb1461038e57600080fd5b806323b872dd1161010857806323b872dd1461021c578063313ce5671461023c57806342e99d1a146102585780634fbee1931461026f57806370a08231146102a8578063715018a6146102de57600080fd5b806306fdde0314610150578063095ea7b3146101935780630faee56f146101c357806314f89c98146101e757806318160ddd1461020757600080fd5b3661014b57005b600080fd5b34801561015c57600080fd5b50604080518082019091526008815267434f524e454c4c4160c01b60208201525b60405161018a919061169f565b60405180910390f35b34801561019f57600080fd5b506101b36101ae366004611705565b610474565b604051901515815260200161018a565b3480156101cf57600080fd5b506101d960105481565b60405190815260200161018a565b3480156101f357600080fd5b506101b361020236600461173f565b61048b565b34801561021357600080fd5b506101d96104e0565b34801561022857600080fd5b506101b361023736600461175c565b610501565b34801561024857600080fd5b506040516009815260200161018a565b34801561026457600080fd5b5061026d61056a565b005b34801561027b57600080fd5b506101b361028a36600461179d565b6001600160a01b031660009081526003602052604090205460ff1690565b3480156102b457600080fd5b506101d96102c336600461179d565b6001600160a01b031660009081526001602052604090205490565b3480156102ea57600080fd5b5061026d610943565b3480156102ff57600080fd5b506101b36109b7565b34801561031457600080fd5b506101d9600d5481565b34801561032a57600080fd5b506000546040516001600160a01b03909116815260200161018a565b34801561035257600080fd5b506101d9600e5481565b34801561036857600080fd5b5060408051808201909152600981526824434f524e454c4c4160b81b602082015261017d565b34801561039a57600080fd5b506101b36103a9366004611705565b6109f5565b3480156103ba57600080fd5b506101b3610a02565b3480156103cf57600080fd5b506101d9600f5481565b3480156103e557600080fd5b5061026d6103f43660046117ba565b610aa3565b34801561040557600080fd5b506101b3610af8565b34801561041a57600080fd5b506101d96104293660046117f3565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561046057600080fd5b506101b361046f366004611821565b610b9c565b6000610481338484610c1d565b5060015b92915050565b600080546001600160a01b031633146104bf5760405162461bcd60e51b81526004016104b69061183a565b60405180910390fd5b5060128054821515600160b81b0260ff60b81b199091161790556001919050565b60006104ee6009600a611969565b6104fc906305f5e100611978565b905090565b600061050e848484610d41565b610560843361055b85604051806060016040528060288152602001611ae0602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611309565b610c1d565b5060019392505050565b6000546001600160a01b031633146105945760405162461bcd60e51b81526004016104b69061183a565b601254600160a01b900460ff16156105ee5760405162461bcd60e51b815260206004820152601a60248201527f4c697175696469747920697320616c726561647920616464656400000000000060448201526064016104b6565b600061063c61062660646106206005546009600a61060c9190611969565b61061a906305f5e100611978565b90611343565b906113cc565b306000908152600160205260409020549061140e565b601180546001600160a01b031916734752ba5dbc23f44d87826276bf6fd6b1c372ad2490811790915590915061068890309061067a6009600a611969565b61055b906305f5e100611978565b601160009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106db573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106ff919061198f565b6001600160a01b031663c9c6539630601160009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610761573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610785919061198f565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156107d2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f6919061198f565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d7194730846000806108356000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561089d573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108c291906119ac565b505060125460115460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af115801561091b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061093f91906119da565b5050565b6000546001600160a01b0316331461096d5760405162461bcd60e51b81526004016104b69061183a565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b600080546001600160a01b031633146109e25760405162461bcd60e51b81526004016104b69061183a565b506012805460ff60a81b19169055600190565b6000610481338484610d41565b601254600090600160a01b900460ff16610a585760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b9903737ba103cb2ba1037b832b760491b60448201526064016104b6565b478015610a9b576004546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015610a99573d6000803e3d6000fd5b505b600191505090565b6000546001600160a01b03163314610acd5760405162461bcd60e51b81526004016104b69061183a565b6001600160a01b03919091166000908152600360205260409020805460ff1916911515919091179055565b600080546001600160a01b03163314610b235760405162461bcd60e51b81526004016104b69061183a565b601254600160a01b900460ff1615610b7d5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104b6565b506012805463ff0000ff60a01b1916630100000160a01b179055600190565b600080546001600160a01b03163314610bc75760405162461bcd60e51b81526004016104b69061183a565b600782905560088290558115610c155760405162461bcd60e51b815260206004820152601360248201527205461782063616e6e6f7420657863656564203606c1b60448201526064016104b6565b506001919050565b6001600160a01b038316610c7f5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104b6565b6001600160a01b038216610ce05760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104b6565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610da55760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104b6565b6001600160a01b038216610e075760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104b6565b60008111610e695760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104b6565b600080546001600160a01b03858116911614801590610e9657506000546001600160a01b03848116911614155b156111c657601254600160a01b900460ff16610f31576001600160a01b03841660009081526003602052604090205460ff1680610eeb57506001600160a01b03831660009081526003602052604090205460ff165b610f315760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b9903737ba103cb2ba1037b832b760491b60448201526064016104b6565b6012546001600160a01b038581169116148015610f5c57506011546001600160a01b03848116911614155b8015610f8157506001600160a01b03831660009081526003602052604090205460ff16155b1561107b57601254600160a81b900460ff161561106557600d54821115610fea5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104b6565b600e548261100d856001600160a01b031660009081526001602052604090205490565b61101791906119f7565b11156110655760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104b6565b600c805490600061107583611a0a565b91905055505b6012546001600160a01b0384811691161480156110a157506001600160a01b0384163014155b156110d3576110cc6064610620600a54600c54116110c1576006546110c5565b6008545b8590611343565b9050611126565b6012546001600160a01b0385811691161480156110f957506001600160a01b0383163014155b15611126576111236064610620600954600c5411611119576005546110c5565b6007548590611343565b90505b30600090815260016020526040902054601254600160b01b900460ff1615801561115d57506012546001600160a01b038581169116145b80156111725750601254600160b81b900460ff165b801561117f5750600f5481115b801561118e5750600b54600c54115b156111c4576111b06111ab846111a684601054611450565b611450565b611465565b4780156111c2576111c0476115df565b505b505b505b801561124057306000908152600160205260409020546111e69082611612565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906112379085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054611263908361140e565b6001600160a01b0385166000908152600160205260409020556112a8611289838361140e565b6001600160a01b03851660009081526001602052604090205490611612565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6112f2858561140e565b60405190815260200160405180910390a350505050565b6000818484111561132d5760405162461bcd60e51b81526004016104b6919061169f565b50600061133a8486611a23565b95945050505050565b60008260000361135557506000610485565b60006113618385611978565b90508261136e8583611a36565b146113c55760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104b6565b9392505050565b60006113c583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611671565b60006113c583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611309565b600081831161145f57826113c5565b50919050565b6012805460ff60b01b1916600160b01b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106114ad576114ad611a58565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611506573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061152a919061198f565b8160018151811061153d5761153d611a58565b6001600160a01b0392831660209182029290920101526011546115639130911684610c1d565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac9479061159c908590600090869030904290600401611a6e565b600060405180830381600087803b1580156115b657600080fd5b505af11580156115ca573d6000803e3d6000fd5b50506012805460ff60b01b1916905550505050565b60045460405160009182916001600160a01b039091169084156108fc0290859084818181858888f1979650505050505050565b60008061161f83856119f7565b9050838110156113c55760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104b6565b600081836116925760405162461bcd60e51b81526004016104b6919061169f565b50600061133a8486611a36565b600060208083528351808285015260005b818110156116cc578581018301518582016040015282016116b0565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461170257600080fd5b50565b6000806040838503121561171857600080fd5b8235611723816116ed565b946020939093013593505050565b801515811461170257600080fd5b60006020828403121561175157600080fd5b81356113c581611731565b60008060006060848603121561177157600080fd5b833561177c816116ed565b9250602084013561178c816116ed565b929592945050506040919091013590565b6000602082840312156117af57600080fd5b81356113c5816116ed565b600080604083850312156117cd57600080fd5b82356117d8816116ed565b915060208301356117e881611731565b809150509250929050565b6000806040838503121561180657600080fd5b8235611811816116ed565b915060208301356117e8816116ed565b60006020828403121561183357600080fd5b5035919050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156118c05781600019048211156118a6576118a661186f565b808516156118b357918102915b93841c939080029061188a565b509250929050565b6000826118d757506001610485565b816118e457506000610485565b81600181146118fa576002811461190457611920565b6001915050610485565b60ff8411156119155761191561186f565b50506001821b610485565b5060208310610133831016604e8410600b8410161715611943575081810a610485565b61194d8383611885565b80600019048211156119615761196161186f565b029392505050565b60006113c560ff8416836118c8565b80820281158282048414176104855761048561186f565b6000602082840312156119a157600080fd5b81516113c5816116ed565b6000806000606084860312156119c157600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156119ec57600080fd5b81516113c581611731565b808201808211156104855761048561186f565b600060018201611a1c57611a1c61186f565b5060010190565b818103818111156104855761048561186f565b600082611a5357634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611abe5784516001600160a01b031683529383019391830191600101611a99565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212204f3e2a6ce49f8df1e1c047a60f0c99d03f231a053a54bda9c443b818de80b9b464736f6c63430008130033

5343:8916:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7255:83;;;;;;;;;;-1:-1:-1;7325:5:0;;;;;;;;;;;;-1:-1:-1;;;7325:5:0;;;;7255:83;;;;;;;:::i;:::-;;;;;;;;8088:161;;;;;;;;;;-1:-1:-1;8088:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;8088:161:0;1023:187:1;6454:51:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;6454:51:0;1215:177:1;13604:129:0;;;;;;;;;;-1:-1:-1;13604:129:0;;;;;:::i;:::-;;:::i;7532:95::-;;;;;;;;;;;;;:::i;8257:313::-;;;;;;;;;;-1:-1:-1;8257:313:0;;;;;:::i;:::-;;:::i;7441:83::-;;;;;;;;;;-1:-1:-1;7441:83:0;;6079:1;2369:36:1;;2357:2;2342:18;7441:83:0;2227:184:1;12403:837:0;;;;;;;;;;;;;:::i;:::-;;9061:124;;;;;;;;;;-1:-1:-1;9061:124:0;;;;;:::i;:::-;-1:-1:-1;;;;;9150:27:0;9126:4;9150:27;;;:18;:27;;;;;;;;;9061:124;7635:119;;;;;;;;;;-1:-1:-1;7635:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;7728:18:0;7701:7;7728:18;;;:9;:18;;;;;;;7635:119;4424:148;;;;;;;;;;;;;:::i;13248:118::-;;;;;;;;;;;;;:::i;6269:53::-;;;;;;;;;;;;;;;;4210:79;;;;;;;;;;-1:-1:-1;4248:7:0;4275:6;4210:79;;-1:-1:-1;;;;;4275:6:0;;;2814:51:1;;2802:2;2787:18;4210:79:0;2668:203:1;6329:55:0;;;;;;;;;;;;;;;;7346:87;;;;;;;;;;-1:-1:-1;7418:7:0;;;;;;;;;;;;-1:-1:-1;;;7418:7:0;;;;7346:87;;7762:167;;;;;;;;;;-1:-1:-1;7762:167:0;;;;;:::i;:::-;;:::i;13952:269::-;;;;;;;;;;;;;:::i;6391:56::-;;;;;;;;;;;;;;;;8921:132;;;;;;;;;;-1:-1:-1;8921:132:0;;;;;:::i;:::-;;:::i;13741:203::-;;;;;;;;;;;;;:::i;7937:143::-;;;;;;;;;;-1:-1:-1;7937:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;8045:18:0;;;8018:7;8045:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7937:143;13378:218;;;;;;;;;;-1:-1:-1;13378:218:0;;;;;:::i;:::-;;:::i;8088:161::-;8163:4;8180:39;2045:10;8203:7;8212:6;8180:8;:39::i;:::-;-1:-1:-1;8237:4:0;8088:161;;;;;:::o;13604:129::-;13664:4;4337:6;;-1:-1:-1;;;;;4337:6:0;2045:10;4337:22;4329:67;;;;-1:-1:-1;;;4329:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;13681:11:0::1;:22:::0;;;::::1;;-1:-1:-1::0;;;13681:22:0::1;-1:-1:-1::0;;;;13681:22:0;;::::1;;::::0;;-1:-1:-1;13604:129:0;;;:::o;7532:95::-;7585:7;6134:13;6079:1;6134:2;:13;:::i;:::-;6122:25;;:9;:25;:::i;:::-;7605:14;;7532:95;:::o;8257:313::-;8355:4;8372:36;8382:6;8390:9;8401:6;8372:9;:36::i;:::-;8419:121;8428:6;2045:10;8450:89;8488:6;8450:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8450:19:0;;;;;;:11;:19;;;;;;;;2045:10;8450:33;;;;;;;;;;:37;:89::i;:::-;8419:8;:121::i;:::-;-1:-1:-1;8558:4:0;8257:313;;;;;:::o;12403:837::-;4337:6;;-1:-1:-1;;;;;4337:6:0;2045:10;4337:22;4329:67;;;;-1:-1:-1;;;4329:67:0;;;;;;;:::i;:::-;12468:11:::1;::::0;-1:-1:-1;;;12468:11:0;::::1;;;12467:12;12459:50;;;::::0;-1:-1:-1;;;12459:50:0;;6092:2:1;12459:50:0::1;::::0;::::1;6074:21:1::0;6131:2;6111:18;;;6104:30;6170:28;6150:18;;;6143:56;6216:18;;12459:50:0::1;5890:350:1::0;12459:50:0::1;12520:19;12542:66;12571:36;12603:3;12571:27;12583:14;;6079:1;6134:2;:13;;;;:::i;:::-;6122:25;::::0;:9:::1;:25;:::i;:::-;12571:11:::0;::::1;:27::i;:::-;:31:::0;::::1;:36::i;:::-;12560:4;7701:7:::0;7728:18;;;:9;:18;;;;;;12542:28;::::1;:66::i;:::-;12619:15;:80:::0;;-1:-1:-1;;;;;;12619:80:0::1;12656:42;12619:80:::0;;::::1;::::0;;;12520:88;;-1:-1:-1;12710:58:0::1;::::0;12727:4:::1;::::0;6134:13:::1;6079:1;6134:2;:13;:::i;:::-;6122:25;::::0;:9:::1;:25;:::i;12710:58::-;12813:15;;;;;;;;;-1:-1:-1::0;;;;;12813:15:0::1;-1:-1:-1::0;;;;;12813:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12795:55:0::1;;12873:4;12894:15;;;;;;;;;-1:-1:-1::0;;;;;12894:15:0::1;-1:-1:-1::0;;;;;12894:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12795:132;::::0;-1:-1:-1;;;;;;12795:132:0::1;::::0;;;;;;-1:-1:-1;;;;;6731:15:1;;;12795:132:0::1;::::0;::::1;6713:34:1::0;6783:15;;6763:18;;;6756:43;6648:18;;12795:132:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12779:13;:148:::0;;-1:-1:-1;;;;;12779:148:0;;::::1;-1:-1:-1::0;;;;;;12779:148:0;;::::1;;::::0;;12938:15:::1;::::0;::::1;:31;12977:21;13023:4;13043:11:::0;12779:13:::1;::::0;13101:7:::1;4248::::0;4275:6;-1:-1:-1;;;;;4275:6:0;;4210:79;13101:7:::1;12938:211;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12938:211:0;;;-1:-1:-1;;;;;7169:15:1;;;12938:211:0::1;::::0;::::1;7151:34:1::0;7201:18;;;7194:34;;;;7244:18;;;7237:34;;;;7287:18;;;7280:34;7351:15;;;7330:19;;;7323:44;13123:15:0::1;7383:19:1::0;;;7376:35;7085:19;;12938:211:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13167:13:0::1;::::0;13198:15:::1;::::0;13160:71:::1;::::0;-1:-1:-1;;;13160:71:0;;-1:-1:-1;;;;;13198:15:0;;::::1;13160:71;::::0;::::1;7907:51:1::0;-1:-1:-1;;7974:18:1;;;7967:34;13167:13:0;::::1;::::0;-1:-1:-1;13160:29:0::1;::::0;7880:18:1;;13160:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12448:792;12403:837::o:0;4424:148::-;4337:6;;-1:-1:-1;;;;;4337:6:0;2045:10;4337:22;4329:67;;;;-1:-1:-1;;;4329:67:0;;;;;;;:::i;:::-;4531:1:::1;4515:6:::0;;4494:40:::1;::::0;-1:-1:-1;;;;;4515:6:0;;::::1;::::0;4494:40:::1;::::0;4531:1;;4494:40:::1;4562:1;4545:19:::0;;-1:-1:-1;;;;;;4545:19:0::1;::::0;;4424:148::o;13248:118::-;13301:4;4337:6;;-1:-1:-1;;;;;4337:6:0;2045:10;4337:22;4329:67;;;;-1:-1:-1;;;4329:67:0;;;;;;;:::i;:::-;-1:-1:-1;13317:11:0::1;:19:::0;;-1:-1:-1;;;;13317:19:0::1;::::0;;;13248:118;:::o;7762:167::-;7840:4;7857:42;2045:10;7881:9;7892:6;7857:9;:42::i;13952:269::-;14020:11;;13995:4;;-1:-1:-1;;;14020:11:0;;;;14012:46;;;;-1:-1:-1;;;14012:46:0;;8464:2:1;14012:46:0;;;8446:21:1;8503:2;8483:18;;;8476:30;-1:-1:-1;;;8522:18:1;;;8515:53;8585:18;;14012:46:0;8262:347:1;14012:46:0;14088:21;14123:12;;14120:72;;14149:10;;:31;;-1:-1:-1;;;;;14149:10:0;;;;:31;;;;;14169:10;;14149;:31;:10;:31;14169:10;14149;:31;;;;;;;;;;;;;;;;;;;;;14120:72;14209:4;14202:11;;;13952:269;:::o;8921:132::-;4337:6;;-1:-1:-1;;;;;4337:6:0;2045:10;4337:22;4329:67;;;;-1:-1:-1;;;4329:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;9007:27:0;;;::::1;;::::0;;;:18:::1;:27;::::0;;;;:38;;-1:-1:-1;;9007:38:0::1;::::0;::::1;;::::0;;;::::1;::::0;;8921:132::o;13741:203::-;13792:4;4337:6;;-1:-1:-1;;;;;4337:6:0;2045:10;4337:22;4329:67;;;;-1:-1:-1;;;4329:67:0;;;;;;;:::i;:::-;13818:11:::1;::::0;-1:-1:-1;;;13818:11:0;::::1;;;13817:12;13809:47;;;::::0;-1:-1:-1;;;13809:47:0;;8816:2:1;13809:47:0::1;::::0;::::1;8798:21:1::0;8855:2;8835:18;;;8828:30;8894:25;8874:18;;;8867:53;8937:18;;13809:47:0::1;8614:347:1::0;13809:47:0::1;-1:-1:-1::0;13867:11:0::1;:18:::0;;-1:-1:-1;;;;13896:18:0;-1:-1:-1;;;13896:18:0;;;-1:-1:-1;;13741:203:0:o;13378:218::-;13442:4;4337:6;;-1:-1:-1;;;;;4337:6:0;2045:10;4337:22;4329:67;;;;-1:-1:-1;;;4329:67:0;;;;;;;:::i;:::-;13459:12:::1;:21:::0;;;13491:13:::1;:22:::0;;;13532:11;;13524:42:::1;;;::::0;-1:-1:-1;;;13524:42:0;;9168:2:1;13524:42:0::1;::::0;::::1;9150:21:1::0;9207:2;9187:18;;;9180:30;-1:-1:-1;;;9226:18:1;;;9219:49;9285:18;;13524:42:0::1;8966:343:1::0;13524:42:0::1;-1:-1:-1::0;13584:4:0::1;13378:218:::0;;;:::o;8578:335::-;-1:-1:-1;;;;;8671:19:0;;8663:68;;;;-1:-1:-1;;;8663:68:0;;9516:2:1;8663:68:0;;;9498:21:1;9555:2;9535:18;;;9528:30;9594:34;9574:18;;;9567:62;-1:-1:-1;;;9645:18:1;;;9638:34;9689:19;;8663:68:0;9314:400:1;8663:68:0;-1:-1:-1;;;;;8750:21:0;;8742:68;;;;-1:-1:-1;;;8742:68:0;;9921:2:1;8742:68:0;;;9903:21:1;9960:2;9940:18;;;9933:30;9999:34;9979:18;;;9972:62;-1:-1:-1;;;10050:18:1;;;10043:32;10092:19;;8742:68:0;9719:398:1;8742:68:0;-1:-1:-1;;;;;8821:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8873:32;;1361:25:1;;;8873:32:0;;1334:18:1;8873:32:0;;;;;;;8578:335;;;:::o;9193:2461::-;-1:-1:-1;;;;;9281:18:0;;9273:68;;;;-1:-1:-1;;;9273:68:0;;10324:2:1;9273:68:0;;;10306:21:1;10363:2;10343:18;;;10336:30;10402:34;10382:18;;;10375:62;-1:-1:-1;;;10453:18:1;;;10446:35;10498:19;;9273:68:0;10122:401:1;9273:68:0;-1:-1:-1;;;;;9360:16:0;;9352:64;;;;-1:-1:-1;;;9352:64:0;;10730:2:1;9352:64:0;;;10712:21:1;10769:2;10749:18;;;10742:30;10808:34;10788:18;;;10781:62;-1:-1:-1;;;10859:18:1;;;10852:33;10902:19;;9352:64:0;10528:399:1;9352:64:0;9444:1;9435:6;:10;9427:64;;;;-1:-1:-1;;;9427:64:0;;11134:2:1;9427:64:0;;;11116:21:1;11173:2;11153:18;;;11146:30;11212:34;11192:18;;;11185:62;-1:-1:-1;;;11263:18:1;;;11256:39;11312:19;;9427:64:0;10932:405:1;9427:64:0;9502:17;4275:6;;-1:-1:-1;;;;;9538:15:0;;;4275:6;;9538:15;;;;:32;;-1:-1:-1;4248:7:0;4275:6;-1:-1:-1;;;;;9557:13:0;;;4275:6;;9557:13;;9538:32;9534:1764;;;9595:11;;-1:-1:-1;;;9595:11:0;;;;9590:197;;-1:-1:-1;;;;;9656:24:0;;;;;;:18;:24;;;;;;;;;:50;;-1:-1:-1;;;;;;9684:22:0;;;;;;:18;:22;;;;;;;;9656:50;9627:144;;;;-1:-1:-1;;;9627:144:0;;8464:2:1;9627:144:0;;;8446:21:1;8503:2;8483:18;;;8476:30;-1:-1:-1;;;8522:18:1;;;8515:53;8585:18;;9627:144:0;8262:347:1;9627:144:0;9815:13;;-1:-1:-1;;;;;9807:21:0;;;9815:13;;9807:21;:55;;;;-1:-1:-1;9846:15:0;;-1:-1:-1;;;;;9832:30:0;;;9846:15;;9832:30;;9807:55;:83;;;;-1:-1:-1;;;;;;9868:22:0;;;;;;:18;:22;;;;;;;;9866:24;9807:83;9803:377;;;9916:11;;-1:-1:-1;;;9916:11:0;;;;9912:222;;;9970:12;;9960:6;:22;;9952:60;;;;-1:-1:-1;;;9952:60:0;;11544:2:1;9952:60:0;;;11526:21:1;11583:2;11563:18;;;11556:30;11622:27;11602:18;;;11595:55;11667:18;;9952:60:0;11342:349:1;9952:60:0;10069:14;;10059:6;10043:13;10053:2;-1:-1:-1;;;;;7728:18:0;7701:7;7728:18;;;:9;:18;;;;;;;7635:119;10043:13;:22;;;;:::i;:::-;:40;;10035:79;;;;-1:-1:-1;;;10035:79:0;;12028:2:1;10035:79:0;;;12010:21:1;12067:2;12047:18;;;12040:30;12106:28;12086:18;;;12079:56;12152:18;;10035:79:0;11826:350:1;10035:79:0;10153:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9803:377;10219:13;;-1:-1:-1;;;;;10213:19:0;;;10219:13;;10213:19;:43;;;;-1:-1:-1;;;;;;10236:20:0;;10251:4;10236:20;;10213:43;10208:471;;;10289:138;10405:3;10289:111;10330:16;;10320:9;;:26;10319:80;;10384:15;;10319:80;;;10370:13;;10319:80;10289:6;;:10;:111::i;:138::-;10277:150;;10208:471;;;10461:13;;-1:-1:-1;;;;;10453:21:0;;;10461:13;;10453:21;:43;;;;-1:-1:-1;;;;;;10478:18:0;;10491:4;10478:18;;10453:43;10449:230;;;10529:134;10641:3;10529:107;10569:15;;10559:9;;:25;10558:77;;10621:14;;10558:77;;;10608:12;;10529:6;;:10;:107::i;:134::-;10517:146;;10449:230;10744:4;10695:28;7728:18;;;:9;:18;;;;;;10788:6;;-1:-1:-1;;;10788:6:0;;;;10787:7;:48;;;;-1:-1:-1;10822:13:0;;-1:-1:-1;;;;;10816:19:0;;;10822:13;;10816:19;10787:48;:81;;;;-1:-1:-1;10857:11:0;;-1:-1:-1;;;10857:11:0;;;;10787:81;:141;;;;;10911:17;;10890:20;:38;10787:141;:191;;;;;10960:18;;10950:9;;:28;10787:191;10765:522;;;11012:67;11029:49;11033:6;11040:37;11044:20;11065:11;;11040:3;:37::i;:::-;11029:3;:49::i;:::-;11012:16;:67::i;:::-;11127:21;11170:22;;11167:105;;11217:35;11230:21;11217:12;:35::i;:::-;;11167:105;10993:294;10765:522;9572:1726;9534:1764;11313:11;;11310:161;;11381:4;11363:24;;;;:9;:24;;;;;;:39;;11392:9;11363:28;:39::i;:::-;11356:4;11338:24;;;;:9;:24;;;;;;;:64;;;;11420:39;;-1:-1:-1;;;;;11420:39:0;;;;;;;11449:9;1361:25:1;;1349:2;1334:18;;1215:177;11420:39:0;;;;;;;;11310:161;-1:-1:-1;;;;;11497:15:0;;;;;;:9;:15;;;;;;:27;;11517:6;11497:19;:27::i;:::-;-1:-1:-1;;;;;11481:15:0;;;;;;:9;:15;;;;;:43;11549:40;11567:21;:6;11578:9;11567:10;:21::i;:::-;-1:-1:-1;;;;;11549:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11535:13:0;;;;;;;:9;:13;;;;;:54;;;;11605:41;;;11624:21;:6;11635:9;11624:10;:21::i;:::-;11605:41;;1361:25:1;;;1349:2;1334:18;11605:41:0;;;;;;;9262:2392;9193:2461;;;:::o;3102:190::-;3188:7;3224:12;3216:6;;;;3208:29;;;;-1:-1:-1;;;3208:29:0;;;;;;;;:::i;:::-;-1:-1:-1;3248:9:0;3260:5;3264:1;3260;:5;:::i;:::-;3248:17;3102:190;-1:-1:-1;;;;;3102:190:0:o;3300:246::-;3358:7;3382:1;3387;3382:6;3378:47;;-1:-1:-1;3412:1:0;3405:8;;3378:47;3435:9;3447:5;3451:1;3447;:5;:::i;:::-;3435:17;-1:-1:-1;3480:1:0;3471:5;3475:1;3435:17;3471:5;:::i;:::-;:10;3463:56;;;;-1:-1:-1;;;3463:56:0;;12878:2:1;3463:56:0;;;12860:21:1;12917:2;12897:18;;;12890:30;12956:34;12936:18;;;12929:62;-1:-1:-1;;;13007:18:1;;;13000:31;13048:19;;3463:56:0;12676:397:1;3463:56:0;3537:1;3300:246;-1:-1:-1;;;3300:246:0:o;3554:132::-;3612:7;3639:39;3643:1;3646;3639:39;;;;;;;;;;;;;;;;;:3;:39::i;2958:136::-;3016:7;3043:43;3047:1;3050;3043:43;;;;;;;;;;;;;;;;;:3;:43::i;11806:98::-;11863:7;11890:1;11888;:3;11887:9;;11895:1;11887:9;;;-1:-1:-1;11893:1:0;11806:98;-1:-1:-1;11806:98:0:o;11912:483::-;6775:6;:13;;-1:-1:-1;;;;6775:13:0;-1:-1:-1;;;6775:13:0;;;12014:16:::1;::::0;;12028:1:::1;12014:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12014:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12014:16:0::1;11990:40;;12059:4;12041;12046:1;12041:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12041:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12085:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12085:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12041:7;;12085:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12075:4;12080:1;12075:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12075:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12150:15:::1;::::0;12118:62:::1;::::0;12135:4:::1;::::0;12150:15:::1;12168:11:::0;12118:8:::1;:62::i;:::-;12191:15;::::0;:196:::1;::::0;-1:-1:-1;;;12191:196:0;;-1:-1:-1;;;;;12191:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12272:11;;12191:15:::1;::::0;12314:4;;12341::::1;::::0;12361:15:::1;::::0;12191:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;6811:6:0;:14;;-1:-1:-1;;;;6811:14:0;;;-1:-1:-1;;;;11912:483:0:o;11662:136::-;11745:10;;:23;;11717:4;;;;-1:-1:-1;;;;;11745:10:0;;;;:23;;;;;11761:6;;11717:4;11745:23;11717:4;11745:23;11761:6;11745:10;:23;;;11662:136;-1:-1:-1;;;;;;;11662:136:0:o;2771:179::-;2829:7;;2861:5;2865:1;2861;:5;:::i;:::-;2849:17;;2890:1;2885;:6;;2877:46;;;;-1:-1:-1;;;2877:46:0;;14529:2:1;2877:46:0;;;14511:21:1;14568:2;14548:18;;;14541:30;14607:29;14587:18;;;14580:57;14654:18;;2877:46:0;14327:351:1;3694:189:0;3780:7;3815:12;3808:5;3800:28;;;;-1:-1:-1;;;3800:28:0;;;;;;;;:::i;:::-;-1:-1:-1;3839:9:0;3851:5;3855:1;3851;: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:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:118::-;1483:5;1476:13;1469:21;1462:5;1459:32;1449:60;;1505:1;1502;1495:12;1520:241;1576:6;1629:2;1617:9;1608:7;1604:23;1600:32;1597:52;;;1645:1;1642;1635:12;1597:52;1684:9;1671:23;1703:28;1725:5;1703:28;:::i;1766:456::-;1843:6;1851;1859;1912:2;1900:9;1891:7;1887:23;1883:32;1880:52;;;1928:1;1925;1918:12;1880:52;1967:9;1954:23;1986:31;2011:5;1986:31;:::i;:::-;2036:5;-1:-1:-1;2093:2:1;2078:18;;2065:32;2106:33;2065:32;2106:33;:::i;:::-;1766:456;;2158:7;;-1:-1:-1;;;2212:2:1;2197:18;;;;2184:32;;1766:456::o;2416:247::-;2475:6;2528:2;2516:9;2507:7;2503:23;2499:32;2496:52;;;2544:1;2541;2534:12;2496:52;2583:9;2570:23;2602:31;2627:5;2602:31;:::i;2876:382::-;2941:6;2949;3002:2;2990:9;2981:7;2977:23;2973:32;2970:52;;;3018:1;3015;3008:12;2970:52;3057:9;3044:23;3076:31;3101:5;3076:31;:::i;:::-;3126:5;-1:-1:-1;3183:2:1;3168:18;;3155:32;3196:30;3155:32;3196:30;:::i;:::-;3245:7;3235:17;;;2876:382;;;;;:::o;3263:388::-;3331:6;3339;3392:2;3380:9;3371:7;3367:23;3363:32;3360:52;;;3408:1;3405;3398:12;3360:52;3447:9;3434:23;3466:31;3491:5;3466:31;:::i;:::-;3516:5;-1:-1:-1;3573:2:1;3558:18;;3545:32;3586:33;3545:32;3586:33;:::i;3656:180::-;3715:6;3768:2;3756:9;3747:7;3743:23;3739:32;3736:52;;;3784:1;3781;3774:12;3736:52;-1:-1:-1;3807:23:1;;3656:180;-1:-1:-1;3656:180:1:o;3841:356::-;4043:2;4025:21;;;4062:18;;;4055:30;4121:34;4116:2;4101:18;;4094:62;4188:2;4173:18;;3841:356::o;4202:127::-;4263:10;4258:3;4254:20;4251:1;4244:31;4294:4;4291:1;4284:15;4318:4;4315:1;4308:15;4334:422;4423:1;4466:5;4423:1;4480:270;4501:7;4491:8;4488:21;4480:270;;;4560:4;4556:1;4552:6;4548:17;4542:4;4539:27;4536:53;;;4569:18;;:::i;:::-;4619:7;4609:8;4605:22;4602:55;;;4639:16;;;;4602:55;4718:22;;;;4678:15;;;;4480:270;;;4484:3;4334:422;;;;;:::o;4761:806::-;4810:5;4840:8;4830:80;;-1:-1:-1;4881:1:1;4895:5;;4830:80;4929:4;4919:76;;-1:-1:-1;4966:1:1;4980:5;;4919:76;5011:4;5029:1;5024:59;;;;5097:1;5092:130;;;;5004:218;;5024:59;5054:1;5045:10;;5068:5;;;5092:130;5129:3;5119:8;5116:17;5113:43;;;5136:18;;:::i;:::-;-1:-1:-1;;5192:1:1;5178:16;;5207:5;;5004:218;;5306:2;5296:8;5293:16;5287:3;5281:4;5278:13;5274:36;5268:2;5258:8;5255:16;5250:2;5244:4;5241:12;5237:35;5234:77;5231:159;;;-1:-1:-1;5343:19:1;;;5375:5;;5231:159;5422:34;5447:8;5441:4;5422:34;:::i;:::-;5492:6;5488:1;5484:6;5480:19;5471:7;5468:32;5465:58;;;5503:18;;:::i;:::-;5541:20;;4761:806;-1:-1:-1;;;4761:806:1:o;5572:140::-;5630:5;5659:47;5700:4;5690:8;5686:19;5680:4;5659:47;:::i;5717:168::-;5790:9;;;5821;;5838:15;;;5832:22;;5818:37;5808:71;;5859:18;;:::i;6245:251::-;6315:6;6368:2;6356:9;6347:7;6343:23;6339:32;6336:52;;;6384:1;6381;6374:12;6336:52;6416:9;6410:16;6435:31;6460:5;6435:31;:::i;7422:306::-;7510:6;7518;7526;7579:2;7567:9;7558:7;7554:23;7550:32;7547:52;;;7595:1;7592;7585:12;7547:52;7624:9;7618:16;7608:26;;7674:2;7663:9;7659:18;7653:25;7643:35;;7718:2;7707:9;7703:18;7697:25;7687:35;;7422:306;;;;;:::o;8012:245::-;8079:6;8132:2;8120:9;8111:7;8107:23;8103:32;8100:52;;;8148:1;8145;8138:12;8100:52;8180:9;8174:16;8199:28;8221:5;8199:28;:::i;11696:125::-;11761:9;;;11782:10;;;11779:36;;;11795:18;;:::i;12181:135::-;12220:3;12241:17;;;12238:43;;12261:18;;:::i;:::-;-1:-1:-1;12308:1:1;12297:13;;12181:135::o;12321:128::-;12388:9;;;12409:11;;;12406:37;;;12423:18;;:::i;12454:217::-;12494:1;12520;12510:132;;12564:10;12559:3;12555:20;12552:1;12545:31;12599:4;12596:1;12589:15;12627:4;12624:1;12617:15;12510:132;-1:-1:-1;12656:9:1;;12454:217::o;13210:127::-;13271:10;13266:3;13262:20;13259:1;13252:31;13302:4;13299:1;13292:15;13326:4;13323:1;13316:15;13342:980;13604:4;13652:3;13641:9;13637:19;13683:6;13672:9;13665:25;13709:2;13747:6;13742:2;13731:9;13727:18;13720:34;13790:3;13785:2;13774:9;13770:18;13763:31;13814:6;13849;13843:13;13880:6;13872;13865:22;13918:3;13907:9;13903:19;13896:26;;13957:2;13949:6;13945:15;13931:29;;13978:1;13988:195;14002:6;13999:1;13996:13;13988:195;;;14067:13;;-1:-1:-1;;;;;14063:39:1;14051:52;;14158:15;;;;14123:12;;;;14099:1;14017:9;13988:195;;;-1:-1:-1;;;;;;;14239:32:1;;;;14234:2;14219:18;;14212:60;-1:-1:-1;;;14303:3:1;14288:19;14281:35;14200:3;13342:980;-1:-1:-1;;;13342:980:1:o

ipfs://4f3e2a6ce49f8df1e1c047a60f0c99d03f231a053a54bda9c443b818de80b9b4