Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMathLib    - function times(uint a, uint b)    - function minus(uint a, uint b)    - function plus(uint a, uint b)  contract Token *    - function setBank(address newBank)    - function freeze(uint amount, uint fre ...    - function unFreeze(uint id)    - function burn(uint amount)    - function mint(address recipient, uint ...    - function burnFor(address burned, uint ...    - function transfer(address to, uint va ...    - function transferFrom(address from, a ...    - function balanceOf(address owner)    - function approve(address spender, uin ...    - function increaseApproval(address spe ...    - function decreaseApproval(address spe ...    - function allowance(address owner, add ...    - function numCoinsFrozen()

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-11-15
*/

// 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 Token {
    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 = 1e9 * 1 ether;
        balances[bank] = totalInitialBalance;
        totalSupply = totalInitialBalance;
        emit Transfer(address(0), bank, totalInitialBalance);
    }

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

    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 {
        uint totalAmount = amount * 1 ether;
        balances[recipient] = balances[recipient].plus(totalAmount);
        totalSupply = totalSupply.plus(totalAmount);
        emit Transfer(address(0), recipient, totalAmount);
        emit TokensMinted(recipient, totalAmount);
    }

    // burn tokens for someone else, subject to approval
    function burnFor(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)) {
            burnFor(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":[{"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":"burnFor","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":[{"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"}]

608060405234801561001057600080fd5b5060405162002f4538038062002f458339818101604052602081101561003557600080fd5b810190808051906020019092919050505080600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff16600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610130576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018062002f216024913960400191505060405180910390fd5b60006b033b2e3c9fd0803ce8000000905080600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555080600381905550600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050612cda80620002476000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c806342966c68116100ad57806395d89b411161007157806395d89b41146105ac578063a9059cbb1461062f578063d302b0dc14610693578063d73dd623146106c1578063dd62ed3e146107255761012c565b806342966c6814610470578063661884631461049e57806370a082311461050257806376cdb03b1461055a57806386e77c821461058e5761012c565b806323b872dd116100f457806323b872dd146102c8578063313ce5671461034c57806335d7a0521461036d57806340c10f19146103a557806340ce0b68146103f35761012c565b806306fdde0314610131578063090d23b9146101b4578063095ea7b3146101f857806318160ddd1461025c5780631dd319cb1461027a575b600080fd5b61013961079d565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561017957808201518184015260208101905061015e565b50505050905090810190601f1680156101a65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101f6600480360360208110156101ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506107d6565b005b6102446004803603604081101561020e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610970565b60405180821515815260200191505060405180910390f35b610264610a70565b6040518082815260200191505060405180910390f35b6102c66004803603604081101561029057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a76565b005b610334600480360360608110156102de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e7b565b60405180821515815260200191505060405180910390f35b6103546112ef565b604051808260ff16815260200191505060405180910390f35b6103a36004803603604081101561038357600080fd5b8101908080359060200190929190803590602001909291905050506112f4565b005b6103f1600480360360408110156103bb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117e7565b005b61041f6004803603602081101561040957600080fd5b8101908080359060200190929190505050611b29565b6040518087815260200186815260200185815260200184815260200183151581526020018273ffffffffffffffffffffffffffffffffffffffff168152602001965050505050505060405180910390f35b61049c6004803603602081101561048657600080fd5b8101908080359060200190929190505050611b92565b005b6104ea600480360360408110156104b457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e00565b60405180821515815260200191505060405180910390f35b6105446004803603602081101561051857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061211f565b6040518082815260200191505060405180910390f35b610562612167565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61059661218d565b6040518082815260200191505060405180910390f35b6105b46121d3565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105f45780820151818401526020810190506105d9565b50505050905090810190601f1680156106215780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61067b6004803603604081101561064557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061220c565b60405180821515815260200191505060405180910390f35b6106bf600480360360208110156106a957600080fd5b81019080803590602001909291905050506124e8565b005b61070d600480360360408110156106d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061296a565b60405180821515815260200191505060405180910390f35b6107876004803603604081101561073b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612bf5565b6040518082815260200191505060405180910390f35b6040518060400160405280601281526020017f46696e616e63652e566f746520546f6b656e000000000000000000000000000081525081565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610899576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f4f6e6c792062616e6b2061646472657373206d61792063616c6c20746869730081525060200191505060405180910390fd5b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f6b13d0b6d0f96f25f42864a97c7a29b23b8b2ee5b36a253eabfb1eb7ffaae8578183604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a15050565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925338484604051808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060405180910390a16001905092915050565b60035481565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610b8e57600080fd5b505af4158015610ba2573d6000803e3d6000fd5b505050506040513d6020811015610bb857600080fd5b81019080805190602001909291905050506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550807382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610c6457600080fd5b505af4158015610c78573d6000803e3d6000fd5b505050506040513d6020811015610c8e57600080fd5b8101908080519060200190929190505050600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506003547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610d7a57600080fd5b505af4158015610d8e573d6000803e3d6000fd5b505050506040513d6020811015610da457600080fd5b8101908080519060200190929190505050600381905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a37ffd38818f5291bf0bb3a2a48aadc06ba8757865d1dabd804585338aab3009dcb68383604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a1505050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ec057610ebb8483610a76565b6112e4565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610fd857600080fd5b505af4158015610fec573d6000803e3d6000fd5b505050506040513d602081101561100257600080fd5b81019080805190602001909291905050506000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156110ec57600080fd5b505af4158015611100573d6000803e3d6000fd5b505050506040513d602081101561111657600080fd5b81019080805190602001909291905050506000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550807382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156111c257600080fd5b505af41580156111d6573d6000803e3d6000fd5b505050506040513d60208110156111ec57600080fd5b8101908080519060200190929190505050600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3505b600190509392505050565b601281565b6000821161136a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f43616e6e6f7420667265657a65203020746f6b656e730000000000000000000081525060200191505060405180910390fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561140157600080fd5b505af4158015611415573d6000803e3d6000fd5b505050506040513d602081101561142b57600080fd5b81019080805190602001909291905050506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561151557600080fd5b505af4158015611529573d6000803e3d6000fd5b505050506040513d602081101561153f57600080fd5b81019080805190602001909291905050506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506004547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f909160016040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156115ee57600080fd5b505af4158015611602573d6000803e3d6000fd5b505050506040513d602081101561161857600080fd5b81019080805190602001909291905050506004819055506040518060c0016040528060045481526020014281526020018281526020018381526020016001151581526020013373ffffffffffffffffffffffffffffffffffffffff168152506002600060045481526020019081526020016000206000820151816000015560208201518160010155604082015181600201556060820151816003015560808201518160040160006101000a81548160ff02191690831515021790555060a08201518160040160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055509050503073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a33373ffffffffffffffffffffffffffffffffffffffff167f2502d3f329c4eb284d29033ab5c33f072138cd7baae647a85c1a784e4b24c779836004548460405180848152602001838152602001828152602001935050505060405180910390a25050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146118aa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f4f6e6c792062616e6b2061646472657373206d61792063616c6c20746869730081525060200191505060405180910390fd5b6000670de0b6b3a7640000820290506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561195057600080fd5b505af4158015611964573d6000803e3d6000fd5b505050506040513d602081101561197a57600080fd5b81019080805190602001909291905050506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506003547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611a2857600080fd5b505af4158015611a3c573d6000803e3d6000fd5b505050506040513d6020811015611a5257600080fd5b81019080805190602001909291905050506003819055508273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a37f3f2c9d57c068687834f0de942a9babb9e5acab57d516d3480a3c16ee165a42738382604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a1505050565b60026020528060005260406000206000915090508060000154908060010154908060020154908060030154908060040160009054906101000a900460ff16908060040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905086565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611c2957600080fd5b505af4158015611c3d573d6000803e3d6000fd5b505050506040513d6020811015611c5357600080fd5b81019080805190602001909291905050506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506003547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611d0157600080fd5b505af4158015611d15573d6000803e3d6000fd5b505050506040513d6020811015611d2b57600080fd5b8101908080519060200190929190505050600381905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a37ffd38818f5291bf0bb3a2a48aadc06ba8757865d1dabd804585338aab3009dcb63382604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a150565b600080600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808310611f10576000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612025565b807382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611f6957600080fd5b505af4158015611f7d573d6000803e3d6000fd5b505050506040513d6020811015611f9357600080fd5b8101908080519060200190929190505050600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b7f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9253385600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060405180910390a1600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905090565b6040518060400160405280600381526020017f465654000000000000000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156122505761224b82611b92565b6124de565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156122e757600080fd5b505af41580156122fb573d6000803e3d6000fd5b505050506040513d602081101561231157600080fd5b81019080805190602001909291905050506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156123fb57600080fd5b505af415801561240f573d6000803e3d6000fd5b505050506040513d602081101561242557600080fd5b81019080805190602001909291905050506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a35b6001905092915050565b6000600260008381526020019081526020016000209050426201518082600201540282600101540110612566576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180612c7d6028913960400191505060405180910390fd5b8060040160009054906101000a900460ff166125ea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f43616e206f6e6c7920756e667265657a652066726f7a656e20746f6b656e730081525060200191505060405180910390fd5b60008160040160006101000a81548160ff0219169083151502179055506000808260040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f909183600301546040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156126c657600080fd5b505af41580156126da573d6000803e3d6000fd5b505050506040513d60208110156126f057600080fd5b81019080805190602001909291905050506000808360040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc1909183600301546040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561280257600080fd5b505af4158015612816573d6000803e3d6000fd5b505050506040513d602081101561282c57600080fd5b81019080805190602001909291905050506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83600301546040518082815260200191505060405180910390a38060040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f52281bdae4847001e3dc97f408c43fa2f8b5c4438279806255fc5ee00fc5195b826003015484604051808381526020018281526020019250505060405180910390a25050565b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015612a4157600080fd5b505af4158015612a55573d6000803e3d6000fd5b505050506040513d6020811015612a6b57600080fd5b8101908080519060200190929190505050600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9253384600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060405180910390a16001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490509291505056fe4d6179206e6f7420756e667265657a6520756e74696c20667265657a652074696d65206973207570a26469706673582212203573af1c32457c378cdfcac059ed90c10d203b158c462032f571020d5bebb16f64736f6c634300070400334d75737420696e697469616c697a652077697468206e6f6e7a65726f2061646472657373000000000000000000000000288fe43139741f91a8cbb6f4add83811c794851b

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c806342966c68116100ad57806395d89b411161007157806395d89b41146105ac578063a9059cbb1461062f578063d302b0dc14610693578063d73dd623146106c1578063dd62ed3e146107255761012c565b806342966c6814610470578063661884631461049e57806370a082311461050257806376cdb03b1461055a57806386e77c821461058e5761012c565b806323b872dd116100f457806323b872dd146102c8578063313ce5671461034c57806335d7a0521461036d57806340c10f19146103a557806340ce0b68146103f35761012c565b806306fdde0314610131578063090d23b9146101b4578063095ea7b3146101f857806318160ddd1461025c5780631dd319cb1461027a575b600080fd5b61013961079d565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561017957808201518184015260208101905061015e565b50505050905090810190601f1680156101a65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101f6600480360360208110156101ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506107d6565b005b6102446004803603604081101561020e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610970565b60405180821515815260200191505060405180910390f35b610264610a70565b6040518082815260200191505060405180910390f35b6102c66004803603604081101561029057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a76565b005b610334600480360360608110156102de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e7b565b60405180821515815260200191505060405180910390f35b6103546112ef565b604051808260ff16815260200191505060405180910390f35b6103a36004803603604081101561038357600080fd5b8101908080359060200190929190803590602001909291905050506112f4565b005b6103f1600480360360408110156103bb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506117e7565b005b61041f6004803603602081101561040957600080fd5b8101908080359060200190929190505050611b29565b6040518087815260200186815260200185815260200184815260200183151581526020018273ffffffffffffffffffffffffffffffffffffffff168152602001965050505050505060405180910390f35b61049c6004803603602081101561048657600080fd5b8101908080359060200190929190505050611b92565b005b6104ea600480360360408110156104b457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611e00565b60405180821515815260200191505060405180910390f35b6105446004803603602081101561051857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061211f565b6040518082815260200191505060405180910390f35b610562612167565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61059661218d565b6040518082815260200191505060405180910390f35b6105b46121d3565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105f45780820151818401526020810190506105d9565b50505050905090810190601f1680156106215780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61067b6004803603604081101561064557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061220c565b60405180821515815260200191505060405180910390f35b6106bf600480360360208110156106a957600080fd5b81019080803590602001909291905050506124e8565b005b61070d600480360360408110156106d757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061296a565b60405180821515815260200191505060405180910390f35b6107876004803603604081101561073b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612bf5565b6040518082815260200191505060405180910390f35b6040518060400160405280601281526020017f46696e616e63652e566f746520546f6b656e000000000000000000000000000081525081565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610899576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f4f6e6c792062616e6b2061646472657373206d61792063616c6c20746869730081525060200191505060405180910390fd5b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f6b13d0b6d0f96f25f42864a97c7a29b23b8b2ee5b36a253eabfb1eb7ffaae8578183604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a15050565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925338484604051808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060405180910390a16001905092915050565b60035481565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610b8e57600080fd5b505af4158015610ba2573d6000803e3d6000fd5b505050506040513d6020811015610bb857600080fd5b81019080805190602001909291905050506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550807382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610c6457600080fd5b505af4158015610c78573d6000803e3d6000fd5b505050506040513d6020811015610c8e57600080fd5b8101908080519060200190929190505050600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506003547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610d7a57600080fd5b505af4158015610d8e573d6000803e3d6000fd5b505050506040513d6020811015610da457600080fd5b8101908080519060200190929190505050600381905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a37ffd38818f5291bf0bb3a2a48aadc06ba8757865d1dabd804585338aab3009dcb68383604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a1505050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610ec057610ebb8483610a76565b6112e4565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015610fd857600080fd5b505af4158015610fec573d6000803e3d6000fd5b505050506040513d602081101561100257600080fd5b81019080805190602001909291905050506000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156110ec57600080fd5b505af4158015611100573d6000803e3d6000fd5b505050506040513d602081101561111657600080fd5b81019080805190602001909291905050506000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550807382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156111c257600080fd5b505af41580156111d6573d6000803e3d6000fd5b505050506040513d60208110156111ec57600080fd5b8101908080519060200190929190505050600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3505b600190509392505050565b601281565b6000821161136a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f43616e6e6f7420667265657a65203020746f6b656e730000000000000000000081525060200191505060405180910390fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561140157600080fd5b505af4158015611415573d6000803e3d6000fd5b505050506040513d602081101561142b57600080fd5b81019080805190602001909291905050506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561151557600080fd5b505af4158015611529573d6000803e3d6000fd5b505050506040513d602081101561153f57600080fd5b81019080805190602001909291905050506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506004547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f909160016040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156115ee57600080fd5b505af4158015611602573d6000803e3d6000fd5b505050506040513d602081101561161857600080fd5b81019080805190602001909291905050506004819055506040518060c0016040528060045481526020014281526020018281526020018381526020016001151581526020013373ffffffffffffffffffffffffffffffffffffffff168152506002600060045481526020019081526020016000206000820151816000015560208201518160010155604082015181600201556060820151816003015560808201518160040160006101000a81548160ff02191690831515021790555060a08201518160040160016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055509050503073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a33373ffffffffffffffffffffffffffffffffffffffff167f2502d3f329c4eb284d29033ab5c33f072138cd7baae647a85c1a784e4b24c779836004548460405180848152602001838152602001828152602001935050505060405180910390a25050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146118aa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f4f6e6c792062616e6b2061646472657373206d61792063616c6c20746869730081525060200191505060405180910390fd5b6000670de0b6b3a7640000820290506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561195057600080fd5b505af4158015611964573d6000803e3d6000fd5b505050506040513d602081101561197a57600080fd5b81019080805190602001909291905050506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506003547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611a2857600080fd5b505af4158015611a3c573d6000803e3d6000fd5b505050506040513d6020811015611a5257600080fd5b81019080805190602001909291905050506003819055508273ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a37f3f2c9d57c068687834f0de942a9babb9e5acab57d516d3480a3c16ee165a42738382604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a1505050565b60026020528060005260406000206000915090508060000154908060010154908060020154908060030154908060040160009054906101000a900460ff16908060040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905086565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611c2957600080fd5b505af4158015611c3d573d6000803e3d6000fd5b505050506040513d6020811015611c5357600080fd5b81019080805190602001909291905050506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506003547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091836040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611d0157600080fd5b505af4158015611d15573d6000803e3d6000fd5b505050506040513d6020811015611d2b57600080fd5b8101908080519060200190929190505050600381905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a37ffd38818f5291bf0bb3a2a48aadc06ba8757865d1dabd804585338aab3009dcb63382604051808373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019250505060405180910390a150565b600080600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808310611f10576000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612025565b807382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091856040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015611f6957600080fd5b505af4158015611f7d573d6000803e3d6000fd5b505050506040513d6020811015611f9357600080fd5b8101908080519060200190929190505050600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b7f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9253385600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060405180910390a1600191505092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905090565b6040518060400160405280600381526020017f465654000000000000000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156122505761224b82611b92565b6124de565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc19091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156122e757600080fd5b505af41580156122fb573d6000803e3d6000fd5b505050506040513d602081101561231157600080fd5b81019080805190602001909291905050506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156123fb57600080fd5b505af415801561240f573d6000803e3d6000fd5b505050506040513d602081101561242557600080fd5b81019080805190602001909291905050506000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a35b6001905092915050565b6000600260008381526020019081526020016000209050426201518082600201540282600101540110612566576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526028815260200180612c7d6028913960400191505060405180910390fd5b8060040160009054906101000a900460ff166125ea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f43616e206f6e6c7920756e667265657a652066726f7a656e20746f6b656e730081525060200191505060405180910390fd5b60008160040160006101000a81548160ff0219169083151502179055506000808260040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f909183600301546040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b1580156126c657600080fd5b505af41580156126da573d6000803e3d6000fd5b505050506040513d60208110156126f057600080fd5b81019080805190602001909291905050506000808360040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de71850063f4f3bdc1909183600301546040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b15801561280257600080fd5b505af4158015612816573d6000803e3d6000fd5b505050506040513d602081101561282c57600080fd5b81019080805190602001909291905050506000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83600301546040518082815260200191505060405180910390a38060040160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f52281bdae4847001e3dc97f408c43fa2f8b5c4438279806255fc5ee00fc5195b826003015484604051808381526020018281526020019250505060405180910390a25050565b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020547382d7630c5eb722557de6d76575c9a7b8de7185006366098d4f9091846040518363ffffffff1660e01b8152600401808381526020018281526020019250505060206040518083038186803b158015612a4157600080fd5b505af4158015612a55573d6000803e3d6000fd5b505050506040513d6020811015612a6b57600080fd5b8101908080519060200190929190505050600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9253384600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff168152602001828152602001935050505060405180910390a16001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490509291505056fe4d6179206e6f7420756e667265657a6520756e74696c20667265657a652074696d65206973207570a26469706673582212203573af1c32457c378cdfcac059ed90c10d203b158c462032f571020d5bebb16f64736f6c63430007040033

000000000000000000000000288fe43139741f91a8cbb6f4add83811c794851b

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

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000288fe43139741f91a8cbb6f4add83811c794851b

SafeMathLib : 0x82d7630c5eb722557de6d76575c9a7b8de718500

552:7296:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1352:50;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2221:161;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6326:205;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;1409:23;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4516:456;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5488:600;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;1266:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2441:646;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4098:352;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;711:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3826:264;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6997:523;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;6136:110;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1467:19;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;7745:102;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1308:37;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5004:416;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3126:645;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6628:272;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;7600:137;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1352:50;;;;;;;;;;;;;;;;;;;:::o;2221:161::-;2153:4;;;;;;;;;;;2139:18;;:10;:18;;;2130:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2282:15:::1;2300:4;;;;;;;;;;;2282:22;;2322:7;2315:4;;:14;;;;;;;;;;;;;;;;;;2345:29;2357:7;2366;2345:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;2204:1;2221:161:::0;:::o;6326:205::-;6388:12;6444:5;6413:7;:19;6421:10;6413:19;;;;;;;;;;;;;;;:28;6433:7;6413:28;;;;;;;;;;;;;;;:36;;;;6465;6474:10;6486:7;6495:5;6465:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6519:4;6512:11;;6326:205;;;;:::o;1409:23::-;;;;:::o;4516:456::-;4580:21;4604:7;:15;4612:6;4604:15;;;;;;;;;;;;;;;:27;4620:10;4604:27;;;;;;;;;;;;;;;;4580:51;;4682:8;:16;4691:6;4682:16;;;;;;;;;;;;;;;;:22;;;;4705:6;4682:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4663:8;:16;4672:6;4663:16;;;;;;;;;;;;;;;:49;;;;4784:16;:22;;;;4807:6;4784:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4754:7;:15;4762:6;4754:15;;;;;;;;;;;;;;;:27;4770:10;4754:27;;;;;;;;;;;;;;;:60;;;;4841:11;;:17;;;;4859:6;4841:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4827:11;:39;;;;4909:1;4884:36;;4893:6;4884:36;;;4913:6;4884:36;;;;;;;;;;;;;;;;;;4936:28;4949:6;4957;4936:28;;;;;;;;;;;;;;;;;;;;;;;;;;4516:456;;;:::o;5488:600::-;5564:12;5612:1;5598:16;;:2;:16;;;5594:465;;;5631:20;5639:4;5645:5;5631:7;:20::i;:::-;5594:465;;;5684:21;5708:7;:13;5716:4;5708:13;;;;;;;;;;;;;;;:25;5722:10;5708:25;;;;;;;;;;;;;;;;5684:49;;5790:8;:14;5799:4;5790:14;;;;;;;;;;;;;;;;:20;;;;5811:5;5790:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5773:8;:14;5782:4;5773:14;;;;;;;;;;;;;;;:44;;;;5869:8;:12;5878:2;5869:12;;;;;;;;;;;;;;;;:17;;;;5887:5;5869:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5854:8;:12;5863:2;5854:12;;;;;;;;;;;;;;;:39;;;;5971:16;:22;;;;5994:5;5971:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5943:7;:13;5951:4;5943:13;;;;;;;;;;;;;;;:25;5957:10;5943:25;;;;;;;;;;;;;;;:57;;;;6037:2;6022:25;;6031:4;6022:25;;;6041:5;6022:25;;;;;;;;;;;;;;;;;;5594:465;;6076:4;6069:11;;5488:600;;;;;:::o;1266:35::-;1299:2;1266:35;:::o;2441:646::-;2522:1;2513:6;:10;2505:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2649:8;:20;2658:10;2649:20;;;;;;;;;;;;;;;;:26;;;;2676:6;2649:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2626:8;:20;2635:10;2626:20;;;;;;;;;;;;;;;:57;;;;2720:8;:23;2737:4;2720:23;;;;;;;;;;;;;;;;:28;;;;2749:6;2720:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2694:8;:23;2711:4;2694:23;;;;;;;;;;;;;;;:62;;;;2786:16;;:21;;;;2808:1;2786:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2767:16;:43;;;;2857:85;;;;;;;;2870:16;;2857:85;;;;2888:15;2857:85;;;;2905:10;2857:85;;;;2917:6;2857:85;;;;2925:4;2857:85;;;;;;2931:10;2857:85;;;;;2821:15;:33;2837:16;;2821:33;;;;;;;;;;;:121;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2987:4;2958:43;;2967:10;2958:43;;;2994:6;2958:43;;;;;;;;;;;;;;;;;;3030:10;3017:62;;;3042:6;3050:16;;3068:10;3017:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2441:646;;:::o;4098:352::-;2153:4;;;;;;;;;;;2139:18;;:10;:18;;;2130:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4171:16:::1;4199:7;4190:6;:16;4171:35;;4239:8;:19:::0;4248:9:::1;4239:19;;;;;;;;;;;;;;;;:24;;;;4264:11;4239:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;4217:8;:19:::0;4226:9:::1;4217:19;;;;;;;;;;;;;;;:59;;;;4301:11;;:16;;;;4318:11;4301:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;4287:11;:43;;;;4367:9;4346:44;;4363:1;4346:44;;;4378:11;4346:44;;;;;;;;;;;;;;;;;;4406:36;4419:9;4430:11;4406:36;;;;;;;;;;;;;;;;;;;;;;;;;;2204:1;4098:352:::0;;:::o;711:53::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3826:264::-;3894:8;:20;3903:10;3894:20;;;;;;;;;;;;;;;;:26;;;;3921:6;3894:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3871:8;:20;3880:10;3871:20;;;;;;;;;;;;;;;:57;;;;3953:11;;:17;;;;3971:6;3953:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3939:11;:39;;;;4023:1;3994:40;;4003:10;3994:40;;;4027:6;3994:40;;;;;;;;;;;;;;;;;;4050:32;4063:10;4075:6;4050:32;;;;;;;;;;;;;;;;;;;;;;;;;;3826:264;:::o;6997:523::-;7076:12;7101:13;7117:7;:19;7125:10;7117:19;;;;;;;;;;;;;;;:28;7137:7;7117:28;;;;;;;;;;;;;;;;7101:44;;7254:8;7237:13;:25;7233:183;;7310:1;7279:7;:19;7287:10;7279:19;;;;;;;;;;;;;;;:28;7299:7;7279:28;;;;;;;;;;;;;;;:32;;;;7233:183;;;7375:8;:14;;;;7390:13;7375:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7344:7;:19;7352:10;7344:19;;;;;;;;;;;;;;;:28;7364:7;7344:28;;;;;;;;;;;;;;;:60;;;;7233:183;7431:59;7440:10;7452:7;7461;:19;7469:10;7461:19;;;;;;;;;;;;;;;:28;7481:7;7461:28;;;;;;;;;;;;;;;;7431:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7508:4;7501:11;;;6997:523;;;;:::o;6136:110::-;6191:12;6223:8;:15;6232:5;6223:15;;;;;;;;;;;;;;;;6216:22;;6136:110;;;:::o;1467:19::-;;;;;;;;;;;;;:::o;7745:102::-;7792:4;7816:8;:23;7833:4;7816:23;;;;;;;;;;;;;;;;7809:30;;7745:102;:::o;1308:37::-;;;;;;;;;;;;;;;;;;;:::o;5004:416::-;5062:12;5110:1;5096:16;;:2;:16;;;5092:299;;;5129:11;5134:5;5129:4;:11::i;:::-;5092:299;;;5219:8;:20;5228:10;5219:20;;;;;;;;;;;;;;;;:26;;;;5246:5;5219:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5196:8;:20;5205:10;5196:20;;;;;;;;;;;;;;;:56;;;;5302:8;:12;5311:2;5302:12;;;;;;;;;;;;;;;;:17;;;;5320:5;5302:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5287:8;:12;5296:2;5287:12;;;;;;;;;;;;;;;:39;;;;5369:2;5348:31;;5357:10;5348:31;;;5373:5;5348:31;;;;;;;;;;;;;;;;;;5092:299;5408:4;5401:11;;5004:416;;;;:::o;3126:645::-;3171:22;3196:15;:19;3212:2;3196:19;;;;;;;;;;;3171:44;;3281:15;3271:6;3250:1;:18;;;:27;3234:1;:12;;;:44;:62;3226:115;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3360:1;:8;;;;;;;;;;;;3352:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3426:5;3415:1;:8;;;:16;;;;;;;;;;;;;;;;;;3541:8;:17;3550:1;:7;;;;;;;;;;;;3541:17;;;;;;;;;;;;;;;;:22;;;;3564:1;:8;;;3541:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3521:8;:17;3530:1;:7;;;;;;;;;;;;3521:17;;;;;;;;;;;;;;;:52;;;;3610:8;:23;3627:4;3610:23;;;;;;;;;;;;;;;;:29;;;;3640:1;:8;;;3610:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3584:8;:23;3601:4;3584:23;;;;;;;;;;;;;;;:65;;;;3689:10;3665:45;;3682:4;3665:45;;;3701:1;:8;;;3665:45;;;;;;;;;;;;;;;;;;3741:1;:7;;;;;;;;;;;;3726:37;;;3750:1;:8;;;3760:2;3726:37;;;;;;;;;;;;;;;;;;;;;;;;3126:645;;:::o;6628:272::-;6699:12;6755:7;:19;6763:10;6755:19;;;;;;;;;;;;;;;:28;6775:7;6755:28;;;;;;;;;;;;;;;;:33;;;;6789:5;6755:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6724:7;:19;6732:10;6724:19;;;;;;;;;;;;;;;:28;6744:7;6724:28;;;;;;;;;;;;;;;:71;;;;6811:59;6820:10;6832:7;6841;:19;6849:10;6841:19;;;;;;;;;;;;;;;:28;6861:7;6841:28;;;;;;;;;;;;;;;;6811:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6888:4;6881:11;;6628:272;;;;:::o;7600:137::-;7672:14;7706:7;:14;7714:5;7706:14;;;;;;;;;;;;;;;:23;7721:7;7706:23;;;;;;;;;;;;;;;;7699:30;;7600:137;;;;:::o

ipfs://3573af1c32457c378cdfcac059ed90c10d203b158c462032f571020d5bebb16f