Contract Source Code (Solidity)Audit Report

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 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
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.6.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;
    }

}

• Samczsun - March, 2020 - Security Audit Report
• Peck Shield - March, 2020 - Security Audit Report

[{"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"}]

608060405234801561001057600080fd5b5061214f806100206000396000f3fe6080604052600436106100dd5760003560e01c80638aad29e11161007f578063cf1a0ddc11610059578063cf1a0ddc146102eb578063ee97f7f314610302578063f4ff78bf1461032d578063fdc3870c14610356576100dd565b80638aad29e11461025a578063a4bb8e7d14610285578063bb7e70ef146102ae576100dd565b8063443ff7b6116100bb578063443ff7b6146101875780634f5b2561146101b05780635f72f450146101e0578063743681891461021d576100dd565b80630f560cd7146100e257806313ede1a11461010d5780632dd7c6581461014a575b600080fd5b3480156100ee57600080fd5b506100f761037f565b6040516101049190611d42565b60405180910390f35b34801561011957600080fd5b50610134600480360361012f919081019061193b565b6103a5565b6040516101419190611d42565b60405180910390f35b34801561015657600080fd5b50610171600480360361016c919081019061193b565b6103d8565b60405161017e9190611d42565b60405180910390f35b34801561019357600080fd5b506101ae60048036036101a9919081019061198d565b61040b565b005b6101ca60048036036101c5919081019061184a565b6105d7565b6040516101d79190611d42565b60405180910390f35b3480156101ec57600080fd5b506102076004803603610202919081019061193b565b610698565b6040516102149190611d42565b60405180910390f35b34801561022957600080fd5b50610244600480360361023f919081019061198d565b6106cb565b6040516102519190611dc1565b60405180910390f35b34801561026657600080fd5b5061026f610780565b60405161027c9190611edc565b60405180910390f35b34801561029157600080fd5b506102ac60048036036102a79190810190611798565b610786565b005b3480156102ba57600080fd5b506102d560048036036102d091908101906117fb565b610a99565b6040516102e29190611d42565b60405180910390f35b3480156102f757600080fd5b50610300610c72565b005b34801561030e57600080fd5b50610317610e9c565b6040516103249190611d42565b60405180910390f35b34801561033957600080fd5b50610354600480360361034f9190810190611720565b610ec2565b005b34801561036257600080fd5b5061037d60048036036103789190810190611749565b611169565b005b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60036020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60056020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461049b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161049290611e9c565b60405180910390fd5b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561053d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053490611e5c565b60405180910390fd5b806004600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16827f1d96dda971e33be0980128bbce3f93dfe4859657397e00d2db4d288d2c2bc78860405160405180910390a35050565b60006105e4888884610a99565b9050600086869050111561068d578073ffffffffffffffffffffffffffffffffffffffff1663e0e90acf3488888888886040518763ffffffff1660e01b8152600401610634959493929190611d78565b6000604051808303818588803b15801561064d57600080fd5b505af1158015610661573d6000803e3d6000fd5b50505050506040513d6000823e3d601f19601f8201168201806040525061068b91908101906118fa565b505b979650505050505050565b60046020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806005600085815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f363d3d373d3d3d363d7300000000000000000000000000000000000000000000815281600a8201527f5af43d82803e903d91602b57fd5bf30000000000000000000000000000000000601e82015260408101602d600082873c600d810151600d83015114815183511416935050505092915050565b60065481565b600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480156108325750600073ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561089e5750600073ffffffffffffffffffffffffffffffffffffffff16600560006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561090a5750600073ffffffffffffffffffffffffffffffffffffffff16600360006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561091857506000600654145b610957576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094e90611e1c565b60405180910390fd5b83600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506006600081548092919060010191905055508160056000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060036000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b6000808314158015610aad57506006548311155b610aec576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ae390611dfc565b60405180910390fd5b610af583611518565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166319ab453c826040518263ffffffff1660e01b8152600401610b529190611d42565b600060405180830381600087803b158015610b6c57600080fd5b505af1158015610b80573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff16635bfa1b68856040518263ffffffff1660e01b8152600401610bbd9190611d42565b600060405180830381600087803b158015610bd757600080fd5b505af1158015610beb573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f83435eca805f6256e4aa778ee8b2e8aec7485fa4b643a0fff05b7df6bf68838933604051610c639190611d5d565b60405180910390a49392505050565b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610d03576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cfa90611ebc565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d92576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d8990611e9c565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f9ac7c65ebc1e9c5f94a0f9daaed02afefea79ae48162d49f30ab33b6e1637a1d60405160405180910390a2565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f52576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4990611e9c565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610fe3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fda90611e7c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611053576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161104a90611ebc565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156110e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110da90611ddc565b60405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167ff2a8c544d5befa20af407e43fa5a05305e50163fb8d06fda74206f0dc08b680f60405160405180910390a250565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146111f9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111f090611e9c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611269576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161126090611ebc565b60405180910390fd5b6006600081548092919060010191905055506006548373ffffffffffffffffffffffffffffffffffffffff166354fd4d506040518163ffffffff1660e01b815260040160206040518083038186803b1580156112c457600080fd5b505afa1580156112d8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506112fc9190810190611964565b1461133c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161133390611e3c565b60405180910390fd5b8260056000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611419578160036000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146114a2578060046000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167ff2ac7d6a10d2f0b9b7fdad229bb1456de7a254de96bb7f55f3d22a91ea93f27f60405160405180910390a4505050565b6000806005600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f3d602d80600a3d3981f3363d3d373d3d3d363d7300000000000000000000000081528160148201527f5af43d82803e903d91602b57fd5bf3000000000000000000000000000000000060288201526037816000f092505050919050565b6000813590506115c4816120d4565b92915050565b60008083601f8401126115dc57600080fd5b8235905067ffffffffffffffff8111156115f557600080fd5b60208301915083602082028301111561160d57600080fd5b9250929050565b600082601f83011261162557600080fd5b815161163861163382611f24565b611ef7565b9150818183526020840193506020810190508385602084028201111561165d57600080fd5b60005b8381101561168d578161167388826116e1565b845260208401935060208301925050600181019050611660565b5050505092915050565b60008083601f8401126116a957600080fd5b8235905067ffffffffffffffff8111156116c257600080fd5b6020830191508360208202830111156116da57600080fd5b9250929050565b6000815190506116f0816120eb565b92915050565b60008135905061170581612102565b92915050565b60008151905061171a81612102565b92915050565b60006020828403121561173257600080fd5b6000611740848285016115b5565b91505092915050565b60008060006060848603121561175e57600080fd5b600061176c868287016115b5565b935050602061177d868287016115b5565b925050604061178e868287016115b5565b9150509250925092565b600080600080608085870312156117ae57600080fd5b60006117bc878288016115b5565b94505060206117cd878288016115b5565b93505060406117de878288016115b5565b92505060606117ef878288016115b5565b91505092959194509250565b60008060006060848603121561181057600080fd5b600061181e868287016115b5565b935050602061182f868287016116f6565b9250506040611840868287016115b5565b9150509250925092565b600080600080600080600060a0888a03121561186557600080fd5b60006118738a828b016115b5565b97505060206118848a828b016116f6565b965050604088013567ffffffffffffffff8111156118a157600080fd5b6118ad8a828b016115ca565b9550955050606088013567ffffffffffffffff8111156118cc57600080fd5b6118d88a828b01611697565b935093505060806118eb8a828b016115b5565b91505092959891949750929550565b60006020828403121561190c57600080fd5b600082015167ffffffffffffffff81111561192657600080fd5b61193284828501611614565b91505092915050565b60006020828403121561194d57600080fd5b600061195b848285016116f6565b91505092915050565b60006020828403121561197657600080fd5b60006119848482850161170b565b91505092915050565b600080604083850312156119a057600080fd5b60006119ae858286016116f6565b92505060206119bf858286016115b5565b9150509250929050565b60006119d58383611a06565b60208301905092915050565b60006119ee848484611b06565b90509392505050565b611a008161207e565b82525050565b611a0f8161202c565b82525050565b611a1e8161202c565b82525050565b6000611a308385611f7a565b9350611a3b82611f4c565b8060005b85811015611a7457611a518284611fbe565b611a5b88826119c9565b9750611a6683611f60565b925050600181019050611a3f565b5085925050509392505050565b6000611a8d8385611f8b565b935083602084028501611a9f84611f56565b8060005b87811015611ae5578484038952611aba8284611fd5565b611ac58682846119e1565b9550611ad084611f6d565b935060208b019a505050600181019050611aa3565b50829750879450505050509392505050565b611b008161203e565b82525050565b6000611b128385611f9c565b9350611b1f8385846120b4565b611b28836120c3565b840190509392505050565b6000611b40601483611fad565b91507f616c72656164792d612d6e65772d6d61737465720000000000000000000000006000830152602082019050919050565b6000611b80601183611fad565b91507f6e6f742d76616c69642d6163636f756e740000000000000000000000000000006000830152602082019050919050565b6000611bc0600f83611fad565b91507f616c72656164792d646566696e656400000000000000000000000000000000006000830152602082019050919050565b6000611c00601183611fad565b91507f6e6f742d76616c69642d76657273696f6e0000000000000000000000000000006000830152602082019050919050565b6000611c40600f83611fad565b91507f616c72656164792d612d636865636b00000000000000000000000000000000006000830152602082019050919050565b6000611c80601083611fad565b91507f616c72656164792d612d6d6173746572000000000000000000000000000000006000830152602082019050919050565b6000611cc0600a83611fad565b91507f6e6f742d6d6173746572000000000000000000000000000000000000000000006000830152602082019050919050565b6000611d00601183611fad565b91507f6e6f742d76616c69642d616464726573730000000000000000000000000000006000830152602082019050919050565b611d3c81612074565b82525050565b6000602082019050611d576000830184611a15565b92915050565b6000602082019050611d7260008301846119f7565b92915050565b60006060820190508181036000830152611d93818789611a24565b90508181036020830152611da8818587611a81565b9050611db76040830184611a15565b9695505050505050565b6000602082019050611dd66000830184611af7565b92915050565b60006020820190508181036000830152611df581611b33565b9050919050565b60006020820190508181036000830152611e1581611b73565b9050919050565b60006020820190508181036000830152611e3581611bb3565b9050919050565b60006020820190508181036000830152611e5581611bf3565b9050919050565b60006020820190508181036000830152611e7581611c33565b9050919050565b60006020820190508181036000830152611e9581611c73565b9050919050565b60006020820190508181036000830152611eb581611cb3565b9050919050565b60006020820190508181036000830152611ed581611cf3565b9050919050565b6000602082019050611ef16000830184611d33565b92915050565b6000604051905081810181811067ffffffffffffffff82111715611f1a57600080fd5b8060405250919050565b600067ffffffffffffffff821115611f3b57600080fd5b602082029050602081019050919050565b6000819050919050565b6000819050919050565b6000602082019050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b6000611fcd60208401846115b5565b905092915050565b60008083356001602003843603038112611fee57600080fd5b83810192508235915060208301925067ffffffffffffffff82111561201257600080fd5b60018202360384131561202457600080fd5b509250929050565b600061203782612054565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061208982612090565b9050919050565b600061209b826120a2565b9050919050565b60006120ad82612054565b9050919050565b82818337600083830152505050565b6000601f19601f8301169050919050565b6120dd8161202c565b81146120e857600080fd5b50565b6120f48161204a565b81146120ff57600080fd5b50565b61210b81612074565b811461211657600080fd5b5056fea26469706673582212201ac7fee1525ac1a8c1e8e70eacc05e725d80857c2cfbda6cf119a0e49f20161a64736f6c63430006000033

