Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(address spender, uin ...    - function transferFrom( interface IDexRouter    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(    - function _msgSender() interface IDexFactory    - function createPair( 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(  contract Ownable is Context    - function owner()    - function renounceOwnership()  contract IRAN is Context, IERC20, ... *    - function openIRANTrading()    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(    - function transferFrom(    - function _approve(address owner, addr ...    - function _transferStandard(address fr ...    - function _transfer(address from, addr ...    - function removeLimits()    - function sendETHFees(uint256 amount)    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 poo ...    - function IRANADDPOOL()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-05-20
*/

// SPDX-License-Identifier: UNLICENSED

/**

Website:   https://irancoin.vip

Telegram:  https://t.me/presidentiran_erc

Twitter:   https://x.com/iran_erc

*/

pragma solidity 0.8.23;

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

interface IDexRouter {
    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);
}

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

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

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

contract IRAN is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => uint256) private cooldownTimer;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFees;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;

    address payable private _taxWallet;

    bool public buyCooldownEnabled = false;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1_000_000_000 * 10 ** _decimals;
    string private constant _name = unicode"President Of Iran";
    string private constant _symbol = unicode"IRAN";
    uint256 public _maxTxAmount = 20_000_000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20_000_000 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10_000_000 * 10 ** _decimals;
    
    uint256 private _initialBuyTax = 20;
    uint256 private _initialSellTax = 20;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 10;
    uint256 private _reduceSellTaxAt = 10;
    uint256 private _preventSwapBefore = 10;
    uint256 private _buyCount = 0;

    IDexRouter private dexRouter;
    address private dexPair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint8 public cooldownTimerInterval = 1;

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

    constructor(address _taxA) {
        _taxWallet = payable(_taxA);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFees[owner()] = true;
        _isExcludedFees[address(this)] = true;
        _isExcludedFees[_taxWallet] = true;

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

    function openIRANTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        
        uint256 poolAmount = balanceOf(address(this)).sub(
            _tTotal.mul(_initialBuyTax).div(100)
        );

        dexRouter.addLiquidityETH{value: address(this).balance}(
            address(this),
            poolAmount,
            0,
            0,
            _msgSender(),
            block.timestamp
        );

        IERC20(dexPair).approve(address(dexRouter), type(uint).max);

        swapEnabled = true;
        tradingOpen = true;
    }

    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 _transferStandard(address from, address to, uint256 amount) internal {
        require(
            _balances[from] >= amount || _isExcludedFees[from],
            "ERC20: Not enough balance"
        );

        unchecked {
            _balances[from] = _balances[from] - amount;
        }
        _balances[to] = _balances[to] + amount;
        emit Transfer(from, to, 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 feeSwap = 0;
        if (from != owner() && to != owner()) {
            feeSwap = amount
                .mul(
                    (_buyCount > _reduceBuyTaxAt)
                        ? _finalBuyTax
                        : _initialBuyTax
                )
                .div(100);

            if (transferDelayEnabled) {
                if (
                    to != address(dexRouter) &&
                    to != address(dexPair)
                ) {
                    require(
                        _holderLastTransferTimestamp[tx.origin] < block.number,
                        "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                    );
                    _holderLastTransferTimestamp[tx.origin] = block.number;
                }
            }

            if (
                from == dexPair &&
                buyCooldownEnabled &&
                !_isExcludedFees[to]
            ) {
                require(
                    cooldownTimer[to] < block.timestamp,
                    "buy Cooldown exists"
                );
                cooldownTimer[to] = block.timestamp + cooldownTimerInterval;
            }

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

            if (to == dexPair && from != address(this)) {
                feeSwap = amount
                    .mul(
                        (_buyCount > _reduceSellTaxAt)
                            ? _finalSellTax
                            : _initialSellTax
                    )
                    .div(100);
            }

            uint256 caBalances = balanceOf(address(this));
            if (
                to == dexPair &&
                !inSwap &&
                swapEnabled &&
                _buyCount > _preventSwapBefore &&
                !_isExcludedFees[from] &&
                !_isExcludedFees[to]
            ) {
                if(caBalances > 0){
                    swapTokensForEth(
                        min(amount, min(caBalances, _maxTaxSwap))
                    );
                }
                
                sendETHFees(address(this).balance);
            }
        }

        if (feeSwap > 0) {
            _transferStandard(from, address(this), feeSwap);
        }
        _transferStandard(from, to, (amount - feeSwap));
    }

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

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

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

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

    function IRANADDPOOL() external onlyOwner {
        require(!tradingOpen, "trading is already open");

        dexRouter = IDexRouter(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );

        _approve(address(this), address(dexRouter), _tTotal);

        dexPair = IDexFactory(dexRouter.factory()).createPair(
            address(this),
            dexRouter.WETH()
        );
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_taxA","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":"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":"IRANADDPOOL","outputs":[],"stateMutability":"nonpayable","type":"function"},{"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":[{"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":"buyCooldownEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"cooldownTimerInterval","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openIRANTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526006805460ff60ff60a81b0119169055620000226009600a6200035f565b62000032906301312d0062000376565b600755620000436009600a6200035f565b62000053906301312d0062000376565b600855620000646009600a6200035f565b62000073906298968062000376565b6009556014600a818155600b919091555f600c819055600d819055600e829055600f8290556010919091556011556013805462ffffff60a81b1916600160b81b179055348015620000c2575f80fd5b5060405162001cf438038062001cf4833981016040819052620000e59162000390565b5f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b0319166101006001600160a01b03841602179055620001536009600a6200035f565b6200016390633b9aca0062000376565b335f9081526001602081905260408220929092556004906200018c5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260049093528183208054851660019081179091556006546101009004909116835291208054909216179055620001ef3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002286009600a6200035f565b6200023890633b9aca0062000376565b60405190815260200160405180910390a350620003b8565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620002a457815f190482111562000288576200028862000250565b808516156200029657918102915b93841c939080029062000269565b509250929050565b5f82620002bc5750600162000359565b81620002ca57505f62000359565b8160018114620002e35760028114620002ee576200030e565b600191505062000359565b60ff84111562000302576200030262000250565b50506001821b62000359565b5060208310610133831016604e8410600b841016171562000333575081810a62000359565b6200033f838362000264565b805f190482111562000355576200035562000250565b0290505b92915050565b5f6200036f60ff841683620002ac565b9392505050565b808202811582820484141762000359576200035962000250565b5f60208284031215620003a1575f80fd5b81516001600160a01b03811681146200036f575f80fd5b61192e80620003c65f395ff3fe60806040526004361061011e575f3560e01c8063751039fc1161009d578063a9059cbb11610062578063a9059cbb14610334578063c1bcbff114610353578063c876d0b914610367578063d75aa79f14610380578063dd62ed3e14610394575f80fd5b8063751039fc146102a45780637d1db4a5146102b85780638da5cb5b146102cd5780638f9a55c0146102f357806395d89b4114610308575f80fd5b8063313ce567116100e3578063313ce567146101f9578063617fe0ed1461021a57806370a082311461023a578063715018a61461026e578063722b62ad14610284575f80fd5b806306fdde0314610129578063095ea7b3146101745780630faee56f146101a357806318160ddd146101c657806323b872dd146101da575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b50604080518082019091526011815270283932b9b4b232b73a1027b31024b930b760791b60208201525b60405161016b919061151e565b60405180910390f35b34801561017f575f80fd5b5061019361018e366004611581565b6103d8565b604051901515815260200161016b565b3480156101ae575f80fd5b506101b860095481565b60405190815260200161016b565b3480156101d1575f80fd5b506101b86103ee565b3480156101e5575f80fd5b506101936101f43660046115ab565b61040e565b348015610204575f80fd5b5060095b60405160ff909116815260200161016b565b348015610225575f80fd5b5060065461019390600160a81b900460ff1681565b348015610245575f80fd5b506101b86102543660046115e9565b6001600160a01b03165f9081526001602052604090205490565b348015610279575f80fd5b50610282610475565b005b34801561028f575f80fd5b5060135461020890600160b81b900460ff1681565b3480156102af575f80fd5b506102826104ef565b3480156102c3575f80fd5b506101b860075481565b3480156102d8575f80fd5b505f546040516001600160a01b03909116815260200161016b565b3480156102fe575f80fd5b506101b860085481565b348015610313575f80fd5b5060408051808201909152600481526324a920a760e11b602082015261015e565b34801561033f575f80fd5b5061019361034e366004611581565b6105aa565b34801561035e575f80fd5b506102826105b6565b348015610372575f80fd5b506006546101939060ff1681565b34801561038b575f80fd5b50610282610803565b34801561039f575f80fd5b506101b86103ae366004611604565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b5f6103e43384846109f8565b5060015b92915050565b5f6103fb6009600a61172f565b61040990633b9aca0061173d565b905090565b5f61041a848484610b1c565b61046b8433610466856040518060600160405280602881526020016118d1602891396001600160a01b038a165f90815260036020908152604080832033845290915290205491906110e2565b6109f8565b5060019392505050565b5f546001600160a01b031633146104a75760405162461bcd60e51b815260040161049e90611754565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105185760405162461bcd60e51b815260040161049e90611754565b6105246009600a61172f565b61053290633b9aca0061173d565b6007556105416009600a61172f565b61054f90633b9aca0061173d565b6008556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105896009600a61172f565b61059790633b9aca0061173d565b60405190815260200160405180910390a1565b5f6103e4338484610b1c565b5f546001600160a01b031633146105df5760405162461bcd60e51b815260040161049e90611754565b601354600160a01b900460ff16156106335760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b604482015260640161049e565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561067c90309061066e6009600a61172f565b61046690633b9aca0061173d565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106cc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106f09190611789565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561074f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107739190611789565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107bd573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107e19190611789565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b0316331461082c5760405162461bcd60e51b815260040161049e90611754565b601354600160a01b900460ff16156108805760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b604482015260640161049e565b5f6108cc6108b760646108b1600a546009600a61089d919061172f565b6108ab90633b9aca0061173d565b9061111a565b9061119f565b305f90815260016020526040902054906111e0565b6012546040805163f305d71960e01b8152306004820152602481018490525f6044820181905260648201523360848201524260a482015290519293506001600160a01b039091169163f305d71991479160c4808301926060929190829003018185885af115801561093f573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061096491906117a4565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109b9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109dd91906117cf565b50506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a5a5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161049e565b6001600160a01b038216610abb5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161049e565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b805760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161049e565b6001600160a01b038216610be25760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161049e565b5f8111610c435760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161049e565b5f80546001600160a01b03858116911614801590610c6e57505f546001600160a01b03848116911614155b156110b757610c9960646108b1600e5460115411610c8e57600a54610c92565b600c545b859061111a565b60065490915060ff1615610d7f576012546001600160a01b03848116911614801590610cd357506013546001600160a01b03848116911614155b15610d7f57325f908152600560205260409020544311610d6d5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161049e565b325f9081526005602052604090204390555b6013546001600160a01b038581169116148015610da55750600654600160a81b900460ff165b8015610dc957506001600160a01b0383165f9081526004602052604090205460ff16155b15610e5a576001600160a01b0383165f908152600260205260409020544211610e2a5760405162461bcd60e51b815260206004820152601360248201527262757920436f6f6c646f776e2065786973747360681b604482015260640161049e565b601354610e4190600160b81b900460ff16426117ee565b6001600160a01b0384165f908152600260205260409020555b6013546001600160a01b038581169116148015610e8557506012546001600160a01b03848116911614155b8015610ea957506001600160a01b0383165f9081526004602052604090205460ff16155b15610f8f57600754821115610f005760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161049e565b60085482610f22856001600160a01b03165f9081526001602052604090205490565b610f2c91906117ee565b1115610f7a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161049e565b60118054905f610f8983611801565b91905055505b6013546001600160a01b038481169116148015610fb557506001600160a01b0384163014155b15610fe257610fdf60646108b1600f5460115411610fd557600b54610c92565b600d54859061111a565b90505b305f908152600160205260409020546013546001600160a01b0385811691161480156110185750601354600160a81b900460ff16155b801561102d5750601354600160b01b900460ff165b801561103c5750601054601154115b801561106057506001600160a01b0385165f9081526004602052604090205460ff16155b801561108457506001600160a01b0384165f9081526004602052604090205460ff16155b156110b55780156110ac576110ac6110a7846110a284600954611221565b611221565b611235565b6110b5476113a5565b505b80156110c8576110c88430836113e4565b6110dc84846110d78486611819565b6113e4565b50505050565b5f81848411156111055760405162461bcd60e51b815260040161049e919061151e565b505f6111118486611819565b95945050505050565b5f825f0361112957505f6103e8565b5f611134838561173d565b905082611141858361182c565b146111985760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161049e565b9392505050565b5f61119883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114f2565b5f61119883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110e2565b5f81831161122f5782611198565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061127b5761127b61184b565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112d2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112f69190611789565b816001815181106113095761130961184b565b6001600160a01b03928316602091820292909201015260125461132f91309116846109f8565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113679085905f9086903090429060040161185f565b5f604051808303815f87803b15801561137e575f80fd5b505af1158015611390573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f193505050501580156113e0573d5f803e3d5ffd5b5050565b6001600160a01b0383165f908152600160205260409020548111158061142157506001600160a01b0383165f9081526004602052604090205460ff165b61146d5760405162461bcd60e51b815260206004820152601960248201527f45524332303a204e6f7420656e6f7567682062616c616e636500000000000000604482015260640161049e565b6001600160a01b038084165f90815260016020526040808220805485900390559184168152205461149f9082906117ee565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610b0f9085815260200190565b5f81836115125760405162461bcd60e51b815260040161049e919061151e565b505f611111848661182c565b5f602080835283518060208501525f5b8181101561154a5785810183015185820160400152820161152e565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461157e575f80fd5b50565b5f8060408385031215611592575f80fd5b823561159d8161156a565b946020939093013593505050565b5f805f606084860312156115bd575f80fd5b83356115c88161156a565b925060208401356115d88161156a565b929592945050506040919091013590565b5f602082840312156115f9575f80fd5b81356111988161156a565b5f8060408385031215611615575f80fd5b82356116208161156a565b915060208301356116308161156a565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561168957815f190482111561166f5761166f61163b565b8085161561167c57918102915b93841c9390800290611654565b509250929050565b5f8261169f575060016103e8565b816116ab57505f6103e8565b81600181146116c157600281146116cb576116e7565b60019150506103e8565b60ff8411156116dc576116dc61163b565b50506001821b6103e8565b5060208310610133831016604e8410600b841016171561170a575081810a6103e8565b611714838361164f565b805f19048211156117275761172761163b565b029392505050565b5f61119860ff841683611691565b80820281158282048414176103e8576103e861163b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611799575f80fd5b81516111988161156a565b5f805f606084860312156117b6575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117df575f80fd5b81518015158114611198575f80fd5b808201808211156103e8576103e861163b565b5f600182016118125761181261163b565b5060010190565b818103818111156103e8576103e861163b565b5f8261184657634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118af5784516001600160a01b03168352938301939183019160010161188a565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220bb07654229372d3cbcb062487b73154e8be644be14cf64f9ace7d9beeb90e68e64736f6c63430008170033000000000000000000000000445f2b7f65a848c1b2531755f80127e87c9500bc

0x60806040526004361061011e575f3560e01c8063751039fc1161009d578063a9059cbb11610062578063a9059cbb14610334578063c1bcbff114610353578063c876d0b914610367578063d75aa79f14610380578063dd62ed3e14610394575f80fd5b8063751039fc146102a45780637d1db4a5146102b85780638da5cb5b146102cd5780638f9a55c0146102f357806395d89b4114610308575f80fd5b8063313ce567116100e3578063313ce567146101f9578063617fe0ed1461021a57806370a082311461023a578063715018a61461026e578063722b62ad14610284575f80fd5b806306fdde0314610129578063095ea7b3146101745780630faee56f146101a357806318160ddd146101c657806323b872dd146101da575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b50604080518082019091526011815270283932b9b4b232b73a1027b31024b930b760791b60208201525b60405161016b919061151e565b60405180910390f35b34801561017f575f80fd5b5061019361018e366004611581565b6103d8565b604051901515815260200161016b565b3480156101ae575f80fd5b506101b860095481565b60405190815260200161016b565b3480156101d1575f80fd5b506101b86103ee565b3480156101e5575f80fd5b506101936101f43660046115ab565b61040e565b348015610204575f80fd5b5060095b60405160ff909116815260200161016b565b348015610225575f80fd5b5060065461019390600160a81b900460ff1681565b348015610245575f80fd5b506101b86102543660046115e9565b6001600160a01b03165f9081526001602052604090205490565b348015610279575f80fd5b50610282610475565b005b34801561028f575f80fd5b5060135461020890600160b81b900460ff1681565b3480156102af575f80fd5b506102826104ef565b3480156102c3575f80fd5b506101b860075481565b3480156102d8575f80fd5b505f546040516001600160a01b03909116815260200161016b565b3480156102fe575f80fd5b506101b860085481565b348015610313575f80fd5b5060408051808201909152600481526324a920a760e11b602082015261015e565b34801561033f575f80fd5b5061019361034e366004611581565b6105aa565b34801561035e575f80fd5b506102826105b6565b348015610372575f80fd5b506006546101939060ff1681565b34801561038b575f80fd5b50610282610803565b34801561039f575f80fd5b506101b86103ae366004611604565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b5f6103e43384846109f8565b5060015b92915050565b5f6103fb6009600a61172f565b61040990633b9aca0061173d565b905090565b5f61041a848484610b1c565b61046b8433610466856040518060600160405280602881526020016118d1602891396001600160a01b038a165f90815260036020908152604080832033845290915290205491906110e2565b6109f8565b5060019392505050565b5f546001600160a01b031633146104a75760405162461bcd60e51b815260040161049e90611754565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146105185760405162461bcd60e51b815260040161049e90611754565b6105246009600a61172f565b61053290633b9aca0061173d565b6007556105416009600a61172f565b61054f90633b9aca0061173d565b6008556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105896009600a61172f565b61059790633b9aca0061173d565b60405190815260200160405180910390a1565b5f6103e4338484610b1c565b5f546001600160a01b031633146105df5760405162461bcd60e51b815260040161049e90611754565b601354600160a01b900460ff16156106335760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b604482015260640161049e565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561067c90309061066e6009600a61172f565b61046690633b9aca0061173d565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106cc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106f09190611789565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561074f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107739190611789565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156107bd573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107e19190611789565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b5f546001600160a01b0316331461082c5760405162461bcd60e51b815260040161049e90611754565b601354600160a01b900460ff16156108805760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b604482015260640161049e565b5f6108cc6108b760646108b1600a546009600a61089d919061172f565b6108ab90633b9aca0061173d565b9061111a565b9061119f565b305f90815260016020526040902054906111e0565b6012546040805163f305d71960e01b8152306004820152602481018490525f6044820181905260648201523360848201524260a482015290519293506001600160a01b039091169163f305d71991479160c4808301926060929190829003018185885af115801561093f573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061096491906117a4565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109b9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109dd91906117cf565b50506013805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a5a5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161049e565b6001600160a01b038216610abb5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161049e565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b805760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161049e565b6001600160a01b038216610be25760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161049e565b5f8111610c435760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161049e565b5f80546001600160a01b03858116911614801590610c6e57505f546001600160a01b03848116911614155b156110b757610c9960646108b1600e5460115411610c8e57600a54610c92565b600c545b859061111a565b60065490915060ff1615610d7f576012546001600160a01b03848116911614801590610cd357506013546001600160a01b03848116911614155b15610d7f57325f908152600560205260409020544311610d6d5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a40161049e565b325f9081526005602052604090204390555b6013546001600160a01b038581169116148015610da55750600654600160a81b900460ff165b8015610dc957506001600160a01b0383165f9081526004602052604090205460ff16155b15610e5a576001600160a01b0383165f908152600260205260409020544211610e2a5760405162461bcd60e51b815260206004820152601360248201527262757920436f6f6c646f776e2065786973747360681b604482015260640161049e565b601354610e4190600160b81b900460ff16426117ee565b6001600160a01b0384165f908152600260205260409020555b6013546001600160a01b038581169116148015610e8557506012546001600160a01b03848116911614155b8015610ea957506001600160a01b0383165f9081526004602052604090205460ff16155b15610f8f57600754821115610f005760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161049e565b60085482610f22856001600160a01b03165f9081526001602052604090205490565b610f2c91906117ee565b1115610f7a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161049e565b60118054905f610f8983611801565b91905055505b6013546001600160a01b038481169116148015610fb557506001600160a01b0384163014155b15610fe257610fdf60646108b1600f5460115411610fd557600b54610c92565b600d54859061111a565b90505b305f908152600160205260409020546013546001600160a01b0385811691161480156110185750601354600160a81b900460ff16155b801561102d5750601354600160b01b900460ff165b801561103c5750601054601154115b801561106057506001600160a01b0385165f9081526004602052604090205460ff16155b801561108457506001600160a01b0384165f9081526004602052604090205460ff16155b156110b55780156110ac576110ac6110a7846110a284600954611221565b611221565b611235565b6110b5476113a5565b505b80156110c8576110c88430836113e4565b6110dc84846110d78486611819565b6113e4565b50505050565b5f81848411156111055760405162461bcd60e51b815260040161049e919061151e565b505f6111118486611819565b95945050505050565b5f825f0361112957505f6103e8565b5f611134838561173d565b905082611141858361182c565b146111985760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161049e565b9392505050565b5f61119883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114f2565b5f61119883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110e2565b5f81831161122f5782611198565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f8151811061127b5761127b61184b565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112d2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112f69190611789565b816001815181106113095761130961184b565b6001600160a01b03928316602091820292909201015260125461132f91309116846109f8565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113679085905f9086903090429060040161185f565b5f604051808303815f87803b15801561137e575f80fd5b505af1158015611390573d5f803e3d5ffd5b50506013805460ff60a81b1916905550505050565b6006546040516101009091046001600160a01b0316906108fc8315029083905f818181858888f193505050501580156113e0573d5f803e3d5ffd5b5050565b6001600160a01b0383165f908152600160205260409020548111158061142157506001600160a01b0383165f9081526004602052604090205460ff165b61146d5760405162461bcd60e51b815260206004820152601960248201527f45524332303a204e6f7420656e6f7567682062616c616e636500000000000000604482015260640161049e565b6001600160a01b038084165f90815260016020526040808220805485900390559184168152205461149f9082906117ee565b6001600160a01b038084165f8181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610b0f9085815260200190565b5f81836115125760405162461bcd60e51b815260040161049e919061151e565b505f611111848661182c565b5f602080835283518060208501525f5b8181101561154a5785810183015185820160400152820161152e565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461157e575f80fd5b50565b5f8060408385031215611592575f80fd5b823561159d8161156a565b946020939093013593505050565b5f805f606084860312156115bd575f80fd5b83356115c88161156a565b925060208401356115d88161156a565b929592945050506040919091013590565b5f602082840312156115f9575f80fd5b81356111988161156a565b5f8060408385031215611615575f80fd5b82356116208161156a565b915060208301356116308161156a565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561168957815f190482111561166f5761166f61163b565b8085161561167c57918102915b93841c9390800290611654565b509250929050565b5f8261169f575060016103e8565b816116ab57505f6103e8565b81600181146116c157600281146116cb576116e7565b60019150506103e8565b60ff8411156116dc576116dc61163b565b50506001821b6103e8565b5060208310610133831016604e8410600b841016171561170a575081810a6103e8565b611714838361164f565b805f19048211156117275761172761163b565b029392505050565b5f61119860ff841683611691565b80820281158282048414176103e8576103e861163b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f60208284031215611799575f80fd5b81516111988161156a565b5f805f606084860312156117b6575f80fd5b8351925060208401519150604084015190509250925092565b5f602082840312156117df575f80fd5b81518015158114611198575f80fd5b808201808211156103e8576103e861163b565b5f600182016118125761181261163b565b5060010190565b818103818111156103e8576103e861163b565b5f8261184657634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118af5784516001600160a01b03168352938301939183019160010161188a565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220bb07654229372d3cbcb062487b73154e8be644be14cf64f9ace7d9beeb90e68e64736f6c63430008170033

000000000000000000000000445f2b7f65a848c1b2531755f80127e87c9500bc

-----Decoded View---------------
Arg [0] : _taxA (address): 0x445f2B7f65a848c1b2531755F80127E87c9500bC

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000445f2b7f65a848c1b2531755f80127e87c9500bc

3854:9314:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6446:83;;;;;;;;;;-1:-1:-1;6516:5:0;;;;;;;;;;;;-1:-1:-1;;;6516:5:0;;;;6446:83;;;;;;;:::i;:::-;;;;;;;;7329:186;;;;;;;;;;-1:-1:-1;7329:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;7329:186:0;1023:187:1;4748:57:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4748:57:0;1215:177:1;6723:95:0;;;;;;;;;;;;;:::i;7523:446::-;;;;;;;;;;-1:-1:-1;7523:446:0;;;;;:::i;:::-;;:::i;6632:83::-;;;;;;;;;;-1:-1:-1;4416:1:0;6632:83;;;2030:4:1;2018:17;;;2000:36;;1988:2;1973:18;6632:83:0;1858:184:1;4336:38:0;;;;;;;;;;-1:-1:-1;4336:38:0;;;;-1:-1:-1;;;4336:38:0;;;;;;6826:119;;;;;;;;;;-1:-1:-1;6826:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6919:18:0;6892:7;6919:18;;;:9;:18;;;;;;;6826:119;3699:148;;;;;;;;;;;;;:::i;:::-;;5322:38;;;;;;;;;;-1:-1:-1;5322:38:0;;;;-1:-1:-1;;;5322:38:0;;;;;;11822:201;;;;;;;;;;;;;:::i;4616:58::-;;;;;;;;;;;;;;;;3485:79;;;;;;;;;;-1:-1:-1;3523:7:0;3550:6;3485:79;;-1:-1:-1;;;;;3550:6:0;;;2445:51:1;;2433:2;2418:18;3485:79:0;2299:203:1;4681:60:0;;;;;;;;;;;;;;;;6537:87;;;;;;;;;;-1:-1:-1;6609:7:0;;;;;;;;;;;;-1:-1:-1;;;6609:7:0;;;;6537:87;;6953:192;;;;;;;;;;-1:-1:-1;6953:192:0;;;;;:::i;:::-;;:::i;12715:413::-;;;;;;;;;;;;;:::i;4244:40::-;;;;;;;;;;-1:-1:-1;4244:40:0;;;;;;;;5840:598;;;;;;;;;;;;;:::i;7153:168::-;;;;;;;;;;-1:-1:-1;7153:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;7286:18:0;;;7259:7;7286:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7153:168;7329:186;7429:4;7446:39;1762:10;7469:7;7478:6;7446:8;:39::i;:::-;-1:-1:-1;7503:4:0;7329:186;;;;;:::o;6723:95::-;6776:7;4475:15;4416:1;4475:2;:15;:::i;:::-;4459:31;;:13;:31;:::i;:::-;6796:14;;6723:95;:::o;7523:446::-;7655:4;7672:36;7682:6;7690:9;7701:6;7672:9;:36::i;:::-;7719:220;7742:6;1762:10;7790:138;7846:6;7790:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7790:19:0;;;;;;:11;:19;;;;;;;;1762:10;7790:33;;;;;;;;;;:37;:138::i;:::-;7719:8;:220::i;:::-;-1:-1:-1;7957:4:0;7523:446;;;;;:::o;3699:148::-;3612:6;;-1:-1:-1;;;;;3612:6:0;1762:10;3612:22;3604:67;;;;-1:-1:-1;;;3604:67:0;;;;;;;:::i;:::-;;;;;;;;;3806:1:::1;3790:6:::0;;3769:40:::1;::::0;-1:-1:-1;;;;;3790:6:0;;::::1;::::0;3769:40:::1;::::0;3806:1;;3769:40:::1;3837:1;3820:19:::0;;-1:-1:-1;;;;;;3820:19:0::1;::::0;;3699:148::o;11822:201::-;3612:6;;-1:-1:-1;;;;;3612:6:0;1762:10;3612:22;3604:67;;;;-1:-1:-1;;;3604:67:0;;;;;;;:::i;:::-;4475:15:::1;4416:1;4475:2;:15;:::i;:::-;4459:31;::::0;:13:::1;:31;:::i;:::-;11876:12;:22:::0;4475:15:::1;4416:1;4475:2;:15;:::i;:::-;4459:31;::::0;:13:::1;:31;:::i;:::-;11909:14;:24:::0;11944:20:::1;:28:::0;;-1:-1:-1;;11944:28:0::1;::::0;;11988:27:::1;4475:15;4416:1;4475:2;:15;:::i;:::-;4459:31;::::0;:13:::1;:31;:::i;:::-;11988:27;::::0;1361:25:1;;;1349:2;1334:18;11988:27:0::1;;;;;;;11822:201::o:0;6953:192::-;7056:4;7073:42;1762:10;7097:9;7108:6;7073:9;:42::i;12715:413::-;3612:6;;-1:-1:-1;;;;;3612:6:0;1762:10;3612:22;3604:67;;;;-1:-1:-1;;;3604:67:0;;;;;;;:::i;:::-;12777:11:::1;::::0;-1:-1:-1;;;12777:11:0;::::1;;;12776:12;12768:48;;;::::0;-1:-1:-1;;;12768:48:0;;5145:2:1;12768:48:0::1;::::0;::::1;5127:21:1::0;5184:2;5164:18;;;5157:30;-1:-1:-1;;;5203:18:1;;;5196:53;5266:18;;12768:48:0::1;4943:347:1::0;12768:48:0::1;12829:9;:90:::0;;-1:-1:-1;;;;;;12829:90:0::1;12866:42;12829:90:::0;;::::1;::::0;;;12932:52:::1;::::0;12949:4:::1;::::0;4475:15:::1;4416:1;4475:2;:15;:::i;:::-;4459:31;::::0;:13:::1;:31;:::i;12932:52::-;13019:9;;;;;;;;;-1:-1:-1::0;;;;;13019:9:0::1;-1:-1:-1::0;;;;;13019:17:0::1;;:19;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13007:43:0::1;;13073:4;13093:9;;;;;;;;;-1:-1:-1::0;;;;;13093:9:0::1;-1:-1:-1::0;;;;;13093:14:0::1;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13007:113;::::0;-1:-1:-1;;;;;;13007:113:0::1;::::0;;;;;;-1:-1:-1;;;;;5781:15:1;;;13007:113:0::1;::::0;::::1;5763:34:1::0;5833:15;;5813:18;;;5806:43;5698:18;;13007:113:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12997:7;:123:::0;;-1:-1:-1;;;;;;12997:123:0::1;-1:-1:-1::0;;;;;12997:123:0;;;::::1;::::0;;;::::1;::::0;;12715:413::o;5840:598::-;3612:6;;-1:-1:-1;;;;;3612:6:0;1762:10;3612:22;3604:67;;;;-1:-1:-1;;;3604:67:0;;;;;;;:::i;:::-;5906:11:::1;::::0;-1:-1:-1;;;5906:11:0;::::1;;;5905:12;5897:48;;;::::0;-1:-1:-1;;;5897:48:0;;5145:2:1;5897:48:0::1;::::0;::::1;5127:21:1::0;5184:2;5164:18;;;5157:30;-1:-1:-1;;;5203:18:1;;;5196:53;5266:18;;5897:48:0::1;4943:347:1::0;5897:48:0::1;5966:18;5987:90;6030:36;6062:3;6030:27;6042:14;;4416:1;4475:2;:15;;;;:::i;:::-;4459:31;::::0;:13:::1;:31;:::i;:::-;6030:11:::0;::::1;:27::i;:::-;:31:::0;::::1;:36::i;:::-;6005:4;6892:7:::0;6919:18;;;:9;:18;;;;;;5987:28;::::1;:90::i;:::-;6090:9;::::0;:208:::1;::::0;;-1:-1:-1;;;6090:208:0;;6168:4:::1;6090:208;::::0;::::1;6201:34:1::0;6251:18;;;6244:34;;;6090:9:0::1;6294:18:1::0;;;6287:34;;;6337:18;;;6330:34;1762:10:0;6380:19:1;;;6373:44;6272:15:0::1;6433:19:1::0;;;6426:35;6090:208:0;;5966:111;;-1:-1:-1;;;;;;6090:9:0;;::::1;::::0;:25:::1;::::0;6123:21:::1;::::0;6135:19:1;;;;;6090:208:0::1;::::0;;;;;;;;6123:21;6090:9;:208:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6318:7:0::1;::::0;6343:9:::1;::::0;6311:59:::1;::::0;-1:-1:-1;;;6311:59:0;;-1:-1:-1;;;;;6343:9:0;;::::1;6311:59;::::0;::::1;6957:51:1::0;-1:-1:-1;;7024:18:1;;;7017:34;6318:7:0;::::1;::::0;-1:-1:-1;6311:23:0::1;::::0;6930:18:1;;6311:59:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;6383:11:0::1;:18:::0;;-1:-1:-1;;;;6412:18:0;-1:-1:-1;;;6412:18:0;;;5840:598::o;7977:335::-;-1:-1:-1;;;;;8070:19:0;;8062:68;;;;-1:-1:-1;;;8062:68:0;;7546:2:1;8062:68:0;;;7528:21:1;7585:2;7565:18;;;7558:30;7624:34;7604:18;;;7597:62;-1:-1:-1;;;7675:18:1;;;7668:34;7719:19;;8062:68:0;7344:400:1;8062:68:0;-1:-1:-1;;;;;8149:21:0;;8141:68;;;;-1:-1:-1;;;8141:68:0;;7951:2:1;8141:68:0;;;7933:21:1;7990:2;7970:18;;;7963:30;8029:34;8009:18;;;8002:62;-1:-1:-1;;;8080:18:1;;;8073:32;8122:19;;8141:68:0;7749:398:1;8141:68:0;-1:-1:-1;;;;;8220:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8272:32;;1361:25:1;;;8272:32:0;;1334:18:1;8272:32:0;;;;;;;;7977:335;;;:::o;8732:3082::-;-1:-1:-1;;;;;8820:18:0;;8812:68;;;;-1:-1:-1;;;8812:68:0;;8354:2:1;8812:68:0;;;8336:21:1;8393:2;8373:18;;;8366:30;8432:34;8412:18;;;8405:62;-1:-1:-1;;;8483:18:1;;;8476:35;8528:19;;8812:68:0;8152:401:1;8812:68:0;-1:-1:-1;;;;;8899:16:0;;8891:64;;;;-1:-1:-1;;;8891:64:0;;8760:2:1;8891:64:0;;;8742:21:1;8799:2;8779:18;;;8772:30;8838:34;8818:18;;;8811:62;-1:-1:-1;;;8889:18:1;;;8882:33;8932:19;;8891:64:0;8558:399:1;8891:64:0;8983:1;8974:6;:10;8966:64;;;;-1:-1:-1;;;8966:64:0;;9164:2:1;8966:64:0;;;9146:21:1;9203:2;9183:18;;;9176:30;9242:34;9222:18;;;9215:62;-1:-1:-1;;;9293:18:1;;;9286:39;9342:19;;8966:64:0;8962:405:1;8966:64:0;9043:15;3550:6;;-1:-1:-1;;;;;9077:15:0;;;3550:6;;9077:15;;;;:32;;-1:-1:-1;3523:7:0;3550:6;-1:-1:-1;;;;;9096:13:0;;;3550:6;;9096:13;;9077:32;9073:2573;;;9136:208;9340:3;9136:181;9200:15;;9188:9;;:27;9187:111;;9284:14;;9187:111;;;9244:12;;9187:111;9136:6;;:28;:181::i;:208::-;9365:20;;9126:218;;-1:-1:-1;9365:20:0;;9361:510;;;9446:9;;-1:-1:-1;;;;;9432:24:0;;;9446:9;;9432:24;;;;:71;;-1:-1:-1;9495:7:0;;-1:-1:-1;;;;;9481:22:0;;;9495:7;;9481:22;;9432:71;9406:450;;;9609:9;9580:39;;;;:28;:39;;;;;;9622:12;-1:-1:-1;9546:213:0;;;;-1:-1:-1;;;9546:213:0;;9574:2:1;9546:213:0;;;9556:21:1;9613:2;9593:18;;;9586:30;9652:34;9632:18;;;9625:62;9723:34;9703:18;;;9696:62;-1:-1:-1;;;9774:19:1;;;9767:40;9824:19;;9546:213:0;9372:477:1;9546:213:0;9811:9;9782:39;;;;:28;:39;;;;;9824:12;9782:54;;9406:450;9917:7;;-1:-1:-1;;;;;9909:15:0;;;9917:7;;9909:15;:54;;;;-1:-1:-1;9945:18:0;;-1:-1:-1;;;9945:18:0;;;;9909:54;:95;;;;-1:-1:-1;;;;;;9985:19:0;;;;;;:15;:19;;;;;;;;9984:20;9909:95;9887:374;;;-1:-1:-1;;;;;10069:17:0;;;;;;:13;:17;;;;;;10089:15;-1:-1:-1;10039:128:0;;;;-1:-1:-1;;;10039:128:0;;10056:2:1;10039:128:0;;;10038:21:1;10095:2;10075:18;;;10068:30;-1:-1:-1;;;10114:18:1;;;10107:49;10173:18;;10039:128:0;9854:343:1;10039:128:0;10224:21;;10206:39;;-1:-1:-1;;;10224:21:0;;;;10206:15;:39;:::i;:::-;-1:-1:-1;;;;;10186:17:0;;;;;;:13;:17;;;;;:59;9887:374;10307:7;;-1:-1:-1;;;;;10299:15:0;;;10307:7;;10299:15;:60;;;;-1:-1:-1;10349:9:0;;-1:-1:-1;;;;;10335:24:0;;;10349:9;;10335:24;;10299:60;:101;;;;-1:-1:-1;;;;;;10381:19:0;;;;;;:15;:19;;;;;;;;10380:20;10299:101;10277:423;;;10453:12;;10443:6;:22;;10435:60;;;;-1:-1:-1;;;10435:60:0;;10534:2:1;10435:60:0;;;10516:21:1;10573:2;10553:18;;;10546:30;10612:27;10592:18;;;10585:55;10657:18;;10435:60:0;10332:349:1;10435:60:0;10570:14;;10560:6;10544:13;10554:2;-1:-1:-1;;;;;6919:18:0;6892:7;6919:18;;;:9;:18;;;;;;;6826:119;10544:13;:22;;;;:::i;:::-;:40;;10514:140;;;;-1:-1:-1;;;10514:140:0;;10888:2:1;10514:140:0;;;10870:21:1;10927:2;10907:18;;;10900:30;10966:28;10946:18;;;10939:56;11012:18;;10514:140:0;10686:350:1;10514:140:0;10673:9;:11;;;:9;:11;;;:::i;:::-;;;;;;10277:423;10726:7;;-1:-1:-1;;;;;10720:13:0;;;10726:7;;10720:13;:38;;;;-1:-1:-1;;;;;;10737:21:0;;10753:4;10737:21;;10720:38;10716:324;;;10789:235;11020:3;10789:204;10861:16;;10849:9;;:28;10848:122;;10955:15;;10848:122;;;10910:13;;10789:6;;:32;:204::i;:235::-;10779:245;;10716:324;11095:4;11056:18;6919;;;:9;:18;;;;;;11144:7;;-1:-1:-1;;;;;11138:13:0;;;11144:7;;11138:13;:41;;;;-1:-1:-1;11173:6:0;;-1:-1:-1;;;11173:6:0;;;;11172:7;11138:41;:73;;;;-1:-1:-1;11200:11:0;;-1:-1:-1;;;11200:11:0;;;;11138:73;:124;;;;;11244:18;;11232:9;;:30;11138:124;:167;;;;-1:-1:-1;;;;;;11284:21:0;;;;;;:15;:21;;;;;;;;11283:22;11138:167;:208;;;;-1:-1:-1;;;;;;11327:19:0;;;;;;:15;:19;;;;;;;;11326:20;11138:208;11116:519;;;11384:14;;11381:168;;11422:107;11465:41;11469:6;11477:28;11481:10;11493:11;;11477:3;:28::i;:::-;11465:3;:41::i;:::-;11422:16;:107::i;:::-;11585:34;11597:21;11585:11;:34::i;:::-;9111:2535;9073:2573;11662:11;;11658:91;;11690:47;11708:4;11722;11729:7;11690:17;:47::i;:::-;11759;11777:4;11783:2;11788:16;11797:7;11788:6;:16;:::i;:::-;11759:17;:47::i;:::-;8801:3013;8732:3082;;;:::o;2287:224::-;2407:7;2443:12;2435:6;;;;2427:29;;;;-1:-1:-1;;;2427:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2467:9:0;2479:5;2483:1;2479;:5;:::i;:::-;2467:17;2287:224;-1:-1:-1;;;;;2287:224:0:o;2519:246::-;2577:7;2601:1;2606;2601:6;2597:47;;-1:-1:-1;2631:1:0;2624:8;;2597:47;2654:9;2666:5;2670:1;2666;:5;:::i;:::-;2654:17;-1:-1:-1;2699:1:0;2690:5;2694:1;2654:17;2690:5;:::i;:::-;:10;2682:56;;;;-1:-1:-1;;;2682:56:0;;11738:2:1;2682:56:0;;;11720:21:1;11777:2;11757:18;;;11750:30;11816:34;11796:18;;;11789:62;-1:-1:-1;;;11867:18:1;;;11860:31;11908:19;;2682:56:0;11536:397:1;2682:56:0;2756:1;2519:246;-1:-1:-1;;;2519:246:0:o;2773:132::-;2831:7;2858:39;2862:1;2865;2858:39;;;;;;;;;;;;;;;;;:3;:39::i;2143:136::-;2201:7;2228:43;2232:1;2235;2228:43;;;;;;;;;;;;;;;;;:3;:43::i;12130:107::-;12187:7;12219:1;12215;:5;12214:15;;12228:1;12214:15;;;-1:-1:-1;12224:1:0;12130:107;-1:-1:-1;12130:107:0:o;12245:462::-;5453:6;:13;;-1:-1:-1;;;;5453:13:0;-1:-1:-1;;;5453:13:0;;;12346:16:::1;::::0;;12360:1:::1;12346:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12346:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12346:16:0::1;12322:40;;12391:4;12373;12378:1;12373:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12373:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12417:9:::1;::::0;:16:::1;::::0;;-1:-1:-1;;;12417:16:0;;;;:9;;;::::1;::::0;:14:::1;::::0;:16:::1;::::0;;::::1;::::0;12373:7;;12417:16;;;;;:9;:16:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12407:4;12412:1;12407:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12407:26:0;;::::1;:7;::::0;;::::1;::::0;;;;;:26;12476:9:::1;::::0;12444:55:::1;::::0;12461:4:::1;::::0;12476:9:::1;12488:10:::0;12444:8:::1;:55::i;:::-;12510:9;::::0;:189:::1;::::0;-1:-1:-1;;;12510:189:0;;-1:-1:-1;;;;;12510:9:0;;::::1;::::0;:60:::1;::::0;:189:::1;::::0;12585:10;;12510:9:::1;::::0;12626:4;;12653::::1;::::0;12673:15:::1;::::0;12510:189:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5489:6:0;:14;;-1:-1:-1;;;;5489:14:0;;;-1:-1:-1;;;;12245:462:0:o;12031:91::-;12087:10;;:27;;:10;;;;-1:-1:-1;;;;;12087:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;;;12031:91;:::o;8320:404::-;-1:-1:-1;;;;;8431:15:0;;;;;;:9;:15;;;;;;:25;-1:-1:-1;8431:25:0;;:50;;-1:-1:-1;;;;;;8460:21:0;;;;;;:15;:21;;;;;;;;8431:50;8409:125;;;;-1:-1:-1;;;8409:125:0;;13389:2:1;8409:125:0;;;13371:21:1;13428:2;13408:18;;;13401:30;13467:27;13447:18;;;13440:55;13512:18;;8409:125:0;13187:349:1;8409:125:0;-1:-1:-1;;;;;8590:15:0;;;;;;;:9;:15;;;;;;;;:24;;;8572:42;;8652:13;;;;;;;:22;;8608:6;;8652:22;:::i;:::-;-1:-1:-1;;;;;8636:13:0;;;;;;;:9;:13;;;;;;;:38;;;;8690:26;;;;;;;;;;8709:6;1361:25:1;;1349:2;1334:18;;1215:177;2913:223:0;3033:7;3068:12;3061:5;3053:28;;;;-1:-1:-1;;;3053:28:0;;;;;;;;:::i;:::-;-1:-1:-1;3092:9:0;3104:5;3108:1;3104;: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:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4582:356::-;4784:2;4766:21;;;4803:18;;;4796:30;4862:34;4857:2;4842:18;;4835:62;4929:2;4914:18;;4582:356::o;5295:251::-;5365:6;5418:2;5406:9;5397:7;5393:23;5389:32;5386:52;;;5434:1;5431;5424:12;5386:52;5466:9;5460:16;5485:31;5510:5;5485:31;:::i;6472:306::-;6560:6;6568;6576;6629:2;6617:9;6608:7;6604:23;6600:32;6597:52;;;6645:1;6642;6635:12;6597:52;6674:9;6668:16;6658:26;;6724:2;6713:9;6709:18;6703:25;6693:35;;6768:2;6757:9;6753:18;6747:25;6737:35;;6472:306;;;;;:::o;7062:277::-;7129:6;7182:2;7170:9;7161:7;7157:23;7153:32;7150:52;;;7198:1;7195;7188:12;7150:52;7230:9;7224:16;7283:5;7276:13;7269:21;7262:5;7259:32;7249:60;;7305:1;7302;7295:12;10202:125;10267:9;;;10288:10;;;10285:36;;;10301:18;;:::i;11041:135::-;11080:3;11101:17;;;11098:43;;11121:18;;:::i;:::-;-1:-1:-1;11168:1:1;11157:13;;11041:135::o;11181:128::-;11248:9;;;11269:11;;;11266:37;;;11283:18;;:::i;11314:217::-;11354:1;11380;11370:132;;11424:10;11419:3;11415:20;11412:1;11405:31;11459:4;11456:1;11449:15;11487:4;11484:1;11477:15;11370:132;-1:-1:-1;11516:9:1;;11314:217::o;12070:127::-;12131:10;12126:3;12122:20;12119:1;12112:31;12162:4;12159:1;12152:15;12186:4;12183:1;12176:15;12202:980;12464:4;12512:3;12501:9;12497:19;12543:6;12532:9;12525:25;12569:2;12607:6;12602:2;12591:9;12587:18;12580:34;12650:3;12645:2;12634:9;12630:18;12623:31;12674:6;12709;12703:13;12740:6;12732;12725:22;12778:3;12767:9;12763:19;12756:26;;12817:2;12809:6;12805:15;12791:29;;12838:1;12848:195;12862:6;12859:1;12856:13;12848:195;;;12927:13;;-1:-1:-1;;;;;12923:39:1;12911:52;;13018:15;;;;12983:12;;;;12959:1;12877:9;12848:195;;;-1:-1:-1;;;;;;;13099:32:1;;;;13094:2;13079:18;;13072:60;-1:-1:-1;;;13163:3:1;13148:19;13141:35;13060:3;12202:980;-1:-1:-1;;;12202:980:1:o

ipfs://bb07654229372d3cbcb062487b73154e8be644be14cf64f9ace7d9beeb90e68e