Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-05-09
*/

pragma solidity 0.5.7;
pragma experimental ABIEncoderV2;

/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
interface IERC20 {
    function transfer(address to, uint256 value) external returns (bool);

    function approve(address spender, uint256 value) external returns (bool);

    function transferFrom(address from, address to, uint256 value) external returns (bool);

    function totalSupply() external view returns (uint256);

    function balanceOf(address who) external view returns (uint256);

    function allowance(address owner, address spender) external view returns (uint256);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);
}

/**
 * @title SafeMath
 * @dev Unsigned math operations with safety checks that revert on error
 */
library SafeMath {
    /**
    * @dev Multiplies two unsigned integers, reverts on overflow.
    */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath::mul: Integer overflow");

        return c;
    }

    /**
    * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
    */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath::div: Invalid divisor zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
    * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
    */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath::sub: Integer underflow");
        uint256 c = a - b;

        return c;
    }

    /**
    * @dev Adds two unsigned integers, reverts on overflow.
    */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath::add: Integer overflow");

        return c;
    }

    /**
    * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
    * reverts when dividing by zero.
    */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath::mod: Invalid divisor zero");
        return a % b;
    }
}

/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md
 * Originally based on code by FirstBlood:
 * https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 *
 * This implementation emits additional Approval events, allowing applications to reconstruct the allowance status for
 * all accounts just by listening to said events. Note that this isn't required by the specification, and other
 * compliant implementations may not do it.
 */
contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowed;

    uint256 private _totalSupply;

    /**
    * @dev Total number of tokens in existence
    */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param owner The address to query the balance of.
    * @return An uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address owner) public view returns (uint256) {
        return _balances[owner];
    }

    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param owner address The address which owns the funds.
     * @param spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowed[owner][spender];
    }

    /**
    * @dev Transfer token for a specified address
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
    function transfer(address to, uint256 value) public returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     * Beware that changing an allowance with this method brings the risk that someone may use both the old
     * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
     * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     * @param spender The address which will spend the funds.
     * @param value The amount of tokens to be spent.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        require(spender != address(0), "ERC20::approve: Cannot approve address zero");

        _allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev Transfer tokens from one address to another.
     * Note that while this function emits an Approval event, this is not required as per the specification,
     * and other compliant implementations may not emit the event.
     * @param from address The address which you want to send tokens from
     * @param to address The address which you want to transfer to
     * @param value uint256 the amount of tokens to be transferred
     */
    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);
        _transfer(from, to, value);
        emit Approval(from, msg.sender, _allowed[from][msg.sender]);
        return true;
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     * approve should be called when allowed_[_spender] == 0. To increment
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param addedValue The amount of tokens to increase the allowance by.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        require(spender != address(0), "ERC20::increaseAllowance: Cannot increase allowance for address zero");

        _allowed[msg.sender][spender] = _allowed[msg.sender][spender].add(addedValue);
        emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     * approve should be called when allowed_[_spender] == 0. To decrement
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        require(spender != address(0), "ERC20::decreaseAllowance: Cannot decrease allowance for address zero");

        _allowed[msg.sender][spender] = _allowed[msg.sender][spender].sub(subtractedValue);
        emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
        return true;
    }

    /**
    * @dev Transfer token for a specified addresses
    * @param from The address to transfer from.
    * @param to The address to transfer to.
    * @param value The amount to be transferred.
    */
    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0), "ERC20::_transfer: Cannot transfer to address zero");

        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        emit Transfer(from, to, value);
    }

    /**
     * @dev Internal function that mints an amount of the token and assigns it to
     * an account. This encapsulates the modification of balances such that the
     * proper events are emitted.
     * @param account The account that will receive the created tokens.
     * @param value The amount that will be created.
     */
    function _mint(address account, uint256 value) internal {
        require(account != address(0), "ERC20::_mint: Cannot mint to address zero");

        _totalSupply = _totalSupply.add(value);
        _balances[account] = _balances[account].add(value);
        emit Transfer(address(0), account, value);
    }

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account.
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0), "ERC20::_burn: Cannot burn from address zero");

        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account, deducting from the sender's allowance for said account. Uses the
     * internal burn function.
     * Emits an Approval event (reflecting the reduced allowance).
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burnFrom(address account, uint256 value) internal {
        _allowed[account][msg.sender] = _allowed[account][msg.sender].sub(value);
        _burn(account, value);
        emit Approval(account, msg.sender, _allowed[account][msg.sender]);
    }
}

/**
 * @title Humanity
 * @dev ERC20 token that can be used to vote on applications to the Humanity registry.
 */
