Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  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)

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;


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
        }

    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"who","type":"address"}],"name":"add","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"who","type":"address"}],"name":"remove","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"humanity","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"governance","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"humans","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"who","type":"address"}],"name":"isHuman","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_humanity","type":"address"},{"name":"_governance","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"}]

608060405234801561001057600080fd5b50604051604080610d41833981018060405261002f91908101906100e0565b81600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050610160565b60006100c4825161011c565b905092915050565b60006100d8825161012e565b905092915050565b600080604083850312156100f357600080fd5b6000610101858286016100cc565b9250506020610112858286016100b8565b9150509250929050565b600061012782610140565b9050919050565b60006101398261011c565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b610bd28061016f6000396000f3fe608060405234801561001057600080fd5b50600436106100625760003560e01c80630a3b0a4f1461006757806329092d0e1461008357806349f81a201461009f5780635aa6e675146100bd5780639a98ce27146100db578063f72c436f1461010b575b600080fd5b610081600480360361007c9190810190610779565b61013b565b005b61009d60048036036100989190810190610779565b6102c0565b005b6100a76103d7565b6040516100b49190610a2e565b60405180910390f35b6100c56103fd565b6040516100d2919061097d565b60405180910390f35b6100f560048036036100f09190810190610779565b610423565b6040516101029190610a13565b60405180910390f35b61012560048036036101209190810190610779565b610443565b6040516101329190610a13565b60405180910390f35b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146101cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101c290610a69565b60405180910390fd5b600015156000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151461025d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161025490610a49565b60405180910390fd5b61026681610498565b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16148061034757508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b610386576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161037d90610a89565b60405180910390fd5b6000808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81549060ff021916905550565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006020528060005260406000206000915054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b15801561050257600080fd5b505afa158015610516573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061053a91908101906107a2565b90506a17293b0a9e69fd9c0000008110156105ed57600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f198369065a4da25d3016c000006040518363ffffffff1660e01b81526004016105b69291906109c1565b600060405180830381600087803b1580156105d057600080fd5b505af11580156105e4573d6000803e3d6000fd5b5050505061074d565b6a260ce0ff28d2b2ee00000081101561069e57600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f198369043c33c19375648000006040518363ffffffff1660e01b8152600401610667929190610998565b600060405180830381600087803b15801561068157600080fd5b505af1158015610695573d6000803e3d6000fd5b5050505061074c565b6a52b7d2dcc80cd2e400000081101561074b57600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f198369014542ba12a337c000006040518363ffffffff1660e01b81526004016107189291906109ea565b600060405180830381600087803b15801561073257600080fd5b505af1158015610746573d6000803e3d6000fd5b505050505b5b5b5050565b600061075d8235610b02565b905092915050565b60006107718251610b34565b905092915050565b60006020828403121561078b57600080fd5b600061079984828501610751565b91505092915050565b6000602082840312156107b457600080fd5b60006107c284828501610765565b91505092915050565b6107d481610aba565b82525050565b6107e381610acc565b82525050565b6107f281610b3e565b82525050565b61080181610b62565b82525050565b61081081610b74565b82525050565b61081f81610b86565b82525050565b6000610832603983610aa9565b91507f48756d616e69747952656769737472793a3a6164643a2041646472657373206960008301527f7320616c7265616479206f6e20746865207265676973747279000000000000006020830152604082019050919050565b6000610898603a83610aa9565b91507f48756d616e69747952656769737472793a3a6164643a204f6e6c7920676f766560008301527f726e616e63652063616e2061646420616e206964656e746974790000000000006020830152604082019050919050565b60006108fe605683610aa9565b91507f48756d616e69747952656769737472793a3a72656d6f76653a204f6e6c79206760008301527f6f7665726e616e6365206f7220746865206964656e74697479206f776e65722060208301527f63616e2072656d6f766520616e206964656e74697479000000000000000000006040830152606082019050919050565b600060208201905061099260008301846107cb565b92915050565b60006040820190506109ad60008301856107cb565b6109ba60208301846107f8565b9392505050565b60006040820190506109d660008301856107cb565b6109e36020830184610807565b9392505050565b60006040820190506109ff60008301856107cb565b610a0c6020830184610816565b9392505050565b6000602082019050610a2860008301846107da565b92915050565b6000602082019050610a4360008301846107e9565b92915050565b60006020820190508181036000830152610a6281610825565b9050919050565b60006020820190508181036000830152610a828161088b565b9050919050565b60006020820190508181036000830152610aa2816108f1565b9050919050565b600082825260208201905092915050565b6000610ac582610ad8565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000610b0d82610b14565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000610b4982610b50565b9050919050565b6000610b5b82610ad8565b9050919050565b6000610b6d82610af8565b9050919050565b6000610b7f82610af8565b9050919050565b6000610b9182610af8565b905091905056fea265627a7a723058203405f1f5f218f49f08a0c2de8a6d8938e574466377b8464f1e585fba2fdbcbc06c6578706572696d656e74616cf50037000000000000000000000000bbd1706d16418bb136e1497a73d3af4164586da0000000000000000000000000dd806c4fdad2949a97fda79036cfbb8750181b37

