Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

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 updateMaster()
•    - 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
• Submit Audit
• Compare

/**
 *Submitted for verification at snowscan.xyz on 2021-11-21
*/

pragma solidity ^0.7.0;
pragma experimental ABIEncoderV2;

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

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 indexed master);
    event LogUpdateMaster(address indexed master);
    event LogNewCheck(uint indexed accountVersion, address indexed check);
    event LogNewAccount(address indexed _newAccount, address indexed _connectors, address indexed _check);

    // New Master Address.
    address private newMaster;
    // Master Address.
    address public master;
    // 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");
        require(newMaster != _newMaster, "already-a-new-master");
        newMaster = _newMaster;
        emit LogNewMaster(_newMaster);
    }

    function updateMaster() external {
        require(newMaster != address(0), "not-valid-address");
        require(msg.sender == newMaster, "not-master");
        master = newMaster;
        newMaster = address(0);
        emit LogUpdateMaster(master);
    }

    /**
     * @dev Change the Check Address of a specific 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");
        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 LogAccountCreated(address sender, address indexed owner, address indexed account, address indexed origin);

    /**
     * @dev Create a new DeFi 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 DeFi 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 LogAccountCreated(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":true,"internalType":"address","name":"account","type":"address"},{"indexed":true,"internalType":"address","name":"origin","type":"address"}],"name":"LogAccountCreated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_newAccount","type":"address"},{"indexed":true,"internalType":"address","name":"_connectors","type":"address"},{"indexed":true,"internalType":"address","name":"_check","type":"address"}],"name":"LogNewAccount","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"accountVersion","type":"uint256"},{"indexed":true,"internalType":"address","name":"check","type":"address"}],"name":"LogNewCheck","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"master","type":"address"}],"name":"LogNewMaster","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"master","type":"address"}],"name":"LogUpdateMaster","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":"updateMaster","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"versionCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"}]

608060405234801561001057600080fd5b5061214b806100206000396000f3fe6080604052600436106100dd5760003560e01c80638aad29e11161007f578063cf1a0ddc11610059578063cf1a0ddc146102eb578063ee97f7f314610302578063f4ff78bf1461032d578063fdc3870c14610356576100dd565b80638aad29e11461025a578063a4bb8e7d14610285578063bb7e70ef146102ae576100dd565b8063443ff7b6116100bb578063443ff7b6146101875780634f5b2561146101b05780635f72f450146101e0578063743681891461021d576100dd565b80630f560cd7146100e257806313ede1a11461010d5780632dd7c6581461014a575b600080fd5b3480156100ee57600080fd5b506100f761037f565b6040516101049190611d3e565b60405180910390f35b34801561011957600080fd5b50610134600480360381019061012f9190611937565b6103a5565b6040516101419190611d3e565b60405180910390f35b34801561015657600080fd5b50610171600480360381019061016c9190611937565b6103d8565b60405161017e9190611d3e565b60405180910390f35b34801561019357600080fd5b506101ae60048036038101906101a99190611989565b61040b565b005b6101ca60048036038101906101c59190611846565b6105d7565b6040516101d79190611d3e565b60405180910390f35b3480156101ec57600080fd5b5061020760048036038101906102029190611937565b610698565b6040516102149190611d3e565b60405180910390f35b34801561022957600080fd5b50610244600480360381019061023f9190611989565b6106cb565b6040516102519190611dbd565b60405180910390f35b34801561026657600080fd5b5061026f610780565b60405161027c9190611ed8565b60405180910390f35b34801561029157600080fd5b506102ac60048036038101906102a79190611794565b610786565b005b3480156102ba57600080fd5b506102d560048036038101906102d091906117f7565b610a99565b6040516102e29190611d3e565b60405180910390f35b3480156102f757600080fd5b50610300610c72565b005b34801561030e57600080fd5b50610317610e99565b6040516103249190611d3e565b60405180910390f35b34801561033957600080fd5b50610354600480360381019061034f919061171c565b610ebf565b005b34801561036257600080fd5b5061037d60048036038101906103789190611745565b611165565b005b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60036020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60056020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461049b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161049290611e98565b60405180910390fd5b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561053d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053490611e58565b60405180910390fd5b806004600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16827f1d96dda971e33be0980128bbce3f93dfe4859657397e00d2db4d288d2c2bc78860405160405180910390a35050565b60006105e4888884610a99565b9050600086869050111561068d578073ffffffffffffffffffffffffffffffffffffffff1663e0e90acf3488888888886040518763ffffffff1660e01b8152600401610634959493929190611d74565b6000604051808303818588803b15801561064d57600080fd5b505af1158015610661573d6000803e3d6000fd5b50505050506040513d6000823e3d601f19601f8201168201806040525081019061068b91906118f6565b505b979650505050505050565b60046020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806005600085815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f363d3d373d3d3d363d7300000000000000000000000000000000000000000000815281600a8201527f5af43d82803e903d91602b57fd5bf30000000000000000000000000000000000601e82015260408101602d600082873c600d810151600d83015114815183511416935050505092915050565b60065481565b600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480156108325750600073ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561089e5750600073ffffffffffffffffffffffffffffffffffffffff16600560006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561090a5750600073ffffffffffffffffffffffffffffffffffffffff16600360006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561091857506000600654145b610957576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094e90611e18565b60405180910390fd5b83600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506006600081548092919060010191905055508160056000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060036000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b6000808314158015610aad57506006548311155b610aec576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ae390611df8565b60405180910390fd5b610af583611514565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166319ab453c826040518263ffffffff1660e01b8152600401610b529190611d3e565b600060405180830381600087803b158015610b6c57600080fd5b505af1158015610b80573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff16635bfa1b68856040518263ffffffff1660e01b8152600401610bbd9190611d3e565b600060405180830381600087803b158015610bd757600080fd5b505af1158015610beb573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f83435eca805f6256e4aa778ee8b2e8aec7485fa4b643a0fff05b7df6bf68838933604051610c639190611d59565b60405180910390a49392505050565b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610d02576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf990611eb8565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d90576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d8790611e98565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f9ac7c65ebc1e9c5f94a0f9daaed02afefea79ae48162d49f30ab33b6e1637a1d60405160405180910390a2565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f4f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4690611e98565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610fe0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fd790611e78565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611050576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161104790611eb8565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156110df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110d690611dd8565b60405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167ff2a8c544d5befa20af407e43fa5a05305e50163fb8d06fda74206f0dc08b680f60405160405180910390a250565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146111f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111ec90611e98565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611265576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161125c90611eb8565b60405180910390fd5b6006600081548092919060010191905055506006548373ffffffffffffffffffffffffffffffffffffffff166354fd4d506040518163ffffffff1660e01b815260040160206040518083038186803b1580156112c057600080fd5b505afa1580156112d4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112f89190611960565b14611338576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161132f90611e38565b60405180910390fd5b8260056000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611415578160036000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461149e578060046000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167ff2ac7d6a10d2f0b9b7fdad229bb1456de7a254de96bb7f55f3d22a91ea93f27f60405160405180910390a4505050565b6000806005600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f3d602d80600a3d3981f3363d3d373d3d3d363d7300000000000000000000000081528160148201527f5af43d82803e903d91602b57fd5bf3000000000000000000000000000000000060288201526037816000f092505050919050565b6000813590506115c0816120d0565b92915050565b60008083601f8401126115d857600080fd5b8235905067ffffffffffffffff8111156115f157600080fd5b60208301915083602082028301111561160957600080fd5b9250929050565b600082601f83011261162157600080fd5b815161163461162f82611f20565b611ef3565b9150818183526020840193506020810190508385602084028201111561165957600080fd5b60005b83811015611689578161166f88826116dd565b84526020840193506020830192505060018101905061165c565b5050505092915050565b60008083601f8401126116a557600080fd5b8235905067ffffffffffffffff8111156116be57600080fd5b6020830191508360208202830111156116d657600080fd5b9250929050565b6000815190506116ec816120e7565b92915050565b600081359050611701816120fe565b92915050565b600081519050611716816120fe565b92915050565b60006020828403121561172e57600080fd5b600061173c848285016115b1565b91505092915050565b60008060006060848603121561175a57600080fd5b6000611768868287016115b1565b9350506020611779868287016115b1565b925050604061178a868287016115b1565b9150509250925092565b600080600080608085870312156117aa57600080fd5b60006117b8878288016115b1565b94505060206117c9878288016115b1565b93505060406117da878288016115b1565b92505060606117eb878288016115b1565b91505092959194509250565b60008060006060848603121561180c57600080fd5b600061181a868287016115b1565b935050602061182b868287016116f2565b925050604061183c868287016115b1565b9150509250925092565b600080600080600080600060a0888a03121561186157600080fd5b600061186f8a828b016115b1565b97505060206118808a828b016116f2565b965050604088013567ffffffffffffffff81111561189d57600080fd5b6118a98a828b016115c6565b9550955050606088013567ffffffffffffffff8111156118c857600080fd5b6118d48a828b01611693565b935093505060806118e78a828b016115b1565b91505092959891949750929550565b60006020828403121561190857600080fd5b600082015167ffffffffffffffff81111561192257600080fd5b61192e84828501611610565b91505092915050565b60006020828403121561194957600080fd5b6000611957848285016116f2565b91505092915050565b60006020828403121561197257600080fd5b600061198084828501611707565b91505092915050565b6000806040838503121561199c57600080fd5b60006119aa858286016116f2565b92505060206119bb858286016115b1565b9150509250929050565b60006119d18383611a02565b60208301905092915050565b60006119ea848484611b02565b90509392505050565b6119fc8161207a565b82525050565b611a0b81612028565b82525050565b611a1a81612028565b82525050565b6000611a2c8385611f76565b9350611a3782611f48565b8060005b85811015611a7057611a4d8284611fba565b611a5788826119c5565b9750611a6283611f5c565b925050600181019050611a3b565b5085925050509392505050565b6000611a898385611f87565b935083602084028501611a9b84611f52565b8060005b87811015611ae1578484038952611ab68284611fd1565b611ac18682846119dd565b9550611acc84611f69565b935060208b019a505050600181019050611a9f565b50829750879450505050509392505050565b611afc8161203a565b82525050565b6000611b0e8385611f98565b9350611b1b8385846120b0565b611b24836120bf565b840190509392505050565b6000611b3c601483611fa9565b91507f616c72656164792d612d6e65772d6d61737465720000000000000000000000006000830152602082019050919050565b6000611b7c601183611fa9565b91507f6e6f742d76616c69642d6163636f756e740000000000000000000000000000006000830152602082019050919050565b6000611bbc600f83611fa9565b91507f616c72656164792d646566696e656400000000000000000000000000000000006000830152602082019050919050565b6000611bfc601183611fa9565b91507f6e6f742d76616c69642d76657273696f6e0000000000000000000000000000006000830152602082019050919050565b6000611c3c600f83611fa9565b91507f616c72656164792d612d636865636b00000000000000000000000000000000006000830152602082019050919050565b6000611c7c601083611fa9565b91507f616c72656164792d612d6d6173746572000000000000000000000000000000006000830152602082019050919050565b6000611cbc600a83611fa9565b91507f6e6f742d6d6173746572000000000000000000000000000000000000000000006000830152602082019050919050565b6000611cfc601183611fa9565b91507f6e6f742d76616c69642d616464726573730000000000000000000000000000006000830152602082019050919050565b611d3881612070565b82525050565b6000602082019050611d536000830184611a11565b92915050565b6000602082019050611d6e60008301846119f3565b92915050565b60006060820190508181036000830152611d8f818789611a20565b90508181036020830152611da4818587611a7d565b9050611db36040830184611a11565b9695505050505050565b6000602082019050611dd26000830184611af3565b92915050565b60006020820190508181036000830152611df181611b2f565b9050919050565b60006020820190508181036000830152611e1181611b6f565b9050919050565b60006020820190508181036000830152611e3181611baf565b9050919050565b60006020820190508181036000830152611e5181611bef565b9050919050565b60006020820190508181036000830152611e7181611c2f565b9050919050565b60006020820190508181036000830152611e9181611c6f565b9050919050565b60006020820190508181036000830152611eb181611caf565b9050919050565b60006020820190508181036000830152611ed181611cef565b9050919050565b6000602082019050611eed6000830184611d2f565b92915050565b6000604051905081810181811067ffffffffffffffff82111715611f1657600080fd5b8060405250919050565b600067ffffffffffffffff821115611f3757600080fd5b602082029050602081019050919050565b6000819050919050565b6000819050919050565b6000602082019050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b6000611fc960208401846115b1565b905092915050565b60008083356001602003843603038112611fea57600080fd5b83810192508235915060208301925067ffffffffffffffff82111561200e57600080fd5b60018202360384131561202057600080fd5b509250929050565b600061203382612050565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60006120858261208c565b9050919050565b60006120978261209e565b9050919050565b60006120a982612050565b9050919050565b82818337600083830152505050565b6000601f19601f8301169050919050565b6120d981612028565b81146120e457600080fd5b50565b6120f081612046565b81146120fb57600080fd5b50565b61210781612070565b811461211257600080fd5b5056fea26469706673582212206cb0ab991da85608d4bd21678fe941c7a17b6f0d3788fee83fdfb1cb875019ea64736f6c63430007000033

0x6080604052600436106100dd5760003560e01c80638aad29e11161007f578063cf1a0ddc11610059578063cf1a0ddc146102eb578063ee97f7f314610302578063f4ff78bf1461032d578063fdc3870c14610356576100dd565b80638aad29e11461025a578063a4bb8e7d14610285578063bb7e70ef146102ae576100dd565b8063443ff7b6116100bb578063443ff7b6146101875780634f5b2561146101b05780635f72f450146101e0578063743681891461021d576100dd565b80630f560cd7146100e257806313ede1a11461010d5780632dd7c6581461014a575b600080fd5b3480156100ee57600080fd5b506100f761037f565b6040516101049190611d3e565b60405180910390f35b34801561011957600080fd5b50610134600480360381019061012f9190611937565b6103a5565b6040516101419190611d3e565b60405180910390f35b34801561015657600080fd5b50610171600480360381019061016c9190611937565b6103d8565b60405161017e9190611d3e565b60405180910390f35b34801561019357600080fd5b506101ae60048036038101906101a99190611989565b61040b565b005b6101ca60048036038101906101c59190611846565b6105d7565b6040516101d79190611d3e565b60405180910390f35b3480156101ec57600080fd5b5061020760048036038101906102029190611937565b610698565b6040516102149190611d3e565b60405180910390f35b34801561022957600080fd5b50610244600480360381019061023f9190611989565b6106cb565b6040516102519190611dbd565b60405180910390f35b34801561026657600080fd5b5061026f610780565b60405161027c9190611ed8565b60405180910390f35b34801561029157600080fd5b506102ac60048036038101906102a79190611794565b610786565b005b3480156102ba57600080fd5b506102d560048036038101906102d091906117f7565b610a99565b6040516102e29190611d3e565b60405180910390f35b3480156102f757600080fd5b50610300610c72565b005b34801561030e57600080fd5b50610317610e99565b6040516103249190611d3e565b60405180910390f35b34801561033957600080fd5b50610354600480360381019061034f919061171c565b610ebf565b005b34801561036257600080fd5b5061037d60048036038101906103789190611745565b611165565b005b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60036020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60056020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461049b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161049290611e98565b60405180910390fd5b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561053d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053490611e58565b60405180910390fd5b806004600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16827f1d96dda971e33be0980128bbce3f93dfe4859657397e00d2db4d288d2c2bc78860405160405180910390a35050565b60006105e4888884610a99565b9050600086869050111561068d578073ffffffffffffffffffffffffffffffffffffffff1663e0e90acf3488888888886040518763ffffffff1660e01b8152600401610634959493929190611d74565b6000604051808303818588803b15801561064d57600080fd5b505af1158015610661573d6000803e3d6000fd5b50505050506040513d6000823e3d601f19601f8201168201806040525081019061068b91906118f6565b505b979650505050505050565b60046020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806005600085815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f363d3d373d3d3d363d7300000000000000000000000000000000000000000000815281600a8201527f5af43d82803e903d91602b57fd5bf30000000000000000000000000000000000601e82015260408101602d600082873c600d810151600d83015114815183511416935050505092915050565b60065481565b600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480156108325750600073ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561089e5750600073ffffffffffffffffffffffffffffffffffffffff16600560006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561090a5750600073ffffffffffffffffffffffffffffffffffffffff16600360006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561091857506000600654145b610957576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094e90611e18565b60405180910390fd5b83600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506006600081548092919060010191905055508160056000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060036000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b6000808314158015610aad57506006548311155b610aec576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ae390611df8565b60405180910390fd5b610af583611514565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166319ab453c826040518263ffffffff1660e01b8152600401610b529190611d3e565b600060405180830381600087803b158015610b6c57600080fd5b505af1158015610b80573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff16635bfa1b68856040518263ffffffff1660e01b8152600401610bbd9190611d3e565b600060405180830381600087803b158015610bd757600080fd5b505af1158015610beb573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f83435eca805f6256e4aa778ee8b2e8aec7485fa4b643a0fff05b7df6bf68838933604051610c639190611d59565b60405180910390a49392505050565b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610d02576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cf990611eb8565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d90576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d8790611e98565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f9ac7c65ebc1e9c5f94a0f9daaed02afefea79ae48162d49f30ab33b6e1637a1d60405160405180910390a2565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f4f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4690611e98565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610fe0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fd790611e78565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611050576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161104790611eb8565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156110df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110d690611dd8565b60405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167ff2a8c544d5befa20af407e43fa5a05305e50163fb8d06fda74206f0dc08b680f60405160405180910390a250565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146111f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111ec90611e98565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611265576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161125c90611eb8565b60405180910390fd5b6006600081548092919060010191905055506006548373ffffffffffffffffffffffffffffffffffffffff166354fd4d506040518163ffffffff1660e01b815260040160206040518083038186803b1580156112c057600080fd5b505afa1580156112d4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112f89190611960565b14611338576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161132f90611e38565b60405180910390fd5b8260056000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611415578160036000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461149e578060046000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167ff2ac7d6a10d2f0b9b7fdad229bb1456de7a254de96bb7f55f3d22a91ea93f27f60405160405180910390a4505050565b6000806005600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f3d602d80600a3d3981f3363d3d373d3d3d363d7300000000000000000000000081528160148201527f5af43d82803e903d91602b57fd5bf3000000000000000000000000000000000060288201526037816000f092505050919050565b6000813590506115c0816120d0565b92915050565b60008083601f8401126115d857600080fd5b8235905067ffffffffffffffff8111156115f157600080fd5b60208301915083602082028301111561160957600080fd5b9250929050565b600082601f83011261162157600080fd5b815161163461162f82611f20565b611ef3565b9150818183526020840193506020810190508385602084028201111561165957600080fd5b60005b83811015611689578161166f88826116dd565b84526020840193506020830192505060018101905061165c565b5050505092915050565b60008083601f8401126116a557600080fd5b8235905067ffffffffffffffff8111156116be57600080fd5b6020830191508360208202830111156116d657600080fd5b9250929050565b6000815190506116ec816120e7565b92915050565b600081359050611701816120fe565b92915050565b600081519050611716816120fe565b92915050565b60006020828403121561172e57600080fd5b600061173c848285016115b1565b91505092915050565b60008060006060848603121561175a57600080fd5b6000611768868287016115b1565b9350506020611779868287016115b1565b925050604061178a868287016115b1565b9150509250925092565b600080600080608085870312156117aa57600080fd5b60006117b8878288016115b1565b94505060206117c9878288016115b1565b93505060406117da878288016115b1565b92505060606117eb878288016115b1565b91505092959194509250565b60008060006060848603121561180c57600080fd5b600061181a868287016115b1565b935050602061182b868287016116f2565b925050604061183c868287016115b1565b9150509250925092565b600080600080600080600060a0888a03121561186157600080fd5b600061186f8a828b016115b1565b97505060206118808a828b016116f2565b965050604088013567ffffffffffffffff81111561189d57600080fd5b6118a98a828b016115c6565b9550955050606088013567ffffffffffffffff8111156118c857600080fd5b6118d48a828b01611693565b935093505060806118e78a828b016115b1565b91505092959891949750929550565b60006020828403121561190857600080fd5b600082015167ffffffffffffffff81111561192257600080fd5b61192e84828501611610565b91505092915050565b60006020828403121561194957600080fd5b6000611957848285016116f2565b91505092915050565b60006020828403121561197257600080fd5b600061198084828501611707565b91505092915050565b6000806040838503121561199c57600080fd5b60006119aa858286016116f2565b92505060206119bb858286016115b1565b9150509250929050565b60006119d18383611a02565b60208301905092915050565b60006119ea848484611b02565b90509392505050565b6119fc8161207a565b82525050565b611a0b81612028565b82525050565b611a1a81612028565b82525050565b6000611a2c8385611f76565b9350611a3782611f48565b8060005b85811015611a7057611a4d8284611fba565b611a5788826119c5565b9750611a6283611f5c565b925050600181019050611a3b565b5085925050509392505050565b6000611a898385611f87565b935083602084028501611a9b84611f52565b8060005b87811015611ae1578484038952611ab68284611fd1565b611ac18682846119dd565b9550611acc84611f69565b935060208b019a505050600181019050611a9f565b50829750879450505050509392505050565b611afc8161203a565b82525050565b6000611b0e8385611f98565b9350611b1b8385846120b0565b611b24836120bf565b840190509392505050565b6000611b3c601483611fa9565b91507f616c72656164792d612d6e65772d6d61737465720000000000000000000000006000830152602082019050919050565b6000611b7c601183611fa9565b91507f6e6f742d76616c69642d6163636f756e740000000000000000000000000000006000830152602082019050919050565b6000611bbc600f83611fa9565b91507f616c72656164792d646566696e656400000000000000000000000000000000006000830152602082019050919050565b6000611bfc601183611fa9565b91507f6e6f742d76616c69642d76657273696f6e0000000000000000000000000000006000830152602082019050919050565b6000611c3c600f83611fa9565b91507f616c72656164792d612d636865636b00000000000000000000000000000000006000830152602082019050919050565b6000611c7c601083611fa9565b91507f616c72656164792d612d6d6173746572000000000000000000000000000000006000830152602082019050919050565b6000611cbc600a83611fa9565b91507f6e6f742d6d6173746572000000000000000000000000000000000000000000006000830152602082019050919050565b6000611cfc601183611fa9565b91507f6e6f742d76616c69642d616464726573730000000000000000000000000000006000830152602082019050919050565b611d3881612070565b82525050565b6000602082019050611d536000830184611a11565b92915050565b6000602082019050611d6e60008301846119f3565b92915050565b60006060820190508181036000830152611d8f818789611a20565b90508181036020830152611da4818587611a7d565b9050611db36040830184611a11565b9695505050505050565b6000602082019050611dd26000830184611af3565b92915050565b60006020820190508181036000830152611df181611b2f565b9050919050565b60006020820190508181036000830152611e1181611b6f565b9050919050565b60006020820190508181036000830152611e3181611baf565b9050919050565b60006020820190508181036000830152611e5181611bef565b9050919050565b60006020820190508181036000830152611e7181611c2f565b9050919050565b60006020820190508181036000830152611e9181611c6f565b9050919050565b60006020820190508181036000830152611eb181611caf565b9050919050565b60006020820190508181036000830152611ed181611cef565b9050919050565b6000602082019050611eed6000830184611d2f565b92915050565b6000604051905081810181811067ffffffffffffffff82111715611f1657600080fd5b8060405250919050565b600067ffffffffffffffff821115611f3757600080fd5b602082029050602081019050919050565b6000819050919050565b6000819050919050565b6000602082019050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b6000611fc960208401846115b1565b905092915050565b60008083356001602003843603038112611fea57600080fd5b83810192508235915060208301925067ffffffffffffffff82111561200e57600080fd5b60018202360384131561202057600080fd5b509250929050565b600061203382612050565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60006120858261208c565b9050919050565b60006120978261209e565b9050919050565b60006120a982612050565b9050919050565b82818337600083830152505050565b6000601f19601f8301169050919050565b6120d981612028565b81146120e457600080fd5b50565b6120f081612046565b81146120fb57600080fd5b50565b61210781612070565b811461211257600080fd5b5056fea26469706673582212206cb0ab991da85608d4bd21678fe941c7a17b6f0d3788fee83fdfb1cb875019ea64736f6c63430007000033

5376:2581:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1077:19;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1195:43;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1436:40;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2645:258;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5952:407;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1316:38;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4583:786;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1525:24;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7385:567;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6601:457;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2178:263;;;;;;;;;;;;;:::i;:::-;;1018:21;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1837:333;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3132:548;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1077:19;;;;;;;;;;;;;:::o;1195:43::-;;;;;;;;;;;;;;;;;;;;;;:::o;1436:40::-;;;;;;;;;;;;;;;;;;;;;;:::o;2645:258::-;1684:6;;;;;;;;;;;1670:20;;:10;:20;;;1662:43;;;;;;;;;;;;:::i;:::-;;;;;;;;;2756:5:::1;:21;2762:14;2756:21;;;;;;;;;;;;;;;;;;;;;2743:34;;:9;:34;;;;2735:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;2832:9;2808:5;:21;2814:14;2808:21;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;2885:9;2857:38;;2869:14;2857:38;;;;;;;;;;2645:258:::0;;:::o;5952:407::-;6161:16;6201:38;6207:6;6215:14;6231:7;6201:5;:38::i;:::-;6190:49;;6272:1;6254:8;;:15;;:19;6250:101;;;6292:8;6275:31;;;6314:9;6325:8;;6335:6;;6343:7;6275:76;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6250:101;5952:407;;;;;;;;;:::o;1316:38::-;;;;;;;;;;;;;;;;;;;;;;:::o;4583:786::-;4652:11;4676:19;4706:7;:16;4714:7;4706:16;;;;;;;;;;;;;;;;;;;;;4698:25;;4676:47;;4842:4;4836:11;4875:66;4868:5;4861:81;4980:11;4974:3;4967:5;4963:15;4956:36;5031:66;5024:4;5017:5;5013:16;5006:92;5138:4;5131:5;5127:16;5186:4;5183:1;5176:5;5169;5157:34;5330:3;5323:5;5319:15;5313:22;5306:3;5299:5;5295:15;5289:22;5286:50;5260:5;5254:12;5246:5;5240:12;5237:30;5215:136;5205:146;;4808:554;;;;;;;:::o;1525:24::-;;;;:::o;7385:567::-;7578:1;7560:20;;:6;;;;;;;;;;;:20;;;:55;;;;;7613:1;7597:18;;:4;;;;;;;;;;;:18;;;7560:55;:96;;;;;7654:1;7632:24;;:7;:10;7640:1;7632:10;;;;;;;;;;;;;;;;;;;;;:24;;;7560:96;:140;;;;;7698:1;7673:27;;:10;:13;7684:1;7673:13;;;;;;;;;;;;;;;;;;;;;:27;;;7560:140;:174;;;;;7733:1;7717:12;;:17;7560:174;7538:239;;;;;;;;;;;;:::i;:::-;;;;;;;;;7797:7;7788:6;;:16;;;;;;;;;;;;;;;;;;7822:5;7815:4;;:12;;;;;;;;;;;;;;;;;;7838;;:14;;;;;;;;;;;;;7887:8;7863:7;:21;7871:12;;7863:21;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;7933:11;7906:10;:24;7917:12;;7906:24;;;;;;;;;;;;:38;;;;;;;;;;;;;;;;;;7385:567;;;;:::o;6601:457::-;6720:16;6775:1;6757:14;:19;;:53;;;;;6798:12;;6780:14;:30;;6757:53;6749:83;;;;;;;;;;;;:::i;:::-;;;;;;;;;6854:27;6866:14;6854:11;:27::i;:::-;6843:38;;6906:4;;;;;;;;;;;6892:24;;;6917:8;6892:34;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6954:8;6937:33;;;6971:6;6937:41;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7042:7;6994:56;;7032:8;6994:56;;7024:6;6994:56;;;7012:10;6994:56;;;;;;:::i;:::-;;;;;;;;6601:457;;;;;:::o;2178:263::-;2251:1;2230:23;;:9;;;;;;;;;;:23;;;;2222:53;;;;;;;;;;;;:::i;:::-;;;;;;;;;2308:9;;;;;;;;;;2294:23;;:10;:23;;;2286:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;2352:9;;;;;;;;;;2343:6;;:18;;;;;;;;;;;;;;;;;;2392:1;2372:9;;:22;;;;;;;;;;;;;;;;;;2426:6;;;;;;;;;;;2410:23;;;;;;;;;;;;2178:263::o;1018:21::-;;;;;;;;;;;;;:::o;1837:333::-;1684:6;;;;;;;;;;;1670:20;;:10;:20;;;1662:43;;;;;;;;;;;;:::i;:::-;;;;;;;;;1930:6:::1;;;;;;;;;;;1916:20;;:10;:20;;;;1908:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;1998:1;1976:24;;:10;:24;;;;1968:54;;;;;;;;;;;;:::i;:::-;;;;;;;;;2054:10;2041:23;;:9;::::0;::::1;;;;;;;;:23;;;;2033:56;;;;;;;;;;;;:::i;:::-;;;;;;;;;2112:10;2100:9;::::0;:22:::1;;;;;;;;;;;;;;;;;;2151:10;2138:24;;;;;;;;;;;;1837:333:::0;:::o;3132:548::-;1684:6;;;;;;;;;;;1670:20;;:10;:20;;;1662:43;;;;;;;;;;;;:::i;:::-;;;;;;;;;3273:1:::1;3250:25;;:11;:25;;;;3242:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;3308:12;;:14;;;;;;;;;;;;;3384:12;;3358:11;3341:37;;;:39;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:55;3333:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;3453:11;3429:7;:21;3437:12;;3429:21;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;3502:1;3479:25;;:11;:25;;;3475:69;;3533:11;3506:10;:24;3517:12;;3506:24;;;;;;;;;;;;:38;;;;;;;;;;;;;;;;;;3475:69;3577:1;3559:20;;:6;:20;;;3555:54;;3603:6;3581:5;:19;3587:12;;3581:19;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;3555:54;3665:6;3625:47;;3652:11;3625:47;;3639:11;3625:47;;;;;;;;;;;;3132:548:::0;;;:::o;3849:567::-;3902:14;3929:19;3959:7;:16;3967:7;3959:16;;;;;;;;;;;;;;;;;;;;;3951:25;;3929:47;;4095:4;4089:11;4128:66;4121:5;4114:81;4234:11;4227:4;4220:5;4216:16;4209:37;4285:66;4278:4;4271:5;4267:16;4260:92;4393:4;4386:5;4383:1;4376:22;4366:32;;4061:348;;;;;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;:::i;:::-;57:78;;;;:::o;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;;;;;:::o;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;:::i;:::-;736:80;:::i;:::-;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;:::i;:::-;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;;;;;;;:::o;1284:363::-;;;1425:3;1418:4;1410:6;1406:17;1402:27;1392:2;;1443:1;1440;1433:12;1392:2;1476:6;1463:20;1453:30;;1503:18;1495:6;1492:30;1489:2;;;1535:1;1532;1525:12;1489:2;1569:4;1561:6;1557:17;1545:29;;1620:3;1612:4;1604:6;1600:17;1590:8;1586:32;1583:41;1580:2;;;1637:1;1634;1627:12;1580:2;1385:262;;;;;:::o;1655:134::-;;1739:6;1733:13;1724:22;;1751:33;1778:5;1751:33;:::i;:::-;1718:71;;;;:::o;1796:130::-;;1876:6;1863:20;1854:29;;1888:33;1915:5;1888:33;:::i;:::-;1848:78;;;;:::o;1933:134::-;;2017:6;2011:13;2002:22;;2029:33;2056:5;2029:33;:::i;:::-;1996:71;;;;:::o;2074:241::-;;2178:2;2166:9;2157:7;2153:23;2149:32;2146:2;;;2194:1;2191;2184:12;2146:2;2229:1;2246:53;2291:7;2282:6;2271:9;2267:22;2246:53;:::i;:::-;2236:63;;2208:97;2140:175;;;;:::o;2322:491::-;;;;2460:2;2448:9;2439:7;2435:23;2431:32;2428:2;;;2476:1;2473;2466:12;2428:2;2511:1;2528:53;2573:7;2564:6;2553:9;2549:22;2528:53;:::i;:::-;2518:63;;2490:97;2618:2;2636:53;2681:7;2672:6;2661:9;2657:22;2636:53;:::i;:::-;2626:63;;2597:98;2726:2;2744:53;2789:7;2780:6;2769:9;2765:22;2744:53;:::i;:::-;2734:63;;2705:98;2422:391;;;;;:::o;2820:617::-;;;;;2975:3;2963:9;2954:7;2950:23;2946:33;2943:2;;;2992:1;2989;2982:12;2943:2;3027:1;3044:53;3089:7;3080:6;3069:9;3065:22;3044:53;:::i;:::-;3034:63;;3006:97;3134:2;3152:53;3197:7;3188:6;3177:9;3173:22;3152:53;:::i;:::-;3142:63;;3113:98;3242:2;3260:53;3305:7;3296:6;3285:9;3281:22;3260:53;:::i;:::-;3250:63;;3221:98;3350:2;3368:53;3413:7;3404:6;3393:9;3389:22;3368:53;:::i;:::-;3358:63;;3329:98;2937:500;;;;;;;:::o;3444:491::-;;;;3582:2;3570:9;3561:7;3557:23;3553:32;3550:2;;;3598:1;3595;3588:12;3550:2;3633:1;3650:53;3695:7;3686:6;3675:9;3671:22;3650:53;:::i;:::-;3640:63;;3612:97;3740:2;3758:53;3803:7;3794:6;3783:9;3779:22;3758:53;:::i;:::-;3748:63;;3719:98;3848:2;3866:53;3911:7;3902:6;3891:9;3887:22;3866:53;:::i;:::-;3856:63;;3827:98;3544:391;;;;;:::o;3942:1077::-;;;;;;;;4195:3;4183:9;4174:7;4170:23;4166:33;4163:2;;;4212:1;4209;4202:12;4163:2;4247:1;4264:53;4309:7;4300:6;4289:9;4285:22;4264:53;:::i;:::-;4254:63;;4226:97;4354:2;4372:53;4417:7;4408:6;4397:9;4393:22;4372:53;:::i;:::-;4362:63;;4333:98;4490:2;4479:9;4475:18;4462:32;4514:18;4506:6;4503:30;4500:2;;;4546:1;4543;4536:12;4500:2;4574:80;4646:7;4637:6;4626:9;4622:22;4574:80;:::i;:::-;4556:98;;;;4441:219;4719:2;4708:9;4704:18;4691:32;4743:18;4735:6;4732:30;4729:2;;;4775:1;4772;4765:12;4729:2;4803:91;4886:7;4877:6;4866:9;4862:22;4803:91;:::i;:::-;4785:109;;;;4670:230;4931:3;4950:53;4995:7;4986:6;4975:9;4971:22;4950:53;:::i;:::-;4940:63;;4910:99;4157:862;;;;;;;;;;:::o;5026:392::-;;5166:2;5154:9;5145:7;5141:23;5137:32;5134:2;;;5182:1;5179;5172:12;5134:2;5238:1;5227:9;5223:17;5217:24;5261:18;5253:6;5250:30;5247:2;;;5293:1;5290;5283:12;5247:2;5313:89;5394:7;5385:6;5374:9;5370:22;5313:89;:::i;:::-;5303:99;;5196:212;5128:290;;;;:::o;5425:241::-;;5529:2;5517:9;5508:7;5504:23;5500:32;5497:2;;;5545:1;5542;5535:12;5497:2;5580:1;5597:53;5642:7;5633:6;5622:9;5618:22;5597:53;:::i;:::-;5587:63;;5559:97;5491:175;;;;:::o;5673:263::-;;5788:2;5776:9;5767:7;5763:23;5759:32;5756:2;;;5804:1;5801;5794:12;5756:2;5839:1;5856:64;5912:7;5903:6;5892:9;5888:22;5856:64;:::i;:::-;5846:74;;5818:108;5750:186;;;;:::o;5943:366::-;;;6064:2;6052:9;6043:7;6039:23;6035:32;6032:2;;;6080:1;6077;6070:12;6032:2;6115:1;6132:53;6177:7;6168:6;6157:9;6153:22;6132:53;:::i;:::-;6122:63;;6094:97;6222:2;6240:53;6285:7;6276:6;6265:9;6261:22;6240:53;:::i;:::-;6230:63;;6201:98;6026:283;;;;;:::o;6317:173::-;;6404:46;6446:3;6438:6;6404:46;:::i;:::-;6479:4;6474:3;6470:14;6456:28;;6397:93;;;;:::o;6499:209::-;;6628:74;6698:3;6690:6;6682;6628:74;:::i;:::-;6614:88;;6607:101;;;;;:::o;6716:142::-;6807:45;6846:5;6807:45;:::i;:::-;6802:3;6795:58;6789:69;;:::o;6865:103::-;6938:24;6956:5;6938:24;:::i;:::-;6933:3;6926:37;6920:48;;:::o;6975:113::-;7058:24;7076:5;7058:24;:::i;:::-;7053:3;7046:37;7040:48;;:::o;7126:665::-;;7280:86;7359:6;7354:3;7280:86;:::i;:::-;7273:93;;7387:58;7439:5;7387:58;:::i;:::-;7465:7;7493:1;7478:291;7503:6;7500:1;7497:13;7478:291;;;7564:42;7599:6;7590:7;7564:42;:::i;:::-;7620:63;7679:3;7664:13;7620:63;:::i;:::-;7613:70;;7700:62;7755:6;7700:62;:::i;:::-;7690:72;;7535:234;7525:1;7522;7518:9;7513:14;;7478:291;;;7482:14;7782:3;7775:10;;7260:531;;;;;;;:::o;7826:935::-;;8000:95;8088:6;8083:3;8000:95;:::i;:::-;7993:102;;8118:3;8160:4;8152:6;8148:17;8143:3;8139:27;8187:69;8250:5;8187:69;:::i;:::-;8276:7;8304:1;8289:433;8314:6;8311:1;8308:13;8289:433;;;8376:9;8370:4;8366:20;8361:3;8354:33;8430:53;8476:6;8467:7;8430:53;:::i;:::-;8498:99;8592:4;8577:13;8562;8498:99;:::i;:::-;8490:107;;8614:73;8680:6;8614:73;:::i;:::-;8604:83;;8710:4;8705:3;8701:14;8694:21;;8346:376;;8336:1;8333;8329:9;8324:14;;8289:433;;;8293:14;8735:4;8728:11;;8752:3;8745:10;;7980:781;;;;;;;;;:::o;8769:104::-;8846:21;8861:5;8846:21;:::i;:::-;8841:3;8834:34;8828:45;;:::o;8903:277::-;;9007:60;9060:6;9055:3;9007:60;:::i;:::-;9000:67;;9079:43;9115:6;9110:3;9103:5;9079:43;:::i;:::-;9144:29;9166:6;9144:29;:::i;:::-;9139:3;9135:39;9128:46;;8993:187;;;;;:::o;9189:320::-;;9349:67;9413:2;9408:3;9349:67;:::i;:::-;9342:74;;9449:22;9445:1;9440:3;9436:11;9429:43;9500:2;9495:3;9491:12;9484:19;;9335:174;;;:::o;9518:317::-;;9678:67;9742:2;9737:3;9678:67;:::i;:::-;9671:74;;9778:19;9774:1;9769:3;9765:11;9758:40;9826:2;9821:3;9817:12;9810:19;;9664:171;;;:::o;9844:315::-;;10004:67;10068:2;10063:3;10004:67;:::i;:::-;9997:74;;10104:17;10100:1;10095:3;10091:11;10084:38;10150:2;10145:3;10141:12;10134:19;;9990:169;;;:::o;10168:317::-;;10328:67;10392:2;10387:3;10328:67;:::i;:::-;10321:74;;10428:19;10424:1;10419:3;10415:11;10408:40;10476:2;10471:3;10467:12;10460:19;;10314:171;;;:::o;10494:315::-;;10654:67;10718:2;10713:3;10654:67;:::i;:::-;10647:74;;10754:17;10750:1;10745:3;10741:11;10734:38;10800:2;10795:3;10791:12;10784:19;;10640:169;;;:::o;10818:316::-;;10978:67;11042:2;11037:3;10978:67;:::i;:::-;10971:74;;11078:18;11074:1;11069:3;11065:11;11058:39;11125:2;11120:3;11116:12;11109:19;;10964:170;;;:::o;11143:310::-;;11303:67;11367:2;11362:3;11303:67;:::i;:::-;11296:74;;11403:12;11399:1;11394:3;11390:11;11383:33;11444:2;11439:3;11435:12;11428:19;;11289:164;;;:::o;11462:317::-;;11622:67;11686:2;11681:3;11622:67;:::i;:::-;11615:74;;11722:19;11718:1;11713:3;11709:11;11702:40;11770:2;11765:3;11761:12;11754:19;;11608:171;;;:::o;11787:113::-;11870:24;11888:5;11870:24;:::i;:::-;11865:3;11858:37;11852:48;;:::o;11907:222::-;;12034:2;12023:9;12019:18;12011:26;;12048:71;12116:1;12105:9;12101:17;12092:6;12048:71;:::i;:::-;12005:124;;;;:::o;12136:238::-;;12271:2;12260:9;12256:18;12248:26;;12285:79;12361:1;12350:9;12346:17;12337:6;12285:79;:::i;:::-;12242:132;;;;:::o;12381:820::-;;12704:2;12693:9;12689:18;12681:26;;12754:9;12748:4;12744:20;12740:1;12729:9;12725:17;12718:47;12779:118;12892:4;12883:6;12875;12779:118;:::i;:::-;12771:126;;12945:9;12939:4;12935:20;12930:2;12919:9;12915:18;12908:48;12970:138;13103:4;13094:6;13086;12970:138;:::i;:::-;12962:146;;13119:72;13187:2;13176:9;13172:18;13163:6;13119:72;:::i;:::-;12675:526;;;;;;;;:::o;13208:210::-;;13329:2;13318:9;13314:18;13306:26;;13343:65;13405:1;13394:9;13390:17;13381:6;13343:65;:::i;:::-;13300:118;;;;:::o;13425:416::-;;13625:2;13614:9;13610:18;13602:26;;13675:9;13669:4;13665:20;13661:1;13650:9;13646:17;13639:47;13700:131;13826:4;13700:131;:::i;:::-;13692:139;;13596:245;;;:::o;13848:416::-;;14048:2;14037:9;14033:18;14025:26;;14098:9;14092:4;14088:20;14084:1;14073:9;14069:17;14062:47;14123:131;14249:4;14123:131;:::i;:::-;14115:139;;14019:245;;;:::o;14271:416::-;;14471:2;14460:9;14456:18;14448:26;;14521:9;14515:4;14511:20;14507:1;14496:9;14492:17;14485:47;14546:131;14672:4;14546:131;:::i;:::-;14538:139;;14442:245;;;:::o;14694:416::-;;14894:2;14883:9;14879:18;14871:26;;14944:9;14938:4;14934:20;14930:1;14919:9;14915:17;14908:47;14969:131;15095:4;14969:131;:::i;:::-;14961:139;;14865:245;;;:::o;15117:416::-;;15317:2;15306:9;15302:18;15294:26;;15367:9;15361:4;15357:20;15353:1;15342:9;15338:17;15331:47;15392:131;15518:4;15392:131;:::i;:::-;15384:139;;15288:245;;;:::o;15540:416::-;;15740:2;15729:9;15725:18;15717:26;;15790:9;15784:4;15780:20;15776:1;15765:9;15761:17;15754:47;15815:131;15941:4;15815:131;:::i;:::-;15807:139;;15711:245;;;:::o;15963:416::-;;16163:2;16152:9;16148:18;16140:26;;16213:9;16207:4;16203:20;16199:1;16188:9;16184:17;16177:47;16238:131;16364:4;16238:131;:::i;:::-;16230:139;;16134:245;;;:::o;16386:416::-;;16586:2;16575:9;16571:18;16563:26;;16636:9;16630:4;16626:20;16622:1;16611:9;16607:17;16600:47;16661:131;16787:4;16661:131;:::i;:::-;16653:139;;16557:245;;;:::o;16809:222::-;;16936:2;16925:9;16921:18;16913:26;;16950:71;17018:1;17007:9;17003:17;16994:6;16950:71;:::i;:::-;16907:124;;;;:::o;17038:256::-;;17100:2;17094:9;17084:19;;17138:4;17130:6;17126:17;17237:6;17225:10;17222:22;17201:18;17189:10;17186:34;17183:62;17180:2;;;17258:1;17255;17248:12;17180:2;17278:10;17274:2;17267:22;17078:216;;;;:::o;17301:304::-;;17460:18;17452:6;17449:30;17446:2;;;17492:1;17489;17482:12;17446:2;17527:4;17519:6;17515:17;17507:25;;17590:4;17584;17580:15;17572:23;;17383:222;;;:::o;17612:118::-;;17700:3;17692:11;;17686:44;;;:::o;17737:129::-;;17836:3;17828:11;;17822:44;;;:::o;17873:110::-;;17973:4;17968:3;17964:14;17956:22;;17950:33;;;:::o;17990:121::-;;18101:4;18096:3;18092:14;18084:22;;18078:33;;;:::o;18119:178::-;;18249:6;18244:3;18237:19;18286:4;18281:3;18277:14;18262:29;;18230:67;;;;:::o;18306:187::-;;18445:6;18440:3;18433:19;18482:4;18477:3;18473:14;18458:29;;18426:67;;;;:::o;18502:152::-;;18606:6;18601:3;18594:19;18643:4;18638:3;18634:14;18619:29;;18587:67;;;;:::o;18663:163::-;;18778:6;18773:3;18766:19;18815:4;18810:3;18806:14;18791:29;;18759:67;;;;:::o;18835:119::-;;18909:39;18944:2;18939:3;18935:12;18930:3;18909:39;:::i;:::-;18900:48;;18893:61;;;;:::o;18963:501::-;;;19087:3;19074:17;19176:1;19170:4;19166:12;19155:8;19139:14;19135:29;19131:48;19111:18;19107:73;19097:2;;19194:1;19191;19184:12;19097:2;19237:8;19217:18;19213:33;19204:42;;19281:5;19268:19;19258:29;;19313:4;19306:5;19302:16;19293:25;;19338:18;19330:6;19327:30;19324:2;;;19370:1;19367;19360:12;19324:2;19429:4;19421:6;19417:17;19401:14;19397:38;19387:8;19383:53;19380:2;;;19449:1;19446;19439:12;19380:2;19041:423;;;;;;:::o;19472:91::-;;19534:24;19552:5;19534:24;:::i;:::-;19523:35;;19517:46;;;:::o;19570:85::-;;19643:5;19636:13;19629:21;19618:32;;19612:43;;;:::o;19662:72::-;;19724:5;19713:16;;19707:27;;;:::o;19741:121::-;;19814:42;19807:5;19803:54;19792:65;;19786:76;;;:::o;19869:72::-;;19931:5;19920:16;;19914:27;;;:::o;19948:129::-;;20035:37;20066:5;20035:37;:::i;:::-;20022:50;;20016:61;;;:::o;20084:121::-;;20163:37;20194:5;20163:37;:::i;:::-;20150:50;;20144:61;;;:::o;20212:108::-;;20291:24;20309:5;20291:24;:::i;:::-;20278:37;;20272:48;;;:::o;20328:145::-;20409:6;20404:3;20399;20386:30;20465:1;20456:6;20451:3;20447:16;20440:27;20379:94;;;:::o;20481:97::-;;20569:2;20565:7;20560:2;20553:5;20549:14;20545:28;20535:38;;20529:49;;;:::o;20586:117::-;20655:24;20673:5;20655:24;:::i;:::-;20648:5;20645:35;20635:2;;20694:1;20691;20684:12;20635:2;20629:74;:::o;20710:117::-;20779:24;20797:5;20779:24;:::i;:::-;20772:5;20769:35;20759:2;;20818:1;20815;20808:12;20759:2;20753:74;:::o;20834:117::-;20903:24;20921:5;20903:24;:::i;:::-;20896:5;20893:35;20883:2;;20942:1;20939;20932:12;20883:2;20877:74;:::o

ipfs://6cb0ab991da85608d4bd21678fe941c7a17b6f0d3788fee83fdfb1cb875019ea