0x6080604052600436106100dd5760003560e01c80638aad29e11161007f578063cf1a0ddc11610059578063cf1a0ddc146102eb578063ee97f7f314610302578063f4ff78bf1461032d578063fdc3870c14610356576100dd565b80638aad29e11461025a578063a4bb8e7d14610285578063bb7e70ef146102ae576100dd565b8063443ff7b6116100bb578063443ff7b6146101875780634f5b2561146101b05780635f72f450146101e0578063743681891461021d576100dd565b80630f560cd7146100e257806313ede1a11461010d5780632dd7c6581461014a575b600080fd5b3480156100ee57600080fd5b506100f761037f565b6040516101049190611d42565b60405180910390f35b34801561011957600080fd5b50610134600480360361012f919081019061193b565b6103a5565b6040516101419190611d42565b60405180910390f35b34801561015657600080fd5b50610171600480360361016c919081019061193b565b6103d8565b60405161017e9190611d42565b60405180910390f35b34801561019357600080fd5b506101ae60048036036101a9919081019061198d565b61040b565b005b6101ca60048036036101c5919081019061184a565b6105d7565b6040516101d79190611d42565b60405180910390f35b3480156101ec57600080fd5b506102076004803603610202919081019061193b565b610698565b6040516102149190611d42565b60405180910390f35b34801561022957600080fd5b50610244600480360361023f919081019061198d565b6106cb565b6040516102519190611dc1565b60405180910390f35b34801561026657600080fd5b5061026f610780565b60405161027c9190611edc565b60405180910390f35b34801561029157600080fd5b506102ac60048036036102a79190810190611798565b610786565b005b3480156102ba57600080fd5b506102d560048036036102d091908101906117fb565b610a99565b6040516102e29190611d42565b60405180910390f35b3480156102f757600080fd5b50610300610c72565b005b34801561030e57600080fd5b50610317610e9c565b6040516103249190611d42565b60405180910390f35b34801561033957600080fd5b50610354600480360361034f9190810190611720565b610ec2565b005b34801561036257600080fd5b5061037d60048036036103789190810190611749565b611169565b005b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60036020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60056020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461049b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161049290611e9c565b60405180910390fd5b6004600083815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561053d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161053490611e5c565b60405180910390fd5b806004600084815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16827f1d96dda971e33be0980128bbce3f93dfe4859657397e00d2db4d288d2c2bc78860405160405180910390a35050565b60006105e4888884610a99565b9050600086869050111561068d578073ffffffffffffffffffffffffffffffffffffffff1663e0e90acf3488888888886040518763ffffffff1660e01b8152600401610634959493929190611d78565b6000604051808303818588803b15801561064d57600080fd5b505af1158015610661573d6000803e3d6000fd5b50505050506040513d6000823e3d601f19601f8201168201806040525061068b91908101906118fa565b505b979650505050505050565b60046020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806005600085815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f363d3d373d3d3d363d7300000000000000000000000000000000000000000000815281600a8201527f5af43d82803e903d91602b57fd5bf30000000000000000000000000000000000601e82015260408101602d600082873c600d810151600d83015114815183511416935050505092915050565b60065481565b600073ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161480156108325750600073ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561089e5750600073ffffffffffffffffffffffffffffffffffffffff16600560006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561090a5750600073ffffffffffffffffffffffffffffffffffffffff16600360006001815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b801561091857506000600654145b610957576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161094e90611e1c565b60405180910390fd5b83600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506006600081548092919060010191905055508160056000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060036000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050565b6000808314158015610aad57506006548311155b610aec576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ae390611dfc565b60405180910390fd5b610af583611518565b9050600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166319ab453c826040518263ffffffff1660e01b8152600401610b529190611d42565b600060405180830381600087803b158015610b6c57600080fd5b505af1158015610b80573d6000803e3d6000fd5b505050508073ffffffffffffffffffffffffffffffffffffffff16635bfa1b68856040518263ffffffff1660e01b8152600401610bbd9190611d42565b600060405180830381600087803b158015610bd757600080fd5b505af1158015610beb573d6000803e3d6000fd5b505050508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f83435eca805f6256e4aa778ee8b2e8aec7485fa4b643a0fff05b7df6bf68838933604051610c639190611d5d565b60405180910390a49392505050565b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610d03576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cfa90611ebc565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d92576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d8990611e9c565b60405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f9ac7c65ebc1e9c5f94a0f9daaed02afefea79ae48162d49f30ab33b6e1637a1d60405160405180910390a2565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f52576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4990611e9c565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415610fe3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fda90611e7c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611053576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161104a90611ebc565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156110e3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110da90611ddc565b60405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167ff2a8c544d5befa20af407e43fa5a05305e50163fb8d06fda74206f0dc08b680f60405160405180910390a250565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146111f9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111f090611e9c565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611269576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161126090611ebc565b60405180910390fd5b6006600081548092919060010191905055506006548373ffffffffffffffffffffffffffffffffffffffff166354fd4d506040518163ffffffff1660e01b815260040160206040518083038186803b1580156112c457600080fd5b505afa1580156112d8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506112fc9190810190611964565b1461133c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161133390611e3c565b60405180910390fd5b8260056000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611419578160036000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16146114a2578060046000600654815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167ff2ac7d6a10d2f0b9b7fdad229bb1456de7a254de96bb7f55f3d22a91ea93f27f60405160405180910390a4505050565b6000806005600084815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660601b90506040517f3d602d80600a3d3981f3363d3d373d3d3d363d7300000000000000000000000081528160148201527f5af43d82803e903d91602b57fd5bf3000000000000000000000000000000000060288201526037816000f092505050919050565b6000813590506115c4816120d4565b92915050565b60008083601f8401126115dc57600080fd5b8235905067ffffffffffffffff8111156115f557600080fd5b60208301915083602082028301111561160d57600080fd5b9250929050565b600082601f83011261162557600080fd5b815161163861163382611f24565b611ef7565b9150818183526020840193506020810190508385602084028201111561165d57600080fd5b60005b8381101561168d578161167388826116e1565b845260208401935060208301925050600181019050611660565b5050505092915050565b60008083601f8401126116a957600080fd5b8235905067ffffffffffffffff8111156116c257600080fd5b6020830191508360208202830111156116da57600080fd5b9250929050565b6000815190506116f0816120eb565b92915050565b60008135905061170581612102565b92915050565b60008151905061171a81612102565b92915050565b60006020828403121561173257600080fd5b6000611740848285016115b5565b91505092915050565b60008060006060848603121561175e57600080fd5b600061176c868287016115b5565b935050602061177d868287016115b5565b925050604061178e868287016115b5565b9150509250925092565b600080600080608085870312156117ae57600080fd5b60006117bc878288016115b5565b94505060206117cd878288016115b5565b93505060406117de878288016115b5565b92505060606117ef878288016115b5565b91505092959194509250565b60008060006060848603121561181057600080fd5b600061181e868287016115b5565b935050602061182f868287016116f6565b9250506040611840868287016115b5565b9150509250925092565b600080600080600080600060a0888a03121561186557600080fd5b60006118738a828b016115b5565b97505060206118848a828b016116f6565b965050604088013567ffffffffffffffff8111156118a157600080fd5b6118ad8a828b016115ca565b9550955050606088013567ffffffffffffffff8111156118cc57600080fd5b6118d88a828b01611697565b935093505060806118eb8a828b016115b5565b91505092959891949750929550565b60006020828403121561190c57600080fd5b600082015167ffffffffffffffff81111561192657600080fd5b61193284828501611614565b91505092915050565b60006020828403121561194d57600080fd5b600061195b848285016116f6565b91505092915050565b60006020828403121561197657600080fd5b60006119848482850161170b565b91505092915050565b600080604083850312156119a057600080fd5b60006119ae858286016116f6565b92505060206119bf858286016115b5565b9150509250929050565b60006119d58383611a06565b60208301905092915050565b60006119ee848484611b06565b90509392505050565b611a008161207e565b82525050565b611a0f8161202c565b82525050565b611a1e8161202c565b82525050565b6000611a308385611f7a565b9350611a3b82611f4c565b8060005b85811015611a7457611a518284611fbe565b611a5b88826119c9565b9750611a6683611f60565b925050600181019050611a3f565b5085925050509392505050565b6000611a8d8385611f8b565b935083602084028501611a9f84611f56565b8060005b87811015611ae5578484038952611aba8284611fd5565b611ac58682846119e1565b9550611ad084611f6d565b935060208b019a505050600181019050611aa3565b50829750879450505050509392505050565b611b008161203e565b82525050565b6000611b128385611f9c565b9350611b1f8385846120b4565b611b28836120c3565b840190509392505050565b6000611b40601483611fad565b91507f616c72656164792d612d6e65772d6d61737465720000000000000000000000006000830152602082019050919050565b6000611b80601183611fad565b91507f6e6f742d76616c69642d6163636f756e740000000000000000000000000000006000830152602082019050919050565b6000611bc0600f83611fad565b91507f616c72656164792d646566696e656400000000000000000000000000000000006000830152602082019050919050565b6000611c00601183611fad565b91507f6e6f742d76616c69642d76657273696f6e0000000000000000000000000000006000830152602082019050919050565b6000611c40600f83611fad565b91507f616c72656164792d612d636865636b00000000000000000000000000000000006000830152602082019050919050565b6000611c80601083611fad565b91507f616c72656164792d612d6d6173746572000000000000000000000000000000006000830152602082019050919050565b6000611cc0600a83611fad565b91507f6e6f742d6d6173746572000000000000000000000000000000000000000000006000830152602082019050919050565b6000611d00601183611fad565b91507f6e6f742d76616c69642d616464726573730000000000000000000000000000006000830152602082019050919050565b611d3c81612074565b82525050565b6000602082019050611d576000830184611a15565b92915050565b6000602082019050611d7260008301846119f7565b92915050565b60006060820190508181036000830152611d93818789611a24565b90508181036020830152611da8818587611a81565b9050611db76040830184611a15565b9695505050505050565b6000602082019050611dd66000830184611af7565b92915050565b60006020820190508181036000830152611df581611b33565b9050919050565b60006020820190508181036000830152611e1581611b73565b9050919050565b60006020820190508181036000830152611e3581611bb3565b9050919050565b60006020820190508181036000830152611e5581611bf3565b9050919050565b60006020820190508181036000830152611e7581611c33565b9050919050565b60006020820190508181036000830152611e9581611c73565b9050919050565b60006020820190508181036000830152611eb581611cb3565b9050919050565b60006020820190508181036000830152611ed581611cf3565b9050919050565b6000602082019050611ef16000830184611d33565b92915050565b6000604051905081810181811067ffffffffffffffff82111715611f1a57600080fd5b8060405250919050565b600067ffffffffffffffff821115611f3b57600080fd5b602082029050602081019050919050565b6000819050919050565b6000819050919050565b6000602082019050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b6000611fcd60208401846115b5565b905092915050565b60008083356001602003843603038112611fee57600080fd5b83810192508235915060208301925067ffffffffffffffff82111561201257600080fd5b60018202360384131561202457600080fd5b509250929050565b600061203782612054565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061208982612090565b9050919050565b600061209b826120a2565b9050919050565b60006120ad82612054565b9050919050565b82818337600083830152505050565b6000601f19601f8301169050919050565b6120dd8161202c565b81146120e857600080fd5b50565b6120f48161204a565b81146120ff57600080fd5b50565b61210b81612074565b811461211657600080fd5b5056fea26469706673582212201ac7fee1525ac1a8c1e8e70eacc05e725d80857c2cfbda6cf119a0e49f20161a64736f6c63430006000033

