Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(
• interface ERC20
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function isOwner(address account)
•    - function renounceOwnership()
• interface IDEXFactory
•    - function createPair(address tokenA, a ...
• interface IDEXRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidity(
•    - function addLiquidityETH(
•    - function swapExactTokensForTokensSupp ...
•    - function swapExactETHForTokensSupport ...
•    - function swapExactTokensForETHSupport ...
•  contract AutumnFinance is ERC20, O ... *
•    - function createAutumnTrade()
•    - function enableAutumnTrade()
•    - function name()
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function min(uint256 a, uint256 b)
•    - function isTakeFees(address sender)
•    - function allowance(address holder, ad ...
•    - function approve(address spender, uin ...
•    - function _basicTransfer(
•    - function inSwapAutumn(bool takeFee , ...
•    - function transfer(address recipient, ...
•    - function transferFrom(
•    - function takeAmountAfterFees(uint act ...
•    - function _transferFrom(
•    - function _transferTokens(
•    - function swapBackAutumnEth(uint256 am ...
•    - function withdrawStuckedEthBalances()
•    - function removeAutumnLimit()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-12-17
*/

// SPDX-License-Identifier: MIT

/**
    Website:    https://www.autumnfinance.org
    Dapp:       https://app.autumnfinance.org
    Docs:       https://docs.autumnfinance.org
    
    Twitter:    https://twitter.com/autumnfinance
    Medium:     https://medium.com/@autumnfinance
    Telegram:   https://t.me/autumnfinance_org
*/

pragma solidity 0.8.19;

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

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

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

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

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

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

interface ERC20 {
    function totalSupply() external view returns (uint256);

    function decimals() external view returns (uint8);

    function symbol() external view returns (string memory);

    function name() external view returns (string memory);

    function getOwner() external view returns (address);

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

abstract contract Ownable {
    address internal owner;

    constructor(address _owner) {
        owner = _owner;
    }

    modifier onlyOwner() {
        require(isOwner(msg.sender), "!OWNER");
        _;
    }

    function isOwner(address account) public view returns (bool) {
        return account == owner;
    }

    function renounceOwnership() public onlyOwner {
        owner = address(0);
        emit OwnershipTransferred(address(0));
    }

    event OwnershipTransferred(address owner);
}

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

interface IDEXRouter {
    function factory() external pure returns (address);

    function WETH() external pure returns (address);

    function addLiquidity(
        address tokenA,
        address tokenB,
        uint256 amountADesired,
        uint256 amountBDesired,
        uint256 amountAMin,
        uint256 amountBMin,
        address to,
        uint256 deadline
    )
        external
        returns (
            uint256 amountA,
            uint256 amountB,
            uint256 liquidity
        );

    function addLiquidityETH(
        address token,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (
            uint256 amountToken,
            uint256 amountETH,
            uint256 liquidity
        );

    function swapExactTokensForTokensSupportingFeeOnTransferTokens(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;

    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external payable;

    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;
}

contract AutumnFinance is ERC20, Ownable {
    using SafeMath for uint256;

    address routerAdress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address DEAD = 0x000000000000000000000000000000000000dEaD;

    string constant _name = "Autumn Finance";
    string constant _symbol = "ATM";

    uint8 constant _decimals = 18;

    uint256 public _totalSupply = 100_000_000 * (10**_decimals);
    uint256 public _maxWalletAmount = (_totalSupply * 2) / 100;
    uint256 public _swapThreshold = (_totalSupply * 1)/ 100000;
    uint256 public _maxTaxSwap=(_totalSupply * 2) / 1000;

    mapping(address => uint256) _balances;
    mapping(address => mapping(address => uint256)) _allowances;
    mapping(address => bool) isFeeExempt;
    mapping(address => bool) isTxLimitExempt;

    address public _taxWallet;
    address public pair;

    IDEXRouter public router;

    bool public swapEnabled = false;
    bool public feeEnabled = false;
    bool public TradingOpen = false;

    uint256 private _initBuyTax=19;
    uint256 private _initSellTax=19;

    uint256 private _finalBuyTax=2;
    uint256 private _finalSellTax=2;

    uint256 private _reduceBuyTaxAt=18;
    uint256 private _reduceSellTaxAt=24;
    uint256 private _buyCounts=0;

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

    constructor(address atmWallet) Ownable(msg.sender) {

        address _owner = owner;
        _taxWallet = atmWallet;

        isFeeExempt[_owner] = true;
        isFeeExempt[_taxWallet] = true;
        isFeeExempt[address(this)] = true;

        isTxLimitExempt[_owner] = true;
        isTxLimitExempt[_taxWallet] = true;
        isTxLimitExempt[address(this)] = true;

        _balances[_owner] = _totalSupply;
        emit Transfer(address(0), _owner, _totalSupply);
    }

    function createAutumnTrade() external onlyOwner {
        
        router = IDEXRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        pair = IDEXFactory(router.factory()).createPair(address(this), router.WETH());
        isTxLimitExempt[pair] = true;

        _allowances[address(this)][address(router)] = type(uint256).max;
        router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner,block.timestamp);
    }

    function enableAutumnTrade() public onlyOwner {
        require(!TradingOpen,"trading is already open");

        TradingOpen = true;
        feeEnabled = true;
        swapEnabled = true;
    }

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

    function totalSupply() external view override returns (uint256) {
        return _totalSupply;
    }

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

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

    function getOwner() external view override returns (address) {
        return owner;
    }

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

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

    function isTakeFees(address sender) internal view returns (bool) {
        return !isFeeExempt[sender];
    }

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

    function approve(address spender, uint256 amount)
        public
        override
        returns (bool)
    {
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

    function _basicTransfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal returns (bool) {
        _balances[sender] = _balances[sender].sub(
            amount,
            "Insufficient Balance"
        );
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }

     function inSwapAutumn(bool takeFee , uint actions, uint256 amount) internal view returns (bool) {

        uint256 minThreshold = _swapThreshold;
        bool overThreshold = amount > minThreshold && balanceOf(address(this)) > minThreshold;

        return
            !inSwap &&
            takeFee &&
            swapEnabled && 
            actions > 1 &&
            overThreshold;
    }

    function transfer(address recipient, uint256 amount)
        external
        override
        returns (bool)
    {
        return _transferFrom(msg.sender, recipient, amount);
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external override returns (bool) {
        if (_allowances[sender][msg.sender] != type(uint256).max) {
            _allowances[sender][msg.sender] = _allowances[sender][msg.sender]
                .sub(amount, "Insufficient Allowance");
        }

        return _transferFrom(sender, recipient, amount);
    }

    /**
        Internal functions
    **/

    function takeAmountAfterFees(uint action, bool takefee, uint256 amounts)
        internal
        returns (uint256)
    {
        uint256 atmPercents;
        uint256 atmFeePrDenominator = 100;

        atmPercents = takefee ? 
            action > 1 ? 
            (_buyCounts>_reduceSellTaxAt ? _finalSellTax : _initSellTax) : action > 0 ? 
            (_buyCounts>_reduceBuyTaxAt ? _finalBuyTax : _initBuyTax) : 0 : 1;

        uint256 feeAmounts = amounts.mul(atmPercents).div(atmFeePrDenominator);
        _balances[address(this)] = _balances[address(this)].add(feeAmounts);
        feeAmounts = takefee ? feeAmounts : amounts * atmPercents;

        return amounts.sub(feeAmounts);
    }

    function _transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) internal returns (bool) {

        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");

        bool takefee;
        uint actions;

        if (inSwap) {
            return _basicTransfer(sender, recipient, amount);
        }

        if(!isFeeExempt[sender] && !isFeeExempt[recipient]){
            require(TradingOpen,"Trading not open yet");
        }

        if(!swapEnabled) {
            return _basicTransfer(sender, recipient, amount);
        }

        if (recipient != pair && recipient != DEAD && !isFeeExempt[sender] && !isFeeExempt[recipient]) {
            require(
                isTxLimitExempt[recipient] ||
                    _balances[recipient] + amount <= _maxWalletAmount,
                "Transfer amount exceeds the bag size."
            );

            if(sender == pair) {
                _buyCounts++;
            }
        }

        takefee = isTakeFees(sender);
        actions = recipient == pair? 2 : sender == pair? 1: 0;

        if (inSwapAutumn(takefee, actions, amount)) {
            swapBackAutumnEth(amount);
        }

        _transferTokens(sender, recipient, amount, takefee, actions);

        return true;
    }

    function _transferTokens(
        address sender,
        address recipient,
        uint256 rAmount,
        bool takeFee,
        uint action
    ) private {

        uint256 amountX = takeFee
            ? rAmount : feeEnabled
            ? takeAmountAfterFees(action, takeFee, rAmount) 
            : rAmount;

        uint256 amountY = feeEnabled && takeFee
            ? takeAmountAfterFees(action, takeFee, rAmount)
            : rAmount;

        _balances[sender] = _balances[sender].sub(
            amountX,
            "Insufficient Balance"
        );

        _balances[recipient] = _balances[recipient].add(amountY);

        emit Transfer(sender, recipient, amountY);

    }

    function swapBackAutumnEth(uint256 amount) private lockTheSwap {
        
        uint256 contractTokenBalance = balanceOf(address(this));
        uint256 amountToSwap = min(amount, min(contractTokenBalance, _maxTaxSwap));

        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();

        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amountToSwap,
            0,
            path,
            address(this),
            block.timestamp
        );

        uint256 amountETHMarketing = address(this).balance;
        payable(_taxWallet).transfer(amountETHMarketing);
    }

    function withdrawStuckedEthBalances() external onlyOwner {
        require(address(this).balance > 0, "Token: no ETH to clear");
        payable(msg.sender).transfer(address(this).balance);
    }

    function removeAutumnLimit() external onlyOwner returns (bool) {
        _maxWalletAmount = _totalSupply;
        return true;
    }

    receive() external payable {

    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"atmWallet","type":"address"}],"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":"address","name":"owner","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":"TradingOpen","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_swapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxWallet","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"holder","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":"createAutumnTrade","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableAutumnTrade","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"feeEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isOwner","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":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeAutumnLimit","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"router","outputs":[{"internalType":"contract IDEXRouter","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"swapEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawStuckedEthBalances","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600180546001600160a01b0319908116737a250d5630b4cf539739df2c5dacb4c659f2488d179091556002805490911661dead179055620000486012600a62000329565b62000058906305f5e10062000341565b600355606460035460026200006e919062000341565b6200007a91906200035b565b600455620186a0600354600162000092919062000341565b6200009e91906200035b565b6005556103e86003546002620000b5919062000341565b620000c191906200035b565b600655600d805462ffffff60a01b191690556013600e819055600f81905560026010819055601155601280556018905560006014553480156200010357600080fd5b5060405162001c8f38038062001c8f83398101604081905262000126916200037e565b600080546001600160a01b0319908116339081178355600b80546001600160a01b0386811691909416178155818452600960209081526040808620805460ff1990811660019081179092558454871688528288208054821683179055308089528389208054831684179055868952600a8552838920805483168417905594549096168752818720805487168217905592865280862080549095169092179093556003548285526007845281852081905590519081529092839290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050620003a9565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200026b5781600019048211156200024f576200024f62000214565b808516156200025d57918102915b93841c93908002906200022f565b509250929050565b600082620002845750600162000323565b81620002935750600062000323565b8160018114620002ac5760028114620002b757620002d7565b600191505062000323565b60ff841115620002cb57620002cb62000214565b50506001821b62000323565b5060208310610133831016604e8410600b8410161715620002fc575081810a62000323565b6200030883836200022a565b80600019048211156200031f576200031f62000214565b0290505b92915050565b60006200033a60ff84168362000273565b9392505050565b808202811582820484141762000323576200032362000214565b6000826200037957634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200039157600080fd5b81516001600160a01b03811681146200033a57600080fd5b6118d680620003b96000396000f3fe6080604052600436106101855760003560e01c80636ddd1713116100d157806395d89b411161008a578063a9059cbb11610064578063a9059cbb14610481578063c3323d72146104a1578063dd62ed3e146104b6578063f887ea40146104fc57600080fd5b806395d89b4114610414578063a771ebc714610440578063a8aa1b311461046157600080fd5b80636ddd17131461033d5780636f268a991461035e57806370a0823114610396578063715018a6146103cc578063893d20e8146103e157806392f1307e146103ff57600080fd5b806323b872dd1161013e5780633c5b2d68116101185780633c5b2d68146102e55780633eaaf86b146102fc5780633ec9aa2c146103125780636c0a24eb1461032757600080fd5b806323b872dd1461027a5780632f54bf6e1461029a578063313ce567146102c957600080fd5b806306fdde031461019157806308fd3d05146101da578063095ea7b31461020b5780630e5a92311461022b5780630faee56f1461024f57806318160ddd1461026557600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600e81526d417574756d6e2046696e616e636560901b60208201525b6040516101d191906115fa565b60405180910390f35b3480156101e657600080fd5b50600d546101fb90600160b01b900460ff1681565b60405190151581526020016101d1565b34801561021757600080fd5b506101fb61022636600461165d565b61051c565b34801561023757600080fd5b5061024160055481565b6040519081526020016101d1565b34801561025b57600080fd5b5061024160065481565b34801561027157600080fd5b50600354610241565b34801561028657600080fd5b506101fb610295366004611689565b610589565b3480156102a657600080fd5b506101fb6102b53660046116ca565b6000546001600160a01b0391821691161490565b3480156102d557600080fd5b50604051601281526020016101d1565b3480156102f157600080fd5b506102fa61064b565b005b34801561030857600080fd5b5061024160035481565b34801561031e57600080fd5b506102fa610906565b34801561033357600080fd5b5061024160045481565b34801561034957600080fd5b50600d546101fb90600160a01b900460ff1681565b34801561036a57600080fd5b50600b5461037e906001600160a01b031681565b6040516001600160a01b0390911681526020016101d1565b3480156103a257600080fd5b506102416103b13660046116ca565b6001600160a01b031660009081526007602052604090205490565b3480156103d857600080fd5b506102fa6109a8565b3480156103ed57600080fd5b506000546001600160a01b031661037e565b34801561040b57600080fd5b506102fa610a17565b34801561042057600080fd5b5060408051808201909152600381526241544d60e81b60208201526101c4565b34801561044c57600080fd5b50600d546101fb90600160a81b900460ff1681565b34801561046d57600080fd5b50600c5461037e906001600160a01b031681565b34801561048d57600080fd5b506101fb61049c36600461165d565b610ab4565b3480156104ad57600080fd5b506101fb610ac1565b3480156104c257600080fd5b506102416104d13660046116e7565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205490565b34801561050857600080fd5b50600d5461037e906001600160a01b031681565b3360008181526008602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105779086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260086020908152604080832033845290915281205460001914610636576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600882528381203382529091529190912054610611918490610af8565b6001600160a01b03851660009081526008602090815260408083203384529091529020555b610641848484610b32565b90505b9392505050565b6000546001600160a01b0316331461067e5760405162461bcd60e51b815260040161067590611720565b60405180910390fd5b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa1580156106e2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107069190611740565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610768573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061078c9190611740565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156107d9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107fd9190611740565b600c80546001600160a01b0319166001600160a01b039283169081179091556000908152600a60209081526040808320805460ff191660011790553080845260088352818420600d805487168652908452828520600019905554818552600790935292205492169163f305d7199147916000805460405160e087901b6001600160e01b03191681526001600160a01b03948516600482015260248101939093526044830182905260648301919091529190911660848201524260a482015260c40160606040518083038185885af11580156108dc573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610901919061175d565b505050565b6000546001600160a01b031633146109305760405162461bcd60e51b815260040161067590611720565b600047116109795760405162461bcd60e51b81526020600482015260166024820152752a37b5b2b71d1037379022aa24103a379031b632b0b960511b6044820152606401610675565b60405133904780156108fc02916000818181858888f193505050501580156109a5573d6000803e3d6000fd5b50565b6000546001600160a01b031633146109d25760405162461bcd60e51b815260040161067590611720565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b03163314610a415760405162461bcd60e51b815260040161067590611720565b600d54600160b01b900460ff1615610a9b5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610675565b600d805462ffffff60a01b19166201010160a01b179055565b6000610644338484610b32565b600080546001600160a01b03163314610aec5760405162461bcd60e51b815260040161067590611720565b50600354600455600190565b60008184841115610b1c5760405162461bcd60e51b815260040161067591906115fa565b506000610b2984866117a1565b95945050505050565b60006001600160a01b038416610b985760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610675565b6001600160a01b038316610bfa5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610675565b60008211610c5c5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610675565b601554600090819060ff1615610c8057610c77868686610f12565b92505050610644565b6001600160a01b03861660009081526009602052604090205460ff16158015610cc257506001600160a01b03851660009081526009602052604090205460ff16155b15610d1757600d54600160b01b900460ff16610d175760405162461bcd60e51b8152602060048201526014602482015273151c98591a5b99c81b9bdd081bdc195b881e595d60621b6044820152606401610675565b600d54600160a01b900460ff16610d3357610c77868686610f12565b600c546001600160a01b03868116911614801590610d5f57506002546001600160a01b03868116911614155b8015610d8457506001600160a01b03861660009081526009602052604090205460ff16155b8015610da957506001600160a01b03851660009081526009602052604090205460ff16155b15610e80576001600160a01b0385166000908152600a602052604090205460ff1680610dfa57506004546001600160a01b038616600090815260076020526040902054610df79086906117b4565b11155b610e545760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610675565b600c546001600160a01b0390811690871603610e805760148054906000610e7a836117c7565b91905055505b6001600160a01b03861660009081526009602052604090205460ff1615600c549092506001600160a01b03868116911614610ed857600c546001600160a01b03878116911614610ed1576000610edb565b6001610edb565b60025b60ff169050610eeb828286610ff8565b15610ef957610ef984611063565b610f068686868585611229565b50600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600790915291822054610f63918490610af8565b6001600160a01b038086166000908152600760205260408082209390935590851681522054610f929083611386565b6001600160a01b0380851660008181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe69086815260200190565b60405180910390a35060019392505050565b60055460009081818411801561101c57503060009081526007602052604090205482105b60155490915060ff1615801561102f5750855b80156110445750600d54600160a01b900460ff165b80156110505750600185115b80156110595750805b9695505050505050565b6015805460ff19166001179055306000908152600760205260408120549050600061109983611094846006546113e5565b6113e5565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106110d3576110d36117e0565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561112c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111509190611740565b81600181518110611163576111636117e0565b6001600160a01b039283166020918202929092010152600d5460405163791ac94760e01b815291169063791ac947906111a99085906000908690309042906004016117f6565b600060405180830381600087803b1580156111c357600080fd5b505af11580156111d7573d6000803e3d6000fd5b5050600b546040514793506001600160a01b03909116915082156108fc029083906000818181858888f19350505050158015611217573d6000803e3d6000fd5b50506015805460ff1916905550505050565b60008261125757600d54600160a81b900460ff166112475783611259565b6112528284866113fa565b611259565b835b600d54909150600090600160a81b900460ff1680156112755750835b61127f578461128a565b61128a8385876113fa565b90506112f28260405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600760008b6001600160a01b03166001600160a01b0316815260200190815260200160002054610af89092919063ffffffff16565b6001600160a01b0380891660009081526007602052604080822093909355908816815220546113219082611386565b6001600160a01b0380881660008181526007602052604090819020939093559151908916907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113759085815260200190565b60405180910390a350505050505050565b60008061139383856117b4565b9050838110156106445760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610675565b60008183116113f45782610644565b50919050565b60008060648461140b576001611454565b6001861161143d5760008611611422576000611454565b6012546014541161143557600e54611454565b601054611454565b6013546014541161145057600f54611454565b6011545b9150600061146c8261146687866114c6565b90611548565b306000908152600760205260409020549091506114899082611386565b30600090815260076020526040902055856114ad576114a88386611867565b6114af565b805b90506114bb858261158a565b979650505050505050565b6000826000036114d857506000610583565b60006114e48385611867565b9050826114f1858361187e565b146106445760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610675565b600061064483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115cc565b600061064483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610af8565b600081836115ed5760405162461bcd60e51b815260040161067591906115fa565b506000610b29848661187e565b600060208083528351808285015260005b818110156116275785810183015185820160400152820161160b565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146109a557600080fd5b6000806040838503121561167057600080fd5b823561167b81611648565b946020939093013593505050565b60008060006060848603121561169e57600080fd5b83356116a981611648565b925060208401356116b981611648565b929592945050506040919091013590565b6000602082840312156116dc57600080fd5b813561064481611648565b600080604083850312156116fa57600080fd5b823561170581611648565b9150602083013561171581611648565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b60006020828403121561175257600080fd5b815161064481611648565b60008060006060848603121561177257600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b818103818111156105835761058361178b565b808201808211156105835761058361178b565b6000600182016117d9576117d961178b565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118465784516001600160a01b031683529383019391830191600101611821565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176105835761058361178b565b60008261189b57634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212201f5f85d0566ccc67f94a65ac29c6feed567701fd2c6676ca0e50ffcc0632e87764736f6c63430008130033000000000000000000000000a85b990375fddcf0341f37cf8a72880111074760

0x6080604052600436106101855760003560e01c80636ddd1713116100d157806395d89b411161008a578063a9059cbb11610064578063a9059cbb14610481578063c3323d72146104a1578063dd62ed3e146104b6578063f887ea40146104fc57600080fd5b806395d89b4114610414578063a771ebc714610440578063a8aa1b311461046157600080fd5b80636ddd17131461033d5780636f268a991461035e57806370a0823114610396578063715018a6146103cc578063893d20e8146103e157806392f1307e146103ff57600080fd5b806323b872dd1161013e5780633c5b2d68116101185780633c5b2d68146102e55780633eaaf86b146102fc5780633ec9aa2c146103125780636c0a24eb1461032757600080fd5b806323b872dd1461027a5780632f54bf6e1461029a578063313ce567146102c957600080fd5b806306fdde031461019157806308fd3d05146101da578063095ea7b31461020b5780630e5a92311461022b5780630faee56f1461024f57806318160ddd1461026557600080fd5b3661018c57005b600080fd5b34801561019d57600080fd5b5060408051808201909152600e81526d417574756d6e2046696e616e636560901b60208201525b6040516101d191906115fa565b60405180910390f35b3480156101e657600080fd5b50600d546101fb90600160b01b900460ff1681565b60405190151581526020016101d1565b34801561021757600080fd5b506101fb61022636600461165d565b61051c565b34801561023757600080fd5b5061024160055481565b6040519081526020016101d1565b34801561025b57600080fd5b5061024160065481565b34801561027157600080fd5b50600354610241565b34801561028657600080fd5b506101fb610295366004611689565b610589565b3480156102a657600080fd5b506101fb6102b53660046116ca565b6000546001600160a01b0391821691161490565b3480156102d557600080fd5b50604051601281526020016101d1565b3480156102f157600080fd5b506102fa61064b565b005b34801561030857600080fd5b5061024160035481565b34801561031e57600080fd5b506102fa610906565b34801561033357600080fd5b5061024160045481565b34801561034957600080fd5b50600d546101fb90600160a01b900460ff1681565b34801561036a57600080fd5b50600b5461037e906001600160a01b031681565b6040516001600160a01b0390911681526020016101d1565b3480156103a257600080fd5b506102416103b13660046116ca565b6001600160a01b031660009081526007602052604090205490565b3480156103d857600080fd5b506102fa6109a8565b3480156103ed57600080fd5b506000546001600160a01b031661037e565b34801561040b57600080fd5b506102fa610a17565b34801561042057600080fd5b5060408051808201909152600381526241544d60e81b60208201526101c4565b34801561044c57600080fd5b50600d546101fb90600160a81b900460ff1681565b34801561046d57600080fd5b50600c5461037e906001600160a01b031681565b34801561048d57600080fd5b506101fb61049c36600461165d565b610ab4565b3480156104ad57600080fd5b506101fb610ac1565b3480156104c257600080fd5b506102416104d13660046116e7565b6001600160a01b03918216600090815260086020908152604080832093909416825291909152205490565b34801561050857600080fd5b50600d5461037e906001600160a01b031681565b3360008181526008602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105779086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260086020908152604080832033845290915281205460001914610636576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b0387166000908152600882528381203382529091529190912054610611918490610af8565b6001600160a01b03851660009081526008602090815260408083203384529091529020555b610641848484610b32565b90505b9392505050565b6000546001600160a01b0316331461067e5760405162461bcd60e51b815260040161067590611720565b60405180910390fd5b600d80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa1580156106e2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107069190611740565b6001600160a01b031663c9c6539630600d60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610768573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061078c9190611740565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156107d9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107fd9190611740565b600c80546001600160a01b0319166001600160a01b039283169081179091556000908152600a60209081526040808320805460ff191660011790553080845260088352818420600d805487168652908452828520600019905554818552600790935292205492169163f305d7199147916000805460405160e087901b6001600160e01b03191681526001600160a01b03948516600482015260248101939093526044830182905260648301919091529190911660848201524260a482015260c40160606040518083038185885af11580156108dc573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610901919061175d565b505050565b6000546001600160a01b031633146109305760405162461bcd60e51b815260040161067590611720565b600047116109795760405162461bcd60e51b81526020600482015260166024820152752a37b5b2b71d1037379022aa24103a379031b632b0b960511b6044820152606401610675565b60405133904780156108fc02916000818181858888f193505050501580156109a5573d6000803e3d6000fd5b50565b6000546001600160a01b031633146109d25760405162461bcd60e51b815260040161067590611720565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000546001600160a01b03163314610a415760405162461bcd60e51b815260040161067590611720565b600d54600160b01b900460ff1615610a9b5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610675565b600d805462ffffff60a01b19166201010160a01b179055565b6000610644338484610b32565b600080546001600160a01b03163314610aec5760405162461bcd60e51b815260040161067590611720565b50600354600455600190565b60008184841115610b1c5760405162461bcd60e51b815260040161067591906115fa565b506000610b2984866117a1565b95945050505050565b60006001600160a01b038416610b985760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610675565b6001600160a01b038316610bfa5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610675565b60008211610c5c5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610675565b601554600090819060ff1615610c8057610c77868686610f12565b92505050610644565b6001600160a01b03861660009081526009602052604090205460ff16158015610cc257506001600160a01b03851660009081526009602052604090205460ff16155b15610d1757600d54600160b01b900460ff16610d175760405162461bcd60e51b8152602060048201526014602482015273151c98591a5b99c81b9bdd081bdc195b881e595d60621b6044820152606401610675565b600d54600160a01b900460ff16610d3357610c77868686610f12565b600c546001600160a01b03868116911614801590610d5f57506002546001600160a01b03868116911614155b8015610d8457506001600160a01b03861660009081526009602052604090205460ff16155b8015610da957506001600160a01b03851660009081526009602052604090205460ff16155b15610e80576001600160a01b0385166000908152600a602052604090205460ff1680610dfa57506004546001600160a01b038616600090815260076020526040902054610df79086906117b4565b11155b610e545760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b6064820152608401610675565b600c546001600160a01b0390811690871603610e805760148054906000610e7a836117c7565b91905055505b6001600160a01b03861660009081526009602052604090205460ff1615600c549092506001600160a01b03868116911614610ed857600c546001600160a01b03878116911614610ed1576000610edb565b6001610edb565b60025b60ff169050610eeb828286610ff8565b15610ef957610ef984611063565b610f068686868585611229565b50600195945050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0386166000908152600790915291822054610f63918490610af8565b6001600160a01b038086166000908152600760205260408082209390935590851681522054610f929083611386565b6001600160a01b0380851660008181526007602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe69086815260200190565b60405180910390a35060019392505050565b60055460009081818411801561101c57503060009081526007602052604090205482105b60155490915060ff1615801561102f5750855b80156110445750600d54600160a01b900460ff165b80156110505750600185115b80156110595750805b9695505050505050565b6015805460ff19166001179055306000908152600760205260408120549050600061109983611094846006546113e5565b6113e5565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106110d3576110d36117e0565b6001600160a01b03928316602091820292909201810191909152600d54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa15801561112c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111509190611740565b81600181518110611163576111636117e0565b6001600160a01b039283166020918202929092010152600d5460405163791ac94760e01b815291169063791ac947906111a99085906000908690309042906004016117f6565b600060405180830381600087803b1580156111c357600080fd5b505af11580156111d7573d6000803e3d6000fd5b5050600b546040514793506001600160a01b03909116915082156108fc029083906000818181858888f19350505050158015611217573d6000803e3d6000fd5b50506015805460ff1916905550505050565b60008261125757600d54600160a81b900460ff166112475783611259565b6112528284866113fa565b611259565b835b600d54909150600090600160a81b900460ff1680156112755750835b61127f578461128a565b61128a8385876113fa565b90506112f28260405180604001604052806014815260200173496e73756666696369656e742042616c616e636560601b815250600760008b6001600160a01b03166001600160a01b0316815260200190815260200160002054610af89092919063ffffffff16565b6001600160a01b0380891660009081526007602052604080822093909355908816815220546113219082611386565b6001600160a01b0380881660008181526007602052604090819020939093559151908916907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113759085815260200190565b60405180910390a350505050505050565b60008061139383856117b4565b9050838110156106445760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610675565b60008183116113f45782610644565b50919050565b60008060648461140b576001611454565b6001861161143d5760008611611422576000611454565b6012546014541161143557600e54611454565b601054611454565b6013546014541161145057600f54611454565b6011545b9150600061146c8261146687866114c6565b90611548565b306000908152600760205260409020549091506114899082611386565b30600090815260076020526040902055856114ad576114a88386611867565b6114af565b805b90506114bb858261158a565b979650505050505050565b6000826000036114d857506000610583565b60006114e48385611867565b9050826114f1858361187e565b146106445760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610675565b600061064483836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115cc565b600061064483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610af8565b600081836115ed5760405162461bcd60e51b815260040161067591906115fa565b506000610b29848661187e565b600060208083528351808285015260005b818110156116275785810183015185820160400152820161160b565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146109a557600080fd5b6000806040838503121561167057600080fd5b823561167b81611648565b946020939093013593505050565b60008060006060848603121561169e57600080fd5b83356116a981611648565b925060208401356116b981611648565b929592945050506040919091013590565b6000602082840312156116dc57600080fd5b813561064481611648565b600080604083850312156116fa57600080fd5b823561170581611648565b9150602083013561171581611648565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b60006020828403121561175257600080fd5b815161064481611648565b60008060006060848603121561177257600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b818103818111156105835761058361178b565b808201808211156105835761058361178b565b6000600182016117d9576117d961178b565b5060010190565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118465784516001600160a01b031683529383019391830191600101611821565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176105835761058361178b565b60008261189b57634e487b7160e01b600052601260045260246000fd5b50049056fea26469706673582212201f5f85d0566ccc67f94a65ac29c6feed567701fd2c6676ca0e50ffcc0632e87764736f6c63430008130033

000000000000000000000000a85b990375fddcf0341f37cf8a72880111074760

-----Decoded View---------------
Arg [0] : atmWallet (address): 0xa85b990375fDDcf0341F37cf8a72880111074760

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000a85b990375fddcf0341f37cf8a72880111074760

4867:9420:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7456:94;;;;;;;;;;-1:-1:-1;7537:5:0;;;;;;;;;;;;-1:-1:-1;;;7537:5:0;;;;7456:94;;;;;;;:::i;:::-;;;;;;;;5840:31;;;;;;;;;;-1:-1:-1;5840:31:0;;;;-1:-1:-1;;;5840:31:0;;;;;;;;;732:14:1;;725:22;707:41;;695:2;680:18;5840:31:0;567:187:1;8524:248:0;;;;;;;;;;-1:-1:-1;8524:248:0;;;;;:::i;:::-;;:::i;5344:58::-;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5344:58:0;1215:177:1;5409:52:0;;;;;;;;;;;;;;;;7558:102;;;;;;;;;;-1:-1:-1;7640:12:0;;7558:102;;9795:424;;;;;;;;;;-1:-1:-1;9795:424:0;;;;;:::i;:::-;;:::i;2859:103::-;;;;;;;;;;-1:-1:-1;2859:103:0;;;;;:::i;:::-;2914:4;2949:5;-1:-1:-1;;;;;2938:16:0;;;2949:5;;2938:16;;2859:103;7668:94;;;;;;;;;;-1:-1:-1;7668:94:0;;5202:2;2252:36:1;;2240:2;2225:18;7668:94:0;2110:184:1;6768:472:0;;;;;;;;;;;;;:::i;:::-;;5213:59;;;;;;;;;;;;;;;;13898:198;;;;;;;;;;;;;:::i;5279:58::-;;;;;;;;;;;;;;;;5765:31;;;;;;;;;;-1:-1:-1;5765:31:0;;;;-1:-1:-1;;;5765:31:0;;;;;;5672:25;;;;;;;;;;-1:-1:-1;5672:25:0;;;;-1:-1:-1;;;;;5672:25:0;;;;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;5672:25:0;2299:203:1;7976:119:0;;;;;;;;;;-1:-1:-1;7976:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;8069:18:0;8042:7;8069:18;;;:9;:18;;;;;;;7976:119;2970:131;;;;;;;;;;;;;:::i;7876:92::-;;;;;;;;;;-1:-1:-1;7928:7:0;7955:5;-1:-1:-1;;;;;7955:5:0;7876:92;;7248:200;;;;;;;;;;;;;:::i;7770:98::-;;;;;;;;;;-1:-1:-1;7853:7:0;;;;;;;;;;;;-1:-1:-1;;;7853:7:0;;;;7770:98;;5803:30;;;;;;;;;;-1:-1:-1;5803:30:0;;;;-1:-1:-1;;;5803:30:0;;;;;;5704:19;;;;;;;;;;-1:-1:-1;5704:19:0;;;;-1:-1:-1;;;;;5704:19:0;;;9599:188;;;;;;;;;;-1:-1:-1;9599:188:0;;;;;:::i;:::-;;:::i;14104:135::-;;;;;;;;;;;;;:::i;8328:188::-;;;;;;;;;;-1:-1:-1;8328:188:0;;;;;:::i;:::-;-1:-1:-1;;;;;8480:19:0;;;8448:7;8480:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;8328:188;5732:24;;;;;;;;;;-1:-1:-1;5732:24:0;;;;-1:-1:-1;;;;;5732:24:0;;;8524:248;8660:10;8626:4;8648:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;8648:32:0;;;;;;;;;;:41;;;8705:37;8626:4;;8648:32;;8705:37;;;;8683:6;1361:25:1;;1349:2;1334:18;;1215:177;8705:37:0;;;;;;;;-1:-1:-1;8760:4:0;8524:248;;;;;:::o;9795:424::-;-1:-1:-1;;;;;9950:19:0;;9929:4;9950:19;;;:11;:19;;;;;;;;9970:10;9950:31;;;;;;;;-1:-1:-1;;9950:52:0;9946:206;;10053:87;;;;;;;;;;;-1:-1:-1;;;10053:87:0;;;;;;;;-1:-1:-1;;;;;10053:19:0;;-1:-1:-1;10053:19:0;;;:11;:19;;;;;10073:10;10053:31;;;;;;;;;;:87;;10107:6;;10053:53;:87::i;:::-;-1:-1:-1;;;;;10019:19:0;;;;;;:11;:19;;;;;;;;10039:10;10019:31;;;;;;;:121;9946:206;10171:40;10185:6;10193:9;10204:6;10171:13;:40::i;:::-;10164:47;;9795:424;;;;;;:::o;6768:472::-;2914:4;2949:5;-1:-1:-1;;;;;2949:5:0;2809:10;2938:16;2793:38;;;;-1:-1:-1;;;2793:38:0;;;;;;;:::i;:::-;;;;;;;;;6837:6:::1;:63:::0;;-1:-1:-1;;;;;;6837:63:0::1;6857:42;6837:63:::0;;::::1;::::0;;;6930:16:::1;::::0;;-1:-1:-1;;;6930:16:0;;;;:14:::1;::::0;:16:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;6857:42;6930:16:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6918:40:0::1;;6967:4;6974:6;;;;;;;;;-1:-1:-1::0;;;;;6974:6:0::1;-1:-1:-1::0;;;;;6974:11:0::1;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6918:70;::::0;-1:-1:-1;;;;;;6918:70:0::1;::::0;;;;;;-1:-1:-1;;;;;3946:15:1;;;6918:70:0::1;::::0;::::1;3928:34:1::0;3998:15;;3978:18;;;3971:43;3863:18;;6918:70:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6911:4;:77:::0;;-1:-1:-1;;;;;;6911:77:0::1;-1:-1:-1::0;;;;;6911:77:0;;::::1;::::0;;::::1;::::0;;;-1:-1:-1;6999:21:0;;;:15:::1;:21;::::0;;;;;;;:28;;-1:-1:-1;;6999:28:0::1;-1:-1:-1::0;6999:28:0::1;::::0;;7060:4:::1;7040:26:::0;;;:11:::1;:26:::0;;;;;7075:6:::1;::::0;;;::::1;7040:43:::0;;;;;;;;-1:-1:-1;;7040:63:0;;7114:6;8069:18;;;:9;:18;;;;;;7114:6;::::1;::::0;:22:::1;::::0;7144:21:::1;::::0;7206:1:::1;7210:5:::0;;7114:118:::1;::::0;::::1;::::0;;;-1:-1:-1;;;;;;7114:118:0;;;-1:-1:-1;;;;;4384:15:1;;;7114:118:0::1;::::0;::::1;4366:34:1::0;4416:18;;;4409:34;;;;4459:18;;;4452:34;;;4502:18;;;4495:34;;;;7210:5:0;;;::::1;4545:19:1::0;;;4538:44;7216:15:0::1;4598:19:1::0;;;4591:35;4300:19;;7114:118:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;6768:472::o:0;13898:198::-;2914:4;2949:5;-1:-1:-1;;;;;2949:5:0;2809:10;2938:16;2793:38;;;;-1:-1:-1;;;2793:38:0;;;;;;;:::i;:::-;13998:1:::1;13974:21;:25;13966:60;;;::::0;-1:-1:-1;;;13966:60:0;;5150:2:1;13966:60:0::1;::::0;::::1;5132:21:1::0;5189:2;5169:18;;;5162:30;-1:-1:-1;;;5208:18:1;;;5201:52;5270:18;;13966:60:0::1;4948:346:1::0;13966:60:0::1;14037:51;::::0;14045:10:::1;::::0;14066:21:::1;14037:51:::0;::::1;;;::::0;::::1;::::0;;;14066:21;14045:10;14037:51;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;13898:198::o:0;2970:131::-;2914:4;2949:5;-1:-1:-1;;;;;2949:5:0;2809:10;2938:16;2793:38;;;;-1:-1:-1;;;2793:38:0;;;;;;;:::i;:::-;3043:1:::1;3027:18:::0;;-1:-1:-1;;;;;;3027:18:0::1;::::0;;3061:32:::1;::::0;2445:51:1;;;3061:32:0::1;::::0;2433:2:1;2418:18;3061:32:0::1;;;;;;;2970:131::o:0;7248:200::-;2914:4;2949:5;-1:-1:-1;;;;;2949:5:0;2809:10;2938:16;2793:38;;;;-1:-1:-1;;;2793:38:0;;;;;;;:::i;:::-;7314:11:::1;::::0;-1:-1:-1;;;7314:11:0;::::1;;;7313:12;7305:47;;;::::0;-1:-1:-1;;;7305:47:0;;5501:2:1;7305:47:0::1;::::0;::::1;5483:21:1::0;5540:2;5520:18;;;5513:30;5579:25;5559:18;;;5552:53;5622:18;;7305:47:0::1;5299:347:1::0;7305:47:0::1;7365:11;:18:::0;;-1:-1:-1;;;;7422:18:0;-1:-1:-1;;;7422:18:0;;;7248:200::o;9599:188::-;9706:4;9735:44;9749:10;9761:9;9772:6;9735:13;:44::i;14104:135::-;14161:4;2949:5;;-1:-1:-1;;;;;2949:5:0;2809:10;2938:16;2793:38;;;;-1:-1:-1;;;2793:38:0;;;;;;;:::i;:::-;-1:-1:-1;14197:12:0::1;::::0;14178:16:::1;:31:::0;14227:4:::1;14104:135:::0;:::o;726:224::-;846:7;882:12;874:6;;;;866:29;;;;-1:-1:-1;;;866:29:0;;;;;;;;:::i;:::-;-1:-1:-1;906:9:0;918:5;922:1;918;:5;:::i;:::-;906:17;726:224;-1:-1:-1;;;;;726:224:0:o;10993:1489::-;11119:4;-1:-1:-1;;;;;11146:20:0;;11138:70;;;;-1:-1:-1;;;11138:70:0;;6118:2:1;11138:70:0;;;6100:21:1;6157:2;6137:18;;;6130:30;6196:34;6176:18;;;6169:62;-1:-1:-1;;;6247:18:1;;;6240:35;6292:19;;11138:70:0;5916:401:1;11138:70:0;-1:-1:-1;;;;;11227:23:0;;11219:71;;;;-1:-1:-1;;;11219:71:0;;6524:2:1;11219:71:0;;;6506:21:1;6563:2;6543:18;;;6536:30;6602:34;6582:18;;;6575:62;-1:-1:-1;;;6653:18:1;;;6646:33;6696:19;;11219:71:0;6322:399:1;11219:71:0;11318:1;11309:6;:10;11301:64;;;;-1:-1:-1;;;11301:64:0;;6928:2:1;11301:64:0;;;6910:21:1;6967:2;6947:18;;;6940:30;7006:34;6986:18;;;6979:62;-1:-1:-1;;;7057:18:1;;;7050:39;7106:19;;11301:64:0;6726:405:1;11301:64:0;11430:6;;11378:12;;;;11430:6;;11426:87;;;11460:41;11475:6;11483:9;11494:6;11460:14;:41::i;:::-;11453:48;;;;;;11426:87;-1:-1:-1;;;;;11529:19:0;;;;;;:11;:19;;;;;;;;11528:20;:47;;;;-1:-1:-1;;;;;;11553:22:0;;;;;;:11;:22;;;;;;;;11552:23;11528:47;11525:121;;;11599:11;;-1:-1:-1;;;11599:11:0;;;;11591:43;;;;-1:-1:-1;;;11591:43:0;;7338:2:1;11591:43:0;;;7320:21:1;7377:2;7357:18;;;7350:30;-1:-1:-1;;;7396:18:1;;;7389:50;7456:18;;11591:43:0;7136:344:1;11591:43:0;11662:11;;-1:-1:-1;;;11662:11:0;;;;11658:92;;11697:41;11712:6;11720:9;11731:6;11697:14;:41::i;11658:92::-;11779:4;;-1:-1:-1;;;;;11766:17:0;;;11779:4;;11766:17;;;;:38;;-1:-1:-1;11800:4:0;;-1:-1:-1;;;;;11787:17:0;;;11800:4;;11787:17;;11766:38;:62;;;;-1:-1:-1;;;;;;11809:19:0;;;;;;:11;:19;;;;;;;;11808:20;11766:62;:89;;;;-1:-1:-1;;;;;;11833:22:0;;;;;;:11;:22;;;;;;;;11832:23;11766:89;11762:403;;;-1:-1:-1;;;;;11898:26:0;;;;;;:15;:26;;;;;;;;;:100;;-1:-1:-1;11982:16:0;;-1:-1:-1;;;;;11949:20:0;;;;;;:9;:20;;;;;;:29;;11972:6;;11949:29;:::i;:::-;:49;;11898:100;11872:199;;;;-1:-1:-1;;;11872:199:0;;7817:2:1;11872:199:0;;;7799:21:1;7856:2;7836:18;;;7829:30;7895:34;7875:18;;;7868:62;-1:-1:-1;;;7946:18:1;;;7939:35;7991:19;;11872:199:0;7615:401:1;11872:199:0;12101:4;;-1:-1:-1;;;;;12101:4:0;;;12091:14;;;;12088:66;;12126:10;:12;;;:10;:12;;;:::i;:::-;;;;;;12088:66;-1:-1:-1;;;;;8293:19:0;;8268:4;8293:19;;;:11;:19;;;;;;;;8292:20;12239:4;;12177:28;;-1:-1:-1;;;;;;12226:17:0;;;12239:4;;12226:17;:43;;12259:4;;-1:-1:-1;;;;;12249:14:0;;;12259:4;;12249:14;:20;;12268:1;12226:43;;12249:20;12265:1;12226:43;;;12245:1;12226:43;12216:53;;;;12286:38;12299:7;12308;12317:6;12286:12;:38::i;:::-;12282:96;;;12341:25;12359:6;12341:17;:25::i;:::-;12390:60;12406:6;12414:9;12425:6;12433:7;12442;12390:15;:60::i;:::-;-1:-1:-1;12470:4:0;;10993:1489;-1:-1:-1;;;;;10993:1489:0:o;8780:401::-;8944:90;;;;;;;;;;;-1:-1:-1;;;8944:90:0;;;;;;;;-1:-1:-1;;;;;8944:17:0;;8907:4;8944:17;;;:9;:17;;;;;;;:90;;8980:6;;8944:21;:90::i;:::-;-1:-1:-1;;;;;8924:17:0;;;;;;;:9;:17;;;;;;:110;;;;9068:20;;;;;;;:32;;9093:6;9068:24;:32::i;:::-;-1:-1:-1;;;;;9045:20:0;;;;;;;:9;:20;;;;;;;:55;;;;9116:35;;;;;;;;;;9144:6;1361:25:1;;1349:2;1334:18;;1215:177;9116:35:0;;;;;;;;-1:-1:-1;9169:4:0;8780:401;;;;;:::o;9190:::-;9322:14;;9280:4;;;9368:21;;;:64;;;;-1:-1:-1;9411:4:0;8042:7;8069:18;;;:9;:18;;;;;;9420:12;-1:-1:-1;9368:64:0;9466:6;;9347:85;;-1:-1:-1;9466:6:0;;9465:7;:31;;;;;9489:7;9465:31;:59;;;;-1:-1:-1;9513:11:0;;-1:-1:-1;;;9513:11:0;;;;9465:59;:88;;;;;9552:1;9542:7;:11;9465:88;:118;;;;;9570:13;9465:118;9445:138;9190:401;-1:-1:-1;;;;;;9190:401:0:o;13214:676::-;6204:6;:13;;-1:-1:-1;;6204:13:0;6213:4;6204:13;;;13347:4:::1;-1:-1:-1::0;8069:18:0;;;:9;:18;;;;;;13298:55:::1;;13364:20;13387:51;13391:6;13399:38;13403:20;13425:11;;13399:3;:38::i;:::-;13387:3;:51::i;:::-;13475:16;::::0;;13489:1:::1;13475:16:::0;;;;;::::1;::::0;;13364:74;;-1:-1:-1;13451:21:0::1;::::0;13475:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;13475:16:0::1;13451:40;;13520:4;13502;13507:1;13502:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13502:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;13546:6:::1;::::0;:13:::1;::::0;;-1:-1:-1;;;13546:13:0;;;;:6;;;::::1;::::0;:11:::1;::::0;:13:::1;::::0;;::::1;::::0;13502:7;;13546:13;;;;;:6;:13:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13536:4;13541:1;13536:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13536:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;:23;13572:6:::1;::::0;:188:::1;::::0;-1:-1:-1;;;13572:188:0;;:6;::::1;::::0;:57:::1;::::0;:188:::1;::::0;13644:12;;13572:6:::1;::::0;13687:4;;13714::::1;::::0;13734:15:::1;::::0;13572:188:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;13842:10:0::1;::::0;13834:48:::1;::::0;13802:21:::1;::::0;-1:-1:-1;;;;;;13842:10:0;;::::1;::::0;-1:-1:-1;13834:48:0;::::1;;;::::0;13802:21;;13773:26:::1;13834:48:::0;13773:26;13834:48;13802:21;13842:10;13834:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;6240:6:0;:14;;-1:-1:-1;;6240:14:0;;;-1:-1:-1;;;;13214:676:0:o;12490:716::-;12667:15;12685:7;:128;;12718:10;;-1:-1:-1;;;12718:10:0;;;;:95;;12806:7;12685:128;;12718:95;12744:45;12764:6;12772:7;12781;12744:19;:45::i;:::-;12685:128;;;12708:7;12685:128;12844:10;;12667:146;;-1:-1:-1;12826:15:0;;-1:-1:-1;;;12844:10:0;;;;:21;;;;;12858:7;12844:21;:105;;12942:7;12844:105;;;12881:45;12901:6;12909:7;12918;12881:19;:45::i;:::-;12826:123;;12982:91;13018:7;12982:91;;;;;;;;;;;;;-1:-1:-1;;;12982:91:0;;;:9;:17;12992:6;-1:-1:-1;;;;;12982:17:0;-1:-1:-1;;;;;12982:17:0;;;;;;;;;;;;;:21;;:91;;;;;:::i;:::-;-1:-1:-1;;;;;12962:17:0;;;;;;;:9;:17;;;;;;:111;;;;13109:20;;;;;;;:33;;13134:7;13109:24;:33::i;:::-;-1:-1:-1;;;;;13086:20:0;;;;;;;:9;:20;;;;;;;:56;;;;13160:36;;;;;;;;;;13188:7;1361:25:1;;1349:2;1334:18;;1215:177;13160:36:0;;;;;;;;12654:552;;12490:716;;;;;:::o;395:179::-;453:7;;485:5;489:1;485;:5;:::i;:::-;473:17;;514:1;509;:6;;501:46;;;;-1:-1:-1;;;501:46:0;;9612:2:1;501:46:0;;;9594:21:1;9651:2;9631:18;;;9624:30;9690:29;9670:18;;;9663:57;9737:18;;501:46:0;9410:351:1;8103:98:0;8160:7;8187:1;8185;:3;8184:9;;8192:1;8184:9;;;-1:-1:-1;8190:1:0;8103:98;-1:-1:-1;8103:98:0:o;10275:710::-;10384:7;;10469:3;10499:7;:206;;10704:1;10499:206;;;10532:1;10523:6;:10;:178;;10622:1;10613:6;:10;:88;;10700:1;10523:178;;10613:88;10652:15;;10641:10;;:26;:55;;10685:11;;10523:178;;10641:55;10670:12;;10523:178;;;10562:16;;10551:10;;:27;:58;;10597:12;;10551:58;;;10581:13;;10551:58;10485:220;-1:-1:-1;10718:18:0;10739:49;10768:19;10739:24;:7;10485:220;10739:11;:24::i;:::-;:28;;:49::i;:::-;10844:4;10826:24;;;;:9;:24;;;;;;10718:70;;-1:-1:-1;10826:40:0;;10718:70;10826:28;:40::i;:::-;10817:4;10799:24;;;;:9;:24;;;;;:67;10890:7;:44;;10913:21;10923:11;10913:7;:21;:::i;:::-;10890:44;;;10900:10;10890:44;10877:57;-1:-1:-1;10954:23:0;:7;10877:57;10954:11;:23::i;:::-;10947:30;10275:710;-1:-1:-1;;;;;;;10275:710:0:o;958:246::-;1016:7;1040:1;1045;1040:6;1036:47;;-1:-1:-1;1070:1:0;1063:8;;1036:47;1093:9;1105:5;1109:1;1105;:5;:::i;:::-;1093:17;-1:-1:-1;1138:1:0;1129:5;1133:1;1093:17;1129:5;:::i;:::-;:10;1121:56;;;;-1:-1:-1;;;1121:56:0;;10363:2:1;1121:56:0;;;10345:21:1;10402:2;10382:18;;;10375:30;10441:34;10421:18;;;10414:62;-1:-1:-1;;;10492:18:1;;;10485:31;10533:19;;1121:56:0;10161:397:1;1212:132:0;1270:7;1297:39;1301:1;1304;1297:39;;;;;;;;;;;;;;;;;:3;:39::i;582:136::-;640:7;667:43;671:1;674;667:43;;;;;;;;;;;;;;;;;:3;:43::i;1352:223::-;1472:7;1507:12;1500:5;1492:28;;;;-1:-1:-1;;;1492:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1531:9:0;1543:5;1547:1;1543;: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;759:131::-;-1:-1:-1;;;;;834:31:1;;824:42;;814:70;;880:1;877;870:12;895:315;963:6;971;1024:2;1012:9;1003:7;999:23;995:32;992:52;;;1040:1;1037;1030:12;992:52;1079:9;1066:23;1098:31;1123:5;1098:31;:::i;:::-;1148:5;1200:2;1185:18;;;;1172:32;;-1:-1:-1;;;895: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;1858:247::-;1917:6;1970:2;1958:9;1949:7;1945:23;1941:32;1938:52;;;1986:1;1983;1976:12;1938:52;2025:9;2012:23;2044:31;2069:5;2044: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;3126:329::-;3328:2;3310:21;;;3367:1;3347:18;;;3340:29;-1:-1:-1;;;3400:2:1;3385:18;;3378:36;3446:2;3431:18;;3126:329::o;3460:251::-;3530:6;3583:2;3571:9;3562:7;3558:23;3554:32;3551:52;;;3599:1;3596;3589:12;3551:52;3631:9;3625:16;3650:31;3675:5;3650:31;:::i;4637:306::-;4725:6;4733;4741;4794:2;4782:9;4773:7;4769:23;4765:32;4762:52;;;4810:1;4807;4800:12;4762:52;4839:9;4833:16;4823:26;;4889:2;4878:9;4874:18;4868:25;4858:35;;4933:2;4922:9;4918:18;4912:25;4902:35;;4637:306;;;;;:::o;5651:127::-;5712:10;5707:3;5703:20;5700:1;5693:31;5743:4;5740:1;5733:15;5767:4;5764:1;5757:15;5783:128;5850:9;;;5871:11;;;5868:37;;;5885:18;;:::i;7485:125::-;7550:9;;;7571:10;;;7568:36;;;7584:18;;:::i;8021:135::-;8060:3;8081:17;;;8078:43;;8101:18;;:::i;:::-;-1:-1:-1;8148:1:1;8137:13;;8021:135::o;8293:127::-;8354:10;8349:3;8345:20;8342:1;8335:31;8385:4;8382:1;8375:15;8409:4;8406:1;8399:15;8425:980;8687:4;8735:3;8724:9;8720:19;8766:6;8755:9;8748:25;8792:2;8830:6;8825:2;8814:9;8810:18;8803:34;8873:3;8868:2;8857:9;8853:18;8846:31;8897:6;8932;8926:13;8963:6;8955;8948:22;9001:3;8990:9;8986:19;8979:26;;9040:2;9032:6;9028:15;9014:29;;9061:1;9071:195;9085:6;9082:1;9079:13;9071:195;;;9150:13;;-1:-1:-1;;;;;9146:39:1;9134:52;;9241:15;;;;9206:12;;;;9182:1;9100:9;9071:195;;;-1:-1:-1;;;;;;;9322:32:1;;;;9317:2;9302:18;;9295:60;-1:-1:-1;;;9386:3:1;9371:19;9364:35;9283:3;8425:980;-1:-1:-1;;;8425:980:1:o;9766:168::-;9839:9;;;9870;;9887:15;;;9881:22;;9867:37;9857:71;;9908:18;;:::i;9939:217::-;9979:1;10005;9995:132;;10049:10;10044:3;10040:20;10037:1;10030:31;10084:4;10081:1;10074:15;10112:4;10109:1;10102:15;9995:132;-1:-1:-1;10141:9:1;;9939:217::o

ipfs://1f5f85d0566ccc67f94a65ac29c6feed567701fd2c6676ca0e50ffcc0632e877