Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface AccountInterface
•    - function version()
•    - function enable(address authority)
•    - function cast(address[] calldata _tar ...
• interface ListInterface
•    - function init(address _account)
•  contract AddressIndex
•    - function changeMaster(address _newMas ...
•    - function changeCheck(uint accountVers ...
•    - function addNewAccount(address _newAc ...
•  contract CloneFactory is AddressIn ...
•    - function createClone(uint version)
•    - function isClone(uint version, addres ...
•  contract InstaIndex is CloneFactor ... *
•    - function buildWithCast(
•    - function build(
•    - function setBasics(

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-03-05
*/

pragma solidity ^0.6.0;
pragma experimental ABIEncoderV2;

/**
 * @title InstaIndex
 * @dev Main Contract For Smart Account Layer. This is also a factory contract, Which deploys new Smart Accounts.
 * Also Registry for Smart Account Layer.
 */

interface AccountInterface {
    function version() external view returns (uint);
    function enable(address authority) external;
    function cast(address[] calldata _targets, bytes[] calldata _datas, address _origin) external payable returns (bytes32[] memory responses);
}

interface ListInterface {
    function init(address _account) external;
}

contract AddressIndex {

    event LogNewMaster(address master);
    event LogNewCheck(uint accountVersion, address check);
    event LogNewAccount(address _newAccount, address _connectors, address _check);

    // The Master Address.
    address public master;
    // The List Registry Address.
    address public list;

    // Connectors Modules(Account Module Version => Connectors Registry Module Address).
    mapping (uint => address) public connectors;
    // Check Modules(Account Module Version => Check Module Address).
    mapping (uint => address) public check;
    // Account Modules(Account Module Version => Account Module Address).
    mapping (uint => address) public account;
    // Version Count of Account Modules.
    uint public versionCount;

    /**
    * @dev Throws if the sender not is Master Address.
    */
    modifier isMaster() {
        require(msg.sender == master, "not-master");
        _;
    }

    /**
     * @dev Change the Master Address.
     * @param _newMaster New Master Address.
     */
    function changeMaster(address _newMaster) external isMaster {
        require(_newMaster != master, "already-a-master");
        require(_newMaster != address(0), "not-valid-address");
        master = _newMaster;
        emit LogNewMaster(_newMaster);
    }

    /**
     * @dev Change the Check Address of a specfic Account Module version.
     * @param accountVersion Account Module version.
     * @param _newCheck The New Check Address.
     */
    function changeCheck(uint accountVersion, address _newCheck) external isMaster {
        require(_newCheck != check[accountVersion], "already-a-check");
        require(_newCheck != address(0), "not-valid-address");
        check[accountVersion] = _newCheck;
        emit LogNewCheck(accountVersion, _newCheck);
    }

    /**
     * @dev Add New Account Module.
     * @param _newAccount The New Account Module Address.
     * @param _connectors Connectors Registry Module Address.
     * @param _check Check Module Address.
     */
    function addNewAccount(address _newAccount, address _connectors, address _check) external isMaster {
        require(_newAccount != address(0), "not-valid-address");
        versionCount++;
        require(AccountInterface(_newAccount).version() == versionCount, "not-valid-version");
        account[versionCount] = _newAccount;
        if (_connectors != address(0)) connectors[versionCount] = _connectors;
        if (_check != address(0)) check[versionCount] = _check;
        emit LogNewAccount(_newAccount, _connectors, _check);
    }

}

contract CloneFactory is AddressIndex {
    /**
     * @dev Clone a new Account Module.
     * @param version Account Module version to clone.
     */
    function createClone(uint version) internal returns (address result) {
        bytes20 targetBytes = bytes20(account[version]);
        // solium-disable-next-line security/no-inline-assembly
        assembly {
            let clone := mload(0x40)
            mstore(clone, 0x3d602d80600a3d3981f3363d3d373d3d3d363d73000000000000000000000000)
            mstore(add(clone, 0x14), targetBytes)
            mstore(add(clone, 0x28), 0x5af43d82803e903d91602b57fd5bf30000000000000000000000000000000000)
            result := create(0, clone, 0x37)
        }
    }

    /**
     * @dev Check if Account Module is a clone.
     * @param version Account Module version.
     * @param query Account Module Address.
     */
    function isClone(uint version, address query) external view returns (bool result) {
        bytes20 targetBytes = bytes20(account[version]);
        // solium-disable-next-line security/no-inline-assembly
        assembly {
            let clone := mload(0x40)
            mstore(clone, 0x363d3d373d3d3d363d7300000000000000000000000000000000000000000000)
            mstore(add(clone, 0xa), targetBytes)
            mstore(add(clone, 0x1e), 0x5af43d82803e903d91602b57fd5bf30000000000000000000000000000000000)

            let other := add(clone, 0x40)
            extcodecopy(query, other, 0, 0x2d)
            result := and(
                eq(mload(clone), mload(other)),
                eq(mload(add(clone, 0xd)), mload(add(other, 0xd)))
            )
        }
    }
}

contract InstaIndex is CloneFactory {

    event AccountCreated(address sender, address indexed owner, address account, address indexed origin);

    /**
     * @dev Create a new Smart Account for a user and run cast function in the new Smart Account.
     * @param _owner Owner of the Smart Account.
     * @param accountVersion Account Module version.
     * @param _targets Array of Target to run cast function.
     * @param _datas Array of Data(callData) to run cast function.
     * @param _origin Where Smart Account is created.
     */
    function buildWithCast(
        address _owner,
        uint accountVersion,
        address[] calldata _targets,
        bytes[] calldata _datas,
        address _origin
    ) external payable returns (address _account) {
        _account = build(_owner, accountVersion, _origin);
        if (_targets.length > 0) AccountInterface(_account).cast.value(msg.value)(_targets, _datas, _origin);
    }

    /**
     * @dev Create a new Smart Account for a user.
     * @param _owner Owner of the Smart Account.
     * @param accountVersion Account Module version.
     * @param _origin Where Smart Account is created.
     */
    function build(
        address _owner,
        uint accountVersion,
        address _origin
    ) public returns (address _account) {
        require(accountVersion != 0 && accountVersion <= versionCount, "not-valid-account");
        _account = createClone(accountVersion);
        ListInterface(list).init(_account);
        AccountInterface(_account).enable(_owner);
        emit AccountCreated(msg.sender, _owner, _account, _origin);
    }

    /**
     * @dev Setup Initial things for InstaIndex, after its been deployed and can be only run once.
     * @param _master The Master Address.
     * @param _list The List Address.
     * @param _account The Account Module Address.
     * @param _connectors The Connectors Registry Module Address.
     */
    function setBasics(
        address _master,
        address _list,
        address _account,
        address _connectors
    ) external {
        require(
            master == address(0) &&
            list == address(0) &&
            account[1] == address(0) &&
            connectors[1] == address(0) &&
            versionCount == 0,
            "already-defined"
        );
        master = _master;
        list = _list;
        versionCount++;
        account[versionCount] = _account;
        connectors[versionCount] = _connectors;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"origin","type":"address"}],"name":"AccountCreated","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"_newAccount","type":"address"},{"indexed":false,"internalType":"address","name":"_connectors","type":"address"},{"indexed":false,"internalType":"address","name":"_check","type":"address"}],"name":"LogNewAccount","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"accountVersion","type":"uint256"},{"indexed":false,"internalType":"address","name":"check","type":"address"}],"name":"LogNewCheck","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"master","type":"address"}],"name":"LogNewMaster","type":"event"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"account","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_newAccount","type":"address"},{"internalType":"address","name":"_connectors","type":"address"},{"internalType":"address","name":"_check","type":"address"}],"name":"addNewAccount","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"uint256","name":"accountVersion","type":"uint256"},{"internalType":"address","name":"_origin","type":"address"}],"name":"build","outputs":[{"internalType":"address","name":"_account","type":"address"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"uint256","name":"accountVersion","type":"uint256"},{"internalType":"address[]","name":"_targets","type":"address[]"},{"internalType":"bytes[]","name":"_datas","type":"bytes[]"},{"internalType":"address","name":"_origin","type":"address"}],"name":"buildWithCast","outputs":[{"internalType":"address","name":"_account","type":"address"}],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint256","name":"accountVersion","type":"uint256"},{"internalType":"address","name":"_newCheck","type":"address"}],"name":"changeCheck","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_newMaster","type":"address"}],"name":"changeMaster","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"check","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"connectors","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"version","type":"uint256"},{"internalType":"address","name":"query","type":"address"}],"name":"isClone","outputs":[{"internalType":"bool","name":"result","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"list","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"master","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_master","type":"address"},{"internalType":"address","name":"_list","type":"address"},{"internalType":"address","name":"_account","type":"address"},{"internalType":"address","name":"_connectors","type":"address"}],"name":"setBasics","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"versionCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

608060405234801561001057600080fd5b50611e78806100206000396000f3fe6080604052600436106100c25760003560e01c8063743681891161007f578063bb7e70ef11610059578063bb7e70ef14610293578063ee97f7f3146102d0578063f4ff78bf146102fb578063fdc3870c14610324576100c2565b806374368189146102025780638aad29e11461023f578063a4bb8e7d1461026a576100c2565b80630f560cd7146100c757806313ede1a1146100f25780632dd7c6581461012f578063443ff7b61461016c5780634f5b2561146101955780635f72f450146101c5575b600080fd5b3480156100d357600080fd5b506100dc61034d565b6040516100e99190611a1d565b60405180910390f35b3480156100fe57600080fd5b5061011960048036036101149190810190611656565b610373565b6040516101269190611a1d565b60405180910390f35b34801561013b57600080fd5b5061015660048036036101519190810190611656565b6103a6565b6040516101639190611a1d565b60405180910390f35b34801561017857600080fd5b50610193600480360361018e91908101906116a8565b6103d9565b005b6101af60048036036101aa9190810190611565565b610609565b6040516101bc9190611a1d565b60405180910390f35b3480156101d157600080fd5b506101ec60048036036101e79190810190611656565b6106ca565b6040516101f99190611a1d565b60405180910390f35b34801561020e57600080fd5b50610229600480360361022491908101906116a8565b6106fd565b6040516102369190611ae1565b60405180910390f35b34801561024b57600080fd5b506102546107b2565b6040516102619190611bdc565b60405180910390f35b34801561027657600080fd5b50610291600480360361028c91908101906114b3565b6107b8565b005b34801561029f57600080fd5b506102ba60048036036102b59190810190611516565b610ac9565b6040516102c79190611a1d565b60405180910390f35b3480156102dc57600080fd5b506102e5610c8d565b6040516102f29190611a1d565b60405180910390f35b34801561030757600080fd5b50610322600480360361031d919081019061143b565b610cb2565b005b34801561033057600080fd5b5061034b60048036036103469190810190611464565b610ebb565b005b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60026020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60046020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610468576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161045f90611b9c565b60405180910390fd5b6003600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561050a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161050190611b5c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561057a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161057190611bbc565b60405180910390fd5b806003600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f1d96dda971e33be0980128bbce3f93dfe4859657397e00d2db4d288d2c2bc78882826040516105fd929190611bf7565b60405180910390a15050565b6000610616888884610ac9565b905060008686905011156106bf578073ffffffffffffffffffffffffffffffffffffffff1663e0e90acf3488888888886040518763ffffffff1660e01b8152600401610666959493929190611a98565b6000604051808303818588803b15801561067f57600080fd5b505af1158015610693573d6000803e3d6000fd5b50505050506040513d6000823e3d601f19601f820116820180604052506106bd9190810190611615565b505b979650505050505050565b60036020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806004600085815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f363d3d373d3d3d363d7300000000000000000000000000000000000000000000815281600a8201527f5af43d82803e903d91602b57fd5bf30000000000000000000000000000000000601e82015260408101602d600082873c600d810151600d83015114815183511416935050505092915050565b60055481565b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480156108635750600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b80156108cf5750600073ffffffffffffffffffffffffffffffffffffffff16600460006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561093b5750600073ffffffffffffffffffffffffffffffffffffffff16600260006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561094957506000600554145b610988576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161097f90611b1c565b60405180910390fd5b836000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506005600081548092919060010191905055508160046000600554815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060026000600554815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b6000808314158015610add57506005548311155b610b1c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1390611afc565b60405180910390fd5b610b2583611233565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166319ab453c826040518263ffffffff1660e01b8152600401610b829190611a1d565b600060405180830381600087803b158015610b9c57600080fd5b505af1158015610bb0573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff16635bfa1b68856040518263ffffffff1660e01b8152600401610bed9190611a1d565b600060405180830381600087803b158015610c0757600080fd5b505af1158015610c1b573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167ff910bcf6ef45198082a2e9755330a11e60bde93603dd71de5eb22ecab54167683384604051610c7e929190611a38565b60405180910390a39392505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d41576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3890611b9c565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610dd1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dc890611b7c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610e41576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e3890611bbc565b60405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507ff2a8c544d5befa20af407e43fa5a05305e50163fb8d06fda74206f0dc08b680f81604051610eb09190611a1d565b60405180910390a150565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f4a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4190611b9c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610fba576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fb190611bbc565b60405180910390fd5b6005600081548092919060010191905055506005548373ffffffffffffffffffffffffffffffffffffffff166354fd4d506040518163ffffffff1660e01b815260040160206040518083038186803b15801561101557600080fd5b505afa158015611029573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061104d919081019061167f565b1461108d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161108490611b3c565b60405180910390fd5b8260046000600554815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461116a578160026000600554815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146111f3578060036000600554815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b7ff2ac7d6a10d2f0b9b7fdad229bb1456de7a254de96bb7f55f3d22a91ea93f27f83838360405161122693929190611a61565b60405180910390a1505050565b6000806004600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f3d602d80600a3d3981f3363d3d373d3d3d363d7300000000000000000000000081528160148201527f5af43d82803e903d91602b57fd5bf3000000000000000000000000000000000060288201526037816000f092505050919050565b6000813590506112df81611dfd565b92915050565b60008083601f8401126112f757600080fd5b8235905067ffffffffffffffff81111561131057600080fd5b60208301915083602082028301111561132857600080fd5b9250929050565b600082601f83011261134057600080fd5b815161135361134e82611c4d565b611c20565b9150818183526020840193506020810190508385602084028201111561137857600080fd5b60005b838110156113a8578161138e88826113fc565b84526020840193506020830192505060018101905061137b565b5050505092915050565b60008083601f8401126113c457600080fd5b8235905067ffffffffffffffff8111156113dd57600080fd5b6020830191508360208202830111156113f557600080fd5b9250929050565b60008151905061140b81611e14565b92915050565b60008135905061142081611e2b565b92915050565b60008151905061143581611e2b565b92915050565b60006020828403121561144d57600080fd5b600061145b848285016112d0565b91505092915050565b60008060006060848603121561147957600080fd5b6000611487868287016112d0565b9350506020611498868287016112d0565b92505060406114a9868287016112d0565b9150509250925092565b600080600080608085870312156114c957600080fd5b60006114d7878288016112d0565b94505060206114e8878288016112d0565b93505060406114f9878288016112d0565b925050606061150a878288016112d0565b91505092959194509250565b60008060006060848603121561152b57600080fd5b6000611539868287016112d0565b935050602061154a86828701611411565b925050604061155b868287016112d0565b9150509250925092565b600080600080600080600060a0888a03121561158057600080fd5b600061158e8a828b016112d0565b975050602061159f8a828b01611411565b965050604088013567ffffffffffffffff8111156115bc57600080fd5b6115c88a828b016112e5565b9550955050606088013567ffffffffffffffff8111156115e757600080fd5b6115f38a828b016113b2565b935093505060806116068a828b016112d0565b91505092959891949750929550565b60006020828403121561162757600080fd5b600082015167ffffffffffffffff81111561164157600080fd5b61164d8482850161132f565b91505092915050565b60006020828403121561166857600080fd5b600061167684828501611411565b91505092915050565b60006020828403121561169157600080fd5b600061169f84828501611426565b91505092915050565b600080604083850312156116bb57600080fd5b60006116c985828601611411565b92505060206116da858286016112d0565b9150509250929050565b60006116f08383611721565b60208301905092915050565b6000611709848484611821565b90509392505050565b61171b81611da7565b82525050565b61172a81611d55565b82525050565b61173981611d55565b82525050565b600061174b8385611ca3565b935061175682611c75565b8060005b8581101561178f5761176c8284611ce7565b61177688826116e4565b975061178183611c89565b92505060018101905061175a565b5085925050509392505050565b60006117a88385611cb4565b9350836020840285016117ba84611c7f565b8060005b878110156118005784840389526117d58284611cfe565b6117e08682846116fc565b95506117eb84611c96565b935060208b019a5050506001810190506117be565b50829750879450505050509392505050565b61181b81611d67565b82525050565b600061182d8385611cc5565b935061183a838584611ddd565b61184383611dec565b840190509392505050565b600061185b601183611cd6565b91507f6e6f742d76616c69642d6163636f756e740000000000000000000000000000006000830152602082019050919050565b600061189b600f83611cd6565b91507f616c72656164792d646566696e656400000000000000000000000000000000006000830152602082019050919050565b60006118db601183611cd6565b91507f6e6f742d76616c69642d76657273696f6e0000000000000000000000000000006000830152602082019050919050565b600061191b600f83611cd6565b91507f616c72656164792d612d636865636b00000000000000000000000000000000006000830152602082019050919050565b600061195b601083611cd6565b91507f616c72656164792d612d6d6173746572000000000000000000000000000000006000830152602082019050919050565b600061199b600a83611cd6565b91507f6e6f742d6d6173746572000000000000000000000000000000000000000000006000830152602082019050919050565b60006119db601183611cd6565b91507f6e6f742d76616c69642d616464726573730000000000000000000000000000006000830152602082019050919050565b611a1781611d9d565b82525050565b6000602082019050611a326000830184611730565b92915050565b6000604082019050611a4d6000830185611712565b611a5a6020830184611730565b9392505050565b6000606082019050611a766000830186611730565b611a836020830185611730565b611a906040830184611730565b949350505050565b60006060820190508181036000830152611ab381878961173f565b90508181036020830152611ac881858761179c565b9050611ad76040830184611730565b9695505050505050565b6000602082019050611af66000830184611812565b92915050565b60006020820190508181036000830152611b158161184e565b9050919050565b60006020820190508181036000830152611b358161188e565b9050919050565b60006020820190508181036000830152611b55816118ce565b9050919050565b60006020820190508181036000830152611b758161190e565b9050919050565b60006020820190508181036000830152611b958161194e565b9050919050565b60006020820190508181036000830152611bb58161198e565b9050919050565b60006020820190508181036000830152611bd5816119ce565b9050919050565b6000602082019050611bf16000830184611a0e565b92915050565b6000604082019050611c0c6000830185611a0e565b611c196020830184611730565b9392505050565b6000604051905081810181811067ffffffffffffffff82111715611c4357600080fd5b8060405250919050565b600067ffffffffffffffff821115611c6457600080fd5b602082029050602081019050919050565b6000819050919050565b6000819050919050565b6000602082019050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b6000611cf660208401846112d0565b905092915050565b60008083356001602003843603038112611d1757600080fd5b83810192508235915060208301925067ffffffffffffffff821115611d3b57600080fd5b600182023603841315611d4d57600080fd5b509250929050565b6000611d6082611d7d565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000611db282611db9565b9050919050565b6000611dc482611dcb565b9050919050565b6000611dd682611d7d565b9050919050565b82818337600083830152505050565b6000601f19601f8301169050919050565b611e0681611d55565b8114611e1157600080fd5b50565b611e1d81611d73565b8114611e2857600080fd5b50565b611e3481611d9d565b8114611e3f57600080fd5b5056fea26469706673582212201e75f3014e573f8d6bfa1253ea1ac9626ade60acd43b432a387b971527d9dd1464736f6c63430006010033

0x6080604052600436106100c25760003560e01c8063743681891161007f578063bb7e70ef11610059578063bb7e70ef14610293578063ee97f7f3146102d0578063f4ff78bf146102fb578063fdc3870c14610324576100c2565b806374368189146102025780638aad29e11461023f578063a4bb8e7d1461026a576100c2565b80630f560cd7146100c757806313ede1a1146100f25780632dd7c6581461012f578063443ff7b61461016c5780634f5b2561146101955780635f72f450146101c5575b600080fd5b3480156100d357600080fd5b506100dc61034d565b6040516100e99190611a1d565b60405180910390f35b3480156100fe57600080fd5b5061011960048036036101149190810190611656565b610373565b6040516101269190611a1d565b60405180910390f35b34801561013b57600080fd5b5061015660048036036101519190810190611656565b6103a6565b6040516101639190611a1d565b60405180910390f35b34801561017857600080fd5b50610193600480360361018e91908101906116a8565b6103d9565b005b6101af60048036036101aa9190810190611565565b610609565b6040516101bc9190611a1d565b60405180910390f35b3480156101d157600080fd5b506101ec60048036036101e79190810190611656565b6106ca565b6040516101f99190611a1d565b60405180910390f35b34801561020e57600080fd5b50610229600480360361022491908101906116a8565b6106fd565b6040516102369190611ae1565b60405180910390f35b34801561024b57600080fd5b506102546107b2565b6040516102619190611bdc565b60405180910390f35b34801561027657600080fd5b50610291600480360361028c91908101906114b3565b6107b8565b005b34801561029f57600080fd5b506102ba60048036036102b59190810190611516565b610ac9565b6040516102c79190611a1d565b60405180910390f35b3480156102dc57600080fd5b506102e5610c8d565b6040516102f29190611a1d565b60405180910390f35b34801561030757600080fd5b50610322600480360361031d919081019061143b565b610cb2565b005b34801561033057600080fd5b5061034b60048036036103469190810190611464565b610ebb565b005b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60026020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60046020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610468576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161045f90611b9c565b60405180910390fd5b6003600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561050a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161050190611b5c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561057a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161057190611bbc565b60405180910390fd5b806003600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f1d96dda971e33be0980128bbce3f93dfe4859657397e00d2db4d288d2c2bc78882826040516105fd929190611bf7565b60405180910390a15050565b6000610616888884610ac9565b905060008686905011156106bf578073ffffffffffffffffffffffffffffffffffffffff1663e0e90acf3488888888886040518763ffffffff1660e01b8152600401610666959493929190611a98565b6000604051808303818588803b15801561067f57600080fd5b505af1158015610693573d6000803e3d6000fd5b50505050506040513d6000823e3d601f19601f820116820180604052506106bd9190810190611615565b505b979650505050505050565b60036020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806004600085815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f363d3d373d3d3d363d7300000000000000000000000000000000000000000000815281600a8201527f5af43d82803e903d91602b57fd5bf30000000000000000000000000000000000601e82015260408101602d600082873c600d810151600d83015114815183511416935050505092915050565b60055481565b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480156108635750600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b80156108cf5750600073ffffffffffffffffffffffffffffffffffffffff16600460006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561093b5750600073ffffffffffffffffffffffffffffffffffffffff16600260006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561094957506000600554145b610988576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161097f90611b1c565b60405180910390fd5b836000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506005600081548092919060010191905055508160046000600554815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060026000600554815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b6000808314158015610add57506005548311155b610b1c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b1390611afc565b60405180910390fd5b610b2583611233565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166319ab453c826040518263ffffffff1660e01b8152600401610b829190611a1d565b600060405180830381600087803b158015610b9c57600080fd5b505af1158015610bb0573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff16635bfa1b68856040518263ffffffff1660e01b8152600401610bed9190611a1d565b600060405180830381600087803b158015610c0757600080fd5b505af1158015610c1b573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167ff910bcf6ef45198082a2e9755330a11e60bde93603dd71de5eb22ecab54167683384604051610c7e929190611a38565b60405180910390a39392505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d41576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3890611b9c565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610dd1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dc890611b7c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610e41576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e3890611bbc565b60405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507ff2a8c544d5befa20af407e43fa5a05305e50163fb8d06fda74206f0dc08b680f81604051610eb09190611a1d565b60405180910390a150565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f4a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4190611b9c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610fba576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fb190611bbc565b60405180910390fd5b6005600081548092919060010191905055506005548373ffffffffffffffffffffffffffffffffffffffff166354fd4d506040518163ffffffff1660e01b815260040160206040518083038186803b15801561101557600080fd5b505afa158015611029573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061104d919081019061167f565b1461108d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161108490611b3c565b60405180910390fd5b8260046000600554815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461116a578160026000600554815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146111f3578060036000600554815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b7ff2ac7d6a10d2f0b9b7fdad229bb1456de7a254de96bb7f55f3d22a91ea93f27f83838360405161122693929190611a61565b60405180910390a1505050565b6000806004600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f3d602d80600a3d3981f3363d3d373d3d3d363d7300000000000000000000000081528160148201527f5af43d82803e903d91602b57fd5bf3000000000000000000000000000000000060288201526037816000f092505050919050565b6000813590506112df81611dfd565b92915050565b60008083601f8401126112f757600080fd5b8235905067ffffffffffffffff81111561131057600080fd5b60208301915083602082028301111561132857600080fd5b9250929050565b600082601f83011261134057600080fd5b815161135361134e82611c4d565b611c20565b9150818183526020840193506020810190508385602084028201111561137857600080fd5b60005b838110156113a8578161138e88826113fc565b84526020840193506020830192505060018101905061137b565b5050505092915050565b60008083601f8401126113c457600080fd5b8235905067ffffffffffffffff8111156113dd57600080fd5b6020830191508360208202830111156113f557600080fd5b9250929050565b60008151905061140b81611e14565b92915050565b60008135905061142081611e2b565b92915050565b60008151905061143581611e2b565b92915050565b60006020828403121561144d57600080fd5b600061145b848285016112d0565b91505092915050565b60008060006060848603121561147957600080fd5b6000611487868287016112d0565b9350506020611498868287016112d0565b92505060406114a9868287016112d0565b9150509250925092565b600080600080608085870312156114c957600080fd5b60006114d7878288016112d0565b94505060206114e8878288016112d0565b93505060406114f9878288016112d0565b925050606061150a878288016112d0565b91505092959194509250565b60008060006060848603121561152b57600080fd5b6000611539868287016112d0565b935050602061154a86828701611411565b925050604061155b868287016112d0565b9150509250925092565b600080600080600080600060a0888a03121561158057600080fd5b600061158e8a828b016112d0565b975050602061159f8a828b01611411565b965050604088013567ffffffffffffffff8111156115bc57600080fd5b6115c88a828b016112e5565b9550955050606088013567ffffffffffffffff8111156115e757600080fd5b6115f38a828b016113b2565b935093505060806116068a828b016112d0565b91505092959891949750929550565b60006020828403121561162757600080fd5b600082015167ffffffffffffffff81111561164157600080fd5b61164d8482850161132f565b91505092915050565b60006020828403121561166857600080fd5b600061167684828501611411565b91505092915050565b60006020828403121561169157600080fd5b600061169f84828501611426565b91505092915050565b600080604083850312156116bb57600080fd5b60006116c985828601611411565b92505060206116da858286016112d0565b9150509250929050565b60006116f08383611721565b60208301905092915050565b6000611709848484611821565b90509392505050565b61171b81611da7565b82525050565b61172a81611d55565b82525050565b61173981611d55565b82525050565b600061174b8385611ca3565b935061175682611c75565b8060005b8581101561178f5761176c8284611ce7565b61177688826116e4565b975061178183611c89565b92505060018101905061175a565b5085925050509392505050565b60006117a88385611cb4565b9350836020840285016117ba84611c7f565b8060005b878110156118005784840389526117d58284611cfe565b6117e08682846116fc565b95506117eb84611c96565b935060208b019a5050506001810190506117be565b50829750879450505050509392505050565b61181b81611d67565b82525050565b600061182d8385611cc5565b935061183a838584611ddd565b61184383611dec565b840190509392505050565b600061185b601183611cd6565b91507f6e6f742d76616c69642d6163636f756e740000000000000000000000000000006000830152602082019050919050565b600061189b600f83611cd6565b91507f616c72656164792d646566696e656400000000000000000000000000000000006000830152602082019050919050565b60006118db601183611cd6565b91507f6e6f742d76616c69642d76657273696f6e0000000000000000000000000000006000830152602082019050919050565b600061191b600f83611cd6565b91507f616c72656164792d612d636865636b00000000000000000000000000000000006000830152602082019050919050565b600061195b601083611cd6565b91507f616c72656164792d612d6d6173746572000000000000000000000000000000006000830152602082019050919050565b600061199b600a83611cd6565b91507f6e6f742d6d6173746572000000000000000000000000000000000000000000006000830152602082019050919050565b60006119db601183611cd6565b91507f6e6f742d76616c69642d616464726573730000000000000000000000000000006000830152602082019050919050565b611a1781611d9d565b82525050565b6000602082019050611a326000830184611730565b92915050565b6000604082019050611a4d6000830185611712565b611a5a6020830184611730565b9392505050565b6000606082019050611a766000830186611730565b611a836020830185611730565b611a906040830184611730565b949350505050565b60006060820190508181036000830152611ab381878961173f565b90508181036020830152611ac881858761179c565b9050611ad76040830184611730565b9695505050505050565b6000602082019050611af66000830184611812565b92915050565b60006020820190508181036000830152611b158161184e565b9050919050565b60006020820190508181036000830152611b358161188e565b9050919050565b60006020820190508181036000830152611b55816118ce565b9050919050565b60006020820190508181036000830152611b758161190e565b9050919050565b60006020820190508181036000830152611b958161194e565b9050919050565b60006020820190508181036000830152611bb58161198e565b9050919050565b60006020820190508181036000830152611bd5816119ce565b9050919050565b6000602082019050611bf16000830184611a0e565b92915050565b6000604082019050611c0c6000830185611a0e565b611c196020830184611730565b9392505050565b6000604051905081810181811067ffffffffffffffff82111715611c4357600080fd5b8060405250919050565b600067ffffffffffffffff821115611c6457600080fd5b602082029050602081019050919050565b6000819050919050565b6000819050919050565b6000602082019050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b6000611cf660208401846112d0565b905092915050565b60008083356001602003843603038112611d1757600080fd5b83810192508235915060208301925067ffffffffffffffff821115611d3b57600080fd5b600182023603841315611d4d57600080fd5b509250929050565b6000611d6082611d7d565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b6000611db282611db9565b9050919050565b6000611dc482611dcb565b9050919050565b6000611dd682611d7d565b9050919050565b82818337600083830152505050565b6000601f19601f8301169050919050565b611e0681611d55565b8114611e1157600080fd5b50565b611e1d81611d73565b8114611e2857600080fd5b50565b611e3481611d9d565b8114611e3f57600080fd5b5056fea26469706673582212201e75f3014e573f8d6bfa1253ea1ac9626ade60acd43b432a387b971527d9dd1464736f6c63430006010033

4947:2556:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;926:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;926:19:0;;;:::i;:::-;;;;;;;;;;;;;;;;1044:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1044:43:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1285:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1285:40:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;2152:322;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2152:322:0;;;;;;;;;;;;;;;;:::i;:::-;;5507:406;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1165:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1165:38:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4154:786;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4154:786:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1374:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1374:24:0;;;:::i;:::-;;;;;;;;;;;;;;;;6931:567;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6931:567:0;;;;;;;;;;;;;;;;:::i;:::-;;6150:454;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6150:454:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;863:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;863:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;1686:263;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1686:263:0;;;;;;;;;;;;;;;;:::i;:::-;;2703:548;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2703:548:0;;;;;;;;;;;;;;;;:::i;:::-;;926:19;;;;;;;;;;;;;:::o;1044:43::-;;;;;;;;;;;;;;;;;;;;;;:::o;1285:40::-;;;;;;;;;;;;;;;;;;;;;;:::o;2152:322::-;1533:6;;;;;;;;;;;1519:20;;:10;:20;;;1511:43;;;;;;;;;;;;;;;;;;;;;;2263:5:::1;:21;2269:14;2263:21;;;;;;;;;;;;;;;;;;;;;2250:34;;:9;:34;;;;2242:62;;;;;;;;;;;;;;;;;;;;;;2344:1;2323:23;;:9;:23;;;;2315:53;;;;;;;;;;;;;;;;;;;;;;2403:9;2379:5;:21;2385:14;2379:21;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;2428:38;2440:14;2456:9;2428:38;;;;;;;;;;;;;;;;2152:322:::0;;:::o;5507:406::-;5716:16;5756:38;5762:6;5770:14;5786:7;5756:5;:38::i;:::-;5745:49;;5827:1;5809:8;;:15;;:19;5805:100;;;5847:8;5830:31;;;5868:9;5879:8;;5889:6;;5897:7;5830:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5830:75:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5830:75:0;;;;;;;39:16:-1;36:1;17:17;2:54;5830:75: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;5830:75:0;;;;;;;;;;5805:100;5507:406;;;;;;;;;:::o;1165:38::-;;;;;;;;;;;;;;;;;;;;;;:::o;4154:786::-;4223:11;4247:19;4277:7;:16;4285:7;4277:16;;;;;;;;;;;;;;;;;;;;;4269:25;;4247:47;;4413:4;4407:11;4446:66;4439:5;4432:81;4551:11;4545:3;4538:5;4534:15;4527:36;4602:66;4595:4;4588:5;4584:16;4577:92;4709:4;4702:5;4698:16;4757:4;4754:1;4747:5;4740;4728:34;4901:3;4894:5;4890:15;4884:22;4877:3;4870:5;4866:15;4860:22;4857:50;4831:5;4825:12;4817:5;4811:12;4808:30;4786:136;4776:146;;4379:554;;;;;;;:::o;1374:24::-;;;;:::o;6931:567::-;7124:1;7106:20;;:6;;;;;;;;;;;:20;;;:55;;;;;7159:1;7143:18;;:4;;;;;;;;;;;:18;;;7106:55;:96;;;;;7200:1;7178:24;;:7;:10;7186:1;7178:10;;;;;;;;;;;;;;;;;;;;;:24;;;7106:96;:140;;;;;7244:1;7219:27;;:10;:13;7230:1;7219:13;;;;;;;;;;;;;;;;;;;;;:27;;;7106:140;:174;;;;;7279:1;7263:12;;:17;7106:174;7084:239;;;;;;;;;;;;;;;;;;;;;;7343:7;7334:6;;:16;;;;;;;;;;;;;;;;;;7368:5;7361:4;;:12;;;;;;;;;;;;;;;;;;7384;;:14;;;;;;;;;;;;;7433:8;7409:7;:21;7417:12;;7409:21;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;7479:11;7452:10;:24;7463:12;;7452:24;;;;;;;;;;;;:38;;;;;;;;;;;;;;;;;;6931:567;;;;:::o;6150:454::-;6269:16;6324:1;6306:14;:19;;:53;;;;;6347:12;;6329:14;:30;;6306:53;6298:83;;;;;;;;;;;;;;;;;;;;;;6403:27;6415:14;6403:11;:27::i;:::-;6392:38;;6455:4;;;;;;;;;;;6441:24;;;6466:8;6441:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6441:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6441:34:0;;;;6503:8;6486:33;;;6520:6;6486:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6486:41:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6486:41:0;;;;6588:7;6543:53;;6570:6;6543:53;;;6558:10;6578:8;6543:53;;;;;;;;;;;;;;;;6150:454;;;;;:::o;863:21::-;;;;;;;;;;;;;:::o;1686:263::-;1533:6;;;;;;;;;;;1519:20;;:10;:20;;;1511:43;;;;;;;;;;;;;;;;;;;;;;1779:6:::1;::::0;::::1;;;;;;;;;1765:20;;:10;:20;;;;1757:49;;;;;;;;;;;;;;;;;;;;;;1847:1;1825:24;;:10;:24;;;;1817:54;;;;;;;;;;;;;;;;;;;;;;1891:10;1882:6;::::0;:19:::1;;;;;;;;;;;;;;;;;;1917:24;1930:10;1917:24;;;;;;;;;;;;;;;1686:263:::0;:::o;2703:548::-;1533:6;;;;;;;;;;;1519:20;;:10;:20;;;1511:43;;;;;;;;;;;;;;;;;;;;;;2844:1:::1;2821:25;;:11;:25;;;;2813:55;;;;;;;;;;;;;;;;;;;;;;2879:12;;:14;;;;;;;;;;;;;2955:12;;2929:11;2912:37;;;:39;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;2912:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;2912:39: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;2912:39:0;;;;;;;;;:55;2904:85;;;;;;;;;;;;;;;;;;;;;;3024:11;3000:7;:21;3008:12;;3000:21;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;3073:1;3050:25;;:11;:25;;;3046:69;;3104:11;3077:10;:24;3088:12;;3077:24;;;;;;;;;;;;:38;;;;;;;;;;;;;;;;;;3046:69;3148:1;3130:20;;:6;:20;;;3126:54;;3174:6;3152:5;:19;3158:12;;3152:19;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;3126:54;3196:47;3210:11;3223;3236:6;3196:47;;;;;;;;;;;;;;;;;2703:548:::0;;;:::o;3420:567::-;3473:14;3500:19;3530:7;:16;3538:7;3530:16;;;;;;;;;;;;;;;;;;;;;3522:25;;3500:47;;3666:4;3660:11;3699:66;3692:5;3685:81;3805:11;3798:4;3791:5;3787:16;3780:37;3856:66;3849:4;3842:5;3838:16;3831:92;3964:4;3957:5;3954:1;3947:22;3937:32;;3632:348;;;;;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;;;57:78;;;;;160:352;;;290:3;283:4;275:6;271:17;267:27;257:2;;308:1;305;298:12;257:2;341:6;328:20;318:30;;368:18;360:6;357:30;354:2;;;400:1;397;390:12;354:2;434:4;426:6;422:17;410:29;;485:3;477:4;469:6;465:17;455:8;451:32;448:41;445:2;;;502:1;499;492:12;445:2;250:262;;;;;;538:722;;666:3;659:4;651:6;647:17;643:27;633:2;;684:1;681;674:12;633:2;714:6;708:13;736:80;751:64;808:6;751:64;;;736:80;;;727:89;;833:5;858:6;851:5;844:21;888:4;880:6;876:17;866:27;;910:4;905:3;901:14;894:21;;963:6;1010:3;1002:4;994:6;990:17;985:3;981:27;978:36;975:2;;;1027:1;1024;1017:12;975:2;1052:1;1037:217;1062:6;1059:1;1056:13;1037:217;;;1120:3;1142:48;1186:3;1174:10;1142:48;;;1137:3;1130:61;1214:4;1209:3;1205:14;1198:21;;1242:4;1237:3;1233:14;1226:21;;1094:160;1084:1;1081;1077:9;1072:14;;1037:217;;;1041:14;626:634;;;;;;;;1284:359;;;1421:3;1414:4;1406:6;1402:17;1398:27;1388:2;;1439:1;1436;1429:12;1388:2;1472:6;1459:20;1449:30;;1499:18;1491:6;1488:30;1485:2;;;1531:1;1528;1521:12;1485:2;1565:4;1557:6;1553:17;1541:29;;1616:3;1608:4;1600:6;1596:17;1586:8;1582:32;1579:41;1576:2;;;1633:1;1630;1623:12;1576:2;1381:262;;;;;;1651:134;;1735:6;1729:13;1720:22;;1747:33;1774:5;1747:33;;;1714:71;;;;;1792:130;;1872:6;1859:20;1850:29;;1884:33;1911:5;1884:33;;;1844:78;;;;;1929:134;;2013:6;2007:13;1998:22;;2025:33;2052:5;2025:33;;;1992:71;;;;;2070:241;;2174:2;2162:9;2153:7;2149:23;2145:32;2142:2;;;2190:1;2187;2180:12;2142:2;2225:1;2242:53;2287:7;2278:6;2267:9;2263:22;2242:53;;;2232:63;;2204:97;2136:175;;;;;2318:491;;;;2456:2;2444:9;2435:7;2431:23;2427:32;2424:2;;;2472:1;2469;2462:12;2424:2;2507:1;2524:53;2569:7;2560:6;2549:9;2545:22;2524:53;;;2514:63;;2486:97;2614:2;2632:53;2677:7;2668:6;2657:9;2653:22;2632:53;;;2622:63;;2593:98;2722:2;2740:53;2785:7;2776:6;2765:9;2761:22;2740:53;;;2730:63;;2701:98;2418:391;;;;;;2816:617;;;;;2971:3;2959:9;2950:7;2946:23;2942:33;2939:2;;;2988:1;2985;2978:12;2939:2;3023:1;3040:53;3085:7;3076:6;3065:9;3061:22;3040:53;;;3030:63;;3002:97;3130:2;3148:53;3193:7;3184:6;3173:9;3169:22;3148:53;;;3138:63;;3109:98;3238:2;3256:53;3301:7;3292:6;3281:9;3277:22;3256:53;;;3246:63;;3217:98;3346:2;3364:53;3409:7;3400:6;3389:9;3385:22;3364:53;;;3354:63;;3325:98;2933:500;;;;;;;;3440:491;;;;3578:2;3566:9;3557:7;3553:23;3549:32;3546:2;;;3594:1;3591;3584:12;3546:2;3629:1;3646:53;3691:7;3682:6;3671:9;3667:22;3646:53;;;3636:63;;3608:97;3736:2;3754:53;3799:7;3790:6;3779:9;3775:22;3754:53;;;3744:63;;3715:98;3844:2;3862:53;3907:7;3898:6;3887:9;3883:22;3862:53;;;3852:63;;3823:98;3540:391;;;;;;3938:1069;;;;;;;;4187:3;4175:9;4166:7;4162:23;4158:33;4155:2;;;4204:1;4201;4194:12;4155:2;4239:1;4256:53;4301:7;4292:6;4281:9;4277:22;4256:53;;;4246:63;;4218:97;4346:2;4364:53;4409:7;4400:6;4389:9;4385:22;4364:53;;;4354:63;;4325:98;4482:2;4471:9;4467:18;4454:32;4506:18;4498:6;4495:30;4492:2;;;4538:1;4535;4528:12;4492:2;4566:80;4638:7;4629:6;4618:9;4614:22;4566:80;;;4556:90;;;;4433:219;4711:2;4700:9;4696:18;4683:32;4735:18;4727:6;4724:30;4721:2;;;4767:1;4764;4757:12;4721:2;4795:87;4874:7;4865:6;4854:9;4850:22;4795:87;;;4785:97;;;;4662:226;4919:3;4938:53;4983:7;4974:6;4963:9;4959:22;4938:53;;;4928:63;;4898:99;4149:858;;;;;;;;;;;5014:392;;5154:2;5142:9;5133:7;5129:23;5125:32;5122:2;;;5170:1;5167;5160:12;5122:2;5226:1;5215:9;5211:17;5205:24;5249:18;5241:6;5238:30;5235:2;;;5281:1;5278;5271:12;5235:2;5301:89;5382:7;5373:6;5362:9;5358:22;5301:89;;;5291:99;;5184:212;5116:290;;;;;5413:241;;5517:2;5505:9;5496:7;5492:23;5488:32;5485:2;;;5533:1;5530;5523:12;5485:2;5568:1;5585:53;5630:7;5621:6;5610:9;5606:22;5585:53;;;5575:63;;5547:97;5479:175;;;;;5661:263;;5776:2;5764:9;5755:7;5751:23;5747:32;5744:2;;;5792:1;5789;5782:12;5744:2;5827:1;5844:64;5900:7;5891:6;5880:9;5876:22;5844:64;;;5834:74;;5806:108;5738:186;;;;;5931:366;;;6052:2;6040:9;6031:7;6027:23;6023:32;6020:2;;;6068:1;6065;6058:12;6020:2;6103:1;6120:53;6165:7;6156:6;6145:9;6141:22;6120:53;;;6110:63;;6082:97;6210:2;6228:53;6273:7;6264:6;6253:9;6249:22;6228:53;;;6218:63;;6189:98;6014:283;;;;;;6305:173;;6392:46;6434:3;6426:6;6392:46;;;6467:4;6462:3;6458:14;6444:28;;6385:93;;;;;6487:197;;6608:70;6674:3;6666:6;6658;6608:70;;;6594:84;;6587:97;;;;;;6692:142;6783:45;6822:5;6783:45;;;6778:3;6771:58;6765:69;;;6841:103;6914:24;6932:5;6914:24;;;6909:3;6902:37;6896:48;;;6951:113;7034:24;7052:5;7034:24;;;7029:3;7022:37;7016:48;;;7102:665;;7256:86;7335:6;7330:3;7256:86;;;7249:93;;7363:58;7415:5;7363:58;;;7441:7;7469:1;7454:291;7479:6;7476:1;7473:13;7454:291;;;7540:42;7575:6;7566:7;7540:42;;;7596:63;7655:3;7640:13;7596:63;;;7589:70;;7676:62;7731:6;7676:62;;;7666:72;;7511:234;7501:1;7498;7494:9;7489:14;;7454:291;;;7458:14;7758:3;7751:10;;7236:531;;;;;;;;7802:903;;7968:91;8052:6;8047:3;7968:91;;;7961:98;;8082:3;8124:4;8116:6;8112:17;8107:3;8103:27;8151:65;8210:5;8151:65;;;8236:7;8264:1;8249:417;8274:6;8271:1;8268:13;8249:417;;;8336:9;8330:4;8326:20;8321:3;8314:33;8390:49;8432:6;8423:7;8390:49;;;8454:91;8540:4;8525:13;8510;8454:91;;;8446:99;;8562:69;8624:6;8562:69;;;8552:79;;8654:4;8649:3;8645:14;8638:21;;8306:360;;8296:1;8293;8289:9;8284:14;;8249:417;;;8253:14;8679:4;8672:11;;8696:3;8689:10;;7948:757;;;;;;;;;;8713:104;8790:21;8805:5;8790:21;;;8785:3;8778:34;8772:45;;;8847:273;;8947:60;9000:6;8995:3;8947:60;;;8940:67;;9019:43;9055:6;9050:3;9043:5;9019:43;;;9084:29;9106:6;9084:29;;;9079:3;9075:39;9068:46;;8933:187;;;;;;9129:317;;9289:67;9353:2;9348:3;9289:67;;;9282:74;;9389:19;9385:1;9380:3;9376:11;9369:40;9437:2;9432:3;9428:12;9421:19;;9275:171;;;;9455:315;;9615:67;9679:2;9674:3;9615:67;;;9608:74;;9715:17;9711:1;9706:3;9702:11;9695:38;9761:2;9756:3;9752:12;9745:19;;9601:169;;;;9779:317;;9939:67;10003:2;9998:3;9939:67;;;9932:74;;10039:19;10035:1;10030:3;10026:11;10019:40;10087:2;10082:3;10078:12;10071:19;;9925:171;;;;10105:315;;10265:67;10329:2;10324:3;10265:67;;;10258:74;;10365:17;10361:1;10356:3;10352:11;10345:38;10411:2;10406:3;10402:12;10395:19;;10251:169;;;;10429:316;;10589:67;10653:2;10648:3;10589:67;;;10582:74;;10689:18;10685:1;10680:3;10676:11;10669:39;10736:2;10731:3;10727:12;10720:19;;10575:170;;;;10754:310;;10914:67;10978:2;10973:3;10914:67;;;10907:74;;11014:12;11010:1;11005:3;11001:11;10994:33;11055:2;11050:3;11046:12;11039:19;;10900:164;;;;11073:317;;11233:67;11297:2;11292:3;11233:67;;;11226:74;;11333:19;11329:1;11324:3;11320:11;11313:40;11381:2;11376:3;11372:12;11365:19;;11219:171;;;;11398:113;11481:24;11499:5;11481:24;;;11476:3;11469:37;11463:48;;;11518:213;;11636:2;11625:9;11621:18;11613:26;;11650:71;11718:1;11707:9;11703:17;11694:6;11650:71;;;11607:124;;;;;11738:340;;11892:2;11881:9;11877:18;11869:26;;11906:79;11982:1;11971:9;11967:17;11958:6;11906:79;;;11996:72;12064:2;12053:9;12049:18;12040:6;11996:72;;;11863:215;;;;;;12085:435;;12259:2;12248:9;12244:18;12236:26;;12273:71;12341:1;12330:9;12326:17;12317:6;12273:71;;;12355:72;12423:2;12412:9;12408:18;12399:6;12355:72;;;12438;12506:2;12495:9;12491:18;12482:6;12438:72;;;12230:290;;;;;;;12527:795;;12833:2;12822:9;12818:18;12810:26;;12883:9;12877:4;12873:20;12869:1;12858:9;12854:17;12847:47;12908:118;13021:4;13012:6;13004;12908:118;;;12900:126;;13074:9;13068:4;13064:20;13059:2;13048:9;13044:18;13037:48;13099:130;13224:4;13215:6;13207;13099:130;;;13091:138;;13240:72;13308:2;13297:9;13293:18;13284:6;13240:72;;;12804:518;;;;;;;;;13329:201;;13441:2;13430:9;13426:18;13418:26;;13455:65;13517:1;13506:9;13502:17;13493:6;13455:65;;;13412:118;;;;;13537:407;;13728:2;13717:9;13713:18;13705:26;;13778:9;13772:4;13768:20;13764:1;13753:9;13749:17;13742:47;13803:131;13929:4;13803:131;;;13795:139;;13699:245;;;;13951:407;;14142:2;14131:9;14127:18;14119:26;;14192:9;14186:4;14182:20;14178:1;14167:9;14163:17;14156:47;14217:131;14343:4;14217:131;;;14209:139;;14113:245;;;;14365:407;;14556:2;14545:9;14541:18;14533:26;;14606:9;14600:4;14596:20;14592:1;14581:9;14577:17;14570:47;14631:131;14757:4;14631:131;;;14623:139;;14527:245;;;;14779:407;;14970:2;14959:9;14955:18;14947:26;;15020:9;15014:4;15010:20;15006:1;14995:9;14991:17;14984:47;15045:131;15171:4;15045:131;;;15037:139;;14941:245;;;;15193:407;;15384:2;15373:9;15369:18;15361:26;;15434:9;15428:4;15424:20;15420:1;15409:9;15405:17;15398:47;15459:131;15585:4;15459:131;;;15451:139;;15355:245;;;;15607:407;;15798:2;15787:9;15783:18;15775:26;;15848:9;15842:4;15838:20;15834:1;15823:9;15819:17;15812:47;15873:131;15999:4;15873:131;;;15865:139;;15769:245;;;;16021:407;;16212:2;16201:9;16197:18;16189:26;;16262:9;16256:4;16252:20;16248:1;16237:9;16233:17;16226:47;16287:131;16413:4;16287:131;;;16279:139;;16183:245;;;;16435:213;;16553:2;16542:9;16538:18;16530:26;;16567:71;16635:1;16624:9;16620:17;16611:6;16567:71;;;16524:124;;;;;16655:324;;16801:2;16790:9;16786:18;16778:26;;16815:71;16883:1;16872:9;16868:17;16859:6;16815:71;;;16897:72;16965:2;16954:9;16950:18;16941:6;16897:72;;;16772:207;;;;;;16986:256;;17048:2;17042:9;17032:19;;17086:4;17078:6;17074:17;17185:6;17173:10;17170:22;17149:18;17137:10;17134:34;17131:62;17128:2;;;17206:1;17203;17196:12;17128:2;17226:10;17222:2;17215:22;17026:216;;;;;17249:304;;17408:18;17400:6;17397:30;17394:2;;;17440:1;17437;17430:12;17394:2;17475:4;17467:6;17463:17;17455:25;;17538:4;17532;17528:15;17520:23;;17331:222;;;;17560:118;;17648:3;17640:11;;17634:44;;;;17685:125;;17780:3;17772:11;;17766:44;;;;17817:110;;17917:4;17912:3;17908:14;17900:22;;17894:33;;;;17934:117;;18041:4;18036:3;18032:14;18024:22;;18018:33;;;;18059:178;;18189:6;18184:3;18177:19;18226:4;18221:3;18217:14;18202:29;;18170:67;;;;;18246:183;;18381:6;18376:3;18369:19;18418:4;18413:3;18409:14;18394:29;;18362:67;;;;;18438:152;;18542:6;18537:3;18530:19;18579:4;18574:3;18570:14;18555:29;;18523:67;;;;;18599:163;;18714:6;18709:3;18702:19;18751:4;18746:3;18742:14;18727:29;;18695:67;;;;;18771:119;;18845:39;18880:2;18875:3;18871:12;18866:3;18845:39;;;18836:48;;18829:61;;;;;18899:497;;;19019:3;19006:17;19108:1;19102:4;19098:12;19087:8;19071:14;19067:29;19063:48;19043:18;19039:73;19029:2;;19126:1;19123;19116:12;19029:2;19169:8;19149:18;19145:33;19136:42;;19213:5;19200:19;19190:29;;19245:4;19238:5;19234:16;19225:25;;19270:18;19262:6;19259:30;19256:2;;;19302:1;19299;19292:12;19256:2;19361:4;19353:6;19349:17;19333:14;19329:38;19319:8;19315:53;19312:2;;;19381:1;19378;19371:12;19312:2;18973:423;;;;;;;19404:91;;19466:24;19484:5;19466:24;;;19455:35;;19449:46;;;;19502:85;;19575:5;19568:13;19561:21;19550:32;;19544:43;;;;19594:72;;19656:5;19645:16;;19639:27;;;;19673:121;;19746:42;19739:5;19735:54;19724:65;;19718:76;;;;19801:72;;19863:5;19852:16;;19846:27;;;;19880:129;;19967:37;19998:5;19967:37;;;19954:50;;19948:61;;;;20016:121;;20095:37;20126:5;20095:37;;;20082:50;;20076:61;;;;20144:108;;20223:24;20241:5;20223:24;;;20210:37;;20204:48;;;;20260:145;20341:6;20336:3;20331;20318:30;20397:1;20388:6;20383:3;20379:16;20372:27;20311:94;;;;20413:97;;20501:2;20497:7;20492:2;20485:5;20481:14;20477:28;20467:38;;20461:49;;;;20518:117;20587:24;20605:5;20587:24;;;20580:5;20577:35;20567:2;;20626:1;20623;20616:12;20567:2;20561:74;;20642:117;20711:24;20729:5;20711:24;;;20704:5;20701:35;20691:2;;20750:1;20747;20740:12;20691:2;20685:74;;20766:117;20835:24;20853:5;20835:24;;;20828:5;20825:35;20815:2;;20874:1;20871;20864:12;20815:2;20809:74;

ipfs://1e75f3014e573f8d6bfa1253ea1ac9626ade60acd43b432a387b971527d9dd14