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 ...
• 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 IHumanity
•    - function mint(address account, uint25 ...
•    - function totalSupply()
•  contract HumanityRegistry
•    - function add(address who)
•    - function remove(address who)
•    - function isHuman(address who)
•    - function _reward(address who)
•  contract UniversalBasicIncome *
•    - function claim()

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


contract IHumanity {
    function mint(address account, uint256 value) public;
    function totalSupply() public view returns (uint256);
}


/**
 * @title HumanityRegistry
 * @dev A list of Ethereum addresses that belong to unique humans as determined by Humanity governance.
 */
contract HumanityRegistry {

    mapping (address => bool) public humans;

    IHumanity public humanity;
    address public governance;

    constructor(IHumanity _humanity, address _governance) public {
        humanity = _humanity;
        governance = _governance;
    }

    function add(address who) public {
        require(msg.sender == governance, "HumanityRegistry::add: Only governance can add an identity");
        require(humans[who] == false, "HumanityRegistry::add: Address is already on the registry");

        _reward(who);
        humans[who] = true;
    }

    function remove(address who) public {
        require(
            msg.sender == governance || msg.sender == who,
            "HumanityRegistry::remove: Only governance or the identity owner can remove an identity"
        );
        delete humans[who];
    }

    function isHuman(address who) public view returns (bool) {
        return humans[who];
    }

    function _reward(address who) internal {
        uint totalSupply = humanity.totalSupply();

        if (totalSupply < 28000000e18) {
            humanity.mint(who, 30000e18); // 1 - 100
        } else if (totalSupply < 46000000e18) {
            humanity.mint(who, 20000e18); // 101 - 1000
        } else if (totalSupply < 100000000e18) {
            humanity.mint(who, 6000e18); // 1001 - 10000
        }

    }

}


/**
 * @title UniversalBasicIncome
 * @dev Dai that can be claimed by humans on the Human Registry.
 */
contract UniversalBasicIncome {
    using SafeMath for uint;

    HumanityRegistry public registry;
    IERC20 public dai;

    uint public constant MONTHLY_INCOME = 1e18; // 1 Dai
    uint public constant INCOME_PER_SECOND = MONTHLY_INCOME / 30 days;

    mapping (address => uint) public claimTimes;

    constructor(HumanityRegistry _registry, IERC20 _dai) public {
        registry = _registry;
        dai = _dai;
    }

    function claim() public {
        require(registry.isHuman(msg.sender), "UniversalBasicIncome::claim: You must be on the Humanity registry to claim income");

        uint income;
        uint time = block.timestamp;

        // If claiming for the first time, send 1 month of UBI
        if (claimTimes[msg.sender] == 0) {
            income = MONTHLY_INCOME;
        } else {
            income = time.sub(claimTimes[msg.sender]).mul(INCOME_PER_SECOND);
        }

        uint balance = dai.balanceOf(address(this));
        // If not enough Dai reserves, send the remaining balance
        uint actualIncome = balance < income ? balance : income;

        dai.transfer(msg.sender, actualIncome);
        claimTimes[msg.sender] = time;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[],"name":"claim","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"registry","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"INCOME_PER_SECOND","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"claimTimes","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MONTHLY_INCOME","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"dai","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_registry","type":"address"},{"name":"_dai","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"}]

608060405234801561001057600080fd5b50604051604080610bcf833981018060405261002f91908101906100df565b816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050610171565b60006100c3825161012d565b905092915050565b60006100d7825161013f565b905092915050565b600080604083850312156100f257600080fd5b6000610100858286016100b7565b9250506020610111858286016100cb565b9150509250929050565b600061012682610151565b9050919050565b60006101388261011b565b9050919050565b600061014a8261011b565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b610a4f806101806000396000f3fe608060405234801561001057600080fd5b50600436106100625760003560e01c80634e71d92d146100675780637b103999146100715780637e42b2b11461008f578063b89ea402146100ad578063ee8bb63c146100dd578063f4b9fa75146100fb575b600080fd5b61006f610119565b005b610079610497565b6040516100869190610851565b60405180910390f35b6100976104bc565b6040516100a491906108e7565b60405180910390f35b6100c760048036036100c29190810190610620565b6104d4565b6040516100d491906108e7565b60405180910390f35b6100e56104ec565b6040516100f291906108e7565b60405180910390f35b6101036104f8565b604051610110919061086c565b60405180910390f35b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f72c436f336040518263ffffffff1660e01b8152600401610173919061080d565b60206040518083038186803b15801561018b57600080fd5b505afa15801561019f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506101c39190810190610649565b610202576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101f9906108c7565b60405180910390fd5b6000804290506000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054141561026057670de0b6b3a764000091506102db565b6102d862278d00670de0b6b3a76400008161027757fe5b046102ca600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548461051e90919063ffffffff16565b61057490919063ffffffff16565b91505b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161033891906107f2565b60206040518083038186803b15801561035057600080fd5b505afa158015610364573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506103889190810190610672565b90506000838210610399578361039b565b815b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b81526004016103fa929190610828565b602060405180830381600087803b15801561041457600080fd5b505af1158015610428573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061044c9190810190610649565b5082600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b62278d00670de0b6b3a7640000816104d057fe5b0481565b60026020528060005260406000206000915090505481565b670de0b6b3a764000081565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600082821115610563576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161055a906108a7565b60405180910390fd5b600082840390508091505092915050565b60008083141561058757600090506105de565b600082840290508284828161059857fe5b04146105d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d090610887565b60405180910390fd5b809150505b92915050565b60006105f0823561094f565b905092915050565b60006106048251610961565b905092915050565b6000610618825161098d565b905092915050565b60006020828403121561063257600080fd5b6000610640848285016105e4565b91505092915050565b60006020828403121561065b57600080fd5b6000610669848285016105f8565b91505092915050565b60006020828403121561068457600080fd5b60006106928482850161060c565b91505092915050565b6106a481610997565b82525050565b6106b381610913565b82525050565b6106c2816109a9565b82525050565b6106d1816109cd565b82525050565b60006106e4601f83610902565b91507f536166654d6174683a3a6d756c3a20496e7465676572206f766572666c6f77006000830152602082019050919050565b6000610724602083610902565b91507f536166654d6174683a3a7375623a20496e746567657220756e646572666c6f776000830152602082019050919050565b6000610764605183610902565b91507f556e6976657273616c4261736963496e636f6d653a3a636c61696d3a20596f7560008301527f206d757374206265206f6e207468652048756d616e697479207265676973747260208301527f7920746f20636c61696d20696e636f6d650000000000000000000000000000006040830152606082019050919050565b6107ec81610945565b82525050565b600060208201905061080760008301846106aa565b92915050565b6000602082019050610822600083018461069b565b92915050565b600060408201905061083d600083018561069b565b61084a60208301846107e3565b9392505050565b600060208201905061086660008301846106b9565b92915050565b600060208201905061088160008301846106c8565b92915050565b600060208201905081810360008301526108a0816106d7565b9050919050565b600060208201905081810360008301526108c081610717565b9050919050565b600060208201905081810360008301526108e081610757565b9050919050565b60006020820190506108fc60008301846107e3565b92915050565b600082825260208201905092915050565b600061091e82610925565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061095a8261096d565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60006109a2826109f1565b9050919050565b60006109b4826109bb565b9050919050565b60006109c682610925565b9050919050565b60006109d8826109df565b9050919050565b60006109ea82610925565b9050919050565b60006109fc82610a03565b9050919050565b6000610a0e82610925565b905091905056fea265627a7a72305820464e4e74d5100a4d20a07a128bb02e33fe44b5750eb24bfa0ad4dfe5bb7395af6c6578706572696d656e74616cf500370000000000000000000000004ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e9000000000000000000000000089d24a6b4ccb1b6faa2625fe562bdd9a23260359

0x608060405234801561001057600080fd5b50600436106100625760003560e01c80634e71d92d146100675780637b103999146100715780637e42b2b11461008f578063b89ea402146100ad578063ee8bb63c146100dd578063f4b9fa75146100fb575b600080fd5b61006f610119565b005b610079610497565b6040516100869190610851565b60405180910390f35b6100976104bc565b6040516100a491906108e7565b60405180910390f35b6100c760048036036100c29190810190610620565b6104d4565b6040516100d491906108e7565b60405180910390f35b6100e56104ec565b6040516100f291906108e7565b60405180910390f35b6101036104f8565b604051610110919061086c565b60405180910390f35b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f72c436f336040518263ffffffff1660e01b8152600401610173919061080d565b60206040518083038186803b15801561018b57600080fd5b505afa15801561019f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506101c39190810190610649565b610202576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101f9906108c7565b60405180910390fd5b6000804290506000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054141561026057670de0b6b3a764000091506102db565b6102d862278d00670de0b6b3a76400008161027757fe5b046102ca600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548461051e90919063ffffffff16565b61057490919063ffffffff16565b91505b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161033891906107f2565b60206040518083038186803b15801561035057600080fd5b505afa158015610364573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506103889190810190610672565b90506000838210610399578361039b565b815b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33836040518363ffffffff1660e01b81526004016103fa929190610828565b602060405180830381600087803b15801561041457600080fd5b505af1158015610428573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061044c9190810190610649565b5082600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b62278d00670de0b6b3a7640000816104d057fe5b0481565b60026020528060005260406000206000915090505481565b670de0b6b3a764000081565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600082821115610563576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161055a906108a7565b60405180910390fd5b600082840390508091505092915050565b60008083141561058757600090506105de565b600082840290508284828161059857fe5b04146105d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105d090610887565b60405180910390fd5b809150505b92915050565b60006105f0823561094f565b905092915050565b60006106048251610961565b905092915050565b6000610618825161098d565b905092915050565b60006020828403121561063257600080fd5b6000610640848285016105e4565b91505092915050565b60006020828403121561065b57600080fd5b6000610669848285016105f8565b91505092915050565b60006020828403121561068457600080fd5b60006106928482850161060c565b91505092915050565b6106a481610997565b82525050565b6106b381610913565b82525050565b6106c2816109a9565b82525050565b6106d1816109cd565b82525050565b60006106e4601f83610902565b91507f536166654d6174683a3a6d756c3a20496e7465676572206f766572666c6f77006000830152602082019050919050565b6000610724602083610902565b91507f536166654d6174683a3a7375623a20496e746567657220756e646572666c6f776000830152602082019050919050565b6000610764605183610902565b91507f556e6976657273616c4261736963496e636f6d653a3a636c61696d3a20596f7560008301527f206d757374206265206f6e207468652048756d616e697479207265676973747260208301527f7920746f20636c61696d20696e636f6d650000000000000000000000000000006040830152606082019050919050565b6107ec81610945565b82525050565b600060208201905061080760008301846106aa565b92915050565b6000602082019050610822600083018461069b565b92915050565b600060408201905061083d600083018561069b565b61084a60208301846107e3565b9392505050565b600060208201905061086660008301846106b9565b92915050565b600060208201905061088160008301846106c8565b92915050565b600060208201905081810360008301526108a0816106d7565b9050919050565b600060208201905081810360008301526108c081610717565b9050919050565b600060208201905081810360008301526108e081610757565b9050919050565b60006020820190506108fc60008301846107e3565b92915050565b600082825260208201905092915050565b600061091e82610925565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061095a8261096d565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60006109a2826109f1565b9050919050565b60006109b4826109bb565b9050919050565b60006109c682610925565b9050919050565b60006109d8826109df565b9050919050565b60006109ea82610925565b9050919050565b60006109fc82610a03565b9050919050565b6000610a0e82610925565b905091905056fea265627a7a72305820464e4e74d5100a4d20a07a128bb02e33fe44b5750eb24bfa0ad4dfe5bb7395af6c6578706572696d656e74616cf50037

0000000000000000000000004ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e9000000000000000000000000089d24a6b4ccb1b6faa2625fe562bdd9a23260359

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

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

4714:1214:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4714:1214:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5160:763;;;:::i;:::-;;4783:32;;;:::i;:::-;;;;;;;;;;;;;;;;4906:65;;;:::i;:::-;;;;;;;;;;;;;;;;4980:43;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4848:42;;;:::i;:::-;;;;;;;;;;;;;;;;4822:17;;;:::i;:::-;;;;;;;;;;;;;;;;5160:763;5203:8;;;;;;;;;;;:16;;;5220:10;5203:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5203:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5203:28: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;5203:28:0;;;;;;;;;5195:122;;;;;;;;;;;;;;;;;;;;;;5330:11;5352:9;5364:15;5352:27;;5486:1;5460:10;:22;5471:10;5460:22;;;;;;;;;;;;;;;;:27;5456:180;;;4886:4;5504:23;;5456:180;;;5569:55;4964:7;4886:4;4947:24;;;;;;5569:32;5578:10;:22;5589:10;5578:22;;;;;;;;;;;;;;;;5569:4;:8;;:32;;;;:::i;:::-;:36;;:55;;;;:::i;:::-;5560:64;;5456:180;5648:12;5663:3;;;;;;;;;;;:13;;;5685:4;5663:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5663:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5663:28: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;5663:28:0;;;;;;;;;5648:43;;5769:17;5799:6;5789:7;:16;:35;;5818:6;5789:35;;;5808:7;5789:35;5769:55;;5837:3;;;;;;;;;;;:12;;;5850:10;5862:12;5837:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5837:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5837:38: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;5837:38:0;;;;;;;;;;5911:4;5886:10;:22;5897:10;5886:22;;;;;;;;;;;;;;;:29;;;;5160:763;;;;:::o;4783:32::-;;;;;;;;;;;;;:::o;4906:65::-;4964:7;4886:4;4947:24;;;;;;4906:65;:::o;4980:43::-;;;;;;;;;;;;;;;;;:::o;4848:42::-;4886:4;4848:42;:::o;4822:17::-;;;;;;;;;;;;;:::o;2117:186::-;2175:7;2208:1;2203;:6;;2195:51;;;;;;;;;;;;;;;;;;;;;;2257:9;2273:1;2269;:5;2257:17;;2294:1;2287:8;;;2117:186;;;;:::o;1038:468::-;1096:7;1345:1;1340;:6;1336:47;;;1370:1;1363:8;;;;1336:47;1395:9;1411:1;1407;:5;1395:17;;1440:1;1435;1431;:5;;;;;;:10;1423:54;;;;;;;;;;;;;;;;;;;;;;1497:1;1490:8;;;1038:468;;;;;:::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;;;;;253:122;;331:39;362:6;356:13;331:39;;;322:48;;316:59;;;;;382:241;;486:2;474:9;465:7;461:23;457:32;454:2;;;502:1;499;492:12;454:2;537:1;554:53;599:7;590:6;579:9;575:22;554:53;;;544:63;;516:97;448:175;;;;;630:257;;742:2;730:9;721:7;717:23;713:32;710:2;;;758:1;755;748:12;710:2;793:1;810:61;863:7;854:6;843:9;839:22;810:61;;;800:71;;772:105;704:183;;;;;894:263;;1009:2;997:9;988:7;984:23;980:32;977:2;;;1025:1;1022;1015:12;977:2;1060:1;1077:64;1133:7;1124:6;1113:9;1109:22;1077:64;;;1067:74;;1039:108;971:186;;;;;1164:142;1255:45;1294:5;1255:45;;;1250:3;1243:58;1237:69;;;1313:120;1396:31;1421:5;1396:31;;;1391:3;1384:44;1378:55;;;1440:174;1547:61;1602:5;1547:61;;;1542:3;1535:74;1529:85;;;1621:152;1717:50;1761:5;1717:50;;;1712:3;1705:63;1699:74;;;1781:364;;1941:67;2005:2;2000:3;1941:67;;;1934:74;;2041:66;2037:1;2032:3;2028:11;2021:87;2136:2;2131:3;2127:12;2120:19;;1927:218;;;;2154:364;;2314:67;2378:2;2373:3;2314:67;;;2307:74;;2414:66;2410:1;2405:3;2401:11;2394:87;2509:2;2504:3;2500:12;2493:19;;2300:218;;;;2527:566;;2687:67;2751:2;2746:3;2687:67;;;2680:74;;2787:66;2783:1;2778:3;2774:11;2767:87;2888:66;2883:2;2878:3;2874:12;2867:88;2989:66;2984:2;2979:3;2975:12;2968:88;3084:2;3079:3;3075:12;3068:19;;2673:420;;;;3101:120;3184:31;3209:5;3184:31;;;3179:3;3172:44;3166:55;;;3228:213;;3346:2;3335:9;3331:18;3323:26;;3360:71;3428:1;3417:9;3413:17;3404:6;3360:71;;;3317:124;;;;;3448:229;;3574:2;3563:9;3559:18;3551:26;;3588:79;3664:1;3653:9;3649:17;3640:6;3588:79;;;3545:132;;;;;3684:340;;3838:2;3827:9;3823:18;3815:26;;3852:79;3928:1;3917:9;3913:17;3904:6;3852:79;;;3942:72;4010:2;3999:9;3995:18;3986:6;3942:72;;;3809:215;;;;;;4031:261;;4173:2;4162:9;4158:18;4150:26;;4187:95;4279:1;4268:9;4264:17;4255:6;4187:95;;;4144:148;;;;;4299:239;;4430:2;4419:9;4415:18;4407:26;;4444:84;4525:1;4514:9;4510:17;4501:6;4444:84;;;4401:137;;;;;4545:407;;4736:2;4725:9;4721:18;4713:26;;4786:9;4780:4;4776:20;4772:1;4761:9;4757:17;4750:47;4811:131;4937:4;4811:131;;;4803:139;;4707:245;;;;4959:407;;5150:2;5139:9;5135:18;5127:26;;5200:9;5194:4;5190:20;5186:1;5175:9;5171:17;5164:47;5225:131;5351:4;5225:131;;;5217:139;;5121:245;;;;5373:407;;5564:2;5553:9;5549:18;5541:26;;5614:9;5608:4;5604:20;5600:1;5589:9;5585:17;5578:47;5639:131;5765:4;5639:131;;;5631:139;;5535:245;;;;5787:213;;5905:2;5894:9;5890:18;5882:26;;5919:71;5987:1;5976:9;5972:17;5963:6;5919:71;;;5876:124;;;;;6008:163;;6123:6;6118:3;6111:19;6160:4;6155:3;6151:14;6136:29;;6104:67;;;;;6179:105;;6248:31;6273:5;6248:31;;;6237:42;;6231:53;;;;6291:128;;6371:42;6364:5;6360:54;6349:65;;6343:76;;;;6426:79;;6495:5;6484:16;;6478:27;;;;6512:105;;6581:31;6606:5;6581:31;;;6570:42;;6564:53;;;;6624:92;;6704:5;6697:13;6690:21;6679:32;;6673:43;;;;6723:128;;6803:42;6796:5;6792:54;6781:65;;6775:76;;;;6858:79;;6927:5;6916:16;;6910:27;;;;6944:129;;7031:37;7062:5;7031:37;;;7018:50;;7012:61;;;;7080:169;;7183:61;7238:5;7183:61;;;7170:74;;7164:85;;;;7256:139;;7359:31;7384:5;7359:31;;;7346:44;;7340:55;;;;7402:147;;7494:50;7538:5;7494:50;;;7481:63;;7475:74;;;;7556:128;;7648:31;7673:5;7648:31;;;7635:44;;7629:55;;;;7691:121;;7770:37;7801:5;7770:37;;;7757:50;;7751:61;;;;7819:115;;7898:31;7923:5;7898:31;;;7885:44;;7879:55;;;

bzzr://464e4e74d5100a4d20a07a128bb02e33fe44b5750eb24bfa0ad4dfe5bb7395af