Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function transfer(address to, uint256 ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function allowance(address owner, add ...
•  contract IRegistry
•    - function add(address who)
•  contract IUniswapExchange
•    - function ethToTokenSwapOutput(uint256 ...
•  contract IGovernance
•    - function proposeWithFeeRecipient(addr ...
•    - function proposalFee()
• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•  contract HumanityApplicant
•    - function applyFor(address who)
•  contract PayableHumanityApplicant ...
•    - function ()
•    - function applyWithEtherFor(address wh ...
•  contract TwitterHumanityApplicant ... *
•    - function applyWithTwitter(string memo ...
•    - function applyWithTwitterFor(address ...
•    - function applyWithTwitterUsingEther(s ...
•    - function applyWithTwitterUsingEtherFo ...

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);
}


contract IRegistry {
    function add(address who) public;
}


contract IUniswapExchange {
    function ethToTokenSwapOutput(uint256 tokens_bought, uint256 timestamp) public payable returns (uint256);
}


contract IGovernance {
    function proposeWithFeeRecipient(address feeRecipient, address target, bytes memory data) public returns (uint);
    function proposalFee() public view returns (uint);
}


/**
 * @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 HumanityApplicant
 * @dev Convenient interface for applying to the Humanity registry.
 */
contract HumanityApplicant {
    using SafeMath for uint;

    IGovernance public governance;
    IRegistry public registry;
    IERC20 public humanity;

    constructor(IGovernance _governance, IRegistry _registry, IERC20 _humanity) public {
        governance = _governance;
        registry = _registry;
        humanity = _humanity;
        humanity.approve(address(governance), uint(-1));
    }

    function applyFor(address who) public returns (uint) {
        uint fee = governance.proposalFee();
        uint balance = humanity.balanceOf(address(this));
        if (fee > balance) {
            require(humanity.transferFrom(msg.sender, address(this), fee.sub(balance)), "HumanityApplicant::applyFor: Transfer failed");
        }
        bytes memory data = abi.encodeWithSelector(registry.add.selector, who);
        return governance.proposeWithFeeRecipient(msg.sender, address(registry), data);
    }

}


/**
 * @title PayableHumanityApplicant
 * @dev Convenient interface for applying to the Humanity registry using Ether.
 */
contract PayableHumanityApplicant is HumanityApplicant {

    IUniswapExchange public exchange;

    constructor(IGovernance _governance, IRegistry _registry, IERC20 _humanity, IUniswapExchange _exchange) public
        HumanityApplicant(_governance, _registry, _humanity)
    {
        exchange = _exchange;
    }

    function () external payable {}

    function applyWithEtherFor(address who) public payable returns (uint) {
        // Exchange Ether for Humanity tokens
        uint fee = governance.proposalFee();
        exchange.ethToTokenSwapOutput.value(msg.value)(fee, block.timestamp);

        // Apply to the registry
        uint proposalId = applyFor(who);

        // Refund any remaining balance
        msg.sender.send(address(this).balance);

        return proposalId;
    }

}


/**
 * @title TwitterHumanityApplicant
 * @dev Convenient interface for applying to the Humanity registry using Twitter as proof of identity.
 */
contract TwitterHumanityApplicant is PayableHumanityApplicant {

    event Apply(uint indexed proposalId, address indexed applicant, string username);

    constructor(
        IGovernance _governance,
        IRegistry _registry,
        IERC20 _humanity,
        IUniswapExchange _exchange
    ) public
        PayableHumanityApplicant(_governance, _registry, _humanity, _exchange) {}

    function applyWithTwitter(string memory username) public returns (uint) {
        return applyWithTwitterFor(msg.sender, username);
    }

    function applyWithTwitterFor(address who, string memory username) public returns (uint) {
        uint proposalId = applyFor(who);
        emit Apply(proposalId, who, username);
        return proposalId;
    }

    function applyWithTwitterUsingEther(string memory username) public payable returns (uint) {
        return applyWithTwitterUsingEtherFor(msg.sender, username);
    }

    function applyWithTwitterUsingEtherFor(address who, string memory username) public payable returns (uint) {
        uint proposalId = applyWithEtherFor(who);
        emit Apply(proposalId, who, username);
        return proposalId;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"who","type":"address"},{"name":"username","type":"string"}],"name":"applyWithTwitterFor","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"who","type":"address"}],"name":"applyFor","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"who","type":"address"},{"name":"username","type":"string"}],"name":"applyWithTwitterUsingEtherFor","outputs":[{"name":"","type":"uint256"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"humanity","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"who","type":"address"}],"name":"applyWithEtherFor","outputs":[{"name":"","type":"uint256"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"governance","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"registry","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"username","type":"string"}],"name":"applyWithTwitterUsingEther","outputs":[{"name":"","type":"uint256"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"exchange","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"username","type":"string"}],"name":"applyWithTwitter","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_governance","type":"address"},{"name":"_registry","type":"address"},{"name":"_humanity","type":"address"},{"name":"_exchange","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"proposalId","type":"uint256"},{"indexed":true,"name":"applicant","type":"address"},{"indexed":false,"name":"username","type":"string"}],"name":"Apply","type":"event"}]

60806040523480156200001157600080fd5b50604051608080620015b28339810180604052620000339190810190620002df565b83838383838383826000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663095ea7b36000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6040518363ffffffff1660e01b81526004016200019c9291906200036d565b602060405180830381600087803b158015620001b757600080fd5b505af1158015620001cc573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250620001f29190810190620002b3565b5050505080600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505050505050505062000468565b6000620002538251620003ec565b905092915050565b6000620002698251620003f8565b905092915050565b60006200027f82516200040c565b905092915050565b600062000295825162000420565b905092915050565b6000620002ab825162000434565b905092915050565b600060208284031215620002c657600080fd5b6000620002d68482850162000245565b91505092915050565b60008060008060808587031215620002f657600080fd5b6000620003068782880162000271565b9450506020620003198782880162000287565b93505060406200032c878288016200025b565b92505060606200033f878288016200029d565b91505092959194509250565b62000356816200039a565b82525050565b6200036781620003ce565b82525050565b60006040820190506200038460008301856200034b565b6200039360208301846200035c565b9392505050565b6000620003a782620003ae565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000620003e58262000448565b9050919050565b60008115159050919050565b60006200040582620003d8565b9050919050565b60006200041982620003d8565b9050919050565b60006200042d82620003d8565b9050919050565b60006200044182620003d8565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b61113a80620004786000396000f3fe6080604052600436106100915760003560e01c80635aa6e675116100595780635aa6e675146101985780637b103999146101c35780638a17611a146101ee578063d2f7265a1461021e578063f63a03a71461024957610091565b80630b6e78b71461009357806337ea0de2146100d057806348e8681b1461010d57806349f81a201461013d57806351e6a9f514610168575b005b34801561009f57600080fd5b506100ba60048036036100b59190810190610ac8565b610286565b6040516100c79190610e8e565b60405180910390f35b3480156100dc57600080fd5b506100f760048036036100f29190810190610a9f565b6102ed565b6040516101049190610e8e565b60405180910390f35b61012760048036036101229190810190610ac8565b6106dc565b6040516101349190610e8e565b60405180910390f35b34801561014957600080fd5b50610152610743565b60405161015f9190610dc0565b60405180910390f35b610182600480360361017d9190810190610a9f565b610769565b60405161018f9190610e8e565b60405180910390f35b3480156101a457600080fd5b506101ad610922565b6040516101ba9190610ddb565b60405180910390f35b3480156101cf57600080fd5b506101d8610947565b6040516101e59190610df6565b60405180910390f35b61020860048036036102039190810190610b45565b61096d565b6040516102159190610e8e565b60405180910390f35b34801561022a57600080fd5b50610233610980565b6040516102409190610e11565b60405180910390f35b34801561025557600080fd5b50610270600480360361026b9190810190610b45565b6109a6565b60405161027d9190610e8e565b60405180910390f35b600080610292846102ed565b90508373ffffffffffffffffffffffffffffffffffffffff16817fa760eea069988dd86998d7cfc5e919ffbec5a4f878497ebe16c16bd2d7d79544856040516102db9190610e2c565b60405180910390a38091505092915050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c27cabb56040518163ffffffff1660e01b815260040160206040518083038186803b15801561035757600080fd5b505afa15801561036b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061038f9190810190610b86565b90506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016103ee9190610d30565b60206040518083038186803b15801561040657600080fd5b505afa15801561041a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061043e9190810190610b86565b90508082111561054b57600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd333061049b85876109b990919063ffffffff16565b6040518463ffffffff1660e01b81526004016104b993929190610d89565b602060405180830381600087803b1580156104d357600080fd5b505af11580156104e7573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061050b9190810190610b1c565b61054a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161054190610e4e565b60405180910390fd5b5b6060600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16630a3b0a4f905060e01b856040516024016105a19190610d30565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838183161783525050505090506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e3c3b20033600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518463ffffffff1660e01b815260040161068093929190610d4b565b602060405180830381600087803b15801561069a57600080fd5b505af11580156106ae573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506106d29190810190610b86565b9350505050919050565b6000806106e884610769565b90508373ffffffffffffffffffffffffffffffffffffffff16817fa760eea069988dd86998d7cfc5e919ffbec5a4f878497ebe16c16bd2d7d79544856040516107319190610e2c565b60405180910390a38091505092915050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c27cabb56040518163ffffffff1660e01b815260040160206040518083038186803b1580156107d357600080fd5b505afa1580156107e7573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061080b9190810190610b86565b9050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636b1d4db73483426040518463ffffffff1660e01b815260040161086b929190610ea9565b6020604051808303818588803b15801561088457600080fd5b505af1158015610898573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052506108bd9190810190610b86565b5060006108c9846102ed565b90503373ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050508092505050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600061097933836106dc565b9050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006109b23383610286565b9050919050565b6000828211156109fe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109f590610e6e565b60405180910390fd5b600082840390508091505092915050565b6000610a1b8235610f9f565b905092915050565b6000610a2f8251610fb1565b905092915050565b600082601f830112610a4857600080fd5b8135610a5b610a5682610eff565b610ed2565b91508082526020830160208301858383011115610a7757600080fd5b610a828382846110ad565b50505092915050565b6000610a978251610fdd565b905092915050565b600060208284031215610ab157600080fd5b6000610abf84828501610a0f565b91505092915050565b60008060408385031215610adb57600080fd5b6000610ae985828601610a0f565b925050602083013567ffffffffffffffff811115610b0657600080fd5b610b1285828601610a37565b9150509250929050565b600060208284031215610b2e57600080fd5b6000610b3c84828501610a23565b91505092915050565b600060208284031215610b5757600080fd5b600082013567ffffffffffffffff811115610b7157600080fd5b610b7d84828501610a37565b91505092915050565b600060208284031215610b9857600080fd5b6000610ba684828501610a8b565b91505092915050565b610bb881610fe7565b82525050565b610bc781610f63565b82525050565b6000610bd882610f2b565b610be28185610f41565b9350610bf28185602086016110bc565b610bfb816110ef565b840191505092915050565b610c0f81610ff9565b82525050565b610c1e8161101d565b82525050565b610c2d81611041565b82525050565b610c3c81611065565b82525050565b6000610c4d82610f36565b610c578185610f52565b9350610c678185602086016110bc565b610c70816110ef565b840191505092915050565b6000610c88602c83610f52565b91507f48756d616e6974794170706c6963616e743a3a6170706c79466f723a2054726160008301527f6e73666572206661696c656400000000000000000000000000000000000000006020830152604082019050919050565b6000610cee602083610f52565b91507f536166654d6174683a3a7375623a20496e746567657220756e646572666c6f776000830152602082019050919050565b610d2a81610f95565b82525050565b6000602082019050610d456000830184610bbe565b92915050565b6000606082019050610d606000830186610baf565b610d6d6020830185610bbe565b8181036040830152610d7f8184610bcd565b9050949350505050565b6000606082019050610d9e6000830186610baf565b610dab6020830185610bbe565b610db86040830184610d21565b949350505050565b6000602082019050610dd56000830184610c06565b92915050565b6000602082019050610df06000830184610c15565b92915050565b6000602082019050610e0b6000830184610c24565b92915050565b6000602082019050610e266000830184610c33565b92915050565b60006020820190508181036000830152610e468184610c42565b905092915050565b60006020820190508181036000830152610e6781610c7b565b9050919050565b60006020820190508181036000830152610e8781610ce1565b9050919050565b6000602082019050610ea36000830184610d21565b92915050565b6000604082019050610ebe6000830185610d21565b610ecb6020830184610d21565b9392505050565b6000604051905081810181811067ffffffffffffffff82111715610ef557600080fd5b8060405250919050565b600067ffffffffffffffff821115610f1657600080fd5b601f19601f8301169050602081019050919050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b6000610f6e82610f75565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000610faa82610fbd565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000610ff282611089565b9050919050565b60006110048261100b565b9050919050565b600061101682610f75565b9050919050565b60006110288261102f565b9050919050565b600061103a82610f75565b9050919050565b600061104c82611053565b9050919050565b600061105e82610f75565b9050919050565b600061107082611077565b9050919050565b600061108282610f75565b9050919050565b60006110948261109b565b9050919050565b60006110a682610f75565b9050919050565b82818337600083830152505050565b60005b838110156110da5780820151818401526020810190506110bf565b838111156110e9576000848401525b50505050565b6000601f19601f830116905091905056fea265627a7a7230582054158885b05a131306bb0981f6123df6e36b53d33af4559c9aa135f108b0da056c6578706572696d656e74616cf50037000000000000000000000000dd806c4fdad2949a97fda79036cfbb8750181b370000000000000000000000004ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e90000000000000000000000000bbd1706d16418bb136e1497a73d3af4164586da0000000000000000000000000e499657190d515119077af5d64f44b6f850baea5

0x6080604052600436106100915760003560e01c80635aa6e675116100595780635aa6e675146101985780637b103999146101c35780638a17611a146101ee578063d2f7265a1461021e578063f63a03a71461024957610091565b80630b6e78b71461009357806337ea0de2146100d057806348e8681b1461010d57806349f81a201461013d57806351e6a9f514610168575b005b34801561009f57600080fd5b506100ba60048036036100b59190810190610ac8565b610286565b6040516100c79190610e8e565b60405180910390f35b3480156100dc57600080fd5b506100f760048036036100f29190810190610a9f565b6102ed565b6040516101049190610e8e565b60405180910390f35b61012760048036036101229190810190610ac8565b6106dc565b6040516101349190610e8e565b60405180910390f35b34801561014957600080fd5b50610152610743565b60405161015f9190610dc0565b60405180910390f35b610182600480360361017d9190810190610a9f565b610769565b60405161018f9190610e8e565b60405180910390f35b3480156101a457600080fd5b506101ad610922565b6040516101ba9190610ddb565b60405180910390f35b3480156101cf57600080fd5b506101d8610947565b6040516101e59190610df6565b60405180910390f35b61020860048036036102039190810190610b45565b61096d565b6040516102159190610e8e565b60405180910390f35b34801561022a57600080fd5b50610233610980565b6040516102409190610e11565b60405180910390f35b34801561025557600080fd5b50610270600480360361026b9190810190610b45565b6109a6565b60405161027d9190610e8e565b60405180910390f35b600080610292846102ed565b90508373ffffffffffffffffffffffffffffffffffffffff16817fa760eea069988dd86998d7cfc5e919ffbec5a4f878497ebe16c16bd2d7d79544856040516102db9190610e2c565b60405180910390a38091505092915050565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c27cabb56040518163ffffffff1660e01b815260040160206040518083038186803b15801561035757600080fd5b505afa15801561036b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061038f9190810190610b86565b90506000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016103ee9190610d30565b60206040518083038186803b15801561040657600080fd5b505afa15801561041a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061043e9190810190610b86565b90508082111561054b57600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd333061049b85876109b990919063ffffffff16565b6040518463ffffffff1660e01b81526004016104b993929190610d89565b602060405180830381600087803b1580156104d357600080fd5b505af11580156104e7573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061050b9190810190610b1c565b61054a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161054190610e4e565b60405180910390fd5b5b6060600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16630a3b0a4f905060e01b856040516024016105a19190610d30565b604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838183161783525050505090506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e3c3b20033600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518463ffffffff1660e01b815260040161068093929190610d4b565b602060405180830381600087803b15801561069a57600080fd5b505af11580156106ae573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506106d29190810190610b86565b9350505050919050565b6000806106e884610769565b90508373ffffffffffffffffffffffffffffffffffffffff16817fa760eea069988dd86998d7cfc5e919ffbec5a4f878497ebe16c16bd2d7d79544856040516107319190610e2c565b60405180910390a38091505092915050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c27cabb56040518163ffffffff1660e01b815260040160206040518083038186803b1580156107d357600080fd5b505afa1580156107e7573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061080b9190810190610b86565b9050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636b1d4db73483426040518463ffffffff1660e01b815260040161086b929190610ea9565b6020604051808303818588803b15801561088457600080fd5b505af1158015610898573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052506108bd9190810190610b86565b5060006108c9846102ed565b90503373ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050508092505050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600061097933836106dc565b9050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006109b23383610286565b9050919050565b6000828211156109fe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109f590610e6e565b60405180910390fd5b600082840390508091505092915050565b6000610a1b8235610f9f565b905092915050565b6000610a2f8251610fb1565b905092915050565b600082601f830112610a4857600080fd5b8135610a5b610a5682610eff565b610ed2565b91508082526020830160208301858383011115610a7757600080fd5b610a828382846110ad565b50505092915050565b6000610a978251610fdd565b905092915050565b600060208284031215610ab157600080fd5b6000610abf84828501610a0f565b91505092915050565b60008060408385031215610adb57600080fd5b6000610ae985828601610a0f565b925050602083013567ffffffffffffffff811115610b0657600080fd5b610b1285828601610a37565b9150509250929050565b600060208284031215610b2e57600080fd5b6000610b3c84828501610a23565b91505092915050565b600060208284031215610b5757600080fd5b600082013567ffffffffffffffff811115610b7157600080fd5b610b7d84828501610a37565b91505092915050565b600060208284031215610b9857600080fd5b6000610ba684828501610a8b565b91505092915050565b610bb881610fe7565b82525050565b610bc781610f63565b82525050565b6000610bd882610f2b565b610be28185610f41565b9350610bf28185602086016110bc565b610bfb816110ef565b840191505092915050565b610c0f81610ff9565b82525050565b610c1e8161101d565b82525050565b610c2d81611041565b82525050565b610c3c81611065565b82525050565b6000610c4d82610f36565b610c578185610f52565b9350610c678185602086016110bc565b610c70816110ef565b840191505092915050565b6000610c88602c83610f52565b91507f48756d616e6974794170706c6963616e743a3a6170706c79466f723a2054726160008301527f6e73666572206661696c656400000000000000000000000000000000000000006020830152604082019050919050565b6000610cee602083610f52565b91507f536166654d6174683a3a7375623a20496e746567657220756e646572666c6f776000830152602082019050919050565b610d2a81610f95565b82525050565b6000602082019050610d456000830184610bbe565b92915050565b6000606082019050610d606000830186610baf565b610d6d6020830185610bbe565b8181036040830152610d7f8184610bcd565b9050949350505050565b6000606082019050610d9e6000830186610baf565b610dab6020830185610bbe565b610db86040830184610d21565b949350505050565b6000602082019050610dd56000830184610c06565b92915050565b6000602082019050610df06000830184610c15565b92915050565b6000602082019050610e0b6000830184610c24565b92915050565b6000602082019050610e266000830184610c33565b92915050565b60006020820190508181036000830152610e468184610c42565b905092915050565b60006020820190508181036000830152610e6781610c7b565b9050919050565b60006020820190508181036000830152610e8781610ce1565b9050919050565b6000602082019050610ea36000830184610d21565b92915050565b6000604082019050610ebe6000830185610d21565b610ecb6020830184610d21565b9392505050565b6000604051905081810181811067ffffffffffffffff82111715610ef557600080fd5b8060405250919050565b600067ffffffffffffffff821115610f1657600080fd5b601f19601f8301169050602081019050919050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600082825260208201905092915050565b6000610f6e82610f75565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000610faa82610fbd565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000610ff282611089565b9050919050565b60006110048261100b565b9050919050565b600061101682610f75565b9050919050565b60006110288261102f565b9050919050565b600061103a82610f75565b9050919050565b600061104c82611053565b9050919050565b600061105e82610f75565b9050919050565b600061107082611077565b9050919050565b600061108282610f75565b9050919050565b60006110948261109b565b9050919050565b60006110a682610f75565b9050919050565b82818337600083830152505050565b60005b838110156110da5780820151818401526020810190506110bf565b838111156110e9576000848401525b50505050565b6000601f19601f830116905091905056fea265627a7a7230582054158885b05a131306bb0981f6123df6e36b53d33af4559c9aa135f108b0da056c6578706572696d656e74616cf50037

000000000000000000000000dd806c4fdad2949a97fda79036cfbb8750181b370000000000000000000000004ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e90000000000000000000000000bbd1706d16418bb136e1497a73d3af4164586da0000000000000000000000000e499657190d515119077af5d64f44b6f850baea5

-----Decoded View---------------
Arg [0] : _governance (address): 0xDd806c4fDAd2949a97Fda79036cfbb8750181b37
Arg [1] : _registry (address): 0x4EE46dc4962C2c2F6bcd4C098a0E2b28f66A5E90
Arg [2] : _humanity (address): 0xbBd1706d16418bb136e1497A73d3af4164586DA0
Arg [3] : _exchange (address): 0xE499657190D515119077aF5D64F44b6f850BaEa5

-----Encoded View---------------
4 Constructor Arguments found :
Arg [0] : 000000000000000000000000dd806c4fdad2949a97fda79036cfbb8750181b37
Arg [1] : 0000000000000000000000004ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e90
Arg [2] : 000000000000000000000000bbd1706d16418bb136e1497a73d3af4164586da0
Arg [3] : 000000000000000000000000e499657190d515119077af5d64f44b6f850baea5

5484:1194:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6035:214;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6035:214:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;3851:515;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3851:515:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6432:241;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;3566:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3566:22:0;;;:::i;:::-;;;;;;;;;;;;;;;;4873:450;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;3498:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3498:29:0;;;:::i;:::-;;;;;;;;;;;;;;;;3534:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3534:25:0;;;:::i;:::-;;;;;;;;;;;;;;;;6257:167;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4568:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4568:32:0;;;:::i;:::-;;;;;;;;;;;;;;;;5888:139;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5888:139:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6035:214;6117:4;6134:15;6152:13;6161:3;6152:8;:13::i;:::-;6134:31;;6199:3;6181:32;;6187:10;6181:32;6204:8;6181:32;;;;;;;;;;;;;;;6231:10;6224:17;;;6035:214;;;;:::o;3851:515::-;3898:4;3915:8;3926:10;;;;;;;;;;;:22;;;:24;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3926:24:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3926:24:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;3926:24:0;;;;;;;;;3915:35;;3961:12;3976:8;;;;;;;;;;;:18;;;4003:4;3976:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3976:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3976:33:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;3976:33:0;;;;;;;;;3961:48;;4030:7;4024:3;:13;4020:169;;;4062:8;;;;;;;;;;;:21;;;4084:10;4104:4;4111:16;4119:7;4111:3;:7;;:16;;;;:::i;:::-;4062:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4062:66:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4062:66:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;4062:66:0;;;;;;;;;4054:123;;;;;;;;;;;;;;;;;;;;;;4020:169;4199:17;4242:8;;;;;;;;;;;:12;;;:21;;;;4265:3;4219:50;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;4219:50:0;;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;4219:50:0;4199:70;;4287:10;;;;;;;;;;;:34;;;4322:10;4342:8;;;;;;;;;;;4353:4;4287:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4287:71:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4287:71:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;4287:71:0;;;;;;;;;4280:78;;;;;3851:515;;;:::o;6432:241::-;6532:4;6549:15;6567:22;6585:3;6567:17;:22::i;:::-;6549:40;;6623:3;6605:32;;6611:10;6605:32;6628:8;6605:32;;;;;;;;;;;;;;;6655:10;6648:17;;;6432:241;;;;:::o;3566:22::-;;;;;;;;;;;;;:::o;4873:450::-;4937:4;5001:8;5012:10;;;;;;;;;;;:22;;;:24;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5012:24:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5012:24:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;5012:24:0;;;;;;;;;5001:35;;5047:8;;;;;;;;;;;:29;;;5083:9;5094:3;5099:15;5047:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5047:68:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5047:68:0;;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;5047:68:0;;;;;;;;;;5162:15;5180:13;5189:3;5180:8;:13::i;:::-;5162:31;;5247:10;:15;;:38;5271:4;5263:21;;;5247:38;;;;;;;;;;;;;;;;;;;;;;;;5305:10;5298:17;;;;4873:450;;;:::o;3498:29::-;;;;;;;;;;;;;:::o;3534:25::-;;;;;;;;;;;;;:::o;6257:167::-;6341:4;6365:51;6395:10;6407:8;6365:29;:51::i;:::-;6358:58;;6257:167;;;:::o;4568:32::-;;;;;;;;;;;;;:::o;5888:139::-;5954:4;5978:41;5998:10;6010:8;5978:19;:41::i;:::-;5971:48;;5888:139;;;:::o;2537:186::-;2595:7;2628:1;2623;:6;;2615:51;;;;;;;;;;;;;;;;;;;;;;2677:9;2693:1;2689;:5;2677:17;;2714:1;2707:8;;;2537:186;;;;:::o;5:118:-1:-;;72:46;110:6;97:20;72:46;;;63:55;;57:66;;;;;130:116;;205:36;233:6;227:13;205:36;;;196:45;;190:56;;;;;254:442;;356:3;349:4;341:6;337:17;333:27;323:2;;374:1;371;364:12;323:2;411:6;398:20;433:65;448:49;490:6;448:49;;;433:65;;;424:74;;518:6;511:5;504:21;554:4;546:6;542:17;587:4;580:5;576:16;622:3;613:6;608:3;604:16;601:25;598:2;;;639:1;636;629:12;598:2;649:41;683:6;678:3;673;649:41;;;316:380;;;;;;;;704:122;;782:39;813:6;807:13;782:39;;;773:48;;767:59;;;;;833:241;;937:2;925:9;916:7;912:23;908:32;905:2;;;953:1;950;943:12;905:2;988:1;1005:53;1050:7;1041:6;1030:9;1026:22;1005:53;;;995:63;;967:97;899:175;;;;;1081:472;;;1212:2;1200:9;1191:7;1187:23;1183:32;1180:2;;;1228:1;1225;1218:12;1180:2;1263:1;1280:53;1325:7;1316:6;1305:9;1301:22;1280:53;;;1270:63;;1242:97;1398:2;1387:9;1383:18;1370:32;1422:18;1414:6;1411:30;1408:2;;;1454:1;1451;1444:12;1408:2;1474:63;1529:7;1520:6;1509:9;1505:22;1474:63;;;1464:73;;1349:194;1174:379;;;;;;1560:257;;1672:2;1660:9;1651:7;1647:23;1643:32;1640:2;;;1688:1;1685;1678:12;1640:2;1723:1;1740:61;1793:7;1784:6;1773:9;1769:22;1740:61;;;1730:71;;1702:105;1634:183;;;;;1824:347;;1938:2;1926:9;1917:7;1913:23;1909:32;1906:2;;;1954:1;1951;1944:12;1906:2;2017:1;2006:9;2002:17;1989:31;2040:18;2032:6;2029:30;2026:2;;;2072:1;2069;2062:12;2026:2;2092:63;2147:7;2138:6;2127:9;2123:22;2092:63;;;2082:73;;1968:193;1900:271;;;;;2178:263;;2293:2;2281:9;2272:7;2268:23;2264:32;2261:2;;;2309:1;2306;2299:12;2261:2;2344:1;2361:64;2417:7;2408:6;2397:9;2393:22;2361:64;;;2351:74;;2323:108;2255:186;;;;;2448:142;2539:45;2578:5;2539:45;;;2534:3;2527:58;2521:69;;;2597:120;2680:31;2705:5;2680:31;;;2675:3;2668:44;2662:55;;;2724:343;;2834:38;2866:5;2834:38;;;2884:70;2947:6;2942:3;2884:70;;;2877:77;;2959:52;3004:6;2999:3;2992:4;2985:5;2981:16;2959:52;;;3032:29;3054:6;3032:29;;;3027:3;3023:39;3016:46;;2814:253;;;;;;3074:152;3170:50;3214:5;3170:50;;;3165:3;3158:63;3152:74;;;3233:164;3335:56;3385:5;3335:56;;;3330:3;3323:69;3317:80;;;3404:158;3503:53;3550:5;3503:53;;;3498:3;3491:66;3485:77;;;3569:172;3675:60;3729:5;3675:60;;;3670:3;3663:73;3657:84;;;3748:347;;3860:39;3893:5;3860:39;;;3911:71;3975:6;3970:3;3911:71;;;3904:78;;3987:52;4032:6;4027:3;4020:4;4013:5;4009:16;3987:52;;;4060:29;4082:6;4060:29;;;4055:3;4051:39;4044:46;;3840:255;;;;;;4103:465;;4263:67;4327:2;4322:3;4263:67;;;4256:74;;4363:66;4359:1;4354:3;4350:11;4343:87;4464:66;4459:2;4454:3;4450:12;4443:88;4559:2;4554:3;4550:12;4543:19;;4249:319;;;;4577:364;;4737:67;4801:2;4796:3;4737:67;;;4730:74;;4837:66;4833:1;4828:3;4824:11;4817:87;4932:2;4927:3;4923:12;4916:19;;4723:218;;;;4949:120;5032:31;5057:5;5032:31;;;5027:3;5020:44;5014:55;;;5076:213;;5194:2;5183:9;5179:18;5171:26;;5208:71;5276:1;5265:9;5261:17;5252:6;5208:71;;;5165:124;;;;;5296:535;;5496:2;5485:9;5481:18;5473:26;;5510:79;5586:1;5575:9;5571:17;5562:6;5510:79;;;5600:72;5668:2;5657:9;5653:18;5644:6;5600:72;;;5720:9;5714:4;5710:20;5705:2;5694:9;5690:18;5683:48;5745:76;5816:4;5807:6;5745:76;;;5737:84;;5467:364;;;;;;;5838:451;;6020:2;6009:9;6005:18;5997:26;;6034:79;6110:1;6099:9;6095:17;6086:6;6034:79;;;6124:72;6192:2;6181:9;6177:18;6168:6;6124:72;;;6207;6275:2;6264:9;6260:18;6251:6;6207:72;;;5991:298;;;;;;;6296:239;;6427:2;6416:9;6412:18;6404:26;;6441:84;6522:1;6511:9;6507:17;6498:6;6441:84;;;6398:137;;;;;6542:251;;6679:2;6668:9;6664:18;6656:26;;6693:90;6780:1;6769:9;6765:17;6756:6;6693:90;;;6650:143;;;;;6800:245;;6934:2;6923:9;6919:18;6911:26;;6948:87;7032:1;7021:9;7017:17;7008:6;6948:87;;;6905:140;;;;;7052:259;;7193:2;7182:9;7178:18;7170:26;;7207:94;7298:1;7287:9;7283:17;7274:6;7207:94;;;7164:147;;;;;7318:301;;7456:2;7445:9;7441:18;7433:26;;7506:9;7500:4;7496:20;7492:1;7481:9;7477:17;7470:47;7531:78;7604:4;7595:6;7531:78;;;7523:86;;7427:192;;;;;7626:407;;7817:2;7806:9;7802:18;7794:26;;7867:9;7861:4;7857:20;7853:1;7842:9;7838:17;7831:47;7892:131;8018:4;7892:131;;;7884:139;;7788:245;;;;8040:407;;8231:2;8220:9;8216:18;8208:26;;8281:9;8275:4;8271:20;8267:1;8256:9;8252:17;8245:47;8306:131;8432:4;8306:131;;;8298:139;;8202:245;;;;8454:213;;8572:2;8561:9;8557:18;8549:26;;8586:71;8654:1;8643:9;8639:17;8630:6;8586:71;;;8543:124;;;;;8674:324;;8820:2;8809:9;8805:18;8797:26;;8834:71;8902:1;8891:9;8887:17;8878:6;8834:71;;;8916:72;8984:2;8973:9;8969:18;8960:6;8916:72;;;8791:207;;;;;;9005:256;;9067:2;9061:9;9051:19;;9105:4;9097:6;9093:17;9204:6;9192:10;9189:22;9168:18;9156:10;9153:34;9150:62;9147:2;;;9225:1;9222;9215:12;9147:2;9245:10;9241:2;9234:22;9045:216;;;;;9268:259;;9412:18;9404:6;9401:30;9398:2;;;9444:1;9441;9434:12;9398:2;9488:4;9484:9;9477:4;9469:6;9465:17;9461:33;9453:41;;9517:4;9511;9507:15;9499:23;;9335:192;;;;9534:91;;9614:5;9608:12;9598:22;;9592:33;;;;9632:92;;9713:5;9707:12;9697:22;;9691:33;;;;9732:162;;9846:6;9841:3;9834:19;9883:4;9878:3;9874:14;9859:29;;9827:67;;;;;9903:163;;10018:6;10013:3;10006:19;10055:4;10050:3;10046:14;10031:29;;9999:67;;;;;10074:105;;10143:31;10168:5;10143:31;;;10132:42;;10126:53;;;;10186:128;;10266:42;10259:5;10255:54;10244:65;;10238:76;;;;10321:79;;10390:5;10379:16;;10373:27;;;;10407:105;;10476:31;10501:5;10476:31;;;10465:42;;10459:53;;;;10519:92;;10599:5;10592:13;10585:21;10574:32;;10568:43;;;;10618:128;;10698:42;10691:5;10687:54;10676:65;;10670:76;;;;10753:79;;10822:5;10811:16;;10805:27;;;;10839:129;;10926:37;10957:5;10926:37;;;10913:50;;10907:61;;;;10975:147;;11067:50;11111:5;11067:50;;;11054:63;;11048:74;;;;11129:128;;11221:31;11246:5;11221:31;;;11208:44;;11202:55;;;;11264:159;;11362:56;11412:5;11362:56;;;11349:69;;11343:80;;;;11430:134;;11528:31;11553:5;11528:31;;;11515:44;;11509:55;;;;11571:153;;11666:53;11713:5;11666:53;;;11653:66;;11647:77;;;;11731:131;;11826:31;11851:5;11826:31;;;11813:44;;11807:55;;;;11869:167;;11971:60;12025:5;11971:60;;;11958:73;;11952:84;;;;12043:138;;12145:31;12170:5;12145:31;;;12132:44;;12126:55;;;;12188:121;;12267:37;12298:5;12267:37;;;12254:50;;12248:61;;;;12316:115;;12395:31;12420:5;12395:31;;;12382:44;;12376:55;;;;12439:145;12520:6;12515:3;12510;12497:30;12576:1;12567:6;12562:3;12558:16;12551:27;12490:94;;;;12593:268;12658:1;12665:101;12679:6;12676:1;12673:13;12665:101;;;12755:1;12750:3;12746:11;12740:18;12736:1;12731:3;12727:11;12720:39;12701:2;12698:1;12694:10;12689:15;;12665:101;;;12781:6;12778:1;12775:13;12772:2;;;12846:1;12837:6;12832:3;12828:16;12821:27;12772:2;12642:219;;;;;12869:97;;12957:2;12953:7;12948:2;12941:5;12937:14;12933:28;12923:38;;12917:49;;;

bzzr://54158885b05a131306bb0981f6123df6e36b53d33af4559c9aa135f108b0da05