contract Humanity is ERC20 {

    string public constant name = "Humanity";
    string public constant symbol = "HUM";
    uint8 public constant decimals = 18;
    string public version = "1.0.0";

    uint public constant INITIAL_SUPPLY = 25000000e18; // 25 million
    uint public constant FINAL_SUPPLY = 100000000e18; // 100 million

    address public registry;

    constructor(address _registry) public {
        registry = _registry;
        _mint(msg.sender, INITIAL_SUPPLY);
    }

    function mint(address account, uint256 value) public {
        require(msg.sender == registry, "Humanity::mint: Only the registry can mint new tokens");
        require(totalSupply().add(value) <= FINAL_SUPPLY, "Humanity::mint: Exceeds final supply");

        _mint(account, value);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"FINAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"},{"name":"value","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"version","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"registry","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_registry","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526040518060400160405280600581526020017f312e302e300000000000000000000000000000000000000000000000000000008152506003908051906020019062000051929190620002d9565b503480156200005f57600080fd5b506040516020806200206283398101806040526200008191908101906200039e565b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550620000df336a14adf4b7320334b9000000620000e660201b60201c565b5062000535565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000159576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620001509062000485565b60405180910390fd5b62000175816002546200028160201b620011441790919060201c565b600281905550620001d3816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200028160201b620011441790919060201c565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002759190620004c9565b60405180910390a35050565b600080828401905083811015620002cf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002c690620004a7565b60405180910390fd5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200031c57805160ff19168380011785556200034d565b828001600101855582156200034d579182015b828111156200034c5782518255916020019190600101906200032f565b5b5090506200035c919062000360565b5090565b6200038591905b808211156200038157600081600090555060010162000367565b5090565b90565b600062000396825162000501565b905092915050565b600060208284031215620003b157600080fd5b6000620003c18482850162000388565b91505092915050565b6000620003d9602983620004e6565b91507f45524332303a3a5f6d696e743a2043616e6e6f74206d696e7420746f2061646460008301527f72657373207a65726f00000000000000000000000000000000000000000000006020830152604082019050919050565b600062000441601f83620004e6565b91507f536166654d6174683a3a6164643a20496e7465676572206f766572666c6f77006000830152602082019050919050565b6200047f81620004f7565b82525050565b60006020820190508181036000830152620004a081620003ca565b9050919050565b60006020820190508181036000830152620004c28162000432565b9050919050565b6000602082019050620004e0600083018462000474565b92915050565b600082825260208201905092915050565b6000819050919050565b60006200050e8262000515565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b611b1d80620005456000396000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c806340c10f191161009757806395d89b411161006657806395d89b41146102b3578063a457c2d7146102d1578063a9059cbb14610301578063dd62ed3e1461033157610100565b806340c10f191461022b57806354fd4d501461024757806370a08231146102655780637b1039991461029557610100565b80632ff2e9dc116100d35780632ff2e9dc146101a1578063313ce567146101bf57806339509351146101dd57806339605da21461020d57610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd1461015357806323b872dd14610171575b600080fd5b61010d610361565b60405161011a919061187a565b60405180910390f35b61013d600480360361013891908101906113fd565b61039a565b60405161014a919061185f565b60405180910390f35b61015b6104fb565b60405161016891906119bc565b60405180910390f35b61018b600480360361018691908101906113ae565b610505565b604051610198919061185f565b60405180910390f35b6101a961070d565b6040516101b691906119bc565b60405180910390f35b6101c761071c565b6040516101d491906119d7565b60405180910390f35b6101f760048036036101f291908101906113fd565b610721565b604051610204919061185f565b60405180910390f35b61021561098c565b60405161022291906119bc565b60405180910390f35b610245600480360361024091908101906113fd565b61099b565b005b61024f610aa0565b60405161025c919061187a565b60405180910390f35b61027f600480360361027a9190810190611349565b610b3e565b60405161028c91906119bc565b60405180910390f35b61029d610b86565b6040516102aa9190611844565b60405180910390f35b6102bb610bac565b6040516102c8919061187a565b60405180910390f35b6102eb60048036036102e691908101906113fd565b610be5565b6040516102f8919061185f565b60405180910390f35b61031b600480360361031691908101906113fd565b610e50565b604051610328919061185f565b60405180910390f35b61034b60048036036103469190810190611372565b610e67565b60405161035891906119bc565b60405180910390f35b6040518060400160405280600881526020017f48756d616e69747900000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561040b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104029061193c565b60405180910390fd5b81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104e991906119bc565b60405180910390a36001905092915050565b6000600254905090565b600061059682600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eee90919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610621848484610f44565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040516106fa91906119bc565b60405180910390a3600190509392505050565b6a14adf4b7320334b900000081565b601281565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610792576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107899061199c565b60405180910390fd5b61082182600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461114490919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460405161097a91906119bc565b60405180910390a36001905092915050565b6a52b7d2dcc80cd2e400000081565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a2b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a22906118bc565b60405180910390fd5b6a52b7d2dcc80cd2e4000000610a5182610a436104fb565b61114490919063ffffffff16565b1115610a92576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a899061195c565b60405180910390fd5b610a9c8282611199565b5050565b60038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610b365780601f10610b0b57610100808354040283529160200191610b36565b820191906000526020600020905b815481529060010190602001808311610b1957829003601f168201915b505050505081565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040518060400160405280600381526020017f48554d000000000000000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610c56576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c4d9061189c565b60405180910390fd5b610ce582600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eee90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051610e3e91906119bc565b60405180910390a36001905092915050565b6000610e5d338484610f44565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600082821115610f33576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f2a906118dc565b60405180910390fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610fb4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fab906118fc565b60405180910390fd5b611005816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eee90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611098816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461114490919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161113791906119bc565b60405180910390a3505050565b60008082840190508381101561118f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111869061197c565b60405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611209576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112009061191c565b60405180910390fd5b61121e8160025461114490919063ffffffff16565b600281905550611275816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461114490919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161131591906119bc565b60405180910390a35050565b600061132d8235611a63565b905092915050565b60006113418235611a95565b905092915050565b60006020828403121561135b57600080fd5b600061136984828501611321565b91505092915050565b6000806040838503121561138557600080fd5b600061139385828601611321565b92505060206113a485828601611321565b9150509250929050565b6000806000606084860312156113c357600080fd5b60006113d186828701611321565b93505060206113e286828701611321565b92505060406113f386828701611335565b9150509250925092565b6000806040838503121561141057600080fd5b600061141e85828601611321565b925050602061142f85828601611335565b9150509250929050565b61144281611a0e565b82525050565b61145181611a20565b82525050565b6000611462826119f2565b61146c81856119fd565b935061147c818560208601611a9f565b61148581611ad2565b840191505092915050565b600061149d6044836119fd565b91507f45524332303a3a6465637265617365416c6c6f77616e63653a2043616e6e6f7460008301527f20646563726561736520616c6c6f77616e636520666f7220616464726573732060208301527f7a65726f000000000000000000000000000000000000000000000000000000006040830152606082019050919050565b60006115296035836119fd565b91507f48756d616e6974793a3a6d696e743a204f6e6c7920746865207265676973747260008301527f792063616e206d696e74206e657720746f6b656e7300000000000000000000006020830152604082019050919050565b600061158f6020836119fd565b91507f536166654d6174683a3a7375623a20496e746567657220756e646572666c6f776000830152602082019050919050565b60006115cf6031836119fd565b91507f45524332303a3a5f7472616e736665723a2043616e6e6f74207472616e73666560008301527f7220746f2061646472657373207a65726f0000000000000000000000000000006020830152604082019050919050565b60006116356029836119fd565b91507f45524332303a3a5f6d696e743a2043616e6e6f74206d696e7420746f2061646460008301527f72657373207a65726f00000000000000000000000000000000000000000000006020830152604082019050919050565b600061169b602b836119fd565b91507f45524332303a3a617070726f76653a2043616e6e6f7420617070726f7665206160008301527f646472657373207a65726f0000000000000000000000000000000000000000006020830152604082019050919050565b60006117016024836119fd565b91507f48756d616e6974793a3a6d696e743a20457863656564732066696e616c20737560008301527f70706c79000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000611767601f836119fd565b91507f536166654d6174683a3a6164643a20496e7465676572206f766572666c6f77006000830152602082019050919050565b60006117a76044836119fd565b91507f45524332303a3a696e637265617365416c6c6f77616e63653a2043616e6e6f7460008301527f20696e63726561736520616c6c6f77616e636520666f7220616464726573732060208301527f7a65726f000000000000000000000000000000000000000000000000000000006040830152606082019050919050565b61182f81611a4c565b82525050565b61183e81611a56565b82525050565b60006020820190506118596000830184611439565b92915050565b60006020820190506118746000830184611448565b92915050565b600060208201905081810360008301526118948184611457565b905092915050565b600060208201905081810360008301526118b581611490565b9050919050565b600060208201905081810360008301526118d58161151c565b9050919050565b600060208201905081810360008301526118f581611582565b9050919050565b60006020820190508181036000830152611915816115c2565b9050919050565b6000602082019050818103600083015261193581611628565b9050919050565b600060208201905081810360008301526119558161168e565b9050919050565b60006020820190508181036000830152611975816116f4565b9050919050565b600060208201905081810360008301526119958161175a565b9050919050565b600060208201905081810360008301526119b58161179a565b9050919050565b60006020820190506119d16000830184611826565b92915050565b60006020820190506119ec6000830184611835565b92915050565b600081519050919050565b600082825260208201905092915050565b6000611a1982611a2c565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b6000611a6e82611a75565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60005b83811015611abd578082015181840152602081019050611aa2565b83811115611acc576000848401525b50505050565b6000601f19601f830116905091905056fea265627a7a7230582099f73be95292aa1d72f76616f86347f805f0bff35f5775ec44cd9591210709936c6578706572696d656e74616cf500370000000000000000000000004ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e90

0x608060405234801561001057600080fd5b50600436106101005760003560e01c806340c10f191161009757806395d89b411161006657806395d89b41146102b3578063a457c2d7146102d1578063a9059cbb14610301578063dd62ed3e1461033157610100565b806340c10f191461022b57806354fd4d501461024757806370a08231146102655780637b1039991461029557610100565b80632ff2e9dc116100d35780632ff2e9dc146101a1578063313ce567146101bf57806339509351146101dd57806339605da21461020d57610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd1461015357806323b872dd14610171575b600080fd5b61010d610361565b60405161011a919061187a565b60405180910390f35b61013d600480360361013891908101906113fd565b61039a565b60405161014a919061185f565b60405180910390f35b61015b6104fb565b60405161016891906119bc565b60405180910390f35b61018b600480360361018691908101906113ae565b610505565b604051610198919061185f565b60405180910390f35b6101a961070d565b6040516101b691906119bc565b60405180910390f35b6101c761071c565b6040516101d491906119d7565b60405180910390f35b6101f760048036036101f291908101906113fd565b610721565b604051610204919061185f565b60405180910390f35b61021561098c565b60405161022291906119bc565b60405180910390f35b610245600480360361024091908101906113fd565b61099b565b005b61024f610aa0565b60405161025c919061187a565b60405180910390f35b61027f600480360361027a9190810190611349565b610b3e565b60405161028c91906119bc565b60405180910390f35b61029d610b86565b6040516102aa9190611844565b60405180910390f35b6102bb610bac565b6040516102c8919061187a565b60405180910390f35b6102eb60048036036102e691908101906113fd565b610be5565b6040516102f8919061185f565b60405180910390f35b61031b600480360361031691908101906113fd565b610e50565b604051610328919061185f565b60405180910390f35b61034b60048036036103469190810190611372565b610e67565b60405161035891906119bc565b60405180910390f35b6040518060400160405280600881526020017f48756d616e69747900000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561040b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104029061193c565b60405180910390fd5b81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104e991906119bc565b60405180910390a36001905092915050565b6000600254905090565b600061059682600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eee90919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610621848484610f44565b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040516106fa91906119bc565b60405180910390a3600190509392505050565b6a14adf4b7320334b900000081565b601281565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610792576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107899061199c565b60405180910390fd5b61082182600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461114490919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460405161097a91906119bc565b60405180910390a36001905092915050565b6a52b7d2dcc80cd2e400000081565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a2b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a22906118bc565b60405180910390fd5b6a52b7d2dcc80cd2e4000000610a5182610a436104fb565b61114490919063ffffffff16565b1115610a92576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a899061195c565b60405180910390fd5b610a9c8282611199565b5050565b60038054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610b365780601f10610b0b57610100808354040283529160200191610b36565b820191906000526020600020905b815481529060010190602001808311610b1957829003601f168201915b505050505081565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6040518060400160405280600381526020017f48554d000000000000000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610c56576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c4d9061189c565b60405180910390fd5b610ce582600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eee90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051610e3e91906119bc565b60405180910390a36001905092915050565b6000610e5d338484610f44565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600082821115610f33576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f2a906118dc565b60405180910390fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610fb4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fab906118fc565b60405180910390fd5b611005816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eee90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611098816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461114490919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161113791906119bc565b60405180910390a3505050565b60008082840190508381101561118f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111869061197c565b60405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611209576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112009061191c565b60405180910390fd5b61121e8160025461114490919063ffffffff16565b600281905550611275816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461114490919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161131591906119bc565b60405180910390a35050565b600061132d8235611a63565b905092915050565b60006113418235611a95565b905092915050565b60006020828403121561135b57600080fd5b600061136984828501611321565b91505092915050565b6000806040838503121561138557600080fd5b600061139385828601611321565b92505060206113a485828601611321565b9150509250929050565b6000806000606084860312156113c357600080fd5b60006113d186828701611321565b93505060206113e286828701611321565b92505060406113f386828701611335565b9150509250925092565b6000806040838503121561141057600080fd5b600061141e85828601611321565b925050602061142f85828601611335565b9150509250929050565b61144281611a0e565b82525050565b61145181611a20565b82525050565b6000611462826119f2565b61146c81856119fd565b935061147c818560208601611a9f565b61148581611ad2565b840191505092915050565b600061149d6044836119fd565b91507f45524332303a3a6465637265617365416c6c6f77616e63653a2043616e6e6f7460008301527f20646563726561736520616c6c6f77616e636520666f7220616464726573732060208301527f7a65726f000000000000000000000000000000000000000000000000000000006040830152606082019050919050565b60006115296035836119fd565b91507f48756d616e6974793a3a6d696e743a204f6e6c7920746865207265676973747260008301527f792063616e206d696e74206e657720746f6b656e7300000000000000000000006020830152604082019050919050565b600061158f6020836119fd565b91507f536166654d6174683a3a7375623a20496e746567657220756e646572666c6f776000830152602082019050919050565b60006115cf6031836119fd565b91507f45524332303a3a5f7472616e736665723a2043616e6e6f74207472616e73666560008301527f7220746f2061646472657373207a65726f0000000000000000000000000000006020830152604082019050919050565b60006116356029836119fd565b91507f45524332303a3a5f6d696e743a2043616e6e6f74206d696e7420746f2061646460008301527f72657373207a65726f00000000000000000000000000000000000000000000006020830152604082019050919050565b600061169b602b836119fd565b91507f45524332303a3a617070726f76653a2043616e6e6f7420617070726f7665206160008301527f646472657373207a65726f0000000000000000000000000000000000000000006020830152604082019050919050565b60006117016024836119fd565b91507f48756d616e6974793a3a6d696e743a20457863656564732066696e616c20737560008301527f70706c79000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000611767601f836119fd565b91507f536166654d6174683a3a6164643a20496e7465676572206f766572666c6f77006000830152602082019050919050565b60006117a76044836119fd565b91507f45524332303a3a696e637265617365416c6c6f77616e63653a2043616e6e6f7460008301527f20696e63726561736520616c6c6f77616e636520666f7220616464726573732060208301527f7a65726f000000000000000000000000000000000000000000000000000000006040830152606082019050919050565b61182f81611a4c565b82525050565b61183e81611a56565b82525050565b60006020820190506118596000830184611439565b92915050565b60006020820190506118746000830184611448565b92915050565b600060208201905081810360008301526118948184611457565b905092915050565b600060208201905081810360008301526118b581611490565b9050919050565b600060208201905081810360008301526118d58161151c565b9050919050565b600060208201905081810360008301526118f581611582565b9050919050565b60006020820190508181036000830152611915816115c2565b9050919050565b6000602082019050818103600083015261193581611628565b9050919050565b600060208201905081810360008301526119558161168e565b9050919050565b60006020820190508181036000830152611975816116f4565b9050919050565b600060208201905081810360008301526119958161175a565b9050919050565b600060208201905081810360008301526119b58161179a565b9050919050565b60006020820190506119d16000830184611826565b92915050565b60006020820190506119ec6000830184611835565b92915050565b600081519050919050565b600082825260208201905092915050565b6000611a1982611a2c565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b6000611a6e82611a75565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60005b83811015611abd578082015181840152602081019050611aa2565b83811115611acc576000848401525b50505050565b6000601f19601f830116905091905056fea265627a7a7230582099f73be95292aa1d72f76616f86347f805f0bff35f5775ec44cd9591210709936c6578706572696d656e74616cf50037

0000000000000000000000004ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e90

-----Decoded View---------------
Arg [0] : _registry (address): 0x4EE46dc4962C2c2F6bcd4C098a0E2b28f66A5E90

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000004ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e90

11050:811:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11050:811:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11086:40;;;:::i;:::-;;;;;;;;;;;;;;;;5616:291;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;3775:91;;;:::i;:::-;;;;;;;;;;;;;;;;6380:299;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;11259:49;;;:::i;:::-;;;;;;;;;;;;;;;;11177:35;;;:::i;:::-;;;;;;;;;;;;;;;;7194:395;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;11329:48;;;:::i;:::-;;;;;;;;;;;;;;;;11562:294;;;;;;;;;;;;;;;;:::i;:::-;;11219:31;;;:::i;:::-;;;;;;;;;;;;;;;;4082:106;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;11401:23;;;:::i;:::-;;;;;;;;;;;;;;;;11133:37;;;:::i;:::-;;;;;;;;;;;;;;;;8109:405;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4829:140;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4527:131;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;11086:40;;;;;;;;;;;;;;;;;;;:::o;5616:291::-;5681:4;5725:1;5706:21;;:7;:21;;;;5698:77;;;;;;;;;;;;;;;;;;;;;;5820:5;5788:8;:20;5797:10;5788:20;;;;;;;;;;;;;;;:29;5809:7;5788:29;;;;;;;;;;;;;;;:37;;;;5862:7;5841:36;;5850:10;5841:36;;;5871:5;5841:36;;;;;;;;;;;;;;;5895:4;5888:11;;5616:291;;;;:::o;3775:91::-;3819:7;3846:12;;3839:19;;3775:91;:::o;6380:299::-;6459:4;6505:37;6536:5;6505:8;:14;6514:4;6505:14;;;;;;;;;;;;;;;:26;6520:10;6505:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;6476:8;:14;6485:4;6476:14;;;;;;;;;;;;;;;:26;6491:10;6476:26;;;;;;;;;;;;;;;:66;;;;6553:26;6563:4;6569:2;6573:5;6553:9;:26::i;:::-;6610:10;6595:54;;6604:4;6595:54;;;6622:8;:14;6631:4;6622:14;;;;;;;;;;;;;;;:26;6637:10;6622:26;;;;;;;;;;;;;;;;6595:54;;;;;;;;;;;;;;;6667:4;6660:11;;6380:299;;;;;:::o;11259:49::-;11297:11;11259:49;:::o;11177:35::-;11210:2;11177:35;:::o;7194:395::-;7274:4;7318:1;7299:21;;:7;:21;;;;7291:102;;;;;;;;;;;;;;;;;;;;;;7438:45;7472:10;7438:8;:20;7447:10;7438:20;;;;;;;;;;;;;;;:29;7459:7;7438:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;7406:8;:20;7415:10;7406:20;;;;;;;;;;;;;;;:29;7427:7;7406:29;;;;;;;;;;;;;;;:77;;;;7520:7;7499:60;;7508:10;7499:60;;;7529:8;:20;7538:10;7529:20;;;;;;;;;;;;;;;:29;7550:7;7529:29;;;;;;;;;;;;;;;;7499:60;;;;;;;;;;;;;;;7577:4;7570:11;;7194:395;;;;:::o;11329:48::-;11365:12;11329:48;:::o;11562:294::-;11648:8;;;;;;;;;;;11634:22;;:10;:22;;;11626:88;;;;;;;;;;;;;;;;;;;;;;11365:12;11733:24;11751:5;11733:13;:11;:13::i;:::-;:17;;:24;;;;:::i;:::-;:40;;11725:89;;;;;;;;;;;;;;;;;;;;;;11827:21;11833:7;11842:5;11827;:21::i;:::-;11562:294;;:::o;11219:31::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4082:106::-;4137:7;4164:9;:16;4174:5;4164:16;;;;;;;;;;;;;;;;4157:23;;4082:106;;;:::o;11401:23::-;;;;;;;;;;;;;:::o;11133:37::-;;;;;;;;;;;;;;;;;;;:::o;8109:405::-;8194:4;8238:1;8219:21;;:7;:21;;;;8211:102;;;;;;;;;;;;;;;;;;;;;;8358:50;8392:15;8358:8;:20;8367:10;8358:20;;;;;;;;;;;;;;;:29;8379:7;8358:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;8326:8;:20;8335:10;8326:20;;;;;;;;;;;;;;;:29;8347:7;8326:29;;;;;;;;;;;;;;;:82;;;;8445:7;8424:60;;8433:10;8424:60;;;8454:8;:20;8463:10;8454:20;;;;;;;;;;;;;;;:29;8475:7;8454:29;;;;;;;;;;;;;;;;8424:60;;;;;;;;;;;;;;;8502:4;8495:11;;8109:405;;;;:::o;4829:140::-;4890:4;4907:32;4917:10;4929:2;4933:5;4907:9;:32::i;:::-;4957:4;4950:11;;4829:140;;;;:::o;4527:131::-;4599:7;4626:8;:15;4635:5;4626:15;;;;;;;;;;;;;;;:24;4642:7;4626:24;;;;;;;;;;;;;;;;4619:31;;4527:131;;;;:::o;2113:186::-;2171:7;2204:1;2199;:6;;2191:51;;;;;;;;;;;;;;;;;;;;;;2253:9;2269:1;2265;:5;2253:17;;2290:1;2283:8;;;2113:186;;;;:::o;8736:315::-;8838:1;8824:16;;:2;:16;;;;8816:78;;;;;;;;;;;;;;;;;;;;;;8925:26;8945:5;8925:9;:15;8935:4;8925:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;8907:9;:15;8917:4;8907:15;;;;;;;;;;;;;;;:44;;;;8978:24;8996:5;8978:9;:13;8988:2;8978:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;8962:9;:13;8972:2;8962:13;;;;;;;;;;;;;;;:40;;;;9033:2;9018:25;;9027:4;9018:25;;;9037:5;9018:25;;;;;;;;;;;;;;;8736:315;;;:::o;2385:185::-;2443:7;2463:9;2479:1;2475;:5;2463:17;;2504:1;2499;:6;;2491:50;;;;;;;;;;;;;;;;;;;;;;2561:1;2554:8;;;2385:185;;;;:::o;9403:314::-;9497:1;9478:21;;:7;:21;;;;9470:75;;;;;;;;;;;;;;;;;;;;;;9573:23;9590:5;9573:12;;:16;;:23;;;;:::i;:::-;9558:12;:38;;;;9628:29;9651:5;9628:9;:18;9638:7;9628:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;9607:9;:18;9617:7;9607:18;;;;;;;;;;;;;;;:50;;;;9694:7;9673:36;;9690:1;9673:36;;;9703:5;9673:36;;;;;;;;;;;;;;;9403:314;;:::o;5:118:-1:-;;72:46;110:6;97:20;72:46;;;63:55;;57:66;;;;;130:118;;197:46;235:6;222:20;197:46;;;188:55;;182:66;;;;;255:241;;359:2;347:9;338:7;334:23;330:32;327:2;;;375:1;372;365:12;327:2;410:1;427:53;472:7;463:6;452:9;448:22;427:53;;;417:63;;389:97;321:175;;;;;503:366;;;624:2;612:9;603:7;599:23;595:32;592:2;;;640:1;637;630:12;592:2;675:1;692:53;737:7;728:6;717:9;713:22;692:53;;;682:63;;654:97;782:2;800:53;845:7;836:6;825:9;821:22;800:53;;;790:63;;761:98;586:283;;;;;;876:491;;;;1014:2;1002:9;993:7;989:23;985:32;982:2;;;1030:1;1027;1020:12;982:2;1065:1;1082:53;1127:7;1118:6;1107:9;1103:22;1082:53;;;1072:63;;1044:97;1172:2;1190:53;1235:7;1226:6;1215:9;1211:22;1190:53;;;1180:63;;1151:98;1280:2;1298:53;1343:7;1334:6;1323:9;1319:22;1298:53;;;1288:63;;1259:98;976:391;;;;;;1374:366;;;1495:2;1483:9;1474:7;1470:23;1466:32;1463:2;;;1511:1;1508;1501:12;1463:2;1546:1;1563:53;1608:7;1599:6;1588:9;1584:22;1563:53;;;1553:63;;1525:97;1653:2;1671:53;1716:7;1707:6;1696:9;1692:22;1671:53;;;1661:63;;1632:98;1457:283;;;;;;1747:120;1830:31;1855:5;1830:31;;;1825:3;1818:44;1812:55;;;1874:111;1951:28;1973:5;1951:28;;;1946:3;1939:41;1933:52;;;1992:339;;2100:35;2129:5;2100:35;;;2147:71;2211:6;2206:3;2147:71;;;2140:78;;2223:52;2268:6;2263:3;2256:4;2249:5;2245:16;2223:52;;;2296:29;2318:6;2296:29;;;2291:3;2287:39;2280:46;;2080:251;;;;;;2339:566;;2499:67;2563:2;2558:3;2499:67;;;2492:74;;2599:66;2595:1;2590:3;2586:11;2579:87;2700:66;2695:2;2690:3;2686:12;2679:88;2801:66;2796:2;2791:3;2787:12;2780:88;2896:2;2891:3;2887:12;2880:19;;2485:420;;;;2914:465;;3074:67;3138:2;3133:3;3074:67;;;3067:74;;3174:66;3170:1;3165:3;3161:11;3154:87;3275:66;3270:2;3265:3;3261:12;3254:88;3370:2;3365:3;3361:12;3354:19;;3060:319;;;;3388:364;;3548:67;3612:2;3607:3;3548:67;;;3541:74;;3648:66;3644:1;3639:3;3635:11;3628:87;3743:2;3738:3;3734:12;3727:19;;3534:218;;;;3761:465;;3921:67;3985:2;3980:3;3921:67;;;3914:74;;4021:66;4017:1;4012:3;4008:11;4001:87;4122:66;4117:2;4112:3;4108:12;4101:88;4217:2;4212:3;4208:12;4201:19;;3907:319;;;;4235:465;;4395:67;4459:2;4454:3;4395:67;;;4388:74;;4495:66;4491:1;4486:3;4482:11;4475:87;4596:66;4591:2;4586:3;4582:12;4575:88;4691:2;4686:3;4682:12;4675:19;;4381:319;;;;4709:465;;4869:67;4933:2;4928:3;4869:67;;;4862:74;;4969:66;4965:1;4960:3;4956:11;4949:87;5070:66;5065:2;5060:3;5056:12;5049:88;5165:2;5160:3;5156:12;5149:19;;4855:319;;;;5183:465;;5343:67;5407:2;5402:3;5343:67;;;5336:74;;5443:66;5439:1;5434:3;5430:11;5423:87;5544:66;5539:2;5534:3;5530:12;5523:88;5639:2;5634:3;5630:12;5623:19;;5329:319;;;;5657:364;;5817:67;5881:2;5876:3;5817:67;;;5810:74;;5917:66;5913:1;5908:3;5904:11;5897:87;6012:2;6007:3;6003:12;5996:19;;5803:218;;;;6030:566;;6190:67;6254:2;6249:3;6190:67;;;6183:74;;6290:66;6286:1;6281:3;6277:11;6270:87;6391:66;6386:2;6381:3;6377:12;6370:88;6492:66;6487:2;6482:3;6478:12;6471:88;6587:2;6582:3;6578:12;6571:19;;6176:420;;;;6604:120;6687:31;6712:5;6687:31;;;6682:3;6675:44;6669:55;;;6731:114;6810:29;6833:5;6810:29;;;6805:3;6798:42;6792:53;;;6852:213;;6970:2;6959:9;6955:18;6947:26;;6984:71;7052:1;7041:9;7037:17;7028:6;6984:71;;;6941:124;;;;;7072:201;;7184:2;7173:9;7169:18;7161:26;;7198:65;7260:1;7249:9;7245:17;7236:6;7198:65;;;7155:118;;;;;7280:293;;7414:2;7403:9;7399:18;7391:26;;7464:9;7458:4;7454:20;7450:1;7439:9;7435:17;7428:47;7489:74;7558:4;7549:6;7489:74;;;7481:82;;7385:188;;;;;7580:407;;7771:2;7760:9;7756:18;7748:26;;7821:9;7815:4;7811:20;7807:1;7796:9;7792:17;7785:47;7846:131;7972:4;7846:131;;;7838:139;;7742:245;;;;7994:407;;8185:2;8174:9;8170:18;8162:26;;8235:9;8229:4;8225:20;8221:1;8210:9;8206:17;8199:47;8260:131;8386:4;8260:131;;;8252:139;;8156:245;;;;8408:407;;8599:2;8588:9;8584:18;8576:26;;8649:9;8643:4;8639:20;8635:1;8624:9;8620:17;8613:47;8674:131;8800:4;8674:131;;;8666:139;;8570:245;;;;8822:407;;9013:2;9002:9;8998:18;8990:26;;9063:9;9057:4;9053:20;9049:1;9038:9;9034:17;9027:47;9088:131;9214:4;9088:131;;;9080:139;;8984:245;;;;9236:407;;9427:2;9416:9;9412:18;9404:26;;9477:9;9471:4;9467:20;9463:1;9452:9;9448:17;9441:47;9502:131;9628:4;9502:131;;;9494:139;;9398:245;;;;9650:407;;9841:2;9830:9;9826:18;9818:26;;9891:9;9885:4;9881:20;9877:1;9866:9;9862:17;9855:47;9916:131;10042:4;9916:131;;;9908:139;;9812:245;;;;10064:407;;10255:2;10244:9;10240:18;10232:26;;10305:9;10299:4;10295:20;10291:1;10280:9;10276:17;10269:47;10330:131;10456:4;10330:131;;;10322:139;;10226:245;;;;10478:407;;10669:2;10658:9;10654:18;10646:26;;10719:9;10713:4;10709:20;10705:1;10694:9;10690:17;10683:47;10744:131;10870:4;10744:131;;;10736:139;;10640:245;;;;10892:407;;11083:2;11072:9;11068:18;11060:26;;11133:9;11127:4;11123:20;11119:1;11108:9;11104:17;11097:47;11158:131;11284:4;11158:131;;;11150:139;;11054:245;;;;11306:213;;11424:2;11413:9;11409:18;11401:26;;11438:71;11506:1;11495:9;11491:17;11482:6;11438:71;;;11395:124;;;;;11526:205;;11640:2;11629:9;11625:18;11617:26;;11654:67;11718:1;11707:9;11703:17;11694:6;11654:67;;;11611:120;;;;;11738:88;;11815:5;11809:12;11799:22;;11793:33;;;;11834:163;;11949:6;11944:3;11937:19;11986:4;11981:3;11977:14;11962:29;;11930:67;;;;;12005:105;;12074:31;12099:5;12074:31;;;12063:42;;12057:53;;;;12117:92;;12197:5;12190:13;12183:21;12172:32;;12166:43;;;;12216:128;;12296:42;12289:5;12285:54;12274:65;;12268:76;;;;12351:79;;12420:5;12409:16;;12403:27;;;;12437:88;;12515:4;12508:5;12504:16;12493:27;;12487:38;;;;12532:105;;12601:31;12626:5;12601:31;;;12590:42;;12584:53;;;;12644:128;;12724:42;12717:5;12713:54;12702:65;;12696:76;;;;12779:79;;12848:5;12837:16;;12831:27;;;;12866:268;12931:1;12938:101;12952:6;12949:1;12946:13;12938:101;;;13028:1;13023:3;13019:11;13013:18;13009:1;13004:3;13000:11;12993:39;12974:2;12971:1;12967:10;12962:15;;12938:101;;;13054:6;13051:1;13048:13;13045:2;;;13119:1;13110:6;13105:3;13101:16;13094:27;13045:2;12915:219;;;;;13142:97;;13230:2;13226:7;13221:2;13214:5;13210:14;13206:28;13196:38;;13190:49;;;

bzzr://99f73be95292aa1d72f76616f86347f805f0bff35f5775ec44cd959121070993