0x608060405234801561001057600080fd5b50600436106100625760003560e01c80630a3b0a4f1461006757806329092d0e1461008357806349f81a201461009f5780635aa6e675146100bd5780639a98ce27146100db578063f72c436f1461010b575b600080fd5b610081600480360361007c9190810190610779565b61013b565b005b61009d60048036036100989190810190610779565b6102c0565b005b6100a76103d7565b6040516100b49190610a2e565b60405180910390f35b6100c56103fd565b6040516100d2919061097d565b60405180910390f35b6100f560048036036100f09190810190610779565b610423565b6040516101029190610a13565b60405180910390f35b61012560048036036101209190810190610779565b610443565b6040516101329190610a13565b60405180910390f35b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146101cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101c290610a69565b60405180910390fd5b600015156000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151461025d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161025490610a49565b60405180910390fd5b61026681610498565b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16148061034757508073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b610386576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161037d90610a89565b60405180910390fd5b6000808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81549060ff021916905550565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006020528060005260406000206000915054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b15801561050257600080fd5b505afa158015610516573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061053a91908101906107a2565b90506a17293b0a9e69fd9c0000008110156105ed57600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f198369065a4da25d3016c000006040518363ffffffff1660e01b81526004016105b69291906109c1565b600060405180830381600087803b1580156105d057600080fd5b505af11580156105e4573d6000803e3d6000fd5b5050505061074d565b6a260ce0ff28d2b2ee00000081101561069e57600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f198369043c33c19375648000006040518363ffffffff1660e01b8152600401610667929190610998565b600060405180830381600087803b15801561068157600080fd5b505af1158015610695573d6000803e3d6000fd5b5050505061074c565b6a52b7d2dcc80cd2e400000081101561074b57600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166340c10f198369014542ba12a337c000006040518363ffffffff1660e01b81526004016107189291906109ea565b600060405180830381600087803b15801561073257600080fd5b505af1158015610746573d6000803e3d6000fd5b505050505b5b5b5050565b600061075d8235610b02565b905092915050565b60006107718251610b34565b905092915050565b60006020828403121561078b57600080fd5b600061079984828501610751565b91505092915050565b6000602082840312156107b457600080fd5b60006107c284828501610765565b91505092915050565b6107d481610aba565b82525050565b6107e381610acc565b82525050565b6107f281610b3e565b82525050565b61080181610b62565b82525050565b61081081610b74565b82525050565b61081f81610b86565b82525050565b6000610832603983610aa9565b91507f48756d616e69747952656769737472793a3a6164643a2041646472657373206960008301527f7320616c7265616479206f6e20746865207265676973747279000000000000006020830152604082019050919050565b6000610898603a83610aa9565b91507f48756d616e69747952656769737472793a3a6164643a204f6e6c7920676f766560008301527f726e616e63652063616e2061646420616e206964656e746974790000000000006020830152604082019050919050565b60006108fe605683610aa9565b91507f48756d616e69747952656769737472793a3a72656d6f76653a204f6e6c79206760008301527f6f7665726e616e6365206f7220746865206964656e74697479206f776e65722060208301527f63616e2072656d6f766520616e206964656e74697479000000000000000000006040830152606082019050919050565b600060208201905061099260008301846107cb565b92915050565b60006040820190506109ad60008301856107cb565b6109ba60208301846107f8565b9392505050565b60006040820190506109d660008301856107cb565b6109e36020830184610807565b9392505050565b60006040820190506109ff60008301856107cb565b610a0c6020830184610816565b9392505050565b6000602082019050610a2860008301846107da565b92915050565b6000602082019050610a4360008301846107e9565b92915050565b60006020820190508181036000830152610a6281610825565b9050919050565b60006020820190508181036000830152610a828161088b565b9050919050565b60006020820190508181036000830152610aa2816108f1565b9050919050565b600082825260208201905092915050565b6000610ac582610ad8565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000610b0d82610b14565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000610b4982610b50565b9050919050565b6000610b5b82610ad8565b9050919050565b6000610b6d82610af8565b9050919050565b6000610b7f82610af8565b9050919050565b6000610b9182610af8565b905091905056fea265627a7a723058203405f1f5f218f49f08a0c2de8a6d8938e574466377b8464f1e585fba2fdbcbc06c6578706572696d656e74616cf50037

