Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-07-27
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.6;

interface ibToken {
    function mint(uint) external returns (uint);
    function redeemUnderlying(uint) external returns (uint);
    function exchangeRateStored() external view returns (uint);
    function balanceOf(address) external view returns (uint);
}

contract FixedForex {
    string public constant name = "Iron Bank KRW";
    string public constant symbol = "ibKRW";
    uint8 public constant decimals = 18;
    
    ibToken public immutable ib;
    address public gov;
    address public nextgov;
    uint public commitgov;
    uint public constant delay = 1 days;
    
    uint public liquidity;
    
    constructor(ibToken _ib) {
        ib = _ib;
        gov = msg.sender;
    }
    
    modifier g() {
        require(msg.sender == gov);
        _;
    }
    
    function setGov(address _gov) external g {
        nextgov = _gov;
        commitgov = block.timestamp + delay;
    }
    
    function acceptGov() external {
        require(msg.sender == nextgov && commitgov < block.timestamp);
        gov = nextgov;
    }
    
    function balanceIB() public view returns (uint) {
        return ib.balanceOf(address(this));
    }
    
    function balanceUnderlying() public view returns (uint) {
        uint256 _b = balanceIB();
        if (_b > 0) {
            return _b * ib.exchangeRateStored() / 1e18;
        }
        return 0;
    }
    
    function _redeem(uint amount) internal {
        require(ib.redeemUnderlying(amount) == 0, "ib: withdraw failed");
    }
    
    function profit() external {
        uint _profit = balanceUnderlying() - liquidity;
        _redeem(_profit);
        _transferTokens(address(this), gov, _profit);
    }
    
    function withdraw(uint amount) external g {
        liquidity -= amount;
        _redeem(amount);
        _burn(amount);
    }
    
    function deposit() external {
        uint _amount = balances[address(this)];
        allowances[address(this)][address(ib)] = _amount;
        liquidity += _amount;
        require(ib.mint(_amount) == 0, "ib: supply failed");
    }
    
    /// @notice Total number of tokens in circulation
    uint public totalSupply = 0;
    
    mapping(address => mapping (address => uint)) internal allowances;
    mapping(address => uint) internal balances;
    
    event Transfer(address indexed from, address indexed to, uint amount);
    event Approval(address indexed owner, address indexed spender, uint amount);
    
    function mint(uint amount) external g {
        // mint the amount
        totalSupply += amount;
        // transfer the amount to the recipient
        balances[address(this)] += amount;
        emit Transfer(address(0), address(this), amount);
    }
    
    function burn(uint amount) external g {
        _burn(amount);
    }
    
    function _burn(uint amount) internal {
        // burn the amount
        totalSupply -= amount;
        // transfer the amount from the recipient
        balances[address(this)] -= amount;
        emit Transfer(address(this), address(0), amount);
    }
    
    function allowance(address account, address spender) external view returns (uint) {
        return allowances[account][spender];
    }

    function approve(address spender, uint amount) external returns (bool) {
        allowances[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);
        return true;
    }

    function balanceOf(address account) external view returns (uint) {
        return balances[account];
    }

    function transfer(address dst, uint amount) external returns (bool) {
        _transferTokens(msg.sender, dst, amount);
        return true;
    }

    function transferFrom(address src, address dst, uint amount) external returns (bool) {
        address spender = msg.sender;
        uint spenderAllowance = allowances[src][spender];

        if (spender != src && spenderAllowance != type(uint).max) {
            uint newAllowance = spenderAllowance - amount;
            allowances[src][spender] = newAllowance;

            emit Approval(src, spender, newAllowance);
        }

        _transferTokens(src, dst, amount);
        return true;
    }

    function _transferTokens(address src, address dst, uint amount) internal {
        balances[src] -= amount;
        balances[dst] += amount;
        
        emit Transfer(src, dst, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract ibToken","name":"_ib","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":"amount","type":"uint256"}],"name":"Approval","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":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"acceptGov","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","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":[],"name":"balanceIB","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"balanceUnderlying","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"commitgov","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"delay","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"deposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"gov","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"ib","outputs":[{"internalType":"contract ibToken","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"liquidity","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nextgov","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"profit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_gov","type":"address"}],"name":"setGov","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60a0604052600060045534801561001557600080fd5b50604051610e26380380610e268339810160408190526100349161005d565b60601b6001600160601b03191660805260008054336001600160a01b031990911617905561008d565b60006020828403121561006f57600080fd5b81516001600160a01b038116811461008657600080fd5b9392505050565b60805160601c610d586100ce6000396000818161021a0152818161041a0152818161066301528181610819015281816108790152610a070152610d586000f3fe608060405234801561001057600080fd5b50600436106101585760003560e01c806366d16cc3116100c3578063a0712d681161007c578063a0712d6814610309578063a9059cbb1461031c578063cfad57a21461032f578063d0e30db014610342578063dd62ed3e1461034a578063f94e4e801461038357600080fd5b806366d16cc31461029a5780636a42b8f8146102a257806370a08231146102ac5780637bc6729b146102d55780638da876c9146102dd57806395d89b41146102e557600080fd5b80631f782287116101155780631f782287146102155780632196bcd71461023c57806323b872dd146102455780632e1a7d4d14610258578063313ce5671461026d57806342966c681461028757600080fd5b806306fdde031461015d578063095ea7b31461019f57806312d43a51146101c257806318160ddd146101ed5780631a686502146102045780631a7c25261461020d575b600080fd5b6101896040518060400160405280600d81526020016c49726f6e2042616e6b204b525760981b81525081565b6040516101969190610c47565b60405180910390f35b6101b26101ad366004610beb565b610396565b6040519015158152602001610196565b6000546101d5906001600160a01b031681565b6040516001600160a01b039091168152602001610196565b6101f660045481565b604051908152602001610196565b6101f660035481565b6101f6610402565b6101d57f000000000000000000000000000000000000000000000000000000000000000081565b6101f660025481565b6101b2610253366004610baf565b6104a1565b61026b610266366004610c15565b610568565b005b610275601281565b60405160ff9091168152602001610196565b61026b610295366004610c15565b6105ac565b61026b6105c3565b6101f66201518081565b6101f66102ba366004610b5a565b6001600160a01b031660009081526006602052604090205490565b61026b6105fd565b6101f6610645565b6101896040518060400160405280600581526020016469624b525760d81b81525081565b61026b610317366004610c15565b610714565b6101b261032a366004610beb565b6107a2565b61026b61033d366004610b5a565b6107b8565b61026b6107fd565b6101f6610358366004610b7c565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b6001546101d5906001600160a01b031681565b3360008181526005602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103f19086815260200190565b60405180910390a350600192915050565b6040516370a0823160e01b81523060048201526000907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a082319060240160206040518083038186803b15801561046457600080fd5b505afa158015610478573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061049c9190610c2e565b905090565b6001600160a01b0383166000818152600560209081526040808320338085529252822054919290919082148015906104db57506000198114155b156105515760006104ec8583610cf5565b6001600160a01b038881166000818152600560209081526040808320948916808452948252918290208590559051848152939450919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505b61055c868686610943565b50600195945050505050565b6000546001600160a01b0316331461057f57600080fd5b80600360008282546105919190610cf5565b909155506105a09050816109f1565b6105a981610ace565b50565b6000546001600160a01b031633146105a057600080fd5b60006003546105d0610645565b6105da9190610cf5565b90506105e5816109f1565b6000546105a99030906001600160a01b031683610943565b6001546001600160a01b031633148015610618575042600254105b61062157600080fd5b600154600080546001600160a01b0319166001600160a01b03909216919091179055565b600080610650610402565b9050801561070c57670de0b6b3a76400007f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663182df0f56040518163ffffffff1660e01b815260040160206040518083038186803b1580156106ba57600080fd5b505afa1580156106ce573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106f29190610c2e565b6106fc9083610cd6565b6107069190610cb4565b91505090565b600091505090565b6000546001600160a01b0316331461072b57600080fd5b806004600082825461073d9190610c9c565b90915550503060009081526006602052604081208054839290610761908490610c9c565b909155505060405181815230906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906020015b60405180910390a350565b60006107af338484610943565b50600192915050565b6000546001600160a01b031633146107cf57600080fd5b600180546001600160a01b0319166001600160a01b0383161790556107f76201518042610c9c565b60025550565b30600090815260066020908152604080832054600583528184207f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031685529092528220819055600380549192839261085e908490610c9c565b909155505060405163140e25ad60e31b8152600481018290527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169063a0712d6890602401602060405180830381600087803b1580156108c557600080fd5b505af11580156108d9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108fd9190610c2e565b156105a95760405162461bcd60e51b81526020600482015260116024820152701a588e881cdd5c1c1b1e4819985a5b1959607a1b60448201526064015b60405180910390fd5b6001600160a01b0383166000908152600660205260408120805483929061096b908490610cf5565b90915550506001600160a01b03821660009081526006602052604081208054839290610998908490610c9c565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516109e491815260200190565b60405180910390a3505050565b60405163852a12e360e01b8152600481018290527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169063852a12e390602401602060405180830381600087803b158015610a5357600080fd5b505af1158015610a67573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a8b9190610c2e565b156105a95760405162461bcd60e51b81526020600482015260136024820152721a588e881dda5d1a191c985dc819985a5b1959606a1b604482015260640161093a565b8060046000828254610ae09190610cf5565b90915550503060009081526006602052604081208054839290610b04908490610cf5565b909155505060405181815260009030907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90602001610797565b80356001600160a01b0381168114610b5557600080fd5b919050565b600060208284031215610b6c57600080fd5b610b7582610b3e565b9392505050565b60008060408385031215610b8f57600080fd5b610b9883610b3e565b9150610ba660208401610b3e565b90509250929050565b600080600060608486031215610bc457600080fd5b610bcd84610b3e565b9250610bdb60208501610b3e565b9150604084013590509250925092565b60008060408385031215610bfe57600080fd5b610c0783610b3e565b946020939093013593505050565b600060208284031215610c2757600080fd5b5035919050565b600060208284031215610c4057600080fd5b5051919050565b600060208083528351808285015260005b81811015610c7457858101830151858201604001528201610c58565b81811115610c86576000604083870101525b50601f01601f1916929092016040019392505050565b60008219821115610caf57610caf610d0c565b500190565b600082610cd157634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615610cf057610cf0610d0c565b500290565b600082821015610d0757610d07610d0c565b500390565b634e487b7160e01b600052601160045260246000fdfea2646970667358221220b331c94f48af231195da159c4401cd50f3b5025ad9e83f6259898fe26030f1aa64736f6c634300080600330000000000000000000000003c9f5385c288ce438ed55620938a4b967c080101

0x608060405234801561001057600080fd5b50600436106101585760003560e01c806366d16cc3116100c3578063a0712d681161007c578063a0712d6814610309578063a9059cbb1461031c578063cfad57a21461032f578063d0e30db014610342578063dd62ed3e1461034a578063f94e4e801461038357600080fd5b806366d16cc31461029a5780636a42b8f8146102a257806370a08231146102ac5780637bc6729b146102d55780638da876c9146102dd57806395d89b41146102e557600080fd5b80631f782287116101155780631f782287146102155780632196bcd71461023c57806323b872dd146102455780632e1a7d4d14610258578063313ce5671461026d57806342966c681461028757600080fd5b806306fdde031461015d578063095ea7b31461019f57806312d43a51146101c257806318160ddd146101ed5780631a686502146102045780631a7c25261461020d575b600080fd5b6101896040518060400160405280600d81526020016c49726f6e2042616e6b204b525760981b81525081565b6040516101969190610c47565b60405180910390f35b6101b26101ad366004610beb565b610396565b6040519015158152602001610196565b6000546101d5906001600160a01b031681565b6040516001600160a01b039091168152602001610196565b6101f660045481565b604051908152602001610196565b6101f660035481565b6101f6610402565b6101d57f0000000000000000000000003c9f5385c288ce438ed55620938a4b967c08010181565b6101f660025481565b6101b2610253366004610baf565b6104a1565b61026b610266366004610c15565b610568565b005b610275601281565b60405160ff9091168152602001610196565b61026b610295366004610c15565b6105ac565b61026b6105c3565b6101f66201518081565b6101f66102ba366004610b5a565b6001600160a01b031660009081526006602052604090205490565b61026b6105fd565b6101f6610645565b6101896040518060400160405280600581526020016469624b525760d81b81525081565b61026b610317366004610c15565b610714565b6101b261032a366004610beb565b6107a2565b61026b61033d366004610b5a565b6107b8565b61026b6107fd565b6101f6610358366004610b7c565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205490565b6001546101d5906001600160a01b031681565b3360008181526005602090815260408083206001600160a01b038716808552925280832085905551919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103f19086815260200190565b60405180910390a350600192915050565b6040516370a0823160e01b81523060048201526000907f0000000000000000000000003c9f5385c288ce438ed55620938a4b967c0801016001600160a01b0316906370a082319060240160206040518083038186803b15801561046457600080fd5b505afa158015610478573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061049c9190610c2e565b905090565b6001600160a01b0383166000818152600560209081526040808320338085529252822054919290919082148015906104db57506000198114155b156105515760006104ec8583610cf5565b6001600160a01b038881166000818152600560209081526040808320948916808452948252918290208590559051848152939450919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505b61055c868686610943565b50600195945050505050565b6000546001600160a01b0316331461057f57600080fd5b80600360008282546105919190610cf5565b909155506105a09050816109f1565b6105a981610ace565b50565b6000546001600160a01b031633146105a057600080fd5b60006003546105d0610645565b6105da9190610cf5565b90506105e5816109f1565b6000546105a99030906001600160a01b031683610943565b6001546001600160a01b031633148015610618575042600254105b61062157600080fd5b600154600080546001600160a01b0319166001600160a01b03909216919091179055565b600080610650610402565b9050801561070c57670de0b6b3a76400007f0000000000000000000000003c9f5385c288ce438ed55620938a4b967c0801016001600160a01b031663182df0f56040518163ffffffff1660e01b815260040160206040518083038186803b1580156106ba57600080fd5b505afa1580156106ce573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106f29190610c2e565b6106fc9083610cd6565b6107069190610cb4565b91505090565b600091505090565b6000546001600160a01b0316331461072b57600080fd5b806004600082825461073d9190610c9c565b90915550503060009081526006602052604081208054839290610761908490610c9c565b909155505060405181815230906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906020015b60405180910390a350565b60006107af338484610943565b50600192915050565b6000546001600160a01b031633146107cf57600080fd5b600180546001600160a01b0319166001600160a01b0383161790556107f76201518042610c9c565b60025550565b30600090815260066020908152604080832054600583528184207f0000000000000000000000003c9f5385c288ce438ed55620938a4b967c0801016001600160a01b031685529092528220819055600380549192839261085e908490610c9c565b909155505060405163140e25ad60e31b8152600481018290527f0000000000000000000000003c9f5385c288ce438ed55620938a4b967c0801016001600160a01b03169063a0712d6890602401602060405180830381600087803b1580156108c557600080fd5b505af11580156108d9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108fd9190610c2e565b156105a95760405162461bcd60e51b81526020600482015260116024820152701a588e881cdd5c1c1b1e4819985a5b1959607a1b60448201526064015b60405180910390fd5b6001600160a01b0383166000908152600660205260408120805483929061096b908490610cf5565b90915550506001600160a01b03821660009081526006602052604081208054839290610998908490610c9c565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516109e491815260200190565b60405180910390a3505050565b60405163852a12e360e01b8152600481018290527f0000000000000000000000003c9f5385c288ce438ed55620938a4b967c0801016001600160a01b03169063852a12e390602401602060405180830381600087803b158015610a5357600080fd5b505af1158015610a67573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a8b9190610c2e565b156105a95760405162461bcd60e51b81526020600482015260136024820152721a588e881dda5d1a191c985dc819985a5b1959606a1b604482015260640161093a565b8060046000828254610ae09190610cf5565b90915550503060009081526006602052604081208054839290610b04908490610cf5565b909155505060405181815260009030907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90602001610797565b80356001600160a01b0381168114610b5557600080fd5b919050565b600060208284031215610b6c57600080fd5b610b7582610b3e565b9392505050565b60008060408385031215610b8f57600080fd5b610b9883610b3e565b9150610ba660208401610b3e565b90509250929050565b600080600060608486031215610bc457600080fd5b610bcd84610b3e565b9250610bdb60208501610b3e565b9150604084013590509250925092565b60008060408385031215610bfe57600080fd5b610c0783610b3e565b946020939093013593505050565b600060208284031215610c2757600080fd5b5035919050565b600060208284031215610c4057600080fd5b5051919050565b600060208083528351808285015260005b81811015610c7457858101830151858201604001528201610c58565b81811115610c86576000604083870101525b50601f01601f1916929092016040019392505050565b60008219821115610caf57610caf610d0c565b500190565b600082610cd157634e487b7160e01b600052601260045260246000fd5b500490565b6000816000190483118215151615610cf057610cf0610d0c565b500290565b600082821015610d0757610d07610d0c565b500390565b634e487b7160e01b600052601160045260246000fdfea2646970667358221220b331c94f48af231195da159c4401cd50f3b5025ad9e83f6259898fe26030f1aa64736f6c63430008060033

0000000000000000000000003c9f5385c288ce438ed55620938a4b967c080101

-----Decoded View---------------
Arg [0] : _ib (address): 0x3c9f5385c288cE438Ed55620938A4B967c080101

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000003c9f5385c288ce438ed55620938a4b967c080101

325:4233:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;352:45;;;;;;;;;;;;;;;-1:-1:-1;;;352:45:0;;;;;;;;;;;;:::i;:::-;;;;;;;;3345:207;;;;;;:::i;:::-;;:::i;:::-;;;1987:14:1;;1980:22;1962:41;;1950:2;1935:18;3345:207:0;1917:92:1;532:18:0;;;;;-1:-1:-1;;;;;532:18:0;;;;;;-1:-1:-1;;;;;1778:32:1;;;1760:51;;1748:2;1733:18;532::0;1715:102:1;2247:27:0;;;;;;;;;3678:25:1;;;3666:2;3651:18;2247:27:0;3633:76:1;662:21:0;;;;;;1147:101;;;:::i;498:27::-;;;;;586:21;;;;;;3833:513;;;;;;:::i;:::-;;:::i;1801:130::-;;;;;;:::i;:::-;;:::i;:::-;;450:35;;483:2;450:35;;;;;3886:4:1;3874:17;;;3856:36;;3844:2;3829:18;450:35:0;3811:87:1;2848:70:0;;;;;;:::i;:::-;;:::i;1615:174::-;;;:::i;614:35::-;;643:6;614:35;;3560:108;;;;;;:::i;:::-;-1:-1:-1;;;;;3643:17:0;3619:4;3643:17;;;:8;:17;;;;;;;3560:108;1001:134;;;:::i;1260:209::-;;;:::i;404:39::-;;;;;;;;;;;;;;;-1:-1:-1;;;404:39:0;;;;;2578:258;;;;;;:::i;:::-;;:::i;3676:149::-;;;;;;:::i;:::-;;:::i;869:120::-;;;;;;:::i;:::-;;:::i;1943:237::-;;;:::i;3201:136::-;;;;;;:::i;:::-;-1:-1:-1;;;;;3301:19:0;;;3277:4;3301:19;;;:10;:19;;;;;;;;:28;;;;;;;;;;;;;3201:136;557:22;;;;;-1:-1:-1;;;;;557:22:0;;;3345:207;3438:10;3410:4;3427:22;;;:10;:22;;;;;;;;-1:-1:-1;;;;;3427:31:0;;;;;;;;;;:40;;;3485:37;3410:4;;3427:31;;3485:37;;;;3461:6;3678:25:1;;3666:2;3651:18;;3633:76;3485:37:0;;;;;;;;-1:-1:-1;3540:4:0;3345:207;;;;:::o;1147:101::-;1213:27;;-1:-1:-1;;;1213:27:0;;1234:4;1213:27;;;1760:51:1;1189:4:0;;1213:2;-1:-1:-1;;;;;1213:12:0;;;;1733:18:1;;1213:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1206:34;;1147:101;:::o;3833:513::-;-1:-1:-1;;;;;3992:15:0;;3912:4;3992:15;;;:10;:15;;;;;;;;3947:10;3992:24;;;;;;;;3912:4;;3947:10;;3992:24;4033:14;;;;;:52;;;-1:-1:-1;;4051:16:0;:34;;4033:52;4029:242;;;4102:17;4122:25;4141:6;4122:16;:25;:::i;:::-;-1:-1:-1;;;;;4162:15:0;;;;;;;:10;:15;;;;;;;;:24;;;;;;;;;;;;;:39;;;4223:36;;3678:25:1;;;4162:39:0;;-1:-1:-1;4162:24:0;;:15;;4223:36;;3651:18:1;4223:36:0;;;;;;;4087:184;4029:242;4283:33;4299:3;4304;4309:6;4283:15;:33::i;:::-;-1:-1:-1;4334:4:0;;3833:513;-1:-1:-1;;;;;3833:513:0:o;1801:130::-;833:3;;-1:-1:-1;;;;;833:3:0;819:10;:17;811:26;;;;;;1867:6:::1;1854:9;;:19;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;1884:15:0::1;::::0;-1:-1:-1;1892:6:0;1884:7:::1;:15::i;:::-;1910:13;1916:6;1910:5;:13::i;:::-;1801:130:::0;:::o;2848:70::-;833:3;;-1:-1:-1;;;;;833:3:0;819:10;:17;811:26;;;;;1615:174;1653:12;1690:9;;1668:19;:17;:19::i;:::-;:31;;;;:::i;:::-;1653:46;;1710:16;1718:7;1710;:16::i;:::-;1768:3;;1737:44;;1761:4;;-1:-1:-1;;;;;1768:3:0;1773:7;1737:15;:44::i;1001:134::-;1064:7;;-1:-1:-1;;;;;1064:7:0;1050:10;:21;:52;;;;;1087:15;1075:9;;:27;1050:52;1042:61;;;;;;1120:7;;;1114:13;;-1:-1:-1;;;;;;1114:13:0;-1:-1:-1;;;;;1120:7:0;;;1114:13;;;;;;1001:134::o;1260:209::-;1310:4;1327:10;1340:11;:9;:11::i;:::-;1327:24;-1:-1:-1;1366:6:0;;1362:81;;1427:4;1401:2;-1:-1:-1;;;;;1401:21:0;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;1396:28;;:2;:28;:::i;:::-;:35;;;;:::i;:::-;1389:42;;;1260:209;:::o;1362:81::-;1460:1;1453:8;;;1260:209;:::o;2578:258::-;833:3;;-1:-1:-1;;;;;833:3:0;819:10;:17;811:26;;;;;;2670:6:::1;2655:11;;:21;;;;;;;:::i;:::-;::::0;;;-1:-1:-1;;2753:4:0::1;2736:23;::::0;;;:8:::1;:23;::::0;;;;:33;;2763:6;;2736:23;:33:::1;::::0;2763:6;;2736:33:::1;:::i;:::-;::::0;;;-1:-1:-1;;2785:43:0::1;::::0;3678:25:1;;;2814:4:0::1;::::0;2802:1:::1;::::0;2785:43:::1;::::0;3666:2:1;3651:18;2785:43:0::1;;;;;;;;2578:258:::0;:::o;3676:149::-;3738:4;3755:40;3771:10;3783:3;3788:6;3755:15;:40::i;:::-;-1:-1:-1;3813:4:0;3676:149;;;;:::o;869:120::-;833:3;;-1:-1:-1;;;;;833:3:0;819:10;:17;811:26;;;;;;921:7:::1;:14:::0;;-1:-1:-1;;;;;;921:14:0::1;-1:-1:-1::0;;;;;921:14:0;::::1;;::::0;;958:23:::1;643:6;958:15;:23;:::i;:::-;946:9;:35:::0;-1:-1:-1;869:120:0:o;1943:237::-;2014:4;1982:12;1997:23;;;:8;:23;;;;;;;;;2031:10;:25;;;;;2065:2;-1:-1:-1;;;;;2031:38:0;;;;;;;;:48;;;2090:9;:20;;1997:23;;;;2090:20;;1997:23;;2090:20;:::i;:::-;;;;-1:-1:-1;;2129:16:0;;-1:-1:-1;;;2129:16:0;;;;;3678:25:1;;;2129:2:0;-1:-1:-1;;;;;2129:7:0;;;;3651:18:1;;2129:16:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:21;2121:51;;;;-1:-1:-1;;;2121:51:0;;3040:2:1;2121:51:0;;;3022:21:1;3079:2;3059:18;;;3052:30;-1:-1:-1;;;3098:18:1;;;3091:47;3155:18;;2121:51:0;;;;;;;;4354:201;-1:-1:-1;;;;;4438:13:0;;;;;;:8;:13;;;;;:23;;4455:6;;4438:13;:23;;4455:6;;4438:23;:::i;:::-;;;;-1:-1:-1;;;;;;;4472:13:0;;;;;;:8;:13;;;;;:23;;4489:6;;4472:13;:23;;4489:6;;4472:23;:::i;:::-;;;;;;;;4535:3;-1:-1:-1;;;;;4521:26:0;4530:3;-1:-1:-1;;;;;4521:26:0;;4540:6;4521:26;;;;3678:25:1;;3666:2;3651:18;;3633:76;4521:26:0;;;;;;;;4354:201;;;:::o;1481:122::-;1539:27;;-1:-1:-1;;;1539:27:0;;;;;3678:25:1;;;1539:2:0;-1:-1:-1;;;;;1539:19:0;;;;3651:18:1;;1539:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:32;1531:64;;;;-1:-1:-1;;;1531:64:0;;3386:2:1;1531:64:0;;;3368:21:1;3425:2;3405:18;;;3398:30;-1:-1:-1;;;3444:18:1;;;3437:49;3503:18;;1531:64:0;3358:169:1;2930:259:0;3021:6;3006:11;;:21;;;;;;;:::i;:::-;;;;-1:-1:-1;;3106:4:0;3089:23;;;;:8;:23;;;;;:33;;3116:6;;3089:23;:33;;3116:6;;3089:33;:::i;:::-;;;;-1:-1:-1;;3138:43:0;;3678:25:1;;;3170:1:0;;3155:4;;3138:43;;3666:2:1;3651:18;3138:43:0;3633:76:1;14:173;82:20;;-1:-1:-1;;;;;131:31:1;;121:42;;111:2;;177:1;174;167:12;111:2;63:124;;;:::o;192:186::-;251:6;304:2;292:9;283:7;279:23;275:32;272:2;;;320:1;317;310:12;272:2;343:29;362:9;343:29;:::i;:::-;333:39;262:116;-1:-1:-1;;;262:116:1:o;383:260::-;451:6;459;512:2;500:9;491:7;487:23;483:32;480:2;;;528:1;525;518:12;480:2;551:29;570:9;551:29;:::i;:::-;541:39;;599:38;633:2;622:9;618:18;599:38;:::i;:::-;589:48;;470:173;;;;;:::o;648:328::-;725:6;733;741;794:2;782:9;773:7;769:23;765:32;762:2;;;810:1;807;800:12;762:2;833:29;852:9;833:29;:::i;:::-;823:39;;881:38;915:2;904:9;900:18;881:38;:::i;:::-;871:48;;966:2;955:9;951:18;938:32;928:42;;752:224;;;;;:::o;981:254::-;1049:6;1057;1110:2;1098:9;1089:7;1085:23;1081:32;1078:2;;;1126:1;1123;1116:12;1078:2;1149:29;1168:9;1149:29;:::i;:::-;1139:39;1225:2;1210:18;;;;1197:32;;-1:-1:-1;;;1068:167:1:o;1240:180::-;1299:6;1352:2;1340:9;1331:7;1327:23;1323:32;1320:2;;;1368:1;1365;1358:12;1320:2;-1:-1:-1;1391:23:1;;1310:110;-1:-1:-1;1310:110:1:o;1425:184::-;1495:6;1548:2;1536:9;1527:7;1523:23;1519:32;1516:2;;;1564:1;1561;1554:12;1516:2;-1:-1:-1;1587:16:1;;1506:103;-1:-1:-1;1506:103:1:o;2236:597::-;2348:4;2377:2;2406;2395:9;2388:21;2438:6;2432:13;2481:6;2476:2;2465:9;2461:18;2454:34;2506:1;2516:140;2530:6;2527:1;2524:13;2516:140;;;2625:14;;;2621:23;;2615:30;2591:17;;;2610:2;2587:26;2580:66;2545:10;;2516:140;;;2674:6;2671:1;2668:13;2665:2;;;2744:1;2739:2;2730:6;2719:9;2715:22;2711:31;2704:42;2665:2;-1:-1:-1;2817:2:1;2796:15;-1:-1:-1;;2792:29:1;2777:45;;;;2824:2;2773:54;;2357:476;-1:-1:-1;;;2357:476:1:o;3903:128::-;3943:3;3974:1;3970:6;3967:1;3964:13;3961:2;;;3980:18;;:::i;:::-;-1:-1:-1;4016:9:1;;3951:80::o;4036:217::-;4076:1;4102;4092:2;;4146:10;4141:3;4137:20;4134:1;4127:31;4181:4;4178:1;4171:15;4209:4;4206:1;4199:15;4092:2;-1:-1:-1;4238:9:1;;4082:171::o;4258:168::-;4298:7;4364:1;4360;4356:6;4352:14;4349:1;4346:21;4341:1;4334:9;4327:17;4323:45;4320:2;;;4371:18;;:::i;:::-;-1:-1:-1;4411:9:1;;4310:116::o;4431:125::-;4471:4;4499:1;4496;4493:8;4490:2;;;4504:18;;:::i;:::-;-1:-1:-1;4541:9:1;;4480:76::o;4561:127::-;4622:10;4617:3;4613:20;4610:1;4603:31;4653:4;4650:1;4643:15;4677:4;4674:1;4667:15

ipfs://b331c94f48af231195da159c4401cd50f3b5025ad9e83f6259898fe26030f1aa