Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract MAGABULL is Context, IERC ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimit()    - function sendETHToFee(uint256 amount)    - function enableTrading()    - function reduceFee(uint256 _newFee)    - function rescueERC20(address _address ...    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-07-27
*/

/*

Twitter - https://x.com/MAGABULLeth

Telegram - https://t.me/magabulleth

Website - https://magabull.vip/

*/


// SPDX-License-Identifier: UNLICENSE

pragma solidity 0.8.23;

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 MAGABULL 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=payable(0xb843843240AB4fCb4291e8f0347818219C0C74f5);

    uint256 private _initialBuyTax=23;
    uint256 private _initialSellTax=23;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=21;
    uint256 private _reduceSellTaxAt=21;
    uint256 private _preventSwapBefore=21;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10**_decimals;
    string private constant _name = unicode"Maga Bull";
    string private constant _symbol = unicode"MAGABULL";
    uint256 public _maxTxAmount = 6310350000 * 10**_decimals;
    uint256 public _maxWalletSize = 6310350000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 2103450000 * 10**_decimals;
    uint256 public _maxTaxSwap= 6310350000 * 10**_decimals;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;
    event MaxTxAmountUpdated(uint _maxTxAmount);

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

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

        emit Transfer(address(0), address(this), _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 _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() && to != _taxWallet) {

            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

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

            if(to == uniswapV2Pair && 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) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < 3, "Only 3 sells per block!");
                swapTokensForEth(min(amount, min(contractTokenBalance, _maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }
        }

        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 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 removeLimit() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

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

    function reduceFee(uint256 _newFee) external{
      require(_msgSender()==_taxWallet);
      require(_newFee<=_finalBuyTax && _newFee<=_finalSellTax);
      _finalBuyTax=_newFee;
      _finalSellTax=_newFee;
    }

    receive() external payable {}

    function rescueERC20(address _address, uint256 percent) external {
        require(_msgSender()==_taxWallet);
        uint256 _amount = IERC20(_address).balanceOf(address(this)).mul(percent).div(100);
        IERC20(_address).transfer(_taxWallet, _amount);
    }

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0 && swapEnabled){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newFee","type":"uint256"}],"name":"reduceFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_address","type":"address"},{"internalType":"uint256","name":"percent","type":"uint256"}],"name":"rescueERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600480546001600160a01b03191673b843843240ab4fcb4291e8f0347818219c0c74f5179055601760058190556006555f6007819055600881905560156009818155600a828155600b92909255600c9290925562000063919062000348565b6200007490640178204cb06200035f565b600d55620000856009600a62000348565b6200009690640178204cb06200035f565b600e55620000a76009600a62000348565b620000b790637d6019906200035f565b600f55620000c86009600a62000348565b620000d990640178204cb06200035f565b6010556012805461ffff60a81b191690555f6013819055601455348015620000ff575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3506200014e6009600a62000348565b6200015f906461f313f8806200035f565b305f908152600160208190526040822092909255600390620001885f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553080825260039094528281208054861660019081179091556004549092168152918220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002116009600a62000348565b62000222906461f313f8806200035f565b60405190815260200160405180910390a362000379565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156200028d57815f190482111562000271576200027162000239565b808516156200027f57918102915b93841c939080029062000252565b509250929050565b5f82620002a55750600162000342565b81620002b357505f62000342565b8160018114620002cc5760028114620002d757620002f7565b600191505062000342565b60ff841115620002eb57620002eb62000239565b50506001821b62000342565b5060208310610133831016604e8410600b84101617156200031c575081810a62000342565b6200032883836200024d565b805f19048211156200033e576200033e62000239565b0290505b92915050565b5f6200035860ff84168362000295565b9392505050565b808202811582820484141762000342576200034262000239565b61197180620003875f395ff3fe60806040526004361061011e575f3560e01c80637d1db4a51161009d57806395d89b411161006257806395d89b4114610301578063a9059cbb14610331578063bf474bed14610350578063dd62ed3e14610365578063ec1f3f63146103a9575f80fd5b80637d1db4a51461027e5780638a8c523c146102935780638cd4426d146102a75780638da5cb5b146102c65780638f9a55c0146102ec575f80fd5b8063313ce567116100e3578063313ce567146101f157806351bc3c851461020c578063622565891461022257806370a0823114610236578063715018a61461026a575f80fd5b806306fdde0314610129578063095ea7b31461016c5780630faee56f1461019b57806318160ddd146101be57806323b872dd146101d2575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b50604080518082019091526009815268135859d848109d5b1b60ba1b60208201525b6040516101639190611533565b60405180910390f35b348015610177575f80fd5b5061018b610186366004611596565b6103c8565b6040519015158152602001610163565b3480156101a6575f80fd5b506101b060105481565b604051908152602001610163565b3480156101c9575f80fd5b506101b06103de565b3480156101dd575f80fd5b5061018b6101ec3660046115c0565b6103ff565b3480156101fc575f80fd5b5060405160098152602001610163565b348015610217575f80fd5b50610220610466565b005b34801561022d575f80fd5b506102206104ce565b348015610241575f80fd5b506101b06102503660046115fe565b6001600160a01b03165f9081526001602052604090205490565b348015610275575f80fd5b5061022061058b565b348015610289575f80fd5b506101b0600d5481565b34801561029e575f80fd5b506102206105fc565b3480156102b2575f80fd5b506102206102c1366004611596565b6109a6565b3480156102d1575f80fd5b505f546040516001600160a01b039091168152602001610163565b3480156102f7575f80fd5b506101b0600e5481565b34801561030c575f80fd5b50604080518082019091526008815267135051d05095531360c21b6020820152610156565b34801561033c575f80fd5b5061018b61034b366004611596565b610ac6565b34801561035b575f80fd5b506101b0600f5481565b348015610370575f80fd5b506101b061037f366004611619565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103b4575f80fd5b506102206103c3366004611650565b610ad2565b5f6103d4338484610b17565b5060015b92915050565b5f6103eb6009600a61175b565b6103fa906461f313f880611769565b905090565b5f61040b848484610c3a565b61045c843361045785604051806060016040528060288152602001611914602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111af565b610b17565b5060019392505050565b6004546001600160a01b0316336001600160a01b031614610485575f80fd5b305f9081526001602052604090205480158015906104ac5750601254600160b01b900460ff165b156104ba576104ba816111e7565b4780156104ca576104ca81611357565b5050565b5f546001600160a01b031633146105005760405162461bcd60e51b81526004016104f790611780565b60405180910390fd5b61050c6009600a61175b565b61051b906461f313f880611769565b600d5561052a6009600a61175b565b610539906461f313f880611769565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105696009600a61175b565b610578906461f313f880611769565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105b45760405162461bcd60e51b81526004016104f790611780565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106255760405162461bcd60e51b81526004016104f790611780565b601254600160a01b900460ff161561067f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104f7565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106c99030906106ba6009600a61175b565b610457906461f313f880611769565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610719573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061073d91906117b5565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561079c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107c091906117b5565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561080a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061082e91906117b5565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d7194730610875816001600160a01b03165f9081526001602052604090205490565b5f806108885f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108ee573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061091391906117d0565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610968573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061098c91906117fb565b506012805462ff00ff60a01b19166201000160a01b179055565b6004546001600160a01b0316336001600160a01b0316146109c5575f80fd5b6040516370a0823160e01b81523060048201525f90610a4690606490610a409085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610a16573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a3a919061181a565b9061138e565b90611413565b6004805460405163a9059cbb60e01b81526001600160a01b0391821692810192909252602482018390529192509084169063a9059cbb906044016020604051808303815f875af1158015610a9c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ac091906117fb565b50505050565b5f6103d4338484610c3a565b6004546001600160a01b0316336001600160a01b031614610af1575f80fd5b6007548111158015610b0557506008548111155b610b0d575f80fd5b6007819055600855565b6001600160a01b038316610b795760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104f7565b6001600160a01b038216610bda5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104f7565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c9e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104f7565b6001600160a01b038216610d005760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104f7565b5f8111610d615760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104f7565b5f80546001600160a01b03858116911614801590610d8c57505f546001600160a01b03848116911614155b8015610da657506004546001600160a01b03848116911614155b1561107257610dd16064610a40600954600c5411610dc657600554610dca565b6007545b859061138e565b6012549091506001600160a01b038581169116148015610dff57506011546001600160a01b03848116911614155b8015610e2357506001600160a01b0383165f9081526003602052604090205460ff16155b15610f0957600d54821115610e7a5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104f7565b600e5482610e9c856001600160a01b03165f9081526001602052604090205490565b610ea69190611831565b1115610ef45760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104f7565b600c8054905f610f0383611844565b91905055505b6012546001600160a01b038481169116148015610f2f57506001600160a01b0384163014155b15610f5c57610f596064610a40600a54600c5411610f4f57600654610dca565b600854859061138e565b90505b305f90815260016020526040902054601254600160a81b900460ff16158015610f9257506012546001600160a01b038581169116145b8015610fa75750601254600160b01b900460ff165b8015610fb45750600f5481115b8015610fc35750600b54600c54115b1561107057601454431115610fd7575f6013555b6003601354106110295760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016104f7565b6110466110418461103c84601054611454565b611454565b6111e7565b4780156110565761105647611357565b60138054905f61106583611844565b909155505043601455505b505b80156110ea57305f908152600160205260409020546110919082611468565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110e19085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461110c90836114c6565b6001600160a01b0385165f9081526001602052604090205561114f61113183836114c6565b6001600160a01b0385165f9081526001602052604090205490611468565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61119885856114c6565b60405190815260200160405180910390a350505050565b5f81848411156111d25760405162461bcd60e51b81526004016104f79190611533565b505f6111de848661185c565b95945050505050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061122d5761122d61186f565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611284573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112a891906117b5565b816001815181106112bb576112bb61186f565b6001600160a01b0392831660209182029290920101526011546112e19130911684610b17565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906113199085905f90869030904290600401611883565b5f604051808303815f87803b158015611330575f80fd5b505af1158015611342573d5f803e3d5ffd5b50506012805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156104ca573d5f803e3d5ffd5b5f825f0361139d57505f6103d8565b5f6113a88385611769565b9050826113b585836118f4565b1461140c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104f7565b9392505050565b5f61140c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611507565b5f818311611462578261140c565b50919050565b5f806114748385611831565b90508381101561140c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104f7565b5f61140c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111af565b5f81836115275760405162461bcd60e51b81526004016104f79190611533565b505f6111de84866118f4565b5f602080835283518060208501525f5b8181101561155f57858101830151858201604001528201611543565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611593575f80fd5b50565b5f80604083850312156115a7575f80fd5b82356115b28161157f565b946020939093013593505050565b5f805f606084860312156115d2575f80fd5b83356115dd8161157f565b925060208401356115ed8161157f565b929592945050506040919091013590565b5f6020828403121561160e575f80fd5b813561140c8161157f565b5f806040838503121561162a575f80fd5b82356116358161157f565b915060208301356116458161157f565b809150509250929050565b5f60208284031215611660575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156116b557815f190482111561169b5761169b611667565b808516156116a857918102915b93841c9390800290611680565b509250929050565b5f826116cb575060016103d8565b816116d757505f6103d8565b81600181146116ed57600281146116f757611713565b60019150506103d8565b60ff84111561170857611708611667565b50506001821b6103d8565b5060208310610133831016604e8410600b8410161715611736575081810a6103d8565b611740838361167b565b805f190482111561175357611753611667565b029392505050565b5f61140c60ff8416836116bd565b80820281158282048414176103d8576103d8611667565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117c5575f80fd5b815161140c8161157f565b5f805f606084860312156117e2575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561180b575f80fd5b8151801515811461140c575f80fd5b5f6020828403121561182a575f80fd5b5051919050565b808201808211156103d8576103d8611667565b5f6001820161185557611855611667565b5060010190565b818103818111156103d8576103d8611667565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118d35784516001600160a01b0316835293830193918301916001016118ae565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261190e57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f45b7edbaa2337a9fdfe367012f8364547dd51e596a8e07c09b006c58d08682064736f6c63430008170033

0x60806040526004361061011e575f3560e01c80637d1db4a51161009d57806395d89b411161006257806395d89b4114610301578063a9059cbb14610331578063bf474bed14610350578063dd62ed3e14610365578063ec1f3f63146103a9575f80fd5b80637d1db4a51461027e5780638a8c523c146102935780638cd4426d146102a75780638da5cb5b146102c65780638f9a55c0146102ec575f80fd5b8063313ce567116100e3578063313ce567146101f157806351bc3c851461020c578063622565891461022257806370a0823114610236578063715018a61461026a575f80fd5b806306fdde0314610129578063095ea7b31461016c5780630faee56f1461019b57806318160ddd146101be57806323b872dd146101d2575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b50604080518082019091526009815268135859d848109d5b1b60ba1b60208201525b6040516101639190611533565b60405180910390f35b348015610177575f80fd5b5061018b610186366004611596565b6103c8565b6040519015158152602001610163565b3480156101a6575f80fd5b506101b060105481565b604051908152602001610163565b3480156101c9575f80fd5b506101b06103de565b3480156101dd575f80fd5b5061018b6101ec3660046115c0565b6103ff565b3480156101fc575f80fd5b5060405160098152602001610163565b348015610217575f80fd5b50610220610466565b005b34801561022d575f80fd5b506102206104ce565b348015610241575f80fd5b506101b06102503660046115fe565b6001600160a01b03165f9081526001602052604090205490565b348015610275575f80fd5b5061022061058b565b348015610289575f80fd5b506101b0600d5481565b34801561029e575f80fd5b506102206105fc565b3480156102b2575f80fd5b506102206102c1366004611596565b6109a6565b3480156102d1575f80fd5b505f546040516001600160a01b039091168152602001610163565b3480156102f7575f80fd5b506101b0600e5481565b34801561030c575f80fd5b50604080518082019091526008815267135051d05095531360c21b6020820152610156565b34801561033c575f80fd5b5061018b61034b366004611596565b610ac6565b34801561035b575f80fd5b506101b0600f5481565b348015610370575f80fd5b506101b061037f366004611619565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103b4575f80fd5b506102206103c3366004611650565b610ad2565b5f6103d4338484610b17565b5060015b92915050565b5f6103eb6009600a61175b565b6103fa906461f313f880611769565b905090565b5f61040b848484610c3a565b61045c843361045785604051806060016040528060288152602001611914602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906111af565b610b17565b5060019392505050565b6004546001600160a01b0316336001600160a01b031614610485575f80fd5b305f9081526001602052604090205480158015906104ac5750601254600160b01b900460ff165b156104ba576104ba816111e7565b4780156104ca576104ca81611357565b5050565b5f546001600160a01b031633146105005760405162461bcd60e51b81526004016104f790611780565b60405180910390fd5b61050c6009600a61175b565b61051b906461f313f880611769565b600d5561052a6009600a61175b565b610539906461f313f880611769565b600e557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105696009600a61175b565b610578906461f313f880611769565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105b45760405162461bcd60e51b81526004016104f790611780565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146106255760405162461bcd60e51b81526004016104f790611780565b601254600160a01b900460ff161561067f5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104f7565b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106c99030906106ba6009600a61175b565b610457906461f313f880611769565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610719573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061073d91906117b5565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561079c573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107c091906117b5565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af115801561080a573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061082e91906117b5565b601280546001600160a01b039283166001600160a01b03199091161790556011541663f305d7194730610875816001600160a01b03165f9081526001602052604090205490565b5f806108885f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108ee573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061091391906117d0565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af1158015610968573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061098c91906117fb565b506012805462ff00ff60a01b19166201000160a01b179055565b6004546001600160a01b0316336001600160a01b0316146109c5575f80fd5b6040516370a0823160e01b81523060048201525f90610a4690606490610a409085906001600160a01b038816906370a0823190602401602060405180830381865afa158015610a16573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a3a919061181a565b9061138e565b90611413565b6004805460405163a9059cbb60e01b81526001600160a01b0391821692810192909252602482018390529192509084169063a9059cbb906044016020604051808303815f875af1158015610a9c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ac091906117fb565b50505050565b5f6103d4338484610c3a565b6004546001600160a01b0316336001600160a01b031614610af1575f80fd5b6007548111158015610b0557506008548111155b610b0d575f80fd5b6007819055600855565b6001600160a01b038316610b795760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104f7565b6001600160a01b038216610bda5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104f7565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610c9e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104f7565b6001600160a01b038216610d005760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104f7565b5f8111610d615760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104f7565b5f80546001600160a01b03858116911614801590610d8c57505f546001600160a01b03848116911614155b8015610da657506004546001600160a01b03848116911614155b1561107257610dd16064610a40600954600c5411610dc657600554610dca565b6007545b859061138e565b6012549091506001600160a01b038581169116148015610dff57506011546001600160a01b03848116911614155b8015610e2357506001600160a01b0383165f9081526003602052604090205460ff16155b15610f0957600d54821115610e7a5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104f7565b600e5482610e9c856001600160a01b03165f9081526001602052604090205490565b610ea69190611831565b1115610ef45760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104f7565b600c8054905f610f0383611844565b91905055505b6012546001600160a01b038481169116148015610f2f57506001600160a01b0384163014155b15610f5c57610f596064610a40600a54600c5411610f4f57600654610dca565b600854859061138e565b90505b305f90815260016020526040902054601254600160a81b900460ff16158015610f9257506012546001600160a01b038581169116145b8015610fa75750601254600160b01b900460ff165b8015610fb45750600f5481115b8015610fc35750600b54600c54115b1561107057601454431115610fd7575f6013555b6003601354106110295760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016104f7565b6110466110418461103c84601054611454565b611454565b6111e7565b4780156110565761105647611357565b60138054905f61106583611844565b909155505043601455505b505b80156110ea57305f908152600160205260409020546110919082611468565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110e19085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461110c90836114c6565b6001600160a01b0385165f9081526001602052604090205561114f61113183836114c6565b6001600160a01b0385165f9081526001602052604090205490611468565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61119885856114c6565b60405190815260200160405180910390a350505050565b5f81848411156111d25760405162461bcd60e51b81526004016104f79190611533565b505f6111de848661185c565b95945050505050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061122d5761122d61186f565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611284573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112a891906117b5565b816001815181106112bb576112bb61186f565b6001600160a01b0392831660209182029290920101526011546112e19130911684610b17565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906113199085905f90869030904290600401611883565b5f604051808303815f87803b158015611330575f80fd5b505af1158015611342573d5f803e3d5ffd5b50506012805460ff60a81b1916905550505050565b6004546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156104ca573d5f803e3d5ffd5b5f825f0361139d57505f6103d8565b5f6113a88385611769565b9050826113b585836118f4565b1461140c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104f7565b9392505050565b5f61140c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611507565b5f818311611462578261140c565b50919050565b5f806114748385611831565b90508381101561140c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104f7565b5f61140c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111af565b5f81836115275760405162461bcd60e51b81526004016104f79190611533565b505f6111de84866118f4565b5f602080835283518060208501525f5b8181101561155f57858101830151858201604001528201611543565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611593575f80fd5b50565b5f80604083850312156115a7575f80fd5b82356115b28161157f565b946020939093013593505050565b5f805f606084860312156115d2575f80fd5b83356115dd8161157f565b925060208401356115ed8161157f565b929592945050506040919091013590565b5f6020828403121561160e575f80fd5b813561140c8161157f565b5f806040838503121561162a575f80fd5b82356116358161157f565b915060208301356116458161157f565b809150509250929050565b5f60208284031215611660575f80fd5b5035919050565b634e487b7160e01b5f52601160045260245ffd5b600181815b808511156116b557815f190482111561169b5761169b611667565b808516156116a857918102915b93841c9390800290611680565b509250929050565b5f826116cb575060016103d8565b816116d757505f6103d8565b81600181146116ed57600281146116f757611713565b60019150506103d8565b60ff84111561170857611708611667565b50506001821b6103d8565b5060208310610133831016604e8410600b8410161715611736575081810a6103d8565b611740838361167b565b805f190482111561175357611753611667565b029392505050565b5f61140c60ff8416836116bd565b80820281158282048414176103d8576103d8611667565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f602082840312156117c5575f80fd5b815161140c8161157f565b5f805f606084860312156117e2575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561180b575f80fd5b8151801515811461140c575f80fd5b5f6020828403121561182a575f80fd5b5051919050565b808201808211156103d8576103d8611667565b5f6001820161185557611855611667565b5060010190565b818103818111156103d8576103d8611667565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118d35784516001600160a01b0316835293830193918301916001016118ae565b50506001600160a01b03969096166060850152505050608001529392505050565b5f8261190e57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f45b7edbaa2337a9fdfe367012f8364547dd51e596a8e07c09b006c58d08682064736f6c63430008170033

3606:8152:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5481:83;;;;;;;;;;-1:-1:-1;5551:5:0;;;;;;;;;;;;-1:-1:-1;;;5551:5:0;;;;5481:83;;;;;;;:::i;:::-;;;;;;;;6314:161;;;;;;;;;;-1:-1:-1;6314:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6314:161:0;1023:187:1;4717:54:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4717:54:0;1215:177:1;5758:95:0;;;;;;;;;;;;;:::i;6483:313::-;;;;;;;;;;-1:-1:-1;6483:313:0;;;;;:::i;:::-;;:::i;5667:83::-;;;;;;;;;;-1:-1:-1;5667:83:0;;4329:1;2000:36:1;;1988:2;1973:18;5667:83:0;1858:184:1;11392:363:0;;;;;;;;;;;;;:::i;:::-;;9908:158;;;;;;;;;;;;;:::i;5861:119::-;;;;;;;;;;-1:-1:-1;5861:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5954:18:0;5927:7;5954:18;;;:9;:18;;;;;;;5861:119;2687:148;;;;;;;;;;;;;:::i;4522:56::-;;;;;;;;;;;;;;;;10174:673;;;;;;;;;;;;;:::i;11118:266::-;;;;;;;;;;-1:-1:-1;11118:266:0;;;;;:::i;:::-;;:::i;2473:79::-;;;;;;;;;;-1:-1:-1;2511:7:0;2538:6;2473:79;;-1:-1:-1;;;;;2538:6:0;;;2445:51:1;;2433:2;2418:18;2473:79:0;2299:203:1;4585:58:0;;;;;;;;;;;;;;;;5572:87;;;;;;;;;;-1:-1:-1;5644:7:0;;;;;;;;;;;;-1:-1:-1;;;5644:7:0;;;;5572:87;;5988:167;;;;;;;;;;-1:-1:-1;5988:167:0;;;;;:::i;:::-;;:::i;4650:60::-;;;;;;;;;;;;;;;;6163:143;;;;;;;;;;-1:-1:-1;6163:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6271:18:0;;;6244:7;6271:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6163:143;10855:218;;;;;;;;;;-1:-1:-1;10855:218:0;;;;;:::i;:::-;;:::i;6314:161::-;6389:4;6406:39;308:10;6429:7;6438:6;6406:8;:39::i;:::-;-1:-1:-1;6463:4:0;6314:161;;;;;:::o;5758:95::-;5811:7;4387:13;4329:1;4387:2;:13;:::i;:::-;4372:28;;:12;:28;:::i;:::-;5831:14;;5758:95;:::o;6483:313::-;6581:4;6598:36;6608:6;6616:9;6627:6;6598:9;:36::i;:::-;6645:121;6654:6;308:10;6676:89;6714:6;6676:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6676:19:0;;;;;;:11;:19;;;;;;;;308:10;6676:33;;;;;;;;;;:37;:89::i;:::-;6645:8;:121::i;:::-;-1:-1:-1;6784:4:0;6483:313;;;;;:::o;11392:363::-;11456:10;;-1:-1:-1;;;;;11456:10:0;308;-1:-1:-1;;;;;11442:24:0;;11434:33;;;;;;11517:4;11478:20;5954:18;;;:9;:18;;;;;;11537:14;;;;;:29;;-1:-1:-1;11555:11:0;;-1:-1:-1;;;11555:11:0;;;;11537:29;11534:88;;;11580:30;11597:12;11580:16;:30::i;:::-;11651:21;11686:12;;11683:65;;11712:24;11725:10;11712:12;:24::i;:::-;11423:332;;11392:363::o;9908:158::-;2600:6;;-1:-1:-1;;;;;2600:6:0;308:10;2600:22;2592:67;;;;-1:-1:-1;;;2592:67:0;;;;;;;:::i;:::-;;;;;;;;;4387:13:::1;4329:1;4387:2;:13;:::i;:::-;4372:28;::::0;:12:::1;:28;:::i;:::-;9960:12;:22:::0;4387:13:::1;4329:1;4387:2;:13;:::i;:::-;4372:28;::::0;:12:::1;:28;:::i;:::-;9993:14;:22:::0;10031:27:::1;4387:13;4329:1;4387:2;:13;:::i;:::-;4372:28;::::0;:12:::1;:28;:::i;:::-;10031:27;::::0;1361:25:1;;;1349:2;1334:18;10031:27:0::1;;;;;;;9908:158::o:0;2687:148::-;2600:6;;-1:-1:-1;;;;;2600:6:0;308:10;2600:22;2592:67;;;;-1:-1:-1;;;2592:67:0;;;;;;;:::i;:::-;2794:1:::1;2778:6:::0;;2757:40:::1;::::0;-1:-1:-1;;;;;2778:6:0;;::::1;::::0;2757:40:::1;::::0;2794:1;;2757:40:::1;2825:1;2808:19:::0;;-1:-1:-1;;;;;;2808:19:0::1;::::0;;2687:148::o;10174:673::-;2600:6;;-1:-1:-1;;;;;2600:6:0;308:10;2600:22;2592:67;;;;-1:-1:-1;;;2592:67:0;;;;;;;:::i;:::-;10240:11:::1;::::0;-1:-1:-1;;;10240:11:0;::::1;;;10239:12;10231:47;;;::::0;-1:-1:-1;;;10231:47:0;;5330:2:1;10231:47:0::1;::::0;::::1;5312:21:1::0;5369:2;5349:18;;;5342:30;5408:25;5388:18;;;5381:53;5451:18;;10231:47:0::1;5128:347:1::0;10231:47:0::1;10289:15;:80:::0;;-1:-1:-1;;;;;;10289:80:0::1;10326:42;10289:80:::0;;::::1;::::0;;;10380:58:::1;::::0;10397:4:::1;::::0;4387:13:::1;4329:1;4387:2;:13;:::i;:::-;4372:28;::::0;:12:::1;:28;:::i;10380:58::-;10483:15;;;;;;;;;-1:-1:-1::0;;;;;10483:15:0::1;-1:-1:-1::0;;;;;10483:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10465:55:0::1;;10529:4;10536:15;;;;;;;;;-1:-1:-1::0;;;;;10536:15:0::1;-1:-1:-1::0;;;;;10536:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10465:94;::::0;-1:-1:-1;;;;;;10465:94:0::1;::::0;;;;;;-1:-1:-1;;;;;5966:15:1;;;10465:94:0::1;::::0;::::1;5948:34:1::0;6018:15;;5998:18;;;5991:43;5883:18;;10465:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10449:13;:110:::0;;-1:-1:-1;;;;;10449:110:0;;::::1;-1:-1:-1::0;;;;;;10449:110:0;;::::1;;::::0;;10570:15:::1;::::0;::::1;:31;10609:21;10640:4;10646:24;10640:4:::0;-1:-1:-1;;;;;5954:18:0;5927:7;5954:18;;;:9;:18;;;;;;;5861:119;10646:24:::1;10671:1;10673::::0;10675:7:::1;2511::::0;2538:6;-1:-1:-1;;;;;2538:6:0;;2473:79;10675:7:::1;10570:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10570:129:0;;;-1:-1:-1;;;;;6404:15:1;;;10570:129:0::1;::::0;::::1;6386:34:1::0;6436:18;;;6429:34;;;;6479:18;;;6472:34;;;;6522:18;;;6515:34;6586:15;;;6565:19;;;6558:44;10683:15:0::1;6618:19:1::0;;;6611:35;6320:19;;10570:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10717:13:0::1;::::0;10748:15:::1;::::0;10710:71:::1;::::0;-1:-1:-1;;;10710:71:0;;-1:-1:-1;;;;;10748:15:0;;::::1;10710:71;::::0;::::1;7142:51:1::0;-1:-1:-1;;7209:18:1;;;7202:34;10717:13:0;::::1;::::0;-1:-1:-1;10710:29:0::1;::::0;7115:18:1;;10710:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10792:11:0::1;:18:::0;;-1:-1:-1;;;;10821:18:0;-1:-1:-1;;;10821:18:0;;;10174:673::o;11118:266::-;11216:10;;-1:-1:-1;;;;;11216:10:0;308;-1:-1:-1;;;;;11202:24:0;;11194:33;;;;;;11256:41;;-1:-1:-1;;;11256:41:0;;11291:4;11256:41;;;2445:51:1;11238:15:0;;11256:63;;11315:3;;11256:54;;11302:7;;-1:-1:-1;;;;;11256:26:0;;;;;2418:18:1;;11256:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:45;;:54::i;:::-;:58;;:63::i;:::-;11356:10;;;11330:46;;-1:-1:-1;;;11330:46:0;;-1:-1:-1;;;;;11356:10:0;;;11330:46;;;7142:51:1;;;;7209:18;;;7202:34;;;11238:81:0;;-1:-1:-1;11330:25:0;;;;;;7115:18:1;;11330:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11183:201;11118:266;;:::o;5988:167::-;6066:4;6083:42;308:10;6107:9;6118:6;6083:9;:42::i;10855:218::-;10930:10;;-1:-1:-1;;;;;10930:10:0;308;-1:-1:-1;;;;;10916:24:0;;10908:33;;;;;;10967:12;;10958:7;:21;;:47;;;;;10992:13;;10983:7;:22;;10958:47;10950:56;;;;;;11015:12;:20;;;11044:13;:21;10855:218::o;6804:335::-;-1:-1:-1;;;;;6897:19:0;;6889:68;;;;-1:-1:-1;;;6889:68:0;;8207:2:1;6889:68:0;;;8189:21:1;8246:2;8226:18;;;8219:30;8285:34;8265:18;;;8258:62;-1:-1:-1;;;8336:18:1;;;8329:34;8380:19;;6889:68:0;8005:400:1;6889:68:0;-1:-1:-1;;;;;6976:21:0;;6968:68;;;;-1:-1:-1;;;6968:68:0;;8612:2:1;6968:68:0;;;8594:21:1;8651:2;8631:18;;;8624:30;8690:34;8670:18;;;8663:62;-1:-1:-1;;;8741:18:1;;;8734:32;8783:19;;6968:68:0;8410:398:1;6968:68:0;-1:-1:-1;;;;;7047:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7099:32;;1361:25:1;;;7099:32:0;;1334:18:1;7099:32:0;;;;;;;6804:335;;;:::o;7147:2154::-;-1:-1:-1;;;;;7235:18:0;;7227:68;;;;-1:-1:-1;;;7227:68:0;;9015:2:1;7227:68:0;;;8997:21:1;9054:2;9034:18;;;9027:30;9093:34;9073:18;;;9066:62;-1:-1:-1;;;9144:18:1;;;9137:35;9189:19;;7227:68:0;8813:401:1;7227:68:0;-1:-1:-1;;;;;7314:16:0;;7306:64;;;;-1:-1:-1;;;7306:64:0;;9421:2:1;7306:64:0;;;9403:21:1;9460:2;9440:18;;;9433:30;9499:34;9479:18;;;9472:62;-1:-1:-1;;;9550:18:1;;;9543:33;9593:19;;7306:64:0;9219:399:1;7306:64:0;7398:1;7389:6;:10;7381:64;;;;-1:-1:-1;;;7381:64:0;;9825:2:1;7381:64:0;;;9807:21:1;9864:2;9844:18;;;9837:30;9903:34;9883:18;;;9876:62;-1:-1:-1;;;9954:18:1;;;9947:39;10003:19;;7381:64:0;9623:405:1;7381:64:0;7456:17;2538:6;;-1:-1:-1;;;;;7490:15:0;;;2538:6;;7490:15;;;;:32;;-1:-1:-1;2511:7:0;2538:6;-1:-1:-1;;;;;7509:13:0;;;2538:6;;7509:13;;7490:32;:52;;;;-1:-1:-1;7532:10:0;;-1:-1:-1;;;;;7526:16:0;;;7532:10;;7526:16;;7490:52;7486:1459;;;7573:76;7645:3;7573:67;7595:15;;7585:9;;:25;7584:55;;7625:14;;7584:55;;;7612:12;;7584:55;7573:6;;:10;:67::i;:76::-;7678:13;;7561:88;;-1:-1:-1;;;;;;7670:21:0;;;7678:13;;7670:21;:55;;;;-1:-1:-1;7709:15:0;;-1:-1:-1;;;;;7695:30:0;;;7709:15;;7695:30;;7670:55;:83;;;;-1:-1:-1;;;;;;7731:22:0;;;;;;:18;:22;;;;;;;;7729:24;7670:83;7666:313;;;7793:12;;7783:6;:22;;7775:60;;;;-1:-1:-1;;;7775:60:0;;10235:2:1;7775:60:0;;;10217:21:1;10274:2;10254:18;;;10247:30;10313:27;10293:18;;;10286:55;10358:18;;7775:60:0;10033:349:1;7775:60:0;7888:14;;7878:6;7862:13;7872:2;-1:-1:-1;;;;;5954:18:0;5927:7;5954:18;;;:9;:18;;;;;;;5861:119;7862:13;:22;;;;:::i;:::-;:40;;7854:79;;;;-1:-1:-1;;;7854:79:0;;10719:2:1;7854:79:0;;;10701:21:1;10758:2;10738:18;;;10731:30;10797:28;10777:18;;;10770:56;10843:18;;7854:79:0;10517:350:1;7854:79:0;7952:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7666:313;8004:13;;-1:-1:-1;;;;;7998:19:0;;;8004:13;;7998:19;:43;;;;-1:-1:-1;;;;;;8021:20:0;;8036:4;8021:20;;7998:43;7995:174;;;8074:79;8149:3;8074:70;8096:16;;8086:9;;:26;8085:58;;8128:15;;8085:58;;;8114:13;;8074:6;;:10;:70::i;:79::-;8062:91;;7995:174;8234:4;8185:28;5954:18;;;:9;:18;;;;;;8260:6;;-1:-1:-1;;;8260:6:0;;;;8259:7;:30;;;;-1:-1:-1;8276:13:0;;-1:-1:-1;;;;;8270:19:0;;;8276:13;;8270:19;8259:30;:45;;;;-1:-1:-1;8293:11:0;;-1:-1:-1;;;8293:11:0;;;;8259:45;:89;;;;;8331:17;;8308:20;:40;8259:89;:123;;;;;8364:18;;8352:9;;:30;8259:123;8255:679;;;8422:13;;8407:12;:28;8403:90;;;8472:1;8460:9;:13;8403:90;8531:1;8519:9;;:13;8511:49;;;;-1:-1:-1;;;8511:49:0;;11214:2:1;8511:49:0;;;11196:21:1;11253:2;11233:18;;;11226:30;11292:25;11272:18;;;11265:53;11335:18;;8511:49:0;11012:347:1;8511:49:0;8579:69;8596:51;8600:6;8608:38;8612:20;8634:11;;8608:3;:38::i;:::-;8596:3;:51::i;:::-;8579:16;:69::i;:::-;8696:21;8740:22;;8736:106;;8787:35;8800:21;8787:12;:35::i;:::-;8860:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;8906:12:0;8890:13;:28;-1:-1:-1;8255:679:0;7544:1401;7486:1459;8960:11;;8957:161;;9028:4;9010:24;;;;:9;:24;;;;;;:39;;9039:9;9010:28;:39::i;:::-;9003:4;8985:24;;;;:9;:24;;;;;;;:64;;;;9067:39;;-1:-1:-1;;;;;9067:39:0;;;;;;;9096:9;1361:25:1;;1349:2;1334:18;;1215:177;9067:39:0;;;;;;;;8957:161;-1:-1:-1;;;;;9144:15:0;;;;;;:9;:15;;;;;;:27;;9164:6;9144:19;:27::i;:::-;-1:-1:-1;;;;;9128:15:0;;;;;;:9;:15;;;;;:43;9196:40;9214:21;:6;9225:9;9214:10;:21::i;:::-;-1:-1:-1;;;;;9196:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9182:13:0;;;;;;;:9;:13;;;;;:54;;;;9252:41;;;9271:21;:6;9282:9;9271:10;:21::i;:::-;9252:41;;1361:25:1;;;1349:2;1334:18;9252:41:0;;;;;;;7216:2085;7147:2154;;;:::o;1365:190::-;1451:7;1487:12;1479:6;;;;1471:29;;;;-1:-1:-1;;;1471:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1511:9:0;1523:5;1527:1;1523;:5;:::i;:::-;1511:17;1365:190;-1:-1:-1;;;;;1365:190:0:o;9417:483::-;5133:6;:13;;-1:-1:-1;;;;5133:13:0;-1:-1:-1;;;5133:13:0;;;9519:16:::1;::::0;;9533:1:::1;9519:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9519:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9519:16:0::1;9495:40;;9564:4;9546;9551:1;9546:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9546:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9590:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9590:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9546:7;;9590:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9580:4;9585:1;9580:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9580:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9655:15:::1;::::0;9623:62:::1;::::0;9640:4:::1;::::0;9655:15:::1;9673:11:::0;9623:8:::1;:62::i;:::-;9696:15;::::0;:196:::1;::::0;-1:-1:-1;;;9696:196:0;;-1:-1:-1;;;;;9696:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9777:11;;9696:15:::1;::::0;9819:4;;9846::::1;::::0;9866:15:::1;::::0;9696:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5169:6:0;:14;;-1:-1:-1;;;;5169:14:0;;;-1:-1:-1;;;;9417:483:0:o;10074:92::-;10131:10;;:27;;-1:-1:-1;;;;;10131:10:0;;;;:27;;;;;10151:6;;10131:10;:27;:10;:27;10151:6;10131:10;:27;;;;;;;;;;;;;;;;;;;1563:246;1621:7;1645:1;1650;1645:6;1641:47;;-1:-1:-1;1675:1:0;1668:8;;1641:47;1698:9;1710:5;1714:1;1710;:5;:::i;:::-;1698:17;-1:-1:-1;1743:1:0;1734:5;1738:1;1698:17;1734:5;:::i;:::-;:10;1726:56;;;;-1:-1:-1;;;1726:56:0;;13170:2:1;1726:56:0;;;13152:21:1;13209:2;13189:18;;;13182:30;13248:34;13228:18;;;13221:62;-1:-1:-1;;;13299:18:1;;;13292:31;13340:19;;1726:56:0;12968:397:1;1726:56:0;1800:1;1563:246;-1:-1:-1;;;1563:246:0:o;1817:132::-;1875:7;1902:39;1906:1;1909;1902:39;;;;;;;;;;;;;;;;;:3;:39::i;9311:98::-;9368:7;9395:1;9393;:3;9392:9;;9400:1;9392:9;;;-1:-1:-1;9398:1:0;9311:98;-1:-1:-1;9311:98:0:o;1034:179::-;1092:7;;1124:5;1128:1;1124;:5;:::i;:::-;1112:17;;1153:1;1148;:6;;1140:46;;;;-1:-1:-1;;;1140:46:0;;13572:2:1;1140:46:0;;;13554:21:1;13611:2;13591:18;;;13584:30;13650:29;13630:18;;;13623:57;13697:18;;1140:46:0;13370:351:1;1221:136:0;1279:7;1306:43;1310:1;1313;1306:43;;;;;;;;;;;;;;;;;:3;:43::i;1957:189::-;2043:7;2078:12;2071:5;2063:28;;;;-1:-1:-1;;;2063:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2102:9:0;2114:5;2118:1;2114;: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:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:180::-;2959:6;3012:2;3000:9;2991:7;2987:23;2983:32;2980:52;;;3028:1;3025;3018:12;2980:52;-1:-1:-1;3051:23:1;;2900:180;-1:-1:-1;2900:180:1:o;3085:127::-;3146:10;3141:3;3137:20;3134:1;3127:31;3177:4;3174:1;3167:15;3201:4;3198:1;3191:15;3217:416;3306:1;3343:5;3306:1;3357:270;3378:7;3368:8;3365:21;3357:270;;;3437:4;3433:1;3429:6;3425:17;3419:4;3416:27;3413:53;;;3446:18;;:::i;:::-;3496:7;3486:8;3482:22;3479:55;;;3516:16;;;;3479:55;3595:22;;;;3555:15;;;;3357:270;;;3361:3;3217:416;;;;;:::o;3638:806::-;3687:5;3717:8;3707:80;;-1:-1:-1;3758:1:1;3772:5;;3707:80;3806:4;3796:76;;-1:-1:-1;3843:1:1;3857:5;;3796:76;3888:4;3906:1;3901:59;;;;3974:1;3969:130;;;;3881:218;;3901:59;3931:1;3922:10;;3945:5;;;3969:130;4006:3;3996:8;3993:17;3990:43;;;4013:18;;:::i;:::-;-1:-1:-1;;4069:1:1;4055:16;;4084:5;;3881:218;;4183:2;4173:8;4170:16;4164:3;4158:4;4155:13;4151:36;4145:2;4135:8;4132:16;4127:2;4121:4;4118:12;4114:35;4111:77;4108:159;;;-1:-1:-1;4220:19:1;;;4252:5;;4108:159;4299:34;4324:8;4318:4;4299:34;:::i;:::-;4369:6;4365:1;4361:6;4357:19;4348:7;4345:32;4342:58;;;4380:18;;:::i;:::-;4418:20;;3638:806;-1:-1:-1;;;3638:806:1:o;4449:140::-;4507:5;4536:47;4577:4;4567:8;4563:19;4557:4;4536:47;:::i;4594:168::-;4667:9;;;4698;;4715:15;;;4709:22;;4695:37;4685:71;;4736:18;;:::i;4767:356::-;4969:2;4951:21;;;4988:18;;;4981:30;5047:34;5042:2;5027:18;;5020:62;5114:2;5099:18;;4767:356::o;5480:251::-;5550:6;5603:2;5591:9;5582:7;5578:23;5574:32;5571:52;;;5619:1;5616;5609:12;5571:52;5651:9;5645:16;5670:31;5695:5;5670:31;:::i;6657:306::-;6745:6;6753;6761;6814:2;6802:9;6793:7;6789:23;6785:32;6782:52;;;6830:1;6827;6820:12;6782:52;6859:9;6853:16;6843:26;;6909:2;6898:9;6894:18;6888:25;6878:35;;6953:2;6942:9;6938:18;6932:25;6922:35;;6657:306;;;;;:::o;7247:277::-;7314:6;7367:2;7355:9;7346:7;7342:23;7338:32;7335:52;;;7383:1;7380;7373:12;7335:52;7415:9;7409:16;7468:5;7461:13;7454:21;7447:5;7444:32;7434:60;;7490:1;7487;7480:12;7529:184;7599:6;7652:2;7640:9;7631:7;7627:23;7623:32;7620:52;;;7668:1;7665;7658:12;7620:52;-1:-1:-1;7691:16:1;;7529:184;-1:-1:-1;7529:184:1:o;10387:125::-;10452:9;;;10473:10;;;10470:36;;;10486:18;;:::i;10872:135::-;10911:3;10932:17;;;10929:43;;10952:18;;:::i;:::-;-1:-1:-1;10999:1:1;10988:13;;10872:135::o;11364:128::-;11431:9;;;11452:11;;;11449:37;;;11466:18;;:::i;11629:127::-;11690:10;11685:3;11681:20;11678:1;11671:31;11721:4;11718:1;11711:15;11745:4;11742:1;11735:15;11761:980;12023:4;12071:3;12060:9;12056:19;12102:6;12091:9;12084:25;12128:2;12166:6;12161:2;12150:9;12146:18;12139:34;12209:3;12204:2;12193:9;12189:18;12182:31;12233:6;12268;12262:13;12299:6;12291;12284:22;12337:3;12326:9;12322:19;12315:26;;12376:2;12368:6;12364:15;12350:29;;12397:1;12407:195;12421:6;12418:1;12415:13;12407:195;;;12486:13;;-1:-1:-1;;;;;12482:39:1;12470:52;;12577:15;;;;12542:12;;;;12518:1;12436:9;12407:195;;;-1:-1:-1;;;;;;;12658:32:1;;;;12653:2;12638:18;;12631:60;-1:-1:-1;;;12722:3:1;12707:19;12700:35;12619:3;11761:980;-1:-1:-1;;;11761:980:1:o;12746:217::-;12786:1;12812;12802:132;;12856:10;12851:3;12847:20;12844:1;12837:31;12891:4;12888:1;12881:15;12919:4;12916:1;12909:15;12802:132;-1:-1:-1;12948:9:1;;12746:217::o

ipfs://f45b7edbaa2337a9fdfe367012f8364547dd51e596a8e07c09b006c58d086820