Contract

Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.6.8;

import './Initializable.sol';
import './SafeMath.sol';

import './IERC20.sol';

// Copied and slightly modified from https://github.com/aragon/aragon-network-token/blob/v2-v1.0.0/packages/v2/contracts/token.sol
// Lightweight token modelled after UNI-LP: https://github.com/Uniswap/uniswap-v2-core/blob/v1.0.1/contracts/UniswapV2ERC20.sol
// Adds:
//   - An exposed `mint()` with minting role
//   - An exposed `burn()`
//   - ERC-3009 (`transferWithAuthorization()`)
contract GovernToken is IERC20, Initializable {
    using SafeMath for uint256;

    // bytes32 private constant EIP712DOMAIN_HASH = keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)")
    bytes32 private constant EIP712DOMAIN_HASH = 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f;
    // bytes32 private constant VERSION_HASH = keccak256("1")
    bytes32 private constant VERSION_HASH = 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6;
    // bytes32 public constant PERMIT_TYPEHASH = keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    bytes32 public constant PERMIT_TYPEHASH = 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;
    // bytes32 public constant TRANSFER_WITH_AUTHORIZATION_TYPEHASH =
    //     keccak256("TransferWithAuthorization(address from,address to,uint256 value,uint256 validAfter,uint256 validBefore,bytes32 nonce)");
    bytes32 public constant TRANSFER_WITH_AUTHORIZATION_TYPEHASH = 0x7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a2267;

    string public name;
    string public symbol;
    uint8 public decimals;

    address public minter;
    uint256 override public totalSupply;
    mapping (address => uint256) override public balanceOf;
    mapping (address => mapping (address => uint256)) override public allowance;

    // ERC-2612, ERC-3009 state
    mapping (address => uint256) public nonces;
    mapping (address => mapping (bytes32 => bool)) public authorizationState;

    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event AuthorizationUsed(address indexed authorizer, bytes32 indexed nonce);
    event ChangeMinter(address indexed minter);

    modifier onlyMinter {
        require(msg.sender == minter, "token: not minter");
        _;
    }

    constructor(address _initialMinter, string memory _name, string memory _symbol, uint8 _decimals) public {
        initialize(_initialMinter, _name, _symbol, _decimals);
    }

    function initialize(address _initialMinter, string memory _name, string memory _symbol, uint8 _decimals) public onlyInit("token") {
        _changeMinter(_initialMinter);
        name = _name;
        symbol = _symbol;
        decimals = _decimals;
    }

    function _validateSignedData(address signer, bytes32 encodeData, uint8 v, bytes32 r, bytes32 s) internal view {
        bytes32 digest = keccak256(
            abi.encodePacked(
                "\x19\x01",
                getDomainSeparator(),
                encodeData
            )
        );
        address recoveredAddress = ecrecover(digest, v, r, s);
        // Explicitly disallow authorizations for address(0) as ecrecover returns address(0) on malformed messages
        require(recoveredAddress != address(0) && recoveredAddress == signer, "token: bad sig");
    }

    function _changeMinter(address newMinter) internal {
        minter = newMinter;
        emit ChangeMinter(newMinter);
    }

    function _mint(address to, uint256 value) internal {
        totalSupply = totalSupply.add(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(address(0), to, value);
    }

    function _burn(address from, uint value) internal {
        // Balance is implicitly checked with SafeMath's underflow protection
        balanceOf[from] = balanceOf[from].sub(value);
        totalSupply = totalSupply.sub(value);
        emit Transfer(from, address(0), value);
    }

    function _approve(address owner, address spender, uint256 value) private {
        allowance[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function _transfer(address from, address to, uint256 value) private {
        require(to != address(this) && to != address(0), "token: bad to");

        // Balance is implicitly checked with SafeMath's underflow protection
        balanceOf[from] = balanceOf[from].sub(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(from, to, value);
    }

    function getChainId() public pure returns (uint256 chainId) {
        assembly { chainId := chainid() }
    }

    function getDomainSeparator() public view returns (bytes32) {
        return keccak256(
            abi.encode(
                EIP712DOMAIN_HASH,
                keccak256(abi.encodePacked(name)),
                VERSION_HASH,
                getChainId(),
                address(this)
            )
        );
    }

    function mint(address to, uint256 value) external onlyMinter returns (bool) {
        _mint(to, value);
        return true;
    }

    function changeMinter(address newMinter) external onlyMinter {
        _changeMinter(newMinter);
    }

    function burn(uint256 value) external returns (bool) {
        _burn(msg.sender, value);
        return true;
    }

    function approve(address spender, uint256 value) override external returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    function transfer(address to, uint256 value) override external returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    function transferFrom(address from, address to, uint256 value) override external returns (bool) {
        uint256 fromAllowance = allowance[from][msg.sender];
        if (fromAllowance != uint256(-1)) {
            // Allowance is implicitly checked with SafeMath's underflow protection
            allowance[from][msg.sender] = fromAllowance.sub(value);
        }
        _transfer(from, to, value);
        return true;
    }

    function permit(address owner, address spender, uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s) external {
        require(deadline >= block.timestamp, "token: auth expired");

        bytes32 encodeData = keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, value, nonces[owner]++, deadline));
        _validateSignedData(owner, encodeData, v, r, s);

        _approve(owner, spender, value);
    }

    function transferWithAuthorization(
        address from,
        address to,
        uint256 value,
        uint256 validAfter,
        uint256 validBefore,
        bytes32 nonce,
        uint8 v,
        bytes32 r,
        bytes32 s
    )
        external
    {
        require(block.timestamp > validAfter, "token: auth wait");
        require(block.timestamp < validBefore, "token: auth expired");
        require(!authorizationState[from][nonce],  "token: auth used");

        bytes32 encodeData = keccak256(abi.encode(TRANSFER_WITH_AUTHORIZATION_TYPEHASH, from, to, value, validAfter, validBefore, nonce));
        _validateSignedData(from, encodeData, v, r, s);

        authorizationState[from][nonce] = true;
        emit AuthorizationUsed(from, nonce);

        _transfer(from, to, value);
    }
}

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

pragma solidity ^0.6.8;

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
}

/*
 * SPDX-License-Identifier:    MIT
 */

pragma solidity 0.6.8;

contract Initializable {
    mapping (string => uint256) public initBlocks;

    event Initialized(string indexed key);

    modifier onlyInit(string memory key) {
        require(initBlocks[key] == 0, "initializable: already initialized");
        initBlocks[key] = block.number;
        _;
        emit Initialized(key);
    }
}

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

pragma solidity ^0.6.8;

// A library for performing overflow-safe math, courtesy of DappHub: https://github.com/dapphub/ds-math/blob/d0ef6d6a5f/src/math.sol
// Modified to include only the essentials
library SafeMath {
    function add(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require((z = x + y) >= x, "math: overflow");
    }

    function sub(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require((z = x - y) <= x, "math: underflow");
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_initialMinter","type":"address"},{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint8","name":"_decimals","type":"uint8"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"authorizer","type":"address"},{"indexed":true,"internalType":"bytes32","name":"nonce","type":"bytes32"}],"name":"AuthorizationUsed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"minter","type":"address"}],"name":"ChangeMinter","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"string","name":"key","type":"string"}],"name":"Initialized","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"TRANSFER_WITH_AUTHORIZATION_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","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":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"authorizationState","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newMinter","type":"address"}],"name":"changeMinter","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getChainId","outputs":[{"internalType":"uint256","name":"chainId","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getDomainSeparator","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"string","name":"","type":"string"}],"name":"initBlocks","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_initialMinter","type":"address"},{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint8","name":"_decimals","type":"uint8"}],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"mint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"minter","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","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":"","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":"","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"},{"internalType":"uint256","name":"validAfter","type":"uint256"},{"internalType":"uint256","name":"validBefore","type":"uint256"},{"internalType":"bytes32","name":"nonce","type":"bytes32"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"transferWithAuthorization","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b5060405162001fe738038062001fe7833981810160405260808110156200003757600080fd5b8151602083018051604051929492938301929190846401000000008211156200005f57600080fd5b9083019060208201858111156200007557600080fd5b82516401000000008111828201881017156200009057600080fd5b82525081516020918201929091019080838360005b83811015620000bf578181015183820152602001620000a5565b50505050905090810190601f168015620000ed5780820380516001836020036101000a031916815260200191505b50604052602001805160405193929190846401000000008211156200011157600080fd5b9083019060208201858111156200012757600080fd5b82516401000000008111828201881017156200014257600080fd5b82525081516020918201929091019080838360005b838110156200017157818101518382015260200162000157565b50505050905090810190601f1680156200019f5780820380516001836020036101000a031916815260200191505b50604052602001519150620001c29050848484846001600160e01b03620001cc16565b50505050620004be565b604051806040016040528060058152602001643a37b5b2b760d91b8152506000816040518082805190602001908083835b602083106200021e5780518252601f199092019160209182019101620001fd565b51815160209384036101000a60001901801990921691161790529201948552506040519384900301909220541591506200028c90505760405162461bcd60e51b815260040180806020018281038252602281526020018062001fc56022913960400191505060405180910390fd5b436000826040518082805190602001908083835b60208310620002c15780518252601f199092019160209182019101620002a0565b51815160209384036101000a600019018019909216911617905292019485525060405193849003019092209290925550620002fe905085620003c7565b83516200031390600190602087019062000419565b5082516200032990600290602086019062000419565b506003805460ff191660ff84161790556040518151829190819060208401908083835b602083106200036d5780518252601f1990920191602091820191016200034c565b5181516020939093036101000a60001901801990911692169190911790526040519201829003822093507f7bc2a48a4a566e237a12186f19d985b0f76afc9d5290601edac19876253670c292506000919050a25050505050565b60038054610100600160a81b0319166101006001600160a01b038416908102919091179091556040517fc87aeafc6e4ae6202adf4f08a76769119ae93cc129c0e0cbac08a118bc18e1ce90600090a250565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200045c57805160ff19168380011785556200048c565b828001600101855582156200048c579182015b828111156200048c5782518255916020019190600101906200046f565b506200049a9291506200049e565b5090565b620004bb91905b808211156200049a5760008155600101620004a5565b90565b611af780620004ce6000396000f3fe608060405234801561001057600080fd5b506004361061018d5760003560e01c806370a08231116100e3578063d505accf1161008c578063e94a010211610066578063e94a0102146105fd578063ed24911d14610636578063f6d2ee861461063e5761018d565b8063d505accf146104f8578063dd62ed3e14610556578063e3ee160e146105915761018d565b8063a0cc6a68116100bd578063a0cc6a6814610411578063a9059cbb14610419578063cc1d4cab146104525761018d565b806370a08231146103a35780637ecebe00146103d657806395d89b41146104095761018d565b80632c4d4d18116101455780633408e4701161011f5780633408e4701461034557806340c10f191461034d57806342966c68146103865761018d565b80632c4d4d18146102ea57806330adf81f1461031f578063313ce567146103275761018d565b8063095ea7b311610176578063095ea7b31461024057806318160ddd1461028d57806323b872dd146102a75761018d565b806306fdde0314610192578063075461721461020f575b600080fd5b61019a61078d565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101d45781810151838201526020016101bc565b50505050905090810190601f1680156102015780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610217610838565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6102796004803603604081101561025657600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610859565b604080519115158252519081900360200190f35b610295610870565b60408051918252519081900360200190f35b610279600480360360608110156102bd57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135610876565b61031d6004803603602081101561030057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610926565b005b6102956109bd565b61032f6109e1565b6040805160ff9092168252519081900360200190f35b6102956109ea565b6102796004803603604081101561036357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356109ee565b6102796004803603602081101561039c57600080fd5b5035610a86565b610295600480360360208110156103b957600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610a9a565b610295600480360360208110156103ec57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610aac565b61019a610abe565b610295610b34565b6102796004803603604081101561042f57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610b58565b6102956004803603602081101561046857600080fd5b81019060208101813564010000000081111561048357600080fd5b82018360208201111561049557600080fd5b803590602001918460018302840111640100000000831117156104b757600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610b65945050505050565b61031d600480360360e081101561050e57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135610b82565b6102956004803603604081101561056c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516610ca9565b61031d60048036036101208110156105a857600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060808101359060a08101359060ff60c0820135169060e0810135906101000135610cc6565b6102796004803603604081101561061357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610f6d565b610295610f8d565b61031d6004803603608081101561065457600080fd5b73ffffffffffffffffffffffffffffffffffffffff823516919081019060408101602082013564010000000081111561068c57600080fd5b82018360208201111561069e57600080fd5b803590602001918460018302840111640100000000831117156106c057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929594936020810193503591505064010000000081111561071357600080fd5b82018360208201111561072557600080fd5b8035906020019184600183028401116401000000008311171561074757600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295505050903560ff1691506110a19050565b60018054604080516020600284861615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156108305780601f1061080557610100808354040283529160200191610830565b820191906000526020600020905b81548152906001019060200180831161081357829003601f168201915b505050505081565b600354610100900473ffffffffffffffffffffffffffffffffffffffff1681565b6000610866338484611392565b5060015b92915050565b60045481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526006602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610910576108de818463ffffffff61140116565b73ffffffffffffffffffffffffffffffffffffffff861660009081526006602090815260408083203384529091529020555b61091b858585611473565b506001949350505050565b600354610100900473ffffffffffffffffffffffffffffffffffffffff1633146109b157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f746f6b656e3a206e6f74206d696e746572000000000000000000000000000000604482015290519081900360640190fd5b6109ba816115fa565b50565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b60035460ff1681565b4690565b600354600090610100900473ffffffffffffffffffffffffffffffffffffffff163314610a7c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f746f6b656e3a206e6f74206d696e746572000000000000000000000000000000604482015290519081900360640190fd5b6108668383611670565b6000610a923383611721565b506001919050565b60056020526000908152604090205481565b60076020526000908152604090205481565b600280546040805160206001841615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01909316849004601f810184900484028201840190925281815292918301828280156108305780601f1061080557610100808354040283529160200191610830565b7f7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a226781565b6000610866338484611473565b805160208183018101805160008252928201919093012091525481565b42841015610bf157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f746f6b656e3a2061757468206578706972656400000000000000000000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff80881660008181526007602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938a1660608401526080830189905260a083019390935260c08083018890528151808403909101815260e090920190528051910120610c9488828686866117e5565b610c9f888888611392565b5050505050505050565b600660209081526000928352604080842090915290825290205481565b854211610d3457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f746f6b656e3a2061757468207761697400000000000000000000000000000000604482015290519081900360640190fd5b844210610da257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f746f6b656e3a2061757468206578706972656400000000000000000000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff8916600090815260086020908152604080832087845290915290205460ff1615610e4257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f746f6b656e3a2061757468207573656400000000000000000000000000000000604482015290519081900360640190fd5b604080517f7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a226760208083019190915273ffffffffffffffffffffffffffffffffffffffff808d16838501528b166060830152608082018a905260a0820189905260c0820188905260e0808301889052835180840390910181526101009092019092528051910120610ed58a828686866117e5565b73ffffffffffffffffffffffffffffffffffffffff8a16600081815260086020908152604080832089845290915280822080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001179055518792917f98de503528ee59b575ef0c0a2576a82497bfc029a5685b209e9ec333479b10a591a3610f618a8a8a611473565b50505050505050505050565b600860209081526000928352604080842090915290825290205460ff1681565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60001b600160405160200180828054600181600116156101000203166002900480156110135780601f10610ff1576101008083540402835291820191611013565b820191906000526020600020905b815481529060010190602001808311610fff575b5050915050604051602081830303815290604052805190602001207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660001b61105a6109ea565b6040805160208082019690965280820194909452606084019290925260808301523060a0808401919091528151808403909101815260c09092019052805191012090505b90565b6040518060400160405280600581526020017f746f6b656e0000000000000000000000000000000000000000000000000000008152506000816040518082805190602001908083835b6020831061112757805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016110ea565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790529201948552506040519384900301909220541591506111cb9050576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180611aa06022913960400191505060405180910390fd5b436000826040518082805190602001908083835b6020831061121c57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016111df565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0180199092169116179052920194855250604051938490030190922092909255506112759050856115fa565b8351611288906001906020870190611a07565b50825161129c906002906020860190611a07565b50600380547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660ff84161790556040518151829190819060208401908083835b6020831061131a57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016112dd565b5181516020939093036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990911692169190911790526040519201829003822093507f7bc2a48a4a566e237a12186f19d985b0f76afc9d5290601edac19876253670c292506000919050a25050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260066020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b8082038281111561086a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f6d6174683a20756e646572666c6f770000000000000000000000000000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff821630148015906114ae575073ffffffffffffffffffffffffffffffffffffffff821615155b61151957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f746f6b656e3a2062616420746f00000000000000000000000000000000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff831660009081526005602052604090205461154f908263ffffffff61140116565b73ffffffffffffffffffffffffffffffffffffffff8085166000908152600560205260408082209390935590841681522054611591908263ffffffff61199516565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526005602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600380547fffffffffffffffffffffff0000000000000000000000000000000000000000ff1661010073ffffffffffffffffffffffffffffffffffffffff8416908102919091179091556040517fc87aeafc6e4ae6202adf4f08a76769119ae93cc129c0e0cbac08a118bc18e1ce90600090a250565b600454611683908263ffffffff61199516565b60045573ffffffffffffffffffffffffffffffffffffffff82166000908152600560205260409020546116bc908263ffffffff61199516565b73ffffffffffffffffffffffffffffffffffffffff831660008181526005602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260056020526040902054611757908263ffffffff61140116565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260056020526040902055600454611790908263ffffffff61140116565b60045560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b60006117ef610f8d565b8560405160200180807f190100000000000000000000000000000000000000000000000000000000000081525060020183815260200182815260200192505050604051602081830303815290604052805190602001209050600060018286868660405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa1580156118a6573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff81161580159061192157508673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b61198c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f746f6b656e3a2062616420736967000000000000000000000000000000000000604482015290519081900360640190fd5b50505050505050565b8082018281101561086a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f6d6174683a206f766572666c6f77000000000000000000000000000000000000604482015290519081900360640190fd5b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10611a4857805160ff1916838001178555611a75565b82800160010185558215611a75579182015b82811115611a75578251825591602001919060010190611a5a565b50611a81929150611a85565b5090565b61109e91905b80821115611a815760008155600101611a8b56fe696e697469616c697a61626c653a20616c726561647920696e697469616c697a6564a264697066735822122071b77ab3b08a882b4a4fc392c2cf029a7cc270852ac1e3fb75c9584565ad185564736f6c63430006080033696e697469616c697a61626c653a20616c726561647920696e697469616c697a6564000000000000000000000000bc0d9988ae5a755031b35415e80b49174791684c000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010476f7665726e546f6b656e20626173650000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034754420000000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b506004361061018d5760003560e01c806370a08231116100e3578063d505accf1161008c578063e94a010211610066578063e94a0102146105fd578063ed24911d14610636578063f6d2ee861461063e5761018d565b8063d505accf146104f8578063dd62ed3e14610556578063e3ee160e146105915761018d565b8063a0cc6a68116100bd578063a0cc6a6814610411578063a9059cbb14610419578063cc1d4cab146104525761018d565b806370a08231146103a35780637ecebe00146103d657806395d89b41146104095761018d565b80632c4d4d18116101455780633408e4701161011f5780633408e4701461034557806340c10f191461034d57806342966c68146103865761018d565b80632c4d4d18146102ea57806330adf81f1461031f578063313ce567146103275761018d565b8063095ea7b311610176578063095ea7b31461024057806318160ddd1461028d57806323b872dd146102a75761018d565b806306fdde0314610192578063075461721461020f575b600080fd5b61019a61078d565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101d45781810151838201526020016101bc565b50505050905090810190601f1680156102015780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610217610838565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6102796004803603604081101561025657600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610859565b604080519115158252519081900360200190f35b610295610870565b60408051918252519081900360200190f35b610279600480360360608110156102bd57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060400135610876565b61031d6004803603602081101561030057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610926565b005b6102956109bd565b61032f6109e1565b6040805160ff9092168252519081900360200190f35b6102956109ea565b6102796004803603604081101561036357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356109ee565b6102796004803603602081101561039c57600080fd5b5035610a86565b610295600480360360208110156103b957600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610a9a565b610295600480360360208110156103ec57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610aac565b61019a610abe565b610295610b34565b6102796004803603604081101561042f57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610b58565b6102956004803603602081101561046857600080fd5b81019060208101813564010000000081111561048357600080fd5b82018360208201111561049557600080fd5b803590602001918460018302840111640100000000831117156104b757600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610b65945050505050565b61031d600480360360e081101561050e57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135610b82565b6102956004803603604081101561056c57600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516610ca9565b61031d60048036036101208110156105a857600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060808101359060a08101359060ff60c0820135169060e0810135906101000135610cc6565b6102796004803603604081101561061357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610f6d565b610295610f8d565b61031d6004803603608081101561065457600080fd5b73ffffffffffffffffffffffffffffffffffffffff823516919081019060408101602082013564010000000081111561068c57600080fd5b82018360208201111561069e57600080fd5b803590602001918460018302840111640100000000831117156106c057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929594936020810193503591505064010000000081111561071357600080fd5b82018360208201111561072557600080fd5b8035906020019184600183028401116401000000008311171561074757600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295505050903560ff1691506110a19050565b60018054604080516020600284861615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0190941693909304601f810184900484028201840190925281815292918301828280156108305780601f1061080557610100808354040283529160200191610830565b820191906000526020600020905b81548152906001019060200180831161081357829003601f168201915b505050505081565b600354610100900473ffffffffffffffffffffffffffffffffffffffff1681565b6000610866338484611392565b5060015b92915050565b60045481565b73ffffffffffffffffffffffffffffffffffffffff831660009081526006602090815260408083203384529091528120547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8114610910576108de818463ffffffff61140116565b73ffffffffffffffffffffffffffffffffffffffff861660009081526006602090815260408083203384529091529020555b61091b858585611473565b506001949350505050565b600354610100900473ffffffffffffffffffffffffffffffffffffffff1633146109b157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f746f6b656e3a206e6f74206d696e746572000000000000000000000000000000604482015290519081900360640190fd5b6109ba816115fa565b50565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b60035460ff1681565b4690565b600354600090610100900473ffffffffffffffffffffffffffffffffffffffff163314610a7c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601160248201527f746f6b656e3a206e6f74206d696e746572000000000000000000000000000000604482015290519081900360640190fd5b6108668383611670565b6000610a923383611721565b506001919050565b60056020526000908152604090205481565b60076020526000908152604090205481565b600280546040805160206001841615610100027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01909316849004601f810184900484028201840190925281815292918301828280156108305780601f1061080557610100808354040283529160200191610830565b7f7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a226781565b6000610866338484611473565b805160208183018101805160008252928201919093012091525481565b42841015610bf157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f746f6b656e3a2061757468206578706972656400000000000000000000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff80881660008181526007602090815260409182902080546001810190915582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98184015280840194909452938a1660608401526080830189905260a083019390935260c08083018890528151808403909101815260e090920190528051910120610c9488828686866117e5565b610c9f888888611392565b5050505050505050565b600660209081526000928352604080842090915290825290205481565b854211610d3457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f746f6b656e3a2061757468207761697400000000000000000000000000000000604482015290519081900360640190fd5b844210610da257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601360248201527f746f6b656e3a2061757468206578706972656400000000000000000000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff8916600090815260086020908152604080832087845290915290205460ff1615610e4257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f746f6b656e3a2061757468207573656400000000000000000000000000000000604482015290519081900360640190fd5b604080517f7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a226760208083019190915273ffffffffffffffffffffffffffffffffffffffff808d16838501528b166060830152608082018a905260a0820189905260c0820188905260e0808301889052835180840390910181526101009092019092528051910120610ed58a828686866117e5565b73ffffffffffffffffffffffffffffffffffffffff8a16600081815260086020908152604080832089845290915280822080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001179055518792917f98de503528ee59b575ef0c0a2576a82497bfc029a5685b209e9ec333479b10a591a3610f618a8a8a611473565b50505050505050505050565b600860209081526000928352604080842090915290825290205460ff1681565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60001b600160405160200180828054600181600116156101000203166002900480156110135780601f10610ff1576101008083540402835291820191611013565b820191906000526020600020905b815481529060010190602001808311610fff575b5050915050604051602081830303815290604052805190602001207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660001b61105a6109ea565b6040805160208082019690965280820194909452606084019290925260808301523060a0808401919091528151808403909101815260c09092019052805191012090505b90565b6040518060400160405280600581526020017f746f6b656e0000000000000000000000000000000000000000000000000000008152506000816040518082805190602001908083835b6020831061112757805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016110ea565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990921691161790529201948552506040519384900301909220541591506111cb9050576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180611aa06022913960400191505060405180910390fd5b436000826040518082805190602001908083835b6020831061121c57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016111df565b51815160209384036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0180199092169116179052920194855250604051938490030190922092909255506112759050856115fa565b8351611288906001906020870190611a07565b50825161129c906002906020860190611a07565b50600380547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660ff84161790556040518151829190819060208401908083835b6020831061131a57805182527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191602091820191016112dd565b5181516020939093036101000a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01801990911692169190911790526040519201829003822093507f7bc2a48a4a566e237a12186f19d985b0f76afc9d5290601edac19876253670c292506000919050a25050505050565b73ffffffffffffffffffffffffffffffffffffffff808416600081815260066020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b8082038281111561086a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f6d6174683a20756e646572666c6f770000000000000000000000000000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff821630148015906114ae575073ffffffffffffffffffffffffffffffffffffffff821615155b61151957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f746f6b656e3a2062616420746f00000000000000000000000000000000000000604482015290519081900360640190fd5b73ffffffffffffffffffffffffffffffffffffffff831660009081526005602052604090205461154f908263ffffffff61140116565b73ffffffffffffffffffffffffffffffffffffffff8085166000908152600560205260408082209390935590841681522054611591908263ffffffff61199516565b73ffffffffffffffffffffffffffffffffffffffff80841660008181526005602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600380547fffffffffffffffffffffff0000000000000000000000000000000000000000ff1661010073ffffffffffffffffffffffffffffffffffffffff8416908102919091179091556040517fc87aeafc6e4ae6202adf4f08a76769119ae93cc129c0e0cbac08a118bc18e1ce90600090a250565b600454611683908263ffffffff61199516565b60045573ffffffffffffffffffffffffffffffffffffffff82166000908152600560205260409020546116bc908263ffffffff61199516565b73ffffffffffffffffffffffffffffffffffffffff831660008181526005602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b73ffffffffffffffffffffffffffffffffffffffff8216600090815260056020526040902054611757908263ffffffff61140116565b73ffffffffffffffffffffffffffffffffffffffff8316600090815260056020526040902055600454611790908263ffffffff61140116565b60045560408051828152905160009173ffffffffffffffffffffffffffffffffffffffff8516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b60006117ef610f8d565b8560405160200180807f190100000000000000000000000000000000000000000000000000000000000081525060020183815260200182815260200192505050604051602081830303815290604052805190602001209050600060018286868660405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa1580156118a6573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff81161580159061192157508673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b61198c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f746f6b656e3a2062616420736967000000000000000000000000000000000000604482015290519081900360640190fd5b50505050505050565b8082018281101561086a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f6d6174683a206f766572666c6f77000000000000000000000000000000000000604482015290519081900360640190fd5b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10611a4857805160ff1916838001178555611a75565b82800160010185558215611a75579182015b82811115611a75578251825591602001919060010190611a5a565b50611a81929150611a85565b5090565b61109e91905b80821115611a815760008155600101611a8b56fe696e697469616c697a61626c653a20616c726561647920696e697469616c697a6564a264697066735822122071b77ab3b08a882b4a4fc392c2cf029a7cc270852ac1e3fb75c9584565ad185564736f6c63430006080033

000000000000000000000000bc0d9988ae5a755031b35415e80b49174791684c000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010476f7665726e546f6b656e20626173650000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034754420000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _initialMinter (address): 0xBc0d9988Ae5A755031b35415e80b49174791684c
Arg [1] : _name (string): GovernToken base
Arg [2] : _symbol (string): GTB
Arg [3] : _decimals (uint8): 0

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 000000000000000000000000bc0d9988ae5a755031b35415e80b49174791684c
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000000
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000010
Arg [5] : 476f7665726e546f6b656e206261736500000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [7] : 4754420000000000000000000000000000000000000000000000000000000000

540:6957:0:-:0;;;;5:9:-1;2:2;;;27:1;24;17:12;2:2;540:6957:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12:1:-1;9;2:12;1673:18:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1673:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1751:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5518:156;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;5518:156:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;1778:35;;;:::i;:::-;;;;;;;;;;;;;;;;5834:427;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;5834:427:0;;;;;;;;;;;;;;;;;;:::i;5289:102::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;5289:102:0;;;;:::i;:::-;;1210:108;;;:::i;1723:21::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4714:109;;;:::i;5153:130::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;5153:130:0;;;;;;;;;:::i;5397:115::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;5397:115:0;;:::i;1819:54::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;1819:54:0;;;;:::i;1993:42::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;1993:42:0;;;;:::i;1697:20::-;;;:::i;1537:129::-;;;:::i;5680:148::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;5680:148:0;;;;;;;;;:::i;96:45:2:-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;96:45:2;;;;;;;;27:11:-1;11:28;;8:2;;;52:1;49;42:12;8:2;96:45:2;;41:9:-1;34:4;18:14;14:25;11:40;8:2;;;64:1;61;54:12;8:2;96:45:2;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;96:45:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;96:45:2;;-1:-1:-1;96:45:2;;-1:-1:-1;;;;;96:45:2:i;6267:416:0:-;;;;;;15:3:-1;10;7:12;4:2;;;32:1;29;22:12;4:2;-1:-1;6267:416:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;1879:75::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;1879:75:0;;;;;;;;;;;:::i;6689:806::-;;;;;;15:3:-1;10;7:12;4:2;;;32:1;29;22:12;4:2;-1:-1;6689:806:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;2041:72::-;;;;;;15:2:-1;10:3;7:11;4:2;;;31:1;28;21:12;4:2;-1:-1;2041:72:0;;;;;;;;;:::i;4829:318::-;;;:::i;2693:254::-;;;;;;15:3:-1;10;7:12;4:2;;;32:1;29;22:12;4:2;2693:254:0;;;;;;;;;;;;;;;;27:11:-1;11:28;;8:2;;;52:1;49;42:12;8:2;2693:254:0;;41:9:-1;34:4;18:14;14:25;11:40;8:2;;;64:1;61;54:12;8:2;2693:254:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;2693:254:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;2693:254:0;;;;;;;;-1:-1:-1;2693:254:0;;-1:-1:-1;;27:11;11:28;;8:2;;;52:1;49;42:12;8:2;2693:254:0;;41:9:-1;34:4;18:14;14:25;11:40;8:2;;;64:1;61;54:12;8:2;2693:254:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;2693:254:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;2693:254:0;;-1:-1:-1;;;2693:254:0;;;;;-1:-1:-1;2693:254:0;;-1:-1:-1;2693:254:0:i;1673:18::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1751:21::-;;;;;;;;;:::o;5518:156::-;5594:4;5610:36;5619:10;5631:7;5640:5;5610:8;:36::i;:::-;-1:-1:-1;5663:4:0;5518:156;;;;;:::o;1778:35::-;;;;:::o;5834:427::-;5964:15;;;5924:4;5964:15;;;:9;:15;;;;;;;;5980:10;5964:27;;;;;;;;6030:2;6005:28;;6001:197;;6163:24;:13;6181:5;6163:24;:17;:24;:::i;:::-;6133:15;;;;;;;:9;:15;;;;;;;;6149:10;6133:27;;;;;;;:54;6001:197;6207:26;6217:4;6223:2;6227:5;6207:9;:26::i;:::-;-1:-1:-1;6250:4:0;;5834:427;-1:-1:-1;;;;5834:427:0:o;5289:102::-;2461:6;;;;;;;2447:10;:20;2439:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5360:24:::1;5374:9;5360:13;:24::i;:::-;5289:102:::0;:::o;1210:108::-;1252:66;1210:108;:::o;1723:21::-;;;;;;:::o;4714:109::-;4806:9;;4793:24::o;5153:130::-;2461:6;;5223:4;;2461:6;;;;;2447:10;:20;2439:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5239:16:::1;5245:2;5249:5;5239;:16::i;5397:115::-:0;5444:4;5460:24;5466:10;5478:5;5460;:24::i;:::-;-1:-1:-1;5501:4:0;5397:115;;;:::o;1819:54::-;;;;;;;;;;;;;:::o;1993:42::-;;;;;;;;;;;;;:::o;1697:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1537:129;1600:66;1537:129;:::o;5680:148::-;5752:4;5768:32;5778:10;5790:2;5794:5;5768:9;:32::i;96:45:2:-;22:14:-1;;169:4;143:32;;;;;198:20;;96:45:2;224:31:-1;;156:18;;;283;;;;273:49;328:32;;96:45:2;;:::o;6267:416:0:-;6418:15;6406:8;:27;;6398:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6550:13;;;;6468:18;6550:13;;;:6;:13;;;;;;;;;:15;;;;;;;;6499:77;;1252:66;6499:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;6499:77:0;;;;;;6489:88;;;;;6587:47;6527:5;6489:88;6626:1;6629;6632;6587:19;:47::i;:::-;6645:31;6654:5;6661:7;6670:5;6645:8;:31::i;:::-;6267:416;;;;;;;;:::o;1879:75::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;6689:806::-;6987:10;6969:15;:28;6961:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7054:11;7036:15;:29;7028:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7108:24;;;;;;;:18;:24;;;;;;;;:31;;;;;;;;;;;7107:32;7099:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7203:97;;;1600:66;7203:97;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;7203:97:0;;;;;;;7193:108;;;;;7311:46;7252:4;7193:108;7349:1;7352;7355;7311:19;:46::i;:::-;7368:24;;;;;;;:18;:24;;;;;;;;:31;;;;;;;;;:38;;;;7402:4;7368:38;;;7421:30;7393:5;;7368:24;7421:30;;;7462:26;7472:4;7478:2;7482:5;7462:9;:26::i;:::-;6689:806;;;;;;;;;;:::o;2041:72::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4829:318::-;4880:7;818:66;4957:17;;5019:4;5002:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;5002:22:0;;;4992:33;;;;;;992:66;5043:12;;5073;:10;:12::i;:::-;4929:201;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5111:4;4929:201;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;4929:201:0;;;;;;4906:234;;;;;;-1:-1:-1;4829:318:0;;:::o;2693:254::-;192:203:2;;;;;;;;;;;;;;;;;247:10;258:3;247:15;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;246:30;;311:9;;295:26;;;340:21;;377:20;365:33;;247:15:2;;;;;-1:-1:-1;247:15:2;;;;;;;;;;;:20;;-1:-1:-1;239:67:2;;-1:-1:-1;239:67:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;334:12;316:10;327:3;316:15;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;246:30;;311:9;;295:26;;;340:21;;377:20;365:33;;316:15:2;;;;;-1:-1:-1;316:15:2;;;;;;;;;;:30;;;;-1:-1:-1;2833:29:0::1;::::0;-1:-1:-1;2847:14:0;2833:13:::1;:29::i;:::-;2872:12:::0;;::::1;::::0;:4:::1;::::0;:12:::1;::::0;::::1;::::0;::::1;:::i;:::-;-1:-1:-1::0;2894:16:0;;::::1;::::0;:6:::1;::::0;:16:::1;::::0;::::1;::::0;::::1;:::i;:::-;-1:-1:-1::0;2920:8:0::1;:20:::0;;;::::1;;::::0;::::1;;::::0;;372:16:2;;;;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;139:12;;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;;254:3;250:22;246:30;;311:9;;295:26;;;340:21;;377:20;;;;365:33;;372:16:2;;;;;;;;;;-1:-1:-1;372:16:2;;-1:-1:-1;;;372:16:2;-1:-1:-1;372:16:2;2693:254:0;;;;;:::o;4160:169::-;4243:16;;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;4291:31;;;;;;;;;;;;;;;;;4160:169;;;:::o;406:130:3:-;498:5;;;493:16;;;;485:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4335:373:0;4421:19;;;4435:4;4421:19;;;;:39;;-1:-1:-1;4444:16:0;;;;;4421:39;4413:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4585:15;;;;;;;:9;:15;;;;;;:26;;4605:5;4585:26;:19;:26;:::i;:::-;4567:15;;;;;;;;:9;:15;;;;;;:44;;;;4637:13;;;;;;;:24;;4655:5;4637:24;:17;:24;:::i;:::-;4621:13;;;;;;;;:9;:13;;;;;;;;;:40;;;;4676:25;;;;;;;4621:13;;4676:25;;;;;;;;;;;;;4335:373;;;:::o;3535:124::-;3596:6;:18;;;;;;;;;;;;;;;;;;3629:23;;;;-1:-1:-1;;3629:23:0;3535:124;:::o;3665:200::-;3740:11;;:22;;3756:5;3740:22;:15;:22;:::i;:::-;3726:11;:36;3788:13;;;;;;;:9;:13;;;;;;:24;;3806:5;3788:24;:17;:24;:::i;:::-;3772:13;;;;;;;:9;:13;;;;;;;;:40;;;;3827:31;;;;;;;3772:13;;;;3827:31;;;;;;;;;;3665:200;;:::o;3871:283::-;4027:15;;;;;;;:9;:15;;;;;;:26;;4047:5;4027:26;:19;:26;:::i;:::-;4009:15;;;;;;;:9;:15;;;;;:44;4077:11;;:22;;4093:5;4077:22;:15;:22;:::i;:::-;4063:11;:36;4114:33;;;;;;;;4137:1;;4114:33;;;;;;;;;;;;;3871:283;;:::o;2953:576::-;3073:14;3175:20;:18;:20::i;:::-;3213:10;3113:124;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;3113:124:0;;;3090:157;;;;;;3073:174;;3257:24;3284:26;3294:6;3302:1;3305;3308;3284:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;3284:26:0;;;;;;-1:-1:-1;;3443:30:0;;;;;;;:60;;;3497:6;3477:26;;:16;:26;;;3443:60;3435:87;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2953:576;;;;;;;:::o;271:129:3:-;363:5;;;358:16;;;;350:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;

ipfs://71b77ab3b08a882b4a4fc392c2cf029a7cc270852ac1e3fb75c9584565ad1855