5376:2580:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1077:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1077:19:0;;;:::i;:::-;;;;;;;;;;;;;;;;1195:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1195:43:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1436:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1436:40:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;2645:258;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2645:258:0;;;;;;;;;;;;;;;;:::i;:::-;;5952:406;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1316:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1316:38:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4583:786;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4583:786:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1525:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1525:24:0;;;:::i;:::-;;;;;;;;;;;;;;;;7384:567;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7384:567:0;;;;;;;;;;;;;;;;:::i;:::-;;6600:457;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6600:457:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;2178:263;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2178:263:0;;;:::i;:::-;;1018:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1018:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;1837:333;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1837:333:0;;;;;;;;;;;;;;;;:::i;:::-;;3132:548;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3132:548:0;;;;;;;;;;;;;;;;:::i;:::-;;1077:19;;;;;;;;;;;;;:::o;1195:43::-;;;;;;;;;;;;;;;;;;;;;;:::o;1436:40::-;;;;;;;;;;;;;;;;;;;;;;:::o;2645:258::-;1684:6;;;;;;;;;;;1670:20;;:10;:20;;;1662:43;;;;;;;;;;;;;;;;;;;;;;2756:5:::1;:21;2762:14;2756:21;;;;;;;;;;;;;;;;;;;;;2743:34;;:9;:34;;;;2735:62;;;;;;;;;;;;;;;;;;;;;;2832:9;2808:5;:21;2814:14;2808:21;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;2885:9;2857:38;;2869:14;2857:38;;;;;;;;;;2645:258:::0;;:::o;5952:406::-;6161:16;6201:38;6207:6;6215:14;6231:7;6201:5;:38::i;:::-;6190:49;;6272:1;6254:8;;:15;;:19;6250:100;;;6292:8;6275:31;;;6313:9;6324:8;;6334:6;;6342:7;6275:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6275:75:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6275:75:0;;;;;;;39:16:-1;36:1;17:17;2:54;6275: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;6275:75:0;;;;;;;;;;6250:100;5952:406;;;;;;;;;:::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;7384:567::-;7577:1;7559:20;;:6;;;;;;;;;;;:20;;;:55;;;;;7612:1;7596:18;;:4;;;;;;;;;;;:18;;;7559:55;:96;;;;;7653:1;7631:24;;:7;:10;7639:1;7631:10;;;;;;;;;;;;;;;;;;;;;:24;;;7559:96;:140;;;;;7697:1;7672:27;;:10;:13;7683:1;7672:13;;;;;;;;;;;;;;;;;;;;;:27;;;7559:140;:174;;;;;7732:1;7716:12;;:17;7559:174;7537:239;;;;;;;;;;;;;;;;;;;;;;7796:7;7787:6;;:16;;;;;;;;;;;;;;;;;;7821:5;7814:4;;:12;;;;;;;;;;;;;;;;;;7837;;:14;;;;;;;;;;;;;7886:8;7862:7;:21;7870:12;;7862:21;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;7932:11;7905:10;:24;7916:12;;7905:24;;;;;;;;;;;;:38;;;;;;;;;;;;;;;;;;7384:567;;;;:::o;6600:457::-;6719:16;6774:1;6756:14;:19;;:53;;;;;6797:12;;6779:14;:30;;6756:53;6748:83;;;;;;;;;;;;;;;;;;;;;;6853:27;6865:14;6853:11;:27::i;:::-;6842:38;;6905:4;;;;;;;;;;;6891:24;;;6916:8;6891:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6891:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6891:34:0;;;;6953:8;6936:33;;;6970:6;6936:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6936:41:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6936:41:0;;;;7041:7;6993:56;;7031:8;6993:56;;7023:6;6993:56;;;7011:10;6993:56;;;;;;;;;;;;;;;6600:457;;;;;:::o;2178:263::-;2251:1;2230:23;;:9;;;;;;;;;;;:23;;;;2222:53;;;;;;;;;;;;;;;;;;;;;;2308:9;;;;;;;;;;;2294:23;;:10;:23;;;2286:46;;;;;;;;;;;;;;;;;;;;;;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;;;;;;;;;;;;;;;;;;;;;;1930:6:::1;;;;;;;;;;;1916:20;;:10;:20;;;;1908:49;;;;;;;;;;;;;;;;;;;;;;1998:1;1976:24;;:10;:24;;;;1968:54;;;;;;;;;;;;;;;;;;;;;;2054:10;2041:23;;:9;::::0;::::1;;;;;;;;;:23;;;;2033:56;;;;;;;;;;;;;;;;;;;;;;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;;;;;;;;;;;;;;;;;;;;;;3273:1:::1;3250:25;;:11;:25;;;;3242:55;;;;;;;;;;;;;;;;;;;;;;3308:12;;:14;;;;;;;;;;;;;3384:12;;3358:11;3341:37;;;:39;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27::::0;20:12:::1;5:2;3341:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39::::0;24:38:::1;77:16;74:1;67:27;5:2;3341: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;3341:39:0;;;;;;;;;:55;3333:85;;;;;;;;;;;;;;;;;;;;;;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;;;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:320;;9289:67;9353:2;9348:3;9289:67;;;9282:74;;9389:22;9385:1;9380:3;9376:11;9369:43;9440:2;9435:3;9431:12;9424:19;;9275:174;;;;9458:317;;9618:67;9682:2;9677:3;9618:67;;;9611:74;;9718:19;9714:1;9709:3;9705:11;9698:40;9766:2;9761:3;9757:12;9750:19;;9604:171;;;;9784:315;;9944:67;10008:2;10003:3;9944:67;;;9937:74;;10044:17;10040:1;10035:3;10031:11;10024:38;10090:2;10085:3;10081:12;10074:19;;9930:169;;;;10108:317;;10268:67;10332:2;10327:3;10268:67;;;10261:74;;10368:19;10364:1;10359:3;10355:11;10348:40;10416:2;10411:3;10407:12;10400:19;;10254:171;;;;10434:315;;10594:67;10658:2;10653:3;10594:67;;;10587:74;;10694:17;10690:1;10685:3;10681:11;10674:38;10740:2;10735:3;10731:12;10724:19;;10580:169;;;;10758:316;;10918:67;10982:2;10977:3;10918:67;;;10911:74;;11018:18;11014:1;11009:3;11005:11;10998:39;11065:2;11060:3;11056:12;11049:19;;10904:170;;;;11083:310;;11243:67;11307:2;11302:3;11243:67;;;11236:74;;11343:12;11339:1;11334:3;11330:11;11323:33;11384:2;11379:3;11375:12;11368:19;;11229:164;;;;11402:317;;11562:67;11626:2;11621:3;11562:67;;;11555:74;;11662:19;11658:1;11653:3;11649:11;11642:40;11710:2;11705:3;11701:12;11694:19;;11548:171;;;;11727:113;11810:24;11828:5;11810:24;;;11805:3;11798:37;11792:48;;;11847:213;;11965:2;11954:9;11950:18;11942:26;;11979:71;12047:1;12036:9;12032:17;12023:6;11979:71;;;11936:124;;;;;12067:229;;12193:2;12182:9;12178:18;12170:26;;12207:79;12283:1;12272:9;12268:17;12259:6;12207:79;;;12164:132;;;;;12303:795;;12609:2;12598:9;12594:18;12586:26;;12659:9;12653:4;12649:20;12645:1;12634:9;12630:17;12623:47;12684:118;12797:4;12788:6;12780;12684:118;;;12676:126;;12850:9;12844:4;12840:20;12835:2;12824:9;12820:18;12813:48;12875:130;13000:4;12991:6;12983;12875:130;;;12867:138;;13016:72;13084:2;13073:9;13069:18;13060:6;13016:72;;;12580:518;;;;;;;;;13105:201;;13217:2;13206:9;13202:18;13194:26;;13231:65;13293:1;13282:9;13278:17;13269:6;13231:65;;;13188:118;;;;;13313:407;;13504:2;13493:9;13489:18;13481:26;;13554:9;13548:4;13544:20;13540:1;13529:9;13525:17;13518:47;13579:131;13705:4;13579:131;;;13571:139;;13475:245;;;;13727:407;;13918:2;13907:9;13903:18;13895:26;;13968:9;13962:4;13958:20;13954:1;13943:9;13939:17;13932:47;13993:131;14119:4;13993:131;;;13985:139;;13889:245;;;;14141:407;;14332:2;14321:9;14317:18;14309:26;;14382:9;14376:4;14372:20;14368:1;14357:9;14353:17;14346:47;14407:131;14533:4;14407:131;;;14399:139;;14303:245;;;;14555:407;;14746:2;14735:9;14731:18;14723:26;;14796:9;14790:4;14786:20;14782:1;14771:9;14767:17;14760:47;14821:131;14947:4;14821:131;;;14813:139;;14717:245;;;;14969:407;;15160:2;15149:9;15145:18;15137:26;;15210:9;15204:4;15200:20;15196:1;15185:9;15181:17;15174:47;15235:131;15361:4;15235:131;;;15227:139;;15131:245;;;;15383:407;;15574:2;15563:9;15559:18;15551:26;;15624:9;15618:4;15614:20;15610:1;15599:9;15595:17;15588:47;15649:131;15775:4;15649:131;;;15641:139;;15545:245;;;;15797:407;;15988:2;15977:9;15973:18;15965:26;;16038:9;16032:4;16028:20;16024:1;16013:9;16009:17;16002:47;16063:131;16189:4;16063:131;;;16055:139;;15959:245;;;;16211:407;;16402:2;16391:9;16387:18;16379:26;;16452:9;16446:4;16442:20;16438:1;16427:9;16423:17;16416:47;16477:131;16603:4;16477:131;;;16469:139;;16373:245;;;;16625:213;;16743:2;16732:9;16728:18;16720:26;;16757:71;16825:1;16814:9;16810:17;16801:6;16757:71;;;16714:124;;;;;16845:256;;16907:2;16901:9;16891:19;;16945:4;16937:6;16933:17;17044:6;17032:10;17029:22;17008:18;16996:10;16993:34;16990:62;16987:2;;;17065:1;17062;17055:12;16987:2;17085:10;17081:2;17074:22;16885:216;;;;;17108:304;;17267:18;17259:6;17256:30;17253:2;;;17299:1;17296;17289:12;17253:2;17334:4;17326:6;17322:17;17314:25;;17397:4;17391;17387:15;17379:23;;17190:222;;;;17419:118;;17507:3;17499:11;;17493:44;;;;17544:125;;17639:3;17631:11;;17625:44;;;;17676:110;;17776:4;17771:3;17767:14;17759:22;;17753:33;;;;17793:117;;17900:4;17895:3;17891:14;17883:22;;17877:33;;;;17918:178;;18048:6;18043:3;18036:19;18085:4;18080:3;18076:14;18061:29;;18029:67;;;;;18105:183;;18240:6;18235:3;18228:19;18277:4;18272:3;18268:14;18253:29;;18221:67;;;;;18297:152;;18401:6;18396:3;18389:19;18438:4;18433:3;18429:14;18414:29;;18382:67;;;;;18458:163;;18573:6;18568:3;18561:19;18610:4;18605:3;18601:14;18586:29;;18554:67;;;;;18630:119;;18704:39;18739:2;18734:3;18730:12;18725:3;18704:39;;;18695:48;;18688:61;;;;;18758:497;;;18878:3;18865:17;18967:1;18961:4;18957:12;18946:8;18930:14;18926:29;18922:48;18902:18;18898:73;18888:2;;18985:1;18982;18975:12;18888:2;19028:8;19008:18;19004:33;18995:42;;19072:5;19059:19;19049:29;;19104:4;19097:5;19093:16;19084:25;;19129:18;19121:6;19118:30;19115:2;;;19161:1;19158;19151:12;19115:2;19220:4;19212:6;19208:17;19192:14;19188:38;19178:8;19174:53;19171:2;;;19240:1;19237;19230:12;19171:2;18832:423;;;;;;;19263:91;;19325:24;19343:5;19325:24;;;19314:35;;19308:46;;;;19361:85;;19434:5;19427:13;19420:21;19409:32;;19403:43;;;;19453:72;;19515:5;19504:16;;19498:27;;;;19532:121;;19605:42;19598:5;19594:54;19583:65;;19577:76;;;;19660:72;;19722:5;19711:16;;19705:27;;;;19739:129;;19826:37;19857:5;19826:37;;;19813:50;;19807:61;;;;19875:121;;19954:37;19985:5;19954:37;;;19941:50;;19935:61;;;;20003:108;;20082:24;20100:5;20082:24;;;20069:37;;20063:48;;;;20119:145;20200:6;20195:3;20190;20177:30;20256:1;20247:6;20242:3;20238:16;20231:27;20170:94;;;;20272:97;;20360:2;20356:7;20351:2;20344:5;20340:14;20336:28;20326:38;;20320:49;;;;20377:117;20446:24;20464:5;20446:24;;;20439:5;20436:35;20426:2;;20485:1;20482;20475:12;20426:2;20420:74;;20501:117;20570:24;20588:5;20570:24;;;20563:5;20560:35;20550:2;;20609:1;20606;20599:12;20550:2;20544:74;;20625:117;20694:24;20712:5;20694:24;;;20687:5;20684:35;20674:2;;20733:1;20730;20723:12;20674:2;20668:74;

ipfs://1ac7fee1525ac1a8c1e8e70eacc05e725d80857c2cfbda6cf119a0e49f20161a