Token finance.vote Token

/**
 *Submitted for verification at Etherscan.io on 2022-10-21
*/

/**
 *Submitted for verification at BscScan.com on 2021-03-08
*/

// SPDX-License-Identifier: GPL-3.0-only

pragma solidity 0.7.4;


library SafeMathLib {
  function times(uint a, uint b) public pure returns (uint) {
    uint c = a * b;
    require(a == 0 || c / a == b, 'Overflow detected');
    return c;
  }

  function minus(uint a, uint b) public pure returns (uint) {
    require(b <= a, 'Underflow detected');
    return a - b;
  }

  function plus(uint a, uint b) public pure returns (uint) {
    uint c = a + b;
    require(c>=a && c>=b, 'Overflow detected');
    return c;
  }

}


contract BSCToken {
    using SafeMathLib for uint;

    mapping (address => uint) balances;
    mapping (address => mapping (address => uint)) allowed;
    mapping (uint => FrozenTokens) public frozenTokensMap;

    event Transfer(address indexed sender, address indexed receiver, uint value);
    event Approval(address approver, address spender, uint value);
    event TokensFrozen(address indexed freezer, uint amount, uint id, uint lengthFreezeDays);
    event TokensUnfrozen(address indexed unfreezer, uint amount, uint id);
    event TokensBurned(address burner, uint amount);
    event TokensMinted(address recipient, uint amount);
    event BankUpdated(address oldBank, address newBank);

    uint8 constant public _decimals = 18;
    string constant public _symbol = "FVT";
    string constant public _name = "finance.vote Token";
    uint public _totalSupply;
    uint numFrozenStructs;
    address public bank;

    struct FrozenTokens {
        uint id;
        uint dateFrozen;
        uint lengthFreezeDays;
        uint amount;
        bool frozen;
        address owner;
    }

    // simple initialization, giving complete token supply to one address
    constructor(address _bank) {
        bank = _bank;
        require(bank != address(0), 'Must initialize with nonzero address');
        uint totalInitialBalance = 0;
        balances[bank] = totalInitialBalance;
        _totalSupply = totalInitialBalance;
        emit Transfer(address(0), bank, totalInitialBalance);
    }

    modifier bankOnly() {
        require (msg.sender == bank, 'Only bank address may call this');
        _;
    }

    function name() public view returns (string memory) {
        return _name;
    }

    function symbol() public view returns (string memory) {
        return _symbol;
    }

    function decimals() public view returns (uint8) {
        return _decimals;
    }

    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    function getOwner() external view returns (address) {
        return bank;
    }

    function setBank(address newBank) public bankOnly {
        address oldBank = bank;
        bank = newBank;
        emit BankUpdated(oldBank, newBank);
    }

    // freeze tokens for a certain number of days
    function freeze(uint amount, uint freezeDays) public {
        require(amount > 0, 'Cannot freeze 0 tokens');
        // move tokens into this contract's address from sender
        balances[msg.sender] = balances[msg.sender].minus(amount);
        balances[address(this)] = balances[address(this)].plus(amount);
        numFrozenStructs = numFrozenStructs.plus(1);
        frozenTokensMap[numFrozenStructs] = FrozenTokens(numFrozenStructs, block.timestamp, freezeDays, amount, true, msg.sender);
        emit Transfer(msg.sender, address(this), amount);
        emit TokensFrozen(msg.sender, amount, numFrozenStructs, freezeDays);
    }

    // unfreeze frozen tokens
    function unFreeze(uint id) public {
        FrozenTokens storage f = frozenTokensMap[id];
        require(f.dateFrozen + (f.lengthFreezeDays * 1 days) < block.timestamp, 'May not unfreeze until freeze time is up');
        require(f.frozen, 'Can only unfreeze frozen tokens');
        f.frozen = false;
        // move tokens back into owner's address from this contract's address
        balances[f.owner] = balances[f.owner].plus(f.amount);
        balances[address(this)] = balances[address(this)].minus(f.amount);
        emit Transfer(address(this), msg.sender, f.amount);
        emit TokensUnfrozen(f.owner, f.amount, id);
    }

    // burn tokens, taking them out of supply
    function burn(uint amount) public {
        balances[msg.sender] = balances[msg.sender].minus(amount);
        _totalSupply = _totalSupply.minus(amount);
        emit Transfer(msg.sender, address(0), amount);
        emit TokensBurned(msg.sender, amount);
    }

    function mint(address recipient, uint amount) public bankOnly {
        balances[recipient] = balances[recipient].plus(amount);
        _totalSupply = _totalSupply.plus(amount);
        emit Transfer(address(0), recipient, amount);
        emit TokensMinted(recipient, amount);
    }

    // burn tokens for someone else, subject to approval
    function burnFrom(address burned, uint amount) public {
        uint currentAllowance = allowed[burned][msg.sender];

        // deduct
        balances[burned] = balances[burned].minus(amount);

        // adjust allowance
        allowed[burned][msg.sender] = currentAllowance.minus(amount);

        _totalSupply = _totalSupply.minus(amount);

        emit Transfer(burned, address(0), amount);
        emit TokensBurned(burned, amount);
    }

    // transfer tokens
    function transfer(address to, uint value) public returns (bool success)
    {
        if (to == address(0)) {
            burn(value);
        } else {
            // deduct
            balances[msg.sender] = balances[msg.sender].minus(value);
            // add
            balances[to] = balances[to].plus(value);

            emit Transfer(msg.sender, to, value);
        }
        return true;
    }

    // transfer someone else's tokens, subject to approval
    function transferFrom(address from, address to, uint value) public returns (bool success)
    {
        if (to == address(0)) {
            burnFrom(from, value);
        } else {
            uint currentAllowance = allowed[from][msg.sender];

            // deduct
            balances[from] = balances[from].minus(value);

            // add
            balances[to] = balances[to].plus(value);

            // adjust allowance
            allowed[from][msg.sender] = currentAllowance.minus(value);

            emit Transfer(from, to, value);
        }
        return true;
    }

    // retrieve the balance of address
    function balanceOf(address owner) public view returns (uint balance) {
        return balances[owner];
    }

    // approve another address to transfer a specific amount of tokens
    function approve(address spender, uint value) public returns (bool success) {
        allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    // incrementally increase approval, see https://github.com/ethereum/EIPs/issues/738
    function increaseApproval(address spender, uint value) public returns (bool success) {
        allowed[msg.sender][spender] = allowed[msg.sender][spender].plus(value);
        emit Approval(msg.sender, spender, allowed[msg.sender][spender]);
        return true;
    }

    // incrementally decrease approval, see https://github.com/ethereum/EIPs/issues/738
    function decreaseApproval(address spender, uint decreaseValue) public returns (bool success) {
        uint oldValue = allowed[msg.sender][spender];
        // allow decreasing too much, to prevent griefing via front-running
        if (decreaseValue >= oldValue) {
            allowed[msg.sender][spender] = 0;
        } else {
            allowed[msg.sender][spender] = oldValue.minus(decreaseValue);
        }
        emit Approval(msg.sender, spender, allowed[msg.sender][spender]);
        return true;
    }

    // retrieve allowance for a given owner, spender pair of addresses
    function allowance(address owner, address spender) public view returns (uint remaining) {
        return allowed[owner][spender];
    }

    function numCoinsFrozen() public view returns (uint) {
        return balances[address(this)];
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_bank","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"approver","type":"address"},{"indexed":false,"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":"oldBank","type":"address"},{"indexed":false,"internalType":"address","name":"newBank","type":"address"}],"name":"BankUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"burner","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"TokensBurned","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"freezer","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"lengthFreezeDays","type":"uint256"}],"name":"TokensFrozen","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"recipient","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"TokensMinted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"unfreezer","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"}],"name":"TokensUnfrozen","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"receiver","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","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":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"remaining","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"balance","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"bank","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"burned","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"decreaseValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint256","name":"freezeDays","type":"uint256"}],"name":"freeze","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"frozenTokensMap","outputs":[{"internalType":"uint256","name":"id","type":"uint256"},{"internalType":"uint256","name":"dateFrozen","type":"uint256"},{"internalType":"uint256","name":"lengthFreezeDays","type":"uint256"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bool","name":"frozen","type":"bool"},{"internalType":"address","name":"owner","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"increaseApproval","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"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":"numCoinsFrozen","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newBank","type":"address"}],"name":"setBank","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":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"id","type":"uint256"}],"name":"unFreeze","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b506040516200319d3803806200319d8339818101604052602081101561003557600080fd5b810190808051906020019092919050505080600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff16600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610130576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180620031796024913960400191505060405180910390fd5b600080600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555080600381905550600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050612f4180620002386000396000f3fe608060405234801561001057600080fd5b50600436106101735760003560e01c806366188463116100de57806395d89b4111610097578063d28d885211610071578063d28d8852146107d0578063d302b0dc14610853578063d73dd62314610881578063dd62ed3e146108e557610173565b806395d89b4114610666578063a9059cbb146106e9578063b09f12661461074d57610173565b806366188463146104d657806370a082311461053a57806376cdb03b1461059257806379cc6790146105c657806386e77c8214610614578063893d20e81461063257610173565b806332424aa31161013057806332424aa31461036657806335d7a052146103875780633eaaf86b146103bf57806340c10f19146103dd57806340ce0b681461042b57806342966c68146104a857610173565b806306fdde0314610178578063090d23b9146101fb578063095ea7b31461023f57806318160ddd146102a357806323b872dd146102c1578063313ce56714610345575b600080fd5b61018061095d565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101c05780820151818401526020810190506101a5565b50505050905090810190601f1680156101ed5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61023d6004803603602081101561021157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061099a565b005b61028b6004803603604081101561025557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b34565b60405180821515815260200191505060405180910390f35b6102ab610c34565b6040518082815260200191505060405180910390f35b61032d600480360360608110156102d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c3e565b60405180821515815260200191505060405180910390f35b61034d6110b2565b604051808260ff16815260200191505060405180910390f35b61036e6110bb565b604051808260ff16815260200191505060405180910390f35b6103bd6004803603604081101561039d57600080fd5b8101908080359060200190929190803590602001909291905050506110c0565b005b6103c76115b3565b6040518082815260200191505060405180910390f35b610429600480360360408110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506115b9565b005b6104576004803603602081101561044157600080fd5b81019080803590602001909291905050506118eb565b6040518087815260200186815260200185815260200184815260200183151581526020018273ffffffffffffffffffffffffffffffffffffffff168152602001965050505050505060405180910390f35b6104d4600480360360208110156104be57600080fd5b8101908080359060200190929190505050611954565b005b610522600480360360408110156104ec57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bc2565b60405180821515815260200191505060405180910390f35b61057c6004803603602081101561055057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ee1565b6040518082815260200191505060405180910390f35b61059a611f29565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610612600480360360408110156105dc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611f4f565b005b61061c612354565b6040518082815260200191505060405180910390f35b61063a61239a565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61066e6123c4565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156106ae578082015181840152602081019050610693565b50505050905090810190601f1680156106db5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610735600480360360408110156106ff57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612401565b60405180821515815260200191505060405180910390f35b6107556126dd565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561079557808201518184015260208101905061077a565b50505050905090810190601f1680156107c25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107d8612716565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156108185780820151818401526020810190506107fd565b50505050905090810190601f1680156108455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61087f6004803603602081101561086957600080fd5b810190808035906020019092919050505061274f565b005b6108cd6004803603604081101561089757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612bd1565b60405180821515815260200191505060405180910390f35b610947600480360360408110156108fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612e5c565b6040518082815260200191505060405180910390f35b60606040518060400160405280601281526020017f66696e616e63652e766f746520546f6b656e0000000000000000000000000000815250905090565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a5d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f4f6e6c792062616e6b2061646472657373206d61792063616c6c20746869730081525060200191505060405180910390fd5b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f6b13d0b6d0f96f25f42864a97c7a29b23b8b2ee5b36a253eabfb1eb7ffaae8578183604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a15050565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925338484604051808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060405180910390a16001905092915050565b6000600354905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610c8357610c7e8483611f4f565b6110a7565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc19091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610d9b57600080fd5b505af4158015610daf573d6000803e3d6000fd5b505050506040513d6020811015610dc557600080fd5b81019080805190602001909291905050506000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d6366098d4f9091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610eaf57600080fd5b505af4158015610ec3573d6000803e3d6000fd5b505050506040513d6020811015610ed957600080fd5b81019080805190602001909291905050506000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550807386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc19091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610f8557600080fd5b505af4158015610f99573d6000803e3d6000fd5b505050506040513d6020811015610faf57600080fd5b8101908080519060200190929190505050600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3505b600190509392505050565b60006012905090565b601281565b60008211611136576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f43616e6e6f7420667265657a65203020746f6b656e730000000000000000000081525060200191505060405180910390fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156111cd57600080fd5b505af41580156111e1573d6000803e3d6000fd5b505050506040513d60208110156111f757600080fd5b81019080805190602001909291905050506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d6366098d4f9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156112e157600080fd5b505af41580156112f5573d6000803e3d6000fd5b505050506040513d602081101561130b57600080fd5b81019080805190602001909291905050506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506004547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d6366098d4f909160016040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156113ba57600080fd5b505af41580156113ce573d6000803e3d6000fd5b505050506040513d60208110156113e457600080fd5b81019080805190602001909291905050506004819055506040518060c0016040528060045481526020014281526020018281526020018381526020016001151581526020013373ffffffffffffffffffffffffffffffffffffffff168152506002600060045481526020019081526020016000206000820151816000015560208201518160010155604082015181600201556060820151816003015560808201518160040160006101000a81548160ff02191690831515021790555060a08201518160040160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055509050503073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a33373ffffffffffffffffffffffffffffffffffffffff167f2502d3f329c4eb284d29033ab5c33f072138cd7baae647a85c1a784e4b24c779836004548460405180848152602001838152602001828152602001935050505060405180910390a25050565b60035481565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461167c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f4f6e6c792062616e6b2061646472657373206d61792063616c6c20746869730081525060200191505060405180910390fd5b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d6366098d4f9091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561171357600080fd5b505af4158015611727573d6000803e3d6000fd5b505050506040513d602081101561173d57600080fd5b81019080805190602001909291905050506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506003547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d6366098d4f9091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156117eb57600080fd5b505af41580156117ff573d6000803e3d6000fd5b505050506040513d602081101561181557600080fd5b81019080805190602001909291905050506003819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a37f3f2c9d57c068687834f0de942a9babb9e5acab57d516d3480a3c16ee165a42738282604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a15050565b60026020528060005260406000206000915090508060000154908060010154908060020154908060030154908060040160009054906101000a900460ff16908060040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905086565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc19091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156119eb57600080fd5b505af41580156119ff573d6000803e3d6000fd5b505050506040513d6020811015611a1557600080fd5b81019080805190602001909291905050506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506003547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc19091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611ac357600080fd5b505af4158015611ad7573d6000803e3d6000fd5b505050506040513d6020811015611aed57600080fd5b8101908080519060200190929190505050600381905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a37ffd38818f5291bf0bb3a2a48aadc06ba8757865d1dabd804585338aab3009dcb63382604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a150565b600080600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808310611cd2576000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611de7565b807386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc19091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611d2b57600080fd5b505af4158015611d3f573d6000803e3d6000fd5b505050506040513d6020811015611d5557600080fd5b8101908080519060200190929190505050600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b7f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9253385600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060405180910390a1600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561206757600080fd5b505af415801561207b573d6000803e3d6000fd5b505050506040513d602081101561209157600080fd5b81019080805190602001909291905050506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550807386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561213d57600080fd5b505af4158015612151573d6000803e3d6000fd5b505050506040513d602081101561216757600080fd5b8101908080519060200190929190505050600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506003547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561225357600080fd5b505af4158015612267573d6000803e3d6000fd5b505050506040513d602081101561227d57600080fd5b8101908080519060200190929190505050600381905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a37ffd38818f5291bf0bb3a2a48aadc06ba8757865d1dabd804585338aab3009dcb68383604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a1505050565b60008060003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60606040518060400160405280600381526020017f4656540000000000000000000000000000000000000000000000000000000000815250905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156124455761244082611954565b6126d3565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156124dc57600080fd5b505af41580156124f0573d6000803e3d6000fd5b505050506040513d602081101561250657600080fd5b81019080805190602001909291905050506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d6366098d4f9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156125f057600080fd5b505af4158015612604573d6000803e3d6000fd5b505050506040513d602081101561261a57600080fd5b81019080805190602001909291905050506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a35b6001905092915050565b6040518060400160405280600381526020017f465654000000000000000000000000000000000000000000000000000000000081525081565b6040518060400160405280601281526020017f66696e616e63652e766f746520546f6b656e000000000000000000000000000081525081565b60006002600083815260200190815260200160002090504262015180826002015402826001015401106127cd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180612ee46028913960400191505060405180910390fd5b8060040160009054906101000a900460ff16612851576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f43616e206f6e6c7920756e667265657a652066726f7a656e20746f6b656e730081525060200191505060405180910390fd5b60008160040160006101000a81548160ff0219169083151502179055506000808260040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d6366098d4f909183600301546040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561292d57600080fd5b505af4158015612941573d6000803e3d6000fd5b505050506040513d602081101561295757600080fd5b81019080805190602001909291905050506000808360040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d63f4f3bdc1909183600301546040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015612a6957600080fd5b505af4158015612a7d573d6000803e3d6000fd5b505050506040513d6020811015612a9357600080fd5b81019080805190602001909291905050506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83600301546040518082815260200191505060405180910390a38060040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f52281bdae4847001e3dc97f408c43fa2f8b5c4438279806255fc5ee00fc5195b826003015484604051808381526020018281526020019250505060405180910390a25050565b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547386b43bf8ba2b61ea3c3f5a3c4c07517077fa043d6366098d4f9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015612ca857600080fd5b505af4158015612cbc573d6000803e3d6000fd5b505050506040513d6020811015612cd257600080fd5b8101908080519060200190929190505050600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9253384600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060405180910390a16001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490509291505056fe4d6179206e6f7420756e667265657a6520756e74696c20667265657a652074696d65206973207570a2646970667358221220bef49185f691c40a103800aeab28ff9302cb2793bd58e4df93a04c8a4935a1cf64736f6c634300070400334d75737420696e697469616c697a652077697468206e6f6e7a65726f2061646472657373000000000000000000000000785cfc6c2afcb058e8dd6dda49537c5a819d3625

