Contract

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 IUniswapV2Factory
•    - function createPair(address tokenA, a ...
•    - function _isOwner(address account)
•    - function renounceOwnership()
• interface IERC20
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• interface IUniswapV2Router
•    - function factory()
•    - function WETH()
•    - function addLiquidity(
•    - function addLiquidityETH(
•    - function swapExactTokensForTokensSupp ...
•    - function swapExactETHForTokensSupport ...
•    - function swapExactTokensForETHSupport ...
•  contract FRANToken is IERC20, Owna ... *
•    - function totalSupply()
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function getOwner()
•    - function balanceOf(address account)
•    - function allowance(address holder, ad ...
•    - function _basicTransfer(address sende ...
•    - function approve(address spender, uin ...
•    - function exemptFees(address sender)
•    - function transferFrom(address sender, ...
•    - function adjustFranzWalletSize(uint25 ...
•    - function calcTransferFee(address send ...
•    - function performFranzSwap()
•    - function verifySwapRequirement(addres ...
•    - function validateSwapRequirement()
•    - function transfer(address recipient, ...
•    - function updateFranzTax(uint256 lpFee ...
•    - function isSellOrder(address recipien ...
•    - function _transferFrom(address sender ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT

/*

    Our goal is to make On-Chain Finance as capital efficient as CeFi.

    Franzia is building web3 infrastructure allowing all on-chain financial assets to interact with and collateralize against each other via a universal margin account – starting with existing crypto assets and expanding to real world assets.

    Web: https://franzia.pro
    App: https://app.franzia.pro
    X: https://twitter.com/FranziaPro
    Tg: https://t.me/franzia_official
    Medium: https://medium.com/@franzia.pro

*/

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 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 getOwner() external view returns (address);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

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

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

    string private constant _name = "Franzia";
    string private constant _symbol = "FRAN";

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

    uint256 private _lpTax = 0; 
    uint256 private _marketingTax = 22;
    uint256 private _totalTax = _lpTax + _marketingTax;
    uint256 private _denominators = 100;

    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _noTax;
    mapping (address => bool) private _noMaxTx;

    modifier lockSwap() { swappingInProgress = true; _; swappingInProgress = false; }

    uint256 public maxTxAmount = (_totalSupply * 20) / 1000;
    address public teamAddress;
    IUniswapV2Router public uniswapRouter;
    address public uniswapPair;

    bool public isTaxSwapEnabled = true;
    uint256 public swapThreshold = _totalSupply / 100000; // 0.1%
    bool private swappingInProgress;

    address private _routerAddress = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address private _deadAddress = 0x000000000000000000000000000000000000dEaD;

    constructor (address FranzAddress) Ownable(msg.sender) {
        uniswapRouter = IUniswapV2Router(_routerAddress);
        uniswapPair = IUniswapV2Factory(uniswapRouter.factory()).createPair(uniswapRouter.WETH(), address(this));
        _allowances[address(this)][address(uniswapRouter)] = type(uint256).max;
        address _owner = _owner;
        teamAddress = FranzAddress;
        _noTax[teamAddress] = true;
        _noMaxTx[_owner] = true;
        _noMaxTx[teamAddress] = true;
        _noMaxTx[_deadAddress] = true;
        _balances[_owner] = _totalSupply;
        emit Transfer(address(0), _owner, _totalSupply);
    }

    receive() external payable { }

    function totalSupply() external view override returns (uint256) { return _totalSupply; }
    function decimals() external pure override returns (uint8) { return _decimals; }
    function symbol() external pure override returns (string memory) { return _symbol; }
    function name() external pure override returns (string memory) { return _name; }
    function getOwner() external view override returns (address) { return _owner; }
    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 _basicTransfer(address sender, address recipient, uint256 amount) internal returns (bool) {
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        return true;
    }
    
    function approve(address spender, uint256 amount) public override returns (bool) {
        _allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

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

        return _transferFrom(sender, recipient, amount);
    }
    
    function adjustFranzWalletSize(uint256 percent) external onlyOwner {
        maxTxAmount = (_totalSupply * percent) / 1000;
    }

    function calcTransferFee(address sender, uint256 amount) internal returns (uint256) {
        _balances[sender] = _balances[sender].sub(amount, "Insufficient Balance");
        uint256 feeTokens = amount.mul(_totalTax).div(_denominators);
        bool hasNoFee = sender == _owner;
        if (hasNoFee) {
            feeTokens = 0;
        }
        _balances[address(this)] = _balances[address(this)].add(feeTokens);
        emit Transfer(sender, address(this), feeTokens);
        return amount.sub(feeTokens);
    }
    
    function performFranzSwap() internal lockSwap {
        uint256 contractTokenBalance = balanceOf(address(this));
        uint256 tokensToLp = contractTokenBalance.mul(_lpTax).div(_totalTax).div(2);
        uint256 amountToSwap = contractTokenBalance.sub(tokensToLp);

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

        uniswapRouter.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amountToSwap,
            0,
            path,
            address(this),
            block.timestamp
        );
        uint256 amountETH = address(this).balance;
        uint256 totalFeeTokens = _totalTax.sub(_lpTax.div(2));
        uint256 ethToLp = amountETH.mul(_lpTax).div(totalFeeTokens).div(2);
        uint256 ethToMarketing = amountETH.mul(_marketingTax).div(totalFeeTokens);

        payable(teamAddress).transfer(ethToMarketing);
        if(tokensToLp > 0){
            uniswapRouter.addLiquidityETH{value: ethToLp}(
                address(this),
                tokensToLp,
                0,
                0,
                teamAddress,
                block.timestamp
            );
        }
    }

    function verifySwapRequirement(address sender, address recipient, uint256 amount) private returns (bool) {
        return validateSwapRequirement() && 
            exemptFees(sender) && 
            isSellOrder(recipient) && 
            amount > swapThreshold;
    }
    
    function validateSwapRequirement() internal view returns (bool) {
        return !swappingInProgress
        && isTaxSwapEnabled
        && _balances[address(this)] >= swapThreshold;
    }

    function transfer(address recipient, uint256 amount) external override returns (bool) {
        return _transferFrom(msg.sender, recipient, amount);
    }
    
    function updateFranzTax(uint256 lpFee, uint256 devFee) external onlyOwner {
         _lpTax = lpFee; 
         _marketingTax = devFee;
         _totalTax = _lpTax + _marketingTax;
    }    

    function isSellOrder(address recipient) private returns (bool){
        return recipient == uniswapPair;
    }

    function _transferFrom(address sender, address recipient, uint256 amount) internal returns (bool) {
        if(swappingInProgress){ return _basicTransfer(sender, recipient, amount); }
        
        if (recipient != uniswapPair && recipient != _deadAddress) {
            require(_noMaxTx[recipient] || _balances[recipient] + amount <= maxTxAmount, "Transfer amount exceeds the bag size.");
        }        
        if(verifySwapRequirement(sender, recipient, amount)){ 
            performFranzSwap(); 
        } 
        bool shouldTax = exemptFees(sender);
        if (shouldTax) {
            _balances[recipient] = _balances[recipient].add(calcTransferFee(sender, amount));
        } else {
            _balances[recipient] = _balances[recipient].add(amount);
        }

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"FranzAddress","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":"adjustFranzWalletSize","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":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isTaxSwapEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"swapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"teamAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapPair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"uniswapRouter","outputs":[{"internalType":"contract IUniswapV2Router","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"lpFee","type":"uint256"},{"internalType":"uint256","name":"devFee","type":"uint256"}],"name":"updateFranzTax","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a62000496565b6200002290633b9aca00620004ae565b60015560006002819055601660038190556200003e91620004c8565b60045560646005556103e860015460146200005a9190620004ae565b620000669190620004de565b600a55600d805460ff60a01b1916600160a01b1790556001546200008f90620186a090620004de565b600e55600f8054747a250d5630b4cf539739df2c5dacb4c659f2488d00610100600160a81b0319909116179055601080546001600160a01b03191661dead179055348015620000dd57600080fd5b50604051620017d8380380620017d8833981016040819052620001009162000501565b600080546001600160a01b03199081163317909155600f54600c80549092166101009091046001600160a01b03169081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000170573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000196919062000501565b6001600160a01b031663c9c65396600c60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001f8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200021e919062000501565b6040516001600160e01b031960e084901b1681526001600160a01b0390911660048201523060248201526044016020604051808303816000875af11580156200026b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019062000291919062000501565b600d80546001600160a01b039283166001600160a01b031991821617909155306000908152600760209081526040808320600c5486168452825280832060001990558254600b805488881696168617815594845260088352818420805460ff199081166001908117909255918716808652600985528386208054841683179055955487168552828520805483168217905560105490961684528184208054909116861790559354838352600682528483208190559351938452919283927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a350506200052c565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620003d8578160001904821115620003bc57620003bc62000381565b80851615620003ca57918102915b93841c93908002906200039c565b509250929050565b600082620003f15750600162000490565b81620004005750600062000490565b8160018114620004195760028114620004245762000444565b600191505062000490565b60ff84111562000438576200043862000381565b50506001821b62000490565b5060208310610133831016604e8410600b841016171562000469575081810a62000490565b62000475838362000397565b80600019048211156200048c576200048c62000381565b0290505b92915050565b6000620004a760ff841683620003e0565b9392505050565b808202811582820484141762000490576200049062000381565b8082018082111562000490576200049062000381565b600082620004fc57634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156200051457600080fd5b81516001600160a01b0381168114620004a757600080fd5b61129c806200053c6000396000f3fe6080604052600436106101185760003560e01c806370a08231116100a057806395d89b411161006457806395d89b4114610321578063a9059cbb1461034e578063c816841b1461036e578063c92cc4f51461038e578063dd62ed3e146103ae57600080fd5b806370a0823114610282578063715018a6146102b8578063735de9f7146102cd578063893d20e8146102ed5780638c0b5e221461030b57600080fd5b806318160ddd116100e757806318160ddd146101d85780631c75f085146101ed57806323b872dd14610225578063313ce567146102455780635b4f4efa1461026157600080fd5b806303da46ed146101245780630445b6671461014657806306fdde031461016f578063095ea7b3146101a857600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5061014461013f366004610f9b565b6103f4565b005b34801561015257600080fd5b5061015c600e5481565b6040519081526020015b60405180910390f35b34801561017b57600080fd5b506040805180820190915260078152664672616e7a696160c81b60208201525b6040516101669190610fb4565b3480156101b457600080fd5b506101c86101c336600461101a565b610448565b6040519015158152602001610166565b3480156101e457600080fd5b5060015461015c565b3480156101f957600080fd5b50600b5461020d906001600160a01b031681565b6040516001600160a01b039091168152602001610166565b34801561023157600080fd5b506101c8610240366004611046565b6104b5565b34801561025157600080fd5b5060405160098152602001610166565b34801561026d57600080fd5b50600d546101c890600160a01b900460ff1681565b34801561028e57600080fd5b5061015c61029d366004611087565b6001600160a01b031660009081526006602052604090205490565b3480156102c457600080fd5b50610144610577565b3480156102d957600080fd5b50600c5461020d906001600160a01b031681565b3480156102f957600080fd5b506000546001600160a01b031661020d565b34801561031757600080fd5b5061015c600a5481565b34801561032d57600080fd5b50604080518082019091526004815263232920a760e11b602082015261019b565b34801561035a57600080fd5b506101c861036936600461101a565b6105e6565b34801561037a57600080fd5b50600d5461020d906001600160a01b031681565b34801561039a57600080fd5b506101446103a93660046110a4565b6105f3565b3480156103ba57600080fd5b5061015c6103c93660046110c6565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b6000546001600160a01b031633146104275760405162461bcd60e51b815260040161041e906110ff565b60405180910390fd5b6103e8816001546104389190611135565b610442919061114c565b600a5550565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104a39086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260076020908152604080832033845290915281205460001914610562576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b038716600090815260078252838120338252909152919091205461053d918490610638565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b61056d848484610672565b90505b9392505050565b6000546001600160a01b031633146105a15760405162461bcd60e51b815260040161041e906110ff565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000610570338484610672565b6000546001600160a01b0316331461061d5760405162461bcd60e51b815260040161041e906110ff565b60028290556003819055610631818361116e565b6004555050565b6000818484111561065c5760405162461bcd60e51b815260040161041e9190610fb4565b5060006106698486611181565b95945050505050565b600f5460009060ff16156106925761068b848484610883565b9050610570565b600d546001600160a01b038481169116148015906106be57506010546001600160a01b03848116911614155b15610769576001600160a01b03831660009081526009602052604090205460ff168061070f5750600a546001600160a01b03841660009081526006602052604090205461070c90849061116e565b11155b6107695760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161041e565b610774848484610969565b15610781576107816109c3565b6001600160a01b03841660009081526008602052604090205460ff161580156107ee576107d06107b18685610ca8565b6001600160a01b03861660009081526006602052604090205490610dc7565b6001600160a01b03851660009081526006602052604090205561082b565b6001600160a01b0384166000908152600660205260409020546108119084610dc7565b6001600160a01b0385166000908152600660205260409020555b836001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161087091815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526006909152918220546108d4918490610638565b6001600160a01b0380861660009081526006602052604080822093909355908516815220546109039083610dc7565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109579086815260200190565b60405180910390a35060019392505050565b6000610973610e26565b801561099857506001600160a01b03841660009081526008602052604090205460ff16155b80156109b15750600d546001600160a01b038481169116145b801561056d575050600e541092915050565b600f805460ff191660011790553060009081526006602052604081205490506000610a0a6002610a04600454610a0460025487610e6790919063ffffffff16565b90610ee9565b90506000610a188383610f2b565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610a5257610a52611194565b6001600160a01b03928316602091820292909201810191909152600c54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610aab573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610acf91906111aa565b81600181518110610ae257610ae2611194565b6001600160a01b039283166020918202929092010152600c5460405163791ac94760e01b815291169063791ac94790610b289085906000908690309042906004016111c7565b600060405180830381600087803b158015610b4257600080fd5b505af1158015610b56573d6000803e3d6000fd5b50506002805447935060009250610b7a91610b719190610ee9565b60045490610f2b565b90506000610b9c6002610a0484610a0460025488610e6790919063ffffffff16565b90506000610bb983610a0460035487610e6790919063ffffffff16565b600b546040519192506001600160a01b03169082156108fc029083906000818181858888f19350505050158015610bf4573d6000803e3d6000fd5b508615610c9457600c54600b5460405163f305d71960e01b8152306004820152602481018a905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990849060c40160606040518083038185885af1158015610c6b573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610c909190611238565b5050505b5050600f805460ff19169055505050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0385166000908152600690915291822054610cf9918490610638565b6001600160a01b038416600090815260066020526040812091909155600554600454610d2b9190610a04908690610e67565b6000549091506001600160a01b038581169116148015610d4a57600091505b30600090815260066020526040902054610d649083610dc7565b30600081815260066020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610db59086815260200190565b60405180910390a36106698483610f2b565b600080610dd4838561116e565b9050838110156105705760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161041e565b600f5460009060ff16158015610e455750600d54600160a01b900460ff165b8015610e625750600e543060009081526006602052604090205410155b905090565b600082600003610e79575060006104af565b6000610e858385611135565b905082610e92858361114c565b146105705760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161041e565b600061057083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250610f6d565b600061057083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610638565b60008183610f8e5760405162461bcd60e51b815260040161041e9190610fb4565b506000610669848661114c565b600060208284031215610fad57600080fd5b5035919050565b600060208083528351808285015260005b81811015610fe157858101830151858201604001528201610fc5565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461101757600080fd5b50565b6000806040838503121561102d57600080fd5b823561103881611002565b946020939093013593505050565b60008060006060848603121561105b57600080fd5b833561106681611002565b9250602084013561107681611002565b929592945050506040919091013590565b60006020828403121561109957600080fd5b813561057081611002565b600080604083850312156110b757600080fd5b50508035926020909101359150565b600080604083850312156110d957600080fd5b82356110e481611002565b915060208301356110f481611002565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b80820281158282048414176104af576104af61111f565b60008261116957634e487b7160e01b600052601260045260246000fd5b500490565b808201808211156104af576104af61111f565b818103818111156104af576104af61111f565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156111bc57600080fd5b815161057081611002565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112175784516001600160a01b0316835293830193918301916001016111f2565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561124d57600080fd5b835192506020840151915060408401519050925092509256fea26469706673582212203b798251e3469782bb6bbf1f4ad9d4c1bc441bff6ca4992fe8c0007ed7e3c3a164736f6c63430008130033000000000000000000000000d742f93864b7afd6eaf8eec3ba056b3fdc4c62d3

0x6080604052600436106101185760003560e01c806370a08231116100a057806395d89b411161006457806395d89b4114610321578063a9059cbb1461034e578063c816841b1461036e578063c92cc4f51461038e578063dd62ed3e146103ae57600080fd5b806370a0823114610282578063715018a6146102b8578063735de9f7146102cd578063893d20e8146102ed5780638c0b5e221461030b57600080fd5b806318160ddd116100e757806318160ddd146101d85780631c75f085146101ed57806323b872dd14610225578063313ce567146102455780635b4f4efa1461026157600080fd5b806303da46ed146101245780630445b6671461014657806306fdde031461016f578063095ea7b3146101a857600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b5061014461013f366004610f9b565b6103f4565b005b34801561015257600080fd5b5061015c600e5481565b6040519081526020015b60405180910390f35b34801561017b57600080fd5b506040805180820190915260078152664672616e7a696160c81b60208201525b6040516101669190610fb4565b3480156101b457600080fd5b506101c86101c336600461101a565b610448565b6040519015158152602001610166565b3480156101e457600080fd5b5060015461015c565b3480156101f957600080fd5b50600b5461020d906001600160a01b031681565b6040516001600160a01b039091168152602001610166565b34801561023157600080fd5b506101c8610240366004611046565b6104b5565b34801561025157600080fd5b5060405160098152602001610166565b34801561026d57600080fd5b50600d546101c890600160a01b900460ff1681565b34801561028e57600080fd5b5061015c61029d366004611087565b6001600160a01b031660009081526006602052604090205490565b3480156102c457600080fd5b50610144610577565b3480156102d957600080fd5b50600c5461020d906001600160a01b031681565b3480156102f957600080fd5b506000546001600160a01b031661020d565b34801561031757600080fd5b5061015c600a5481565b34801561032d57600080fd5b50604080518082019091526004815263232920a760e11b602082015261019b565b34801561035a57600080fd5b506101c861036936600461101a565b6105e6565b34801561037a57600080fd5b50600d5461020d906001600160a01b031681565b34801561039a57600080fd5b506101446103a93660046110a4565b6105f3565b3480156103ba57600080fd5b5061015c6103c93660046110c6565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b6000546001600160a01b031633146104275760405162461bcd60e51b815260040161041e906110ff565b60405180910390fd5b6103e8816001546104389190611135565b610442919061114c565b600a5550565b3360008181526007602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104a39086815260200190565b60405180910390a35060015b92915050565b6001600160a01b038316600090815260076020908152604080832033845290915281205460001914610562576040805180820182526016815275496e73756666696369656e7420416c6c6f77616e636560501b6020808301919091526001600160a01b038716600090815260078252838120338252909152919091205461053d918490610638565b6001600160a01b03851660009081526007602090815260408083203384529091529020555b61056d848484610672565b90505b9392505050565b6000546001600160a01b031633146105a15760405162461bcd60e51b815260040161041e906110ff565b600080546001600160a01b03191681556040519081527f04dba622d284ed0014ee4b9a6a68386be1a4c08a4913ae272de89199cc6861639060200160405180910390a1565b6000610570338484610672565b6000546001600160a01b0316331461061d5760405162461bcd60e51b815260040161041e906110ff565b60028290556003819055610631818361116e565b6004555050565b6000818484111561065c5760405162461bcd60e51b815260040161041e9190610fb4565b5060006106698486611181565b95945050505050565b600f5460009060ff16156106925761068b848484610883565b9050610570565b600d546001600160a01b038481169116148015906106be57506010546001600160a01b03848116911614155b15610769576001600160a01b03831660009081526009602052604090205460ff168061070f5750600a546001600160a01b03841660009081526006602052604090205461070c90849061116e565b11155b6107695760405162461bcd60e51b815260206004820152602560248201527f5472616e7366657220616d6f756e74206578636565647320746865206261672060448201526439b4bd329760d91b606482015260840161041e565b610774848484610969565b15610781576107816109c3565b6001600160a01b03841660009081526008602052604090205460ff161580156107ee576107d06107b18685610ca8565b6001600160a01b03861660009081526006602052604090205490610dc7565b6001600160a01b03851660009081526006602052604090205561082b565b6001600160a01b0384166000908152600660205260409020546108119084610dc7565b6001600160a01b0385166000908152600660205260409020555b836001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161087091815260200190565b60405180910390a3506001949350505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b03861660009081526006909152918220546108d4918490610638565b6001600160a01b0380861660009081526006602052604080822093909355908516815220546109039083610dc7565b6001600160a01b0380851660008181526006602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906109579086815260200190565b60405180910390a35060019392505050565b6000610973610e26565b801561099857506001600160a01b03841660009081526008602052604090205460ff16155b80156109b15750600d546001600160a01b038481169116145b801561056d575050600e541092915050565b600f805460ff191660011790553060009081526006602052604081205490506000610a0a6002610a04600454610a0460025487610e6790919063ffffffff16565b90610ee9565b90506000610a188383610f2b565b60408051600280825260608201835292935060009290916020830190803683370190505090503081600081518110610a5257610a52611194565b6001600160a01b03928316602091820292909201810191909152600c54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610aab573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610acf91906111aa565b81600181518110610ae257610ae2611194565b6001600160a01b039283166020918202929092010152600c5460405163791ac94760e01b815291169063791ac94790610b289085906000908690309042906004016111c7565b600060405180830381600087803b158015610b4257600080fd5b505af1158015610b56573d6000803e3d6000fd5b50506002805447935060009250610b7a91610b719190610ee9565b60045490610f2b565b90506000610b9c6002610a0484610a0460025488610e6790919063ffffffff16565b90506000610bb983610a0460035487610e6790919063ffffffff16565b600b546040519192506001600160a01b03169082156108fc029083906000818181858888f19350505050158015610bf4573d6000803e3d6000fd5b508615610c9457600c54600b5460405163f305d71960e01b8152306004820152602481018a905260006044820181905260648201526001600160a01b0391821660848201524260a482015291169063f305d71990849060c40160606040518083038185885af1158015610c6b573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610c909190611238565b5050505b5050600f805460ff19169055505050505050565b6040805180820182526014815273496e73756666696369656e742042616c616e636560601b6020808301919091526001600160a01b0385166000908152600690915291822054610cf9918490610638565b6001600160a01b038416600090815260066020526040812091909155600554600454610d2b9190610a04908690610e67565b6000549091506001600160a01b038581169116148015610d4a57600091505b30600090815260066020526040902054610d649083610dc7565b30600081815260066020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610db59086815260200190565b60405180910390a36106698483610f2b565b600080610dd4838561116e565b9050838110156105705760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161041e565b600f5460009060ff16158015610e455750600d54600160a01b900460ff165b8015610e625750600e543060009081526006602052604090205410155b905090565b600082600003610e79575060006104af565b6000610e858385611135565b905082610e92858361114c565b146105705760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161041e565b600061057083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250610f6d565b600061057083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610638565b60008183610f8e5760405162461bcd60e51b815260040161041e9190610fb4565b506000610669848661114c565b600060208284031215610fad57600080fd5b5035919050565b600060208083528351808285015260005b81811015610fe157858101830151858201604001528201610fc5565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461101757600080fd5b50565b6000806040838503121561102d57600080fd5b823561103881611002565b946020939093013593505050565b60008060006060848603121561105b57600080fd5b833561106681611002565b9250602084013561107681611002565b929592945050506040919091013590565b60006020828403121561109957600080fd5b813561057081611002565b600080604083850312156110b757600080fd5b50508035926020909101359150565b600080604083850312156110d957600080fd5b82356110e481611002565b915060208301356110f481611002565b809150509250929050565b60208082526006908201526510a7aba722a960d11b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b80820281158282048414176104af576104af61111f565b60008261116957634e487b7160e01b600052601260045260246000fd5b500490565b808201808211156104af576104af61111f565b818103818111156104af576104af61111f565b634e487b7160e01b600052603260045260246000fd5b6000602082840312156111bc57600080fd5b815161057081611002565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156112175784516001600160a01b0316835293830193918301916001016111f2565b50506001600160a01b03969096166060850152505050608001529392505050565b60008060006060848603121561124d57600080fd5b835192506020840151915060408401519050925092509256fea26469706673582212203b798251e3469782bb6bbf1f4ad9d4c1bc441bff6ca4992fe8c0007ed7e3c3a164736f6c63430008130033

000000000000000000000000d742f93864b7afd6eaf8eec3ba056b3fdc4c62d3

-----Decoded View---------------
Arg [0] : FranzAddress (address): 0xD742F93864B7aFD6eaF8eEc3BA056B3Fdc4c62D3

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

4669:7490:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8396:131;;;;;;;;;;-1:-1:-1;8396:131:0;;;;;:::i;:::-;;:::i;:::-;;5664:52;;;;;;;;;;;;;;;;;;;345:25:1;;;333:2;318:18;5664:52:0;;;;;;;;6891:80;;;;;;;;;;-1:-1:-1;6963:5:0;;;;;;;;;;;;-1:-1:-1;;;6963:5:0;;;;6891:80;;;;;;;:::i;7672:216::-;;;;;;;;;;-1:-1:-1;7672:216:0;;;;;:::i;:::-;;:::i;:::-;;;1555:14:1;;1548:22;1530:41;;1518:2;1503:18;7672:216:0;1390:187:1;6621:88:0;;;;;;;;;;-1:-1:-1;6694:12:0;;6621:88;;5510:26;;;;;;;;;;-1:-1:-1;5510:26:0;;;;-1:-1:-1;;;;;5510:26:0;;;;;;-1:-1:-1;;;;;1746:32:1;;;1728:51;;1716:2;1701:18;5510:26:0;1582:203:1;8014:370:0;;;;;;;;;;-1:-1:-1;8014:370:0;;;;;:::i;:::-;;:::i;6715:80::-;;;;;;;;;;-1:-1:-1;6715:80:0;;4881:1;2393:36:1;;2381:2;2366:18;6715:80:0;2251:184:1;5622:35:0;;;;;;;;;;-1:-1:-1;5622:35:0;;;;-1:-1:-1;;;5622:35:0;;;;;;7062:105;;;;;;;;;;-1:-1:-1;7062:105:0;;;;;:::i;:::-;-1:-1:-1;;;;;7146:18:0;7128:7;7146:18;;;:9;:18;;;;;;;7062:105;2208:132;;;;;;;;;;;;;:::i;5543:37::-;;;;;;;;;;-1:-1:-1;5543:37:0;;;;-1:-1:-1;;;;;5543:37:0;;;6977:79;;;;;;;;;;-1:-1:-1;7029:7:0;7047:6;-1:-1:-1;;;;;7047:6:0;6977:79;;5448:55;;;;;;;;;;;;;;;;6801:84;;;;;;;;;;-1:-1:-1;6875:7:0;;;;;;;;;;;;-1:-1:-1;;;6875:7:0;;;;6801:84;;10794:156;;;;;;;;;;-1:-1:-1;10794:156:0;;;;;:::i;:::-;;:::i;5587:26::-;;;;;;;;;;-1:-1:-1;5587:26:0;;;;-1:-1:-1;;;;;5587:26:0;;;10962:189;;;;;;;;;;-1:-1:-1;10962:189:0;;;;;:::i;:::-;;:::i;7173:133::-;;;;;;;;;;-1:-1:-1;7173:133:0;;;;;:::i;:::-;-1:-1:-1;;;;;7275:19:0;;;7257:7;7275:19;;;:11;:19;;;;;;;;:28;;;;;;;;;;;;;7173:133;8396:131;2151:4;2186:6;-1:-1:-1;;;;;2186:6:0;2043:10;2175:17;2026:39;;;;-1:-1:-1;;;2026:39:0;;;;;;;:::i;:::-;;;;;;;;;8515:4:::1;8504:7;8489:12;;:22;;;;:::i;:::-;8488:31;;;;:::i;:::-;8474:11;:45:::0;-1:-1:-1;8396:131:0:o;7672:216::-;7776:10;7747:4;7764:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;7764:32:0;;;;;;;;;;:41;;;7821:37;7747:4;;7764:32;;7821:37;;;;7799:6;345:25:1;;333:2;318:18;;199:177;7821:37:0;;;;;;;;-1:-1:-1;7876:4:0;7672:216;;;;;:::o;8014:370::-;-1:-1:-1;;;;;8134:19:0;;8114:4;8134:19;;;:11;:19;;;;;;;;8154:10;8134:31;;;;;;;;-1:-1:-1;;8134:52:0;8131:186;;8236:69;;;;;;;;;;;-1:-1:-1;;;8236:69:0;;;;;;;;-1:-1:-1;;;;;8236:19:0;;-1:-1:-1;8236:19:0;;;:11;:19;;;;;8256:10;8236:31;;;;;;;;;;:69;;8272:6;;8236:35;:69::i;:::-;-1:-1:-1;;;;;8202:19:0;;;;;;:11;:19;;;;;;;;8222:10;8202:31;;;;;;;:103;8131:186;8336:40;8350:6;8358:9;8369:6;8336:13;:40::i;:::-;8329:47;;8014:370;;;;;;:::o;2208:132::-;2151:4;2186:6;-1:-1:-1;;;;;2186:6:0;2043:10;2175:17;2026:39;;;;-1:-1:-1;;;2026:39:0;;;;;;;:::i;:::-;2282:1:::1;2265:19:::0;;-1:-1:-1;;;;;;2265:19:0::1;::::0;;2300:32:::1;::::0;1728:51:1;;;2300:32:0::1;::::0;1716:2:1;1701:18;2300:32:0::1;;;;;;;2208:132::o:0;10794:156::-;10874:4;10898:44;10912:10;10924:9;10935:6;10898:13;:44::i;10962:189::-;2151:4;2186:6;-1:-1:-1;;;;;2186:6:0;2043:10;2175:17;2026:39;;;;-1:-1:-1;;;2026:39:0;;;;;;;:::i;:::-;11048:6:::1;:14:::0;;;11075:13:::1;:22:::0;;;11121::::1;11091:6:::0;11057:5;11121:22:::1;:::i;:::-;11109:9;:34:::0;-1:-1:-1;;10962:189:0:o;940:190::-;1026:7;1062:12;1054:6;;;;1046:29;;;;-1:-1:-1;;;1046:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1086:9:0;1098:5;1102:1;1098;:5;:::i;:::-;1086:17;940:190;-1:-1:-1;;;;;940:190:0:o;11283:873::-;11395:18;;11375:4;;11395:18;;11392:75;;;11423:41;11438:6;11446:9;11457:6;11423:14;:41::i;:::-;11416:48;;;;11392:75;11504:11;;-1:-1:-1;;;;;11491:24:0;;;11504:11;;11491:24;;;;:53;;-1:-1:-1;11532:12:0;;-1:-1:-1;;;;;11519:25:0;;;11532:12;;11519:25;;11491:53;11487:203;;;-1:-1:-1;;;;;11569:19:0;;;;;;:8;:19;;;;;;;;;:67;;-1:-1:-1;11625:11:0;;-1:-1:-1;;;;;11592:20:0;;;;;;:9;:20;;;;;;:29;;11615:6;;11592:29;:::i;:::-;:44;;11569:67;11561:117;;;;-1:-1:-1;;;11561:117:0;;4896:2:1;11561:117:0;;;4878:21:1;4935:2;4915:18;;;4908:30;4974:34;4954:18;;;4947:62;-1:-1:-1;;;5025:18:1;;;5018:35;5070:19;;11561:117:0;4694:401:1;11561:117:0;11711:48;11733:6;11741:9;11752:6;11711:21;:48::i;:::-;11708:99;;;11776:18;:16;:18::i;:::-;-1:-1:-1;;;;;7980:14:0;;11818;7980;;;:6;:14;;;;;;;;7979:15;11864:210;;;;11917:57;11942:31;11958:6;11966;11942:15;:31::i;:::-;-1:-1:-1;;;;;11917:20:0;;;;;;:9;:20;;;;;;;:24;:57::i;:::-;-1:-1:-1;;;;;11894:20:0;;;;;;:9;:20;;;;;:80;11864:210;;;-1:-1:-1;;;;;12030:20:0;;;;;;:9;:20;;;;;;:32;;12055:6;12030:24;:32::i;:::-;-1:-1:-1;;;;;12007:20:0;;;;;;:9;:20;;;;;:55;11864:210;12108:9;-1:-1:-1;;;;;12091:35:0;12100:6;-1:-1:-1;;;;;12091:35:0;;12119:6;12091:35;;;;345:25:1;;333:2;318:18;;199:177;12091:35:0;;;;;;;;-1:-1:-1;12144:4:0;;11283:873;-1:-1:-1;;;;11283:873:0:o;7330:330::-;7460:53;;;;;;;;;;;-1:-1:-1;;;7460:53:0;;;;;;;;-1:-1:-1;;;;;7460:17:0;;7423:4;7460:17;;;:9;:17;;;;;;;:53;;7482:6;;7460:21;:53::i;:::-;-1:-1:-1;;;;;7440:17:0;;;;;;;:9;:17;;;;;;:73;;;;7547:20;;;;;;;:32;;7572:6;7547:24;:32::i;:::-;-1:-1:-1;;;;;7524:20:0;;;;;;;:9;:20;;;;;;;:55;;;;7595:35;;;;;;;;;;7623:6;345:25:1;;333:2;318:18;;199:177;7595:35:0;;;;;;;;-1:-1:-1;7648:4:0;7330:330;;;;;:::o;10310:272::-;10409:4;10433:25;:23;:25::i;:::-;:61;;;;-1:-1:-1;;;;;;7980:14:0;;7955:4;7980:14;;;:6;:14;;;;;;;;7979:15;10476:18;10433:101;;;;-1:-1:-1;11256:11:0;;-1:-1:-1;;;;;11243:24:0;;;11256:11;;11243:24;10512:22;10433:141;;;;-1:-1:-1;;10561:13:0;;-1:-1:-1;10552:22:0;10310:272;-1:-1:-1;;10310:272:0:o;9075:1227::-;5381:18;:25;;-1:-1:-1;;5381:25:0;5402:4;5381:25;;;9181:4:::1;-1:-1:-1::0;7146:18:0;;;:9;:18;;;;;;9132:55:::1;;9198:18;9219:54;9271:1;9219:47;9256:9;;9219:32;9244:6;;9219:20;:24;;:32;;;;:::i;:::-;:36:::0;::::1;:47::i;:54::-;9198:75:::0;-1:-1:-1;9284:20:0::1;9307:36;:20:::0;9198:75;9307:24:::1;:36::i;:::-;9380:16;::::0;;9394:1:::1;9380:16:::0;;;;;::::1;::::0;;9284:59;;-1:-1:-1;9356:21:0::1;::::0;9380:16;;::::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9380:16:0::1;9356:40;;9425:4;9407;9412:1;9407:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9407:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9451:13:::1;::::0;:20:::1;::::0;;-1:-1:-1;;;9451:20:0;;;;:13;;;::::1;::::0;:18:::1;::::0;:20:::1;::::0;;::::1;::::0;9407:7;;9451:20;;;;;:13;:20:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9441:4;9446:1;9441:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9441:30:0;;::::1;:7;::::0;;::::1;::::0;;;;;:30;9484:13:::1;::::0;:195:::1;::::0;-1:-1:-1;;;9484:195:0;;:13;::::1;::::0;:64:::1;::::0;:195:::1;::::0;9563:12;;9484:13:::1;::::0;9606:4;;9633::::1;::::0;9653:15:::1;::::0;9484:195:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;9792:1:0::1;9781:6:::0;;9710:21:::1;::::0;-1:-1:-1;9690:17:0::1;::::0;-1:-1:-1;9767:28:0::1;::::0;9781:13:::1;::::0;:6;:10:::1;:13::i;:::-;9767:9;::::0;;:13:::1;:28::i;:::-;9742:53;;9806:15;9824:48;9870:1;9824:41;9850:14;9824:21;9838:6;;9824:9;:13;;:21;;;;:::i;:48::-;9806:66;;9883:22;9908:48;9941:14;9908:28;9922:13;;9908:9;:13;;:28;;;;:::i;:48::-;9977:11;::::0;9969:45:::1;::::0;9883:73;;-1:-1:-1;;;;;;9977:11:0::1;::::0;9969:45;::::1;;;::::0;9883:73;;9977:11:::1;9969:45:::0;9977:11;9969:45;9883:73;9977:11;9969:45;::::1;;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;10028:14:0;;10025:270:::1;;10058:13;::::0;10223:11:::1;::::0;10058:225:::1;::::0;-1:-1:-1;;;10058:225:0;;10130:4:::1;10058:225;::::0;::::1;6946:34:1::0;6996:18;;;6989:34;;;10058:13:0::1;7039:18:1::0;;;7032:34;;;7082:18;;;7075:34;-1:-1:-1;;;;;10223:11:0;;::::1;7125:19:1::0;;;7118:44;10253:15:0::1;7178:19:1::0;;;7171:35;10058:13:0;::::1;::::0;:29:::1;::::0;10095:7;;6880:19:1;;10058:225:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;10025:270;-1:-1:-1::0;;5411:18:0;:26;;-1:-1:-1;;5411:26:0;;;-1:-1:-1;;;;;;9075:1227:0:o;8535:528::-;8650:53;;;;;;;;;;;-1:-1:-1;;;8650:53:0;;;;;;;;-1:-1:-1;;;;;8650:17:0;;8610:7;8650:17;;;:9;:17;;;;;;;:53;;8672:6;;8650:21;:53::i;:::-;-1:-1:-1;;;;;8630:17:0;;;;;;:9;:17;;;;;:73;;;;8760:13;;8745:9;;8734:40;;8760:13;8734:21;;:6;;:10;:21::i;:40::-;8785:13;8811:6;8714:60;;-1:-1:-1;;;;;;8801:16:0;;;8811:6;;8801:16;8828:54;;;;8869:1;8857:13;;8828:54;8937:4;8919:24;;;;:9;:24;;;;;;:39;;8948:9;8919:28;:39::i;:::-;8910:4;8892:24;;;;:9;:24;;;;;;;:66;;;;8974:42;;-1:-1:-1;;;;;8974:42:0;;;;;;;9006:9;345:25:1;;333:2;318:18;;199:177;8974:42:0;;;;;;;;9034:21;:6;9045:9;9034:10;:21::i;609:179::-;667:7;;699:5;703:1;699;:5;:::i;:::-;687:17;;728:1;723;:6;;715:46;;;;-1:-1:-1;;;715:46:0;;7730:2:1;715:46:0;;;7712:21:1;7769:2;7749:18;;;7742:30;7808:29;7788:18;;;7781:57;7855:18;;715:46:0;7528:351:1;10594:192:0;10677:18;;10652:4;;10677:18;;10676:19;:48;;;;-1:-1:-1;10708:16:0;;-1:-1:-1;;;10708:16:0;;;;10676:48;:102;;;;-1:-1:-1;10765:13:0;;10755:4;10737:24;;;;:9;:24;;;;;;:41;;10676:102;10669:109;;10594:192;:::o;1138:246::-;1196:7;1220:1;1225;1220:6;1216:47;;-1:-1:-1;1250:1:0;1243:8;;1216:47;1273:9;1285:5;1289:1;1285;:5;:::i;:::-;1273:17;-1:-1:-1;1318:1:0;1309:5;1313:1;1273:17;1309:5;:::i;:::-;:10;1301:56;;;;-1:-1:-1;;;1301:56:0;;8086:2:1;1301:56:0;;;8068:21:1;8125:2;8105:18;;;8098:30;8164:34;8144:18;;;8137:62;-1:-1:-1;;;8215:18:1;;;8208:31;8256:19;;1301:56:0;7884:397:1;1392:132:0;1450:7;1477:39;1481:1;1484;1477:39;;;;;;;;;;;;;;;;;:3;:39::i;796:136::-;854:7;881:43;885:1;888;881:43;;;;;;;;;;;;;;;;;:3;:43::i;1532:189::-;1618:7;1653:12;1646:5;1638:28;;;;-1:-1:-1;;;1638:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1677:9:0;1689:5;1693:1;1689;:5;:::i;14:180:1:-;73:6;126:2;114:9;105:7;101:23;97:32;94:52;;;142:1;139;132:12;94:52;-1:-1:-1;165:23:1;;14:180;-1:-1:-1;14:180:1:o;381:548::-;493:4;522:2;551;540:9;533:21;583:6;577:13;626:6;621:2;610:9;606:18;599:34;651:1;661:140;675:6;672:1;669:13;661:140;;;770:14;;;766:23;;760:30;736:17;;;755:2;732:26;725:66;690:10;;661:140;;;665:3;850:1;845:2;836:6;825:9;821:22;817:31;810:42;920:2;913;909:7;904:2;896:6;892:15;888:29;877:9;873:45;869:54;861:62;;;;381:548;;;;:::o;934:131::-;-1:-1:-1;;;;;1009:31:1;;999:42;;989:70;;1055:1;1052;1045:12;989:70;934:131;:::o;1070:315::-;1138:6;1146;1199:2;1187:9;1178:7;1174:23;1170:32;1167:52;;;1215:1;1212;1205:12;1167:52;1254:9;1241:23;1273:31;1298:5;1273:31;:::i;:::-;1323:5;1375:2;1360:18;;;;1347:32;;-1:-1:-1;;;1070:315:1:o;1790:456::-;1867:6;1875;1883;1936:2;1924:9;1915:7;1911:23;1907:32;1904:52;;;1952:1;1949;1942:12;1904:52;1991:9;1978:23;2010:31;2035:5;2010:31;:::i;:::-;2060:5;-1:-1:-1;2117:2:1;2102:18;;2089:32;2130:33;2089:32;2130:33;:::i;:::-;1790:456;;2182:7;;-1:-1:-1;;;2236:2:1;2221:18;;;;2208:32;;1790:456::o;2440:247::-;2499:6;2552:2;2540:9;2531:7;2527:23;2523:32;2520:52;;;2568:1;2565;2558:12;2520:52;2607:9;2594:23;2626:31;2651:5;2626:31;:::i;2924:248::-;2992:6;3000;3053:2;3041:9;3032:7;3028:23;3024:32;3021:52;;;3069:1;3066;3059:12;3021:52;-1:-1:-1;;3092:23:1;;;3162:2;3147:18;;;3134:32;;-1:-1:-1;2924:248:1:o;3177:388::-;3245:6;3253;3306:2;3294:9;3285:7;3281:23;3277:32;3274:52;;;3322:1;3319;3312:12;3274:52;3361:9;3348:23;3380:31;3405:5;3380:31;:::i;:::-;3430:5;-1:-1:-1;3487:2:1;3472:18;;3459:32;3500:33;3459:32;3500:33;:::i;:::-;3552:7;3542:17;;;3177:388;;;;;:::o;3570:329::-;3772:2;3754:21;;;3811:1;3791:18;;;3784:29;-1:-1:-1;;;3844:2:1;3829:18;;3822:36;3890:2;3875:18;;3570:329::o;3904:127::-;3965:10;3960:3;3956:20;3953:1;3946:31;3996:4;3993:1;3986:15;4020:4;4017:1;4010:15;4036:168;4109:9;;;4140;;4157:15;;;4151:22;;4137:37;4127:71;;4178:18;;:::i;4209:217::-;4249:1;4275;4265:132;;4319:10;4314:3;4310:20;4307:1;4300:31;4354:4;4351:1;4344:15;4382:4;4379:1;4372:15;4265:132;-1:-1:-1;4411:9:1;;4209:217::o;4431:125::-;4496:9;;;4517:10;;;4514:36;;;4530:18;;:::i;4561:128::-;4628:9;;;4649:11;;;4646:37;;;4663:18;;:::i;5232:127::-;5293:10;5288:3;5284:20;5281:1;5274:31;5324:4;5321:1;5314:15;5348:4;5345:1;5338:15;5364:251;5434:6;5487:2;5475:9;5466:7;5462:23;5458:32;5455:52;;;5503:1;5500;5493:12;5455:52;5535:9;5529:16;5554:31;5579:5;5554:31;:::i;5620:980::-;5882:4;5930:3;5919:9;5915:19;5961:6;5950:9;5943:25;5987:2;6025:6;6020:2;6009:9;6005:18;5998:34;6068:3;6063:2;6052:9;6048:18;6041:31;6092:6;6127;6121:13;6158:6;6150;6143:22;6196:3;6185:9;6181:19;6174:26;;6235:2;6227:6;6223:15;6209:29;;6256:1;6266:195;6280:6;6277:1;6274:13;6266:195;;;6345:13;;-1:-1:-1;;;;;6341:39:1;6329:52;;6436:15;;;;6401:12;;;;6377:1;6295:9;6266:195;;;-1:-1:-1;;;;;;;6517:32:1;;;;6512:2;6497:18;;6490:60;-1:-1:-1;;;6581:3:1;6566:19;6559:35;6478:3;5620:980;-1:-1:-1;;;5620:980:1:o;7217:306::-;7305:6;7313;7321;7374:2;7362:9;7353:7;7349:23;7345:32;7342:52;;;7390:1;7387;7380:12;7342:52;7419:9;7413:16;7403:26;;7469:2;7458:9;7454:18;7448:25;7438:35;;7513:2;7502:9;7498:18;7492:25;7482:35;;7217:306;;;;;:::o

ipfs://3b798251e3469782bb6bbf1f4ad9d4c1bc441bff6ca4992fe8c0007ed7e3c3a1