000000000000000000000000bbd1706d16418bb136e1497a73d3af4164586da0000000000000000000000000dd806c4fdad2949a97fda79036cfbb8750181b37

-----Decoded View---------------
Arg [0] : _humanity (address): 0xbBd1706d16418bb136e1497A73d3af4164586DA0
Arg [1] : _governance (address): 0xDd806c4fDAd2949a97Fda79036cfbb8750181b37

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 000000000000000000000000bbd1706d16418bb136e1497a73d3af4164586da0
Arg [1] : 000000000000000000000000dd806c4fdad2949a97fda79036cfbb8750181b37

353:1406:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;353:1406:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;645:302;;;;;;;;;;;;;;;;:::i;:::-;;955:265;;;;;;;;;;;;;;;;:::i;:::-;;436:25;;;:::i;:::-;;;;;;;;;;;;;;;;468;;;:::i;:::-;;;;;;;;;;;;;;;;388:39;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1228:94;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;645:302;711:10;;;;;;;;;;;697:24;;:10;:24;;;689:95;;;;;;;;;;;;;;;;;;;;;;818:5;803:20;;:6;:11;810:3;803:11;;;;;;;;;;;;;;;;;;;;;;;;;:20;;;795:90;;;;;;;;;;;;;;;;;;;;;;898:12;906:3;898:7;:12::i;:::-;935:4;921:6;:11;928:3;921:11;;;;;;;;;;;;;;;;:18;;;;;;;;;;;;;;;;;;645:302;:::o;955:265::-;1038:10;;;;;;;;;;;1024:24;;:10;:24;;;:45;;;;1066:3;1052:17;;:10;:17;;;1024:45;1002:181;;;;;;;;;;;;;;;;;;;;;;1201:6;:11;1208:3;1201:11;;;;;;;;;;;;;;;;1194:18;;;;;;;;;;;955:265;:::o;436:25::-;;;;;;;;;;;;;:::o;468:::-;;;;;;;;;;;;;:::o;388:39::-;;;;;;;;;;;;;;;;;;;;;;:::o;1228:94::-;1279:4;1303:6;:11;1310:3;1303:11;;;;;;;;;;;;;;;;;;;;;;;;;1296:18;;1228:94;;;:::o;1330:424::-;1380:16;1399:8;;;;;;;;;;;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1399:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1399:22: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;1399:22:0;;;;;;;;;1380:41;;1452:11;1438;:25;1434:311;;;1480:8;;;;;;;;;;;:13;;;1494:3;1499:8;1480:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1480:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1480:28:0;;;;1434:311;;;1555:11;1541;:25;1537:208;;;1583:8;;;;;;;;;;;:13;;;1597:3;1602:8;1583:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1583:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1583:28:0;;;;1537:208;;;1661:12;1647:11;:26;1643:102;;;1690:8;;;;;;;;;;;:13;;;1704:3;1709:7;1690:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1690:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1690:27:0;;;;1643:102;1537:208;1434:311;1330:424;;:::o;5:118:-1:-;;72:46;110:6;97:20;72:46;;;63:55;;57:66;;;;;130:122;;208:39;239:6;233:13;208:39;;;199:48;;193:59;;;;;259:241;;363:2;351:9;342:7;338:23;334:32;331:2;;;379:1;376;369:12;331:2;414:1;431:53;476:7;467:6;456:9;452:22;431:53;;;421:63;;393:97;325:175;;;;;507:263;;622:2;610:9;601:7;597:23;593:32;590:2;;;638:1;635;628:12;590:2;673:1;690:64;746:7;737:6;726:9;722:22;690:64;;;680:74;;652:108;584:186;;;;;777:120;860:31;885:5;860:31;;;855:3;848:44;842:55;;;904:111;981:28;1003:5;981:28;;;976:3;969:41;963:52;;;1022:158;1121:53;1168:5;1121:53;;;1116:3;1109:66;1103:77;;;1187:186;1300:67;1361:5;1300:67;;;1295:3;1288:80;1282:91;;;1380:186;1493:67;1554:5;1493:67;;;1488:3;1481:80;1475:91;;;1573:184;1685:66;1745:5;1685:66;;;1680:3;1673:79;1667:90;;;1765:465;;1925:67;1989:2;1984:3;1925:67;;;1918:74;;2025:66;2021:1;2016:3;2012:11;2005:87;2126:66;2121:2;2116:3;2112:12;2105:88;2221:2;2216:3;2212:12;2205:19;;1911:319;;;;2239:465;;2399:67;2463:2;2458:3;2399:67;;;2392:74;;2499:66;2495:1;2490:3;2486:11;2479:87;2600:66;2595:2;2590:3;2586:12;2579:88;2695:2;2690:3;2686:12;2679:19;;2385:319;;;;2713:566;;2873:67;2937:2;2932:3;2873:67;;;2866:74;;2973:66;2969:1;2964:3;2960:11;2953:87;3074:66;3069:2;3064:3;3060:12;3053:88;3175:66;3170:2;3165:3;3161:12;3154:88;3270:2;3265:3;3261:12;3254:19;;2859:420;;;;3287:213;;3405:2;3394:9;3390:18;3382:26;;3419:71;3487:1;3476:9;3472:17;3463:6;3419:71;;;3376:124;;;;;3507:384;;3683:2;3672:9;3668:18;3660:26;;3697:71;3765:1;3754:9;3750:17;3741:6;3697:71;;;3779:102;3877:2;3866:9;3862:18;3853:6;3779:102;;;3654:237;;;;;;3898:384;;4074:2;4063:9;4059:18;4051:26;;4088:71;4156:1;4145:9;4141:17;4132:6;4088:71;;;4170:102;4268:2;4257:9;4253:18;4244:6;4170:102;;;4045:237;;;;;;4289:382;;4464:2;4453:9;4449:18;4441:26;;4478:71;4546:1;4535:9;4531:17;4522:6;4478:71;;;4560:101;4657:2;4646:9;4642:18;4633:6;4560:101;;;4435:236;;;;;;4678:201;;4790:2;4779:9;4775:18;4767:26;;4804:65;4866:1;4855:9;4851:17;4842:6;4804:65;;;4761:118;;;;;4886:245;;5020:2;5009:9;5005:18;4997:26;;5034:87;5118:1;5107:9;5103:17;5094:6;5034:87;;;4991:140;;;;;5138:407;;5329:2;5318:9;5314:18;5306:26;;5379:9;5373:4;5369:20;5365:1;5354:9;5350:17;5343:47;5404:131;5530:4;5404:131;;;5396:139;;5300:245;;;;5552:407;;5743:2;5732:9;5728:18;5720:26;;5793:9;5787:4;5783:20;5779:1;5768:9;5764:17;5757:47;5818:131;5944:4;5818:131;;;5810:139;;5714:245;;;;5966:407;;6157:2;6146:9;6142:18;6134:26;;6207:9;6201:4;6197:20;6193:1;6182:9;6178:17;6171:47;6232:131;6358:4;6232:131;;;6224:139;;6128:245;;;;6381:163;;6496:6;6491:3;6484:19;6533:4;6528:3;6524:14;6509:29;;6477:67;;;;;6552:105;;6621:31;6646:5;6621:31;;;6610:42;;6604:53;;;;6664:92;;6744:5;6737:13;6730:21;6719:32;;6713:43;;;;6763:128;;6843:42;6836:5;6832:54;6821:65;;6815:76;;;;6898:79;;6967:5;6956:16;;6950:27;;;;6984:105;;7053:31;7078:5;7053:31;;;7042:42;;7036:53;;;;7096:128;;7176:42;7169:5;7165:54;7154:65;;7148:76;;;;7231:79;;7300:5;7289:16;;7283:27;;;;7317:153;;7412:53;7459:5;7412:53;;;7399:66;;7393:77;;;;7477:131;;7572:31;7597:5;7572:31;;;7559:44;;7553:55;;;;7615:145;;7724:31;7749:5;7724:31;;;7711:44;;7705:55;;;;7767:145;;7876:31;7901:5;7876:31;;;7863:44;;7857:55;;;;7919:144;;8027:31;8052:5;8027:31;;;8014:44;;8008:55;;;

bzzr://3405f1f5f218f49f08a0c2de8a6d8938e574466377b8464f1e585fba2fdbcbc0