000000000000000000000000785cfc6c2afcb058e8dd6dda49537c5a819d3625

-----Decoded View---------------
Arg [0] : _bank (address): 0x785cfc6c2afcb058e8dd6dda49537c5a819d3625

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000785cfc6c2afcb058e8dd6dda49537c5a819d3625

SafeMathLib : 0x86b43bf8ba2b61ea3c3f5a3c4c07517077fa043d

622:7702:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2287:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2753:161;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6800:205;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2564:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5961:601;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2473:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;1339:36;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2973:646;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1485:24;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4632:288;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;784:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4358:266;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7471:523;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;6610:110;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1544:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;4986:459;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8219:102;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2663:82;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2378:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5477:416;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;1382:38;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1427:51;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3658:645;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7102:272;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;8074:137;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2287:83;2324:13;2357:5;;;;;;;;;;;;;;;;;2350:12;;2287:83;:::o;2753:161::-;2219:4;;;;;;;;;;;2205:18;;:10;:18;;;2196:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2814:15:::1;2832:4;;;;;;;;;;;2814:22;;2854:7;2847:4;;:14;;;;;;;;;;;;;;;;;;2877:29;2889:7;2898;2877:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;2270:1;2753:161:::0;:::o;6800:205::-;6862:12;6918:5;6887:7;:19;6895:10;6887:19;;;;;;;;;;;;;;;:28;6907:7;6887:28;;;;;;;;;;;;;;;:36;;;;6939;6948:10;6960:7;6969:5;6939:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6993:4;6986:11;;6800:205;;;;:::o;2564:91::-;2608:7;2635:12;;2628:19;;2564:91;:::o;5961:601::-;6037:12;6085:1;6071:16;;:2;:16;;;6067:466;;;6104:21;6113:4;6119:5;6104:8;:21::i;:::-;6067:466;;;6158:21;6182:7;:13;6190:4;6182:13;;;;;;;;;;;;;;;:25;6196:10;6182:25;;;;;;;;;;;;;;;;6158:49;;6264:8;:14;6273:4;6264:14;;;;;;;;;;;;;;;;:20;;;;6285:5;6264:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6247:8;:14;6256:4;6247:14;;;;;;;;;;;;;;;:44;;;;6343:8;:12;6352:2;6343:12;;;;;;;;;;;;;;;;:17;;;;6361:5;6343:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6328:8;:12;6337:2;6328:12;;;;;;;;;;;;;;;:39;;;;6445:16;:22;;;;6468:5;6445:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6417:7;:13;6425:4;6417:13;;;;;;;;;;;;;;;:25;6431:10;6417:25;;;;;;;;;;;;;;;:57;;;;6511:2;6496:25;;6505:4;6496:25;;;6515:5;6496:25;;;;;;;;;;;;;;;;;;6067:466;;6550:4;6543:11;;5961:601;;;;;:::o;2473:83::-;2514:5;1373:2;2532:16;;2473:83;:::o;1339:36::-;1373:2;1339:36;:::o;2973:646::-;3054:1;3045:6;:10;3037:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3181:8;:20;3190:10;3181:20;;;;;;;;;;;;;;;;:26;;;;3208:6;3181:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3158:8;:20;3167:10;3158:20;;;;;;;;;;;;;;;:57;;;;3252:8;:23;3269:4;3252:23;;;;;;;;;;;;;;;;:28;;;;3281:6;3252:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3226:8;:23;3243:4;3226:23;;;;;;;;;;;;;;;:62;;;;3318:16;;:21;;;;3340:1;3318:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3299:16;:43;;;;3389:85;;;;;;;;3402:16;;3389:85;;;;3420:15;3389:85;;;;3437:10;3389:85;;;;3449:6;3389:85;;;;3457:4;3389:85;;;;;;3463:10;3389:85;;;;;3353:15;:33;3369:16;;3353:33;;;;;;;;;;;:121;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3519:4;3490:43;;3499:10;3490:43;;;3526:6;3490:43;;;;;;;;;;;;;;;;;;3562:10;3549:62;;;3574:6;3582:16;;3600:10;3549:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2973:646;;:::o;1485:24::-;;;;:::o;4632:288::-;2219:4;;;;;;;;;;;2205:18;;:10;:18;;;2196:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4727:8:::1;:19:::0;4736:9:::1;4727:19;;;;;;;;;;;;;;;;:24;;;;4752:6;4727:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;4705:8;:19:::0;4714:9:::1;4705:19;;;;;;;;;;;;;;;:54;;;;4785:12;;:17;;;;4803:6;4785:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;4770:12;:40;;;;4847:9;4826:39;;4843:1;4826:39;;;4858:6;4826:39;;;;;;;;;;;;;;;;;;4881:31;4894:9;4905:6;4881:31;;;;;;;;;;;;;;;;;;;;;;;;;;4632:288:::0;;:::o;784:53::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4358:266::-;4426:8;:20;4435:10;4426:20;;;;;;;;;;;;;;;;:26;;;;4453:6;4426:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4403:8;:20;4412:10;4403:20;;;;;;;;;;;;;;;:57;;;;4486:12;;:18;;;;4505:6;4486:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4471:12;:41;;;;4557:1;4528:40;;4537:10;4528:40;;;4561:6;4528:40;;;;;;;;;;;;;;;;;;4584:32;4597:10;4609:6;4584:32;;;;;;;;;;;;;;;;;;;;;;;;;;4358:266;:::o;7471:523::-;7550:12;7575:13;7591:7;:19;7599:10;7591:19;;;;;;;;;;;;;;;:28;7611:7;7591:28;;;;;;;;;;;;;;;;7575:44;;7728:8;7711:13;:25;7707:183;;7784:1;7753:7;:19;7761:10;7753:19;;;;;;;;;;;;;;;:28;7773:7;7753:28;;;;;;;;;;;;;;;:32;;;;7707:183;;;7849:8;:14;;;;7864:13;7849:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7818:7;:19;7826:10;7818:19;;;;;;;;;;;;;;;:28;7838:7;7818:28;;;;;;;;;;;;;;;:60;;;;7707:183;7905:59;7914:10;7926:7;7935;:19;7943:10;7935:19;;;;;;;;;;;;;;;:28;7955:7;7935:28;;;;;;;;;;;;;;;;7905:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7982:4;7975:11;;;7471:523;;;;:::o;6610:110::-;6665:12;6697:8;:15;6706:5;6697:15;;;;;;;;;;;;;;;;6690:22;;6610:110;;;:::o;1544:19::-;;;;;;;;;;;;;:::o;4986:459::-;5051:21;5075:7;:15;5083:6;5075:15;;;;;;;;;;;;;;;:27;5091:10;5075:27;;;;;;;;;;;;;;;;5051:51;;5153:8;:16;5162:6;5153:16;;;;;;;;;;;;;;;;:22;;;;5176:6;5153:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5134:8;:16;5143:6;5134:16;;;;;;;;;;;;;;;:49;;;;5255:16;:22;;;;5278:6;5255:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5225:7;:15;5233:6;5225:15;;;;;;;;;;;;;;;:27;5241:10;5225:27;;;;;;;;;;;;;;;:60;;;;5313:12;;:18;;;;5332:6;5313:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5298:12;:41;;;;5382:1;5357:36;;5366:6;5357:36;;;5386:6;5357:36;;;;;;;;;;;;;;;;;;5409:28;5422:6;5430;5409:28;;;;;;;;;;;;;;;;;;;;;;;;;;4986:459;;;:::o;8219:102::-;8266:4;8290:8;:23;8307:4;8290:23;;;;;;;;;;;;;;;;8283:30;;8219:102;:::o;2663:82::-;2706:7;2733:4;;;;;;;;;;;2726:11;;2663:82;:::o;2378:87::-;2417:13;2450:7;;;;;;;;;;;;;;;;;2443:14;;2378:87;:::o;5477:416::-;5535:12;5583:1;5569:16;;:2;:16;;;5565:299;;;5602:11;5607:5;5602:4;:11::i;:::-;5565:299;;;5692:8;:20;5701:10;5692:20;;;;;;;;;;;;;;;;:26;;;;5719:5;5692:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5669:8;:20;5678:10;5669:20;;;;;;;;;;;;;;;:56;;;;5775:8;:12;5784:2;5775:12;;;;;;;;;;;;;;;;:17;;;;5793:5;5775:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5760:8;:12;5769:2;5760:12;;;;;;;;;;;;;;;:39;;;;5842:2;5821:31;;5830:10;5821:31;;;5846:5;5821:31;;;;;;;;;;;;;;;;;;5565:299;5881:4;5874:11;;5477:416;;;;:::o;1382:38::-;;;;;;;;;;;;;;;;;;;:::o;1427:51::-;;;;;;;;;;;;;;;;;;;:::o;3658:645::-;3703:22;3728:15;:19;3744:2;3728:19;;;;;;;;;;;3703:44;;3813:15;3803:6;3782:1;:18;;;:27;3766:1;:12;;;:44;:62;3758:115;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3892:1;:8;;;;;;;;;;;;3884:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3958:5;3947:1;:8;;;:16;;;;;;;;;;;;;;;;;;4073:8;:17;4082:1;:7;;;;;;;;;;;;4073:17;;;;;;;;;;;;;;;;:22;;;;4096:1;:8;;;4073:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4053:8;:17;4062:1;:7;;;;;;;;;;;;4053:17;;;;;;;;;;;;;;;:52;;;;4142:8;:23;4159:4;4142:23;;;;;;;;;;;;;;;;:29;;;;4172:1;:8;;;4142:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4116:8;:23;4133:4;4116:23;;;;;;;;;;;;;;;:65;;;;4221:10;4197:45;;4214:4;4197:45;;;4233:1;:8;;;4197:45;;;;;;;;;;;;;;;;;;4273:1;:7;;;;;;;;;;;;4258:37;;;4282:1;:8;;;4292:2;4258:37;;;;;;;;;;;;;;;;;;;;;;;;3658:645;;:::o;7102:272::-;7173:12;7229:7;:19;7237:10;7229:19;;;;;;;;;;;;;;;:28;7249:7;7229:28;;;;;;;;;;;;;;;;:33;;;;7263:5;7229:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7198:7;:19;7206:10;7198:19;;;;;;;;;;;;;;;:28;7218:7;7198:28;;;;;;;;;;;;;;;:71;;;;7285:59;7294:10;7306:7;7315;:19;7323:10;7315:19;;;;;;;;;;;;;;;:28;7335:7;7315:28;;;;;;;;;;;;;;;;7285:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7362:4;7355:11;;7102:272;;;;:::o;8074:137::-;8146:14;8180:7;:14;8188:5;8180:14;;;;;;;;;;;;;;;:23;8195:7;8180:23;;;;;;;;;;;;;;;;8173:30;;8074:137;;;;:::o

ipfs://bef49185f691c40a103800aeab28ff9302cb2793bd58e4df93a04c8a4935a1cf